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

Analysis Run

019b3844-9020-73ec-9187-51ceabe89770

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

What survived the funnel

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

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

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
12551 artifact.fetch complete 1 / 3 3 months ago
12552 tool.cast_disasm complete 1 / 3 3 months ago
84684 analysis.bundle complete 1 / 3 1 week ago
84685 capability.graph complete 1 / 3 1 week ago
84686 detector.run complete 1 / 3 1 week ago
84687 validation.fork complete 1 / 3 1 week ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
5
EXT*/BALANCE
2
Total opcodes
6809
Flags
No heuristic flags raised.
View cast disassembly output 
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x01aa
0000000c: JUMPI
0000000d: PUSH4 0xffffffff
00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000030: PUSH1 0x00
00000032: CALLDATALOAD
00000033: DIV
00000034: AND
00000035: PUSH3 0x8e0f1b
00000039: DUP2
0000003a: EQ
0000003b: PUSH2 0x01af
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0x06fdde03
00000045: EQ
00000046: PUSH2 0x01d9
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0x0720da52
00000050: EQ
00000051: PUSH2 0x0263
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0x0f15f4c0
0000005b: EQ
0000005c: PUSH2 0x02ad
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0x14f8b424
00000066: EQ
00000067: PUSH2 0x02c4
0000006a: JUMPI
0000006b: DUP1
0000006c: PUSH4 0x15414db1
00000071: EQ
00000072: PUSH2 0x02d9
00000075: JUMPI
00000076: DUP1
00000077: PUSH4 0x28d3ad3f
0000007c: EQ
0000007d: PUSH2 0x02f1
00000080: JUMPI
00000081: DUP1
00000082: PUSH4 0x2e1a7d4d
00000087: EQ
00000088: PUSH2 0x0309
0000008b: JUMPI
0000008c: DUP1
0000008d: PUSH4 0x3db519ce
00000092: EQ
00000093: PUSH2 0x0321
00000096: JUMPI
00000097: DUP1
00000098: PUSH4 0x4aa66b28
0000009d: EQ
0000009e: PUSH2 0x0355
000000a1: JUMPI
000000a2: DUP1
000000a3: PUSH4 0x53484a1e
000000a8: EQ
000000a9: PUSH2 0x036d
000000ac: JUMPI
000000ad: DUP1
000000ae: PUSH4 0x5ce06c6d
000000b3: EQ
000000b4: PUSH2 0x03a0
000000b7: JUMPI
000000b8: DUP1
000000b9: PUSH4 0x5edbae31
000000be: EQ
000000bf: PUSH2 0x03b8
000000c2: JUMPI
000000c3: DUP1
000000c4: PUSH4 0x667e7802
000000c9: EQ
000000ca: PUSH2 0x03d0
000000cd: JUMPI
000000ce: DUP1
000000cf: PUSH4 0x73627826
000000d4: EQ
000000d5: PUSH2 0x03e8
000000d8: JUMPI
000000d9: DUP1
000000da: PUSH4 0x7d896b84
000000df: EQ
000000e0: PUSH2 0x0400
000000e3: JUMPI
000000e4: DUP1
000000e5: PUSH4 0x8519d6b6
000000ea: EQ
000000eb: PUSH2 0x0418
000000ee: JUMPI
000000ef: DUP1
000000f0: PUSH4 0x874fcd07
000000f5: EQ
000000f6: PUSH2 0x0433
000000f9: JUMPI
000000fa: DUP1
000000fb: PUSH4 0x95d89b41
00000100: EQ
00000101: PUSH2 0x044b
00000104: JUMPI
00000105: DUP1
00000106: PUSH4 0x998b894a
0000010b: EQ
0000010c: PUSH2 0x0460
0000010f: JUMPI
00000110: DUP1
00000111: PUSH4 0xac97f492
00000116: EQ
00000117: PUSH2 0x0489
0000011a: JUMPI
0000011b: DUP1
0000011c: PUSH4 0xb563b75d
00000121: EQ
00000122: PUSH2 0x04a1
00000125: JUMPI
00000126: DUP1
00000127: PUSH4 0xb6587665
0000012c: EQ
0000012d: PUSH2 0x04b6
00000130: JUMPI
00000131: DUP1
00000132: PUSH4 0xb8b23120
00000137: EQ
00000138: PUSH2 0x04ce
0000013b: JUMPI
0000013c: DUP1
0000013d: PUSH4 0xc6727538
00000142: EQ
00000143: PUSH2 0x04e3
00000146: JUMPI
00000147: DUP1
00000148: PUSH4 0xd5b9df87
0000014d: EQ
0000014e: PUSH2 0x04fa
00000151: JUMPI
00000152: DUP1
00000153: PUSH4 0xdb0a0461
00000158: EQ
00000159: PUSH2 0x050f
0000015c: JUMPI
0000015d: DUP1
0000015e: PUSH4 0xe785bab2
00000163: EQ
00000164: PUSH2 0x0527
00000167: JUMPI
00000168: DUP1
00000169: PUSH4 0xe7ac5128
0000016e: EQ
0000016f: PUSH2 0x053c
00000172: JUMPI
00000173: DUP1
00000174: PUSH4 0xf4ddff1c
00000179: EQ
0000017a: PUSH2 0x0547
0000017d: JUMPI
0000017e: DUP1
0000017f: PUSH4 0xfba7cc79
00000184: EQ
00000185: PUSH2 0x055c
00000188: JUMPI
00000189: DUP1
0000018a: PUSH4 0xfc2615d5
0000018f: EQ
00000190: PUSH2 0x0571
00000193: JUMPI
00000194: DUP1
00000195: PUSH4 0xfc4d7101
0000019a: EQ
0000019b: PUSH2 0x0586
0000019e: JUMPI
0000019f: DUP1
000001a0: PUSH4 0xff1b636d
000001a5: EQ
000001a6: PUSH2 0x059e
000001a9: JUMPI
000001aa: JUMPDEST
000001ab: PUSH1 0x00
000001ad: DUP1
000001ae: REVERT
000001af: JUMPDEST
000001b0: CALLVALUE
000001b1: DUP1
000001b2: ISZERO
000001b3: PUSH2 0x01bb
000001b6: JUMPI
000001b7: PUSH1 0x00
000001b9: DUP1
000001ba: REVERT
000001bb: JUMPDEST
000001bc: POP
000001bd: PUSH2 0x01c7
000001c0: PUSH1 0x04
000001c2: CALLDATALOAD
000001c3: PUSH2 0x05cf
000001c6: JUMP
000001c7: JUMPDEST
000001c8: PUSH1 0x40
000001ca: DUP1
000001cb: MLOAD
000001cc: SWAP2
000001cd: DUP3
000001ce: MSTORE
000001cf: MLOAD
000001d0: SWAP1
000001d1: DUP2
000001d2: SWAP1
000001d3: SUB
000001d4: PUSH1 0x20
000001d6: ADD
000001d7: SWAP1
000001d8: RETURN
000001d9: JUMPDEST
000001da: CALLVALUE
000001db: DUP1
000001dc: ISZERO
000001dd: PUSH2 0x01e5
000001e0: JUMPI
000001e1: PUSH1 0x00
000001e3: DUP1
000001e4: REVERT
000001e5: JUMPDEST
000001e6: POP
000001e7: PUSH2 0x01ee
000001ea: PUSH2 0x05f2
000001ed: JUMP
000001ee: JUMPDEST
000001ef: PUSH1 0x40
000001f1: DUP1
000001f2: MLOAD
000001f3: PUSH1 0x20
000001f5: DUP1
000001f6: DUP3
000001f7: MSTORE
000001f8: DUP4
000001f9: MLOAD
000001fa: DUP2
000001fb: DUP4
000001fc: ADD
000001fd: MSTORE
000001fe: DUP4
000001ff: MLOAD
00000200: SWAP2
00000201: SWAP3
00000202: DUP4
00000203: SWAP3
00000204: SWAP1
00000205: DUP4
00000206: ADD
00000207: SWAP2
00000208: DUP6
00000209: ADD
0000020a: SWAP1
0000020b: DUP1
0000020c: DUP4
0000020d: DUP4
0000020e: PUSH1 0x00
00000210: JUMPDEST
00000211: DUP4
00000212: DUP2
00000213: LT
00000214: ISZERO
00000215: PUSH2 0x0228
00000218: JUMPI
00000219: DUP2
0000021a: DUP2
0000021b: ADD
0000021c: MLOAD
0000021d: DUP4
0000021e: DUP3
0000021f: ADD
00000220: MSTORE
00000221: PUSH1 0x20
00000223: ADD
00000224: PUSH2 0x0210
00000227: JUMP
00000228: JUMPDEST
00000229: POP
0000022a: POP
0000022b: POP
0000022c: POP
0000022d: SWAP1
0000022e: POP
0000022f: SWAP1
00000230: DUP2
00000231: ADD
00000232: SWAP1
00000233: PUSH1 0x1f
00000235: AND
00000236: DUP1
00000237: ISZERO
00000238: PUSH2 0x0255
0000023b: JUMPI
0000023c: DUP1
0000023d: DUP3
0000023e: SUB
0000023f: DUP1
00000240: MLOAD
00000241: PUSH1 0x01
00000243: DUP4
00000244: PUSH1 0x20
00000246: SUB
00000247: PUSH2 0x0100
0000024a: EXP
0000024b: SUB
0000024c: NOT
0000024d: AND
0000024e: DUP2
0000024f: MSTORE
00000250: PUSH1 0x20
00000252: ADD
00000253: SWAP2
00000254: POP
00000255: JUMPDEST
00000256: POP
00000257: SWAP3
00000258: POP
00000259: POP
0000025a: POP
0000025b: PUSH1 0x40
0000025d: MLOAD
0000025e: DUP1
0000025f: SWAP2
00000260: SUB
00000261: SWAP1
00000262: RETURN
00000263: JUMPDEST
00000264: CALLVALUE
00000265: DUP1
00000266: ISZERO
00000267: PUSH2 0x026f
0000026a: JUMPI
0000026b: PUSH1 0x00
0000026d: DUP1
0000026e: REVERT
0000026f: JUMPDEST
00000270: POP
00000271: PUSH2 0x027b
00000274: PUSH1 0x04
00000276: CALLDATALOAD
00000277: PUSH2 0x0629
0000027a: JUMP
0000027b: JUMPDEST
0000027c: PUSH1 0x40
0000027e: DUP1
0000027f: MLOAD
00000280: PUSH1 0x01
00000282: PUSH1 0xa0
00000284: PUSH1 0x02
00000286: EXP
00000287: SUB
00000288: SWAP1
00000289: SWAP6
0000028a: AND
0000028b: DUP6
0000028c: MSTORE
0000028d: PUSH1 0x20
0000028f: DUP6
00000290: ADD
00000291: SWAP4
00000292: SWAP1
00000293: SWAP4
00000294: MSTORE
00000295: DUP4
00000296: DUP4
00000297: ADD
00000298: SWAP2
00000299: SWAP1
0000029a: SWAP2
0000029b: MSTORE
0000029c: ISZERO
0000029d: ISZERO
0000029e: PUSH1 0x60
000002a0: DUP4
000002a1: ADD
000002a2: MSTORE
000002a3: MLOAD
000002a4: SWAP1
000002a5: DUP2
000002a6: SWAP1
000002a7: SUB
000002a8: PUSH1 0x80
000002aa: ADD
000002ab: SWAP1
000002ac: RETURN
000002ad: JUMPDEST
000002ae: CALLVALUE
000002af: DUP1
000002b0: ISZERO
000002b1: PUSH2 0x02b9
000002b4: JUMPI
000002b5: PUSH1 0x00
000002b7: DUP1
000002b8: REVERT
000002b9: JUMPDEST
000002ba: POP
000002bb: PUSH2 0x02c2
000002be: PUSH2 0x065e
000002c1: JUMP
000002c2: JUMPDEST
000002c3: STOP
000002c4: JUMPDEST
000002c5: CALLVALUE
000002c6: DUP1
000002c7: ISZERO
000002c8: PUSH2 0x02d0
000002cb: JUMPI
000002cc: PUSH1 0x00
000002ce: DUP1
000002cf: REVERT
000002d0: JUMPDEST
000002d1: POP
000002d2: PUSH2 0x01c7
000002d5: PUSH2 0x07dc
000002d8: JUMP
000002d9: JUMPDEST
000002da: CALLVALUE
000002db: DUP1
000002dc: ISZERO
000002dd: PUSH2 0x02e5
000002e0: JUMPI
000002e1: PUSH1 0x00
000002e3: DUP1
000002e4: REVERT
000002e5: JUMPDEST
000002e6: POP
000002e7: PUSH2 0x01c7
000002ea: PUSH1 0x04
000002ec: CALLDATALOAD
000002ed: PUSH2 0x07e2
000002f0: JUMP
000002f1: JUMPDEST
000002f2: CALLVALUE
000002f3: DUP1
000002f4: ISZERO
000002f5: PUSH2 0x02fd
000002f8: JUMPI
000002f9: PUSH1 0x00
000002fb: DUP1
000002fc: REVERT
000002fd: JUMPDEST
000002fe: POP
000002ff: PUSH2 0x01c7
00000302: PUSH1 0x04
00000304: CALLDATALOAD
00000305: PUSH2 0x0802
00000308: JUMP
00000309: JUMPDEST
0000030a: CALLVALUE
0000030b: DUP1
0000030c: ISZERO
0000030d: PUSH2 0x0315
00000310: JUMPI
00000311: PUSH1 0x00
00000313: DUP1
00000314: REVERT
00000315: JUMPDEST
00000316: POP
00000317: PUSH2 0x02c2
0000031a: PUSH1 0x04
0000031c: CALLDATALOAD
0000031d: PUSH2 0x0817
00000320: JUMP
00000321: JUMPDEST
00000322: CALLVALUE
00000323: DUP1
00000324: ISZERO
00000325: PUSH2 0x032d
00000328: JUMPI
00000329: PUSH1 0x00
0000032b: DUP1
0000032c: REVERT
0000032d: JUMPDEST
0000032e: POP
0000032f: PUSH2 0x033c
00000332: PUSH1 0x04
00000334: CALLDATALOAD
00000335: PUSH1 0x24
00000337: CALLDATALOAD
00000338: PUSH2 0x0b0e
0000033b: JUMP
0000033c: JUMPDEST
0000033d: PUSH1 0x40
0000033f: DUP1
00000340: MLOAD
00000341: SWAP3
00000342: DUP4
00000343: MSTORE
00000344: PUSH1 0x20
00000346: DUP4
00000347: ADD
00000348: SWAP2
00000349: SWAP1
0000034a: SWAP2
0000034b: MSTORE
0000034c: DUP1
0000034d: MLOAD
0000034e: SWAP2
0000034f: DUP3
00000350: SWAP1
00000351: SUB
00000352: ADD
00000353: SWAP1
00000354: RETURN
00000355: JUMPDEST
00000356: CALLVALUE
00000357: DUP1
00000358: ISZERO
00000359: PUSH2 0x0361
0000035c: JUMPI
0000035d: PUSH1 0x00
0000035f: DUP1
00000360: REVERT
00000361: JUMPDEST
00000362: POP
00000363: PUSH2 0x01c7
00000366: PUSH1 0x04
00000368: CALLDATALOAD
00000369: PUSH2 0x0b32
0000036c: JUMP
0000036d: JUMPDEST
0000036e: CALLVALUE
0000036f: DUP1
00000370: ISZERO
00000371: PUSH2 0x0379
00000374: JUMPI
00000375: PUSH1 0x00
00000377: DUP1
00000378: REVERT
00000379: JUMPDEST
0000037a: POP
0000037b: PUSH2 0x0385
0000037e: PUSH1 0x04
00000380: CALLDATALOAD
00000381: PUSH2 0x0b5a
00000384: JUMP
00000385: JUMPDEST
00000386: PUSH1 0x40
00000388: DUP1
00000389: MLOAD
0000038a: SWAP3
0000038b: ISZERO
0000038c: ISZERO
0000038d: DUP4
0000038e: MSTORE
0000038f: PUSH1 0x20
00000391: DUP4
00000392: ADD
00000393: SWAP2
00000394: SWAP1
00000395: SWAP2
00000396: MSTORE
00000397: DUP1
00000398: MLOAD
00000399: SWAP2
0000039a: DUP3
0000039b: SWAP1
0000039c: SUB
0000039d: ADD
0000039e: SWAP1
0000039f: RETURN
000003a0: JUMPDEST
000003a1: CALLVALUE
000003a2: DUP1
000003a3: ISZERO
000003a4: PUSH2 0x03ac
000003a7: JUMPI
000003a8: PUSH1 0x00
000003aa: DUP1
000003ab: REVERT
000003ac: JUMPDEST
000003ad: POP
000003ae: PUSH2 0x01c7
000003b1: PUSH1 0x04
000003b3: CALLDATALOAD
000003b4: PUSH2 0x0b8e
000003b7: JUMP
000003b8: JUMPDEST
000003b9: CALLVALUE
000003ba: DUP1
000003bb: ISZERO
000003bc: PUSH2 0x03c4
000003bf: JUMPI
000003c0: PUSH1 0x00
000003c2: DUP1
000003c3: REVERT
000003c4: JUMPDEST
000003c5: POP
000003c6: PUSH2 0x01c7
000003c9: PUSH1 0x04
000003cb: CALLDATALOAD
000003cc: PUSH2 0x0bd0
000003cf: JUMP
000003d0: JUMPDEST
000003d1: CALLVALUE
000003d2: DUP1
000003d3: ISZERO
000003d4: PUSH2 0x03dc
000003d7: JUMPI
000003d8: PUSH1 0x00
000003da: DUP1
000003db: REVERT
000003dc: JUMPDEST
000003dd: POP
000003de: PUSH2 0x01c7
000003e1: PUSH1 0x04
000003e3: CALLDATALOAD
000003e4: PUSH2 0x0c9e
000003e7: JUMP
000003e8: JUMPDEST
000003e9: CALLVALUE
000003ea: DUP1
000003eb: ISZERO
000003ec: PUSH2 0x03f4
000003ef: JUMPI
000003f0: PUSH1 0x00
000003f2: DUP1
000003f3: REVERT
000003f4: JUMPDEST
000003f5: POP
000003f6: PUSH2 0x033c
000003f9: PUSH1 0x04
000003fb: CALLDATALOAD
000003fc: PUSH2 0x0cbe
000003ff: JUMP
00000400: JUMPDEST
00000401: CALLVALUE
00000402: DUP1
00000403: ISZERO
00000404: PUSH2 0x040c
00000407: JUMPI
00000408: PUSH1 0x00
0000040a: DUP1
0000040b: REVERT
0000040c: JUMPDEST
0000040d: POP
0000040e: PUSH2 0x01c7
00000411: PUSH1 0x04
00000413: CALLDATALOAD
00000414: PUSH2 0x0d0c
00000417: JUMP
00000418: JUMPDEST
00000419: CALLVALUE
0000041a: DUP1
0000041b: ISZERO
0000041c: PUSH2 0x0424
0000041f: JUMPI
00000420: PUSH1 0x00
00000422: DUP1
00000423: REVERT
00000424: JUMPDEST
00000425: POP
00000426: PUSH2 0x01c7
00000429: PUSH1 0x04
0000042b: CALLDATALOAD
0000042c: PUSH1 0x24
0000042e: CALLDATALOAD
0000042f: PUSH2 0x0d78
00000432: JUMP
00000433: JUMPDEST
00000434: CALLVALUE
00000435: DUP1
00000436: ISZERO
00000437: PUSH2 0x043f
0000043a: JUMPI
0000043b: PUSH1 0x00
0000043d: DUP1
0000043e: REVERT
0000043f: JUMPDEST
00000440: POP
00000441: PUSH2 0x01c7
00000444: PUSH1 0x04
00000446: CALLDATALOAD
00000447: PUSH2 0x0de1
0000044a: JUMP
0000044b: JUMPDEST
0000044c: CALLVALUE
0000044d: DUP1
0000044e: ISZERO
0000044f: PUSH2 0x0457
00000452: JUMPI
00000453: PUSH1 0x00
00000455: DUP1
00000456: REVERT
00000457: JUMPDEST
00000458: POP
00000459: PUSH2 0x01ee
0000045c: PUSH2 0x0df6
0000045f: JUMP
00000460: JUMPDEST
00000461: CALLVALUE
00000462: DUP1
00000463: ISZERO
00000464: PUSH2 0x046c
00000467: JUMPI
00000468: PUSH1 0x00
0000046a: DUP1
0000046b: REVERT
0000046c: JUMPDEST
0000046d: POP
0000046e: PUSH2 0x0475
00000471: PUSH2 0x0e2d
00000474: JUMP
00000475: JUMPDEST
00000476: PUSH1 0x40
00000478: DUP1
00000479: MLOAD
0000047a: SWAP2
0000047b: ISZERO
0000047c: ISZERO
0000047d: DUP3
0000047e: MSTORE
0000047f: MLOAD
00000480: SWAP1
00000481: DUP2
00000482: SWAP1
00000483: SUB
00000484: PUSH1 0x20
00000486: ADD
00000487: SWAP1
00000488: RETURN
00000489: JUMPDEST
0000048a: CALLVALUE
0000048b: DUP1
0000048c: ISZERO
0000048d: PUSH2 0x0495
00000490: JUMPI
00000491: PUSH1 0x00
00000493: DUP1
00000494: REVERT
00000495: JUMPDEST
00000496: POP
00000497: PUSH2 0x01c7
0000049a: PUSH1 0x04
0000049c: CALLDATALOAD
0000049d: PUSH2 0x0e6e
000004a0: JUMP
000004a1: JUMPDEST
000004a2: CALLVALUE
000004a3: DUP1
000004a4: ISZERO
000004a5: PUSH2 0x04ad
000004a8: JUMPI
000004a9: PUSH1 0x00
000004ab: DUP1
000004ac: REVERT
000004ad: JUMPDEST
000004ae: POP
000004af: PUSH2 0x01c7
000004b2: PUSH2 0x0e83
000004b5: JUMP
000004b6: JUMPDEST
000004b7: CALLVALUE
000004b8: DUP1
000004b9: ISZERO
000004ba: PUSH2 0x04c2
000004bd: JUMPI
000004be: PUSH1 0x00
000004c0: DUP1
000004c1: REVERT
000004c2: JUMPDEST
000004c3: POP
000004c4: PUSH2 0x01c7
000004c7: PUSH1 0x04
000004c9: CALLDATALOAD
000004ca: PUSH2 0x0e89
000004cd: JUMP
000004ce: JUMPDEST
000004cf: CALLVALUE
000004d0: DUP1
000004d1: ISZERO
000004d2: PUSH2 0x04da
000004d5: JUMPI
000004d6: PUSH1 0x00
000004d8: DUP1
000004d9: REVERT
000004da: JUMPDEST
000004db: POP
000004dc: PUSH2 0x01c7
000004df: PUSH2 0x0eaf
000004e2: JUMP
000004e3: JUMPDEST
000004e4: PUSH2 0x02c2
000004e7: PUSH1 0x04
000004e9: CALLDATALOAD
000004ea: PUSH1 0x01
000004ec: PUSH1 0xa0
000004ee: PUSH1 0x02
000004f0: EXP
000004f1: SUB
000004f2: PUSH1 0x24
000004f4: CALLDATALOAD
000004f5: AND
000004f6: PUSH2 0x0f08
000004f9: JUMP
000004fa: JUMPDEST
000004fb: CALLVALUE
000004fc: DUP1
000004fd: ISZERO
000004fe: PUSH2 0x0506
00000501: JUMPI
00000502: PUSH1 0x00
00000504: DUP1
00000505: REVERT
00000506: JUMPDEST
00000507: POP
00000508: PUSH2 0x01c7
0000050b: PUSH2 0x1198
0000050e: JUMP
0000050f: JUMPDEST
00000510: CALLVALUE
00000511: DUP1
00000512: ISZERO
00000513: PUSH2 0x051b
00000516: JUMPI
00000517: PUSH1 0x00
00000519: DUP1
0000051a: REVERT
0000051b: JUMPDEST
0000051c: POP
0000051d: PUSH2 0x01c7
00000520: PUSH1 0x04
00000522: CALLDATALOAD
00000523: PUSH2 0x11a3
00000526: JUMP
00000527: JUMPDEST
00000528: CALLVALUE
00000529: DUP1
0000052a: ISZERO
0000052b: PUSH2 0x0533
0000052e: JUMPI
0000052f: PUSH1 0x00
00000531: DUP1
00000532: REVERT
00000533: JUMPDEST
00000534: POP
00000535: PUSH2 0x02c2
00000538: PUSH2 0x1301
0000053b: JUMP
0000053c: JUMPDEST
0000053d: PUSH2 0x02c2
00000540: PUSH1 0x04
00000542: CALLDATALOAD
00000543: PUSH2 0x136b
00000546: JUMP
00000547: JUMPDEST
00000548: CALLVALUE
00000549: DUP1
0000054a: ISZERO
0000054b: PUSH2 0x0553
0000054e: JUMPI
0000054f: PUSH1 0x00
00000551: DUP1
00000552: REVERT
00000553: JUMPDEST
00000554: POP
00000555: PUSH2 0x01c7
00000558: PUSH2 0x146e
0000055b: JUMP
0000055c: JUMPDEST
0000055d: CALLVALUE
0000055e: DUP1
0000055f: ISZERO
00000560: PUSH2 0x0568
00000563: JUMPI
00000564: PUSH1 0x00
00000566: DUP1
00000567: REVERT
00000568: JUMPDEST
00000569: POP
0000056a: PUSH2 0x0475
0000056d: PUSH2 0x1474
00000570: JUMP
00000571: JUMPDEST
00000572: CALLVALUE
00000573: DUP1
00000574: ISZERO
00000575: PUSH2 0x057d
00000578: JUMPI
00000579: PUSH1 0x00
0000057b: DUP1
0000057c: REVERT
0000057d: JUMPDEST
0000057e: POP
0000057f: PUSH2 0x01c7
00000582: PUSH2 0x147d
00000585: JUMP
00000586: JUMPDEST
00000587: CALLVALUE
00000588: DUP1
00000589: ISZERO
0000058a: PUSH2 0x0592
0000058d: JUMPI
0000058e: PUSH1 0x00
00000590: DUP1
00000591: REVERT
00000592: JUMPDEST
00000593: POP
00000594: PUSH2 0x01c7
00000597: PUSH1 0x04
00000599: CALLDATALOAD
0000059a: PUSH2 0x14f7
0000059d: JUMP
0000059e: JUMPDEST
0000059f: CALLVALUE
000005a0: DUP1
000005a1: ISZERO
000005a2: PUSH2 0x05aa
000005a5: JUMPI
000005a6: PUSH1 0x00
000005a8: DUP1
000005a9: REVERT
000005aa: JUMPDEST
000005ab: POP
000005ac: PUSH2 0x05b3
000005af: PUSH2 0x150c
000005b2: JUMP
000005b3: JUMPDEST
000005b4: PUSH1 0x40
000005b6: DUP1
000005b7: MLOAD
000005b8: PUSH1 0x01
000005ba: PUSH1 0xa0
000005bc: PUSH1 0x02
000005be: EXP
000005bf: SUB
000005c0: SWAP1
000005c1: SWAP3
000005c2: AND
000005c3: DUP3
000005c4: MSTORE
000005c5: MLOAD
000005c6: SWAP1
000005c7: DUP2
000005c8: SWAP1
000005c9: SUB
000005ca: PUSH1 0x20
000005cc: ADD
000005cd: SWAP1
000005ce: RETURN
000005cf: JUMPDEST
000005d0: PUSH1 0x00
000005d2: DUP2
000005d3: DUP2
000005d4: MSTORE
000005d5: PUSH1 0x10
000005d7: PUSH1 0x20
000005d9: SWAP1
000005da: DUP2
000005db: MSTORE
000005dc: PUSH1 0x40
000005de: DUP1
000005df: DUP4
000005e0: KECCAK256
000005e1: CALLER
000005e2: DUP5
000005e3: MSTORE
000005e4: SWAP1
000005e5: SWAP2
000005e6: MSTORE
000005e7: SWAP1
000005e8: KECCAK256
000005e9: PUSH1 0x06
000005eb: ADD
000005ec: SLOAD
000005ed: JUMPDEST
000005ee: SWAP2
000005ef: SWAP1
000005f0: POP
000005f1: JUMP
000005f2: JUMPDEST
000005f3: PUSH1 0x40
000005f5: DUP1
000005f6: MLOAD
000005f7: DUP1
000005f8: DUP3
000005f9: ADD
000005fa: SWAP1
000005fb: SWAP2
000005fc: MSTORE
000005fd: PUSH1 0x17
000005ff: DUP2
00000600: MSTORE
00000601: PUSH32 0x426c6f636b636861696e206f662033204b696e646f6d73000000000000000000
00000622: PUSH1 0x20
00000624: DUP3
00000625: ADD
00000626: MSTORE
00000627: DUP2
00000628: JUMP
00000629: JUMPDEST
0000062a: PUSH1 0x00
0000062c: SWAP1
0000062d: DUP2
0000062e: MSTORE
0000062f: PUSH1 0x0f
00000631: PUSH1 0x20
00000633: MSTORE
00000634: PUSH1 0x40
00000636: SWAP1
00000637: KECCAK256
00000638: DUP1
00000639: SLOAD
0000063a: PUSH1 0x05
0000063c: DUP3
0000063d: ADD
0000063e: SLOAD
0000063f: PUSH1 0x04
00000641: DUP4
00000642: ADD
00000643: SLOAD
00000644: PUSH1 0x08
00000646: SWAP1
00000647: SWAP4
00000648: ADD
00000649: SLOAD
0000064a: PUSH1 0x01
0000064c: PUSH1 0xa0
0000064e: PUSH1 0x02
00000650: EXP
00000651: SUB
00000652: SWAP1
00000653: SWAP3
00000654: AND
00000655: SWAP4
00000656: SWAP1
00000657: SWAP3
00000658: SWAP2
00000659: PUSH1 0xff
0000065b: AND
0000065c: SWAP1
0000065d: JUMP
0000065e: JUMPDEST
0000065f: PUSH20 0xabb29fd841c9b919c3b681194c6173f30ff7055d
00000674: CALLER
00000675: EQ
00000676: PUSH2 0x06c9
00000679: JUMPI
0000067a: PUSH1 0x40
0000067c: DUP1
0000067d: MLOAD
0000067e: PUSH1 0xe5
00000680: PUSH1 0x02
00000682: EXP
00000683: PUSH3 0x461bcd
00000687: MUL
00000688: DUP2
00000689: MSTORE
0000068a: PUSH1 0x20
0000068c: PUSH1 0x04
0000068e: DUP3
0000068f: ADD
00000690: MSTORE
00000691: PUSH1 0x10
00000693: PUSH1 0x24
00000695: DUP3
00000696: ADD
00000697: MSTORE
00000698: PUSH32 0x6d73672073656e646572206572726f7200000000000000000000000000000000
000006b9: PUSH1 0x44
000006bb: DUP3
000006bc: ADD
000006bd: MSTORE
000006be: SWAP1
000006bf: MLOAD
000006c0: SWAP1
000006c1: DUP2
000006c2: SWAP1
000006c3: SUB
000006c4: PUSH1 0x64
000006c6: ADD
000006c7: SWAP1
000006c8: REVERT
000006c9: JUMPDEST
000006ca: PUSH1 0x04
000006cc: SLOAD
000006cd: PUSH1 0xff
000006cf: AND
000006d0: ISZERO
000006d1: PUSH2 0x0724
000006d4: JUMPI
000006d5: PUSH1 0x40
000006d7: DUP1
000006d8: MLOAD
000006d9: PUSH1 0xe5
000006db: PUSH1 0x02
000006dd: EXP
000006de: PUSH3 0x461bcd
000006e2: MUL
000006e3: DUP2
000006e4: MSTORE
000006e5: PUSH1 0x20
000006e7: PUSH1 0x04
000006e9: DUP3
000006ea: ADD
000006eb: MSTORE
000006ec: PUSH1 0x0d
000006ee: PUSH1 0x24
000006f0: DUP3
000006f1: ADD
000006f2: MSTORE
000006f3: PUSH32 0x4861732061637469766174656400000000000000000000000000000000000000
00000714: PUSH1 0x44
00000716: DUP3
00000717: ADD
00000718: MSTORE
00000719: SWAP1
0000071a: MLOAD
0000071b: SWAP1
0000071c: DUP2
0000071d: SWAP1
0000071e: SUB
0000071f: PUSH1 0x64
00000721: ADD
00000722: SWAP1
00000723: REVERT
00000724: JUMPDEST
00000725: PUSH1 0x04
00000727: DUP1
00000728: SLOAD
00000729: PUSH1 0x01
0000072b: PUSH1 0xff
0000072d: NOT
0000072e: SWAP2
0000072f: DUP3
00000730: AND
00000731: DUP2
00000732: OR
00000733: SWAP1
00000734: SWAP3
00000735: SSTORE
00000736: PUSH1 0x05
00000738: DUP3
00000739: SWAP1
0000073a: SSTORE
0000073b: PUSH1 0x00
0000073d: SWAP2
0000073e: DUP3
0000073f: MSTORE
00000740: PUSH1 0x0f
00000742: PUSH1 0x20
00000744: MSTORE
00000745: TIMESTAMP
00000746: PUSH32 0x169f97de0d9a84d840042b17d3c6b9638b3d6fd9024c9eb0c7a306a17b49f890
00000767: DUP2
00000768: SWAP1
00000769: SSTORE
0000076a: PUSH3 0x015180
0000076e: ADD
0000076f: PUSH32 0x169f97de0d9a84d840042b17d3c6b9638b3d6fd9024c9eb0c7a306a17b49f891
00000790: SSTORE
00000791: PUSH32 0x169f97de0d9a84d840042b17d3c6b9638b3d6fd9024c9eb0c7a306a17b49f897
000007b2: DUP1
000007b3: SLOAD
000007b4: SWAP1
000007b5: SWAP2
000007b6: AND
000007b7: SWAP1
000007b8: SSTORE
000007b9: PUSH32 0x169f97de0d9a84d840042b17d3c6b9638b3d6fd9024c9eb0c7a306a17b49f896
000007da: SSTORE
000007db: JUMP
000007dc: JUMPDEST
000007dd: PUSH1 0x05
000007df: SLOAD
000007e0: DUP2
000007e1: JUMP
000007e2: JUMPDEST
000007e3: PUSH1 0x00
000007e5: SWAP1
000007e6: DUP2
000007e7: MSTORE
000007e8: PUSH1 0x10
000007ea: PUSH1 0x20
000007ec: SWAP1
000007ed: DUP2
000007ee: MSTORE
000007ef: PUSH1 0x40
000007f1: DUP1
000007f2: DUP4
000007f3: KECCAK256
000007f4: CALLER
000007f5: DUP5
000007f6: MSTORE
000007f7: SWAP1
000007f8: SWAP2
000007f9: MSTORE
000007fa: SWAP1
000007fb: KECCAK256
000007fc: PUSH1 0x01
000007fe: ADD
000007ff: SLOAD
00000800: SWAP1
00000801: JUMP
00000802: JUMPDEST
00000803: PUSH1 0x00
00000805: SWAP1
00000806: DUP2
00000807: MSTORE
00000808: PUSH1 0x0f
0000080a: PUSH1 0x20
0000080c: MSTORE
0000080d: PUSH1 0x40
0000080f: SWAP1
00000810: KECCAK256
00000811: PUSH1 0x05
00000813: ADD
00000814: SLOAD
00000815: SWAP1
00000816: JUMP
00000817: JUMPDEST
00000818: PUSH1 0x04
0000081a: SLOAD
0000081b: PUSH1 0x00
0000081d: SWAP1
0000081e: DUP2
0000081f: SWAP1
00000820: DUP2
00000821: SWAP1
00000822: DUP2
00000823: SWAP1
00000824: PUSH1 0xff
00000826: AND
00000827: ISZERO
00000828: ISZERO
00000829: PUSH1 0x01
0000082b: EQ
0000082c: PUSH2 0x086d
0000082f: JUMPI
00000830: PUSH1 0x40
00000832: DUP1
00000833: MLOAD
00000834: PUSH1 0xe5
00000836: PUSH1 0x02
00000838: EXP
00000839: PUSH3 0x461bcd
0000083d: MUL
0000083e: DUP2
0000083f: MSTORE
00000840: PUSH1 0x20
00000842: PUSH1 0x04
00000844: DUP3
00000845: ADD
00000846: MSTORE
00000847: PUSH1 0x11
00000849: PUSH1 0x24
0000084b: DUP3
0000084c: ADD
0000084d: MSTORE
0000084e: PUSH1 0x00
00000850: DUP1
00000851: MLOAD
00000852: PUSH1 0x20
00000854: PUSH2 0x29f5
00000857: DUP4
00000858: CODECOPY
00000859: DUP2
0000085a: MLOAD
0000085b: SWAP2
0000085c: MSTORE
0000085d: PUSH1 0x44
0000085f: DUP3
00000860: ADD
00000861: MSTORE
00000862: SWAP1
00000863: MLOAD
00000864: SWAP1
00000865: DUP2
00000866: SWAP1
00000867: SUB
00000868: PUSH1 0x64
0000086a: ADD
0000086b: SWAP1
0000086c: REVERT
0000086d: JUMPDEST
0000086e: CALLER
0000086f: DUP1
00000870: EXTCODESIZE
00000871: DUP1
00000872: ISZERO
00000873: PUSH2 0x08ec
00000876: JUMPI
00000877: PUSH1 0x40
00000879: DUP1
0000087a: MLOAD
0000087b: PUSH1 0xe5
0000087d: PUSH1 0x02
0000087f: EXP
00000880: PUSH3 0x461bcd
00000884: MUL
00000885: DUP2
00000886: MSTORE
00000887: PUSH1 0x20
00000889: PUSH1 0x04
0000088b: DUP3
0000088c: ADD
0000088d: MSTORE
0000088e: PUSH1 0x2a
00000890: PUSH1 0x24
00000892: DUP3
00000893: ADD
00000894: MSTORE
00000895: PUSH32 0x416464726573736573206e6f74206f776e65642062792068756d616e20617265
000008b6: PUSH1 0x44
000008b8: DUP3
000008b9: ADD
000008ba: MSTORE
000008bb: PUSH32 0x20666f7262696464656e00000000000000000000000000000000000000000000
000008dc: PUSH1 0x64
000008de: DUP3
000008df: ADD
000008e0: MSTORE
000008e1: SWAP1
000008e2: MLOAD
000008e3: SWAP1
000008e4: DUP2
000008e5: SWAP1
000008e6: SUB
000008e7: PUSH1 0x84
000008e9: ADD
000008ea: SWAP1
000008eb: REVERT
000008ec: JUMPDEST
000008ed: PUSH1 0x00
000008ef: DUP8
000008f0: DUP2
000008f1: MSTORE
000008f2: PUSH1 0x10
000008f4: PUSH1 0x20
000008f6: SWAP1
000008f7: DUP2
000008f8: MSTORE
000008f9: PUSH1 0x40
000008fb: DUP1
000008fc: DUP4
000008fd: KECCAK256
000008fe: CALLER
000008ff: DUP5
00000900: MSTORE
00000901: SWAP1
00000902: SWAP2
00000903: MSTORE
00000904: SWAP1
00000905: KECCAK256
00000906: PUSH1 0x07
00000908: ADD
00000909: SLOAD
0000090a: PUSH1 0xff
0000090c: AND
0000090d: ISZERO
0000090e: ISZERO
0000090f: PUSH1 0x01
00000911: EQ
00000912: PUSH2 0x0965
00000915: JUMPI
00000916: PUSH1 0x40
00000918: DUP1
00000919: MLOAD
0000091a: PUSH1 0xe5
0000091c: PUSH1 0x02
0000091e: EXP
0000091f: PUSH3 0x461bcd
00000923: MUL
00000924: DUP2
00000925: MSTORE
00000926: PUSH1 0x20
00000928: PUSH1 0x04
0000092a: DUP3
0000092b: ADD
0000092c: MSTORE
0000092d: PUSH1 0x15
0000092f: PUSH1 0x24
00000931: DUP3
00000932: ADD
00000933: MSTORE
00000934: PUSH32 0x4e6f742052656769737465726564204265666f72650000000000000000000000
00000955: PUSH1 0x44
00000957: DUP3
00000958: ADD
00000959: MSTORE
0000095a: SWAP1
0000095b: MLOAD
0000095c: SWAP1
0000095d: DUP2
0000095e: SWAP1
0000095f: SUB
00000960: PUSH1 0x64
00000962: ADD
00000963: SWAP1
00000964: REVERT
00000965: JUMPDEST
00000966: PUSH1 0x00
00000968: DUP8
00000969: DUP2
0000096a: MSTORE
0000096b: PUSH1 0x10
0000096d: PUSH1 0x20
0000096f: SWAP1
00000970: DUP2
00000971: MSTORE
00000972: PUSH1 0x40
00000974: DUP1
00000975: DUP4
00000976: KECCAK256
00000977: CALLER
00000978: DUP5
00000979: MSTORE
0000097a: SWAP1
0000097b: SWAP2
0000097c: MSTORE
0000097d: SWAP1
0000097e: KECCAK256
0000097f: PUSH1 0x04
00000981: DUP2
00000982: ADD
00000983: SLOAD
00000984: PUSH1 0x03
00000986: DUP3
00000987: ADD
00000988: SLOAD
00000989: PUSH1 0x02
0000098b: SWAP1
0000098c: SWAP3
0000098d: ADD
0000098e: SLOAD
0000098f: SWAP1
00000990: SWAP8
00000991: POP
00000992: SWAP1
00000993: SWAP6
00000994: POP
00000995: SWAP4
00000996: POP
00000997: PUSH2 0x099f
0000099a: DUP8
0000099b: PUSH2 0x0d0c
0000099e: JUMP
0000099f: JUMPDEST
000009a0: SWAP3
000009a1: POP
000009a2: PUSH2 0x09aa
000009a5: TIMESTAMP
000009a6: PUSH2 0x1524
000009a9: JUMP
000009aa: JUMPDEST
000009ab: DUP1
000009ac: ISZERO
000009ad: PUSH2 0x09c8
000009b0: JUMPI
000009b1: POP
000009b2: PUSH1 0x00
000009b4: DUP8
000009b5: DUP2
000009b6: MSTORE
000009b7: PUSH1 0x0f
000009b9: PUSH1 0x20
000009bb: MSTORE
000009bc: PUSH1 0x40
000009be: SWAP1
000009bf: KECCAK256
000009c0: PUSH1 0x08
000009c2: ADD
000009c3: SLOAD
000009c4: PUSH1 0xff
000009c6: AND
000009c7: ISZERO
000009c8: JUMPDEST
000009c9: ISZERO
000009ca: PUSH2 0x0a05
000009cd: JUMPI
000009ce: PUSH1 0x40
000009d0: MLOAD
000009d1: CALLER
000009d2: SWAP1
000009d3: DUP8
000009d4: DUP8
000009d5: ADD
000009d6: DUP7
000009d7: ADD
000009d8: DUP6
000009d9: ADD
000009da: DUP1
000009db: ISZERO
000009dc: PUSH2 0x08fc
000009df: MUL
000009e0: SWAP2
000009e1: PUSH1 0x00
000009e3: DUP2
000009e4: DUP2
000009e5: DUP2
000009e6: DUP6
000009e7: DUP9
000009e8: DUP9
000009e9: CALL
000009ea: SWAP4
000009eb: POP
000009ec: POP
000009ed: POP
000009ee: POP
000009ef: ISZERO
000009f0: DUP1
000009f1: ISZERO
000009f2: PUSH2 0x09ff
000009f5: JUMPI
000009f6: RETURNDATASIZE
000009f7: PUSH1 0x00
000009f9: DUP1
000009fa: RETURNDATACOPY
000009fb: RETURNDATASIZE
000009fc: PUSH1 0x00
000009fe: REVERT
000009ff: JUMPDEST
00000a00: POP
00000a01: PUSH2 0x0a47
00000a04: JUMP
00000a05: JUMPDEST
00000a06: CALLER
00000a07: PUSH2 0x08fc
00000a0a: DUP5
00000a0b: DUP7
00000a0c: DUP9
00000a0d: DUP11
00000a0e: PUSH2 0x0a16
00000a11: DUP14
00000a12: PUSH2 0x11a3
00000a15: JUMP
00000a16: JUMPDEST
00000a17: ADD
00000a18: ADD
00000a19: ADD
00000a1a: ADD
00000a1b: SWAP1
00000a1c: DUP2
00000a1d: ISZERO
00000a1e: MUL
00000a1f: SWAP1
00000a20: PUSH1 0x40
00000a22: MLOAD
00000a23: PUSH1 0x00
00000a25: PUSH1 0x40
00000a27: MLOAD
00000a28: DUP1
00000a29: DUP4
00000a2a: SUB
00000a2b: DUP2
00000a2c: DUP6
00000a2d: DUP9
00000a2e: DUP9
00000a2f: CALL
00000a30: SWAP4
00000a31: POP
00000a32: POP
00000a33: POP
00000a34: POP
00000a35: ISZERO
00000a36: DUP1
00000a37: ISZERO
00000a38: PUSH2 0x0a45
00000a3b: JUMPI
00000a3c: RETURNDATASIZE
00000a3d: PUSH1 0x00
00000a3f: DUP1
00000a40: RETURNDATACOPY
00000a41: RETURNDATASIZE
00000a42: PUSH1 0x00
00000a44: REVERT
00000a45: JUMPDEST
00000a46: POP
00000a47: JUMPDEST
00000a48: PUSH1 0x00
00000a4a: DUP8
00000a4b: DUP2
00000a4c: MSTORE
00000a4d: PUSH1 0x10
00000a4f: PUSH1 0x20
00000a51: SWAP1
00000a52: DUP2
00000a53: MSTORE
00000a54: PUSH1 0x40
00000a56: DUP1
00000a57: DUP4
00000a58: KECCAK256
00000a59: CALLER
00000a5a: DUP5
00000a5b: MSTORE
00000a5c: SWAP1
00000a5d: SWAP2
00000a5e: MSTORE
00000a5f: DUP2
00000a60: KECCAK256
00000a61: PUSH1 0x04
00000a63: DUP2
00000a64: ADD
00000a65: DUP3
00000a66: SWAP1
00000a67: SSTORE
00000a68: PUSH1 0x03
00000a6a: DUP2
00000a6b: ADD
00000a6c: DUP3
00000a6d: SWAP1
00000a6e: SSTORE
00000a6f: PUSH1 0x02
00000a71: DUP2
00000a72: ADD
00000a73: SWAP2
00000a74: SWAP1
00000a75: SWAP2
00000a76: SSTORE
00000a77: PUSH1 0x05
00000a79: ADD
00000a7a: SLOAD
00000a7b: PUSH2 0x0a85
00000a7e: SWAP1
00000a7f: DUP5
00000a80: SWAP1
00000a81: PUSH2 0x155e
00000a84: JUMP
00000a85: JUMPDEST
00000a86: PUSH1 0x00
00000a88: DUP9
00000a89: DUP2
00000a8a: MSTORE
00000a8b: PUSH1 0x10
00000a8d: PUSH1 0x20
00000a8f: SWAP1
00000a90: DUP2
00000a91: MSTORE
00000a92: PUSH1 0x40
00000a94: DUP1
00000a95: DUP4
00000a96: KECCAK256
00000a97: CALLER
00000a98: DUP1
00000a99: DUP6
00000a9a: MSTORE
00000a9b: DUP2
00000a9c: DUP5
00000a9d: MSTORE
00000a9e: DUP3
00000a9f: DUP6
00000aa0: KECCAK256
00000aa1: PUSH1 0x05
00000aa3: DUP2
00000aa4: ADD
00000aa5: SWAP7
00000aa6: SWAP1
00000aa7: SWAP7
00000aa8: SSTORE
00000aa9: SWAP4
00000aaa: DUP5
00000aab: SWAP1
00000aac: MSTORE
00000aad: DUP3
00000aae: MSTORE
00000aaf: PUSH1 0x09
00000ab1: SWAP1
00000ab2: SWAP4
00000ab3: ADD
00000ab4: DUP1
00000ab5: SLOAD
00000ab6: PUSH1 0xff
00000ab8: NOT
00000ab9: AND
00000aba: PUSH1 0x01
00000abc: OR
00000abd: SWAP1
00000abe: SSTORE
00000abf: DUP3
00000ac0: MLOAD
00000ac1: DUP10
00000ac2: DUP2
00000ac3: MSTORE
00000ac4: SWAP1
00000ac5: DUP2
00000ac6: ADD
00000ac7: DUP9
00000ac8: SWAP1
00000ac9: MSTORE
00000aca: DUP1
00000acb: DUP4
00000acc: ADD
00000acd: DUP8
00000ace: SWAP1
00000acf: MSTORE
00000ad0: PUSH1 0x60
00000ad2: DUP2
00000ad3: ADD
00000ad4: DUP7
00000ad5: SWAP1
00000ad6: MSTORE
00000ad7: SWAP2
00000ad8: MLOAD
00000ad9: SWAP1
00000ada: SWAP2
00000adb: PUSH32 0xcec0d427a3bb225af399d516cf77e516ba972de93abdb14e98cebe7c6068bcd6
00000afc: SWAP2
00000afd: SWAP1
00000afe: DUP2
00000aff: SWAP1
00000b00: SUB
00000b01: PUSH1 0x80
00000b03: ADD
00000b04: SWAP1
00000b05: LOG2
00000b06: POP
00000b07: POP
00000b08: POP
00000b09: POP
00000b0a: POP
00000b0b: POP
00000b0c: POP
00000b0d: JUMP
00000b0e: JUMPDEST
00000b0f: PUSH1 0x00
00000b11: SWAP2
00000b12: DUP3
00000b13: MSTORE
00000b14: PUSH1 0x0e
00000b16: PUSH1 0x20
00000b18: SWAP1
00000b19: DUP2
00000b1a: MSTORE
00000b1b: PUSH1 0x40
00000b1d: DUP1
00000b1e: DUP5
00000b1f: KECCAK256
00000b20: SWAP3
00000b21: DUP5
00000b22: MSTORE
00000b23: SWAP2
00000b24: SWAP1
00000b25: MSTORE
00000b26: SWAP1
00000b27: KECCAK256
00000b28: PUSH1 0x01
00000b2a: DUP2
00000b2b: ADD
00000b2c: SLOAD
00000b2d: SWAP1
00000b2e: SLOAD
00000b2f: SWAP1
00000b30: SWAP2
00000b31: JUMP
00000b32: JUMPDEST
00000b33: PUSH1 0x00
00000b35: SWAP1
00000b36: DUP2
00000b37: MSTORE
00000b38: PUSH1 0x10
00000b3a: PUSH1 0x20
00000b3c: SWAP1
00000b3d: DUP2
00000b3e: MSTORE
00000b3f: PUSH1 0x40
00000b41: DUP1
00000b42: DUP4
00000b43: KECCAK256
00000b44: CALLER
00000b45: DUP5
00000b46: MSTORE
00000b47: SWAP1
00000b48: SWAP2
00000b49: MSTORE
00000b4a: SWAP1
00000b4b: KECCAK256
00000b4c: PUSH1 0x02
00000b4e: DUP2
00000b4f: ADD
00000b50: SLOAD
00000b51: PUSH1 0x04
00000b53: SWAP1
00000b54: SWAP2
00000b55: ADD
00000b56: SLOAD
00000b57: ADD
00000b58: SWAP1
00000b59: JUMP
00000b5a: JUMPDEST
00000b5b: PUSH1 0x00
00000b5d: DUP2
00000b5e: DUP2
00000b5f: MSTORE
00000b60: PUSH1 0x10
00000b62: PUSH1 0x20
00000b64: SWAP1
00000b65: DUP2
00000b66: MSTORE
00000b67: PUSH1 0x40
00000b69: DUP1
00000b6a: DUP4
00000b6b: KECCAK256
00000b6c: CALLER
00000b6d: DUP5
00000b6e: MSTORE
00000b6f: SWAP1
00000b70: SWAP2
00000b71: MSTORE
00000b72: SWAP1
00000b73: KECCAK256
00000b74: PUSH1 0x07
00000b76: DUP2
00000b77: ADD
00000b78: SLOAD
00000b79: PUSH1 0x08
00000b7b: SWAP1
00000b7c: SWAP2
00000b7d: ADD
00000b7e: SLOAD
00000b7f: PUSH2 0x0100
00000b82: SWAP1
00000b83: SWAP2
00000b84: DIV
00000b85: PUSH1 0xff
00000b87: AND
00000b88: SWAP1
00000b89: JUMPDEST
00000b8a: SWAP2
00000b8b: POP
00000b8c: SWAP2
00000b8d: JUMP
00000b8e: JUMPDEST
00000b8f: PUSH1 0x00
00000b91: DUP1
00000b92: SLOAD
00000b93: DUP3
00000b94: DUP3
00000b95: MSTORE
00000b96: PUSH1 0x0f
00000b98: PUSH1 0x20
00000b9a: MSTORE
00000b9b: PUSH1 0x40
00000b9d: DUP3
00000b9e: KECCAK256
00000b9f: PUSH1 0x05
00000ba1: DUP2
00000ba2: ADD
00000ba3: SLOAD
00000ba4: PUSH1 0x04
00000ba6: SWAP1
00000ba7: SWAP2
00000ba8: ADD
00000ba9: SLOAD
00000baa: PUSH2 0x0bca
00000bad: SWAP3
00000bae: SWAP2
00000baf: PUSH2 0x0bbe
00000bb2: SWAP2
00000bb3: SWAP1
00000bb4: PUSH4 0xffffffff
00000bb9: PUSH2 0x15b9
00000bbc: AND
00000bbd: JUMP
00000bbe: JUMPDEST
00000bbf: SWAP1
00000bc0: PUSH4 0xffffffff
00000bc5: PUSH2 0x15b9
00000bc8: AND
00000bc9: JUMP
00000bca: JUMPDEST
00000bcb: SWAP3
00000bcc: SWAP2
00000bcd: POP
00000bce: POP
00000bcf: JUMP
00000bd0: JUMPDEST
00000bd1: PUSH1 0x00
00000bd3: PUSH2 0x0bdb
00000bd6: TIMESTAMP
00000bd7: PUSH2 0x1524
00000bda: JUMP
00000bdb: JUMPDEST
00000bdc: DUP1
00000bdd: ISZERO
00000bde: PUSH2 0x0be8
00000be1: JUMPI
00000be2: POP
00000be3: PUSH1 0x05
00000be5: SLOAD
00000be6: DUP3
00000be7: EQ
00000be8: JUMPDEST
00000be9: ISZERO
00000bea: PUSH2 0x0c41
00000bed: JUMPI
00000bee: PUSH1 0x00
00000bf0: DUP3
00000bf1: DUP2
00000bf2: MSTORE
00000bf3: PUSH1 0x10
00000bf5: PUSH1 0x20
00000bf7: SWAP1
00000bf8: DUP2
00000bf9: MSTORE
00000bfa: PUSH1 0x40
00000bfc: DUP1
00000bfd: DUP4
00000bfe: KECCAK256
00000bff: CALLER
00000c00: DUP5
00000c01: MSTORE
00000c02: SWAP1
00000c03: SWAP2
00000c04: MSTORE
00000c05: SWAP1
00000c06: KECCAK256
00000c07: PUSH1 0x03
00000c09: ADD
00000c0a: SLOAD
00000c0b: PUSH2 0x0c13
00000c0e: DUP4
00000c0f: PUSH2 0x0d0c
00000c12: JUMP
00000c13: JUMPDEST
00000c14: PUSH1 0x00
00000c16: DUP5
00000c17: DUP2
00000c18: MSTORE
00000c19: PUSH1 0x10
00000c1b: PUSH1 0x20
00000c1d: SWAP1
00000c1e: DUP2
00000c1f: MSTORE
00000c20: PUSH1 0x40
00000c22: DUP1
00000c23: DUP4
00000c24: KECCAK256
00000c25: CALLER
00000c26: DUP5
00000c27: MSTORE
00000c28: SWAP1
00000c29: SWAP2
00000c2a: MSTORE
00000c2b: SWAP1
00000c2c: KECCAK256
00000c2d: PUSH1 0x02
00000c2f: DUP2
00000c30: ADD
00000c31: SLOAD
00000c32: PUSH1 0x04
00000c34: SWAP1
00000c35: SWAP2
00000c36: ADD
00000c37: SLOAD
00000c38: ADD
00000c39: ADD
00000c3a: ADD
00000c3b: SWAP1
00000c3c: POP
00000c3d: PUSH2 0x05ed
00000c40: JUMP
00000c41: JUMPDEST
00000c42: PUSH1 0x00
00000c44: DUP3
00000c45: DUP2
00000c46: MSTORE
00000c47: PUSH1 0x10
00000c49: PUSH1 0x20
00000c4b: SWAP1
00000c4c: DUP2
00000c4d: MSTORE
00000c4e: PUSH1 0x40
00000c50: DUP1
00000c51: DUP4
00000c52: KECCAK256
00000c53: CALLER
00000c54: DUP5
00000c55: MSTORE
00000c56: SWAP1
00000c57: SWAP2
00000c58: MSTORE
00000c59: SWAP1
00000c5a: KECCAK256
00000c5b: PUSH1 0x03
00000c5d: ADD
00000c5e: SLOAD
00000c5f: PUSH2 0x0c67
00000c62: DUP4
00000c63: PUSH2 0x0d0c
00000c66: JUMP
00000c67: JUMPDEST
00000c68: PUSH1 0x00
00000c6a: DUP5
00000c6b: DUP2
00000c6c: MSTORE
00000c6d: PUSH1 0x10
00000c6f: PUSH1 0x20
00000c71: SWAP1
00000c72: DUP2
00000c73: MSTORE
00000c74: PUSH1 0x40
00000c76: DUP1
00000c77: DUP4
00000c78: KECCAK256
00000c79: CALLER
00000c7a: DUP5
00000c7b: MSTORE
00000c7c: SWAP1
00000c7d: SWAP2
00000c7e: MSTORE
00000c7f: SWAP1
00000c80: KECCAK256
00000c81: PUSH1 0x02
00000c83: DUP2
00000c84: ADD
00000c85: SLOAD
00000c86: PUSH1 0x04
00000c88: SWAP1
00000c89: SWAP2
00000c8a: ADD
00000c8b: SLOAD
00000c8c: PUSH2 0x0c94
00000c8f: DUP7
00000c90: PUSH2 0x11a3
00000c93: JUMP
00000c94: JUMPDEST
00000c95: ADD
00000c96: ADD
00000c97: ADD
00000c98: ADD
00000c99: SWAP3
00000c9a: SWAP2
00000c9b: POP
00000c9c: POP
00000c9d: JUMP
00000c9e: JUMPDEST
00000c9f: PUSH1 0x00
00000ca1: SWAP1
00000ca2: DUP2
00000ca3: MSTORE
00000ca4: PUSH1 0x10
00000ca6: PUSH1 0x20
00000ca8: SWAP1
00000ca9: DUP2
00000caa: MSTORE
00000cab: PUSH1 0x40
00000cad: DUP1
00000cae: DUP4
00000caf: KECCAK256
00000cb0: CALLER
00000cb1: DUP5
00000cb2: MSTORE
00000cb3: SWAP1
00000cb4: SWAP2
00000cb5: MSTORE
00000cb6: SWAP1
00000cb7: KECCAK256
00000cb8: PUSH1 0x03
00000cba: ADD
00000cbb: SLOAD
00000cbc: SWAP1
00000cbd: JUMP
00000cbe: JUMPDEST
00000cbf: PUSH1 0x00
00000cc1: DUP1
00000cc2: PUSH2 0x0cca
00000cc5: TIMESTAMP
00000cc6: PUSH2 0x1524
00000cc9: JUMP
00000cca: JUMPDEST
00000ccb: ISZERO
00000ccc: PUSH2 0x0d01
00000ccf: JUMPI
00000cd0: PUSH1 0x00
00000cd2: DUP4
00000cd3: DUP2
00000cd4: MSTORE
00000cd5: PUSH1 0x0f
00000cd7: PUSH1 0x20
00000cd9: MSTORE
00000cda: PUSH1 0x40
00000cdc: SWAP1
00000cdd: KECCAK256
00000cde: PUSH1 0x01
00000ce0: DUP2
00000ce1: ADD
00000ce2: SLOAD
00000ce3: PUSH1 0x02
00000ce5: SWAP1
00000ce6: SWAP2
00000ce7: ADD
00000ce8: SLOAD
00000ce9: PUSH2 0x0cf8
00000cec: SWAP1
00000ced: TIMESTAMP
00000cee: PUSH4 0xffffffff
00000cf3: PUSH2 0x15b9
00000cf6: AND
00000cf7: JUMP
00000cf8: JUMPDEST
00000cf9: SWAP2
00000cfa: POP
00000cfb: SWAP2
00000cfc: POP
00000cfd: PUSH2 0x0b89
00000d00: JUMP
00000d01: JUMPDEST
00000d02: POP
00000d03: PUSH1 0x00
00000d05: SWAP1
00000d06: POP
00000d07: DUP1
00000d08: PUSH2 0x0b89
00000d0b: JUMP
00000d0c: JUMPDEST
00000d0d: PUSH1 0x00
00000d0f: DUP2
00000d10: DUP2
00000d11: MSTORE
00000d12: PUSH1 0x10
00000d14: PUSH1 0x20
00000d16: SWAP1
00000d17: DUP2
00000d18: MSTORE
00000d19: PUSH1 0x40
00000d1b: DUP1
00000d1c: DUP4
00000d1d: KECCAK256
00000d1e: CALLER
00000d1f: DUP1
00000d20: DUP6
00000d21: MSTORE
00000d22: DUP2
00000d23: DUP5
00000d24: MSTORE
00000d25: DUP3
00000d26: DUP6
00000d27: KECCAK256
00000d28: PUSH1 0x05
00000d2a: DUP2
00000d2b: ADD
00000d2c: SLOAD
00000d2d: DUP8
00000d2e: DUP8
00000d2f: MSTORE
00000d30: PUSH1 0x0f
00000d32: DUP7
00000d33: MSTORE
00000d34: SWAP4
00000d35: DUP7
00000d36: KECCAK256
00000d37: PUSH1 0x06
00000d39: ADD
00000d3a: SLOAD
00000d3b: SWAP2
00000d3c: DUP7
00000d3d: MSTORE
00000d3e: SWAP2
00000d3f: SWAP1
00000d40: SWAP4
00000d41: MSTORE
00000d42: PUSH1 0x01
00000d44: ADD
00000d45: SLOAD
00000d46: PUSH2 0x0bca
00000d49: SWAP3
00000d4a: PUSH8 0x0de0b6b3a7640000
00000d53: SWAP2
00000d54: PUSH2 0x0d62
00000d57: SWAP2
00000d58: PUSH4 0xffffffff
00000d5d: PUSH2 0x1619
00000d60: AND
00000d61: JUMP
00000d62: JUMPDEST
00000d63: DUP2
00000d64: ISZERO
00000d65: ISZERO
00000d66: PUSH2 0x0d6b
00000d69: JUMPI
00000d6a: INVALID
00000d6b: JUMPDEST
00000d6c: DIV
00000d6d: SWAP1
00000d6e: PUSH4 0xffffffff
00000d73: PUSH2 0x15b9
00000d76: AND
00000d77: JUMP
00000d78: JUMPDEST
00000d79: PUSH1 0x00
00000d7b: PUSH2 0x0dda
00000d7e: PUSH2 0x0d95
00000d81: DUP4
00000d82: PUSH8 0x0de0b6b3a7640000
00000d8b: PUSH4 0xffffffff
00000d90: PUSH2 0x1619
00000d93: AND
00000d94: JUMP
00000d95: JUMPDEST
00000d96: PUSH2 0x0dce
00000d99: PUSH2 0x0db0
00000d9c: DUP6
00000d9d: PUSH8 0x0de0b6b3a7640000
00000da6: PUSH4 0xffffffff
00000dab: PUSH2 0x1619
00000dae: AND
00000daf: JUMP
00000db0: JUMPDEST
00000db1: PUSH1 0x00
00000db3: DUP8
00000db4: DUP2
00000db5: MSTORE
00000db6: PUSH1 0x0f
00000db8: PUSH1 0x20
00000dba: MSTORE
00000dbb: PUSH1 0x40
00000dbd: SWAP1
00000dbe: KECCAK256
00000dbf: PUSH1 0x03
00000dc1: ADD
00000dc2: SLOAD
00000dc3: SWAP1
00000dc4: PUSH4 0xffffffff
00000dc9: PUSH2 0x155e
00000dcc: AND
00000dcd: JUMP
00000dce: JUMPDEST
00000dcf: SWAP1
00000dd0: PUSH4 0xffffffff
00000dd5: PUSH2 0x1690
00000dd8: AND
00000dd9: JUMP
00000dda: JUMPDEST
00000ddb: SWAP4
00000ddc: SWAP3
00000ddd: POP
00000dde: POP
00000ddf: POP
00000de0: JUMP
00000de1: JUMPDEST
00000de2: PUSH1 0x00
00000de4: SWAP1
00000de5: DUP2
00000de6: MSTORE
00000de7: PUSH1 0x0f
00000de9: PUSH1 0x20
00000deb: MSTORE
00000dec: PUSH1 0x40
00000dee: SWAP1
00000def: KECCAK256
00000df0: PUSH1 0x03
00000df2: ADD
00000df3: SLOAD
00000df4: SWAP1
00000df5: JUMP
00000df6: JUMPDEST
00000df7: PUSH1 0x40
00000df9: DUP1
00000dfa: MLOAD
00000dfb: DUP1
00000dfc: DUP3
00000dfd: ADD
00000dfe: SWAP1
00000dff: SWAP2
00000e00: MSTORE
00000e01: PUSH1 0x04
00000e03: DUP2
00000e04: MSTORE
00000e05: PUSH32 0x424f334b00000000000000000000000000000000000000000000000000000000
00000e26: PUSH1 0x20
00000e28: DUP3
00000e29: ADD
00000e2a: MSTORE
00000e2b: DUP2
00000e2c: JUMP
00000e2d: JUMPDEST
00000e2e: PUSH1 0x05
00000e30: SLOAD
00000e31: PUSH1 0x00
00000e33: SWAP1
00000e34: DUP2
00000e35: MSTORE
00000e36: PUSH1 0x0f
00000e38: PUSH1 0x20
00000e3a: MSTORE
00000e3b: PUSH1 0x40
00000e3d: DUP2
00000e3e: KECCAK256
00000e3f: PUSH1 0x01
00000e41: ADD
00000e42: SLOAD
00000e43: TIMESTAMP
00000e44: SWAP1
00000e45: DUP2
00000e46: LT
00000e47: DUP1
00000e48: ISZERO
00000e49: SWAP1
00000e4a: PUSH2 0x0e67
00000e4d: JUMPI
00000e4e: POP
00000e4f: PUSH1 0x05
00000e51: SLOAD
00000e52: PUSH1 0x00
00000e54: SWAP1
00000e55: DUP2
00000e56: MSTORE
00000e57: PUSH1 0x0f
00000e59: PUSH1 0x20
00000e5b: MSTORE
00000e5c: PUSH1 0x40
00000e5e: SWAP1
00000e5f: KECCAK256
00000e60: PUSH1 0x02
00000e62: ADD
00000e63: SLOAD
00000e64: DUP2
00000e65: GT
00000e66: ISZERO
00000e67: JUMPDEST
00000e68: SWAP2
00000e69: POP
00000e6a: JUMPDEST
00000e6b: POP
00000e6c: SWAP1
00000e6d: JUMP
00000e6e: JUMPDEST
00000e6f: PUSH1 0x00
00000e71: SWAP1
00000e72: DUP2
00000e73: MSTORE
00000e74: PUSH1 0x0f
00000e76: PUSH1 0x20
00000e78: MSTORE
00000e79: PUSH1 0x40
00000e7b: SWAP1
00000e7c: KECCAK256
00000e7d: PUSH1 0x07
00000e7f: ADD
00000e80: SLOAD
00000e81: SWAP1
00000e82: JUMP
00000e83: JUMPDEST
00000e84: PUSH1 0x01
00000e86: SLOAD
00000e87: SWAP1
00000e88: JUMP
00000e89: JUMPDEST
00000e8a: PUSH1 0x00
00000e8c: DUP2
00000e8d: DUP2
00000e8e: MSTORE
00000e8f: PUSH1 0x10
00000e91: PUSH1 0x20
00000e93: SWAP1
00000e94: DUP2
00000e95: MSTORE
00000e96: PUSH1 0x40
00000e98: DUP1
00000e99: DUP4
00000e9a: KECCAK256
00000e9b: CALLER
00000e9c: DUP5
00000e9d: MSTORE
00000e9e: SWAP1
00000e9f: SWAP2
00000ea0: MSTORE
00000ea1: DUP2
00000ea2: KECCAK256
00000ea3: PUSH1 0x03
00000ea5: ADD
00000ea6: SLOAD
00000ea7: PUSH2 0x0c67
00000eaa: DUP4
00000eab: PUSH2 0x0d0c
00000eae: JUMP
00000eaf: JUMPDEST
00000eb0: PUSH1 0x00
00000eb2: TIMESTAMP
00000eb3: PUSH2 0x0ebb
00000eb6: DUP2
00000eb7: PUSH2 0x1524
00000eba: JUMP
00000ebb: JUMPDEST
00000ebc: ISZERO
00000ebd: PUSH2 0x0efa
00000ec0: JUMPI
00000ec1: PUSH1 0x05
00000ec3: SLOAD
00000ec4: PUSH1 0x00
00000ec6: SWAP1
00000ec7: DUP2
00000ec8: MSTORE
00000ec9: PUSH1 0x0f
00000ecb: PUSH1 0x20
00000ecd: MSTORE
00000ece: PUSH1 0x40
00000ed0: SWAP1
00000ed1: KECCAK256
00000ed2: PUSH1 0x03
00000ed4: ADD
00000ed5: SLOAD
00000ed6: PUSH2 0x0ef3
00000ed9: SWAP1
00000eda: PUSH8 0x0de0b6b3a7640000
00000ee3: SWAP1
00000ee4: PUSH2 0x0dce
00000ee7: SWAP1
00000ee8: DUP3
00000ee9: PUSH4 0xffffffff
00000eee: PUSH2 0x155e
00000ef1: AND
00000ef2: JUMP
00000ef3: JUMPDEST
00000ef4: SWAP2
00000ef5: POP
00000ef6: PUSH2 0x0e6a
00000ef9: JUMP
00000efa: JUMPDEST
00000efb: PUSH6 0x44364c5bb000
00000f02: SWAP2
00000f03: POP
00000f04: PUSH2 0x0e6a
00000f07: JUMP
00000f08: JUMPDEST
00000f09: PUSH1 0x04
00000f0b: SLOAD
00000f0c: PUSH1 0x00
00000f0e: SWAP1
00000f0f: DUP2
00000f10: SWAP1
00000f11: PUSH1 0xff
00000f13: AND
00000f14: ISZERO
00000f15: ISZERO
00000f16: PUSH1 0x01
00000f18: EQ
00000f19: PUSH2 0x0f5a
00000f1c: JUMPI
00000f1d: PUSH1 0x40
00000f1f: DUP1
00000f20: MLOAD
00000f21: PUSH1 0xe5
00000f23: PUSH1 0x02
00000f25: EXP
00000f26: PUSH3 0x461bcd
00000f2a: MUL
00000f2b: DUP2
00000f2c: MSTORE
00000f2d: PUSH1 0x20
00000f2f: PUSH1 0x04
00000f31: DUP3
00000f32: ADD
00000f33: MSTORE
00000f34: PUSH1 0x11
00000f36: PUSH1 0x24
00000f38: DUP3
00000f39: ADD
00000f3a: MSTORE
00000f3b: PUSH1 0x00
00000f3d: DUP1
00000f3e: MLOAD
00000f3f: PUSH1 0x20
00000f41: PUSH2 0x29f5
00000f44: DUP4
00000f45: CODECOPY
00000f46: DUP2
00000f47: MLOAD
00000f48: SWAP2
00000f49: MSTORE
00000f4a: PUSH1 0x44
00000f4c: DUP3
00000f4d: ADD
00000f4e: MSTORE
00000f4f: SWAP1
00000f50: MLOAD
00000f51: SWAP1
00000f52: DUP2
00000f53: SWAP1
00000f54: SUB
00000f55: PUSH1 0x64
00000f57: ADD
00000f58: SWAP1
00000f59: REVERT
00000f5a: JUMPDEST
00000f5b: CALLER
00000f5c: DUP1
00000f5d: EXTCODESIZE
00000f5e: DUP1
00000f5f: ISZERO
00000f60: PUSH2 0x0fd9
00000f63: JUMPI
00000f64: PUSH1 0x40
00000f66: DUP1
00000f67: MLOAD
00000f68: PUSH1 0xe5
00000f6a: PUSH1 0x02
00000f6c: EXP
00000f6d: PUSH3 0x461bcd
00000f71: MUL
00000f72: DUP2
00000f73: MSTORE
00000f74: PUSH1 0x20
00000f76: PUSH1 0x04
00000f78: DUP3
00000f79: ADD
00000f7a: MSTORE
00000f7b: PUSH1 0x2a
00000f7d: PUSH1 0x24
00000f7f: DUP3
00000f80: ADD
00000f81: MSTORE
00000f82: PUSH32 0x416464726573736573206e6f74206f776e65642062792068756d616e20617265
00000fa3: PUSH1 0x44
00000fa5: DUP3
00000fa6: ADD
00000fa7: MSTORE
00000fa8: PUSH32 0x20666f7262696464656e00000000000000000000000000000000000000000000
00000fc9: PUSH1 0x64
00000fcb: DUP3
00000fcc: ADD
00000fcd: MSTORE
00000fce: SWAP1
00000fcf: MLOAD
00000fd0: SWAP1
00000fd1: DUP2
00000fd2: SWAP1
00000fd3: SUB
00000fd4: PUSH1 0x84
00000fd6: ADD
00000fd7: SWAP1
00000fd8: REVERT
00000fd9: JUMPDEST
00000fda: CALLVALUE
00000fdb: PUSH5 0x174876e800
00000fe1: DUP2
00000fe2: LT
00000fe3: ISZERO
00000fe4: PUSH2 0x1037
00000fe7: JUMPI
00000fe8: PUSH1 0x40
00000fea: DUP1
00000feb: MLOAD
00000fec: PUSH1 0xe5
00000fee: PUSH1 0x02
00000ff0: EXP
00000ff1: PUSH3 0x461bcd
00000ff5: MUL
00000ff6: DUP2
00000ff7: MSTORE
00000ff8: PUSH1 0x20
00000ffa: PUSH1 0x04
00000ffc: DUP3
00000ffd: ADD
00000ffe: MSTORE
00000fff: PUSH1 0x0c
00001001: PUSH1 0x24
00001003: DUP3
00001004: ADD
00001005: MSTORE
00001006: PUSH32 0x67726f756e64206c696d69740000000000000000000000000000000000000000
00001027: PUSH1 0x44
00001029: DUP3
0000102a: ADD
0000102b: MSTORE
0000102c: SWAP1
0000102d: MLOAD
0000102e: SWAP1
0000102f: DUP2
00001030: SWAP1
00001031: SUB
00001032: PUSH1 0x64
00001034: ADD
00001035: SWAP1
00001036: REVERT
00001037: JUMPDEST
00001038: PUSH10 0x152d02c7e14af6800000
00001043: DUP2
00001044: GT
00001045: ISZERO
00001046: PUSH2 0x1099
00001049: JUMPI
0000104a: PUSH1 0x40
0000104c: DUP1
0000104d: MLOAD
0000104e: PUSH1 0xe5
00001050: PUSH1 0x02
00001052: EXP
00001053: PUSH3 0x461bcd
00001057: MUL
00001058: DUP2
00001059: MSTORE
0000105a: PUSH1 0x20
0000105c: PUSH1 0x04
0000105e: DUP3
0000105f: ADD
00001060: MSTORE
00001061: PUSH1 0x0b
00001063: PUSH1 0x24
00001065: DUP3
00001066: ADD
00001067: MSTORE
00001068: PUSH32 0x666c6f6f72206c696d6974000000000000000000000000000000000000000000
00001089: PUSH1 0x44
0000108b: DUP3
0000108c: ADD
0000108d: MSTORE
0000108e: SWAP1
0000108f: MLOAD
00001090: SWAP1
00001091: DUP2
00001092: SWAP1
00001093: SUB
00001094: PUSH1 0x64
00001096: ADD
00001097: SWAP1
00001098: REVERT
00001099: JUMPDEST
0000109a: DUP7
0000109b: PUSH1 0x01
0000109d: EQ
0000109e: DUP1
0000109f: PUSH2 0x10a8
000010a2: JUMPI
000010a3: POP
000010a4: DUP7
000010a5: PUSH1 0x02
000010a7: EQ
000010a8: JUMPDEST
000010a9: DUP1
000010aa: PUSH2 0x10b3
000010ad: JUMPI
000010ae: POP
000010af: DUP7
000010b0: PUSH1 0x03
000010b2: EQ
000010b3: JUMPDEST
000010b4: ISZERO
000010b5: ISZERO
000010b6: PUSH2 0x1109
000010b9: JUMPI
000010ba: PUSH1 0x40
000010bc: DUP1
000010bd: MLOAD
000010be: PUSH1 0xe5
000010c0: PUSH1 0x02
000010c2: EXP
000010c3: PUSH3 0x461bcd
000010c7: MUL
000010c8: DUP2
000010c9: MSTORE
000010ca: PUSH1 0x20
000010cc: PUSH1 0x04
000010ce: DUP3
000010cf: ADD
000010d0: MSTORE
000010d1: PUSH1 0x10
000010d3: PUSH1 0x24
000010d5: DUP3
000010d6: ADD
000010d7: MSTORE
000010d8: PUSH32 0x496e76616c6964205465616d2049442100000000000000000000000000000000
000010f9: PUSH1 0x44
000010fb: DUP3
000010fc: ADD
000010fd: MSTORE
000010fe: SWAP1
000010ff: MLOAD
00001100: SWAP1
00001101: DUP2
00001102: SWAP1
00001103: SUB
00001104: PUSH1 0x64
00001106: ADD
00001107: SWAP1
00001108: REVERT
00001109: JUMPDEST
0000110a: PUSH1 0x06
0000110c: DUP8
0000110d: SWAP1
0000110e: SSTORE
0000110f: TIMESTAMP
00001110: SWAP5
00001111: POP
00001112: PUSH2 0x111a
00001115: DUP6
00001116: PUSH2 0x1524
00001119: JUMP
0000111a: JUMPDEST
0000111b: ISZERO
0000111c: PUSH2 0x1138
0000111f: JUMPI
00001120: PUSH2 0x1128
00001123: DUP7
00001124: PUSH2 0x16b6
00001127: JUMP
00001128: JUMPDEST
00001129: SWAP4
0000112a: POP
0000112b: PUSH2 0x1133
0000112e: DUP5
0000112f: PUSH2 0x232e
00001132: JUMP
00001133: JUMPDEST
00001134: PUSH2 0x118f
00001137: JUMP
00001138: JUMPDEST
00001139: PUSH2 0x1141
0000113c: DUP6
0000113d: PUSH2 0x1524
00001140: JUMP
00001141: JUMPDEST
00001142: ISZERO
00001143: DUP1
00001144: ISZERO
00001145: PUSH2 0x1163
00001148: JUMPI
00001149: POP
0000114a: PUSH1 0x05
0000114c: SLOAD
0000114d: PUSH1 0x00
0000114f: SWAP1
00001150: DUP2
00001151: MSTORE
00001152: PUSH1 0x0f
00001154: PUSH1 0x20
00001156: MSTORE
00001157: PUSH1 0x40
00001159: SWAP1
0000115a: KECCAK256
0000115b: PUSH1 0x08
0000115d: ADD
0000115e: SLOAD
0000115f: PUSH1 0xff
00001161: AND
00001162: ISZERO
00001163: JUMPDEST
00001164: ISZERO
00001165: PUSH2 0x01aa
00001168: JUMPI
00001169: PUSH1 0x05
0000116b: SLOAD
0000116c: PUSH1 0x00
0000116e: SWAP1
0000116f: DUP2
00001170: MSTORE
00001171: PUSH1 0x0f
00001173: PUSH1 0x20
00001175: MSTORE
00001176: PUSH1 0x40
00001178: SWAP1
00001179: KECCAK256
0000117a: PUSH1 0x08
0000117c: ADD
0000117d: DUP1
0000117e: SLOAD
0000117f: PUSH1 0xff
00001181: NOT
00001182: AND
00001183: PUSH1 0x01
00001185: OR
00001186: SWAP1
00001187: SSTORE
00001188: PUSH2 0x1133
0000118b: PUSH2 0x247e
0000118e: JUMP
0000118f: JUMPDEST
00001190: POP
00001191: POP
00001192: POP
00001193: POP
00001194: POP
00001195: POP
00001196: POP
00001197: JUMP
00001198: JUMPDEST
00001199: PUSH7 0x6a94d74f430000
000011a1: DUP2
000011a2: JUMP
000011a3: JUMPDEST
000011a4: PUSH1 0x00
000011a6: DUP2
000011a7: DUP2
000011a8: MSTORE
000011a9: PUSH1 0x0f
000011ab: PUSH1 0x20
000011ad: MSTORE
000011ae: PUSH1 0x40
000011b0: DUP2
000011b1: KECCAK256
000011b2: PUSH1 0x05
000011b4: ADD
000011b5: SLOAD
000011b6: PUSH1 0x08
000011b8: SLOAD
000011b9: DUP3
000011ba: SWAP1
000011bb: DUP2
000011bc: SWAP1
000011bd: PUSH2 0x11e1
000011c0: SWAP1
000011c1: PUSH2 0x03e8
000011c4: SWAP1
000011c5: PUSH2 0x11d5
000011c8: SWAP1
000011c9: DUP7
000011ca: SWAP1
000011cb: PUSH4 0xffffffff
000011d0: PUSH2 0x1619
000011d3: AND
000011d4: JUMP
000011d5: JUMPDEST
000011d6: SWAP1
000011d7: PUSH4 0xffffffff
000011dc: PUSH2 0x281b
000011df: AND
000011e0: JUMP
000011e1: JUMPDEST
000011e2: PUSH1 0x00
000011e4: DUP7
000011e5: DUP2
000011e6: MSTORE
000011e7: PUSH1 0x10
000011e9: PUSH1 0x20
000011eb: SWAP1
000011ec: DUP2
000011ed: MSTORE
000011ee: PUSH1 0x40
000011f0: DUP1
000011f1: DUP4
000011f2: KECCAK256
000011f3: CALLER
000011f4: DUP5
000011f5: MSTORE
000011f6: SWAP1
000011f7: SWAP2
000011f8: MSTORE
000011f9: SWAP1
000011fa: KECCAK256
000011fb: PUSH1 0x06
000011fd: ADD
000011fe: SLOAD
000011ff: SWAP1
00001200: SWAP3
00001201: POP
00001202: SWAP1
00001203: POP
00001204: PUSH2 0x120c
00001207: TIMESTAMP
00001208: PUSH2 0x1524
0000120b: JUMP
0000120c: JUMPDEST
0000120d: DUP1
0000120e: ISZERO
0000120f: PUSH2 0x1219
00001212: JUMPI
00001213: POP
00001214: PUSH1 0x05
00001216: SLOAD
00001217: DUP6
00001218: EQ
00001219: JUMPDEST
0000121a: ISZERO
0000121b: PUSH2 0x126f
0000121e: JUMPI
0000121f: PUSH1 0x00
00001221: DUP6
00001222: DUP2
00001223: MSTORE
00001224: PUSH1 0x0e
00001226: PUSH1 0x20
00001228: SWAP1
00001229: DUP2
0000122a: MSTORE
0000122b: PUSH1 0x40
0000122d: DUP1
0000122e: DUP4
0000122f: KECCAK256
00001230: DUP5
00001231: DUP5
00001232: MSTORE
00001233: DUP3
00001234: MSTORE
00001235: DUP1
00001236: DUP4
00001237: KECCAK256
00001238: PUSH1 0x01
0000123a: SWAP1
0000123b: DUP2
0000123c: ADD
0000123d: SLOAD
0000123e: DUP10
0000123f: DUP6
00001240: MSTORE
00001241: PUSH1 0x10
00001243: DUP5
00001244: MSTORE
00001245: DUP3
00001246: DUP6
00001247: KECCAK256
00001248: CALLER
00001249: DUP7
0000124a: MSTORE
0000124b: SWAP1
0000124c: SWAP4
0000124d: MSTORE
0000124e: SWAP3
0000124f: KECCAK256
00001250: SWAP1
00001251: SWAP2
00001252: ADD
00001253: SLOAD
00001254: PUSH2 0x1268
00001257: SWAP2
00001258: SWAP1
00001259: PUSH2 0x11d5
0000125c: SWAP1
0000125d: DUP6
0000125e: PUSH4 0xffffffff
00001263: PUSH2 0x1619
00001266: AND
00001267: JUMP
00001268: JUMPDEST
00001269: SWAP4
0000126a: POP
0000126b: PUSH2 0x12f9
0000126e: JUMP
0000126f: JUMPDEST
00001270: PUSH1 0x03
00001272: SLOAD
00001273: DUP2
00001274: EQ
00001275: PUSH2 0x1281
00001278: JUMPI
00001279: PUSH1 0x00
0000127b: SWAP4
0000127c: POP
0000127d: PUSH2 0x12f9
00001280: JUMP
00001281: JUMPDEST
00001282: PUSH1 0x00
00001284: DUP6
00001285: DUP2
00001286: MSTORE
00001287: PUSH1 0x10
00001289: PUSH1 0x20
0000128b: SWAP1
0000128c: DUP2
0000128d: MSTORE
0000128e: PUSH1 0x40
00001290: DUP1
00001291: DUP4
00001292: KECCAK256
00001293: CALLER
00001294: DUP5
00001295: MSTORE
00001296: SWAP1
00001297: SWAP2
00001298: MSTORE
00001299: SWAP1
0000129a: KECCAK256
0000129b: PUSH1 0x09
0000129d: ADD
0000129e: SLOAD
0000129f: PUSH1 0xff
000012a1: AND
000012a2: ISZERO
000012a3: PUSH2 0x12af
000012a6: JUMPI
000012a7: PUSH1 0x00
000012a9: SWAP4
000012aa: POP
000012ab: PUSH2 0x12f9
000012ae: JUMP
000012af: JUMPDEST
000012b0: PUSH1 0x00
000012b2: DUP6
000012b3: DUP2
000012b4: MSTORE
000012b5: PUSH1 0x0e
000012b7: PUSH1 0x20
000012b9: SWAP1
000012ba: DUP2
000012bb: MSTORE
000012bc: PUSH1 0x40
000012be: DUP1
000012bf: DUP4
000012c0: KECCAK256
000012c1: DUP5
000012c2: DUP5
000012c3: MSTORE
000012c4: DUP3
000012c5: MSTORE
000012c6: DUP1
000012c7: DUP4
000012c8: KECCAK256
000012c9: PUSH1 0x01
000012cb: SWAP1
000012cc: DUP2
000012cd: ADD
000012ce: SLOAD
000012cf: DUP10
000012d0: DUP6
000012d1: MSTORE
000012d2: PUSH1 0x10
000012d4: DUP5
000012d5: MSTORE
000012d6: DUP3
000012d7: DUP6
000012d8: KECCAK256
000012d9: CALLER
000012da: DUP7
000012db: MSTORE
000012dc: SWAP1
000012dd: SWAP4
000012de: MSTORE
000012df: SWAP3
000012e0: KECCAK256
000012e1: SWAP1
000012e2: SWAP2
000012e3: ADD
000012e4: SLOAD
000012e5: PUSH2 0x1268
000012e8: SWAP2
000012e9: SWAP1
000012ea: PUSH2 0x11d5
000012ed: SWAP1
000012ee: DUP6
000012ef: PUSH4 0xffffffff
000012f4: PUSH2 0x1619
000012f7: AND
000012f8: JUMP
000012f9: JUMPDEST
000012fa: POP
000012fb: POP
000012fc: POP
000012fd: SWAP2
000012fe: SWAP1
000012ff: POP
00001300: JUMP
00001301: JUMPDEST
00001302: CALLER
00001303: PUSH20 0x3ac98f5ea4946f58439d551e20ed12091af0f597
00001318: EQ
00001319: PUSH2 0x1321
0000131c: JUMPI
0000131d: PUSH1 0x00
0000131f: DUP1
00001320: REVERT
00001321: JUMPDEST
00001322: PUSH1 0x01
00001324: SLOAD
00001325: PUSH1 0x40
00001327: MLOAD
00001328: PUSH20 0x3ac98f5ea4946f58439d551e20ed12091af0f597
0000133d: SWAP2
0000133e: DUP1
0000133f: ISZERO
00001340: PUSH2 0x08fc
00001343: MUL
00001344: SWAP2
00001345: PUSH1 0x00
00001347: DUP2
00001348: DUP2
00001349: DUP2
0000134a: DUP6
0000134b: DUP9
0000134c: DUP9
0000134d: CALL
0000134e: SWAP4
0000134f: POP
00001350: POP
00001351: POP
00001352: POP
00001353: ISZERO
00001354: DUP1
00001355: ISZERO
00001356: PUSH2 0x1363
00001359: JUMPI
0000135a: RETURNDATASIZE
0000135b: PUSH1 0x00
0000135d: DUP1
0000135e: RETURNDATACOPY
0000135f: RETURNDATASIZE
00001360: PUSH1 0x00
00001362: REVERT
00001363: JUMPDEST
00001364: POP
00001365: PUSH1 0x00
00001367: PUSH1 0x01
00001369: SSTORE
0000136a: JUMP
0000136b: JUMPDEST
0000136c: PUSH7 0x6a94d74f430000
00001374: CALLVALUE
00001375: LT
00001376: ISZERO
00001377: DUP1
00001378: ISZERO
00001379: PUSH2 0x13a1
0000137c: JUMPI
0000137d: POP
0000137e: PUSH1 0x05
00001380: SLOAD
00001381: PUSH1 0x00
00001383: SWAP1
00001384: DUP2
00001385: MSTORE
00001386: PUSH1 0x10
00001388: PUSH1 0x20
0000138a: SWAP1
0000138b: DUP2
0000138c: MSTORE
0000138d: PUSH1 0x40
0000138f: DUP1
00001390: DUP4
00001391: KECCAK256
00001392: CALLER
00001393: DUP5
00001394: MSTORE
00001395: SWAP1
00001396: SWAP2
00001397: MSTORE
00001398: SWAP1
00001399: KECCAK256
0000139a: PUSH1 0x07
0000139c: ADD
0000139d: SLOAD
0000139e: PUSH1 0xff
000013a0: AND
000013a1: JUMPDEST
000013a2: ISZERO
000013a3: ISZERO
000013a4: PUSH2 0x13f7
000013a7: JUMPI
000013a8: PUSH1 0x40
000013aa: DUP1
000013ab: MLOAD
000013ac: PUSH1 0xe5
000013ae: PUSH1 0x02
000013b0: EXP
000013b1: PUSH3 0x461bcd
000013b5: MUL
000013b6: DUP2
000013b7: MSTORE
000013b8: PUSH1 0x20
000013ba: PUSH1 0x04
000013bc: DUP3
000013bd: ADD
000013be: MSTORE
000013bf: PUSH1 0x1e
000013c1: PUSH1 0x24
000013c3: DUP3
000013c4: ADD
000013c5: MSTORE
000013c6: PUSH32 0x4e6f7420656e6f756768206d6f6e6579206f72206e6f7420706c617965720000
000013e7: PUSH1 0x44
000013e9: DUP3
000013ea: ADD
000013eb: MSTORE
000013ec: SWAP1
000013ed: MLOAD
000013ee: SWAP1
000013ef: DUP2
000013f0: SWAP1
000013f1: SUB
000013f2: PUSH1 0x64
000013f4: ADD
000013f5: SWAP1
000013f6: REVERT
000013f7: JUMPDEST
000013f8: PUSH1 0x40
000013fa: MLOAD
000013fb: CALLER
000013fc: SWAP1
000013fd: PUSH1 0x00
000013ff: SWAP1
00001400: PUSH7 0x6a94d74f430000
00001408: SWAP1
00001409: DUP3
0000140a: DUP2
0000140b: DUP2
0000140c: DUP2
0000140d: DUP6
0000140e: DUP9
0000140f: DUP4
00001410: CALL
00001411: SWAP4
00001412: POP
00001413: POP
00001414: POP
00001415: POP
00001416: ISZERO
00001417: DUP1
00001418: ISZERO
00001419: PUSH2 0x1426
0000141c: JUMPI
0000141d: RETURNDATASIZE
0000141e: PUSH1 0x00
00001420: DUP1
00001421: RETURNDATACOPY
00001422: RETURNDATASIZE
00001423: PUSH1 0x00
00001425: REVERT
00001426: JUMPDEST
00001427: POP
00001428: PUSH1 0x05
0000142a: DUP1
0000142b: SLOAD
0000142c: PUSH1 0x00
0000142e: SWAP1
0000142f: DUP2
00001430: MSTORE
00001431: PUSH1 0x10
00001433: PUSH1 0x20
00001435: DUP2
00001436: DUP2
00001437: MSTORE
00001438: PUSH1 0x40
0000143a: DUP1
0000143b: DUP5
0000143c: KECCAK256
0000143d: CALLER
0000143e: DUP1
0000143f: DUP7
00001440: MSTORE
00001441: SWAP1
00001442: DUP4
00001443: MSTORE
00001444: DUP2
00001445: DUP6
00001446: KECCAK256
00001447: PUSH1 0x07
00001449: ADD
0000144a: DUP1
0000144b: SLOAD
0000144c: PUSH2 0xff00
0000144f: NOT
00001450: AND
00001451: PUSH2 0x0100
00001454: OR
00001455: SWAP1
00001456: SSTORE
00001457: SWAP5
00001458: SLOAD
00001459: DUP5
0000145a: MSTORE
0000145b: SWAP2
0000145c: DUP2
0000145d: MSTORE
0000145e: DUP2
0000145f: DUP4
00001460: KECCAK256
00001461: SWAP4
00001462: DUP4
00001463: MSTORE
00001464: SWAP3
00001465: SWAP1
00001466: SWAP3
00001467: MSTORE
00001468: KECCAK256
00001469: PUSH1 0x08
0000146b: ADD
0000146c: SSTORE
0000146d: JUMP
0000146e: JUMPDEST
0000146f: PUSH1 0x06
00001471: SLOAD
00001472: DUP2
00001473: JUMP
00001474: JUMPDEST
00001475: PUSH1 0x04
00001477: SLOAD
00001478: PUSH1 0xff
0000147a: AND
0000147b: SWAP1
0000147c: JUMP
0000147d: JUMPDEST
0000147e: PUSH1 0x04
00001480: SLOAD
00001481: PUSH1 0x00
00001483: SWAP1
00001484: PUSH1 0xff
00001486: AND
00001487: ISZERO
00001488: ISZERO
00001489: PUSH1 0x01
0000148b: EQ
0000148c: PUSH2 0x14cd
0000148f: JUMPI
00001490: PUSH1 0x40
00001492: DUP1
00001493: MLOAD
00001494: PUSH1 0xe5
00001496: PUSH1 0x02
00001498: EXP
00001499: PUSH3 0x461bcd
0000149d: MUL
0000149e: DUP2
0000149f: MSTORE
000014a0: PUSH1 0x20
000014a2: PUSH1 0x04
000014a4: DUP3
000014a5: ADD
000014a6: MSTORE
000014a7: PUSH1 0x11
000014a9: PUSH1 0x24
000014ab: DUP3
000014ac: ADD
000014ad: MSTORE
000014ae: PUSH1 0x00
000014b0: DUP1
000014b1: MLOAD
000014b2: PUSH1 0x20
000014b4: PUSH2 0x29f5
000014b7: DUP4
000014b8: CODECOPY
000014b9: DUP2
000014ba: MLOAD
000014bb: SWAP2
000014bc: MSTORE
000014bd: PUSH1 0x44
000014bf: DUP3
000014c0: ADD
000014c1: MSTORE
000014c2: SWAP1
000014c3: MLOAD
000014c4: SWAP1
000014c5: DUP2
000014c6: SWAP1
000014c7: SUB
000014c8: PUSH1 0x64
000014ca: ADD
000014cb: SWAP1
000014cc: REVERT
000014cd: JUMPDEST
000014ce: PUSH1 0x05
000014d0: SLOAD
000014d1: PUSH1 0x00
000014d3: SWAP1
000014d4: DUP2
000014d5: MSTORE
000014d6: PUSH1 0x0f
000014d8: PUSH1 0x20
000014da: MSTORE
000014db: PUSH1 0x40
000014dd: SWAP1
000014de: KECCAK256
000014df: PUSH1 0x01
000014e1: ADD
000014e2: SLOAD
000014e3: PUSH2 0x14f2
000014e6: SWAP1
000014e7: TIMESTAMP
000014e8: PUSH4 0xffffffff
000014ed: PUSH2 0x15b9
000014f0: AND
000014f1: JUMP
000014f2: JUMPDEST
000014f3: SWAP1
000014f4: POP
000014f5: SWAP1
000014f6: JUMP
000014f7: JUMPDEST
000014f8: PUSH1 0x00
000014fa: SWAP1
000014fb: DUP2
000014fc: MSTORE
000014fd: PUSH1 0x0f
000014ff: PUSH1 0x20
00001501: MSTORE
00001502: PUSH1 0x40
00001504: SWAP1
00001505: KECCAK256
00001506: PUSH1 0x04
00001508: ADD
00001509: SLOAD
0000150a: SWAP1
0000150b: JUMP
0000150c: JUMPDEST
0000150d: PUSH20 0x3ac98f5ea4946f58439d551e20ed12091af0f597
00001522: DUP2
00001523: JUMP
00001524: JUMPDEST
00001525: PUSH1 0x05
00001527: SLOAD
00001528: PUSH1 0x00
0000152a: SWAP1
0000152b: DUP2
0000152c: MSTORE
0000152d: PUSH1 0x0f
0000152f: PUSH1 0x20
00001531: MSTORE
00001532: PUSH1 0x40
00001534: DUP2
00001535: KECCAK256
00001536: PUSH1 0x01
00001538: ADD
00001539: SLOAD
0000153a: DUP3
0000153b: LT
0000153c: DUP1
0000153d: ISZERO
0000153e: SWAP1
0000153f: PUSH2 0x0bca
00001542: JUMPI
00001543: POP
00001544: POP
00001545: PUSH1 0x05
00001547: SLOAD
00001548: PUSH1 0x00
0000154a: SWAP1
0000154b: DUP2
0000154c: MSTORE
0000154d: PUSH1 0x0f
0000154f: PUSH1 0x20
00001551: MSTORE
00001552: PUSH1 0x40
00001554: SWAP1
00001555: KECCAK256
00001556: PUSH1 0x02
00001558: ADD
00001559: SLOAD
0000155a: LT
0000155b: ISZERO
0000155c: SWAP1
0000155d: JUMP
0000155e: JUMPDEST
0000155f: DUP2
00001560: DUP2
00001561: ADD
00001562: DUP3
00001563: DUP2
00001564: LT
00001565: ISZERO
00001566: PUSH2 0x0bca
00001569: JUMPI
0000156a: PUSH1 0x40
0000156c: DUP1
0000156d: MLOAD
0000156e: PUSH1 0xe5
00001570: PUSH1 0x02
00001572: EXP
00001573: PUSH3 0x461bcd
00001577: MUL
00001578: DUP2
00001579: MSTORE
0000157a: PUSH1 0x20
0000157c: PUSH1 0x04
0000157e: DUP3
0000157f: ADD
00001580: MSTORE
00001581: PUSH1 0x13
00001583: PUSH1 0x24
00001585: DUP3
00001586: ADD
00001587: MSTORE
00001588: PUSH32 0x536166654d61746820616464206661696c656400000000000000000000000000
000015a9: PUSH1 0x44
000015ab: DUP3
000015ac: ADD
000015ad: MSTORE
000015ae: SWAP1
000015af: MLOAD
000015b0: SWAP1
000015b1: DUP2
000015b2: SWAP1
000015b3: SUB
000015b4: PUSH1 0x64
000015b6: ADD
000015b7: SWAP1
000015b8: REVERT
000015b9: JUMPDEST
000015ba: PUSH1 0x00
000015bc: DUP3
000015bd: DUP3
000015be: GT
000015bf: ISZERO
000015c0: PUSH2 0x1613
000015c3: JUMPI
000015c4: PUSH1 0x40
000015c6: DUP1
000015c7: MLOAD
000015c8: PUSH1 0xe5
000015ca: PUSH1 0x02
000015cc: EXP
000015cd: PUSH3 0x461bcd
000015d1: MUL
000015d2: DUP2
000015d3: MSTORE
000015d4: PUSH1 0x20
000015d6: PUSH1 0x04
000015d8: DUP3
000015d9: ADD
000015da: MSTORE
000015db: PUSH1 0x13
000015dd: PUSH1 0x24
000015df: DUP3
000015e0: ADD
000015e1: MSTORE
000015e2: PUSH32 0x536166654d61746820737562206661696c656400000000000000000000000000
00001603: PUSH1 0x44
00001605: DUP3
00001606: ADD
00001607: MSTORE
00001608: SWAP1
00001609: MLOAD
0000160a: SWAP1
0000160b: DUP2
0000160c: SWAP1
0000160d: SUB
0000160e: PUSH1 0x64
00001610: ADD
00001611: SWAP1
00001612: REVERT
00001613: JUMPDEST
00001614: POP
00001615: SWAP1
00001616: SUB
00001617: SWAP1
00001618: JUMP
00001619: JUMPDEST
0000161a: PUSH1 0x00
0000161c: DUP3
0000161d: ISZERO
0000161e: ISZERO
0000161f: PUSH2 0x162a
00001622: JUMPI
00001623: POP
00001624: PUSH1 0x00
00001626: PUSH2 0x0bca
00001629: JUMP
0000162a: JUMPDEST
0000162b: POP
0000162c: DUP2
0000162d: DUP2
0000162e: MUL
0000162f: DUP2
00001630: DUP4
00001631: DUP3
00001632: DUP2
00001633: ISZERO
00001634: ISZERO
00001635: PUSH2 0x163a
00001638: JUMPI
00001639: INVALID
0000163a: JUMPDEST
0000163b: DIV
0000163c: EQ
0000163d: PUSH2 0x0bca
00001640: JUMPI
00001641: PUSH1 0x40
00001643: DUP1
00001644: MLOAD
00001645: PUSH1 0xe5
00001647: PUSH1 0x02
00001649: EXP
0000164a: PUSH3 0x461bcd
0000164e: MUL
0000164f: DUP2
00001650: MSTORE
00001651: PUSH1 0x20
00001653: PUSH1 0x04
00001655: DUP3
00001656: ADD
00001657: MSTORE
00001658: PUSH1 0x13
0000165a: PUSH1 0x24
0000165c: DUP3
0000165d: ADD
0000165e: MSTORE
0000165f: PUSH32 0x536166654d617468206d756c206661696c656400000000000000000000000000
00001680: PUSH1 0x44
00001682: DUP3
00001683: ADD
00001684: MSTORE
00001685: SWAP1
00001686: MLOAD
00001687: SWAP1
00001688: DUP2
00001689: SWAP1
0000168a: SUB
0000168b: PUSH1 0x64
0000168d: ADD
0000168e: SWAP1
0000168f: REVERT
00001690: JUMPDEST
00001691: PUSH1 0x00
00001693: PUSH2 0x0dda
00001696: PUSH2 0x16ad
00001699: PUSH2 0x16a8
0000169c: DUP6
0000169d: DUP6
0000169e: PUSH4 0xffffffff
000016a3: PUSH2 0x15b9
000016a6: AND
000016a7: JUMP
000016a8: JUMPDEST
000016a9: PUSH2 0x2869
000016ac: JUMP
000016ad: JUMPDEST
000016ae: PUSH2 0x0bbe
000016b1: DUP6
000016b2: PUSH2 0x2869
000016b5: JUMP
000016b6: JUMPDEST
000016b7: PUSH1 0x04
000016b9: SLOAD
000016ba: PUSH1 0x00
000016bc: SWAP1
000016bd: DUP2
000016be: SWAP1
000016bf: DUP2
000016c0: SWAP1
000016c1: DUP2
000016c2: SWAP1
000016c3: DUP2
000016c4: SWAP1
000016c5: DUP2
000016c6: SWAP1
000016c7: DUP2
000016c8: SWAP1
000016c9: DUP2
000016ca: SWAP1
000016cb: PUSH1 0xff
000016cd: AND
000016ce: ISZERO
000016cf: ISZERO
000016d0: PUSH1 0x01
000016d2: EQ
000016d3: PUSH2 0x1714
000016d6: JUMPI
000016d7: PUSH1 0x40
000016d9: DUP1
000016da: MLOAD
000016db: PUSH1 0xe5
000016dd: PUSH1 0x02
000016df: EXP
000016e0: PUSH3 0x461bcd
000016e4: MUL
000016e5: DUP2
000016e6: MSTORE
000016e7: PUSH1 0x20
000016e9: PUSH1 0x04
000016eb: DUP3
000016ec: ADD
000016ed: MSTORE
000016ee: PUSH1 0x11
000016f0: PUSH1 0x24
000016f2: DUP3
000016f3: ADD
000016f4: MSTORE
000016f5: PUSH1 0x00
000016f7: DUP1
000016f8: MLOAD
000016f9: PUSH1 0x20
000016fb: PUSH2 0x29f5
000016fe: DUP4
000016ff: CODECOPY
00001700: DUP2
00001701: MLOAD
00001702: SWAP2
00001703: MSTORE
00001704: PUSH1 0x44
00001706: DUP3
00001707: ADD
00001708: MSTORE
00001709: SWAP1
0000170a: MLOAD
0000170b: SWAP1
0000170c: DUP2
0000170d: SWAP1
0000170e: SUB
0000170f: PUSH1 0x64
00001711: ADD
00001712: SWAP1
00001713: REVERT
00001714: JUMPDEST
00001715: CALLVALUE
00001716: PUSH5 0x174876e800
0000171c: DUP2
0000171d: LT
0000171e: ISZERO
0000171f: PUSH2 0x1772
00001722: JUMPI
00001723: PUSH1 0x40
00001725: DUP1
00001726: MLOAD
00001727: PUSH1 0xe5
00001729: PUSH1 0x02
0000172b: EXP
0000172c: PUSH3 0x461bcd
00001730: MUL
00001731: DUP2
00001732: MSTORE
00001733: PUSH1 0x20
00001735: PUSH1 0x04
00001737: DUP3
00001738: ADD
00001739: MSTORE
0000173a: PUSH1 0x0c
0000173c: PUSH1 0x24
0000173e: DUP3
0000173f: ADD
00001740: MSTORE
00001741: PUSH32 0x67726f756e64206c696d69740000000000000000000000000000000000000000
00001762: PUSH1 0x44
00001764: DUP3
00001765: ADD
00001766: MSTORE
00001767: SWAP1
00001768: MLOAD
00001769: SWAP1
0000176a: DUP2
0000176b: SWAP1
0000176c: SUB
0000176d: PUSH1 0x64
0000176f: ADD
00001770: SWAP1
00001771: REVERT
00001772: JUMPDEST
00001773: PUSH10 0x152d02c7e14af6800000
0000177e: DUP2
0000177f: GT
00001780: ISZERO
00001781: PUSH2 0x17d4
00001784: JUMPI
00001785: PUSH1 0x40
00001787: DUP1
00001788: MLOAD
00001789: PUSH1 0xe5
0000178b: PUSH1 0x02
0000178d: EXP
0000178e: PUSH3 0x461bcd
00001792: MUL
00001793: DUP2
00001794: MSTORE
00001795: PUSH1 0x20
00001797: PUSH1 0x04
00001799: DUP3
0000179a: ADD
0000179b: MSTORE
0000179c: PUSH1 0x0b
0000179e: PUSH1 0x24
000017a0: DUP3
000017a1: ADD
000017a2: MSTORE
000017a3: PUSH32 0x666c6f6f72206c696d6974000000000000000000000000000000000000000000
000017c4: PUSH1 0x44
000017c6: DUP3
000017c7: ADD
000017c8: MSTORE
000017c9: SWAP1
000017ca: MLOAD
000017cb: SWAP1
000017cc: DUP2
000017cd: SWAP1
000017ce: SUB
000017cf: PUSH1 0x64
000017d1: ADD
000017d2: SWAP1
000017d3: REVERT
000017d4: JUMPDEST
000017d5: PUSH1 0x05
000017d7: SLOAD
000017d8: PUSH1 0x00
000017da: SWAP1
000017db: DUP2
000017dc: MSTORE
000017dd: PUSH1 0x10
000017df: PUSH1 0x20
000017e1: SWAP1
000017e2: DUP2
000017e3: MSTORE
000017e4: PUSH1 0x40
000017e6: DUP1
000017e7: DUP4
000017e8: KECCAK256
000017e9: PUSH1 0x01
000017eb: PUSH1 0xa0
000017ed: PUSH1 0x02
000017ef: EXP
000017f0: SUB
000017f1: DUP15
000017f2: AND
000017f3: DUP5
000017f4: MSTORE
000017f5: SWAP1
000017f6: SWAP2
000017f7: MSTORE
000017f8: SWAP1
000017f9: KECCAK256
000017fa: PUSH1 0x07
000017fc: ADD
000017fd: SLOAD
000017fe: PUSH2 0x0100
00001801: SWAP1
00001802: DIV
00001803: PUSH1 0xff
00001805: AND
00001806: ISZERO
00001807: ISZERO
00001808: PUSH2 0x1810
0000180b: JUMPI
0000180c: PUSH1 0x00
0000180e: SWAP10
0000180f: POP
00001810: JUMPDEST
00001811: PUSH1 0x05
00001813: SLOAD
00001814: PUSH1 0x00
00001816: SWAP1
00001817: DUP2
00001818: MSTORE
00001819: PUSH1 0x0f
0000181b: PUSH1 0x20
0000181d: MSTORE
0000181e: PUSH1 0x40
00001820: SWAP1
00001821: KECCAK256
00001822: PUSH1 0x04
00001824: ADD
00001825: SLOAD
00001826: CALLER
00001827: SWAP9
00001828: POP
00001829: CALLVALUE
0000182a: SWAP8
0000182b: POP
0000182c: PUSH2 0x183b
0000182f: SWAP1
00001830: DUP9
00001831: PUSH4 0xffffffff
00001836: PUSH2 0x28e6
00001839: AND
0000183a: JUMP
0000183b: JUMPDEST
0000183c: SWAP6
0000183d: POP
0000183e: PUSH8 0x0de0b6b3a7640000
00001847: DUP7
00001848: LT
00001849: ISZERO
0000184a: PUSH2 0x189d
0000184d: JUMPI
0000184e: PUSH1 0x40
00001850: DUP1
00001851: MLOAD
00001852: PUSH1 0xe5
00001854: PUSH1 0x02
00001856: EXP
00001857: PUSH3 0x461bcd
0000185b: MUL
0000185c: DUP2
0000185d: MSTORE
0000185e: PUSH1 0x20
00001860: PUSH1 0x04
00001862: DUP3
00001863: ADD
00001864: MSTORE
00001865: PUSH1 0x15
00001867: PUSH1 0x24
00001869: DUP3
0000186a: ADD
0000186b: MSTORE
0000186c: PUSH32 0x4174206c6561737420312077686f6c6520666c61670000000000000000000000
0000188d: PUSH1 0x44
0000188f: DUP3
00001890: ADD
00001891: MSTORE
00001892: SWAP1
00001893: MLOAD
00001894: SWAP1
00001895: DUP2
00001896: SWAP1
00001897: SUB
00001898: PUSH1 0x64
0000189a: ADD
0000189b: SWAP1
0000189c: REVERT
0000189d: JUMPDEST
0000189e: PUSH1 0x05
000018a0: SLOAD
000018a1: PUSH1 0x00
000018a3: SWAP1
000018a4: DUP2
000018a5: MSTORE
000018a6: PUSH1 0x0f
000018a8: PUSH1 0x20
000018aa: MSTORE
000018ab: PUSH1 0x40
000018ad: DUP2
000018ae: KECCAK256
000018af: PUSH1 0x04
000018b1: ADD
000018b2: SLOAD
000018b3: SWAP1
000018b4: SWAP6
000018b5: POP
000018b6: PUSH2 0x18c5
000018b9: SWAP1
000018ba: DUP9
000018bb: PUSH4 0xffffffff
000018c0: PUSH2 0x155e
000018c3: AND
000018c4: JUMP
000018c5: JUMPDEST
000018c6: PUSH1 0x05
000018c8: DUP1
000018c9: SLOAD
000018ca: PUSH1 0x00
000018cc: SWAP1
000018cd: DUP2
000018ce: MSTORE
000018cf: PUSH1 0x0f
000018d1: PUSH1 0x20
000018d3: MSTORE
000018d4: PUSH1 0x40
000018d6: DUP1
000018d7: DUP3
000018d8: KECCAK256
000018d9: PUSH1 0x04
000018db: ADD
000018dc: SWAP4
000018dd: SWAP1
000018de: SWAP4
000018df: SSTORE
000018e0: SWAP1
000018e1: SLOAD
000018e2: DUP2
000018e3: MSTORE
000018e4: KECCAK256
000018e5: PUSH1 0x03
000018e7: ADD
000018e8: SLOAD
000018e9: PUSH2 0x18f8
000018ec: SWAP1
000018ed: DUP8
000018ee: PUSH4 0xffffffff
000018f3: PUSH2 0x155e
000018f6: AND
000018f7: JUMP
000018f8: JUMPDEST
000018f9: PUSH1 0x05
000018fb: SLOAD
000018fc: PUSH1 0x00
000018fe: SWAP1
000018ff: DUP2
00001900: MSTORE
00001901: PUSH1 0x0f
00001903: PUSH1 0x20
00001905: SWAP1
00001906: DUP2
00001907: MSTORE
00001908: PUSH1 0x40
0000190a: DUP1
0000190b: DUP4
0000190c: KECCAK256
0000190d: PUSH1 0x03
0000190f: ADD
00001910: SWAP4
00001911: SWAP1
00001912: SWAP4
00001913: SSTORE
00001914: PUSH1 0x06
00001916: SLOAD
00001917: DUP3
00001918: MSTORE
00001919: PUSH1 0x0d
0000191b: SWAP1
0000191c: MSTORE
0000191d: KECCAK256
0000191e: PUSH1 0x01
00001920: ADD
00001921: SLOAD
00001922: PUSH2 0x195e
00001925: SWAP1
00001926: PUSH2 0x193e
00001929: SWAP1
0000192a: PUSH2 0x03e8
0000192d: SWAP1
0000192e: PUSH2 0x11d5
00001931: SWAP1
00001932: DUP12
00001933: SWAP1
00001934: PUSH4 0xffffffff
00001939: PUSH2 0x1619
0000193c: AND
0000193d: JUMP
0000193e: JUMPDEST
0000193f: PUSH1 0x05
00001941: DUP1
00001942: SLOAD
00001943: PUSH1 0x00
00001945: SWAP1
00001946: DUP2
00001947: MSTORE
00001948: PUSH1 0x0f
0000194a: PUSH1 0x20
0000194c: MSTORE
0000194d: PUSH1 0x40
0000194f: SWAP1
00001950: KECCAK256
00001951: ADD
00001952: SLOAD
00001953: SWAP1
00001954: PUSH4 0xffffffff
00001959: PUSH2 0x155e
0000195c: AND
0000195d: JUMP
0000195e: JUMPDEST
0000195f: PUSH1 0x05
00001961: DUP1
00001962: SLOAD
00001963: PUSH1 0x00
00001965: SWAP1
00001966: DUP2
00001967: MSTORE
00001968: PUSH1 0x0f
0000196a: PUSH1 0x20
0000196c: SWAP1
0000196d: DUP2
0000196e: MSTORE
0000196f: PUSH1 0x40
00001971: DUP1
00001972: DUP4
00001973: KECCAK256
00001974: SWAP1
00001975: SWAP4
00001976: ADD
00001977: SWAP4
00001978: SWAP1
00001979: SWAP4
0000197a: SSTORE
0000197b: PUSH1 0x06
0000197d: DUP1
0000197e: SLOAD
0000197f: DUP3
00001980: MSTORE
00001981: PUSH1 0x0d
00001983: SWAP1
00001984: SWAP4
00001985: MSTORE
00001986: KECCAK256
00001987: ADD
00001988: SLOAD
00001989: PUSH2 0x1998
0000198c: SWAP1
0000198d: DUP9
0000198e: PUSH4 0xffffffff
00001993: PUSH2 0x155e
00001996: AND
00001997: JUMP
00001998: JUMPDEST
00001999: PUSH1 0x06
0000199b: DUP1
0000199c: SLOAD
0000199d: PUSH1 0x00
0000199f: SWAP1
000019a0: DUP2
000019a1: MSTORE
000019a2: PUSH1 0x0d
000019a4: PUSH1 0x20
000019a6: MSTORE
000019a7: PUSH1 0x40
000019a9: DUP1
000019aa: DUP3
000019ab: KECCAK256
000019ac: DUP4
000019ad: ADD
000019ae: SWAP4
000019af: SWAP1
000019b0: SWAP4
000019b1: SSTORE
000019b2: SWAP1
000019b3: SLOAD
000019b4: DUP2
000019b5: MSTORE
000019b6: KECCAK256
000019b7: PUSH1 0x07
000019b9: ADD
000019ba: SLOAD
000019bb: PUSH2 0x19ca
000019be: SWAP1
000019bf: DUP8
000019c0: PUSH4 0xffffffff
000019c5: PUSH2 0x155e
000019c8: AND
000019c9: JUMP
000019ca: JUMPDEST
000019cb: PUSH1 0x06
000019cd: DUP1
000019ce: SLOAD
000019cf: PUSH1 0x00
000019d1: SWAP1
000019d2: DUP2
000019d3: MSTORE
000019d4: PUSH1 0x0d
000019d6: PUSH1 0x20
000019d8: SWAP1
000019d9: DUP2
000019da: MSTORE
000019db: PUSH1 0x40
000019dd: DUP1
000019de: DUP4
000019df: KECCAK256
000019e0: PUSH1 0x07
000019e2: ADD
000019e3: SWAP5
000019e4: SWAP1
000019e5: SWAP5
000019e6: SSTORE
000019e7: PUSH1 0x05
000019e9: SLOAD
000019ea: DUP3
000019eb: MSTORE
000019ec: PUSH1 0x0e
000019ee: DUP2
000019ef: MSTORE
000019f0: DUP4
000019f1: DUP3
000019f2: KECCAK256
000019f3: SWAP3
000019f4: SLOAD
000019f5: DUP3
000019f6: MSTORE
000019f7: SWAP2
000019f8: SWAP1
000019f9: SWAP2
000019fa: MSTORE
000019fb: KECCAK256
000019fc: SLOAD
000019fd: PUSH2 0x1a0c
00001a00: SWAP1
00001a01: DUP9
00001a02: PUSH4 0xffffffff
00001a07: PUSH2 0x155e
00001a0a: AND
00001a0b: JUMP
00001a0c: JUMPDEST
00001a0d: PUSH1 0x05
00001a0f: DUP1
00001a10: SLOAD
00001a11: PUSH1 0x00
00001a13: SWAP1
00001a14: DUP2
00001a15: MSTORE
00001a16: PUSH1 0x0e
00001a18: PUSH1 0x20
00001a1a: DUP2
00001a1b: DUP2
00001a1c: MSTORE
00001a1d: PUSH1 0x40
00001a1f: DUP1
00001a20: DUP5
00001a21: KECCAK256
00001a22: PUSH1 0x06
00001a24: DUP1
00001a25: SLOAD
00001a26: DUP7
00001a27: MSTORE
00001a28: SWAP1
00001a29: DUP4
00001a2a: MSTORE
00001a2b: DUP2
00001a2c: DUP6
00001a2d: KECCAK256
00001a2e: SWAP7
00001a2f: SWAP1
00001a30: SWAP7
00001a31: SSTORE
00001a32: SWAP4
00001a33: SLOAD
00001a34: DUP4
00001a35: MSTORE
00001a36: SWAP1
00001a37: DUP2
00001a38: MSTORE
00001a39: DUP3
00001a3a: DUP3
00001a3b: KECCAK256
00001a3c: SWAP4
00001a3d: SLOAD
00001a3e: DUP3
00001a3f: MSTORE
00001a40: SWAP3
00001a41: SWAP1
00001a42: SWAP3
00001a43: MSTORE
00001a44: SWAP1
00001a45: KECCAK256
00001a46: PUSH1 0x01
00001a48: ADD
00001a49: SLOAD
00001a4a: PUSH2 0x1a59
00001a4d: SWAP1
00001a4e: DUP8
00001a4f: PUSH4 0xffffffff
00001a54: PUSH2 0x155e
00001a57: AND
00001a58: JUMP
00001a59: JUMPDEST
00001a5a: PUSH1 0x05
00001a5c: DUP1
00001a5d: SLOAD
00001a5e: PUSH1 0x00
00001a60: SWAP1
00001a61: DUP2
00001a62: MSTORE
00001a63: PUSH1 0x0e
00001a65: PUSH1 0x20
00001a67: SWAP1
00001a68: DUP2
00001a69: MSTORE
00001a6a: PUSH1 0x40
00001a6c: DUP1
00001a6d: DUP4
00001a6e: KECCAK256
00001a6f: PUSH1 0x06
00001a71: SLOAD
00001a72: DUP5
00001a73: MSTORE
00001a74: DUP3
00001a75: MSTORE
00001a76: DUP1
00001a77: DUP4
00001a78: KECCAK256
00001a79: PUSH1 0x01
00001a7b: ADD
00001a7c: SWAP5
00001a7d: SWAP1
00001a7e: SWAP5
00001a7f: SSTORE
00001a80: SWAP2
00001a81: SLOAD
00001a82: DUP2
00001a83: MSTORE
00001a84: PUSH1 0x10
00001a86: DUP3
00001a87: MSTORE
00001a88: DUP3
00001a89: DUP2
00001a8a: KECCAK256
00001a8b: PUSH1 0x01
00001a8d: PUSH1 0xa0
00001a8f: PUSH1 0x02
00001a91: EXP
00001a92: SUB
00001a93: DUP13
00001a94: AND
00001a95: DUP3
00001a96: MSTORE
00001a97: SWAP1
00001a98: SWAP2
00001a99: MSTORE
00001a9a: KECCAK256
00001a9b: PUSH1 0x07
00001a9d: ADD
00001a9e: SLOAD
00001a9f: PUSH1 0xff
00001aa1: AND
00001aa2: ISZERO
00001aa3: PUSH2 0x1ad9
00001aa6: JUMPI
00001aa7: PUSH1 0x05
00001aa9: SLOAD
00001aaa: PUSH1 0x00
00001aac: SWAP1
00001aad: DUP2
00001aae: MSTORE
00001aaf: PUSH1 0x10
00001ab1: PUSH1 0x20
00001ab3: SWAP1
00001ab4: DUP2
00001ab5: MSTORE
00001ab6: PUSH1 0x40
00001ab8: DUP1
00001ab9: DUP4
00001aba: KECCAK256
00001abb: PUSH1 0x01
00001abd: PUSH1 0xa0
00001abf: PUSH1 0x02
00001ac1: EXP
00001ac2: SUB
00001ac3: DUP13
00001ac4: AND
00001ac5: DUP5
00001ac6: MSTORE
00001ac7: SWAP1
00001ac8: SWAP2
00001ac9: MSTORE
00001aca: SWAP1
00001acb: KECCAK256
00001acc: PUSH1 0x01
00001ace: ADD
00001acf: DUP1
00001ad0: SLOAD
00001ad1: DUP8
00001ad2: ADD
00001ad3: SWAP1
00001ad4: SSTORE
00001ad5: PUSH2 0x1c51
00001ad8: JUMP
00001ad9: JUMPDEST
00001ada: PUSH2 0x0160
00001add: PUSH1 0x40
00001adf: MLOAD
00001ae0: SWAP1
00001ae1: DUP2
00001ae2: ADD
00001ae3: PUSH1 0x40
00001ae5: MSTORE
00001ae6: DUP1
00001ae7: DUP10
00001ae8: PUSH1 0x01
00001aea: PUSH1 0xa0
00001aec: PUSH1 0x02
00001aee: EXP
00001aef: SUB
00001af0: AND
00001af1: DUP2
00001af2: MSTORE
00001af3: PUSH1 0x20
00001af5: ADD
00001af6: DUP8
00001af7: DUP2
00001af8: MSTORE
00001af9: PUSH1 0x20
00001afb: ADD
00001afc: PUSH1 0x00
00001afe: DUP2
00001aff: MSTORE
00001b00: PUSH1 0x20
00001b02: ADD
00001b03: PUSH1 0x00
00001b05: DUP2
00001b06: MSTORE
00001b07: PUSH1 0x20
00001b09: ADD
00001b0a: PUSH1 0x00
00001b0c: DUP2
00001b0d: MSTORE
00001b0e: PUSH1 0x20
00001b10: ADD
00001b11: PUSH1 0x00
00001b13: DUP2
00001b14: MSTORE
00001b15: PUSH1 0x20
00001b17: ADD
00001b18: PUSH1 0x06
00001b1a: SLOAD
00001b1b: DUP2
00001b1c: MSTORE
00001b1d: PUSH1 0x20
00001b1f: ADD
00001b20: PUSH1 0x01
00001b22: ISZERO
00001b23: ISZERO
00001b24: DUP2
00001b25: MSTORE
00001b26: PUSH1 0x20
00001b28: ADD
00001b29: PUSH1 0x00
00001b2b: ISZERO
00001b2c: ISZERO
00001b2d: DUP2
00001b2e: MSTORE
00001b2f: PUSH1 0x20
00001b31: ADD
00001b32: PUSH1 0x00
00001b34: DUP2
00001b35: MSTORE
00001b36: PUSH1 0x20
00001b38: ADD
00001b39: PUSH1 0x00
00001b3b: ISZERO
00001b3c: ISZERO
00001b3d: DUP2
00001b3e: MSTORE
00001b3f: POP
00001b40: PUSH1 0x10
00001b42: PUSH1 0x00
00001b44: PUSH1 0x05
00001b46: SLOAD
00001b47: DUP2
00001b48: MSTORE
00001b49: PUSH1 0x20
00001b4b: ADD
00001b4c: SWAP1
00001b4d: DUP2
00001b4e: MSTORE
00001b4f: PUSH1 0x20
00001b51: ADD
00001b52: PUSH1 0x00
00001b54: KECCAK256
00001b55: PUSH1 0x00
00001b57: DUP11
00001b58: PUSH1 0x01
00001b5a: PUSH1 0xa0
00001b5c: PUSH1 0x02
00001b5e: EXP
00001b5f: SUB
00001b60: AND
00001b61: PUSH1 0x01
00001b63: PUSH1 0xa0
00001b65: PUSH1 0x02
00001b67: EXP
00001b68: SUB
00001b69: AND
00001b6a: DUP2
00001b6b: MSTORE
00001b6c: PUSH1 0x20
00001b6e: ADD
00001b6f: SWAP1
00001b70: DUP2
00001b71: MSTORE
00001b72: PUSH1 0x20
00001b74: ADD
00001b75: PUSH1 0x00
00001b77: KECCAK256
00001b78: PUSH1 0x00
00001b7a: DUP3
00001b7b: ADD
00001b7c: MLOAD
00001b7d: DUP2
00001b7e: PUSH1 0x00
00001b80: ADD
00001b81: PUSH1 0x00
00001b83: PUSH2 0x0100
00001b86: EXP
00001b87: DUP2
00001b88: SLOAD
00001b89: DUP2
00001b8a: PUSH1 0x01
00001b8c: PUSH1 0xa0
00001b8e: PUSH1 0x02
00001b90: EXP
00001b91: SUB
00001b92: MUL
00001b93: NOT
00001b94: AND
00001b95: SWAP1
00001b96: DUP4
00001b97: PUSH1 0x01
00001b99: PUSH1 0xa0
00001b9b: PUSH1 0x02
00001b9d: EXP
00001b9e: SUB
00001b9f: AND
00001ba0: MUL
00001ba1: OR
00001ba2: SWAP1
00001ba3: SSTORE
00001ba4: POP
00001ba5: PUSH1 0x20
00001ba7: DUP3
00001ba8: ADD
00001ba9: MLOAD
00001baa: DUP2
00001bab: PUSH1 0x01
00001bad: ADD
00001bae: SSTORE
00001baf: PUSH1 0x40
00001bb1: DUP3
00001bb2: ADD
00001bb3: MLOAD
00001bb4: DUP2
00001bb5: PUSH1 0x02
00001bb7: ADD
00001bb8: SSTORE
00001bb9: PUSH1 0x60
00001bbb: DUP3
00001bbc: ADD
00001bbd: MLOAD
00001bbe: DUP2
00001bbf: PUSH1 0x03
00001bc1: ADD
00001bc2: SSTORE
00001bc3: PUSH1 0x80
00001bc5: DUP3
00001bc6: ADD
00001bc7: MLOAD
00001bc8: DUP2
00001bc9: PUSH1 0x04
00001bcb: ADD
00001bcc: SSTORE
00001bcd: PUSH1 0xa0
00001bcf: DUP3
00001bd0: ADD
00001bd1: MLOAD
00001bd2: DUP2
00001bd3: PUSH1 0x05
00001bd5: ADD
00001bd6: SSTORE
00001bd7: PUSH1 0xc0
00001bd9: DUP3
00001bda: ADD
00001bdb: MLOAD
00001bdc: DUP2
00001bdd: PUSH1 0x06
00001bdf: ADD
00001be0: SSTORE
00001be1: PUSH1 0xe0
00001be3: DUP3
00001be4: ADD
00001be5: MLOAD
00001be6: DUP2
00001be7: PUSH1 0x07
00001be9: ADD
00001bea: PUSH1 0x00
00001bec: PUSH2 0x0100
00001bef: EXP
00001bf0: DUP2
00001bf1: SLOAD
00001bf2: DUP2
00001bf3: PUSH1 0xff
00001bf5: MUL
00001bf6: NOT
00001bf7: AND
00001bf8: SWAP1
00001bf9: DUP4
00001bfa: ISZERO
00001bfb: ISZERO
00001bfc: MUL
00001bfd: OR
00001bfe: SWAP1
00001bff: SSTORE
00001c00: POP
00001c01: PUSH2 0x0100
00001c04: DUP3
00001c05: ADD
00001c06: MLOAD
00001c07: DUP2
00001c08: PUSH1 0x07
00001c0a: ADD
00001c0b: PUSH1 0x01
00001c0d: PUSH2 0x0100
00001c10: EXP
00001c11: DUP2
00001c12: SLOAD
00001c13: DUP2
00001c14: PUSH1 0xff
00001c16: MUL
00001c17: NOT
00001c18: AND
00001c19: SWAP1
00001c1a: DUP4
00001c1b: ISZERO
00001c1c: ISZERO
00001c1d: MUL
00001c1e: OR
00001c1f: SWAP1
00001c20: SSTORE
00001c21: POP
00001c22: PUSH2 0x0120
00001c25: DUP3
00001c26: ADD
00001c27: MLOAD
00001c28: DUP2
00001c29: PUSH1 0x08
00001c2b: ADD
00001c2c: SSTORE
00001c2d: PUSH2 0x0140
00001c30: DUP3
00001c31: ADD
00001c32: MLOAD
00001c33: DUP2
00001c34: PUSH1 0x09
00001c36: ADD
00001c37: PUSH1 0x00
00001c39: PUSH2 0x0100
00001c3c: EXP
00001c3d: DUP2
00001c3e: SLOAD
00001c3f: DUP2
00001c40: PUSH1 0xff
00001c42: MUL
00001c43: NOT
00001c44: AND
00001c45: SWAP1
00001c46: DUP4
00001c47: ISZERO
00001c48: ISZERO
00001c49: MUL
00001c4a: OR
00001c4b: SWAP1
00001c4c: SSTORE
00001c4d: POP
00001c4e: SWAP1
00001c4f: POP
00001c50: POP
00001c51: JUMPDEST
00001c52: PUSH1 0x01
00001c54: PUSH1 0xa0
00001c56: PUSH1 0x02
00001c58: EXP
00001c59: SUB
00001c5a: DUP9
00001c5b: AND
00001c5c: PUSH1 0x00
00001c5e: DUP2
00001c5f: DUP2
00001c60: MSTORE
00001c61: PUSH1 0x11
00001c63: PUSH1 0x20
00001c65: SWAP1
00001c66: DUP2
00001c67: MSTORE
00001c68: PUSH1 0x40
00001c6a: DUP1
00001c6b: DUP4
00001c6c: KECCAK256
00001c6d: DUP1
00001c6e: SLOAD
00001c6f: DUP12
00001c70: ADD
00001c71: SWAP1
00001c72: SSTORE
00001c73: PUSH1 0x05
00001c75: SLOAD
00001c76: DUP4
00001c77: MSTORE
00001c78: PUSH1 0x0f
00001c7a: SWAP1
00001c7b: SWAP2
00001c7c: MSTORE
00001c7d: SWAP1
00001c7e: KECCAK256
00001c7f: DUP1
00001c80: SLOAD
00001c81: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c96: NOT
00001c97: AND
00001c98: SWAP1
00001c99: SWAP2
00001c9a: OR
00001c9b: SWAP1
00001c9c: SSTORE
00001c9d: PUSH2 0x1ca4
00001ca0: PUSH2 0x290c
00001ca3: JUMP
00001ca4: JUMPDEST
00001ca5: PUSH1 0x06
00001ca7: SLOAD
00001ca8: PUSH1 0x00
00001caa: SWAP1
00001cab: DUP2
00001cac: MSTORE
00001cad: PUSH1 0x0d
00001caf: PUSH1 0x20
00001cb1: MSTORE
00001cb2: PUSH1 0x40
00001cb4: DUP2
00001cb5: KECCAK256
00001cb6: PUSH1 0x04
00001cb8: ADD
00001cb9: SLOAD
00001cba: SWAP2
00001cbb: SWAP6
00001cbc: POP
00001cbd: SWAP4
00001cbe: POP
00001cbf: DUP5
00001cc0: LT
00001cc1: ISZERO
00001cc2: PUSH2 0x1dd2
00001cc5: JUMPI
00001cc6: PUSH8 0x016345785d8a0000
00001ccf: DUP8
00001cd0: LT
00001cd1: ISZERO
00001cd2: DUP1
00001cd3: ISZERO
00001cd4: PUSH2 0x1ce4
00001cd7: JUMPI
00001cd8: POP
00001cd9: PUSH8 0x0de0b6b3a7640000
00001ce2: DUP8
00001ce3: LT
00001ce4: JUMPDEST
00001ce5: ISZERO
00001ce6: PUSH2 0x1d07
00001ce9: JUMPI
00001cea: PUSH2 0x1d00
00001ced: PUSH2 0x03e8
00001cf0: PUSH2 0x11d5
00001cf3: DUP10
00001cf4: PUSH1 0x32
00001cf6: PUSH4 0xffffffff
00001cfb: PUSH2 0x1619
00001cfe: AND
00001cff: JUMP
00001d00: JUMPDEST
00001d01: SWAP3
00001d02: POP
00001d03: PUSH2 0x1d6b
00001d06: JUMP
00001d07: JUMPDEST
00001d08: PUSH8 0x0de0b6b3a7640000
00001d11: DUP8
00001d12: LT
00001d13: ISZERO
00001d14: DUP1
00001d15: ISZERO
00001d16: PUSH2 0x1d26
00001d19: JUMPI
00001d1a: POP
00001d1b: PUSH8 0x8ac7230489e80000
00001d24: DUP8
00001d25: LT
00001d26: JUMPDEST
00001d27: ISZERO
00001d28: PUSH2 0x1d42
00001d2b: JUMPI
00001d2c: PUSH2 0x1d00
00001d2f: PUSH2 0x03e8
00001d32: PUSH2 0x11d5
00001d35: DUP10
00001d36: PUSH1 0x64
00001d38: PUSH4 0xffffffff
00001d3d: PUSH2 0x1619
00001d40: AND
00001d41: JUMP
00001d42: JUMPDEST
00001d43: PUSH8 0x8ac7230489e80000
00001d4c: DUP8
00001d4d: LT
00001d4e: PUSH2 0x1d6b
00001d51: JUMPI
00001d52: PUSH2 0x1d68
00001d55: PUSH2 0x03e8
00001d58: PUSH2 0x11d5
00001d5b: DUP10
00001d5c: PUSH1 0x96
00001d5e: PUSH4 0xffffffff
00001d63: PUSH2 0x1619
00001d66: AND
00001d67: JUMP
00001d68: JUMPDEST
00001d69: SWAP3
00001d6a: POP
00001d6b: JUMPDEST
00001d6c: PUSH1 0x05
00001d6e: SLOAD
00001d6f: PUSH1 0x00
00001d71: SWAP1
00001d72: DUP2
00001d73: MSTORE
00001d74: PUSH1 0x10
00001d76: PUSH1 0x20
00001d78: SWAP1
00001d79: DUP2
00001d7a: MSTORE
00001d7b: PUSH1 0x40
00001d7d: DUP1
00001d7e: DUP4
00001d7f: KECCAK256
00001d80: PUSH1 0x01
00001d82: PUSH1 0xa0
00001d84: PUSH1 0x02
00001d86: EXP
00001d87: SUB
00001d88: DUP13
00001d89: AND
00001d8a: DUP5
00001d8b: MSTORE
00001d8c: SWAP1
00001d8d: SWAP2
00001d8e: MSTORE
00001d8f: SWAP1
00001d90: KECCAK256
00001d91: PUSH1 0x04
00001d93: ADD
00001d94: SLOAD
00001d95: PUSH2 0x1da4
00001d98: SWAP1
00001d99: DUP5
00001d9a: PUSH4 0xffffffff
00001d9f: PUSH2 0x155e
00001da2: AND
00001da3: JUMP
00001da4: JUMPDEST
00001da5: PUSH1 0x05
00001da7: SLOAD
00001da8: PUSH1 0x00
00001daa: SWAP1
00001dab: DUP2
00001dac: MSTORE
00001dad: PUSH1 0x10
00001daf: PUSH1 0x20
00001db1: SWAP1
00001db2: DUP2
00001db3: MSTORE
00001db4: PUSH1 0x40
00001db6: DUP1
00001db7: DUP4
00001db8: KECCAK256
00001db9: PUSH1 0x01
00001dbb: PUSH1 0xa0
00001dbd: PUSH1 0x02
00001dbf: EXP
00001dc0: SUB
00001dc1: DUP14
00001dc2: AND
00001dc3: DUP5
00001dc4: MSTORE
00001dc5: SWAP1
00001dc6: SWAP2
00001dc7: MSTORE
00001dc8: SWAP1
00001dc9: KECCAK256
00001dca: PUSH1 0x04
00001dcc: ADD
00001dcd: SSTORE
00001dce: PUSH1 0x01
00001dd0: SWAP5
00001dd1: POP
00001dd2: JUMPDEST
00001dd3: PUSH1 0x01
00001dd5: PUSH1 0xa0
00001dd7: PUSH1 0x02
00001dd9: EXP
00001dda: SUB
00001ddb: DUP11
00001ddc: AND
00001ddd: ISZERO
00001dde: DUP1
00001ddf: ISZERO
00001de0: SWAP1
00001de1: PUSH2 0x1dfc
00001de4: JUMPI
00001de5: POP
00001de6: DUP8
00001de7: PUSH1 0x01
00001de9: PUSH1 0xa0
00001deb: PUSH1 0x02
00001ded: EXP
00001dee: SUB
00001def: AND
00001df0: DUP11
00001df1: PUSH1 0x01
00001df3: PUSH1 0xa0
00001df5: PUSH1 0x02
00001df7: EXP
00001df8: SUB
00001df9: AND
00001dfa: EQ
00001dfb: ISZERO
00001dfc: JUMPDEST
00001dfd: ISZERO
00001dfe: PUSH2 0x2062
00001e01: JUMPI
00001e02: PUSH8 0x0de0b6b3a7640000
00001e0b: PUSH2 0x1e77
00001e0e: DUP8
00001e0f: PUSH1 0x0f
00001e11: PUSH1 0x00
00001e13: PUSH1 0x05
00001e15: SLOAD
00001e16: DUP2
00001e17: MSTORE
00001e18: PUSH1 0x20
00001e1a: ADD
00001e1b: SWAP1
00001e1c: DUP2
00001e1d: MSTORE
00001e1e: PUSH1 0x20
00001e20: ADD
00001e21: PUSH1 0x00
00001e23: KECCAK256
00001e24: PUSH1 0x03
00001e26: ADD
00001e27: SLOAD
00001e28: PUSH2 0x1e61
00001e2b: PUSH8 0x0de0b6b3a7640000
00001e34: PUSH2 0x03e8
00001e37: PUSH2 0x1e61
00001e3a: PUSH1 0x0d
00001e3c: PUSH1 0x00
00001e3e: PUSH1 0x06
00001e40: SLOAD
00001e41: DUP2
00001e42: MSTORE
00001e43: PUSH1 0x20
00001e45: ADD
00001e46: SWAP1
00001e47: DUP2
00001e48: MSTORE
00001e49: PUSH1 0x20
00001e4b: ADD
00001e4c: PUSH1 0x00
00001e4e: KECCAK256
00001e4f: PUSH1 0x02
00001e51: ADD
00001e52: SLOAD
00001e53: DUP16
00001e54: PUSH2 0x1619
00001e57: SWAP1
00001e58: SWAP2
00001e59: SWAP1
00001e5a: PUSH4 0xffffffff
00001e5f: AND
00001e60: JUMP
00001e61: JUMPDEST
00001e62: DUP2
00001e63: ISZERO
00001e64: ISZERO
00001e65: PUSH2 0x1e6a
00001e68: JUMPI
00001e69: INVALID
00001e6a: JUMPDEST
00001e6b: DIV
00001e6c: SWAP1
00001e6d: PUSH4 0xffffffff
00001e72: PUSH2 0x1619
00001e75: AND
00001e76: JUMP
00001e77: JUMPDEST
00001e78: DUP2
00001e79: ISZERO
00001e7a: ISZERO
00001e7b: PUSH2 0x1e80
00001e7e: JUMPI
00001e7f: INVALID
00001e80: JUMPDEST
00001e81: DIV
00001e82: SWAP2
00001e83: POP
00001e84: PUSH2 0x1eb4
00001e87: PUSH2 0x03e8
00001e8a: PUSH2 0x11d5
00001e8d: PUSH1 0x0d
00001e8f: PUSH1 0x00
00001e91: PUSH1 0x06
00001e93: SLOAD
00001e94: DUP2
00001e95: MSTORE
00001e96: PUSH1 0x20
00001e98: ADD
00001e99: SWAP1
00001e9a: DUP2
00001e9b: MSTORE
00001e9c: PUSH1 0x20
00001e9e: ADD
00001e9f: PUSH1 0x00
00001ea1: KECCAK256
00001ea2: PUSH1 0x05
00001ea4: ADD
00001ea5: SLOAD
00001ea6: DUP11
00001ea7: PUSH2 0x1619
00001eaa: SWAP1
00001eab: SWAP2
00001eac: SWAP1
00001ead: PUSH4 0xffffffff
00001eb2: AND
00001eb3: JUMP
00001eb4: JUMPDEST
00001eb5: PUSH1 0x00
00001eb7: DUP1
00001eb8: SLOAD
00001eb9: SWAP1
00001eba: SWAP2
00001ebb: ADD
00001ebc: DUP2
00001ebd: SSTORE
00001ebe: PUSH1 0x06
00001ec0: SLOAD
00001ec1: DUP2
00001ec2: MSTORE
00001ec3: PUSH1 0x0d
00001ec5: PUSH1 0x20
00001ec7: MSTORE
00001ec8: PUSH1 0x40
00001eca: SWAP1
00001ecb: KECCAK256
00001ecc: PUSH1 0x03
00001ece: ADD
00001ecf: SLOAD
00001ed0: PUSH2 0x1ee8
00001ed3: SWAP1
00001ed4: PUSH2 0x03e8
00001ed7: SWAP1
00001ed8: PUSH2 0x11d5
00001edb: SWAP1
00001edc: DUP11
00001edd: SWAP1
00001ede: PUSH4 0xffffffff
00001ee3: PUSH2 0x1619
00001ee6: AND
00001ee7: JUMP
00001ee8: JUMPDEST
00001ee9: PUSH1 0x10
00001eeb: PUSH1 0x00
00001eed: PUSH1 0x05
00001eef: SLOAD
00001ef0: DUP2
00001ef1: MSTORE
00001ef2: PUSH1 0x20
00001ef4: ADD
00001ef5: SWAP1
00001ef6: DUP2
00001ef7: MSTORE
00001ef8: PUSH1 0x20
00001efa: ADD
00001efb: PUSH1 0x00
00001efd: KECCAK256
00001efe: PUSH1 0x00
00001f00: DUP13
00001f01: PUSH1 0x01
00001f03: PUSH1 0xa0
00001f05: PUSH1 0x02
00001f07: EXP
00001f08: SUB
00001f09: AND
00001f0a: PUSH1 0x01
00001f0c: PUSH1 0xa0
00001f0e: PUSH1 0x02
00001f10: EXP
00001f11: SUB
00001f12: AND
00001f13: DUP2
00001f14: MSTORE
00001f15: PUSH1 0x20
00001f17: ADD
00001f18: SWAP1
00001f19: DUP2
00001f1a: MSTORE
00001f1b: PUSH1 0x20
00001f1d: ADD
00001f1e: PUSH1 0x00
00001f20: KECCAK256
00001f21: PUSH1 0x03
00001f23: ADD
00001f24: PUSH1 0x00
00001f26: DUP3
00001f27: DUP3
00001f28: SLOAD
00001f29: ADD
00001f2a: SWAP3
00001f2b: POP
00001f2c: POP
00001f2d: DUP2
00001f2e: SWAP1
00001f2f: SSTORE
00001f30: POP
00001f31: PUSH1 0x0f
00001f33: PUSH1 0x00
00001f35: PUSH1 0x05
00001f37: SLOAD
00001f38: DUP2
00001f39: MSTORE
00001f3a: PUSH1 0x20
00001f3c: ADD
00001f3d: SWAP1
00001f3e: DUP2
00001f3f: MSTORE
00001f40: PUSH1 0x20
00001f42: ADD
00001f43: PUSH1 0x00
00001f45: KECCAK256
00001f46: PUSH1 0x03
00001f48: ADD
00001f49: SLOAD
00001f4a: PUSH2 0x1f83
00001f4d: PUSH8 0x0de0b6b3a7640000
00001f56: PUSH2 0x03e8
00001f59: PUSH2 0x1e61
00001f5c: PUSH1 0x0d
00001f5e: PUSH1 0x00
00001f60: PUSH1 0x06
00001f62: SLOAD
00001f63: DUP2
00001f64: MSTORE
00001f65: PUSH1 0x20
00001f67: ADD
00001f68: SWAP1
00001f69: DUP2
00001f6a: MSTORE
00001f6b: PUSH1 0x20
00001f6d: ADD
00001f6e: PUSH1 0x00
00001f70: KECCAK256
00001f71: PUSH1 0x02
00001f73: ADD
00001f74: SLOAD
00001f75: DUP13
00001f76: PUSH2 0x1619
00001f79: SWAP1
00001f7a: SWAP2
00001f7b: SWAP1
00001f7c: PUSH4 0xffffffff
00001f81: AND
00001f82: JUMP
00001f83: JUMPDEST
00001f84: DUP2
00001f85: ISZERO
00001f86: ISZERO
00001f87: PUSH2 0x1f8c
00001f8a: JUMPI
00001f8b: INVALID
00001f8c: JUMPDEST
00001f8d: DIV
00001f8e: PUSH1 0x0f
00001f90: PUSH1 0x00
00001f92: PUSH1 0x05
00001f94: SLOAD
00001f95: DUP2
00001f96: MSTORE
00001f97: PUSH1 0x20
00001f99: ADD
00001f9a: SWAP1
00001f9b: DUP2
00001f9c: MSTORE
00001f9d: PUSH1 0x20
00001f9f: ADD
00001fa0: PUSH1 0x00
00001fa2: KECCAK256
00001fa3: PUSH1 0x06
00001fa5: ADD
00001fa6: PUSH1 0x00
00001fa8: DUP3
00001fa9: DUP3
00001faa: SLOAD
00001fab: ADD
00001fac: SWAP3
00001fad: POP
00001fae: POP
00001faf: DUP2
00001fb0: SWAP1
00001fb1: SSTORE
00001fb2: POP
00001fb3: PUSH2 0x2035
00001fb6: PUSH1 0x10
00001fb8: PUSH1 0x00
00001fba: PUSH1 0x05
00001fbc: SLOAD
00001fbd: DUP2
00001fbe: MSTORE
00001fbf: PUSH1 0x20
00001fc1: ADD
00001fc2: SWAP1
00001fc3: DUP2
00001fc4: MSTORE
00001fc5: PUSH1 0x20
00001fc7: ADD
00001fc8: PUSH1 0x00
00001fca: KECCAK256
00001fcb: PUSH1 0x00
00001fcd: DUP11
00001fce: PUSH1 0x01
00001fd0: PUSH1 0xa0
00001fd2: PUSH1 0x02
00001fd4: EXP
00001fd5: SUB
00001fd6: AND
00001fd7: PUSH1 0x01
00001fd9: PUSH1 0xa0
00001fdb: PUSH1 0x02
00001fdd: EXP
00001fde: SUB
00001fdf: AND
00001fe0: DUP2
00001fe1: MSTORE
00001fe2: PUSH1 0x20
00001fe4: ADD
00001fe5: SWAP1
00001fe6: DUP2
00001fe7: MSTORE
00001fe8: PUSH1 0x20
00001fea: ADD
00001feb: PUSH1 0x00
00001fed: KECCAK256
00001fee: PUSH1 0x05
00001ff0: ADD
00001ff1: SLOAD
00001ff2: PUSH2 0x2029
00001ff5: DUP5
00001ff6: PUSH8 0x0de0b6b3a7640000
00001fff: PUSH2 0x0d62
00002002: DUP12
00002003: PUSH1 0x0f
00002005: PUSH1 0x00
00002007: PUSH1 0x05
00002009: SLOAD
0000200a: DUP2
0000200b: MSTORE
0000200c: PUSH1 0x20
0000200e: ADD
0000200f: SWAP1
00002010: DUP2
00002011: MSTORE
00002012: PUSH1 0x20
00002014: ADD
00002015: PUSH1 0x00
00002017: KECCAK256
00002018: PUSH1 0x06
0000201a: ADD
0000201b: SLOAD
0000201c: PUSH2 0x1619
0000201f: SWAP1
00002020: SWAP2
00002021: SWAP1
00002022: PUSH4 0xffffffff
00002027: AND
00002028: JUMP
00002029: JUMPDEST
0000202a: SWAP1
0000202b: PUSH4 0xffffffff
00002030: PUSH2 0x155e
00002033: AND
00002034: JUMP
00002035: JUMPDEST
00002036: PUSH1 0x05
00002038: DUP1
00002039: SLOAD
0000203a: PUSH1 0x00
0000203c: SWAP1
0000203d: DUP2
0000203e: MSTORE
0000203f: PUSH1 0x10
00002041: PUSH1 0x20
00002043: SWAP1
00002044: DUP2
00002045: MSTORE
00002046: PUSH1 0x40
00002048: DUP1
00002049: DUP4
0000204a: KECCAK256
0000204b: PUSH1 0x01
0000204d: PUSH1 0xa0
0000204f: PUSH1 0x02
00002051: EXP
00002052: SUB
00002053: DUP15
00002054: AND
00002055: DUP5
00002056: MSTORE
00002057: SWAP1
00002058: SWAP2
00002059: MSTORE
0000205a: SWAP1
0000205b: KECCAK256
0000205c: ADD
0000205d: SSTORE
0000205e: PUSH2 0x2244
00002061: JUMP
00002062: JUMPDEST
00002063: PUSH8 0x0de0b6b3a7640000
0000206c: PUSH2 0x20dc
0000206f: DUP8
00002070: PUSH1 0x0f
00002072: PUSH1 0x00
00002074: PUSH1 0x05
00002076: SLOAD
00002077: DUP2
00002078: MSTORE
00002079: PUSH1 0x20
0000207b: ADD
0000207c: SWAP1
0000207d: DUP2
0000207e: MSTORE
0000207f: PUSH1 0x20
00002081: ADD
00002082: PUSH1 0x00
00002084: KECCAK256
00002085: PUSH1 0x03
00002087: ADD
00002088: SLOAD
00002089: PUSH2 0x1e61
0000208c: PUSH8 0x0de0b6b3a7640000
00002095: PUSH2 0x03e8
00002098: PUSH2 0x1e61
0000209b: PUSH1 0x0d
0000209d: PUSH1 0x00
0000209f: PUSH1 0x06
000020a1: SLOAD
000020a2: DUP2
000020a3: MSTORE
000020a4: PUSH1 0x20
000020a6: ADD
000020a7: SWAP1
000020a8: DUP2
000020a9: MSTORE
000020aa: PUSH1 0x20
000020ac: ADD
000020ad: PUSH1 0x00
000020af: KECCAK256
000020b0: PUSH1 0x03
000020b2: ADD
000020b3: SLOAD
000020b4: PUSH1 0x0d
000020b6: PUSH1 0x00
000020b8: PUSH1 0x06
000020ba: SLOAD
000020bb: DUP2
000020bc: MSTORE
000020bd: PUSH1 0x20
000020bf: ADD
000020c0: SWAP1
000020c1: DUP2
000020c2: MSTORE
000020c3: PUSH1 0x20
000020c5: ADD
000020c6: PUSH1 0x00
000020c8: KECCAK256
000020c9: PUSH1 0x02
000020cb: ADD
000020cc: SLOAD
000020cd: ADD
000020ce: DUP16
000020cf: PUSH2 0x1619
000020d2: SWAP1
000020d3: SWAP2
000020d4: SWAP1
000020d5: PUSH4 0xffffffff
000020da: AND
000020db: JUMP
000020dc: JUMPDEST
000020dd: DUP2
000020de: ISZERO
000020df: ISZERO
000020e0: PUSH2 0x20e5
000020e3: JUMPI
000020e4: INVALID
000020e5: JUMPDEST
000020e6: DIV
000020e7: SWAP2
000020e8: POP
000020e9: PUSH2 0x2119
000020ec: PUSH2 0x03e8
000020ef: PUSH2 0x11d5
000020f2: PUSH1 0x0d
000020f4: PUSH1 0x00
000020f6: PUSH1 0x06
000020f8: SLOAD
000020f9: DUP2
000020fa: MSTORE
000020fb: PUSH1 0x20
000020fd: ADD
000020fe: SWAP1
000020ff: DUP2
00002100: MSTORE
00002101: PUSH1 0x20
00002103: ADD
00002104: PUSH1 0x00
00002106: KECCAK256
00002107: PUSH1 0x05
00002109: ADD
0000210a: SLOAD
0000210b: DUP11
0000210c: PUSH2 0x1619
0000210f: SWAP1
00002110: SWAP2
00002111: SWAP1
00002112: PUSH4 0xffffffff
00002117: AND
00002118: JUMP
00002119: JUMPDEST
0000211a: PUSH1 0x00
0000211c: DUP1
0000211d: SLOAD
0000211e: SWAP1
0000211f: SWAP2
00002120: ADD
00002121: DUP2
00002122: SSTORE
00002123: PUSH1 0x05
00002125: SLOAD
00002126: DUP2
00002127: MSTORE
00002128: PUSH1 0x0f
0000212a: PUSH1 0x20
0000212c: SWAP1
0000212d: DUP2
0000212e: MSTORE
0000212f: PUSH1 0x40
00002131: DUP1
00002132: DUP4
00002133: KECCAK256
00002134: PUSH1 0x03
00002136: SWAP1
00002137: DUP2
00002138: ADD
00002139: SLOAD
0000213a: PUSH1 0x06
0000213c: SLOAD
0000213d: DUP6
0000213e: MSTORE
0000213f: PUSH1 0x0d
00002141: SWAP1
00002142: SWAP4
00002143: MSTORE
00002144: SWAP3
00002145: KECCAK256
00002146: SWAP2
00002147: DUP3
00002148: ADD
00002149: SLOAD
0000214a: PUSH1 0x02
0000214c: SWAP1
0000214d: SWAP3
0000214e: ADD
0000214f: SLOAD
00002150: SWAP1
00002151: SWAP2
00002152: PUSH2 0x2175
00002155: SWAP2
00002156: PUSH8 0x0de0b6b3a7640000
0000215f: SWAP2
00002160: PUSH2 0x03e8
00002163: SWAP2
00002164: PUSH2 0x1e61
00002167: SWAP2
00002168: DUP14
00002169: SWAP2
0000216a: ADD
0000216b: PUSH4 0xffffffff
00002170: PUSH2 0x1619
00002173: AND
00002174: JUMP
00002175: JUMPDEST
00002176: DUP2
00002177: ISZERO
00002178: ISZERO
00002179: PUSH2 0x217e
0000217c: JUMPI
0000217d: INVALID
0000217e: JUMPDEST
0000217f: DIV
00002180: PUSH1 0x0f
00002182: PUSH1 0x00
00002184: PUSH1 0x05
00002186: SLOAD
00002187: DUP2
00002188: MSTORE
00002189: PUSH1 0x20
0000218b: ADD
0000218c: SWAP1
0000218d: DUP2
0000218e: MSTORE
0000218f: PUSH1 0x20
00002191: ADD
00002192: PUSH1 0x00
00002194: KECCAK256
00002195: PUSH1 0x06
00002197: ADD
00002198: PUSH1 0x00
0000219a: DUP3
0000219b: DUP3
0000219c: SLOAD
0000219d: ADD
0000219e: SWAP3
0000219f: POP
000021a0: POP
000021a1: DUP2
000021a2: SWAP1
000021a3: SSTORE
000021a4: POP
000021a5: PUSH2 0x221b
000021a8: PUSH1 0x10
000021aa: PUSH1 0x00
000021ac: PUSH1 0x05
000021ae: SLOAD
000021af: DUP2
000021b0: MSTORE
000021b1: PUSH1 0x20
000021b3: ADD
000021b4: SWAP1
000021b5: DUP2
000021b6: MSTORE
000021b7: PUSH1 0x20
000021b9: ADD
000021ba: PUSH1 0x00
000021bc: KECCAK256
000021bd: PUSH1 0x00
000021bf: DUP11
000021c0: PUSH1 0x01
000021c2: PUSH1 0xa0
000021c4: PUSH1 0x02
000021c6: EXP
000021c7: SUB
000021c8: AND
000021c9: PUSH1 0x01
000021cb: PUSH1 0xa0
000021cd: PUSH1 0x02
000021cf: EXP
000021d0: SUB
000021d1: AND
000021d2: DUP2
000021d3: MSTORE
000021d4: PUSH1 0x20
000021d6: ADD
000021d7: SWAP1
000021d8: DUP2
000021d9: MSTORE
000021da: PUSH1 0x20
000021dc: ADD
000021dd: PUSH1 0x00
000021df: KECCAK256
000021e0: PUSH1 0x05
000021e2: ADD
000021e3: SLOAD
000021e4: PUSH2 0x2029
000021e7: DUP5
000021e8: PUSH8 0x0de0b6b3a7640000
000021f1: PUSH2 0x0d62
000021f4: DUP12
000021f5: PUSH1 0x0f
000021f7: PUSH1 0x00
000021f9: PUSH1 0x05
000021fb: SLOAD
000021fc: DUP2
000021fd: MSTORE
000021fe: PUSH1 0x20
00002200: ADD
00002201: SWAP1
00002202: DUP2
00002203: MSTORE
00002204: PUSH1 0x20
00002206: ADD
00002207: PUSH1 0x00
00002209: KECCAK256
0000220a: PUSH1 0x06
0000220c: ADD
0000220d: SLOAD
0000220e: PUSH2 0x1619
00002211: SWAP1
00002212: SWAP2
00002213: SWAP1
00002214: PUSH4 0xffffffff
00002219: AND
0000221a: JUMP
0000221b: JUMPDEST
0000221c: PUSH1 0x05
0000221e: DUP1
0000221f: SLOAD
00002220: PUSH1 0x00
00002222: SWAP1
00002223: DUP2
00002224: MSTORE
00002225: PUSH1 0x10
00002227: PUSH1 0x20
00002229: SWAP1
0000222a: DUP2
0000222b: MSTORE
0000222c: PUSH1 0x40
0000222e: DUP1
0000222f: DUP4
00002230: KECCAK256
00002231: PUSH1 0x01
00002233: PUSH1 0xa0
00002235: PUSH1 0x02
00002237: EXP
00002238: SUB
00002239: DUP15
0000223a: AND
0000223b: DUP5
0000223c: MSTORE
0000223d: SWAP1
0000223e: SWAP2
0000223f: MSTORE
00002240: SWAP1
00002241: KECCAK256
00002242: ADD
00002243: SSTORE
00002244: JUMPDEST
00002245: PUSH1 0x40
00002247: DUP1
00002248: MLOAD
00002249: DUP6
0000224a: DUP2
0000224b: MSTORE
0000224c: PUSH1 0x20
0000224e: DUP2
0000224f: ADD
00002250: DUP6
00002251: SWAP1
00002252: MSTORE
00002253: DUP7
00002254: ISZERO
00002255: ISZERO
00002256: DUP2
00002257: DUP4
00002258: ADD
00002259: MSTORE
0000225a: SWAP1
0000225b: MLOAD
0000225c: PUSH1 0x01
0000225e: PUSH1 0xa0
00002260: PUSH1 0x02
00002262: EXP
00002263: SUB
00002264: DUP11
00002265: AND
00002266: SWAP2
00002267: PUSH32 0x06e7f1923ae1a233c1b4b603bb218016de407709394878c316268d3781914704
00002288: SWAP2
00002289: SWAP1
0000228a: DUP2
0000228b: SWAP1
0000228c: SUB
0000228d: PUSH1 0x60
0000228f: ADD
00002290: SWAP1
00002291: LOG2
00002292: PUSH1 0x01
00002294: PUSH1 0xa0
00002296: PUSH1 0x02
00002298: EXP
00002299: SUB
0000229a: DUP9
0000229b: AND
0000229c: PUSH1 0x00
0000229e: DUP2
0000229f: DUP2
000022a0: MSTORE
000022a1: PUSH1 0x11
000022a3: PUSH1 0x20
000022a5: SWAP1
000022a6: DUP2
000022a7: MSTORE
000022a8: PUSH1 0x40
000022aa: DUP1
000022ab: DUP4
000022ac: KECCAK256
000022ad: SLOAD
000022ae: PUSH1 0x05
000022b0: DUP1
000022b1: SLOAD
000022b2: DUP6
000022b3: MSTORE
000022b4: PUSH1 0x0f
000022b6: DUP5
000022b7: MSTORE
000022b8: SWAP4
000022b9: DUP3
000022ba: SWAP1
000022bb: KECCAK256
000022bc: PUSH1 0x04
000022be: DUP2
000022bf: ADD
000022c0: SLOAD
000022c1: PUSH1 0x03
000022c3: DUP3
000022c4: ADD
000022c5: SLOAD
000022c6: SWAP2
000022c7: SWAP1
000022c8: SWAP6
000022c9: ADD
000022ca: SLOAD
000022cb: DUP4
000022cc: MLOAD
000022cd: DUP15
000022ce: DUP2
000022cf: MSTORE
000022d0: SWAP5
000022d1: DUP6
000022d2: ADD
000022d3: DUP14
000022d4: SWAP1
000022d5: MSTORE
000022d6: DUP5
000022d7: DUP5
000022d8: ADD
000022d9: SWAP3
000022da: SWAP1
000022db: SWAP3
000022dc: MSTORE
000022dd: PUSH1 0x60
000022df: DUP5
000022e0: ADD
000022e1: SWAP5
000022e2: SWAP1
000022e3: SWAP5
000022e4: MSTORE
000022e5: PUSH1 0x80
000022e7: DUP4
000022e8: ADD
000022e9: SWAP4
000022ea: SWAP1
000022eb: SWAP4
000022ec: MSTORE
000022ed: PUSH1 0xa0
000022ef: DUP3
000022f0: ADD
000022f1: SWAP3
000022f2: SWAP1
000022f3: SWAP3
000022f4: MSTORE
000022f5: SWAP1
000022f6: MLOAD
000022f7: PUSH32 0xfc8944a3225a3add50d70359ccdb9e4ada6d5db8d0d3378adbf858650821e478
00002318: SWAP2
00002319: DUP2
0000231a: SWAP1
0000231b: SUB
0000231c: PUSH1 0xc0
0000231e: ADD
0000231f: SWAP1
00002320: LOG2
00002321: POP
00002322: SWAP4
00002323: SWAP9
00002324: SWAP8
00002325: POP
00002326: POP
00002327: POP
00002328: POP
00002329: POP
0000232a: POP
0000232b: POP
0000232c: POP
0000232d: JUMP
0000232e: JUMPDEST
0000232f: TIMESTAMP
00002330: PUSH1 0x00
00002332: PUSH2 0x2382
00002335: DUP3
00002336: PUSH2 0x0bbe
00002339: PUSH2 0x2361
0000233c: PUSH1 0x0a
0000233e: PUSH2 0x2355
00002341: DUP9
00002342: PUSH8 0x0de0b6b3a7640000
0000234b: PUSH4 0xffffffff
00002350: PUSH2 0x281b
00002353: AND
00002354: JUMP
00002355: JUMPDEST
00002356: SWAP1
00002357: PUSH4 0xffffffff
0000235c: PUSH2 0x1619
0000235f: AND
00002360: JUMP
00002361: JUMPDEST
00002362: PUSH1 0x05
00002364: SLOAD
00002365: PUSH1 0x00
00002367: SWAP1
00002368: DUP2
00002369: MSTORE
0000236a: PUSH1 0x0f
0000236c: PUSH1 0x20
0000236e: MSTORE
0000236f: PUSH1 0x40
00002371: SWAP1
00002372: KECCAK256
00002373: PUSH1 0x02
00002375: ADD
00002376: SLOAD
00002377: SWAP1
00002378: PUSH4 0xffffffff
0000237d: PUSH2 0x155e
00002380: AND
00002381: JUMP
00002382: JUMPDEST
00002383: SWAP1
00002384: POP
00002385: PUSH3 0x015180
00002389: DUP2
0000238a: GT
0000238b: ISZERO
0000238c: PUSH2 0x2395
0000238f: JUMPI
00002390: POP
00002391: PUSH3 0x015180
00002395: JUMPDEST
00002396: PUSH2 0x23a5
00002399: DUP3
0000239a: DUP3
0000239b: PUSH4 0xffffffff
000023a0: PUSH2 0x155e
000023a3: AND
000023a4: JUMP
000023a5: JUMPDEST
000023a6: PUSH1 0x05
000023a8: SLOAD
000023a9: PUSH1 0x00
000023ab: SWAP1
000023ac: DUP2
000023ad: MSTORE
000023ae: PUSH1 0x0f
000023b0: PUSH1 0x20
000023b2: MSTORE
000023b3: PUSH1 0x40
000023b5: SWAP1
000023b6: KECCAK256
000023b7: PUSH1 0x02
000023b9: ADD
000023ba: SSTORE
000023bb: PUSH2 0x23f6
000023be: PUSH2 0x23d5
000023c1: DUP5
000023c2: PUSH8 0x0de0b6b3a7640000
000023cb: PUSH4 0xffffffff
000023d0: PUSH2 0x281b
000023d3: AND
000023d4: JUMP
000023d5: JUMPDEST
000023d6: PUSH1 0x05
000023d8: SLOAD
000023d9: PUSH1 0x00
000023db: SWAP1
000023dc: DUP2
000023dd: MSTORE
000023de: PUSH1 0x0f
000023e0: PUSH1 0x20
000023e2: MSTORE
000023e3: PUSH1 0x40
000023e5: SWAP1
000023e6: KECCAK256
000023e7: PUSH1 0x07
000023e9: ADD
000023ea: SLOAD
000023eb: SWAP1
000023ec: PUSH4 0xffffffff
000023f1: PUSH2 0x155e
000023f4: AND
000023f5: JUMP
000023f6: JUMPDEST
000023f7: PUSH1 0x05
000023f9: DUP1
000023fa: SLOAD
000023fb: PUSH1 0x00
000023fd: SWAP1
000023fe: DUP2
000023ff: MSTORE
00002400: PUSH1 0x0f
00002402: PUSH1 0x20
00002404: MSTORE
00002405: PUSH1 0x40
00002407: DUP1
00002408: DUP3
00002409: KECCAK256
0000240a: PUSH1 0x07
0000240c: ADD
0000240d: SWAP4
0000240e: SWAP1
0000240f: SWAP4
00002410: SSTORE
00002411: SWAP1
00002412: SLOAD
00002413: DUP2
00002414: MSTORE
00002415: KECCAK256
00002416: PUSH1 0x01
00002418: DUP2
00002419: ADD
0000241a: SLOAD
0000241b: PUSH1 0x02
0000241d: SWAP1
0000241e: SWAP2
0000241f: ADD
00002420: SLOAD
00002421: PUSH32 0xac0a953138d74d00c10c67083b6726d38cb7bd2e6ecb2d285f3de9c17c69da63
00002442: SWAP2
00002443: SWAP1
00002444: DUP4
00002445: PUSH2 0x2454
00002448: DUP3
00002449: DUP8
0000244a: PUSH4 0xffffffff
0000244f: PUSH2 0x15b9
00002452: AND
00002453: JUMP
00002454: JUMPDEST
00002455: PUSH1 0x40
00002457: DUP1
00002458: MLOAD
00002459: SWAP5
0000245a: DUP6
0000245b: MSTORE
0000245c: PUSH1 0x20
0000245e: DUP6
0000245f: ADD
00002460: SWAP4
00002461: SWAP1
00002462: SWAP4
00002463: MSTORE
00002464: DUP4
00002465: DUP4
00002466: ADD
00002467: SWAP2
00002468: SWAP1
00002469: SWAP2
0000246a: MSTORE
0000246b: PUSH1 0x60
0000246d: DUP4
0000246e: ADD
0000246f: MSTORE
00002470: MLOAD
00002471: SWAP1
00002472: DUP2
00002473: SWAP1
00002474: SUB
00002475: PUSH1 0x80
00002477: ADD
00002478: SWAP1
00002479: LOG1
0000247a: POP
0000247b: POP
0000247c: POP
0000247d: JUMP
0000247e: JUMPDEST
0000247f: PUSH1 0x04
00002481: SLOAD
00002482: PUSH1 0x00
00002484: SWAP1
00002485: DUP2
00002486: SWAP1
00002487: DUP2
00002488: SWAP1
00002489: DUP2
0000248a: SWAP1
0000248b: DUP2
0000248c: SWAP1
0000248d: DUP2
0000248e: SWAP1
0000248f: DUP2
00002490: SWAP1
00002491: DUP2
00002492: SWAP1
00002493: PUSH1 0xff
00002495: AND
00002496: ISZERO
00002497: ISZERO
00002498: PUSH1 0x01
0000249a: EQ
0000249b: PUSH2 0x24dc
0000249e: JUMPI
0000249f: PUSH1 0x40
000024a1: DUP1
000024a2: MLOAD
000024a3: PUSH1 0xe5
000024a5: PUSH1 0x02
000024a7: EXP
000024a8: PUSH3 0x461bcd
000024ac: MUL
000024ad: DUP2
000024ae: MSTORE
000024af: PUSH1 0x20
000024b1: PUSH1 0x04
000024b3: DUP3
000024b4: ADD
000024b5: MSTORE
000024b6: PUSH1 0x11
000024b8: PUSH1 0x24
000024ba: DUP3
000024bb: ADD
000024bc: MSTORE
000024bd: PUSH1 0x00
000024bf: DUP1
000024c0: MLOAD
000024c1: PUSH1 0x20
000024c3: PUSH2 0x29f5
000024c6: DUP4
000024c7: CODECOPY
000024c8: DUP2
000024c9: MLOAD
000024ca: SWAP2
000024cb: MSTORE
000024cc: PUSH1 0x44
000024ce: DUP3
000024cf: ADD
000024d0: MSTORE
000024d1: SWAP1
000024d2: MLOAD
000024d3: SWAP1
000024d4: DUP2
000024d5: SWAP1
000024d6: SUB
000024d7: PUSH1 0x64
000024d9: ADD
000024da: SWAP1
000024db: REVERT
000024dc: JUMPDEST
000024dd: PUSH2 0x24e5
000024e0: TIMESTAMP
000024e1: PUSH2 0x1524
000024e4: JUMP
000024e5: JUMPDEST
000024e6: ISZERO
000024e7: PUSH2 0x253a
000024ea: JUMPI
000024eb: PUSH1 0x40
000024ed: DUP1
000024ee: MLOAD
000024ef: PUSH1 0xe5
000024f1: PUSH1 0x02
000024f3: EXP
000024f4: PUSH3 0x461bcd
000024f8: MUL
000024f9: DUP2
000024fa: MSTORE
000024fb: PUSH1 0x20
000024fd: PUSH1 0x04
000024ff: DUP3
00002500: ADD
00002501: MSTORE
00002502: PUSH1 0x1a
00002504: PUSH1 0x24
00002506: DUP3
00002507: ADD
00002508: MSTORE
00002509: PUSH32 0x54686520726f756e6420686173206e6f742066696e6973686564000000000000
0000252a: PUSH1 0x44
0000252c: DUP3
0000252d: ADD
0000252e: MSTORE
0000252f: SWAP1
00002530: MLOAD
00002531: SWAP1
00002532: DUP2
00002533: SWAP1
00002534: SUB
00002535: PUSH1 0x64
00002537: ADD
00002538: SWAP1
00002539: REVERT
0000253a: JUMPDEST
0000253b: PUSH1 0x05
0000253d: DUP1
0000253e: SLOAD
0000253f: PUSH1 0x00
00002541: DUP2
00002542: DUP2
00002543: MSTORE
00002544: PUSH1 0x0f
00002546: PUSH1 0x20
00002548: DUP2
00002549: DUP2
0000254a: MSTORE
0000254b: PUSH1 0x40
0000254d: DUP1
0000254e: DUP5
0000254f: KECCAK256
00002550: DUP1
00002551: SLOAD
00002552: PUSH1 0x10
00002554: DUP5
00002555: MSTORE
00002556: DUP3
00002557: DUP7
00002558: KECCAK256
00002559: PUSH1 0x01
0000255b: PUSH1 0xa0
0000255d: PUSH1 0x02
0000255f: EXP
00002560: SUB
00002561: SWAP1
00002562: SWAP2
00002563: AND
00002564: DUP1
00002565: DUP8
00002566: MSTORE
00002567: SWAP1
00002568: DUP5
00002569: MSTORE
0000256a: SWAP2
0000256b: DUP6
0000256c: KECCAK256
0000256d: PUSH1 0x06
0000256f: ADD
00002570: SLOAD
00002571: SWAP6
00002572: SWAP1
00002573: SWAP5
00002574: MSTORE
00002575: SWAP2
00002576: SWAP1
00002577: MSTORE
00002578: SWAP3
00002579: ADD
0000257a: SLOAD
0000257b: PUSH1 0x07
0000257d: SLOAD
0000257e: SWAP3
0000257f: SWAP11
00002580: POP
00002581: SWAP1
00002582: SWAP9
00002583: POP
00002584: SWAP7
00002585: POP
00002586: PUSH2 0x259e
00002589: SWAP1
0000258a: PUSH2 0x03e8
0000258d: SWAP1
0000258e: PUSH2 0x11d5
00002591: SWAP1
00002592: DUP10
00002593: SWAP1
00002594: PUSH4 0xffffffff
00002599: PUSH2 0x1619
0000259c: AND
0000259d: JUMP
0000259e: JUMPDEST
0000259f: SWAP5
000025a0: POP
000025a1: PUSH2 0x25be
000025a4: PUSH2 0x03e8
000025a7: PUSH2 0x11d5
000025aa: PUSH1 0x07
000025ac: PUSH1 0x01
000025ae: ADD
000025af: SLOAD
000025b0: DUP10
000025b1: PUSH2 0x1619
000025b4: SWAP1
000025b5: SWAP2
000025b6: SWAP1
000025b7: PUSH4 0xffffffff
000025bc: AND
000025bd: JUMP
000025be: JUMPDEST
000025bf: SWAP4
000025c0: POP
000025c1: PUSH2 0x25de
000025c4: PUSH2 0x03e8
000025c7: PUSH2 0x11d5
000025ca: PUSH1 0x07
000025cc: PUSH1 0x02
000025ce: ADD
000025cf: SLOAD
000025d0: DUP10
000025d1: PUSH2 0x1619
000025d4: SWAP1
000025d5: SWAP2
000025d6: SWAP1
000025d7: PUSH4 0xffffffff
000025dc: AND
000025dd: JUMP
000025de: JUMPDEST
000025df: SWAP3
000025e0: POP
000025e1: PUSH2 0x25fe
000025e4: PUSH2 0x03e8
000025e7: PUSH2 0x11d5
000025ea: PUSH1 0x07
000025ec: PUSH1 0x03
000025ee: ADD
000025ef: SLOAD
000025f0: DUP10
000025f1: PUSH2 0x1619
000025f4: SWAP1
000025f5: SWAP2
000025f6: SWAP1
000025f7: PUSH4 0xffffffff
000025fc: AND
000025fd: JUMP
000025fe: JUMPDEST
000025ff: PUSH1 0x00
00002601: DUP9
00002602: DUP2
00002603: MSTORE
00002604: PUSH1 0x0d
00002606: PUSH1 0x20
00002608: MSTORE
00002609: PUSH1 0x40
0000260b: SWAP1
0000260c: KECCAK256
0000260d: PUSH1 0x06
0000260f: ADD
00002610: SLOAD
00002611: SWAP1
00002612: SWAP3
00002613: POP
00002614: SWAP1
00002615: POP
00002616: PUSH1 0x01
00002618: PUSH1 0xa0
0000261a: PUSH1 0x02
0000261c: EXP
0000261d: SUB
0000261e: DUP9
0000261f: AND
00002620: ISZERO
00002621: ISZERO
00002622: PUSH2 0x2673
00002625: JUMPI
00002626: PUSH1 0x40
00002628: MLOAD
00002629: PUSH20 0x3ac98f5ea4946f58439d551e20ed12091af0f597
0000263e: SWAP1
0000263f: DUP8
00002640: ISZERO
00002641: PUSH2 0x08fc
00002644: MUL
00002645: SWAP1
00002646: DUP9
00002647: SWAP1
00002648: PUSH1 0x00
0000264a: DUP2
0000264b: DUP2
0000264c: DUP2
0000264d: DUP6
0000264e: DUP9
0000264f: DUP9
00002650: CALL
00002651: SWAP4
00002652: POP
00002653: POP
00002654: POP
00002655: POP
00002656: ISZERO
00002657: DUP1
00002658: ISZERO
00002659: PUSH2 0x2666
0000265c: JUMPI
0000265d: RETURNDATASIZE
0000265e: PUSH1 0x00
00002660: DUP1
00002661: RETURNDATACOPY
00002662: RETURNDATASIZE
00002663: PUSH1 0x00
00002665: REVERT
00002666: JUMPDEST
00002667: POP
00002668: PUSH1 0x00
0000266a: SWAP3
0000266b: POP
0000266c: DUP3
0000266d: SWAP2
0000266e: POP
0000266f: PUSH2 0x26db
00002672: JUMP
00002673: JUMPDEST
00002674: PUSH1 0x05
00002676: SLOAD
00002677: PUSH1 0x00
00002679: SWAP1
0000267a: DUP2
0000267b: MSTORE
0000267c: PUSH1 0x10
0000267e: PUSH1 0x20
00002680: SWAP1
00002681: DUP2
00002682: MSTORE
00002683: PUSH1 0x40
00002685: DUP1
00002686: DUP4
00002687: KECCAK256
00002688: PUSH1 0x01
0000268a: PUSH1 0xa0
0000268c: PUSH1 0x02
0000268e: EXP
0000268f: SUB
00002690: DUP13
00002691: AND
00002692: DUP5
00002693: MSTORE
00002694: SWAP1
00002695: SWAP2
00002696: MSTORE
00002697: SWAP1
00002698: KECCAK256
00002699: PUSH1 0x02
0000269b: ADD
0000269c: SLOAD
0000269d: PUSH2 0x26ac
000026a0: SWAP1
000026a1: DUP7
000026a2: PUSH4 0xffffffff
000026a7: PUSH2 0x155e
000026aa: AND
000026ab: JUMP
000026ac: JUMPDEST
000026ad: PUSH1 0x05
000026af: SLOAD
000026b0: PUSH1 0x00
000026b2: SWAP1
000026b3: DUP2
000026b4: MSTORE
000026b5: PUSH1 0x10
000026b7: PUSH1 0x20
000026b9: SWAP1
000026ba: DUP2
000026bb: MSTORE
000026bc: PUSH1 0x40
000026be: DUP1
000026bf: DUP4
000026c0: KECCAK256
000026c1: PUSH1 0x01
000026c3: PUSH1 0xa0
000026c5: PUSH1 0x02
000026c7: EXP
000026c8: SUB
000026c9: DUP14
000026ca: AND
000026cb: DUP5
000026cc: MSTORE
000026cd: SWAP1
000026ce: SWAP2
000026cf: MSTORE
000026d0: SWAP1
000026d1: KECCAK256
000026d2: PUSH1 0x02
000026d4: ADD
000026d5: SSTORE
000026d6: PUSH1 0x03
000026d8: DUP8
000026d9: SWAP1
000026da: SSTORE
000026db: JUMPDEST
000026dc: PUSH2 0x26f6
000026df: PUSH1 0x00
000026e1: SLOAD
000026e2: PUSH2 0x2029
000026e5: DUP5
000026e6: PUSH1 0x01
000026e8: SLOAD
000026e9: PUSH2 0x155e
000026ec: SWAP1
000026ed: SWAP2
000026ee: SWAP1
000026ef: PUSH4 0xffffffff
000026f4: AND
000026f5: JUMP
000026f6: JUMPDEST
000026f7: PUSH1 0x01
000026f9: SWAP1
000026fa: DUP2
000026fb: SSTORE
000026fc: PUSH1 0x00
000026fe: DUP1
000026ff: DUP1
00002700: SSTORE
00002701: PUSH1 0x05
00002703: DUP1
00002704: SLOAD
00002705: DUP3
00002706: MSTORE
00002707: PUSH1 0x0f
00002709: PUSH1 0x20
0000270b: MSTORE
0000270c: PUSH1 0x40
0000270e: DUP3
0000270f: KECCAK256
00002710: PUSH1 0x08
00002712: ADD
00002713: DUP1
00002714: SLOAD
00002715: PUSH1 0xff
00002717: NOT
00002718: AND
00002719: DUP5
0000271a: OR
0000271b: SWAP1
0000271c: SSTORE
0000271d: DUP1
0000271e: SLOAD
0000271f: SWAP1
00002720: SWAP3
00002721: ADD
00002722: SWAP1
00002723: SWAP2
00002724: SSTORE
00002725: PUSH2 0x2735
00002728: SWAP1
00002729: TIMESTAMP
0000272a: SWAP1
0000272b: PUSH4 0xffffffff
00002730: PUSH2 0x155e
00002733: AND
00002734: JUMP
00002735: JUMPDEST
00002736: PUSH1 0x05
00002738: DUP1
00002739: SLOAD
0000273a: PUSH1 0x00
0000273c: SWAP1
0000273d: DUP2
0000273e: MSTORE
0000273f: PUSH1 0x0f
00002741: PUSH1 0x20
00002743: MSTORE
00002744: PUSH1 0x40
00002746: DUP1
00002747: DUP3
00002748: KECCAK256
00002749: PUSH1 0x01
0000274b: SWAP1
0000274c: DUP2
0000274d: ADD
0000274e: SWAP5
0000274f: SWAP1
00002750: SWAP5
00002751: SSTORE
00002752: SWAP2
00002753: SLOAD
00002754: DUP2
00002755: MSTORE
00002756: KECCAK256
00002757: ADD
00002758: SLOAD
00002759: PUSH2 0x276b
0000275c: SWAP1
0000275d: PUSH3 0x015180
00002761: PUSH4 0xffffffff
00002766: PUSH2 0x155e
00002769: AND
0000276a: JUMP
0000276b: JUMPDEST
0000276c: PUSH1 0x05
0000276e: DUP1
0000276f: SLOAD
00002770: PUSH1 0x00
00002772: SWAP1
00002773: DUP2
00002774: MSTORE
00002775: PUSH1 0x0f
00002777: PUSH1 0x20
00002779: SWAP1
0000277a: DUP2
0000277b: MSTORE
0000277c: PUSH1 0x40
0000277e: DUP1
0000277f: DUP4
00002780: KECCAK256
00002781: PUSH1 0x02
00002783: SWAP1
00002784: DUP2
00002785: ADD
00002786: SWAP6
00002787: SWAP1
00002788: SWAP6
00002789: SSTORE
0000278a: DUP4
0000278b: SLOAD
0000278c: DUP4
0000278d: MSTORE
0000278e: DUP1
0000278f: DUP4
00002790: KECCAK256
00002791: DUP5
00002792: ADD
00002793: DUP9
00002794: SWAP1
00002795: SSTORE
00002796: DUP4
00002797: SLOAD
00002798: DUP4
00002799: MSTORE
0000279a: SWAP2
0000279b: DUP3
0000279c: SWAP1
0000279d: KECCAK256
0000279e: PUSH1 0x01
000027a0: DUP2
000027a1: ADD
000027a2: SLOAD
000027a3: SWAP5
000027a4: DUP2
000027a5: ADD
000027a6: SLOAD
000027a7: SWAP4
000027a8: ADD
000027a9: SLOAD
000027aa: DUP3
000027ab: MLOAD
000027ac: DUP13
000027ad: DUP2
000027ae: MSTORE
000027af: SWAP2
000027b0: DUP3
000027b1: ADD
000027b2: DUP11
000027b3: SWAP1
000027b4: MSTORE
000027b5: DUP2
000027b6: DUP4
000027b7: ADD
000027b8: DUP10
000027b9: SWAP1
000027ba: MSTORE
000027bb: PUSH1 0x60
000027bd: DUP3
000027be: ADD
000027bf: DUP7
000027c0: SWAP1
000027c1: MSTORE
000027c2: PUSH1 0x80
000027c4: DUP3
000027c5: ADD
000027c6: SWAP5
000027c7: SWAP1
000027c8: SWAP5
000027c9: MSTORE
000027ca: PUSH1 0xa0
000027cc: DUP2
000027cd: ADD
000027ce: SWAP3
000027cf: SWAP1
000027d0: SWAP3
000027d1: MSTORE
000027d2: PUSH1 0xc0
000027d4: DUP3
000027d5: ADD
000027d6: SWAP3
000027d7: SWAP1
000027d8: SWAP3
000027d9: MSTORE
000027da: SWAP1
000027db: MLOAD
000027dc: PUSH1 0x01
000027de: PUSH1 0xa0
000027e0: PUSH1 0x02
000027e2: EXP
000027e3: SUB
000027e4: DUP11
000027e5: AND
000027e6: SWAP2
000027e7: PUSH32 0x8cb7e810e4c1fe8fb195ade4288c2adf19227066b84041c18011c4377854043f
00002808: SWAP2
00002809: SWAP1
0000280a: DUP2
0000280b: SWAP1
0000280c: SUB
0000280d: PUSH1 0xe0
0000280f: ADD
00002810: SWAP1
00002811: LOG2
00002812: POP
00002813: POP
00002814: POP
00002815: POP
00002816: POP
00002817: POP
00002818: POP
00002819: POP
0000281a: JUMP
0000281b: JUMPDEST
0000281c: PUSH1 0x00
0000281e: DUP1
0000281f: DUP1
00002820: DUP4
00002821: GT
00002822: PUSH2 0x282a
00002825: JUMPI
00002826: PUSH1 0x00
00002828: DUP1
00002829: REVERT
0000282a: JUMPDEST
0000282b: DUP3
0000282c: DUP5
0000282d: DUP2
0000282e: ISZERO
0000282f: ISZERO
00002830: PUSH2 0x2835
00002833: JUMPI
00002834: INVALID
00002835: JUMPDEST
00002836: DIV
00002837: SWAP1
00002838: POP
00002839: DUP3
0000283a: DUP5
0000283b: DUP2
0000283c: ISZERO
0000283d: ISZERO
0000283e: PUSH2 0x2843
00002841: JUMPI
00002842: INVALID
00002843: JUMPDEST
00002844: MOD
00002845: DUP2
00002846: DUP5
00002847: MUL
00002848: ADD
00002849: DUP5
0000284a: EQ
0000284b: ISZERO
0000284c: ISZERO
0000284d: PUSH2 0x2855
00002850: JUMPI
00002851: PUSH1 0x00
00002853: DUP1
00002854: REVERT
00002855: JUMPDEST
00002856: DUP3
00002857: DUP5
00002858: DUP2
00002859: ISZERO
0000285a: ISZERO
0000285b: PUSH2 0x2860
0000285e: JUMPI
0000285f: INVALID
00002860: JUMPDEST
00002861: DIV
00002862: SWAP5
00002863: SWAP4
00002864: POP
00002865: POP
00002866: POP
00002867: POP
00002868: JUMP
00002869: JUMPDEST
0000286a: PUSH1 0x00
0000286c: PUSH2 0x287c
0000286f: PUSH8 0x0de0b6b3a7640000
00002878: PUSH2 0x292c
0000287b: JUMP
0000287c: JUMPDEST
0000287d: PUSH2 0x28d6
00002880: PUSH1 0x02
00002882: PUSH2 0x28af
00002885: PUSH2 0x289c
00002888: DUP7
00002889: PUSH8 0x0de0b6b3a7640000
00002892: PUSH4 0xffffffff
00002897: PUSH2 0x1619
0000289a: AND
0000289b: JUMP
0000289c: JUMPDEST
0000289d: PUSH6 0x886c8f673070
000028a4: SWAP1
000028a5: PUSH4 0xffffffff
000028aa: PUSH2 0x1619
000028ad: AND
000028ae: JUMP
000028af: JUMPDEST
000028b0: DUP2
000028b1: ISZERO
000028b2: ISZERO
000028b3: PUSH2 0x28b8
000028b6: JUMPI
000028b7: INVALID
000028b8: JUMPDEST
000028b9: DIV
000028ba: PUSH2 0x2029
000028bd: PUSH2 0x28c5
000028c0: DUP7
000028c1: PUSH2 0x292c
000028c4: JUMP
000028c5: JUMPDEST
000028c6: PUSH4 0x04a817c8
000028cb: SWAP1
000028cc: PUSH4 0xffffffff
000028d1: PUSH2 0x1619
000028d4: AND
000028d5: JUMP
000028d6: JUMPDEST
000028d7: DUP2
000028d8: ISZERO
000028d9: ISZERO
000028da: PUSH2 0x28df
000028dd: JUMPI
000028de: INVALID
000028df: JUMPDEST
000028e0: DIV
000028e1: SWAP3
000028e2: SWAP2
000028e3: POP
000028e4: POP
000028e5: JUMP
000028e6: JUMPDEST
000028e7: PUSH1 0x00
000028e9: PUSH2 0x0dda
000028ec: PUSH2 0x28f4
000028ef: DUP5
000028f0: PUSH2 0x2938
000028f3: JUMP
000028f4: JUMPDEST
000028f5: PUSH2 0x0bbe
000028f8: PUSH2 0x2907
000028fb: DUP7
000028fc: DUP7
000028fd: PUSH4 0xffffffff
00002902: PUSH2 0x155e
00002905: AND
00002906: JUMP
00002907: JUMPDEST
00002908: PUSH2 0x2938
0000290b: JUMP
0000290c: JUMPDEST
0000290d: PUSH1 0x40
0000290f: DUP1
00002910: MLOAD
00002911: TIMESTAMP
00002912: DUP2
00002913: MSTORE
00002914: DIFFICULTY
00002915: PUSH1 0x20
00002917: DUP3
00002918: ADD
00002919: MSTORE
0000291a: DUP2
0000291b: MLOAD
0000291c: SWAP1
0000291d: DUP2
0000291e: SWAP1
0000291f: SUB
00002920: SWAP1
00002921: SWAP2
00002922: ADD
00002923: SWAP1
00002924: KECCAK256
00002925: PUSH2 0x03e8
00002928: SWAP1
00002929: MOD
0000292a: SWAP1
0000292b: JUMP
0000292c: JUMPDEST
0000292d: PUSH1 0x00
0000292f: PUSH2 0x0bca
00002932: DUP3
00002933: DUP4
00002934: PUSH2 0x1619
00002937: JUMP
00002938: JUMPDEST
00002939: PUSH1 0x00
0000293b: PUSH4 0x09502f90
00002940: PUSH2 0x28d6
00002943: PUSH14 0x03b2a1d15167e7c5699bfde00000
00002952: PUSH2 0x0bbe
00002955: PUSH2 0x299b
00002958: PUSH27 0x0dac7055469777a6122ee4310dd6c14410500f2904840000000000
00002974: PUSH2 0x2029
00002977: PUSH12 0x01027e72f1f1281308800000
00002984: PUSH2 0x2355
00002987: DUP11
00002988: PUSH8 0x0de0b6b3a7640000
00002991: PUSH4 0xffffffff
00002996: PUSH2 0x1619
00002999: AND
0000299a: JUMP
0000299b: JUMPDEST
0000299c: PUSH1 0x00
0000299e: DUP1
0000299f: PUSH1 0x02
000029a1: PUSH2 0x29ab
000029a4: DUP5
000029a5: PUSH1 0x01
000029a7: PUSH2 0x155e
000029aa: JUMP
000029ab: JUMPDEST
000029ac: DUP2
000029ad: ISZERO
000029ae: ISZERO
000029af: PUSH2 0x29b4
000029b2: JUMPI
000029b3: INVALID
000029b4: JUMPDEST
000029b5: DIV
000029b6: SWAP1
000029b7: POP
000029b8: DUP3
000029b9: SWAP2
000029ba: POP
000029bb: JUMPDEST
000029bc: DUP2
000029bd: DUP2
000029be: LT
000029bf: ISZERO
000029c0: PUSH2 0x29ee
000029c3: JUMPI
000029c4: DUP1
000029c5: SWAP2
000029c6: POP
000029c7: PUSH1 0x02
000029c9: PUSH2 0x29dd
000029cc: DUP3
000029cd: DUP6
000029ce: DUP2
000029cf: ISZERO
000029d0: ISZERO
000029d1: PUSH2 0x29d6
000029d4: JUMPI
000029d5: INVALID
000029d6: JUMPDEST
000029d7: DIV
000029d8: DUP4
000029d9: PUSH2 0x155e
000029dc: JUMP
000029dd: JUMPDEST
000029de: DUP2
000029df: ISZERO
000029e0: ISZERO
000029e1: PUSH2 0x29e6
000029e4: JUMPI
000029e5: INVALID
000029e6: JUMPDEST
000029e7: DIV
000029e8: SWAP1
000029e9: POP
000029ea: PUSH2 0x29bb
000029ed: JUMP
000029ee: JUMPDEST
000029ef: POP
000029f0: SWAP2
000029f1: SWAP1
000029f2: POP
000029f3: JUMP
000029f4: STOP
000029f5: DIFFICULTY
000029f6: PUSH10 0x64206e6f742061637469
00002a01: PUSH23 0x61746564000000000000000000000000000000a165627a
00002a19: PUSH27 0x7230582041d833e84beb927b1b1956e824747281b4f7248e36b9d6
00002a35: UNKNOWN(0xC2)
00002a36: NUMBER
00002a37: PUSH0
00002a38: LOG1
00002a39: UNKNOWN(0x2F)
00002a3a: UNKNOWN(0x21)
00002a3b: UNKNOWN(0xCC)
00002a3c: PC
00002a3d: LOG1
00002a3e: STOP
00002a3f: UNKNOWN(0x29)
View stderr 
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0x2319f039d042d380590d1f32e6f01ee9e5c2ce06da1d7f73dabdde5cdcc7a5df
call_targets: 0x269a6ffb97325e8e371f067fea216c9f62848833
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x2319f039d042d380590d1f32e6f01ee9e5c2ce06da1d7f73dabdde5cdcc7a5df",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x269a6ffb97325e8e371f067fea216c9f62848833"
    ],
    "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": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0720da52",
            "selector": "0x0720da52",
            "calldata_variants": [
                "0x0720da52",
                "0x0720da520000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0f15f4c0",
            "selector": "0x0f15f4c0",
            "calldata_variants": [
                "0x0f15f4c0",
                "0x0f15f4c00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x14f8b424",
            "selector": "0x14f8b424",
            "calldata_variants": [
                "0x14f8b424",
                "0x14f8b4240000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x15414db1",
            "selector": "0x15414db1",
            "calldata_variants": [
                "0x15414db1",
                "0x15414db10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x28d3ad3f",
            "selector": "0x28d3ad3f",
            "calldata_variants": [
                "0x28d3ad3f",
                "0x28d3ad3f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2e1a7d4d",
            "selector": "0x2e1a7d4d",
            "calldata_variants": [
                "0x2e1a7d4d",
                "0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3db519ce",
            "selector": "0x3db519ce",
            "calldata_variants": [
                "0x3db519ce",
                "0x3db519ce0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 2537,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2607,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4941,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 5,
    "guards_detected": [
        {
            "pc": 1653,
            "type": "msg_sender_eq_const",
            "value": 9.802208788981166e+47
        },
        {
            "pc": 4888,
            "type": "msg_sender_eq_const",
            "value": 3.356164037548822e+47
        },
        {
            "pc": 4866,
            "type": "msg_sender_eq_const",
            "value": "0x3ac98f5ea4946f58439d551e20ed12091af0f597"
        }
    ],
    "untrusted_call_count": 5
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x2319f039d042d380590d1f32e6f01ee9e5c2ce06da1d7f73dabdde5cdcc7a5df
call_targets: 0x269a6ffb97325e8e371f067fea216c9f62848833
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x2319f039d042d380590d1f32e6f01ee9e5c2ce06da1d7f73dabdde5cdcc7a5df",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x269a6ffb97325e8e371f067fea216c9f62848833"
    ],
    "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": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0720da52",
            "selector": "0x0720da52",
            "calldata_variants": [
                "0x0720da52",
                "0x0720da520000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0f15f4c0",
            "selector": "0x0f15f4c0",
            "calldata_variants": [
                "0x0f15f4c0",
                "0x0f15f4c00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x14f8b424",
            "selector": "0x14f8b424",
            "calldata_variants": [
                "0x14f8b424",
                "0x14f8b4240000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x15414db1",
            "selector": "0x15414db1",
            "calldata_variants": [
                "0x15414db1",
                "0x15414db10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x28d3ad3f",
            "selector": "0x28d3ad3f",
            "calldata_variants": [
                "0x28d3ad3f",
                "0x28d3ad3f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2e1a7d4d",
            "selector": "0x2e1a7d4d",
            "calldata_variants": [
                "0x2e1a7d4d",
                "0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3db519ce",
            "selector": "0x3db519ce",
            "calldata_variants": [
                "0x3db519ce",
                "0x3db519ce0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 2537,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2607,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4941,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 5,
    "guards_detected": [
        {
            "pc": 1653,
            "type": "msg_sender_eq_const",
            "value": 9.802208788981166e+47
        },
        {
            "pc": 4888,
            "type": "msg_sender_eq_const",
            "value": 3.356164037548822e+47
        },
        {
            "pc": 4866,
            "type": "msg_sender_eq_const",
            "value": "0x3ac98f5ea4946f58439d551e20ed12091af0f597"
        }
    ]
}