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

019b477e-cbf4-7126-8387-7c5af54d5a29
complete
Chain ID
Address
0xb05fd8abd64e6421fde30d5db879a3dad54e251b
Block Number
—
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary
What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
back to vulns open contract
Confirmed
Validated
Source
Verified
Review Backing
Not yet
Best current signal
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
26779	artifact.fetch	complete	1 / 3	3 months ago
26780	tool.cast_disasm	complete	1 / 3	3 months ago
91529	analysis.bundle	complete	1 / 3	2 weeks ago
91530	capability.graph	complete	1 / 3	2 weeks ago
91531	detector.run	complete	1 / 3	2 weeks ago
91532	validation.fork	complete	1 / 3	2 weeks ago
Artifact

Runtime bytecode: available
Creation TX: —
Deployer: —
Proxy: no
Implementation:
—
Verified Source: yes
Slither

tool.slither
No slither job recorded yet.
Codex

report.consolidate
No codex job recorded yet.
Opcode Heuristics

tool.cast_disasm
Delegatecall
Selfdestruct
CREATE2
CALL-family (heavy)
EXT*/BALANCE
Total opcodes
9203
Flags
create_opcodes_present heavy_ext_balance_usage
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x026e
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x7a657d6c
00000019: GT
0000001a: PUSH2 0x014b
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x7a657d6c
00000024: EQ
00000025: PUSH2 0x061e
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0x81eaf99b
0000002f: EQ
00000030: PUSH2 0x063e
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0x8b83209b
0000003a: EQ
0000003b: PUSH2 0x0653
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0x8cb4a267
00000045: EQ
00000046: PUSH2 0x0673
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0x8da5cb5b
00000050: EQ
00000051: PUSH2 0x0693
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0x95d89b41
0000005b: EQ
0000005c: PUSH2 0x06a8
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0x9852595c
00000066: EQ
00000067: PUSH2 0x06bd
0000006a: JUMPI
0000006b: DUP1
0000006c: PUSH4 0x9c4dab52
00000071: EQ
00000072: PUSH2 0x06dd
00000075: JUMPI
00000076: DUP1
00000077: PUSH4 0xa035b1fe
0000007c: EQ
0000007d: PUSH2 0x06f3
00000080: JUMPI
00000081: DUP1
00000082: PUSH4 0xa22cb465
00000087: EQ
00000088: PUSH2 0x0708
0000008b: JUMPI
0000008c: DUP1
0000008d: PUSH4 0xad4f4c59
00000092: EQ
00000093: PUSH2 0x0728
00000096: JUMPI
00000097: DUP1
00000098: PUSH4 0xb1f64e76
0000009d: EQ
0000009e: PUSH2 0x0748
000000a1: JUMPI
000000a2: DUP1
000000a3: PUSH4 0xb88d4fde
000000a8: EQ
000000a9: PUSH2 0x0768
000000ac: JUMPI
000000ad: DUP1
000000ae: PUSH4 0xbfe2d8c8
000000b3: EQ
000000b4: PUSH2 0x0788
000000b7: JUMPI
000000b8: DUP1
000000b9: PUSH4 0xc87b56dd
000000be: EQ
000000bf: PUSH2 0x07a8
000000c2: JUMPI
000000c3: DUP1
000000c4: PUSH4 0xcb0a1e08
000000c9: EQ
000000ca: PUSH2 0x07c8
000000cd: JUMPI
000000ce: DUP1
000000cf: PUSH4 0xce7c2ac2
000000d4: EQ
000000d5: PUSH2 0x07e8
000000d8: JUMPI
000000d9: DUP1
000000da: PUSH4 0xd4a417e6
000000df: EQ
000000e0: PUSH2 0x081e
000000e3: JUMPI
000000e4: DUP1
000000e5: PUSH4 0xd79779b2
000000ea: EQ
000000eb: PUSH2 0x0834
000000ee: JUMPI
000000ef: DUP1
000000f0: PUSH4 0xda096851
000000f5: EQ
000000f6: PUSH2 0x0854
000000f9: JUMPI
000000fa: DUP1
000000fb: PUSH4 0xda41bfe1
00000100: EQ
00000101: PUSH2 0x0874
00000104: JUMPI
00000105: DUP1
00000106: PUSH4 0xe33b7de3
0000010b: EQ
0000010c: PUSH2 0x0887
0000010f: JUMPI
00000110: DUP1
00000111: PUSH4 0xe985e9c5
00000116: EQ
00000117: PUSH2 0x089c
0000011a: JUMPI
0000011b: DUP1
0000011c: PUSH4 0xf2fde38b
00000121: EQ
00000122: PUSH2 0x08e5
00000125: JUMPI
00000126: DUP1
00000127: PUSH4 0xfc0c546a
0000012c: EQ
0000012d: PUSH2 0x0905
00000130: JUMPI
00000131: DUP1
00000132: PUSH4 0xfe9d090f
00000137: EQ
00000138: PUSH2 0x0a02
0000013b: JUMPI
0000013c: DUP1
0000013d: PUSH4 0xffe630b5
00000142: EQ
00000143: PUSH2 0x0a22
00000146: JUMPI
00000147: PUSH1 0x00
00000149: DUP1
0000014a: REVERT
0000014b: JUMPDEST
0000014c: DUP1
0000014d: PUSH4 0x01ffc9a7
00000152: EQ
00000153: PUSH2 0x02b3
00000156: JUMPI
00000157: DUP1
00000158: PUSH4 0x06fdde03
0000015d: EQ
0000015e: PUSH2 0x02e8
00000161: JUMPI
00000162: DUP1
00000163: PUSH4 0x081812fc
00000168: EQ
00000169: PUSH2 0x030a
0000016c: JUMPI
0000016d: DUP1
0000016e: PUSH4 0x095ea7b3
00000173: EQ
00000174: PUSH2 0x0337
00000177: JUMPI
00000178: DUP1
00000179: PUSH4 0x0f7309e8
0000017e: EQ
0000017f: PUSH2 0x0359
00000182: JUMPI
00000183: DUP1
00000184: PUSH4 0x1204fe0c
00000189: EQ
0000018a: PUSH2 0x036e
0000018d: JUMPI
0000018e: DUP1
0000018f: PUSH4 0x15060530
00000194: EQ
00000195: PUSH2 0x0381
00000198: JUMPI
00000199: DUP1
0000019a: PUSH4 0x18160ddd
0000019f: EQ
000001a0: PUSH2 0x03a1
000001a3: JUMPI
000001a4: DUP1
000001a5: PUSH4 0x19165587
000001aa: EQ
000001ab: PUSH2 0x03c4
000001ae: JUMPI
000001af: DUP1
000001b0: PUSH4 0x1a2fac2d
000001b5: EQ
000001b6: PUSH2 0x03e4
000001b9: JUMPI
000001ba: DUP1
000001bb: PUSH4 0x1cdc802a
000001c0: EQ
000001c1: PUSH2 0x0404
000001c4: JUMPI
000001c5: DUP1
000001c6: PUSH4 0x21b97f20
000001cb: EQ
000001cc: PUSH2 0x0434
000001cf: JUMPI
000001d0: DUP1
000001d1: PUSH4 0x23b872dd
000001d6: EQ
000001d7: PUSH2 0x0454
000001da: JUMPI
000001db: DUP1
000001dc: PUSH4 0x2c8dbf1e
000001e1: EQ
000001e2: PUSH2 0x0474
000001e5: JUMPI
000001e6: DUP1
000001e7: PUSH4 0x30176e13
000001ec: EQ
000001ed: PUSH2 0x0494
000001f0: JUMPI
000001f1: DUP1
000001f2: PUSH4 0x38e21cce
000001f7: EQ
000001f8: PUSH2 0x04b4
000001fb: JUMPI
000001fc: DUP1
000001fd: PUSH4 0x3a98ef39
00000202: EQ
00000203: PUSH2 0x04f8
00000206: JUMPI
00000207: DUP1
00000208: PUSH4 0x406072a9
0000020d: EQ
0000020e: PUSH2 0x050d
00000211: JUMPI
00000212: DUP1
00000213: PUSH4 0x42842e0e
00000218: EQ
00000219: PUSH2 0x052d
0000021c: JUMPI
0000021d: DUP1
0000021e: PUSH4 0x48b75044
00000223: EQ
00000224: PUSH2 0x054d
00000227: JUMPI
00000228: DUP1
00000229: PUSH4 0x57b59350
0000022e: EQ
0000022f: PUSH2 0x056d
00000232: JUMPI
00000233: DUP1
00000234: PUSH4 0x5afefc09
00000239: EQ
0000023a: PUSH2 0x0583
0000023d: JUMPI
0000023e: DUP1
0000023f: PUSH4 0x6352211e
00000244: EQ
00000245: PUSH2 0x0598
00000248: JUMPI
00000249: DUP1
0000024a: PUSH4 0x70a08231
0000024f: EQ
00000250: PUSH2 0x05b8
00000253: JUMPI
00000254: DUP1
00000255: PUSH4 0x715018a6
0000025a: EQ
0000025b: PUSH2 0x05d8
0000025e: JUMPI
0000025f: DUP1
00000260: PUSH4 0x73b2e80e
00000265: EQ
00000266: PUSH2 0x05ed
00000269: JUMPI
0000026a: PUSH1 0x00
0000026c: DUP1
0000026d: REVERT
0000026e: JUMPDEST
0000026f: CALLDATASIZE
00000270: PUSH2 0x02ae
00000273: JUMPI
00000274: PUSH32 0x6ef95f06320e7a25a04a175ca677b7052bdd97131872c2192525a629f51be770
00000295: CALLER
00000296: CALLVALUE
00000297: PUSH1 0x40
00000299: MLOAD
0000029a: PUSH2 0x02a4
0000029d: SWAP3
0000029e: SWAP2
0000029f: SWAP1
000002a0: PUSH2 0x2b3d
000002a3: JUMP
000002a4: JUMPDEST
000002a5: PUSH1 0x40
000002a7: MLOAD
000002a8: DUP1
000002a9: SWAP2
000002aa: SUB
000002ab: SWAP1
000002ac: LOG1
000002ad: STOP
000002ae: JUMPDEST
000002af: PUSH1 0x00
000002b1: DUP1
000002b2: REVERT
000002b3: JUMPDEST
000002b4: CALLVALUE
000002b5: DUP1
000002b6: ISZERO
000002b7: PUSH2 0x02bf
000002ba: JUMPI
000002bb: PUSH1 0x00
000002bd: DUP1
000002be: REVERT
000002bf: JUMPDEST
000002c0: POP
000002c1: PUSH2 0x02d3
000002c4: PUSH2 0x02ce
000002c7: CALLDATASIZE
000002c8: PUSH1 0x04
000002ca: PUSH2 0x2b6c
000002cd: JUMP
000002ce: JUMPDEST
000002cf: PUSH2 0x0a42
000002d2: JUMP
000002d3: JUMPDEST
000002d4: PUSH1 0x40
000002d6: MLOAD
000002d7: SWAP1
000002d8: ISZERO
000002d9: ISZERO
000002da: DUP2
000002db: MSTORE
000002dc: PUSH1 0x20
000002de: ADD
000002df: JUMPDEST
000002e0: PUSH1 0x40
000002e2: MLOAD
000002e3: DUP1
000002e4: SWAP2
000002e5: SUB
000002e6: SWAP1
000002e7: RETURN
000002e8: JUMPDEST
000002e9: CALLVALUE
000002ea: DUP1
000002eb: ISZERO
000002ec: PUSH2 0x02f4
000002ef: JUMPI
000002f0: PUSH1 0x00
000002f2: DUP1
000002f3: REVERT
000002f4: JUMPDEST
000002f5: POP
000002f6: PUSH2 0x02fd
000002f9: PUSH2 0x0a94
000002fc: JUMP
000002fd: JUMPDEST
000002fe: PUSH1 0x40
00000300: MLOAD
00000301: PUSH2 0x02df
00000304: SWAP2
00000305: SWAP1
00000306: PUSH2 0x2bd9
00000309: JUMP
0000030a: JUMPDEST
0000030b: CALLVALUE
0000030c: DUP1
0000030d: ISZERO
0000030e: PUSH2 0x0316
00000311: JUMPI
00000312: PUSH1 0x00
00000314: DUP1
00000315: REVERT
00000316: JUMPDEST
00000317: POP
00000318: PUSH2 0x032a
0000031b: PUSH2 0x0325
0000031e: CALLDATASIZE
0000031f: PUSH1 0x04
00000321: PUSH2 0x2bec
00000324: JUMP
00000325: JUMPDEST
00000326: PUSH2 0x0b26
00000329: JUMP
0000032a: JUMPDEST
0000032b: PUSH1 0x40
0000032d: MLOAD
0000032e: PUSH2 0x02df
00000331: SWAP2
00000332: SWAP1
00000333: PUSH2 0x2c05
00000336: JUMP
00000337: JUMPDEST
00000338: CALLVALUE
00000339: DUP1
0000033a: ISZERO
0000033b: PUSH2 0x0343
0000033e: JUMPI
0000033f: PUSH1 0x00
00000341: DUP1
00000342: REVERT
00000343: JUMPDEST
00000344: POP
00000345: PUSH2 0x0357
00000348: PUSH2 0x0352
0000034b: CALLDATASIZE
0000034c: PUSH1 0x04
0000034e: PUSH2 0x2c2e
00000351: JUMP
00000352: JUMPDEST
00000353: PUSH2 0x0b6a
00000356: JUMP
00000357: JUMPDEST
00000358: STOP
00000359: JUMPDEST
0000035a: CALLVALUE
0000035b: DUP1
0000035c: ISZERO
0000035d: PUSH2 0x0365
00000360: JUMPI
00000361: PUSH1 0x00
00000363: DUP1
00000364: REVERT
00000365: JUMPDEST
00000366: POP
00000367: PUSH2 0x02fd
0000036a: PUSH2 0x0c3c
0000036d: JUMP
0000036e: JUMPDEST
0000036f: PUSH2 0x0357
00000372: PUSH2 0x037c
00000375: CALLDATASIZE
00000376: PUSH1 0x04
00000378: PUSH2 0x2c2e
0000037b: JUMP
0000037c: JUMPDEST
0000037d: PUSH2 0x0cca
00000380: JUMP
00000381: JUMPDEST
00000382: CALLVALUE
00000383: DUP1
00000384: ISZERO
00000385: PUSH2 0x038d
00000388: JUMPI
00000389: PUSH1 0x00
0000038b: DUP1
0000038c: REVERT
0000038d: JUMPDEST
0000038e: POP
0000038f: PUSH2 0x0357
00000392: PUSH2 0x039c
00000395: CALLDATASIZE
00000396: PUSH1 0x04
00000398: PUSH2 0x2c88
0000039b: JUMP
0000039c: JUMPDEST
0000039d: PUSH2 0x0de6
000003a0: JUMP
000003a1: JUMPDEST
000003a2: CALLVALUE
000003a3: DUP1
000003a4: ISZERO
000003a5: PUSH2 0x03ad
000003a8: JUMPI
000003a9: PUSH1 0x00
000003ab: DUP1
000003ac: REVERT
000003ad: JUMPDEST
000003ae: POP
000003af: PUSH2 0x03b6
000003b2: PUSH2 0x0f3d
000003b5: JUMP
000003b6: JUMPDEST
000003b7: PUSH1 0x40
000003b9: MLOAD
000003ba: SWAP1
000003bb: DUP2
000003bc: MSTORE
000003bd: PUSH1 0x20
000003bf: ADD
000003c0: PUSH2 0x02df
000003c3: JUMP
000003c4: JUMPDEST
000003c5: CALLVALUE
000003c6: DUP1
000003c7: ISZERO
000003c8: PUSH2 0x03d0
000003cb: JUMPI
000003cc: PUSH1 0x00
000003ce: DUP1
000003cf: REVERT
000003d0: JUMPDEST
000003d1: POP
000003d2: PUSH2 0x0357
000003d5: PUSH2 0x03df
000003d8: CALLDATASIZE
000003d9: PUSH1 0x04
000003db: PUSH2 0x2ced
000003de: JUMP
000003df: JUMPDEST
000003e0: PUSH2 0x0f4b
000003e3: JUMP
000003e4: JUMPDEST
000003e5: CALLVALUE
000003e6: DUP1
000003e7: ISZERO
000003e8: PUSH2 0x03f0
000003eb: JUMPI
000003ec: PUSH1 0x00
000003ee: DUP1
000003ef: REVERT
000003f0: JUMPDEST
000003f1: POP
000003f2: PUSH2 0x0357
000003f5: PUSH2 0x03ff
000003f8: CALLDATASIZE
000003f9: PUSH1 0x04
000003fb: PUSH2 0x2dc4
000003fe: JUMP
000003ff: JUMPDEST
00000400: PUSH2 0x105d
00000403: JUMP
00000404: JUMPDEST
00000405: CALLVALUE
00000406: DUP1
00000407: ISZERO
00000408: PUSH2 0x0410
0000040b: JUMPI
0000040c: PUSH1 0x00
0000040e: DUP1
0000040f: REVERT
00000410: JUMPDEST
00000411: POP
00000412: PUSH2 0x02d3
00000415: PUSH2 0x041f
00000418: CALLDATASIZE
00000419: PUSH1 0x04
0000041b: PUSH2 0x2ced
0000041e: JUMP
0000041f: JUMPDEST
00000420: PUSH1 0x10
00000422: PUSH1 0x20
00000424: MSTORE
00000425: PUSH1 0x00
00000427: SWAP1
00000428: DUP2
00000429: MSTORE
0000042a: PUSH1 0x40
0000042c: SWAP1
0000042d: KECCAK256
0000042e: SLOAD
0000042f: PUSH1 0xff
00000431: AND
00000432: DUP2
00000433: JUMP
00000434: JUMPDEST
00000435: CALLVALUE
00000436: DUP1
00000437: ISZERO
00000438: PUSH2 0x0440
0000043b: JUMPI
0000043c: PUSH1 0x00
0000043e: DUP1
0000043f: REVERT
00000440: JUMPDEST
00000441: POP
00000442: PUSH2 0x0357
00000445: PUSH2 0x044f
00000448: CALLDATASIZE
00000449: PUSH1 0x04
0000044b: PUSH2 0x2bec
0000044e: JUMP
0000044f: JUMPDEST
00000450: PUSH2 0x133a
00000453: JUMP
00000454: JUMPDEST
00000455: CALLVALUE
00000456: DUP1
00000457: ISZERO
00000458: PUSH2 0x0460
0000045b: JUMPI
0000045c: PUSH1 0x00
0000045e: DUP1
0000045f: REVERT
00000460: JUMPDEST
00000461: POP
00000462: PUSH2 0x0357
00000465: PUSH2 0x046f
00000468: CALLDATASIZE
00000469: PUSH1 0x04
0000046b: PUSH2 0x2e21
0000046e: JUMP
0000046f: JUMPDEST
00000470: PUSH2 0x136e
00000473: JUMP
00000474: JUMPDEST
00000475: CALLVALUE
00000476: DUP1
00000477: ISZERO
00000478: PUSH2 0x0480
0000047b: JUMPI
0000047c: PUSH1 0x00
0000047e: DUP1
0000047f: REVERT
00000480: JUMPDEST
00000481: POP
00000482: PUSH2 0x0357
00000485: PUSH2 0x048f
00000488: CALLDATASIZE
00000489: PUSH1 0x04
0000048b: PUSH2 0x2ced
0000048e: JUMP
0000048f: JUMPDEST
00000490: PUSH2 0x137e
00000493: JUMP
00000494: JUMPDEST
00000495: CALLVALUE
00000496: DUP1
00000497: ISZERO
00000498: PUSH2 0x04a0
0000049b: JUMPI
0000049c: PUSH1 0x00
0000049e: DUP1
0000049f: REVERT
000004a0: JUMPDEST
000004a1: POP
000004a2: PUSH2 0x0357
000004a5: PUSH2 0x04af
000004a8: CALLDATASIZE
000004a9: PUSH1 0x04
000004ab: PUSH2 0x2eb9
000004ae: JUMP
000004af: JUMPDEST
000004b0: PUSH2 0x13ce
000004b3: JUMP
000004b4: JUMPDEST
000004b5: CALLVALUE
000004b6: DUP1
000004b7: ISZERO
000004b8: PUSH2 0x04c0
000004bb: JUMPI
000004bc: PUSH1 0x00
000004be: DUP1
000004bf: REVERT
000004c0: JUMPDEST
000004c1: POP
000004c2: PUSH2 0x04e5
000004c5: PUSH2 0x04cf
000004c8: CALLDATASIZE
000004c9: PUSH1 0x04
000004cb: PUSH2 0x2ced
000004ce: JUMP
000004cf: JUMPDEST
000004d0: PUSH1 0x11
000004d2: PUSH1 0x20
000004d4: MSTORE
000004d5: PUSH1 0x00
000004d7: SWAP1
000004d8: DUP2
000004d9: MSTORE
000004da: PUSH1 0x40
000004dc: SWAP1
000004dd: KECCAK256
000004de: SLOAD
000004df: PUSH2 0xffff
000004e2: AND
000004e3: DUP2
000004e4: JUMP
000004e5: JUMPDEST
000004e6: PUSH1 0x40
000004e8: MLOAD
000004e9: PUSH2 0xffff
000004ec: SWAP1
000004ed: SWAP2
000004ee: AND
000004ef: DUP2
000004f0: MSTORE
000004f1: PUSH1 0x20
000004f3: ADD
000004f4: PUSH2 0x02df
000004f7: JUMP
000004f8: JUMPDEST
000004f9: CALLVALUE
000004fa: DUP1
000004fb: ISZERO
000004fc: PUSH2 0x0504
000004ff: JUMPI
00000500: PUSH1 0x00
00000502: DUP1
00000503: REVERT
00000504: JUMPDEST
00000505: POP
00000506: PUSH1 0x09
00000508: SLOAD
00000509: PUSH2 0x03b6
0000050c: JUMP
0000050d: JUMPDEST
0000050e: CALLVALUE
0000050f: DUP1
00000510: ISZERO
00000511: PUSH2 0x0519
00000514: JUMPI
00000515: PUSH1 0x00
00000517: DUP1
00000518: REVERT
00000519: JUMPDEST
0000051a: POP
0000051b: PUSH2 0x03b6
0000051e: PUSH2 0x0528
00000521: CALLDATASIZE
00000522: PUSH1 0x04
00000524: PUSH2 0x2f01
00000527: JUMP
00000528: JUMPDEST
00000529: PUSH2 0x1409
0000052c: JUMP
0000052d: JUMPDEST
0000052e: CALLVALUE
0000052f: DUP1
00000530: ISZERO
00000531: PUSH2 0x0539
00000534: JUMPI
00000535: PUSH1 0x00
00000537: DUP1
00000538: REVERT
00000539: JUMPDEST
0000053a: POP
0000053b: PUSH2 0x0357
0000053e: PUSH2 0x0548
00000541: CALLDATASIZE
00000542: PUSH1 0x04
00000544: PUSH2 0x2e21
00000547: JUMP
00000548: JUMPDEST
00000549: PUSH2 0x1434
0000054c: JUMP
0000054d: JUMPDEST
0000054e: CALLVALUE
0000054f: DUP1
00000550: ISZERO
00000551: PUSH2 0x0559
00000554: JUMPI
00000555: PUSH1 0x00
00000557: DUP1
00000558: REVERT
00000559: JUMPDEST
0000055a: POP
0000055b: PUSH2 0x0357
0000055e: PUSH2 0x0568
00000561: CALLDATASIZE
00000562: PUSH1 0x04
00000564: PUSH2 0x2f01
00000567: JUMP
00000568: JUMPDEST
00000569: PUSH2 0x144f
0000056c: JUMP
0000056d: JUMPDEST
0000056e: CALLVALUE
0000056f: DUP1
00000570: ISZERO
00000571: PUSH2 0x0579
00000574: JUMPI
00000575: PUSH1 0x00
00000577: DUP1
00000578: REVERT
00000579: JUMPDEST
0000057a: POP
0000057b: PUSH2 0x03b6
0000057e: PUSH1 0x17
00000580: SLOAD
00000581: DUP2
00000582: JUMP
00000583: JUMPDEST
00000584: CALLVALUE
00000585: DUP1
00000586: ISZERO
00000587: PUSH2 0x058f
0000058a: JUMPI
0000058b: PUSH1 0x00
0000058d: DUP1
0000058e: REVERT
0000058f: JUMPDEST
00000590: POP
00000591: PUSH2 0x03b6
00000594: PUSH2 0x15f9
00000597: JUMP
00000598: JUMPDEST
00000599: CALLVALUE
0000059a: DUP1
0000059b: ISZERO
0000059c: PUSH2 0x05a4
0000059f: JUMPI
000005a0: PUSH1 0x00
000005a2: DUP1
000005a3: REVERT
000005a4: JUMPDEST
000005a5: POP
000005a6: PUSH2 0x032a
000005a9: PUSH2 0x05b3
000005ac: CALLDATASIZE
000005ad: PUSH1 0x04
000005af: PUSH2 0x2bec
000005b2: JUMP
000005b3: JUMPDEST
000005b4: PUSH2 0x161d
000005b7: JUMP
000005b8: JUMPDEST
000005b9: CALLVALUE
000005ba: DUP1
000005bb: ISZERO
000005bc: PUSH2 0x05c4
000005bf: JUMPI
000005c0: PUSH1 0x00
000005c2: DUP1
000005c3: REVERT
000005c4: JUMPDEST
000005c5: POP
000005c6: PUSH2 0x03b6
000005c9: PUSH2 0x05d3
000005cc: CALLDATASIZE
000005cd: PUSH1 0x04
000005cf: PUSH2 0x2ced
000005d2: JUMP
000005d3: JUMPDEST
000005d4: PUSH2 0x1628
000005d7: JUMP
000005d8: JUMPDEST
000005d9: CALLVALUE
000005da: DUP1
000005db: ISZERO
000005dc: PUSH2 0x05e4
000005df: JUMPI
000005e0: PUSH1 0x00
000005e2: DUP1
000005e3: REVERT
000005e4: JUMPDEST
000005e5: POP
000005e6: PUSH2 0x0357
000005e9: PUSH2 0x1676
000005ec: JUMP
000005ed: JUMPDEST
000005ee: CALLVALUE
000005ef: DUP1
000005f0: ISZERO
000005f1: PUSH2 0x05f9
000005f4: JUMPI
000005f5: PUSH1 0x00
000005f7: DUP1
000005f8: REVERT
000005f9: JUMPDEST
000005fa: POP
000005fb: PUSH2 0x04e5
000005fe: PUSH2 0x0608
00000601: CALLDATASIZE
00000602: PUSH1 0x04
00000604: PUSH2 0x2ced
00000607: JUMP
00000608: JUMPDEST
00000609: PUSH1 0x12
0000060b: PUSH1 0x20
0000060d: MSTORE
0000060e: PUSH1 0x00
00000610: SWAP1
00000611: DUP2
00000612: MSTORE
00000613: PUSH1 0x40
00000615: SWAP1
00000616: KECCAK256
00000617: SLOAD
00000618: PUSH2 0xffff
0000061b: AND
0000061c: DUP2
0000061d: JUMP
0000061e: JUMPDEST
0000061f: CALLVALUE
00000620: DUP1
00000621: ISZERO
00000622: PUSH2 0x062a
00000625: JUMPI
00000626: PUSH1 0x00
00000628: DUP1
00000629: REVERT
0000062a: JUMPDEST
0000062b: POP
0000062c: PUSH2 0x0357
0000062f: PUSH2 0x0639
00000632: CALLDATASIZE
00000633: PUSH1 0x04
00000635: PUSH2 0x2ced
00000638: JUMP
00000639: JUMPDEST
0000063a: PUSH2 0x16b1
0000063d: JUMP
0000063e: JUMPDEST
0000063f: CALLVALUE
00000640: DUP1
00000641: ISZERO
00000642: PUSH2 0x064a
00000645: JUMPI
00000646: PUSH1 0x00
00000648: DUP1
00000649: REVERT
0000064a: JUMPDEST
0000064b: POP
0000064c: PUSH2 0x0357
0000064f: PUSH2 0x1704
00000652: JUMP
00000653: JUMPDEST
00000654: CALLVALUE
00000655: DUP1
00000656: ISZERO
00000657: PUSH2 0x065f
0000065a: JUMPI
0000065b: PUSH1 0x00
0000065d: DUP1
0000065e: REVERT
0000065f: JUMPDEST
00000660: POP
00000661: PUSH2 0x032a
00000664: PUSH2 0x066e
00000667: CALLDATASIZE
00000668: PUSH1 0x04
0000066a: PUSH2 0x2bec
0000066d: JUMP
0000066e: JUMPDEST
0000066f: PUSH2 0x1748
00000672: JUMP
00000673: JUMPDEST
00000674: CALLVALUE
00000675: DUP1
00000676: ISZERO
00000677: PUSH2 0x067f
0000067a: JUMPI
0000067b: PUSH1 0x00
0000067d: DUP1
0000067e: REVERT
0000067f: JUMPDEST
00000680: POP
00000681: PUSH2 0x0357
00000684: PUSH2 0x068e
00000687: CALLDATASIZE
00000688: PUSH1 0x04
0000068a: PUSH2 0x2bec
0000068d: JUMP
0000068e: JUMPDEST
0000068f: PUSH2 0x1778
00000692: JUMP
00000693: JUMPDEST
00000694: CALLVALUE
00000695: DUP1
00000696: ISZERO
00000697: PUSH2 0x069f
0000069a: JUMPI
0000069b: PUSH1 0x00
0000069d: DUP1
0000069e: REVERT
0000069f: JUMPDEST
000006a0: POP
000006a1: PUSH2 0x032a
000006a4: PUSH2 0x17ac
000006a7: JUMP
000006a8: JUMPDEST
000006a9: CALLVALUE
000006aa: DUP1
000006ab: ISZERO
000006ac: PUSH2 0x06b4
000006af: JUMPI
000006b0: PUSH1 0x00
000006b2: DUP1
000006b3: REVERT
000006b4: JUMPDEST
000006b5: POP
000006b6: PUSH2 0x02fd
000006b9: PUSH2 0x17bb
000006bc: JUMP
000006bd: JUMPDEST
000006be: CALLVALUE
000006bf: DUP1
000006c0: ISZERO
000006c1: PUSH2 0x06c9
000006c4: JUMPI
000006c5: PUSH1 0x00
000006c7: DUP1
000006c8: REVERT
000006c9: JUMPDEST
000006ca: POP
000006cb: PUSH2 0x03b6
000006ce: PUSH2 0x06d8
000006d1: CALLDATASIZE
000006d2: PUSH1 0x04
000006d4: PUSH2 0x2ced
000006d7: JUMP
000006d8: JUMPDEST
000006d9: PUSH2 0x17ca
000006dc: JUMP
000006dd: JUMPDEST
000006de: CALLVALUE
000006df: DUP1
000006e0: ISZERO
000006e1: PUSH2 0x06e9
000006e4: JUMPI
000006e5: PUSH1 0x00
000006e7: DUP1
000006e8: REVERT
000006e9: JUMPDEST
000006ea: POP
000006eb: PUSH2 0x03b6
000006ee: PUSH1 0x14
000006f0: SLOAD
000006f1: DUP2
000006f2: JUMP
000006f3: JUMPDEST
000006f4: CALLVALUE
000006f5: DUP1
000006f6: ISZERO
000006f7: PUSH2 0x06ff
000006fa: JUMPI
000006fb: PUSH1 0x00
000006fd: DUP1
000006fe: REVERT
000006ff: JUMPDEST
00000700: POP
00000701: PUSH2 0x03b6
00000704: PUSH2 0x17e5
00000707: JUMP
00000708: JUMPDEST
00000709: CALLVALUE
0000070a: DUP1
0000070b: ISZERO
0000070c: PUSH2 0x0714
0000070f: JUMPI
00000710: PUSH1 0x00
00000712: DUP1
00000713: REVERT
00000714: JUMPDEST
00000715: POP
00000716: PUSH2 0x0357
00000719: PUSH2 0x0723
0000071c: CALLDATASIZE
0000071d: PUSH1 0x04
0000071f: PUSH2 0x2f48
00000722: JUMP
00000723: JUMPDEST
00000724: PUSH2 0x1833
00000727: JUMP
00000728: JUMPDEST
00000729: CALLVALUE
0000072a: DUP1
0000072b: ISZERO
0000072c: PUSH2 0x0734
0000072f: JUMPI
00000730: PUSH1 0x00
00000732: DUP1
00000733: REVERT
00000734: JUMPDEST
00000735: POP
00000736: PUSH2 0x0357
00000739: PUSH2 0x0743
0000073c: CALLDATASIZE
0000073d: PUSH1 0x04
0000073f: PUSH2 0x2f76
00000742: JUMP
00000743: JUMPDEST
00000744: PUSH2 0x18c8
00000747: JUMP
00000748: JUMPDEST
00000749: CALLVALUE
0000074a: DUP1
0000074b: ISZERO
0000074c: PUSH2 0x0754
0000074f: JUMPI
00000750: PUSH1 0x00
00000752: DUP1
00000753: REVERT
00000754: JUMPDEST
00000755: POP
00000756: PUSH2 0x0357
00000759: PUSH2 0x0763
0000075c: CALLDATASIZE
0000075d: PUSH1 0x04
0000075f: PUSH2 0x2fbc
00000762: JUMP
00000763: JUMPDEST
00000764: PUSH2 0x1941
00000767: JUMP
00000768: JUMPDEST
00000769: CALLVALUE
0000076a: DUP1
0000076b: ISZERO
0000076c: PUSH2 0x0774
0000076f: JUMPI
00000770: PUSH1 0x00
00000772: DUP1
00000773: REVERT
00000774: JUMPDEST
00000775: POP
00000776: PUSH2 0x0357
00000779: PUSH2 0x0783
0000077c: CALLDATASIZE
0000077d: PUSH1 0x04
0000077f: PUSH2 0x3003
00000782: JUMP
00000783: JUMPDEST
00000784: PUSH2 0x1a6e
00000787: JUMP
00000788: JUMPDEST
00000789: CALLVALUE
0000078a: DUP1
0000078b: ISZERO
0000078c: PUSH2 0x0794
0000078f: JUMPI
00000790: PUSH1 0x00
00000792: DUP1
00000793: REVERT
00000794: JUMPDEST
00000795: POP
00000796: PUSH1 0x18
00000798: SLOAD
00000799: PUSH2 0x032a
0000079c: SWAP1
0000079d: PUSH1 0x01
0000079f: PUSH1 0x01
000007a1: PUSH1 0xa0
000007a3: SHL
000007a4: SUB
000007a5: AND
000007a6: DUP2
000007a7: JUMP
000007a8: JUMPDEST
000007a9: CALLVALUE
000007aa: DUP1
000007ab: ISZERO
000007ac: PUSH2 0x07b4
000007af: JUMPI
000007b0: PUSH1 0x00
000007b2: DUP1
000007b3: REVERT
000007b4: JUMPDEST
000007b5: POP
000007b6: PUSH2 0x02fd
000007b9: PUSH2 0x07c3
000007bc: CALLDATASIZE
000007bd: PUSH1 0x04
000007bf: PUSH2 0x2bec
000007c2: JUMP
000007c3: JUMPDEST
000007c4: PUSH2 0x1ab2
000007c7: JUMP
000007c8: JUMPDEST
000007c9: CALLVALUE
000007ca: DUP1
000007cb: ISZERO
000007cc: PUSH2 0x07d4
000007cf: JUMPI
000007d0: PUSH1 0x00
000007d2: DUP1
000007d3: REVERT
000007d4: JUMPDEST
000007d5: POP
000007d6: PUSH2 0x0357
000007d9: PUSH2 0x07e3
000007dc: CALLDATASIZE
000007dd: PUSH1 0x04
000007df: PUSH2 0x3082
000007e2: JUMP
000007e3: JUMPDEST
000007e4: PUSH2 0x1ae6
000007e7: JUMP
000007e8: JUMPDEST
000007e9: CALLVALUE
000007ea: DUP1
000007eb: ISZERO
000007ec: PUSH2 0x07f4
000007ef: JUMPI
000007f0: PUSH1 0x00
000007f2: DUP1
000007f3: REVERT
000007f4: JUMPDEST
000007f5: POP
000007f6: PUSH2 0x03b6
000007f9: PUSH2 0x0803
000007fc: CALLDATASIZE
000007fd: PUSH1 0x04
000007ff: PUSH2 0x2ced
00000802: JUMP
00000803: JUMPDEST
00000804: PUSH1 0x01
00000806: PUSH1 0x01
00000808: PUSH1 0xa0
0000080a: SHL
0000080b: SUB
0000080c: AND
0000080d: PUSH1 0x00
0000080f: SWAP1
00000810: DUP2
00000811: MSTORE
00000812: PUSH1 0x0b
00000814: PUSH1 0x20
00000816: MSTORE
00000817: PUSH1 0x40
00000819: SWAP1
0000081a: KECCAK256
0000081b: SLOAD
0000081c: SWAP1
0000081d: JUMP
0000081e: JUMPDEST
0000081f: CALLVALUE
00000820: DUP1
00000821: ISZERO
00000822: PUSH2 0x082a
00000825: JUMPI
00000826: PUSH1 0x00
00000828: DUP1
00000829: REVERT
0000082a: JUMPDEST
0000082b: POP
0000082c: PUSH2 0x03b6
0000082f: PUSH1 0x13
00000831: SLOAD
00000832: DUP2
00000833: JUMP
00000834: JUMPDEST
00000835: CALLVALUE
00000836: DUP1
00000837: ISZERO
00000838: PUSH2 0x0840
0000083b: JUMPI
0000083c: PUSH1 0x00
0000083e: DUP1
0000083f: REVERT
00000840: JUMPDEST
00000841: POP
00000842: PUSH2 0x03b6
00000845: PUSH2 0x084f
00000848: CALLDATASIZE
00000849: PUSH1 0x04
0000084b: PUSH2 0x2ced
0000084e: JUMP
0000084f: JUMPDEST
00000850: PUSH2 0x1b47
00000853: JUMP
00000854: JUMPDEST
00000855: CALLVALUE
00000856: DUP1
00000857: ISZERO
00000858: PUSH2 0x0860
0000085b: JUMPI
0000085c: PUSH1 0x00
0000085e: DUP1
0000085f: REVERT
00000860: JUMPDEST
00000861: POP
00000862: PUSH2 0x02fd
00000865: PUSH2 0x086f
00000868: CALLDATASIZE
00000869: PUSH1 0x04
0000086b: PUSH2 0x2c2e
0000086e: JUMP
0000086f: JUMPDEST
00000870: PUSH2 0x1b62
00000873: JUMP
00000874: JUMPDEST
00000875: PUSH2 0x0357
00000878: PUSH2 0x0882
0000087b: CALLDATASIZE
0000087c: PUSH1 0x04
0000087e: PUSH2 0x30a7
00000881: JUMP
00000882: JUMPDEST
00000883: PUSH2 0x1c3c
00000886: JUMP
00000887: JUMPDEST
00000888: CALLVALUE
00000889: DUP1
0000088a: ISZERO
0000088b: PUSH2 0x0893
0000088e: JUMPI
0000088f: PUSH1 0x00
00000891: DUP1
00000892: REVERT
00000893: JUMPDEST
00000894: POP
00000895: PUSH1 0x0a
00000897: SLOAD
00000898: PUSH2 0x03b6
0000089b: JUMP
0000089c: JUMPDEST
0000089d: CALLVALUE
0000089e: DUP1
0000089f: ISZERO
000008a0: PUSH2 0x08a8
000008a3: JUMPI
000008a4: PUSH1 0x00
000008a6: DUP1
000008a7: REVERT
000008a8: JUMPDEST
000008a9: POP
000008aa: PUSH2 0x02d3
000008ad: PUSH2 0x08b7
000008b0: CALLDATASIZE
000008b1: PUSH1 0x04
000008b3: PUSH2 0x2f01
000008b6: JUMP
000008b7: JUMPDEST
000008b8: PUSH1 0x01
000008ba: PUSH1 0x01
000008bc: PUSH1 0xa0
000008be: SHL
000008bf: SUB
000008c0: SWAP2
000008c1: DUP3
000008c2: AND
000008c3: PUSH1 0x00
000008c5: SWAP1
000008c6: DUP2
000008c7: MSTORE
000008c8: PUSH1 0x07
000008ca: PUSH1 0x20
000008cc: SWAP1
000008cd: DUP2
000008ce: MSTORE
000008cf: PUSH1 0x40
000008d1: DUP1
000008d2: DUP4
000008d3: KECCAK256
000008d4: SWAP4
000008d5: SWAP1
000008d6: SWAP5
000008d7: AND
000008d8: DUP3
000008d9: MSTORE
000008da: SWAP2
000008db: SWAP1
000008dc: SWAP2
000008dd: MSTORE
000008de: KECCAK256
000008df: SLOAD
000008e0: PUSH1 0xff
000008e2: AND
000008e3: SWAP1
000008e4: JUMP
000008e5: JUMPDEST
000008e6: CALLVALUE
000008e7: DUP1
000008e8: ISZERO
000008e9: PUSH2 0x08f1
000008ec: JUMPI
000008ed: PUSH1 0x00
000008ef: DUP1
000008f0: REVERT
000008f1: JUMPDEST
000008f2: POP
000008f3: PUSH2 0x0357
000008f6: PUSH2 0x0900
000008f9: CALLDATASIZE
000008fa: PUSH1 0x04
000008fc: PUSH2 0x2ced
000008ff: JUMP
00000900: JUMPDEST
00000901: PUSH2 0x1f4e
00000904: JUMP
00000905: JUMPDEST
00000906: CALLVALUE
00000907: DUP1
00000908: ISZERO
00000909: PUSH2 0x0911
0000090c: JUMPI
0000090d: PUSH1 0x00
0000090f: DUP1
00000910: REVERT
00000911: JUMPDEST
00000912: POP
00000913: PUSH1 0x15
00000915: SLOAD
00000916: PUSH2 0x098e
00000919: SWAP1
0000091a: PUSH2 0xffff
0000091d: DUP1
0000091e: DUP3
0000091f: AND
00000920: SWAP2
00000921: PUSH3 0x010000
00000925: DUP2
00000926: DIV
00000927: DUP3
00000928: AND
00000929: SWAP2
0000092a: PUSH1 0x01
0000092c: PUSH1 0x20
0000092e: SHL
0000092f: DUP3
00000930: DIV
00000931: AND
00000932: SWAP1
00000933: PUSH1 0x01
00000935: PUSH1 0x01
00000937: PUSH1 0x48
00000939: SHL
0000093a: SUB
0000093b: PUSH1 0x01
0000093d: PUSH1 0x30
0000093f: SHL
00000940: DUP3
00000941: DIV
00000942: DUP2
00000943: AND
00000944: SWAP2
00000945: PUSH1 0x01
00000947: PUSH1 0x78
00000949: SHL
0000094a: DUP2
0000094b: DIV
0000094c: SWAP1
0000094d: SWAP2
0000094e: AND
0000094f: SWAP1
00000950: PUSH1 0xff
00000952: PUSH1 0x01
00000954: PUSH1 0xc0
00000956: SHL
00000957: DUP3
00000958: DIV
00000959: DUP2
0000095a: AND
0000095b: SWAP2
0000095c: PUSH1 0x01
0000095e: PUSH1 0xc8
00000960: SHL
00000961: DUP2
00000962: DIV
00000963: DUP3
00000964: AND
00000965: SWAP2
00000966: PUSH1 0x01
00000968: PUSH1 0xd0
0000096a: SHL
0000096b: DUP3
0000096c: DIV
0000096d: DUP2
0000096e: AND
0000096f: SWAP2
00000970: PUSH1 0x01
00000972: PUSH1 0xd8
00000974: SHL
00000975: DUP2
00000976: DIV
00000977: DUP3
00000978: AND
00000979: SWAP2
0000097a: PUSH1 0x01
0000097c: PUSH1 0xe0
0000097e: SHL
0000097f: DUP3
00000980: DIV
00000981: DUP2
00000982: AND
00000983: SWAP2
00000984: PUSH1 0x01
00000986: PUSH1 0xe8
00000988: SHL
00000989: SWAP1
0000098a: DIV
0000098b: AND
0000098c: DUP12
0000098d: JUMP
0000098e: JUMPDEST
0000098f: PUSH1 0x40
00000991: DUP1
00000992: MLOAD
00000993: PUSH2 0xffff
00000996: SWAP13
00000997: DUP14
00000998: AND
00000999: DUP2
0000099a: MSTORE
0000099b: SWAP11
0000099c: DUP13
0000099d: AND
0000099e: PUSH1 0x20
000009a0: DUP13
000009a1: ADD
000009a2: MSTORE
000009a3: SWAP11
000009a4: SWAP1
000009a5: SWAP9
000009a6: AND
000009a7: SWAP10
000009a8: DUP10
000009a9: ADD
000009aa: SWAP10
000009ab: SWAP1
000009ac: SWAP10
000009ad: MSTORE
000009ae: PUSH1 0x01
000009b0: PUSH1 0x01
000009b2: PUSH1 0x48
000009b4: SHL
000009b5: SUB
000009b6: SWAP6
000009b7: DUP7
000009b8: AND
000009b9: PUSH1 0x60
000009bb: DUP10
000009bc: ADD
000009bd: MSTORE
000009be: SWAP5
000009bf: SWAP1
000009c0: SWAP4
000009c1: AND
000009c2: PUSH1 0x80
000009c4: DUP8
000009c5: ADD
000009c6: MSTORE
000009c7: SWAP1
000009c8: ISZERO
000009c9: ISZERO
000009ca: PUSH1 0xa0
000009cc: DUP7
000009cd: ADD
000009ce: MSTORE
000009cf: ISZERO
000009d0: ISZERO
000009d1: PUSH1 0xc0
000009d3: DUP6
000009d4: ADD
000009d5: MSTORE
000009d6: ISZERO
000009d7: ISZERO
000009d8: PUSH1 0xe0
000009da: DUP5
000009db: ADD
000009dc: MSTORE
000009dd: ISZERO
000009de: ISZERO
000009df: PUSH2 0x0100
000009e2: DUP4
000009e3: ADD
000009e4: MSTORE
000009e5: PUSH1 0xff
000009e7: SWAP3
000009e8: DUP4
000009e9: AND
000009ea: PUSH2 0x0120
000009ed: DUP4
000009ee: ADD
000009ef: MSTORE
000009f0: SWAP2
000009f1: SWAP1
000009f2: SWAP2
000009f3: AND
000009f4: PUSH2 0x0140
000009f7: DUP3
000009f8: ADD
000009f9: MSTORE
000009fa: PUSH2 0x0160
000009fd: ADD
000009fe: PUSH2 0x02df
00000a01: JUMP
00000a02: JUMPDEST
00000a03: CALLVALUE
00000a04: DUP1
00000a05: ISZERO
00000a06: PUSH2 0x0a0e
00000a09: JUMPI
00000a0a: PUSH1 0x00
00000a0c: DUP1
00000a0d: REVERT
00000a0e: JUMPDEST
00000a0f: POP
00000a10: PUSH2 0x0357
00000a13: PUSH2 0x0a1d
00000a16: CALLDATASIZE
00000a17: PUSH1 0x04
00000a19: PUSH2 0x30f4
00000a1c: JUMP
00000a1d: JUMPDEST
00000a1e: PUSH2 0x1fee
00000a21: JUMP
00000a22: JUMPDEST
00000a23: CALLVALUE
00000a24: DUP1
00000a25: ISZERO
00000a26: PUSH2 0x0a2e
00000a29: JUMPI
00000a2a: PUSH1 0x00
00000a2c: DUP1
00000a2d: REVERT
00000a2e: JUMPDEST
00000a2f: POP
00000a30: PUSH2 0x0357
00000a33: PUSH2 0x0a3d
00000a36: CALLDATASIZE
00000a37: PUSH1 0x04
00000a39: PUSH2 0x2eb9
00000a3c: JUMP
00000a3d: JUMPDEST
00000a3e: PUSH2 0x20fb
00000a41: JUMP
00000a42: JUMPDEST
00000a43: PUSH1 0x00
00000a45: PUSH4 0x01ffc9a7
00000a4a: PUSH1 0xe0
00000a4c: SHL
00000a4d: PUSH1 0x01
00000a4f: PUSH1 0x01
00000a51: PUSH1 0xe0
00000a53: SHL
00000a54: SUB
00000a55: NOT
00000a56: DUP4
00000a57: AND
00000a58: EQ
00000a59: DUP1
00000a5a: PUSH2 0x0a73
00000a5d: JUMPI
00000a5e: POP
00000a5f: PUSH4 0x80ac58cd
00000a64: PUSH1 0xe0
00000a66: SHL
00000a67: PUSH1 0x01
00000a69: PUSH1 0x01
00000a6b: PUSH1 0xe0
00000a6d: SHL
00000a6e: SUB
00000a6f: NOT
00000a70: DUP4
00000a71: AND
00000a72: EQ
00000a73: JUMPDEST
00000a74: DUP1
00000a75: PUSH2 0x0a8e
00000a78: JUMPI
00000a79: POP
00000a7a: PUSH4 0x5b5e139f
00000a7f: PUSH1 0xe0
00000a81: SHL
00000a82: PUSH1 0x01
00000a84: PUSH1 0x01
00000a86: PUSH1 0xe0
00000a88: SHL
00000a89: SUB
00000a8a: NOT
00000a8b: DUP4
00000a8c: AND
00000a8d: EQ
00000a8e: JUMPDEST
00000a8f: SWAP3
00000a90: SWAP2
00000a91: POP
00000a92: POP
00000a93: JUMP
00000a94: JUMPDEST
00000a95: PUSH1 0x60
00000a97: PUSH1 0x02
00000a99: DUP1
00000a9a: SLOAD
00000a9b: PUSH2 0x0aa3
00000a9e: SWAP1
00000a9f: PUSH2 0x3120
00000aa2: JUMP
00000aa3: JUMPDEST
00000aa4: DUP1
00000aa5: PUSH1 0x1f
00000aa7: ADD
00000aa8: PUSH1 0x20
00000aaa: DUP1
00000aab: SWAP2
00000aac: DIV
00000aad: MUL
00000aae: PUSH1 0x20
00000ab0: ADD
00000ab1: PUSH1 0x40
00000ab3: MLOAD
00000ab4: SWAP1
00000ab5: DUP2
00000ab6: ADD
00000ab7: PUSH1 0x40
00000ab9: MSTORE
00000aba: DUP1
00000abb: SWAP3
00000abc: SWAP2
00000abd: SWAP1
00000abe: DUP2
00000abf: DUP2
00000ac0: MSTORE
00000ac1: PUSH1 0x20
00000ac3: ADD
00000ac4: DUP3
00000ac5: DUP1
00000ac6: SLOAD
00000ac7: PUSH2 0x0acf
00000aca: SWAP1
00000acb: PUSH2 0x3120
00000ace: JUMP
00000acf: JUMPDEST
00000ad0: DUP1
00000ad1: ISZERO
00000ad2: PUSH2 0x0b1c
00000ad5: JUMPI
00000ad6: DUP1
00000ad7: PUSH1 0x1f
00000ad9: LT
00000ada: PUSH2 0x0af1
00000add: JUMPI
00000ade: PUSH2 0x0100
00000ae1: DUP1
00000ae2: DUP4
00000ae3: SLOAD
00000ae4: DIV
00000ae5: MUL
00000ae6: DUP4
00000ae7: MSTORE
00000ae8: SWAP2
00000ae9: PUSH1 0x20
00000aeb: ADD
00000aec: SWAP2
00000aed: PUSH2 0x0b1c
00000af0: JUMP
00000af1: JUMPDEST
00000af2: DUP3
00000af3: ADD
00000af4: SWAP2
00000af5: SWAP1
00000af6: PUSH1 0x00
00000af8: MSTORE
00000af9: PUSH1 0x20
00000afb: PUSH1 0x00
00000afd: KECCAK256
00000afe: SWAP1
00000aff: JUMPDEST
00000b00: DUP2
00000b01: SLOAD
00000b02: DUP2
00000b03: MSTORE
00000b04: SWAP1
00000b05: PUSH1 0x01
00000b07: ADD
00000b08: SWAP1
00000b09: PUSH1 0x20
00000b0b: ADD
00000b0c: DUP1
00000b0d: DUP4
00000b0e: GT
00000b0f: PUSH2 0x0aff
00000b12: JUMPI
00000b13: DUP3
00000b14: SWAP1
00000b15: SUB
00000b16: PUSH1 0x1f
00000b18: AND
00000b19: DUP3
00000b1a: ADD
00000b1b: SWAP2
00000b1c: JUMPDEST
00000b1d: POP
00000b1e: POP
00000b1f: POP
00000b20: POP
00000b21: POP
00000b22: SWAP1
00000b23: POP
00000b24: SWAP1
00000b25: JUMP
00000b26: JUMPDEST
00000b27: PUSH1 0x00
00000b29: PUSH2 0x0b31
00000b2c: DUP3
00000b2d: PUSH2 0x2136
00000b30: JUMP
00000b31: JUMPDEST
00000b32: PUSH2 0x0b4e
00000b35: JUMPI
00000b36: PUSH1 0x40
00000b38: MLOAD
00000b39: PUSH4 0x33d1c039
00000b3e: PUSH1 0xe2
00000b40: SHL
00000b41: DUP2
00000b42: MSTORE
00000b43: PUSH1 0x04
00000b45: ADD
00000b46: PUSH1 0x40
00000b48: MLOAD
00000b49: DUP1
00000b4a: SWAP2
00000b4b: SUB
00000b4c: SWAP1
00000b4d: REVERT
00000b4e: JUMPDEST
00000b4f: POP
00000b50: PUSH1 0x00
00000b52: SWAP1
00000b53: DUP2
00000b54: MSTORE
00000b55: PUSH1 0x06
00000b57: PUSH1 0x20
00000b59: MSTORE
00000b5a: PUSH1 0x40
00000b5c: SWAP1
00000b5d: KECCAK256
00000b5e: SLOAD
00000b5f: PUSH1 0x01
00000b61: PUSH1 0x01
00000b63: PUSH1 0xa0
00000b65: SHL
00000b66: SUB
00000b67: AND
00000b68: SWAP1
00000b69: JUMP
00000b6a: JUMPDEST
00000b6b: PUSH1 0x00
00000b6d: PUSH2 0x0b75
00000b70: DUP3
00000b71: PUSH2 0x216b
00000b74: JUMP
00000b75: JUMPDEST
00000b76: SWAP1
00000b77: POP
00000b78: DUP1
00000b79: PUSH1 0x01
00000b7b: PUSH1 0x01
00000b7d: PUSH1 0xa0
00000b7f: SHL
00000b80: SUB
00000b81: AND
00000b82: DUP4
00000b83: PUSH1 0x01
00000b85: PUSH1 0x01
00000b87: PUSH1 0xa0
00000b89: SHL
00000b8a: SUB
00000b8b: AND
00000b8c: SUB
00000b8d: PUSH2 0x0ba9
00000b90: JUMPI
00000b91: PUSH1 0x40
00000b93: MLOAD
00000b94: PUSH4 0x250fdee3
00000b99: PUSH1 0xe2
00000b9b: SHL
00000b9c: DUP2
00000b9d: MSTORE
00000b9e: PUSH1 0x04
00000ba0: ADD
00000ba1: PUSH1 0x40
00000ba3: MLOAD
00000ba4: DUP1
00000ba5: SWAP2
00000ba6: SUB
00000ba7: SWAP1
00000ba8: REVERT
00000ba9: JUMPDEST
00000baa: CALLER
00000bab: PUSH1 0x01
00000bad: PUSH1 0x01
00000baf: PUSH1 0xa0
00000bb1: SHL
00000bb2: SUB
00000bb3: DUP3
00000bb4: AND
00000bb5: EQ
00000bb6: PUSH2 0x0be0
00000bb9: JUMPI
00000bba: PUSH2 0x0bc3
00000bbd: DUP2
00000bbe: CALLER
00000bbf: PUSH2 0x08b7
00000bc2: JUMP
00000bc3: JUMPDEST
00000bc4: PUSH2 0x0be0
00000bc7: JUMPI
00000bc8: PUSH1 0x40
00000bca: MLOAD
00000bcb: PUSH4 0x67d9dca1
00000bd0: PUSH1 0xe1
00000bd2: SHL
00000bd3: DUP2
00000bd4: MSTORE
00000bd5: PUSH1 0x04
00000bd7: ADD
00000bd8: PUSH1 0x40
00000bda: MLOAD
00000bdb: DUP1
00000bdc: SWAP2
00000bdd: SUB
00000bde: SWAP1
00000bdf: REVERT
00000be0: JUMPDEST
00000be1: PUSH1 0x00
00000be3: DUP3
00000be4: DUP2
00000be5: MSTORE
00000be6: PUSH1 0x06
00000be8: PUSH1 0x20
00000bea: MSTORE
00000beb: PUSH1 0x40
00000bed: DUP1
00000bee: DUP3
00000bef: KECCAK256
00000bf0: DUP1
00000bf1: SLOAD
00000bf2: PUSH1 0x01
00000bf4: PUSH1 0x01
00000bf6: PUSH1 0xa0
00000bf8: SHL
00000bf9: SUB
00000bfa: NOT
00000bfb: AND
00000bfc: PUSH1 0x01
00000bfe: PUSH1 0x01
00000c00: PUSH1 0xa0
00000c02: SHL
00000c03: SUB
00000c04: DUP8
00000c05: DUP2
00000c06: AND
00000c07: SWAP2
00000c08: DUP3
00000c09: OR
00000c0a: SWAP1
00000c0b: SWAP3
00000c0c: SSTORE
00000c0d: SWAP2
00000c0e: MLOAD
00000c0f: DUP6
00000c10: SWAP4
00000c11: SWAP2
00000c12: DUP6
00000c13: AND
00000c14: SWAP2
00000c15: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00000c36: SWAP2
00000c37: LOG4
00000c38: POP
00000c39: POP
00000c3a: POP
00000c3b: JUMP
00000c3c: JUMPDEST
00000c3d: PUSH1 0x1a
00000c3f: DUP1
00000c40: SLOAD
00000c41: PUSH2 0x0c49
00000c44: SWAP1
00000c45: PUSH2 0x3120
00000c48: JUMP
00000c49: JUMPDEST
00000c4a: DUP1
00000c4b: PUSH1 0x1f
00000c4d: ADD
00000c4e: PUSH1 0x20
00000c50: DUP1
00000c51: SWAP2
00000c52: DIV
00000c53: MUL
00000c54: PUSH1 0x20
00000c56: ADD
00000c57: PUSH1 0x40
00000c59: MLOAD
00000c5a: SWAP1
00000c5b: DUP2
00000c5c: ADD
00000c5d: PUSH1 0x40
00000c5f: MSTORE
00000c60: DUP1
00000c61: SWAP3
00000c62: SWAP2
00000c63: SWAP1
00000c64: DUP2
00000c65: DUP2
00000c66: MSTORE
00000c67: PUSH1 0x20
00000c69: ADD
00000c6a: DUP3
00000c6b: DUP1
00000c6c: SLOAD
00000c6d: PUSH2 0x0c75
00000c70: SWAP1
00000c71: PUSH2 0x3120
00000c74: JUMP
00000c75: JUMPDEST
00000c76: DUP1
00000c77: ISZERO
00000c78: PUSH2 0x0cc2
00000c7b: JUMPI
00000c7c: DUP1
00000c7d: PUSH1 0x1f
00000c7f: LT
00000c80: PUSH2 0x0c97
00000c83: JUMPI
00000c84: PUSH2 0x0100
00000c87: DUP1
00000c88: DUP4
00000c89: SLOAD
00000c8a: DIV
00000c8b: MUL
00000c8c: DUP4
00000c8d: MSTORE
00000c8e: SWAP2
00000c8f: PUSH1 0x20
00000c91: ADD
00000c92: SWAP2
00000c93: PUSH2 0x0cc2
00000c96: JUMP
00000c97: JUMPDEST
00000c98: DUP3
00000c99: ADD
00000c9a: SWAP2
00000c9b: SWAP1
00000c9c: PUSH1 0x00
00000c9e: MSTORE
00000c9f: PUSH1 0x20
00000ca1: PUSH1 0x00
00000ca3: KECCAK256
00000ca4: SWAP1
00000ca5: JUMPDEST
00000ca6: DUP2
00000ca7: SLOAD
00000ca8: DUP2
00000ca9: MSTORE
00000caa: SWAP1
00000cab: PUSH1 0x01
00000cad: ADD
00000cae: SWAP1
00000caf: PUSH1 0x20
00000cb1: ADD
00000cb2: DUP1
00000cb3: DUP4
00000cb4: GT
00000cb5: PUSH2 0x0ca5
00000cb8: JUMPI
00000cb9: DUP3
00000cba: SWAP1
00000cbb: SUB
00000cbc: PUSH1 0x1f
00000cbe: AND
00000cbf: DUP3
00000cc0: ADD
00000cc1: SWAP2
00000cc2: JUMPDEST
00000cc3: POP
00000cc4: POP
00000cc5: POP
00000cc6: POP
00000cc7: POP
00000cc8: DUP2
00000cc9: JUMP
00000cca: JUMPDEST
00000ccb: CALLER
00000ccc: PUSH1 0x00
00000cce: SWAP1
00000ccf: DUP2
00000cd0: MSTORE
00000cd1: PUSH1 0x10
00000cd3: PUSH1 0x20
00000cd5: MSTORE
00000cd6: PUSH1 0x40
00000cd8: SWAP1
00000cd9: KECCAK256
00000cda: SLOAD
00000cdb: PUSH1 0xff
00000cdd: AND
00000cde: PUSH2 0x0d1f
00000ce1: JUMPI
00000ce2: PUSH1 0x40
00000ce4: MLOAD
00000ce5: PUSH3 0x461bcd
00000ce9: PUSH1 0xe5
00000ceb: SHL
00000cec: DUP2
00000ced: MSTORE
00000cee: PUSH1 0x20
00000cf0: PUSH1 0x04
00000cf2: DUP3
00000cf3: ADD
00000cf4: MSTORE
00000cf5: PUSH1 0x0e
00000cf7: PUSH1 0x24
00000cf9: DUP3
00000cfa: ADD
00000cfb: MSTORE
00000cfc: PUSH14 0x139bdd08185d5d1a1bdc9a5e9959
00000d0b: PUSH1 0x92
00000d0d: SHL
00000d0e: PUSH1 0x44
00000d10: DUP3
00000d11: ADD
00000d12: MSTORE
00000d13: PUSH1 0x64
00000d15: ADD
00000d16: JUMPDEST
00000d17: PUSH1 0x40
00000d19: MLOAD
00000d1a: DUP1
00000d1b: SWAP2
00000d1c: SUB
00000d1d: SWAP1
00000d1e: REVERT
00000d1f: JUMPDEST
00000d20: PUSH1 0x15
00000d22: SLOAD
00000d23: PUSH1 0x01
00000d25: PUSH1 0xc8
00000d27: SHL
00000d28: SWAP1
00000d29: DIV
00000d2a: PUSH1 0xff
00000d2c: AND
00000d2d: PUSH2 0x0d6e
00000d30: JUMPI
00000d31: PUSH1 0x40
00000d33: MLOAD
00000d34: PUSH3 0x461bcd
00000d38: PUSH1 0xe5
00000d3a: SHL
00000d3b: DUP2
00000d3c: MSTORE
00000d3d: PUSH1 0x20
00000d3f: PUSH1 0x04
00000d41: DUP3
00000d42: ADD
00000d43: MSTORE
00000d44: PUSH1 0x13
00000d46: PUSH1 0x24
00000d48: DUP3
00000d49: ADD
00000d4a: MSTORE
00000d4b: PUSH19 0x29b0b6329034b9903737ba1030b1ba34bb3297
00000d5f: PUSH1 0x69
00000d61: SHL
00000d62: PUSH1 0x44
00000d64: DUP3
00000d65: ADD
00000d66: MSTORE
00000d67: PUSH1 0x64
00000d69: ADD
00000d6a: PUSH2 0x0d16
00000d6d: JUMP
00000d6e: JUMPDEST
00000d6f: PUSH1 0x15
00000d71: SLOAD
00000d72: PUSH2 0xffff
00000d75: AND
00000d76: DUP2
00000d77: PUSH2 0x0d7e
00000d7a: PUSH2 0x0f3d
00000d7d: JUMP
00000d7e: JUMPDEST
00000d7f: PUSH2 0x0d88
00000d82: SWAP2
00000d83: SWAP1
00000d84: PUSH2 0x3170
00000d87: JUMP
00000d88: JUMPDEST
00000d89: GT
00000d8a: ISZERO
00000d8b: PUSH2 0x0da6
00000d8e: JUMPI
00000d8f: PUSH1 0x40
00000d91: MLOAD
00000d92: PUSH3 0x461bcd
00000d96: PUSH1 0xe5
00000d98: SHL
00000d99: DUP2
00000d9a: MSTORE
00000d9b: PUSH1 0x04
00000d9d: ADD
00000d9e: PUSH2 0x0d16
00000da1: SWAP1
00000da2: PUSH2 0x3183
00000da5: JUMP
00000da6: JUMPDEST
00000da7: CALLVALUE
00000da8: DUP2
00000da9: PUSH2 0x0db0
00000dac: PUSH2 0x17e5
00000daf: JUMP
00000db0: JUMPDEST
00000db1: PUSH2 0x0dba
00000db4: SWAP2
00000db5: SWAP1
00000db6: PUSH2 0x31b0
00000db9: JUMP
00000dba: JUMPDEST
00000dbb: GT
00000dbc: ISZERO
00000dbd: PUSH2 0x0dd8
00000dc0: JUMPI
00000dc1: PUSH1 0x40
00000dc3: MLOAD
00000dc4: PUSH3 0x461bcd
00000dc8: PUSH1 0xe5
00000dca: SHL
00000dcb: DUP2
00000dcc: MSTORE
00000dcd: PUSH1 0x04
00000dcf: ADD
00000dd0: PUSH2 0x0d16
00000dd3: SWAP1
00000dd4: PUSH2 0x31c7
00000dd7: JUMP
00000dd8: JUMPDEST
00000dd9: PUSH2 0x0de2
00000ddc: DUP3
00000ddd: DUP3
00000dde: PUSH2 0x21e1
00000de1: JUMP
00000de2: JUMPDEST
00000de3: POP
00000de4: POP
00000de5: JUMP
00000de6: JUMPDEST
00000de7: CALLER
00000de8: PUSH2 0x0def
00000deb: PUSH2 0x17ac
00000dee: JUMP
00000def: JUMPDEST
00000df0: PUSH1 0x01
00000df2: PUSH1 0x01
00000df4: PUSH1 0xa0
00000df6: SHL
00000df7: SUB
00000df8: AND
00000df9: EQ
00000dfa: PUSH2 0x0e15
00000dfd: JUMPI
00000dfe: PUSH1 0x40
00000e00: MLOAD
00000e01: PUSH3 0x461bcd
00000e05: PUSH1 0xe5
00000e07: SHL
00000e08: DUP2
00000e09: MSTORE
00000e0a: PUSH1 0x04
00000e0c: ADD
00000e0d: PUSH2 0x0d16
00000e10: SWAP1
00000e11: PUSH2 0x31ee
00000e14: JUMP
00000e15: JUMPDEST
00000e16: PUSH2 0x0e1d
00000e19: PUSH2 0x0f3d
00000e1c: JUMP
00000e1d: JUMPDEST
00000e1e: DUP6
00000e1f: PUSH2 0xffff
00000e22: AND
00000e23: LT
00000e24: ISZERO
00000e25: PUSH2 0x0e61
00000e28: JUMPI
00000e29: PUSH1 0x40
00000e2b: MLOAD
00000e2c: PUSH3 0x461bcd
00000e30: PUSH1 0xe5
00000e32: SHL
00000e33: DUP2
00000e34: MSTORE
00000e35: PUSH1 0x20
00000e37: PUSH1 0x04
00000e39: DUP3
00000e3a: ADD
00000e3b: MSTORE
00000e3c: PUSH1 0x0e
00000e3e: PUSH1 0x24
00000e40: DUP3
00000e41: ADD
00000e42: MSTORE
00000e43: PUSH14 0x496e76616c696420737570706c79
00000e52: PUSH1 0x90
00000e54: SHL
00000e55: PUSH1 0x44
00000e57: DUP3
00000e58: ADD
00000e59: MSTORE
00000e5a: PUSH1 0x64
00000e5c: ADD
00000e5d: PUSH2 0x0d16
00000e60: JUMP
00000e61: JUMPDEST
00000e62: PUSH1 0x15
00000e64: SLOAD
00000e65: PUSH1 0x01
00000e67: PUSH1 0xd8
00000e69: SHL
00000e6a: SWAP1
00000e6b: DIV
00000e6c: PUSH1 0xff
00000e6e: AND
00000e6f: ISZERO
00000e70: PUSH2 0x0ebe
00000e73: JUMPI
00000e74: PUSH1 0x15
00000e76: SLOAD
00000e77: PUSH2 0xffff
00000e7a: DUP7
00000e7b: DUP2
00000e7c: AND
00000e7d: SWAP2
00000e7e: AND
00000e7f: EQ
00000e80: PUSH2 0x0ebe
00000e83: JUMPI
00000e84: PUSH1 0x40
00000e86: MLOAD
00000e87: PUSH3 0x461bcd
00000e8b: PUSH1 0xe5
00000e8d: SHL
00000e8e: DUP2
00000e8f: MSTORE
00000e90: PUSH1 0x20
00000e92: PUSH1 0x04
00000e94: DUP3
00000e95: ADD
00000e96: MSTORE
00000e97: PUSH1 0x10
00000e99: PUSH1 0x24
00000e9b: DUP3
00000e9c: ADD
00000e9d: MSTORE
00000e9e: PUSH16 0x14dd5c1c1b1e481a5cc81b1bd8dad959
00000eaf: PUSH1 0x82
00000eb1: SHL
00000eb2: PUSH1 0x44
00000eb4: DUP3
00000eb5: ADD
00000eb6: MSTORE
00000eb7: PUSH1 0x64
00000eb9: ADD
00000eba: PUSH2 0x0d16
00000ebd: JUMP
00000ebe: JUMPDEST
00000ebf: PUSH1 0x15
00000ec1: DUP1
00000ec2: SLOAD
00000ec3: PUSH2 0xffff
00000ec6: SWAP7
00000ec7: DUP8
00000ec8: AND
00000ec9: PUSH4 0xffffffff
00000ece: NOT
00000ecf: SWAP1
00000ed0: SWAP2
00000ed1: AND
00000ed2: OR
00000ed3: PUSH3 0x010000
00000ed7: SWAP6
00000ed8: DUP8
00000ed9: AND
00000eda: SWAP6
00000edb: SWAP1
00000edc: SWAP6
00000edd: MUL
00000ede: SWAP5
00000edf: SWAP1
00000ee0: SWAP5
00000ee1: OR
00000ee2: PUSH1 0x01
00000ee4: PUSH1 0x20
00000ee6: SHL
00000ee7: PUSH1 0x01
00000ee9: PUSH1 0x78
00000eeb: SHL
00000eec: SUB
00000eed: NOT
00000eee: AND
00000eef: PUSH1 0x01
00000ef1: PUSH1 0x20
00000ef3: SHL
00000ef4: SWAP4
00000ef5: SWAP1
00000ef6: SWAP6
00000ef7: AND
00000ef8: SWAP3
00000ef9: SWAP1
00000efa: SWAP3
00000efb: MUL
00000efc: PUSH1 0x01
00000efe: PUSH1 0x30
00000f00: SHL
00000f01: PUSH1 0x01
00000f03: PUSH1 0x78
00000f05: SHL
00000f06: SUB
00000f07: NOT
00000f08: AND
00000f09: SWAP4
00000f0a: SWAP1
00000f0b: SWAP4
00000f0c: OR
00000f0d: PUSH1 0x01
00000f0f: PUSH1 0x30
00000f11: SHL
00000f12: PUSH1 0x01
00000f14: PUSH1 0x01
00000f16: PUSH1 0x48
00000f18: SHL
00000f19: SUB
00000f1a: SWAP5
00000f1b: DUP6
00000f1c: AND
00000f1d: MUL
00000f1e: OR
00000f1f: PUSH1 0x01
00000f21: PUSH1 0x78
00000f23: SHL
00000f24: PUSH1 0x01
00000f26: PUSH1 0xc0
00000f28: SHL
00000f29: SUB
00000f2a: NOT
00000f2b: AND
00000f2c: PUSH1 0x01
00000f2e: PUSH1 0x78
00000f30: SHL
00000f31: SWAP2
00000f32: SWAP1
00000f33: SWAP4
00000f34: AND
00000f35: MUL
00000f36: SWAP2
00000f37: SWAP1
00000f38: SWAP2
00000f39: OR
00000f3a: SWAP1
00000f3b: SSTORE
00000f3c: JUMP
00000f3d: JUMPDEST
00000f3e: PUSH1 0x01
00000f40: SLOAD
00000f41: PUSH1 0x00
00000f43: SLOAD
00000f44: SUB
00000f45: PUSH1 0x00
00000f47: NOT
00000f48: ADD
00000f49: SWAP1
00000f4a: JUMP
00000f4b: JUMPDEST
00000f4c: PUSH1 0x01
00000f4e: PUSH1 0x01
00000f50: PUSH1 0xa0
00000f52: SHL
00000f53: SUB
00000f54: DUP2
00000f55: AND
00000f56: PUSH1 0x00
00000f58: SWAP1
00000f59: DUP2
00000f5a: MSTORE
00000f5b: PUSH1 0x0b
00000f5d: PUSH1 0x20
00000f5f: MSTORE
00000f60: PUSH1 0x40
00000f62: SWAP1
00000f63: KECCAK256
00000f64: SLOAD
00000f65: PUSH2 0x0f80
00000f68: JUMPI
00000f69: PUSH1 0x40
00000f6b: MLOAD
00000f6c: PUSH3 0x461bcd
00000f70: PUSH1 0xe5
00000f72: SHL
00000f73: DUP2
00000f74: MSTORE
00000f75: PUSH1 0x04
00000f77: ADD
00000f78: PUSH2 0x0d16
00000f7b: SWAP1
00000f7c: PUSH2 0x3223
00000f7f: JUMP
00000f80: JUMPDEST
00000f81: PUSH1 0x00
00000f83: PUSH2 0x0f8b
00000f86: PUSH1 0x0a
00000f88: SLOAD
00000f89: SWAP1
00000f8a: JUMP
00000f8b: JUMPDEST
00000f8c: PUSH2 0x0f95
00000f8f: SWAP1
00000f90: SELFBALANCE
00000f91: PUSH2 0x3170
00000f94: JUMP
00000f95: JUMPDEST
00000f96: SWAP1
00000f97: POP
00000f98: PUSH1 0x00
00000f9a: PUSH2 0x0fac
00000f9d: DUP4
00000f9e: DUP4
00000f9f: PUSH2 0x0fa7
00000fa2: DUP7
00000fa3: PUSH2 0x17ca
00000fa6: JUMP
00000fa7: JUMPDEST
00000fa8: PUSH2 0x21fb
00000fab: JUMP
00000fac: JUMPDEST
00000fad: SWAP1
00000fae: POP
00000faf: DUP1
00000fb0: PUSH1 0x00
00000fb2: SUB
00000fb3: PUSH2 0x0fce
00000fb6: JUMPI
00000fb7: PUSH1 0x40
00000fb9: MLOAD
00000fba: PUSH3 0x461bcd
00000fbe: PUSH1 0xe5
00000fc0: SHL
00000fc1: DUP2
00000fc2: MSTORE
00000fc3: PUSH1 0x04
00000fc5: ADD
00000fc6: PUSH2 0x0d16
00000fc9: SWAP1
00000fca: PUSH2 0x3269
00000fcd: JUMP
00000fce: JUMPDEST
00000fcf: PUSH1 0x01
00000fd1: PUSH1 0x01
00000fd3: PUSH1 0xa0
00000fd5: SHL
00000fd6: SUB
00000fd7: DUP4
00000fd8: AND
00000fd9: PUSH1 0x00
00000fdb: SWAP1
00000fdc: DUP2
00000fdd: MSTORE
00000fde: PUSH1 0x0c
00000fe0: PUSH1 0x20
00000fe2: MSTORE
00000fe3: PUSH1 0x40
00000fe5: DUP2
00000fe6: KECCAK256
00000fe7: DUP1
00000fe8: SLOAD
00000fe9: DUP4
00000fea: SWAP3
00000feb: SWAP1
00000fec: PUSH2 0x0ff6
00000fef: SWAP1
00000ff0: DUP5
00000ff1: SWAP1
00000ff2: PUSH2 0x3170
00000ff5: JUMP
00000ff6: JUMPDEST
00000ff7: SWAP3
00000ff8: POP
00000ff9: POP
00000ffa: DUP2
00000ffb: SWAP1
00000ffc: SSTORE
00000ffd: POP
00000ffe: DUP1
00000fff: PUSH1 0x0a
00001001: PUSH1 0x00
00001003: DUP3
00001004: DUP3
00001005: SLOAD
00001006: PUSH2 0x100f
00001009: SWAP2
0000100a: SWAP1
0000100b: PUSH2 0x3170
0000100e: JUMP
0000100f: JUMPDEST
00001010: SWAP1
00001011: SWAP2
00001012: SSTORE
00001013: POP
00001014: PUSH2 0x101f
00001017: SWAP1
00001018: POP
00001019: DUP4
0000101a: DUP3
0000101b: PUSH2 0x2241
0000101e: JUMP
0000101f: JUMPDEST
00001020: PUSH32 0xdf20fd1e76bc69d672e4814fafb2c449bba3a5369d8359adf9e05e6fde87b056
00001041: DUP4
00001042: DUP3
00001043: PUSH1 0x40
00001045: MLOAD
00001046: PUSH2 0x1050
00001049: SWAP3
0000104a: SWAP2
0000104b: SWAP1
0000104c: PUSH2 0x2b3d
0000104f: JUMP
00001050: JUMPDEST
00001051: PUSH1 0x40
00001053: MLOAD
00001054: DUP1
00001055: SWAP2
00001056: SUB
00001057: SWAP1
00001058: LOG1
00001059: POP
0000105a: POP
0000105b: POP
0000105c: JUMP
0000105d: JUMPDEST
0000105e: PUSH1 0x15
00001060: SLOAD
00001061: PUSH1 0x01
00001063: PUSH1 0xe8
00001065: SHL
00001066: SWAP1
00001067: DIV
00001068: PUSH1 0xff
0000106a: AND
0000106b: PUSH1 0x01
0000106d: EQ
0000106e: DUP1
0000106f: PUSH2 0x1084
00001072: JUMPI
00001073: POP
00001074: PUSH1 0x15
00001076: SLOAD
00001077: PUSH1 0x01
00001079: PUSH1 0xe8
0000107b: SHL
0000107c: SWAP1
0000107d: DIV
0000107e: PUSH1 0xff
00001080: AND
00001081: PUSH1 0x02
00001083: EQ
00001084: JUMPDEST
00001085: PUSH2 0x10a0
00001088: JUMPI
00001089: PUSH1 0x40
0000108b: MLOAD
0000108c: PUSH3 0x461bcd
00001090: PUSH1 0xe5
00001092: SHL
00001093: DUP2
00001094: MSTORE
00001095: PUSH1 0x04
00001097: ADD
00001098: PUSH2 0x0d16
0000109b: SWAP1
0000109c: PUSH2 0x32b4
0000109f: JUMP
000010a0: JUMPDEST
000010a1: PUSH1 0x15
000010a3: SLOAD
000010a4: PUSH1 0x01
000010a6: PUSH1 0xd0
000010a8: SHL
000010a9: SWAP1
000010aa: DIV
000010ab: PUSH1 0xff
000010ad: AND
000010ae: PUSH2 0x10ea
000010b1: JUMPI
000010b2: PUSH1 0x40
000010b4: MLOAD
000010b5: PUSH3 0x461bcd
000010b9: PUSH1 0xe5
000010bb: SHL
000010bc: DUP2
000010bd: MSTORE
000010be: PUSH1 0x20
000010c0: PUSH1 0x04
000010c2: DUP3
000010c3: ADD
000010c4: MSTORE
000010c5: PUSH1 0x0e
000010c7: PUSH1 0x24
000010c9: DUP3
000010ca: ADD
000010cb: MSTORE
000010cc: PUSH14 0x436c61696d20696e616374697665
000010db: PUSH1 0x90
000010dd: SHL
000010de: PUSH1 0x44
000010e0: DUP3
000010e1: ADD
000010e2: MSTORE
000010e3: PUSH1 0x64
000010e5: ADD
000010e6: PUSH2 0x0d16
000010e9: JUMP
000010ea: JUMPDEST
000010eb: PUSH1 0x00
000010ed: PUSH2 0x10f4
000010f0: PUSH2 0x0f3d
000010f3: JUMP
000010f4: JUMPDEST
000010f5: PUSH1 0x15
000010f7: SLOAD
000010f8: SWAP1
000010f9: SWAP2
000010fa: POP
000010fb: PUSH2 0xffff
000010fe: AND
000010ff: PUSH2 0x1108
00001102: DUP5
00001103: DUP4
00001104: PUSH2 0x32dc
00001107: JUMP
00001108: JUMPDEST
00001109: PUSH2 0xffff
0000110c: AND
0000110d: GT
0000110e: ISZERO
0000110f: PUSH2 0x112a
00001112: JUMPI
00001113: PUSH1 0x40
00001115: MLOAD
00001116: PUSH3 0x461bcd
0000111a: PUSH1 0xe5
0000111c: SHL
0000111d: DUP2
0000111e: MSTORE
0000111f: PUSH1 0x04
00001121: ADD
00001122: PUSH2 0x0d16
00001125: SWAP1
00001126: PUSH2 0x3183
00001129: JUMP
0000112a: JUMPDEST
0000112b: PUSH1 0x15
0000112d: SLOAD
0000112e: PUSH1 0x01
00001130: PUSH1 0xe8
00001132: SHL
00001133: SWAP1
00001134: DIV
00001135: PUSH1 0xff
00001137: AND
00001138: PUSH1 0x01
0000113a: SUB
0000113b: PUSH2 0x123a
0000113e: JUMPI
0000113f: PUSH1 0x19
00001141: SLOAD
00001142: PUSH1 0x17
00001144: SLOAD
00001145: PUSH1 0x40
00001147: MLOAD
00001148: PUSH3 0x7eeac7
0000114c: PUSH1 0xe1
0000114e: SHL
0000114f: DUP2
00001150: MSTORE
00001151: PUSH2 0xffff
00001154: DUP7
00001155: AND
00001156: SWAP3
00001157: PUSH1 0x01
00001159: PUSH1 0x01
0000115b: PUSH1 0xa0
0000115d: SHL
0000115e: SUB
0000115f: AND
00001160: SWAP2
00001161: PUSH3 0xfdd58e
00001165: SWAP2
00001166: PUSH2 0x1173
00001169: SWAP2
0000116a: CALLER
0000116b: SWAP2
0000116c: PUSH1 0x04
0000116e: ADD
0000116f: PUSH2 0x2b3d
00001172: JUMP
00001173: JUMPDEST
00001174: PUSH1 0x20
00001176: PUSH1 0x40
00001178: MLOAD
00001179: DUP1
0000117a: DUP4
0000117b: SUB
0000117c: DUP2
0000117d: DUP7
0000117e: GAS
0000117f: STATICCALL
00001180: ISZERO
00001181: DUP1
00001182: ISZERO
00001183: PUSH2 0x1190
00001186: JUMPI
00001187: RETURNDATASIZE
00001188: PUSH1 0x00
0000118a: DUP1
0000118b: RETURNDATACOPY
0000118c: RETURNDATASIZE
0000118d: PUSH1 0x00
0000118f: REVERT
00001190: JUMPDEST
00001191: POP
00001192: POP
00001193: POP
00001194: POP
00001195: PUSH1 0x40
00001197: MLOAD
00001198: RETURNDATASIZE
00001199: PUSH1 0x1f
0000119b: NOT
0000119c: PUSH1 0x1f
0000119e: DUP3
0000119f: ADD
000011a0: AND
000011a1: DUP3
000011a2: ADD
000011a3: DUP1
000011a4: PUSH1 0x40
000011a6: MSTORE
000011a7: POP
000011a8: DUP2
000011a9: ADD
000011aa: SWAP1
000011ab: PUSH2 0x11b4
000011ae: SWAP2
000011af: SWAP1
000011b0: PUSH2 0x32fe
000011b3: JUMP
000011b4: JUMPDEST
000011b5: LT
000011b6: ISZERO
000011b7: PUSH2 0x11d2
000011ba: JUMPI
000011bb: PUSH1 0x40
000011bd: MLOAD
000011be: PUSH3 0x461bcd
000011c2: PUSH1 0xe5
000011c4: SHL
000011c5: DUP2
000011c6: MSTORE
000011c7: PUSH1 0x04
000011c9: ADD
000011ca: PUSH2 0x0d16
000011cd: SWAP1
000011ce: PUSH2 0x3317
000011d1: JUMP
000011d2: JUMPDEST
000011d3: PUSH1 0x19
000011d5: SLOAD
000011d6: PUSH1 0x17
000011d8: SLOAD
000011d9: PUSH1 0x40
000011db: MLOAD
000011dc: PUSH4 0x029fc4d9
000011e1: PUSH1 0xe5
000011e3: SHL
000011e4: DUP2
000011e5: MSTORE
000011e6: PUSH1 0x01
000011e8: PUSH1 0x01
000011ea: PUSH1 0xa0
000011ec: SHL
000011ed: SUB
000011ee: SWAP1
000011ef: SWAP3
000011f0: AND
000011f1: SWAP2
000011f2: PUSH4 0x53f89b20
000011f7: SWAP2
000011f8: PUSH2 0x1207
000011fb: SWAP2
000011fc: DUP8
000011fd: SWAP1
000011fe: CALLER
000011ff: SWAP1
00001200: PUSH1 0x04
00001202: ADD
00001203: PUSH2 0x3341
00001206: JUMP
00001207: JUMPDEST
00001208: PUSH1 0x00
0000120a: PUSH1 0x40
0000120c: MLOAD
0000120d: DUP1
0000120e: DUP4
0000120f: SUB
00001210: DUP2
00001211: PUSH1 0x00
00001213: DUP8
00001214: DUP1
00001215: EXTCODESIZE
00001216: ISZERO
00001217: DUP1
00001218: ISZERO
00001219: PUSH2 0x1221
0000121c: JUMPI
0000121d: PUSH1 0x00
0000121f: DUP1
00001220: REVERT
00001221: JUMPDEST
00001222: POP
00001223: GAS
00001224: CALL
00001225: ISZERO
00001226: DUP1
00001227: ISZERO
00001228: PUSH2 0x1235
0000122b: JUMPI
0000122c: RETURNDATASIZE
0000122d: PUSH1 0x00
0000122f: DUP1
00001230: RETURNDATACOPY
00001231: RETURNDATASIZE
00001232: PUSH1 0x00
00001234: REVERT
00001235: JUMPDEST
00001236: POP
00001237: POP
00001238: POP
00001239: POP
0000123a: JUMPDEST
0000123b: PUSH1 0x15
0000123d: SLOAD
0000123e: PUSH1 0x01
00001240: PUSH1 0xe8
00001242: SHL
00001243: SWAP1
00001244: DIV
00001245: PUSH1 0xff
00001247: AND
00001248: PUSH1 0x02
0000124a: SUB
0000124b: PUSH2 0x1326
0000124e: JUMPI
0000124f: CALLER
00001250: PUSH1 0x00
00001252: DUP2
00001253: DUP2
00001254: MSTORE
00001255: PUSH1 0x12
00001257: PUSH1 0x20
00001259: SWAP1
0000125a: DUP2
0000125b: MSTORE
0000125c: PUSH1 0x40
0000125e: DUP1
0000125f: DUP4
00001260: KECCAK256
00001261: SLOAD
00001262: DUP2
00001263: MLOAD
00001264: SWAP3
00001265: DUP4
00001266: ADD
00001267: SWAP5
00001268: SWAP1
00001269: SWAP5
0000126a: MSTORE
0000126b: PUSH2 0xffff
0000126e: DUP9
0000126f: DUP2
00001270: AND
00001271: SWAP2
00001272: DUP4
00001273: ADD
00001274: SWAP2
00001275: SWAP1
00001276: SWAP2
00001277: MSTORE
00001278: SWAP1
00001279: SWAP3
0000127a: AND
0000127b: SWAP2
0000127c: PUSH1 0x60
0000127e: ADD
0000127f: PUSH1 0x40
00001281: MLOAD
00001282: PUSH1 0x20
00001284: DUP2
00001285: DUP4
00001286: SUB
00001287: SUB
00001288: DUP2
00001289: MSTORE
0000128a: SWAP1
0000128b: PUSH1 0x40
0000128d: MSTORE
0000128e: DUP1
0000128f: MLOAD
00001290: SWAP1
00001291: PUSH1 0x20
00001293: ADD
00001294: KECCAK256
00001295: SWAP1
00001296: POP
00001297: PUSH2 0x12a3
0000129a: DUP5
0000129b: PUSH1 0x14
0000129d: SLOAD
0000129e: DUP4
0000129f: PUSH2 0x2357
000012a2: JUMP
000012a3: JUMPDEST
000012a4: PUSH2 0x12bf
000012a7: JUMPI
000012a8: PUSH1 0x40
000012aa: MLOAD
000012ab: PUSH3 0x461bcd
000012af: PUSH1 0xe5
000012b1: SHL
000012b2: DUP2
000012b3: MSTORE
000012b4: PUSH1 0x04
000012b6: ADD
000012b7: PUSH2 0x0d16
000012ba: SWAP1
000012bb: PUSH2 0x3364
000012be: JUMP
000012bf: JUMPDEST
000012c0: PUSH1 0x00
000012c2: PUSH2 0x12cb
000012c5: DUP4
000012c6: DUP9
000012c7: PUSH2 0x338d
000012ca: JUMP
000012cb: JUMPDEST
000012cc: SWAP1
000012cd: POP
000012ce: DUP1
000012cf: PUSH2 0xffff
000012d2: AND
000012d3: DUP7
000012d4: PUSH2 0xffff
000012d7: AND
000012d8: GT
000012d9: ISZERO
000012da: PUSH2 0x12f5
000012dd: JUMPI
000012de: PUSH1 0x40
000012e0: MLOAD
000012e1: PUSH3 0x461bcd
000012e5: PUSH1 0xe5
000012e7: SHL
000012e8: DUP2
000012e9: MSTORE
000012ea: PUSH1 0x04
000012ec: ADD
000012ed: PUSH2 0x0d16
000012f0: SWAP1
000012f1: PUSH2 0x3317
000012f4: JUMP
000012f5: JUMPDEST
000012f6: PUSH2 0x12ff
000012f9: DUP7
000012fa: DUP5
000012fb: PUSH2 0x32dc
000012fe: JUMP
000012ff: JUMPDEST
00001300: CALLER
00001301: PUSH1 0x00
00001303: SWAP1
00001304: DUP2
00001305: MSTORE
00001306: PUSH1 0x12
00001308: PUSH1 0x20
0000130a: MSTORE
0000130b: PUSH1 0x40
0000130d: SWAP1
0000130e: KECCAK256
0000130f: DUP1
00001310: SLOAD
00001311: PUSH2 0xffff
00001314: NOT
00001315: AND
00001316: PUSH2 0xffff
00001319: SWAP3
0000131a: SWAP1
0000131b: SWAP3
0000131c: AND
0000131d: SWAP2
0000131e: SWAP1
0000131f: SWAP2
00001320: OR
00001321: SWAP1
00001322: SSTORE
00001323: POP
00001324: POP
00001325: POP
00001326: JUMPDEST
00001327: PUSH2 0x1334
0000132a: CALLER
0000132b: DUP5
0000132c: PUSH2 0xffff
0000132f: AND
00001330: PUSH2 0x21e1
00001333: JUMP
00001334: JUMPDEST
00001335: POP
00001336: POP
00001337: POP
00001338: POP
00001339: JUMP
0000133a: JUMPDEST
0000133b: CALLER
0000133c: PUSH2 0x1343
0000133f: PUSH2 0x17ac
00001342: JUMP
00001343: JUMPDEST
00001344: PUSH1 0x01
00001346: PUSH1 0x01
00001348: PUSH1 0xa0
0000134a: SHL
0000134b: SUB
0000134c: AND
0000134d: EQ
0000134e: PUSH2 0x1369
00001351: JUMPI
00001352: PUSH1 0x40
00001354: MLOAD
00001355: PUSH3 0x461bcd
00001359: PUSH1 0xe5
0000135b: SHL
0000135c: DUP2
0000135d: MSTORE
0000135e: PUSH1 0x04
00001360: ADD
00001361: PUSH2 0x0d16
00001364: SWAP1
00001365: PUSH2 0x31ee
00001368: JUMP
00001369: JUMPDEST
0000136a: PUSH1 0x14
0000136c: SSTORE
0000136d: JUMP
0000136e: JUMPDEST
0000136f: PUSH2 0x1379
00001372: DUP4
00001373: DUP4
00001374: DUP4
00001375: PUSH2 0x236d
00001378: JUMP
00001379: JUMPDEST
0000137a: POP
0000137b: POP
0000137c: POP
0000137d: JUMP
0000137e: JUMPDEST
0000137f: CALLER
00001380: PUSH2 0x1387
00001383: PUSH2 0x17ac
00001386: JUMP
00001387: JUMPDEST
00001388: PUSH1 0x01
0000138a: PUSH1 0x01
0000138c: PUSH1 0xa0
0000138e: SHL
0000138f: SUB
00001390: AND
00001391: EQ
00001392: PUSH2 0x13ad
00001395: JUMPI
00001396: PUSH1 0x40
00001398: MLOAD
00001399: PUSH3 0x461bcd
0000139d: PUSH1 0xe5
0000139f: SHL
000013a0: DUP2
000013a1: MSTORE
000013a2: PUSH1 0x04
000013a4: ADD
000013a5: PUSH2 0x0d16
000013a8: SWAP1
000013a9: PUSH2 0x31ee
000013ac: JUMP
000013ad: JUMPDEST
000013ae: PUSH1 0x01
000013b0: PUSH1 0x01
000013b2: PUSH1 0xa0
000013b4: SHL
000013b5: SUB
000013b6: AND
000013b7: PUSH1 0x00
000013b9: SWAP1
000013ba: DUP2
000013bb: MSTORE
000013bc: PUSH1 0x10
000013be: PUSH1 0x20
000013c0: MSTORE
000013c1: PUSH1 0x40
000013c3: SWAP1
000013c4: KECCAK256
000013c5: DUP1
000013c6: SLOAD
000013c7: PUSH1 0xff
000013c9: NOT
000013ca: AND
000013cb: SWAP1
000013cc: SSTORE
000013cd: JUMP
000013ce: JUMPDEST
000013cf: CALLER
000013d0: PUSH2 0x13d7
000013d3: PUSH2 0x17ac
000013d6: JUMP
000013d7: JUMPDEST
000013d8: PUSH1 0x01
000013da: PUSH1 0x01
000013dc: PUSH1 0xa0
000013de: SHL
000013df: SUB
000013e0: AND
000013e1: EQ
000013e2: PUSH2 0x13fd
000013e5: JUMPI
000013e6: PUSH1 0x40
000013e8: MLOAD
000013e9: PUSH3 0x461bcd
000013ed: PUSH1 0xe5
000013ef: SHL
000013f0: DUP2
000013f1: MSTORE
000013f2: PUSH1 0x04
000013f4: ADD
000013f5: PUSH2 0x0d16
000013f8: SWAP1
000013f9: PUSH2 0x31ee
000013fc: JUMP
000013fd: JUMPDEST
000013fe: PUSH1 0x16
00001400: PUSH2 0x0de2
00001403: DUP3
00001404: DUP3
00001405: PUSH2 0x33f6
00001408: JUMP
00001409: JUMPDEST
0000140a: PUSH1 0x01
0000140c: PUSH1 0x01
0000140e: PUSH1 0xa0
00001410: SHL
00001411: SUB
00001412: SWAP2
00001413: DUP3
00001414: AND
00001415: PUSH1 0x00
00001417: SWAP1
00001418: DUP2
00001419: MSTORE
0000141a: PUSH1 0x0f
0000141c: PUSH1 0x20
0000141e: SWAP1
0000141f: DUP2
00001420: MSTORE
00001421: PUSH1 0x40
00001423: DUP1
00001424: DUP4
00001425: KECCAK256
00001426: SWAP4
00001427: SWAP1
00001428: SWAP5
00001429: AND
0000142a: DUP3
0000142b: MSTORE
0000142c: SWAP2
0000142d: SWAP1
0000142e: SWAP2
0000142f: MSTORE
00001430: KECCAK256
00001431: SLOAD
00001432: SWAP1
00001433: JUMP
00001434: JUMPDEST
00001435: PUSH2 0x1379
00001438: DUP4
00001439: DUP4
0000143a: DUP4
0000143b: PUSH1 0x40
0000143d: MLOAD
0000143e: DUP1
0000143f: PUSH1 0x20
00001441: ADD
00001442: PUSH1 0x40
00001444: MSTORE
00001445: DUP1
00001446: PUSH1 0x00
00001448: DUP2
00001449: MSTORE
0000144a: POP
0000144b: PUSH2 0x1a6e
0000144e: JUMP
0000144f: JUMPDEST
00001450: PUSH1 0x01
00001452: PUSH1 0x01
00001454: PUSH1 0xa0
00001456: SHL
00001457: SUB
00001458: DUP2
00001459: AND
0000145a: PUSH1 0x00
0000145c: SWAP1
0000145d: DUP2
0000145e: MSTORE
0000145f: PUSH1 0x0b
00001461: PUSH1 0x20
00001463: MSTORE
00001464: PUSH1 0x40
00001466: SWAP1
00001467: KECCAK256
00001468: SLOAD
00001469: PUSH2 0x1484
0000146c: JUMPI
0000146d: PUSH1 0x40
0000146f: MLOAD
00001470: PUSH3 0x461bcd
00001474: PUSH1 0xe5
00001476: SHL
00001477: DUP2
00001478: MSTORE
00001479: PUSH1 0x04
0000147b: ADD
0000147c: PUSH2 0x0d16
0000147f: SWAP1
00001480: PUSH2 0x3223
00001483: JUMP
00001484: JUMPDEST
00001485: PUSH1 0x00
00001487: PUSH2 0x148f
0000148a: DUP4
0000148b: PUSH2 0x1b47
0000148e: JUMP
0000148f: JUMPDEST
00001490: PUSH1 0x40
00001492: MLOAD
00001493: PUSH4 0x70a08231
00001498: PUSH1 0xe0
0000149a: SHL
0000149b: DUP2
0000149c: MSTORE
0000149d: PUSH1 0x01
0000149f: PUSH1 0x01
000014a1: PUSH1 0xa0
000014a3: SHL
000014a4: SUB
000014a5: DUP6
000014a6: AND
000014a7: SWAP1
000014a8: PUSH4 0x70a08231
000014ad: SWAP1
000014ae: PUSH2 0x14bb
000014b1: SWAP1
000014b2: ADDRESS
000014b3: SWAP1
000014b4: PUSH1 0x04
000014b6: ADD
000014b7: PUSH2 0x2c05
000014ba: JUMP
000014bb: JUMPDEST
000014bc: PUSH1 0x20
000014be: PUSH1 0x40
000014c0: MLOAD
000014c1: DUP1
000014c2: DUP4
000014c3: SUB
000014c4: DUP2
000014c5: DUP7
000014c6: GAS
000014c7: STATICCALL
000014c8: ISZERO
000014c9: DUP1
000014ca: ISZERO
000014cb: PUSH2 0x14d8
000014ce: JUMPI
000014cf: RETURNDATASIZE
000014d0: PUSH1 0x00
000014d2: DUP1
000014d3: RETURNDATACOPY
000014d4: RETURNDATASIZE
000014d5: PUSH1 0x00
000014d7: REVERT
000014d8: JUMPDEST
000014d9: POP
000014da: POP
000014db: POP
000014dc: POP
000014dd: PUSH1 0x40
000014df: MLOAD
000014e0: RETURNDATASIZE
000014e1: PUSH1 0x1f
000014e3: NOT
000014e4: PUSH1 0x1f
000014e6: DUP3
000014e7: ADD
000014e8: AND
000014e9: DUP3
000014ea: ADD
000014eb: DUP1
000014ec: PUSH1 0x40
000014ee: MSTORE
000014ef: POP
000014f0: DUP2
000014f1: ADD
000014f2: SWAP1
000014f3: PUSH2 0x14fc
000014f6: SWAP2
000014f7: SWAP1
000014f8: PUSH2 0x32fe
000014fb: JUMP
000014fc: JUMPDEST
000014fd: PUSH2 0x1506
00001500: SWAP2
00001501: SWAP1
00001502: PUSH2 0x3170
00001505: JUMP
00001506: JUMPDEST
00001507: SWAP1
00001508: POP
00001509: PUSH1 0x00
0000150b: PUSH2 0x1519
0000150e: DUP4
0000150f: DUP4
00001510: PUSH2 0x0fa7
00001513: DUP8
00001514: DUP8
00001515: PUSH2 0x1409
00001518: JUMP
00001519: JUMPDEST
0000151a: SWAP1
0000151b: POP
0000151c: DUP1
0000151d: PUSH1 0x00
0000151f: SUB
00001520: PUSH2 0x153b
00001523: JUMPI
00001524: PUSH1 0x40
00001526: MLOAD
00001527: PUSH3 0x461bcd
0000152b: PUSH1 0xe5
0000152d: SHL
0000152e: DUP2
0000152f: MSTORE
00001530: PUSH1 0x04
00001532: ADD
00001533: PUSH2 0x0d16
00001536: SWAP1
00001537: PUSH2 0x3269
0000153a: JUMP
0000153b: JUMPDEST
0000153c: PUSH1 0x01
0000153e: PUSH1 0x01
00001540: PUSH1 0xa0
00001542: SHL
00001543: SUB
00001544: DUP1
00001545: DUP6
00001546: AND
00001547: PUSH1 0x00
00001549: SWAP1
0000154a: DUP2
0000154b: MSTORE
0000154c: PUSH1 0x0f
0000154e: PUSH1 0x20
00001550: SWAP1
00001551: DUP2
00001552: MSTORE
00001553: PUSH1 0x40
00001555: DUP1
00001556: DUP4
00001557: KECCAK256
00001558: SWAP4
00001559: DUP8
0000155a: AND
0000155b: DUP4
0000155c: MSTORE
0000155d: SWAP3
0000155e: SWAP1
0000155f: MSTORE
00001560: SWAP1
00001561: DUP2
00001562: KECCAK256
00001563: DUP1
00001564: SLOAD
00001565: DUP4
00001566: SWAP3
00001567: SWAP1
00001568: PUSH2 0x1572
0000156b: SWAP1
0000156c: DUP5
0000156d: SWAP1
0000156e: PUSH2 0x3170
00001571: JUMP
00001572: JUMPDEST
00001573: SWAP1
00001574: SWAP2
00001575: SSTORE
00001576: POP
00001577: POP
00001578: PUSH1 0x01
0000157a: PUSH1 0x01
0000157c: PUSH1 0xa0
0000157e: SHL
0000157f: SUB
00001580: DUP5
00001581: AND
00001582: PUSH1 0x00
00001584: SWAP1
00001585: DUP2
00001586: MSTORE
00001587: PUSH1 0x0e
00001589: PUSH1 0x20
0000158b: MSTORE
0000158c: PUSH1 0x40
0000158e: DUP2
0000158f: KECCAK256
00001590: DUP1
00001591: SLOAD
00001592: DUP4
00001593: SWAP3
00001594: SWAP1
00001595: PUSH2 0x159f
00001598: SWAP1
00001599: DUP5
0000159a: SWAP1
0000159b: PUSH2 0x3170
0000159e: JUMP
0000159f: JUMPDEST
000015a0: SWAP1
000015a1: SWAP2
000015a2: SSTORE
000015a3: POP
000015a4: PUSH2 0x15b0
000015a7: SWAP1
000015a8: POP
000015a9: DUP5
000015aa: DUP5
000015ab: DUP4
000015ac: PUSH2 0x2502
000015af: JUMP
000015b0: JUMPDEST
000015b1: DUP4
000015b2: PUSH1 0x01
000015b4: PUSH1 0x01
000015b6: PUSH1 0xa0
000015b8: SHL
000015b9: SUB
000015ba: AND
000015bb: PUSH32 0x3be5b7a71e84ed12875d241991c70855ac5817d847039e17a9d895c1ceb0f18a
000015dc: DUP5
000015dd: DUP4
000015de: PUSH1 0x40
000015e0: MLOAD
000015e1: PUSH2 0x15eb
000015e4: SWAP3
000015e5: SWAP2
000015e6: SWAP1
000015e7: PUSH2 0x2b3d
000015ea: JUMP
000015eb: JUMPDEST
000015ec: PUSH1 0x40
000015ee: MLOAD
000015ef: DUP1
000015f0: SWAP2
000015f1: SUB
000015f2: SWAP1
000015f3: LOG2
000015f4: POP
000015f5: POP
000015f6: POP
000015f7: POP
000015f8: JUMP
000015f9: JUMPDEST
000015fa: PUSH1 0x00
000015fc: PUSH2 0x1603
000015ff: PUSH2 0x0f3d
00001602: JUMP
00001603: JUMPDEST
00001604: PUSH1 0x15
00001606: SLOAD
00001607: PUSH2 0x1614
0000160a: SWAP2
0000160b: SWAP1
0000160c: PUSH2 0xffff
0000160f: AND
00001610: PUSH2 0x338d
00001613: JUMP
00001614: JUMPDEST
00001615: PUSH2 0xffff
00001618: AND
00001619: SWAP1
0000161a: POP
0000161b: SWAP1
0000161c: JUMP
0000161d: JUMPDEST
0000161e: PUSH1 0x00
00001620: PUSH2 0x0a8e
00001623: DUP3
00001624: PUSH2 0x216b
00001627: JUMP
00001628: JUMPDEST
00001629: PUSH1 0x00
0000162b: PUSH1 0x01
0000162d: PUSH1 0x01
0000162f: PUSH1 0xa0
00001631: SHL
00001632: SUB
00001633: DUP3
00001634: AND
00001635: PUSH2 0x1651
00001638: JUMPI
00001639: PUSH1 0x40
0000163b: MLOAD
0000163c: PUSH4 0x23d3ad81
00001641: PUSH1 0xe2
00001643: SHL
00001644: DUP2
00001645: MSTORE
00001646: PUSH1 0x04
00001648: ADD
00001649: PUSH1 0x40
0000164b: MLOAD
0000164c: DUP1
0000164d: SWAP2
0000164e: SUB
0000164f: SWAP1
00001650: REVERT
00001651: JUMPDEST
00001652: POP
00001653: PUSH1 0x01
00001655: PUSH1 0x01
00001657: PUSH1 0xa0
00001659: SHL
0000165a: SUB
0000165b: AND
0000165c: PUSH1 0x00
0000165e: SWAP1
0000165f: DUP2
00001660: MSTORE
00001661: PUSH1 0x05
00001663: PUSH1 0x20
00001665: MSTORE
00001666: PUSH1 0x40
00001668: SWAP1
00001669: KECCAK256
0000166a: SLOAD
0000166b: PUSH1 0x01
0000166d: PUSH1 0x01
0000166f: PUSH1 0x40
00001671: SHL
00001672: SUB
00001673: AND
00001674: SWAP1
00001675: JUMP
00001676: JUMPDEST
00001677: CALLER
00001678: PUSH2 0x167f
0000167b: PUSH2 0x17ac
0000167e: JUMP
0000167f: JUMPDEST
00001680: PUSH1 0x01
00001682: PUSH1 0x01
00001684: PUSH1 0xa0
00001686: SHL
00001687: SUB
00001688: AND
00001689: EQ
0000168a: PUSH2 0x16a5
0000168d: JUMPI
0000168e: PUSH1 0x40
00001690: MLOAD
00001691: PUSH3 0x461bcd
00001695: PUSH1 0xe5
00001697: SHL
00001698: DUP2
00001699: MSTORE
0000169a: PUSH1 0x04
0000169c: ADD
0000169d: PUSH2 0x0d16
000016a0: SWAP1
000016a1: PUSH2 0x31ee
000016a4: JUMP
000016a5: JUMPDEST
000016a6: PUSH2 0x16af
000016a9: PUSH1 0x00
000016ab: PUSH2 0x2558
000016ae: JUMP
000016af: JUMPDEST
000016b0: JUMP
000016b1: JUMPDEST
000016b2: CALLER
000016b3: PUSH2 0x16ba
000016b6: PUSH2 0x17ac
000016b9: JUMP
000016ba: JUMPDEST
000016bb: PUSH1 0x01
000016bd: PUSH1 0x01
000016bf: PUSH1 0xa0
000016c1: SHL
000016c2: SUB
000016c3: AND
000016c4: EQ
000016c5: PUSH2 0x16e0
000016c8: JUMPI
000016c9: PUSH1 0x40
000016cb: MLOAD
000016cc: PUSH3 0x461bcd
000016d0: PUSH1 0xe5
000016d2: SHL
000016d3: DUP2
000016d4: MSTORE
000016d5: PUSH1 0x04
000016d7: ADD
000016d8: PUSH2 0x0d16
000016db: SWAP1
000016dc: PUSH2 0x31ee
000016df: JUMP
000016e0: JUMPDEST
000016e1: PUSH1 0x01
000016e3: PUSH1 0x01
000016e5: PUSH1 0xa0
000016e7: SHL
000016e8: SUB
000016e9: AND
000016ea: PUSH1 0x00
000016ec: SWAP1
000016ed: DUP2
000016ee: MSTORE
000016ef: PUSH1 0x10
000016f1: PUSH1 0x20
000016f3: MSTORE
000016f4: PUSH1 0x40
000016f6: SWAP1
000016f7: KECCAK256
000016f8: DUP1
000016f9: SLOAD
000016fa: PUSH1 0xff
000016fc: NOT
000016fd: AND
000016fe: PUSH1 0x01
00001700: OR
00001701: SWAP1
00001702: SSTORE
00001703: JUMP
00001704: JUMPDEST
00001705: CALLER
00001706: PUSH2 0x170d
00001709: PUSH2 0x17ac
0000170c: JUMP
0000170d: JUMPDEST
0000170e: PUSH1 0x01
00001710: PUSH1 0x01
00001712: PUSH1 0xa0
00001714: SHL
00001715: SUB
00001716: AND
00001717: EQ
00001718: PUSH2 0x1733
0000171b: JUMPI
0000171c: PUSH1 0x40
0000171e: MLOAD
0000171f: PUSH3 0x461bcd
00001723: PUSH1 0xe5
00001725: SHL
00001726: DUP2
00001727: MSTORE
00001728: PUSH1 0x04
0000172a: ADD
0000172b: PUSH2 0x0d16
0000172e: SWAP1
0000172f: PUSH2 0x31ee
00001732: JUMP
00001733: JUMPDEST
00001734: PUSH1 0x15
00001736: DUP1
00001737: SLOAD
00001738: PUSH1 0xff
0000173a: PUSH1 0xd8
0000173c: SHL
0000173d: NOT
0000173e: AND
0000173f: PUSH1 0x01
00001741: PUSH1 0xd8
00001743: SHL
00001744: OR
00001745: SWAP1
00001746: SSTORE
00001747: JUMP
00001748: JUMPDEST
00001749: PUSH1 0x00
0000174b: PUSH1 0x0d
0000174d: DUP3
0000174e: DUP2
0000174f: SLOAD
00001750: DUP2
00001751: LT
00001752: PUSH2 0x175d
00001755: JUMPI
00001756: PUSH2 0x175d
00001759: PUSH2 0x34b5
0000175c: JUMP
0000175d: JUMPDEST
0000175e: PUSH1 0x00
00001760: SWAP2
00001761: DUP3
00001762: MSTORE
00001763: PUSH1 0x20
00001765: SWAP1
00001766: SWAP2
00001767: KECCAK256
00001768: ADD
00001769: SLOAD
0000176a: PUSH1 0x01
0000176c: PUSH1 0x01
0000176e: PUSH1 0xa0
00001770: SHL
00001771: SUB
00001772: AND
00001773: SWAP3
00001774: SWAP2
00001775: POP
00001776: POP
00001777: JUMP
00001778: JUMPDEST
00001779: CALLER
0000177a: PUSH2 0x1781
0000177d: PUSH2 0x17ac
00001780: JUMP
00001781: JUMPDEST
00001782: PUSH1 0x01
00001784: PUSH1 0x01
00001786: PUSH1 0xa0
00001788: SHL
00001789: SUB
0000178a: AND
0000178b: EQ
0000178c: PUSH2 0x17a7
0000178f: JUMPI
00001790: PUSH1 0x40
00001792: MLOAD
00001793: PUSH3 0x461bcd
00001797: PUSH1 0xe5
00001799: SHL
0000179a: DUP2
0000179b: MSTORE
0000179c: PUSH1 0x04
0000179e: ADD
0000179f: PUSH2 0x0d16
000017a2: SWAP1
000017a3: PUSH2 0x31ee
000017a6: JUMP
000017a7: JUMPDEST
000017a8: PUSH1 0x13
000017aa: SSTORE
000017ab: JUMP
000017ac: JUMPDEST
000017ad: PUSH1 0x08
000017af: SLOAD
000017b0: PUSH1 0x01
000017b2: PUSH1 0x01
000017b4: PUSH1 0xa0
000017b6: SHL
000017b7: SUB
000017b8: AND
000017b9: SWAP1
000017ba: JUMP
000017bb: JUMPDEST
000017bc: PUSH1 0x60
000017be: PUSH1 0x03
000017c0: DUP1
000017c1: SLOAD
000017c2: PUSH2 0x0aa3
000017c5: SWAP1
000017c6: PUSH2 0x3120
000017c9: JUMP
000017ca: JUMPDEST
000017cb: PUSH1 0x01
000017cd: PUSH1 0x01
000017cf: PUSH1 0xa0
000017d1: SHL
000017d2: SUB
000017d3: AND
000017d4: PUSH1 0x00
000017d6: SWAP1
000017d7: DUP2
000017d8: MSTORE
000017d9: PUSH1 0x0c
000017db: PUSH1 0x20
000017dd: MSTORE
000017de: PUSH1 0x40
000017e0: SWAP1
000017e1: KECCAK256
000017e2: SLOAD
000017e3: SWAP1
000017e4: JUMP
000017e5: JUMPDEST
000017e6: PUSH1 0x15
000017e8: SLOAD
000017e9: PUSH1 0x00
000017eb: SWAP1
000017ec: PUSH1 0x01
000017ee: PUSH1 0xc0
000017f0: SHL
000017f1: SWAP1
000017f2: DIV
000017f3: PUSH1 0xff
000017f5: AND
000017f6: PUSH2 0x1811
000017f9: JUMPI
000017fa: PUSH1 0x15
000017fc: SLOAD
000017fd: PUSH1 0x01
000017ff: PUSH1 0x78
00001801: SHL
00001802: SWAP1
00001803: DIV
00001804: PUSH1 0x01
00001806: PUSH1 0x01
00001808: PUSH1 0x48
0000180a: SHL
0000180b: SUB
0000180c: AND
0000180d: PUSH2 0x1825
00001810: JUMP
00001811: JUMPDEST
00001812: PUSH1 0x15
00001814: SLOAD
00001815: PUSH1 0x01
00001817: PUSH1 0x30
00001819: SHL
0000181a: SWAP1
0000181b: DIV
0000181c: PUSH1 0x01
0000181e: PUSH1 0x01
00001820: PUSH1 0x48
00001822: SHL
00001823: SUB
00001824: AND
00001825: JUMPDEST
00001826: PUSH1 0x01
00001828: PUSH1 0x01
0000182a: PUSH1 0x48
0000182c: SHL
0000182d: SUB
0000182e: AND
0000182f: SWAP1
00001830: POP
00001831: SWAP1
00001832: JUMP
00001833: JUMPDEST
00001834: CALLER
00001835: PUSH1 0x01
00001837: PUSH1 0x01
00001839: PUSH1 0xa0
0000183b: SHL
0000183c: SUB
0000183d: DUP4
0000183e: AND
0000183f: SUB
00001840: PUSH2 0x185c
00001843: JUMPI
00001844: PUSH1 0x40
00001846: MLOAD
00001847: PUSH4 0xb06307db
0000184c: PUSH1 0xe0
0000184e: SHL
0000184f: DUP2
00001850: MSTORE
00001851: PUSH1 0x04
00001853: ADD
00001854: PUSH1 0x40
00001856: MLOAD
00001857: DUP1
00001858: SWAP2
00001859: SUB
0000185a: SWAP1
0000185b: REVERT
0000185c: JUMPDEST
0000185d: CALLER
0000185e: PUSH1 0x00
00001860: DUP2
00001861: DUP2
00001862: MSTORE
00001863: PUSH1 0x07
00001865: PUSH1 0x20
00001867: SWAP1
00001868: DUP2
00001869: MSTORE
0000186a: PUSH1 0x40
0000186c: DUP1
0000186d: DUP4
0000186e: KECCAK256
0000186f: PUSH1 0x01
00001871: PUSH1 0x01
00001873: PUSH1 0xa0
00001875: SHL
00001876: SUB
00001877: DUP8
00001878: AND
00001879: DUP1
0000187a: DUP6
0000187b: MSTORE
0000187c: SWAP1
0000187d: DUP4
0000187e: MSTORE
0000187f: SWAP3
00001880: DUP2
00001881: SWAP1
00001882: KECCAK256
00001883: DUP1
00001884: SLOAD
00001885: PUSH1 0xff
00001887: NOT
00001888: AND
00001889: DUP7
0000188a: ISZERO
0000188b: ISZERO
0000188c: SWAP1
0000188d: DUP2
0000188e: OR
0000188f: SWAP1
00001890: SWAP2
00001891: SSTORE
00001892: SWAP1
00001893: MLOAD
00001894: SWAP1
00001895: DUP2
00001896: MSTORE
00001897: SWAP2
00001898: SWAP3
00001899: SWAP2
0000189a: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31
000018bb: SWAP2
000018bc: ADD
000018bd: PUSH1 0x40
000018bf: MLOAD
000018c0: DUP1
000018c1: SWAP2
000018c2: SUB
000018c3: SWAP1
000018c4: LOG3
000018c5: POP
000018c6: POP
000018c7: JUMP
000018c8: JUMPDEST
000018c9: CALLER
000018ca: PUSH2 0x18d1
000018cd: PUSH2 0x17ac
000018d0: JUMP
000018d1: JUMPDEST
000018d2: PUSH1 0x01
000018d4: PUSH1 0x01
000018d6: PUSH1 0xa0
000018d8: SHL
000018d9: SUB
000018da: AND
000018db: EQ
000018dc: PUSH2 0x18f7
000018df: JUMPI
000018e0: PUSH1 0x40
000018e2: MLOAD
000018e3: PUSH3 0x461bcd
000018e7: PUSH1 0xe5
000018e9: SHL
000018ea: DUP2
000018eb: MSTORE
000018ec: PUSH1 0x04
000018ee: ADD
000018ef: PUSH2 0x0d16
000018f2: SWAP1
000018f3: PUSH2 0x31ee
000018f6: JUMP
000018f7: JUMPDEST
000018f8: PUSH1 0x15
000018fa: SLOAD
000018fb: PUSH2 0xffff
000018fe: SWAP1
000018ff: DUP2
00001900: AND
00001901: SWAP1
00001902: DUP3
00001903: AND
00001904: PUSH2 0x190b
00001907: PUSH2 0x0f3d
0000190a: JUMP
0000190b: JUMPDEST
0000190c: PUSH2 0x1915
0000190f: SWAP2
00001910: SWAP1
00001911: PUSH2 0x3170
00001914: JUMP
00001915: JUMPDEST
00001916: GT
00001917: ISZERO
00001918: PUSH2 0x1933
0000191b: JUMPI
0000191c: PUSH1 0x40
0000191e: MLOAD
0000191f: PUSH3 0x461bcd
00001923: PUSH1 0xe5
00001925: SHL
00001926: DUP2
00001927: MSTORE
00001928: PUSH1 0x04
0000192a: ADD
0000192b: PUSH2 0x0d16
0000192e: SWAP1
0000192f: PUSH2 0x3183
00001932: JUMP
00001933: JUMPDEST
00001934: PUSH2 0x0de2
00001937: DUP3
00001938: DUP3
00001939: PUSH2 0xffff
0000193c: AND
0000193d: PUSH2 0x21e1
00001940: JUMP
00001941: JUMPDEST
00001942: CALLER
00001943: PUSH2 0x194a
00001946: PUSH2 0x17ac
00001949: JUMP
0000194a: JUMPDEST
0000194b: PUSH1 0x01
0000194d: PUSH1 0x01
0000194f: PUSH1 0xa0
00001951: SHL
00001952: SUB
00001953: AND
00001954: EQ
00001955: PUSH2 0x1970
00001958: JUMPI
00001959: PUSH1 0x40
0000195b: MLOAD
0000195c: PUSH3 0x461bcd
00001960: PUSH1 0xe5
00001962: SHL
00001963: DUP2
00001964: MSTORE
00001965: PUSH1 0x04
00001967: ADD
00001968: PUSH2 0x0d16
0000196b: SWAP1
0000196c: PUSH2 0x31ee
0000196f: JUMP
00001970: JUMPDEST
00001971: PUSH1 0xff
00001973: DUP2
00001974: AND
00001975: ISZERO
00001976: DUP1
00001977: PUSH2 0x1983
0000197a: JUMPI
0000197b: POP
0000197c: DUP1
0000197d: PUSH1 0xff
0000197f: AND
00001980: PUSH1 0x01
00001982: EQ
00001983: JUMPDEST
00001984: DUP1
00001985: PUSH2 0x1991
00001988: JUMPI
00001989: POP
0000198a: DUP1
0000198b: PUSH1 0xff
0000198d: AND
0000198e: PUSH1 0x02
00001990: EQ
00001991: JUMPDEST
00001992: PUSH2 0x19ad
00001995: JUMPI
00001996: PUSH1 0x40
00001998: MLOAD
00001999: PUSH3 0x461bcd
0000199d: PUSH1 0xe5
0000199f: SHL
000019a0: DUP2
000019a1: MSTORE
000019a2: PUSH1 0x04
000019a4: ADD
000019a5: PUSH2 0x0d16
000019a8: SWAP1
000019a9: PUSH2 0x32b4
000019ac: JUMP
000019ad: JUMPDEST
000019ae: DUP3
000019af: DUP1
000019b0: ISZERO
000019b1: PUSH2 0x19bd
000019b4: JUMPI
000019b5: POP
000019b6: DUP1
000019b7: PUSH1 0xff
000019b9: AND
000019ba: PUSH1 0x01
000019bc: EQ
000019bd: JUMPDEST
000019be: ISZERO
000019bf: PUSH2 0x19ea
000019c2: JUMPI
000019c3: PUSH1 0x18
000019c5: SLOAD
000019c6: PUSH1 0x01
000019c8: PUSH1 0x01
000019ca: PUSH1 0xa0
000019cc: SHL
000019cd: SUB
000019ce: AND
000019cf: PUSH2 0x19ea
000019d2: JUMPI
000019d3: PUSH1 0x40
000019d5: MLOAD
000019d6: PUSH3 0x461bcd
000019da: PUSH1 0xe5
000019dc: SHL
000019dd: DUP2
000019de: MSTORE
000019df: PUSH1 0x04
000019e1: ADD
000019e2: PUSH2 0x0d16
000019e5: SWAP1
000019e6: PUSH2 0x34cb
000019e9: JUMP
000019ea: JUMPDEST
000019eb: DUP3
000019ec: DUP1
000019ed: ISZERO
000019ee: PUSH2 0x19fa
000019f1: JUMPI
000019f2: POP
000019f3: DUP1
000019f4: PUSH1 0xff
000019f6: AND
000019f7: PUSH1 0x02
000019f9: EQ
000019fa: JUMPDEST
000019fb: ISZERO
000019fc: PUSH2 0x1a21
000019ff: JUMPI
00001a00: PUSH1 0x13
00001a02: SLOAD
00001a03: PUSH1 0x00
00001a05: SUB
00001a06: PUSH2 0x1a21
00001a09: JUMPI
00001a0a: PUSH1 0x40
00001a0c: MLOAD
00001a0d: PUSH3 0x461bcd
00001a11: PUSH1 0xe5
00001a13: SHL
00001a14: DUP2
00001a15: MSTORE
00001a16: PUSH1 0x04
00001a18: ADD
00001a19: PUSH2 0x0d16
00001a1c: SWAP1
00001a1d: PUSH2 0x34f8
00001a20: JUMP
00001a21: JUMPDEST
00001a22: PUSH1 0x15
00001a24: DUP1
00001a25: SLOAD
00001a26: PUSH1 0xff
00001a28: SWAP3
00001a29: SWAP1
00001a2a: SWAP3
00001a2b: AND
00001a2c: PUSH1 0x01
00001a2e: PUSH1 0xe0
00001a30: SHL
00001a31: MUL
00001a32: PUSH1 0xff
00001a34: PUSH1 0xe0
00001a36: SHL
00001a37: NOT
00001a38: SWAP4
00001a39: ISZERO
00001a3a: ISZERO
00001a3b: PUSH1 0x01
00001a3d: PUSH1 0xc8
00001a3f: SHL
00001a40: MUL
00001a41: PUSH1 0xff
00001a43: PUSH1 0xc8
00001a45: SHL
00001a46: NOT
00001a47: SWAP6
00001a48: ISZERO
00001a49: ISZERO
00001a4a: PUSH1 0x01
00001a4c: PUSH1 0xc0
00001a4e: SHL
00001a4f: MUL
00001a50: SWAP6
00001a51: SWAP1
00001a52: SWAP6
00001a53: AND
00001a54: PUSH2 0xffff
00001a57: PUSH1 0xc0
00001a59: SHL
00001a5a: NOT
00001a5b: SWAP1
00001a5c: SWAP4
00001a5d: AND
00001a5e: SWAP3
00001a5f: SWAP1
00001a60: SWAP3
00001a61: OR
00001a62: SWAP4
00001a63: SWAP1
00001a64: SWAP4
00001a65: OR
00001a66: SWAP2
00001a67: SWAP1
00001a68: SWAP2
00001a69: AND
00001a6a: OR
00001a6b: SWAP1
00001a6c: SSTORE
00001a6d: JUMP
00001a6e: JUMPDEST
00001a6f: PUSH2 0x1a79
00001a72: DUP5
00001a73: DUP5
00001a74: DUP5
00001a75: PUSH2 0x236d
00001a78: JUMP
00001a79: JUMPDEST
00001a7a: PUSH1 0x01
00001a7c: PUSH1 0x01
00001a7e: PUSH1 0xa0
00001a80: SHL
00001a81: SUB
00001a82: DUP4
00001a83: AND
00001a84: EXTCODESIZE
00001a85: ISZERO
00001a86: PUSH2 0x1334
00001a89: JUMPI
00001a8a: PUSH2 0x1a95
00001a8d: DUP5
00001a8e: DUP5
00001a8f: DUP5
00001a90: DUP5
00001a91: PUSH2 0x25aa
00001a94: JUMP
00001a95: JUMPDEST
00001a96: PUSH2 0x1334
00001a99: JUMPI
00001a9a: PUSH1 0x40
00001a9c: MLOAD
00001a9d: PUSH4 0x68d2bf6b
00001aa2: PUSH1 0xe1
00001aa4: SHL
00001aa5: DUP2
00001aa6: MSTORE
00001aa7: PUSH1 0x04
00001aa9: ADD
00001aaa: PUSH1 0x40
00001aac: MLOAD
00001aad: DUP1
00001aae: SWAP2
00001aaf: SUB
00001ab0: SWAP1
00001ab1: REVERT
00001ab2: JUMPDEST
00001ab3: PUSH1 0x60
00001ab5: PUSH1 0x16
00001ab7: PUSH2 0x1abf
00001aba: DUP4
00001abb: PUSH2 0x2695
00001abe: JUMP
00001abf: JUMPDEST
00001ac0: PUSH1 0x40
00001ac2: MLOAD
00001ac3: PUSH1 0x20
00001ac5: ADD
00001ac6: PUSH2 0x1ad0
00001ac9: SWAP3
00001aca: SWAP2
00001acb: SWAP1
00001acc: PUSH2 0x3520
00001acf: JUMP
00001ad0: JUMPDEST
00001ad1: PUSH1 0x40
00001ad3: MLOAD
00001ad4: PUSH1 0x20
00001ad6: DUP2
00001ad7: DUP4
00001ad8: SUB
00001ad9: SUB
00001ada: DUP2
00001adb: MSTORE
00001adc: SWAP1
00001add: PUSH1 0x40
00001adf: MSTORE
00001ae0: SWAP1
00001ae1: POP
00001ae2: SWAP2
00001ae3: SWAP1
00001ae4: POP
00001ae5: JUMP
00001ae6: JUMPDEST
00001ae7: CALLER
00001ae8: PUSH2 0x1aef
00001aeb: PUSH2 0x17ac
00001aee: JUMP
00001aef: JUMPDEST
00001af0: PUSH1 0x01
00001af2: PUSH1 0x01
00001af4: PUSH1 0xa0
00001af6: SHL
00001af7: SUB
00001af8: AND
00001af9: EQ
00001afa: PUSH2 0x1b15
00001afd: JUMPI
00001afe: PUSH1 0x40
00001b00: MLOAD
00001b01: PUSH3 0x461bcd
00001b05: PUSH1 0xe5
00001b07: SHL
00001b08: DUP2
00001b09: MSTORE
00001b0a: PUSH1 0x04
00001b0c: ADD
00001b0d: PUSH2 0x0d16
00001b10: SWAP1
00001b11: PUSH2 0x31ee
00001b14: JUMP
00001b15: JUMPDEST
00001b16: PUSH1 0x17
00001b18: SWAP2
00001b19: SWAP1
00001b1a: SWAP2
00001b1b: SSTORE
00001b1c: PUSH1 0x18
00001b1e: DUP1
00001b1f: SLOAD
00001b20: PUSH1 0x01
00001b22: PUSH1 0x01
00001b24: PUSH1 0xa0
00001b26: SHL
00001b27: SUB
00001b28: SWAP1
00001b29: SWAP3
00001b2a: AND
00001b2b: PUSH1 0x01
00001b2d: PUSH1 0x01
00001b2f: PUSH1 0xa0
00001b31: SHL
00001b32: SUB
00001b33: NOT
00001b34: SWAP3
00001b35: DUP4
00001b36: AND
00001b37: DUP2
00001b38: OR
00001b39: SWAP1
00001b3a: SWAP2
00001b3b: SSTORE
00001b3c: PUSH1 0x19
00001b3e: DUP1
00001b3f: SLOAD
00001b40: SWAP1
00001b41: SWAP3
00001b42: AND
00001b43: OR
00001b44: SWAP1
00001b45: SSTORE
00001b46: JUMP
00001b47: JUMPDEST
00001b48: PUSH1 0x01
00001b4a: PUSH1 0x01
00001b4c: PUSH1 0xa0
00001b4e: SHL
00001b4f: SUB
00001b50: AND
00001b51: PUSH1 0x00
00001b53: SWAP1
00001b54: DUP2
00001b55: MSTORE
00001b56: PUSH1 0x0e
00001b58: PUSH1 0x20
00001b5a: MSTORE
00001b5b: PUSH1 0x40
00001b5d: SWAP1
00001b5e: KECCAK256
00001b5f: SLOAD
00001b60: SWAP1
00001b61: JUMP
00001b62: JUMPDEST
00001b63: PUSH1 0x15
00001b65: SLOAD
00001b66: PUSH1 0x60
00001b68: SWAP1
00001b69: PUSH2 0xffff
00001b6c: AND
00001b6d: DUP3
00001b6e: PUSH2 0x1b75
00001b71: PUSH2 0x0f3d
00001b74: JUMP
00001b75: JUMPDEST
00001b76: PUSH2 0x1b7f
00001b79: SWAP2
00001b7a: SWAP1
00001b7b: PUSH2 0x3170
00001b7e: JUMP
00001b7f: JUMPDEST
00001b80: GT
00001b81: ISZERO
00001b82: PUSH2 0x1bb3
00001b85: JUMPI
00001b86: POP
00001b87: PUSH1 0x40
00001b89: DUP1
00001b8a: MLOAD
00001b8b: DUP1
00001b8c: DUP3
00001b8d: ADD
00001b8e: SWAP1
00001b8f: SWAP2
00001b90: MSTORE
00001b91: PUSH1 0x11
00001b93: DUP2
00001b94: MSTORE
00001b95: PUSH17 0x4e4f545f454e4f5547485f535550504c59
00001ba7: PUSH1 0x78
00001ba9: SHL
00001baa: PUSH1 0x20
00001bac: DUP3
00001bad: ADD
00001bae: MSTORE
00001baf: PUSH2 0x0a8e
00001bb2: JUMP
00001bb3: JUMPDEST
00001bb4: PUSH1 0x15
00001bb6: SLOAD
00001bb7: PUSH1 0x01
00001bb9: PUSH1 0xc0
00001bbb: SHL
00001bbc: SWAP1
00001bbd: DIV
00001bbe: PUSH1 0xff
00001bc0: AND
00001bc1: DUP1
00001bc2: PUSH2 0x1bd5
00001bc5: JUMPI
00001bc6: POP
00001bc7: PUSH1 0x15
00001bc9: SLOAD
00001bca: PUSH1 0x01
00001bcc: PUSH1 0xc8
00001bce: SHL
00001bcf: SWAP1
00001bd0: DIV
00001bd1: PUSH1 0xff
00001bd3: AND
00001bd4: ISZERO
00001bd5: JUMPDEST
00001bd6: ISZERO
00001bd7: PUSH2 0x1bff
00001bda: JUMPI
00001bdb: POP
00001bdc: PUSH1 0x40
00001bde: DUP1
00001bdf: MLOAD
00001be0: DUP1
00001be1: DUP3
00001be2: ADD
00001be3: SWAP1
00001be4: SWAP2
00001be5: MSTORE
00001be6: PUSH1 0x08
00001be8: DUP2
00001be9: MSTORE
00001bea: PUSH8 0x4e4f545f4c495645
00001bf3: PUSH1 0xc0
00001bf5: SHL
00001bf6: PUSH1 0x20
00001bf8: DUP3
00001bf9: ADD
00001bfa: MSTORE
00001bfb: PUSH2 0x0a8e
00001bfe: JUMP
00001bff: JUMPDEST
00001c00: PUSH1 0x15
00001c02: SLOAD
00001c03: PUSH1 0x01
00001c05: PUSH1 0xc0
00001c07: SHL
00001c08: SWAP1
00001c09: DIV
00001c0a: PUSH1 0xff
00001c0c: AND
00001c0d: ISZERO
00001c0e: DUP1
00001c0f: ISZERO
00001c10: PUSH2 0x1c22
00001c13: JUMPI
00001c14: POP
00001c15: PUSH1 0x15
00001c17: SLOAD
00001c18: PUSH1 0x01
00001c1a: PUSH1 0xc8
00001c1c: SHL
00001c1d: SWAP1
00001c1e: DIV
00001c1f: PUSH1 0xff
00001c21: AND
00001c22: JUMPDEST
00001c23: ISZERO
00001c24: PUSH2 0x0a8e
00001c27: JUMPI
00001c28: POP
00001c29: PUSH1 0x40
00001c2b: DUP1
00001c2c: MLOAD
00001c2d: PUSH1 0x20
00001c2f: DUP2
00001c30: ADD
00001c31: SWAP1
00001c32: SWAP2
00001c33: MSTORE
00001c34: PUSH1 0x00
00001c36: DUP2
00001c37: MSTORE
00001c38: PUSH2 0x0a8e
00001c3b: JUMP
00001c3c: JUMPDEST
00001c3d: CALLVALUE
00001c3e: DUP3
00001c3f: PUSH2 0xffff
00001c42: AND
00001c43: PUSH2 0x1c4a
00001c46: PUSH2 0x17e5
00001c49: JUMP
00001c4a: JUMPDEST
00001c4b: PUSH2 0x1c54
00001c4e: SWAP2
00001c4f: SWAP1
00001c50: PUSH2 0x31b0
00001c53: JUMP
00001c54: JUMPDEST
00001c55: GT
00001c56: ISZERO
00001c57: PUSH2 0x1c72
00001c5a: JUMPI
00001c5b: PUSH1 0x40
00001c5d: MLOAD
00001c5e: PUSH3 0x461bcd
00001c62: PUSH1 0xe5
00001c64: SHL
00001c65: DUP2
00001c66: MSTORE
00001c67: PUSH1 0x04
00001c69: ADD
00001c6a: PUSH2 0x0d16
00001c6d: SWAP1
00001c6e: PUSH2 0x31c7
00001c71: JUMP
00001c72: JUMPDEST
00001c73: PUSH1 0x15
00001c75: SLOAD
00001c76: PUSH2 0xffff
00001c79: DUP1
00001c7a: DUP3
00001c7b: AND
00001c7c: SWAP2
00001c7d: PUSH3 0x010000
00001c81: DUP2
00001c82: DIV
00001c83: DUP3
00001c84: AND
00001c85: SWAP2
00001c86: PUSH1 0x01
00001c88: PUSH1 0x20
00001c8a: SHL
00001c8b: DUP3
00001c8c: DIV
00001c8d: AND
00001c8e: SWAP1
00001c8f: PUSH1 0xff
00001c91: PUSH1 0x01
00001c93: PUSH1 0xc8
00001c95: SHL
00001c96: DUP3
00001c97: DIV
00001c98: DUP2
00001c99: AND
00001c9a: SWAP2
00001c9b: PUSH1 0x01
00001c9d: PUSH1 0xc0
00001c9f: SHL
00001ca0: SWAP1
00001ca1: DIV
00001ca2: AND
00001ca3: DUP5
00001ca4: DUP8
00001ca5: PUSH2 0x1cac
00001ca8: PUSH2 0x0f3d
00001cab: JUMP
00001cac: JUMPDEST
00001cad: PUSH2 0x1cb6
00001cb0: SWAP2
00001cb1: SWAP1
00001cb2: PUSH2 0x32dc
00001cb5: JUMP
00001cb6: JUMPDEST
00001cb7: PUSH2 0xffff
00001cba: AND
00001cbb: GT
00001cbc: ISZERO
00001cbd: PUSH2 0x1cd8
00001cc0: JUMPI
00001cc1: PUSH1 0x40
00001cc3: MLOAD
00001cc4: PUSH3 0x461bcd
00001cc8: PUSH1 0xe5
00001cca: SHL
00001ccb: DUP2
00001ccc: MSTORE
00001ccd: PUSH1 0x04
00001ccf: ADD
00001cd0: PUSH2 0x0d16
00001cd3: SWAP1
00001cd4: PUSH2 0x3183
00001cd7: JUMP
00001cd8: JUMPDEST
00001cd9: DUP2
00001cda: PUSH2 0x1d15
00001cdd: JUMPI
00001cde: PUSH1 0x40
00001ce0: MLOAD
00001ce1: PUSH3 0x461bcd
00001ce5: PUSH1 0xe5
00001ce7: SHL
00001ce8: DUP2
00001ce9: MSTORE
00001cea: PUSH1 0x20
00001cec: PUSH1 0x04
00001cee: DUP3
00001cef: ADD
00001cf0: MSTORE
00001cf1: PUSH1 0x0d
00001cf3: PUSH1 0x24
00001cf5: DUP3
00001cf6: ADD
00001cf7: MSTORE
00001cf8: PUSH13 0x53616c6520696e616374697665
00001d06: PUSH1 0x98
00001d08: SHL
00001d09: PUSH1 0x44
00001d0b: DUP3
00001d0c: ADD
00001d0d: MSTORE
00001d0e: PUSH1 0x64
00001d10: ADD
00001d11: PUSH2 0x0d16
00001d14: JUMP
00001d15: JUMPDEST
00001d16: DUP1
00001d17: ISZERO
00001d18: PUSH2 0x1f0f
00001d1b: JUMPI
00001d1c: PUSH1 0x15
00001d1e: SLOAD
00001d1f: PUSH1 0x01
00001d21: PUSH1 0xe0
00001d23: SHL
00001d24: SWAP1
00001d25: DIV
00001d26: PUSH1 0xff
00001d28: AND
00001d29: PUSH1 0x01
00001d2b: SUB
00001d2c: PUSH2 0x1e2b
00001d2f: JUMPI
00001d30: PUSH1 0x19
00001d32: SLOAD
00001d33: PUSH1 0x17
00001d35: SLOAD
00001d36: PUSH1 0x40
00001d38: MLOAD
00001d39: PUSH3 0x7eeac7
00001d3d: PUSH1 0xe1
00001d3f: SHL
00001d40: DUP2
00001d41: MSTORE
00001d42: PUSH2 0xffff
00001d45: DUP11
00001d46: AND
00001d47: SWAP3
00001d48: PUSH1 0x01
00001d4a: PUSH1 0x01
00001d4c: PUSH1 0xa0
00001d4e: SHL
00001d4f: SUB
00001d50: AND
00001d51: SWAP2
00001d52: PUSH3 0xfdd58e
00001d56: SWAP2
00001d57: PUSH2 0x1d64
00001d5a: SWAP2
00001d5b: CALLER
00001d5c: SWAP2
00001d5d: PUSH1 0x04
00001d5f: ADD
00001d60: PUSH2 0x2b3d
00001d63: JUMP
00001d64: JUMPDEST
00001d65: PUSH1 0x20
00001d67: PUSH1 0x40
00001d69: MLOAD
00001d6a: DUP1
00001d6b: DUP4
00001d6c: SUB
00001d6d: DUP2
00001d6e: DUP7
00001d6f: GAS
00001d70: STATICCALL
00001d71: ISZERO
00001d72: DUP1
00001d73: ISZERO
00001d74: PUSH2 0x1d81
00001d77: JUMPI
00001d78: RETURNDATASIZE
00001d79: PUSH1 0x00
00001d7b: DUP1
00001d7c: RETURNDATACOPY
00001d7d: RETURNDATASIZE
00001d7e: PUSH1 0x00
00001d80: REVERT
00001d81: JUMPDEST
00001d82: POP
00001d83: POP
00001d84: POP
00001d85: POP
00001d86: PUSH1 0x40
00001d88: MLOAD
00001d89: RETURNDATASIZE
00001d8a: PUSH1 0x1f
00001d8c: NOT
00001d8d: PUSH1 0x1f
00001d8f: DUP3
00001d90: ADD
00001d91: AND
00001d92: DUP3
00001d93: ADD
00001d94: DUP1
00001d95: PUSH1 0x40
00001d97: MSTORE
00001d98: POP
00001d99: DUP2
00001d9a: ADD
00001d9b: SWAP1
00001d9c: PUSH2 0x1da5
00001d9f: SWAP2
00001da0: SWAP1
00001da1: PUSH2 0x32fe
00001da4: JUMP
00001da5: JUMPDEST
00001da6: LT
00001da7: ISZERO
00001da8: PUSH2 0x1dc3
00001dab: JUMPI
00001dac: PUSH1 0x40
00001dae: MLOAD
00001daf: PUSH3 0x461bcd
00001db3: PUSH1 0xe5
00001db5: SHL
00001db6: DUP2
00001db7: MSTORE
00001db8: PUSH1 0x04
00001dba: ADD
00001dbb: PUSH2 0x0d16
00001dbe: SWAP1
00001dbf: PUSH2 0x3317
00001dc2: JUMP
00001dc3: JUMPDEST
00001dc4: PUSH1 0x19
00001dc6: SLOAD
00001dc7: PUSH1 0x17
00001dc9: SLOAD
00001dca: PUSH1 0x40
00001dcc: MLOAD
00001dcd: PUSH4 0x029fc4d9
00001dd2: PUSH1 0xe5
00001dd4: SHL
00001dd5: DUP2
00001dd6: MSTORE
00001dd7: PUSH1 0x01
00001dd9: PUSH1 0x01
00001ddb: PUSH1 0xa0
00001ddd: SHL
00001dde: SUB
00001ddf: SWAP1
00001de0: SWAP3
00001de1: AND
00001de2: SWAP2
00001de3: PUSH4 0x53f89b20
00001de8: SWAP2
00001de9: PUSH2 0x1df8
00001dec: SWAP2
00001ded: DUP12
00001dee: SWAP1
00001def: CALLER
00001df0: SWAP1
00001df1: PUSH1 0x04
00001df3: ADD
00001df4: PUSH2 0x3341
00001df7: JUMP
00001df8: JUMPDEST
00001df9: PUSH1 0x00
00001dfb: PUSH1 0x40
00001dfd: MLOAD
00001dfe: DUP1
00001dff: DUP4
00001e00: SUB
00001e01: DUP2
00001e02: PUSH1 0x00
00001e04: DUP8
00001e05: DUP1
00001e06: EXTCODESIZE
00001e07: ISZERO
00001e08: DUP1
00001e09: ISZERO
00001e0a: PUSH2 0x1e12
00001e0d: JUMPI
00001e0e: PUSH1 0x00
00001e10: DUP1
00001e11: REVERT
00001e12: JUMPDEST
00001e13: POP
00001e14: GAS
00001e15: CALL
00001e16: ISZERO
00001e17: DUP1
00001e18: ISZERO
00001e19: PUSH2 0x1e26
00001e1c: JUMPI
00001e1d: RETURNDATASIZE
00001e1e: PUSH1 0x00
00001e20: DUP1
00001e21: RETURNDATACOPY
00001e22: RETURNDATASIZE
00001e23: PUSH1 0x00
00001e25: REVERT
00001e26: JUMPDEST
00001e27: POP
00001e28: POP
00001e29: POP
00001e2a: POP
00001e2b: JUMPDEST
00001e2c: PUSH1 0x15
00001e2e: SLOAD
00001e2f: PUSH1 0x01
00001e31: PUSH1 0xe0
00001e33: SHL
00001e34: SWAP1
00001e35: DIV
00001e36: PUSH1 0xff
00001e38: AND
00001e39: PUSH1 0x02
00001e3b: SUB
00001e3c: PUSH2 0x1f0a
00001e3f: JUMPI
00001e40: CALLER
00001e41: PUSH1 0x00
00001e43: SWAP1
00001e44: DUP2
00001e45: MSTORE
00001e46: PUSH1 0x11
00001e48: PUSH1 0x20
00001e4a: MSTORE
00001e4b: PUSH1 0x40
00001e4d: DUP2
00001e4e: KECCAK256
00001e4f: SLOAD
00001e50: PUSH2 0x1e5e
00001e53: SWAP1
00001e54: DUP10
00001e55: SWAP1
00001e56: PUSH2 0xffff
00001e59: AND
00001e5a: PUSH2 0x32dc
00001e5d: JUMP
00001e5e: JUMPDEST
00001e5f: SWAP1
00001e60: POP
00001e61: DUP5
00001e62: PUSH2 0xffff
00001e65: AND
00001e66: DUP2
00001e67: PUSH2 0xffff
00001e6a: AND
00001e6b: GT
00001e6c: ISZERO
00001e6d: PUSH2 0x1e88
00001e70: JUMPI
00001e71: PUSH1 0x40
00001e73: MLOAD
00001e74: PUSH3 0x461bcd
00001e78: PUSH1 0xe5
00001e7a: SHL
00001e7b: DUP2
00001e7c: MSTORE
00001e7d: PUSH1 0x04
00001e7f: ADD
00001e80: PUSH2 0x0d16
00001e83: SWAP1
00001e84: PUSH2 0x3317
00001e87: JUMP
00001e88: JUMPDEST
00001e89: PUSH1 0x40
00001e8b: MLOAD
00001e8c: PUSH1 0x01
00001e8e: PUSH1 0x01
00001e90: PUSH1 0x60
00001e92: SHL
00001e93: SUB
00001e94: NOT
00001e95: CALLER
00001e96: PUSH1 0x60
00001e98: SHL
00001e99: AND
00001e9a: PUSH1 0x20
00001e9c: DUP3
00001e9d: ADD
00001e9e: MSTORE
00001e9f: PUSH1 0x00
00001ea1: SWAP1
00001ea2: PUSH1 0x34
00001ea4: ADD
00001ea5: PUSH1 0x40
00001ea7: MLOAD
00001ea8: PUSH1 0x20
00001eaa: DUP2
00001eab: DUP4
00001eac: SUB
00001ead: SUB
00001eae: DUP2
00001eaf: MSTORE
00001eb0: SWAP1
00001eb1: PUSH1 0x40
00001eb3: MSTORE
00001eb4: DUP1
00001eb5: MLOAD
00001eb6: SWAP1
00001eb7: PUSH1 0x20
00001eb9: ADD
00001eba: KECCAK256
00001ebb: SWAP1
00001ebc: POP
00001ebd: PUSH2 0x1ec9
00001ec0: DUP9
00001ec1: PUSH1 0x13
00001ec3: SLOAD
00001ec4: DUP4
00001ec5: PUSH2 0x2357
00001ec8: JUMP
00001ec9: JUMPDEST
00001eca: PUSH2 0x1ee5
00001ecd: JUMPI
00001ece: PUSH1 0x40
00001ed0: MLOAD
00001ed1: PUSH3 0x461bcd
00001ed5: PUSH1 0xe5
00001ed7: SHL
00001ed8: DUP2
00001ed9: MSTORE
00001eda: PUSH1 0x04
00001edc: ADD
00001edd: PUSH2 0x0d16
00001ee0: SWAP1
00001ee1: PUSH2 0x3364
00001ee4: JUMP
00001ee5: JUMPDEST
00001ee6: POP
00001ee7: CALLER
00001ee8: PUSH1 0x00
00001eea: SWAP1
00001eeb: DUP2
00001eec: MSTORE
00001eed: PUSH1 0x11
00001eef: PUSH1 0x20
00001ef1: MSTORE
00001ef2: PUSH1 0x40
00001ef4: SWAP1
00001ef5: KECCAK256
00001ef6: DUP1
00001ef7: SLOAD
00001ef8: PUSH2 0xffff
00001efb: NOT
00001efc: AND
00001efd: PUSH2 0xffff
00001f00: SWAP3
00001f01: SWAP1
00001f02: SWAP3
00001f03: AND
00001f04: SWAP2
00001f05: SWAP1
00001f06: SWAP2
00001f07: OR
00001f08: SWAP1
00001f09: SSTORE
00001f0a: JUMPDEST
00001f0b: PUSH2 0x1f37
00001f0e: JUMP
00001f0f: JUMPDEST
00001f10: DUP3
00001f11: PUSH2 0xffff
00001f14: AND
00001f15: DUP8
00001f16: PUSH2 0xffff
00001f19: AND
00001f1a: GT
00001f1b: ISZERO
00001f1c: PUSH2 0x1f37
00001f1f: JUMPI
00001f20: PUSH1 0x40
00001f22: MLOAD
00001f23: PUSH3 0x461bcd
00001f27: PUSH1 0xe5
00001f29: SHL
00001f2a: DUP2
00001f2b: MSTORE
00001f2c: PUSH1 0x04
00001f2e: ADD
00001f2f: PUSH2 0x0d16
00001f32: SWAP1
00001f33: PUSH2 0x3317
00001f36: JUMP
00001f37: JUMPDEST
00001f38: PUSH2 0x1f45
00001f3b: CALLER
00001f3c: DUP9
00001f3d: PUSH2 0xffff
00001f40: AND
00001f41: PUSH2 0x21e1
00001f44: JUMP
00001f45: JUMPDEST
00001f46: POP
00001f47: POP
00001f48: POP
00001f49: POP
00001f4a: POP
00001f4b: POP
00001f4c: POP
00001f4d: JUMP
00001f4e: JUMPDEST
00001f4f: CALLER
00001f50: PUSH2 0x1f57
00001f53: PUSH2 0x17ac
00001f56: JUMP
00001f57: JUMPDEST
00001f58: PUSH1 0x01
00001f5a: PUSH1 0x01
00001f5c: PUSH1 0xa0
00001f5e: SHL
00001f5f: SUB
00001f60: AND
00001f61: EQ
00001f62: PUSH2 0x1f7d
00001f65: JUMPI
00001f66: PUSH1 0x40
00001f68: MLOAD
00001f69: PUSH3 0x461bcd
00001f6d: PUSH1 0xe5
00001f6f: SHL
00001f70: DUP2
00001f71: MSTORE
00001f72: PUSH1 0x04
00001f74: ADD
00001f75: PUSH2 0x0d16
00001f78: SWAP1
00001f79: PUSH2 0x31ee
00001f7c: JUMP
00001f7d: JUMPDEST
00001f7e: PUSH1 0x01
00001f80: PUSH1 0x01
00001f82: PUSH1 0xa0
00001f84: SHL
00001f85: SUB
00001f86: DUP2
00001f87: AND
00001f88: PUSH2 0x1fe2
00001f8b: JUMPI
00001f8c: PUSH1 0x40
00001f8e: MLOAD
00001f8f: PUSH3 0x461bcd
00001f93: PUSH1 0xe5
00001f95: SHL
00001f96: DUP2
00001f97: MSTORE
00001f98: PUSH1 0x20
00001f9a: PUSH1 0x04
00001f9c: DUP3
00001f9d: ADD
00001f9e: MSTORE
00001f9f: PUSH1 0x26
00001fa1: PUSH1 0x24
00001fa3: DUP3
00001fa4: ADD
00001fa5: MSTORE
00001fa6: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00001fc7: PUSH1 0x44
00001fc9: DUP3
00001fca: ADD
00001fcb: MSTORE
00001fcc: PUSH6 0x646472657373
00001fd3: PUSH1 0xd0
00001fd5: SHL
00001fd6: PUSH1 0x64
00001fd8: DUP3
00001fd9: ADD
00001fda: MSTORE
00001fdb: PUSH1 0x84
00001fdd: ADD
00001fde: PUSH2 0x0d16
00001fe1: JUMP
00001fe2: JUMPDEST
00001fe3: PUSH2 0x1feb
00001fe6: DUP2
00001fe7: PUSH2 0x2558
00001fea: JUMP
00001feb: JUMPDEST
00001fec: POP
00001fed: JUMP
00001fee: JUMPDEST
00001fef: CALLER
00001ff0: PUSH2 0x1ff7
00001ff3: PUSH2 0x17ac
00001ff6: JUMP
00001ff7: JUMPDEST
00001ff8: PUSH1 0x01
00001ffa: PUSH1 0x01
00001ffc: PUSH1 0xa0
00001ffe: SHL
00001fff: SUB
00002000: AND
00002001: EQ
00002002: PUSH2 0x201d
00002005: JUMPI
00002006: PUSH1 0x40
00002008: MLOAD
00002009: PUSH3 0x461bcd
0000200d: PUSH1 0xe5
0000200f: SHL
00002010: DUP2
00002011: MSTORE
00002012: PUSH1 0x04
00002014: ADD
00002015: PUSH2 0x0d16
00002018: SWAP1
00002019: PUSH2 0x31ee
0000201c: JUMP
0000201d: JUMPDEST
0000201e: DUP1
0000201f: PUSH1 0xff
00002021: AND
00002022: PUSH1 0x01
00002024: EQ
00002025: DUP1
00002026: PUSH2 0x2032
00002029: JUMPI
0000202a: POP
0000202b: DUP1
0000202c: PUSH1 0xff
0000202e: AND
0000202f: PUSH1 0x02
00002031: EQ
00002032: JUMPDEST
00002033: PUSH2 0x204e
00002036: JUMPI
00002037: PUSH1 0x40
00002039: MLOAD
0000203a: PUSH3 0x461bcd
0000203e: PUSH1 0xe5
00002040: SHL
00002041: DUP2
00002042: MSTORE
00002043: PUSH1 0x04
00002045: ADD
00002046: PUSH2 0x0d16
00002049: SWAP1
0000204a: PUSH2 0x32b4
0000204d: JUMP
0000204e: JUMPDEST
0000204f: DUP2
00002050: DUP1
00002051: ISZERO
00002052: PUSH2 0x205e
00002055: JUMPI
00002056: POP
00002057: DUP1
00002058: PUSH1 0xff
0000205a: AND
0000205b: PUSH1 0x01
0000205d: EQ
0000205e: JUMPDEST
0000205f: ISZERO
00002060: PUSH2 0x208b
00002063: JUMPI
00002064: PUSH1 0x18
00002066: SLOAD
00002067: PUSH1 0x01
00002069: PUSH1 0x01
0000206b: PUSH1 0xa0
0000206d: SHL
0000206e: SUB
0000206f: AND
00002070: PUSH2 0x208b
00002073: JUMPI
00002074: PUSH1 0x40
00002076: MLOAD
00002077: PUSH3 0x461bcd
0000207b: PUSH1 0xe5
0000207d: SHL
0000207e: DUP2
0000207f: MSTORE
00002080: PUSH1 0x04
00002082: ADD
00002083: PUSH2 0x0d16
00002086: SWAP1
00002087: PUSH2 0x34cb
0000208a: JUMP
0000208b: JUMPDEST
0000208c: DUP2
0000208d: DUP1
0000208e: ISZERO
0000208f: PUSH2 0x209b
00002092: JUMPI
00002093: POP
00002094: DUP1
00002095: PUSH1 0xff
00002097: AND
00002098: PUSH1 0x02
0000209a: EQ
0000209b: JUMPDEST
0000209c: ISZERO
0000209d: PUSH2 0x20c2
000020a0: JUMPI
000020a1: PUSH1 0x14
000020a3: SLOAD
000020a4: PUSH1 0x00
000020a6: SUB
000020a7: PUSH2 0x20c2
000020aa: JUMPI
000020ab: PUSH1 0x40
000020ad: MLOAD
000020ae: PUSH3 0x461bcd
000020b2: PUSH1 0xe5
000020b4: SHL
000020b5: DUP2
000020b6: MSTORE
000020b7: PUSH1 0x04
000020b9: ADD
000020ba: PUSH2 0x0d16
000020bd: SWAP1
000020be: PUSH2 0x34f8
000020c1: JUMP
000020c2: JUMPDEST
000020c3: PUSH1 0x15
000020c5: DUP1
000020c6: SLOAD
000020c7: PUSH4 0xff0000ff
000020cc: PUSH1 0xd0
000020ce: SHL
000020cf: NOT
000020d0: AND
000020d1: PUSH1 0x01
000020d3: PUSH1 0xd0
000020d5: SHL
000020d6: SWAP4
000020d7: ISZERO
000020d8: ISZERO
000020d9: SWAP4
000020da: SWAP1
000020db: SWAP4
000020dc: MUL
000020dd: PUSH1 0xff
000020df: PUSH1 0xe8
000020e1: SHL
000020e2: NOT
000020e3: AND
000020e4: SWAP3
000020e5: SWAP1
000020e6: SWAP3
000020e7: OR
000020e8: PUSH1 0x01
000020ea: PUSH1 0xe8
000020ec: SHL
000020ed: PUSH1 0xff
000020ef: SWAP3
000020f0: SWAP1
000020f1: SWAP3
000020f2: AND
000020f3: SWAP2
000020f4: SWAP1
000020f5: SWAP2
000020f6: MUL
000020f7: OR
000020f8: SWAP1
000020f9: SSTORE
000020fa: JUMP
000020fb: JUMPDEST
000020fc: CALLER
000020fd: PUSH2 0x2104
00002100: PUSH2 0x17ac
00002103: JUMP
00002104: JUMPDEST
00002105: PUSH1 0x01
00002107: PUSH1 0x01
00002109: PUSH1 0xa0
0000210b: SHL
0000210c: SUB
0000210d: AND
0000210e: EQ
0000210f: PUSH2 0x212a
00002112: JUMPI
00002113: PUSH1 0x40
00002115: MLOAD
00002116: PUSH3 0x461bcd
0000211a: PUSH1 0xe5
0000211c: SHL
0000211d: DUP2
0000211e: MSTORE
0000211f: PUSH1 0x04
00002121: ADD
00002122: PUSH2 0x0d16
00002125: SWAP1
00002126: PUSH2 0x31ee
00002129: JUMP
0000212a: JUMPDEST
0000212b: PUSH1 0x1a
0000212d: PUSH2 0x0de2
00002130: DUP3
00002131: DUP3
00002132: PUSH2 0x33f6
00002135: JUMP
00002136: JUMPDEST
00002137: PUSH1 0x00
00002139: DUP2
0000213a: PUSH1 0x01
0000213c: GT
0000213d: ISZERO
0000213e: DUP1
0000213f: ISZERO
00002140: PUSH2 0x214a
00002143: JUMPI
00002144: POP
00002145: PUSH1 0x00
00002147: SLOAD
00002148: DUP3
00002149: LT
0000214a: JUMPDEST
0000214b: DUP1
0000214c: ISZERO
0000214d: PUSH2 0x0a8e
00002150: JUMPI
00002151: POP
00002152: POP
00002153: PUSH1 0x00
00002155: SWAP1
00002156: DUP2
00002157: MSTORE
00002158: PUSH1 0x04
0000215a: PUSH1 0x20
0000215c: MSTORE
0000215d: PUSH1 0x40
0000215f: SWAP1
00002160: KECCAK256
00002161: SLOAD
00002162: PUSH1 0x01
00002164: PUSH1 0xe0
00002166: SHL
00002167: AND
00002168: ISZERO
00002169: SWAP1
0000216a: JUMP
0000216b: JUMPDEST
0000216c: PUSH1 0x00
0000216e: DUP2
0000216f: DUP1
00002170: PUSH1 0x01
00002172: GT
00002173: PUSH2 0x21c8
00002176: JUMPI
00002177: PUSH1 0x00
00002179: SLOAD
0000217a: DUP2
0000217b: LT
0000217c: ISZERO
0000217d: PUSH2 0x21c8
00002180: JUMPI
00002181: PUSH1 0x00
00002183: DUP2
00002184: DUP2
00002185: MSTORE
00002186: PUSH1 0x04
00002188: PUSH1 0x20
0000218a: MSTORE
0000218b: PUSH1 0x40
0000218d: DUP2
0000218e: KECCAK256
0000218f: SLOAD
00002190: SWAP1
00002191: PUSH1 0x01
00002193: PUSH1 0xe0
00002195: SHL
00002196: DUP3
00002197: AND
00002198: SWAP1
00002199: SUB
0000219a: PUSH2 0x21c6
0000219d: JUMPI
0000219e: JUMPDEST
0000219f: DUP1
000021a0: PUSH1 0x00
000021a2: SUB
000021a3: PUSH2 0x21bf
000021a6: JUMPI
000021a7: POP
000021a8: PUSH1 0x00
000021aa: NOT
000021ab: ADD
000021ac: PUSH1 0x00
000021ae: DUP2
000021af: DUP2
000021b0: MSTORE
000021b1: PUSH1 0x04
000021b3: PUSH1 0x20
000021b5: MSTORE
000021b6: PUSH1 0x40
000021b8: SWAP1
000021b9: KECCAK256
000021ba: SLOAD
000021bb: PUSH2 0x219e
000021be: JUMP
000021bf: JUMPDEST
000021c0: SWAP4
000021c1: SWAP3
000021c2: POP
000021c3: POP
000021c4: POP
000021c5: JUMP
000021c6: JUMPDEST
000021c7: POP
000021c8: JUMPDEST
000021c9: PUSH1 0x40
000021cb: MLOAD
000021cc: PUSH4 0x6f96cda1
000021d1: PUSH1 0xe1
000021d3: SHL
000021d4: DUP2
000021d5: MSTORE
000021d6: PUSH1 0x04
000021d8: ADD
000021d9: PUSH1 0x40
000021db: MLOAD
000021dc: DUP1
000021dd: SWAP2
000021de: SUB
000021df: SWAP1
000021e0: REVERT
000021e1: JUMPDEST
000021e2: PUSH2 0x0de2
000021e5: DUP3
000021e6: DUP3
000021e7: PUSH1 0x40
000021e9: MLOAD
000021ea: DUP1
000021eb: PUSH1 0x20
000021ed: ADD
000021ee: PUSH1 0x40
000021f0: MSTORE
000021f1: DUP1
000021f2: PUSH1 0x00
000021f4: DUP2
000021f5: MSTORE
000021f6: POP
000021f7: PUSH2 0x2795
000021fa: JUMP
000021fb: JUMPDEST
000021fc: PUSH1 0x09
000021fe: SLOAD
000021ff: PUSH1 0x01
00002201: PUSH1 0x01
00002203: PUSH1 0xa0
00002205: SHL
00002206: SUB
00002207: DUP5
00002208: AND
00002209: PUSH1 0x00
0000220b: SWAP1
0000220c: DUP2
0000220d: MSTORE
0000220e: PUSH1 0x0b
00002210: PUSH1 0x20
00002212: MSTORE
00002213: PUSH1 0x40
00002215: DUP2
00002216: KECCAK256
00002217: SLOAD
00002218: SWAP1
00002219: SWAP2
0000221a: DUP4
0000221b: SWAP2
0000221c: PUSH2 0x2225
0000221f: SWAP1
00002220: DUP7
00002221: PUSH2 0x31b0
00002224: JUMP
00002225: JUMPDEST
00002226: PUSH2 0x222f
00002229: SWAP2
0000222a: SWAP1
0000222b: PUSH2 0x35bd
0000222e: JUMP
0000222f: JUMPDEST
00002230: PUSH2 0x2239
00002233: SWAP2
00002234: SWAP1
00002235: PUSH2 0x35d1
00002238: JUMP
00002239: JUMPDEST
0000223a: SWAP5
0000223b: SWAP4
0000223c: POP
0000223d: POP
0000223e: POP
0000223f: POP
00002240: JUMP
00002241: JUMPDEST
00002242: DUP1
00002243: SELFBALANCE
00002244: LT
00002245: ISZERO
00002246: PUSH2 0x2291
00002249: JUMPI
0000224a: PUSH1 0x40
0000224c: MLOAD
0000224d: PUSH3 0x461bcd
00002251: PUSH1 0xe5
00002253: SHL
00002254: DUP2
00002255: MSTORE
00002256: PUSH1 0x20
00002258: PUSH1 0x04
0000225a: DUP3
0000225b: ADD
0000225c: MSTORE
0000225d: PUSH1 0x1d
0000225f: PUSH1 0x24
00002261: DUP3
00002262: ADD
00002263: MSTORE
00002264: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000
00002285: PUSH1 0x44
00002287: DUP3
00002288: ADD
00002289: MSTORE
0000228a: PUSH1 0x64
0000228c: ADD
0000228d: PUSH2 0x0d16
00002290: JUMP
00002291: JUMPDEST
00002292: PUSH1 0x00
00002294: DUP3
00002295: PUSH1 0x01
00002297: PUSH1 0x01
00002299: PUSH1 0xa0
0000229b: SHL
0000229c: SUB
0000229d: AND
0000229e: DUP3
0000229f: PUSH1 0x40
000022a1: MLOAD
000022a2: PUSH1 0x00
000022a4: PUSH1 0x40
000022a6: MLOAD
000022a7: DUP1
000022a8: DUP4
000022a9: SUB
000022aa: DUP2
000022ab: DUP6
000022ac: DUP8
000022ad: GAS
000022ae: CALL
000022af: SWAP3
000022b0: POP
000022b1: POP
000022b2: POP
000022b3: RETURNDATASIZE
000022b4: DUP1
000022b5: PUSH1 0x00
000022b7: DUP2
000022b8: EQ
000022b9: PUSH2 0x22de
000022bc: JUMPI
000022bd: PUSH1 0x40
000022bf: MLOAD
000022c0: SWAP2
000022c1: POP
000022c2: PUSH1 0x1f
000022c4: NOT
000022c5: PUSH1 0x3f
000022c7: RETURNDATASIZE
000022c8: ADD
000022c9: AND
000022ca: DUP3
000022cb: ADD
000022cc: PUSH1 0x40
000022ce: MSTORE
000022cf: RETURNDATASIZE
000022d0: DUP3
000022d1: MSTORE
000022d2: RETURNDATASIZE
000022d3: PUSH1 0x00
000022d5: PUSH1 0x20
000022d7: DUP5
000022d8: ADD
000022d9: RETURNDATACOPY
000022da: PUSH2 0x22e3
000022dd: JUMP
000022de: JUMPDEST
000022df: PUSH1 0x60
000022e1: SWAP2
000022e2: POP
000022e3: JUMPDEST
000022e4: POP
000022e5: POP
000022e6: SWAP1
000022e7: POP
000022e8: DUP1
000022e9: PUSH2 0x1379
000022ec: JUMPI
000022ed: PUSH1 0x40
000022ef: MLOAD
000022f0: PUSH3 0x461bcd
000022f4: PUSH1 0xe5
000022f6: SHL
000022f7: DUP2
000022f8: MSTORE
000022f9: PUSH1 0x20
000022fb: PUSH1 0x04
000022fd: DUP3
000022fe: ADD
000022ff: MSTORE
00002300: PUSH1 0x3a
00002302: PUSH1 0x24
00002304: DUP3
00002305: ADD
00002306: MSTORE
00002307: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072
00002328: PUSH1 0x44
0000232a: DUP3
0000232b: ADD
0000232c: MSTORE
0000232d: PUSH26 0x1958da5c1a595b9d081b585e481a185d99481c995d995c9d1959
00002348: PUSH1 0x32
0000234a: SHL
0000234b: PUSH1 0x64
0000234d: DUP3
0000234e: ADD
0000234f: MSTORE
00002350: PUSH1 0x84
00002352: ADD
00002353: PUSH2 0x0d16
00002356: JUMP
00002357: JUMPDEST
00002358: PUSH1 0x00
0000235a: DUP3
0000235b: PUSH2 0x2364
0000235e: DUP6
0000235f: DUP5
00002360: PUSH2 0x28e3
00002363: JUMP
00002364: JUMPDEST
00002365: EQ
00002366: SWAP5
00002367: SWAP4
00002368: POP
00002369: POP
0000236a: POP
0000236b: POP
0000236c: JUMP
0000236d: JUMPDEST
0000236e: PUSH1 0x00
00002370: PUSH2 0x2378
00002373: DUP3
00002374: PUSH2 0x216b
00002377: JUMP
00002378: JUMPDEST
00002379: SWAP1
0000237a: POP
0000237b: DUP4
0000237c: PUSH1 0x01
0000237e: PUSH1 0x01
00002380: PUSH1 0xa0
00002382: SHL
00002383: SUB
00002384: AND
00002385: DUP2
00002386: PUSH1 0x01
00002388: PUSH1 0x01
0000238a: PUSH1 0xa0
0000238c: SHL
0000238d: SUB
0000238e: AND
0000238f: EQ
00002390: PUSH2 0x23ab
00002393: JUMPI
00002394: PUSH1 0x40
00002396: MLOAD
00002397: PUSH3 0xa11481
0000239b: PUSH1 0xe8
0000239d: SHL
0000239e: DUP2
0000239f: MSTORE
000023a0: PUSH1 0x04
000023a2: ADD
000023a3: PUSH1 0x40
000023a5: MLOAD
000023a6: DUP1
000023a7: SWAP2
000023a8: SUB
000023a9: SWAP1
000023aa: REVERT
000023ab: JUMPDEST
000023ac: PUSH1 0x00
000023ae: CALLER
000023af: PUSH1 0x01
000023b1: PUSH1 0x01
000023b3: PUSH1 0xa0
000023b5: SHL
000023b6: SUB
000023b7: DUP7
000023b8: AND
000023b9: EQ
000023ba: DUP1
000023bb: PUSH2 0x23c9
000023be: JUMPI
000023bf: POP
000023c0: PUSH2 0x23c9
000023c3: DUP6
000023c4: CALLER
000023c5: PUSH2 0x08b7
000023c8: JUMP
000023c9: JUMPDEST
000023ca: DUP1
000023cb: PUSH2 0x23e4
000023ce: JUMPI
000023cf: POP
000023d0: CALLER
000023d1: PUSH2 0x23d9
000023d4: DUP5
000023d5: PUSH2 0x0b26
000023d8: JUMP
000023d9: JUMPDEST
000023da: PUSH1 0x01
000023dc: PUSH1 0x01
000023de: PUSH1 0xa0
000023e0: SHL
000023e1: SUB
000023e2: AND
000023e3: EQ
000023e4: JUMPDEST
000023e5: SWAP1
000023e6: POP
000023e7: DUP1
000023e8: PUSH2 0x2404
000023eb: JUMPI
000023ec: PUSH1 0x40
000023ee: MLOAD
000023ef: PUSH4 0x2ce44b5f
000023f4: PUSH1 0xe1
000023f6: SHL
000023f7: DUP2
000023f8: MSTORE
000023f9: PUSH1 0x04
000023fb: ADD
000023fc: PUSH1 0x40
000023fe: MLOAD
000023ff: DUP1
00002400: SWAP2
00002401: SUB
00002402: SWAP1
00002403: REVERT
00002404: JUMPDEST
00002405: PUSH1 0x01
00002407: PUSH1 0x01
00002409: PUSH1 0xa0
0000240b: SHL
0000240c: SUB
0000240d: DUP5
0000240e: AND
0000240f: PUSH2 0x242b
00002412: JUMPI
00002413: PUSH1 0x40
00002415: MLOAD
00002416: PUSH4 0x3a954ecd
0000241b: PUSH1 0xe2
0000241d: SHL
0000241e: DUP2
0000241f: MSTORE
00002420: PUSH1 0x04
00002422: ADD
00002423: PUSH1 0x40
00002425: MLOAD
00002426: DUP1
00002427: SWAP2
00002428: SUB
00002429: SWAP1
0000242a: REVERT
0000242b: JUMPDEST
0000242c: PUSH1 0x00
0000242e: DUP4
0000242f: DUP2
00002430: MSTORE
00002431: PUSH1 0x06
00002433: PUSH1 0x20
00002435: SWAP1
00002436: DUP2
00002437: MSTORE
00002438: PUSH1 0x40
0000243a: DUP1
0000243b: DUP4
0000243c: KECCAK256
0000243d: DUP1
0000243e: SLOAD
0000243f: PUSH1 0x01
00002441: PUSH1 0x01
00002443: PUSH1 0xa0
00002445: SHL
00002446: SUB
00002447: NOT
00002448: AND
00002449: SWAP1
0000244a: SSTORE
0000244b: PUSH1 0x01
0000244d: PUSH1 0x01
0000244f: PUSH1 0xa0
00002451: SHL
00002452: SUB
00002453: DUP9
00002454: DUP2
00002455: AND
00002456: DUP5
00002457: MSTORE
00002458: PUSH1 0x05
0000245a: DUP4
0000245b: MSTORE
0000245c: DUP2
0000245d: DUP5
0000245e: KECCAK256
0000245f: DUP1
00002460: SLOAD
00002461: PUSH1 0x00
00002463: NOT
00002464: ADD
00002465: SWAP1
00002466: SSTORE
00002467: DUP8
00002468: AND
00002469: DUP4
0000246a: MSTORE
0000246b: DUP1
0000246c: DUP4
0000246d: KECCAK256
0000246e: DUP1
0000246f: SLOAD
00002470: PUSH1 0x01
00002472: ADD
00002473: SWAP1
00002474: SSTORE
00002475: DUP6
00002476: DUP4
00002477: MSTORE
00002478: PUSH1 0x04
0000247a: SWAP1
0000247b: SWAP2
0000247c: MSTORE
0000247d: DUP2
0000247e: KECCAK256
0000247f: PUSH1 0x01
00002481: PUSH1 0xe1
00002483: SHL
00002484: TIMESTAMP
00002485: PUSH1 0xa0
00002487: SHL
00002488: DUP8
00002489: OR
0000248a: DUP2
0000248b: OR
0000248c: SWAP1
0000248d: SWAP2
0000248e: SSTORE
0000248f: DUP4
00002490: AND
00002491: SWAP1
00002492: SUB
00002493: PUSH2 0x24cc
00002496: JUMPI
00002497: PUSH1 0x01
00002499: DUP4
0000249a: ADD
0000249b: PUSH1 0x00
0000249d: DUP2
0000249e: DUP2
0000249f: MSTORE
000024a0: PUSH1 0x04
000024a2: PUSH1 0x20
000024a4: MSTORE
000024a5: PUSH1 0x40
000024a7: DUP2
000024a8: KECCAK256
000024a9: SLOAD
000024aa: SWAP1
000024ab: SUB
000024ac: PUSH2 0x24ca
000024af: JUMPI
000024b0: PUSH1 0x00
000024b2: SLOAD
000024b3: DUP2
000024b4: EQ
000024b5: PUSH2 0x24ca
000024b8: JUMPI
000024b9: PUSH1 0x00
000024bb: DUP2
000024bc: DUP2
000024bd: MSTORE
000024be: PUSH1 0x04
000024c0: PUSH1 0x20
000024c2: MSTORE
000024c3: PUSH1 0x40
000024c5: SWAP1
000024c6: KECCAK256
000024c7: DUP4
000024c8: SWAP1
000024c9: SSTORE
000024ca: JUMPDEST
000024cb: POP
000024cc: JUMPDEST
000024cd: DUP3
000024ce: DUP5
000024cf: PUSH1 0x01
000024d1: PUSH1 0x01
000024d3: PUSH1 0xa0
000024d5: SHL
000024d6: SUB
000024d7: AND
000024d8: DUP7
000024d9: PUSH1 0x01
000024db: PUSH1 0x01
000024dd: PUSH1 0xa0
000024df: SHL
000024e0: SUB
000024e1: AND
000024e2: PUSH1 0x00
000024e4: DUP1
000024e5: MLOAD
000024e6: PUSH1 0x20
000024e8: PUSH2 0x36a5
000024eb: DUP4
000024ec: CODECOPY
000024ed: DUP2
000024ee: MLOAD
000024ef: SWAP2
000024f0: MSTORE
000024f1: PUSH1 0x40
000024f3: MLOAD
000024f4: PUSH1 0x40
000024f6: MLOAD
000024f7: DUP1
000024f8: SWAP2
000024f9: SUB
000024fa: SWAP1
000024fb: LOG4
000024fc: POP
000024fd: POP
000024fe: POP
000024ff: POP
00002500: POP
00002501: JUMP
00002502: JUMPDEST
00002503: PUSH2 0x1379
00002506: DUP4
00002507: PUSH4 0xa9059cbb
0000250c: PUSH1 0xe0
0000250e: SHL
0000250f: DUP5
00002510: DUP5
00002511: PUSH1 0x40
00002513: MLOAD
00002514: PUSH1 0x24
00002516: ADD
00002517: PUSH2 0x2521
0000251a: SWAP3
0000251b: SWAP2
0000251c: SWAP1
0000251d: PUSH2 0x2b3d
00002520: JUMP
00002521: JUMPDEST
00002522: PUSH1 0x40
00002524: DUP1
00002525: MLOAD
00002526: PUSH1 0x1f
00002528: NOT
00002529: DUP2
0000252a: DUP5
0000252b: SUB
0000252c: ADD
0000252d: DUP2
0000252e: MSTORE
0000252f: SWAP2
00002530: SWAP1
00002531: MSTORE
00002532: PUSH1 0x20
00002534: DUP2
00002535: ADD
00002536: DUP1
00002537: MLOAD
00002538: PUSH1 0x01
0000253a: PUSH1 0x01
0000253c: PUSH1 0xe0
0000253e: SHL
0000253f: SUB
00002540: AND
00002541: PUSH1 0x01
00002543: PUSH1 0x01
00002545: PUSH1 0xe0
00002547: SHL
00002548: SUB
00002549: NOT
0000254a: SWAP1
0000254b: SWAP4
0000254c: AND
0000254d: SWAP3
0000254e: SWAP1
0000254f: SWAP3
00002550: OR
00002551: SWAP1
00002552: SWAP2
00002553: MSTORE
00002554: PUSH2 0x2957
00002557: JUMP
00002558: JUMPDEST
00002559: PUSH1 0x08
0000255b: DUP1
0000255c: SLOAD
0000255d: PUSH1 0x01
0000255f: PUSH1 0x01
00002561: PUSH1 0xa0
00002563: SHL
00002564: SUB
00002565: DUP4
00002566: DUP2
00002567: AND
00002568: PUSH1 0x01
0000256a: PUSH1 0x01
0000256c: PUSH1 0xa0
0000256e: SHL
0000256f: SUB
00002570: NOT
00002571: DUP4
00002572: AND
00002573: DUP2
00002574: OR
00002575: SWAP1
00002576: SWAP4
00002577: SSTORE
00002578: PUSH1 0x40
0000257a: MLOAD
0000257b: SWAP2
0000257c: AND
0000257d: SWAP2
0000257e: SWAP1
0000257f: DUP3
00002580: SWAP1
00002581: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000025a2: SWAP1
000025a3: PUSH1 0x00
000025a5: SWAP1
000025a6: LOG3
000025a7: POP
000025a8: POP
000025a9: JUMP
000025aa: JUMPDEST
000025ab: PUSH1 0x40
000025ad: MLOAD
000025ae: PUSH4 0x0a85bd01
000025b3: PUSH1 0xe1
000025b5: SHL
000025b6: DUP2
000025b7: MSTORE
000025b8: PUSH1 0x00
000025ba: SWAP1
000025bb: PUSH1 0x01
000025bd: PUSH1 0x01
000025bf: PUSH1 0xa0
000025c1: SHL
000025c2: SUB
000025c3: DUP6
000025c4: AND
000025c5: SWAP1
000025c6: PUSH4 0x150b7a02
000025cb: SWAP1
000025cc: PUSH2 0x25df
000025cf: SWAP1
000025d0: CALLER
000025d1: SWAP1
000025d2: DUP10
000025d3: SWAP1
000025d4: DUP9
000025d5: SWAP1
000025d6: DUP9
000025d7: SWAP1
000025d8: PUSH1 0x04
000025da: ADD
000025db: PUSH2 0x35e4
000025de: JUMP
000025df: JUMPDEST
000025e0: PUSH1 0x20
000025e2: PUSH1 0x40
000025e4: MLOAD
000025e5: DUP1
000025e6: DUP4
000025e7: SUB
000025e8: DUP2
000025e9: PUSH1 0x00
000025eb: DUP8
000025ec: GAS
000025ed: CALL
000025ee: SWAP3
000025ef: POP
000025f0: POP
000025f1: POP
000025f2: DUP1
000025f3: ISZERO
000025f4: PUSH2 0x261a
000025f7: JUMPI
000025f8: POP
000025f9: PUSH1 0x40
000025fb: DUP1
000025fc: MLOAD
000025fd: PUSH1 0x1f
000025ff: RETURNDATASIZE
00002600: SWAP1
00002601: DUP2
00002602: ADD
00002603: PUSH1 0x1f
00002605: NOT
00002606: AND
00002607: DUP3
00002608: ADD
00002609: SWAP1
0000260a: SWAP3
0000260b: MSTORE
0000260c: PUSH2 0x2617
0000260f: SWAP2
00002610: DUP2
00002611: ADD
00002612: SWAP1
00002613: PUSH2 0x3621
00002616: JUMP
00002617: JUMPDEST
00002618: PUSH1 0x01
0000261a: JUMPDEST
0000261b: PUSH2 0x2678
0000261e: JUMPI
0000261f: RETURNDATASIZE
00002620: DUP1
00002621: DUP1
00002622: ISZERO
00002623: PUSH2 0x2648
00002626: JUMPI
00002627: PUSH1 0x40
00002629: MLOAD
0000262a: SWAP2
0000262b: POP
0000262c: PUSH1 0x1f
0000262e: NOT
0000262f: PUSH1 0x3f
00002631: RETURNDATASIZE
00002632: ADD
00002633: AND
00002634: DUP3
00002635: ADD
00002636: PUSH1 0x40
00002638: MSTORE
00002639: RETURNDATASIZE
0000263a: DUP3
0000263b: MSTORE
0000263c: RETURNDATASIZE
0000263d: PUSH1 0x00
0000263f: PUSH1 0x20
00002641: DUP5
00002642: ADD
00002643: RETURNDATACOPY
00002644: PUSH2 0x264d
00002647: JUMP
00002648: JUMPDEST
00002649: PUSH1 0x60
0000264b: SWAP2
0000264c: POP
0000264d: JUMPDEST
0000264e: POP
0000264f: DUP1
00002650: MLOAD
00002651: PUSH1 0x00
00002653: SUB
00002654: PUSH2 0x2670
00002657: JUMPI
00002658: PUSH1 0x40
0000265a: MLOAD
0000265b: PUSH4 0x68d2bf6b
00002660: PUSH1 0xe1
00002662: SHL
00002663: DUP2
00002664: MSTORE
00002665: PUSH1 0x04
00002667: ADD
00002668: PUSH1 0x40
0000266a: MLOAD
0000266b: DUP1
0000266c: SWAP2
0000266d: SUB
0000266e: SWAP1
0000266f: REVERT
00002670: JUMPDEST
00002671: DUP1
00002672: MLOAD
00002673: DUP2
00002674: PUSH1 0x20
00002676: ADD
00002677: REVERT
00002678: JUMPDEST
00002679: PUSH1 0x01
0000267b: PUSH1 0x01
0000267d: PUSH1 0xe0
0000267f: SHL
00002680: SUB
00002681: NOT
00002682: AND
00002683: PUSH4 0x0a85bd01
00002688: PUSH1 0xe1
0000268a: SHL
0000268b: EQ
0000268c: SWAP1
0000268d: POP
0000268e: SWAP5
0000268f: SWAP4
00002690: POP
00002691: POP
00002692: POP
00002693: POP
00002694: JUMP
00002695: JUMPDEST
00002696: PUSH1 0x60
00002698: DUP2
00002699: PUSH1 0x00
0000269b: SUB
0000269c: PUSH2 0x26bc
0000269f: JUMPI
000026a0: POP
000026a1: POP
000026a2: PUSH1 0x40
000026a4: DUP1
000026a5: MLOAD
000026a6: DUP1
000026a7: DUP3
000026a8: ADD
000026a9: SWAP1
000026aa: SWAP2
000026ab: MSTORE
000026ac: PUSH1 0x01
000026ae: DUP2
000026af: MSTORE
000026b0: PUSH1 0x03
000026b2: PUSH1 0xfc
000026b4: SHL
000026b5: PUSH1 0x20
000026b7: DUP3
000026b8: ADD
000026b9: MSTORE
000026ba: SWAP1
000026bb: JUMP
000026bc: JUMPDEST
000026bd: DUP2
000026be: PUSH1 0x00
000026c0: JUMPDEST
000026c1: DUP2
000026c2: ISZERO
000026c3: PUSH2 0x26e6
000026c6: JUMPI
000026c7: DUP1
000026c8: PUSH2 0x26d0
000026cb: DUP2
000026cc: PUSH2 0x363e
000026cf: JUMP
000026d0: JUMPDEST
000026d1: SWAP2
000026d2: POP
000026d3: PUSH2 0x26df
000026d6: SWAP1
000026d7: POP
000026d8: PUSH1 0x0a
000026da: DUP4
000026db: PUSH2 0x35bd
000026de: JUMP
000026df: JUMPDEST
000026e0: SWAP2
000026e1: POP
000026e2: PUSH2 0x26c0
000026e5: JUMP
000026e6: JUMPDEST
000026e7: PUSH1 0x00
000026e9: DUP2
000026ea: PUSH1 0x01
000026ec: PUSH1 0x01
000026ee: PUSH1 0x40
000026f0: SHL
000026f1: SUB
000026f2: DUP2
000026f3: GT
000026f4: ISZERO
000026f5: PUSH2 0x2700
000026f8: JUMPI
000026f9: PUSH2 0x2700
000026fc: PUSH2 0x2d0a
000026ff: JUMP
00002700: JUMPDEST
00002701: PUSH1 0x40
00002703: MLOAD
00002704: SWAP1
00002705: DUP1
00002706: DUP3
00002707: MSTORE
00002708: DUP1
00002709: PUSH1 0x1f
0000270b: ADD
0000270c: PUSH1 0x1f
0000270e: NOT
0000270f: AND
00002710: PUSH1 0x20
00002712: ADD
00002713: DUP3
00002714: ADD
00002715: PUSH1 0x40
00002717: MSTORE
00002718: DUP1
00002719: ISZERO
0000271a: PUSH2 0x272a
0000271d: JUMPI
0000271e: PUSH1 0x20
00002720: DUP3
00002721: ADD
00002722: DUP2
00002723: DUP1
00002724: CALLDATASIZE
00002725: DUP4
00002726: CALLDATACOPY
00002727: ADD
00002728: SWAP1
00002729: POP
0000272a: JUMPDEST
0000272b: POP
0000272c: SWAP1
0000272d: POP
0000272e: JUMPDEST
0000272f: DUP5
00002730: ISZERO
00002731: PUSH2 0x2239
00002734: JUMPI
00002735: PUSH2 0x273f
00002738: PUSH1 0x01
0000273a: DUP4
0000273b: PUSH2 0x35d1
0000273e: JUMP
0000273f: JUMPDEST
00002740: SWAP2
00002741: POP
00002742: PUSH2 0x274c
00002745: PUSH1 0x0a
00002747: DUP7
00002748: PUSH2 0x3657
0000274b: JUMP
0000274c: JUMPDEST
0000274d: PUSH2 0x2757
00002750: SWAP1
00002751: PUSH1 0x30
00002753: PUSH2 0x3170
00002756: JUMP
00002757: JUMPDEST
00002758: PUSH1 0xf8
0000275a: SHL
0000275b: DUP2
0000275c: DUP4
0000275d: DUP2
0000275e: MLOAD
0000275f: DUP2
00002760: LT
00002761: PUSH2 0x276c
00002764: JUMPI
00002765: PUSH2 0x276c
00002768: PUSH2 0x34b5
0000276b: JUMP
0000276c: JUMPDEST
0000276d: PUSH1 0x20
0000276f: ADD
00002770: ADD
00002771: SWAP1
00002772: PUSH1 0x01
00002774: PUSH1 0x01
00002776: PUSH1 0xf8
00002778: SHL
00002779: SUB
0000277a: NOT
0000277b: AND
0000277c: SWAP1
0000277d: DUP2
0000277e: PUSH1 0x00
00002780: BYTE
00002781: SWAP1
00002782: MSTORE8
00002783: POP
00002784: PUSH2 0x278e
00002787: PUSH1 0x0a
00002789: DUP7
0000278a: PUSH2 0x35bd
0000278d: JUMP
0000278e: JUMPDEST
0000278f: SWAP5
00002790: POP
00002791: PUSH2 0x272e
00002794: JUMP
00002795: JUMPDEST
00002796: PUSH1 0x00
00002798: SLOAD
00002799: PUSH1 0x01
0000279b: PUSH1 0x01
0000279d: PUSH1 0xa0
0000279f: SHL
000027a0: SUB
000027a1: DUP5
000027a2: AND
000027a3: PUSH2 0x27be
000027a6: JUMPI
000027a7: PUSH1 0x40
000027a9: MLOAD
000027aa: PUSH3 0x2e0763
000027ae: PUSH1 0xe8
000027b0: SHL
000027b1: DUP2
000027b2: MSTORE
000027b3: PUSH1 0x04
000027b5: ADD
000027b6: PUSH1 0x40
000027b8: MLOAD
000027b9: DUP1
000027ba: SWAP2
000027bb: SUB
000027bc: SWAP1
000027bd: REVERT
000027be: JUMPDEST
000027bf: DUP3
000027c0: PUSH1 0x00
000027c2: SUB
000027c3: PUSH2 0x27df
000027c6: JUMPI
000027c7: PUSH1 0x40
000027c9: MLOAD
000027ca: PUSH4 0xb562e8dd
000027cf: PUSH1 0xe0
000027d1: SHL
000027d2: DUP2
000027d3: MSTORE
000027d4: PUSH1 0x04
000027d6: ADD
000027d7: PUSH1 0x40
000027d9: MLOAD
000027da: DUP1
000027db: SWAP2
000027dc: SUB
000027dd: SWAP1
000027de: REVERT
000027df: JUMPDEST
000027e0: PUSH1 0x01
000027e2: PUSH1 0x01
000027e4: PUSH1 0xa0
000027e6: SHL
000027e7: SUB
000027e8: DUP5
000027e9: AND
000027ea: PUSH1 0x00
000027ec: DUP2
000027ed: DUP2
000027ee: MSTORE
000027ef: PUSH1 0x05
000027f1: PUSH1 0x20
000027f3: SWAP1
000027f4: DUP2
000027f5: MSTORE
000027f6: PUSH1 0x40
000027f8: DUP1
000027f9: DUP4
000027fa: KECCAK256
000027fb: DUP1
000027fc: SLOAD
000027fd: PUSH1 0x01
000027ff: PUSH1 0x01
00002801: PUSH1 0x40
00002803: SHL
00002804: ADD
00002805: DUP10
00002806: MUL
00002807: ADD
00002808: SWAP1
00002809: SSTORE
0000280a: DUP5
0000280b: DUP4
0000280c: MSTORE
0000280d: PUSH1 0x04
0000280f: SWAP1
00002810: SWAP2
00002811: MSTORE
00002812: SWAP1
00002813: KECCAK256
00002814: TIMESTAMP
00002815: PUSH1 0xa0
00002817: SHL
00002818: DUP7
00002819: OR
0000281a: PUSH1 0x01
0000281c: DUP7
0000281d: EQ
0000281e: PUSH1 0xe1
00002820: SHL
00002821: OR
00002822: SWAP1
00002823: SSTORE
00002824: DUP2
00002825: SWAP1
00002826: DUP2
00002827: DUP6
00002828: ADD
00002829: SWAP1
0000282a: EXTCODESIZE
0000282b: ISZERO
0000282c: PUSH2 0x28a0
0000282f: JUMPI
00002830: JUMPDEST
00002831: PUSH1 0x40
00002833: MLOAD
00002834: DUP3
00002835: SWAP1
00002836: PUSH1 0x01
00002838: PUSH1 0x01
0000283a: PUSH1 0xa0
0000283c: SHL
0000283d: SUB
0000283e: DUP9
0000283f: AND
00002840: SWAP1
00002841: PUSH1 0x00
00002843: SWAP1
00002844: PUSH1 0x00
00002846: DUP1
00002847: MLOAD
00002848: PUSH1 0x20
0000284a: PUSH2 0x36a5
0000284d: DUP4
0000284e: CODECOPY
0000284f: DUP2
00002850: MLOAD
00002851: SWAP2
00002852: MSTORE
00002853: SWAP1
00002854: DUP3
00002855: SWAP1
00002856: LOG4
00002857: PUSH2 0x2869
0000285a: PUSH1 0x00
0000285c: DUP8
0000285d: DUP5
0000285e: DUP1
0000285f: PUSH1 0x01
00002861: ADD
00002862: SWAP6
00002863: POP
00002864: DUP8
00002865: PUSH2 0x25aa
00002868: JUMP
00002869: JUMPDEST
0000286a: PUSH2 0x2886
0000286d: JUMPI
0000286e: PUSH1 0x40
00002870: MLOAD
00002871: PUSH4 0x68d2bf6b
00002876: PUSH1 0xe1
00002878: SHL
00002879: DUP2
0000287a: MSTORE
0000287b: PUSH1 0x04
0000287d: ADD
0000287e: PUSH1 0x40
00002880: MLOAD
00002881: DUP1
00002882: SWAP2
00002883: SUB
00002884: SWAP1
00002885: REVERT
00002886: JUMPDEST
00002887: DUP1
00002888: DUP3
00002889: LT
0000288a: PUSH2 0x2830
0000288d: JUMPI
0000288e: DUP3
0000288f: PUSH1 0x00
00002891: SLOAD
00002892: EQ
00002893: PUSH2 0x289b
00002896: JUMPI
00002897: PUSH1 0x00
00002899: DUP1
0000289a: REVERT
0000289b: JUMPDEST
0000289c: PUSH2 0x28d3
0000289f: JUMP
000028a0: JUMPDEST
000028a1: JUMPDEST
000028a2: PUSH1 0x40
000028a4: MLOAD
000028a5: PUSH1 0x01
000028a7: DUP4
000028a8: ADD
000028a9: SWAP3
000028aa: SWAP1
000028ab: PUSH1 0x01
000028ad: PUSH1 0x01
000028af: PUSH1 0xa0
000028b1: SHL
000028b2: SUB
000028b3: DUP9
000028b4: AND
000028b5: SWAP1
000028b6: PUSH1 0x00
000028b8: SWAP1
000028b9: PUSH1 0x00
000028bb: DUP1
000028bc: MLOAD
000028bd: PUSH1 0x20
000028bf: PUSH2 0x36a5
000028c2: DUP4
000028c3: CODECOPY
000028c4: DUP2
000028c5: MLOAD
000028c6: SWAP2
000028c7: MSTORE
000028c8: SWAP1
000028c9: DUP3
000028ca: SWAP1
000028cb: LOG4
000028cc: DUP1
000028cd: DUP3
000028ce: LT
000028cf: PUSH2 0x28a1
000028d2: JUMPI
000028d3: JUMPDEST
000028d4: POP
000028d5: PUSH1 0x00
000028d7: SWAP1
000028d8: DUP2
000028d9: SSTORE
000028da: PUSH2 0x1334
000028dd: SWAP1
000028de: DUP6
000028df: DUP4
000028e0: DUP7
000028e1: DUP5
000028e2: JUMP
000028e3: JUMPDEST
000028e4: PUSH1 0x00
000028e6: DUP2
000028e7: DUP2
000028e8: JUMPDEST
000028e9: DUP5
000028ea: MLOAD
000028eb: DUP2
000028ec: LT
000028ed: ISZERO
000028ee: PUSH2 0x294f
000028f1: JUMPI
000028f2: PUSH1 0x00
000028f4: DUP6
000028f5: DUP3
000028f6: DUP2
000028f7: MLOAD
000028f8: DUP2
000028f9: LT
000028fa: PUSH2 0x2905
000028fd: JUMPI
000028fe: PUSH2 0x2905
00002901: PUSH2 0x34b5
00002904: JUMP
00002905: JUMPDEST
00002906: PUSH1 0x20
00002908: MUL
00002909: PUSH1 0x20
0000290b: ADD
0000290c: ADD
0000290d: MLOAD
0000290e: SWAP1
0000290f: POP
00002910: DUP1
00002911: DUP4
00002912: GT
00002913: PUSH2 0x292b
00002916: JUMPI
00002917: PUSH1 0x00
00002919: DUP4
0000291a: DUP2
0000291b: MSTORE
0000291c: PUSH1 0x20
0000291e: DUP3
0000291f: SWAP1
00002920: MSTORE
00002921: PUSH1 0x40
00002923: SWAP1
00002924: KECCAK256
00002925: SWAP3
00002926: POP
00002927: PUSH2 0x293c
0000292a: JUMP
0000292b: JUMPDEST
0000292c: PUSH1 0x00
0000292e: DUP2
0000292f: DUP2
00002930: MSTORE
00002931: PUSH1 0x20
00002933: DUP5
00002934: SWAP1
00002935: MSTORE
00002936: PUSH1 0x40
00002938: SWAP1
00002939: KECCAK256
0000293a: SWAP3
0000293b: POP
0000293c: JUMPDEST
0000293d: POP
0000293e: DUP1
0000293f: PUSH2 0x2947
00002942: DUP2
00002943: PUSH2 0x363e
00002946: JUMP
00002947: JUMPDEST
00002948: SWAP2
00002949: POP
0000294a: POP
0000294b: PUSH2 0x28e8
0000294e: JUMP
0000294f: JUMPDEST
00002950: POP
00002951: SWAP4
00002952: SWAP3
00002953: POP
00002954: POP
00002955: POP
00002956: JUMP
00002957: JUMPDEST
00002958: PUSH1 0x00
0000295a: PUSH2 0x29ac
0000295d: DUP3
0000295e: PUSH1 0x40
00002960: MLOAD
00002961: DUP1
00002962: PUSH1 0x40
00002964: ADD
00002965: PUSH1 0x40
00002967: MSTORE
00002968: DUP1
00002969: PUSH1 0x20
0000296b: DUP2
0000296c: MSTORE
0000296d: PUSH1 0x20
0000296f: ADD
00002970: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00002991: DUP2
00002992: MSTORE
00002993: POP
00002994: DUP6
00002995: PUSH1 0x01
00002997: PUSH1 0x01
00002999: PUSH1 0xa0
0000299b: SHL
0000299c: SUB
0000299d: AND
0000299e: PUSH2 0x2a29
000029a1: SWAP1
000029a2: SWAP3
000029a3: SWAP2
000029a4: SWAP1
000029a5: PUSH4 0xffffffff
000029aa: AND
000029ab: JUMP
000029ac: JUMPDEST
000029ad: DUP1
000029ae: MLOAD
000029af: SWAP1
000029b0: SWAP2
000029b1: POP
000029b2: ISZERO
000029b3: PUSH2 0x1379
000029b6: JUMPI
000029b7: DUP1
000029b8: DUP1
000029b9: PUSH1 0x20
000029bb: ADD
000029bc: SWAP1
000029bd: MLOAD
000029be: DUP2
000029bf: ADD
000029c0: SWAP1
000029c1: PUSH2 0x29ca
000029c4: SWAP2
000029c5: SWAP1
000029c6: PUSH2 0x366b
000029c9: JUMP
000029ca: JUMPDEST
000029cb: PUSH2 0x1379
000029ce: JUMPI
000029cf: PUSH1 0x40
000029d1: MLOAD
000029d2: PUSH3 0x461bcd
000029d6: PUSH1 0xe5
000029d8: SHL
000029d9: DUP2
000029da: MSTORE
000029db: PUSH1 0x20
000029dd: PUSH1 0x04
000029df: DUP3
000029e0: ADD
000029e1: MSTORE
000029e2: PUSH1 0x2a
000029e4: PUSH1 0x24
000029e6: DUP3
000029e7: ADD
000029e8: MSTORE
000029e9: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
00002a0a: PUSH1 0x44
00002a0c: DUP3
00002a0d: ADD
00002a0e: MSTORE
00002a0f: PUSH10 0x1bdd081cdd58d8d95959
00002a1a: PUSH1 0xb2
00002a1c: SHL
00002a1d: PUSH1 0x64
00002a1f: DUP3
00002a20: ADD
00002a21: MSTORE
00002a22: PUSH1 0x84
00002a24: ADD
00002a25: PUSH2 0x0d16
00002a28: JUMP
00002a29: JUMPDEST
00002a2a: PUSH1 0x60
00002a2c: PUSH2 0x2239
00002a2f: DUP5
00002a30: DUP5
00002a31: PUSH1 0x00
00002a33: DUP6
00002a34: DUP6
00002a35: PUSH1 0x01
00002a37: PUSH1 0x01
00002a39: PUSH1 0xa0
00002a3b: SHL
00002a3c: SUB
00002a3d: DUP6
00002a3e: AND
00002a3f: EXTCODESIZE
00002a40: PUSH2 0x2a8b
00002a43: JUMPI
00002a44: PUSH1 0x40
00002a46: MLOAD
00002a47: PUSH3 0x461bcd
00002a4b: PUSH1 0xe5
00002a4d: SHL
00002a4e: DUP2
00002a4f: MSTORE
00002a50: PUSH1 0x20
00002a52: PUSH1 0x04
00002a54: DUP3
00002a55: ADD
00002a56: MSTORE
00002a57: PUSH1 0x1d
00002a59: PUSH1 0x24
00002a5b: DUP3
00002a5c: ADD
00002a5d: MSTORE
00002a5e: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
00002a7f: PUSH1 0x44
00002a81: DUP3
00002a82: ADD
00002a83: MSTORE
00002a84: PUSH1 0x64
00002a86: ADD
00002a87: PUSH2 0x0d16
00002a8a: JUMP
00002a8b: JUMPDEST
00002a8c: PUSH1 0x00
00002a8e: DUP1
00002a8f: DUP7
00002a90: PUSH1 0x01
00002a92: PUSH1 0x01
00002a94: PUSH1 0xa0
00002a96: SHL
00002a97: SUB
00002a98: AND
00002a99: DUP6
00002a9a: DUP8
00002a9b: PUSH1 0x40
00002a9d: MLOAD
00002a9e: PUSH2 0x2aa7
00002aa1: SWAP2
00002aa2: SWAP1
00002aa3: PUSH2 0x3688
00002aa6: JUMP
00002aa7: JUMPDEST
00002aa8: PUSH1 0x00
00002aaa: PUSH1 0x40
00002aac: MLOAD
00002aad: DUP1
00002aae: DUP4
00002aaf: SUB
00002ab0: DUP2
00002ab1: DUP6
00002ab2: DUP8
00002ab3: GAS
00002ab4: CALL
00002ab5: SWAP3
00002ab6: POP
00002ab7: POP
00002ab8: POP
00002ab9: RETURNDATASIZE
00002aba: DUP1
00002abb: PUSH1 0x00
00002abd: DUP2
00002abe: EQ
00002abf: PUSH2 0x2ae4
00002ac2: JUMPI
00002ac3: PUSH1 0x40
00002ac5: MLOAD
00002ac6: SWAP2
00002ac7: POP
00002ac8: PUSH1 0x1f
00002aca: NOT
00002acb: PUSH1 0x3f
00002acd: RETURNDATASIZE
00002ace: ADD
00002acf: AND
00002ad0: DUP3
00002ad1: ADD
00002ad2: PUSH1 0x40
00002ad4: MSTORE
00002ad5: RETURNDATASIZE
00002ad6: DUP3
00002ad7: MSTORE
00002ad8: RETURNDATASIZE
00002ad9: PUSH1 0x00
00002adb: PUSH1 0x20
00002add: DUP5
00002ade: ADD
00002adf: RETURNDATACOPY
00002ae0: PUSH2 0x2ae9
00002ae3: JUMP
00002ae4: JUMPDEST
00002ae5: PUSH1 0x60
00002ae7: SWAP2
00002ae8: POP
00002ae9: JUMPDEST
00002aea: POP
00002aeb: SWAP2
00002aec: POP
00002aed: SWAP2
00002aee: POP
00002aef: PUSH2 0x2af9
00002af2: DUP3
00002af3: DUP3
00002af4: DUP7
00002af5: PUSH2 0x2b04
00002af8: JUMP
00002af9: JUMPDEST
00002afa: SWAP8
00002afb: SWAP7
00002afc: POP
00002afd: POP
00002afe: POP
00002aff: POP
00002b00: POP
00002b01: POP
00002b02: POP
00002b03: JUMP
00002b04: JUMPDEST
00002b05: PUSH1 0x60
00002b07: DUP4
00002b08: ISZERO
00002b09: PUSH2 0x2b13
00002b0c: JUMPI
00002b0d: POP
00002b0e: DUP2
00002b0f: PUSH2 0x21bf
00002b12: JUMP
00002b13: JUMPDEST
00002b14: DUP3
00002b15: MLOAD
00002b16: ISZERO
00002b17: PUSH2 0x2b23
00002b1a: JUMPI
00002b1b: DUP3
00002b1c: MLOAD
00002b1d: DUP1
00002b1e: DUP5
00002b1f: PUSH1 0x20
00002b21: ADD
00002b22: REVERT
00002b23: JUMPDEST
00002b24: DUP2
00002b25: PUSH1 0x40
00002b27: MLOAD
00002b28: PUSH3 0x461bcd
00002b2c: PUSH1 0xe5
00002b2e: SHL
00002b2f: DUP2
00002b30: MSTORE
00002b31: PUSH1 0x04
00002b33: ADD
00002b34: PUSH2 0x0d16
00002b37: SWAP2
00002b38: SWAP1
00002b39: PUSH2 0x2bd9
00002b3c: JUMP
00002b3d: JUMPDEST
00002b3e: PUSH1 0x01
00002b40: PUSH1 0x01
00002b42: PUSH1 0xa0
00002b44: SHL
00002b45: SUB
00002b46: SWAP3
00002b47: SWAP1
00002b48: SWAP3
00002b49: AND
00002b4a: DUP3
00002b4b: MSTORE
00002b4c: PUSH1 0x20
00002b4e: DUP3
00002b4f: ADD
00002b50: MSTORE
00002b51: PUSH1 0x40
00002b53: ADD
00002b54: SWAP1
00002b55: JUMP
00002b56: JUMPDEST
00002b57: PUSH1 0x01
00002b59: PUSH1 0x01
00002b5b: PUSH1 0xe0
00002b5d: SHL
00002b5e: SUB
00002b5f: NOT
00002b60: DUP2
00002b61: AND
00002b62: DUP2
00002b63: EQ
00002b64: PUSH2 0x1feb
00002b67: JUMPI
00002b68: PUSH1 0x00
00002b6a: DUP1
00002b6b: REVERT
00002b6c: JUMPDEST
00002b6d: PUSH1 0x00
00002b6f: PUSH1 0x20
00002b71: DUP3
00002b72: DUP5
00002b73: SUB
00002b74: SLT
00002b75: ISZERO
00002b76: PUSH2 0x2b7e
00002b79: JUMPI
00002b7a: PUSH1 0x00
00002b7c: DUP1
00002b7d: REVERT
00002b7e: JUMPDEST
00002b7f: DUP2
00002b80: CALLDATALOAD
00002b81: PUSH2 0x21bf
00002b84: DUP2
00002b85: PUSH2 0x2b56
00002b88: JUMP
00002b89: JUMPDEST
00002b8a: PUSH1 0x00
00002b8c: JUMPDEST
00002b8d: DUP4
00002b8e: DUP2
00002b8f: LT
00002b90: ISZERO
00002b91: PUSH2 0x2ba4
00002b94: JUMPI
00002b95: DUP2
00002b96: DUP2
00002b97: ADD
00002b98: MLOAD
00002b99: DUP4
00002b9a: DUP3
00002b9b: ADD
00002b9c: MSTORE
00002b9d: PUSH1 0x20
00002b9f: ADD
00002ba0: PUSH2 0x2b8c
00002ba3: JUMP
00002ba4: JUMPDEST
00002ba5: POP
00002ba6: POP
00002ba7: PUSH1 0x00
00002ba9: SWAP2
00002baa: ADD
00002bab: MSTORE
00002bac: JUMP
00002bad: JUMPDEST
00002bae: PUSH1 0x00
00002bb0: DUP2
00002bb1: MLOAD
00002bb2: DUP1
00002bb3: DUP5
00002bb4: MSTORE
00002bb5: PUSH2 0x2bc5
00002bb8: DUP2
00002bb9: PUSH1 0x20
00002bbb: DUP7
00002bbc: ADD
00002bbd: PUSH1 0x20
00002bbf: DUP7
00002bc0: ADD
00002bc1: PUSH2 0x2b89
00002bc4: JUMP
00002bc5: JUMPDEST
00002bc6: PUSH1 0x1f
00002bc8: ADD
00002bc9: PUSH1 0x1f
00002bcb: NOT
00002bcc: AND
00002bcd: SWAP3
00002bce: SWAP1
00002bcf: SWAP3
00002bd0: ADD
00002bd1: PUSH1 0x20
00002bd3: ADD
00002bd4: SWAP3
00002bd5: SWAP2
00002bd6: POP
00002bd7: POP
00002bd8: JUMP
00002bd9: JUMPDEST
00002bda: PUSH1 0x20
00002bdc: DUP2
00002bdd: MSTORE
00002bde: PUSH1 0x00
00002be0: PUSH2 0x21bf
00002be3: PUSH1 0x20
00002be5: DUP4
00002be6: ADD
00002be7: DUP5
00002be8: PUSH2 0x2bad
00002beb: JUMP
00002bec: JUMPDEST
00002bed: PUSH1 0x00
00002bef: PUSH1 0x20
00002bf1: DUP3
00002bf2: DUP5
00002bf3: SUB
00002bf4: SLT
00002bf5: ISZERO
00002bf6: PUSH2 0x2bfe
00002bf9: JUMPI
00002bfa: PUSH1 0x00
00002bfc: DUP1
00002bfd: REVERT
00002bfe: JUMPDEST
00002bff: POP
00002c00: CALLDATALOAD
00002c01: SWAP2
00002c02: SWAP1
00002c03: POP
00002c04: JUMP
00002c05: JUMPDEST
00002c06: PUSH1 0x01
00002c08: PUSH1 0x01
00002c0a: PUSH1 0xa0
00002c0c: SHL
00002c0d: SUB
00002c0e: SWAP2
00002c0f: SWAP1
00002c10: SWAP2
00002c11: AND
00002c12: DUP2
00002c13: MSTORE
00002c14: PUSH1 0x20
00002c16: ADD
00002c17: SWAP1
00002c18: JUMP
00002c19: JUMPDEST
00002c1a: PUSH1 0x01
00002c1c: PUSH1 0x01
00002c1e: PUSH1 0xa0
00002c20: SHL
00002c21: SUB
00002c22: DUP2
00002c23: AND
00002c24: DUP2
00002c25: EQ
00002c26: PUSH2 0x1feb
00002c29: JUMPI
00002c2a: PUSH1 0x00
00002c2c: DUP1
00002c2d: REVERT
00002c2e: JUMPDEST
00002c2f: PUSH1 0x00
00002c31: DUP1
00002c32: PUSH1 0x40
00002c34: DUP4
00002c35: DUP6
00002c36: SUB
00002c37: SLT
00002c38: ISZERO
00002c39: PUSH2 0x2c41
00002c3c: JUMPI
00002c3d: PUSH1 0x00
00002c3f: DUP1
00002c40: REVERT
00002c41: JUMPDEST
00002c42: DUP3
00002c43: CALLDATALOAD
00002c44: PUSH2 0x2c4c
00002c47: DUP2
00002c48: PUSH2 0x2c19
00002c4b: JUMP
00002c4c: JUMPDEST
00002c4d: SWAP5
00002c4e: PUSH1 0x20
00002c50: SWAP4
00002c51: SWAP1
00002c52: SWAP4
00002c53: ADD
00002c54: CALLDATALOAD
00002c55: SWAP4
00002c56: POP
00002c57: POP
00002c58: POP
00002c59: JUMP
00002c5a: JUMPDEST
00002c5b: DUP1
00002c5c: CALLDATALOAD
00002c5d: PUSH2 0xffff
00002c60: DUP2
00002c61: AND
00002c62: DUP2
00002c63: EQ
00002c64: PUSH2 0x2c6c
00002c67: JUMPI
00002c68: PUSH1 0x00
00002c6a: DUP1
00002c6b: REVERT
00002c6c: JUMPDEST
00002c6d: SWAP2
00002c6e: SWAP1
00002c6f: POP
00002c70: JUMP
00002c71: JUMPDEST
00002c72: DUP1
00002c73: CALLDATALOAD
00002c74: PUSH1 0x01
00002c76: PUSH1 0x01
00002c78: PUSH1 0x48
00002c7a: SHL
00002c7b: SUB
00002c7c: DUP2
00002c7d: AND
00002c7e: DUP2
00002c7f: EQ
00002c80: PUSH2 0x2c6c
00002c83: JUMPI
00002c84: PUSH1 0x00
00002c86: DUP1
00002c87: REVERT
00002c88: JUMPDEST
00002c89: PUSH1 0x00
00002c8b: DUP1
00002c8c: PUSH1 0x00
00002c8e: DUP1
00002c8f: PUSH1 0x00
00002c91: PUSH1 0xa0
00002c93: DUP7
00002c94: DUP9
00002c95: SUB
00002c96: SLT
00002c97: ISZERO
00002c98: PUSH2 0x2ca0
00002c9b: JUMPI
00002c9c: PUSH1 0x00
00002c9e: DUP1
00002c9f: REVERT
00002ca0: JUMPDEST
00002ca1: PUSH2 0x2ca9
00002ca4: DUP7
00002ca5: PUSH2 0x2c5a
00002ca8: JUMP
00002ca9: JUMPDEST
00002caa: SWAP5
00002cab: POP
00002cac: PUSH2 0x2cb7
00002caf: PUSH1 0x20
00002cb1: DUP8
00002cb2: ADD
00002cb3: PUSH2 0x2c5a
00002cb6: JUMP
00002cb7: JUMPDEST
00002cb8: SWAP4
00002cb9: POP
00002cba: PUSH2 0x2cc5
00002cbd: PUSH1 0x40
00002cbf: DUP8
00002cc0: ADD
00002cc1: PUSH2 0x2c5a
00002cc4: JUMP
00002cc5: JUMPDEST
00002cc6: SWAP3
00002cc7: POP
00002cc8: PUSH2 0x2cd3
00002ccb: PUSH1 0x60
00002ccd: DUP8
00002cce: ADD
00002ccf: PUSH2 0x2c71
00002cd2: JUMP
00002cd3: JUMPDEST
00002cd4: SWAP2
00002cd5: POP
00002cd6: PUSH2 0x2ce1
00002cd9: PUSH1 0x80
00002cdb: DUP8
00002cdc: ADD
00002cdd: PUSH2 0x2c71
00002ce0: JUMP
00002ce1: JUMPDEST
00002ce2: SWAP1
00002ce3: POP
00002ce4: SWAP3
00002ce5: SWAP6
00002ce6: POP
00002ce7: SWAP3
00002ce8: SWAP6
00002ce9: SWAP1
00002cea: SWAP4
00002ceb: POP
00002cec: JUMP
00002ced: JUMPDEST
00002cee: PUSH1 0x00
00002cf0: PUSH1 0x20
00002cf2: DUP3
00002cf3: DUP5
00002cf4: SUB
00002cf5: SLT
00002cf6: ISZERO
00002cf7: PUSH2 0x2cff
00002cfa: JUMPI
00002cfb: PUSH1 0x00
00002cfd: DUP1
00002cfe: REVERT
00002cff: JUMPDEST
00002d00: DUP2
00002d01: CALLDATALOAD
00002d02: PUSH2 0x21bf
00002d05: DUP2
00002d06: PUSH2 0x2c19
00002d09: JUMP
00002d0a: JUMPDEST
00002d0b: PUSH4 0x4e487b71
00002d10: PUSH1 0xe0
00002d12: SHL
00002d13: PUSH1 0x00
00002d15: MSTORE
00002d16: PUSH1 0x41
00002d18: PUSH1 0x04
00002d1a: MSTORE
00002d1b: PUSH1 0x24
00002d1d: PUSH1 0x00
00002d1f: REVERT
00002d20: JUMPDEST
00002d21: PUSH1 0x40
00002d23: MLOAD
00002d24: PUSH1 0x1f
00002d26: DUP3
00002d27: ADD
00002d28: PUSH1 0x1f
00002d2a: NOT
00002d2b: AND
00002d2c: DUP2
00002d2d: ADD
00002d2e: PUSH1 0x01
00002d30: PUSH1 0x01
00002d32: PUSH1 0x40
00002d34: SHL
00002d35: SUB
00002d36: DUP2
00002d37: GT
00002d38: DUP3
00002d39: DUP3
00002d3a: LT
00002d3b: OR
00002d3c: ISZERO
00002d3d: PUSH2 0x2d48
00002d40: JUMPI
00002d41: PUSH2 0x2d48
00002d44: PUSH2 0x2d0a
00002d47: JUMP
00002d48: JUMPDEST
00002d49: PUSH1 0x40
00002d4b: MSTORE
00002d4c: SWAP2
00002d4d: SWAP1
00002d4e: POP
00002d4f: JUMP
00002d50: JUMPDEST
00002d51: PUSH1 0x00
00002d53: DUP3
00002d54: PUSH1 0x1f
00002d56: DUP4
00002d57: ADD
00002d58: SLT
00002d59: PUSH2 0x2d61
00002d5c: JUMPI
00002d5d: PUSH1 0x00
00002d5f: DUP1
00002d60: REVERT
00002d61: JUMPDEST
00002d62: DUP2
00002d63: CALLDATALOAD
00002d64: PUSH1 0x20
00002d66: PUSH1 0x01
00002d68: PUSH1 0x01
00002d6a: PUSH1 0x40
00002d6c: SHL
00002d6d: SUB
00002d6e: DUP3
00002d6f: GT
00002d70: ISZERO
00002d71: PUSH2 0x2d7c
00002d74: JUMPI
00002d75: PUSH2 0x2d7c
00002d78: PUSH2 0x2d0a
00002d7b: JUMP
00002d7c: JUMPDEST
00002d7d: DUP2
00002d7e: PUSH1 0x05
00002d80: SHL
00002d81: PUSH2 0x2d8b
00002d84: DUP3
00002d85: DUP3
00002d86: ADD
00002d87: PUSH2 0x2d20
00002d8a: JUMP
00002d8b: JUMPDEST
00002d8c: SWAP3
00002d8d: DUP4
00002d8e: MSTORE
00002d8f: DUP5
00002d90: DUP2
00002d91: ADD
00002d92: DUP3
00002d93: ADD
00002d94: SWAP3
00002d95: DUP3
00002d96: DUP2
00002d97: ADD
00002d98: SWAP1
00002d99: DUP8
00002d9a: DUP6
00002d9b: GT
00002d9c: ISZERO
00002d9d: PUSH2 0x2da5
00002da0: JUMPI
00002da1: PUSH1 0x00
00002da3: DUP1
00002da4: REVERT
00002da5: JUMPDEST
00002da6: DUP4
00002da7: DUP8
00002da8: ADD
00002da9: SWAP3
00002daa: POP
00002dab: JUMPDEST
00002dac: DUP5
00002dad: DUP4
00002dae: LT
00002daf: ISZERO
00002db0: PUSH2 0x2af9
00002db3: JUMPI
00002db4: DUP3
00002db5: CALLDATALOAD
00002db6: DUP3
00002db7: MSTORE
00002db8: SWAP2
00002db9: DUP4
00002dba: ADD
00002dbb: SWAP2
00002dbc: SWAP1
00002dbd: DUP4
00002dbe: ADD
00002dbf: SWAP1
00002dc0: PUSH2 0x2dab
00002dc3: JUMP
00002dc4: JUMPDEST
00002dc5: PUSH1 0x00
00002dc7: DUP1
00002dc8: PUSH1 0x00
00002dca: PUSH1 0x60
00002dcc: DUP5
00002dcd: DUP7
00002dce: SUB
00002dcf: SLT
00002dd0: ISZERO
00002dd1: PUSH2 0x2dd9
00002dd4: JUMPI
00002dd5: PUSH1 0x00
00002dd7: DUP1
00002dd8: REVERT
00002dd9: JUMPDEST
00002dda: PUSH2 0x2de2
00002ddd: DUP5
00002dde: PUSH2 0x2c5a
00002de1: JUMP
00002de2: JUMPDEST
00002de3: SWAP3
00002de4: POP
00002de5: PUSH2 0x2df0
00002de8: PUSH1 0x20
00002dea: DUP6
00002deb: ADD
00002dec: PUSH2 0x2c5a
00002def: JUMP
00002df0: JUMPDEST
00002df1: SWAP2
00002df2: POP
00002df3: PUSH1 0x40
00002df5: DUP5
00002df6: ADD
00002df7: CALLDATALOAD
00002df8: PUSH1 0x01
00002dfa: PUSH1 0x01
00002dfc: PUSH1 0x40
00002dfe: SHL
00002dff: SUB
00002e00: DUP2
00002e01: GT
00002e02: ISZERO
00002e03: PUSH2 0x2e0b
00002e06: JUMPI
00002e07: PUSH1 0x00
00002e09: DUP1
00002e0a: REVERT
00002e0b: JUMPDEST
00002e0c: PUSH2 0x2e17
00002e0f: DUP7
00002e10: DUP3
00002e11: DUP8
00002e12: ADD
00002e13: PUSH2 0x2d50
00002e16: JUMP
00002e17: JUMPDEST
00002e18: SWAP2
00002e19: POP
00002e1a: POP
00002e1b: SWAP3
00002e1c: POP
00002e1d: SWAP3
00002e1e: POP
00002e1f: SWAP3
00002e20: JUMP
00002e21: JUMPDEST
00002e22: PUSH1 0x00
00002e24: DUP1
00002e25: PUSH1 0x00
00002e27: PUSH1 0x60
00002e29: DUP5
00002e2a: DUP7
00002e2b: SUB
00002e2c: SLT
00002e2d: ISZERO
00002e2e: PUSH2 0x2e36
00002e31: JUMPI
00002e32: PUSH1 0x00
00002e34: DUP1
00002e35: REVERT
00002e36: JUMPDEST
00002e37: DUP4
00002e38: CALLDATALOAD
00002e39: PUSH2 0x2e41
00002e3c: DUP2
00002e3d: PUSH2 0x2c19
00002e40: JUMP
00002e41: JUMPDEST
00002e42: SWAP3
00002e43: POP
00002e44: PUSH1 0x20
00002e46: DUP5
00002e47: ADD
00002e48: CALLDATALOAD
00002e49: PUSH2 0x2e51
00002e4c: DUP2
00002e4d: PUSH2 0x2c19
00002e50: JUMP
00002e51: JUMPDEST
00002e52: SWAP3
00002e53: SWAP6
00002e54: SWAP3
00002e55: SWAP5
00002e56: POP
00002e57: POP
00002e58: POP
00002e59: PUSH1 0x40
00002e5b: SWAP2
00002e5c: SWAP1
00002e5d: SWAP2
00002e5e: ADD
00002e5f: CALLDATALOAD
00002e60: SWAP1
00002e61: JUMP
00002e62: JUMPDEST
00002e63: PUSH1 0x00
00002e65: PUSH1 0x01
00002e67: PUSH1 0x01
00002e69: PUSH1 0x40
00002e6b: SHL
00002e6c: SUB
00002e6d: DUP4
00002e6e: GT
00002e6f: ISZERO
00002e70: PUSH2 0x2e7b
00002e73: JUMPI
00002e74: PUSH2 0x2e7b
00002e77: PUSH2 0x2d0a
00002e7a: JUMP
00002e7b: JUMPDEST
00002e7c: PUSH2 0x2e8e
00002e7f: PUSH1 0x1f
00002e81: DUP5
00002e82: ADD
00002e83: PUSH1 0x1f
00002e85: NOT
00002e86: AND
00002e87: PUSH1 0x20
00002e89: ADD
00002e8a: PUSH2 0x2d20
00002e8d: JUMP
00002e8e: JUMPDEST
00002e8f: SWAP1
00002e90: POP
00002e91: DUP3
00002e92: DUP2
00002e93: MSTORE
00002e94: DUP4
00002e95: DUP4
00002e96: DUP4
00002e97: ADD
00002e98: GT
00002e99: ISZERO
00002e9a: PUSH2 0x2ea2
00002e9d: JUMPI
00002e9e: PUSH1 0x00
00002ea0: DUP1
00002ea1: REVERT
00002ea2: JUMPDEST
00002ea3: DUP3
00002ea4: DUP3
00002ea5: PUSH1 0x20
00002ea7: DUP4
00002ea8: ADD
00002ea9: CALLDATACOPY
00002eaa: PUSH1 0x00
00002eac: PUSH1 0x20
00002eae: DUP5
00002eaf: DUP4
00002eb0: ADD
00002eb1: ADD
00002eb2: MSTORE
00002eb3: SWAP4
00002eb4: SWAP3
00002eb5: POP
00002eb6: POP
00002eb7: POP
00002eb8: JUMP
00002eb9: JUMPDEST
00002eba: PUSH1 0x00
00002ebc: PUSH1 0x20
00002ebe: DUP3
00002ebf: DUP5
00002ec0: SUB
00002ec1: SLT
00002ec2: ISZERO
00002ec3: PUSH2 0x2ecb
00002ec6: JUMPI
00002ec7: PUSH1 0x00
00002ec9: DUP1
00002eca: REVERT
00002ecb: JUMPDEST
00002ecc: DUP2
00002ecd: CALLDATALOAD
00002ece: PUSH1 0x01
00002ed0: PUSH1 0x01
00002ed2: PUSH1 0x40
00002ed4: SHL
00002ed5: SUB
00002ed6: DUP2
00002ed7: GT
00002ed8: ISZERO
00002ed9: PUSH2 0x2ee1
00002edc: JUMPI
00002edd: PUSH1 0x00
00002edf: DUP1
00002ee0: REVERT
00002ee1: JUMPDEST
00002ee2: DUP3
00002ee3: ADD
00002ee4: PUSH1 0x1f
00002ee6: DUP2
00002ee7: ADD
00002ee8: DUP5
00002ee9: SGT
00002eea: PUSH2 0x2ef2
00002eed: JUMPI
00002eee: PUSH1 0x00
00002ef0: DUP1
00002ef1: REVERT
00002ef2: JUMPDEST
00002ef3: PUSH2 0x2239
00002ef6: DUP5
00002ef7: DUP3
00002ef8: CALLDATALOAD
00002ef9: PUSH1 0x20
00002efb: DUP5
00002efc: ADD
00002efd: PUSH2 0x2e62
00002f00: JUMP
00002f01: JUMPDEST
00002f02: PUSH1 0x00
00002f04: DUP1
00002f05: PUSH1 0x40
00002f07: DUP4
00002f08: DUP6
00002f09: SUB
00002f0a: SLT
00002f0b: ISZERO
00002f0c: PUSH2 0x2f14
00002f0f: JUMPI
00002f10: PUSH1 0x00
00002f12: DUP1
00002f13: REVERT
00002f14: JUMPDEST
00002f15: DUP3
00002f16: CALLDATALOAD
00002f17: PUSH2 0x2f1f
00002f1a: DUP2
00002f1b: PUSH2 0x2c19
00002f1e: JUMP
00002f1f: JUMPDEST
00002f20: SWAP2
00002f21: POP
00002f22: PUSH1 0x20
00002f24: DUP4
00002f25: ADD
00002f26: CALLDATALOAD
00002f27: PUSH2 0x2f2f
00002f2a: DUP2
00002f2b: PUSH2 0x2c19
00002f2e: JUMP
00002f2f: JUMPDEST
00002f30: DUP1
00002f31: SWAP2
00002f32: POP
00002f33: POP
00002f34: SWAP3
00002f35: POP
00002f36: SWAP3
00002f37: SWAP1
00002f38: POP
00002f39: JUMP
00002f3a: JUMPDEST
00002f3b: DUP1
00002f3c: ISZERO
00002f3d: ISZERO
00002f3e: DUP2
00002f3f: EQ
00002f40: PUSH2 0x1feb
00002f43: JUMPI
00002f44: PUSH1 0x00
00002f46: DUP1
00002f47: REVERT
00002f48: JUMPDEST
00002f49: PUSH1 0x00
00002f4b: DUP1
00002f4c: PUSH1 0x40
00002f4e: DUP4
00002f4f: DUP6
00002f50: SUB
00002f51: SLT
00002f52: ISZERO
00002f53: PUSH2 0x2f5b
00002f56: JUMPI
00002f57: PUSH1 0x00
00002f59: DUP1
00002f5a: REVERT
00002f5b: JUMPDEST
00002f5c: DUP3
00002f5d: CALLDATALOAD
00002f5e: PUSH2 0x2f66
00002f61: DUP2
00002f62: PUSH2 0x2c19
00002f65: JUMP
00002f66: JUMPDEST
00002f67: SWAP2
00002f68: POP
00002f69: PUSH1 0x20
00002f6b: DUP4
00002f6c: ADD
00002f6d: CALLDATALOAD
00002f6e: PUSH2 0x2f2f
00002f71: DUP2
00002f72: PUSH2 0x2f3a
00002f75: JUMP
00002f76: JUMPDEST
00002f77: PUSH1 0x00
00002f79: DUP1
00002f7a: PUSH1 0x40
00002f7c: DUP4
00002f7d: DUP6
00002f7e: SUB
00002f7f: SLT
00002f80: ISZERO
00002f81: PUSH2 0x2f89
00002f84: JUMPI
00002f85: PUSH1 0x00
00002f87: DUP1
00002f88: REVERT
00002f89: JUMPDEST
00002f8a: DUP3
00002f8b: CALLDATALOAD
00002f8c: PUSH2 0x2f94
00002f8f: DUP2
00002f90: PUSH2 0x2c19
00002f93: JUMP
00002f94: JUMPDEST
00002f95: SWAP2
00002f96: POP
00002f97: PUSH2 0x2fa2
00002f9a: PUSH1 0x20
00002f9c: DUP5
00002f9d: ADD
00002f9e: PUSH2 0x2c5a
00002fa1: JUMP
00002fa2: JUMPDEST
00002fa3: SWAP1
00002fa4: POP
00002fa5: SWAP3
00002fa6: POP
00002fa7: SWAP3
00002fa8: SWAP1
00002fa9: POP
00002faa: JUMP
00002fab: JUMPDEST
00002fac: DUP1
00002fad: CALLDATALOAD
00002fae: PUSH1 0xff
00002fb0: DUP2
00002fb1: AND
00002fb2: DUP2
00002fb3: EQ
00002fb4: PUSH2 0x2c6c
00002fb7: JUMPI
00002fb8: PUSH1 0x00
00002fba: DUP1
00002fbb: REVERT
00002fbc: JUMPDEST
00002fbd: PUSH1 0x00
00002fbf: DUP1
00002fc0: PUSH1 0x00
00002fc2: PUSH1 0x60
00002fc4: DUP5
00002fc5: DUP7
00002fc6: SUB
00002fc7: SLT
00002fc8: ISZERO
00002fc9: PUSH2 0x2fd1
00002fcc: JUMPI
00002fcd: PUSH1 0x00
00002fcf: DUP1
00002fd0: REVERT
00002fd1: JUMPDEST
00002fd2: DUP4
00002fd3: CALLDATALOAD
00002fd4: PUSH2 0x2fdc
00002fd7: DUP2
00002fd8: PUSH2 0x2f3a
00002fdb: JUMP
00002fdc: JUMPDEST
00002fdd: SWAP3
00002fde: POP
00002fdf: PUSH1 0x20
00002fe1: DUP5
00002fe2: ADD
00002fe3: CALLDATALOAD
00002fe4: PUSH2 0x2fec
00002fe7: DUP2
00002fe8: PUSH2 0x2f3a
00002feb: JUMP
00002fec: JUMPDEST
00002fed: SWAP2
00002fee: POP
00002fef: PUSH2 0x2ffa
00002ff2: PUSH1 0x40
00002ff4: DUP6
00002ff5: ADD
00002ff6: PUSH2 0x2fab
00002ff9: JUMP
00002ffa: JUMPDEST
00002ffb: SWAP1
00002ffc: POP
00002ffd: SWAP3
00002ffe: POP
00002fff: SWAP3
00003000: POP
00003001: SWAP3
00003002: JUMP
00003003: JUMPDEST
00003004: PUSH1 0x00
00003006: DUP1
00003007: PUSH1 0x00
00003009: DUP1
0000300a: PUSH1 0x80
0000300c: DUP6
0000300d: DUP8
0000300e: SUB
0000300f: SLT
00003010: ISZERO
00003011: PUSH2 0x3019
00003014: JUMPI
00003015: PUSH1 0x00
00003017: DUP1
00003018: REVERT
00003019: JUMPDEST
0000301a: DUP5
0000301b: CALLDATALOAD
0000301c: PUSH2 0x3024
0000301f: DUP2
00003020: PUSH2 0x2c19
00003023: JUMP
00003024: JUMPDEST
00003025: SWAP4
00003026: POP
00003027: PUSH1 0x20
00003029: DUP6
0000302a: ADD
0000302b: CALLDATALOAD
0000302c: PUSH2 0x3034
0000302f: DUP2
00003030: PUSH2 0x2c19
00003033: JUMP
00003034: JUMPDEST
00003035: SWAP3
00003036: POP
00003037: PUSH1 0x40
00003039: DUP6
0000303a: ADD
0000303b: CALLDATALOAD
0000303c: SWAP2
0000303d: POP
0000303e: PUSH1 0x60
00003040: DUP6
00003041: ADD
00003042: CALLDATALOAD
00003043: PUSH1 0x01
00003045: PUSH1 0x01
00003047: PUSH1 0x40
00003049: SHL
0000304a: SUB
0000304b: DUP2
0000304c: GT
0000304d: ISZERO
0000304e: PUSH2 0x3056
00003051: JUMPI
00003052: PUSH1 0x00
00003054: DUP1
00003055: REVERT
00003056: JUMPDEST
00003057: DUP6
00003058: ADD
00003059: PUSH1 0x1f
0000305b: DUP2
0000305c: ADD
0000305d: DUP8
0000305e: SGT
0000305f: PUSH2 0x3067
00003062: JUMPI
00003063: PUSH1 0x00
00003065: DUP1
00003066: REVERT
00003067: JUMPDEST
00003068: PUSH2 0x3076
0000306b: DUP8
0000306c: DUP3
0000306d: CALLDATALOAD
0000306e: PUSH1 0x20
00003070: DUP5
00003071: ADD
00003072: PUSH2 0x2e62
00003075: JUMP
00003076: JUMPDEST
00003077: SWAP2
00003078: POP
00003079: POP
0000307a: SWAP3
0000307b: SWAP6
0000307c: SWAP2
0000307d: SWAP5
0000307e: POP
0000307f: SWAP3
00003080: POP
00003081: JUMP
00003082: JUMPDEST
00003083: PUSH1 0x00
00003085: DUP1
00003086: PUSH1 0x40
00003088: DUP4
00003089: DUP6
0000308a: SUB
0000308b: SLT
0000308c: ISZERO
0000308d: PUSH2 0x3095
00003090: JUMPI
00003091: PUSH1 0x00
00003093: DUP1
00003094: REVERT
00003095: JUMPDEST
00003096: DUP3
00003097: CALLDATALOAD
00003098: SWAP2
00003099: POP
0000309a: PUSH1 0x20
0000309c: DUP4
0000309d: ADD
0000309e: CALLDATALOAD
0000309f: PUSH2 0x2f2f
000030a2: DUP2
000030a3: PUSH2 0x2c19
000030a6: JUMP
000030a7: JUMPDEST
000030a8: PUSH1 0x00
000030aa: DUP1
000030ab: PUSH1 0x40
000030ad: DUP4
000030ae: DUP6
000030af: SUB
000030b0: SLT
000030b1: ISZERO
000030b2: PUSH2 0x30ba
000030b5: JUMPI
000030b6: PUSH1 0x00
000030b8: DUP1
000030b9: REVERT
000030ba: JUMPDEST
000030bb: PUSH2 0x30c3
000030be: DUP4
000030bf: PUSH2 0x2c5a
000030c2: JUMP
000030c3: JUMPDEST
000030c4: SWAP2
000030c5: POP
000030c6: PUSH1 0x20
000030c8: DUP4
000030c9: ADD
000030ca: CALLDATALOAD
000030cb: PUSH1 0x01
000030cd: PUSH1 0x01
000030cf: PUSH1 0x40
000030d1: SHL
000030d2: SUB
000030d3: DUP2
000030d4: GT
000030d5: ISZERO
000030d6: PUSH2 0x30de
000030d9: JUMPI
000030da: PUSH1 0x00
000030dc: DUP1
000030dd: REVERT
000030de: JUMPDEST
000030df: PUSH2 0x30ea
000030e2: DUP6
000030e3: DUP3
000030e4: DUP7
000030e5: ADD
000030e6: PUSH2 0x2d50
000030e9: JUMP
000030ea: JUMPDEST
000030eb: SWAP2
000030ec: POP
000030ed: POP
000030ee: SWAP3
000030ef: POP
000030f0: SWAP3
000030f1: SWAP1
000030f2: POP
000030f3: JUMP
000030f4: JUMPDEST
000030f5: PUSH1 0x00
000030f7: DUP1
000030f8: PUSH1 0x40
000030fa: DUP4
000030fb: DUP6
000030fc: SUB
000030fd: SLT
000030fe: ISZERO
000030ff: PUSH2 0x3107
00003102: JUMPI
00003103: PUSH1 0x00
00003105: DUP1
00003106: REVERT
00003107: JUMPDEST
00003108: DUP3
00003109: CALLDATALOAD
0000310a: PUSH2 0x3112
0000310d: DUP2
0000310e: PUSH2 0x2f3a
00003111: JUMP
00003112: JUMPDEST
00003113: SWAP2
00003114: POP
00003115: PUSH2 0x2fa2
00003118: PUSH1 0x20
0000311a: DUP5
0000311b: ADD
0000311c: PUSH2 0x2fab
0000311f: JUMP
00003120: JUMPDEST
00003121: PUSH1 0x01
00003123: DUP2
00003124: DUP2
00003125: SHR
00003126: SWAP1
00003127: DUP3
00003128: AND
00003129: DUP1
0000312a: PUSH2 0x3134
0000312d: JUMPI
0000312e: PUSH1 0x7f
00003130: DUP3
00003131: AND
00003132: SWAP2
00003133: POP
00003134: JUMPDEST
00003135: PUSH1 0x20
00003137: DUP3
00003138: LT
00003139: DUP2
0000313a: SUB
0000313b: PUSH2 0x3154
0000313e: JUMPI
0000313f: PUSH4 0x4e487b71
00003144: PUSH1 0xe0
00003146: SHL
00003147: PUSH1 0x00
00003149: MSTORE
0000314a: PUSH1 0x22
0000314c: PUSH1 0x04
0000314e: MSTORE
0000314f: PUSH1 0x24
00003151: PUSH1 0x00
00003153: REVERT
00003154: JUMPDEST
00003155: POP
00003156: SWAP2
00003157: SWAP1
00003158: POP
00003159: JUMP
0000315a: JUMPDEST
0000315b: PUSH4 0x4e487b71
00003160: PUSH1 0xe0
00003162: SHL
00003163: PUSH1 0x00
00003165: MSTORE
00003166: PUSH1 0x11
00003168: PUSH1 0x04
0000316a: MSTORE
0000316b: PUSH1 0x24
0000316d: PUSH1 0x00
0000316f: REVERT
00003170: JUMPDEST
00003171: DUP1
00003172: DUP3
00003173: ADD
00003174: DUP1
00003175: DUP3
00003176: GT
00003177: ISZERO
00003178: PUSH2 0x0a8e
0000317b: JUMPI
0000317c: PUSH2 0x0a8e
0000317f: PUSH2 0x315a
00003182: JUMP
00003183: JUMPDEST
00003184: PUSH1 0x20
00003186: DUP1
00003187: DUP3
00003188: MSTORE
00003189: PUSH1 0x13
0000318b: SWAP1
0000318c: DUP3
0000318d: ADD
0000318e: MSTORE
0000318f: PUSH19 0x496e73756666696369656e7420737570706c79
000031a3: PUSH1 0x68
000031a5: SHL
000031a6: PUSH1 0x40
000031a8: DUP3
000031a9: ADD
000031aa: MSTORE
000031ab: PUSH1 0x60
000031ad: ADD
000031ae: SWAP1
000031af: JUMP
000031b0: JUMPDEST
000031b1: DUP1
000031b2: DUP3
000031b3: MUL
000031b4: DUP2
000031b5: ISZERO
000031b6: DUP3
000031b7: DUP3
000031b8: DIV
000031b9: DUP5
000031ba: EQ
000031bb: OR
000031bc: PUSH2 0x0a8e
000031bf: JUMPI
000031c0: PUSH2 0x0a8e
000031c3: PUSH2 0x315a
000031c6: JUMP
000031c7: JUMPDEST
000031c8: PUSH1 0x20
000031ca: DUP1
000031cb: DUP3
000031cc: MSTORE
000031cd: PUSH1 0x0d
000031cf: SWAP1
000031d0: DUP3
000031d1: ADD
000031d2: MSTORE
000031d3: PUSH13 0x115512081a5b98dbdc9c9958dd
000031e1: PUSH1 0x9a
000031e3: SHL
000031e4: PUSH1 0x40
000031e6: DUP3
000031e7: ADD
000031e8: MSTORE
000031e9: PUSH1 0x60
000031eb: ADD
000031ec: SWAP1
000031ed: JUMP
000031ee: JUMPDEST
000031ef: PUSH1 0x20
000031f1: DUP1
000031f2: DUP3
000031f3: MSTORE
000031f4: DUP2
000031f5: DUP2
000031f6: ADD
000031f7: MSTORE
000031f8: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00003219: PUSH1 0x40
0000321b: DUP3
0000321c: ADD
0000321d: MSTORE
0000321e: PUSH1 0x60
00003220: ADD
00003221: SWAP1
00003222: JUMP
00003223: JUMPDEST
00003224: PUSH1 0x20
00003226: DUP1
00003227: DUP3
00003228: MSTORE
00003229: PUSH1 0x26
0000322b: SWAP1
0000322c: DUP3
0000322d: ADD
0000322e: MSTORE
0000322f: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e7420686173206e6f20
00003250: PUSH1 0x40
00003252: DUP3
00003253: ADD
00003254: MSTORE
00003255: PUSH6 0x736861726573
0000325c: PUSH1 0xd0
0000325e: SHL
0000325f: PUSH1 0x60
00003261: DUP3
00003262: ADD
00003263: MSTORE
00003264: PUSH1 0x80
00003266: ADD
00003267: SWAP1
00003268: JUMP
00003269: JUMPDEST
0000326a: PUSH1 0x20
0000326c: DUP1
0000326d: DUP3
0000326e: MSTORE
0000326f: PUSH1 0x2b
00003271: SWAP1
00003272: DUP3
00003273: ADD
00003274: MSTORE
00003275: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e74206973206e6f7420
00003296: PUSH1 0x40
00003298: DUP3
00003299: ADD
0000329a: MSTORE
0000329b: PUSH11 0x191d59481c185e5b595b9d
000032a7: PUSH1 0xaa
000032a9: SHL
000032aa: PUSH1 0x60
000032ac: DUP3
000032ad: ADD
000032ae: MSTORE
000032af: PUSH1 0x80
000032b1: ADD
000032b2: SWAP1
000032b3: JUMP
000032b4: JUMPDEST
000032b5: PUSH1 0x20
000032b7: DUP1
000032b8: DUP3
000032b9: MSTORE
000032ba: PUSH1 0x0e
000032bc: SWAP1
000032bd: DUP3
000032be: ADD
000032bf: MSTORE
000032c0: PUSH14 0x24b73b30b634b210383430b9b297
000032cf: PUSH1 0x91
000032d1: SHL
000032d2: PUSH1 0x40
000032d4: DUP3
000032d5: ADD
000032d6: MSTORE
000032d7: PUSH1 0x60
000032d9: ADD
000032da: SWAP1
000032db: JUMP
000032dc: JUMPDEST
000032dd: PUSH2 0xffff
000032e0: DUP2
000032e1: DUP2
000032e2: AND
000032e3: DUP4
000032e4: DUP3
000032e5: AND
000032e6: ADD
000032e7: SWAP1
000032e8: DUP1
000032e9: DUP3
000032ea: GT
000032eb: ISZERO
000032ec: PUSH2 0x32f7
000032ef: JUMPI
000032f0: PUSH2 0x32f7
000032f3: PUSH2 0x315a
000032f6: JUMP
000032f7: JUMPDEST
000032f8: POP
000032f9: SWAP3
000032fa: SWAP2
000032fb: POP
000032fc: POP
000032fd: JUMP
000032fe: JUMPDEST
000032ff: PUSH1 0x00
00003301: PUSH1 0x20
00003303: DUP3
00003304: DUP5
00003305: SUB
00003306: SLT
00003307: ISZERO
00003308: PUSH2 0x3310
0000330b: JUMPI
0000330c: PUSH1 0x00
0000330e: DUP1
0000330f: REVERT
00003310: JUMPDEST
00003311: POP
00003312: MLOAD
00003313: SWAP2
00003314: SWAP1
00003315: POP
00003316: JUMP
00003317: JUMPDEST
00003318: PUSH1 0x20
0000331a: DUP1
0000331b: DUP3
0000331c: MSTORE
0000331d: PUSH1 0x10
0000331f: SWAP1
00003320: DUP3
00003321: ADD
00003322: MSTORE
00003323: PUSH16 0x496e76616c6964207175616e74697479
00003334: PUSH1 0x80
00003336: SHL
00003337: PUSH1 0x40
00003339: DUP3
0000333a: ADD
0000333b: MSTORE
0000333c: PUSH1 0x60
0000333e: ADD
0000333f: SWAP1
00003340: JUMP
00003341: JUMPDEST
00003342: SWAP3
00003343: DUP4
00003344: MSTORE
00003345: PUSH2 0xffff
00003348: SWAP2
00003349: SWAP1
0000334a: SWAP2
0000334b: AND
0000334c: PUSH1 0x20
0000334e: DUP4
0000334f: ADD
00003350: MSTORE
00003351: PUSH1 0x01
00003353: PUSH1 0x01
00003355: PUSH1 0xa0
00003357: SHL
00003358: SUB
00003359: AND
0000335a: PUSH1 0x40
0000335c: DUP3
0000335d: ADD
0000335e: MSTORE
0000335f: PUSH1 0x60
00003361: ADD
00003362: SWAP1
00003363: JUMP
00003364: JUMPDEST
00003365: PUSH1 0x20
00003367: DUP1
00003368: DUP3
00003369: MSTORE
0000336a: PUSH1 0x0f
0000336c: SWAP1
0000336d: DUP3
0000336e: ADD
0000336f: MSTORE
00003370: PUSH15 0x139bdd081dda1a5d195b1a5cdd1959
00003380: PUSH1 0x8a
00003382: SHL
00003383: PUSH1 0x40
00003385: DUP3
00003386: ADD
00003387: MSTORE
00003388: PUSH1 0x60
0000338a: ADD
0000338b: SWAP1
0000338c: JUMP
0000338d: JUMPDEST
0000338e: PUSH2 0xffff
00003391: DUP3
00003392: DUP2
00003393: AND
00003394: DUP3
00003395: DUP3
00003396: AND
00003397: SUB
00003398: SWAP1
00003399: DUP1
0000339a: DUP3
0000339b: GT
0000339c: ISZERO
0000339d: PUSH2 0x32f7
000033a0: JUMPI
000033a1: PUSH2 0x32f7
000033a4: PUSH2 0x315a
000033a7: JUMP
000033a8: JUMPDEST
000033a9: PUSH1 0x1f
000033ab: DUP3
000033ac: GT
000033ad: ISZERO
000033ae: PUSH2 0x1379
000033b1: JUMPI
000033b2: PUSH1 0x00
000033b4: DUP2
000033b5: DUP2
000033b6: MSTORE
000033b7: PUSH1 0x20
000033b9: DUP2
000033ba: KECCAK256
000033bb: PUSH1 0x1f
000033bd: DUP6
000033be: ADD
000033bf: PUSH1 0x05
000033c1: SHR
000033c2: DUP2
000033c3: ADD
000033c4: PUSH1 0x20
000033c6: DUP7
000033c7: LT
000033c8: ISZERO
000033c9: PUSH2 0x33cf
000033cc: JUMPI
000033cd: POP
000033ce: DUP1
000033cf: JUMPDEST
000033d0: PUSH1 0x1f
000033d2: DUP6
000033d3: ADD
000033d4: PUSH1 0x05
000033d6: SHR
000033d7: DUP3
000033d8: ADD
000033d9: SWAP2
000033da: POP
000033db: JUMPDEST
000033dc: DUP2
000033dd: DUP2
000033de: LT
000033df: ISZERO
000033e0: PUSH2 0x33ee
000033e3: JUMPI
000033e4: DUP3
000033e5: DUP2
000033e6: SSTORE
000033e7: PUSH1 0x01
000033e9: ADD
000033ea: PUSH2 0x33db
000033ed: JUMP
000033ee: JUMPDEST
000033ef: POP
000033f0: POP
000033f1: POP
000033f2: POP
000033f3: POP
000033f4: POP
000033f5: JUMP
000033f6: JUMPDEST
000033f7: DUP2
000033f8: MLOAD
000033f9: PUSH1 0x01
000033fb: PUSH1 0x01
000033fd: PUSH1 0x40
000033ff: SHL
00003400: SUB
00003401: DUP2
00003402: GT
00003403: ISZERO
00003404: PUSH2 0x340f
00003407: JUMPI
00003408: PUSH2 0x340f
0000340b: PUSH2 0x2d0a
0000340e: JUMP
0000340f: JUMPDEST
00003410: PUSH2 0x3423
00003413: DUP2
00003414: PUSH2 0x341d
00003417: DUP5
00003418: SLOAD
00003419: PUSH2 0x3120
0000341c: JUMP
0000341d: JUMPDEST
0000341e: DUP5
0000341f: PUSH2 0x33a8
00003422: JUMP
00003423: JUMPDEST
00003424: PUSH1 0x20
00003426: DUP1
00003427: PUSH1 0x1f
00003429: DUP4
0000342a: GT
0000342b: PUSH1 0x01
0000342d: DUP2
0000342e: EQ
0000342f: PUSH2 0x3458
00003432: JUMPI
00003433: PUSH1 0x00
00003435: DUP5
00003436: ISZERO
00003437: PUSH2 0x3440
0000343a: JUMPI
0000343b: POP
0000343c: DUP6
0000343d: DUP4
0000343e: ADD
0000343f: MLOAD
00003440: JUMPDEST
00003441: PUSH1 0x00
00003443: NOT
00003444: PUSH1 0x03
00003446: DUP7
00003447: SWAP1
00003448: SHL
00003449: SHR
0000344a: NOT
0000344b: AND
0000344c: PUSH1 0x01
0000344e: DUP6
0000344f: SWAP1
00003450: SHL
00003451: OR
00003452: DUP6
00003453: SSTORE
00003454: PUSH2 0x33ee
00003457: JUMP
00003458: JUMPDEST
00003459: PUSH1 0x00
0000345b: DUP6
0000345c: DUP2
0000345d: MSTORE
0000345e: PUSH1 0x20
00003460: DUP2
00003461: KECCAK256
00003462: PUSH1 0x1f
00003464: NOT
00003465: DUP7
00003466: AND
00003467: SWAP2
00003468: JUMPDEST
00003469: DUP3
0000346a: DUP2
0000346b: LT
0000346c: ISZERO
0000346d: PUSH2 0x3487
00003470: JUMPI
00003471: DUP9
00003472: DUP7
00003473: ADD
00003474: MLOAD
00003475: DUP3
00003476: SSTORE
00003477: SWAP5
00003478: DUP5
00003479: ADD
0000347a: SWAP5
0000347b: PUSH1 0x01
0000347d: SWAP1
0000347e: SWAP2
0000347f: ADD
00003480: SWAP1
00003481: DUP5
00003482: ADD
00003483: PUSH2 0x3468
00003486: JUMP
00003487: JUMPDEST
00003488: POP
00003489: DUP6
0000348a: DUP3
0000348b: LT
0000348c: ISZERO
0000348d: PUSH2 0x34a5
00003490: JUMPI
00003491: DUP8
00003492: DUP6
00003493: ADD
00003494: MLOAD
00003495: PUSH1 0x00
00003497: NOT
00003498: PUSH1 0x03
0000349a: DUP9
0000349b: SWAP1
0000349c: SHL
0000349d: PUSH1 0xf8
0000349f: AND
000034a0: SHR
000034a1: NOT
000034a2: AND
000034a3: DUP2
000034a4: SSTORE
000034a5: JUMPDEST
000034a6: POP
000034a7: POP
000034a8: POP
000034a9: POP
000034aa: POP
000034ab: PUSH1 0x01
000034ad: SWAP1
000034ae: DUP2
000034af: SHL
000034b0: ADD
000034b1: SWAP1
000034b2: SSTORE
000034b3: POP
000034b4: JUMP
000034b5: JUMPDEST
000034b6: PUSH4 0x4e487b71
000034bb: PUSH1 0xe0
000034bd: SHL
000034be: PUSH1 0x00
000034c0: MSTORE
000034c1: PUSH1 0x32
000034c3: PUSH1 0x04
000034c5: MSTORE
000034c6: PUSH1 0x24
000034c8: PUSH1 0x00
000034ca: REVERT
000034cb: JUMPDEST
000034cc: PUSH1 0x20
000034ce: DUP1
000034cf: DUP3
000034d0: MSTORE
000034d1: PUSH1 0x13
000034d3: SWAP1
000034d4: DUP3
000034d5: ADD
000034d6: MSTORE
000034d7: PUSH19 0x26b4b73a2830b9b9903ab73232b334b732b217
000034eb: PUSH1 0x69
000034ed: SHL
000034ee: PUSH1 0x40
000034f0: DUP3
000034f1: ADD
000034f2: MSTORE
000034f3: PUSH1 0x60
000034f5: ADD
000034f6: SWAP1
000034f7: JUMP
000034f8: JUMPDEST
000034f9: PUSH1 0x20
000034fb: DUP1
000034fc: DUP3
000034fd: MSTORE
000034fe: PUSH1 0x0e
00003500: SWAP1
00003501: DUP3
00003502: ADD
00003503: MSTORE
00003504: PUSH14 0x149bdbdd081d5b9919599a5b9959
00003513: PUSH1 0x92
00003515: SHL
00003516: PUSH1 0x40
00003518: DUP3
00003519: ADD
0000351a: MSTORE
0000351b: PUSH1 0x60
0000351d: ADD
0000351e: SWAP1
0000351f: JUMP
00003520: JUMPDEST
00003521: PUSH1 0x00
00003523: DUP1
00003524: DUP5
00003525: SLOAD
00003526: PUSH2 0x352e
00003529: DUP2
0000352a: PUSH2 0x3120
0000352d: JUMP
0000352e: JUMPDEST
0000352f: PUSH1 0x01
00003531: DUP3
00003532: DUP2
00003533: AND
00003534: DUP1
00003535: ISZERO
00003536: PUSH2 0x3546
00003539: JUMPI
0000353a: PUSH1 0x01
0000353c: DUP2
0000353d: EQ
0000353e: PUSH2 0x355b
00003541: JUMPI
00003542: PUSH2 0x358a
00003545: JUMP
00003546: JUMPDEST
00003547: PUSH1 0xff
00003549: NOT
0000354a: DUP5
0000354b: AND
0000354c: DUP8
0000354d: MSTORE
0000354e: DUP3
0000354f: ISZERO
00003550: ISZERO
00003551: DUP4
00003552: MUL
00003553: DUP8
00003554: ADD
00003555: SWAP5
00003556: POP
00003557: PUSH2 0x358a
0000355a: JUMP
0000355b: JUMPDEST
0000355c: DUP9
0000355d: PUSH1 0x00
0000355f: MSTORE
00003560: PUSH1 0x20
00003562: DUP1
00003563: PUSH1 0x00
00003565: KECCAK256
00003566: PUSH1 0x00
00003568: JUMPDEST
00003569: DUP6
0000356a: DUP2
0000356b: LT
0000356c: ISZERO
0000356d: PUSH2 0x3581
00003570: JUMPI
00003571: DUP2
00003572: SLOAD
00003573: DUP11
00003574: DUP3
00003575: ADD
00003576: MSTORE
00003577: SWAP1
00003578: DUP5
00003579: ADD
0000357a: SWAP1
0000357b: DUP3
0000357c: ADD
0000357d: PUSH2 0x3568
00003580: JUMP
00003581: JUMPDEST
00003582: POP
00003583: POP
00003584: POP
00003585: DUP3
00003586: DUP8
00003587: ADD
00003588: SWAP5
00003589: POP
0000358a: JUMPDEST
0000358b: POP
0000358c: POP
0000358d: POP
0000358e: POP
0000358f: DUP4
00003590: MLOAD
00003591: PUSH2 0x359e
00003594: DUP2
00003595: DUP4
00003596: PUSH1 0x20
00003598: DUP9
00003599: ADD
0000359a: PUSH2 0x2b89
0000359d: JUMP
0000359e: JUMPDEST
0000359f: ADD
000035a0: SWAP5
000035a1: SWAP4
000035a2: POP
000035a3: POP
000035a4: POP
000035a5: POP
000035a6: JUMP
000035a7: JUMPDEST
000035a8: PUSH4 0x4e487b71
000035ad: PUSH1 0xe0
000035af: SHL
000035b0: PUSH1 0x00
000035b2: MSTORE
000035b3: PUSH1 0x12
000035b5: PUSH1 0x04
000035b7: MSTORE
000035b8: PUSH1 0x24
000035ba: PUSH1 0x00
000035bc: REVERT
000035bd: JUMPDEST
000035be: PUSH1 0x00
000035c0: DUP3
000035c1: PUSH2 0x35cc
000035c4: JUMPI
000035c5: PUSH2 0x35cc
000035c8: PUSH2 0x35a7
000035cb: JUMP
000035cc: JUMPDEST
000035cd: POP
000035ce: DIV
000035cf: SWAP1
000035d0: JUMP
000035d1: JUMPDEST
000035d2: DUP2
000035d3: DUP2
000035d4: SUB
000035d5: DUP2
000035d6: DUP2
000035d7: GT
000035d8: ISZERO
000035d9: PUSH2 0x0a8e
000035dc: JUMPI
000035dd: PUSH2 0x0a8e
000035e0: PUSH2 0x315a
000035e3: JUMP
000035e4: JUMPDEST
000035e5: PUSH1 0x01
000035e7: PUSH1 0x01
000035e9: PUSH1 0xa0
000035eb: SHL
000035ec: SUB
000035ed: DUP6
000035ee: DUP2
000035ef: AND
000035f0: DUP3
000035f1: MSTORE
000035f2: DUP5
000035f3: AND
000035f4: PUSH1 0x20
000035f6: DUP3
000035f7: ADD
000035f8: MSTORE
000035f9: PUSH1 0x40
000035fb: DUP2
000035fc: ADD
000035fd: DUP4
000035fe: SWAP1
000035ff: MSTORE
00003600: PUSH1 0x80
00003602: PUSH1 0x60
00003604: DUP3
00003605: ADD
00003606: DUP2
00003607: SWAP1
00003608: MSTORE
00003609: PUSH1 0x00
0000360b: SWAP1
0000360c: PUSH2 0x3617
0000360f: SWAP1
00003610: DUP4
00003611: ADD
00003612: DUP5
00003613: PUSH2 0x2bad
00003616: JUMP
00003617: JUMPDEST
00003618: SWAP7
00003619: SWAP6
0000361a: POP
0000361b: POP
0000361c: POP
0000361d: POP
0000361e: POP
0000361f: POP
00003620: JUMP
00003621: JUMPDEST
00003622: PUSH1 0x00
00003624: PUSH1 0x20
00003626: DUP3
00003627: DUP5
00003628: SUB
00003629: SLT
0000362a: ISZERO
0000362b: PUSH2 0x3633
0000362e: JUMPI
0000362f: PUSH1 0x00
00003631: DUP1
00003632: REVERT
00003633: JUMPDEST
00003634: DUP2
00003635: MLOAD
00003636: PUSH2 0x21bf
00003639: DUP2
0000363a: PUSH2 0x2b56
0000363d: JUMP
0000363e: JUMPDEST
0000363f: PUSH1 0x00
00003641: PUSH1 0x01
00003643: DUP3
00003644: ADD
00003645: PUSH2 0x3650
00003648: JUMPI
00003649: PUSH2 0x3650
0000364c: PUSH2 0x315a
0000364f: JUMP
00003650: JUMPDEST
00003651: POP
00003652: PUSH1 0x01
00003654: ADD
00003655: SWAP1
00003656: JUMP
00003657: JUMPDEST
00003658: PUSH1 0x00
0000365a: DUP3
0000365b: PUSH2 0x3666
0000365e: JUMPI
0000365f: PUSH2 0x3666
00003662: PUSH2 0x35a7
00003665: JUMP
00003666: JUMPDEST
00003667: POP
00003668: MOD
00003669: SWAP1
0000366a: JUMP
0000366b: JUMPDEST
0000366c: PUSH1 0x00
0000366e: PUSH1 0x20
00003670: DUP3
00003671: DUP5
00003672: SUB
00003673: SLT
00003674: ISZERO
00003675: PUSH2 0x367d
00003678: JUMPI
00003679: PUSH1 0x00
0000367b: DUP1
0000367c: REVERT
0000367d: JUMPDEST
0000367e: DUP2
0000367f: MLOAD
00003680: PUSH2 0x21bf
00003683: DUP2
00003684: PUSH2 0x2f3a
00003687: JUMP
00003688: JUMPDEST
00003689: PUSH1 0x00
0000368b: DUP3
0000368c: MLOAD
0000368d: PUSH2 0x369a
00003690: DUP2
00003691: DUP5
00003692: PUSH1 0x20
00003694: DUP8
00003695: ADD
00003696: PUSH2 0x2b89
00003699: JUMP
0000369a: JUMPDEST
0000369b: SWAP2
0000369c: SWAP1
0000369d: SWAP2
0000369e: ADD
0000369f: SWAP3
000036a0: SWAP2
000036a1: POP
000036a2: POP
000036a3: JUMP
000036a4: INVALID
000036a5: UNKNOWN(0xDD)
000036a6: CALLCODE
000036a7: MSTORE
000036a8: UNKNOWN(0xAD)
000036a9: SHL
000036aa: UNKNOWN(0xE2)
000036ab: UNKNOWN(0xC8)
000036ac: SWAP12
000036ad: PUSH10 0xc2b068fc378daa952ba7
000036b8: CALL
000036b9: PUSH4 0xc4a11628
000036be: CREATE2
000036bf: GAS
000036c0: UNKNOWN(0x4D)
000036c1: CREATE2
000036c2: UNKNOWN(0x23)
000036c3: UNKNOWN(0xB3)
000036c4: UNKNOWN(0xEF)
000036c5: LOG2
000036c6: PUSH5 0x6970667358
000036cc: UNKNOWN(0x22)
000036cd: SLT
000036ce: KECCAK256
000036cf: UNKNOWN(0xB4)
000036d0: SWAP15
000036d1: UNKNOWN(0xEB)
000036d2: SLT
000036d3: MOD
000036d4: SIGNEXTEND
000036d5: NOT
000036d6: POP
000036d7: MOD
000036d8: EXP
000036d9: SWAP16
000036da: UNKNOWN(0xA6)
000036db: UNKNOWN(0xDE)
000036dc: UNKNOWN(0xCA)
000036dd: DUP5
000036de: UNKNOWN(0x4F)
000036df: UNKNOWN(0xB9)
000036e0: PC
000036e1: UNKNOWN(0x2D)
000036e2: UNKNOWN(0xCD)
000036e3: TLOAD
000036e4: RETURNDATASIZE
000036e5: BLOCKHASH
000036e6: MULMOD
000036e7: UNKNOWN(0xB6)
000036e8: TIMESTAMP
000036e9: REVERT
000036ea: UNKNOWN(0xC0)
000036eb: PUSH28
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: 0xfef4663024b04df4a024fabe7c80e0223b45ba1c3f6ae9684e54a91513830bd4 call_targets: 0xb05fd8abd64e6421fde30d5db879a3dad54e251b target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xfef4663024b04df4a024fabe7c80e0223b45ba1c3f6ae9684e54a91513830bd4", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xb05fd8abd64e6421fde30d5db879a3dad54e251b" ], "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": "0x7a657d6c", "selector": "0x7a657d6c", "calldata_variants": [ "0x7a657d6c", "0x7a657d6c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x81eaf99b", "selector": "0x81eaf99b", "calldata_variants": [ "0x81eaf99b", "0x81eaf99b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8b83209b", "selector": "0x8b83209b", "calldata_variants": [ "0x8b83209b", "0x8b83209b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8cb4a267", "selector": "0x8cb4a267", "calldata_variants": [ "0x8cb4a267", "0x8cb4a2670000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x95d89b41", "selector": "0x95d89b41", "calldata_variants": [ "0x95d89b41", "0x95d89b410000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x9852595c", "selector": "0x9852595c", "calldata_variants": [ "0x9852595c", "0x9852595c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x9c4dab52", "selector": "0x9c4dab52", "calldata_variants": [ "0x9c4dab52", "0x9c4dab520000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 4644, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 7701, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 8878, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 7, "guards_detected": [], "untrusted_call_count": 7 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0xfef4663024b04df4a024fabe7c80e0223b45ba1c3f6ae9684e54a91513830bd4 call_targets: 0xb05fd8abd64e6421fde30d5db879a3dad54e251b target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xfef4663024b04df4a024fabe7c80e0223b45ba1c3f6ae9684e54a91513830bd4", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xb05fd8abd64e6421fde30d5db879a3dad54e251b" ], "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": "0x7a657d6c", "selector": "0x7a657d6c", "calldata_variants": [ "0x7a657d6c", "0x7a657d6c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x81eaf99b", "selector": "0x81eaf99b", "calldata_variants": [ "0x81eaf99b", "0x81eaf99b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8b83209b", "selector": "0x8b83209b", "calldata_variants": [ "0x8b83209b", "0x8b83209b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8cb4a267", "selector": "0x8cb4a267", "calldata_variants": [ "0x8cb4a267", "0x8cb4a2670000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x95d89b41", "selector": "0x95d89b41", "calldata_variants": [ "0x95d89b41", "0x95d89b410000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x9852595c", "selector": "0x9852595c", "calldata_variants": [ "0x9852595c", "0x9852595c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x9c4dab52", "selector": "0x9c4dab52", "calldata_variants": [ "0x9c4dab52", "0x9c4dab520000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 4644, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 7701, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 8878, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 7, "guards_detected": [] }
medium	other	detector	CREATE/CREATE2 reachable	45	no	no	view trace_id: 0xdcc30a2f82897f8be830767eb8c79dc2168ebcf5092c46c7b9f5c7272139fe03 validation_json { "sink": "CREATE", "errors": 0, "status": "unknown", "attempts": 32, "trace_id": "0xdcc30a2f82897f8be830767eb8c79dc2168ebcf5092c46c7b9f5c7272139fe03", "confirmed": false, "trace_mode": "structLogs", "call_targets": null, "matched_probe": null, "target_varies": null, "classification": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0x7a657d6c", "selector": "0x7a657d6c", "calldata_variants": [ "0x7a657d6c", "0x7a657d6c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x81eaf99b", "selector": "0x81eaf99b", "calldata_variants": [ "0x81eaf99b", "0x81eaf99b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8b83209b", "selector": "0x8b83209b", "calldata_variants": [ "0x8b83209b", "0x8b83209b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8cb4a267", "selector": "0x8cb4a267", "calldata_variants": [ "0x8cb4a267", "0x8cb4a2670000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x95d89b41", "selector": "0x95d89b41", "calldata_variants": [ "0x95d89b41", "0x95d89b410000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x9852595c", "selector": "0x9852595c", "calldata_variants": [ "0x9852595c", "0x9852595c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x9c4dab52", "selector": "0x9c4dab52", "calldata_variants": [ "0x9c4dab52", "0x9c4dab520000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "create_count": 0, "create2_count": 2 }
Severity