Analysis Run

019b477e-ca3d-7367-94b8-be7f98744198
complete
Chain ID
1
Address
0x2200274a05b1826319ac00b691c326b8d12a7400
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
Untrusted CALL target/value reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.
Processing Jobs

Status & attempts
ID	Type	Status	Attempts	Heartbeat
26477	artifact.fetch	complete	1 / 3	3 months ago
26478	tool.cast_disasm	complete	1 / 3	3 months ago
69702	analysis.bundle	complete	1 / 3	2 weeks ago
69703	capability.graph	complete	1 / 3	2 weeks ago
69704	detector.run	complete	1 / 3	2 weeks ago
69705	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)
3
EXT*/BALANCE
2
Total opcodes
3339
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x00a0
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x9852595c
00000019: GT
0000001a: PUSH2 0x0064
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x9852595c
00000024: EQ
00000025: PUSH2 0x01e3
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xa3f8eace
0000002f: EQ
00000030: PUSH2 0x0220
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xc45ac050
0000003a: EQ
0000003b: PUSH2 0x025d
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xce7c2ac2
00000045: EQ
00000046: PUSH2 0x029a
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xd79779b2
00000050: EQ
00000051: PUSH2 0x02d7
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xe33b7de3
0000005b: EQ
0000005c: PUSH2 0x0314
0000005f: JUMPI
00000060: PUSH2 0x00e7
00000063: JUMP
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0x19165587
0000006b: EQ
0000006c: PUSH2 0x00ec
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x3a98ef39
00000076: EQ
00000077: PUSH2 0x0115
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x406072a9
00000081: EQ
00000082: PUSH2 0x0140
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0x48b75044
0000008c: EQ
0000008d: PUSH2 0x017d
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0x8b83209b
00000097: EQ
00000098: PUSH2 0x01a6
0000009b: JUMPI
0000009c: PUSH2 0x00e7
0000009f: JUMP
000000a0: JUMPDEST
000000a1: CALLDATASIZE
000000a2: PUSH2 0x00e7
000000a5: JUMPI
000000a6: PUSH32 0x6ef95f06320e7a25a04a175ca677b7052bdd97131872c2192525a629f51be770
000000c7: PUSH2 0x00ce
000000ca: PUSH2 0x033f
000000cd: JUMP
000000ce: JUMPDEST
000000cf: CALLVALUE
000000d0: PUSH1 0x40
000000d2: MLOAD
000000d3: PUSH2 0x00dd
000000d6: SWAP3
000000d7: SWAP2
000000d8: SWAP1
000000d9: PUSH2 0x0e5a
000000dc: JUMP
000000dd: JUMPDEST
000000de: PUSH1 0x40
000000e0: MLOAD
000000e1: DUP1
000000e2: SWAP2
000000e3: SUB
000000e4: SWAP1
000000e5: LOG1
000000e6: STOP
000000e7: JUMPDEST
000000e8: PUSH1 0x00
000000ea: DUP1
000000eb: REVERT
000000ec: JUMPDEST
000000ed: CALLVALUE
000000ee: DUP1
000000ef: ISZERO
000000f0: PUSH2 0x00f8
000000f3: JUMPI
000000f4: PUSH1 0x00
000000f6: DUP1
000000f7: REVERT
000000f8: JUMPDEST
000000f9: POP
000000fa: PUSH2 0x0113
000000fd: PUSH1 0x04
000000ff: DUP1
00000100: CALLDATASIZE
00000101: SUB
00000102: DUP2
00000103: ADD
00000104: SWAP1
00000105: PUSH2 0x010e
00000108: SWAP2
00000109: SWAP1
0000010a: PUSH2 0x0ec6
0000010d: JUMP
0000010e: JUMPDEST
0000010f: PUSH2 0x0347
00000112: JUMP
00000113: JUMPDEST
00000114: STOP
00000115: JUMPDEST
00000116: CALLVALUE
00000117: DUP1
00000118: ISZERO
00000119: PUSH2 0x0121
0000011c: JUMPI
0000011d: PUSH1 0x00
0000011f: DUP1
00000120: REVERT
00000121: JUMPDEST
00000122: POP
00000123: PUSH2 0x012a
00000126: PUSH2 0x04d0
00000129: JUMP
0000012a: JUMPDEST
0000012b: PUSH1 0x40
0000012d: MLOAD
0000012e: PUSH2 0x0137
00000131: SWAP2
00000132: SWAP1
00000133: PUSH2 0x0ef3
00000136: JUMP
00000137: JUMPDEST
00000138: PUSH1 0x40
0000013a: MLOAD
0000013b: DUP1
0000013c: SWAP2
0000013d: SUB
0000013e: SWAP1
0000013f: RETURN
00000140: JUMPDEST
00000141: CALLVALUE
00000142: DUP1
00000143: ISZERO
00000144: PUSH2 0x014c
00000147: JUMPI
00000148: PUSH1 0x00
0000014a: DUP1
0000014b: REVERT
0000014c: JUMPDEST
0000014d: POP
0000014e: PUSH2 0x0167
00000151: PUSH1 0x04
00000153: DUP1
00000154: CALLDATASIZE
00000155: SUB
00000156: DUP2
00000157: ADD
00000158: SWAP1
00000159: PUSH2 0x0162
0000015c: SWAP2
0000015d: SWAP1
0000015e: PUSH2 0x0f78
00000161: JUMP
00000162: JUMPDEST
00000163: PUSH2 0x04d9
00000166: JUMP
00000167: JUMPDEST
00000168: PUSH1 0x40
0000016a: MLOAD
0000016b: PUSH2 0x0174
0000016e: SWAP2
0000016f: SWAP1
00000170: PUSH2 0x0ef3
00000173: JUMP
00000174: JUMPDEST
00000175: PUSH1 0x40
00000177: MLOAD
00000178: DUP1
00000179: SWAP2
0000017a: SUB
0000017b: SWAP1
0000017c: RETURN
0000017d: JUMPDEST
0000017e: CALLVALUE
0000017f: DUP1
00000180: ISZERO
00000181: PUSH2 0x0189
00000184: JUMPI
00000185: PUSH1 0x00
00000187: DUP1
00000188: REVERT
00000189: JUMPDEST
0000018a: POP
0000018b: PUSH2 0x01a4
0000018e: PUSH1 0x04
00000190: DUP1
00000191: CALLDATASIZE
00000192: SUB
00000193: DUP2
00000194: ADD
00000195: SWAP1
00000196: PUSH2 0x019f
00000199: SWAP2
0000019a: SWAP1
0000019b: PUSH2 0x0f78
0000019e: JUMP
0000019f: JUMPDEST
000001a0: PUSH2 0x0560
000001a3: JUMP
000001a4: JUMPDEST
000001a5: STOP
000001a6: JUMPDEST
000001a7: CALLVALUE
000001a8: DUP1
000001a9: ISZERO
000001aa: PUSH2 0x01b2
000001ad: JUMPI
000001ae: PUSH1 0x00
000001b0: DUP1
000001b1: REVERT
000001b2: JUMPDEST
000001b3: POP
000001b4: PUSH2 0x01cd
000001b7: PUSH1 0x04
000001b9: DUP1
000001ba: CALLDATASIZE
000001bb: SUB
000001bc: DUP2
000001bd: ADD
000001be: SWAP1
000001bf: PUSH2 0x01c8
000001c2: SWAP2
000001c3: SWAP1
000001c4: PUSH2 0x0fe4
000001c7: JUMP
000001c8: JUMPDEST
000001c9: PUSH2 0x077d
000001cc: JUMP
000001cd: JUMPDEST
000001ce: PUSH1 0x40
000001d0: MLOAD
000001d1: PUSH2 0x01da
000001d4: SWAP2
000001d5: SWAP1
000001d6: PUSH2 0x1011
000001d9: JUMP
000001da: JUMPDEST
000001db: PUSH1 0x40
000001dd: MLOAD
000001de: DUP1
000001df: SWAP2
000001e0: SUB
000001e1: SWAP1
000001e2: RETURN
000001e3: JUMPDEST
000001e4: CALLVALUE
000001e5: DUP1
000001e6: ISZERO
000001e7: PUSH2 0x01ef
000001ea: JUMPI
000001eb: PUSH1 0x00
000001ed: DUP1
000001ee: REVERT
000001ef: JUMPDEST
000001f0: POP
000001f1: PUSH2 0x020a
000001f4: PUSH1 0x04
000001f6: DUP1
000001f7: CALLDATASIZE
000001f8: SUB
000001f9: DUP2
000001fa: ADD
000001fb: SWAP1
000001fc: PUSH2 0x0205
000001ff: SWAP2
00000200: SWAP1
00000201: PUSH2 0x102c
00000204: JUMP
00000205: JUMPDEST
00000206: PUSH2 0x07c5
00000209: JUMP
0000020a: JUMPDEST
0000020b: PUSH1 0x40
0000020d: MLOAD
0000020e: PUSH2 0x0217
00000211: SWAP2
00000212: SWAP1
00000213: PUSH2 0x0ef3
00000216: JUMP
00000217: JUMPDEST
00000218: PUSH1 0x40
0000021a: MLOAD
0000021b: DUP1
0000021c: SWAP2
0000021d: SUB
0000021e: SWAP1
0000021f: RETURN
00000220: JUMPDEST
00000221: CALLVALUE
00000222: DUP1
00000223: ISZERO
00000224: PUSH2 0x022c
00000227: JUMPI
00000228: PUSH1 0x00
0000022a: DUP1
0000022b: REVERT
0000022c: JUMPDEST
0000022d: POP
0000022e: PUSH2 0x0247
00000231: PUSH1 0x04
00000233: DUP1
00000234: CALLDATASIZE
00000235: SUB
00000236: DUP2
00000237: ADD
00000238: SWAP1
00000239: PUSH2 0x0242
0000023c: SWAP2
0000023d: SWAP1
0000023e: PUSH2 0x102c
00000241: JUMP
00000242: JUMPDEST
00000243: PUSH2 0x080e
00000246: JUMP
00000247: JUMPDEST
00000248: PUSH1 0x40
0000024a: MLOAD
0000024b: PUSH2 0x0254
0000024e: SWAP2
0000024f: SWAP1
00000250: PUSH2 0x0ef3
00000253: JUMP
00000254: JUMPDEST
00000255: PUSH1 0x40
00000257: MLOAD
00000258: DUP1
00000259: SWAP2
0000025a: SUB
0000025b: SWAP1
0000025c: RETURN
0000025d: JUMPDEST
0000025e: CALLVALUE
0000025f: DUP1
00000260: ISZERO
00000261: PUSH2 0x0269
00000264: JUMPI
00000265: PUSH1 0x00
00000267: DUP1
00000268: REVERT
00000269: JUMPDEST
0000026a: POP
0000026b: PUSH2 0x0284
0000026e: PUSH1 0x04
00000270: DUP1
00000271: CALLDATASIZE
00000272: SUB
00000273: DUP2
00000274: ADD
00000275: SWAP1
00000276: PUSH2 0x027f
00000279: SWAP2
0000027a: SWAP1
0000027b: PUSH2 0x0f78
0000027e: JUMP
0000027f: JUMPDEST
00000280: PUSH2 0x0841
00000283: JUMP
00000284: JUMPDEST
00000285: PUSH1 0x40
00000287: MLOAD
00000288: PUSH2 0x0291
0000028b: SWAP2
0000028c: SWAP1
0000028d: PUSH2 0x0ef3
00000290: JUMP
00000291: JUMPDEST
00000292: PUSH1 0x40
00000294: MLOAD
00000295: DUP1
00000296: SWAP2
00000297: SUB
00000298: SWAP1
00000299: RETURN
0000029a: JUMPDEST
0000029b: CALLVALUE
0000029c: DUP1
0000029d: ISZERO
0000029e: PUSH2 0x02a6
000002a1: JUMPI
000002a2: PUSH1 0x00
000002a4: DUP1
000002a5: REVERT
000002a6: JUMPDEST
000002a7: POP
000002a8: PUSH2 0x02c1
000002ab: PUSH1 0x04
000002ad: DUP1
000002ae: CALLDATASIZE
000002af: SUB
000002b0: DUP2
000002b1: ADD
000002b2: SWAP1
000002b3: PUSH2 0x02bc
000002b6: SWAP2
000002b7: SWAP1
000002b8: PUSH2 0x102c
000002bb: JUMP
000002bc: JUMPDEST
000002bd: PUSH2 0x08ff
000002c0: JUMP
000002c1: JUMPDEST
000002c2: PUSH1 0x40
000002c4: MLOAD
000002c5: PUSH2 0x02ce
000002c8: SWAP2
000002c9: SWAP1
000002ca: PUSH2 0x0ef3
000002cd: JUMP
000002ce: JUMPDEST
000002cf: PUSH1 0x40
000002d1: MLOAD
000002d2: DUP1
000002d3: SWAP2
000002d4: SUB
000002d5: SWAP1
000002d6: RETURN
000002d7: JUMPDEST
000002d8: CALLVALUE
000002d9: DUP1
000002da: ISZERO
000002db: PUSH2 0x02e3
000002de: JUMPI
000002df: PUSH1 0x00
000002e1: DUP1
000002e2: REVERT
000002e3: JUMPDEST
000002e4: POP
000002e5: PUSH2 0x02fe
000002e8: PUSH1 0x04
000002ea: DUP1
000002eb: CALLDATASIZE
000002ec: SUB
000002ed: DUP2
000002ee: ADD
000002ef: SWAP1
000002f0: PUSH2 0x02f9
000002f3: SWAP2
000002f4: SWAP1
000002f5: PUSH2 0x1059
000002f8: JUMP
000002f9: JUMPDEST
000002fa: PUSH2 0x0948
000002fd: JUMP
000002fe: JUMPDEST
000002ff: PUSH1 0x40
00000301: MLOAD
00000302: PUSH2 0x030b
00000305: SWAP2
00000306: SWAP1
00000307: PUSH2 0x0ef3
0000030a: JUMP
0000030b: JUMPDEST
0000030c: PUSH1 0x40
0000030e: MLOAD
0000030f: DUP1
00000310: SWAP2
00000311: SUB
00000312: SWAP1
00000313: RETURN
00000314: JUMPDEST
00000315: CALLVALUE
00000316: DUP1
00000317: ISZERO
00000318: PUSH2 0x0320
0000031b: JUMPI
0000031c: PUSH1 0x00
0000031e: DUP1
0000031f: REVERT
00000320: JUMPDEST
00000321: POP
00000322: PUSH2 0x0329
00000325: PUSH2 0x0991
00000328: JUMP
00000329: JUMPDEST
0000032a: PUSH1 0x40
0000032c: MLOAD
0000032d: PUSH2 0x0336
00000330: SWAP2
00000331: SWAP1
00000332: PUSH2 0x0ef3
00000335: JUMP
00000336: JUMPDEST
00000337: PUSH1 0x40
00000339: MLOAD
0000033a: DUP1
0000033b: SWAP2
0000033c: SUB
0000033d: SWAP1
0000033e: RETURN
0000033f: JUMPDEST
00000340: PUSH1 0x00
00000342: CALLER
00000343: SWAP1
00000344: POP
00000345: SWAP1
00000346: JUMP
00000347: JUMPDEST
00000348: PUSH1 0x00
0000034a: PUSH1 0x02
0000034c: PUSH1 0x00
0000034e: DUP4
0000034f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000364: AND
00000365: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000037a: AND
0000037b: DUP2
0000037c: MSTORE
0000037d: PUSH1 0x20
0000037f: ADD
00000380: SWAP1
00000381: DUP2
00000382: MSTORE
00000383: PUSH1 0x20
00000385: ADD
00000386: PUSH1 0x00
00000388: KECCAK256
00000389: SLOAD
0000038a: GT
0000038b: PUSH2 0x03c9
0000038e: JUMPI
0000038f: PUSH1 0x40
00000391: MLOAD
00000392: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000003b3: DUP2
000003b4: MSTORE
000003b5: PUSH1 0x04
000003b7: ADD
000003b8: PUSH2 0x03c0
000003bb: SWAP1
000003bc: PUSH2 0x1109
000003bf: JUMP
000003c0: JUMPDEST
000003c1: PUSH1 0x40
000003c3: MLOAD
000003c4: DUP1
000003c5: SWAP2
000003c6: SUB
000003c7: SWAP1
000003c8: REVERT
000003c9: JUMPDEST
000003ca: PUSH1 0x00
000003cc: PUSH2 0x03d4
000003cf: DUP3
000003d0: PUSH2 0x080e
000003d3: JUMP
000003d4: JUMPDEST
000003d5: SWAP1
000003d6: POP
000003d7: PUSH1 0x00
000003d9: DUP2
000003da: EQ
000003db: ISZERO
000003dc: PUSH2 0x041a
000003df: JUMPI
000003e0: PUSH1 0x40
000003e2: MLOAD
000003e3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000404: DUP2
00000405: MSTORE
00000406: PUSH1 0x04
00000408: ADD
00000409: PUSH2 0x0411
0000040c: SWAP1
0000040d: PUSH2 0x119b
00000410: JUMP
00000411: JUMPDEST
00000412: PUSH1 0x40
00000414: MLOAD
00000415: DUP1
00000416: SWAP2
00000417: SUB
00000418: SWAP1
00000419: REVERT
0000041a: JUMPDEST
0000041b: DUP1
0000041c: PUSH1 0x03
0000041e: PUSH1 0x00
00000420: DUP5
00000421: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000436: AND
00000437: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000044c: AND
0000044d: DUP2
0000044e: MSTORE
0000044f: PUSH1 0x20
00000451: ADD
00000452: SWAP1
00000453: DUP2
00000454: MSTORE
00000455: PUSH1 0x20
00000457: ADD
00000458: PUSH1 0x00
0000045a: KECCAK256
0000045b: PUSH1 0x00
0000045d: DUP3
0000045e: DUP3
0000045f: SLOAD
00000460: PUSH2 0x0469
00000463: SWAP2
00000464: SWAP1
00000465: PUSH2 0x11ea
00000468: JUMP
00000469: JUMPDEST
0000046a: SWAP3
0000046b: POP
0000046c: POP
0000046d: DUP2
0000046e: SWAP1
0000046f: SSTORE
00000470: POP
00000471: DUP1
00000472: PUSH1 0x01
00000474: PUSH1 0x00
00000476: DUP3
00000477: DUP3
00000478: SLOAD
00000479: PUSH2 0x0482
0000047c: SWAP2
0000047d: SWAP1
0000047e: PUSH2 0x11ea
00000481: JUMP
00000482: JUMPDEST
00000483: SWAP3
00000484: POP
00000485: POP
00000486: DUP2
00000487: SWAP1
00000488: SSTORE
00000489: POP
0000048a: PUSH2 0x0493
0000048d: DUP3
0000048e: DUP3
0000048f: PUSH2 0x099b
00000492: JUMP
00000493: JUMPDEST
00000494: PUSH32 0xdf20fd1e76bc69d672e4814fafb2c449bba3a5369d8359adf9e05e6fde87b056
000004b5: DUP3
000004b6: DUP3
000004b7: PUSH1 0x40
000004b9: MLOAD
000004ba: PUSH2 0x04c4
000004bd: SWAP3
000004be: SWAP2
000004bf: SWAP1
000004c0: PUSH2 0x129f
000004c3: JUMP
000004c4: JUMPDEST
000004c5: PUSH1 0x40
000004c7: MLOAD
000004c8: DUP1
000004c9: SWAP2
000004ca: SUB
000004cb: SWAP1
000004cc: LOG1
000004cd: POP
000004ce: POP
000004cf: JUMP
000004d0: JUMPDEST
000004d1: PUSH1 0x00
000004d3: DUP1
000004d4: SLOAD
000004d5: SWAP1
000004d6: POP
000004d7: SWAP1
000004d8: JUMP
000004d9: JUMPDEST
000004da: PUSH1 0x00
000004dc: PUSH1 0x06
000004de: PUSH1 0x00
000004e0: DUP5
000004e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004f6: AND
000004f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000050c: AND
0000050d: DUP2
0000050e: MSTORE
0000050f: PUSH1 0x20
00000511: ADD
00000512: SWAP1
00000513: DUP2
00000514: MSTORE
00000515: PUSH1 0x20
00000517: ADD
00000518: PUSH1 0x00
0000051a: KECCAK256
0000051b: PUSH1 0x00
0000051d: DUP4
0000051e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000533: AND
00000534: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000549: AND
0000054a: DUP2
0000054b: MSTORE
0000054c: PUSH1 0x20
0000054e: ADD
0000054f: SWAP1
00000550: DUP2
00000551: MSTORE
00000552: PUSH1 0x20
00000554: ADD
00000555: PUSH1 0x00
00000557: KECCAK256
00000558: SLOAD
00000559: SWAP1
0000055a: POP
0000055b: SWAP3
0000055c: SWAP2
0000055d: POP
0000055e: POP
0000055f: JUMP
00000560: JUMPDEST
00000561: PUSH1 0x00
00000563: PUSH1 0x02
00000565: PUSH1 0x00
00000567: DUP4
00000568: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000057d: AND
0000057e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000593: AND
00000594: DUP2
00000595: MSTORE
00000596: PUSH1 0x20
00000598: ADD
00000599: SWAP1
0000059a: DUP2
0000059b: MSTORE
0000059c: PUSH1 0x20
0000059e: ADD
0000059f: PUSH1 0x00
000005a1: KECCAK256
000005a2: SLOAD
000005a3: GT
000005a4: PUSH2 0x05e2
000005a7: JUMPI
000005a8: PUSH1 0x40
000005aa: MLOAD
000005ab: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000005cc: DUP2
000005cd: MSTORE
000005ce: PUSH1 0x04
000005d0: ADD
000005d1: PUSH2 0x05d9
000005d4: SWAP1
000005d5: PUSH2 0x1109
000005d8: JUMP
000005d9: JUMPDEST
000005da: PUSH1 0x40
000005dc: MLOAD
000005dd: DUP1
000005de: SWAP2
000005df: SUB
000005e0: SWAP1
000005e1: REVERT
000005e2: JUMPDEST
000005e3: PUSH1 0x00
000005e5: PUSH2 0x05ee
000005e8: DUP4
000005e9: DUP4
000005ea: PUSH2 0x0841
000005ed: JUMP
000005ee: JUMPDEST
000005ef: SWAP1
000005f0: POP
000005f1: PUSH1 0x00
000005f3: DUP2
000005f4: EQ
000005f5: ISZERO
000005f6: PUSH2 0x0634
000005f9: JUMPI
000005fa: PUSH1 0x40
000005fc: MLOAD
000005fd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000061e: DUP2
0000061f: MSTORE
00000620: PUSH1 0x04
00000622: ADD
00000623: PUSH2 0x062b
00000626: SWAP1
00000627: PUSH2 0x119b
0000062a: JUMP
0000062b: JUMPDEST
0000062c: PUSH1 0x40
0000062e: MLOAD
0000062f: DUP1
00000630: SWAP2
00000631: SUB
00000632: SWAP1
00000633: REVERT
00000634: JUMPDEST
00000635: DUP1
00000636: PUSH1 0x06
00000638: PUSH1 0x00
0000063a: DUP6
0000063b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000650: AND
00000651: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000666: AND
00000667: DUP2
00000668: MSTORE
00000669: PUSH1 0x20
0000066b: ADD
0000066c: SWAP1
0000066d: DUP2
0000066e: MSTORE
0000066f: PUSH1 0x20
00000671: ADD
00000672: PUSH1 0x00
00000674: KECCAK256
00000675: PUSH1 0x00
00000677: DUP5
00000678: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000068d: AND
0000068e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006a3: AND
000006a4: DUP2
000006a5: MSTORE
000006a6: PUSH1 0x20
000006a8: ADD
000006a9: SWAP1
000006aa: DUP2
000006ab: MSTORE
000006ac: PUSH1 0x20
000006ae: ADD
000006af: PUSH1 0x00
000006b1: KECCAK256
000006b2: PUSH1 0x00
000006b4: DUP3
000006b5: DUP3
000006b6: SLOAD
000006b7: PUSH2 0x06c0
000006ba: SWAP2
000006bb: SWAP1
000006bc: PUSH2 0x11ea
000006bf: JUMP
000006c0: JUMPDEST
000006c1: SWAP3
000006c2: POP
000006c3: POP
000006c4: DUP2
000006c5: SWAP1
000006c6: SSTORE
000006c7: POP
000006c8: DUP1
000006c9: PUSH1 0x05
000006cb: PUSH1 0x00
000006cd: DUP6
000006ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006e3: AND
000006e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006f9: AND
000006fa: DUP2
000006fb: MSTORE
000006fc: PUSH1 0x20
000006fe: ADD
000006ff: SWAP1
00000700: DUP2
00000701: MSTORE
00000702: PUSH1 0x20
00000704: ADD
00000705: PUSH1 0x00
00000707: KECCAK256
00000708: PUSH1 0x00
0000070a: DUP3
0000070b: DUP3
0000070c: SLOAD
0000070d: PUSH2 0x0716
00000710: SWAP2
00000711: SWAP1
00000712: PUSH2 0x11ea
00000715: JUMP
00000716: JUMPDEST
00000717: SWAP3
00000718: POP
00000719: POP
0000071a: DUP2
0000071b: SWAP1
0000071c: SSTORE
0000071d: POP
0000071e: PUSH2 0x0728
00000721: DUP4
00000722: DUP4
00000723: DUP4
00000724: PUSH2 0x0a8f
00000727: JUMP
00000728: JUMPDEST
00000729: DUP3
0000072a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000073f: AND
00000740: PUSH32 0x3be5b7a71e84ed12875d241991c70855ac5817d847039e17a9d895c1ceb0f18a
00000761: DUP4
00000762: DUP4
00000763: PUSH1 0x40
00000765: MLOAD
00000766: PUSH2 0x0770
00000769: SWAP3
0000076a: SWAP2
0000076b: SWAP1
0000076c: PUSH2 0x0e5a
0000076f: JUMP
00000770: JUMPDEST
00000771: PUSH1 0x40
00000773: MLOAD
00000774: DUP1
00000775: SWAP2
00000776: SUB
00000777: SWAP1
00000778: LOG2
00000779: POP
0000077a: POP
0000077b: POP
0000077c: JUMP
0000077d: JUMPDEST
0000077e: PUSH1 0x00
00000780: PUSH1 0x04
00000782: DUP3
00000783: DUP2
00000784: SLOAD
00000785: DUP2
00000786: LT
00000787: PUSH2 0x0793
0000078a: JUMPI
0000078b: PUSH2 0x0792
0000078e: PUSH2 0x12c8
00000791: JUMP
00000792: JUMPDEST
00000793: JUMPDEST
00000794: SWAP1
00000795: PUSH1 0x00
00000797: MSTORE
00000798: PUSH1 0x20
0000079a: PUSH1 0x00
0000079c: KECCAK256
0000079d: ADD
0000079e: PUSH1 0x00
000007a0: SWAP1
000007a1: SLOAD
000007a2: SWAP1
000007a3: PUSH2 0x0100
000007a6: EXP
000007a7: SWAP1
000007a8: DIV
000007a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007be: AND
000007bf: SWAP1
000007c0: POP
000007c1: SWAP2
000007c2: SWAP1
000007c3: POP
000007c4: JUMP
000007c5: JUMPDEST
000007c6: PUSH1 0x00
000007c8: PUSH1 0x03
000007ca: PUSH1 0x00
000007cc: DUP4
000007cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007e2: AND
000007e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007f8: AND
000007f9: DUP2
000007fa: MSTORE
000007fb: PUSH1 0x20
000007fd: ADD
000007fe: SWAP1
000007ff: DUP2
00000800: MSTORE
00000801: PUSH1 0x20
00000803: ADD
00000804: PUSH1 0x00
00000806: KECCAK256
00000807: SLOAD
00000808: SWAP1
00000809: POP
0000080a: SWAP2
0000080b: SWAP1
0000080c: POP
0000080d: JUMP
0000080e: JUMPDEST
0000080f: PUSH1 0x00
00000811: DUP1
00000812: PUSH2 0x0819
00000815: PUSH2 0x0991
00000818: JUMP
00000819: JUMPDEST
0000081a: SELFBALANCE
0000081b: PUSH2 0x0824
0000081e: SWAP2
0000081f: SWAP1
00000820: PUSH2 0x11ea
00000823: JUMP
00000824: JUMPDEST
00000825: SWAP1
00000826: POP
00000827: PUSH2 0x0839
0000082a: DUP4
0000082b: DUP3
0000082c: PUSH2 0x0834
0000082f: DUP7
00000830: PUSH2 0x07c5
00000833: JUMP
00000834: JUMPDEST
00000835: PUSH2 0x0b15
00000838: JUMP
00000839: JUMPDEST
0000083a: SWAP2
0000083b: POP
0000083c: POP
0000083d: SWAP2
0000083e: SWAP1
0000083f: POP
00000840: JUMP
00000841: JUMPDEST
00000842: PUSH1 0x00
00000844: DUP1
00000845: PUSH2 0x084d
00000848: DUP5
00000849: PUSH2 0x0948
0000084c: JUMP
0000084d: JUMPDEST
0000084e: DUP5
0000084f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000864: AND
00000865: PUSH4 0x70a08231
0000086a: ADDRESS
0000086b: PUSH1 0x40
0000086d: MLOAD
0000086e: DUP3
0000086f: PUSH4 0xffffffff
00000874: AND
00000875: PUSH1 0xe0
00000877: SHL
00000878: DUP2
00000879: MSTORE
0000087a: PUSH1 0x04
0000087c: ADD
0000087d: PUSH2 0x0886
00000880: SWAP2
00000881: SWAP1
00000882: PUSH2 0x1011
00000885: JUMP
00000886: JUMPDEST
00000887: PUSH1 0x20
00000889: PUSH1 0x40
0000088b: MLOAD
0000088c: DUP1
0000088d: DUP4
0000088e: SUB
0000088f: DUP2
00000890: DUP7
00000891: DUP1
00000892: EXTCODESIZE
00000893: ISZERO
00000894: DUP1
00000895: ISZERO
00000896: PUSH2 0x089e
00000899: JUMPI
0000089a: PUSH1 0x00
0000089c: DUP1
0000089d: REVERT
0000089e: JUMPDEST
0000089f: POP
000008a0: GAS
000008a1: STATICCALL
000008a2: ISZERO
000008a3: DUP1
000008a4: ISZERO
000008a5: PUSH2 0x08b2
000008a8: JUMPI
000008a9: RETURNDATASIZE
000008aa: PUSH1 0x00
000008ac: DUP1
000008ad: RETURNDATACOPY
000008ae: RETURNDATASIZE
000008af: PUSH1 0x00
000008b1: REVERT
000008b2: JUMPDEST
000008b3: POP
000008b4: POP
000008b5: POP
000008b6: POP
000008b7: PUSH1 0x40
000008b9: MLOAD
000008ba: RETURNDATASIZE
000008bb: PUSH1 0x1f
000008bd: NOT
000008be: PUSH1 0x1f
000008c0: DUP3
000008c1: ADD
000008c2: AND
000008c3: DUP3
000008c4: ADD
000008c5: DUP1
000008c6: PUSH1 0x40
000008c8: MSTORE
000008c9: POP
000008ca: DUP2
000008cb: ADD
000008cc: SWAP1
000008cd: PUSH2 0x08d6
000008d0: SWAP2
000008d1: SWAP1
000008d2: PUSH2 0x130c
000008d5: JUMP
000008d6: JUMPDEST
000008d7: PUSH2 0x08e0
000008da: SWAP2
000008db: SWAP1
000008dc: PUSH2 0x11ea
000008df: JUMP
000008e0: JUMPDEST
000008e1: SWAP1
000008e2: POP
000008e3: PUSH2 0x08f6
000008e6: DUP4
000008e7: DUP3
000008e8: PUSH2 0x08f1
000008eb: DUP8
000008ec: DUP8
000008ed: PUSH2 0x04d9
000008f0: JUMP
000008f1: JUMPDEST
000008f2: PUSH2 0x0b15
000008f5: JUMP
000008f6: JUMPDEST
000008f7: SWAP2
000008f8: POP
000008f9: POP
000008fa: SWAP3
000008fb: SWAP2
000008fc: POP
000008fd: POP
000008fe: JUMP
000008ff: JUMPDEST
00000900: PUSH1 0x00
00000902: PUSH1 0x02
00000904: PUSH1 0x00
00000906: DUP4
00000907: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000091c: AND
0000091d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000932: AND
00000933: DUP2
00000934: MSTORE
00000935: PUSH1 0x20
00000937: ADD
00000938: SWAP1
00000939: DUP2
0000093a: MSTORE
0000093b: PUSH1 0x20
0000093d: ADD
0000093e: PUSH1 0x00
00000940: KECCAK256
00000941: SLOAD
00000942: SWAP1
00000943: POP
00000944: SWAP2
00000945: SWAP1
00000946: POP
00000947: JUMP
00000948: JUMPDEST
00000949: PUSH1 0x00
0000094b: PUSH1 0x05
0000094d: PUSH1 0x00
0000094f: DUP4
00000950: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000965: AND
00000966: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000097b: AND
0000097c: DUP2
0000097d: MSTORE
0000097e: PUSH1 0x20
00000980: ADD
00000981: SWAP1
00000982: DUP2
00000983: MSTORE
00000984: PUSH1 0x20
00000986: ADD
00000987: PUSH1 0x00
00000989: KECCAK256
0000098a: SLOAD
0000098b: SWAP1
0000098c: POP
0000098d: SWAP2
0000098e: SWAP1
0000098f: POP
00000990: JUMP
00000991: JUMPDEST
00000992: PUSH1 0x00
00000994: PUSH1 0x01
00000996: SLOAD
00000997: SWAP1
00000998: POP
00000999: SWAP1
0000099a: JUMP
0000099b: JUMPDEST
0000099c: DUP1
0000099d: SELFBALANCE
0000099e: LT
0000099f: ISZERO
000009a0: PUSH2 0x09de
000009a3: JUMPI
000009a4: PUSH1 0x40
000009a6: MLOAD
000009a7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000009c8: DUP2
000009c9: MSTORE
000009ca: PUSH1 0x04
000009cc: ADD
000009cd: PUSH2 0x09d5
000009d0: SWAP1
000009d1: PUSH2 0x1385
000009d4: JUMP
000009d5: JUMPDEST
000009d6: PUSH1 0x40
000009d8: MLOAD
000009d9: DUP1
000009da: SWAP2
000009db: SUB
000009dc: SWAP1
000009dd: REVERT
000009de: JUMPDEST
000009df: PUSH1 0x00
000009e1: DUP3
000009e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009f7: AND
000009f8: DUP3
000009f9: PUSH1 0x40
000009fb: MLOAD
000009fc: PUSH2 0x0a04
000009ff: SWAP1
00000a00: PUSH2 0x13d6
00000a03: JUMP
00000a04: JUMPDEST
00000a05: PUSH1 0x00
00000a07: PUSH1 0x40
00000a09: MLOAD
00000a0a: DUP1
00000a0b: DUP4
00000a0c: SUB
00000a0d: DUP2
00000a0e: DUP6
00000a0f: DUP8
00000a10: GAS
00000a11: CALL
00000a12: SWAP3
00000a13: POP
00000a14: POP
00000a15: POP
00000a16: RETURNDATASIZE
00000a17: DUP1
00000a18: PUSH1 0x00
00000a1a: DUP2
00000a1b: EQ
00000a1c: PUSH2 0x0a41
00000a1f: JUMPI
00000a20: PUSH1 0x40
00000a22: MLOAD
00000a23: SWAP2
00000a24: POP
00000a25: PUSH1 0x1f
00000a27: NOT
00000a28: PUSH1 0x3f
00000a2a: RETURNDATASIZE
00000a2b: ADD
00000a2c: AND
00000a2d: DUP3
00000a2e: ADD
00000a2f: PUSH1 0x40
00000a31: MSTORE
00000a32: RETURNDATASIZE
00000a33: DUP3
00000a34: MSTORE
00000a35: RETURNDATASIZE
00000a36: PUSH1 0x00
00000a38: PUSH1 0x20
00000a3a: DUP5
00000a3b: ADD
00000a3c: RETURNDATACOPY
00000a3d: PUSH2 0x0a46
00000a40: JUMP
00000a41: JUMPDEST
00000a42: PUSH1 0x60
00000a44: SWAP2
00000a45: POP
00000a46: JUMPDEST
00000a47: POP
00000a48: POP
00000a49: SWAP1
00000a4a: POP
00000a4b: DUP1
00000a4c: PUSH2 0x0a8a
00000a4f: JUMPI
00000a50: PUSH1 0x40
00000a52: MLOAD
00000a53: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000a74: DUP2
00000a75: MSTORE
00000a76: PUSH1 0x04
00000a78: ADD
00000a79: PUSH2 0x0a81
00000a7c: SWAP1
00000a7d: PUSH2 0x145d
00000a80: JUMP
00000a81: JUMPDEST
00000a82: PUSH1 0x40
00000a84: MLOAD
00000a85: DUP1
00000a86: SWAP2
00000a87: SUB
00000a88: SWAP1
00000a89: REVERT
00000a8a: JUMPDEST
00000a8b: POP
00000a8c: POP
00000a8d: POP
00000a8e: JUMP
00000a8f: JUMPDEST
00000a90: PUSH2 0x0b10
00000a93: DUP4
00000a94: PUSH4 0xa9059cbb
00000a99: PUSH1 0xe0
00000a9b: SHL
00000a9c: DUP5
00000a9d: DUP5
00000a9e: PUSH1 0x40
00000aa0: MLOAD
00000aa1: PUSH1 0x24
00000aa3: ADD
00000aa4: PUSH2 0x0aae
00000aa7: SWAP3
00000aa8: SWAP2
00000aa9: SWAP1
00000aaa: PUSH2 0x0e5a
00000aad: JUMP
00000aae: JUMPDEST
00000aaf: PUSH1 0x40
00000ab1: MLOAD
00000ab2: PUSH1 0x20
00000ab4: DUP2
00000ab5: DUP4
00000ab6: SUB
00000ab7: SUB
00000ab8: DUP2
00000ab9: MSTORE
00000aba: SWAP1
00000abb: PUSH1 0x40
00000abd: MSTORE
00000abe: SWAP1
00000abf: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000adc: NOT
00000add: AND
00000ade: PUSH1 0x20
00000ae0: DUP3
00000ae1: ADD
00000ae2: DUP1
00000ae3: MLOAD
00000ae4: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000b01: DUP4
00000b02: DUP2
00000b03: DUP4
00000b04: AND
00000b05: OR
00000b06: DUP4
00000b07: MSTORE
00000b08: POP
00000b09: POP
00000b0a: POP
00000b0b: POP
00000b0c: PUSH2 0x0b83
00000b0f: JUMP
00000b10: JUMPDEST
00000b11: POP
00000b12: POP
00000b13: POP
00000b14: JUMP
00000b15: JUMPDEST
00000b16: PUSH1 0x00
00000b18: DUP2
00000b19: PUSH1 0x00
00000b1b: SLOAD
00000b1c: PUSH1 0x02
00000b1e: PUSH1 0x00
00000b20: DUP8
00000b21: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b36: AND
00000b37: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b4c: AND
00000b4d: DUP2
00000b4e: MSTORE
00000b4f: PUSH1 0x20
00000b51: ADD
00000b52: SWAP1
00000b53: DUP2
00000b54: MSTORE
00000b55: PUSH1 0x20
00000b57: ADD
00000b58: PUSH1 0x00
00000b5a: KECCAK256
00000b5b: SLOAD
00000b5c: DUP6
00000b5d: PUSH2 0x0b66
00000b60: SWAP2
00000b61: SWAP1
00000b62: PUSH2 0x147d
00000b65: JUMP
00000b66: JUMPDEST
00000b67: PUSH2 0x0b70
00000b6a: SWAP2
00000b6b: SWAP1
00000b6c: PUSH2 0x1506
00000b6f: JUMP
00000b70: JUMPDEST
00000b71: PUSH2 0x0b7a
00000b74: SWAP2
00000b75: SWAP1
00000b76: PUSH2 0x1537
00000b79: JUMP
00000b7a: JUMPDEST
00000b7b: SWAP1
00000b7c: POP
00000b7d: SWAP4
00000b7e: SWAP3
00000b7f: POP
00000b80: POP
00000b81: POP
00000b82: JUMP
00000b83: JUMPDEST
00000b84: PUSH1 0x00
00000b86: PUSH2 0x0be5
00000b89: DUP3
00000b8a: PUSH1 0x40
00000b8c: MLOAD
00000b8d: DUP1
00000b8e: PUSH1 0x40
00000b90: ADD
00000b91: PUSH1 0x40
00000b93: MSTORE
00000b94: DUP1
00000b95: PUSH1 0x20
00000b97: DUP2
00000b98: MSTORE
00000b99: PUSH1 0x20
00000b9b: ADD
00000b9c: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00000bbd: DUP2
00000bbe: MSTORE
00000bbf: POP
00000bc0: DUP6
00000bc1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bd6: AND
00000bd7: PUSH2 0x0c4a
00000bda: SWAP1
00000bdb: SWAP3
00000bdc: SWAP2
00000bdd: SWAP1
00000bde: PUSH4 0xffffffff
00000be3: AND
00000be4: JUMP
00000be5: JUMPDEST
00000be6: SWAP1
00000be7: POP
00000be8: PUSH1 0x00
00000bea: DUP2
00000beb: MLOAD
00000bec: GT
00000bed: ISZERO
00000bee: PUSH2 0x0c45
00000bf1: JUMPI
00000bf2: DUP1
00000bf3: DUP1
00000bf4: PUSH1 0x20
00000bf6: ADD
00000bf7: SWAP1
00000bf8: MLOAD
00000bf9: DUP2
00000bfa: ADD
00000bfb: SWAP1
00000bfc: PUSH2 0x0c05
00000bff: SWAP2
00000c00: SWAP1
00000c01: PUSH2 0x15a3
00000c04: JUMP
00000c05: JUMPDEST
00000c06: PUSH2 0x0c44
00000c09: JUMPI
00000c0a: PUSH1 0x40
00000c0c: MLOAD
00000c0d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000c2e: DUP2
00000c2f: MSTORE
00000c30: PUSH1 0x04
00000c32: ADD
00000c33: PUSH2 0x0c3b
00000c36: SWAP1
00000c37: PUSH2 0x1642
00000c3a: JUMP
00000c3b: JUMPDEST
00000c3c: PUSH1 0x40
00000c3e: MLOAD
00000c3f: DUP1
00000c40: SWAP2
00000c41: SUB
00000c42: SWAP1
00000c43: REVERT
00000c44: JUMPDEST
00000c45: JUMPDEST
00000c46: POP
00000c47: POP
00000c48: POP
00000c49: JUMP
00000c4a: JUMPDEST
00000c4b: PUSH1 0x60
00000c4d: PUSH2 0x0c59
00000c50: DUP5
00000c51: DUP5
00000c52: PUSH1 0x00
00000c54: DUP6
00000c55: PUSH2 0x0c62
00000c58: JUMP
00000c59: JUMPDEST
00000c5a: SWAP1
00000c5b: POP
00000c5c: SWAP4
00000c5d: SWAP3
00000c5e: POP
00000c5f: POP
00000c60: POP
00000c61: JUMP
00000c62: JUMPDEST
00000c63: PUSH1 0x60
00000c65: DUP3
00000c66: SELFBALANCE
00000c67: LT
00000c68: ISZERO
00000c69: PUSH2 0x0ca7
00000c6c: JUMPI
00000c6d: PUSH1 0x40
00000c6f: MLOAD
00000c70: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000c91: DUP2
00000c92: MSTORE
00000c93: PUSH1 0x04
00000c95: ADD
00000c96: PUSH2 0x0c9e
00000c99: SWAP1
00000c9a: PUSH2 0x16d4
00000c9d: JUMP
00000c9e: JUMPDEST
00000c9f: PUSH1 0x40
00000ca1: MLOAD
00000ca2: DUP1
00000ca3: SWAP2
00000ca4: SUB
00000ca5: SWAP1
00000ca6: REVERT
00000ca7: JUMPDEST
00000ca8: PUSH2 0x0cb0
00000cab: DUP6
00000cac: PUSH2 0x0d76
00000caf: JUMP
00000cb0: JUMPDEST
00000cb1: PUSH2 0x0cef
00000cb4: JUMPI
00000cb5: PUSH1 0x40
00000cb7: MLOAD
00000cb8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000cd9: DUP2
00000cda: MSTORE
00000cdb: PUSH1 0x04
00000cdd: ADD
00000cde: PUSH2 0x0ce6
00000ce1: SWAP1
00000ce2: PUSH2 0x1740
00000ce5: JUMP
00000ce6: JUMPDEST
00000ce7: PUSH1 0x40
00000ce9: MLOAD
00000cea: DUP1
00000ceb: SWAP2
00000cec: SUB
00000ced: SWAP1
00000cee: REVERT
00000cef: JUMPDEST
00000cf0: PUSH1 0x00
00000cf2: DUP1
00000cf3: DUP7
00000cf4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d09: AND
00000d0a: DUP6
00000d0b: DUP8
00000d0c: PUSH1 0x40
00000d0e: MLOAD
00000d0f: PUSH2 0x0d18
00000d12: SWAP2
00000d13: SWAP1
00000d14: PUSH2 0x17cf
00000d17: JUMP
00000d18: JUMPDEST
00000d19: PUSH1 0x00
00000d1b: PUSH1 0x40
00000d1d: MLOAD
00000d1e: DUP1
00000d1f: DUP4
00000d20: SUB
00000d21: DUP2
00000d22: DUP6
00000d23: DUP8
00000d24: GAS
00000d25: CALL
00000d26: SWAP3
00000d27: POP
00000d28: POP
00000d29: POP
00000d2a: RETURNDATASIZE
00000d2b: DUP1
00000d2c: PUSH1 0x00
00000d2e: DUP2
00000d2f: EQ
00000d30: PUSH2 0x0d55
00000d33: JUMPI
00000d34: PUSH1 0x40
00000d36: MLOAD
00000d37: SWAP2
00000d38: POP
00000d39: PUSH1 0x1f
00000d3b: NOT
00000d3c: PUSH1 0x3f
00000d3e: RETURNDATASIZE
00000d3f: ADD
00000d40: AND
00000d41: DUP3
00000d42: ADD
00000d43: PUSH1 0x40
00000d45: MSTORE
00000d46: RETURNDATASIZE
00000d47: DUP3
00000d48: MSTORE
00000d49: RETURNDATASIZE
00000d4a: PUSH1 0x00
00000d4c: PUSH1 0x20
00000d4e: DUP5
00000d4f: ADD
00000d50: RETURNDATACOPY
00000d51: PUSH2 0x0d5a
00000d54: JUMP
00000d55: JUMPDEST
00000d56: PUSH1 0x60
00000d58: SWAP2
00000d59: POP
00000d5a: JUMPDEST
00000d5b: POP
00000d5c: SWAP2
00000d5d: POP
00000d5e: SWAP2
00000d5f: POP
00000d60: PUSH2 0x0d6a
00000d63: DUP3
00000d64: DUP3
00000d65: DUP7
00000d66: PUSH2 0x0d99
00000d69: JUMP
00000d6a: JUMPDEST
00000d6b: SWAP3
00000d6c: POP
00000d6d: POP
00000d6e: POP
00000d6f: SWAP5
00000d70: SWAP4
00000d71: POP
00000d72: POP
00000d73: POP
00000d74: POP
00000d75: JUMP
00000d76: JUMPDEST
00000d77: PUSH1 0x00
00000d79: DUP1
00000d7a: DUP3
00000d7b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d90: AND
00000d91: EXTCODESIZE
00000d92: GT
00000d93: SWAP1
00000d94: POP
00000d95: SWAP2
00000d96: SWAP1
00000d97: POP
00000d98: JUMP
00000d99: JUMPDEST
00000d9a: PUSH1 0x60
00000d9c: DUP4
00000d9d: ISZERO
00000d9e: PUSH2 0x0da9
00000da1: JUMPI
00000da2: DUP3
00000da3: SWAP1
00000da4: POP
00000da5: PUSH2 0x0df9
00000da8: JUMP
00000da9: JUMPDEST
00000daa: PUSH1 0x00
00000dac: DUP4
00000dad: MLOAD
00000dae: GT
00000daf: ISZERO
00000db0: PUSH2 0x0dbc
00000db3: JUMPI
00000db4: DUP3
00000db5: MLOAD
00000db6: DUP1
00000db7: DUP5
00000db8: PUSH1 0x20
00000dba: ADD
00000dbb: REVERT
00000dbc: JUMPDEST
00000dbd: DUP2
00000dbe: PUSH1 0x40
00000dc0: MLOAD
00000dc1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000de2: DUP2
00000de3: MSTORE
00000de4: PUSH1 0x04
00000de6: ADD
00000de7: PUSH2 0x0df0
00000dea: SWAP2
00000deb: SWAP1
00000dec: PUSH2 0x183b
00000def: JUMP
00000df0: JUMPDEST
00000df1: PUSH1 0x40
00000df3: MLOAD
00000df4: DUP1
00000df5: SWAP2
00000df6: SUB
00000df7: SWAP1
00000df8: REVERT
00000df9: JUMPDEST
00000dfa: SWAP4
00000dfb: SWAP3
00000dfc: POP
00000dfd: POP
00000dfe: POP
00000dff: JUMP
00000e00: JUMPDEST
00000e01: PUSH1 0x00
00000e03: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e18: DUP3
00000e19: AND
00000e1a: SWAP1
00000e1b: POP
00000e1c: SWAP2
00000e1d: SWAP1
00000e1e: POP
00000e1f: JUMP
00000e20: JUMPDEST
00000e21: PUSH1 0x00
00000e23: PUSH2 0x0e2b
00000e26: DUP3
00000e27: PUSH2 0x0e00
00000e2a: JUMP
00000e2b: JUMPDEST
00000e2c: SWAP1
00000e2d: POP
00000e2e: SWAP2
00000e2f: SWAP1
00000e30: POP
00000e31: JUMP
00000e32: JUMPDEST
00000e33: PUSH2 0x0e3b
00000e36: DUP2
00000e37: PUSH2 0x0e20
00000e3a: JUMP
00000e3b: JUMPDEST
00000e3c: DUP3
00000e3d: MSTORE
00000e3e: POP
00000e3f: POP
00000e40: JUMP
00000e41: JUMPDEST
00000e42: PUSH1 0x00
00000e44: DUP2
00000e45: SWAP1
00000e46: POP
00000e47: SWAP2
00000e48: SWAP1
00000e49: POP
00000e4a: JUMP
00000e4b: JUMPDEST
00000e4c: PUSH2 0x0e54
00000e4f: DUP2
00000e50: PUSH2 0x0e41
00000e53: JUMP
00000e54: JUMPDEST
00000e55: DUP3
00000e56: MSTORE
00000e57: POP
00000e58: POP
00000e59: JUMP
00000e5a: JUMPDEST
00000e5b: PUSH1 0x00
00000e5d: PUSH1 0x40
00000e5f: DUP3
00000e60: ADD
00000e61: SWAP1
00000e62: POP
00000e63: PUSH2 0x0e6f
00000e66: PUSH1 0x00
00000e68: DUP4
00000e69: ADD
00000e6a: DUP6
00000e6b: PUSH2 0x0e32
00000e6e: JUMP
00000e6f: JUMPDEST
00000e70: PUSH2 0x0e7c
00000e73: PUSH1 0x20
00000e75: DUP4
00000e76: ADD
00000e77: DUP5
00000e78: PUSH2 0x0e4b
00000e7b: JUMP
00000e7c: JUMPDEST
00000e7d: SWAP4
00000e7e: SWAP3
00000e7f: POP
00000e80: POP
00000e81: POP
00000e82: JUMP
00000e83: JUMPDEST
00000e84: PUSH1 0x00
00000e86: DUP1
00000e87: REVERT
00000e88: JUMPDEST
00000e89: PUSH1 0x00
00000e8b: PUSH2 0x0e93
00000e8e: DUP3
00000e8f: PUSH2 0x0e00
00000e92: JUMP
00000e93: JUMPDEST
00000e94: SWAP1
00000e95: POP
00000e96: SWAP2
00000e97: SWAP1
00000e98: POP
00000e99: JUMP
00000e9a: JUMPDEST
00000e9b: PUSH2 0x0ea3
00000e9e: DUP2
00000e9f: PUSH2 0x0e88
00000ea2: JUMP
00000ea3: JUMPDEST
00000ea4: DUP2
00000ea5: EQ
00000ea6: PUSH2 0x0eae
00000ea9: JUMPI
00000eaa: PUSH1 0x00
00000eac: DUP1
00000ead: REVERT
00000eae: JUMPDEST
00000eaf: POP
00000eb0: JUMP
00000eb1: JUMPDEST
00000eb2: PUSH1 0x00
00000eb4: DUP2
00000eb5: CALLDATALOAD
00000eb6: SWAP1
00000eb7: POP
00000eb8: PUSH2 0x0ec0
00000ebb: DUP2
00000ebc: PUSH2 0x0e9a
00000ebf: JUMP
00000ec0: JUMPDEST
00000ec1: SWAP3
00000ec2: SWAP2
00000ec3: POP
00000ec4: POP
00000ec5: JUMP
00000ec6: JUMPDEST
00000ec7: PUSH1 0x00
00000ec9: PUSH1 0x20
00000ecb: DUP3
00000ecc: DUP5
00000ecd: SUB
00000ece: SLT
00000ecf: ISZERO
00000ed0: PUSH2 0x0edc
00000ed3: JUMPI
00000ed4: PUSH2 0x0edb
00000ed7: PUSH2 0x0e83
00000eda: JUMP
00000edb: JUMPDEST
00000edc: JUMPDEST
00000edd: PUSH1 0x00
00000edf: PUSH2 0x0eea
00000ee2: DUP5
00000ee3: DUP3
00000ee4: DUP6
00000ee5: ADD
00000ee6: PUSH2 0x0eb1
00000ee9: JUMP
00000eea: JUMPDEST
00000eeb: SWAP2
00000eec: POP
00000eed: POP
00000eee: SWAP3
00000eef: SWAP2
00000ef0: POP
00000ef1: POP
00000ef2: JUMP
00000ef3: JUMPDEST
00000ef4: PUSH1 0x00
00000ef6: PUSH1 0x20
00000ef8: DUP3
00000ef9: ADD
00000efa: SWAP1
00000efb: POP
00000efc: PUSH2 0x0f08
00000eff: PUSH1 0x00
00000f01: DUP4
00000f02: ADD
00000f03: DUP5
00000f04: PUSH2 0x0e4b
00000f07: JUMP
00000f08: JUMPDEST
00000f09: SWAP3
00000f0a: SWAP2
00000f0b: POP
00000f0c: POP
00000f0d: JUMP
00000f0e: JUMPDEST
00000f0f: PUSH1 0x00
00000f11: PUSH2 0x0f19
00000f14: DUP3
00000f15: PUSH2 0x0e20
00000f18: JUMP
00000f19: JUMPDEST
00000f1a: SWAP1
00000f1b: POP
00000f1c: SWAP2
00000f1d: SWAP1
00000f1e: POP
00000f1f: JUMP
00000f20: JUMPDEST
00000f21: PUSH2 0x0f29
00000f24: DUP2
00000f25: PUSH2 0x0f0e
00000f28: JUMP
00000f29: JUMPDEST
00000f2a: DUP2
00000f2b: EQ
00000f2c: PUSH2 0x0f34
00000f2f: JUMPI
00000f30: PUSH1 0x00
00000f32: DUP1
00000f33: REVERT
00000f34: JUMPDEST
00000f35: POP
00000f36: JUMP
00000f37: JUMPDEST
00000f38: PUSH1 0x00
00000f3a: DUP2
00000f3b: CALLDATALOAD
00000f3c: SWAP1
00000f3d: POP
00000f3e: PUSH2 0x0f46
00000f41: DUP2
00000f42: PUSH2 0x0f20
00000f45: JUMP
00000f46: JUMPDEST
00000f47: SWAP3
00000f48: SWAP2
00000f49: POP
00000f4a: POP
00000f4b: JUMP
00000f4c: JUMPDEST
00000f4d: PUSH2 0x0f55
00000f50: DUP2
00000f51: PUSH2 0x0e20
00000f54: JUMP
00000f55: JUMPDEST
00000f56: DUP2
00000f57: EQ
00000f58: PUSH2 0x0f60
00000f5b: JUMPI
00000f5c: PUSH1 0x00
00000f5e: DUP1
00000f5f: REVERT
00000f60: JUMPDEST
00000f61: POP
00000f62: JUMP
00000f63: JUMPDEST
00000f64: PUSH1 0x00
00000f66: DUP2
00000f67: CALLDATALOAD
00000f68: SWAP1
00000f69: POP
00000f6a: PUSH2 0x0f72
00000f6d: DUP2
00000f6e: PUSH2 0x0f4c
00000f71: JUMP
00000f72: JUMPDEST
00000f73: SWAP3
00000f74: SWAP2
00000f75: POP
00000f76: POP
00000f77: JUMP
00000f78: JUMPDEST
00000f79: PUSH1 0x00
00000f7b: DUP1
00000f7c: PUSH1 0x40
00000f7e: DUP4
00000f7f: DUP6
00000f80: SUB
00000f81: SLT
00000f82: ISZERO
00000f83: PUSH2 0x0f8f
00000f86: JUMPI
00000f87: PUSH2 0x0f8e
00000f8a: PUSH2 0x0e83
00000f8d: JUMP
00000f8e: JUMPDEST
00000f8f: JUMPDEST
00000f90: PUSH1 0x00
00000f92: PUSH2 0x0f9d
00000f95: DUP6
00000f96: DUP3
00000f97: DUP7
00000f98: ADD
00000f99: PUSH2 0x0f37
00000f9c: JUMP
00000f9d: JUMPDEST
00000f9e: SWAP3
00000f9f: POP
00000fa0: POP
00000fa1: PUSH1 0x20
00000fa3: PUSH2 0x0fae
00000fa6: DUP6
00000fa7: DUP3
00000fa8: DUP7
00000fa9: ADD
00000faa: PUSH2 0x0f63
00000fad: JUMP
00000fae: JUMPDEST
00000faf: SWAP2
00000fb0: POP
00000fb1: POP
00000fb2: SWAP3
00000fb3: POP
00000fb4: SWAP3
00000fb5: SWAP1
00000fb6: POP
00000fb7: JUMP
00000fb8: JUMPDEST
00000fb9: PUSH2 0x0fc1
00000fbc: DUP2
00000fbd: PUSH2 0x0e41
00000fc0: JUMP
00000fc1: JUMPDEST
00000fc2: DUP2
00000fc3: EQ
00000fc4: PUSH2 0x0fcc
00000fc7: JUMPI
00000fc8: PUSH1 0x00
00000fca: DUP1
00000fcb: REVERT
00000fcc: JUMPDEST
00000fcd: POP
00000fce: JUMP
00000fcf: JUMPDEST
00000fd0: PUSH1 0x00
00000fd2: DUP2
00000fd3: CALLDATALOAD
00000fd4: SWAP1
00000fd5: POP
00000fd6: PUSH2 0x0fde
00000fd9: DUP2
00000fda: PUSH2 0x0fb8
00000fdd: JUMP
00000fde: JUMPDEST
00000fdf: SWAP3
00000fe0: SWAP2
00000fe1: POP
00000fe2: POP
00000fe3: JUMP
00000fe4: JUMPDEST
00000fe5: PUSH1 0x00
00000fe7: PUSH1 0x20
00000fe9: DUP3
00000fea: DUP5
00000feb: SUB
00000fec: SLT
00000fed: ISZERO
00000fee: PUSH2 0x0ffa
00000ff1: JUMPI
00000ff2: PUSH2 0x0ff9
00000ff5: PUSH2 0x0e83
00000ff8: JUMP
00000ff9: JUMPDEST
00000ffa: JUMPDEST
00000ffb: PUSH1 0x00
00000ffd: PUSH2 0x1008
00001000: DUP5
00001001: DUP3
00001002: DUP6
00001003: ADD
00001004: PUSH2 0x0fcf
00001007: JUMP
00001008: JUMPDEST
00001009: SWAP2
0000100a: POP
0000100b: POP
0000100c: SWAP3
0000100d: SWAP2
0000100e: POP
0000100f: POP
00001010: JUMP
00001011: JUMPDEST
00001012: PUSH1 0x00
00001014: PUSH1 0x20
00001016: DUP3
00001017: ADD
00001018: SWAP1
00001019: POP
0000101a: PUSH2 0x1026
0000101d: PUSH1 0x00
0000101f: DUP4
00001020: ADD
00001021: DUP5
00001022: PUSH2 0x0e32
00001025: JUMP
00001026: JUMPDEST
00001027: SWAP3
00001028: SWAP2
00001029: POP
0000102a: POP
0000102b: JUMP
0000102c: JUMPDEST
0000102d: PUSH1 0x00
0000102f: PUSH1 0x20
00001031: DUP3
00001032: DUP5
00001033: SUB
00001034: SLT
00001035: ISZERO
00001036: PUSH2 0x1042
00001039: JUMPI
0000103a: PUSH2 0x1041
0000103d: PUSH2 0x0e83
00001040: JUMP
00001041: JUMPDEST
00001042: JUMPDEST
00001043: PUSH1 0x00
00001045: PUSH2 0x1050
00001048: DUP5
00001049: DUP3
0000104a: DUP6
0000104b: ADD
0000104c: PUSH2 0x0f63
0000104f: JUMP
00001050: JUMPDEST
00001051: SWAP2
00001052: POP
00001053: POP
00001054: SWAP3
00001055: SWAP2
00001056: POP
00001057: POP
00001058: JUMP
00001059: JUMPDEST
0000105a: PUSH1 0x00
0000105c: PUSH1 0x20
0000105e: DUP3
0000105f: DUP5
00001060: SUB
00001061: SLT
00001062: ISZERO
00001063: PUSH2 0x106f
00001066: JUMPI
00001067: PUSH2 0x106e
0000106a: PUSH2 0x0e83
0000106d: JUMP
0000106e: JUMPDEST
0000106f: JUMPDEST
00001070: PUSH1 0x00
00001072: PUSH2 0x107d
00001075: DUP5
00001076: DUP3
00001077: DUP6
00001078: ADD
00001079: PUSH2 0x0f37
0000107c: JUMP
0000107d: JUMPDEST
0000107e: SWAP2
0000107f: POP
00001080: POP
00001081: SWAP3
00001082: SWAP2
00001083: POP
00001084: POP
00001085: JUMP
00001086: JUMPDEST
00001087: PUSH1 0x00
00001089: DUP3
0000108a: DUP3
0000108b: MSTORE
0000108c: PUSH1 0x20
0000108e: DUP3
0000108f: ADD
00001090: SWAP1
00001091: POP
00001092: SWAP3
00001093: SWAP2
00001094: POP
00001095: POP
00001096: JUMP
00001097: JUMPDEST
00001098: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e7420686173206e6f20
000010b9: PUSH1 0x00
000010bb: DUP3
000010bc: ADD
000010bd: MSTORE
000010be: PUSH32 0x7368617265730000000000000000000000000000000000000000000000000000
000010df: PUSH1 0x20
000010e1: DUP3
000010e2: ADD
000010e3: MSTORE
000010e4: POP
000010e5: JUMP
000010e6: JUMPDEST
000010e7: PUSH1 0x00
000010e9: PUSH2 0x10f3
000010ec: PUSH1 0x26
000010ee: DUP4
000010ef: PUSH2 0x1086
000010f2: JUMP
000010f3: JUMPDEST
000010f4: SWAP2
000010f5: POP
000010f6: PUSH2 0x10fe
000010f9: DUP3
000010fa: PUSH2 0x1097
000010fd: JUMP
000010fe: JUMPDEST
000010ff: PUSH1 0x40
00001101: DUP3
00001102: ADD
00001103: SWAP1
00001104: POP
00001105: SWAP2
00001106: SWAP1
00001107: POP
00001108: JUMP
00001109: JUMPDEST
0000110a: PUSH1 0x00
0000110c: PUSH1 0x20
0000110e: DUP3
0000110f: ADD
00001110: SWAP1
00001111: POP
00001112: DUP2
00001113: DUP2
00001114: SUB
00001115: PUSH1 0x00
00001117: DUP4
00001118: ADD
00001119: MSTORE
0000111a: PUSH2 0x1122
0000111d: DUP2
0000111e: PUSH2 0x10e6
00001121: JUMP
00001122: JUMPDEST
00001123: SWAP1
00001124: POP
00001125: SWAP2
00001126: SWAP1
00001127: POP
00001128: JUMP
00001129: JUMPDEST
0000112a: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e74206973206e6f7420
0000114b: PUSH1 0x00
0000114d: DUP3
0000114e: ADD
0000114f: MSTORE
00001150: PUSH32 0x647565207061796d656e74000000000000000000000000000000000000000000
00001171: PUSH1 0x20
00001173: DUP3
00001174: ADD
00001175: MSTORE
00001176: POP
00001177: JUMP
00001178: JUMPDEST
00001179: PUSH1 0x00
0000117b: PUSH2 0x1185
0000117e: PUSH1 0x2b
00001180: DUP4
00001181: PUSH2 0x1086
00001184: JUMP
00001185: JUMPDEST
00001186: SWAP2
00001187: POP
00001188: PUSH2 0x1190
0000118b: DUP3
0000118c: PUSH2 0x1129
0000118f: JUMP
00001190: JUMPDEST
00001191: PUSH1 0x40
00001193: DUP3
00001194: ADD
00001195: SWAP1
00001196: POP
00001197: SWAP2
00001198: SWAP1
00001199: POP
0000119a: JUMP
0000119b: JUMPDEST
0000119c: PUSH1 0x00
0000119e: PUSH1 0x20
000011a0: DUP3
000011a1: ADD
000011a2: SWAP1
000011a3: POP
000011a4: DUP2
000011a5: DUP2
000011a6: SUB
000011a7: PUSH1 0x00
000011a9: DUP4
000011aa: ADD
000011ab: MSTORE
000011ac: PUSH2 0x11b4
000011af: DUP2
000011b0: PUSH2 0x1178
000011b3: JUMP
000011b4: JUMPDEST
000011b5: SWAP1
000011b6: POP
000011b7: SWAP2
000011b8: SWAP1
000011b9: POP
000011ba: JUMP
000011bb: JUMPDEST
000011bc: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000011dd: PUSH1 0x00
000011df: MSTORE
000011e0: PUSH1 0x11
000011e2: PUSH1 0x04
000011e4: MSTORE
000011e5: PUSH1 0x24
000011e7: PUSH1 0x00
000011e9: REVERT
000011ea: JUMPDEST
000011eb: PUSH1 0x00
000011ed: PUSH2 0x11f5
000011f0: DUP3
000011f1: PUSH2 0x0e41
000011f4: JUMP
000011f5: JUMPDEST
000011f6: SWAP2
000011f7: POP
000011f8: PUSH2 0x1200
000011fb: DUP4
000011fc: PUSH2 0x0e41
000011ff: JUMP
00001200: JUMPDEST
00001201: SWAP3
00001202: POP
00001203: DUP3
00001204: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001225: SUB
00001226: DUP3
00001227: GT
00001228: ISZERO
00001229: PUSH2 0x1235
0000122c: JUMPI
0000122d: PUSH2 0x1234
00001230: PUSH2 0x11bb
00001233: JUMP
00001234: JUMPDEST
00001235: JUMPDEST
00001236: DUP3
00001237: DUP3
00001238: ADD
00001239: SWAP1
0000123a: POP
0000123b: SWAP3
0000123c: SWAP2
0000123d: POP
0000123e: POP
0000123f: JUMP
00001240: JUMPDEST
00001241: PUSH1 0x00
00001243: DUP2
00001244: SWAP1
00001245: POP
00001246: SWAP2
00001247: SWAP1
00001248: POP
00001249: JUMP
0000124a: JUMPDEST
0000124b: PUSH1 0x00
0000124d: PUSH2 0x1265
00001250: PUSH2 0x1260
00001253: PUSH2 0x125b
00001256: DUP5
00001257: PUSH2 0x0e00
0000125a: JUMP
0000125b: JUMPDEST
0000125c: PUSH2 0x1240
0000125f: JUMP
00001260: JUMPDEST
00001261: PUSH2 0x0e00
00001264: JUMP
00001265: JUMPDEST
00001266: SWAP1
00001267: POP
00001268: SWAP2
00001269: SWAP1
0000126a: POP
0000126b: JUMP
0000126c: JUMPDEST
0000126d: PUSH1 0x00
0000126f: PUSH2 0x1277
00001272: DUP3
00001273: PUSH2 0x124a
00001276: JUMP
00001277: JUMPDEST
00001278: SWAP1
00001279: POP
0000127a: SWAP2
0000127b: SWAP1
0000127c: POP
0000127d: JUMP
0000127e: JUMPDEST
0000127f: PUSH1 0x00
00001281: PUSH2 0x1289
00001284: DUP3
00001285: PUSH2 0x126c
00001288: JUMP
00001289: JUMPDEST
0000128a: SWAP1
0000128b: POP
0000128c: SWAP2
0000128d: SWAP1
0000128e: POP
0000128f: JUMP
00001290: JUMPDEST
00001291: PUSH2 0x1299
00001294: DUP2
00001295: PUSH2 0x127e
00001298: JUMP
00001299: JUMPDEST
0000129a: DUP3
0000129b: MSTORE
0000129c: POP
0000129d: POP
0000129e: JUMP
0000129f: JUMPDEST
000012a0: PUSH1 0x00
000012a2: PUSH1 0x40
000012a4: DUP3
000012a5: ADD
000012a6: SWAP1
000012a7: POP
000012a8: PUSH2 0x12b4
000012ab: PUSH1 0x00
000012ad: DUP4
000012ae: ADD
000012af: DUP6
000012b0: PUSH2 0x1290
000012b3: JUMP
000012b4: JUMPDEST
000012b5: PUSH2 0x12c1
000012b8: PUSH1 0x20
000012ba: DUP4
000012bb: ADD
000012bc: DUP5
000012bd: PUSH2 0x0e4b
000012c0: JUMP
000012c1: JUMPDEST
000012c2: SWAP4
000012c3: SWAP3
000012c4: POP
000012c5: POP
000012c6: POP
000012c7: JUMP
000012c8: JUMPDEST
000012c9: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000012ea: PUSH1 0x00
000012ec: MSTORE
000012ed: PUSH1 0x32
000012ef: PUSH1 0x04
000012f1: MSTORE
000012f2: PUSH1 0x24
000012f4: PUSH1 0x00
000012f6: REVERT
000012f7: JUMPDEST
000012f8: PUSH1 0x00
000012fa: DUP2
000012fb: MLOAD
000012fc: SWAP1
000012fd: POP
000012fe: PUSH2 0x1306
00001301: DUP2
00001302: PUSH2 0x0fb8
00001305: JUMP
00001306: JUMPDEST
00001307: SWAP3
00001308: SWAP2
00001309: POP
0000130a: POP
0000130b: JUMP
0000130c: JUMPDEST
0000130d: PUSH1 0x00
0000130f: PUSH1 0x20
00001311: DUP3
00001312: DUP5
00001313: SUB
00001314: SLT
00001315: ISZERO
00001316: PUSH2 0x1322
00001319: JUMPI
0000131a: PUSH2 0x1321
0000131d: PUSH2 0x0e83
00001320: JUMP
00001321: JUMPDEST
00001322: JUMPDEST
00001323: PUSH1 0x00
00001325: PUSH2 0x1330
00001328: DUP5
00001329: DUP3
0000132a: DUP6
0000132b: ADD
0000132c: PUSH2 0x12f7
0000132f: JUMP
00001330: JUMPDEST
00001331: SWAP2
00001332: POP
00001333: POP
00001334: SWAP3
00001335: SWAP2
00001336: POP
00001337: POP
00001338: JUMP
00001339: JUMPDEST
0000133a: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000
0000135b: PUSH1 0x00
0000135d: DUP3
0000135e: ADD
0000135f: MSTORE
00001360: POP
00001361: JUMP
00001362: JUMPDEST
00001363: PUSH1 0x00
00001365: PUSH2 0x136f
00001368: PUSH1 0x1d
0000136a: DUP4
0000136b: PUSH2 0x1086
0000136e: JUMP
0000136f: JUMPDEST
00001370: SWAP2
00001371: POP
00001372: PUSH2 0x137a
00001375: DUP3
00001376: PUSH2 0x1339
00001379: JUMP
0000137a: JUMPDEST
0000137b: PUSH1 0x20
0000137d: DUP3
0000137e: ADD
0000137f: SWAP1
00001380: POP
00001381: SWAP2
00001382: SWAP1
00001383: POP
00001384: JUMP
00001385: JUMPDEST
00001386: PUSH1 0x00
00001388: PUSH1 0x20
0000138a: DUP3
0000138b: ADD
0000138c: SWAP1
0000138d: POP
0000138e: DUP2
0000138f: DUP2
00001390: SUB
00001391: PUSH1 0x00
00001393: DUP4
00001394: ADD
00001395: MSTORE
00001396: PUSH2 0x139e
00001399: DUP2
0000139a: PUSH2 0x1362
0000139d: JUMP
0000139e: JUMPDEST
0000139f: SWAP1
000013a0: POP
000013a1: SWAP2
000013a2: SWAP1
000013a3: POP
000013a4: JUMP
000013a5: JUMPDEST
000013a6: PUSH1 0x00
000013a8: DUP2
000013a9: SWAP1
000013aa: POP
000013ab: SWAP3
000013ac: SWAP2
000013ad: POP
000013ae: POP
000013af: JUMP
000013b0: JUMPDEST
000013b1: POP
000013b2: JUMP
000013b3: JUMPDEST
000013b4: PUSH1 0x00
000013b6: PUSH2 0x13c0
000013b9: PUSH1 0x00
000013bb: DUP4
000013bc: PUSH2 0x13a5
000013bf: JUMP
000013c0: JUMPDEST
000013c1: SWAP2
000013c2: POP
000013c3: PUSH2 0x13cb
000013c6: DUP3
000013c7: PUSH2 0x13b0
000013ca: JUMP
000013cb: JUMPDEST
000013cc: PUSH1 0x00
000013ce: DUP3
000013cf: ADD
000013d0: SWAP1
000013d1: POP
000013d2: SWAP2
000013d3: SWAP1
000013d4: POP
000013d5: JUMP
000013d6: JUMPDEST
000013d7: PUSH1 0x00
000013d9: PUSH2 0x13e1
000013dc: DUP3
000013dd: PUSH2 0x13b3
000013e0: JUMP
000013e1: JUMPDEST
000013e2: SWAP2
000013e3: POP
000013e4: DUP2
000013e5: SWAP1
000013e6: POP
000013e7: SWAP2
000013e8: SWAP1
000013e9: POP
000013ea: JUMP
000013eb: JUMPDEST
000013ec: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072
0000140d: PUSH1 0x00
0000140f: DUP3
00001410: ADD
00001411: MSTORE
00001412: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000
00001433: PUSH1 0x20
00001435: DUP3
00001436: ADD
00001437: MSTORE
00001438: POP
00001439: JUMP
0000143a: JUMPDEST
0000143b: PUSH1 0x00
0000143d: PUSH2 0x1447
00001440: PUSH1 0x3a
00001442: DUP4
00001443: PUSH2 0x1086
00001446: JUMP
00001447: JUMPDEST
00001448: SWAP2
00001449: POP
0000144a: PUSH2 0x1452
0000144d: DUP3
0000144e: PUSH2 0x13eb
00001451: JUMP
00001452: JUMPDEST
00001453: PUSH1 0x40
00001455: DUP3
00001456: ADD
00001457: SWAP1
00001458: POP
00001459: SWAP2
0000145a: SWAP1
0000145b: POP
0000145c: JUMP
0000145d: JUMPDEST
0000145e: PUSH1 0x00
00001460: PUSH1 0x20
00001462: DUP3
00001463: ADD
00001464: SWAP1
00001465: POP
00001466: DUP2
00001467: DUP2
00001468: SUB
00001469: PUSH1 0x00
0000146b: DUP4
0000146c: ADD
0000146d: MSTORE
0000146e: PUSH2 0x1476
00001471: DUP2
00001472: PUSH2 0x143a
00001475: JUMP
00001476: JUMPDEST
00001477: SWAP1
00001478: POP
00001479: SWAP2
0000147a: SWAP1
0000147b: POP
0000147c: JUMP
0000147d: JUMPDEST
0000147e: PUSH1 0x00
00001480: PUSH2 0x1488
00001483: DUP3
00001484: PUSH2 0x0e41
00001487: JUMP
00001488: JUMPDEST
00001489: SWAP2
0000148a: POP
0000148b: PUSH2 0x1493
0000148e: DUP4
0000148f: PUSH2 0x0e41
00001492: JUMP
00001493: JUMPDEST
00001494: SWAP3
00001495: POP
00001496: DUP2
00001497: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000014b8: DIV
000014b9: DUP4
000014ba: GT
000014bb: DUP3
000014bc: ISZERO
000014bd: ISZERO
000014be: AND
000014bf: ISZERO
000014c0: PUSH2 0x14cc
000014c3: JUMPI
000014c4: PUSH2 0x14cb
000014c7: PUSH2 0x11bb
000014ca: JUMP
000014cb: JUMPDEST
000014cc: JUMPDEST
000014cd: DUP3
000014ce: DUP3
000014cf: MUL
000014d0: SWAP1
000014d1: POP
000014d2: SWAP3
000014d3: SWAP2
000014d4: POP
000014d5: POP
000014d6: JUMP
000014d7: JUMPDEST
000014d8: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000014f9: PUSH1 0x00
000014fb: MSTORE
000014fc: PUSH1 0x12
000014fe: PUSH1 0x04
00001500: MSTORE
00001501: PUSH1 0x24
00001503: PUSH1 0x00
00001505: REVERT
00001506: JUMPDEST
00001507: PUSH1 0x00
00001509: PUSH2 0x1511
0000150c: DUP3
0000150d: PUSH2 0x0e41
00001510: JUMP
00001511: JUMPDEST
00001512: SWAP2
00001513: POP
00001514: PUSH2 0x151c
00001517: DUP4
00001518: PUSH2 0x0e41
0000151b: JUMP
0000151c: JUMPDEST
0000151d: SWAP3
0000151e: POP
0000151f: DUP3
00001520: PUSH2 0x152c
00001523: JUMPI
00001524: PUSH2 0x152b
00001527: PUSH2 0x14d7
0000152a: JUMP
0000152b: JUMPDEST
0000152c: JUMPDEST
0000152d: DUP3
0000152e: DUP3
0000152f: DIV
00001530: SWAP1
00001531: POP
00001532: SWAP3
00001533: SWAP2
00001534: POP
00001535: POP
00001536: JUMP
00001537: JUMPDEST
00001538: PUSH1 0x00
0000153a: PUSH2 0x1542
0000153d: DUP3
0000153e: PUSH2 0x0e41
00001541: JUMP
00001542: JUMPDEST
00001543: SWAP2
00001544: POP
00001545: PUSH2 0x154d
00001548: DUP4
00001549: PUSH2 0x0e41
0000154c: JUMP
0000154d: JUMPDEST
0000154e: SWAP3
0000154f: POP
00001550: DUP3
00001551: DUP3
00001552: LT
00001553: ISZERO
00001554: PUSH2 0x1560
00001557: JUMPI
00001558: PUSH2 0x155f
0000155b: PUSH2 0x11bb
0000155e: JUMP
0000155f: JUMPDEST
00001560: JUMPDEST
00001561: DUP3
00001562: DUP3
00001563: SUB
00001564: SWAP1
00001565: POP
00001566: SWAP3
00001567: SWAP2
00001568: POP
00001569: POP
0000156a: JUMP
0000156b: JUMPDEST
0000156c: PUSH1 0x00
0000156e: DUP2
0000156f: ISZERO
00001570: ISZERO
00001571: SWAP1
00001572: POP
00001573: SWAP2
00001574: SWAP1
00001575: POP
00001576: JUMP
00001577: JUMPDEST
00001578: PUSH2 0x1580
0000157b: DUP2
0000157c: PUSH2 0x156b
0000157f: JUMP
00001580: JUMPDEST
00001581: DUP2
00001582: EQ
00001583: PUSH2 0x158b
00001586: JUMPI
00001587: PUSH1 0x00
00001589: DUP1
0000158a: REVERT
0000158b: JUMPDEST
0000158c: POP
0000158d: JUMP
0000158e: JUMPDEST
0000158f: PUSH1 0x00
00001591: DUP2
00001592: MLOAD
00001593: SWAP1
00001594: POP
00001595: PUSH2 0x159d
00001598: DUP2
00001599: PUSH2 0x1577
0000159c: JUMP
0000159d: JUMPDEST
0000159e: SWAP3
0000159f: SWAP2
000015a0: POP
000015a1: POP
000015a2: JUMP
000015a3: JUMPDEST
000015a4: PUSH1 0x00
000015a6: PUSH1 0x20
000015a8: DUP3
000015a9: DUP5
000015aa: SUB
000015ab: SLT
000015ac: ISZERO
000015ad: PUSH2 0x15b9
000015b0: JUMPI
000015b1: PUSH2 0x15b8
000015b4: PUSH2 0x0e83
000015b7: JUMP
000015b8: JUMPDEST
000015b9: JUMPDEST
000015ba: PUSH1 0x00
000015bc: PUSH2 0x15c7
000015bf: DUP5
000015c0: DUP3
000015c1: DUP6
000015c2: ADD
000015c3: PUSH2 0x158e
000015c6: JUMP
000015c7: JUMPDEST
000015c8: SWAP2
000015c9: POP
000015ca: POP
000015cb: SWAP3
000015cc: SWAP2
000015cd: POP
000015ce: POP
000015cf: JUMP
000015d0: JUMPDEST
000015d1: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
000015f2: PUSH1 0x00
000015f4: DUP3
000015f5: ADD
000015f6: MSTORE
000015f7: PUSH32 0x6f74207375636365656400000000000000000000000000000000000000000000
00001618: PUSH1 0x20
0000161a: DUP3
0000161b: ADD
0000161c: MSTORE
0000161d: POP
0000161e: JUMP
0000161f: JUMPDEST
00001620: PUSH1 0x00
00001622: PUSH2 0x162c
00001625: PUSH1 0x2a
00001627: DUP4
00001628: PUSH2 0x1086
0000162b: JUMP
0000162c: JUMPDEST
0000162d: SWAP2
0000162e: POP
0000162f: PUSH2 0x1637
00001632: DUP3
00001633: PUSH2 0x15d0
00001636: JUMP
00001637: JUMPDEST
00001638: PUSH1 0x40
0000163a: DUP3
0000163b: ADD
0000163c: SWAP1
0000163d: POP
0000163e: SWAP2
0000163f: SWAP1
00001640: POP
00001641: JUMP
00001642: JUMPDEST
00001643: PUSH1 0x00
00001645: PUSH1 0x20
00001647: DUP3
00001648: ADD
00001649: SWAP1
0000164a: POP
0000164b: DUP2
0000164c: DUP2
0000164d: SUB
0000164e: PUSH1 0x00
00001650: DUP4
00001651: ADD
00001652: MSTORE
00001653: PUSH2 0x165b
00001656: DUP2
00001657: PUSH2 0x161f
0000165a: JUMP
0000165b: JUMPDEST
0000165c: SWAP1
0000165d: POP
0000165e: SWAP2
0000165f: SWAP1
00001660: POP
00001661: JUMP
00001662: JUMPDEST
00001663: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f
00001684: PUSH1 0x00
00001686: DUP3
00001687: ADD
00001688: MSTORE
00001689: PUSH32 0x722063616c6c0000000000000000000000000000000000000000000000000000
000016aa: PUSH1 0x20
000016ac: DUP3
000016ad: ADD
000016ae: MSTORE
000016af: POP
000016b0: JUMP
000016b1: JUMPDEST
000016b2: PUSH1 0x00
000016b4: PUSH2 0x16be
000016b7: PUSH1 0x26
000016b9: DUP4
000016ba: PUSH2 0x1086
000016bd: JUMP
000016be: JUMPDEST
000016bf: SWAP2
000016c0: POP
000016c1: PUSH2 0x16c9
000016c4: DUP3
000016c5: PUSH2 0x1662
000016c8: JUMP
000016c9: JUMPDEST
000016ca: PUSH1 0x40
000016cc: DUP3
000016cd: ADD
000016ce: SWAP1
000016cf: POP
000016d0: SWAP2
000016d1: SWAP1
000016d2: POP
000016d3: JUMP
000016d4: JUMPDEST
000016d5: PUSH1 0x00
000016d7: PUSH1 0x20
000016d9: DUP3
000016da: ADD
000016db: SWAP1
000016dc: POP
000016dd: DUP2
000016de: DUP2
000016df: SUB
000016e0: PUSH1 0x00
000016e2: DUP4
000016e3: ADD
000016e4: MSTORE
000016e5: PUSH2 0x16ed
000016e8: DUP2
000016e9: PUSH2 0x16b1
000016ec: JUMP
000016ed: JUMPDEST
000016ee: SWAP1
000016ef: POP
000016f0: SWAP2
000016f1: SWAP1
000016f2: POP
000016f3: JUMP
000016f4: JUMPDEST
000016f5: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
00001716: PUSH1 0x00
00001718: DUP3
00001719: ADD
0000171a: MSTORE
0000171b: POP
0000171c: JUMP
0000171d: JUMPDEST
0000171e: PUSH1 0x00
00001720: PUSH2 0x172a
00001723: PUSH1 0x1d
00001725: DUP4
00001726: PUSH2 0x1086
00001729: JUMP
0000172a: JUMPDEST
0000172b: SWAP2
0000172c: POP
0000172d: PUSH2 0x1735
00001730: DUP3
00001731: PUSH2 0x16f4
00001734: JUMP
00001735: JUMPDEST
00001736: PUSH1 0x20
00001738: DUP3
00001739: ADD
0000173a: SWAP1
0000173b: POP
0000173c: SWAP2
0000173d: SWAP1
0000173e: POP
0000173f: JUMP
00001740: JUMPDEST
00001741: PUSH1 0x00
00001743: PUSH1 0x20
00001745: DUP3
00001746: ADD
00001747: SWAP1
00001748: POP
00001749: DUP2
0000174a: DUP2
0000174b: SUB
0000174c: PUSH1 0x00
0000174e: DUP4
0000174f: ADD
00001750: MSTORE
00001751: PUSH2 0x1759
00001754: DUP2
00001755: PUSH2 0x171d
00001758: JUMP
00001759: JUMPDEST
0000175a: SWAP1
0000175b: POP
0000175c: SWAP2
0000175d: SWAP1
0000175e: POP
0000175f: JUMP
00001760: JUMPDEST
00001761: PUSH1 0x00
00001763: DUP2
00001764: MLOAD
00001765: SWAP1
00001766: POP
00001767: SWAP2
00001768: SWAP1
00001769: POP
0000176a: JUMP
0000176b: JUMPDEST
0000176c: PUSH1 0x00
0000176e: JUMPDEST
0000176f: DUP4
00001770: DUP2
00001771: LT
00001772: ISZERO
00001773: PUSH2 0x1789
00001776: JUMPI
00001777: DUP1
00001778: DUP3
00001779: ADD
0000177a: MLOAD
0000177b: DUP2
0000177c: DUP5
0000177d: ADD
0000177e: MSTORE
0000177f: PUSH1 0x20
00001781: DUP2
00001782: ADD
00001783: SWAP1
00001784: POP
00001785: PUSH2 0x176e
00001788: JUMP
00001789: JUMPDEST
0000178a: DUP4
0000178b: DUP2
0000178c: GT
0000178d: ISZERO
0000178e: PUSH2 0x1798
00001791: JUMPI
00001792: PUSH1 0x00
00001794: DUP5
00001795: DUP5
00001796: ADD
00001797: MSTORE
00001798: JUMPDEST
00001799: POP
0000179a: POP
0000179b: POP
0000179c: POP
0000179d: JUMP
0000179e: JUMPDEST
0000179f: PUSH1 0x00
000017a1: PUSH2 0x17a9
000017a4: DUP3
000017a5: PUSH2 0x1760
000017a8: JUMP
000017a9: JUMPDEST
000017aa: PUSH2 0x17b3
000017ad: DUP2
000017ae: DUP6
000017af: PUSH2 0x13a5
000017b2: JUMP
000017b3: JUMPDEST
000017b4: SWAP4
000017b5: POP
000017b6: PUSH2 0x17c3
000017b9: DUP2
000017ba: DUP6
000017bb: PUSH1 0x20
000017bd: DUP7
000017be: ADD
000017bf: PUSH2 0x176b
000017c2: JUMP
000017c3: JUMPDEST
000017c4: DUP1
000017c5: DUP5
000017c6: ADD
000017c7: SWAP2
000017c8: POP
000017c9: POP
000017ca: SWAP3
000017cb: SWAP2
000017cc: POP
000017cd: POP
000017ce: JUMP
000017cf: JUMPDEST
000017d0: PUSH1 0x00
000017d2: PUSH2 0x17db
000017d5: DUP3
000017d6: DUP5
000017d7: PUSH2 0x179e
000017da: JUMP
000017db: JUMPDEST
000017dc: SWAP2
000017dd: POP
000017de: DUP2
000017df: SWAP1
000017e0: POP
000017e1: SWAP3
000017e2: SWAP2
000017e3: POP
000017e4: POP
000017e5: JUMP
000017e6: JUMPDEST
000017e7: PUSH1 0x00
000017e9: DUP2
000017ea: MLOAD
000017eb: SWAP1
000017ec: POP
000017ed: SWAP2
000017ee: SWAP1
000017ef: POP
000017f0: JUMP
000017f1: JUMPDEST
000017f2: PUSH1 0x00
000017f4: PUSH1 0x1f
000017f6: NOT
000017f7: PUSH1 0x1f
000017f9: DUP4
000017fa: ADD
000017fb: AND
000017fc: SWAP1
000017fd: POP
000017fe: SWAP2
000017ff: SWAP1
00001800: POP
00001801: JUMP
00001802: JUMPDEST
00001803: PUSH1 0x00
00001805: PUSH2 0x180d
00001808: DUP3
00001809: PUSH2 0x17e6
0000180c: JUMP
0000180d: JUMPDEST
0000180e: PUSH2 0x1817
00001811: DUP2
00001812: DUP6
00001813: PUSH2 0x1086
00001816: JUMP
00001817: JUMPDEST
00001818: SWAP4
00001819: POP
0000181a: PUSH2 0x1827
0000181d: DUP2
0000181e: DUP6
0000181f: PUSH1 0x20
00001821: DUP7
00001822: ADD
00001823: PUSH2 0x176b
00001826: JUMP
00001827: JUMPDEST
00001828: PUSH2 0x1830
0000182b: DUP2
0000182c: PUSH2 0x17f1
0000182f: JUMP
00001830: JUMPDEST
00001831: DUP5
00001832: ADD
00001833: SWAP2
00001834: POP
00001835: POP
00001836: SWAP3
00001837: SWAP2
00001838: POP
00001839: POP
0000183a: JUMP
0000183b: JUMPDEST
0000183c: PUSH1 0x00
0000183e: PUSH1 0x20
00001840: DUP3
00001841: ADD
00001842: SWAP1
00001843: POP
00001844: DUP2
00001845: DUP2
00001846: SUB
00001847: PUSH1 0x00
00001849: DUP4
0000184a: ADD
0000184b: MSTORE
0000184c: PUSH2 0x1855
0000184f: DUP2
00001850: DUP5
00001851: PUSH2 0x1802
00001854: JUMP
00001855: JUMPDEST
00001856: SWAP1
00001857: POP
00001858: SWAP3
00001859: SWAP2
0000185a: POP
0000185b: POP
0000185c: JUMP
0000185d: INVALID
0000185e: LOG2
0000185f: PUSH5 0x6970667358
00001865: UNKNOWN(0x22)
00001866: SLT
00001867: KECCAK256
00001868: UNKNOWN(0xFB)
00001869: CALLDATALOAD
0000186a: PUSH0
0000186b: UNKNOWN(0xC1)
0000186c: PUSH6 0x4a2703376e38
00001873: UNKNOWN(0xCD)
00001874: PUSH28 0x73c9bed7b7f9dd5101a0a5dbc492bac51f50e064736f6c6343000809
00001891: STOP
00001892: CALLER
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0xa78c2ae88bb6076a67c459f486c4bf1bf816ddf65f607e7e720e3037e0bbe4a3 call_targets: 0x2200274a05b1826319ac00b691c326b8d12a7400 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xa78c2ae88bb6076a67c459f486c4bf1bf816ddf65f607e7e720e3037e0bbe4a3", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x2200274a05b1826319ac00b691c326b8d12a7400" ], "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": "0x9852595c", "selector": "0x9852595c", "calldata_variants": [ "0x9852595c", "0x9852595c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa3f8eace", "selector": "0xa3f8eace", "calldata_variants": [ "0xa3f8eace", "0xa3f8eace0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc45ac050", "selector": "0xc45ac050", "calldata_variants": [ "0xc45ac050", "0xc45ac0500000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xce7c2ac2", "selector": "0xce7c2ac2", "calldata_variants": [ "0xce7c2ac2", "0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd79779b2", "selector": "0xd79779b2", "calldata_variants": [ "0xd79779b2", "0xd79779b20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe33b7de3", "selector": "0xe33b7de3", "calldata_variants": [ "0xe33b7de3", "0xe33b7de30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x19165587", "selector": "0x19165587", "calldata_variants": [ "0x19165587", "0x191655870000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3a98ef39", "selector": "0x3a98ef39", "calldata_variants": [ "0x3a98ef39", "0x3a98ef390000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2577, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3365, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 2, "guards_detected": [], "untrusted_call_count": 2 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0xa78c2ae88bb6076a67c459f486c4bf1bf816ddf65f607e7e720e3037e0bbe4a3 call_targets: 0x2200274a05b1826319ac00b691c326b8d12a7400 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xa78c2ae88bb6076a67c459f486c4bf1bf816ddf65f607e7e720e3037e0bbe4a3", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x2200274a05b1826319ac00b691c326b8d12a7400" ], "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": "0x9852595c", "selector": "0x9852595c", "calldata_variants": [ "0x9852595c", "0x9852595c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa3f8eace", "selector": "0xa3f8eace", "calldata_variants": [ "0xa3f8eace", "0xa3f8eace0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc45ac050", "selector": "0xc45ac050", "calldata_variants": [ "0xc45ac050", "0xc45ac0500000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xce7c2ac2", "selector": "0xce7c2ac2", "calldata_variants": [ "0xce7c2ac2", "0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd79779b2", "selector": "0xd79779b2", "calldata_variants": [ "0xd79779b2", "0xd79779b20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe33b7de3", "selector": "0xe33b7de3", "calldata_variants": [ "0xe33b7de3", "0xe33b7de30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x19165587", "selector": "0x19165587", "calldata_variants": [ "0x19165587", "0x191655870000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3a98ef39", "selector": "0x3a98ef39", "calldata_variants": [ "0x3a98ef39", "0x3a98ef390000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2577, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3365, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 2, "guards_detected": [] }
Severity