Tripwire

Find contracts. Test them. Review real vulns.

Analysis Run

019b3844-991c-7282-9082-13f70509d189

complete

Chain ID

Address

0x0feccb11c5b61b3922c511d0f002c0b72d770dce

Block Number

—

Created

Fri, Dec 19, 2025 8:19 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

Bytecode only

Review Backing

Not yet

Best current signal

Untrusted DELEGATECALL target 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
14029	artifact.fetch	complete	1 / 3	3 months ago
14030	tool.cast_disasm	complete	1 / 3	3 months ago
57077	analysis.bundle	complete	1 / 3	1 week ago
57078	capability.graph	complete	1 / 3	1 week ago
57079	detector.run	complete	1 / 3	1 week ago
57080	validation.fork	complete	1 / 3	1 week ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no

Implementation:

—

Verified Source: no

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

6953

Flags

delegatecall_present selfdestruct_present

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x03c2
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x715018a6
00000019: GT
0000001a: PUSH2 0x01f2
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xbee8fdb0
00000024: GT
00000025: PUSH2 0x010d
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xf2fde38b
0000002f: GT
00000030: PUSH2 0x00a0
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xfb22ae4e
0000003a: GT
0000003b: PUSH2 0x006f
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xfb22ae4e
00000045: EQ
00000046: PUSH2 0x0b43
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xfc4cdaab
00000050: EQ
00000051: PUSH2 0x0b63
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xfd70de58
0000005b: EQ
0000005c: PUSH2 0x0b78
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xfdcf42c8
00000066: EQ
00000067: PUSH2 0x0b8d
0000006a: JUMPI
0000006b: PUSH2 0x03c2
0000006e: JUMP
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0xf2fde38b
00000076: EQ
00000077: PUSH2 0x0ad9
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xf35e4a6e
00000081: EQ
00000082: PUSH2 0x0af9
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xf63c01ca
0000008c: EQ
0000008d: PUSH2 0x0b19
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xf851a440
00000097: EQ
00000098: PUSH2 0x0b2e
0000009b: JUMPI
0000009c: PUSH2 0x03c2
0000009f: JUMP
000000a0: JUMPDEST
000000a1: DUP1
000000a2: PUSH4 0xd2697bfa
000000a7: GT
000000a8: PUSH2 0x00dc
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0xd2697bfa
000000b2: EQ
000000b3: PUSH2 0x0a53
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0xe2bbb158
000000bd: EQ
000000be: PUSH2 0x0a84
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xec776720
000000c8: EQ
000000c9: PUSH2 0x0aa4
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0xf256b130
000000d3: EQ
000000d4: PUSH2 0x0ac4
000000d7: JUMPI
000000d8: PUSH2 0x03c2
000000db: JUMP
000000dc: JUMPDEST
000000dd: DUP1
000000de: PUSH4 0xbee8fdb0
000000e3: EQ
000000e4: PUSH2 0x09de
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0xc7cdea37
000000ee: EQ
000000ef: PUSH2 0x09fe
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0xccc8ba79
000000f9: EQ
000000fa: PUSH2 0x0a1e
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0xd0d20689
00000104: EQ
00000105: PUSH2 0x0a3e
00000108: JUMPI
00000109: PUSH2 0x03c2
0000010c: JUMP
0000010d: JUMPDEST
0000010e: DUP1
0000010f: PUSH4 0x8dbb1e3a
00000114: GT
00000115: PUSH2 0x0185
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0x93f1a40b
0000011f: GT
00000120: PUSH2 0x0154
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0x93f1a40b
0000012a: EQ
0000012b: PUSH2 0x094f
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0xaa663d00
00000135: EQ
00000136: PUSH2 0x0985
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0xb3944d52
00000140: EQ
00000141: PUSH2 0x09b4
00000144: JUMPI
00000145: DUP1
00000146: PUSH4 0xbb770824
0000014b: EQ
0000014c: PUSH2 0x09c9
0000014f: JUMPI
00000150: PUSH2 0x03c2
00000153: JUMP
00000154: JUMPDEST
00000155: DUP1
00000156: PUSH4 0x8dbb1e3a
0000015b: EQ
0000015c: PUSH2 0x08c8
0000015f: JUMPI
00000160: DUP1
00000161: PUSH4 0x8ec7c20e
00000166: EQ
00000167: PUSH2 0x08e8
0000016a: JUMPI
0000016b: DUP1
0000016c: PUSH4 0x910d44a9
00000171: EQ
00000172: PUSH2 0x0908
00000175: JUMPI
00000176: DUP1
00000177: PUSH4 0x91dc0821
0000017c: EQ
0000017d: PUSH2 0x093a
00000180: JUMPI
00000181: PUSH2 0x03c2
00000184: JUMP
00000185: JUMPDEST
00000186: DUP1
00000187: PUSH4 0x8aa28550
0000018c: GT
0000018d: PUSH2 0x01c1
00000190: JUMPI
00000191: DUP1
00000192: PUSH4 0x8aa28550
00000197: EQ
00000198: PUSH2 0x0606
0000019b: JUMPI
0000019c: DUP1
0000019d: PUSH4 0x8ae98b9d
000001a2: EQ
000001a3: PUSH2 0x0873
000001a6: JUMPI
000001a7: DUP1
000001a8: PUSH4 0x8c03056b
000001ad: EQ
000001ae: PUSH2 0x0893
000001b1: JUMPI
000001b2: DUP1
000001b3: PUSH4 0x8da5cb5b
000001b8: EQ
000001b9: PUSH2 0x08b3
000001bc: JUMPI
000001bd: PUSH2 0x03c2
000001c0: JUMP
000001c1: JUMPDEST
000001c2: DUP1
000001c3: PUSH4 0x715018a6
000001c8: EQ
000001c9: PUSH2 0x0809
000001cc: JUMPI
000001cd: DUP1
000001ce: PUSH4 0x75829def
000001d3: EQ
000001d4: PUSH2 0x081e
000001d7: JUMPI
000001d8: DUP1
000001d9: PUSH4 0x787e92de
000001de: EQ
000001df: PUSH2 0x083e
000001e2: JUMPI
000001e3: DUP1
000001e4: PUSH4 0x7ae30512
000001e9: EQ
000001ea: PUSH2 0x085e
000001ed: JUMPI
000001ee: PUSH2 0x03c2
000001f1: JUMP
000001f2: JUMPDEST
000001f3: DUP1
000001f4: PUSH4 0x3874cf63
000001f9: GT
000001fa: PUSH2 0x02e2
000001fd: JUMPI
000001fe: DUP1
000001ff: PUSH4 0x48cd4cb1
00000204: GT
00000205: PUSH2 0x0275
00000208: JUMPI
00000209: DUP1
0000020a: PUSH4 0x555bcc40
0000020f: GT
00000210: PUSH2 0x0244
00000213: JUMPI
00000214: DUP1
00000215: PUSH4 0x555bcc40
0000021a: EQ
0000021b: PUSH2 0x079f
0000021e: JUMPI
0000021f: DUP1
00000220: PUSH4 0x5b62cbed
00000225: EQ
00000226: PUSH2 0x07bf
00000229: JUMPI
0000022a: DUP1
0000022b: PUSH4 0x5c60da1b
00000230: EQ
00000231: PUSH2 0x07df
00000234: JUMPI
00000235: DUP1
00000236: PUSH4 0x630b5ba1
0000023b: EQ
0000023c: PUSH2 0x07f4
0000023f: JUMPI
00000240: PUSH2 0x03c2
00000243: JUMP
00000244: JUMPDEST
00000245: DUP1
00000246: PUSH4 0x48cd4cb1
0000024b: EQ
0000024c: PUSH2 0x074d
0000024f: JUMPI
00000250: DUP1
00000251: PUSH4 0x4b2f336d
00000256: EQ
00000257: PUSH2 0x0762
0000025a: JUMPI
0000025b: DUP1
0000025c: PUSH4 0x4b82bb81
00000261: EQ
00000262: PUSH2 0x0777
00000265: JUMPI
00000266: DUP1
00000267: PUSH4 0x5358fbda
0000026c: EQ
0000026d: PUSH2 0x078c
00000270: JUMPI
00000271: PUSH2 0x03c2
00000274: JUMP
00000275: JUMPDEST
00000276: DUP1
00000277: PUSH4 0x411c075a
0000027c: GT
0000027d: PUSH2 0x02b1
00000280: JUMPI
00000281: DUP1
00000282: PUSH4 0x411c075a
00000287: EQ
00000288: PUSH2 0x06c9
0000028b: JUMPI
0000028c: DUP1
0000028d: PUSH4 0x441a3e70
00000292: EQ
00000293: PUSH2 0x06de
00000296: JUMPI
00000297: DUP1
00000298: PUSH4 0x4487152f
0000029d: EQ
0000029e: PUSH2 0x06fe
000002a1: JUMPI
000002a2: DUP1
000002a3: PUSH4 0x4736126f
000002a8: EQ
000002a9: PUSH2 0x071e
000002ac: JUMPI
000002ad: PUSH2 0x03c2
000002b0: JUMP
000002b1: JUMPDEST
000002b2: DUP1
000002b3: PUSH4 0x3874cf63
000002b8: EQ
000002b9: PUSH2 0x065d
000002bc: JUMPI
000002bd: DUP1
000002be: PUSH4 0x392e53cd
000002c3: EQ
000002c4: PUSH2 0x0672
000002c7: JUMPI
000002c8: DUP1
000002c9: PUSH4 0x3cafeeb5
000002ce: EQ
000002cf: PUSH2 0x0687
000002d2: JUMPI
000002d3: DUP1
000002d4: PUSH4 0x40ebe5bc
000002d9: EQ
000002da: PUSH2 0x06a7
000002dd: JUMPI
000002de: PUSH2 0x03c2
000002e1: JUMP
000002e2: JUMPDEST
000002e3: DUP1
000002e4: PUSH4 0x24597f13
000002e9: GT
000002ea: PUSH2 0x035a
000002ed: JUMPI
000002ee: DUP1
000002ef: PUSH4 0x31ed1bcc
000002f4: GT
000002f5: PUSH2 0x0329
000002f8: JUMPI
000002f9: DUP1
000002fa: PUSH4 0x31ed1bcc
000002ff: EQ
00000300: PUSH2 0x05e6
00000303: JUMPI
00000304: DUP1
00000305: PUSH4 0x32924b66
0000030a: EQ
0000030b: PUSH2 0x0606
0000030e: JUMPI
0000030f: DUP1
00000310: PUSH4 0x32f4901e
00000315: EQ
00000316: PUSH2 0x061b
00000319: JUMPI
0000031a: DUP1
0000031b: PUSH4 0x3528fd19
00000320: EQ
00000321: PUSH2 0x063b
00000324: JUMPI
00000325: PUSH2 0x03c2
00000328: JUMP
00000329: JUMPDEST
0000032a: DUP1
0000032b: PUSH4 0x24597f13
00000330: EQ
00000331: PUSH2 0x055f
00000334: JUMPI
00000335: DUP1
00000336: PUSH4 0x256939d1
0000033b: EQ
0000033c: PUSH2 0x057f
0000033f: JUMPI
00000340: DUP1
00000341: PUSH4 0x2c5bcda2
00000346: EQ
00000347: PUSH2 0x059f
0000034a: JUMPI
0000034b: DUP1
0000034c: PUSH4 0x2f380b35
00000351: EQ
00000352: PUSH2 0x05b4
00000355: JUMPI
00000356: PUSH2 0x03c2
00000359: JUMP
0000035a: JUMPDEST
0000035b: DUP1
0000035c: PUSH4 0x17caf6f1
00000361: GT
00000362: PUSH2 0x0396
00000365: JUMPI
00000366: DUP1
00000367: PUSH4 0x17caf6f1
0000036c: EQ
0000036d: PUSH2 0x04f5
00000370: JUMPI
00000371: DUP1
00000372: PUSH4 0x1aed6553
00000377: EQ
00000378: PUSH2 0x050a
0000037b: JUMPI
0000037c: DUP1
0000037d: PUSH4 0x1eaaa045
00000382: EQ
00000383: PUSH2 0x051f
00000386: JUMPI
00000387: DUP1
00000388: PUSH4 0x22d09248
0000038d: EQ
0000038e: PUSH2 0x053f
00000391: JUMPI
00000392: PUSH2 0x03c2
00000395: JUMP
00000396: JUMPDEST
00000397: DUP1
00000398: PUSH3 0x70ccd2
0000039c: EQ
0000039d: PUSH2 0x044a
000003a0: JUMPI
000003a1: DUP1
000003a2: PUSH4 0x02cdc8f3
000003a7: EQ
000003a8: PUSH2 0x0475
000003ab: JUMPI
000003ac: DUP1
000003ad: PUSH4 0x0933c1ed
000003b2: EQ
000003b3: PUSH2 0x0495
000003b6: JUMPI
000003b7: DUP1
000003b8: PUSH4 0x1526fe27
000003bd: EQ
000003be: PUSH2 0x04c2
000003c1: JUMPI
000003c2: JUMPDEST
000003c3: CALLVALUE
000003c4: ISZERO
000003c5: PUSH2 0x03cd
000003c8: JUMPI
000003c9: PUSH2 0x0448
000003cc: JUMP
000003cd: JUMPDEST
000003ce: PUSH1 0x00
000003d0: DUP1
000003d1: SLOAD
000003d2: PUSH1 0x40
000003d4: MLOAD
000003d5: PUSH1 0x01
000003d7: PUSH1 0x01
000003d9: PUSH1 0xa0
000003db: SHL
000003dc: SUB
000003dd: SWAP1
000003de: SWAP2
000003df: AND
000003e0: SWAP1
000003e1: PUSH2 0x03ed
000003e4: SWAP1
000003e5: DUP4
000003e6: SWAP1
000003e7: CALLDATASIZE
000003e8: SWAP1
000003e9: PUSH2 0x2293
000003ec: JUMP
000003ed: JUMPDEST
000003ee: PUSH1 0x00
000003f0: PUSH1 0x40
000003f2: MLOAD
000003f3: DUP1
000003f4: DUP4
000003f5: SUB
000003f6: DUP2
000003f7: DUP6
000003f8: GAS
000003f9: DELEGATECALL
000003fa: SWAP2
000003fb: POP
000003fc: POP
000003fd: RETURNDATASIZE
000003fe: DUP1
000003ff: PUSH1 0x00
00000401: DUP2
00000402: EQ
00000403: PUSH2 0x0428
00000406: JUMPI
00000407: PUSH1 0x40
00000409: MLOAD
0000040a: SWAP2
0000040b: POP
0000040c: PUSH1 0x1f
0000040e: NOT
0000040f: PUSH1 0x3f
00000411: RETURNDATASIZE
00000412: ADD
00000413: AND
00000414: DUP3
00000415: ADD
00000416: PUSH1 0x40
00000418: MSTORE
00000419: RETURNDATASIZE
0000041a: DUP3
0000041b: MSTORE
0000041c: RETURNDATASIZE
0000041d: PUSH1 0x00
0000041f: PUSH1 0x20
00000421: DUP5
00000422: ADD
00000423: RETURNDATACOPY
00000424: PUSH2 0x042d
00000427: JUMP
00000428: JUMPDEST
00000429: PUSH1 0x60
0000042b: SWAP2
0000042c: POP
0000042d: JUMPDEST
0000042e: POP
0000042f: POP
00000430: SWAP1
00000431: POP
00000432: PUSH1 0x40
00000434: MLOAD
00000435: RETURNDATASIZE
00000436: PUSH1 0x00
00000438: DUP3
00000439: RETURNDATACOPY
0000043a: DUP2
0000043b: DUP1
0000043c: ISZERO
0000043d: PUSH2 0x0444
00000440: JUMPI
00000441: RETURNDATASIZE
00000442: DUP3
00000443: RETURN
00000444: JUMPDEST
00000445: RETURNDATASIZE
00000446: DUP3
00000447: REVERT
00000448: JUMPDEST
00000449: STOP
0000044a: JUMPDEST
0000044b: CALLVALUE
0000044c: DUP1
0000044d: ISZERO
0000044e: PUSH2 0x0456
00000451: JUMPI
00000452: PUSH1 0x00
00000454: DUP1
00000455: REVERT
00000456: JUMPDEST
00000457: POP
00000458: PUSH2 0x045f
0000045b: PUSH2 0x0bad
0000045e: JUMP
0000045f: JUMPDEST
00000460: PUSH1 0x40
00000462: MLOAD
00000463: PUSH2 0x046c
00000466: SWAP2
00000467: SWAP1
00000468: PUSH2 0x2582
0000046b: JUMP
0000046c: JUMPDEST
0000046d: PUSH1 0x40
0000046f: MLOAD
00000470: DUP1
00000471: SWAP2
00000472: SUB
00000473: SWAP1
00000474: RETURN
00000475: JUMPDEST
00000476: CALLVALUE
00000477: DUP1
00000478: ISZERO
00000479: PUSH2 0x0481
0000047c: JUMPI
0000047d: PUSH1 0x00
0000047f: DUP1
00000480: REVERT
00000481: JUMPDEST
00000482: POP
00000483: PUSH2 0x0448
00000486: PUSH2 0x0490
00000489: CALLDATASIZE
0000048a: PUSH1 0x04
0000048c: PUSH2 0x219e
0000048f: JUMP
00000490: JUMPDEST
00000491: PUSH2 0x0bb3
00000494: JUMP
00000495: JUMPDEST
00000496: CALLVALUE
00000497: DUP1
00000498: ISZERO
00000499: PUSH2 0x04a1
0000049c: JUMPI
0000049d: PUSH1 0x00
0000049f: DUP1
000004a0: REVERT
000004a1: JUMPDEST
000004a2: POP
000004a3: PUSH2 0x04b5
000004a6: PUSH2 0x04b0
000004a9: CALLDATASIZE
000004aa: PUSH1 0x04
000004ac: PUSH2 0x1f82
000004af: JUMP
000004b0: JUMPDEST
000004b1: PUSH2 0x0c00
000004b4: JUMP
000004b5: JUMPDEST
000004b6: PUSH1 0x40
000004b8: MLOAD
000004b9: PUSH2 0x046c
000004bc: SWAP2
000004bd: SWAP1
000004be: PUSH2 0x2471
000004c1: JUMP
000004c2: JUMPDEST
000004c3: CALLVALUE
000004c4: DUP1
000004c5: ISZERO
000004c6: PUSH2 0x04ce
000004c9: JUMPI
000004ca: PUSH1 0x00
000004cc: DUP1
000004cd: REVERT
000004ce: JUMPDEST
000004cf: POP
000004d0: PUSH2 0x04e2
000004d3: PUSH2 0x04dd
000004d6: CALLDATASIZE
000004d7: PUSH1 0x04
000004d9: PUSH2 0x20b5
000004dc: JUMP
000004dd: JUMPDEST
000004de: PUSH2 0x0c1f
000004e1: JUMP
000004e2: JUMPDEST
000004e3: PUSH1 0x40
000004e5: MLOAD
000004e6: PUSH2 0x046c
000004e9: SWAP8
000004ea: SWAP7
000004eb: SWAP6
000004ec: SWAP5
000004ed: SWAP4
000004ee: SWAP3
000004ef: SWAP2
000004f0: SWAP1
000004f1: PUSH2 0x25d3
000004f4: JUMP
000004f5: JUMPDEST
000004f6: CALLVALUE
000004f7: DUP1
000004f8: ISZERO
000004f9: PUSH2 0x0501
000004fc: JUMPI
000004fd: PUSH1 0x00
000004ff: DUP1
00000500: REVERT
00000501: JUMPDEST
00000502: POP
00000503: PUSH2 0x045f
00000506: PUSH2 0x0c75
00000509: JUMP
0000050a: JUMPDEST
0000050b: CALLVALUE
0000050c: DUP1
0000050d: ISZERO
0000050e: PUSH2 0x0516
00000511: JUMPI
00000512: PUSH1 0x00
00000514: DUP1
00000515: REVERT
00000516: JUMPDEST
00000517: POP
00000518: PUSH2 0x045f
0000051b: PUSH2 0x0c7b
0000051e: JUMP
0000051f: JUMPDEST
00000520: CALLVALUE
00000521: DUP1
00000522: ISZERO
00000523: PUSH2 0x052b
00000526: JUMPI
00000527: PUSH1 0x00
00000529: DUP1
0000052a: REVERT
0000052b: JUMPDEST
0000052c: POP
0000052d: PUSH2 0x0448
00000530: PUSH2 0x053a
00000533: CALLDATASIZE
00000534: PUSH1 0x04
00000536: PUSH2 0x2138
00000539: JUMP
0000053a: JUMPDEST
0000053b: PUSH2 0x0c81
0000053e: JUMP
0000053f: JUMPDEST
00000540: CALLVALUE
00000541: DUP1
00000542: ISZERO
00000543: PUSH2 0x054b
00000546: JUMPI
00000547: PUSH1 0x00
00000549: DUP1
0000054a: REVERT
0000054b: JUMPDEST
0000054c: POP
0000054d: PUSH2 0x0448
00000550: PUSH2 0x055a
00000553: CALLDATASIZE
00000554: PUSH1 0x04
00000556: PUSH2 0x217d
00000559: JUMP
0000055a: JUMPDEST
0000055b: PUSH2 0x0cc8
0000055e: JUMP
0000055f: JUMPDEST
00000560: CALLVALUE
00000561: DUP1
00000562: ISZERO
00000563: PUSH2 0x056b
00000566: JUMPI
00000567: PUSH1 0x00
00000569: DUP1
0000056a: REVERT
0000056b: JUMPDEST
0000056c: POP
0000056d: PUSH2 0x0448
00000570: PUSH2 0x057a
00000573: CALLDATASIZE
00000574: PUSH1 0x04
00000576: PUSH2 0x1c19
00000579: JUMP
0000057a: JUMPDEST
0000057b: PUSH2 0x0d12
0000057e: JUMP
0000057f: JUMPDEST
00000580: CALLVALUE
00000581: DUP1
00000582: ISZERO
00000583: PUSH2 0x058b
00000586: JUMPI
00000587: PUSH1 0x00
00000589: DUP1
0000058a: REVERT
0000058b: JUMPDEST
0000058c: POP
0000058d: PUSH2 0x045f
00000590: PUSH2 0x059a
00000593: CALLDATASIZE
00000594: PUSH1 0x04
00000596: PUSH2 0x20b5
00000599: JUMP
0000059a: JUMPDEST
0000059b: PUSH2 0x0d59
0000059e: JUMP
0000059f: JUMPDEST
000005a0: CALLVALUE
000005a1: DUP1
000005a2: ISZERO
000005a3: PUSH2 0x05ab
000005a6: JUMPI
000005a7: PUSH1 0x00
000005a9: DUP1
000005aa: REVERT
000005ab: JUMPDEST
000005ac: POP
000005ad: PUSH2 0x045f
000005b0: PUSH2 0x0d5c
000005b3: JUMP
000005b4: JUMPDEST
000005b5: CALLVALUE
000005b6: DUP1
000005b7: ISZERO
000005b8: PUSH2 0x05c0
000005bb: JUMPI
000005bc: PUSH1 0x00
000005be: DUP1
000005bf: REVERT
000005c0: JUMPDEST
000005c1: POP
000005c2: PUSH2 0x05d4
000005c5: PUSH2 0x05cf
000005c8: CALLDATASIZE
000005c9: PUSH1 0x04
000005cb: PUSH2 0x20b5
000005ce: JUMP
000005cf: JUMPDEST
000005d0: PUSH2 0x0d62
000005d3: JUMP
000005d4: JUMPDEST
000005d5: PUSH1 0x40
000005d7: MLOAD
000005d8: PUSH2 0x046c
000005db: SWAP7
000005dc: SWAP6
000005dd: SWAP5
000005de: SWAP4
000005df: SWAP3
000005e0: SWAP2
000005e1: SWAP1
000005e2: PUSH2 0x2648
000005e5: JUMP
000005e6: JUMPDEST
000005e7: CALLVALUE
000005e8: DUP1
000005e9: ISZERO
000005ea: PUSH2 0x05f2
000005ed: JUMPI
000005ee: PUSH1 0x00
000005f0: DUP1
000005f1: REVERT
000005f2: JUMPDEST
000005f3: POP
000005f4: PUSH2 0x0448
000005f7: PUSH2 0x0601
000005fa: CALLDATASIZE
000005fb: PUSH1 0x04
000005fd: PUSH2 0x2028
00000600: JUMP
00000601: JUMPDEST
00000602: PUSH2 0x0ddb
00000605: JUMP
00000606: JUMPDEST
00000607: CALLVALUE
00000608: DUP1
00000609: ISZERO
0000060a: PUSH2 0x0612
0000060d: JUMPI
0000060e: PUSH1 0x00
00000610: DUP1
00000611: REVERT
00000612: JUMPDEST
00000613: POP
00000614: PUSH2 0x045f
00000617: PUSH2 0x0f17
0000061a: JUMP
0000061b: JUMPDEST
0000061c: CALLVALUE
0000061d: DUP1
0000061e: ISZERO
0000061f: PUSH2 0x0627
00000622: JUMPI
00000623: PUSH1 0x00
00000625: DUP1
00000626: REVERT
00000627: JUMPDEST
00000628: POP
00000629: PUSH2 0x0448
0000062c: PUSH2 0x0636
0000062f: CALLDATASIZE
00000630: PUSH1 0x04
00000632: PUSH2 0x217d
00000635: JUMP
00000636: JUMPDEST
00000637: PUSH2 0x0f1c
0000063a: JUMP
0000063b: JUMPDEST
0000063c: CALLVALUE
0000063d: DUP1
0000063e: ISZERO
0000063f: PUSH2 0x0647
00000642: JUMPI
00000643: PUSH1 0x00
00000645: DUP1
00000646: REVERT
00000647: JUMPDEST
00000648: POP
00000649: PUSH2 0x0650
0000064c: PUSH2 0x0f61
0000064f: JUMP
00000650: JUMPDEST
00000651: PUSH1 0x40
00000653: MLOAD
00000654: PUSH2 0x046c
00000657: SWAP2
00000658: SWAP1
00000659: PUSH2 0x2466
0000065c: JUMP
0000065d: JUMPDEST
0000065e: CALLVALUE
0000065f: DUP1
00000660: ISZERO
00000661: PUSH2 0x0669
00000664: JUMPI
00000665: PUSH1 0x00
00000667: DUP1
00000668: REVERT
00000669: JUMPDEST
0000066a: POP
0000066b: PUSH2 0x045f
0000066e: PUSH2 0x0f6f
00000671: JUMP
00000672: JUMPDEST
00000673: CALLVALUE
00000674: DUP1
00000675: ISZERO
00000676: PUSH2 0x067e
00000679: JUMPI
0000067a: PUSH1 0x00
0000067c: DUP1
0000067d: REVERT
0000067e: JUMPDEST
0000067f: POP
00000680: PUSH2 0x0650
00000683: PUSH2 0x0f75
00000686: JUMP
00000687: JUMPDEST
00000688: CALLVALUE
00000689: DUP1
0000068a: ISZERO
0000068b: PUSH2 0x0693
0000068e: JUMPI
0000068f: PUSH1 0x00
00000691: DUP1
00000692: REVERT
00000693: JUMPDEST
00000694: POP
00000695: PUSH2 0x0448
00000698: PUSH2 0x06a2
0000069b: CALLDATASIZE
0000069c: PUSH1 0x04
0000069e: PUSH2 0x2114
000006a1: JUMP
000006a2: JUMPDEST
000006a3: PUSH2 0x0f7e
000006a6: JUMP
000006a7: JUMPDEST
000006a8: CALLVALUE
000006a9: DUP1
000006aa: ISZERO
000006ab: PUSH2 0x06b3
000006ae: JUMPI
000006af: PUSH1 0x00
000006b1: DUP1
000006b2: REVERT
000006b3: JUMPDEST
000006b4: POP
000006b5: PUSH2 0x06bc
000006b8: PUSH2 0x0fc3
000006bb: JUMP
000006bc: JUMPDEST
000006bd: PUSH1 0x40
000006bf: MLOAD
000006c0: PUSH2 0x046c
000006c3: SWAP2
000006c4: SWAP1
000006c5: PUSH2 0x22bf
000006c8: JUMP
000006c9: JUMPDEST
000006ca: CALLVALUE
000006cb: DUP1
000006cc: ISZERO
000006cd: PUSH2 0x06d5
000006d0: JUMPI
000006d1: PUSH1 0x00
000006d3: DUP1
000006d4: REVERT
000006d5: JUMPDEST
000006d6: POP
000006d7: PUSH2 0x06bc
000006da: PUSH2 0x0fd2
000006dd: JUMP
000006de: JUMPDEST
000006df: CALLVALUE
000006e0: DUP1
000006e1: ISZERO
000006e2: PUSH2 0x06ea
000006e5: JUMPI
000006e6: PUSH1 0x00
000006e8: DUP1
000006e9: REVERT
000006ea: JUMPDEST
000006eb: POP
000006ec: PUSH2 0x0448
000006ef: PUSH2 0x06f9
000006f2: CALLDATASIZE
000006f3: PUSH1 0x04
000006f5: PUSH2 0x217d
000006f8: JUMP
000006f9: JUMPDEST
000006fa: PUSH2 0x0fe1
000006fd: JUMP
000006fe: JUMPDEST
000006ff: CALLVALUE
00000700: DUP1
00000701: ISZERO
00000702: PUSH2 0x070a
00000705: JUMPI
00000706: PUSH1 0x00
00000708: DUP1
00000709: REVERT
0000070a: JUMPDEST
0000070b: POP
0000070c: PUSH2 0x04b5
0000070f: PUSH2 0x0719
00000712: CALLDATASIZE
00000713: PUSH1 0x04
00000715: PUSH2 0x1f82
00000718: JUMP
00000719: JUMPDEST
0000071a: PUSH2 0x1026
0000071d: JUMP
0000071e: JUMPDEST
0000071f: CALLVALUE
00000720: DUP1
00000721: ISZERO
00000722: PUSH2 0x072a
00000725: JUMPI
00000726: PUSH1 0x00
00000728: DUP1
00000729: REVERT
0000072a: JUMPDEST
0000072b: POP
0000072c: PUSH2 0x073e
0000072f: PUSH2 0x0739
00000732: CALLDATASIZE
00000733: PUSH1 0x04
00000735: PUSH2 0x20e5
00000738: JUMP
00000739: JUMPDEST
0000073a: PUSH2 0x10ed
0000073d: JUMP
0000073e: JUMPDEST
0000073f: PUSH1 0x40
00000741: MLOAD
00000742: PUSH2 0x046c
00000745: SWAP4
00000746: SWAP3
00000747: SWAP2
00000748: SWAP1
00000749: PUSH2 0x2632
0000074c: JUMP
0000074d: JUMPDEST
0000074e: CALLVALUE
0000074f: DUP1
00000750: ISZERO
00000751: PUSH2 0x0759
00000754: JUMPI
00000755: PUSH1 0x00
00000757: DUP1
00000758: REVERT
00000759: JUMPDEST
0000075a: POP
0000075b: PUSH2 0x045f
0000075e: PUSH2 0x115d
00000761: JUMP
00000762: JUMPDEST
00000763: CALLVALUE
00000764: DUP1
00000765: ISZERO
00000766: PUSH2 0x076e
00000769: JUMPI
0000076a: PUSH1 0x00
0000076c: DUP1
0000076d: REVERT
0000076e: JUMPDEST
0000076f: POP
00000770: PUSH2 0x06bc
00000773: PUSH2 0x1163
00000776: JUMP
00000777: JUMPDEST
00000778: CALLVALUE
00000779: DUP1
0000077a: ISZERO
0000077b: PUSH2 0x0783
0000077e: JUMPI
0000077f: PUSH1 0x00
00000781: DUP1
00000782: REVERT
00000783: JUMPDEST
00000784: POP
00000785: PUSH2 0x045f
00000788: PUSH2 0x1172
0000078b: JUMP
0000078c: JUMPDEST
0000078d: PUSH2 0x0448
00000790: PUSH2 0x079a
00000793: CALLDATASIZE
00000794: PUSH1 0x04
00000796: PUSH2 0x20b5
00000799: JUMP
0000079a: JUMPDEST
0000079b: PUSH2 0x1178
0000079e: JUMP
0000079f: JUMPDEST
000007a0: CALLVALUE
000007a1: DUP1
000007a2: ISZERO
000007a3: PUSH2 0x07ab
000007a6: JUMPI
000007a7: PUSH1 0x00
000007a9: DUP1
000007aa: REVERT
000007ab: JUMPDEST
000007ac: POP
000007ad: PUSH2 0x0448
000007b0: PUSH2 0x07ba
000007b3: CALLDATASIZE
000007b4: PUSH1 0x04
000007b6: PUSH2 0x1c3c
000007b9: JUMP
000007ba: JUMPDEST
000007bb: PUSH2 0x11bb
000007be: JUMP
000007bf: JUMPDEST
000007c0: CALLVALUE
000007c1: DUP1
000007c2: ISZERO
000007c3: PUSH2 0x07cb
000007c6: JUMPI
000007c7: PUSH1 0x00
000007c9: DUP1
000007ca: REVERT
000007cb: JUMPDEST
000007cc: POP
000007cd: PUSH2 0x045f
000007d0: PUSH2 0x07da
000007d3: CALLDATASIZE
000007d4: PUSH1 0x04
000007d6: PUSH2 0x20b5
000007d9: JUMP
000007da: JUMPDEST
000007db: PUSH2 0x12ae
000007de: JUMP
000007df: JUMPDEST
000007e0: CALLVALUE
000007e1: DUP1
000007e2: ISZERO
000007e3: PUSH2 0x07eb
000007e6: JUMPI
000007e7: PUSH1 0x00
000007e9: DUP1
000007ea: REVERT
000007eb: JUMPDEST
000007ec: POP
000007ed: PUSH2 0x06bc
000007f0: PUSH2 0x12c0
000007f3: JUMP
000007f4: JUMPDEST
000007f5: CALLVALUE
000007f6: DUP1
000007f7: ISZERO
000007f8: PUSH2 0x0800
000007fb: JUMPI
000007fc: PUSH1 0x00
000007fe: DUP1
000007ff: REVERT
00000800: JUMPDEST
00000801: POP
00000802: PUSH2 0x0448
00000805: PUSH2 0x12cf
00000808: JUMP
00000809: JUMPDEST
0000080a: CALLVALUE
0000080b: DUP1
0000080c: ISZERO
0000080d: PUSH2 0x0815
00000810: JUMPI
00000811: PUSH1 0x00
00000813: DUP1
00000814: REVERT
00000815: JUMPDEST
00000816: POP
00000817: PUSH2 0x0448
0000081a: PUSH2 0x1304
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 0x0448
0000082f: PUSH2 0x0839
00000832: CALLDATASIZE
00000833: PUSH1 0x04
00000835: PUSH2 0x1c19
00000838: JUMP
00000839: JUMPDEST
0000083a: PUSH2 0x138d
0000083d: JUMP
0000083e: JUMPDEST
0000083f: CALLVALUE
00000840: DUP1
00000841: ISZERO
00000842: PUSH2 0x084a
00000845: JUMPI
00000846: PUSH1 0x00
00000848: DUP1
00000849: REVERT
0000084a: JUMPDEST
0000084b: POP
0000084c: PUSH2 0x0448
0000084f: PUSH2 0x0859
00000852: CALLDATASIZE
00000853: PUSH1 0x04
00000855: PUSH2 0x2114
00000858: JUMP
00000859: JUMPDEST
0000085a: PUSH2 0x13d0
0000085d: JUMP
0000085e: JUMPDEST
0000085f: CALLVALUE
00000860: DUP1
00000861: ISZERO
00000862: PUSH2 0x086a
00000865: JUMPI
00000866: PUSH1 0x00
00000868: DUP1
00000869: REVERT
0000086a: JUMPDEST
0000086b: POP
0000086c: PUSH2 0x045f
0000086f: PUSH2 0x1415
00000872: JUMP
00000873: JUMPDEST
00000874: CALLVALUE
00000875: DUP1
00000876: ISZERO
00000877: PUSH2 0x087f
0000087a: JUMPI
0000087b: PUSH1 0x00
0000087d: DUP1
0000087e: REVERT
0000087f: JUMPDEST
00000880: POP
00000881: PUSH2 0x0448
00000884: PUSH2 0x088e
00000887: CALLDATASIZE
00000888: PUSH1 0x04
0000088a: PUSH2 0x1c19
0000088d: JUMP
0000088e: JUMPDEST
0000088f: PUSH2 0x141b
00000892: JUMP
00000893: JUMPDEST
00000894: CALLVALUE
00000895: DUP1
00000896: ISZERO
00000897: PUSH2 0x089f
0000089a: JUMPI
0000089b: PUSH1 0x00
0000089d: DUP1
0000089e: REVERT
0000089f: JUMPDEST
000008a0: POP
000008a1: PUSH2 0x0448
000008a4: PUSH2 0x08ae
000008a7: CALLDATASIZE
000008a8: PUSH1 0x04
000008aa: PUSH2 0x1f66
000008ad: JUMP
000008ae: JUMPDEST
000008af: PUSH2 0x145e
000008b2: JUMP
000008b3: JUMPDEST
000008b4: CALLVALUE
000008b5: DUP1
000008b6: ISZERO
000008b7: PUSH2 0x08bf
000008ba: JUMPI
000008bb: PUSH1 0x00
000008bd: DUP1
000008be: REVERT
000008bf: JUMPDEST
000008c0: POP
000008c1: PUSH2 0x06bc
000008c4: PUSH2 0x14a1
000008c7: JUMP
000008c8: JUMPDEST
000008c9: CALLVALUE
000008ca: DUP1
000008cb: ISZERO
000008cc: PUSH2 0x08d4
000008cf: JUMPI
000008d0: PUSH1 0x00
000008d2: DUP1
000008d3: REVERT
000008d4: JUMPDEST
000008d5: POP
000008d6: PUSH2 0x045f
000008d9: PUSH2 0x08e3
000008dc: CALLDATASIZE
000008dd: PUSH1 0x04
000008df: PUSH2 0x217d
000008e2: JUMP
000008e3: JUMPDEST
000008e4: PUSH2 0x14b0
000008e7: JUMP
000008e8: JUMPDEST
000008e9: CALLVALUE
000008ea: DUP1
000008eb: ISZERO
000008ec: PUSH2 0x08f4
000008ef: JUMPI
000008f0: PUSH1 0x00
000008f2: DUP1
000008f3: REVERT
000008f4: JUMPDEST
000008f5: POP
000008f6: PUSH2 0x0448
000008f9: PUSH2 0x0903
000008fc: CALLDATASIZE
000008fd: PUSH1 0x04
000008ff: PUSH2 0x1f66
00000902: JUMP
00000903: JUMPDEST
00000904: PUSH2 0x150f
00000907: JUMP
00000908: JUMPDEST
00000909: CALLVALUE
0000090a: DUP1
0000090b: ISZERO
0000090c: PUSH2 0x0914
0000090f: JUMPI
00000910: PUSH1 0x00
00000912: DUP1
00000913: REVERT
00000914: JUMPDEST
00000915: POP
00000916: PUSH2 0x0928
00000919: PUSH2 0x0923
0000091c: CALLDATASIZE
0000091d: PUSH1 0x04
0000091f: PUSH2 0x217d
00000922: JUMP
00000923: JUMPDEST
00000924: PUSH2 0x1552
00000927: JUMP
00000928: JUMPDEST
00000929: PUSH1 0x40
0000092b: MLOAD
0000092c: PUSH2 0x046c
0000092f: SWAP7
00000930: SWAP6
00000931: SWAP5
00000932: SWAP4
00000933: SWAP3
00000934: SWAP2
00000935: SWAP1
00000936: PUSH2 0x2317
00000939: JUMP
0000093a: JUMPDEST
0000093b: CALLVALUE
0000093c: DUP1
0000093d: ISZERO
0000093e: PUSH2 0x0946
00000941: JUMPI
00000942: PUSH1 0x00
00000944: DUP1
00000945: REVERT
00000946: JUMPDEST
00000947: POP
00000948: PUSH2 0x045f
0000094b: PUSH2 0x15ce
0000094e: JUMP
0000094f: JUMPDEST
00000950: CALLVALUE
00000951: DUP1
00000952: ISZERO
00000953: PUSH2 0x095b
00000956: JUMPI
00000957: PUSH1 0x00
00000959: DUP1
0000095a: REVERT
0000095b: JUMPDEST
0000095c: POP
0000095d: PUSH2 0x096f
00000960: PUSH2 0x096a
00000963: CALLDATASIZE
00000964: PUSH1 0x04
00000966: PUSH2 0x20e5
00000969: JUMP
0000096a: JUMPDEST
0000096b: PUSH2 0x15d3
0000096e: JUMP
0000096f: JUMPDEST
00000970: PUSH1 0x40
00000972: MLOAD
00000973: PUSH2 0x046c
00000976: SWAP11
00000977: SWAP10
00000978: SWAP9
00000979: SWAP8
0000097a: SWAP7
0000097b: SWAP6
0000097c: SWAP5
0000097d: SWAP4
0000097e: SWAP3
0000097f: SWAP2
00000980: SWAP1
00000981: PUSH2 0x2679
00000984: JUMP
00000985: JUMPDEST
00000986: CALLVALUE
00000987: DUP1
00000988: ISZERO
00000989: PUSH2 0x0991
0000098c: JUMPI
0000098d: PUSH1 0x00
0000098f: DUP1
00000990: REVERT
00000991: JUMPDEST
00000992: POP
00000993: PUSH2 0x09a5
00000996: PUSH2 0x09a0
00000999: CALLDATASIZE
0000099a: PUSH1 0x04
0000099c: PUSH2 0x1c9c
0000099f: JUMP
000009a0: JUMPDEST
000009a1: PUSH2 0x1635
000009a4: JUMP
000009a5: JUMPDEST
000009a6: PUSH1 0x40
000009a8: MLOAD
000009a9: PUSH2 0x046c
000009ac: SWAP4
000009ad: SWAP3
000009ae: SWAP2
000009af: SWAP1
000009b0: PUSH2 0x2430
000009b3: JUMP
000009b4: JUMPDEST
000009b5: CALLVALUE
000009b6: DUP1
000009b7: ISZERO
000009b8: PUSH2 0x09c0
000009bb: JUMPI
000009bc: PUSH1 0x00
000009be: DUP1
000009bf: REVERT
000009c0: JUMPDEST
000009c1: POP
000009c2: PUSH2 0x045f
000009c5: PUSH2 0x1696
000009c8: JUMP
000009c9: JUMPDEST
000009ca: CALLVALUE
000009cb: DUP1
000009cc: ISZERO
000009cd: PUSH2 0x09d5
000009d0: JUMPI
000009d1: PUSH1 0x00
000009d3: DUP1
000009d4: REVERT
000009d5: JUMPDEST
000009d6: POP
000009d7: PUSH2 0x06bc
000009da: PUSH2 0x16ea
000009dd: JUMP
000009de: JUMPDEST
000009df: CALLVALUE
000009e0: DUP1
000009e1: ISZERO
000009e2: PUSH2 0x09ea
000009e5: JUMPI
000009e6: PUSH1 0x00
000009e8: DUP1
000009e9: REVERT
000009ea: JUMPDEST
000009eb: POP
000009ec: PUSH2 0x0448
000009ef: PUSH2 0x09f9
000009f2: CALLDATASIZE
000009f3: PUSH1 0x04
000009f5: PUSH2 0x20b5
000009f8: JUMP
000009f9: JUMPDEST
000009fa: PUSH2 0x16f9
000009fd: JUMP
000009fe: JUMPDEST
000009ff: CALLVALUE
00000a00: DUP1
00000a01: ISZERO
00000a02: PUSH2 0x0a0a
00000a05: JUMPI
00000a06: PUSH1 0x00
00000a08: DUP1
00000a09: REVERT
00000a0a: JUMPDEST
00000a0b: POP
00000a0c: PUSH2 0x0448
00000a0f: PUSH2 0x0a19
00000a12: CALLDATASIZE
00000a13: PUSH1 0x04
00000a15: PUSH2 0x217d
00000a18: JUMP
00000a19: JUMPDEST
00000a1a: PUSH2 0x173c
00000a1d: JUMP
00000a1e: JUMPDEST
00000a1f: CALLVALUE
00000a20: DUP1
00000a21: ISZERO
00000a22: PUSH2 0x0a2a
00000a25: JUMPI
00000a26: PUSH1 0x00
00000a28: DUP1
00000a29: REVERT
00000a2a: JUMPDEST
00000a2b: POP
00000a2c: PUSH2 0x0448
00000a2f: PUSH2 0x0a39
00000a32: CALLDATASIZE
00000a33: PUSH1 0x04
00000a35: PUSH2 0x217d
00000a38: JUMP
00000a39: JUMPDEST
00000a3a: PUSH2 0x1781
00000a3d: JUMP
00000a3e: JUMPDEST
00000a3f: CALLVALUE
00000a40: DUP1
00000a41: ISZERO
00000a42: PUSH2 0x0a4a
00000a45: JUMPI
00000a46: PUSH1 0x00
00000a48: DUP1
00000a49: REVERT
00000a4a: JUMPDEST
00000a4b: POP
00000a4c: PUSH2 0x045f
00000a4f: PUSH2 0x17c6
00000a52: JUMP
00000a53: JUMPDEST
00000a54: CALLVALUE
00000a55: DUP1
00000a56: ISZERO
00000a57: PUSH2 0x0a5f
00000a5a: JUMPI
00000a5b: PUSH1 0x00
00000a5d: DUP1
00000a5e: REVERT
00000a5f: JUMPDEST
00000a60: POP
00000a61: PUSH2 0x0a73
00000a64: PUSH2 0x0a6e
00000a67: CALLDATASIZE
00000a68: PUSH1 0x04
00000a6a: PUSH2 0x1c9c
00000a6d: JUMP
00000a6e: JUMPDEST
00000a6f: PUSH2 0x17cc
00000a72: JUMP
00000a73: JUMPDEST
00000a74: PUSH1 0x40
00000a76: MLOAD
00000a77: PUSH2 0x046c
00000a7a: SWAP6
00000a7b: SWAP5
00000a7c: SWAP4
00000a7d: SWAP3
00000a7e: SWAP2
00000a7f: SWAP1
00000a80: PUSH2 0x23c3
00000a83: JUMP
00000a84: JUMPDEST
00000a85: CALLVALUE
00000a86: DUP1
00000a87: ISZERO
00000a88: PUSH2 0x0a90
00000a8b: JUMPI
00000a8c: PUSH1 0x00
00000a8e: DUP1
00000a8f: REVERT
00000a90: JUMPDEST
00000a91: POP
00000a92: PUSH2 0x0448
00000a95: PUSH2 0x0a9f
00000a98: CALLDATASIZE
00000a99: PUSH1 0x04
00000a9b: PUSH2 0x217d
00000a9e: JUMP
00000a9f: JUMPDEST
00000aa0: PUSH2 0x1844
00000aa3: JUMP
00000aa4: JUMPDEST
00000aa5: CALLVALUE
00000aa6: DUP1
00000aa7: ISZERO
00000aa8: PUSH2 0x0ab0
00000aab: JUMPI
00000aac: PUSH1 0x00
00000aae: DUP1
00000aaf: REVERT
00000ab0: JUMPDEST
00000ab1: POP
00000ab2: PUSH2 0x0448
00000ab5: PUSH2 0x0abf
00000ab8: CALLDATASIZE
00000ab9: PUSH1 0x04
00000abb: PUSH2 0x217d
00000abe: JUMP
00000abf: JUMPDEST
00000ac0: PUSH2 0x1889
00000ac3: JUMP
00000ac4: JUMPDEST
00000ac5: CALLVALUE
00000ac6: DUP1
00000ac7: ISZERO
00000ac8: PUSH2 0x0ad0
00000acb: JUMPI
00000acc: PUSH1 0x00
00000ace: DUP1
00000acf: REVERT
00000ad0: JUMPDEST
00000ad1: POP
00000ad2: PUSH2 0x06bc
00000ad5: PUSH2 0x18ce
00000ad8: JUMP
00000ad9: JUMPDEST
00000ada: CALLVALUE
00000adb: DUP1
00000adc: ISZERO
00000add: PUSH2 0x0ae5
00000ae0: JUMPI
00000ae1: PUSH1 0x00
00000ae3: DUP1
00000ae4: REVERT
00000ae5: JUMPDEST
00000ae6: POP
00000ae7: PUSH2 0x0448
00000aea: PUSH2 0x0af4
00000aed: CALLDATASIZE
00000aee: PUSH1 0x04
00000af0: PUSH2 0x1c19
00000af3: JUMP
00000af4: JUMPDEST
00000af5: PUSH2 0x18dd
00000af8: JUMP
00000af9: JUMPDEST
00000afa: CALLVALUE
00000afb: DUP1
00000afc: ISZERO
00000afd: PUSH2 0x0b05
00000b00: JUMPI
00000b01: PUSH1 0x00
00000b03: DUP1
00000b04: REVERT
00000b05: JUMPDEST
00000b06: POP
00000b07: PUSH2 0x0448
00000b0a: PUSH2 0x0b14
00000b0d: CALLDATASIZE
00000b0e: PUSH1 0x04
00000b10: PUSH2 0x20b5
00000b13: JUMP
00000b14: JUMPDEST
00000b15: PUSH2 0x199e
00000b18: JUMP
00000b19: JUMPDEST
00000b1a: CALLVALUE
00000b1b: DUP1
00000b1c: ISZERO
00000b1d: PUSH2 0x0b25
00000b20: JUMPI
00000b21: PUSH1 0x00
00000b23: DUP1
00000b24: REVERT
00000b25: JUMPDEST
00000b26: POP
00000b27: PUSH2 0x045f
00000b2a: PUSH2 0x19e1
00000b2d: JUMP
00000b2e: JUMPDEST
00000b2f: CALLVALUE
00000b30: DUP1
00000b31: ISZERO
00000b32: PUSH2 0x0b3a
00000b35: JUMPI
00000b36: PUSH1 0x00
00000b38: DUP1
00000b39: REVERT
00000b3a: JUMPDEST
00000b3b: POP
00000b3c: PUSH2 0x06bc
00000b3f: PUSH2 0x19e7
00000b42: JUMP
00000b43: JUMPDEST
00000b44: CALLVALUE
00000b45: DUP1
00000b46: ISZERO
00000b47: PUSH2 0x0b4f
00000b4a: JUMPI
00000b4b: PUSH1 0x00
00000b4d: DUP1
00000b4e: REVERT
00000b4f: JUMPDEST
00000b50: POP
00000b51: PUSH2 0x0650
00000b54: PUSH2 0x0b5e
00000b57: CALLDATASIZE
00000b58: PUSH1 0x04
00000b5a: PUSH2 0x20e5
00000b5d: JUMP
00000b5e: JUMPDEST
00000b5f: PUSH2 0x19f6
00000b62: JUMP
00000b63: JUMPDEST
00000b64: CALLVALUE
00000b65: DUP1
00000b66: ISZERO
00000b67: PUSH2 0x0b6f
00000b6a: JUMPI
00000b6b: PUSH1 0x00
00000b6d: DUP1
00000b6e: REVERT
00000b6f: JUMPDEST
00000b70: POP
00000b71: PUSH2 0x0650
00000b74: PUSH2 0x1a16
00000b77: JUMP
00000b78: JUMPDEST
00000b79: CALLVALUE
00000b7a: DUP1
00000b7b: ISZERO
00000b7c: PUSH2 0x0b84
00000b7f: JUMPI
00000b80: PUSH1 0x00
00000b82: DUP1
00000b83: REVERT
00000b84: JUMPDEST
00000b85: POP
00000b86: PUSH2 0x045f
00000b89: PUSH2 0x1a25
00000b8c: JUMP
00000b8d: JUMPDEST
00000b8e: CALLVALUE
00000b8f: DUP1
00000b90: ISZERO
00000b91: PUSH2 0x0b99
00000b94: JUMPI
00000b95: PUSH1 0x00
00000b97: DUP1
00000b98: REVERT
00000b99: JUMPDEST
00000b9a: POP
00000b9b: PUSH2 0x045f
00000b9e: PUSH2 0x0ba8
00000ba1: CALLDATASIZE
00000ba2: PUSH1 0x04
00000ba4: PUSH2 0x20e5
00000ba7: JUMP
00000ba8: JUMPDEST
00000ba9: PUSH2 0x1a2b
00000bac: JUMP
00000bad: JUMPDEST
00000bae: PUSH1 0x07
00000bb0: SLOAD
00000bb1: DUP2
00000bb2: JUMP
00000bb3: JUMPDEST
00000bb4: PUSH2 0x0bfa
00000bb7: DUP4
00000bb8: DUP4
00000bb9: DUP4
00000bba: PUSH1 0x40
00000bbc: MLOAD
00000bbd: PUSH1 0x24
00000bbf: ADD
00000bc0: PUSH2 0x0bcb
00000bc3: SWAP4
00000bc4: SWAP3
00000bc5: SWAP2
00000bc6: SWAP1
00000bc7: PUSH2 0x261a
00000bca: JUMP
00000bcb: JUMPDEST
00000bcc: PUSH1 0x40
00000bce: DUP1
00000bcf: MLOAD
00000bd0: PUSH1 0x1f
00000bd2: NOT
00000bd3: DUP2
00000bd4: DUP5
00000bd5: SUB
00000bd6: ADD
00000bd7: DUP2
00000bd8: MSTORE
00000bd9: SWAP2
00000bda: SWAP1
00000bdb: MSTORE
00000bdc: PUSH1 0x20
00000bde: DUP2
00000bdf: ADD
00000be0: DUP1
00000be1: MLOAD
00000be2: PUSH1 0x01
00000be4: PUSH1 0x01
00000be6: PUSH1 0xe0
00000be8: SHL
00000be9: SUB
00000bea: AND
00000beb: PUSH4 0x02cdc8f3
00000bf0: PUSH1 0xe0
00000bf2: SHL
00000bf3: OR
00000bf4: SWAP1
00000bf5: MSTORE
00000bf6: PUSH2 0x0c00
00000bf9: JUMP
00000bfa: JUMPDEST
00000bfb: POP
00000bfc: POP
00000bfd: POP
00000bfe: POP
00000bff: JUMP
00000c00: JUMPDEST
00000c01: PUSH1 0x00
00000c03: SLOAD
00000c04: PUSH1 0x60
00000c06: SWAP1
00000c07: PUSH2 0x0c19
00000c0a: SWAP1
00000c0b: PUSH1 0x01
00000c0d: PUSH1 0x01
00000c0f: PUSH1 0xa0
00000c11: SHL
00000c12: SUB
00000c13: AND
00000c14: DUP4
00000c15: PUSH2 0x1a48
00000c18: JUMP
00000c19: JUMPDEST
00000c1a: SWAP3
00000c1b: SWAP2
00000c1c: POP
00000c1d: POP
00000c1e: JUMP
00000c1f: JUMPDEST
00000c20: PUSH1 0x12
00000c22: DUP2
00000c23: DUP2
00000c24: SLOAD
00000c25: DUP2
00000c26: LT
00000c27: PUSH2 0x0c2c
00000c2a: JUMPI
00000c2b: INVALID
00000c2c: JUMPDEST
00000c2d: PUSH1 0x00
00000c2f: SWAP2
00000c30: DUP3
00000c31: MSTORE
00000c32: PUSH1 0x20
00000c34: SWAP1
00000c35: SWAP2
00000c36: KECCAK256
00000c37: PUSH1 0x07
00000c39: SWAP1
00000c3a: SWAP2
00000c3b: MUL
00000c3c: ADD
00000c3d: DUP1
00000c3e: SLOAD
00000c3f: PUSH1 0x01
00000c41: DUP3
00000c42: ADD
00000c43: SLOAD
00000c44: PUSH1 0x02
00000c46: DUP4
00000c47: ADD
00000c48: SLOAD
00000c49: PUSH1 0x03
00000c4b: DUP5
00000c4c: ADD
00000c4d: SLOAD
00000c4e: PUSH1 0x04
00000c50: DUP6
00000c51: ADD
00000c52: SLOAD
00000c53: PUSH1 0x05
00000c55: DUP7
00000c56: ADD
00000c57: SLOAD
00000c58: PUSH1 0x06
00000c5a: SWAP1
00000c5b: SWAP7
00000c5c: ADD
00000c5d: SLOAD
00000c5e: SWAP5
00000c5f: SWAP7
00000c60: POP
00000c61: PUSH1 0x01
00000c63: PUSH1 0x01
00000c65: PUSH1 0xa0
00000c67: SHL
00000c68: SUB
00000c69: SWAP1
00000c6a: SWAP4
00000c6b: AND
00000c6c: SWAP5
00000c6d: SWAP2
00000c6e: SWAP4
00000c6f: SWAP1
00000c70: SWAP3
00000c71: SWAP2
00000c72: SWAP1
00000c73: DUP8
00000c74: JUMP
00000c75: JUMPDEST
00000c76: PUSH1 0x13
00000c78: SLOAD
00000c79: DUP2
00000c7a: JUMP
00000c7b: JUMPDEST
00000c7c: PUSH1 0x16
00000c7e: SLOAD
00000c7f: DUP2
00000c80: JUMP
00000c81: JUMPDEST
00000c82: PUSH2 0x0bfa
00000c85: DUP4
00000c86: DUP4
00000c87: DUP4
00000c88: PUSH1 0x40
00000c8a: MLOAD
00000c8b: PUSH1 0x24
00000c8d: ADD
00000c8e: PUSH2 0x0c99
00000c91: SWAP4
00000c92: SWAP3
00000c93: SWAP2
00000c94: SWAP1
00000c95: PUSH2 0x25b2
00000c98: JUMP
00000c99: JUMPDEST
00000c9a: PUSH1 0x40
00000c9c: DUP1
00000c9d: MLOAD
00000c9e: PUSH1 0x1f
00000ca0: NOT
00000ca1: DUP2
00000ca2: DUP5
00000ca3: SUB
00000ca4: ADD
00000ca5: DUP2
00000ca6: MSTORE
00000ca7: SWAP2
00000ca8: SWAP1
00000ca9: MSTORE
00000caa: PUSH1 0x20
00000cac: DUP2
00000cad: ADD
00000cae: DUP1
00000caf: MLOAD
00000cb0: PUSH1 0x01
00000cb2: PUSH1 0x01
00000cb4: PUSH1 0xe0
00000cb6: SHL
00000cb7: SUB
00000cb8: AND
00000cb9: PUSH4 0x1eaaa045
00000cbe: PUSH1 0xe0
00000cc0: SHL
00000cc1: OR
00000cc2: SWAP1
00000cc3: MSTORE
00000cc4: PUSH2 0x0c00
00000cc7: JUMP
00000cc8: JUMPDEST
00000cc9: PUSH2 0x0d0d
00000ccc: DUP3
00000ccd: DUP3
00000cce: PUSH1 0x40
00000cd0: MLOAD
00000cd1: PUSH1 0x24
00000cd3: ADD
00000cd4: PUSH2 0x0cde
00000cd7: SWAP3
00000cd8: SWAP2
00000cd9: SWAP1
00000cda: PUSH2 0x260c
00000cdd: JUMP
00000cde: JUMPDEST
00000cdf: PUSH1 0x40
00000ce1: DUP1
00000ce2: MLOAD
00000ce3: PUSH1 0x1f
00000ce5: NOT
00000ce6: DUP2
00000ce7: DUP5
00000ce8: SUB
00000ce9: ADD
00000cea: DUP2
00000ceb: MSTORE
00000cec: SWAP2
00000ced: SWAP1
00000cee: MSTORE
00000cef: PUSH1 0x20
00000cf1: DUP2
00000cf2: ADD
00000cf3: DUP1
00000cf4: MLOAD
00000cf5: PUSH1 0x01
00000cf7: PUSH1 0x01
00000cf9: PUSH1 0xe0
00000cfb: SHL
00000cfc: SUB
00000cfd: AND
00000cfe: PUSH4 0x045a1249
00000d03: PUSH1 0xe3
00000d05: SHL
00000d06: OR
00000d07: SWAP1
00000d08: MSTORE
00000d09: PUSH2 0x0c00
00000d0c: JUMP
00000d0d: JUMPDEST
00000d0e: POP
00000d0f: POP
00000d10: POP
00000d11: JUMP
00000d12: JUMPDEST
00000d13: PUSH2 0x0d55
00000d16: DUP2
00000d17: PUSH1 0x40
00000d19: MLOAD
00000d1a: PUSH1 0x24
00000d1c: ADD
00000d1d: PUSH2 0x0d26
00000d20: SWAP2
00000d21: SWAP1
00000d22: PUSH2 0x22bf
00000d25: JUMP
00000d26: JUMPDEST
00000d27: PUSH1 0x40
00000d29: DUP1
00000d2a: MLOAD
00000d2b: PUSH1 0x1f
00000d2d: NOT
00000d2e: DUP2
00000d2f: DUP5
00000d30: SUB
00000d31: ADD
00000d32: DUP2
00000d33: MSTORE
00000d34: SWAP2
00000d35: SWAP1
00000d36: MSTORE
00000d37: PUSH1 0x20
00000d39: DUP2
00000d3a: ADD
00000d3b: DUP1
00000d3c: MLOAD
00000d3d: PUSH1 0x01
00000d3f: PUSH1 0x01
00000d41: PUSH1 0xe0
00000d43: SHL
00000d44: SUB
00000d45: AND
00000d46: PUSH4 0x24597f13
00000d4b: PUSH1 0xe0
00000d4d: SHL
00000d4e: OR
00000d4f: SWAP1
00000d50: MSTORE
00000d51: PUSH2 0x0c00
00000d54: JUMP
00000d55: JUMPDEST
00000d56: POP
00000d57: POP
00000d58: JUMP
00000d59: JUMPDEST
00000d5a: SWAP1
00000d5b: JUMP
00000d5c: JUMPDEST
00000d5d: PUSH1 0x14
00000d5f: SLOAD
00000d60: DUP2
00000d61: JUMP
00000d62: JUMPDEST
00000d63: PUSH1 0x00
00000d65: DUP1
00000d66: PUSH1 0x00
00000d68: DUP1
00000d69: PUSH1 0x00
00000d6b: DUP1
00000d6c: PUSH1 0x60
00000d6e: PUSH2 0x0db0
00000d71: DUP9
00000d72: PUSH1 0x40
00000d74: MLOAD
00000d75: PUSH1 0x24
00000d77: ADD
00000d78: PUSH2 0x0d81
00000d7b: SWAP2
00000d7c: SWAP1
00000d7d: PUSH2 0x2582
00000d80: JUMP
00000d81: JUMPDEST
00000d82: PUSH1 0x40
00000d84: DUP1
00000d85: MLOAD
00000d86: PUSH1 0x1f
00000d88: NOT
00000d89: DUP2
00000d8a: DUP5
00000d8b: SUB
00000d8c: ADD
00000d8d: DUP2
00000d8e: MSTORE
00000d8f: SWAP2
00000d90: SWAP1
00000d91: MSTORE
00000d92: PUSH1 0x20
00000d94: DUP2
00000d95: ADD
00000d96: DUP1
00000d97: MLOAD
00000d98: PUSH1 0x01
00000d9a: PUSH1 0x01
00000d9c: PUSH1 0xe0
00000d9e: SHL
00000d9f: SUB
00000da0: AND
00000da1: PUSH4 0x2f380b35
00000da6: PUSH1 0xe0
00000da8: SHL
00000da9: OR
00000daa: SWAP1
00000dab: MSTORE
00000dac: PUSH2 0x1026
00000daf: JUMP
00000db0: JUMPDEST
00000db1: SWAP1
00000db2: POP
00000db3: DUP1
00000db4: DUP1
00000db5: PUSH1 0x20
00000db7: ADD
00000db8: SWAP1
00000db9: MLOAD
00000dba: DUP2
00000dbb: ADD
00000dbc: SWAP1
00000dbd: PUSH2 0x0dc6
00000dc0: SWAP2
00000dc1: SWAP1
00000dc2: PUSH2 0x21f8
00000dc5: JUMP
00000dc6: JUMPDEST
00000dc7: SWAP5
00000dc8: SWAP14
00000dc9: SWAP4
00000dca: SWAP13
00000dcb: POP
00000dcc: SWAP2
00000dcd: SWAP11
00000dce: POP
00000dcf: SWAP9
00000dd0: POP
00000dd1: SWAP7
00000dd2: POP
00000dd3: SWAP1
00000dd4: SWAP5
00000dd5: POP
00000dd6: SWAP3
00000dd7: POP
00000dd8: POP
00000dd9: POP
00000dda: JUMP
00000ddb: JUMPDEST
00000ddc: PUSH2 0x0de3
00000ddf: PUSH2 0x1abb
00000de2: JUMP
00000de3: JUMPDEST
00000de4: PUSH1 0x01
00000de6: PUSH1 0x01
00000de8: PUSH1 0xa0
00000dea: SHL
00000deb: SUB
00000dec: AND
00000ded: PUSH2 0x0df4
00000df0: PUSH2 0x14a1
00000df3: JUMP
00000df4: JUMPDEST
00000df5: PUSH1 0x01
00000df7: PUSH1 0x01
00000df9: PUSH1 0xa0
00000dfb: SHL
00000dfc: SUB
00000dfd: AND
00000dfe: EQ
00000dff: PUSH2 0x0e23
00000e02: JUMPI
00000e03: PUSH1 0x40
00000e05: MLOAD
00000e06: PUSH3 0x461bcd
00000e0a: PUSH1 0xe5
00000e0c: SHL
00000e0d: DUP2
00000e0e: MSTORE
00000e0f: PUSH1 0x04
00000e11: ADD
00000e12: PUSH2 0x0e1a
00000e15: SWAP1
00000e16: PUSH2 0x2521
00000e19: JUMP
00000e1a: JUMPDEST
00000e1b: PUSH1 0x40
00000e1d: MLOAD
00000e1e: DUP1
00000e1f: SWAP2
00000e20: SUB
00000e21: SWAP1
00000e22: REVERT
00000e23: JUMPDEST
00000e24: PUSH1 0x18
00000e26: SLOAD
00000e27: PUSH1 0xff
00000e29: AND
00000e2a: ISZERO
00000e2b: PUSH2 0x0e46
00000e2e: JUMPI
00000e2f: PUSH1 0x40
00000e31: MLOAD
00000e32: PUSH3 0x461bcd
00000e36: PUSH1 0xe5
00000e38: SHL
00000e39: DUP2
00000e3a: MSTORE
00000e3b: PUSH1 0x04
00000e3d: ADD
00000e3e: PUSH2 0x0e1a
00000e41: SWAP1
00000e42: PUSH2 0x24ea
00000e45: JUMP
00000e46: JUMPDEST
00000e47: PUSH1 0x15
00000e49: DUP1
00000e4a: SLOAD
00000e4b: PUSH1 0x01
00000e4d: PUSH1 0x01
00000e4f: PUSH1 0xa0
00000e51: SHL
00000e52: SUB
00000e53: NOT
00000e54: AND
00000e55: PUSH1 0x01
00000e57: PUSH1 0x01
00000e59: PUSH1 0xa0
00000e5b: SHL
00000e5c: SUB
00000e5d: DUP10
00000e5e: AND
00000e5f: OR
00000e60: SWAP1
00000e61: SSTORE
00000e62: PUSH1 0x16
00000e64: DUP7
00000e65: SWAP1
00000e66: SSTORE
00000e67: NUMBER
00000e68: DUP6
00000e69: LT
00000e6a: ISZERO
00000e6b: PUSH2 0x0e77
00000e6e: JUMPI
00000e6f: NUMBER
00000e70: PUSH1 0x05
00000e72: SSTORE
00000e73: PUSH2 0x0e7d
00000e76: JUMP
00000e77: JUMPDEST
00000e78: PUSH1 0x05
00000e7a: DUP6
00000e7b: SWAP1
00000e7c: SSTORE
00000e7d: JUMPDEST
00000e7e: PUSH1 0x0f
00000e80: DUP1
00000e81: SLOAD
00000e82: PUSH1 0x01
00000e84: PUSH1 0x01
00000e86: PUSH1 0xa0
00000e88: SHL
00000e89: SUB
00000e8a: DUP1
00000e8b: DUP12
00000e8c: AND
00000e8d: PUSH1 0x01
00000e8f: PUSH1 0x01
00000e91: PUSH1 0xa0
00000e93: SHL
00000e94: SUB
00000e95: NOT
00000e96: SWAP3
00000e97: DUP4
00000e98: AND
00000e99: OR
00000e9a: SWAP1
00000e9b: SWAP3
00000e9c: SSTORE
00000e9d: PUSH1 0x08
00000e9f: DUP1
00000ea0: SLOAD
00000ea1: DUP7
00000ea2: DUP5
00000ea3: AND
00000ea4: SWAP1
00000ea5: DUP4
00000ea6: AND
00000ea7: OR
00000ea8: SWAP1
00000ea9: SSTORE
00000eaa: PUSH1 0x03
00000eac: DUP1
00000ead: SLOAD
00000eae: DUP6
00000eaf: DUP5
00000eb0: AND
00000eb1: SWAP1
00000eb2: DUP4
00000eb3: AND
00000eb4: OR
00000eb5: SWAP1
00000eb6: SSTORE
00000eb7: PUSH1 0x04
00000eb9: DUP1
00000eba: SLOAD
00000ebb: SWAP3
00000ebc: DUP5
00000ebd: AND
00000ebe: SWAP3
00000ebf: SWAP1
00000ec0: SWAP2
00000ec1: AND
00000ec2: SWAP2
00000ec3: SWAP1
00000ec4: SWAP2
00000ec5: OR
00000ec6: SWAP1
00000ec7: SSTORE
00000ec8: DUP4
00000ec9: ISZERO
00000eca: PUSH2 0x0ed3
00000ecd: JUMPI
00000ece: PUSH1 0x14
00000ed0: DUP5
00000ed1: SWAP1
00000ed2: SSTORE
00000ed3: JUMPDEST
00000ed4: POP
00000ed5: POP
00000ed6: PUSH1 0x04
00000ed8: PUSH1 0x06
00000eda: SSTORE
00000edb: POP
00000edc: POP
00000edd: PUSH1 0x01
00000edf: PUSH1 0x07
00000ee1: DUP2
00000ee2: SWAP1
00000ee3: SSTORE
00000ee4: PUSH1 0x09
00000ee6: DUP2
00000ee7: SWAP1
00000ee8: SSTORE
00000ee9: PUSH1 0x05
00000eeb: PUSH1 0x0a
00000eed: DUP2
00000eee: SWAP1
00000eef: SSTORE
00000ef0: PUSH1 0x0b
00000ef2: DUP3
00000ef3: SWAP1
00000ef4: SSTORE
00000ef5: PUSH1 0x0c
00000ef7: SSTORE
00000ef8: PUSH1 0x18
00000efa: DUP1
00000efb: SLOAD
00000efc: PUSH3 0xff00ff
00000f00: NOT
00000f01: PUSH2 0xff00
00000f04: NOT
00000f05: SWAP1
00000f06: SWAP2
00000f07: AND
00000f08: PUSH2 0x0100
00000f0b: OR
00000f0c: AND
00000f0d: SWAP1
00000f0e: SWAP2
00000f0f: OR
00000f10: SWAP1
00000f11: SSTORE
00000f12: POP
00000f13: POP
00000f14: POP
00000f15: POP
00000f16: JUMP
00000f17: JUMPDEST
00000f18: PUSH1 0x0a
00000f1a: DUP2
00000f1b: JUMP
00000f1c: JUMPDEST
00000f1d: PUSH2 0x0d0d
00000f20: DUP3
00000f21: DUP3
00000f22: PUSH1 0x40
00000f24: MLOAD
00000f25: PUSH1 0x24
00000f27: ADD
00000f28: PUSH2 0x0f32
00000f2b: SWAP3
00000f2c: SWAP2
00000f2d: SWAP1
00000f2e: PUSH2 0x260c
00000f31: JUMP
00000f32: JUMPDEST
00000f33: PUSH1 0x40
00000f35: DUP1
00000f36: MLOAD
00000f37: PUSH1 0x1f
00000f39: NOT
00000f3a: DUP2
00000f3b: DUP5
00000f3c: SUB
00000f3d: ADD
00000f3e: DUP2
00000f3f: MSTORE
00000f40: SWAP2
00000f41: SWAP1
00000f42: MSTORE
00000f43: PUSH1 0x20
00000f45: DUP2
00000f46: ADD
00000f47: DUP1
00000f48: MLOAD
00000f49: PUSH1 0x01
00000f4b: PUSH1 0x01
00000f4d: PUSH1 0xe0
00000f4f: SHL
00000f50: SUB
00000f51: AND
00000f52: PUSH4 0x197a480f
00000f57: PUSH1 0xe1
00000f59: SHL
00000f5a: OR
00000f5b: SWAP1
00000f5c: MSTORE
00000f5d: PUSH2 0x0c00
00000f60: JUMP
00000f61: JUMPDEST
00000f62: PUSH1 0x18
00000f64: SLOAD
00000f65: PUSH2 0x0100
00000f68: SWAP1
00000f69: DIV
00000f6a: PUSH1 0xff
00000f6c: AND
00000f6d: DUP2
00000f6e: JUMP
00000f6f: JUMPDEST
00000f70: PUSH1 0x09
00000f72: SLOAD
00000f73: DUP2
00000f74: JUMP
00000f75: JUMPDEST
00000f76: PUSH1 0x18
00000f78: SLOAD
00000f79: PUSH1 0xff
00000f7b: AND
00000f7c: DUP2
00000f7d: JUMP
00000f7e: JUMPDEST
00000f7f: PUSH2 0x0d0d
00000f82: DUP3
00000f83: DUP3
00000f84: PUSH1 0x40
00000f86: MLOAD
00000f87: PUSH1 0x24
00000f89: ADD
00000f8a: PUSH2 0x0f94
00000f8d: SWAP3
00000f8e: SWAP2
00000f8f: SWAP1
00000f90: PUSH2 0x25a2
00000f93: JUMP
00000f94: JUMPDEST
00000f95: PUSH1 0x40
00000f97: DUP1
00000f98: MLOAD
00000f99: PUSH1 0x1f
00000f9b: NOT
00000f9c: DUP2
00000f9d: DUP5
00000f9e: SUB
00000f9f: ADD
00000fa0: DUP2
00000fa1: MSTORE
00000fa2: SWAP2
00000fa3: SWAP1
00000fa4: MSTORE
00000fa5: PUSH1 0x20
00000fa7: DUP2
00000fa8: ADD
00000fa9: DUP1
00000faa: MLOAD
00000fab: PUSH1 0x01
00000fad: PUSH1 0x01
00000faf: PUSH1 0xe0
00000fb1: SHL
00000fb2: SUB
00000fb3: AND
00000fb4: PUSH4 0x3cafeeb5
00000fb9: PUSH1 0xe0
00000fbb: SHL
00000fbc: OR
00000fbd: SWAP1
00000fbe: MSTORE
00000fbf: PUSH2 0x0c00
00000fc2: JUMP
00000fc3: JUMPDEST
00000fc4: PUSH1 0x0f
00000fc6: SLOAD
00000fc7: PUSH1 0x01
00000fc9: PUSH1 0x01
00000fcb: PUSH1 0xa0
00000fcd: SHL
00000fce: SUB
00000fcf: AND
00000fd0: DUP2
00000fd1: JUMP
00000fd2: JUMPDEST
00000fd3: PUSH1 0x15
00000fd5: SLOAD
00000fd6: PUSH1 0x01
00000fd8: PUSH1 0x01
00000fda: PUSH1 0xa0
00000fdc: SHL
00000fdd: SUB
00000fde: AND
00000fdf: DUP2
00000fe0: JUMP
00000fe1: JUMPDEST
00000fe2: PUSH2 0x0d0d
00000fe5: DUP3
00000fe6: DUP3
00000fe7: PUSH1 0x40
00000fe9: MLOAD
00000fea: PUSH1 0x24
00000fec: ADD
00000fed: PUSH2 0x0ff7
00000ff0: SWAP3
00000ff1: SWAP2
00000ff2: SWAP1
00000ff3: PUSH2 0x260c
00000ff6: JUMP
00000ff7: JUMPDEST
00000ff8: PUSH1 0x40
00000ffa: DUP1
00000ffb: MLOAD
00000ffc: PUSH1 0x1f
00000ffe: NOT
00000fff: DUP2
00001000: DUP5
00001001: SUB
00001002: ADD
00001003: DUP2
00001004: MSTORE
00001005: SWAP2
00001006: SWAP1
00001007: MSTORE
00001008: PUSH1 0x20
0000100a: DUP2
0000100b: ADD
0000100c: DUP1
0000100d: MLOAD
0000100e: PUSH1 0x01
00001010: PUSH1 0x01
00001012: PUSH1 0xe0
00001014: SHL
00001015: SUB
00001016: AND
00001017: PUSH4 0x0441a3e7
0000101c: PUSH1 0xe4
0000101e: SHL
0000101f: OR
00001020: SWAP1
00001021: MSTORE
00001022: PUSH2 0x0c00
00001025: JUMP
00001026: JUMPDEST
00001027: PUSH1 0x60
00001029: PUSH1 0x00
0000102b: PUSH1 0x60
0000102d: ADDRESS
0000102e: PUSH1 0x01
00001030: PUSH1 0x01
00001032: PUSH1 0xa0
00001034: SHL
00001035: SUB
00001036: AND
00001037: DUP5
00001038: PUSH1 0x40
0000103a: MLOAD
0000103b: PUSH1 0x24
0000103d: ADD
0000103e: PUSH2 0x1047
00001041: SWAP2
00001042: SWAP1
00001043: PUSH2 0x2471
00001046: JUMP
00001047: JUMPDEST
00001048: PUSH1 0x40
0000104a: DUP1
0000104b: MLOAD
0000104c: PUSH1 0x1f
0000104e: NOT
0000104f: DUP2
00001050: DUP5
00001051: SUB
00001052: ADD
00001053: DUP2
00001054: MSTORE
00001055: SWAP2
00001056: DUP2
00001057: MSTORE
00001058: PUSH1 0x20
0000105a: DUP3
0000105b: ADD
0000105c: DUP1
0000105d: MLOAD
0000105e: PUSH1 0x01
00001060: PUSH1 0x01
00001062: PUSH1 0xe0
00001064: SHL
00001065: SUB
00001066: AND
00001067: PUSH4 0x0933c1ed
0000106c: PUSH1 0xe0
0000106e: SHL
0000106f: OR
00001070: SWAP1
00001071: MSTORE
00001072: MLOAD
00001073: PUSH2 0x107c
00001076: SWAP2
00001077: SWAP1
00001078: PUSH2 0x22a3
0000107b: JUMP
0000107c: JUMPDEST
0000107d: PUSH1 0x00
0000107f: PUSH1 0x40
00001081: MLOAD
00001082: DUP1
00001083: DUP4
00001084: SUB
00001085: DUP2
00001086: DUP6
00001087: GAS
00001088: STATICCALL
00001089: SWAP2
0000108a: POP
0000108b: POP
0000108c: RETURNDATASIZE
0000108d: DUP1
0000108e: PUSH1 0x00
00001090: DUP2
00001091: EQ
00001092: PUSH2 0x10b7
00001095: JUMPI
00001096: PUSH1 0x40
00001098: MLOAD
00001099: SWAP2
0000109a: POP
0000109b: PUSH1 0x1f
0000109d: NOT
0000109e: PUSH1 0x3f
000010a0: RETURNDATASIZE
000010a1: ADD
000010a2: AND
000010a3: DUP3
000010a4: ADD
000010a5: PUSH1 0x40
000010a7: MSTORE
000010a8: RETURNDATASIZE
000010a9: DUP3
000010aa: MSTORE
000010ab: RETURNDATASIZE
000010ac: PUSH1 0x00
000010ae: PUSH1 0x20
000010b0: DUP5
000010b1: ADD
000010b2: RETURNDATACOPY
000010b3: PUSH2 0x10bc
000010b6: JUMP
000010b7: JUMPDEST
000010b8: PUSH1 0x60
000010ba: SWAP2
000010bb: POP
000010bc: JUMPDEST
000010bd: POP
000010be: SWAP2
000010bf: POP
000010c0: SWAP2
000010c1: POP
000010c2: PUSH1 0x00
000010c4: DUP3
000010c5: EQ
000010c6: ISZERO
000010c7: PUSH2 0x10d1
000010ca: JUMPI
000010cb: RETURNDATASIZE
000010cc: PUSH1 0x20
000010ce: DUP3
000010cf: ADD
000010d0: REVERT
000010d1: JUMPDEST
000010d2: DUP1
000010d3: DUP1
000010d4: PUSH1 0x20
000010d6: ADD
000010d7: SWAP1
000010d8: MLOAD
000010d9: DUP2
000010da: ADD
000010db: SWAP1
000010dc: PUSH2 0x10e5
000010df: SWAP2
000010e0: SWAP1
000010e1: PUSH2 0x1fb5
000010e4: JUMP
000010e5: JUMPDEST
000010e6: SWAP5
000010e7: SWAP4
000010e8: POP
000010e9: POP
000010ea: POP
000010eb: POP
000010ec: JUMP
000010ed: JUMPDEST
000010ee: PUSH1 0x00
000010f0: DUP1
000010f1: PUSH1 0x00
000010f3: PUSH1 0x60
000010f5: PUSH2 0x1139
000010f8: DUP7
000010f9: DUP7
000010fa: PUSH1 0x40
000010fc: MLOAD
000010fd: PUSH1 0x24
000010ff: ADD
00001100: PUSH2 0x110a
00001103: SWAP3
00001104: SWAP2
00001105: SWAP1
00001106: PUSH2 0x258b
00001109: JUMP
0000110a: JUMPDEST
0000110b: PUSH1 0x40
0000110d: DUP1
0000110e: MLOAD
0000110f: PUSH1 0x1f
00001111: NOT
00001112: DUP2
00001113: DUP5
00001114: SUB
00001115: ADD
00001116: DUP2
00001117: MSTORE
00001118: SWAP2
00001119: SWAP1
0000111a: MSTORE
0000111b: PUSH1 0x20
0000111d: DUP2
0000111e: ADD
0000111f: DUP1
00001120: MLOAD
00001121: PUSH1 0x01
00001123: PUSH1 0x01
00001125: PUSH1 0xe0
00001127: SHL
00001128: SUB
00001129: AND
0000112a: PUSH4 0x4736126f
0000112f: PUSH1 0xe0
00001131: SHL
00001132: OR
00001133: SWAP1
00001134: MSTORE
00001135: PUSH2 0x1026
00001138: JUMP
00001139: JUMPDEST
0000113a: SWAP1
0000113b: POP
0000113c: DUP1
0000113d: DUP1
0000113e: PUSH1 0x20
00001140: ADD
00001141: SWAP1
00001142: MLOAD
00001143: DUP2
00001144: ADD
00001145: SWAP1
00001146: PUSH2 0x114f
00001149: SWAP2
0000114a: SWAP1
0000114b: PUSH2 0x21cb
0000114e: JUMP
0000114f: JUMPDEST
00001150: SWAP4
00001151: POP
00001152: SWAP4
00001153: POP
00001154: SWAP4
00001155: POP
00001156: POP
00001157: SWAP3
00001158: POP
00001159: SWAP3
0000115a: POP
0000115b: SWAP3
0000115c: JUMP
0000115d: JUMPDEST
0000115e: PUSH1 0x05
00001160: SLOAD
00001161: DUP2
00001162: JUMP
00001163: JUMPDEST
00001164: PUSH1 0x04
00001166: SLOAD
00001167: PUSH1 0x01
00001169: PUSH1 0x01
0000116b: PUSH1 0xa0
0000116d: SHL
0000116e: SUB
0000116f: AND
00001170: DUP2
00001171: JUMP
00001172: JUMPDEST
00001173: PUSH1 0x06
00001175: SLOAD
00001176: DUP2
00001177: JUMP
00001178: JUMPDEST
00001179: PUSH2 0x0d55
0000117c: DUP2
0000117d: PUSH1 0x40
0000117f: MLOAD
00001180: PUSH1 0x24
00001182: ADD
00001183: PUSH2 0x118c
00001186: SWAP2
00001187: SWAP1
00001188: PUSH2 0x2582
0000118b: JUMP
0000118c: JUMPDEST
0000118d: PUSH1 0x40
0000118f: DUP1
00001190: MLOAD
00001191: PUSH1 0x1f
00001193: NOT
00001194: DUP2
00001195: DUP5
00001196: SUB
00001197: ADD
00001198: DUP2
00001199: MSTORE
0000119a: SWAP2
0000119b: SWAP1
0000119c: MSTORE
0000119d: PUSH1 0x20
0000119f: DUP2
000011a0: ADD
000011a1: DUP1
000011a2: MLOAD
000011a3: PUSH1 0x01
000011a5: PUSH1 0x01
000011a7: PUSH1 0xe0
000011a9: SHL
000011aa: SUB
000011ab: AND
000011ac: PUSH4 0x29ac7ded
000011b1: PUSH1 0xe1
000011b3: SHL
000011b4: OR
000011b5: SWAP1
000011b6: MSTORE
000011b7: PUSH2 0x0c00
000011ba: JUMP
000011bb: JUMPDEST
000011bc: PUSH2 0x11c3
000011bf: PUSH2 0x1abf
000011c2: JUMP
000011c3: JUMPDEST
000011c4: DUP2
000011c5: ISZERO
000011c6: PUSH2 0x11fd
000011c9: JUMPI
000011ca: PUSH1 0x40
000011cc: DUP1
000011cd: MLOAD
000011ce: PUSH1 0x04
000011d0: DUP2
000011d1: MSTORE
000011d2: PUSH1 0x24
000011d4: DUP2
000011d5: ADD
000011d6: SWAP1
000011d7: SWAP2
000011d8: MSTORE
000011d9: PUSH1 0x20
000011db: DUP2
000011dc: ADD
000011dd: DUP1
000011de: MLOAD
000011df: PUSH1 0x01
000011e1: PUSH1 0x01
000011e3: PUSH1 0xe0
000011e5: SHL
000011e6: SUB
000011e7: AND
000011e8: PUSH4 0x153ab505
000011ed: PUSH1 0xe0
000011ef: SHL
000011f0: OR
000011f1: SWAP1
000011f2: MSTORE
000011f3: PUSH2 0x11fb
000011f6: SWAP1
000011f7: PUSH2 0x0c00
000011fa: JUMP
000011fb: JUMPDEST
000011fc: POP
000011fd: JUMPDEST
000011fe: PUSH1 0x00
00001200: DUP1
00001201: SLOAD
00001202: PUSH1 0x01
00001204: PUSH1 0x01
00001206: PUSH1 0xa0
00001208: SHL
00001209: SUB
0000120a: DUP6
0000120b: DUP2
0000120c: AND
0000120d: PUSH1 0x01
0000120f: PUSH1 0x01
00001211: PUSH1 0xa0
00001213: SHL
00001214: SUB
00001215: NOT
00001216: DUP4
00001217: AND
00001218: OR
00001219: SWAP1
0000121a: SWAP3
0000121b: SSTORE
0000121c: PUSH1 0x40
0000121e: MLOAD
0000121f: SWAP2
00001220: AND
00001221: SWAP1
00001222: PUSH2 0x1262
00001225: SWAP1
00001226: PUSH2 0x1233
00001229: SWAP1
0000122a: DUP5
0000122b: SWAP1
0000122c: PUSH1 0x24
0000122e: ADD
0000122f: PUSH2 0x2471
00001232: JUMP
00001233: JUMPDEST
00001234: PUSH1 0x40
00001236: DUP1
00001237: MLOAD
00001238: PUSH1 0x1f
0000123a: NOT
0000123b: DUP2
0000123c: DUP5
0000123d: SUB
0000123e: ADD
0000123f: DUP2
00001240: MSTORE
00001241: SWAP2
00001242: SWAP1
00001243: MSTORE
00001244: PUSH1 0x20
00001246: DUP2
00001247: ADD
00001248: DUP1
00001249: MLOAD
0000124a: PUSH1 0x01
0000124c: PUSH1 0x01
0000124e: PUSH1 0xe0
00001250: SHL
00001251: SUB
00001252: AND
00001253: PUSH4 0x0adccee5
00001258: PUSH1 0xe3
0000125a: SHL
0000125b: OR
0000125c: SWAP1
0000125d: MSTORE
0000125e: PUSH2 0x0c00
00001261: JUMP
00001262: JUMPDEST
00001263: POP
00001264: PUSH1 0x00
00001266: SLOAD
00001267: PUSH1 0x40
00001269: MLOAD
0000126a: PUSH32 0xd604de94d45953f9138079ec1b82d533cb2160c906d1076d1f7ed54befbca97a
0000128b: SWAP2
0000128c: PUSH2 0x12a0
0000128f: SWAP2
00001290: DUP5
00001291: SWAP2
00001292: PUSH1 0x01
00001294: PUSH1 0x01
00001296: PUSH1 0xa0
00001298: SHL
00001299: SUB
0000129a: AND
0000129b: SWAP1
0000129c: PUSH2 0x22d3
0000129f: JUMP
000012a0: JUMPDEST
000012a1: PUSH1 0x40
000012a3: MLOAD
000012a4: DUP1
000012a5: SWAP2
000012a6: SUB
000012a7: SWAP1
000012a8: LOG1
000012a9: POP
000012aa: POP
000012ab: POP
000012ac: POP
000012ad: JUMP
000012ae: JUMPDEST
000012af: PUSH1 0x0e
000012b1: PUSH1 0x20
000012b3: MSTORE
000012b4: PUSH1 0x00
000012b6: SWAP1
000012b7: DUP2
000012b8: MSTORE
000012b9: PUSH1 0x40
000012bb: SWAP1
000012bc: KECCAK256
000012bd: SLOAD
000012be: DUP2
000012bf: JUMP
000012c0: JUMPDEST
000012c1: PUSH1 0x00
000012c3: SLOAD
000012c4: PUSH1 0x01
000012c6: PUSH1 0x01
000012c8: PUSH1 0xa0
000012ca: SHL
000012cb: SUB
000012cc: AND
000012cd: DUP2
000012ce: JUMP
000012cf: JUMPDEST
000012d0: PUSH1 0x40
000012d2: DUP1
000012d3: MLOAD
000012d4: PUSH1 0x04
000012d6: DUP2
000012d7: MSTORE
000012d8: PUSH1 0x24
000012da: DUP2
000012db: ADD
000012dc: SWAP1
000012dd: SWAP2
000012de: MSTORE
000012df: PUSH1 0x20
000012e1: DUP2
000012e2: ADD
000012e3: DUP1
000012e4: MLOAD
000012e5: PUSH1 0x01
000012e7: PUSH1 0x01
000012e9: PUSH1 0xe0
000012eb: SHL
000012ec: SUB
000012ed: AND
000012ee: PUSH4 0x630b5ba1
000012f3: PUSH1 0xe0
000012f5: SHL
000012f6: OR
000012f7: SWAP1
000012f8: MSTORE
000012f9: PUSH2 0x1301
000012fc: SWAP1
000012fd: PUSH2 0x0c00
00001300: JUMP
00001301: JUMPDEST
00001302: POP
00001303: JUMP
00001304: JUMPDEST
00001305: PUSH2 0x130c
00001308: PUSH2 0x1abb
0000130b: JUMP
0000130c: JUMPDEST
0000130d: PUSH1 0x01
0000130f: PUSH1 0x01
00001311: PUSH1 0xa0
00001313: SHL
00001314: SUB
00001315: AND
00001316: PUSH2 0x131d
00001319: PUSH2 0x14a1
0000131c: JUMP
0000131d: JUMPDEST
0000131e: PUSH1 0x01
00001320: PUSH1 0x01
00001322: PUSH1 0xa0
00001324: SHL
00001325: SUB
00001326: AND
00001327: EQ
00001328: PUSH2 0x1343
0000132b: JUMPI
0000132c: PUSH1 0x40
0000132e: MLOAD
0000132f: PUSH3 0x461bcd
00001333: PUSH1 0xe5
00001335: SHL
00001336: DUP2
00001337: MSTORE
00001338: PUSH1 0x04
0000133a: ADD
0000133b: PUSH2 0x0e1a
0000133e: SWAP1
0000133f: PUSH2 0x2521
00001342: JUMP
00001343: JUMPDEST
00001344: PUSH1 0x01
00001346: SLOAD
00001347: PUSH1 0x40
00001349: MLOAD
0000134a: PUSH1 0x00
0000134c: SWAP2
0000134d: PUSH1 0x01
0000134f: PUSH1 0x01
00001351: PUSH1 0xa0
00001353: SHL
00001354: SUB
00001355: AND
00001356: SWAP1
00001357: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001378: SWAP1
00001379: DUP4
0000137a: SWAP1
0000137b: LOG3
0000137c: PUSH1 0x01
0000137e: DUP1
0000137f: SLOAD
00001380: PUSH1 0x01
00001382: PUSH1 0x01
00001384: PUSH1 0xa0
00001386: SHL
00001387: SUB
00001388: NOT
00001389: AND
0000138a: SWAP1
0000138b: SSTORE
0000138c: JUMP
0000138d: JUMPDEST
0000138e: PUSH2 0x0d55
00001391: DUP2
00001392: PUSH1 0x40
00001394: MLOAD
00001395: PUSH1 0x24
00001397: ADD
00001398: PUSH2 0x13a1
0000139b: SWAP2
0000139c: SWAP1
0000139d: PUSH2 0x22bf
000013a0: JUMP
000013a1: JUMPDEST
000013a2: PUSH1 0x40
000013a4: DUP1
000013a5: MLOAD
000013a6: PUSH1 0x1f
000013a8: NOT
000013a9: DUP2
000013aa: DUP5
000013ab: SUB
000013ac: ADD
000013ad: DUP2
000013ae: MSTORE
000013af: SWAP2
000013b0: SWAP1
000013b1: MSTORE
000013b2: PUSH1 0x20
000013b4: DUP2
000013b5: ADD
000013b6: DUP1
000013b7: MLOAD
000013b8: PUSH1 0x01
000013ba: PUSH1 0x01
000013bc: PUSH1 0xe0
000013be: SHL
000013bf: SUB
000013c0: AND
000013c1: PUSH4 0x75829def
000013c6: PUSH1 0xe0
000013c8: SHL
000013c9: OR
000013ca: SWAP1
000013cb: MSTORE
000013cc: PUSH2 0x0c00
000013cf: JUMP
000013d0: JUMPDEST
000013d1: PUSH2 0x0d0d
000013d4: DUP3
000013d5: DUP3
000013d6: PUSH1 0x40
000013d8: MLOAD
000013d9: PUSH1 0x24
000013db: ADD
000013dc: PUSH2 0x13e6
000013df: SWAP3
000013e0: SWAP2
000013e1: SWAP1
000013e2: PUSH2 0x25a2
000013e5: JUMP
000013e6: JUMPDEST
000013e7: PUSH1 0x40
000013e9: DUP1
000013ea: MLOAD
000013eb: PUSH1 0x1f
000013ed: NOT
000013ee: DUP2
000013ef: DUP5
000013f0: SUB
000013f1: ADD
000013f2: DUP2
000013f3: MSTORE
000013f4: SWAP2
000013f5: SWAP1
000013f6: MSTORE
000013f7: PUSH1 0x20
000013f9: DUP2
000013fa: ADD
000013fb: DUP1
000013fc: MLOAD
000013fd: PUSH1 0x01
000013ff: PUSH1 0x01
00001401: PUSH1 0xe0
00001403: SHL
00001404: SUB
00001405: AND
00001406: PUSH4 0x3c3f496f
0000140b: PUSH1 0xe1
0000140d: SHL
0000140e: OR
0000140f: SWAP1
00001410: MSTORE
00001411: PUSH2 0x0c00
00001414: JUMP
00001415: JUMPDEST
00001416: PUSH1 0x0c
00001418: SLOAD
00001419: DUP2
0000141a: JUMP
0000141b: JUMPDEST
0000141c: PUSH2 0x0d55
0000141f: DUP2
00001420: PUSH1 0x40
00001422: MLOAD
00001423: PUSH1 0x24
00001425: ADD
00001426: PUSH2 0x142f
00001429: SWAP2
0000142a: SWAP1
0000142b: PUSH2 0x22bf
0000142e: JUMP
0000142f: JUMPDEST
00001430: PUSH1 0x40
00001432: DUP1
00001433: MLOAD
00001434: PUSH1 0x1f
00001436: NOT
00001437: DUP2
00001438: DUP5
00001439: SUB
0000143a: ADD
0000143b: DUP2
0000143c: MSTORE
0000143d: SWAP2
0000143e: SWAP1
0000143f: MSTORE
00001440: PUSH1 0x20
00001442: DUP2
00001443: ADD
00001444: DUP1
00001445: MLOAD
00001446: PUSH1 0x01
00001448: PUSH1 0x01
0000144a: PUSH1 0xe0
0000144c: SHL
0000144d: SUB
0000144e: AND
0000144f: PUSH4 0x8ae98b9d
00001454: PUSH1 0xe0
00001456: SHL
00001457: OR
00001458: SWAP1
00001459: MSTORE
0000145a: PUSH2 0x0c00
0000145d: JUMP
0000145e: JUMPDEST
0000145f: PUSH2 0x0d55
00001462: DUP2
00001463: PUSH1 0x40
00001465: MLOAD
00001466: PUSH1 0x24
00001468: ADD
00001469: PUSH2 0x1472
0000146c: SWAP2
0000146d: SWAP1
0000146e: PUSH2 0x2466
00001471: JUMP
00001472: JUMPDEST
00001473: PUSH1 0x40
00001475: DUP1
00001476: MLOAD
00001477: PUSH1 0x1f
00001479: NOT
0000147a: DUP2
0000147b: DUP5
0000147c: SUB
0000147d: ADD
0000147e: DUP2
0000147f: MSTORE
00001480: SWAP2
00001481: SWAP1
00001482: MSTORE
00001483: PUSH1 0x20
00001485: DUP2
00001486: ADD
00001487: DUP1
00001488: MLOAD
00001489: PUSH1 0x01
0000148b: PUSH1 0x01
0000148d: PUSH1 0xe0
0000148f: SHL
00001490: SUB
00001491: AND
00001492: PUSH4 0x8c03056b
00001497: PUSH1 0xe0
00001499: SHL
0000149a: OR
0000149b: SWAP1
0000149c: MSTORE
0000149d: PUSH2 0x0c00
000014a0: JUMP
000014a1: JUMPDEST
000014a2: PUSH1 0x01
000014a4: SLOAD
000014a5: PUSH1 0x01
000014a7: PUSH1 0x01
000014a9: PUSH1 0xa0
000014ab: SHL
000014ac: SUB
000014ad: AND
000014ae: SWAP1
000014af: JUMP
000014b0: JUMPDEST
000014b1: PUSH1 0x00
000014b3: PUSH1 0x60
000014b5: PUSH2 0x14f9
000014b8: DUP5
000014b9: DUP5
000014ba: PUSH1 0x40
000014bc: MLOAD
000014bd: PUSH1 0x24
000014bf: ADD
000014c0: PUSH2 0x14ca
000014c3: SWAP3
000014c4: SWAP2
000014c5: SWAP1
000014c6: PUSH2 0x260c
000014c9: JUMP
000014ca: JUMPDEST
000014cb: PUSH1 0x40
000014cd: DUP1
000014ce: MLOAD
000014cf: PUSH1 0x1f
000014d1: NOT
000014d2: DUP2
000014d3: DUP5
000014d4: SUB
000014d5: ADD
000014d6: DUP2
000014d7: MSTORE
000014d8: SWAP2
000014d9: SWAP1
000014da: MSTORE
000014db: PUSH1 0x20
000014dd: DUP2
000014de: ADD
000014df: DUP1
000014e0: MLOAD
000014e1: PUSH1 0x01
000014e3: PUSH1 0x01
000014e5: PUSH1 0xe0
000014e7: SHL
000014e8: SUB
000014e9: AND
000014ea: PUSH4 0x46dd8f1d
000014ef: PUSH1 0xe1
000014f1: SHL
000014f2: OR
000014f3: SWAP1
000014f4: MSTORE
000014f5: PUSH2 0x1026
000014f8: JUMP
000014f9: JUMPDEST
000014fa: SWAP1
000014fb: POP
000014fc: DUP1
000014fd: DUP1
000014fe: PUSH1 0x20
00001500: ADD
00001501: SWAP1
00001502: MLOAD
00001503: DUP2
00001504: ADD
00001505: SWAP1
00001506: PUSH2 0x10e5
00001509: SWAP2
0000150a: SWAP1
0000150b: PUSH2 0x20cd
0000150e: JUMP
0000150f: JUMPDEST
00001510: PUSH2 0x0d55
00001513: DUP2
00001514: PUSH1 0x40
00001516: MLOAD
00001517: PUSH1 0x24
00001519: ADD
0000151a: PUSH2 0x1523
0000151d: SWAP2
0000151e: SWAP1
0000151f: PUSH2 0x2466
00001522: JUMP
00001523: JUMPDEST
00001524: PUSH1 0x40
00001526: DUP1
00001527: MLOAD
00001528: PUSH1 0x1f
0000152a: NOT
0000152b: DUP2
0000152c: DUP5
0000152d: SUB
0000152e: ADD
0000152f: DUP2
00001530: MSTORE
00001531: SWAP2
00001532: SWAP1
00001533: MSTORE
00001534: PUSH1 0x20
00001536: DUP2
00001537: ADD
00001538: DUP1
00001539: MLOAD
0000153a: PUSH1 0x01
0000153c: PUSH1 0x01
0000153e: PUSH1 0xe0
00001540: SHL
00001541: SUB
00001542: AND
00001543: PUSH4 0x4763e107
00001548: PUSH1 0xe1
0000154a: SHL
0000154b: OR
0000154c: SWAP1
0000154d: MSTORE
0000154e: PUSH2 0x0c00
00001551: JUMP
00001552: JUMPDEST
00001553: PUSH1 0x60
00001555: DUP1
00001556: PUSH1 0x60
00001558: DUP1
00001559: PUSH1 0x60
0000155b: DUP1
0000155c: PUSH1 0x60
0000155e: PUSH2 0x15a2
00001561: DUP10
00001562: DUP10
00001563: PUSH1 0x40
00001565: MLOAD
00001566: PUSH1 0x24
00001568: ADD
00001569: PUSH2 0x1573
0000156c: SWAP3
0000156d: SWAP2
0000156e: SWAP1
0000156f: PUSH2 0x260c
00001572: JUMP
00001573: JUMPDEST
00001574: PUSH1 0x40
00001576: DUP1
00001577: MLOAD
00001578: PUSH1 0x1f
0000157a: NOT
0000157b: DUP2
0000157c: DUP5
0000157d: SUB
0000157e: ADD
0000157f: DUP2
00001580: MSTORE
00001581: SWAP2
00001582: SWAP1
00001583: MSTORE
00001584: PUSH1 0x20
00001586: DUP2
00001587: ADD
00001588: DUP1
00001589: MLOAD
0000158a: PUSH1 0x01
0000158c: PUSH1 0x01
0000158e: PUSH1 0xe0
00001590: SHL
00001591: SUB
00001592: AND
00001593: PUSH4 0x910d44a9
00001598: PUSH1 0xe0
0000159a: SHL
0000159b: OR
0000159c: SWAP1
0000159d: MSTORE
0000159e: PUSH2 0x1026
000015a1: JUMP
000015a2: JUMPDEST
000015a3: SWAP1
000015a4: POP
000015a5: DUP1
000015a6: DUP1
000015a7: PUSH1 0x20
000015a9: ADD
000015aa: SWAP1
000015ab: MLOAD
000015ac: DUP2
000015ad: ADD
000015ae: SWAP1
000015af: PUSH2 0x15b8
000015b2: SWAP2
000015b3: SWAP1
000015b4: PUSH2 0x1d42
000015b7: JUMP
000015b8: JUMPDEST
000015b9: SWAP5
000015ba: SWAP15
000015bb: SWAP4
000015bc: SWAP14
000015bd: POP
000015be: SWAP2
000015bf: SWAP12
000015c0: POP
000015c1: SWAP10
000015c2: POP
000015c3: SWAP8
000015c4: POP
000015c5: SWAP1
000015c6: SWAP6
000015c7: POP
000015c8: SWAP4
000015c9: POP
000015ca: POP
000015cb: POP
000015cc: POP
000015cd: JUMP
000015ce: JUMPDEST
000015cf: PUSH1 0x14
000015d1: DUP2
000015d2: JUMP
000015d3: JUMPDEST
000015d4: PUSH1 0x10
000015d6: PUSH1 0x20
000015d8: SWAP1
000015d9: DUP2
000015da: MSTORE
000015db: PUSH1 0x00
000015dd: SWAP3
000015de: DUP4
000015df: MSTORE
000015e0: PUSH1 0x40
000015e2: DUP1
000015e3: DUP5
000015e4: KECCAK256
000015e5: SWAP1
000015e6: SWAP2
000015e7: MSTORE
000015e8: SWAP1
000015e9: DUP3
000015ea: MSTORE
000015eb: SWAP1
000015ec: KECCAK256
000015ed: DUP1
000015ee: SLOAD
000015ef: PUSH1 0x01
000015f1: DUP3
000015f2: ADD
000015f3: SLOAD
000015f4: PUSH1 0x02
000015f6: DUP4
000015f7: ADD
000015f8: SLOAD
000015f9: PUSH1 0x03
000015fb: DUP5
000015fc: ADD
000015fd: SLOAD
000015fe: PUSH1 0x04
00001600: DUP6
00001601: ADD
00001602: SLOAD
00001603: PUSH1 0x05
00001605: DUP7
00001606: ADD
00001607: SLOAD
00001608: PUSH1 0x06
0000160a: DUP8
0000160b: ADD
0000160c: SLOAD
0000160d: PUSH1 0x07
0000160f: DUP9
00001610: ADD
00001611: SLOAD
00001612: PUSH1 0x08
00001614: SWAP1
00001615: SWAP9
00001616: ADD
00001617: SLOAD
00001618: SWAP7
00001619: SWAP8
0000161a: SWAP6
0000161b: SWAP7
0000161c: SWAP5
0000161d: SWAP6
0000161e: SWAP4
0000161f: SWAP5
00001620: SWAP3
00001621: SWAP4
00001622: SWAP2
00001623: SWAP3
00001624: SWAP1
00001625: SWAP2
00001626: SWAP1
00001627: PUSH1 0xff
00001629: DUP1
0000162a: DUP3
0000162b: AND
0000162c: SWAP2
0000162d: PUSH2 0x0100
00001630: SWAP1
00001631: DIV
00001632: AND
00001633: DUP11
00001634: JUMP
00001635: JUMPDEST
00001636: PUSH1 0x60
00001638: DUP1
00001639: PUSH1 0x00
0000163b: PUSH1 0x60
0000163d: PUSH2 0x1680
00001640: DUP7
00001641: DUP7
00001642: PUSH1 0x40
00001644: MLOAD
00001645: PUSH1 0x24
00001647: ADD
00001648: PUSH2 0x1652
0000164b: SWAP3
0000164c: SWAP2
0000164d: SWAP1
0000164e: PUSH2 0x22ed
00001651: JUMP
00001652: JUMPDEST
00001653: PUSH1 0x40
00001655: DUP1
00001656: MLOAD
00001657: PUSH1 0x1f
00001659: NOT
0000165a: DUP2
0000165b: DUP5
0000165c: SUB
0000165d: ADD
0000165e: DUP2
0000165f: MSTORE
00001660: SWAP2
00001661: SWAP1
00001662: MSTORE
00001663: PUSH1 0x20
00001665: DUP2
00001666: ADD
00001667: DUP1
00001668: MLOAD
00001669: PUSH1 0x01
0000166b: PUSH1 0x01
0000166d: PUSH1 0xe0
0000166f: SHL
00001670: SUB
00001671: AND
00001672: PUSH3 0xaa663d
00001676: PUSH1 0xe8
00001678: SHL
00001679: OR
0000167a: SWAP1
0000167b: MSTORE
0000167c: PUSH2 0x1026
0000167f: JUMP
00001680: JUMPDEST
00001681: SWAP1
00001682: POP
00001683: DUP1
00001684: DUP1
00001685: PUSH1 0x20
00001687: ADD
00001688: SWAP1
00001689: MLOAD
0000168a: DUP2
0000168b: ADD
0000168c: SWAP1
0000168d: PUSH2 0x114f
00001690: SWAP2
00001691: SWAP1
00001692: PUSH2 0x1efc
00001695: JUMP
00001696: JUMPDEST
00001697: PUSH1 0x40
00001699: DUP1
0000169a: MLOAD
0000169b: PUSH1 0x04
0000169d: DUP2
0000169e: MSTORE
0000169f: PUSH1 0x24
000016a1: DUP2
000016a2: ADD
000016a3: SWAP1
000016a4: SWAP2
000016a5: MSTORE
000016a6: PUSH1 0x20
000016a8: DUP2
000016a9: ADD
000016aa: DUP1
000016ab: MLOAD
000016ac: PUSH1 0x01
000016ae: PUSH1 0x01
000016b0: PUSH1 0xe0
000016b2: SHL
000016b3: SUB
000016b4: AND
000016b5: PUSH4 0x59ca26a9
000016ba: PUSH1 0xe1
000016bc: SHL
000016bd: OR
000016be: SWAP1
000016bf: MSTORE
000016c0: PUSH1 0x00
000016c2: SWAP1
000016c3: PUSH1 0x60
000016c5: SWAP1
000016c6: PUSH2 0x16ce
000016c9: SWAP1
000016ca: PUSH2 0x1026
000016cd: JUMP
000016ce: JUMPDEST
000016cf: SWAP1
000016d0: POP
000016d1: DUP1
000016d2: DUP1
000016d3: PUSH1 0x20
000016d5: ADD
000016d6: SWAP1
000016d7: MLOAD
000016d8: DUP2
000016d9: ADD
000016da: SWAP1
000016db: PUSH2 0x16e4
000016de: SWAP2
000016df: SWAP1
000016e0: PUSH2 0x20cd
000016e3: JUMP
000016e4: JUMPDEST
000016e5: SWAP2
000016e6: POP
000016e7: POP
000016e8: SWAP1
000016e9: JUMP
000016ea: JUMPDEST
000016eb: PUSH1 0x08
000016ed: SLOAD
000016ee: PUSH1 0x01
000016f0: PUSH1 0x01
000016f2: PUSH1 0xa0
000016f4: SHL
000016f5: SUB
000016f6: AND
000016f7: DUP2
000016f8: JUMP
000016f9: JUMPDEST
000016fa: PUSH2 0x0d55
000016fd: DUP2
000016fe: PUSH1 0x40
00001700: MLOAD
00001701: PUSH1 0x24
00001703: ADD
00001704: PUSH2 0x170d
00001707: SWAP2
00001708: SWAP1
00001709: PUSH2 0x2582
0000170c: JUMP
0000170d: JUMPDEST
0000170e: PUSH1 0x40
00001710: DUP1
00001711: MLOAD
00001712: PUSH1 0x1f
00001714: NOT
00001715: DUP2
00001716: DUP5
00001717: SUB
00001718: ADD
00001719: DUP2
0000171a: MSTORE
0000171b: SWAP2
0000171c: SWAP1
0000171d: MSTORE
0000171e: PUSH1 0x20
00001720: DUP2
00001721: ADD
00001722: DUP1
00001723: MLOAD
00001724: PUSH1 0x01
00001726: PUSH1 0x01
00001728: PUSH1 0xe0
0000172a: SHL
0000172b: SUB
0000172c: AND
0000172d: PUSH4 0x0bee8fdb
00001732: PUSH1 0xe4
00001734: SHL
00001735: OR
00001736: SWAP1
00001737: MSTORE
00001738: PUSH2 0x0c00
0000173b: JUMP
0000173c: JUMPDEST
0000173d: PUSH2 0x0d0d
00001740: DUP3
00001741: DUP3
00001742: PUSH1 0x40
00001744: MLOAD
00001745: PUSH1 0x24
00001747: ADD
00001748: PUSH2 0x1752
0000174b: SWAP3
0000174c: SWAP2
0000174d: SWAP1
0000174e: PUSH2 0x260c
00001751: JUMP
00001752: JUMPDEST
00001753: PUSH1 0x40
00001755: DUP1
00001756: MLOAD
00001757: PUSH1 0x1f
00001759: NOT
0000175a: DUP2
0000175b: DUP5
0000175c: SUB
0000175d: ADD
0000175e: DUP2
0000175f: MSTORE
00001760: SWAP2
00001761: SWAP1
00001762: MSTORE
00001763: PUSH1 0x20
00001765: DUP2
00001766: ADD
00001767: DUP1
00001768: MLOAD
00001769: PUSH1 0x01
0000176b: PUSH1 0x01
0000176d: PUSH1 0xe0
0000176f: SHL
00001770: SUB
00001771: AND
00001772: PUSH4 0xc7cdea37
00001777: PUSH1 0xe0
00001779: SHL
0000177a: OR
0000177b: SWAP1
0000177c: MSTORE
0000177d: PUSH2 0x0c00
00001780: JUMP
00001781: JUMPDEST
00001782: PUSH2 0x0d0d
00001785: DUP3
00001786: DUP3
00001787: PUSH1 0x40
00001789: MLOAD
0000178a: PUSH1 0x24
0000178c: ADD
0000178d: PUSH2 0x1797
00001790: SWAP3
00001791: SWAP2
00001792: SWAP1
00001793: PUSH2 0x260c
00001796: JUMP
00001797: JUMPDEST
00001798: PUSH1 0x40
0000179a: DUP1
0000179b: MLOAD
0000179c: PUSH1 0x1f
0000179e: NOT
0000179f: DUP2
000017a0: DUP5
000017a1: SUB
000017a2: ADD
000017a3: DUP2
000017a4: MSTORE
000017a5: SWAP2
000017a6: SWAP1
000017a7: MSTORE
000017a8: PUSH1 0x20
000017aa: DUP2
000017ab: ADD
000017ac: DUP1
000017ad: MLOAD
000017ae: PUSH1 0x01
000017b0: PUSH1 0x01
000017b2: PUSH1 0xe0
000017b4: SHL
000017b5: SUB
000017b6: AND
000017b7: PUSH4 0xccc8ba79
000017bc: PUSH1 0xe0
000017be: SHL
000017bf: OR
000017c0: SWAP1
000017c1: MSTORE
000017c2: PUSH2 0x0c00
000017c5: JUMP
000017c6: JUMPDEST
000017c7: PUSH1 0x0b
000017c9: SLOAD
000017ca: DUP2
000017cb: JUMP
000017cc: JUMPDEST
000017cd: PUSH1 0x60
000017cf: DUP1
000017d0: PUSH1 0x60
000017d2: DUP1
000017d3: PUSH1 0x60
000017d5: DUP1
000017d6: PUSH2 0x181a
000017d9: DUP9
000017da: DUP9
000017db: PUSH1 0x40
000017dd: MLOAD
000017de: PUSH1 0x24
000017e0: ADD
000017e1: PUSH2 0x17eb
000017e4: SWAP3
000017e5: SWAP2
000017e6: SWAP1
000017e7: PUSH2 0x22ed
000017ea: JUMP
000017eb: JUMPDEST
000017ec: PUSH1 0x40
000017ee: DUP1
000017ef: MLOAD
000017f0: PUSH1 0x1f
000017f2: NOT
000017f3: DUP2
000017f4: DUP5
000017f5: SUB
000017f6: ADD
000017f7: DUP2
000017f8: MSTORE
000017f9: SWAP2
000017fa: SWAP1
000017fb: MSTORE
000017fc: PUSH1 0x20
000017fe: DUP2
000017ff: ADD
00001800: DUP1
00001801: MLOAD
00001802: PUSH1 0x01
00001804: PUSH1 0x01
00001806: PUSH1 0xe0
00001808: SHL
00001809: SUB
0000180a: AND
0000180b: PUSH4 0x6934bdfd
00001810: PUSH1 0xe1
00001812: SHL
00001813: OR
00001814: SWAP1
00001815: MSTORE
00001816: PUSH2 0x1026
00001819: JUMP
0000181a: JUMPDEST
0000181b: SWAP1
0000181c: POP
0000181d: DUP1
0000181e: DUP1
0000181f: PUSH1 0x20
00001821: ADD
00001822: SWAP1
00001823: MLOAD
00001824: DUP2
00001825: ADD
00001826: SWAP1
00001827: PUSH2 0x1830
0000182a: SWAP2
0000182b: SWAP1
0000182c: PUSH2 0x1e30
0000182f: JUMP
00001830: JUMPDEST
00001831: SWAP4
00001832: SWAP13
00001833: SWAP3
00001834: SWAP12
00001835: POP
00001836: SWAP1
00001837: SWAP10
00001838: POP
00001839: SWAP8
0000183a: POP
0000183b: SWAP1
0000183c: SWAP6
0000183d: POP
0000183e: SWAP4
0000183f: POP
00001840: POP
00001841: POP
00001842: POP
00001843: JUMP
00001844: JUMPDEST
00001845: PUSH2 0x0d0d
00001848: DUP3
00001849: DUP3
0000184a: PUSH1 0x40
0000184c: MLOAD
0000184d: PUSH1 0x24
0000184f: ADD
00001850: PUSH2 0x185a
00001853: SWAP3
00001854: SWAP2
00001855: SWAP1
00001856: PUSH2 0x260c
00001859: JUMP
0000185a: JUMPDEST
0000185b: PUSH1 0x40
0000185d: DUP1
0000185e: MLOAD
0000185f: PUSH1 0x1f
00001861: NOT
00001862: DUP2
00001863: DUP5
00001864: SUB
00001865: ADD
00001866: DUP2
00001867: MSTORE
00001868: SWAP2
00001869: SWAP1
0000186a: MSTORE
0000186b: PUSH1 0x20
0000186d: DUP2
0000186e: ADD
0000186f: DUP1
00001870: MLOAD
00001871: PUSH1 0x01
00001873: PUSH1 0x01
00001875: PUSH1 0xe0
00001877: SHL
00001878: SUB
00001879: AND
0000187a: PUSH4 0x1c57762b
0000187f: PUSH1 0xe3
00001881: SHL
00001882: OR
00001883: SWAP1
00001884: MSTORE
00001885: PUSH2 0x0c00
00001888: JUMP
00001889: JUMPDEST
0000188a: PUSH2 0x0d0d
0000188d: DUP3
0000188e: DUP3
0000188f: PUSH1 0x40
00001891: MLOAD
00001892: PUSH1 0x24
00001894: ADD
00001895: PUSH2 0x189f
00001898: SWAP3
00001899: SWAP2
0000189a: SWAP1
0000189b: PUSH2 0x260c
0000189e: JUMP
0000189f: JUMPDEST
000018a0: PUSH1 0x40
000018a2: DUP1
000018a3: MLOAD
000018a4: PUSH1 0x1f
000018a6: NOT
000018a7: DUP2
000018a8: DUP5
000018a9: SUB
000018aa: ADD
000018ab: DUP2
000018ac: MSTORE
000018ad: SWAP2
000018ae: SWAP1
000018af: MSTORE
000018b0: PUSH1 0x20
000018b2: DUP2
000018b3: ADD
000018b4: DUP1
000018b5: MLOAD
000018b6: PUSH1 0x01
000018b8: PUSH1 0x01
000018ba: PUSH1 0xe0
000018bc: SHL
000018bd: SUB
000018be: AND
000018bf: PUSH4 0x0763bb39
000018c4: PUSH1 0xe5
000018c6: SHL
000018c7: OR
000018c8: SWAP1
000018c9: MSTORE
000018ca: PUSH2 0x0c00
000018cd: JUMP
000018ce: JUMPDEST
000018cf: PUSH1 0x03
000018d1: SLOAD
000018d2: PUSH1 0x01
000018d4: PUSH1 0x01
000018d6: PUSH1 0xa0
000018d8: SHL
000018d9: SUB
000018da: AND
000018db: DUP2
000018dc: JUMP
000018dd: JUMPDEST
000018de: PUSH2 0x18e5
000018e1: PUSH2 0x1abb
000018e4: JUMP
000018e5: JUMPDEST
000018e6: PUSH1 0x01
000018e8: PUSH1 0x01
000018ea: PUSH1 0xa0
000018ec: SHL
000018ed: SUB
000018ee: AND
000018ef: PUSH2 0x18f6
000018f2: PUSH2 0x14a1
000018f5: JUMP
000018f6: JUMPDEST
000018f7: PUSH1 0x01
000018f9: PUSH1 0x01
000018fb: PUSH1 0xa0
000018fd: SHL
000018fe: SUB
000018ff: AND
00001900: EQ
00001901: PUSH2 0x191c
00001904: JUMPI
00001905: PUSH1 0x40
00001907: MLOAD
00001908: PUSH3 0x461bcd
0000190c: PUSH1 0xe5
0000190e: SHL
0000190f: DUP2
00001910: MSTORE
00001911: PUSH1 0x04
00001913: ADD
00001914: PUSH2 0x0e1a
00001917: SWAP1
00001918: PUSH2 0x2521
0000191b: JUMP
0000191c: JUMPDEST
0000191d: PUSH1 0x01
0000191f: PUSH1 0x01
00001921: PUSH1 0xa0
00001923: SHL
00001924: SUB
00001925: DUP2
00001926: AND
00001927: PUSH2 0x1942
0000192a: JUMPI
0000192b: PUSH1 0x40
0000192d: MLOAD
0000192e: PUSH3 0x461bcd
00001932: PUSH1 0xe5
00001934: SHL
00001935: DUP2
00001936: MSTORE
00001937: PUSH1 0x04
00001939: ADD
0000193a: PUSH2 0x0e1a
0000193d: SWAP1
0000193e: PUSH2 0x24a4
00001941: JUMP
00001942: JUMPDEST
00001943: PUSH1 0x01
00001945: SLOAD
00001946: PUSH1 0x40
00001948: MLOAD
00001949: PUSH1 0x01
0000194b: PUSH1 0x01
0000194d: PUSH1 0xa0
0000194f: SHL
00001950: SUB
00001951: DUP1
00001952: DUP5
00001953: AND
00001954: SWAP3
00001955: AND
00001956: SWAP1
00001957: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001978: SWAP1
00001979: PUSH1 0x00
0000197b: SWAP1
0000197c: LOG3
0000197d: PUSH1 0x01
0000197f: DUP1
00001980: SLOAD
00001981: PUSH1 0x01
00001983: PUSH1 0x01
00001985: PUSH1 0xa0
00001987: SHL
00001988: SUB
00001989: NOT
0000198a: AND
0000198b: PUSH1 0x01
0000198d: PUSH1 0x01
0000198f: PUSH1 0xa0
00001991: SHL
00001992: SUB
00001993: SWAP3
00001994: SWAP1
00001995: SWAP3
00001996: AND
00001997: SWAP2
00001998: SWAP1
00001999: SWAP2
0000199a: OR
0000199b: SWAP1
0000199c: SSTORE
0000199d: JUMP
0000199e: JUMPDEST
0000199f: PUSH2 0x0d55
000019a2: DUP2
000019a3: PUSH1 0x40
000019a5: MLOAD
000019a6: PUSH1 0x24
000019a8: ADD
000019a9: PUSH2 0x19b2
000019ac: SWAP2
000019ad: SWAP1
000019ae: PUSH2 0x2582
000019b1: JUMP
000019b2: JUMPDEST
000019b3: PUSH1 0x40
000019b5: DUP1
000019b6: MLOAD
000019b7: PUSH1 0x1f
000019b9: NOT
000019ba: DUP2
000019bb: DUP5
000019bc: SUB
000019bd: ADD
000019be: DUP2
000019bf: MSTORE
000019c0: SWAP2
000019c1: SWAP1
000019c2: MSTORE
000019c3: PUSH1 0x20
000019c5: DUP2
000019c6: ADD
000019c7: DUP1
000019c8: MLOAD
000019c9: PUSH1 0x01
000019cb: PUSH1 0x01
000019cd: PUSH1 0xe0
000019cf: SHL
000019d0: SUB
000019d1: AND
000019d2: PUSH4 0x79af2537
000019d7: PUSH1 0xe1
000019d9: SHL
000019da: OR
000019db: SWAP1
000019dc: MSTORE
000019dd: PUSH2 0x0c00
000019e0: JUMP
000019e1: JUMPDEST
000019e2: PUSH1 0x17
000019e4: SLOAD
000019e5: DUP2
000019e6: JUMP
000019e7: JUMPDEST
000019e8: PUSH1 0x02
000019ea: SLOAD
000019eb: PUSH1 0x01
000019ed: PUSH1 0x01
000019ef: PUSH1 0xa0
000019f1: SHL
000019f2: SUB
000019f3: AND
000019f4: DUP2
000019f5: JUMP
000019f6: JUMPDEST
000019f7: PUSH1 0x0d
000019f9: PUSH1 0x20
000019fb: SWAP1
000019fc: DUP2
000019fd: MSTORE
000019fe: PUSH1 0x00
00001a00: SWAP3
00001a01: DUP4
00001a02: MSTORE
00001a03: PUSH1 0x40
00001a05: DUP1
00001a06: DUP5
00001a07: KECCAK256
00001a08: SWAP1
00001a09: SWAP2
00001a0a: MSTORE
00001a0b: SWAP1
00001a0c: DUP3
00001a0d: MSTORE
00001a0e: SWAP1
00001a0f: KECCAK256
00001a10: SLOAD
00001a11: PUSH1 0xff
00001a13: AND
00001a14: DUP2
00001a15: JUMP
00001a16: JUMPDEST
00001a17: PUSH1 0x18
00001a19: SLOAD
00001a1a: PUSH3 0x010000
00001a1e: SWAP1
00001a1f: DIV
00001a20: PUSH1 0xff
00001a22: AND
00001a23: DUP2
00001a24: JUMP
00001a25: JUMPDEST
00001a26: PUSH1 0x0a
00001a28: SLOAD
00001a29: DUP2
00001a2a: JUMP
00001a2b: JUMPDEST
00001a2c: PUSH1 0x11
00001a2e: PUSH1 0x20
00001a30: SWAP1
00001a31: DUP2
00001a32: MSTORE
00001a33: PUSH1 0x00
00001a35: SWAP3
00001a36: DUP4
00001a37: MSTORE
00001a38: PUSH1 0x40
00001a3a: DUP1
00001a3b: DUP5
00001a3c: KECCAK256
00001a3d: SWAP1
00001a3e: SWAP2
00001a3f: MSTORE
00001a40: SWAP1
00001a41: DUP3
00001a42: MSTORE
00001a43: SWAP1
00001a44: KECCAK256
00001a45: SLOAD
00001a46: DUP2
00001a47: JUMP
00001a48: JUMPDEST
00001a49: PUSH1 0x60
00001a4b: PUSH1 0x00
00001a4d: PUSH1 0x60
00001a4f: DUP5
00001a50: PUSH1 0x01
00001a52: PUSH1 0x01
00001a54: PUSH1 0xa0
00001a56: SHL
00001a57: SUB
00001a58: AND
00001a59: DUP5
00001a5a: PUSH1 0x40
00001a5c: MLOAD
00001a5d: PUSH2 0x1a66
00001a60: SWAP2
00001a61: SWAP1
00001a62: PUSH2 0x22a3
00001a65: JUMP
00001a66: JUMPDEST
00001a67: PUSH1 0x00
00001a69: PUSH1 0x40
00001a6b: MLOAD
00001a6c: DUP1
00001a6d: DUP4
00001a6e: SUB
00001a6f: DUP2
00001a70: DUP6
00001a71: GAS
00001a72: DELEGATECALL
00001a73: SWAP2
00001a74: POP
00001a75: POP
00001a76: RETURNDATASIZE
00001a77: DUP1
00001a78: PUSH1 0x00
00001a7a: DUP2
00001a7b: EQ
00001a7c: PUSH2 0x1aa1
00001a7f: JUMPI
00001a80: PUSH1 0x40
00001a82: MLOAD
00001a83: SWAP2
00001a84: POP
00001a85: PUSH1 0x1f
00001a87: NOT
00001a88: PUSH1 0x3f
00001a8a: RETURNDATASIZE
00001a8b: ADD
00001a8c: AND
00001a8d: DUP3
00001a8e: ADD
00001a8f: PUSH1 0x40
00001a91: MSTORE
00001a92: RETURNDATASIZE
00001a93: DUP3
00001a94: MSTORE
00001a95: RETURNDATASIZE
00001a96: PUSH1 0x00
00001a98: PUSH1 0x20
00001a9a: DUP5
00001a9b: ADD
00001a9c: RETURNDATACOPY
00001a9d: PUSH2 0x1aa6
00001aa0: JUMP
00001aa1: JUMPDEST
00001aa2: PUSH1 0x60
00001aa4: SWAP2
00001aa5: POP
00001aa6: JUMPDEST
00001aa7: POP
00001aa8: SWAP2
00001aa9: POP
00001aaa: SWAP2
00001aab: POP
00001aac: PUSH1 0x00
00001aae: DUP3
00001aaf: EQ
00001ab0: ISZERO
00001ab1: PUSH2 0x10e5
00001ab4: JUMPI
00001ab5: RETURNDATASIZE
00001ab6: PUSH1 0x20
00001ab8: DUP3
00001ab9: ADD
00001aba: REVERT
00001abb: JUMPDEST
00001abc: CALLER
00001abd: SWAP1
00001abe: JUMP
00001abf: JUMPDEST
00001ac0: PUSH1 0x02
00001ac2: SLOAD
00001ac3: PUSH1 0x01
00001ac5: PUSH1 0x01
00001ac7: PUSH1 0xa0
00001ac9: SHL
00001aca: SUB
00001acb: AND
00001acc: CALLER
00001acd: EQ
00001ace: PUSH2 0x1ae9
00001ad1: JUMPI
00001ad2: PUSH1 0x40
00001ad4: MLOAD
00001ad5: PUSH3 0x461bcd
00001ad9: PUSH1 0xe5
00001adb: SHL
00001adc: DUP2
00001add: MSTORE
00001ade: PUSH1 0x04
00001ae0: ADD
00001ae1: PUSH2 0x0e1a
00001ae4: SWAP1
00001ae5: PUSH2 0x2556
00001ae8: JUMP
00001ae9: JUMPDEST
00001aea: JUMP
00001aeb: JUMPDEST
00001aec: DUP1
00001aed: CALLDATALOAD
00001aee: PUSH2 0x0c19
00001af1: DUP2
00001af2: PUSH2 0x2759
00001af5: JUMP
00001af6: JUMPDEST
00001af7: PUSH1 0x00
00001af9: DUP3
00001afa: PUSH1 0x1f
00001afc: DUP4
00001afd: ADD
00001afe: SLT
00001aff: PUSH2 0x1b06
00001b02: JUMPI
00001b03: DUP1
00001b04: DUP2
00001b05: REVERT
00001b06: JUMPDEST
00001b07: DUP2
00001b08: MLOAD
00001b09: PUSH2 0x1b19
00001b0c: PUSH2 0x1b14
00001b0f: DUP3
00001b10: PUSH2 0x26e9
00001b13: JUMP
00001b14: JUMPDEST
00001b15: PUSH2 0x26c2
00001b18: JUMP
00001b19: JUMPDEST
00001b1a: DUP2
00001b1b: DUP2
00001b1c: MSTORE
00001b1d: SWAP2
00001b1e: POP
00001b1f: PUSH1 0x20
00001b21: DUP1
00001b22: DUP4
00001b23: ADD
00001b24: SWAP1
00001b25: DUP5
00001b26: DUP2
00001b27: ADD
00001b28: DUP2
00001b29: DUP5
00001b2a: MUL
00001b2b: DUP7
00001b2c: ADD
00001b2d: DUP3
00001b2e: ADD
00001b2f: DUP8
00001b30: LT
00001b31: ISZERO
00001b32: PUSH2 0x1b3a
00001b35: JUMPI
00001b36: PUSH1 0x00
00001b38: DUP1
00001b39: REVERT
00001b3a: JUMPDEST
00001b3b: PUSH1 0x00
00001b3d: JUMPDEST
00001b3e: DUP5
00001b3f: DUP2
00001b40: LT
00001b41: ISZERO
00001b42: PUSH2 0x1b62
00001b45: JUMPI
00001b46: DUP2
00001b47: MLOAD
00001b48: PUSH2 0x1b50
00001b4b: DUP2
00001b4c: PUSH2 0x2759
00001b4f: JUMP
00001b50: JUMPDEST
00001b51: DUP5
00001b52: MSTORE
00001b53: SWAP3
00001b54: DUP3
00001b55: ADD
00001b56: SWAP3
00001b57: SWAP1
00001b58: DUP3
00001b59: ADD
00001b5a: SWAP1
00001b5b: PUSH1 0x01
00001b5d: ADD
00001b5e: PUSH2 0x1b3d
00001b61: JUMP
00001b62: JUMPDEST
00001b63: POP
00001b64: POP
00001b65: POP
00001b66: POP
00001b67: POP
00001b68: SWAP3
00001b69: SWAP2
00001b6a: POP
00001b6b: POP
00001b6c: JUMP
00001b6d: JUMPDEST
00001b6e: PUSH1 0x00
00001b70: DUP3
00001b71: PUSH1 0x1f
00001b73: DUP4
00001b74: ADD
00001b75: SLT
00001b76: PUSH2 0x1b7d
00001b79: JUMPI
00001b7a: DUP1
00001b7b: DUP2
00001b7c: REVERT
00001b7d: JUMPDEST
00001b7e: DUP2
00001b7f: MLOAD
00001b80: PUSH2 0x1b8b
00001b83: PUSH2 0x1b14
00001b86: DUP3
00001b87: PUSH2 0x26e9
00001b8a: JUMP
00001b8b: JUMPDEST
00001b8c: DUP2
00001b8d: DUP2
00001b8e: MSTORE
00001b8f: SWAP2
00001b90: POP
00001b91: PUSH1 0x20
00001b93: DUP1
00001b94: DUP4
00001b95: ADD
00001b96: SWAP1
00001b97: DUP5
00001b98: DUP2
00001b99: ADD
00001b9a: DUP2
00001b9b: DUP5
00001b9c: MUL
00001b9d: DUP7
00001b9e: ADD
00001b9f: DUP3
00001ba0: ADD
00001ba1: DUP8
00001ba2: LT
00001ba3: ISZERO
00001ba4: PUSH2 0x1bac
00001ba7: JUMPI
00001ba8: PUSH1 0x00
00001baa: DUP1
00001bab: REVERT
00001bac: JUMPDEST
00001bad: PUSH1 0x00
00001baf: JUMPDEST
00001bb0: DUP5
00001bb1: DUP2
00001bb2: LT
00001bb3: ISZERO
00001bb4: PUSH2 0x1b62
00001bb7: JUMPI
00001bb8: DUP2
00001bb9: MLOAD
00001bba: DUP5
00001bbb: MSTORE
00001bbc: SWAP3
00001bbd: DUP3
00001bbe: ADD
00001bbf: SWAP3
00001bc0: SWAP1
00001bc1: DUP3
00001bc2: ADD
00001bc3: SWAP1
00001bc4: PUSH1 0x01
00001bc6: ADD
00001bc7: PUSH2 0x1baf
00001bca: JUMP
00001bcb: JUMPDEST
00001bcc: PUSH1 0x00
00001bce: DUP3
00001bcf: PUSH1 0x1f
00001bd1: DUP4
00001bd2: ADD
00001bd3: SLT
00001bd4: PUSH2 0x1bdb
00001bd7: JUMPI
00001bd8: DUP1
00001bd9: DUP2
00001bda: REVERT
00001bdb: JUMPDEST
00001bdc: DUP2
00001bdd: CALLDATALOAD
00001bde: PUSH2 0x1be9
00001be1: PUSH2 0x1b14
00001be4: DUP3
00001be5: PUSH2 0x2709
00001be8: JUMP
00001be9: JUMPDEST
00001bea: SWAP2
00001beb: POP
00001bec: DUP1
00001bed: DUP3
00001bee: MSTORE
00001bef: DUP4
00001bf0: PUSH1 0x20
00001bf2: DUP3
00001bf3: DUP6
00001bf4: ADD
00001bf5: ADD
00001bf6: GT
00001bf7: ISZERO
00001bf8: PUSH2 0x1c00
00001bfb: JUMPI
00001bfc: PUSH1 0x00
00001bfe: DUP1
00001bff: REVERT
00001c00: JUMPDEST
00001c01: DUP1
00001c02: PUSH1 0x20
00001c04: DUP5
00001c05: ADD
00001c06: PUSH1 0x20
00001c08: DUP5
00001c09: ADD
00001c0a: CALLDATACOPY
00001c0b: PUSH1 0x00
00001c0d: SWAP1
00001c0e: DUP3
00001c0f: ADD
00001c10: PUSH1 0x20
00001c12: ADD
00001c13: MSTORE
00001c14: SWAP3
00001c15: SWAP2
00001c16: POP
00001c17: POP
00001c18: JUMP
00001c19: JUMPDEST
00001c1a: PUSH1 0x00
00001c1c: PUSH1 0x20
00001c1e: DUP3
00001c1f: DUP5
00001c20: SUB
00001c21: SLT
00001c22: ISZERO
00001c23: PUSH2 0x1c2a
00001c26: JUMPI
00001c27: DUP1
00001c28: DUP2
00001c29: REVERT
00001c2a: JUMPDEST
00001c2b: DUP2
00001c2c: CALLDATALOAD
00001c2d: PUSH2 0x1c35
00001c30: DUP2
00001c31: PUSH2 0x2759
00001c34: JUMP
00001c35: JUMPDEST
00001c36: SWAP4
00001c37: SWAP3
00001c38: POP
00001c39: POP
00001c3a: POP
00001c3b: JUMP
00001c3c: JUMPDEST
00001c3d: PUSH1 0x00
00001c3f: DUP1
00001c40: PUSH1 0x00
00001c42: PUSH1 0x60
00001c44: DUP5
00001c45: DUP7
00001c46: SUB
00001c47: SLT
00001c48: ISZERO
00001c49: PUSH2 0x1c50
00001c4c: JUMPI
00001c4d: DUP2
00001c4e: DUP3
00001c4f: REVERT
00001c50: JUMPDEST
00001c51: DUP4
00001c52: CALLDATALOAD
00001c53: PUSH2 0x1c5b
00001c56: DUP2
00001c57: PUSH2 0x2759
00001c5a: JUMP
00001c5b: JUMPDEST
00001c5c: SWAP3
00001c5d: POP
00001c5e: PUSH1 0x20
00001c60: DUP5
00001c61: ADD
00001c62: CALLDATALOAD
00001c63: PUSH2 0x1c6b
00001c66: DUP2
00001c67: PUSH2 0x276e
00001c6a: JUMP
00001c6b: JUMPDEST
00001c6c: SWAP2
00001c6d: POP
00001c6e: PUSH1 0x40
00001c70: DUP5
00001c71: ADD
00001c72: CALLDATALOAD
00001c73: PUSH8 0xffffffffffffffff
00001c7c: DUP2
00001c7d: GT
00001c7e: ISZERO
00001c7f: PUSH2 0x1c86
00001c82: JUMPI
00001c83: DUP2
00001c84: DUP3
00001c85: REVERT
00001c86: JUMPDEST
00001c87: PUSH2 0x1c92
00001c8a: DUP7
00001c8b: DUP3
00001c8c: DUP8
00001c8d: ADD
00001c8e: PUSH2 0x1bcb
00001c91: JUMP
00001c92: JUMPDEST
00001c93: SWAP2
00001c94: POP
00001c95: POP
00001c96: SWAP3
00001c97: POP
00001c98: SWAP3
00001c99: POP
00001c9a: SWAP3
00001c9b: JUMP
00001c9c: JUMPDEST
00001c9d: PUSH1 0x00
00001c9f: DUP1
00001ca0: PUSH1 0x40
00001ca2: DUP4
00001ca3: DUP6
00001ca4: SUB
00001ca5: SLT
00001ca6: ISZERO
00001ca7: PUSH2 0x1cae
00001caa: JUMPI
00001cab: DUP2
00001cac: DUP3
00001cad: REVERT
00001cae: JUMPDEST
00001caf: DUP3
00001cb0: CALLDATALOAD
00001cb1: PUSH8 0xffffffffffffffff
00001cba: DUP2
00001cbb: GT
00001cbc: ISZERO
00001cbd: PUSH2 0x1cc4
00001cc0: JUMPI
00001cc1: DUP3
00001cc2: DUP4
00001cc3: REVERT
00001cc4: JUMPDEST
00001cc5: DUP4
00001cc6: ADD
00001cc7: PUSH1 0x1f
00001cc9: DUP2
00001cca: ADD
00001ccb: DUP6
00001ccc: SGT
00001ccd: PUSH2 0x1cd4
00001cd0: JUMPI
00001cd1: DUP3
00001cd2: DUP4
00001cd3: REVERT
00001cd4: JUMPDEST
00001cd5: DUP1
00001cd6: CALLDATALOAD
00001cd7: PUSH2 0x1ce2
00001cda: PUSH2 0x1b14
00001cdd: DUP3
00001cde: PUSH2 0x26e9
00001ce1: JUMP
00001ce2: JUMPDEST
00001ce3: DUP1
00001ce4: DUP3
00001ce5: DUP3
00001ce6: MSTORE
00001ce7: PUSH1 0x20
00001ce9: DUP1
00001cea: DUP4
00001ceb: ADD
00001cec: SWAP3
00001ced: POP
00001cee: DUP1
00001cef: DUP6
00001cf0: ADD
00001cf1: DUP10
00001cf2: DUP3
00001cf3: DUP4
00001cf4: DUP8
00001cf5: MUL
00001cf6: DUP9
00001cf7: ADD
00001cf8: ADD
00001cf9: GT
00001cfa: ISZERO
00001cfb: PUSH2 0x1d02
00001cfe: JUMPI
00001cff: DUP8
00001d00: DUP9
00001d01: REVERT
00001d02: JUMPDEST
00001d03: DUP8
00001d04: SWAP6
00001d05: POP
00001d06: JUMPDEST
00001d07: DUP5
00001d08: DUP7
00001d09: LT
00001d0a: ISZERO
00001d0b: PUSH2 0x1d24
00001d0e: JUMPI
00001d0f: DUP1
00001d10: CALLDATALOAD
00001d11: DUP5
00001d12: MSTORE
00001d13: PUSH1 0x01
00001d15: SWAP6
00001d16: SWAP1
00001d17: SWAP6
00001d18: ADD
00001d19: SWAP5
00001d1a: SWAP3
00001d1b: DUP2
00001d1c: ADD
00001d1d: SWAP3
00001d1e: DUP2
00001d1f: ADD
00001d20: PUSH2 0x1d06
00001d23: JUMP
00001d24: JUMPDEST
00001d25: POP
00001d26: DUP2
00001d27: SWAP7
00001d28: POP
00001d29: PUSH2 0x1d34
00001d2c: DUP10
00001d2d: DUP3
00001d2e: DUP11
00001d2f: ADD
00001d30: PUSH2 0x1aeb
00001d33: JUMP
00001d34: JUMPDEST
00001d35: SWAP6
00001d36: POP
00001d37: POP
00001d38: POP
00001d39: POP
00001d3a: POP
00001d3b: POP
00001d3c: SWAP3
00001d3d: POP
00001d3e: SWAP3
00001d3f: SWAP1
00001d40: POP
00001d41: JUMP
00001d42: JUMPDEST
00001d43: PUSH1 0x00
00001d45: DUP1
00001d46: PUSH1 0x00
00001d48: DUP1
00001d49: PUSH1 0x00
00001d4b: DUP1
00001d4c: PUSH1 0xc0
00001d4e: DUP8
00001d4f: DUP10
00001d50: SUB
00001d51: SLT
00001d52: ISZERO
00001d53: PUSH2 0x1d5a
00001d56: JUMPI
00001d57: DUP2
00001d58: DUP3
00001d59: REVERT
00001d5a: JUMPDEST
00001d5b: DUP7
00001d5c: MLOAD
00001d5d: PUSH8 0xffffffffffffffff
00001d66: DUP1
00001d67: DUP3
00001d68: GT
00001d69: ISZERO
00001d6a: PUSH2 0x1d71
00001d6d: JUMPI
00001d6e: DUP4
00001d6f: DUP5
00001d70: REVERT
00001d71: JUMPDEST
00001d72: PUSH2 0x1d7d
00001d75: DUP11
00001d76: DUP4
00001d77: DUP12
00001d78: ADD
00001d79: PUSH2 0x1b6d
00001d7c: JUMP
00001d7d: JUMPDEST
00001d7e: SWAP8
00001d7f: POP
00001d80: PUSH1 0x20
00001d82: DUP10
00001d83: ADD
00001d84: MLOAD
00001d85: SWAP2
00001d86: POP
00001d87: DUP1
00001d88: DUP3
00001d89: GT
00001d8a: ISZERO
00001d8b: PUSH2 0x1d92
00001d8e: JUMPI
00001d8f: DUP4
00001d90: DUP5
00001d91: REVERT
00001d92: JUMPDEST
00001d93: PUSH2 0x1d9e
00001d96: DUP11
00001d97: DUP4
00001d98: DUP12
00001d99: ADD
00001d9a: PUSH2 0x1b6d
00001d9d: JUMP
00001d9e: JUMPDEST
00001d9f: SWAP7
00001da0: POP
00001da1: PUSH1 0x40
00001da3: DUP10
00001da4: ADD
00001da5: MLOAD
00001da6: SWAP2
00001da7: POP
00001da8: DUP1
00001da9: DUP3
00001daa: GT
00001dab: ISZERO
00001dac: PUSH2 0x1db3
00001daf: JUMPI
00001db0: DUP4
00001db1: DUP5
00001db2: REVERT
00001db3: JUMPDEST
00001db4: PUSH2 0x1dbf
00001db7: DUP11
00001db8: DUP4
00001db9: DUP12
00001dba: ADD
00001dbb: PUSH2 0x1b6d
00001dbe: JUMP
00001dbf: JUMPDEST
00001dc0: SWAP6
00001dc1: POP
00001dc2: PUSH1 0x60
00001dc4: DUP10
00001dc5: ADD
00001dc6: MLOAD
00001dc7: SWAP2
00001dc8: POP
00001dc9: DUP1
00001dca: DUP3
00001dcb: GT
00001dcc: ISZERO
00001dcd: PUSH2 0x1dd4
00001dd0: JUMPI
00001dd1: DUP4
00001dd2: DUP5
00001dd3: REVERT
00001dd4: JUMPDEST
00001dd5: PUSH2 0x1de0
00001dd8: DUP11
00001dd9: DUP4
00001dda: DUP12
00001ddb: ADD
00001ddc: PUSH2 0x1b6d
00001ddf: JUMP
00001de0: JUMPDEST
00001de1: SWAP5
00001de2: POP
00001de3: PUSH1 0x80
00001de5: DUP10
00001de6: ADD
00001de7: MLOAD
00001de8: SWAP2
00001de9: POP
00001dea: DUP1
00001deb: DUP3
00001dec: GT
00001ded: ISZERO
00001dee: PUSH2 0x1df5
00001df1: JUMPI
00001df2: DUP4
00001df3: DUP5
00001df4: REVERT
00001df5: JUMPDEST
00001df6: PUSH2 0x1e01
00001df9: DUP11
00001dfa: DUP4
00001dfb: DUP12
00001dfc: ADD
00001dfd: PUSH2 0x1af6
00001e00: JUMP
00001e01: JUMPDEST
00001e02: SWAP4
00001e03: POP
00001e04: PUSH1 0xa0
00001e06: DUP10
00001e07: ADD
00001e08: MLOAD
00001e09: SWAP2
00001e0a: POP
00001e0b: DUP1
00001e0c: DUP3
00001e0d: GT
00001e0e: ISZERO
00001e0f: PUSH2 0x1e16
00001e12: JUMPI
00001e13: DUP3
00001e14: DUP4
00001e15: REVERT
00001e16: JUMPDEST
00001e17: POP
00001e18: PUSH2 0x1e23
00001e1b: DUP10
00001e1c: DUP3
00001e1d: DUP11
00001e1e: ADD
00001e1f: PUSH2 0x1b6d
00001e22: JUMP
00001e23: JUMPDEST
00001e24: SWAP2
00001e25: POP
00001e26: POP
00001e27: SWAP3
00001e28: SWAP6
00001e29: POP
00001e2a: SWAP3
00001e2b: SWAP6
00001e2c: POP
00001e2d: SWAP3
00001e2e: SWAP6
00001e2f: JUMP
00001e30: JUMPDEST
00001e31: PUSH1 0x00
00001e33: DUP1
00001e34: PUSH1 0x00
00001e36: DUP1
00001e37: PUSH1 0x00
00001e39: PUSH1 0xa0
00001e3b: DUP7
00001e3c: DUP9
00001e3d: SUB
00001e3e: SLT
00001e3f: ISZERO
00001e40: PUSH2 0x1e47
00001e43: JUMPI
00001e44: DUP1
00001e45: DUP2
00001e46: REVERT
00001e47: JUMPDEST
00001e48: DUP6
00001e49: MLOAD
00001e4a: PUSH8 0xffffffffffffffff
00001e53: DUP1
00001e54: DUP3
00001e55: GT
00001e56: ISZERO
00001e57: PUSH2 0x1e5e
00001e5a: JUMPI
00001e5b: DUP3
00001e5c: DUP4
00001e5d: REVERT
00001e5e: JUMPDEST
00001e5f: PUSH2 0x1e6a
00001e62: DUP10
00001e63: DUP4
00001e64: DUP11
00001e65: ADD
00001e66: PUSH2 0x1b6d
00001e69: JUMP
00001e6a: JUMPDEST
00001e6b: SWAP7
00001e6c: POP
00001e6d: PUSH1 0x20
00001e6f: DUP9
00001e70: ADD
00001e71: MLOAD
00001e72: SWAP2
00001e73: POP
00001e74: DUP1
00001e75: DUP3
00001e76: GT
00001e77: ISZERO
00001e78: PUSH2 0x1e7f
00001e7b: JUMPI
00001e7c: DUP3
00001e7d: DUP4
00001e7e: REVERT
00001e7f: JUMPDEST
00001e80: PUSH2 0x1e8b
00001e83: DUP10
00001e84: DUP4
00001e85: DUP11
00001e86: ADD
00001e87: PUSH2 0x1b6d
00001e8a: JUMP
00001e8b: JUMPDEST
00001e8c: SWAP6
00001e8d: POP
00001e8e: PUSH1 0x40
00001e90: DUP9
00001e91: ADD
00001e92: MLOAD
00001e93: SWAP2
00001e94: POP
00001e95: DUP1
00001e96: DUP3
00001e97: GT
00001e98: ISZERO
00001e99: PUSH2 0x1ea0
00001e9c: JUMPI
00001e9d: DUP3
00001e9e: DUP4
00001e9f: REVERT
00001ea0: JUMPDEST
00001ea1: PUSH2 0x1eac
00001ea4: DUP10
00001ea5: DUP4
00001ea6: DUP11
00001ea7: ADD
00001ea8: PUSH2 0x1b6d
00001eab: JUMP
00001eac: JUMPDEST
00001ead: SWAP5
00001eae: POP
00001eaf: PUSH1 0x60
00001eb1: DUP9
00001eb2: ADD
00001eb3: MLOAD
00001eb4: SWAP2
00001eb5: POP
00001eb6: DUP1
00001eb7: DUP3
00001eb8: GT
00001eb9: ISZERO
00001eba: PUSH2 0x1ec1
00001ebd: JUMPI
00001ebe: DUP3
00001ebf: DUP4
00001ec0: REVERT
00001ec1: JUMPDEST
00001ec2: PUSH2 0x1ecd
00001ec5: DUP10
00001ec6: DUP4
00001ec7: DUP11
00001ec8: ADD
00001ec9: PUSH2 0x1b6d
00001ecc: JUMP
00001ecd: JUMPDEST
00001ece: SWAP4
00001ecf: POP
00001ed0: PUSH1 0x80
00001ed2: DUP9
00001ed3: ADD
00001ed4: MLOAD
00001ed5: SWAP2
00001ed6: POP
00001ed7: DUP1
00001ed8: DUP3
00001ed9: GT
00001eda: ISZERO
00001edb: PUSH2 0x1ee2
00001ede: JUMPI
00001edf: DUP3
00001ee0: DUP4
00001ee1: REVERT
00001ee2: JUMPDEST
00001ee3: POP
00001ee4: PUSH2 0x1eef
00001ee7: DUP9
00001ee8: DUP3
00001ee9: DUP10
00001eea: ADD
00001eeb: PUSH2 0x1b6d
00001eee: JUMP
00001eef: JUMPDEST
00001ef0: SWAP2
00001ef1: POP
00001ef2: POP
00001ef3: SWAP3
00001ef4: SWAP6
00001ef5: POP
00001ef6: SWAP3
00001ef7: SWAP6
00001ef8: SWAP1
00001ef9: SWAP4
00001efa: POP
00001efb: JUMP
00001efc: JUMPDEST
00001efd: PUSH1 0x00
00001eff: DUP1
00001f00: PUSH1 0x00
00001f02: PUSH1 0x60
00001f04: DUP5
00001f05: DUP7
00001f06: SUB
00001f07: SLT
00001f08: ISZERO
00001f09: PUSH2 0x1f10
00001f0c: JUMPI
00001f0d: DUP3
00001f0e: DUP4
00001f0f: REVERT
00001f10: JUMPDEST
00001f11: DUP4
00001f12: MLOAD
00001f13: PUSH8 0xffffffffffffffff
00001f1c: DUP1
00001f1d: DUP3
00001f1e: GT
00001f1f: ISZERO
00001f20: PUSH2 0x1f27
00001f23: JUMPI
00001f24: DUP5
00001f25: DUP6
00001f26: REVERT
00001f27: JUMPDEST
00001f28: PUSH2 0x1f33
00001f2b: DUP8
00001f2c: DUP4
00001f2d: DUP9
00001f2e: ADD
00001f2f: PUSH2 0x1b6d
00001f32: JUMP
00001f33: JUMPDEST
00001f34: SWAP5
00001f35: POP
00001f36: PUSH1 0x20
00001f38: DUP7
00001f39: ADD
00001f3a: MLOAD
00001f3b: SWAP2
00001f3c: POP
00001f3d: DUP1
00001f3e: DUP3
00001f3f: GT
00001f40: ISZERO
00001f41: PUSH2 0x1f48
00001f44: JUMPI
00001f45: DUP4
00001f46: DUP5
00001f47: REVERT
00001f48: JUMPDEST
00001f49: POP
00001f4a: PUSH2 0x1f55
00001f4d: DUP7
00001f4e: DUP3
00001f4f: DUP8
00001f50: ADD
00001f51: PUSH2 0x1b6d
00001f54: JUMP
00001f55: JUMPDEST
00001f56: SWAP3
00001f57: POP
00001f58: POP
00001f59: PUSH1 0x40
00001f5b: DUP5
00001f5c: ADD
00001f5d: MLOAD
00001f5e: SWAP1
00001f5f: POP
00001f60: SWAP3
00001f61: POP
00001f62: SWAP3
00001f63: POP
00001f64: SWAP3
00001f65: JUMP
00001f66: JUMPDEST
00001f67: PUSH1 0x00
00001f69: PUSH1 0x20
00001f6b: DUP3
00001f6c: DUP5
00001f6d: SUB
00001f6e: SLT
00001f6f: ISZERO
00001f70: PUSH2 0x1f77
00001f73: JUMPI
00001f74: DUP1
00001f75: DUP2
00001f76: REVERT
00001f77: JUMPDEST
00001f78: DUP2
00001f79: CALLDATALOAD
00001f7a: PUSH2 0x1c35
00001f7d: DUP2
00001f7e: PUSH2 0x276e
00001f81: JUMP
00001f82: JUMPDEST
00001f83: PUSH1 0x00
00001f85: PUSH1 0x20
00001f87: DUP3
00001f88: DUP5
00001f89: SUB
00001f8a: SLT
00001f8b: ISZERO
00001f8c: PUSH2 0x1f93
00001f8f: JUMPI
00001f90: DUP1
00001f91: DUP2
00001f92: REVERT
00001f93: JUMPDEST
00001f94: DUP2
00001f95: CALLDATALOAD
00001f96: PUSH8 0xffffffffffffffff
00001f9f: DUP2
00001fa0: GT
00001fa1: ISZERO
00001fa2: PUSH2 0x1fa9
00001fa5: JUMPI
00001fa6: DUP2
00001fa7: DUP3
00001fa8: REVERT
00001fa9: JUMPDEST
00001faa: PUSH2 0x10e5
00001fad: DUP5
00001fae: DUP3
00001faf: DUP6
00001fb0: ADD
00001fb1: PUSH2 0x1bcb
00001fb4: JUMP
00001fb5: JUMPDEST
00001fb6: PUSH1 0x00
00001fb8: PUSH1 0x20
00001fba: DUP3
00001fbb: DUP5
00001fbc: SUB
00001fbd: SLT
00001fbe: ISZERO
00001fbf: PUSH2 0x1fc6
00001fc2: JUMPI
00001fc3: DUP1
00001fc4: DUP2
00001fc5: REVERT
00001fc6: JUMPDEST
00001fc7: DUP2
00001fc8: MLOAD
00001fc9: PUSH8 0xffffffffffffffff
00001fd2: DUP2
00001fd3: GT
00001fd4: ISZERO
00001fd5: PUSH2 0x1fdc
00001fd8: JUMPI
00001fd9: DUP2
00001fda: DUP3
00001fdb: REVERT
00001fdc: JUMPDEST
00001fdd: DUP3
00001fde: ADD
00001fdf: PUSH1 0x1f
00001fe1: DUP2
00001fe2: ADD
00001fe3: DUP5
00001fe4: SGT
00001fe5: PUSH2 0x1fec
00001fe8: JUMPI
00001fe9: DUP2
00001fea: DUP3
00001feb: REVERT
00001fec: JUMPDEST
00001fed: DUP1
00001fee: MLOAD
00001fef: PUSH2 0x1ffa
00001ff2: PUSH2 0x1b14
00001ff5: DUP3
00001ff6: PUSH2 0x2709
00001ff9: JUMP
00001ffa: JUMPDEST
00001ffb: DUP2
00001ffc: DUP2
00001ffd: MSTORE
00001ffe: DUP6
00001fff: PUSH1 0x20
00002001: DUP4
00002002: DUP6
00002003: ADD
00002004: ADD
00002005: GT
00002006: ISZERO
00002007: PUSH2 0x200e
0000200a: JUMPI
0000200b: DUP4
0000200c: DUP5
0000200d: REVERT
0000200e: JUMPDEST
0000200f: PUSH2 0x201f
00002012: DUP3
00002013: PUSH1 0x20
00002015: DUP4
00002016: ADD
00002017: PUSH1 0x20
00002019: DUP7
0000201a: ADD
0000201b: PUSH2 0x272d
0000201e: JUMP
0000201f: JUMPDEST
00002020: SWAP6
00002021: SWAP5
00002022: POP
00002023: POP
00002024: POP
00002025: POP
00002026: POP
00002027: JUMP
00002028: JUMPDEST
00002029: PUSH1 0x00
0000202b: DUP1
0000202c: PUSH1 0x00
0000202e: DUP1
0000202f: PUSH1 0x00
00002031: DUP1
00002032: PUSH1 0x00
00002034: DUP1
00002035: PUSH2 0x0100
00002038: DUP10
00002039: DUP12
0000203a: SUB
0000203b: SLT
0000203c: ISZERO
0000203d: PUSH2 0x2044
00002040: JUMPI
00002041: DUP6
00002042: DUP7
00002043: REVERT
00002044: JUMPDEST
00002045: DUP9
00002046: CALLDATALOAD
00002047: PUSH2 0x204f
0000204a: DUP2
0000204b: PUSH2 0x2759
0000204e: JUMP
0000204f: JUMPDEST
00002050: SWAP8
00002051: POP
00002052: PUSH1 0x20
00002054: DUP10
00002055: ADD
00002056: CALLDATALOAD
00002057: PUSH2 0x205f
0000205a: DUP2
0000205b: PUSH2 0x2759
0000205e: JUMP
0000205f: JUMPDEST
00002060: SWAP7
00002061: POP
00002062: PUSH1 0x40
00002064: DUP10
00002065: ADD
00002066: CALLDATALOAD
00002067: SWAP6
00002068: POP
00002069: PUSH1 0x60
0000206b: DUP10
0000206c: ADD
0000206d: CALLDATALOAD
0000206e: SWAP5
0000206f: POP
00002070: PUSH1 0x80
00002072: DUP10
00002073: ADD
00002074: CALLDATALOAD
00002075: SWAP4
00002076: POP
00002077: PUSH1 0xa0
00002079: DUP10
0000207a: ADD
0000207b: CALLDATALOAD
0000207c: PUSH2 0x2084
0000207f: DUP2
00002080: PUSH2 0x2759
00002083: JUMP
00002084: JUMPDEST
00002085: SWAP3
00002086: POP
00002087: PUSH1 0xc0
00002089: DUP10
0000208a: ADD
0000208b: CALLDATALOAD
0000208c: PUSH2 0x2094
0000208f: DUP2
00002090: PUSH2 0x2759
00002093: JUMP
00002094: JUMPDEST
00002095: SWAP2
00002096: POP
00002097: PUSH1 0xe0
00002099: DUP10
0000209a: ADD
0000209b: CALLDATALOAD
0000209c: PUSH2 0x20a4
0000209f: DUP2
000020a0: PUSH2 0x2759
000020a3: JUMP
000020a4: JUMPDEST
000020a5: DUP1
000020a6: SWAP2
000020a7: POP
000020a8: POP
000020a9: SWAP3
000020aa: SWAP6
000020ab: SWAP9
000020ac: POP
000020ad: SWAP3
000020ae: SWAP6
000020af: SWAP9
000020b0: SWAP1
000020b1: SWAP4
000020b2: SWAP7
000020b3: POP
000020b4: JUMP
000020b5: JUMPDEST
000020b6: PUSH1 0x00
000020b8: PUSH1 0x20
000020ba: DUP3
000020bb: DUP5
000020bc: SUB
000020bd: SLT
000020be: ISZERO
000020bf: PUSH2 0x20c6
000020c2: JUMPI
000020c3: DUP1
000020c4: DUP2
000020c5: REVERT
000020c6: JUMPDEST
000020c7: POP
000020c8: CALLDATALOAD
000020c9: SWAP2
000020ca: SWAP1
000020cb: POP
000020cc: JUMP
000020cd: JUMPDEST
000020ce: PUSH1 0x00
000020d0: PUSH1 0x20
000020d2: DUP3
000020d3: DUP5
000020d4: SUB
000020d5: SLT
000020d6: ISZERO
000020d7: PUSH2 0x20de
000020da: JUMPI
000020db: DUP1
000020dc: DUP2
000020dd: REVERT
000020de: JUMPDEST
000020df: POP
000020e0: MLOAD
000020e1: SWAP2
000020e2: SWAP1
000020e3: POP
000020e4: JUMP
000020e5: JUMPDEST
000020e6: PUSH1 0x00
000020e8: DUP1
000020e9: PUSH1 0x40
000020eb: DUP4
000020ec: DUP6
000020ed: SUB
000020ee: SLT
000020ef: ISZERO
000020f0: PUSH2 0x20f7
000020f3: JUMPI
000020f4: DUP2
000020f5: DUP3
000020f6: REVERT
000020f7: JUMPDEST
000020f8: DUP3
000020f9: CALLDATALOAD
000020fa: SWAP2
000020fb: POP
000020fc: PUSH1 0x20
000020fe: DUP4
000020ff: ADD
00002100: CALLDATALOAD
00002101: PUSH2 0x2109
00002104: DUP2
00002105: PUSH2 0x2759
00002108: JUMP
00002109: JUMPDEST
0000210a: DUP1
0000210b: SWAP2
0000210c: POP
0000210d: POP
0000210e: SWAP3
0000210f: POP
00002110: SWAP3
00002111: SWAP1
00002112: POP
00002113: JUMP
00002114: JUMPDEST
00002115: PUSH1 0x00
00002117: DUP1
00002118: PUSH1 0x40
0000211a: DUP4
0000211b: DUP6
0000211c: SUB
0000211d: SLT
0000211e: ISZERO
0000211f: PUSH2 0x2126
00002122: JUMPI
00002123: DUP2
00002124: DUP3
00002125: REVERT
00002126: JUMPDEST
00002127: DUP3
00002128: CALLDATALOAD
00002129: SWAP2
0000212a: POP
0000212b: PUSH1 0x20
0000212d: DUP4
0000212e: ADD
0000212f: CALLDATALOAD
00002130: PUSH2 0x2109
00002133: DUP2
00002134: PUSH2 0x276e
00002137: JUMP
00002138: JUMPDEST
00002139: PUSH1 0x00
0000213b: DUP1
0000213c: PUSH1 0x00
0000213e: PUSH1 0x60
00002140: DUP5
00002141: DUP7
00002142: SUB
00002143: SLT
00002144: ISZERO
00002145: PUSH2 0x214c
00002148: JUMPI
00002149: DUP1
0000214a: DUP2
0000214b: REVERT
0000214c: JUMPDEST
0000214d: DUP4
0000214e: CALLDATALOAD
0000214f: SWAP3
00002150: POP
00002151: PUSH1 0x20
00002153: DUP5
00002154: ADD
00002155: CALLDATALOAD
00002156: PUSH2 0x215e
00002159: DUP2
0000215a: PUSH2 0x2759
0000215d: JUMP
0000215e: JUMPDEST
0000215f: SWAP2
00002160: POP
00002161: PUSH1 0x40
00002163: DUP5
00002164: ADD
00002165: CALLDATALOAD
00002166: DUP1
00002167: ISZERO
00002168: ISZERO
00002169: DUP2
0000216a: EQ
0000216b: PUSH2 0x2172
0000216e: JUMPI
0000216f: DUP2
00002170: DUP3
00002171: REVERT
00002172: JUMPDEST
00002173: DUP1
00002174: SWAP2
00002175: POP
00002176: POP
00002177: SWAP3
00002178: POP
00002179: SWAP3
0000217a: POP
0000217b: SWAP3
0000217c: JUMP
0000217d: JUMPDEST
0000217e: PUSH1 0x00
00002180: DUP1
00002181: PUSH1 0x40
00002183: DUP4
00002184: DUP6
00002185: SUB
00002186: SLT
00002187: ISZERO
00002188: PUSH2 0x218f
0000218b: JUMPI
0000218c: DUP2
0000218d: DUP3
0000218e: REVERT
0000218f: JUMPDEST
00002190: POP
00002191: POP
00002192: DUP1
00002193: CALLDATALOAD
00002194: SWAP3
00002195: PUSH1 0x20
00002197: SWAP1
00002198: SWAP2
00002199: ADD
0000219a: CALLDATALOAD
0000219b: SWAP2
0000219c: POP
0000219d: JUMP
0000219e: JUMPDEST
0000219f: PUSH1 0x00
000021a1: DUP1
000021a2: PUSH1 0x00
000021a4: PUSH1 0x60
000021a6: DUP5
000021a7: DUP7
000021a8: SUB
000021a9: SLT
000021aa: ISZERO
000021ab: PUSH2 0x21b2
000021ae: JUMPI
000021af: DUP1
000021b0: DUP2
000021b1: REVERT
000021b2: JUMPDEST
000021b3: DUP4
000021b4: CALLDATALOAD
000021b5: SWAP3
000021b6: POP
000021b7: PUSH1 0x20
000021b9: DUP5
000021ba: ADD
000021bb: CALLDATALOAD
000021bc: SWAP2
000021bd: POP
000021be: PUSH1 0x40
000021c0: DUP5
000021c1: ADD
000021c2: CALLDATALOAD
000021c3: PUSH2 0x2172
000021c6: DUP2
000021c7: PUSH2 0x276e
000021ca: JUMP
000021cb: JUMPDEST
000021cc: PUSH1 0x00
000021ce: DUP1
000021cf: PUSH1 0x00
000021d1: PUSH1 0x60
000021d3: DUP5
000021d4: DUP7
000021d5: SUB
000021d6: SLT
000021d7: ISZERO
000021d8: PUSH2 0x21df
000021db: JUMPI
000021dc: DUP1
000021dd: DUP2
000021de: REVERT
000021df: JUMPDEST
000021e0: DUP4
000021e1: MLOAD
000021e2: SWAP3
000021e3: POP
000021e4: PUSH1 0x20
000021e6: DUP5
000021e7: ADD
000021e8: MLOAD
000021e9: SWAP2
000021ea: POP
000021eb: PUSH1 0x40
000021ed: DUP5
000021ee: ADD
000021ef: MLOAD
000021f0: SWAP1
000021f1: POP
000021f2: SWAP3
000021f3: POP
000021f4: SWAP3
000021f5: POP
000021f6: SWAP3
000021f7: JUMP
000021f8: JUMPDEST
000021f9: PUSH1 0x00
000021fb: DUP1
000021fc: PUSH1 0x00
000021fe: DUP1
000021ff: PUSH1 0x00
00002201: DUP1
00002202: PUSH1 0xc0
00002204: DUP8
00002205: DUP10
00002206: SUB
00002207: SLT
00002208: ISZERO
00002209: PUSH2 0x2210
0000220c: JUMPI
0000220d: DUP4
0000220e: DUP5
0000220f: REVERT
00002210: JUMPDEST
00002211: DUP7
00002212: MLOAD
00002213: SWAP6
00002214: POP
00002215: PUSH1 0x20
00002217: DUP8
00002218: ADD
00002219: MLOAD
0000221a: SWAP5
0000221b: POP
0000221c: PUSH1 0x40
0000221e: DUP8
0000221f: ADD
00002220: MLOAD
00002221: SWAP4
00002222: POP
00002223: PUSH1 0x60
00002225: DUP8
00002226: ADD
00002227: MLOAD
00002228: SWAP3
00002229: POP
0000222a: PUSH1 0x80
0000222c: DUP8
0000222d: ADD
0000222e: MLOAD
0000222f: PUSH2 0x2237
00002232: DUP2
00002233: PUSH2 0x2759
00002236: JUMP
00002237: JUMPDEST
00002238: DUP1
00002239: SWAP3
0000223a: POP
0000223b: POP
0000223c: PUSH1 0xa0
0000223e: DUP8
0000223f: ADD
00002240: MLOAD
00002241: SWAP1
00002242: POP
00002243: SWAP3
00002244: SWAP6
00002245: POP
00002246: SWAP3
00002247: SWAP6
00002248: POP
00002249: SWAP3
0000224a: SWAP6
0000224b: JUMP
0000224c: JUMPDEST
0000224d: PUSH1 0x01
0000224f: PUSH1 0x01
00002251: PUSH1 0xa0
00002253: SHL
00002254: SUB
00002255: AND
00002256: SWAP1
00002257: MSTORE
00002258: JUMP
00002259: JUMPDEST
0000225a: PUSH1 0x00
0000225c: DUP2
0000225d: MLOAD
0000225e: DUP1
0000225f: DUP5
00002260: MSTORE
00002261: PUSH1 0x20
00002263: DUP1
00002264: DUP6
00002265: ADD
00002266: SWAP5
00002267: POP
00002268: DUP1
00002269: DUP5
0000226a: ADD
0000226b: DUP4
0000226c: JUMPDEST
0000226d: DUP4
0000226e: DUP2
0000226f: LT
00002270: ISZERO
00002271: PUSH2 0x2288
00002274: JUMPI
00002275: DUP2
00002276: MLOAD
00002277: DUP8
00002278: MSTORE
00002279: SWAP6
0000227a: DUP3
0000227b: ADD
0000227c: SWAP6
0000227d: SWAP1
0000227e: DUP3
0000227f: ADD
00002280: SWAP1
00002281: PUSH1 0x01
00002283: ADD
00002284: PUSH2 0x226c
00002287: JUMP
00002288: JUMPDEST
00002289: POP
0000228a: SWAP5
0000228b: SWAP6
0000228c: SWAP5
0000228d: POP
0000228e: POP
0000228f: POP
00002290: POP
00002291: POP
00002292: JUMP
00002293: JUMPDEST
00002294: PUSH1 0x00
00002296: DUP3
00002297: DUP5
00002298: DUP4
00002299: CALLDATACOPY
0000229a: SWAP2
0000229b: ADD
0000229c: SWAP1
0000229d: DUP2
0000229e: MSTORE
0000229f: SWAP2
000022a0: SWAP1
000022a1: POP
000022a2: JUMP
000022a3: JUMPDEST
000022a4: PUSH1 0x00
000022a6: DUP3
000022a7: MLOAD
000022a8: PUSH2 0x22b5
000022ab: DUP2
000022ac: DUP5
000022ad: PUSH1 0x20
000022af: DUP8
000022b0: ADD
000022b1: PUSH2 0x272d
000022b4: JUMP
000022b5: JUMPDEST
000022b6: SWAP2
000022b7: SWAP1
000022b8: SWAP2
000022b9: ADD
000022ba: SWAP3
000022bb: SWAP2
000022bc: POP
000022bd: POP
000022be: JUMP
000022bf: JUMPDEST
000022c0: PUSH1 0x01
000022c2: PUSH1 0x01
000022c4: PUSH1 0xa0
000022c6: SHL
000022c7: SUB
000022c8: SWAP2
000022c9: SWAP1
000022ca: SWAP2
000022cb: AND
000022cc: DUP2
000022cd: MSTORE
000022ce: PUSH1 0x20
000022d0: ADD
000022d1: SWAP1
000022d2: JUMP
000022d3: JUMPDEST
000022d4: PUSH1 0x01
000022d6: PUSH1 0x01
000022d8: PUSH1 0xa0
000022da: SHL
000022db: SUB
000022dc: SWAP3
000022dd: DUP4
000022de: AND
000022df: DUP2
000022e0: MSTORE
000022e1: SWAP2
000022e2: AND
000022e3: PUSH1 0x20
000022e5: DUP3
000022e6: ADD
000022e7: MSTORE
000022e8: PUSH1 0x40
000022ea: ADD
000022eb: SWAP1
000022ec: JUMP
000022ed: JUMPDEST
000022ee: PUSH1 0x00
000022f0: PUSH1 0x40
000022f2: DUP3
000022f3: MSTORE
000022f4: PUSH2 0x2300
000022f7: PUSH1 0x40
000022f9: DUP4
000022fa: ADD
000022fb: DUP6
000022fc: PUSH2 0x2259
000022ff: JUMP
00002300: JUMPDEST
00002301: SWAP1
00002302: POP
00002303: PUSH1 0x01
00002305: DUP1
00002306: PUSH1 0xa0
00002308: SHL
00002309: SUB
0000230a: DUP4
0000230b: AND
0000230c: PUSH1 0x20
0000230e: DUP4
0000230f: ADD
00002310: MSTORE
00002311: SWAP4
00002312: SWAP3
00002313: POP
00002314: POP
00002315: POP
00002316: JUMP
00002317: JUMPDEST
00002318: PUSH1 0x00
0000231a: PUSH1 0xc0
0000231c: DUP3
0000231d: MSTORE
0000231e: PUSH2 0x232a
00002321: PUSH1 0xc0
00002323: DUP4
00002324: ADD
00002325: DUP10
00002326: PUSH2 0x2259
00002329: JUMP
0000232a: JUMPDEST
0000232b: PUSH1 0x20
0000232d: DUP4
0000232e: DUP3
0000232f: SUB
00002330: DUP2
00002331: DUP6
00002332: ADD
00002333: MSTORE
00002334: PUSH2 0x233d
00002337: DUP3
00002338: DUP11
00002339: PUSH2 0x2259
0000233c: JUMP
0000233d: JUMPDEST
0000233e: SWAP2
0000233f: POP
00002340: DUP4
00002341: DUP3
00002342: SUB
00002343: PUSH1 0x40
00002345: DUP6
00002346: ADD
00002347: MSTORE
00002348: PUSH2 0x2351
0000234b: DUP3
0000234c: DUP10
0000234d: PUSH2 0x2259
00002350: JUMP
00002351: JUMPDEST
00002352: SWAP2
00002353: POP
00002354: DUP4
00002355: DUP3
00002356: SUB
00002357: PUSH1 0x60
00002359: DUP6
0000235a: ADD
0000235b: MSTORE
0000235c: PUSH2 0x2365
0000235f: DUP3
00002360: DUP9
00002361: PUSH2 0x2259
00002364: JUMP
00002365: JUMPDEST
00002366: DUP5
00002367: DUP2
00002368: SUB
00002369: PUSH1 0x80
0000236b: DUP7
0000236c: ADD
0000236d: MSTORE
0000236e: DUP7
0000236f: MLOAD
00002370: DUP1
00002371: DUP3
00002372: MSTORE
00002373: DUP3
00002374: DUP9
00002375: ADD
00002376: SWAP4
00002377: POP
00002378: SWAP1
00002379: DUP3
0000237a: ADD
0000237b: SWAP1
0000237c: DUP5
0000237d: JUMPDEST
0000237e: DUP2
0000237f: DUP2
00002380: LT
00002381: ISZERO
00002382: PUSH2 0x23a0
00002385: JUMPI
00002386: PUSH2 0x2390
00002389: DUP4
0000238a: DUP7
0000238b: MLOAD
0000238c: PUSH2 0x224c
0000238f: JUMP
00002390: JUMPDEST
00002391: SWAP4
00002392: DUP4
00002393: ADD
00002394: SWAP4
00002395: SWAP2
00002396: DUP4
00002397: ADD
00002398: SWAP2
00002399: PUSH1 0x01
0000239b: ADD
0000239c: PUSH2 0x237d
0000239f: JUMP
000023a0: JUMPDEST
000023a1: POP
000023a2: POP
000023a3: DUP5
000023a4: DUP2
000023a5: SUB
000023a6: PUSH1 0xa0
000023a8: DUP7
000023a9: ADD
000023aa: MSTORE
000023ab: PUSH2 0x23b4
000023ae: DUP2
000023af: DUP8
000023b0: PUSH2 0x2259
000023b3: JUMP
000023b4: JUMPDEST
000023b5: SWAP12
000023b6: SWAP11
000023b7: POP
000023b8: POP
000023b9: POP
000023ba: POP
000023bb: POP
000023bc: POP
000023bd: POP
000023be: POP
000023bf: POP
000023c0: POP
000023c1: POP
000023c2: JUMP
000023c3: JUMPDEST
000023c4: PUSH1 0x00
000023c6: PUSH1 0xa0
000023c8: DUP3
000023c9: MSTORE
000023ca: PUSH2 0x23d6
000023cd: PUSH1 0xa0
000023cf: DUP4
000023d0: ADD
000023d1: DUP9
000023d2: PUSH2 0x2259
000023d5: JUMP
000023d6: JUMPDEST
000023d7: DUP3
000023d8: DUP2
000023d9: SUB
000023da: PUSH1 0x20
000023dc: DUP5
000023dd: ADD
000023de: MSTORE
000023df: PUSH2 0x23e8
000023e2: DUP2
000023e3: DUP9
000023e4: PUSH2 0x2259
000023e7: JUMP
000023e8: JUMPDEST
000023e9: SWAP1
000023ea: POP
000023eb: DUP3
000023ec: DUP2
000023ed: SUB
000023ee: PUSH1 0x40
000023f0: DUP5
000023f1: ADD
000023f2: MSTORE
000023f3: PUSH2 0x23fc
000023f6: DUP2
000023f7: DUP8
000023f8: PUSH2 0x2259
000023fb: JUMP
000023fc: JUMPDEST
000023fd: SWAP1
000023fe: POP
000023ff: DUP3
00002400: DUP2
00002401: SUB
00002402: PUSH1 0x60
00002404: DUP5
00002405: ADD
00002406: MSTORE
00002407: PUSH2 0x2410
0000240a: DUP2
0000240b: DUP7
0000240c: PUSH2 0x2259
0000240f: JUMP
00002410: JUMPDEST
00002411: SWAP1
00002412: POP
00002413: DUP3
00002414: DUP2
00002415: SUB
00002416: PUSH1 0x80
00002418: DUP5
00002419: ADD
0000241a: MSTORE
0000241b: PUSH2 0x2424
0000241e: DUP2
0000241f: DUP6
00002420: PUSH2 0x2259
00002423: JUMP
00002424: JUMPDEST
00002425: SWAP9
00002426: SWAP8
00002427: POP
00002428: POP
00002429: POP
0000242a: POP
0000242b: POP
0000242c: POP
0000242d: POP
0000242e: POP
0000242f: JUMP
00002430: JUMPDEST
00002431: PUSH1 0x00
00002433: PUSH1 0x60
00002435: DUP3
00002436: MSTORE
00002437: PUSH2 0x2443
0000243a: PUSH1 0x60
0000243c: DUP4
0000243d: ADD
0000243e: DUP7
0000243f: PUSH2 0x2259
00002442: JUMP
00002443: JUMPDEST
00002444: DUP3
00002445: DUP2
00002446: SUB
00002447: PUSH1 0x20
00002449: DUP5
0000244a: ADD
0000244b: MSTORE
0000244c: PUSH2 0x2455
0000244f: DUP2
00002450: DUP7
00002451: PUSH2 0x2259
00002454: JUMP
00002455: JUMPDEST
00002456: SWAP2
00002457: POP
00002458: POP
00002459: DUP3
0000245a: PUSH1 0x40
0000245c: DUP4
0000245d: ADD
0000245e: MSTORE
0000245f: SWAP5
00002460: SWAP4
00002461: POP
00002462: POP
00002463: POP
00002464: POP
00002465: JUMP
00002466: JUMPDEST
00002467: SWAP1
00002468: ISZERO
00002469: ISZERO
0000246a: DUP2
0000246b: MSTORE
0000246c: PUSH1 0x20
0000246e: ADD
0000246f: SWAP1
00002470: JUMP
00002471: JUMPDEST
00002472: PUSH1 0x00
00002474: PUSH1 0x20
00002476: DUP3
00002477: MSTORE
00002478: DUP3
00002479: MLOAD
0000247a: DUP1
0000247b: PUSH1 0x20
0000247d: DUP5
0000247e: ADD
0000247f: MSTORE
00002480: PUSH2 0x2490
00002483: DUP2
00002484: PUSH1 0x40
00002486: DUP6
00002487: ADD
00002488: PUSH1 0x20
0000248a: DUP8
0000248b: ADD
0000248c: PUSH2 0x272d
0000248f: JUMP
00002490: JUMPDEST
00002491: PUSH1 0x1f
00002493: ADD
00002494: PUSH1 0x1f
00002496: NOT
00002497: AND
00002498: SWAP2
00002499: SWAP1
0000249a: SWAP2
0000249b: ADD
0000249c: PUSH1 0x40
0000249e: ADD
0000249f: SWAP3
000024a0: SWAP2
000024a1: POP
000024a2: POP
000024a3: JUMP
000024a4: JUMPDEST
000024a5: PUSH1 0x20
000024a7: DUP1
000024a8: DUP3
000024a9: MSTORE
000024aa: PUSH1 0x26
000024ac: SWAP1
000024ad: DUP3
000024ae: ADD
000024af: MSTORE
000024b0: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
000024d1: PUSH1 0x40
000024d3: DUP3
000024d4: ADD
000024d5: MSTORE
000024d6: PUSH6 0x646472657373
000024dd: PUSH1 0xd0
000024df: SHL
000024e0: PUSH1 0x60
000024e2: DUP3
000024e3: ADD
000024e4: MSTORE
000024e5: PUSH1 0x80
000024e7: ADD
000024e8: SWAP1
000024e9: JUMP
000024ea: JUMPDEST
000024eb: PUSH1 0x20
000024ed: DUP1
000024ee: DUP3
000024ef: MSTORE
000024f0: PUSH1 0x1d
000024f2: SWAP1
000024f3: DUP3
000024f4: ADD
000024f5: MSTORE
000024f6: PUSH32 0x636f6e747261637420686173206265656e20696e697469616c697a6564000000
00002517: PUSH1 0x40
00002519: DUP3
0000251a: ADD
0000251b: MSTORE
0000251c: PUSH1 0x60
0000251e: ADD
0000251f: SWAP1
00002520: JUMP
00002521: JUMPDEST
00002522: PUSH1 0x20
00002524: DUP1
00002525: DUP3
00002526: MSTORE
00002527: DUP2
00002528: DUP2
00002529: ADD
0000252a: MSTORE
0000252b: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
0000254c: PUSH1 0x40
0000254e: DUP3
0000254f: ADD
00002550: MSTORE
00002551: PUSH1 0x60
00002553: ADD
00002554: SWAP1
00002555: JUMP
00002556: JUMPDEST
00002557: PUSH1 0x20
00002559: DUP1
0000255a: DUP3
0000255b: MSTORE
0000255c: PUSH1 0x12
0000255e: SWAP1
0000255f: DUP3
00002560: ADD
00002561: MSTORE
00002562: PUSH18 0x1a5b9d985b1a5908185d5d1a1bdc9a5e9959
00002575: PUSH1 0x72
00002577: SHL
00002578: PUSH1 0x40
0000257a: DUP3
0000257b: ADD
0000257c: MSTORE
0000257d: PUSH1 0x60
0000257f: ADD
00002580: SWAP1
00002581: JUMP
00002582: JUMPDEST
00002583: SWAP1
00002584: DUP2
00002585: MSTORE
00002586: PUSH1 0x20
00002588: ADD
00002589: SWAP1
0000258a: JUMP
0000258b: JUMPDEST
0000258c: SWAP2
0000258d: DUP3
0000258e: MSTORE
0000258f: PUSH1 0x01
00002591: PUSH1 0x01
00002593: PUSH1 0xa0
00002595: SHL
00002596: SUB
00002597: AND
00002598: PUSH1 0x20
0000259a: DUP3
0000259b: ADD
0000259c: MSTORE
0000259d: PUSH1 0x40
0000259f: ADD
000025a0: SWAP1
000025a1: JUMP
000025a2: JUMPDEST
000025a3: SWAP2
000025a4: DUP3
000025a5: MSTORE
000025a6: ISZERO
000025a7: ISZERO
000025a8: PUSH1 0x20
000025aa: DUP3
000025ab: ADD
000025ac: MSTORE
000025ad: PUSH1 0x40
000025af: ADD
000025b0: SWAP1
000025b1: JUMP
000025b2: JUMPDEST
000025b3: SWAP3
000025b4: DUP4
000025b5: MSTORE
000025b6: PUSH1 0x01
000025b8: PUSH1 0x01
000025ba: PUSH1 0xa0
000025bc: SHL
000025bd: SUB
000025be: SWAP2
000025bf: SWAP1
000025c0: SWAP2
000025c1: AND
000025c2: PUSH1 0x20
000025c4: DUP4
000025c5: ADD
000025c6: MSTORE
000025c7: ISZERO
000025c8: ISZERO
000025c9: PUSH1 0x40
000025cb: DUP3
000025cc: ADD
000025cd: MSTORE
000025ce: PUSH1 0x60
000025d0: ADD
000025d1: SWAP1
000025d2: JUMP
000025d3: JUMPDEST
000025d4: SWAP7
000025d5: DUP8
000025d6: MSTORE
000025d7: PUSH1 0x01
000025d9: PUSH1 0x01
000025db: PUSH1 0xa0
000025dd: SHL
000025de: SUB
000025df: SWAP6
000025e0: SWAP1
000025e1: SWAP6
000025e2: AND
000025e3: PUSH1 0x20
000025e5: DUP8
000025e6: ADD
000025e7: MSTORE
000025e8: PUSH1 0x40
000025ea: DUP7
000025eb: ADD
000025ec: SWAP4
000025ed: SWAP1
000025ee: SWAP4
000025ef: MSTORE
000025f0: PUSH1 0x60
000025f2: DUP6
000025f3: ADD
000025f4: SWAP2
000025f5: SWAP1
000025f6: SWAP2
000025f7: MSTORE
000025f8: PUSH1 0x80
000025fa: DUP5
000025fb: ADD
000025fc: MSTORE
000025fd: PUSH1 0xa0
000025ff: DUP4
00002600: ADD
00002601: MSTORE
00002602: PUSH1 0xc0
00002604: DUP3
00002605: ADD
00002606: MSTORE
00002607: PUSH1 0xe0
00002609: ADD
0000260a: SWAP1
0000260b: JUMP
0000260c: JUMPDEST
0000260d: SWAP2
0000260e: DUP3
0000260f: MSTORE
00002610: PUSH1 0x20
00002612: DUP3
00002613: ADD
00002614: MSTORE
00002615: PUSH1 0x40
00002617: ADD
00002618: SWAP1
00002619: JUMP
0000261a: JUMPDEST
0000261b: SWAP3
0000261c: DUP4
0000261d: MSTORE
0000261e: PUSH1 0x20
00002620: DUP4
00002621: ADD
00002622: SWAP2
00002623: SWAP1
00002624: SWAP2
00002625: MSTORE
00002626: ISZERO
00002627: ISZERO
00002628: PUSH1 0x40
0000262a: DUP3
0000262b: ADD
0000262c: MSTORE
0000262d: PUSH1 0x60
0000262f: ADD
00002630: SWAP1
00002631: JUMP
00002632: JUMPDEST
00002633: SWAP3
00002634: DUP4
00002635: MSTORE
00002636: PUSH1 0x20
00002638: DUP4
00002639: ADD
0000263a: SWAP2
0000263b: SWAP1
0000263c: SWAP2
0000263d: MSTORE
0000263e: PUSH1 0x40
00002640: DUP3
00002641: ADD
00002642: MSTORE
00002643: PUSH1 0x60
00002645: ADD
00002646: SWAP1
00002647: JUMP
00002648: JUMPDEST
00002649: SWAP6
0000264a: DUP7
0000264b: MSTORE
0000264c: PUSH1 0x20
0000264e: DUP7
0000264f: ADD
00002650: SWAP5
00002651: SWAP1
00002652: SWAP5
00002653: MSTORE
00002654: PUSH1 0x40
00002656: DUP6
00002657: ADD
00002658: SWAP3
00002659: SWAP1
0000265a: SWAP3
0000265b: MSTORE
0000265c: PUSH1 0x60
0000265e: DUP5
0000265f: ADD
00002660: MSTORE
00002661: PUSH1 0x01
00002663: PUSH1 0x01
00002665: PUSH1 0xa0
00002667: SHL
00002668: SUB
00002669: AND
0000266a: PUSH1 0x80
0000266c: DUP4
0000266d: ADD
0000266e: MSTORE
0000266f: PUSH1 0xa0
00002671: DUP3
00002672: ADD
00002673: MSTORE
00002674: PUSH1 0xc0
00002676: ADD
00002677: SWAP1
00002678: JUMP
00002679: JUMPDEST
0000267a: SWAP10
0000267b: DUP11
0000267c: MSTORE
0000267d: PUSH1 0x20
0000267f: DUP11
00002680: ADD
00002681: SWAP9
00002682: SWAP1
00002683: SWAP9
00002684: MSTORE
00002685: PUSH1 0x40
00002687: DUP10
00002688: ADD
00002689: SWAP7
0000268a: SWAP1
0000268b: SWAP7
0000268c: MSTORE
0000268d: PUSH1 0x60
0000268f: DUP9
00002690: ADD
00002691: SWAP5
00002692: SWAP1
00002693: SWAP5
00002694: MSTORE
00002695: PUSH1 0x80
00002697: DUP8
00002698: ADD
00002699: SWAP3
0000269a: SWAP1
0000269b: SWAP3
0000269c: MSTORE
0000269d: PUSH1 0xa0
0000269f: DUP7
000026a0: ADD
000026a1: MSTORE
000026a2: PUSH1 0xc0
000026a4: DUP6
000026a5: ADD
000026a6: MSTORE
000026a7: PUSH1 0xe0
000026a9: DUP5
000026aa: ADD
000026ab: MSTORE
000026ac: ISZERO
000026ad: ISZERO
000026ae: PUSH2 0x0100
000026b1: DUP4
000026b2: ADD
000026b3: MSTORE
000026b4: ISZERO
000026b5: ISZERO
000026b6: PUSH2 0x0120
000026b9: DUP3
000026ba: ADD
000026bb: MSTORE
000026bc: PUSH2 0x0140
000026bf: ADD
000026c0: SWAP1
000026c1: JUMP
000026c2: JUMPDEST
000026c3: PUSH1 0x40
000026c5: MLOAD
000026c6: DUP2
000026c7: DUP2
000026c8: ADD
000026c9: PUSH8 0xffffffffffffffff
000026d2: DUP2
000026d3: GT
000026d4: DUP3
000026d5: DUP3
000026d6: LT
000026d7: OR
000026d8: ISZERO
000026d9: PUSH2 0x26e1
000026dc: JUMPI
000026dd: PUSH1 0x00
000026df: DUP1
000026e0: REVERT
000026e1: JUMPDEST
000026e2: PUSH1 0x40
000026e4: MSTORE
000026e5: SWAP2
000026e6: SWAP1
000026e7: POP
000026e8: JUMP
000026e9: JUMPDEST
000026ea: PUSH1 0x00
000026ec: PUSH8 0xffffffffffffffff
000026f5: DUP3
000026f6: GT
000026f7: ISZERO
000026f8: PUSH2 0x26ff
000026fb: JUMPI
000026fc: DUP1
000026fd: DUP2
000026fe: REVERT
000026ff: JUMPDEST
00002700: POP
00002701: PUSH1 0x20
00002703: SWAP1
00002704: DUP2
00002705: MUL
00002706: ADD
00002707: SWAP1
00002708: JUMP
00002709: JUMPDEST
0000270a: PUSH1 0x00
0000270c: PUSH8 0xffffffffffffffff
00002715: DUP3
00002716: GT
00002717: ISZERO
00002718: PUSH2 0x271f
0000271b: JUMPI
0000271c: DUP1
0000271d: DUP2
0000271e: REVERT
0000271f: JUMPDEST
00002720: POP
00002721: PUSH1 0x1f
00002723: ADD
00002724: PUSH1 0x1f
00002726: NOT
00002727: AND
00002728: PUSH1 0x20
0000272a: ADD
0000272b: SWAP1
0000272c: JUMP
0000272d: JUMPDEST
0000272e: PUSH1 0x00
00002730: JUMPDEST
00002731: DUP4
00002732: DUP2
00002733: LT
00002734: ISZERO
00002735: PUSH2 0x2748
00002738: JUMPI
00002739: DUP2
0000273a: DUP2
0000273b: ADD
0000273c: MLOAD
0000273d: DUP4
0000273e: DUP3
0000273f: ADD
00002740: MSTORE
00002741: PUSH1 0x20
00002743: ADD
00002744: PUSH2 0x2730
00002747: JUMP
00002748: JUMPDEST
00002749: DUP4
0000274a: DUP2
0000274b: GT
0000274c: ISZERO
0000274d: PUSH2 0x0bfa
00002750: JUMPI
00002751: POP
00002752: POP
00002753: PUSH1 0x00
00002755: SWAP2
00002756: ADD
00002757: MSTORE
00002758: JUMP
00002759: JUMPDEST
0000275a: PUSH1 0x01
0000275c: PUSH1 0x01
0000275e: PUSH1 0xa0
00002760: SHL
00002761: SUB
00002762: DUP2
00002763: AND
00002764: DUP2
00002765: EQ
00002766: PUSH2 0x1301
00002769: JUMPI
0000276a: PUSH1 0x00
0000276c: DUP1
0000276d: REVERT
0000276e: JUMPDEST
0000276f: DUP1
00002770: ISZERO
00002771: ISZERO
00002772: DUP2
00002773: EQ
00002774: PUSH2 0x1301
00002777: JUMPI
00002778: PUSH1 0x00
0000277a: DUP1
0000277b: REVERT
0000277c: INVALID
0000277d: LOG2
0000277e: PUSH5 0x6970667358
00002784: UNKNOWN(0x22)
00002785: SLT
00002786: KECCAK256
00002787: UNKNOWN(0x22)
00002788: UNKNOWN(0xB3)
00002789: SELFDESTRUCT
0000278a: DUP4
0000278b: PUSH16 0x39d5840bcb91f8117189c07c44e05807
0000279c: UNKNOWN(0xDC)
0000279d: UNKNOWN(0xCF)
0000279e: ISZERO
0000279f: PUSH12 0x4d7773eae2667c64736f6c63
000027ac: NUMBER
000027ad: STOP
000027ae: MOD
000027af: UNKNOWN(0x0C)
000027b0: STOP
000027b1: CALLER

View stderr

Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
critical	upgradeability	detector	Untrusted DELEGATECALL target reachable	70	no	no	view trace_id: 0xad15e5e66b9def0226b62b4a2311be2bbc55b785af17124ec250308c1f59b0f6 call_targets: 0xab2cc3ab140e7596c5de18d1269ac39c53bd0db0 target_varies: no classification: constant_target validation_json { "sink": "DELEGATECALL", "errors": 0, "status": "sink_reached", "attempts": 62, "trace_id": "0xad15e5e66b9def0226b62b4a2311be2bbc55b785af17124ec250308c1f59b0f6", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xab2cc3ab140e7596c5de18d1269ac39c53bd0db0" ], "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": "0xfb22ae4e", "selector": "0xfb22ae4e", "calldata_variants": [ "0xfb22ae4e", "0xfb22ae4e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfc4cdaab", "selector": "0xfc4cdaab", "calldata_variants": [ "0xfc4cdaab", "0xfc4cdaab0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfd70de58", "selector": "0xfd70de58", "calldata_variants": [ "0xfd70de58", "0xfd70de580000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfdcf42c8", "selector": "0xfdcf42c8", "calldata_variants": [ "0xfdcf42c8", "0xfdcf42c80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf35e4a6e", "selector": "0xf35e4a6e", "calldata_variants": [ "0xf35e4a6e", "0xf35e4a6e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf63c01ca", "selector": "0xf63c01ca", "calldata_variants": [ "0xf63c01ca", "0xf63c01ca0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf851a440", "selector": "0xf851a440", "calldata_variants": [ "0xf851a440", "0xf851a4400000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1017, "opcode": "DELEGATECALL", "returndata_checked": null, "value_expression_category": "n/a", "target_expression_category": "computed" }, { "pc": 6770, "opcode": "DELEGATECALL", "returndata_checked": null, "value_expression_category": "n/a", "target_expression_category": "computed" } ], "guards_detected": [], "delegatecall_count": 2, "untrusted_delegatecall_count": 2 }
high	other	detector	SELFDESTRUCT reachable	65	no	no	view trace_id: 0x144ee9dbe73224807d694ed283f596decea7ccc6865a4b6dbc53fa5fe5a240a9 validation_json { "sink": "SELFDESTRUCT", "errors": 0, "status": "unknown", "attempts": 32, "trace_id": "0x144ee9dbe73224807d694ed283f596decea7ccc6865a4b6dbc53fa5fe5a240a9", "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": "0xfb22ae4e", "selector": "0xfb22ae4e", "calldata_variants": [ "0xfb22ae4e", "0xfb22ae4e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfc4cdaab", "selector": "0xfc4cdaab", "calldata_variants": [ "0xfc4cdaab", "0xfc4cdaab0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfd70de58", "selector": "0xfd70de58", "calldata_variants": [ "0xfd70de58", "0xfd70de580000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfdcf42c8", "selector": "0xfdcf42c8", "calldata_variants": [ "0xfdcf42c8", "0xfdcf42c80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf35e4a6e", "selector": "0xf35e4a6e", "calldata_variants": [ "0xf35e4a6e", "0xf35e4a6e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf63c01ca", "selector": "0xf63c01ca", "calldata_variants": [ "0xf63c01ca", "0xf63c01ca0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf851a440", "selector": "0xf851a440", "calldata_variants": [ "0xf851a440", "0xf851a4400000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [], "selfdestruct_count": 1 }

Severity