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

Analysis Run

019b477e-b2f7-7044-8b46-c212b953e0a1

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

What survived the funnel

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

back to vulns open contract
Confirmed
0
Validated
0
Source
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
22457 artifact.fetch complete 1 / 3 3 months ago
22458 tool.cast_disasm complete 1 / 3 3 months ago
65574 analysis.bundle complete 1 / 3 2 weeks ago
65575 capability.graph complete 1 / 3 2 weeks ago
65576 detector.run complete 1 / 3 2 weeks ago
65577 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)
4
EXT*/BALANCE
7
Total opcodes
9030
Flags
heavy_ext_balance_usage
View cast disassembly output 
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x01b6
0000000c: JUMPI
0000000d: PUSH4 0xffffffff
00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000030: PUSH1 0x00
00000032: CALLDATALOAD
00000033: DIV
00000034: AND
00000035: PUSH4 0x01efb6c8
0000003a: DUP2
0000003b: EQ
0000003c: PUSH2 0x01bb
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x08ae8677
00000046: EQ
00000047: PUSH2 0x0220
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x0bb17975
00000051: EQ
00000052: PUSH2 0x0247
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x0f15f4c0
0000005c: EQ
0000005d: PUSH2 0x025f
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x10051089
00000067: EQ
00000068: PUSH2 0x0276
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x175baf94
00000072: EQ
00000073: PUSH2 0x02a7
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x1f0f2ce4
0000007d: EQ
0000007e: PUSH2 0x02bc
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x2aab729f
00000088: EQ
00000089: PUSH2 0x02d4
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x3347a87a
00000093: EQ
00000094: PUSH2 0x02ec
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x351314a5
0000009e: EQ
0000009f: PUSH2 0x0304
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x392efb52
000000a9: EQ
000000aa: PUSH2 0x0319
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x4e926eab
000000b4: EQ
000000b5: PUSH2 0x0345
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0x637ec389
000000bf: EQ
000000c0: PUSH2 0x035a
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0x66b42356
000000ca: EQ
000000cb: PUSH2 0x036f
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0x66d19e72
000000d5: EQ
000000d6: PUSH2 0x03d2
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0x6b87e6c6
000000e0: EQ
000000e1: PUSH2 0x03ea
000000e4: JUMPI
000000e5: DUP1
000000e6: PUSH4 0x7326cac8
000000eb: EQ
000000ec: PUSH2 0x040b
000000ef: JUMPI
000000f0: DUP1
000000f1: PUSH4 0x7c0b2484
000000f6: EQ
000000f7: PUSH2 0x0420
000000fa: JUMPI
000000fb: DUP1
000000fc: PUSH4 0x7dd03446
00000101: EQ
00000102: PUSH2 0x0479
00000105: JUMPI
00000106: DUP1
00000107: PUSH4 0x82757f99
0000010c: EQ
0000010d: PUSH2 0x04bc
00000110: JUMPI
00000111: DUP1
00000112: PUSH4 0x8456cb59
00000117: EQ
00000118: PUSH2 0x04d1
0000011b: JUMPI
0000011c: DUP1
0000011d: PUSH4 0x89135ae9
00000122: EQ
00000123: PUSH2 0x04e6
00000126: JUMPI
00000127: DUP1
00000128: PUSH4 0x8c5b830e
0000012d: EQ
0000012e: PUSH2 0x0503
00000131: JUMPI
00000132: DUP1
00000133: PUSH4 0x9e8f2750
00000138: EQ
00000139: PUSH2 0x0534
0000013c: JUMPI
0000013d: DUP1
0000013e: PUSH4 0xa5473f78
00000143: EQ
00000144: PUSH2 0x0549
00000147: JUMPI
00000148: DUP1
00000149: PUSH4 0xaaaf7c45
0000014e: EQ
0000014f: PUSH2 0x0561
00000152: JUMPI
00000153: DUP1
00000154: PUSH4 0xac82239f
00000159: EQ
0000015a: PUSH2 0x0576
0000015d: JUMPI
0000015e: DUP1
0000015f: PUSH4 0xb2bdfa7b
00000164: EQ
00000165: PUSH2 0x05c4
00000168: JUMPI
00000169: DUP1
0000016a: PUSH4 0xc2fea6d5
0000016f: EQ
00000170: PUSH2 0x05d9
00000173: JUMPI
00000174: DUP1
00000175: PUSH4 0xc43aa319
0000017a: EQ
0000017b: PUSH2 0x05f4
0000017e: JUMPI
0000017f: DUP1
00000180: PUSH4 0xd09ef241
00000185: EQ
00000186: PUSH2 0x0609
00000189: JUMPI
0000018a: DUP1
0000018b: PUSH4 0xd53b2679
00000190: EQ
00000191: PUSH2 0x0621
00000194: JUMPI
00000195: DUP1
00000196: PUSH4 0xe175c86a
0000019b: EQ
0000019c: PUSH2 0x0636
0000019f: JUMPI
000001a0: DUP1
000001a1: PUSH4 0xe4ea58a5
000001a6: EQ
000001a7: PUSH2 0x068e
000001aa: JUMPI
000001ab: DUP1
000001ac: PUSH4 0xe80160ab
000001b1: EQ
000001b2: PUSH2 0x06a3
000001b5: JUMPI
000001b6: JUMPDEST
000001b7: PUSH1 0x00
000001b9: DUP1
000001ba: REVERT
000001bb: JUMPDEST
000001bc: CALLVALUE
000001bd: DUP1
000001be: ISZERO
000001bf: PUSH2 0x01c7
000001c2: JUMPI
000001c3: PUSH1 0x00
000001c5: DUP1
000001c6: REVERT
000001c7: JUMPDEST
000001c8: POP
000001c9: PUSH2 0x01d0
000001cc: PUSH2 0x06ae
000001cf: JUMP
000001d0: JUMPDEST
000001d1: PUSH1 0x40
000001d3: DUP1
000001d4: MLOAD
000001d5: PUSH1 0x20
000001d7: DUP1
000001d8: DUP3
000001d9: MSTORE
000001da: DUP4
000001db: MLOAD
000001dc: DUP2
000001dd: DUP4
000001de: ADD
000001df: MSTORE
000001e0: DUP4
000001e1: MLOAD
000001e2: SWAP2
000001e3: SWAP3
000001e4: DUP4
000001e5: SWAP3
000001e6: SWAP1
000001e7: DUP4
000001e8: ADD
000001e9: SWAP2
000001ea: DUP6
000001eb: DUP2
000001ec: ADD
000001ed: SWAP2
000001ee: MUL
000001ef: DUP1
000001f0: DUP4
000001f1: DUP4
000001f2: PUSH1 0x00
000001f4: JUMPDEST
000001f5: DUP4
000001f6: DUP2
000001f7: LT
000001f8: ISZERO
000001f9: PUSH2 0x020c
000001fc: JUMPI
000001fd: DUP2
000001fe: DUP2
000001ff: ADD
00000200: MLOAD
00000201: DUP4
00000202: DUP3
00000203: ADD
00000204: MSTORE
00000205: PUSH1 0x20
00000207: ADD
00000208: PUSH2 0x01f4
0000020b: JUMP
0000020c: JUMPDEST
0000020d: POP
0000020e: POP
0000020f: POP
00000210: POP
00000211: SWAP1
00000212: POP
00000213: ADD
00000214: SWAP3
00000215: POP
00000216: POP
00000217: POP
00000218: PUSH1 0x40
0000021a: MLOAD
0000021b: DUP1
0000021c: SWAP2
0000021d: SUB
0000021e: SWAP1
0000021f: RETURN
00000220: JUMPDEST
00000221: CALLVALUE
00000222: DUP1
00000223: ISZERO
00000224: PUSH2 0x022c
00000227: JUMPI
00000228: PUSH1 0x00
0000022a: DUP1
0000022b: REVERT
0000022c: JUMPDEST
0000022d: POP
0000022e: PUSH2 0x0235
00000231: PUSH2 0x071c
00000234: JUMP
00000235: JUMPDEST
00000236: PUSH1 0x40
00000238: DUP1
00000239: MLOAD
0000023a: SWAP2
0000023b: DUP3
0000023c: MSTORE
0000023d: MLOAD
0000023e: SWAP1
0000023f: DUP2
00000240: SWAP1
00000241: SUB
00000242: PUSH1 0x20
00000244: ADD
00000245: SWAP1
00000246: RETURN
00000247: JUMPDEST
00000248: CALLVALUE
00000249: DUP1
0000024a: ISZERO
0000024b: PUSH2 0x0253
0000024e: JUMPI
0000024f: PUSH1 0x00
00000251: DUP1
00000252: REVERT
00000253: JUMPDEST
00000254: POP
00000255: PUSH2 0x0235
00000258: PUSH1 0x04
0000025a: CALLDATALOAD
0000025b: PUSH2 0x0722
0000025e: JUMP
0000025f: JUMPDEST
00000260: CALLVALUE
00000261: DUP1
00000262: ISZERO
00000263: PUSH2 0x026b
00000266: JUMPI
00000267: PUSH1 0x00
00000269: DUP1
0000026a: REVERT
0000026b: JUMPDEST
0000026c: POP
0000026d: PUSH2 0x0274
00000270: PUSH2 0x0734
00000273: JUMP
00000274: JUMPDEST
00000275: STOP
00000276: JUMPDEST
00000277: CALLVALUE
00000278: DUP1
00000279: ISZERO
0000027a: PUSH2 0x0282
0000027d: JUMPI
0000027e: PUSH1 0x00
00000280: DUP1
00000281: REVERT
00000282: JUMPDEST
00000283: POP
00000284: PUSH2 0x028b
00000287: PUSH2 0x0818
0000028a: JUMP
0000028b: JUMPDEST
0000028c: PUSH1 0x40
0000028e: DUP1
0000028f: MLOAD
00000290: PUSH1 0x01
00000292: PUSH1 0xa0
00000294: PUSH1 0x02
00000296: EXP
00000297: SUB
00000298: SWAP1
00000299: SWAP3
0000029a: AND
0000029b: DUP3
0000029c: MSTORE
0000029d: MLOAD
0000029e: SWAP1
0000029f: DUP2
000002a0: SWAP1
000002a1: SUB
000002a2: PUSH1 0x20
000002a4: ADD
000002a5: SWAP1
000002a6: RETURN
000002a7: JUMPDEST
000002a8: CALLVALUE
000002a9: DUP1
000002aa: ISZERO
000002ab: PUSH2 0x02b3
000002ae: JUMPI
000002af: PUSH1 0x00
000002b1: DUP1
000002b2: REVERT
000002b3: JUMPDEST
000002b4: POP
000002b5: PUSH2 0x0235
000002b8: PUSH2 0x0827
000002bb: JUMP
000002bc: JUMPDEST
000002bd: CALLVALUE
000002be: DUP1
000002bf: ISZERO
000002c0: PUSH2 0x02c8
000002c3: JUMPI
000002c4: PUSH1 0x00
000002c6: DUP1
000002c7: REVERT
000002c8: JUMPDEST
000002c9: POP
000002ca: PUSH2 0x0274
000002cd: PUSH1 0x04
000002cf: CALLDATALOAD
000002d0: PUSH2 0x08f1
000002d3: JUMP
000002d4: JUMPDEST
000002d5: CALLVALUE
000002d6: DUP1
000002d7: ISZERO
000002d8: PUSH2 0x02e0
000002db: JUMPI
000002dc: PUSH1 0x00
000002de: DUP1
000002df: REVERT
000002e0: JUMPDEST
000002e1: POP
000002e2: PUSH2 0x0235
000002e5: PUSH1 0x04
000002e7: CALLDATALOAD
000002e8: PUSH2 0x0bcb
000002eb: JUMP
000002ec: JUMPDEST
000002ed: CALLVALUE
000002ee: DUP1
000002ef: ISZERO
000002f0: PUSH2 0x02f8
000002f3: JUMPI
000002f4: PUSH1 0x00
000002f6: DUP1
000002f7: REVERT
000002f8: JUMPDEST
000002f9: POP
000002fa: PUSH2 0x0274
000002fd: PUSH1 0x04
000002ff: CALLDATALOAD
00000300: PUSH2 0x0bdd
00000303: JUMP
00000304: JUMPDEST
00000305: CALLVALUE
00000306: DUP1
00000307: ISZERO
00000308: PUSH2 0x0310
0000030b: JUMPI
0000030c: PUSH1 0x00
0000030e: DUP1
0000030f: REVERT
00000310: JUMPDEST
00000311: POP
00000312: PUSH2 0x0235
00000315: PUSH2 0x0cef
00000318: JUMP
00000319: JUMPDEST
0000031a: CALLVALUE
0000031b: DUP1
0000031c: ISZERO
0000031d: PUSH2 0x0325
00000320: JUMPI
00000321: PUSH1 0x00
00000323: DUP1
00000324: REVERT
00000325: JUMPDEST
00000326: POP
00000327: PUSH2 0x0331
0000032a: PUSH1 0x04
0000032c: CALLDATALOAD
0000032d: PUSH2 0x0cf5
00000330: JUMP
00000331: JUMPDEST
00000332: PUSH1 0x40
00000334: DUP1
00000335: MLOAD
00000336: SWAP2
00000337: ISZERO
00000338: ISZERO
00000339: DUP3
0000033a: MSTORE
0000033b: MLOAD
0000033c: SWAP1
0000033d: DUP2
0000033e: SWAP1
0000033f: SUB
00000340: PUSH1 0x20
00000342: ADD
00000343: SWAP1
00000344: RETURN
00000345: JUMPDEST
00000346: CALLVALUE
00000347: DUP1
00000348: ISZERO
00000349: PUSH2 0x0351
0000034c: JUMPI
0000034d: PUSH1 0x00
0000034f: DUP1
00000350: REVERT
00000351: JUMPDEST
00000352: POP
00000353: PUSH2 0x01d0
00000356: PUSH2 0x0d0a
00000359: JUMP
0000035a: JUMPDEST
0000035b: CALLVALUE
0000035c: DUP1
0000035d: ISZERO
0000035e: PUSH2 0x0366
00000361: JUMPI
00000362: PUSH1 0x00
00000364: DUP1
00000365: REVERT
00000366: JUMPDEST
00000367: POP
00000368: PUSH2 0x0235
0000036b: PUSH2 0x0d7a
0000036e: JUMP
0000036f: JUMPDEST
00000370: CALLVALUE
00000371: DUP1
00000372: ISZERO
00000373: PUSH2 0x037b
00000376: JUMPI
00000377: PUSH1 0x00
00000379: DUP1
0000037a: REVERT
0000037b: JUMPDEST
0000037c: POP
0000037d: PUSH2 0x0387
00000380: PUSH1 0x04
00000382: CALLDATALOAD
00000383: PUSH2 0x0d80
00000386: JUMP
00000387: JUMPDEST
00000388: PUSH1 0x40
0000038a: DUP1
0000038b: MLOAD
0000038c: PUSH1 0x01
0000038e: PUSH1 0xa0
00000390: PUSH1 0x02
00000392: EXP
00000393: SUB
00000394: SWAP1
00000395: SWAP10
00000396: AND
00000397: DUP10
00000398: MSTORE
00000399: PUSH1 0x20
0000039b: DUP10
0000039c: ADD
0000039d: SWAP8
0000039e: SWAP1
0000039f: SWAP8
000003a0: MSTORE
000003a1: SWAP5
000003a2: ISZERO
000003a3: ISZERO
000003a4: DUP8
000003a5: DUP8
000003a6: ADD
000003a7: MSTORE
000003a8: PUSH1 0x60
000003aa: DUP8
000003ab: ADD
000003ac: SWAP4
000003ad: SWAP1
000003ae: SWAP4
000003af: MSTORE
000003b0: PUSH1 0x80
000003b2: DUP7
000003b3: ADD
000003b4: SWAP2
000003b5: SWAP1
000003b6: SWAP2
000003b7: MSTORE
000003b8: PUSH1 0xa0
000003ba: DUP6
000003bb: ADD
000003bc: MSTORE
000003bd: PUSH1 0xc0
000003bf: DUP5
000003c0: ADD
000003c1: MSTORE
000003c2: PUSH1 0xe0
000003c4: DUP4
000003c5: ADD
000003c6: MSTORE
000003c7: MLOAD
000003c8: SWAP1
000003c9: DUP2
000003ca: SWAP1
000003cb: SUB
000003cc: PUSH2 0x0100
000003cf: ADD
000003d0: SWAP1
000003d1: RETURN
000003d2: JUMPDEST
000003d3: CALLVALUE
000003d4: DUP1
000003d5: ISZERO
000003d6: PUSH2 0x03de
000003d9: JUMPI
000003da: PUSH1 0x00
000003dc: DUP1
000003dd: REVERT
000003de: JUMPDEST
000003df: POP
000003e0: PUSH2 0x0235
000003e3: PUSH1 0x04
000003e5: CALLDATALOAD
000003e6: PUSH2 0x0dd3
000003e9: JUMP
000003ea: JUMPDEST
000003eb: CALLVALUE
000003ec: DUP1
000003ed: ISZERO
000003ee: PUSH2 0x03f6
000003f1: JUMPI
000003f2: PUSH1 0x00
000003f4: DUP1
000003f5: REVERT
000003f6: JUMPDEST
000003f7: POP
000003f8: PUSH2 0x0235
000003fb: PUSH1 0x01
000003fd: PUSH1 0xa0
000003ff: PUSH1 0x02
00000401: EXP
00000402: SUB
00000403: PUSH1 0x04
00000405: CALLDATALOAD
00000406: AND
00000407: PUSH2 0x0de5
0000040a: JUMP
0000040b: JUMPDEST
0000040c: CALLVALUE
0000040d: DUP1
0000040e: ISZERO
0000040f: PUSH2 0x0417
00000412: JUMPI
00000413: PUSH1 0x00
00000415: DUP1
00000416: REVERT
00000417: JUMPDEST
00000418: POP
00000419: PUSH2 0x0235
0000041c: PUSH2 0x0df7
0000041f: JUMP
00000420: JUMPDEST
00000421: CALLVALUE
00000422: DUP1
00000423: ISZERO
00000424: PUSH2 0x042c
00000427: JUMPI
00000428: PUSH1 0x00
0000042a: DUP1
0000042b: REVERT
0000042c: JUMPDEST
0000042d: POP
0000042e: PUSH1 0x40
00000430: DUP1
00000431: MLOAD
00000432: PUSH1 0x20
00000434: PUSH1 0x04
00000436: DUP1
00000437: CALLDATALOAD
00000438: DUP1
00000439: DUP3
0000043a: ADD
0000043b: CALLDATALOAD
0000043c: PUSH1 0x1f
0000043e: DUP2
0000043f: ADD
00000440: DUP5
00000441: SWAP1
00000442: DIV
00000443: DUP5
00000444: MUL
00000445: DUP6
00000446: ADD
00000447: DUP5
00000448: ADD
00000449: SWAP1
0000044a: SWAP6
0000044b: MSTORE
0000044c: DUP5
0000044d: DUP5
0000044e: MSTORE
0000044f: PUSH2 0x0274
00000452: SWAP5
00000453: CALLDATASIZE
00000454: SWAP5
00000455: SWAP3
00000456: SWAP4
00000457: PUSH1 0x24
00000459: SWAP4
0000045a: SWAP3
0000045b: DUP5
0000045c: ADD
0000045d: SWAP2
0000045e: SWAP1
0000045f: DUP2
00000460: SWAP1
00000461: DUP5
00000462: ADD
00000463: DUP4
00000464: DUP3
00000465: DUP1
00000466: DUP3
00000467: DUP5
00000468: CALLDATACOPY
00000469: POP
0000046a: SWAP5
0000046b: SWAP8
0000046c: POP
0000046d: PUSH2 0x0dfd
00000470: SWAP7
00000471: POP
00000472: POP
00000473: POP
00000474: POP
00000475: POP
00000476: POP
00000477: POP
00000478: JUMP
00000479: JUMPDEST
0000047a: CALLVALUE
0000047b: DUP1
0000047c: ISZERO
0000047d: PUSH2 0x0485
00000480: JUMPI
00000481: PUSH1 0x00
00000483: DUP1
00000484: REVERT
00000485: JUMPDEST
00000486: POP
00000487: PUSH2 0x0491
0000048a: PUSH1 0x04
0000048c: CALLDATALOAD
0000048d: PUSH2 0x106a
00000490: JUMP
00000491: JUMPDEST
00000492: PUSH1 0x40
00000494: DUP1
00000495: MLOAD
00000496: SWAP6
00000497: DUP7
00000498: MSTORE
00000499: PUSH1 0x20
0000049b: DUP7
0000049c: ADD
0000049d: SWAP5
0000049e: SWAP1
0000049f: SWAP5
000004a0: MSTORE
000004a1: DUP5
000004a2: DUP5
000004a3: ADD
000004a4: SWAP3
000004a5: SWAP1
000004a6: SWAP3
000004a7: MSTORE
000004a8: PUSH1 0x60
000004aa: DUP5
000004ab: ADD
000004ac: MSTORE
000004ad: PUSH1 0x80
000004af: DUP4
000004b0: ADD
000004b1: MSTORE
000004b2: MLOAD
000004b3: SWAP1
000004b4: DUP2
000004b5: SWAP1
000004b6: SUB
000004b7: PUSH1 0xa0
000004b9: ADD
000004ba: SWAP1
000004bb: RETURN
000004bc: JUMPDEST
000004bd: CALLVALUE
000004be: DUP1
000004bf: ISZERO
000004c0: PUSH2 0x04c8
000004c3: JUMPI
000004c4: PUSH1 0x00
000004c6: DUP1
000004c7: REVERT
000004c8: JUMPDEST
000004c9: POP
000004ca: PUSH2 0x0274
000004cd: PUSH2 0x1099
000004d0: JUMP
000004d1: JUMPDEST
000004d2: CALLVALUE
000004d3: DUP1
000004d4: ISZERO
000004d5: PUSH2 0x04dd
000004d8: JUMPI
000004d9: PUSH1 0x00
000004db: DUP1
000004dc: REVERT
000004dd: JUMPDEST
000004de: POP
000004df: PUSH2 0x0274
000004e2: PUSH2 0x1190
000004e5: JUMP
000004e6: JUMPDEST
000004e7: CALLVALUE
000004e8: DUP1
000004e9: ISZERO
000004ea: PUSH2 0x04f2
000004ed: JUMPI
000004ee: PUSH1 0x00
000004f0: DUP1
000004f1: REVERT
000004f2: JUMPDEST
000004f3: POP
000004f4: PUSH2 0x0274
000004f7: PUSH1 0x04
000004f9: CALLDATALOAD
000004fa: PUSH1 0x24
000004fc: CALLDATALOAD
000004fd: ISZERO
000004fe: ISZERO
000004ff: PUSH2 0x1253
00000502: JUMP
00000503: JUMPDEST
00000504: CALLVALUE
00000505: DUP1
00000506: ISZERO
00000507: PUSH2 0x050f
0000050a: JUMPI
0000050b: PUSH1 0x00
0000050d: DUP1
0000050e: REVERT
0000050f: JUMPDEST
00000510: POP
00000511: PUSH2 0x051b
00000514: PUSH1 0x04
00000516: CALLDATALOAD
00000517: PUSH2 0x12d5
0000051a: JUMP
0000051b: JUMPDEST
0000051c: PUSH1 0x40
0000051e: DUP1
0000051f: MLOAD
00000520: SWAP3
00000521: DUP4
00000522: MSTORE
00000523: PUSH1 0x20
00000525: DUP4
00000526: ADD
00000527: SWAP2
00000528: SWAP1
00000529: SWAP2
0000052a: MSTORE
0000052b: DUP1
0000052c: MLOAD
0000052d: SWAP2
0000052e: DUP3
0000052f: SWAP1
00000530: SUB
00000531: ADD
00000532: SWAP1
00000533: RETURN
00000534: JUMPDEST
00000535: CALLVALUE
00000536: DUP1
00000537: ISZERO
00000538: PUSH2 0x0540
0000053b: JUMPI
0000053c: PUSH1 0x00
0000053e: DUP1
0000053f: REVERT
00000540: JUMPDEST
00000541: POP
00000542: PUSH2 0x0274
00000545: PUSH2 0x1397
00000548: JUMP
00000549: JUMPDEST
0000054a: CALLVALUE
0000054b: DUP1
0000054c: ISZERO
0000054d: PUSH2 0x0555
00000550: JUMPI
00000551: PUSH1 0x00
00000553: DUP1
00000554: REVERT
00000555: JUMPDEST
00000556: POP
00000557: PUSH2 0x0274
0000055a: PUSH1 0x04
0000055c: CALLDATALOAD
0000055d: PUSH2 0x15c0
00000560: JUMP
00000561: JUMPDEST
00000562: CALLVALUE
00000563: DUP1
00000564: ISZERO
00000565: PUSH2 0x056d
00000568: JUMPI
00000569: PUSH1 0x00
0000056b: DUP1
0000056c: REVERT
0000056d: JUMPDEST
0000056e: POP
0000056f: PUSH2 0x0274
00000572: PUSH2 0x1894
00000575: JUMP
00000576: JUMPDEST
00000577: PUSH1 0x40
00000579: DUP1
0000057a: MLOAD
0000057b: PUSH1 0x20
0000057d: PUSH1 0x04
0000057f: DUP1
00000580: CALLDATALOAD
00000581: DUP1
00000582: DUP3
00000583: ADD
00000584: CALLDATALOAD
00000585: PUSH1 0x1f
00000587: DUP2
00000588: ADD
00000589: DUP5
0000058a: SWAP1
0000058b: DIV
0000058c: DUP5
0000058d: MUL
0000058e: DUP6
0000058f: ADD
00000590: DUP5
00000591: ADD
00000592: SWAP1
00000593: SWAP6
00000594: MSTORE
00000595: DUP5
00000596: DUP5
00000597: MSTORE
00000598: PUSH2 0x0274
0000059b: SWAP5
0000059c: CALLDATASIZE
0000059d: SWAP5
0000059e: SWAP3
0000059f: SWAP4
000005a0: PUSH1 0x24
000005a2: SWAP4
000005a3: SWAP3
000005a4: DUP5
000005a5: ADD
000005a6: SWAP2
000005a7: SWAP1
000005a8: DUP2
000005a9: SWAP1
000005aa: DUP5
000005ab: ADD
000005ac: DUP4
000005ad: DUP3
000005ae: DUP1
000005af: DUP3
000005b0: DUP5
000005b1: CALLDATACOPY
000005b2: POP
000005b3: SWAP5
000005b4: SWAP8
000005b5: POP
000005b6: POP
000005b7: SWAP4
000005b8: CALLDATALOAD
000005b9: SWAP5
000005ba: POP
000005bb: PUSH2 0x198c
000005be: SWAP4
000005bf: POP
000005c0: POP
000005c1: POP
000005c2: POP
000005c3: JUMP
000005c4: JUMPDEST
000005c5: CALLVALUE
000005c6: DUP1
000005c7: ISZERO
000005c8: PUSH2 0x05d0
000005cb: JUMPI
000005cc: PUSH1 0x00
000005ce: DUP1
000005cf: REVERT
000005d0: JUMPDEST
000005d1: POP
000005d2: PUSH2 0x028b
000005d5: PUSH2 0x1bff
000005d8: JUMP
000005d9: JUMPDEST
000005da: CALLVALUE
000005db: DUP1
000005dc: ISZERO
000005dd: PUSH2 0x05e5
000005e0: JUMPI
000005e1: PUSH1 0x00
000005e3: DUP1
000005e4: REVERT
000005e5: JUMPDEST
000005e6: POP
000005e7: PUSH2 0x0235
000005ea: PUSH1 0x04
000005ec: CALLDATALOAD
000005ed: PUSH1 0x24
000005ef: CALLDATALOAD
000005f0: PUSH2 0x1c0e
000005f3: JUMP
000005f4: JUMPDEST
000005f5: CALLVALUE
000005f6: DUP1
000005f7: ISZERO
000005f8: PUSH2 0x0600
000005fb: JUMPI
000005fc: PUSH1 0x00
000005fe: DUP1
000005ff: REVERT
00000600: JUMPDEST
00000601: POP
00000602: PUSH2 0x0235
00000605: PUSH2 0x1c3e
00000608: JUMP
00000609: JUMPDEST
0000060a: CALLVALUE
0000060b: DUP1
0000060c: ISZERO
0000060d: PUSH2 0x0615
00000610: JUMPI
00000611: PUSH1 0x00
00000613: DUP1
00000614: REVERT
00000615: JUMPDEST
00000616: POP
00000617: PUSH2 0x0491
0000061a: PUSH1 0x04
0000061c: CALLDATALOAD
0000061d: PUSH2 0x1c44
00000620: JUMP
00000621: JUMPDEST
00000622: CALLVALUE
00000623: DUP1
00000624: ISZERO
00000625: PUSH2 0x062d
00000628: JUMPI
00000629: PUSH1 0x00
0000062b: DUP1
0000062c: REVERT
0000062d: JUMPDEST
0000062e: POP
0000062f: PUSH2 0x0331
00000632: PUSH2 0x1d1d
00000635: JUMP
00000636: JUMPDEST
00000637: CALLVALUE
00000638: DUP1
00000639: ISZERO
0000063a: PUSH2 0x0642
0000063d: JUMPI
0000063e: PUSH1 0x00
00000640: DUP1
00000641: REVERT
00000642: JUMPDEST
00000643: POP
00000644: PUSH2 0x064b
00000647: PUSH2 0x1d26
0000064a: JUMP
0000064b: JUMPDEST
0000064c: PUSH1 0x40
0000064e: DUP1
0000064f: MLOAD
00000650: SWAP9
00000651: ISZERO
00000652: ISZERO
00000653: DUP10
00000654: MSTORE
00000655: PUSH1 0x20
00000657: DUP10
00000658: ADD
00000659: SWAP8
0000065a: SWAP1
0000065b: SWAP8
0000065c: MSTORE
0000065d: DUP8
0000065e: DUP8
0000065f: ADD
00000660: SWAP6
00000661: SWAP1
00000662: SWAP6
00000663: MSTORE
00000664: PUSH1 0x60
00000666: DUP8
00000667: ADD
00000668: SWAP4
00000669: SWAP1
0000066a: SWAP4
0000066b: MSTORE
0000066c: PUSH1 0x80
0000066e: DUP7
0000066f: ADD
00000670: SWAP2
00000671: SWAP1
00000672: SWAP2
00000673: MSTORE
00000674: PUSH1 0xa0
00000676: DUP6
00000677: ADD
00000678: MSTORE
00000679: PUSH1 0xc0
0000067b: DUP5
0000067c: ADD
0000067d: MSTORE
0000067e: PUSH1 0xe0
00000680: DUP4
00000681: ADD
00000682: MSTORE
00000683: MLOAD
00000684: SWAP1
00000685: DUP2
00000686: SWAP1
00000687: SUB
00000688: PUSH2 0x0100
0000068b: ADD
0000068c: SWAP1
0000068d: RETURN
0000068e: JUMPDEST
0000068f: CALLVALUE
00000690: DUP1
00000691: ISZERO
00000692: PUSH2 0x069a
00000695: JUMPI
00000696: PUSH1 0x00
00000698: DUP1
00000699: REVERT
0000069a: JUMPDEST
0000069b: POP
0000069c: PUSH2 0x0274
0000069f: PUSH2 0x1d88
000006a2: JUMP
000006a3: JUMPDEST
000006a4: PUSH2 0x0274
000006a7: PUSH1 0x04
000006a9: CALLDATALOAD
000006aa: PUSH2 0x1f91
000006ad: JUMP
000006ae: JUMPDEST
000006af: CALLER
000006b0: PUSH1 0x00
000006b2: SWAP1
000006b3: DUP2
000006b4: MSTORE
000006b5: PUSH1 0x09
000006b7: PUSH1 0x20
000006b9: DUP2
000006ba: DUP2
000006bb: MSTORE
000006bc: PUSH1 0x40
000006be: DUP1
000006bf: DUP5
000006c0: KECCAK256
000006c1: SLOAD
000006c2: DUP5
000006c3: MSTORE
000006c4: PUSH1 0x08
000006c6: DUP3
000006c7: MSTORE
000006c8: SWAP3
000006c9: DUP4
000006ca: SWAP1
000006cb: KECCAK256
000006cc: SWAP1
000006cd: SWAP2
000006ce: ADD
000006cf: DUP1
000006d0: SLOAD
000006d1: DUP4
000006d2: MLOAD
000006d3: DUP2
000006d4: DUP5
000006d5: MUL
000006d6: DUP2
000006d7: ADD
000006d8: DUP5
000006d9: ADD
000006da: SWAP1
000006db: SWAP5
000006dc: MSTORE
000006dd: DUP1
000006de: DUP5
000006df: MSTORE
000006e0: PUSH1 0x60
000006e2: SWAP4
000006e3: SWAP3
000006e4: DUP4
000006e5: ADD
000006e6: DUP3
000006e7: DUP3
000006e8: DUP1
000006e9: ISZERO
000006ea: PUSH2 0x0712
000006ed: JUMPI
000006ee: PUSH1 0x20
000006f0: MUL
000006f1: DUP3
000006f2: ADD
000006f3: SWAP2
000006f4: SWAP1
000006f5: PUSH1 0x00
000006f7: MSTORE
000006f8: PUSH1 0x20
000006fa: PUSH1 0x00
000006fc: KECCAK256
000006fd: SWAP1
000006fe: JUMPDEST
000006ff: DUP2
00000700: SLOAD
00000701: DUP2
00000702: MSTORE
00000703: PUSH1 0x20
00000705: ADD
00000706: SWAP1
00000707: PUSH1 0x01
00000709: ADD
0000070a: SWAP1
0000070b: DUP1
0000070c: DUP4
0000070d: GT
0000070e: PUSH2 0x06fe
00000711: JUMPI
00000712: JUMPDEST
00000713: POP
00000714: POP
00000715: POP
00000716: POP
00000717: POP
00000718: SWAP1
00000719: POP
0000071a: SWAP1
0000071b: JUMP
0000071c: JUMPDEST
0000071d: PUSH1 0x07
0000071f: SLOAD
00000720: DUP2
00000721: JUMP
00000722: JUMPDEST
00000723: PUSH1 0x0b
00000725: PUSH1 0x20
00000727: MSTORE
00000728: PUSH1 0x00
0000072a: SWAP1
0000072b: DUP2
0000072c: MSTORE
0000072d: PUSH1 0x40
0000072f: SWAP1
00000730: KECCAK256
00000731: SLOAD
00000732: DUP2
00000733: JUMP
00000734: JUMPDEST
00000735: PUSH1 0x40
00000737: DUP1
00000738: MLOAD
00000739: PUSH13 0x01000000000000000000000000
00000747: CALLER
00000748: MUL
00000749: DUP2
0000074a: MSTORE
0000074b: DUP2
0000074c: MLOAD
0000074d: SWAP1
0000074e: DUP2
0000074f: SWAP1
00000750: SUB
00000751: PUSH1 0x14
00000753: ADD
00000754: SWAP1
00000755: KECCAK256
00000756: PUSH1 0x00
00000758: SWAP1
00000759: DUP2
0000075a: MSTORE
0000075b: PUSH1 0x03
0000075d: PUSH1 0x20
0000075f: MSTORE
00000760: KECCAK256
00000761: SLOAD
00000762: PUSH1 0xff
00000764: AND
00000765: ISZERO
00000766: ISZERO
00000767: PUSH2 0x07a8
0000076a: JUMPI
0000076b: PUSH1 0x40
0000076d: DUP1
0000076e: MLOAD
0000076f: PUSH1 0xe5
00000771: PUSH1 0x02
00000773: EXP
00000774: PUSH3 0x461bcd
00000778: MUL
00000779: DUP2
0000077a: MSTORE
0000077b: PUSH1 0x20
0000077d: PUSH1 0x04
0000077f: DUP3
00000780: ADD
00000781: MSTORE
00000782: PUSH1 0x16
00000784: PUSH1 0x24
00000786: DUP3
00000787: ADD
00000788: MSTORE
00000789: PUSH1 0x00
0000078b: DUP1
0000078c: MLOAD
0000078d: PUSH1 0x20
0000078f: PUSH2 0x373d
00000792: DUP4
00000793: CODECOPY
00000794: DUP2
00000795: MLOAD
00000796: SWAP2
00000797: MSTORE
00000798: PUSH1 0x44
0000079a: DUP3
0000079b: ADD
0000079c: MSTORE
0000079d: SWAP1
0000079e: MLOAD
0000079f: SWAP1
000007a0: DUP2
000007a1: SWAP1
000007a2: SUB
000007a3: PUSH1 0x64
000007a5: ADD
000007a6: SWAP1
000007a7: REVERT
000007a8: JUMPDEST
000007a9: PUSH1 0x00
000007ab: SLOAD
000007ac: PUSH1 0xff
000007ae: AND
000007af: ISZERO
000007b0: PUSH2 0x0803
000007b3: JUMPI
000007b4: PUSH1 0x40
000007b6: DUP1
000007b7: MLOAD
000007b8: PUSH1 0xe5
000007ba: PUSH1 0x02
000007bc: EXP
000007bd: PUSH3 0x461bcd
000007c1: MUL
000007c2: DUP2
000007c3: MSTORE
000007c4: PUSH1 0x20
000007c6: PUSH1 0x04
000007c8: DUP3
000007c9: ADD
000007ca: MSTORE
000007cb: PUSH1 0x09
000007cd: PUSH1 0x24
000007cf: DUP3
000007d0: ADD
000007d1: MSTORE
000007d2: PUSH32 0x6163746976617465640000000000000000000000000000000000000000000000
000007f3: PUSH1 0x44
000007f5: DUP3
000007f6: ADD
000007f7: MSTORE
000007f8: SWAP1
000007f9: MLOAD
000007fa: SWAP1
000007fb: DUP2
000007fc: SWAP1
000007fd: SUB
000007fe: PUSH1 0x64
00000800: ADD
00000801: SWAP1
00000802: REVERT
00000803: JUMPDEST
00000804: PUSH1 0x00
00000806: DUP1
00000807: SLOAD
00000808: PUSH1 0xff
0000080a: NOT
0000080b: AND
0000080c: PUSH1 0x01
0000080e: SWAP1
0000080f: DUP2
00000810: OR
00000811: SWAP1
00000812: SWAP2
00000813: SSTORE
00000814: TIMESTAMP
00000815: SWAP1
00000816: SSTORE
00000817: JUMP
00000818: JUMPDEST
00000819: PUSH1 0x10
0000081b: SLOAD
0000081c: PUSH1 0x01
0000081e: PUSH1 0xa0
00000820: PUSH1 0x02
00000822: EXP
00000823: SUB
00000824: AND
00000825: DUP2
00000826: JUMP
00000827: JUMPDEST
00000828: PUSH1 0x40
0000082a: DUP1
0000082b: MLOAD
0000082c: PUSH13 0x01000000000000000000000000
0000083a: CALLER
0000083b: MUL
0000083c: DUP2
0000083d: MSTORE
0000083e: DUP2
0000083f: MLOAD
00000840: SWAP1
00000841: DUP2
00000842: SWAP1
00000843: SUB
00000844: PUSH1 0x14
00000846: ADD
00000847: SWAP1
00000848: KECCAK256
00000849: PUSH1 0x00
0000084b: SWAP1
0000084c: DUP2
0000084d: MSTORE
0000084e: PUSH1 0x03
00000850: PUSH1 0x20
00000852: MSTORE
00000853: SWAP1
00000854: DUP2
00000855: KECCAK256
00000856: SLOAD
00000857: PUSH1 0xff
00000859: AND
0000085a: ISZERO
0000085b: ISZERO
0000085c: PUSH2 0x089d
0000085f: JUMPI
00000860: PUSH1 0x40
00000862: DUP1
00000863: MLOAD
00000864: PUSH1 0xe5
00000866: PUSH1 0x02
00000868: EXP
00000869: PUSH3 0x461bcd
0000086d: MUL
0000086e: DUP2
0000086f: MSTORE
00000870: PUSH1 0x20
00000872: PUSH1 0x04
00000874: DUP3
00000875: ADD
00000876: MSTORE
00000877: PUSH1 0x16
00000879: PUSH1 0x24
0000087b: DUP3
0000087c: ADD
0000087d: MSTORE
0000087e: PUSH1 0x00
00000880: DUP1
00000881: MLOAD
00000882: PUSH1 0x20
00000884: PUSH2 0x373d
00000887: DUP4
00000888: CODECOPY
00000889: DUP2
0000088a: MLOAD
0000088b: SWAP2
0000088c: MSTORE
0000088d: PUSH1 0x44
0000088f: DUP3
00000890: ADD
00000891: MSTORE
00000892: SWAP1
00000893: MLOAD
00000894: SWAP1
00000895: DUP2
00000896: SWAP1
00000897: SUB
00000898: PUSH1 0x64
0000089a: ADD
0000089b: SWAP1
0000089c: REVERT
0000089d: JUMPDEST
0000089e: PUSH1 0x00
000008a0: SLOAD
000008a1: PUSH1 0xff
000008a3: AND
000008a4: ISZERO
000008a5: ISZERO
000008a6: PUSH1 0x01
000008a8: EQ
000008a9: PUSH2 0x08ea
000008ac: JUMPI
000008ad: PUSH1 0x40
000008af: DUP1
000008b0: MLOAD
000008b1: PUSH1 0xe5
000008b3: PUSH1 0x02
000008b5: EXP
000008b6: PUSH3 0x461bcd
000008ba: MUL
000008bb: DUP2
000008bc: MSTORE
000008bd: PUSH1 0x20
000008bf: PUSH1 0x04
000008c1: DUP3
000008c2: ADD
000008c3: MSTORE
000008c4: PUSH1 0x0d
000008c6: PUSH1 0x24
000008c8: DUP3
000008c9: ADD
000008ca: MSTORE
000008cb: PUSH1 0x00
000008cd: DUP1
000008ce: MLOAD
000008cf: PUSH1 0x20
000008d1: PUSH2 0x371d
000008d4: DUP4
000008d5: CODECOPY
000008d6: DUP2
000008d7: MLOAD
000008d8: SWAP2
000008d9: MSTORE
000008da: PUSH1 0x44
000008dc: DUP3
000008dd: ADD
000008de: MSTORE
000008df: SWAP1
000008e0: MLOAD
000008e1: SWAP1
000008e2: DUP2
000008e3: SWAP1
000008e4: SUB
000008e5: PUSH1 0x64
000008e7: ADD
000008e8: SWAP1
000008e9: REVERT
000008ea: JUMPDEST
000008eb: POP
000008ec: PUSH1 0x04
000008ee: SLOAD
000008ef: SWAP1
000008f0: JUMP
000008f1: JUMPDEST
000008f2: PUSH1 0x00
000008f4: DUP1
000008f5: PUSH2 0x08fc
000008f8: PUSH2 0x36bf
000008fb: JUMP
000008fc: JUMPDEST
000008fd: PUSH1 0x00
000008ff: DUP1
00000900: SLOAD
00000901: PUSH1 0xff
00000903: AND
00000904: ISZERO
00000905: ISZERO
00000906: PUSH1 0x01
00000908: EQ
00000909: PUSH2 0x094a
0000090c: JUMPI
0000090d: PUSH1 0x40
0000090f: DUP1
00000910: MLOAD
00000911: PUSH1 0xe5
00000913: PUSH1 0x02
00000915: EXP
00000916: PUSH3 0x461bcd
0000091a: MUL
0000091b: DUP2
0000091c: MSTORE
0000091d: PUSH1 0x20
0000091f: PUSH1 0x04
00000921: DUP3
00000922: ADD
00000923: MSTORE
00000924: PUSH1 0x0d
00000926: PUSH1 0x24
00000928: DUP3
00000929: ADD
0000092a: MSTORE
0000092b: PUSH1 0x00
0000092d: DUP1
0000092e: MLOAD
0000092f: PUSH1 0x20
00000931: PUSH2 0x371d
00000934: DUP4
00000935: CODECOPY
00000936: DUP2
00000937: MLOAD
00000938: SWAP2
00000939: MSTORE
0000093a: PUSH1 0x44
0000093c: DUP3
0000093d: ADD
0000093e: MSTORE
0000093f: SWAP1
00000940: MLOAD
00000941: SWAP1
00000942: DUP2
00000943: SWAP1
00000944: SUB
00000945: PUSH1 0x64
00000947: ADD
00000948: SWAP1
00000949: REVERT
0000094a: JUMPDEST
0000094b: CALLER
0000094c: DUP1
0000094d: EXTCODESIZE
0000094e: DUP1
0000094f: ISZERO
00000950: PUSH2 0x0991
00000953: JUMPI
00000954: PUSH1 0x40
00000956: DUP1
00000957: MLOAD
00000958: PUSH1 0xe5
0000095a: PUSH1 0x02
0000095c: EXP
0000095d: PUSH3 0x461bcd
00000961: MUL
00000962: DUP2
00000963: MSTORE
00000964: PUSH1 0x20
00000966: PUSH1 0x04
00000968: DUP3
00000969: ADD
0000096a: MSTORE
0000096b: PUSH1 0x11
0000096d: PUSH1 0x24
0000096f: DUP3
00000970: ADD
00000971: MSTORE
00000972: PUSH1 0x00
00000974: DUP1
00000975: MLOAD
00000976: PUSH1 0x20
00000978: PUSH2 0x375d
0000097b: DUP4
0000097c: CODECOPY
0000097d: DUP2
0000097e: MLOAD
0000097f: SWAP2
00000980: MSTORE
00000981: PUSH1 0x44
00000983: DUP3
00000984: ADD
00000985: MSTORE
00000986: SWAP1
00000987: MLOAD
00000988: SWAP1
00000989: DUP2
0000098a: SWAP1
0000098b: SUB
0000098c: PUSH1 0x64
0000098e: ADD
0000098f: SWAP1
00000990: REVERT
00000991: JUMPDEST
00000992: TIMESTAMP
00000993: SWAP6
00000994: POP
00000995: PUSH2 0x099d
00000998: DUP7
00000999: PUSH2 0x212e
0000099c: JUMP
0000099d: JUMPDEST
0000099e: PUSH1 0x00
000009a0: DUP9
000009a1: DUP2
000009a2: MSTORE
000009a3: PUSH1 0x0d
000009a5: PUSH1 0x20
000009a7: SWAP1
000009a8: DUP2
000009a9: MSTORE
000009aa: PUSH1 0x40
000009ac: SWAP2
000009ad: DUP3
000009ae: SWAP1
000009af: KECCAK256
000009b0: DUP3
000009b1: MLOAD
000009b2: PUSH1 0xc0
000009b4: DUP2
000009b5: ADD
000009b6: DUP5
000009b7: MSTORE
000009b8: DUP2
000009b9: SLOAD
000009ba: DUP2
000009bb: MSTORE
000009bc: PUSH1 0x01
000009be: DUP3
000009bf: ADD
000009c0: SLOAD
000009c1: SWAP3
000009c2: DUP2
000009c3: ADD
000009c4: SWAP3
000009c5: SWAP1
000009c6: SWAP3
000009c7: MSTORE
000009c8: PUSH1 0x02
000009ca: DUP2
000009cb: ADD
000009cc: SLOAD
000009cd: DUP3
000009ce: DUP5
000009cf: ADD
000009d0: MSTORE
000009d1: PUSH1 0x03
000009d3: DUP2
000009d4: ADD
000009d5: SLOAD
000009d6: PUSH1 0x60
000009d8: DUP4
000009d9: ADD
000009da: MSTORE
000009db: DUP3
000009dc: MLOAD
000009dd: PUSH1 0xe0
000009df: DUP2
000009e0: ADD
000009e1: SWAP1
000009e2: SWAP4
000009e3: MSTORE
000009e4: SWAP3
000009e5: SWAP8
000009e6: POP
000009e7: SWAP2
000009e8: SWAP1
000009e9: PUSH1 0x80
000009eb: DUP4
000009ec: ADD
000009ed: SWAP1
000009ee: PUSH1 0x04
000009f0: DUP4
000009f1: ADD
000009f2: PUSH1 0x07
000009f4: DUP3
000009f5: DUP3
000009f6: DUP3
000009f7: PUSH1 0x20
000009f9: MUL
000009fa: DUP3
000009fb: ADD
000009fc: SWAP2
000009fd: JUMPDEST
000009fe: DUP2
000009ff: SLOAD
00000a00: DUP2
00000a01: MSTORE
00000a02: PUSH1 0x20
00000a04: ADD
00000a05: SWAP1
00000a06: PUSH1 0x01
00000a08: ADD
00000a09: SWAP1
00000a0a: DUP1
00000a0b: DUP4
00000a0c: GT
00000a0d: PUSH2 0x09fd
00000a10: JUMPI
00000a11: POP
00000a12: POP
00000a13: POP
00000a14: SWAP2
00000a15: DUP4
00000a16: MSTORE
00000a17: POP
00000a18: POP
00000a19: PUSH1 0x0b
00000a1b: SWAP2
00000a1c: SWAP1
00000a1d: SWAP2
00000a1e: ADD
00000a1f: SLOAD
00000a20: PUSH1 0x20
00000a22: SWAP2
00000a23: DUP3
00000a24: ADD
00000a25: MSTORE
00000a26: CALLER
00000a27: PUSH1 0x00
00000a29: SWAP1
00000a2a: DUP2
00000a2b: MSTORE
00000a2c: PUSH1 0x09
00000a2e: SWAP1
00000a2f: SWAP2
00000a30: MSTORE
00000a31: PUSH1 0x40
00000a33: SWAP1
00000a34: KECCAK256
00000a35: SLOAD
00000a36: DUP2
00000a37: MLOAD
00000a38: SWAP2
00000a39: SWAP6
00000a3a: POP
00000a3b: EQ
00000a3c: PUSH2 0x0a8f
00000a3f: JUMPI
00000a40: PUSH1 0x40
00000a42: DUP1
00000a43: MLOAD
00000a44: PUSH1 0xe5
00000a46: PUSH1 0x02
00000a48: EXP
00000a49: PUSH3 0x461bcd
00000a4d: MUL
00000a4e: DUP2
00000a4f: MSTORE
00000a50: PUSH1 0x20
00000a52: PUSH1 0x04
00000a54: DUP3
00000a55: ADD
00000a56: MSTORE
00000a57: PUSH1 0x17
00000a59: PUSH1 0x24
00000a5b: DUP3
00000a5c: ADD
00000a5d: MSTORE
00000a5e: PUSH32 0x6f6e6c79206f776e65722063616e207769746864726177000000000000000000
00000a7f: PUSH1 0x44
00000a81: DUP3
00000a82: ADD
00000a83: MSTORE
00000a84: SWAP1
00000a85: MLOAD
00000a86: SWAP1
00000a87: DUP2
00000a88: SWAP1
00000a89: SUB
00000a8a: PUSH1 0x64
00000a8c: ADD
00000a8d: SWAP1
00000a8e: REVERT
00000a8f: JUMPDEST
00000a90: PUSH2 0x0a99
00000a93: DUP6
00000a94: DUP9
00000a95: PUSH2 0x2163
00000a98: JUMP
00000a99: JUMPDEST
00000a9a: SWAP3
00000a9b: POP
00000a9c: PUSH1 0x00
00000a9e: DUP4
00000a9f: GT
00000aa0: PUSH2 0x0b18
00000aa3: JUMPI
00000aa4: PUSH1 0x40
00000aa6: DUP1
00000aa7: MLOAD
00000aa8: PUSH1 0xe5
00000aaa: PUSH1 0x02
00000aac: EXP
00000aad: PUSH3 0x461bcd
00000ab1: MUL
00000ab2: DUP2
00000ab3: MSTORE
00000ab4: PUSH1 0x20
00000ab6: PUSH1 0x04
00000ab8: DUP3
00000ab9: ADD
00000aba: MSTORE
00000abb: PUSH1 0x24
00000abd: DUP1
00000abe: DUP3
00000abf: ADD
00000ac0: MSTORE
00000ac1: PUSH32 0x6e6f206f7264657220726566756e64206e65656420746f206265207769746864
00000ae2: PUSH1 0x44
00000ae4: DUP3
00000ae5: ADD
00000ae6: MSTORE
00000ae7: PUSH32 0x7261776e00000000000000000000000000000000000000000000000000000000
00000b08: PUSH1 0x64
00000b0a: DUP3
00000b0b: ADD
00000b0c: MSTORE
00000b0d: SWAP1
00000b0e: MLOAD
00000b0f: SWAP1
00000b10: DUP2
00000b11: SWAP1
00000b12: SUB
00000b13: PUSH1 0x84
00000b15: ADD
00000b16: SWAP1
00000b17: REVERT
00000b18: JUMPDEST
00000b19: PUSH1 0x40
00000b1b: MLOAD
00000b1c: CALLER
00000b1d: SWAP1
00000b1e: DUP5
00000b1f: ISZERO
00000b20: PUSH2 0x08fc
00000b23: MUL
00000b24: SWAP1
00000b25: DUP6
00000b26: SWAP1
00000b27: PUSH1 0x00
00000b29: DUP2
00000b2a: DUP2
00000b2b: DUP2
00000b2c: DUP6
00000b2d: DUP9
00000b2e: DUP9
00000b2f: CALL
00000b30: SWAP4
00000b31: POP
00000b32: POP
00000b33: POP
00000b34: POP
00000b35: ISZERO
00000b36: DUP1
00000b37: ISZERO
00000b38: PUSH2 0x0b45
00000b3b: JUMPI
00000b3c: RETURNDATASIZE
00000b3d: PUSH1 0x00
00000b3f: DUP1
00000b40: RETURNDATACOPY
00000b41: RETURNDATASIZE
00000b42: PUSH1 0x00
00000b44: REVERT
00000b45: JUMPDEST
00000b46: POP
00000b47: PUSH1 0x00
00000b49: DUP8
00000b4a: DUP2
00000b4b: MSTORE
00000b4c: PUSH1 0x0d
00000b4e: PUSH1 0x20
00000b50: MSTORE
00000b51: PUSH1 0x40
00000b53: SWAP1
00000b54: KECCAK256
00000b55: PUSH1 0x0b
00000b57: ADD
00000b58: SLOAD
00000b59: PUSH2 0x0b68
00000b5c: SWAP1
00000b5d: DUP5
00000b5e: PUSH4 0xffffffff
00000b63: PUSH2 0x234a
00000b66: AND
00000b67: JUMP
00000b68: JUMPDEST
00000b69: PUSH1 0x00
00000b6b: DUP9
00000b6c: DUP2
00000b6d: MSTORE
00000b6e: PUSH1 0x0d
00000b70: PUSH1 0x20
00000b72: SWAP1
00000b73: DUP2
00000b74: MSTORE
00000b75: PUSH1 0x40
00000b77: SWAP2
00000b78: DUP3
00000b79: SWAP1
00000b7a: KECCAK256
00000b7b: PUSH1 0x0b
00000b7d: ADD
00000b7e: SWAP3
00000b7f: SWAP1
00000b80: SWAP3
00000b81: SSTORE
00000b82: DUP6
00000b83: MLOAD
00000b84: DUP2
00000b85: MLOAD
00000b86: DUP11
00000b87: DUP2
00000b88: MSTORE
00000b89: SWAP3
00000b8a: DUP4
00000b8b: ADD
00000b8c: DUP7
00000b8d: SWAP1
00000b8e: MSTORE
00000b8f: TIMESTAMP
00000b90: DUP4
00000b91: DUP4
00000b92: ADD
00000b93: MSTORE
00000b94: SWAP1
00000b95: MLOAD
00000b96: CALLER
00000b97: SWAP3
00000b98: PUSH32 0xf2bef4dfd6fe6852e5c86b572253da44fbc185eaa1e1f78bd7eb538dcb5bb817
00000bb9: SWAP2
00000bba: SWAP1
00000bbb: DUP2
00000bbc: SWAP1
00000bbd: SUB
00000bbe: PUSH1 0x60
00000bc0: ADD
00000bc1: SWAP1
00000bc2: LOG3
00000bc3: POP
00000bc4: POP
00000bc5: POP
00000bc6: POP
00000bc7: POP
00000bc8: POP
00000bc9: POP
00000bca: JUMP
00000bcb: JUMPDEST
00000bcc: PUSH1 0x0f
00000bce: PUSH1 0x20
00000bd0: MSTORE
00000bd1: PUSH1 0x00
00000bd3: SWAP1
00000bd4: DUP2
00000bd5: MSTORE
00000bd6: PUSH1 0x40
00000bd8: SWAP1
00000bd9: KECCAK256
00000bda: SLOAD
00000bdb: DUP2
00000bdc: JUMP
00000bdd: JUMPDEST
00000bde: PUSH1 0x40
00000be0: DUP1
00000be1: MLOAD
00000be2: PUSH13 0x01000000000000000000000000
00000bf0: CALLER
00000bf1: MUL
00000bf2: DUP2
00000bf3: MSTORE
00000bf4: DUP2
00000bf5: MLOAD
00000bf6: SWAP1
00000bf7: DUP2
00000bf8: SWAP1
00000bf9: SUB
00000bfa: PUSH1 0x14
00000bfc: ADD
00000bfd: SWAP1
00000bfe: KECCAK256
00000bff: PUSH1 0x00
00000c01: SWAP1
00000c02: DUP2
00000c03: MSTORE
00000c04: PUSH1 0x03
00000c06: PUSH1 0x20
00000c08: MSTORE
00000c09: KECCAK256
00000c0a: SLOAD
00000c0b: PUSH1 0xff
00000c0d: AND
00000c0e: ISZERO
00000c0f: ISZERO
00000c10: PUSH2 0x0c51
00000c13: JUMPI
00000c14: PUSH1 0x40
00000c16: DUP1
00000c17: MLOAD
00000c18: PUSH1 0xe5
00000c1a: PUSH1 0x02
00000c1c: EXP
00000c1d: PUSH3 0x461bcd
00000c21: MUL
00000c22: DUP2
00000c23: MSTORE
00000c24: PUSH1 0x20
00000c26: PUSH1 0x04
00000c28: DUP3
00000c29: ADD
00000c2a: MSTORE
00000c2b: PUSH1 0x16
00000c2d: PUSH1 0x24
00000c2f: DUP3
00000c30: ADD
00000c31: MSTORE
00000c32: PUSH1 0x00
00000c34: DUP1
00000c35: MLOAD
00000c36: PUSH1 0x20
00000c38: PUSH2 0x373d
00000c3b: DUP4
00000c3c: CODECOPY
00000c3d: DUP2
00000c3e: MLOAD
00000c3f: SWAP2
00000c40: MSTORE
00000c41: PUSH1 0x44
00000c43: DUP3
00000c44: ADD
00000c45: MSTORE
00000c46: SWAP1
00000c47: MLOAD
00000c48: SWAP1
00000c49: DUP2
00000c4a: SWAP1
00000c4b: SUB
00000c4c: PUSH1 0x64
00000c4e: ADD
00000c4f: SWAP1
00000c50: REVERT
00000c51: JUMPDEST
00000c52: PUSH1 0x00
00000c54: SLOAD
00000c55: PUSH1 0xff
00000c57: AND
00000c58: ISZERO
00000c59: ISZERO
00000c5a: PUSH1 0x01
00000c5c: EQ
00000c5d: PUSH2 0x0c9e
00000c60: JUMPI
00000c61: PUSH1 0x40
00000c63: DUP1
00000c64: MLOAD
00000c65: PUSH1 0xe5
00000c67: PUSH1 0x02
00000c69: EXP
00000c6a: PUSH3 0x461bcd
00000c6e: MUL
00000c6f: DUP2
00000c70: MSTORE
00000c71: PUSH1 0x20
00000c73: PUSH1 0x04
00000c75: DUP3
00000c76: ADD
00000c77: MSTORE
00000c78: PUSH1 0x0d
00000c7a: PUSH1 0x24
00000c7c: DUP3
00000c7d: ADD
00000c7e: MSTORE
00000c7f: PUSH1 0x00
00000c81: DUP1
00000c82: MLOAD
00000c83: PUSH1 0x20
00000c85: PUSH2 0x371d
00000c88: DUP4
00000c89: CODECOPY
00000c8a: DUP2
00000c8b: MLOAD
00000c8c: SWAP2
00000c8d: MSTORE
00000c8e: PUSH1 0x44
00000c90: DUP3
00000c91: ADD
00000c92: MSTORE
00000c93: SWAP1
00000c94: MLOAD
00000c95: SWAP1
00000c96: DUP2
00000c97: SWAP1
00000c98: SUB
00000c99: PUSH1 0x64
00000c9b: ADD
00000c9c: SWAP1
00000c9d: REVERT
00000c9e: JUMPDEST
00000c9f: PUSH1 0x40
00000ca1: MLOAD
00000ca2: CALLER
00000ca3: SWAP1
00000ca4: DUP3
00000ca5: ISZERO
00000ca6: PUSH2 0x08fc
00000ca9: MUL
00000caa: SWAP1
00000cab: DUP4
00000cac: SWAP1
00000cad: PUSH1 0x00
00000caf: DUP2
00000cb0: DUP2
00000cb1: DUP2
00000cb2: DUP6
00000cb3: DUP9
00000cb4: DUP9
00000cb5: CALL
00000cb6: SWAP4
00000cb7: POP
00000cb8: POP
00000cb9: POP
00000cba: POP
00000cbb: ISZERO
00000cbc: DUP1
00000cbd: ISZERO
00000cbe: PUSH2 0x0ccb
00000cc1: JUMPI
00000cc2: RETURNDATASIZE
00000cc3: PUSH1 0x00
00000cc5: DUP1
00000cc6: RETURNDATACOPY
00000cc7: RETURNDATASIZE
00000cc8: PUSH1 0x00
00000cca: REVERT
00000ccb: JUMPDEST
00000ccc: POP
00000ccd: PUSH1 0x04
00000ccf: SLOAD
00000cd0: DUP2
00000cd1: GT
00000cd2: PUSH2 0x0cec
00000cd5: JUMPI
00000cd6: PUSH1 0x04
00000cd8: SLOAD
00000cd9: PUSH2 0x0ce8
00000cdc: SWAP1
00000cdd: DUP3
00000cde: PUSH4 0xffffffff
00000ce3: PUSH2 0x2357
00000ce6: AND
00000ce7: JUMP
00000ce8: JUMPDEST
00000ce9: PUSH1 0x04
00000ceb: SSTORE
00000cec: JUMPDEST
00000ced: POP
00000cee: JUMP
00000cef: JUMPDEST
00000cf0: PUSH1 0x0c
00000cf2: SLOAD
00000cf3: DUP2
00000cf4: JUMP
00000cf5: JUMPDEST
00000cf6: PUSH1 0x03
00000cf8: PUSH1 0x20
00000cfa: MSTORE
00000cfb: PUSH1 0x00
00000cfd: SWAP1
00000cfe: DUP2
00000cff: MSTORE
00000d00: PUSH1 0x40
00000d02: SWAP1
00000d03: KECCAK256
00000d04: SLOAD
00000d05: PUSH1 0xff
00000d07: AND
00000d08: DUP2
00000d09: JUMP
00000d0a: JUMPDEST
00000d0b: CALLER
00000d0c: PUSH1 0x00
00000d0e: SWAP1
00000d0f: DUP2
00000d10: MSTORE
00000d11: PUSH1 0x09
00000d13: PUSH1 0x20
00000d15: SWAP1
00000d16: DUP2
00000d17: MSTORE
00000d18: PUSH1 0x40
00000d1a: DUP1
00000d1b: DUP4
00000d1c: KECCAK256
00000d1d: SLOAD
00000d1e: DUP1
00000d1f: DUP5
00000d20: MSTORE
00000d21: PUSH1 0x08
00000d23: DUP4
00000d24: MSTORE
00000d25: SWAP3
00000d26: DUP2
00000d27: SWAP1
00000d28: KECCAK256
00000d29: PUSH1 0x04
00000d2b: ADD
00000d2c: DUP1
00000d2d: SLOAD
00000d2e: DUP3
00000d2f: MLOAD
00000d30: DUP2
00000d31: DUP6
00000d32: MUL
00000d33: DUP2
00000d34: ADD
00000d35: DUP6
00000d36: ADD
00000d37: SWAP1
00000d38: SWAP4
00000d39: MSTORE
00000d3a: DUP1
00000d3b: DUP4
00000d3c: MSTORE
00000d3d: PUSH1 0x60
00000d3f: SWAP5
00000d40: SWAP4
00000d41: DUP4
00000d42: ADD
00000d43: DUP3
00000d44: DUP3
00000d45: DUP1
00000d46: ISZERO
00000d47: PUSH2 0x0d6f
00000d4a: JUMPI
00000d4b: PUSH1 0x20
00000d4d: MUL
00000d4e: DUP3
00000d4f: ADD
00000d50: SWAP2
00000d51: SWAP1
00000d52: PUSH1 0x00
00000d54: MSTORE
00000d55: PUSH1 0x20
00000d57: PUSH1 0x00
00000d59: KECCAK256
00000d5a: SWAP1
00000d5b: JUMPDEST
00000d5c: DUP2
00000d5d: SLOAD
00000d5e: DUP2
00000d5f: MSTORE
00000d60: PUSH1 0x20
00000d62: ADD
00000d63: SWAP1
00000d64: PUSH1 0x01
00000d66: ADD
00000d67: SWAP1
00000d68: DUP1
00000d69: DUP4
00000d6a: GT
00000d6b: PUSH2 0x0d5b
00000d6e: JUMPI
00000d6f: JUMPDEST
00000d70: POP
00000d71: POP
00000d72: POP
00000d73: POP
00000d74: POP
00000d75: SWAP2
00000d76: POP
00000d77: POP
00000d78: SWAP1
00000d79: JUMP
00000d7a: JUMPDEST
00000d7b: PUSH1 0x01
00000d7d: SLOAD
00000d7e: DUP2
00000d7f: JUMP
00000d80: JUMPDEST
00000d81: PUSH1 0x08
00000d83: PUSH1 0x20
00000d85: DUP2
00000d86: SWAP1
00000d87: MSTORE
00000d88: PUSH1 0x00
00000d8a: SWAP2
00000d8b: DUP3
00000d8c: MSTORE
00000d8d: PUSH1 0x40
00000d8f: SWAP1
00000d90: SWAP2
00000d91: KECCAK256
00000d92: DUP1
00000d93: SLOAD
00000d94: PUSH1 0x01
00000d96: DUP3
00000d97: ADD
00000d98: SLOAD
00000d99: PUSH1 0x02
00000d9b: DUP4
00000d9c: ADD
00000d9d: SLOAD
00000d9e: PUSH1 0x03
00000da0: DUP5
00000da1: ADD
00000da2: SLOAD
00000da3: PUSH1 0x05
00000da5: DUP6
00000da6: ADD
00000da7: SLOAD
00000da8: PUSH1 0x06
00000daa: DUP7
00000dab: ADD
00000dac: SLOAD
00000dad: PUSH1 0x07
00000daf: DUP8
00000db0: ADD
00000db1: SLOAD
00000db2: SWAP7
00000db3: SWAP1
00000db4: SWAP8
00000db5: ADD
00000db6: SLOAD
00000db7: PUSH1 0x01
00000db9: PUSH1 0xa0
00000dbb: PUSH1 0x02
00000dbd: EXP
00000dbe: SUB
00000dbf: SWAP1
00000dc0: SWAP6
00000dc1: AND
00000dc2: SWAP7
00000dc3: SWAP4
00000dc4: SWAP6
00000dc5: PUSH1 0xff
00000dc7: SWAP1
00000dc8: SWAP4
00000dc9: AND
00000dca: SWAP5
00000dcb: SWAP2
00000dcc: SWAP4
00000dcd: SWAP1
00000dce: SWAP3
00000dcf: SWAP1
00000dd0: SWAP2
00000dd1: DUP9
00000dd2: JUMP
00000dd3: JUMPDEST
00000dd4: PUSH1 0x0a
00000dd6: PUSH1 0x20
00000dd8: MSTORE
00000dd9: PUSH1 0x00
00000ddb: SWAP1
00000ddc: DUP2
00000ddd: MSTORE
00000dde: PUSH1 0x40
00000de0: SWAP1
00000de1: KECCAK256
00000de2: SLOAD
00000de3: DUP2
00000de4: JUMP
00000de5: JUMPDEST
00000de6: PUSH1 0x09
00000de8: PUSH1 0x20
00000dea: MSTORE
00000deb: PUSH1 0x00
00000ded: SWAP1
00000dee: DUP2
00000def: MSTORE
00000df0: PUSH1 0x40
00000df2: SWAP1
00000df3: KECCAK256
00000df4: SLOAD
00000df5: DUP2
00000df6: JUMP
00000df7: JUMPDEST
00000df8: PUSH1 0x06
00000dfa: SLOAD
00000dfb: DUP2
00000dfc: JUMP
00000dfd: JUMPDEST
00000dfe: PUSH1 0x40
00000e00: DUP1
00000e01: MLOAD
00000e02: PUSH13 0x01000000000000000000000000
00000e10: CALLER
00000e11: MUL
00000e12: DUP2
00000e13: MSTORE
00000e14: DUP2
00000e15: MLOAD
00000e16: SWAP1
00000e17: DUP2
00000e18: SWAP1
00000e19: SUB
00000e1a: PUSH1 0x14
00000e1c: ADD
00000e1d: SWAP1
00000e1e: KECCAK256
00000e1f: PUSH1 0x00
00000e21: SWAP1
00000e22: DUP2
00000e23: MSTORE
00000e24: PUSH1 0x03
00000e26: PUSH1 0x20
00000e28: MSTORE
00000e29: SWAP1
00000e2a: DUP2
00000e2b: KECCAK256
00000e2c: SLOAD
00000e2d: PUSH1 0xff
00000e2f: AND
00000e30: ISZERO
00000e31: ISZERO
00000e32: PUSH2 0x0e73
00000e35: JUMPI
00000e36: PUSH1 0x40
00000e38: DUP1
00000e39: MLOAD
00000e3a: PUSH1 0xe5
00000e3c: PUSH1 0x02
00000e3e: EXP
00000e3f: PUSH3 0x461bcd
00000e43: MUL
00000e44: DUP2
00000e45: MSTORE
00000e46: PUSH1 0x20
00000e48: PUSH1 0x04
00000e4a: DUP3
00000e4b: ADD
00000e4c: MSTORE
00000e4d: PUSH1 0x16
00000e4f: PUSH1 0x24
00000e51: DUP3
00000e52: ADD
00000e53: MSTORE
00000e54: PUSH1 0x00
00000e56: DUP1
00000e57: MLOAD
00000e58: PUSH1 0x20
00000e5a: PUSH2 0x373d
00000e5d: DUP4
00000e5e: CODECOPY
00000e5f: DUP2
00000e60: MLOAD
00000e61: SWAP2
00000e62: MSTORE
00000e63: PUSH1 0x44
00000e65: DUP3
00000e66: ADD
00000e67: MSTORE
00000e68: SWAP1
00000e69: MLOAD
00000e6a: SWAP1
00000e6b: DUP2
00000e6c: SWAP1
00000e6d: SUB
00000e6e: PUSH1 0x64
00000e70: ADD
00000e71: SWAP1
00000e72: REVERT
00000e73: JUMPDEST
00000e74: PUSH1 0x00
00000e76: SLOAD
00000e77: PUSH1 0xff
00000e79: AND
00000e7a: ISZERO
00000e7b: ISZERO
00000e7c: PUSH1 0x01
00000e7e: EQ
00000e7f: PUSH2 0x0ec0
00000e82: JUMPI
00000e83: PUSH1 0x40
00000e85: DUP1
00000e86: MLOAD
00000e87: PUSH1 0xe5
00000e89: PUSH1 0x02
00000e8b: EXP
00000e8c: PUSH3 0x461bcd
00000e90: MUL
00000e91: DUP2
00000e92: MSTORE
00000e93: PUSH1 0x20
00000e95: PUSH1 0x04
00000e97: DUP3
00000e98: ADD
00000e99: MSTORE
00000e9a: PUSH1 0x0d
00000e9c: PUSH1 0x24
00000e9e: DUP3
00000e9f: ADD
00000ea0: MSTORE
00000ea1: PUSH1 0x00
00000ea3: DUP1
00000ea4: MLOAD
00000ea5: PUSH1 0x20
00000ea7: PUSH2 0x371d
00000eaa: DUP4
00000eab: CODECOPY
00000eac: DUP2
00000ead: MLOAD
00000eae: SWAP2
00000eaf: MSTORE
00000eb0: PUSH1 0x44
00000eb2: DUP3
00000eb3: ADD
00000eb4: MSTORE
00000eb5: SWAP1
00000eb6: MLOAD
00000eb7: SWAP1
00000eb8: DUP2
00000eb9: SWAP1
00000eba: SUB
00000ebb: PUSH1 0x64
00000ebd: ADD
00000ebe: SWAP1
00000ebf: REVERT
00000ec0: JUMPDEST
00000ec1: CALLER
00000ec2: DUP1
00000ec3: EXTCODESIZE
00000ec4: DUP1
00000ec5: ISZERO
00000ec6: PUSH2 0x0f07
00000ec9: JUMPI
00000eca: PUSH1 0x40
00000ecc: DUP1
00000ecd: MLOAD
00000ece: PUSH1 0xe5
00000ed0: PUSH1 0x02
00000ed2: EXP
00000ed3: PUSH3 0x461bcd
00000ed7: MUL
00000ed8: DUP2
00000ed9: MSTORE
00000eda: PUSH1 0x20
00000edc: PUSH1 0x04
00000ede: DUP3
00000edf: ADD
00000ee0: MSTORE
00000ee1: PUSH1 0x11
00000ee3: PUSH1 0x24
00000ee5: DUP3
00000ee6: ADD
00000ee7: MSTORE
00000ee8: PUSH1 0x00
00000eea: DUP1
00000eeb: MLOAD
00000eec: PUSH1 0x20
00000eee: PUSH2 0x375d
00000ef1: DUP4
00000ef2: CODECOPY
00000ef3: DUP2
00000ef4: MLOAD
00000ef5: SWAP2
00000ef6: MSTORE
00000ef7: PUSH1 0x44
00000ef9: DUP3
00000efa: ADD
00000efb: MSTORE
00000efc: SWAP1
00000efd: MLOAD
00000efe: SWAP1
00000eff: DUP2
00000f00: SWAP1
00000f01: SUB
00000f02: PUSH1 0x64
00000f04: ADD
00000f05: SWAP1
00000f06: REVERT
00000f07: JUMPDEST
00000f08: PUSH2 0x0f0f
00000f0b: PUSH2 0x2369
00000f0e: JUMP
00000f0f: JUMPDEST
00000f10: CALLER
00000f11: PUSH1 0x00
00000f13: SWAP1
00000f14: DUP2
00000f15: MSTORE
00000f16: PUSH1 0x09
00000f18: PUSH1 0x20
00000f1a: SWAP1
00000f1b: DUP2
00000f1c: MSTORE
00000f1d: PUSH1 0x40
00000f1f: DUP1
00000f20: DUP4
00000f21: KECCAK256
00000f22: SLOAD
00000f23: DUP4
00000f24: MSTORE
00000f25: PUSH1 0x08
00000f27: SWAP1
00000f28: SWAP2
00000f29: MSTORE
00000f2a: SWAP1
00000f2b: KECCAK256
00000f2c: PUSH1 0x02
00000f2e: ADD
00000f2f: SLOAD
00000f30: PUSH1 0xff
00000f32: AND
00000f33: ISZERO
00000f34: PUSH2 0x0f87
00000f37: JUMPI
00000f38: PUSH1 0x40
00000f3a: DUP1
00000f3b: MLOAD
00000f3c: PUSH1 0xe5
00000f3e: PUSH1 0x02
00000f40: EXP
00000f41: PUSH3 0x461bcd
00000f45: MUL
00000f46: DUP2
00000f47: MSTORE
00000f48: PUSH1 0x20
00000f4a: PUSH1 0x04
00000f4c: DUP3
00000f4d: ADD
00000f4e: MSTORE
00000f4f: PUSH1 0x1f
00000f51: PUSH1 0x24
00000f53: DUP3
00000f54: ADD
00000f55: MSTORE
00000f56: PUSH32 0x796f752063616e206f6e6c7920656e61626c6520696e76697465206f6e636500
00000f77: PUSH1 0x44
00000f79: DUP3
00000f7a: ADD
00000f7b: MSTORE
00000f7c: SWAP1
00000f7d: MLOAD
00000f7e: SWAP1
00000f7f: DUP2
00000f80: SWAP1
00000f81: SUB
00000f82: PUSH1 0x64
00000f84: ADD
00000f85: SWAP1
00000f86: REVERT
00000f87: JUMPDEST
00000f88: PUSH2 0x0f90
00000f8b: DUP5
00000f8c: PUSH2 0x23dd
00000f8f: JUMP
00000f90: JUMPDEST
00000f91: PUSH1 0x00
00000f93: DUP2
00000f94: DUP2
00000f95: MSTORE
00000f96: PUSH1 0x0a
00000f98: PUSH1 0x20
00000f9a: MSTORE
00000f9b: PUSH1 0x40
00000f9d: SWAP1
00000f9e: KECCAK256
00000f9f: SLOAD
00000fa0: SWAP1
00000fa1: SWAP4
00000fa2: POP
00000fa3: ISZERO
00000fa4: PUSH2 0x101d
00000fa7: JUMPI
00000fa8: PUSH1 0x40
00000faa: DUP1
00000fab: MLOAD
00000fac: PUSH1 0xe5
00000fae: PUSH1 0x02
00000fb0: EXP
00000fb1: PUSH3 0x461bcd
00000fb5: MUL
00000fb6: DUP2
00000fb7: MSTORE
00000fb8: PUSH1 0x20
00000fba: PUSH1 0x04
00000fbc: DUP3
00000fbd: ADD
00000fbe: MSTORE
00000fbf: PUSH1 0x29
00000fc1: PUSH1 0x24
00000fc3: DUP3
00000fc4: ADD
00000fc5: MSTORE
00000fc6: PUSH32 0x796f7572206e616d6520697320616c7265616479207265676973746572656420
00000fe7: PUSH1 0x44
00000fe9: DUP3
00000fea: ADD
00000feb: MSTORE
00000fec: PUSH32 0x6279206f74686572730000000000000000000000000000000000000000000000
0000100d: PUSH1 0x64
0000100f: DUP3
00001010: ADD
00001011: MSTORE
00001012: SWAP1
00001013: MLOAD
00001014: SWAP1
00001015: DUP2
00001016: SWAP1
00001017: SUB
00001018: PUSH1 0x84
0000101a: ADD
0000101b: SWAP1
0000101c: REVERT
0000101d: JUMPDEST
0000101e: POP
0000101f: POP
00001020: CALLER
00001021: PUSH1 0x00
00001023: SWAP1
00001024: DUP2
00001025: MSTORE
00001026: PUSH1 0x09
00001028: PUSH1 0x20
0000102a: SWAP1
0000102b: DUP2
0000102c: MSTORE
0000102d: PUSH1 0x40
0000102f: DUP1
00001030: DUP4
00001031: KECCAK256
00001032: DUP1
00001033: SLOAD
00001034: DUP6
00001035: DUP6
00001036: MSTORE
00001037: PUSH1 0x0a
00001039: DUP5
0000103a: MSTORE
0000103b: DUP3
0000103c: DUP6
0000103d: KECCAK256
0000103e: DUP2
0000103f: SWAP1
00001040: SSTORE
00001041: DUP5
00001042: MSTORE
00001043: PUSH1 0x08
00001045: SWAP1
00001046: SWAP3
00001047: MSTORE
00001048: DUP1
00001049: DUP4
0000104a: KECCAK256
0000104b: PUSH1 0x01
0000104d: SWAP1
0000104e: DUP2
0000104f: ADD
00001050: SWAP5
00001051: SWAP1
00001052: SWAP5
00001053: SSTORE
00001054: SWAP1
00001055: SLOAD
00001056: DUP3
00001057: MSTORE
00001058: SWAP1
00001059: KECCAK256
0000105a: PUSH1 0x02
0000105c: ADD
0000105d: DUP1
0000105e: SLOAD
0000105f: PUSH1 0xff
00001061: NOT
00001062: AND
00001063: SWAP1
00001064: SWAP2
00001065: OR
00001066: SWAP1
00001067: SSTORE
00001068: POP
00001069: JUMP
0000106a: JUMPDEST
0000106b: PUSH1 0x0d
0000106d: PUSH1 0x20
0000106f: MSTORE
00001070: PUSH1 0x00
00001072: SWAP1
00001073: DUP2
00001074: MSTORE
00001075: PUSH1 0x40
00001077: SWAP1
00001078: KECCAK256
00001079: DUP1
0000107a: SLOAD
0000107b: PUSH1 0x01
0000107d: DUP3
0000107e: ADD
0000107f: SLOAD
00001080: PUSH1 0x02
00001082: DUP4
00001083: ADD
00001084: SLOAD
00001085: PUSH1 0x03
00001087: DUP5
00001088: ADD
00001089: SLOAD
0000108a: PUSH1 0x0b
0000108c: SWAP1
0000108d: SWAP5
0000108e: ADD
0000108f: SLOAD
00001090: SWAP3
00001091: SWAP4
00001092: SWAP2
00001093: SWAP3
00001094: SWAP1
00001095: SWAP2
00001096: SWAP1
00001097: DUP6
00001098: JUMP
00001099: JUMPDEST
0000109a: PUSH1 0x40
0000109c: DUP1
0000109d: MLOAD
0000109e: PUSH13 0x01000000000000000000000000
000010ac: CALLER
000010ad: MUL
000010ae: DUP2
000010af: MSTORE
000010b0: DUP2
000010b1: MLOAD
000010b2: SWAP1
000010b3: DUP2
000010b4: SWAP1
000010b5: SUB
000010b6: PUSH1 0x14
000010b8: ADD
000010b9: SWAP1
000010ba: KECCAK256
000010bb: PUSH1 0x00
000010bd: SWAP1
000010be: DUP2
000010bf: MSTORE
000010c0: PUSH1 0x03
000010c2: PUSH1 0x20
000010c4: MSTORE
000010c5: KECCAK256
000010c6: SLOAD
000010c7: PUSH1 0xff
000010c9: AND
000010ca: ISZERO
000010cb: ISZERO
000010cc: PUSH2 0x110d
000010cf: JUMPI
000010d0: PUSH1 0x40
000010d2: DUP1
000010d3: MLOAD
000010d4: PUSH1 0xe5
000010d6: PUSH1 0x02
000010d8: EXP
000010d9: PUSH3 0x461bcd
000010dd: MUL
000010de: DUP2
000010df: MSTORE
000010e0: PUSH1 0x20
000010e2: PUSH1 0x04
000010e4: DUP3
000010e5: ADD
000010e6: MSTORE
000010e7: PUSH1 0x16
000010e9: PUSH1 0x24
000010eb: DUP3
000010ec: ADD
000010ed: MSTORE
000010ee: PUSH1 0x00
000010f0: DUP1
000010f1: MLOAD
000010f2: PUSH1 0x20
000010f4: PUSH2 0x373d
000010f7: DUP4
000010f8: CODECOPY
000010f9: DUP2
000010fa: MLOAD
000010fb: SWAP2
000010fc: MSTORE
000010fd: PUSH1 0x44
000010ff: DUP3
00001100: ADD
00001101: MSTORE
00001102: SWAP1
00001103: MLOAD
00001104: SWAP1
00001105: DUP2
00001106: SWAP1
00001107: SUB
00001108: PUSH1 0x64
0000110a: ADD
0000110b: SWAP1
0000110c: REVERT
0000110d: JUMPDEST
0000110e: PUSH1 0x00
00001110: SLOAD
00001111: PUSH1 0xff
00001113: AND
00001114: ISZERO
00001115: ISZERO
00001116: PUSH1 0x01
00001118: EQ
00001119: PUSH2 0x115a
0000111c: JUMPI
0000111d: PUSH1 0x40
0000111f: DUP1
00001120: MLOAD
00001121: PUSH1 0xe5
00001123: PUSH1 0x02
00001125: EXP
00001126: PUSH3 0x461bcd
0000112a: MUL
0000112b: DUP2
0000112c: MSTORE
0000112d: PUSH1 0x20
0000112f: PUSH1 0x04
00001131: DUP3
00001132: ADD
00001133: MSTORE
00001134: PUSH1 0x0d
00001136: PUSH1 0x24
00001138: DUP3
00001139: ADD
0000113a: MSTORE
0000113b: PUSH1 0x00
0000113d: DUP1
0000113e: MLOAD
0000113f: PUSH1 0x20
00001141: PUSH2 0x371d
00001144: DUP4
00001145: CODECOPY
00001146: DUP2
00001147: MLOAD
00001148: SWAP2
00001149: MSTORE
0000114a: PUSH1 0x44
0000114c: DUP3
0000114d: ADD
0000114e: MSTORE
0000114f: SWAP1
00001150: MLOAD
00001151: SWAP1
00001152: DUP2
00001153: SWAP1
00001154: SUB
00001155: PUSH1 0x64
00001157: ADD
00001158: SWAP1
00001159: REVERT
0000115a: JUMPDEST
0000115b: PUSH1 0x04
0000115d: SLOAD
0000115e: PUSH1 0x40
00001160: MLOAD
00001161: CALLER
00001162: SWAP2
00001163: DUP1
00001164: ISZERO
00001165: PUSH2 0x08fc
00001168: MUL
00001169: SWAP2
0000116a: PUSH1 0x00
0000116c: DUP2
0000116d: DUP2
0000116e: DUP2
0000116f: DUP6
00001170: DUP9
00001171: DUP9
00001172: CALL
00001173: SWAP4
00001174: POP
00001175: POP
00001176: POP
00001177: POP
00001178: ISZERO
00001179: DUP1
0000117a: ISZERO
0000117b: PUSH2 0x1188
0000117e: JUMPI
0000117f: RETURNDATASIZE
00001180: PUSH1 0x00
00001182: DUP1
00001183: RETURNDATACOPY
00001184: RETURNDATASIZE
00001185: PUSH1 0x00
00001187: REVERT
00001188: JUMPDEST
00001189: POP
0000118a: PUSH1 0x00
0000118c: PUSH1 0x04
0000118e: SSTORE
0000118f: JUMP
00001190: JUMPDEST
00001191: PUSH1 0x40
00001193: DUP1
00001194: MLOAD
00001195: PUSH13 0x01000000000000000000000000
000011a3: CALLER
000011a4: MUL
000011a5: DUP2
000011a6: MSTORE
000011a7: DUP2
000011a8: MLOAD
000011a9: SWAP1
000011aa: DUP2
000011ab: SWAP1
000011ac: SUB
000011ad: PUSH1 0x14
000011af: ADD
000011b0: SWAP1
000011b1: KECCAK256
000011b2: PUSH1 0x00
000011b4: SWAP1
000011b5: DUP2
000011b6: MSTORE
000011b7: PUSH1 0x03
000011b9: PUSH1 0x20
000011bb: MSTORE
000011bc: KECCAK256
000011bd: SLOAD
000011be: PUSH1 0xff
000011c0: AND
000011c1: ISZERO
000011c2: ISZERO
000011c3: PUSH2 0x1204
000011c6: JUMPI
000011c7: PUSH1 0x40
000011c9: DUP1
000011ca: MLOAD
000011cb: PUSH1 0xe5
000011cd: PUSH1 0x02
000011cf: EXP
000011d0: PUSH3 0x461bcd
000011d4: MUL
000011d5: DUP2
000011d6: MSTORE
000011d7: PUSH1 0x20
000011d9: PUSH1 0x04
000011db: DUP3
000011dc: ADD
000011dd: MSTORE
000011de: PUSH1 0x16
000011e0: PUSH1 0x24
000011e2: DUP3
000011e3: ADD
000011e4: MSTORE
000011e5: PUSH1 0x00
000011e7: DUP1
000011e8: MLOAD
000011e9: PUSH1 0x20
000011eb: PUSH2 0x373d
000011ee: DUP4
000011ef: CODECOPY
000011f0: DUP2
000011f1: MLOAD
000011f2: SWAP2
000011f3: MSTORE
000011f4: PUSH1 0x44
000011f6: DUP3
000011f7: ADD
000011f8: MSTORE
000011f9: SWAP1
000011fa: MLOAD
000011fb: SWAP1
000011fc: DUP2
000011fd: SWAP1
000011fe: SUB
000011ff: PUSH1 0x64
00001201: ADD
00001202: SWAP1
00001203: REVERT
00001204: JUMPDEST
00001205: PUSH1 0x00
00001207: SLOAD
00001208: PUSH1 0xff
0000120a: AND
0000120b: ISZERO
0000120c: ISZERO
0000120d: PUSH1 0x01
0000120f: EQ
00001210: PUSH2 0x1251
00001213: JUMPI
00001214: PUSH1 0x40
00001216: DUP1
00001217: MLOAD
00001218: PUSH1 0xe5
0000121a: PUSH1 0x02
0000121c: EXP
0000121d: PUSH3 0x461bcd
00001221: MUL
00001222: DUP2
00001223: MSTORE
00001224: PUSH1 0x20
00001226: PUSH1 0x04
00001228: DUP3
00001229: ADD
0000122a: MSTORE
0000122b: PUSH1 0x0d
0000122d: PUSH1 0x24
0000122f: DUP3
00001230: ADD
00001231: MSTORE
00001232: PUSH1 0x00
00001234: DUP1
00001235: MLOAD
00001236: PUSH1 0x20
00001238: PUSH2 0x371d
0000123b: DUP4
0000123c: CODECOPY
0000123d: DUP2
0000123e: MLOAD
0000123f: SWAP2
00001240: MSTORE
00001241: PUSH1 0x44
00001243: DUP3
00001244: ADD
00001245: MSTORE
00001246: SWAP1
00001247: MLOAD
00001248: SWAP1
00001249: DUP2
0000124a: SWAP1
0000124b: SUB
0000124c: PUSH1 0x64
0000124e: ADD
0000124f: SWAP1
00001250: REVERT
00001251: JUMPDEST
00001252: JUMP
00001253: JUMPDEST
00001254: PUSH1 0x02
00001256: SLOAD
00001257: PUSH1 0x01
00001259: PUSH1 0xa0
0000125b: PUSH1 0x02
0000125d: EXP
0000125e: SUB
0000125f: AND
00001260: CALLER
00001261: EQ
00001262: PUSH2 0x12b5
00001265: JUMPI
00001266: PUSH1 0x40
00001268: DUP1
00001269: MLOAD
0000126a: PUSH1 0xe5
0000126c: PUSH1 0x02
0000126e: EXP
0000126f: PUSH3 0x461bcd
00001273: MUL
00001274: DUP2
00001275: MSTORE
00001276: PUSH1 0x20
00001278: PUSH1 0x04
0000127a: DUP3
0000127b: ADD
0000127c: MSTORE
0000127d: PUSH1 0x0e
0000127f: PUSH1 0x24
00001281: DUP3
00001282: ADD
00001283: MSTORE
00001284: PUSH32 0x6f6e6c79206f776e65722063616e000000000000000000000000000000000000
000012a5: PUSH1 0x44
000012a7: DUP3
000012a8: ADD
000012a9: MSTORE
000012aa: SWAP1
000012ab: MLOAD
000012ac: SWAP1
000012ad: DUP2
000012ae: SWAP1
000012af: SUB
000012b0: PUSH1 0x64
000012b2: ADD
000012b3: SWAP1
000012b4: REVERT
000012b5: JUMPDEST
000012b6: PUSH1 0x00
000012b8: SWAP2
000012b9: DUP3
000012ba: MSTORE
000012bb: PUSH1 0x03
000012bd: PUSH1 0x20
000012bf: MSTORE
000012c0: PUSH1 0x40
000012c2: SWAP1
000012c3: SWAP2
000012c4: KECCAK256
000012c5: DUP1
000012c6: SLOAD
000012c7: PUSH1 0xff
000012c9: NOT
000012ca: AND
000012cb: SWAP2
000012cc: ISZERO
000012cd: ISZERO
000012ce: SWAP2
000012cf: SWAP1
000012d0: SWAP2
000012d1: OR
000012d2: SWAP1
000012d3: SSTORE
000012d4: JUMP
000012d5: JUMPDEST
000012d6: CALLER
000012d7: PUSH1 0x00
000012d9: SWAP1
000012da: DUP2
000012db: MSTORE
000012dc: PUSH1 0x09
000012de: PUSH1 0x20
000012e0: SWAP1
000012e1: DUP2
000012e2: MSTORE
000012e3: PUSH1 0x40
000012e5: DUP1
000012e6: DUP4
000012e7: KECCAK256
000012e8: SLOAD
000012e9: DUP5
000012ea: DUP5
000012eb: MSTORE
000012ec: PUSH1 0x08
000012ee: SWAP1
000012ef: SWAP3
000012f0: MSTORE
000012f1: DUP3
000012f2: KECCAK256
000012f3: PUSH1 0x03
000012f5: ADD
000012f6: SLOAD
000012f7: DUP3
000012f8: SWAP2
000012f9: EQ
000012fa: PUSH2 0x1373
000012fd: JUMPI
000012fe: PUSH1 0x40
00001300: DUP1
00001301: MLOAD
00001302: PUSH1 0xe5
00001304: PUSH1 0x02
00001306: EXP
00001307: PUSH3 0x461bcd
0000130b: MUL
0000130c: DUP2
0000130d: MSTORE
0000130e: PUSH1 0x20
00001310: PUSH1 0x04
00001312: DUP3
00001313: ADD
00001314: MSTORE
00001315: PUSH1 0x21
00001317: PUSH1 0x24
00001319: DUP3
0000131a: ADD
0000131b: MSTORE
0000131c: PUSH32 0x796f75206d757374206861766520696e7669746564207468697320706c617965
0000133d: PUSH1 0x44
0000133f: DUP3
00001340: ADD
00001341: MSTORE
00001342: PUSH32 0x7200000000000000000000000000000000000000000000000000000000000000
00001363: PUSH1 0x64
00001365: DUP3
00001366: ADD
00001367: MSTORE
00001368: SWAP1
00001369: MLOAD
0000136a: SWAP1
0000136b: DUP2
0000136c: SWAP1
0000136d: SUB
0000136e: PUSH1 0x84
00001370: ADD
00001371: SWAP1
00001372: REVERT
00001373: JUMPDEST
00001374: POP
00001375: POP
00001376: PUSH1 0x00
00001378: SWAP1
00001379: DUP2
0000137a: MSTORE
0000137b: PUSH1 0x0b
0000137d: PUSH1 0x20
0000137f: SWAP1
00001380: DUP2
00001381: MSTORE
00001382: PUSH1 0x40
00001384: DUP1
00001385: DUP4
00001386: KECCAK256
00001387: SLOAD
00001388: PUSH1 0x08
0000138a: SWAP1
0000138b: SWAP3
0000138c: MSTORE
0000138d: SWAP1
0000138e: SWAP2
0000138f: KECCAK256
00001390: PUSH1 0x01
00001392: ADD
00001393: SLOAD
00001394: SWAP1
00001395: SWAP2
00001396: JUMP
00001397: JUMPDEST
00001398: PUSH1 0x00
0000139a: DUP1
0000139b: SLOAD
0000139c: DUP2
0000139d: SWAP1
0000139e: PUSH1 0xff
000013a0: AND
000013a1: ISZERO
000013a2: ISZERO
000013a3: PUSH1 0x01
000013a5: EQ
000013a6: PUSH2 0x13e7
000013a9: JUMPI
000013aa: PUSH1 0x40
000013ac: DUP1
000013ad: MLOAD
000013ae: PUSH1 0xe5
000013b0: PUSH1 0x02
000013b2: EXP
000013b3: PUSH3 0x461bcd
000013b7: MUL
000013b8: DUP2
000013b9: MSTORE
000013ba: PUSH1 0x20
000013bc: PUSH1 0x04
000013be: DUP3
000013bf: ADD
000013c0: MSTORE
000013c1: PUSH1 0x0d
000013c3: PUSH1 0x24
000013c5: DUP3
000013c6: ADD
000013c7: MSTORE
000013c8: PUSH1 0x00
000013ca: DUP1
000013cb: MLOAD
000013cc: PUSH1 0x20
000013ce: PUSH2 0x371d
000013d1: DUP4
000013d2: CODECOPY
000013d3: DUP2
000013d4: MLOAD
000013d5: SWAP2
000013d6: MSTORE
000013d7: PUSH1 0x44
000013d9: DUP3
000013da: ADD
000013db: MSTORE
000013dc: SWAP1
000013dd: MLOAD
000013de: SWAP1
000013df: DUP2
000013e0: SWAP1
000013e1: SUB
000013e2: PUSH1 0x64
000013e4: ADD
000013e5: SWAP1
000013e6: REVERT
000013e7: JUMPDEST
000013e8: CALLER
000013e9: DUP1
000013ea: EXTCODESIZE
000013eb: DUP1
000013ec: ISZERO
000013ed: PUSH2 0x142e
000013f0: JUMPI
000013f1: PUSH1 0x40
000013f3: DUP1
000013f4: MLOAD
000013f5: PUSH1 0xe5
000013f7: PUSH1 0x02
000013f9: EXP
000013fa: PUSH3 0x461bcd
000013fe: MUL
000013ff: DUP2
00001400: MSTORE
00001401: PUSH1 0x20
00001403: PUSH1 0x04
00001405: DUP3
00001406: ADD
00001407: MSTORE
00001408: PUSH1 0x11
0000140a: PUSH1 0x24
0000140c: DUP3
0000140d: ADD
0000140e: MSTORE
0000140f: PUSH1 0x00
00001411: DUP1
00001412: MLOAD
00001413: PUSH1 0x20
00001415: PUSH2 0x375d
00001418: DUP4
00001419: CODECOPY
0000141a: DUP2
0000141b: MLOAD
0000141c: SWAP2
0000141d: MSTORE
0000141e: PUSH1 0x44
00001420: DUP3
00001421: ADD
00001422: MSTORE
00001423: SWAP1
00001424: MLOAD
00001425: SWAP1
00001426: DUP2
00001427: SWAP1
00001428: SUB
00001429: PUSH1 0x64
0000142b: ADD
0000142c: SWAP1
0000142d: REVERT
0000142e: JUMPDEST
0000142f: CALLER
00001430: PUSH1 0x00
00001432: SWAP1
00001433: DUP2
00001434: MSTORE
00001435: PUSH1 0x09
00001437: PUSH1 0x20
00001439: SWAP1
0000143a: DUP2
0000143b: MSTORE
0000143c: PUSH1 0x40
0000143e: DUP1
0000143f: DUP4
00001440: KECCAK256
00001441: SLOAD
00001442: DUP1
00001443: DUP5
00001444: MSTORE
00001445: PUSH1 0x08
00001447: SWAP3
00001448: DUP4
00001449: SWAP1
0000144a: MSTORE
0000144b: SWAP3
0000144c: KECCAK256
0000144d: SWAP1
0000144e: DUP2
0000144f: ADD
00001450: SLOAD
00001451: PUSH1 0x07
00001453: DUP3
00001454: ADD
00001455: SLOAD
00001456: PUSH1 0x06
00001458: DUP4
00001459: ADD
0000145a: SLOAD
0000145b: PUSH1 0x05
0000145d: SWAP1
0000145e: SWAP4
0000145f: ADD
00001460: SLOAD
00001461: SWAP4
00001462: SWAP8
00001463: POP
00001464: PUSH2 0x1494
00001467: SWAP4
00001468: SWAP2
00001469: SWAP3
0000146a: PUSH2 0x1488
0000146d: SWAP3
0000146e: PUSH2 0x147c
00001471: SWAP2
00001472: PUSH4 0xffffffff
00001477: PUSH2 0x234a
0000147a: AND
0000147b: JUMP
0000147c: JUMPDEST
0000147d: SWAP1
0000147e: PUSH4 0xffffffff
00001483: PUSH2 0x234a
00001486: AND
00001487: JUMP
00001488: JUMPDEST
00001489: SWAP1
0000148a: PUSH4 0xffffffff
0000148f: PUSH2 0x2357
00001492: AND
00001493: JUMP
00001494: JUMPDEST
00001495: SWAP3
00001496: POP
00001497: PUSH1 0x00
00001499: DUP4
0000149a: GT
0000149b: PUSH2 0x1514
0000149e: JUMPI
0000149f: PUSH1 0x40
000014a1: DUP1
000014a2: MLOAD
000014a3: PUSH1 0xe5
000014a5: PUSH1 0x02
000014a7: EXP
000014a8: PUSH3 0x461bcd
000014ac: MUL
000014ad: DUP2
000014ae: MSTORE
000014af: PUSH1 0x20
000014b1: PUSH1 0x04
000014b3: DUP3
000014b4: ADD
000014b5: MSTORE
000014b6: PUSH1 0x25
000014b8: PUSH1 0x24
000014ba: DUP3
000014bb: ADD
000014bc: MSTORE
000014bd: PUSH32 0x796f752068617665206e6f20696e766974652072657761726420746f20776974
000014de: PUSH1 0x44
000014e0: DUP3
000014e1: ADD
000014e2: MSTORE
000014e3: PUSH32 0x6864726177000000000000000000000000000000000000000000000000000000
00001504: PUSH1 0x64
00001506: DUP3
00001507: ADD
00001508: MSTORE
00001509: SWAP1
0000150a: MLOAD
0000150b: SWAP1
0000150c: DUP2
0000150d: SWAP1
0000150e: SUB
0000150f: PUSH1 0x84
00001511: ADD
00001512: SWAP1
00001513: REVERT
00001514: JUMPDEST
00001515: PUSH1 0x40
00001517: MLOAD
00001518: CALLER
00001519: SWAP1
0000151a: DUP5
0000151b: ISZERO
0000151c: PUSH2 0x08fc
0000151f: MUL
00001520: SWAP1
00001521: DUP6
00001522: SWAP1
00001523: PUSH1 0x00
00001525: DUP2
00001526: DUP2
00001527: DUP2
00001528: DUP6
00001529: DUP9
0000152a: DUP9
0000152b: CALL
0000152c: SWAP4
0000152d: POP
0000152e: POP
0000152f: POP
00001530: POP
00001531: ISZERO
00001532: DUP1
00001533: ISZERO
00001534: PUSH2 0x1541
00001537: JUMPI
00001538: RETURNDATASIZE
00001539: PUSH1 0x00
0000153b: DUP1
0000153c: RETURNDATACOPY
0000153d: RETURNDATASIZE
0000153e: PUSH1 0x00
00001540: REVERT
00001541: JUMPDEST
00001542: POP
00001543: PUSH1 0x00
00001545: DUP5
00001546: DUP2
00001547: MSTORE
00001548: PUSH1 0x08
0000154a: PUSH1 0x20
0000154c: DUP2
0000154d: SWAP1
0000154e: MSTORE
0000154f: PUSH1 0x40
00001551: SWAP1
00001552: SWAP2
00001553: KECCAK256
00001554: ADD
00001555: SLOAD
00001556: PUSH2 0x1565
00001559: SWAP1
0000155a: DUP5
0000155b: PUSH4 0xffffffff
00001560: PUSH2 0x234a
00001563: AND
00001564: JUMP
00001565: JUMPDEST
00001566: PUSH1 0x00
00001568: DUP6
00001569: DUP2
0000156a: MSTORE
0000156b: PUSH1 0x08
0000156d: PUSH1 0x20
0000156f: DUP2
00001570: DUP2
00001571: MSTORE
00001572: PUSH1 0x40
00001574: SWAP3
00001575: DUP4
00001576: SWAP1
00001577: KECCAK256
00001578: SWAP1
00001579: SWAP2
0000157a: ADD
0000157b: SWAP3
0000157c: SWAP1
0000157d: SWAP3
0000157e: SSTORE
0000157f: DUP1
00001580: MLOAD
00001581: DUP6
00001582: DUP2
00001583: MSTORE
00001584: TIMESTAMP
00001585: SWAP3
00001586: DUP2
00001587: ADD
00001588: SWAP3
00001589: SWAP1
0000158a: SWAP3
0000158b: MSTORE
0000158c: DUP1
0000158d: MLOAD
0000158e: CALLER
0000158f: SWAP3
00001590: DUP8
00001591: SWAP3
00001592: PUSH32 0xfaaf26f1935d609c5c9c73ef715b7a1fe975ec5866d3b64810580d14d2ce1ed1
000015b3: SWAP3
000015b4: SWAP2
000015b5: DUP3
000015b6: SWAP1
000015b7: SUB
000015b8: ADD
000015b9: SWAP1
000015ba: LOG3
000015bb: POP
000015bc: POP
000015bd: POP
000015be: POP
000015bf: JUMP
000015c0: JUMPDEST
000015c1: PUSH1 0x00
000015c3: DUP1
000015c4: PUSH2 0x15cb
000015c7: PUSH2 0x36bf
000015ca: JUMP
000015cb: JUMPDEST
000015cc: PUSH1 0x00
000015ce: DUP1
000015cf: SLOAD
000015d0: PUSH1 0xff
000015d2: AND
000015d3: ISZERO
000015d4: ISZERO
000015d5: PUSH1 0x01
000015d7: EQ
000015d8: PUSH2 0x1619
000015db: JUMPI
000015dc: PUSH1 0x40
000015de: DUP1
000015df: MLOAD
000015e0: PUSH1 0xe5
000015e2: PUSH1 0x02
000015e4: EXP
000015e5: PUSH3 0x461bcd
000015e9: MUL
000015ea: DUP2
000015eb: MSTORE
000015ec: PUSH1 0x20
000015ee: PUSH1 0x04
000015f0: DUP3
000015f1: ADD
000015f2: MSTORE
000015f3: PUSH1 0x0d
000015f5: PUSH1 0x24
000015f7: DUP3
000015f8: ADD
000015f9: MSTORE
000015fa: PUSH1 0x00
000015fc: DUP1
000015fd: MLOAD
000015fe: PUSH1 0x20
00001600: PUSH2 0x371d
00001603: DUP4
00001604: CODECOPY
00001605: DUP2
00001606: MLOAD
00001607: SWAP2
00001608: MSTORE
00001609: PUSH1 0x44
0000160b: DUP3
0000160c: ADD
0000160d: MSTORE
0000160e: SWAP1
0000160f: MLOAD
00001610: SWAP1
00001611: DUP2
00001612: SWAP1
00001613: SUB
00001614: PUSH1 0x64
00001616: ADD
00001617: SWAP1
00001618: REVERT
00001619: JUMPDEST
0000161a: CALLER
0000161b: DUP1
0000161c: EXTCODESIZE
0000161d: DUP1
0000161e: ISZERO
0000161f: PUSH2 0x1660
00001622: JUMPI
00001623: PUSH1 0x40
00001625: DUP1
00001626: MLOAD
00001627: PUSH1 0xe5
00001629: PUSH1 0x02
0000162b: EXP
0000162c: PUSH3 0x461bcd
00001630: MUL
00001631: DUP2
00001632: MSTORE
00001633: PUSH1 0x20
00001635: PUSH1 0x04
00001637: DUP3
00001638: ADD
00001639: MSTORE
0000163a: PUSH1 0x11
0000163c: PUSH1 0x24
0000163e: DUP3
0000163f: ADD
00001640: MSTORE
00001641: PUSH1 0x00
00001643: DUP1
00001644: MLOAD
00001645: PUSH1 0x20
00001647: PUSH2 0x375d
0000164a: DUP4
0000164b: CODECOPY
0000164c: DUP2
0000164d: MLOAD
0000164e: SWAP2
0000164f: MSTORE
00001650: PUSH1 0x44
00001652: DUP3
00001653: ADD
00001654: MSTORE
00001655: SWAP1
00001656: MLOAD
00001657: SWAP1
00001658: DUP2
00001659: SWAP1
0000165a: SUB
0000165b: PUSH1 0x64
0000165d: ADD
0000165e: SWAP1
0000165f: REVERT
00001660: JUMPDEST
00001661: TIMESTAMP
00001662: SWAP6
00001663: POP
00001664: PUSH2 0x166c
00001667: DUP7
00001668: PUSH2 0x212e
0000166b: JUMP
0000166c: JUMPDEST
0000166d: PUSH1 0x00
0000166f: DUP9
00001670: DUP2
00001671: MSTORE
00001672: PUSH1 0x0d
00001674: PUSH1 0x20
00001676: SWAP1
00001677: DUP2
00001678: MSTORE
00001679: PUSH1 0x40
0000167b: SWAP2
0000167c: DUP3
0000167d: SWAP1
0000167e: KECCAK256
0000167f: DUP3
00001680: MLOAD
00001681: PUSH1 0xc0
00001683: DUP2
00001684: ADD
00001685: DUP5
00001686: MSTORE
00001687: DUP2
00001688: SLOAD
00001689: DUP2
0000168a: MSTORE
0000168b: PUSH1 0x01
0000168d: DUP3
0000168e: ADD
0000168f: SLOAD
00001690: SWAP3
00001691: DUP2
00001692: ADD
00001693: SWAP3
00001694: SWAP1
00001695: SWAP3
00001696: MSTORE
00001697: PUSH1 0x02
00001699: DUP2
0000169a: ADD
0000169b: SLOAD
0000169c: DUP3
0000169d: DUP5
0000169e: ADD
0000169f: MSTORE
000016a0: PUSH1 0x03
000016a2: DUP2
000016a3: ADD
000016a4: SLOAD
000016a5: PUSH1 0x60
000016a7: DUP4
000016a8: ADD
000016a9: MSTORE
000016aa: DUP3
000016ab: MLOAD
000016ac: PUSH1 0xe0
000016ae: DUP2
000016af: ADD
000016b0: SWAP1
000016b1: SWAP4
000016b2: MSTORE
000016b3: SWAP3
000016b4: SWAP8
000016b5: POP
000016b6: SWAP2
000016b7: SWAP1
000016b8: PUSH1 0x80
000016ba: DUP4
000016bb: ADD
000016bc: SWAP1
000016bd: PUSH1 0x04
000016bf: DUP4
000016c0: ADD
000016c1: PUSH1 0x07
000016c3: DUP3
000016c4: DUP3
000016c5: DUP3
000016c6: PUSH1 0x20
000016c8: MUL
000016c9: DUP3
000016ca: ADD
000016cb: SWAP2
000016cc: JUMPDEST
000016cd: DUP2
000016ce: SLOAD
000016cf: DUP2
000016d0: MSTORE
000016d1: PUSH1 0x20
000016d3: ADD
000016d4: SWAP1
000016d5: PUSH1 0x01
000016d7: ADD
000016d8: SWAP1
000016d9: DUP1
000016da: DUP4
000016db: GT
000016dc: PUSH2 0x16cc
000016df: JUMPI
000016e0: POP
000016e1: POP
000016e2: POP
000016e3: SWAP2
000016e4: DUP4
000016e5: MSTORE
000016e6: POP
000016e7: POP
000016e8: PUSH1 0x0b
000016ea: SWAP2
000016eb: SWAP1
000016ec: SWAP2
000016ed: ADD
000016ee: SLOAD
000016ef: PUSH1 0x20
000016f1: SWAP2
000016f2: DUP3
000016f3: ADD
000016f4: MSTORE
000016f5: CALLER
000016f6: PUSH1 0x00
000016f8: SWAP1
000016f9: DUP2
000016fa: MSTORE
000016fb: PUSH1 0x09
000016fd: SWAP1
000016fe: SWAP2
000016ff: MSTORE
00001700: PUSH1 0x40
00001702: SWAP1
00001703: KECCAK256
00001704: SLOAD
00001705: DUP2
00001706: MLOAD
00001707: SWAP2
00001708: SWAP6
00001709: POP
0000170a: EQ
0000170b: PUSH2 0x175e
0000170e: JUMPI
0000170f: PUSH1 0x40
00001711: DUP1
00001712: MLOAD
00001713: PUSH1 0xe5
00001715: PUSH1 0x02
00001717: EXP
00001718: PUSH3 0x461bcd
0000171c: MUL
0000171d: DUP2
0000171e: MSTORE
0000171f: PUSH1 0x20
00001721: PUSH1 0x04
00001723: DUP3
00001724: ADD
00001725: MSTORE
00001726: PUSH1 0x17
00001728: PUSH1 0x24
0000172a: DUP3
0000172b: ADD
0000172c: MSTORE
0000172d: PUSH32 0x6f6e6c79206f776e65722063616e207769746864726177000000000000000000
0000174e: PUSH1 0x44
00001750: DUP3
00001751: ADD
00001752: MSTORE
00001753: SWAP1
00001754: MLOAD
00001755: SWAP1
00001756: DUP2
00001757: SWAP1
00001758: SUB
00001759: PUSH1 0x64
0000175b: ADD
0000175c: SWAP1
0000175d: REVERT
0000175e: JUMPDEST
0000175f: PUSH2 0x1768
00001762: DUP6
00001763: DUP9
00001764: PUSH2 0x2163
00001767: JUMP
00001768: JUMPDEST
00001769: SWAP3
0000176a: POP
0000176b: PUSH1 0x00
0000176d: DUP4
0000176e: GT
0000176f: PUSH2 0x17e7
00001772: JUMPI
00001773: PUSH1 0x40
00001775: DUP1
00001776: MLOAD
00001777: PUSH1 0xe5
00001779: PUSH1 0x02
0000177b: EXP
0000177c: PUSH3 0x461bcd
00001780: MUL
00001781: DUP2
00001782: MSTORE
00001783: PUSH1 0x20
00001785: PUSH1 0x04
00001787: DUP3
00001788: ADD
00001789: MSTORE
0000178a: PUSH1 0x24
0000178c: DUP1
0000178d: DUP3
0000178e: ADD
0000178f: MSTORE
00001790: PUSH32 0x6e6f206f7264657220726566756e64206e65656420746f206265207769746864
000017b1: PUSH1 0x44
000017b3: DUP3
000017b4: ADD
000017b5: MSTORE
000017b6: PUSH32 0x7261776e00000000000000000000000000000000000000000000000000000000
000017d7: PUSH1 0x64
000017d9: DUP3
000017da: ADD
000017db: MSTORE
000017dc: SWAP1
000017dd: MLOAD
000017de: SWAP1
000017df: DUP2
000017e0: SWAP1
000017e1: SUB
000017e2: PUSH1 0x84
000017e4: ADD
000017e5: SWAP1
000017e6: REVERT
000017e7: JUMPDEST
000017e8: DUP4
000017e9: MLOAD
000017ea: PUSH1 0x00
000017ec: SWAP1
000017ed: DUP2
000017ee: MSTORE
000017ef: PUSH1 0x08
000017f1: PUSH1 0x20
000017f3: MSTORE
000017f4: PUSH1 0x40
000017f6: DUP1
000017f7: DUP3
000017f8: KECCAK256
000017f9: PUSH1 0x03
000017fb: ADD
000017fc: SLOAD
000017fd: DUP3
000017fe: MSTORE
000017ff: SWAP1
00001800: KECCAK256
00001801: PUSH1 0x01
00001803: ADD
00001804: SLOAD
00001805: PUSH2 0x180f
00001808: SWAP1
00001809: DUP5
0000180a: SWAP1
0000180b: PUSH2 0x2c13
0000180e: JUMP
0000180f: JUMPDEST
00001810: PUSH1 0x00
00001812: DUP8
00001813: DUP2
00001814: MSTORE
00001815: PUSH1 0x0d
00001817: PUSH1 0x20
00001819: MSTORE
0000181a: PUSH1 0x40
0000181c: SWAP1
0000181d: KECCAK256
0000181e: PUSH1 0x0b
00001820: ADD
00001821: SLOAD
00001822: PUSH2 0x1831
00001825: SWAP1
00001826: DUP5
00001827: PUSH4 0xffffffff
0000182c: PUSH2 0x234a
0000182f: AND
00001830: JUMP
00001831: JUMPDEST
00001832: PUSH1 0x00
00001834: DUP9
00001835: DUP2
00001836: MSTORE
00001837: PUSH1 0x0d
00001839: PUSH1 0x20
0000183b: SWAP1
0000183c: DUP2
0000183d: MSTORE
0000183e: PUSH1 0x40
00001840: SWAP2
00001841: DUP3
00001842: SWAP1
00001843: KECCAK256
00001844: PUSH1 0x0b
00001846: ADD
00001847: SWAP3
00001848: SWAP1
00001849: SWAP3
0000184a: SSTORE
0000184b: DUP6
0000184c: MLOAD
0000184d: DUP2
0000184e: MLOAD
0000184f: DUP11
00001850: DUP2
00001851: MSTORE
00001852: SWAP3
00001853: DUP4
00001854: ADD
00001855: DUP7
00001856: SWAP1
00001857: MSTORE
00001858: TIMESTAMP
00001859: DUP4
0000185a: DUP4
0000185b: ADD
0000185c: MSTORE
0000185d: SWAP1
0000185e: MLOAD
0000185f: CALLER
00001860: SWAP3
00001861: PUSH32 0xecb9b62a91dc9746d6a280795ffb1eda84a95b49bd353a47969250dcc8db8ed1
00001882: SWAP2
00001883: SWAP1
00001884: DUP2
00001885: SWAP1
00001886: SUB
00001887: PUSH1 0x60
00001889: ADD
0000188a: SWAP1
0000188b: LOG3
0000188c: POP
0000188d: POP
0000188e: POP
0000188f: POP
00001890: POP
00001891: POP
00001892: POP
00001893: JUMP
00001894: JUMPDEST
00001895: PUSH1 0x40
00001897: DUP1
00001898: MLOAD
00001899: PUSH13 0x01000000000000000000000000
000018a7: CALLER
000018a8: MUL
000018a9: DUP2
000018aa: MSTORE
000018ab: DUP2
000018ac: MLOAD
000018ad: SWAP1
000018ae: DUP2
000018af: SWAP1
000018b0: SUB
000018b1: PUSH1 0x14
000018b3: ADD
000018b4: SWAP1
000018b5: KECCAK256
000018b6: PUSH1 0x00
000018b8: SWAP1
000018b9: DUP2
000018ba: MSTORE
000018bb: PUSH1 0x03
000018bd: PUSH1 0x20
000018bf: MSTORE
000018c0: KECCAK256
000018c1: SLOAD
000018c2: PUSH1 0xff
000018c4: AND
000018c5: ISZERO
000018c6: ISZERO
000018c7: PUSH2 0x1908
000018ca: JUMPI
000018cb: PUSH1 0x40
000018cd: DUP1
000018ce: MLOAD
000018cf: PUSH1 0xe5
000018d1: PUSH1 0x02
000018d3: EXP
000018d4: PUSH3 0x461bcd
000018d8: MUL
000018d9: DUP2
000018da: MSTORE
000018db: PUSH1 0x20
000018dd: PUSH1 0x04
000018df: DUP3
000018e0: ADD
000018e1: MSTORE
000018e2: PUSH1 0x16
000018e4: PUSH1 0x24
000018e6: DUP3
000018e7: ADD
000018e8: MSTORE
000018e9: PUSH1 0x00
000018eb: DUP1
000018ec: MLOAD
000018ed: PUSH1 0x20
000018ef: PUSH2 0x373d
000018f2: DUP4
000018f3: CODECOPY
000018f4: DUP2
000018f5: MLOAD
000018f6: SWAP2
000018f7: MSTORE
000018f8: PUSH1 0x44
000018fa: DUP3
000018fb: ADD
000018fc: MSTORE
000018fd: SWAP1
000018fe: MLOAD
000018ff: SWAP1
00001900: DUP2
00001901: SWAP1
00001902: SUB
00001903: PUSH1 0x64
00001905: ADD
00001906: SWAP1
00001907: REVERT
00001908: JUMPDEST
00001909: PUSH1 0x00
0000190b: SLOAD
0000190c: PUSH1 0xff
0000190e: AND
0000190f: ISZERO
00001910: ISZERO
00001911: PUSH1 0x01
00001913: EQ
00001914: PUSH2 0x1955
00001917: JUMPI
00001918: PUSH1 0x40
0000191a: DUP1
0000191b: MLOAD
0000191c: PUSH1 0xe5
0000191e: PUSH1 0x02
00001920: EXP
00001921: PUSH3 0x461bcd
00001925: MUL
00001926: DUP2
00001927: MSTORE
00001928: PUSH1 0x20
0000192a: PUSH1 0x04
0000192c: DUP3
0000192d: ADD
0000192e: MSTORE
0000192f: PUSH1 0x0d
00001931: PUSH1 0x24
00001933: DUP3
00001934: ADD
00001935: MSTORE
00001936: PUSH1 0x00
00001938: DUP1
00001939: MLOAD
0000193a: PUSH1 0x20
0000193c: PUSH2 0x371d
0000193f: DUP4
00001940: CODECOPY
00001941: DUP2
00001942: MLOAD
00001943: SWAP2
00001944: MSTORE
00001945: PUSH1 0x44
00001947: DUP3
00001948: ADD
00001949: MSTORE
0000194a: SWAP1
0000194b: MLOAD
0000194c: SWAP1
0000194d: DUP2
0000194e: SWAP1
0000194f: SUB
00001950: PUSH1 0x64
00001952: ADD
00001953: SWAP1
00001954: REVERT
00001955: JUMPDEST
00001956: PUSH1 0x10
00001958: DUP1
00001959: SLOAD
0000195a: PUSH21 0xff0000000000000000000000000000000000000000
00001970: NOT
00001971: AND
00001972: PUSH21 0x010000000000000000000000000000000000000000
00001988: OR
00001989: SWAP1
0000198a: SSTORE
0000198b: JUMP
0000198c: JUMPDEST
0000198d: PUSH1 0x00
0000198f: DUP1
00001990: SLOAD
00001991: PUSH1 0xff
00001993: AND
00001994: ISZERO
00001995: ISZERO
00001996: PUSH1 0x01
00001998: EQ
00001999: PUSH2 0x19da
0000199c: JUMPI
0000199d: PUSH1 0x40
0000199f: DUP1
000019a0: MLOAD
000019a1: PUSH1 0xe5
000019a3: PUSH1 0x02
000019a5: EXP
000019a6: PUSH3 0x461bcd
000019aa: MUL
000019ab: DUP2
000019ac: MSTORE
000019ad: PUSH1 0x20
000019af: PUSH1 0x04
000019b1: DUP3
000019b2: ADD
000019b3: MSTORE
000019b4: PUSH1 0x0d
000019b6: PUSH1 0x24
000019b8: DUP3
000019b9: ADD
000019ba: MSTORE
000019bb: PUSH1 0x00
000019bd: DUP1
000019be: MLOAD
000019bf: PUSH1 0x20
000019c1: PUSH2 0x371d
000019c4: DUP4
000019c5: CODECOPY
000019c6: DUP2
000019c7: MLOAD
000019c8: SWAP2
000019c9: MSTORE
000019ca: PUSH1 0x44
000019cc: DUP3
000019cd: ADD
000019ce: MSTORE
000019cf: SWAP1
000019d0: MLOAD
000019d1: SWAP1
000019d2: DUP2
000019d3: SWAP1
000019d4: SUB
000019d5: PUSH1 0x64
000019d7: ADD
000019d8: SWAP1
000019d9: REVERT
000019da: JUMPDEST
000019db: CALLER
000019dc: DUP1
000019dd: EXTCODESIZE
000019de: DUP1
000019df: ISZERO
000019e0: PUSH2 0x1a21
000019e3: JUMPI
000019e4: PUSH1 0x40
000019e6: DUP1
000019e7: MLOAD
000019e8: PUSH1 0xe5
000019ea: PUSH1 0x02
000019ec: EXP
000019ed: PUSH3 0x461bcd
000019f1: MUL
000019f2: DUP2
000019f3: MSTORE
000019f4: PUSH1 0x20
000019f6: PUSH1 0x04
000019f8: DUP3
000019f9: ADD
000019fa: MSTORE
000019fb: PUSH1 0x11
000019fd: PUSH1 0x24
000019ff: DUP3
00001a00: ADD
00001a01: MSTORE
00001a02: PUSH1 0x00
00001a04: DUP1
00001a05: MLOAD
00001a06: PUSH1 0x20
00001a08: PUSH2 0x375d
00001a0b: DUP4
00001a0c: CODECOPY
00001a0d: DUP2
00001a0e: MLOAD
00001a0f: SWAP2
00001a10: MSTORE
00001a11: PUSH1 0x44
00001a13: DUP3
00001a14: ADD
00001a15: MSTORE
00001a16: SWAP1
00001a17: MLOAD
00001a18: SWAP1
00001a19: DUP2
00001a1a: SWAP1
00001a1b: SUB
00001a1c: PUSH1 0x64
00001a1e: ADD
00001a1f: SWAP1
00001a20: REVERT
00001a21: JUMPDEST
00001a22: PUSH2 0x1a29
00001a25: PUSH2 0x2369
00001a28: JUMP
00001a29: JUMPDEST
00001a2a: CALLER
00001a2b: PUSH1 0x00
00001a2d: SWAP1
00001a2e: DUP2
00001a2f: MSTORE
00001a30: PUSH1 0x09
00001a32: PUSH1 0x20
00001a34: MSTORE
00001a35: PUSH1 0x40
00001a37: SWAP1
00001a38: KECCAK256
00001a39: SLOAD
00001a3a: PUSH2 0x1a43
00001a3d: SWAP1
00001a3e: DUP6
00001a3f: PUSH2 0x2c54
00001a42: JUMP
00001a43: JUMPDEST
00001a44: CALLER
00001a45: PUSH1 0x00
00001a47: SWAP1
00001a48: DUP2
00001a49: MSTORE
00001a4a: PUSH1 0x09
00001a4c: PUSH1 0x20
00001a4e: SWAP1
00001a4f: DUP2
00001a50: MSTORE
00001a51: PUSH1 0x40
00001a53: DUP1
00001a54: DUP4
00001a55: KECCAK256
00001a56: SLOAD
00001a57: DUP4
00001a58: MSTORE
00001a59: PUSH1 0x08
00001a5b: SWAP1
00001a5c: SWAP2
00001a5d: MSTORE
00001a5e: SWAP1
00001a5f: KECCAK256
00001a60: PUSH1 0x02
00001a62: ADD
00001a63: SLOAD
00001a64: PUSH1 0xff
00001a66: AND
00001a67: ISZERO
00001a68: PUSH2 0x1abb
00001a6b: JUMPI
00001a6c: PUSH1 0x40
00001a6e: DUP1
00001a6f: MLOAD
00001a70: PUSH1 0xe5
00001a72: PUSH1 0x02
00001a74: EXP
00001a75: PUSH3 0x461bcd
00001a79: MUL
00001a7a: DUP2
00001a7b: MSTORE
00001a7c: PUSH1 0x20
00001a7e: PUSH1 0x04
00001a80: DUP3
00001a81: ADD
00001a82: MSTORE
00001a83: PUSH1 0x1f
00001a85: PUSH1 0x24
00001a87: DUP3
00001a88: ADD
00001a89: MSTORE
00001a8a: PUSH32 0x796f752063616e206f6e6c7920656e61626c6520696e76697465206f6e636500
00001aab: PUSH1 0x44
00001aad: DUP3
00001aae: ADD
00001aaf: MSTORE
00001ab0: SWAP1
00001ab1: MLOAD
00001ab2: SWAP1
00001ab3: DUP2
00001ab4: SWAP1
00001ab5: SUB
00001ab6: PUSH1 0x64
00001ab8: ADD
00001ab9: SWAP1
00001aba: REVERT
00001abb: JUMPDEST
00001abc: PUSH2 0x1ac4
00001abf: DUP6
00001ac0: PUSH2 0x23dd
00001ac3: JUMP
00001ac4: JUMPDEST
00001ac5: PUSH1 0x00
00001ac7: DUP2
00001ac8: DUP2
00001ac9: MSTORE
00001aca: PUSH1 0x0a
00001acc: PUSH1 0x20
00001ace: MSTORE
00001acf: PUSH1 0x40
00001ad1: SWAP1
00001ad2: KECCAK256
00001ad3: SLOAD
00001ad4: SWAP1
00001ad5: SWAP4
00001ad6: POP
00001ad7: ISZERO
00001ad8: PUSH2 0x1b51
00001adb: JUMPI
00001adc: PUSH1 0x40
00001ade: DUP1
00001adf: MLOAD
00001ae0: PUSH1 0xe5
00001ae2: PUSH1 0x02
00001ae4: EXP
00001ae5: PUSH3 0x461bcd
00001ae9: MUL
00001aea: DUP2
00001aeb: MSTORE
00001aec: PUSH1 0x20
00001aee: PUSH1 0x04
00001af0: DUP3
00001af1: ADD
00001af2: MSTORE
00001af3: PUSH1 0x29
00001af5: PUSH1 0x24
00001af7: DUP3
00001af8: ADD
00001af9: MSTORE
00001afa: PUSH32 0x796f7572206e616d6520697320616c7265616479207265676973746572656420
00001b1b: PUSH1 0x44
00001b1d: DUP3
00001b1e: ADD
00001b1f: MSTORE
00001b20: PUSH32 0x6279206f74686572730000000000000000000000000000000000000000000000
00001b41: PUSH1 0x64
00001b43: DUP3
00001b44: ADD
00001b45: MSTORE
00001b46: SWAP1
00001b47: MLOAD
00001b48: SWAP1
00001b49: DUP2
00001b4a: SWAP1
00001b4b: SUB
00001b4c: PUSH1 0x84
00001b4e: ADD
00001b4f: SWAP1
00001b50: REVERT
00001b51: JUMPDEST
00001b52: CALLER
00001b53: PUSH1 0x00
00001b55: SWAP1
00001b56: DUP2
00001b57: MSTORE
00001b58: PUSH1 0x09
00001b5a: PUSH1 0x20
00001b5c: SWAP1
00001b5d: DUP2
00001b5e: MSTORE
00001b5f: PUSH1 0x40
00001b61: DUP1
00001b62: DUP4
00001b63: KECCAK256
00001b64: DUP1
00001b65: SLOAD
00001b66: DUP5
00001b67: MSTORE
00001b68: PUSH1 0x08
00001b6a: DUP4
00001b6b: MSTORE
00001b6c: DUP2
00001b6d: DUP5
00001b6e: KECCAK256
00001b6f: PUSH1 0x01
00001b71: SWAP1
00001b72: DUP2
00001b73: ADD
00001b74: DUP9
00001b75: SWAP1
00001b76: SSTORE
00001b77: DUP2
00001b78: SLOAD
00001b79: DUP6
00001b7a: MSTORE
00001b7b: DUP3
00001b7c: DUP6
00001b7d: KECCAK256
00001b7e: PUSH1 0x02
00001b80: ADD
00001b81: DUP1
00001b82: SLOAD
00001b83: PUSH1 0xff
00001b85: NOT
00001b86: AND
00001b87: SWAP1
00001b88: SWAP2
00001b89: OR
00001b8a: SWAP1
00001b8b: SSTORE
00001b8c: SLOAD
00001b8d: DUP7
00001b8e: DUP5
00001b8f: MSTORE
00001b90: PUSH1 0x0a
00001b92: SWAP1
00001b93: SWAP3
00001b94: MSTORE
00001b95: SWAP1
00001b96: SWAP2
00001b97: KECCAK256
00001b98: SSTORE
00001b99: PUSH2 0x1ba1
00001b9c: CALLVALUE
00001b9d: PUSH2 0x2e33
00001ba0: JUMP
00001ba1: JUMPDEST
00001ba2: CALLER
00001ba3: PUSH1 0x00
00001ba5: DUP2
00001ba6: DUP2
00001ba7: MSTORE
00001ba8: PUSH1 0x09
00001baa: PUSH1 0x20
00001bac: SWAP1
00001bad: DUP2
00001bae: MSTORE
00001baf: PUSH1 0x40
00001bb1: SWAP2
00001bb2: DUP3
00001bb3: SWAP1
00001bb4: KECCAK256
00001bb5: SLOAD
00001bb6: DUP3
00001bb7: MLOAD
00001bb8: SWAP1
00001bb9: DUP2
00001bba: MSTORE
00001bbb: SWAP1
00001bbc: DUP2
00001bbd: ADD
00001bbe: SWAP3
00001bbf: SWAP1
00001bc0: SWAP3
00001bc1: MSTORE
00001bc2: DUP2
00001bc3: DUP2
00001bc4: ADD
00001bc5: DUP6
00001bc6: SWAP1
00001bc7: MSTORE
00001bc8: TIMESTAMP
00001bc9: PUSH1 0x60
00001bcb: DUP4
00001bcc: ADD
00001bcd: MSTORE
00001bce: MLOAD
00001bcf: PUSH32 0x39c65c7085de5ed0cfd56a4d414ab1ef825e436862e80d989248fa92b2289528
00001bf0: SWAP2
00001bf1: DUP2
00001bf2: SWAP1
00001bf3: SUB
00001bf4: PUSH1 0x80
00001bf6: ADD
00001bf7: SWAP1
00001bf8: LOG1
00001bf9: POP
00001bfa: POP
00001bfb: POP
00001bfc: POP
00001bfd: POP
00001bfe: JUMP
00001bff: JUMPDEST
00001c00: PUSH1 0x02
00001c02: SLOAD
00001c03: PUSH1 0x01
00001c05: PUSH1 0xa0
00001c07: PUSH1 0x02
00001c09: EXP
00001c0a: SUB
00001c0b: AND
00001c0c: DUP2
00001c0d: JUMP
00001c0e: JUMPDEST
00001c0f: PUSH1 0x0e
00001c11: PUSH1 0x20
00001c13: MSTORE
00001c14: DUP2
00001c15: PUSH1 0x00
00001c17: MSTORE
00001c18: PUSH1 0x40
00001c1a: PUSH1 0x00
00001c1c: KECCAK256
00001c1d: DUP2
00001c1e: DUP2
00001c1f: SLOAD
00001c20: DUP2
00001c21: LT
00001c22: ISZERO
00001c23: ISZERO
00001c24: PUSH2 0x1c29
00001c27: JUMPI
00001c28: INVALID
00001c29: JUMPDEST
00001c2a: SWAP1
00001c2b: PUSH1 0x00
00001c2d: MSTORE
00001c2e: PUSH1 0x20
00001c30: PUSH1 0x00
00001c32: KECCAK256
00001c33: ADD
00001c34: PUSH1 0x00
00001c36: SWAP2
00001c37: POP
00001c38: SWAP2
00001c39: POP
00001c3a: POP
00001c3b: SLOAD
00001c3c: DUP2
00001c3d: JUMP
00001c3e: JUMPDEST
00001c3f: PUSH1 0x05
00001c41: SLOAD
00001c42: DUP2
00001c43: JUMP
00001c44: JUMPDEST
00001c45: PUSH1 0x00
00001c47: DUP1
00001c48: DUP1
00001c49: DUP1
00001c4a: DUP1
00001c4b: TIMESTAMP
00001c4c: DUP2
00001c4d: PUSH2 0x1c55
00001c50: DUP3
00001c51: PUSH2 0x212e
00001c54: JUMP
00001c55: JUMPDEST
00001c56: CALLER
00001c57: PUSH1 0x00
00001c59: SWAP1
00001c5a: DUP2
00001c5b: MSTORE
00001c5c: PUSH1 0x09
00001c5e: PUSH1 0x20
00001c60: SWAP1
00001c61: DUP2
00001c62: MSTORE
00001c63: PUSH1 0x40
00001c65: DUP1
00001c66: DUP4
00001c67: KECCAK256
00001c68: SLOAD
00001c69: DUP13
00001c6a: DUP5
00001c6b: MSTORE
00001c6c: PUSH1 0x0d
00001c6e: SWAP1
00001c6f: SWAP3
00001c70: MSTORE
00001c71: SWAP1
00001c72: SWAP2
00001c73: KECCAK256
00001c74: SLOAD
00001c75: SWAP2
00001c76: SWAP3
00001c77: POP
00001c78: EQ
00001c79: PUSH2 0x1ccc
00001c7c: JUMPI
00001c7d: PUSH1 0x40
00001c7f: DUP1
00001c80: MLOAD
00001c81: PUSH1 0xe5
00001c83: PUSH1 0x02
00001c85: EXP
00001c86: PUSH3 0x461bcd
00001c8a: MUL
00001c8b: DUP2
00001c8c: MSTORE
00001c8d: PUSH1 0x20
00001c8f: PUSH1 0x04
00001c91: DUP3
00001c92: ADD
00001c93: MSTORE
00001c94: PUSH1 0x1c
00001c96: PUSH1 0x24
00001c98: DUP3
00001c99: ADD
00001c9a: MSTORE
00001c9b: PUSH32 0x6f6e6c79206f776e65722063616e2067657420697473206f7264657200000000
00001cbc: PUSH1 0x44
00001cbe: DUP3
00001cbf: ADD
00001cc0: MSTORE
00001cc1: SWAP1
00001cc2: MLOAD
00001cc3: SWAP1
00001cc4: DUP2
00001cc5: SWAP1
00001cc6: SUB
00001cc7: PUSH1 0x64
00001cc9: ADD
00001cca: SWAP1
00001ccb: REVERT
00001ccc: JUMPDEST
00001ccd: PUSH1 0x00
00001ccf: DUP9
00001cd0: DUP2
00001cd1: MSTORE
00001cd2: PUSH1 0x0d
00001cd4: PUSH1 0x20
00001cd6: MSTORE
00001cd7: PUSH1 0x40
00001cd9: SWAP1
00001cda: KECCAK256
00001cdb: PUSH1 0x01
00001cdd: DUP2
00001cde: ADD
00001cdf: SLOAD
00001ce0: PUSH1 0x02
00001ce2: DUP3
00001ce3: ADD
00001ce4: SLOAD
00001ce5: PUSH1 0x03
00001ce7: SWAP1
00001ce8: SWAP3
00001ce9: ADD
00001cea: SLOAD
00001ceb: SWAP1
00001cec: SWAP2
00001ced: SWAP1
00001cee: PUSH2 0x1cf7
00001cf1: DUP5
00001cf2: DUP13
00001cf3: PUSH2 0x2163
00001cf6: JUMP
00001cf7: JUMPDEST
00001cf8: PUSH1 0x00
00001cfa: SWAP12
00001cfb: DUP13
00001cfc: MSTORE
00001cfd: PUSH1 0x0d
00001cff: PUSH1 0x20
00001d01: MSTORE
00001d02: PUSH1 0x40
00001d04: SWAP1
00001d05: SWAP12
00001d06: KECCAK256
00001d07: PUSH1 0x0b
00001d09: ADD
00001d0a: SLOAD
00001d0b: SWAP3
00001d0c: SWAP12
00001d0d: SWAP2
00001d0e: SWAP11
00001d0f: SWAP1
00001d10: SWAP10
00001d11: POP
00001d12: SWAP8
00001d13: POP
00001d14: SWAP1
00001d15: SWAP6
00001d16: POP
00001d17: SWAP4
00001d18: POP
00001d19: POP
00001d1a: POP
00001d1b: POP
00001d1c: JUMP
00001d1d: JUMPDEST
00001d1e: PUSH1 0x00
00001d20: SLOAD
00001d21: PUSH1 0xff
00001d23: AND
00001d24: DUP2
00001d25: JUMP
00001d26: JUMPDEST
00001d27: CALLER
00001d28: PUSH1 0x00
00001d2a: SWAP1
00001d2b: DUP2
00001d2c: MSTORE
00001d2d: PUSH1 0x09
00001d2f: PUSH1 0x20
00001d31: SWAP1
00001d32: DUP2
00001d33: MSTORE
00001d34: PUSH1 0x40
00001d36: DUP1
00001d37: DUP4
00001d38: KECCAK256
00001d39: SLOAD
00001d3a: DUP1
00001d3b: DUP5
00001d3c: MSTORE
00001d3d: PUSH1 0x08
00001d3f: SWAP3
00001d40: DUP4
00001d41: SWAP1
00001d42: MSTORE
00001d43: DUP2
00001d44: DUP5
00001d45: KECCAK256
00001d46: PUSH1 0x02
00001d48: DUP2
00001d49: ADD
00001d4a: SLOAD
00001d4b: PUSH1 0x01
00001d4d: DUP1
00001d4e: DUP4
00001d4f: ADD
00001d50: SLOAD
00001d51: PUSH1 0x03
00001d53: DUP5
00001d54: ADD
00001d55: SLOAD
00001d56: DUP1
00001d57: DUP10
00001d58: MSTORE
00001d59: SWAP6
00001d5a: DUP9
00001d5b: KECCAK256
00001d5c: SWAP1
00001d5d: SWAP2
00001d5e: ADD
00001d5f: SLOAD
00001d60: SWAP4
00001d61: SWAP1
00001d62: SWAP7
00001d63: MSTORE
00001d64: PUSH1 0x05
00001d66: DUP3
00001d67: ADD
00001d68: SLOAD
00001d69: PUSH1 0x06
00001d6b: DUP4
00001d6c: ADD
00001d6d: SLOAD
00001d6e: PUSH1 0x07
00001d70: DUP5
00001d71: ADD
00001d72: SLOAD
00001d73: SWAP4
00001d74: SWAP1
00001d75: SWAP7
00001d76: ADD
00001d77: SLOAD
00001d78: PUSH1 0xff
00001d7a: SWAP1
00001d7b: SWAP3
00001d7c: AND
00001d7d: SWAP8
00001d7e: SWAP5
00001d7f: SWAP6
00001d80: SWAP4
00001d81: SWAP5
00001d82: SWAP1
00001d83: SWAP4
00001d84: SWAP3
00001d85: SWAP2
00001d86: SWAP1
00001d87: JUMP
00001d88: JUMPDEST
00001d89: PUSH1 0x00
00001d8b: DUP1
00001d8c: SLOAD
00001d8d: DUP2
00001d8e: SWAP1
00001d8f: PUSH1 0xff
00001d91: AND
00001d92: ISZERO
00001d93: ISZERO
00001d94: PUSH1 0x01
00001d96: EQ
00001d97: PUSH2 0x1dd8
00001d9a: JUMPI
00001d9b: PUSH1 0x40
00001d9d: DUP1
00001d9e: MLOAD
00001d9f: PUSH1 0xe5
00001da1: PUSH1 0x02
00001da3: EXP
00001da4: PUSH3 0x461bcd
00001da8: MUL
00001da9: DUP2
00001daa: MSTORE
00001dab: PUSH1 0x20
00001dad: PUSH1 0x04
00001daf: DUP3
00001db0: ADD
00001db1: MSTORE
00001db2: PUSH1 0x0d
00001db4: PUSH1 0x24
00001db6: DUP3
00001db7: ADD
00001db8: MSTORE
00001db9: PUSH1 0x00
00001dbb: DUP1
00001dbc: MLOAD
00001dbd: PUSH1 0x20
00001dbf: PUSH2 0x371d
00001dc2: DUP4
00001dc3: CODECOPY
00001dc4: DUP2
00001dc5: MLOAD
00001dc6: SWAP2
00001dc7: MSTORE
00001dc8: PUSH1 0x44
00001dca: DUP3
00001dcb: ADD
00001dcc: MSTORE
00001dcd: SWAP1
00001dce: MLOAD
00001dcf: SWAP1
00001dd0: DUP2
00001dd1: SWAP1
00001dd2: SUB
00001dd3: PUSH1 0x64
00001dd5: ADD
00001dd6: SWAP1
00001dd7: REVERT
00001dd8: JUMPDEST
00001dd9: CALLER
00001dda: DUP1
00001ddb: EXTCODESIZE
00001ddc: DUP1
00001ddd: ISZERO
00001dde: PUSH2 0x1e1f
00001de1: JUMPI
00001de2: PUSH1 0x40
00001de4: DUP1
00001de5: MLOAD
00001de6: PUSH1 0xe5
00001de8: PUSH1 0x02
00001dea: EXP
00001deb: PUSH3 0x461bcd
00001def: MUL
00001df0: DUP2
00001df1: MSTORE
00001df2: PUSH1 0x20
00001df4: PUSH1 0x04
00001df6: DUP3
00001df7: ADD
00001df8: MSTORE
00001df9: PUSH1 0x11
00001dfb: PUSH1 0x24
00001dfd: DUP3
00001dfe: ADD
00001dff: MSTORE
00001e00: PUSH1 0x00
00001e02: DUP1
00001e03: MLOAD
00001e04: PUSH1 0x20
00001e06: PUSH2 0x375d
00001e09: DUP4
00001e0a: CODECOPY
00001e0b: DUP2
00001e0c: MLOAD
00001e0d: SWAP2
00001e0e: MSTORE
00001e0f: PUSH1 0x44
00001e11: DUP3
00001e12: ADD
00001e13: MSTORE
00001e14: SWAP1
00001e15: MLOAD
00001e16: SWAP1
00001e17: DUP2
00001e18: SWAP1
00001e19: SUB
00001e1a: PUSH1 0x64
00001e1c: ADD
00001e1d: SWAP1
00001e1e: REVERT
00001e1f: JUMPDEST
00001e20: CALLER
00001e21: PUSH1 0x00
00001e23: SWAP1
00001e24: DUP2
00001e25: MSTORE
00001e26: PUSH1 0x09
00001e28: PUSH1 0x20
00001e2a: SWAP1
00001e2b: DUP2
00001e2c: MSTORE
00001e2d: PUSH1 0x40
00001e2f: DUP1
00001e30: DUP4
00001e31: KECCAK256
00001e32: SLOAD
00001e33: DUP1
00001e34: DUP5
00001e35: MSTORE
00001e36: PUSH1 0x08
00001e38: SWAP3
00001e39: DUP4
00001e3a: SWAP1
00001e3b: MSTORE
00001e3c: SWAP3
00001e3d: KECCAK256
00001e3e: SWAP1
00001e3f: DUP2
00001e40: ADD
00001e41: SLOAD
00001e42: PUSH1 0x07
00001e44: DUP3
00001e45: ADD
00001e46: SLOAD
00001e47: PUSH1 0x06
00001e49: DUP4
00001e4a: ADD
00001e4b: SLOAD
00001e4c: PUSH1 0x05
00001e4e: SWAP1
00001e4f: SWAP4
00001e50: ADD
00001e51: SLOAD
00001e52: SWAP4
00001e53: SWAP8
00001e54: POP
00001e55: PUSH2 0x1e6d
00001e58: SWAP4
00001e59: SWAP2
00001e5a: SWAP3
00001e5b: PUSH2 0x1488
00001e5e: SWAP3
00001e5f: PUSH2 0x147c
00001e62: SWAP2
00001e63: PUSH4 0xffffffff
00001e68: PUSH2 0x234a
00001e6b: AND
00001e6c: JUMP
00001e6d: JUMPDEST
00001e6e: SWAP3
00001e6f: POP
00001e70: PUSH1 0x00
00001e72: DUP4
00001e73: GT
00001e74: PUSH2 0x1eed
00001e77: JUMPI
00001e78: PUSH1 0x40
00001e7a: DUP1
00001e7b: MLOAD
00001e7c: PUSH1 0xe5
00001e7e: PUSH1 0x02
00001e80: EXP
00001e81: PUSH3 0x461bcd
00001e85: MUL
00001e86: DUP2
00001e87: MSTORE
00001e88: PUSH1 0x20
00001e8a: PUSH1 0x04
00001e8c: DUP3
00001e8d: ADD
00001e8e: MSTORE
00001e8f: PUSH1 0x25
00001e91: PUSH1 0x24
00001e93: DUP3
00001e94: ADD
00001e95: MSTORE
00001e96: PUSH32 0x796f752068617665206e6f20696e766974652072657761726420746f20776974
00001eb7: PUSH1 0x44
00001eb9: DUP3
00001eba: ADD
00001ebb: MSTORE
00001ebc: PUSH32 0x6864726177000000000000000000000000000000000000000000000000000000
00001edd: PUSH1 0x64
00001edf: DUP3
00001ee0: ADD
00001ee1: MSTORE
00001ee2: SWAP1
00001ee3: MLOAD
00001ee4: SWAP1
00001ee5: DUP2
00001ee6: SWAP1
00001ee7: SUB
00001ee8: PUSH1 0x84
00001eea: ADD
00001eeb: SWAP1
00001eec: REVERT
00001eed: JUMPDEST
00001eee: PUSH1 0x00
00001ef0: DUP5
00001ef1: DUP2
00001ef2: MSTORE
00001ef3: PUSH1 0x08
00001ef5: PUSH1 0x20
00001ef7: MSTORE
00001ef8: PUSH1 0x40
00001efa: DUP1
00001efb: DUP3
00001efc: KECCAK256
00001efd: PUSH1 0x03
00001eff: ADD
00001f00: SLOAD
00001f01: DUP3
00001f02: MSTORE
00001f03: SWAP1
00001f04: KECCAK256
00001f05: PUSH1 0x01
00001f07: ADD
00001f08: SLOAD
00001f09: PUSH2 0x1f13
00001f0c: SWAP1
00001f0d: DUP5
00001f0e: SWAP1
00001f0f: PUSH2 0x2c13
00001f12: JUMP
00001f13: JUMPDEST
00001f14: PUSH1 0x00
00001f16: DUP5
00001f17: DUP2
00001f18: MSTORE
00001f19: PUSH1 0x08
00001f1b: PUSH1 0x20
00001f1d: DUP2
00001f1e: SWAP1
00001f1f: MSTORE
00001f20: PUSH1 0x40
00001f22: SWAP1
00001f23: SWAP2
00001f24: KECCAK256
00001f25: ADD
00001f26: SLOAD
00001f27: PUSH2 0x1f36
00001f2a: SWAP1
00001f2b: DUP5
00001f2c: PUSH4 0xffffffff
00001f31: PUSH2 0x234a
00001f34: AND
00001f35: JUMP
00001f36: JUMPDEST
00001f37: PUSH1 0x00
00001f39: DUP6
00001f3a: DUP2
00001f3b: MSTORE
00001f3c: PUSH1 0x08
00001f3e: PUSH1 0x20
00001f40: DUP2
00001f41: DUP2
00001f42: MSTORE
00001f43: PUSH1 0x40
00001f45: SWAP3
00001f46: DUP4
00001f47: SWAP1
00001f48: KECCAK256
00001f49: SWAP1
00001f4a: SWAP2
00001f4b: ADD
00001f4c: SWAP3
00001f4d: SWAP1
00001f4e: SWAP3
00001f4f: SSTORE
00001f50: DUP1
00001f51: MLOAD
00001f52: DUP6
00001f53: DUP2
00001f54: MSTORE
00001f55: TIMESTAMP
00001f56: SWAP3
00001f57: DUP2
00001f58: ADD
00001f59: SWAP3
00001f5a: SWAP1
00001f5b: SWAP3
00001f5c: MSTORE
00001f5d: DUP1
00001f5e: MLOAD
00001f5f: CALLER
00001f60: SWAP3
00001f61: DUP8
00001f62: SWAP3
00001f63: PUSH32 0xa039548b6b31d865d7d6f1bdd3497eea15414df7a8bfeb6dab875e18b3074a86
00001f84: SWAP3
00001f85: SWAP2
00001f86: DUP3
00001f87: SWAP1
00001f88: SUB
00001f89: ADD
00001f8a: SWAP1
00001f8b: LOG3
00001f8c: POP
00001f8d: POP
00001f8e: POP
00001f8f: POP
00001f90: JUMP
00001f91: JUMPDEST
00001f92: PUSH1 0x00
00001f94: DUP1
00001f95: SLOAD
00001f96: DUP2
00001f97: SWAP1
00001f98: PUSH1 0xff
00001f9a: AND
00001f9b: ISZERO
00001f9c: ISZERO
00001f9d: PUSH1 0x01
00001f9f: EQ
00001fa0: PUSH2 0x1fe1
00001fa3: JUMPI
00001fa4: PUSH1 0x40
00001fa6: DUP1
00001fa7: MLOAD
00001fa8: PUSH1 0xe5
00001faa: PUSH1 0x02
00001fac: EXP
00001fad: PUSH3 0x461bcd
00001fb1: MUL
00001fb2: DUP2
00001fb3: MSTORE
00001fb4: PUSH1 0x20
00001fb6: PUSH1 0x04
00001fb8: DUP3
00001fb9: ADD
00001fba: MSTORE
00001fbb: PUSH1 0x0d
00001fbd: PUSH1 0x24
00001fbf: DUP3
00001fc0: ADD
00001fc1: MSTORE
00001fc2: PUSH1 0x00
00001fc4: DUP1
00001fc5: MLOAD
00001fc6: PUSH1 0x20
00001fc8: PUSH2 0x371d
00001fcb: DUP4
00001fcc: CODECOPY
00001fcd: DUP2
00001fce: MLOAD
00001fcf: SWAP2
00001fd0: MSTORE
00001fd1: PUSH1 0x44
00001fd3: DUP3
00001fd4: ADD
00001fd5: MSTORE
00001fd6: SWAP1
00001fd7: MLOAD
00001fd8: SWAP1
00001fd9: DUP2
00001fda: SWAP1
00001fdb: SUB
00001fdc: PUSH1 0x64
00001fde: ADD
00001fdf: SWAP1
00001fe0: REVERT
00001fe1: JUMPDEST
00001fe2: CALLER
00001fe3: DUP1
00001fe4: EXTCODESIZE
00001fe5: DUP1
00001fe6: ISZERO
00001fe7: PUSH2 0x2028
00001fea: JUMPI
00001feb: PUSH1 0x40
00001fed: DUP1
00001fee: MLOAD
00001fef: PUSH1 0xe5
00001ff1: PUSH1 0x02
00001ff3: EXP
00001ff4: PUSH3 0x461bcd
00001ff8: MUL
00001ff9: DUP2
00001ffa: MSTORE
00001ffb: PUSH1 0x20
00001ffd: PUSH1 0x04
00001fff: DUP3
00002000: ADD
00002001: MSTORE
00002002: PUSH1 0x11
00002004: PUSH1 0x24
00002006: DUP3
00002007: ADD
00002008: MSTORE
00002009: PUSH1 0x00
0000200b: DUP1
0000200c: MLOAD
0000200d: PUSH1 0x20
0000200f: PUSH2 0x375d
00002012: DUP4
00002013: CODECOPY
00002014: DUP2
00002015: MLOAD
00002016: SWAP2
00002017: MSTORE
00002018: PUSH1 0x44
0000201a: DUP3
0000201b: ADD
0000201c: MSTORE
0000201d: SWAP1
0000201e: MLOAD
0000201f: SWAP1
00002020: DUP2
00002021: SWAP1
00002022: SUB
00002023: PUSH1 0x64
00002025: ADD
00002026: SWAP1
00002027: REVERT
00002028: JUMPDEST
00002029: CALLVALUE
0000202a: PUSH7 0x2386f26fc10000
00002032: DUP2
00002033: LT
00002034: ISZERO
00002035: PUSH2 0x2088
00002038: JUMPI
00002039: PUSH1 0x40
0000203b: DUP1
0000203c: MLOAD
0000203d: PUSH1 0xe5
0000203f: PUSH1 0x02
00002041: EXP
00002042: PUSH3 0x461bcd
00002046: MUL
00002047: DUP2
00002048: MSTORE
00002049: PUSH1 0x20
0000204b: PUSH1 0x04
0000204d: DUP3
0000204e: ADD
0000204f: MSTORE
00002050: PUSH1 0x13
00002052: PUSH1 0x24
00002054: DUP3
00002055: ADD
00002056: MSTORE
00002057: PUSH32 0x302e3031206574686572206174206c6561737400000000000000000000000000
00002078: PUSH1 0x44
0000207a: DUP3
0000207b: ADD
0000207c: MSTORE
0000207d: SWAP1
0000207e: MLOAD
0000207f: SWAP1
00002080: DUP2
00002081: SWAP1
00002082: SUB
00002083: PUSH1 0x64
00002085: ADD
00002086: SWAP1
00002087: REVERT
00002088: JUMPDEST
00002089: PUSH11 0x084595161401484a000000
00002095: DUP2
00002096: GT
00002097: ISZERO
00002098: PUSH2 0x20eb
0000209b: JUMPI
0000209c: PUSH1 0x40
0000209e: DUP1
0000209f: MLOAD
000020a0: PUSH1 0xe5
000020a2: PUSH1 0x02
000020a4: EXP
000020a5: PUSH3 0x461bcd
000020a9: MUL
000020aa: DUP2
000020ab: MSTORE
000020ac: PUSH1 0x20
000020ae: PUSH1 0x04
000020b0: DUP3
000020b1: ADD
000020b2: MSTORE
000020b3: PUSH1 0x12
000020b5: PUSH1 0x24
000020b7: DUP3
000020b8: ADD
000020b9: MSTORE
000020ba: PUSH32 0x6e6f2c20746f6f206d7563682065746865720000000000000000000000000000
000020db: PUSH1 0x44
000020dd: DUP3
000020de: ADD
000020df: MSTORE
000020e0: SWAP1
000020e1: MLOAD
000020e2: SWAP1
000020e3: DUP2
000020e4: SWAP1
000020e5: SUB
000020e6: PUSH1 0x64
000020e8: ADD
000020e9: SWAP1
000020ea: REVERT
000020eb: JUMPDEST
000020ec: TIMESTAMP
000020ed: SWAP5
000020ee: POP
000020ef: PUSH2 0x20f7
000020f2: DUP6
000020f3: PUSH2 0x212e
000020f6: JUMP
000020f7: JUMPDEST
000020f8: SWAP4
000020f9: POP
000020fa: PUSH2 0x2101
000020fd: PUSH2 0x2369
00002100: JUMP
00002101: JUMPDEST
00002102: CALLER
00002103: PUSH1 0x00
00002105: SWAP1
00002106: DUP2
00002107: MSTORE
00002108: PUSH1 0x09
0000210a: PUSH1 0x20
0000210c: MSTORE
0000210d: PUSH1 0x40
0000210f: SWAP1
00002110: KECCAK256
00002111: SLOAD
00002112: PUSH2 0x211b
00002115: SWAP1
00002116: DUP8
00002117: PUSH2 0x2c54
0000211a: JUMP
0000211b: JUMPDEST
0000211c: PUSH2 0x2126
0000211f: DUP6
00002120: DUP6
00002121: CALLVALUE
00002122: PUSH2 0x2e46
00002125: JUMP
00002126: JUMPDEST
00002127: POP
00002128: POP
00002129: POP
0000212a: POP
0000212b: POP
0000212c: POP
0000212d: JUMP
0000212e: JUMPDEST
0000212f: PUSH1 0x00
00002131: PUSH2 0x215d
00002134: PUSH1 0x01
00002136: PUSH2 0x147c
00002139: PUSH3 0x015180
0000213d: PUSH2 0x2151
00002140: PUSH1 0x01
00002142: SLOAD
00002143: DUP8
00002144: PUSH2 0x2357
00002147: SWAP1
00002148: SWAP2
00002149: SWAP1
0000214a: PUSH4 0xffffffff
0000214f: AND
00002150: JUMP
00002151: JUMPDEST
00002152: SWAP1
00002153: PUSH4 0xffffffff
00002158: PUSH2 0x31de
0000215b: AND
0000215c: JUMP
0000215d: JUMPDEST
0000215e: SWAP3
0000215f: SWAP2
00002160: POP
00002161: POP
00002162: JUMP
00002163: JUMPDEST
00002164: PUSH1 0x00
00002166: DUP1
00002167: PUSH1 0x00
00002169: DUP1
0000216a: PUSH2 0x2171
0000216d: PUSH2 0x36fd
00002170: JUMP
00002171: JUMPDEST
00002172: PUSH1 0x00
00002174: DUP7
00002175: DUP2
00002176: MSTORE
00002177: PUSH1 0x0d
00002179: PUSH1 0x20
0000217b: MSTORE
0000217c: PUSH1 0x40
0000217e: DUP2
0000217f: KECCAK256
00002180: PUSH1 0x02
00002182: ADD
00002183: SLOAD
00002184: SWAP1
00002185: SWAP5
00002186: POP
00002187: DUP5
00002188: SWAP1
00002189: PUSH2 0x2199
0000218c: SWAP1
0000218d: DUP10
0000218e: SWAP1
0000218f: PUSH4 0xffffffff
00002194: PUSH2 0x2357
00002197: AND
00002198: JUMP
00002199: JUMPDEST
0000219a: SWAP4
0000219b: POP
0000219c: DUP4
0000219d: ISZERO
0000219e: ISZERO
0000219f: PUSH2 0x21e4
000021a2: JUMPI
000021a3: PUSH1 0x00
000021a5: DUP8
000021a6: DUP2
000021a7: MSTORE
000021a8: PUSH1 0x0d
000021aa: PUSH1 0x20
000021ac: MSTORE
000021ad: PUSH1 0x40
000021af: SWAP1
000021b0: KECCAK256
000021b1: PUSH1 0x03
000021b3: ADD
000021b4: SLOAD
000021b5: PUSH2 0x21dd
000021b8: SWAP1
000021b9: PUSH2 0x21d0
000021bc: SWAP1
000021bd: PUSH1 0x64
000021bf: SWAP1
000021c0: PUSH2 0x2151
000021c3: SWAP1
000021c4: PUSH1 0x0c
000021c6: PUSH4 0xffffffff
000021cb: PUSH2 0x31f3
000021ce: AND
000021cf: JUMP
000021d0: JUMPDEST
000021d1: DUP7
000021d2: SWAP1
000021d3: PUSH4 0xffffffff
000021d8: PUSH2 0x234a
000021db: AND
000021dc: JUMP
000021dd: JUMPDEST
000021de: SWAP5
000021df: POP
000021e0: PUSH2 0x231b
000021e3: JUMP
000021e4: JUMPDEST
000021e5: DUP4
000021e6: PUSH1 0x01
000021e8: EQ
000021e9: ISZERO
000021ea: PUSH2 0x221b
000021ed: JUMPI
000021ee: PUSH1 0x00
000021f0: DUP8
000021f1: DUP2
000021f2: MSTORE
000021f3: PUSH1 0x0d
000021f5: PUSH1 0x20
000021f7: MSTORE
000021f8: PUSH1 0x40
000021fa: SWAP1
000021fb: KECCAK256
000021fc: PUSH1 0x03
000021fe: ADD
000021ff: SLOAD
00002200: PUSH2 0x21dd
00002203: SWAP1
00002204: PUSH2 0x21d0
00002207: SWAP1
00002208: PUSH1 0x64
0000220a: SWAP1
0000220b: PUSH2 0x2151
0000220e: SWAP1
0000220f: PUSH1 0x17
00002211: PUSH4 0xffffffff
00002216: PUSH2 0x31f3
00002219: AND
0000221a: JUMP
0000221b: JUMPDEST
0000221c: DUP4
0000221d: PUSH1 0x02
0000221f: EQ
00002220: ISZERO
00002221: PUSH2 0x2252
00002224: JUMPI
00002225: PUSH1 0x00
00002227: DUP8
00002228: DUP2
00002229: MSTORE
0000222a: PUSH1 0x0d
0000222c: PUSH1 0x20
0000222e: MSTORE
0000222f: PUSH1 0x40
00002231: SWAP1
00002232: KECCAK256
00002233: PUSH1 0x03
00002235: ADD
00002236: SLOAD
00002237: PUSH2 0x21dd
0000223a: SWAP1
0000223b: PUSH2 0x21d0
0000223e: SWAP1
0000223f: PUSH1 0x64
00002241: SWAP1
00002242: PUSH2 0x2151
00002245: SWAP1
00002246: PUSH1 0x1e
00002248: PUSH4 0xffffffff
0000224d: PUSH2 0x31f3
00002250: AND
00002251: JUMP
00002252: JUMPDEST
00002253: PUSH1 0x00
00002255: DUP8
00002256: DUP2
00002257: MSTORE
00002258: PUSH1 0x0d
0000225a: PUSH1 0x20
0000225c: MSTORE
0000225d: PUSH1 0x40
0000225f: SWAP1
00002260: KECCAK256
00002261: PUSH1 0x03
00002263: ADD
00002264: SLOAD
00002265: PUSH2 0x2280
00002268: SWAP1
00002269: PUSH2 0x21d0
0000226c: SWAP1
0000226d: PUSH1 0x64
0000226f: SWAP1
00002270: PUSH2 0x2151
00002273: SWAP1
00002274: PUSH1 0x1e
00002276: PUSH4 0xffffffff
0000227b: PUSH2 0x31f3
0000227e: AND
0000227f: JUMP
00002280: JUMPDEST
00002281: SWAP5
00002282: POP
00002283: PUSH1 0x09
00002285: DUP5
00002286: GT
00002287: PUSH2 0x22a0
0000228a: JUMPI
0000228b: PUSH2 0x229b
0000228e: DUP5
0000228f: PUSH1 0x03
00002291: PUSH4 0xffffffff
00002296: PUSH2 0x2357
00002299: AND
0000229a: JUMP
0000229b: JUMPDEST
0000229c: PUSH2 0x22a3
0000229f: JUMP
000022a0: JUMPDEST
000022a1: PUSH1 0x06
000022a3: JUMPDEST
000022a4: PUSH1 0x00
000022a6: DUP9
000022a7: DUP2
000022a8: MSTORE
000022a9: PUSH1 0x0d
000022ab: PUSH1 0x20
000022ad: MSTORE
000022ae: PUSH1 0x40
000022b0: SWAP1
000022b1: DUP2
000022b2: SWAP1
000022b3: KECCAK256
000022b4: DUP2
000022b5: MLOAD
000022b6: PUSH1 0xe0
000022b8: DUP2
000022b9: ADD
000022ba: SWAP3
000022bb: DUP4
000022bc: SWAP1
000022bd: MSTORE
000022be: SWAP3
000022bf: SWAP6
000022c0: POP
000022c1: PUSH1 0x04
000022c3: ADD
000022c4: SWAP1
000022c5: PUSH1 0x07
000022c7: SWAP1
000022c8: DUP3
000022c9: DUP5
000022ca: JUMPDEST
000022cb: DUP2
000022cc: SLOAD
000022cd: DUP2
000022ce: MSTORE
000022cf: PUSH1 0x20
000022d1: ADD
000022d2: SWAP1
000022d3: PUSH1 0x01
000022d5: ADD
000022d6: SWAP1
000022d7: DUP1
000022d8: DUP4
000022d9: GT
000022da: PUSH2 0x22ca
000022dd: JUMPI
000022de: POP
000022df: POP
000022e0: POP
000022e1: POP
000022e2: POP
000022e3: SWAP2
000022e4: POP
000022e5: PUSH1 0x00
000022e7: SWAP1
000022e8: POP
000022e9: JUMPDEST
000022ea: DUP3
000022eb: DUP2
000022ec: GT
000022ed: PUSH2 0x231b
000022f0: JUMPI
000022f1: PUSH2 0x2311
000022f4: DUP3
000022f5: DUP3
000022f6: PUSH1 0x07
000022f8: DUP2
000022f9: LT
000022fa: PUSH2 0x22ff
000022fd: JUMPI
000022fe: INVALID
000022ff: JUMPDEST
00002300: PUSH1 0x20
00002302: MUL
00002303: ADD
00002304: MLOAD
00002305: DUP7
00002306: SWAP1
00002307: PUSH4 0xffffffff
0000230c: PUSH2 0x234a
0000230f: AND
00002310: JUMP
00002311: JUMPDEST
00002312: SWAP5
00002313: POP
00002314: PUSH1 0x01
00002316: ADD
00002317: PUSH2 0x22e9
0000231a: JUMP
0000231b: JUMPDEST
0000231c: PUSH1 0x00
0000231e: DUP8
0000231f: DUP2
00002320: MSTORE
00002321: PUSH1 0x0d
00002323: PUSH1 0x20
00002325: MSTORE
00002326: PUSH1 0x40
00002328: SWAP1
00002329: KECCAK256
0000232a: PUSH1 0x0b
0000232c: ADD
0000232d: SLOAD
0000232e: PUSH2 0x233e
00002331: SWAP1
00002332: DUP7
00002333: SWAP1
00002334: PUSH4 0xffffffff
00002339: PUSH2 0x2357
0000233c: AND
0000233d: JUMP
0000233e: JUMPDEST
0000233f: SWAP9
00002340: SWAP8
00002341: POP
00002342: POP
00002343: POP
00002344: POP
00002345: POP
00002346: POP
00002347: POP
00002348: POP
00002349: JUMP
0000234a: JUMPDEST
0000234b: DUP2
0000234c: DUP2
0000234d: ADD
0000234e: DUP3
0000234f: DUP2
00002350: LT
00002351: ISZERO
00002352: PUSH2 0x215d
00002355: JUMPI
00002356: INVALID
00002357: JUMPDEST
00002358: PUSH1 0x00
0000235a: DUP3
0000235b: DUP3
0000235c: GT
0000235d: ISZERO
0000235e: PUSH2 0x2363
00002361: JUMPI
00002362: INVALID
00002363: JUMPDEST
00002364: POP
00002365: SWAP1
00002366: SUB
00002367: SWAP1
00002368: JUMP
00002369: JUMPDEST
0000236a: CALLER
0000236b: PUSH1 0x00
0000236d: SWAP1
0000236e: DUP2
0000236f: MSTORE
00002370: PUSH1 0x09
00002372: PUSH1 0x20
00002374: MSTORE
00002375: PUSH1 0x40
00002377: SWAP1
00002378: KECCAK256
00002379: SLOAD
0000237a: ISZERO
0000237b: PUSH2 0x2383
0000237e: JUMPI
0000237f: PUSH2 0x1251
00002382: JUMP
00002383: JUMPDEST
00002384: PUSH1 0x07
00002386: SLOAD
00002387: PUSH2 0x2397
0000238a: SWAP1
0000238b: PUSH1 0x01
0000238d: PUSH4 0xffffffff
00002392: PUSH2 0x234a
00002395: AND
00002396: JUMP
00002397: JUMPDEST
00002398: PUSH1 0x07
0000239a: DUP2
0000239b: DUP2
0000239c: SSTORE
0000239d: PUSH1 0x00
0000239f: SWAP2
000023a0: DUP3
000023a1: MSTORE
000023a2: PUSH1 0x08
000023a4: PUSH1 0x20
000023a6: SWAP1
000023a7: DUP2
000023a8: MSTORE
000023a9: PUSH1 0x40
000023ab: DUP1
000023ac: DUP5
000023ad: KECCAK256
000023ae: DUP1
000023af: SLOAD
000023b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023c5: NOT
000023c6: AND
000023c7: CALLER
000023c8: SWAP1
000023c9: DUP2
000023ca: OR
000023cb: SWAP1
000023cc: SWAP2
000023cd: SSTORE
000023ce: SWAP3
000023cf: SLOAD
000023d0: SWAP3
000023d1: DUP5
000023d2: MSTORE
000023d3: PUSH1 0x09
000023d5: SWAP1
000023d6: SWAP2
000023d7: MSTORE
000023d8: SWAP1
000023d9: SWAP2
000023da: KECCAK256
000023db: SSTORE
000023dc: JUMP
000023dd: JUMPDEST
000023de: DUP1
000023df: MLOAD
000023e0: PUSH1 0x00
000023e2: SWAP1
000023e3: DUP3
000023e4: SWAP1
000023e5: DUP3
000023e6: DUP1
000023e7: DUP1
000023e8: PUSH1 0x20
000023ea: DUP5
000023eb: GT
000023ec: DUP1
000023ed: ISZERO
000023ee: SWAP1
000023ef: PUSH2 0x23f8
000023f2: JUMPI
000023f3: POP
000023f4: PUSH1 0x00
000023f6: DUP5
000023f7: GT
000023f8: JUMPDEST
000023f9: ISZERO
000023fa: ISZERO
000023fb: PUSH2 0x2474
000023fe: JUMPI
000023ff: PUSH1 0x40
00002401: DUP1
00002402: MLOAD
00002403: PUSH1 0xe5
00002405: PUSH1 0x02
00002407: EXP
00002408: PUSH3 0x461bcd
0000240c: MUL
0000240d: DUP2
0000240e: MSTORE
0000240f: PUSH1 0x20
00002411: PUSH1 0x04
00002413: DUP3
00002414: ADD
00002415: MSTORE
00002416: PUSH1 0x2a
00002418: PUSH1 0x24
0000241a: DUP3
0000241b: ADD
0000241c: MSTORE
0000241d: PUSH32 0x737472696e67206d757374206265206265747765656e203120616e6420333220
0000243e: PUSH1 0x44
00002440: DUP3
00002441: ADD
00002442: MSTORE
00002443: PUSH32 0x6368617261637465727300000000000000000000000000000000000000000000
00002464: PUSH1 0x64
00002466: DUP3
00002467: ADD
00002468: MSTORE
00002469: SWAP1
0000246a: MLOAD
0000246b: SWAP1
0000246c: DUP2
0000246d: SWAP1
0000246e: SUB
0000246f: PUSH1 0x84
00002471: ADD
00002472: SWAP1
00002473: REVERT
00002474: JUMPDEST
00002475: DUP5
00002476: PUSH1 0x00
00002478: DUP2
00002479: MLOAD
0000247a: DUP2
0000247b: LT
0000247c: ISZERO
0000247d: ISZERO
0000247e: PUSH2 0x2483
00002481: JUMPI
00002482: INVALID
00002483: JUMPDEST
00002484: SWAP1
00002485: PUSH1 0x20
00002487: ADD
00002488: ADD
00002489: MLOAD
0000248a: PUSH1 0xf8
0000248c: PUSH1 0x02
0000248e: EXP
0000248f: SWAP1
00002490: DIV
00002491: PUSH1 0xf8
00002493: PUSH1 0x02
00002495: EXP
00002496: MUL
00002497: PUSH1 0x01
00002499: PUSH1 0xf8
0000249b: PUSH1 0x02
0000249d: EXP
0000249e: SUB
0000249f: NOT
000024a0: AND
000024a1: PUSH1 0x20
000024a3: PUSH1 0xf8
000024a5: PUSH1 0x02
000024a7: EXP
000024a8: MUL
000024a9: EQ
000024aa: ISZERO
000024ab: DUP1
000024ac: ISZERO
000024ad: PUSH2 0x24f5
000024b0: JUMPI
000024b1: POP
000024b2: DUP5
000024b3: PUSH2 0x24c3
000024b6: DUP6
000024b7: PUSH1 0x01
000024b9: PUSH4 0xffffffff
000024be: PUSH2 0x2357
000024c1: AND
000024c2: JUMP
000024c3: JUMPDEST
000024c4: DUP2
000024c5: MLOAD
000024c6: DUP2
000024c7: LT
000024c8: PUSH2 0x24cd
000024cb: JUMPI
000024cc: INVALID
000024cd: JUMPDEST
000024ce: SWAP1
000024cf: PUSH1 0x20
000024d1: ADD
000024d2: ADD
000024d3: MLOAD
000024d4: PUSH1 0xf8
000024d6: PUSH1 0x02
000024d8: EXP
000024d9: SWAP1
000024da: DIV
000024db: PUSH1 0xf8
000024dd: PUSH1 0x02
000024df: EXP
000024e0: MUL
000024e1: PUSH1 0x01
000024e3: PUSH1 0xf8
000024e5: PUSH1 0x02
000024e7: EXP
000024e8: SUB
000024e9: NOT
000024ea: AND
000024eb: PUSH1 0x20
000024ed: PUSH1 0xf8
000024ef: PUSH1 0x02
000024f1: EXP
000024f2: MUL
000024f3: EQ
000024f4: ISZERO
000024f5: JUMPDEST
000024f6: ISZERO
000024f7: ISZERO
000024f8: PUSH2 0x2571
000024fb: JUMPI
000024fc: PUSH1 0x40
000024fe: DUP1
000024ff: MLOAD
00002500: PUSH1 0xe5
00002502: PUSH1 0x02
00002504: EXP
00002505: PUSH3 0x461bcd
00002509: MUL
0000250a: DUP2
0000250b: MSTORE
0000250c: PUSH1 0x20
0000250e: PUSH1 0x04
00002510: DUP3
00002511: ADD
00002512: MSTORE
00002513: PUSH1 0x25
00002515: PUSH1 0x24
00002517: DUP3
00002518: ADD
00002519: MSTORE
0000251a: PUSH32 0x737472696e672063616e6e6f74207374617274206f7220656e64207769746820
0000253b: PUSH1 0x44
0000253d: DUP3
0000253e: ADD
0000253f: MSTORE
00002540: PUSH32 0x7370616365000000000000000000000000000000000000000000000000000000
00002561: PUSH1 0x64
00002563: DUP3
00002564: ADD
00002565: MSTORE
00002566: SWAP1
00002567: MLOAD
00002568: SWAP1
00002569: DUP2
0000256a: SWAP1
0000256b: SUB
0000256c: PUSH1 0x84
0000256e: ADD
0000256f: SWAP1
00002570: REVERT
00002571: JUMPDEST
00002572: DUP5
00002573: PUSH1 0x00
00002575: DUP2
00002576: MLOAD
00002577: DUP2
00002578: LT
00002579: ISZERO
0000257a: ISZERO
0000257b: PUSH2 0x2580
0000257e: JUMPI
0000257f: INVALID
00002580: JUMPDEST
00002581: SWAP1
00002582: PUSH1 0x20
00002584: ADD
00002585: ADD
00002586: MLOAD
00002587: PUSH1 0xf8
00002589: PUSH1 0x02
0000258b: EXP
0000258c: SWAP1
0000258d: DIV
0000258e: PUSH1 0xf8
00002590: PUSH1 0x02
00002592: EXP
00002593: MUL
00002594: PUSH1 0x01
00002596: PUSH1 0xf8
00002598: PUSH1 0x02
0000259a: EXP
0000259b: SUB
0000259c: NOT
0000259d: AND
0000259e: PUSH1 0x30
000025a0: PUSH1 0xf8
000025a2: PUSH1 0x02
000025a4: EXP
000025a5: MUL
000025a6: EQ
000025a7: ISZERO
000025a8: PUSH2 0x26c3
000025ab: JUMPI
000025ac: DUP5
000025ad: PUSH1 0x01
000025af: DUP2
000025b0: MLOAD
000025b1: DUP2
000025b2: LT
000025b3: ISZERO
000025b4: ISZERO
000025b5: PUSH2 0x25ba
000025b8: JUMPI
000025b9: INVALID
000025ba: JUMPDEST
000025bb: SWAP1
000025bc: PUSH1 0x20
000025be: ADD
000025bf: ADD
000025c0: MLOAD
000025c1: PUSH1 0xf8
000025c3: PUSH1 0x02
000025c5: EXP
000025c6: SWAP1
000025c7: DIV
000025c8: PUSH1 0xf8
000025ca: PUSH1 0x02
000025cc: EXP
000025cd: MUL
000025ce: PUSH1 0x01
000025d0: PUSH1 0xf8
000025d2: PUSH1 0x02
000025d4: EXP
000025d5: SUB
000025d6: NOT
000025d7: AND
000025d8: PUSH1 0x78
000025da: PUSH1 0xf8
000025dc: PUSH1 0x02
000025de: EXP
000025df: MUL
000025e0: EQ
000025e1: ISZERO
000025e2: ISZERO
000025e3: ISZERO
000025e4: PUSH2 0x2637
000025e7: JUMPI
000025e8: PUSH1 0x40
000025ea: DUP1
000025eb: MLOAD
000025ec: PUSH1 0xe5
000025ee: PUSH1 0x02
000025f0: EXP
000025f1: PUSH3 0x461bcd
000025f5: MUL
000025f6: DUP2
000025f7: MSTORE
000025f8: PUSH1 0x20
000025fa: PUSH1 0x04
000025fc: DUP3
000025fd: ADD
000025fe: MSTORE
000025ff: PUSH1 0x1b
00002601: PUSH1 0x24
00002603: DUP3
00002604: ADD
00002605: MSTORE
00002606: PUSH32 0x737472696e672063616e6e6f7420737461727420776974682030780000000000
00002627: PUSH1 0x44
00002629: DUP3
0000262a: ADD
0000262b: MSTORE
0000262c: SWAP1
0000262d: MLOAD
0000262e: SWAP1
0000262f: DUP2
00002630: SWAP1
00002631: SUB
00002632: PUSH1 0x64
00002634: ADD
00002635: SWAP1
00002636: REVERT
00002637: JUMPDEST
00002638: DUP5
00002639: PUSH1 0x01
0000263b: DUP2
0000263c: MLOAD
0000263d: DUP2
0000263e: LT
0000263f: ISZERO
00002640: ISZERO
00002641: PUSH2 0x2646
00002644: JUMPI
00002645: INVALID
00002646: JUMPDEST
00002647: SWAP1
00002648: PUSH1 0x20
0000264a: ADD
0000264b: ADD
0000264c: MLOAD
0000264d: PUSH1 0xf8
0000264f: PUSH1 0x02
00002651: EXP
00002652: SWAP1
00002653: DIV
00002654: PUSH1 0xf8
00002656: PUSH1 0x02
00002658: EXP
00002659: MUL
0000265a: PUSH1 0x01
0000265c: PUSH1 0xf8
0000265e: PUSH1 0x02
00002660: EXP
00002661: SUB
00002662: NOT
00002663: AND
00002664: PUSH1 0x58
00002666: PUSH1 0xf8
00002668: PUSH1 0x02
0000266a: EXP
0000266b: MUL
0000266c: EQ
0000266d: ISZERO
0000266e: ISZERO
0000266f: ISZERO
00002670: PUSH2 0x26c3
00002673: JUMPI
00002674: PUSH1 0x40
00002676: DUP1
00002677: MLOAD
00002678: PUSH1 0xe5
0000267a: PUSH1 0x02
0000267c: EXP
0000267d: PUSH3 0x461bcd
00002681: MUL
00002682: DUP2
00002683: MSTORE
00002684: PUSH1 0x20
00002686: PUSH1 0x04
00002688: DUP3
00002689: ADD
0000268a: MSTORE
0000268b: PUSH1 0x1b
0000268d: PUSH1 0x24
0000268f: DUP3
00002690: ADD
00002691: MSTORE
00002692: PUSH32 0x737472696e672063616e6e6f7420737461727420776974682030580000000000
000026b3: PUSH1 0x44
000026b5: DUP3
000026b6: ADD
000026b7: MSTORE
000026b8: SWAP1
000026b9: MLOAD
000026ba: SWAP1
000026bb: DUP2
000026bc: SWAP1
000026bd: SUB
000026be: PUSH1 0x64
000026c0: ADD
000026c1: SWAP1
000026c2: REVERT
000026c3: JUMPDEST
000026c4: PUSH1 0x00
000026c6: SWAP2
000026c7: POP
000026c8: JUMPDEST
000026c9: DUP4
000026ca: DUP3
000026cb: LT
000026cc: ISZERO
000026cd: PUSH2 0x2bab
000026d0: JUMPI
000026d1: DUP5
000026d2: MLOAD
000026d3: PUSH32 0x4000000000000000000000000000000000000000000000000000000000000000
000026f4: SWAP1
000026f5: DUP7
000026f6: SWAP1
000026f7: DUP5
000026f8: SWAP1
000026f9: DUP2
000026fa: LT
000026fb: PUSH2 0x2700
000026fe: JUMPI
000026ff: INVALID
00002700: JUMPDEST
00002701: SWAP1
00002702: PUSH1 0x20
00002704: ADD
00002705: ADD
00002706: MLOAD
00002707: PUSH1 0xf8
00002709: PUSH1 0x02
0000270b: EXP
0000270c: SWAP1
0000270d: DIV
0000270e: PUSH1 0xf8
00002710: PUSH1 0x02
00002712: EXP
00002713: MUL
00002714: PUSH1 0x01
00002716: PUSH1 0xf8
00002718: PUSH1 0x02
0000271a: EXP
0000271b: SUB
0000271c: NOT
0000271d: AND
0000271e: GT
0000271f: DUP1
00002720: ISZERO
00002721: PUSH2 0x2774
00002724: JUMPI
00002725: POP
00002726: DUP5
00002727: MLOAD
00002728: PUSH32 0x5b00000000000000000000000000000000000000000000000000000000000000
00002749: SWAP1
0000274a: DUP7
0000274b: SWAP1
0000274c: DUP5
0000274d: SWAP1
0000274e: DUP2
0000274f: LT
00002750: PUSH2 0x2755
00002753: JUMPI
00002754: INVALID
00002755: JUMPDEST
00002756: SWAP1
00002757: PUSH1 0x20
00002759: ADD
0000275a: ADD
0000275b: MLOAD
0000275c: PUSH1 0xf8
0000275e: PUSH1 0x02
00002760: EXP
00002761: SWAP1
00002762: DIV
00002763: PUSH1 0xf8
00002765: PUSH1 0x02
00002767: EXP
00002768: MUL
00002769: PUSH1 0x01
0000276b: PUSH1 0xf8
0000276d: PUSH1 0x02
0000276f: EXP
00002770: SUB
00002771: NOT
00002772: AND
00002773: LT
00002774: JUMPDEST
00002775: ISZERO
00002776: PUSH2 0x27e1
00002779: JUMPI
0000277a: DUP5
0000277b: DUP3
0000277c: DUP2
0000277d: MLOAD
0000277e: DUP2
0000277f: LT
00002780: ISZERO
00002781: ISZERO
00002782: PUSH2 0x2787
00002785: JUMPI
00002786: INVALID
00002787: JUMPDEST
00002788: SWAP1
00002789: PUSH1 0x20
0000278b: ADD
0000278c: ADD
0000278d: MLOAD
0000278e: PUSH1 0xf8
00002790: PUSH1 0x02
00002792: EXP
00002793: SWAP1
00002794: DIV
00002795: PUSH1 0xf8
00002797: PUSH1 0x02
00002799: EXP
0000279a: MUL
0000279b: PUSH1 0xf8
0000279d: PUSH1 0x02
0000279f: EXP
000027a0: SWAP1
000027a1: DIV
000027a2: PUSH1 0x20
000027a4: ADD
000027a5: PUSH1 0xf8
000027a7: PUSH1 0x02
000027a9: EXP
000027aa: MUL
000027ab: DUP6
000027ac: DUP4
000027ad: DUP2
000027ae: MLOAD
000027af: DUP2
000027b0: LT
000027b1: ISZERO
000027b2: ISZERO
000027b3: PUSH2 0x27b8
000027b6: JUMPI
000027b7: INVALID
000027b8: JUMPDEST
000027b9: SWAP1
000027ba: PUSH1 0x20
000027bc: ADD
000027bd: ADD
000027be: SWAP1
000027bf: PUSH1 0x01
000027c1: PUSH1 0xf8
000027c3: PUSH1 0x02
000027c5: EXP
000027c6: SUB
000027c7: NOT
000027c8: AND
000027c9: SWAP1
000027ca: DUP2
000027cb: PUSH1 0x00
000027cd: BYTE
000027ce: SWAP1
000027cf: MSTORE8
000027d0: POP
000027d1: DUP3
000027d2: ISZERO
000027d3: ISZERO
000027d4: PUSH2 0x27dc
000027d7: JUMPI
000027d8: PUSH1 0x01
000027da: SWAP3
000027db: POP
000027dc: JUMPDEST
000027dd: PUSH2 0x2b93
000027e0: JUMP
000027e1: JUMPDEST
000027e2: DUP5
000027e3: DUP3
000027e4: DUP2
000027e5: MLOAD
000027e6: DUP2
000027e7: LT
000027e8: ISZERO
000027e9: ISZERO
000027ea: PUSH2 0x27ef
000027ed: JUMPI
000027ee: INVALID
000027ef: JUMPDEST
000027f0: SWAP1
000027f1: PUSH1 0x20
000027f3: ADD
000027f4: ADD
000027f5: MLOAD
000027f6: PUSH1 0xf8
000027f8: PUSH1 0x02
000027fa: EXP
000027fb: SWAP1
000027fc: DIV
000027fd: PUSH1 0xf8
000027ff: PUSH1 0x02
00002801: EXP
00002802: MUL
00002803: PUSH1 0x01
00002805: PUSH1 0xf8
00002807: PUSH1 0x02
00002809: EXP
0000280a: SUB
0000280b: NOT
0000280c: AND
0000280d: PUSH1 0x20
0000280f: PUSH1 0xf8
00002811: PUSH1 0x02
00002813: EXP
00002814: MUL
00002815: EQ
00002816: DUP1
00002817: PUSH2 0x28bf
0000281a: JUMPI
0000281b: POP
0000281c: DUP5
0000281d: MLOAD
0000281e: PUSH32 0x6000000000000000000000000000000000000000000000000000000000000000
0000283f: SWAP1
00002840: DUP7
00002841: SWAP1
00002842: DUP5
00002843: SWAP1
00002844: DUP2
00002845: LT
00002846: PUSH2 0x284b
00002849: JUMPI
0000284a: INVALID
0000284b: JUMPDEST
0000284c: SWAP1
0000284d: PUSH1 0x20
0000284f: ADD
00002850: ADD
00002851: MLOAD
00002852: PUSH1 0xf8
00002854: PUSH1 0x02
00002856: EXP
00002857: SWAP1
00002858: DIV
00002859: PUSH1 0xf8
0000285b: PUSH1 0x02
0000285d: EXP
0000285e: MUL
0000285f: PUSH1 0x01
00002861: PUSH1 0xf8
00002863: PUSH1 0x02
00002865: EXP
00002866: SUB
00002867: NOT
00002868: AND
00002869: GT
0000286a: DUP1
0000286b: ISZERO
0000286c: PUSH2 0x28bf
0000286f: JUMPI
00002870: POP
00002871: DUP5
00002872: MLOAD
00002873: PUSH32 0x7b00000000000000000000000000000000000000000000000000000000000000
00002894: SWAP1
00002895: DUP7
00002896: SWAP1
00002897: DUP5
00002898: SWAP1
00002899: DUP2
0000289a: LT
0000289b: PUSH2 0x28a0
0000289e: JUMPI
0000289f: INVALID
000028a0: JUMPDEST
000028a1: SWAP1
000028a2: PUSH1 0x20
000028a4: ADD
000028a5: ADD
000028a6: MLOAD
000028a7: PUSH1 0xf8
000028a9: PUSH1 0x02
000028ab: EXP
000028ac: SWAP1
000028ad: DIV
000028ae: PUSH1 0xf8
000028b0: PUSH1 0x02
000028b2: EXP
000028b3: MUL
000028b4: PUSH1 0x01
000028b6: PUSH1 0xf8
000028b8: PUSH1 0x02
000028ba: EXP
000028bb: SUB
000028bc: NOT
000028bd: AND
000028be: LT
000028bf: JUMPDEST
000028c0: DUP1
000028c1: PUSH2 0x2969
000028c4: JUMPI
000028c5: POP
000028c6: DUP5
000028c7: MLOAD
000028c8: PUSH32 0x2f00000000000000000000000000000000000000000000000000000000000000
000028e9: SWAP1
000028ea: DUP7
000028eb: SWAP1
000028ec: DUP5
000028ed: SWAP1
000028ee: DUP2
000028ef: LT
000028f0: PUSH2 0x28f5
000028f3: JUMPI
000028f4: INVALID
000028f5: JUMPDEST
000028f6: SWAP1
000028f7: PUSH1 0x20
000028f9: ADD
000028fa: ADD
000028fb: MLOAD
000028fc: PUSH1 0xf8
000028fe: PUSH1 0x02
00002900: EXP
00002901: SWAP1
00002902: DIV
00002903: PUSH1 0xf8
00002905: PUSH1 0x02
00002907: EXP
00002908: MUL
00002909: PUSH1 0x01
0000290b: PUSH1 0xf8
0000290d: PUSH1 0x02
0000290f: EXP
00002910: SUB
00002911: NOT
00002912: AND
00002913: GT
00002914: DUP1
00002915: ISZERO
00002916: PUSH2 0x2969
00002919: JUMPI
0000291a: POP
0000291b: DUP5
0000291c: MLOAD
0000291d: PUSH32 0x3a00000000000000000000000000000000000000000000000000000000000000
0000293e: SWAP1
0000293f: DUP7
00002940: SWAP1
00002941: DUP5
00002942: SWAP1
00002943: DUP2
00002944: LT
00002945: PUSH2 0x294a
00002948: JUMPI
00002949: INVALID
0000294a: JUMPDEST
0000294b: SWAP1
0000294c: PUSH1 0x20
0000294e: ADD
0000294f: ADD
00002950: MLOAD
00002951: PUSH1 0xf8
00002953: PUSH1 0x02
00002955: EXP
00002956: SWAP1
00002957: DIV
00002958: PUSH1 0xf8
0000295a: PUSH1 0x02
0000295c: EXP
0000295d: MUL
0000295e: PUSH1 0x01
00002960: PUSH1 0xf8
00002962: PUSH1 0x02
00002964: EXP
00002965: SUB
00002966: NOT
00002967: AND
00002968: LT
00002969: JUMPDEST
0000296a: ISZERO
0000296b: ISZERO
0000296c: PUSH2 0x29e5
0000296f: JUMPI
00002970: PUSH1 0x40
00002972: DUP1
00002973: MLOAD
00002974: PUSH1 0xe5
00002976: PUSH1 0x02
00002978: EXP
00002979: PUSH3 0x461bcd
0000297d: MUL
0000297e: DUP2
0000297f: MSTORE
00002980: PUSH1 0x20
00002982: PUSH1 0x04
00002984: DUP3
00002985: ADD
00002986: MSTORE
00002987: PUSH1 0x22
00002989: PUSH1 0x24
0000298b: DUP3
0000298c: ADD
0000298d: MSTORE
0000298e: PUSH32 0x737472696e6720636f6e7461696e7320696e76616c6964206368617261637465
000029af: PUSH1 0x44
000029b1: DUP3
000029b2: ADD
000029b3: MSTORE
000029b4: PUSH32 0x7273000000000000000000000000000000000000000000000000000000000000
000029d5: PUSH1 0x64
000029d7: DUP3
000029d8: ADD
000029d9: MSTORE
000029da: SWAP1
000029db: MLOAD
000029dc: SWAP1
000029dd: DUP2
000029de: SWAP1
000029df: SUB
000029e0: PUSH1 0x84
000029e2: ADD
000029e3: SWAP1
000029e4: REVERT
000029e5: JUMPDEST
000029e6: DUP5
000029e7: DUP3
000029e8: DUP2
000029e9: MLOAD
000029ea: DUP2
000029eb: LT
000029ec: ISZERO
000029ed: ISZERO
000029ee: PUSH2 0x29f3
000029f1: JUMPI
000029f2: INVALID
000029f3: JUMPDEST
000029f4: SWAP1
000029f5: PUSH1 0x20
000029f7: ADD
000029f8: ADD
000029f9: MLOAD
000029fa: PUSH1 0xf8
000029fc: PUSH1 0x02
000029fe: EXP
000029ff: SWAP1
00002a00: DIV
00002a01: PUSH1 0xf8
00002a03: PUSH1 0x02
00002a05: EXP
00002a06: MUL
00002a07: PUSH1 0x01
00002a09: PUSH1 0xf8
00002a0b: PUSH1 0x02
00002a0d: EXP
00002a0e: SUB
00002a0f: NOT
00002a10: AND
00002a11: PUSH1 0x20
00002a13: PUSH1 0xf8
00002a15: PUSH1 0x02
00002a17: EXP
00002a18: MUL
00002a19: EQ
00002a1a: ISZERO
00002a1b: PUSH2 0x2add
00002a1e: JUMPI
00002a1f: DUP5
00002a20: PUSH2 0x2a30
00002a23: DUP4
00002a24: PUSH1 0x01
00002a26: PUSH4 0xffffffff
00002a2b: PUSH2 0x234a
00002a2e: AND
00002a2f: JUMP
00002a30: JUMPDEST
00002a31: DUP2
00002a32: MLOAD
00002a33: DUP2
00002a34: LT
00002a35: PUSH2 0x2a3a
00002a38: JUMPI
00002a39: INVALID
00002a3a: JUMPDEST
00002a3b: SWAP1
00002a3c: PUSH1 0x20
00002a3e: ADD
00002a3f: ADD
00002a40: MLOAD
00002a41: PUSH1 0xf8
00002a43: PUSH1 0x02
00002a45: EXP
00002a46: SWAP1
00002a47: DIV
00002a48: PUSH1 0xf8
00002a4a: PUSH1 0x02
00002a4c: EXP
00002a4d: MUL
00002a4e: PUSH1 0x01
00002a50: PUSH1 0xf8
00002a52: PUSH1 0x02
00002a54: EXP
00002a55: SUB
00002a56: NOT
00002a57: AND
00002a58: PUSH1 0x20
00002a5a: PUSH1 0xf8
00002a5c: PUSH1 0x02
00002a5e: EXP
00002a5f: MUL
00002a60: EQ
00002a61: ISZERO
00002a62: ISZERO
00002a63: ISZERO
00002a64: PUSH2 0x2add
00002a67: JUMPI
00002a68: PUSH1 0x40
00002a6a: DUP1
00002a6b: MLOAD
00002a6c: PUSH1 0xe5
00002a6e: PUSH1 0x02
00002a70: EXP
00002a71: PUSH3 0x461bcd
00002a75: MUL
00002a76: DUP2
00002a77: MSTORE
00002a78: PUSH1 0x20
00002a7a: PUSH1 0x04
00002a7c: DUP3
00002a7d: ADD
00002a7e: MSTORE
00002a7f: PUSH1 0x28
00002a81: PUSH1 0x24
00002a83: DUP3
00002a84: ADD
00002a85: MSTORE
00002a86: PUSH32 0x737472696e672063616e6e6f7420636f6e7461696e20636f6e73656375746976
00002aa7: PUSH1 0x44
00002aa9: DUP3
00002aaa: ADD
00002aab: MSTORE
00002aac: PUSH32 0x6520737061636573000000000000000000000000000000000000000000000000
00002acd: PUSH1 0x64
00002acf: DUP3
00002ad0: ADD
00002ad1: MSTORE
00002ad2: SWAP1
00002ad3: MLOAD
00002ad4: SWAP1
00002ad5: DUP2
00002ad6: SWAP1
00002ad7: SUB
00002ad8: PUSH1 0x84
00002ada: ADD
00002adb: SWAP1
00002adc: REVERT
00002add: JUMPDEST
00002ade: DUP3
00002adf: ISZERO
00002ae0: DUP1
00002ae1: ISZERO
00002ae2: PUSH2 0x2b89
00002ae5: JUMPI
00002ae6: POP
00002ae7: DUP5
00002ae8: MLOAD
00002ae9: PUSH32 0x3000000000000000000000000000000000000000000000000000000000000000
00002b0a: SWAP1
00002b0b: DUP7
00002b0c: SWAP1
00002b0d: DUP5
00002b0e: SWAP1
00002b0f: DUP2
00002b10: LT
00002b11: PUSH2 0x2b16
00002b14: JUMPI
00002b15: INVALID
00002b16: JUMPDEST
00002b17: SWAP1
00002b18: PUSH1 0x20
00002b1a: ADD
00002b1b: ADD
00002b1c: MLOAD
00002b1d: PUSH1 0xf8
00002b1f: PUSH1 0x02
00002b21: EXP
00002b22: SWAP1
00002b23: DIV
00002b24: PUSH1 0xf8
00002b26: PUSH1 0x02
00002b28: EXP
00002b29: MUL
00002b2a: PUSH1 0x01
00002b2c: PUSH1 0xf8
00002b2e: PUSH1 0x02
00002b30: EXP
00002b31: SUB
00002b32: NOT
00002b33: AND
00002b34: LT
00002b35: DUP1
00002b36: PUSH2 0x2b89
00002b39: JUMPI
00002b3a: POP
00002b3b: DUP5
00002b3c: MLOAD
00002b3d: PUSH32 0x3900000000000000000000000000000000000000000000000000000000000000
00002b5e: SWAP1
00002b5f: DUP7
00002b60: SWAP1
00002b61: DUP5
00002b62: SWAP1
00002b63: DUP2
00002b64: LT
00002b65: PUSH2 0x2b6a
00002b68: JUMPI
00002b69: INVALID
00002b6a: JUMPDEST
00002b6b: SWAP1
00002b6c: PUSH1 0x20
00002b6e: ADD
00002b6f: ADD
00002b70: MLOAD
00002b71: PUSH1 0xf8
00002b73: PUSH1 0x02
00002b75: EXP
00002b76: SWAP1
00002b77: DIV
00002b78: PUSH1 0xf8
00002b7a: PUSH1 0x02
00002b7c: EXP
00002b7d: MUL
00002b7e: PUSH1 0x01
00002b80: PUSH1 0xf8
00002b82: PUSH1 0x02
00002b84: EXP
00002b85: SUB
00002b86: NOT
00002b87: AND
00002b88: GT
00002b89: JUMPDEST
00002b8a: ISZERO
00002b8b: PUSH2 0x2b93
00002b8e: JUMPI
00002b8f: PUSH1 0x01
00002b91: SWAP3
00002b92: POP
00002b93: JUMPDEST
00002b94: PUSH2 0x2ba4
00002b97: DUP3
00002b98: PUSH1 0x01
00002b9a: PUSH4 0xffffffff
00002b9f: PUSH2 0x234a
00002ba2: AND
00002ba3: JUMP
00002ba4: JUMPDEST
00002ba5: SWAP2
00002ba6: POP
00002ba7: PUSH2 0x26c8
00002baa: JUMP
00002bab: JUMPDEST
00002bac: PUSH1 0x01
00002bae: DUP4
00002baf: ISZERO
00002bb0: ISZERO
00002bb1: EQ
00002bb2: PUSH2 0x2c05
00002bb5: JUMPI
00002bb6: PUSH1 0x40
00002bb8: DUP1
00002bb9: MLOAD
00002bba: PUSH1 0xe5
00002bbc: PUSH1 0x02
00002bbe: EXP
00002bbf: PUSH3 0x461bcd
00002bc3: MUL
00002bc4: DUP2
00002bc5: MSTORE
00002bc6: PUSH1 0x20
00002bc8: PUSH1 0x04
00002bca: DUP3
00002bcb: ADD
00002bcc: MSTORE
00002bcd: PUSH1 0x1d
00002bcf: PUSH1 0x24
00002bd1: DUP3
00002bd2: ADD
00002bd3: MSTORE
00002bd4: PUSH32 0x737472696e672063616e6e6f74206265206f6e6c79206e756d62657273000000
00002bf5: PUSH1 0x44
00002bf7: DUP3
00002bf8: ADD
00002bf9: MSTORE
00002bfa: SWAP1
00002bfb: MLOAD
00002bfc: SWAP1
00002bfd: DUP2
00002bfe: SWAP1
00002bff: SUB
00002c00: PUSH1 0x64
00002c02: ADD
00002c03: SWAP1
00002c04: REVERT
00002c05: JUMPDEST
00002c06: POP
00002c07: POP
00002c08: POP
00002c09: POP
00002c0a: PUSH1 0x20
00002c0c: ADD
00002c0d: MLOAD
00002c0e: SWAP3
00002c0f: SWAP2
00002c10: POP
00002c11: POP
00002c12: JUMP
00002c13: JUMPDEST
00002c14: TIMESTAMP
00002c15: PUSH1 0x00
00002c17: PUSH2 0x2c1f
00002c1a: DUP3
00002c1b: PUSH2 0x212e
00002c1e: JUMP
00002c1f: JUMPDEST
00002c20: SWAP1
00002c21: POP
00002c22: PUSH2 0x2c29
00002c25: PUSH2 0x2369
00002c28: JUMP
00002c29: JUMPDEST
00002c2a: CALLER
00002c2b: PUSH1 0x00
00002c2d: SWAP1
00002c2e: DUP2
00002c2f: MSTORE
00002c30: PUSH1 0x09
00002c32: PUSH1 0x20
00002c34: MSTORE
00002c35: PUSH1 0x40
00002c37: SWAP1
00002c38: KECCAK256
00002c39: SLOAD
00002c3a: PUSH2 0x2c43
00002c3d: SWAP1
00002c3e: DUP5
00002c3f: PUSH2 0x2c54
00002c42: JUMP
00002c43: JUMPDEST
00002c44: PUSH2 0x2c4e
00002c47: DUP3
00002c48: DUP3
00002c49: DUP7
00002c4a: PUSH2 0x2e46
00002c4d: JUMP
00002c4e: JUMPDEST
00002c4f: POP
00002c50: POP
00002c51: POP
00002c52: POP
00002c53: JUMP
00002c54: JUMPDEST
00002c55: PUSH1 0x00
00002c57: DUP3
00002c58: DUP2
00002c59: MSTORE
00002c5a: PUSH1 0x08
00002c5c: PUSH1 0x20
00002c5e: MSTORE
00002c5f: PUSH1 0x40
00002c61: DUP2
00002c62: KECCAK256
00002c63: PUSH1 0x03
00002c65: ADD
00002c66: SLOAD
00002c67: ISZERO
00002c68: PUSH2 0x2c70
00002c6b: JUMPI
00002c6c: PUSH2 0x2e2e
00002c6f: JUMP
00002c70: JUMPDEST
00002c71: POP
00002c72: PUSH1 0x00
00002c74: DUP2
00002c75: DUP2
00002c76: MSTORE
00002c77: PUSH1 0x0a
00002c79: PUSH1 0x20
00002c7b: MSTORE
00002c7c: PUSH1 0x40
00002c7e: SWAP1
00002c7f: KECCAK256
00002c80: SLOAD
00002c81: DUP1
00002c82: ISZERO
00002c83: ISZERO
00002c84: PUSH2 0x2cfc
00002c87: JUMPI
00002c88: PUSH1 0x40
00002c8a: DUP1
00002c8b: MLOAD
00002c8c: PUSH1 0xe5
00002c8e: PUSH1 0x02
00002c90: EXP
00002c91: PUSH3 0x461bcd
00002c95: MUL
00002c96: DUP2
00002c97: MSTORE
00002c98: PUSH1 0x20
00002c9a: PUSH1 0x04
00002c9c: DUP3
00002c9d: ADD
00002c9e: MSTORE
00002c9f: PUSH1 0x24
00002ca1: DUP1
00002ca2: DUP3
00002ca3: ADD
00002ca4: MSTORE
00002ca5: PUSH32 0x796f757220696e7669746572206e616d65206d75737420626520726567697374
00002cc6: PUSH1 0x44
00002cc8: DUP3
00002cc9: ADD
00002cca: MSTORE
00002ccb: PUSH32 0x6572656400000000000000000000000000000000000000000000000000000000
00002cec: PUSH1 0x64
00002cee: DUP3
00002cef: ADD
00002cf0: MSTORE
00002cf1: SWAP1
00002cf2: MLOAD
00002cf3: SWAP1
00002cf4: DUP2
00002cf5: SWAP1
00002cf6: SUB
00002cf7: PUSH1 0x84
00002cf9: ADD
00002cfa: SWAP1
00002cfb: REVERT
00002cfc: JUMPDEST
00002cfd: PUSH1 0x00
00002cff: DUP2
00002d00: DUP2
00002d01: MSTORE
00002d02: PUSH1 0x08
00002d04: PUSH1 0x20
00002d06: MSTORE
00002d07: PUSH1 0x40
00002d09: SWAP1
00002d0a: KECCAK256
00002d0b: PUSH1 0x02
00002d0d: ADD
00002d0e: SLOAD
00002d0f: PUSH1 0xff
00002d11: AND
00002d12: ISZERO
00002d13: ISZERO
00002d14: PUSH1 0x01
00002d16: EQ
00002d17: PUSH2 0x2d6a
00002d1a: JUMPI
00002d1b: PUSH1 0x40
00002d1d: DUP1
00002d1e: MLOAD
00002d1f: PUSH1 0xe5
00002d21: PUSH1 0x02
00002d23: EXP
00002d24: PUSH3 0x461bcd
00002d28: MUL
00002d29: DUP2
00002d2a: MSTORE
00002d2b: PUSH1 0x20
00002d2d: PUSH1 0x04
00002d2f: DUP3
00002d30: ADD
00002d31: MSTORE
00002d32: PUSH1 0x1f
00002d34: PUSH1 0x24
00002d36: DUP3
00002d37: ADD
00002d38: MSTORE
00002d39: PUSH32 0x796f757220696e7669746572206d75737420656e61626c6520696e7669746500
00002d5a: PUSH1 0x44
00002d5c: DUP3
00002d5d: ADD
00002d5e: MSTORE
00002d5f: SWAP1
00002d60: MLOAD
00002d61: SWAP1
00002d62: DUP2
00002d63: SWAP1
00002d64: SUB
00002d65: PUSH1 0x64
00002d67: ADD
00002d68: SWAP1
00002d69: REVERT
00002d6a: JUMPDEST
00002d6b: DUP1
00002d6c: DUP4
00002d6d: EQ
00002d6e: ISZERO
00002d6f: PUSH2 0x2dc2
00002d72: JUMPI
00002d73: PUSH1 0x40
00002d75: DUP1
00002d76: MLOAD
00002d77: PUSH1 0xe5
00002d79: PUSH1 0x02
00002d7b: EXP
00002d7c: PUSH3 0x461bcd
00002d80: MUL
00002d81: DUP2
00002d82: MSTORE
00002d83: PUSH1 0x20
00002d85: PUSH1 0x04
00002d87: DUP3
00002d88: ADD
00002d89: MSTORE
00002d8a: PUSH1 0x1b
00002d8c: PUSH1 0x24
00002d8e: DUP3
00002d8f: ADD
00002d90: MSTORE
00002d91: PUSH32 0x796f752063616e206e6f7420696e7669746520796f757273656c660000000000
00002db2: PUSH1 0x44
00002db4: DUP3
00002db5: ADD
00002db6: MSTORE
00002db7: SWAP1
00002db8: MLOAD
00002db9: SWAP1
00002dba: DUP2
00002dbb: SWAP1
00002dbc: SUB
00002dbd: PUSH1 0x64
00002dbf: ADD
00002dc0: SWAP1
00002dc1: REVERT
00002dc2: JUMPDEST
00002dc3: PUSH1 0x00
00002dc5: DUP4
00002dc6: DUP2
00002dc7: MSTORE
00002dc8: PUSH1 0x08
00002dca: PUSH1 0x20
00002dcc: SWAP1
00002dcd: DUP2
00002dce: MSTORE
00002dcf: PUSH1 0x40
00002dd1: DUP1
00002dd2: DUP4
00002dd3: KECCAK256
00002dd4: PUSH1 0x03
00002dd6: ADD
00002dd7: DUP5
00002dd8: SWAP1
00002dd9: SSTORE
00002dda: DUP4
00002ddb: DUP4
00002ddc: MSTORE
00002ddd: SWAP2
00002dde: DUP3
00002ddf: SWAP1
00002de0: KECCAK256
00002de1: SLOAD
00002de2: DUP3
00002de3: MLOAD
00002de4: DUP7
00002de5: DUP2
00002de6: MSTORE
00002de7: CALLER
00002de8: SWAP3
00002de9: DUP2
00002dea: ADD
00002deb: SWAP3
00002dec: SWAP1
00002ded: SWAP3
00002dee: MSTORE
00002def: TIMESTAMP
00002df0: DUP3
00002df1: DUP5
00002df2: ADD
00002df3: MSTORE
00002df4: SWAP2
00002df5: MLOAD
00002df6: DUP5
00002df7: SWAP3
00002df8: PUSH1 0x01
00002dfa: PUSH1 0xa0
00002dfc: PUSH1 0x02
00002dfe: EXP
00002dff: SUB
00002e00: AND
00002e01: SWAP2
00002e02: DUP5
00002e03: SWAP2
00002e04: PUSH32 0x4c85cd8e1ec4ce0fd181c04b4a0e05765df8f66750fa3ccda80e4ad46c77cd60
00002e25: SWAP2
00002e26: DUP2
00002e27: SWAP1
00002e28: SUB
00002e29: PUSH1 0x60
00002e2b: ADD
00002e2c: SWAP1
00002e2d: LOG4
00002e2e: JUMPDEST
00002e2f: POP
00002e30: POP
00002e31: POP
00002e32: JUMP
00002e33: JUMPDEST
00002e34: PUSH1 0x04
00002e36: SLOAD
00002e37: PUSH2 0x0ce8
00002e3a: SWAP1
00002e3b: DUP3
00002e3c: PUSH4 0xffffffff
00002e41: PUSH2 0x234a
00002e44: AND
00002e45: JUMP
00002e46: JUMPDEST
00002e47: PUSH1 0x00
00002e49: DUP1
00002e4a: PUSH2 0x2e5e
00002e4d: DUP4
00002e4e: PUSH1 0x06
00002e50: SLOAD
00002e51: PUSH2 0x234a
00002e54: SWAP1
00002e55: SWAP2
00002e56: SWAP1
00002e57: PUSH4 0xffffffff
00002e5c: AND
00002e5d: JUMP
00002e5e: JUMPDEST
00002e5f: PUSH1 0x06
00002e61: SSTORE
00002e62: PUSH2 0x2e7f
00002e65: PUSH2 0x2e7a
00002e68: PUSH1 0x64
00002e6a: PUSH2 0x2151
00002e6d: DUP7
00002e6e: PUSH1 0x14
00002e70: PUSH4 0xffffffff
00002e75: PUSH2 0x31f3
00002e78: AND
00002e79: JUMP
00002e7a: JUMPDEST
00002e7b: PUSH2 0x2e33
00002e7e: JUMP
00002e7f: JUMPDEST
00002e80: CALLER
00002e81: PUSH1 0x00
00002e83: SWAP1
00002e84: DUP2
00002e85: MSTORE
00002e86: PUSH1 0x09
00002e88: PUSH1 0x20
00002e8a: MSTORE
00002e8b: PUSH1 0x40
00002e8d: SWAP1
00002e8e: KECCAK256
00002e8f: SLOAD
00002e90: PUSH1 0x0c
00002e92: SLOAD
00002e93: SWAP1
00002e94: SWAP3
00002e95: POP
00002e96: PUSH2 0x2ea6
00002e99: SWAP1
00002e9a: PUSH1 0x01
00002e9c: PUSH4 0xffffffff
00002ea1: PUSH2 0x234a
00002ea4: AND
00002ea5: JUMP
00002ea6: JUMPDEST
00002ea7: PUSH1 0x0c
00002ea9: DUP2
00002eaa: DUP2
00002eab: SSTORE
00002eac: PUSH1 0x00
00002eae: SWAP2
00002eaf: DUP3
00002eb0: MSTORE
00002eb1: PUSH1 0x0d
00002eb3: PUSH1 0x20
00002eb5: SWAP1
00002eb6: DUP2
00002eb7: MSTORE
00002eb8: PUSH1 0x40
00002eba: DUP1
00002ebb: DUP5
00002ebc: KECCAK256
00002ebd: DUP7
00002ebe: SWAP1
00002ebf: SSTORE
00002ec0: DUP3
00002ec1: SLOAD
00002ec2: DUP5
00002ec3: MSTORE
00002ec4: DUP1
00002ec5: DUP5
00002ec6: KECCAK256
00002ec7: PUSH1 0x01
00002ec9: SWAP1
00002eca: DUP2
00002ecb: ADD
00002ecc: DUP11
00002ecd: SWAP1
00002ece: SSTORE
00002ecf: DUP4
00002ed0: SLOAD
00002ed1: DUP6
00002ed2: MSTORE
00002ed3: DUP2
00002ed4: DUP6
00002ed5: KECCAK256
00002ed6: PUSH1 0x02
00002ed8: ADD
00002ed9: DUP10
00002eda: SWAP1
00002edb: SSTORE
00002edc: DUP4
00002edd: SLOAD
00002ede: DUP6
00002edf: MSTORE
00002ee0: DUP2
00002ee1: DUP6
00002ee2: KECCAK256
00002ee3: PUSH1 0x03
00002ee5: SWAP1
00002ee6: DUP2
00002ee7: ADD
00002ee8: DUP10
00002ee9: SWAP1
00002eea: SSTORE
00002eeb: DUP8
00002eec: DUP7
00002eed: MSTORE
00002eee: PUSH1 0x08
00002ef0: DUP5
00002ef1: MSTORE
00002ef2: SWAP2
00002ef3: DUP6
00002ef4: KECCAK256
00002ef5: SWAP4
00002ef6: SLOAD
00002ef7: PUSH1 0x09
00002ef9: SWAP1
00002efa: SWAP5
00002efb: ADD
00002efc: DUP1
00002efd: SLOAD
00002efe: SWAP2
00002eff: DUP3
00002f00: ADD
00002f01: DUP2
00002f02: SSTORE
00002f03: DUP6
00002f04: MSTORE
00002f05: SWAP2
00002f06: DUP5
00002f07: KECCAK256
00002f08: SWAP1
00002f09: SWAP2
00002f0a: ADD
00002f0b: SWAP2
00002f0c: SWAP1
00002f0d: SWAP2
00002f0e: SSTORE
00002f0f: PUSH1 0x0e
00002f11: SWAP2
00002f12: SWAP1
00002f13: PUSH2 0x2f23
00002f16: SWAP1
00002f17: DUP8
00002f18: SWAP1
00002f19: PUSH4 0xffffffff
00002f1e: PUSH2 0x234a
00002f21: AND
00002f22: JUMP
00002f23: JUMPDEST
00002f24: DUP2
00002f25: MSTORE
00002f26: PUSH1 0x20
00002f28: DUP1
00002f29: DUP3
00002f2a: ADD
00002f2b: SWAP3
00002f2c: SWAP1
00002f2d: SWAP3
00002f2e: MSTORE
00002f2f: PUSH1 0x40
00002f31: ADD
00002f32: PUSH1 0x00
00002f34: SWAP1
00002f35: DUP2
00002f36: KECCAK256
00002f37: PUSH1 0x0c
00002f39: SLOAD
00002f3a: DUP2
00002f3b: SLOAD
00002f3c: PUSH1 0x01
00002f3e: DUP2
00002f3f: ADD
00002f40: DUP4
00002f41: SSTORE
00002f42: SWAP2
00002f43: DUP4
00002f44: MSTORE
00002f45: SWAP3
00002f46: DUP3
00002f47: KECCAK256
00002f48: ADD
00002f49: SWAP2
00002f4a: SWAP1
00002f4b: SWAP2
00002f4c: SSTORE
00002f4d: PUSH1 0x0e
00002f4f: SWAP1
00002f50: PUSH2 0x2f60
00002f53: DUP7
00002f54: PUSH1 0x04
00002f56: PUSH4 0xffffffff
00002f5b: PUSH2 0x234a
00002f5e: AND
00002f5f: JUMP
00002f60: JUMPDEST
00002f61: DUP2
00002f62: MSTORE
00002f63: PUSH1 0x20
00002f65: DUP1
00002f66: DUP3
00002f67: ADD
00002f68: SWAP3
00002f69: SWAP1
00002f6a: SWAP3
00002f6b: MSTORE
00002f6c: PUSH1 0x40
00002f6e: ADD
00002f6f: PUSH1 0x00
00002f71: SWAP1
00002f72: DUP2
00002f73: KECCAK256
00002f74: PUSH1 0x0c
00002f76: SLOAD
00002f77: DUP2
00002f78: SLOAD
00002f79: PUSH1 0x01
00002f7b: DUP2
00002f7c: ADD
00002f7d: DUP4
00002f7e: SSTORE
00002f7f: SWAP2
00002f80: DUP4
00002f81: MSTORE
00002f82: SWAP3
00002f83: DUP3
00002f84: KECCAK256
00002f85: ADD
00002f86: SWAP2
00002f87: SWAP1
00002f88: SWAP2
00002f89: SSTORE
00002f8a: PUSH1 0x0e
00002f8c: SWAP1
00002f8d: PUSH2 0x2f9d
00002f90: DUP7
00002f91: PUSH1 0x05
00002f93: PUSH4 0xffffffff
00002f98: PUSH2 0x234a
00002f9b: AND
00002f9c: JUMP
00002f9d: JUMPDEST
00002f9e: DUP2
00002f9f: MSTORE
00002fa0: PUSH1 0x20
00002fa2: DUP1
00002fa3: DUP3
00002fa4: ADD
00002fa5: SWAP3
00002fa6: SWAP1
00002fa7: SWAP3
00002fa8: MSTORE
00002fa9: PUSH1 0x40
00002fab: ADD
00002fac: PUSH1 0x00
00002fae: SWAP1
00002faf: DUP2
00002fb0: KECCAK256
00002fb1: PUSH1 0x0c
00002fb3: SLOAD
00002fb4: DUP2
00002fb5: SLOAD
00002fb6: PUSH1 0x01
00002fb8: DUP2
00002fb9: ADD
00002fba: DUP4
00002fbb: SSTORE
00002fbc: SWAP2
00002fbd: DUP4
00002fbe: MSTORE
00002fbf: SWAP3
00002fc0: DUP3
00002fc1: KECCAK256
00002fc2: ADD
00002fc3: SWAP2
00002fc4: SWAP1
00002fc5: SWAP2
00002fc6: SSTORE
00002fc7: PUSH1 0x0e
00002fc9: SWAP1
00002fca: PUSH2 0x2fda
00002fcd: DUP7
00002fce: PUSH1 0x06
00002fd0: PUSH4 0xffffffff
00002fd5: PUSH2 0x234a
00002fd8: AND
00002fd9: JUMP
00002fda: JUMPDEST
00002fdb: DUP2
00002fdc: MSTORE
00002fdd: PUSH1 0x20
00002fdf: DUP1
00002fe0: DUP3
00002fe1: ADD
00002fe2: SWAP3
00002fe3: SWAP1
00002fe4: SWAP3
00002fe5: MSTORE
00002fe6: PUSH1 0x40
00002fe8: ADD
00002fe9: PUSH1 0x00
00002feb: SWAP1
00002fec: DUP2
00002fed: KECCAK256
00002fee: PUSH1 0x0c
00002ff0: SLOAD
00002ff1: DUP2
00002ff2: SLOAD
00002ff3: PUSH1 0x01
00002ff5: DUP2
00002ff6: ADD
00002ff7: DUP4
00002ff8: SSTORE
00002ff9: SWAP2
00002ffa: DUP4
00002ffb: MSTORE
00002ffc: SWAP3
00002ffd: DUP3
00002ffe: KECCAK256
00002fff: ADD
00003000: SWAP2
00003001: SWAP1
00003002: SWAP2
00003003: SSTORE
00003004: PUSH1 0x0e
00003006: SWAP1
00003007: PUSH2 0x3017
0000300a: DUP7
0000300b: PUSH1 0x07
0000300d: PUSH4 0xffffffff
00003012: PUSH2 0x234a
00003015: AND
00003016: JUMP
00003017: JUMPDEST
00003018: DUP2
00003019: MSTORE
0000301a: PUSH1 0x20
0000301c: DUP1
0000301d: DUP3
0000301e: ADD
0000301f: SWAP3
00003020: SWAP1
00003021: SWAP3
00003022: MSTORE
00003023: PUSH1 0x40
00003025: ADD
00003026: PUSH1 0x00
00003028: SWAP1
00003029: DUP2
0000302a: KECCAK256
0000302b: PUSH1 0x0c
0000302d: SLOAD
0000302e: DUP2
0000302f: SLOAD
00003030: PUSH1 0x01
00003032: DUP2
00003033: ADD
00003034: DUP4
00003035: SSTORE
00003036: SWAP2
00003037: DUP4
00003038: MSTORE
00003039: SWAP3
0000303a: DUP3
0000303b: KECCAK256
0000303c: ADD
0000303d: SWAP2
0000303e: SWAP1
0000303f: SWAP2
00003040: SSTORE
00003041: PUSH1 0x0e
00003043: SWAP1
00003044: PUSH2 0x3054
00003047: DUP7
00003048: PUSH1 0x08
0000304a: PUSH4 0xffffffff
0000304f: PUSH2 0x234a
00003052: AND
00003053: JUMP
00003054: JUMPDEST
00003055: DUP2
00003056: MSTORE
00003057: PUSH1 0x20
00003059: DUP1
0000305a: DUP3
0000305b: ADD
0000305c: SWAP3
0000305d: SWAP1
0000305e: SWAP3
0000305f: MSTORE
00003060: PUSH1 0x40
00003062: ADD
00003063: PUSH1 0x00
00003065: SWAP1
00003066: DUP2
00003067: KECCAK256
00003068: PUSH1 0x0c
0000306a: SLOAD
0000306b: DUP2
0000306c: SLOAD
0000306d: PUSH1 0x01
0000306f: DUP2
00003070: ADD
00003071: DUP4
00003072: SSTORE
00003073: SWAP2
00003074: DUP4
00003075: MSTORE
00003076: SWAP3
00003077: DUP3
00003078: KECCAK256
00003079: ADD
0000307a: SWAP2
0000307b: SWAP1
0000307c: SWAP2
0000307d: SSTORE
0000307e: PUSH1 0x0e
00003080: SWAP1
00003081: PUSH2 0x3091
00003084: DUP7
00003085: PUSH1 0x09
00003087: PUSH4 0xffffffff
0000308c: PUSH2 0x234a
0000308f: AND
00003090: JUMP
00003091: JUMPDEST
00003092: DUP2
00003093: MSTORE
00003094: PUSH1 0x20
00003096: DUP1
00003097: DUP3
00003098: ADD
00003099: SWAP3
0000309a: SWAP1
0000309b: SWAP3
0000309c: MSTORE
0000309d: PUSH1 0x40
0000309f: ADD
000030a0: PUSH1 0x00
000030a2: SWAP1
000030a3: DUP2
000030a4: KECCAK256
000030a5: PUSH1 0x0c
000030a7: SLOAD
000030a8: DUP2
000030a9: SLOAD
000030aa: PUSH1 0x01
000030ac: DUP2
000030ad: ADD
000030ae: DUP4
000030af: SSTORE
000030b0: SWAP2
000030b1: DUP4
000030b2: MSTORE
000030b3: SWAP3
000030b4: SWAP1
000030b5: SWAP2
000030b6: KECCAK256
000030b7: ADD
000030b8: SSTORE
000030b9: POP
000030ba: PUSH1 0x32
000030bc: PUSH2 0x3107
000030bf: DUP3
000030c0: PUSH2 0x30d5
000030c3: PUSH1 0x64
000030c5: PUSH2 0x2151
000030c8: DUP8
000030c9: PUSH1 0x05
000030cb: PUSH4 0xffffffff
000030d0: PUSH2 0x31f3
000030d3: AND
000030d4: JUMP
000030d5: JUMPDEST
000030d6: PUSH2 0x30eb
000030d9: PUSH1 0x64
000030db: PUSH2 0x2151
000030de: DUP9
000030df: PUSH1 0x02
000030e1: PUSH4 0xffffffff
000030e6: PUSH2 0x31f3
000030e9: AND
000030ea: JUMP
000030eb: JUMPDEST
000030ec: PUSH2 0x3101
000030ef: PUSH1 0x64
000030f1: PUSH2 0x2151
000030f4: DUP10
000030f5: PUSH1 0x01
000030f7: PUSH4 0xffffffff
000030fc: PUSH2 0x31f3
000030ff: AND
00003100: JUMP
00003101: JUMPDEST
00003102: DUP6
00003103: PUSH2 0x321c
00003106: JUMP
00003107: JUMPDEST
00003108: PUSH1 0x10
0000310a: SLOAD
0000310b: SWAP1
0000310c: SWAP2
0000310d: POP
0000310e: PUSH21 0x010000000000000000000000000000000000000000
00003124: SWAP1
00003125: DIV
00003126: PUSH1 0xff
00003128: AND
00003129: ISZERO
0000312a: PUSH2 0x314a
0000312d: JUMPI
0000312e: PUSH2 0x3145
00003131: PUSH2 0x2e7a
00003134: PUSH1 0x64
00003136: PUSH2 0x2151
00003139: DUP7
0000313a: DUP6
0000313b: PUSH4 0xffffffff
00003140: PUSH2 0x31f3
00003143: AND
00003144: JUMP
00003145: JUMPDEST
00003146: PUSH2 0x3168
00003149: JUMP
0000314a: JUMPDEST
0000314b: PUSH2 0x3168
0000314e: DUP5
0000314f: PUSH2 0x3163
00003152: PUSH1 0x64
00003154: PUSH2 0x2151
00003157: DUP8
00003158: DUP7
00003159: PUSH4 0xffffffff
0000315e: PUSH2 0x31f3
00003161: AND
00003162: JUMP
00003163: JUMPDEST
00003164: PUSH2 0x33de
00003167: JUMP
00003168: JUMPDEST
00003169: PUSH1 0x0c
0000316b: SLOAD
0000316c: PUSH1 0x00
0000316e: DUP4
0000316f: DUP2
00003170: MSTORE
00003171: PUSH1 0x08
00003173: PUSH1 0x20
00003175: SWAP1
00003176: DUP2
00003177: MSTORE
00003178: PUSH1 0x40
0000317a: DUP1
0000317b: DUP4
0000317c: KECCAK256
0000317d: PUSH1 0x03
0000317f: ADD
00003180: SLOAD
00003181: DUP4
00003182: MSTORE
00003183: SWAP2
00003184: DUP3
00003185: SWAP1
00003186: KECCAK256
00003187: SLOAD
00003188: DUP3
00003189: MLOAD
0000318a: SWAP4
0000318b: DUP5
0000318c: MSTORE
0000318d: SWAP1
0000318e: DUP4
0000318f: ADD
00003190: DUP7
00003191: SWAP1
00003192: MSTORE
00003193: PUSH1 0x01
00003195: PUSH1 0xa0
00003197: PUSH1 0x02
00003199: EXP
0000319a: SUB
0000319b: AND
0000319c: DUP3
0000319d: DUP3
0000319e: ADD
0000319f: MSTORE
000031a0: TIMESTAMP
000031a1: PUSH1 0x60
000031a3: DUP4
000031a4: ADD
000031a5: MSTORE
000031a6: MLOAD
000031a7: DUP6
000031a8: SWAP2
000031a9: CALLER
000031aa: SWAP2
000031ab: DUP6
000031ac: SWAP2
000031ad: PUSH32 0x0605cb6cb9e08f17fd9bd8c158ac65bc94303202554e17b9b8fc4ef6c5e002e3
000031ce: SWAP2
000031cf: SWAP1
000031d0: DUP2
000031d1: SWAP1
000031d2: SUB
000031d3: PUSH1 0x80
000031d5: ADD
000031d6: SWAP1
000031d7: LOG4
000031d8: POP
000031d9: POP
000031da: POP
000031db: POP
000031dc: POP
000031dd: JUMP
000031de: JUMPDEST
000031df: PUSH1 0x00
000031e1: DUP2
000031e2: DUP4
000031e3: DUP2
000031e4: ISZERO
000031e5: ISZERO
000031e6: PUSH2 0x31eb
000031e9: JUMPI
000031ea: INVALID
000031eb: JUMPDEST
000031ec: DIV
000031ed: SWAP4
000031ee: SWAP3
000031ef: POP
000031f0: POP
000031f1: POP
000031f2: JUMP
000031f3: JUMPDEST
000031f4: PUSH1 0x00
000031f6: DUP3
000031f7: ISZERO
000031f8: ISZERO
000031f9: PUSH2 0x3204
000031fc: JUMPI
000031fd: POP
000031fe: PUSH1 0x00
00003200: PUSH2 0x215d
00003203: JUMP
00003204: JUMPDEST
00003205: POP
00003206: DUP2
00003207: DUP2
00003208: MUL
00003209: DUP2
0000320a: DUP4
0000320b: DUP3
0000320c: DUP2
0000320d: ISZERO
0000320e: ISZERO
0000320f: PUSH2 0x3214
00003212: JUMPI
00003213: INVALID
00003214: JUMPDEST
00003215: DIV
00003216: EQ
00003217: PUSH2 0x215d
0000321a: JUMPI
0000321b: INVALID
0000321c: JUMPDEST
0000321d: PUSH1 0x00
0000321f: DUP6
00003220: DUP2
00003221: MSTORE
00003222: PUSH1 0x08
00003224: PUSH1 0x20
00003226: MSTORE
00003227: PUSH1 0x40
00003229: DUP1
0000322a: DUP3
0000322b: KECCAK256
0000322c: PUSH1 0x03
0000322e: ADD
0000322f: SLOAD
00003230: DUP1
00003231: DUP4
00003232: MSTORE
00003233: SWAP1
00003234: DUP3
00003235: KECCAK256
00003236: PUSH1 0x02
00003238: ADD
00003239: SLOAD
0000323a: DUP3
0000323b: SWAP1
0000323c: DUP2
0000323d: SWAP1
0000323e: PUSH1 0xff
00003240: AND
00003241: ISZERO
00003242: PUSH2 0x32f5
00003245: JUMPI
00003246: PUSH1 0x00
00003248: DUP4
00003249: DUP2
0000324a: MSTORE
0000324b: PUSH1 0x08
0000324d: PUSH1 0x20
0000324f: MSTORE
00003250: PUSH1 0x40
00003252: SWAP1
00003253: KECCAK256
00003254: PUSH1 0x05
00003256: ADD
00003257: SLOAD
00003258: PUSH2 0x3267
0000325b: SWAP1
0000325c: DUP10
0000325d: PUSH4 0xffffffff
00003262: PUSH2 0x234a
00003265: AND
00003266: JUMP
00003267: JUMPDEST
00003268: PUSH1 0x00
0000326a: DUP5
0000326b: DUP2
0000326c: MSTORE
0000326d: PUSH1 0x08
0000326f: PUSH1 0x20
00003271: SWAP1
00003272: DUP2
00003273: MSTORE
00003274: PUSH1 0x40
00003276: DUP1
00003277: DUP4
00003278: KECCAK256
00003279: PUSH1 0x05
0000327b: ADD
0000327c: SWAP4
0000327d: SWAP1
0000327e: SWAP4
0000327f: SSTORE
00003280: DUP12
00003281: DUP3
00003282: MSTORE
00003283: PUSH1 0x0b
00003285: SWAP1
00003286: MSTORE
00003287: KECCAK256
00003288: SLOAD
00003289: ISZERO
0000328a: ISZERO
0000328b: PUSH2 0x32b3
0000328e: JUMPI
0000328f: PUSH1 0x00
00003291: DUP4
00003292: DUP2
00003293: MSTORE
00003294: PUSH1 0x08
00003296: PUSH1 0x20
00003298: SWAP1
00003299: DUP2
0000329a: MSTORE
0000329b: PUSH1 0x40
0000329d: DUP3
0000329e: KECCAK256
0000329f: PUSH1 0x04
000032a1: ADD
000032a2: DUP1
000032a3: SLOAD
000032a4: PUSH1 0x01
000032a6: DUP2
000032a7: ADD
000032a8: DUP3
000032a9: SSTORE
000032aa: SWAP1
000032ab: DUP4
000032ac: MSTORE
000032ad: SWAP2
000032ae: KECCAK256
000032af: ADD
000032b0: DUP10
000032b1: SWAP1
000032b2: SSTORE
000032b3: JUMPDEST
000032b4: PUSH1 0x00
000032b6: DUP10
000032b7: DUP2
000032b8: MSTORE
000032b9: PUSH1 0x0b
000032bb: PUSH1 0x20
000032bd: MSTORE
000032be: PUSH1 0x40
000032c0: SWAP1
000032c1: KECCAK256
000032c2: SLOAD
000032c3: PUSH2 0x32d2
000032c6: SWAP1
000032c7: DUP10
000032c8: PUSH4 0xffffffff
000032cd: PUSH2 0x234a
000032d0: AND
000032d1: JUMP
000032d2: JUMPDEST
000032d3: PUSH1 0x00
000032d5: DUP11
000032d6: DUP2
000032d7: MSTORE
000032d8: PUSH1 0x0b
000032da: PUSH1 0x20
000032dc: MSTORE
000032dd: PUSH1 0x40
000032df: SWAP1
000032e0: KECCAK256
000032e1: SSTORE
000032e2: PUSH2 0x32f2
000032e5: DUP6
000032e6: PUSH1 0x05
000032e8: PUSH4 0xffffffff
000032ed: PUSH2 0x2357
000032f0: AND
000032f1: JUMP
000032f2: JUMPDEST
000032f3: SWAP5
000032f4: POP
000032f5: JUMPDEST
000032f6: PUSH1 0x00
000032f8: DUP4
000032f9: DUP2
000032fa: MSTORE
000032fb: PUSH1 0x08
000032fd: PUSH1 0x20
000032ff: MSTORE
00003300: PUSH1 0x40
00003302: DUP1
00003303: DUP3
00003304: KECCAK256
00003305: PUSH1 0x03
00003307: ADD
00003308: SLOAD
00003309: DUP1
0000330a: DUP4
0000330b: MSTORE
0000330c: SWAP2
0000330d: KECCAK256
0000330e: PUSH1 0x02
00003310: ADD
00003311: SLOAD
00003312: SWAP1
00003313: SWAP3
00003314: POP
00003315: PUSH1 0xff
00003317: AND
00003318: ISZERO
00003319: PUSH2 0x3364
0000331c: JUMPI
0000331d: PUSH1 0x00
0000331f: DUP3
00003320: DUP2
00003321: MSTORE
00003322: PUSH1 0x08
00003324: PUSH1 0x20
00003326: MSTORE
00003327: PUSH1 0x40
00003329: SWAP1
0000332a: KECCAK256
0000332b: PUSH1 0x06
0000332d: ADD
0000332e: SLOAD
0000332f: PUSH2 0x333e
00003332: SWAP1
00003333: DUP9
00003334: PUSH4 0xffffffff
00003339: PUSH2 0x234a
0000333c: AND
0000333d: JUMP
0000333e: JUMPDEST
0000333f: PUSH1 0x00
00003341: DUP4
00003342: DUP2
00003343: MSTORE
00003344: PUSH1 0x08
00003346: PUSH1 0x20
00003348: MSTORE
00003349: PUSH1 0x40
0000334b: SWAP1
0000334c: KECCAK256
0000334d: PUSH1 0x06
0000334f: ADD
00003350: SSTORE
00003351: PUSH2 0x3361
00003354: DUP6
00003355: PUSH1 0x02
00003357: PUSH4 0xffffffff
0000335c: PUSH2 0x2357
0000335f: AND
00003360: JUMP
00003361: JUMPDEST
00003362: SWAP5
00003363: POP
00003364: JUMPDEST
00003365: POP
00003366: PUSH1 0x00
00003368: DUP2
00003369: DUP2
0000336a: MSTORE
0000336b: PUSH1 0x08
0000336d: PUSH1 0x20
0000336f: MSTORE
00003370: PUSH1 0x40
00003372: DUP1
00003373: DUP3
00003374: KECCAK256
00003375: PUSH1 0x03
00003377: ADD
00003378: SLOAD
00003379: DUP1
0000337a: DUP4
0000337b: MSTORE
0000337c: SWAP2
0000337d: KECCAK256
0000337e: PUSH1 0x02
00003380: ADD
00003381: SLOAD
00003382: PUSH1 0xff
00003384: AND
00003385: ISZERO
00003386: PUSH2 0x33d1
00003389: JUMPI
0000338a: PUSH1 0x00
0000338c: DUP2
0000338d: DUP2
0000338e: MSTORE
0000338f: PUSH1 0x08
00003391: PUSH1 0x20
00003393: MSTORE
00003394: PUSH1 0x40
00003396: SWAP1
00003397: KECCAK256
00003398: PUSH1 0x07
0000339a: ADD
0000339b: SLOAD
0000339c: PUSH2 0x33ab
0000339f: SWAP1
000033a0: DUP8
000033a1: PUSH4 0xffffffff
000033a6: PUSH2 0x234a
000033a9: AND
000033aa: JUMP
000033ab: JUMPDEST
000033ac: PUSH1 0x00
000033ae: DUP3
000033af: DUP2
000033b0: MSTORE
000033b1: PUSH1 0x08
000033b3: PUSH1 0x20
000033b5: MSTORE
000033b6: PUSH1 0x40
000033b8: SWAP1
000033b9: KECCAK256
000033ba: PUSH1 0x07
000033bc: ADD
000033bd: SSTORE
000033be: PUSH2 0x33ce
000033c1: DUP6
000033c2: PUSH1 0x01
000033c4: PUSH4 0xffffffff
000033c9: PUSH2 0x2357
000033cc: AND
000033cd: JUMP
000033ce: JUMPDEST
000033cf: SWAP5
000033d0: POP
000033d1: JUMPDEST
000033d2: POP
000033d3: SWAP3
000033d4: SWAP8
000033d5: SWAP7
000033d6: POP
000033d7: POP
000033d8: POP
000033d9: POP
000033da: POP
000033db: POP
000033dc: POP
000033dd: JUMP
000033de: JUMPDEST
000033df: PUSH1 0x00
000033e1: DUP2
000033e2: GT
000033e3: ISZERO
000033e4: PUSH2 0x3455
000033e7: JUMPI
000033e8: JUMPDEST
000033e9: PUSH1 0x00
000033eb: DUP3
000033ec: DUP2
000033ed: MSTORE
000033ee: PUSH1 0x0e
000033f0: PUSH1 0x20
000033f2: SWAP1
000033f3: DUP2
000033f4: MSTORE
000033f5: PUSH1 0x40
000033f7: DUP1
000033f8: DUP4
000033f9: KECCAK256
000033fa: SLOAD
000033fb: PUSH1 0x0f
000033fd: SWAP1
000033fe: SWAP3
000033ff: MSTORE
00003400: SWAP1
00003401: SWAP2
00003402: KECCAK256
00003403: SLOAD
00003404: LT
00003405: DUP1
00003406: ISZERO
00003407: PUSH2 0x3410
0000340a: JUMPI
0000340b: POP
0000340c: PUSH1 0x00
0000340e: DUP2
0000340f: GT
00003410: JUMPDEST
00003411: ISZERO
00003412: PUSH2 0x344a
00003415: JUMPI
00003416: PUSH1 0x00
00003418: DUP3
00003419: DUP2
0000341a: MSTORE
0000341b: PUSH1 0x0f
0000341d: PUSH1 0x20
0000341f: MSTORE
00003420: PUSH1 0x40
00003422: SWAP1
00003423: KECCAK256
00003424: SLOAD
00003425: PUSH2 0x3431
00003428: SWAP1
00003429: DUP4
0000342a: SWAP1
0000342b: DUP4
0000342c: SWAP1
0000342d: PUSH2 0x3459
00003430: JUMP
00003431: JUMPDEST
00003432: PUSH1 0x00
00003434: DUP5
00003435: DUP2
00003436: MSTORE
00003437: PUSH1 0x0f
00003439: PUSH1 0x20
0000343b: MSTORE
0000343c: PUSH1 0x40
0000343e: SWAP1
0000343f: KECCAK256
00003440: SWAP2
00003441: SWAP1
00003442: SWAP2
00003443: SSTORE
00003444: SWAP1
00003445: POP
00003446: PUSH2 0x33e8
00003449: JUMP
0000344a: JUMPDEST
0000344b: PUSH1 0x01
0000344d: SWAP1
0000344e: SWAP2
0000344f: ADD
00003450: SWAP1
00003451: PUSH2 0x33de
00003454: JUMP
00003455: JUMPDEST
00003456: POP
00003457: POP
00003458: JUMP
00003459: JUMPDEST
0000345a: PUSH1 0x00
0000345c: DUP1
0000345d: PUSH1 0x00
0000345f: DUP1
00003460: PUSH1 0x00
00003462: DUP1
00003463: PUSH1 0x0e
00003465: PUSH1 0x00
00003467: DUP11
00003468: DUP2
00003469: MSTORE
0000346a: PUSH1 0x20
0000346c: ADD
0000346d: SWAP1
0000346e: DUP2
0000346f: MSTORE
00003470: PUSH1 0x20
00003472: ADD
00003473: PUSH1 0x00
00003475: KECCAK256
00003476: DUP8
00003477: DUP2
00003478: SLOAD
00003479: DUP2
0000347a: LT
0000347b: ISZERO
0000347c: ISZERO
0000347d: PUSH2 0x3482
00003480: JUMPI
00003481: INVALID
00003482: JUMPDEST
00003483: SWAP1
00003484: PUSH1 0x00
00003486: MSTORE
00003487: PUSH1 0x20
00003489: PUSH1 0x00
0000348b: KECCAK256
0000348c: ADD
0000348d: SLOAD
0000348e: SWAP4
0000348f: POP
00003490: PUSH2 0x34bd
00003493: PUSH1 0x03
00003495: PUSH2 0x1488
00003498: PUSH1 0x0d
0000349a: PUSH1 0x00
0000349c: DUP9
0000349d: DUP2
0000349e: MSTORE
0000349f: PUSH1 0x20
000034a1: ADD
000034a2: SWAP1
000034a3: DUP2
000034a4: MSTORE
000034a5: PUSH1 0x20
000034a7: ADD
000034a8: PUSH1 0x00
000034aa: KECCAK256
000034ab: PUSH1 0x02
000034ad: ADD
000034ae: SLOAD
000034af: DUP13
000034b0: PUSH2 0x2357
000034b3: SWAP1
000034b4: SWAP2
000034b5: SWAP1
000034b6: PUSH4 0xffffffff
000034bb: AND
000034bc: JUMP
000034bd: JUMPDEST
000034be: SWAP3
000034bf: POP
000034c0: PUSH1 0x00
000034c2: DUP4
000034c3: LT
000034c4: ISZERO
000034c5: DUP1
000034c6: ISZERO
000034c7: PUSH2 0x34d0
000034ca: JUMPI
000034cb: POP
000034cc: PUSH1 0x07
000034ce: DUP4
000034cf: LT
000034d0: JUMPDEST
000034d1: ISZERO
000034d2: ISZERO
000034d3: PUSH2 0x3526
000034d6: JUMPI
000034d7: PUSH1 0x40
000034d9: DUP1
000034da: MLOAD
000034db: PUSH1 0xe5
000034dd: PUSH1 0x02
000034df: EXP
000034e0: PUSH3 0x461bcd
000034e4: MUL
000034e5: DUP2
000034e6: MSTORE
000034e7: PUSH1 0x20
000034e9: PUSH1 0x04
000034eb: DUP3
000034ec: ADD
000034ed: MSTORE
000034ee: PUSH1 0x12
000034f0: PUSH1 0x24
000034f2: DUP3
000034f3: ADD
000034f4: MSTORE
000034f5: PUSH32 0x6572726f7220726566756e6420696e6465780000000000000000000000000000
00003516: PUSH1 0x44
00003518: DUP3
00003519: ADD
0000351a: MSTORE
0000351b: SWAP1
0000351c: MLOAD
0000351d: SWAP1
0000351e: DUP2
0000351f: SWAP1
00003520: SUB
00003521: PUSH1 0x64
00003523: ADD
00003524: SWAP1
00003525: REVERT
00003526: JUMPDEST
00003527: DUP3
00003528: ISZERO
00003529: DUP1
0000352a: PUSH2 0x3533
0000352d: JUMPI
0000352e: POP
0000352f: DUP3
00003530: PUSH1 0x01
00003532: EQ
00003533: JUMPDEST
00003534: ISZERO
00003535: PUSH2 0x3569
00003538: JUMPI
00003539: PUSH1 0x00
0000353b: DUP5
0000353c: DUP2
0000353d: MSTORE
0000353e: PUSH1 0x0d
00003540: PUSH1 0x20
00003542: MSTORE
00003543: PUSH1 0x40
00003545: SWAP1
00003546: KECCAK256
00003547: PUSH1 0x03
00003549: ADD
0000354a: SLOAD
0000354b: PUSH2 0x3562
0000354e: SWAP1
0000354f: PUSH1 0x64
00003551: SWAP1
00003552: PUSH2 0x2151
00003555: SWAP1
00003556: PUSH1 0x0f
00003558: PUSH4 0xffffffff
0000355d: PUSH2 0x31f3
00003560: AND
00003561: JUMP
00003562: JUMPDEST
00003563: SWAP2
00003564: POP
00003565: PUSH2 0x3596
00003568: JUMP
00003569: JUMPDEST
0000356a: PUSH1 0x00
0000356c: DUP5
0000356d: DUP2
0000356e: MSTORE
0000356f: PUSH1 0x0d
00003571: PUSH1 0x20
00003573: MSTORE
00003574: PUSH1 0x40
00003576: SWAP1
00003577: KECCAK256
00003578: PUSH1 0x03
0000357a: ADD
0000357b: SLOAD
0000357c: PUSH2 0x3593
0000357f: SWAP1
00003580: PUSH1 0x64
00003582: SWAP1
00003583: PUSH2 0x2151
00003586: SWAP1
00003587: PUSH1 0x0a
00003589: PUSH4 0xffffffff
0000358e: PUSH2 0x31f3
00003591: AND
00003592: JUMP
00003593: JUMPDEST
00003594: SWAP2
00003595: POP
00003596: JUMPDEST
00003597: PUSH1 0x00
00003599: DUP5
0000359a: DUP2
0000359b: MSTORE
0000359c: PUSH1 0x0d
0000359e: PUSH1 0x20
000035a0: MSTORE
000035a1: PUSH1 0x40
000035a3: SWAP1
000035a4: KECCAK256
000035a5: PUSH2 0x35c5
000035a8: SWAP1
000035a9: PUSH1 0x04
000035ab: ADD
000035ac: DUP5
000035ad: PUSH1 0x07
000035af: DUP2
000035b0: LT
000035b1: PUSH2 0x35b6
000035b4: JUMPI
000035b5: INVALID
000035b6: JUMPDEST
000035b7: ADD
000035b8: SLOAD
000035b9: DUP4
000035ba: SWAP1
000035bb: PUSH4 0xffffffff
000035c0: PUSH2 0x2357
000035c3: AND
000035c4: JUMP
000035c5: JUMPDEST
000035c6: SWAP1
000035c7: POP
000035c8: PUSH1 0x00
000035ca: DUP2
000035cb: GT
000035cc: ISZERO
000035cd: PUSH2 0x369c
000035d0: JUMPI
000035d1: DUP8
000035d2: DUP2
000035d3: LT
000035d4: ISZERO
000035d5: PUSH2 0x3650
000035d8: JUMPI
000035d9: PUSH1 0x00
000035db: DUP5
000035dc: DUP2
000035dd: MSTORE
000035de: PUSH1 0x0d
000035e0: PUSH1 0x20
000035e2: MSTORE
000035e3: PUSH1 0x40
000035e5: SWAP1
000035e6: KECCAK256
000035e7: PUSH2 0x3608
000035ea: SWAP1
000035eb: DUP3
000035ec: SWAP1
000035ed: PUSH1 0x04
000035ef: ADD
000035f0: DUP6
000035f1: PUSH1 0x07
000035f3: DUP2
000035f4: LT
000035f5: PUSH2 0x35fa
000035f8: JUMPI
000035f9: INVALID
000035fa: JUMPDEST
000035fb: ADD
000035fc: SLOAD
000035fd: SWAP1
000035fe: PUSH4 0xffffffff
00003603: PUSH2 0x234a
00003606: AND
00003607: JUMP
00003608: JUMPDEST
00003609: PUSH1 0x00
0000360b: DUP6
0000360c: DUP2
0000360d: MSTORE
0000360e: PUSH1 0x0d
00003610: PUSH1 0x20
00003612: MSTORE
00003613: PUSH1 0x40
00003615: SWAP1
00003616: KECCAK256
00003617: PUSH1 0x04
00003619: ADD
0000361a: DUP5
0000361b: PUSH1 0x07
0000361d: DUP2
0000361e: LT
0000361f: PUSH2 0x3624
00003622: JUMPI
00003623: INVALID
00003624: JUMPDEST
00003625: ADD
00003626: SSTORE
00003627: PUSH2 0x3637
0000362a: DUP8
0000362b: PUSH1 0x01
0000362d: PUSH4 0xffffffff
00003632: PUSH2 0x234a
00003635: AND
00003636: JUMP
00003637: JUMPDEST
00003638: PUSH2 0x3647
0000363b: DUP10
0000363c: DUP4
0000363d: PUSH4 0xffffffff
00003642: PUSH2 0x2357
00003645: AND
00003646: JUMP
00003647: JUMPDEST
00003648: SWAP6
00003649: POP
0000364a: SWAP6
0000364b: POP
0000364c: PUSH2 0x36b3
0000364f: JUMP
00003650: JUMPDEST
00003651: PUSH1 0x00
00003653: DUP5
00003654: DUP2
00003655: MSTORE
00003656: PUSH1 0x0d
00003658: PUSH1 0x20
0000365a: MSTORE
0000365b: PUSH1 0x40
0000365d: SWAP1
0000365e: KECCAK256
0000365f: PUSH2 0x3672
00003662: SWAP1
00003663: DUP10
00003664: SWAP1
00003665: PUSH1 0x04
00003667: ADD
00003668: DUP6
00003669: PUSH1 0x07
0000366b: DUP2
0000366c: LT
0000366d: PUSH2 0x35fa
00003670: JUMPI
00003671: INVALID
00003672: JUMPDEST
00003673: PUSH1 0x00
00003675: DUP6
00003676: DUP2
00003677: MSTORE
00003678: PUSH1 0x0d
0000367a: PUSH1 0x20
0000367c: MSTORE
0000367d: PUSH1 0x40
0000367f: SWAP1
00003680: KECCAK256
00003681: PUSH1 0x04
00003683: ADD
00003684: DUP5
00003685: PUSH1 0x07
00003687: DUP2
00003688: LT
00003689: PUSH2 0x368e
0000368c: JUMPI
0000368d: INVALID
0000368e: JUMPDEST
0000368f: ADD
00003690: SSTORE
00003691: DUP7
00003692: SWAP6
00003693: POP
00003694: PUSH1 0x00
00003696: SWAP5
00003697: POP
00003698: PUSH2 0x36b3
0000369b: JUMP
0000369c: JUMPDEST
0000369d: PUSH2 0x36ad
000036a0: DUP8
000036a1: PUSH1 0x01
000036a3: PUSH4 0xffffffff
000036a8: PUSH2 0x234a
000036ab: AND
000036ac: JUMP
000036ad: JUMPDEST
000036ae: DUP9
000036af: SWAP6
000036b0: POP
000036b1: SWAP6
000036b2: POP
000036b3: JUMPDEST
000036b4: POP
000036b5: POP
000036b6: POP
000036b7: POP
000036b8: SWAP4
000036b9: POP
000036ba: SWAP4
000036bb: SWAP2
000036bc: POP
000036bd: POP
000036be: JUMP
000036bf: JUMPDEST
000036c0: PUSH2 0x0180
000036c3: PUSH1 0x40
000036c5: MLOAD
000036c6: SWAP1
000036c7: DUP2
000036c8: ADD
000036c9: PUSH1 0x40
000036cb: MSTORE
000036cc: DUP1
000036cd: PUSH1 0x00
000036cf: DUP2
000036d0: MSTORE
000036d1: PUSH1 0x20
000036d3: ADD
000036d4: PUSH1 0x00
000036d6: DUP2
000036d7: MSTORE
000036d8: PUSH1 0x20
000036da: ADD
000036db: PUSH1 0x00
000036dd: DUP2
000036de: MSTORE
000036df: PUSH1 0x20
000036e1: ADD
000036e2: PUSH1 0x00
000036e4: DUP2
000036e5: MSTORE
000036e6: PUSH1 0x20
000036e8: ADD
000036e9: PUSH2 0x36f0
000036ec: PUSH2 0x36fd
000036ef: JUMP
000036f0: JUMPDEST
000036f1: DUP2
000036f2: MSTORE
000036f3: PUSH1 0x20
000036f5: ADD
000036f6: PUSH1 0x00
000036f8: DUP2
000036f9: MSTORE
000036fa: POP
000036fb: SWAP1
000036fc: JUMP
000036fd: JUMPDEST
000036fe: PUSH1 0xe0
00003700: PUSH1 0x40
00003702: MLOAD
00003703: SWAP1
00003704: DUP2
00003705: ADD
00003706: PUSH1 0x40
00003708: MSTORE
00003709: DUP1
0000370a: PUSH1 0x07
0000370c: SWAP1
0000370d: PUSH1 0x20
0000370f: DUP3
00003710: MUL
00003711: DUP1
00003712: CODESIZE
00003713: DUP4
00003714: CODECOPY
00003715: POP
00003716: SWAP2
00003717: SWAP3
00003718: SWAP2
00003719: POP
0000371a: POP
0000371b: JUMP
0000371c: STOP
0000371d: PUSH15 0x6f7420616374697661746564000000
0000372d: STOP
0000372e: STOP
0000372f: STOP
00003730: STOP
00003731: STOP
00003732: STOP
00003733: STOP
00003734: STOP
00003735: STOP
00003736: STOP
00003737: STOP
00003738: STOP
00003739: STOP
0000373a: STOP
0000373b: STOP
0000373c: STOP
0000373d: PUSH16 0x6e6c792061646d696e6973747261746f
0000374e: PUSH19 0x2063616e00000000000000000000736f727279
00003762: KECCAK256
00003763: PUSH9 0x756d616e73206f6e6c
0000376d: PUSH26 0x000000000000000000000000000000a165627a7a72305820a911
00003788: UNKNOWN(0xAA)
00003789: BYTE
0000378a: UNKNOWN(0xC9)
0000378b: UNKNOWN(0xB4)
0000378c: PUSH15 0xebfb798d4833b008c3d4d0eb15f278
0000379c: CHAINID
0000379d: REVERT
0000379e: SWAP9
0000379f: UNKNOWN(0xD7)
000037a0: PUSH12

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: 0x55a59e85970040cd47f34f7fd3f4dc218ba13afff175607f6ec85ae61170cb1e
call_targets: 0x48854fedea3eb93bcbfa67c2195ccc31b1118440
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x55a59e85970040cd47f34f7fd3f4dc218ba13afff175607f6ec85ae61170cb1e",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x48854fedea3eb93bcbfa67c2195ccc31b1118440"
    ],
    "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": "0x01efb6c8",
            "selector": "0x01efb6c8",
            "calldata_variants": [
                "0x01efb6c8",
                "0x01efb6c80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x08ae8677",
            "selector": "0x08ae8677",
            "calldata_variants": [
                "0x08ae8677",
                "0x08ae86770000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0bb17975",
            "selector": "0x0bb17975",
            "calldata_variants": [
                "0x0bb17975",
                "0x0bb179750000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0f15f4c0",
            "selector": "0x0f15f4c0",
            "calldata_variants": [
                "0x0f15f4c0",
                "0x0f15f4c00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x10051089",
            "selector": "0x10051089",
            "calldata_variants": [
                "0x10051089",
                "0x100510890000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x175baf94",
            "selector": "0x175baf94",
            "calldata_variants": [
                "0x175baf94",
                "0x175baf940000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1f0f2ce4",
            "selector": "0x1f0f2ce4",
            "calldata_variants": [
                "0x1f0f2ce4",
                "0x1f0f2ce40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2aab729f",
            "selector": "0x2aab729f",
            "calldata_variants": [
                "0x2aab729f",
                "0x2aab729f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 2863,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3253,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4466,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 4,
    "guards_detected": [],
    "untrusted_call_count": 4
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x55a59e85970040cd47f34f7fd3f4dc218ba13afff175607f6ec85ae61170cb1e
call_targets: 0x48854fedea3eb93bcbfa67c2195ccc31b1118440
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x55a59e85970040cd47f34f7fd3f4dc218ba13afff175607f6ec85ae61170cb1e",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x48854fedea3eb93bcbfa67c2195ccc31b1118440"
    ],
    "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": "0x01efb6c8",
            "selector": "0x01efb6c8",
            "calldata_variants": [
                "0x01efb6c8",
                "0x01efb6c80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x08ae8677",
            "selector": "0x08ae8677",
            "calldata_variants": [
                "0x08ae8677",
                "0x08ae86770000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0bb17975",
            "selector": "0x0bb17975",
            "calldata_variants": [
                "0x0bb17975",
                "0x0bb179750000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0f15f4c0",
            "selector": "0x0f15f4c0",
            "calldata_variants": [
                "0x0f15f4c0",
                "0x0f15f4c00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x10051089",
            "selector": "0x10051089",
            "calldata_variants": [
                "0x10051089",
                "0x100510890000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x175baf94",
            "selector": "0x175baf94",
            "calldata_variants": [
                "0x175baf94",
                "0x175baf940000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1f0f2ce4",
            "selector": "0x1f0f2ce4",
            "calldata_variants": [
                "0x1f0f2ce4",
                "0x1f0f2ce40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2aab729f",
            "selector": "0x2aab729f",
            "calldata_variants": [
                "0x2aab729f",
                "0x2aab729f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 2863,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3253,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4466,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 4,
    "guards_detected": []
}