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

Analysis Run

019b477e-d8a9-70b5-9a48-58e641b57009

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

What survived the funnel

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

back to vulns open contract
Confirmed
0
Validated
0
Source
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
29115 artifact.fetch complete 1 / 3 3 months ago
29116 tool.cast_disasm complete 1 / 3 3 months ago
92405 analysis.bundle complete 1 / 3 2 weeks ago
92406 capability.graph complete 1 / 3 2 weeks ago
92407 detector.run complete 1 / 3 2 weeks ago
92408 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
0
Selfdestruct
2
CREATE2
0
CALL-family (heavy)
15
EXT*/BALANCE
4
Total opcodes
5464
Flags
selfdestruct_present call_family_heavy
View cast disassembly output 
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x026e
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x82552170
00000019: GT
0000001a: PUSH2 0x0153
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xc884ef83
00000024: GT
00000025: PUSH2 0x00cb
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xe5047b30
0000002f: GT
00000030: PUSH2 0x007f
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xf1962486
0000003a: GT
0000003b: PUSH2 0x0064
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf1962486
00000045: EQ
00000046: PUSH2 0x0a34
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf570ee6b
00000050: EQ
00000051: PUSH2 0x0a49
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xfb5d5d4d
0000005b: EQ
0000005c: PUSH2 0x080f
0000005f: JUMPI
00000060: PUSH1 0x00
00000062: DUP1
00000063: REVERT
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0xe5047b30
0000006b: EQ
0000006c: PUSH2 0x09ca
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xec309038
00000076: EQ
00000077: PUSH2 0x09fe
0000007a: JUMPI
0000007b: PUSH1 0x00
0000007d: DUP1
0000007e: REVERT
0000007f: JUMPDEST
00000080: DUP1
00000081: PUSH4 0xd35e7efc
00000086: GT
00000087: PUSH2 0x00b0
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0xd35e7efc
00000091: EQ
00000092: PUSH2 0x0916
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0xd7b96d4e
0000009c: EQ
0000009d: PUSH2 0x0943
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xdd62ed3e
000000a7: EQ
000000a8: PUSH2 0x0977
000000ab: JUMPI
000000ac: PUSH1 0x00
000000ae: DUP1
000000af: REVERT
000000b0: JUMPDEST
000000b1: DUP1
000000b2: PUSH4 0xc884ef83
000000b7: EQ
000000b8: PUSH2 0x08d1
000000bb: JUMPI
000000bc: DUP1
000000bd: PUSH4 0xc885044e
000000c2: EQ
000000c3: PUSH2 0x0901
000000c6: JUMPI
000000c7: PUSH1 0x00
000000c9: DUP1
000000ca: REVERT
000000cb: JUMPDEST
000000cc: DUP1
000000cd: PUSH4 0x9ecf0090
000000d2: GT
000000d3: PUSH2 0x0122
000000d6: JUMPI
000000d7: DUP1
000000d8: PUSH4 0xa9059cbb
000000dd: GT
000000de: PUSH2 0x0107
000000e1: JUMPI
000000e2: DUP1
000000e3: PUSH4 0xa9059cbb
000000e8: EQ
000000e9: PUSH2 0x085d
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0xa92bc58a
000000f3: EQ
000000f4: PUSH2 0x087d
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0xc45a0155
000000fe: EQ
000000ff: PUSH2 0x089d
00000102: JUMPI
00000103: PUSH1 0x00
00000105: DUP1
00000106: REVERT
00000107: JUMPDEST
00000108: DUP1
00000109: PUSH4 0x9ecf0090
0000010e: EQ
0000010f: PUSH2 0x0672
00000112: JUMPI
00000113: DUP1
00000114: PUSH4 0xa4475ce4
00000119: EQ
0000011a: PUSH2 0x0829
0000011d: JUMPI
0000011e: PUSH1 0x00
00000120: DUP1
00000121: REVERT
00000122: JUMPDEST
00000123: DUP1
00000124: PUSH4 0x82552170
00000129: EQ
0000012a: PUSH2 0x07ab
0000012d: JUMPI
0000012e: DUP1
0000012f: PUSH4 0x8bdb2afa
00000134: EQ
00000135: PUSH2 0x07c6
00000138: JUMPI
00000139: DUP1
0000013a: PUSH4 0x95d89b41
0000013f: EQ
00000140: PUSH2 0x07fa
00000143: JUMPI
00000144: DUP1
00000145: PUSH4 0x996eba2d
0000014a: EQ
0000014b: PUSH2 0x080f
0000014e: JUMPI
0000014f: PUSH1 0x00
00000151: DUP1
00000152: REVERT
00000153: JUMPDEST
00000154: DUP1
00000155: PUSH4 0x32c4f2bf
0000015a: GT
0000015b: PUSH2 0x01e6
0000015e: JUMPI
0000015f: DUP1
00000160: PUSH4 0x5ce38d99
00000165: GT
00000166: PUSH2 0x01b5
00000169: JUMPI
0000016a: DUP1
0000016b: PUSH4 0x70a08231
00000170: GT
00000171: PUSH2 0x019a
00000174: JUMPI
00000175: DUP1
00000176: PUSH4 0x70a08231
0000017b: EQ
0000017c: PUSH2 0x0714
0000017f: JUMPI
00000180: DUP1
00000181: PUSH4 0x73dd250c
00000186: EQ
00000187: PUSH2 0x0757
0000018a: JUMPI
0000018b: DUP1
0000018c: PUSH4 0x7b0fa954
00000191: EQ
00000192: PUSH2 0x0777
00000195: JUMPI
00000196: PUSH1 0x00
00000198: DUP1
00000199: REVERT
0000019a: JUMPDEST
0000019b: DUP1
0000019c: PUSH4 0x5ce38d99
000001a1: EQ
000001a2: PUSH2 0x06c0
000001a5: JUMPI
000001a6: DUP1
000001a7: PUSH4 0x68b63c24
000001ac: EQ
000001ad: PUSH2 0x06f4
000001b0: JUMPI
000001b1: PUSH1 0x00
000001b3: DUP1
000001b4: REVERT
000001b5: JUMPDEST
000001b6: DUP1
000001b7: PUSH4 0x32c4f2bf
000001bc: EQ
000001bd: PUSH2 0x0603
000001c0: JUMPI
000001c1: DUP1
000001c2: PUSH4 0x3fc8cef3
000001c7: EQ
000001c8: PUSH2 0x0619
000001cb: JUMPI
000001cc: DUP1
000001cd: PUSH4 0x475a519f
000001d2: EQ
000001d3: PUSH2 0x0672
000001d6: JUMPI
000001d7: DUP1
000001d8: PUSH4 0x544d46a3
000001dd: EQ
000001de: PUSH2 0x068c
000001e1: JUMPI
000001e2: PUSH1 0x00
000001e4: DUP1
000001e5: REVERT
000001e6: JUMPDEST
000001e7: DUP1
000001e8: PUSH4 0x18160ddd
000001ed: GT
000001ee: PUSH2 0x023d
000001f1: JUMPI
000001f2: DUP1
000001f3: PUSH4 0x1f2698ab
000001f8: GT
000001f9: PUSH2 0x0222
000001fc: JUMPI
000001fd: DUP1
000001fe: PUSH4 0x1f2698ab
00000203: EQ
00000204: PUSH2 0x05ad
00000207: JUMPI
00000208: DUP1
00000209: PUSH4 0x23b872dd
0000020e: EQ
0000020f: PUSH2 0x05c7
00000212: JUMPI
00000213: DUP1
00000214: PUSH4 0x313ce567
00000219: EQ
0000021a: PUSH2 0x05e7
0000021d: JUMPI
0000021e: PUSH1 0x00
00000220: DUP1
00000221: REVERT
00000222: JUMPDEST
00000223: DUP1
00000224: PUSH4 0x18160ddd
00000229: EQ
0000022a: PUSH2 0x0568
0000022d: JUMPI
0000022e: DUP1
0000022f: PUSH4 0x1e7269c5
00000234: EQ
00000235: PUSH2 0x057d
00000238: JUMPI
00000239: PUSH1 0x00
0000023b: DUP1
0000023c: REVERT
0000023d: JUMPDEST
0000023e: DUP1
0000023f: PUSH4 0x06fdde03
00000244: EQ
00000245: PUSH2 0x04b9
00000248: JUMPI
00000249: DUP1
0000024a: PUSH4 0x089fe6aa
0000024f: EQ
00000250: PUSH2 0x04e4
00000253: JUMPI
00000254: DUP1
00000255: PUSH4 0x095ea7b3
0000025a: EQ
0000025b: PUSH2 0x0514
0000025e: JUMPI
0000025f: DUP1
00000260: PUSH4 0x0a4625af
00000265: EQ
00000266: PUSH2 0x0544
00000269: JUMPI
0000026a: PUSH1 0x00
0000026c: DUP1
0000026d: REVERT
0000026e: JUMPDEST
0000026f: CALLDATASIZE
00000270: PUSH2 0x04b4
00000273: JUMPI
00000274: PUSH2 0x027b
00000277: PUSH2 0x0a7d
0000027a: JUMP
0000027b: JUMPDEST
0000027c: CALLER
0000027d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000292: PUSH32 0x000000000000000000000000c36442b4a4522e871399cd717abdd847ab11fe88
000002b3: AND
000002b4: EQ
000002b5: PUSH2 0x0352
000002b8: JUMPI
000002b9: ORIGIN
000002ba: CALLER
000002bb: EQ
000002bc: PUSH2 0x0332
000002bf: JUMPI
000002c0: PUSH1 0x40
000002c2: MLOAD
000002c3: PUSH3 0x461bcd
000002c7: PUSH1 0xe5
000002c9: SHL
000002ca: DUP2
000002cb: MSTORE
000002cc: PUSH1 0x20
000002ce: PUSH1 0x04
000002d0: DUP3
000002d1: ADD
000002d2: MSTORE
000002d3: PUSH1 0x2d
000002d5: PUSH1 0x24
000002d7: DUP3
000002d8: ADD
000002d9: MSTORE
000002da: PUSH32 0x466169724d696e743a2063616e206e6f742073656e6420636f6d6d616e642066
000002fb: PUSH1 0x44
000002fd: DUP3
000002fe: ADD
000002ff: MSTORE
00000300: PUSH32 0x726f6d20636f6e74726163742e00000000000000000000000000000000000000
00000321: PUSH1 0x64
00000323: DUP3
00000324: ADD
00000325: MSTORE
00000326: PUSH1 0x84
00000328: ADD
00000329: JUMPDEST
0000032a: PUSH1 0x40
0000032c: MLOAD
0000032d: DUP1
0000032e: SWAP2
0000032f: SUB
00000330: SWAP1
00000331: REVERT
00000332: JUMPDEST
00000333: PUSH1 0x07
00000335: SLOAD
00000336: PUSH1 0xff
00000338: AND
00000339: ISZERO
0000033a: PUSH2 0x03d7
0000033d: JUMPI
0000033e: PUSH6 0x5af3107a4000
00000345: CALLVALUE
00000346: SUB
00000347: PUSH2 0x0354
0000034a: JUMPI
0000034b: PUSH2 0x0352
0000034e: PUSH2 0x0ac1
00000351: JUMP
00000352: JUMPDEST
00000353: STOP
00000354: JUMPDEST
00000355: PUSH6 0xb5e620f48000
0000035c: CALLVALUE
0000035d: SUB
0000035e: PUSH2 0x0369
00000361: JUMPI
00000362: PUSH2 0x0352
00000365: PUSH2 0x0d73
00000368: JUMP
00000369: JUMPDEST
0000036a: PUSH1 0x40
0000036c: MLOAD
0000036d: PUSH3 0x461bcd
00000371: PUSH1 0xe5
00000373: SHL
00000374: DUP2
00000375: MSTORE
00000376: PUSH1 0x20
00000378: PUSH1 0x04
0000037a: DUP3
0000037b: ADD
0000037c: MSTORE
0000037d: PUSH1 0x2e
0000037f: PUSH1 0x24
00000381: DUP3
00000382: ADD
00000383: MSTORE
00000384: PUSH32 0x466169724d696e743a20696e76616c696420636f6d6d616e64202d206d696e74
000003a5: PUSH1 0x44
000003a7: DUP3
000003a8: ADD
000003a9: MSTORE
000003aa: PUSH32 0x206f7220636c61696d206f6e6c79000000000000000000000000000000000000
000003cb: PUSH1 0x64
000003cd: DUP3
000003ce: ADD
000003cf: MSTORE
000003d0: PUSH1 0x84
000003d2: ADD
000003d3: PUSH2 0x0329
000003d6: JUMP
000003d7: JUMPDEST
000003d8: PUSH32 0x00000000000000000000000000000000000000000000000000000000013bdf76
000003f9: NUMBER
000003fa: LT
000003fb: PUSH2 0x0497
000003fe: JUMPI
000003ff: PUSH6 0xb5e620f48000
00000406: CALLVALUE
00000407: SUB
00000408: PUSH2 0x0413
0000040b: JUMPI
0000040c: PUSH2 0x0352
0000040f: PUSH2 0x10ee
00000412: JUMP
00000413: JUMPDEST
00000414: PUSH7 0x01c6bf52634000
0000041c: CALLVALUE
0000041d: SUB
0000041e: PUSH2 0x0429
00000421: JUMPI
00000422: PUSH2 0x0352
00000425: PUSH2 0x1456
00000428: JUMP
00000429: JUMPDEST
0000042a: PUSH1 0x40
0000042c: MLOAD
0000042d: PUSH3 0x461bcd
00000431: PUSH1 0xe5
00000433: SHL
00000434: DUP2
00000435: MSTORE
00000436: PUSH1 0x20
00000438: PUSH1 0x04
0000043a: DUP3
0000043b: ADD
0000043c: MSTORE
0000043d: PUSH1 0x30
0000043f: PUSH1 0x24
00000441: DUP3
00000442: ADD
00000443: MSTORE
00000444: PUSH32 0x466169724d696e743a20696e76616c696420636f6d6d616e64202d2073746172
00000465: PUSH1 0x44
00000467: DUP3
00000468: ADD
00000469: MSTORE
0000046a: PUSH32 0x74206f7220726566756e64206f6e6c7900000000000000000000000000000000
0000048b: PUSH1 0x64
0000048d: DUP3
0000048e: ADD
0000048f: MSTORE
00000490: PUSH1 0x84
00000492: ADD
00000493: PUSH2 0x0329
00000496: JUMP
00000497: JUMPDEST
00000498: PUSH6 0xb5e620f48000
0000049f: CALLVALUE
000004a0: SUB
000004a1: PUSH2 0x04ac
000004a4: JUMPI
000004a5: PUSH2 0x0352
000004a8: PUSH2 0x10ee
000004ab: JUMP
000004ac: JUMPDEST
000004ad: PUSH2 0x0352
000004b0: PUSH2 0x1dcb
000004b3: JUMP
000004b4: JUMPDEST
000004b5: PUSH1 0x00
000004b7: DUP1
000004b8: REVERT
000004b9: JUMPDEST
000004ba: CALLVALUE
000004bb: DUP1
000004bc: ISZERO
000004bd: PUSH2 0x04c5
000004c0: JUMPI
000004c1: PUSH1 0x00
000004c3: DUP1
000004c4: REVERT
000004c5: JUMPDEST
000004c6: POP
000004c7: PUSH2 0x04ce
000004ca: PUSH2 0x1efe
000004cd: JUMP
000004ce: JUMPDEST
000004cf: PUSH1 0x40
000004d1: MLOAD
000004d2: PUSH2 0x04db
000004d5: SWAP2
000004d6: SWAP1
000004d7: PUSH2 0x2ca9
000004da: JUMP
000004db: JUMPDEST
000004dc: PUSH1 0x40
000004de: MLOAD
000004df: DUP1
000004e0: SWAP2
000004e1: SUB
000004e2: SWAP1
000004e3: RETURN
000004e4: JUMPDEST
000004e5: CALLVALUE
000004e6: DUP1
000004e7: ISZERO
000004e8: PUSH2 0x04f0
000004eb: JUMPI
000004ec: PUSH1 0x00
000004ee: DUP1
000004ef: REVERT
000004f0: JUMPDEST
000004f1: POP
000004f2: PUSH1 0x0d
000004f4: SLOAD
000004f5: PUSH2 0x0500
000004f8: SWAP1
000004f9: PUSH3 0xffffff
000004fd: AND
000004fe: DUP2
000004ff: JUMP
00000500: JUMPDEST
00000501: PUSH1 0x40
00000503: MLOAD
00000504: PUSH3 0xffffff
00000508: SWAP1
00000509: SWAP2
0000050a: AND
0000050b: DUP2
0000050c: MSTORE
0000050d: PUSH1 0x20
0000050f: ADD
00000510: PUSH2 0x04db
00000513: JUMP
00000514: JUMPDEST
00000515: CALLVALUE
00000516: DUP1
00000517: ISZERO
00000518: PUSH2 0x0520
0000051b: JUMPI
0000051c: PUSH1 0x00
0000051e: DUP1
0000051f: REVERT
00000520: JUMPDEST
00000521: POP
00000522: PUSH2 0x0534
00000525: PUSH2 0x052f
00000528: CALLDATASIZE
00000529: PUSH1 0x04
0000052b: PUSH2 0x2d3b
0000052e: JUMP
0000052f: JUMPDEST
00000530: PUSH2 0x1f90
00000533: JUMP
00000534: JUMPDEST
00000535: PUSH1 0x40
00000537: MLOAD
00000538: SWAP1
00000539: ISZERO
0000053a: ISZERO
0000053b: DUP2
0000053c: MSTORE
0000053d: PUSH1 0x20
0000053f: ADD
00000540: PUSH2 0x04db
00000543: JUMP
00000544: JUMPDEST
00000545: CALLVALUE
00000546: DUP1
00000547: ISZERO
00000548: PUSH2 0x0550
0000054b: JUMPI
0000054c: PUSH1 0x00
0000054e: DUP1
0000054f: REVERT
00000550: JUMPDEST
00000551: POP
00000552: PUSH2 0x055a
00000555: PUSH1 0x0a
00000557: SLOAD
00000558: DUP2
00000559: JUMP
0000055a: JUMPDEST
0000055b: PUSH1 0x40
0000055d: MLOAD
0000055e: SWAP1
0000055f: DUP2
00000560: MSTORE
00000561: PUSH1 0x20
00000563: ADD
00000564: PUSH2 0x04db
00000567: JUMP
00000568: JUMPDEST
00000569: CALLVALUE
0000056a: DUP1
0000056b: ISZERO
0000056c: PUSH2 0x0574
0000056f: JUMPI
00000570: PUSH1 0x00
00000572: DUP1
00000573: REVERT
00000574: JUMPDEST
00000575: POP
00000576: PUSH1 0x02
00000578: SLOAD
00000579: PUSH2 0x055a
0000057c: JUMP
0000057d: JUMPDEST
0000057e: CALLVALUE
0000057f: DUP1
00000580: ISZERO
00000581: PUSH2 0x0589
00000584: JUMPI
00000585: PUSH1 0x00
00000587: DUP1
00000588: REVERT
00000589: JUMPDEST
0000058a: POP
0000058b: PUSH2 0x0534
0000058e: PUSH2 0x0598
00000591: CALLDATASIZE
00000592: PUSH1 0x04
00000594: PUSH2 0x2d67
00000597: JUMP
00000598: JUMPDEST
00000599: PUSH1 0x09
0000059b: PUSH1 0x20
0000059d: MSTORE
0000059e: PUSH1 0x00
000005a0: SWAP1
000005a1: DUP2
000005a2: MSTORE
000005a3: PUSH1 0x40
000005a5: SWAP1
000005a6: KECCAK256
000005a7: SLOAD
000005a8: PUSH1 0xff
000005aa: AND
000005ab: DUP2
000005ac: JUMP
000005ad: JUMPDEST
000005ae: CALLVALUE
000005af: DUP1
000005b0: ISZERO
000005b1: PUSH2 0x05b9
000005b4: JUMPI
000005b5: PUSH1 0x00
000005b7: DUP1
000005b8: REVERT
000005b9: JUMPDEST
000005ba: POP
000005bb: PUSH1 0x07
000005bd: SLOAD
000005be: PUSH2 0x0534
000005c1: SWAP1
000005c2: PUSH1 0xff
000005c4: AND
000005c5: DUP2
000005c6: JUMP
000005c7: JUMPDEST
000005c8: CALLVALUE
000005c9: DUP1
000005ca: ISZERO
000005cb: PUSH2 0x05d3
000005ce: JUMPI
000005cf: PUSH1 0x00
000005d1: DUP1
000005d2: REVERT
000005d3: JUMPDEST
000005d4: POP
000005d5: PUSH2 0x0534
000005d8: PUSH2 0x05e2
000005db: CALLDATASIZE
000005dc: PUSH1 0x04
000005de: PUSH2 0x2d84
000005e1: JUMP
000005e2: JUMPDEST
000005e3: PUSH2 0x1faa
000005e6: JUMP
000005e7: JUMPDEST
000005e8: CALLVALUE
000005e9: DUP1
000005ea: ISZERO
000005eb: PUSH2 0x05f3
000005ee: JUMPI
000005ef: PUSH1 0x00
000005f1: DUP1
000005f2: REVERT
000005f3: JUMPDEST
000005f4: POP
000005f5: PUSH1 0x40
000005f7: MLOAD
000005f8: PUSH1 0x12
000005fa: DUP2
000005fb: MSTORE
000005fc: PUSH1 0x20
000005fe: ADD
000005ff: PUSH2 0x04db
00000602: JUMP
00000603: JUMPDEST
00000604: CALLVALUE
00000605: DUP1
00000606: ISZERO
00000607: PUSH2 0x060f
0000060a: JUMPI
0000060b: PUSH1 0x00
0000060d: DUP1
0000060e: REVERT
0000060f: JUMPDEST
00000610: POP
00000611: PUSH2 0x055a
00000614: PUSH1 0x0b
00000616: SLOAD
00000617: DUP2
00000618: JUMP
00000619: JUMPDEST
0000061a: CALLVALUE
0000061b: DUP1
0000061c: ISZERO
0000061d: PUSH2 0x0625
00000620: JUMPI
00000621: PUSH1 0x00
00000623: DUP1
00000624: REVERT
00000625: JUMPDEST
00000626: POP
00000627: PUSH2 0x064d
0000062a: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
0000064b: DUP2
0000064c: JUMP
0000064d: JUMPDEST
0000064e: PUSH1 0x40
00000650: MLOAD
00000651: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000666: SWAP1
00000667: SWAP2
00000668: AND
00000669: DUP2
0000066a: MSTORE
0000066b: PUSH1 0x20
0000066d: ADD
0000066e: PUSH2 0x04db
00000671: JUMP
00000672: JUMPDEST
00000673: CALLVALUE
00000674: DUP1
00000675: ISZERO
00000676: PUSH2 0x067e
00000679: JUMPI
0000067a: PUSH1 0x00
0000067c: DUP1
0000067d: REVERT
0000067e: JUMPDEST
0000067f: POP
00000680: PUSH2 0x055a
00000683: PUSH6 0x5af3107a4000
0000068a: DUP2
0000068b: JUMP
0000068c: JUMPDEST
0000068d: CALLVALUE
0000068e: DUP1
0000068f: ISZERO
00000690: PUSH2 0x0698
00000693: JUMPI
00000694: PUSH1 0x00
00000696: DUP1
00000697: REVERT
00000698: JUMPDEST
00000699: POP
0000069a: PUSH2 0x064d
0000069d: PUSH32 0x00000000000000000000000069691ce612c244b0829b9e124cca063816da1448
000006be: DUP2
000006bf: JUMP
000006c0: JUMPDEST
000006c1: CALLVALUE
000006c2: DUP1
000006c3: ISZERO
000006c4: PUSH2 0x06cc
000006c7: JUMPI
000006c8: PUSH1 0x00
000006ca: DUP1
000006cb: REVERT
000006cc: JUMPDEST
000006cd: POP
000006ce: PUSH2 0x055a
000006d1: PUSH32 0x00000000000000000000000000000000000000000000000000000000013bdf76
000006f2: DUP2
000006f3: JUMP
000006f4: JUMPDEST
000006f5: CALLVALUE
000006f6: DUP1
000006f7: ISZERO
000006f8: PUSH2 0x0700
000006fb: JUMPI
000006fc: PUSH1 0x00
000006fe: DUP1
000006ff: REVERT
00000700: JUMPDEST
00000701: POP
00000702: PUSH2 0x055a
00000705: PUSH2 0x070f
00000708: CALLDATASIZE
00000709: PUSH1 0x04
0000070b: PUSH2 0x2d67
0000070e: JUMP
0000070f: JUMPDEST
00000710: PUSH2 0x1fce
00000713: JUMP
00000714: JUMPDEST
00000715: CALLVALUE
00000716: DUP1
00000717: ISZERO
00000718: PUSH2 0x0720
0000071b: JUMPI
0000071c: PUSH1 0x00
0000071e: DUP1
0000071f: REVERT
00000720: JUMPDEST
00000721: POP
00000722: PUSH2 0x055a
00000725: PUSH2 0x072f
00000728: CALLDATASIZE
00000729: PUSH1 0x04
0000072b: PUSH2 0x2d67
0000072e: JUMP
0000072f: JUMPDEST
00000730: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000745: AND
00000746: PUSH1 0x00
00000748: SWAP1
00000749: DUP2
0000074a: MSTORE
0000074b: PUSH1 0x20
0000074d: DUP2
0000074e: SWAP1
0000074f: MSTORE
00000750: PUSH1 0x40
00000752: SWAP1
00000753: KECCAK256
00000754: SLOAD
00000755: SWAP1
00000756: JUMP
00000757: JUMPDEST
00000758: CALLVALUE
00000759: DUP1
0000075a: ISZERO
0000075b: PUSH2 0x0763
0000075e: JUMPI
0000075f: PUSH1 0x00
00000761: DUP1
00000762: REVERT
00000763: JUMPDEST
00000764: POP
00000765: PUSH2 0x0352
00000768: PUSH2 0x0772
0000076b: CALLDATASIZE
0000076c: PUSH1 0x04
0000076e: PUSH2 0x2dc5
00000771: JUMP
00000772: JUMPDEST
00000773: PUSH2 0x2056
00000776: JUMP
00000777: JUMPDEST
00000778: CALLVALUE
00000779: DUP1
0000077a: ISZERO
0000077b: PUSH2 0x0783
0000077e: JUMPI
0000077f: PUSH1 0x00
00000781: DUP1
00000782: REVERT
00000783: JUMPDEST
00000784: POP
00000785: PUSH2 0x055a
00000788: PUSH32 0x0000000000000000000000000000000000000000409f9cbc7c4a04c220000000
000007a9: DUP2
000007aa: JUMP
000007ab: JUMPDEST
000007ac: CALLVALUE
000007ad: DUP1
000007ae: ISZERO
000007af: PUSH2 0x07b7
000007b2: JUMPI
000007b3: PUSH1 0x00
000007b5: DUP1
000007b6: REVERT
000007b7: JUMPDEST
000007b8: POP
000007b9: PUSH2 0x055a
000007bc: PUSH7 0x01c6bf52634000
000007c4: DUP2
000007c5: JUMP
000007c6: JUMPDEST
000007c7: CALLVALUE
000007c8: DUP1
000007c9: ISZERO
000007ca: PUSH2 0x07d2
000007cd: JUMPI
000007ce: PUSH1 0x00
000007d0: DUP1
000007d1: REVERT
000007d2: JUMPDEST
000007d3: POP
000007d4: PUSH2 0x064d
000007d7: PUSH32 0x0000000000000000000000001f98431c8ad98523631ae4a59f267346ea31f984
000007f8: DUP2
000007f9: JUMP
000007fa: JUMPDEST
000007fb: CALLVALUE
000007fc: DUP1
000007fd: ISZERO
000007fe: PUSH2 0x0806
00000801: JUMPI
00000802: PUSH1 0x00
00000804: DUP1
00000805: REVERT
00000806: JUMPDEST
00000807: POP
00000808: PUSH2 0x04ce
0000080b: PUSH2 0x219b
0000080e: JUMP
0000080f: JUMPDEST
00000810: CALLVALUE
00000811: DUP1
00000812: ISZERO
00000813: PUSH2 0x081b
00000816: JUMPI
00000817: PUSH1 0x00
00000819: DUP1
0000081a: REVERT
0000081b: JUMPDEST
0000081c: POP
0000081d: PUSH2 0x055a
00000820: PUSH6 0xb5e620f48000
00000827: DUP2
00000828: JUMP
00000829: JUMPDEST
0000082a: CALLVALUE
0000082b: DUP1
0000082c: ISZERO
0000082d: PUSH2 0x0835
00000830: JUMPI
00000831: PUSH1 0x00
00000833: DUP1
00000834: REVERT
00000835: JUMPDEST
00000836: POP
00000837: PUSH2 0x064d
0000083a: PUSH32 0x00000000000000000000000005d7883c044c652e56286f9820e34de822e06888
0000085b: DUP2
0000085c: JUMP
0000085d: JUMPDEST
0000085e: CALLVALUE
0000085f: DUP1
00000860: ISZERO
00000861: PUSH2 0x0869
00000864: JUMPI
00000865: PUSH1 0x00
00000867: DUP1
00000868: REVERT
00000869: JUMPDEST
0000086a: POP
0000086b: PUSH2 0x0534
0000086e: PUSH2 0x0878
00000871: CALLDATASIZE
00000872: PUSH1 0x04
00000874: PUSH2 0x2d3b
00000877: JUMP
00000878: JUMPDEST
00000879: PUSH2 0x21aa
0000087c: JUMP
0000087d: JUMPDEST
0000087e: CALLVALUE
0000087f: DUP1
00000880: ISZERO
00000881: PUSH2 0x0889
00000884: JUMPI
00000885: PUSH1 0x00
00000887: DUP1
00000888: REVERT
00000889: JUMPDEST
0000088a: POP
0000088b: PUSH2 0x055a
0000088e: PUSH2 0x0898
00000891: CALLDATASIZE
00000892: PUSH1 0x04
00000894: PUSH2 0x2d67
00000897: JUMP
00000898: JUMPDEST
00000899: PUSH2 0x21b8
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: PUSH2 0x064d
000008ae: PUSH32 0x00000000000000000000000082270e5b2827b9c6730037b729072d073ac8f367
000008cf: DUP2
000008d0: JUMP
000008d1: JUMPDEST
000008d2: CALLVALUE
000008d3: DUP1
000008d4: ISZERO
000008d5: PUSH2 0x08dd
000008d8: JUMPI
000008d9: PUSH1 0x00
000008db: DUP1
000008dc: REVERT
000008dd: JUMPDEST
000008de: POP
000008df: PUSH2 0x0534
000008e2: PUSH2 0x08ec
000008e5: CALLDATASIZE
000008e6: PUSH1 0x04
000008e8: PUSH2 0x2d67
000008eb: JUMP
000008ec: JUMPDEST
000008ed: PUSH1 0x0c
000008ef: PUSH1 0x20
000008f1: MSTORE
000008f2: PUSH1 0x00
000008f4: SWAP1
000008f5: DUP2
000008f6: MSTORE
000008f7: PUSH1 0x40
000008f9: SWAP1
000008fa: KECCAK256
000008fb: SLOAD
000008fc: PUSH1 0xff
000008fe: AND
000008ff: DUP2
00000900: JUMP
00000901: JUMPDEST
00000902: CALLVALUE
00000903: DUP1
00000904: ISZERO
00000905: PUSH2 0x090d
00000908: JUMPI
00000909: PUSH1 0x00
0000090b: DUP1
0000090c: REVERT
0000090d: JUMPDEST
0000090e: POP
0000090f: PUSH2 0x04ce
00000912: PUSH2 0x224c
00000915: JUMP
00000916: JUMPDEST
00000917: CALLVALUE
00000918: DUP1
00000919: ISZERO
0000091a: PUSH2 0x0922
0000091d: JUMPI
0000091e: PUSH1 0x00
00000920: DUP1
00000921: REVERT
00000922: JUMPDEST
00000923: POP
00000924: PUSH2 0x055a
00000927: PUSH2 0x0931
0000092a: CALLDATASIZE
0000092b: PUSH1 0x04
0000092d: PUSH2 0x2d67
00000930: JUMP
00000931: JUMPDEST
00000932: PUSH1 0x08
00000934: PUSH1 0x20
00000936: MSTORE
00000937: PUSH1 0x00
00000939: SWAP1
0000093a: DUP2
0000093b: MSTORE
0000093c: PUSH1 0x40
0000093e: SWAP1
0000093f: KECCAK256
00000940: SLOAD
00000941: DUP2
00000942: JUMP
00000943: JUMPDEST
00000944: CALLVALUE
00000945: DUP1
00000946: ISZERO
00000947: PUSH2 0x094f
0000094a: JUMPI
0000094b: PUSH1 0x00
0000094d: DUP1
0000094e: REVERT
0000094f: JUMPDEST
00000950: POP
00000951: PUSH2 0x064d
00000954: PUSH32 0x00000000000000000000000099090d2d220901de904c6e3d003d7ced4b6ec2a4
00000975: DUP2
00000976: JUMP
00000977: JUMPDEST
00000978: CALLVALUE
00000979: DUP1
0000097a: ISZERO
0000097b: PUSH2 0x0983
0000097e: JUMPI
0000097f: PUSH1 0x00
00000981: DUP1
00000982: REVERT
00000983: JUMPDEST
00000984: POP
00000985: PUSH2 0x055a
00000988: PUSH2 0x0992
0000098b: CALLDATASIZE
0000098c: PUSH1 0x04
0000098e: PUSH2 0x2dea
00000991: JUMP
00000992: JUMPDEST
00000993: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009a8: SWAP2
000009a9: DUP3
000009aa: AND
000009ab: PUSH1 0x00
000009ad: SWAP1
000009ae: DUP2
000009af: MSTORE
000009b0: PUSH1 0x01
000009b2: PUSH1 0x20
000009b4: SWAP1
000009b5: DUP2
000009b6: MSTORE
000009b7: PUSH1 0x40
000009b9: DUP1
000009ba: DUP4
000009bb: KECCAK256
000009bc: SWAP4
000009bd: SWAP1
000009be: SWAP5
000009bf: AND
000009c0: DUP3
000009c1: MSTORE
000009c2: SWAP2
000009c3: SWAP1
000009c4: SWAP2
000009c5: MSTORE
000009c6: KECCAK256
000009c7: SLOAD
000009c8: SWAP1
000009c9: JUMP
000009ca: JUMPDEST
000009cb: CALLVALUE
000009cc: DUP1
000009cd: ISZERO
000009ce: PUSH2 0x09d6
000009d1: JUMPI
000009d2: PUSH1 0x00
000009d4: DUP1
000009d5: REVERT
000009d6: JUMPDEST
000009d7: POP
000009d8: PUSH2 0x064d
000009db: PUSH32 0x000000000000000000000000c36442b4a4522e871399cd717abdd847ab11fe88
000009fc: DUP2
000009fd: JUMP
000009fe: JUMPDEST
000009ff: CALLVALUE
00000a00: DUP1
00000a01: ISZERO
00000a02: PUSH2 0x0a0a
00000a05: JUMPI
00000a06: PUSH1 0x00
00000a08: DUP1
00000a09: REVERT
00000a0a: JUMPDEST
00000a0b: POP
00000a0c: PUSH32 0x00000000000000000000000000000000000000000000000000000000013bdf76
00000a2d: NUMBER
00000a2e: LT
00000a2f: ISZERO
00000a30: PUSH2 0x0534
00000a33: JUMP
00000a34: JUMPDEST
00000a35: CALLVALUE
00000a36: DUP1
00000a37: ISZERO
00000a38: PUSH2 0x0a40
00000a3b: JUMPI
00000a3c: PUSH1 0x00
00000a3e: DUP1
00000a3f: REVERT
00000a40: JUMPDEST
00000a41: POP
00000a42: PUSH2 0x0352
00000a45: PUSH2 0x22da
00000a48: JUMP
00000a49: JUMPDEST
00000a4a: CALLVALUE
00000a4b: DUP1
00000a4c: ISZERO
00000a4d: PUSH2 0x0a55
00000a50: JUMPI
00000a51: PUSH1 0x00
00000a53: DUP1
00000a54: REVERT
00000a55: JUMPDEST
00000a56: POP
00000a57: PUSH2 0x055a
00000a5a: PUSH32 0x000000000000000000000000000000000000000000000001158e460913d00000
00000a7b: DUP2
00000a7c: JUMP
00000a7d: JUMPDEST
00000a7e: ADDRESS
00000a7f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a94: PUSH32 0x000000000000000000000000e9abaa9d6f65a08f07aed9cb978001c88b9f4151
00000ab5: AND
00000ab6: EQ
00000ab7: PUSH2 0x0abf
00000aba: JUMPI
00000abb: PUSH1 0x00
00000abd: DUP1
00000abe: REVERT
00000abf: JUMPDEST
00000ac0: JUMP
00000ac1: JUMPDEST
00000ac2: PUSH2 0x0ac9
00000ac5: PUSH2 0x23f0
00000ac8: JUMP
00000ac9: JUMPDEST
00000aca: PUSH1 0x07
00000acc: SLOAD
00000acd: PUSH1 0xff
00000acf: AND
00000ad0: PUSH2 0x0b1b
00000ad3: JUMPI
00000ad4: PUSH1 0x40
00000ad6: MLOAD
00000ad7: PUSH3 0x461bcd
00000adb: PUSH1 0xe5
00000add: SHL
00000ade: DUP2
00000adf: MSTORE
00000ae0: PUSH1 0x20
00000ae2: PUSH1 0x04
00000ae4: DUP3
00000ae5: ADD
00000ae6: MSTORE
00000ae7: PUSH1 0x15
00000ae9: PUSH1 0x24
00000aeb: DUP3
00000aec: ADD
00000aed: MSTORE
00000aee: PUSH32 0x466169724d696e743a206e6f7420737461727465640000000000000000000000
00000b0f: PUSH1 0x44
00000b11: DUP3
00000b12: ADD
00000b13: MSTORE
00000b14: PUSH1 0x64
00000b16: ADD
00000b17: PUSH2 0x0329
00000b1a: JUMP
00000b1b: JUMPDEST
00000b1c: CALLER
00000b1d: ORIGIN
00000b1e: EQ
00000b1f: PUSH2 0x0b90
00000b22: JUMPI
00000b23: PUSH1 0x40
00000b25: MLOAD
00000b26: PUSH3 0x461bcd
00000b2a: PUSH1 0xe5
00000b2c: SHL
00000b2d: DUP2
00000b2e: MSTORE
00000b2f: PUSH1 0x20
00000b31: PUSH1 0x04
00000b33: DUP3
00000b34: ADD
00000b35: MSTORE
00000b36: PUSH1 0x23
00000b38: PUSH1 0x24
00000b3a: DUP3
00000b3b: ADD
00000b3c: MSTORE
00000b3d: PUSH32 0x466169724d696e743a2063616e206e6f74206d696e7420746f20636f6e747261
00000b5e: PUSH1 0x44
00000b60: DUP3
00000b61: ADD
00000b62: MSTORE
00000b63: PUSH32 0x63742e0000000000000000000000000000000000000000000000000000000000
00000b84: PUSH1 0x64
00000b86: DUP3
00000b87: ADD
00000b88: MSTORE
00000b89: PUSH1 0x84
00000b8b: ADD
00000b8c: PUSH2 0x0329
00000b8f: JUMP
00000b90: JUMPDEST
00000b91: CALLER
00000b92: PUSH1 0x00
00000b94: SWAP1
00000b95: DUP2
00000b96: MSTORE
00000b97: PUSH1 0x09
00000b99: PUSH1 0x20
00000b9b: MSTORE
00000b9c: PUSH1 0x40
00000b9e: SWAP1
00000b9f: KECCAK256
00000ba0: SLOAD
00000ba1: PUSH1 0xff
00000ba3: AND
00000ba4: ISZERO
00000ba5: PUSH2 0x0bf0
00000ba8: JUMPI
00000ba9: PUSH1 0x40
00000bab: MLOAD
00000bac: PUSH3 0x461bcd
00000bb0: PUSH1 0xe5
00000bb2: SHL
00000bb3: DUP2
00000bb4: MSTORE
00000bb5: PUSH1 0x20
00000bb7: PUSH1 0x04
00000bb9: DUP3
00000bba: ADD
00000bbb: MSTORE
00000bbc: PUSH1 0x18
00000bbe: PUSH1 0x24
00000bc0: DUP3
00000bc1: ADD
00000bc2: MSTORE
00000bc3: PUSH32 0x466169724d696e743a20616c7265616479206d696e7465640000000000000000
00000be4: PUSH1 0x44
00000be6: DUP3
00000be7: ADD
00000be8: MSTORE
00000be9: PUSH1 0x64
00000beb: ADD
00000bec: PUSH2 0x0329
00000bef: JUMP
00000bf0: JUMPDEST
00000bf1: CALLER
00000bf2: PUSH1 0x00
00000bf4: DUP2
00000bf5: DUP2
00000bf6: MSTORE
00000bf7: PUSH1 0x09
00000bf9: PUSH1 0x20
00000bfb: MSTORE
00000bfc: PUSH1 0x40
00000bfe: DUP2
00000bff: KECCAK256
00000c00: DUP1
00000c01: SLOAD
00000c02: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00000c23: AND
00000c24: PUSH1 0x01
00000c26: OR
00000c27: SWAP1
00000c28: SSTORE
00000c29: SWAP1
00000c2a: PUSH2 0x0c32
00000c2d: SWAP1
00000c2e: PUSH2 0x1fce
00000c31: JUMP
00000c32: JUMPDEST
00000c33: SWAP1
00000c34: POP
00000c35: PUSH1 0x00
00000c37: DUP2
00000c38: GT
00000c39: PUSH2 0x0c84
00000c3c: JUMPI
00000c3d: PUSH1 0x40
00000c3f: MLOAD
00000c40: PUSH3 0x461bcd
00000c44: PUSH1 0xe5
00000c46: SHL
00000c47: DUP2
00000c48: MSTORE
00000c49: PUSH1 0x20
00000c4b: PUSH1 0x04
00000c4d: DUP3
00000c4e: ADD
00000c4f: MSTORE
00000c50: PUSH1 0x1d
00000c52: PUSH1 0x24
00000c54: DUP3
00000c55: ADD
00000c56: MSTORE
00000c57: PUSH32 0x466169724d696e743a206d696e7420616d6f756e74206973207a65726f000000
00000c78: PUSH1 0x44
00000c7a: DUP3
00000c7b: ADD
00000c7c: MSTORE
00000c7d: PUSH1 0x64
00000c7f: ADD
00000c80: PUSH2 0x0329
00000c83: JUMP
00000c84: JUMPDEST
00000c85: PUSH2 0x0caf
00000c88: PUSH1 0x02
00000c8a: PUSH32 0x0000000000000000000000000000000000000000409f9cbc7c4a04c220000000
00000cab: PUSH2 0x2e52
00000cae: JUMP
00000caf: JUMPDEST
00000cb0: DUP2
00000cb1: GT
00000cb2: ISZERO
00000cb3: PUSH2 0x0cbe
00000cb6: JUMPI
00000cb7: PUSH2 0x0cbe
00000cba: PUSH2 0x2e8d
00000cbd: JUMP
00000cbe: JUMPDEST
00000cbf: PUSH2 0x0cc9
00000cc2: ADDRESS
00000cc3: CALLER
00000cc4: DUP4
00000cc5: PUSH2 0x2433
00000cc8: JUMP
00000cc9: JUMPDEST
00000cca: PUSH1 0x40
00000ccc: MLOAD
00000ccd: PUSH1 0x00
00000ccf: SWAP1
00000cd0: CALLER
00000cd1: SWAP1
00000cd2: PUSH6 0x5af3107a4000
00000cd9: SWAP1
00000cda: DUP4
00000cdb: DUP2
00000cdc: DUP2
00000cdd: DUP2
00000cde: DUP6
00000cdf: DUP8
00000ce0: GAS
00000ce1: CALL
00000ce2: SWAP3
00000ce3: POP
00000ce4: POP
00000ce5: POP
00000ce6: RETURNDATASIZE
00000ce7: DUP1
00000ce8: PUSH1 0x00
00000cea: DUP2
00000ceb: EQ
00000cec: PUSH2 0x0d11
00000cef: JUMPI
00000cf0: PUSH1 0x40
00000cf2: MLOAD
00000cf3: SWAP2
00000cf4: POP
00000cf5: PUSH1 0x1f
00000cf7: NOT
00000cf8: PUSH1 0x3f
00000cfa: RETURNDATASIZE
00000cfb: ADD
00000cfc: AND
00000cfd: DUP3
00000cfe: ADD
00000cff: PUSH1 0x40
00000d01: MSTORE
00000d02: RETURNDATASIZE
00000d03: DUP3
00000d04: MSTORE
00000d05: RETURNDATASIZE
00000d06: PUSH1 0x00
00000d08: PUSH1 0x20
00000d0a: DUP5
00000d0b: ADD
00000d0c: RETURNDATACOPY
00000d0d: PUSH2 0x0d16
00000d10: JUMP
00000d11: JUMPDEST
00000d12: PUSH1 0x60
00000d14: SWAP2
00000d15: POP
00000d16: JUMPDEST
00000d17: POP
00000d18: POP
00000d19: SWAP1
00000d1a: POP
00000d1b: DUP1
00000d1c: PUSH2 0x0d67
00000d1f: JUMPI
00000d20: PUSH1 0x40
00000d22: MLOAD
00000d23: PUSH3 0x461bcd
00000d27: PUSH1 0xe5
00000d29: SHL
00000d2a: DUP2
00000d2b: MSTORE
00000d2c: PUSH1 0x20
00000d2e: PUSH1 0x04
00000d30: DUP3
00000d31: ADD
00000d32: MSTORE
00000d33: PUSH1 0x15
00000d35: PUSH1 0x24
00000d37: DUP3
00000d38: ADD
00000d39: MSTORE
00000d3a: PUSH32 0x466169724d696e743a206d696e74206661696c65640000000000000000000000
00000d5b: PUSH1 0x44
00000d5d: DUP3
00000d5e: ADD
00000d5f: MSTORE
00000d60: PUSH1 0x64
00000d62: ADD
00000d63: PUSH2 0x0329
00000d66: JUMP
00000d67: JUMPDEST
00000d68: POP
00000d69: POP
00000d6a: PUSH2 0x0abf
00000d6d: PUSH1 0x01
00000d6f: PUSH1 0x06
00000d71: SSTORE
00000d72: JUMP
00000d73: JUMPDEST
00000d74: PUSH2 0x0d7b
00000d77: PUSH2 0x23f0
00000d7a: JUMP
00000d7b: JUMPDEST
00000d7c: PUSH1 0x07
00000d7e: SLOAD
00000d7f: PUSH1 0xff
00000d81: AND
00000d82: PUSH2 0x0df3
00000d85: JUMPI
00000d86: PUSH1 0x40
00000d88: MLOAD
00000d89: PUSH3 0x461bcd
00000d8d: PUSH1 0xe5
00000d8f: SHL
00000d90: DUP2
00000d91: MSTORE
00000d92: PUSH1 0x20
00000d94: PUSH1 0x04
00000d96: DUP3
00000d97: ADD
00000d98: MSTORE
00000d99: PUSH1 0x2d
00000d9b: PUSH1 0x24
00000d9d: DUP3
00000d9e: ADD
00000d9f: MSTORE
00000da0: PUSH32 0x466169724d696e743a20776974686472617720657874726120657468206d7573
00000dc1: PUSH1 0x44
00000dc3: DUP3
00000dc4: ADD
00000dc5: MSTORE
00000dc6: PUSH32 0x7420616674657220737461727400000000000000000000000000000000000000
00000de7: PUSH1 0x64
00000de9: DUP3
00000dea: ADD
00000deb: MSTORE
00000dec: PUSH1 0x84
00000dee: ADD
00000def: PUSH2 0x0329
00000df2: JUMP
00000df3: JUMPDEST
00000df4: PUSH1 0x00
00000df6: PUSH32 0x000000000000000000000000000000000000000000000001158e460913d00000
00000e17: GT
00000e18: PUSH2 0x0e89
00000e1b: JUMPI
00000e1c: PUSH1 0x40
00000e1e: MLOAD
00000e1f: PUSH3 0x461bcd
00000e23: PUSH1 0xe5
00000e25: SHL
00000e26: DUP2
00000e27: MSTORE
00000e28: PUSH1 0x20
00000e2a: PUSH1 0x04
00000e2c: DUP3
00000e2d: ADD
00000e2e: MSTORE
00000e2f: PUSH1 0x22
00000e31: PUSH1 0x24
00000e33: DUP3
00000e34: ADD
00000e35: MSTORE
00000e36: PUSH32 0x466169724d696e743a20736f667420746f7020636170206d7573742062652073
00000e57: PUSH1 0x44
00000e59: DUP3
00000e5a: ADD
00000e5b: MSTORE
00000e5c: PUSH32 0x6574000000000000000000000000000000000000000000000000000000000000
00000e7d: PUSH1 0x64
00000e7f: DUP3
00000e80: ADD
00000e81: MSTORE
00000e82: PUSH1 0x84
00000e84: ADD
00000e85: PUSH2 0x0329
00000e88: JUMP
00000e89: JUMPDEST
00000e8a: PUSH32 0x000000000000000000000000000000000000000000000001158e460913d00000
00000eab: PUSH1 0x0a
00000ead: SLOAD
00000eae: GT
00000eaf: PUSH2 0x0efa
00000eb2: JUMPI
00000eb3: PUSH1 0x40
00000eb5: MLOAD
00000eb6: PUSH3 0x461bcd
00000eba: PUSH1 0xe5
00000ebc: SHL
00000ebd: DUP2
00000ebe: MSTORE
00000ebf: PUSH1 0x20
00000ec1: PUSH1 0x04
00000ec3: DUP3
00000ec4: ADD
00000ec5: MSTORE
00000ec6: PUSH1 0x16
00000ec8: PUSH1 0x24
00000eca: DUP3
00000ecb: ADD
00000ecc: MSTORE
00000ecd: PUSH32 0x466169724d696e743a206e6f2065787472612065746800000000000000000000
00000eee: PUSH1 0x44
00000ef0: DUP3
00000ef1: ADD
00000ef2: MSTORE
00000ef3: PUSH1 0x64
00000ef5: ADD
00000ef6: PUSH2 0x0329
00000ef9: JUMP
00000efa: JUMPDEST
00000efb: PUSH1 0x00
00000efd: PUSH32 0x000000000000000000000000000000000000000000000001158e460913d00000
00000f1e: PUSH1 0x0a
00000f20: SLOAD
00000f21: PUSH2 0x0f2a
00000f24: SWAP2
00000f25: SWAP1
00000f26: PUSH2 0x2ebc
00000f29: JUMP
00000f2a: JUMPDEST
00000f2b: CALLER
00000f2c: PUSH1 0x00
00000f2e: SWAP1
00000f2f: DUP2
00000f30: MSTORE
00000f31: PUSH1 0x08
00000f33: PUSH1 0x20
00000f35: MSTORE
00000f36: PUSH1 0x40
00000f38: SWAP1
00000f39: KECCAK256
00000f3a: SLOAD
00000f3b: SWAP1
00000f3c: SWAP2
00000f3d: POP
00000f3e: DUP1
00000f3f: PUSH2 0x0f8a
00000f42: JUMPI
00000f43: PUSH1 0x40
00000f45: MLOAD
00000f46: PUSH3 0x461bcd
00000f4a: PUSH1 0xe5
00000f4c: SHL
00000f4d: DUP2
00000f4e: MSTORE
00000f4f: PUSH1 0x20
00000f51: PUSH1 0x04
00000f53: DUP3
00000f54: ADD
00000f55: MSTORE
00000f56: PUSH1 0x11
00000f58: PUSH1 0x24
00000f5a: DUP3
00000f5b: ADD
00000f5c: MSTORE
00000f5d: PUSH32 0x466169724d696e743a206e6f2066756e64000000000000000000000000000000
00000f7e: PUSH1 0x44
00000f80: DUP3
00000f81: ADD
00000f82: MSTORE
00000f83: PUSH1 0x64
00000f85: ADD
00000f86: PUSH2 0x0329
00000f89: JUMP
00000f8a: JUMPDEST
00000f8b: CALLER
00000f8c: PUSH1 0x00
00000f8e: SWAP1
00000f8f: DUP2
00000f90: MSTORE
00000f91: PUSH1 0x0c
00000f93: PUSH1 0x20
00000f95: MSTORE
00000f96: PUSH1 0x40
00000f98: SWAP1
00000f99: KECCAK256
00000f9a: SLOAD
00000f9b: PUSH1 0xff
00000f9d: AND
00000f9e: ISZERO
00000f9f: PUSH2 0x0fea
00000fa2: JUMPI
00000fa3: PUSH1 0x40
00000fa5: MLOAD
00000fa6: PUSH3 0x461bcd
00000faa: PUSH1 0xe5
00000fac: SHL
00000fad: DUP2
00000fae: MSTORE
00000faf: PUSH1 0x20
00000fb1: PUSH1 0x04
00000fb3: DUP3
00000fb4: ADD
00000fb5: MSTORE
00000fb6: PUSH1 0x19
00000fb8: PUSH1 0x24
00000fba: DUP3
00000fbb: ADD
00000fbc: MSTORE
00000fbd: PUSH32 0x466169724d696e743a20616c726561647920636c61696d656400000000000000
00000fde: PUSH1 0x44
00000fe0: DUP3
00000fe1: ADD
00000fe2: MSTORE
00000fe3: PUSH1 0x64
00000fe5: ADD
00000fe6: PUSH2 0x0329
00000fe9: JUMP
00000fea: JUMPDEST
00000feb: CALLER
00000fec: PUSH1 0x00
00000fee: SWAP1
00000fef: DUP2
00000ff0: MSTORE
00000ff1: PUSH1 0x0c
00000ff3: PUSH1 0x20
00000ff5: MSTORE
00000ff6: PUSH1 0x40
00000ff8: DUP2
00000ff9: KECCAK256
00000ffa: DUP1
00000ffb: SLOAD
00000ffc: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
0000101d: AND
0000101e: PUSH1 0x01
00001020: OR
00001021: SWAP1
00001022: SSTORE
00001023: PUSH1 0x0a
00001025: SLOAD
00001026: PUSH2 0x102f
00001029: DUP5
0000102a: DUP5
0000102b: PUSH2 0x2ecf
0000102e: JUMP
0000102f: JUMPDEST
00001030: PUSH2 0x1039
00001033: SWAP2
00001034: SWAP1
00001035: PUSH2 0x2e52
00001038: JUMP
00001039: JUMPDEST
0000103a: SWAP1
0000103b: POP
0000103c: PUSH1 0x00
0000103e: CALLER
0000103f: PUSH2 0x104e
00001042: PUSH6 0xb5e620f48000
00001049: DUP5
0000104a: PUSH2 0x2ee6
0000104d: JUMP
0000104e: JUMPDEST
0000104f: PUSH1 0x40
00001051: MLOAD
00001052: PUSH1 0x00
00001054: DUP2
00001055: DUP2
00001056: DUP2
00001057: DUP6
00001058: DUP8
00001059: GAS
0000105a: CALL
0000105b: SWAP3
0000105c: POP
0000105d: POP
0000105e: POP
0000105f: RETURNDATASIZE
00001060: DUP1
00001061: PUSH1 0x00
00001063: DUP2
00001064: EQ
00001065: PUSH2 0x108a
00001068: JUMPI
00001069: PUSH1 0x40
0000106b: MLOAD
0000106c: SWAP2
0000106d: POP
0000106e: PUSH1 0x1f
00001070: NOT
00001071: PUSH1 0x3f
00001073: RETURNDATASIZE
00001074: ADD
00001075: AND
00001076: DUP3
00001077: ADD
00001078: PUSH1 0x40
0000107a: MSTORE
0000107b: RETURNDATASIZE
0000107c: DUP3
0000107d: MSTORE
0000107e: RETURNDATASIZE
0000107f: PUSH1 0x00
00001081: PUSH1 0x20
00001083: DUP5
00001084: ADD
00001085: RETURNDATACOPY
00001086: PUSH2 0x108f
00001089: JUMP
0000108a: JUMPDEST
0000108b: PUSH1 0x60
0000108d: SWAP2
0000108e: POP
0000108f: JUMPDEST
00001090: POP
00001091: POP
00001092: SWAP1
00001093: POP
00001094: DUP1
00001095: PUSH2 0x10e0
00001098: JUMPI
00001099: PUSH1 0x40
0000109b: MLOAD
0000109c: PUSH3 0x461bcd
000010a0: PUSH1 0xe5
000010a2: SHL
000010a3: DUP2
000010a4: MSTORE
000010a5: PUSH1 0x20
000010a7: PUSH1 0x04
000010a9: DUP3
000010aa: ADD
000010ab: MSTORE
000010ac: PUSH1 0x19
000010ae: PUSH1 0x24
000010b0: DUP3
000010b1: ADD
000010b2: MSTORE
000010b3: PUSH32 0x466169724d696e743a207769746864726177206661696c656400000000000000
000010d4: PUSH1 0x44
000010d6: DUP3
000010d7: ADD
000010d8: MSTORE
000010d9: PUSH1 0x64
000010db: ADD
000010dc: PUSH2 0x0329
000010df: JUMP
000010e0: JUMPDEST
000010e1: POP
000010e2: POP
000010e3: POP
000010e4: POP
000010e5: PUSH2 0x0abf
000010e8: PUSH1 0x01
000010ea: PUSH1 0x06
000010ec: SSTORE
000010ed: JUMP
000010ee: JUMPDEST
000010ef: PUSH2 0x10f6
000010f2: PUSH2 0x23f0
000010f5: JUMP
000010f6: JUMPDEST
000010f7: PUSH1 0x07
000010f9: SLOAD
000010fa: PUSH1 0xff
000010fc: AND
000010fd: ISZERO
000010fe: PUSH2 0x1149
00001101: JUMPI
00001102: PUSH1 0x40
00001104: MLOAD
00001105: PUSH3 0x461bcd
00001109: PUSH1 0xe5
0000110b: SHL
0000110c: DUP2
0000110d: MSTORE
0000110e: PUSH1 0x20
00001110: PUSH1 0x04
00001112: DUP3
00001113: ADD
00001114: MSTORE
00001115: PUSH1 0x19
00001117: PUSH1 0x24
00001119: DUP3
0000111a: ADD
0000111b: MSTORE
0000111c: PUSH32 0x466169724d696e743a20616c7265616479207374617274656400000000000000
0000113d: PUSH1 0x44
0000113f: DUP3
00001140: ADD
00001141: MSTORE
00001142: PUSH1 0x64
00001144: ADD
00001145: PUSH2 0x0329
00001148: JUMP
00001149: JUMPDEST
0000114a: CALLER
0000114b: PUSH1 0x00
0000114d: DUP2
0000114e: DUP2
0000114f: MSTORE
00001150: PUSH1 0x08
00001152: PUSH1 0x20
00001154: MSTORE
00001155: PUSH1 0x40
00001157: SWAP1
00001158: KECCAK256
00001159: SLOAD
0000115a: DUP1
0000115b: PUSH2 0x11a6
0000115e: JUMPI
0000115f: PUSH1 0x40
00001161: MLOAD
00001162: PUSH3 0x461bcd
00001166: PUSH1 0xe5
00001168: SHL
00001169: DUP2
0000116a: MSTORE
0000116b: PUSH1 0x20
0000116d: PUSH1 0x04
0000116f: DUP3
00001170: ADD
00001171: MSTORE
00001172: PUSH1 0x11
00001174: PUSH1 0x24
00001176: DUP3
00001177: ADD
00001178: MSTORE
00001179: PUSH32 0x466169724d696e743a206e6f2066756e64000000000000000000000000000000
0000119a: PUSH1 0x44
0000119c: DUP3
0000119d: ADD
0000119e: MSTORE
0000119f: PUSH1 0x64
000011a1: ADD
000011a2: PUSH2 0x0329
000011a5: JUMP
000011a6: JUMPDEST
000011a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011bc: DUP3
000011bd: AND
000011be: PUSH1 0x00
000011c0: SWAP1
000011c1: DUP2
000011c2: MSTORE
000011c3: PUSH1 0x08
000011c5: PUSH1 0x20
000011c7: MSTORE
000011c8: PUSH1 0x40
000011ca: DUP2
000011cb: KECCAK256
000011cc: DUP2
000011cd: SWAP1
000011ce: SSTORE
000011cf: PUSH1 0x0a
000011d1: DUP1
000011d2: SLOAD
000011d3: DUP4
000011d4: SWAP3
000011d5: SWAP1
000011d6: PUSH2 0x11e0
000011d9: SWAP1
000011da: DUP5
000011db: SWAP1
000011dc: PUSH2 0x2ebc
000011df: JUMP
000011e0: JUMPDEST
000011e1: SWAP1
000011e2: SWAP2
000011e3: SSTORE
000011e4: POP
000011e5: POP
000011e6: PUSH1 0x0b
000011e8: SLOAD
000011e9: PUSH1 0x00
000011eb: SWAP1
000011ec: PUSH2 0x2710
000011ef: SWAP1
000011f0: PUSH2 0x11f9
000011f3: SWAP1
000011f4: DUP5
000011f5: PUSH2 0x2ecf
000011f8: JUMP
000011f9: JUMPDEST
000011fa: PUSH2 0x1203
000011fd: SWAP2
000011fe: SWAP1
000011ff: PUSH2 0x2e52
00001202: JUMP
00001203: JUMPDEST
00001204: SWAP1
00001205: POP
00001206: DUP2
00001207: DUP2
00001208: LT
00001209: PUSH2 0x1214
0000120c: JUMPI
0000120d: PUSH2 0x1214
00001210: PUSH2 0x2e8d
00001213: JUMP
00001214: JUMPDEST
00001215: PUSH1 0x00
00001217: DUP2
00001218: GT
00001219: DUP1
0000121a: ISZERO
0000121b: PUSH2 0x1259
0000121e: JUMPI
0000121f: POP
00001220: PUSH32 0x00000000000000000000000069691ce612c244b0829b9e124cca063816da1448
00001241: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001256: AND
00001257: ISZERO
00001258: ISZERO
00001259: JUMPDEST
0000125a: ISZERO
0000125b: PUSH2 0x1330
0000125e: JUMPI
0000125f: PUSH1 0x00
00001261: PUSH32 0x00000000000000000000000069691ce612c244b0829b9e124cca063816da1448
00001282: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001297: AND
00001298: DUP3
00001299: PUSH1 0x40
0000129b: MLOAD
0000129c: PUSH1 0x00
0000129e: PUSH1 0x40
000012a0: MLOAD
000012a1: DUP1
000012a2: DUP4
000012a3: SUB
000012a4: DUP2
000012a5: DUP6
000012a6: DUP8
000012a7: GAS
000012a8: CALL
000012a9: SWAP3
000012aa: POP
000012ab: POP
000012ac: POP
000012ad: RETURNDATASIZE
000012ae: DUP1
000012af: PUSH1 0x00
000012b1: DUP2
000012b2: EQ
000012b3: PUSH2 0x12d8
000012b6: JUMPI
000012b7: PUSH1 0x40
000012b9: MLOAD
000012ba: SWAP2
000012bb: POP
000012bc: PUSH1 0x1f
000012be: NOT
000012bf: PUSH1 0x3f
000012c1: RETURNDATASIZE
000012c2: ADD
000012c3: AND
000012c4: DUP3
000012c5: ADD
000012c6: PUSH1 0x40
000012c8: MSTORE
000012c9: RETURNDATASIZE
000012ca: DUP3
000012cb: MSTORE
000012cc: RETURNDATASIZE
000012cd: PUSH1 0x00
000012cf: PUSH1 0x20
000012d1: DUP5
000012d2: ADD
000012d3: RETURNDATACOPY
000012d4: PUSH2 0x12dd
000012d7: JUMP
000012d8: JUMPDEST
000012d9: PUSH1 0x60
000012db: SWAP2
000012dc: POP
000012dd: JUMPDEST
000012de: POP
000012df: POP
000012e0: SWAP1
000012e1: POP
000012e2: DUP1
000012e3: PUSH2 0x132e
000012e6: JUMPI
000012e7: PUSH1 0x40
000012e9: MLOAD
000012ea: PUSH3 0x461bcd
000012ee: PUSH1 0xe5
000012f0: SHL
000012f1: DUP2
000012f2: MSTORE
000012f3: PUSH1 0x20
000012f5: PUSH1 0x04
000012f7: DUP3
000012f8: ADD
000012f9: MSTORE
000012fa: PUSH1 0x1b
000012fc: PUSH1 0x24
000012fe: DUP3
000012ff: ADD
00001300: MSTORE
00001301: PUSH32 0x466169724d696e743a20726566756e6420666565206661696c65640000000000
00001322: PUSH1 0x44
00001324: DUP3
00001325: ADD
00001326: MSTORE
00001327: PUSH1 0x64
00001329: ADD
0000132a: PUSH2 0x0329
0000132d: JUMP
0000132e: JUMPDEST
0000132f: POP
00001330: JUMPDEST
00001331: PUSH1 0x00
00001333: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001348: DUP5
00001349: AND
0000134a: PUSH6 0xb5e620f48000
00001351: PUSH2 0x135a
00001354: DUP5
00001355: DUP7
00001356: PUSH2 0x2ebc
00001359: JUMP
0000135a: JUMPDEST
0000135b: PUSH2 0x1364
0000135e: SWAP2
0000135f: SWAP1
00001360: PUSH2 0x2ee6
00001363: JUMP
00001364: JUMPDEST
00001365: PUSH1 0x40
00001367: MLOAD
00001368: PUSH1 0x00
0000136a: DUP2
0000136b: DUP2
0000136c: DUP2
0000136d: DUP6
0000136e: DUP8
0000136f: GAS
00001370: CALL
00001371: SWAP3
00001372: POP
00001373: POP
00001374: POP
00001375: RETURNDATASIZE
00001376: DUP1
00001377: PUSH1 0x00
00001379: DUP2
0000137a: EQ
0000137b: PUSH2 0x13a0
0000137e: JUMPI
0000137f: PUSH1 0x40
00001381: MLOAD
00001382: SWAP2
00001383: POP
00001384: PUSH1 0x1f
00001386: NOT
00001387: PUSH1 0x3f
00001389: RETURNDATASIZE
0000138a: ADD
0000138b: AND
0000138c: DUP3
0000138d: ADD
0000138e: PUSH1 0x40
00001390: MSTORE
00001391: RETURNDATASIZE
00001392: DUP3
00001393: MSTORE
00001394: RETURNDATASIZE
00001395: PUSH1 0x00
00001397: PUSH1 0x20
00001399: DUP5
0000139a: ADD
0000139b: RETURNDATACOPY
0000139c: PUSH2 0x13a5
0000139f: JUMP
000013a0: JUMPDEST
000013a1: PUSH1 0x60
000013a3: SWAP2
000013a4: POP
000013a5: JUMPDEST
000013a6: POP
000013a7: POP
000013a8: SWAP1
000013a9: POP
000013aa: DUP1
000013ab: PUSH2 0x13f6
000013ae: JUMPI
000013af: PUSH1 0x40
000013b1: MLOAD
000013b2: PUSH3 0x461bcd
000013b6: PUSH1 0xe5
000013b8: SHL
000013b9: DUP2
000013ba: MSTORE
000013bb: PUSH1 0x20
000013bd: PUSH1 0x04
000013bf: DUP3
000013c0: ADD
000013c1: MSTORE
000013c2: PUSH1 0x17
000013c4: PUSH1 0x24
000013c6: DUP3
000013c7: ADD
000013c8: MSTORE
000013c9: PUSH32 0x466169724d696e743a20726566756e64206661696c6564000000000000000000
000013ea: PUSH1 0x44
000013ec: DUP3
000013ed: ADD
000013ee: MSTORE
000013ef: PUSH1 0x64
000013f1: ADD
000013f2: PUSH2 0x0329
000013f5: JUMP
000013f6: JUMPDEST
000013f7: PUSH1 0x40
000013f9: DUP1
000013fa: MLOAD
000013fb: PUSH1 0x00
000013fd: DUP2
000013fe: MSTORE
000013ff: PUSH1 0x20
00001401: DUP2
00001402: ADD
00001403: DUP6
00001404: SWAP1
00001405: MSTORE
00001406: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000141b: DUP7
0000141c: AND
0000141d: SWAP2
0000141e: PUSH32 0xb24b09fd2e8e4d8904c3c26f3e935824e032891520ffda419dec9f086b0e1eea
0000143f: SWAP2
00001440: ADD
00001441: PUSH1 0x40
00001443: MLOAD
00001444: DUP1
00001445: SWAP2
00001446: SUB
00001447: SWAP1
00001448: LOG2
00001449: POP
0000144a: POP
0000144b: POP
0000144c: POP
0000144d: PUSH2 0x0abf
00001450: PUSH1 0x01
00001452: PUSH1 0x06
00001454: SSTORE
00001455: JUMP
00001456: JUMPDEST
00001457: PUSH2 0x145e
0000145a: PUSH2 0x23f0
0000145d: JUMP
0000145e: JUMPDEST
0000145f: PUSH1 0x07
00001461: SLOAD
00001462: PUSH1 0xff
00001464: AND
00001465: ISZERO
00001466: PUSH2 0x14b1
00001469: JUMPI
0000146a: PUSH1 0x40
0000146c: MLOAD
0000146d: PUSH3 0x461bcd
00001471: PUSH1 0xe5
00001473: SHL
00001474: DUP2
00001475: MSTORE
00001476: PUSH1 0x20
00001478: PUSH1 0x04
0000147a: DUP3
0000147b: ADD
0000147c: MSTORE
0000147d: PUSH1 0x19
0000147f: PUSH1 0x24
00001481: DUP3
00001482: ADD
00001483: MSTORE
00001484: PUSH32 0x466169724d696e743a20616c7265616479207374617274656400000000000000
000014a5: PUSH1 0x44
000014a7: DUP3
000014a8: ADD
000014a9: MSTORE
000014aa: PUSH1 0x64
000014ac: ADD
000014ad: PUSH2 0x0329
000014b0: JUMP
000014b1: JUMPDEST
000014b2: ADDRESS
000014b3: PUSH1 0x00
000014b5: SWAP1
000014b6: DUP2
000014b7: MSTORE
000014b8: PUSH1 0x20
000014ba: DUP2
000014bb: SWAP1
000014bc: MSTORE
000014bd: PUSH1 0x40
000014bf: DUP2
000014c0: KECCAK256
000014c1: SLOAD
000014c2: GT
000014c3: PUSH2 0x150e
000014c6: JUMPI
000014c7: PUSH1 0x40
000014c9: MLOAD
000014ca: PUSH3 0x461bcd
000014ce: PUSH1 0xe5
000014d0: SHL
000014d1: DUP2
000014d2: MSTORE
000014d3: PUSH1 0x20
000014d5: PUSH1 0x04
000014d7: DUP3
000014d8: ADD
000014d9: MSTORE
000014da: PUSH1 0x14
000014dc: PUSH1 0x24
000014de: DUP3
000014df: ADD
000014e0: MSTORE
000014e1: PUSH32 0x466169724d696e743a206e6f2062616c616e6365000000000000000000000000
00001502: PUSH1 0x44
00001504: DUP3
00001505: ADD
00001506: MSTORE
00001507: PUSH1 0x64
00001509: ADD
0000150a: PUSH2 0x0329
0000150d: JUMP
0000150e: JUMPDEST
0000150f: PUSH32 0x000000000000000000000000c36442b4a4522e871399cd717abdd847ab11fe88
00001530: PUSH1 0x00
00001532: PUSH32 0x000000000000000000000000000000000000000000000001158e460913d00000
00001553: PUSH2 0x155e
00001556: JUMPI
00001557: PUSH1 0x0a
00001559: SLOAD
0000155a: PUSH2 0x15b1
0000155d: JUMP
0000155e: JUMPDEST
0000155f: PUSH1 0x0a
00001561: SLOAD
00001562: PUSH32 0x000000000000000000000000000000000000000000000001158e460913d00000
00001583: LT
00001584: PUSH2 0x158f
00001587: JUMPI
00001588: PUSH1 0x0a
0000158a: SLOAD
0000158b: PUSH2 0x15b1
0000158e: JUMP
0000158f: JUMPDEST
00001590: PUSH32 0x000000000000000000000000000000000000000000000001158e460913d00000
000015b1: JUMPDEST
000015b2: SWAP1
000015b3: POP
000015b4: PUSH2 0x1600
000015b7: ADDRESS
000015b8: PUSH32 0x000000000000000000000000c36442b4a4522e871399cd717abdd847ab11fe88
000015d9: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000015fa: PUSH1 0x00
000015fc: PUSH2 0x24e3
000015ff: JUMP
00001600: JUMPDEST
00001601: PUSH1 0x00
00001603: DUP1
00001604: PUSH1 0x00
00001606: DUP1
00001607: PUSH2 0x1610
0000160a: DUP6
0000160b: DUP8
0000160c: PUSH2 0x262c
0000160f: JUMP
00001610: JUMPDEST
00001611: POP
00001612: PUSH1 0x40
00001614: DUP1
00001615: MLOAD
00001616: PUSH2 0x0160
00001619: DUP2
0000161a: ADD
0000161b: DUP3
0000161c: MSTORE
0000161d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001632: DUP1
00001633: DUP8
00001634: AND
00001635: DUP1
00001636: DUP4
00001637: MSTORE
00001638: DUP2
00001639: DUP8
0000163a: AND
0000163b: PUSH1 0x20
0000163d: DUP5
0000163e: ADD
0000163f: MSTORE
00001640: PUSH1 0x0d
00001642: SLOAD
00001643: PUSH3 0xffffff
00001647: AND
00001648: SWAP4
00001649: DUP4
0000164a: ADD
0000164b: SWAP4
0000164c: SWAP1
0000164d: SWAP4
0000164e: MSTORE
0000164f: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffff2764c
00001670: PUSH1 0x60
00001672: DUP4
00001673: ADD
00001674: MSTORE
00001675: PUSH3 0x0d89b4
00001679: PUSH1 0x80
0000167b: DUP4
0000167c: ADD
0000167d: MSTORE
0000167e: PUSH1 0xa0
00001680: DUP3
00001681: ADD
00001682: DUP6
00001683: SWAP1
00001684: MSTORE
00001685: PUSH1 0xc0
00001687: DUP3
00001688: ADD
00001689: DUP5
0000168a: SWAP1
0000168b: MSTORE
0000168c: SWAP6
0000168d: SWAP10
0000168e: POP
0000168f: SWAP4
00001690: SWAP8
00001691: POP
00001692: SWAP2
00001693: SWAP6
00001694: POP
00001695: SWAP4
00001696: POP
00001697: PUSH1 0x00
00001699: SWAP3
0000169a: PUSH1 0xe0
0000169c: DUP4
0000169d: ADD
0000169e: SWAP2
0000169f: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
000016c0: SWAP1
000016c1: SWAP2
000016c2: AND
000016c3: EQ
000016c4: PUSH2 0x16ce
000016c7: JUMPI
000016c8: PUSH1 0x00
000016ca: PUSH2 0x16e7
000016cd: JUMP
000016ce: JUMPDEST
000016cf: PUSH2 0x2710
000016d2: PUSH2 0x16dd
000016d5: DUP7
000016d6: PUSH2 0x2648
000016d9: PUSH2 0x2ecf
000016dc: JUMP
000016dd: JUMPDEST
000016de: PUSH2 0x16e7
000016e1: SWAP2
000016e2: SWAP1
000016e3: PUSH2 0x2e52
000016e6: JUMP
000016e7: JUMPDEST
000016e8: DUP2
000016e9: MSTORE
000016ea: PUSH1 0x20
000016ec: ADD
000016ed: DUP6
000016ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001703: AND
00001704: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00001725: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000173a: AND
0000173b: EQ
0000173c: PUSH2 0x1746
0000173f: JUMPI
00001740: PUSH1 0x00
00001742: PUSH2 0x175f
00001745: JUMP
00001746: JUMPDEST
00001747: PUSH2 0x2710
0000174a: PUSH2 0x1755
0000174d: DUP6
0000174e: PUSH2 0x2648
00001751: PUSH2 0x2ecf
00001754: JUMP
00001755: JUMPDEST
00001756: PUSH2 0x175f
00001759: SWAP2
0000175a: SWAP1
0000175b: PUSH2 0x2e52
0000175e: JUMP
0000175f: JUMPDEST
00001760: DUP2
00001761: MSTORE
00001762: PUSH1 0x20
00001764: ADD
00001765: PUSH32 0x00000000000000000000000099090d2d220901de904c6e3d003d7ced4b6ec2a4
00001786: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000179b: AND
0000179c: ISZERO
0000179d: PUSH2 0x17a6
000017a0: JUMPI
000017a1: ADDRESS
000017a2: PUSH2 0x17a9
000017a5: JUMP
000017a6: JUMPDEST
000017a7: PUSH1 0x00
000017a9: JUMPDEST
000017aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017bf: AND
000017c0: DUP2
000017c1: MSTORE
000017c2: PUSH1 0x20
000017c4: ADD
000017c5: PUSH2 0x17d0
000017c8: TIMESTAMP
000017c9: PUSH2 0x0e10
000017cc: PUSH2 0x2ee6
000017cf: JUMP
000017d0: JUMPDEST
000017d1: DUP2
000017d2: MSTORE
000017d3: POP
000017d4: SWAP1
000017d5: POP
000017d6: PUSH1 0x00
000017d8: DUP1
000017d9: PUSH1 0x00
000017db: DUP1
000017dc: DUP11
000017dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017f2: AND
000017f3: PUSH4 0x88316456
000017f8: DUP12
000017f9: DUP8
000017fa: PUSH1 0x40
000017fc: MLOAD
000017fd: DUP4
000017fe: PUSH4 0xffffffff
00001803: AND
00001804: PUSH1 0xe0
00001806: SHL
00001807: DUP2
00001808: MSTORE
00001809: PUSH1 0x04
0000180b: ADD
0000180c: PUSH2 0x1815
0000180f: SWAP2
00001810: SWAP1
00001811: PUSH2 0x2ef9
00001814: JUMP
00001815: JUMPDEST
00001816: PUSH1 0x80
00001818: PUSH1 0x40
0000181a: MLOAD
0000181b: DUP1
0000181c: DUP4
0000181d: SUB
0000181e: DUP2
0000181f: DUP6
00001820: DUP9
00001821: GAS
00001822: CALL
00001823: ISZERO
00001824: DUP1
00001825: ISZERO
00001826: PUSH2 0x1833
00001829: JUMPI
0000182a: RETURNDATASIZE
0000182b: PUSH1 0x00
0000182d: DUP1
0000182e: RETURNDATACOPY
0000182f: RETURNDATASIZE
00001830: PUSH1 0x00
00001832: REVERT
00001833: JUMPDEST
00001834: POP
00001835: POP
00001836: POP
00001837: POP
00001838: POP
00001839: PUSH1 0x40
0000183b: MLOAD
0000183c: RETURNDATASIZE
0000183d: PUSH1 0x1f
0000183f: NOT
00001840: PUSH1 0x1f
00001842: DUP3
00001843: ADD
00001844: AND
00001845: DUP3
00001846: ADD
00001847: DUP1
00001848: PUSH1 0x40
0000184a: MSTORE
0000184b: POP
0000184c: DUP2
0000184d: ADD
0000184e: SWAP1
0000184f: PUSH2 0x1858
00001852: SWAP2
00001853: SWAP1
00001854: PUSH2 0x2fe4
00001857: JUMP
00001858: JUMPDEST
00001859: SWAP4
0000185a: POP
0000185b: SWAP4
0000185c: POP
0000185d: SWAP4
0000185e: POP
0000185f: SWAP4
00001860: POP
00001861: DUP11
00001862: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001877: AND
00001878: PUSH4 0x12210e8a
0000187d: PUSH1 0x40
0000187f: MLOAD
00001880: DUP2
00001881: PUSH4 0xffffffff
00001886: AND
00001887: PUSH1 0xe0
00001889: SHL
0000188a: DUP2
0000188b: MSTORE
0000188c: PUSH1 0x04
0000188e: ADD
0000188f: PUSH1 0x00
00001891: PUSH1 0x40
00001893: MLOAD
00001894: DUP1
00001895: DUP4
00001896: SUB
00001897: DUP2
00001898: PUSH1 0x00
0000189a: DUP8
0000189b: DUP1
0000189c: EXTCODESIZE
0000189d: ISZERO
0000189e: DUP1
0000189f: ISZERO
000018a0: PUSH2 0x18a8
000018a3: JUMPI
000018a4: PUSH1 0x00
000018a6: DUP1
000018a7: REVERT
000018a8: JUMPDEST
000018a9: POP
000018aa: GAS
000018ab: CALL
000018ac: ISZERO
000018ad: DUP1
000018ae: ISZERO
000018af: PUSH2 0x18bc
000018b2: JUMPI
000018b3: RETURNDATASIZE
000018b4: PUSH1 0x00
000018b6: DUP1
000018b7: RETURNDATACOPY
000018b8: RETURNDATASIZE
000018b9: PUSH1 0x00
000018bb: REVERT
000018bc: JUMPDEST
000018bd: POP
000018be: POP
000018bf: PUSH1 0x07
000018c1: DUP1
000018c2: SLOAD
000018c3: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
000018e4: AND
000018e5: PUSH1 0x01
000018e7: OR
000018e8: SWAP1
000018e9: SSTORE
000018ea: POP
000018eb: PUSH2 0x1917
000018ee: SWAP1
000018ef: POP
000018f0: PUSH1 0x02
000018f2: PUSH32 0x0000000000000000000000000000000000000000409f9cbc7c4a04c220000000
00001913: PUSH2 0x2e52
00001916: JUMP
00001917: JUMPDEST
00001918: PUSH1 0x40
0000191a: MLOAD
0000191b: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
0000193c: DUP2
0000193d: MSTORE
0000193e: ADDRESS
0000193f: PUSH1 0x04
00001941: DUP3
00001942: ADD
00001943: DUP2
00001944: SWAP1
00001945: MSTORE
00001946: SWAP1
00001947: PUSH4 0x70a08231
0000194c: SWAP1
0000194d: PUSH1 0x24
0000194f: ADD
00001950: PUSH1 0x20
00001952: PUSH1 0x40
00001954: MLOAD
00001955: DUP1
00001956: DUP4
00001957: SUB
00001958: DUP2
00001959: DUP7
0000195a: GAS
0000195b: STATICCALL
0000195c: ISZERO
0000195d: DUP1
0000195e: ISZERO
0000195f: PUSH2 0x196c
00001962: JUMPI
00001963: RETURNDATASIZE
00001964: PUSH1 0x00
00001966: DUP1
00001967: RETURNDATACOPY
00001968: RETURNDATASIZE
00001969: PUSH1 0x00
0000196b: REVERT
0000196c: JUMPDEST
0000196d: POP
0000196e: POP
0000196f: POP
00001970: POP
00001971: PUSH1 0x40
00001973: MLOAD
00001974: RETURNDATASIZE
00001975: PUSH1 0x1f
00001977: NOT
00001978: PUSH1 0x1f
0000197a: DUP3
0000197b: ADD
0000197c: AND
0000197d: DUP3
0000197e: ADD
0000197f: DUP1
00001980: PUSH1 0x40
00001982: MSTORE
00001983: POP
00001984: DUP2
00001985: ADD
00001986: SWAP1
00001987: PUSH2 0x1990
0000198a: SWAP2
0000198b: SWAP1
0000198c: PUSH2 0x3037
0000198f: JUMP
00001990: JUMPDEST
00001991: GT
00001992: ISZERO
00001993: PUSH2 0x19e4
00001996: JUMPI
00001997: PUSH2 0x19e4
0000199a: ADDRESS
0000199b: PUSH2 0x19c5
0000199e: PUSH1 0x02
000019a0: PUSH32 0x0000000000000000000000000000000000000000409f9cbc7c4a04c220000000
000019c1: PUSH2 0x2e52
000019c4: JUMP
000019c5: JUMPDEST
000019c6: ADDRESS
000019c7: PUSH1 0x00
000019c9: SWAP1
000019ca: DUP2
000019cb: MSTORE
000019cc: PUSH1 0x20
000019ce: DUP2
000019cf: SWAP1
000019d0: MSTORE
000019d1: PUSH1 0x40
000019d3: SWAP1
000019d4: KECCAK256
000019d5: SLOAD
000019d6: PUSH2 0x19df
000019d9: SWAP2
000019da: SWAP1
000019db: PUSH2 0x2ebc
000019de: JUMP
000019df: JUMPDEST
000019e0: PUSH2 0x282b
000019e3: JUMP
000019e4: JUMPDEST
000019e5: PUSH1 0x40
000019e7: DUP1
000019e8: MLOAD
000019e9: DUP4
000019ea: DUP2
000019eb: MSTORE
000019ec: PUSH1 0x20
000019ee: DUP2
000019ef: ADD
000019f0: DUP4
000019f1: SWAP1
000019f2: MSTORE
000019f3: PUSH16 0xffffffffffffffffffffffffffffffff
00001a04: DUP6
00001a05: AND
00001a06: DUP2
00001a07: DUP4
00001a08: ADD
00001a09: MSTORE
00001a0a: SWAP1
00001a0b: MLOAD
00001a0c: ADDRESS
00001a0d: SWAP2
00001a0e: PUSH32 0xef1e73540aed31615f5f09b178cff91261e831560c37718c23862e93a3fc3ceb
00001a2f: SWAP2
00001a30: SWAP1
00001a31: DUP2
00001a32: SWAP1
00001a33: SUB
00001a34: PUSH1 0x60
00001a36: ADD
00001a37: SWAP1
00001a38: LOG2
00001a39: PUSH32 0x00000000000000000000000099090d2d220901de904c6e3d003d7ced4b6ec2a4
00001a5a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a6f: AND
00001a70: ISZERO
00001a71: PUSH2 0x1d16
00001a74: JUMPI
00001a75: PUSH1 0x40
00001a77: MLOAD
00001a78: PUSH32 0x095ea7b300000000000000000000000000000000000000000000000000000000
00001a99: DUP2
00001a9a: MSTORE
00001a9b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ab0: PUSH32 0x00000000000000000000000099090d2d220901de904c6e3d003d7ced4b6ec2a4
00001ad1: DUP2
00001ad2: AND
00001ad3: PUSH1 0x04
00001ad5: DUP4
00001ad6: ADD
00001ad7: MSTORE
00001ad8: PUSH1 0x24
00001ada: DUP3
00001adb: ADD
00001adc: DUP7
00001add: SWAP1
00001ade: MSTORE
00001adf: PUSH32 0x000000000000000000000000c36442b4a4522e871399cd717abdd847ab11fe88
00001b00: AND
00001b01: SWAP1
00001b02: PUSH4 0x095ea7b3
00001b07: SWAP1
00001b08: PUSH1 0x44
00001b0a: ADD
00001b0b: PUSH1 0x00
00001b0d: PUSH1 0x40
00001b0f: MLOAD
00001b10: DUP1
00001b11: DUP4
00001b12: SUB
00001b13: DUP2
00001b14: PUSH1 0x00
00001b16: DUP8
00001b17: DUP1
00001b18: EXTCODESIZE
00001b19: ISZERO
00001b1a: DUP1
00001b1b: ISZERO
00001b1c: PUSH2 0x1b24
00001b1f: JUMPI
00001b20: PUSH1 0x00
00001b22: DUP1
00001b23: REVERT
00001b24: JUMPDEST
00001b25: POP
00001b26: GAS
00001b27: CALL
00001b28: ISZERO
00001b29: DUP1
00001b2a: ISZERO
00001b2b: PUSH2 0x1b38
00001b2e: JUMPI
00001b2f: RETURNDATASIZE
00001b30: PUSH1 0x00
00001b32: DUP1
00001b33: RETURNDATACOPY
00001b34: RETURNDATASIZE
00001b35: PUSH1 0x00
00001b37: REVERT
00001b38: JUMPDEST
00001b39: POP
00001b3a: POP
00001b3b: PUSH1 0x40
00001b3d: MLOAD
00001b3e: PUSH32 0xe2ab691d00000000000000000000000000000000000000000000000000000000
00001b5f: DUP2
00001b60: MSTORE
00001b61: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b76: PUSH32 0x000000000000000000000000c36442b4a4522e871399cd717abdd847ab11fe88
00001b97: DUP2
00001b98: AND
00001b99: PUSH1 0x04
00001b9b: DUP4
00001b9c: ADD
00001b9d: MSTORE
00001b9e: PUSH1 0x24
00001ba0: DUP3
00001ba1: ADD
00001ba2: DUP9
00001ba3: SWAP1
00001ba4: MSTORE
00001ba5: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001bc6: PUSH1 0x44
00001bc8: DUP4
00001bc9: ADD
00001bca: MSTORE
00001bcb: PUSH32 0x00000000000000000000000099090d2d220901de904c6e3d003d7ced4b6ec2a4
00001bec: SWAP4
00001bed: POP
00001bee: PUSH1 0x00
00001bf0: SWAP3
00001bf1: POP
00001bf2: DUP4
00001bf3: AND
00001bf4: SWAP1
00001bf5: PUSH4 0xe2ab691d
00001bfa: SWAP1
00001bfb: PUSH1 0x64
00001bfd: ADD
00001bfe: PUSH1 0x20
00001c00: PUSH1 0x40
00001c02: MLOAD
00001c03: DUP1
00001c04: DUP4
00001c05: SUB
00001c06: DUP2
00001c07: PUSH1 0x00
00001c09: DUP8
00001c0a: GAS
00001c0b: CALL
00001c0c: ISZERO
00001c0d: DUP1
00001c0e: ISZERO
00001c0f: PUSH2 0x1c1c
00001c12: JUMPI
00001c13: RETURNDATASIZE
00001c14: PUSH1 0x00
00001c16: DUP1
00001c17: RETURNDATACOPY
00001c18: RETURNDATASIZE
00001c19: PUSH1 0x00
00001c1b: REVERT
00001c1c: JUMPDEST
00001c1d: POP
00001c1e: POP
00001c1f: POP
00001c20: POP
00001c21: PUSH1 0x40
00001c23: MLOAD
00001c24: RETURNDATASIZE
00001c25: PUSH1 0x1f
00001c27: NOT
00001c28: PUSH1 0x1f
00001c2a: DUP3
00001c2b: ADD
00001c2c: AND
00001c2d: DUP3
00001c2e: ADD
00001c2f: DUP1
00001c30: PUSH1 0x40
00001c32: MSTORE
00001c33: POP
00001c34: DUP2
00001c35: ADD
00001c36: SWAP1
00001c37: PUSH2 0x1c40
00001c3a: SWAP2
00001c3b: SWAP1
00001c3c: PUSH2 0x3037
00001c3f: JUMP
00001c40: JUMPDEST
00001c41: PUSH1 0x40
00001c43: MLOAD
00001c44: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000
00001c65: DUP2
00001c66: MSTORE
00001c67: ADDRESS
00001c68: PUSH1 0x04
00001c6a: DUP3
00001c6b: ADD
00001c6c: MSTORE
00001c6d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c82: PUSH32 0x00000000000000000000000005d7883c044c652e56286f9820e34de822e06888
00001ca3: DUP2
00001ca4: AND
00001ca5: PUSH1 0x24
00001ca7: DUP4
00001ca8: ADD
00001ca9: MSTORE
00001caa: PUSH1 0x44
00001cac: DUP3
00001cad: ADD
00001cae: DUP4
00001caf: SWAP1
00001cb0: MSTORE
00001cb1: SWAP2
00001cb2: SWAP3
00001cb3: POP
00001cb4: PUSH32 0x00000000000000000000000099090d2d220901de904c6e3d003d7ced4b6ec2a4
00001cd5: SWAP1
00001cd6: SWAP2
00001cd7: AND
00001cd8: SWAP1
00001cd9: PUSH4 0x23b872dd
00001cde: SWAP1
00001cdf: PUSH1 0x64
00001ce1: ADD
00001ce2: PUSH1 0x00
00001ce4: PUSH1 0x40
00001ce6: MLOAD
00001ce7: DUP1
00001ce8: DUP4
00001ce9: SUB
00001cea: DUP2
00001ceb: PUSH1 0x00
00001ced: DUP8
00001cee: DUP1
00001cef: EXTCODESIZE
00001cf0: ISZERO
00001cf1: DUP1
00001cf2: ISZERO
00001cf3: PUSH2 0x1cfb
00001cf6: JUMPI
00001cf7: PUSH1 0x00
00001cf9: DUP1
00001cfa: REVERT
00001cfb: JUMPDEST
00001cfc: POP
00001cfd: GAS
00001cfe: CALL
00001cff: ISZERO
00001d00: DUP1
00001d01: ISZERO
00001d02: PUSH2 0x1d0f
00001d05: JUMPI
00001d06: RETURNDATASIZE
00001d07: PUSH1 0x00
00001d09: DUP1
00001d0a: RETURNDATACOPY
00001d0b: RETURNDATASIZE
00001d0c: PUSH1 0x00
00001d0e: REVERT
00001d0f: JUMPDEST
00001d10: POP
00001d11: POP
00001d12: POP
00001d13: POP
00001d14: POP
00001d15: POP
00001d16: JUMPDEST
00001d17: PUSH1 0x40
00001d19: MLOAD
00001d1a: PUSH1 0x00
00001d1c: SWAP1
00001d1d: CALLER
00001d1e: SWAP1
00001d1f: PUSH7 0x01c6bf52634000
00001d27: SWAP1
00001d28: DUP4
00001d29: DUP2
00001d2a: DUP2
00001d2b: DUP2
00001d2c: DUP6
00001d2d: DUP8
00001d2e: GAS
00001d2f: CALL
00001d30: SWAP3
00001d31: POP
00001d32: POP
00001d33: POP
00001d34: RETURNDATASIZE
00001d35: DUP1
00001d36: PUSH1 0x00
00001d38: DUP2
00001d39: EQ
00001d3a: PUSH2 0x1d5f
00001d3d: JUMPI
00001d3e: PUSH1 0x40
00001d40: MLOAD
00001d41: SWAP2
00001d42: POP
00001d43: PUSH1 0x1f
00001d45: NOT
00001d46: PUSH1 0x3f
00001d48: RETURNDATASIZE
00001d49: ADD
00001d4a: AND
00001d4b: DUP3
00001d4c: ADD
00001d4d: PUSH1 0x40
00001d4f: MSTORE
00001d50: RETURNDATASIZE
00001d51: DUP3
00001d52: MSTORE
00001d53: RETURNDATASIZE
00001d54: PUSH1 0x00
00001d56: PUSH1 0x20
00001d58: DUP5
00001d59: ADD
00001d5a: RETURNDATACOPY
00001d5b: PUSH2 0x1d64
00001d5e: JUMP
00001d5f: JUMPDEST
00001d60: PUSH1 0x60
00001d62: SWAP2
00001d63: POP
00001d64: JUMPDEST
00001d65: POP
00001d66: POP
00001d67: SWAP1
00001d68: POP
00001d69: DUP1
00001d6a: PUSH2 0x1db5
00001d6d: JUMPI
00001d6e: PUSH1 0x40
00001d70: MLOAD
00001d71: PUSH3 0x461bcd
00001d75: PUSH1 0xe5
00001d77: SHL
00001d78: DUP2
00001d79: MSTORE
00001d7a: PUSH1 0x20
00001d7c: PUSH1 0x04
00001d7e: DUP3
00001d7f: ADD
00001d80: MSTORE
00001d81: PUSH1 0x15
00001d83: PUSH1 0x24
00001d85: DUP3
00001d86: ADD
00001d87: MSTORE
00001d88: PUSH32 0x466169724d696e743a206d696e74206661696c65640000000000000000000000
00001da9: PUSH1 0x44
00001dab: DUP3
00001dac: ADD
00001dad: MSTORE
00001dae: PUSH1 0x64
00001db0: ADD
00001db1: PUSH2 0x0329
00001db4: JUMP
00001db5: JUMPDEST
00001db6: POP
00001db7: POP
00001db8: POP
00001db9: POP
00001dba: POP
00001dbb: POP
00001dbc: POP
00001dbd: POP
00001dbe: POP
00001dbf: POP
00001dc0: POP
00001dc1: POP
00001dc2: PUSH2 0x0abf
00001dc5: PUSH1 0x01
00001dc7: PUSH1 0x06
00001dc9: SSTORE
00001dca: JUMP
00001dcb: JUMPDEST
00001dcc: PUSH2 0x1dd3
00001dcf: PUSH2 0x23f0
00001dd2: JUMP
00001dd3: JUMPDEST
00001dd4: PUSH1 0x07
00001dd6: SLOAD
00001dd7: PUSH1 0xff
00001dd9: AND
00001dda: ISZERO
00001ddb: PUSH2 0x1e26
00001dde: JUMPI
00001ddf: PUSH1 0x40
00001de1: MLOAD
00001de2: PUSH3 0x461bcd
00001de6: PUSH1 0xe5
00001de8: SHL
00001de9: DUP2
00001dea: MSTORE
00001deb: PUSH1 0x20
00001ded: PUSH1 0x04
00001def: DUP3
00001df0: ADD
00001df1: MSTORE
00001df2: PUSH1 0x19
00001df4: PUSH1 0x24
00001df6: DUP3
00001df7: ADD
00001df8: MSTORE
00001df9: PUSH32 0x466169724d696e743a20616c7265616479207374617274656400000000000000
00001e1a: PUSH1 0x44
00001e1c: DUP3
00001e1d: ADD
00001e1e: MSTORE
00001e1f: PUSH1 0x64
00001e21: ADD
00001e22: PUSH2 0x0329
00001e25: JUMP
00001e26: JUMPDEST
00001e27: PUSH6 0x5af3107a4000
00001e2e: CALLVALUE
00001e2f: LT
00001e30: ISZERO
00001e31: PUSH2 0x1e7c
00001e34: JUMPI
00001e35: PUSH1 0x40
00001e37: MLOAD
00001e38: PUSH3 0x461bcd
00001e3c: PUSH1 0xe5
00001e3e: SHL
00001e3f: DUP2
00001e40: MSTORE
00001e41: PUSH1 0x20
00001e43: PUSH1 0x04
00001e45: DUP3
00001e46: ADD
00001e47: MSTORE
00001e48: PUSH1 0x17
00001e4a: PUSH1 0x24
00001e4c: DUP3
00001e4d: ADD
00001e4e: MSTORE
00001e4f: PUSH32 0x466169724d696e743a2076616c756520746f6f206c6f77000000000000000000
00001e70: PUSH1 0x44
00001e72: DUP3
00001e73: ADD
00001e74: MSTORE
00001e75: PUSH1 0x64
00001e77: ADD
00001e78: PUSH2 0x0329
00001e7b: JUMP
00001e7c: JUMPDEST
00001e7d: CALLER
00001e7e: PUSH1 0x00
00001e80: SWAP1
00001e81: DUP2
00001e82: MSTORE
00001e83: PUSH1 0x08
00001e85: PUSH1 0x20
00001e87: MSTORE
00001e88: PUSH1 0x40
00001e8a: DUP2
00001e8b: KECCAK256
00001e8c: DUP1
00001e8d: SLOAD
00001e8e: CALLVALUE
00001e8f: SWAP3
00001e90: SWAP1
00001e91: PUSH2 0x1e9b
00001e94: SWAP1
00001e95: DUP5
00001e96: SWAP1
00001e97: PUSH2 0x2ee6
00001e9a: JUMP
00001e9b: JUMPDEST
00001e9c: SWAP3
00001e9d: POP
00001e9e: POP
00001e9f: DUP2
00001ea0: SWAP1
00001ea1: SSTORE
00001ea2: POP
00001ea3: CALLVALUE
00001ea4: PUSH1 0x0a
00001ea6: PUSH1 0x00
00001ea8: DUP3
00001ea9: DUP3
00001eaa: SLOAD
00001eab: PUSH2 0x1eb4
00001eae: SWAP2
00001eaf: SWAP1
00001eb0: PUSH2 0x2ee6
00001eb3: JUMP
00001eb4: JUMPDEST
00001eb5: SWAP1
00001eb6: SWAP2
00001eb7: SSTORE
00001eb8: POP
00001eb9: POP
00001eba: PUSH1 0x40
00001ebc: DUP1
00001ebd: MLOAD
00001ebe: CALLVALUE
00001ebf: DUP2
00001ec0: MSTORE
00001ec1: PUSH1 0x00
00001ec3: PUSH1 0x20
00001ec5: DUP3
00001ec6: ADD
00001ec7: MSTORE
00001ec8: CALLER
00001ec9: SWAP2
00001eca: PUSH32 0x4c10b3a5590fcdc7a6f3b564c09870bd275facbd00a0bcf68c8b069e32f9508b
00001eeb: SWAP2
00001eec: ADD
00001eed: PUSH1 0x40
00001eef: MLOAD
00001ef0: DUP1
00001ef1: SWAP2
00001ef2: SUB
00001ef3: SWAP1
00001ef4: LOG2
00001ef5: PUSH2 0x0abf
00001ef8: PUSH1 0x01
00001efa: PUSH1 0x06
00001efc: SSTORE
00001efd: JUMP
00001efe: JUMPDEST
00001eff: PUSH1 0x60
00001f01: PUSH1 0x03
00001f03: DUP1
00001f04: SLOAD
00001f05: PUSH2 0x1f0d
00001f08: SWAP1
00001f09: PUSH2 0x3050
00001f0c: JUMP
00001f0d: JUMPDEST
00001f0e: DUP1
00001f0f: PUSH1 0x1f
00001f11: ADD
00001f12: PUSH1 0x20
00001f14: DUP1
00001f15: SWAP2
00001f16: DIV
00001f17: MUL
00001f18: PUSH1 0x20
00001f1a: ADD
00001f1b: PUSH1 0x40
00001f1d: MLOAD
00001f1e: SWAP1
00001f1f: DUP2
00001f20: ADD
00001f21: PUSH1 0x40
00001f23: MSTORE
00001f24: DUP1
00001f25: SWAP3
00001f26: SWAP2
00001f27: SWAP1
00001f28: DUP2
00001f29: DUP2
00001f2a: MSTORE
00001f2b: PUSH1 0x20
00001f2d: ADD
00001f2e: DUP3
00001f2f: DUP1
00001f30: SLOAD
00001f31: PUSH2 0x1f39
00001f34: SWAP1
00001f35: PUSH2 0x3050
00001f38: JUMP
00001f39: JUMPDEST
00001f3a: DUP1
00001f3b: ISZERO
00001f3c: PUSH2 0x1f86
00001f3f: JUMPI
00001f40: DUP1
00001f41: PUSH1 0x1f
00001f43: LT
00001f44: PUSH2 0x1f5b
00001f47: JUMPI
00001f48: PUSH2 0x0100
00001f4b: DUP1
00001f4c: DUP4
00001f4d: SLOAD
00001f4e: DIV
00001f4f: MUL
00001f50: DUP4
00001f51: MSTORE
00001f52: SWAP2
00001f53: PUSH1 0x20
00001f55: ADD
00001f56: SWAP2
00001f57: PUSH2 0x1f86
00001f5a: JUMP
00001f5b: JUMPDEST
00001f5c: DUP3
00001f5d: ADD
00001f5e: SWAP2
00001f5f: SWAP1
00001f60: PUSH1 0x00
00001f62: MSTORE
00001f63: PUSH1 0x20
00001f65: PUSH1 0x00
00001f67: KECCAK256
00001f68: SWAP1
00001f69: JUMPDEST
00001f6a: DUP2
00001f6b: SLOAD
00001f6c: DUP2
00001f6d: MSTORE
00001f6e: SWAP1
00001f6f: PUSH1 0x01
00001f71: ADD
00001f72: SWAP1
00001f73: PUSH1 0x20
00001f75: ADD
00001f76: DUP1
00001f77: DUP4
00001f78: GT
00001f79: PUSH2 0x1f69
00001f7c: JUMPI
00001f7d: DUP3
00001f7e: SWAP1
00001f7f: SUB
00001f80: PUSH1 0x1f
00001f82: AND
00001f83: DUP3
00001f84: ADD
00001f85: SWAP2
00001f86: JUMPDEST
00001f87: POP
00001f88: POP
00001f89: POP
00001f8a: POP
00001f8b: POP
00001f8c: SWAP1
00001f8d: POP
00001f8e: SWAP1
00001f8f: JUMP
00001f90: JUMPDEST
00001f91: PUSH1 0x00
00001f93: CALLER
00001f94: PUSH2 0x1f9e
00001f97: DUP2
00001f98: DUP6
00001f99: DUP6
00001f9a: PUSH2 0x288b
00001f9d: JUMP
00001f9e: JUMPDEST
00001f9f: PUSH1 0x01
00001fa1: SWAP2
00001fa2: POP
00001fa3: POP
00001fa4: JUMPDEST
00001fa5: SWAP3
00001fa6: SWAP2
00001fa7: POP
00001fa8: POP
00001fa9: JUMP
00001faa: JUMPDEST
00001fab: PUSH1 0x00
00001fad: CALLER
00001fae: PUSH2 0x1fb8
00001fb1: DUP6
00001fb2: DUP3
00001fb3: DUP6
00001fb4: PUSH2 0x2898
00001fb7: JUMP
00001fb8: JUMPDEST
00001fb9: PUSH2 0x1fc3
00001fbc: DUP6
00001fbd: DUP6
00001fbe: DUP6
00001fbf: PUSH2 0x2433
00001fc2: JUMP
00001fc3: JUMPDEST
00001fc4: POP
00001fc5: PUSH1 0x01
00001fc7: SWAP5
00001fc8: SWAP4
00001fc9: POP
00001fca: POP
00001fcb: POP
00001fcc: POP
00001fcd: JUMP
00001fce: JUMPDEST
00001fcf: PUSH1 0x00
00001fd1: PUSH1 0x0a
00001fd3: SLOAD
00001fd4: PUSH1 0x00
00001fd6: SUB
00001fd7: PUSH2 0x1fe2
00001fda: JUMPI
00001fdb: POP
00001fdc: PUSH1 0x00
00001fde: SWAP2
00001fdf: SWAP1
00001fe0: POP
00001fe1: JUMP
00001fe2: JUMPDEST
00001fe3: PUSH1 0x0a
00001fe5: SLOAD
00001fe6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ffb: DUP4
00001ffc: AND
00001ffd: PUSH1 0x00
00001fff: SWAP1
00002000: DUP2
00002001: MSTORE
00002002: PUSH1 0x08
00002004: PUSH1 0x20
00002006: MSTORE
00002007: PUSH1 0x40
00002009: DUP2
0000200a: KECCAK256
0000200b: SLOAD
0000200c: SWAP1
0000200d: SWAP2
0000200e: SWAP1
0000200f: PUSH1 0x02
00002011: SWAP1
00002012: PUSH2 0x203b
00002015: SWAP1
00002016: PUSH32 0x0000000000000000000000000000000000000000409f9cbc7c4a04c220000000
00002037: PUSH2 0x2ecf
0000203a: JUMP
0000203b: JUMPDEST
0000203c: PUSH2 0x2045
0000203f: SWAP2
00002040: SWAP1
00002041: PUSH2 0x2e52
00002044: JUMP
00002045: JUMPDEST
00002046: PUSH2 0x204f
00002049: SWAP2
0000204a: SWAP1
0000204b: PUSH2 0x2e52
0000204e: JUMP
0000204f: JUMPDEST
00002050: SWAP4
00002051: SWAP3
00002052: POP
00002053: POP
00002054: POP
00002055: JUMP
00002056: JUMPDEST
00002057: PUSH1 0x00
00002059: PUSH32 0x00000000000000000000000082270e5b2827b9c6730037b729072d073ac8f367
0000207a: SWAP1
0000207b: POP
0000207c: DUP1
0000207d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002092: AND
00002093: PUSH4 0x8da5cb5b
00002098: PUSH1 0x40
0000209a: MLOAD
0000209b: DUP2
0000209c: PUSH4 0xffffffff
000020a1: AND
000020a2: PUSH1 0xe0
000020a4: SHL
000020a5: DUP2
000020a6: MSTORE
000020a7: PUSH1 0x04
000020a9: ADD
000020aa: PUSH1 0x20
000020ac: PUSH1 0x40
000020ae: MLOAD
000020af: DUP1
000020b0: DUP4
000020b1: SUB
000020b2: DUP2
000020b3: DUP7
000020b4: GAS
000020b5: STATICCALL
000020b6: ISZERO
000020b7: DUP1
000020b8: ISZERO
000020b9: PUSH2 0x20c6
000020bc: JUMPI
000020bd: RETURNDATASIZE
000020be: PUSH1 0x00
000020c0: DUP1
000020c1: RETURNDATACOPY
000020c2: RETURNDATASIZE
000020c3: PUSH1 0x00
000020c5: REVERT
000020c6: JUMPDEST
000020c7: POP
000020c8: POP
000020c9: POP
000020ca: POP
000020cb: PUSH1 0x40
000020cd: MLOAD
000020ce: RETURNDATASIZE
000020cf: PUSH1 0x1f
000020d1: NOT
000020d2: PUSH1 0x1f
000020d4: DUP3
000020d5: ADD
000020d6: AND
000020d7: DUP3
000020d8: ADD
000020d9: DUP1
000020da: PUSH1 0x40
000020dc: MSTORE
000020dd: POP
000020de: DUP2
000020df: ADD
000020e0: SWAP1
000020e1: PUSH2 0x20ea
000020e4: SWAP2
000020e5: SWAP1
000020e6: PUSH2 0x30a3
000020e9: JUMP
000020ea: JUMPDEST
000020eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002100: AND
00002101: CALLER
00002102: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002117: AND
00002118: EQ
00002119: PUSH2 0x2164
0000211c: JUMPI
0000211d: PUSH1 0x40
0000211f: MLOAD
00002120: PUSH3 0x461bcd
00002124: PUSH1 0xe5
00002126: SHL
00002127: DUP2
00002128: MSTORE
00002129: PUSH1 0x20
0000212b: PUSH1 0x04
0000212d: DUP3
0000212e: ADD
0000212f: MSTORE
00002130: PUSH1 0x14
00002132: PUSH1 0x24
00002134: DUP3
00002135: ADD
00002136: MSTORE
00002137: PUSH32 0x466169724d696e743a206f6e6c79206f776e6572000000000000000000000000
00002158: PUSH1 0x44
0000215a: DUP3
0000215b: ADD
0000215c: MSTORE
0000215d: PUSH1 0x64
0000215f: ADD
00002160: PUSH2 0x0329
00002163: JUMP
00002164: JUMPDEST
00002165: POP
00002166: PUSH1 0x0d
00002168: DUP1
00002169: SLOAD
0000216a: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffff000000
0000218b: AND
0000218c: PUSH3 0xffffff
00002190: SWAP3
00002191: SWAP1
00002192: SWAP3
00002193: AND
00002194: SWAP2
00002195: SWAP1
00002196: SWAP2
00002197: OR
00002198: SWAP1
00002199: SSTORE
0000219a: JUMP
0000219b: JUMPDEST
0000219c: PUSH1 0x60
0000219e: PUSH1 0x04
000021a0: DUP1
000021a1: SLOAD
000021a2: PUSH2 0x1f0d
000021a5: SWAP1
000021a6: PUSH2 0x3050
000021a9: JUMP
000021aa: JUMPDEST
000021ab: PUSH1 0x00
000021ad: CALLER
000021ae: PUSH2 0x1f9e
000021b1: DUP2
000021b2: DUP6
000021b3: DUP6
000021b4: PUSH2 0x2433
000021b7: JUMP
000021b8: JUMPDEST
000021b9: PUSH1 0x00
000021bb: PUSH32 0x000000000000000000000000000000000000000000000001158e460913d00000
000021dc: PUSH1 0x0a
000021de: SLOAD
000021df: GT
000021e0: ISZERO
000021e1: PUSH2 0x2244
000021e4: JUMPI
000021e5: PUSH1 0x0a
000021e7: SLOAD
000021e8: PUSH1 0x00
000021ea: SWAP1
000021eb: PUSH2 0x2214
000021ee: PUSH32 0x000000000000000000000000000000000000000000000001158e460913d00000
0000220f: DUP3
00002210: PUSH2 0x2ebc
00002213: JUMP
00002214: JUMPDEST
00002215: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000222a: DUP6
0000222b: AND
0000222c: PUSH1 0x00
0000222e: SWAP1
0000222f: DUP2
00002230: MSTORE
00002231: PUSH1 0x08
00002233: PUSH1 0x20
00002235: MSTORE
00002236: PUSH1 0x40
00002238: SWAP1
00002239: KECCAK256
0000223a: SLOAD
0000223b: PUSH2 0x2045
0000223e: SWAP2
0000223f: SWAP1
00002240: PUSH2 0x2ecf
00002243: JUMP
00002244: JUMPDEST
00002245: POP
00002246: PUSH1 0x00
00002248: SWAP2
00002249: SWAP1
0000224a: POP
0000224b: JUMP
0000224c: JUMPDEST
0000224d: PUSH1 0x05
0000224f: DUP1
00002250: SLOAD
00002251: PUSH2 0x2259
00002254: SWAP1
00002255: PUSH2 0x3050
00002258: JUMP
00002259: JUMPDEST
0000225a: DUP1
0000225b: PUSH1 0x1f
0000225d: ADD
0000225e: PUSH1 0x20
00002260: DUP1
00002261: SWAP2
00002262: DIV
00002263: MUL
00002264: PUSH1 0x20
00002266: ADD
00002267: PUSH1 0x40
00002269: MLOAD
0000226a: SWAP1
0000226b: DUP2
0000226c: ADD
0000226d: PUSH1 0x40
0000226f: MSTORE
00002270: DUP1
00002271: SWAP3
00002272: SWAP2
00002273: SWAP1
00002274: DUP2
00002275: DUP2
00002276: MSTORE
00002277: PUSH1 0x20
00002279: ADD
0000227a: DUP3
0000227b: DUP1
0000227c: SLOAD
0000227d: PUSH2 0x2285
00002280: SWAP1
00002281: PUSH2 0x3050
00002284: JUMP
00002285: JUMPDEST
00002286: DUP1
00002287: ISZERO
00002288: PUSH2 0x22d2
0000228b: JUMPI
0000228c: DUP1
0000228d: PUSH1 0x1f
0000228f: LT
00002290: PUSH2 0x22a7
00002293: JUMPI
00002294: PUSH2 0x0100
00002297: DUP1
00002298: DUP4
00002299: SLOAD
0000229a: DIV
0000229b: MUL
0000229c: DUP4
0000229d: MSTORE
0000229e: SWAP2
0000229f: PUSH1 0x20
000022a1: ADD
000022a2: SWAP2
000022a3: PUSH2 0x22d2
000022a6: JUMP
000022a7: JUMPDEST
000022a8: DUP3
000022a9: ADD
000022aa: SWAP2
000022ab: SWAP1
000022ac: PUSH1 0x00
000022ae: MSTORE
000022af: PUSH1 0x20
000022b1: PUSH1 0x00
000022b3: KECCAK256
000022b4: SWAP1
000022b5: JUMPDEST
000022b6: DUP2
000022b7: SLOAD
000022b8: DUP2
000022b9: MSTORE
000022ba: SWAP1
000022bb: PUSH1 0x01
000022bd: ADD
000022be: SWAP1
000022bf: PUSH1 0x20
000022c1: ADD
000022c2: DUP1
000022c3: DUP4
000022c4: GT
000022c5: PUSH2 0x22b5
000022c8: JUMPI
000022c9: DUP3
000022ca: SWAP1
000022cb: SUB
000022cc: PUSH1 0x1f
000022ce: AND
000022cf: DUP3
000022d0: ADD
000022d1: SWAP2
000022d2: JUMPDEST
000022d3: POP
000022d4: POP
000022d5: POP
000022d6: POP
000022d7: POP
000022d8: DUP2
000022d9: JUMP
000022da: JUMPDEST
000022db: PUSH1 0x00
000022dd: PUSH32 0x00000000000000000000000082270e5b2827b9c6730037b729072d073ac8f367
000022fe: SWAP1
000022ff: POP
00002300: DUP1
00002301: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002316: AND
00002317: PUSH4 0x8da5cb5b
0000231c: PUSH1 0x40
0000231e: MLOAD
0000231f: DUP2
00002320: PUSH4 0xffffffff
00002325: AND
00002326: PUSH1 0xe0
00002328: SHL
00002329: DUP2
0000232a: MSTORE
0000232b: PUSH1 0x04
0000232d: ADD
0000232e: PUSH1 0x20
00002330: PUSH1 0x40
00002332: MLOAD
00002333: DUP1
00002334: DUP4
00002335: SUB
00002336: DUP2
00002337: DUP7
00002338: GAS
00002339: STATICCALL
0000233a: ISZERO
0000233b: DUP1
0000233c: ISZERO
0000233d: PUSH2 0x234a
00002340: JUMPI
00002341: RETURNDATASIZE
00002342: PUSH1 0x00
00002344: DUP1
00002345: RETURNDATACOPY
00002346: RETURNDATASIZE
00002347: PUSH1 0x00
00002349: REVERT
0000234a: JUMPDEST
0000234b: POP
0000234c: POP
0000234d: POP
0000234e: POP
0000234f: PUSH1 0x40
00002351: MLOAD
00002352: RETURNDATASIZE
00002353: PUSH1 0x1f
00002355: NOT
00002356: PUSH1 0x1f
00002358: DUP3
00002359: ADD
0000235a: AND
0000235b: DUP3
0000235c: ADD
0000235d: DUP1
0000235e: PUSH1 0x40
00002360: MSTORE
00002361: POP
00002362: DUP2
00002363: ADD
00002364: SWAP1
00002365: PUSH2 0x236e
00002368: SWAP2
00002369: SWAP1
0000236a: PUSH2 0x30a3
0000236d: JUMP
0000236e: JUMPDEST
0000236f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002384: AND
00002385: CALLER
00002386: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000239b: AND
0000239c: EQ
0000239d: PUSH2 0x23e8
000023a0: JUMPI
000023a1: PUSH1 0x40
000023a3: MLOAD
000023a4: PUSH3 0x461bcd
000023a8: PUSH1 0xe5
000023aa: SHL
000023ab: DUP2
000023ac: MSTORE
000023ad: PUSH1 0x20
000023af: PUSH1 0x04
000023b1: DUP3
000023b2: ADD
000023b3: MSTORE
000023b4: PUSH1 0x14
000023b6: PUSH1 0x24
000023b8: DUP3
000023b9: ADD
000023ba: MSTORE
000023bb: PUSH32 0x466169724d696e743a206f6e6c79206f776e6572000000000000000000000000
000023dc: PUSH1 0x44
000023de: DUP3
000023df: ADD
000023e0: MSTORE
000023e1: PUSH1 0x64
000023e3: ADD
000023e4: PUSH2 0x0329
000023e7: JUMP
000023e8: JUMPDEST
000023e9: POP
000023ea: PUSH1 0x00
000023ec: PUSH1 0x0b
000023ee: SSTORE
000023ef: JUMP
000023f0: JUMPDEST
000023f1: PUSH1 0x02
000023f3: PUSH1 0x06
000023f5: SLOAD
000023f6: SUB
000023f7: PUSH2 0x242c
000023fa: JUMPI
000023fb: PUSH1 0x40
000023fd: MLOAD
000023fe: PUSH32 0x3ee5aeb500000000000000000000000000000000000000000000000000000000
0000241f: DUP2
00002420: MSTORE
00002421: PUSH1 0x04
00002423: ADD
00002424: PUSH1 0x40
00002426: MLOAD
00002427: DUP1
00002428: SWAP2
00002429: SUB
0000242a: SWAP1
0000242b: REVERT
0000242c: JUMPDEST
0000242d: PUSH1 0x02
0000242f: PUSH1 0x06
00002431: SSTORE
00002432: JUMP
00002433: JUMPDEST
00002434: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002449: DUP4
0000244a: AND
0000244b: PUSH2 0x2483
0000244e: JUMPI
0000244f: PUSH1 0x40
00002451: MLOAD
00002452: PUSH32 0x96c6fd1e00000000000000000000000000000000000000000000000000000000
00002473: DUP2
00002474: MSTORE
00002475: PUSH1 0x00
00002477: PUSH1 0x04
00002479: DUP3
0000247a: ADD
0000247b: MSTORE
0000247c: PUSH1 0x24
0000247e: ADD
0000247f: PUSH2 0x0329
00002482: JUMP
00002483: JUMPDEST
00002484: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002499: DUP3
0000249a: AND
0000249b: PUSH2 0x24d3
0000249e: JUMPI
0000249f: PUSH1 0x40
000024a1: MLOAD
000024a2: PUSH32 0xec442f0500000000000000000000000000000000000000000000000000000000
000024c3: DUP2
000024c4: MSTORE
000024c5: PUSH1 0x00
000024c7: PUSH1 0x04
000024c9: DUP3
000024ca: ADD
000024cb: MSTORE
000024cc: PUSH1 0x24
000024ce: ADD
000024cf: PUSH2 0x0329
000024d2: JUMP
000024d3: JUMPDEST
000024d4: PUSH2 0x24de
000024d7: DUP4
000024d8: DUP4
000024d9: DUP4
000024da: PUSH2 0x2961
000024dd: JUMP
000024de: JUMPDEST
000024df: POP
000024e0: POP
000024e1: POP
000024e2: JUMP
000024e3: JUMPDEST
000024e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024f9: DUP5
000024fa: AND
000024fb: PUSH2 0x2533
000024fe: JUMPI
000024ff: PUSH1 0x40
00002501: MLOAD
00002502: PUSH32 0xe602df0500000000000000000000000000000000000000000000000000000000
00002523: DUP2
00002524: MSTORE
00002525: PUSH1 0x00
00002527: PUSH1 0x04
00002529: DUP3
0000252a: ADD
0000252b: MSTORE
0000252c: PUSH1 0x24
0000252e: ADD
0000252f: PUSH2 0x0329
00002532: JUMP
00002533: JUMPDEST
00002534: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002549: DUP4
0000254a: AND
0000254b: PUSH2 0x2583
0000254e: JUMPI
0000254f: PUSH1 0x40
00002551: MLOAD
00002552: PUSH32 0x94280d6200000000000000000000000000000000000000000000000000000000
00002573: DUP2
00002574: MSTORE
00002575: PUSH1 0x00
00002577: PUSH1 0x04
00002579: DUP3
0000257a: ADD
0000257b: MSTORE
0000257c: PUSH1 0x24
0000257e: ADD
0000257f: PUSH2 0x0329
00002582: JUMP
00002583: JUMPDEST
00002584: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002599: DUP1
0000259a: DUP6
0000259b: AND
0000259c: PUSH1 0x00
0000259e: SWAP1
0000259f: DUP2
000025a0: MSTORE
000025a1: PUSH1 0x01
000025a3: PUSH1 0x20
000025a5: SWAP1
000025a6: DUP2
000025a7: MSTORE
000025a8: PUSH1 0x40
000025aa: DUP1
000025ab: DUP4
000025ac: KECCAK256
000025ad: SWAP4
000025ae: DUP8
000025af: AND
000025b0: DUP4
000025b1: MSTORE
000025b2: SWAP3
000025b3: SWAP1
000025b4: MSTORE
000025b5: KECCAK256
000025b6: DUP3
000025b7: SWAP1
000025b8: SSTORE
000025b9: DUP1
000025ba: ISZERO
000025bb: PUSH2 0x2626
000025be: JUMPI
000025bf: DUP3
000025c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025d5: AND
000025d6: DUP5
000025d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025ec: AND
000025ed: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
0000260e: DUP5
0000260f: PUSH1 0x40
00002611: MLOAD
00002612: PUSH2 0x261d
00002615: SWAP2
00002616: DUP2
00002617: MSTORE
00002618: PUSH1 0x20
0000261a: ADD
0000261b: SWAP1
0000261c: JUMP
0000261d: JUMPDEST
0000261e: PUSH1 0x40
00002620: MLOAD
00002621: DUP1
00002622: SWAP2
00002623: SUB
00002624: SWAP1
00002625: LOG3
00002626: JUMPDEST
00002627: POP
00002628: POP
00002629: POP
0000262a: POP
0000262b: JUMP
0000262c: JUMPDEST
0000262d: PUSH1 0x00
0000262f: DUP1
00002630: DUP1
00002631: DUP1
00002632: DUP1
00002633: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002648: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00002669: AND
0000266a: ADDRESS
0000266b: LT
0000266c: PUSH2 0x2696
0000266f: JUMPI
00002670: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00002691: ADDRESS
00002692: PUSH2 0x26b9
00002695: JUMP
00002696: JUMPDEST
00002697: ADDRESS
00002698: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
000026b9: JUMPDEST
000026ba: SWAP1
000026bb: SWAP6
000026bc: POP
000026bd: SWAP4
000026be: POP
000026bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026d4: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
000026f5: AND
000026f6: ADDRESS
000026f7: LT
000026f8: PUSH2 0x272c
000026fb: JUMPI
000026fc: DUP7
000026fd: PUSH2 0x2727
00002700: PUSH1 0x02
00002702: PUSH32 0x0000000000000000000000000000000000000000409f9cbc7c4a04c220000000
00002723: PUSH2 0x2e52
00002726: JUMP
00002727: JUMPDEST
00002728: PUSH2 0x2759
0000272b: JUMP
0000272c: JUMPDEST
0000272d: PUSH2 0x2757
00002730: PUSH1 0x02
00002732: PUSH32 0x0000000000000000000000000000000000000000409f9cbc7c4a04c220000000
00002753: PUSH2 0x2e52
00002756: JUMP
00002757: JUMPDEST
00002758: DUP8
00002759: JUMPDEST
0000275a: SWAP1
0000275b: SWAP4
0000275c: POP
0000275d: SWAP2
0000275e: POP
0000275f: PUSH1 0x00
00002761: PUSH2 0x276a
00002764: DUP5
00002765: DUP5
00002766: PUSH2 0x29e2
00002769: JUMP
0000276a: JUMPDEST
0000276b: PUSH1 0x0d
0000276d: SLOAD
0000276e: PUSH1 0x40
00002770: MLOAD
00002771: PUSH32 0x13ead56200000000000000000000000000000000000000000000000000000000
00002792: DUP2
00002793: MSTORE
00002794: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027a9: DUP10
000027aa: DUP2
000027ab: AND
000027ac: PUSH1 0x04
000027ae: DUP4
000027af: ADD
000027b0: MSTORE
000027b1: DUP9
000027b2: DUP2
000027b3: AND
000027b4: PUSH1 0x24
000027b6: DUP4
000027b7: ADD
000027b8: MSTORE
000027b9: PUSH3 0xffffff
000027bd: SWAP1
000027be: SWAP3
000027bf: AND
000027c0: PUSH1 0x44
000027c2: DUP3
000027c3: ADD
000027c4: MSTORE
000027c5: DUP2
000027c6: DUP4
000027c7: AND
000027c8: PUSH1 0x64
000027ca: DUP3
000027cb: ADD
000027cc: MSTORE
000027cd: SWAP2
000027ce: SWAP3
000027cf: POP
000027d0: DUP9
000027d1: AND
000027d2: SWAP1
000027d3: PUSH4 0x13ead562
000027d8: SWAP1
000027d9: PUSH1 0x84
000027db: ADD
000027dc: PUSH1 0x20
000027de: PUSH1 0x40
000027e0: MLOAD
000027e1: DUP1
000027e2: DUP4
000027e3: SUB
000027e4: DUP2
000027e5: PUSH1 0x00
000027e7: DUP8
000027e8: GAS
000027e9: CALL
000027ea: ISZERO
000027eb: DUP1
000027ec: ISZERO
000027ed: PUSH2 0x27fa
000027f0: JUMPI
000027f1: RETURNDATASIZE
000027f2: PUSH1 0x00
000027f4: DUP1
000027f5: RETURNDATACOPY
000027f6: RETURNDATASIZE
000027f7: PUSH1 0x00
000027f9: REVERT
000027fa: JUMPDEST
000027fb: POP
000027fc: POP
000027fd: POP
000027fe: POP
000027ff: PUSH1 0x40
00002801: MLOAD
00002802: RETURNDATASIZE
00002803: PUSH1 0x1f
00002805: NOT
00002806: PUSH1 0x1f
00002808: DUP3
00002809: ADD
0000280a: AND
0000280b: DUP3
0000280c: ADD
0000280d: DUP1
0000280e: PUSH1 0x40
00002810: MSTORE
00002811: POP
00002812: DUP2
00002813: ADD
00002814: SWAP1
00002815: PUSH2 0x281e
00002818: SWAP2
00002819: SWAP1
0000281a: PUSH2 0x30a3
0000281d: JUMP
0000281e: JUMPDEST
0000281f: SWAP2
00002820: POP
00002821: POP
00002822: SWAP3
00002823: SWAP6
00002824: POP
00002825: SWAP3
00002826: SWAP6
00002827: SWAP1
00002828: SWAP4
00002829: POP
0000282a: JUMP
0000282b: JUMPDEST
0000282c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002841: DUP3
00002842: AND
00002843: PUSH2 0x287b
00002846: JUMPI
00002847: PUSH1 0x40
00002849: MLOAD
0000284a: PUSH32 0x96c6fd1e00000000000000000000000000000000000000000000000000000000
0000286b: DUP2
0000286c: MSTORE
0000286d: PUSH1 0x00
0000286f: PUSH1 0x04
00002871: DUP3
00002872: ADD
00002873: MSTORE
00002874: PUSH1 0x24
00002876: ADD
00002877: PUSH2 0x0329
0000287a: JUMP
0000287b: JUMPDEST
0000287c: PUSH2 0x2887
0000287f: DUP3
00002880: PUSH1 0x00
00002882: DUP4
00002883: PUSH2 0x2961
00002886: JUMP
00002887: JUMPDEST
00002888: POP
00002889: POP
0000288a: JUMP
0000288b: JUMPDEST
0000288c: PUSH2 0x24de
0000288f: DUP4
00002890: DUP4
00002891: DUP4
00002892: PUSH1 0x01
00002894: PUSH2 0x24e3
00002897: JUMP
00002898: JUMPDEST
00002899: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028ae: DUP4
000028af: DUP2
000028b0: AND
000028b1: PUSH1 0x00
000028b3: SWAP1
000028b4: DUP2
000028b5: MSTORE
000028b6: PUSH1 0x01
000028b8: PUSH1 0x20
000028ba: SWAP1
000028bb: DUP2
000028bc: MSTORE
000028bd: PUSH1 0x40
000028bf: DUP1
000028c0: DUP4
000028c1: KECCAK256
000028c2: SWAP4
000028c3: DUP7
000028c4: AND
000028c5: DUP4
000028c6: MSTORE
000028c7: SWAP3
000028c8: SWAP1
000028c9: MSTORE
000028ca: KECCAK256
000028cb: SLOAD
000028cc: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000028ed: DUP2
000028ee: EQ
000028ef: PUSH2 0x2626
000028f2: JUMPI
000028f3: DUP2
000028f4: DUP2
000028f5: LT
000028f6: ISZERO
000028f7: PUSH2 0x2952
000028fa: JUMPI
000028fb: PUSH1 0x40
000028fd: MLOAD
000028fe: PUSH32 0xfb8f41b200000000000000000000000000000000000000000000000000000000
0000291f: DUP2
00002920: MSTORE
00002921: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002936: DUP5
00002937: AND
00002938: PUSH1 0x04
0000293a: DUP3
0000293b: ADD
0000293c: MSTORE
0000293d: PUSH1 0x24
0000293f: DUP2
00002940: ADD
00002941: DUP3
00002942: SWAP1
00002943: MSTORE
00002944: PUSH1 0x44
00002946: DUP2
00002947: ADD
00002948: DUP4
00002949: SWAP1
0000294a: MSTORE
0000294b: PUSH1 0x64
0000294d: ADD
0000294e: PUSH2 0x0329
00002951: JUMP
00002952: JUMPDEST
00002953: PUSH2 0x2626
00002956: DUP5
00002957: DUP5
00002958: DUP5
00002959: DUP5
0000295a: SUB
0000295b: PUSH1 0x00
0000295d: PUSH2 0x24e3
00002960: JUMP
00002961: JUMPDEST
00002962: PUSH1 0x00
00002964: DUP2
00002965: GT
00002966: PUSH2 0x29d7
00002969: JUMPI
0000296a: PUSH1 0x40
0000296c: MLOAD
0000296d: PUSH3 0x461bcd
00002971: PUSH1 0xe5
00002973: SHL
00002974: DUP2
00002975: MSTORE
00002976: PUSH1 0x20
00002978: PUSH1 0x04
0000297a: DUP3
0000297b: ADD
0000297c: MSTORE
0000297d: PUSH1 0x25
0000297f: PUSH1 0x24
00002981: DUP3
00002982: ADD
00002983: MSTORE
00002984: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164
000029a5: PUSH1 0x44
000029a7: DUP3
000029a8: ADD
000029a9: MSTORE
000029aa: PUSH32 0x6472657373000000000000000000000000000000000000000000000000000000
000029cb: PUSH1 0x64
000029cd: DUP3
000029ce: ADD
000029cf: MSTORE
000029d0: PUSH1 0x84
000029d2: ADD
000029d3: PUSH2 0x0329
000029d6: JUMP
000029d7: JUMPDEST
000029d8: PUSH2 0x24de
000029db: DUP4
000029dc: DUP4
000029dd: DUP4
000029de: PUSH2 0x2a8b
000029e1: JUMP
000029e2: JUMPDEST
000029e3: PUSH1 0x00
000029e5: DUP1
000029e6: DUP4
000029e7: GT
000029e8: DUP1
000029e9: ISZERO
000029ea: PUSH2 0x29f3
000029ed: JUMPI
000029ee: POP
000029ef: PUSH1 0x00
000029f1: DUP3
000029f2: GT
000029f3: JUMPDEST
000029f4: PUSH2 0x2a3f
000029f7: JUMPI
000029f8: PUSH1 0x40
000029fa: MLOAD
000029fb: PUSH3 0x461bcd
000029ff: PUSH1 0xe5
00002a01: SHL
00002a02: DUP2
00002a03: MSTORE
00002a04: PUSH1 0x20
00002a06: PUSH1 0x04
00002a08: DUP3
00002a09: ADD
00002a0a: MSTORE
00002a0b: PUSH1 0x1e
00002a0d: PUSH1 0x24
00002a0f: DUP3
00002a10: ADD
00002a11: MSTORE
00002a12: PUSH32 0x416d6f756e7473206d7573742062652067726561746572207468616e20300000
00002a33: PUSH1 0x44
00002a35: DUP3
00002a36: ADD
00002a37: MSTORE
00002a38: PUSH1 0x64
00002a3a: ADD
00002a3b: PUSH2 0x0329
00002a3e: JUMP
00002a3f: JUMPDEST
00002a40: PUSH1 0x00
00002a42: DUP4
00002a43: PUSH2 0x2a54
00002a46: DUP5
00002a47: PUSH8 0x0de0b6b3a7640000
00002a50: PUSH2 0x2ecf
00002a53: JUMP
00002a54: JUMPDEST
00002a55: PUSH2 0x2a5e
00002a58: SWAP2
00002a59: SWAP1
00002a5a: PUSH2 0x2e52
00002a5d: JUMP
00002a5e: JUMPDEST
00002a5f: SWAP1
00002a60: POP
00002a61: PUSH1 0x00
00002a63: PUSH2 0x2a6b
00002a66: DUP3
00002a67: PUSH2 0x2a96
00002a6a: JUMP
00002a6b: JUMPDEST
00002a6c: SWAP1
00002a6d: POP
00002a6e: PUSH1 0x00
00002a70: PUSH2 0x2a81
00002a73: PUSH4 0x3b9aca00
00002a78: PUSH1 0x60
00002a7a: DUP5
00002a7b: SWAP1
00002a7c: SHL
00002a7d: PUSH2 0x2e52
00002a80: JUMP
00002a81: JUMPDEST
00002a82: SWAP7
00002a83: SWAP6
00002a84: POP
00002a85: POP
00002a86: POP
00002a87: POP
00002a88: POP
00002a89: POP
00002a8a: JUMP
00002a8b: JUMPDEST
00002a8c: PUSH2 0x24de
00002a8f: DUP4
00002a90: DUP4
00002a91: DUP4
00002a92: PUSH2 0x2afe
00002a95: JUMP
00002a96: JUMPDEST
00002a97: PUSH1 0x00
00002a99: DUP2
00002a9a: PUSH1 0x00
00002a9c: SUB
00002a9d: PUSH2 0x2aa8
00002aa0: JUMPI
00002aa1: POP
00002aa2: PUSH1 0x00
00002aa4: SWAP2
00002aa5: SWAP1
00002aa6: POP
00002aa7: JUMP
00002aa8: JUMPDEST
00002aa9: DUP2
00002aaa: PUSH1 0x00
00002aac: PUSH2 0x2ab6
00002aaf: PUSH1 0x02
00002ab1: DUP4
00002ab2: PUSH2 0x2e52
00002ab5: JUMP
00002ab6: JUMPDEST
00002ab7: PUSH2 0x2ac1
00002aba: SWAP1
00002abb: PUSH1 0x01
00002abd: PUSH2 0x2ee6
00002ac0: JUMP
00002ac1: JUMPDEST
00002ac2: SWAP1
00002ac3: POP
00002ac4: JUMPDEST
00002ac5: DUP2
00002ac6: DUP2
00002ac7: LT
00002ac8: ISZERO
00002ac9: PUSH2 0x2af7
00002acc: JUMPI
00002acd: SWAP1
00002ace: POP
00002acf: DUP1
00002ad0: PUSH1 0x02
00002ad2: DUP2
00002ad3: PUSH2 0x2adc
00002ad6: DUP2
00002ad7: DUP8
00002ad8: PUSH2 0x2e52
00002adb: JUMP
00002adc: JUMPDEST
00002add: PUSH2 0x2ae6
00002ae0: SWAP2
00002ae1: SWAP1
00002ae2: PUSH2 0x2ee6
00002ae5: JUMP
00002ae6: JUMPDEST
00002ae7: PUSH2 0x2af0
00002aea: SWAP2
00002aeb: SWAP1
00002aec: PUSH2 0x2e52
00002aef: JUMP
00002af0: JUMPDEST
00002af1: SWAP1
00002af2: POP
00002af3: PUSH2 0x2ac4
00002af6: JUMP
00002af7: JUMPDEST
00002af8: POP
00002af9: SWAP3
00002afa: SWAP2
00002afb: POP
00002afc: POP
00002afd: JUMP
00002afe: JUMPDEST
00002aff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b14: DUP4
00002b15: AND
00002b16: PUSH2 0x2b36
00002b19: JUMPI
00002b1a: DUP1
00002b1b: PUSH1 0x02
00002b1d: PUSH1 0x00
00002b1f: DUP3
00002b20: DUP3
00002b21: SLOAD
00002b22: PUSH2 0x2b2b
00002b25: SWAP2
00002b26: SWAP1
00002b27: PUSH2 0x2ee6
00002b2a: JUMP
00002b2b: JUMPDEST
00002b2c: SWAP1
00002b2d: SWAP2
00002b2e: SSTORE
00002b2f: POP
00002b30: PUSH2 0x2be8
00002b33: SWAP1
00002b34: POP
00002b35: JUMP
00002b36: JUMPDEST
00002b37: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b4c: DUP4
00002b4d: AND
00002b4e: PUSH1 0x00
00002b50: SWAP1
00002b51: DUP2
00002b52: MSTORE
00002b53: PUSH1 0x20
00002b55: DUP2
00002b56: SWAP1
00002b57: MSTORE
00002b58: PUSH1 0x40
00002b5a: SWAP1
00002b5b: KECCAK256
00002b5c: SLOAD
00002b5d: DUP2
00002b5e: DUP2
00002b5f: LT
00002b60: ISZERO
00002b61: PUSH2 0x2bbc
00002b64: JUMPI
00002b65: PUSH1 0x40
00002b67: MLOAD
00002b68: PUSH32 0xe450d38c00000000000000000000000000000000000000000000000000000000
00002b89: DUP2
00002b8a: MSTORE
00002b8b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ba0: DUP6
00002ba1: AND
00002ba2: PUSH1 0x04
00002ba4: DUP3
00002ba5: ADD
00002ba6: MSTORE
00002ba7: PUSH1 0x24
00002ba9: DUP2
00002baa: ADD
00002bab: DUP3
00002bac: SWAP1
00002bad: MSTORE
00002bae: PUSH1 0x44
00002bb0: DUP2
00002bb1: ADD
00002bb2: DUP4
00002bb3: SWAP1
00002bb4: MSTORE
00002bb5: PUSH1 0x64
00002bb7: ADD
00002bb8: PUSH2 0x0329
00002bbb: JUMP
00002bbc: JUMPDEST
00002bbd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002bd2: DUP5
00002bd3: AND
00002bd4: PUSH1 0x00
00002bd6: SWAP1
00002bd7: DUP2
00002bd8: MSTORE
00002bd9: PUSH1 0x20
00002bdb: DUP2
00002bdc: SWAP1
00002bdd: MSTORE
00002bde: PUSH1 0x40
00002be0: SWAP1
00002be1: KECCAK256
00002be2: SWAP1
00002be3: DUP3
00002be4: SWAP1
00002be5: SUB
00002be6: SWAP1
00002be7: SSTORE
00002be8: JUMPDEST
00002be9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002bfe: DUP3
00002bff: AND
00002c00: PUSH2 0x2c11
00002c03: JUMPI
00002c04: PUSH1 0x02
00002c06: DUP1
00002c07: SLOAD
00002c08: DUP3
00002c09: SWAP1
00002c0a: SUB
00002c0b: SWAP1
00002c0c: SSTORE
00002c0d: PUSH2 0x2c3d
00002c10: JUMP
00002c11: JUMPDEST
00002c12: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c27: DUP3
00002c28: AND
00002c29: PUSH1 0x00
00002c2b: SWAP1
00002c2c: DUP2
00002c2d: MSTORE
00002c2e: PUSH1 0x20
00002c30: DUP2
00002c31: SWAP1
00002c32: MSTORE
00002c33: PUSH1 0x40
00002c35: SWAP1
00002c36: KECCAK256
00002c37: DUP1
00002c38: SLOAD
00002c39: DUP3
00002c3a: ADD
00002c3b: SWAP1
00002c3c: SSTORE
00002c3d: JUMPDEST
00002c3e: DUP2
00002c3f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c54: AND
00002c55: DUP4
00002c56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c6b: AND
00002c6c: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002c8d: DUP4
00002c8e: PUSH1 0x40
00002c90: MLOAD
00002c91: PUSH2 0x2c9c
00002c94: SWAP2
00002c95: DUP2
00002c96: MSTORE
00002c97: PUSH1 0x20
00002c99: ADD
00002c9a: SWAP1
00002c9b: JUMP
00002c9c: JUMPDEST
00002c9d: PUSH1 0x40
00002c9f: MLOAD
00002ca0: DUP1
00002ca1: SWAP2
00002ca2: SUB
00002ca3: SWAP1
00002ca4: LOG3
00002ca5: POP
00002ca6: POP
00002ca7: POP
00002ca8: JUMP
00002ca9: JUMPDEST
00002caa: PUSH1 0x00
00002cac: PUSH1 0x20
00002cae: DUP1
00002caf: DUP4
00002cb0: MSTORE
00002cb1: DUP4
00002cb2: MLOAD
00002cb3: DUP1
00002cb4: PUSH1 0x20
00002cb6: DUP6
00002cb7: ADD
00002cb8: MSTORE
00002cb9: PUSH1 0x00
00002cbb: JUMPDEST
00002cbc: DUP2
00002cbd: DUP2
00002cbe: LT
00002cbf: ISZERO
00002cc0: PUSH2 0x2cd7
00002cc3: JUMPI
00002cc4: DUP6
00002cc5: DUP2
00002cc6: ADD
00002cc7: DUP4
00002cc8: ADD
00002cc9: MLOAD
00002cca: DUP6
00002ccb: DUP3
00002ccc: ADD
00002ccd: PUSH1 0x40
00002ccf: ADD
00002cd0: MSTORE
00002cd1: DUP3
00002cd2: ADD
00002cd3: PUSH2 0x2cbb
00002cd6: JUMP
00002cd7: JUMPDEST
00002cd8: POP
00002cd9: PUSH1 0x00
00002cdb: PUSH1 0x40
00002cdd: DUP3
00002cde: DUP7
00002cdf: ADD
00002ce0: ADD
00002ce1: MSTORE
00002ce2: PUSH1 0x40
00002ce4: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002d05: PUSH1 0x1f
00002d07: DUP4
00002d08: ADD
00002d09: AND
00002d0a: DUP6
00002d0b: ADD
00002d0c: ADD
00002d0d: SWAP3
00002d0e: POP
00002d0f: POP
00002d10: POP
00002d11: SWAP3
00002d12: SWAP2
00002d13: POP
00002d14: POP
00002d15: JUMP
00002d16: JUMPDEST
00002d17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d2c: DUP2
00002d2d: AND
00002d2e: DUP2
00002d2f: EQ
00002d30: PUSH2 0x2d38
00002d33: JUMPI
00002d34: PUSH1 0x00
00002d36: DUP1
00002d37: REVERT
00002d38: JUMPDEST
00002d39: POP
00002d3a: JUMP
00002d3b: JUMPDEST
00002d3c: PUSH1 0x00
00002d3e: DUP1
00002d3f: PUSH1 0x40
00002d41: DUP4
00002d42: DUP6
00002d43: SUB
00002d44: SLT
00002d45: ISZERO
00002d46: PUSH2 0x2d4e
00002d49: JUMPI
00002d4a: PUSH1 0x00
00002d4c: DUP1
00002d4d: REVERT
00002d4e: JUMPDEST
00002d4f: DUP3
00002d50: CALLDATALOAD
00002d51: PUSH2 0x2d59
00002d54: DUP2
00002d55: PUSH2 0x2d16
00002d58: JUMP
00002d59: JUMPDEST
00002d5a: SWAP5
00002d5b: PUSH1 0x20
00002d5d: SWAP4
00002d5e: SWAP1
00002d5f: SWAP4
00002d60: ADD
00002d61: CALLDATALOAD
00002d62: SWAP4
00002d63: POP
00002d64: POP
00002d65: POP
00002d66: JUMP
00002d67: JUMPDEST
00002d68: PUSH1 0x00
00002d6a: PUSH1 0x20
00002d6c: DUP3
00002d6d: DUP5
00002d6e: SUB
00002d6f: SLT
00002d70: ISZERO
00002d71: PUSH2 0x2d79
00002d74: JUMPI
00002d75: PUSH1 0x00
00002d77: DUP1
00002d78: REVERT
00002d79: JUMPDEST
00002d7a: DUP2
00002d7b: CALLDATALOAD
00002d7c: PUSH2 0x204f
00002d7f: DUP2
00002d80: PUSH2 0x2d16
00002d83: JUMP
00002d84: JUMPDEST
00002d85: PUSH1 0x00
00002d87: DUP1
00002d88: PUSH1 0x00
00002d8a: PUSH1 0x60
00002d8c: DUP5
00002d8d: DUP7
00002d8e: SUB
00002d8f: SLT
00002d90: ISZERO
00002d91: PUSH2 0x2d99
00002d94: JUMPI
00002d95: PUSH1 0x00
00002d97: DUP1
00002d98: REVERT
00002d99: JUMPDEST
00002d9a: DUP4
00002d9b: CALLDATALOAD
00002d9c: PUSH2 0x2da4
00002d9f: DUP2
00002da0: PUSH2 0x2d16
00002da3: JUMP
00002da4: JUMPDEST
00002da5: SWAP3
00002da6: POP
00002da7: PUSH1 0x20
00002da9: DUP5
00002daa: ADD
00002dab: CALLDATALOAD
00002dac: PUSH2 0x2db4
00002daf: DUP2
00002db0: PUSH2 0x2d16
00002db3: JUMP
00002db4: JUMPDEST
00002db5: SWAP3
00002db6: SWAP6
00002db7: SWAP3
00002db8: SWAP5
00002db9: POP
00002dba: POP
00002dbb: POP
00002dbc: PUSH1 0x40
00002dbe: SWAP2
00002dbf: SWAP1
00002dc0: SWAP2
00002dc1: ADD
00002dc2: CALLDATALOAD
00002dc3: SWAP1
00002dc4: JUMP
00002dc5: JUMPDEST
00002dc6: PUSH1 0x00
00002dc8: PUSH1 0x20
00002dca: DUP3
00002dcb: DUP5
00002dcc: SUB
00002dcd: SLT
00002dce: ISZERO
00002dcf: PUSH2 0x2dd7
00002dd2: JUMPI
00002dd3: PUSH1 0x00
00002dd5: DUP1
00002dd6: REVERT
00002dd7: JUMPDEST
00002dd8: DUP2
00002dd9: CALLDATALOAD
00002dda: PUSH3 0xffffff
00002dde: DUP2
00002ddf: AND
00002de0: DUP2
00002de1: EQ
00002de2: PUSH2 0x204f
00002de5: JUMPI
00002de6: PUSH1 0x00
00002de8: DUP1
00002de9: REVERT
00002dea: JUMPDEST
00002deb: PUSH1 0x00
00002ded: DUP1
00002dee: PUSH1 0x40
00002df0: DUP4
00002df1: DUP6
00002df2: SUB
00002df3: SLT
00002df4: ISZERO
00002df5: PUSH2 0x2dfd
00002df8: JUMPI
00002df9: PUSH1 0x00
00002dfb: DUP1
00002dfc: REVERT
00002dfd: JUMPDEST
00002dfe: DUP3
00002dff: CALLDATALOAD
00002e00: PUSH2 0x2e08
00002e03: DUP2
00002e04: PUSH2 0x2d16
00002e07: JUMP
00002e08: JUMPDEST
00002e09: SWAP2
00002e0a: POP
00002e0b: PUSH1 0x20
00002e0d: DUP4
00002e0e: ADD
00002e0f: CALLDATALOAD
00002e10: PUSH2 0x2e18
00002e13: DUP2
00002e14: PUSH2 0x2d16
00002e17: JUMP
00002e18: JUMPDEST
00002e19: DUP1
00002e1a: SWAP2
00002e1b: POP
00002e1c: POP
00002e1d: SWAP3
00002e1e: POP
00002e1f: SWAP3
00002e20: SWAP1
00002e21: POP
00002e22: JUMP
00002e23: JUMPDEST
00002e24: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002e45: PUSH1 0x00
00002e47: MSTORE
00002e48: PUSH1 0x11
00002e4a: PUSH1 0x04
00002e4c: MSTORE
00002e4d: PUSH1 0x24
00002e4f: PUSH1 0x00
00002e51: REVERT
00002e52: JUMPDEST
00002e53: PUSH1 0x00
00002e55: DUP3
00002e56: PUSH2 0x2e88
00002e59: JUMPI
00002e5a: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002e7b: PUSH1 0x00
00002e7d: MSTORE
00002e7e: PUSH1 0x12
00002e80: PUSH1 0x04
00002e82: MSTORE
00002e83: PUSH1 0x24
00002e85: PUSH1 0x00
00002e87: REVERT
00002e88: JUMPDEST
00002e89: POP
00002e8a: DIV
00002e8b: SWAP1
00002e8c: JUMP
00002e8d: JUMPDEST
00002e8e: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002eaf: PUSH1 0x00
00002eb1: MSTORE
00002eb2: PUSH1 0x01
00002eb4: PUSH1 0x04
00002eb6: MSTORE
00002eb7: PUSH1 0x24
00002eb9: PUSH1 0x00
00002ebb: REVERT
00002ebc: JUMPDEST
00002ebd: DUP2
00002ebe: DUP2
00002ebf: SUB
00002ec0: DUP2
00002ec1: DUP2
00002ec2: GT
00002ec3: ISZERO
00002ec4: PUSH2 0x1fa4
00002ec7: JUMPI
00002ec8: PUSH2 0x1fa4
00002ecb: PUSH2 0x2e23
00002ece: JUMP
00002ecf: JUMPDEST
00002ed0: DUP1
00002ed1: DUP3
00002ed2: MUL
00002ed3: DUP2
00002ed4: ISZERO
00002ed5: DUP3
00002ed6: DUP3
00002ed7: DIV
00002ed8: DUP5
00002ed9: EQ
00002eda: OR
00002edb: PUSH2 0x1fa4
00002ede: JUMPI
00002edf: PUSH2 0x1fa4
00002ee2: PUSH2 0x2e23
00002ee5: JUMP
00002ee6: JUMPDEST
00002ee7: DUP1
00002ee8: DUP3
00002ee9: ADD
00002eea: DUP1
00002eeb: DUP3
00002eec: GT
00002eed: ISZERO
00002eee: PUSH2 0x1fa4
00002ef1: JUMPI
00002ef2: PUSH2 0x1fa4
00002ef5: PUSH2 0x2e23
00002ef8: JUMP
00002ef9: JUMPDEST
00002efa: DUP2
00002efb: MLOAD
00002efc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f11: AND
00002f12: DUP2
00002f13: MSTORE
00002f14: PUSH2 0x0160
00002f17: DUP2
00002f18: ADD
00002f19: PUSH1 0x20
00002f1b: DUP4
00002f1c: ADD
00002f1d: MLOAD
00002f1e: PUSH2 0x2f3f
00002f21: PUSH1 0x20
00002f23: DUP5
00002f24: ADD
00002f25: DUP3
00002f26: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f3b: AND
00002f3c: SWAP1
00002f3d: MSTORE
00002f3e: JUMP
00002f3f: JUMPDEST
00002f40: POP
00002f41: PUSH1 0x40
00002f43: DUP4
00002f44: ADD
00002f45: MLOAD
00002f46: PUSH2 0x2f56
00002f49: PUSH1 0x40
00002f4b: DUP5
00002f4c: ADD
00002f4d: DUP3
00002f4e: PUSH3 0xffffff
00002f52: AND
00002f53: SWAP1
00002f54: MSTORE
00002f55: JUMP
00002f56: JUMPDEST
00002f57: POP
00002f58: PUSH1 0x60
00002f5a: DUP4
00002f5b: ADD
00002f5c: MLOAD
00002f5d: PUSH2 0x2f6b
00002f60: PUSH1 0x60
00002f62: DUP5
00002f63: ADD
00002f64: DUP3
00002f65: PUSH1 0x02
00002f67: SIGNEXTEND
00002f68: SWAP1
00002f69: MSTORE
00002f6a: JUMP
00002f6b: JUMPDEST
00002f6c: POP
00002f6d: PUSH1 0x80
00002f6f: DUP4
00002f70: ADD
00002f71: MLOAD
00002f72: PUSH2 0x2f80
00002f75: PUSH1 0x80
00002f77: DUP5
00002f78: ADD
00002f79: DUP3
00002f7a: PUSH1 0x02
00002f7c: SIGNEXTEND
00002f7d: SWAP1
00002f7e: MSTORE
00002f7f: JUMP
00002f80: JUMPDEST
00002f81: POP
00002f82: PUSH1 0xa0
00002f84: DUP4
00002f85: ADD
00002f86: MLOAD
00002f87: PUSH1 0xa0
00002f89: DUP4
00002f8a: ADD
00002f8b: MSTORE
00002f8c: PUSH1 0xc0
00002f8e: DUP4
00002f8f: ADD
00002f90: MLOAD
00002f91: PUSH1 0xc0
00002f93: DUP4
00002f94: ADD
00002f95: MSTORE
00002f96: PUSH1 0xe0
00002f98: DUP4
00002f99: ADD
00002f9a: MLOAD
00002f9b: PUSH1 0xe0
00002f9d: DUP4
00002f9e: ADD
00002f9f: MSTORE
00002fa0: PUSH2 0x0100
00002fa3: DUP1
00002fa4: DUP5
00002fa5: ADD
00002fa6: MLOAD
00002fa7: DUP2
00002fa8: DUP5
00002fa9: ADD
00002faa: MSTORE
00002fab: POP
00002fac: PUSH2 0x0120
00002faf: DUP1
00002fb0: DUP5
00002fb1: ADD
00002fb2: MLOAD
00002fb3: PUSH2 0x2fd3
00002fb6: DUP3
00002fb7: DUP6
00002fb8: ADD
00002fb9: DUP3
00002fba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002fcf: AND
00002fd0: SWAP1
00002fd1: MSTORE
00002fd2: JUMP
00002fd3: JUMPDEST
00002fd4: POP
00002fd5: POP
00002fd6: PUSH2 0x0140
00002fd9: SWAP3
00002fda: DUP4
00002fdb: ADD
00002fdc: MLOAD
00002fdd: SWAP2
00002fde: SWAP1
00002fdf: SWAP3
00002fe0: ADD
00002fe1: MSTORE
00002fe2: SWAP1
00002fe3: JUMP
00002fe4: JUMPDEST
00002fe5: PUSH1 0x00
00002fe7: DUP1
00002fe8: PUSH1 0x00
00002fea: DUP1
00002feb: PUSH1 0x80
00002fed: DUP6
00002fee: DUP8
00002fef: SUB
00002ff0: SLT
00002ff1: ISZERO
00002ff2: PUSH2 0x2ffa
00002ff5: JUMPI
00002ff6: PUSH1 0x00
00002ff8: DUP1
00002ff9: REVERT
00002ffa: JUMPDEST
00002ffb: DUP5
00002ffc: MLOAD
00002ffd: SWAP4
00002ffe: POP
00002fff: PUSH1 0x20
00003001: DUP6
00003002: ADD
00003003: MLOAD
00003004: PUSH16 0xffffffffffffffffffffffffffffffff
00003015: DUP2
00003016: AND
00003017: DUP2
00003018: EQ
00003019: PUSH2 0x3021
0000301c: JUMPI
0000301d: PUSH1 0x00
0000301f: DUP1
00003020: REVERT
00003021: JUMPDEST
00003022: PUSH1 0x40
00003024: DUP7
00003025: ADD
00003026: MLOAD
00003027: PUSH1 0x60
00003029: SWAP1
0000302a: SWAP7
0000302b: ADD
0000302c: MLOAD
0000302d: SWAP5
0000302e: SWAP8
0000302f: SWAP1
00003030: SWAP7
00003031: POP
00003032: SWAP3
00003033: POP
00003034: POP
00003035: POP
00003036: JUMP
00003037: JUMPDEST
00003038: PUSH1 0x00
0000303a: PUSH1 0x20
0000303c: DUP3
0000303d: DUP5
0000303e: SUB
0000303f: SLT
00003040: ISZERO
00003041: PUSH2 0x3049
00003044: JUMPI
00003045: PUSH1 0x00
00003047: DUP1
00003048: REVERT
00003049: JUMPDEST
0000304a: POP
0000304b: MLOAD
0000304c: SWAP2
0000304d: SWAP1
0000304e: POP
0000304f: JUMP
00003050: JUMPDEST
00003051: PUSH1 0x01
00003053: DUP2
00003054: DUP2
00003055: SHR
00003056: SWAP1
00003057: DUP3
00003058: AND
00003059: DUP1
0000305a: PUSH2 0x3064
0000305d: JUMPI
0000305e: PUSH1 0x7f
00003060: DUP3
00003061: AND
00003062: SWAP2
00003063: POP
00003064: JUMPDEST
00003065: PUSH1 0x20
00003067: DUP3
00003068: LT
00003069: DUP2
0000306a: SUB
0000306b: PUSH2 0x309d
0000306e: JUMPI
0000306f: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00003090: PUSH1 0x00
00003092: MSTORE
00003093: PUSH1 0x22
00003095: PUSH1 0x04
00003097: MSTORE
00003098: PUSH1 0x24
0000309a: PUSH1 0x00
0000309c: REVERT
0000309d: JUMPDEST
0000309e: POP
0000309f: SWAP2
000030a0: SWAP1
000030a1: POP
000030a2: JUMP
000030a3: JUMPDEST
000030a4: PUSH1 0x00
000030a6: PUSH1 0x20
000030a8: DUP3
000030a9: DUP5
000030aa: SUB
000030ab: SLT
000030ac: ISZERO
000030ad: PUSH2 0x30b5
000030b0: JUMPI
000030b1: PUSH1 0x00
000030b3: DUP1
000030b4: REVERT
000030b5: JUMPDEST
000030b6: DUP2
000030b7: MLOAD
000030b8: PUSH2 0x204f
000030bb: DUP2
000030bc: PUSH2 0x2d16
000030bf: JUMP
000030c0: INVALID
000030c1: LOG2
000030c2: PUSH5 0x6970667358
000030c8: UNKNOWN(0x22)
000030c9: SLT
000030ca: KECCAK256
000030cb: DUP9
000030cc: DUP1
000030cd: CALLCODE
000030ce: UNKNOWN(0xEC)
000030cf: EXTCODESIZE
000030d0: UNKNOWN(0x4C)
000030d1: UNKNOWN(0xE7)
000030d2: UNKNOWN(0xBF)
000030d3: UNKNOWN(0x28)
000030d4: UNKNOWN(0xD4)
000030d5: UNKNOWN(0xA8)
000030d6: DUP13
000030d7: UNKNOWN(0xAB)
000030d8: SELFDESTRUCT
000030d9: UNKNOWN(0xEA)
000030da: RETURN
000030db: UNKNOWN(0xE6)
000030dc: UNKNOWN(0xBE)
000030dd: UNKNOWN(0xDB)
000030de: UNKNOWN(0xEF)
000030df: UNKNOWN(0x24)
000030e0: SELFDESTRUCT
000030e1: UNKNOWN(0xF6)
000030e2: PUSH21

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": "0xf1962486",
            "selector": "0xf1962486",
            "calldata_variants": [
                "0xf1962486",
                "0xf19624860000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf570ee6b",
            "selector": "0xf570ee6b",
            "calldata_variants": [
                "0xf570ee6b",
                "0xf570ee6b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfb5d5d4d",
            "selector": "0xfb5d5d4d",
            "calldata_variants": [
                "0xfb5d5d4d",
                "0xfb5d5d4d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe5047b30",
            "selector": "0xe5047b30",
            "calldata_variants": [
                "0xe5047b30",
                "0xe5047b300000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xec309038",
            "selector": "0xec309038",
            "calldata_variants": [
                "0xec309038",
                "0xec3090380000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd35e7efc",
            "selector": "0xd35e7efc",
            "calldata_variants": [
                "0xd35e7efc",
                "0xd35e7efc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd7b96d4e",
            "selector": "0xd7b96d4e",
            "calldata_variants": [
                "0xd7b96d4e",
                "0xd7b96d4e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "guards_detected": [
        {
            "pc": 699,
            "type": "tx_origin_used"
        },
        {
            "pc": 2846,
            "type": "tx_origin_used"
        },
        {
            "pc": 636,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 697,
            "type": "tx_origin_used"
        },
        {
            "pc": 2845,
            "type": "tx_origin_used"
        },
        {
            "pc": 8449,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 9093,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ]
}
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0x5e4c4a0acb6acbf89fd42793a35cf6bb747919cef34725b244fecc367fb437fa
call_targets: 0xe9abaa9d6f65a08f07aed9cb978001c88b9f4151
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x5e4c4a0acb6acbf89fd42793a35cf6bb747919cef34725b244fecc367fb437fa",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xe9abaa9d6f65a08f07aed9cb978001c88b9f4151"
    ],
    "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": "0xf1962486",
            "selector": "0xf1962486",
            "calldata_variants": [
                "0xf1962486",
                "0xf19624860000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf570ee6b",
            "selector": "0xf570ee6b",
            "calldata_variants": [
                "0xf570ee6b",
                "0xf570ee6b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfb5d5d4d",
            "selector": "0xfb5d5d4d",
            "calldata_variants": [
                "0xfb5d5d4d",
                "0xfb5d5d4d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe5047b30",
            "selector": "0xe5047b30",
            "calldata_variants": [
                "0xe5047b30",
                "0xe5047b300000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xec309038",
            "selector": "0xec309038",
            "calldata_variants": [
                "0xec309038",
                "0xec3090380000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd35e7efc",
            "selector": "0xd35e7efc",
            "calldata_variants": [
                "0xd35e7efc",
                "0xd35e7efc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd7b96d4e",
            "selector": "0xd7b96d4e",
            "calldata_variants": [
                "0xd7b96d4e",
                "0xd7b96d4e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 3297,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4186,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4776,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 12,
    "guards_detected": [
        {
            "pc": 699,
            "type": "tx_origin_used"
        },
        {
            "pc": 2846,
            "type": "tx_origin_used"
        },
        {
            "pc": 636,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 697,
            "type": "tx_origin_used"
        },
        {
            "pc": 2845,
            "type": "tx_origin_used"
        },
        {
            "pc": 8449,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 9093,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "untrusted_call_count": 12
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x5e4c4a0acb6acbf89fd42793a35cf6bb747919cef34725b244fecc367fb437fa
call_targets: 0xe9abaa9d6f65a08f07aed9cb978001c88b9f4151
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x5e4c4a0acb6acbf89fd42793a35cf6bb747919cef34725b244fecc367fb437fa",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xe9abaa9d6f65a08f07aed9cb978001c88b9f4151"
    ],
    "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": "0xf1962486",
            "selector": "0xf1962486",
            "calldata_variants": [
                "0xf1962486",
                "0xf19624860000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf570ee6b",
            "selector": "0xf570ee6b",
            "calldata_variants": [
                "0xf570ee6b",
                "0xf570ee6b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfb5d5d4d",
            "selector": "0xfb5d5d4d",
            "calldata_variants": [
                "0xfb5d5d4d",
                "0xfb5d5d4d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe5047b30",
            "selector": "0xe5047b30",
            "calldata_variants": [
                "0xe5047b30",
                "0xe5047b300000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xec309038",
            "selector": "0xec309038",
            "calldata_variants": [
                "0xec309038",
                "0xec3090380000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd35e7efc",
            "selector": "0xd35e7efc",
            "calldata_variants": [
                "0xd35e7efc",
                "0xd35e7efc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd7b96d4e",
            "selector": "0xd7b96d4e",
            "calldata_variants": [
                "0xd7b96d4e",
                "0xd7b96d4e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 3297,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4186,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4776,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 12,
    "guards_detected": [
        {
            "pc": 699,
            "type": "tx_origin_used"
        },
        {
            "pc": 2846,
            "type": "tx_origin_used"
        },
        {
            "pc": 636,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 697,
            "type": "tx_origin_used"
        },
        {
            "pc": 2845,
            "type": "tx_origin_used"
        },
        {
            "pc": 8449,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 9093,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ]
}
medium other detector SELFDESTRUCT reachable 45 no no
view
trace_id: 0x7c298aa516ea730f258b6c6ba70e8ccbe4924073cfed66c6624ac8ff1e83f694
validation_json 
{
    "sink": "SELFDESTRUCT",
    "errors": 0,
    "status": "unknown",
    "attempts": 32,
    "trace_id": "0x7c298aa516ea730f258b6c6ba70e8ccbe4924073cfed66c6624ac8ff1e83f694",
    "confirmed": false,
    "trace_mode": "structLogs",
    "call_targets": null,
    "matched_probe": null,
    "target_varies": null,
    "classification": "no_sink"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xf1962486",
            "selector": "0xf1962486",
            "calldata_variants": [
                "0xf1962486",
                "0xf19624860000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf570ee6b",
            "selector": "0xf570ee6b",
            "calldata_variants": [
                "0xf570ee6b",
                "0xf570ee6b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfb5d5d4d",
            "selector": "0xfb5d5d4d",
            "calldata_variants": [
                "0xfb5d5d4d",
                "0xfb5d5d4d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe5047b30",
            "selector": "0xe5047b30",
            "calldata_variants": [
                "0xe5047b30",
                "0xe5047b300000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xec309038",
            "selector": "0xec309038",
            "calldata_variants": [
                "0xec309038",
                "0xec3090380000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd35e7efc",
            "selector": "0xd35e7efc",
            "calldata_variants": [
                "0xd35e7efc",
                "0xd35e7efc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd7b96d4e",
            "selector": "0xd7b96d4e",
            "calldata_variants": [
                "0xd7b96d4e",
                "0xd7b96d4e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "guards_detected": [
        {
            "pc": 699,
            "type": "tx_origin_used"
        },
        {
            "pc": 2846,
            "type": "tx_origin_used"
        },
        {
            "pc": 636,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 697,
            "type": "tx_origin_used"
        },
        {
            "pc": 2845,
            "type": "tx_origin_used"
        },
        {
            "pc": 8449,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 9093,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "selfdestruct_count": 2
}