Tripwire
Find contracts. Test them. Review real vulns.
Analysis Run

019b477e-c3de-70d5-8be3-3635bac39f75
complete
Chain ID
Address
0xa1817b6d8d890f3943b61648992730373b71f156
Block Number
—
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary
What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
back to vulns open contract
Confirmed
Validated
Source
Verified
Review Backing
Not yet
Best current signal
Authorization based on tx.origin
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
25297	artifact.fetch	complete	1 / 3	3 months ago
25298	tool.cast_disasm	complete	1 / 3	3 months ago
68078	analysis.bundle	complete	1 / 3	2 weeks ago
68079	capability.graph	complete	1 / 3	2 weeks ago
68080	detector.run	complete	1 / 3	2 weeks ago
68081	validation.fork	complete	1 / 3	2 weeks ago
Artifact

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

tool.slither
No slither job recorded yet.
Codex

report.consolidate
No codex job recorded yet.
Opcode Heuristics

tool.cast_disasm
Delegatecall
Selfdestruct
CREATE2
CALL-family (heavy)
EXT*/BALANCE
Total opcodes
7671
Flags
heavy_ext_balance_usage
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x02b2
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x5d098b38
00000019: GT
0000001a: PUSH2 0x0175
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xa457c2d7
00000024: GT
00000025: PUSH2 0x00dc
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xd12a7688
0000002f: GT
00000030: PUSH2 0x0095
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xdd62ed3e
0000003a: GT
0000003b: PUSH2 0x006f
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xdd62ed3e
00000045: EQ
00000046: PUSH2 0x088e
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xe8c4c43c
00000050: EQ
00000051: PUSH2 0x08d4
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xea2f0b37
0000005b: EQ
0000005c: PUSH2 0x08e9
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xf2fde38b
00000066: EQ
00000067: PUSH2 0x0909
0000006a: JUMPI
0000006b: PUSH1 0x00
0000006d: DUP1
0000006e: REVERT
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0xd12a7688
00000076: EQ
00000077: PUSH2 0x0838
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xd4a3883f
00000081: EQ
00000082: PUSH2 0x084e
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xdd467064
0000008c: EQ
0000008d: PUSH2 0x086e
00000090: JUMPI
00000091: PUSH1 0x00
00000093: DUP1
00000094: REVERT
00000095: JUMPDEST
00000096: DUP1
00000097: PUSH4 0xa457c2d7
0000009c: EQ
0000009d: PUSH2 0x0799
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xa6334231
000000a7: EQ
000000a8: PUSH2 0x07b9
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0xa69df4b5
000000b2: EQ
000000b3: PUSH2 0x07ce
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0xa9059cbb
000000bd: EQ
000000be: PUSH2 0x07e3
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xb6c52324
000000c8: EQ
000000c9: PUSH2 0x0803
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0xc49b9a80
000000d3: EQ
000000d4: PUSH2 0x0818
000000d7: JUMPI
000000d8: PUSH1 0x00
000000da: DUP1
000000db: REVERT
000000dc: JUMPDEST
000000dd: DUP1
000000de: PUSH4 0x764d72bf
000000e3: GT
000000e4: PUSH2 0x012e
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0x764d72bf
000000ee: EQ
000000ef: PUSH2 0x06d7
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0x7d1db4a5
000000f9: EQ
000000fa: PUSH2 0x06f7
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x88f82020
00000104: EQ
00000105: PUSH2 0x070d
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x8ba4cc3c
0000010f: EQ
00000110: PUSH2 0x0746
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0x8da5cb5b
0000011a: EQ
0000011b: PUSH2 0x0766
0000011e: JUMPI
0000011f: DUP1
00000120: PUSH4 0x95d89b41
00000125: EQ
00000126: PUSH2 0x0784
00000129: JUMPI
0000012a: PUSH1 0x00
0000012c: DUP1
0000012d: REVERT
0000012e: JUMPDEST
0000012f: DUP1
00000130: PUSH4 0x5d098b38
00000135: EQ
00000136: PUSH2 0x0613
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0x60d48489
00000140: EQ
00000141: PUSH2 0x0633
00000144: JUMPI
00000145: DUP1
00000146: PUSH4 0x6bc87c3a
0000014b: EQ
0000014c: PUSH2 0x066c
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0x70a08231
00000156: EQ
00000157: PUSH2 0x0682
0000015a: JUMPI
0000015b: DUP1
0000015c: PUSH4 0x715018a6
00000161: EQ
00000162: PUSH2 0x06a2
00000165: JUMPI
00000166: DUP1
00000167: PUSH4 0x75f0a874
0000016c: EQ
0000016d: PUSH2 0x06b7
00000170: JUMPI
00000171: PUSH1 0x00
00000173: DUP1
00000174: REVERT
00000175: JUMPDEST
00000176: DUP1
00000177: PUSH4 0x3685d419
0000017c: GT
0000017d: PUSH2 0x0219
00000180: JUMPI
00000181: DUP1
00000182: PUSH4 0x4549b039
00000187: GT
00000188: PUSH2 0x01d2
0000018b: JUMPI
0000018c: DUP1
0000018d: PUSH4 0x4549b039
00000192: EQ
00000193: PUSH2 0x0532
00000196: JUMPI
00000197: DUP1
00000198: PUSH4 0x48c54b9d
0000019d: EQ
0000019e: PUSH2 0x0552
000001a1: JUMPI
000001a2: DUP1
000001a3: PUSH4 0x49bd5a5e
000001a8: EQ
000001a9: PUSH2 0x0567
000001ac: JUMPI
000001ad: DUP1
000001ae: PUSH4 0x4a74bb02
000001b3: EQ
000001b4: PUSH2 0x059b
000001b7: JUMPI
000001b8: DUP1
000001b9: PUSH4 0x52390c02
000001be: EQ
000001bf: PUSH2 0x05ba
000001c2: JUMPI
000001c3: DUP1
000001c4: PUSH4 0x5342acb4
000001c9: EQ
000001ca: PUSH2 0x05da
000001cd: JUMPI
000001ce: PUSH1 0x00
000001d0: DUP1
000001d1: REVERT
000001d2: JUMPDEST
000001d3: DUP1
000001d4: PUSH4 0x3685d419
000001d9: EQ
000001da: PUSH2 0x047c
000001dd: JUMPI
000001de: DUP1
000001df: PUSH4 0x39509351
000001e4: EQ
000001e5: PUSH2 0x049c
000001e8: JUMPI
000001e9: DUP1
000001ea: PUSH4 0x3ae7dc20
000001ef: EQ
000001f0: PUSH2 0x04bc
000001f3: JUMPI
000001f4: DUP1
000001f5: PUSH4 0x3b124fe7
000001fa: EQ
000001fb: PUSH2 0x04dc
000001fe: JUMPI
000001ff: DUP1
00000200: PUSH4 0x3bd5d173
00000205: EQ
00000206: PUSH2 0x04f2
00000209: JUMPI
0000020a: DUP1
0000020b: PUSH4 0x437823ec
00000210: EQ
00000211: PUSH2 0x0512
00000214: JUMPI
00000215: PUSH1 0x00
00000217: DUP1
00000218: REVERT
00000219: JUMPDEST
0000021a: DUP1
0000021b: PUSH4 0x23b872dd
00000220: GT
00000221: PUSH2 0x026b
00000224: JUMPI
00000225: DUP1
00000226: PUSH4 0x23b872dd
0000022b: EQ
0000022c: PUSH2 0x03bb
0000022f: JUMPI
00000230: DUP1
00000231: PUSH4 0x29e04b4a
00000236: EQ
00000237: PUSH2 0x03db
0000023a: JUMPI
0000023b: DUP1
0000023c: PUSH4 0x2a360631
00000241: EQ
00000242: PUSH2 0x03fb
00000245: JUMPI
00000246: DUP1
00000247: PUSH4 0x2d838119
0000024c: EQ
0000024d: PUSH2 0x041b
00000250: JUMPI
00000251: DUP1
00000252: PUSH4 0x2f05205c
00000257: EQ
00000258: PUSH2 0x043b
0000025b: JUMPI
0000025c: DUP1
0000025d: PUSH4 0x313ce567
00000262: EQ
00000263: PUSH2 0x045a
00000266: JUMPI
00000267: PUSH1 0x00
00000269: DUP1
0000026a: REVERT
0000026b: JUMPDEST
0000026c: DUP1
0000026d: PUSH4 0x0305caff
00000272: EQ
00000273: PUSH2 0x02be
00000276: JUMPI
00000277: DUP1
00000278: PUSH4 0x06fdde03
0000027d: EQ
0000027e: PUSH2 0x02e0
00000281: JUMPI
00000282: DUP1
00000283: PUSH4 0x095ea7b3
00000288: EQ
00000289: PUSH2 0x030b
0000028c: JUMPI
0000028d: DUP1
0000028e: PUSH4 0x13114a9d
00000293: EQ
00000294: PUSH2 0x033b
00000297: JUMPI
00000298: DUP1
00000299: PUSH4 0x1694505e
0000029e: EQ
0000029f: PUSH2 0x035a
000002a2: JUMPI
000002a3: DUP1
000002a4: PUSH4 0x18160ddd
000002a9: EQ
000002aa: PUSH2 0x03a6
000002ad: JUMPI
000002ae: PUSH1 0x00
000002b0: DUP1
000002b1: REVERT
000002b2: JUMPDEST
000002b3: CALLDATASIZE
000002b4: PUSH2 0x02b9
000002b7: JUMPI
000002b8: STOP
000002b9: JUMPDEST
000002ba: PUSH1 0x00
000002bc: DUP1
000002bd: REVERT
000002be: JUMPDEST
000002bf: CALLVALUE
000002c0: DUP1
000002c1: ISZERO
000002c2: PUSH2 0x02ca
000002c5: JUMPI
000002c6: PUSH1 0x00
000002c8: DUP1
000002c9: REVERT
000002ca: JUMPDEST
000002cb: POP
000002cc: PUSH2 0x02de
000002cf: PUSH2 0x02d9
000002d2: CALLDATASIZE
000002d3: PUSH1 0x04
000002d5: PUSH2 0x2b67
000002d8: JUMP
000002d9: JUMPDEST
000002da: PUSH2 0x0929
000002dd: JUMP
000002de: JUMPDEST
000002df: STOP
000002e0: JUMPDEST
000002e1: CALLVALUE
000002e2: DUP1
000002e3: ISZERO
000002e4: PUSH2 0x02ec
000002e7: JUMPI
000002e8: PUSH1 0x00
000002ea: DUP1
000002eb: REVERT
000002ec: JUMPDEST
000002ed: POP
000002ee: PUSH2 0x02f5
000002f1: PUSH2 0x097d
000002f4: JUMP
000002f5: JUMPDEST
000002f6: PUSH1 0x40
000002f8: MLOAD
000002f9: PUSH2 0x0302
000002fc: SWAP2
000002fd: SWAP1
000002fe: PUSH2 0x2b84
00000301: JUMP
00000302: JUMPDEST
00000303: PUSH1 0x40
00000305: MLOAD
00000306: DUP1
00000307: SWAP2
00000308: SUB
00000309: SWAP1
0000030a: RETURN
0000030b: JUMPDEST
0000030c: CALLVALUE
0000030d: DUP1
0000030e: ISZERO
0000030f: PUSH2 0x0317
00000312: JUMPI
00000313: PUSH1 0x00
00000315: DUP1
00000316: REVERT
00000317: JUMPDEST
00000318: POP
00000319: PUSH2 0x032b
0000031c: PUSH2 0x0326
0000031f: CALLDATASIZE
00000320: PUSH1 0x04
00000322: PUSH2 0x2bd9
00000325: JUMP
00000326: JUMPDEST
00000327: PUSH2 0x0a0f
0000032a: JUMP
0000032b: JUMPDEST
0000032c: PUSH1 0x40
0000032e: MLOAD
0000032f: SWAP1
00000330: ISZERO
00000331: ISZERO
00000332: DUP2
00000333: MSTORE
00000334: PUSH1 0x20
00000336: ADD
00000337: PUSH2 0x0302
0000033a: JUMP
0000033b: JUMPDEST
0000033c: CALLVALUE
0000033d: DUP1
0000033e: ISZERO
0000033f: PUSH2 0x0347
00000342: JUMPI
00000343: PUSH1 0x00
00000345: DUP1
00000346: REVERT
00000347: JUMPDEST
00000348: POP
00000349: PUSH1 0x0d
0000034b: SLOAD
0000034c: JUMPDEST
0000034d: PUSH1 0x40
0000034f: MLOAD
00000350: SWAP1
00000351: DUP2
00000352: MSTORE
00000353: PUSH1 0x20
00000355: ADD
00000356: PUSH2 0x0302
00000359: JUMP
0000035a: JUMPDEST
0000035b: CALLVALUE
0000035c: DUP1
0000035d: ISZERO
0000035e: PUSH2 0x0366
00000361: JUMPI
00000362: PUSH1 0x00
00000364: DUP1
00000365: REVERT
00000366: JUMPDEST
00000367: POP
00000368: PUSH2 0x038e
0000036b: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
0000038c: DUP2
0000038d: JUMP
0000038e: JUMPDEST
0000038f: PUSH1 0x40
00000391: MLOAD
00000392: PUSH1 0x01
00000394: PUSH1 0x01
00000396: PUSH1 0xa0
00000398: SHL
00000399: SUB
0000039a: SWAP1
0000039b: SWAP2
0000039c: AND
0000039d: DUP2
0000039e: MSTORE
0000039f: PUSH1 0x20
000003a1: ADD
000003a2: PUSH2 0x0302
000003a5: JUMP
000003a6: JUMPDEST
000003a7: CALLVALUE
000003a8: DUP1
000003a9: ISZERO
000003aa: PUSH2 0x03b2
000003ad: JUMPI
000003ae: PUSH1 0x00
000003b0: DUP1
000003b1: REVERT
000003b2: JUMPDEST
000003b3: POP
000003b4: PUSH1 0x0b
000003b6: SLOAD
000003b7: PUSH2 0x034c
000003ba: JUMP
000003bb: JUMPDEST
000003bc: CALLVALUE
000003bd: DUP1
000003be: ISZERO
000003bf: PUSH2 0x03c7
000003c2: JUMPI
000003c3: PUSH1 0x00
000003c5: DUP1
000003c6: REVERT
000003c7: JUMPDEST
000003c8: POP
000003c9: PUSH2 0x032b
000003cc: PUSH2 0x03d6
000003cf: CALLDATASIZE
000003d0: PUSH1 0x04
000003d2: PUSH2 0x2c05
000003d5: JUMP
000003d6: JUMPDEST
000003d7: PUSH2 0x0a26
000003da: JUMP
000003db: JUMPDEST
000003dc: CALLVALUE
000003dd: DUP1
000003de: ISZERO
000003df: PUSH2 0x03e7
000003e2: JUMPI
000003e3: PUSH1 0x00
000003e5: DUP1
000003e6: REVERT
000003e7: JUMPDEST
000003e8: POP
000003e9: PUSH2 0x02de
000003ec: PUSH2 0x03f6
000003ef: CALLDATASIZE
000003f0: PUSH1 0x04
000003f2: PUSH2 0x2c46
000003f5: JUMP
000003f6: JUMPDEST
000003f7: PUSH2 0x0a8f
000003fa: JUMP
000003fb: JUMPDEST
000003fc: CALLVALUE
000003fd: DUP1
000003fe: ISZERO
000003ff: PUSH2 0x0407
00000402: JUMPI
00000403: PUSH1 0x00
00000405: DUP1
00000406: REVERT
00000407: JUMPDEST
00000408: POP
00000409: PUSH2 0x02de
0000040c: PUSH2 0x0416
0000040f: CALLDATASIZE
00000410: PUSH1 0x04
00000412: PUSH2 0x2b67
00000415: JUMP
00000416: JUMPDEST
00000417: PUSH2 0x0b3d
0000041a: JUMP
0000041b: JUMPDEST
0000041c: CALLVALUE
0000041d: DUP1
0000041e: ISZERO
0000041f: PUSH2 0x0427
00000422: JUMPI
00000423: PUSH1 0x00
00000425: DUP1
00000426: REVERT
00000427: JUMPDEST
00000428: POP
00000429: PUSH2 0x034c
0000042c: PUSH2 0x0436
0000042f: CALLDATASIZE
00000430: PUSH1 0x04
00000432: PUSH2 0x2c46
00000435: JUMP
00000436: JUMPDEST
00000437: PUSH2 0x0b8b
0000043a: JUMP
0000043b: JUMPDEST
0000043c: CALLVALUE
0000043d: DUP1
0000043e: ISZERO
0000043f: PUSH2 0x0447
00000442: JUMPI
00000443: PUSH1 0x00
00000445: DUP1
00000446: REVERT
00000447: JUMPDEST
00000448: POP
00000449: PUSH1 0x0a
0000044b: SLOAD
0000044c: PUSH2 0x032b
0000044f: SWAP1
00000450: PUSH2 0x0100
00000453: SWAP1
00000454: DIV
00000455: PUSH1 0xff
00000457: AND
00000458: DUP2
00000459: JUMP
0000045a: JUMPDEST
0000045b: CALLVALUE
0000045c: DUP1
0000045d: ISZERO
0000045e: PUSH2 0x0466
00000461: JUMPI
00000462: PUSH1 0x00
00000464: DUP1
00000465: REVERT
00000466: JUMPDEST
00000467: POP
00000468: PUSH1 0x11
0000046a: SLOAD
0000046b: PUSH1 0x40
0000046d: MLOAD
0000046e: PUSH1 0xff
00000470: SWAP1
00000471: SWAP2
00000472: AND
00000473: DUP2
00000474: MSTORE
00000475: PUSH1 0x20
00000477: ADD
00000478: PUSH2 0x0302
0000047b: JUMP
0000047c: JUMPDEST
0000047d: CALLVALUE
0000047e: DUP1
0000047f: ISZERO
00000480: PUSH2 0x0488
00000483: JUMPI
00000484: PUSH1 0x00
00000486: DUP1
00000487: REVERT
00000488: JUMPDEST
00000489: POP
0000048a: PUSH2 0x02de
0000048d: PUSH2 0x0497
00000490: CALLDATASIZE
00000491: PUSH1 0x04
00000493: PUSH2 0x2b67
00000496: JUMP
00000497: JUMPDEST
00000498: PUSH2 0x0c0f
0000049b: JUMP
0000049c: JUMPDEST
0000049d: CALLVALUE
0000049e: DUP1
0000049f: ISZERO
000004a0: PUSH2 0x04a8
000004a3: JUMPI
000004a4: PUSH1 0x00
000004a6: DUP1
000004a7: REVERT
000004a8: JUMPDEST
000004a9: POP
000004aa: PUSH2 0x032b
000004ad: PUSH2 0x04b7
000004b0: CALLDATASIZE
000004b1: PUSH1 0x04
000004b3: PUSH2 0x2bd9
000004b6: JUMP
000004b7: JUMPDEST
000004b8: PUSH2 0x0dc6
000004bb: JUMP
000004bc: JUMPDEST
000004bd: CALLVALUE
000004be: DUP1
000004bf: ISZERO
000004c0: PUSH2 0x04c8
000004c3: JUMPI
000004c4: PUSH1 0x00
000004c6: DUP1
000004c7: REVERT
000004c8: JUMPDEST
000004c9: POP
000004ca: PUSH2 0x02de
000004cd: PUSH2 0x04d7
000004d0: CALLDATASIZE
000004d1: PUSH1 0x04
000004d3: PUSH2 0x2c5f
000004d6: JUMP
000004d7: JUMPDEST
000004d8: PUSH2 0x0dfc
000004db: JUMP
000004dc: JUMPDEST
000004dd: CALLVALUE
000004de: DUP1
000004df: ISZERO
000004e0: PUSH2 0x04e8
000004e3: JUMPI
000004e4: PUSH1 0x00
000004e6: DUP1
000004e7: REVERT
000004e8: JUMPDEST
000004e9: POP
000004ea: PUSH2 0x034c
000004ed: PUSH1 0x12
000004ef: SLOAD
000004f0: DUP2
000004f1: JUMP
000004f2: JUMPDEST
000004f3: CALLVALUE
000004f4: DUP1
000004f5: ISZERO
000004f6: PUSH2 0x04fe
000004f9: JUMPI
000004fa: PUSH1 0x00
000004fc: DUP1
000004fd: REVERT
000004fe: JUMPDEST
000004ff: POP
00000500: PUSH2 0x02de
00000503: PUSH2 0x050d
00000506: CALLDATASIZE
00000507: PUSH1 0x04
00000509: PUSH2 0x2c46
0000050c: JUMP
0000050d: JUMPDEST
0000050e: PUSH2 0x0f2a
00000511: JUMP
00000512: JUMPDEST
00000513: CALLVALUE
00000514: DUP1
00000515: ISZERO
00000516: PUSH2 0x051e
00000519: JUMPI
0000051a: PUSH1 0x00
0000051c: DUP1
0000051d: REVERT
0000051e: JUMPDEST
0000051f: POP
00000520: PUSH2 0x02de
00000523: PUSH2 0x052d
00000526: CALLDATASIZE
00000527: PUSH1 0x04
00000529: PUSH2 0x2b67
0000052c: JUMP
0000052d: JUMPDEST
0000052e: PUSH2 0x1014
00000531: JUMP
00000532: JUMPDEST
00000533: CALLVALUE
00000534: DUP1
00000535: ISZERO
00000536: PUSH2 0x053e
00000539: JUMPI
0000053a: PUSH1 0x00
0000053c: DUP1
0000053d: REVERT
0000053e: JUMPDEST
0000053f: POP
00000540: PUSH2 0x034c
00000543: PUSH2 0x054d
00000546: CALLDATASIZE
00000547: PUSH1 0x04
00000549: PUSH2 0x2ca6
0000054c: JUMP
0000054d: JUMPDEST
0000054e: PUSH2 0x1062
00000551: JUMP
00000552: JUMPDEST
00000553: CALLVALUE
00000554: DUP1
00000555: ISZERO
00000556: PUSH2 0x055e
00000559: JUMPI
0000055a: PUSH1 0x00
0000055c: DUP1
0000055d: REVERT
0000055e: JUMPDEST
0000055f: POP
00000560: PUSH2 0x02de
00000563: PUSH2 0x10ef
00000566: JUMP
00000567: JUMPDEST
00000568: CALLVALUE
00000569: DUP1
0000056a: ISZERO
0000056b: PUSH2 0x0573
0000056e: JUMPI
0000056f: PUSH1 0x00
00000571: DUP1
00000572: REVERT
00000573: JUMPDEST
00000574: POP
00000575: PUSH2 0x038e
00000578: PUSH32 0x000000000000000000000000450e653a0a125a1dc36d3901d3cce2e2287df0c2
00000599: DUP2
0000059a: JUMP
0000059b: JUMPDEST
0000059c: CALLVALUE
0000059d: DUP1
0000059e: ISZERO
0000059f: PUSH2 0x05a7
000005a2: JUMPI
000005a3: PUSH1 0x00
000005a5: DUP1
000005a6: REVERT
000005a7: JUMPDEST
000005a8: POP
000005a9: PUSH1 0x16
000005ab: SLOAD
000005ac: PUSH2 0x032b
000005af: SWAP1
000005b0: PUSH2 0x0100
000005b3: SWAP1
000005b4: DIV
000005b5: PUSH1 0xff
000005b7: AND
000005b8: DUP2
000005b9: JUMP
000005ba: JUMPDEST
000005bb: CALLVALUE
000005bc: DUP1
000005bd: ISZERO
000005be: PUSH2 0x05c6
000005c1: JUMPI
000005c2: PUSH1 0x00
000005c4: DUP1
000005c5: REVERT
000005c6: JUMPDEST
000005c7: POP
000005c8: PUSH2 0x02de
000005cb: PUSH2 0x05d5
000005ce: CALLDATASIZE
000005cf: PUSH1 0x04
000005d1: PUSH2 0x2b67
000005d4: JUMP
000005d5: JUMPDEST
000005d6: PUSH2 0x1155
000005d9: JUMP
000005da: JUMPDEST
000005db: CALLVALUE
000005dc: DUP1
000005dd: ISZERO
000005de: PUSH2 0x05e6
000005e1: JUMPI
000005e2: PUSH1 0x00
000005e4: DUP1
000005e5: REVERT
000005e6: JUMPDEST
000005e7: POP
000005e8: PUSH2 0x032b
000005eb: PUSH2 0x05f5
000005ee: CALLDATASIZE
000005ef: PUSH1 0x04
000005f1: PUSH2 0x2b67
000005f4: JUMP
000005f5: JUMPDEST
000005f6: PUSH1 0x01
000005f8: PUSH1 0x01
000005fa: PUSH1 0xa0
000005fc: SHL
000005fd: SUB
000005fe: AND
000005ff: PUSH1 0x00
00000601: SWAP1
00000602: DUP2
00000603: MSTORE
00000604: PUSH1 0x06
00000606: PUSH1 0x20
00000608: MSTORE
00000609: PUSH1 0x40
0000060b: SWAP1
0000060c: KECCAK256
0000060d: SLOAD
0000060e: PUSH1 0xff
00000610: AND
00000611: SWAP1
00000612: JUMP
00000613: JUMPDEST
00000614: CALLVALUE
00000615: DUP1
00000616: ISZERO
00000617: PUSH2 0x061f
0000061a: JUMPI
0000061b: PUSH1 0x00
0000061d: DUP1
0000061e: REVERT
0000061f: JUMPDEST
00000620: POP
00000621: PUSH2 0x02de
00000624: PUSH2 0x062e
00000627: CALLDATASIZE
00000628: PUSH1 0x04
0000062a: PUSH2 0x2b67
0000062d: JUMP
0000062e: JUMPDEST
0000062f: PUSH2 0x12a8
00000632: JUMP
00000633: JUMPDEST
00000634: CALLVALUE
00000635: DUP1
00000636: ISZERO
00000637: PUSH2 0x063f
0000063a: JUMPI
0000063b: PUSH1 0x00
0000063d: DUP1
0000063e: REVERT
0000063f: JUMPDEST
00000640: POP
00000641: PUSH2 0x032b
00000644: PUSH2 0x064e
00000647: CALLDATASIZE
00000648: PUSH1 0x04
0000064a: PUSH2 0x2b67
0000064d: JUMP
0000064e: JUMPDEST
0000064f: PUSH1 0x01
00000651: PUSH1 0x01
00000653: PUSH1 0xa0
00000655: SHL
00000656: SUB
00000657: AND
00000658: PUSH1 0x00
0000065a: SWAP1
0000065b: DUP2
0000065c: MSTORE
0000065d: PUSH1 0x09
0000065f: PUSH1 0x20
00000661: MSTORE
00000662: PUSH1 0x40
00000664: SWAP1
00000665: KECCAK256
00000666: SLOAD
00000667: PUSH1 0xff
00000669: AND
0000066a: SWAP1
0000066b: JUMP
0000066c: JUMPDEST
0000066d: CALLVALUE
0000066e: DUP1
0000066f: ISZERO
00000670: PUSH2 0x0678
00000673: JUMPI
00000674: PUSH1 0x00
00000676: DUP1
00000677: REVERT
00000678: JUMPDEST
00000679: POP
0000067a: PUSH2 0x034c
0000067d: PUSH1 0x14
0000067f: SLOAD
00000680: DUP2
00000681: JUMP
00000682: JUMPDEST
00000683: CALLVALUE
00000684: DUP1
00000685: ISZERO
00000686: PUSH2 0x068e
00000689: JUMPI
0000068a: PUSH1 0x00
0000068c: DUP1
0000068d: REVERT
0000068e: JUMPDEST
0000068f: POP
00000690: PUSH2 0x034c
00000693: PUSH2 0x069d
00000696: CALLDATASIZE
00000697: PUSH1 0x04
00000699: PUSH2 0x2b67
0000069c: JUMP
0000069d: JUMPDEST
0000069e: PUSH2 0x12f4
000006a1: JUMP
000006a2: JUMPDEST
000006a3: CALLVALUE
000006a4: DUP1
000006a5: ISZERO
000006a6: PUSH2 0x06ae
000006a9: JUMPI
000006aa: PUSH1 0x00
000006ac: DUP1
000006ad: REVERT
000006ae: JUMPDEST
000006af: POP
000006b0: PUSH2 0x02de
000006b3: PUSH2 0x1353
000006b6: JUMP
000006b7: JUMPDEST
000006b8: CALLVALUE
000006b9: DUP1
000006ba: ISZERO
000006bb: PUSH2 0x06c3
000006be: JUMPI
000006bf: PUSH1 0x00
000006c1: DUP1
000006c2: REVERT
000006c3: JUMPDEST
000006c4: POP
000006c5: PUSH1 0x0e
000006c7: SLOAD
000006c8: PUSH2 0x038e
000006cb: SWAP1
000006cc: PUSH1 0x01
000006ce: PUSH1 0x01
000006d0: PUSH1 0xa0
000006d2: SHL
000006d3: SUB
000006d4: AND
000006d5: DUP2
000006d6: JUMP
000006d7: JUMPDEST
000006d8: CALLVALUE
000006d9: DUP1
000006da: ISZERO
000006db: PUSH2 0x06e3
000006de: JUMPI
000006df: PUSH1 0x00
000006e1: DUP1
000006e2: REVERT
000006e3: JUMPDEST
000006e4: POP
000006e5: PUSH2 0x02de
000006e8: PUSH2 0x06f2
000006eb: CALLDATASIZE
000006ec: PUSH1 0x04
000006ee: PUSH2 0x2b67
000006f1: JUMP
000006f2: JUMPDEST
000006f3: PUSH2 0x13b5
000006f6: JUMP
000006f7: JUMPDEST
000006f8: CALLVALUE
000006f9: DUP1
000006fa: ISZERO
000006fb: PUSH2 0x0703
000006fe: JUMPI
000006ff: PUSH1 0x00
00000701: DUP1
00000702: REVERT
00000703: JUMPDEST
00000704: POP
00000705: PUSH2 0x034c
00000708: PUSH1 0x17
0000070a: SLOAD
0000070b: DUP2
0000070c: JUMP
0000070d: JUMPDEST
0000070e: CALLVALUE
0000070f: DUP1
00000710: ISZERO
00000711: PUSH2 0x0719
00000714: JUMPI
00000715: PUSH1 0x00
00000717: DUP1
00000718: REVERT
00000719: JUMPDEST
0000071a: POP
0000071b: PUSH2 0x032b
0000071e: PUSH2 0x0728
00000721: CALLDATASIZE
00000722: PUSH1 0x04
00000724: PUSH2 0x2b67
00000727: JUMP
00000728: JUMPDEST
00000729: PUSH1 0x01
0000072b: PUSH1 0x01
0000072d: PUSH1 0xa0
0000072f: SHL
00000730: SUB
00000731: AND
00000732: PUSH1 0x00
00000734: SWAP1
00000735: DUP2
00000736: MSTORE
00000737: PUSH1 0x07
00000739: PUSH1 0x20
0000073b: MSTORE
0000073c: PUSH1 0x40
0000073e: SWAP1
0000073f: KECCAK256
00000740: SLOAD
00000741: PUSH1 0xff
00000743: AND
00000744: SWAP1
00000745: JUMP
00000746: JUMPDEST
00000747: CALLVALUE
00000748: DUP1
00000749: ISZERO
0000074a: PUSH2 0x0752
0000074d: JUMPI
0000074e: PUSH1 0x00
00000750: DUP1
00000751: REVERT
00000752: JUMPDEST
00000753: POP
00000754: PUSH2 0x02de
00000757: PUSH2 0x0761
0000075a: CALLDATASIZE
0000075b: PUSH1 0x04
0000075d: PUSH2 0x2bd9
00000760: JUMP
00000761: JUMPDEST
00000762: PUSH2 0x1414
00000765: JUMP
00000766: JUMPDEST
00000767: CALLVALUE
00000768: DUP1
00000769: ISZERO
0000076a: PUSH2 0x0772
0000076d: JUMPI
0000076e: PUSH1 0x00
00000770: DUP1
00000771: REVERT
00000772: JUMPDEST
00000773: POP
00000774: PUSH1 0x00
00000776: SLOAD
00000777: PUSH1 0x01
00000779: PUSH1 0x01
0000077b: PUSH1 0xa0
0000077d: SHL
0000077e: SUB
0000077f: AND
00000780: PUSH2 0x038e
00000783: JUMP
00000784: JUMPDEST
00000785: CALLVALUE
00000786: DUP1
00000787: ISZERO
00000788: PUSH2 0x0790
0000078b: JUMPI
0000078c: PUSH1 0x00
0000078e: DUP1
0000078f: REVERT
00000790: JUMPDEST
00000791: POP
00000792: PUSH2 0x02f5
00000795: PUSH2 0x146f
00000798: JUMP
00000799: JUMPDEST
0000079a: CALLVALUE
0000079b: DUP1
0000079c: ISZERO
0000079d: PUSH2 0x07a5
000007a0: JUMPI
000007a1: PUSH1 0x00
000007a3: DUP1
000007a4: REVERT
000007a5: JUMPDEST
000007a6: POP
000007a7: PUSH2 0x032b
000007aa: PUSH2 0x07b4
000007ad: CALLDATASIZE
000007ae: PUSH1 0x04
000007b0: PUSH2 0x2bd9
000007b3: JUMP
000007b4: JUMPDEST
000007b5: PUSH2 0x147e
000007b8: JUMP
000007b9: JUMPDEST
000007ba: CALLVALUE
000007bb: DUP1
000007bc: ISZERO
000007bd: PUSH2 0x07c5
000007c0: JUMPI
000007c1: PUSH1 0x00
000007c3: DUP1
000007c4: REVERT
000007c5: JUMPDEST
000007c6: POP
000007c7: PUSH2 0x02de
000007ca: PUSH2 0x14cd
000007cd: JUMP
000007ce: JUMPDEST
000007cf: CALLVALUE
000007d0: DUP1
000007d1: ISZERO
000007d2: PUSH2 0x07da
000007d5: JUMPI
000007d6: PUSH1 0x00
000007d8: DUP1
000007d9: REVERT
000007da: JUMPDEST
000007db: POP
000007dc: PUSH2 0x02de
000007df: PUSH2 0x1508
000007e2: JUMP
000007e3: JUMPDEST
000007e4: CALLVALUE
000007e5: DUP1
000007e6: ISZERO
000007e7: PUSH2 0x07ef
000007ea: JUMPI
000007eb: PUSH1 0x00
000007ed: DUP1
000007ee: REVERT
000007ef: JUMPDEST
000007f0: POP
000007f1: PUSH2 0x032b
000007f4: PUSH2 0x07fe
000007f7: CALLDATASIZE
000007f8: PUSH1 0x04
000007fa: PUSH2 0x2bd9
000007fd: JUMP
000007fe: JUMPDEST
000007ff: PUSH2 0x160e
00000802: JUMP
00000803: JUMPDEST
00000804: CALLVALUE
00000805: DUP1
00000806: ISZERO
00000807: PUSH2 0x080f
0000080a: JUMPI
0000080b: PUSH1 0x00
0000080d: DUP1
0000080e: REVERT
0000080f: JUMPDEST
00000810: POP
00000811: PUSH1 0x02
00000813: SLOAD
00000814: PUSH2 0x034c
00000817: JUMP
00000818: JUMPDEST
00000819: CALLVALUE
0000081a: DUP1
0000081b: ISZERO
0000081c: PUSH2 0x0824
0000081f: JUMPI
00000820: PUSH1 0x00
00000822: DUP1
00000823: REVERT
00000824: JUMPDEST
00000825: POP
00000826: PUSH2 0x02de
00000829: PUSH2 0x0833
0000082c: CALLDATASIZE
0000082d: PUSH1 0x04
0000082f: PUSH2 0x2ccb
00000832: JUMP
00000833: JUMPDEST
00000834: PUSH2 0x161b
00000837: JUMP
00000838: JUMPDEST
00000839: CALLVALUE
0000083a: DUP1
0000083b: ISZERO
0000083c: PUSH2 0x0844
0000083f: JUMPI
00000840: PUSH1 0x00
00000842: DUP1
00000843: REVERT
00000844: JUMPDEST
00000845: POP
00000846: PUSH2 0x034c
00000849: PUSH1 0x18
0000084b: SLOAD
0000084c: DUP2
0000084d: JUMP
0000084e: JUMPDEST
0000084f: CALLVALUE
00000850: DUP1
00000851: ISZERO
00000852: PUSH2 0x085a
00000855: JUMPI
00000856: PUSH1 0x00
00000858: DUP1
00000859: REVERT
0000085a: JUMPDEST
0000085b: POP
0000085c: PUSH2 0x02de
0000085f: PUSH2 0x0869
00000862: CALLDATASIZE
00000863: PUSH1 0x04
00000865: PUSH2 0x2d34
00000868: JUMP
00000869: JUMPDEST
0000086a: PUSH2 0x1699
0000086d: JUMP
0000086e: JUMPDEST
0000086f: CALLVALUE
00000870: DUP1
00000871: ISZERO
00000872: PUSH2 0x087a
00000875: JUMPI
00000876: PUSH1 0x00
00000878: DUP1
00000879: REVERT
0000087a: JUMPDEST
0000087b: POP
0000087c: PUSH2 0x02de
0000087f: PUSH2 0x0889
00000882: CALLDATASIZE
00000883: PUSH1 0x04
00000885: PUSH2 0x2c46
00000888: JUMP
00000889: JUMPDEST
0000088a: PUSH2 0x178c
0000088d: JUMP
0000088e: JUMPDEST
0000088f: CALLVALUE
00000890: DUP1
00000891: ISZERO
00000892: PUSH2 0x089a
00000895: JUMPI
00000896: PUSH1 0x00
00000898: DUP1
00000899: REVERT
0000089a: JUMPDEST
0000089b: POP
0000089c: PUSH2 0x034c
0000089f: PUSH2 0x08a9
000008a2: CALLDATASIZE
000008a3: PUSH1 0x04
000008a5: PUSH2 0x2c5f
000008a8: JUMP
000008a9: JUMPDEST
000008aa: PUSH1 0x01
000008ac: PUSH1 0x01
000008ae: PUSH1 0xa0
000008b0: SHL
000008b1: SUB
000008b2: SWAP2
000008b3: DUP3
000008b4: AND
000008b5: PUSH1 0x00
000008b7: SWAP1
000008b8: DUP2
000008b9: MSTORE
000008ba: PUSH1 0x05
000008bc: PUSH1 0x20
000008be: SWAP1
000008bf: DUP2
000008c0: MSTORE
000008c1: PUSH1 0x40
000008c3: DUP1
000008c4: DUP4
000008c5: KECCAK256
000008c6: SWAP4
000008c7: SWAP1
000008c8: SWAP5
000008c9: AND
000008ca: DUP3
000008cb: MSTORE
000008cc: SWAP2
000008cd: SWAP1
000008ce: SWAP2
000008cf: MSTORE
000008d0: KECCAK256
000008d1: SLOAD
000008d2: SWAP1
000008d3: JUMP
000008d4: JUMPDEST
000008d5: CALLVALUE
000008d6: DUP1
000008d7: ISZERO
000008d8: PUSH2 0x08e0
000008db: JUMPI
000008dc: PUSH1 0x00
000008de: DUP1
000008df: REVERT
000008e0: JUMPDEST
000008e1: POP
000008e2: PUSH2 0x02de
000008e5: PUSH2 0x1811
000008e8: JUMP
000008e9: JUMPDEST
000008ea: CALLVALUE
000008eb: DUP1
000008ec: ISZERO
000008ed: PUSH2 0x08f5
000008f0: JUMPI
000008f1: PUSH1 0x00
000008f3: DUP1
000008f4: REVERT
000008f5: JUMPDEST
000008f6: POP
000008f7: PUSH2 0x02de
000008fa: PUSH2 0x0904
000008fd: CALLDATASIZE
000008fe: PUSH1 0x04
00000900: PUSH2 0x2b67
00000903: JUMP
00000904: JUMPDEST
00000905: PUSH2 0x184f
00000908: JUMP
00000909: JUMPDEST
0000090a: CALLVALUE
0000090b: DUP1
0000090c: ISZERO
0000090d: PUSH2 0x0915
00000910: JUMPI
00000911: PUSH1 0x00
00000913: DUP1
00000914: REVERT
00000915: JUMPDEST
00000916: POP
00000917: PUSH2 0x02de
0000091a: PUSH2 0x0924
0000091d: CALLDATASIZE
0000091e: PUSH1 0x04
00000920: PUSH2 0x2b67
00000923: JUMP
00000924: JUMPDEST
00000925: PUSH2 0x189a
00000928: JUMP
00000929: JUMPDEST
0000092a: PUSH1 0x00
0000092c: SLOAD
0000092d: PUSH1 0x01
0000092f: PUSH1 0x01
00000931: PUSH1 0xa0
00000933: SHL
00000934: SUB
00000935: AND
00000936: CALLER
00000937: EQ
00000938: PUSH2 0x095c
0000093b: JUMPI
0000093c: PUSH1 0x40
0000093e: MLOAD
0000093f: PUSH3 0x461bcd
00000943: PUSH1 0xe5
00000945: SHL
00000946: DUP2
00000947: MSTORE
00000948: PUSH1 0x04
0000094a: ADD
0000094b: PUSH2 0x0953
0000094e: SWAP1
0000094f: PUSH2 0x2da0
00000952: JUMP
00000953: JUMPDEST
00000954: PUSH1 0x40
00000956: MLOAD
00000957: DUP1
00000958: SWAP2
00000959: SUB
0000095a: SWAP1
0000095b: REVERT
0000095c: JUMPDEST
0000095d: PUSH1 0x01
0000095f: PUSH1 0x01
00000961: PUSH1 0xa0
00000963: SHL
00000964: SUB
00000965: AND
00000966: PUSH1 0x00
00000968: SWAP1
00000969: DUP2
0000096a: MSTORE
0000096b: PUSH1 0x09
0000096d: PUSH1 0x20
0000096f: MSTORE
00000970: PUSH1 0x40
00000972: SWAP1
00000973: KECCAK256
00000974: DUP1
00000975: SLOAD
00000976: PUSH1 0xff
00000978: NOT
00000979: AND
0000097a: SWAP1
0000097b: SSTORE
0000097c: JUMP
0000097d: JUMPDEST
0000097e: PUSH1 0x60
00000980: PUSH1 0x0f
00000982: DUP1
00000983: SLOAD
00000984: PUSH2 0x098c
00000987: SWAP1
00000988: PUSH2 0x2dd5
0000098b: JUMP
0000098c: JUMPDEST
0000098d: DUP1
0000098e: PUSH1 0x1f
00000990: ADD
00000991: PUSH1 0x20
00000993: DUP1
00000994: SWAP2
00000995: DIV
00000996: MUL
00000997: PUSH1 0x20
00000999: ADD
0000099a: PUSH1 0x40
0000099c: MLOAD
0000099d: SWAP1
0000099e: DUP2
0000099f: ADD
000009a0: PUSH1 0x40
000009a2: MSTORE
000009a3: DUP1
000009a4: SWAP3
000009a5: SWAP2
000009a6: SWAP1
000009a7: DUP2
000009a8: DUP2
000009a9: MSTORE
000009aa: PUSH1 0x20
000009ac: ADD
000009ad: DUP3
000009ae: DUP1
000009af: SLOAD
000009b0: PUSH2 0x09b8
000009b3: SWAP1
000009b4: PUSH2 0x2dd5
000009b7: JUMP
000009b8: JUMPDEST
000009b9: DUP1
000009ba: ISZERO
000009bb: PUSH2 0x0a05
000009be: JUMPI
000009bf: DUP1
000009c0: PUSH1 0x1f
000009c2: LT
000009c3: PUSH2 0x09da
000009c6: JUMPI
000009c7: PUSH2 0x0100
000009ca: DUP1
000009cb: DUP4
000009cc: SLOAD
000009cd: DIV
000009ce: MUL
000009cf: DUP4
000009d0: MSTORE
000009d1: SWAP2
000009d2: PUSH1 0x20
000009d4: ADD
000009d5: SWAP2
000009d6: PUSH2 0x0a05
000009d9: JUMP
000009da: JUMPDEST
000009db: DUP3
000009dc: ADD
000009dd: SWAP2
000009de: SWAP1
000009df: PUSH1 0x00
000009e1: MSTORE
000009e2: PUSH1 0x20
000009e4: PUSH1 0x00
000009e6: KECCAK256
000009e7: SWAP1
000009e8: JUMPDEST
000009e9: DUP2
000009ea: SLOAD
000009eb: DUP2
000009ec: MSTORE
000009ed: SWAP1
000009ee: PUSH1 0x01
000009f0: ADD
000009f1: SWAP1
000009f2: PUSH1 0x20
000009f4: ADD
000009f5: DUP1
000009f6: DUP4
000009f7: GT
000009f8: PUSH2 0x09e8
000009fb: JUMPI
000009fc: DUP3
000009fd: SWAP1
000009fe: SUB
000009ff: PUSH1 0x1f
00000a01: AND
00000a02: DUP3
00000a03: ADD
00000a04: SWAP2
00000a05: JUMPDEST
00000a06: POP
00000a07: POP
00000a08: POP
00000a09: POP
00000a0a: POP
00000a0b: SWAP1
00000a0c: POP
00000a0d: SWAP1
00000a0e: JUMP
00000a0f: JUMPDEST
00000a10: PUSH1 0x00
00000a12: PUSH2 0x0a1c
00000a15: CALLER
00000a16: DUP5
00000a17: DUP5
00000a18: PUSH2 0x1972
00000a1b: JUMP
00000a1c: JUMPDEST
00000a1d: POP
00000a1e: PUSH1 0x01
00000a20: JUMPDEST
00000a21: SWAP3
00000a22: SWAP2
00000a23: POP
00000a24: POP
00000a25: JUMP
00000a26: JUMPDEST
00000a27: PUSH1 0x00
00000a29: PUSH2 0x0a33
00000a2c: DUP5
00000a2d: DUP5
00000a2e: DUP5
00000a2f: PUSH2 0x1a96
00000a32: JUMP
00000a33: JUMPDEST
00000a34: PUSH2 0x0a85
00000a37: DUP5
00000a38: CALLER
00000a39: PUSH2 0x0a80
00000a3c: DUP6
00000a3d: PUSH1 0x40
00000a3f: MLOAD
00000a40: DUP1
00000a41: PUSH1 0x60
00000a43: ADD
00000a44: PUSH1 0x40
00000a46: MSTORE
00000a47: DUP1
00000a48: PUSH1 0x28
00000a4a: DUP2
00000a4b: MSTORE
00000a4c: PUSH1 0x20
00000a4e: ADD
00000a4f: PUSH2 0x2fd0
00000a52: PUSH1 0x28
00000a54: SWAP2
00000a55: CODECOPY
00000a56: PUSH1 0x01
00000a58: PUSH1 0x01
00000a5a: PUSH1 0xa0
00000a5c: SHL
00000a5d: SUB
00000a5e: DUP11
00000a5f: AND
00000a60: PUSH1 0x00
00000a62: SWAP1
00000a63: DUP2
00000a64: MSTORE
00000a65: PUSH1 0x05
00000a67: PUSH1 0x20
00000a69: SWAP1
00000a6a: DUP2
00000a6b: MSTORE
00000a6c: PUSH1 0x40
00000a6e: DUP1
00000a6f: DUP4
00000a70: KECCAK256
00000a71: CALLER
00000a72: DUP5
00000a73: MSTORE
00000a74: SWAP1
00000a75: SWAP2
00000a76: MSTORE
00000a77: SWAP1
00000a78: KECCAK256
00000a79: SLOAD
00000a7a: SWAP2
00000a7b: SWAP1
00000a7c: PUSH2 0x1d47
00000a7f: JUMP
00000a80: JUMPDEST
00000a81: PUSH2 0x1972
00000a84: JUMP
00000a85: JUMPDEST
00000a86: POP
00000a87: PUSH1 0x01
00000a89: SWAP4
00000a8a: SWAP3
00000a8b: POP
00000a8c: POP
00000a8d: POP
00000a8e: JUMP
00000a8f: JUMPDEST
00000a90: PUSH1 0x00
00000a92: SLOAD
00000a93: PUSH1 0x01
00000a95: PUSH1 0x01
00000a97: PUSH1 0xa0
00000a99: SHL
00000a9a: SUB
00000a9b: AND
00000a9c: CALLER
00000a9d: EQ
00000a9e: PUSH2 0x0ab9
00000aa1: JUMPI
00000aa2: PUSH1 0x40
00000aa4: MLOAD
00000aa5: PUSH3 0x461bcd
00000aa9: PUSH1 0xe5
00000aab: SHL
00000aac: DUP2
00000aad: MSTORE
00000aae: PUSH1 0x04
00000ab0: ADD
00000ab1: PUSH2 0x0953
00000ab4: SWAP1
00000ab5: PUSH2 0x2da0
00000ab8: JUMP
00000ab9: JUMPDEST
00000aba: PUSH4 0x041cdb40
00000abf: DUP2
00000ac0: GT
00000ac1: PUSH2 0x0b29
00000ac4: JUMPI
00000ac5: PUSH1 0x40
00000ac7: MLOAD
00000ac8: PUSH3 0x461bcd
00000acc: PUSH1 0xe5
00000ace: SHL
00000acf: DUP2
00000ad0: MSTORE
00000ad1: PUSH1 0x20
00000ad3: PUSH1 0x04
00000ad5: DUP3
00000ad6: ADD
00000ad7: MSTORE
00000ad8: PUSH1 0x34
00000ada: PUSH1 0x24
00000adc: DUP3
00000add: ADD
00000ade: MSTORE
00000adf: PUSH32 0x53776170205468726573686f6c6420416d6f756e742063616e6e6f7420626520
00000b00: PUSH1 0x44
00000b02: DUP3
00000b03: ADD
00000b04: MSTORE
00000b05: PUSH20 0x3632b9b9903a3430b7101b1c9026b4b63634b7b7
00000b1a: PUSH1 0x61
00000b1c: SHL
00000b1d: PUSH1 0x64
00000b1f: DUP3
00000b20: ADD
00000b21: MSTORE
00000b22: PUSH1 0x84
00000b24: ADD
00000b25: PUSH2 0x0953
00000b28: JUMP
00000b29: JUMPDEST
00000b2a: PUSH2 0x0b37
00000b2d: DUP2
00000b2e: PUSH4 0x3b9aca00
00000b33: PUSH2 0x2e26
00000b36: JUMP
00000b37: JUMPDEST
00000b38: PUSH1 0x18
00000b3a: SSTORE
00000b3b: POP
00000b3c: JUMP
00000b3d: JUMPDEST
00000b3e: PUSH1 0x00
00000b40: SLOAD
00000b41: PUSH1 0x01
00000b43: PUSH1 0x01
00000b45: PUSH1 0xa0
00000b47: SHL
00000b48: SUB
00000b49: AND
00000b4a: CALLER
00000b4b: EQ
00000b4c: PUSH2 0x0b67
00000b4f: JUMPI
00000b50: PUSH1 0x40
00000b52: MLOAD
00000b53: PUSH3 0x461bcd
00000b57: PUSH1 0xe5
00000b59: SHL
00000b5a: DUP2
00000b5b: MSTORE
00000b5c: PUSH1 0x04
00000b5e: ADD
00000b5f: PUSH2 0x0953
00000b62: SWAP1
00000b63: PUSH2 0x2da0
00000b66: JUMP
00000b67: JUMPDEST
00000b68: PUSH1 0x01
00000b6a: PUSH1 0x01
00000b6c: PUSH1 0xa0
00000b6e: SHL
00000b6f: SUB
00000b70: AND
00000b71: PUSH1 0x00
00000b73: SWAP1
00000b74: DUP2
00000b75: MSTORE
00000b76: PUSH1 0x09
00000b78: PUSH1 0x20
00000b7a: MSTORE
00000b7b: PUSH1 0x40
00000b7d: SWAP1
00000b7e: KECCAK256
00000b7f: DUP1
00000b80: SLOAD
00000b81: PUSH1 0xff
00000b83: NOT
00000b84: AND
00000b85: PUSH1 0x01
00000b87: OR
00000b88: SWAP1
00000b89: SSTORE
00000b8a: JUMP
00000b8b: JUMPDEST
00000b8c: PUSH1 0x00
00000b8e: PUSH1 0x0c
00000b90: SLOAD
00000b91: DUP3
00000b92: GT
00000b93: ISZERO
00000b94: PUSH2 0x0bf2
00000b97: JUMPI
00000b98: PUSH1 0x40
00000b9a: MLOAD
00000b9b: PUSH3 0x461bcd
00000b9f: PUSH1 0xe5
00000ba1: SHL
00000ba2: DUP2
00000ba3: MSTORE
00000ba4: PUSH1 0x20
00000ba6: PUSH1 0x04
00000ba8: DUP3
00000ba9: ADD
00000baa: MSTORE
00000bab: PUSH1 0x2a
00000bad: PUSH1 0x24
00000baf: DUP3
00000bb0: ADD
00000bb1: MSTORE
00000bb2: PUSH32 0x416d6f756e74206d757374206265206c657373207468616e20746f74616c2072
00000bd3: PUSH1 0x44
00000bd5: DUP3
00000bd6: ADD
00000bd7: MSTORE
00000bd8: PUSH10 0x65666c656374696f6e73
00000be3: PUSH1 0xb0
00000be5: SHL
00000be6: PUSH1 0x64
00000be8: DUP3
00000be9: ADD
00000bea: MSTORE
00000beb: PUSH1 0x84
00000bed: ADD
00000bee: PUSH2 0x0953
00000bf1: JUMP
00000bf2: JUMPDEST
00000bf3: PUSH1 0x00
00000bf5: PUSH2 0x0bfc
00000bf8: PUSH2 0x1d81
00000bfb: JUMP
00000bfc: JUMPDEST
00000bfd: SWAP1
00000bfe: POP
00000bff: PUSH2 0x0c08
00000c02: DUP4
00000c03: DUP3
00000c04: PUSH2 0x1da4
00000c07: JUMP
00000c08: JUMPDEST
00000c09: SWAP4
00000c0a: SWAP3
00000c0b: POP
00000c0c: POP
00000c0d: POP
00000c0e: JUMP
00000c0f: JUMPDEST
00000c10: PUSH1 0x00
00000c12: SLOAD
00000c13: PUSH1 0x01
00000c15: PUSH1 0x01
00000c17: PUSH1 0xa0
00000c19: SHL
00000c1a: SUB
00000c1b: AND
00000c1c: CALLER
00000c1d: EQ
00000c1e: PUSH2 0x0c39
00000c21: JUMPI
00000c22: PUSH1 0x40
00000c24: MLOAD
00000c25: PUSH3 0x461bcd
00000c29: PUSH1 0xe5
00000c2b: SHL
00000c2c: DUP2
00000c2d: MSTORE
00000c2e: PUSH1 0x04
00000c30: ADD
00000c31: PUSH2 0x0953
00000c34: SWAP1
00000c35: PUSH2 0x2da0
00000c38: JUMP
00000c39: JUMPDEST
00000c3a: PUSH1 0x01
00000c3c: PUSH1 0x01
00000c3e: PUSH1 0xa0
00000c40: SHL
00000c41: SUB
00000c42: DUP2
00000c43: AND
00000c44: PUSH1 0x00
00000c46: SWAP1
00000c47: DUP2
00000c48: MSTORE
00000c49: PUSH1 0x07
00000c4b: PUSH1 0x20
00000c4d: MSTORE
00000c4e: PUSH1 0x40
00000c50: SWAP1
00000c51: KECCAK256
00000c52: SLOAD
00000c53: PUSH1 0xff
00000c55: AND
00000c56: PUSH2 0x0ca1
00000c59: JUMPI
00000c5a: PUSH1 0x40
00000c5c: MLOAD
00000c5d: PUSH3 0x461bcd
00000c61: PUSH1 0xe5
00000c63: SHL
00000c64: DUP2
00000c65: MSTORE
00000c66: PUSH1 0x20
00000c68: PUSH1 0x04
00000c6a: DUP3
00000c6b: ADD
00000c6c: MSTORE
00000c6d: PUSH1 0x1b
00000c6f: PUSH1 0x24
00000c71: DUP3
00000c72: ADD
00000c73: MSTORE
00000c74: PUSH32 0x4163636f756e7420697320616c7265616479206578636c756465640000000000
00000c95: PUSH1 0x44
00000c97: DUP3
00000c98: ADD
00000c99: MSTORE
00000c9a: PUSH1 0x64
00000c9c: ADD
00000c9d: PUSH2 0x0953
00000ca0: JUMP
00000ca1: JUMPDEST
00000ca2: PUSH1 0x00
00000ca4: JUMPDEST
00000ca5: PUSH1 0x08
00000ca7: SLOAD
00000ca8: DUP2
00000ca9: LT
00000caa: ISZERO
00000cab: PUSH2 0x0dc2
00000cae: JUMPI
00000caf: DUP2
00000cb0: PUSH1 0x01
00000cb2: PUSH1 0x01
00000cb4: PUSH1 0xa0
00000cb6: SHL
00000cb7: SUB
00000cb8: AND
00000cb9: PUSH1 0x08
00000cbb: DUP3
00000cbc: DUP2
00000cbd: SLOAD
00000cbe: DUP2
00000cbf: LT
00000cc0: PUSH2 0x0ccb
00000cc3: JUMPI
00000cc4: PUSH2 0x0ccb
00000cc7: PUSH2 0x2e45
00000cca: JUMP
00000ccb: JUMPDEST
00000ccc: PUSH1 0x00
00000cce: SWAP2
00000ccf: DUP3
00000cd0: MSTORE
00000cd1: PUSH1 0x20
00000cd3: SWAP1
00000cd4: SWAP2
00000cd5: KECCAK256
00000cd6: ADD
00000cd7: SLOAD
00000cd8: PUSH1 0x01
00000cda: PUSH1 0x01
00000cdc: PUSH1 0xa0
00000cde: SHL
00000cdf: SUB
00000ce0: AND
00000ce1: EQ
00000ce2: ISZERO
00000ce3: PUSH2 0x0db0
00000ce6: JUMPI
00000ce7: PUSH1 0x08
00000ce9: DUP1
00000cea: SLOAD
00000ceb: PUSH2 0x0cf6
00000cee: SWAP1
00000cef: PUSH1 0x01
00000cf1: SWAP1
00000cf2: PUSH2 0x2e5b
00000cf5: JUMP
00000cf6: JUMPDEST
00000cf7: DUP2
00000cf8: SLOAD
00000cf9: DUP2
00000cfa: LT
00000cfb: PUSH2 0x0d06
00000cfe: JUMPI
00000cff: PUSH2 0x0d06
00000d02: PUSH2 0x2e45
00000d05: JUMP
00000d06: JUMPDEST
00000d07: PUSH1 0x00
00000d09: SWAP2
00000d0a: DUP3
00000d0b: MSTORE
00000d0c: PUSH1 0x20
00000d0e: SWAP1
00000d0f: SWAP2
00000d10: KECCAK256
00000d11: ADD
00000d12: SLOAD
00000d13: PUSH1 0x08
00000d15: DUP1
00000d16: SLOAD
00000d17: PUSH1 0x01
00000d19: PUSH1 0x01
00000d1b: PUSH1 0xa0
00000d1d: SHL
00000d1e: SUB
00000d1f: SWAP1
00000d20: SWAP3
00000d21: AND
00000d22: SWAP2
00000d23: DUP4
00000d24: SWAP1
00000d25: DUP2
00000d26: LT
00000d27: PUSH2 0x0d32
00000d2a: JUMPI
00000d2b: PUSH2 0x0d32
00000d2e: PUSH2 0x2e45
00000d31: JUMP
00000d32: JUMPDEST
00000d33: PUSH1 0x00
00000d35: SWAP2
00000d36: DUP3
00000d37: MSTORE
00000d38: PUSH1 0x20
00000d3a: DUP1
00000d3b: DUP4
00000d3c: KECCAK256
00000d3d: SWAP2
00000d3e: SWAP1
00000d3f: SWAP2
00000d40: ADD
00000d41: DUP1
00000d42: SLOAD
00000d43: PUSH1 0x01
00000d45: PUSH1 0x01
00000d47: PUSH1 0xa0
00000d49: SHL
00000d4a: SUB
00000d4b: NOT
00000d4c: AND
00000d4d: PUSH1 0x01
00000d4f: PUSH1 0x01
00000d51: PUSH1 0xa0
00000d53: SHL
00000d54: SUB
00000d55: SWAP5
00000d56: DUP6
00000d57: AND
00000d58: OR
00000d59: SWAP1
00000d5a: SSTORE
00000d5b: SWAP2
00000d5c: DUP5
00000d5d: AND
00000d5e: DUP2
00000d5f: MSTORE
00000d60: PUSH1 0x04
00000d62: DUP3
00000d63: MSTORE
00000d64: PUSH1 0x40
00000d66: DUP1
00000d67: DUP3
00000d68: KECCAK256
00000d69: DUP3
00000d6a: SWAP1
00000d6b: SSTORE
00000d6c: PUSH1 0x07
00000d6e: SWAP1
00000d6f: SWAP3
00000d70: MSTORE
00000d71: KECCAK256
00000d72: DUP1
00000d73: SLOAD
00000d74: PUSH1 0xff
00000d76: NOT
00000d77: AND
00000d78: SWAP1
00000d79: SSTORE
00000d7a: PUSH1 0x08
00000d7c: DUP1
00000d7d: SLOAD
00000d7e: DUP1
00000d7f: PUSH2 0x0d8a
00000d82: JUMPI
00000d83: PUSH2 0x0d8a
00000d86: PUSH2 0x2e72
00000d89: JUMP
00000d8a: JUMPDEST
00000d8b: PUSH1 0x00
00000d8d: DUP3
00000d8e: DUP2
00000d8f: MSTORE
00000d90: PUSH1 0x20
00000d92: SWAP1
00000d93: KECCAK256
00000d94: DUP2
00000d95: ADD
00000d96: PUSH1 0x00
00000d98: NOT
00000d99: SWAP1
00000d9a: DUP2
00000d9b: ADD
00000d9c: DUP1
00000d9d: SLOAD
00000d9e: PUSH1 0x01
00000da0: PUSH1 0x01
00000da2: PUSH1 0xa0
00000da4: SHL
00000da5: SUB
00000da6: NOT
00000da7: AND
00000da8: SWAP1
00000da9: SSTORE
00000daa: ADD
00000dab: SWAP1
00000dac: SSTORE
00000dad: POP
00000dae: POP
00000daf: JUMP
00000db0: JUMPDEST
00000db1: DUP1
00000db2: PUSH2 0x0dba
00000db5: DUP2
00000db6: PUSH2 0x2e88
00000db9: JUMP
00000dba: JUMPDEST
00000dbb: SWAP2
00000dbc: POP
00000dbd: POP
00000dbe: PUSH2 0x0ca4
00000dc1: JUMP
00000dc2: JUMPDEST
00000dc3: POP
00000dc4: POP
00000dc5: JUMP
00000dc6: JUMPDEST
00000dc7: CALLER
00000dc8: PUSH1 0x00
00000dca: DUP2
00000dcb: DUP2
00000dcc: MSTORE
00000dcd: PUSH1 0x05
00000dcf: PUSH1 0x20
00000dd1: SWAP1
00000dd2: DUP2
00000dd3: MSTORE
00000dd4: PUSH1 0x40
00000dd6: DUP1
00000dd7: DUP4
00000dd8: KECCAK256
00000dd9: PUSH1 0x01
00000ddb: PUSH1 0x01
00000ddd: PUSH1 0xa0
00000ddf: SHL
00000de0: SUB
00000de1: DUP8
00000de2: AND
00000de3: DUP5
00000de4: MSTORE
00000de5: SWAP1
00000de6: SWAP2
00000de7: MSTORE
00000de8: DUP2
00000de9: KECCAK256
00000dea: SLOAD
00000deb: SWAP1
00000dec: SWAP2
00000ded: PUSH2 0x0a1c
00000df0: SWAP2
00000df1: DUP6
00000df2: SWAP1
00000df3: PUSH2 0x0a80
00000df6: SWAP1
00000df7: DUP7
00000df8: PUSH2 0x1de6
00000dfb: JUMP
00000dfc: JUMPDEST
00000dfd: PUSH1 0x00
00000dff: SLOAD
00000e00: PUSH1 0x01
00000e02: PUSH1 0x01
00000e04: PUSH1 0xa0
00000e06: SHL
00000e07: SUB
00000e08: AND
00000e09: CALLER
00000e0a: EQ
00000e0b: PUSH2 0x0e26
00000e0e: JUMPI
00000e0f: PUSH1 0x40
00000e11: MLOAD
00000e12: PUSH3 0x461bcd
00000e16: PUSH1 0xe5
00000e18: SHL
00000e19: DUP2
00000e1a: MSTORE
00000e1b: PUSH1 0x04
00000e1d: ADD
00000e1e: PUSH2 0x0953
00000e21: SWAP1
00000e22: PUSH2 0x2da0
00000e25: JUMP
00000e26: JUMPDEST
00000e27: PUSH1 0x40
00000e29: MLOAD
00000e2a: PUSH4 0x70a08231
00000e2f: PUSH1 0xe0
00000e31: SHL
00000e32: DUP2
00000e33: MSTORE
00000e34: ADDRESS
00000e35: PUSH1 0x04
00000e37: DUP3
00000e38: ADD
00000e39: MSTORE
00000e3a: PUSH1 0x01
00000e3c: PUSH1 0x01
00000e3e: PUSH1 0xa0
00000e40: SHL
00000e41: SUB
00000e42: DUP4
00000e43: AND
00000e44: SWAP1
00000e45: PUSH4 0xa9059cbb
00000e4a: SWAP1
00000e4b: DUP4
00000e4c: SWAP1
00000e4d: DUP4
00000e4e: SWAP1
00000e4f: PUSH4 0x70a08231
00000e54: SWAP1
00000e55: PUSH1 0x24
00000e57: ADD
00000e58: PUSH1 0x20
00000e5a: PUSH1 0x40
00000e5c: MLOAD
00000e5d: DUP1
00000e5e: DUP4
00000e5f: SUB
00000e60: DUP2
00000e61: DUP7
00000e62: DUP1
00000e63: EXTCODESIZE
00000e64: ISZERO
00000e65: DUP1
00000e66: ISZERO
00000e67: PUSH2 0x0e6f
00000e6a: JUMPI
00000e6b: PUSH1 0x00
00000e6d: DUP1
00000e6e: REVERT
00000e6f: JUMPDEST
00000e70: POP
00000e71: GAS
00000e72: STATICCALL
00000e73: ISZERO
00000e74: DUP1
00000e75: ISZERO
00000e76: PUSH2 0x0e83
00000e79: JUMPI
00000e7a: RETURNDATASIZE
00000e7b: PUSH1 0x00
00000e7d: DUP1
00000e7e: RETURNDATACOPY
00000e7f: RETURNDATASIZE
00000e80: PUSH1 0x00
00000e82: REVERT
00000e83: JUMPDEST
00000e84: POP
00000e85: POP
00000e86: POP
00000e87: POP
00000e88: PUSH1 0x40
00000e8a: MLOAD
00000e8b: RETURNDATASIZE
00000e8c: PUSH1 0x1f
00000e8e: NOT
00000e8f: PUSH1 0x1f
00000e91: DUP3
00000e92: ADD
00000e93: AND
00000e94: DUP3
00000e95: ADD
00000e96: DUP1
00000e97: PUSH1 0x40
00000e99: MSTORE
00000e9a: POP
00000e9b: DUP2
00000e9c: ADD
00000e9d: SWAP1
00000e9e: PUSH2 0x0ea7
00000ea1: SWAP2
00000ea2: SWAP1
00000ea3: PUSH2 0x2ea3
00000ea6: JUMP
00000ea7: JUMPDEST
00000ea8: PUSH1 0x40
00000eaa: MLOAD
00000eab: PUSH1 0x01
00000ead: PUSH1 0x01
00000eaf: PUSH1 0xe0
00000eb1: SHL
00000eb2: SUB
00000eb3: NOT
00000eb4: PUSH1 0xe0
00000eb6: DUP6
00000eb7: SWAP1
00000eb8: SHL
00000eb9: AND
00000eba: DUP2
00000ebb: MSTORE
00000ebc: PUSH1 0x01
00000ebe: PUSH1 0x01
00000ec0: PUSH1 0xa0
00000ec2: SHL
00000ec3: SUB
00000ec4: SWAP1
00000ec5: SWAP3
00000ec6: AND
00000ec7: PUSH1 0x04
00000ec9: DUP4
00000eca: ADD
00000ecb: MSTORE
00000ecc: PUSH1 0x24
00000ece: DUP3
00000ecf: ADD
00000ed0: MSTORE
00000ed1: PUSH1 0x44
00000ed3: ADD
00000ed4: PUSH1 0x20
00000ed6: PUSH1 0x40
00000ed8: MLOAD
00000ed9: DUP1
00000eda: DUP4
00000edb: SUB
00000edc: DUP2
00000edd: PUSH1 0x00
00000edf: DUP8
00000ee0: DUP1
00000ee1: EXTCODESIZE
00000ee2: ISZERO
00000ee3: DUP1
00000ee4: ISZERO
00000ee5: PUSH2 0x0eed
00000ee8: JUMPI
00000ee9: PUSH1 0x00
00000eeb: DUP1
00000eec: REVERT
00000eed: JUMPDEST
00000eee: POP
00000eef: GAS
00000ef0: CALL
00000ef1: ISZERO
00000ef2: DUP1
00000ef3: ISZERO
00000ef4: PUSH2 0x0f01
00000ef7: JUMPI
00000ef8: RETURNDATASIZE
00000ef9: PUSH1 0x00
00000efb: DUP1
00000efc: RETURNDATACOPY
00000efd: RETURNDATASIZE
00000efe: PUSH1 0x00
00000f00: REVERT
00000f01: JUMPDEST
00000f02: POP
00000f03: POP
00000f04: POP
00000f05: POP
00000f06: PUSH1 0x40
00000f08: MLOAD
00000f09: RETURNDATASIZE
00000f0a: PUSH1 0x1f
00000f0c: NOT
00000f0d: PUSH1 0x1f
00000f0f: DUP3
00000f10: ADD
00000f11: AND
00000f12: DUP3
00000f13: ADD
00000f14: DUP1
00000f15: PUSH1 0x40
00000f17: MSTORE
00000f18: POP
00000f19: DUP2
00000f1a: ADD
00000f1b: SWAP1
00000f1c: PUSH2 0x0f25
00000f1f: SWAP2
00000f20: SWAP1
00000f21: PUSH2 0x2ebc
00000f24: JUMP
00000f25: JUMPDEST
00000f26: POP
00000f27: POP
00000f28: POP
00000f29: JUMP
00000f2a: JUMPDEST
00000f2b: CALLER
00000f2c: PUSH1 0x00
00000f2e: DUP2
00000f2f: DUP2
00000f30: MSTORE
00000f31: PUSH1 0x07
00000f33: PUSH1 0x20
00000f35: MSTORE
00000f36: PUSH1 0x40
00000f38: SWAP1
00000f39: KECCAK256
00000f3a: SLOAD
00000f3b: PUSH1 0xff
00000f3d: AND
00000f3e: ISZERO
00000f3f: PUSH2 0x0f9f
00000f42: JUMPI
00000f43: PUSH1 0x40
00000f45: MLOAD
00000f46: PUSH3 0x461bcd
00000f4a: PUSH1 0xe5
00000f4c: SHL
00000f4d: DUP2
00000f4e: MSTORE
00000f4f: PUSH1 0x20
00000f51: PUSH1 0x04
00000f53: DUP3
00000f54: ADD
00000f55: MSTORE
00000f56: PUSH1 0x2c
00000f58: PUSH1 0x24
00000f5a: DUP3
00000f5b: ADD
00000f5c: MSTORE
00000f5d: PUSH32 0x4578636c75646564206164647265737365732063616e6e6f742063616c6c2074
00000f7e: PUSH1 0x44
00000f80: DUP3
00000f81: ADD
00000f82: MSTORE
00000f83: PUSH12 0x3434b990333ab731ba34b7b7
00000f90: PUSH1 0xa1
00000f92: SHL
00000f93: PUSH1 0x64
00000f95: DUP3
00000f96: ADD
00000f97: MSTORE
00000f98: PUSH1 0x84
00000f9a: ADD
00000f9b: PUSH2 0x0953
00000f9e: JUMP
00000f9f: JUMPDEST
00000fa0: PUSH1 0x00
00000fa2: PUSH2 0x0faa
00000fa5: DUP4
00000fa6: PUSH2 0x1e45
00000fa9: JUMP
00000faa: JUMPDEST
00000fab: POP
00000fac: POP
00000fad: POP
00000fae: POP
00000faf: PUSH1 0x01
00000fb1: PUSH1 0x01
00000fb3: PUSH1 0xa0
00000fb5: SHL
00000fb6: SUB
00000fb7: DUP5
00000fb8: AND
00000fb9: PUSH1 0x00
00000fbb: SWAP1
00000fbc: DUP2
00000fbd: MSTORE
00000fbe: PUSH1 0x03
00000fc0: PUSH1 0x20
00000fc2: MSTORE
00000fc3: PUSH1 0x40
00000fc5: SWAP1
00000fc6: KECCAK256
00000fc7: SLOAD
00000fc8: SWAP2
00000fc9: SWAP3
00000fca: POP
00000fcb: PUSH2 0x0fd6
00000fce: SWAP2
00000fcf: SWAP1
00000fd0: POP
00000fd1: DUP3
00000fd2: PUSH2 0x1e94
00000fd5: JUMP
00000fd6: JUMPDEST
00000fd7: PUSH1 0x01
00000fd9: PUSH1 0x01
00000fdb: PUSH1 0xa0
00000fdd: SHL
00000fde: SUB
00000fdf: DUP4
00000fe0: AND
00000fe1: PUSH1 0x00
00000fe3: SWAP1
00000fe4: DUP2
00000fe5: MSTORE
00000fe6: PUSH1 0x03
00000fe8: PUSH1 0x20
00000fea: MSTORE
00000feb: PUSH1 0x40
00000fed: SWAP1
00000fee: KECCAK256
00000fef: SSTORE
00000ff0: PUSH1 0x0c
00000ff2: SLOAD
00000ff3: PUSH2 0x0ffc
00000ff6: SWAP1
00000ff7: DUP3
00000ff8: PUSH2 0x1e94
00000ffb: JUMP
00000ffc: JUMPDEST
00000ffd: PUSH1 0x0c
00000fff: SSTORE
00001000: PUSH1 0x0d
00001002: SLOAD
00001003: PUSH2 0x100c
00001006: SWAP1
00001007: DUP5
00001008: PUSH2 0x1de6
0000100b: JUMP
0000100c: JUMPDEST
0000100d: PUSH1 0x0d
0000100f: SSTORE
00001010: POP
00001011: POP
00001012: POP
00001013: JUMP
00001014: JUMPDEST
00001015: PUSH1 0x00
00001017: SLOAD
00001018: PUSH1 0x01
0000101a: PUSH1 0x01
0000101c: PUSH1 0xa0
0000101e: SHL
0000101f: SUB
00001020: AND
00001021: CALLER
00001022: EQ
00001023: PUSH2 0x103e
00001026: JUMPI
00001027: PUSH1 0x40
00001029: MLOAD
0000102a: PUSH3 0x461bcd
0000102e: PUSH1 0xe5
00001030: SHL
00001031: DUP2
00001032: MSTORE
00001033: PUSH1 0x04
00001035: ADD
00001036: PUSH2 0x0953
00001039: SWAP1
0000103a: PUSH2 0x2da0
0000103d: JUMP
0000103e: JUMPDEST
0000103f: PUSH1 0x01
00001041: PUSH1 0x01
00001043: PUSH1 0xa0
00001045: SHL
00001046: SUB
00001047: AND
00001048: PUSH1 0x00
0000104a: SWAP1
0000104b: DUP2
0000104c: MSTORE
0000104d: PUSH1 0x06
0000104f: PUSH1 0x20
00001051: MSTORE
00001052: PUSH1 0x40
00001054: SWAP1
00001055: KECCAK256
00001056: DUP1
00001057: SLOAD
00001058: PUSH1 0xff
0000105a: NOT
0000105b: AND
0000105c: PUSH1 0x01
0000105e: OR
0000105f: SWAP1
00001060: SSTORE
00001061: JUMP
00001062: JUMPDEST
00001063: PUSH1 0x00
00001065: PUSH1 0x0b
00001067: SLOAD
00001068: DUP4
00001069: GT
0000106a: ISZERO
0000106b: PUSH2 0x10b6
0000106e: JUMPI
0000106f: PUSH1 0x40
00001071: MLOAD
00001072: PUSH3 0x461bcd
00001076: PUSH1 0xe5
00001078: SHL
00001079: DUP2
0000107a: MSTORE
0000107b: PUSH1 0x20
0000107d: PUSH1 0x04
0000107f: DUP3
00001080: ADD
00001081: MSTORE
00001082: PUSH1 0x1f
00001084: PUSH1 0x24
00001086: DUP3
00001087: ADD
00001088: MSTORE
00001089: PUSH32 0x416d6f756e74206d757374206265206c657373207468616e20737570706c7900
000010aa: PUSH1 0x44
000010ac: DUP3
000010ad: ADD
000010ae: MSTORE
000010af: PUSH1 0x64
000010b1: ADD
000010b2: PUSH2 0x0953
000010b5: JUMP
000010b6: JUMPDEST
000010b7: DUP2
000010b8: PUSH2 0x10d5
000010bb: JUMPI
000010bc: PUSH1 0x00
000010be: PUSH2 0x10c6
000010c1: DUP5
000010c2: PUSH2 0x1e45
000010c5: JUMP
000010c6: JUMPDEST
000010c7: POP
000010c8: SWAP4
000010c9: SWAP6
000010ca: POP
000010cb: PUSH2 0x0a20
000010ce: SWAP5
000010cf: POP
000010d0: POP
000010d1: POP
000010d2: POP
000010d3: POP
000010d4: JUMP
000010d5: JUMPDEST
000010d6: PUSH1 0x00
000010d8: PUSH2 0x10e0
000010db: DUP5
000010dc: PUSH2 0x1e45
000010df: JUMP
000010e0: JUMPDEST
000010e1: POP
000010e2: SWAP3
000010e3: SWAP6
000010e4: POP
000010e5: PUSH2 0x0a20
000010e8: SWAP5
000010e9: POP
000010ea: POP
000010eb: POP
000010ec: POP
000010ed: POP
000010ee: JUMP
000010ef: JUMPDEST
000010f0: PUSH1 0x00
000010f2: SLOAD
000010f3: PUSH1 0x01
000010f5: PUSH1 0x01
000010f7: PUSH1 0xa0
000010f9: SHL
000010fa: SUB
000010fb: AND
000010fc: CALLER
000010fd: EQ
000010fe: PUSH2 0x1119
00001101: JUMPI
00001102: PUSH1 0x40
00001104: MLOAD
00001105: PUSH3 0x461bcd
00001109: PUSH1 0xe5
0000110b: SHL
0000110c: DUP2
0000110d: MSTORE
0000110e: PUSH1 0x04
00001110: ADD
00001111: PUSH2 0x0953
00001114: SWAP1
00001115: PUSH2 0x2da0
00001118: JUMP
00001119: JUMPDEST
0000111a: PUSH1 0x0e
0000111c: SLOAD
0000111d: PUSH1 0x40
0000111f: MLOAD
00001120: PUSH1 0x01
00001122: PUSH1 0x01
00001124: PUSH1 0xa0
00001126: SHL
00001127: SUB
00001128: SWAP1
00001129: SWAP2
0000112a: AND
0000112b: SWAP1
0000112c: SELFBALANCE
0000112d: DUP1
0000112e: ISZERO
0000112f: PUSH2 0x08fc
00001132: MUL
00001133: SWAP2
00001134: PUSH1 0x00
00001136: DUP2
00001137: DUP2
00001138: DUP2
00001139: DUP6
0000113a: DUP9
0000113b: DUP9
0000113c: CALL
0000113d: SWAP4
0000113e: POP
0000113f: POP
00001140: POP
00001141: POP
00001142: ISZERO
00001143: DUP1
00001144: ISZERO
00001145: PUSH2 0x1152
00001148: JUMPI
00001149: RETURNDATASIZE
0000114a: PUSH1 0x00
0000114c: DUP1
0000114d: RETURNDATACOPY
0000114e: RETURNDATASIZE
0000114f: PUSH1 0x00
00001151: REVERT
00001152: JUMPDEST
00001153: POP
00001154: JUMP
00001155: JUMPDEST
00001156: PUSH1 0x00
00001158: SLOAD
00001159: PUSH1 0x01
0000115b: PUSH1 0x01
0000115d: PUSH1 0xa0
0000115f: SHL
00001160: SUB
00001161: AND
00001162: CALLER
00001163: EQ
00001164: PUSH2 0x117f
00001167: JUMPI
00001168: PUSH1 0x40
0000116a: MLOAD
0000116b: PUSH3 0x461bcd
0000116f: PUSH1 0xe5
00001171: SHL
00001172: DUP2
00001173: MSTORE
00001174: PUSH1 0x04
00001176: ADD
00001177: PUSH2 0x0953
0000117a: SWAP1
0000117b: PUSH2 0x2da0
0000117e: JUMP
0000117f: JUMPDEST
00001180: PUSH1 0x01
00001182: PUSH1 0x01
00001184: PUSH1 0xa0
00001186: SHL
00001187: SUB
00001188: DUP2
00001189: AND
0000118a: PUSH1 0x00
0000118c: SWAP1
0000118d: DUP2
0000118e: MSTORE
0000118f: PUSH1 0x07
00001191: PUSH1 0x20
00001193: MSTORE
00001194: PUSH1 0x40
00001196: SWAP1
00001197: KECCAK256
00001198: SLOAD
00001199: PUSH1 0xff
0000119b: AND
0000119c: ISZERO
0000119d: PUSH2 0x11e8
000011a0: JUMPI
000011a1: PUSH1 0x40
000011a3: MLOAD
000011a4: PUSH3 0x461bcd
000011a8: PUSH1 0xe5
000011aa: SHL
000011ab: DUP2
000011ac: MSTORE
000011ad: PUSH1 0x20
000011af: PUSH1 0x04
000011b1: DUP3
000011b2: ADD
000011b3: MSTORE
000011b4: PUSH1 0x1b
000011b6: PUSH1 0x24
000011b8: DUP3
000011b9: ADD
000011ba: MSTORE
000011bb: PUSH32 0x4163636f756e7420697320616c7265616479206578636c756465640000000000
000011dc: PUSH1 0x44
000011de: DUP3
000011df: ADD
000011e0: MSTORE
000011e1: PUSH1 0x64
000011e3: ADD
000011e4: PUSH2 0x0953
000011e7: JUMP
000011e8: JUMPDEST
000011e9: PUSH1 0x01
000011eb: PUSH1 0x01
000011ed: PUSH1 0xa0
000011ef: SHL
000011f0: SUB
000011f1: DUP2
000011f2: AND
000011f3: PUSH1 0x00
000011f5: SWAP1
000011f6: DUP2
000011f7: MSTORE
000011f8: PUSH1 0x03
000011fa: PUSH1 0x20
000011fc: MSTORE
000011fd: PUSH1 0x40
000011ff: SWAP1
00001200: KECCAK256
00001201: SLOAD
00001202: ISZERO
00001203: PUSH2 0x1242
00001206: JUMPI
00001207: PUSH1 0x01
00001209: PUSH1 0x01
0000120b: PUSH1 0xa0
0000120d: SHL
0000120e: SUB
0000120f: DUP2
00001210: AND
00001211: PUSH1 0x00
00001213: SWAP1
00001214: DUP2
00001215: MSTORE
00001216: PUSH1 0x03
00001218: PUSH1 0x20
0000121a: MSTORE
0000121b: PUSH1 0x40
0000121d: SWAP1
0000121e: KECCAK256
0000121f: SLOAD
00001220: PUSH2 0x1228
00001223: SWAP1
00001224: PUSH2 0x0b8b
00001227: JUMP
00001228: JUMPDEST
00001229: PUSH1 0x01
0000122b: PUSH1 0x01
0000122d: PUSH1 0xa0
0000122f: SHL
00001230: SUB
00001231: DUP3
00001232: AND
00001233: PUSH1 0x00
00001235: SWAP1
00001236: DUP2
00001237: MSTORE
00001238: PUSH1 0x04
0000123a: PUSH1 0x20
0000123c: MSTORE
0000123d: PUSH1 0x40
0000123f: SWAP1
00001240: KECCAK256
00001241: SSTORE
00001242: JUMPDEST
00001243: PUSH1 0x01
00001245: PUSH1 0x01
00001247: PUSH1 0xa0
00001249: SHL
0000124a: SUB
0000124b: AND
0000124c: PUSH1 0x00
0000124e: DUP2
0000124f: DUP2
00001250: MSTORE
00001251: PUSH1 0x07
00001253: PUSH1 0x20
00001255: MSTORE
00001256: PUSH1 0x40
00001258: DUP2
00001259: KECCAK256
0000125a: DUP1
0000125b: SLOAD
0000125c: PUSH1 0xff
0000125e: NOT
0000125f: AND
00001260: PUSH1 0x01
00001262: SWAP1
00001263: DUP2
00001264: OR
00001265: SWAP1
00001266: SWAP2
00001267: SSTORE
00001268: PUSH1 0x08
0000126a: DUP1
0000126b: SLOAD
0000126c: SWAP2
0000126d: DUP3
0000126e: ADD
0000126f: DUP2
00001270: SSTORE
00001271: SWAP1
00001272: SWAP2
00001273: MSTORE
00001274: PUSH32 0xf3f7a9fe364faab93b216da50a3214154f22a0a2b415b23a84c8169e8b636ee3
00001295: ADD
00001296: DUP1
00001297: SLOAD
00001298: PUSH1 0x01
0000129a: PUSH1 0x01
0000129c: PUSH1 0xa0
0000129e: SHL
0000129f: SUB
000012a0: NOT
000012a1: AND
000012a2: SWAP1
000012a3: SWAP2
000012a4: OR
000012a5: SWAP1
000012a6: SSTORE
000012a7: JUMP
000012a8: JUMPDEST
000012a9: PUSH1 0x00
000012ab: SLOAD
000012ac: PUSH1 0x01
000012ae: PUSH1 0x01
000012b0: PUSH1 0xa0
000012b2: SHL
000012b3: SUB
000012b4: AND
000012b5: CALLER
000012b6: EQ
000012b7: PUSH2 0x12d2
000012ba: JUMPI
000012bb: PUSH1 0x40
000012bd: MLOAD
000012be: PUSH3 0x461bcd
000012c2: PUSH1 0xe5
000012c4: SHL
000012c5: DUP2
000012c6: MSTORE
000012c7: PUSH1 0x04
000012c9: ADD
000012ca: PUSH2 0x0953
000012cd: SWAP1
000012ce: PUSH2 0x2da0
000012d1: JUMP
000012d2: JUMPDEST
000012d3: PUSH1 0x0e
000012d5: DUP1
000012d6: SLOAD
000012d7: PUSH1 0x01
000012d9: PUSH1 0x01
000012db: PUSH1 0xa0
000012dd: SHL
000012de: SUB
000012df: NOT
000012e0: AND
000012e1: PUSH1 0x01
000012e3: PUSH1 0x01
000012e5: PUSH1 0xa0
000012e7: SHL
000012e8: SUB
000012e9: SWAP3
000012ea: SWAP1
000012eb: SWAP3
000012ec: AND
000012ed: SWAP2
000012ee: SWAP1
000012ef: SWAP2
000012f0: OR
000012f1: SWAP1
000012f2: SSTORE
000012f3: JUMP
000012f4: JUMPDEST
000012f5: PUSH1 0x01
000012f7: PUSH1 0x01
000012f9: PUSH1 0xa0
000012fb: SHL
000012fc: SUB
000012fd: DUP2
000012fe: AND
000012ff: PUSH1 0x00
00001301: SWAP1
00001302: DUP2
00001303: MSTORE
00001304: PUSH1 0x07
00001306: PUSH1 0x20
00001308: MSTORE
00001309: PUSH1 0x40
0000130b: DUP2
0000130c: KECCAK256
0000130d: SLOAD
0000130e: PUSH1 0xff
00001310: AND
00001311: ISZERO
00001312: PUSH2 0x1331
00001315: JUMPI
00001316: POP
00001317: PUSH1 0x01
00001319: PUSH1 0x01
0000131b: PUSH1 0xa0
0000131d: SHL
0000131e: SUB
0000131f: AND
00001320: PUSH1 0x00
00001322: SWAP1
00001323: DUP2
00001324: MSTORE
00001325: PUSH1 0x04
00001327: PUSH1 0x20
00001329: MSTORE
0000132a: PUSH1 0x40
0000132c: SWAP1
0000132d: KECCAK256
0000132e: SLOAD
0000132f: SWAP1
00001330: JUMP
00001331: JUMPDEST
00001332: PUSH1 0x01
00001334: PUSH1 0x01
00001336: PUSH1 0xa0
00001338: SHL
00001339: SUB
0000133a: DUP3
0000133b: AND
0000133c: PUSH1 0x00
0000133e: SWAP1
0000133f: DUP2
00001340: MSTORE
00001341: PUSH1 0x03
00001343: PUSH1 0x20
00001345: MSTORE
00001346: PUSH1 0x40
00001348: SWAP1
00001349: KECCAK256
0000134a: SLOAD
0000134b: PUSH2 0x0a20
0000134e: SWAP1
0000134f: PUSH2 0x0b8b
00001352: JUMP
00001353: JUMPDEST
00001354: PUSH1 0x00
00001356: SLOAD
00001357: PUSH1 0x01
00001359: PUSH1 0x01
0000135b: PUSH1 0xa0
0000135d: SHL
0000135e: SUB
0000135f: AND
00001360: CALLER
00001361: EQ
00001362: PUSH2 0x137d
00001365: JUMPI
00001366: PUSH1 0x40
00001368: MLOAD
00001369: PUSH3 0x461bcd
0000136d: PUSH1 0xe5
0000136f: SHL
00001370: DUP2
00001371: MSTORE
00001372: PUSH1 0x04
00001374: ADD
00001375: PUSH2 0x0953
00001378: SWAP1
00001379: PUSH2 0x2da0
0000137c: JUMP
0000137d: JUMPDEST
0000137e: PUSH1 0x00
00001380: DUP1
00001381: SLOAD
00001382: PUSH1 0x40
00001384: MLOAD
00001385: PUSH1 0x01
00001387: PUSH1 0x01
00001389: PUSH1 0xa0
0000138b: SHL
0000138c: SUB
0000138d: SWAP1
0000138e: SWAP2
0000138f: AND
00001390: SWAP1
00001391: PUSH1 0x00
00001393: DUP1
00001394: MLOAD
00001395: PUSH1 0x20
00001397: PUSH2 0x2ff8
0000139a: DUP4
0000139b: CODECOPY
0000139c: DUP2
0000139d: MLOAD
0000139e: SWAP2
0000139f: MSTORE
000013a0: SWAP1
000013a1: DUP4
000013a2: SWAP1
000013a3: LOG3
000013a4: PUSH1 0x00
000013a6: DUP1
000013a7: SLOAD
000013a8: PUSH1 0x01
000013aa: PUSH1 0x01
000013ac: PUSH1 0xa0
000013ae: SHL
000013af: SUB
000013b0: NOT
000013b1: AND
000013b2: SWAP1
000013b3: SSTORE
000013b4: JUMP
000013b5: JUMPDEST
000013b6: PUSH1 0x00
000013b8: SLOAD
000013b9: PUSH1 0x01
000013bb: PUSH1 0x01
000013bd: PUSH1 0xa0
000013bf: SHL
000013c0: SUB
000013c1: AND
000013c2: CALLER
000013c3: EQ
000013c4: PUSH2 0x13df
000013c7: JUMPI
000013c8: PUSH1 0x40
000013ca: MLOAD
000013cb: PUSH3 0x461bcd
000013cf: PUSH1 0xe5
000013d1: SHL
000013d2: DUP2
000013d3: MSTORE
000013d4: PUSH1 0x04
000013d6: ADD
000013d7: PUSH2 0x0953
000013da: SWAP1
000013db: PUSH2 0x2da0
000013de: JUMP
000013df: JUMPDEST
000013e0: PUSH1 0x40
000013e2: MLOAD
000013e3: PUSH1 0x01
000013e5: PUSH1 0x01
000013e7: PUSH1 0xa0
000013e9: SHL
000013ea: SUB
000013eb: DUP3
000013ec: AND
000013ed: SWAP1
000013ee: SELFBALANCE
000013ef: DUP1
000013f0: ISZERO
000013f1: PUSH2 0x08fc
000013f4: MUL
000013f5: SWAP2
000013f6: PUSH1 0x00
000013f8: DUP2
000013f9: DUP2
000013fa: DUP2
000013fb: DUP6
000013fc: DUP9
000013fd: DUP9
000013fe: CALL
000013ff: SWAP4
00001400: POP
00001401: POP
00001402: POP
00001403: POP
00001404: ISZERO
00001405: DUP1
00001406: ISZERO
00001407: PUSH2 0x0dc2
0000140a: JUMPI
0000140b: RETURNDATASIZE
0000140c: PUSH1 0x00
0000140e: DUP1
0000140f: RETURNDATACOPY
00001410: RETURNDATASIZE
00001411: PUSH1 0x00
00001413: REVERT
00001414: JUMPDEST
00001415: PUSH1 0x00
00001417: SLOAD
00001418: PUSH1 0x01
0000141a: PUSH1 0x01
0000141c: PUSH1 0xa0
0000141e: SHL
0000141f: SUB
00001420: AND
00001421: CALLER
00001422: EQ
00001423: PUSH2 0x143e
00001426: JUMPI
00001427: PUSH1 0x40
00001429: MLOAD
0000142a: PUSH3 0x461bcd
0000142e: PUSH1 0xe5
00001430: SHL
00001431: DUP2
00001432: MSTORE
00001433: PUSH1 0x04
00001435: ADD
00001436: PUSH2 0x0953
00001439: SWAP1
0000143a: PUSH2 0x2da0
0000143d: JUMP
0000143e: JUMPDEST
0000143f: PUSH2 0x1446
00001442: PUSH2 0x1ed6
00001445: JUMP
00001446: JUMPDEST
00001447: PUSH2 0x145e
0000144a: CALLER
0000144b: DUP4
0000144c: PUSH2 0x1459
0000144f: DUP5
00001450: PUSH4 0x3b9aca00
00001455: PUSH2 0x2e26
00001458: JUMP
00001459: JUMPDEST
0000145a: PUSH2 0x1a96
0000145d: JUMP
0000145e: JUMPDEST
0000145f: PUSH2 0x0dc2
00001462: PUSH1 0x13
00001464: SLOAD
00001465: PUSH1 0x12
00001467: SSTORE
00001468: PUSH1 0x15
0000146a: SLOAD
0000146b: PUSH1 0x14
0000146d: SSTORE
0000146e: JUMP
0000146f: JUMPDEST
00001470: PUSH1 0x60
00001472: PUSH1 0x10
00001474: DUP1
00001475: SLOAD
00001476: PUSH2 0x098c
00001479: SWAP1
0000147a: PUSH2 0x2dd5
0000147d: JUMP
0000147e: JUMPDEST
0000147f: PUSH1 0x00
00001481: PUSH2 0x0a1c
00001484: CALLER
00001485: DUP5
00001486: PUSH2 0x0a80
00001489: DUP6
0000148a: PUSH1 0x40
0000148c: MLOAD
0000148d: DUP1
0000148e: PUSH1 0x60
00001490: ADD
00001491: PUSH1 0x40
00001493: MSTORE
00001494: DUP1
00001495: PUSH1 0x25
00001497: DUP2
00001498: MSTORE
00001499: PUSH1 0x20
0000149b: ADD
0000149c: PUSH2 0x3018
0000149f: PUSH1 0x25
000014a1: SWAP2
000014a2: CODECOPY
000014a3: CALLER
000014a4: PUSH1 0x00
000014a6: SWAP1
000014a7: DUP2
000014a8: MSTORE
000014a9: PUSH1 0x05
000014ab: PUSH1 0x20
000014ad: SWAP1
000014ae: DUP2
000014af: MSTORE
000014b0: PUSH1 0x40
000014b2: DUP1
000014b3: DUP4
000014b4: KECCAK256
000014b5: PUSH1 0x01
000014b7: PUSH1 0x01
000014b9: PUSH1 0xa0
000014bb: SHL
000014bc: SUB
000014bd: DUP14
000014be: AND
000014bf: DUP5
000014c0: MSTORE
000014c1: SWAP1
000014c2: SWAP2
000014c3: MSTORE
000014c4: SWAP1
000014c5: KECCAK256
000014c6: SLOAD
000014c7: SWAP2
000014c8: SWAP1
000014c9: PUSH2 0x1d47
000014cc: JUMP
000014cd: JUMPDEST
000014ce: PUSH1 0x00
000014d0: SLOAD
000014d1: PUSH1 0x01
000014d3: PUSH1 0x01
000014d5: PUSH1 0xa0
000014d7: SHL
000014d8: SUB
000014d9: AND
000014da: CALLER
000014db: EQ
000014dc: PUSH2 0x14f7
000014df: JUMPI
000014e0: PUSH1 0x40
000014e2: MLOAD
000014e3: PUSH3 0x461bcd
000014e7: PUSH1 0xe5
000014e9: SHL
000014ea: DUP2
000014eb: MSTORE
000014ec: PUSH1 0x04
000014ee: ADD
000014ef: PUSH2 0x0953
000014f2: SWAP1
000014f3: PUSH2 0x2da0
000014f6: JUMP
000014f7: JUMPDEST
000014f8: PUSH1 0x0a
000014fa: DUP1
000014fb: SLOAD
000014fc: PUSH2 0xff00
000014ff: NOT
00001500: AND
00001501: PUSH2 0x0100
00001504: OR
00001505: SWAP1
00001506: SSTORE
00001507: JUMP
00001508: JUMPDEST
00001509: PUSH1 0x01
0000150b: SLOAD
0000150c: PUSH1 0x01
0000150e: PUSH1 0x01
00001510: PUSH1 0xa0
00001512: SHL
00001513: SUB
00001514: AND
00001515: CALLER
00001516: EQ
00001517: PUSH2 0x156e
0000151a: JUMPI
0000151b: PUSH1 0x40
0000151d: MLOAD
0000151e: PUSH3 0x461bcd
00001522: PUSH1 0xe5
00001524: SHL
00001525: DUP2
00001526: MSTORE
00001527: PUSH1 0x20
00001529: PUSH1 0x04
0000152b: DUP3
0000152c: ADD
0000152d: MSTORE
0000152e: PUSH1 0x23
00001530: PUSH1 0x24
00001532: DUP3
00001533: ADD
00001534: MSTORE
00001535: PUSH32 0x596f7520646f6e27742068617665207065726d697373696f6e20746f20756e6c
00001556: PUSH1 0x44
00001558: DUP3
00001559: ADD
0000155a: MSTORE
0000155b: PUSH3 0x6f636b
0000155f: PUSH1 0xe8
00001561: SHL
00001562: PUSH1 0x64
00001564: DUP3
00001565: ADD
00001566: MSTORE
00001567: PUSH1 0x84
00001569: ADD
0000156a: PUSH2 0x0953
0000156d: JUMP
0000156e: JUMPDEST
0000156f: PUSH1 0x02
00001571: SLOAD
00001572: TIMESTAMP
00001573: GT
00001574: PUSH2 0x15bf
00001577: JUMPI
00001578: PUSH1 0x40
0000157a: MLOAD
0000157b: PUSH3 0x461bcd
0000157f: PUSH1 0xe5
00001581: SHL
00001582: DUP2
00001583: MSTORE
00001584: PUSH1 0x20
00001586: PUSH1 0x04
00001588: DUP3
00001589: ADD
0000158a: MSTORE
0000158b: PUSH1 0x1f
0000158d: PUSH1 0x24
0000158f: DUP3
00001590: ADD
00001591: MSTORE
00001592: PUSH32 0x436f6e7472616374206973206c6f636b656420756e74696c2037206461797300
000015b3: PUSH1 0x44
000015b5: DUP3
000015b6: ADD
000015b7: MSTORE
000015b8: PUSH1 0x64
000015ba: ADD
000015bb: PUSH2 0x0953
000015be: JUMP
000015bf: JUMPDEST
000015c0: PUSH1 0x01
000015c2: SLOAD
000015c3: PUSH1 0x00
000015c5: DUP1
000015c6: SLOAD
000015c7: PUSH1 0x40
000015c9: MLOAD
000015ca: PUSH1 0x01
000015cc: PUSH1 0x01
000015ce: PUSH1 0xa0
000015d0: SHL
000015d1: SUB
000015d2: SWAP4
000015d3: DUP5
000015d4: AND
000015d5: SWAP4
000015d6: SWAP1
000015d7: SWAP2
000015d8: AND
000015d9: SWAP2
000015da: PUSH1 0x00
000015dc: DUP1
000015dd: MLOAD
000015de: PUSH1 0x20
000015e0: PUSH2 0x2ff8
000015e3: DUP4
000015e4: CODECOPY
000015e5: DUP2
000015e6: MLOAD
000015e7: SWAP2
000015e8: MSTORE
000015e9: SWAP2
000015ea: LOG3
000015eb: PUSH1 0x01
000015ed: SLOAD
000015ee: PUSH1 0x00
000015f0: DUP1
000015f1: SLOAD
000015f2: PUSH1 0x01
000015f4: PUSH1 0x01
000015f6: PUSH1 0xa0
000015f8: SHL
000015f9: SUB
000015fa: NOT
000015fb: AND
000015fc: PUSH1 0x01
000015fe: PUSH1 0x01
00001600: PUSH1 0xa0
00001602: SHL
00001603: SUB
00001604: SWAP1
00001605: SWAP3
00001606: AND
00001607: SWAP2
00001608: SWAP1
00001609: SWAP2
0000160a: OR
0000160b: SWAP1
0000160c: SSTORE
0000160d: JUMP
0000160e: JUMPDEST
0000160f: PUSH1 0x00
00001611: PUSH2 0x0a1c
00001614: CALLER
00001615: DUP5
00001616: DUP5
00001617: PUSH2 0x1a96
0000161a: JUMP
0000161b: JUMPDEST
0000161c: PUSH1 0x00
0000161e: SLOAD
0000161f: PUSH1 0x01
00001621: PUSH1 0x01
00001623: PUSH1 0xa0
00001625: SHL
00001626: SUB
00001627: AND
00001628: CALLER
00001629: EQ
0000162a: PUSH2 0x1645
0000162d: JUMPI
0000162e: PUSH1 0x40
00001630: MLOAD
00001631: PUSH3 0x461bcd
00001635: PUSH1 0xe5
00001637: SHL
00001638: DUP2
00001639: MSTORE
0000163a: PUSH1 0x04
0000163c: ADD
0000163d: PUSH2 0x0953
00001640: SWAP1
00001641: PUSH2 0x2da0
00001644: JUMP
00001645: JUMPDEST
00001646: PUSH1 0x16
00001648: DUP1
00001649: SLOAD
0000164a: DUP3
0000164b: ISZERO
0000164c: ISZERO
0000164d: PUSH2 0x0100
00001650: MUL
00001651: PUSH2 0xff00
00001654: NOT
00001655: SWAP1
00001656: SWAP2
00001657: AND
00001658: OR
00001659: SWAP1
0000165a: SSTORE
0000165b: PUSH1 0x40
0000165d: MLOAD
0000165e: PUSH32 0x53726dfcaf90650aa7eb35524f4d3220f07413c8d6cb404cc8c18bf5591bc159
0000167f: SWAP1
00001680: PUSH2 0x168e
00001683: SWAP1
00001684: DUP4
00001685: ISZERO
00001686: ISZERO
00001687: DUP2
00001688: MSTORE
00001689: PUSH1 0x20
0000168b: ADD
0000168c: SWAP1
0000168d: JUMP
0000168e: JUMPDEST
0000168f: PUSH1 0x40
00001691: MLOAD
00001692: DUP1
00001693: SWAP2
00001694: SUB
00001695: SWAP1
00001696: LOG1
00001697: POP
00001698: JUMP
00001699: JUMPDEST
0000169a: PUSH1 0x00
0000169c: SLOAD
0000169d: PUSH1 0x01
0000169f: PUSH1 0x01
000016a1: PUSH1 0xa0
000016a3: SHL
000016a4: SUB
000016a5: AND
000016a6: CALLER
000016a7: EQ
000016a8: PUSH2 0x16c3
000016ab: JUMPI
000016ac: PUSH1 0x40
000016ae: MLOAD
000016af: PUSH3 0x461bcd
000016b3: PUSH1 0xe5
000016b5: SHL
000016b6: DUP2
000016b7: MSTORE
000016b8: PUSH1 0x04
000016ba: ADD
000016bb: PUSH2 0x0953
000016be: SWAP1
000016bf: PUSH2 0x2da0
000016c2: JUMP
000016c3: JUMPDEST
000016c4: PUSH1 0x00
000016c6: DUP4
000016c7: DUP3
000016c8: EQ
000016c9: PUSH2 0x1714
000016cc: JUMPI
000016cd: PUSH1 0x40
000016cf: MLOAD
000016d0: PUSH3 0x461bcd
000016d4: PUSH1 0xe5
000016d6: SHL
000016d7: DUP2
000016d8: MSTORE
000016d9: PUSH1 0x20
000016db: PUSH1 0x04
000016dd: DUP3
000016de: ADD
000016df: MSTORE
000016e0: PUSH1 0x17
000016e2: PUSH1 0x24
000016e4: DUP3
000016e5: ADD
000016e6: MSTORE
000016e7: PUSH32 0x6d757374206265207468652073616d65206c656e677468000000000000000000
00001708: PUSH1 0x44
0000170a: DUP3
0000170b: ADD
0000170c: MSTORE
0000170d: PUSH1 0x64
0000170f: ADD
00001710: PUSH2 0x0953
00001713: JUMP
00001714: JUMPDEST
00001715: DUP4
00001716: DUP2
00001717: LT
00001718: ISZERO
00001719: PUSH2 0x1785
0000171c: JUMPI
0000171d: PUSH2 0x1773
00001720: DUP6
00001721: DUP6
00001722: DUP4
00001723: DUP2
00001724: DUP2
00001725: LT
00001726: PUSH2 0x1731
00001729: JUMPI
0000172a: PUSH2 0x1731
0000172d: PUSH2 0x2e45
00001730: JUMP
00001731: JUMPDEST
00001732: SWAP1
00001733: POP
00001734: PUSH1 0x20
00001736: MUL
00001737: ADD
00001738: PUSH1 0x20
0000173a: DUP2
0000173b: ADD
0000173c: SWAP1
0000173d: PUSH2 0x1746
00001740: SWAP2
00001741: SWAP1
00001742: PUSH2 0x2b67
00001745: JUMP
00001746: JUMPDEST
00001747: DUP5
00001748: DUP5
00001749: DUP5
0000174a: DUP2
0000174b: DUP2
0000174c: LT
0000174d: PUSH2 0x1758
00001750: JUMPI
00001751: PUSH2 0x1758
00001754: PUSH2 0x2e45
00001757: JUMP
00001758: JUMPDEST
00001759: SWAP1
0000175a: POP
0000175b: PUSH1 0x20
0000175d: MUL
0000175e: ADD
0000175f: CALLDATALOAD
00001760: PUSH4 0x3b9aca00
00001765: PUSH2 0x176e
00001768: SWAP2
00001769: SWAP1
0000176a: PUSH2 0x2e26
0000176d: JUMP
0000176e: JUMPDEST
0000176f: PUSH2 0x1f04
00001772: JUMP
00001773: JUMPDEST
00001774: PUSH2 0x177e
00001777: PUSH1 0x01
00001779: DUP3
0000177a: PUSH2 0x2ed9
0000177d: JUMP
0000177e: JUMPDEST
0000177f: SWAP1
00001780: POP
00001781: PUSH2 0x1714
00001784: JUMP
00001785: JUMPDEST
00001786: POP
00001787: POP
00001788: POP
00001789: POP
0000178a: POP
0000178b: JUMP
0000178c: JUMPDEST
0000178d: PUSH1 0x00
0000178f: SLOAD
00001790: PUSH1 0x01
00001792: PUSH1 0x01
00001794: PUSH1 0xa0
00001796: SHL
00001797: SUB
00001798: AND
00001799: CALLER
0000179a: EQ
0000179b: PUSH2 0x17b6
0000179e: JUMPI
0000179f: PUSH1 0x40
000017a1: MLOAD
000017a2: PUSH3 0x461bcd
000017a6: PUSH1 0xe5
000017a8: SHL
000017a9: DUP2
000017aa: MSTORE
000017ab: PUSH1 0x04
000017ad: ADD
000017ae: PUSH2 0x0953
000017b1: SWAP1
000017b2: PUSH2 0x2da0
000017b5: JUMP
000017b6: JUMPDEST
000017b7: PUSH1 0x00
000017b9: DUP1
000017ba: SLOAD
000017bb: PUSH1 0x01
000017bd: DUP1
000017be: SLOAD
000017bf: PUSH1 0x01
000017c1: PUSH1 0x01
000017c3: PUSH1 0xa0
000017c5: SHL
000017c6: SUB
000017c7: NOT
000017c8: SWAP1
000017c9: DUP2
000017ca: AND
000017cb: PUSH1 0x01
000017cd: PUSH1 0x01
000017cf: PUSH1 0xa0
000017d1: SHL
000017d2: SUB
000017d3: DUP5
000017d4: AND
000017d5: OR
000017d6: SWAP1
000017d7: SWAP2
000017d8: SSTORE
000017d9: AND
000017da: SWAP1
000017db: SSTORE
000017dc: PUSH2 0x17e5
000017df: DUP2
000017e0: TIMESTAMP
000017e1: PUSH2 0x2ed9
000017e4: JUMP
000017e5: JUMPDEST
000017e6: PUSH1 0x02
000017e8: SSTORE
000017e9: PUSH1 0x00
000017eb: DUP1
000017ec: SLOAD
000017ed: PUSH1 0x40
000017ef: MLOAD
000017f0: PUSH1 0x01
000017f2: PUSH1 0x01
000017f4: PUSH1 0xa0
000017f6: SHL
000017f7: SUB
000017f8: SWAP1
000017f9: SWAP2
000017fa: AND
000017fb: SWAP1
000017fc: PUSH1 0x00
000017fe: DUP1
000017ff: MLOAD
00001800: PUSH1 0x20
00001802: PUSH2 0x2ff8
00001805: DUP4
00001806: CODECOPY
00001807: DUP2
00001808: MLOAD
00001809: SWAP2
0000180a: MSTORE
0000180b: SWAP1
0000180c: DUP4
0000180d: SWAP1
0000180e: LOG3
0000180f: POP
00001810: JUMP
00001811: JUMPDEST
00001812: PUSH1 0x00
00001814: SLOAD
00001815: PUSH1 0x01
00001817: PUSH1 0x01
00001819: PUSH1 0xa0
0000181b: SHL
0000181c: SUB
0000181d: AND
0000181e: CALLER
0000181f: EQ
00001820: PUSH2 0x183b
00001823: JUMPI
00001824: PUSH1 0x40
00001826: MLOAD
00001827: PUSH3 0x461bcd
0000182b: PUSH1 0xe5
0000182d: SHL
0000182e: DUP2
0000182f: MSTORE
00001830: PUSH1 0x04
00001832: ADD
00001833: PUSH2 0x0953
00001836: SWAP1
00001837: PUSH2 0x2da0
0000183a: JUMP
0000183b: JUMPDEST
0000183c: PUSH14 0x0366e7064422fd84202340000000
0000184b: PUSH1 0x17
0000184d: SSTORE
0000184e: JUMP
0000184f: JUMPDEST
00001850: PUSH1 0x00
00001852: SLOAD
00001853: PUSH1 0x01
00001855: PUSH1 0x01
00001857: PUSH1 0xa0
00001859: SHL
0000185a: SUB
0000185b: AND
0000185c: CALLER
0000185d: EQ
0000185e: PUSH2 0x1879
00001861: JUMPI
00001862: PUSH1 0x40
00001864: MLOAD
00001865: PUSH3 0x461bcd
00001869: PUSH1 0xe5
0000186b: SHL
0000186c: DUP2
0000186d: MSTORE
0000186e: PUSH1 0x04
00001870: ADD
00001871: PUSH2 0x0953
00001874: SWAP1
00001875: PUSH2 0x2da0
00001878: JUMP
00001879: JUMPDEST
0000187a: PUSH1 0x01
0000187c: PUSH1 0x01
0000187e: PUSH1 0xa0
00001880: SHL
00001881: SUB
00001882: AND
00001883: PUSH1 0x00
00001885: SWAP1
00001886: DUP2
00001887: MSTORE
00001888: PUSH1 0x06
0000188a: PUSH1 0x20
0000188c: MSTORE
0000188d: PUSH1 0x40
0000188f: SWAP1
00001890: KECCAK256
00001891: DUP1
00001892: SLOAD
00001893: PUSH1 0xff
00001895: NOT
00001896: AND
00001897: SWAP1
00001898: SSTORE
00001899: JUMP
0000189a: JUMPDEST
0000189b: PUSH1 0x00
0000189d: SLOAD
0000189e: PUSH1 0x01
000018a0: PUSH1 0x01
000018a2: PUSH1 0xa0
000018a4: SHL
000018a5: SUB
000018a6: AND
000018a7: CALLER
000018a8: EQ
000018a9: PUSH2 0x18c4
000018ac: JUMPI
000018ad: PUSH1 0x40
000018af: MLOAD
000018b0: PUSH3 0x461bcd
000018b4: PUSH1 0xe5
000018b6: SHL
000018b7: DUP2
000018b8: MSTORE
000018b9: PUSH1 0x04
000018bb: ADD
000018bc: PUSH2 0x0953
000018bf: SWAP1
000018c0: PUSH2 0x2da0
000018c3: JUMP
000018c4: JUMPDEST
000018c5: PUSH1 0x01
000018c7: PUSH1 0x01
000018c9: PUSH1 0xa0
000018cb: SHL
000018cc: SUB
000018cd: DUP2
000018ce: AND
000018cf: PUSH2 0x1929
000018d2: JUMPI
000018d3: PUSH1 0x40
000018d5: MLOAD
000018d6: PUSH3 0x461bcd
000018da: PUSH1 0xe5
000018dc: SHL
000018dd: DUP2
000018de: MSTORE
000018df: PUSH1 0x20
000018e1: PUSH1 0x04
000018e3: DUP3
000018e4: ADD
000018e5: MSTORE
000018e6: PUSH1 0x26
000018e8: PUSH1 0x24
000018ea: DUP3
000018eb: ADD
000018ec: MSTORE
000018ed: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
0000190e: PUSH1 0x44
00001910: DUP3
00001911: ADD
00001912: MSTORE
00001913: PUSH6 0x646472657373
0000191a: PUSH1 0xd0
0000191c: SHL
0000191d: PUSH1 0x64
0000191f: DUP3
00001920: ADD
00001921: MSTORE
00001922: PUSH1 0x84
00001924: ADD
00001925: PUSH2 0x0953
00001928: JUMP
00001929: JUMPDEST
0000192a: PUSH1 0x00
0000192c: DUP1
0000192d: SLOAD
0000192e: PUSH1 0x40
00001930: MLOAD
00001931: PUSH1 0x01
00001933: PUSH1 0x01
00001935: PUSH1 0xa0
00001937: SHL
00001938: SUB
00001939: DUP1
0000193a: DUP6
0000193b: AND
0000193c: SWAP4
0000193d: SWAP3
0000193e: AND
0000193f: SWAP2
00001940: PUSH1 0x00
00001942: DUP1
00001943: MLOAD
00001944: PUSH1 0x20
00001946: PUSH2 0x2ff8
00001949: DUP4
0000194a: CODECOPY
0000194b: DUP2
0000194c: MLOAD
0000194d: SWAP2
0000194e: MSTORE
0000194f: SWAP2
00001950: LOG3
00001951: PUSH1 0x00
00001953: DUP1
00001954: SLOAD
00001955: PUSH1 0x01
00001957: PUSH1 0x01
00001959: PUSH1 0xa0
0000195b: SHL
0000195c: SUB
0000195d: NOT
0000195e: AND
0000195f: PUSH1 0x01
00001961: PUSH1 0x01
00001963: PUSH1 0xa0
00001965: SHL
00001966: SUB
00001967: SWAP3
00001968: SWAP1
00001969: SWAP3
0000196a: AND
0000196b: SWAP2
0000196c: SWAP1
0000196d: SWAP2
0000196e: OR
0000196f: SWAP1
00001970: SSTORE
00001971: JUMP
00001972: JUMPDEST
00001973: PUSH1 0x01
00001975: PUSH1 0x01
00001977: PUSH1 0xa0
00001979: SHL
0000197a: SUB
0000197b: DUP4
0000197c: AND
0000197d: PUSH2 0x19d4
00001980: JUMPI
00001981: PUSH1 0x40
00001983: MLOAD
00001984: PUSH3 0x461bcd
00001988: PUSH1 0xe5
0000198a: SHL
0000198b: DUP2
0000198c: MSTORE
0000198d: PUSH1 0x20
0000198f: PUSH1 0x04
00001991: DUP3
00001992: ADD
00001993: MSTORE
00001994: PUSH1 0x24
00001996: DUP1
00001997: DUP3
00001998: ADD
00001999: MSTORE
0000199a: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464
000019bb: PUSH1 0x44
000019bd: DUP3
000019be: ADD
000019bf: MSTORE
000019c0: PUSH4 0x72657373
000019c5: PUSH1 0xe0
000019c7: SHL
000019c8: PUSH1 0x64
000019ca: DUP3
000019cb: ADD
000019cc: MSTORE
000019cd: PUSH1 0x84
000019cf: ADD
000019d0: PUSH2 0x0953
000019d3: JUMP
000019d4: JUMPDEST
000019d5: PUSH1 0x01
000019d7: PUSH1 0x01
000019d9: PUSH1 0xa0
000019db: SHL
000019dc: SUB
000019dd: DUP3
000019de: AND
000019df: PUSH2 0x1a35
000019e2: JUMPI
000019e3: PUSH1 0x40
000019e5: MLOAD
000019e6: PUSH3 0x461bcd
000019ea: PUSH1 0xe5
000019ec: SHL
000019ed: DUP2
000019ee: MSTORE
000019ef: PUSH1 0x20
000019f1: PUSH1 0x04
000019f3: DUP3
000019f4: ADD
000019f5: MSTORE
000019f6: PUSH1 0x22
000019f8: PUSH1 0x24
000019fa: DUP3
000019fb: ADD
000019fc: MSTORE
000019fd: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265
00001a1e: PUSH1 0x44
00001a20: DUP3
00001a21: ADD
00001a22: MSTORE
00001a23: PUSH2 0x7373
00001a26: PUSH1 0xf0
00001a28: SHL
00001a29: PUSH1 0x64
00001a2b: DUP3
00001a2c: ADD
00001a2d: MSTORE
00001a2e: PUSH1 0x84
00001a30: ADD
00001a31: PUSH2 0x0953
00001a34: JUMP
00001a35: JUMPDEST
00001a36: PUSH1 0x01
00001a38: PUSH1 0x01
00001a3a: PUSH1 0xa0
00001a3c: SHL
00001a3d: SUB
00001a3e: DUP4
00001a3f: DUP2
00001a40: AND
00001a41: PUSH1 0x00
00001a43: DUP2
00001a44: DUP2
00001a45: MSTORE
00001a46: PUSH1 0x05
00001a48: PUSH1 0x20
00001a4a: SWAP1
00001a4b: DUP2
00001a4c: MSTORE
00001a4d: PUSH1 0x40
00001a4f: DUP1
00001a50: DUP4
00001a51: KECCAK256
00001a52: SWAP5
00001a53: DUP8
00001a54: AND
00001a55: DUP1
00001a56: DUP5
00001a57: MSTORE
00001a58: SWAP5
00001a59: DUP3
00001a5a: MSTORE
00001a5b: SWAP2
00001a5c: DUP3
00001a5d: SWAP1
00001a5e: KECCAK256
00001a5f: DUP6
00001a60: SWAP1
00001a61: SSTORE
00001a62: SWAP1
00001a63: MLOAD
00001a64: DUP5
00001a65: DUP2
00001a66: MSTORE
00001a67: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00001a88: SWAP2
00001a89: ADD
00001a8a: PUSH1 0x40
00001a8c: MLOAD
00001a8d: DUP1
00001a8e: SWAP2
00001a8f: SUB
00001a90: SWAP1
00001a91: LOG3
00001a92: POP
00001a93: POP
00001a94: POP
00001a95: JUMP
00001a96: JUMPDEST
00001a97: PUSH1 0x01
00001a99: PUSH1 0x01
00001a9b: PUSH1 0xa0
00001a9d: SHL
00001a9e: SUB
00001a9f: DUP4
00001aa0: AND
00001aa1: PUSH2 0x1afa
00001aa4: JUMPI
00001aa5: PUSH1 0x40
00001aa7: MLOAD
00001aa8: PUSH3 0x461bcd
00001aac: PUSH1 0xe5
00001aae: SHL
00001aaf: DUP2
00001ab0: MSTORE
00001ab1: PUSH1 0x20
00001ab3: PUSH1 0x04
00001ab5: DUP3
00001ab6: ADD
00001ab7: MSTORE
00001ab8: PUSH1 0x25
00001aba: PUSH1 0x24
00001abc: DUP3
00001abd: ADD
00001abe: MSTORE
00001abf: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164
00001ae0: PUSH1 0x44
00001ae2: DUP3
00001ae3: ADD
00001ae4: MSTORE
00001ae5: PUSH5 0x6472657373
00001aeb: PUSH1 0xd8
00001aed: SHL
00001aee: PUSH1 0x64
00001af0: DUP3
00001af1: ADD
00001af2: MSTORE
00001af3: PUSH1 0x84
00001af5: ADD
00001af6: PUSH2 0x0953
00001af9: JUMP
00001afa: JUMPDEST
00001afb: PUSH1 0x01
00001afd: PUSH1 0x01
00001aff: PUSH1 0xa0
00001b01: SHL
00001b02: SUB
00001b03: DUP3
00001b04: AND
00001b05: PUSH2 0x1b5c
00001b08: JUMPI
00001b09: PUSH1 0x40
00001b0b: MLOAD
00001b0c: PUSH3 0x461bcd
00001b10: PUSH1 0xe5
00001b12: SHL
00001b13: DUP2
00001b14: MSTORE
00001b15: PUSH1 0x20
00001b17: PUSH1 0x04
00001b19: DUP3
00001b1a: ADD
00001b1b: MSTORE
00001b1c: PUSH1 0x23
00001b1e: PUSH1 0x24
00001b20: DUP3
00001b21: ADD
00001b22: MSTORE
00001b23: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472
00001b44: PUSH1 0x44
00001b46: DUP3
00001b47: ADD
00001b48: MSTORE
00001b49: PUSH3 0x657373
00001b4d: PUSH1 0xe8
00001b4f: SHL
00001b50: PUSH1 0x64
00001b52: DUP3
00001b53: ADD
00001b54: MSTORE
00001b55: PUSH1 0x84
00001b57: ADD
00001b58: PUSH2 0x0953
00001b5b: JUMP
00001b5c: JUMPDEST
00001b5d: PUSH1 0x00
00001b5f: DUP2
00001b60: GT
00001b61: PUSH2 0x1bbe
00001b64: JUMPI
00001b65: PUSH1 0x40
00001b67: MLOAD
00001b68: PUSH3 0x461bcd
00001b6c: PUSH1 0xe5
00001b6e: SHL
00001b6f: DUP2
00001b70: MSTORE
00001b71: PUSH1 0x20
00001b73: PUSH1 0x04
00001b75: DUP3
00001b76: ADD
00001b77: MSTORE
00001b78: PUSH1 0x29
00001b7a: PUSH1 0x24
00001b7c: DUP3
00001b7d: ADD
00001b7e: MSTORE
00001b7f: PUSH32 0x5472616e7366657220616d6f756e74206d757374206265206772656174657220
00001ba0: PUSH1 0x44
00001ba2: DUP3
00001ba3: ADD
00001ba4: MSTORE
00001ba5: PUSH9 0x7468616e207a65726f
00001baf: PUSH1 0xb8
00001bb1: SHL
00001bb2: PUSH1 0x64
00001bb4: DUP3
00001bb5: ADD
00001bb6: MSTORE
00001bb7: PUSH1 0x84
00001bb9: ADD
00001bba: PUSH2 0x0953
00001bbd: JUMP
00001bbe: JUMPDEST
00001bbf: PUSH1 0x00
00001bc1: SLOAD
00001bc2: PUSH1 0x01
00001bc4: PUSH1 0x01
00001bc6: PUSH1 0xa0
00001bc8: SHL
00001bc9: SUB
00001bca: DUP5
00001bcb: DUP2
00001bcc: AND
00001bcd: SWAP2
00001bce: AND
00001bcf: EQ
00001bd0: DUP1
00001bd1: ISZERO
00001bd2: SWAP1
00001bd3: PUSH2 0x1bea
00001bd6: JUMPI
00001bd7: POP
00001bd8: PUSH1 0x00
00001bda: SLOAD
00001bdb: PUSH1 0x01
00001bdd: PUSH1 0x01
00001bdf: PUSH1 0xa0
00001be1: SHL
00001be2: SUB
00001be3: DUP4
00001be4: DUP2
00001be5: AND
00001be6: SWAP2
00001be7: AND
00001be8: EQ
00001be9: ISZERO
00001bea: JUMPDEST
00001beb: ISZERO
00001bec: PUSH2 0x1c52
00001bef: JUMPI
00001bf0: PUSH1 0x17
00001bf2: SLOAD
00001bf3: DUP2
00001bf4: GT
00001bf5: ISZERO
00001bf6: PUSH2 0x1c52
00001bf9: JUMPI
00001bfa: PUSH1 0x40
00001bfc: MLOAD
00001bfd: PUSH3 0x461bcd
00001c01: PUSH1 0xe5
00001c03: SHL
00001c04: DUP2
00001c05: MSTORE
00001c06: PUSH1 0x20
00001c08: PUSH1 0x04
00001c0a: DUP3
00001c0b: ADD
00001c0c: MSTORE
00001c0d: PUSH1 0x28
00001c0f: PUSH1 0x24
00001c11: DUP3
00001c12: ADD
00001c13: MSTORE
00001c14: PUSH32 0x5472616e7366657220616d6f756e74206578636565647320746865206d617854
00001c35: PUSH1 0x44
00001c37: DUP3
00001c38: ADD
00001c39: MSTORE
00001c3a: PUSH8 0x3c20b6b7bab73a17
00001c43: PUSH1 0xc1
00001c45: SHL
00001c46: PUSH1 0x64
00001c48: DUP3
00001c49: ADD
00001c4a: MSTORE
00001c4b: PUSH1 0x84
00001c4d: ADD
00001c4e: PUSH2 0x0953
00001c51: JUMP
00001c52: JUMPDEST
00001c53: PUSH1 0x00
00001c55: PUSH2 0x1c5d
00001c58: ADDRESS
00001c59: PUSH2 0x12f4
00001c5c: JUMP
00001c5d: JUMPDEST
00001c5e: SWAP1
00001c5f: POP
00001c60: PUSH1 0x17
00001c62: SLOAD
00001c63: DUP2
00001c64: LT
00001c65: PUSH2 0x1c6d
00001c68: JUMPI
00001c69: POP
00001c6a: PUSH1 0x17
00001c6c: SLOAD
00001c6d: JUMPDEST
00001c6e: PUSH1 0x18
00001c70: SLOAD
00001c71: DUP2
00001c72: LT
00001c73: DUP1
00001c74: ISZERO
00001c75: SWAP1
00001c76: DUP2
00001c77: SWAP1
00001c78: PUSH2 0x1c84
00001c7b: JUMPI
00001c7c: POP
00001c7d: PUSH1 0x16
00001c7f: SLOAD
00001c80: PUSH1 0xff
00001c82: AND
00001c83: ISZERO
00001c84: JUMPDEST
00001c85: DUP1
00001c86: ISZERO
00001c87: PUSH2 0x1cc2
00001c8a: JUMPI
00001c8b: POP
00001c8c: PUSH32 0x000000000000000000000000450e653a0a125a1dc36d3901d3cce2e2287df0c2
00001cad: PUSH1 0x01
00001caf: PUSH1 0x01
00001cb1: PUSH1 0xa0
00001cb3: SHL
00001cb4: SUB
00001cb5: AND
00001cb6: DUP6
00001cb7: PUSH1 0x01
00001cb9: PUSH1 0x01
00001cbb: PUSH1 0xa0
00001cbd: SHL
00001cbe: SUB
00001cbf: AND
00001cc0: EQ
00001cc1: ISZERO
00001cc2: JUMPDEST
00001cc3: DUP1
00001cc4: ISZERO
00001cc5: PUSH2 0x1cd5
00001cc8: JUMPI
00001cc9: POP
00001cca: PUSH1 0x16
00001ccc: SLOAD
00001ccd: PUSH2 0x0100
00001cd0: SWAP1
00001cd1: DIV
00001cd2: PUSH1 0xff
00001cd4: AND
00001cd5: JUMPDEST
00001cd6: ISZERO
00001cd7: PUSH2 0x1ce8
00001cda: JUMPI
00001cdb: PUSH1 0x18
00001cdd: SLOAD
00001cde: SWAP2
00001cdf: POP
00001ce0: PUSH2 0x1ce8
00001ce3: DUP3
00001ce4: PUSH2 0x1f17
00001ce7: JUMP
00001ce8: JUMPDEST
00001ce9: PUSH1 0x01
00001ceb: PUSH1 0x01
00001ced: PUSH1 0xa0
00001cef: SHL
00001cf0: SUB
00001cf1: DUP6
00001cf2: AND
00001cf3: PUSH1 0x00
00001cf5: SWAP1
00001cf6: DUP2
00001cf7: MSTORE
00001cf8: PUSH1 0x06
00001cfa: PUSH1 0x20
00001cfc: MSTORE
00001cfd: PUSH1 0x40
00001cff: SWAP1
00001d00: KECCAK256
00001d01: SLOAD
00001d02: PUSH1 0x01
00001d04: SWAP1
00001d05: PUSH1 0xff
00001d07: AND
00001d08: DUP1
00001d09: PUSH2 0x1d2a
00001d0c: JUMPI
00001d0d: POP
00001d0e: PUSH1 0x01
00001d10: PUSH1 0x01
00001d12: PUSH1 0xa0
00001d14: SHL
00001d15: SUB
00001d16: DUP6
00001d17: AND
00001d18: PUSH1 0x00
00001d1a: SWAP1
00001d1b: DUP2
00001d1c: MSTORE
00001d1d: PUSH1 0x06
00001d1f: PUSH1 0x20
00001d21: MSTORE
00001d22: PUSH1 0x40
00001d24: SWAP1
00001d25: KECCAK256
00001d26: SLOAD
00001d27: PUSH1 0xff
00001d29: AND
00001d2a: JUMPDEST
00001d2b: ISZERO
00001d2c: PUSH2 0x1d33
00001d2f: JUMPI
00001d30: POP
00001d31: PUSH1 0x00
00001d33: JUMPDEST
00001d34: PUSH2 0x1d3f
00001d37: DUP7
00001d38: DUP7
00001d39: DUP7
00001d3a: DUP5
00001d3b: PUSH2 0x2016
00001d3e: JUMP
00001d3f: JUMPDEST
00001d40: POP
00001d41: POP
00001d42: POP
00001d43: POP
00001d44: POP
00001d45: POP
00001d46: JUMP
00001d47: JUMPDEST
00001d48: PUSH1 0x00
00001d4a: DUP2
00001d4b: DUP5
00001d4c: DUP5
00001d4d: GT
00001d4e: ISZERO
00001d4f: PUSH2 0x1d6b
00001d52: JUMPI
00001d53: PUSH1 0x40
00001d55: MLOAD
00001d56: PUSH3 0x461bcd
00001d5a: PUSH1 0xe5
00001d5c: SHL
00001d5d: DUP2
00001d5e: MSTORE
00001d5f: PUSH1 0x04
00001d61: ADD
00001d62: PUSH2 0x0953
00001d65: SWAP2
00001d66: SWAP1
00001d67: PUSH2 0x2b84
00001d6a: JUMP
00001d6b: JUMPDEST
00001d6c: POP
00001d6d: PUSH1 0x00
00001d6f: PUSH2 0x1d78
00001d72: DUP5
00001d73: DUP7
00001d74: PUSH2 0x2e5b
00001d77: JUMP
00001d78: JUMPDEST
00001d79: SWAP6
00001d7a: SWAP5
00001d7b: POP
00001d7c: POP
00001d7d: POP
00001d7e: POP
00001d7f: POP
00001d80: JUMP
00001d81: JUMPDEST
00001d82: PUSH1 0x00
00001d84: DUP1
00001d85: PUSH1 0x00
00001d87: PUSH2 0x1d8e
00001d8a: PUSH2 0x2252
00001d8d: JUMP
00001d8e: JUMPDEST
00001d8f: SWAP1
00001d90: SWAP3
00001d91: POP
00001d92: SWAP1
00001d93: POP
00001d94: PUSH2 0x1d9d
00001d97: DUP3
00001d98: DUP3
00001d99: PUSH2 0x1da4
00001d9c: JUMP
00001d9d: JUMPDEST
00001d9e: SWAP3
00001d9f: POP
00001da0: POP
00001da1: POP
00001da2: SWAP1
00001da3: JUMP
00001da4: JUMPDEST
00001da5: PUSH1 0x00
00001da7: PUSH2 0x0c08
00001daa: DUP4
00001dab: DUP4
00001dac: PUSH1 0x40
00001dae: MLOAD
00001daf: DUP1
00001db0: PUSH1 0x40
00001db2: ADD
00001db3: PUSH1 0x40
00001db5: MSTORE
00001db6: DUP1
00001db7: PUSH1 0x1a
00001db9: DUP2
00001dba: MSTORE
00001dbb: PUSH1 0x20
00001dbd: ADD
00001dbe: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
00001ddf: DUP2
00001de0: MSTORE
00001de1: POP
00001de2: PUSH2 0x23d4
00001de5: JUMP
00001de6: JUMPDEST
00001de7: PUSH1 0x00
00001de9: DUP1
00001dea: PUSH2 0x1df3
00001ded: DUP4
00001dee: DUP6
00001def: PUSH2 0x2ed9
00001df2: JUMP
00001df3: JUMPDEST
00001df4: SWAP1
00001df5: POP
00001df6: DUP4
00001df7: DUP2
00001df8: LT
00001df9: ISZERO
00001dfa: PUSH2 0x0c08
00001dfd: JUMPI
00001dfe: PUSH1 0x40
00001e00: MLOAD
00001e01: PUSH3 0x461bcd
00001e05: PUSH1 0xe5
00001e07: SHL
00001e08: DUP2
00001e09: MSTORE
00001e0a: PUSH1 0x20
00001e0c: PUSH1 0x04
00001e0e: DUP3
00001e0f: ADD
00001e10: MSTORE
00001e11: PUSH1 0x1b
00001e13: PUSH1 0x24
00001e15: DUP3
00001e16: ADD
00001e17: MSTORE
00001e18: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00001e39: PUSH1 0x44
00001e3b: DUP3
00001e3c: ADD
00001e3d: MSTORE
00001e3e: PUSH1 0x64
00001e40: ADD
00001e41: PUSH2 0x0953
00001e44: JUMP
00001e45: JUMPDEST
00001e46: PUSH1 0x00
00001e48: DUP1
00001e49: PUSH1 0x00
00001e4b: DUP1
00001e4c: PUSH1 0x00
00001e4e: DUP1
00001e4f: PUSH1 0x00
00001e51: DUP1
00001e52: PUSH1 0x00
00001e54: PUSH2 0x1e5c
00001e57: DUP11
00001e58: PUSH2 0x2402
00001e5b: JUMP
00001e5c: JUMPDEST
00001e5d: SWAP3
00001e5e: POP
00001e5f: SWAP3
00001e60: POP
00001e61: SWAP3
00001e62: POP
00001e63: PUSH1 0x00
00001e65: DUP1
00001e66: PUSH1 0x00
00001e68: PUSH2 0x1e7a
00001e6b: DUP14
00001e6c: DUP7
00001e6d: DUP7
00001e6e: PUSH2 0x1e75
00001e71: PUSH2 0x1d81
00001e74: JUMP
00001e75: JUMPDEST
00001e76: PUSH2 0x2444
00001e79: JUMP
00001e7a: JUMPDEST
00001e7b: SWAP2
00001e7c: SWAP16
00001e7d: SWAP1
00001e7e: SWAP15
00001e7f: POP
00001e80: SWAP1
00001e81: SWAP13
00001e82: POP
00001e83: SWAP6
00001e84: SWAP11
00001e85: POP
00001e86: SWAP4
00001e87: SWAP9
00001e88: POP
00001e89: SWAP2
00001e8a: SWAP7
00001e8b: POP
00001e8c: SWAP3
00001e8d: SWAP5
00001e8e: POP
00001e8f: POP
00001e90: POP
00001e91: POP
00001e92: POP
00001e93: JUMP
00001e94: JUMPDEST
00001e95: PUSH1 0x00
00001e97: PUSH2 0x0c08
00001e9a: DUP4
00001e9b: DUP4
00001e9c: PUSH1 0x40
00001e9e: MLOAD
00001e9f: DUP1
00001ea0: PUSH1 0x40
00001ea2: ADD
00001ea3: PUSH1 0x40
00001ea5: MSTORE
00001ea6: DUP1
00001ea7: PUSH1 0x1e
00001ea9: DUP2
00001eaa: MSTORE
00001eab: PUSH1 0x20
00001ead: ADD
00001eae: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
00001ecf: DUP2
00001ed0: MSTORE
00001ed1: POP
00001ed2: PUSH2 0x1d47
00001ed5: JUMP
00001ed6: JUMPDEST
00001ed7: PUSH1 0x12
00001ed9: SLOAD
00001eda: ISZERO
00001edb: DUP1
00001edc: ISZERO
00001edd: PUSH2 0x1ee6
00001ee0: JUMPI
00001ee1: POP
00001ee2: PUSH1 0x14
00001ee4: SLOAD
00001ee5: ISZERO
00001ee6: JUMPDEST
00001ee7: ISZERO
00001ee8: PUSH2 0x1eed
00001eeb: JUMPI
00001eec: JUMP
00001eed: JUMPDEST
00001eee: PUSH1 0x12
00001ef0: DUP1
00001ef1: SLOAD
00001ef2: PUSH1 0x13
00001ef4: SSTORE
00001ef5: PUSH1 0x14
00001ef7: DUP1
00001ef8: SLOAD
00001ef9: PUSH1 0x15
00001efb: SSTORE
00001efc: PUSH1 0x00
00001efe: SWAP2
00001eff: DUP3
00001f00: SWAP1
00001f01: SSTORE
00001f02: SSTORE
00001f03: JUMP
00001f04: JUMPDEST
00001f05: PUSH2 0x1f0c
00001f08: PUSH2 0x1ed6
00001f0b: JUMP
00001f0c: JUMPDEST
00001f0d: PUSH2 0x145e
00001f10: CALLER
00001f11: DUP4
00001f12: DUP4
00001f13: PUSH2 0x1a96
00001f16: JUMP
00001f17: JUMPDEST
00001f18: PUSH1 0x16
00001f1a: DUP1
00001f1b: SLOAD
00001f1c: PUSH1 0xff
00001f1e: NOT
00001f1f: AND
00001f20: PUSH1 0x01
00001f22: OR
00001f23: SWAP1
00001f24: SSTORE
00001f25: PUSH1 0x00
00001f27: PUSH2 0x1f31
00001f2a: DUP3
00001f2b: PUSH1 0x02
00001f2d: PUSH2 0x1da4
00001f30: JUMP
00001f31: JUMPDEST
00001f32: SWAP1
00001f33: POP
00001f34: PUSH1 0x00
00001f36: PUSH2 0x1f3f
00001f39: DUP4
00001f3a: DUP4
00001f3b: PUSH2 0x1e94
00001f3e: JUMP
00001f3f: JUMPDEST
00001f40: SWAP1
00001f41: POP
00001f42: SELFBALANCE
00001f43: PUSH2 0x1f4b
00001f46: DUP4
00001f47: PUSH2 0x2494
00001f4a: JUMP
00001f4b: JUMPDEST
00001f4c: PUSH1 0x00
00001f4e: PUSH2 0x1f57
00001f51: SELFBALANCE
00001f52: DUP4
00001f53: PUSH2 0x1e94
00001f56: JUMP
00001f57: JUMPDEST
00001f58: SWAP1
00001f59: POP
00001f5a: PUSH1 0x00
00001f5c: PUSH2 0x1f71
00001f5f: PUSH1 0x64
00001f61: PUSH2 0x1f6b
00001f64: DUP5
00001f65: PUSH1 0x4b
00001f67: PUSH2 0x265b
00001f6a: JUMP
00001f6b: JUMPDEST
00001f6c: SWAP1
00001f6d: PUSH2 0x1da4
00001f70: JUMP
00001f71: JUMPDEST
00001f72: PUSH1 0x0e
00001f74: SLOAD
00001f75: PUSH1 0x40
00001f77: MLOAD
00001f78: SWAP2
00001f79: SWAP3
00001f7a: POP
00001f7b: PUSH1 0x01
00001f7d: PUSH1 0x01
00001f7f: PUSH1 0xa0
00001f81: SHL
00001f82: SUB
00001f83: AND
00001f84: SWAP1
00001f85: DUP3
00001f86: ISZERO
00001f87: PUSH2 0x08fc
00001f8a: MUL
00001f8b: SWAP1
00001f8c: DUP4
00001f8d: SWAP1
00001f8e: PUSH1 0x00
00001f90: DUP2
00001f91: DUP2
00001f92: DUP2
00001f93: DUP6
00001f94: DUP9
00001f95: DUP9
00001f96: CALL
00001f97: SWAP4
00001f98: POP
00001f99: POP
00001f9a: POP
00001f9b: POP
00001f9c: ISZERO
00001f9d: DUP1
00001f9e: ISZERO
00001f9f: PUSH2 0x1fac
00001fa2: JUMPI
00001fa3: RETURNDATASIZE
00001fa4: PUSH1 0x00
00001fa6: DUP1
00001fa7: RETURNDATACOPY
00001fa8: RETURNDATASIZE
00001fa9: PUSH1 0x00
00001fab: REVERT
00001fac: JUMPDEST
00001fad: POP
00001fae: PUSH2 0x1fb7
00001fb1: DUP2
00001fb2: DUP4
00001fb3: PUSH2 0x2e5b
00001fb6: JUMP
00001fb7: JUMPDEST
00001fb8: SWAP2
00001fb9: POP
00001fba: PUSH2 0x1fc3
00001fbd: DUP5
00001fbe: DUP4
00001fbf: PUSH2 0x26da
00001fc2: JUMP
00001fc3: JUMPDEST
00001fc4: PUSH1 0x40
00001fc6: DUP1
00001fc7: MLOAD
00001fc8: DUP7
00001fc9: DUP2
00001fca: MSTORE
00001fcb: PUSH1 0x20
00001fcd: DUP2
00001fce: ADD
00001fcf: DUP5
00001fd0: SWAP1
00001fd1: MSTORE
00001fd2: SWAP1
00001fd3: DUP2
00001fd4: ADD
00001fd5: DUP6
00001fd6: SWAP1
00001fd7: MSTORE
00001fd8: PUSH32 0x17bbfb9a6069321b6ded73bd96327c9e6b7212a5cd51ff219cd61370acafb561
00001ff9: SWAP1
00001ffa: PUSH1 0x60
00001ffc: ADD
00001ffd: PUSH1 0x40
00001fff: MLOAD
00002000: DUP1
00002001: SWAP2
00002002: SUB
00002003: SWAP1
00002004: LOG1
00002005: POP
00002006: POP
00002007: PUSH1 0x16
00002009: DUP1
0000200a: SLOAD
0000200b: PUSH1 0xff
0000200d: NOT
0000200e: AND
0000200f: SWAP1
00002010: SSTORE
00002011: POP
00002012: POP
00002013: POP
00002014: POP
00002015: JUMP
00002016: JUMPDEST
00002017: PUSH1 0x0a
00002019: SLOAD
0000201a: PUSH2 0x0100
0000201d: SWAP1
0000201e: DIV
0000201f: PUSH1 0xff
00002021: AND
00002022: PUSH2 0x203f
00002025: JUMPI
00002026: PUSH1 0x00
00002028: SLOAD
00002029: PUSH1 0x01
0000202b: PUSH1 0x01
0000202d: PUSH1 0xa0
0000202f: SHL
00002030: SUB
00002031: DUP6
00002032: DUP2
00002033: AND
00002034: SWAP2
00002035: AND
00002036: EQ
00002037: PUSH2 0x203f
0000203a: JUMPI
0000203b: PUSH1 0x00
0000203d: DUP1
0000203e: REVERT
0000203f: JUMPDEST
00002040: PUSH1 0x01
00002042: PUSH1 0x01
00002044: PUSH1 0xa0
00002046: SHL
00002047: SUB
00002048: DUP5
00002049: AND
0000204a: PUSH1 0x00
0000204c: SWAP1
0000204d: DUP2
0000204e: MSTORE
0000204f: PUSH1 0x09
00002051: PUSH1 0x20
00002053: MSTORE
00002054: PUSH1 0x40
00002056: SWAP1
00002057: KECCAK256
00002058: SLOAD
00002059: PUSH1 0xff
0000205b: AND
0000205c: DUP1
0000205d: PUSH2 0x207e
00002060: JUMPI
00002061: POP
00002062: PUSH1 0x01
00002064: PUSH1 0x01
00002066: PUSH1 0xa0
00002068: SHL
00002069: SUB
0000206a: DUP4
0000206b: AND
0000206c: PUSH1 0x00
0000206e: SWAP1
0000206f: DUP2
00002070: MSTORE
00002071: PUSH1 0x09
00002073: PUSH1 0x20
00002075: MSTORE
00002076: PUSH1 0x40
00002078: SWAP1
00002079: KECCAK256
0000207a: SLOAD
0000207b: PUSH1 0xff
0000207d: AND
0000207e: JUMPDEST
0000207f: ISZERO
00002080: PUSH2 0x20d5
00002083: JUMPI
00002084: PUSH1 0x0a
00002086: SLOAD
00002087: PUSH1 0xff
00002089: AND
0000208a: PUSH2 0x20d5
0000208d: JUMPI
0000208e: PUSH1 0x40
00002090: MLOAD
00002091: PUSH3 0x461bcd
00002095: PUSH1 0xe5
00002097: SHL
00002098: DUP2
00002099: MSTORE
0000209a: PUSH1 0x20
0000209c: PUSH1 0x04
0000209e: DUP3
0000209f: ADD
000020a0: MSTORE
000020a1: PUSH1 0x1b
000020a3: PUSH1 0x24
000020a5: DUP3
000020a6: ADD
000020a7: MSTORE
000020a8: PUSH32 0x626f7473206172656e7420616c6c6f77656420746f2074726164650000000000
000020c9: PUSH1 0x44
000020cb: DUP3
000020cc: ADD
000020cd: MSTORE
000020ce: PUSH1 0x64
000020d0: ADD
000020d1: PUSH2 0x0953
000020d4: JUMP
000020d5: JUMPDEST
000020d6: DUP1
000020d7: PUSH2 0x20e2
000020da: JUMPI
000020db: PUSH2 0x20e2
000020de: PUSH2 0x1ed6
000020e1: JUMP
000020e2: JUMPDEST
000020e3: PUSH1 0x01
000020e5: PUSH1 0x01
000020e7: PUSH1 0xa0
000020e9: SHL
000020ea: SUB
000020eb: DUP5
000020ec: AND
000020ed: PUSH1 0x00
000020ef: SWAP1
000020f0: DUP2
000020f1: MSTORE
000020f2: PUSH1 0x07
000020f4: PUSH1 0x20
000020f6: MSTORE
000020f7: PUSH1 0x40
000020f9: SWAP1
000020fa: KECCAK256
000020fb: SLOAD
000020fc: PUSH1 0xff
000020fe: AND
000020ff: DUP1
00002100: ISZERO
00002101: PUSH2 0x2123
00002104: JUMPI
00002105: POP
00002106: PUSH1 0x01
00002108: PUSH1 0x01
0000210a: PUSH1 0xa0
0000210c: SHL
0000210d: SUB
0000210e: DUP4
0000210f: AND
00002110: PUSH1 0x00
00002112: SWAP1
00002113: DUP2
00002114: MSTORE
00002115: PUSH1 0x07
00002117: PUSH1 0x20
00002119: MSTORE
0000211a: PUSH1 0x40
0000211c: SWAP1
0000211d: KECCAK256
0000211e: SLOAD
0000211f: PUSH1 0xff
00002121: AND
00002122: ISZERO
00002123: JUMPDEST
00002124: ISZERO
00002125: PUSH2 0x2138
00002128: JUMPI
00002129: PUSH2 0x2133
0000212c: DUP5
0000212d: DUP5
0000212e: DUP5
0000212f: PUSH2 0x27e8
00002132: JUMP
00002133: JUMPDEST
00002134: PUSH2 0x2236
00002137: JUMP
00002138: JUMPDEST
00002139: PUSH1 0x01
0000213b: PUSH1 0x01
0000213d: PUSH1 0xa0
0000213f: SHL
00002140: SUB
00002141: DUP5
00002142: AND
00002143: PUSH1 0x00
00002145: SWAP1
00002146: DUP2
00002147: MSTORE
00002148: PUSH1 0x07
0000214a: PUSH1 0x20
0000214c: MSTORE
0000214d: PUSH1 0x40
0000214f: SWAP1
00002150: KECCAK256
00002151: SLOAD
00002152: PUSH1 0xff
00002154: AND
00002155: ISZERO
00002156: DUP1
00002157: ISZERO
00002158: PUSH2 0x2179
0000215b: JUMPI
0000215c: POP
0000215d: PUSH1 0x01
0000215f: PUSH1 0x01
00002161: PUSH1 0xa0
00002163: SHL
00002164: SUB
00002165: DUP4
00002166: AND
00002167: PUSH1 0x00
00002169: SWAP1
0000216a: DUP2
0000216b: MSTORE
0000216c: PUSH1 0x07
0000216e: PUSH1 0x20
00002170: MSTORE
00002171: PUSH1 0x40
00002173: SWAP1
00002174: KECCAK256
00002175: SLOAD
00002176: PUSH1 0xff
00002178: AND
00002179: JUMPDEST
0000217a: ISZERO
0000217b: PUSH2 0x2189
0000217e: JUMPI
0000217f: PUSH2 0x2133
00002182: DUP5
00002183: DUP5
00002184: DUP5
00002185: PUSH2 0x290e
00002188: JUMP
00002189: JUMPDEST
0000218a: PUSH1 0x01
0000218c: PUSH1 0x01
0000218e: PUSH1 0xa0
00002190: SHL
00002191: SUB
00002192: DUP5
00002193: AND
00002194: PUSH1 0x00
00002196: SWAP1
00002197: DUP2
00002198: MSTORE
00002199: PUSH1 0x07
0000219b: PUSH1 0x20
0000219d: MSTORE
0000219e: PUSH1 0x40
000021a0: SWAP1
000021a1: KECCAK256
000021a2: SLOAD
000021a3: PUSH1 0xff
000021a5: AND
000021a6: ISZERO
000021a7: DUP1
000021a8: ISZERO
000021a9: PUSH2 0x21cb
000021ac: JUMPI
000021ad: POP
000021ae: PUSH1 0x01
000021b0: PUSH1 0x01
000021b2: PUSH1 0xa0
000021b4: SHL
000021b5: SUB
000021b6: DUP4
000021b7: AND
000021b8: PUSH1 0x00
000021ba: SWAP1
000021bb: DUP2
000021bc: MSTORE
000021bd: PUSH1 0x07
000021bf: PUSH1 0x20
000021c1: MSTORE
000021c2: PUSH1 0x40
000021c4: SWAP1
000021c5: KECCAK256
000021c6: SLOAD
000021c7: PUSH1 0xff
000021c9: AND
000021ca: ISZERO
000021cb: JUMPDEST
000021cc: ISZERO
000021cd: PUSH2 0x21db
000021d0: JUMPI
000021d1: PUSH2 0x2133
000021d4: DUP5
000021d5: DUP5
000021d6: DUP5
000021d7: PUSH2 0x29b7
000021da: JUMP
000021db: JUMPDEST
000021dc: PUSH1 0x01
000021de: PUSH1 0x01
000021e0: PUSH1 0xa0
000021e2: SHL
000021e3: SUB
000021e4: DUP5
000021e5: AND
000021e6: PUSH1 0x00
000021e8: SWAP1
000021e9: DUP2
000021ea: MSTORE
000021eb: PUSH1 0x07
000021ed: PUSH1 0x20
000021ef: MSTORE
000021f0: PUSH1 0x40
000021f2: SWAP1
000021f3: KECCAK256
000021f4: SLOAD
000021f5: PUSH1 0xff
000021f7: AND
000021f8: DUP1
000021f9: ISZERO
000021fa: PUSH2 0x221b
000021fd: JUMPI
000021fe: POP
000021ff: PUSH1 0x01
00002201: PUSH1 0x01
00002203: PUSH1 0xa0
00002205: SHL
00002206: SUB
00002207: DUP4
00002208: AND
00002209: PUSH1 0x00
0000220b: SWAP1
0000220c: DUP2
0000220d: MSTORE
0000220e: PUSH1 0x07
00002210: PUSH1 0x20
00002212: MSTORE
00002213: PUSH1 0x40
00002215: SWAP1
00002216: KECCAK256
00002217: SLOAD
00002218: PUSH1 0xff
0000221a: AND
0000221b: JUMPDEST
0000221c: ISZERO
0000221d: PUSH2 0x222b
00002220: JUMPI
00002221: PUSH2 0x2133
00002224: DUP5
00002225: DUP5
00002226: DUP5
00002227: PUSH2 0x29fb
0000222a: JUMP
0000222b: JUMPDEST
0000222c: PUSH2 0x2236
0000222f: DUP5
00002230: DUP5
00002231: DUP5
00002232: PUSH2 0x29b7
00002235: JUMP
00002236: JUMPDEST
00002237: DUP1
00002238: PUSH2 0x224c
0000223b: JUMPI
0000223c: PUSH2 0x224c
0000223f: PUSH1 0x13
00002241: SLOAD
00002242: PUSH1 0x12
00002244: SSTORE
00002245: PUSH1 0x15
00002247: SLOAD
00002248: PUSH1 0x14
0000224a: SSTORE
0000224b: JUMP
0000224c: JUMPDEST
0000224d: POP
0000224e: POP
0000224f: POP
00002250: POP
00002251: JUMP
00002252: JUMPDEST
00002253: PUSH1 0x0c
00002255: SLOAD
00002256: PUSH1 0x0b
00002258: SLOAD
00002259: PUSH1 0x00
0000225b: SWAP2
0000225c: DUP3
0000225d: SWAP2
0000225e: DUP3
0000225f: JUMPDEST
00002260: PUSH1 0x08
00002262: SLOAD
00002263: DUP2
00002264: LT
00002265: ISZERO
00002266: PUSH2 0x23a4
00002269: JUMPI
0000226a: DUP3
0000226b: PUSH1 0x03
0000226d: PUSH1 0x00
0000226f: PUSH1 0x08
00002271: DUP5
00002272: DUP2
00002273: SLOAD
00002274: DUP2
00002275: LT
00002276: PUSH2 0x2281
00002279: JUMPI
0000227a: PUSH2 0x2281
0000227d: PUSH2 0x2e45
00002280: JUMP
00002281: JUMPDEST
00002282: PUSH1 0x00
00002284: SWAP2
00002285: DUP3
00002286: MSTORE
00002287: PUSH1 0x20
00002289: DUP1
0000228a: DUP4
0000228b: KECCAK256
0000228c: SWAP1
0000228d: SWAP2
0000228e: ADD
0000228f: SLOAD
00002290: PUSH1 0x01
00002292: PUSH1 0x01
00002294: PUSH1 0xa0
00002296: SHL
00002297: SUB
00002298: AND
00002299: DUP4
0000229a: MSTORE
0000229b: DUP3
0000229c: ADD
0000229d: SWAP3
0000229e: SWAP1
0000229f: SWAP3
000022a0: MSTORE
000022a1: PUSH1 0x40
000022a3: ADD
000022a4: SWAP1
000022a5: KECCAK256
000022a6: SLOAD
000022a7: GT
000022a8: DUP1
000022a9: PUSH2 0x22ec
000022ac: JUMPI
000022ad: POP
000022ae: DUP2
000022af: PUSH1 0x04
000022b1: PUSH1 0x00
000022b3: PUSH1 0x08
000022b5: DUP5
000022b6: DUP2
000022b7: SLOAD
000022b8: DUP2
000022b9: LT
000022ba: PUSH2 0x22c5
000022bd: JUMPI
000022be: PUSH2 0x22c5
000022c1: PUSH2 0x2e45
000022c4: JUMP
000022c5: JUMPDEST
000022c6: PUSH1 0x00
000022c8: SWAP2
000022c9: DUP3
000022ca: MSTORE
000022cb: PUSH1 0x20
000022cd: DUP1
000022ce: DUP4
000022cf: KECCAK256
000022d0: SWAP1
000022d1: SWAP2
000022d2: ADD
000022d3: SLOAD
000022d4: PUSH1 0x01
000022d6: PUSH1 0x01
000022d8: PUSH1 0xa0
000022da: SHL
000022db: SUB
000022dc: AND
000022dd: DUP4
000022de: MSTORE
000022df: DUP3
000022e0: ADD
000022e1: SWAP3
000022e2: SWAP1
000022e3: SWAP3
000022e4: MSTORE
000022e5: PUSH1 0x40
000022e7: ADD
000022e8: SWAP1
000022e9: KECCAK256
000022ea: SLOAD
000022eb: GT
000022ec: JUMPDEST
000022ed: ISZERO
000022ee: PUSH2 0x2302
000022f1: JUMPI
000022f2: PUSH1 0x0c
000022f4: SLOAD
000022f5: PUSH1 0x0b
000022f7: SLOAD
000022f8: SWAP5
000022f9: POP
000022fa: SWAP5
000022fb: POP
000022fc: POP
000022fd: POP
000022fe: POP
000022ff: SWAP1
00002300: SWAP2
00002301: JUMP
00002302: JUMPDEST
00002303: PUSH2 0x2348
00002306: PUSH1 0x03
00002308: PUSH1 0x00
0000230a: PUSH1 0x08
0000230c: DUP5
0000230d: DUP2
0000230e: SLOAD
0000230f: DUP2
00002310: LT
00002311: PUSH2 0x231c
00002314: JUMPI
00002315: PUSH2 0x231c
00002318: PUSH2 0x2e45
0000231b: JUMP
0000231c: JUMPDEST
0000231d: PUSH1 0x00
0000231f: SWAP2
00002320: DUP3
00002321: MSTORE
00002322: PUSH1 0x20
00002324: DUP1
00002325: DUP4
00002326: KECCAK256
00002327: SWAP1
00002328: SWAP2
00002329: ADD
0000232a: SLOAD
0000232b: PUSH1 0x01
0000232d: PUSH1 0x01
0000232f: PUSH1 0xa0
00002331: SHL
00002332: SUB
00002333: AND
00002334: DUP4
00002335: MSTORE
00002336: DUP3
00002337: ADD
00002338: SWAP3
00002339: SWAP1
0000233a: SWAP3
0000233b: MSTORE
0000233c: PUSH1 0x40
0000233e: ADD
0000233f: SWAP1
00002340: KECCAK256
00002341: SLOAD
00002342: DUP5
00002343: SWAP1
00002344: PUSH2 0x1e94
00002347: JUMP
00002348: JUMPDEST
00002349: SWAP3
0000234a: POP
0000234b: PUSH2 0x2390
0000234e: PUSH1 0x04
00002350: PUSH1 0x00
00002352: PUSH1 0x08
00002354: DUP5
00002355: DUP2
00002356: SLOAD
00002357: DUP2
00002358: LT
00002359: PUSH2 0x2364
0000235c: JUMPI
0000235d: PUSH2 0x2364
00002360: PUSH2 0x2e45
00002363: JUMP
00002364: JUMPDEST
00002365: PUSH1 0x00
00002367: SWAP2
00002368: DUP3
00002369: MSTORE
0000236a: PUSH1 0x20
0000236c: DUP1
0000236d: DUP4
0000236e: KECCAK256
0000236f: SWAP1
00002370: SWAP2
00002371: ADD
00002372: SLOAD
00002373: PUSH1 0x01
00002375: PUSH1 0x01
00002377: PUSH1 0xa0
00002379: SHL
0000237a: SUB
0000237b: AND
0000237c: DUP4
0000237d: MSTORE
0000237e: DUP3
0000237f: ADD
00002380: SWAP3
00002381: SWAP1
00002382: SWAP3
00002383: MSTORE
00002384: PUSH1 0x40
00002386: ADD
00002387: SWAP1
00002388: KECCAK256
00002389: SLOAD
0000238a: DUP4
0000238b: SWAP1
0000238c: PUSH2 0x1e94
0000238f: JUMP
00002390: JUMPDEST
00002391: SWAP2
00002392: POP
00002393: DUP1
00002394: PUSH2 0x239c
00002397: DUP2
00002398: PUSH2 0x2e88
0000239b: JUMP
0000239c: JUMPDEST
0000239d: SWAP2
0000239e: POP
0000239f: POP
000023a0: PUSH2 0x225f
000023a3: JUMP
000023a4: JUMPDEST
000023a5: POP
000023a6: PUSH1 0x0b
000023a8: SLOAD
000023a9: PUSH1 0x0c
000023ab: SLOAD
000023ac: PUSH2 0x23b4
000023af: SWAP2
000023b0: PUSH2 0x1da4
000023b3: JUMP
000023b4: JUMPDEST
000023b5: DUP3
000023b6: LT
000023b7: ISZERO
000023b8: PUSH2 0x23cb
000023bb: JUMPI
000023bc: PUSH1 0x0c
000023be: SLOAD
000023bf: PUSH1 0x0b
000023c1: SLOAD
000023c2: SWAP4
000023c3: POP
000023c4: SWAP4
000023c5: POP
000023c6: POP
000023c7: POP
000023c8: SWAP1
000023c9: SWAP2
000023ca: JUMP
000023cb: JUMPDEST
000023cc: SWAP1
000023cd: SWAP4
000023ce: SWAP1
000023cf: SWAP3
000023d0: POP
000023d1: SWAP1
000023d2: POP
000023d3: JUMP
000023d4: JUMPDEST
000023d5: PUSH1 0x00
000023d7: DUP2
000023d8: DUP4
000023d9: PUSH2 0x23f5
000023dc: JUMPI
000023dd: PUSH1 0x40
000023df: MLOAD
000023e0: PUSH3 0x461bcd
000023e4: PUSH1 0xe5
000023e6: SHL
000023e7: DUP2
000023e8: MSTORE
000023e9: PUSH1 0x04
000023eb: ADD
000023ec: PUSH2 0x0953
000023ef: SWAP2
000023f0: SWAP1
000023f1: PUSH2 0x2b84
000023f4: JUMP
000023f5: JUMPDEST
000023f6: POP
000023f7: PUSH1 0x00
000023f9: PUSH2 0x1d78
000023fc: DUP5
000023fd: DUP7
000023fe: PUSH2 0x2ef1
00002401: JUMP
00002402: JUMPDEST
00002403: PUSH1 0x00
00002405: DUP1
00002406: PUSH1 0x00
00002408: DUP1
00002409: PUSH2 0x2411
0000240c: DUP6
0000240d: PUSH2 0x2a6e
00002410: JUMP
00002411: JUMPDEST
00002412: SWAP1
00002413: POP
00002414: PUSH1 0x00
00002416: PUSH2 0x241e
00002419: DUP7
0000241a: PUSH2 0x2a8a
0000241d: JUMP
0000241e: JUMPDEST
0000241f: SWAP1
00002420: POP
00002421: PUSH1 0x00
00002423: PUSH2 0x2436
00002426: DUP3
00002427: PUSH2 0x2430
0000242a: DUP10
0000242b: DUP7
0000242c: PUSH2 0x1e94
0000242f: JUMP
00002430: JUMPDEST
00002431: SWAP1
00002432: PUSH2 0x1e94
00002435: JUMP
00002436: JUMPDEST
00002437: SWAP8
00002438: SWAP3
00002439: SWAP7
0000243a: POP
0000243b: SWAP1
0000243c: SWAP5
0000243d: POP
0000243e: SWAP1
0000243f: SWAP3
00002440: POP
00002441: POP
00002442: POP
00002443: JUMP
00002444: JUMPDEST
00002445: PUSH1 0x00
00002447: DUP1
00002448: DUP1
00002449: DUP1
0000244a: PUSH2 0x2453
0000244d: DUP9
0000244e: DUP7
0000244f: PUSH2 0x265b
00002452: JUMP
00002453: JUMPDEST
00002454: SWAP1
00002455: POP
00002456: PUSH1 0x00
00002458: PUSH2 0x2461
0000245b: DUP9
0000245c: DUP8
0000245d: PUSH2 0x265b
00002460: JUMP
00002461: JUMPDEST
00002462: SWAP1
00002463: POP
00002464: PUSH1 0x00
00002466: PUSH2 0x246f
00002469: DUP9
0000246a: DUP9
0000246b: PUSH2 0x265b
0000246e: JUMP
0000246f: JUMPDEST
00002470: SWAP1
00002471: POP
00002472: PUSH1 0x00
00002474: PUSH2 0x2481
00002477: DUP3
00002478: PUSH2 0x2430
0000247b: DUP7
0000247c: DUP7
0000247d: PUSH2 0x1e94
00002480: JUMP
00002481: JUMPDEST
00002482: SWAP4
00002483: SWAP12
00002484: SWAP4
00002485: SWAP11
00002486: POP
00002487: SWAP2
00002488: SWAP9
00002489: POP
0000248a: SWAP2
0000248b: SWAP7
0000248c: POP
0000248d: POP
0000248e: POP
0000248f: POP
00002490: POP
00002491: POP
00002492: POP
00002493: JUMP
00002494: JUMPDEST
00002495: PUSH1 0x40
00002497: DUP1
00002498: MLOAD
00002499: PUSH1 0x02
0000249b: DUP1
0000249c: DUP3
0000249d: MSTORE
0000249e: PUSH1 0x60
000024a0: DUP3
000024a1: ADD
000024a2: DUP4
000024a3: MSTORE
000024a4: PUSH1 0x00
000024a6: SWAP3
000024a7: PUSH1 0x20
000024a9: DUP4
000024aa: ADD
000024ab: SWAP1
000024ac: DUP1
000024ad: CALLDATASIZE
000024ae: DUP4
000024af: CALLDATACOPY
000024b0: ADD
000024b1: SWAP1
000024b2: POP
000024b3: POP
000024b4: SWAP1
000024b5: POP
000024b6: ADDRESS
000024b7: DUP2
000024b8: PUSH1 0x00
000024ba: DUP2
000024bb: MLOAD
000024bc: DUP2
000024bd: LT
000024be: PUSH2 0x24c9
000024c1: JUMPI
000024c2: PUSH2 0x24c9
000024c5: PUSH2 0x2e45
000024c8: JUMP
000024c9: JUMPDEST
000024ca: PUSH1 0x20
000024cc: MUL
000024cd: PUSH1 0x20
000024cf: ADD
000024d0: ADD
000024d1: SWAP1
000024d2: PUSH1 0x01
000024d4: PUSH1 0x01
000024d6: PUSH1 0xa0
000024d8: SHL
000024d9: SUB
000024da: AND
000024db: SWAP1
000024dc: DUP2
000024dd: PUSH1 0x01
000024df: PUSH1 0x01
000024e1: PUSH1 0xa0
000024e3: SHL
000024e4: SUB
000024e5: AND
000024e6: DUP2
000024e7: MSTORE
000024e8: POP
000024e9: POP
000024ea: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
0000250b: PUSH1 0x01
0000250d: PUSH1 0x01
0000250f: PUSH1 0xa0
00002511: SHL
00002512: SUB
00002513: AND
00002514: PUSH4 0xad5c4648
00002519: PUSH1 0x40
0000251b: MLOAD
0000251c: DUP2
0000251d: PUSH4 0xffffffff
00002522: AND
00002523: PUSH1 0xe0
00002525: SHL
00002526: DUP2
00002527: MSTORE
00002528: PUSH1 0x04
0000252a: ADD
0000252b: PUSH1 0x20
0000252d: PUSH1 0x40
0000252f: MLOAD
00002530: DUP1
00002531: DUP4
00002532: SUB
00002533: DUP2
00002534: DUP7
00002535: DUP1
00002536: EXTCODESIZE
00002537: ISZERO
00002538: DUP1
00002539: ISZERO
0000253a: PUSH2 0x2542
0000253d: JUMPI
0000253e: PUSH1 0x00
00002540: DUP1
00002541: REVERT
00002542: JUMPDEST
00002543: POP
00002544: GAS
00002545: STATICCALL
00002546: ISZERO
00002547: DUP1
00002548: ISZERO
00002549: PUSH2 0x2556
0000254c: JUMPI
0000254d: RETURNDATASIZE
0000254e: PUSH1 0x00
00002550: DUP1
00002551: RETURNDATACOPY
00002552: RETURNDATASIZE
00002553: PUSH1 0x00
00002555: REVERT
00002556: JUMPDEST
00002557: POP
00002558: POP
00002559: POP
0000255a: POP
0000255b: PUSH1 0x40
0000255d: MLOAD
0000255e: RETURNDATASIZE
0000255f: PUSH1 0x1f
00002561: NOT
00002562: PUSH1 0x1f
00002564: DUP3
00002565: ADD
00002566: AND
00002567: DUP3
00002568: ADD
00002569: DUP1
0000256a: PUSH1 0x40
0000256c: MSTORE
0000256d: POP
0000256e: DUP2
0000256f: ADD
00002570: SWAP1
00002571: PUSH2 0x257a
00002574: SWAP2
00002575: SWAP1
00002576: PUSH2 0x2f13
00002579: JUMP
0000257a: JUMPDEST
0000257b: DUP2
0000257c: PUSH1 0x01
0000257e: DUP2
0000257f: MLOAD
00002580: DUP2
00002581: LT
00002582: PUSH2 0x258d
00002585: JUMPI
00002586: PUSH2 0x258d
00002589: PUSH2 0x2e45
0000258c: JUMP
0000258d: JUMPDEST
0000258e: PUSH1 0x20
00002590: MUL
00002591: PUSH1 0x20
00002593: ADD
00002594: ADD
00002595: SWAP1
00002596: PUSH1 0x01
00002598: PUSH1 0x01
0000259a: PUSH1 0xa0
0000259c: SHL
0000259d: SUB
0000259e: AND
0000259f: SWAP1
000025a0: DUP2
000025a1: PUSH1 0x01
000025a3: PUSH1 0x01
000025a5: PUSH1 0xa0
000025a7: SHL
000025a8: SUB
000025a9: AND
000025aa: DUP2
000025ab: MSTORE
000025ac: POP
000025ad: POP
000025ae: PUSH2 0x25d8
000025b1: ADDRESS
000025b2: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
000025d3: DUP5
000025d4: PUSH2 0x1972
000025d7: JUMP
000025d8: JUMPDEST
000025d9: PUSH1 0x40
000025db: MLOAD
000025dc: PUSH4 0x791ac947
000025e1: PUSH1 0xe0
000025e3: SHL
000025e4: DUP2
000025e5: MSTORE
000025e6: PUSH1 0x01
000025e8: PUSH1 0x01
000025ea: PUSH1 0xa0
000025ec: SHL
000025ed: SUB
000025ee: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
0000260f: AND
00002610: SWAP1
00002611: PUSH4 0x791ac947
00002616: SWAP1
00002617: PUSH2 0x262d
0000261a: SWAP1
0000261b: DUP6
0000261c: SWAP1
0000261d: PUSH1 0x00
0000261f: SWAP1
00002620: DUP7
00002621: SWAP1
00002622: ADDRESS
00002623: SWAP1
00002624: TIMESTAMP
00002625: SWAP1
00002626: PUSH1 0x04
00002628: ADD
00002629: PUSH2 0x2f30
0000262c: JUMP
0000262d: JUMPDEST
0000262e: PUSH1 0x00
00002630: PUSH1 0x40
00002632: MLOAD
00002633: DUP1
00002634: DUP4
00002635: SUB
00002636: DUP2
00002637: PUSH1 0x00
00002639: DUP8
0000263a: DUP1
0000263b: EXTCODESIZE
0000263c: ISZERO
0000263d: DUP1
0000263e: ISZERO
0000263f: PUSH2 0x2647
00002642: JUMPI
00002643: PUSH1 0x00
00002645: DUP1
00002646: REVERT
00002647: JUMPDEST
00002648: POP
00002649: GAS
0000264a: CALL
0000264b: ISZERO
0000264c: DUP1
0000264d: ISZERO
0000264e: PUSH2 0x1d3f
00002651: JUMPI
00002652: RETURNDATASIZE
00002653: PUSH1 0x00
00002655: DUP1
00002656: RETURNDATACOPY
00002657: RETURNDATASIZE
00002658: PUSH1 0x00
0000265a: REVERT
0000265b: JUMPDEST
0000265c: PUSH1 0x00
0000265e: DUP3
0000265f: PUSH2 0x266a
00002662: JUMPI
00002663: POP
00002664: PUSH1 0x00
00002666: PUSH2 0x0a20
00002669: JUMP
0000266a: JUMPDEST
0000266b: PUSH1 0x00
0000266d: PUSH2 0x2676
00002670: DUP4
00002671: DUP6
00002672: PUSH2 0x2e26
00002675: JUMP
00002676: JUMPDEST
00002677: SWAP1
00002678: POP
00002679: DUP3
0000267a: PUSH2 0x2683
0000267d: DUP6
0000267e: DUP4
0000267f: PUSH2 0x2ef1
00002682: JUMP
00002683: JUMPDEST
00002684: EQ
00002685: PUSH2 0x0c08
00002688: JUMPI
00002689: PUSH1 0x40
0000268b: MLOAD
0000268c: PUSH3 0x461bcd
00002690: PUSH1 0xe5
00002692: SHL
00002693: DUP2
00002694: MSTORE
00002695: PUSH1 0x20
00002697: PUSH1 0x04
00002699: DUP3
0000269a: ADD
0000269b: MSTORE
0000269c: PUSH1 0x21
0000269e: PUSH1 0x24
000026a0: DUP3
000026a1: ADD
000026a2: MSTORE
000026a3: PUSH32 0x536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f
000026c4: PUSH1 0x44
000026c6: DUP3
000026c7: ADD
000026c8: MSTORE
000026c9: PUSH1 0x77
000026cb: PUSH1 0xf8
000026cd: SHL
000026ce: PUSH1 0x64
000026d0: DUP3
000026d1: ADD
000026d2: MSTORE
000026d3: PUSH1 0x84
000026d5: ADD
000026d6: PUSH2 0x0953
000026d9: JUMP
000026da: JUMPDEST
000026db: PUSH2 0x2705
000026de: ADDRESS
000026df: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
00002700: DUP5
00002701: PUSH2 0x1972
00002704: JUMP
00002705: JUMPDEST
00002706: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
00002727: PUSH1 0x01
00002729: PUSH1 0x01
0000272b: PUSH1 0xa0
0000272d: SHL
0000272e: SUB
0000272f: AND
00002730: PUSH4 0xf305d719
00002735: DUP3
00002736: ADDRESS
00002737: DUP6
00002738: PUSH1 0x00
0000273a: DUP1
0000273b: PUSH2 0x274c
0000273e: PUSH1 0x00
00002740: SLOAD
00002741: PUSH1 0x01
00002743: PUSH1 0x01
00002745: PUSH1 0xa0
00002747: SHL
00002748: SUB
00002749: AND
0000274a: SWAP1
0000274b: JUMP
0000274c: JUMPDEST
0000274d: PUSH1 0x40
0000274f: MLOAD
00002750: PUSH1 0xe0
00002752: DUP9
00002753: SWAP1
00002754: SHL
00002755: PUSH1 0x01
00002757: PUSH1 0x01
00002759: PUSH1 0xe0
0000275b: SHL
0000275c: SUB
0000275d: NOT
0000275e: AND
0000275f: DUP2
00002760: MSTORE
00002761: PUSH1 0x01
00002763: PUSH1 0x01
00002765: PUSH1 0xa0
00002767: SHL
00002768: SUB
00002769: SWAP6
0000276a: DUP7
0000276b: AND
0000276c: PUSH1 0x04
0000276e: DUP3
0000276f: ADD
00002770: MSTORE
00002771: PUSH1 0x24
00002773: DUP2
00002774: ADD
00002775: SWAP5
00002776: SWAP1
00002777: SWAP5
00002778: MSTORE
00002779: PUSH1 0x44
0000277b: DUP5
0000277c: ADD
0000277d: SWAP3
0000277e: SWAP1
0000277f: SWAP3
00002780: MSTORE
00002781: PUSH1 0x64
00002783: DUP4
00002784: ADD
00002785: MSTORE
00002786: SWAP1
00002787: SWAP2
00002788: AND
00002789: PUSH1 0x84
0000278b: DUP3
0000278c: ADD
0000278d: MSTORE
0000278e: TIMESTAMP
0000278f: PUSH1 0xa4
00002791: DUP3
00002792: ADD
00002793: MSTORE
00002794: PUSH1 0xc4
00002796: ADD
00002797: PUSH1 0x60
00002799: PUSH1 0x40
0000279b: MLOAD
0000279c: DUP1
0000279d: DUP4
0000279e: SUB
0000279f: DUP2
000027a0: DUP6
000027a1: DUP9
000027a2: DUP1
000027a3: EXTCODESIZE
000027a4: ISZERO
000027a5: DUP1
000027a6: ISZERO
000027a7: PUSH2 0x27af
000027aa: JUMPI
000027ab: PUSH1 0x00
000027ad: DUP1
000027ae: REVERT
000027af: JUMPDEST
000027b0: POP
000027b1: GAS
000027b2: CALL
000027b3: ISZERO
000027b4: DUP1
000027b5: ISZERO
000027b6: PUSH2 0x27c3
000027b9: JUMPI
000027ba: RETURNDATASIZE
000027bb: PUSH1 0x00
000027bd: DUP1
000027be: RETURNDATACOPY
000027bf: RETURNDATASIZE
000027c0: PUSH1 0x00
000027c2: REVERT
000027c3: JUMPDEST
000027c4: POP
000027c5: POP
000027c6: POP
000027c7: POP
000027c8: POP
000027c9: PUSH1 0x40
000027cb: MLOAD
000027cc: RETURNDATASIZE
000027cd: PUSH1 0x1f
000027cf: NOT
000027d0: PUSH1 0x1f
000027d2: DUP3
000027d3: ADD
000027d4: AND
000027d5: DUP3
000027d6: ADD
000027d7: DUP1
000027d8: PUSH1 0x40
000027da: MSTORE
000027db: POP
000027dc: DUP2
000027dd: ADD
000027de: SWAP1
000027df: PUSH2 0x1785
000027e2: SWAP2
000027e3: SWAP1
000027e4: PUSH2 0x2fa1
000027e7: JUMP
000027e8: JUMPDEST
000027e9: PUSH1 0x00
000027eb: DUP1
000027ec: PUSH1 0x00
000027ee: DUP1
000027ef: PUSH1 0x00
000027f1: DUP1
000027f2: PUSH2 0x27fa
000027f5: DUP8
000027f6: PUSH2 0x1e45
000027f9: JUMP
000027fa: JUMPDEST
000027fb: PUSH1 0x01
000027fd: PUSH1 0x01
000027ff: PUSH1 0xa0
00002801: SHL
00002802: SUB
00002803: DUP16
00002804: AND
00002805: PUSH1 0x00
00002807: SWAP1
00002808: DUP2
00002809: MSTORE
0000280a: PUSH1 0x04
0000280c: PUSH1 0x20
0000280e: MSTORE
0000280f: PUSH1 0x40
00002811: SWAP1
00002812: KECCAK256
00002813: SLOAD
00002814: SWAP6
00002815: SWAP12
00002816: POP
00002817: SWAP4
00002818: SWAP10
00002819: POP
0000281a: SWAP2
0000281b: SWAP8
0000281c: POP
0000281d: SWAP6
0000281e: POP
0000281f: SWAP4
00002820: POP
00002821: SWAP2
00002822: POP
00002823: PUSH2 0x282c
00002826: SWAP1
00002827: DUP9
00002828: PUSH2 0x1e94
0000282b: JUMP
0000282c: JUMPDEST
0000282d: PUSH1 0x01
0000282f: PUSH1 0x01
00002831: PUSH1 0xa0
00002833: SHL
00002834: SUB
00002835: DUP11
00002836: AND
00002837: PUSH1 0x00
00002839: SWAP1
0000283a: DUP2
0000283b: MSTORE
0000283c: PUSH1 0x04
0000283e: PUSH1 0x20
00002840: SWAP1
00002841: DUP2
00002842: MSTORE
00002843: PUSH1 0x40
00002845: DUP1
00002846: DUP4
00002847: KECCAK256
00002848: SWAP4
00002849: SWAP1
0000284a: SWAP4
0000284b: SSTORE
0000284c: PUSH1 0x03
0000284e: SWAP1
0000284f: MSTORE
00002850: KECCAK256
00002851: SLOAD
00002852: PUSH2 0x285b
00002855: SWAP1
00002856: DUP8
00002857: PUSH2 0x1e94
0000285a: JUMP
0000285b: JUMPDEST
0000285c: PUSH1 0x01
0000285e: PUSH1 0x01
00002860: PUSH1 0xa0
00002862: SHL
00002863: SUB
00002864: DUP1
00002865: DUP12
00002866: AND
00002867: PUSH1 0x00
00002869: SWAP1
0000286a: DUP2
0000286b: MSTORE
0000286c: PUSH1 0x03
0000286e: PUSH1 0x20
00002870: MSTORE
00002871: PUSH1 0x40
00002873: DUP1
00002874: DUP3
00002875: KECCAK256
00002876: SWAP4
00002877: SWAP1
00002878: SWAP4
00002879: SSTORE
0000287a: SWAP1
0000287b: DUP11
0000287c: AND
0000287d: DUP2
0000287e: MSTORE
0000287f: KECCAK256
00002880: SLOAD
00002881: PUSH2 0x288a
00002884: SWAP1
00002885: DUP7
00002886: PUSH2 0x1de6
00002889: JUMP
0000288a: JUMPDEST
0000288b: PUSH1 0x01
0000288d: PUSH1 0x01
0000288f: PUSH1 0xa0
00002891: SHL
00002892: SUB
00002893: DUP10
00002894: AND
00002895: PUSH1 0x00
00002897: SWAP1
00002898: DUP2
00002899: MSTORE
0000289a: PUSH1 0x03
0000289c: PUSH1 0x20
0000289e: MSTORE
0000289f: PUSH1 0x40
000028a1: SWAP1
000028a2: KECCAK256
000028a3: SSTORE
000028a4: PUSH2 0x28ac
000028a7: DUP2
000028a8: PUSH2 0x2aa6
000028ab: JUMP
000028ac: JUMPDEST
000028ad: PUSH2 0x28b6
000028b0: DUP5
000028b1: DUP4
000028b2: PUSH2 0x2b2e
000028b5: JUMP
000028b6: JUMPDEST
000028b7: DUP8
000028b8: PUSH1 0x01
000028ba: PUSH1 0x01
000028bc: PUSH1 0xa0
000028be: SHL
000028bf: SUB
000028c0: AND
000028c1: DUP10
000028c2: PUSH1 0x01
000028c4: PUSH1 0x01
000028c6: PUSH1 0xa0
000028c8: SHL
000028c9: SUB
000028ca: AND
000028cb: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000028ec: DUP6
000028ed: PUSH1 0x40
000028ef: MLOAD
000028f0: PUSH2 0x28fb
000028f3: SWAP2
000028f4: DUP2
000028f5: MSTORE
000028f6: PUSH1 0x20
000028f8: ADD
000028f9: SWAP1
000028fa: JUMP
000028fb: JUMPDEST
000028fc: PUSH1 0x40
000028fe: MLOAD
000028ff: DUP1
00002900: SWAP2
00002901: SUB
00002902: SWAP1
00002903: LOG3
00002904: POP
00002905: POP
00002906: POP
00002907: POP
00002908: POP
00002909: POP
0000290a: POP
0000290b: POP
0000290c: POP
0000290d: JUMP
0000290e: JUMPDEST
0000290f: PUSH1 0x00
00002911: DUP1
00002912: PUSH1 0x00
00002914: DUP1
00002915: PUSH1 0x00
00002917: DUP1
00002918: PUSH2 0x2920
0000291b: DUP8
0000291c: PUSH2 0x1e45
0000291f: JUMP
00002920: JUMPDEST
00002921: PUSH1 0x01
00002923: PUSH1 0x01
00002925: PUSH1 0xa0
00002927: SHL
00002928: SUB
00002929: DUP16
0000292a: AND
0000292b: PUSH1 0x00
0000292d: SWAP1
0000292e: DUP2
0000292f: MSTORE
00002930: PUSH1 0x03
00002932: PUSH1 0x20
00002934: MSTORE
00002935: PUSH1 0x40
00002937: SWAP1
00002938: KECCAK256
00002939: SLOAD
0000293a: SWAP6
0000293b: SWAP12
0000293c: POP
0000293d: SWAP4
0000293e: SWAP10
0000293f: POP
00002940: SWAP2
00002941: SWAP8
00002942: POP
00002943: SWAP6
00002944: POP
00002945: SWAP4
00002946: POP
00002947: SWAP2
00002948: POP
00002949: PUSH2 0x2952
0000294c: SWAP1
0000294d: DUP8
0000294e: PUSH2 0x1e94
00002951: JUMP
00002952: JUMPDEST
00002953: PUSH1 0x01
00002955: PUSH1 0x01
00002957: PUSH1 0xa0
00002959: SHL
0000295a: SUB
0000295b: DUP1
0000295c: DUP12
0000295d: AND
0000295e: PUSH1 0x00
00002960: SWAP1
00002961: DUP2
00002962: MSTORE
00002963: PUSH1 0x03
00002965: PUSH1 0x20
00002967: SWAP1
00002968: DUP2
00002969: MSTORE
0000296a: PUSH1 0x40
0000296c: DUP1
0000296d: DUP4
0000296e: KECCAK256
0000296f: SWAP5
00002970: SWAP1
00002971: SWAP5
00002972: SSTORE
00002973: SWAP2
00002974: DUP12
00002975: AND
00002976: DUP2
00002977: MSTORE
00002978: PUSH1 0x04
0000297a: SWAP1
0000297b: SWAP2
0000297c: MSTORE
0000297d: KECCAK256
0000297e: SLOAD
0000297f: PUSH2 0x2988
00002982: SWAP1
00002983: DUP5
00002984: PUSH2 0x1de6
00002987: JUMP
00002988: JUMPDEST
00002989: PUSH1 0x01
0000298b: PUSH1 0x01
0000298d: PUSH1 0xa0
0000298f: SHL
00002990: SUB
00002991: DUP10
00002992: AND
00002993: PUSH1 0x00
00002995: SWAP1
00002996: DUP2
00002997: MSTORE
00002998: PUSH1 0x04
0000299a: PUSH1 0x20
0000299c: SWAP1
0000299d: DUP2
0000299e: MSTORE
0000299f: PUSH1 0x40
000029a1: DUP1
000029a2: DUP4
000029a3: KECCAK256
000029a4: SWAP4
000029a5: SWAP1
000029a6: SWAP4
000029a7: SSTORE
000029a8: PUSH1 0x03
000029aa: SWAP1
000029ab: MSTORE
000029ac: KECCAK256
000029ad: SLOAD
000029ae: PUSH2 0x288a
000029b1: SWAP1
000029b2: DUP7
000029b3: PUSH2 0x1de6
000029b6: JUMP
000029b7: JUMPDEST
000029b8: PUSH1 0x00
000029ba: DUP1
000029bb: PUSH1 0x00
000029bd: DUP1
000029be: PUSH1 0x00
000029c0: DUP1
000029c1: PUSH2 0x29c9
000029c4: DUP8
000029c5: PUSH2 0x1e45
000029c8: JUMP
000029c9: JUMPDEST
000029ca: PUSH1 0x01
000029cc: PUSH1 0x01
000029ce: PUSH1 0xa0
000029d0: SHL
000029d1: SUB
000029d2: DUP16
000029d3: AND
000029d4: PUSH1 0x00
000029d6: SWAP1
000029d7: DUP2
000029d8: MSTORE
000029d9: PUSH1 0x03
000029db: PUSH1 0x20
000029dd: MSTORE
000029de: PUSH1 0x40
000029e0: SWAP1
000029e1: KECCAK256
000029e2: SLOAD
000029e3: SWAP6
000029e4: SWAP12
000029e5: POP
000029e6: SWAP4
000029e7: SWAP10
000029e8: POP
000029e9: SWAP2
000029ea: SWAP8
000029eb: POP
000029ec: SWAP6
000029ed: POP
000029ee: SWAP4
000029ef: POP
000029f0: SWAP2
000029f1: POP
000029f2: PUSH2 0x285b
000029f5: SWAP1
000029f6: DUP8
000029f7: PUSH2 0x1e94
000029fa: JUMP
000029fb: JUMPDEST
000029fc: PUSH1 0x00
000029fe: DUP1
000029ff: PUSH1 0x00
00002a01: DUP1
00002a02: PUSH1 0x00
00002a04: DUP1
00002a05: PUSH2 0x2a0d
00002a08: DUP8
00002a09: PUSH2 0x1e45
00002a0c: JUMP
00002a0d: JUMPDEST
00002a0e: PUSH1 0x01
00002a10: PUSH1 0x01
00002a12: PUSH1 0xa0
00002a14: SHL
00002a15: SUB
00002a16: DUP16
00002a17: AND
00002a18: PUSH1 0x00
00002a1a: SWAP1
00002a1b: DUP2
00002a1c: MSTORE
00002a1d: PUSH1 0x04
00002a1f: PUSH1 0x20
00002a21: MSTORE
00002a22: PUSH1 0x40
00002a24: SWAP1
00002a25: KECCAK256
00002a26: SLOAD
00002a27: SWAP6
00002a28: SWAP12
00002a29: POP
00002a2a: SWAP4
00002a2b: SWAP10
00002a2c: POP
00002a2d: SWAP2
00002a2e: SWAP8
00002a2f: POP
00002a30: SWAP6
00002a31: POP
00002a32: SWAP4
00002a33: POP
00002a34: SWAP2
00002a35: POP
00002a36: PUSH2 0x2a3f
00002a39: SWAP1
00002a3a: DUP9
00002a3b: PUSH2 0x1e94
00002a3e: JUMP
00002a3f: JUMPDEST
00002a40: PUSH1 0x01
00002a42: PUSH1 0x01
00002a44: PUSH1 0xa0
00002a46: SHL
00002a47: SUB
00002a48: DUP11
00002a49: AND
00002a4a: PUSH1 0x00
00002a4c: SWAP1
00002a4d: DUP2
00002a4e: MSTORE
00002a4f: PUSH1 0x04
00002a51: PUSH1 0x20
00002a53: SWAP1
00002a54: DUP2
00002a55: MSTORE
00002a56: PUSH1 0x40
00002a58: DUP1
00002a59: DUP4
00002a5a: KECCAK256
00002a5b: SWAP4
00002a5c: SWAP1
00002a5d: SWAP4
00002a5e: SSTORE
00002a5f: PUSH1 0x03
00002a61: SWAP1
00002a62: MSTORE
00002a63: KECCAK256
00002a64: SLOAD
00002a65: PUSH2 0x2952
00002a68: SWAP1
00002a69: DUP8
00002a6a: PUSH2 0x1e94
00002a6d: JUMP
00002a6e: JUMPDEST
00002a6f: PUSH1 0x00
00002a71: PUSH2 0x0a20
00002a74: PUSH1 0x64
00002a76: PUSH2 0x1f6b
00002a79: PUSH1 0x12
00002a7b: SLOAD
00002a7c: DUP6
00002a7d: PUSH2 0x265b
00002a80: SWAP1
00002a81: SWAP2
00002a82: SWAP1
00002a83: PUSH4 0xffffffff
00002a88: AND
00002a89: JUMP
00002a8a: JUMPDEST
00002a8b: PUSH1 0x00
00002a8d: PUSH2 0x0a20
00002a90: PUSH1 0x64
00002a92: PUSH2 0x1f6b
00002a95: PUSH1 0x14
00002a97: SLOAD
00002a98: DUP6
00002a99: PUSH2 0x265b
00002a9c: SWAP1
00002a9d: SWAP2
00002a9e: SWAP1
00002a9f: PUSH4 0xffffffff
00002aa4: AND
00002aa5: JUMP
00002aa6: JUMPDEST
00002aa7: PUSH1 0x00
00002aa9: PUSH2 0x2ab0
00002aac: PUSH2 0x1d81
00002aaf: JUMP
00002ab0: JUMPDEST
00002ab1: SWAP1
00002ab2: POP
00002ab3: PUSH1 0x00
00002ab5: PUSH2 0x2abe
00002ab8: DUP4
00002ab9: DUP4
00002aba: PUSH2 0x265b
00002abd: JUMP
00002abe: JUMPDEST
00002abf: ADDRESS
00002ac0: PUSH1 0x00
00002ac2: SWAP1
00002ac3: DUP2
00002ac4: MSTORE
00002ac5: PUSH1 0x03
00002ac7: PUSH1 0x20
00002ac9: MSTORE
00002aca: PUSH1 0x40
00002acc: SWAP1
00002acd: KECCAK256
00002ace: SLOAD
00002acf: SWAP1
00002ad0: SWAP2
00002ad1: POP
00002ad2: PUSH2 0x2adb
00002ad5: SWAP1
00002ad6: DUP3
00002ad7: PUSH2 0x1de6
00002ada: JUMP
00002adb: JUMPDEST
00002adc: ADDRESS
00002add: PUSH1 0x00
00002adf: SWAP1
00002ae0: DUP2
00002ae1: MSTORE
00002ae2: PUSH1 0x03
00002ae4: PUSH1 0x20
00002ae6: SWAP1
00002ae7: DUP2
00002ae8: MSTORE
00002ae9: PUSH1 0x40
00002aeb: DUP1
00002aec: DUP4
00002aed: KECCAK256
00002aee: SWAP4
00002aef: SWAP1
00002af0: SWAP4
00002af1: SSTORE
00002af2: PUSH1 0x07
00002af4: SWAP1
00002af5: MSTORE
00002af6: KECCAK256
00002af7: SLOAD
00002af8: PUSH1 0xff
00002afa: AND
00002afb: ISZERO
00002afc: PUSH2 0x0f25
00002aff: JUMPI
00002b00: ADDRESS
00002b01: PUSH1 0x00
00002b03: SWAP1
00002b04: DUP2
00002b05: MSTORE
00002b06: PUSH1 0x04
00002b08: PUSH1 0x20
00002b0a: MSTORE
00002b0b: PUSH1 0x40
00002b0d: SWAP1
00002b0e: KECCAK256
00002b0f: SLOAD
00002b10: PUSH2 0x2b19
00002b13: SWAP1
00002b14: DUP5
00002b15: PUSH2 0x1de6
00002b18: JUMP
00002b19: JUMPDEST
00002b1a: ADDRESS
00002b1b: PUSH1 0x00
00002b1d: SWAP1
00002b1e: DUP2
00002b1f: MSTORE
00002b20: PUSH1 0x04
00002b22: PUSH1 0x20
00002b24: MSTORE
00002b25: PUSH1 0x40
00002b27: SWAP1
00002b28: KECCAK256
00002b29: SSTORE
00002b2a: POP
00002b2b: POP
00002b2c: POP
00002b2d: JUMP
00002b2e: JUMPDEST
00002b2f: PUSH1 0x0c
00002b31: SLOAD
00002b32: PUSH2 0x2b3b
00002b35: SWAP1
00002b36: DUP4
00002b37: PUSH2 0x1e94
00002b3a: JUMP
00002b3b: JUMPDEST
00002b3c: PUSH1 0x0c
00002b3e: SSTORE
00002b3f: PUSH1 0x0d
00002b41: SLOAD
00002b42: PUSH2 0x2b4b
00002b45: SWAP1
00002b46: DUP3
00002b47: PUSH2 0x1de6
00002b4a: JUMP
00002b4b: JUMPDEST
00002b4c: PUSH1 0x0d
00002b4e: SSTORE
00002b4f: POP
00002b50: POP
00002b51: JUMP
00002b52: JUMPDEST
00002b53: PUSH1 0x01
00002b55: PUSH1 0x01
00002b57: PUSH1 0xa0
00002b59: SHL
00002b5a: SUB
00002b5b: DUP2
00002b5c: AND
00002b5d: DUP2
00002b5e: EQ
00002b5f: PUSH2 0x1152
00002b62: JUMPI
00002b63: PUSH1 0x00
00002b65: DUP1
00002b66: REVERT
00002b67: JUMPDEST
00002b68: PUSH1 0x00
00002b6a: PUSH1 0x20
00002b6c: DUP3
00002b6d: DUP5
00002b6e: SUB
00002b6f: SLT
00002b70: ISZERO
00002b71: PUSH2 0x2b79
00002b74: JUMPI
00002b75: PUSH1 0x00
00002b77: DUP1
00002b78: REVERT
00002b79: JUMPDEST
00002b7a: DUP2
00002b7b: CALLDATALOAD
00002b7c: PUSH2 0x0c08
00002b7f: DUP2
00002b80: PUSH2 0x2b52
00002b83: JUMP
00002b84: JUMPDEST
00002b85: PUSH1 0x00
00002b87: PUSH1 0x20
00002b89: DUP1
00002b8a: DUP4
00002b8b: MSTORE
00002b8c: DUP4
00002b8d: MLOAD
00002b8e: DUP1
00002b8f: DUP3
00002b90: DUP6
00002b91: ADD
00002b92: MSTORE
00002b93: PUSH1 0x00
00002b95: JUMPDEST
00002b96: DUP2
00002b97: DUP2
00002b98: LT
00002b99: ISZERO
00002b9a: PUSH2 0x2bb1
00002b9d: JUMPI
00002b9e: DUP6
00002b9f: DUP2
00002ba0: ADD
00002ba1: DUP4
00002ba2: ADD
00002ba3: MLOAD
00002ba4: DUP6
00002ba5: DUP3
00002ba6: ADD
00002ba7: PUSH1 0x40
00002ba9: ADD
00002baa: MSTORE
00002bab: DUP3
00002bac: ADD
00002bad: PUSH2 0x2b95
00002bb0: JUMP
00002bb1: JUMPDEST
00002bb2: DUP2
00002bb3: DUP2
00002bb4: GT
00002bb5: ISZERO
00002bb6: PUSH2 0x2bc3
00002bb9: JUMPI
00002bba: PUSH1 0x00
00002bbc: PUSH1 0x40
00002bbe: DUP4
00002bbf: DUP8
00002bc0: ADD
00002bc1: ADD
00002bc2: MSTORE
00002bc3: JUMPDEST
00002bc4: POP
00002bc5: PUSH1 0x1f
00002bc7: ADD
00002bc8: PUSH1 0x1f
00002bca: NOT
00002bcb: AND
00002bcc: SWAP3
00002bcd: SWAP1
00002bce: SWAP3
00002bcf: ADD
00002bd0: PUSH1 0x40
00002bd2: ADD
00002bd3: SWAP4
00002bd4: SWAP3
00002bd5: POP
00002bd6: POP
00002bd7: POP
00002bd8: JUMP
00002bd9: JUMPDEST
00002bda: PUSH1 0x00
00002bdc: DUP1
00002bdd: PUSH1 0x40
00002bdf: DUP4
00002be0: DUP6
00002be1: SUB
00002be2: SLT
00002be3: ISZERO
00002be4: PUSH2 0x2bec
00002be7: JUMPI
00002be8: PUSH1 0x00
00002bea: DUP1
00002beb: REVERT
00002bec: JUMPDEST
00002bed: DUP3
00002bee: CALLDATALOAD
00002bef: PUSH2 0x2bf7
00002bf2: DUP2
00002bf3: PUSH2 0x2b52
00002bf6: JUMP
00002bf7: JUMPDEST
00002bf8: SWAP5
00002bf9: PUSH1 0x20
00002bfb: SWAP4
00002bfc: SWAP1
00002bfd: SWAP4
00002bfe: ADD
00002bff: CALLDATALOAD
00002c00: SWAP4
00002c01: POP
00002c02: POP
00002c03: POP
00002c04: JUMP
00002c05: JUMPDEST
00002c06: PUSH1 0x00
00002c08: DUP1
00002c09: PUSH1 0x00
00002c0b: PUSH1 0x60
00002c0d: DUP5
00002c0e: DUP7
00002c0f: SUB
00002c10: SLT
00002c11: ISZERO
00002c12: PUSH2 0x2c1a
00002c15: JUMPI
00002c16: PUSH1 0x00
00002c18: DUP1
00002c19: REVERT
00002c1a: JUMPDEST
00002c1b: DUP4
00002c1c: CALLDATALOAD
00002c1d: PUSH2 0x2c25
00002c20: DUP2
00002c21: PUSH2 0x2b52
00002c24: JUMP
00002c25: JUMPDEST
00002c26: SWAP3
00002c27: POP
00002c28: PUSH1 0x20
00002c2a: DUP5
00002c2b: ADD
00002c2c: CALLDATALOAD
00002c2d: PUSH2 0x2c35
00002c30: DUP2
00002c31: PUSH2 0x2b52
00002c34: JUMP
00002c35: JUMPDEST
00002c36: SWAP3
00002c37: SWAP6
00002c38: SWAP3
00002c39: SWAP5
00002c3a: POP
00002c3b: POP
00002c3c: POP
00002c3d: PUSH1 0x40
00002c3f: SWAP2
00002c40: SWAP1
00002c41: SWAP2
00002c42: ADD
00002c43: CALLDATALOAD
00002c44: SWAP1
00002c45: JUMP
00002c46: JUMPDEST
00002c47: PUSH1 0x00
00002c49: PUSH1 0x20
00002c4b: DUP3
00002c4c: DUP5
00002c4d: SUB
00002c4e: SLT
00002c4f: ISZERO
00002c50: PUSH2 0x2c58
00002c53: JUMPI
00002c54: PUSH1 0x00
00002c56: DUP1
00002c57: REVERT
00002c58: JUMPDEST
00002c59: POP
00002c5a: CALLDATALOAD
00002c5b: SWAP2
00002c5c: SWAP1
00002c5d: POP
00002c5e: JUMP
00002c5f: JUMPDEST
00002c60: PUSH1 0x00
00002c62: DUP1
00002c63: PUSH1 0x40
00002c65: DUP4
00002c66: DUP6
00002c67: SUB
00002c68: SLT
00002c69: ISZERO
00002c6a: PUSH2 0x2c72
00002c6d: JUMPI
00002c6e: PUSH1 0x00
00002c70: DUP1
00002c71: REVERT
00002c72: JUMPDEST
00002c73: DUP3
00002c74: CALLDATALOAD
00002c75: PUSH2 0x2c7d
00002c78: DUP2
00002c79: PUSH2 0x2b52
00002c7c: JUMP
00002c7d: JUMPDEST
00002c7e: SWAP2
00002c7f: POP
00002c80: PUSH1 0x20
00002c82: DUP4
00002c83: ADD
00002c84: CALLDATALOAD
00002c85: PUSH2 0x2c8d
00002c88: DUP2
00002c89: PUSH2 0x2b52
00002c8c: JUMP
00002c8d: JUMPDEST
00002c8e: DUP1
00002c8f: SWAP2
00002c90: POP
00002c91: POP
00002c92: SWAP3
00002c93: POP
00002c94: SWAP3
00002c95: SWAP1
00002c96: POP
00002c97: JUMP
00002c98: JUMPDEST
00002c99: DUP1
00002c9a: ISZERO
00002c9b: ISZERO
00002c9c: DUP2
00002c9d: EQ
00002c9e: PUSH2 0x1152
00002ca1: JUMPI
00002ca2: PUSH1 0x00
00002ca4: DUP1
00002ca5: REVERT
00002ca6: JUMPDEST
00002ca7: PUSH1 0x00
00002ca9: DUP1
00002caa: PUSH1 0x40
00002cac: DUP4
00002cad: DUP6
00002cae: SUB
00002caf: SLT
00002cb0: ISZERO
00002cb1: PUSH2 0x2cb9
00002cb4: JUMPI
00002cb5: PUSH1 0x00
00002cb7: DUP1
00002cb8: REVERT
00002cb9: JUMPDEST
00002cba: DUP3
00002cbb: CALLDATALOAD
00002cbc: SWAP2
00002cbd: POP
00002cbe: PUSH1 0x20
00002cc0: DUP4
00002cc1: ADD
00002cc2: CALLDATALOAD
00002cc3: PUSH2 0x2c8d
00002cc6: DUP2
00002cc7: PUSH2 0x2c98
00002cca: JUMP
00002ccb: JUMPDEST
00002ccc: PUSH1 0x00
00002cce: PUSH1 0x20
00002cd0: DUP3
00002cd1: DUP5
00002cd2: SUB
00002cd3: SLT
00002cd4: ISZERO
00002cd5: PUSH2 0x2cdd
00002cd8: JUMPI
00002cd9: PUSH1 0x00
00002cdb: DUP1
00002cdc: REVERT
00002cdd: JUMPDEST
00002cde: DUP2
00002cdf: CALLDATALOAD
00002ce0: PUSH2 0x0c08
00002ce3: DUP2
00002ce4: PUSH2 0x2c98
00002ce7: JUMP
00002ce8: JUMPDEST
00002ce9: PUSH1 0x00
00002ceb: DUP1
00002cec: DUP4
00002ced: PUSH1 0x1f
00002cef: DUP5
00002cf0: ADD
00002cf1: SLT
00002cf2: PUSH2 0x2cfa
00002cf5: JUMPI
00002cf6: PUSH1 0x00
00002cf8: DUP1
00002cf9: REVERT
00002cfa: JUMPDEST
00002cfb: POP
00002cfc: DUP2
00002cfd: CALLDATALOAD
00002cfe: PUSH8 0xffffffffffffffff
00002d07: DUP2
00002d08: GT
00002d09: ISZERO
00002d0a: PUSH2 0x2d12
00002d0d: JUMPI
00002d0e: PUSH1 0x00
00002d10: DUP1
00002d11: REVERT
00002d12: JUMPDEST
00002d13: PUSH1 0x20
00002d15: DUP4
00002d16: ADD
00002d17: SWAP2
00002d18: POP
00002d19: DUP4
00002d1a: PUSH1 0x20
00002d1c: DUP3
00002d1d: PUSH1 0x05
00002d1f: SHL
00002d20: DUP6
00002d21: ADD
00002d22: ADD
00002d23: GT
00002d24: ISZERO
00002d25: PUSH2 0x2d2d
00002d28: JUMPI
00002d29: PUSH1 0x00
00002d2b: DUP1
00002d2c: REVERT
00002d2d: JUMPDEST
00002d2e: SWAP3
00002d2f: POP
00002d30: SWAP3
00002d31: SWAP1
00002d32: POP
00002d33: JUMP
00002d34: JUMPDEST
00002d35: PUSH1 0x00
00002d37: DUP1
00002d38: PUSH1 0x00
00002d3a: DUP1
00002d3b: PUSH1 0x40
00002d3d: DUP6
00002d3e: DUP8
00002d3f: SUB
00002d40: SLT
00002d41: ISZERO
00002d42: PUSH2 0x2d4a
00002d45: JUMPI
00002d46: PUSH1 0x00
00002d48: DUP1
00002d49: REVERT
00002d4a: JUMPDEST
00002d4b: DUP5
00002d4c: CALLDATALOAD
00002d4d: PUSH8 0xffffffffffffffff
00002d56: DUP1
00002d57: DUP3
00002d58: GT
00002d59: ISZERO
00002d5a: PUSH2 0x2d62
00002d5d: JUMPI
00002d5e: PUSH1 0x00
00002d60: DUP1
00002d61: REVERT
00002d62: JUMPDEST
00002d63: PUSH2 0x2d6e
00002d66: DUP9
00002d67: DUP4
00002d68: DUP10
00002d69: ADD
00002d6a: PUSH2 0x2ce8
00002d6d: JUMP
00002d6e: JUMPDEST
00002d6f: SWAP1
00002d70: SWAP7
00002d71: POP
00002d72: SWAP5
00002d73: POP
00002d74: PUSH1 0x20
00002d76: DUP8
00002d77: ADD
00002d78: CALLDATALOAD
00002d79: SWAP2
00002d7a: POP
00002d7b: DUP1
00002d7c: DUP3
00002d7d: GT
00002d7e: ISZERO
00002d7f: PUSH2 0x2d87
00002d82: JUMPI
00002d83: PUSH1 0x00
00002d85: DUP1
00002d86: REVERT
00002d87: JUMPDEST
00002d88: POP
00002d89: PUSH2 0x2d94
00002d8c: DUP8
00002d8d: DUP3
00002d8e: DUP9
00002d8f: ADD
00002d90: PUSH2 0x2ce8
00002d93: JUMP
00002d94: JUMPDEST
00002d95: SWAP6
00002d96: SWAP9
00002d97: SWAP5
00002d98: SWAP8
00002d99: POP
00002d9a: SWAP6
00002d9b: POP
00002d9c: POP
00002d9d: POP
00002d9e: POP
00002d9f: JUMP
00002da0: JUMPDEST
00002da1: PUSH1 0x20
00002da3: DUP1
00002da4: DUP3
00002da5: MSTORE
00002da6: DUP2
00002da7: DUP2
00002da8: ADD
00002da9: MSTORE
00002daa: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00002dcb: PUSH1 0x40
00002dcd: DUP3
00002dce: ADD
00002dcf: MSTORE
00002dd0: PUSH1 0x60
00002dd2: ADD
00002dd3: SWAP1
00002dd4: JUMP
00002dd5: JUMPDEST
00002dd6: PUSH1 0x01
00002dd8: DUP2
00002dd9: DUP2
00002dda: SHR
00002ddb: SWAP1
00002ddc: DUP3
00002ddd: AND
00002dde: DUP1
00002ddf: PUSH2 0x2de9
00002de2: JUMPI
00002de3: PUSH1 0x7f
00002de5: DUP3
00002de6: AND
00002de7: SWAP2
00002de8: POP
00002de9: JUMPDEST
00002dea: PUSH1 0x20
00002dec: DUP3
00002ded: LT
00002dee: DUP2
00002def: EQ
00002df0: ISZERO
00002df1: PUSH2 0x2e0a
00002df4: JUMPI
00002df5: PUSH4 0x4e487b71
00002dfa: PUSH1 0xe0
00002dfc: SHL
00002dfd: PUSH1 0x00
00002dff: MSTORE
00002e00: PUSH1 0x22
00002e02: PUSH1 0x04
00002e04: MSTORE
00002e05: PUSH1 0x24
00002e07: PUSH1 0x00
00002e09: REVERT
00002e0a: JUMPDEST
00002e0b: POP
00002e0c: SWAP2
00002e0d: SWAP1
00002e0e: POP
00002e0f: JUMP
00002e10: JUMPDEST
00002e11: PUSH4 0x4e487b71
00002e16: PUSH1 0xe0
00002e18: SHL
00002e19: PUSH1 0x00
00002e1b: MSTORE
00002e1c: PUSH1 0x11
00002e1e: PUSH1 0x04
00002e20: MSTORE
00002e21: PUSH1 0x24
00002e23: PUSH1 0x00
00002e25: REVERT
00002e26: JUMPDEST
00002e27: PUSH1 0x00
00002e29: DUP2
00002e2a: PUSH1 0x00
00002e2c: NOT
00002e2d: DIV
00002e2e: DUP4
00002e2f: GT
00002e30: DUP3
00002e31: ISZERO
00002e32: ISZERO
00002e33: AND
00002e34: ISZERO
00002e35: PUSH2 0x2e40
00002e38: JUMPI
00002e39: PUSH2 0x2e40
00002e3c: PUSH2 0x2e10
00002e3f: JUMP
00002e40: JUMPDEST
00002e41: POP
00002e42: MUL
00002e43: SWAP1
00002e44: JUMP
00002e45: JUMPDEST
00002e46: PUSH4 0x4e487b71
00002e4b: PUSH1 0xe0
00002e4d: SHL
00002e4e: PUSH1 0x00
00002e50: MSTORE
00002e51: PUSH1 0x32
00002e53: PUSH1 0x04
00002e55: MSTORE
00002e56: PUSH1 0x24
00002e58: PUSH1 0x00
00002e5a: REVERT
00002e5b: JUMPDEST
00002e5c: PUSH1 0x00
00002e5e: DUP3
00002e5f: DUP3
00002e60: LT
00002e61: ISZERO
00002e62: PUSH2 0x2e6d
00002e65: JUMPI
00002e66: PUSH2 0x2e6d
00002e69: PUSH2 0x2e10
00002e6c: JUMP
00002e6d: JUMPDEST
00002e6e: POP
00002e6f: SUB
00002e70: SWAP1
00002e71: JUMP
00002e72: JUMPDEST
00002e73: PUSH4 0x4e487b71
00002e78: PUSH1 0xe0
00002e7a: SHL
00002e7b: PUSH1 0x00
00002e7d: MSTORE
00002e7e: PUSH1 0x31
00002e80: PUSH1 0x04
00002e82: MSTORE
00002e83: PUSH1 0x24
00002e85: PUSH1 0x00
00002e87: REVERT
00002e88: JUMPDEST
00002e89: PUSH1 0x00
00002e8b: PUSH1 0x00
00002e8d: NOT
00002e8e: DUP3
00002e8f: EQ
00002e90: ISZERO
00002e91: PUSH2 0x2e9c
00002e94: JUMPI
00002e95: PUSH2 0x2e9c
00002e98: PUSH2 0x2e10
00002e9b: JUMP
00002e9c: JUMPDEST
00002e9d: POP
00002e9e: PUSH1 0x01
00002ea0: ADD
00002ea1: SWAP1
00002ea2: JUMP
00002ea3: JUMPDEST
00002ea4: PUSH1 0x00
00002ea6: PUSH1 0x20
00002ea8: DUP3
00002ea9: DUP5
00002eaa: SUB
00002eab: SLT
00002eac: ISZERO
00002ead: PUSH2 0x2eb5
00002eb0: JUMPI
00002eb1: PUSH1 0x00
00002eb3: DUP1
00002eb4: REVERT
00002eb5: JUMPDEST
00002eb6: POP
00002eb7: MLOAD
00002eb8: SWAP2
00002eb9: SWAP1
00002eba: POP
00002ebb: JUMP
00002ebc: JUMPDEST
00002ebd: PUSH1 0x00
00002ebf: PUSH1 0x20
00002ec1: DUP3
00002ec2: DUP5
00002ec3: SUB
00002ec4: SLT
00002ec5: ISZERO
00002ec6: PUSH2 0x2ece
00002ec9: JUMPI
00002eca: PUSH1 0x00
00002ecc: DUP1
00002ecd: REVERT
00002ece: JUMPDEST
00002ecf: DUP2
00002ed0: MLOAD
00002ed1: PUSH2 0x0c08
00002ed4: DUP2
00002ed5: PUSH2 0x2c98
00002ed8: JUMP
00002ed9: JUMPDEST
00002eda: PUSH1 0x00
00002edc: DUP3
00002edd: NOT
00002ede: DUP3
00002edf: GT
00002ee0: ISZERO
00002ee1: PUSH2 0x2eec
00002ee4: JUMPI
00002ee5: PUSH2 0x2eec
00002ee8: PUSH2 0x2e10
00002eeb: JUMP
00002eec: JUMPDEST
00002eed: POP
00002eee: ADD
00002eef: SWAP1
00002ef0: JUMP
00002ef1: JUMPDEST
00002ef2: PUSH1 0x00
00002ef4: DUP3
00002ef5: PUSH2 0x2f0e
00002ef8: JUMPI
00002ef9: PUSH4 0x4e487b71
00002efe: PUSH1 0xe0
00002f00: SHL
00002f01: PUSH1 0x00
00002f03: MSTORE
00002f04: PUSH1 0x12
00002f06: PUSH1 0x04
00002f08: MSTORE
00002f09: PUSH1 0x24
00002f0b: PUSH1 0x00
00002f0d: REVERT
00002f0e: JUMPDEST
00002f0f: POP
00002f10: DIV
00002f11: SWAP1
00002f12: JUMP
00002f13: JUMPDEST
00002f14: PUSH1 0x00
00002f16: PUSH1 0x20
00002f18: DUP3
00002f19: DUP5
00002f1a: SUB
00002f1b: SLT
00002f1c: ISZERO
00002f1d: PUSH2 0x2f25
00002f20: JUMPI
00002f21: PUSH1 0x00
00002f23: DUP1
00002f24: REVERT
00002f25: JUMPDEST
00002f26: DUP2
00002f27: MLOAD
00002f28: PUSH2 0x0c08
00002f2b: DUP2
00002f2c: PUSH2 0x2b52
00002f2f: JUMP
00002f30: JUMPDEST
00002f31: PUSH1 0x00
00002f33: PUSH1 0xa0
00002f35: DUP3
00002f36: ADD
00002f37: DUP8
00002f38: DUP4
00002f39: MSTORE
00002f3a: PUSH1 0x20
00002f3c: DUP8
00002f3d: DUP2
00002f3e: DUP6
00002f3f: ADD
00002f40: MSTORE
00002f41: PUSH1 0xa0
00002f43: PUSH1 0x40
00002f45: DUP6
00002f46: ADD
00002f47: MSTORE
00002f48: DUP2
00002f49: DUP8
00002f4a: MLOAD
00002f4b: DUP1
00002f4c: DUP5
00002f4d: MSTORE
00002f4e: PUSH1 0xc0
00002f50: DUP7
00002f51: ADD
00002f52: SWAP2
00002f53: POP
00002f54: DUP3
00002f55: DUP10
00002f56: ADD
00002f57: SWAP4
00002f58: POP
00002f59: PUSH1 0x00
00002f5b: JUMPDEST
00002f5c: DUP2
00002f5d: DUP2
00002f5e: LT
00002f5f: ISZERO
00002f60: PUSH2 0x2f80
00002f63: JUMPI
00002f64: DUP5
00002f65: MLOAD
00002f66: PUSH1 0x01
00002f68: PUSH1 0x01
00002f6a: PUSH1 0xa0
00002f6c: SHL
00002f6d: SUB
00002f6e: AND
00002f6f: DUP4
00002f70: MSTORE
00002f71: SWAP4
00002f72: DUP4
00002f73: ADD
00002f74: SWAP4
00002f75: SWAP2
00002f76: DUP4
00002f77: ADD
00002f78: SWAP2
00002f79: PUSH1 0x01
00002f7b: ADD
00002f7c: PUSH2 0x2f5b
00002f7f: JUMP
00002f80: JUMPDEST
00002f81: POP
00002f82: POP
00002f83: PUSH1 0x01
00002f85: PUSH1 0x01
00002f87: PUSH1 0xa0
00002f89: SHL
00002f8a: SUB
00002f8b: SWAP7
00002f8c: SWAP1
00002f8d: SWAP7
00002f8e: AND
00002f8f: PUSH1 0x60
00002f91: DUP6
00002f92: ADD
00002f93: MSTORE
00002f94: POP
00002f95: POP
00002f96: POP
00002f97: PUSH1 0x80
00002f99: ADD
00002f9a: MSTORE
00002f9b: SWAP4
00002f9c: SWAP3
00002f9d: POP
00002f9e: POP
00002f9f: POP
00002fa0: JUMP
00002fa1: JUMPDEST
00002fa2: PUSH1 0x00
00002fa4: DUP1
00002fa5: PUSH1 0x00
00002fa7: PUSH1 0x60
00002fa9: DUP5
00002faa: DUP7
00002fab: SUB
00002fac: SLT
00002fad: ISZERO
00002fae: PUSH2 0x2fb6
00002fb1: JUMPI
00002fb2: PUSH1 0x00
00002fb4: DUP1
00002fb5: REVERT
00002fb6: JUMPDEST
00002fb7: DUP4
00002fb8: MLOAD
00002fb9: SWAP3
00002fba: POP
00002fbb: PUSH1 0x20
00002fbd: DUP5
00002fbe: ADD
00002fbf: MLOAD
00002fc0: SWAP2
00002fc1: POP
00002fc2: PUSH1 0x40
00002fc4: DUP5
00002fc5: ADD
00002fc6: MLOAD
00002fc7: SWAP1
00002fc8: POP
00002fc9: SWAP3
00002fca: POP
00002fcb: SWAP3
00002fcc: POP
00002fcd: SWAP3
00002fce: JUMP
00002fcf: INVALID
00002fd0: GASLIMIT
00002fd1: MSTORE
00002fd2: NUMBER
00002fd3: ORIGIN
00002fd4: ADDRESS
00002fd5: GASPRICE
00002fd6: KECCAK256
00002fd7: PUSH21 0x72616e7366657220616d6f756e7420657863656564
00002fed: PUSH20 0x20616c6c6f77616e63658be0079c531659141344
00003002: UNKNOWN(0xCD)
00003003: UNKNOWN(0x1F)
00003004: UNKNOWN(0xD0)
00003005: LOG4
00003006: CALLCODE
00003007: DUP5
00003008: NOT
00003009: BLOBHASH
0000300a: PUSH32 0x9722a3daafe3b4186f6b6457e045524332303a2064656372656173656420616c
0000302b: PUSH13 0x6f77616e63652062656c6f7720
00003039: PUSH27 0x65726fa2646970667358221220e18c9610076af65e8029a1cdc1e3
00003055: PUSH7 0xd8c96439dc10b2
0000305d: SWAP13
0000305e: UNKNOWN(0x21)
0000305f: UNKNOWN(0xDE)
00003060: EXP
00003061: SHL
00003062: PUSH11 0xeab2c1bd64736f6c634300
0000306e: ADDMOD
0000306f: MULMOD
00003070: STOP
00003071: CALLER
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	auth	detector	Authorization based on tx.origin	70	no	—	view validation_json { "reason": "missing sink mapping", "status": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe8c4c43c", "selector": "0xe8c4c43c", "calldata_variants": [ "0xe8c4c43c", "0xe8c4c43c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xea2f0b37", "selector": "0xea2f0b37", "calldata_variants": [ "0xea2f0b37", "0xea2f0b370000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd12a7688", "selector": "0xd12a7688", "calldata_variants": [ "0xd12a7688", "0xd12a76880000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd4a3883f", "selector": "0xd4a3883f", "calldata_variants": [ "0xd4a3883f", "0xd4a3883f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd467064", "selector": "0xdd467064", "calldata_variants": [ "0xdd467064", "0xdd4670640000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa457c2d7", "selector": "0xa457c2d7", "calldata_variants": [ "0xa457c2d7", "0xa457c2d70000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 12243, "type": "tx_origin_used" } ] }
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0xc157d19bff2267ae9abb8ac8a47a65ea0de5b8c3cb53e6a7b1e4fd39a0023016 call_targets: 0xa1817b6d8d890f3943b61648992730373b71f156 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xc157d19bff2267ae9abb8ac8a47a65ea0de5b8c3cb53e6a7b1e4fd39a0023016", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xa1817b6d8d890f3943b61648992730373b71f156" ], "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": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe8c4c43c", "selector": "0xe8c4c43c", "calldata_variants": [ "0xe8c4c43c", "0xe8c4c43c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xea2f0b37", "selector": "0xea2f0b37", "calldata_variants": [ "0xea2f0b37", "0xea2f0b370000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd12a7688", "selector": "0xd12a7688", "calldata_variants": [ "0xd12a7688", "0xd12a76880000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd4a3883f", "selector": "0xd4a3883f", "calldata_variants": [ "0xd4a3883f", "0xd4a3883f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd467064", "selector": "0xdd467064", "calldata_variants": [ "0xdd467064", "0xdd4670640000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa457c2d7", "selector": "0xa457c2d7", "calldata_variants": [ "0xa457c2d7", "0xa457c2d70000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3824, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4412, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 5118, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 7, "guards_detected": [ { "pc": 12243, "type": "tx_origin_used" } ], "untrusted_call_count": 7 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0xc157d19bff2267ae9abb8ac8a47a65ea0de5b8c3cb53e6a7b1e4fd39a0023016 call_targets: 0xa1817b6d8d890f3943b61648992730373b71f156 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xc157d19bff2267ae9abb8ac8a47a65ea0de5b8c3cb53e6a7b1e4fd39a0023016", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xa1817b6d8d890f3943b61648992730373b71f156" ], "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": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe8c4c43c", "selector": "0xe8c4c43c", "calldata_variants": [ "0xe8c4c43c", "0xe8c4c43c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xea2f0b37", "selector": "0xea2f0b37", "calldata_variants": [ "0xea2f0b37", "0xea2f0b370000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd12a7688", "selector": "0xd12a7688", "calldata_variants": [ "0xd12a7688", "0xd12a76880000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd4a3883f", "selector": "0xd4a3883f", "calldata_variants": [ "0xd4a3883f", "0xd4a3883f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd467064", "selector": "0xdd467064", "calldata_variants": [ "0xdd467064", "0xdd4670640000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa457c2d7", "selector": "0xa457c2d7", "calldata_variants": [ "0xa457c2d7", "0xa457c2d70000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3824, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4412, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 5118, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 7, "guards_detected": [ { "pc": 12243, "type": "tx_origin_used" } ] }
Severity