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

019b477e-c61a-73fd-9b72-845633d14e74
complete
Chain ID
Address
0xd127b3b8b52b61385f7d9de48a8a570c8f972095
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
25715	artifact.fetch	complete	1 / 3	3 months ago
25716	tool.cast_disasm	complete	1 / 3	3 months ago
69034	analysis.bundle	complete	1 / 3	2 weeks ago
69035	capability.graph	complete	1 / 3	2 weeks ago
69036	detector.run	complete	1 / 3	2 weeks ago
69037	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
8182
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 0x0317
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x931688cb
00000019: GT
0000001a: PUSH2 0x019a
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xce7c2ac2
00000024: GT
00000025: PUSH2 0x00e1
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xe4e5da85
0000002f: GT
00000030: PUSH2 0x008a
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xf2fde38b
0000003a: GT
0000003b: PUSH2 0x0064
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf2fde38b
00000045: EQ
00000046: PUSH2 0x0931
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xfa6f5958
00000050: EQ
00000051: PUSH2 0x0951
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xffe630b5
0000005b: EQ
0000005c: PUSH2 0x096d
0000005f: JUMPI
00000060: PUSH1 0x00
00000062: DUP1
00000063: REVERT
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0xe4e5da85
0000006b: EQ
0000006c: PUSH2 0x08b2
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xe985e9c5
00000076: EQ
00000077: PUSH2 0x08c8
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xec17b20e
00000081: EQ
00000082: PUSH2 0x0911
00000085: JUMPI
00000086: PUSH1 0x00
00000088: DUP1
00000089: REVERT
0000008a: JUMPDEST
0000008b: DUP1
0000008c: PUSH4 0xd91c98d3
00000091: GT
00000092: PUSH2 0x00bb
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0xd91c98d3
0000009c: EQ
0000009d: PUSH2 0x0871
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xdc8c57b4
000000a7: EQ
000000a8: PUSH2 0x0887
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0xe33b7de3
000000b2: EQ
000000b3: PUSH2 0x089d
000000b6: JUMPI
000000b7: PUSH1 0x00
000000b9: DUP1
000000ba: REVERT
000000bb: JUMPDEST
000000bc: DUP1
000000bd: PUSH4 0xce7c2ac2
000000c2: EQ
000000c3: PUSH2 0x07ef
000000c6: JUMPI
000000c7: DUP1
000000c8: PUSH4 0xd7224ba0
000000cd: EQ
000000ce: PUSH2 0x0825
000000d1: JUMPI
000000d2: DUP1
000000d3: PUSH4 0xd79779b2
000000d8: EQ
000000d9: PUSH2 0x083b
000000dc: JUMPI
000000dd: PUSH1 0x00
000000df: DUP1
000000e0: REVERT
000000e1: JUMPDEST
000000e2: DUP1
000000e3: PUSH4 0xa22cb465
000000e8: GT
000000e9: PUSH2 0x0143
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0xb88d4fde
000000f3: GT
000000f4: PUSH2 0x011d
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0xb88d4fde
000000fe: EQ
000000ff: PUSH2 0x078f
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0xc67f3702
00000109: EQ
0000010a: PUSH2 0x07af
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0xc87b56dd
00000114: EQ
00000115: PUSH2 0x07cf
00000118: JUMPI
00000119: PUSH1 0x00
0000011b: DUP1
0000011c: REVERT
0000011d: JUMPDEST
0000011e: DUP1
0000011f: PUSH4 0xa22cb465
00000124: EQ
00000125: PUSH2 0x073a
00000128: JUMPI
00000129: DUP1
0000012a: PUSH4 0xa32b1ba9
0000012f: EQ
00000130: PUSH2 0x075a
00000133: JUMPI
00000134: DUP1
00000135: PUSH4 0xb5c31038
0000013a: EQ
0000013b: PUSH2 0x076f
0000013e: JUMPI
0000013f: PUSH1 0x00
00000141: DUP1
00000142: REVERT
00000143: JUMPDEST
00000144: DUP1
00000145: PUSH4 0x9852595c
0000014a: GT
0000014b: PUSH2 0x0174
0000014e: JUMPI
0000014f: DUP1
00000150: PUSH4 0x9852595c
00000155: EQ
00000156: PUSH2 0x06d1
00000159: JUMPI
0000015a: DUP1
0000015b: PUSH4 0x9b2f8d1d
00000160: EQ
00000161: PUSH2 0x0707
00000164: JUMPI
00000165: DUP1
00000166: PUSH4 0xa0712d68
0000016b: EQ
0000016c: PUSH2 0x0727
0000016f: JUMPI
00000170: PUSH1 0x00
00000172: DUP1
00000173: REVERT
00000174: JUMPDEST
00000175: DUP1
00000176: PUSH4 0x931688cb
0000017b: EQ
0000017c: PUSH2 0x067c
0000017f: JUMPI
00000180: DUP1
00000181: PUSH4 0x94985ddd
00000186: EQ
00000187: PUSH2 0x069c
0000018a: JUMPI
0000018b: DUP1
0000018c: PUSH4 0x95d89b41
00000191: EQ
00000192: PUSH2 0x06bc
00000195: JUMPI
00000196: PUSH1 0x00
00000198: DUP1
00000199: REVERT
0000019a: JUMPDEST
0000019b: DUP1
0000019c: PUSH4 0x409b06b5
000001a1: GT
000001a2: PUSH2 0x025e
000001a5: JUMPI
000001a6: DUP1
000001a7: PUSH4 0x6352211e
000001ac: GT
000001ad: PUSH2 0x0207
000001b0: JUMPI
000001b1: DUP1
000001b2: PUSH4 0x715018a6
000001b7: GT
000001b8: PUSH2 0x01e1
000001bb: JUMPI
000001bc: DUP1
000001bd: PUSH4 0x715018a6
000001c2: EQ
000001c3: PUSH2 0x0629
000001c6: JUMPI
000001c7: DUP1
000001c8: PUSH4 0x8b83209b
000001cd: EQ
000001ce: PUSH2 0x063e
000001d1: JUMPI
000001d2: DUP1
000001d3: PUSH4 0x8da5cb5b
000001d8: EQ
000001d9: PUSH2 0x065e
000001dc: JUMPI
000001dd: PUSH1 0x00
000001df: DUP1
000001e0: REVERT
000001e1: JUMPDEST
000001e2: DUP1
000001e3: PUSH4 0x6352211e
000001e8: EQ
000001e9: PUSH2 0x05d4
000001ec: JUMPI
000001ed: DUP1
000001ee: PUSH4 0x6c0360eb
000001f3: EQ
000001f4: PUSH2 0x05f4
000001f7: JUMPI
000001f8: DUP1
000001f9: PUSH4 0x70a08231
000001fe: EQ
000001ff: PUSH2 0x0609
00000202: JUMPI
00000203: PUSH1 0x00
00000205: DUP1
00000206: REVERT
00000207: JUMPDEST
00000208: DUP1
00000209: PUSH4 0x4c261247
0000020e: GT
0000020f: PUSH2 0x0238
00000212: JUMPI
00000213: DUP1
00000214: PUSH4 0x4c261247
00000219: EQ
0000021a: PUSH2 0x057a
0000021d: JUMPI
0000021e: DUP1
0000021f: PUSH4 0x4f6ccce7
00000224: EQ
00000225: PUSH2 0x059a
00000228: JUMPI
00000229: DUP1
0000022a: PUSH4 0x51830227
0000022f: EQ
00000230: PUSH2 0x05ba
00000233: JUMPI
00000234: PUSH1 0x00
00000236: DUP1
00000237: REVERT
00000238: JUMPDEST
00000239: DUP1
0000023a: PUSH4 0x409b06b5
0000023f: EQ
00000240: PUSH2 0x0525
00000243: JUMPI
00000244: DUP1
00000245: PUSH4 0x42842e0e
0000024a: EQ
0000024b: PUSH2 0x053a
0000024e: JUMPI
0000024f: DUP1
00000250: PUSH4 0x48b75044
00000255: EQ
00000256: PUSH2 0x055a
00000259: JUMPI
0000025a: PUSH1 0x00
0000025c: DUP1
0000025d: REVERT
0000025e: JUMPDEST
0000025f: DUP1
00000260: PUSH4 0x19165587
00000265: GT
00000266: PUSH2 0x02c0
00000269: JUMPI
0000026a: DUP1
0000026b: PUSH4 0x2f745c59
00000270: GT
00000271: PUSH2 0x029a
00000274: JUMPI
00000275: DUP1
00000276: PUSH4 0x2f745c59
0000027b: EQ
0000027c: PUSH2 0x04aa
0000027f: JUMPI
00000280: DUP1
00000281: PUSH4 0x3a98ef39
00000286: EQ
00000287: PUSH2 0x04ca
0000028a: JUMPI
0000028b: DUP1
0000028c: PUSH4 0x406072a9
00000291: EQ
00000292: PUSH2 0x04df
00000295: JUMPI
00000296: PUSH1 0x00
00000298: DUP1
00000299: REVERT
0000029a: JUMPDEST
0000029b: DUP1
0000029c: PUSH4 0x19165587
000002a1: EQ
000002a2: PUSH2 0x044a
000002a5: JUMPI
000002a6: DUP1
000002a7: PUSH4 0x235cea98
000002ac: EQ
000002ad: PUSH2 0x046a
000002b0: JUMPI
000002b1: DUP1
000002b2: PUSH4 0x23b872dd
000002b7: EQ
000002b8: PUSH2 0x048a
000002bb: JUMPI
000002bc: PUSH1 0x00
000002be: DUP1
000002bf: REVERT
000002c0: JUMPDEST
000002c1: DUP1
000002c2: PUSH4 0x095ea7b3
000002c7: GT
000002c8: PUSH2 0x02f1
000002cb: JUMPI
000002cc: DUP1
000002cd: PUSH4 0x095ea7b3
000002d2: EQ
000002d3: PUSH2 0x03f4
000002d6: JUMPI
000002d7: DUP1
000002d8: PUSH4 0x0f7309e8
000002dd: EQ
000002de: PUSH2 0x0416
000002e1: JUMPI
000002e2: DUP1
000002e3: PUSH4 0x18160ddd
000002e8: EQ
000002e9: PUSH2 0x042b
000002ec: JUMPI
000002ed: PUSH1 0x00
000002ef: DUP1
000002f0: REVERT
000002f1: JUMPDEST
000002f2: DUP1
000002f3: PUSH4 0x01ffc9a7
000002f8: EQ
000002f9: PUSH2 0x0365
000002fc: JUMPI
000002fd: DUP1
000002fe: PUSH4 0x06fdde03
00000303: EQ
00000304: PUSH2 0x039a
00000307: JUMPI
00000308: DUP1
00000309: PUSH4 0x081812fc
0000030e: EQ
0000030f: PUSH2 0x03bc
00000312: JUMPI
00000313: PUSH1 0x00
00000315: DUP1
00000316: REVERT
00000317: JUMPDEST
00000318: CALLDATASIZE
00000319: PUSH2 0x0360
0000031c: JUMPI
0000031d: PUSH32 0x6ef95f06320e7a25a04a175ca677b7052bdd97131872c2192525a629f51be770
0000033e: CALLER
0000033f: PUSH1 0x40
00000341: DUP1
00000342: MLOAD
00000343: PUSH1 0x01
00000345: PUSH1 0x01
00000347: PUSH1 0xa0
00000349: SHL
0000034a: SUB
0000034b: SWAP1
0000034c: SWAP3
0000034d: AND
0000034e: DUP3
0000034f: MSTORE
00000350: CALLVALUE
00000351: PUSH1 0x20
00000353: DUP4
00000354: ADD
00000355: MSTORE
00000356: ADD
00000357: PUSH1 0x40
00000359: MLOAD
0000035a: DUP1
0000035b: SWAP2
0000035c: SUB
0000035d: SWAP1
0000035e: LOG1
0000035f: STOP
00000360: JUMPDEST
00000361: PUSH1 0x00
00000363: DUP1
00000364: REVERT
00000365: JUMPDEST
00000366: CALLVALUE
00000367: DUP1
00000368: ISZERO
00000369: PUSH2 0x0371
0000036c: JUMPI
0000036d: PUSH1 0x00
0000036f: DUP1
00000370: REVERT
00000371: JUMPDEST
00000372: POP
00000373: PUSH2 0x0385
00000376: PUSH2 0x0380
00000379: CALLDATASIZE
0000037a: PUSH1 0x04
0000037c: PUSH2 0x3735
0000037f: JUMP
00000380: JUMPDEST
00000381: PUSH2 0x098d
00000384: JUMP
00000385: JUMPDEST
00000386: PUSH1 0x40
00000388: MLOAD
00000389: SWAP1
0000038a: ISZERO
0000038b: ISZERO
0000038c: DUP2
0000038d: MSTORE
0000038e: PUSH1 0x20
00000390: ADD
00000391: JUMPDEST
00000392: PUSH1 0x40
00000394: MLOAD
00000395: DUP1
00000396: SWAP2
00000397: SUB
00000398: SWAP1
00000399: RETURN
0000039a: JUMPDEST
0000039b: CALLVALUE
0000039c: DUP1
0000039d: ISZERO
0000039e: PUSH2 0x03a6
000003a1: JUMPI
000003a2: PUSH1 0x00
000003a4: DUP1
000003a5: REVERT
000003a6: JUMPDEST
000003a7: POP
000003a8: PUSH2 0x03af
000003ab: PUSH2 0x0a5e
000003ae: JUMP
000003af: JUMPDEST
000003b0: PUSH1 0x40
000003b2: MLOAD
000003b3: PUSH2 0x0391
000003b6: SWAP2
000003b7: SWAP1
000003b8: PUSH2 0x3967
000003bb: JUMP
000003bc: JUMPDEST
000003bd: CALLVALUE
000003be: DUP1
000003bf: ISZERO
000003c0: PUSH2 0x03c8
000003c3: JUMPI
000003c4: PUSH1 0x00
000003c6: DUP1
000003c7: REVERT
000003c8: JUMPDEST
000003c9: POP
000003ca: PUSH2 0x03dc
000003cd: PUSH2 0x03d7
000003d0: CALLDATASIZE
000003d1: PUSH1 0x04
000003d3: PUSH2 0x383b
000003d6: JUMP
000003d7: JUMPDEST
000003d8: PUSH2 0x0af0
000003db: JUMP
000003dc: JUMPDEST
000003dd: PUSH1 0x40
000003df: MLOAD
000003e0: PUSH1 0x01
000003e2: PUSH1 0x01
000003e4: PUSH1 0xa0
000003e6: SHL
000003e7: SUB
000003e8: SWAP1
000003e9: SWAP2
000003ea: AND
000003eb: DUP2
000003ec: MSTORE
000003ed: PUSH1 0x20
000003ef: ADD
000003f0: PUSH2 0x0391
000003f3: JUMP
000003f4: JUMPDEST
000003f5: CALLVALUE
000003f6: DUP1
000003f7: ISZERO
000003f8: PUSH2 0x0400
000003fb: JUMPI
000003fc: PUSH1 0x00
000003fe: DUP1
000003ff: REVERT
00000400: JUMPDEST
00000401: POP
00000402: PUSH2 0x0414
00000405: PUSH2 0x040f
00000408: CALLDATASIZE
00000409: PUSH1 0x04
0000040b: PUSH2 0x36b1
0000040e: JUMP
0000040f: JUMPDEST
00000410: PUSH2 0x0b90
00000413: JUMP
00000414: JUMPDEST
00000415: STOP
00000416: JUMPDEST
00000417: CALLVALUE
00000418: DUP1
00000419: ISZERO
0000041a: PUSH2 0x0422
0000041d: JUMPI
0000041e: PUSH1 0x00
00000420: DUP1
00000421: REVERT
00000422: JUMPDEST
00000423: POP
00000424: PUSH2 0x03af
00000427: PUSH2 0x0cc3
0000042a: JUMP
0000042b: JUMPDEST
0000042c: CALLVALUE
0000042d: DUP1
0000042e: ISZERO
0000042f: PUSH2 0x0437
00000432: JUMPI
00000433: PUSH1 0x00
00000435: DUP1
00000436: REVERT
00000437: JUMPDEST
00000438: POP
00000439: PUSH1 0x00
0000043b: SLOAD
0000043c: JUMPDEST
0000043d: PUSH1 0x40
0000043f: MLOAD
00000440: SWAP1
00000441: DUP2
00000442: MSTORE
00000443: PUSH1 0x20
00000445: ADD
00000446: PUSH2 0x0391
00000449: JUMP
0000044a: JUMPDEST
0000044b: CALLVALUE
0000044c: DUP1
0000044d: ISZERO
0000044e: PUSH2 0x0456
00000451: JUMPI
00000452: PUSH1 0x00
00000454: DUP1
00000455: REVERT
00000456: JUMPDEST
00000457: POP
00000458: PUSH2 0x0414
0000045b: PUSH2 0x0465
0000045e: CALLDATASIZE
0000045f: PUSH1 0x04
00000461: PUSH2 0x356c
00000464: JUMP
00000465: JUMPDEST
00000466: PUSH2 0x0d51
00000469: JUMP
0000046a: JUMPDEST
0000046b: CALLVALUE
0000046c: DUP1
0000046d: ISZERO
0000046e: PUSH2 0x0476
00000471: JUMPI
00000472: PUSH1 0x00
00000474: DUP1
00000475: REVERT
00000476: JUMPDEST
00000477: POP
00000478: PUSH1 0x1a
0000047a: SLOAD
0000047b: PUSH2 0x03dc
0000047e: SWAP1
0000047f: PUSH1 0x01
00000481: PUSH1 0x01
00000483: PUSH1 0xa0
00000485: SHL
00000486: SUB
00000487: AND
00000488: DUP2
00000489: JUMP
0000048a: JUMPDEST
0000048b: CALLVALUE
0000048c: DUP1
0000048d: ISZERO
0000048e: PUSH2 0x0496
00000491: JUMPI
00000492: PUSH1 0x00
00000494: DUP1
00000495: REVERT
00000496: JUMPDEST
00000497: POP
00000498: PUSH2 0x0414
0000049b: PUSH2 0x04a5
0000049e: CALLDATASIZE
0000049f: PUSH1 0x04
000004a1: PUSH2 0x35c2
000004a4: JUMP
000004a5: JUMPDEST
000004a6: PUSH2 0x0f2b
000004a9: JUMP
000004aa: JUMPDEST
000004ab: CALLVALUE
000004ac: DUP1
000004ad: ISZERO
000004ae: PUSH2 0x04b6
000004b1: JUMPI
000004b2: PUSH1 0x00
000004b4: DUP1
000004b5: REVERT
000004b6: JUMPDEST
000004b7: POP
000004b8: PUSH2 0x043c
000004bb: PUSH2 0x04c5
000004be: CALLDATASIZE
000004bf: PUSH1 0x04
000004c1: PUSH2 0x36b1
000004c4: JUMP
000004c5: JUMPDEST
000004c6: PUSH2 0x0f36
000004c9: JUMP
000004ca: JUMPDEST
000004cb: CALLVALUE
000004cc: DUP1
000004cd: ISZERO
000004ce: PUSH2 0x04d6
000004d1: JUMPI
000004d2: PUSH1 0x00
000004d4: DUP1
000004d5: REVERT
000004d6: JUMPDEST
000004d7: POP
000004d8: PUSH1 0x08
000004da: SLOAD
000004db: PUSH2 0x043c
000004de: JUMP
000004df: JUMPDEST
000004e0: CALLVALUE
000004e1: DUP1
000004e2: ISZERO
000004e3: PUSH2 0x04eb
000004e6: JUMPI
000004e7: PUSH1 0x00
000004e9: DUP1
000004ea: REVERT
000004eb: JUMPDEST
000004ec: POP
000004ed: PUSH2 0x043c
000004f0: PUSH2 0x04fa
000004f3: CALLDATASIZE
000004f4: PUSH1 0x04
000004f6: PUSH2 0x3589
000004f9: JUMP
000004fa: JUMPDEST
000004fb: PUSH1 0x01
000004fd: PUSH1 0x01
000004ff: PUSH1 0xa0
00000501: SHL
00000502: SUB
00000503: SWAP2
00000504: DUP3
00000505: AND
00000506: PUSH1 0x00
00000508: SWAP1
00000509: DUP2
0000050a: MSTORE
0000050b: PUSH1 0x0e
0000050d: PUSH1 0x20
0000050f: SWAP1
00000510: DUP2
00000511: MSTORE
00000512: PUSH1 0x40
00000514: DUP1
00000515: DUP4
00000516: KECCAK256
00000517: SWAP4
00000518: SWAP1
00000519: SWAP5
0000051a: AND
0000051b: DUP3
0000051c: MSTORE
0000051d: SWAP2
0000051e: SWAP1
0000051f: SWAP2
00000520: MSTORE
00000521: KECCAK256
00000522: SLOAD
00000523: SWAP1
00000524: JUMP
00000525: JUMPDEST
00000526: CALLVALUE
00000527: DUP1
00000528: ISZERO
00000529: PUSH2 0x0531
0000052c: JUMPI
0000052d: PUSH1 0x00
0000052f: DUP1
00000530: REVERT
00000531: JUMPDEST
00000532: POP
00000533: PUSH2 0x043c
00000536: PUSH1 0x05
00000538: DUP2
00000539: JUMP
0000053a: JUMPDEST
0000053b: CALLVALUE
0000053c: DUP1
0000053d: ISZERO
0000053e: PUSH2 0x0546
00000541: JUMPI
00000542: PUSH1 0x00
00000544: DUP1
00000545: REVERT
00000546: JUMPDEST
00000547: POP
00000548: PUSH2 0x0414
0000054b: PUSH2 0x0555
0000054e: CALLDATASIZE
0000054f: PUSH1 0x04
00000551: PUSH2 0x35c2
00000554: JUMP
00000555: JUMPDEST
00000556: PUSH2 0x10ce
00000559: JUMP
0000055a: JUMPDEST
0000055b: CALLVALUE
0000055c: DUP1
0000055d: ISZERO
0000055e: PUSH2 0x0566
00000561: JUMPI
00000562: PUSH1 0x00
00000564: DUP1
00000565: REVERT
00000566: JUMPDEST
00000567: POP
00000568: PUSH2 0x0414
0000056b: PUSH2 0x0575
0000056e: CALLDATASIZE
0000056f: PUSH1 0x04
00000571: PUSH2 0x3589
00000574: JUMP
00000575: JUMPDEST
00000576: PUSH2 0x10e9
00000579: JUMP
0000057a: JUMPDEST
0000057b: CALLVALUE
0000057c: DUP1
0000057d: ISZERO
0000057e: PUSH2 0x0586
00000581: JUMPI
00000582: PUSH1 0x00
00000584: DUP1
00000585: REVERT
00000586: JUMPDEST
00000587: POP
00000588: PUSH2 0x0414
0000058b: PUSH2 0x0595
0000058e: CALLDATASIZE
0000058f: PUSH1 0x04
00000591: PUSH2 0x37f2
00000594: JUMP
00000595: JUMPDEST
00000596: PUSH2 0x1396
00000599: JUMP
0000059a: JUMPDEST
0000059b: CALLVALUE
0000059c: DUP1
0000059d: ISZERO
0000059e: PUSH2 0x05a6
000005a1: JUMPI
000005a2: PUSH1 0x00
000005a4: DUP1
000005a5: REVERT
000005a6: JUMPDEST
000005a7: POP
000005a8: PUSH2 0x043c
000005ab: PUSH2 0x05b5
000005ae: CALLDATASIZE
000005af: PUSH1 0x04
000005b1: PUSH2 0x383b
000005b4: JUMP
000005b5: JUMPDEST
000005b6: PUSH2 0x1467
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: PUSH1 0x14
000005ca: SLOAD
000005cb: PUSH2 0x0385
000005ce: SWAP1
000005cf: PUSH1 0xff
000005d1: AND
000005d2: DUP2
000005d3: JUMP
000005d4: JUMPDEST
000005d5: CALLVALUE
000005d6: DUP1
000005d7: ISZERO
000005d8: PUSH2 0x05e0
000005db: JUMPI
000005dc: PUSH1 0x00
000005de: DUP1
000005df: REVERT
000005e0: JUMPDEST
000005e1: POP
000005e2: PUSH2 0x03dc
000005e5: PUSH2 0x05ef
000005e8: CALLDATASIZE
000005e9: PUSH1 0x04
000005eb: PUSH2 0x383b
000005ee: JUMP
000005ef: JUMPDEST
000005f0: PUSH2 0x14e3
000005f3: JUMP
000005f4: JUMPDEST
000005f5: CALLVALUE
000005f6: DUP1
000005f7: ISZERO
000005f8: PUSH2 0x0600
000005fb: JUMPI
000005fc: PUSH1 0x00
000005fe: DUP1
000005ff: REVERT
00000600: JUMPDEST
00000601: POP
00000602: PUSH2 0x03af
00000605: PUSH2 0x14f5
00000608: JUMP
00000609: JUMPDEST
0000060a: CALLVALUE
0000060b: DUP1
0000060c: ISZERO
0000060d: PUSH2 0x0615
00000610: JUMPI
00000611: PUSH1 0x00
00000613: DUP1
00000614: REVERT
00000615: JUMPDEST
00000616: POP
00000617: PUSH2 0x043c
0000061a: PUSH2 0x0624
0000061d: CALLDATASIZE
0000061e: PUSH1 0x04
00000620: PUSH2 0x356c
00000623: JUMP
00000624: JUMPDEST
00000625: PUSH2 0x1502
00000628: JUMP
00000629: JUMPDEST
0000062a: CALLVALUE
0000062b: DUP1
0000062c: ISZERO
0000062d: PUSH2 0x0635
00000630: JUMPI
00000631: PUSH1 0x00
00000633: DUP1
00000634: REVERT
00000635: JUMPDEST
00000636: POP
00000637: PUSH2 0x0414
0000063a: PUSH2 0x15ae
0000063d: JUMP
0000063e: JUMPDEST
0000063f: CALLVALUE
00000640: DUP1
00000641: ISZERO
00000642: PUSH2 0x064a
00000645: JUMPI
00000646: PUSH1 0x00
00000648: DUP1
00000649: REVERT
0000064a: JUMPDEST
0000064b: POP
0000064c: PUSH2 0x03dc
0000064f: PUSH2 0x0659
00000652: CALLDATASIZE
00000653: PUSH1 0x04
00000655: PUSH2 0x383b
00000658: JUMP
00000659: JUMPDEST
0000065a: PUSH2 0x1614
0000065d: JUMP
0000065e: JUMPDEST
0000065f: CALLVALUE
00000660: DUP1
00000661: ISZERO
00000662: PUSH2 0x066a
00000665: JUMPI
00000666: PUSH1 0x00
00000668: DUP1
00000669: REVERT
0000066a: JUMPDEST
0000066b: POP
0000066c: PUSH1 0x0f
0000066e: SLOAD
0000066f: PUSH1 0x01
00000671: PUSH1 0x01
00000673: PUSH1 0xa0
00000675: SHL
00000676: SUB
00000677: AND
00000678: PUSH2 0x03dc
0000067b: JUMP
0000067c: JUMPDEST
0000067d: CALLVALUE
0000067e: DUP1
0000067f: ISZERO
00000680: PUSH2 0x0688
00000683: JUMPI
00000684: PUSH1 0x00
00000686: DUP1
00000687: REVERT
00000688: JUMPDEST
00000689: POP
0000068a: PUSH2 0x0414
0000068d: PUSH2 0x0697
00000690: CALLDATASIZE
00000691: PUSH1 0x04
00000693: PUSH2 0x37f2
00000696: JUMP
00000697: JUMPDEST
00000698: PUSH2 0x1644
0000069b: JUMP
0000069c: JUMPDEST
0000069d: CALLVALUE
0000069e: DUP1
0000069f: ISZERO
000006a0: PUSH2 0x06a8
000006a3: JUMPI
000006a4: PUSH1 0x00
000006a6: DUP1
000006a7: REVERT
000006a8: JUMPDEST
000006a9: POP
000006aa: PUSH2 0x0414
000006ad: PUSH2 0x06b7
000006b0: CALLDATASIZE
000006b1: PUSH1 0x04
000006b3: PUSH2 0x3713
000006b6: JUMP
000006b7: JUMPDEST
000006b8: PUSH2 0x16b5
000006bb: JUMP
000006bc: JUMPDEST
000006bd: CALLVALUE
000006be: DUP1
000006bf: ISZERO
000006c0: PUSH2 0x06c8
000006c3: JUMPI
000006c4: PUSH1 0x00
000006c6: DUP1
000006c7: REVERT
000006c8: JUMPDEST
000006c9: POP
000006ca: PUSH2 0x03af
000006cd: PUSH2 0x1737
000006d0: JUMP
000006d1: JUMPDEST
000006d2: CALLVALUE
000006d3: DUP1
000006d4: ISZERO
000006d5: PUSH2 0x06dd
000006d8: JUMPI
000006d9: PUSH1 0x00
000006db: DUP1
000006dc: REVERT
000006dd: JUMPDEST
000006de: POP
000006df: PUSH2 0x043c
000006e2: PUSH2 0x06ec
000006e5: CALLDATASIZE
000006e6: PUSH1 0x04
000006e8: PUSH2 0x356c
000006eb: JUMP
000006ec: JUMPDEST
000006ed: PUSH1 0x01
000006ef: PUSH1 0x01
000006f1: PUSH1 0xa0
000006f3: SHL
000006f4: SUB
000006f5: AND
000006f6: PUSH1 0x00
000006f8: SWAP1
000006f9: DUP2
000006fa: MSTORE
000006fb: PUSH1 0x0b
000006fd: PUSH1 0x20
000006ff: MSTORE
00000700: PUSH1 0x40
00000702: SWAP1
00000703: KECCAK256
00000704: SLOAD
00000705: SWAP1
00000706: JUMP
00000707: JUMPDEST
00000708: CALLVALUE
00000709: DUP1
0000070a: ISZERO
0000070b: PUSH2 0x0713
0000070e: JUMPI
0000070f: PUSH1 0x00
00000711: DUP1
00000712: REVERT
00000713: JUMPDEST
00000714: POP
00000715: PUSH1 0x19
00000717: SLOAD
00000718: PUSH2 0x03dc
0000071b: SWAP1
0000071c: PUSH1 0x01
0000071e: PUSH1 0x01
00000720: PUSH1 0xa0
00000722: SHL
00000723: SUB
00000724: AND
00000725: DUP2
00000726: JUMP
00000727: JUMPDEST
00000728: PUSH2 0x0414
0000072b: PUSH2 0x0735
0000072e: CALLDATASIZE
0000072f: PUSH1 0x04
00000731: PUSH2 0x383b
00000734: JUMP
00000735: JUMPDEST
00000736: PUSH2 0x1746
00000739: JUMP
0000073a: JUMPDEST
0000073b: CALLVALUE
0000073c: DUP1
0000073d: ISZERO
0000073e: PUSH2 0x0746
00000741: JUMPI
00000742: PUSH1 0x00
00000744: DUP1
00000745: REVERT
00000746: JUMPDEST
00000747: POP
00000748: PUSH2 0x0414
0000074b: PUSH2 0x0755
0000074e: CALLDATASIZE
0000074f: PUSH1 0x04
00000751: PUSH2 0x3683
00000754: JUMP
00000755: JUMPDEST
00000756: PUSH2 0x19b5
00000759: JUMP
0000075a: JUMPDEST
0000075b: CALLVALUE
0000075c: DUP1
0000075d: ISZERO
0000075e: PUSH2 0x0766
00000761: JUMPI
00000762: PUSH1 0x00
00000764: DUP1
00000765: REVERT
00000766: JUMPDEST
00000767: POP
00000768: PUSH2 0x043c
0000076b: PUSH2 0x1a7a
0000076e: JUMP
0000076f: JUMPDEST
00000770: CALLVALUE
00000771: DUP1
00000772: ISZERO
00000773: PUSH2 0x077b
00000776: JUMPI
00000777: PUSH1 0x00
00000779: DUP1
0000077a: REVERT
0000077b: JUMPDEST
0000077c: POP
0000077d: PUSH2 0x0414
00000780: PUSH2 0x078a
00000783: CALLDATASIZE
00000784: PUSH1 0x04
00000786: PUSH2 0x3713
00000789: JUMP
0000078a: JUMPDEST
0000078b: PUSH2 0x1c29
0000078e: JUMP
0000078f: JUMPDEST
00000790: CALLVALUE
00000791: DUP1
00000792: ISZERO
00000793: PUSH2 0x079b
00000796: JUMPI
00000797: PUSH1 0x00
00000799: DUP1
0000079a: REVERT
0000079b: JUMPDEST
0000079c: POP
0000079d: PUSH2 0x0414
000007a0: PUSH2 0x07aa
000007a3: CALLDATASIZE
000007a4: PUSH1 0x04
000007a6: PUSH2 0x3603
000007a9: JUMP
000007aa: JUMPDEST
000007ab: PUSH2 0x1c8e
000007ae: JUMP
000007af: JUMPDEST
000007b0: CALLVALUE
000007b1: DUP1
000007b2: ISZERO
000007b3: PUSH2 0x07bb
000007b6: JUMPI
000007b7: PUSH1 0x00
000007b9: DUP1
000007ba: REVERT
000007bb: JUMPDEST
000007bc: POP
000007bd: PUSH2 0x0414
000007c0: PUSH2 0x07ca
000007c3: CALLDATASIZE
000007c4: PUSH1 0x04
000007c6: PUSH2 0x376f
000007c9: JUMP
000007ca: JUMPDEST
000007cb: PUSH2 0x1d1d
000007ce: JUMP
000007cf: JUMPDEST
000007d0: CALLVALUE
000007d1: DUP1
000007d2: ISZERO
000007d3: PUSH2 0x07db
000007d6: JUMPI
000007d7: PUSH1 0x00
000007d9: DUP1
000007da: REVERT
000007db: JUMPDEST
000007dc: POP
000007dd: PUSH2 0x03af
000007e0: PUSH2 0x07ea
000007e3: CALLDATASIZE
000007e4: PUSH1 0x04
000007e6: PUSH2 0x383b
000007e9: JUMP
000007ea: JUMPDEST
000007eb: PUSH2 0x1e10
000007ee: JUMP
000007ef: JUMPDEST
000007f0: CALLVALUE
000007f1: DUP1
000007f2: ISZERO
000007f3: PUSH2 0x07fb
000007f6: JUMPI
000007f7: PUSH1 0x00
000007f9: DUP1
000007fa: REVERT
000007fb: JUMPDEST
000007fc: POP
000007fd: PUSH2 0x043c
00000800: PUSH2 0x080a
00000803: CALLDATASIZE
00000804: PUSH1 0x04
00000806: PUSH2 0x356c
00000809: JUMP
0000080a: JUMPDEST
0000080b: PUSH1 0x01
0000080d: PUSH1 0x01
0000080f: PUSH1 0xa0
00000811: SHL
00000812: SUB
00000813: AND
00000814: PUSH1 0x00
00000816: SWAP1
00000817: DUP2
00000818: MSTORE
00000819: PUSH1 0x0a
0000081b: PUSH1 0x20
0000081d: MSTORE
0000081e: PUSH1 0x40
00000820: SWAP1
00000821: KECCAK256
00000822: SLOAD
00000823: SWAP1
00000824: JUMP
00000825: JUMPDEST
00000826: CALLVALUE
00000827: DUP1
00000828: ISZERO
00000829: PUSH2 0x0831
0000082c: JUMPI
0000082d: PUSH1 0x00
0000082f: DUP1
00000830: REVERT
00000831: JUMPDEST
00000832: POP
00000833: PUSH2 0x043c
00000836: PUSH1 0x07
00000838: SLOAD
00000839: DUP2
0000083a: JUMP
0000083b: JUMPDEST
0000083c: CALLVALUE
0000083d: DUP1
0000083e: ISZERO
0000083f: PUSH2 0x0847
00000842: JUMPI
00000843: PUSH1 0x00
00000845: DUP1
00000846: REVERT
00000847: JUMPDEST
00000848: POP
00000849: PUSH2 0x043c
0000084c: PUSH2 0x0856
0000084f: CALLDATASIZE
00000850: PUSH1 0x04
00000852: PUSH2 0x356c
00000855: JUMP
00000856: JUMPDEST
00000857: PUSH1 0x01
00000859: PUSH1 0x01
0000085b: PUSH1 0xa0
0000085d: SHL
0000085e: SUB
0000085f: AND
00000860: PUSH1 0x00
00000862: SWAP1
00000863: DUP2
00000864: MSTORE
00000865: PUSH1 0x0d
00000867: PUSH1 0x20
00000869: MSTORE
0000086a: PUSH1 0x40
0000086c: SWAP1
0000086d: KECCAK256
0000086e: SLOAD
0000086f: SWAP1
00000870: JUMP
00000871: JUMPDEST
00000872: CALLVALUE
00000873: DUP1
00000874: ISZERO
00000875: PUSH2 0x087d
00000878: JUMPI
00000879: PUSH1 0x00
0000087b: DUP1
0000087c: REVERT
0000087d: JUMPDEST
0000087e: POP
0000087f: PUSH2 0x043c
00000882: PUSH1 0x12
00000884: SLOAD
00000885: DUP2
00000886: JUMP
00000887: JUMPDEST
00000888: CALLVALUE
00000889: DUP1
0000088a: ISZERO
0000088b: PUSH2 0x0893
0000088e: JUMPI
0000088f: PUSH1 0x00
00000891: DUP1
00000892: REVERT
00000893: JUMPDEST
00000894: POP
00000895: PUSH2 0x043c
00000898: PUSH1 0x13
0000089a: SLOAD
0000089b: DUP2
0000089c: JUMP
0000089d: JUMPDEST
0000089e: CALLVALUE
0000089f: DUP1
000008a0: ISZERO
000008a1: PUSH2 0x08a9
000008a4: JUMPI
000008a5: PUSH1 0x00
000008a7: DUP1
000008a8: REVERT
000008a9: JUMPDEST
000008aa: POP
000008ab: PUSH1 0x09
000008ad: SLOAD
000008ae: PUSH2 0x043c
000008b1: JUMP
000008b2: JUMPDEST
000008b3: CALLVALUE
000008b4: DUP1
000008b5: ISZERO
000008b6: PUSH2 0x08be
000008b9: JUMPI
000008ba: PUSH1 0x00
000008bc: DUP1
000008bd: REVERT
000008be: JUMPDEST
000008bf: POP
000008c0: PUSH2 0x043c
000008c3: PUSH2 0x1388
000008c6: DUP2
000008c7: JUMP
000008c8: JUMPDEST
000008c9: CALLVALUE
000008ca: DUP1
000008cb: ISZERO
000008cc: PUSH2 0x08d4
000008cf: JUMPI
000008d0: PUSH1 0x00
000008d2: DUP1
000008d3: REVERT
000008d4: JUMPDEST
000008d5: POP
000008d6: PUSH2 0x0385
000008d9: PUSH2 0x08e3
000008dc: CALLDATASIZE
000008dd: PUSH1 0x04
000008df: PUSH2 0x3589
000008e2: JUMP
000008e3: JUMPDEST
000008e4: PUSH1 0x01
000008e6: PUSH1 0x01
000008e8: PUSH1 0xa0
000008ea: SHL
000008eb: SUB
000008ec: SWAP2
000008ed: DUP3
000008ee: AND
000008ef: PUSH1 0x00
000008f1: SWAP1
000008f2: DUP2
000008f3: MSTORE
000008f4: PUSH1 0x06
000008f6: PUSH1 0x20
000008f8: SWAP1
000008f9: DUP2
000008fa: MSTORE
000008fb: PUSH1 0x40
000008fd: DUP1
000008fe: DUP4
000008ff: KECCAK256
00000900: SWAP4
00000901: SWAP1
00000902: SWAP5
00000903: AND
00000904: DUP3
00000905: MSTORE
00000906: SWAP2
00000907: SWAP1
00000908: SWAP2
00000909: MSTORE
0000090a: KECCAK256
0000090b: SLOAD
0000090c: PUSH1 0xff
0000090e: AND
0000090f: SWAP1
00000910: JUMP
00000911: JUMPDEST
00000912: CALLVALUE
00000913: DUP1
00000914: ISZERO
00000915: PUSH2 0x091d
00000918: JUMPI
00000919: PUSH1 0x00
0000091b: DUP1
0000091c: REVERT
0000091d: JUMPDEST
0000091e: POP
0000091f: PUSH2 0x0414
00000922: PUSH2 0x092c
00000925: CALLDATASIZE
00000926: PUSH1 0x04
00000928: PUSH2 0x383b
0000092b: JUMP
0000092c: JUMPDEST
0000092d: PUSH2 0x1ef9
00000930: JUMP
00000931: JUMPDEST
00000932: CALLVALUE
00000933: DUP1
00000934: ISZERO
00000935: PUSH2 0x093d
00000938: JUMPI
00000939: PUSH1 0x00
0000093b: DUP1
0000093c: REVERT
0000093d: JUMPDEST
0000093e: POP
0000093f: PUSH2 0x0414
00000942: PUSH2 0x094c
00000945: CALLDATASIZE
00000946: PUSH1 0x04
00000948: PUSH2 0x356c
0000094b: JUMP
0000094c: JUMPDEST
0000094d: PUSH2 0x1f58
00000950: JUMP
00000951: JUMPDEST
00000952: CALLVALUE
00000953: DUP1
00000954: ISZERO
00000955: PUSH2 0x095d
00000958: JUMPI
00000959: PUSH1 0x00
0000095b: DUP1
0000095c: REVERT
0000095d: JUMPDEST
0000095e: POP
0000095f: PUSH2 0x043c
00000962: PUSH8 0x01cdda4faccd0000
0000096b: DUP2
0000096c: JUMP
0000096d: JUMPDEST
0000096e: CALLVALUE
0000096f: DUP1
00000970: ISZERO
00000971: PUSH2 0x0979
00000974: JUMPI
00000975: PUSH1 0x00
00000977: DUP1
00000978: REVERT
00000979: JUMPDEST
0000097a: POP
0000097b: PUSH2 0x0414
0000097e: PUSH2 0x0988
00000981: CALLDATASIZE
00000982: PUSH1 0x04
00000984: PUSH2 0x37f2
00000987: JUMP
00000988: JUMPDEST
00000989: PUSH2 0x203a
0000098c: JUMP
0000098d: JUMPDEST
0000098e: PUSH1 0x00
00000990: PUSH1 0x01
00000992: PUSH1 0x01
00000994: PUSH1 0xe0
00000996: SHL
00000997: SUB
00000998: NOT
00000999: DUP3
0000099a: AND
0000099b: PUSH32 0x80ac58cd00000000000000000000000000000000000000000000000000000000
000009bc: EQ
000009bd: DUP1
000009be: PUSH2 0x09f0
000009c1: JUMPI
000009c2: POP
000009c3: PUSH1 0x01
000009c5: PUSH1 0x01
000009c7: PUSH1 0xe0
000009c9: SHL
000009ca: SUB
000009cb: NOT
000009cc: DUP3
000009cd: AND
000009ce: PUSH32 0x5b5e139f00000000000000000000000000000000000000000000000000000000
000009ef: EQ
000009f0: JUMPDEST
000009f1: DUP1
000009f2: PUSH2 0x0a24
000009f5: JUMPI
000009f6: POP
000009f7: PUSH1 0x01
000009f9: PUSH1 0x01
000009fb: PUSH1 0xe0
000009fd: SHL
000009fe: SUB
000009ff: NOT
00000a00: DUP3
00000a01: AND
00000a02: PUSH32 0x780e9d6300000000000000000000000000000000000000000000000000000000
00000a23: EQ
00000a24: JUMPDEST
00000a25: DUP1
00000a26: PUSH2 0x0a58
00000a29: JUMPI
00000a2a: POP
00000a2b: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000
00000a4c: PUSH1 0x01
00000a4e: PUSH1 0x01
00000a50: PUSH1 0xe0
00000a52: SHL
00000a53: SUB
00000a54: NOT
00000a55: DUP4
00000a56: AND
00000a57: EQ
00000a58: JUMPDEST
00000a59: SWAP3
00000a5a: SWAP2
00000a5b: POP
00000a5c: POP
00000a5d: JUMP
00000a5e: JUMPDEST
00000a5f: PUSH1 0x60
00000a61: PUSH1 0x01
00000a63: DUP1
00000a64: SLOAD
00000a65: PUSH2 0x0a6d
00000a68: SWAP1
00000a69: PUSH2 0x3a7b
00000a6c: JUMP
00000a6d: JUMPDEST
00000a6e: DUP1
00000a6f: PUSH1 0x1f
00000a71: ADD
00000a72: PUSH1 0x20
00000a74: DUP1
00000a75: SWAP2
00000a76: DIV
00000a77: MUL
00000a78: PUSH1 0x20
00000a7a: ADD
00000a7b: PUSH1 0x40
00000a7d: MLOAD
00000a7e: SWAP1
00000a7f: DUP2
00000a80: ADD
00000a81: PUSH1 0x40
00000a83: MSTORE
00000a84: DUP1
00000a85: SWAP3
00000a86: SWAP2
00000a87: SWAP1
00000a88: DUP2
00000a89: DUP2
00000a8a: MSTORE
00000a8b: PUSH1 0x20
00000a8d: ADD
00000a8e: DUP3
00000a8f: DUP1
00000a90: SLOAD
00000a91: PUSH2 0x0a99
00000a94: SWAP1
00000a95: PUSH2 0x3a7b
00000a98: JUMP
00000a99: JUMPDEST
00000a9a: DUP1
00000a9b: ISZERO
00000a9c: PUSH2 0x0ae6
00000a9f: JUMPI
00000aa0: DUP1
00000aa1: PUSH1 0x1f
00000aa3: LT
00000aa4: PUSH2 0x0abb
00000aa7: JUMPI
00000aa8: PUSH2 0x0100
00000aab: DUP1
00000aac: DUP4
00000aad: SLOAD
00000aae: DIV
00000aaf: MUL
00000ab0: DUP4
00000ab1: MSTORE
00000ab2: SWAP2
00000ab3: PUSH1 0x20
00000ab5: ADD
00000ab6: SWAP2
00000ab7: PUSH2 0x0ae6
00000aba: JUMP
00000abb: JUMPDEST
00000abc: DUP3
00000abd: ADD
00000abe: SWAP2
00000abf: SWAP1
00000ac0: PUSH1 0x00
00000ac2: MSTORE
00000ac3: PUSH1 0x20
00000ac5: PUSH1 0x00
00000ac7: KECCAK256
00000ac8: SWAP1
00000ac9: JUMPDEST
00000aca: DUP2
00000acb: SLOAD
00000acc: DUP2
00000acd: MSTORE
00000ace: SWAP1
00000acf: PUSH1 0x01
00000ad1: ADD
00000ad2: SWAP1
00000ad3: PUSH1 0x20
00000ad5: ADD
00000ad6: DUP1
00000ad7: DUP4
00000ad8: GT
00000ad9: PUSH2 0x0ac9
00000adc: JUMPI
00000add: DUP3
00000ade: SWAP1
00000adf: SUB
00000ae0: PUSH1 0x1f
00000ae2: AND
00000ae3: DUP3
00000ae4: ADD
00000ae5: SWAP2
00000ae6: JUMPDEST
00000ae7: POP
00000ae8: POP
00000ae9: POP
00000aea: POP
00000aeb: POP
00000aec: SWAP1
00000aed: POP
00000aee: SWAP1
00000aef: JUMP
00000af0: JUMPDEST
00000af1: PUSH1 0x00
00000af3: PUSH2 0x0afd
00000af6: DUP3
00000af7: PUSH1 0x00
00000af9: SLOAD
00000afa: GT
00000afb: SWAP1
00000afc: JUMP
00000afd: JUMPDEST
00000afe: PUSH2 0x0b74
00000b01: JUMPI
00000b02: PUSH1 0x40
00000b04: MLOAD
00000b05: PUSH3 0x461bcd
00000b09: PUSH1 0xe5
00000b0b: SHL
00000b0c: DUP2
00000b0d: MSTORE
00000b0e: PUSH1 0x20
00000b10: PUSH1 0x04
00000b12: DUP3
00000b13: ADD
00000b14: MSTORE
00000b15: PUSH1 0x2d
00000b17: PUSH1 0x24
00000b19: DUP3
00000b1a: ADD
00000b1b: MSTORE
00000b1c: PUSH32 0x455243373231413a20617070726f76656420717565727920666f72206e6f6e65
00000b3d: PUSH1 0x44
00000b3f: DUP3
00000b40: ADD
00000b41: MSTORE
00000b42: PUSH32 0x78697374656e7420746f6b656e00000000000000000000000000000000000000
00000b63: PUSH1 0x64
00000b65: DUP3
00000b66: ADD
00000b67: MSTORE
00000b68: PUSH1 0x84
00000b6a: ADD
00000b6b: JUMPDEST
00000b6c: PUSH1 0x40
00000b6e: MLOAD
00000b6f: DUP1
00000b70: SWAP2
00000b71: SUB
00000b72: SWAP1
00000b73: REVERT
00000b74: JUMPDEST
00000b75: POP
00000b76: PUSH1 0x00
00000b78: SWAP1
00000b79: DUP2
00000b7a: MSTORE
00000b7b: PUSH1 0x05
00000b7d: PUSH1 0x20
00000b7f: MSTORE
00000b80: PUSH1 0x40
00000b82: SWAP1
00000b83: KECCAK256
00000b84: SLOAD
00000b85: PUSH1 0x01
00000b87: PUSH1 0x01
00000b89: PUSH1 0xa0
00000b8b: SHL
00000b8c: SUB
00000b8d: AND
00000b8e: SWAP1
00000b8f: JUMP
00000b90: JUMPDEST
00000b91: PUSH1 0x00
00000b93: PUSH2 0x0b9b
00000b96: DUP3
00000b97: PUSH2 0x14e3
00000b9a: JUMP
00000b9b: JUMPDEST
00000b9c: SWAP1
00000b9d: POP
00000b9e: DUP1
00000b9f: PUSH1 0x01
00000ba1: PUSH1 0x01
00000ba3: PUSH1 0xa0
00000ba5: SHL
00000ba6: SUB
00000ba7: AND
00000ba8: DUP4
00000ba9: PUSH1 0x01
00000bab: PUSH1 0x01
00000bad: PUSH1 0xa0
00000baf: SHL
00000bb0: SUB
00000bb1: AND
00000bb2: EQ
00000bb3: ISZERO
00000bb4: PUSH2 0x0c25
00000bb7: JUMPI
00000bb8: PUSH1 0x40
00000bba: MLOAD
00000bbb: PUSH3 0x461bcd
00000bbf: PUSH1 0xe5
00000bc1: SHL
00000bc2: DUP2
00000bc3: MSTORE
00000bc4: PUSH1 0x20
00000bc6: PUSH1 0x04
00000bc8: DUP3
00000bc9: ADD
00000bca: MSTORE
00000bcb: PUSH1 0x22
00000bcd: PUSH1 0x24
00000bcf: DUP3
00000bd0: ADD
00000bd1: MSTORE
00000bd2: PUSH32 0x455243373231413a20617070726f76616c20746f2063757272656e74206f776e
00000bf3: PUSH1 0x44
00000bf5: DUP3
00000bf6: ADD
00000bf7: MSTORE
00000bf8: PUSH32 0x6572000000000000000000000000000000000000000000000000000000000000
00000c19: PUSH1 0x64
00000c1b: DUP3
00000c1c: ADD
00000c1d: MSTORE
00000c1e: PUSH1 0x84
00000c20: ADD
00000c21: PUSH2 0x0b6b
00000c24: JUMP
00000c25: JUMPDEST
00000c26: CALLER
00000c27: PUSH1 0x01
00000c29: PUSH1 0x01
00000c2b: PUSH1 0xa0
00000c2d: SHL
00000c2e: SUB
00000c2f: DUP3
00000c30: AND
00000c31: EQ
00000c32: DUP1
00000c33: PUSH2 0x0c41
00000c36: JUMPI
00000c37: POP
00000c38: PUSH2 0x0c41
00000c3b: DUP2
00000c3c: CALLER
00000c3d: PUSH2 0x08e3
00000c40: JUMP
00000c41: JUMPDEST
00000c42: PUSH2 0x0cb3
00000c45: JUMPI
00000c46: PUSH1 0x40
00000c48: MLOAD
00000c49: PUSH3 0x461bcd
00000c4d: PUSH1 0xe5
00000c4f: SHL
00000c50: DUP2
00000c51: MSTORE
00000c52: PUSH1 0x20
00000c54: PUSH1 0x04
00000c56: DUP3
00000c57: ADD
00000c58: MSTORE
00000c59: PUSH1 0x39
00000c5b: PUSH1 0x24
00000c5d: DUP3
00000c5e: ADD
00000c5f: MSTORE
00000c60: PUSH32 0x455243373231413a20617070726f76652063616c6c6572206973206e6f74206f
00000c81: PUSH1 0x44
00000c83: DUP3
00000c84: ADD
00000c85: MSTORE
00000c86: PUSH32 0x776e6572206e6f7220617070726f76656420666f7220616c6c00000000000000
00000ca7: PUSH1 0x64
00000ca9: DUP3
00000caa: ADD
00000cab: MSTORE
00000cac: PUSH1 0x84
00000cae: ADD
00000caf: PUSH2 0x0b6b
00000cb2: JUMP
00000cb3: JUMPDEST
00000cb4: PUSH2 0x0cbe
00000cb7: DUP4
00000cb8: DUP4
00000cb9: DUP4
00000cba: PUSH2 0x2103
00000cbd: JUMP
00000cbe: JUMPDEST
00000cbf: POP
00000cc0: POP
00000cc1: POP
00000cc2: JUMP
00000cc3: JUMPDEST
00000cc4: PUSH1 0x16
00000cc6: DUP1
00000cc7: SLOAD
00000cc8: PUSH2 0x0cd0
00000ccb: SWAP1
00000ccc: PUSH2 0x3a7b
00000ccf: JUMP
00000cd0: JUMPDEST
00000cd1: DUP1
00000cd2: PUSH1 0x1f
00000cd4: ADD
00000cd5: PUSH1 0x20
00000cd7: DUP1
00000cd8: SWAP2
00000cd9: DIV
00000cda: MUL
00000cdb: PUSH1 0x20
00000cdd: ADD
00000cde: PUSH1 0x40
00000ce0: MLOAD
00000ce1: SWAP1
00000ce2: DUP2
00000ce3: ADD
00000ce4: PUSH1 0x40
00000ce6: MSTORE
00000ce7: DUP1
00000ce8: SWAP3
00000ce9: SWAP2
00000cea: SWAP1
00000ceb: DUP2
00000cec: DUP2
00000ced: MSTORE
00000cee: PUSH1 0x20
00000cf0: ADD
00000cf1: DUP3
00000cf2: DUP1
00000cf3: SLOAD
00000cf4: PUSH2 0x0cfc
00000cf7: SWAP1
00000cf8: PUSH2 0x3a7b
00000cfb: JUMP
00000cfc: JUMPDEST
00000cfd: DUP1
00000cfe: ISZERO
00000cff: PUSH2 0x0d49
00000d02: JUMPI
00000d03: DUP1
00000d04: PUSH1 0x1f
00000d06: LT
00000d07: PUSH2 0x0d1e
00000d0a: JUMPI
00000d0b: PUSH2 0x0100
00000d0e: DUP1
00000d0f: DUP4
00000d10: SLOAD
00000d11: DIV
00000d12: MUL
00000d13: DUP4
00000d14: MSTORE
00000d15: SWAP2
00000d16: PUSH1 0x20
00000d18: ADD
00000d19: SWAP2
00000d1a: PUSH2 0x0d49
00000d1d: JUMP
00000d1e: JUMPDEST
00000d1f: DUP3
00000d20: ADD
00000d21: SWAP2
00000d22: SWAP1
00000d23: PUSH1 0x00
00000d25: MSTORE
00000d26: PUSH1 0x20
00000d28: PUSH1 0x00
00000d2a: KECCAK256
00000d2b: SWAP1
00000d2c: JUMPDEST
00000d2d: DUP2
00000d2e: SLOAD
00000d2f: DUP2
00000d30: MSTORE
00000d31: SWAP1
00000d32: PUSH1 0x01
00000d34: ADD
00000d35: SWAP1
00000d36: PUSH1 0x20
00000d38: ADD
00000d39: DUP1
00000d3a: DUP4
00000d3b: GT
00000d3c: PUSH2 0x0d2c
00000d3f: JUMPI
00000d40: DUP3
00000d41: SWAP1
00000d42: SUB
00000d43: PUSH1 0x1f
00000d45: AND
00000d46: DUP3
00000d47: ADD
00000d48: SWAP2
00000d49: JUMPDEST
00000d4a: POP
00000d4b: POP
00000d4c: POP
00000d4d: POP
00000d4e: POP
00000d4f: DUP2
00000d50: JUMP
00000d51: JUMPDEST
00000d52: PUSH1 0x01
00000d54: PUSH1 0x01
00000d56: PUSH1 0xa0
00000d58: SHL
00000d59: SUB
00000d5a: DUP2
00000d5b: AND
00000d5c: PUSH1 0x00
00000d5e: SWAP1
00000d5f: DUP2
00000d60: MSTORE
00000d61: PUSH1 0x0a
00000d63: PUSH1 0x20
00000d65: MSTORE
00000d66: PUSH1 0x40
00000d68: SWAP1
00000d69: KECCAK256
00000d6a: SLOAD
00000d6b: PUSH2 0x0ddc
00000d6e: JUMPI
00000d6f: PUSH1 0x40
00000d71: MLOAD
00000d72: PUSH3 0x461bcd
00000d76: PUSH1 0xe5
00000d78: SHL
00000d79: DUP2
00000d7a: MSTORE
00000d7b: PUSH1 0x20
00000d7d: PUSH1 0x04
00000d7f: DUP3
00000d80: ADD
00000d81: MSTORE
00000d82: PUSH1 0x26
00000d84: PUSH1 0x24
00000d86: DUP3
00000d87: ADD
00000d88: MSTORE
00000d89: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e7420686173206e6f20
00000daa: PUSH1 0x44
00000dac: DUP3
00000dad: ADD
00000dae: MSTORE
00000daf: PUSH32 0x7368617265730000000000000000000000000000000000000000000000000000
00000dd0: PUSH1 0x64
00000dd2: DUP3
00000dd3: ADD
00000dd4: MSTORE
00000dd5: PUSH1 0x84
00000dd7: ADD
00000dd8: PUSH2 0x0b6b
00000ddb: JUMP
00000ddc: JUMPDEST
00000ddd: PUSH1 0x00
00000ddf: PUSH2 0x0de7
00000de2: PUSH1 0x09
00000de4: SLOAD
00000de5: SWAP1
00000de6: JUMP
00000de7: JUMPDEST
00000de8: PUSH2 0x0df1
00000deb: SWAP1
00000dec: SELFBALANCE
00000ded: PUSH2 0x39a5
00000df0: JUMP
00000df1: JUMPDEST
00000df2: SWAP1
00000df3: POP
00000df4: PUSH1 0x00
00000df6: PUSH2 0x0e1e
00000df9: DUP4
00000dfa: DUP4
00000dfb: PUSH2 0x0e19
00000dfe: DUP7
00000dff: PUSH1 0x01
00000e01: PUSH1 0x01
00000e03: PUSH1 0xa0
00000e05: SHL
00000e06: SUB
00000e07: AND
00000e08: PUSH1 0x00
00000e0a: SWAP1
00000e0b: DUP2
00000e0c: MSTORE
00000e0d: PUSH1 0x0b
00000e0f: PUSH1 0x20
00000e11: MSTORE
00000e12: PUSH1 0x40
00000e14: SWAP1
00000e15: KECCAK256
00000e16: SLOAD
00000e17: SWAP1
00000e18: JUMP
00000e19: JUMPDEST
00000e1a: PUSH2 0x2177
00000e1d: JUMP
00000e1e: JUMPDEST
00000e1f: SWAP1
00000e20: POP
00000e21: DUP1
00000e22: PUSH2 0x0e93
00000e25: JUMPI
00000e26: PUSH1 0x40
00000e28: MLOAD
00000e29: PUSH3 0x461bcd
00000e2d: PUSH1 0xe5
00000e2f: SHL
00000e30: DUP2
00000e31: MSTORE
00000e32: PUSH1 0x20
00000e34: PUSH1 0x04
00000e36: DUP3
00000e37: ADD
00000e38: MSTORE
00000e39: PUSH1 0x2b
00000e3b: PUSH1 0x24
00000e3d: DUP3
00000e3e: ADD
00000e3f: MSTORE
00000e40: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e74206973206e6f7420
00000e61: PUSH1 0x44
00000e63: DUP3
00000e64: ADD
00000e65: MSTORE
00000e66: PUSH32 0x647565207061796d656e74000000000000000000000000000000000000000000
00000e87: PUSH1 0x64
00000e89: DUP3
00000e8a: ADD
00000e8b: MSTORE
00000e8c: PUSH1 0x84
00000e8e: ADD
00000e8f: PUSH2 0x0b6b
00000e92: JUMP
00000e93: JUMPDEST
00000e94: PUSH1 0x01
00000e96: PUSH1 0x01
00000e98: PUSH1 0xa0
00000e9a: SHL
00000e9b: SUB
00000e9c: DUP4
00000e9d: AND
00000e9e: PUSH1 0x00
00000ea0: SWAP1
00000ea1: DUP2
00000ea2: MSTORE
00000ea3: PUSH1 0x0b
00000ea5: PUSH1 0x20
00000ea7: MSTORE
00000ea8: PUSH1 0x40
00000eaa: DUP2
00000eab: KECCAK256
00000eac: DUP1
00000ead: SLOAD
00000eae: DUP4
00000eaf: SWAP3
00000eb0: SWAP1
00000eb1: PUSH2 0x0ebb
00000eb4: SWAP1
00000eb5: DUP5
00000eb6: SWAP1
00000eb7: PUSH2 0x39a5
00000eba: JUMP
00000ebb: JUMPDEST
00000ebc: SWAP3
00000ebd: POP
00000ebe: POP
00000ebf: DUP2
00000ec0: SWAP1
00000ec1: SSTORE
00000ec2: POP
00000ec3: DUP1
00000ec4: PUSH1 0x09
00000ec6: PUSH1 0x00
00000ec8: DUP3
00000ec9: DUP3
00000eca: SLOAD
00000ecb: PUSH2 0x0ed4
00000ece: SWAP2
00000ecf: SWAP1
00000ed0: PUSH2 0x39a5
00000ed3: JUMP
00000ed4: JUMPDEST
00000ed5: SWAP1
00000ed6: SWAP2
00000ed7: SSTORE
00000ed8: POP
00000ed9: PUSH2 0x0ee4
00000edc: SWAP1
00000edd: POP
00000ede: DUP4
00000edf: DUP3
00000ee0: PUSH2 0x21bf
00000ee3: JUMP
00000ee4: JUMPDEST
00000ee5: PUSH1 0x40
00000ee7: DUP1
00000ee8: MLOAD
00000ee9: PUSH1 0x01
00000eeb: PUSH1 0x01
00000eed: PUSH1 0xa0
00000eef: SHL
00000ef0: SUB
00000ef1: DUP6
00000ef2: AND
00000ef3: DUP2
00000ef4: MSTORE
00000ef5: PUSH1 0x20
00000ef7: DUP2
00000ef8: ADD
00000ef9: DUP4
00000efa: SWAP1
00000efb: MSTORE
00000efc: PUSH32 0xdf20fd1e76bc69d672e4814fafb2c449bba3a5369d8359adf9e05e6fde87b056
00000f1d: SWAP2
00000f1e: ADD
00000f1f: PUSH1 0x40
00000f21: MLOAD
00000f22: DUP1
00000f23: SWAP2
00000f24: SUB
00000f25: SWAP1
00000f26: LOG1
00000f27: POP
00000f28: POP
00000f29: POP
00000f2a: JUMP
00000f2b: JUMPDEST
00000f2c: PUSH2 0x0cbe
00000f2f: DUP4
00000f30: DUP4
00000f31: DUP4
00000f32: PUSH2 0x22d8
00000f35: JUMP
00000f36: JUMPDEST
00000f37: PUSH1 0x00
00000f39: PUSH2 0x0f41
00000f3c: DUP4
00000f3d: PUSH2 0x1502
00000f40: JUMP
00000f41: JUMPDEST
00000f42: DUP3
00000f43: LT
00000f44: PUSH2 0x0fb5
00000f47: JUMPI
00000f48: PUSH1 0x40
00000f4a: MLOAD
00000f4b: PUSH3 0x461bcd
00000f4f: PUSH1 0xe5
00000f51: SHL
00000f52: DUP2
00000f53: MSTORE
00000f54: PUSH1 0x20
00000f56: PUSH1 0x04
00000f58: DUP3
00000f59: ADD
00000f5a: MSTORE
00000f5b: PUSH1 0x22
00000f5d: PUSH1 0x24
00000f5f: DUP3
00000f60: ADD
00000f61: MSTORE
00000f62: PUSH32 0x455243373231413a206f776e657220696e646578206f7574206f6620626f756e
00000f83: PUSH1 0x44
00000f85: DUP3
00000f86: ADD
00000f87: MSTORE
00000f88: PUSH32 0x6473000000000000000000000000000000000000000000000000000000000000
00000fa9: PUSH1 0x64
00000fab: DUP3
00000fac: ADD
00000fad: MSTORE
00000fae: PUSH1 0x84
00000fb0: ADD
00000fb1: PUSH2 0x0b6b
00000fb4: JUMP
00000fb5: JUMPDEST
00000fb6: PUSH1 0x00
00000fb8: DUP1
00000fb9: SLOAD
00000fba: SWAP1
00000fbb: DUP1
00000fbc: DUP1
00000fbd: JUMPDEST
00000fbe: DUP4
00000fbf: DUP2
00000fc0: LT
00000fc1: ISZERO
00000fc2: PUSH2 0x105f
00000fc5: JUMPI
00000fc6: PUSH1 0x00
00000fc8: DUP2
00000fc9: DUP2
00000fca: MSTORE
00000fcb: PUSH1 0x03
00000fcd: PUSH1 0x20
00000fcf: SWAP1
00000fd0: DUP2
00000fd1: MSTORE
00000fd2: PUSH1 0x40
00000fd4: SWAP2
00000fd5: DUP3
00000fd6: SWAP1
00000fd7: KECCAK256
00000fd8: DUP3
00000fd9: MLOAD
00000fda: DUP1
00000fdb: DUP5
00000fdc: ADD
00000fdd: SWAP1
00000fde: SWAP4
00000fdf: MSTORE
00000fe0: SLOAD
00000fe1: PUSH1 0x01
00000fe3: PUSH1 0x01
00000fe5: PUSH1 0xa0
00000fe7: SHL
00000fe8: SUB
00000fe9: DUP2
00000fea: AND
00000feb: DUP1
00000fec: DUP5
00000fed: MSTORE
00000fee: PUSH1 0x01
00000ff0: PUSH1 0xa0
00000ff2: SHL
00000ff3: SWAP1
00000ff4: SWAP2
00000ff5: DIV
00000ff6: PUSH8 0xffffffffffffffff
00000fff: AND
00001000: SWAP2
00001001: DUP4
00001002: ADD
00001003: SWAP2
00001004: SWAP1
00001005: SWAP2
00001006: MSTORE
00001007: ISZERO
00001008: PUSH2 0x1010
0000100b: JUMPI
0000100c: DUP1
0000100d: MLOAD
0000100e: SWAP3
0000100f: POP
00001010: JUMPDEST
00001011: DUP8
00001012: PUSH1 0x01
00001014: PUSH1 0x01
00001016: PUSH1 0xa0
00001018: SHL
00001019: SUB
0000101a: AND
0000101b: DUP4
0000101c: PUSH1 0x01
0000101e: PUSH1 0x01
00001020: PUSH1 0xa0
00001022: SHL
00001023: SUB
00001024: AND
00001025: EQ
00001026: ISZERO
00001027: PUSH2 0x104c
0000102a: JUMPI
0000102b: DUP7
0000102c: DUP5
0000102d: EQ
0000102e: ISZERO
0000102f: PUSH2 0x103e
00001032: JUMPI
00001033: POP
00001034: SWAP4
00001035: POP
00001036: PUSH2 0x0a58
00001039: SWAP3
0000103a: POP
0000103b: POP
0000103c: POP
0000103d: JUMP
0000103e: JUMPDEST
0000103f: DUP4
00001040: PUSH2 0x1048
00001043: DUP2
00001044: PUSH2 0x3ab6
00001047: JUMP
00001048: JUMPDEST
00001049: SWAP5
0000104a: POP
0000104b: POP
0000104c: JUMPDEST
0000104d: POP
0000104e: DUP1
0000104f: PUSH2 0x1057
00001052: DUP2
00001053: PUSH2 0x3ab6
00001056: JUMP
00001057: JUMPDEST
00001058: SWAP2
00001059: POP
0000105a: POP
0000105b: PUSH2 0x0fbd
0000105e: JUMP
0000105f: JUMPDEST
00001060: POP
00001061: PUSH1 0x40
00001063: MLOAD
00001064: PUSH3 0x461bcd
00001068: PUSH1 0xe5
0000106a: SHL
0000106b: DUP2
0000106c: MSTORE
0000106d: PUSH1 0x20
0000106f: PUSH1 0x04
00001071: DUP3
00001072: ADD
00001073: MSTORE
00001074: PUSH1 0x2e
00001076: PUSH1 0x24
00001078: DUP3
00001079: ADD
0000107a: MSTORE
0000107b: PUSH32 0x455243373231413a20756e61626c6520746f2067657420746f6b656e206f6620
0000109c: PUSH1 0x44
0000109e: DUP3
0000109f: ADD
000010a0: MSTORE
000010a1: PUSH32 0x6f776e657220627920696e646578000000000000000000000000000000000000
000010c2: PUSH1 0x64
000010c4: DUP3
000010c5: ADD
000010c6: MSTORE
000010c7: PUSH1 0x84
000010c9: ADD
000010ca: PUSH2 0x0b6b
000010cd: JUMP
000010ce: JUMPDEST
000010cf: PUSH2 0x0cbe
000010d2: DUP4
000010d3: DUP4
000010d4: DUP4
000010d5: PUSH1 0x40
000010d7: MLOAD
000010d8: DUP1
000010d9: PUSH1 0x20
000010db: ADD
000010dc: PUSH1 0x40
000010de: MSTORE
000010df: DUP1
000010e0: PUSH1 0x00
000010e2: DUP2
000010e3: MSTORE
000010e4: POP
000010e5: PUSH2 0x1c8e
000010e8: JUMP
000010e9: JUMPDEST
000010ea: PUSH1 0x01
000010ec: PUSH1 0x01
000010ee: PUSH1 0xa0
000010f0: SHL
000010f1: SUB
000010f2: DUP2
000010f3: AND
000010f4: PUSH1 0x00
000010f6: SWAP1
000010f7: DUP2
000010f8: MSTORE
000010f9: PUSH1 0x0a
000010fb: PUSH1 0x20
000010fd: MSTORE
000010fe: PUSH1 0x40
00001100: SWAP1
00001101: KECCAK256
00001102: SLOAD
00001103: PUSH2 0x1174
00001106: JUMPI
00001107: PUSH1 0x40
00001109: MLOAD
0000110a: PUSH3 0x461bcd
0000110e: PUSH1 0xe5
00001110: SHL
00001111: DUP2
00001112: MSTORE
00001113: PUSH1 0x20
00001115: PUSH1 0x04
00001117: DUP3
00001118: ADD
00001119: MSTORE
0000111a: PUSH1 0x26
0000111c: PUSH1 0x24
0000111e: DUP3
0000111f: ADD
00001120: MSTORE
00001121: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e7420686173206e6f20
00001142: PUSH1 0x44
00001144: DUP3
00001145: ADD
00001146: MSTORE
00001147: PUSH32 0x7368617265730000000000000000000000000000000000000000000000000000
00001168: PUSH1 0x64
0000116a: DUP3
0000116b: ADD
0000116c: MSTORE
0000116d: PUSH1 0x84
0000116f: ADD
00001170: PUSH2 0x0b6b
00001173: JUMP
00001174: JUMPDEST
00001175: PUSH1 0x01
00001177: PUSH1 0x01
00001179: PUSH1 0xa0
0000117b: SHL
0000117c: SUB
0000117d: DUP3
0000117e: AND
0000117f: PUSH1 0x00
00001181: SWAP1
00001182: DUP2
00001183: MSTORE
00001184: PUSH1 0x0d
00001186: PUSH1 0x20
00001188: MSTORE
00001189: PUSH1 0x40
0000118b: DUP2
0000118c: KECCAK256
0000118d: SLOAD
0000118e: PUSH1 0x40
00001190: MLOAD
00001191: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
000011b2: DUP2
000011b3: MSTORE
000011b4: ADDRESS
000011b5: PUSH1 0x04
000011b7: DUP3
000011b8: ADD
000011b9: MSTORE
000011ba: PUSH1 0x01
000011bc: PUSH1 0x01
000011be: PUSH1 0xa0
000011c0: SHL
000011c1: SUB
000011c2: DUP6
000011c3: AND
000011c4: SWAP1
000011c5: PUSH4 0x70a08231
000011ca: SWAP1
000011cb: PUSH1 0x24
000011cd: ADD
000011ce: PUSH1 0x20
000011d0: PUSH1 0x40
000011d2: MLOAD
000011d3: DUP1
000011d4: DUP4
000011d5: SUB
000011d6: DUP2
000011d7: DUP7
000011d8: DUP1
000011d9: EXTCODESIZE
000011da: ISZERO
000011db: DUP1
000011dc: ISZERO
000011dd: PUSH2 0x11e5
000011e0: JUMPI
000011e1: PUSH1 0x00
000011e3: DUP1
000011e4: REVERT
000011e5: JUMPDEST
000011e6: POP
000011e7: GAS
000011e8: STATICCALL
000011e9: ISZERO
000011ea: DUP1
000011eb: ISZERO
000011ec: PUSH2 0x11f9
000011ef: JUMPI
000011f0: RETURNDATASIZE
000011f1: PUSH1 0x00
000011f3: DUP1
000011f4: RETURNDATACOPY
000011f5: RETURNDATASIZE
000011f6: PUSH1 0x00
000011f8: REVERT
000011f9: JUMPDEST
000011fa: POP
000011fb: POP
000011fc: POP
000011fd: POP
000011fe: PUSH1 0x40
00001200: MLOAD
00001201: RETURNDATASIZE
00001202: PUSH1 0x1f
00001204: NOT
00001205: PUSH1 0x1f
00001207: DUP3
00001208: ADD
00001209: AND
0000120a: DUP3
0000120b: ADD
0000120c: DUP1
0000120d: PUSH1 0x40
0000120f: MSTORE
00001210: POP
00001211: DUP2
00001212: ADD
00001213: SWAP1
00001214: PUSH2 0x121d
00001217: SWAP2
00001218: SWAP1
00001219: PUSH2 0x36fa
0000121c: JUMP
0000121d: JUMPDEST
0000121e: PUSH2 0x1227
00001221: SWAP2
00001222: SWAP1
00001223: PUSH2 0x39a5
00001226: JUMP
00001227: JUMPDEST
00001228: SWAP1
00001229: POP
0000122a: PUSH1 0x00
0000122c: PUSH2 0x1260
0000122f: DUP4
00001230: DUP4
00001231: PUSH2 0x0e19
00001234: DUP8
00001235: DUP8
00001236: PUSH1 0x01
00001238: PUSH1 0x01
0000123a: PUSH1 0xa0
0000123c: SHL
0000123d: SUB
0000123e: SWAP2
0000123f: DUP3
00001240: AND
00001241: PUSH1 0x00
00001243: SWAP1
00001244: DUP2
00001245: MSTORE
00001246: PUSH1 0x0e
00001248: PUSH1 0x20
0000124a: SWAP1
0000124b: DUP2
0000124c: MSTORE
0000124d: PUSH1 0x40
0000124f: DUP1
00001250: DUP4
00001251: KECCAK256
00001252: SWAP4
00001253: SWAP1
00001254: SWAP5
00001255: AND
00001256: DUP3
00001257: MSTORE
00001258: SWAP2
00001259: SWAP1
0000125a: SWAP2
0000125b: MSTORE
0000125c: KECCAK256
0000125d: SLOAD
0000125e: SWAP1
0000125f: JUMP
00001260: JUMPDEST
00001261: SWAP1
00001262: POP
00001263: DUP1
00001264: PUSH2 0x12d5
00001267: JUMPI
00001268: PUSH1 0x40
0000126a: MLOAD
0000126b: PUSH3 0x461bcd
0000126f: PUSH1 0xe5
00001271: SHL
00001272: DUP2
00001273: MSTORE
00001274: PUSH1 0x20
00001276: PUSH1 0x04
00001278: DUP3
00001279: ADD
0000127a: MSTORE
0000127b: PUSH1 0x2b
0000127d: PUSH1 0x24
0000127f: DUP3
00001280: ADD
00001281: MSTORE
00001282: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e74206973206e6f7420
000012a3: PUSH1 0x44
000012a5: DUP3
000012a6: ADD
000012a7: MSTORE
000012a8: PUSH32 0x647565207061796d656e74000000000000000000000000000000000000000000
000012c9: PUSH1 0x64
000012cb: DUP3
000012cc: ADD
000012cd: MSTORE
000012ce: PUSH1 0x84
000012d0: ADD
000012d1: PUSH2 0x0b6b
000012d4: JUMP
000012d5: JUMPDEST
000012d6: PUSH1 0x01
000012d8: PUSH1 0x01
000012da: PUSH1 0xa0
000012dc: SHL
000012dd: SUB
000012de: DUP1
000012df: DUP6
000012e0: AND
000012e1: PUSH1 0x00
000012e3: SWAP1
000012e4: DUP2
000012e5: MSTORE
000012e6: PUSH1 0x0e
000012e8: PUSH1 0x20
000012ea: SWAP1
000012eb: DUP2
000012ec: MSTORE
000012ed: PUSH1 0x40
000012ef: DUP1
000012f0: DUP4
000012f1: KECCAK256
000012f2: SWAP4
000012f3: DUP8
000012f4: AND
000012f5: DUP4
000012f6: MSTORE
000012f7: SWAP3
000012f8: SWAP1
000012f9: MSTORE
000012fa: SWAP1
000012fb: DUP2
000012fc: KECCAK256
000012fd: DUP1
000012fe: SLOAD
000012ff: DUP4
00001300: SWAP3
00001301: SWAP1
00001302: PUSH2 0x130c
00001305: SWAP1
00001306: DUP5
00001307: SWAP1
00001308: PUSH2 0x39a5
0000130b: JUMP
0000130c: JUMPDEST
0000130d: SWAP1
0000130e: SWAP2
0000130f: SSTORE
00001310: POP
00001311: POP
00001312: PUSH1 0x01
00001314: PUSH1 0x01
00001316: PUSH1 0xa0
00001318: SHL
00001319: SUB
0000131a: DUP5
0000131b: AND
0000131c: PUSH1 0x00
0000131e: SWAP1
0000131f: DUP2
00001320: MSTORE
00001321: PUSH1 0x0d
00001323: PUSH1 0x20
00001325: MSTORE
00001326: PUSH1 0x40
00001328: DUP2
00001329: KECCAK256
0000132a: DUP1
0000132b: SLOAD
0000132c: DUP4
0000132d: SWAP3
0000132e: SWAP1
0000132f: PUSH2 0x1339
00001332: SWAP1
00001333: DUP5
00001334: SWAP1
00001335: PUSH2 0x39a5
00001338: JUMP
00001339: JUMPDEST
0000133a: SWAP1
0000133b: SWAP2
0000133c: SSTORE
0000133d: POP
0000133e: PUSH2 0x134a
00001341: SWAP1
00001342: POP
00001343: DUP5
00001344: DUP5
00001345: DUP4
00001346: PUSH2 0x26b5
00001349: JUMP
0000134a: JUMPDEST
0000134b: PUSH1 0x40
0000134d: DUP1
0000134e: MLOAD
0000134f: PUSH1 0x01
00001351: PUSH1 0x01
00001353: PUSH1 0xa0
00001355: SHL
00001356: SUB
00001357: DUP6
00001358: DUP2
00001359: AND
0000135a: DUP3
0000135b: MSTORE
0000135c: PUSH1 0x20
0000135e: DUP3
0000135f: ADD
00001360: DUP5
00001361: SWAP1
00001362: MSTORE
00001363: DUP7
00001364: AND
00001365: SWAP2
00001366: PUSH32 0x3be5b7a71e84ed12875d241991c70855ac5817d847039e17a9d895c1ceb0f18a
00001387: SWAP2
00001388: ADD
00001389: PUSH1 0x40
0000138b: MLOAD
0000138c: DUP1
0000138d: SWAP2
0000138e: SUB
0000138f: SWAP1
00001390: LOG2
00001391: POP
00001392: POP
00001393: POP
00001394: POP
00001395: JUMP
00001396: JUMPDEST
00001397: PUSH1 0x0f
00001399: SLOAD
0000139a: PUSH1 0x01
0000139c: PUSH1 0x01
0000139e: PUSH1 0xa0
000013a0: SHL
000013a1: SUB
000013a2: AND
000013a3: CALLER
000013a4: EQ
000013a5: PUSH2 0x13f0
000013a8: JUMPI
000013a9: PUSH1 0x40
000013ab: MLOAD
000013ac: PUSH3 0x461bcd
000013b0: PUSH1 0xe5
000013b2: SHL
000013b3: DUP2
000013b4: MSTORE
000013b5: PUSH1 0x20
000013b7: PUSH1 0x04
000013b9: DUP3
000013ba: ADD
000013bb: DUP2
000013bc: SWAP1
000013bd: MSTORE
000013be: PUSH1 0x24
000013c0: DUP3
000013c1: ADD
000013c2: MSTORE
000013c3: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000013e4: PUSH1 0x44
000013e6: DUP3
000013e7: ADD
000013e8: MSTORE
000013e9: PUSH1 0x64
000013eb: ADD
000013ec: PUSH2 0x0b6b
000013ef: JUMP
000013f0: JUMPDEST
000013f1: PUSH1 0x14
000013f3: SLOAD
000013f4: PUSH1 0xff
000013f6: AND
000013f7: ISZERO
000013f8: PUSH2 0x1443
000013fb: JUMPI
000013fc: PUSH1 0x40
000013fe: MLOAD
000013ff: PUSH3 0x461bcd
00001403: PUSH1 0xe5
00001405: SHL
00001406: DUP2
00001407: MSTORE
00001408: PUSH1 0x20
0000140a: PUSH1 0x04
0000140c: DUP3
0000140d: ADD
0000140e: MSTORE
0000140f: PUSH1 0x10
00001411: PUSH1 0x24
00001413: DUP3
00001414: ADD
00001415: MSTORE
00001416: PUSH32 0x416c72656164792072657665616c656400000000000000000000000000000000
00001437: PUSH1 0x44
00001439: DUP3
0000143a: ADD
0000143b: MSTORE
0000143c: PUSH1 0x64
0000143e: ADD
0000143f: PUSH2 0x0b6b
00001442: JUMP
00001443: JUMPDEST
00001444: DUP1
00001445: MLOAD
00001446: PUSH2 0x1456
00001449: SWAP1
0000144a: PUSH1 0x15
0000144c: SWAP1
0000144d: PUSH1 0x20
0000144f: DUP5
00001450: ADD
00001451: SWAP1
00001452: PUSH2 0x3466
00001455: JUMP
00001456: JUMPDEST
00001457: POP
00001458: POP
00001459: PUSH1 0x14
0000145b: DUP1
0000145c: SLOAD
0000145d: PUSH1 0xff
0000145f: NOT
00001460: AND
00001461: PUSH1 0x01
00001463: OR
00001464: SWAP1
00001465: SSTORE
00001466: JUMP
00001467: JUMPDEST
00001468: PUSH1 0x00
0000146a: DUP1
0000146b: SLOAD
0000146c: DUP3
0000146d: LT
0000146e: PUSH2 0x14df
00001471: JUMPI
00001472: PUSH1 0x40
00001474: MLOAD
00001475: PUSH3 0x461bcd
00001479: PUSH1 0xe5
0000147b: SHL
0000147c: DUP2
0000147d: MSTORE
0000147e: PUSH1 0x20
00001480: PUSH1 0x04
00001482: DUP3
00001483: ADD
00001484: MSTORE
00001485: PUSH1 0x23
00001487: PUSH1 0x24
00001489: DUP3
0000148a: ADD
0000148b: MSTORE
0000148c: PUSH32 0x455243373231413a20676c6f62616c20696e646578206f7574206f6620626f75
000014ad: PUSH1 0x44
000014af: DUP3
000014b0: ADD
000014b1: MSTORE
000014b2: PUSH32 0x6e64730000000000000000000000000000000000000000000000000000000000
000014d3: PUSH1 0x64
000014d5: DUP3
000014d6: ADD
000014d7: MSTORE
000014d8: PUSH1 0x84
000014da: ADD
000014db: PUSH2 0x0b6b
000014de: JUMP
000014df: JUMPDEST
000014e0: POP
000014e1: SWAP1
000014e2: JUMP
000014e3: JUMPDEST
000014e4: PUSH1 0x00
000014e6: PUSH2 0x14ee
000014e9: DUP3
000014ea: PUSH2 0x2735
000014ed: JUMP
000014ee: JUMPDEST
000014ef: MLOAD
000014f0: SWAP3
000014f1: SWAP2
000014f2: POP
000014f3: POP
000014f4: JUMP
000014f5: JUMPDEST
000014f6: PUSH1 0x15
000014f8: DUP1
000014f9: SLOAD
000014fa: PUSH2 0x0cd0
000014fd: SWAP1
000014fe: PUSH2 0x3a7b
00001501: JUMP
00001502: JUMPDEST
00001503: PUSH1 0x00
00001505: PUSH1 0x01
00001507: PUSH1 0x01
00001509: PUSH1 0xa0
0000150b: SHL
0000150c: SUB
0000150d: DUP3
0000150e: AND
0000150f: PUSH2 0x1580
00001512: JUMPI
00001513: PUSH1 0x40
00001515: MLOAD
00001516: PUSH3 0x461bcd
0000151a: PUSH1 0xe5
0000151c: SHL
0000151d: DUP2
0000151e: MSTORE
0000151f: PUSH1 0x20
00001521: PUSH1 0x04
00001523: DUP3
00001524: ADD
00001525: MSTORE
00001526: PUSH1 0x2b
00001528: PUSH1 0x24
0000152a: DUP3
0000152b: ADD
0000152c: MSTORE
0000152d: PUSH32 0x455243373231413a2062616c616e636520717565727920666f7220746865207a
0000154e: PUSH1 0x44
00001550: DUP3
00001551: ADD
00001552: MSTORE
00001553: PUSH32 0x65726f2061646472657373000000000000000000000000000000000000000000
00001574: PUSH1 0x64
00001576: DUP3
00001577: ADD
00001578: MSTORE
00001579: PUSH1 0x84
0000157b: ADD
0000157c: PUSH2 0x0b6b
0000157f: JUMP
00001580: JUMPDEST
00001581: POP
00001582: PUSH1 0x01
00001584: PUSH1 0x01
00001586: PUSH1 0xa0
00001588: SHL
00001589: SUB
0000158a: AND
0000158b: PUSH1 0x00
0000158d: SWAP1
0000158e: DUP2
0000158f: MSTORE
00001590: PUSH1 0x04
00001592: PUSH1 0x20
00001594: MSTORE
00001595: PUSH1 0x40
00001597: SWAP1
00001598: KECCAK256
00001599: SLOAD
0000159a: PUSH16 0xffffffffffffffffffffffffffffffff
000015ab: AND
000015ac: SWAP1
000015ad: JUMP
000015ae: JUMPDEST
000015af: PUSH1 0x0f
000015b1: SLOAD
000015b2: PUSH1 0x01
000015b4: PUSH1 0x01
000015b6: PUSH1 0xa0
000015b8: SHL
000015b9: SUB
000015ba: AND
000015bb: CALLER
000015bc: EQ
000015bd: PUSH2 0x1608
000015c0: JUMPI
000015c1: PUSH1 0x40
000015c3: MLOAD
000015c4: PUSH3 0x461bcd
000015c8: PUSH1 0xe5
000015ca: SHL
000015cb: DUP2
000015cc: MSTORE
000015cd: PUSH1 0x20
000015cf: PUSH1 0x04
000015d1: DUP3
000015d2: ADD
000015d3: DUP2
000015d4: SWAP1
000015d5: MSTORE
000015d6: PUSH1 0x24
000015d8: DUP3
000015d9: ADD
000015da: MSTORE
000015db: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000015fc: PUSH1 0x44
000015fe: DUP3
000015ff: ADD
00001600: MSTORE
00001601: PUSH1 0x64
00001603: ADD
00001604: PUSH2 0x0b6b
00001607: JUMP
00001608: JUMPDEST
00001609: PUSH2 0x1612
0000160c: PUSH1 0x00
0000160e: PUSH2 0x2900
00001611: JUMP
00001612: JUMPDEST
00001613: JUMP
00001614: JUMPDEST
00001615: PUSH1 0x00
00001617: PUSH1 0x0c
00001619: DUP3
0000161a: DUP2
0000161b: SLOAD
0000161c: DUP2
0000161d: LT
0000161e: PUSH2 0x1629
00001621: JUMPI
00001622: PUSH2 0x1629
00001625: PUSH2 0x3b11
00001628: JUMP
00001629: JUMPDEST
0000162a: PUSH1 0x00
0000162c: SWAP2
0000162d: DUP3
0000162e: MSTORE
0000162f: PUSH1 0x20
00001631: SWAP1
00001632: SWAP2
00001633: KECCAK256
00001634: ADD
00001635: SLOAD
00001636: PUSH1 0x01
00001638: PUSH1 0x01
0000163a: PUSH1 0xa0
0000163c: SHL
0000163d: SUB
0000163e: AND
0000163f: SWAP3
00001640: SWAP2
00001641: POP
00001642: POP
00001643: JUMP
00001644: JUMPDEST
00001645: PUSH1 0x0f
00001647: SLOAD
00001648: PUSH1 0x01
0000164a: PUSH1 0x01
0000164c: PUSH1 0xa0
0000164e: SHL
0000164f: SUB
00001650: AND
00001651: CALLER
00001652: EQ
00001653: PUSH2 0x169e
00001656: JUMPI
00001657: PUSH1 0x40
00001659: MLOAD
0000165a: PUSH3 0x461bcd
0000165e: PUSH1 0xe5
00001660: SHL
00001661: DUP2
00001662: MSTORE
00001663: PUSH1 0x20
00001665: PUSH1 0x04
00001667: DUP3
00001668: ADD
00001669: DUP2
0000166a: SWAP1
0000166b: MSTORE
0000166c: PUSH1 0x24
0000166e: DUP3
0000166f: ADD
00001670: MSTORE
00001671: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001692: PUSH1 0x44
00001694: DUP3
00001695: ADD
00001696: MSTORE
00001697: PUSH1 0x64
00001699: ADD
0000169a: PUSH2 0x0b6b
0000169d: JUMP
0000169e: JUMPDEST
0000169f: DUP1
000016a0: MLOAD
000016a1: PUSH2 0x16b1
000016a4: SWAP1
000016a5: PUSH1 0x15
000016a7: SWAP1
000016a8: PUSH1 0x20
000016aa: DUP5
000016ab: ADD
000016ac: SWAP1
000016ad: PUSH2 0x3466
000016b0: JUMP
000016b1: JUMPDEST
000016b2: POP
000016b3: POP
000016b4: JUMP
000016b5: JUMPDEST
000016b6: CALLER
000016b7: PUSH1 0x01
000016b9: PUSH1 0x01
000016bb: PUSH1 0xa0
000016bd: SHL
000016be: SUB
000016bf: PUSH32 0x000000000000000000000000271682deb8c4e0901d1a1550ad2e64d568e69909
000016e0: AND
000016e1: EQ
000016e2: PUSH2 0x172d
000016e5: JUMPI
000016e6: PUSH1 0x40
000016e8: MLOAD
000016e9: PUSH3 0x461bcd
000016ed: PUSH1 0xe5
000016ef: SHL
000016f0: DUP2
000016f1: MSTORE
000016f2: PUSH1 0x20
000016f4: PUSH1 0x04
000016f6: DUP3
000016f7: ADD
000016f8: MSTORE
000016f9: PUSH1 0x1f
000016fb: PUSH1 0x24
000016fd: DUP3
000016fe: ADD
000016ff: MSTORE
00001700: PUSH32 0x4f6e6c7920565246436f6f7264696e61746f722063616e2066756c66696c6c00
00001721: PUSH1 0x44
00001723: DUP3
00001724: ADD
00001725: MSTORE
00001726: PUSH1 0x64
00001728: ADD
00001729: PUSH2 0x0b6b
0000172c: JUMP
0000172d: JUMPDEST
0000172e: PUSH2 0x16b1
00001731: DUP3
00001732: DUP3
00001733: PUSH2 0x296a
00001736: JUMP
00001737: JUMPDEST
00001738: PUSH1 0x60
0000173a: PUSH1 0x02
0000173c: DUP1
0000173d: SLOAD
0000173e: PUSH2 0x0a6d
00001741: SWAP1
00001742: PUSH2 0x3a7b
00001745: JUMP
00001746: JUMPDEST
00001747: PUSH1 0x02
00001749: PUSH1 0x10
0000174b: SLOAD
0000174c: EQ
0000174d: ISZERO
0000174e: PUSH2 0x1799
00001751: JUMPI
00001752: PUSH1 0x40
00001754: MLOAD
00001755: PUSH3 0x461bcd
00001759: PUSH1 0xe5
0000175b: SHL
0000175c: DUP2
0000175d: MSTORE
0000175e: PUSH1 0x20
00001760: PUSH1 0x04
00001762: DUP3
00001763: ADD
00001764: MSTORE
00001765: PUSH1 0x1f
00001767: PUSH1 0x24
00001769: DUP3
0000176a: ADD
0000176b: MSTORE
0000176c: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
0000178d: PUSH1 0x44
0000178f: DUP3
00001790: ADD
00001791: MSTORE
00001792: PUSH1 0x64
00001794: ADD
00001795: PUSH2 0x0b6b
00001798: JUMP
00001799: JUMPDEST
0000179a: PUSH1 0x02
0000179c: PUSH1 0x10
0000179e: SSTORE
0000179f: PUSH1 0x12
000017a1: SLOAD
000017a2: NUMBER
000017a3: LT
000017a4: ISZERO
000017a5: DUP1
000017a6: PUSH2 0x17b9
000017a9: JUMPI
000017aa: POP
000017ab: PUSH1 0x0f
000017ad: SLOAD
000017ae: PUSH1 0x01
000017b0: PUSH1 0x01
000017b2: PUSH1 0xa0
000017b4: SHL
000017b5: SUB
000017b6: AND
000017b7: CALLER
000017b8: EQ
000017b9: JUMPDEST
000017ba: PUSH2 0x1805
000017bd: JUMPI
000017be: PUSH1 0x40
000017c0: MLOAD
000017c1: PUSH3 0x461bcd
000017c5: PUSH1 0xe5
000017c7: SHL
000017c8: DUP2
000017c9: MSTORE
000017ca: PUSH1 0x20
000017cc: PUSH1 0x04
000017ce: DUP3
000017cf: ADD
000017d0: MSTORE
000017d1: PUSH1 0x18
000017d3: PUSH1 0x24
000017d5: DUP3
000017d6: ADD
000017d7: MSTORE
000017d8: PUSH32 0x53616c65206861736e2774207374617274656420796574210000000000000000
000017f9: PUSH1 0x44
000017fb: DUP3
000017fc: ADD
000017fd: MSTORE
000017fe: PUSH1 0x64
00001800: ADD
00001801: PUSH2 0x0b6b
00001804: JUMP
00001805: JUMPDEST
00001806: PUSH2 0x1388
00001809: DUP2
0000180a: PUSH2 0x1812
0000180d: PUSH1 0x00
0000180f: SLOAD
00001810: SWAP1
00001811: JUMP
00001812: JUMPDEST
00001813: PUSH2 0x181c
00001816: SWAP2
00001817: SWAP1
00001818: PUSH2 0x39a5
0000181b: JUMP
0000181c: JUMPDEST
0000181d: GT
0000181e: ISZERO
0000181f: PUSH2 0x1890
00001822: JUMPI
00001823: PUSH1 0x40
00001825: MLOAD
00001826: PUSH3 0x461bcd
0000182a: PUSH1 0xe5
0000182c: SHL
0000182d: DUP2
0000182e: MSTORE
0000182f: PUSH1 0x20
00001831: PUSH1 0x04
00001833: DUP3
00001834: ADD
00001835: MSTORE
00001836: PUSH1 0x26
00001838: PUSH1 0x24
0000183a: DUP3
0000183b: ADD
0000183c: MSTORE
0000183d: PUSH32 0x4d696e74696e672074686973206d616e7920776f756c64206578636565642073
0000185e: PUSH1 0x44
00001860: DUP3
00001861: ADD
00001862: MSTORE
00001863: PUSH32 0x7570706c79210000000000000000000000000000000000000000000000000000
00001884: PUSH1 0x64
00001886: DUP3
00001887: ADD
00001888: MSTORE
00001889: PUSH1 0x84
0000188b: ADD
0000188c: PUSH2 0x0b6b
0000188f: JUMP
00001890: JUMPDEST
00001891: PUSH1 0x05
00001893: DUP2
00001894: PUSH2 0x189c
00001897: CALLER
00001898: PUSH2 0x298d
0000189b: JUMP
0000189c: JUMPDEST
0000189d: PUSH2 0x18a6
000018a0: SWAP2
000018a1: SWAP1
000018a2: PUSH2 0x39a5
000018a5: JUMP
000018a6: JUMPDEST
000018a7: GT
000018a8: ISZERO
000018a9: PUSH2 0x18f4
000018ac: JUMPI
000018ad: PUSH1 0x40
000018af: MLOAD
000018b0: PUSH3 0x461bcd
000018b4: PUSH1 0xe5
000018b6: SHL
000018b7: DUP2
000018b8: MSTORE
000018b9: PUSH1 0x20
000018bb: PUSH1 0x04
000018bd: DUP3
000018be: ADD
000018bf: MSTORE
000018c0: PUSH1 0x1c
000018c2: PUSH1 0x24
000018c4: DUP3
000018c5: ADD
000018c6: MSTORE
000018c7: PUSH32 0x54686572652069732061207065722d77616c6c6574206c696d69742100000000
000018e8: PUSH1 0x44
000018ea: DUP3
000018eb: ADD
000018ec: MSTORE
000018ed: PUSH1 0x64
000018ef: ADD
000018f0: PUSH2 0x0b6b
000018f3: JUMP
000018f4: JUMPDEST
000018f5: PUSH2 0x1906
000018f8: DUP2
000018f9: PUSH8 0x01cdda4faccd0000
00001902: PUSH2 0x39d1
00001905: JUMP
00001906: JUMPDEST
00001907: CALLVALUE
00001908: EQ
00001909: PUSH2 0x1954
0000190c: JUMPI
0000190d: PUSH1 0x40
0000190f: MLOAD
00001910: PUSH3 0x461bcd
00001914: PUSH1 0xe5
00001916: SHL
00001917: DUP2
00001918: MSTORE
00001919: PUSH1 0x20
0000191b: PUSH1 0x04
0000191d: DUP3
0000191e: ADD
0000191f: MSTORE
00001920: PUSH1 0x11
00001922: PUSH1 0x24
00001924: DUP3
00001925: ADD
00001926: MSTORE
00001927: PUSH32 0x57726f6e672065746865722073656e7421000000000000000000000000000000
00001948: PUSH1 0x44
0000194a: DUP3
0000194b: ADD
0000194c: MSTORE
0000194d: PUSH1 0x64
0000194f: ADD
00001950: PUSH2 0x0b6b
00001953: JUMP
00001954: JUMPDEST
00001955: CALLER
00001956: ORIGIN
00001957: EQ
00001958: PUSH2 0x19a3
0000195b: JUMPI
0000195c: PUSH1 0x40
0000195e: MLOAD
0000195f: PUSH3 0x461bcd
00001963: PUSH1 0xe5
00001965: SHL
00001966: DUP2
00001967: MSTORE
00001968: PUSH1 0x20
0000196a: PUSH1 0x04
0000196c: DUP3
0000196d: ADD
0000196e: MSTORE
0000196f: PUSH1 0x0d
00001971: PUSH1 0x24
00001973: DUP3
00001974: ADD
00001975: MSTORE
00001976: PUSH32 0x4e6f20636f6e7472616374732100000000000000000000000000000000000000
00001997: PUSH1 0x44
00001999: DUP3
0000199a: ADD
0000199b: MSTORE
0000199c: PUSH1 0x64
0000199e: ADD
0000199f: PUSH2 0x0b6b
000019a2: JUMP
000019a3: JUMPDEST
000019a4: PUSH2 0x19ad
000019a7: CALLER
000019a8: DUP3
000019a9: PUSH2 0x2a4d
000019ac: JUMP
000019ad: JUMPDEST
000019ae: POP
000019af: PUSH1 0x01
000019b1: PUSH1 0x10
000019b3: SSTORE
000019b4: JUMP
000019b5: JUMPDEST
000019b6: PUSH1 0x01
000019b8: PUSH1 0x01
000019ba: PUSH1 0xa0
000019bc: SHL
000019bd: SUB
000019be: DUP3
000019bf: AND
000019c0: CALLER
000019c1: EQ
000019c2: ISZERO
000019c3: PUSH2 0x1a0e
000019c6: JUMPI
000019c7: PUSH1 0x40
000019c9: MLOAD
000019ca: PUSH3 0x461bcd
000019ce: PUSH1 0xe5
000019d0: SHL
000019d1: DUP2
000019d2: MSTORE
000019d3: PUSH1 0x20
000019d5: PUSH1 0x04
000019d7: DUP3
000019d8: ADD
000019d9: MSTORE
000019da: PUSH1 0x1a
000019dc: PUSH1 0x24
000019de: DUP3
000019df: ADD
000019e0: MSTORE
000019e1: PUSH32 0x455243373231413a20617070726f766520746f2063616c6c6572000000000000
00001a02: PUSH1 0x44
00001a04: DUP3
00001a05: ADD
00001a06: MSTORE
00001a07: PUSH1 0x64
00001a09: ADD
00001a0a: PUSH2 0x0b6b
00001a0d: JUMP
00001a0e: JUMPDEST
00001a0f: CALLER
00001a10: PUSH1 0x00
00001a12: DUP2
00001a13: DUP2
00001a14: MSTORE
00001a15: PUSH1 0x06
00001a17: PUSH1 0x20
00001a19: SWAP1
00001a1a: DUP2
00001a1b: MSTORE
00001a1c: PUSH1 0x40
00001a1e: DUP1
00001a1f: DUP4
00001a20: KECCAK256
00001a21: PUSH1 0x01
00001a23: PUSH1 0x01
00001a25: PUSH1 0xa0
00001a27: SHL
00001a28: SUB
00001a29: DUP8
00001a2a: AND
00001a2b: DUP1
00001a2c: DUP6
00001a2d: MSTORE
00001a2e: SWAP1
00001a2f: DUP4
00001a30: MSTORE
00001a31: SWAP3
00001a32: DUP2
00001a33: SWAP1
00001a34: KECCAK256
00001a35: DUP1
00001a36: SLOAD
00001a37: PUSH1 0xff
00001a39: NOT
00001a3a: AND
00001a3b: DUP7
00001a3c: ISZERO
00001a3d: ISZERO
00001a3e: SWAP1
00001a3f: DUP2
00001a40: OR
00001a41: SWAP1
00001a42: SWAP2
00001a43: SSTORE
00001a44: SWAP1
00001a45: MLOAD
00001a46: SWAP1
00001a47: DUP2
00001a48: MSTORE
00001a49: SWAP2
00001a4a: SWAP3
00001a4b: SWAP2
00001a4c: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31
00001a6d: SWAP2
00001a6e: ADD
00001a6f: PUSH1 0x40
00001a71: MLOAD
00001a72: DUP1
00001a73: SWAP2
00001a74: SUB
00001a75: SWAP1
00001a76: LOG3
00001a77: POP
00001a78: POP
00001a79: JUMP
00001a7a: JUMPDEST
00001a7b: PUSH1 0x0f
00001a7d: SLOAD
00001a7e: PUSH1 0x00
00001a80: SWAP1
00001a81: PUSH1 0x01
00001a83: PUSH1 0x01
00001a85: PUSH1 0xa0
00001a87: SHL
00001a88: SUB
00001a89: AND
00001a8a: CALLER
00001a8b: EQ
00001a8c: PUSH2 0x1ad7
00001a8f: JUMPI
00001a90: PUSH1 0x40
00001a92: MLOAD
00001a93: PUSH3 0x461bcd
00001a97: PUSH1 0xe5
00001a99: SHL
00001a9a: DUP2
00001a9b: MSTORE
00001a9c: PUSH1 0x20
00001a9e: PUSH1 0x04
00001aa0: DUP3
00001aa1: ADD
00001aa2: DUP2
00001aa3: SWAP1
00001aa4: MSTORE
00001aa5: PUSH1 0x24
00001aa7: DUP3
00001aa8: ADD
00001aa9: MSTORE
00001aaa: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001acb: PUSH1 0x44
00001acd: DUP3
00001ace: ADD
00001acf: MSTORE
00001ad0: PUSH1 0x64
00001ad2: ADD
00001ad3: PUSH2 0x0b6b
00001ad6: JUMP
00001ad7: JUMPDEST
00001ad8: PUSH32 0x000000000000000000000000514910771af9ca656af840dff83e8264ecf986ca
00001af9: PUSH1 0x01
00001afb: PUSH1 0x01
00001afd: PUSH1 0xa0
00001aff: SHL
00001b00: SUB
00001b01: AND
00001b02: PUSH4 0x23b872dd
00001b07: PUSH2 0x1b18
00001b0a: PUSH1 0x0f
00001b0c: SLOAD
00001b0d: PUSH1 0x01
00001b0f: PUSH1 0x01
00001b11: PUSH1 0xa0
00001b13: SHL
00001b14: SUB
00001b15: AND
00001b16: SWAP1
00001b17: JUMP
00001b18: JUMPDEST
00001b19: PUSH1 0x18
00001b1b: SLOAD
00001b1c: PUSH1 0x40
00001b1e: MLOAD
00001b1f: PUSH1 0x01
00001b21: PUSH1 0x01
00001b23: PUSH1 0xe0
00001b25: SHL
00001b26: SUB
00001b27: NOT
00001b28: PUSH1 0xe0
00001b2a: DUP6
00001b2b: SWAP1
00001b2c: SHL
00001b2d: AND
00001b2e: DUP2
00001b2f: MSTORE
00001b30: PUSH1 0x01
00001b32: PUSH1 0x01
00001b34: PUSH1 0xa0
00001b36: SHL
00001b37: SUB
00001b38: SWAP1
00001b39: SWAP3
00001b3a: AND
00001b3b: PUSH1 0x04
00001b3d: DUP4
00001b3e: ADD
00001b3f: MSTORE
00001b40: ADDRESS
00001b41: PUSH1 0x24
00001b43: DUP4
00001b44: ADD
00001b45: MSTORE
00001b46: PUSH1 0x44
00001b48: DUP3
00001b49: ADD
00001b4a: MSTORE
00001b4b: PUSH1 0x64
00001b4d: ADD
00001b4e: PUSH1 0x20
00001b50: PUSH1 0x40
00001b52: MLOAD
00001b53: DUP1
00001b54: DUP4
00001b55: SUB
00001b56: DUP2
00001b57: PUSH1 0x00
00001b59: DUP8
00001b5a: DUP1
00001b5b: EXTCODESIZE
00001b5c: ISZERO
00001b5d: DUP1
00001b5e: ISZERO
00001b5f: PUSH2 0x1b67
00001b62: JUMPI
00001b63: PUSH1 0x00
00001b65: DUP1
00001b66: REVERT
00001b67: JUMPDEST
00001b68: POP
00001b69: GAS
00001b6a: CALL
00001b6b: ISZERO
00001b6c: DUP1
00001b6d: ISZERO
00001b6e: PUSH2 0x1b7b
00001b71: JUMPI
00001b72: RETURNDATASIZE
00001b73: PUSH1 0x00
00001b75: DUP1
00001b76: RETURNDATACOPY
00001b77: RETURNDATASIZE
00001b78: PUSH1 0x00
00001b7a: REVERT
00001b7b: JUMPDEST
00001b7c: POP
00001b7d: POP
00001b7e: POP
00001b7f: POP
00001b80: PUSH1 0x40
00001b82: MLOAD
00001b83: RETURNDATASIZE
00001b84: PUSH1 0x1f
00001b86: NOT
00001b87: PUSH1 0x1f
00001b89: DUP3
00001b8a: ADD
00001b8b: AND
00001b8c: DUP3
00001b8d: ADD
00001b8e: DUP1
00001b8f: PUSH1 0x40
00001b91: MSTORE
00001b92: POP
00001b93: DUP2
00001b94: ADD
00001b95: SWAP1
00001b96: PUSH2 0x1b9f
00001b99: SWAP2
00001b9a: SWAP1
00001b9b: PUSH2 0x36dd
00001b9e: JUMP
00001b9f: JUMPDEST
00001ba0: POP
00001ba1: PUSH1 0x13
00001ba3: SLOAD
00001ba4: ISZERO
00001ba5: PUSH2 0x1c16
00001ba8: JUMPI
00001ba9: PUSH1 0x40
00001bab: MLOAD
00001bac: PUSH3 0x461bcd
00001bb0: PUSH1 0xe5
00001bb2: SHL
00001bb3: DUP2
00001bb4: MSTORE
00001bb5: PUSH1 0x20
00001bb7: PUSH1 0x04
00001bb9: DUP3
00001bba: ADD
00001bbb: MSTORE
00001bbc: PUSH1 0x21
00001bbe: PUSH1 0x24
00001bc0: DUP3
00001bc1: ADD
00001bc2: MSTORE
00001bc3: PUSH32 0x52616e646f6d206f666673657420616c72656164792065737461626c69736865
00001be4: PUSH1 0x44
00001be6: DUP3
00001be7: ADD
00001be8: MSTORE
00001be9: PUSH32 0x6400000000000000000000000000000000000000000000000000000000000000
00001c0a: PUSH1 0x64
00001c0c: DUP3
00001c0d: ADD
00001c0e: MSTORE
00001c0f: PUSH1 0x84
00001c11: ADD
00001c12: PUSH2 0x0b6b
00001c15: JUMP
00001c16: JUMPDEST
00001c17: PUSH2 0x1c24
00001c1a: PUSH1 0x17
00001c1c: SLOAD
00001c1d: PUSH1 0x18
00001c1f: SLOAD
00001c20: PUSH2 0x2a67
00001c23: JUMP
00001c24: JUMPDEST
00001c25: SWAP1
00001c26: POP
00001c27: SWAP1
00001c28: JUMP
00001c29: JUMPDEST
00001c2a: PUSH1 0x0f
00001c2c: SLOAD
00001c2d: PUSH1 0x01
00001c2f: PUSH1 0x01
00001c31: PUSH1 0xa0
00001c33: SHL
00001c34: SUB
00001c35: AND
00001c36: CALLER
00001c37: EQ
00001c38: PUSH2 0x1c83
00001c3b: JUMPI
00001c3c: PUSH1 0x40
00001c3e: MLOAD
00001c3f: PUSH3 0x461bcd
00001c43: PUSH1 0xe5
00001c45: SHL
00001c46: DUP2
00001c47: MSTORE
00001c48: PUSH1 0x20
00001c4a: PUSH1 0x04
00001c4c: DUP3
00001c4d: ADD
00001c4e: DUP2
00001c4f: SWAP1
00001c50: MSTORE
00001c51: PUSH1 0x24
00001c53: DUP3
00001c54: ADD
00001c55: MSTORE
00001c56: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001c77: PUSH1 0x44
00001c79: DUP3
00001c7a: ADD
00001c7b: MSTORE
00001c7c: PUSH1 0x64
00001c7e: ADD
00001c7f: PUSH2 0x0b6b
00001c82: JUMP
00001c83: JUMPDEST
00001c84: PUSH1 0x18
00001c86: SWAP2
00001c87: SWAP1
00001c88: SWAP2
00001c89: SSTORE
00001c8a: PUSH1 0x17
00001c8c: SSTORE
00001c8d: JUMP
00001c8e: JUMPDEST
00001c8f: PUSH2 0x1c99
00001c92: DUP5
00001c93: DUP5
00001c94: DUP5
00001c95: PUSH2 0x22d8
00001c98: JUMP
00001c99: JUMPDEST
00001c9a: PUSH2 0x1ca5
00001c9d: DUP5
00001c9e: DUP5
00001c9f: DUP5
00001ca0: DUP5
00001ca1: PUSH2 0x2bfa
00001ca4: JUMP
00001ca5: JUMPDEST
00001ca6: PUSH2 0x1d17
00001ca9: JUMPI
00001caa: PUSH1 0x40
00001cac: MLOAD
00001cad: PUSH3 0x461bcd
00001cb1: PUSH1 0xe5
00001cb3: SHL
00001cb4: DUP2
00001cb5: MSTORE
00001cb6: PUSH1 0x20
00001cb8: PUSH1 0x04
00001cba: DUP3
00001cbb: ADD
00001cbc: MSTORE
00001cbd: PUSH1 0x33
00001cbf: PUSH1 0x24
00001cc1: DUP3
00001cc2: ADD
00001cc3: MSTORE
00001cc4: PUSH32 0x455243373231413a207472616e7366657220746f206e6f6e2045524337323152
00001ce5: PUSH1 0x44
00001ce7: DUP3
00001ce8: ADD
00001ce9: MSTORE
00001cea: PUSH32 0x6563656976657220696d706c656d656e74657200000000000000000000000000
00001d0b: PUSH1 0x64
00001d0d: DUP3
00001d0e: ADD
00001d0f: MSTORE
00001d10: PUSH1 0x84
00001d12: ADD
00001d13: PUSH2 0x0b6b
00001d16: JUMP
00001d17: JUMPDEST
00001d18: POP
00001d19: POP
00001d1a: POP
00001d1b: POP
00001d1c: JUMP
00001d1d: JUMPDEST
00001d1e: PUSH1 0x0f
00001d20: SLOAD
00001d21: PUSH1 0x01
00001d23: PUSH1 0x01
00001d25: PUSH1 0xa0
00001d27: SHL
00001d28: SUB
00001d29: AND
00001d2a: CALLER
00001d2b: EQ
00001d2c: PUSH2 0x1d77
00001d2f: JUMPI
00001d30: PUSH1 0x40
00001d32: MLOAD
00001d33: PUSH3 0x461bcd
00001d37: PUSH1 0xe5
00001d39: SHL
00001d3a: DUP2
00001d3b: MSTORE
00001d3c: PUSH1 0x20
00001d3e: PUSH1 0x04
00001d40: DUP3
00001d41: ADD
00001d42: DUP2
00001d43: SWAP1
00001d44: MSTORE
00001d45: PUSH1 0x24
00001d47: DUP3
00001d48: ADD
00001d49: MSTORE
00001d4a: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001d6b: PUSH1 0x44
00001d6d: DUP3
00001d6e: ADD
00001d6f: MSTORE
00001d70: PUSH1 0x64
00001d72: ADD
00001d73: PUSH2 0x0b6b
00001d76: JUMP
00001d77: JUMPDEST
00001d78: PUSH1 0x40
00001d7a: MLOAD
00001d7b: PUSH32 0xc47f002700000000000000000000000000000000000000000000000000000000
00001d9c: DUP2
00001d9d: MSTORE
00001d9e: PUSH1 0x01
00001da0: PUSH1 0x01
00001da2: PUSH1 0xa0
00001da4: SHL
00001da5: SUB
00001da6: DUP3
00001da7: AND
00001da8: SWAP1
00001da9: PUSH4 0xc47f0027
00001dae: SWAP1
00001daf: PUSH2 0x1dbe
00001db2: SWAP1
00001db3: DUP7
00001db4: SWAP1
00001db5: DUP7
00001db6: SWAP1
00001db7: PUSH1 0x04
00001db9: ADD
00001dba: PUSH2 0x3938
00001dbd: JUMP
00001dbe: JUMPDEST
00001dbf: PUSH1 0x20
00001dc1: PUSH1 0x40
00001dc3: MLOAD
00001dc4: DUP1
00001dc5: DUP4
00001dc6: SUB
00001dc7: DUP2
00001dc8: PUSH1 0x00
00001dca: DUP8
00001dcb: DUP1
00001dcc: EXTCODESIZE
00001dcd: ISZERO
00001dce: DUP1
00001dcf: ISZERO
00001dd0: PUSH2 0x1dd8
00001dd3: JUMPI
00001dd4: PUSH1 0x00
00001dd6: DUP1
00001dd7: REVERT
00001dd8: JUMPDEST
00001dd9: POP
00001dda: GAS
00001ddb: CALL
00001ddc: ISZERO
00001ddd: DUP1
00001dde: ISZERO
00001ddf: PUSH2 0x1dec
00001de2: JUMPI
00001de3: RETURNDATASIZE
00001de4: PUSH1 0x00
00001de6: DUP1
00001de7: RETURNDATACOPY
00001de8: RETURNDATASIZE
00001de9: PUSH1 0x00
00001deb: REVERT
00001dec: JUMPDEST
00001ded: POP
00001dee: POP
00001def: POP
00001df0: POP
00001df1: PUSH1 0x40
00001df3: MLOAD
00001df4: RETURNDATASIZE
00001df5: PUSH1 0x1f
00001df7: NOT
00001df8: PUSH1 0x1f
00001dfa: DUP3
00001dfb: ADD
00001dfc: AND
00001dfd: DUP3
00001dfe: ADD
00001dff: DUP1
00001e00: PUSH1 0x40
00001e02: MSTORE
00001e03: POP
00001e04: DUP2
00001e05: ADD
00001e06: SWAP1
00001e07: PUSH2 0x1d17
00001e0a: SWAP2
00001e0b: SWAP1
00001e0c: PUSH2 0x36fa
00001e0f: JUMP
00001e10: JUMPDEST
00001e11: PUSH1 0x60
00001e13: PUSH2 0x1e1d
00001e16: DUP3
00001e17: PUSH1 0x00
00001e19: SLOAD
00001e1a: GT
00001e1b: SWAP1
00001e1c: JUMP
00001e1d: JUMPDEST
00001e1e: PUSH2 0x1e8f
00001e21: JUMPI
00001e22: PUSH1 0x40
00001e24: MLOAD
00001e25: PUSH3 0x461bcd
00001e29: PUSH1 0xe5
00001e2b: SHL
00001e2c: DUP2
00001e2d: MSTORE
00001e2e: PUSH1 0x20
00001e30: PUSH1 0x04
00001e32: DUP3
00001e33: ADD
00001e34: MSTORE
00001e35: PUSH1 0x2f
00001e37: PUSH1 0x24
00001e39: DUP3
00001e3a: ADD
00001e3b: MSTORE
00001e3c: PUSH32 0x4552433732314d657461646174613a2055524920717565727920666f72206e6f
00001e5d: PUSH1 0x44
00001e5f: DUP3
00001e60: ADD
00001e61: MSTORE
00001e62: PUSH32 0x6e6578697374656e7420746f6b656e0000000000000000000000000000000000
00001e83: PUSH1 0x64
00001e85: DUP3
00001e86: ADD
00001e87: MSTORE
00001e88: PUSH1 0x84
00001e8a: ADD
00001e8b: PUSH2 0x0b6b
00001e8e: JUMP
00001e8f: JUMPDEST
00001e90: PUSH1 0x14
00001e92: SLOAD
00001e93: PUSH1 0xff
00001e95: AND
00001e96: PUSH2 0x1ea1
00001e99: JUMPI
00001e9a: PUSH2 0x0a58
00001e9d: PUSH2 0x2d8f
00001ea0: JUMP
00001ea1: JUMPDEST
00001ea2: PUSH1 0x00
00001ea4: PUSH2 0x1388
00001ea7: PUSH1 0x13
00001ea9: SLOAD
00001eaa: DUP5
00001eab: PUSH2 0x1eb4
00001eae: SWAP2
00001eaf: SWAP1
00001eb0: PUSH2 0x39a5
00001eb3: JUMP
00001eb4: JUMPDEST
00001eb5: PUSH2 0x1ebe
00001eb8: SWAP2
00001eb9: SWAP1
00001eba: PUSH2 0x3ad1
00001ebd: JUMP
00001ebe: JUMPDEST
00001ebf: SWAP1
00001ec0: POP
00001ec1: PUSH2 0x1ec8
00001ec4: PUSH2 0x2d8f
00001ec7: JUMP
00001ec8: JUMPDEST
00001ec9: PUSH2 0x1ed1
00001ecc: DUP3
00001ecd: PUSH2 0x2d9e
00001ed0: JUMP
00001ed1: JUMPDEST
00001ed2: PUSH1 0x40
00001ed4: MLOAD
00001ed5: PUSH1 0x20
00001ed7: ADD
00001ed8: PUSH2 0x1ee2
00001edb: SWAP3
00001edc: SWAP2
00001edd: SWAP1
00001ede: PUSH2 0x389c
00001ee1: JUMP
00001ee2: JUMPDEST
00001ee3: PUSH1 0x40
00001ee5: MLOAD
00001ee6: PUSH1 0x20
00001ee8: DUP2
00001ee9: DUP4
00001eea: SUB
00001eeb: SUB
00001eec: DUP2
00001eed: MSTORE
00001eee: SWAP1
00001eef: PUSH1 0x40
00001ef1: MSTORE
00001ef2: SWAP2
00001ef3: POP
00001ef4: POP
00001ef5: SWAP2
00001ef6: SWAP1
00001ef7: POP
00001ef8: JUMP
00001ef9: JUMPDEST
00001efa: PUSH1 0x0f
00001efc: SLOAD
00001efd: PUSH1 0x01
00001eff: PUSH1 0x01
00001f01: PUSH1 0xa0
00001f03: SHL
00001f04: SUB
00001f05: AND
00001f06: CALLER
00001f07: EQ
00001f08: PUSH2 0x1f53
00001f0b: JUMPI
00001f0c: PUSH1 0x40
00001f0e: MLOAD
00001f0f: PUSH3 0x461bcd
00001f13: PUSH1 0xe5
00001f15: SHL
00001f16: DUP2
00001f17: MSTORE
00001f18: PUSH1 0x20
00001f1a: PUSH1 0x04
00001f1c: DUP3
00001f1d: ADD
00001f1e: DUP2
00001f1f: SWAP1
00001f20: MSTORE
00001f21: PUSH1 0x24
00001f23: DUP3
00001f24: ADD
00001f25: MSTORE
00001f26: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001f47: PUSH1 0x44
00001f49: DUP3
00001f4a: ADD
00001f4b: MSTORE
00001f4c: PUSH1 0x64
00001f4e: ADD
00001f4f: PUSH2 0x0b6b
00001f52: JUMP
00001f53: JUMPDEST
00001f54: PUSH1 0x12
00001f56: SSTORE
00001f57: JUMP
00001f58: JUMPDEST
00001f59: PUSH1 0x0f
00001f5b: SLOAD
00001f5c: PUSH1 0x01
00001f5e: PUSH1 0x01
00001f60: PUSH1 0xa0
00001f62: SHL
00001f63: SUB
00001f64: AND
00001f65: CALLER
00001f66: EQ
00001f67: PUSH2 0x1fb2
00001f6a: JUMPI
00001f6b: PUSH1 0x40
00001f6d: MLOAD
00001f6e: PUSH3 0x461bcd
00001f72: PUSH1 0xe5
00001f74: SHL
00001f75: DUP2
00001f76: MSTORE
00001f77: PUSH1 0x20
00001f79: PUSH1 0x04
00001f7b: DUP3
00001f7c: ADD
00001f7d: DUP2
00001f7e: SWAP1
00001f7f: MSTORE
00001f80: PUSH1 0x24
00001f82: DUP3
00001f83: ADD
00001f84: MSTORE
00001f85: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001fa6: PUSH1 0x44
00001fa8: DUP3
00001fa9: ADD
00001faa: MSTORE
00001fab: PUSH1 0x64
00001fad: ADD
00001fae: PUSH2 0x0b6b
00001fb1: JUMP
00001fb2: JUMPDEST
00001fb3: PUSH1 0x01
00001fb5: PUSH1 0x01
00001fb7: PUSH1 0xa0
00001fb9: SHL
00001fba: SUB
00001fbb: DUP2
00001fbc: AND
00001fbd: PUSH2 0x202e
00001fc0: JUMPI
00001fc1: PUSH1 0x40
00001fc3: MLOAD
00001fc4: PUSH3 0x461bcd
00001fc8: PUSH1 0xe5
00001fca: SHL
00001fcb: DUP2
00001fcc: MSTORE
00001fcd: PUSH1 0x20
00001fcf: PUSH1 0x04
00001fd1: DUP3
00001fd2: ADD
00001fd3: MSTORE
00001fd4: PUSH1 0x26
00001fd6: PUSH1 0x24
00001fd8: DUP3
00001fd9: ADD
00001fda: MSTORE
00001fdb: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00001ffc: PUSH1 0x44
00001ffe: DUP3
00001fff: ADD
00002000: MSTORE
00002001: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000
00002022: PUSH1 0x64
00002024: DUP3
00002025: ADD
00002026: MSTORE
00002027: PUSH1 0x84
00002029: ADD
0000202a: PUSH2 0x0b6b
0000202d: JUMP
0000202e: JUMPDEST
0000202f: PUSH2 0x2037
00002032: DUP2
00002033: PUSH2 0x2900
00002036: JUMP
00002037: JUMPDEST
00002038: POP
00002039: JUMP
0000203a: JUMPDEST
0000203b: PUSH1 0x0f
0000203d: SLOAD
0000203e: PUSH1 0x01
00002040: PUSH1 0x01
00002042: PUSH1 0xa0
00002044: SHL
00002045: SUB
00002046: AND
00002047: CALLER
00002048: EQ
00002049: PUSH2 0x2094
0000204c: JUMPI
0000204d: PUSH1 0x40
0000204f: MLOAD
00002050: PUSH3 0x461bcd
00002054: PUSH1 0xe5
00002056: SHL
00002057: DUP2
00002058: MSTORE
00002059: PUSH1 0x20
0000205b: PUSH1 0x04
0000205d: DUP3
0000205e: ADD
0000205f: DUP2
00002060: SWAP1
00002061: MSTORE
00002062: PUSH1 0x24
00002064: DUP3
00002065: ADD
00002066: MSTORE
00002067: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00002088: PUSH1 0x44
0000208a: DUP3
0000208b: ADD
0000208c: MSTORE
0000208d: PUSH1 0x64
0000208f: ADD
00002090: PUSH2 0x0b6b
00002093: JUMP
00002094: JUMPDEST
00002095: PUSH1 0x16
00002097: DUP1
00002098: SLOAD
00002099: PUSH2 0x20a1
0000209c: SWAP1
0000209d: PUSH2 0x3a7b
000020a0: JUMP
000020a1: JUMPDEST
000020a2: ISZERO
000020a3: SWAP1
000020a4: POP
000020a5: PUSH2 0x20f0
000020a8: JUMPI
000020a9: PUSH1 0x40
000020ab: MLOAD
000020ac: PUSH3 0x461bcd
000020b0: PUSH1 0xe5
000020b2: SHL
000020b3: DUP2
000020b4: MSTORE
000020b5: PUSH1 0x20
000020b7: PUSH1 0x04
000020b9: DUP3
000020ba: ADD
000020bb: MSTORE
000020bc: PUSH1 0x17
000020be: PUSH1 0x24
000020c0: DUP3
000020c1: ADD
000020c2: MSTORE
000020c3: PUSH32 0x50726f76656e616e636520616c72656164792073657421000000000000000000
000020e4: PUSH1 0x44
000020e6: DUP3
000020e7: ADD
000020e8: MSTORE
000020e9: PUSH1 0x64
000020eb: ADD
000020ec: PUSH2 0x0b6b
000020ef: JUMP
000020f0: JUMPDEST
000020f1: DUP1
000020f2: MLOAD
000020f3: PUSH2 0x16b1
000020f6: SWAP1
000020f7: PUSH1 0x16
000020f9: SWAP1
000020fa: PUSH1 0x20
000020fc: DUP5
000020fd: ADD
000020fe: SWAP1
000020ff: PUSH2 0x3466
00002102: JUMP
00002103: JUMPDEST
00002104: PUSH1 0x00
00002106: DUP3
00002107: DUP2
00002108: MSTORE
00002109: PUSH1 0x05
0000210b: PUSH1 0x20
0000210d: MSTORE
0000210e: PUSH1 0x40
00002110: DUP1
00002111: DUP3
00002112: KECCAK256
00002113: DUP1
00002114: SLOAD
00002115: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00002136: AND
00002137: PUSH1 0x01
00002139: PUSH1 0x01
0000213b: PUSH1 0xa0
0000213d: SHL
0000213e: SUB
0000213f: DUP8
00002140: DUP2
00002141: AND
00002142: SWAP2
00002143: DUP3
00002144: OR
00002145: SWAP1
00002146: SWAP3
00002147: SSTORE
00002148: SWAP2
00002149: MLOAD
0000214a: DUP6
0000214b: SWAP4
0000214c: SWAP2
0000214d: DUP6
0000214e: AND
0000214f: SWAP2
00002150: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00002171: SWAP2
00002172: LOG4
00002173: POP
00002174: POP
00002175: POP
00002176: JUMP
00002177: JUMPDEST
00002178: PUSH1 0x08
0000217a: SLOAD
0000217b: PUSH1 0x01
0000217d: PUSH1 0x01
0000217f: PUSH1 0xa0
00002181: SHL
00002182: SUB
00002183: DUP5
00002184: AND
00002185: PUSH1 0x00
00002187: SWAP1
00002188: DUP2
00002189: MSTORE
0000218a: PUSH1 0x0a
0000218c: PUSH1 0x20
0000218e: MSTORE
0000218f: PUSH1 0x40
00002191: DUP2
00002192: KECCAK256
00002193: SLOAD
00002194: SWAP1
00002195: SWAP2
00002196: DUP4
00002197: SWAP2
00002198: PUSH2 0x21a1
0000219b: SWAP1
0000219c: DUP7
0000219d: PUSH2 0x39d1
000021a0: JUMP
000021a1: JUMPDEST
000021a2: PUSH2 0x21ab
000021a5: SWAP2
000021a6: SWAP1
000021a7: PUSH2 0x39bd
000021aa: JUMP
000021ab: JUMPDEST
000021ac: PUSH2 0x21b5
000021af: SWAP2
000021b0: SWAP1
000021b1: PUSH2 0x3a21
000021b4: JUMP
000021b5: JUMPDEST
000021b6: SWAP1
000021b7: POP
000021b8: JUMPDEST
000021b9: SWAP4
000021ba: SWAP3
000021bb: POP
000021bc: POP
000021bd: POP
000021be: JUMP
000021bf: JUMPDEST
000021c0: DUP1
000021c1: SELFBALANCE
000021c2: LT
000021c3: ISZERO
000021c4: PUSH2 0x220f
000021c7: JUMPI
000021c8: PUSH1 0x40
000021ca: MLOAD
000021cb: PUSH3 0x461bcd
000021cf: PUSH1 0xe5
000021d1: SHL
000021d2: DUP2
000021d3: MSTORE
000021d4: PUSH1 0x20
000021d6: PUSH1 0x04
000021d8: DUP3
000021d9: ADD
000021da: MSTORE
000021db: PUSH1 0x1d
000021dd: PUSH1 0x24
000021df: DUP3
000021e0: ADD
000021e1: MSTORE
000021e2: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000
00002203: PUSH1 0x44
00002205: DUP3
00002206: ADD
00002207: MSTORE
00002208: PUSH1 0x64
0000220a: ADD
0000220b: PUSH2 0x0b6b
0000220e: JUMP
0000220f: JUMPDEST
00002210: PUSH1 0x00
00002212: DUP3
00002213: PUSH1 0x01
00002215: PUSH1 0x01
00002217: PUSH1 0xa0
00002219: SHL
0000221a: SUB
0000221b: AND
0000221c: DUP3
0000221d: PUSH1 0x40
0000221f: MLOAD
00002220: PUSH1 0x00
00002222: PUSH1 0x40
00002224: MLOAD
00002225: DUP1
00002226: DUP4
00002227: SUB
00002228: DUP2
00002229: DUP6
0000222a: DUP8
0000222b: GAS
0000222c: CALL
0000222d: SWAP3
0000222e: POP
0000222f: POP
00002230: POP
00002231: RETURNDATASIZE
00002232: DUP1
00002233: PUSH1 0x00
00002235: DUP2
00002236: EQ
00002237: PUSH2 0x225c
0000223a: JUMPI
0000223b: PUSH1 0x40
0000223d: MLOAD
0000223e: SWAP2
0000223f: POP
00002240: PUSH1 0x1f
00002242: NOT
00002243: PUSH1 0x3f
00002245: RETURNDATASIZE
00002246: ADD
00002247: AND
00002248: DUP3
00002249: ADD
0000224a: PUSH1 0x40
0000224c: MSTORE
0000224d: RETURNDATASIZE
0000224e: DUP3
0000224f: MSTORE
00002250: RETURNDATASIZE
00002251: PUSH1 0x00
00002253: PUSH1 0x20
00002255: DUP5
00002256: ADD
00002257: RETURNDATACOPY
00002258: PUSH2 0x2261
0000225b: JUMP
0000225c: JUMPDEST
0000225d: PUSH1 0x60
0000225f: SWAP2
00002260: POP
00002261: JUMPDEST
00002262: POP
00002263: POP
00002264: SWAP1
00002265: POP
00002266: DUP1
00002267: PUSH2 0x0cbe
0000226a: JUMPI
0000226b: PUSH1 0x40
0000226d: MLOAD
0000226e: PUSH3 0x461bcd
00002272: PUSH1 0xe5
00002274: SHL
00002275: DUP2
00002276: MSTORE
00002277: PUSH1 0x20
00002279: PUSH1 0x04
0000227b: DUP3
0000227c: ADD
0000227d: MSTORE
0000227e: PUSH1 0x3a
00002280: PUSH1 0x24
00002282: DUP3
00002283: ADD
00002284: MSTORE
00002285: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072
000022a6: PUSH1 0x44
000022a8: DUP3
000022a9: ADD
000022aa: MSTORE
000022ab: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000
000022cc: PUSH1 0x64
000022ce: DUP3
000022cf: ADD
000022d0: MSTORE
000022d1: PUSH1 0x84
000022d3: ADD
000022d4: PUSH2 0x0b6b
000022d7: JUMP
000022d8: JUMPDEST
000022d9: PUSH1 0x00
000022db: PUSH2 0x22e3
000022de: DUP3
000022df: PUSH2 0x2735
000022e2: JUMP
000022e3: JUMPDEST
000022e4: DUP1
000022e5: MLOAD
000022e6: SWAP1
000022e7: SWAP2
000022e8: POP
000022e9: PUSH1 0x00
000022eb: SWAP1
000022ec: PUSH1 0x01
000022ee: PUSH1 0x01
000022f0: PUSH1 0xa0
000022f2: SHL
000022f3: SUB
000022f4: AND
000022f5: CALLER
000022f6: PUSH1 0x01
000022f8: PUSH1 0x01
000022fa: PUSH1 0xa0
000022fc: SHL
000022fd: SUB
000022fe: AND
000022ff: EQ
00002300: DUP1
00002301: PUSH2 0x231a
00002304: JUMPI
00002305: POP
00002306: CALLER
00002307: PUSH2 0x230f
0000230a: DUP5
0000230b: PUSH2 0x0af0
0000230e: JUMP
0000230f: JUMPDEST
00002310: PUSH1 0x01
00002312: PUSH1 0x01
00002314: PUSH1 0xa0
00002316: SHL
00002317: SUB
00002318: AND
00002319: EQ
0000231a: JUMPDEST
0000231b: DUP1
0000231c: PUSH2 0x232c
0000231f: JUMPI
00002320: POP
00002321: DUP2
00002322: MLOAD
00002323: PUSH2 0x232c
00002326: SWAP1
00002327: CALLER
00002328: PUSH2 0x08e3
0000232b: JUMP
0000232c: JUMPDEST
0000232d: SWAP1
0000232e: POP
0000232f: DUP1
00002330: PUSH2 0x23a1
00002333: JUMPI
00002334: PUSH1 0x40
00002336: MLOAD
00002337: PUSH3 0x461bcd
0000233b: PUSH1 0xe5
0000233d: SHL
0000233e: DUP2
0000233f: MSTORE
00002340: PUSH1 0x20
00002342: PUSH1 0x04
00002344: DUP3
00002345: ADD
00002346: MSTORE
00002347: PUSH1 0x32
00002349: PUSH1 0x24
0000234b: DUP3
0000234c: ADD
0000234d: MSTORE
0000234e: PUSH32 0x455243373231413a207472616e736665722063616c6c6572206973206e6f7420
0000236f: PUSH1 0x44
00002371: DUP3
00002372: ADD
00002373: MSTORE
00002374: PUSH32 0x6f776e6572206e6f7220617070726f7665640000000000000000000000000000
00002395: PUSH1 0x64
00002397: DUP3
00002398: ADD
00002399: MSTORE
0000239a: PUSH1 0x84
0000239c: ADD
0000239d: PUSH2 0x0b6b
000023a0: JUMP
000023a1: JUMPDEST
000023a2: DUP5
000023a3: PUSH1 0x01
000023a5: PUSH1 0x01
000023a7: PUSH1 0xa0
000023a9: SHL
000023aa: SUB
000023ab: AND
000023ac: DUP3
000023ad: PUSH1 0x00
000023af: ADD
000023b0: MLOAD
000023b1: PUSH1 0x01
000023b3: PUSH1 0x01
000023b5: PUSH1 0xa0
000023b7: SHL
000023b8: SUB
000023b9: AND
000023ba: EQ
000023bb: PUSH2 0x242c
000023be: JUMPI
000023bf: PUSH1 0x40
000023c1: MLOAD
000023c2: PUSH3 0x461bcd
000023c6: PUSH1 0xe5
000023c8: SHL
000023c9: DUP2
000023ca: MSTORE
000023cb: PUSH1 0x20
000023cd: PUSH1 0x04
000023cf: DUP3
000023d0: ADD
000023d1: MSTORE
000023d2: PUSH1 0x26
000023d4: PUSH1 0x24
000023d6: DUP3
000023d7: ADD
000023d8: MSTORE
000023d9: PUSH32 0x455243373231413a207472616e736665722066726f6d20696e636f7272656374
000023fa: PUSH1 0x44
000023fc: DUP3
000023fd: ADD
000023fe: MSTORE
000023ff: PUSH32 0x206f776e65720000000000000000000000000000000000000000000000000000
00002420: PUSH1 0x64
00002422: DUP3
00002423: ADD
00002424: MSTORE
00002425: PUSH1 0x84
00002427: ADD
00002428: PUSH2 0x0b6b
0000242b: JUMP
0000242c: JUMPDEST
0000242d: PUSH1 0x01
0000242f: PUSH1 0x01
00002431: PUSH1 0xa0
00002433: SHL
00002434: SUB
00002435: DUP5
00002436: AND
00002437: PUSH2 0x24a8
0000243a: JUMPI
0000243b: PUSH1 0x40
0000243d: MLOAD
0000243e: PUSH3 0x461bcd
00002442: PUSH1 0xe5
00002444: SHL
00002445: DUP2
00002446: MSTORE
00002447: PUSH1 0x20
00002449: PUSH1 0x04
0000244b: DUP3
0000244c: ADD
0000244d: MSTORE
0000244e: PUSH1 0x25
00002450: PUSH1 0x24
00002452: DUP3
00002453: ADD
00002454: MSTORE
00002455: PUSH32 0x455243373231413a207472616e7366657220746f20746865207a65726f206164
00002476: PUSH1 0x44
00002478: DUP3
00002479: ADD
0000247a: MSTORE
0000247b: PUSH32 0x6472657373000000000000000000000000000000000000000000000000000000
0000249c: PUSH1 0x64
0000249e: DUP3
0000249f: ADD
000024a0: MSTORE
000024a1: PUSH1 0x84
000024a3: ADD
000024a4: PUSH2 0x0b6b
000024a7: JUMP
000024a8: JUMPDEST
000024a9: PUSH2 0x24b8
000024ac: PUSH1 0x00
000024ae: DUP5
000024af: DUP5
000024b0: PUSH1 0x00
000024b2: ADD
000024b3: MLOAD
000024b4: PUSH2 0x2103
000024b7: JUMP
000024b8: JUMPDEST
000024b9: PUSH1 0x01
000024bb: PUSH1 0x01
000024bd: PUSH1 0xa0
000024bf: SHL
000024c0: SUB
000024c1: DUP6
000024c2: AND
000024c3: PUSH1 0x00
000024c5: SWAP1
000024c6: DUP2
000024c7: MSTORE
000024c8: PUSH1 0x04
000024ca: PUSH1 0x20
000024cc: MSTORE
000024cd: PUSH1 0x40
000024cf: DUP2
000024d0: KECCAK256
000024d1: DUP1
000024d2: SLOAD
000024d3: PUSH1 0x01
000024d5: SWAP3
000024d6: SWAP1
000024d7: PUSH2 0x24f3
000024da: SWAP1
000024db: DUP5
000024dc: SWAP1
000024dd: PUSH16 0xffffffffffffffffffffffffffffffff
000024ee: AND
000024ef: PUSH2 0x39f0
000024f2: JUMP
000024f3: JUMPDEST
000024f4: DUP3
000024f5: SLOAD
000024f6: PUSH2 0x0100
000024f9: SWAP3
000024fa: SWAP1
000024fb: SWAP3
000024fc: EXP
000024fd: PUSH16 0xffffffffffffffffffffffffffffffff
0000250e: DUP2
0000250f: DUP2
00002510: MUL
00002511: NOT
00002512: SWAP1
00002513: SWAP4
00002514: AND
00002515: SWAP2
00002516: DUP4
00002517: AND
00002518: MUL
00002519: OR
0000251a: SWAP1
0000251b: SWAP2
0000251c: SSTORE
0000251d: PUSH1 0x01
0000251f: PUSH1 0x01
00002521: PUSH1 0xa0
00002523: SHL
00002524: SUB
00002525: DUP7
00002526: AND
00002527: PUSH1 0x00
00002529: SWAP1
0000252a: DUP2
0000252b: MSTORE
0000252c: PUSH1 0x04
0000252e: PUSH1 0x20
00002530: MSTORE
00002531: PUSH1 0x40
00002533: DUP2
00002534: KECCAK256
00002535: DUP1
00002536: SLOAD
00002537: PUSH1 0x01
00002539: SWAP5
0000253a: POP
0000253b: SWAP1
0000253c: SWAP3
0000253d: PUSH2 0x2548
00002540: SWAP2
00002541: DUP6
00002542: SWAP2
00002543: AND
00002544: PUSH2 0x397a
00002547: JUMP
00002548: JUMPDEST
00002549: DUP3
0000254a: SLOAD
0000254b: PUSH16 0xffffffffffffffffffffffffffffffff
0000255c: SWAP2
0000255d: DUP3
0000255e: AND
0000255f: PUSH2 0x0100
00002562: SWAP4
00002563: SWAP1
00002564: SWAP4
00002565: EXP
00002566: SWAP3
00002567: DUP4
00002568: MUL
00002569: SWAP2
0000256a: SWAP1
0000256b: SWAP3
0000256c: MUL
0000256d: NOT
0000256e: SWAP1
0000256f: SWAP2
00002570: AND
00002571: OR
00002572: SWAP1
00002573: SSTORE
00002574: POP
00002575: PUSH1 0x40
00002577: DUP1
00002578: MLOAD
00002579: DUP1
0000257a: DUP3
0000257b: ADD
0000257c: DUP3
0000257d: MSTORE
0000257e: PUSH1 0x01
00002580: PUSH1 0x01
00002582: PUSH1 0xa0
00002584: SHL
00002585: SUB
00002586: DUP1
00002587: DUP8
00002588: AND
00002589: DUP3
0000258a: MSTORE
0000258b: PUSH8 0xffffffffffffffff
00002594: TIMESTAMP
00002595: DUP2
00002596: AND
00002597: PUSH1 0x20
00002599: DUP1
0000259a: DUP6
0000259b: ADD
0000259c: SWAP2
0000259d: DUP3
0000259e: MSTORE
0000259f: PUSH1 0x00
000025a1: DUP10
000025a2: DUP2
000025a3: MSTORE
000025a4: PUSH1 0x03
000025a6: SWAP1
000025a7: SWAP2
000025a8: MSTORE
000025a9: SWAP5
000025aa: DUP6
000025ab: KECCAK256
000025ac: SWAP4
000025ad: MLOAD
000025ae: DUP5
000025af: SLOAD
000025b0: SWAP2
000025b1: MLOAD
000025b2: SWAP1
000025b3: SWAP3
000025b4: AND
000025b5: PUSH1 0x01
000025b7: PUSH1 0xa0
000025b9: SHL
000025ba: MUL
000025bb: PUSH1 0x01
000025bd: PUSH1 0x01
000025bf: PUSH1 0xe0
000025c1: SHL
000025c2: SUB
000025c3: NOT
000025c4: SWAP1
000025c5: SWAP2
000025c6: AND
000025c7: SWAP2
000025c8: SWAP1
000025c9: SWAP3
000025ca: AND
000025cb: OR
000025cc: OR
000025cd: SWAP1
000025ce: SSTORE
000025cf: PUSH2 0x25d9
000025d2: DUP5
000025d3: PUSH1 0x01
000025d5: PUSH2 0x39a5
000025d8: JUMP
000025d9: JUMPDEST
000025da: PUSH1 0x00
000025dc: DUP2
000025dd: DUP2
000025de: MSTORE
000025df: PUSH1 0x03
000025e1: PUSH1 0x20
000025e3: MSTORE
000025e4: PUSH1 0x40
000025e6: SWAP1
000025e7: KECCAK256
000025e8: SLOAD
000025e9: SWAP1
000025ea: SWAP2
000025eb: POP
000025ec: PUSH1 0x01
000025ee: PUSH1 0x01
000025f0: PUSH1 0xa0
000025f2: SHL
000025f3: SUB
000025f4: AND
000025f5: PUSH2 0x266b
000025f8: JUMPI
000025f9: PUSH2 0x2603
000025fc: DUP2
000025fd: PUSH1 0x00
000025ff: SLOAD
00002600: GT
00002601: SWAP1
00002602: JUMP
00002603: JUMPDEST
00002604: ISZERO
00002605: PUSH2 0x266b
00002608: JUMPI
00002609: PUSH1 0x40
0000260b: DUP1
0000260c: MLOAD
0000260d: DUP1
0000260e: DUP3
0000260f: ADD
00002610: DUP3
00002611: MSTORE
00002612: DUP5
00002613: MLOAD
00002614: PUSH1 0x01
00002616: PUSH1 0x01
00002618: PUSH1 0xa0
0000261a: SHL
0000261b: SUB
0000261c: SWAP1
0000261d: DUP2
0000261e: AND
0000261f: DUP3
00002620: MSTORE
00002621: PUSH1 0x20
00002623: DUP1
00002624: DUP8
00002625: ADD
00002626: MLOAD
00002627: PUSH8 0xffffffffffffffff
00002630: SWAP1
00002631: DUP2
00002632: AND
00002633: DUP3
00002634: DUP6
00002635: ADD
00002636: SWAP1
00002637: DUP2
00002638: MSTORE
00002639: PUSH1 0x00
0000263b: DUP8
0000263c: DUP2
0000263d: MSTORE
0000263e: PUSH1 0x03
00002640: SWAP1
00002641: SWAP4
00002642: MSTORE
00002643: SWAP5
00002644: SWAP1
00002645: SWAP2
00002646: KECCAK256
00002647: SWAP3
00002648: MLOAD
00002649: DUP4
0000264a: SLOAD
0000264b: SWAP5
0000264c: MLOAD
0000264d: SWAP1
0000264e: SWAP2
0000264f: AND
00002650: PUSH1 0x01
00002652: PUSH1 0xa0
00002654: SHL
00002655: MUL
00002656: PUSH1 0x01
00002658: PUSH1 0x01
0000265a: PUSH1 0xe0
0000265c: SHL
0000265d: SUB
0000265e: NOT
0000265f: SWAP1
00002660: SWAP5
00002661: AND
00002662: SWAP2
00002663: AND
00002664: OR
00002665: SWAP2
00002666: SWAP1
00002667: SWAP2
00002668: OR
00002669: SWAP1
0000266a: SSTORE
0000266b: JUMPDEST
0000266c: DUP4
0000266d: DUP6
0000266e: PUSH1 0x01
00002670: PUSH1 0x01
00002672: PUSH1 0xa0
00002674: SHL
00002675: SUB
00002676: AND
00002677: DUP8
00002678: PUSH1 0x01
0000267a: PUSH1 0x01
0000267c: PUSH1 0xa0
0000267e: SHL
0000267f: SUB
00002680: AND
00002681: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000026a2: PUSH1 0x40
000026a4: MLOAD
000026a5: PUSH1 0x40
000026a7: MLOAD
000026a8: DUP1
000026a9: SWAP2
000026aa: SUB
000026ab: SWAP1
000026ac: LOG4
000026ad: JUMPDEST
000026ae: POP
000026af: POP
000026b0: POP
000026b1: POP
000026b2: POP
000026b3: POP
000026b4: JUMP
000026b5: JUMPDEST
000026b6: PUSH1 0x40
000026b8: DUP1
000026b9: MLOAD
000026ba: PUSH1 0x01
000026bc: PUSH1 0x01
000026be: PUSH1 0xa0
000026c0: SHL
000026c1: SUB
000026c2: DUP5
000026c3: AND
000026c4: PUSH1 0x24
000026c6: DUP3
000026c7: ADD
000026c8: MSTORE
000026c9: PUSH1 0x44
000026cb: DUP1
000026cc: DUP3
000026cd: ADD
000026ce: DUP5
000026cf: SWAP1
000026d0: MSTORE
000026d1: DUP3
000026d2: MLOAD
000026d3: DUP1
000026d4: DUP4
000026d5: SUB
000026d6: SWAP1
000026d7: SWAP2
000026d8: ADD
000026d9: DUP2
000026da: MSTORE
000026db: PUSH1 0x64
000026dd: SWAP1
000026de: SWAP2
000026df: ADD
000026e0: SWAP1
000026e1: SWAP2
000026e2: MSTORE
000026e3: PUSH1 0x20
000026e5: DUP2
000026e6: ADD
000026e7: DUP1
000026e8: MLOAD
000026e9: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002706: AND
00002707: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
00002728: OR
00002729: SWAP1
0000272a: MSTORE
0000272b: PUSH2 0x0cbe
0000272e: SWAP1
0000272f: DUP5
00002730: SWAP1
00002731: PUSH2 0x2ed0
00002734: JUMP
00002735: JUMPDEST
00002736: PUSH1 0x40
00002738: DUP1
00002739: MLOAD
0000273a: DUP1
0000273b: DUP3
0000273c: ADD
0000273d: SWAP1
0000273e: SWAP2
0000273f: MSTORE
00002740: PUSH1 0x00
00002742: DUP1
00002743: DUP3
00002744: MSTORE
00002745: PUSH1 0x20
00002747: DUP3
00002748: ADD
00002749: MSTORE
0000274a: PUSH2 0x2754
0000274d: DUP3
0000274e: PUSH1 0x00
00002750: SLOAD
00002751: GT
00002752: SWAP1
00002753: JUMP
00002754: JUMPDEST
00002755: PUSH2 0x27c6
00002758: JUMPI
00002759: PUSH1 0x40
0000275b: MLOAD
0000275c: PUSH3 0x461bcd
00002760: PUSH1 0xe5
00002762: SHL
00002763: DUP2
00002764: MSTORE
00002765: PUSH1 0x20
00002767: PUSH1 0x04
00002769: DUP3
0000276a: ADD
0000276b: MSTORE
0000276c: PUSH1 0x2a
0000276e: PUSH1 0x24
00002770: DUP3
00002771: ADD
00002772: MSTORE
00002773: PUSH32 0x455243373231413a206f776e657220717565727920666f72206e6f6e65786973
00002794: PUSH1 0x44
00002796: DUP3
00002797: ADD
00002798: MSTORE
00002799: PUSH32 0x74656e7420746f6b656e00000000000000000000000000000000000000000000
000027ba: PUSH1 0x64
000027bc: DUP3
000027bd: ADD
000027be: MSTORE
000027bf: PUSH1 0x84
000027c1: ADD
000027c2: PUSH2 0x0b6b
000027c5: JUMP
000027c6: JUMPDEST
000027c7: PUSH1 0x00
000027c9: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000005
000027ea: DUP4
000027eb: LT
000027ec: PUSH2 0x2827
000027ef: JUMPI
000027f0: PUSH2 0x2819
000027f3: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000005
00002814: DUP5
00002815: PUSH2 0x3a21
00002818: JUMP
00002819: JUMPDEST
0000281a: PUSH2 0x2824
0000281d: SWAP1
0000281e: PUSH1 0x01
00002820: PUSH2 0x39a5
00002823: JUMP
00002824: JUMPDEST
00002825: SWAP1
00002826: POP
00002827: JUMPDEST
00002828: DUP3
00002829: JUMPDEST
0000282a: DUP2
0000282b: DUP2
0000282c: LT
0000282d: PUSH2 0x2891
00002830: JUMPI
00002831: PUSH1 0x00
00002833: DUP2
00002834: DUP2
00002835: MSTORE
00002836: PUSH1 0x03
00002838: PUSH1 0x20
0000283a: SWAP1
0000283b: DUP2
0000283c: MSTORE
0000283d: PUSH1 0x40
0000283f: SWAP2
00002840: DUP3
00002841: SWAP1
00002842: KECCAK256
00002843: DUP3
00002844: MLOAD
00002845: DUP1
00002846: DUP5
00002847: ADD
00002848: SWAP1
00002849: SWAP4
0000284a: MSTORE
0000284b: SLOAD
0000284c: PUSH1 0x01
0000284e: PUSH1 0x01
00002850: PUSH1 0xa0
00002852: SHL
00002853: SUB
00002854: DUP2
00002855: AND
00002856: DUP1
00002857: DUP5
00002858: MSTORE
00002859: PUSH1 0x01
0000285b: PUSH1 0xa0
0000285d: SHL
0000285e: SWAP1
0000285f: SWAP2
00002860: DIV
00002861: PUSH8 0xffffffffffffffff
0000286a: AND
0000286b: SWAP2
0000286c: DUP4
0000286d: ADD
0000286e: SWAP2
0000286f: SWAP1
00002870: SWAP2
00002871: MSTORE
00002872: ISZERO
00002873: PUSH2 0x287e
00002876: JUMPI
00002877: SWAP5
00002878: SWAP4
00002879: POP
0000287a: POP
0000287b: POP
0000287c: POP
0000287d: JUMP
0000287e: JUMPDEST
0000287f: POP
00002880: DUP1
00002881: PUSH2 0x2889
00002884: DUP2
00002885: PUSH2 0x3a64
00002888: JUMP
00002889: JUMPDEST
0000288a: SWAP2
0000288b: POP
0000288c: POP
0000288d: PUSH2 0x2829
00002890: JUMP
00002891: JUMPDEST
00002892: POP
00002893: PUSH1 0x40
00002895: MLOAD
00002896: PUSH3 0x461bcd
0000289a: PUSH1 0xe5
0000289c: SHL
0000289d: DUP2
0000289e: MSTORE
0000289f: PUSH1 0x20
000028a1: PUSH1 0x04
000028a3: DUP3
000028a4: ADD
000028a5: MSTORE
000028a6: PUSH1 0x2f
000028a8: PUSH1 0x24
000028aa: DUP3
000028ab: ADD
000028ac: MSTORE
000028ad: PUSH32 0x455243373231413a20756e61626c6520746f2064657465726d696e6520746865
000028ce: PUSH1 0x44
000028d0: DUP3
000028d1: ADD
000028d2: MSTORE
000028d3: PUSH32 0x206f776e6572206f6620746f6b656e0000000000000000000000000000000000
000028f4: PUSH1 0x64
000028f6: DUP3
000028f7: ADD
000028f8: MSTORE
000028f9: PUSH1 0x84
000028fb: ADD
000028fc: PUSH2 0x0b6b
000028ff: JUMP
00002900: JUMPDEST
00002901: PUSH1 0x0f
00002903: DUP1
00002904: SLOAD
00002905: PUSH1 0x01
00002907: PUSH1 0x01
00002909: PUSH1 0xa0
0000290b: SHL
0000290c: SUB
0000290d: DUP4
0000290e: DUP2
0000290f: AND
00002910: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00002931: DUP4
00002932: AND
00002933: DUP2
00002934: OR
00002935: SWAP1
00002936: SWAP4
00002937: SSTORE
00002938: PUSH1 0x40
0000293a: MLOAD
0000293b: SWAP2
0000293c: AND
0000293d: SWAP2
0000293e: SWAP1
0000293f: DUP3
00002940: SWAP1
00002941: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00002962: SWAP1
00002963: PUSH1 0x00
00002965: SWAP1
00002966: LOG3
00002967: POP
00002968: POP
00002969: JUMP
0000296a: JUMPDEST
0000296b: PUSH1 0x14
0000296d: SLOAD
0000296e: PUSH1 0xff
00002970: AND
00002971: ISZERO
00002972: PUSH2 0x297a
00002975: JUMPI
00002976: PUSH1 0x00
00002978: DUP1
00002979: REVERT
0000297a: JUMPDEST
0000297b: PUSH2 0x2986
0000297e: PUSH2 0x1388
00002981: DUP3
00002982: PUSH2 0x3ad1
00002985: JUMP
00002986: JUMPDEST
00002987: PUSH1 0x13
00002989: SSTORE
0000298a: POP
0000298b: POP
0000298c: JUMP
0000298d: JUMPDEST
0000298e: PUSH1 0x00
00002990: PUSH1 0x01
00002992: PUSH1 0x01
00002994: PUSH1 0xa0
00002996: SHL
00002997: SUB
00002998: DUP3
00002999: AND
0000299a: PUSH2 0x2a0b
0000299d: JUMPI
0000299e: PUSH1 0x40
000029a0: MLOAD
000029a1: PUSH3 0x461bcd
000029a5: PUSH1 0xe5
000029a7: SHL
000029a8: DUP2
000029a9: MSTORE
000029aa: PUSH1 0x20
000029ac: PUSH1 0x04
000029ae: DUP3
000029af: ADD
000029b0: MSTORE
000029b1: PUSH1 0x31
000029b3: PUSH1 0x24
000029b5: DUP3
000029b6: ADD
000029b7: MSTORE
000029b8: PUSH32 0x455243373231413a206e756d626572206d696e74656420717565727920666f72
000029d9: PUSH1 0x44
000029db: DUP3
000029dc: ADD
000029dd: MSTORE
000029de: PUSH32 0x20746865207a65726f2061646472657373000000000000000000000000000000
000029ff: PUSH1 0x64
00002a01: DUP3
00002a02: ADD
00002a03: MSTORE
00002a04: PUSH1 0x84
00002a06: ADD
00002a07: PUSH2 0x0b6b
00002a0a: JUMP
00002a0b: JUMPDEST
00002a0c: POP
00002a0d: PUSH1 0x01
00002a0f: PUSH1 0x01
00002a11: PUSH1 0xa0
00002a13: SHL
00002a14: SUB
00002a15: AND
00002a16: PUSH1 0x00
00002a18: SWAP1
00002a19: DUP2
00002a1a: MSTORE
00002a1b: PUSH1 0x04
00002a1d: PUSH1 0x20
00002a1f: MSTORE
00002a20: PUSH1 0x40
00002a22: SWAP1
00002a23: KECCAK256
00002a24: SLOAD
00002a25: PUSH17 0x0100000000000000000000000000000000
00002a37: SWAP1
00002a38: DIV
00002a39: PUSH16 0xffffffffffffffffffffffffffffffff
00002a4a: AND
00002a4b: SWAP1
00002a4c: JUMP
00002a4d: JUMPDEST
00002a4e: PUSH2 0x16b1
00002a51: DUP3
00002a52: DUP3
00002a53: PUSH1 0x40
00002a55: MLOAD
00002a56: DUP1
00002a57: PUSH1 0x20
00002a59: ADD
00002a5a: PUSH1 0x40
00002a5c: MSTORE
00002a5d: DUP1
00002a5e: PUSH1 0x00
00002a60: DUP2
00002a61: MSTORE
00002a62: POP
00002a63: PUSH2 0x2fb5
00002a66: JUMP
00002a67: JUMPDEST
00002a68: PUSH1 0x00
00002a6a: PUSH32 0x000000000000000000000000514910771af9ca656af840dff83e8264ecf986ca
00002a8b: PUSH1 0x01
00002a8d: PUSH1 0x01
00002a8f: PUSH1 0xa0
00002a91: SHL
00002a92: SUB
00002a93: AND
00002a94: PUSH4 0x4000aea0
00002a99: PUSH32 0x000000000000000000000000271682deb8c4e0901d1a1550ad2e64d568e69909
00002aba: DUP5
00002abb: DUP7
00002abc: PUSH1 0x00
00002abe: PUSH1 0x40
00002ac0: MLOAD
00002ac1: PUSH1 0x20
00002ac3: ADD
00002ac4: PUSH2 0x2ad7
00002ac7: SWAP3
00002ac8: SWAP2
00002ac9: SWAP1
00002aca: SWAP2
00002acb: DUP3
00002acc: MSTORE
00002acd: PUSH1 0x20
00002acf: DUP3
00002ad0: ADD
00002ad1: MSTORE
00002ad2: PUSH1 0x40
00002ad4: ADD
00002ad5: SWAP1
00002ad6: JUMP
00002ad7: JUMPDEST
00002ad8: PUSH1 0x40
00002ada: MLOAD
00002adb: PUSH1 0x20
00002add: DUP2
00002ade: DUP4
00002adf: SUB
00002ae0: SUB
00002ae1: DUP2
00002ae2: MSTORE
00002ae3: SWAP1
00002ae4: PUSH1 0x40
00002ae6: MSTORE
00002ae7: PUSH1 0x40
00002ae9: MLOAD
00002aea: DUP5
00002aeb: PUSH4 0xffffffff
00002af0: AND
00002af1: PUSH1 0xe0
00002af3: SHL
00002af4: DUP2
00002af5: MSTORE
00002af6: PUSH1 0x04
00002af8: ADD
00002af9: PUSH2 0x2b04
00002afc: SWAP4
00002afd: SWAP3
00002afe: SWAP2
00002aff: SWAP1
00002b00: PUSH2 0x3907
00002b03: JUMP
00002b04: JUMPDEST
00002b05: PUSH1 0x20
00002b07: PUSH1 0x40
00002b09: MLOAD
00002b0a: DUP1
00002b0b: DUP4
00002b0c: SUB
00002b0d: DUP2
00002b0e: PUSH1 0x00
00002b10: DUP8
00002b11: DUP1
00002b12: EXTCODESIZE
00002b13: ISZERO
00002b14: DUP1
00002b15: ISZERO
00002b16: PUSH2 0x2b1e
00002b19: JUMPI
00002b1a: PUSH1 0x00
00002b1c: DUP1
00002b1d: REVERT
00002b1e: JUMPDEST
00002b1f: POP
00002b20: GAS
00002b21: CALL
00002b22: ISZERO
00002b23: DUP1
00002b24: ISZERO
00002b25: PUSH2 0x2b32
00002b28: JUMPI
00002b29: RETURNDATASIZE
00002b2a: PUSH1 0x00
00002b2c: DUP1
00002b2d: RETURNDATACOPY
00002b2e: RETURNDATASIZE
00002b2f: PUSH1 0x00
00002b31: REVERT
00002b32: JUMPDEST
00002b33: POP
00002b34: POP
00002b35: POP
00002b36: POP
00002b37: PUSH1 0x40
00002b39: MLOAD
00002b3a: RETURNDATASIZE
00002b3b: PUSH1 0x1f
00002b3d: NOT
00002b3e: PUSH1 0x1f
00002b40: DUP3
00002b41: ADD
00002b42: AND
00002b43: DUP3
00002b44: ADD
00002b45: DUP1
00002b46: PUSH1 0x40
00002b48: MSTORE
00002b49: POP
00002b4a: DUP2
00002b4b: ADD
00002b4c: SWAP1
00002b4d: PUSH2 0x2b56
00002b50: SWAP2
00002b51: SWAP1
00002b52: PUSH2 0x36dd
00002b55: JUMP
00002b56: JUMPDEST
00002b57: POP
00002b58: PUSH1 0x00
00002b5a: DUP4
00002b5b: DUP2
00002b5c: MSTORE
00002b5d: PUSH1 0x11
00002b5f: PUSH1 0x20
00002b61: DUP2
00002b62: DUP2
00002b63: MSTORE
00002b64: PUSH1 0x40
00002b66: DUP1
00002b67: DUP5
00002b68: KECCAK256
00002b69: SLOAD
00002b6a: DUP2
00002b6b: MLOAD
00002b6c: DUP1
00002b6d: DUP5
00002b6e: ADD
00002b6f: DUP10
00002b70: SWAP1
00002b71: MSTORE
00002b72: DUP1
00002b73: DUP4
00002b74: ADD
00002b75: DUP7
00002b76: SWAP1
00002b77: MSTORE
00002b78: ADDRESS
00002b79: PUSH1 0x60
00002b7b: DUP3
00002b7c: ADD
00002b7d: MSTORE
00002b7e: PUSH1 0x80
00002b80: DUP1
00002b81: DUP3
00002b82: ADD
00002b83: DUP4
00002b84: SWAP1
00002b85: MSTORE
00002b86: DUP4
00002b87: MLOAD
00002b88: DUP1
00002b89: DUP4
00002b8a: SUB
00002b8b: SWAP1
00002b8c: SWAP2
00002b8d: ADD
00002b8e: DUP2
00002b8f: MSTORE
00002b90: PUSH1 0xa0
00002b92: SWAP1
00002b93: SWAP2
00002b94: ADD
00002b95: SWAP1
00002b96: SWAP3
00002b97: MSTORE
00002b98: DUP2
00002b99: MLOAD
00002b9a: SWAP2
00002b9b: DUP4
00002b9c: ADD
00002b9d: SWAP2
00002b9e: SWAP1
00002b9f: SWAP2
00002ba0: KECCAK256
00002ba1: SWAP4
00002ba2: DUP8
00002ba3: SWAP1
00002ba4: MSTORE
00002ba5: SWAP2
00002ba6: SWAP1
00002ba7: MSTORE
00002ba8: PUSH2 0x2bb2
00002bab: SWAP1
00002bac: PUSH1 0x01
00002bae: PUSH2 0x39a5
00002bb1: JUMP
00002bb2: JUMPDEST
00002bb3: PUSH1 0x00
00002bb5: DUP6
00002bb6: DUP2
00002bb7: MSTORE
00002bb8: PUSH1 0x11
00002bba: PUSH1 0x20
00002bbc: MSTORE
00002bbd: PUSH1 0x40
00002bbf: SWAP1
00002bc0: KECCAK256
00002bc1: SSTORE
00002bc2: PUSH2 0x2bf2
00002bc5: DUP5
00002bc6: DUP3
00002bc7: PUSH1 0x40
00002bc9: DUP1
00002bca: MLOAD
00002bcb: PUSH1 0x20
00002bcd: DUP1
00002bce: DUP3
00002bcf: ADD
00002bd0: SWAP5
00002bd1: SWAP1
00002bd2: SWAP5
00002bd3: MSTORE
00002bd4: DUP1
00002bd5: DUP3
00002bd6: ADD
00002bd7: SWAP3
00002bd8: SWAP1
00002bd9: SWAP3
00002bda: MSTORE
00002bdb: DUP1
00002bdc: MLOAD
00002bdd: DUP1
00002bde: DUP4
00002bdf: SUB
00002be0: DUP3
00002be1: ADD
00002be2: DUP2
00002be3: MSTORE
00002be4: PUSH1 0x60
00002be6: SWAP1
00002be7: SWAP3
00002be8: ADD
00002be9: SWAP1
00002bea: MSTORE
00002beb: DUP1
00002bec: MLOAD
00002bed: SWAP2
00002bee: ADD
00002bef: KECCAK256
00002bf0: SWAP1
00002bf1: JUMP
00002bf2: JUMPDEST
00002bf3: SWAP5
00002bf4: SWAP4
00002bf5: POP
00002bf6: POP
00002bf7: POP
00002bf8: POP
00002bf9: JUMP
00002bfa: JUMPDEST
00002bfb: PUSH1 0x00
00002bfd: PUSH1 0x01
00002bff: PUSH1 0x01
00002c01: PUSH1 0xa0
00002c03: SHL
00002c04: SUB
00002c05: DUP5
00002c06: AND
00002c07: EXTCODESIZE
00002c08: ISZERO
00002c09: PUSH2 0x2d84
00002c0c: JUMPI
00002c0d: PUSH1 0x40
00002c0f: MLOAD
00002c10: PUSH32 0x150b7a0200000000000000000000000000000000000000000000000000000000
00002c31: DUP2
00002c32: MSTORE
00002c33: PUSH1 0x01
00002c35: PUSH1 0x01
00002c37: PUSH1 0xa0
00002c39: SHL
00002c3a: SUB
00002c3b: DUP6
00002c3c: AND
00002c3d: SWAP1
00002c3e: PUSH4 0x150b7a02
00002c43: SWAP1
00002c44: PUSH2 0x2c57
00002c47: SWAP1
00002c48: CALLER
00002c49: SWAP1
00002c4a: DUP10
00002c4b: SWAP1
00002c4c: DUP9
00002c4d: SWAP1
00002c4e: DUP9
00002c4f: SWAP1
00002c50: PUSH1 0x04
00002c52: ADD
00002c53: PUSH2 0x38cb
00002c56: JUMP
00002c57: JUMPDEST
00002c58: PUSH1 0x20
00002c5a: PUSH1 0x40
00002c5c: MLOAD
00002c5d: DUP1
00002c5e: DUP4
00002c5f: SUB
00002c60: DUP2
00002c61: PUSH1 0x00
00002c63: DUP8
00002c64: DUP1
00002c65: EXTCODESIZE
00002c66: ISZERO
00002c67: DUP1
00002c68: ISZERO
00002c69: PUSH2 0x2c71
00002c6c: JUMPI
00002c6d: PUSH1 0x00
00002c6f: DUP1
00002c70: REVERT
00002c71: JUMPDEST
00002c72: POP
00002c73: GAS
00002c74: CALL
00002c75: SWAP3
00002c76: POP
00002c77: POP
00002c78: POP
00002c79: DUP1
00002c7a: ISZERO
00002c7b: PUSH2 0x2ca1
00002c7e: JUMPI
00002c7f: POP
00002c80: PUSH1 0x40
00002c82: DUP1
00002c83: MLOAD
00002c84: PUSH1 0x1f
00002c86: RETURNDATASIZE
00002c87: SWAP1
00002c88: DUP2
00002c89: ADD
00002c8a: PUSH1 0x1f
00002c8c: NOT
00002c8d: AND
00002c8e: DUP3
00002c8f: ADD
00002c90: SWAP1
00002c91: SWAP3
00002c92: MSTORE
00002c93: PUSH2 0x2c9e
00002c96: SWAP2
00002c97: DUP2
00002c98: ADD
00002c99: SWAP1
00002c9a: PUSH2 0x3752
00002c9d: JUMP
00002c9e: JUMPDEST
00002c9f: PUSH1 0x01
00002ca1: JUMPDEST
00002ca2: PUSH2 0x2d51
00002ca5: JUMPI
00002ca6: RETURNDATASIZE
00002ca7: DUP1
00002ca8: DUP1
00002ca9: ISZERO
00002caa: PUSH2 0x2ccf
00002cad: JUMPI
00002cae: PUSH1 0x40
00002cb0: MLOAD
00002cb1: SWAP2
00002cb2: POP
00002cb3: PUSH1 0x1f
00002cb5: NOT
00002cb6: PUSH1 0x3f
00002cb8: RETURNDATASIZE
00002cb9: ADD
00002cba: AND
00002cbb: DUP3
00002cbc: ADD
00002cbd: PUSH1 0x40
00002cbf: MSTORE
00002cc0: RETURNDATASIZE
00002cc1: DUP3
00002cc2: MSTORE
00002cc3: RETURNDATASIZE
00002cc4: PUSH1 0x00
00002cc6: PUSH1 0x20
00002cc8: DUP5
00002cc9: ADD
00002cca: RETURNDATACOPY
00002ccb: PUSH2 0x2cd4
00002cce: JUMP
00002ccf: JUMPDEST
00002cd0: PUSH1 0x60
00002cd2: SWAP2
00002cd3: POP
00002cd4: JUMPDEST
00002cd5: POP
00002cd6: DUP1
00002cd7: MLOAD
00002cd8: PUSH2 0x2d49
00002cdb: JUMPI
00002cdc: PUSH1 0x40
00002cde: MLOAD
00002cdf: PUSH3 0x461bcd
00002ce3: PUSH1 0xe5
00002ce5: SHL
00002ce6: DUP2
00002ce7: MSTORE
00002ce8: PUSH1 0x20
00002cea: PUSH1 0x04
00002cec: DUP3
00002ced: ADD
00002cee: MSTORE
00002cef: PUSH1 0x33
00002cf1: PUSH1 0x24
00002cf3: DUP3
00002cf4: ADD
00002cf5: MSTORE
00002cf6: PUSH32 0x455243373231413a207472616e7366657220746f206e6f6e2045524337323152
00002d17: PUSH1 0x44
00002d19: DUP3
00002d1a: ADD
00002d1b: MSTORE
00002d1c: PUSH32 0x6563656976657220696d706c656d656e74657200000000000000000000000000
00002d3d: PUSH1 0x64
00002d3f: DUP3
00002d40: ADD
00002d41: MSTORE
00002d42: PUSH1 0x84
00002d44: ADD
00002d45: PUSH2 0x0b6b
00002d48: JUMP
00002d49: JUMPDEST
00002d4a: DUP1
00002d4b: MLOAD
00002d4c: DUP2
00002d4d: PUSH1 0x20
00002d4f: ADD
00002d50: REVERT
00002d51: JUMPDEST
00002d52: PUSH1 0x01
00002d54: PUSH1 0x01
00002d56: PUSH1 0xe0
00002d58: SHL
00002d59: SUB
00002d5a: NOT
00002d5b: AND
00002d5c: PUSH32 0x150b7a0200000000000000000000000000000000000000000000000000000000
00002d7d: EQ
00002d7e: SWAP1
00002d7f: POP
00002d80: PUSH2 0x2bf2
00002d83: JUMP
00002d84: JUMPDEST
00002d85: POP
00002d86: PUSH1 0x01
00002d88: SWAP5
00002d89: SWAP4
00002d8a: POP
00002d8b: POP
00002d8c: POP
00002d8d: POP
00002d8e: JUMP
00002d8f: JUMPDEST
00002d90: PUSH1 0x60
00002d92: PUSH1 0x15
00002d94: DUP1
00002d95: SLOAD
00002d96: PUSH2 0x0a6d
00002d99: SWAP1
00002d9a: PUSH2 0x3a7b
00002d9d: JUMP
00002d9e: JUMPDEST
00002d9f: PUSH1 0x60
00002da1: DUP2
00002da2: PUSH2 0x2dde
00002da5: JUMPI
00002da6: POP
00002da7: POP
00002da8: PUSH1 0x40
00002daa: DUP1
00002dab: MLOAD
00002dac: DUP1
00002dad: DUP3
00002dae: ADD
00002daf: SWAP1
00002db0: SWAP2
00002db1: MSTORE
00002db2: PUSH1 0x01
00002db4: DUP2
00002db5: MSTORE
00002db6: PUSH32 0x3000000000000000000000000000000000000000000000000000000000000000
00002dd7: PUSH1 0x20
00002dd9: DUP3
00002dda: ADD
00002ddb: MSTORE
00002ddc: SWAP1
00002ddd: JUMP
00002dde: JUMPDEST
00002ddf: DUP2
00002de0: PUSH1 0x00
00002de2: JUMPDEST
00002de3: DUP2
00002de4: ISZERO
00002de5: PUSH2 0x2e08
00002de8: JUMPI
00002de9: DUP1
00002dea: PUSH2 0x2df2
00002ded: DUP2
00002dee: PUSH2 0x3ab6
00002df1: JUMP
00002df2: JUMPDEST
00002df3: SWAP2
00002df4: POP
00002df5: PUSH2 0x2e01
00002df8: SWAP1
00002df9: POP
00002dfa: PUSH1 0x0a
00002dfc: DUP4
00002dfd: PUSH2 0x39bd
00002e00: JUMP
00002e01: JUMPDEST
00002e02: SWAP2
00002e03: POP
00002e04: PUSH2 0x2de2
00002e07: JUMP
00002e08: JUMPDEST
00002e09: PUSH1 0x00
00002e0b: DUP2
00002e0c: PUSH8 0xffffffffffffffff
00002e15: DUP2
00002e16: GT
00002e17: ISZERO
00002e18: PUSH2 0x2e23
00002e1b: JUMPI
00002e1c: PUSH2 0x2e23
00002e1f: PUSH2 0x3b27
00002e22: JUMP
00002e23: JUMPDEST
00002e24: PUSH1 0x40
00002e26: MLOAD
00002e27: SWAP1
00002e28: DUP1
00002e29: DUP3
00002e2a: MSTORE
00002e2b: DUP1
00002e2c: PUSH1 0x1f
00002e2e: ADD
00002e2f: PUSH1 0x1f
00002e31: NOT
00002e32: AND
00002e33: PUSH1 0x20
00002e35: ADD
00002e36: DUP3
00002e37: ADD
00002e38: PUSH1 0x40
00002e3a: MSTORE
00002e3b: DUP1
00002e3c: ISZERO
00002e3d: PUSH2 0x2e4d
00002e40: JUMPI
00002e41: PUSH1 0x20
00002e43: DUP3
00002e44: ADD
00002e45: DUP2
00002e46: DUP1
00002e47: CALLDATASIZE
00002e48: DUP4
00002e49: CALLDATACOPY
00002e4a: ADD
00002e4b: SWAP1
00002e4c: POP
00002e4d: JUMPDEST
00002e4e: POP
00002e4f: SWAP1
00002e50: POP
00002e51: JUMPDEST
00002e52: DUP5
00002e53: ISZERO
00002e54: PUSH2 0x2bf2
00002e57: JUMPI
00002e58: PUSH2 0x2e62
00002e5b: PUSH1 0x01
00002e5d: DUP4
00002e5e: PUSH2 0x3a21
00002e61: JUMP
00002e62: JUMPDEST
00002e63: SWAP2
00002e64: POP
00002e65: PUSH2 0x2e6f
00002e68: PUSH1 0x0a
00002e6a: DUP7
00002e6b: PUSH2 0x3ad1
00002e6e: JUMP
00002e6f: JUMPDEST
00002e70: PUSH2 0x2e7a
00002e73: SWAP1
00002e74: PUSH1 0x30
00002e76: PUSH2 0x39a5
00002e79: JUMP
00002e7a: JUMPDEST
00002e7b: PUSH1 0xf8
00002e7d: SHL
00002e7e: DUP2
00002e7f: DUP4
00002e80: DUP2
00002e81: MLOAD
00002e82: DUP2
00002e83: LT
00002e84: PUSH2 0x2e8f
00002e87: JUMPI
00002e88: PUSH2 0x2e8f
00002e8b: PUSH2 0x3b11
00002e8e: JUMP
00002e8f: JUMPDEST
00002e90: PUSH1 0x20
00002e92: ADD
00002e93: ADD
00002e94: SWAP1
00002e95: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002eb5: NOT
00002eb6: AND
00002eb7: SWAP1
00002eb8: DUP2
00002eb9: PUSH1 0x00
00002ebb: BYTE
00002ebc: SWAP1
00002ebd: MSTORE8
00002ebe: POP
00002ebf: PUSH2 0x2ec9
00002ec2: PUSH1 0x0a
00002ec4: DUP7
00002ec5: PUSH2 0x39bd
00002ec8: JUMP
00002ec9: JUMPDEST
00002eca: SWAP5
00002ecb: POP
00002ecc: PUSH2 0x2e51
00002ecf: JUMP
00002ed0: JUMPDEST
00002ed1: PUSH1 0x00
00002ed3: PUSH2 0x2f25
00002ed6: DUP3
00002ed7: PUSH1 0x40
00002ed9: MLOAD
00002eda: DUP1
00002edb: PUSH1 0x40
00002edd: ADD
00002ede: PUSH1 0x40
00002ee0: MSTORE
00002ee1: DUP1
00002ee2: PUSH1 0x20
00002ee4: DUP2
00002ee5: MSTORE
00002ee6: PUSH1 0x20
00002ee8: ADD
00002ee9: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00002f0a: DUP2
00002f0b: MSTORE
00002f0c: POP
00002f0d: DUP6
00002f0e: PUSH1 0x01
00002f10: PUSH1 0x01
00002f12: PUSH1 0xa0
00002f14: SHL
00002f15: SUB
00002f16: AND
00002f17: PUSH2 0x3352
00002f1a: SWAP1
00002f1b: SWAP3
00002f1c: SWAP2
00002f1d: SWAP1
00002f1e: PUSH4 0xffffffff
00002f23: AND
00002f24: JUMP
00002f25: JUMPDEST
00002f26: DUP1
00002f27: MLOAD
00002f28: SWAP1
00002f29: SWAP2
00002f2a: POP
00002f2b: ISZERO
00002f2c: PUSH2 0x0cbe
00002f2f: JUMPI
00002f30: DUP1
00002f31: DUP1
00002f32: PUSH1 0x20
00002f34: ADD
00002f35: SWAP1
00002f36: MLOAD
00002f37: DUP2
00002f38: ADD
00002f39: SWAP1
00002f3a: PUSH2 0x2f43
00002f3d: SWAP2
00002f3e: SWAP1
00002f3f: PUSH2 0x36dd
00002f42: JUMP
00002f43: JUMPDEST
00002f44: PUSH2 0x0cbe
00002f47: JUMPI
00002f48: PUSH1 0x40
00002f4a: MLOAD
00002f4b: PUSH3 0x461bcd
00002f4f: PUSH1 0xe5
00002f51: SHL
00002f52: DUP2
00002f53: MSTORE
00002f54: PUSH1 0x20
00002f56: PUSH1 0x04
00002f58: DUP3
00002f59: ADD
00002f5a: MSTORE
00002f5b: PUSH1 0x2a
00002f5d: PUSH1 0x24
00002f5f: DUP3
00002f60: ADD
00002f61: MSTORE
00002f62: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
00002f83: PUSH1 0x44
00002f85: DUP3
00002f86: ADD
00002f87: MSTORE
00002f88: PUSH32 0x6f74207375636365656400000000000000000000000000000000000000000000
00002fa9: PUSH1 0x64
00002fab: DUP3
00002fac: ADD
00002fad: MSTORE
00002fae: PUSH1 0x84
00002fb0: ADD
00002fb1: PUSH2 0x0b6b
00002fb4: JUMP
00002fb5: JUMPDEST
00002fb6: PUSH1 0x00
00002fb8: SLOAD
00002fb9: PUSH1 0x01
00002fbb: PUSH1 0x01
00002fbd: PUSH1 0xa0
00002fbf: SHL
00002fc0: SUB
00002fc1: DUP5
00002fc2: AND
00002fc3: PUSH2 0x3034
00002fc6: JUMPI
00002fc7: PUSH1 0x40
00002fc9: MLOAD
00002fca: PUSH3 0x461bcd
00002fce: PUSH1 0xe5
00002fd0: SHL
00002fd1: DUP2
00002fd2: MSTORE
00002fd3: PUSH1 0x20
00002fd5: PUSH1 0x04
00002fd7: DUP3
00002fd8: ADD
00002fd9: MSTORE
00002fda: PUSH1 0x21
00002fdc: PUSH1 0x24
00002fde: DUP3
00002fdf: ADD
00002fe0: MSTORE
00002fe1: PUSH32 0x455243373231413a206d696e7420746f20746865207a65726f20616464726573
00003002: PUSH1 0x44
00003004: DUP3
00003005: ADD
00003006: MSTORE
00003007: PUSH32 0x7300000000000000000000000000000000000000000000000000000000000000
00003028: PUSH1 0x64
0000302a: DUP3
0000302b: ADD
0000302c: MSTORE
0000302d: PUSH1 0x84
0000302f: ADD
00003030: PUSH2 0x0b6b
00003033: JUMP
00003034: JUMPDEST
00003035: PUSH2 0x303f
00003038: DUP2
00003039: PUSH1 0x00
0000303b: SLOAD
0000303c: GT
0000303d: SWAP1
0000303e: JUMP
0000303f: JUMPDEST
00003040: ISZERO
00003041: PUSH2 0x308c
00003044: JUMPI
00003045: PUSH1 0x40
00003047: MLOAD
00003048: PUSH3 0x461bcd
0000304c: PUSH1 0xe5
0000304e: SHL
0000304f: DUP2
00003050: MSTORE
00003051: PUSH1 0x20
00003053: PUSH1 0x04
00003055: DUP3
00003056: ADD
00003057: MSTORE
00003058: PUSH1 0x1d
0000305a: PUSH1 0x24
0000305c: DUP3
0000305d: ADD
0000305e: MSTORE
0000305f: PUSH32 0x455243373231413a20746f6b656e20616c7265616479206d696e746564000000
00003080: PUSH1 0x44
00003082: DUP3
00003083: ADD
00003084: MSTORE
00003085: PUSH1 0x64
00003087: ADD
00003088: PUSH2 0x0b6b
0000308b: JUMP
0000308c: JUMPDEST
0000308d: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000005
000030ae: DUP4
000030af: GT
000030b0: ISZERO
000030b1: PUSH2 0x3122
000030b4: JUMPI
000030b5: PUSH1 0x40
000030b7: MLOAD
000030b8: PUSH3 0x461bcd
000030bc: PUSH1 0xe5
000030be: SHL
000030bf: DUP2
000030c0: MSTORE
000030c1: PUSH1 0x20
000030c3: PUSH1 0x04
000030c5: DUP3
000030c6: ADD
000030c7: MSTORE
000030c8: PUSH1 0x22
000030ca: PUSH1 0x24
000030cc: DUP3
000030cd: ADD
000030ce: MSTORE
000030cf: PUSH32 0x455243373231413a207175616e7469747920746f206d696e7420746f6f206869
000030f0: PUSH1 0x44
000030f2: DUP3
000030f3: ADD
000030f4: MSTORE
000030f5: PUSH32 0x6768000000000000000000000000000000000000000000000000000000000000
00003116: PUSH1 0x64
00003118: DUP3
00003119: ADD
0000311a: MSTORE
0000311b: PUSH1 0x84
0000311d: ADD
0000311e: PUSH2 0x0b6b
00003121: JUMP
00003122: JUMPDEST
00003123: PUSH1 0x01
00003125: PUSH1 0x01
00003127: PUSH1 0xa0
00003129: SHL
0000312a: SUB
0000312b: DUP5
0000312c: AND
0000312d: PUSH1 0x00
0000312f: SWAP1
00003130: DUP2
00003131: MSTORE
00003132: PUSH1 0x04
00003134: PUSH1 0x20
00003136: SWAP1
00003137: DUP2
00003138: MSTORE
00003139: PUSH1 0x40
0000313b: SWAP2
0000313c: DUP3
0000313d: SWAP1
0000313e: KECCAK256
0000313f: DUP3
00003140: MLOAD
00003141: DUP1
00003142: DUP5
00003143: ADD
00003144: DUP5
00003145: MSTORE
00003146: SWAP1
00003147: SLOAD
00003148: PUSH16 0xffffffffffffffffffffffffffffffff
00003159: DUP1
0000315a: DUP3
0000315b: AND
0000315c: DUP4
0000315d: MSTORE
0000315e: PUSH17 0x0100000000000000000000000000000000
00003170: SWAP1
00003171: SWAP2
00003172: DIV
00003173: AND
00003174: SWAP2
00003175: DUP2
00003176: ADD
00003177: SWAP2
00003178: SWAP1
00003179: SWAP2
0000317a: MSTORE
0000317b: DUP2
0000317c: MLOAD
0000317d: DUP1
0000317e: DUP4
0000317f: ADD
00003180: SWAP1
00003181: SWAP3
00003182: MSTORE
00003183: DUP1
00003184: MLOAD
00003185: SWAP1
00003186: SWAP2
00003187: SWAP1
00003188: DUP2
00003189: SWAP1
0000318a: PUSH2 0x3194
0000318d: SWAP1
0000318e: DUP8
0000318f: SWAP1
00003190: PUSH2 0x397a
00003193: JUMP
00003194: JUMPDEST
00003195: PUSH16 0xffffffffffffffffffffffffffffffff
000031a6: AND
000031a7: DUP2
000031a8: MSTORE
000031a9: PUSH1 0x20
000031ab: ADD
000031ac: DUP6
000031ad: DUP4
000031ae: PUSH1 0x20
000031b0: ADD
000031b1: MLOAD
000031b2: PUSH2 0x31bb
000031b5: SWAP2
000031b6: SWAP1
000031b7: PUSH2 0x397a
000031ba: JUMP
000031bb: JUMPDEST
000031bc: PUSH16 0xffffffffffffffffffffffffffffffff
000031cd: SWAP1
000031ce: DUP2
000031cf: AND
000031d0: SWAP1
000031d1: SWAP2
000031d2: MSTORE
000031d3: PUSH1 0x01
000031d5: PUSH1 0x01
000031d7: PUSH1 0xa0
000031d9: SHL
000031da: SUB
000031db: DUP1
000031dc: DUP9
000031dd: AND
000031de: PUSH1 0x00
000031e0: DUP2
000031e1: DUP2
000031e2: MSTORE
000031e3: PUSH1 0x04
000031e5: PUSH1 0x20
000031e7: SWAP1
000031e8: DUP2
000031e9: MSTORE
000031ea: PUSH1 0x40
000031ec: DUP1
000031ed: DUP4
000031ee: KECCAK256
000031ef: DUP8
000031f0: MLOAD
000031f1: SWAP8
000031f2: DUP4
000031f3: ADD
000031f4: MLOAD
000031f5: DUP8
000031f6: AND
000031f7: PUSH17 0x0100000000000000000000000000000000
00003209: MUL
0000320a: SWAP8
0000320b: SWAP1
0000320c: SWAP7
0000320d: AND
0000320e: SWAP7
0000320f: SWAP1
00003210: SWAP7
00003211: OR
00003212: SWAP1
00003213: SWAP5
00003214: SSTORE
00003215: DUP5
00003216: MLOAD
00003217: DUP1
00003218: DUP7
00003219: ADD
0000321a: DUP7
0000321b: MSTORE
0000321c: SWAP2
0000321d: DUP3
0000321e: MSTORE
0000321f: PUSH8 0xffffffffffffffff
00003228: TIMESTAMP
00003229: DUP2
0000322a: AND
0000322b: DUP4
0000322c: DUP7
0000322d: ADD
0000322e: SWAP1
0000322f: DUP2
00003230: MSTORE
00003231: DUP9
00003232: DUP4
00003233: MSTORE
00003234: PUSH1 0x03
00003236: SWAP1
00003237: SWAP6
00003238: MSTORE
00003239: SWAP5
0000323a: DUP2
0000323b: KECCAK256
0000323c: SWAP2
0000323d: MLOAD
0000323e: DUP3
0000323f: SLOAD
00003240: SWAP5
00003241: MLOAD
00003242: SWAP1
00003243: SWAP6
00003244: AND
00003245: PUSH1 0x01
00003247: PUSH1 0xa0
00003249: SHL
0000324a: MUL
0000324b: PUSH1 0x01
0000324d: PUSH1 0x01
0000324f: PUSH1 0xe0
00003251: SHL
00003252: SUB
00003253: NOT
00003254: SWAP1
00003255: SWAP5
00003256: AND
00003257: SWAP5
00003258: SWAP1
00003259: SWAP3
0000325a: AND
0000325b: SWAP4
0000325c: SWAP1
0000325d: SWAP4
0000325e: OR
0000325f: SWAP2
00003260: SWAP1
00003261: SWAP2
00003262: OR
00003263: SWAP1
00003264: SWAP2
00003265: SSTORE
00003266: DUP3
00003267: SWAP1
00003268: JUMPDEST
00003269: DUP6
0000326a: DUP2
0000326b: LT
0000326c: ISZERO
0000326d: PUSH2 0x3347
00003270: JUMPI
00003271: PUSH1 0x40
00003273: MLOAD
00003274: DUP3
00003275: SWAP1
00003276: PUSH1 0x01
00003278: PUSH1 0x01
0000327a: PUSH1 0xa0
0000327c: SHL
0000327d: SUB
0000327e: DUP10
0000327f: AND
00003280: SWAP1
00003281: PUSH1 0x00
00003283: SWAP1
00003284: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000032a5: SWAP1
000032a6: DUP3
000032a7: SWAP1
000032a8: LOG4
000032a9: PUSH2 0x32b5
000032ac: PUSH1 0x00
000032ae: DUP9
000032af: DUP5
000032b0: DUP9
000032b1: PUSH2 0x2bfa
000032b4: JUMP
000032b5: JUMPDEST
000032b6: PUSH2 0x3327
000032b9: JUMPI
000032ba: PUSH1 0x40
000032bc: MLOAD
000032bd: PUSH3 0x461bcd
000032c1: PUSH1 0xe5
000032c3: SHL
000032c4: DUP2
000032c5: MSTORE
000032c6: PUSH1 0x20
000032c8: PUSH1 0x04
000032ca: DUP3
000032cb: ADD
000032cc: MSTORE
000032cd: PUSH1 0x33
000032cf: PUSH1 0x24
000032d1: DUP3
000032d2: ADD
000032d3: MSTORE
000032d4: PUSH32 0x455243373231413a207472616e7366657220746f206e6f6e2045524337323152
000032f5: PUSH1 0x44
000032f7: DUP3
000032f8: ADD
000032f9: MSTORE
000032fa: PUSH32 0x6563656976657220696d706c656d656e74657200000000000000000000000000
0000331b: PUSH1 0x64
0000331d: DUP3
0000331e: ADD
0000331f: MSTORE
00003320: PUSH1 0x84
00003322: ADD
00003323: PUSH2 0x0b6b
00003326: JUMP
00003327: JUMPDEST
00003328: DUP2
00003329: PUSH2 0x3331
0000332c: DUP2
0000332d: PUSH2 0x3ab6
00003330: JUMP
00003331: JUMPDEST
00003332: SWAP3
00003333: POP
00003334: POP
00003335: DUP1
00003336: DUP1
00003337: PUSH2 0x333f
0000333a: SWAP1
0000333b: PUSH2 0x3ab6
0000333e: JUMP
0000333f: JUMPDEST
00003340: SWAP2
00003341: POP
00003342: POP
00003343: PUSH2 0x3268
00003346: JUMP
00003347: JUMPDEST
00003348: POP
00003349: PUSH1 0x00
0000334b: DUP2
0000334c: SWAP1
0000334d: SSTORE
0000334e: PUSH2 0x26ad
00003351: JUMP
00003352: JUMPDEST
00003353: PUSH1 0x60
00003355: PUSH2 0x21b5
00003358: DUP5
00003359: DUP5
0000335a: PUSH1 0x00
0000335c: DUP6
0000335d: DUP6
0000335e: PUSH1 0x01
00003360: PUSH1 0x01
00003362: PUSH1 0xa0
00003364: SHL
00003365: SUB
00003366: DUP6
00003367: AND
00003368: EXTCODESIZE
00003369: PUSH2 0x33b4
0000336c: JUMPI
0000336d: PUSH1 0x40
0000336f: MLOAD
00003370: PUSH3 0x461bcd
00003374: PUSH1 0xe5
00003376: SHL
00003377: DUP2
00003378: MSTORE
00003379: PUSH1 0x20
0000337b: PUSH1 0x04
0000337d: DUP3
0000337e: ADD
0000337f: MSTORE
00003380: PUSH1 0x1d
00003382: PUSH1 0x24
00003384: DUP3
00003385: ADD
00003386: MSTORE
00003387: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
000033a8: PUSH1 0x44
000033aa: DUP3
000033ab: ADD
000033ac: MSTORE
000033ad: PUSH1 0x64
000033af: ADD
000033b0: PUSH2 0x0b6b
000033b3: JUMP
000033b4: JUMPDEST
000033b5: PUSH1 0x00
000033b7: DUP1
000033b8: DUP7
000033b9: PUSH1 0x01
000033bb: PUSH1 0x01
000033bd: PUSH1 0xa0
000033bf: SHL
000033c0: SUB
000033c1: AND
000033c2: DUP6
000033c3: DUP8
000033c4: PUSH1 0x40
000033c6: MLOAD
000033c7: PUSH2 0x33d0
000033ca: SWAP2
000033cb: SWAP1
000033cc: PUSH2 0x3880
000033cf: JUMP
000033d0: JUMPDEST
000033d1: PUSH1 0x00
000033d3: PUSH1 0x40
000033d5: MLOAD
000033d6: DUP1
000033d7: DUP4
000033d8: SUB
000033d9: DUP2
000033da: DUP6
000033db: DUP8
000033dc: GAS
000033dd: CALL
000033de: SWAP3
000033df: POP
000033e0: POP
000033e1: POP
000033e2: RETURNDATASIZE
000033e3: DUP1
000033e4: PUSH1 0x00
000033e6: DUP2
000033e7: EQ
000033e8: PUSH2 0x340d
000033eb: JUMPI
000033ec: PUSH1 0x40
000033ee: MLOAD
000033ef: SWAP2
000033f0: POP
000033f1: PUSH1 0x1f
000033f3: NOT
000033f4: PUSH1 0x3f
000033f6: RETURNDATASIZE
000033f7: ADD
000033f8: AND
000033f9: DUP3
000033fa: ADD
000033fb: PUSH1 0x40
000033fd: MSTORE
000033fe: RETURNDATASIZE
000033ff: DUP3
00003400: MSTORE
00003401: RETURNDATASIZE
00003402: PUSH1 0x00
00003404: PUSH1 0x20
00003406: DUP5
00003407: ADD
00003408: RETURNDATACOPY
00003409: PUSH2 0x3412
0000340c: JUMP
0000340d: JUMPDEST
0000340e: PUSH1 0x60
00003410: SWAP2
00003411: POP
00003412: JUMPDEST
00003413: POP
00003414: SWAP2
00003415: POP
00003416: SWAP2
00003417: POP
00003418: PUSH2 0x3422
0000341b: DUP3
0000341c: DUP3
0000341d: DUP7
0000341e: PUSH2 0x342d
00003421: JUMP
00003422: JUMPDEST
00003423: SWAP8
00003424: SWAP7
00003425: POP
00003426: POP
00003427: POP
00003428: POP
00003429: POP
0000342a: POP
0000342b: POP
0000342c: JUMP
0000342d: JUMPDEST
0000342e: PUSH1 0x60
00003430: DUP4
00003431: ISZERO
00003432: PUSH2 0x343c
00003435: JUMPI
00003436: POP
00003437: DUP2
00003438: PUSH2 0x21b8
0000343b: JUMP
0000343c: JUMPDEST
0000343d: DUP3
0000343e: MLOAD
0000343f: ISZERO
00003440: PUSH2 0x344c
00003443: JUMPI
00003444: DUP3
00003445: MLOAD
00003446: DUP1
00003447: DUP5
00003448: PUSH1 0x20
0000344a: ADD
0000344b: REVERT
0000344c: JUMPDEST
0000344d: DUP2
0000344e: PUSH1 0x40
00003450: MLOAD
00003451: PUSH3 0x461bcd
00003455: PUSH1 0xe5
00003457: SHL
00003458: DUP2
00003459: MSTORE
0000345a: PUSH1 0x04
0000345c: ADD
0000345d: PUSH2 0x0b6b
00003460: SWAP2
00003461: SWAP1
00003462: PUSH2 0x3967
00003465: JUMP
00003466: JUMPDEST
00003467: DUP3
00003468: DUP1
00003469: SLOAD
0000346a: PUSH2 0x3472
0000346d: SWAP1
0000346e: PUSH2 0x3a7b
00003471: JUMP
00003472: JUMPDEST
00003473: SWAP1
00003474: PUSH1 0x00
00003476: MSTORE
00003477: PUSH1 0x20
00003479: PUSH1 0x00
0000347b: KECCAK256
0000347c: SWAP1
0000347d: PUSH1 0x1f
0000347f: ADD
00003480: PUSH1 0x20
00003482: SWAP1
00003483: DIV
00003484: DUP2
00003485: ADD
00003486: SWAP3
00003487: DUP3
00003488: PUSH2 0x3494
0000348b: JUMPI
0000348c: PUSH1 0x00
0000348e: DUP6
0000348f: SSTORE
00003490: PUSH2 0x34da
00003493: JUMP
00003494: JUMPDEST
00003495: DUP3
00003496: PUSH1 0x1f
00003498: LT
00003499: PUSH2 0x34ad
0000349c: JUMPI
0000349d: DUP1
0000349e: MLOAD
0000349f: PUSH1 0xff
000034a1: NOT
000034a2: AND
000034a3: DUP4
000034a4: DUP1
000034a5: ADD
000034a6: OR
000034a7: DUP6
000034a8: SSTORE
000034a9: PUSH2 0x34da
000034ac: JUMP
000034ad: JUMPDEST
000034ae: DUP3
000034af: DUP1
000034b0: ADD
000034b1: PUSH1 0x01
000034b3: ADD
000034b4: DUP6
000034b5: SSTORE
000034b6: DUP3
000034b7: ISZERO
000034b8: PUSH2 0x34da
000034bb: JUMPI
000034bc: SWAP2
000034bd: DUP3
000034be: ADD
000034bf: JUMPDEST
000034c0: DUP3
000034c1: DUP2
000034c2: GT
000034c3: ISZERO
000034c4: PUSH2 0x34da
000034c7: JUMPI
000034c8: DUP3
000034c9: MLOAD
000034ca: DUP3
000034cb: SSTORE
000034cc: SWAP2
000034cd: PUSH1 0x20
000034cf: ADD
000034d0: SWAP2
000034d1: SWAP1
000034d2: PUSH1 0x01
000034d4: ADD
000034d5: SWAP1
000034d6: PUSH2 0x34bf
000034d9: JUMP
000034da: JUMPDEST
000034db: POP
000034dc: PUSH2 0x14df
000034df: SWAP3
000034e0: SWAP2
000034e1: POP
000034e2: JUMPDEST
000034e3: DUP1
000034e4: DUP3
000034e5: GT
000034e6: ISZERO
000034e7: PUSH2 0x14df
000034ea: JUMPI
000034eb: PUSH1 0x00
000034ed: DUP2
000034ee: SSTORE
000034ef: PUSH1 0x01
000034f1: ADD
000034f2: PUSH2 0x34e2
000034f5: JUMP
000034f6: JUMPDEST
000034f7: PUSH1 0x00
000034f9: PUSH8 0xffffffffffffffff
00003502: DUP1
00003503: DUP5
00003504: GT
00003505: ISZERO
00003506: PUSH2 0x3511
00003509: JUMPI
0000350a: PUSH2 0x3511
0000350d: PUSH2 0x3b27
00003510: JUMP
00003511: JUMPDEST
00003512: PUSH1 0x40
00003514: MLOAD
00003515: PUSH1 0x1f
00003517: DUP6
00003518: ADD
00003519: PUSH1 0x1f
0000351b: NOT
0000351c: SWAP1
0000351d: DUP2
0000351e: AND
0000351f: PUSH1 0x3f
00003521: ADD
00003522: AND
00003523: DUP2
00003524: ADD
00003525: SWAP1
00003526: DUP3
00003527: DUP3
00003528: GT
00003529: DUP2
0000352a: DUP4
0000352b: LT
0000352c: OR
0000352d: ISZERO
0000352e: PUSH2 0x3539
00003531: JUMPI
00003532: PUSH2 0x3539
00003535: PUSH2 0x3b27
00003538: JUMP
00003539: JUMPDEST
0000353a: DUP2
0000353b: PUSH1 0x40
0000353d: MSTORE
0000353e: DUP1
0000353f: SWAP4
00003540: POP
00003541: DUP6
00003542: DUP2
00003543: MSTORE
00003544: DUP7
00003545: DUP7
00003546: DUP7
00003547: ADD
00003548: GT
00003549: ISZERO
0000354a: PUSH2 0x3552
0000354d: JUMPI
0000354e: PUSH1 0x00
00003550: DUP1
00003551: REVERT
00003552: JUMPDEST
00003553: DUP6
00003554: DUP6
00003555: PUSH1 0x20
00003557: DUP4
00003558: ADD
00003559: CALLDATACOPY
0000355a: PUSH1 0x00
0000355c: PUSH1 0x20
0000355e: DUP8
0000355f: DUP4
00003560: ADD
00003561: ADD
00003562: MSTORE
00003563: POP
00003564: POP
00003565: POP
00003566: SWAP4
00003567: SWAP3
00003568: POP
00003569: POP
0000356a: POP
0000356b: JUMP
0000356c: JUMPDEST
0000356d: PUSH1 0x00
0000356f: PUSH1 0x20
00003571: DUP3
00003572: DUP5
00003573: SUB
00003574: SLT
00003575: ISZERO
00003576: PUSH2 0x357e
00003579: JUMPI
0000357a: PUSH1 0x00
0000357c: DUP1
0000357d: REVERT
0000357e: JUMPDEST
0000357f: DUP2
00003580: CALLDATALOAD
00003581: PUSH2 0x21b8
00003584: DUP2
00003585: PUSH2 0x3b3d
00003588: JUMP
00003589: JUMPDEST
0000358a: PUSH1 0x00
0000358c: DUP1
0000358d: PUSH1 0x40
0000358f: DUP4
00003590: DUP6
00003591: SUB
00003592: SLT
00003593: ISZERO
00003594: PUSH2 0x359c
00003597: JUMPI
00003598: PUSH1 0x00
0000359a: DUP1
0000359b: REVERT
0000359c: JUMPDEST
0000359d: DUP3
0000359e: CALLDATALOAD
0000359f: PUSH2 0x35a7
000035a2: DUP2
000035a3: PUSH2 0x3b3d
000035a6: JUMP
000035a7: JUMPDEST
000035a8: SWAP2
000035a9: POP
000035aa: PUSH1 0x20
000035ac: DUP4
000035ad: ADD
000035ae: CALLDATALOAD
000035af: PUSH2 0x35b7
000035b2: DUP2
000035b3: PUSH2 0x3b3d
000035b6: JUMP
000035b7: JUMPDEST
000035b8: DUP1
000035b9: SWAP2
000035ba: POP
000035bb: POP
000035bc: SWAP3
000035bd: POP
000035be: SWAP3
000035bf: SWAP1
000035c0: POP
000035c1: JUMP
000035c2: JUMPDEST
000035c3: PUSH1 0x00
000035c5: DUP1
000035c6: PUSH1 0x00
000035c8: PUSH1 0x60
000035ca: DUP5
000035cb: DUP7
000035cc: SUB
000035cd: SLT
000035ce: ISZERO
000035cf: PUSH2 0x35d7
000035d2: JUMPI
000035d3: PUSH1 0x00
000035d5: DUP1
000035d6: REVERT
000035d7: JUMPDEST
000035d8: DUP4
000035d9: CALLDATALOAD
000035da: PUSH2 0x35e2
000035dd: DUP2
000035de: PUSH2 0x3b3d
000035e1: JUMP
000035e2: JUMPDEST
000035e3: SWAP3
000035e4: POP
000035e5: PUSH1 0x20
000035e7: DUP5
000035e8: ADD
000035e9: CALLDATALOAD
000035ea: PUSH2 0x35f2
000035ed: DUP2
000035ee: PUSH2 0x3b3d
000035f1: JUMP
000035f2: JUMPDEST
000035f3: SWAP3
000035f4: SWAP6
000035f5: SWAP3
000035f6: SWAP5
000035f7: POP
000035f8: POP
000035f9: POP
000035fa: PUSH1 0x40
000035fc: SWAP2
000035fd: SWAP1
000035fe: SWAP2
000035ff: ADD
00003600: CALLDATALOAD
00003601: SWAP1
00003602: JUMP
00003603: JUMPDEST
00003604: PUSH1 0x00
00003606: DUP1
00003607: PUSH1 0x00
00003609: DUP1
0000360a: PUSH1 0x80
0000360c: DUP6
0000360d: DUP8
0000360e: SUB
0000360f: SLT
00003610: ISZERO
00003611: PUSH2 0x3619
00003614: JUMPI
00003615: PUSH1 0x00
00003617: DUP1
00003618: REVERT
00003619: JUMPDEST
0000361a: DUP5
0000361b: CALLDATALOAD
0000361c: PUSH2 0x3624
0000361f: DUP2
00003620: PUSH2 0x3b3d
00003623: JUMP
00003624: JUMPDEST
00003625: SWAP4
00003626: POP
00003627: PUSH1 0x20
00003629: DUP6
0000362a: ADD
0000362b: CALLDATALOAD
0000362c: PUSH2 0x3634
0000362f: DUP2
00003630: PUSH2 0x3b3d
00003633: JUMP
00003634: JUMPDEST
00003635: SWAP3
00003636: POP
00003637: PUSH1 0x40
00003639: DUP6
0000363a: ADD
0000363b: CALLDATALOAD
0000363c: SWAP2
0000363d: POP
0000363e: PUSH1 0x60
00003640: DUP6
00003641: ADD
00003642: CALLDATALOAD
00003643: PUSH8 0xffffffffffffffff
0000364c: DUP2
0000364d: GT
0000364e: ISZERO
0000364f: PUSH2 0x3657
00003652: JUMPI
00003653: PUSH1 0x00
00003655: DUP1
00003656: REVERT
00003657: JUMPDEST
00003658: DUP6
00003659: ADD
0000365a: PUSH1 0x1f
0000365c: DUP2
0000365d: ADD
0000365e: DUP8
0000365f: SGT
00003660: PUSH2 0x3668
00003663: JUMPI
00003664: PUSH1 0x00
00003666: DUP1
00003667: REVERT
00003668: JUMPDEST
00003669: PUSH2 0x3677
0000366c: DUP8
0000366d: DUP3
0000366e: CALLDATALOAD
0000366f: PUSH1 0x20
00003671: DUP5
00003672: ADD
00003673: PUSH2 0x34f6
00003676: JUMP
00003677: JUMPDEST
00003678: SWAP2
00003679: POP
0000367a: POP
0000367b: SWAP3
0000367c: SWAP6
0000367d: SWAP2
0000367e: SWAP5
0000367f: POP
00003680: SWAP3
00003681: POP
00003682: JUMP
00003683: JUMPDEST
00003684: PUSH1 0x00
00003686: DUP1
00003687: PUSH1 0x40
00003689: DUP4
0000368a: DUP6
0000368b: SUB
0000368c: SLT
0000368d: ISZERO
0000368e: PUSH2 0x3696
00003691: JUMPI
00003692: PUSH1 0x00
00003694: DUP1
00003695: REVERT
00003696: JUMPDEST
00003697: DUP3
00003698: CALLDATALOAD
00003699: PUSH2 0x36a1
0000369c: DUP2
0000369d: PUSH2 0x3b3d
000036a0: JUMP
000036a1: JUMPDEST
000036a2: SWAP2
000036a3: POP
000036a4: PUSH1 0x20
000036a6: DUP4
000036a7: ADD
000036a8: CALLDATALOAD
000036a9: PUSH2 0x35b7
000036ac: DUP2
000036ad: PUSH2 0x3b52
000036b0: JUMP
000036b1: JUMPDEST
000036b2: PUSH1 0x00
000036b4: DUP1
000036b5: PUSH1 0x40
000036b7: DUP4
000036b8: DUP6
000036b9: SUB
000036ba: SLT
000036bb: ISZERO
000036bc: PUSH2 0x36c4
000036bf: JUMPI
000036c0: PUSH1 0x00
000036c2: DUP1
000036c3: REVERT
000036c4: JUMPDEST
000036c5: DUP3
000036c6: CALLDATALOAD
000036c7: PUSH2 0x36cf
000036ca: DUP2
000036cb: PUSH2 0x3b3d
000036ce: JUMP
000036cf: JUMPDEST
000036d0: SWAP5
000036d1: PUSH1 0x20
000036d3: SWAP4
000036d4: SWAP1
000036d5: SWAP4
000036d6: ADD
000036d7: CALLDATALOAD
000036d8: SWAP4
000036d9: POP
000036da: POP
000036db: POP
000036dc: JUMP
000036dd: JUMPDEST
000036de: PUSH1 0x00
000036e0: PUSH1 0x20
000036e2: DUP3
000036e3: DUP5
000036e4: SUB
000036e5: SLT
000036e6: ISZERO
000036e7: PUSH2 0x36ef
000036ea: JUMPI
000036eb: PUSH1 0x00
000036ed: DUP1
000036ee: REVERT
000036ef: JUMPDEST
000036f0: DUP2
000036f1: MLOAD
000036f2: PUSH2 0x21b8
000036f5: DUP2
000036f6: PUSH2 0x3b52
000036f9: JUMP
000036fa: JUMPDEST
000036fb: PUSH1 0x00
000036fd: PUSH1 0x20
000036ff: DUP3
00003700: DUP5
00003701: SUB
00003702: SLT
00003703: ISZERO
00003704: PUSH2 0x370c
00003707: JUMPI
00003708: PUSH1 0x00
0000370a: DUP1
0000370b: REVERT
0000370c: JUMPDEST
0000370d: POP
0000370e: MLOAD
0000370f: SWAP2
00003710: SWAP1
00003711: POP
00003712: JUMP
00003713: JUMPDEST
00003714: PUSH1 0x00
00003716: DUP1
00003717: PUSH1 0x40
00003719: DUP4
0000371a: DUP6
0000371b: SUB
0000371c: SLT
0000371d: ISZERO
0000371e: PUSH2 0x3726
00003721: JUMPI
00003722: PUSH1 0x00
00003724: DUP1
00003725: REVERT
00003726: JUMPDEST
00003727: POP
00003728: POP
00003729: DUP1
0000372a: CALLDATALOAD
0000372b: SWAP3
0000372c: PUSH1 0x20
0000372e: SWAP1
0000372f: SWAP2
00003730: ADD
00003731: CALLDATALOAD
00003732: SWAP2
00003733: POP
00003734: JUMP
00003735: JUMPDEST
00003736: PUSH1 0x00
00003738: PUSH1 0x20
0000373a: DUP3
0000373b: DUP5
0000373c: SUB
0000373d: SLT
0000373e: ISZERO
0000373f: PUSH2 0x3747
00003742: JUMPI
00003743: PUSH1 0x00
00003745: DUP1
00003746: REVERT
00003747: JUMPDEST
00003748: DUP2
00003749: CALLDATALOAD
0000374a: PUSH2 0x21b8
0000374d: DUP2
0000374e: PUSH2 0x3b60
00003751: JUMP
00003752: JUMPDEST
00003753: PUSH1 0x00
00003755: PUSH1 0x20
00003757: DUP3
00003758: DUP5
00003759: SUB
0000375a: SLT
0000375b: ISZERO
0000375c: PUSH2 0x3764
0000375f: JUMPI
00003760: PUSH1 0x00
00003762: DUP1
00003763: REVERT
00003764: JUMPDEST
00003765: DUP2
00003766: MLOAD
00003767: PUSH2 0x21b8
0000376a: DUP2
0000376b: PUSH2 0x3b60
0000376e: JUMP
0000376f: JUMPDEST
00003770: PUSH1 0x00
00003772: DUP1
00003773: PUSH1 0x00
00003775: PUSH1 0x40
00003777: DUP5
00003778: DUP7
00003779: SUB
0000377a: SLT
0000377b: ISZERO
0000377c: PUSH2 0x3784
0000377f: JUMPI
00003780: PUSH1 0x00
00003782: DUP1
00003783: REVERT
00003784: JUMPDEST
00003785: DUP4
00003786: CALLDATALOAD
00003787: PUSH8 0xffffffffffffffff
00003790: DUP1
00003791: DUP3
00003792: GT
00003793: ISZERO
00003794: PUSH2 0x379c
00003797: JUMPI
00003798: PUSH1 0x00
0000379a: DUP1
0000379b: REVERT
0000379c: JUMPDEST
0000379d: DUP2
0000379e: DUP7
0000379f: ADD
000037a0: SWAP2
000037a1: POP
000037a2: DUP7
000037a3: PUSH1 0x1f
000037a5: DUP4
000037a6: ADD
000037a7: SLT
000037a8: PUSH2 0x37b0
000037ab: JUMPI
000037ac: PUSH1 0x00
000037ae: DUP1
000037af: REVERT
000037b0: JUMPDEST
000037b1: DUP2
000037b2: CALLDATALOAD
000037b3: DUP2
000037b4: DUP2
000037b5: GT
000037b6: ISZERO
000037b7: PUSH2 0x37bf
000037ba: JUMPI
000037bb: PUSH1 0x00
000037bd: DUP1
000037be: REVERT
000037bf: JUMPDEST
000037c0: DUP8
000037c1: PUSH1 0x20
000037c3: DUP3
000037c4: DUP6
000037c5: ADD
000037c6: ADD
000037c7: GT
000037c8: ISZERO
000037c9: PUSH2 0x37d1
000037cc: JUMPI
000037cd: PUSH1 0x00
000037cf: DUP1
000037d0: REVERT
000037d1: JUMPDEST
000037d2: PUSH1 0x20
000037d4: SWAP3
000037d5: DUP4
000037d6: ADD
000037d7: SWAP6
000037d8: POP
000037d9: SWAP4
000037da: POP
000037db: POP
000037dc: DUP5
000037dd: ADD
000037de: CALLDATALOAD
000037df: PUSH2 0x37e7
000037e2: DUP2
000037e3: PUSH2 0x3b3d
000037e6: JUMP
000037e7: JUMPDEST
000037e8: DUP1
000037e9: SWAP2
000037ea: POP
000037eb: POP
000037ec: SWAP3
000037ed: POP
000037ee: SWAP3
000037ef: POP
000037f0: SWAP3
000037f1: JUMP
000037f2: JUMPDEST
000037f3: PUSH1 0x00
000037f5: PUSH1 0x20
000037f7: DUP3
000037f8: DUP5
000037f9: SUB
000037fa: SLT
000037fb: ISZERO
000037fc: PUSH2 0x3804
000037ff: JUMPI
00003800: PUSH1 0x00
00003802: DUP1
00003803: REVERT
00003804: JUMPDEST
00003805: DUP2
00003806: CALLDATALOAD
00003807: PUSH8 0xffffffffffffffff
00003810: DUP2
00003811: GT
00003812: ISZERO
00003813: PUSH2 0x381b
00003816: JUMPI
00003817: PUSH1 0x00
00003819: DUP1
0000381a: REVERT
0000381b: JUMPDEST
0000381c: DUP3
0000381d: ADD
0000381e: PUSH1 0x1f
00003820: DUP2
00003821: ADD
00003822: DUP5
00003823: SGT
00003824: PUSH2 0x382c
00003827: JUMPI
00003828: PUSH1 0x00
0000382a: DUP1
0000382b: REVERT
0000382c: JUMPDEST
0000382d: PUSH2 0x2bf2
00003830: DUP5
00003831: DUP3
00003832: CALLDATALOAD
00003833: PUSH1 0x20
00003835: DUP5
00003836: ADD
00003837: PUSH2 0x34f6
0000383a: JUMP
0000383b: JUMPDEST
0000383c: PUSH1 0x00
0000383e: PUSH1 0x20
00003840: DUP3
00003841: DUP5
00003842: SUB
00003843: SLT
00003844: ISZERO
00003845: PUSH2 0x384d
00003848: JUMPI
00003849: PUSH1 0x00
0000384b: DUP1
0000384c: REVERT
0000384d: JUMPDEST
0000384e: POP
0000384f: CALLDATALOAD
00003850: SWAP2
00003851: SWAP1
00003852: POP
00003853: JUMP
00003854: JUMPDEST
00003855: PUSH1 0x00
00003857: DUP2
00003858: MLOAD
00003859: DUP1
0000385a: DUP5
0000385b: MSTORE
0000385c: PUSH2 0x386c
0000385f: DUP2
00003860: PUSH1 0x20
00003862: DUP7
00003863: ADD
00003864: PUSH1 0x20
00003866: DUP7
00003867: ADD
00003868: PUSH2 0x3a38
0000386b: JUMP
0000386c: JUMPDEST
0000386d: PUSH1 0x1f
0000386f: ADD
00003870: PUSH1 0x1f
00003872: NOT
00003873: AND
00003874: SWAP3
00003875: SWAP1
00003876: SWAP3
00003877: ADD
00003878: PUSH1 0x20
0000387a: ADD
0000387b: SWAP3
0000387c: SWAP2
0000387d: POP
0000387e: POP
0000387f: JUMP
00003880: JUMPDEST
00003881: PUSH1 0x00
00003883: DUP3
00003884: MLOAD
00003885: PUSH2 0x3892
00003888: DUP2
00003889: DUP5
0000388a: PUSH1 0x20
0000388c: DUP8
0000388d: ADD
0000388e: PUSH2 0x3a38
00003891: JUMP
00003892: JUMPDEST
00003893: SWAP2
00003894: SWAP1
00003895: SWAP2
00003896: ADD
00003897: SWAP3
00003898: SWAP2
00003899: POP
0000389a: POP
0000389b: JUMP
0000389c: JUMPDEST
0000389d: PUSH1 0x00
0000389f: DUP4
000038a0: MLOAD
000038a1: PUSH2 0x38ae
000038a4: DUP2
000038a5: DUP5
000038a6: PUSH1 0x20
000038a8: DUP9
000038a9: ADD
000038aa: PUSH2 0x3a38
000038ad: JUMP
000038ae: JUMPDEST
000038af: DUP4
000038b0: MLOAD
000038b1: SWAP1
000038b2: DUP4
000038b3: ADD
000038b4: SWAP1
000038b5: PUSH2 0x38c2
000038b8: DUP2
000038b9: DUP4
000038ba: PUSH1 0x20
000038bc: DUP9
000038bd: ADD
000038be: PUSH2 0x3a38
000038c1: JUMP
000038c2: JUMPDEST
000038c3: ADD
000038c4: SWAP5
000038c5: SWAP4
000038c6: POP
000038c7: POP
000038c8: POP
000038c9: POP
000038ca: JUMP
000038cb: JUMPDEST
000038cc: PUSH1 0x00
000038ce: PUSH1 0x01
000038d0: PUSH1 0x01
000038d2: PUSH1 0xa0
000038d4: SHL
000038d5: SUB
000038d6: DUP1
000038d7: DUP8
000038d8: AND
000038d9: DUP4
000038da: MSTORE
000038db: DUP1
000038dc: DUP7
000038dd: AND
000038de: PUSH1 0x20
000038e0: DUP5
000038e1: ADD
000038e2: MSTORE
000038e3: POP
000038e4: DUP4
000038e5: PUSH1 0x40
000038e7: DUP4
000038e8: ADD
000038e9: MSTORE
000038ea: PUSH1 0x80
000038ec: PUSH1 0x60
000038ee: DUP4
000038ef: ADD
000038f0: MSTORE
000038f1: PUSH2 0x38fd
000038f4: PUSH1 0x80
000038f6: DUP4
000038f7: ADD
000038f8: DUP5
000038f9: PUSH2 0x3854
000038fc: JUMP
000038fd: JUMPDEST
000038fe: SWAP7
000038ff: SWAP6
00003900: POP
00003901: POP
00003902: POP
00003903: POP
00003904: POP
00003905: POP
00003906: JUMP
00003907: JUMPDEST
00003908: PUSH1 0x01
0000390a: PUSH1 0x01
0000390c: PUSH1 0xa0
0000390e: SHL
0000390f: SUB
00003910: DUP5
00003911: AND
00003912: DUP2
00003913: MSTORE
00003914: DUP3
00003915: PUSH1 0x20
00003917: DUP3
00003918: ADD
00003919: MSTORE
0000391a: PUSH1 0x60
0000391c: PUSH1 0x40
0000391e: DUP3
0000391f: ADD
00003920: MSTORE
00003921: PUSH1 0x00
00003923: PUSH2 0x392f
00003926: PUSH1 0x60
00003928: DUP4
00003929: ADD
0000392a: DUP5
0000392b: PUSH2 0x3854
0000392e: JUMP
0000392f: JUMPDEST
00003930: SWAP6
00003931: SWAP5
00003932: POP
00003933: POP
00003934: POP
00003935: POP
00003936: POP
00003937: JUMP
00003938: JUMPDEST
00003939: PUSH1 0x20
0000393b: DUP2
0000393c: MSTORE
0000393d: DUP2
0000393e: PUSH1 0x20
00003940: DUP3
00003941: ADD
00003942: MSTORE
00003943: DUP2
00003944: DUP4
00003945: PUSH1 0x40
00003947: DUP4
00003948: ADD
00003949: CALLDATACOPY
0000394a: PUSH1 0x00
0000394c: DUP2
0000394d: DUP4
0000394e: ADD
0000394f: PUSH1 0x40
00003951: SWAP1
00003952: DUP2
00003953: ADD
00003954: SWAP2
00003955: SWAP1
00003956: SWAP2
00003957: MSTORE
00003958: PUSH1 0x1f
0000395a: SWAP1
0000395b: SWAP3
0000395c: ADD
0000395d: PUSH1 0x1f
0000395f: NOT
00003960: AND
00003961: ADD
00003962: ADD
00003963: SWAP2
00003964: SWAP1
00003965: POP
00003966: JUMP
00003967: JUMPDEST
00003968: PUSH1 0x20
0000396a: DUP2
0000396b: MSTORE
0000396c: PUSH1 0x00
0000396e: PUSH2 0x21b8
00003971: PUSH1 0x20
00003973: DUP4
00003974: ADD
00003975: DUP5
00003976: PUSH2 0x3854
00003979: JUMP
0000397a: JUMPDEST
0000397b: PUSH1 0x00
0000397d: PUSH16 0xffffffffffffffffffffffffffffffff
0000398e: DUP1
0000398f: DUP4
00003990: AND
00003991: DUP2
00003992: DUP6
00003993: AND
00003994: DUP1
00003995: DUP4
00003996: SUB
00003997: DUP3
00003998: GT
00003999: ISZERO
0000399a: PUSH2 0x38c2
0000399d: JUMPI
0000399e: PUSH2 0x38c2
000039a1: PUSH2 0x3ae5
000039a4: JUMP
000039a5: JUMPDEST
000039a6: PUSH1 0x00
000039a8: DUP3
000039a9: NOT
000039aa: DUP3
000039ab: GT
000039ac: ISZERO
000039ad: PUSH2 0x39b8
000039b0: JUMPI
000039b1: PUSH2 0x39b8
000039b4: PUSH2 0x3ae5
000039b7: JUMP
000039b8: JUMPDEST
000039b9: POP
000039ba: ADD
000039bb: SWAP1
000039bc: JUMP
000039bd: JUMPDEST
000039be: PUSH1 0x00
000039c0: DUP3
000039c1: PUSH2 0x39cc
000039c4: JUMPI
000039c5: PUSH2 0x39cc
000039c8: PUSH2 0x3afb
000039cb: JUMP
000039cc: JUMPDEST
000039cd: POP
000039ce: DIV
000039cf: SWAP1
000039d0: JUMP
000039d1: JUMPDEST
000039d2: PUSH1 0x00
000039d4: DUP2
000039d5: PUSH1 0x00
000039d7: NOT
000039d8: DIV
000039d9: DUP4
000039da: GT
000039db: DUP3
000039dc: ISZERO
000039dd: ISZERO
000039de: AND
000039df: ISZERO
000039e0: PUSH2 0x39eb
000039e3: JUMPI
000039e4: PUSH2 0x39eb
000039e7: PUSH2 0x3ae5
000039ea: JUMP
000039eb: JUMPDEST
000039ec: POP
000039ed: MUL
000039ee: SWAP1
000039ef: JUMP
000039f0: JUMPDEST
000039f1: PUSH1 0x00
000039f3: PUSH16 0xffffffffffffffffffffffffffffffff
00003a04: DUP4
00003a05: DUP2
00003a06: AND
00003a07: SWAP1
00003a08: DUP4
00003a09: AND
00003a0a: DUP2
00003a0b: DUP2
00003a0c: LT
00003a0d: ISZERO
00003a0e: PUSH2 0x3a19
00003a11: JUMPI
00003a12: PUSH2 0x3a19
00003a15: PUSH2 0x3ae5
00003a18: JUMP
00003a19: JUMPDEST
00003a1a: SUB
00003a1b: SWAP4
00003a1c: SWAP3
00003a1d: POP
00003a1e: POP
00003a1f: POP
00003a20: JUMP
00003a21: JUMPDEST
00003a22: PUSH1 0x00
00003a24: DUP3
00003a25: DUP3
00003a26: LT
00003a27: ISZERO
00003a28: PUSH2 0x3a33
00003a2b: JUMPI
00003a2c: PUSH2 0x3a33
00003a2f: PUSH2 0x3ae5
00003a32: JUMP
00003a33: JUMPDEST
00003a34: POP
00003a35: SUB
00003a36: SWAP1
00003a37: JUMP
00003a38: JUMPDEST
00003a39: PUSH1 0x00
00003a3b: JUMPDEST
00003a3c: DUP4
00003a3d: DUP2
00003a3e: LT
00003a3f: ISZERO
00003a40: PUSH2 0x3a53
00003a43: JUMPI
00003a44: DUP2
00003a45: DUP2
00003a46: ADD
00003a47: MLOAD
00003a48: DUP4
00003a49: DUP3
00003a4a: ADD
00003a4b: MSTORE
00003a4c: PUSH1 0x20
00003a4e: ADD
00003a4f: PUSH2 0x3a3b
00003a52: JUMP
00003a53: JUMPDEST
00003a54: DUP4
00003a55: DUP2
00003a56: GT
00003a57: ISZERO
00003a58: PUSH2 0x1d17
00003a5b: JUMPI
00003a5c: POP
00003a5d: POP
00003a5e: PUSH1 0x00
00003a60: SWAP2
00003a61: ADD
00003a62: MSTORE
00003a63: JUMP
00003a64: JUMPDEST
00003a65: PUSH1 0x00
00003a67: DUP2
00003a68: PUSH2 0x3a73
00003a6b: JUMPI
00003a6c: PUSH2 0x3a73
00003a6f: PUSH2 0x3ae5
00003a72: JUMP
00003a73: JUMPDEST
00003a74: POP
00003a75: PUSH1 0x00
00003a77: NOT
00003a78: ADD
00003a79: SWAP1
00003a7a: JUMP
00003a7b: JUMPDEST
00003a7c: PUSH1 0x01
00003a7e: DUP2
00003a7f: DUP2
00003a80: SHR
00003a81: SWAP1
00003a82: DUP3
00003a83: AND
00003a84: DUP1
00003a85: PUSH2 0x3a8f
00003a88: JUMPI
00003a89: PUSH1 0x7f
00003a8b: DUP3
00003a8c: AND
00003a8d: SWAP2
00003a8e: POP
00003a8f: JUMPDEST
00003a90: PUSH1 0x20
00003a92: DUP3
00003a93: LT
00003a94: DUP2
00003a95: EQ
00003a96: ISZERO
00003a97: PUSH2 0x3ab0
00003a9a: JUMPI
00003a9b: PUSH4 0x4e487b71
00003aa0: PUSH1 0xe0
00003aa2: SHL
00003aa3: PUSH1 0x00
00003aa5: MSTORE
00003aa6: PUSH1 0x22
00003aa8: PUSH1 0x04
00003aaa: MSTORE
00003aab: PUSH1 0x24
00003aad: PUSH1 0x00
00003aaf: REVERT
00003ab0: JUMPDEST
00003ab1: POP
00003ab2: SWAP2
00003ab3: SWAP1
00003ab4: POP
00003ab5: JUMP
00003ab6: JUMPDEST
00003ab7: PUSH1 0x00
00003ab9: PUSH1 0x00
00003abb: NOT
00003abc: DUP3
00003abd: EQ
00003abe: ISZERO
00003abf: PUSH2 0x3aca
00003ac2: JUMPI
00003ac3: PUSH2 0x3aca
00003ac6: PUSH2 0x3ae5
00003ac9: JUMP
00003aca: JUMPDEST
00003acb: POP
00003acc: PUSH1 0x01
00003ace: ADD
00003acf: SWAP1
00003ad0: JUMP
00003ad1: JUMPDEST
00003ad2: PUSH1 0x00
00003ad4: DUP3
00003ad5: PUSH2 0x3ae0
00003ad8: JUMPI
00003ad9: PUSH2 0x3ae0
00003adc: PUSH2 0x3afb
00003adf: JUMP
00003ae0: JUMPDEST
00003ae1: POP
00003ae2: MOD
00003ae3: SWAP1
00003ae4: JUMP
00003ae5: JUMPDEST
00003ae6: PUSH4 0x4e487b71
00003aeb: PUSH1 0xe0
00003aed: SHL
00003aee: PUSH1 0x00
00003af0: MSTORE
00003af1: PUSH1 0x11
00003af3: PUSH1 0x04
00003af5: MSTORE
00003af6: PUSH1 0x24
00003af8: PUSH1 0x00
00003afa: REVERT
00003afb: JUMPDEST
00003afc: PUSH4 0x4e487b71
00003b01: PUSH1 0xe0
00003b03: SHL
00003b04: PUSH1 0x00
00003b06: MSTORE
00003b07: PUSH1 0x12
00003b09: PUSH1 0x04
00003b0b: MSTORE
00003b0c: PUSH1 0x24
00003b0e: PUSH1 0x00
00003b10: REVERT
00003b11: JUMPDEST
00003b12: PUSH4 0x4e487b71
00003b17: PUSH1 0xe0
00003b19: SHL
00003b1a: PUSH1 0x00
00003b1c: MSTORE
00003b1d: PUSH1 0x32
00003b1f: PUSH1 0x04
00003b21: MSTORE
00003b22: PUSH1 0x24
00003b24: PUSH1 0x00
00003b26: REVERT
00003b27: JUMPDEST
00003b28: PUSH4 0x4e487b71
00003b2d: PUSH1 0xe0
00003b2f: SHL
00003b30: PUSH1 0x00
00003b32: MSTORE
00003b33: PUSH1 0x41
00003b35: PUSH1 0x04
00003b37: MSTORE
00003b38: PUSH1 0x24
00003b3a: PUSH1 0x00
00003b3c: REVERT
00003b3d: JUMPDEST
00003b3e: PUSH1 0x01
00003b40: PUSH1 0x01
00003b42: PUSH1 0xa0
00003b44: SHL
00003b45: SUB
00003b46: DUP2
00003b47: AND
00003b48: DUP2
00003b49: EQ
00003b4a: PUSH2 0x2037
00003b4d: JUMPI
00003b4e: PUSH1 0x00
00003b50: DUP1
00003b51: REVERT
00003b52: JUMPDEST
00003b53: DUP1
00003b54: ISZERO
00003b55: ISZERO
00003b56: DUP2
00003b57: EQ
00003b58: PUSH2 0x2037
00003b5b: JUMPI
00003b5c: PUSH1 0x00
00003b5e: DUP1
00003b5f: REVERT
00003b60: JUMPDEST
00003b61: PUSH1 0x01
00003b63: PUSH1 0x01
00003b65: PUSH1 0xe0
00003b67: SHL
00003b68: SUB
00003b69: NOT
00003b6a: DUP2
00003b6b: AND
00003b6c: DUP2
00003b6d: EQ
00003b6e: PUSH2 0x2037
00003b71: JUMPI
00003b72: PUSH1 0x00
00003b74: DUP1
00003b75: REVERT
00003b76: INVALID
00003b77: LOG2
00003b78: PUSH5 0x6970667358
00003b7e: UNKNOWN(0x22)
00003b7f: SLT
00003b80: KECCAK256
00003b81: UNKNOWN(0xE6)
00003b82: CALL
00003b83: ADDRESS
00003b84: DUP10
00003b85: DUP4
00003b86: UNKNOWN(0xF9)
00003b87: UNKNOWN(0xEF)
00003b88: CALLDATALOAD
00003b89: ADDRESS
00003b8a: MSTORE8
00003b8b: LT
00003b8c: UNKNOWN(0xC5)
00003b8d: UNKNOWN(0x4E)
00003b8e: UNKNOWN(0xCD)
00003b8f: UNKNOWN(0xA7)
00003b90: BYTE
00003b91: UNKNOWN(0x28)
00003b92: UNKNOWN(0xA5)
00003b93: BYTE
00003b94: UNKNOWN(0xE2)
00003b95: UNKNOWN(0xE7)
00003b96: UNKNOWN(0x4D)
00003b97: ISZERO
00003b98: UNKNOWN(0xC7)
00003b99: PUSH16 0xe985428c2da95f64736f6c6343000807
00003baa: STOP
00003bab: 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": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfa6f5958", "selector": "0xfa6f5958", "calldata_variants": [ "0xfa6f5958", "0xfa6f59580000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xffe630b5", "selector": "0xffe630b5", "calldata_variants": [ "0xffe630b5", "0xffe630b50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe4e5da85", "selector": "0xe4e5da85", "calldata_variants": [ "0xe4e5da85", "0xe4e5da850000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe985e9c5", "selector": "0xe985e9c5", "calldata_variants": [ "0xe985e9c5", "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xec17b20e", "selector": "0xec17b20e", "calldata_variants": [ "0xec17b20e", "0xec17b20e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd91c98d3", "selector": "0xd91c98d3", "calldata_variants": [ "0xd91c98d3", "0xd91c98d30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdc8c57b4", "selector": "0xdc8c57b4", "calldata_variants": [ "0xdc8c57b4", "0xdc8c57b40000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 6487, "type": "tx_origin_used" }, { "pc": 6486, "type": "tx_origin_used" } ] }
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0xc95abfe84d9e479bb3b0c62632600843d5e383e8fab67149acbd4bfa43b37302 call_targets: 0xd127b3b8b52b61385f7d9de48a8a570c8f972095 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xc95abfe84d9e479bb3b0c62632600843d5e383e8fab67149acbd4bfa43b37302", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xd127b3b8b52b61385f7d9de48a8a570c8f972095" ], "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": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfa6f5958", "selector": "0xfa6f5958", "calldata_variants": [ "0xfa6f5958", "0xfa6f59580000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xffe630b5", "selector": "0xffe630b5", "calldata_variants": [ "0xffe630b5", "0xffe630b50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe4e5da85", "selector": "0xe4e5da85", "calldata_variants": [ "0xe4e5da85", "0xe4e5da850000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe985e9c5", "selector": "0xe985e9c5", "calldata_variants": [ "0xe985e9c5", "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xec17b20e", "selector": "0xec17b20e", "calldata_variants": [ "0xec17b20e", "0xec17b20e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd91c98d3", "selector": "0xd91c98d3", "calldata_variants": [ "0xd91c98d3", "0xd91c98d30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdc8c57b4", "selector": "0xdc8c57b4", "calldata_variants": [ "0xdc8c57b4", "0xdc8c57b40000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 7018, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 7643, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 8748, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 7, "guards_detected": [ { "pc": 6487, "type": "tx_origin_used" }, { "pc": 6486, "type": "tx_origin_used" } ], "untrusted_call_count": 7 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0xc95abfe84d9e479bb3b0c62632600843d5e383e8fab67149acbd4bfa43b37302 call_targets: 0xd127b3b8b52b61385f7d9de48a8a570c8f972095 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xc95abfe84d9e479bb3b0c62632600843d5e383e8fab67149acbd4bfa43b37302", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xd127b3b8b52b61385f7d9de48a8a570c8f972095" ], "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": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfa6f5958", "selector": "0xfa6f5958", "calldata_variants": [ "0xfa6f5958", "0xfa6f59580000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xffe630b5", "selector": "0xffe630b5", "calldata_variants": [ "0xffe630b5", "0xffe630b50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe4e5da85", "selector": "0xe4e5da85", "calldata_variants": [ "0xe4e5da85", "0xe4e5da850000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe985e9c5", "selector": "0xe985e9c5", "calldata_variants": [ "0xe985e9c5", "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xec17b20e", "selector": "0xec17b20e", "calldata_variants": [ "0xec17b20e", "0xec17b20e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd91c98d3", "selector": "0xd91c98d3", "calldata_variants": [ "0xd91c98d3", "0xd91c98d30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdc8c57b4", "selector": "0xdc8c57b4", "calldata_variants": [ "0xdc8c57b4", "0xdc8c57b40000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 7018, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 7643, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 8748, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 7, "guards_detected": [ { "pc": 6487, "type": "tx_origin_used" }, { "pc": 6486, "type": "tx_origin_used" } ] }
Severity