Analysis Run

019b477e-d8d7-71e3-b3b6-3ef13ffaae3a
complete
Chain ID
1
Address
0xf2f364c9262848c378efabcf596402273d932200
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
29143	artifact.fetch	complete	1 / 3	3 months ago
29144	tool.cast_disasm	complete	1 / 3	3 months ago
72816	analysis.bundle	complete	1 / 3	2 weeks ago
72817	capability.graph	complete	1 / 3	2 weeks ago
72818	detector.run	complete	1 / 3	2 weeks ago
72819	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
0
CREATE2
0
CALL-family (heavy)
14
EXT*/BALANCE
3
Total opcodes
5391
Flags
call_family_heavy
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x02bf
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x82552170
00000019: GT
0000001a: PUSH2 0x016e
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 0x0b29
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf570ee6b
00000050: EQ
00000051: PUSH2 0x0b3e
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xfb5d5d4d
0000005b: EQ
0000005c: PUSH2 0x08ef
0000005f: JUMPI
00000060: PUSH1 0x00
00000062: DUP1
00000063: REVERT
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0xe5047b30
0000006b: EQ
0000006c: PUSH2 0x0abf
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xec309038
00000076: EQ
00000077: PUSH2 0x0af3
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 0x0a0b
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0xd7b96d4e
0000009c: EQ
0000009d: PUSH2 0x0a38
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xdd62ed3e
000000a7: EQ
000000a8: PUSH2 0x0a6c
000000ab: JUMPI
000000ac: PUSH1 0x00
000000ae: DUP1
000000af: REVERT
000000b0: JUMPDEST
000000b1: DUP1
000000b2: PUSH4 0xc884ef83
000000b7: EQ
000000b8: PUSH2 0x09c6
000000bb: JUMPI
000000bc: DUP1
000000bd: PUSH4 0xc885044e
000000c2: EQ
000000c3: PUSH2 0x09f6
000000c6: JUMPI
000000c7: PUSH1 0x00
000000c9: DUP1
000000ca: REVERT
000000cb: JUMPDEST
000000cc: DUP1
000000cd: PUSH4 0xa4475ce4
000000d2: GT
000000d3: PUSH2 0x0122
000000d6: JUMPI
000000d7: DUP1
000000d8: PUSH4 0xa92bc58a
000000dd: GT
000000de: PUSH2 0x0107
000000e1: JUMPI
000000e2: DUP1
000000e3: PUSH4 0xa92bc58a
000000e8: EQ
000000e9: PUSH2 0x095d
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0xb5e4fed1
000000f3: EQ
000000f4: PUSH2 0x097d
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0xc45a0155
000000fe: EQ
000000ff: PUSH2 0x0992
00000102: JUMPI
00000103: PUSH1 0x00
00000105: DUP1
00000106: REVERT
00000107: JUMPDEST
00000108: DUP1
00000109: PUSH4 0xa4475ce4
0000010e: EQ
0000010f: PUSH2 0x0909
00000112: JUMPI
00000113: DUP1
00000114: PUSH4 0xa9059cbb
00000119: EQ
0000011a: PUSH2 0x093d
0000011d: JUMPI
0000011e: PUSH1 0x00
00000120: DUP1
00000121: REVERT
00000122: JUMPDEST
00000123: DUP1
00000124: PUSH4 0x95d89b41
00000129: GT
0000012a: PUSH2 0x0153
0000012d: JUMPI
0000012e: DUP1
0000012f: PUSH4 0x95d89b41
00000134: EQ
00000135: PUSH2 0x08da
00000138: JUMPI
00000139: DUP1
0000013a: PUSH4 0x996eba2d
0000013f: EQ
00000140: PUSH2 0x08ef
00000143: JUMPI
00000144: DUP1
00000145: PUSH4 0x9ecf0090
0000014a: EQ
0000014b: PUSH2 0x06db
0000014e: JUMPI
0000014f: PUSH1 0x00
00000151: DUP1
00000152: REVERT
00000153: JUMPDEST
00000154: DUP1
00000155: PUSH4 0x82552170
0000015a: EQ
0000015b: PUSH2 0x088b
0000015e: JUMPI
0000015f: DUP1
00000160: PUSH4 0x8bdb2afa
00000165: EQ
00000166: PUSH2 0x08a6
00000169: JUMPI
0000016a: PUSH1 0x00
0000016c: DUP1
0000016d: REVERT
0000016e: JUMPDEST
0000016f: DUP1
00000170: PUSH4 0x3fc8cef3
00000175: GT
00000176: PUSH2 0x021c
00000179: JUMPI
0000017a: DUP1
0000017b: PUSH4 0x5ce38d99
00000180: GT
00000181: PUSH2 0x01d0
00000184: JUMPI
00000185: DUP1
00000186: PUSH4 0x6ee2627b
0000018b: GT
0000018c: PUSH2 0x01b5
0000018f: JUMPI
00000190: DUP1
00000191: PUSH4 0x6ee2627b
00000196: EQ
00000197: PUSH2 0x07f8
0000019a: JUMPI
0000019b: DUP1
0000019c: PUSH4 0x70a08231
000001a1: EQ
000001a2: PUSH2 0x0814
000001a5: JUMPI
000001a6: DUP1
000001a7: PUSH4 0x7b0fa954
000001ac: EQ
000001ad: PUSH2 0x0857
000001b0: JUMPI
000001b1: PUSH1 0x00
000001b3: DUP1
000001b4: REVERT
000001b5: JUMPDEST
000001b6: DUP1
000001b7: PUSH4 0x5ce38d99
000001bc: EQ
000001bd: PUSH2 0x07a4
000001c0: JUMPI
000001c1: DUP1
000001c2: PUSH4 0x68b63c24
000001c7: EQ
000001c8: PUSH2 0x07d8
000001cb: JUMPI
000001cc: PUSH1 0x00
000001ce: DUP1
000001cf: REVERT
000001d0: JUMPDEST
000001d1: DUP1
000001d2: PUSH4 0x544d46a3
000001d7: GT
000001d8: PUSH2 0x0201
000001db: JUMPI
000001dc: DUP1
000001dd: PUSH4 0x544d46a3
000001e2: EQ
000001e3: PUSH2 0x06f5
000001e6: JUMPI
000001e7: DUP1
000001e8: PUSH4 0x55b812a8
000001ed: EQ
000001ee: PUSH2 0x0729
000001f1: JUMPI
000001f2: DUP1
000001f3: PUSH4 0x59c4f905
000001f8: EQ
000001f9: PUSH2 0x0770
000001fc: JUMPI
000001fd: PUSH1 0x00
000001ff: DUP1
00000200: REVERT
00000201: JUMPDEST
00000202: DUP1
00000203: PUSH4 0x3fc8cef3
00000208: EQ
00000209: PUSH2 0x0682
0000020c: JUMPI
0000020d: DUP1
0000020e: PUSH4 0x475a519f
00000213: EQ
00000214: PUSH2 0x06db
00000217: JUMPI
00000218: PUSH1 0x00
0000021a: DUP1
0000021b: REVERT
0000021c: JUMPDEST
0000021d: DUP1
0000021e: PUSH4 0x1e7269c5
00000223: GT
00000224: PUSH2 0x0273
00000227: JUMPI
00000228: DUP1
00000229: PUSH4 0x23b872dd
0000022e: GT
0000022f: PUSH2 0x0258
00000232: JUMPI
00000233: DUP1
00000234: PUSH4 0x23b872dd
00000239: EQ
0000023a: PUSH2 0x0630
0000023d: JUMPI
0000023e: DUP1
0000023f: PUSH4 0x313ce567
00000244: EQ
00000245: PUSH2 0x0650
00000248: JUMPI
00000249: DUP1
0000024a: PUSH4 0x32c4f2bf
0000024f: EQ
00000250: PUSH2 0x066c
00000253: JUMPI
00000254: PUSH1 0x00
00000256: DUP1
00000257: REVERT
00000258: JUMPDEST
00000259: DUP1
0000025a: PUSH4 0x1e7269c5
0000025f: EQ
00000260: PUSH2 0x05e6
00000263: JUMPI
00000264: DUP1
00000265: PUSH4 0x1f2698ab
0000026a: EQ
0000026b: PUSH2 0x0616
0000026e: JUMPI
0000026f: PUSH1 0x00
00000271: DUP1
00000272: REVERT
00000273: JUMPDEST
00000274: DUP1
00000275: PUSH4 0x095ea7b3
0000027a: GT
0000027b: PUSH2 0x02a4
0000027e: JUMPI
0000027f: DUP1
00000280: PUSH4 0x095ea7b3
00000285: EQ
00000286: PUSH2 0x057d
00000289: JUMPI
0000028a: DUP1
0000028b: PUSH4 0x0a4625af
00000290: EQ
00000291: PUSH2 0x05ad
00000294: JUMPI
00000295: DUP1
00000296: PUSH4 0x18160ddd
0000029b: EQ
0000029c: PUSH2 0x05d1
0000029f: JUMPI
000002a0: PUSH1 0x00
000002a2: DUP1
000002a3: REVERT
000002a4: JUMPDEST
000002a5: DUP1
000002a6: PUSH4 0x06fdde03
000002ab: EQ
000002ac: PUSH2 0x050a
000002af: JUMPI
000002b0: DUP1
000002b1: PUSH4 0x089fe6aa
000002b6: EQ
000002b7: PUSH2 0x0535
000002ba: JUMPI
000002bb: PUSH1 0x00
000002bd: DUP1
000002be: REVERT
000002bf: JUMPDEST
000002c0: CALLDATASIZE
000002c1: PUSH2 0x0505
000002c4: JUMPI
000002c5: PUSH2 0x02cc
000002c8: PUSH2 0x0b72
000002cb: JUMP
000002cc: JUMPDEST
000002cd: CALLER
000002ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002e3: PUSH32 0x000000000000000000000000c36442b4a4522e871399cd717abdd847ab11fe88
00000304: AND
00000305: EQ
00000306: PUSH2 0x03a3
00000309: JUMPI
0000030a: ORIGIN
0000030b: CALLER
0000030c: EQ
0000030d: PUSH2 0x0383
00000310: JUMPI
00000311: PUSH1 0x40
00000313: MLOAD
00000314: PUSH3 0x461bcd
00000318: PUSH1 0xe5
0000031a: SHL
0000031b: DUP2
0000031c: MSTORE
0000031d: PUSH1 0x20
0000031f: PUSH1 0x04
00000321: DUP3
00000322: ADD
00000323: MSTORE
00000324: PUSH1 0x2d
00000326: PUSH1 0x24
00000328: DUP3
00000329: ADD
0000032a: MSTORE
0000032b: PUSH32 0x466169724d696e743a2063616e206e6f742073656e6420636f6d6d616e642066
0000034c: PUSH1 0x44
0000034e: DUP3
0000034f: ADD
00000350: MSTORE
00000351: PUSH32 0x726f6d20636f6e74726163742e00000000000000000000000000000000000000
00000372: PUSH1 0x64
00000374: DUP3
00000375: ADD
00000376: MSTORE
00000377: PUSH1 0x84
00000379: ADD
0000037a: JUMPDEST
0000037b: PUSH1 0x40
0000037d: MLOAD
0000037e: DUP1
0000037f: SWAP2
00000380: SUB
00000381: SWAP1
00000382: REVERT
00000383: JUMPDEST
00000384: PUSH1 0x07
00000386: SLOAD
00000387: PUSH1 0xff
00000389: AND
0000038a: ISZERO
0000038b: PUSH2 0x0428
0000038e: JUMPI
0000038f: PUSH6 0x5af3107a4000
00000396: CALLVALUE
00000397: SUB
00000398: PUSH2 0x03a5
0000039b: JUMPI
0000039c: PUSH2 0x03a3
0000039f: PUSH2 0x0bb6
000003a2: JUMP
000003a3: JUMPDEST
000003a4: STOP
000003a5: JUMPDEST
000003a6: PUSH6 0xb5e620f48000
000003ad: CALLVALUE
000003ae: SUB
000003af: PUSH2 0x03ba
000003b2: JUMPI
000003b3: PUSH2 0x03a3
000003b6: PUSH2 0x0e68
000003b9: JUMP
000003ba: JUMPDEST
000003bb: PUSH1 0x40
000003bd: MLOAD
000003be: PUSH3 0x461bcd
000003c2: PUSH1 0xe5
000003c4: SHL
000003c5: DUP2
000003c6: MSTORE
000003c7: PUSH1 0x20
000003c9: PUSH1 0x04
000003cb: DUP3
000003cc: ADD
000003cd: MSTORE
000003ce: PUSH1 0x2e
000003d0: PUSH1 0x24
000003d2: DUP3
000003d3: ADD
000003d4: MSTORE
000003d5: PUSH32 0x466169724d696e743a20696e76616c696420636f6d6d616e64202d206d696e74
000003f6: PUSH1 0x44
000003f8: DUP3
000003f9: ADD
000003fa: MSTORE
000003fb: PUSH32 0x206f7220636c61696d206f6e6c79000000000000000000000000000000000000
0000041c: PUSH1 0x64
0000041e: DUP3
0000041f: ADD
00000420: MSTORE
00000421: PUSH1 0x84
00000423: ADD
00000424: PUSH2 0x037a
00000427: JUMP
00000428: JUMPDEST
00000429: PUSH32 0x00000000000000000000000000000000000000000000000000000000013d9711
0000044a: NUMBER
0000044b: LT
0000044c: PUSH2 0x04e8
0000044f: JUMPI
00000450: PUSH6 0xb5e620f48000
00000457: CALLVALUE
00000458: SUB
00000459: PUSH2 0x0464
0000045c: JUMPI
0000045d: PUSH2 0x03a3
00000460: PUSH2 0x11a2
00000463: JUMP
00000464: JUMPDEST
00000465: PUSH7 0x01c6bf52634000
0000046d: CALLVALUE
0000046e: SUB
0000046f: PUSH2 0x047a
00000472: JUMPI
00000473: PUSH2 0x03a3
00000476: PUSH2 0x150a
00000479: JUMP
0000047a: JUMPDEST
0000047b: PUSH1 0x40
0000047d: MLOAD
0000047e: PUSH3 0x461bcd
00000482: PUSH1 0xe5
00000484: SHL
00000485: DUP2
00000486: MSTORE
00000487: PUSH1 0x20
00000489: PUSH1 0x04
0000048b: DUP3
0000048c: ADD
0000048d: MSTORE
0000048e: PUSH1 0x30
00000490: PUSH1 0x24
00000492: DUP3
00000493: ADD
00000494: MSTORE
00000495: PUSH32 0x466169724d696e743a20696e76616c696420636f6d6d616e64202d2073746172
000004b6: PUSH1 0x44
000004b8: DUP3
000004b9: ADD
000004ba: MSTORE
000004bb: PUSH32 0x74206f7220726566756e64206f6e6c7900000000000000000000000000000000
000004dc: PUSH1 0x64
000004de: DUP3
000004df: ADD
000004e0: MSTORE
000004e1: PUSH1 0x84
000004e3: ADD
000004e4: PUSH2 0x037a
000004e7: JUMP
000004e8: JUMPDEST
000004e9: PUSH6 0xb5e620f48000
000004f0: CALLVALUE
000004f1: SUB
000004f2: PUSH2 0x04fd
000004f5: JUMPI
000004f6: PUSH2 0x03a3
000004f9: PUSH2 0x11a2
000004fc: JUMP
000004fd: JUMPDEST
000004fe: PUSH2 0x03a3
00000501: PUSH2 0x21f9
00000504: JUMP
00000505: JUMPDEST
00000506: PUSH1 0x00
00000508: DUP1
00000509: REVERT
0000050a: JUMPDEST
0000050b: CALLVALUE
0000050c: DUP1
0000050d: ISZERO
0000050e: PUSH2 0x0516
00000511: JUMPI
00000512: PUSH1 0x00
00000514: DUP1
00000515: REVERT
00000516: JUMPDEST
00000517: POP
00000518: PUSH2 0x051f
0000051b: PUSH2 0x239f
0000051e: JUMP
0000051f: JUMPDEST
00000520: PUSH1 0x40
00000522: MLOAD
00000523: PUSH2 0x052c
00000526: SWAP2
00000527: SWAP1
00000528: PUSH2 0x2d31
0000052b: JUMP
0000052c: JUMPDEST
0000052d: PUSH1 0x40
0000052f: MLOAD
00000530: DUP1
00000531: SWAP2
00000532: SUB
00000533: SWAP1
00000534: RETURN
00000535: JUMPDEST
00000536: CALLVALUE
00000537: DUP1
00000538: ISZERO
00000539: PUSH2 0x0541
0000053c: JUMPI
0000053d: PUSH1 0x00
0000053f: DUP1
00000540: REVERT
00000541: JUMPDEST
00000542: POP
00000543: PUSH2 0x0569
00000546: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000bb8
00000567: DUP2
00000568: JUMP
00000569: JUMPDEST
0000056a: PUSH1 0x40
0000056c: MLOAD
0000056d: PUSH3 0xffffff
00000571: SWAP1
00000572: SWAP2
00000573: AND
00000574: DUP2
00000575: MSTORE
00000576: PUSH1 0x20
00000578: ADD
00000579: PUSH2 0x052c
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 0x059d
0000058e: PUSH2 0x0598
00000591: CALLDATASIZE
00000592: PUSH1 0x04
00000594: PUSH2 0x2dc3
00000597: JUMP
00000598: JUMPDEST
00000599: PUSH2 0x2431
0000059c: JUMP
0000059d: JUMPDEST
0000059e: PUSH1 0x40
000005a0: MLOAD
000005a1: SWAP1
000005a2: ISZERO
000005a3: ISZERO
000005a4: DUP2
000005a5: MSTORE
000005a6: PUSH1 0x20
000005a8: ADD
000005a9: PUSH2 0x052c
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: PUSH2 0x05c3
000005be: PUSH1 0x0a
000005c0: SLOAD
000005c1: DUP2
000005c2: JUMP
000005c3: JUMPDEST
000005c4: PUSH1 0x40
000005c6: MLOAD
000005c7: SWAP1
000005c8: DUP2
000005c9: MSTORE
000005ca: PUSH1 0x20
000005cc: ADD
000005cd: PUSH2 0x052c
000005d0: JUMP
000005d1: JUMPDEST
000005d2: CALLVALUE
000005d3: DUP1
000005d4: ISZERO
000005d5: PUSH2 0x05dd
000005d8: JUMPI
000005d9: PUSH1 0x00
000005db: DUP1
000005dc: REVERT
000005dd: JUMPDEST
000005de: POP
000005df: PUSH1 0x02
000005e1: SLOAD
000005e2: PUSH2 0x05c3
000005e5: JUMP
000005e6: JUMPDEST
000005e7: CALLVALUE
000005e8: DUP1
000005e9: ISZERO
000005ea: PUSH2 0x05f2
000005ed: JUMPI
000005ee: PUSH1 0x00
000005f0: DUP1
000005f1: REVERT
000005f2: JUMPDEST
000005f3: POP
000005f4: PUSH2 0x059d
000005f7: PUSH2 0x0601
000005fa: CALLDATASIZE
000005fb: PUSH1 0x04
000005fd: PUSH2 0x2def
00000600: JUMP
00000601: JUMPDEST
00000602: PUSH1 0x09
00000604: PUSH1 0x20
00000606: MSTORE
00000607: PUSH1 0x00
00000609: SWAP1
0000060a: DUP2
0000060b: MSTORE
0000060c: PUSH1 0x40
0000060e: SWAP1
0000060f: KECCAK256
00000610: SLOAD
00000611: PUSH1 0xff
00000613: AND
00000614: DUP2
00000615: JUMP
00000616: JUMPDEST
00000617: CALLVALUE
00000618: DUP1
00000619: ISZERO
0000061a: PUSH2 0x0622
0000061d: JUMPI
0000061e: PUSH1 0x00
00000620: DUP1
00000621: REVERT
00000622: JUMPDEST
00000623: POP
00000624: PUSH1 0x07
00000626: SLOAD
00000627: PUSH2 0x059d
0000062a: SWAP1
0000062b: PUSH1 0xff
0000062d: AND
0000062e: DUP2
0000062f: JUMP
00000630: JUMPDEST
00000631: CALLVALUE
00000632: DUP1
00000633: ISZERO
00000634: PUSH2 0x063c
00000637: JUMPI
00000638: PUSH1 0x00
0000063a: DUP1
0000063b: REVERT
0000063c: JUMPDEST
0000063d: POP
0000063e: PUSH2 0x059d
00000641: PUSH2 0x064b
00000644: CALLDATASIZE
00000645: PUSH1 0x04
00000647: PUSH2 0x2e0c
0000064a: JUMP
0000064b: JUMPDEST
0000064c: PUSH2 0x244b
0000064f: JUMP
00000650: JUMPDEST
00000651: CALLVALUE
00000652: DUP1
00000653: ISZERO
00000654: PUSH2 0x065c
00000657: JUMPI
00000658: PUSH1 0x00
0000065a: DUP1
0000065b: REVERT
0000065c: JUMPDEST
0000065d: POP
0000065e: PUSH1 0x40
00000660: MLOAD
00000661: PUSH1 0x12
00000663: DUP2
00000664: MSTORE
00000665: PUSH1 0x20
00000667: ADD
00000668: PUSH2 0x052c
0000066b: JUMP
0000066c: JUMPDEST
0000066d: CALLVALUE
0000066e: DUP1
0000066f: ISZERO
00000670: PUSH2 0x0678
00000673: JUMPI
00000674: PUSH1 0x00
00000676: DUP1
00000677: REVERT
00000678: JUMPDEST
00000679: POP
0000067a: PUSH2 0x05c3
0000067d: PUSH1 0x0b
0000067f: SLOAD
00000680: DUP2
00000681: JUMP
00000682: JUMPDEST
00000683: CALLVALUE
00000684: DUP1
00000685: ISZERO
00000686: PUSH2 0x068e
00000689: JUMPI
0000068a: PUSH1 0x00
0000068c: DUP1
0000068d: REVERT
0000068e: JUMPDEST
0000068f: POP
00000690: PUSH2 0x06b6
00000693: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
000006b4: DUP2
000006b5: JUMP
000006b6: JUMPDEST
000006b7: PUSH1 0x40
000006b9: MLOAD
000006ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006cf: SWAP1
000006d0: SWAP2
000006d1: AND
000006d2: DUP2
000006d3: MSTORE
000006d4: PUSH1 0x20
000006d6: ADD
000006d7: PUSH2 0x052c
000006da: JUMP
000006db: JUMPDEST
000006dc: CALLVALUE
000006dd: DUP1
000006de: ISZERO
000006df: PUSH2 0x06e7
000006e2: JUMPI
000006e3: PUSH1 0x00
000006e5: DUP1
000006e6: REVERT
000006e7: JUMPDEST
000006e8: POP
000006e9: PUSH2 0x05c3
000006ec: PUSH6 0x5af3107a4000
000006f3: DUP2
000006f4: JUMP
000006f5: JUMPDEST
000006f6: CALLVALUE
000006f7: DUP1
000006f8: ISZERO
000006f9: PUSH2 0x0701
000006fc: JUMPI
000006fd: PUSH1 0x00
000006ff: DUP1
00000700: REVERT
00000701: JUMPDEST
00000702: POP
00000703: PUSH2 0x06b6
00000706: PUSH32 0x00000000000000000000000069691ce612c244b0829b9e124cca063816da1448
00000727: DUP2
00000728: JUMP
00000729: JUMPDEST
0000072a: CALLVALUE
0000072b: DUP1
0000072c: ISZERO
0000072d: PUSH2 0x0735
00000730: JUMPI
00000731: PUSH1 0x00
00000733: DUP1
00000734: REVERT
00000735: JUMPDEST
00000736: POP
00000737: PUSH2 0x075d
0000073a: PUSH32 0x00000000000000000000000000000000000000000000000000000000000d89b4
0000075b: DUP2
0000075c: JUMP
0000075d: JUMPDEST
0000075e: PUSH1 0x40
00000760: MLOAD
00000761: PUSH1 0x02
00000763: SWAP2
00000764: SWAP1
00000765: SWAP2
00000766: SIGNEXTEND
00000767: DUP2
00000768: MSTORE
00000769: PUSH1 0x20
0000076b: ADD
0000076c: PUSH2 0x052c
0000076f: JUMP
00000770: JUMPDEST
00000771: CALLVALUE
00000772: DUP1
00000773: ISZERO
00000774: PUSH2 0x077c
00000777: JUMPI
00000778: PUSH1 0x00
0000077a: DUP1
0000077b: REVERT
0000077c: JUMPDEST
0000077d: POP
0000077e: PUSH2 0x075d
00000781: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffff2764c
000007a2: DUP2
000007a3: JUMP
000007a4: JUMPDEST
000007a5: CALLVALUE
000007a6: DUP1
000007a7: ISZERO
000007a8: PUSH2 0x07b0
000007ab: JUMPI
000007ac: PUSH1 0x00
000007ae: DUP1
000007af: REVERT
000007b0: JUMPDEST
000007b1: POP
000007b2: PUSH2 0x05c3
000007b5: PUSH32 0x00000000000000000000000000000000000000000000000000000000013d9711
000007d6: DUP2
000007d7: JUMP
000007d8: JUMPDEST
000007d9: CALLVALUE
000007da: DUP1
000007db: ISZERO
000007dc: PUSH2 0x07e4
000007df: JUMPI
000007e0: PUSH1 0x00
000007e2: DUP1
000007e3: REVERT
000007e4: JUMPDEST
000007e5: POP
000007e6: PUSH2 0x05c3
000007e9: PUSH2 0x07f3
000007ec: CALLDATASIZE
000007ed: PUSH1 0x04
000007ef: PUSH2 0x2def
000007f2: JUMP
000007f3: JUMPDEST
000007f4: PUSH2 0x246f
000007f7: JUMP
000007f8: JUMPDEST
000007f9: CALLVALUE
000007fa: DUP1
000007fb: ISZERO
000007fc: PUSH2 0x0804
000007ff: JUMPI
00000800: PUSH1 0x00
00000802: DUP1
00000803: REVERT
00000804: JUMPDEST
00000805: POP
00000806: PUSH2 0x05c3
00000809: PUSH8 0x8ac7230489e80000
00000812: DUP2
00000813: JUMP
00000814: JUMPDEST
00000815: CALLVALUE
00000816: DUP1
00000817: ISZERO
00000818: PUSH2 0x0820
0000081b: JUMPI
0000081c: PUSH1 0x00
0000081e: DUP1
0000081f: REVERT
00000820: JUMPDEST
00000821: POP
00000822: PUSH2 0x05c3
00000825: PUSH2 0x082f
00000828: CALLDATASIZE
00000829: PUSH1 0x04
0000082b: PUSH2 0x2def
0000082e: JUMP
0000082f: JUMPDEST
00000830: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000845: AND
00000846: PUSH1 0x00
00000848: SWAP1
00000849: DUP2
0000084a: MSTORE
0000084b: PUSH1 0x20
0000084d: DUP2
0000084e: SWAP1
0000084f: MSTORE
00000850: PUSH1 0x40
00000852: SWAP1
00000853: KECCAK256
00000854: SLOAD
00000855: SWAP1
00000856: JUMP
00000857: JUMPDEST
00000858: CALLVALUE
00000859: DUP1
0000085a: ISZERO
0000085b: PUSH2 0x0863
0000085e: JUMPI
0000085f: PUSH1 0x00
00000861: DUP1
00000862: REVERT
00000863: JUMPDEST
00000864: POP
00000865: PUSH2 0x05c3
00000868: PUSH32 0x0000000000000000000000000000000000000000409f9cbc7c4a04c220000000
00000889: DUP2
0000088a: JUMP
0000088b: JUMPDEST
0000088c: CALLVALUE
0000088d: DUP1
0000088e: ISZERO
0000088f: PUSH2 0x0897
00000892: JUMPI
00000893: PUSH1 0x00
00000895: DUP1
00000896: REVERT
00000897: JUMPDEST
00000898: POP
00000899: PUSH2 0x05c3
0000089c: PUSH7 0x01c6bf52634000
000008a4: DUP2
000008a5: JUMP
000008a6: JUMPDEST
000008a7: CALLVALUE
000008a8: DUP1
000008a9: ISZERO
000008aa: PUSH2 0x08b2
000008ad: JUMPI
000008ae: PUSH1 0x00
000008b0: DUP1
000008b1: REVERT
000008b2: JUMPDEST
000008b3: POP
000008b4: PUSH2 0x06b6
000008b7: PUSH32 0x0000000000000000000000001f98431c8ad98523631ae4a59f267346ea31f984
000008d8: DUP2
000008d9: JUMP
000008da: JUMPDEST
000008db: CALLVALUE
000008dc: DUP1
000008dd: ISZERO
000008de: PUSH2 0x08e6
000008e1: JUMPI
000008e2: PUSH1 0x00
000008e4: DUP1
000008e5: REVERT
000008e6: JUMPDEST
000008e7: POP
000008e8: PUSH2 0x051f
000008eb: PUSH2 0x24f7
000008ee: JUMP
000008ef: JUMPDEST
000008f0: CALLVALUE
000008f1: DUP1
000008f2: ISZERO
000008f3: PUSH2 0x08fb
000008f6: JUMPI
000008f7: PUSH1 0x00
000008f9: DUP1
000008fa: REVERT
000008fb: JUMPDEST
000008fc: POP
000008fd: PUSH2 0x05c3
00000900: PUSH6 0xb5e620f48000
00000907: DUP2
00000908: JUMP
00000909: JUMPDEST
0000090a: CALLVALUE
0000090b: DUP1
0000090c: ISZERO
0000090d: PUSH2 0x0915
00000910: JUMPI
00000911: PUSH1 0x00
00000913: DUP1
00000914: REVERT
00000915: JUMPDEST
00000916: POP
00000917: PUSH2 0x06b6
0000091a: PUSH32 0x000000000000000000000000a0f7b92b4f6eb51b0dce12b3e473dbae0bf24ce0
0000093b: DUP2
0000093c: JUMP
0000093d: JUMPDEST
0000093e: CALLVALUE
0000093f: DUP1
00000940: ISZERO
00000941: PUSH2 0x0949
00000944: JUMPI
00000945: PUSH1 0x00
00000947: DUP1
00000948: REVERT
00000949: JUMPDEST
0000094a: POP
0000094b: PUSH2 0x059d
0000094e: PUSH2 0x0958
00000951: CALLDATASIZE
00000952: PUSH1 0x04
00000954: PUSH2 0x2dc3
00000957: JUMP
00000958: JUMPDEST
00000959: PUSH2 0x2506
0000095c: JUMP
0000095d: JUMPDEST
0000095e: CALLVALUE
0000095f: DUP1
00000960: ISZERO
00000961: PUSH2 0x0969
00000964: JUMPI
00000965: PUSH1 0x00
00000967: DUP1
00000968: REVERT
00000969: JUMPDEST
0000096a: POP
0000096b: PUSH2 0x05c3
0000096e: PUSH2 0x0978
00000971: CALLDATASIZE
00000972: PUSH1 0x04
00000974: PUSH2 0x2def
00000977: JUMP
00000978: JUMPDEST
00000979: PUSH2 0x2514
0000097c: JUMP
0000097d: JUMPDEST
0000097e: CALLVALUE
0000097f: DUP1
00000980: ISZERO
00000981: PUSH2 0x0989
00000984: JUMPI
00000985: PUSH1 0x00
00000987: DUP1
00000988: REVERT
00000989: JUMPDEST
0000098a: POP
0000098b: PUSH2 0x05c3
0000098e: PUSH1 0x1e
00000990: DUP2
00000991: JUMP
00000992: JUMPDEST
00000993: CALLVALUE
00000994: DUP1
00000995: ISZERO
00000996: PUSH2 0x099e
00000999: JUMPI
0000099a: PUSH1 0x00
0000099c: DUP1
0000099d: REVERT
0000099e: JUMPDEST
0000099f: POP
000009a0: PUSH2 0x06b6
000009a3: PUSH32 0x0000000000000000000000003d904547c301e6a89f1c63f3ba35dcbfd28222f7
000009c4: DUP2
000009c5: JUMP
000009c6: JUMPDEST
000009c7: CALLVALUE
000009c8: DUP1
000009c9: ISZERO
000009ca: PUSH2 0x09d2
000009cd: JUMPI
000009ce: PUSH1 0x00
000009d0: DUP1
000009d1: REVERT
000009d2: JUMPDEST
000009d3: POP
000009d4: PUSH2 0x059d
000009d7: PUSH2 0x09e1
000009da: CALLDATASIZE
000009db: PUSH1 0x04
000009dd: PUSH2 0x2def
000009e0: JUMP
000009e1: JUMPDEST
000009e2: PUSH1 0x0c
000009e4: PUSH1 0x20
000009e6: MSTORE
000009e7: PUSH1 0x00
000009e9: SWAP1
000009ea: DUP2
000009eb: MSTORE
000009ec: PUSH1 0x40
000009ee: SWAP1
000009ef: KECCAK256
000009f0: SLOAD
000009f1: PUSH1 0xff
000009f3: AND
000009f4: DUP2
000009f5: JUMP
000009f6: JUMPDEST
000009f7: CALLVALUE
000009f8: DUP1
000009f9: ISZERO
000009fa: PUSH2 0x0a02
000009fd: JUMPI
000009fe: PUSH1 0x00
00000a00: DUP1
00000a01: REVERT
00000a02: JUMPDEST
00000a03: POP
00000a04: PUSH2 0x051f
00000a07: PUSH2 0x25d4
00000a0a: JUMP
00000a0b: JUMPDEST
00000a0c: CALLVALUE
00000a0d: DUP1
00000a0e: ISZERO
00000a0f: PUSH2 0x0a17
00000a12: JUMPI
00000a13: PUSH1 0x00
00000a15: DUP1
00000a16: REVERT
00000a17: JUMPDEST
00000a18: POP
00000a19: PUSH2 0x05c3
00000a1c: PUSH2 0x0a26
00000a1f: CALLDATASIZE
00000a20: PUSH1 0x04
00000a22: PUSH2 0x2def
00000a25: JUMP
00000a26: JUMPDEST
00000a27: PUSH1 0x08
00000a29: PUSH1 0x20
00000a2b: MSTORE
00000a2c: PUSH1 0x00
00000a2e: SWAP1
00000a2f: DUP2
00000a30: MSTORE
00000a31: PUSH1 0x40
00000a33: SWAP1
00000a34: KECCAK256
00000a35: SLOAD
00000a36: DUP2
00000a37: JUMP
00000a38: JUMPDEST
00000a39: CALLVALUE
00000a3a: DUP1
00000a3b: ISZERO
00000a3c: PUSH2 0x0a44
00000a3f: JUMPI
00000a40: PUSH1 0x00
00000a42: DUP1
00000a43: REVERT
00000a44: JUMPDEST
00000a45: POP
00000a46: PUSH2 0x06b6
00000a49: PUSH32 0x00000000000000000000000099090d2d220901de904c6e3d003d7ced4b6ec2a4
00000a6a: DUP2
00000a6b: JUMP
00000a6c: JUMPDEST
00000a6d: CALLVALUE
00000a6e: DUP1
00000a6f: ISZERO
00000a70: PUSH2 0x0a78
00000a73: JUMPI
00000a74: PUSH1 0x00
00000a76: DUP1
00000a77: REVERT
00000a78: JUMPDEST
00000a79: POP
00000a7a: PUSH2 0x05c3
00000a7d: PUSH2 0x0a87
00000a80: CALLDATASIZE
00000a81: PUSH1 0x04
00000a83: PUSH2 0x2e4d
00000a86: JUMP
00000a87: JUMPDEST
00000a88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a9d: SWAP2
00000a9e: DUP3
00000a9f: AND
00000aa0: PUSH1 0x00
00000aa2: SWAP1
00000aa3: DUP2
00000aa4: MSTORE
00000aa5: PUSH1 0x01
00000aa7: PUSH1 0x20
00000aa9: SWAP1
00000aaa: DUP2
00000aab: MSTORE
00000aac: PUSH1 0x40
00000aae: DUP1
00000aaf: DUP4
00000ab0: KECCAK256
00000ab1: SWAP4
00000ab2: SWAP1
00000ab3: SWAP5
00000ab4: AND
00000ab5: DUP3
00000ab6: MSTORE
00000ab7: SWAP2
00000ab8: SWAP1
00000ab9: SWAP2
00000aba: MSTORE
00000abb: KECCAK256
00000abc: SLOAD
00000abd: SWAP1
00000abe: JUMP
00000abf: JUMPDEST
00000ac0: CALLVALUE
00000ac1: DUP1
00000ac2: ISZERO
00000ac3: PUSH2 0x0acb
00000ac6: JUMPI
00000ac7: PUSH1 0x00
00000ac9: DUP1
00000aca: REVERT
00000acb: JUMPDEST
00000acc: POP
00000acd: PUSH2 0x06b6
00000ad0: PUSH32 0x000000000000000000000000c36442b4a4522e871399cd717abdd847ab11fe88
00000af1: DUP2
00000af2: JUMP
00000af3: JUMPDEST
00000af4: CALLVALUE
00000af5: DUP1
00000af6: ISZERO
00000af7: PUSH2 0x0aff
00000afa: JUMPI
00000afb: PUSH1 0x00
00000afd: DUP1
00000afe: REVERT
00000aff: JUMPDEST
00000b00: POP
00000b01: PUSH32 0x00000000000000000000000000000000000000000000000000000000013d9711
00000b22: NUMBER
00000b23: LT
00000b24: ISZERO
00000b25: PUSH2 0x059d
00000b28: JUMP
00000b29: JUMPDEST
00000b2a: CALLVALUE
00000b2b: DUP1
00000b2c: ISZERO
00000b2d: PUSH2 0x0b35
00000b30: JUMPI
00000b31: PUSH1 0x00
00000b33: DUP1
00000b34: REVERT
00000b35: JUMPDEST
00000b36: POP
00000b37: PUSH2 0x03a3
00000b3a: PUSH2 0x2662
00000b3d: JUMP
00000b3e: JUMPDEST
00000b3f: CALLVALUE
00000b40: DUP1
00000b41: ISZERO
00000b42: PUSH2 0x0b4a
00000b45: JUMPI
00000b46: PUSH1 0x00
00000b48: DUP1
00000b49: REVERT
00000b4a: JUMPDEST
00000b4b: POP
00000b4c: PUSH2 0x05c3
00000b4f: PUSH32 0x000000000000000000000000000000000000000000000001158e460913d00000
00000b70: DUP2
00000b71: JUMP
00000b72: JUMPDEST
00000b73: ADDRESS
00000b74: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b89: PUSH32 0x000000000000000000000000f2f364c9262848c378efabcf596402273d932200
00000baa: AND
00000bab: EQ
00000bac: PUSH2 0x0bb4
00000baf: JUMPI
00000bb0: PUSH1 0x00
00000bb2: DUP1
00000bb3: REVERT
00000bb4: JUMPDEST
00000bb5: JUMP
00000bb6: JUMPDEST
00000bb7: PUSH2 0x0bbe
00000bba: PUSH2 0x2778
00000bbd: JUMP
00000bbe: JUMPDEST
00000bbf: PUSH1 0x07
00000bc1: SLOAD
00000bc2: PUSH1 0xff
00000bc4: AND
00000bc5: PUSH2 0x0c10
00000bc8: JUMPI
00000bc9: PUSH1 0x40
00000bcb: MLOAD
00000bcc: PUSH3 0x461bcd
00000bd0: PUSH1 0xe5
00000bd2: SHL
00000bd3: DUP2
00000bd4: MSTORE
00000bd5: PUSH1 0x20
00000bd7: PUSH1 0x04
00000bd9: DUP3
00000bda: ADD
00000bdb: MSTORE
00000bdc: PUSH1 0x15
00000bde: PUSH1 0x24
00000be0: DUP3
00000be1: ADD
00000be2: MSTORE
00000be3: PUSH32 0x466169724d696e743a206e6f7420737461727465640000000000000000000000
00000c04: PUSH1 0x44
00000c06: DUP3
00000c07: ADD
00000c08: MSTORE
00000c09: PUSH1 0x64
00000c0b: ADD
00000c0c: PUSH2 0x037a
00000c0f: JUMP
00000c10: JUMPDEST
00000c11: CALLER
00000c12: ORIGIN
00000c13: EQ
00000c14: PUSH2 0x0c85
00000c17: JUMPI
00000c18: PUSH1 0x40
00000c1a: MLOAD
00000c1b: PUSH3 0x461bcd
00000c1f: PUSH1 0xe5
00000c21: SHL
00000c22: DUP2
00000c23: MSTORE
00000c24: PUSH1 0x20
00000c26: PUSH1 0x04
00000c28: DUP3
00000c29: ADD
00000c2a: MSTORE
00000c2b: PUSH1 0x23
00000c2d: PUSH1 0x24
00000c2f: DUP3
00000c30: ADD
00000c31: MSTORE
00000c32: PUSH32 0x466169724d696e743a2063616e206e6f74206d696e7420746f20636f6e747261
00000c53: PUSH1 0x44
00000c55: DUP3
00000c56: ADD
00000c57: MSTORE
00000c58: PUSH32 0x63742e0000000000000000000000000000000000000000000000000000000000
00000c79: PUSH1 0x64
00000c7b: DUP3
00000c7c: ADD
00000c7d: MSTORE
00000c7e: PUSH1 0x84
00000c80: ADD
00000c81: PUSH2 0x037a
00000c84: JUMP
00000c85: JUMPDEST
00000c86: CALLER
00000c87: PUSH1 0x00
00000c89: SWAP1
00000c8a: DUP2
00000c8b: MSTORE
00000c8c: PUSH1 0x09
00000c8e: PUSH1 0x20
00000c90: MSTORE
00000c91: PUSH1 0x40
00000c93: SWAP1
00000c94: KECCAK256
00000c95: SLOAD
00000c96: PUSH1 0xff
00000c98: AND
00000c99: ISZERO
00000c9a: PUSH2 0x0ce5
00000c9d: JUMPI
00000c9e: PUSH1 0x40
00000ca0: MLOAD
00000ca1: PUSH3 0x461bcd
00000ca5: PUSH1 0xe5
00000ca7: SHL
00000ca8: DUP2
00000ca9: MSTORE
00000caa: PUSH1 0x20
00000cac: PUSH1 0x04
00000cae: DUP3
00000caf: ADD
00000cb0: MSTORE
00000cb1: PUSH1 0x18
00000cb3: PUSH1 0x24
00000cb5: DUP3
00000cb6: ADD
00000cb7: MSTORE
00000cb8: PUSH32 0x466169724d696e743a20616c7265616479206d696e7465640000000000000000
00000cd9: PUSH1 0x44
00000cdb: DUP3
00000cdc: ADD
00000cdd: MSTORE
00000cde: PUSH1 0x64
00000ce0: ADD
00000ce1: PUSH2 0x037a
00000ce4: JUMP
00000ce5: JUMPDEST
00000ce6: CALLER
00000ce7: PUSH1 0x00
00000ce9: DUP2
00000cea: DUP2
00000ceb: MSTORE
00000cec: PUSH1 0x09
00000cee: PUSH1 0x20
00000cf0: MSTORE
00000cf1: PUSH1 0x40
00000cf3: DUP2
00000cf4: KECCAK256
00000cf5: DUP1
00000cf6: SLOAD
00000cf7: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00000d18: AND
00000d19: PUSH1 0x01
00000d1b: OR
00000d1c: SWAP1
00000d1d: SSTORE
00000d1e: SWAP1
00000d1f: PUSH2 0x0d27
00000d22: SWAP1
00000d23: PUSH2 0x246f
00000d26: JUMP
00000d27: JUMPDEST
00000d28: SWAP1
00000d29: POP
00000d2a: PUSH1 0x00
00000d2c: DUP2
00000d2d: GT
00000d2e: PUSH2 0x0d79
00000d31: JUMPI
00000d32: PUSH1 0x40
00000d34: MLOAD
00000d35: PUSH3 0x461bcd
00000d39: PUSH1 0xe5
00000d3b: SHL
00000d3c: DUP2
00000d3d: MSTORE
00000d3e: PUSH1 0x20
00000d40: PUSH1 0x04
00000d42: DUP3
00000d43: ADD
00000d44: MSTORE
00000d45: PUSH1 0x1d
00000d47: PUSH1 0x24
00000d49: DUP3
00000d4a: ADD
00000d4b: MSTORE
00000d4c: PUSH32 0x466169724d696e743a206d696e7420616d6f756e74206973207a65726f000000
00000d6d: PUSH1 0x44
00000d6f: DUP3
00000d70: ADD
00000d71: MSTORE
00000d72: PUSH1 0x64
00000d74: ADD
00000d75: PUSH2 0x037a
00000d78: JUMP
00000d79: JUMPDEST
00000d7a: PUSH2 0x0da4
00000d7d: PUSH1 0x02
00000d7f: PUSH32 0x0000000000000000000000000000000000000000409f9cbc7c4a04c220000000
00000da0: PUSH2 0x2eb5
00000da3: JUMP
00000da4: JUMPDEST
00000da5: DUP2
00000da6: GT
00000da7: ISZERO
00000da8: PUSH2 0x0db3
00000dab: JUMPI
00000dac: PUSH2 0x0db3
00000daf: PUSH2 0x2ef0
00000db2: JUMP
00000db3: JUMPDEST
00000db4: PUSH2 0x0dbe
00000db7: ADDRESS
00000db8: CALLER
00000db9: DUP4
00000dba: PUSH2 0x27bb
00000dbd: JUMP
00000dbe: JUMPDEST
00000dbf: PUSH1 0x40
00000dc1: MLOAD
00000dc2: PUSH1 0x00
00000dc4: SWAP1
00000dc5: CALLER
00000dc6: SWAP1
00000dc7: PUSH6 0x5af3107a4000
00000dce: SWAP1
00000dcf: DUP4
00000dd0: DUP2
00000dd1: DUP2
00000dd2: DUP2
00000dd3: DUP6
00000dd4: DUP8
00000dd5: GAS
00000dd6: CALL
00000dd7: SWAP3
00000dd8: POP
00000dd9: POP
00000dda: POP
00000ddb: RETURNDATASIZE
00000ddc: DUP1
00000ddd: PUSH1 0x00
00000ddf: DUP2
00000de0: EQ
00000de1: PUSH2 0x0e06
00000de4: JUMPI
00000de5: PUSH1 0x40
00000de7: MLOAD
00000de8: SWAP2
00000de9: POP
00000dea: PUSH1 0x1f
00000dec: NOT
00000ded: PUSH1 0x3f
00000def: RETURNDATASIZE
00000df0: ADD
00000df1: AND
00000df2: DUP3
00000df3: ADD
00000df4: PUSH1 0x40
00000df6: MSTORE
00000df7: RETURNDATASIZE
00000df8: DUP3
00000df9: MSTORE
00000dfa: RETURNDATASIZE
00000dfb: PUSH1 0x00
00000dfd: PUSH1 0x20
00000dff: DUP5
00000e00: ADD
00000e01: RETURNDATACOPY
00000e02: PUSH2 0x0e0b
00000e05: JUMP
00000e06: JUMPDEST
00000e07: PUSH1 0x60
00000e09: SWAP2
00000e0a: POP
00000e0b: JUMPDEST
00000e0c: POP
00000e0d: POP
00000e0e: SWAP1
00000e0f: POP
00000e10: DUP1
00000e11: PUSH2 0x0e5c
00000e14: JUMPI
00000e15: PUSH1 0x40
00000e17: MLOAD
00000e18: PUSH3 0x461bcd
00000e1c: PUSH1 0xe5
00000e1e: SHL
00000e1f: DUP2
00000e20: MSTORE
00000e21: PUSH1 0x20
00000e23: PUSH1 0x04
00000e25: DUP3
00000e26: ADD
00000e27: MSTORE
00000e28: PUSH1 0x15
00000e2a: PUSH1 0x24
00000e2c: DUP3
00000e2d: ADD
00000e2e: MSTORE
00000e2f: PUSH32 0x466169724d696e743a206d696e74206661696c65640000000000000000000000
00000e50: PUSH1 0x44
00000e52: DUP3
00000e53: ADD
00000e54: MSTORE
00000e55: PUSH1 0x64
00000e57: ADD
00000e58: PUSH2 0x037a
00000e5b: JUMP
00000e5c: JUMPDEST
00000e5d: POP
00000e5e: POP
00000e5f: PUSH2 0x0bb4
00000e62: PUSH1 0x01
00000e64: PUSH1 0x06
00000e66: SSTORE
00000e67: JUMP
00000e68: JUMPDEST
00000e69: PUSH2 0x0e70
00000e6c: PUSH2 0x2778
00000e6f: JUMP
00000e70: JUMPDEST
00000e71: PUSH1 0x07
00000e73: SLOAD
00000e74: PUSH1 0xff
00000e76: AND
00000e77: PUSH2 0x0ee8
00000e7a: JUMPI
00000e7b: PUSH1 0x40
00000e7d: MLOAD
00000e7e: PUSH3 0x461bcd
00000e82: PUSH1 0xe5
00000e84: SHL
00000e85: DUP2
00000e86: MSTORE
00000e87: PUSH1 0x20
00000e89: PUSH1 0x04
00000e8b: DUP3
00000e8c: ADD
00000e8d: MSTORE
00000e8e: PUSH1 0x2d
00000e90: PUSH1 0x24
00000e92: DUP3
00000e93: ADD
00000e94: MSTORE
00000e95: PUSH32 0x466169724d696e743a20776974686472617720657874726120657468206d7573
00000eb6: PUSH1 0x44
00000eb8: DUP3
00000eb9: ADD
00000eba: MSTORE
00000ebb: PUSH32 0x7420616674657220737461727400000000000000000000000000000000000000
00000edc: PUSH1 0x64
00000ede: DUP3
00000edf: ADD
00000ee0: MSTORE
00000ee1: PUSH1 0x84
00000ee3: ADD
00000ee4: PUSH2 0x037a
00000ee7: JUMP
00000ee8: JUMPDEST
00000ee9: PUSH1 0x00
00000eeb: PUSH32 0x000000000000000000000000000000000000000000000001158e460913d00000
00000f0c: GT
00000f0d: PUSH2 0x0f7e
00000f10: JUMPI
00000f11: PUSH1 0x40
00000f13: MLOAD
00000f14: PUSH3 0x461bcd
00000f18: PUSH1 0xe5
00000f1a: SHL
00000f1b: DUP2
00000f1c: MSTORE
00000f1d: PUSH1 0x20
00000f1f: PUSH1 0x04
00000f21: DUP3
00000f22: ADD
00000f23: MSTORE
00000f24: PUSH1 0x22
00000f26: PUSH1 0x24
00000f28: DUP3
00000f29: ADD
00000f2a: MSTORE
00000f2b: PUSH32 0x466169724d696e743a20736f667420746f7020636170206d7573742062652073
00000f4c: PUSH1 0x44
00000f4e: DUP3
00000f4f: ADD
00000f50: MSTORE
00000f51: PUSH32 0x6574000000000000000000000000000000000000000000000000000000000000
00000f72: PUSH1 0x64
00000f74: DUP3
00000f75: ADD
00000f76: MSTORE
00000f77: PUSH1 0x84
00000f79: ADD
00000f7a: PUSH2 0x037a
00000f7d: JUMP
00000f7e: JUMPDEST
00000f7f: PUSH32 0x000000000000000000000000000000000000000000000001158e460913d00000
00000fa0: PUSH1 0x0a
00000fa2: SLOAD
00000fa3: GT
00000fa4: PUSH2 0x0fef
00000fa7: JUMPI
00000fa8: PUSH1 0x40
00000faa: MLOAD
00000fab: PUSH3 0x461bcd
00000faf: PUSH1 0xe5
00000fb1: SHL
00000fb2: DUP2
00000fb3: MSTORE
00000fb4: PUSH1 0x20
00000fb6: PUSH1 0x04
00000fb8: DUP3
00000fb9: ADD
00000fba: MSTORE
00000fbb: PUSH1 0x16
00000fbd: PUSH1 0x24
00000fbf: DUP3
00000fc0: ADD
00000fc1: MSTORE
00000fc2: PUSH32 0x466169724d696e743a206e6f2065787472612065746800000000000000000000
00000fe3: PUSH1 0x44
00000fe5: DUP3
00000fe6: ADD
00000fe7: MSTORE
00000fe8: PUSH1 0x64
00000fea: ADD
00000feb: PUSH2 0x037a
00000fee: JUMP
00000fef: JUMPDEST
00000ff0: CALLER
00000ff1: PUSH1 0x00
00000ff3: SWAP1
00000ff4: DUP2
00000ff5: MSTORE
00000ff6: PUSH1 0x08
00000ff8: PUSH1 0x20
00000ffa: MSTORE
00000ffb: PUSH1 0x40
00000ffd: SWAP1
00000ffe: KECCAK256
00000fff: SLOAD
00001000: DUP1
00001001: PUSH2 0x104c
00001004: JUMPI
00001005: PUSH1 0x40
00001007: MLOAD
00001008: PUSH3 0x461bcd
0000100c: PUSH1 0xe5
0000100e: SHL
0000100f: DUP2
00001010: MSTORE
00001011: PUSH1 0x20
00001013: PUSH1 0x04
00001015: DUP3
00001016: ADD
00001017: MSTORE
00001018: PUSH1 0x11
0000101a: PUSH1 0x24
0000101c: DUP3
0000101d: ADD
0000101e: MSTORE
0000101f: PUSH32 0x466169724d696e743a206e6f2066756e64000000000000000000000000000000
00001040: PUSH1 0x44
00001042: DUP3
00001043: ADD
00001044: MSTORE
00001045: PUSH1 0x64
00001047: ADD
00001048: PUSH2 0x037a
0000104b: JUMP
0000104c: JUMPDEST
0000104d: CALLER
0000104e: PUSH1 0x00
00001050: SWAP1
00001051: DUP2
00001052: MSTORE
00001053: PUSH1 0x0c
00001055: PUSH1 0x20
00001057: MSTORE
00001058: PUSH1 0x40
0000105a: SWAP1
0000105b: KECCAK256
0000105c: SLOAD
0000105d: PUSH1 0xff
0000105f: AND
00001060: ISZERO
00001061: PUSH2 0x10ac
00001064: JUMPI
00001065: PUSH1 0x40
00001067: MLOAD
00001068: PUSH3 0x461bcd
0000106c: PUSH1 0xe5
0000106e: SHL
0000106f: DUP2
00001070: MSTORE
00001071: PUSH1 0x20
00001073: PUSH1 0x04
00001075: DUP3
00001076: ADD
00001077: MSTORE
00001078: PUSH1 0x19
0000107a: PUSH1 0x24
0000107c: DUP3
0000107d: ADD
0000107e: MSTORE
0000107f: PUSH32 0x466169724d696e743a20616c726561647920636c61696d656400000000000000
000010a0: PUSH1 0x44
000010a2: DUP3
000010a3: ADD
000010a4: MSTORE
000010a5: PUSH1 0x64
000010a7: ADD
000010a8: PUSH2 0x037a
000010ab: JUMP
000010ac: JUMPDEST
000010ad: CALLER
000010ae: PUSH1 0x00
000010b0: DUP2
000010b1: DUP2
000010b2: MSTORE
000010b3: PUSH1 0x0c
000010b5: PUSH1 0x20
000010b7: MSTORE
000010b8: PUSH1 0x40
000010ba: DUP2
000010bb: KECCAK256
000010bc: DUP1
000010bd: SLOAD
000010be: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
000010df: AND
000010e0: PUSH1 0x01
000010e2: OR
000010e3: SWAP1
000010e4: SSTORE
000010e5: SWAP1
000010e6: PUSH2 0x10ee
000010e9: SWAP1
000010ea: PUSH2 0x2514
000010ed: JUMP
000010ee: JUMPDEST
000010ef: SWAP1
000010f0: POP
000010f1: PUSH1 0x00
000010f3: CALLER
000010f4: PUSH2 0x1103
000010f7: PUSH6 0xb5e620f48000
000010fe: DUP5
000010ff: PUSH2 0x2f1f
00001102: JUMP
00001103: JUMPDEST
00001104: PUSH1 0x40
00001106: MLOAD
00001107: PUSH1 0x00
00001109: DUP2
0000110a: DUP2
0000110b: DUP2
0000110c: DUP6
0000110d: DUP8
0000110e: GAS
0000110f: CALL
00001110: SWAP3
00001111: POP
00001112: POP
00001113: POP
00001114: RETURNDATASIZE
00001115: DUP1
00001116: PUSH1 0x00
00001118: DUP2
00001119: EQ
0000111a: PUSH2 0x113f
0000111d: JUMPI
0000111e: PUSH1 0x40
00001120: MLOAD
00001121: SWAP2
00001122: POP
00001123: PUSH1 0x1f
00001125: NOT
00001126: PUSH1 0x3f
00001128: RETURNDATASIZE
00001129: ADD
0000112a: AND
0000112b: DUP3
0000112c: ADD
0000112d: PUSH1 0x40
0000112f: MSTORE
00001130: RETURNDATASIZE
00001131: DUP3
00001132: MSTORE
00001133: RETURNDATASIZE
00001134: PUSH1 0x00
00001136: PUSH1 0x20
00001138: DUP5
00001139: ADD
0000113a: RETURNDATACOPY
0000113b: PUSH2 0x1144
0000113e: JUMP
0000113f: JUMPDEST
00001140: PUSH1 0x60
00001142: SWAP2
00001143: POP
00001144: JUMPDEST
00001145: POP
00001146: POP
00001147: SWAP1
00001148: POP
00001149: DUP1
0000114a: PUSH2 0x1195
0000114d: JUMPI
0000114e: PUSH1 0x40
00001150: MLOAD
00001151: PUSH3 0x461bcd
00001155: PUSH1 0xe5
00001157: SHL
00001158: DUP2
00001159: MSTORE
0000115a: PUSH1 0x20
0000115c: PUSH1 0x04
0000115e: DUP3
0000115f: ADD
00001160: MSTORE
00001161: PUSH1 0x19
00001163: PUSH1 0x24
00001165: DUP3
00001166: ADD
00001167: MSTORE
00001168: PUSH32 0x466169724d696e743a207769746864726177206661696c656400000000000000
00001189: PUSH1 0x44
0000118b: DUP3
0000118c: ADD
0000118d: MSTORE
0000118e: PUSH1 0x64
00001190: ADD
00001191: PUSH2 0x037a
00001194: JUMP
00001195: JUMPDEST
00001196: POP
00001197: POP
00001198: POP
00001199: PUSH2 0x0bb4
0000119c: PUSH1 0x01
0000119e: PUSH1 0x06
000011a0: SSTORE
000011a1: JUMP
000011a2: JUMPDEST
000011a3: PUSH2 0x11aa
000011a6: PUSH2 0x2778
000011a9: JUMP
000011aa: JUMPDEST
000011ab: PUSH1 0x07
000011ad: SLOAD
000011ae: PUSH1 0xff
000011b0: AND
000011b1: ISZERO
000011b2: PUSH2 0x11fd
000011b5: JUMPI
000011b6: PUSH1 0x40
000011b8: MLOAD
000011b9: PUSH3 0x461bcd
000011bd: PUSH1 0xe5
000011bf: SHL
000011c0: DUP2
000011c1: MSTORE
000011c2: PUSH1 0x20
000011c4: PUSH1 0x04
000011c6: DUP3
000011c7: ADD
000011c8: MSTORE
000011c9: PUSH1 0x19
000011cb: PUSH1 0x24
000011cd: DUP3
000011ce: ADD
000011cf: MSTORE
000011d0: PUSH32 0x466169724d696e743a20616c7265616479207374617274656400000000000000
000011f1: PUSH1 0x44
000011f3: DUP3
000011f4: ADD
000011f5: MSTORE
000011f6: PUSH1 0x64
000011f8: ADD
000011f9: PUSH2 0x037a
000011fc: JUMP
000011fd: JUMPDEST
000011fe: CALLER
000011ff: PUSH1 0x00
00001201: DUP2
00001202: DUP2
00001203: MSTORE
00001204: PUSH1 0x08
00001206: PUSH1 0x20
00001208: MSTORE
00001209: PUSH1 0x40
0000120b: SWAP1
0000120c: KECCAK256
0000120d: SLOAD
0000120e: DUP1
0000120f: PUSH2 0x125a
00001212: JUMPI
00001213: PUSH1 0x40
00001215: MLOAD
00001216: PUSH3 0x461bcd
0000121a: PUSH1 0xe5
0000121c: SHL
0000121d: DUP2
0000121e: MSTORE
0000121f: PUSH1 0x20
00001221: PUSH1 0x04
00001223: DUP3
00001224: ADD
00001225: MSTORE
00001226: PUSH1 0x11
00001228: PUSH1 0x24
0000122a: DUP3
0000122b: ADD
0000122c: MSTORE
0000122d: PUSH32 0x466169724d696e743a206e6f2066756e64000000000000000000000000000000
0000124e: PUSH1 0x44
00001250: DUP3
00001251: ADD
00001252: MSTORE
00001253: PUSH1 0x64
00001255: ADD
00001256: PUSH2 0x037a
00001259: JUMP
0000125a: JUMPDEST
0000125b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001270: DUP3
00001271: AND
00001272: PUSH1 0x00
00001274: SWAP1
00001275: DUP2
00001276: MSTORE
00001277: PUSH1 0x08
00001279: PUSH1 0x20
0000127b: MSTORE
0000127c: PUSH1 0x40
0000127e: DUP2
0000127f: KECCAK256
00001280: DUP2
00001281: SWAP1
00001282: SSTORE
00001283: PUSH1 0x0a
00001285: DUP1
00001286: SLOAD
00001287: DUP4
00001288: SWAP3
00001289: SWAP1
0000128a: PUSH2 0x1294
0000128d: SWAP1
0000128e: DUP5
0000128f: SWAP1
00001290: PUSH2 0x2f32
00001293: JUMP
00001294: JUMPDEST
00001295: SWAP1
00001296: SWAP2
00001297: SSTORE
00001298: POP
00001299: POP
0000129a: PUSH1 0x0b
0000129c: SLOAD
0000129d: PUSH1 0x00
0000129f: SWAP1
000012a0: PUSH2 0x2710
000012a3: SWAP1
000012a4: PUSH2 0x12ad
000012a7: SWAP1
000012a8: DUP5
000012a9: PUSH2 0x2f45
000012ac: JUMP
000012ad: JUMPDEST
000012ae: PUSH2 0x12b7
000012b1: SWAP2
000012b2: SWAP1
000012b3: PUSH2 0x2eb5
000012b6: JUMP
000012b7: JUMPDEST
000012b8: SWAP1
000012b9: POP
000012ba: DUP2
000012bb: DUP2
000012bc: LT
000012bd: PUSH2 0x12c8
000012c0: JUMPI
000012c1: PUSH2 0x12c8
000012c4: PUSH2 0x2ef0
000012c7: JUMP
000012c8: JUMPDEST
000012c9: PUSH1 0x00
000012cb: DUP2
000012cc: GT
000012cd: DUP1
000012ce: ISZERO
000012cf: PUSH2 0x130d
000012d2: JUMPI
000012d3: POP
000012d4: PUSH32 0x00000000000000000000000069691ce612c244b0829b9e124cca063816da1448
000012f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000130a: AND
0000130b: ISZERO
0000130c: ISZERO
0000130d: JUMPDEST
0000130e: ISZERO
0000130f: PUSH2 0x13e4
00001312: JUMPI
00001313: PUSH1 0x00
00001315: PUSH32 0x00000000000000000000000069691ce612c244b0829b9e124cca063816da1448
00001336: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000134b: AND
0000134c: DUP3
0000134d: PUSH1 0x40
0000134f: MLOAD
00001350: PUSH1 0x00
00001352: PUSH1 0x40
00001354: MLOAD
00001355: DUP1
00001356: DUP4
00001357: SUB
00001358: DUP2
00001359: DUP6
0000135a: DUP8
0000135b: GAS
0000135c: CALL
0000135d: SWAP3
0000135e: POP
0000135f: POP
00001360: POP
00001361: RETURNDATASIZE
00001362: DUP1
00001363: PUSH1 0x00
00001365: DUP2
00001366: EQ
00001367: PUSH2 0x138c
0000136a: JUMPI
0000136b: PUSH1 0x40
0000136d: MLOAD
0000136e: SWAP2
0000136f: POP
00001370: PUSH1 0x1f
00001372: NOT
00001373: PUSH1 0x3f
00001375: RETURNDATASIZE
00001376: ADD
00001377: AND
00001378: DUP3
00001379: ADD
0000137a: PUSH1 0x40
0000137c: MSTORE
0000137d: RETURNDATASIZE
0000137e: DUP3
0000137f: MSTORE
00001380: RETURNDATASIZE
00001381: PUSH1 0x00
00001383: PUSH1 0x20
00001385: DUP5
00001386: ADD
00001387: RETURNDATACOPY
00001388: PUSH2 0x1391
0000138b: JUMP
0000138c: JUMPDEST
0000138d: PUSH1 0x60
0000138f: SWAP2
00001390: POP
00001391: JUMPDEST
00001392: POP
00001393: POP
00001394: SWAP1
00001395: POP
00001396: DUP1
00001397: PUSH2 0x13e2
0000139a: JUMPI
0000139b: PUSH1 0x40
0000139d: MLOAD
0000139e: PUSH3 0x461bcd
000013a2: PUSH1 0xe5
000013a4: SHL
000013a5: DUP2
000013a6: MSTORE
000013a7: PUSH1 0x20
000013a9: PUSH1 0x04
000013ab: DUP3
000013ac: ADD
000013ad: MSTORE
000013ae: PUSH1 0x1b
000013b0: PUSH1 0x24
000013b2: DUP3
000013b3: ADD
000013b4: MSTORE
000013b5: PUSH32 0x466169724d696e743a20726566756e6420666565206661696c65640000000000
000013d6: PUSH1 0x44
000013d8: DUP3
000013d9: ADD
000013da: MSTORE
000013db: PUSH1 0x64
000013dd: ADD
000013de: PUSH2 0x037a
000013e1: JUMP
000013e2: JUMPDEST
000013e3: POP
000013e4: JUMPDEST
000013e5: PUSH1 0x00
000013e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013fc: DUP5
000013fd: AND
000013fe: PUSH6 0xb5e620f48000
00001405: PUSH2 0x140e
00001408: DUP5
00001409: DUP7
0000140a: PUSH2 0x2f32
0000140d: JUMP
0000140e: JUMPDEST
0000140f: PUSH2 0x1418
00001412: SWAP2
00001413: SWAP1
00001414: PUSH2 0x2f1f
00001417: JUMP
00001418: JUMPDEST
00001419: PUSH1 0x40
0000141b: MLOAD
0000141c: PUSH1 0x00
0000141e: DUP2
0000141f: DUP2
00001420: DUP2
00001421: DUP6
00001422: DUP8
00001423: GAS
00001424: CALL
00001425: SWAP3
00001426: POP
00001427: POP
00001428: POP
00001429: RETURNDATASIZE
0000142a: DUP1
0000142b: PUSH1 0x00
0000142d: DUP2
0000142e: EQ
0000142f: PUSH2 0x1454
00001432: JUMPI
00001433: PUSH1 0x40
00001435: MLOAD
00001436: SWAP2
00001437: POP
00001438: PUSH1 0x1f
0000143a: NOT
0000143b: PUSH1 0x3f
0000143d: RETURNDATASIZE
0000143e: ADD
0000143f: AND
00001440: DUP3
00001441: ADD
00001442: PUSH1 0x40
00001444: MSTORE
00001445: RETURNDATASIZE
00001446: DUP3
00001447: MSTORE
00001448: RETURNDATASIZE
00001449: PUSH1 0x00
0000144b: PUSH1 0x20
0000144d: DUP5
0000144e: ADD
0000144f: RETURNDATACOPY
00001450: PUSH2 0x1459
00001453: JUMP
00001454: JUMPDEST
00001455: PUSH1 0x60
00001457: SWAP2
00001458: POP
00001459: JUMPDEST
0000145a: POP
0000145b: POP
0000145c: SWAP1
0000145d: POP
0000145e: DUP1
0000145f: PUSH2 0x14aa
00001462: JUMPI
00001463: PUSH1 0x40
00001465: MLOAD
00001466: PUSH3 0x461bcd
0000146a: PUSH1 0xe5
0000146c: SHL
0000146d: DUP2
0000146e: MSTORE
0000146f: PUSH1 0x20
00001471: PUSH1 0x04
00001473: DUP3
00001474: ADD
00001475: MSTORE
00001476: PUSH1 0x17
00001478: PUSH1 0x24
0000147a: DUP3
0000147b: ADD
0000147c: MSTORE
0000147d: PUSH32 0x466169724d696e743a20726566756e64206661696c6564000000000000000000
0000149e: PUSH1 0x44
000014a0: DUP3
000014a1: ADD
000014a2: MSTORE
000014a3: PUSH1 0x64
000014a5: ADD
000014a6: PUSH2 0x037a
000014a9: JUMP
000014aa: JUMPDEST
000014ab: PUSH1 0x40
000014ad: DUP1
000014ae: MLOAD
000014af: PUSH1 0x00
000014b1: DUP2
000014b2: MSTORE
000014b3: PUSH1 0x20
000014b5: DUP2
000014b6: ADD
000014b7: DUP6
000014b8: SWAP1
000014b9: MSTORE
000014ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014cf: DUP7
000014d0: AND
000014d1: SWAP2
000014d2: PUSH32 0xb24b09fd2e8e4d8904c3c26f3e935824e032891520ffda419dec9f086b0e1eea
000014f3: SWAP2
000014f4: ADD
000014f5: PUSH1 0x40
000014f7: MLOAD
000014f8: DUP1
000014f9: SWAP2
000014fa: SUB
000014fb: SWAP1
000014fc: LOG2
000014fd: POP
000014fe: POP
000014ff: POP
00001500: POP
00001501: PUSH2 0x0bb4
00001504: PUSH1 0x01
00001506: PUSH1 0x06
00001508: SSTORE
00001509: JUMP
0000150a: JUMPDEST
0000150b: PUSH2 0x1512
0000150e: PUSH2 0x2778
00001511: JUMP
00001512: JUMPDEST
00001513: PUSH1 0x07
00001515: SLOAD
00001516: PUSH1 0xff
00001518: AND
00001519: ISZERO
0000151a: PUSH2 0x1565
0000151d: JUMPI
0000151e: PUSH1 0x40
00001520: MLOAD
00001521: PUSH3 0x461bcd
00001525: PUSH1 0xe5
00001527: SHL
00001528: DUP2
00001529: MSTORE
0000152a: PUSH1 0x20
0000152c: PUSH1 0x04
0000152e: DUP3
0000152f: ADD
00001530: MSTORE
00001531: PUSH1 0x19
00001533: PUSH1 0x24
00001535: DUP3
00001536: ADD
00001537: MSTORE
00001538: PUSH32 0x466169724d696e743a20616c7265616479207374617274656400000000000000
00001559: PUSH1 0x44
0000155b: DUP3
0000155c: ADD
0000155d: MSTORE
0000155e: PUSH1 0x64
00001560: ADD
00001561: PUSH2 0x037a
00001564: JUMP
00001565: JUMPDEST
00001566: ADDRESS
00001567: PUSH1 0x00
00001569: SWAP1
0000156a: DUP2
0000156b: MSTORE
0000156c: PUSH1 0x20
0000156e: DUP2
0000156f: SWAP1
00001570: MSTORE
00001571: PUSH1 0x40
00001573: DUP2
00001574: KECCAK256
00001575: SLOAD
00001576: GT
00001577: PUSH2 0x15c2
0000157a: JUMPI
0000157b: PUSH1 0x40
0000157d: MLOAD
0000157e: PUSH3 0x461bcd
00001582: PUSH1 0xe5
00001584: SHL
00001585: DUP2
00001586: MSTORE
00001587: PUSH1 0x20
00001589: PUSH1 0x04
0000158b: DUP3
0000158c: ADD
0000158d: MSTORE
0000158e: PUSH1 0x14
00001590: PUSH1 0x24
00001592: DUP3
00001593: ADD
00001594: MSTORE
00001595: PUSH32 0x466169724d696e743a206e6f2062616c616e6365000000000000000000000000
000015b6: PUSH1 0x44
000015b8: DUP3
000015b9: ADD
000015ba: MSTORE
000015bb: PUSH1 0x64
000015bd: ADD
000015be: PUSH2 0x037a
000015c1: JUMP
000015c2: JUMPDEST
000015c3: PUSH1 0x00
000015c5: PUSH32 0x000000000000000000000000c36442b4a4522e871399cd717abdd847ab11fe88
000015e6: SWAP1
000015e7: POP
000015e8: PUSH1 0x00
000015ea: PUSH2 0x15f4
000015ed: PUSH1 0x0a
000015ef: SLOAD
000015f0: PUSH2 0x286b
000015f3: JUMP
000015f4: JUMPDEST
000015f5: SWAP1
000015f6: POP
000015f7: PUSH1 0x00
000015f9: DUP2
000015fa: PUSH1 0x0a
000015fc: SLOAD
000015fd: PUSH2 0x1606
00001600: SWAP2
00001601: SWAP1
00001602: PUSH2 0x2f32
00001605: JUMP
00001606: JUMPDEST
00001607: SWAP1
00001608: POP
00001609: PUSH1 0x00
0000160b: DUP1
0000160c: PUSH32 0x000000000000000000000000000000000000000000000001158e460913d00000
0000162d: GT
0000162e: PUSH2 0x1637
00001631: JUMPI
00001632: DUP2
00001633: PUSH2 0x1686
00001636: JUMP
00001637: JUMPDEST
00001638: DUP2
00001639: PUSH32 0x000000000000000000000000000000000000000000000001158e460913d00000
0000165a: LT
0000165b: PUSH2 0x1664
0000165e: JUMPI
0000165f: DUP2
00001660: PUSH2 0x1686
00001663: JUMP
00001664: JUMPDEST
00001665: PUSH32 0x000000000000000000000000000000000000000000000001158e460913d00000
00001686: JUMPDEST
00001687: SWAP1
00001688: POP
00001689: PUSH2 0x16d5
0000168c: ADDRESS
0000168d: PUSH32 0x000000000000000000000000c36442b4a4522e871399cd717abdd847ab11fe88
000016ae: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000016cf: PUSH1 0x00
000016d1: PUSH2 0x2885
000016d4: JUMP
000016d5: JUMPDEST
000016d6: PUSH1 0x00
000016d8: DUP1
000016d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016ee: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
0000170f: AND
00001710: ADDRESS
00001711: LT
00001712: PUSH2 0x173c
00001715: JUMPI
00001716: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00001737: ADDRESS
00001738: PUSH2 0x175f
0000173b: JUMP
0000173c: JUMPDEST
0000173d: ADDRESS
0000173e: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
0000175f: JUMPDEST
00001760: SWAP1
00001761: SWAP3
00001762: POP
00001763: SWAP1
00001764: POP
00001765: PUSH1 0x00
00001767: DUP1
00001768: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000177d: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
0000179e: AND
0000179f: ADDRESS
000017a0: LT
000017a1: PUSH2 0x17d5
000017a4: JUMPI
000017a5: DUP5
000017a6: PUSH2 0x17d0
000017a9: PUSH1 0x02
000017ab: PUSH32 0x0000000000000000000000000000000000000000409f9cbc7c4a04c220000000
000017cc: PUSH2 0x2eb5
000017cf: JUMP
000017d0: JUMPDEST
000017d1: PUSH2 0x1802
000017d4: JUMP
000017d5: JUMPDEST
000017d6: PUSH2 0x1800
000017d9: PUSH1 0x02
000017db: PUSH32 0x0000000000000000000000000000000000000000409f9cbc7c4a04c220000000
000017fc: PUSH2 0x2eb5
000017ff: JUMP
00001800: JUMPDEST
00001801: DUP6
00001802: JUMPDEST
00001803: SWAP2
00001804: POP
00001805: SWAP2
00001806: POP
00001807: PUSH1 0x00
00001809: PUSH1 0x40
0000180b: MLOAD
0000180c: DUP1
0000180d: PUSH2 0x0160
00001810: ADD
00001811: PUSH1 0x40
00001813: MSTORE
00001814: DUP1
00001815: DUP7
00001816: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000182b: AND
0000182c: DUP2
0000182d: MSTORE
0000182e: PUSH1 0x20
00001830: ADD
00001831: DUP6
00001832: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001847: AND
00001848: DUP2
00001849: MSTORE
0000184a: PUSH1 0x20
0000184c: ADD
0000184d: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000bb8
0000186e: PUSH3 0xffffff
00001872: AND
00001873: DUP2
00001874: MSTORE
00001875: PUSH1 0x20
00001877: ADD
00001878: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffff2764c
00001899: PUSH1 0x02
0000189b: SIGNEXTEND
0000189c: DUP2
0000189d: MSTORE
0000189e: PUSH1 0x20
000018a0: ADD
000018a1: PUSH32 0x00000000000000000000000000000000000000000000000000000000000d89b4
000018c2: PUSH1 0x02
000018c4: SIGNEXTEND
000018c5: DUP2
000018c6: MSTORE
000018c7: PUSH1 0x20
000018c9: ADD
000018ca: DUP5
000018cb: DUP2
000018cc: MSTORE
000018cd: PUSH1 0x20
000018cf: ADD
000018d0: DUP4
000018d1: DUP2
000018d2: MSTORE
000018d3: PUSH1 0x20
000018d5: ADD
000018d6: DUP7
000018d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018ec: AND
000018ed: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
0000190e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001923: AND
00001924: EQ
00001925: PUSH2 0x192f
00001928: JUMPI
00001929: PUSH1 0x00
0000192b: PUSH2 0x1948
0000192e: JUMP
0000192f: JUMPDEST
00001930: PUSH2 0x2710
00001933: PUSH2 0x193e
00001936: DUP7
00001937: PUSH2 0x2648
0000193a: PUSH2 0x2f45
0000193d: JUMP
0000193e: JUMPDEST
0000193f: PUSH2 0x1948
00001942: SWAP2
00001943: SWAP1
00001944: PUSH2 0x2eb5
00001947: JUMP
00001948: JUMPDEST
00001949: DUP2
0000194a: MSTORE
0000194b: PUSH1 0x20
0000194d: ADD
0000194e: DUP6
0000194f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001964: AND
00001965: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00001986: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000199b: AND
0000199c: EQ
0000199d: PUSH2 0x19a7
000019a0: JUMPI
000019a1: PUSH1 0x00
000019a3: PUSH2 0x19c0
000019a6: JUMP
000019a7: JUMPDEST
000019a8: PUSH2 0x2710
000019ab: PUSH2 0x19b6
000019ae: DUP6
000019af: PUSH2 0x2648
000019b2: PUSH2 0x2f45
000019b5: JUMP
000019b6: JUMPDEST
000019b7: PUSH2 0x19c0
000019ba: SWAP2
000019bb: SWAP1
000019bc: PUSH2 0x2eb5
000019bf: JUMP
000019c0: JUMPDEST
000019c1: DUP2
000019c2: MSTORE
000019c3: PUSH1 0x20
000019c5: ADD
000019c6: PUSH32 0x00000000000000000000000099090d2d220901de904c6e3d003d7ced4b6ec2a4
000019e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019fc: AND
000019fd: ISZERO
000019fe: PUSH2 0x1a07
00001a01: JUMPI
00001a02: ADDRESS
00001a03: PUSH2 0x1a0a
00001a06: JUMP
00001a07: JUMPDEST
00001a08: PUSH1 0x00
00001a0a: JUMPDEST
00001a0b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a20: AND
00001a21: DUP2
00001a22: MSTORE
00001a23: PUSH1 0x20
00001a25: ADD
00001a26: PUSH2 0x1a31
00001a29: TIMESTAMP
00001a2a: PUSH2 0x0e10
00001a2d: PUSH2 0x2f1f
00001a30: JUMP
00001a31: JUMPDEST
00001a32: DUP2
00001a33: MSTORE
00001a34: POP
00001a35: SWAP1
00001a36: POP
00001a37: PUSH1 0x00
00001a39: DUP1
00001a3a: PUSH1 0x00
00001a3c: DUP1
00001a3d: DUP13
00001a3e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a53: AND
00001a54: PUSH4 0x88316456
00001a59: DUP12
00001a5a: DUP8
00001a5b: PUSH1 0x40
00001a5d: MLOAD
00001a5e: DUP4
00001a5f: PUSH4 0xffffffff
00001a64: AND
00001a65: PUSH1 0xe0
00001a67: SHL
00001a68: DUP2
00001a69: MSTORE
00001a6a: PUSH1 0x04
00001a6c: ADD
00001a6d: PUSH2 0x1a76
00001a70: SWAP2
00001a71: SWAP1
00001a72: PUSH2 0x2f5c
00001a75: JUMP
00001a76: JUMPDEST
00001a77: PUSH1 0x80
00001a79: PUSH1 0x40
00001a7b: MLOAD
00001a7c: DUP1
00001a7d: DUP4
00001a7e: SUB
00001a7f: DUP2
00001a80: DUP6
00001a81: DUP9
00001a82: GAS
00001a83: CALL
00001a84: ISZERO
00001a85: DUP1
00001a86: ISZERO
00001a87: PUSH2 0x1a94
00001a8a: JUMPI
00001a8b: RETURNDATASIZE
00001a8c: PUSH1 0x00
00001a8e: DUP1
00001a8f: RETURNDATACOPY
00001a90: RETURNDATASIZE
00001a91: PUSH1 0x00
00001a93: REVERT
00001a94: JUMPDEST
00001a95: POP
00001a96: POP
00001a97: POP
00001a98: POP
00001a99: POP
00001a9a: PUSH1 0x40
00001a9c: MLOAD
00001a9d: RETURNDATASIZE
00001a9e: PUSH1 0x1f
00001aa0: NOT
00001aa1: PUSH1 0x1f
00001aa3: DUP3
00001aa4: ADD
00001aa5: AND
00001aa6: DUP3
00001aa7: ADD
00001aa8: DUP1
00001aa9: PUSH1 0x40
00001aab: MSTORE
00001aac: POP
00001aad: DUP2
00001aae: ADD
00001aaf: SWAP1
00001ab0: PUSH2 0x1ab9
00001ab3: SWAP2
00001ab4: SWAP1
00001ab5: PUSH2 0x3047
00001ab8: JUMP
00001ab9: JUMPDEST
00001aba: SWAP4
00001abb: POP
00001abc: SWAP4
00001abd: POP
00001abe: SWAP4
00001abf: POP
00001ac0: SWAP4
00001ac1: POP
00001ac2: DUP13
00001ac3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ad8: AND
00001ad9: PUSH4 0x12210e8a
00001ade: PUSH1 0x40
00001ae0: MLOAD
00001ae1: DUP2
00001ae2: PUSH4 0xffffffff
00001ae7: AND
00001ae8: PUSH1 0xe0
00001aea: SHL
00001aeb: DUP2
00001aec: MSTORE
00001aed: PUSH1 0x04
00001aef: ADD
00001af0: PUSH1 0x00
00001af2: PUSH1 0x40
00001af4: MLOAD
00001af5: DUP1
00001af6: DUP4
00001af7: SUB
00001af8: DUP2
00001af9: PUSH1 0x00
00001afb: DUP8
00001afc: DUP1
00001afd: EXTCODESIZE
00001afe: ISZERO
00001aff: DUP1
00001b00: ISZERO
00001b01: PUSH2 0x1b09
00001b04: JUMPI
00001b05: PUSH1 0x00
00001b07: DUP1
00001b08: REVERT
00001b09: JUMPDEST
00001b0a: POP
00001b0b: GAS
00001b0c: CALL
00001b0d: ISZERO
00001b0e: DUP1
00001b0f: ISZERO
00001b10: PUSH2 0x1b1d
00001b13: JUMPI
00001b14: RETURNDATASIZE
00001b15: PUSH1 0x00
00001b17: DUP1
00001b18: RETURNDATACOPY
00001b19: RETURNDATASIZE
00001b1a: PUSH1 0x00
00001b1c: REVERT
00001b1d: JUMPDEST
00001b1e: POP
00001b1f: POP
00001b20: PUSH1 0x07
00001b22: DUP1
00001b23: SLOAD
00001b24: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00001b45: AND
00001b46: PUSH1 0x01
00001b48: OR
00001b49: SWAP1
00001b4a: SSTORE
00001b4b: POP
00001b4c: PUSH2 0x1b78
00001b4f: SWAP1
00001b50: POP
00001b51: PUSH1 0x02
00001b53: PUSH32 0x0000000000000000000000000000000000000000409f9cbc7c4a04c220000000
00001b74: PUSH2 0x2eb5
00001b77: JUMP
00001b78: JUMPDEST
00001b79: PUSH1 0x40
00001b7b: MLOAD
00001b7c: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
00001b9d: DUP2
00001b9e: MSTORE
00001b9f: ADDRESS
00001ba0: PUSH1 0x04
00001ba2: DUP3
00001ba3: ADD
00001ba4: DUP2
00001ba5: SWAP1
00001ba6: MSTORE
00001ba7: SWAP1
00001ba8: PUSH4 0x70a08231
00001bad: SWAP1
00001bae: PUSH1 0x24
00001bb0: ADD
00001bb1: PUSH1 0x20
00001bb3: PUSH1 0x40
00001bb5: MLOAD
00001bb6: DUP1
00001bb7: DUP4
00001bb8: SUB
00001bb9: DUP2
00001bba: DUP7
00001bbb: GAS
00001bbc: STATICCALL
00001bbd: ISZERO
00001bbe: DUP1
00001bbf: ISZERO
00001bc0: PUSH2 0x1bcd
00001bc3: JUMPI
00001bc4: RETURNDATASIZE
00001bc5: PUSH1 0x00
00001bc7: DUP1
00001bc8: RETURNDATACOPY
00001bc9: RETURNDATASIZE
00001bca: PUSH1 0x00
00001bcc: REVERT
00001bcd: JUMPDEST
00001bce: POP
00001bcf: POP
00001bd0: POP
00001bd1: POP
00001bd2: PUSH1 0x40
00001bd4: MLOAD
00001bd5: RETURNDATASIZE
00001bd6: PUSH1 0x1f
00001bd8: NOT
00001bd9: PUSH1 0x1f
00001bdb: DUP3
00001bdc: ADD
00001bdd: AND
00001bde: DUP3
00001bdf: ADD
00001be0: DUP1
00001be1: PUSH1 0x40
00001be3: MSTORE
00001be4: POP
00001be5: DUP2
00001be6: ADD
00001be7: SWAP1
00001be8: PUSH2 0x1bf1
00001beb: SWAP2
00001bec: SWAP1
00001bed: PUSH2 0x309a
00001bf0: JUMP
00001bf1: JUMPDEST
00001bf2: GT
00001bf3: ISZERO
00001bf4: PUSH2 0x1c45
00001bf7: JUMPI
00001bf8: PUSH2 0x1c45
00001bfb: ADDRESS
00001bfc: PUSH2 0x1c26
00001bff: PUSH1 0x02
00001c01: PUSH32 0x0000000000000000000000000000000000000000409f9cbc7c4a04c220000000
00001c22: PUSH2 0x2eb5
00001c25: JUMP
00001c26: JUMPDEST
00001c27: ADDRESS
00001c28: PUSH1 0x00
00001c2a: SWAP1
00001c2b: DUP2
00001c2c: MSTORE
00001c2d: PUSH1 0x20
00001c2f: DUP2
00001c30: SWAP1
00001c31: MSTORE
00001c32: PUSH1 0x40
00001c34: SWAP1
00001c35: KECCAK256
00001c36: SLOAD
00001c37: PUSH2 0x1c40
00001c3a: SWAP2
00001c3b: SWAP1
00001c3c: PUSH2 0x2f32
00001c3f: JUMP
00001c40: JUMPDEST
00001c41: PUSH2 0x29ce
00001c44: JUMP
00001c45: JUMPDEST
00001c46: PUSH1 0x40
00001c48: DUP1
00001c49: MLOAD
00001c4a: DUP4
00001c4b: DUP2
00001c4c: MSTORE
00001c4d: PUSH1 0x20
00001c4f: DUP2
00001c50: ADD
00001c51: DUP4
00001c52: SWAP1
00001c53: MSTORE
00001c54: PUSH16 0xffffffffffffffffffffffffffffffff
00001c65: DUP6
00001c66: AND
00001c67: DUP2
00001c68: DUP4
00001c69: ADD
00001c6a: MSTORE
00001c6b: SWAP1
00001c6c: MLOAD
00001c6d: ADDRESS
00001c6e: SWAP2
00001c6f: PUSH32 0xef1e73540aed31615f5f09b178cff91261e831560c37718c23862e93a3fc3ceb
00001c90: SWAP2
00001c91: SWAP1
00001c92: DUP2
00001c93: SWAP1
00001c94: SUB
00001c95: PUSH1 0x60
00001c97: ADD
00001c98: SWAP1
00001c99: LOG2
00001c9a: PUSH32 0x00000000000000000000000099090d2d220901de904c6e3d003d7ced4b6ec2a4
00001cbb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cd0: AND
00001cd1: ISZERO
00001cd2: PUSH2 0x1f77
00001cd5: JUMPI
00001cd6: PUSH1 0x40
00001cd8: MLOAD
00001cd9: PUSH32 0x095ea7b300000000000000000000000000000000000000000000000000000000
00001cfa: DUP2
00001cfb: MSTORE
00001cfc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d11: PUSH32 0x00000000000000000000000099090d2d220901de904c6e3d003d7ced4b6ec2a4
00001d32: DUP2
00001d33: AND
00001d34: PUSH1 0x04
00001d36: DUP4
00001d37: ADD
00001d38: MSTORE
00001d39: PUSH1 0x24
00001d3b: DUP3
00001d3c: ADD
00001d3d: DUP7
00001d3e: SWAP1
00001d3f: MSTORE
00001d40: PUSH32 0x000000000000000000000000c36442b4a4522e871399cd717abdd847ab11fe88
00001d61: AND
00001d62: SWAP1
00001d63: PUSH4 0x095ea7b3
00001d68: SWAP1
00001d69: PUSH1 0x44
00001d6b: ADD
00001d6c: PUSH1 0x00
00001d6e: PUSH1 0x40
00001d70: MLOAD
00001d71: DUP1
00001d72: DUP4
00001d73: SUB
00001d74: DUP2
00001d75: PUSH1 0x00
00001d77: DUP8
00001d78: DUP1
00001d79: EXTCODESIZE
00001d7a: ISZERO
00001d7b: DUP1
00001d7c: ISZERO
00001d7d: PUSH2 0x1d85
00001d80: JUMPI
00001d81: PUSH1 0x00
00001d83: DUP1
00001d84: REVERT
00001d85: JUMPDEST
00001d86: POP
00001d87: GAS
00001d88: CALL
00001d89: ISZERO
00001d8a: DUP1
00001d8b: ISZERO
00001d8c: PUSH2 0x1d99
00001d8f: JUMPI
00001d90: RETURNDATASIZE
00001d91: PUSH1 0x00
00001d93: DUP1
00001d94: RETURNDATACOPY
00001d95: RETURNDATASIZE
00001d96: PUSH1 0x00
00001d98: REVERT
00001d99: JUMPDEST
00001d9a: POP
00001d9b: POP
00001d9c: PUSH1 0x40
00001d9e: MLOAD
00001d9f: PUSH32 0xe2ab691d00000000000000000000000000000000000000000000000000000000
00001dc0: DUP2
00001dc1: MSTORE
00001dc2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dd7: PUSH32 0x000000000000000000000000c36442b4a4522e871399cd717abdd847ab11fe88
00001df8: DUP2
00001df9: AND
00001dfa: PUSH1 0x04
00001dfc: DUP4
00001dfd: ADD
00001dfe: MSTORE
00001dff: PUSH1 0x24
00001e01: DUP3
00001e02: ADD
00001e03: DUP9
00001e04: SWAP1
00001e05: MSTORE
00001e06: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001e27: PUSH1 0x44
00001e29: DUP4
00001e2a: ADD
00001e2b: MSTORE
00001e2c: PUSH32 0x00000000000000000000000099090d2d220901de904c6e3d003d7ced4b6ec2a4
00001e4d: SWAP4
00001e4e: POP
00001e4f: PUSH1 0x00
00001e51: SWAP3
00001e52: POP
00001e53: DUP4
00001e54: AND
00001e55: SWAP1
00001e56: PUSH4 0xe2ab691d
00001e5b: SWAP1
00001e5c: PUSH1 0x64
00001e5e: ADD
00001e5f: PUSH1 0x20
00001e61: PUSH1 0x40
00001e63: MLOAD
00001e64: DUP1
00001e65: DUP4
00001e66: SUB
00001e67: DUP2
00001e68: PUSH1 0x00
00001e6a: DUP8
00001e6b: GAS
00001e6c: CALL
00001e6d: ISZERO
00001e6e: DUP1
00001e6f: ISZERO
00001e70: PUSH2 0x1e7d
00001e73: JUMPI
00001e74: RETURNDATASIZE
00001e75: PUSH1 0x00
00001e77: DUP1
00001e78: RETURNDATACOPY
00001e79: RETURNDATASIZE
00001e7a: PUSH1 0x00
00001e7c: REVERT
00001e7d: JUMPDEST
00001e7e: POP
00001e7f: POP
00001e80: POP
00001e81: POP
00001e82: PUSH1 0x40
00001e84: MLOAD
00001e85: RETURNDATASIZE
00001e86: PUSH1 0x1f
00001e88: NOT
00001e89: PUSH1 0x1f
00001e8b: DUP3
00001e8c: ADD
00001e8d: AND
00001e8e: DUP3
00001e8f: ADD
00001e90: DUP1
00001e91: PUSH1 0x40
00001e93: MSTORE
00001e94: POP
00001e95: DUP2
00001e96: ADD
00001e97: SWAP1
00001e98: PUSH2 0x1ea1
00001e9b: SWAP2
00001e9c: SWAP1
00001e9d: PUSH2 0x309a
00001ea0: JUMP
00001ea1: JUMPDEST
00001ea2: PUSH1 0x40
00001ea4: MLOAD
00001ea5: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000
00001ec6: DUP2
00001ec7: MSTORE
00001ec8: ADDRESS
00001ec9: PUSH1 0x04
00001ecb: DUP3
00001ecc: ADD
00001ecd: MSTORE
00001ece: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ee3: PUSH32 0x000000000000000000000000a0f7b92b4f6eb51b0dce12b3e473dbae0bf24ce0
00001f04: DUP2
00001f05: AND
00001f06: PUSH1 0x24
00001f08: DUP4
00001f09: ADD
00001f0a: MSTORE
00001f0b: PUSH1 0x44
00001f0d: DUP3
00001f0e: ADD
00001f0f: DUP4
00001f10: SWAP1
00001f11: MSTORE
00001f12: SWAP2
00001f13: SWAP3
00001f14: POP
00001f15: PUSH32 0x00000000000000000000000099090d2d220901de904c6e3d003d7ced4b6ec2a4
00001f36: SWAP1
00001f37: SWAP2
00001f38: AND
00001f39: SWAP1
00001f3a: PUSH4 0x23b872dd
00001f3f: SWAP1
00001f40: PUSH1 0x64
00001f42: ADD
00001f43: PUSH1 0x00
00001f45: PUSH1 0x40
00001f47: MLOAD
00001f48: DUP1
00001f49: DUP4
00001f4a: SUB
00001f4b: DUP2
00001f4c: PUSH1 0x00
00001f4e: DUP8
00001f4f: DUP1
00001f50: EXTCODESIZE
00001f51: ISZERO
00001f52: DUP1
00001f53: ISZERO
00001f54: PUSH2 0x1f5c
00001f57: JUMPI
00001f58: PUSH1 0x00
00001f5a: DUP1
00001f5b: REVERT
00001f5c: JUMPDEST
00001f5d: POP
00001f5e: GAS
00001f5f: CALL
00001f60: ISZERO
00001f61: DUP1
00001f62: ISZERO
00001f63: PUSH2 0x1f70
00001f66: JUMPI
00001f67: RETURNDATASIZE
00001f68: PUSH1 0x00
00001f6a: DUP1
00001f6b: RETURNDATACOPY
00001f6c: RETURNDATASIZE
00001f6d: PUSH1 0x00
00001f6f: REVERT
00001f70: JUMPDEST
00001f71: POP
00001f72: POP
00001f73: POP
00001f74: POP
00001f75: POP
00001f76: POP
00001f77: JUMPDEST
00001f78: DUP12
00001f79: ISZERO
00001f7a: PUSH2 0x2142
00001f7d: JUMPI
00001f7e: PUSH1 0x00
00001f80: PUSH32 0x00000000000000000000000069691ce612c244b0829b9e124cca063816da1448
00001fa1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fb6: AND
00001fb7: PUSH2 0x03e8
00001fba: PUSH1 0x0a
00001fbc: SLOAD
00001fbd: PUSH2 0x1fc6
00001fc0: SWAP2
00001fc1: SWAP1
00001fc2: PUSH2 0x2eb5
00001fc5: JUMP
00001fc6: JUMPDEST
00001fc7: PUSH1 0x40
00001fc9: MLOAD
00001fca: PUSH1 0x00
00001fcc: DUP2
00001fcd: DUP2
00001fce: DUP2
00001fcf: DUP6
00001fd0: DUP8
00001fd1: GAS
00001fd2: CALL
00001fd3: SWAP3
00001fd4: POP
00001fd5: POP
00001fd6: POP
00001fd7: RETURNDATASIZE
00001fd8: DUP1
00001fd9: PUSH1 0x00
00001fdb: DUP2
00001fdc: EQ
00001fdd: PUSH2 0x2002
00001fe0: JUMPI
00001fe1: PUSH1 0x40
00001fe3: MLOAD
00001fe4: SWAP2
00001fe5: POP
00001fe6: PUSH1 0x1f
00001fe8: NOT
00001fe9: PUSH1 0x3f
00001feb: RETURNDATASIZE
00001fec: ADD
00001fed: AND
00001fee: DUP3
00001fef: ADD
00001ff0: PUSH1 0x40
00001ff2: MSTORE
00001ff3: RETURNDATASIZE
00001ff4: DUP3
00001ff5: MSTORE
00001ff6: RETURNDATASIZE
00001ff7: PUSH1 0x00
00001ff9: PUSH1 0x20
00001ffb: DUP5
00001ffc: ADD
00001ffd: RETURNDATACOPY
00001ffe: PUSH2 0x2007
00002001: JUMP
00002002: JUMPDEST
00002003: PUSH1 0x60
00002005: SWAP2
00002006: POP
00002007: JUMPDEST
00002008: POP
00002009: POP
0000200a: SWAP1
0000200b: POP
0000200c: DUP1
0000200d: PUSH2 0x2058
00002010: JUMPI
00002011: PUSH1 0x40
00002013: MLOAD
00002014: PUSH3 0x461bcd
00002018: PUSH1 0xe5
0000201a: SHL
0000201b: DUP2
0000201c: MSTORE
0000201d: PUSH1 0x20
0000201f: PUSH1 0x04
00002021: DUP3
00002022: ADD
00002023: MSTORE
00002024: PUSH1 0x1b
00002026: PUSH1 0x24
00002028: DUP3
00002029: ADD
0000202a: MSTORE
0000202b: PUSH32 0x466169724d696e743a20726566756e6420666565206661696c65640000000000
0000204c: PUSH1 0x44
0000204e: DUP3
0000204f: ADD
00002050: MSTORE
00002051: PUSH1 0x64
00002053: ADD
00002054: PUSH2 0x037a
00002057: JUMP
00002058: JUMPDEST
00002059: PUSH1 0x00
0000205b: PUSH32 0x000000000000000000000000a0f7b92b4f6eb51b0dce12b3e473dbae0bf24ce0
0000207c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002091: AND
00002092: PUSH2 0x03e8
00002095: PUSH1 0x0a
00002097: SLOAD
00002098: PUSH1 0x02
0000209a: PUSH2 0x20a3
0000209d: SWAP2
0000209e: SWAP1
0000209f: PUSH2 0x2f45
000020a2: JUMP
000020a3: JUMPDEST
000020a4: PUSH2 0x20ad
000020a7: SWAP2
000020a8: SWAP1
000020a9: PUSH2 0x2eb5
000020ac: JUMP
000020ad: JUMPDEST
000020ae: PUSH1 0x40
000020b0: MLOAD
000020b1: PUSH1 0x00
000020b3: DUP2
000020b4: DUP2
000020b5: DUP2
000020b6: DUP6
000020b7: DUP8
000020b8: GAS
000020b9: CALL
000020ba: SWAP3
000020bb: POP
000020bc: POP
000020bd: POP
000020be: RETURNDATASIZE
000020bf: DUP1
000020c0: PUSH1 0x00
000020c2: DUP2
000020c3: EQ
000020c4: PUSH2 0x20e9
000020c7: JUMPI
000020c8: PUSH1 0x40
000020ca: MLOAD
000020cb: SWAP2
000020cc: POP
000020cd: PUSH1 0x1f
000020cf: NOT
000020d0: PUSH1 0x3f
000020d2: RETURNDATASIZE
000020d3: ADD
000020d4: AND
000020d5: DUP3
000020d6: ADD
000020d7: PUSH1 0x40
000020d9: MSTORE
000020da: RETURNDATASIZE
000020db: DUP3
000020dc: MSTORE
000020dd: RETURNDATASIZE
000020de: PUSH1 0x00
000020e0: PUSH1 0x20
000020e2: DUP5
000020e3: ADD
000020e4: RETURNDATACOPY
000020e5: PUSH2 0x20ee
000020e8: JUMP
000020e9: JUMPDEST
000020ea: PUSH1 0x60
000020ec: SWAP2
000020ed: POP
000020ee: JUMPDEST
000020ef: POP
000020f0: POP
000020f1: SWAP1
000020f2: POP
000020f3: DUP1
000020f4: PUSH2 0x213f
000020f7: JUMPI
000020f8: PUSH1 0x40
000020fa: MLOAD
000020fb: PUSH3 0x461bcd
000020ff: PUSH1 0xe5
00002101: SHL
00002102: DUP2
00002103: MSTORE
00002104: PUSH1 0x20
00002106: PUSH1 0x04
00002108: DUP3
00002109: ADD
0000210a: MSTORE
0000210b: PUSH1 0x1c
0000210d: PUSH1 0x24
0000210f: DUP3
00002110: ADD
00002111: MSTORE
00002112: PUSH32 0x466169724d696e743a2070726f6a65637420666565206661696c656400000000
00002133: PUSH1 0x44
00002135: DUP3
00002136: ADD
00002137: MSTORE
00002138: PUSH1 0x64
0000213a: ADD
0000213b: PUSH2 0x037a
0000213e: JUMP
0000213f: JUMPDEST
00002140: POP
00002141: POP
00002142: JUMPDEST
00002143: PUSH1 0x40
00002145: MLOAD
00002146: PUSH1 0x00
00002148: SWAP1
00002149: CALLER
0000214a: SWAP1
0000214b: PUSH7 0x01c6bf52634000
00002153: SWAP1
00002154: DUP4
00002155: DUP2
00002156: DUP2
00002157: DUP2
00002158: DUP6
00002159: DUP8
0000215a: GAS
0000215b: CALL
0000215c: SWAP3
0000215d: POP
0000215e: POP
0000215f: POP
00002160: RETURNDATASIZE
00002161: DUP1
00002162: PUSH1 0x00
00002164: DUP2
00002165: EQ
00002166: PUSH2 0x218b
00002169: JUMPI
0000216a: PUSH1 0x40
0000216c: MLOAD
0000216d: SWAP2
0000216e: POP
0000216f: PUSH1 0x1f
00002171: NOT
00002172: PUSH1 0x3f
00002174: RETURNDATASIZE
00002175: ADD
00002176: AND
00002177: DUP3
00002178: ADD
00002179: PUSH1 0x40
0000217b: MSTORE
0000217c: RETURNDATASIZE
0000217d: DUP3
0000217e: MSTORE
0000217f: RETURNDATASIZE
00002180: PUSH1 0x00
00002182: PUSH1 0x20
00002184: DUP5
00002185: ADD
00002186: RETURNDATACOPY
00002187: PUSH2 0x2190
0000218a: JUMP
0000218b: JUMPDEST
0000218c: PUSH1 0x60
0000218e: SWAP2
0000218f: POP
00002190: JUMPDEST
00002191: POP
00002192: POP
00002193: SWAP1
00002194: POP
00002195: DUP1
00002196: PUSH2 0x21e1
00002199: JUMPI
0000219a: PUSH1 0x40
0000219c: MLOAD
0000219d: PUSH3 0x461bcd
000021a1: PUSH1 0xe5
000021a3: SHL
000021a4: DUP2
000021a5: MSTORE
000021a6: PUSH1 0x20
000021a8: PUSH1 0x04
000021aa: DUP3
000021ab: ADD
000021ac: MSTORE
000021ad: PUSH1 0x15
000021af: PUSH1 0x24
000021b1: DUP3
000021b2: ADD
000021b3: MSTORE
000021b4: PUSH32 0x466169724d696e743a206d696e74206661696c65640000000000000000000000
000021d5: PUSH1 0x44
000021d7: DUP3
000021d8: ADD
000021d9: MSTORE
000021da: PUSH1 0x64
000021dc: ADD
000021dd: PUSH2 0x037a
000021e0: JUMP
000021e1: JUMPDEST
000021e2: POP
000021e3: POP
000021e4: POP
000021e5: POP
000021e6: POP
000021e7: POP
000021e8: POP
000021e9: POP
000021ea: POP
000021eb: POP
000021ec: POP
000021ed: POP
000021ee: POP
000021ef: POP
000021f0: PUSH2 0x0bb4
000021f3: PUSH1 0x01
000021f5: PUSH1 0x06
000021f7: SSTORE
000021f8: JUMP
000021f9: JUMPDEST
000021fa: PUSH2 0x2201
000021fd: PUSH2 0x2778
00002200: JUMP
00002201: JUMPDEST
00002202: PUSH1 0x07
00002204: SLOAD
00002205: PUSH1 0xff
00002207: AND
00002208: ISZERO
00002209: PUSH2 0x2254
0000220c: JUMPI
0000220d: PUSH1 0x40
0000220f: MLOAD
00002210: PUSH3 0x461bcd
00002214: PUSH1 0xe5
00002216: SHL
00002217: DUP2
00002218: MSTORE
00002219: PUSH1 0x20
0000221b: PUSH1 0x04
0000221d: DUP3
0000221e: ADD
0000221f: MSTORE
00002220: PUSH1 0x19
00002222: PUSH1 0x24
00002224: DUP3
00002225: ADD
00002226: MSTORE
00002227: PUSH32 0x466169724d696e743a20616c7265616479207374617274656400000000000000
00002248: PUSH1 0x44
0000224a: DUP3
0000224b: ADD
0000224c: MSTORE
0000224d: PUSH1 0x64
0000224f: ADD
00002250: PUSH2 0x037a
00002253: JUMP
00002254: JUMPDEST
00002255: PUSH6 0x5af3107a4000
0000225c: CALLVALUE
0000225d: LT
0000225e: ISZERO
0000225f: PUSH2 0x22aa
00002262: JUMPI
00002263: PUSH1 0x40
00002265: MLOAD
00002266: PUSH3 0x461bcd
0000226a: PUSH1 0xe5
0000226c: SHL
0000226d: DUP2
0000226e: MSTORE
0000226f: PUSH1 0x20
00002271: PUSH1 0x04
00002273: DUP3
00002274: ADD
00002275: MSTORE
00002276: PUSH1 0x17
00002278: PUSH1 0x24
0000227a: DUP3
0000227b: ADD
0000227c: MSTORE
0000227d: PUSH32 0x466169724d696e743a2076616c756520746f6f206c6f77000000000000000000
0000229e: PUSH1 0x44
000022a0: DUP3
000022a1: ADD
000022a2: MSTORE
000022a3: PUSH1 0x64
000022a5: ADD
000022a6: PUSH2 0x037a
000022a9: JUMP
000022aa: JUMPDEST
000022ab: CALLER
000022ac: PUSH1 0x00
000022ae: SWAP1
000022af: DUP2
000022b0: MSTORE
000022b1: PUSH1 0x08
000022b3: PUSH1 0x20
000022b5: MSTORE
000022b6: PUSH1 0x40
000022b8: SWAP1
000022b9: KECCAK256
000022ba: SLOAD
000022bb: PUSH8 0x8ac7230489e80000
000022c4: SWAP1
000022c5: PUSH2 0x22cf
000022c8: SWAP1
000022c9: CALLVALUE
000022ca: SWAP1
000022cb: PUSH2 0x2f1f
000022ce: JUMP
000022cf: JUMPDEST
000022d0: GT
000022d1: ISZERO
000022d2: PUSH2 0x231d
000022d5: JUMPI
000022d6: PUSH1 0x40
000022d8: MLOAD
000022d9: PUSH3 0x461bcd
000022dd: PUSH1 0xe5
000022df: SHL
000022e0: DUP2
000022e1: MSTORE
000022e2: PUSH1 0x20
000022e4: PUSH1 0x04
000022e6: DUP3
000022e7: ADD
000022e8: MSTORE
000022e9: PUSH1 0x1c
000022eb: PUSH1 0x24
000022ed: DUP3
000022ee: ADD
000022ef: MSTORE
000022f0: PUSH32 0x466169724d696e743a2066756e64206c696d6974207265616368656400000000
00002311: PUSH1 0x44
00002313: DUP3
00002314: ADD
00002315: MSTORE
00002316: PUSH1 0x64
00002318: ADD
00002319: PUSH2 0x037a
0000231c: JUMP
0000231d: JUMPDEST
0000231e: CALLER
0000231f: PUSH1 0x00
00002321: SWAP1
00002322: DUP2
00002323: MSTORE
00002324: PUSH1 0x08
00002326: PUSH1 0x20
00002328: MSTORE
00002329: PUSH1 0x40
0000232b: DUP2
0000232c: KECCAK256
0000232d: DUP1
0000232e: SLOAD
0000232f: CALLVALUE
00002330: SWAP3
00002331: SWAP1
00002332: PUSH2 0x233c
00002335: SWAP1
00002336: DUP5
00002337: SWAP1
00002338: PUSH2 0x2f1f
0000233b: JUMP
0000233c: JUMPDEST
0000233d: SWAP3
0000233e: POP
0000233f: POP
00002340: DUP2
00002341: SWAP1
00002342: SSTORE
00002343: POP
00002344: CALLVALUE
00002345: PUSH1 0x0a
00002347: PUSH1 0x00
00002349: DUP3
0000234a: DUP3
0000234b: SLOAD
0000234c: PUSH2 0x2355
0000234f: SWAP2
00002350: SWAP1
00002351: PUSH2 0x2f1f
00002354: JUMP
00002355: JUMPDEST
00002356: SWAP1
00002357: SWAP2
00002358: SSTORE
00002359: POP
0000235a: POP
0000235b: PUSH1 0x40
0000235d: DUP1
0000235e: MLOAD
0000235f: CALLVALUE
00002360: DUP2
00002361: MSTORE
00002362: PUSH1 0x00
00002364: PUSH1 0x20
00002366: DUP3
00002367: ADD
00002368: MSTORE
00002369: CALLER
0000236a: SWAP2
0000236b: PUSH32 0x4c10b3a5590fcdc7a6f3b564c09870bd275facbd00a0bcf68c8b069e32f9508b
0000238c: SWAP2
0000238d: ADD
0000238e: PUSH1 0x40
00002390: MLOAD
00002391: DUP1
00002392: SWAP2
00002393: SUB
00002394: SWAP1
00002395: LOG2
00002396: PUSH2 0x0bb4
00002399: PUSH1 0x01
0000239b: PUSH1 0x06
0000239d: SSTORE
0000239e: JUMP
0000239f: JUMPDEST
000023a0: PUSH1 0x60
000023a2: PUSH1 0x03
000023a4: DUP1
000023a5: SLOAD
000023a6: PUSH2 0x23ae
000023a9: SWAP1
000023aa: PUSH2 0x30b3
000023ad: JUMP
000023ae: JUMPDEST
000023af: DUP1
000023b0: PUSH1 0x1f
000023b2: ADD
000023b3: PUSH1 0x20
000023b5: DUP1
000023b6: SWAP2
000023b7: DIV
000023b8: MUL
000023b9: PUSH1 0x20
000023bb: ADD
000023bc: PUSH1 0x40
000023be: MLOAD
000023bf: SWAP1
000023c0: DUP2
000023c1: ADD
000023c2: PUSH1 0x40
000023c4: MSTORE
000023c5: DUP1
000023c6: SWAP3
000023c7: SWAP2
000023c8: SWAP1
000023c9: DUP2
000023ca: DUP2
000023cb: MSTORE
000023cc: PUSH1 0x20
000023ce: ADD
000023cf: DUP3
000023d0: DUP1
000023d1: SLOAD
000023d2: PUSH2 0x23da
000023d5: SWAP1
000023d6: PUSH2 0x30b3
000023d9: JUMP
000023da: JUMPDEST
000023db: DUP1
000023dc: ISZERO
000023dd: PUSH2 0x2427
000023e0: JUMPI
000023e1: DUP1
000023e2: PUSH1 0x1f
000023e4: LT
000023e5: PUSH2 0x23fc
000023e8: JUMPI
000023e9: PUSH2 0x0100
000023ec: DUP1
000023ed: DUP4
000023ee: SLOAD
000023ef: DIV
000023f0: MUL
000023f1: DUP4
000023f2: MSTORE
000023f3: SWAP2
000023f4: PUSH1 0x20
000023f6: ADD
000023f7: SWAP2
000023f8: PUSH2 0x2427
000023fb: JUMP
000023fc: JUMPDEST
000023fd: DUP3
000023fe: ADD
000023ff: SWAP2
00002400: SWAP1
00002401: PUSH1 0x00
00002403: MSTORE
00002404: PUSH1 0x20
00002406: PUSH1 0x00
00002408: KECCAK256
00002409: SWAP1
0000240a: JUMPDEST
0000240b: DUP2
0000240c: SLOAD
0000240d: DUP2
0000240e: MSTORE
0000240f: SWAP1
00002410: PUSH1 0x01
00002412: ADD
00002413: SWAP1
00002414: PUSH1 0x20
00002416: ADD
00002417: DUP1
00002418: DUP4
00002419: GT
0000241a: PUSH2 0x240a
0000241d: JUMPI
0000241e: DUP3
0000241f: SWAP1
00002420: SUB
00002421: PUSH1 0x1f
00002423: AND
00002424: DUP3
00002425: ADD
00002426: SWAP2
00002427: JUMPDEST
00002428: POP
00002429: POP
0000242a: POP
0000242b: POP
0000242c: POP
0000242d: SWAP1
0000242e: POP
0000242f: SWAP1
00002430: JUMP
00002431: JUMPDEST
00002432: PUSH1 0x00
00002434: CALLER
00002435: PUSH2 0x243f
00002438: DUP2
00002439: DUP6
0000243a: DUP6
0000243b: PUSH2 0x2a2e
0000243e: JUMP
0000243f: JUMPDEST
00002440: PUSH1 0x01
00002442: SWAP2
00002443: POP
00002444: POP
00002445: JUMPDEST
00002446: SWAP3
00002447: SWAP2
00002448: POP
00002449: POP
0000244a: JUMP
0000244b: JUMPDEST
0000244c: PUSH1 0x00
0000244e: CALLER
0000244f: PUSH2 0x2459
00002452: DUP6
00002453: DUP3
00002454: DUP6
00002455: PUSH2 0x2a3b
00002458: JUMP
00002459: JUMPDEST
0000245a: PUSH2 0x2464
0000245d: DUP6
0000245e: DUP6
0000245f: DUP6
00002460: PUSH2 0x27bb
00002463: JUMP
00002464: JUMPDEST
00002465: POP
00002466: PUSH1 0x01
00002468: SWAP5
00002469: SWAP4
0000246a: POP
0000246b: POP
0000246c: POP
0000246d: POP
0000246e: JUMP
0000246f: JUMPDEST
00002470: PUSH1 0x00
00002472: PUSH1 0x0a
00002474: SLOAD
00002475: PUSH1 0x00
00002477: SUB
00002478: PUSH2 0x2483
0000247b: JUMPI
0000247c: POP
0000247d: PUSH1 0x00
0000247f: SWAP2
00002480: SWAP1
00002481: POP
00002482: JUMP
00002483: JUMPDEST
00002484: PUSH1 0x0a
00002486: SLOAD
00002487: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000249c: DUP4
0000249d: AND
0000249e: PUSH1 0x00
000024a0: SWAP1
000024a1: DUP2
000024a2: MSTORE
000024a3: PUSH1 0x08
000024a5: PUSH1 0x20
000024a7: MSTORE
000024a8: PUSH1 0x40
000024aa: DUP2
000024ab: KECCAK256
000024ac: SLOAD
000024ad: SWAP1
000024ae: SWAP2
000024af: SWAP1
000024b0: PUSH1 0x02
000024b2: SWAP1
000024b3: PUSH2 0x24dc
000024b6: SWAP1
000024b7: PUSH32 0x0000000000000000000000000000000000000000409f9cbc7c4a04c220000000
000024d8: PUSH2 0x2f45
000024db: JUMP
000024dc: JUMPDEST
000024dd: PUSH2 0x24e6
000024e0: SWAP2
000024e1: SWAP1
000024e2: PUSH2 0x2eb5
000024e5: JUMP
000024e6: JUMPDEST
000024e7: PUSH2 0x24f0
000024ea: SWAP2
000024eb: SWAP1
000024ec: PUSH2 0x2eb5
000024ef: JUMP
000024f0: JUMPDEST
000024f1: SWAP4
000024f2: SWAP3
000024f3: POP
000024f4: POP
000024f5: POP
000024f6: JUMP
000024f7: JUMPDEST
000024f8: PUSH1 0x60
000024fa: PUSH1 0x04
000024fc: DUP1
000024fd: SLOAD
000024fe: PUSH2 0x23ae
00002501: SWAP1
00002502: PUSH2 0x30b3
00002505: JUMP
00002506: JUMPDEST
00002507: PUSH1 0x00
00002509: CALLER
0000250a: PUSH2 0x243f
0000250d: DUP2
0000250e: DUP6
0000250f: DUP6
00002510: PUSH2 0x27bb
00002513: JUMP
00002514: JUMPDEST
00002515: PUSH1 0x00
00002517: DUP1
00002518: PUSH2 0x2522
0000251b: PUSH1 0x0a
0000251d: SLOAD
0000251e: PUSH2 0x286b
00002521: JUMP
00002522: JUMPDEST
00002523: PUSH1 0x0a
00002525: SLOAD
00002526: PUSH2 0x252f
00002529: SWAP2
0000252a: SWAP1
0000252b: PUSH2 0x2f32
0000252e: JUMP
0000252f: JUMPDEST
00002530: SWAP1
00002531: POP
00002532: PUSH32 0x000000000000000000000000000000000000000000000001158e460913d00000
00002553: DUP2
00002554: GT
00002555: ISZERO
00002556: PUSH2 0x25cb
00002559: JUMPI
0000255a: PUSH1 0x0a
0000255c: SLOAD
0000255d: PUSH1 0x00
0000255f: SWAP1
00002560: PUSH2 0x2589
00002563: PUSH32 0x000000000000000000000000000000000000000000000001158e460913d00000
00002584: DUP5
00002585: PUSH2 0x2f32
00002588: JUMP
00002589: JUMPDEST
0000258a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000259f: DUP7
000025a0: AND
000025a1: PUSH1 0x00
000025a3: SWAP1
000025a4: DUP2
000025a5: MSTORE
000025a6: PUSH1 0x08
000025a8: PUSH1 0x20
000025aa: MSTORE
000025ab: PUSH1 0x40
000025ad: SWAP1
000025ae: KECCAK256
000025af: SLOAD
000025b0: PUSH2 0x25b9
000025b3: SWAP2
000025b4: SWAP1
000025b5: PUSH2 0x2f45
000025b8: JUMP
000025b9: JUMPDEST
000025ba: PUSH2 0x25c3
000025bd: SWAP2
000025be: SWAP1
000025bf: PUSH2 0x2eb5
000025c2: JUMP
000025c3: JUMPDEST
000025c4: SWAP5
000025c5: SWAP4
000025c6: POP
000025c7: POP
000025c8: POP
000025c9: POP
000025ca: JUMP
000025cb: JUMPDEST
000025cc: POP
000025cd: PUSH1 0x00
000025cf: SWAP3
000025d0: SWAP2
000025d1: POP
000025d2: POP
000025d3: JUMP
000025d4: JUMPDEST
000025d5: PUSH1 0x05
000025d7: DUP1
000025d8: SLOAD
000025d9: PUSH2 0x25e1
000025dc: SWAP1
000025dd: PUSH2 0x30b3
000025e0: JUMP
000025e1: JUMPDEST
000025e2: DUP1
000025e3: PUSH1 0x1f
000025e5: ADD
000025e6: PUSH1 0x20
000025e8: DUP1
000025e9: SWAP2
000025ea: DIV
000025eb: MUL
000025ec: PUSH1 0x20
000025ee: ADD
000025ef: PUSH1 0x40
000025f1: MLOAD
000025f2: SWAP1
000025f3: DUP2
000025f4: ADD
000025f5: PUSH1 0x40
000025f7: MSTORE
000025f8: DUP1
000025f9: SWAP3
000025fa: SWAP2
000025fb: SWAP1
000025fc: DUP2
000025fd: DUP2
000025fe: MSTORE
000025ff: PUSH1 0x20
00002601: ADD
00002602: DUP3
00002603: DUP1
00002604: SLOAD
00002605: PUSH2 0x260d
00002608: SWAP1
00002609: PUSH2 0x30b3
0000260c: JUMP
0000260d: JUMPDEST
0000260e: DUP1
0000260f: ISZERO
00002610: PUSH2 0x265a
00002613: JUMPI
00002614: DUP1
00002615: PUSH1 0x1f
00002617: LT
00002618: PUSH2 0x262f
0000261b: JUMPI
0000261c: PUSH2 0x0100
0000261f: DUP1
00002620: DUP4
00002621: SLOAD
00002622: DIV
00002623: MUL
00002624: DUP4
00002625: MSTORE
00002626: SWAP2
00002627: PUSH1 0x20
00002629: ADD
0000262a: SWAP2
0000262b: PUSH2 0x265a
0000262e: JUMP
0000262f: JUMPDEST
00002630: DUP3
00002631: ADD
00002632: SWAP2
00002633: SWAP1
00002634: PUSH1 0x00
00002636: MSTORE
00002637: PUSH1 0x20
00002639: PUSH1 0x00
0000263b: KECCAK256
0000263c: SWAP1
0000263d: JUMPDEST
0000263e: DUP2
0000263f: SLOAD
00002640: DUP2
00002641: MSTORE
00002642: SWAP1
00002643: PUSH1 0x01
00002645: ADD
00002646: SWAP1
00002647: PUSH1 0x20
00002649: ADD
0000264a: DUP1
0000264b: DUP4
0000264c: GT
0000264d: PUSH2 0x263d
00002650: JUMPI
00002651: DUP3
00002652: SWAP1
00002653: SUB
00002654: PUSH1 0x1f
00002656: AND
00002657: DUP3
00002658: ADD
00002659: SWAP2
0000265a: JUMPDEST
0000265b: POP
0000265c: POP
0000265d: POP
0000265e: POP
0000265f: POP
00002660: DUP2
00002661: JUMP
00002662: JUMPDEST
00002663: PUSH1 0x00
00002665: PUSH32 0x0000000000000000000000003d904547c301e6a89f1c63f3ba35dcbfd28222f7
00002686: SWAP1
00002687: POP
00002688: DUP1
00002689: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000269e: AND
0000269f: PUSH4 0x8da5cb5b
000026a4: PUSH1 0x40
000026a6: MLOAD
000026a7: DUP2
000026a8: PUSH4 0xffffffff
000026ad: AND
000026ae: PUSH1 0xe0
000026b0: SHL
000026b1: DUP2
000026b2: MSTORE
000026b3: PUSH1 0x04
000026b5: ADD
000026b6: PUSH1 0x20
000026b8: PUSH1 0x40
000026ba: MLOAD
000026bb: DUP1
000026bc: DUP4
000026bd: SUB
000026be: DUP2
000026bf: DUP7
000026c0: GAS
000026c1: STATICCALL
000026c2: ISZERO
000026c3: DUP1
000026c4: ISZERO
000026c5: PUSH2 0x26d2
000026c8: JUMPI
000026c9: RETURNDATASIZE
000026ca: PUSH1 0x00
000026cc: DUP1
000026cd: RETURNDATACOPY
000026ce: RETURNDATASIZE
000026cf: PUSH1 0x00
000026d1: REVERT
000026d2: JUMPDEST
000026d3: POP
000026d4: POP
000026d5: POP
000026d6: POP
000026d7: PUSH1 0x40
000026d9: MLOAD
000026da: RETURNDATASIZE
000026db: PUSH1 0x1f
000026dd: NOT
000026de: PUSH1 0x1f
000026e0: DUP3
000026e1: ADD
000026e2: AND
000026e3: DUP3
000026e4: ADD
000026e5: DUP1
000026e6: PUSH1 0x40
000026e8: MSTORE
000026e9: POP
000026ea: DUP2
000026eb: ADD
000026ec: SWAP1
000026ed: PUSH2 0x26f6
000026f0: SWAP2
000026f1: SWAP1
000026f2: PUSH2 0x3106
000026f5: JUMP
000026f6: JUMPDEST
000026f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000270c: AND
0000270d: CALLER
0000270e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002723: AND
00002724: EQ
00002725: PUSH2 0x2770
00002728: JUMPI
00002729: PUSH1 0x40
0000272b: MLOAD
0000272c: PUSH3 0x461bcd
00002730: PUSH1 0xe5
00002732: SHL
00002733: DUP2
00002734: MSTORE
00002735: PUSH1 0x20
00002737: PUSH1 0x04
00002739: DUP3
0000273a: ADD
0000273b: MSTORE
0000273c: PUSH1 0x14
0000273e: PUSH1 0x24
00002740: DUP3
00002741: ADD
00002742: MSTORE
00002743: PUSH32 0x466169724d696e743a206f6e6c79206f776e6572000000000000000000000000
00002764: PUSH1 0x44
00002766: DUP3
00002767: ADD
00002768: MSTORE
00002769: PUSH1 0x64
0000276b: ADD
0000276c: PUSH2 0x037a
0000276f: JUMP
00002770: JUMPDEST
00002771: POP
00002772: PUSH1 0x00
00002774: PUSH1 0x0b
00002776: SSTORE
00002777: JUMP
00002778: JUMPDEST
00002779: PUSH1 0x02
0000277b: PUSH1 0x06
0000277d: SLOAD
0000277e: SUB
0000277f: PUSH2 0x27b4
00002782: JUMPI
00002783: PUSH1 0x40
00002785: MLOAD
00002786: PUSH32 0x3ee5aeb500000000000000000000000000000000000000000000000000000000
000027a7: DUP2
000027a8: MSTORE
000027a9: PUSH1 0x04
000027ab: ADD
000027ac: PUSH1 0x40
000027ae: MLOAD
000027af: DUP1
000027b0: SWAP2
000027b1: SUB
000027b2: SWAP1
000027b3: REVERT
000027b4: JUMPDEST
000027b5: PUSH1 0x02
000027b7: PUSH1 0x06
000027b9: SSTORE
000027ba: JUMP
000027bb: JUMPDEST
000027bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027d1: DUP4
000027d2: AND
000027d3: PUSH2 0x280b
000027d6: JUMPI
000027d7: PUSH1 0x40
000027d9: MLOAD
000027da: PUSH32 0x96c6fd1e00000000000000000000000000000000000000000000000000000000
000027fb: DUP2
000027fc: MSTORE
000027fd: PUSH1 0x00
000027ff: PUSH1 0x04
00002801: DUP3
00002802: ADD
00002803: MSTORE
00002804: PUSH1 0x24
00002806: ADD
00002807: PUSH2 0x037a
0000280a: JUMP
0000280b: JUMPDEST
0000280c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002821: DUP3
00002822: AND
00002823: PUSH2 0x285b
00002826: JUMPI
00002827: PUSH1 0x40
00002829: MLOAD
0000282a: PUSH32 0xec442f0500000000000000000000000000000000000000000000000000000000
0000284b: DUP2
0000284c: MSTORE
0000284d: PUSH1 0x00
0000284f: PUSH1 0x04
00002851: DUP3
00002852: ADD
00002853: MSTORE
00002854: PUSH1 0x24
00002856: ADD
00002857: PUSH2 0x037a
0000285a: JUMP
0000285b: JUMPDEST
0000285c: PUSH2 0x2866
0000285f: DUP4
00002860: DUP4
00002861: DUP4
00002862: PUSH2 0x2b04
00002865: JUMP
00002866: JUMPDEST
00002867: POP
00002868: POP
00002869: POP
0000286a: JUMP
0000286b: JUMPDEST
0000286c: PUSH1 0x00
0000286e: PUSH2 0x2710
00002871: PUSH2 0x287b
00002874: PUSH1 0x1e
00002876: DUP5
00002877: PUSH2 0x2f45
0000287a: JUMP
0000287b: JUMPDEST
0000287c: PUSH2 0x2445
0000287f: SWAP2
00002880: SWAP1
00002881: PUSH2 0x2eb5
00002884: JUMP
00002885: JUMPDEST
00002886: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000289b: DUP5
0000289c: AND
0000289d: PUSH2 0x28d5
000028a0: JUMPI
000028a1: PUSH1 0x40
000028a3: MLOAD
000028a4: PUSH32 0xe602df0500000000000000000000000000000000000000000000000000000000
000028c5: DUP2
000028c6: MSTORE
000028c7: PUSH1 0x00
000028c9: PUSH1 0x04
000028cb: DUP3
000028cc: ADD
000028cd: MSTORE
000028ce: PUSH1 0x24
000028d0: ADD
000028d1: PUSH2 0x037a
000028d4: JUMP
000028d5: JUMPDEST
000028d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028eb: DUP4
000028ec: AND
000028ed: PUSH2 0x2925
000028f0: JUMPI
000028f1: PUSH1 0x40
000028f3: MLOAD
000028f4: PUSH32 0x94280d6200000000000000000000000000000000000000000000000000000000
00002915: DUP2
00002916: MSTORE
00002917: PUSH1 0x00
00002919: PUSH1 0x04
0000291b: DUP3
0000291c: ADD
0000291d: MSTORE
0000291e: PUSH1 0x24
00002920: ADD
00002921: PUSH2 0x037a
00002924: JUMP
00002925: JUMPDEST
00002926: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000293b: DUP1
0000293c: DUP6
0000293d: AND
0000293e: PUSH1 0x00
00002940: SWAP1
00002941: DUP2
00002942: MSTORE
00002943: PUSH1 0x01
00002945: PUSH1 0x20
00002947: SWAP1
00002948: DUP2
00002949: MSTORE
0000294a: PUSH1 0x40
0000294c: DUP1
0000294d: DUP4
0000294e: KECCAK256
0000294f: SWAP4
00002950: DUP8
00002951: AND
00002952: DUP4
00002953: MSTORE
00002954: SWAP3
00002955: SWAP1
00002956: MSTORE
00002957: KECCAK256
00002958: DUP3
00002959: SWAP1
0000295a: SSTORE
0000295b: DUP1
0000295c: ISZERO
0000295d: PUSH2 0x29c8
00002960: JUMPI
00002961: DUP3
00002962: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002977: AND
00002978: DUP5
00002979: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000298e: AND
0000298f: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
000029b0: DUP5
000029b1: PUSH1 0x40
000029b3: MLOAD
000029b4: PUSH2 0x29bf
000029b7: SWAP2
000029b8: DUP2
000029b9: MSTORE
000029ba: PUSH1 0x20
000029bc: ADD
000029bd: SWAP1
000029be: JUMP
000029bf: JUMPDEST
000029c0: PUSH1 0x40
000029c2: MLOAD
000029c3: DUP1
000029c4: SWAP2
000029c5: SUB
000029c6: SWAP1
000029c7: LOG3
000029c8: JUMPDEST
000029c9: POP
000029ca: POP
000029cb: POP
000029cc: POP
000029cd: JUMP
000029ce: JUMPDEST
000029cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029e4: DUP3
000029e5: AND
000029e6: PUSH2 0x2a1e
000029e9: JUMPI
000029ea: PUSH1 0x40
000029ec: MLOAD
000029ed: PUSH32 0x96c6fd1e00000000000000000000000000000000000000000000000000000000
00002a0e: DUP2
00002a0f: MSTORE
00002a10: PUSH1 0x00
00002a12: PUSH1 0x04
00002a14: DUP3
00002a15: ADD
00002a16: MSTORE
00002a17: PUSH1 0x24
00002a19: ADD
00002a1a: PUSH2 0x037a
00002a1d: JUMP
00002a1e: JUMPDEST
00002a1f: PUSH2 0x2a2a
00002a22: DUP3
00002a23: PUSH1 0x00
00002a25: DUP4
00002a26: PUSH2 0x2b04
00002a29: JUMP
00002a2a: JUMPDEST
00002a2b: POP
00002a2c: POP
00002a2d: JUMP
00002a2e: JUMPDEST
00002a2f: PUSH2 0x2866
00002a32: DUP4
00002a33: DUP4
00002a34: DUP4
00002a35: PUSH1 0x01
00002a37: PUSH2 0x2885
00002a3a: JUMP
00002a3b: JUMPDEST
00002a3c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a51: DUP4
00002a52: DUP2
00002a53: AND
00002a54: PUSH1 0x00
00002a56: SWAP1
00002a57: DUP2
00002a58: MSTORE
00002a59: PUSH1 0x01
00002a5b: PUSH1 0x20
00002a5d: SWAP1
00002a5e: DUP2
00002a5f: MSTORE
00002a60: PUSH1 0x40
00002a62: DUP1
00002a63: DUP4
00002a64: KECCAK256
00002a65: SWAP4
00002a66: DUP7
00002a67: AND
00002a68: DUP4
00002a69: MSTORE
00002a6a: SWAP3
00002a6b: SWAP1
00002a6c: MSTORE
00002a6d: KECCAK256
00002a6e: SLOAD
00002a6f: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002a90: DUP2
00002a91: EQ
00002a92: PUSH2 0x29c8
00002a95: JUMPI
00002a96: DUP2
00002a97: DUP2
00002a98: LT
00002a99: ISZERO
00002a9a: PUSH2 0x2af5
00002a9d: JUMPI
00002a9e: PUSH1 0x40
00002aa0: MLOAD
00002aa1: PUSH32 0xfb8f41b200000000000000000000000000000000000000000000000000000000
00002ac2: DUP2
00002ac3: MSTORE
00002ac4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ad9: DUP5
00002ada: AND
00002adb: PUSH1 0x04
00002add: DUP3
00002ade: ADD
00002adf: MSTORE
00002ae0: PUSH1 0x24
00002ae2: DUP2
00002ae3: ADD
00002ae4: DUP3
00002ae5: SWAP1
00002ae6: MSTORE
00002ae7: PUSH1 0x44
00002ae9: DUP2
00002aea: ADD
00002aeb: DUP4
00002aec: SWAP1
00002aed: MSTORE
00002aee: PUSH1 0x64
00002af0: ADD
00002af1: PUSH2 0x037a
00002af4: JUMP
00002af5: JUMPDEST
00002af6: PUSH2 0x29c8
00002af9: DUP5
00002afa: DUP5
00002afb: DUP5
00002afc: DUP5
00002afd: SUB
00002afe: PUSH1 0x00
00002b00: PUSH2 0x2885
00002b03: JUMP
00002b04: JUMPDEST
00002b05: PUSH1 0x00
00002b07: DUP2
00002b08: GT
00002b09: PUSH2 0x2b7a
00002b0c: JUMPI
00002b0d: PUSH1 0x40
00002b0f: MLOAD
00002b10: PUSH3 0x461bcd
00002b14: PUSH1 0xe5
00002b16: SHL
00002b17: DUP2
00002b18: MSTORE
00002b19: PUSH1 0x20
00002b1b: PUSH1 0x04
00002b1d: DUP3
00002b1e: ADD
00002b1f: MSTORE
00002b20: PUSH1 0x25
00002b22: PUSH1 0x24
00002b24: DUP3
00002b25: ADD
00002b26: MSTORE
00002b27: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164
00002b48: PUSH1 0x44
00002b4a: DUP3
00002b4b: ADD
00002b4c: MSTORE
00002b4d: PUSH32 0x6472657373000000000000000000000000000000000000000000000000000000
00002b6e: PUSH1 0x64
00002b70: DUP3
00002b71: ADD
00002b72: MSTORE
00002b73: PUSH1 0x84
00002b75: ADD
00002b76: PUSH2 0x037a
00002b79: JUMP
00002b7a: JUMPDEST
00002b7b: PUSH2 0x2866
00002b7e: DUP4
00002b7f: DUP4
00002b80: DUP4
00002b81: PUSH2 0x2866
00002b84: DUP4
00002b85: DUP4
00002b86: DUP4
00002b87: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b9c: DUP4
00002b9d: AND
00002b9e: PUSH2 0x2bbe
00002ba1: JUMPI
00002ba2: DUP1
00002ba3: PUSH1 0x02
00002ba5: PUSH1 0x00
00002ba7: DUP3
00002ba8: DUP3
00002ba9: SLOAD
00002baa: PUSH2 0x2bb3
00002bad: SWAP2
00002bae: SWAP1
00002baf: PUSH2 0x2f1f
00002bb2: JUMP
00002bb3: JUMPDEST
00002bb4: SWAP1
00002bb5: SWAP2
00002bb6: SSTORE
00002bb7: POP
00002bb8: PUSH2 0x2c70
00002bbb: SWAP1
00002bbc: POP
00002bbd: JUMP
00002bbe: JUMPDEST
00002bbf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002bd4: DUP4
00002bd5: AND
00002bd6: PUSH1 0x00
00002bd8: SWAP1
00002bd9: DUP2
00002bda: MSTORE
00002bdb: PUSH1 0x20
00002bdd: DUP2
00002bde: SWAP1
00002bdf: MSTORE
00002be0: PUSH1 0x40
00002be2: SWAP1
00002be3: KECCAK256
00002be4: SLOAD
00002be5: DUP2
00002be6: DUP2
00002be7: LT
00002be8: ISZERO
00002be9: PUSH2 0x2c44
00002bec: JUMPI
00002bed: PUSH1 0x40
00002bef: MLOAD
00002bf0: PUSH32 0xe450d38c00000000000000000000000000000000000000000000000000000000
00002c11: DUP2
00002c12: MSTORE
00002c13: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c28: DUP6
00002c29: AND
00002c2a: PUSH1 0x04
00002c2c: DUP3
00002c2d: ADD
00002c2e: MSTORE
00002c2f: PUSH1 0x24
00002c31: DUP2
00002c32: ADD
00002c33: DUP3
00002c34: SWAP1
00002c35: MSTORE
00002c36: PUSH1 0x44
00002c38: DUP2
00002c39: ADD
00002c3a: DUP4
00002c3b: SWAP1
00002c3c: MSTORE
00002c3d: PUSH1 0x64
00002c3f: ADD
00002c40: PUSH2 0x037a
00002c43: JUMP
00002c44: JUMPDEST
00002c45: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c5a: DUP5
00002c5b: AND
00002c5c: PUSH1 0x00
00002c5e: SWAP1
00002c5f: DUP2
00002c60: MSTORE
00002c61: PUSH1 0x20
00002c63: DUP2
00002c64: SWAP1
00002c65: MSTORE
00002c66: PUSH1 0x40
00002c68: SWAP1
00002c69: KECCAK256
00002c6a: SWAP1
00002c6b: DUP3
00002c6c: SWAP1
00002c6d: SUB
00002c6e: SWAP1
00002c6f: SSTORE
00002c70: JUMPDEST
00002c71: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c86: DUP3
00002c87: AND
00002c88: PUSH2 0x2c99
00002c8b: JUMPI
00002c8c: PUSH1 0x02
00002c8e: DUP1
00002c8f: SLOAD
00002c90: DUP3
00002c91: SWAP1
00002c92: SUB
00002c93: SWAP1
00002c94: SSTORE
00002c95: PUSH2 0x2cc5
00002c98: JUMP
00002c99: JUMPDEST
00002c9a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002caf: DUP3
00002cb0: AND
00002cb1: PUSH1 0x00
00002cb3: SWAP1
00002cb4: DUP2
00002cb5: MSTORE
00002cb6: PUSH1 0x20
00002cb8: DUP2
00002cb9: SWAP1
00002cba: MSTORE
00002cbb: PUSH1 0x40
00002cbd: SWAP1
00002cbe: KECCAK256
00002cbf: DUP1
00002cc0: SLOAD
00002cc1: DUP3
00002cc2: ADD
00002cc3: SWAP1
00002cc4: SSTORE
00002cc5: JUMPDEST
00002cc6: DUP2
00002cc7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002cdc: AND
00002cdd: DUP4
00002cde: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002cf3: AND
00002cf4: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002d15: DUP4
00002d16: PUSH1 0x40
00002d18: MLOAD
00002d19: PUSH2 0x2d24
00002d1c: SWAP2
00002d1d: DUP2
00002d1e: MSTORE
00002d1f: PUSH1 0x20
00002d21: ADD
00002d22: SWAP1
00002d23: JUMP
00002d24: JUMPDEST
00002d25: PUSH1 0x40
00002d27: MLOAD
00002d28: DUP1
00002d29: SWAP2
00002d2a: SUB
00002d2b: SWAP1
00002d2c: LOG3
00002d2d: POP
00002d2e: POP
00002d2f: POP
00002d30: JUMP
00002d31: JUMPDEST
00002d32: PUSH1 0x00
00002d34: PUSH1 0x20
00002d36: DUP1
00002d37: DUP4
00002d38: MSTORE
00002d39: DUP4
00002d3a: MLOAD
00002d3b: DUP1
00002d3c: PUSH1 0x20
00002d3e: DUP6
00002d3f: ADD
00002d40: MSTORE
00002d41: PUSH1 0x00
00002d43: JUMPDEST
00002d44: DUP2
00002d45: DUP2
00002d46: LT
00002d47: ISZERO
00002d48: PUSH2 0x2d5f
00002d4b: JUMPI
00002d4c: DUP6
00002d4d: DUP2
00002d4e: ADD
00002d4f: DUP4
00002d50: ADD
00002d51: MLOAD
00002d52: DUP6
00002d53: DUP3
00002d54: ADD
00002d55: PUSH1 0x40
00002d57: ADD
00002d58: MSTORE
00002d59: DUP3
00002d5a: ADD
00002d5b: PUSH2 0x2d43
00002d5e: JUMP
00002d5f: JUMPDEST
00002d60: POP
00002d61: PUSH1 0x00
00002d63: PUSH1 0x40
00002d65: DUP3
00002d66: DUP7
00002d67: ADD
00002d68: ADD
00002d69: MSTORE
00002d6a: PUSH1 0x40
00002d6c: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002d8d: PUSH1 0x1f
00002d8f: DUP4
00002d90: ADD
00002d91: AND
00002d92: DUP6
00002d93: ADD
00002d94: ADD
00002d95: SWAP3
00002d96: POP
00002d97: POP
00002d98: POP
00002d99: SWAP3
00002d9a: SWAP2
00002d9b: POP
00002d9c: POP
00002d9d: JUMP
00002d9e: JUMPDEST
00002d9f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002db4: DUP2
00002db5: AND
00002db6: DUP2
00002db7: EQ
00002db8: PUSH2 0x2dc0
00002dbb: JUMPI
00002dbc: PUSH1 0x00
00002dbe: DUP1
00002dbf: REVERT
00002dc0: JUMPDEST
00002dc1: POP
00002dc2: JUMP
00002dc3: JUMPDEST
00002dc4: PUSH1 0x00
00002dc6: DUP1
00002dc7: PUSH1 0x40
00002dc9: DUP4
00002dca: DUP6
00002dcb: SUB
00002dcc: SLT
00002dcd: ISZERO
00002dce: PUSH2 0x2dd6
00002dd1: JUMPI
00002dd2: PUSH1 0x00
00002dd4: DUP1
00002dd5: REVERT
00002dd6: JUMPDEST
00002dd7: DUP3
00002dd8: CALLDATALOAD
00002dd9: PUSH2 0x2de1
00002ddc: DUP2
00002ddd: PUSH2 0x2d9e
00002de0: JUMP
00002de1: JUMPDEST
00002de2: SWAP5
00002de3: PUSH1 0x20
00002de5: SWAP4
00002de6: SWAP1
00002de7: SWAP4
00002de8: ADD
00002de9: CALLDATALOAD
00002dea: SWAP4
00002deb: POP
00002dec: POP
00002ded: POP
00002dee: JUMP
00002def: JUMPDEST
00002df0: PUSH1 0x00
00002df2: PUSH1 0x20
00002df4: DUP3
00002df5: DUP5
00002df6: SUB
00002df7: SLT
00002df8: ISZERO
00002df9: PUSH2 0x2e01
00002dfc: JUMPI
00002dfd: PUSH1 0x00
00002dff: DUP1
00002e00: REVERT
00002e01: JUMPDEST
00002e02: DUP2
00002e03: CALLDATALOAD
00002e04: PUSH2 0x24f0
00002e07: DUP2
00002e08: PUSH2 0x2d9e
00002e0b: JUMP
00002e0c: JUMPDEST
00002e0d: PUSH1 0x00
00002e0f: DUP1
00002e10: PUSH1 0x00
00002e12: PUSH1 0x60
00002e14: DUP5
00002e15: DUP7
00002e16: SUB
00002e17: SLT
00002e18: ISZERO
00002e19: PUSH2 0x2e21
00002e1c: JUMPI
00002e1d: PUSH1 0x00
00002e1f: DUP1
00002e20: REVERT
00002e21: JUMPDEST
00002e22: DUP4
00002e23: CALLDATALOAD
00002e24: PUSH2 0x2e2c
00002e27: DUP2
00002e28: PUSH2 0x2d9e
00002e2b: JUMP
00002e2c: JUMPDEST
00002e2d: SWAP3
00002e2e: POP
00002e2f: PUSH1 0x20
00002e31: DUP5
00002e32: ADD
00002e33: CALLDATALOAD
00002e34: PUSH2 0x2e3c
00002e37: DUP2
00002e38: PUSH2 0x2d9e
00002e3b: JUMP
00002e3c: JUMPDEST
00002e3d: SWAP3
00002e3e: SWAP6
00002e3f: SWAP3
00002e40: SWAP5
00002e41: POP
00002e42: POP
00002e43: POP
00002e44: PUSH1 0x40
00002e46: SWAP2
00002e47: SWAP1
00002e48: SWAP2
00002e49: ADD
00002e4a: CALLDATALOAD
00002e4b: SWAP1
00002e4c: JUMP
00002e4d: JUMPDEST
00002e4e: PUSH1 0x00
00002e50: DUP1
00002e51: PUSH1 0x40
00002e53: DUP4
00002e54: DUP6
00002e55: SUB
00002e56: SLT
00002e57: ISZERO
00002e58: PUSH2 0x2e60
00002e5b: JUMPI
00002e5c: PUSH1 0x00
00002e5e: DUP1
00002e5f: REVERT
00002e60: JUMPDEST
00002e61: DUP3
00002e62: CALLDATALOAD
00002e63: PUSH2 0x2e6b
00002e66: DUP2
00002e67: PUSH2 0x2d9e
00002e6a: JUMP
00002e6b: JUMPDEST
00002e6c: SWAP2
00002e6d: POP
00002e6e: PUSH1 0x20
00002e70: DUP4
00002e71: ADD
00002e72: CALLDATALOAD
00002e73: PUSH2 0x2e7b
00002e76: DUP2
00002e77: PUSH2 0x2d9e
00002e7a: JUMP
00002e7b: JUMPDEST
00002e7c: DUP1
00002e7d: SWAP2
00002e7e: POP
00002e7f: POP
00002e80: SWAP3
00002e81: POP
00002e82: SWAP3
00002e83: SWAP1
00002e84: POP
00002e85: JUMP
00002e86: JUMPDEST
00002e87: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002ea8: PUSH1 0x00
00002eaa: MSTORE
00002eab: PUSH1 0x11
00002ead: PUSH1 0x04
00002eaf: MSTORE
00002eb0: PUSH1 0x24
00002eb2: PUSH1 0x00
00002eb4: REVERT
00002eb5: JUMPDEST
00002eb6: PUSH1 0x00
00002eb8: DUP3
00002eb9: PUSH2 0x2eeb
00002ebc: JUMPI
00002ebd: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002ede: PUSH1 0x00
00002ee0: MSTORE
00002ee1: PUSH1 0x12
00002ee3: PUSH1 0x04
00002ee5: MSTORE
00002ee6: PUSH1 0x24
00002ee8: PUSH1 0x00
00002eea: REVERT
00002eeb: JUMPDEST
00002eec: POP
00002eed: DIV
00002eee: SWAP1
00002eef: JUMP
00002ef0: JUMPDEST
00002ef1: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002f12: PUSH1 0x00
00002f14: MSTORE
00002f15: PUSH1 0x01
00002f17: PUSH1 0x04
00002f19: MSTORE
00002f1a: PUSH1 0x24
00002f1c: PUSH1 0x00
00002f1e: REVERT
00002f1f: JUMPDEST
00002f20: DUP1
00002f21: DUP3
00002f22: ADD
00002f23: DUP1
00002f24: DUP3
00002f25: GT
00002f26: ISZERO
00002f27: PUSH2 0x2445
00002f2a: JUMPI
00002f2b: PUSH2 0x2445
00002f2e: PUSH2 0x2e86
00002f31: JUMP
00002f32: JUMPDEST
00002f33: DUP2
00002f34: DUP2
00002f35: SUB
00002f36: DUP2
00002f37: DUP2
00002f38: GT
00002f39: ISZERO
00002f3a: PUSH2 0x2445
00002f3d: JUMPI
00002f3e: PUSH2 0x2445
00002f41: PUSH2 0x2e86
00002f44: JUMP
00002f45: JUMPDEST
00002f46: DUP1
00002f47: DUP3
00002f48: MUL
00002f49: DUP2
00002f4a: ISZERO
00002f4b: DUP3
00002f4c: DUP3
00002f4d: DIV
00002f4e: DUP5
00002f4f: EQ
00002f50: OR
00002f51: PUSH2 0x2445
00002f54: JUMPI
00002f55: PUSH2 0x2445
00002f58: PUSH2 0x2e86
00002f5b: JUMP
00002f5c: JUMPDEST
00002f5d: DUP2
00002f5e: MLOAD
00002f5f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f74: AND
00002f75: DUP2
00002f76: MSTORE
00002f77: PUSH2 0x0160
00002f7a: DUP2
00002f7b: ADD
00002f7c: PUSH1 0x20
00002f7e: DUP4
00002f7f: ADD
00002f80: MLOAD
00002f81: PUSH2 0x2fa2
00002f84: PUSH1 0x20
00002f86: DUP5
00002f87: ADD
00002f88: DUP3
00002f89: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f9e: AND
00002f9f: SWAP1
00002fa0: MSTORE
00002fa1: JUMP
00002fa2: JUMPDEST
00002fa3: POP
00002fa4: PUSH1 0x40
00002fa6: DUP4
00002fa7: ADD
00002fa8: MLOAD
00002fa9: PUSH2 0x2fb9
00002fac: PUSH1 0x40
00002fae: DUP5
00002faf: ADD
00002fb0: DUP3
00002fb1: PUSH3 0xffffff
00002fb5: AND
00002fb6: SWAP1
00002fb7: MSTORE
00002fb8: JUMP
00002fb9: JUMPDEST
00002fba: POP
00002fbb: PUSH1 0x60
00002fbd: DUP4
00002fbe: ADD
00002fbf: MLOAD
00002fc0: PUSH2 0x2fce
00002fc3: PUSH1 0x60
00002fc5: DUP5
00002fc6: ADD
00002fc7: DUP3
00002fc8: PUSH1 0x02
00002fca: SIGNEXTEND
00002fcb: SWAP1
00002fcc: MSTORE
00002fcd: JUMP
00002fce: JUMPDEST
00002fcf: POP
00002fd0: PUSH1 0x80
00002fd2: DUP4
00002fd3: ADD
00002fd4: MLOAD
00002fd5: PUSH2 0x2fe3
00002fd8: PUSH1 0x80
00002fda: DUP5
00002fdb: ADD
00002fdc: DUP3
00002fdd: PUSH1 0x02
00002fdf: SIGNEXTEND
00002fe0: SWAP1
00002fe1: MSTORE
00002fe2: JUMP
00002fe3: JUMPDEST
00002fe4: POP
00002fe5: PUSH1 0xa0
00002fe7: DUP4
00002fe8: ADD
00002fe9: MLOAD
00002fea: PUSH1 0xa0
00002fec: DUP4
00002fed: ADD
00002fee: MSTORE
00002fef: PUSH1 0xc0
00002ff1: DUP4
00002ff2: ADD
00002ff3: MLOAD
00002ff4: PUSH1 0xc0
00002ff6: DUP4
00002ff7: ADD
00002ff8: MSTORE
00002ff9: PUSH1 0xe0
00002ffb: DUP4
00002ffc: ADD
00002ffd: MLOAD
00002ffe: PUSH1 0xe0
00003000: DUP4
00003001: ADD
00003002: MSTORE
00003003: PUSH2 0x0100
00003006: DUP1
00003007: DUP5
00003008: ADD
00003009: MLOAD
0000300a: DUP2
0000300b: DUP5
0000300c: ADD
0000300d: MSTORE
0000300e: POP
0000300f: PUSH2 0x0120
00003012: DUP1
00003013: DUP5
00003014: ADD
00003015: MLOAD
00003016: PUSH2 0x3036
00003019: DUP3
0000301a: DUP6
0000301b: ADD
0000301c: DUP3
0000301d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003032: AND
00003033: SWAP1
00003034: MSTORE
00003035: JUMP
00003036: JUMPDEST
00003037: POP
00003038: POP
00003039: PUSH2 0x0140
0000303c: SWAP3
0000303d: DUP4
0000303e: ADD
0000303f: MLOAD
00003040: SWAP2
00003041: SWAP1
00003042: SWAP3
00003043: ADD
00003044: MSTORE
00003045: SWAP1
00003046: JUMP
00003047: JUMPDEST
00003048: PUSH1 0x00
0000304a: DUP1
0000304b: PUSH1 0x00
0000304d: DUP1
0000304e: PUSH1 0x80
00003050: DUP6
00003051: DUP8
00003052: SUB
00003053: SLT
00003054: ISZERO
00003055: PUSH2 0x305d
00003058: JUMPI
00003059: PUSH1 0x00
0000305b: DUP1
0000305c: REVERT
0000305d: JUMPDEST
0000305e: DUP5
0000305f: MLOAD
00003060: SWAP4
00003061: POP
00003062: PUSH1 0x20
00003064: DUP6
00003065: ADD
00003066: MLOAD
00003067: PUSH16 0xffffffffffffffffffffffffffffffff
00003078: DUP2
00003079: AND
0000307a: DUP2
0000307b: EQ
0000307c: PUSH2 0x3084
0000307f: JUMPI
00003080: PUSH1 0x00
00003082: DUP1
00003083: REVERT
00003084: JUMPDEST
00003085: PUSH1 0x40
00003087: DUP7
00003088: ADD
00003089: MLOAD
0000308a: PUSH1 0x60
0000308c: SWAP1
0000308d: SWAP7
0000308e: ADD
0000308f: MLOAD
00003090: SWAP5
00003091: SWAP8
00003092: SWAP1
00003093: SWAP7
00003094: POP
00003095: SWAP3
00003096: POP
00003097: POP
00003098: POP
00003099: JUMP
0000309a: JUMPDEST
0000309b: PUSH1 0x00
0000309d: PUSH1 0x20
0000309f: DUP3
000030a0: DUP5
000030a1: SUB
000030a2: SLT
000030a3: ISZERO
000030a4: PUSH2 0x30ac
000030a7: JUMPI
000030a8: PUSH1 0x00
000030aa: DUP1
000030ab: REVERT
000030ac: JUMPDEST
000030ad: POP
000030ae: MLOAD
000030af: SWAP2
000030b0: SWAP1
000030b1: POP
000030b2: JUMP
000030b3: JUMPDEST
000030b4: PUSH1 0x01
000030b6: DUP2
000030b7: DUP2
000030b8: SHR
000030b9: SWAP1
000030ba: DUP3
000030bb: AND
000030bc: DUP1
000030bd: PUSH2 0x30c7
000030c0: JUMPI
000030c1: PUSH1 0x7f
000030c3: DUP3
000030c4: AND
000030c5: SWAP2
000030c6: POP
000030c7: JUMPDEST
000030c8: PUSH1 0x20
000030ca: DUP3
000030cb: LT
000030cc: DUP2
000030cd: SUB
000030ce: PUSH2 0x3100
000030d1: JUMPI
000030d2: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000030f3: PUSH1 0x00
000030f5: MSTORE
000030f6: PUSH1 0x22
000030f8: PUSH1 0x04
000030fa: MSTORE
000030fb: PUSH1 0x24
000030fd: PUSH1 0x00
000030ff: REVERT
00003100: JUMPDEST
00003101: POP
00003102: SWAP2
00003103: SWAP1
00003104: POP
00003105: JUMP
00003106: JUMPDEST
00003107: PUSH1 0x00
00003109: PUSH1 0x20
0000310b: DUP3
0000310c: DUP5
0000310d: SUB
0000310e: SLT
0000310f: ISZERO
00003110: PUSH2 0x3118
00003113: JUMPI
00003114: PUSH1 0x00
00003116: DUP1
00003117: REVERT
00003118: JUMPDEST
00003119: DUP2
0000311a: MLOAD
0000311b: PUSH2 0x24f0
0000311e: DUP2
0000311f: PUSH2 0x2d9e
00003122: JUMP
00003123: INVALID
00003124: LOG2
00003125: PUSH5 0x6970667358
0000312b: UNKNOWN(0x22)
0000312c: SLT
0000312d: KECCAK256
0000312e: DUP2
0000312f: UNKNOWN(0xB2)
00003130: PUSH28 0x95517aae35b0d0391b7c357e7de22cd11a21144bead4859575d17664
0000314d: UNKNOWN(0xD4)
0000314e: PUSH5 0x736f6c6343
00003154: STOP
00003155: ADDMOD
00003156: XOR
00003157: STOP
00003158: CALLER
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	auth	detector	Authorization based on tx.origin	70	no	—	view validation_json { "reason": "missing sink mapping", "status": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "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": 780, "type": "tx_origin_used" }, { "pc": 3091, "type": "tx_origin_used" }, { "pc": 717, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 778, "type": "tx_origin_used" }, { "pc": 3090, "type": "tx_origin_used" }, { "pc": 9997, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ] }
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0x58f277764bfe578e4d007d66aa397c00cb19885ee203cd9f4fe304ca097795ac call_targets: 0xf2f364c9262848c378efabcf596402273d932200 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x58f277764bfe578e4d007d66aa397c00cb19885ee203cd9f4fe304ca097795ac", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xf2f364c9262848c378efabcf596402273d932200" ], "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": 3542, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4367, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4956, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 12, "guards_detected": [ { "pc": 780, "type": "tx_origin_used" }, { "pc": 3091, "type": "tx_origin_used" }, { "pc": 717, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 778, "type": "tx_origin_used" }, { "pc": 3090, "type": "tx_origin_used" }, { "pc": 9997, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ], "untrusted_call_count": 12 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0x58f277764bfe578e4d007d66aa397c00cb19885ee203cd9f4fe304ca097795ac call_targets: 0xf2f364c9262848c378efabcf596402273d932200 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x58f277764bfe578e4d007d66aa397c00cb19885ee203cd9f4fe304ca097795ac", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xf2f364c9262848c378efabcf596402273d932200" ], "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": 3542, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4367, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4956, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 12, "guards_detected": [ { "pc": 780, "type": "tx_origin_used" }, { "pc": 3091, "type": "tx_origin_used" }, { "pc": 717, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 778, "type": "tx_origin_used" }, { "pc": 3090, "type": "tx_origin_used" }, { "pc": 9997, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ] }
Severity