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

Analysis Run

019b3844-a1f8-71a3-849e-2f69582f33e8

complete
Chain ID
1
Address
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?

Confirmed
0
Validated
0
Source
Bytecode only
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
15555 artifact.fetch complete 1 / 3 3 months ago
15556 tool.cast_disasm complete 1 / 3 3 months ago
58737 analysis.bundle complete 1 / 3 1 week ago
58738 capability.graph complete 1 / 3 1 week ago
58739 detector.run complete 1 / 3 1 week ago
58740 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
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
21
EXT*/BALANCE
3
Total opcodes
6980
Flags
call_family_heavy
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0202
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x89a30271
00000019: GT
0000001a: PUSH2 0x011d
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xad5c4648
00000024: GT
00000025: PUSH2 0x00b0
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xccfc2e8d
0000002f: GT
00000030: PUSH2 0x007f
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xd9fb643a
0000003a: GT
0000003b: PUSH2 0x0064
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xd9fb643a
00000045: EQ
00000046: PUSH2 0x05fc
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xe00bfe50
00000050: EQ
00000051: PUSH2 0x0624
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf2fde38b
0000005b: EQ
0000005c: PUSH2 0x064c
0000005f: JUMPI
00000060: PUSH1 0x00
00000062: DUP1
00000063: REVERT
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0xccfc2e8d
0000006b: EQ
0000006c: PUSH2 0x05bc
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xcf35bdd0
00000076: EQ
00000077: PUSH2 0x05dc
0000007a: JUMPI
0000007b: PUSH1 0x00
0000007d: DUP1
0000007e: REVERT
0000007f: JUMPDEST
00000080: DUP1
00000081: PUSH4 0xad5c4648
00000086: EQ
00000087: PUSH2 0x0528
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0xaddd5099
00000091: EQ
00000092: PUSH2 0x0550
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0xb8e85135
0000009c: EQ
0000009d: PUSH2 0x0586
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xc41d2874
000000a7: EQ
000000a8: PUSH2 0x05a6
000000ab: JUMPI
000000ac: PUSH1 0x00
000000ae: DUP1
000000af: REVERT
000000b0: JUMPDEST
000000b1: DUP1
000000b2: PUSH4 0x9ce9a544
000000b7: GT
000000b8: PUSH2 0x00ec
000000bb: JUMPI
000000bc: DUP1
000000bd: PUSH4 0x9ce9a544
000000c2: EQ
000000c3: PUSH2 0x04a0
000000c6: JUMPI
000000c7: DUP1
000000c8: PUSH4 0x9d139062
000000cd: EQ
000000ce: PUSH2 0x04c0
000000d1: JUMPI
000000d2: DUP1
000000d3: PUSH4 0xa494a39f
000000d8: EQ
000000d9: PUSH2 0x04e0
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0xaced1661
000000e3: EQ
000000e4: PUSH2 0x0508
000000e7: JUMPI
000000e8: PUSH1 0x00
000000ea: DUP1
000000eb: REVERT
000000ec: JUMPDEST
000000ed: DUP1
000000ee: PUSH4 0x89a30271
000000f3: EQ
000000f4: PUSH2 0x0425
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0x8a196e86
000000fe: EQ
000000ff: PUSH2 0x044d
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0x8da5cb5b
00000109: EQ
0000010a: PUSH2 0x0462
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0x8e08e4d7
00000114: EQ
00000115: PUSH2 0x0480
00000118: JUMPI
00000119: PUSH1 0x00
0000011b: DUP1
0000011c: REVERT
0000011d: JUMPDEST
0000011e: DUP1
0000011f: PUSH4 0x37d20fff
00000124: GT
00000125: PUSH2 0x0195
00000128: JUMPI
00000129: DUP1
0000012a: PUSH4 0x4f6e746d
0000012f: GT
00000130: PUSH2 0x0164
00000133: JUMPI
00000134: DUP1
00000135: PUSH4 0x4f6e746d
0000013a: EQ
0000013b: PUSH2 0x03b2
0000013e: JUMPI
0000013f: DUP1
00000140: PUSH4 0x61566aff
00000145: EQ
00000146: PUSH2 0x03da
00000149: JUMPI
0000014a: DUP1
0000014b: PUSH4 0x715018a6
00000150: EQ
00000151: PUSH2 0x03f0
00000154: JUMPI
00000155: DUP1
00000156: PUSH4 0x748747e6
0000015b: EQ
0000015c: PUSH2 0x0405
0000015f: JUMPI
00000160: PUSH1 0x00
00000162: DUP1
00000163: REVERT
00000164: JUMPDEST
00000165: DUP1
00000166: PUSH4 0x37d20fff
0000016b: EQ
0000016c: PUSH2 0x0330
0000016f: JUMPI
00000170: DUP1
00000171: PUSH4 0x40066d97
00000176: EQ
00000177: PUSH2 0x0350
0000017a: JUMPI
0000017b: DUP1
0000017c: PUSH4 0x44bec213
00000181: EQ
00000182: PUSH2 0x0365
00000185: JUMPI
00000186: DUP1
00000187: PUSH4 0x45aadbc0
0000018c: EQ
0000018d: PUSH2 0x0392
00000190: JUMPI
00000191: PUSH1 0x00
00000193: DUP1
00000194: REVERT
00000195: JUMPDEST
00000196: DUP1
00000197: PUSH4 0x0d9aeb74
0000019c: GT
0000019d: PUSH2 0x01d1
000001a0: JUMPI
000001a1: DUP1
000001a2: PUSH4 0x0d9aeb74
000001a7: EQ
000001a8: PUSH2 0x02b0
000001ab: JUMPI
000001ac: DUP1
000001ad: PUSH4 0x29687dd2
000001b2: EQ
000001b3: PUSH2 0x02d0
000001b6: JUMPI
000001b7: DUP1
000001b8: PUSH4 0x29dba390
000001bd: EQ
000001be: PUSH2 0x02f0
000001c1: JUMPI
000001c2: DUP1
000001c3: PUSH4 0x35333135
000001c8: EQ
000001c9: PUSH2 0x0310
000001cc: JUMPI
000001cd: PUSH1 0x00
000001cf: DUP1
000001d0: REVERT
000001d1: JUMPDEST
000001d2: DUP1
000001d3: PUSH4 0x0296b9d1
000001d8: EQ
000001d9: PUSH2 0x020e
000001dc: JUMPI
000001dd: DUP1
000001de: PUSH4 0x07e56395
000001e3: EQ
000001e4: PUSH2 0x0241
000001e7: JUMPI
000001e8: DUP1
000001e9: PUSH4 0x0c335dc7
000001ee: EQ
000001ef: PUSH2 0x0263
000001f2: JUMPI
000001f3: DUP1
000001f4: PUSH4 0x0d43e8ad
000001f9: EQ
000001fa: PUSH2 0x0278
000001fd: JUMPI
000001fe: PUSH1 0x00
00000200: DUP1
00000201: REVERT
00000202: JUMPDEST
00000203: CALLDATASIZE
00000204: PUSH2 0x0209
00000207: JUMPI
00000208: STOP
00000209: JUMPDEST
0000020a: PUSH1 0x00
0000020c: DUP1
0000020d: REVERT
0000020e: JUMPDEST
0000020f: CALLVALUE
00000210: DUP1
00000211: ISZERO
00000212: PUSH2 0x021a
00000215: JUMPI
00000216: PUSH1 0x00
00000218: DUP1
00000219: REVERT
0000021a: JUMPDEST
0000021b: POP
0000021c: PUSH2 0x022e
0000021f: PUSH2 0x0229
00000222: CALLDATASIZE
00000223: PUSH1 0x04
00000225: PUSH2 0x2c5e
00000228: JUMP
00000229: JUMPDEST
0000022a: PUSH2 0x066c
0000022d: JUMP
0000022e: JUMPDEST
0000022f: PUSH1 0x40
00000231: MLOAD
00000232: SWAP1
00000233: DUP2
00000234: MSTORE
00000235: PUSH1 0x20
00000237: ADD
00000238: JUMPDEST
00000239: PUSH1 0x40
0000023b: MLOAD
0000023c: DUP1
0000023d: SWAP2
0000023e: SUB
0000023f: SWAP1
00000240: RETURN
00000241: JUMPDEST
00000242: CALLVALUE
00000243: DUP1
00000244: ISZERO
00000245: PUSH2 0x024d
00000248: JUMPI
00000249: PUSH1 0x00
0000024b: DUP1
0000024c: REVERT
0000024d: JUMPDEST
0000024e: POP
0000024f: PUSH2 0x0261
00000252: PUSH2 0x025c
00000255: CALLDATASIZE
00000256: PUSH1 0x04
00000258: PUSH2 0x2c5e
0000025b: JUMP
0000025c: JUMPDEST
0000025d: PUSH2 0x072c
00000260: JUMP
00000261: JUMPDEST
00000262: STOP
00000263: JUMPDEST
00000264: CALLVALUE
00000265: DUP1
00000266: ISZERO
00000267: PUSH2 0x026f
0000026a: JUMPI
0000026b: PUSH1 0x00
0000026d: DUP1
0000026e: REVERT
0000026f: JUMPDEST
00000270: POP
00000271: PUSH2 0x022e
00000274: PUSH2 0x084e
00000277: JUMP
00000278: JUMPDEST
00000279: CALLVALUE
0000027a: DUP1
0000027b: ISZERO
0000027c: PUSH2 0x0284
0000027f: JUMPI
00000280: PUSH1 0x00
00000282: DUP1
00000283: REVERT
00000284: JUMPDEST
00000285: POP
00000286: PUSH1 0x04
00000288: SLOAD
00000289: PUSH2 0x0298
0000028c: SWAP1
0000028d: PUSH1 0x01
0000028f: PUSH1 0x01
00000291: PUSH1 0xa0
00000293: SHL
00000294: SUB
00000295: AND
00000296: DUP2
00000297: JUMP
00000298: JUMPDEST
00000299: PUSH1 0x40
0000029b: MLOAD
0000029c: PUSH1 0x01
0000029e: PUSH1 0x01
000002a0: PUSH1 0xa0
000002a2: SHL
000002a3: SUB
000002a4: SWAP1
000002a5: SWAP2
000002a6: AND
000002a7: DUP2
000002a8: MSTORE
000002a9: PUSH1 0x20
000002ab: ADD
000002ac: PUSH2 0x0238
000002af: JUMP
000002b0: JUMPDEST
000002b1: CALLVALUE
000002b2: DUP1
000002b3: ISZERO
000002b4: PUSH2 0x02bc
000002b7: JUMPI
000002b8: PUSH1 0x00
000002ba: DUP1
000002bb: REVERT
000002bc: JUMPDEST
000002bd: POP
000002be: PUSH2 0x022e
000002c1: PUSH2 0x02cb
000002c4: CALLDATASIZE
000002c5: PUSH1 0x04
000002c7: PUSH2 0x2cc5
000002ca: JUMP
000002cb: JUMPDEST
000002cc: PUSH2 0x0863
000002cf: JUMP
000002d0: JUMPDEST
000002d1: CALLVALUE
000002d2: DUP1
000002d3: ISZERO
000002d4: PUSH2 0x02dc
000002d7: JUMPI
000002d8: PUSH1 0x00
000002da: DUP1
000002db: REVERT
000002dc: JUMPDEST
000002dd: POP
000002de: PUSH2 0x022e
000002e1: PUSH2 0x02eb
000002e4: CALLDATASIZE
000002e5: PUSH1 0x04
000002e7: PUSH2 0x2c5e
000002ea: JUMP
000002eb: JUMPDEST
000002ec: PUSH2 0x0bf8
000002ef: JUMP
000002f0: JUMPDEST
000002f1: CALLVALUE
000002f2: DUP1
000002f3: ISZERO
000002f4: PUSH2 0x02fc
000002f7: JUMPI
000002f8: PUSH1 0x00
000002fa: DUP1
000002fb: REVERT
000002fc: JUMPDEST
000002fd: POP
000002fe: PUSH2 0x0261
00000301: PUSH2 0x030b
00000304: CALLDATASIZE
00000305: PUSH1 0x04
00000307: PUSH2 0x2c5e
0000030a: JUMP
0000030b: JUMPDEST
0000030c: PUSH2 0x0c63
0000030f: JUMP
00000310: JUMPDEST
00000311: CALLVALUE
00000312: DUP1
00000313: ISZERO
00000314: PUSH2 0x031c
00000317: JUMPI
00000318: PUSH1 0x00
0000031a: DUP1
0000031b: REVERT
0000031c: JUMPDEST
0000031d: POP
0000031e: PUSH2 0x0261
00000321: PUSH2 0x032b
00000324: CALLDATASIZE
00000325: PUSH1 0x04
00000327: PUSH2 0x2d07
0000032a: JUMP
0000032b: JUMPDEST
0000032c: PUSH2 0x0d79
0000032f: JUMP
00000330: JUMPDEST
00000331: CALLVALUE
00000332: DUP1
00000333: ISZERO
00000334: PUSH2 0x033c
00000337: JUMPI
00000338: PUSH1 0x00
0000033a: DUP1
0000033b: REVERT
0000033c: JUMPDEST
0000033d: POP
0000033e: PUSH2 0x0261
00000341: PUSH2 0x034b
00000344: CALLDATASIZE
00000345: PUSH1 0x04
00000347: PUSH2 0x2c5e
0000034a: JUMP
0000034b: JUMPDEST
0000034c: PUSH2 0x0e5a
0000034f: JUMP
00000350: JUMPDEST
00000351: CALLVALUE
00000352: DUP1
00000353: ISZERO
00000354: PUSH2 0x035c
00000357: JUMPI
00000358: PUSH1 0x00
0000035a: DUP1
0000035b: REVERT
0000035c: JUMPDEST
0000035d: POP
0000035e: PUSH2 0x022e
00000361: PUSH2 0x0f16
00000364: JUMP
00000365: JUMPDEST
00000366: CALLVALUE
00000367: DUP1
00000368: ISZERO
00000369: PUSH2 0x0371
0000036c: JUMPI
0000036d: PUSH1 0x00
0000036f: DUP1
00000370: REVERT
00000371: JUMPDEST
00000372: POP
00000373: PUSH2 0x0385
00000376: PUSH2 0x0380
00000379: CALLDATASIZE
0000037a: PUSH1 0x04
0000037c: PUSH2 0x2c5e
0000037f: JUMP
00000380: JUMPDEST
00000381: PUSH2 0x0f34
00000384: JUMP
00000385: JUMPDEST
00000386: PUSH1 0x40
00000388: MLOAD
00000389: PUSH2 0x0238
0000038c: SWAP2
0000038d: SWAP1
0000038e: PUSH2 0x2d96
00000391: JUMP
00000392: JUMPDEST
00000393: CALLVALUE
00000394: DUP1
00000395: ISZERO
00000396: PUSH2 0x039e
00000399: JUMPI
0000039a: PUSH1 0x00
0000039c: DUP1
0000039d: REVERT
0000039e: JUMPDEST
0000039f: POP
000003a0: PUSH1 0x01
000003a2: SLOAD
000003a3: PUSH2 0x0298
000003a6: SWAP1
000003a7: PUSH1 0x01
000003a9: PUSH1 0x01
000003ab: PUSH1 0xa0
000003ad: SHL
000003ae: SUB
000003af: AND
000003b0: DUP2
000003b1: JUMP
000003b2: JUMPDEST
000003b3: CALLVALUE
000003b4: DUP1
000003b5: ISZERO
000003b6: PUSH2 0x03be
000003b9: JUMPI
000003ba: PUSH1 0x00
000003bc: DUP1
000003bd: REVERT
000003be: JUMPDEST
000003bf: POP
000003c0: PUSH2 0x0298
000003c3: PUSH20 0xdc24316b9ae028f1497c275eb9192a3ea0f67022
000003d8: DUP2
000003d9: JUMP
000003da: JUMPDEST
000003db: CALLVALUE
000003dc: DUP1
000003dd: ISZERO
000003de: PUSH2 0x03e6
000003e1: JUMPI
000003e2: PUSH1 0x00
000003e4: DUP1
000003e5: REVERT
000003e6: JUMPDEST
000003e7: POP
000003e8: PUSH2 0x022e
000003eb: PUSH1 0x05
000003ed: SLOAD
000003ee: DUP2
000003ef: JUMP
000003f0: JUMPDEST
000003f1: CALLVALUE
000003f2: DUP1
000003f3: ISZERO
000003f4: PUSH2 0x03fc
000003f7: JUMPI
000003f8: PUSH1 0x00
000003fa: DUP1
000003fb: REVERT
000003fc: JUMPDEST
000003fd: POP
000003fe: PUSH2 0x0261
00000401: PUSH2 0x0fce
00000404: JUMP
00000405: JUMPDEST
00000406: CALLVALUE
00000407: DUP1
00000408: ISZERO
00000409: PUSH2 0x0411
0000040c: JUMPI
0000040d: PUSH1 0x00
0000040f: DUP1
00000410: REVERT
00000411: JUMPDEST
00000412: POP
00000413: PUSH2 0x0261
00000416: PUSH2 0x0420
00000419: CALLDATASIZE
0000041a: PUSH1 0x04
0000041c: PUSH2 0x2c5e
0000041f: JUMP
00000420: JUMPDEST
00000421: PUSH2 0x1034
00000424: JUMP
00000425: JUMPDEST
00000426: CALLVALUE
00000427: DUP1
00000428: ISZERO
00000429: PUSH2 0x0431
0000042c: JUMPI
0000042d: PUSH1 0x00
0000042f: DUP1
00000430: REVERT
00000431: JUMPDEST
00000432: POP
00000433: PUSH2 0x0298
00000436: PUSH20 0xa0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
0000044b: DUP2
0000044c: JUMP
0000044d: JUMPDEST
0000044e: CALLVALUE
0000044f: DUP1
00000450: ISZERO
00000451: PUSH2 0x0459
00000454: JUMPI
00000455: PUSH1 0x00
00000457: DUP1
00000458: REVERT
00000459: JUMPDEST
0000045a: POP
0000045b: PUSH2 0x0261
0000045e: PUSH2 0x114a
00000461: JUMP
00000462: JUMPDEST
00000463: CALLVALUE
00000464: DUP1
00000465: ISZERO
00000466: PUSH2 0x046e
00000469: JUMPI
0000046a: PUSH1 0x00
0000046c: DUP1
0000046d: REVERT
0000046e: JUMPDEST
0000046f: POP
00000470: PUSH1 0x00
00000472: SLOAD
00000473: PUSH1 0x01
00000475: PUSH1 0x01
00000477: PUSH1 0xa0
00000479: SHL
0000047a: SUB
0000047b: AND
0000047c: PUSH2 0x0298
0000047f: JUMP
00000480: JUMPDEST
00000481: CALLVALUE
00000482: DUP1
00000483: ISZERO
00000484: PUSH2 0x048c
00000487: JUMPI
00000488: PUSH1 0x00
0000048a: DUP1
0000048b: REVERT
0000048c: JUMPDEST
0000048d: POP
0000048e: PUSH2 0x0261
00000491: PUSH2 0x049b
00000494: CALLDATASIZE
00000495: PUSH1 0x04
00000497: PUSH2 0x2da9
0000049a: JUMP
0000049b: JUMPDEST
0000049c: PUSH2 0x11f8
0000049f: JUMP
000004a0: JUMPDEST
000004a1: CALLVALUE
000004a2: DUP1
000004a3: ISZERO
000004a4: PUSH2 0x04ac
000004a7: JUMPI
000004a8: PUSH1 0x00
000004aa: DUP1
000004ab: REVERT
000004ac: JUMPDEST
000004ad: POP
000004ae: PUSH1 0x03
000004b0: SLOAD
000004b1: PUSH2 0x0298
000004b4: SWAP1
000004b5: PUSH1 0x01
000004b7: PUSH1 0x01
000004b9: PUSH1 0xa0
000004bb: SHL
000004bc: SUB
000004bd: AND
000004be: DUP2
000004bf: JUMP
000004c0: JUMPDEST
000004c1: CALLVALUE
000004c2: DUP1
000004c3: ISZERO
000004c4: PUSH2 0x04cc
000004c7: JUMPI
000004c8: PUSH1 0x00
000004ca: DUP1
000004cb: REVERT
000004cc: JUMPDEST
000004cd: POP
000004ce: PUSH1 0x02
000004d0: SLOAD
000004d1: PUSH2 0x0298
000004d4: SWAP1
000004d5: PUSH1 0x01
000004d7: PUSH1 0x01
000004d9: PUSH1 0xa0
000004db: SHL
000004dc: SUB
000004dd: AND
000004de: DUP2
000004df: JUMP
000004e0: JUMPDEST
000004e1: CALLVALUE
000004e2: DUP1
000004e3: ISZERO
000004e4: PUSH2 0x04ec
000004e7: JUMPI
000004e8: PUSH1 0x00
000004ea: DUP1
000004eb: REVERT
000004ec: JUMPDEST
000004ed: POP
000004ee: PUSH2 0x0298
000004f1: PUSH20 0x68b3465833fb72a70ecdf485e0e4c7bd8665fc45
00000506: DUP2
00000507: JUMP
00000508: JUMPDEST
00000509: CALLVALUE
0000050a: DUP1
0000050b: ISZERO
0000050c: PUSH2 0x0514
0000050f: JUMPI
00000510: PUSH1 0x00
00000512: DUP1
00000513: REVERT
00000514: JUMPDEST
00000515: POP
00000516: PUSH1 0x09
00000518: SLOAD
00000519: PUSH2 0x0298
0000051c: SWAP1
0000051d: PUSH1 0x01
0000051f: PUSH1 0x01
00000521: PUSH1 0xa0
00000523: SHL
00000524: SUB
00000525: AND
00000526: DUP2
00000527: JUMP
00000528: JUMPDEST
00000529: CALLVALUE
0000052a: DUP1
0000052b: ISZERO
0000052c: PUSH2 0x0534
0000052f: JUMPI
00000530: PUSH1 0x00
00000532: DUP1
00000533: REVERT
00000534: JUMPDEST
00000535: POP
00000536: PUSH2 0x0298
00000539: PUSH20 0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
0000054e: DUP2
0000054f: JUMP
00000550: JUMPDEST
00000551: CALLVALUE
00000552: DUP1
00000553: ISZERO
00000554: PUSH2 0x055c
00000557: JUMPI
00000558: PUSH1 0x00
0000055a: DUP1
0000055b: REVERT
0000055c: JUMPDEST
0000055d: POP
0000055e: PUSH2 0x0298
00000561: PUSH2 0x056b
00000564: CALLDATASIZE
00000565: PUSH1 0x04
00000567: PUSH2 0x2c5e
0000056a: JUMP
0000056b: JUMPDEST
0000056c: PUSH1 0x07
0000056e: PUSH1 0x20
00000570: MSTORE
00000571: PUSH1 0x00
00000573: SWAP1
00000574: DUP2
00000575: MSTORE
00000576: PUSH1 0x40
00000578: SWAP1
00000579: KECCAK256
0000057a: SLOAD
0000057b: PUSH1 0x01
0000057d: PUSH1 0x01
0000057f: PUSH1 0xa0
00000581: SHL
00000582: SUB
00000583: AND
00000584: DUP2
00000585: JUMP
00000586: JUMPDEST
00000587: CALLVALUE
00000588: DUP1
00000589: ISZERO
0000058a: PUSH2 0x0592
0000058d: JUMPI
0000058e: PUSH1 0x00
00000590: DUP1
00000591: REVERT
00000592: JUMPDEST
00000593: POP
00000594: PUSH2 0x0261
00000597: PUSH2 0x05a1
0000059a: CALLDATASIZE
0000059b: PUSH1 0x04
0000059d: PUSH2 0x2c5e
000005a0: JUMP
000005a1: JUMPDEST
000005a2: PUSH2 0x17ff
000005a5: JUMP
000005a6: JUMPDEST
000005a7: CALLVALUE
000005a8: DUP1
000005a9: ISZERO
000005aa: PUSH2 0x05b2
000005ad: JUMPI
000005ae: PUSH1 0x00
000005b0: DUP1
000005b1: REVERT
000005b2: JUMPDEST
000005b3: POP
000005b4: PUSH2 0x022e
000005b7: PUSH2 0x2710
000005ba: DUP2
000005bb: JUMP
000005bc: JUMPDEST
000005bd: CALLVALUE
000005be: DUP1
000005bf: ISZERO
000005c0: PUSH2 0x05c8
000005c3: JUMPI
000005c4: PUSH1 0x00
000005c6: DUP1
000005c7: REVERT
000005c8: JUMPDEST
000005c9: POP
000005ca: PUSH2 0x0261
000005cd: PUSH2 0x05d7
000005d0: CALLDATASIZE
000005d1: PUSH1 0x04
000005d3: PUSH2 0x2c5e
000005d6: JUMP
000005d7: JUMPDEST
000005d8: PUSH2 0x1915
000005db: JUMP
000005dc: JUMPDEST
000005dd: CALLVALUE
000005de: DUP1
000005df: ISZERO
000005e0: PUSH2 0x05e8
000005e3: JUMPI
000005e4: PUSH1 0x00
000005e6: DUP1
000005e7: REVERT
000005e8: JUMPDEST
000005e9: POP
000005ea: PUSH2 0x0298
000005ed: PUSH2 0x05f7
000005f0: CALLDATASIZE
000005f1: PUSH1 0x04
000005f3: PUSH2 0x2d07
000005f6: JUMP
000005f7: JUMPDEST
000005f8: PUSH2 0x1a2b
000005fb: JUMP
000005fc: JUMPDEST
000005fd: CALLVALUE
000005fe: DUP1
000005ff: ISZERO
00000600: PUSH2 0x0608
00000603: JUMPI
00000604: PUSH1 0x00
00000606: DUP1
00000607: REVERT
00000608: JUMPDEST
00000609: POP
0000060a: PUSH2 0x0298
0000060d: PUSH20 0x7f39c581f595b53c5cb19bd0b3f8da6c935e2ca0
00000622: DUP2
00000623: JUMP
00000624: JUMPDEST
00000625: CALLVALUE
00000626: DUP1
00000627: ISZERO
00000628: PUSH2 0x0630
0000062b: JUMPI
0000062c: PUSH1 0x00
0000062e: DUP1
0000062f: REVERT
00000630: JUMPDEST
00000631: POP
00000632: PUSH2 0x0298
00000635: PUSH20 0xae7ab96520de3a18e5e111b5eaab095312d7fe84
0000064a: DUP2
0000064b: JUMP
0000064c: JUMPDEST
0000064d: CALLVALUE
0000064e: DUP1
0000064f: ISZERO
00000650: PUSH2 0x0658
00000653: JUMPI
00000654: PUSH1 0x00
00000656: DUP1
00000657: REVERT
00000658: JUMPDEST
00000659: POP
0000065a: PUSH2 0x0261
0000065d: PUSH2 0x0667
00000660: CALLDATASIZE
00000661: PUSH1 0x04
00000663: PUSH2 0x2c5e
00000666: JUMP
00000667: JUMPDEST
00000668: PUSH2 0x1a55
0000066b: JUMP
0000066c: JUMPDEST
0000066d: PUSH1 0x05
0000066f: SLOAD
00000670: PUSH1 0x00
00000672: SWAP1
00000673: DUP2
00000674: PUSH1 0x01
00000676: PUSH1 0x01
00000678: PUSH1 0xa0
0000067a: SHL
0000067b: SUB
0000067c: DUP5
0000067d: AND
0000067e: ISZERO
0000067f: PUSH2 0x0709
00000682: JUMPI
00000683: PUSH1 0x40
00000685: MLOAD
00000686: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
000006a7: DUP2
000006a8: MSTORE
000006a9: ADDRESS
000006aa: PUSH1 0x04
000006ac: DUP3
000006ad: ADD
000006ae: MSTORE
000006af: PUSH1 0x01
000006b1: PUSH1 0x01
000006b3: PUSH1 0xa0
000006b5: SHL
000006b6: SUB
000006b7: DUP6
000006b8: AND
000006b9: SWAP1
000006ba: PUSH4 0x70a08231
000006bf: SWAP1
000006c0: PUSH1 0x24
000006c2: ADD
000006c3: JUMPDEST
000006c4: PUSH1 0x20
000006c6: PUSH1 0x40
000006c8: MLOAD
000006c9: DUP1
000006ca: DUP4
000006cb: SUB
000006cc: DUP2
000006cd: DUP7
000006ce: GAS
000006cf: STATICCALL
000006d0: ISZERO
000006d1: DUP1
000006d2: ISZERO
000006d3: PUSH2 0x06e0
000006d6: JUMPI
000006d7: RETURNDATASIZE
000006d8: PUSH1 0x00
000006da: DUP1
000006db: RETURNDATACOPY
000006dc: RETURNDATASIZE
000006dd: PUSH1 0x00
000006df: REVERT
000006e0: JUMPDEST
000006e1: POP
000006e2: POP
000006e3: POP
000006e4: POP
000006e5: PUSH1 0x40
000006e7: MLOAD
000006e8: RETURNDATASIZE
000006e9: PUSH1 0x1f
000006eb: NOT
000006ec: PUSH1 0x1f
000006ee: DUP3
000006ef: ADD
000006f0: AND
000006f1: DUP3
000006f2: ADD
000006f3: DUP1
000006f4: PUSH1 0x40
000006f6: MSTORE
000006f7: POP
000006f8: DUP2
000006f9: ADD
000006fa: SWAP1
000006fb: PUSH2 0x0704
000006fe: SWAP2
000006ff: SWAP1
00000700: PUSH2 0x2e3a
00000703: JUMP
00000704: JUMPDEST
00000705: PUSH2 0x070b
00000708: JUMP
00000709: JUMPDEST
0000070a: SELFBALANCE
0000070b: JUMPDEST
0000070c: SWAP1
0000070d: POP
0000070e: PUSH2 0x2710
00000711: PUSH2 0x071a
00000714: DUP4
00000715: DUP4
00000716: PUSH2 0x2e82
00000719: JUMP
0000071a: JUMPDEST
0000071b: PUSH2 0x0724
0000071e: SWAP2
0000071f: SWAP1
00000720: PUSH2 0x2ebf
00000723: JUMP
00000724: JUMPDEST
00000725: SWAP5
00000726: SWAP4
00000727: POP
00000728: POP
00000729: POP
0000072a: POP
0000072b: JUMP
0000072c: JUMPDEST
0000072d: PUSH1 0x00
0000072f: SLOAD
00000730: PUSH1 0x01
00000732: PUSH1 0x01
00000734: PUSH1 0xa0
00000736: SHL
00000737: SUB
00000738: AND
00000739: CALLER
0000073a: EQ
0000073b: PUSH2 0x078b
0000073e: JUMPI
0000073f: PUSH1 0x40
00000741: MLOAD
00000742: PUSH3 0x461bcd
00000746: PUSH1 0xe5
00000748: SHL
00000749: DUP2
0000074a: MSTORE
0000074b: PUSH1 0x20
0000074d: PUSH1 0x04
0000074f: DUP3
00000750: ADD
00000751: DUP2
00000752: SWAP1
00000753: MSTORE
00000754: PUSH1 0x24
00000756: DUP3
00000757: ADD
00000758: MSTORE
00000759: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
0000077a: PUSH1 0x44
0000077c: DUP3
0000077d: ADD
0000077e: MSTORE
0000077f: PUSH1 0x64
00000781: ADD
00000782: JUMPDEST
00000783: PUSH1 0x40
00000785: MLOAD
00000786: DUP1
00000787: SWAP2
00000788: SUB
00000789: SWAP1
0000078a: REVERT
0000078b: JUMPDEST
0000078c: PUSH1 0x01
0000078e: PUSH1 0x01
00000790: PUSH1 0xa0
00000792: SHL
00000793: SUB
00000794: DUP2
00000795: AND
00000796: PUSH2 0x07e1
00000799: JUMPI
0000079a: PUSH1 0x40
0000079c: MLOAD
0000079d: PUSH3 0x461bcd
000007a1: PUSH1 0xe5
000007a3: SHL
000007a4: DUP2
000007a5: MSTORE
000007a6: PUSH1 0x20
000007a8: PUSH1 0x04
000007aa: DUP3
000007ab: ADD
000007ac: MSTORE
000007ad: PUSH1 0x1a
000007af: PUSH1 0x24
000007b1: DUP3
000007b2: ADD
000007b3: MSTORE
000007b4: PUSH32 0x215f70726f746f636f6c526576656e7565526563697069656e74000000000000
000007d5: PUSH1 0x44
000007d7: DUP3
000007d8: ADD
000007d9: MSTORE
000007da: PUSH1 0x64
000007dc: ADD
000007dd: PUSH2 0x0782
000007e0: JUMP
000007e1: JUMPDEST
000007e2: PUSH1 0x03
000007e4: DUP1
000007e5: SLOAD
000007e6: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00000807: AND
00000808: PUSH1 0x01
0000080a: PUSH1 0x01
0000080c: PUSH1 0xa0
0000080e: SHL
0000080f: SUB
00000810: DUP4
00000811: AND
00000812: SWAP1
00000813: DUP2
00000814: OR
00000815: SWAP1
00000816: SWAP2
00000817: SSTORE
00000818: PUSH1 0x40
0000081a: MLOAD
0000081b: SWAP1
0000081c: DUP2
0000081d: MSTORE
0000081e: PUSH32 0x3d47dbcdacad44d207d56d2a7970b180937a639777c330d01e64edd6174f83e8
0000083f: SWAP1
00000840: PUSH1 0x20
00000842: ADD
00000843: JUMPDEST
00000844: PUSH1 0x40
00000846: MLOAD
00000847: DUP1
00000848: SWAP2
00000849: SUB
0000084a: SWAP1
0000084b: LOG1
0000084c: POP
0000084d: JUMP
0000084e: JUMPDEST
0000084f: PUSH1 0x05
00000851: SLOAD
00000852: PUSH1 0x00
00000854: SWAP1
00000855: PUSH2 0x085d
00000858: DUP2
00000859: PUSH2 0x1b34
0000085c: JUMP
0000085d: JUMPDEST
0000085e: SWAP2
0000085f: POP
00000860: POP
00000861: SWAP1
00000862: JUMP
00000863: JUMPDEST
00000864: PUSH1 0x09
00000866: SLOAD
00000867: PUSH1 0x00
00000869: SWAP1
0000086a: PUSH1 0x01
0000086c: PUSH1 0x01
0000086e: PUSH1 0xa0
00000870: SHL
00000871: SUB
00000872: AND
00000873: CALLER
00000874: EQ
00000875: PUSH2 0x08c0
00000878: JUMPI
00000879: PUSH1 0x40
0000087b: MLOAD
0000087c: PUSH3 0x461bcd
00000880: PUSH1 0xe5
00000882: SHL
00000883: DUP2
00000884: MSTORE
00000885: PUSH1 0x20
00000887: PUSH1 0x04
00000889: DUP3
0000088a: ADD
0000088b: MSTORE
0000088c: PUSH1 0x07
0000088e: PUSH1 0x24
00000890: DUP3
00000891: ADD
00000892: MSTORE
00000893: PUSH32 0x216b656570657200000000000000000000000000000000000000000000000000
000008b4: PUSH1 0x44
000008b6: DUP3
000008b7: ADD
000008b8: MSTORE
000008b9: PUSH1 0x64
000008bb: ADD
000008bc: PUSH2 0x0782
000008bf: JUMP
000008c0: JUMPDEST
000008c1: PUSH1 0x02
000008c3: SLOAD
000008c4: PUSH1 0x01
000008c6: PUSH1 0x01
000008c8: PUSH1 0xa0
000008ca: SHL
000008cb: SUB
000008cc: AND
000008cd: PUSH20 0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
000008e2: EQ
000008e3: ISZERO
000008e4: PUSH2 0x0951
000008e7: JUMPI
000008e8: PUSH1 0x02
000008ea: PUSH1 0x00
000008ec: SWAP1
000008ed: SLOAD
000008ee: SWAP1
000008ef: PUSH2 0x0100
000008f2: EXP
000008f3: SWAP1
000008f4: DIV
000008f5: PUSH1 0x01
000008f7: PUSH1 0x01
000008f9: PUSH1 0xa0
000008fb: SHL
000008fc: SUB
000008fd: AND
000008fe: PUSH1 0x01
00000900: PUSH1 0x01
00000902: PUSH1 0xa0
00000904: SHL
00000905: SUB
00000906: AND
00000907: PUSH4 0xd0e30db0
0000090c: SELFBALANCE
0000090d: PUSH1 0x40
0000090f: MLOAD
00000910: DUP3
00000911: PUSH4 0xffffffff
00000916: AND
00000917: PUSH1 0xe0
00000919: SHL
0000091a: DUP2
0000091b: MSTORE
0000091c: PUSH1 0x04
0000091e: ADD
0000091f: PUSH1 0x00
00000921: PUSH1 0x40
00000923: MLOAD
00000924: DUP1
00000925: DUP4
00000926: SUB
00000927: DUP2
00000928: DUP6
00000929: DUP9
0000092a: DUP1
0000092b: EXTCODESIZE
0000092c: ISZERO
0000092d: DUP1
0000092e: ISZERO
0000092f: PUSH2 0x0937
00000932: JUMPI
00000933: PUSH1 0x00
00000935: DUP1
00000936: REVERT
00000937: JUMPDEST
00000938: POP
00000939: GAS
0000093a: CALL
0000093b: ISZERO
0000093c: DUP1
0000093d: ISZERO
0000093e: PUSH2 0x094b
00000941: JUMPI
00000942: RETURNDATASIZE
00000943: PUSH1 0x00
00000945: DUP1
00000946: RETURNDATACOPY
00000947: RETURNDATASIZE
00000948: PUSH1 0x00
0000094a: REVERT
0000094b: JUMPDEST
0000094c: POP
0000094d: POP
0000094e: POP
0000094f: POP
00000950: POP
00000951: JUMPDEST
00000952: PUSH1 0x08
00000954: SLOAD
00000955: PUSH1 0x00
00000957: JUMPDEST
00000958: DUP2
00000959: DUP2
0000095a: LT
0000095b: ISZERO
0000095c: PUSH2 0x0ab6
0000095f: JUMPI
00000960: PUSH1 0x00
00000962: PUSH1 0x08
00000964: DUP3
00000965: DUP2
00000966: SLOAD
00000967: DUP2
00000968: LT
00000969: PUSH2 0x0974
0000096c: JUMPI
0000096d: PUSH2 0x0974
00000970: PUSH2 0x2efa
00000973: JUMP
00000974: JUMPDEST
00000975: PUSH1 0x00
00000977: SWAP2
00000978: DUP3
00000979: MSTORE
0000097a: PUSH1 0x20
0000097c: DUP3
0000097d: KECCAK256
0000097e: ADD
0000097f: SLOAD
00000980: PUSH1 0x40
00000982: MLOAD
00000983: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
000009a4: DUP2
000009a5: MSTORE
000009a6: ADDRESS
000009a7: PUSH1 0x04
000009a9: DUP3
000009aa: ADD
000009ab: MSTORE
000009ac: PUSH1 0x01
000009ae: PUSH1 0x01
000009b0: PUSH1 0xa0
000009b2: SHL
000009b3: SUB
000009b4: SWAP1
000009b5: SWAP2
000009b6: AND
000009b7: SWAP3
000009b8: POP
000009b9: DUP3
000009ba: SWAP1
000009bb: PUSH4 0x70a08231
000009c0: SWAP1
000009c1: PUSH1 0x24
000009c3: ADD
000009c4: PUSH1 0x20
000009c6: PUSH1 0x40
000009c8: MLOAD
000009c9: DUP1
000009ca: DUP4
000009cb: SUB
000009cc: DUP2
000009cd: DUP7
000009ce: GAS
000009cf: STATICCALL
000009d0: ISZERO
000009d1: DUP1
000009d2: ISZERO
000009d3: PUSH2 0x09e0
000009d6: JUMPI
000009d7: RETURNDATASIZE
000009d8: PUSH1 0x00
000009da: DUP1
000009db: RETURNDATACOPY
000009dc: RETURNDATASIZE
000009dd: PUSH1 0x00
000009df: REVERT
000009e0: JUMPDEST
000009e1: POP
000009e2: POP
000009e3: POP
000009e4: POP
000009e5: PUSH1 0x40
000009e7: MLOAD
000009e8: RETURNDATASIZE
000009e9: PUSH1 0x1f
000009eb: NOT
000009ec: PUSH1 0x1f
000009ee: DUP3
000009ef: ADD
000009f0: AND
000009f1: DUP3
000009f2: ADD
000009f3: DUP1
000009f4: PUSH1 0x40
000009f6: MSTORE
000009f7: POP
000009f8: DUP2
000009f9: ADD
000009fa: SWAP1
000009fb: PUSH2 0x0a04
000009fe: SWAP2
000009ff: SWAP1
00000a00: PUSH2 0x2e3a
00000a03: JUMP
00000a04: JUMPDEST
00000a05: SWAP1
00000a06: POP
00000a07: DUP1
00000a08: PUSH2 0x0a12
00000a0b: JUMPI
00000a0c: POP
00000a0d: POP
00000a0e: PUSH2 0x0aa4
00000a11: JUMP
00000a12: JUMPDEST
00000a13: PUSH1 0x00
00000a15: PUSH2 0x2710
00000a18: PUSH1 0x05
00000a1a: SLOAD
00000a1b: PUSH2 0x2710
00000a1e: PUSH2 0x0a27
00000a21: SWAP2
00000a22: SWAP1
00000a23: PUSH2 0x2f29
00000a26: JUMP
00000a27: JUMPDEST
00000a28: PUSH2 0x0a31
00000a2b: SWAP1
00000a2c: DUP5
00000a2d: PUSH2 0x2e82
00000a30: JUMP
00000a31: JUMPDEST
00000a32: PUSH2 0x0a3b
00000a35: SWAP2
00000a36: SWAP1
00000a37: PUSH2 0x2ebf
00000a3a: JUMP
00000a3b: JUMPDEST
00000a3c: PUSH1 0x02
00000a3e: SLOAD
00000a3f: SWAP1
00000a40: SWAP2
00000a41: POP
00000a42: PUSH1 0x01
00000a44: PUSH1 0x01
00000a46: PUSH1 0xa0
00000a48: SHL
00000a49: SUB
00000a4a: DUP5
00000a4b: DUP2
00000a4c: AND
00000a4d: SWAP2
00000a4e: AND
00000a4f: EQ
00000a50: PUSH2 0x0a86
00000a53: JUMPI
00000a54: PUSH1 0x00
00000a56: PUSH2 0x0a5f
00000a59: DUP3
00000a5a: DUP5
00000a5b: PUSH2 0x2f29
00000a5e: JUMP
00000a5f: JUMPDEST
00000a60: SWAP1
00000a61: POP
00000a62: PUSH2 0x0a84
00000a65: DUP5
00000a66: DUP3
00000a67: DUP12
00000a68: DUP12
00000a69: DUP10
00000a6a: DUP2
00000a6b: DUP2
00000a6c: LT
00000a6d: PUSH2 0x0a78
00000a70: JUMPI
00000a71: PUSH2 0x0a78
00000a74: PUSH2 0x2efa
00000a77: JUMP
00000a78: JUMPDEST
00000a79: SWAP1
00000a7a: POP
00000a7b: PUSH1 0x20
00000a7d: MUL
00000a7e: ADD
00000a7f: CALLDATALOAD
00000a80: PUSH2 0x1fbe
00000a83: JUMP
00000a84: JUMPDEST
00000a85: POP
00000a86: JUMPDEST
00000a87: PUSH1 0x03
00000a89: SLOAD
00000a8a: PUSH2 0x0aa0
00000a8d: SWAP1
00000a8e: PUSH1 0x01
00000a90: PUSH1 0x01
00000a92: PUSH1 0xa0
00000a94: SHL
00000a95: SUB
00000a96: DUP6
00000a97: DUP2
00000a98: AND
00000a99: SWAP2
00000a9a: AND
00000a9b: DUP4
00000a9c: PUSH2 0x241e
00000a9f: JUMP
00000aa0: JUMPDEST
00000aa1: POP
00000aa2: POP
00000aa3: POP
00000aa4: JUMPDEST
00000aa5: DUP1
00000aa6: PUSH2 0x0aae
00000aa9: DUP2
00000aaa: PUSH2 0x2f40
00000aad: JUMP
00000aae: JUMPDEST
00000aaf: SWAP2
00000ab0: POP
00000ab1: POP
00000ab2: PUSH2 0x0957
00000ab5: JUMP
00000ab6: JUMPDEST
00000ab7: POP
00000ab8: PUSH1 0x02
00000aba: SLOAD
00000abb: PUSH1 0x40
00000abd: MLOAD
00000abe: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
00000adf: DUP2
00000ae0: MSTORE
00000ae1: ADDRESS
00000ae2: PUSH1 0x04
00000ae4: DUP3
00000ae5: ADD
00000ae6: MSTORE
00000ae7: PUSH1 0x01
00000ae9: PUSH1 0x01
00000aeb: PUSH1 0xa0
00000aed: SHL
00000aee: SUB
00000aef: SWAP1
00000af0: SWAP2
00000af1: AND
00000af2: SWAP1
00000af3: PUSH4 0x70a08231
00000af8: SWAP1
00000af9: PUSH1 0x24
00000afb: ADD
00000afc: PUSH1 0x20
00000afe: PUSH1 0x40
00000b00: MLOAD
00000b01: DUP1
00000b02: DUP4
00000b03: SUB
00000b04: DUP2
00000b05: DUP7
00000b06: GAS
00000b07: STATICCALL
00000b08: ISZERO
00000b09: DUP1
00000b0a: ISZERO
00000b0b: PUSH2 0x0b18
00000b0e: JUMPI
00000b0f: RETURNDATASIZE
00000b10: PUSH1 0x00
00000b12: DUP1
00000b13: RETURNDATACOPY
00000b14: RETURNDATASIZE
00000b15: PUSH1 0x00
00000b17: REVERT
00000b18: JUMPDEST
00000b19: POP
00000b1a: POP
00000b1b: POP
00000b1c: POP
00000b1d: PUSH1 0x40
00000b1f: MLOAD
00000b20: RETURNDATASIZE
00000b21: PUSH1 0x1f
00000b23: NOT
00000b24: PUSH1 0x1f
00000b26: DUP3
00000b27: ADD
00000b28: AND
00000b29: DUP3
00000b2a: ADD
00000b2b: DUP1
00000b2c: PUSH1 0x40
00000b2e: MSTORE
00000b2f: POP
00000b30: DUP2
00000b31: ADD
00000b32: SWAP1
00000b33: PUSH2 0x0b3c
00000b36: SWAP2
00000b37: SWAP1
00000b38: PUSH2 0x2e3a
00000b3b: JUMP
00000b3c: JUMPDEST
00000b3d: PUSH1 0x04
00000b3f: SLOAD
00000b40: PUSH1 0x02
00000b42: SLOAD
00000b43: SWAP2
00000b44: SWAP4
00000b45: POP
00000b46: PUSH2 0x0b5c
00000b49: SWAP2
00000b4a: PUSH1 0x01
00000b4c: PUSH1 0x01
00000b4e: PUSH1 0xa0
00000b50: SHL
00000b51: SUB
00000b52: SWAP1
00000b53: DUP2
00000b54: AND
00000b55: SWAP2
00000b56: AND
00000b57: DUP5
00000b58: PUSH2 0x24ea
00000b5b: JUMP
00000b5c: JUMPDEST
00000b5d: PUSH1 0x04
00000b5f: DUP1
00000b60: SLOAD
00000b61: PUSH1 0x02
00000b63: SLOAD
00000b64: PUSH1 0x40
00000b66: MLOAD
00000b67: PUSH32 0x9dc29fac00000000000000000000000000000000000000000000000000000000
00000b88: DUP2
00000b89: MSTORE
00000b8a: PUSH1 0x01
00000b8c: PUSH1 0x01
00000b8e: PUSH1 0xa0
00000b90: SHL
00000b91: SUB
00000b92: SWAP2
00000b93: DUP3
00000b94: AND
00000b95: SWAP4
00000b96: DUP2
00000b97: ADD
00000b98: SWAP4
00000b99: SWAP1
00000b9a: SWAP4
00000b9b: MSTORE
00000b9c: PUSH1 0x24
00000b9e: DUP4
00000b9f: ADD
00000ba0: DUP6
00000ba1: SWAP1
00000ba2: MSTORE
00000ba3: AND
00000ba4: SWAP1
00000ba5: PUSH4 0x9dc29fac
00000baa: SWAP1
00000bab: PUSH1 0x44
00000bad: ADD
00000bae: PUSH1 0x20
00000bb0: PUSH1 0x40
00000bb2: MLOAD
00000bb3: DUP1
00000bb4: DUP4
00000bb5: SUB
00000bb6: DUP2
00000bb7: PUSH1 0x00
00000bb9: DUP8
00000bba: GAS
00000bbb: CALL
00000bbc: ISZERO
00000bbd: DUP1
00000bbe: ISZERO
00000bbf: PUSH2 0x0bcc
00000bc2: JUMPI
00000bc3: RETURNDATASIZE
00000bc4: PUSH1 0x00
00000bc6: DUP1
00000bc7: RETURNDATACOPY
00000bc8: RETURNDATASIZE
00000bc9: PUSH1 0x00
00000bcb: REVERT
00000bcc: JUMPDEST
00000bcd: POP
00000bce: POP
00000bcf: POP
00000bd0: POP
00000bd1: PUSH1 0x40
00000bd3: MLOAD
00000bd4: RETURNDATASIZE
00000bd5: PUSH1 0x1f
00000bd7: NOT
00000bd8: PUSH1 0x1f
00000bda: DUP3
00000bdb: ADD
00000bdc: AND
00000bdd: DUP3
00000bde: ADD
00000bdf: DUP1
00000be0: PUSH1 0x40
00000be2: MSTORE
00000be3: POP
00000be4: DUP2
00000be5: ADD
00000be6: SWAP1
00000be7: PUSH2 0x0bf0
00000bea: SWAP2
00000beb: SWAP1
00000bec: PUSH2 0x2f79
00000bef: JUMP
00000bf0: JUMPDEST
00000bf1: POP
00000bf2: POP
00000bf3: SWAP3
00000bf4: SWAP2
00000bf5: POP
00000bf6: POP
00000bf7: JUMP
00000bf8: JUMPDEST
00000bf9: PUSH1 0x00
00000bfb: DUP1
00000bfc: PUSH1 0x05
00000bfe: SLOAD
00000bff: PUSH2 0x2710
00000c02: PUSH2 0x0c0b
00000c05: SWAP2
00000c06: SWAP1
00000c07: PUSH2 0x2f29
00000c0a: JUMP
00000c0b: JUMPDEST
00000c0c: SWAP1
00000c0d: POP
00000c0e: PUSH1 0x00
00000c10: PUSH1 0x01
00000c12: PUSH1 0x01
00000c14: PUSH1 0xa0
00000c16: SHL
00000c17: SUB
00000c18: DUP5
00000c19: AND
00000c1a: ISZERO
00000c1b: PUSH2 0x0709
00000c1e: JUMPI
00000c1f: PUSH1 0x40
00000c21: MLOAD
00000c22: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
00000c43: DUP2
00000c44: MSTORE
00000c45: ADDRESS
00000c46: PUSH1 0x04
00000c48: DUP3
00000c49: ADD
00000c4a: MSTORE
00000c4b: PUSH1 0x01
00000c4d: PUSH1 0x01
00000c4f: PUSH1 0xa0
00000c51: SHL
00000c52: SUB
00000c53: DUP6
00000c54: AND
00000c55: SWAP1
00000c56: PUSH4 0x70a08231
00000c5b: SWAP1
00000c5c: PUSH1 0x24
00000c5e: ADD
00000c5f: PUSH2 0x06c3
00000c62: JUMP
00000c63: JUMPDEST
00000c64: PUSH1 0x00
00000c66: SLOAD
00000c67: PUSH1 0x01
00000c69: PUSH1 0x01
00000c6b: PUSH1 0xa0
00000c6d: SHL
00000c6e: SUB
00000c6f: AND
00000c70: CALLER
00000c71: EQ
00000c72: PUSH2 0x0cbd
00000c75: JUMPI
00000c76: PUSH1 0x40
00000c78: MLOAD
00000c79: PUSH3 0x461bcd
00000c7d: PUSH1 0xe5
00000c7f: SHL
00000c80: DUP2
00000c81: MSTORE
00000c82: PUSH1 0x20
00000c84: PUSH1 0x04
00000c86: DUP3
00000c87: ADD
00000c88: DUP2
00000c89: SWAP1
00000c8a: MSTORE
00000c8b: PUSH1 0x24
00000c8d: DUP3
00000c8e: ADD
00000c8f: MSTORE
00000c90: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000cb1: PUSH1 0x44
00000cb3: DUP3
00000cb4: ADD
00000cb5: MSTORE
00000cb6: PUSH1 0x64
00000cb8: ADD
00000cb9: PUSH2 0x0782
00000cbc: JUMP
00000cbd: JUMPDEST
00000cbe: PUSH1 0x01
00000cc0: PUSH1 0x01
00000cc2: PUSH1 0xa0
00000cc4: SHL
00000cc5: SUB
00000cc6: DUP2
00000cc7: AND
00000cc8: PUSH2 0x0d13
00000ccb: JUMPI
00000ccc: PUSH1 0x40
00000cce: MLOAD
00000ccf: PUSH3 0x461bcd
00000cd3: PUSH1 0xe5
00000cd5: SHL
00000cd6: DUP2
00000cd7: MSTORE
00000cd8: PUSH1 0x20
00000cda: PUSH1 0x04
00000cdc: DUP3
00000cdd: ADD
00000cde: MSTORE
00000cdf: PUSH1 0x13
00000ce1: PUSH1 0x24
00000ce3: DUP3
00000ce4: ADD
00000ce5: MSTORE
00000ce6: PUSH32 0x215f646973747269627574696f6e546f6b656e00000000000000000000000000
00000d07: PUSH1 0x44
00000d09: DUP3
00000d0a: ADD
00000d0b: MSTORE
00000d0c: PUSH1 0x64
00000d0e: ADD
00000d0f: PUSH2 0x0782
00000d12: JUMP
00000d13: JUMPDEST
00000d14: PUSH1 0x02
00000d16: DUP1
00000d17: SLOAD
00000d18: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00000d39: AND
00000d3a: PUSH1 0x01
00000d3c: PUSH1 0x01
00000d3e: PUSH1 0xa0
00000d40: SHL
00000d41: SUB
00000d42: DUP4
00000d43: AND
00000d44: SWAP1
00000d45: DUP2
00000d46: OR
00000d47: SWAP1
00000d48: SWAP2
00000d49: SSTORE
00000d4a: PUSH1 0x40
00000d4c: MLOAD
00000d4d: SWAP1
00000d4e: DUP2
00000d4f: MSTORE
00000d50: PUSH32 0xde880ddf56000cd5b733e9681b7126b537a4c166a168e0976e1f5f9ebb788fe2
00000d71: SWAP1
00000d72: PUSH1 0x20
00000d74: ADD
00000d75: PUSH2 0x0843
00000d78: JUMP
00000d79: JUMPDEST
00000d7a: PUSH1 0x00
00000d7c: SLOAD
00000d7d: PUSH1 0x01
00000d7f: PUSH1 0x01
00000d81: PUSH1 0xa0
00000d83: SHL
00000d84: SUB
00000d85: AND
00000d86: CALLER
00000d87: EQ
00000d88: PUSH2 0x0dd3
00000d8b: JUMPI
00000d8c: PUSH1 0x40
00000d8e: MLOAD
00000d8f: PUSH3 0x461bcd
00000d93: PUSH1 0xe5
00000d95: SHL
00000d96: DUP2
00000d97: MSTORE
00000d98: PUSH1 0x20
00000d9a: PUSH1 0x04
00000d9c: DUP3
00000d9d: ADD
00000d9e: DUP2
00000d9f: SWAP1
00000da0: MSTORE
00000da1: PUSH1 0x24
00000da3: DUP3
00000da4: ADD
00000da5: MSTORE
00000da6: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000dc7: PUSH1 0x44
00000dc9: DUP3
00000dca: ADD
00000dcb: MSTORE
00000dcc: PUSH1 0x64
00000dce: ADD
00000dcf: PUSH2 0x0782
00000dd2: JUMP
00000dd3: JUMPDEST
00000dd4: PUSH2 0x2710
00000dd7: DUP2
00000dd8: GT
00000dd9: ISZERO
00000dda: PUSH2 0x0e25
00000ddd: JUMPI
00000dde: PUSH1 0x40
00000de0: MLOAD
00000de1: PUSH3 0x461bcd
00000de5: PUSH1 0xe5
00000de7: SHL
00000de8: DUP2
00000de9: MSTORE
00000dea: PUSH1 0x20
00000dec: PUSH1 0x04
00000dee: DUP3
00000def: ADD
00000df0: MSTORE
00000df1: PUSH1 0x1c
00000df3: PUSH1 0x24
00000df5: DUP3
00000df6: ADD
00000df7: MSTORE
00000df8: PUSH32 0x215f706374416c6c6f636174696f6e466f7252424e4c6f636b65727300000000
00000e19: PUSH1 0x44
00000e1b: DUP3
00000e1c: ADD
00000e1d: MSTORE
00000e1e: PUSH1 0x64
00000e20: ADD
00000e21: PUSH2 0x0782
00000e24: JUMP
00000e25: JUMPDEST
00000e26: PUSH1 0x05
00000e28: DUP2
00000e29: SWAP1
00000e2a: SSTORE
00000e2b: PUSH1 0x40
00000e2d: MLOAD
00000e2e: DUP2
00000e2f: DUP2
00000e30: MSTORE
00000e31: PUSH32 0xc548191a740509e5336a4278fa23e8990ca297e75806c54c1e454217d2570cf2
00000e52: SWAP1
00000e53: PUSH1 0x20
00000e55: ADD
00000e56: PUSH2 0x0843
00000e59: JUMP
00000e5a: JUMPDEST
00000e5b: PUSH1 0x00
00000e5d: SLOAD
00000e5e: PUSH1 0x01
00000e60: PUSH1 0x01
00000e62: PUSH1 0xa0
00000e64: SHL
00000e65: SUB
00000e66: AND
00000e67: CALLER
00000e68: EQ
00000e69: PUSH2 0x0eb4
00000e6c: JUMPI
00000e6d: PUSH1 0x40
00000e6f: MLOAD
00000e70: PUSH3 0x461bcd
00000e74: PUSH1 0xe5
00000e76: SHL
00000e77: DUP2
00000e78: MSTORE
00000e79: PUSH1 0x20
00000e7b: PUSH1 0x04
00000e7d: DUP3
00000e7e: ADD
00000e7f: DUP2
00000e80: SWAP1
00000e81: MSTORE
00000e82: PUSH1 0x24
00000e84: DUP3
00000e85: ADD
00000e86: MSTORE
00000e87: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000ea8: PUSH1 0x44
00000eaa: DUP3
00000eab: ADD
00000eac: MSTORE
00000ead: PUSH1 0x64
00000eaf: ADD
00000eb0: PUSH2 0x0782
00000eb3: JUMP
00000eb4: JUMPDEST
00000eb5: PUSH1 0x01
00000eb7: PUSH1 0x01
00000eb9: PUSH1 0xa0
00000ebb: SHL
00000ebc: SUB
00000ebd: DUP2
00000ebe: AND
00000ebf: PUSH2 0x0f0a
00000ec2: JUMPI
00000ec3: PUSH1 0x40
00000ec5: MLOAD
00000ec6: PUSH3 0x461bcd
00000eca: PUSH1 0xe5
00000ecc: SHL
00000ecd: DUP2
00000ece: MSTORE
00000ecf: PUSH1 0x20
00000ed1: PUSH1 0x04
00000ed3: DUP3
00000ed4: ADD
00000ed5: MSTORE
00000ed6: PUSH1 0x06
00000ed8: PUSH1 0x24
00000eda: DUP3
00000edb: ADD
00000edc: MSTORE
00000edd: PUSH32 0x2161737365740000000000000000000000000000000000000000000000000000
00000efe: PUSH1 0x44
00000f00: DUP3
00000f01: ADD
00000f02: MSTORE
00000f03: PUSH1 0x64
00000f05: ADD
00000f06: PUSH2 0x0782
00000f09: JUMP
00000f0a: JUMPDEST
00000f0b: PUSH2 0x0f13
00000f0e: DUP2
00000f0f: PUSH2 0x2638
00000f12: JUMP
00000f13: JUMPDEST
00000f14: POP
00000f15: JUMP
00000f16: JUMPDEST
00000f17: PUSH1 0x00
00000f19: DUP1
00000f1a: PUSH1 0x05
00000f1c: SLOAD
00000f1d: PUSH2 0x2710
00000f20: PUSH2 0x0f29
00000f23: SWAP2
00000f24: SWAP1
00000f25: PUSH2 0x2f29
00000f28: JUMP
00000f29: JUMPDEST
00000f2a: SWAP1
00000f2b: POP
00000f2c: PUSH2 0x085d
00000f2f: DUP2
00000f30: PUSH2 0x1b34
00000f33: JUMP
00000f34: JUMPDEST
00000f35: PUSH1 0x06
00000f37: PUSH1 0x20
00000f39: MSTORE
00000f3a: PUSH1 0x00
00000f3c: SWAP1
00000f3d: DUP2
00000f3e: MSTORE
00000f3f: PUSH1 0x40
00000f41: SWAP1
00000f42: KECCAK256
00000f43: DUP1
00000f44: SLOAD
00000f45: PUSH2 0x0f4d
00000f48: SWAP1
00000f49: PUSH2 0x2f9b
00000f4c: JUMP
00000f4d: JUMPDEST
00000f4e: DUP1
00000f4f: PUSH1 0x1f
00000f51: ADD
00000f52: PUSH1 0x20
00000f54: DUP1
00000f55: SWAP2
00000f56: DIV
00000f57: MUL
00000f58: PUSH1 0x20
00000f5a: ADD
00000f5b: PUSH1 0x40
00000f5d: MLOAD
00000f5e: SWAP1
00000f5f: DUP2
00000f60: ADD
00000f61: PUSH1 0x40
00000f63: MSTORE
00000f64: DUP1
00000f65: SWAP3
00000f66: SWAP2
00000f67: SWAP1
00000f68: DUP2
00000f69: DUP2
00000f6a: MSTORE
00000f6b: PUSH1 0x20
00000f6d: ADD
00000f6e: DUP3
00000f6f: DUP1
00000f70: SLOAD
00000f71: PUSH2 0x0f79
00000f74: SWAP1
00000f75: PUSH2 0x2f9b
00000f78: JUMP
00000f79: JUMPDEST
00000f7a: DUP1
00000f7b: ISZERO
00000f7c: PUSH2 0x0fc6
00000f7f: JUMPI
00000f80: DUP1
00000f81: PUSH1 0x1f
00000f83: LT
00000f84: PUSH2 0x0f9b
00000f87: JUMPI
00000f88: PUSH2 0x0100
00000f8b: DUP1
00000f8c: DUP4
00000f8d: SLOAD
00000f8e: DIV
00000f8f: MUL
00000f90: DUP4
00000f91: MSTORE
00000f92: SWAP2
00000f93: PUSH1 0x20
00000f95: ADD
00000f96: SWAP2
00000f97: PUSH2 0x0fc6
00000f9a: JUMP
00000f9b: JUMPDEST
00000f9c: DUP3
00000f9d: ADD
00000f9e: SWAP2
00000f9f: SWAP1
00000fa0: PUSH1 0x00
00000fa2: MSTORE
00000fa3: PUSH1 0x20
00000fa5: PUSH1 0x00
00000fa7: KECCAK256
00000fa8: SWAP1
00000fa9: JUMPDEST
00000faa: DUP2
00000fab: SLOAD
00000fac: DUP2
00000fad: MSTORE
00000fae: SWAP1
00000faf: PUSH1 0x01
00000fb1: ADD
00000fb2: SWAP1
00000fb3: PUSH1 0x20
00000fb5: ADD
00000fb6: DUP1
00000fb7: DUP4
00000fb8: GT
00000fb9: PUSH2 0x0fa9
00000fbc: JUMPI
00000fbd: DUP3
00000fbe: SWAP1
00000fbf: SUB
00000fc0: PUSH1 0x1f
00000fc2: AND
00000fc3: DUP3
00000fc4: ADD
00000fc5: SWAP2
00000fc6: JUMPDEST
00000fc7: POP
00000fc8: POP
00000fc9: POP
00000fca: POP
00000fcb: POP
00000fcc: DUP2
00000fcd: JUMP
00000fce: JUMPDEST
00000fcf: PUSH1 0x00
00000fd1: SLOAD
00000fd2: PUSH1 0x01
00000fd4: PUSH1 0x01
00000fd6: PUSH1 0xa0
00000fd8: SHL
00000fd9: SUB
00000fda: AND
00000fdb: CALLER
00000fdc: EQ
00000fdd: PUSH2 0x1028
00000fe0: JUMPI
00000fe1: PUSH1 0x40
00000fe3: MLOAD
00000fe4: PUSH3 0x461bcd
00000fe8: PUSH1 0xe5
00000fea: SHL
00000feb: DUP2
00000fec: MSTORE
00000fed: PUSH1 0x20
00000fef: PUSH1 0x04
00000ff1: DUP3
00000ff2: ADD
00000ff3: DUP2
00000ff4: SWAP1
00000ff5: MSTORE
00000ff6: PUSH1 0x24
00000ff8: DUP3
00000ff9: ADD
00000ffa: MSTORE
00000ffb: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
0000101c: PUSH1 0x44
0000101e: DUP3
0000101f: ADD
00001020: MSTORE
00001021: PUSH1 0x64
00001023: ADD
00001024: PUSH2 0x0782
00001027: JUMP
00001028: JUMPDEST
00001029: PUSH2 0x1032
0000102c: PUSH1 0x00
0000102e: PUSH2 0x2789
00001031: JUMP
00001032: JUMPDEST
00001033: JUMP
00001034: JUMPDEST
00001035: PUSH1 0x00
00001037: SLOAD
00001038: PUSH1 0x01
0000103a: PUSH1 0x01
0000103c: PUSH1 0xa0
0000103e: SHL
0000103f: SUB
00001040: AND
00001041: CALLER
00001042: EQ
00001043: PUSH2 0x108e
00001046: JUMPI
00001047: PUSH1 0x40
00001049: MLOAD
0000104a: PUSH3 0x461bcd
0000104e: PUSH1 0xe5
00001050: SHL
00001051: DUP2
00001052: MSTORE
00001053: PUSH1 0x20
00001055: PUSH1 0x04
00001057: DUP3
00001058: ADD
00001059: DUP2
0000105a: SWAP1
0000105b: MSTORE
0000105c: PUSH1 0x24
0000105e: DUP3
0000105f: ADD
00001060: MSTORE
00001061: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001082: PUSH1 0x44
00001084: DUP3
00001085: ADD
00001086: MSTORE
00001087: PUSH1 0x64
00001089: ADD
0000108a: PUSH2 0x0782
0000108d: JUMP
0000108e: JUMPDEST
0000108f: PUSH1 0x01
00001091: PUSH1 0x01
00001093: PUSH1 0xa0
00001095: SHL
00001096: SUB
00001097: DUP2
00001098: AND
00001099: PUSH2 0x10e4
0000109c: JUMPI
0000109d: PUSH1 0x40
0000109f: MLOAD
000010a0: PUSH3 0x461bcd
000010a4: PUSH1 0xe5
000010a6: SHL
000010a7: DUP2
000010a8: MSTORE
000010a9: PUSH1 0x20
000010ab: PUSH1 0x04
000010ad: DUP3
000010ae: ADD
000010af: MSTORE
000010b0: PUSH1 0x08
000010b2: PUSH1 0x24
000010b4: DUP3
000010b5: ADD
000010b6: MSTORE
000010b7: PUSH32 0x215f6b6565706572000000000000000000000000000000000000000000000000
000010d8: PUSH1 0x44
000010da: DUP3
000010db: ADD
000010dc: MSTORE
000010dd: PUSH1 0x64
000010df: ADD
000010e0: PUSH2 0x0782
000010e3: JUMP
000010e4: JUMPDEST
000010e5: PUSH1 0x09
000010e7: DUP1
000010e8: SLOAD
000010e9: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
0000110a: AND
0000110b: PUSH1 0x01
0000110d: PUSH1 0x01
0000110f: PUSH1 0xa0
00001111: SHL
00001112: SUB
00001113: DUP4
00001114: AND
00001115: SWAP1
00001116: DUP2
00001117: OR
00001118: SWAP1
00001119: SWAP2
0000111a: SSTORE
0000111b: PUSH1 0x40
0000111d: MLOAD
0000111e: SWAP1
0000111f: DUP2
00001120: MSTORE
00001121: PUSH32 0x8b67cf08b3b4a582cdf414f29895fde3e3f03a3bf26373a22a8b9bd89e757488
00001142: SWAP1
00001143: PUSH1 0x20
00001145: ADD
00001146: PUSH2 0x0843
00001149: JUMP
0000114a: JUMPDEST
0000114b: PUSH1 0x00
0000114d: SLOAD
0000114e: PUSH1 0x01
00001150: PUSH1 0x01
00001152: PUSH1 0xa0
00001154: SHL
00001155: SUB
00001156: AND
00001157: CALLER
00001158: EQ
00001159: PUSH2 0x11a4
0000115c: JUMPI
0000115d: PUSH1 0x40
0000115f: MLOAD
00001160: PUSH3 0x461bcd
00001164: PUSH1 0xe5
00001166: SHL
00001167: DUP2
00001168: MSTORE
00001169: PUSH1 0x20
0000116b: PUSH1 0x04
0000116d: DUP3
0000116e: ADD
0000116f: DUP2
00001170: SWAP1
00001171: MSTORE
00001172: PUSH1 0x24
00001174: DUP3
00001175: ADD
00001176: MSTORE
00001177: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001198: PUSH1 0x44
0000119a: DUP3
0000119b: ADD
0000119c: MSTORE
0000119d: PUSH1 0x64
0000119f: ADD
000011a0: PUSH2 0x0782
000011a3: JUMP
000011a4: JUMPDEST
000011a5: PUSH1 0x08
000011a7: SLOAD
000011a8: PUSH1 0x00
000011aa: JUMPDEST
000011ab: DUP2
000011ac: DUP2
000011ad: LT
000011ae: ISZERO
000011af: PUSH2 0x11f4
000011b2: JUMPI
000011b3: PUSH2 0x11e2
000011b6: PUSH1 0x08
000011b8: DUP3
000011b9: DUP2
000011ba: SLOAD
000011bb: DUP2
000011bc: LT
000011bd: PUSH2 0x11c8
000011c0: JUMPI
000011c1: PUSH2 0x11c8
000011c4: PUSH2 0x2efa
000011c7: JUMP
000011c8: JUMPDEST
000011c9: PUSH1 0x00
000011cb: SWAP2
000011cc: DUP3
000011cd: MSTORE
000011ce: PUSH1 0x20
000011d0: SWAP1
000011d1: SWAP2
000011d2: KECCAK256
000011d3: ADD
000011d4: SLOAD
000011d5: PUSH1 0x01
000011d7: PUSH1 0x01
000011d9: PUSH1 0xa0
000011db: SHL
000011dc: SUB
000011dd: AND
000011de: PUSH2 0x2638
000011e1: JUMP
000011e2: JUMPDEST
000011e3: DUP1
000011e4: PUSH2 0x11ec
000011e7: DUP2
000011e8: PUSH2 0x2f40
000011eb: JUMP
000011ec: JUMPDEST
000011ed: SWAP2
000011ee: POP
000011ef: POP
000011f0: PUSH2 0x11aa
000011f3: JUMP
000011f4: JUMPDEST
000011f5: POP
000011f6: POP
000011f7: JUMP
000011f8: JUMPDEST
000011f9: PUSH1 0x00
000011fb: SLOAD
000011fc: PUSH1 0x01
000011fe: PUSH1 0x01
00001200: PUSH1 0xa0
00001202: SHL
00001203: SUB
00001204: AND
00001205: CALLER
00001206: EQ
00001207: PUSH2 0x1252
0000120a: JUMPI
0000120b: PUSH1 0x40
0000120d: MLOAD
0000120e: PUSH3 0x461bcd
00001212: PUSH1 0xe5
00001214: SHL
00001215: DUP2
00001216: MSTORE
00001217: PUSH1 0x20
00001219: PUSH1 0x04
0000121b: DUP3
0000121c: ADD
0000121d: DUP2
0000121e: SWAP1
0000121f: MSTORE
00001220: PUSH1 0x24
00001222: DUP3
00001223: ADD
00001224: MSTORE
00001225: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001246: PUSH1 0x44
00001248: DUP3
00001249: ADD
0000124a: MSTORE
0000124b: PUSH1 0x64
0000124d: ADD
0000124e: PUSH2 0x0782
00001251: JUMP
00001252: JUMPDEST
00001253: PUSH1 0x01
00001255: PUSH1 0x01
00001257: PUSH1 0xa0
00001259: SHL
0000125a: SUB
0000125b: DUP7
0000125c: AND
0000125d: PUSH2 0x12a8
00001260: JUMPI
00001261: PUSH1 0x40
00001263: MLOAD
00001264: PUSH3 0x461bcd
00001268: PUSH1 0xe5
0000126a: SHL
0000126b: DUP2
0000126c: MSTORE
0000126d: PUSH1 0x20
0000126f: PUSH1 0x04
00001271: DUP3
00001272: ADD
00001273: MSTORE
00001274: PUSH1 0x07
00001276: PUSH1 0x24
00001278: DUP3
00001279: ADD
0000127a: MSTORE
0000127b: PUSH32 0x215f617373657400000000000000000000000000000000000000000000000000
0000129c: PUSH1 0x44
0000129e: DUP3
0000129f: ADD
000012a0: MSTORE
000012a1: PUSH1 0x64
000012a3: ADD
000012a4: PUSH2 0x0782
000012a7: JUMP
000012a8: JUMPDEST
000012a9: PUSH1 0x40
000012ab: DUP1
000012ac: MLOAD
000012ad: PUSH32 0x313ce56700000000000000000000000000000000000000000000000000000000
000012ce: DUP2
000012cf: MSTORE
000012d0: SWAP1
000012d1: MLOAD
000012d2: DUP5
000012d3: SWAP2
000012d4: DUP4
000012d5: SWAP2
000012d6: PUSH1 0x01
000012d8: PUSH1 0x01
000012da: PUSH1 0xa0
000012dc: SHL
000012dd: SUB
000012de: DUP10
000012df: AND
000012e0: SWAP2
000012e1: PUSH4 0x313ce567
000012e6: SWAP2
000012e7: PUSH1 0x04
000012e9: DUP1
000012ea: DUP4
000012eb: ADD
000012ec: SWAP3
000012ed: PUSH1 0x20
000012ef: SWAP3
000012f0: SWAP2
000012f1: SWAP1
000012f2: DUP3
000012f3: SWAP1
000012f4: SUB
000012f5: ADD
000012f6: DUP2
000012f7: DUP7
000012f8: GAS
000012f9: STATICCALL
000012fa: ISZERO
000012fb: DUP1
000012fc: ISZERO
000012fd: PUSH2 0x130a
00001300: JUMPI
00001301: RETURNDATASIZE
00001302: PUSH1 0x00
00001304: DUP1
00001305: RETURNDATACOPY
00001306: RETURNDATASIZE
00001307: PUSH1 0x00
00001309: REVERT
0000130a: JUMPDEST
0000130b: POP
0000130c: POP
0000130d: POP
0000130e: POP
0000130f: PUSH1 0x40
00001311: MLOAD
00001312: RETURNDATASIZE
00001313: PUSH1 0x1f
00001315: NOT
00001316: PUSH1 0x1f
00001318: DUP3
00001319: ADD
0000131a: AND
0000131b: DUP3
0000131c: ADD
0000131d: DUP1
0000131e: PUSH1 0x40
00001320: MSTORE
00001321: POP
00001322: DUP2
00001323: ADD
00001324: SWAP1
00001325: PUSH2 0x132e
00001328: SWAP2
00001329: SWAP1
0000132a: PUSH2 0x2fef
0000132d: JUMP
0000132e: JUMPDEST
0000132f: PUSH1 0xff
00001331: AND
00001332: PUSH1 0x08
00001334: EQ
00001335: PUSH2 0x1380
00001338: JUMPI
00001339: PUSH1 0x40
0000133b: MLOAD
0000133c: PUSH3 0x461bcd
00001340: PUSH1 0xe5
00001342: SHL
00001343: DUP2
00001344: MSTORE
00001345: PUSH1 0x20
00001347: PUSH1 0x04
00001349: DUP3
0000134a: ADD
0000134b: MSTORE
0000134c: PUSH1 0x0a
0000134e: PUSH1 0x24
00001350: DUP3
00001351: ADD
00001352: MSTORE
00001353: PUSH32 0x2141535345542f55534400000000000000000000000000000000000000000000
00001374: PUSH1 0x44
00001376: DUP3
00001377: ADD
00001378: MSTORE
00001379: PUSH1 0x64
0000137b: ADD
0000137c: PUSH2 0x0782
0000137f: JUMP
00001380: JUMPDEST
00001381: PUSH1 0x02
00001383: DUP3
00001384: LT
00001385: PUSH2 0x13d0
00001388: JUMPI
00001389: PUSH1 0x40
0000138b: MLOAD
0000138c: PUSH3 0x461bcd
00001390: PUSH1 0xe5
00001392: SHL
00001393: DUP2
00001394: MSTORE
00001395: PUSH1 0x20
00001397: PUSH1 0x04
00001399: DUP3
0000139a: ADD
0000139b: MSTORE
0000139c: PUSH1 0x19
0000139e: PUSH1 0x24
000013a0: DUP3
000013a1: ADD
000013a2: MSTORE
000013a3: PUSH32 0x696e76616c696420696e7465726d656469617279207061746800000000000000
000013c4: PUSH1 0x44
000013c6: DUP3
000013c7: ADD
000013c8: MSTORE
000013c9: PUSH1 0x64
000013cb: ADD
000013cc: PUSH2 0x0782
000013cf: JUMP
000013d0: JUMPDEST
000013d1: PUSH2 0x13db
000013d4: DUP3
000013d5: PUSH1 0x01
000013d7: PUSH2 0x3012
000013da: JUMP
000013db: JUMPDEST
000013dc: DUP2
000013dd: EQ
000013de: PUSH2 0x1429
000013e1: JUMPI
000013e2: PUSH1 0x40
000013e4: MLOAD
000013e5: PUSH3 0x461bcd
000013e9: PUSH1 0xe5
000013eb: SHL
000013ec: DUP2
000013ed: MSTORE
000013ee: PUSH1 0x20
000013f0: PUSH1 0x04
000013f2: DUP3
000013f3: ADD
000013f4: MSTORE
000013f5: PUSH1 0x1e
000013f7: PUSH1 0x24
000013f9: DUP3
000013fa: ADD
000013fb: MSTORE
000013fc: PUSH32 0x696e76616c696420706f6f6c2066656573206172726179206c656e6774680000
0000141d: PUSH1 0x44
0000141f: DUP3
00001420: ADD
00001421: MSTORE
00001422: PUSH1 0x64
00001424: ADD
00001425: PUSH2 0x0782
00001428: JUMP
00001429: JUMPDEST
0000142a: PUSH1 0x01
0000142c: PUSH1 0x01
0000142e: PUSH1 0xa0
00001430: SHL
00001431: SUB
00001432: DUP9
00001433: DUP2
00001434: AND
00001435: PUSH1 0x00
00001437: SWAP1
00001438: DUP2
00001439: MSTORE
0000143a: PUSH1 0x07
0000143c: PUSH1 0x20
0000143e: MSTORE
0000143f: PUSH1 0x40
00001441: SWAP1
00001442: KECCAK256
00001443: SLOAD
00001444: AND
00001445: PUSH2 0x14ac
00001448: JUMPI
00001449: PUSH1 0x08
0000144b: DUP1
0000144c: SLOAD
0000144d: PUSH1 0x01
0000144f: DUP2
00001450: ADD
00001451: DUP3
00001452: SSTORE
00001453: PUSH1 0x00
00001455: SWAP2
00001456: SWAP1
00001457: SWAP2
00001458: MSTORE
00001459: PUSH32 0xf3f7a9fe364faab93b216da50a3214154f22a0a2b415b23a84c8169e8b636ee3
0000147a: ADD
0000147b: DUP1
0000147c: SLOAD
0000147d: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
0000149e: AND
0000149f: PUSH1 0x01
000014a1: PUSH1 0x01
000014a3: PUSH1 0xa0
000014a5: SHL
000014a6: SUB
000014a7: DUP11
000014a8: AND
000014a9: OR
000014aa: SWAP1
000014ab: SSTORE
000014ac: JUMPDEST
000014ad: PUSH1 0x01
000014af: PUSH1 0x01
000014b1: PUSH1 0xa0
000014b3: SHL
000014b4: SUB
000014b5: DUP9
000014b6: DUP2
000014b7: AND
000014b8: PUSH1 0x00
000014ba: SWAP1
000014bb: DUP2
000014bc: MSTORE
000014bd: PUSH1 0x07
000014bf: PUSH1 0x20
000014c1: MSTORE
000014c2: PUSH1 0x40
000014c4: SWAP1
000014c5: KECCAK256
000014c6: DUP1
000014c7: SLOAD
000014c8: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
000014e9: AND
000014ea: SWAP2
000014eb: DUP10
000014ec: AND
000014ed: SWAP2
000014ee: SWAP1
000014ef: SWAP2
000014f0: OR
000014f1: SWAP1
000014f2: SSTORE
000014f3: DUP2
000014f4: ISZERO
000014f5: PUSH2 0x1683
000014f8: JUMPI
000014f9: PUSH1 0x01
000014fb: SLOAD
000014fc: PUSH1 0x01
000014fe: PUSH1 0x01
00001500: PUSH1 0xa0
00001502: SHL
00001503: SUB
00001504: DUP10
00001505: DUP2
00001506: AND
00001507: SWAP2
00001508: AND
00001509: EQ
0000150a: ISZERO
0000150b: PUSH2 0x1528
0000150e: JUMPI
0000150f: PUSH20 0xa0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00001524: PUSH2 0x152a
00001527: JUMP
00001528: JUMPDEST
00001529: DUP8
0000152a: JUMPDEST
0000152b: DUP5
0000152c: DUP5
0000152d: PUSH1 0x00
0000152f: DUP2
00001530: DUP2
00001531: LT
00001532: PUSH2 0x153d
00001535: JUMPI
00001536: PUSH2 0x153d
00001539: PUSH2 0x2efa
0000153c: JUMP
0000153d: JUMPDEST
0000153e: SWAP1
0000153f: POP
00001540: PUSH1 0x20
00001542: MUL
00001543: ADD
00001544: PUSH1 0x20
00001546: DUP2
00001547: ADD
00001548: SWAP1
00001549: PUSH2 0x1552
0000154c: SWAP2
0000154d: SWAP1
0000154e: PUSH2 0x302a
00001551: JUMP
00001552: JUMPDEST
00001553: DUP8
00001554: DUP8
00001555: PUSH1 0x00
00001557: DUP2
00001558: DUP2
00001559: LT
0000155a: PUSH2 0x1565
0000155d: JUMPI
0000155e: PUSH2 0x1565
00001561: PUSH2 0x2efa
00001564: JUMP
00001565: JUMPDEST
00001566: SWAP1
00001567: POP
00001568: PUSH1 0x20
0000156a: MUL
0000156b: ADD
0000156c: PUSH1 0x20
0000156e: DUP2
0000156f: ADD
00001570: SWAP1
00001571: PUSH2 0x157a
00001574: SWAP2
00001575: SWAP1
00001576: PUSH2 0x2c5e
00001579: JUMP
0000157a: JUMPDEST
0000157b: DUP7
0000157c: DUP7
0000157d: PUSH1 0x01
0000157f: DUP2
00001580: DUP2
00001581: LT
00001582: PUSH2 0x158d
00001585: JUMPI
00001586: PUSH2 0x158d
00001589: PUSH2 0x2efa
0000158c: JUMP
0000158d: JUMPDEST
0000158e: SWAP1
0000158f: POP
00001590: PUSH1 0x20
00001592: MUL
00001593: ADD
00001594: PUSH1 0x20
00001596: DUP2
00001597: ADD
00001598: SWAP1
00001599: PUSH2 0x15a2
0000159c: SWAP2
0000159d: SWAP1
0000159e: PUSH2 0x302a
000015a1: JUMP
000015a2: JUMPDEST
000015a3: PUSH1 0x02
000015a5: SLOAD
000015a6: PUSH1 0x40
000015a8: MLOAD
000015a9: PUSH32 0xffffffffffffffffffffffffffffffffffffffff000000000000000000000000
000015ca: PUSH1 0x60
000015cc: SWAP7
000015cd: DUP8
000015ce: SHL
000015cf: DUP2
000015d0: AND
000015d1: PUSH1 0x20
000015d3: DUP4
000015d4: ADD
000015d5: MSTORE
000015d6: PUSH32 0xffffff0000000000000000000000000000000000000000000000000000000000
000015f7: PUSH1 0xe8
000015f9: SWAP7
000015fa: DUP8
000015fb: SHL
000015fc: DUP2
000015fd: AND
000015fe: PUSH1 0x34
00001600: DUP5
00001601: ADD
00001602: MSTORE
00001603: SWAP5
00001604: DUP8
00001605: SHL
00001606: DUP2
00001607: AND
00001608: PUSH1 0x37
0000160a: DUP4
0000160b: ADD
0000160c: MSTORE
0000160d: SWAP3
0000160e: SWAP1
0000160f: SWAP5
00001610: SHL
00001611: SWAP1
00001612: SWAP3
00001613: AND
00001614: PUSH1 0x4b
00001616: DUP5
00001617: ADD
00001618: MSTORE
00001619: SWAP3
0000161a: SHL
0000161b: SWAP1
0000161c: SWAP2
0000161d: AND
0000161e: PUSH1 0x4e
00001620: DUP3
00001621: ADD
00001622: MSTORE
00001623: PUSH1 0x62
00001625: ADD
00001626: PUSH1 0x40
00001628: DUP1
00001629: MLOAD
0000162a: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
0000164b: DUP2
0000164c: DUP5
0000164d: SUB
0000164e: ADD
0000164f: DUP2
00001650: MSTORE
00001651: SWAP2
00001652: DUP2
00001653: MSTORE
00001654: PUSH1 0x01
00001656: PUSH1 0x01
00001658: PUSH1 0xa0
0000165a: SHL
0000165b: SUB
0000165c: DUP11
0000165d: AND
0000165e: PUSH1 0x00
00001660: SWAP1
00001661: DUP2
00001662: MSTORE
00001663: PUSH1 0x06
00001665: PUSH1 0x20
00001667: SWAP1
00001668: DUP2
00001669: MSTORE
0000166a: SWAP2
0000166b: SWAP1
0000166c: KECCAK256
0000166d: DUP3
0000166e: MLOAD
0000166f: PUSH2 0x167d
00001672: SWAP4
00001673: SWAP2
00001674: SWAP3
00001675: SWAP1
00001676: SWAP2
00001677: ADD
00001678: SWAP1
00001679: PUSH2 0x2ba9
0000167c: JUMP
0000167d: JUMPDEST
0000167e: POP
0000167f: PUSH2 0x17a3
00001682: JUMP
00001683: JUMPDEST
00001684: PUSH1 0x01
00001686: SLOAD
00001687: PUSH1 0x01
00001689: PUSH1 0x01
0000168b: PUSH1 0xa0
0000168d: SHL
0000168e: SUB
0000168f: DUP10
00001690: DUP2
00001691: AND
00001692: SWAP2
00001693: AND
00001694: EQ
00001695: ISZERO
00001696: PUSH2 0x16b3
00001699: JUMPI
0000169a: PUSH20 0xa0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
000016af: PUSH2 0x16b5
000016b2: JUMP
000016b3: JUMPDEST
000016b4: DUP8
000016b5: JUMPDEST
000016b6: DUP5
000016b7: DUP5
000016b8: PUSH1 0x00
000016ba: DUP2
000016bb: DUP2
000016bc: LT
000016bd: PUSH2 0x16c8
000016c0: JUMPI
000016c1: PUSH2 0x16c8
000016c4: PUSH2 0x2efa
000016c7: JUMP
000016c8: JUMPDEST
000016c9: SWAP1
000016ca: POP
000016cb: PUSH1 0x20
000016cd: MUL
000016ce: ADD
000016cf: PUSH1 0x20
000016d1: DUP2
000016d2: ADD
000016d3: SWAP1
000016d4: PUSH2 0x16dd
000016d7: SWAP2
000016d8: SWAP1
000016d9: PUSH2 0x302a
000016dc: JUMP
000016dd: JUMPDEST
000016de: PUSH1 0x02
000016e0: SLOAD
000016e1: PUSH1 0x40
000016e3: MLOAD
000016e4: PUSH1 0x60
000016e6: SWAP4
000016e7: DUP5
000016e8: SHL
000016e9: PUSH32 0xffffffffffffffffffffffffffffffffffffffff000000000000000000000000
0000170a: SWAP1
0000170b: DUP2
0000170c: AND
0000170d: PUSH1 0x20
0000170f: DUP4
00001710: ADD
00001711: MSTORE
00001712: PUSH1 0xe8
00001714: SWAP4
00001715: SWAP1
00001716: SWAP4
00001717: SHL
00001718: PUSH32 0xffffff0000000000000000000000000000000000000000000000000000000000
00001739: AND
0000173a: PUSH1 0x34
0000173c: DUP3
0000173d: ADD
0000173e: MSTORE
0000173f: SWAP3
00001740: SHL
00001741: AND
00001742: PUSH1 0x37
00001744: DUP3
00001745: ADD
00001746: MSTORE
00001747: PUSH1 0x4b
00001749: ADD
0000174a: PUSH1 0x40
0000174c: DUP1
0000174d: MLOAD
0000174e: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
0000176f: DUP2
00001770: DUP5
00001771: SUB
00001772: ADD
00001773: DUP2
00001774: MSTORE
00001775: SWAP2
00001776: DUP2
00001777: MSTORE
00001778: PUSH1 0x01
0000177a: PUSH1 0x01
0000177c: PUSH1 0xa0
0000177e: SHL
0000177f: SUB
00001780: DUP11
00001781: AND
00001782: PUSH1 0x00
00001784: SWAP1
00001785: DUP2
00001786: MSTORE
00001787: PUSH1 0x06
00001789: PUSH1 0x20
0000178b: SWAP1
0000178c: DUP2
0000178d: MSTORE
0000178e: SWAP2
0000178f: SWAP1
00001790: KECCAK256
00001791: DUP3
00001792: MLOAD
00001793: PUSH2 0x17a1
00001796: SWAP4
00001797: SWAP2
00001798: SWAP3
00001799: SWAP1
0000179a: SWAP2
0000179b: ADD
0000179c: SWAP1
0000179d: PUSH2 0x2ba9
000017a0: JUMP
000017a1: JUMPDEST
000017a2: POP
000017a3: JUMPDEST
000017a4: PUSH1 0x01
000017a6: PUSH1 0x01
000017a8: PUSH1 0xa0
000017aa: SHL
000017ab: SUB
000017ac: DUP9
000017ad: AND
000017ae: PUSH1 0x00
000017b0: SWAP1
000017b1: DUP2
000017b2: MSTORE
000017b3: PUSH1 0x06
000017b5: PUSH1 0x20
000017b7: MSTORE
000017b8: PUSH1 0x40
000017ba: SWAP1
000017bb: DUP2
000017bc: SWAP1
000017bd: KECCAK256
000017be: SWAP1
000017bf: MLOAD
000017c0: PUSH32 0x6a118707108586e9f71308f090999646ac19ba11725e911ad95087db797b623c
000017e1: SWAP2
000017e2: PUSH2 0x17ed
000017e5: SWAP2
000017e6: DUP12
000017e7: SWAP2
000017e8: SWAP1
000017e9: PUSH2 0x304f
000017ec: JUMP
000017ed: JUMPDEST
000017ee: PUSH1 0x40
000017f0: MLOAD
000017f1: DUP1
000017f2: SWAP2
000017f3: SUB
000017f4: SWAP1
000017f5: LOG1
000017f6: POP
000017f7: POP
000017f8: POP
000017f9: POP
000017fa: POP
000017fb: POP
000017fc: POP
000017fd: POP
000017fe: JUMP
000017ff: JUMPDEST
00001800: PUSH1 0x00
00001802: SLOAD
00001803: PUSH1 0x01
00001805: PUSH1 0x01
00001807: PUSH1 0xa0
00001809: SHL
0000180a: SUB
0000180b: AND
0000180c: CALLER
0000180d: EQ
0000180e: PUSH2 0x1859
00001811: JUMPI
00001812: PUSH1 0x40
00001814: MLOAD
00001815: PUSH3 0x461bcd
00001819: PUSH1 0xe5
0000181b: SHL
0000181c: DUP2
0000181d: MSTORE
0000181e: PUSH1 0x20
00001820: PUSH1 0x04
00001822: DUP3
00001823: ADD
00001824: DUP2
00001825: SWAP1
00001826: MSTORE
00001827: PUSH1 0x24
00001829: DUP3
0000182a: ADD
0000182b: MSTORE
0000182c: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
0000184d: PUSH1 0x44
0000184f: DUP3
00001850: ADD
00001851: MSTORE
00001852: PUSH1 0x64
00001854: ADD
00001855: PUSH2 0x0782
00001858: JUMP
00001859: JUMPDEST
0000185a: PUSH1 0x01
0000185c: PUSH1 0x01
0000185e: PUSH1 0xa0
00001860: SHL
00001861: SUB
00001862: DUP2
00001863: AND
00001864: PUSH2 0x18af
00001867: JUMPI
00001868: PUSH1 0x40
0000186a: MLOAD
0000186b: PUSH3 0x461bcd
0000186f: PUSH1 0xe5
00001871: SHL
00001872: DUP2
00001873: MSTORE
00001874: PUSH1 0x20
00001876: PUSH1 0x04
00001878: DUP3
00001879: ADD
0000187a: MSTORE
0000187b: PUSH1 0x08
0000187d: PUSH1 0x24
0000187f: DUP3
00001880: ADD
00001881: MSTORE
00001882: PUSH32 0x215f797655534443000000000000000000000000000000000000000000000000
000018a3: PUSH1 0x44
000018a5: DUP3
000018a6: ADD
000018a7: MSTORE
000018a8: PUSH1 0x64
000018aa: ADD
000018ab: PUSH2 0x0782
000018ae: JUMP
000018af: JUMPDEST
000018b0: PUSH1 0x01
000018b2: DUP1
000018b3: SLOAD
000018b4: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
000018d5: AND
000018d6: PUSH1 0x01
000018d8: PUSH1 0x01
000018da: PUSH1 0xa0
000018dc: SHL
000018dd: SUB
000018de: DUP4
000018df: AND
000018e0: SWAP1
000018e1: DUP2
000018e2: OR
000018e3: SWAP1
000018e4: SWAP2
000018e5: SSTORE
000018e6: PUSH1 0x40
000018e8: MLOAD
000018e9: SWAP1
000018ea: DUP2
000018eb: MSTORE
000018ec: PUSH32 0xb2e6feb35c27578590c9acc6cf563e6c07d5b80a506f3ed779496351dae5f08c
0000190d: SWAP1
0000190e: PUSH1 0x20
00001910: ADD
00001911: PUSH2 0x0843
00001914: JUMP
00001915: JUMPDEST
00001916: PUSH1 0x00
00001918: SLOAD
00001919: PUSH1 0x01
0000191b: PUSH1 0x01
0000191d: PUSH1 0xa0
0000191f: SHL
00001920: SUB
00001921: AND
00001922: CALLER
00001923: EQ
00001924: PUSH2 0x196f
00001927: JUMPI
00001928: PUSH1 0x40
0000192a: MLOAD
0000192b: PUSH3 0x461bcd
0000192f: PUSH1 0xe5
00001931: SHL
00001932: DUP2
00001933: MSTORE
00001934: PUSH1 0x20
00001936: PUSH1 0x04
00001938: DUP3
00001939: ADD
0000193a: DUP2
0000193b: SWAP1
0000193c: MSTORE
0000193d: PUSH1 0x24
0000193f: DUP3
00001940: ADD
00001941: MSTORE
00001942: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001963: PUSH1 0x44
00001965: DUP3
00001966: ADD
00001967: MSTORE
00001968: PUSH1 0x64
0000196a: ADD
0000196b: PUSH2 0x0782
0000196e: JUMP
0000196f: JUMPDEST
00001970: PUSH1 0x01
00001972: PUSH1 0x01
00001974: PUSH1 0xa0
00001976: SHL
00001977: SUB
00001978: DUP2
00001979: AND
0000197a: PUSH2 0x19c5
0000197d: JUMPI
0000197e: PUSH1 0x40
00001980: MLOAD
00001981: PUSH3 0x461bcd
00001985: PUSH1 0xe5
00001987: SHL
00001988: DUP2
00001989: MSTORE
0000198a: PUSH1 0x20
0000198c: PUSH1 0x04
0000198e: DUP3
0000198f: ADD
00001990: MSTORE
00001991: PUSH1 0x10
00001993: PUSH1 0x24
00001995: DUP3
00001996: ADD
00001997: MSTORE
00001998: PUSH32 0x215f6665654469737472696275746f7200000000000000000000000000000000
000019b9: PUSH1 0x44
000019bb: DUP3
000019bc: ADD
000019bd: MSTORE
000019be: PUSH1 0x64
000019c0: ADD
000019c1: PUSH2 0x0782
000019c4: JUMP
000019c5: JUMPDEST
000019c6: PUSH1 0x04
000019c8: DUP1
000019c9: SLOAD
000019ca: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
000019eb: AND
000019ec: PUSH1 0x01
000019ee: PUSH1 0x01
000019f0: PUSH1 0xa0
000019f2: SHL
000019f3: SUB
000019f4: DUP4
000019f5: AND
000019f6: SWAP1
000019f7: DUP2
000019f8: OR
000019f9: SWAP1
000019fa: SWAP2
000019fb: SSTORE
000019fc: PUSH1 0x40
000019fe: MLOAD
000019ff: SWAP1
00001a00: DUP2
00001a01: MSTORE
00001a02: PUSH32 0x0b2f38d4d51572dddd42a52a5a9e4e4e9b7ee83f48cbbd90b2fd209dd58c9abb
00001a23: SWAP1
00001a24: PUSH1 0x20
00001a26: ADD
00001a27: PUSH2 0x0843
00001a2a: JUMP
00001a2b: JUMPDEST
00001a2c: PUSH1 0x08
00001a2e: DUP2
00001a2f: DUP2
00001a30: SLOAD
00001a31: DUP2
00001a32: LT
00001a33: PUSH2 0x1a3b
00001a36: JUMPI
00001a37: PUSH1 0x00
00001a39: DUP1
00001a3a: REVERT
00001a3b: JUMPDEST
00001a3c: PUSH1 0x00
00001a3e: SWAP2
00001a3f: DUP3
00001a40: MSTORE
00001a41: PUSH1 0x20
00001a43: SWAP1
00001a44: SWAP2
00001a45: KECCAK256
00001a46: ADD
00001a47: SLOAD
00001a48: PUSH1 0x01
00001a4a: PUSH1 0x01
00001a4c: PUSH1 0xa0
00001a4e: SHL
00001a4f: SUB
00001a50: AND
00001a51: SWAP1
00001a52: POP
00001a53: DUP2
00001a54: JUMP
00001a55: JUMPDEST
00001a56: PUSH1 0x00
00001a58: SLOAD
00001a59: PUSH1 0x01
00001a5b: PUSH1 0x01
00001a5d: PUSH1 0xa0
00001a5f: SHL
00001a60: SUB
00001a61: AND
00001a62: CALLER
00001a63: EQ
00001a64: PUSH2 0x1aaf
00001a67: JUMPI
00001a68: PUSH1 0x40
00001a6a: MLOAD
00001a6b: PUSH3 0x461bcd
00001a6f: PUSH1 0xe5
00001a71: SHL
00001a72: DUP2
00001a73: MSTORE
00001a74: PUSH1 0x20
00001a76: PUSH1 0x04
00001a78: DUP3
00001a79: ADD
00001a7a: DUP2
00001a7b: SWAP1
00001a7c: MSTORE
00001a7d: PUSH1 0x24
00001a7f: DUP3
00001a80: ADD
00001a81: MSTORE
00001a82: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001aa3: PUSH1 0x44
00001aa5: DUP3
00001aa6: ADD
00001aa7: MSTORE
00001aa8: PUSH1 0x64
00001aaa: ADD
00001aab: PUSH2 0x0782
00001aae: JUMP
00001aaf: JUMPDEST
00001ab0: PUSH1 0x01
00001ab2: PUSH1 0x01
00001ab4: PUSH1 0xa0
00001ab6: SHL
00001ab7: SUB
00001ab8: DUP2
00001ab9: AND
00001aba: PUSH2 0x1b2b
00001abd: JUMPI
00001abe: PUSH1 0x40
00001ac0: MLOAD
00001ac1: PUSH3 0x461bcd
00001ac5: PUSH1 0xe5
00001ac7: SHL
00001ac8: DUP2
00001ac9: MSTORE
00001aca: PUSH1 0x20
00001acc: PUSH1 0x04
00001ace: DUP3
00001acf: ADD
00001ad0: MSTORE
00001ad1: PUSH1 0x26
00001ad3: PUSH1 0x24
00001ad5: DUP3
00001ad6: ADD
00001ad7: MSTORE
00001ad8: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00001af9: PUSH1 0x44
00001afb: DUP3
00001afc: ADD
00001afd: MSTORE
00001afe: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000
00001b1f: PUSH1 0x64
00001b21: DUP3
00001b22: ADD
00001b23: MSTORE
00001b24: PUSH1 0x84
00001b26: ADD
00001b27: PUSH2 0x0782
00001b2a: JUMP
00001b2b: JUMPDEST
00001b2c: PUSH2 0x0f13
00001b2f: DUP2
00001b30: PUSH2 0x2789
00001b33: JUMP
00001b34: JUMPDEST
00001b35: PUSH1 0x08
00001b37: SLOAD
00001b38: PUSH1 0x00
00001b3a: SWAP1
00001b3b: DUP2
00001b3c: JUMPDEST
00001b3d: DUP2
00001b3e: DUP2
00001b3f: LT
00001b40: ISZERO
00001b41: PUSH2 0x1fb7
00001b44: JUMPI
00001b45: PUSH1 0x00
00001b47: PUSH1 0x07
00001b49: PUSH1 0x00
00001b4b: PUSH1 0x08
00001b4d: DUP5
00001b4e: DUP2
00001b4f: SLOAD
00001b50: DUP2
00001b51: LT
00001b52: PUSH2 0x1b5d
00001b55: JUMPI
00001b56: PUSH2 0x1b5d
00001b59: PUSH2 0x2efa
00001b5c: JUMP
00001b5d: JUMPDEST
00001b5e: PUSH1 0x00
00001b60: SWAP2
00001b61: DUP3
00001b62: MSTORE
00001b63: PUSH1 0x20
00001b65: DUP1
00001b66: DUP4
00001b67: KECCAK256
00001b68: SWAP1
00001b69: SWAP2
00001b6a: ADD
00001b6b: SLOAD
00001b6c: PUSH1 0x01
00001b6e: PUSH1 0x01
00001b70: PUSH1 0xa0
00001b72: SHL
00001b73: SUB
00001b74: SWAP1
00001b75: DUP2
00001b76: AND
00001b77: DUP5
00001b78: MSTORE
00001b79: SWAP1
00001b7a: DUP4
00001b7b: ADD
00001b7c: SWAP4
00001b7d: SWAP1
00001b7e: SWAP4
00001b7f: MSTORE
00001b80: PUSH1 0x40
00001b82: SWAP1
00001b83: SWAP2
00001b84: ADD
00001b85: DUP2
00001b86: KECCAK256
00001b87: SLOAD
00001b88: PUSH1 0x08
00001b8a: DUP1
00001b8b: SLOAD
00001b8c: SWAP2
00001b8d: SWAP1
00001b8e: SWAP4
00001b8f: AND
00001b90: SWAP4
00001b91: POP
00001b92: SWAP1
00001b93: SWAP2
00001b94: SWAP1
00001b95: DUP5
00001b96: SWAP1
00001b97: DUP2
00001b98: LT
00001b99: PUSH2 0x1ba4
00001b9c: JUMPI
00001b9d: PUSH2 0x1ba4
00001ba0: PUSH2 0x2efa
00001ba3: JUMP
00001ba4: JUMPDEST
00001ba5: PUSH1 0x00
00001ba7: SWAP2
00001ba8: DUP3
00001ba9: MSTORE
00001baa: PUSH1 0x20
00001bac: DUP3
00001bad: KECCAK256
00001bae: ADD
00001baf: SLOAD
00001bb0: PUSH1 0x40
00001bb2: MLOAD
00001bb3: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
00001bd4: DUP2
00001bd5: MSTORE
00001bd6: ADDRESS
00001bd7: PUSH1 0x04
00001bd9: DUP3
00001bda: ADD
00001bdb: MSTORE
00001bdc: PUSH1 0x01
00001bde: PUSH1 0x01
00001be0: PUSH1 0xa0
00001be2: SHL
00001be3: SUB
00001be4: SWAP1
00001be5: SWAP2
00001be6: AND
00001be7: SWAP3
00001be8: POP
00001be9: DUP3
00001bea: SWAP1
00001beb: PUSH4 0x70a08231
00001bf0: SWAP1
00001bf1: PUSH1 0x24
00001bf3: ADD
00001bf4: PUSH1 0x20
00001bf6: PUSH1 0x40
00001bf8: MLOAD
00001bf9: DUP1
00001bfa: DUP4
00001bfb: SUB
00001bfc: DUP2
00001bfd: DUP7
00001bfe: GAS
00001bff: STATICCALL
00001c00: ISZERO
00001c01: DUP1
00001c02: ISZERO
00001c03: PUSH2 0x1c10
00001c06: JUMPI
00001c07: RETURNDATASIZE
00001c08: PUSH1 0x00
00001c0a: DUP1
00001c0b: RETURNDATACOPY
00001c0c: RETURNDATASIZE
00001c0d: PUSH1 0x00
00001c0f: REVERT
00001c10: JUMPDEST
00001c11: POP
00001c12: POP
00001c13: POP
00001c14: POP
00001c15: PUSH1 0x40
00001c17: MLOAD
00001c18: RETURNDATASIZE
00001c19: PUSH1 0x1f
00001c1b: NOT
00001c1c: PUSH1 0x1f
00001c1e: DUP3
00001c1f: ADD
00001c20: AND
00001c21: DUP3
00001c22: ADD
00001c23: DUP1
00001c24: PUSH1 0x40
00001c26: MSTORE
00001c27: POP
00001c28: DUP2
00001c29: ADD
00001c2a: SWAP1
00001c2b: PUSH2 0x1c34
00001c2e: SWAP2
00001c2f: SWAP1
00001c30: PUSH2 0x2e3a
00001c33: JUMP
00001c34: JUMPDEST
00001c35: SWAP1
00001c36: POP
00001c37: PUSH20 0x7f39c581f595b53c5cb19bd0b3f8da6c935e2ca0
00001c4c: PUSH1 0x01
00001c4e: PUSH1 0x01
00001c50: PUSH1 0xa0
00001c52: SHL
00001c53: SUB
00001c54: AND
00001c55: PUSH1 0x08
00001c57: DUP6
00001c58: DUP2
00001c59: SLOAD
00001c5a: DUP2
00001c5b: LT
00001c5c: PUSH2 0x1c67
00001c5f: JUMPI
00001c60: PUSH2 0x1c67
00001c63: PUSH2 0x2efa
00001c66: JUMP
00001c67: JUMPDEST
00001c68: PUSH1 0x00
00001c6a: SWAP2
00001c6b: DUP3
00001c6c: MSTORE
00001c6d: PUSH1 0x20
00001c6f: SWAP1
00001c70: SWAP2
00001c71: KECCAK256
00001c72: ADD
00001c73: SLOAD
00001c74: PUSH1 0x01
00001c76: PUSH1 0x01
00001c78: PUSH1 0xa0
00001c7a: SHL
00001c7b: SUB
00001c7c: AND
00001c7d: EQ
00001c7e: ISZERO
00001c7f: PUSH2 0x1d2b
00001c82: JUMPI
00001c83: PUSH1 0x08
00001c85: DUP5
00001c86: DUP2
00001c87: SLOAD
00001c88: DUP2
00001c89: LT
00001c8a: PUSH2 0x1c95
00001c8d: JUMPI
00001c8e: PUSH2 0x1c95
00001c91: PUSH2 0x2efa
00001c94: JUMP
00001c95: JUMPDEST
00001c96: PUSH1 0x00
00001c98: SWAP2
00001c99: DUP3
00001c9a: MSTORE
00001c9b: PUSH1 0x20
00001c9d: SWAP1
00001c9e: SWAP2
00001c9f: KECCAK256
00001ca0: ADD
00001ca1: SLOAD
00001ca2: PUSH1 0x40
00001ca4: MLOAD
00001ca5: PUSH32 0xbb2952fc00000000000000000000000000000000000000000000000000000000
00001cc6: DUP2
00001cc7: MSTORE
00001cc8: PUSH1 0x04
00001cca: DUP2
00001ccb: ADD
00001ccc: DUP4
00001ccd: SWAP1
00001cce: MSTORE
00001ccf: PUSH1 0x01
00001cd1: PUSH1 0x01
00001cd3: PUSH1 0xa0
00001cd5: SHL
00001cd6: SUB
00001cd7: SWAP1
00001cd8: SWAP2
00001cd9: AND
00001cda: SWAP1
00001cdb: PUSH4 0xbb2952fc
00001ce0: SWAP1
00001ce1: PUSH1 0x24
00001ce3: ADD
00001ce4: PUSH1 0x20
00001ce6: PUSH1 0x40
00001ce8: MLOAD
00001ce9: DUP1
00001cea: DUP4
00001ceb: SUB
00001cec: DUP2
00001ced: DUP7
00001cee: GAS
00001cef: STATICCALL
00001cf0: ISZERO
00001cf1: DUP1
00001cf2: ISZERO
00001cf3: PUSH2 0x1d00
00001cf6: JUMPI
00001cf7: RETURNDATASIZE
00001cf8: PUSH1 0x00
00001cfa: DUP1
00001cfb: RETURNDATACOPY
00001cfc: RETURNDATASIZE
00001cfd: PUSH1 0x00
00001cff: REVERT
00001d00: JUMPDEST
00001d01: POP
00001d02: POP
00001d03: POP
00001d04: POP
00001d05: PUSH1 0x40
00001d07: MLOAD
00001d08: RETURNDATASIZE
00001d09: PUSH1 0x1f
00001d0b: NOT
00001d0c: PUSH1 0x1f
00001d0e: DUP3
00001d0f: ADD
00001d10: AND
00001d11: DUP3
00001d12: ADD
00001d13: DUP1
00001d14: PUSH1 0x40
00001d16: MSTORE
00001d17: POP
00001d18: DUP2
00001d19: ADD
00001d1a: SWAP1
00001d1b: PUSH2 0x1d24
00001d1e: SWAP2
00001d1f: SWAP1
00001d20: PUSH2 0x2e3a
00001d23: JUMP
00001d24: JUMPDEST
00001d25: SWAP1
00001d26: POP
00001d27: PUSH2 0x1e22
00001d2a: JUMP
00001d2b: JUMPDEST
00001d2c: PUSH1 0x01
00001d2e: SLOAD
00001d2f: PUSH1 0x08
00001d31: DUP1
00001d32: SLOAD
00001d33: PUSH1 0x01
00001d35: PUSH1 0x01
00001d37: PUSH1 0xa0
00001d39: SHL
00001d3a: SUB
00001d3b: SWAP1
00001d3c: SWAP3
00001d3d: AND
00001d3e: SWAP2
00001d3f: DUP7
00001d40: SWAP1
00001d41: DUP2
00001d42: LT
00001d43: PUSH2 0x1d4e
00001d46: JUMPI
00001d47: PUSH2 0x1d4e
00001d4a: PUSH2 0x2efa
00001d4d: JUMP
00001d4e: JUMPDEST
00001d4f: PUSH1 0x00
00001d51: SWAP2
00001d52: DUP3
00001d53: MSTORE
00001d54: PUSH1 0x20
00001d56: SWAP1
00001d57: SWAP2
00001d58: KECCAK256
00001d59: ADD
00001d5a: SLOAD
00001d5b: PUSH1 0x01
00001d5d: PUSH1 0x01
00001d5f: PUSH1 0xa0
00001d61: SHL
00001d62: SUB
00001d63: AND
00001d64: EQ
00001d65: ISZERO
00001d66: PUSH2 0x1e22
00001d69: JUMPI
00001d6a: PUSH3 0x0f4240
00001d6e: PUSH1 0x08
00001d70: DUP6
00001d71: DUP2
00001d72: SLOAD
00001d73: DUP2
00001d74: LT
00001d75: PUSH2 0x1d80
00001d78: JUMPI
00001d79: PUSH2 0x1d80
00001d7c: PUSH2 0x2efa
00001d7f: JUMP
00001d80: JUMPDEST
00001d81: PUSH1 0x00
00001d83: SWAP2
00001d84: DUP3
00001d85: MSTORE
00001d86: PUSH1 0x20
00001d88: SWAP2
00001d89: DUP3
00001d8a: SWAP1
00001d8b: KECCAK256
00001d8c: ADD
00001d8d: SLOAD
00001d8e: PUSH1 0x40
00001d90: DUP1
00001d91: MLOAD
00001d92: PUSH32 0x99530b0600000000000000000000000000000000000000000000000000000000
00001db3: DUP2
00001db4: MSTORE
00001db5: SWAP1
00001db6: MLOAD
00001db7: PUSH1 0x01
00001db9: PUSH1 0x01
00001dbb: PUSH1 0xa0
00001dbd: SHL
00001dbe: SUB
00001dbf: SWAP1
00001dc0: SWAP3
00001dc1: AND
00001dc2: SWAP3
00001dc3: PUSH4 0x99530b06
00001dc8: SWAP3
00001dc9: PUSH1 0x04
00001dcb: DUP1
00001dcc: DUP5
00001dcd: ADD
00001dce: SWAP4
00001dcf: DUP3
00001dd0: SWAP1
00001dd1: SUB
00001dd2: ADD
00001dd3: DUP2
00001dd4: DUP7
00001dd5: GAS
00001dd6: STATICCALL
00001dd7: ISZERO
00001dd8: DUP1
00001dd9: ISZERO
00001dda: PUSH2 0x1de7
00001ddd: JUMPI
00001dde: RETURNDATASIZE
00001ddf: PUSH1 0x00
00001de1: DUP1
00001de2: RETURNDATACOPY
00001de3: RETURNDATASIZE
00001de4: PUSH1 0x00
00001de6: REVERT
00001de7: JUMPDEST
00001de8: POP
00001de9: POP
00001dea: POP
00001deb: POP
00001dec: PUSH1 0x40
00001dee: MLOAD
00001def: RETURNDATASIZE
00001df0: PUSH1 0x1f
00001df2: NOT
00001df3: PUSH1 0x1f
00001df5: DUP3
00001df6: ADD
00001df7: AND
00001df8: DUP3
00001df9: ADD
00001dfa: DUP1
00001dfb: PUSH1 0x40
00001dfd: MSTORE
00001dfe: POP
00001dff: DUP2
00001e00: ADD
00001e01: SWAP1
00001e02: PUSH2 0x1e0b
00001e05: SWAP2
00001e06: SWAP1
00001e07: PUSH2 0x2e3a
00001e0a: JUMP
00001e0b: JUMPDEST
00001e0c: PUSH2 0x1e15
00001e0f: SWAP1
00001e10: DUP4
00001e11: PUSH2 0x2e82
00001e14: JUMP
00001e15: JUMPDEST
00001e16: PUSH2 0x1e1f
00001e19: SWAP2
00001e1a: SWAP1
00001e1b: PUSH2 0x2ebf
00001e1e: JUMP
00001e1f: JUMPDEST
00001e20: SWAP1
00001e21: POP
00001e22: JUMPDEST
00001e23: PUSH1 0x00
00001e25: DUP3
00001e26: PUSH1 0x01
00001e28: PUSH1 0x01
00001e2a: PUSH1 0xa0
00001e2c: SHL
00001e2d: SUB
00001e2e: AND
00001e2f: PUSH4 0x313ce567
00001e34: PUSH1 0x40
00001e36: MLOAD
00001e37: DUP2
00001e38: PUSH4 0xffffffff
00001e3d: AND
00001e3e: PUSH1 0xe0
00001e40: SHL
00001e41: DUP2
00001e42: MSTORE
00001e43: PUSH1 0x04
00001e45: ADD
00001e46: PUSH1 0x20
00001e48: PUSH1 0x40
00001e4a: MLOAD
00001e4b: DUP1
00001e4c: DUP4
00001e4d: SUB
00001e4e: DUP2
00001e4f: DUP7
00001e50: GAS
00001e51: STATICCALL
00001e52: ISZERO
00001e53: DUP1
00001e54: ISZERO
00001e55: PUSH2 0x1e62
00001e58: JUMPI
00001e59: RETURNDATASIZE
00001e5a: PUSH1 0x00
00001e5c: DUP1
00001e5d: RETURNDATACOPY
00001e5e: RETURNDATASIZE
00001e5f: PUSH1 0x00
00001e61: REVERT
00001e62: JUMPDEST
00001e63: POP
00001e64: POP
00001e65: POP
00001e66: POP
00001e67: PUSH1 0x40
00001e69: MLOAD
00001e6a: RETURNDATASIZE
00001e6b: PUSH1 0x1f
00001e6d: NOT
00001e6e: PUSH1 0x1f
00001e70: DUP3
00001e71: ADD
00001e72: AND
00001e73: DUP3
00001e74: ADD
00001e75: DUP1
00001e76: PUSH1 0x40
00001e78: MSTORE
00001e79: POP
00001e7a: DUP2
00001e7b: ADD
00001e7c: SWAP1
00001e7d: PUSH2 0x1e86
00001e80: SWAP2
00001e81: SWAP1
00001e82: PUSH2 0x2fef
00001e85: JUMP
00001e86: JUMPDEST
00001e87: PUSH2 0x1e91
00001e8a: SWAP1
00001e8b: PUSH1 0x12
00001e8d: PUSH2 0x3140
00001e90: JUMP
00001e91: JUMPDEST
00001e92: PUSH2 0x1e9c
00001e95: SWAP1
00001e96: PUSH1 0x0a
00001e98: PUSH2 0x3285
00001e9b: JUMP
00001e9c: JUMPDEST
00001e9d: PUSH2 0x1ea6
00001ea0: SWAP1
00001ea1: DUP4
00001ea2: PUSH2 0x2e82
00001ea5: JUMP
00001ea6: JUMPDEST
00001ea7: SWAP1
00001ea8: POP
00001ea9: PUSH20 0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00001ebe: PUSH1 0x01
00001ec0: PUSH1 0x01
00001ec2: PUSH1 0xa0
00001ec4: SHL
00001ec5: SUB
00001ec6: AND
00001ec7: PUSH1 0x08
00001ec9: DUP7
00001eca: DUP2
00001ecb: SLOAD
00001ecc: DUP2
00001ecd: LT
00001ece: PUSH2 0x1ed9
00001ed1: JUMPI
00001ed2: PUSH2 0x1ed9
00001ed5: PUSH2 0x2efa
00001ed8: JUMP
00001ed9: JUMPDEST
00001eda: PUSH1 0x00
00001edc: SWAP2
00001edd: DUP3
00001ede: MSTORE
00001edf: PUSH1 0x20
00001ee1: SWAP1
00001ee2: SWAP2
00001ee3: KECCAK256
00001ee4: ADD
00001ee5: SLOAD
00001ee6: PUSH1 0x01
00001ee8: PUSH1 0x01
00001eea: PUSH1 0xa0
00001eec: SHL
00001eed: SUB
00001eee: AND
00001eef: EQ
00001ef0: ISZERO
00001ef1: PUSH2 0x1f01
00001ef4: JUMPI
00001ef5: PUSH2 0x1efe
00001ef8: SELFBALANCE
00001ef9: DUP3
00001efa: PUSH2 0x3012
00001efd: JUMP
00001efe: JUMPDEST
00001eff: SWAP1
00001f00: POP
00001f01: JUMPDEST
00001f02: PUSH2 0x2710
00001f05: PUSH4 0x05f5e100
00001f0a: DUP10
00001f0b: DUP7
00001f0c: PUSH1 0x01
00001f0e: PUSH1 0x01
00001f10: PUSH1 0xa0
00001f12: SHL
00001f13: SUB
00001f14: AND
00001f15: PUSH4 0x50d25bcd
00001f1a: PUSH1 0x40
00001f1c: MLOAD
00001f1d: DUP2
00001f1e: PUSH4 0xffffffff
00001f23: AND
00001f24: PUSH1 0xe0
00001f26: SHL
00001f27: DUP2
00001f28: MSTORE
00001f29: PUSH1 0x04
00001f2b: ADD
00001f2c: PUSH1 0x20
00001f2e: PUSH1 0x40
00001f30: MLOAD
00001f31: DUP1
00001f32: DUP4
00001f33: SUB
00001f34: DUP2
00001f35: DUP7
00001f36: GAS
00001f37: STATICCALL
00001f38: ISZERO
00001f39: DUP1
00001f3a: ISZERO
00001f3b: PUSH2 0x1f48
00001f3e: JUMPI
00001f3f: RETURNDATASIZE
00001f40: PUSH1 0x00
00001f42: DUP1
00001f43: RETURNDATACOPY
00001f44: RETURNDATASIZE
00001f45: PUSH1 0x00
00001f47: REVERT
00001f48: JUMPDEST
00001f49: POP
00001f4a: POP
00001f4b: POP
00001f4c: POP
00001f4d: PUSH1 0x40
00001f4f: MLOAD
00001f50: RETURNDATASIZE
00001f51: PUSH1 0x1f
00001f53: NOT
00001f54: PUSH1 0x1f
00001f56: DUP3
00001f57: ADD
00001f58: AND
00001f59: DUP3
00001f5a: ADD
00001f5b: DUP1
00001f5c: PUSH1 0x40
00001f5e: MSTORE
00001f5f: POP
00001f60: DUP2
00001f61: ADD
00001f62: SWAP1
00001f63: PUSH2 0x1f6c
00001f66: SWAP2
00001f67: SWAP1
00001f68: PUSH2 0x2e3a
00001f6b: JUMP
00001f6c: JUMPDEST
00001f6d: PUSH2 0x1f76
00001f70: SWAP1
00001f71: DUP6
00001f72: PUSH2 0x2e82
00001f75: JUMP
00001f76: JUMPDEST
00001f77: PUSH2 0x1f80
00001f7a: SWAP2
00001f7b: SWAP1
00001f7c: PUSH2 0x2e82
00001f7f: JUMP
00001f80: JUMPDEST
00001f81: PUSH2 0x1f8a
00001f84: SWAP2
00001f85: SWAP1
00001f86: PUSH2 0x2ebf
00001f89: JUMP
00001f8a: JUMPDEST
00001f8b: PUSH2 0x1f94
00001f8e: SWAP2
00001f8f: SWAP1
00001f90: PUSH2 0x2ebf
00001f93: JUMP
00001f94: JUMPDEST
00001f95: PUSH2 0x1f9e
00001f98: SWAP1
00001f99: DUP9
00001f9a: PUSH2 0x3012
00001f9d: JUMP
00001f9e: JUMPDEST
00001f9f: SWAP7
00001fa0: POP
00001fa1: POP
00001fa2: POP
00001fa3: POP
00001fa4: POP
00001fa5: DUP1
00001fa6: DUP1
00001fa7: PUSH2 0x1faf
00001faa: SWAP1
00001fab: PUSH2 0x2f40
00001fae: JUMP
00001faf: JUMPDEST
00001fb0: SWAP2
00001fb1: POP
00001fb2: POP
00001fb3: PUSH2 0x1b3c
00001fb6: JUMP
00001fb7: JUMPDEST
00001fb8: POP
00001fb9: POP
00001fba: SWAP2
00001fbb: SWAP1
00001fbc: POP
00001fbd: JUMP
00001fbe: JUMPDEST
00001fbf: PUSH1 0x01
00001fc1: PUSH1 0x01
00001fc3: PUSH1 0xa0
00001fc5: SHL
00001fc6: SUB
00001fc7: DUP4
00001fc8: AND
00001fc9: PUSH20 0x7f39c581f595b53c5cb19bd0b3f8da6c935e2ca0
00001fde: EQ
00001fdf: ISZERO
00001fe0: PUSH2 0x21b3
00001fe3: JUMPI
00001fe4: PUSH1 0x40
00001fe6: MLOAD
00001fe7: PUSH32 0xde0e9a3e00000000000000000000000000000000000000000000000000000000
00002008: DUP2
00002009: MSTORE
0000200a: PUSH1 0x04
0000200c: DUP2
0000200d: ADD
0000200e: DUP4
0000200f: SWAP1
00002010: MSTORE
00002011: PUSH1 0x00
00002013: SWAP1
00002014: PUSH1 0x01
00002016: PUSH1 0x01
00002018: PUSH1 0xa0
0000201a: SHL
0000201b: SUB
0000201c: DUP6
0000201d: AND
0000201e: SWAP1
0000201f: PUSH4 0xde0e9a3e
00002024: SWAP1
00002025: PUSH1 0x24
00002027: ADD
00002028: PUSH1 0x20
0000202a: PUSH1 0x40
0000202c: MLOAD
0000202d: DUP1
0000202e: DUP4
0000202f: SUB
00002030: DUP2
00002031: PUSH1 0x00
00002033: DUP8
00002034: GAS
00002035: CALL
00002036: ISZERO
00002037: DUP1
00002038: ISZERO
00002039: PUSH2 0x2046
0000203c: JUMPI
0000203d: RETURNDATASIZE
0000203e: PUSH1 0x00
00002040: DUP1
00002041: RETURNDATACOPY
00002042: RETURNDATASIZE
00002043: PUSH1 0x00
00002045: REVERT
00002046: JUMPDEST
00002047: POP
00002048: POP
00002049: POP
0000204a: POP
0000204b: PUSH1 0x40
0000204d: MLOAD
0000204e: RETURNDATASIZE
0000204f: PUSH1 0x1f
00002051: NOT
00002052: PUSH1 0x1f
00002054: DUP3
00002055: ADD
00002056: AND
00002057: DUP3
00002058: ADD
00002059: DUP1
0000205a: PUSH1 0x40
0000205c: MSTORE
0000205d: POP
0000205e: DUP2
0000205f: ADD
00002060: SWAP1
00002061: PUSH2 0x206a
00002064: SWAP2
00002065: SWAP1
00002066: PUSH2 0x2e3a
00002069: JUMP
0000206a: JUMPDEST
0000206b: SWAP1
0000206c: POP
0000206d: PUSH2 0x209f
00002070: PUSH20 0xae7ab96520de3a18e5e111b5eaab095312d7fe84
00002085: PUSH20 0xdc24316b9ae028f1497c275eb9192a3ea0f67022
0000209a: DUP4
0000209b: PUSH2 0x27f1
0000209e: JUMP
0000209f: JUMPDEST
000020a0: PUSH1 0x40
000020a2: MLOAD
000020a3: PUSH32 0x3df0212400000000000000000000000000000000000000000000000000000000
000020c4: DUP2
000020c5: MSTORE
000020c6: PUSH1 0x01
000020c8: PUSH1 0x04
000020ca: DUP3
000020cb: ADD
000020cc: MSTORE
000020cd: PUSH1 0x00
000020cf: PUSH1 0x24
000020d1: DUP3
000020d2: ADD
000020d3: MSTORE
000020d4: PUSH1 0x44
000020d6: DUP2
000020d7: ADD
000020d8: DUP3
000020d9: SWAP1
000020da: MSTORE
000020db: PUSH1 0x64
000020dd: DUP2
000020de: ADD
000020df: DUP4
000020e0: SWAP1
000020e1: MSTORE
000020e2: PUSH20 0xdc24316b9ae028f1497c275eb9192a3ea0f67022
000020f7: SWAP1
000020f8: PUSH4 0x3df02124
000020fd: SWAP1
000020fe: PUSH1 0x84
00002100: ADD
00002101: PUSH1 0x20
00002103: PUSH1 0x40
00002105: MLOAD
00002106: DUP1
00002107: DUP4
00002108: SUB
00002109: DUP2
0000210a: PUSH1 0x00
0000210c: DUP8
0000210d: GAS
0000210e: CALL
0000210f: ISZERO
00002110: DUP1
00002111: ISZERO
00002112: PUSH2 0x211f
00002115: JUMPI
00002116: RETURNDATASIZE
00002117: PUSH1 0x00
00002119: DUP1
0000211a: RETURNDATACOPY
0000211b: RETURNDATASIZE
0000211c: PUSH1 0x00
0000211e: REVERT
0000211f: JUMPDEST
00002120: POP
00002121: POP
00002122: POP
00002123: POP
00002124: PUSH1 0x40
00002126: MLOAD
00002127: RETURNDATASIZE
00002128: PUSH1 0x1f
0000212a: NOT
0000212b: PUSH1 0x1f
0000212d: DUP3
0000212e: ADD
0000212f: AND
00002130: DUP3
00002131: ADD
00002132: DUP1
00002133: PUSH1 0x40
00002135: MSTORE
00002136: POP
00002137: DUP2
00002138: ADD
00002139: SWAP1
0000213a: PUSH2 0x2143
0000213d: SWAP2
0000213e: SWAP1
0000213f: PUSH2 0x2e3a
00002142: JUMP
00002143: JUMPDEST
00002144: POP
00002145: PUSH1 0x02
00002147: PUSH1 0x00
00002149: SWAP1
0000214a: SLOAD
0000214b: SWAP1
0000214c: PUSH2 0x0100
0000214f: EXP
00002150: SWAP1
00002151: DIV
00002152: PUSH1 0x01
00002154: PUSH1 0x01
00002156: PUSH1 0xa0
00002158: SHL
00002159: SUB
0000215a: AND
0000215b: PUSH1 0x01
0000215d: PUSH1 0x01
0000215f: PUSH1 0xa0
00002161: SHL
00002162: SUB
00002163: AND
00002164: PUSH4 0xd0e30db0
00002169: SELFBALANCE
0000216a: PUSH1 0x40
0000216c: MLOAD
0000216d: DUP3
0000216e: PUSH4 0xffffffff
00002173: AND
00002174: PUSH1 0xe0
00002176: SHL
00002177: DUP2
00002178: MSTORE
00002179: PUSH1 0x04
0000217b: ADD
0000217c: PUSH1 0x00
0000217e: PUSH1 0x40
00002180: MLOAD
00002181: DUP1
00002182: DUP4
00002183: SUB
00002184: DUP2
00002185: DUP6
00002186: DUP9
00002187: DUP1
00002188: EXTCODESIZE
00002189: ISZERO
0000218a: DUP1
0000218b: ISZERO
0000218c: PUSH2 0x2194
0000218f: JUMPI
00002190: PUSH1 0x00
00002192: DUP1
00002193: REVERT
00002194: JUMPDEST
00002195: POP
00002196: GAS
00002197: CALL
00002198: ISZERO
00002199: DUP1
0000219a: ISZERO
0000219b: PUSH2 0x21a8
0000219e: JUMPI
0000219f: RETURNDATASIZE
000021a0: PUSH1 0x00
000021a2: DUP1
000021a3: RETURNDATACOPY
000021a4: RETURNDATASIZE
000021a5: PUSH1 0x00
000021a7: REVERT
000021a8: JUMPDEST
000021a9: POP
000021aa: POP
000021ab: POP
000021ac: POP
000021ad: POP
000021ae: POP
000021af: POP
000021b0: POP
000021b1: POP
000021b2: JUMP
000021b3: JUMPDEST
000021b4: PUSH1 0x01
000021b6: SLOAD
000021b7: PUSH1 0x01
000021b9: PUSH1 0x01
000021bb: PUSH1 0xa0
000021bd: SHL
000021be: SUB
000021bf: DUP5
000021c0: DUP2
000021c1: AND
000021c2: SWAP2
000021c3: AND
000021c4: EQ
000021c5: ISZERO
000021c6: PUSH2 0x226c
000021c9: JUMPI
000021ca: PUSH1 0x01
000021cc: SLOAD
000021cd: PUSH2 0x21e1
000021d0: SWAP1
000021d1: DUP5
000021d2: SWAP1
000021d3: PUSH1 0x01
000021d5: PUSH1 0x01
000021d7: PUSH1 0xa0
000021d9: SHL
000021da: SUB
000021db: AND
000021dc: DUP5
000021dd: PUSH2 0x27f1
000021e0: JUMP
000021e1: JUMPDEST
000021e2: PUSH1 0x01
000021e4: SLOAD
000021e5: PUSH1 0x40
000021e7: MLOAD
000021e8: PUSH32 0x2e1a7d4d00000000000000000000000000000000000000000000000000000000
00002209: DUP2
0000220a: MSTORE
0000220b: PUSH1 0x04
0000220d: DUP2
0000220e: ADD
0000220f: DUP5
00002210: SWAP1
00002211: MSTORE
00002212: PUSH1 0x01
00002214: PUSH1 0x01
00002216: PUSH1 0xa0
00002218: SHL
00002219: SUB
0000221a: SWAP1
0000221b: SWAP2
0000221c: AND
0000221d: SWAP1
0000221e: PUSH4 0x2e1a7d4d
00002223: SWAP1
00002224: PUSH1 0x24
00002226: ADD
00002227: PUSH1 0x20
00002229: PUSH1 0x40
0000222b: MLOAD
0000222c: DUP1
0000222d: DUP4
0000222e: SUB
0000222f: DUP2
00002230: PUSH1 0x00
00002232: DUP8
00002233: GAS
00002234: CALL
00002235: ISZERO
00002236: DUP1
00002237: ISZERO
00002238: PUSH2 0x2245
0000223b: JUMPI
0000223c: RETURNDATASIZE
0000223d: PUSH1 0x00
0000223f: DUP1
00002240: RETURNDATACOPY
00002241: RETURNDATASIZE
00002242: PUSH1 0x00
00002244: REVERT
00002245: JUMPDEST
00002246: POP
00002247: POP
00002248: POP
00002249: POP
0000224a: PUSH1 0x40
0000224c: MLOAD
0000224d: RETURNDATASIZE
0000224e: PUSH1 0x1f
00002250: NOT
00002251: PUSH1 0x1f
00002253: DUP3
00002254: ADD
00002255: AND
00002256: DUP3
00002257: ADD
00002258: DUP1
00002259: PUSH1 0x40
0000225b: MSTORE
0000225c: POP
0000225d: DUP2
0000225e: ADD
0000225f: SWAP1
00002260: PUSH2 0x2269
00002263: SWAP2
00002264: SWAP1
00002265: PUSH2 0x2e3a
00002268: JUMP
00002269: JUMPDEST
0000226a: SWAP2
0000226b: POP
0000226c: JUMPDEST
0000226d: PUSH1 0x01
0000226f: SLOAD
00002270: PUSH2 0x22bd
00002273: SWAP1
00002274: PUSH1 0x01
00002276: PUSH1 0x01
00002278: PUSH1 0xa0
0000227a: SHL
0000227b: SUB
0000227c: DUP6
0000227d: DUP2
0000227e: AND
0000227f: SWAP2
00002280: AND
00002281: EQ
00002282: ISZERO
00002283: PUSH2 0x22a0
00002286: JUMPI
00002287: PUSH20 0xa0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
0000229c: PUSH2 0x22a2
0000229f: JUMP
000022a0: JUMPDEST
000022a1: DUP4
000022a2: JUMPDEST
000022a3: PUSH20 0x68b3465833fb72a70ecdf485e0e4c7bd8665fc45
000022b8: DUP5
000022b9: PUSH2 0x27f1
000022bc: JUMP
000022bd: JUMPDEST
000022be: PUSH1 0x40
000022c0: DUP1
000022c1: MLOAD
000022c2: PUSH1 0x80
000022c4: DUP2
000022c5: ADD
000022c6: DUP3
000022c7: MSTORE
000022c8: PUSH1 0x01
000022ca: PUSH1 0x01
000022cc: PUSH1 0xa0
000022ce: SHL
000022cf: SUB
000022d0: DUP6
000022d1: AND
000022d2: PUSH1 0x00
000022d4: SWAP1
000022d5: DUP2
000022d6: MSTORE
000022d7: PUSH1 0x06
000022d9: PUSH1 0x20
000022db: MSTORE
000022dc: SWAP2
000022dd: DUP3
000022de: KECCAK256
000022df: DUP1
000022e0: SLOAD
000022e1: DUP3
000022e2: SWAP2
000022e3: SWAP1
000022e4: PUSH2 0x22ec
000022e7: SWAP1
000022e8: PUSH2 0x2f9b
000022eb: JUMP
000022ec: JUMPDEST
000022ed: DUP1
000022ee: PUSH1 0x1f
000022f0: ADD
000022f1: PUSH1 0x20
000022f3: DUP1
000022f4: SWAP2
000022f5: DIV
000022f6: MUL
000022f7: PUSH1 0x20
000022f9: ADD
000022fa: PUSH1 0x40
000022fc: MLOAD
000022fd: SWAP1
000022fe: DUP2
000022ff: ADD
00002300: PUSH1 0x40
00002302: MSTORE
00002303: DUP1
00002304: SWAP3
00002305: SWAP2
00002306: SWAP1
00002307: DUP2
00002308: DUP2
00002309: MSTORE
0000230a: PUSH1 0x20
0000230c: ADD
0000230d: DUP3
0000230e: DUP1
0000230f: SLOAD
00002310: PUSH2 0x2318
00002313: SWAP1
00002314: PUSH2 0x2f9b
00002317: JUMP
00002318: JUMPDEST
00002319: DUP1
0000231a: ISZERO
0000231b: PUSH2 0x2365
0000231e: JUMPI
0000231f: DUP1
00002320: PUSH1 0x1f
00002322: LT
00002323: PUSH2 0x233a
00002326: JUMPI
00002327: PUSH2 0x0100
0000232a: DUP1
0000232b: DUP4
0000232c: SLOAD
0000232d: DIV
0000232e: MUL
0000232f: DUP4
00002330: MSTORE
00002331: SWAP2
00002332: PUSH1 0x20
00002334: ADD
00002335: SWAP2
00002336: PUSH2 0x2365
00002339: JUMP
0000233a: JUMPDEST
0000233b: DUP3
0000233c: ADD
0000233d: SWAP2
0000233e: SWAP1
0000233f: PUSH1 0x00
00002341: MSTORE
00002342: PUSH1 0x20
00002344: PUSH1 0x00
00002346: KECCAK256
00002347: SWAP1
00002348: JUMPDEST
00002349: DUP2
0000234a: SLOAD
0000234b: DUP2
0000234c: MSTORE
0000234d: SWAP1
0000234e: PUSH1 0x01
00002350: ADD
00002351: SWAP1
00002352: PUSH1 0x20
00002354: ADD
00002355: DUP1
00002356: DUP4
00002357: GT
00002358: PUSH2 0x2348
0000235b: JUMPI
0000235c: DUP3
0000235d: SWAP1
0000235e: SUB
0000235f: PUSH1 0x1f
00002361: AND
00002362: DUP3
00002363: ADD
00002364: SWAP2
00002365: JUMPDEST
00002366: POP
00002367: POP
00002368: POP
00002369: SWAP2
0000236a: DUP4
0000236b: MSTORE
0000236c: POP
0000236d: POP
0000236e: ADDRESS
0000236f: PUSH1 0x20
00002371: DUP3
00002372: ADD
00002373: MSTORE
00002374: PUSH1 0x40
00002376: DUP1
00002377: DUP3
00002378: ADD
00002379: DUP7
0000237a: SWAP1
0000237b: MSTORE
0000237c: PUSH1 0x60
0000237e: SWAP1
0000237f: SWAP2
00002380: ADD
00002381: DUP5
00002382: SWAP1
00002383: MSTORE
00002384: MLOAD
00002385: PUSH32 0xb858183f00000000000000000000000000000000000000000000000000000000
000023a6: DUP2
000023a7: MSTORE
000023a8: SWAP1
000023a9: SWAP2
000023aa: POP
000023ab: PUSH20 0x68b3465833fb72a70ecdf485e0e4c7bd8665fc45
000023c0: SWAP1
000023c1: PUSH4 0xb858183f
000023c6: SWAP1
000023c7: PUSH2 0x23d4
000023ca: SWAP1
000023cb: DUP5
000023cc: SWAP1
000023cd: PUSH1 0x04
000023cf: ADD
000023d0: PUSH2 0x3294
000023d3: JUMP
000023d4: JUMPDEST
000023d5: PUSH1 0x20
000023d7: PUSH1 0x40
000023d9: MLOAD
000023da: DUP1
000023db: DUP4
000023dc: SUB
000023dd: DUP2
000023de: PUSH1 0x00
000023e0: DUP8
000023e1: GAS
000023e2: CALL
000023e3: ISZERO
000023e4: DUP1
000023e5: ISZERO
000023e6: PUSH2 0x23f3
000023e9: JUMPI
000023ea: RETURNDATASIZE
000023eb: PUSH1 0x00
000023ed: DUP1
000023ee: RETURNDATACOPY
000023ef: RETURNDATASIZE
000023f0: PUSH1 0x00
000023f2: REVERT
000023f3: JUMPDEST
000023f4: POP
000023f5: POP
000023f6: POP
000023f7: POP
000023f8: PUSH1 0x40
000023fa: MLOAD
000023fb: RETURNDATASIZE
000023fc: PUSH1 0x1f
000023fe: NOT
000023ff: PUSH1 0x1f
00002401: DUP3
00002402: ADD
00002403: AND
00002404: DUP3
00002405: ADD
00002406: DUP1
00002407: PUSH1 0x40
00002409: MSTORE
0000240a: POP
0000240b: DUP2
0000240c: ADD
0000240d: SWAP1
0000240e: PUSH2 0x2417
00002411: SWAP2
00002412: SWAP1
00002413: PUSH2 0x2e3a
00002416: JUMP
00002417: JUMPDEST
00002418: POP
00002419: POP
0000241a: POP
0000241b: POP
0000241c: POP
0000241d: JUMP
0000241e: JUMPDEST
0000241f: PUSH1 0x40
00002421: MLOAD
00002422: PUSH1 0x01
00002424: PUSH1 0x01
00002426: PUSH1 0xa0
00002428: SHL
00002429: SUB
0000242a: DUP4
0000242b: AND
0000242c: PUSH1 0x24
0000242e: DUP3
0000242f: ADD
00002430: MSTORE
00002431: PUSH1 0x44
00002433: DUP2
00002434: ADD
00002435: DUP3
00002436: SWAP1
00002437: MSTORE
00002438: PUSH2 0x24e5
0000243b: SWAP1
0000243c: DUP5
0000243d: SWAP1
0000243e: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
0000245f: SWAP1
00002460: PUSH1 0x64
00002462: ADD
00002463: JUMPDEST
00002464: PUSH1 0x40
00002466: DUP1
00002467: MLOAD
00002468: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002489: DUP2
0000248a: DUP5
0000248b: SUB
0000248c: ADD
0000248d: DUP2
0000248e: MSTORE
0000248f: SWAP2
00002490: SWAP1
00002491: MSTORE
00002492: PUSH1 0x20
00002494: DUP2
00002495: ADD
00002496: DUP1
00002497: MLOAD
00002498: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000024b5: AND
000024b6: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
000024d7: SWAP1
000024d8: SWAP4
000024d9: AND
000024da: SWAP3
000024db: SWAP1
000024dc: SWAP3
000024dd: OR
000024de: SWAP1
000024df: SWAP2
000024e0: MSTORE
000024e1: PUSH2 0x2933
000024e4: JUMP
000024e5: JUMPDEST
000024e6: POP
000024e7: POP
000024e8: POP
000024e9: JUMP
000024ea: JUMPDEST
000024eb: DUP1
000024ec: ISZERO
000024ed: DUP1
000024ee: PUSH2 0x257d
000024f1: JUMPI
000024f2: POP
000024f3: PUSH1 0x40
000024f5: MLOAD
000024f6: PUSH32 0xdd62ed3e00000000000000000000000000000000000000000000000000000000
00002517: DUP2
00002518: MSTORE
00002519: ADDRESS
0000251a: PUSH1 0x04
0000251c: DUP3
0000251d: ADD
0000251e: MSTORE
0000251f: PUSH1 0x01
00002521: PUSH1 0x01
00002523: PUSH1 0xa0
00002525: SHL
00002526: SUB
00002527: DUP4
00002528: DUP2
00002529: AND
0000252a: PUSH1 0x24
0000252c: DUP4
0000252d: ADD
0000252e: MSTORE
0000252f: DUP5
00002530: AND
00002531: SWAP1
00002532: PUSH4 0xdd62ed3e
00002537: SWAP1
00002538: PUSH1 0x44
0000253a: ADD
0000253b: PUSH1 0x20
0000253d: PUSH1 0x40
0000253f: MLOAD
00002540: DUP1
00002541: DUP4
00002542: SUB
00002543: DUP2
00002544: DUP7
00002545: GAS
00002546: STATICCALL
00002547: ISZERO
00002548: DUP1
00002549: ISZERO
0000254a: PUSH2 0x2557
0000254d: JUMPI
0000254e: RETURNDATASIZE
0000254f: PUSH1 0x00
00002551: DUP1
00002552: RETURNDATACOPY
00002553: RETURNDATASIZE
00002554: PUSH1 0x00
00002556: REVERT
00002557: JUMPDEST
00002558: POP
00002559: POP
0000255a: POP
0000255b: POP
0000255c: PUSH1 0x40
0000255e: MLOAD
0000255f: RETURNDATASIZE
00002560: PUSH1 0x1f
00002562: NOT
00002563: PUSH1 0x1f
00002565: DUP3
00002566: ADD
00002567: AND
00002568: DUP3
00002569: ADD
0000256a: DUP1
0000256b: PUSH1 0x40
0000256d: MSTORE
0000256e: POP
0000256f: DUP2
00002570: ADD
00002571: SWAP1
00002572: PUSH2 0x257b
00002575: SWAP2
00002576: SWAP1
00002577: PUSH2 0x2e3a
0000257a: JUMP
0000257b: JUMPDEST
0000257c: ISZERO
0000257d: JUMPDEST
0000257e: PUSH2 0x25ef
00002581: JUMPI
00002582: PUSH1 0x40
00002584: MLOAD
00002585: PUSH3 0x461bcd
00002589: PUSH1 0xe5
0000258b: SHL
0000258c: DUP2
0000258d: MSTORE
0000258e: PUSH1 0x20
00002590: PUSH1 0x04
00002592: DUP3
00002593: ADD
00002594: MSTORE
00002595: PUSH1 0x36
00002597: PUSH1 0x24
00002599: DUP3
0000259a: ADD
0000259b: MSTORE
0000259c: PUSH32 0x5361666545524332303a20617070726f76652066726f6d206e6f6e2d7a65726f
000025bd: PUSH1 0x44
000025bf: DUP3
000025c0: ADD
000025c1: MSTORE
000025c2: PUSH32 0x20746f206e6f6e2d7a65726f20616c6c6f77616e636500000000000000000000
000025e3: PUSH1 0x64
000025e5: DUP3
000025e6: ADD
000025e7: MSTORE
000025e8: PUSH1 0x84
000025ea: ADD
000025eb: PUSH2 0x0782
000025ee: JUMP
000025ef: JUMPDEST
000025f0: PUSH1 0x40
000025f2: MLOAD
000025f3: PUSH1 0x01
000025f5: PUSH1 0x01
000025f7: PUSH1 0xa0
000025f9: SHL
000025fa: SUB
000025fb: DUP4
000025fc: AND
000025fd: PUSH1 0x24
000025ff: DUP3
00002600: ADD
00002601: MSTORE
00002602: PUSH1 0x44
00002604: DUP2
00002605: ADD
00002606: DUP3
00002607: SWAP1
00002608: MSTORE
00002609: PUSH2 0x24e5
0000260c: SWAP1
0000260d: DUP5
0000260e: SWAP1
0000260f: PUSH32 0x095ea7b300000000000000000000000000000000000000000000000000000000
00002630: SWAP1
00002631: PUSH1 0x64
00002633: ADD
00002634: PUSH2 0x2463
00002637: JUMP
00002638: JUMPDEST
00002639: PUSH1 0x40
0000263b: MLOAD
0000263c: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
0000265d: DUP2
0000265e: MSTORE
0000265f: ADDRESS
00002660: PUSH1 0x04
00002662: DUP3
00002663: ADD
00002664: MSTORE
00002665: DUP2
00002666: SWAP1
00002667: PUSH1 0x00
00002669: SWAP1
0000266a: PUSH1 0x01
0000266c: PUSH1 0x01
0000266e: PUSH1 0xa0
00002670: SHL
00002671: SUB
00002672: DUP4
00002673: AND
00002674: SWAP1
00002675: PUSH4 0x70a08231
0000267a: SWAP1
0000267b: PUSH1 0x24
0000267d: ADD
0000267e: PUSH1 0x20
00002680: PUSH1 0x40
00002682: MLOAD
00002683: DUP1
00002684: DUP4
00002685: SUB
00002686: DUP2
00002687: DUP7
00002688: GAS
00002689: STATICCALL
0000268a: ISZERO
0000268b: DUP1
0000268c: ISZERO
0000268d: PUSH2 0x269a
00002690: JUMPI
00002691: RETURNDATASIZE
00002692: PUSH1 0x00
00002694: DUP1
00002695: RETURNDATACOPY
00002696: RETURNDATASIZE
00002697: PUSH1 0x00
00002699: REVERT
0000269a: JUMPDEST
0000269b: POP
0000269c: POP
0000269d: POP
0000269e: POP
0000269f: PUSH1 0x40
000026a1: MLOAD
000026a2: RETURNDATASIZE
000026a3: PUSH1 0x1f
000026a5: NOT
000026a6: PUSH1 0x1f
000026a8: DUP3
000026a9: ADD
000026aa: AND
000026ab: DUP3
000026ac: ADD
000026ad: DUP1
000026ae: PUSH1 0x40
000026b0: MSTORE
000026b1: POP
000026b2: DUP2
000026b3: ADD
000026b4: SWAP1
000026b5: PUSH2 0x26be
000026b8: SWAP2
000026b9: SWAP1
000026ba: PUSH2 0x2e3a
000026bd: JUMP
000026be: JUMPDEST
000026bf: SWAP1
000026c0: POP
000026c1: DUP1
000026c2: ISZERO
000026c3: PUSH2 0x271d
000026c6: JUMPI
000026c7: PUSH1 0x03
000026c9: SLOAD
000026ca: PUSH2 0x26e0
000026cd: SWAP1
000026ce: PUSH1 0x01
000026d0: PUSH1 0x01
000026d2: PUSH1 0xa0
000026d4: SHL
000026d5: SUB
000026d6: DUP5
000026d7: DUP2
000026d8: AND
000026d9: SWAP2
000026da: AND
000026db: DUP4
000026dc: PUSH2 0x241e
000026df: JUMP
000026e0: JUMPDEST
000026e1: PUSH1 0x40
000026e3: MLOAD
000026e4: PUSH1 0x01
000026e6: PUSH1 0x01
000026e8: PUSH1 0xa0
000026ea: SHL
000026eb: SUB
000026ec: DUP5
000026ed: AND
000026ee: DUP2
000026ef: MSTORE
000026f0: PUSH32 0xfffe9c6062d03a43f0677eeda8831f7a9fa483cb69f28d2cdb465e84449a2140
00002711: SWAP1
00002712: PUSH1 0x20
00002714: ADD
00002715: PUSH1 0x40
00002717: MLOAD
00002718: DUP1
00002719: SWAP2
0000271a: SUB
0000271b: SWAP1
0000271c: LOG1
0000271d: JUMPDEST
0000271e: PUSH1 0x01
00002720: PUSH1 0x01
00002722: PUSH1 0xa0
00002724: SHL
00002725: SUB
00002726: DUP4
00002727: AND
00002728: PUSH20 0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
0000273d: EQ
0000273e: ISZERO
0000273f: PUSH2 0x24e5
00002742: JUMPI
00002743: SELFBALANCE
00002744: DUP1
00002745: ISZERO
00002746: PUSH2 0x2783
00002749: JUMPI
0000274a: PUSH1 0x03
0000274c: SLOAD
0000274d: PUSH1 0x40
0000274f: MLOAD
00002750: PUSH1 0x01
00002752: PUSH1 0x01
00002754: PUSH1 0xa0
00002756: SHL
00002757: SUB
00002758: SWAP1
00002759: SWAP2
0000275a: AND
0000275b: SWAP1
0000275c: DUP3
0000275d: ISZERO
0000275e: PUSH2 0x08fc
00002761: MUL
00002762: SWAP1
00002763: DUP4
00002764: SWAP1
00002765: PUSH1 0x00
00002767: DUP2
00002768: DUP2
00002769: DUP2
0000276a: DUP6
0000276b: DUP9
0000276c: DUP9
0000276d: CALL
0000276e: SWAP4
0000276f: POP
00002770: POP
00002771: POP
00002772: POP
00002773: ISZERO
00002774: DUP1
00002775: ISZERO
00002776: PUSH2 0x2417
00002779: JUMPI
0000277a: RETURNDATASIZE
0000277b: PUSH1 0x00
0000277d: DUP1
0000277e: RETURNDATACOPY
0000277f: RETURNDATASIZE
00002780: PUSH1 0x00
00002782: REVERT
00002783: JUMPDEST
00002784: POP
00002785: POP
00002786: POP
00002787: POP
00002788: JUMP
00002789: JUMPDEST
0000278a: PUSH1 0x00
0000278c: DUP1
0000278d: SLOAD
0000278e: PUSH1 0x01
00002790: PUSH1 0x01
00002792: PUSH1 0xa0
00002794: SHL
00002795: SUB
00002796: DUP4
00002797: DUP2
00002798: AND
00002799: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
000027ba: DUP4
000027bb: AND
000027bc: DUP2
000027bd: OR
000027be: DUP5
000027bf: SSTORE
000027c0: PUSH1 0x40
000027c2: MLOAD
000027c3: SWAP2
000027c4: SWAP1
000027c5: SWAP3
000027c6: AND
000027c7: SWAP3
000027c8: DUP4
000027c9: SWAP2
000027ca: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000027eb: SWAP2
000027ec: SWAP1
000027ed: LOG3
000027ee: POP
000027ef: POP
000027f0: JUMP
000027f1: JUMPDEST
000027f2: PUSH1 0x40
000027f4: DUP1
000027f5: MLOAD
000027f6: PUSH1 0x01
000027f8: PUSH1 0x01
000027fa: PUSH1 0xa0
000027fc: SHL
000027fd: SUB
000027fe: DUP5
000027ff: DUP2
00002800: AND
00002801: PUSH1 0x24
00002803: DUP4
00002804: ADD
00002805: MSTORE
00002806: PUSH1 0x44
00002808: DUP1
00002809: DUP4
0000280a: ADD
0000280b: DUP6
0000280c: SWAP1
0000280d: MSTORE
0000280e: DUP4
0000280f: MLOAD
00002810: DUP1
00002811: DUP5
00002812: SUB
00002813: SWAP1
00002814: SWAP2
00002815: ADD
00002816: DUP2
00002817: MSTORE
00002818: PUSH1 0x64
0000281a: SWAP1
0000281b: SWAP3
0000281c: ADD
0000281d: DUP4
0000281e: MSTORE
0000281f: PUSH1 0x20
00002821: DUP3
00002822: ADD
00002823: DUP1
00002824: MLOAD
00002825: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002842: AND
00002843: PUSH32 0x095ea7b300000000000000000000000000000000000000000000000000000000
00002864: OR
00002865: SWAP1
00002866: MSTORE
00002867: SWAP2
00002868: MLOAD
00002869: PUSH1 0x00
0000286b: SWAP3
0000286c: DUP4
0000286d: SWAP3
0000286e: SWAP1
0000286f: DUP8
00002870: AND
00002871: SWAP2
00002872: PUSH2 0x287b
00002875: SWAP2
00002876: SWAP1
00002877: PUSH2 0x32e3
0000287a: JUMP
0000287b: JUMPDEST
0000287c: PUSH1 0x00
0000287e: PUSH1 0x40
00002880: MLOAD
00002881: DUP1
00002882: DUP4
00002883: SUB
00002884: DUP2
00002885: PUSH1 0x00
00002887: DUP7
00002888: GAS
00002889: CALL
0000288a: SWAP2
0000288b: POP
0000288c: POP
0000288d: RETURNDATASIZE
0000288e: DUP1
0000288f: PUSH1 0x00
00002891: DUP2
00002892: EQ
00002893: PUSH2 0x28b8
00002896: JUMPI
00002897: PUSH1 0x40
00002899: MLOAD
0000289a: SWAP2
0000289b: POP
0000289c: PUSH1 0x1f
0000289e: NOT
0000289f: PUSH1 0x3f
000028a1: RETURNDATASIZE
000028a2: ADD
000028a3: AND
000028a4: DUP3
000028a5: ADD
000028a6: PUSH1 0x40
000028a8: MSTORE
000028a9: RETURNDATASIZE
000028aa: DUP3
000028ab: MSTORE
000028ac: RETURNDATASIZE
000028ad: PUSH1 0x00
000028af: PUSH1 0x20
000028b1: DUP5
000028b2: ADD
000028b3: RETURNDATACOPY
000028b4: PUSH2 0x28bd
000028b7: JUMP
000028b8: JUMPDEST
000028b9: PUSH1 0x60
000028bb: SWAP2
000028bc: POP
000028bd: JUMPDEST
000028be: POP
000028bf: SWAP2
000028c0: POP
000028c1: SWAP2
000028c2: POP
000028c3: DUP2
000028c4: DUP1
000028c5: ISZERO
000028c6: PUSH2 0x28e7
000028c9: JUMPI
000028ca: POP
000028cb: DUP1
000028cc: MLOAD
000028cd: ISZERO
000028ce: DUP1
000028cf: PUSH2 0x28e7
000028d2: JUMPI
000028d3: POP
000028d4: DUP1
000028d5: DUP1
000028d6: PUSH1 0x20
000028d8: ADD
000028d9: SWAP1
000028da: MLOAD
000028db: DUP2
000028dc: ADD
000028dd: SWAP1
000028de: PUSH2 0x28e7
000028e1: SWAP2
000028e2: SWAP1
000028e3: PUSH2 0x2f79
000028e6: JUMP
000028e7: JUMPDEST
000028e8: PUSH2 0x2417
000028eb: JUMPI
000028ec: PUSH1 0x40
000028ee: MLOAD
000028ef: PUSH3 0x461bcd
000028f3: PUSH1 0xe5
000028f5: SHL
000028f6: DUP2
000028f7: MSTORE
000028f8: PUSH1 0x20
000028fa: PUSH1 0x04
000028fc: DUP3
000028fd: ADD
000028fe: MSTORE
000028ff: PUSH1 0x02
00002901: PUSH1 0x24
00002903: DUP3
00002904: ADD
00002905: MSTORE
00002906: PUSH32 0x5341000000000000000000000000000000000000000000000000000000000000
00002927: PUSH1 0x44
00002929: DUP3
0000292a: ADD
0000292b: MSTORE
0000292c: PUSH1 0x64
0000292e: ADD
0000292f: PUSH2 0x0782
00002932: JUMP
00002933: JUMPDEST
00002934: PUSH1 0x00
00002936: PUSH2 0x2988
00002939: DUP3
0000293a: PUSH1 0x40
0000293c: MLOAD
0000293d: DUP1
0000293e: PUSH1 0x40
00002940: ADD
00002941: PUSH1 0x40
00002943: MSTORE
00002944: DUP1
00002945: PUSH1 0x20
00002947: DUP2
00002948: MSTORE
00002949: PUSH1 0x20
0000294b: ADD
0000294c: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
0000296d: DUP2
0000296e: MSTORE
0000296f: POP
00002970: DUP6
00002971: PUSH1 0x01
00002973: PUSH1 0x01
00002975: PUSH1 0xa0
00002977: SHL
00002978: SUB
00002979: AND
0000297a: PUSH2 0x2a18
0000297d: SWAP1
0000297e: SWAP3
0000297f: SWAP2
00002980: SWAP1
00002981: PUSH4 0xffffffff
00002986: AND
00002987: JUMP
00002988: JUMPDEST
00002989: DUP1
0000298a: MLOAD
0000298b: SWAP1
0000298c: SWAP2
0000298d: POP
0000298e: ISZERO
0000298f: PUSH2 0x24e5
00002992: JUMPI
00002993: DUP1
00002994: DUP1
00002995: PUSH1 0x20
00002997: ADD
00002998: SWAP1
00002999: MLOAD
0000299a: DUP2
0000299b: ADD
0000299c: SWAP1
0000299d: PUSH2 0x29a6
000029a0: SWAP2
000029a1: SWAP1
000029a2: PUSH2 0x2f79
000029a5: JUMP
000029a6: JUMPDEST
000029a7: PUSH2 0x24e5
000029aa: JUMPI
000029ab: PUSH1 0x40
000029ad: MLOAD
000029ae: PUSH3 0x461bcd
000029b2: PUSH1 0xe5
000029b4: SHL
000029b5: DUP2
000029b6: MSTORE
000029b7: PUSH1 0x20
000029b9: PUSH1 0x04
000029bb: DUP3
000029bc: ADD
000029bd: MSTORE
000029be: PUSH1 0x2a
000029c0: PUSH1 0x24
000029c2: DUP3
000029c3: ADD
000029c4: MSTORE
000029c5: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
000029e6: PUSH1 0x44
000029e8: DUP3
000029e9: ADD
000029ea: MSTORE
000029eb: PUSH32 0x6f74207375636365656400000000000000000000000000000000000000000000
00002a0c: PUSH1 0x64
00002a0e: DUP3
00002a0f: ADD
00002a10: MSTORE
00002a11: PUSH1 0x84
00002a13: ADD
00002a14: PUSH2 0x0782
00002a17: JUMP
00002a18: JUMPDEST
00002a19: PUSH1 0x60
00002a1b: PUSH2 0x2a27
00002a1e: DUP5
00002a1f: DUP5
00002a20: PUSH1 0x00
00002a22: DUP6
00002a23: PUSH2 0x2a31
00002a26: JUMP
00002a27: JUMPDEST
00002a28: SWAP1
00002a29: POP
00002a2a: JUMPDEST
00002a2b: SWAP4
00002a2c: SWAP3
00002a2d: POP
00002a2e: POP
00002a2f: POP
00002a30: JUMP
00002a31: JUMPDEST
00002a32: PUSH1 0x60
00002a34: DUP3
00002a35: SELFBALANCE
00002a36: LT
00002a37: ISZERO
00002a38: PUSH2 0x2aa9
00002a3b: JUMPI
00002a3c: PUSH1 0x40
00002a3e: MLOAD
00002a3f: PUSH3 0x461bcd
00002a43: PUSH1 0xe5
00002a45: SHL
00002a46: DUP2
00002a47: MSTORE
00002a48: PUSH1 0x20
00002a4a: PUSH1 0x04
00002a4c: DUP3
00002a4d: ADD
00002a4e: MSTORE
00002a4f: PUSH1 0x26
00002a51: PUSH1 0x24
00002a53: DUP3
00002a54: ADD
00002a55: MSTORE
00002a56: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f
00002a77: PUSH1 0x44
00002a79: DUP3
00002a7a: ADD
00002a7b: MSTORE
00002a7c: PUSH32 0x722063616c6c0000000000000000000000000000000000000000000000000000
00002a9d: PUSH1 0x64
00002a9f: DUP3
00002aa0: ADD
00002aa1: MSTORE
00002aa2: PUSH1 0x84
00002aa4: ADD
00002aa5: PUSH2 0x0782
00002aa8: JUMP
00002aa9: JUMPDEST
00002aaa: DUP5
00002aab: EXTCODESIZE
00002aac: PUSH2 0x2af7
00002aaf: JUMPI
00002ab0: PUSH1 0x40
00002ab2: MLOAD
00002ab3: PUSH3 0x461bcd
00002ab7: PUSH1 0xe5
00002ab9: SHL
00002aba: DUP2
00002abb: MSTORE
00002abc: PUSH1 0x20
00002abe: PUSH1 0x04
00002ac0: DUP3
00002ac1: ADD
00002ac2: MSTORE
00002ac3: PUSH1 0x1d
00002ac5: PUSH1 0x24
00002ac7: DUP3
00002ac8: ADD
00002ac9: MSTORE
00002aca: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
00002aeb: PUSH1 0x44
00002aed: DUP3
00002aee: ADD
00002aef: MSTORE
00002af0: PUSH1 0x64
00002af2: ADD
00002af3: PUSH2 0x0782
00002af6: JUMP
00002af7: JUMPDEST
00002af8: PUSH1 0x00
00002afa: DUP1
00002afb: DUP7
00002afc: PUSH1 0x01
00002afe: PUSH1 0x01
00002b00: PUSH1 0xa0
00002b02: SHL
00002b03: SUB
00002b04: AND
00002b05: DUP6
00002b06: DUP8
00002b07: PUSH1 0x40
00002b09: MLOAD
00002b0a: PUSH2 0x2b13
00002b0d: SWAP2
00002b0e: SWAP1
00002b0f: PUSH2 0x32e3
00002b12: JUMP
00002b13: JUMPDEST
00002b14: PUSH1 0x00
00002b16: PUSH1 0x40
00002b18: MLOAD
00002b19: DUP1
00002b1a: DUP4
00002b1b: SUB
00002b1c: DUP2
00002b1d: DUP6
00002b1e: DUP8
00002b1f: GAS
00002b20: CALL
00002b21: SWAP3
00002b22: POP
00002b23: POP
00002b24: POP
00002b25: RETURNDATASIZE
00002b26: DUP1
00002b27: PUSH1 0x00
00002b29: DUP2
00002b2a: EQ
00002b2b: PUSH2 0x2b50
00002b2e: JUMPI
00002b2f: PUSH1 0x40
00002b31: MLOAD
00002b32: SWAP2
00002b33: POP
00002b34: PUSH1 0x1f
00002b36: NOT
00002b37: PUSH1 0x3f
00002b39: RETURNDATASIZE
00002b3a: ADD
00002b3b: AND
00002b3c: DUP3
00002b3d: ADD
00002b3e: PUSH1 0x40
00002b40: MSTORE
00002b41: RETURNDATASIZE
00002b42: DUP3
00002b43: MSTORE
00002b44: RETURNDATASIZE
00002b45: PUSH1 0x00
00002b47: PUSH1 0x20
00002b49: DUP5
00002b4a: ADD
00002b4b: RETURNDATACOPY
00002b4c: PUSH2 0x2b55
00002b4f: JUMP
00002b50: JUMPDEST
00002b51: PUSH1 0x60
00002b53: SWAP2
00002b54: POP
00002b55: JUMPDEST
00002b56: POP
00002b57: SWAP2
00002b58: POP
00002b59: SWAP2
00002b5a: POP
00002b5b: PUSH2 0x2b65
00002b5e: DUP3
00002b5f: DUP3
00002b60: DUP7
00002b61: PUSH2 0x2b70
00002b64: JUMP
00002b65: JUMPDEST
00002b66: SWAP8
00002b67: SWAP7
00002b68: POP
00002b69: POP
00002b6a: POP
00002b6b: POP
00002b6c: POP
00002b6d: POP
00002b6e: POP
00002b6f: JUMP
00002b70: JUMPDEST
00002b71: PUSH1 0x60
00002b73: DUP4
00002b74: ISZERO
00002b75: PUSH2 0x2b7f
00002b78: JUMPI
00002b79: POP
00002b7a: DUP2
00002b7b: PUSH2 0x2a2a
00002b7e: JUMP
00002b7f: JUMPDEST
00002b80: DUP3
00002b81: MLOAD
00002b82: ISZERO
00002b83: PUSH2 0x2b8f
00002b86: JUMPI
00002b87: DUP3
00002b88: MLOAD
00002b89: DUP1
00002b8a: DUP5
00002b8b: PUSH1 0x20
00002b8d: ADD
00002b8e: REVERT
00002b8f: JUMPDEST
00002b90: DUP2
00002b91: PUSH1 0x40
00002b93: MLOAD
00002b94: PUSH3 0x461bcd
00002b98: PUSH1 0xe5
00002b9a: SHL
00002b9b: DUP2
00002b9c: MSTORE
00002b9d: PUSH1 0x04
00002b9f: ADD
00002ba0: PUSH2 0x0782
00002ba3: SWAP2
00002ba4: SWAP1
00002ba5: PUSH2 0x2d96
00002ba8: JUMP
00002ba9: JUMPDEST
00002baa: DUP3
00002bab: DUP1
00002bac: SLOAD
00002bad: PUSH2 0x2bb5
00002bb0: SWAP1
00002bb1: PUSH2 0x2f9b
00002bb4: JUMP
00002bb5: JUMPDEST
00002bb6: SWAP1
00002bb7: PUSH1 0x00
00002bb9: MSTORE
00002bba: PUSH1 0x20
00002bbc: PUSH1 0x00
00002bbe: KECCAK256
00002bbf: SWAP1
00002bc0: PUSH1 0x1f
00002bc2: ADD
00002bc3: PUSH1 0x20
00002bc5: SWAP1
00002bc6: DIV
00002bc7: DUP2
00002bc8: ADD
00002bc9: SWAP3
00002bca: DUP3
00002bcb: PUSH2 0x2bd7
00002bce: JUMPI
00002bcf: PUSH1 0x00
00002bd1: DUP6
00002bd2: SSTORE
00002bd3: PUSH2 0x2c1d
00002bd6: JUMP
00002bd7: JUMPDEST
00002bd8: DUP3
00002bd9: PUSH1 0x1f
00002bdb: LT
00002bdc: PUSH2 0x2bf0
00002bdf: JUMPI
00002be0: DUP1
00002be1: MLOAD
00002be2: PUSH1 0xff
00002be4: NOT
00002be5: AND
00002be6: DUP4
00002be7: DUP1
00002be8: ADD
00002be9: OR
00002bea: DUP6
00002beb: SSTORE
00002bec: PUSH2 0x2c1d
00002bef: JUMP
00002bf0: JUMPDEST
00002bf1: DUP3
00002bf2: DUP1
00002bf3: ADD
00002bf4: PUSH1 0x01
00002bf6: ADD
00002bf7: DUP6
00002bf8: SSTORE
00002bf9: DUP3
00002bfa: ISZERO
00002bfb: PUSH2 0x2c1d
00002bfe: JUMPI
00002bff: SWAP2
00002c00: DUP3
00002c01: ADD
00002c02: JUMPDEST
00002c03: DUP3
00002c04: DUP2
00002c05: GT
00002c06: ISZERO
00002c07: PUSH2 0x2c1d
00002c0a: JUMPI
00002c0b: DUP3
00002c0c: MLOAD
00002c0d: DUP3
00002c0e: SSTORE
00002c0f: SWAP2
00002c10: PUSH1 0x20
00002c12: ADD
00002c13: SWAP2
00002c14: SWAP1
00002c15: PUSH1 0x01
00002c17: ADD
00002c18: SWAP1
00002c19: PUSH2 0x2c02
00002c1c: JUMP
00002c1d: JUMPDEST
00002c1e: POP
00002c1f: PUSH2 0x2c29
00002c22: SWAP3
00002c23: SWAP2
00002c24: POP
00002c25: PUSH2 0x2c2d
00002c28: JUMP
00002c29: JUMPDEST
00002c2a: POP
00002c2b: SWAP1
00002c2c: JUMP
00002c2d: JUMPDEST
00002c2e: JUMPDEST
00002c2f: DUP1
00002c30: DUP3
00002c31: GT
00002c32: ISZERO
00002c33: PUSH2 0x2c29
00002c36: JUMPI
00002c37: PUSH1 0x00
00002c39: DUP2
00002c3a: SSTORE
00002c3b: PUSH1 0x01
00002c3d: ADD
00002c3e: PUSH2 0x2c2e
00002c41: JUMP
00002c42: JUMPDEST
00002c43: DUP1
00002c44: CALLDATALOAD
00002c45: PUSH1 0x01
00002c47: PUSH1 0x01
00002c49: PUSH1 0xa0
00002c4b: SHL
00002c4c: SUB
00002c4d: DUP2
00002c4e: AND
00002c4f: DUP2
00002c50: EQ
00002c51: PUSH2 0x2c59
00002c54: JUMPI
00002c55: PUSH1 0x00
00002c57: DUP1
00002c58: REVERT
00002c59: JUMPDEST
00002c5a: SWAP2
00002c5b: SWAP1
00002c5c: POP
00002c5d: JUMP
00002c5e: JUMPDEST
00002c5f: PUSH1 0x00
00002c61: PUSH1 0x20
00002c63: DUP3
00002c64: DUP5
00002c65: SUB
00002c66: SLT
00002c67: ISZERO
00002c68: PUSH2 0x2c70
00002c6b: JUMPI
00002c6c: PUSH1 0x00
00002c6e: DUP1
00002c6f: REVERT
00002c70: JUMPDEST
00002c71: PUSH2 0x2a2a
00002c74: DUP3
00002c75: PUSH2 0x2c42
00002c78: JUMP
00002c79: JUMPDEST
00002c7a: PUSH1 0x00
00002c7c: DUP1
00002c7d: DUP4
00002c7e: PUSH1 0x1f
00002c80: DUP5
00002c81: ADD
00002c82: SLT
00002c83: PUSH2 0x2c8b
00002c86: JUMPI
00002c87: PUSH1 0x00
00002c89: DUP1
00002c8a: REVERT
00002c8b: JUMPDEST
00002c8c: POP
00002c8d: DUP2
00002c8e: CALLDATALOAD
00002c8f: PUSH8 0xffffffffffffffff
00002c98: DUP2
00002c99: GT
00002c9a: ISZERO
00002c9b: PUSH2 0x2ca3
00002c9e: JUMPI
00002c9f: PUSH1 0x00
00002ca1: DUP1
00002ca2: REVERT
00002ca3: JUMPDEST
00002ca4: PUSH1 0x20
00002ca6: DUP4
00002ca7: ADD
00002ca8: SWAP2
00002ca9: POP
00002caa: DUP4
00002cab: PUSH1 0x20
00002cad: DUP3
00002cae: PUSH1 0x05
00002cb0: SHL
00002cb1: DUP6
00002cb2: ADD
00002cb3: ADD
00002cb4: GT
00002cb5: ISZERO
00002cb6: PUSH2 0x2cbe
00002cb9: JUMPI
00002cba: PUSH1 0x00
00002cbc: DUP1
00002cbd: REVERT
00002cbe: JUMPDEST
00002cbf: SWAP3
00002cc0: POP
00002cc1: SWAP3
00002cc2: SWAP1
00002cc3: POP
00002cc4: JUMP
00002cc5: JUMPDEST
00002cc6: PUSH1 0x00
00002cc8: DUP1
00002cc9: PUSH1 0x20
00002ccb: DUP4
00002ccc: DUP6
00002ccd: SUB
00002cce: SLT
00002ccf: ISZERO
00002cd0: PUSH2 0x2cd8
00002cd3: JUMPI
00002cd4: PUSH1 0x00
00002cd6: DUP1
00002cd7: REVERT
00002cd8: JUMPDEST
00002cd9: DUP3
00002cda: CALLDATALOAD
00002cdb: PUSH8 0xffffffffffffffff
00002ce4: DUP2
00002ce5: GT
00002ce6: ISZERO
00002ce7: PUSH2 0x2cef
00002cea: JUMPI
00002ceb: PUSH1 0x00
00002ced: DUP1
00002cee: REVERT
00002cef: JUMPDEST
00002cf0: PUSH2 0x2cfb
00002cf3: DUP6
00002cf4: DUP3
00002cf5: DUP7
00002cf6: ADD
00002cf7: PUSH2 0x2c79
00002cfa: JUMP
00002cfb: JUMPDEST
00002cfc: SWAP1
00002cfd: SWAP7
00002cfe: SWAP1
00002cff: SWAP6
00002d00: POP
00002d01: SWAP4
00002d02: POP
00002d03: POP
00002d04: POP
00002d05: POP
00002d06: JUMP
00002d07: JUMPDEST
00002d08: PUSH1 0x00
00002d0a: PUSH1 0x20
00002d0c: DUP3
00002d0d: DUP5
00002d0e: SUB
00002d0f: SLT
00002d10: ISZERO
00002d11: PUSH2 0x2d19
00002d14: JUMPI
00002d15: PUSH1 0x00
00002d17: DUP1
00002d18: REVERT
00002d19: JUMPDEST
00002d1a: POP
00002d1b: CALLDATALOAD
00002d1c: SWAP2
00002d1d: SWAP1
00002d1e: POP
00002d1f: JUMP
00002d20: JUMPDEST
00002d21: PUSH1 0x00
00002d23: JUMPDEST
00002d24: DUP4
00002d25: DUP2
00002d26: LT
00002d27: ISZERO
00002d28: PUSH2 0x2d3b
00002d2b: JUMPI
00002d2c: DUP2
00002d2d: DUP2
00002d2e: ADD
00002d2f: MLOAD
00002d30: DUP4
00002d31: DUP3
00002d32: ADD
00002d33: MSTORE
00002d34: PUSH1 0x20
00002d36: ADD
00002d37: PUSH2 0x2d23
00002d3a: JUMP
00002d3b: JUMPDEST
00002d3c: DUP4
00002d3d: DUP2
00002d3e: GT
00002d3f: ISZERO
00002d40: PUSH2 0x2783
00002d43: JUMPI
00002d44: POP
00002d45: POP
00002d46: PUSH1 0x00
00002d48: SWAP2
00002d49: ADD
00002d4a: MSTORE
00002d4b: JUMP
00002d4c: JUMPDEST
00002d4d: PUSH1 0x00
00002d4f: DUP2
00002d50: MLOAD
00002d51: DUP1
00002d52: DUP5
00002d53: MSTORE
00002d54: PUSH2 0x2d64
00002d57: DUP2
00002d58: PUSH1 0x20
00002d5a: DUP7
00002d5b: ADD
00002d5c: PUSH1 0x20
00002d5e: DUP7
00002d5f: ADD
00002d60: PUSH2 0x2d20
00002d63: JUMP
00002d64: JUMPDEST
00002d65: PUSH1 0x1f
00002d67: ADD
00002d68: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002d89: AND
00002d8a: SWAP3
00002d8b: SWAP1
00002d8c: SWAP3
00002d8d: ADD
00002d8e: PUSH1 0x20
00002d90: ADD
00002d91: SWAP3
00002d92: SWAP2
00002d93: POP
00002d94: POP
00002d95: JUMP
00002d96: JUMPDEST
00002d97: PUSH1 0x20
00002d99: DUP2
00002d9a: MSTORE
00002d9b: PUSH1 0x00
00002d9d: PUSH2 0x2a2a
00002da0: PUSH1 0x20
00002da2: DUP4
00002da3: ADD
00002da4: DUP5
00002da5: PUSH2 0x2d4c
00002da8: JUMP
00002da9: JUMPDEST
00002daa: PUSH1 0x00
00002dac: DUP1
00002dad: PUSH1 0x00
00002daf: DUP1
00002db0: PUSH1 0x00
00002db2: DUP1
00002db3: PUSH1 0x80
00002db5: DUP8
00002db6: DUP10
00002db7: SUB
00002db8: SLT
00002db9: ISZERO
00002dba: PUSH2 0x2dc2
00002dbd: JUMPI
00002dbe: PUSH1 0x00
00002dc0: DUP1
00002dc1: REVERT
00002dc2: JUMPDEST
00002dc3: PUSH2 0x2dcb
00002dc6: DUP8
00002dc7: PUSH2 0x2c42
00002dca: JUMP
00002dcb: JUMPDEST
00002dcc: SWAP6
00002dcd: POP
00002dce: PUSH2 0x2dd9
00002dd1: PUSH1 0x20
00002dd3: DUP9
00002dd4: ADD
00002dd5: PUSH2 0x2c42
00002dd8: JUMP
00002dd9: JUMPDEST
00002dda: SWAP5
00002ddb: POP
00002ddc: PUSH1 0x40
00002dde: DUP8
00002ddf: ADD
00002de0: CALLDATALOAD
00002de1: PUSH8 0xffffffffffffffff
00002dea: DUP1
00002deb: DUP3
00002dec: GT
00002ded: ISZERO
00002dee: PUSH2 0x2df6
00002df1: JUMPI
00002df2: PUSH1 0x00
00002df4: DUP1
00002df5: REVERT
00002df6: JUMPDEST
00002df7: PUSH2 0x2e02
00002dfa: DUP11
00002dfb: DUP4
00002dfc: DUP12
00002dfd: ADD
00002dfe: PUSH2 0x2c79
00002e01: JUMP
00002e02: JUMPDEST
00002e03: SWAP1
00002e04: SWAP7
00002e05: POP
00002e06: SWAP5
00002e07: POP
00002e08: PUSH1 0x60
00002e0a: DUP10
00002e0b: ADD
00002e0c: CALLDATALOAD
00002e0d: SWAP2
00002e0e: POP
00002e0f: DUP1
00002e10: DUP3
00002e11: GT
00002e12: ISZERO
00002e13: PUSH2 0x2e1b
00002e16: JUMPI
00002e17: PUSH1 0x00
00002e19: DUP1
00002e1a: REVERT
00002e1b: JUMPDEST
00002e1c: POP
00002e1d: PUSH2 0x2e28
00002e20: DUP10
00002e21: DUP3
00002e22: DUP11
00002e23: ADD
00002e24: PUSH2 0x2c79
00002e27: JUMP
00002e28: JUMPDEST
00002e29: SWAP8
00002e2a: SWAP11
00002e2b: SWAP7
00002e2c: SWAP10
00002e2d: POP
00002e2e: SWAP5
00002e2f: SWAP8
00002e30: POP
00002e31: SWAP3
00002e32: SWAP6
00002e33: SWAP4
00002e34: SWAP5
00002e35: SWAP3
00002e36: POP
00002e37: POP
00002e38: POP
00002e39: JUMP
00002e3a: JUMPDEST
00002e3b: PUSH1 0x00
00002e3d: PUSH1 0x20
00002e3f: DUP3
00002e40: DUP5
00002e41: SUB
00002e42: SLT
00002e43: ISZERO
00002e44: PUSH2 0x2e4c
00002e47: JUMPI
00002e48: PUSH1 0x00
00002e4a: DUP1
00002e4b: REVERT
00002e4c: JUMPDEST
00002e4d: POP
00002e4e: MLOAD
00002e4f: SWAP2
00002e50: SWAP1
00002e51: POP
00002e52: JUMP
00002e53: JUMPDEST
00002e54: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002e75: PUSH1 0x00
00002e77: MSTORE
00002e78: PUSH1 0x11
00002e7a: PUSH1 0x04
00002e7c: MSTORE
00002e7d: PUSH1 0x24
00002e7f: PUSH1 0x00
00002e81: REVERT
00002e82: JUMPDEST
00002e83: PUSH1 0x00
00002e85: DUP2
00002e86: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002ea7: DIV
00002ea8: DUP4
00002ea9: GT
00002eaa: DUP3
00002eab: ISZERO
00002eac: ISZERO
00002ead: AND
00002eae: ISZERO
00002eaf: PUSH2 0x2eba
00002eb2: JUMPI
00002eb3: PUSH2 0x2eba
00002eb6: PUSH2 0x2e53
00002eb9: JUMP
00002eba: JUMPDEST
00002ebb: POP
00002ebc: MUL
00002ebd: SWAP1
00002ebe: JUMP
00002ebf: JUMPDEST
00002ec0: PUSH1 0x00
00002ec2: DUP3
00002ec3: PUSH2 0x2ef5
00002ec6: JUMPI
00002ec7: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002ee8: PUSH1 0x00
00002eea: MSTORE
00002eeb: PUSH1 0x12
00002eed: PUSH1 0x04
00002eef: MSTORE
00002ef0: PUSH1 0x24
00002ef2: PUSH1 0x00
00002ef4: REVERT
00002ef5: JUMPDEST
00002ef6: POP
00002ef7: DIV
00002ef8: SWAP1
00002ef9: JUMP
00002efa: JUMPDEST
00002efb: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002f1c: PUSH1 0x00
00002f1e: MSTORE
00002f1f: PUSH1 0x32
00002f21: PUSH1 0x04
00002f23: MSTORE
00002f24: PUSH1 0x24
00002f26: PUSH1 0x00
00002f28: REVERT
00002f29: JUMPDEST
00002f2a: PUSH1 0x00
00002f2c: DUP3
00002f2d: DUP3
00002f2e: LT
00002f2f: ISZERO
00002f30: PUSH2 0x2f3b
00002f33: JUMPI
00002f34: PUSH2 0x2f3b
00002f37: PUSH2 0x2e53
00002f3a: JUMP
00002f3b: JUMPDEST
00002f3c: POP
00002f3d: SUB
00002f3e: SWAP1
00002f3f: JUMP
00002f40: JUMPDEST
00002f41: PUSH1 0x00
00002f43: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002f64: DUP3
00002f65: EQ
00002f66: ISZERO
00002f67: PUSH2 0x2f72
00002f6a: JUMPI
00002f6b: PUSH2 0x2f72
00002f6e: PUSH2 0x2e53
00002f71: JUMP
00002f72: JUMPDEST
00002f73: POP
00002f74: PUSH1 0x01
00002f76: ADD
00002f77: SWAP1
00002f78: JUMP
00002f79: JUMPDEST
00002f7a: PUSH1 0x00
00002f7c: PUSH1 0x20
00002f7e: DUP3
00002f7f: DUP5
00002f80: SUB
00002f81: SLT
00002f82: ISZERO
00002f83: PUSH2 0x2f8b
00002f86: JUMPI
00002f87: PUSH1 0x00
00002f89: DUP1
00002f8a: REVERT
00002f8b: JUMPDEST
00002f8c: DUP2
00002f8d: MLOAD
00002f8e: DUP1
00002f8f: ISZERO
00002f90: ISZERO
00002f91: DUP2
00002f92: EQ
00002f93: PUSH2 0x2a2a
00002f96: JUMPI
00002f97: PUSH1 0x00
00002f99: DUP1
00002f9a: REVERT
00002f9b: JUMPDEST
00002f9c: PUSH1 0x01
00002f9e: DUP2
00002f9f: DUP2
00002fa0: SHR
00002fa1: SWAP1
00002fa2: DUP3
00002fa3: AND
00002fa4: DUP1
00002fa5: PUSH2 0x2faf
00002fa8: JUMPI
00002fa9: PUSH1 0x7f
00002fab: DUP3
00002fac: AND
00002fad: SWAP2
00002fae: POP
00002faf: JUMPDEST
00002fb0: PUSH1 0x20
00002fb2: DUP3
00002fb3: LT
00002fb4: DUP2
00002fb5: EQ
00002fb6: ISZERO
00002fb7: PUSH2 0x2fe9
00002fba: JUMPI
00002fbb: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002fdc: PUSH1 0x00
00002fde: MSTORE
00002fdf: PUSH1 0x22
00002fe1: PUSH1 0x04
00002fe3: MSTORE
00002fe4: PUSH1 0x24
00002fe6: PUSH1 0x00
00002fe8: REVERT
00002fe9: JUMPDEST
00002fea: POP
00002feb: SWAP2
00002fec: SWAP1
00002fed: POP
00002fee: JUMP
00002fef: JUMPDEST
00002ff0: PUSH1 0x00
00002ff2: PUSH1 0x20
00002ff4: DUP3
00002ff5: DUP5
00002ff6: SUB
00002ff7: SLT
00002ff8: ISZERO
00002ff9: PUSH2 0x3001
00002ffc: JUMPI
00002ffd: PUSH1 0x00
00002fff: DUP1
00003000: REVERT
00003001: JUMPDEST
00003002: DUP2
00003003: MLOAD
00003004: PUSH1 0xff
00003006: DUP2
00003007: AND
00003008: DUP2
00003009: EQ
0000300a: PUSH2 0x2a2a
0000300d: JUMPI
0000300e: PUSH1 0x00
00003010: DUP1
00003011: REVERT
00003012: JUMPDEST
00003013: PUSH1 0x00
00003015: DUP3
00003016: NOT
00003017: DUP3
00003018: GT
00003019: ISZERO
0000301a: PUSH2 0x3025
0000301d: JUMPI
0000301e: PUSH2 0x3025
00003021: PUSH2 0x2e53
00003024: JUMP
00003025: JUMPDEST
00003026: POP
00003027: ADD
00003028: SWAP1
00003029: JUMP
0000302a: JUMPDEST
0000302b: PUSH1 0x00
0000302d: PUSH1 0x20
0000302f: DUP3
00003030: DUP5
00003031: SUB
00003032: SLT
00003033: ISZERO
00003034: PUSH2 0x303c
00003037: JUMPI
00003038: PUSH1 0x00
0000303a: DUP1
0000303b: REVERT
0000303c: JUMPDEST
0000303d: DUP2
0000303e: CALLDATALOAD
0000303f: PUSH3 0xffffff
00003043: DUP2
00003044: AND
00003045: DUP2
00003046: EQ
00003047: PUSH2 0x2a2a
0000304a: JUMPI
0000304b: PUSH1 0x00
0000304d: DUP1
0000304e: REVERT
0000304f: JUMPDEST
00003050: PUSH1 0x01
00003052: PUSH1 0x01
00003054: PUSH1 0xa0
00003056: SHL
00003057: SUB
00003058: DUP4
00003059: AND
0000305a: DUP2
0000305b: MSTORE
0000305c: PUSH1 0x00
0000305e: PUSH1 0x20
00003060: PUSH1 0x40
00003062: DUP2
00003063: DUP5
00003064: ADD
00003065: MSTORE
00003066: PUSH1 0x00
00003068: DUP5
00003069: SLOAD
0000306a: DUP2
0000306b: PUSH1 0x01
0000306d: DUP3
0000306e: DUP2
0000306f: SHR
00003070: SWAP2
00003071: POP
00003072: DUP1
00003073: DUP4
00003074: AND
00003075: DUP1
00003076: PUSH2 0x3080
00003079: JUMPI
0000307a: PUSH1 0x7f
0000307c: DUP4
0000307d: AND
0000307e: SWAP3
0000307f: POP
00003080: JUMPDEST
00003081: DUP6
00003082: DUP4
00003083: LT
00003084: DUP2
00003085: EQ
00003086: ISZERO
00003087: PUSH2 0x30b7
0000308a: JUMPI
0000308b: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000030ac: DUP6
000030ad: MSTORE
000030ae: PUSH1 0x22
000030b0: PUSH1 0x04
000030b2: MSTORE
000030b3: PUSH1 0x24
000030b5: DUP6
000030b6: REVERT
000030b7: JUMPDEST
000030b8: PUSH1 0x40
000030ba: DUP9
000030bb: ADD
000030bc: DUP4
000030bd: SWAP1
000030be: MSTORE
000030bf: PUSH1 0x60
000030c1: DUP9
000030c2: ADD
000030c3: DUP2
000030c4: DUP1
000030c5: ISZERO
000030c6: PUSH2 0x30d6
000030c9: JUMPI
000030ca: PUSH1 0x01
000030cc: DUP2
000030cd: EQ
000030ce: PUSH2 0x3105
000030d1: JUMPI
000030d2: PUSH2 0x3130
000030d5: JUMP
000030d6: JUMPDEST
000030d7: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
000030f8: DUP7
000030f9: AND
000030fa: DUP3
000030fb: MSTORE
000030fc: DUP8
000030fd: DUP3
000030fe: ADD
000030ff: SWAP7
00003100: POP
00003101: PUSH2 0x3130
00003104: JUMP
00003105: JUMPDEST
00003106: PUSH1 0x00
00003108: DUP12
00003109: DUP2
0000310a: MSTORE
0000310b: PUSH1 0x20
0000310d: SWAP1
0000310e: KECCAK256
0000310f: PUSH1 0x00
00003111: JUMPDEST
00003112: DUP7
00003113: DUP2
00003114: LT
00003115: ISZERO
00003116: PUSH2 0x312a
00003119: JUMPI
0000311a: DUP2
0000311b: SLOAD
0000311c: DUP5
0000311d: DUP3
0000311e: ADD
0000311f: MSTORE
00003120: SWAP1
00003121: DUP6
00003122: ADD
00003123: SWAP1
00003124: DUP10
00003125: ADD
00003126: PUSH2 0x3111
00003129: JUMP
0000312a: JUMPDEST
0000312b: DUP4
0000312c: ADD
0000312d: SWAP8
0000312e: POP
0000312f: POP
00003130: JUMPDEST
00003131: POP
00003132: SWAP5
00003133: SWAP11
00003134: SWAP10
00003135: POP
00003136: POP
00003137: POP
00003138: POP
00003139: POP
0000313a: POP
0000313b: POP
0000313c: POP
0000313d: POP
0000313e: POP
0000313f: JUMP
00003140: JUMPDEST
00003141: PUSH1 0x00
00003143: PUSH1 0xff
00003145: DUP3
00003146: AND
00003147: PUSH1 0xff
00003149: DUP5
0000314a: AND
0000314b: DUP1
0000314c: DUP3
0000314d: LT
0000314e: ISZERO
0000314f: PUSH2 0x315a
00003152: JUMPI
00003153: PUSH2 0x315a
00003156: PUSH2 0x2e53
00003159: JUMP
0000315a: JUMPDEST
0000315b: SWAP1
0000315c: SUB
0000315d: SWAP4
0000315e: SWAP3
0000315f: POP
00003160: POP
00003161: POP
00003162: JUMP
00003163: JUMPDEST
00003164: PUSH1 0x01
00003166: DUP2
00003167: DUP2
00003168: JUMPDEST
00003169: DUP1
0000316a: DUP6
0000316b: GT
0000316c: ISZERO
0000316d: PUSH2 0x31bc
00003170: JUMPI
00003171: DUP2
00003172: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00003193: DIV
00003194: DUP3
00003195: GT
00003196: ISZERO
00003197: PUSH2 0x31a2
0000319a: JUMPI
0000319b: PUSH2 0x31a2
0000319e: PUSH2 0x2e53
000031a1: JUMP
000031a2: JUMPDEST
000031a3: DUP1
000031a4: DUP6
000031a5: AND
000031a6: ISZERO
000031a7: PUSH2 0x31af
000031aa: JUMPI
000031ab: SWAP2
000031ac: DUP2
000031ad: MUL
000031ae: SWAP2
000031af: JUMPDEST
000031b0: SWAP4
000031b1: DUP5
000031b2: SHR
000031b3: SWAP4
000031b4: SWAP1
000031b5: DUP1
000031b6: MUL
000031b7: SWAP1
000031b8: PUSH2 0x3168
000031bb: JUMP
000031bc: JUMPDEST
000031bd: POP
000031be: SWAP3
000031bf: POP
000031c0: SWAP3
000031c1: SWAP1
000031c2: POP
000031c3: JUMP
000031c4: JUMPDEST
000031c5: PUSH1 0x00
000031c7: DUP3
000031c8: PUSH2 0x31d3
000031cb: JUMPI
000031cc: POP
000031cd: PUSH1 0x01
000031cf: PUSH2 0x327f
000031d2: JUMP
000031d3: JUMPDEST
000031d4: DUP2
000031d5: PUSH2 0x31e0
000031d8: JUMPI
000031d9: POP
000031da: PUSH1 0x00
000031dc: PUSH2 0x327f
000031df: JUMP
000031e0: JUMPDEST
000031e1: DUP2
000031e2: PUSH1 0x01
000031e4: DUP2
000031e5: EQ
000031e6: PUSH2 0x31f6
000031e9: JUMPI
000031ea: PUSH1 0x02
000031ec: DUP2
000031ed: EQ
000031ee: PUSH2 0x3200
000031f1: JUMPI
000031f2: PUSH2 0x321c
000031f5: JUMP
000031f6: JUMPDEST
000031f7: PUSH1 0x01
000031f9: SWAP2
000031fa: POP
000031fb: POP
000031fc: PUSH2 0x327f
000031ff: JUMP
00003200: JUMPDEST
00003201: PUSH1 0xff
00003203: DUP5
00003204: GT
00003205: ISZERO
00003206: PUSH2 0x3211
00003209: JUMPI
0000320a: PUSH2 0x3211
0000320d: PUSH2 0x2e53
00003210: JUMP
00003211: JUMPDEST
00003212: POP
00003213: POP
00003214: PUSH1 0x01
00003216: DUP3
00003217: SHL
00003218: PUSH2 0x327f
0000321b: JUMP
0000321c: JUMPDEST
0000321d: POP
0000321e: PUSH1 0x20
00003220: DUP4
00003221: LT
00003222: PUSH2 0x0133
00003225: DUP4
00003226: LT
00003227: AND
00003228: PUSH1 0x4e
0000322a: DUP5
0000322b: LT
0000322c: PUSH1 0x0b
0000322e: DUP5
0000322f: LT
00003230: AND
00003231: OR
00003232: ISZERO
00003233: PUSH2 0x323f
00003236: JUMPI
00003237: POP
00003238: DUP2
00003239: DUP2
0000323a: EXP
0000323b: PUSH2 0x327f
0000323e: JUMP
0000323f: JUMPDEST
00003240: PUSH2 0x3249
00003243: DUP4
00003244: DUP4
00003245: PUSH2 0x3163
00003248: JUMP
00003249: JUMPDEST
0000324a: DUP1
0000324b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000326c: DIV
0000326d: DUP3
0000326e: GT
0000326f: ISZERO
00003270: PUSH2 0x327b
00003273: JUMPI
00003274: PUSH2 0x327b
00003277: PUSH2 0x2e53
0000327a: JUMP
0000327b: JUMPDEST
0000327c: MUL
0000327d: SWAP1
0000327e: POP
0000327f: JUMPDEST
00003280: SWAP3
00003281: SWAP2
00003282: POP
00003283: POP
00003284: JUMP
00003285: JUMPDEST
00003286: PUSH1 0x00
00003288: PUSH2 0x2a2a
0000328b: PUSH1 0xff
0000328d: DUP5
0000328e: AND
0000328f: DUP4
00003290: PUSH2 0x31c4
00003293: JUMP
00003294: JUMPDEST
00003295: PUSH1 0x20
00003297: DUP2
00003298: MSTORE
00003299: PUSH1 0x00
0000329b: DUP3
0000329c: MLOAD
0000329d: PUSH1 0x80
0000329f: PUSH1 0x20
000032a1: DUP5
000032a2: ADD
000032a3: MSTORE
000032a4: PUSH2 0x32b0
000032a7: PUSH1 0xa0
000032a9: DUP5
000032aa: ADD
000032ab: DUP3
000032ac: PUSH2 0x2d4c
000032af: JUMP
000032b0: JUMPDEST
000032b1: SWAP1
000032b2: POP
000032b3: PUSH1 0x01
000032b5: PUSH1 0x01
000032b7: PUSH1 0xa0
000032b9: SHL
000032ba: SUB
000032bb: PUSH1 0x20
000032bd: DUP6
000032be: ADD
000032bf: MLOAD
000032c0: AND
000032c1: PUSH1 0x40
000032c3: DUP5
000032c4: ADD
000032c5: MSTORE
000032c6: PUSH1 0x40
000032c8: DUP5
000032c9: ADD
000032ca: MLOAD
000032cb: PUSH1 0x60
000032cd: DUP5
000032ce: ADD
000032cf: MSTORE
000032d0: PUSH1 0x60
000032d2: DUP5
000032d3: ADD
000032d4: MLOAD
000032d5: PUSH1 0x80
000032d7: DUP5
000032d8: ADD
000032d9: MSTORE
000032da: DUP1
000032db: SWAP2
000032dc: POP
000032dd: POP
000032de: SWAP3
000032df: SWAP2
000032e0: POP
000032e1: POP
000032e2: JUMP
000032e3: JUMPDEST
000032e4: PUSH1 0x00
000032e6: DUP3
000032e7: MLOAD
000032e8: PUSH2 0x32f5
000032eb: DUP2
000032ec: DUP5
000032ed: PUSH1 0x20
000032ef: DUP8
000032f0: ADD
000032f1: PUSH2 0x2d20
000032f4: JUMP
000032f5: JUMPDEST
000032f6: SWAP2
000032f7: SWAP1
000032f8: SWAP2
000032f9: ADD
000032fa: SWAP3
000032fb: SWAP2
000032fc: POP
000032fd: POP
000032fe: JUMP
000032ff: INVALID
00003300: LOG2
00003301: PUSH5 0x6970667358
00003307: UNKNOWN(0x22)
00003308: SLT
00003309: KECCAK256
0000330a: PUSH32 0xf05967964a9c8b178c9186483ac92026105d18529181137c418c11012be2f864
0000332b: PUSH20
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
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0xf66a3264ac8baac549fc03f0b1e662b9d04e9dc228c91eeb1c413a7cbc581a8b
call_targets: 0xf2e186d6f3cafe17bcc89c50133cfbc2db6cf55a
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xf66a3264ac8baac549fc03f0b1e662b9d04e9dc228c91eeb1c413a7cbc581a8b",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xf2e186d6f3cafe17bcc89c50133cfbc2db6cf55a"
    ],
    "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": "0xd9fb643a",
            "selector": "0xd9fb643a",
            "calldata_variants": [
                "0xd9fb643a",
                "0xd9fb643a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe00bfe50",
            "selector": "0xe00bfe50",
            "calldata_variants": [
                "0xe00bfe50",
                "0xe00bfe500000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xccfc2e8d",
            "selector": "0xccfc2e8d",
            "calldata_variants": [
                "0xccfc2e8d",
                "0xccfc2e8d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xcf35bdd0",
            "selector": "0xcf35bdd0",
            "calldata_variants": [
                "0xcf35bdd0",
                "0xcf35bdd00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xad5c4648",
            "selector": "0xad5c4648",
            "calldata_variants": [
                "0xad5c4648",
                "0xad5c46480000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xaddd5099",
            "selector": "0xaddd5099",
            "calldata_variants": [
                "0xaddd5099",
                "0xaddd50990000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb8e85135",
            "selector": "0xb8e85135",
            "calldata_variants": [
                "0xb8e85135",
                "0xb8e851350000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2362,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3003,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 8245,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 10,
    "guards_detected": [],
    "untrusted_call_count": 10
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0xf66a3264ac8baac549fc03f0b1e662b9d04e9dc228c91eeb1c413a7cbc581a8b
call_targets: 0xf2e186d6f3cafe17bcc89c50133cfbc2db6cf55a
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xf66a3264ac8baac549fc03f0b1e662b9d04e9dc228c91eeb1c413a7cbc581a8b",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xf2e186d6f3cafe17bcc89c50133cfbc2db6cf55a"
    ],
    "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": "0xd9fb643a",
            "selector": "0xd9fb643a",
            "calldata_variants": [
                "0xd9fb643a",
                "0xd9fb643a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe00bfe50",
            "selector": "0xe00bfe50",
            "calldata_variants": [
                "0xe00bfe50",
                "0xe00bfe500000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xccfc2e8d",
            "selector": "0xccfc2e8d",
            "calldata_variants": [
                "0xccfc2e8d",
                "0xccfc2e8d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xcf35bdd0",
            "selector": "0xcf35bdd0",
            "calldata_variants": [
                "0xcf35bdd0",
                "0xcf35bdd00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xad5c4648",
            "selector": "0xad5c4648",
            "calldata_variants": [
                "0xad5c4648",
                "0xad5c46480000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xaddd5099",
            "selector": "0xaddd5099",
            "calldata_variants": [
                "0xaddd5099",
                "0xaddd50990000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb8e85135",
            "selector": "0xb8e85135",
            "calldata_variants": [
                "0xb8e85135",
                "0xb8e851350000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2362,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3003,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 8245,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 10,
    "guards_detected": []
}