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

Analysis Run

019b477e-cc56-7283-9625-75767fe59f82

complete
Chain ID
1
Address
0xfce1e2eb34f301962e3d4f4f51bffda8ae1f1a23
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
26853 artifact.fetch complete 1 / 3 3 months ago
26854 tool.cast_disasm complete 1 / 3 3 months ago
91629 analysis.bundle complete 1 / 3 2 weeks ago
91630 capability.graph complete 1 / 3 2 weeks ago
91631 detector.run complete 1 / 3 2 weeks ago
91632 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
1
Total opcodes
4120
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 0x00ec
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x70a08231
00000019: GT
0000001a: PUSH2 0x008a
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xa9059cbb
00000024: GT
00000025: PUSH2 0x0059
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xa9059cbb
0000002f: EQ
00000030: PUSH2 0x02f3
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xdd62ed3e
0000003a: EQ
0000003b: PUSH2 0x0330
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf2fde38b
00000045: EQ
00000046: PUSH2 0x036d
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf887ea40
00000050: EQ
00000051: PUSH2 0x0396
00000054: JUMPI
00000055: PUSH2 0x00f3
00000058: JUMP
00000059: JUMPDEST
0000005a: DUP1
0000005b: PUSH4 0x70a08231
00000060: EQ
00000061: PUSH2 0x0249
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0x715018a6
0000006b: EQ
0000006c: PUSH2 0x0286
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x8da5cb5b
00000076: EQ
00000077: PUSH2 0x029d
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x95d89b41
00000081: EQ
00000082: PUSH2 0x02c8
00000085: JUMPI
00000086: PUSH2 0x00f3
00000089: JUMP
0000008a: JUMPDEST
0000008b: DUP1
0000008c: PUSH4 0x23b872dd
00000091: GT
00000092: PUSH2 0x00c6
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x23b872dd
0000009c: EQ
0000009d: PUSH2 0x018b
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x313ce567
000000a7: EQ
000000a8: PUSH2 0x01c8
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x3b124fe7
000000b2: EQ
000000b3: PUSH2 0x01f3
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x49bd5a5e
000000bd: EQ
000000be: PUSH2 0x021e
000000c1: JUMPI
000000c2: PUSH2 0x00f3
000000c5: JUMP
000000c6: JUMPDEST
000000c7: DUP1
000000c8: PUSH4 0x06fdde03
000000cd: EQ
000000ce: PUSH2 0x00f8
000000d1: JUMPI
000000d2: DUP1
000000d3: PUSH4 0x095ea7b3
000000d8: EQ
000000d9: PUSH2 0x0123
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x18160ddd
000000e3: EQ
000000e4: PUSH2 0x0160
000000e7: JUMPI
000000e8: PUSH2 0x00f3
000000eb: JUMP
000000ec: JUMPDEST
000000ed: CALLDATASIZE
000000ee: PUSH2 0x00f3
000000f1: JUMPI
000000f2: STOP
000000f3: JUMPDEST
000000f4: PUSH1 0x00
000000f6: DUP1
000000f7: REVERT
000000f8: JUMPDEST
000000f9: CALLVALUE
000000fa: DUP1
000000fb: ISZERO
000000fc: PUSH2 0x0104
000000ff: JUMPI
00000100: PUSH1 0x00
00000102: DUP1
00000103: REVERT
00000104: JUMPDEST
00000105: POP
00000106: PUSH2 0x010d
00000109: PUSH2 0x03c1
0000010c: JUMP
0000010d: JUMPDEST
0000010e: PUSH1 0x40
00000110: MLOAD
00000111: PUSH2 0x011a
00000114: SWAP2
00000115: SWAP1
00000116: PUSH2 0x1827
00000119: JUMP
0000011a: JUMPDEST
0000011b: PUSH1 0x40
0000011d: MLOAD
0000011e: DUP1
0000011f: SWAP2
00000120: SUB
00000121: SWAP1
00000122: RETURN
00000123: JUMPDEST
00000124: CALLVALUE
00000125: DUP1
00000126: ISZERO
00000127: PUSH2 0x012f
0000012a: JUMPI
0000012b: PUSH1 0x00
0000012d: DUP1
0000012e: REVERT
0000012f: JUMPDEST
00000130: POP
00000131: PUSH2 0x014a
00000134: PUSH1 0x04
00000136: DUP1
00000137: CALLDATASIZE
00000138: SUB
00000139: DUP2
0000013a: ADD
0000013b: SWAP1
0000013c: PUSH2 0x0145
0000013f: SWAP2
00000140: SWAP1
00000141: PUSH2 0x18e2
00000144: JUMP
00000145: JUMPDEST
00000146: PUSH2 0x0453
00000149: JUMP
0000014a: JUMPDEST
0000014b: PUSH1 0x40
0000014d: MLOAD
0000014e: PUSH2 0x0157
00000151: SWAP2
00000152: SWAP1
00000153: PUSH2 0x193d
00000156: JUMP
00000157: JUMPDEST
00000158: PUSH1 0x40
0000015a: MLOAD
0000015b: DUP1
0000015c: SWAP2
0000015d: SUB
0000015e: SWAP1
0000015f: RETURN
00000160: JUMPDEST
00000161: CALLVALUE
00000162: DUP1
00000163: ISZERO
00000164: PUSH2 0x016c
00000167: JUMPI
00000168: PUSH1 0x00
0000016a: DUP1
0000016b: REVERT
0000016c: JUMPDEST
0000016d: POP
0000016e: PUSH2 0x0175
00000171: PUSH2 0x0468
00000174: JUMP
00000175: JUMPDEST
00000176: PUSH1 0x40
00000178: MLOAD
00000179: PUSH2 0x0182
0000017c: SWAP2
0000017d: SWAP1
0000017e: PUSH2 0x1967
00000181: JUMP
00000182: JUMPDEST
00000183: PUSH1 0x40
00000185: MLOAD
00000186: DUP1
00000187: SWAP2
00000188: SUB
00000189: SWAP1
0000018a: RETURN
0000018b: JUMPDEST
0000018c: CALLVALUE
0000018d: DUP1
0000018e: ISZERO
0000018f: PUSH2 0x0197
00000192: JUMPI
00000193: PUSH1 0x00
00000195: DUP1
00000196: REVERT
00000197: JUMPDEST
00000198: POP
00000199: PUSH2 0x01b2
0000019c: PUSH1 0x04
0000019e: DUP1
0000019f: CALLDATASIZE
000001a0: SUB
000001a1: DUP2
000001a2: ADD
000001a3: SWAP1
000001a4: PUSH2 0x01ad
000001a7: SWAP2
000001a8: SWAP1
000001a9: PUSH2 0x1982
000001ac: JUMP
000001ad: JUMPDEST
000001ae: PUSH2 0x0472
000001b1: JUMP
000001b2: JUMPDEST
000001b3: PUSH1 0x40
000001b5: MLOAD
000001b6: PUSH2 0x01bf
000001b9: SWAP2
000001ba: SWAP1
000001bb: PUSH2 0x193d
000001be: JUMP
000001bf: JUMPDEST
000001c0: PUSH1 0x40
000001c2: MLOAD
000001c3: DUP1
000001c4: SWAP2
000001c5: SUB
000001c6: SWAP1
000001c7: RETURN
000001c8: JUMPDEST
000001c9: CALLVALUE
000001ca: DUP1
000001cb: ISZERO
000001cc: PUSH2 0x01d4
000001cf: JUMPI
000001d0: PUSH1 0x00
000001d2: DUP1
000001d3: REVERT
000001d4: JUMPDEST
000001d5: POP
000001d6: PUSH2 0x01dd
000001d9: PUSH2 0x051a
000001dc: JUMP
000001dd: JUMPDEST
000001de: PUSH1 0x40
000001e0: MLOAD
000001e1: PUSH2 0x01ea
000001e4: SWAP2
000001e5: SWAP1
000001e6: PUSH2 0x1967
000001e9: JUMP
000001ea: JUMPDEST
000001eb: PUSH1 0x40
000001ed: MLOAD
000001ee: DUP1
000001ef: SWAP2
000001f0: SUB
000001f1: SWAP1
000001f2: RETURN
000001f3: JUMPDEST
000001f4: CALLVALUE
000001f5: DUP1
000001f6: ISZERO
000001f7: PUSH2 0x01ff
000001fa: JUMPI
000001fb: PUSH1 0x00
000001fd: DUP1
000001fe: REVERT
000001ff: JUMPDEST
00000200: POP
00000201: PUSH2 0x0208
00000204: PUSH2 0x0534
00000207: JUMP
00000208: JUMPDEST
00000209: PUSH1 0x40
0000020b: MLOAD
0000020c: PUSH2 0x0215
0000020f: SWAP2
00000210: SWAP1
00000211: PUSH2 0x1967
00000214: JUMP
00000215: JUMPDEST
00000216: PUSH1 0x40
00000218: MLOAD
00000219: DUP1
0000021a: SWAP2
0000021b: SUB
0000021c: SWAP1
0000021d: RETURN
0000021e: JUMPDEST
0000021f: CALLVALUE
00000220: DUP1
00000221: ISZERO
00000222: PUSH2 0x022a
00000225: JUMPI
00000226: PUSH1 0x00
00000228: DUP1
00000229: REVERT
0000022a: JUMPDEST
0000022b: POP
0000022c: PUSH2 0x0233
0000022f: PUSH2 0x053a
00000232: JUMP
00000233: JUMPDEST
00000234: PUSH1 0x40
00000236: MLOAD
00000237: PUSH2 0x0240
0000023a: SWAP2
0000023b: SWAP1
0000023c: PUSH2 0x19e4
0000023f: JUMP
00000240: JUMPDEST
00000241: PUSH1 0x40
00000243: MLOAD
00000244: DUP1
00000245: SWAP2
00000246: SUB
00000247: SWAP1
00000248: RETURN
00000249: JUMPDEST
0000024a: CALLVALUE
0000024b: DUP1
0000024c: ISZERO
0000024d: PUSH2 0x0255
00000250: JUMPI
00000251: PUSH1 0x00
00000253: DUP1
00000254: REVERT
00000255: JUMPDEST
00000256: POP
00000257: PUSH2 0x0270
0000025a: PUSH1 0x04
0000025c: DUP1
0000025d: CALLDATASIZE
0000025e: SUB
0000025f: DUP2
00000260: ADD
00000261: SWAP1
00000262: PUSH2 0x026b
00000265: SWAP2
00000266: SWAP1
00000267: PUSH2 0x19ff
0000026a: JUMP
0000026b: JUMPDEST
0000026c: PUSH2 0x055e
0000026f: JUMP
00000270: JUMPDEST
00000271: PUSH1 0x40
00000273: MLOAD
00000274: PUSH2 0x027d
00000277: SWAP2
00000278: SWAP1
00000279: PUSH2 0x1967
0000027c: JUMP
0000027d: JUMPDEST
0000027e: PUSH1 0x40
00000280: MLOAD
00000281: DUP1
00000282: SWAP2
00000283: SUB
00000284: SWAP1
00000285: RETURN
00000286: JUMPDEST
00000287: CALLVALUE
00000288: DUP1
00000289: ISZERO
0000028a: PUSH2 0x0292
0000028d: JUMPI
0000028e: PUSH1 0x00
00000290: DUP1
00000291: REVERT
00000292: JUMPDEST
00000293: POP
00000294: PUSH2 0x029b
00000297: PUSH2 0x05a7
0000029a: JUMP
0000029b: JUMPDEST
0000029c: STOP
0000029d: JUMPDEST
0000029e: CALLVALUE
0000029f: DUP1
000002a0: ISZERO
000002a1: PUSH2 0x02a9
000002a4: JUMPI
000002a5: PUSH1 0x00
000002a7: DUP1
000002a8: REVERT
000002a9: JUMPDEST
000002aa: POP
000002ab: PUSH2 0x02b2
000002ae: PUSH2 0x062f
000002b1: JUMP
000002b2: JUMPDEST
000002b3: PUSH1 0x40
000002b5: MLOAD
000002b6: PUSH2 0x02bf
000002b9: SWAP2
000002ba: SWAP1
000002bb: PUSH2 0x19e4
000002be: JUMP
000002bf: JUMPDEST
000002c0: PUSH1 0x40
000002c2: MLOAD
000002c3: DUP1
000002c4: SWAP2
000002c5: SUB
000002c6: SWAP1
000002c7: RETURN
000002c8: JUMPDEST
000002c9: CALLVALUE
000002ca: DUP1
000002cb: ISZERO
000002cc: PUSH2 0x02d4
000002cf: JUMPI
000002d0: PUSH1 0x00
000002d2: DUP1
000002d3: REVERT
000002d4: JUMPDEST
000002d5: POP
000002d6: PUSH2 0x02dd
000002d9: PUSH2 0x0658
000002dc: JUMP
000002dd: JUMPDEST
000002de: PUSH1 0x40
000002e0: MLOAD
000002e1: PUSH2 0x02ea
000002e4: SWAP2
000002e5: SWAP1
000002e6: PUSH2 0x1827
000002e9: JUMP
000002ea: JUMPDEST
000002eb: PUSH1 0x40
000002ed: MLOAD
000002ee: DUP1
000002ef: SWAP2
000002f0: SUB
000002f1: SWAP1
000002f2: RETURN
000002f3: JUMPDEST
000002f4: CALLVALUE
000002f5: DUP1
000002f6: ISZERO
000002f7: PUSH2 0x02ff
000002fa: JUMPI
000002fb: PUSH1 0x00
000002fd: DUP1
000002fe: REVERT
000002ff: JUMPDEST
00000300: POP
00000301: PUSH2 0x031a
00000304: PUSH1 0x04
00000306: DUP1
00000307: CALLDATASIZE
00000308: SUB
00000309: DUP2
0000030a: ADD
0000030b: SWAP1
0000030c: PUSH2 0x0315
0000030f: SWAP2
00000310: SWAP1
00000311: PUSH2 0x18e2
00000314: JUMP
00000315: JUMPDEST
00000316: PUSH2 0x06ea
00000319: JUMP
0000031a: JUMPDEST
0000031b: PUSH1 0x40
0000031d: MLOAD
0000031e: PUSH2 0x0327
00000321: SWAP2
00000322: SWAP1
00000323: PUSH2 0x193d
00000326: JUMP
00000327: JUMPDEST
00000328: PUSH1 0x40
0000032a: MLOAD
0000032b: DUP1
0000032c: SWAP2
0000032d: SUB
0000032e: SWAP1
0000032f: RETURN
00000330: JUMPDEST
00000331: CALLVALUE
00000332: DUP1
00000333: ISZERO
00000334: PUSH2 0x033c
00000337: JUMPI
00000338: PUSH1 0x00
0000033a: DUP1
0000033b: REVERT
0000033c: JUMPDEST
0000033d: POP
0000033e: PUSH2 0x0357
00000341: PUSH1 0x04
00000343: DUP1
00000344: CALLDATASIZE
00000345: SUB
00000346: DUP2
00000347: ADD
00000348: SWAP1
00000349: PUSH2 0x0352
0000034c: SWAP2
0000034d: SWAP1
0000034e: PUSH2 0x1a2c
00000351: JUMP
00000352: JUMPDEST
00000353: PUSH2 0x0701
00000356: JUMP
00000357: JUMPDEST
00000358: PUSH1 0x40
0000035a: MLOAD
0000035b: PUSH2 0x0364
0000035e: SWAP2
0000035f: SWAP1
00000360: PUSH2 0x1967
00000363: JUMP
00000364: JUMPDEST
00000365: PUSH1 0x40
00000367: MLOAD
00000368: DUP1
00000369: SWAP2
0000036a: SUB
0000036b: SWAP1
0000036c: RETURN
0000036d: JUMPDEST
0000036e: CALLVALUE
0000036f: DUP1
00000370: ISZERO
00000371: PUSH2 0x0379
00000374: JUMPI
00000375: PUSH1 0x00
00000377: DUP1
00000378: REVERT
00000379: JUMPDEST
0000037a: POP
0000037b: PUSH2 0x0394
0000037e: PUSH1 0x04
00000380: DUP1
00000381: CALLDATASIZE
00000382: SUB
00000383: DUP2
00000384: ADD
00000385: SWAP1
00000386: PUSH2 0x038f
00000389: SWAP2
0000038a: SWAP1
0000038b: PUSH2 0x19ff
0000038e: JUMP
0000038f: JUMPDEST
00000390: PUSH2 0x0788
00000393: JUMP
00000394: JUMPDEST
00000395: STOP
00000396: JUMPDEST
00000397: CALLVALUE
00000398: DUP1
00000399: ISZERO
0000039a: PUSH2 0x03a2
0000039d: JUMPI
0000039e: PUSH1 0x00
000003a0: DUP1
000003a1: REVERT
000003a2: JUMPDEST
000003a3: POP
000003a4: PUSH2 0x03ab
000003a7: PUSH2 0x0880
000003aa: JUMP
000003ab: JUMPDEST
000003ac: PUSH1 0x40
000003ae: MLOAD
000003af: PUSH2 0x03b8
000003b2: SWAP2
000003b3: SWAP1
000003b4: PUSH2 0x1acb
000003b7: JUMP
000003b8: JUMPDEST
000003b9: PUSH1 0x40
000003bb: MLOAD
000003bc: DUP1
000003bd: SWAP2
000003be: SUB
000003bf: SWAP1
000003c0: RETURN
000003c1: JUMPDEST
000003c2: PUSH1 0x60
000003c4: PUSH1 0x02
000003c6: DUP1
000003c7: SLOAD
000003c8: PUSH2 0x03d0
000003cb: SWAP1
000003cc: PUSH2 0x1b15
000003cf: JUMP
000003d0: JUMPDEST
000003d1: DUP1
000003d2: PUSH1 0x1f
000003d4: ADD
000003d5: PUSH1 0x20
000003d7: DUP1
000003d8: SWAP2
000003d9: DIV
000003da: MUL
000003db: PUSH1 0x20
000003dd: ADD
000003de: PUSH1 0x40
000003e0: MLOAD
000003e1: SWAP1
000003e2: DUP2
000003e3: ADD
000003e4: PUSH1 0x40
000003e6: MSTORE
000003e7: DUP1
000003e8: SWAP3
000003e9: SWAP2
000003ea: SWAP1
000003eb: DUP2
000003ec: DUP2
000003ed: MSTORE
000003ee: PUSH1 0x20
000003f0: ADD
000003f1: DUP3
000003f2: DUP1
000003f3: SLOAD
000003f4: PUSH2 0x03fc
000003f7: SWAP1
000003f8: PUSH2 0x1b15
000003fb: JUMP
000003fc: JUMPDEST
000003fd: DUP1
000003fe: ISZERO
000003ff: PUSH2 0x0449
00000402: JUMPI
00000403: DUP1
00000404: PUSH1 0x1f
00000406: LT
00000407: PUSH2 0x041e
0000040a: JUMPI
0000040b: PUSH2 0x0100
0000040e: DUP1
0000040f: DUP4
00000410: SLOAD
00000411: DIV
00000412: MUL
00000413: DUP4
00000414: MSTORE
00000415: SWAP2
00000416: PUSH1 0x20
00000418: ADD
00000419: SWAP2
0000041a: PUSH2 0x0449
0000041d: JUMP
0000041e: JUMPDEST
0000041f: DUP3
00000420: ADD
00000421: SWAP2
00000422: SWAP1
00000423: PUSH1 0x00
00000425: MSTORE
00000426: PUSH1 0x20
00000428: PUSH1 0x00
0000042a: KECCAK256
0000042b: SWAP1
0000042c: JUMPDEST
0000042d: DUP2
0000042e: SLOAD
0000042f: DUP2
00000430: MSTORE
00000431: SWAP1
00000432: PUSH1 0x01
00000434: ADD
00000435: SWAP1
00000436: PUSH1 0x20
00000438: ADD
00000439: DUP1
0000043a: DUP4
0000043b: GT
0000043c: PUSH2 0x042c
0000043f: JUMPI
00000440: DUP3
00000441: SWAP1
00000442: SUB
00000443: PUSH1 0x1f
00000445: AND
00000446: DUP3
00000447: ADD
00000448: SWAP2
00000449: JUMPDEST
0000044a: POP
0000044b: POP
0000044c: POP
0000044d: POP
0000044e: POP
0000044f: SWAP1
00000450: POP
00000451: SWAP1
00000452: JUMP
00000453: JUMPDEST
00000454: PUSH1 0x00
00000456: PUSH2 0x0460
00000459: CALLER
0000045a: DUP5
0000045b: DUP5
0000045c: PUSH2 0x08a4
0000045f: JUMP
00000460: JUMPDEST
00000461: SWAP1
00000462: POP
00000463: SWAP3
00000464: SWAP2
00000465: POP
00000466: POP
00000467: JUMP
00000468: JUMPDEST
00000469: PUSH1 0x00
0000046b: PUSH1 0x05
0000046d: SLOAD
0000046e: SWAP1
0000046f: POP
00000470: SWAP1
00000471: JUMP
00000472: JUMPDEST
00000473: PUSH1 0x00
00000475: PUSH2 0x047f
00000478: DUP5
00000479: DUP5
0000047a: DUP5
0000047b: PUSH2 0x0a3f
0000047e: JUMP
0000047f: JUMPDEST
00000480: PUSH2 0x0511
00000483: DUP5
00000484: CALLER
00000485: DUP5
00000486: PUSH1 0x0b
00000488: PUSH1 0x00
0000048a: DUP10
0000048b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004a0: AND
000004a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004b6: AND
000004b7: DUP2
000004b8: MSTORE
000004b9: PUSH1 0x20
000004bb: ADD
000004bc: SWAP1
000004bd: DUP2
000004be: MSTORE
000004bf: PUSH1 0x20
000004c1: ADD
000004c2: PUSH1 0x00
000004c4: KECCAK256
000004c5: PUSH1 0x00
000004c7: CALLER
000004c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004dd: AND
000004de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004f3: AND
000004f4: DUP2
000004f5: MSTORE
000004f6: PUSH1 0x20
000004f8: ADD
000004f9: SWAP1
000004fa: DUP2
000004fb: MSTORE
000004fc: PUSH1 0x20
000004fe: ADD
000004ff: PUSH1 0x00
00000501: KECCAK256
00000502: SLOAD
00000503: PUSH2 0x050c
00000506: SWAP2
00000507: SWAP1
00000508: PUSH2 0x1b76
0000050b: JUMP
0000050c: JUMPDEST
0000050d: PUSH2 0x08a4
00000510: JUMP
00000511: JUMPDEST
00000512: SWAP1
00000513: POP
00000514: SWAP4
00000515: SWAP3
00000516: POP
00000517: POP
00000518: POP
00000519: JUMP
0000051a: JUMPDEST
0000051b: PUSH1 0x00
0000051d: PUSH1 0x04
0000051f: PUSH1 0x00
00000521: SWAP1
00000522: SLOAD
00000523: SWAP1
00000524: PUSH2 0x0100
00000527: EXP
00000528: SWAP1
00000529: DIV
0000052a: PUSH1 0xff
0000052c: AND
0000052d: PUSH1 0xff
0000052f: AND
00000530: SWAP1
00000531: POP
00000532: SWAP1
00000533: JUMP
00000534: JUMPDEST
00000535: PUSH1 0x03
00000537: SLOAD
00000538: DUP2
00000539: JUMP
0000053a: JUMPDEST
0000053b: PUSH32 0x000000000000000000000000b40892875f57ebd8f98e2a85131993567c865309
0000055c: DUP2
0000055d: JUMP
0000055e: JUMPDEST
0000055f: PUSH1 0x00
00000561: PUSH1 0x07
00000563: PUSH1 0x00
00000565: DUP4
00000566: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000057b: AND
0000057c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000591: AND
00000592: DUP2
00000593: MSTORE
00000594: PUSH1 0x20
00000596: ADD
00000597: SWAP1
00000598: DUP2
00000599: MSTORE
0000059a: PUSH1 0x20
0000059c: ADD
0000059d: PUSH1 0x00
0000059f: KECCAK256
000005a0: SLOAD
000005a1: SWAP1
000005a2: POP
000005a3: SWAP2
000005a4: SWAP1
000005a5: POP
000005a6: JUMP
000005a7: JUMPDEST
000005a8: PUSH2 0x05af
000005ab: PUSH2 0x1366
000005ae: JUMP
000005af: JUMPDEST
000005b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005c5: AND
000005c6: PUSH2 0x05cd
000005c9: PUSH2 0x062f
000005cc: JUMP
000005cd: JUMPDEST
000005ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005e3: AND
000005e4: EQ
000005e5: PUSH2 0x0623
000005e8: JUMPI
000005e9: PUSH1 0x40
000005eb: MLOAD
000005ec: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000060d: DUP2
0000060e: MSTORE
0000060f: PUSH1 0x04
00000611: ADD
00000612: PUSH2 0x061a
00000615: SWAP1
00000616: PUSH2 0x1bf6
00000619: JUMP
0000061a: JUMPDEST
0000061b: PUSH1 0x40
0000061d: MLOAD
0000061e: DUP1
0000061f: SWAP2
00000620: SUB
00000621: SWAP1
00000622: REVERT
00000623: JUMPDEST
00000624: PUSH2 0x062d
00000627: PUSH1 0x00
00000629: PUSH2 0x136e
0000062c: JUMP
0000062d: JUMPDEST
0000062e: JUMP
0000062f: JUMPDEST
00000630: PUSH1 0x00
00000632: DUP1
00000633: PUSH1 0x00
00000635: SWAP1
00000636: SLOAD
00000637: SWAP1
00000638: PUSH2 0x0100
0000063b: EXP
0000063c: SWAP1
0000063d: DIV
0000063e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000653: AND
00000654: SWAP1
00000655: POP
00000656: SWAP1
00000657: JUMP
00000658: JUMPDEST
00000659: PUSH1 0x60
0000065b: PUSH1 0x01
0000065d: DUP1
0000065e: SLOAD
0000065f: PUSH2 0x0667
00000662: SWAP1
00000663: PUSH2 0x1b15
00000666: JUMP
00000667: JUMPDEST
00000668: DUP1
00000669: PUSH1 0x1f
0000066b: ADD
0000066c: PUSH1 0x20
0000066e: DUP1
0000066f: SWAP2
00000670: DIV
00000671: MUL
00000672: PUSH1 0x20
00000674: ADD
00000675: PUSH1 0x40
00000677: MLOAD
00000678: SWAP1
00000679: DUP2
0000067a: ADD
0000067b: PUSH1 0x40
0000067d: MSTORE
0000067e: DUP1
0000067f: SWAP3
00000680: SWAP2
00000681: SWAP1
00000682: DUP2
00000683: DUP2
00000684: MSTORE
00000685: PUSH1 0x20
00000687: ADD
00000688: DUP3
00000689: DUP1
0000068a: SLOAD
0000068b: PUSH2 0x0693
0000068e: SWAP1
0000068f: PUSH2 0x1b15
00000692: JUMP
00000693: JUMPDEST
00000694: DUP1
00000695: ISZERO
00000696: PUSH2 0x06e0
00000699: JUMPI
0000069a: DUP1
0000069b: PUSH1 0x1f
0000069d: LT
0000069e: PUSH2 0x06b5
000006a1: JUMPI
000006a2: PUSH2 0x0100
000006a5: DUP1
000006a6: DUP4
000006a7: SLOAD
000006a8: DIV
000006a9: MUL
000006aa: DUP4
000006ab: MSTORE
000006ac: SWAP2
000006ad: PUSH1 0x20
000006af: ADD
000006b0: SWAP2
000006b1: PUSH2 0x06e0
000006b4: JUMP
000006b5: JUMPDEST
000006b6: DUP3
000006b7: ADD
000006b8: SWAP2
000006b9: SWAP1
000006ba: PUSH1 0x00
000006bc: MSTORE
000006bd: PUSH1 0x20
000006bf: PUSH1 0x00
000006c1: KECCAK256
000006c2: SWAP1
000006c3: JUMPDEST
000006c4: DUP2
000006c5: SLOAD
000006c6: DUP2
000006c7: MSTORE
000006c8: SWAP1
000006c9: PUSH1 0x01
000006cb: ADD
000006cc: SWAP1
000006cd: PUSH1 0x20
000006cf: ADD
000006d0: DUP1
000006d1: DUP4
000006d2: GT
000006d3: PUSH2 0x06c3
000006d6: JUMPI
000006d7: DUP3
000006d8: SWAP1
000006d9: SUB
000006da: PUSH1 0x1f
000006dc: AND
000006dd: DUP3
000006de: ADD
000006df: SWAP2
000006e0: JUMPDEST
000006e1: POP
000006e2: POP
000006e3: POP
000006e4: POP
000006e5: POP
000006e6: SWAP1
000006e7: POP
000006e8: SWAP1
000006e9: JUMP
000006ea: JUMPDEST
000006eb: PUSH1 0x00
000006ed: PUSH2 0x06f7
000006f0: CALLER
000006f1: DUP5
000006f2: DUP5
000006f3: PUSH2 0x0a3f
000006f6: JUMP
000006f7: JUMPDEST
000006f8: PUSH1 0x01
000006fa: SWAP1
000006fb: POP
000006fc: SWAP3
000006fd: SWAP2
000006fe: POP
000006ff: POP
00000700: JUMP
00000701: JUMPDEST
00000702: PUSH1 0x00
00000704: PUSH1 0x0b
00000706: PUSH1 0x00
00000708: DUP5
00000709: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000071e: AND
0000071f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000734: AND
00000735: DUP2
00000736: MSTORE
00000737: PUSH1 0x20
00000739: ADD
0000073a: SWAP1
0000073b: DUP2
0000073c: MSTORE
0000073d: PUSH1 0x20
0000073f: ADD
00000740: PUSH1 0x00
00000742: KECCAK256
00000743: PUSH1 0x00
00000745: DUP4
00000746: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000075b: AND
0000075c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000771: AND
00000772: DUP2
00000773: MSTORE
00000774: PUSH1 0x20
00000776: ADD
00000777: SWAP1
00000778: DUP2
00000779: MSTORE
0000077a: PUSH1 0x20
0000077c: ADD
0000077d: PUSH1 0x00
0000077f: KECCAK256
00000780: SLOAD
00000781: SWAP1
00000782: POP
00000783: SWAP3
00000784: SWAP2
00000785: POP
00000786: POP
00000787: JUMP
00000788: JUMPDEST
00000789: PUSH2 0x0790
0000078c: PUSH2 0x1366
0000078f: JUMP
00000790: JUMPDEST
00000791: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007a6: AND
000007a7: PUSH2 0x07ae
000007aa: PUSH2 0x062f
000007ad: JUMP
000007ae: JUMPDEST
000007af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007c4: AND
000007c5: EQ
000007c6: PUSH2 0x0804
000007c9: JUMPI
000007ca: PUSH1 0x40
000007cc: MLOAD
000007cd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000007ee: DUP2
000007ef: MSTORE
000007f0: PUSH1 0x04
000007f2: ADD
000007f3: PUSH2 0x07fb
000007f6: SWAP1
000007f7: PUSH2 0x1bf6
000007fa: JUMP
000007fb: JUMPDEST
000007fc: PUSH1 0x40
000007fe: MLOAD
000007ff: DUP1
00000800: SWAP2
00000801: SUB
00000802: SWAP1
00000803: REVERT
00000804: JUMPDEST
00000805: PUSH1 0x00
00000807: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000081c: AND
0000081d: DUP2
0000081e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000833: AND
00000834: EQ
00000835: ISZERO
00000836: PUSH2 0x0874
00000839: JUMPI
0000083a: PUSH1 0x40
0000083c: MLOAD
0000083d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000085e: DUP2
0000085f: MSTORE
00000860: PUSH1 0x04
00000862: ADD
00000863: PUSH2 0x086b
00000866: SWAP1
00000867: PUSH2 0x1c88
0000086a: JUMP
0000086b: JUMPDEST
0000086c: PUSH1 0x40
0000086e: MLOAD
0000086f: DUP1
00000870: SWAP2
00000871: SUB
00000872: SWAP1
00000873: REVERT
00000874: JUMPDEST
00000875: PUSH2 0x087d
00000878: DUP2
00000879: PUSH2 0x136e
0000087c: JUMP
0000087d: JUMPDEST
0000087e: POP
0000087f: JUMP
00000880: JUMPDEST
00000881: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
000008a2: DUP2
000008a3: JUMP
000008a4: JUMPDEST
000008a5: PUSH1 0x00
000008a7: DUP1
000008a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008bd: AND
000008be: DUP5
000008bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008d4: AND
000008d5: EQ
000008d6: ISZERO
000008d7: DUP1
000008d8: ISZERO
000008d9: PUSH2 0x090f
000008dc: JUMPI
000008dd: POP
000008de: PUSH1 0x00
000008e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008f5: AND
000008f6: DUP4
000008f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000090c: AND
0000090d: EQ
0000090e: ISZERO
0000090f: JUMPDEST
00000910: PUSH2 0x094e
00000913: JUMPI
00000914: PUSH1 0x40
00000916: MLOAD
00000917: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000938: DUP2
00000939: MSTORE
0000093a: PUSH1 0x04
0000093c: ADD
0000093d: PUSH2 0x0945
00000940: SWAP1
00000941: PUSH2 0x1d1a
00000944: JUMP
00000945: JUMPDEST
00000946: PUSH1 0x40
00000948: MLOAD
00000949: DUP1
0000094a: SWAP2
0000094b: SUB
0000094c: SWAP1
0000094d: REVERT
0000094e: JUMPDEST
0000094f: DUP2
00000950: PUSH1 0x0b
00000952: PUSH1 0x00
00000954: DUP7
00000955: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000096a: AND
0000096b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000980: AND
00000981: DUP2
00000982: MSTORE
00000983: PUSH1 0x20
00000985: ADD
00000986: SWAP1
00000987: DUP2
00000988: MSTORE
00000989: PUSH1 0x20
0000098b: ADD
0000098c: PUSH1 0x00
0000098e: KECCAK256
0000098f: PUSH1 0x00
00000991: DUP6
00000992: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009a7: AND
000009a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009bd: AND
000009be: DUP2
000009bf: MSTORE
000009c0: PUSH1 0x20
000009c2: ADD
000009c3: SWAP1
000009c4: DUP2
000009c5: MSTORE
000009c6: PUSH1 0x20
000009c8: ADD
000009c9: PUSH1 0x00
000009cb: KECCAK256
000009cc: DUP2
000009cd: SWAP1
000009ce: SSTORE
000009cf: POP
000009d0: DUP3
000009d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009e6: AND
000009e7: DUP5
000009e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009fd: AND
000009fe: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00000a1f: DUP5
00000a20: PUSH1 0x40
00000a22: MLOAD
00000a23: PUSH2 0x0a2c
00000a26: SWAP2
00000a27: SWAP1
00000a28: PUSH2 0x1967
00000a2b: JUMP
00000a2c: JUMPDEST
00000a2d: PUSH1 0x40
00000a2f: MLOAD
00000a30: DUP1
00000a31: SWAP2
00000a32: SUB
00000a33: SWAP1
00000a34: LOG3
00000a35: PUSH1 0x01
00000a37: SWAP1
00000a38: POP
00000a39: SWAP4
00000a3a: SWAP3
00000a3b: POP
00000a3c: POP
00000a3d: POP
00000a3e: JUMP
00000a3f: JUMPDEST
00000a40: PUSH1 0x00
00000a42: PUSH2 0x0a4a
00000a45: ADDRESS
00000a46: PUSH2 0x055e
00000a49: JUMP
00000a4a: JUMPDEST
00000a4b: SWAP1
00000a4c: POP
00000a4d: PUSH1 0x00
00000a4f: PUSH1 0x0c
00000a51: PUSH1 0x00
00000a53: SWAP1
00000a54: SLOAD
00000a55: SWAP1
00000a56: PUSH2 0x0100
00000a59: EXP
00000a5a: SWAP1
00000a5b: DIV
00000a5c: PUSH1 0xff
00000a5e: AND
00000a5f: DUP1
00000a60: ISZERO
00000a61: PUSH2 0x0a6b
00000a64: JUMPI
00000a65: POP
00000a66: PUSH1 0x06
00000a68: SLOAD
00000a69: DUP3
00000a6a: GT
00000a6b: JUMPDEST
00000a6c: DUP1
00000a6d: ISZERO
00000a6e: PUSH2 0x0a84
00000a71: JUMPI
00000a72: POP
00000a73: PUSH1 0x0c
00000a75: PUSH1 0x01
00000a77: SWAP1
00000a78: SLOAD
00000a79: SWAP1
00000a7a: PUSH2 0x0100
00000a7d: EXP
00000a7e: SWAP1
00000a7f: DIV
00000a80: PUSH1 0xff
00000a82: AND
00000a83: ISZERO
00000a84: JUMPDEST
00000a85: DUP1
00000a86: ISZERO
00000a87: PUSH2 0x0adc
00000a8a: JUMPI
00000a8b: POP
00000a8c: PUSH32 0x000000000000000000000000b40892875f57ebd8f98e2a85131993567c865309
00000aad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ac2: AND
00000ac3: DUP6
00000ac4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ad9: AND
00000ada: EQ
00000adb: ISZERO
00000adc: JUMPDEST
00000add: ISZERO
00000ade: PUSH2 0x0b25
00000ae1: JUMPI
00000ae2: PUSH1 0x01
00000ae4: PUSH1 0x0c
00000ae6: PUSH1 0x01
00000ae8: PUSH2 0x0100
00000aeb: EXP
00000aec: DUP2
00000aed: SLOAD
00000aee: DUP2
00000aef: PUSH1 0xff
00000af1: MUL
00000af2: NOT
00000af3: AND
00000af4: SWAP1
00000af5: DUP4
00000af6: ISZERO
00000af7: ISZERO
00000af8: MUL
00000af9: OR
00000afa: SWAP1
00000afb: SSTORE
00000afc: POP
00000afd: PUSH2 0x0b05
00000b00: DUP3
00000b01: PUSH2 0x1432
00000b04: JUMP
00000b05: JUMPDEST
00000b06: PUSH1 0x00
00000b08: PUSH1 0x0c
00000b0a: PUSH1 0x01
00000b0c: PUSH2 0x0100
00000b0f: EXP
00000b10: DUP2
00000b11: SLOAD
00000b12: DUP2
00000b13: PUSH1 0xff
00000b15: MUL
00000b16: NOT
00000b17: AND
00000b18: SWAP1
00000b19: DUP4
00000b1a: ISZERO
00000b1b: ISZERO
00000b1c: MUL
00000b1d: OR
00000b1e: SWAP1
00000b1f: SSTORE
00000b20: POP
00000b21: PUSH2 0x0f0a
00000b24: JUMP
00000b25: JUMPDEST
00000b26: PUSH1 0x06
00000b28: SLOAD
00000b29: PUSH1 0x0a
00000b2b: PUSH1 0x00
00000b2d: DUP8
00000b2e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b43: AND
00000b44: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b59: AND
00000b5a: DUP2
00000b5b: MSTORE
00000b5c: PUSH1 0x20
00000b5e: ADD
00000b5f: SWAP1
00000b60: DUP2
00000b61: MSTORE
00000b62: PUSH1 0x20
00000b64: ADD
00000b65: PUSH1 0x00
00000b67: KECCAK256
00000b68: SLOAD
00000b69: GT
00000b6a: DUP1
00000b6b: ISZERO
00000b6c: PUSH2 0x0bb5
00000b6f: JUMPI
00000b70: POP
00000b71: PUSH1 0x06
00000b73: SLOAD
00000b74: PUSH1 0x0a
00000b76: PUSH1 0x00
00000b78: DUP7
00000b79: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b8e: AND
00000b8f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ba4: AND
00000ba5: DUP2
00000ba6: MSTORE
00000ba7: PUSH1 0x20
00000ba9: ADD
00000baa: SWAP1
00000bab: DUP2
00000bac: MSTORE
00000bad: PUSH1 0x20
00000baf: ADD
00000bb0: PUSH1 0x00
00000bb2: KECCAK256
00000bb3: SLOAD
00000bb4: GT
00000bb5: JUMPDEST
00000bb6: ISZERO
00000bb7: PUSH2 0x0c24
00000bba: JUMPI
00000bbb: DUP3
00000bbc: SWAP1
00000bbd: POP
00000bbe: DUP1
00000bbf: PUSH1 0x07
00000bc1: PUSH1 0x00
00000bc3: ADDRESS
00000bc4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bd9: AND
00000bda: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bef: AND
00000bf0: DUP2
00000bf1: MSTORE
00000bf2: PUSH1 0x20
00000bf4: ADD
00000bf5: SWAP1
00000bf6: DUP2
00000bf7: MSTORE
00000bf8: PUSH1 0x20
00000bfa: ADD
00000bfb: PUSH1 0x00
00000bfd: KECCAK256
00000bfe: PUSH1 0x00
00000c00: DUP3
00000c01: DUP3
00000c02: SLOAD
00000c03: PUSH2 0x0c0c
00000c06: SWAP2
00000c07: SWAP1
00000c08: PUSH2 0x1d3a
00000c0b: JUMP
00000c0c: JUMPDEST
00000c0d: SWAP3
00000c0e: POP
00000c0f: POP
00000c10: DUP2
00000c11: SWAP1
00000c12: SSTORE
00000c13: POP
00000c14: PUSH2 0x0c1d
00000c17: DUP4
00000c18: DUP6
00000c19: PUSH2 0x1473
00000c1c: JUMP
00000c1d: JUMPDEST
00000c1e: POP
00000c1f: POP
00000c20: PUSH2 0x1361
00000c23: JUMP
00000c24: JUMPDEST
00000c25: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
00000c46: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c5b: AND
00000c5c: DUP5
00000c5d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c72: AND
00000c73: EQ
00000c74: ISZERO
00000c75: DUP1
00000c76: ISZERO
00000c77: PUSH2 0x0cbf
00000c7a: JUMPI
00000c7b: POP
00000c7c: PUSH1 0x00
00000c7e: PUSH1 0x0a
00000c80: PUSH1 0x00
00000c82: DUP8
00000c83: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c98: AND
00000c99: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cae: AND
00000caf: DUP2
00000cb0: MSTORE
00000cb1: PUSH1 0x20
00000cb3: ADD
00000cb4: SWAP1
00000cb5: DUP2
00000cb6: MSTORE
00000cb7: PUSH1 0x20
00000cb9: ADD
00000cba: PUSH1 0x00
00000cbc: KECCAK256
00000cbd: SLOAD
00000cbe: GT
00000cbf: JUMPDEST
00000cc0: DUP1
00000cc1: ISZERO
00000cc2: PUSH2 0x0ccc
00000cc5: JUMPI
00000cc6: POP
00000cc7: PUSH1 0x06
00000cc9: SLOAD
00000cca: DUP4
00000ccb: GT
00000ccc: JUMPDEST
00000ccd: DUP1
00000cce: ISZERO
00000ccf: PUSH2 0x0d24
00000cd2: JUMPI
00000cd3: POP
00000cd4: PUSH32 0x000000000000000000000000b40892875f57ebd8f98e2a85131993567c865309
00000cf5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d0a: AND
00000d0b: DUP5
00000d0c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d21: AND
00000d22: EQ
00000d23: ISZERO
00000d24: JUMPDEST
00000d25: ISZERO
00000d26: PUSH2 0x0d74
00000d29: JUMPI
00000d2a: DUP3
00000d2b: PUSH1 0x0a
00000d2d: PUSH1 0x00
00000d2f: DUP7
00000d30: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d45: AND
00000d46: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d5b: AND
00000d5c: DUP2
00000d5d: MSTORE
00000d5e: PUSH1 0x20
00000d60: ADD
00000d61: SWAP1
00000d62: DUP2
00000d63: MSTORE
00000d64: PUSH1 0x20
00000d66: ADD
00000d67: PUSH1 0x00
00000d69: KECCAK256
00000d6a: DUP2
00000d6b: SWAP1
00000d6c: SSTORE
00000d6d: POP
00000d6e: POP
00000d6f: POP
00000d70: PUSH2 0x1361
00000d73: JUMP
00000d74: JUMPDEST
00000d75: PUSH1 0x0c
00000d77: PUSH1 0x01
00000d79: SWAP1
00000d7a: SLOAD
00000d7b: SWAP1
00000d7c: PUSH2 0x0100
00000d7f: EXP
00000d80: SWAP1
00000d81: DIV
00000d82: PUSH1 0xff
00000d84: AND
00000d85: ISZERO
00000d86: DUP1
00000d87: ISZERO
00000d88: PUSH2 0x0dd0
00000d8b: JUMPI
00000d8c: POP
00000d8d: PUSH1 0x00
00000d8f: PUSH1 0x09
00000d91: PUSH1 0x00
00000d93: DUP8
00000d94: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000da9: AND
00000daa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dbf: AND
00000dc0: DUP2
00000dc1: MSTORE
00000dc2: PUSH1 0x20
00000dc4: ADD
00000dc5: SWAP1
00000dc6: DUP2
00000dc7: MSTORE
00000dc8: PUSH1 0x20
00000dca: ADD
00000dcb: PUSH1 0x00
00000dcd: KECCAK256
00000dce: SLOAD
00000dcf: GT
00000dd0: JUMPDEST
00000dd1: DUP1
00000dd2: ISZERO
00000dd3: PUSH2 0x0e28
00000dd6: JUMPI
00000dd7: POP
00000dd8: PUSH32 0x000000000000000000000000b40892875f57ebd8f98e2a85131993567c865309
00000df9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e0e: AND
00000e0f: DUP6
00000e10: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e25: AND
00000e26: EQ
00000e27: ISZERO
00000e28: JUMPDEST
00000e29: DUP1
00000e2a: ISZERO
00000e2b: PUSH2 0x0e73
00000e2e: JUMPI
00000e2f: POP
00000e30: PUSH1 0x00
00000e32: PUSH1 0x0a
00000e34: PUSH1 0x00
00000e36: DUP8
00000e37: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e4c: AND
00000e4d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e62: AND
00000e63: DUP2
00000e64: MSTORE
00000e65: PUSH1 0x20
00000e67: ADD
00000e68: SWAP1
00000e69: DUP2
00000e6a: MSTORE
00000e6b: PUSH1 0x20
00000e6d: ADD
00000e6e: PUSH1 0x00
00000e70: KECCAK256
00000e71: SLOAD
00000e72: EQ
00000e73: JUMPDEST
00000e74: ISZERO
00000e75: PUSH2 0x0f09
00000e78: JUMPI
00000e79: PUSH1 0x06
00000e7b: SLOAD
00000e7c: PUSH1 0x0a
00000e7e: PUSH1 0x00
00000e80: DUP8
00000e81: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e96: AND
00000e97: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000eac: AND
00000ead: DUP2
00000eae: MSTORE
00000eaf: PUSH1 0x20
00000eb1: ADD
00000eb2: SWAP1
00000eb3: DUP2
00000eb4: MSTORE
00000eb5: PUSH1 0x20
00000eb7: ADD
00000eb8: PUSH1 0x00
00000eba: KECCAK256
00000ebb: SLOAD
00000ebc: PUSH2 0x0ec5
00000ebf: SWAP2
00000ec0: SWAP1
00000ec1: PUSH2 0x1b76
00000ec4: JUMP
00000ec5: JUMPDEST
00000ec6: PUSH1 0x09
00000ec8: PUSH1 0x00
00000eca: DUP8
00000ecb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ee0: AND
00000ee1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ef6: AND
00000ef7: DUP2
00000ef8: MSTORE
00000ef9: PUSH1 0x20
00000efb: ADD
00000efc: SWAP1
00000efd: DUP2
00000efe: MSTORE
00000eff: PUSH1 0x20
00000f01: ADD
00000f02: PUSH1 0x00
00000f04: KECCAK256
00000f05: DUP2
00000f06: SWAP1
00000f07: SSTORE
00000f08: POP
00000f09: JUMPDEST
00000f0a: JUMPDEST
00000f0b: PUSH1 0x00
00000f0d: PUSH1 0x08
00000f0f: PUSH1 0x00
00000f11: PUSH32 0x000000000000000000000000b40892875f57ebd8f98e2a85131993567c865309
00000f32: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f47: AND
00000f48: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f5d: AND
00000f5e: DUP2
00000f5f: MSTORE
00000f60: PUSH1 0x20
00000f62: ADD
00000f63: SWAP1
00000f64: DUP2
00000f65: MSTORE
00000f66: PUSH1 0x20
00000f68: ADD
00000f69: PUSH1 0x00
00000f6b: KECCAK256
00000f6c: PUSH1 0x00
00000f6e: SWAP1
00000f6f: SLOAD
00000f70: SWAP1
00000f71: PUSH2 0x0100
00000f74: EXP
00000f75: SWAP1
00000f76: DIV
00000f77: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f8c: AND
00000f8d: SWAP1
00000f8e: POP
00000f8f: PUSH1 0x00
00000f91: PUSH1 0x09
00000f93: PUSH1 0x00
00000f95: DUP4
00000f96: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fab: AND
00000fac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fc1: AND
00000fc2: DUP2
00000fc3: MSTORE
00000fc4: PUSH1 0x20
00000fc6: ADD
00000fc7: SWAP1
00000fc8: DUP2
00000fc9: MSTORE
00000fca: PUSH1 0x20
00000fcc: ADD
00000fcd: PUSH1 0x00
00000fcf: KECCAK256
00000fd0: SLOAD
00000fd1: EQ
00000fd2: ISZERO
00000fd3: PUSH2 0x101d
00000fd6: JUMPI
00000fd7: PUSH1 0x06
00000fd9: SLOAD
00000fda: PUSH1 0x09
00000fdc: PUSH1 0x00
00000fde: DUP4
00000fdf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ff4: AND
00000ff5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000100a: AND
0000100b: DUP2
0000100c: MSTORE
0000100d: PUSH1 0x20
0000100f: ADD
00001010: SWAP1
00001011: DUP2
00001012: MSTORE
00001013: PUSH1 0x20
00001015: ADD
00001016: PUSH1 0x00
00001018: KECCAK256
00001019: DUP2
0000101a: SWAP1
0000101b: SSTORE
0000101c: POP
0000101d: JUMPDEST
0000101e: DUP5
0000101f: PUSH1 0x08
00001021: PUSH1 0x00
00001023: PUSH32 0x000000000000000000000000b40892875f57ebd8f98e2a85131993567c865309
00001044: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001059: AND
0000105a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000106f: AND
00001070: DUP2
00001071: MSTORE
00001072: PUSH1 0x20
00001074: ADD
00001075: SWAP1
00001076: DUP2
00001077: MSTORE
00001078: PUSH1 0x20
0000107a: ADD
0000107b: PUSH1 0x00
0000107d: KECCAK256
0000107e: PUSH1 0x00
00001080: PUSH2 0x0100
00001083: EXP
00001084: DUP2
00001085: SLOAD
00001086: DUP2
00001087: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000109c: MUL
0000109d: NOT
0000109e: AND
0000109f: SWAP1
000010a0: DUP4
000010a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010b6: AND
000010b7: MUL
000010b8: OR
000010b9: SWAP1
000010ba: SSTORE
000010bb: POP
000010bc: PUSH1 0x00
000010be: PUSH1 0x03
000010c0: SLOAD
000010c1: GT
000010c2: DUP1
000010c3: ISZERO
000010c4: PUSH2 0x110c
000010c7: JUMPI
000010c8: POP
000010c9: PUSH1 0x00
000010cb: PUSH1 0x0a
000010cd: PUSH1 0x00
000010cf: DUP9
000010d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010e5: AND
000010e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010fb: AND
000010fc: DUP2
000010fd: MSTORE
000010fe: PUSH1 0x20
00001100: ADD
00001101: SWAP1
00001102: DUP2
00001103: MSTORE
00001104: PUSH1 0x20
00001106: ADD
00001107: PUSH1 0x00
00001109: KECCAK256
0000110a: SLOAD
0000110b: EQ
0000110c: JUMPDEST
0000110d: DUP1
0000110e: ISZERO
0000110f: PUSH2 0x1125
00001112: JUMPI
00001113: POP
00001114: PUSH1 0x0c
00001116: PUSH1 0x01
00001118: SWAP1
00001119: SLOAD
0000111a: SWAP1
0000111b: PUSH2 0x0100
0000111e: EXP
0000111f: SWAP1
00001120: DIV
00001121: PUSH1 0xff
00001123: AND
00001124: ISZERO
00001125: JUMPDEST
00001126: DUP1
00001127: ISZERO
00001128: PUSH2 0x1170
0000112b: JUMPI
0000112c: POP
0000112d: PUSH1 0x00
0000112f: PUSH1 0x0a
00001131: PUSH1 0x00
00001133: DUP8
00001134: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001149: AND
0000114a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000115f: AND
00001160: DUP2
00001161: MSTORE
00001162: PUSH1 0x20
00001164: ADD
00001165: SWAP1
00001166: DUP2
00001167: MSTORE
00001168: PUSH1 0x20
0000116a: ADD
0000116b: PUSH1 0x00
0000116d: KECCAK256
0000116e: SLOAD
0000116f: EQ
00001170: JUMPDEST
00001171: ISZERO
00001172: PUSH2 0x124c
00001175: JUMPI
00001176: PUSH1 0x64
00001178: PUSH1 0x03
0000117a: SLOAD
0000117b: DUP6
0000117c: PUSH2 0x1185
0000117f: SWAP2
00001180: SWAP1
00001181: PUSH2 0x1d90
00001184: JUMP
00001185: JUMPDEST
00001186: PUSH2 0x118f
00001189: SWAP2
0000118a: SWAP1
0000118b: PUSH2 0x1e19
0000118e: JUMP
0000118f: JUMPDEST
00001190: SWAP2
00001191: POP
00001192: DUP2
00001193: DUP5
00001194: PUSH2 0x119d
00001197: SWAP2
00001198: SWAP1
00001199: PUSH2 0x1b76
0000119c: JUMP
0000119d: JUMPDEST
0000119e: SWAP4
0000119f: POP
000011a0: DUP2
000011a1: PUSH1 0x07
000011a3: PUSH1 0x00
000011a5: DUP9
000011a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011bb: AND
000011bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011d1: AND
000011d2: DUP2
000011d3: MSTORE
000011d4: PUSH1 0x20
000011d6: ADD
000011d7: SWAP1
000011d8: DUP2
000011d9: MSTORE
000011da: PUSH1 0x20
000011dc: ADD
000011dd: PUSH1 0x00
000011df: KECCAK256
000011e0: PUSH1 0x00
000011e2: DUP3
000011e3: DUP3
000011e4: SLOAD
000011e5: PUSH2 0x11ee
000011e8: SWAP2
000011e9: SWAP1
000011ea: PUSH2 0x1b76
000011ed: JUMP
000011ee: JUMPDEST
000011ef: SWAP3
000011f0: POP
000011f1: POP
000011f2: DUP2
000011f3: SWAP1
000011f4: SSTORE
000011f5: POP
000011f6: DUP2
000011f7: PUSH1 0x07
000011f9: PUSH1 0x00
000011fb: ADDRESS
000011fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001211: AND
00001212: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001227: AND
00001228: DUP2
00001229: MSTORE
0000122a: PUSH1 0x20
0000122c: ADD
0000122d: SWAP1
0000122e: DUP2
0000122f: MSTORE
00001230: PUSH1 0x20
00001232: ADD
00001233: PUSH1 0x00
00001235: KECCAK256
00001236: PUSH1 0x00
00001238: DUP3
00001239: DUP3
0000123a: SLOAD
0000123b: PUSH2 0x1244
0000123e: SWAP2
0000123f: SWAP1
00001240: PUSH2 0x1d3a
00001243: JUMP
00001244: JUMPDEST
00001245: SWAP3
00001246: POP
00001247: POP
00001248: DUP2
00001249: SWAP1
0000124a: SSTORE
0000124b: POP
0000124c: JUMPDEST
0000124d: DUP4
0000124e: PUSH1 0x07
00001250: PUSH1 0x00
00001252: DUP9
00001253: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001268: AND
00001269: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000127e: AND
0000127f: DUP2
00001280: MSTORE
00001281: PUSH1 0x20
00001283: ADD
00001284: SWAP1
00001285: DUP2
00001286: MSTORE
00001287: PUSH1 0x20
00001289: ADD
0000128a: PUSH1 0x00
0000128c: KECCAK256
0000128d: PUSH1 0x00
0000128f: DUP3
00001290: DUP3
00001291: SLOAD
00001292: PUSH2 0x129b
00001295: SWAP2
00001296: SWAP1
00001297: PUSH2 0x1b76
0000129a: JUMP
0000129b: JUMPDEST
0000129c: SWAP3
0000129d: POP
0000129e: POP
0000129f: DUP2
000012a0: SWAP1
000012a1: SSTORE
000012a2: POP
000012a3: DUP4
000012a4: PUSH1 0x07
000012a6: PUSH1 0x00
000012a8: DUP8
000012a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012be: AND
000012bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012d4: AND
000012d5: DUP2
000012d6: MSTORE
000012d7: PUSH1 0x20
000012d9: ADD
000012da: SWAP1
000012db: DUP2
000012dc: MSTORE
000012dd: PUSH1 0x20
000012df: ADD
000012e0: PUSH1 0x00
000012e2: KECCAK256
000012e3: PUSH1 0x00
000012e5: DUP3
000012e6: DUP3
000012e7: SLOAD
000012e8: PUSH2 0x12f1
000012eb: SWAP2
000012ec: SWAP1
000012ed: PUSH2 0x1d3a
000012f0: JUMP
000012f1: JUMPDEST
000012f2: SWAP3
000012f3: POP
000012f4: POP
000012f5: DUP2
000012f6: SWAP1
000012f7: SSTORE
000012f8: POP
000012f9: DUP5
000012fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000130f: AND
00001310: DUP7
00001311: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001326: AND
00001327: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001348: DUP7
00001349: PUSH1 0x40
0000134b: MLOAD
0000134c: PUSH2 0x1355
0000134f: SWAP2
00001350: SWAP1
00001351: PUSH2 0x1967
00001354: JUMP
00001355: JUMPDEST
00001356: PUSH1 0x40
00001358: MLOAD
00001359: DUP1
0000135a: SWAP2
0000135b: SUB
0000135c: SWAP1
0000135d: LOG3
0000135e: POP
0000135f: POP
00001360: POP
00001361: JUMPDEST
00001362: POP
00001363: POP
00001364: POP
00001365: JUMP
00001366: JUMPDEST
00001367: PUSH1 0x00
00001369: CALLER
0000136a: SWAP1
0000136b: POP
0000136c: SWAP1
0000136d: JUMP
0000136e: JUMPDEST
0000136f: PUSH1 0x00
00001371: DUP1
00001372: PUSH1 0x00
00001374: SWAP1
00001375: SLOAD
00001376: SWAP1
00001377: PUSH2 0x0100
0000137a: EXP
0000137b: SWAP1
0000137c: DIV
0000137d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001392: AND
00001393: SWAP1
00001394: POP
00001395: DUP2
00001396: PUSH1 0x00
00001398: DUP1
00001399: PUSH2 0x0100
0000139c: EXP
0000139d: DUP2
0000139e: SLOAD
0000139f: DUP2
000013a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013b5: MUL
000013b6: NOT
000013b7: AND
000013b8: SWAP1
000013b9: DUP4
000013ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013cf: AND
000013d0: MUL
000013d1: OR
000013d2: SWAP1
000013d3: SSTORE
000013d4: POP
000013d5: DUP2
000013d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013eb: AND
000013ec: DUP2
000013ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001402: AND
00001403: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001424: PUSH1 0x40
00001426: MLOAD
00001427: PUSH1 0x40
00001429: MLOAD
0000142a: DUP1
0000142b: SWAP2
0000142c: SUB
0000142d: SWAP1
0000142e: LOG3
0000142f: POP
00001430: POP
00001431: JUMP
00001432: JUMPDEST
00001433: PUSH1 0x00
00001435: PUSH1 0x02
00001437: DUP3
00001438: PUSH2 0x1441
0000143b: SWAP2
0000143c: SWAP1
0000143d: PUSH2 0x1e19
00001440: JUMP
00001441: JUMPDEST
00001442: SWAP1
00001443: POP
00001444: PUSH1 0x00
00001446: SELFBALANCE
00001447: SWAP1
00001448: POP
00001449: PUSH2 0x1452
0000144c: DUP3
0000144d: ADDRESS
0000144e: PUSH2 0x1473
00001451: JUMP
00001452: JUMPDEST
00001453: PUSH1 0x00
00001455: DUP2
00001456: SELFBALANCE
00001457: PUSH2 0x1460
0000145a: SWAP2
0000145b: SWAP1
0000145c: PUSH2 0x1b76
0000145f: JUMP
00001460: JUMPDEST
00001461: SWAP1
00001462: POP
00001463: PUSH2 0x146d
00001466: DUP4
00001467: DUP3
00001468: ADDRESS
00001469: PUSH2 0x16b2
0000146c: JUMP
0000146d: JUMPDEST
0000146e: POP
0000146f: POP
00001470: POP
00001471: POP
00001472: JUMP
00001473: JUMPDEST
00001474: PUSH1 0x00
00001476: PUSH1 0x02
00001478: PUSH8 0xffffffffffffffff
00001481: DUP2
00001482: GT
00001483: ISZERO
00001484: PUSH2 0x1490
00001487: JUMPI
00001488: PUSH2 0x148f
0000148b: PUSH2 0x1e4a
0000148e: JUMP
0000148f: JUMPDEST
00001490: JUMPDEST
00001491: PUSH1 0x40
00001493: MLOAD
00001494: SWAP1
00001495: DUP1
00001496: DUP3
00001497: MSTORE
00001498: DUP1
00001499: PUSH1 0x20
0000149b: MUL
0000149c: PUSH1 0x20
0000149e: ADD
0000149f: DUP3
000014a0: ADD
000014a1: PUSH1 0x40
000014a3: MSTORE
000014a4: DUP1
000014a5: ISZERO
000014a6: PUSH2 0x14be
000014a9: JUMPI
000014aa: DUP2
000014ab: PUSH1 0x20
000014ad: ADD
000014ae: PUSH1 0x20
000014b0: DUP3
000014b1: MUL
000014b2: DUP1
000014b3: CALLDATASIZE
000014b4: DUP4
000014b5: CALLDATACOPY
000014b6: DUP1
000014b7: DUP3
000014b8: ADD
000014b9: SWAP2
000014ba: POP
000014bb: POP
000014bc: SWAP1
000014bd: POP
000014be: JUMPDEST
000014bf: POP
000014c0: SWAP1
000014c1: POP
000014c2: ADDRESS
000014c3: DUP2
000014c4: PUSH1 0x00
000014c6: DUP2
000014c7: MLOAD
000014c8: DUP2
000014c9: LT
000014ca: PUSH2 0x14d6
000014cd: JUMPI
000014ce: PUSH2 0x14d5
000014d1: PUSH2 0x1e79
000014d4: JUMP
000014d5: JUMPDEST
000014d6: JUMPDEST
000014d7: PUSH1 0x20
000014d9: MUL
000014da: PUSH1 0x20
000014dc: ADD
000014dd: ADD
000014de: SWAP1
000014df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014f4: AND
000014f5: SWAP1
000014f6: DUP2
000014f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000150c: AND
0000150d: DUP2
0000150e: MSTORE
0000150f: POP
00001510: POP
00001511: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
00001532: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001547: AND
00001548: PUSH4 0xad5c4648
0000154d: PUSH1 0x40
0000154f: MLOAD
00001550: DUP2
00001551: PUSH4 0xffffffff
00001556: AND
00001557: PUSH1 0xe0
00001559: SHL
0000155a: DUP2
0000155b: MSTORE
0000155c: PUSH1 0x04
0000155e: ADD
0000155f: PUSH1 0x20
00001561: PUSH1 0x40
00001563: MLOAD
00001564: DUP1
00001565: DUP4
00001566: SUB
00001567: DUP2
00001568: DUP7
00001569: GAS
0000156a: STATICCALL
0000156b: ISZERO
0000156c: DUP1
0000156d: ISZERO
0000156e: PUSH2 0x157b
00001571: JUMPI
00001572: RETURNDATASIZE
00001573: PUSH1 0x00
00001575: DUP1
00001576: RETURNDATACOPY
00001577: RETURNDATASIZE
00001578: PUSH1 0x00
0000157a: REVERT
0000157b: JUMPDEST
0000157c: POP
0000157d: POP
0000157e: POP
0000157f: POP
00001580: PUSH1 0x40
00001582: MLOAD
00001583: RETURNDATASIZE
00001584: PUSH1 0x1f
00001586: NOT
00001587: PUSH1 0x1f
00001589: DUP3
0000158a: ADD
0000158b: AND
0000158c: DUP3
0000158d: ADD
0000158e: DUP1
0000158f: PUSH1 0x40
00001591: MSTORE
00001592: POP
00001593: DUP2
00001594: ADD
00001595: SWAP1
00001596: PUSH2 0x159f
00001599: SWAP2
0000159a: SWAP1
0000159b: PUSH2 0x1ebd
0000159e: JUMP
0000159f: JUMPDEST
000015a0: DUP2
000015a1: PUSH1 0x01
000015a3: DUP2
000015a4: MLOAD
000015a5: DUP2
000015a6: LT
000015a7: PUSH2 0x15b3
000015aa: JUMPI
000015ab: PUSH2 0x15b2
000015ae: PUSH2 0x1e79
000015b1: JUMP
000015b2: JUMPDEST
000015b3: JUMPDEST
000015b4: PUSH1 0x20
000015b6: MUL
000015b7: PUSH1 0x20
000015b9: ADD
000015ba: ADD
000015bb: SWAP1
000015bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015d1: AND
000015d2: SWAP1
000015d3: DUP2
000015d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015e9: AND
000015ea: DUP2
000015eb: MSTORE
000015ec: POP
000015ed: POP
000015ee: PUSH2 0x1618
000015f1: ADDRESS
000015f2: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
00001613: DUP6
00001614: PUSH2 0x08a4
00001617: JUMP
00001618: JUMPDEST
00001619: POP
0000161a: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
0000163b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001650: AND
00001651: PUSH4 0x791ac947
00001656: DUP5
00001657: PUSH1 0x00
00001659: DUP5
0000165a: DUP7
0000165b: TIMESTAMP
0000165c: PUSH1 0x40
0000165e: MLOAD
0000165f: DUP7
00001660: PUSH4 0xffffffff
00001665: AND
00001666: PUSH1 0xe0
00001668: SHL
00001669: DUP2
0000166a: MSTORE
0000166b: PUSH1 0x04
0000166d: ADD
0000166e: PUSH2 0x167b
00001671: SWAP6
00001672: SWAP5
00001673: SWAP4
00001674: SWAP3
00001675: SWAP2
00001676: SWAP1
00001677: PUSH2 0x1fe3
0000167a: JUMP
0000167b: JUMPDEST
0000167c: PUSH1 0x00
0000167e: PUSH1 0x40
00001680: MLOAD
00001681: DUP1
00001682: DUP4
00001683: SUB
00001684: DUP2
00001685: PUSH1 0x00
00001687: DUP8
00001688: DUP1
00001689: EXTCODESIZE
0000168a: ISZERO
0000168b: DUP1
0000168c: ISZERO
0000168d: PUSH2 0x1695
00001690: JUMPI
00001691: PUSH1 0x00
00001693: DUP1
00001694: REVERT
00001695: JUMPDEST
00001696: POP
00001697: GAS
00001698: CALL
00001699: ISZERO
0000169a: DUP1
0000169b: ISZERO
0000169c: PUSH2 0x16a9
0000169f: JUMPI
000016a0: RETURNDATASIZE
000016a1: PUSH1 0x00
000016a3: DUP1
000016a4: RETURNDATACOPY
000016a5: RETURNDATASIZE
000016a6: PUSH1 0x00
000016a8: REVERT
000016a9: JUMPDEST
000016aa: POP
000016ab: POP
000016ac: POP
000016ad: POP
000016ae: POP
000016af: POP
000016b0: POP
000016b1: JUMP
000016b2: JUMPDEST
000016b3: PUSH2 0x16dd
000016b6: ADDRESS
000016b7: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
000016d8: DUP6
000016d9: PUSH2 0x08a4
000016dc: JUMP
000016dd: JUMPDEST
000016de: POP
000016df: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
00001700: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001715: AND
00001716: PUSH4 0xf305d719
0000171b: DUP4
0000171c: ADDRESS
0000171d: DUP7
0000171e: PUSH1 0x00
00001720: DUP1
00001721: DUP8
00001722: TIMESTAMP
00001723: PUSH1 0x40
00001725: MLOAD
00001726: DUP9
00001727: PUSH4 0xffffffff
0000172c: AND
0000172d: PUSH1 0xe0
0000172f: SHL
00001730: DUP2
00001731: MSTORE
00001732: PUSH1 0x04
00001734: ADD
00001735: PUSH2 0x1743
00001738: SWAP7
00001739: SWAP6
0000173a: SWAP5
0000173b: SWAP4
0000173c: SWAP3
0000173d: SWAP2
0000173e: SWAP1
0000173f: PUSH2 0x203d
00001742: JUMP
00001743: JUMPDEST
00001744: PUSH1 0x60
00001746: PUSH1 0x40
00001748: MLOAD
00001749: DUP1
0000174a: DUP4
0000174b: SUB
0000174c: DUP2
0000174d: DUP6
0000174e: DUP9
0000174f: GAS
00001750: CALL
00001751: ISZERO
00001752: DUP1
00001753: ISZERO
00001754: PUSH2 0x1761
00001757: JUMPI
00001758: RETURNDATASIZE
00001759: PUSH1 0x00
0000175b: DUP1
0000175c: RETURNDATACOPY
0000175d: RETURNDATASIZE
0000175e: PUSH1 0x00
00001760: REVERT
00001761: JUMPDEST
00001762: POP
00001763: POP
00001764: POP
00001765: POP
00001766: POP
00001767: PUSH1 0x40
00001769: MLOAD
0000176a: RETURNDATASIZE
0000176b: PUSH1 0x1f
0000176d: NOT
0000176e: PUSH1 0x1f
00001770: DUP3
00001771: ADD
00001772: AND
00001773: DUP3
00001774: ADD
00001775: DUP1
00001776: PUSH1 0x40
00001778: MSTORE
00001779: POP
0000177a: DUP2
0000177b: ADD
0000177c: SWAP1
0000177d: PUSH2 0x1786
00001780: SWAP2
00001781: SWAP1
00001782: PUSH2 0x20b3
00001785: JUMP
00001786: JUMPDEST
00001787: POP
00001788: POP
00001789: POP
0000178a: POP
0000178b: POP
0000178c: POP
0000178d: JUMP
0000178e: JUMPDEST
0000178f: PUSH1 0x00
00001791: DUP2
00001792: MLOAD
00001793: SWAP1
00001794: POP
00001795: SWAP2
00001796: SWAP1
00001797: POP
00001798: JUMP
00001799: JUMPDEST
0000179a: PUSH1 0x00
0000179c: DUP3
0000179d: DUP3
0000179e: MSTORE
0000179f: PUSH1 0x20
000017a1: DUP3
000017a2: ADD
000017a3: SWAP1
000017a4: POP
000017a5: SWAP3
000017a6: SWAP2
000017a7: POP
000017a8: POP
000017a9: JUMP
000017aa: JUMPDEST
000017ab: PUSH1 0x00
000017ad: JUMPDEST
000017ae: DUP4
000017af: DUP2
000017b0: LT
000017b1: ISZERO
000017b2: PUSH2 0x17c8
000017b5: JUMPI
000017b6: DUP1
000017b7: DUP3
000017b8: ADD
000017b9: MLOAD
000017ba: DUP2
000017bb: DUP5
000017bc: ADD
000017bd: MSTORE
000017be: PUSH1 0x20
000017c0: DUP2
000017c1: ADD
000017c2: SWAP1
000017c3: POP
000017c4: PUSH2 0x17ad
000017c7: JUMP
000017c8: JUMPDEST
000017c9: DUP4
000017ca: DUP2
000017cb: GT
000017cc: ISZERO
000017cd: PUSH2 0x17d7
000017d0: JUMPI
000017d1: PUSH1 0x00
000017d3: DUP5
000017d4: DUP5
000017d5: ADD
000017d6: MSTORE
000017d7: JUMPDEST
000017d8: POP
000017d9: POP
000017da: POP
000017db: POP
000017dc: JUMP
000017dd: JUMPDEST
000017de: PUSH1 0x00
000017e0: PUSH1 0x1f
000017e2: NOT
000017e3: PUSH1 0x1f
000017e5: DUP4
000017e6: ADD
000017e7: AND
000017e8: SWAP1
000017e9: POP
000017ea: SWAP2
000017eb: SWAP1
000017ec: POP
000017ed: JUMP
000017ee: JUMPDEST
000017ef: PUSH1 0x00
000017f1: PUSH2 0x17f9
000017f4: DUP3
000017f5: PUSH2 0x178e
000017f8: JUMP
000017f9: JUMPDEST
000017fa: PUSH2 0x1803
000017fd: DUP2
000017fe: DUP6
000017ff: PUSH2 0x1799
00001802: JUMP
00001803: JUMPDEST
00001804: SWAP4
00001805: POP
00001806: PUSH2 0x1813
00001809: DUP2
0000180a: DUP6
0000180b: PUSH1 0x20
0000180d: DUP7
0000180e: ADD
0000180f: PUSH2 0x17aa
00001812: JUMP
00001813: JUMPDEST
00001814: PUSH2 0x181c
00001817: DUP2
00001818: PUSH2 0x17dd
0000181b: JUMP
0000181c: JUMPDEST
0000181d: DUP5
0000181e: ADD
0000181f: SWAP2
00001820: POP
00001821: POP
00001822: SWAP3
00001823: SWAP2
00001824: POP
00001825: POP
00001826: JUMP
00001827: JUMPDEST
00001828: PUSH1 0x00
0000182a: PUSH1 0x20
0000182c: DUP3
0000182d: ADD
0000182e: SWAP1
0000182f: POP
00001830: DUP2
00001831: DUP2
00001832: SUB
00001833: PUSH1 0x00
00001835: DUP4
00001836: ADD
00001837: MSTORE
00001838: PUSH2 0x1841
0000183b: DUP2
0000183c: DUP5
0000183d: PUSH2 0x17ee
00001840: JUMP
00001841: JUMPDEST
00001842: SWAP1
00001843: POP
00001844: SWAP3
00001845: SWAP2
00001846: POP
00001847: POP
00001848: JUMP
00001849: JUMPDEST
0000184a: PUSH1 0x00
0000184c: DUP1
0000184d: REVERT
0000184e: JUMPDEST
0000184f: PUSH1 0x00
00001851: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001866: DUP3
00001867: AND
00001868: SWAP1
00001869: POP
0000186a: SWAP2
0000186b: SWAP1
0000186c: POP
0000186d: JUMP
0000186e: JUMPDEST
0000186f: PUSH1 0x00
00001871: PUSH2 0x1879
00001874: DUP3
00001875: PUSH2 0x184e
00001878: JUMP
00001879: JUMPDEST
0000187a: SWAP1
0000187b: POP
0000187c: SWAP2
0000187d: SWAP1
0000187e: POP
0000187f: JUMP
00001880: JUMPDEST
00001881: PUSH2 0x1889
00001884: DUP2
00001885: PUSH2 0x186e
00001888: JUMP
00001889: JUMPDEST
0000188a: DUP2
0000188b: EQ
0000188c: PUSH2 0x1894
0000188f: JUMPI
00001890: PUSH1 0x00
00001892: DUP1
00001893: REVERT
00001894: JUMPDEST
00001895: POP
00001896: JUMP
00001897: JUMPDEST
00001898: PUSH1 0x00
0000189a: DUP2
0000189b: CALLDATALOAD
0000189c: SWAP1
0000189d: POP
0000189e: PUSH2 0x18a6
000018a1: DUP2
000018a2: PUSH2 0x1880
000018a5: JUMP
000018a6: JUMPDEST
000018a7: SWAP3
000018a8: SWAP2
000018a9: POP
000018aa: POP
000018ab: JUMP
000018ac: JUMPDEST
000018ad: PUSH1 0x00
000018af: DUP2
000018b0: SWAP1
000018b1: POP
000018b2: SWAP2
000018b3: SWAP1
000018b4: POP
000018b5: JUMP
000018b6: JUMPDEST
000018b7: PUSH2 0x18bf
000018ba: DUP2
000018bb: PUSH2 0x18ac
000018be: JUMP
000018bf: JUMPDEST
000018c0: DUP2
000018c1: EQ
000018c2: PUSH2 0x18ca
000018c5: JUMPI
000018c6: PUSH1 0x00
000018c8: DUP1
000018c9: REVERT
000018ca: JUMPDEST
000018cb: POP
000018cc: JUMP
000018cd: JUMPDEST
000018ce: PUSH1 0x00
000018d0: DUP2
000018d1: CALLDATALOAD
000018d2: SWAP1
000018d3: POP
000018d4: PUSH2 0x18dc
000018d7: DUP2
000018d8: PUSH2 0x18b6
000018db: JUMP
000018dc: JUMPDEST
000018dd: SWAP3
000018de: SWAP2
000018df: POP
000018e0: POP
000018e1: JUMP
000018e2: JUMPDEST
000018e3: PUSH1 0x00
000018e5: DUP1
000018e6: PUSH1 0x40
000018e8: DUP4
000018e9: DUP6
000018ea: SUB
000018eb: SLT
000018ec: ISZERO
000018ed: PUSH2 0x18f9
000018f0: JUMPI
000018f1: PUSH2 0x18f8
000018f4: PUSH2 0x1849
000018f7: JUMP
000018f8: JUMPDEST
000018f9: JUMPDEST
000018fa: PUSH1 0x00
000018fc: PUSH2 0x1907
000018ff: DUP6
00001900: DUP3
00001901: DUP7
00001902: ADD
00001903: PUSH2 0x1897
00001906: JUMP
00001907: JUMPDEST
00001908: SWAP3
00001909: POP
0000190a: POP
0000190b: PUSH1 0x20
0000190d: PUSH2 0x1918
00001910: DUP6
00001911: DUP3
00001912: DUP7
00001913: ADD
00001914: PUSH2 0x18cd
00001917: JUMP
00001918: JUMPDEST
00001919: SWAP2
0000191a: POP
0000191b: POP
0000191c: SWAP3
0000191d: POP
0000191e: SWAP3
0000191f: SWAP1
00001920: POP
00001921: JUMP
00001922: JUMPDEST
00001923: PUSH1 0x00
00001925: DUP2
00001926: ISZERO
00001927: ISZERO
00001928: SWAP1
00001929: POP
0000192a: SWAP2
0000192b: SWAP1
0000192c: POP
0000192d: JUMP
0000192e: JUMPDEST
0000192f: PUSH2 0x1937
00001932: DUP2
00001933: PUSH2 0x1922
00001936: JUMP
00001937: JUMPDEST
00001938: DUP3
00001939: MSTORE
0000193a: POP
0000193b: POP
0000193c: JUMP
0000193d: JUMPDEST
0000193e: PUSH1 0x00
00001940: PUSH1 0x20
00001942: DUP3
00001943: ADD
00001944: SWAP1
00001945: POP
00001946: PUSH2 0x1952
00001949: PUSH1 0x00
0000194b: DUP4
0000194c: ADD
0000194d: DUP5
0000194e: PUSH2 0x192e
00001951: JUMP
00001952: JUMPDEST
00001953: SWAP3
00001954: SWAP2
00001955: POP
00001956: POP
00001957: JUMP
00001958: JUMPDEST
00001959: PUSH2 0x1961
0000195c: DUP2
0000195d: PUSH2 0x18ac
00001960: JUMP
00001961: JUMPDEST
00001962: DUP3
00001963: MSTORE
00001964: POP
00001965: POP
00001966: JUMP
00001967: JUMPDEST
00001968: PUSH1 0x00
0000196a: PUSH1 0x20
0000196c: DUP3
0000196d: ADD
0000196e: SWAP1
0000196f: POP
00001970: PUSH2 0x197c
00001973: PUSH1 0x00
00001975: DUP4
00001976: ADD
00001977: DUP5
00001978: PUSH2 0x1958
0000197b: JUMP
0000197c: JUMPDEST
0000197d: SWAP3
0000197e: SWAP2
0000197f: POP
00001980: POP
00001981: JUMP
00001982: JUMPDEST
00001983: PUSH1 0x00
00001985: DUP1
00001986: PUSH1 0x00
00001988: PUSH1 0x60
0000198a: DUP5
0000198b: DUP7
0000198c: SUB
0000198d: SLT
0000198e: ISZERO
0000198f: PUSH2 0x199b
00001992: JUMPI
00001993: PUSH2 0x199a
00001996: PUSH2 0x1849
00001999: JUMP
0000199a: JUMPDEST
0000199b: JUMPDEST
0000199c: PUSH1 0x00
0000199e: PUSH2 0x19a9
000019a1: DUP7
000019a2: DUP3
000019a3: DUP8
000019a4: ADD
000019a5: PUSH2 0x1897
000019a8: JUMP
000019a9: JUMPDEST
000019aa: SWAP4
000019ab: POP
000019ac: POP
000019ad: PUSH1 0x20
000019af: PUSH2 0x19ba
000019b2: DUP7
000019b3: DUP3
000019b4: DUP8
000019b5: ADD
000019b6: PUSH2 0x1897
000019b9: JUMP
000019ba: JUMPDEST
000019bb: SWAP3
000019bc: POP
000019bd: POP
000019be: PUSH1 0x40
000019c0: PUSH2 0x19cb
000019c3: DUP7
000019c4: DUP3
000019c5: DUP8
000019c6: ADD
000019c7: PUSH2 0x18cd
000019ca: JUMP
000019cb: JUMPDEST
000019cc: SWAP2
000019cd: POP
000019ce: POP
000019cf: SWAP3
000019d0: POP
000019d1: SWAP3
000019d2: POP
000019d3: SWAP3
000019d4: JUMP
000019d5: JUMPDEST
000019d6: PUSH2 0x19de
000019d9: DUP2
000019da: PUSH2 0x186e
000019dd: JUMP
000019de: JUMPDEST
000019df: DUP3
000019e0: MSTORE
000019e1: POP
000019e2: POP
000019e3: JUMP
000019e4: JUMPDEST
000019e5: PUSH1 0x00
000019e7: PUSH1 0x20
000019e9: DUP3
000019ea: ADD
000019eb: SWAP1
000019ec: POP
000019ed: PUSH2 0x19f9
000019f0: PUSH1 0x00
000019f2: DUP4
000019f3: ADD
000019f4: DUP5
000019f5: PUSH2 0x19d5
000019f8: JUMP
000019f9: JUMPDEST
000019fa: SWAP3
000019fb: SWAP2
000019fc: POP
000019fd: POP
000019fe: JUMP
000019ff: JUMPDEST
00001a00: PUSH1 0x00
00001a02: PUSH1 0x20
00001a04: DUP3
00001a05: DUP5
00001a06: SUB
00001a07: SLT
00001a08: ISZERO
00001a09: PUSH2 0x1a15
00001a0c: JUMPI
00001a0d: PUSH2 0x1a14
00001a10: PUSH2 0x1849
00001a13: JUMP
00001a14: JUMPDEST
00001a15: JUMPDEST
00001a16: PUSH1 0x00
00001a18: PUSH2 0x1a23
00001a1b: DUP5
00001a1c: DUP3
00001a1d: DUP6
00001a1e: ADD
00001a1f: PUSH2 0x1897
00001a22: JUMP
00001a23: JUMPDEST
00001a24: SWAP2
00001a25: POP
00001a26: POP
00001a27: SWAP3
00001a28: SWAP2
00001a29: POP
00001a2a: POP
00001a2b: JUMP
00001a2c: JUMPDEST
00001a2d: PUSH1 0x00
00001a2f: DUP1
00001a30: PUSH1 0x40
00001a32: DUP4
00001a33: DUP6
00001a34: SUB
00001a35: SLT
00001a36: ISZERO
00001a37: PUSH2 0x1a43
00001a3a: JUMPI
00001a3b: PUSH2 0x1a42
00001a3e: PUSH2 0x1849
00001a41: JUMP
00001a42: JUMPDEST
00001a43: JUMPDEST
00001a44: PUSH1 0x00
00001a46: PUSH2 0x1a51
00001a49: DUP6
00001a4a: DUP3
00001a4b: DUP7
00001a4c: ADD
00001a4d: PUSH2 0x1897
00001a50: JUMP
00001a51: JUMPDEST
00001a52: SWAP3
00001a53: POP
00001a54: POP
00001a55: PUSH1 0x20
00001a57: PUSH2 0x1a62
00001a5a: DUP6
00001a5b: DUP3
00001a5c: DUP7
00001a5d: ADD
00001a5e: PUSH2 0x1897
00001a61: JUMP
00001a62: JUMPDEST
00001a63: SWAP2
00001a64: POP
00001a65: POP
00001a66: SWAP3
00001a67: POP
00001a68: SWAP3
00001a69: SWAP1
00001a6a: POP
00001a6b: JUMP
00001a6c: JUMPDEST
00001a6d: PUSH1 0x00
00001a6f: DUP2
00001a70: SWAP1
00001a71: POP
00001a72: SWAP2
00001a73: SWAP1
00001a74: POP
00001a75: JUMP
00001a76: JUMPDEST
00001a77: PUSH1 0x00
00001a79: PUSH2 0x1a91
00001a7c: PUSH2 0x1a8c
00001a7f: PUSH2 0x1a87
00001a82: DUP5
00001a83: PUSH2 0x184e
00001a86: JUMP
00001a87: JUMPDEST
00001a88: PUSH2 0x1a6c
00001a8b: JUMP
00001a8c: JUMPDEST
00001a8d: PUSH2 0x184e
00001a90: JUMP
00001a91: JUMPDEST
00001a92: SWAP1
00001a93: POP
00001a94: SWAP2
00001a95: SWAP1
00001a96: POP
00001a97: JUMP
00001a98: JUMPDEST
00001a99: PUSH1 0x00
00001a9b: PUSH2 0x1aa3
00001a9e: DUP3
00001a9f: PUSH2 0x1a76
00001aa2: JUMP
00001aa3: JUMPDEST
00001aa4: SWAP1
00001aa5: POP
00001aa6: SWAP2
00001aa7: SWAP1
00001aa8: POP
00001aa9: JUMP
00001aaa: JUMPDEST
00001aab: PUSH1 0x00
00001aad: PUSH2 0x1ab5
00001ab0: DUP3
00001ab1: PUSH2 0x1a98
00001ab4: JUMP
00001ab5: JUMPDEST
00001ab6: SWAP1
00001ab7: POP
00001ab8: SWAP2
00001ab9: SWAP1
00001aba: POP
00001abb: JUMP
00001abc: JUMPDEST
00001abd: PUSH2 0x1ac5
00001ac0: DUP2
00001ac1: PUSH2 0x1aaa
00001ac4: JUMP
00001ac5: JUMPDEST
00001ac6: DUP3
00001ac7: MSTORE
00001ac8: POP
00001ac9: POP
00001aca: JUMP
00001acb: JUMPDEST
00001acc: PUSH1 0x00
00001ace: PUSH1 0x20
00001ad0: DUP3
00001ad1: ADD
00001ad2: SWAP1
00001ad3: POP
00001ad4: PUSH2 0x1ae0
00001ad7: PUSH1 0x00
00001ad9: DUP4
00001ada: ADD
00001adb: DUP5
00001adc: PUSH2 0x1abc
00001adf: JUMP
00001ae0: JUMPDEST
00001ae1: SWAP3
00001ae2: SWAP2
00001ae3: POP
00001ae4: POP
00001ae5: JUMP
00001ae6: JUMPDEST
00001ae7: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001b08: PUSH1 0x00
00001b0a: MSTORE
00001b0b: PUSH1 0x22
00001b0d: PUSH1 0x04
00001b0f: MSTORE
00001b10: PUSH1 0x24
00001b12: PUSH1 0x00
00001b14: REVERT
00001b15: JUMPDEST
00001b16: PUSH1 0x00
00001b18: PUSH1 0x02
00001b1a: DUP3
00001b1b: DIV
00001b1c: SWAP1
00001b1d: POP
00001b1e: PUSH1 0x01
00001b20: DUP3
00001b21: AND
00001b22: DUP1
00001b23: PUSH2 0x1b2d
00001b26: JUMPI
00001b27: PUSH1 0x7f
00001b29: DUP3
00001b2a: AND
00001b2b: SWAP2
00001b2c: POP
00001b2d: JUMPDEST
00001b2e: PUSH1 0x20
00001b30: DUP3
00001b31: LT
00001b32: DUP2
00001b33: EQ
00001b34: ISZERO
00001b35: PUSH2 0x1b41
00001b38: JUMPI
00001b39: PUSH2 0x1b40
00001b3c: PUSH2 0x1ae6
00001b3f: JUMP
00001b40: JUMPDEST
00001b41: JUMPDEST
00001b42: POP
00001b43: SWAP2
00001b44: SWAP1
00001b45: POP
00001b46: JUMP
00001b47: JUMPDEST
00001b48: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001b69: PUSH1 0x00
00001b6b: MSTORE
00001b6c: PUSH1 0x11
00001b6e: PUSH1 0x04
00001b70: MSTORE
00001b71: PUSH1 0x24
00001b73: PUSH1 0x00
00001b75: REVERT
00001b76: JUMPDEST
00001b77: PUSH1 0x00
00001b79: PUSH2 0x1b81
00001b7c: DUP3
00001b7d: PUSH2 0x18ac
00001b80: JUMP
00001b81: JUMPDEST
00001b82: SWAP2
00001b83: POP
00001b84: PUSH2 0x1b8c
00001b87: DUP4
00001b88: PUSH2 0x18ac
00001b8b: JUMP
00001b8c: JUMPDEST
00001b8d: SWAP3
00001b8e: POP
00001b8f: DUP3
00001b90: DUP3
00001b91: LT
00001b92: ISZERO
00001b93: PUSH2 0x1b9f
00001b96: JUMPI
00001b97: PUSH2 0x1b9e
00001b9a: PUSH2 0x1b47
00001b9d: JUMP
00001b9e: JUMPDEST
00001b9f: JUMPDEST
00001ba0: DUP3
00001ba1: DUP3
00001ba2: SUB
00001ba3: SWAP1
00001ba4: POP
00001ba5: SWAP3
00001ba6: SWAP2
00001ba7: POP
00001ba8: POP
00001ba9: JUMP
00001baa: JUMPDEST
00001bab: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001bcc: PUSH1 0x00
00001bce: DUP3
00001bcf: ADD
00001bd0: MSTORE
00001bd1: POP
00001bd2: JUMP
00001bd3: JUMPDEST
00001bd4: PUSH1 0x00
00001bd6: PUSH2 0x1be0
00001bd9: PUSH1 0x20
00001bdb: DUP4
00001bdc: PUSH2 0x1799
00001bdf: JUMP
00001be0: JUMPDEST
00001be1: SWAP2
00001be2: POP
00001be3: PUSH2 0x1beb
00001be6: DUP3
00001be7: PUSH2 0x1baa
00001bea: JUMP
00001beb: JUMPDEST
00001bec: PUSH1 0x20
00001bee: DUP3
00001bef: ADD
00001bf0: SWAP1
00001bf1: POP
00001bf2: SWAP2
00001bf3: SWAP1
00001bf4: POP
00001bf5: JUMP
00001bf6: JUMPDEST
00001bf7: PUSH1 0x00
00001bf9: PUSH1 0x20
00001bfb: DUP3
00001bfc: ADD
00001bfd: SWAP1
00001bfe: POP
00001bff: DUP2
00001c00: DUP2
00001c01: SUB
00001c02: PUSH1 0x00
00001c04: DUP4
00001c05: ADD
00001c06: MSTORE
00001c07: PUSH2 0x1c0f
00001c0a: DUP2
00001c0b: PUSH2 0x1bd3
00001c0e: JUMP
00001c0f: JUMPDEST
00001c10: SWAP1
00001c11: POP
00001c12: SWAP2
00001c13: SWAP1
00001c14: POP
00001c15: JUMP
00001c16: JUMPDEST
00001c17: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00001c38: PUSH1 0x00
00001c3a: DUP3
00001c3b: ADD
00001c3c: MSTORE
00001c3d: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000
00001c5e: PUSH1 0x20
00001c60: DUP3
00001c61: ADD
00001c62: MSTORE
00001c63: POP
00001c64: JUMP
00001c65: JUMPDEST
00001c66: PUSH1 0x00
00001c68: PUSH2 0x1c72
00001c6b: PUSH1 0x26
00001c6d: DUP4
00001c6e: PUSH2 0x1799
00001c71: JUMP
00001c72: JUMPDEST
00001c73: SWAP2
00001c74: POP
00001c75: PUSH2 0x1c7d
00001c78: DUP3
00001c79: PUSH2 0x1c16
00001c7c: JUMP
00001c7d: JUMPDEST
00001c7e: PUSH1 0x40
00001c80: DUP3
00001c81: ADD
00001c82: SWAP1
00001c83: POP
00001c84: SWAP2
00001c85: SWAP1
00001c86: POP
00001c87: JUMP
00001c88: JUMPDEST
00001c89: PUSH1 0x00
00001c8b: PUSH1 0x20
00001c8d: DUP3
00001c8e: ADD
00001c8f: SWAP1
00001c90: POP
00001c91: DUP2
00001c92: DUP2
00001c93: SUB
00001c94: PUSH1 0x00
00001c96: DUP4
00001c97: ADD
00001c98: MSTORE
00001c99: PUSH2 0x1ca1
00001c9c: DUP2
00001c9d: PUSH2 0x1c65
00001ca0: JUMP
00001ca1: JUMPDEST
00001ca2: SWAP1
00001ca3: POP
00001ca4: SWAP2
00001ca5: SWAP1
00001ca6: POP
00001ca7: JUMP
00001ca8: JUMPDEST
00001ca9: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464
00001cca: PUSH1 0x00
00001ccc: DUP3
00001ccd: ADD
00001cce: MSTORE
00001ccf: PUSH32 0x7265737300000000000000000000000000000000000000000000000000000000
00001cf0: PUSH1 0x20
00001cf2: DUP3
00001cf3: ADD
00001cf4: MSTORE
00001cf5: POP
00001cf6: JUMP
00001cf7: JUMPDEST
00001cf8: PUSH1 0x00
00001cfa: PUSH2 0x1d04
00001cfd: PUSH1 0x24
00001cff: DUP4
00001d00: PUSH2 0x1799
00001d03: JUMP
00001d04: JUMPDEST
00001d05: SWAP2
00001d06: POP
00001d07: PUSH2 0x1d0f
00001d0a: DUP3
00001d0b: PUSH2 0x1ca8
00001d0e: JUMP
00001d0f: JUMPDEST
00001d10: PUSH1 0x40
00001d12: DUP3
00001d13: ADD
00001d14: SWAP1
00001d15: POP
00001d16: SWAP2
00001d17: SWAP1
00001d18: POP
00001d19: JUMP
00001d1a: JUMPDEST
00001d1b: PUSH1 0x00
00001d1d: PUSH1 0x20
00001d1f: DUP3
00001d20: ADD
00001d21: SWAP1
00001d22: POP
00001d23: DUP2
00001d24: DUP2
00001d25: SUB
00001d26: PUSH1 0x00
00001d28: DUP4
00001d29: ADD
00001d2a: MSTORE
00001d2b: PUSH2 0x1d33
00001d2e: DUP2
00001d2f: PUSH2 0x1cf7
00001d32: JUMP
00001d33: JUMPDEST
00001d34: SWAP1
00001d35: POP
00001d36: SWAP2
00001d37: SWAP1
00001d38: POP
00001d39: JUMP
00001d3a: JUMPDEST
00001d3b: PUSH1 0x00
00001d3d: PUSH2 0x1d45
00001d40: DUP3
00001d41: PUSH2 0x18ac
00001d44: JUMP
00001d45: JUMPDEST
00001d46: SWAP2
00001d47: POP
00001d48: PUSH2 0x1d50
00001d4b: DUP4
00001d4c: PUSH2 0x18ac
00001d4f: JUMP
00001d50: JUMPDEST
00001d51: SWAP3
00001d52: POP
00001d53: DUP3
00001d54: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001d75: SUB
00001d76: DUP3
00001d77: GT
00001d78: ISZERO
00001d79: PUSH2 0x1d85
00001d7c: JUMPI
00001d7d: PUSH2 0x1d84
00001d80: PUSH2 0x1b47
00001d83: JUMP
00001d84: JUMPDEST
00001d85: JUMPDEST
00001d86: DUP3
00001d87: DUP3
00001d88: ADD
00001d89: SWAP1
00001d8a: POP
00001d8b: SWAP3
00001d8c: SWAP2
00001d8d: POP
00001d8e: POP
00001d8f: JUMP
00001d90: JUMPDEST
00001d91: PUSH1 0x00
00001d93: PUSH2 0x1d9b
00001d96: DUP3
00001d97: PUSH2 0x18ac
00001d9a: JUMP
00001d9b: JUMPDEST
00001d9c: SWAP2
00001d9d: POP
00001d9e: PUSH2 0x1da6
00001da1: DUP4
00001da2: PUSH2 0x18ac
00001da5: JUMP
00001da6: JUMPDEST
00001da7: SWAP3
00001da8: POP
00001da9: DUP2
00001daa: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001dcb: DIV
00001dcc: DUP4
00001dcd: GT
00001dce: DUP3
00001dcf: ISZERO
00001dd0: ISZERO
00001dd1: AND
00001dd2: ISZERO
00001dd3: PUSH2 0x1ddf
00001dd6: JUMPI
00001dd7: PUSH2 0x1dde
00001dda: PUSH2 0x1b47
00001ddd: JUMP
00001dde: JUMPDEST
00001ddf: JUMPDEST
00001de0: DUP3
00001de1: DUP3
00001de2: MUL
00001de3: SWAP1
00001de4: POP
00001de5: SWAP3
00001de6: SWAP2
00001de7: POP
00001de8: POP
00001de9: JUMP
00001dea: JUMPDEST
00001deb: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001e0c: PUSH1 0x00
00001e0e: MSTORE
00001e0f: PUSH1 0x12
00001e11: PUSH1 0x04
00001e13: MSTORE
00001e14: PUSH1 0x24
00001e16: PUSH1 0x00
00001e18: REVERT
00001e19: JUMPDEST
00001e1a: PUSH1 0x00
00001e1c: PUSH2 0x1e24
00001e1f: DUP3
00001e20: PUSH2 0x18ac
00001e23: JUMP
00001e24: JUMPDEST
00001e25: SWAP2
00001e26: POP
00001e27: PUSH2 0x1e2f
00001e2a: DUP4
00001e2b: PUSH2 0x18ac
00001e2e: JUMP
00001e2f: JUMPDEST
00001e30: SWAP3
00001e31: POP
00001e32: DUP3
00001e33: PUSH2 0x1e3f
00001e36: JUMPI
00001e37: PUSH2 0x1e3e
00001e3a: PUSH2 0x1dea
00001e3d: JUMP
00001e3e: JUMPDEST
00001e3f: JUMPDEST
00001e40: DUP3
00001e41: DUP3
00001e42: DIV
00001e43: SWAP1
00001e44: POP
00001e45: SWAP3
00001e46: SWAP2
00001e47: POP
00001e48: POP
00001e49: JUMP
00001e4a: JUMPDEST
00001e4b: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001e6c: PUSH1 0x00
00001e6e: MSTORE
00001e6f: PUSH1 0x41
00001e71: PUSH1 0x04
00001e73: MSTORE
00001e74: PUSH1 0x24
00001e76: PUSH1 0x00
00001e78: REVERT
00001e79: JUMPDEST
00001e7a: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001e9b: PUSH1 0x00
00001e9d: MSTORE
00001e9e: PUSH1 0x32
00001ea0: PUSH1 0x04
00001ea2: MSTORE
00001ea3: PUSH1 0x24
00001ea5: PUSH1 0x00
00001ea7: REVERT
00001ea8: JUMPDEST
00001ea9: PUSH1 0x00
00001eab: DUP2
00001eac: MLOAD
00001ead: SWAP1
00001eae: POP
00001eaf: PUSH2 0x1eb7
00001eb2: DUP2
00001eb3: PUSH2 0x1880
00001eb6: JUMP
00001eb7: JUMPDEST
00001eb8: SWAP3
00001eb9: SWAP2
00001eba: POP
00001ebb: POP
00001ebc: JUMP
00001ebd: JUMPDEST
00001ebe: PUSH1 0x00
00001ec0: PUSH1 0x20
00001ec2: DUP3
00001ec3: DUP5
00001ec4: SUB
00001ec5: SLT
00001ec6: ISZERO
00001ec7: PUSH2 0x1ed3
00001eca: JUMPI
00001ecb: PUSH2 0x1ed2
00001ece: PUSH2 0x1849
00001ed1: JUMP
00001ed2: JUMPDEST
00001ed3: JUMPDEST
00001ed4: PUSH1 0x00
00001ed6: PUSH2 0x1ee1
00001ed9: DUP5
00001eda: DUP3
00001edb: DUP6
00001edc: ADD
00001edd: PUSH2 0x1ea8
00001ee0: JUMP
00001ee1: JUMPDEST
00001ee2: SWAP2
00001ee3: POP
00001ee4: POP
00001ee5: SWAP3
00001ee6: SWAP2
00001ee7: POP
00001ee8: POP
00001ee9: JUMP
00001eea: JUMPDEST
00001eeb: PUSH1 0x00
00001eed: DUP2
00001eee: SWAP1
00001eef: POP
00001ef0: SWAP2
00001ef1: SWAP1
00001ef2: POP
00001ef3: JUMP
00001ef4: JUMPDEST
00001ef5: PUSH1 0x00
00001ef7: PUSH2 0x1f0f
00001efa: PUSH2 0x1f0a
00001efd: PUSH2 0x1f05
00001f00: DUP5
00001f01: PUSH2 0x1eea
00001f04: JUMP
00001f05: JUMPDEST
00001f06: PUSH2 0x1a6c
00001f09: JUMP
00001f0a: JUMPDEST
00001f0b: PUSH2 0x18ac
00001f0e: JUMP
00001f0f: JUMPDEST
00001f10: SWAP1
00001f11: POP
00001f12: SWAP2
00001f13: SWAP1
00001f14: POP
00001f15: JUMP
00001f16: JUMPDEST
00001f17: PUSH2 0x1f1f
00001f1a: DUP2
00001f1b: PUSH2 0x1ef4
00001f1e: JUMP
00001f1f: JUMPDEST
00001f20: DUP3
00001f21: MSTORE
00001f22: POP
00001f23: POP
00001f24: JUMP
00001f25: JUMPDEST
00001f26: PUSH1 0x00
00001f28: DUP2
00001f29: MLOAD
00001f2a: SWAP1
00001f2b: POP
00001f2c: SWAP2
00001f2d: SWAP1
00001f2e: POP
00001f2f: JUMP
00001f30: JUMPDEST
00001f31: PUSH1 0x00
00001f33: DUP3
00001f34: DUP3
00001f35: MSTORE
00001f36: PUSH1 0x20
00001f38: DUP3
00001f39: ADD
00001f3a: SWAP1
00001f3b: POP
00001f3c: SWAP3
00001f3d: SWAP2
00001f3e: POP
00001f3f: POP
00001f40: JUMP
00001f41: JUMPDEST
00001f42: PUSH1 0x00
00001f44: DUP2
00001f45: SWAP1
00001f46: POP
00001f47: PUSH1 0x20
00001f49: DUP3
00001f4a: ADD
00001f4b: SWAP1
00001f4c: POP
00001f4d: SWAP2
00001f4e: SWAP1
00001f4f: POP
00001f50: JUMP
00001f51: JUMPDEST
00001f52: PUSH2 0x1f5a
00001f55: DUP2
00001f56: PUSH2 0x186e
00001f59: JUMP
00001f5a: JUMPDEST
00001f5b: DUP3
00001f5c: MSTORE
00001f5d: POP
00001f5e: POP
00001f5f: JUMP
00001f60: JUMPDEST
00001f61: PUSH1 0x00
00001f63: PUSH2 0x1f6c
00001f66: DUP4
00001f67: DUP4
00001f68: PUSH2 0x1f51
00001f6b: JUMP
00001f6c: JUMPDEST
00001f6d: PUSH1 0x20
00001f6f: DUP4
00001f70: ADD
00001f71: SWAP1
00001f72: POP
00001f73: SWAP3
00001f74: SWAP2
00001f75: POP
00001f76: POP
00001f77: JUMP
00001f78: JUMPDEST
00001f79: PUSH1 0x00
00001f7b: PUSH1 0x20
00001f7d: DUP3
00001f7e: ADD
00001f7f: SWAP1
00001f80: POP
00001f81: SWAP2
00001f82: SWAP1
00001f83: POP
00001f84: JUMP
00001f85: JUMPDEST
00001f86: PUSH1 0x00
00001f88: PUSH2 0x1f90
00001f8b: DUP3
00001f8c: PUSH2 0x1f25
00001f8f: JUMP
00001f90: JUMPDEST
00001f91: PUSH2 0x1f9a
00001f94: DUP2
00001f95: DUP6
00001f96: PUSH2 0x1f30
00001f99: JUMP
00001f9a: JUMPDEST
00001f9b: SWAP4
00001f9c: POP
00001f9d: PUSH2 0x1fa5
00001fa0: DUP4
00001fa1: PUSH2 0x1f41
00001fa4: JUMP
00001fa5: JUMPDEST
00001fa6: DUP1
00001fa7: PUSH1 0x00
00001fa9: JUMPDEST
00001faa: DUP4
00001fab: DUP2
00001fac: LT
00001fad: ISZERO
00001fae: PUSH2 0x1fd6
00001fb1: JUMPI
00001fb2: DUP2
00001fb3: MLOAD
00001fb4: PUSH2 0x1fbd
00001fb7: DUP9
00001fb8: DUP3
00001fb9: PUSH2 0x1f60
00001fbc: JUMP
00001fbd: JUMPDEST
00001fbe: SWAP8
00001fbf: POP
00001fc0: PUSH2 0x1fc8
00001fc3: DUP4
00001fc4: PUSH2 0x1f78
00001fc7: JUMP
00001fc8: JUMPDEST
00001fc9: SWAP3
00001fca: POP
00001fcb: POP
00001fcc: PUSH1 0x01
00001fce: DUP2
00001fcf: ADD
00001fd0: SWAP1
00001fd1: POP
00001fd2: PUSH2 0x1fa9
00001fd5: JUMP
00001fd6: JUMPDEST
00001fd7: POP
00001fd8: DUP6
00001fd9: SWAP4
00001fda: POP
00001fdb: POP
00001fdc: POP
00001fdd: POP
00001fde: SWAP3
00001fdf: SWAP2
00001fe0: POP
00001fe1: POP
00001fe2: JUMP
00001fe3: JUMPDEST
00001fe4: PUSH1 0x00
00001fe6: PUSH1 0xa0
00001fe8: DUP3
00001fe9: ADD
00001fea: SWAP1
00001feb: POP
00001fec: PUSH2 0x1ff8
00001fef: PUSH1 0x00
00001ff1: DUP4
00001ff2: ADD
00001ff3: DUP9
00001ff4: PUSH2 0x1958
00001ff7: JUMP
00001ff8: JUMPDEST
00001ff9: PUSH2 0x2005
00001ffc: PUSH1 0x20
00001ffe: DUP4
00001fff: ADD
00002000: DUP8
00002001: PUSH2 0x1f16
00002004: JUMP
00002005: JUMPDEST
00002006: DUP2
00002007: DUP2
00002008: SUB
00002009: PUSH1 0x40
0000200b: DUP4
0000200c: ADD
0000200d: MSTORE
0000200e: PUSH2 0x2017
00002011: DUP2
00002012: DUP7
00002013: PUSH2 0x1f85
00002016: JUMP
00002017: JUMPDEST
00002018: SWAP1
00002019: POP
0000201a: PUSH2 0x2026
0000201d: PUSH1 0x60
0000201f: DUP4
00002020: ADD
00002021: DUP6
00002022: PUSH2 0x19d5
00002025: JUMP
00002026: JUMPDEST
00002027: PUSH2 0x2033
0000202a: PUSH1 0x80
0000202c: DUP4
0000202d: ADD
0000202e: DUP5
0000202f: PUSH2 0x1958
00002032: JUMP
00002033: JUMPDEST
00002034: SWAP7
00002035: SWAP6
00002036: POP
00002037: POP
00002038: POP
00002039: POP
0000203a: POP
0000203b: POP
0000203c: JUMP
0000203d: JUMPDEST
0000203e: PUSH1 0x00
00002040: PUSH1 0xc0
00002042: DUP3
00002043: ADD
00002044: SWAP1
00002045: POP
00002046: PUSH2 0x2052
00002049: PUSH1 0x00
0000204b: DUP4
0000204c: ADD
0000204d: DUP10
0000204e: PUSH2 0x19d5
00002051: JUMP
00002052: JUMPDEST
00002053: PUSH2 0x205f
00002056: PUSH1 0x20
00002058: DUP4
00002059: ADD
0000205a: DUP9
0000205b: PUSH2 0x1958
0000205e: JUMP
0000205f: JUMPDEST
00002060: PUSH2 0x206c
00002063: PUSH1 0x40
00002065: DUP4
00002066: ADD
00002067: DUP8
00002068: PUSH2 0x1f16
0000206b: JUMP
0000206c: JUMPDEST
0000206d: PUSH2 0x2079
00002070: PUSH1 0x60
00002072: DUP4
00002073: ADD
00002074: DUP7
00002075: PUSH2 0x1f16
00002078: JUMP
00002079: JUMPDEST
0000207a: PUSH2 0x2086
0000207d: PUSH1 0x80
0000207f: DUP4
00002080: ADD
00002081: DUP6
00002082: PUSH2 0x19d5
00002085: JUMP
00002086: JUMPDEST
00002087: PUSH2 0x2093
0000208a: PUSH1 0xa0
0000208c: DUP4
0000208d: ADD
0000208e: DUP5
0000208f: PUSH2 0x1958
00002092: JUMP
00002093: JUMPDEST
00002094: SWAP8
00002095: SWAP7
00002096: POP
00002097: POP
00002098: POP
00002099: POP
0000209a: POP
0000209b: POP
0000209c: POP
0000209d: JUMP
0000209e: JUMPDEST
0000209f: PUSH1 0x00
000020a1: DUP2
000020a2: MLOAD
000020a3: SWAP1
000020a4: POP
000020a5: PUSH2 0x20ad
000020a8: DUP2
000020a9: PUSH2 0x18b6
000020ac: JUMP
000020ad: JUMPDEST
000020ae: SWAP3
000020af: SWAP2
000020b0: POP
000020b1: POP
000020b2: JUMP
000020b3: JUMPDEST
000020b4: PUSH1 0x00
000020b6: DUP1
000020b7: PUSH1 0x00
000020b9: PUSH1 0x60
000020bb: DUP5
000020bc: DUP7
000020bd: SUB
000020be: SLT
000020bf: ISZERO
000020c0: PUSH2 0x20cc
000020c3: JUMPI
000020c4: PUSH2 0x20cb
000020c7: PUSH2 0x1849
000020ca: JUMP
000020cb: JUMPDEST
000020cc: JUMPDEST
000020cd: PUSH1 0x00
000020cf: PUSH2 0x20da
000020d2: DUP7
000020d3: DUP3
000020d4: DUP8
000020d5: ADD
000020d6: PUSH2 0x209e
000020d9: JUMP
000020da: JUMPDEST
000020db: SWAP4
000020dc: POP
000020dd: POP
000020de: PUSH1 0x20
000020e0: PUSH2 0x20eb
000020e3: DUP7
000020e4: DUP3
000020e5: DUP8
000020e6: ADD
000020e7: PUSH2 0x209e
000020ea: JUMP
000020eb: JUMPDEST
000020ec: SWAP3
000020ed: POP
000020ee: POP
000020ef: PUSH1 0x40
000020f1: PUSH2 0x20fc
000020f4: DUP7
000020f5: DUP3
000020f6: DUP8
000020f7: ADD
000020f8: PUSH2 0x209e
000020fb: JUMP
000020fc: JUMPDEST
000020fd: SWAP2
000020fe: POP
000020ff: POP
00002100: SWAP3
00002101: POP
00002102: SWAP3
00002103: POP
00002104: SWAP3
00002105: JUMP
00002106: INVALID
00002107: LOG2
00002108: PUSH5 0x6970667358
0000210e: UNKNOWN(0x22)
0000210f: SLT
00002110: KECCAK256
00002111: UNKNOWN(0xB2)
00002112: UNKNOWN(0x2E)
00002113: UNKNOWN(0xA5)
00002114: PUSH27 0xb44d7328ddfa8b8771398c5254ea3935bb5a7548316147b36a1d1b
00002130: SWAP6
00002131: PUSH5 0x736f6c6343
00002137: STOP
00002138: ADDMOD
00002139: EXP
0000213a: STOP
0000213b: 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: 0x001a6623a2626a4a1ecfaee8006f55189dc5609e807523079cdb5cca086e9827
call_targets: 0xfce1e2eb34f301962e3d4f4f51bffda8ae1f1a23
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x001a6623a2626a4a1ecfaee8006f55189dc5609e807523079cdb5cca086e9827",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xfce1e2eb34f301962e3d4f4f51bffda8ae1f1a23"
    ],
    "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": "0xa9059cbb",
            "selector": "0xa9059cbb",
            "calldata_variants": [
                "0xa9059cbb",
                "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf887ea40",
            "selector": "0xf887ea40",
            "calldata_variants": [
                "0xf887ea40",
                "0xf887ea400000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x70a08231",
            "selector": "0x70a08231",
            "calldata_variants": [
                "0x70a08231",
                "0x70a082310000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x715018a6",
            "selector": "0x715018a6",
            "calldata_variants": [
                "0x715018a6",
                "0x715018a60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x95d89b41",
            "selector": "0x95d89b41",
            "calldata_variants": [
                "0x95d89b41",
                "0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 5784,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 5968,
            "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: 0x001a6623a2626a4a1ecfaee8006f55189dc5609e807523079cdb5cca086e9827
call_targets: 0xfce1e2eb34f301962e3d4f4f51bffda8ae1f1a23
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x001a6623a2626a4a1ecfaee8006f55189dc5609e807523079cdb5cca086e9827",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xfce1e2eb34f301962e3d4f4f51bffda8ae1f1a23"
    ],
    "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": "0xa9059cbb",
            "selector": "0xa9059cbb",
            "calldata_variants": [
                "0xa9059cbb",
                "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf887ea40",
            "selector": "0xf887ea40",
            "calldata_variants": [
                "0xf887ea40",
                "0xf887ea400000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x70a08231",
            "selector": "0x70a08231",
            "calldata_variants": [
                "0x70a08231",
                "0x70a082310000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x715018a6",
            "selector": "0x715018a6",
            "calldata_variants": [
                "0x715018a6",
                "0x715018a60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x95d89b41",
            "selector": "0x95d89b41",
            "calldata_variants": [
                "0x95d89b41",
                "0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 5784,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 5968,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 2,
    "guards_detected": []
}