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

019b477e-d1e7-7008-8680-539be686c0e9
complete
Chain ID
Address
0x08f095520bbc7ab9f8351a1bf7f8c0084e1b0ff3
Block Number
—
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary
What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
back to vulns open contract
Confirmed
Validated
Source
Verified
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.
Processing Jobs

Status & attempts
ID	Type	Status	Attempts	Heartbeat
27845	artifact.fetch	complete	1 / 3	3 months ago
27846	tool.cast_disasm	complete	1 / 3	3 months ago
71796	analysis.bundle	complete	1 / 3	2 weeks ago
71797	capability.graph	complete	1 / 3	2 weeks ago
71798	detector.run	complete	1 / 3	2 weeks ago
71799	validation.fork	complete	1 / 3	2 weeks ago
Artifact

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

tool.slither
No slither job recorded yet.
Codex

report.consolidate
No codex job recorded yet.
Opcode Heuristics

tool.cast_disasm
Delegatecall
Selfdestruct
CREATE2
CALL-family (heavy)
EXT*/BALANCE
Total opcodes
8208
Flags
heavy_ext_balance_usage
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0212
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x74ea80d8
00000019: GT
0000001a: PUSH2 0x0118
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xb14ddef8
00000024: GT
00000025: PUSH2 0x00a0
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xdb2d7960
0000002f: GT
00000030: PUSH2 0x006f
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xdb2d7960
0000003a: EQ
0000003b: PUSH2 0x0707
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe0d4ea37
00000045: EQ
00000046: PUSH2 0x071e
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xea58722b
00000050: EQ
00000051: PUSH2 0x075b
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xecabe15f
0000005b: EQ
0000005c: PUSH2 0x0784
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xf2fde38b
00000066: EQ
00000067: PUSH2 0x07af
0000006a: JUMPI
0000006b: PUSH2 0x0219
0000006e: JUMP
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0xb14ddef8
00000076: EQ
00000077: PUSH2 0x066e
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xb7a70ee9
00000081: EQ
00000082: PUSH2 0x068a
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xd298bbda
0000008c: EQ
0000008d: PUSH2 0x06b3
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xd99ac855
00000097: EQ
00000098: PUSH2 0x06dc
0000009b: JUMPI
0000009c: PUSH2 0x0219
0000009f: JUMP
000000a0: JUMPDEST
000000a1: DUP1
000000a2: PUSH4 0x8d859f3e
000000a7: GT
000000a8: PUSH2 0x00e7
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x8d859f3e
000000b2: EQ
000000b3: PUSH2 0x0589
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x8da5cb5b
000000bd: EQ
000000be: PUSH2 0x05b4
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xa0800087
000000c8: EQ
000000c9: PUSH2 0x05df
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0xa3488b00
000000d3: EQ
000000d4: PUSH2 0x061c
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0xa9c6b8e4
000000de: EQ
000000df: PUSH2 0x0645
000000e2: JUMPI
000000e3: PUSH2 0x0219
000000e6: JUMP
000000e7: JUMPDEST
000000e8: DUP1
000000e9: PUSH4 0x74ea80d8
000000ee: EQ
000000ef: PUSH2 0x04e3
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0x75edcbe0
000000f9: EQ
000000fa: PUSH2 0x050e
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x7b6cba5c
00000104: EQ
00000105: PUSH2 0x0537
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x895ce185
0000010f: EQ
00000110: PUSH2 0x0560
00000113: JUMPI
00000114: PUSH2 0x0219
00000117: JUMP
00000118: JUMPDEST
00000119: DUP1
0000011a: PUSH4 0x2cac0f8a
0000011f: GT
00000120: PUSH2 0x019b
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0x451680a6
0000012a: GT
0000012b: PUSH2 0x016a
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x451680a6
00000135: EQ
00000136: PUSH2 0x0424
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0x51cff8d9
00000140: EQ
00000141: PUSH2 0x044f
00000144: JUMPI
00000145: DUP1
00000146: PUSH4 0x55f804b3
0000014b: EQ
0000014c: PUSH2 0x0478
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0x611f3f10
00000156: EQ
00000157: PUSH2 0x04a1
0000015a: JUMPI
0000015b: DUP1
0000015c: PUSH4 0x715018a6
00000161: EQ
00000162: PUSH2 0x04cc
00000165: JUMPI
00000166: PUSH2 0x0219
00000169: JUMP
0000016a: JUMPDEST
0000016b: DUP1
0000016c: PUSH4 0x2cac0f8a
00000171: EQ
00000172: PUSH2 0x0393
00000175: JUMPI
00000176: DUP1
00000177: PUSH4 0x3506d13b
0000017c: EQ
0000017d: PUSH2 0x03af
00000180: JUMPI
00000181: DUP1
00000182: PUSH4 0x389c88a1
00000187: EQ
00000188: PUSH2 0x03ec
0000018b: JUMPI
0000018c: DUP1
0000018d: PUSH4 0x40713711
00000192: EQ
00000193: PUSH2 0x0408
00000196: JUMPI
00000197: PUSH2 0x0219
0000019a: JUMP
0000019b: JUMPDEST
0000019c: DUP1
0000019d: PUSH4 0x143efd1c
000001a2: GT
000001a3: PUSH2 0x01e2
000001a6: JUMPI
000001a7: DUP1
000001a8: PUSH4 0x143efd1c
000001ad: EQ
000001ae: PUSH2 0x02ac
000001b1: JUMPI
000001b2: DUP1
000001b3: PUSH4 0x150b7a02
000001b8: EQ
000001b9: PUSH2 0x02d7
000001bc: JUMPI
000001bd: DUP1
000001be: PUSH4 0x1e84c413
000001c3: EQ
000001c4: PUSH2 0x0314
000001c7: JUMPI
000001c8: DUP1
000001c9: PUSH4 0x28cad13d
000001ce: EQ
000001cf: PUSH2 0x033f
000001d2: JUMPI
000001d3: DUP1
000001d4: PUSH4 0x293108e0
000001d9: EQ
000001da: PUSH2 0x0368
000001dd: JUMPI
000001de: PUSH2 0x0219
000001e1: JUMP
000001e2: JUMPDEST
000001e3: DUP1
000001e4: PUSH3 0x10f81e
000001e8: EQ
000001e9: PUSH2 0x021e
000001ec: JUMPI
000001ed: DUP1
000001ee: PUSH4 0x0b3ac799
000001f3: EQ
000001f4: PUSH2 0x0249
000001f7: JUMPI
000001f8: DUP1
000001f9: PUSH4 0x10d059e0
000001fe: EQ
000001ff: PUSH2 0x0265
00000202: JUMPI
00000203: DUP1
00000204: PUSH4 0x131f1a71
00000209: EQ
0000020a: PUSH2 0x0290
0000020d: JUMPI
0000020e: PUSH2 0x0219
00000211: JUMP
00000212: JUMPDEST
00000213: CALLDATASIZE
00000214: PUSH2 0x0219
00000217: JUMPI
00000218: STOP
00000219: JUMPDEST
0000021a: PUSH1 0x00
0000021c: DUP1
0000021d: REVERT
0000021e: JUMPDEST
0000021f: CALLVALUE
00000220: DUP1
00000221: ISZERO
00000222: PUSH2 0x022a
00000225: JUMPI
00000226: PUSH1 0x00
00000228: DUP1
00000229: REVERT
0000022a: JUMPDEST
0000022b: POP
0000022c: PUSH2 0x0233
0000022f: PUSH2 0x07d8
00000232: JUMP
00000233: JUMPDEST
00000234: PUSH1 0x40
00000236: MLOAD
00000237: PUSH2 0x0240
0000023a: SWAP2
0000023b: SWAP1
0000023c: PUSH2 0x2347
0000023f: JUMP
00000240: JUMPDEST
00000241: PUSH1 0x40
00000243: MLOAD
00000244: DUP1
00000245: SWAP2
00000246: SUB
00000247: SWAP1
00000248: RETURN
00000249: JUMPDEST
0000024a: PUSH2 0x0263
0000024d: PUSH1 0x04
0000024f: DUP1
00000250: CALLDATASIZE
00000251: SUB
00000252: DUP2
00000253: ADD
00000254: SWAP1
00000255: PUSH2 0x025e
00000258: SWAP2
00000259: SWAP1
0000025a: PUSH2 0x2560
0000025d: JUMP
0000025e: JUMPDEST
0000025f: PUSH2 0x07eb
00000262: JUMP
00000263: JUMPDEST
00000264: STOP
00000265: JUMPDEST
00000266: CALLVALUE
00000267: DUP1
00000268: ISZERO
00000269: PUSH2 0x0271
0000026c: JUMPI
0000026d: PUSH1 0x00
0000026f: DUP1
00000270: REVERT
00000271: JUMPDEST
00000272: POP
00000273: PUSH2 0x027a
00000276: PUSH2 0x09a9
00000279: JUMP
0000027a: JUMPDEST
0000027b: PUSH1 0x40
0000027d: MLOAD
0000027e: PUSH2 0x0287
00000281: SWAP2
00000282: SWAP1
00000283: PUSH2 0x265b
00000286: JUMP
00000287: JUMPDEST
00000288: PUSH1 0x40
0000028a: MLOAD
0000028b: DUP1
0000028c: SWAP2
0000028d: SUB
0000028e: SWAP1
0000028f: RETURN
00000290: JUMPDEST
00000291: PUSH2 0x02aa
00000294: PUSH1 0x04
00000296: DUP1
00000297: CALLDATASIZE
00000298: SUB
00000299: DUP2
0000029a: ADD
0000029b: SWAP1
0000029c: PUSH2 0x02a5
0000029f: SWAP2
000002a0: SWAP1
000002a1: PUSH2 0x26b4
000002a4: JUMP
000002a5: JUMPDEST
000002a6: PUSH2 0x09cf
000002a9: JUMP
000002aa: JUMPDEST
000002ab: STOP
000002ac: JUMPDEST
000002ad: CALLVALUE
000002ae: DUP1
000002af: ISZERO
000002b0: PUSH2 0x02b8
000002b3: JUMPI
000002b4: PUSH1 0x00
000002b6: DUP1
000002b7: REVERT
000002b8: JUMPDEST
000002b9: POP
000002ba: PUSH2 0x02c1
000002bd: PUSH2 0x0c1e
000002c0: JUMP
000002c1: JUMPDEST
000002c2: PUSH1 0x40
000002c4: MLOAD
000002c5: PUSH2 0x02ce
000002c8: SWAP2
000002c9: SWAP1
000002ca: PUSH2 0x275d
000002cd: JUMP
000002ce: JUMPDEST
000002cf: PUSH1 0x40
000002d1: MLOAD
000002d2: DUP1
000002d3: SWAP2
000002d4: SUB
000002d5: SWAP1
000002d6: RETURN
000002d7: JUMPDEST
000002d8: CALLVALUE
000002d9: DUP1
000002da: ISZERO
000002db: PUSH2 0x02e3
000002de: JUMPI
000002df: PUSH1 0x00
000002e1: DUP1
000002e2: REVERT
000002e3: JUMPDEST
000002e4: POP
000002e5: PUSH2 0x02fe
000002e8: PUSH1 0x04
000002ea: DUP1
000002eb: CALLDATASIZE
000002ec: SUB
000002ed: DUP2
000002ee: ADD
000002ef: SWAP1
000002f0: PUSH2 0x02f9
000002f3: SWAP2
000002f4: SWAP1
000002f5: PUSH2 0x27ce
000002f8: JUMP
000002f9: JUMPDEST
000002fa: PUSH2 0x0c24
000002fd: JUMP
000002fe: JUMPDEST
000002ff: PUSH1 0x40
00000301: MLOAD
00000302: PUSH2 0x030b
00000305: SWAP2
00000306: SWAP1
00000307: PUSH2 0x2891
0000030a: JUMP
0000030b: JUMPDEST
0000030c: PUSH1 0x40
0000030e: MLOAD
0000030f: DUP1
00000310: SWAP2
00000311: SUB
00000312: SWAP1
00000313: RETURN
00000314: JUMPDEST
00000315: CALLVALUE
00000316: DUP1
00000317: ISZERO
00000318: PUSH2 0x0320
0000031b: JUMPI
0000031c: PUSH1 0x00
0000031e: DUP1
0000031f: REVERT
00000320: JUMPDEST
00000321: POP
00000322: PUSH2 0x0329
00000325: PUSH2 0x0c39
00000328: JUMP
00000329: JUMPDEST
0000032a: PUSH1 0x40
0000032c: MLOAD
0000032d: PUSH2 0x0336
00000330: SWAP2
00000331: SWAP1
00000332: PUSH2 0x2347
00000335: JUMP
00000336: JUMPDEST
00000337: PUSH1 0x40
00000339: MLOAD
0000033a: DUP1
0000033b: SWAP2
0000033c: SUB
0000033d: SWAP1
0000033e: RETURN
0000033f: JUMPDEST
00000340: CALLVALUE
00000341: DUP1
00000342: ISZERO
00000343: PUSH2 0x034b
00000346: JUMPI
00000347: PUSH1 0x00
00000349: DUP1
0000034a: REVERT
0000034b: JUMPDEST
0000034c: POP
0000034d: PUSH2 0x0366
00000350: PUSH1 0x04
00000352: DUP1
00000353: CALLDATASIZE
00000354: SUB
00000355: DUP2
00000356: ADD
00000357: SWAP1
00000358: PUSH2 0x0361
0000035b: SWAP2
0000035c: SWAP1
0000035d: PUSH2 0x28d8
00000360: JUMP
00000361: JUMPDEST
00000362: PUSH2 0x0c4c
00000365: JUMP
00000366: JUMPDEST
00000367: STOP
00000368: JUMPDEST
00000369: CALLVALUE
0000036a: DUP1
0000036b: ISZERO
0000036c: PUSH2 0x0374
0000036f: JUMPI
00000370: PUSH1 0x00
00000372: DUP1
00000373: REVERT
00000374: JUMPDEST
00000375: POP
00000376: PUSH2 0x037d
00000379: PUSH2 0x0c71
0000037c: JUMP
0000037d: JUMPDEST
0000037e: PUSH1 0x40
00000380: MLOAD
00000381: PUSH2 0x038a
00000384: SWAP2
00000385: SWAP1
00000386: PUSH2 0x275d
00000389: JUMP
0000038a: JUMPDEST
0000038b: PUSH1 0x40
0000038d: MLOAD
0000038e: DUP1
0000038f: SWAP2
00000390: SUB
00000391: SWAP1
00000392: RETURN
00000393: JUMPDEST
00000394: PUSH2 0x03ad
00000397: PUSH1 0x04
00000399: DUP1
0000039a: CALLDATASIZE
0000039b: SUB
0000039c: DUP2
0000039d: ADD
0000039e: SWAP1
0000039f: PUSH2 0x03a8
000003a2: SWAP2
000003a3: SWAP1
000003a4: PUSH2 0x2905
000003a7: JUMP
000003a8: JUMPDEST
000003a9: PUSH2 0x0c77
000003ac: JUMP
000003ad: JUMPDEST
000003ae: STOP
000003af: JUMPDEST
000003b0: CALLVALUE
000003b1: DUP1
000003b2: ISZERO
000003b3: PUSH2 0x03bb
000003b6: JUMPI
000003b7: PUSH1 0x00
000003b9: DUP1
000003ba: REVERT
000003bb: JUMPDEST
000003bc: POP
000003bd: PUSH2 0x03d6
000003c0: PUSH1 0x04
000003c2: DUP1
000003c3: CALLDATASIZE
000003c4: SUB
000003c5: DUP2
000003c6: ADD
000003c7: SWAP1
000003c8: PUSH2 0x03d1
000003cb: SWAP2
000003cc: SWAP1
000003cd: PUSH2 0x29a9
000003d0: JUMP
000003d1: JUMPDEST
000003d2: PUSH2 0x0fae
000003d5: JUMP
000003d6: JUMPDEST
000003d7: PUSH1 0x40
000003d9: MLOAD
000003da: PUSH2 0x03e3
000003dd: SWAP2
000003de: SWAP1
000003df: PUSH2 0x29e5
000003e2: JUMP
000003e3: JUMPDEST
000003e4: PUSH1 0x40
000003e6: MLOAD
000003e7: DUP1
000003e8: SWAP2
000003e9: SUB
000003ea: SWAP1
000003eb: RETURN
000003ec: JUMPDEST
000003ed: PUSH2 0x0406
000003f0: PUSH1 0x04
000003f2: DUP1
000003f3: CALLDATASIZE
000003f4: SUB
000003f5: DUP2
000003f6: ADD
000003f7: SWAP1
000003f8: PUSH2 0x0401
000003fb: SWAP2
000003fc: SWAP1
000003fd: PUSH2 0x2a00
00000400: JUMP
00000401: JUMPDEST
00000402: PUSH2 0x0fc6
00000405: JUMP
00000406: JUMPDEST
00000407: STOP
00000408: JUMPDEST
00000409: PUSH2 0x0422
0000040c: PUSH1 0x04
0000040e: DUP1
0000040f: CALLDATASIZE
00000410: SUB
00000411: DUP2
00000412: ADD
00000413: SWAP1
00000414: PUSH2 0x041d
00000417: SWAP2
00000418: SWAP1
00000419: PUSH2 0x2a49
0000041c: JUMP
0000041d: JUMPDEST
0000041e: PUSH2 0x10cf
00000421: JUMP
00000422: JUMPDEST
00000423: STOP
00000424: JUMPDEST
00000425: CALLVALUE
00000426: DUP1
00000427: ISZERO
00000428: PUSH2 0x0430
0000042b: JUMPI
0000042c: PUSH1 0x00
0000042e: DUP1
0000042f: REVERT
00000430: JUMPDEST
00000431: POP
00000432: PUSH2 0x0439
00000435: PUSH2 0x1269
00000438: JUMP
00000439: JUMPDEST
0000043a: PUSH1 0x40
0000043c: MLOAD
0000043d: PUSH2 0x0446
00000440: SWAP2
00000441: SWAP1
00000442: PUSH2 0x29e5
00000445: JUMP
00000446: JUMPDEST
00000447: PUSH1 0x40
00000449: MLOAD
0000044a: DUP1
0000044b: SWAP2
0000044c: SUB
0000044d: SWAP1
0000044e: RETURN
0000044f: JUMPDEST
00000450: CALLVALUE
00000451: DUP1
00000452: ISZERO
00000453: PUSH2 0x045b
00000456: JUMPI
00000457: PUSH1 0x00
00000459: DUP1
0000045a: REVERT
0000045b: JUMPDEST
0000045c: POP
0000045d: PUSH2 0x0476
00000460: PUSH1 0x04
00000462: DUP1
00000463: CALLDATASIZE
00000464: SUB
00000465: DUP2
00000466: ADD
00000467: SWAP1
00000468: PUSH2 0x0471
0000046b: SWAP2
0000046c: SWAP1
0000046d: PUSH2 0x2ae3
00000470: JUMP
00000471: JUMPDEST
00000472: PUSH2 0x1274
00000475: JUMP
00000476: JUMPDEST
00000477: STOP
00000478: JUMPDEST
00000479: CALLVALUE
0000047a: DUP1
0000047b: ISZERO
0000047c: PUSH2 0x0484
0000047f: JUMPI
00000480: PUSH1 0x00
00000482: DUP1
00000483: REVERT
00000484: JUMPDEST
00000485: POP
00000486: PUSH2 0x049f
00000489: PUSH1 0x04
0000048b: DUP1
0000048c: CALLDATASIZE
0000048d: SUB
0000048e: DUP2
0000048f: ADD
00000490: SWAP1
00000491: PUSH2 0x049a
00000494: SWAP2
00000495: SWAP1
00000496: PUSH2 0x2bc5
00000499: JUMP
0000049a: JUMPDEST
0000049b: PUSH2 0x13b7
0000049e: JUMP
0000049f: JUMPDEST
000004a0: STOP
000004a1: JUMPDEST
000004a2: CALLVALUE
000004a3: DUP1
000004a4: ISZERO
000004a5: PUSH2 0x04ad
000004a8: JUMPI
000004a9: PUSH1 0x00
000004ab: DUP1
000004ac: REVERT
000004ad: JUMPDEST
000004ae: POP
000004af: PUSH2 0x04b6
000004b2: PUSH2 0x144f
000004b5: JUMP
000004b6: JUMPDEST
000004b7: PUSH1 0x40
000004b9: MLOAD
000004ba: PUSH2 0x04c3
000004bd: SWAP2
000004be: SWAP1
000004bf: PUSH2 0x29e5
000004c2: JUMP
000004c3: JUMPDEST
000004c4: PUSH1 0x40
000004c6: MLOAD
000004c7: DUP1
000004c8: SWAP2
000004c9: SUB
000004ca: SWAP1
000004cb: RETURN
000004cc: JUMPDEST
000004cd: CALLVALUE
000004ce: DUP1
000004cf: ISZERO
000004d0: PUSH2 0x04d8
000004d3: JUMPI
000004d4: PUSH1 0x00
000004d6: DUP1
000004d7: REVERT
000004d8: JUMPDEST
000004d9: POP
000004da: PUSH2 0x04e1
000004dd: PUSH2 0x145a
000004e0: JUMP
000004e1: JUMPDEST
000004e2: STOP
000004e3: JUMPDEST
000004e4: CALLVALUE
000004e5: DUP1
000004e6: ISZERO
000004e7: PUSH2 0x04ef
000004ea: JUMPI
000004eb: PUSH1 0x00
000004ed: DUP1
000004ee: REVERT
000004ef: JUMPDEST
000004f0: POP
000004f1: PUSH2 0x04f8
000004f4: PUSH2 0x146e
000004f7: JUMP
000004f8: JUMPDEST
000004f9: PUSH1 0x40
000004fb: MLOAD
000004fc: PUSH2 0x0505
000004ff: SWAP2
00000500: SWAP1
00000501: PUSH2 0x29e5
00000504: JUMP
00000505: JUMPDEST
00000506: PUSH1 0x40
00000508: MLOAD
00000509: DUP1
0000050a: SWAP2
0000050b: SUB
0000050c: SWAP1
0000050d: RETURN
0000050e: JUMPDEST
0000050f: CALLVALUE
00000510: DUP1
00000511: ISZERO
00000512: PUSH2 0x051a
00000515: JUMPI
00000516: PUSH1 0x00
00000518: DUP1
00000519: REVERT
0000051a: JUMPDEST
0000051b: POP
0000051c: PUSH2 0x0535
0000051f: PUSH1 0x04
00000521: DUP1
00000522: CALLDATASIZE
00000523: SUB
00000524: DUP2
00000525: ADD
00000526: SWAP1
00000527: PUSH2 0x0530
0000052a: SWAP2
0000052b: SWAP1
0000052c: PUSH2 0x2c3a
0000052f: JUMP
00000530: JUMPDEST
00000531: PUSH2 0x1479
00000534: JUMP
00000535: JUMPDEST
00000536: STOP
00000537: JUMPDEST
00000538: CALLVALUE
00000539: DUP1
0000053a: ISZERO
0000053b: PUSH2 0x0543
0000053e: JUMPI
0000053f: PUSH1 0x00
00000541: DUP1
00000542: REVERT
00000543: JUMPDEST
00000544: POP
00000545: PUSH2 0x055e
00000548: PUSH1 0x04
0000054a: DUP1
0000054b: CALLDATASIZE
0000054c: SUB
0000054d: DUP2
0000054e: ADD
0000054f: SWAP1
00000550: PUSH2 0x0559
00000553: SWAP2
00000554: SWAP1
00000555: PUSH2 0x28d8
00000558: JUMP
00000559: JUMPDEST
0000055a: PUSH2 0x1493
0000055d: JUMP
0000055e: JUMPDEST
0000055f: STOP
00000560: JUMPDEST
00000561: CALLVALUE
00000562: DUP1
00000563: ISZERO
00000564: PUSH2 0x056c
00000567: JUMPI
00000568: PUSH1 0x00
0000056a: DUP1
0000056b: REVERT
0000056c: JUMPDEST
0000056d: POP
0000056e: PUSH2 0x0587
00000571: PUSH1 0x04
00000573: DUP1
00000574: CALLDATASIZE
00000575: SUB
00000576: DUP2
00000577: ADD
00000578: SWAP1
00000579: PUSH2 0x0582
0000057c: SWAP2
0000057d: SWAP1
0000057e: PUSH2 0x29a9
00000581: JUMP
00000582: JUMPDEST
00000583: PUSH2 0x14b8
00000586: JUMP
00000587: JUMPDEST
00000588: STOP
00000589: JUMPDEST
0000058a: CALLVALUE
0000058b: DUP1
0000058c: ISZERO
0000058d: PUSH2 0x0595
00000590: JUMPI
00000591: PUSH1 0x00
00000593: DUP1
00000594: REVERT
00000595: JUMPDEST
00000596: POP
00000597: PUSH2 0x059e
0000059a: PUSH2 0x1504
0000059d: JUMP
0000059e: JUMPDEST
0000059f: PUSH1 0x40
000005a1: MLOAD
000005a2: PUSH2 0x05ab
000005a5: SWAP2
000005a6: SWAP1
000005a7: PUSH2 0x29e5
000005aa: JUMP
000005ab: JUMPDEST
000005ac: PUSH1 0x40
000005ae: MLOAD
000005af: DUP1
000005b0: SWAP2
000005b1: SUB
000005b2: SWAP1
000005b3: RETURN
000005b4: JUMPDEST
000005b5: CALLVALUE
000005b6: DUP1
000005b7: ISZERO
000005b8: PUSH2 0x05c0
000005bb: JUMPI
000005bc: PUSH1 0x00
000005be: DUP1
000005bf: REVERT
000005c0: JUMPDEST
000005c1: POP
000005c2: PUSH2 0x05c9
000005c5: PUSH2 0x150f
000005c8: JUMP
000005c9: JUMPDEST
000005ca: PUSH1 0x40
000005cc: MLOAD
000005cd: PUSH2 0x05d6
000005d0: SWAP2
000005d1: SWAP1
000005d2: PUSH2 0x2c89
000005d5: JUMP
000005d6: JUMPDEST
000005d7: PUSH1 0x40
000005d9: MLOAD
000005da: DUP1
000005db: SWAP2
000005dc: SUB
000005dd: SWAP1
000005de: RETURN
000005df: JUMPDEST
000005e0: CALLVALUE
000005e1: DUP1
000005e2: ISZERO
000005e3: PUSH2 0x05eb
000005e6: JUMPI
000005e7: PUSH1 0x00
000005e9: DUP1
000005ea: REVERT
000005eb: JUMPDEST
000005ec: POP
000005ed: PUSH2 0x0606
000005f0: PUSH1 0x04
000005f2: DUP1
000005f3: CALLDATASIZE
000005f4: SUB
000005f5: DUP2
000005f6: ADD
000005f7: SWAP1
000005f8: PUSH2 0x0601
000005fb: SWAP2
000005fc: SWAP1
000005fd: PUSH2 0x2ca4
00000600: JUMP
00000601: JUMPDEST
00000602: PUSH2 0x1538
00000605: JUMP
00000606: JUMPDEST
00000607: PUSH1 0x40
00000609: MLOAD
0000060a: PUSH2 0x0613
0000060d: SWAP2
0000060e: SWAP1
0000060f: PUSH2 0x2d48
00000612: JUMP
00000613: JUMPDEST
00000614: PUSH1 0x40
00000616: MLOAD
00000617: DUP1
00000618: SWAP2
00000619: SUB
0000061a: SWAP1
0000061b: RETURN
0000061c: JUMPDEST
0000061d: CALLVALUE
0000061e: DUP1
0000061f: ISZERO
00000620: PUSH2 0x0628
00000623: JUMPI
00000624: PUSH1 0x00
00000626: DUP1
00000627: REVERT
00000628: JUMPDEST
00000629: POP
0000062a: PUSH2 0x0643
0000062d: PUSH1 0x04
0000062f: DUP1
00000630: CALLDATASIZE
00000631: SUB
00000632: DUP2
00000633: ADD
00000634: SWAP1
00000635: PUSH2 0x063e
00000638: SWAP2
00000639: SWAP1
0000063a: PUSH2 0x2d63
0000063d: JUMP
0000063e: JUMPDEST
0000063f: PUSH2 0x1568
00000642: JUMP
00000643: JUMPDEST
00000644: STOP
00000645: JUMPDEST
00000646: CALLVALUE
00000647: DUP1
00000648: ISZERO
00000649: PUSH2 0x0651
0000064c: JUMPI
0000064d: PUSH1 0x00
0000064f: DUP1
00000650: REVERT
00000651: JUMPDEST
00000652: POP
00000653: PUSH2 0x066c
00000656: PUSH1 0x04
00000658: DUP1
00000659: CALLDATASIZE
0000065a: SUB
0000065b: DUP2
0000065c: ADD
0000065d: SWAP1
0000065e: PUSH2 0x0667
00000661: SWAP2
00000662: SWAP1
00000663: PUSH2 0x28d8
00000666: JUMP
00000667: JUMPDEST
00000668: PUSH2 0x157e
0000066b: JUMP
0000066c: JUMPDEST
0000066d: STOP
0000066e: JUMPDEST
0000066f: PUSH2 0x0688
00000672: PUSH1 0x04
00000674: DUP1
00000675: CALLDATASIZE
00000676: SUB
00000677: DUP2
00000678: ADD
00000679: SWAP1
0000067a: PUSH2 0x0683
0000067d: SWAP2
0000067e: SWAP1
0000067f: PUSH2 0x2dbf
00000682: JUMP
00000683: JUMPDEST
00000684: PUSH2 0x15a3
00000687: JUMP
00000688: JUMPDEST
00000689: STOP
0000068a: JUMPDEST
0000068b: CALLVALUE
0000068c: DUP1
0000068d: ISZERO
0000068e: PUSH2 0x0696
00000691: JUMPI
00000692: PUSH1 0x00
00000694: DUP1
00000695: REVERT
00000696: JUMPDEST
00000697: POP
00000698: PUSH2 0x06b1
0000069b: PUSH1 0x04
0000069d: DUP1
0000069e: CALLDATASIZE
0000069f: SUB
000006a0: DUP2
000006a1: ADD
000006a2: SWAP1
000006a3: PUSH2 0x06ac
000006a6: SWAP2
000006a7: SWAP1
000006a8: PUSH2 0x29a9
000006ab: JUMP
000006ac: JUMPDEST
000006ad: PUSH2 0x1849
000006b0: JUMP
000006b1: JUMPDEST
000006b2: STOP
000006b3: JUMPDEST
000006b4: CALLVALUE
000006b5: DUP1
000006b6: ISZERO
000006b7: PUSH2 0x06bf
000006ba: JUMPI
000006bb: PUSH1 0x00
000006bd: DUP1
000006be: REVERT
000006bf: JUMPDEST
000006c0: POP
000006c1: PUSH2 0x06da
000006c4: PUSH1 0x04
000006c6: DUP1
000006c7: CALLDATASIZE
000006c8: SUB
000006c9: DUP2
000006ca: ADD
000006cb: SWAP1
000006cc: PUSH2 0x06d5
000006cf: SWAP2
000006d0: SWAP1
000006d1: PUSH2 0x29a9
000006d4: JUMP
000006d5: JUMPDEST
000006d6: PUSH2 0x1895
000006d9: JUMP
000006da: JUMPDEST
000006db: STOP
000006dc: JUMPDEST
000006dd: CALLVALUE
000006de: DUP1
000006df: ISZERO
000006e0: PUSH2 0x06e8
000006e3: JUMPI
000006e4: PUSH1 0x00
000006e6: DUP1
000006e7: REVERT
000006e8: JUMPDEST
000006e9: POP
000006ea: PUSH2 0x06f1
000006ed: PUSH2 0x19fa
000006f0: JUMP
000006f1: JUMPDEST
000006f2: PUSH1 0x40
000006f4: MLOAD
000006f5: PUSH2 0x06fe
000006f8: SWAP2
000006f9: SWAP1
000006fa: PUSH2 0x2c89
000006fd: JUMP
000006fe: JUMPDEST
000006ff: PUSH1 0x40
00000701: MLOAD
00000702: DUP1
00000703: SWAP2
00000704: SUB
00000705: SWAP1
00000706: RETURN
00000707: JUMPDEST
00000708: CALLVALUE
00000709: DUP1
0000070a: ISZERO
0000070b: PUSH2 0x0713
0000070e: JUMPI
0000070f: PUSH1 0x00
00000711: DUP1
00000712: REVERT
00000713: JUMPDEST
00000714: POP
00000715: PUSH2 0x071c
00000718: PUSH2 0x1a20
0000071b: JUMP
0000071c: JUMPDEST
0000071d: STOP
0000071e: JUMPDEST
0000071f: CALLVALUE
00000720: DUP1
00000721: ISZERO
00000722: PUSH2 0x072a
00000725: JUMPI
00000726: PUSH1 0x00
00000728: DUP1
00000729: REVERT
0000072a: JUMPDEST
0000072b: POP
0000072c: PUSH2 0x0745
0000072f: PUSH1 0x04
00000731: DUP1
00000732: CALLDATASIZE
00000733: SUB
00000734: DUP2
00000735: ADD
00000736: SWAP1
00000737: PUSH2 0x0740
0000073a: SWAP2
0000073b: SWAP1
0000073c: PUSH2 0x2ca4
0000073f: JUMP
00000740: JUMPDEST
00000741: PUSH2 0x1aac
00000744: JUMP
00000745: JUMPDEST
00000746: PUSH1 0x40
00000748: MLOAD
00000749: PUSH2 0x0752
0000074c: SWAP2
0000074d: SWAP1
0000074e: PUSH2 0x275d
00000751: JUMP
00000752: JUMPDEST
00000753: PUSH1 0x40
00000755: MLOAD
00000756: DUP1
00000757: SWAP2
00000758: SUB
00000759: SWAP1
0000075a: RETURN
0000075b: JUMPDEST
0000075c: CALLVALUE
0000075d: DUP1
0000075e: ISZERO
0000075f: PUSH2 0x0767
00000762: JUMPI
00000763: PUSH1 0x00
00000765: DUP1
00000766: REVERT
00000767: JUMPDEST
00000768: POP
00000769: PUSH2 0x0782
0000076c: PUSH1 0x04
0000076e: DUP1
0000076f: CALLDATASIZE
00000770: SUB
00000771: DUP2
00000772: ADD
00000773: SWAP1
00000774: PUSH2 0x077d
00000777: SWAP2
00000778: SWAP1
00000779: PUSH2 0x2e4f
0000077c: JUMP
0000077d: JUMPDEST
0000077e: PUSH2 0x1ac9
00000781: JUMP
00000782: JUMPDEST
00000783: STOP
00000784: JUMPDEST
00000785: CALLVALUE
00000786: DUP1
00000787: ISZERO
00000788: PUSH2 0x0790
0000078b: JUMPI
0000078c: PUSH1 0x00
0000078e: DUP1
0000078f: REVERT
00000790: JUMPDEST
00000791: POP
00000792: PUSH2 0x0799
00000795: PUSH2 0x1b64
00000798: JUMP
00000799: JUMPDEST
0000079a: PUSH1 0x40
0000079c: MLOAD
0000079d: PUSH2 0x07a6
000007a0: SWAP2
000007a1: SWAP1
000007a2: PUSH2 0x2347
000007a5: JUMP
000007a6: JUMPDEST
000007a7: PUSH1 0x40
000007a9: MLOAD
000007aa: DUP1
000007ab: SWAP2
000007ac: SUB
000007ad: SWAP1
000007ae: RETURN
000007af: JUMPDEST
000007b0: CALLVALUE
000007b1: DUP1
000007b2: ISZERO
000007b3: PUSH2 0x07bb
000007b6: JUMPI
000007b7: PUSH1 0x00
000007b9: DUP1
000007ba: REVERT
000007bb: JUMPDEST
000007bc: POP
000007bd: PUSH2 0x07d6
000007c0: PUSH1 0x04
000007c2: DUP1
000007c3: CALLDATASIZE
000007c4: SUB
000007c5: DUP2
000007c6: ADD
000007c7: SWAP1
000007c8: PUSH2 0x07d1
000007cb: SWAP2
000007cc: SWAP1
000007cd: PUSH2 0x29a9
000007d0: JUMP
000007d1: JUMPDEST
000007d2: PUSH2 0x1b77
000007d5: JUMP
000007d6: JUMPDEST
000007d7: STOP
000007d8: JUMPDEST
000007d9: PUSH1 0x04
000007db: PUSH1 0x15
000007dd: SWAP1
000007de: SLOAD
000007df: SWAP1
000007e0: PUSH2 0x0100
000007e3: EXP
000007e4: SWAP1
000007e5: DIV
000007e6: PUSH1 0xff
000007e8: AND
000007e9: DUP2
000007ea: JUMP
000007eb: JUMPDEST
000007ec: PUSH2 0x07f3
000007ef: PUSH2 0x1bfa
000007f2: JUMP
000007f3: JUMPDEST
000007f4: PUSH1 0x04
000007f6: PUSH1 0x15
000007f8: SWAP1
000007f9: SLOAD
000007fa: SWAP1
000007fb: PUSH2 0x0100
000007fe: EXP
000007ff: SWAP1
00000800: DIV
00000801: PUSH1 0xff
00000803: AND
00000804: PUSH2 0x0842
00000807: JUMPI
00000808: PUSH1 0x40
0000080a: MLOAD
0000080b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000082c: DUP2
0000082d: MSTORE
0000082e: PUSH1 0x04
00000830: ADD
00000831: PUSH2 0x0839
00000834: SWAP1
00000835: PUSH2 0x2f12
00000838: JUMP
00000839: JUMPDEST
0000083a: PUSH1 0x40
0000083c: MLOAD
0000083d: DUP1
0000083e: SWAP2
0000083f: SUB
00000840: SWAP1
00000841: REVERT
00000842: JUMPDEST
00000843: PUSH2 0x084b
00000846: DUP2
00000847: PUSH2 0x1c49
0000084a: JUMP
0000084b: JUMPDEST
0000084c: PUSH2 0x088a
0000084f: JUMPI
00000850: PUSH1 0x40
00000852: MLOAD
00000853: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000874: DUP2
00000875: MSTORE
00000876: PUSH1 0x04
00000878: ADD
00000879: PUSH2 0x0881
0000087c: SWAP1
0000087d: PUSH2 0x2f7e
00000880: JUMP
00000881: JUMPDEST
00000882: PUSH1 0x40
00000884: MLOAD
00000885: DUP1
00000886: SWAP2
00000887: SUB
00000888: SWAP1
00000889: REVERT
0000088a: JUMPDEST
0000088b: PUSH2 0x08fe
0000088e: DUP4
0000088f: DUP4
00000890: DUP1
00000891: DUP1
00000892: PUSH1 0x20
00000894: MUL
00000895: PUSH1 0x20
00000897: ADD
00000898: PUSH1 0x40
0000089a: MLOAD
0000089b: SWAP1
0000089c: DUP2
0000089d: ADD
0000089e: PUSH1 0x40
000008a0: MSTORE
000008a1: DUP1
000008a2: SWAP4
000008a3: SWAP3
000008a4: SWAP2
000008a5: SWAP1
000008a6: DUP2
000008a7: DUP2
000008a8: MSTORE
000008a9: PUSH1 0x20
000008ab: ADD
000008ac: DUP4
000008ad: DUP4
000008ae: PUSH1 0x20
000008b0: MUL
000008b1: DUP1
000008b2: DUP3
000008b3: DUP5
000008b4: CALLDATACOPY
000008b5: PUSH1 0x00
000008b7: DUP2
000008b8: DUP5
000008b9: ADD
000008ba: MSTORE
000008bb: PUSH1 0x1f
000008bd: NOT
000008be: PUSH1 0x1f
000008c0: DUP3
000008c1: ADD
000008c2: AND
000008c3: SWAP1
000008c4: POP
000008c5: DUP1
000008c6: DUP4
000008c7: ADD
000008c8: SWAP3
000008c9: POP
000008ca: POP
000008cb: POP
000008cc: POP
000008cd: POP
000008ce: POP
000008cf: POP
000008d0: PUSH1 0x05
000008d2: SLOAD
000008d3: CALLER
000008d4: PUSH1 0x40
000008d6: MLOAD
000008d7: PUSH1 0x20
000008d9: ADD
000008da: PUSH2 0x08e3
000008dd: SWAP2
000008de: SWAP1
000008df: PUSH2 0x2fe6
000008e2: JUMP
000008e3: JUMPDEST
000008e4: PUSH1 0x40
000008e6: MLOAD
000008e7: PUSH1 0x20
000008e9: DUP2
000008ea: DUP4
000008eb: SUB
000008ec: SUB
000008ed: DUP2
000008ee: MSTORE
000008ef: SWAP1
000008f0: PUSH1 0x40
000008f2: MSTORE
000008f3: DUP1
000008f4: MLOAD
000008f5: SWAP1
000008f6: PUSH1 0x20
000008f8: ADD
000008f9: KECCAK256
000008fa: PUSH2 0x1ca5
000008fd: JUMP
000008fe: JUMPDEST
000008ff: PUSH2 0x093d
00000902: JUMPI
00000903: PUSH1 0x40
00000905: MLOAD
00000906: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000927: DUP2
00000928: MSTORE
00000929: PUSH1 0x04
0000092b: ADD
0000092c: PUSH2 0x0934
0000092f: SWAP1
00000930: PUSH2 0x304d
00000933: JUMP
00000934: JUMPDEST
00000935: PUSH1 0x40
00000937: MLOAD
00000938: DUP1
00000939: SWAP2
0000093a: SUB
0000093b: SWAP1
0000093c: REVERT
0000093d: JUMPDEST
0000093e: DUP1
0000093f: MLOAD
00000940: PUSH7 0x58d15e17628000
00000948: PUSH2 0x0951
0000094b: SWAP2
0000094c: SWAP1
0000094d: PUSH2 0x309c
00000950: JUMP
00000951: JUMPDEST
00000952: CALLVALUE
00000953: EQ
00000954: PUSH2 0x0992
00000957: JUMPI
00000958: PUSH1 0x40
0000095a: MLOAD
0000095b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000097c: DUP2
0000097d: MSTORE
0000097e: PUSH1 0x04
00000980: ADD
00000981: PUSH2 0x0989
00000984: SWAP1
00000985: PUSH2 0x312a
00000988: JUMP
00000989: JUMPDEST
0000098a: PUSH1 0x40
0000098c: MLOAD
0000098d: DUP1
0000098e: SWAP2
0000098f: SUB
00000990: SWAP1
00000991: REVERT
00000992: JUMPDEST
00000993: PUSH2 0x099c
00000996: CALLER
00000997: DUP3
00000998: PUSH2 0x1cbc
0000099b: JUMP
0000099c: JUMPDEST
0000099d: PUSH2 0x09a4
000009a0: PUSH2 0x1cd4
000009a3: JUMP
000009a4: JUMPDEST
000009a5: POP
000009a6: POP
000009a7: POP
000009a8: JUMP
000009a9: JUMPDEST
000009aa: PUSH1 0x02
000009ac: PUSH1 0x00
000009ae: SWAP1
000009af: SLOAD
000009b0: SWAP1
000009b1: PUSH2 0x0100
000009b4: EXP
000009b5: SWAP1
000009b6: DIV
000009b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009cc: AND
000009cd: DUP2
000009ce: JUMP
000009cf: JUMPDEST
000009d0: PUSH1 0x04
000009d2: PUSH1 0x00
000009d4: SWAP1
000009d5: SLOAD
000009d6: SWAP1
000009d7: PUSH2 0x0100
000009da: EXP
000009db: SWAP1
000009dc: DIV
000009dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009f2: AND
000009f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a08: AND
00000a09: CALLER
00000a0a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a1f: AND
00000a20: EQ
00000a21: PUSH2 0x0a5f
00000a24: JUMPI
00000a25: PUSH1 0x40
00000a27: MLOAD
00000a28: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000a49: DUP2
00000a4a: MSTORE
00000a4b: PUSH1 0x04
00000a4d: ADD
00000a4e: PUSH2 0x0a56
00000a51: SWAP1
00000a52: PUSH2 0x3196
00000a55: JUMP
00000a56: JUMPDEST
00000a57: PUSH1 0x40
00000a59: MLOAD
00000a5a: DUP1
00000a5b: SWAP2
00000a5c: SUB
00000a5d: SWAP1
00000a5e: REVERT
00000a5f: JUMPDEST
00000a60: PUSH2 0x0a67
00000a63: PUSH2 0x1bfa
00000a66: JUMP
00000a67: JUMPDEST
00000a68: PUSH1 0x04
00000a6a: PUSH1 0x15
00000a6c: SWAP1
00000a6d: SLOAD
00000a6e: SWAP1
00000a6f: PUSH2 0x0100
00000a72: EXP
00000a73: SWAP1
00000a74: DIV
00000a75: PUSH1 0xff
00000a77: AND
00000a78: PUSH2 0x0ab6
00000a7b: JUMPI
00000a7c: PUSH1 0x40
00000a7e: MLOAD
00000a7f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000aa0: DUP2
00000aa1: MSTORE
00000aa2: PUSH1 0x04
00000aa4: ADD
00000aa5: PUSH2 0x0aad
00000aa8: SWAP1
00000aa9: PUSH2 0x2f12
00000aac: JUMP
00000aad: JUMPDEST
00000aae: PUSH1 0x40
00000ab0: MLOAD
00000ab1: DUP1
00000ab2: SWAP2
00000ab3: SUB
00000ab4: SWAP1
00000ab5: REVERT
00000ab6: JUMPDEST
00000ab7: PUSH2 0x0abf
00000aba: DUP3
00000abb: PUSH2 0x1c49
00000abe: JUMP
00000abf: JUMPDEST
00000ac0: PUSH2 0x0afe
00000ac3: JUMPI
00000ac4: PUSH1 0x40
00000ac6: MLOAD
00000ac7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000ae8: DUP2
00000ae9: MSTORE
00000aea: PUSH1 0x04
00000aec: ADD
00000aed: PUSH2 0x0af5
00000af0: SWAP1
00000af1: PUSH2 0x2f7e
00000af4: JUMP
00000af5: JUMPDEST
00000af6: PUSH1 0x40
00000af8: MLOAD
00000af9: DUP1
00000afa: SWAP2
00000afb: SUB
00000afc: SWAP1
00000afd: REVERT
00000afe: JUMPDEST
00000aff: PUSH2 0x0b72
00000b02: DUP5
00000b03: DUP5
00000b04: DUP1
00000b05: DUP1
00000b06: PUSH1 0x20
00000b08: MUL
00000b09: PUSH1 0x20
00000b0b: ADD
00000b0c: PUSH1 0x40
00000b0e: MLOAD
00000b0f: SWAP1
00000b10: DUP2
00000b11: ADD
00000b12: PUSH1 0x40
00000b14: MSTORE
00000b15: DUP1
00000b16: SWAP4
00000b17: SWAP3
00000b18: SWAP2
00000b19: SWAP1
00000b1a: DUP2
00000b1b: DUP2
00000b1c: MSTORE
00000b1d: PUSH1 0x20
00000b1f: ADD
00000b20: DUP4
00000b21: DUP4
00000b22: PUSH1 0x20
00000b24: MUL
00000b25: DUP1
00000b26: DUP3
00000b27: DUP5
00000b28: CALLDATACOPY
00000b29: PUSH1 0x00
00000b2b: DUP2
00000b2c: DUP5
00000b2d: ADD
00000b2e: MSTORE
00000b2f: PUSH1 0x1f
00000b31: NOT
00000b32: PUSH1 0x1f
00000b34: DUP3
00000b35: ADD
00000b36: AND
00000b37: SWAP1
00000b38: POP
00000b39: DUP1
00000b3a: DUP4
00000b3b: ADD
00000b3c: SWAP3
00000b3d: POP
00000b3e: POP
00000b3f: POP
00000b40: POP
00000b41: POP
00000b42: POP
00000b43: POP
00000b44: PUSH1 0x05
00000b46: SLOAD
00000b47: DUP4
00000b48: PUSH1 0x40
00000b4a: MLOAD
00000b4b: PUSH1 0x20
00000b4d: ADD
00000b4e: PUSH2 0x0b57
00000b51: SWAP2
00000b52: SWAP1
00000b53: PUSH2 0x2fe6
00000b56: JUMP
00000b57: JUMPDEST
00000b58: PUSH1 0x40
00000b5a: MLOAD
00000b5b: PUSH1 0x20
00000b5d: DUP2
00000b5e: DUP4
00000b5f: SUB
00000b60: SUB
00000b61: DUP2
00000b62: MSTORE
00000b63: SWAP1
00000b64: PUSH1 0x40
00000b66: MSTORE
00000b67: DUP1
00000b68: MLOAD
00000b69: SWAP1
00000b6a: PUSH1 0x20
00000b6c: ADD
00000b6d: KECCAK256
00000b6e: PUSH2 0x1ca5
00000b71: JUMP
00000b72: JUMPDEST
00000b73: PUSH2 0x0bb1
00000b76: JUMPI
00000b77: PUSH1 0x40
00000b79: MLOAD
00000b7a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000b9b: DUP2
00000b9c: MSTORE
00000b9d: PUSH1 0x04
00000b9f: ADD
00000ba0: PUSH2 0x0ba8
00000ba3: SWAP1
00000ba4: PUSH2 0x304d
00000ba7: JUMP
00000ba8: JUMPDEST
00000ba9: PUSH1 0x40
00000bab: MLOAD
00000bac: DUP1
00000bad: SWAP2
00000bae: SUB
00000baf: SWAP1
00000bb0: REVERT
00000bb1: JUMPDEST
00000bb2: DUP2
00000bb3: MLOAD
00000bb4: PUSH7 0x58d15e17628000
00000bbc: PUSH2 0x0bc5
00000bbf: SWAP2
00000bc0: SWAP1
00000bc1: PUSH2 0x309c
00000bc4: JUMP
00000bc5: JUMPDEST
00000bc6: CALLVALUE
00000bc7: EQ
00000bc8: PUSH2 0x0c06
00000bcb: JUMPI
00000bcc: PUSH1 0x40
00000bce: MLOAD
00000bcf: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000bf0: DUP2
00000bf1: MSTORE
00000bf2: PUSH1 0x04
00000bf4: ADD
00000bf5: PUSH2 0x0bfd
00000bf8: SWAP1
00000bf9: PUSH2 0x312a
00000bfc: JUMP
00000bfd: JUMPDEST
00000bfe: PUSH1 0x40
00000c00: MLOAD
00000c01: DUP1
00000c02: SWAP2
00000c03: SUB
00000c04: SWAP1
00000c05: REVERT
00000c06: JUMPDEST
00000c07: PUSH2 0x0c10
00000c0a: DUP2
00000c0b: DUP4
00000c0c: PUSH2 0x1cbc
00000c0f: JUMP
00000c10: JUMPDEST
00000c11: PUSH2 0x0c18
00000c14: PUSH2 0x1cd4
00000c17: JUMP
00000c18: JUMPDEST
00000c19: POP
00000c1a: POP
00000c1b: POP
00000c1c: POP
00000c1d: JUMP
00000c1e: JUMPDEST
00000c1f: PUSH1 0x06
00000c21: SLOAD
00000c22: DUP2
00000c23: JUMP
00000c24: JUMPDEST
00000c25: PUSH1 0x00
00000c27: PUSH4 0x150b7a02
00000c2c: PUSH1 0xe0
00000c2e: SHL
00000c2f: SWAP1
00000c30: POP
00000c31: SWAP6
00000c32: SWAP5
00000c33: POP
00000c34: POP
00000c35: POP
00000c36: POP
00000c37: POP
00000c38: JUMP
00000c39: JUMPDEST
00000c3a: PUSH1 0x04
00000c3c: PUSH1 0x14
00000c3e: SWAP1
00000c3f: SLOAD
00000c40: SWAP1
00000c41: PUSH2 0x0100
00000c44: EXP
00000c45: SWAP1
00000c46: DIV
00000c47: PUSH1 0xff
00000c49: AND
00000c4a: DUP2
00000c4b: JUMP
00000c4c: JUMPDEST
00000c4d: PUSH2 0x0c54
00000c50: PUSH2 0x1cdd
00000c53: JUMP
00000c54: JUMPDEST
00000c55: DUP1
00000c56: PUSH1 0x04
00000c58: PUSH1 0x14
00000c5a: PUSH2 0x0100
00000c5d: EXP
00000c5e: DUP2
00000c5f: SLOAD
00000c60: DUP2
00000c61: PUSH1 0xff
00000c63: MUL
00000c64: NOT
00000c65: AND
00000c66: SWAP1
00000c67: DUP4
00000c68: ISZERO
00000c69: ISZERO
00000c6a: MUL
00000c6b: OR
00000c6c: SWAP1
00000c6d: SSTORE
00000c6e: POP
00000c6f: POP
00000c70: JUMP
00000c71: JUMPDEST
00000c72: PUSH1 0x05
00000c74: SLOAD
00000c75: DUP2
00000c76: JUMP
00000c77: JUMPDEST
00000c78: PUSH1 0x04
00000c7a: PUSH1 0x00
00000c7c: SWAP1
00000c7d: SLOAD
00000c7e: SWAP1
00000c7f: PUSH2 0x0100
00000c82: EXP
00000c83: SWAP1
00000c84: DIV
00000c85: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c9a: AND
00000c9b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cb0: AND
00000cb1: CALLER
00000cb2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cc7: AND
00000cc8: EQ
00000cc9: PUSH2 0x0d07
00000ccc: JUMPI
00000ccd: PUSH1 0x40
00000ccf: MLOAD
00000cd0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000cf1: DUP2
00000cf2: MSTORE
00000cf3: PUSH1 0x04
00000cf5: ADD
00000cf6: PUSH2 0x0cfe
00000cf9: SWAP1
00000cfa: PUSH2 0x3196
00000cfd: JUMP
00000cfe: JUMPDEST
00000cff: PUSH1 0x40
00000d01: MLOAD
00000d02: DUP1
00000d03: SWAP2
00000d04: SUB
00000d05: SWAP1
00000d06: REVERT
00000d07: JUMPDEST
00000d08: PUSH2 0x0d0f
00000d0b: PUSH2 0x1bfa
00000d0e: JUMP
00000d0f: JUMPDEST
00000d10: PUSH1 0x04
00000d12: PUSH1 0x16
00000d14: SWAP1
00000d15: SLOAD
00000d16: SWAP1
00000d17: PUSH2 0x0100
00000d1a: EXP
00000d1b: SWAP1
00000d1c: DIV
00000d1d: PUSH1 0xff
00000d1f: AND
00000d20: PUSH2 0x0d5e
00000d23: JUMPI
00000d24: PUSH1 0x40
00000d26: MLOAD
00000d27: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000d48: DUP2
00000d49: MSTORE
00000d4a: PUSH1 0x04
00000d4c: ADD
00000d4d: PUSH2 0x0d55
00000d50: SWAP1
00000d51: PUSH2 0x3228
00000d54: JUMP
00000d55: JUMPDEST
00000d56: PUSH1 0x40
00000d58: MLOAD
00000d59: DUP1
00000d5a: SWAP2
00000d5b: SUB
00000d5c: SWAP1
00000d5d: REVERT
00000d5e: JUMPDEST
00000d5f: DUP3
00000d60: DUP3
00000d61: MLOAD
00000d62: PUSH1 0x07
00000d64: PUSH1 0x00
00000d66: DUP5
00000d67: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d7c: AND
00000d7d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d92: AND
00000d93: DUP2
00000d94: MSTORE
00000d95: PUSH1 0x20
00000d97: ADD
00000d98: SWAP1
00000d99: DUP2
00000d9a: MSTORE
00000d9b: PUSH1 0x20
00000d9d: ADD
00000d9e: PUSH1 0x00
00000da0: KECCAK256
00000da1: SLOAD
00000da2: PUSH2 0x0dab
00000da5: SWAP2
00000da6: SWAP1
00000da7: PUSH2 0x3248
00000daa: JUMP
00000dab: JUMPDEST
00000dac: GT
00000dad: ISZERO
00000dae: PUSH2 0x0dec
00000db1: JUMPI
00000db2: PUSH1 0x40
00000db4: MLOAD
00000db5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000dd6: DUP2
00000dd7: MSTORE
00000dd8: PUSH1 0x04
00000dda: ADD
00000ddb: PUSH2 0x0de3
00000dde: SWAP1
00000ddf: PUSH2 0x32ee
00000de2: JUMP
00000de3: JUMPDEST
00000de4: PUSH1 0x40
00000de6: MLOAD
00000de7: DUP1
00000de8: SWAP2
00000de9: SUB
00000dea: SWAP1
00000deb: REVERT
00000dec: JUMPDEST
00000ded: PUSH2 0x0df5
00000df0: DUP3
00000df1: PUSH2 0x1c49
00000df4: JUMP
00000df5: JUMPDEST
00000df6: PUSH2 0x0e34
00000df9: JUMPI
00000dfa: PUSH1 0x40
00000dfc: MLOAD
00000dfd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000e1e: DUP2
00000e1f: MSTORE
00000e20: PUSH1 0x04
00000e22: ADD
00000e23: PUSH2 0x0e2b
00000e26: SWAP1
00000e27: PUSH2 0x2f7e
00000e2a: JUMP
00000e2b: JUMPDEST
00000e2c: PUSH1 0x40
00000e2e: MLOAD
00000e2f: DUP1
00000e30: SWAP2
00000e31: SUB
00000e32: SWAP1
00000e33: REVERT
00000e34: JUMPDEST
00000e35: PUSH2 0x0eaa
00000e38: DUP6
00000e39: DUP6
00000e3a: DUP1
00000e3b: DUP1
00000e3c: PUSH1 0x20
00000e3e: MUL
00000e3f: PUSH1 0x20
00000e41: ADD
00000e42: PUSH1 0x40
00000e44: MLOAD
00000e45: SWAP1
00000e46: DUP2
00000e47: ADD
00000e48: PUSH1 0x40
00000e4a: MSTORE
00000e4b: DUP1
00000e4c: SWAP4
00000e4d: SWAP3
00000e4e: SWAP2
00000e4f: SWAP1
00000e50: DUP2
00000e51: DUP2
00000e52: MSTORE
00000e53: PUSH1 0x20
00000e55: ADD
00000e56: DUP4
00000e57: DUP4
00000e58: PUSH1 0x20
00000e5a: MUL
00000e5b: DUP1
00000e5c: DUP3
00000e5d: DUP5
00000e5e: CALLDATACOPY
00000e5f: PUSH1 0x00
00000e61: DUP2
00000e62: DUP5
00000e63: ADD
00000e64: MSTORE
00000e65: PUSH1 0x1f
00000e67: NOT
00000e68: PUSH1 0x1f
00000e6a: DUP3
00000e6b: ADD
00000e6c: AND
00000e6d: SWAP1
00000e6e: POP
00000e6f: DUP1
00000e70: DUP4
00000e71: ADD
00000e72: SWAP3
00000e73: POP
00000e74: POP
00000e75: POP
00000e76: POP
00000e77: POP
00000e78: POP
00000e79: POP
00000e7a: PUSH1 0x06
00000e7c: SLOAD
00000e7d: DUP4
00000e7e: DUP7
00000e7f: PUSH1 0x40
00000e81: MLOAD
00000e82: PUSH1 0x20
00000e84: ADD
00000e85: PUSH2 0x0e8f
00000e88: SWAP3
00000e89: SWAP2
00000e8a: SWAP1
00000e8b: PUSH2 0x332f
00000e8e: JUMP
00000e8f: JUMPDEST
00000e90: PUSH1 0x40
00000e92: MLOAD
00000e93: PUSH1 0x20
00000e95: DUP2
00000e96: DUP4
00000e97: SUB
00000e98: SUB
00000e99: DUP2
00000e9a: MSTORE
00000e9b: SWAP1
00000e9c: PUSH1 0x40
00000e9e: MSTORE
00000e9f: DUP1
00000ea0: MLOAD
00000ea1: SWAP1
00000ea2: PUSH1 0x20
00000ea4: ADD
00000ea5: KECCAK256
00000ea6: PUSH2 0x1ca5
00000ea9: JUMP
00000eaa: JUMPDEST
00000eab: PUSH2 0x0ee9
00000eae: JUMPI
00000eaf: PUSH1 0x40
00000eb1: MLOAD
00000eb2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000ed3: DUP2
00000ed4: MSTORE
00000ed5: PUSH1 0x04
00000ed7: ADD
00000ed8: PUSH2 0x0ee0
00000edb: SWAP1
00000edc: PUSH2 0x304d
00000edf: JUMP
00000ee0: JUMPDEST
00000ee1: PUSH1 0x40
00000ee3: MLOAD
00000ee4: DUP1
00000ee5: SWAP2
00000ee6: SUB
00000ee7: SWAP1
00000ee8: REVERT
00000ee9: JUMPDEST
00000eea: DUP2
00000eeb: MLOAD
00000eec: PUSH7 0x2386f26fc10000
00000ef4: PUSH2 0x0efd
00000ef7: SWAP2
00000ef8: SWAP1
00000ef9: PUSH2 0x309c
00000efc: JUMP
00000efd: JUMPDEST
00000efe: CALLVALUE
00000eff: EQ
00000f00: PUSH2 0x0f3e
00000f03: JUMPI
00000f04: PUSH1 0x40
00000f06: MLOAD
00000f07: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000f28: DUP2
00000f29: MSTORE
00000f2a: PUSH1 0x04
00000f2c: ADD
00000f2d: PUSH2 0x0f35
00000f30: SWAP1
00000f31: PUSH2 0x312a
00000f34: JUMP
00000f35: JUMPDEST
00000f36: PUSH1 0x40
00000f38: MLOAD
00000f39: DUP1
00000f3a: SWAP2
00000f3b: SUB
00000f3c: SWAP1
00000f3d: REVERT
00000f3e: JUMPDEST
00000f3f: PUSH2 0x0f48
00000f42: DUP2
00000f43: DUP4
00000f44: PUSH2 0x1cbc
00000f47: JUMP
00000f48: JUMPDEST
00000f49: DUP2
00000f4a: MLOAD
00000f4b: PUSH1 0x07
00000f4d: PUSH1 0x00
00000f4f: DUP4
00000f50: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f65: AND
00000f66: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f7b: AND
00000f7c: DUP2
00000f7d: MSTORE
00000f7e: PUSH1 0x20
00000f80: ADD
00000f81: SWAP1
00000f82: DUP2
00000f83: MSTORE
00000f84: PUSH1 0x20
00000f86: ADD
00000f87: PUSH1 0x00
00000f89: KECCAK256
00000f8a: PUSH1 0x00
00000f8c: DUP3
00000f8d: DUP3
00000f8e: SLOAD
00000f8f: PUSH2 0x0f98
00000f92: SWAP2
00000f93: SWAP1
00000f94: PUSH2 0x3248
00000f97: JUMP
00000f98: JUMPDEST
00000f99: SWAP3
00000f9a: POP
00000f9b: POP
00000f9c: DUP2
00000f9d: SWAP1
00000f9e: SSTORE
00000f9f: POP
00000fa0: PUSH2 0x0fa7
00000fa3: PUSH2 0x1cd4
00000fa6: JUMP
00000fa7: JUMPDEST
00000fa8: POP
00000fa9: POP
00000faa: POP
00000fab: POP
00000fac: POP
00000fad: JUMP
00000fae: JUMPDEST
00000faf: PUSH1 0x07
00000fb1: PUSH1 0x20
00000fb3: MSTORE
00000fb4: DUP1
00000fb5: PUSH1 0x00
00000fb7: MSTORE
00000fb8: PUSH1 0x40
00000fba: PUSH1 0x00
00000fbc: KECCAK256
00000fbd: PUSH1 0x00
00000fbf: SWAP2
00000fc0: POP
00000fc1: SWAP1
00000fc2: POP
00000fc3: SLOAD
00000fc4: DUP2
00000fc5: JUMP
00000fc6: JUMPDEST
00000fc7: PUSH2 0x0fce
00000fca: PUSH2 0x1bfa
00000fcd: JUMP
00000fce: JUMPDEST
00000fcf: PUSH1 0x04
00000fd1: PUSH1 0x14
00000fd3: SWAP1
00000fd4: SLOAD
00000fd5: SWAP1
00000fd6: PUSH2 0x0100
00000fd9: EXP
00000fda: SWAP1
00000fdb: DIV
00000fdc: PUSH1 0xff
00000fde: AND
00000fdf: PUSH2 0x101d
00000fe2: JUMPI
00000fe3: PUSH1 0x40
00000fe5: MLOAD
00000fe6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001007: DUP2
00001008: MSTORE
00001009: PUSH1 0x04
0000100b: ADD
0000100c: PUSH2 0x1014
0000100f: SWAP1
00001010: PUSH2 0x33cd
00001013: JUMP
00001014: JUMPDEST
00001015: PUSH1 0x40
00001017: MLOAD
00001018: DUP1
00001019: SWAP2
0000101a: SUB
0000101b: SWAP1
0000101c: REVERT
0000101d: JUMPDEST
0000101e: PUSH2 0x1026
00001021: DUP2
00001022: PUSH2 0x1c49
00001025: JUMP
00001026: JUMPDEST
00001027: PUSH2 0x1065
0000102a: JUMPI
0000102b: PUSH1 0x40
0000102d: MLOAD
0000102e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000104f: DUP2
00001050: MSTORE
00001051: PUSH1 0x04
00001053: ADD
00001054: PUSH2 0x105c
00001057: SWAP1
00001058: PUSH2 0x2f7e
0000105b: JUMP
0000105c: JUMPDEST
0000105d: PUSH1 0x40
0000105f: MLOAD
00001060: DUP1
00001061: SWAP2
00001062: SUB
00001063: SWAP1
00001064: REVERT
00001065: JUMPDEST
00001066: DUP1
00001067: MLOAD
00001068: PUSH7 0x6a94d74f430000
00001070: PUSH2 0x1079
00001073: SWAP2
00001074: SWAP1
00001075: PUSH2 0x309c
00001078: JUMP
00001079: JUMPDEST
0000107a: CALLVALUE
0000107b: EQ
0000107c: PUSH2 0x10ba
0000107f: JUMPI
00001080: PUSH1 0x40
00001082: MLOAD
00001083: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000010a4: DUP2
000010a5: MSTORE
000010a6: PUSH1 0x04
000010a8: ADD
000010a9: PUSH2 0x10b1
000010ac: SWAP1
000010ad: PUSH2 0x312a
000010b0: JUMP
000010b1: JUMPDEST
000010b2: PUSH1 0x40
000010b4: MLOAD
000010b5: DUP1
000010b6: SWAP2
000010b7: SUB
000010b8: SWAP1
000010b9: REVERT
000010ba: JUMPDEST
000010bb: PUSH2 0x10c4
000010be: CALLER
000010bf: DUP3
000010c0: PUSH2 0x1cbc
000010c3: JUMP
000010c4: JUMPDEST
000010c5: PUSH2 0x10cc
000010c8: PUSH2 0x1cd4
000010cb: JUMP
000010cc: JUMPDEST
000010cd: POP
000010ce: JUMP
000010cf: JUMPDEST
000010d0: PUSH1 0x04
000010d2: PUSH1 0x00
000010d4: SWAP1
000010d5: SLOAD
000010d6: SWAP1
000010d7: PUSH2 0x0100
000010da: EXP
000010db: SWAP1
000010dc: DIV
000010dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010f2: AND
000010f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001108: AND
00001109: CALLER
0000110a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000111f: AND
00001120: EQ
00001121: PUSH2 0x115f
00001124: JUMPI
00001125: PUSH1 0x40
00001127: MLOAD
00001128: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001149: DUP2
0000114a: MSTORE
0000114b: PUSH1 0x04
0000114d: ADD
0000114e: PUSH2 0x1156
00001151: SWAP1
00001152: PUSH2 0x3196
00001155: JUMP
00001156: JUMPDEST
00001157: PUSH1 0x40
00001159: MLOAD
0000115a: DUP1
0000115b: SWAP2
0000115c: SUB
0000115d: SWAP1
0000115e: REVERT
0000115f: JUMPDEST
00001160: PUSH2 0x1167
00001163: PUSH2 0x1bfa
00001166: JUMP
00001167: JUMPDEST
00001168: PUSH1 0x04
0000116a: PUSH1 0x14
0000116c: SWAP1
0000116d: SLOAD
0000116e: SWAP1
0000116f: PUSH2 0x0100
00001172: EXP
00001173: SWAP1
00001174: DIV
00001175: PUSH1 0xff
00001177: AND
00001178: PUSH2 0x11b6
0000117b: JUMPI
0000117c: PUSH1 0x40
0000117e: MLOAD
0000117f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000011a0: DUP2
000011a1: MSTORE
000011a2: PUSH1 0x04
000011a4: ADD
000011a5: PUSH2 0x11ad
000011a8: SWAP1
000011a9: PUSH2 0x33cd
000011ac: JUMP
000011ad: JUMPDEST
000011ae: PUSH1 0x40
000011b0: MLOAD
000011b1: DUP1
000011b2: SWAP2
000011b3: SUB
000011b4: SWAP1
000011b5: REVERT
000011b6: JUMPDEST
000011b7: PUSH2 0x11bf
000011ba: DUP3
000011bb: PUSH2 0x1c49
000011be: JUMP
000011bf: JUMPDEST
000011c0: PUSH2 0x11fe
000011c3: JUMPI
000011c4: PUSH1 0x40
000011c6: MLOAD
000011c7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000011e8: DUP2
000011e9: MSTORE
000011ea: PUSH1 0x04
000011ec: ADD
000011ed: PUSH2 0x11f5
000011f0: SWAP1
000011f1: PUSH2 0x2f7e
000011f4: JUMP
000011f5: JUMPDEST
000011f6: PUSH1 0x40
000011f8: MLOAD
000011f9: DUP1
000011fa: SWAP2
000011fb: SUB
000011fc: SWAP1
000011fd: REVERT
000011fe: JUMPDEST
000011ff: DUP2
00001200: MLOAD
00001201: PUSH7 0x6a94d74f430000
00001209: PUSH2 0x1212
0000120c: SWAP2
0000120d: SWAP1
0000120e: PUSH2 0x309c
00001211: JUMP
00001212: JUMPDEST
00001213: CALLVALUE
00001214: EQ
00001215: PUSH2 0x1253
00001218: JUMPI
00001219: PUSH1 0x40
0000121b: MLOAD
0000121c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000123d: DUP2
0000123e: MSTORE
0000123f: PUSH1 0x04
00001241: ADD
00001242: PUSH2 0x124a
00001245: SWAP1
00001246: PUSH2 0x312a
00001249: JUMP
0000124a: JUMPDEST
0000124b: PUSH1 0x40
0000124d: MLOAD
0000124e: DUP1
0000124f: SWAP2
00001250: SUB
00001251: SWAP1
00001252: REVERT
00001253: JUMPDEST
00001254: PUSH2 0x125d
00001257: DUP2
00001258: DUP4
00001259: PUSH2 0x1cbc
0000125c: JUMP
0000125d: JUMPDEST
0000125e: PUSH2 0x1265
00001261: PUSH2 0x1cd4
00001264: JUMP
00001265: JUMPDEST
00001266: POP
00001267: POP
00001268: JUMP
00001269: JUMPDEST
0000126a: PUSH7 0x58d15e17628000
00001272: DUP2
00001273: JUMP
00001274: JUMPDEST
00001275: PUSH2 0x127c
00001278: PUSH2 0x1cdd
0000127b: JUMP
0000127c: JUMPDEST
0000127d: PUSH1 0x00
0000127f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001294: AND
00001295: DUP2
00001296: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012ab: AND
000012ac: SUB
000012ad: PUSH2 0x12eb
000012b0: JUMPI
000012b1: PUSH1 0x40
000012b3: MLOAD
000012b4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000012d5: DUP2
000012d6: MSTORE
000012d7: PUSH1 0x04
000012d9: ADD
000012da: PUSH2 0x12e2
000012dd: SWAP1
000012de: PUSH2 0x3439
000012e1: JUMP
000012e2: JUMPDEST
000012e3: PUSH1 0x40
000012e5: MLOAD
000012e6: DUP1
000012e7: SWAP2
000012e8: SUB
000012e9: SWAP1
000012ea: REVERT
000012eb: JUMPDEST
000012ec: DUP1
000012ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001302: AND
00001303: PUSH2 0x08fc
00001306: SELFBALANCE
00001307: SWAP1
00001308: DUP2
00001309: ISZERO
0000130a: MUL
0000130b: SWAP1
0000130c: PUSH1 0x40
0000130e: MLOAD
0000130f: PUSH1 0x00
00001311: PUSH1 0x40
00001313: MLOAD
00001314: DUP1
00001315: DUP4
00001316: SUB
00001317: DUP2
00001318: DUP6
00001319: DUP9
0000131a: DUP9
0000131b: CALL
0000131c: SWAP4
0000131d: POP
0000131e: POP
0000131f: POP
00001320: POP
00001321: ISZERO
00001322: DUP1
00001323: ISZERO
00001324: PUSH2 0x1331
00001327: JUMPI
00001328: RETURNDATASIZE
00001329: PUSH1 0x00
0000132b: DUP1
0000132c: RETURNDATACOPY
0000132d: RETURNDATASIZE
0000132e: PUSH1 0x00
00001330: REVERT
00001331: JUMPDEST
00001332: POP
00001333: PUSH1 0x02
00001335: PUSH1 0x00
00001337: SWAP1
00001338: SLOAD
00001339: SWAP1
0000133a: PUSH2 0x0100
0000133d: EXP
0000133e: SWAP1
0000133f: DIV
00001340: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001355: AND
00001356: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000136b: AND
0000136c: PUSH4 0xe086e5ec
00001371: PUSH1 0x40
00001373: MLOAD
00001374: DUP2
00001375: PUSH4 0xffffffff
0000137a: AND
0000137b: PUSH1 0xe0
0000137d: SHL
0000137e: DUP2
0000137f: MSTORE
00001380: PUSH1 0x04
00001382: ADD
00001383: PUSH1 0x00
00001385: PUSH1 0x40
00001387: MLOAD
00001388: DUP1
00001389: DUP4
0000138a: SUB
0000138b: DUP2
0000138c: PUSH1 0x00
0000138e: DUP8
0000138f: DUP1
00001390: EXTCODESIZE
00001391: ISZERO
00001392: DUP1
00001393: ISZERO
00001394: PUSH2 0x139c
00001397: JUMPI
00001398: PUSH1 0x00
0000139a: DUP1
0000139b: REVERT
0000139c: JUMPDEST
0000139d: POP
0000139e: GAS
0000139f: CALL
000013a0: ISZERO
000013a1: DUP1
000013a2: ISZERO
000013a3: PUSH2 0x13b0
000013a6: JUMPI
000013a7: RETURNDATASIZE
000013a8: PUSH1 0x00
000013aa: DUP1
000013ab: RETURNDATACOPY
000013ac: RETURNDATASIZE
000013ad: PUSH1 0x00
000013af: REVERT
000013b0: JUMPDEST
000013b1: POP
000013b2: POP
000013b3: POP
000013b4: POP
000013b5: POP
000013b6: JUMP
000013b7: JUMPDEST
000013b8: PUSH2 0x13bf
000013bb: PUSH2 0x1cdd
000013be: JUMP
000013bf: JUMPDEST
000013c0: PUSH1 0x02
000013c2: PUSH1 0x00
000013c4: SWAP1
000013c5: SLOAD
000013c6: SWAP1
000013c7: PUSH2 0x0100
000013ca: EXP
000013cb: SWAP1
000013cc: DIV
000013cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013e2: AND
000013e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013f8: AND
000013f9: PUSH4 0x931688cb
000013fe: DUP3
000013ff: PUSH1 0x40
00001401: MLOAD
00001402: DUP3
00001403: PUSH4 0xffffffff
00001408: AND
00001409: PUSH1 0xe0
0000140b: SHL
0000140c: DUP2
0000140d: MSTORE
0000140e: PUSH1 0x04
00001410: ADD
00001411: PUSH2 0x141a
00001414: SWAP2
00001415: SWAP1
00001416: PUSH2 0x34c7
00001419: JUMP
0000141a: JUMPDEST
0000141b: PUSH1 0x00
0000141d: PUSH1 0x40
0000141f: MLOAD
00001420: DUP1
00001421: DUP4
00001422: SUB
00001423: DUP2
00001424: PUSH1 0x00
00001426: DUP8
00001427: DUP1
00001428: EXTCODESIZE
00001429: ISZERO
0000142a: DUP1
0000142b: ISZERO
0000142c: PUSH2 0x1434
0000142f: JUMPI
00001430: PUSH1 0x00
00001432: DUP1
00001433: REVERT
00001434: JUMPDEST
00001435: POP
00001436: GAS
00001437: CALL
00001438: ISZERO
00001439: DUP1
0000143a: ISZERO
0000143b: PUSH2 0x1448
0000143e: JUMPI
0000143f: RETURNDATASIZE
00001440: PUSH1 0x00
00001442: DUP1
00001443: RETURNDATACOPY
00001444: RETURNDATASIZE
00001445: PUSH1 0x00
00001447: REVERT
00001448: JUMPDEST
00001449: POP
0000144a: POP
0000144b: POP
0000144c: POP
0000144d: POP
0000144e: JUMP
0000144f: JUMPDEST
00001450: PUSH7 0x6a94d74f430000
00001458: DUP2
00001459: JUMP
0000145a: JUMPDEST
0000145b: PUSH2 0x1462
0000145e: PUSH2 0x1cdd
00001461: JUMP
00001462: JUMPDEST
00001463: PUSH2 0x146c
00001466: PUSH1 0x00
00001468: PUSH2 0x1d5b
0000146b: JUMP
0000146c: JUMPDEST
0000146d: JUMP
0000146e: JUMPDEST
0000146f: PUSH7 0x2386f26fc10000
00001477: DUP2
00001478: JUMP
00001479: JUMPDEST
0000147a: PUSH2 0x1481
0000147d: PUSH2 0x1cdd
00001480: JUMP
00001481: JUMPDEST
00001482: DUP2
00001483: PUSH1 0x06
00001485: DUP2
00001486: SWAP1
00001487: SSTORE
00001488: POP
00001489: DUP1
0000148a: PUSH1 0x05
0000148c: DUP2
0000148d: SWAP1
0000148e: SSTORE
0000148f: POP
00001490: POP
00001491: POP
00001492: JUMP
00001493: JUMPDEST
00001494: PUSH2 0x149b
00001497: PUSH2 0x1cdd
0000149a: JUMP
0000149b: JUMPDEST
0000149c: DUP1
0000149d: PUSH1 0x04
0000149f: PUSH1 0x15
000014a1: PUSH2 0x0100
000014a4: EXP
000014a5: DUP2
000014a6: SLOAD
000014a7: DUP2
000014a8: PUSH1 0xff
000014aa: MUL
000014ab: NOT
000014ac: AND
000014ad: SWAP1
000014ae: DUP4
000014af: ISZERO
000014b0: ISZERO
000014b1: MUL
000014b2: OR
000014b3: SWAP1
000014b4: SSTORE
000014b5: POP
000014b6: POP
000014b7: JUMP
000014b8: JUMPDEST
000014b9: PUSH2 0x14c0
000014bc: PUSH2 0x1cdd
000014bf: JUMP
000014c0: JUMPDEST
000014c1: DUP1
000014c2: PUSH1 0x04
000014c4: PUSH1 0x00
000014c6: PUSH2 0x0100
000014c9: EXP
000014ca: DUP2
000014cb: SLOAD
000014cc: DUP2
000014cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014e2: MUL
000014e3: NOT
000014e4: AND
000014e5: SWAP1
000014e6: DUP4
000014e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014fc: AND
000014fd: MUL
000014fe: OR
000014ff: SWAP1
00001500: SSTORE
00001501: POP
00001502: POP
00001503: JUMP
00001504: JUMPDEST
00001505: PUSH7 0x6a94d74f430000
0000150d: DUP2
0000150e: JUMP
0000150f: JUMPDEST
00001510: PUSH1 0x00
00001512: DUP1
00001513: PUSH1 0x00
00001515: SWAP1
00001516: SLOAD
00001517: SWAP1
00001518: PUSH2 0x0100
0000151b: EXP
0000151c: SWAP1
0000151d: DIV
0000151e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001533: AND
00001534: SWAP1
00001535: POP
00001536: SWAP1
00001537: JUMP
00001538: JUMPDEST
00001539: PUSH1 0x00
0000153b: PUSH2 0x0791
0000153e: DUP3
0000153f: GT
00001540: PUSH2 0x154c
00001543: JUMPI
00001544: PUSH1 0x00
00001546: SWAP1
00001547: POP
00001548: PUSH2 0x1563
0000154b: JUMP
0000154c: JUMPDEST
0000154d: PUSH2 0x0f0e
00001550: DUP3
00001551: GT
00001552: PUSH2 0x155e
00001555: JUMPI
00001556: PUSH1 0x01
00001558: SWAP1
00001559: POP
0000155a: PUSH2 0x1563
0000155d: JUMP
0000155e: JUMPDEST
0000155f: PUSH1 0x02
00001561: SWAP1
00001562: POP
00001563: JUMPDEST
00001564: SWAP2
00001565: SWAP1
00001566: POP
00001567: JUMP
00001568: JUMPDEST
00001569: PUSH2 0x1570
0000156c: PUSH2 0x1cdd
0000156f: JUMP
00001570: JUMPDEST
00001571: PUSH2 0x157a
00001574: DUP3
00001575: DUP3
00001576: PUSH2 0x1e1f
00001579: JUMP
0000157a: JUMPDEST
0000157b: POP
0000157c: POP
0000157d: JUMP
0000157e: JUMPDEST
0000157f: PUSH2 0x1586
00001582: PUSH2 0x1cdd
00001585: JUMP
00001586: JUMPDEST
00001587: DUP1
00001588: PUSH1 0x04
0000158a: PUSH1 0x16
0000158c: PUSH2 0x0100
0000158f: EXP
00001590: DUP2
00001591: SLOAD
00001592: DUP2
00001593: PUSH1 0xff
00001595: MUL
00001596: NOT
00001597: AND
00001598: SWAP1
00001599: DUP4
0000159a: ISZERO
0000159b: ISZERO
0000159c: MUL
0000159d: OR
0000159e: SWAP1
0000159f: SSTORE
000015a0: POP
000015a1: POP
000015a2: JUMP
000015a3: JUMPDEST
000015a4: PUSH2 0x15ab
000015a7: PUSH2 0x1bfa
000015aa: JUMP
000015ab: JUMPDEST
000015ac: PUSH1 0x04
000015ae: PUSH1 0x16
000015b0: SWAP1
000015b1: SLOAD
000015b2: SWAP1
000015b3: PUSH2 0x0100
000015b6: EXP
000015b7: SWAP1
000015b8: DIV
000015b9: PUSH1 0xff
000015bb: AND
000015bc: PUSH2 0x15fa
000015bf: JUMPI
000015c0: PUSH1 0x40
000015c2: MLOAD
000015c3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000015e4: DUP2
000015e5: MSTORE
000015e6: PUSH1 0x04
000015e8: ADD
000015e9: PUSH2 0x15f1
000015ec: SWAP1
000015ed: PUSH2 0x3228
000015f0: JUMP
000015f1: JUMPDEST
000015f2: PUSH1 0x40
000015f4: MLOAD
000015f5: DUP1
000015f6: SWAP2
000015f7: SUB
000015f8: SWAP1
000015f9: REVERT
000015fa: JUMPDEST
000015fb: DUP2
000015fc: DUP2
000015fd: MLOAD
000015fe: PUSH1 0x07
00001600: PUSH1 0x00
00001602: CALLER
00001603: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001618: AND
00001619: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000162e: AND
0000162f: DUP2
00001630: MSTORE
00001631: PUSH1 0x20
00001633: ADD
00001634: SWAP1
00001635: DUP2
00001636: MSTORE
00001637: PUSH1 0x20
00001639: ADD
0000163a: PUSH1 0x00
0000163c: KECCAK256
0000163d: SLOAD
0000163e: PUSH2 0x1647
00001641: SWAP2
00001642: SWAP1
00001643: PUSH2 0x3248
00001646: JUMP
00001647: JUMPDEST
00001648: GT
00001649: ISZERO
0000164a: PUSH2 0x1688
0000164d: JUMPI
0000164e: PUSH1 0x40
00001650: MLOAD
00001651: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001672: DUP2
00001673: MSTORE
00001674: PUSH1 0x04
00001676: ADD
00001677: PUSH2 0x167f
0000167a: SWAP1
0000167b: PUSH2 0x32ee
0000167e: JUMP
0000167f: JUMPDEST
00001680: PUSH1 0x40
00001682: MLOAD
00001683: DUP1
00001684: SWAP2
00001685: SUB
00001686: SWAP1
00001687: REVERT
00001688: JUMPDEST
00001689: PUSH2 0x1691
0000168c: DUP2
0000168d: PUSH2 0x1c49
00001690: JUMP
00001691: JUMPDEST
00001692: PUSH2 0x16d0
00001695: JUMPI
00001696: PUSH1 0x40
00001698: MLOAD
00001699: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000016ba: DUP2
000016bb: MSTORE
000016bc: PUSH1 0x04
000016be: ADD
000016bf: PUSH2 0x16c7
000016c2: SWAP1
000016c3: PUSH2 0x2f7e
000016c6: JUMP
000016c7: JUMPDEST
000016c8: PUSH1 0x40
000016ca: MLOAD
000016cb: DUP1
000016cc: SWAP2
000016cd: SUB
000016ce: SWAP1
000016cf: REVERT
000016d0: JUMPDEST
000016d1: PUSH2 0x1746
000016d4: DUP5
000016d5: DUP5
000016d6: DUP1
000016d7: DUP1
000016d8: PUSH1 0x20
000016da: MUL
000016db: PUSH1 0x20
000016dd: ADD
000016de: PUSH1 0x40
000016e0: MLOAD
000016e1: SWAP1
000016e2: DUP2
000016e3: ADD
000016e4: PUSH1 0x40
000016e6: MSTORE
000016e7: DUP1
000016e8: SWAP4
000016e9: SWAP3
000016ea: SWAP2
000016eb: SWAP1
000016ec: DUP2
000016ed: DUP2
000016ee: MSTORE
000016ef: PUSH1 0x20
000016f1: ADD
000016f2: DUP4
000016f3: DUP4
000016f4: PUSH1 0x20
000016f6: MUL
000016f7: DUP1
000016f8: DUP3
000016f9: DUP5
000016fa: CALLDATACOPY
000016fb: PUSH1 0x00
000016fd: DUP2
000016fe: DUP5
000016ff: ADD
00001700: MSTORE
00001701: PUSH1 0x1f
00001703: NOT
00001704: PUSH1 0x1f
00001706: DUP3
00001707: ADD
00001708: AND
00001709: SWAP1
0000170a: POP
0000170b: DUP1
0000170c: DUP4
0000170d: ADD
0000170e: SWAP3
0000170f: POP
00001710: POP
00001711: POP
00001712: POP
00001713: POP
00001714: POP
00001715: POP
00001716: PUSH1 0x06
00001718: SLOAD
00001719: CALLER
0000171a: DUP6
0000171b: PUSH1 0x40
0000171d: MLOAD
0000171e: PUSH1 0x20
00001720: ADD
00001721: PUSH2 0x172b
00001724: SWAP3
00001725: SWAP2
00001726: SWAP1
00001727: PUSH2 0x332f
0000172a: JUMP
0000172b: JUMPDEST
0000172c: PUSH1 0x40
0000172e: MLOAD
0000172f: PUSH1 0x20
00001731: DUP2
00001732: DUP4
00001733: SUB
00001734: SUB
00001735: DUP2
00001736: MSTORE
00001737: SWAP1
00001738: PUSH1 0x40
0000173a: MSTORE
0000173b: DUP1
0000173c: MLOAD
0000173d: SWAP1
0000173e: PUSH1 0x20
00001740: ADD
00001741: KECCAK256
00001742: PUSH2 0x1ca5
00001745: JUMP
00001746: JUMPDEST
00001747: PUSH2 0x1785
0000174a: JUMPI
0000174b: PUSH1 0x40
0000174d: MLOAD
0000174e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000176f: DUP2
00001770: MSTORE
00001771: PUSH1 0x04
00001773: ADD
00001774: PUSH2 0x177c
00001777: SWAP1
00001778: PUSH2 0x304d
0000177b: JUMP
0000177c: JUMPDEST
0000177d: PUSH1 0x40
0000177f: MLOAD
00001780: DUP1
00001781: SWAP2
00001782: SUB
00001783: SWAP1
00001784: REVERT
00001785: JUMPDEST
00001786: DUP1
00001787: MLOAD
00001788: PUSH7 0x2386f26fc10000
00001790: PUSH2 0x1799
00001793: SWAP2
00001794: SWAP1
00001795: PUSH2 0x309c
00001798: JUMP
00001799: JUMPDEST
0000179a: CALLVALUE
0000179b: EQ
0000179c: PUSH2 0x17da
0000179f: JUMPI
000017a0: PUSH1 0x40
000017a2: MLOAD
000017a3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000017c4: DUP2
000017c5: MSTORE
000017c6: PUSH1 0x04
000017c8: ADD
000017c9: PUSH2 0x17d1
000017cc: SWAP1
000017cd: PUSH2 0x312a
000017d0: JUMP
000017d1: JUMPDEST
000017d2: PUSH1 0x40
000017d4: MLOAD
000017d5: DUP1
000017d6: SWAP2
000017d7: SUB
000017d8: SWAP1
000017d9: REVERT
000017da: JUMPDEST
000017db: PUSH2 0x17e4
000017de: CALLER
000017df: DUP3
000017e0: PUSH2 0x1cbc
000017e3: JUMP
000017e4: JUMPDEST
000017e5: DUP1
000017e6: MLOAD
000017e7: PUSH1 0x07
000017e9: PUSH1 0x00
000017eb: CALLER
000017ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001801: AND
00001802: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001817: AND
00001818: DUP2
00001819: MSTORE
0000181a: PUSH1 0x20
0000181c: ADD
0000181d: SWAP1
0000181e: DUP2
0000181f: MSTORE
00001820: PUSH1 0x20
00001822: ADD
00001823: PUSH1 0x00
00001825: KECCAK256
00001826: PUSH1 0x00
00001828: DUP3
00001829: DUP3
0000182a: SLOAD
0000182b: PUSH2 0x1834
0000182e: SWAP2
0000182f: SWAP1
00001830: PUSH2 0x3248
00001833: JUMP
00001834: JUMPDEST
00001835: SWAP3
00001836: POP
00001837: POP
00001838: DUP2
00001839: SWAP1
0000183a: SSTORE
0000183b: POP
0000183c: PUSH2 0x1843
0000183f: PUSH2 0x1cd4
00001842: JUMP
00001843: JUMPDEST
00001844: POP
00001845: POP
00001846: POP
00001847: POP
00001848: JUMP
00001849: JUMPDEST
0000184a: PUSH2 0x1851
0000184d: PUSH2 0x1cdd
00001850: JUMP
00001851: JUMPDEST
00001852: DUP1
00001853: PUSH1 0x03
00001855: PUSH1 0x00
00001857: PUSH2 0x0100
0000185a: EXP
0000185b: DUP2
0000185c: SLOAD
0000185d: DUP2
0000185e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001873: MUL
00001874: NOT
00001875: AND
00001876: SWAP1
00001877: DUP4
00001878: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000188d: AND
0000188e: MUL
0000188f: OR
00001890: SWAP1
00001891: SSTORE
00001892: POP
00001893: POP
00001894: JUMP
00001895: JUMPDEST
00001896: PUSH2 0x189d
00001899: PUSH2 0x1cdd
0000189c: JUMP
0000189d: JUMPDEST
0000189e: PUSH2 0x18a6
000018a1: DUP2
000018a2: PUSH2 0x1fc6
000018a5: JUMP
000018a6: JUMPDEST
000018a7: ISZERO
000018a8: PUSH2 0x18e6
000018ab: JUMPI
000018ac: PUSH1 0x40
000018ae: MLOAD
000018af: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000018d0: DUP2
000018d1: MSTORE
000018d2: PUSH1 0x04
000018d4: ADD
000018d5: PUSH2 0x18dd
000018d8: SWAP1
000018d9: PUSH2 0x355b
000018dc: JUMP
000018dd: JUMPDEST
000018de: PUSH1 0x40
000018e0: MLOAD
000018e1: DUP1
000018e2: SWAP2
000018e3: SUB
000018e4: SWAP1
000018e5: REVERT
000018e6: JUMPDEST
000018e7: PUSH1 0x00
000018e9: PUSH1 0x04
000018eb: PUSH1 0x16
000018ed: SWAP1
000018ee: SLOAD
000018ef: SWAP1
000018f0: PUSH2 0x0100
000018f3: EXP
000018f4: SWAP1
000018f5: DIV
000018f6: PUSH1 0xff
000018f8: AND
000018f9: DUP1
000018fa: PUSH2 0x190f
000018fd: JUMPI
000018fe: POP
000018ff: PUSH1 0x04
00001901: PUSH1 0x15
00001903: SWAP1
00001904: SLOAD
00001905: SWAP1
00001906: PUSH2 0x0100
00001909: EXP
0000190a: SWAP1
0000190b: DIV
0000190c: PUSH1 0xff
0000190e: AND
0000190f: JUMPDEST
00001910: DUP1
00001911: PUSH2 0x1926
00001914: JUMPI
00001915: POP
00001916: PUSH1 0x04
00001918: PUSH1 0x14
0000191a: SWAP1
0000191b: SLOAD
0000191c: SWAP1
0000191d: PUSH2 0x0100
00001920: EXP
00001921: SWAP1
00001922: DIV
00001923: PUSH1 0xff
00001925: AND
00001926: JUMPDEST
00001927: SWAP1
00001928: POP
00001929: DUP1
0000192a: ISZERO
0000192b: PUSH2 0x1969
0000192e: JUMPI
0000192f: PUSH1 0x40
00001931: MLOAD
00001932: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001953: DUP2
00001954: MSTORE
00001955: PUSH1 0x04
00001957: ADD
00001958: PUSH2 0x1960
0000195b: SWAP1
0000195c: PUSH2 0x35c7
0000195f: JUMP
00001960: JUMPDEST
00001961: PUSH1 0x40
00001963: MLOAD
00001964: DUP1
00001965: SWAP2
00001966: SUB
00001967: SWAP1
00001968: REVERT
00001969: JUMPDEST
0000196a: PUSH1 0x02
0000196c: PUSH1 0x00
0000196e: SWAP1
0000196f: SLOAD
00001970: SWAP1
00001971: PUSH2 0x0100
00001974: EXP
00001975: SWAP1
00001976: DIV
00001977: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000198c: AND
0000198d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019a2: AND
000019a3: PUSH4 0xf2fde38b
000019a8: DUP4
000019a9: PUSH1 0x40
000019ab: MLOAD
000019ac: DUP3
000019ad: PUSH4 0xffffffff
000019b2: AND
000019b3: PUSH1 0xe0
000019b5: SHL
000019b6: DUP2
000019b7: MSTORE
000019b8: PUSH1 0x04
000019ba: ADD
000019bb: PUSH2 0x19c4
000019be: SWAP2
000019bf: SWAP1
000019c0: PUSH2 0x2c89
000019c3: JUMP
000019c4: JUMPDEST
000019c5: PUSH1 0x00
000019c7: PUSH1 0x40
000019c9: MLOAD
000019ca: DUP1
000019cb: DUP4
000019cc: SUB
000019cd: DUP2
000019ce: PUSH1 0x00
000019d0: DUP8
000019d1: DUP1
000019d2: EXTCODESIZE
000019d3: ISZERO
000019d4: DUP1
000019d5: ISZERO
000019d6: PUSH2 0x19de
000019d9: JUMPI
000019da: PUSH1 0x00
000019dc: DUP1
000019dd: REVERT
000019de: JUMPDEST
000019df: POP
000019e0: GAS
000019e1: CALL
000019e2: ISZERO
000019e3: DUP1
000019e4: ISZERO
000019e5: PUSH2 0x19f2
000019e8: JUMPI
000019e9: RETURNDATASIZE
000019ea: PUSH1 0x00
000019ec: DUP1
000019ed: RETURNDATACOPY
000019ee: RETURNDATASIZE
000019ef: PUSH1 0x00
000019f1: REVERT
000019f2: JUMPDEST
000019f3: POP
000019f4: POP
000019f5: POP
000019f6: POP
000019f7: POP
000019f8: POP
000019f9: JUMP
000019fa: JUMPDEST
000019fb: PUSH1 0x03
000019fd: PUSH1 0x00
000019ff: SWAP1
00001a00: SLOAD
00001a01: SWAP1
00001a02: PUSH2 0x0100
00001a05: EXP
00001a06: SWAP1
00001a07: DIV
00001a08: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a1d: AND
00001a1e: DUP2
00001a1f: JUMP
00001a20: JUMPDEST
00001a21: PUSH2 0x1a28
00001a24: PUSH2 0x1cdd
00001a27: JUMP
00001a28: JUMPDEST
00001a29: PUSH1 0x02
00001a2b: PUSH1 0x00
00001a2d: SWAP1
00001a2e: SLOAD
00001a2f: SWAP1
00001a30: PUSH2 0x0100
00001a33: EXP
00001a34: SWAP1
00001a35: DIV
00001a36: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a4b: AND
00001a4c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a61: AND
00001a62: PUSH4 0xe086e5ec
00001a67: PUSH1 0x40
00001a69: MLOAD
00001a6a: DUP2
00001a6b: PUSH4 0xffffffff
00001a70: AND
00001a71: PUSH1 0xe0
00001a73: SHL
00001a74: DUP2
00001a75: MSTORE
00001a76: PUSH1 0x04
00001a78: ADD
00001a79: PUSH1 0x00
00001a7b: PUSH1 0x40
00001a7d: MLOAD
00001a7e: DUP1
00001a7f: DUP4
00001a80: SUB
00001a81: DUP2
00001a82: PUSH1 0x00
00001a84: DUP8
00001a85: DUP1
00001a86: EXTCODESIZE
00001a87: ISZERO
00001a88: DUP1
00001a89: ISZERO
00001a8a: PUSH2 0x1a92
00001a8d: JUMPI
00001a8e: PUSH1 0x00
00001a90: DUP1
00001a91: REVERT
00001a92: JUMPDEST
00001a93: POP
00001a94: GAS
00001a95: CALL
00001a96: ISZERO
00001a97: DUP1
00001a98: ISZERO
00001a99: PUSH2 0x1aa6
00001a9c: JUMPI
00001a9d: RETURNDATASIZE
00001a9e: PUSH1 0x00
00001aa0: DUP1
00001aa1: RETURNDATACOPY
00001aa2: RETURNDATASIZE
00001aa3: PUSH1 0x00
00001aa5: REVERT
00001aa6: JUMPDEST
00001aa7: POP
00001aa8: POP
00001aa9: POP
00001aaa: POP
00001aab: JUMP
00001aac: JUMPDEST
00001aad: PUSH1 0x00
00001aaf: PUSH1 0x08
00001ab1: PUSH1 0x00
00001ab3: DUP4
00001ab4: DUP2
00001ab5: MSTORE
00001ab6: PUSH1 0x20
00001ab8: ADD
00001ab9: SWAP1
00001aba: DUP2
00001abb: MSTORE
00001abc: PUSH1 0x20
00001abe: ADD
00001abf: PUSH1 0x00
00001ac1: KECCAK256
00001ac2: SLOAD
00001ac3: SWAP1
00001ac4: POP
00001ac5: SWAP2
00001ac6: SWAP1
00001ac7: POP
00001ac8: JUMP
00001ac9: JUMPDEST
00001aca: PUSH2 0x1ad1
00001acd: PUSH2 0x1cdd
00001ad0: JUMP
00001ad1: JUMPDEST
00001ad2: PUSH1 0x02
00001ad4: PUSH1 0x00
00001ad6: SWAP1
00001ad7: SLOAD
00001ad8: SWAP1
00001ad9: PUSH2 0x0100
00001adc: EXP
00001add: SWAP1
00001ade: DIV
00001adf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001af4: AND
00001af5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b0a: AND
00001b0b: PUSH4 0x6fa51e96
00001b10: DUP4
00001b11: DUP4
00001b12: PUSH1 0x40
00001b14: MLOAD
00001b15: DUP4
00001b16: PUSH4 0xffffffff
00001b1b: AND
00001b1c: PUSH1 0xe0
00001b1e: SHL
00001b1f: DUP2
00001b20: MSTORE
00001b21: PUSH1 0x04
00001b23: ADD
00001b24: PUSH2 0x1b2e
00001b27: SWAP3
00001b28: SWAP2
00001b29: SWAP1
00001b2a: PUSH2 0x35e7
00001b2d: JUMP
00001b2e: JUMPDEST
00001b2f: PUSH1 0x00
00001b31: PUSH1 0x40
00001b33: MLOAD
00001b34: DUP1
00001b35: DUP4
00001b36: SUB
00001b37: DUP2
00001b38: PUSH1 0x00
00001b3a: DUP8
00001b3b: DUP1
00001b3c: EXTCODESIZE
00001b3d: ISZERO
00001b3e: DUP1
00001b3f: ISZERO
00001b40: PUSH2 0x1b48
00001b43: JUMPI
00001b44: PUSH1 0x00
00001b46: DUP1
00001b47: REVERT
00001b48: JUMPDEST
00001b49: POP
00001b4a: GAS
00001b4b: CALL
00001b4c: ISZERO
00001b4d: DUP1
00001b4e: ISZERO
00001b4f: PUSH2 0x1b5c
00001b52: JUMPI
00001b53: RETURNDATASIZE
00001b54: PUSH1 0x00
00001b56: DUP1
00001b57: RETURNDATACOPY
00001b58: RETURNDATASIZE
00001b59: PUSH1 0x00
00001b5b: REVERT
00001b5c: JUMPDEST
00001b5d: POP
00001b5e: POP
00001b5f: POP
00001b60: POP
00001b61: POP
00001b62: POP
00001b63: JUMP
00001b64: JUMPDEST
00001b65: PUSH1 0x04
00001b67: PUSH1 0x16
00001b69: SWAP1
00001b6a: SLOAD
00001b6b: SWAP1
00001b6c: PUSH2 0x0100
00001b6f: EXP
00001b70: SWAP1
00001b71: DIV
00001b72: PUSH1 0xff
00001b74: AND
00001b75: DUP2
00001b76: JUMP
00001b77: JUMPDEST
00001b78: PUSH2 0x1b7f
00001b7b: PUSH2 0x1cdd
00001b7e: JUMP
00001b7f: JUMPDEST
00001b80: PUSH1 0x00
00001b82: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b97: AND
00001b98: DUP2
00001b99: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bae: AND
00001baf: SUB
00001bb0: PUSH2 0x1bee
00001bb3: JUMPI
00001bb4: PUSH1 0x40
00001bb6: MLOAD
00001bb7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001bd8: DUP2
00001bd9: MSTORE
00001bda: PUSH1 0x04
00001bdc: ADD
00001bdd: PUSH2 0x1be5
00001be0: SWAP1
00001be1: PUSH2 0x3682
00001be4: JUMP
00001be5: JUMPDEST
00001be6: PUSH1 0x40
00001be8: MLOAD
00001be9: DUP1
00001bea: SWAP2
00001beb: SUB
00001bec: SWAP1
00001bed: REVERT
00001bee: JUMPDEST
00001bef: PUSH2 0x1bf7
00001bf2: DUP2
00001bf3: PUSH2 0x1d5b
00001bf6: JUMP
00001bf7: JUMPDEST
00001bf8: POP
00001bf9: JUMP
00001bfa: JUMPDEST
00001bfb: PUSH1 0x02
00001bfd: PUSH1 0x01
00001bff: SLOAD
00001c00: SUB
00001c01: PUSH2 0x1c3f
00001c04: JUMPI
00001c05: PUSH1 0x40
00001c07: MLOAD
00001c08: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001c29: DUP2
00001c2a: MSTORE
00001c2b: PUSH1 0x04
00001c2d: ADD
00001c2e: PUSH2 0x1c36
00001c31: SWAP1
00001c32: PUSH2 0x36ee
00001c35: JUMP
00001c36: JUMPDEST
00001c37: PUSH1 0x40
00001c39: MLOAD
00001c3a: DUP1
00001c3b: SWAP2
00001c3c: SUB
00001c3d: SWAP1
00001c3e: REVERT
00001c3f: JUMPDEST
00001c40: PUSH1 0x02
00001c42: PUSH1 0x01
00001c44: DUP2
00001c45: SWAP1
00001c46: SSTORE
00001c47: POP
00001c48: JUMP
00001c49: JUMPDEST
00001c4a: PUSH1 0x00
00001c4c: DUP1
00001c4d: PUSH1 0x00
00001c4f: SWAP1
00001c50: POP
00001c51: JUMPDEST
00001c52: DUP3
00001c53: MLOAD
00001c54: DUP2
00001c55: LT
00001c56: ISZERO
00001c57: PUSH2 0x1c9a
00001c5a: JUMPI
00001c5b: PUSH2 0x21da
00001c5e: DUP4
00001c5f: DUP3
00001c60: DUP2
00001c61: MLOAD
00001c62: DUP2
00001c63: LT
00001c64: PUSH2 0x1c70
00001c67: JUMPI
00001c68: PUSH2 0x1c6f
00001c6b: PUSH2 0x370e
00001c6e: JUMP
00001c6f: JUMPDEST
00001c70: JUMPDEST
00001c71: PUSH1 0x20
00001c73: MUL
00001c74: PUSH1 0x20
00001c76: ADD
00001c77: ADD
00001c78: MLOAD
00001c79: LT
00001c7a: PUSH2 0x1c87
00001c7d: JUMPI
00001c7e: PUSH1 0x00
00001c80: SWAP2
00001c81: POP
00001c82: POP
00001c83: PUSH2 0x1ca0
00001c86: JUMP
00001c87: JUMPDEST
00001c88: DUP1
00001c89: DUP1
00001c8a: PUSH2 0x1c92
00001c8d: SWAP1
00001c8e: PUSH2 0x373d
00001c91: JUMP
00001c92: JUMPDEST
00001c93: SWAP2
00001c94: POP
00001c95: POP
00001c96: PUSH2 0x1c51
00001c99: JUMP
00001c9a: JUMPDEST
00001c9b: POP
00001c9c: PUSH1 0x01
00001c9e: SWAP1
00001c9f: POP
00001ca0: JUMPDEST
00001ca1: SWAP2
00001ca2: SWAP1
00001ca3: POP
00001ca4: JUMP
00001ca5: JUMPDEST
00001ca6: PUSH1 0x00
00001ca8: DUP3
00001ca9: PUSH2 0x1cb2
00001cac: DUP6
00001cad: DUP5
00001cae: PUSH2 0x1fe9
00001cb1: JUMP
00001cb2: JUMPDEST
00001cb3: EQ
00001cb4: SWAP1
00001cb5: POP
00001cb6: SWAP4
00001cb7: SWAP3
00001cb8: POP
00001cb9: POP
00001cba: POP
00001cbb: JUMP
00001cbc: JUMPDEST
00001cbd: PUSH2 0x1cc6
00001cc0: DUP3
00001cc1: DUP3
00001cc2: PUSH2 0x203f
00001cc5: JUMP
00001cc6: JUMPDEST
00001cc7: PUSH2 0x1cd0
00001cca: DUP3
00001ccb: DUP3
00001ccc: PUSH2 0x1e1f
00001ccf: JUMP
00001cd0: JUMPDEST
00001cd1: POP
00001cd2: POP
00001cd3: JUMP
00001cd4: JUMPDEST
00001cd5: PUSH1 0x01
00001cd7: DUP1
00001cd8: DUP2
00001cd9: SWAP1
00001cda: SSTORE
00001cdb: POP
00001cdc: JUMP
00001cdd: JUMPDEST
00001cde: PUSH2 0x1ce5
00001ce1: PUSH2 0x20e8
00001ce4: JUMP
00001ce5: JUMPDEST
00001ce6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cfb: AND
00001cfc: PUSH2 0x1d03
00001cff: PUSH2 0x150f
00001d02: JUMP
00001d03: JUMPDEST
00001d04: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d19: AND
00001d1a: EQ
00001d1b: PUSH2 0x1d59
00001d1e: JUMPI
00001d1f: PUSH1 0x40
00001d21: MLOAD
00001d22: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001d43: DUP2
00001d44: MSTORE
00001d45: PUSH1 0x04
00001d47: ADD
00001d48: PUSH2 0x1d50
00001d4b: SWAP1
00001d4c: PUSH2 0x37d1
00001d4f: JUMP
00001d50: JUMPDEST
00001d51: PUSH1 0x40
00001d53: MLOAD
00001d54: DUP1
00001d55: SWAP2
00001d56: SUB
00001d57: SWAP1
00001d58: REVERT
00001d59: JUMPDEST
00001d5a: JUMP
00001d5b: JUMPDEST
00001d5c: PUSH1 0x00
00001d5e: DUP1
00001d5f: PUSH1 0x00
00001d61: SWAP1
00001d62: SLOAD
00001d63: SWAP1
00001d64: PUSH2 0x0100
00001d67: EXP
00001d68: SWAP1
00001d69: DIV
00001d6a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d7f: AND
00001d80: SWAP1
00001d81: POP
00001d82: DUP2
00001d83: PUSH1 0x00
00001d85: DUP1
00001d86: PUSH2 0x0100
00001d89: EXP
00001d8a: DUP2
00001d8b: SLOAD
00001d8c: DUP2
00001d8d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001da2: MUL
00001da3: NOT
00001da4: AND
00001da5: SWAP1
00001da6: DUP4
00001da7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dbc: AND
00001dbd: MUL
00001dbe: OR
00001dbf: SWAP1
00001dc0: SSTORE
00001dc1: POP
00001dc2: DUP2
00001dc3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dd8: AND
00001dd9: DUP2
00001dda: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001def: AND
00001df0: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001e11: PUSH1 0x40
00001e13: MLOAD
00001e14: PUSH1 0x40
00001e16: MLOAD
00001e17: DUP1
00001e18: SWAP2
00001e19: SUB
00001e1a: SWAP1
00001e1b: LOG3
00001e1c: POP
00001e1d: POP
00001e1e: JUMP
00001e1f: JUMPDEST
00001e20: PUSH2 0x1e29
00001e23: PUSH1 0x01
00001e25: PUSH2 0x20f0
00001e28: JUMP
00001e29: JUMPDEST
00001e2a: PUSH1 0x02
00001e2c: PUSH1 0x00
00001e2e: SWAP1
00001e2f: SLOAD
00001e30: SWAP1
00001e31: PUSH2 0x0100
00001e34: EXP
00001e35: SWAP1
00001e36: DIV
00001e37: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e4c: AND
00001e4d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e62: AND
00001e63: PUSH4 0xf51ecdc6
00001e68: DUP3
00001e69: MLOAD
00001e6a: PUSH7 0x6a94d74f430000
00001e72: PUSH2 0x1e7b
00001e75: SWAP2
00001e76: SWAP1
00001e77: PUSH2 0x309c
00001e7a: JUMP
00001e7b: JUMPDEST
00001e7c: DUP4
00001e7d: PUSH1 0x40
00001e7f: MLOAD
00001e80: DUP4
00001e81: PUSH4 0xffffffff
00001e86: AND
00001e87: PUSH1 0xe0
00001e89: SHL
00001e8a: DUP2
00001e8b: MSTORE
00001e8c: PUSH1 0x04
00001e8e: ADD
00001e8f: PUSH2 0x1e98
00001e92: SWAP2
00001e93: SWAP1
00001e94: PUSH2 0x38af
00001e97: JUMP
00001e98: JUMPDEST
00001e99: PUSH1 0x00
00001e9b: PUSH1 0x40
00001e9d: MLOAD
00001e9e: DUP1
00001e9f: DUP4
00001ea0: SUB
00001ea1: DUP2
00001ea2: DUP6
00001ea3: DUP9
00001ea4: DUP1
00001ea5: EXTCODESIZE
00001ea6: ISZERO
00001ea7: DUP1
00001ea8: ISZERO
00001ea9: PUSH2 0x1eb1
00001eac: JUMPI
00001ead: PUSH1 0x00
00001eaf: DUP1
00001eb0: REVERT
00001eb1: JUMPDEST
00001eb2: POP
00001eb3: GAS
00001eb4: CALL
00001eb5: ISZERO
00001eb6: DUP1
00001eb7: ISZERO
00001eb8: PUSH2 0x1ec5
00001ebb: JUMPI
00001ebc: RETURNDATASIZE
00001ebd: PUSH1 0x00
00001ebf: DUP1
00001ec0: RETURNDATACOPY
00001ec1: RETURNDATASIZE
00001ec2: PUSH1 0x00
00001ec4: REVERT
00001ec5: JUMPDEST
00001ec6: POP
00001ec7: POP
00001ec8: POP
00001ec9: POP
00001eca: POP
00001ecb: PUSH2 0x1ed4
00001ece: PUSH1 0x00
00001ed0: PUSH2 0x20f0
00001ed3: JUMP
00001ed4: JUMPDEST
00001ed5: PUSH1 0x00
00001ed7: JUMPDEST
00001ed8: DUP2
00001ed9: MLOAD
00001eda: DUP2
00001edb: LT
00001edc: ISZERO
00001edd: PUSH2 0x1fc1
00001ee0: JUMPI
00001ee1: PUSH2 0x1f04
00001ee4: DUP4
00001ee5: DUP4
00001ee6: DUP4
00001ee7: DUP2
00001ee8: MLOAD
00001ee9: DUP2
00001eea: LT
00001eeb: PUSH2 0x1ef7
00001eee: JUMPI
00001eef: PUSH2 0x1ef6
00001ef2: PUSH2 0x370e
00001ef5: JUMP
00001ef6: JUMPDEST
00001ef7: JUMPDEST
00001ef8: PUSH1 0x20
00001efa: MUL
00001efb: PUSH1 0x20
00001efd: ADD
00001efe: ADD
00001eff: MLOAD
00001f00: PUSH2 0x2180
00001f03: JUMP
00001f04: JUMPDEST
00001f05: PUSH1 0x08
00001f07: PUSH1 0x00
00001f09: DUP4
00001f0a: DUP4
00001f0b: DUP2
00001f0c: MLOAD
00001f0d: DUP2
00001f0e: LT
00001f0f: PUSH2 0x1f1b
00001f12: JUMPI
00001f13: PUSH2 0x1f1a
00001f16: PUSH2 0x370e
00001f19: JUMP
00001f1a: JUMPDEST
00001f1b: JUMPDEST
00001f1c: PUSH1 0x20
00001f1e: MUL
00001f1f: PUSH1 0x20
00001f21: ADD
00001f22: ADD
00001f23: MLOAD
00001f24: DUP2
00001f25: MSTORE
00001f26: PUSH1 0x20
00001f28: ADD
00001f29: SWAP1
00001f2a: DUP2
00001f2b: MSTORE
00001f2c: PUSH1 0x20
00001f2e: ADD
00001f2f: PUSH1 0x00
00001f31: KECCAK256
00001f32: SLOAD
00001f33: PUSH2 0x1f55
00001f36: DUP4
00001f37: DUP4
00001f38: DUP2
00001f39: MLOAD
00001f3a: DUP2
00001f3b: LT
00001f3c: PUSH2 0x1f48
00001f3f: JUMPI
00001f40: PUSH2 0x1f47
00001f43: PUSH2 0x370e
00001f46: JUMP
00001f47: JUMPDEST
00001f48: JUMPDEST
00001f49: PUSH1 0x20
00001f4b: MUL
00001f4c: PUSH1 0x20
00001f4e: ADD
00001f4f: ADD
00001f50: MLOAD
00001f51: PUSH2 0x1538
00001f54: JUMP
00001f55: JUMPDEST
00001f56: PUSH1 0x02
00001f58: DUP2
00001f59: GT
00001f5a: ISZERO
00001f5b: PUSH2 0x1f67
00001f5e: JUMPI
00001f5f: PUSH2 0x1f66
00001f62: PUSH2 0x2cd1
00001f65: JUMP
00001f66: JUMPDEST
00001f67: JUMPDEST
00001f68: DUP4
00001f69: DUP4
00001f6a: DUP2
00001f6b: MLOAD
00001f6c: DUP2
00001f6d: LT
00001f6e: PUSH2 0x1f7a
00001f71: JUMPI
00001f72: PUSH2 0x1f79
00001f75: PUSH2 0x370e
00001f78: JUMP
00001f79: JUMPDEST
00001f7a: JUMPDEST
00001f7b: PUSH1 0x20
00001f7d: MUL
00001f7e: PUSH1 0x20
00001f80: ADD
00001f81: ADD
00001f82: MLOAD
00001f83: PUSH32 0xaa4e7e49bf6cd11061ae8af50e7ebb0fc81d13c924708c11f9e3fa8121824a07
00001fa4: PUSH1 0x40
00001fa6: MLOAD
00001fa7: PUSH1 0x40
00001fa9: MLOAD
00001faa: DUP1
00001fab: SWAP2
00001fac: SUB
00001fad: SWAP1
00001fae: LOG4
00001faf: DUP1
00001fb0: DUP1
00001fb1: PUSH2 0x1fb9
00001fb4: SWAP1
00001fb5: PUSH2 0x373d
00001fb8: JUMP
00001fb9: JUMPDEST
00001fba: SWAP2
00001fbb: POP
00001fbc: POP
00001fbd: PUSH2 0x1ed7
00001fc0: JUMP
00001fc1: JUMPDEST
00001fc2: POP
00001fc3: POP
00001fc4: POP
00001fc5: JUMP
00001fc6: JUMPDEST
00001fc7: PUSH1 0x00
00001fc9: DUP1
00001fca: DUP3
00001fcb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fe0: AND
00001fe1: EXTCODESIZE
00001fe2: GT
00001fe3: SWAP1
00001fe4: POP
00001fe5: SWAP2
00001fe6: SWAP1
00001fe7: POP
00001fe8: JUMP
00001fe9: JUMPDEST
00001fea: PUSH1 0x00
00001fec: DUP1
00001fed: DUP3
00001fee: SWAP1
00001fef: POP
00001ff0: PUSH1 0x00
00001ff2: JUMPDEST
00001ff3: DUP5
00001ff4: MLOAD
00001ff5: DUP2
00001ff6: LT
00001ff7: ISZERO
00001ff8: PUSH2 0x2034
00001ffb: JUMPI
00001ffc: PUSH2 0x201f
00001fff: DUP3
00002000: DUP7
00002001: DUP4
00002002: DUP2
00002003: MLOAD
00002004: DUP2
00002005: LT
00002006: PUSH2 0x2012
00002009: JUMPI
0000200a: PUSH2 0x2011
0000200d: PUSH2 0x370e
00002010: JUMP
00002011: JUMPDEST
00002012: JUMPDEST
00002013: PUSH1 0x20
00002015: MUL
00002016: PUSH1 0x20
00002018: ADD
00002019: ADD
0000201a: MLOAD
0000201b: PUSH2 0x22ea
0000201e: JUMP
0000201f: JUMPDEST
00002020: SWAP2
00002021: POP
00002022: DUP1
00002023: DUP1
00002024: PUSH2 0x202c
00002027: SWAP1
00002028: PUSH2 0x373d
0000202b: JUMP
0000202c: JUMPDEST
0000202d: SWAP2
0000202e: POP
0000202f: POP
00002030: PUSH2 0x1ff2
00002033: JUMP
00002034: JUMPDEST
00002035: POP
00002036: DUP1
00002037: SWAP2
00002038: POP
00002039: POP
0000203a: SWAP3
0000203b: SWAP2
0000203c: POP
0000203d: POP
0000203e: JUMP
0000203f: JUMPDEST
00002040: PUSH1 0x00
00002042: JUMPDEST
00002043: DUP2
00002044: MLOAD
00002045: DUP2
00002046: LT
00002047: ISZERO
00002048: PUSH2 0x20e3
0000204b: JUMPI
0000204c: DUP2
0000204d: DUP2
0000204e: DUP2
0000204f: MLOAD
00002050: DUP2
00002051: LT
00002052: PUSH2 0x205e
00002055: JUMPI
00002056: PUSH2 0x205d
00002059: PUSH2 0x370e
0000205c: JUMP
0000205d: JUMPDEST
0000205e: JUMPDEST
0000205f: PUSH1 0x20
00002061: MUL
00002062: PUSH1 0x20
00002064: ADD
00002065: ADD
00002066: MLOAD
00002067: NUMBER
00002068: PUSH1 0x01
0000206a: NUMBER
0000206b: PUSH2 0x2074
0000206e: SWAP2
0000206f: SWAP1
00002070: PUSH2 0x38d1
00002073: JUMP
00002074: JUMPDEST
00002075: BLOCKHASH
00002076: DUP6
00002077: PUSH1 0x40
00002079: MLOAD
0000207a: PUSH1 0x20
0000207c: ADD
0000207d: PUSH2 0x2089
00002080: SWAP5
00002081: SWAP4
00002082: SWAP3
00002083: SWAP2
00002084: SWAP1
00002085: PUSH2 0x3926
00002088: JUMP
00002089: JUMPDEST
0000208a: PUSH1 0x40
0000208c: MLOAD
0000208d: PUSH1 0x20
0000208f: DUP2
00002090: DUP4
00002091: SUB
00002092: SUB
00002093: DUP2
00002094: MSTORE
00002095: SWAP1
00002096: PUSH1 0x40
00002098: MSTORE
00002099: DUP1
0000209a: MLOAD
0000209b: SWAP1
0000209c: PUSH1 0x20
0000209e: ADD
0000209f: KECCAK256
000020a0: PUSH1 0x08
000020a2: PUSH1 0x00
000020a4: DUP5
000020a5: DUP5
000020a6: DUP2
000020a7: MLOAD
000020a8: DUP2
000020a9: LT
000020aa: PUSH2 0x20b6
000020ad: JUMPI
000020ae: PUSH2 0x20b5
000020b1: PUSH2 0x370e
000020b4: JUMP
000020b5: JUMPDEST
000020b6: JUMPDEST
000020b7: PUSH1 0x20
000020b9: MUL
000020ba: PUSH1 0x20
000020bc: ADD
000020bd: ADD
000020be: MLOAD
000020bf: DUP2
000020c0: MSTORE
000020c1: PUSH1 0x20
000020c3: ADD
000020c4: SWAP1
000020c5: DUP2
000020c6: MSTORE
000020c7: PUSH1 0x20
000020c9: ADD
000020ca: PUSH1 0x00
000020cc: KECCAK256
000020cd: DUP2
000020ce: SWAP1
000020cf: SSTORE
000020d0: POP
000020d1: DUP1
000020d2: DUP1
000020d3: PUSH2 0x20db
000020d6: SWAP1
000020d7: PUSH2 0x373d
000020da: JUMP
000020db: JUMPDEST
000020dc: SWAP2
000020dd: POP
000020de: POP
000020df: PUSH2 0x2042
000020e2: JUMP
000020e3: JUMPDEST
000020e4: POP
000020e5: POP
000020e6: POP
000020e7: JUMP
000020e8: JUMPDEST
000020e9: PUSH1 0x00
000020eb: CALLER
000020ec: SWAP1
000020ed: POP
000020ee: SWAP1
000020ef: JUMP
000020f0: JUMPDEST
000020f1: PUSH1 0x02
000020f3: PUSH1 0x00
000020f5: SWAP1
000020f6: SLOAD
000020f7: SWAP1
000020f8: PUSH2 0x0100
000020fb: EXP
000020fc: SWAP1
000020fd: DIV
000020fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002113: AND
00002114: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002129: AND
0000212a: PUSH4 0x0a088949
0000212f: DUP3
00002130: PUSH1 0x40
00002132: MLOAD
00002133: DUP3
00002134: PUSH4 0xffffffff
00002139: AND
0000213a: PUSH1 0xe0
0000213c: SHL
0000213d: DUP2
0000213e: MSTORE
0000213f: PUSH1 0x04
00002141: ADD
00002142: PUSH2 0x214b
00002145: SWAP2
00002146: SWAP1
00002147: PUSH2 0x2347
0000214a: JUMP
0000214b: JUMPDEST
0000214c: PUSH1 0x00
0000214e: PUSH1 0x40
00002150: MLOAD
00002151: DUP1
00002152: DUP4
00002153: SUB
00002154: DUP2
00002155: PUSH1 0x00
00002157: DUP8
00002158: DUP1
00002159: EXTCODESIZE
0000215a: ISZERO
0000215b: DUP1
0000215c: ISZERO
0000215d: PUSH2 0x2165
00002160: JUMPI
00002161: PUSH1 0x00
00002163: DUP1
00002164: REVERT
00002165: JUMPDEST
00002166: POP
00002167: GAS
00002168: CALL
00002169: ISZERO
0000216a: DUP1
0000216b: ISZERO
0000216c: PUSH2 0x2179
0000216f: JUMPI
00002170: RETURNDATASIZE
00002171: PUSH1 0x00
00002173: DUP1
00002174: RETURNDATACOPY
00002175: RETURNDATASIZE
00002176: PUSH1 0x00
00002178: REVERT
00002179: JUMPDEST
0000217a: POP
0000217b: POP
0000217c: POP
0000217d: POP
0000217e: POP
0000217f: JUMP
00002180: JUMPDEST
00002181: PUSH1 0x02
00002183: PUSH1 0x00
00002185: SWAP1
00002186: SLOAD
00002187: SWAP1
00002188: PUSH2 0x0100
0000218b: EXP
0000218c: SWAP1
0000218d: DIV
0000218e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021a3: AND
000021a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021b9: AND
000021ba: PUSH4 0x42842e0e
000021bf: ADDRESS
000021c0: PUSH1 0x03
000021c2: PUSH1 0x00
000021c4: SWAP1
000021c5: SLOAD
000021c6: SWAP1
000021c7: PUSH2 0x0100
000021ca: EXP
000021cb: SWAP1
000021cc: DIV
000021cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021e2: AND
000021e3: DUP5
000021e4: PUSH1 0x40
000021e6: MLOAD
000021e7: DUP5
000021e8: PUSH4 0xffffffff
000021ed: AND
000021ee: PUSH1 0xe0
000021f0: SHL
000021f1: DUP2
000021f2: MSTORE
000021f3: PUSH1 0x04
000021f5: ADD
000021f6: PUSH2 0x2201
000021f9: SWAP4
000021fa: SWAP3
000021fb: SWAP2
000021fc: SWAP1
000021fd: PUSH2 0x3974
00002200: JUMP
00002201: JUMPDEST
00002202: PUSH1 0x00
00002204: PUSH1 0x40
00002206: MLOAD
00002207: DUP1
00002208: DUP4
00002209: SUB
0000220a: DUP2
0000220b: PUSH1 0x00
0000220d: DUP8
0000220e: DUP1
0000220f: EXTCODESIZE
00002210: ISZERO
00002211: DUP1
00002212: ISZERO
00002213: PUSH2 0x221b
00002216: JUMPI
00002217: PUSH1 0x00
00002219: DUP1
0000221a: REVERT
0000221b: JUMPDEST
0000221c: POP
0000221d: GAS
0000221e: CALL
0000221f: ISZERO
00002220: DUP1
00002221: ISZERO
00002222: PUSH2 0x222f
00002225: JUMPI
00002226: RETURNDATASIZE
00002227: PUSH1 0x00
00002229: DUP1
0000222a: RETURNDATACOPY
0000222b: RETURNDATASIZE
0000222c: PUSH1 0x00
0000222e: REVERT
0000222f: JUMPDEST
00002230: POP
00002231: POP
00002232: POP
00002233: POP
00002234: PUSH1 0x02
00002236: PUSH1 0x00
00002238: SWAP1
00002239: SLOAD
0000223a: SWAP1
0000223b: PUSH2 0x0100
0000223e: EXP
0000223f: SWAP1
00002240: DIV
00002241: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002256: AND
00002257: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000226c: AND
0000226d: PUSH4 0x42842e0e
00002272: PUSH1 0x03
00002274: PUSH1 0x00
00002276: SWAP1
00002277: SLOAD
00002278: SWAP1
00002279: PUSH2 0x0100
0000227c: EXP
0000227d: SWAP1
0000227e: DIV
0000227f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002294: AND
00002295: DUP5
00002296: DUP5
00002297: PUSH1 0x40
00002299: MLOAD
0000229a: DUP5
0000229b: PUSH4 0xffffffff
000022a0: AND
000022a1: PUSH1 0xe0
000022a3: SHL
000022a4: DUP2
000022a5: MSTORE
000022a6: PUSH1 0x04
000022a8: ADD
000022a9: PUSH2 0x22b4
000022ac: SWAP4
000022ad: SWAP3
000022ae: SWAP2
000022af: SWAP1
000022b0: PUSH2 0x3974
000022b3: JUMP
000022b4: JUMPDEST
000022b5: PUSH1 0x00
000022b7: PUSH1 0x40
000022b9: MLOAD
000022ba: DUP1
000022bb: DUP4
000022bc: SUB
000022bd: DUP2
000022be: PUSH1 0x00
000022c0: DUP8
000022c1: DUP1
000022c2: EXTCODESIZE
000022c3: ISZERO
000022c4: DUP1
000022c5: ISZERO
000022c6: PUSH2 0x22ce
000022c9: JUMPI
000022ca: PUSH1 0x00
000022cc: DUP1
000022cd: REVERT
000022ce: JUMPDEST
000022cf: POP
000022d0: GAS
000022d1: CALL
000022d2: ISZERO
000022d3: DUP1
000022d4: ISZERO
000022d5: PUSH2 0x22e2
000022d8: JUMPI
000022d9: RETURNDATASIZE
000022da: PUSH1 0x00
000022dc: DUP1
000022dd: RETURNDATACOPY
000022de: RETURNDATASIZE
000022df: PUSH1 0x00
000022e1: REVERT
000022e2: JUMPDEST
000022e3: POP
000022e4: POP
000022e5: POP
000022e6: POP
000022e7: POP
000022e8: POP
000022e9: JUMP
000022ea: JUMPDEST
000022eb: PUSH1 0x00
000022ed: DUP2
000022ee: DUP4
000022ef: LT
000022f0: PUSH2 0x2302
000022f3: JUMPI
000022f4: PUSH2 0x22fd
000022f7: DUP3
000022f8: DUP5
000022f9: PUSH2 0x2315
000022fc: JUMP
000022fd: JUMPDEST
000022fe: PUSH2 0x230d
00002301: JUMP
00002302: JUMPDEST
00002303: PUSH2 0x230c
00002306: DUP4
00002307: DUP4
00002308: PUSH2 0x2315
0000230b: JUMP
0000230c: JUMPDEST
0000230d: JUMPDEST
0000230e: SWAP1
0000230f: POP
00002310: SWAP3
00002311: SWAP2
00002312: POP
00002313: POP
00002314: JUMP
00002315: JUMPDEST
00002316: PUSH1 0x00
00002318: DUP3
00002319: PUSH1 0x00
0000231b: MSTORE
0000231c: DUP2
0000231d: PUSH1 0x20
0000231f: MSTORE
00002320: PUSH1 0x40
00002322: PUSH1 0x00
00002324: KECCAK256
00002325: SWAP1
00002326: POP
00002327: SWAP3
00002328: SWAP2
00002329: POP
0000232a: POP
0000232b: JUMP
0000232c: JUMPDEST
0000232d: PUSH1 0x00
0000232f: DUP2
00002330: ISZERO
00002331: ISZERO
00002332: SWAP1
00002333: POP
00002334: SWAP2
00002335: SWAP1
00002336: POP
00002337: JUMP
00002338: JUMPDEST
00002339: PUSH2 0x2341
0000233c: DUP2
0000233d: PUSH2 0x232c
00002340: JUMP
00002341: JUMPDEST
00002342: DUP3
00002343: MSTORE
00002344: POP
00002345: POP
00002346: JUMP
00002347: JUMPDEST
00002348: PUSH1 0x00
0000234a: PUSH1 0x20
0000234c: DUP3
0000234d: ADD
0000234e: SWAP1
0000234f: POP
00002350: PUSH2 0x235c
00002353: PUSH1 0x00
00002355: DUP4
00002356: ADD
00002357: DUP5
00002358: PUSH2 0x2338
0000235b: JUMP
0000235c: JUMPDEST
0000235d: SWAP3
0000235e: SWAP2
0000235f: POP
00002360: POP
00002361: JUMP
00002362: JUMPDEST
00002363: PUSH1 0x00
00002365: PUSH1 0x40
00002367: MLOAD
00002368: SWAP1
00002369: POP
0000236a: SWAP1
0000236b: JUMP
0000236c: JUMPDEST
0000236d: PUSH1 0x00
0000236f: DUP1
00002370: REVERT
00002371: JUMPDEST
00002372: PUSH1 0x00
00002374: DUP1
00002375: REVERT
00002376: JUMPDEST
00002377: PUSH1 0x00
00002379: DUP1
0000237a: REVERT
0000237b: JUMPDEST
0000237c: PUSH1 0x00
0000237e: DUP1
0000237f: REVERT
00002380: JUMPDEST
00002381: PUSH1 0x00
00002383: DUP1
00002384: REVERT
00002385: JUMPDEST
00002386: PUSH1 0x00
00002388: DUP1
00002389: DUP4
0000238a: PUSH1 0x1f
0000238c: DUP5
0000238d: ADD
0000238e: SLT
0000238f: PUSH2 0x239b
00002392: JUMPI
00002393: PUSH2 0x239a
00002396: PUSH2 0x2376
00002399: JUMP
0000239a: JUMPDEST
0000239b: JUMPDEST
0000239c: DUP3
0000239d: CALLDATALOAD
0000239e: SWAP1
0000239f: POP
000023a0: PUSH8 0xffffffffffffffff
000023a9: DUP2
000023aa: GT
000023ab: ISZERO
000023ac: PUSH2 0x23b8
000023af: JUMPI
000023b0: PUSH2 0x23b7
000023b3: PUSH2 0x237b
000023b6: JUMP
000023b7: JUMPDEST
000023b8: JUMPDEST
000023b9: PUSH1 0x20
000023bb: DUP4
000023bc: ADD
000023bd: SWAP2
000023be: POP
000023bf: DUP4
000023c0: PUSH1 0x20
000023c2: DUP3
000023c3: MUL
000023c4: DUP4
000023c5: ADD
000023c6: GT
000023c7: ISZERO
000023c8: PUSH2 0x23d4
000023cb: JUMPI
000023cc: PUSH2 0x23d3
000023cf: PUSH2 0x2380
000023d2: JUMP
000023d3: JUMPDEST
000023d4: JUMPDEST
000023d5: SWAP3
000023d6: POP
000023d7: SWAP3
000023d8: SWAP1
000023d9: POP
000023da: JUMP
000023db: JUMPDEST
000023dc: PUSH1 0x00
000023de: PUSH1 0x1f
000023e0: NOT
000023e1: PUSH1 0x1f
000023e3: DUP4
000023e4: ADD
000023e5: AND
000023e6: SWAP1
000023e7: POP
000023e8: SWAP2
000023e9: SWAP1
000023ea: POP
000023eb: JUMP
000023ec: JUMPDEST
000023ed: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000240e: PUSH1 0x00
00002410: MSTORE
00002411: PUSH1 0x41
00002413: PUSH1 0x04
00002415: MSTORE
00002416: PUSH1 0x24
00002418: PUSH1 0x00
0000241a: REVERT
0000241b: JUMPDEST
0000241c: PUSH2 0x2424
0000241f: DUP3
00002420: PUSH2 0x23db
00002423: JUMP
00002424: JUMPDEST
00002425: DUP2
00002426: ADD
00002427: DUP2
00002428: DUP2
00002429: LT
0000242a: PUSH8 0xffffffffffffffff
00002433: DUP3
00002434: GT
00002435: OR
00002436: ISZERO
00002437: PUSH2 0x2443
0000243a: JUMPI
0000243b: PUSH2 0x2442
0000243e: PUSH2 0x23ec
00002441: JUMP
00002442: JUMPDEST
00002443: JUMPDEST
00002444: DUP1
00002445: PUSH1 0x40
00002447: MSTORE
00002448: POP
00002449: POP
0000244a: POP
0000244b: JUMP
0000244c: JUMPDEST
0000244d: PUSH1 0x00
0000244f: PUSH2 0x2456
00002452: PUSH2 0x2362
00002455: JUMP
00002456: JUMPDEST
00002457: SWAP1
00002458: POP
00002459: PUSH2 0x2462
0000245c: DUP3
0000245d: DUP3
0000245e: PUSH2 0x241b
00002461: JUMP
00002462: JUMPDEST
00002463: SWAP2
00002464: SWAP1
00002465: POP
00002466: JUMP
00002467: JUMPDEST
00002468: PUSH1 0x00
0000246a: PUSH8 0xffffffffffffffff
00002473: DUP3
00002474: GT
00002475: ISZERO
00002476: PUSH2 0x2482
00002479: JUMPI
0000247a: PUSH2 0x2481
0000247d: PUSH2 0x23ec
00002480: JUMP
00002481: JUMPDEST
00002482: JUMPDEST
00002483: PUSH1 0x20
00002485: DUP3
00002486: MUL
00002487: SWAP1
00002488: POP
00002489: PUSH1 0x20
0000248b: DUP2
0000248c: ADD
0000248d: SWAP1
0000248e: POP
0000248f: SWAP2
00002490: SWAP1
00002491: POP
00002492: JUMP
00002493: JUMPDEST
00002494: PUSH1 0x00
00002496: DUP2
00002497: SWAP1
00002498: POP
00002499: SWAP2
0000249a: SWAP1
0000249b: POP
0000249c: JUMP
0000249d: JUMPDEST
0000249e: PUSH2 0x24a6
000024a1: DUP2
000024a2: PUSH2 0x2493
000024a5: JUMP
000024a6: JUMPDEST
000024a7: DUP2
000024a8: EQ
000024a9: PUSH2 0x24b1
000024ac: JUMPI
000024ad: PUSH1 0x00
000024af: DUP1
000024b0: REVERT
000024b1: JUMPDEST
000024b2: POP
000024b3: JUMP
000024b4: JUMPDEST
000024b5: PUSH1 0x00
000024b7: DUP2
000024b8: CALLDATALOAD
000024b9: SWAP1
000024ba: POP
000024bb: PUSH2 0x24c3
000024be: DUP2
000024bf: PUSH2 0x249d
000024c2: JUMP
000024c3: JUMPDEST
000024c4: SWAP3
000024c5: SWAP2
000024c6: POP
000024c7: POP
000024c8: JUMP
000024c9: JUMPDEST
000024ca: PUSH1 0x00
000024cc: PUSH2 0x24dc
000024cf: PUSH2 0x24d7
000024d2: DUP5
000024d3: PUSH2 0x2467
000024d6: JUMP
000024d7: JUMPDEST
000024d8: PUSH2 0x244c
000024db: JUMP
000024dc: JUMPDEST
000024dd: SWAP1
000024de: POP
000024df: DUP1
000024e0: DUP4
000024e1: DUP3
000024e2: MSTORE
000024e3: PUSH1 0x20
000024e5: DUP3
000024e6: ADD
000024e7: SWAP1
000024e8: POP
000024e9: PUSH1 0x20
000024eb: DUP5
000024ec: MUL
000024ed: DUP4
000024ee: ADD
000024ef: DUP6
000024f0: DUP2
000024f1: GT
000024f2: ISZERO
000024f3: PUSH2 0x24ff
000024f6: JUMPI
000024f7: PUSH2 0x24fe
000024fa: PUSH2 0x2380
000024fd: JUMP
000024fe: JUMPDEST
000024ff: JUMPDEST
00002500: DUP4
00002501: JUMPDEST
00002502: DUP2
00002503: DUP2
00002504: LT
00002505: ISZERO
00002506: PUSH2 0x2528
00002509: JUMPI
0000250a: DUP1
0000250b: PUSH2 0x2514
0000250e: DUP9
0000250f: DUP3
00002510: PUSH2 0x24b4
00002513: JUMP
00002514: JUMPDEST
00002515: DUP5
00002516: MSTORE
00002517: PUSH1 0x20
00002519: DUP5
0000251a: ADD
0000251b: SWAP4
0000251c: POP
0000251d: POP
0000251e: PUSH1 0x20
00002520: DUP2
00002521: ADD
00002522: SWAP1
00002523: POP
00002524: PUSH2 0x2501
00002527: JUMP
00002528: JUMPDEST
00002529: POP
0000252a: POP
0000252b: POP
0000252c: SWAP4
0000252d: SWAP3
0000252e: POP
0000252f: POP
00002530: POP
00002531: JUMP
00002532: JUMPDEST
00002533: PUSH1 0x00
00002535: DUP3
00002536: PUSH1 0x1f
00002538: DUP4
00002539: ADD
0000253a: SLT
0000253b: PUSH2 0x2547
0000253e: JUMPI
0000253f: PUSH2 0x2546
00002542: PUSH2 0x2376
00002545: JUMP
00002546: JUMPDEST
00002547: JUMPDEST
00002548: DUP2
00002549: CALLDATALOAD
0000254a: PUSH2 0x2557
0000254d: DUP5
0000254e: DUP3
0000254f: PUSH1 0x20
00002551: DUP7
00002552: ADD
00002553: PUSH2 0x24c9
00002556: JUMP
00002557: JUMPDEST
00002558: SWAP2
00002559: POP
0000255a: POP
0000255b: SWAP3
0000255c: SWAP2
0000255d: POP
0000255e: POP
0000255f: JUMP
00002560: JUMPDEST
00002561: PUSH1 0x00
00002563: DUP1
00002564: PUSH1 0x00
00002566: PUSH1 0x40
00002568: DUP5
00002569: DUP7
0000256a: SUB
0000256b: SLT
0000256c: ISZERO
0000256d: PUSH2 0x2579
00002570: JUMPI
00002571: PUSH2 0x2578
00002574: PUSH2 0x236c
00002577: JUMP
00002578: JUMPDEST
00002579: JUMPDEST
0000257a: PUSH1 0x00
0000257c: DUP5
0000257d: ADD
0000257e: CALLDATALOAD
0000257f: PUSH8 0xffffffffffffffff
00002588: DUP2
00002589: GT
0000258a: ISZERO
0000258b: PUSH2 0x2597
0000258e: JUMPI
0000258f: PUSH2 0x2596
00002592: PUSH2 0x2371
00002595: JUMP
00002596: JUMPDEST
00002597: JUMPDEST
00002598: PUSH2 0x25a3
0000259b: DUP7
0000259c: DUP3
0000259d: DUP8
0000259e: ADD
0000259f: PUSH2 0x2385
000025a2: JUMP
000025a3: JUMPDEST
000025a4: SWAP4
000025a5: POP
000025a6: SWAP4
000025a7: POP
000025a8: POP
000025a9: PUSH1 0x20
000025ab: DUP5
000025ac: ADD
000025ad: CALLDATALOAD
000025ae: PUSH8 0xffffffffffffffff
000025b7: DUP2
000025b8: GT
000025b9: ISZERO
000025ba: PUSH2 0x25c6
000025bd: JUMPI
000025be: PUSH2 0x25c5
000025c1: PUSH2 0x2371
000025c4: JUMP
000025c5: JUMPDEST
000025c6: JUMPDEST
000025c7: PUSH2 0x25d2
000025ca: DUP7
000025cb: DUP3
000025cc: DUP8
000025cd: ADD
000025ce: PUSH2 0x2532
000025d1: JUMP
000025d2: JUMPDEST
000025d3: SWAP2
000025d4: POP
000025d5: POP
000025d6: SWAP3
000025d7: POP
000025d8: SWAP3
000025d9: POP
000025da: SWAP3
000025db: JUMP
000025dc: JUMPDEST
000025dd: PUSH1 0x00
000025df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025f4: DUP3
000025f5: AND
000025f6: SWAP1
000025f7: POP
000025f8: SWAP2
000025f9: SWAP1
000025fa: POP
000025fb: JUMP
000025fc: JUMPDEST
000025fd: PUSH1 0x00
000025ff: DUP2
00002600: SWAP1
00002601: POP
00002602: SWAP2
00002603: SWAP1
00002604: POP
00002605: JUMP
00002606: JUMPDEST
00002607: PUSH1 0x00
00002609: PUSH2 0x2621
0000260c: PUSH2 0x261c
0000260f: PUSH2 0x2617
00002612: DUP5
00002613: PUSH2 0x25dc
00002616: JUMP
00002617: JUMPDEST
00002618: PUSH2 0x25fc
0000261b: JUMP
0000261c: JUMPDEST
0000261d: PUSH2 0x25dc
00002620: JUMP
00002621: JUMPDEST
00002622: SWAP1
00002623: POP
00002624: SWAP2
00002625: SWAP1
00002626: POP
00002627: JUMP
00002628: JUMPDEST
00002629: PUSH1 0x00
0000262b: PUSH2 0x2633
0000262e: DUP3
0000262f: PUSH2 0x2606
00002632: JUMP
00002633: JUMPDEST
00002634: SWAP1
00002635: POP
00002636: SWAP2
00002637: SWAP1
00002638: POP
00002639: JUMP
0000263a: JUMPDEST
0000263b: PUSH1 0x00
0000263d: PUSH2 0x2645
00002640: DUP3
00002641: PUSH2 0x2628
00002644: JUMP
00002645: JUMPDEST
00002646: SWAP1
00002647: POP
00002648: SWAP2
00002649: SWAP1
0000264a: POP
0000264b: JUMP
0000264c: JUMPDEST
0000264d: PUSH2 0x2655
00002650: DUP2
00002651: PUSH2 0x263a
00002654: JUMP
00002655: JUMPDEST
00002656: DUP3
00002657: MSTORE
00002658: POP
00002659: POP
0000265a: JUMP
0000265b: JUMPDEST
0000265c: PUSH1 0x00
0000265e: PUSH1 0x20
00002660: DUP3
00002661: ADD
00002662: SWAP1
00002663: POP
00002664: PUSH2 0x2670
00002667: PUSH1 0x00
00002669: DUP4
0000266a: ADD
0000266b: DUP5
0000266c: PUSH2 0x264c
0000266f: JUMP
00002670: JUMPDEST
00002671: SWAP3
00002672: SWAP2
00002673: POP
00002674: POP
00002675: JUMP
00002676: JUMPDEST
00002677: PUSH1 0x00
00002679: PUSH2 0x2681
0000267c: DUP3
0000267d: PUSH2 0x25dc
00002680: JUMP
00002681: JUMPDEST
00002682: SWAP1
00002683: POP
00002684: SWAP2
00002685: SWAP1
00002686: POP
00002687: JUMP
00002688: JUMPDEST
00002689: PUSH2 0x2691
0000268c: DUP2
0000268d: PUSH2 0x2676
00002690: JUMP
00002691: JUMPDEST
00002692: DUP2
00002693: EQ
00002694: PUSH2 0x269c
00002697: JUMPI
00002698: PUSH1 0x00
0000269a: DUP1
0000269b: REVERT
0000269c: JUMPDEST
0000269d: POP
0000269e: JUMP
0000269f: JUMPDEST
000026a0: PUSH1 0x00
000026a2: DUP2
000026a3: CALLDATALOAD
000026a4: SWAP1
000026a5: POP
000026a6: PUSH2 0x26ae
000026a9: DUP2
000026aa: PUSH2 0x2688
000026ad: JUMP
000026ae: JUMPDEST
000026af: SWAP3
000026b0: SWAP2
000026b1: POP
000026b2: POP
000026b3: JUMP
000026b4: JUMPDEST
000026b5: PUSH1 0x00
000026b7: DUP1
000026b8: PUSH1 0x00
000026ba: DUP1
000026bb: PUSH1 0x60
000026bd: DUP6
000026be: DUP8
000026bf: SUB
000026c0: SLT
000026c1: ISZERO
000026c2: PUSH2 0x26ce
000026c5: JUMPI
000026c6: PUSH2 0x26cd
000026c9: PUSH2 0x236c
000026cc: JUMP
000026cd: JUMPDEST
000026ce: JUMPDEST
000026cf: PUSH1 0x00
000026d1: DUP6
000026d2: ADD
000026d3: CALLDATALOAD
000026d4: PUSH8 0xffffffffffffffff
000026dd: DUP2
000026de: GT
000026df: ISZERO
000026e0: PUSH2 0x26ec
000026e3: JUMPI
000026e4: PUSH2 0x26eb
000026e7: PUSH2 0x2371
000026ea: JUMP
000026eb: JUMPDEST
000026ec: JUMPDEST
000026ed: PUSH2 0x26f8
000026f0: DUP8
000026f1: DUP3
000026f2: DUP9
000026f3: ADD
000026f4: PUSH2 0x2385
000026f7: JUMP
000026f8: JUMPDEST
000026f9: SWAP5
000026fa: POP
000026fb: SWAP5
000026fc: POP
000026fd: POP
000026fe: PUSH1 0x20
00002700: DUP6
00002701: ADD
00002702: CALLDATALOAD
00002703: PUSH8 0xffffffffffffffff
0000270c: DUP2
0000270d: GT
0000270e: ISZERO
0000270f: PUSH2 0x271b
00002712: JUMPI
00002713: PUSH2 0x271a
00002716: PUSH2 0x2371
00002719: JUMP
0000271a: JUMPDEST
0000271b: JUMPDEST
0000271c: PUSH2 0x2727
0000271f: DUP8
00002720: DUP3
00002721: DUP9
00002722: ADD
00002723: PUSH2 0x2532
00002726: JUMP
00002727: JUMPDEST
00002728: SWAP3
00002729: POP
0000272a: POP
0000272b: PUSH1 0x40
0000272d: PUSH2 0x2738
00002730: DUP8
00002731: DUP3
00002732: DUP9
00002733: ADD
00002734: PUSH2 0x269f
00002737: JUMP
00002738: JUMPDEST
00002739: SWAP2
0000273a: POP
0000273b: POP
0000273c: SWAP3
0000273d: SWAP6
0000273e: SWAP2
0000273f: SWAP5
00002740: POP
00002741: SWAP3
00002742: POP
00002743: JUMP
00002744: JUMPDEST
00002745: PUSH1 0x00
00002747: DUP2
00002748: SWAP1
00002749: POP
0000274a: SWAP2
0000274b: SWAP1
0000274c: POP
0000274d: JUMP
0000274e: JUMPDEST
0000274f: PUSH2 0x2757
00002752: DUP2
00002753: PUSH2 0x2744
00002756: JUMP
00002757: JUMPDEST
00002758: DUP3
00002759: MSTORE
0000275a: POP
0000275b: POP
0000275c: JUMP
0000275d: JUMPDEST
0000275e: PUSH1 0x00
00002760: PUSH1 0x20
00002762: DUP3
00002763: ADD
00002764: SWAP1
00002765: POP
00002766: PUSH2 0x2772
00002769: PUSH1 0x00
0000276b: DUP4
0000276c: ADD
0000276d: DUP5
0000276e: PUSH2 0x274e
00002771: JUMP
00002772: JUMPDEST
00002773: SWAP3
00002774: SWAP2
00002775: POP
00002776: POP
00002777: JUMP
00002778: JUMPDEST
00002779: PUSH1 0x00
0000277b: DUP1
0000277c: DUP4
0000277d: PUSH1 0x1f
0000277f: DUP5
00002780: ADD
00002781: SLT
00002782: PUSH2 0x278e
00002785: JUMPI
00002786: PUSH2 0x278d
00002789: PUSH2 0x2376
0000278c: JUMP
0000278d: JUMPDEST
0000278e: JUMPDEST
0000278f: DUP3
00002790: CALLDATALOAD
00002791: SWAP1
00002792: POP
00002793: PUSH8 0xffffffffffffffff
0000279c: DUP2
0000279d: GT
0000279e: ISZERO
0000279f: PUSH2 0x27ab
000027a2: JUMPI
000027a3: PUSH2 0x27aa
000027a6: PUSH2 0x237b
000027a9: JUMP
000027aa: JUMPDEST
000027ab: JUMPDEST
000027ac: PUSH1 0x20
000027ae: DUP4
000027af: ADD
000027b0: SWAP2
000027b1: POP
000027b2: DUP4
000027b3: PUSH1 0x01
000027b5: DUP3
000027b6: MUL
000027b7: DUP4
000027b8: ADD
000027b9: GT
000027ba: ISZERO
000027bb: PUSH2 0x27c7
000027be: JUMPI
000027bf: PUSH2 0x27c6
000027c2: PUSH2 0x2380
000027c5: JUMP
000027c6: JUMPDEST
000027c7: JUMPDEST
000027c8: SWAP3
000027c9: POP
000027ca: SWAP3
000027cb: SWAP1
000027cc: POP
000027cd: JUMP
000027ce: JUMPDEST
000027cf: PUSH1 0x00
000027d1: DUP1
000027d2: PUSH1 0x00
000027d4: DUP1
000027d5: PUSH1 0x00
000027d7: PUSH1 0x80
000027d9: DUP7
000027da: DUP9
000027db: SUB
000027dc: SLT
000027dd: ISZERO
000027de: PUSH2 0x27ea
000027e1: JUMPI
000027e2: PUSH2 0x27e9
000027e5: PUSH2 0x236c
000027e8: JUMP
000027e9: JUMPDEST
000027ea: JUMPDEST
000027eb: PUSH1 0x00
000027ed: PUSH2 0x27f8
000027f0: DUP9
000027f1: DUP3
000027f2: DUP10
000027f3: ADD
000027f4: PUSH2 0x269f
000027f7: JUMP
000027f8: JUMPDEST
000027f9: SWAP6
000027fa: POP
000027fb: POP
000027fc: PUSH1 0x20
000027fe: PUSH2 0x2809
00002801: DUP9
00002802: DUP3
00002803: DUP10
00002804: ADD
00002805: PUSH2 0x269f
00002808: JUMP
00002809: JUMPDEST
0000280a: SWAP5
0000280b: POP
0000280c: POP
0000280d: PUSH1 0x40
0000280f: PUSH2 0x281a
00002812: DUP9
00002813: DUP3
00002814: DUP10
00002815: ADD
00002816: PUSH2 0x24b4
00002819: JUMP
0000281a: JUMPDEST
0000281b: SWAP4
0000281c: POP
0000281d: POP
0000281e: PUSH1 0x60
00002820: DUP7
00002821: ADD
00002822: CALLDATALOAD
00002823: PUSH8 0xffffffffffffffff
0000282c: DUP2
0000282d: GT
0000282e: ISZERO
0000282f: PUSH2 0x283b
00002832: JUMPI
00002833: PUSH2 0x283a
00002836: PUSH2 0x2371
00002839: JUMP
0000283a: JUMPDEST
0000283b: JUMPDEST
0000283c: PUSH2 0x2847
0000283f: DUP9
00002840: DUP3
00002841: DUP10
00002842: ADD
00002843: PUSH2 0x2778
00002846: JUMP
00002847: JUMPDEST
00002848: SWAP3
00002849: POP
0000284a: SWAP3
0000284b: POP
0000284c: POP
0000284d: SWAP3
0000284e: SWAP6
0000284f: POP
00002850: SWAP3
00002851: SWAP6
00002852: SWAP1
00002853: SWAP4
00002854: POP
00002855: JUMP
00002856: JUMPDEST
00002857: PUSH1 0x00
00002859: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
0000287a: DUP3
0000287b: AND
0000287c: SWAP1
0000287d: POP
0000287e: SWAP2
0000287f: SWAP1
00002880: POP
00002881: JUMP
00002882: JUMPDEST
00002883: PUSH2 0x288b
00002886: DUP2
00002887: PUSH2 0x2856
0000288a: JUMP
0000288b: JUMPDEST
0000288c: DUP3
0000288d: MSTORE
0000288e: POP
0000288f: POP
00002890: JUMP
00002891: JUMPDEST
00002892: PUSH1 0x00
00002894: PUSH1 0x20
00002896: DUP3
00002897: ADD
00002898: SWAP1
00002899: POP
0000289a: PUSH2 0x28a6
0000289d: PUSH1 0x00
0000289f: DUP4
000028a0: ADD
000028a1: DUP5
000028a2: PUSH2 0x2882
000028a5: JUMP
000028a6: JUMPDEST
000028a7: SWAP3
000028a8: SWAP2
000028a9: POP
000028aa: POP
000028ab: JUMP
000028ac: JUMPDEST
000028ad: PUSH2 0x28b5
000028b0: DUP2
000028b1: PUSH2 0x232c
000028b4: JUMP
000028b5: JUMPDEST
000028b6: DUP2
000028b7: EQ
000028b8: PUSH2 0x28c0
000028bb: JUMPI
000028bc: PUSH1 0x00
000028be: DUP1
000028bf: REVERT
000028c0: JUMPDEST
000028c1: POP
000028c2: JUMP
000028c3: JUMPDEST
000028c4: PUSH1 0x00
000028c6: DUP2
000028c7: CALLDATALOAD
000028c8: SWAP1
000028c9: POP
000028ca: PUSH2 0x28d2
000028cd: DUP2
000028ce: PUSH2 0x28ac
000028d1: JUMP
000028d2: JUMPDEST
000028d3: SWAP3
000028d4: SWAP2
000028d5: POP
000028d6: POP
000028d7: JUMP
000028d8: JUMPDEST
000028d9: PUSH1 0x00
000028db: PUSH1 0x20
000028dd: DUP3
000028de: DUP5
000028df: SUB
000028e0: SLT
000028e1: ISZERO
000028e2: PUSH2 0x28ee
000028e5: JUMPI
000028e6: PUSH2 0x28ed
000028e9: PUSH2 0x236c
000028ec: JUMP
000028ed: JUMPDEST
000028ee: JUMPDEST
000028ef: PUSH1 0x00
000028f1: PUSH2 0x28fc
000028f4: DUP5
000028f5: DUP3
000028f6: DUP6
000028f7: ADD
000028f8: PUSH2 0x28c3
000028fb: JUMP
000028fc: JUMPDEST
000028fd: SWAP2
000028fe: POP
000028ff: POP
00002900: SWAP3
00002901: SWAP2
00002902: POP
00002903: POP
00002904: JUMP
00002905: JUMPDEST
00002906: PUSH1 0x00
00002908: DUP1
00002909: PUSH1 0x00
0000290b: DUP1
0000290c: PUSH1 0x00
0000290e: PUSH1 0x80
00002910: DUP7
00002911: DUP9
00002912: SUB
00002913: SLT
00002914: ISZERO
00002915: PUSH2 0x2921
00002918: JUMPI
00002919: PUSH2 0x2920
0000291c: PUSH2 0x236c
0000291f: JUMP
00002920: JUMPDEST
00002921: JUMPDEST
00002922: PUSH1 0x00
00002924: DUP7
00002925: ADD
00002926: CALLDATALOAD
00002927: PUSH8 0xffffffffffffffff
00002930: DUP2
00002931: GT
00002932: ISZERO
00002933: PUSH2 0x293f
00002936: JUMPI
00002937: PUSH2 0x293e
0000293a: PUSH2 0x2371
0000293d: JUMP
0000293e: JUMPDEST
0000293f: JUMPDEST
00002940: PUSH2 0x294b
00002943: DUP9
00002944: DUP3
00002945: DUP10
00002946: ADD
00002947: PUSH2 0x2385
0000294a: JUMP
0000294b: JUMPDEST
0000294c: SWAP6
0000294d: POP
0000294e: SWAP6
0000294f: POP
00002950: POP
00002951: PUSH1 0x20
00002953: PUSH2 0x295e
00002956: DUP9
00002957: DUP3
00002958: DUP10
00002959: ADD
0000295a: PUSH2 0x24b4
0000295d: JUMP
0000295e: JUMPDEST
0000295f: SWAP4
00002960: POP
00002961: POP
00002962: PUSH1 0x40
00002964: DUP7
00002965: ADD
00002966: CALLDATALOAD
00002967: PUSH8 0xffffffffffffffff
00002970: DUP2
00002971: GT
00002972: ISZERO
00002973: PUSH2 0x297f
00002976: JUMPI
00002977: PUSH2 0x297e
0000297a: PUSH2 0x2371
0000297d: JUMP
0000297e: JUMPDEST
0000297f: JUMPDEST
00002980: PUSH2 0x298b
00002983: DUP9
00002984: DUP3
00002985: DUP10
00002986: ADD
00002987: PUSH2 0x2532
0000298a: JUMP
0000298b: JUMPDEST
0000298c: SWAP3
0000298d: POP
0000298e: POP
0000298f: PUSH1 0x60
00002991: PUSH2 0x299c
00002994: DUP9
00002995: DUP3
00002996: DUP10
00002997: ADD
00002998: PUSH2 0x269f
0000299b: JUMP
0000299c: JUMPDEST
0000299d: SWAP2
0000299e: POP
0000299f: POP
000029a0: SWAP3
000029a1: SWAP6
000029a2: POP
000029a3: SWAP3
000029a4: SWAP6
000029a5: SWAP1
000029a6: SWAP4
000029a7: POP
000029a8: JUMP
000029a9: JUMPDEST
000029aa: PUSH1 0x00
000029ac: PUSH1 0x20
000029ae: DUP3
000029af: DUP5
000029b0: SUB
000029b1: SLT
000029b2: ISZERO
000029b3: PUSH2 0x29bf
000029b6: JUMPI
000029b7: PUSH2 0x29be
000029ba: PUSH2 0x236c
000029bd: JUMP
000029be: JUMPDEST
000029bf: JUMPDEST
000029c0: PUSH1 0x00
000029c2: PUSH2 0x29cd
000029c5: DUP5
000029c6: DUP3
000029c7: DUP6
000029c8: ADD
000029c9: PUSH2 0x269f
000029cc: JUMP
000029cd: JUMPDEST
000029ce: SWAP2
000029cf: POP
000029d0: POP
000029d1: SWAP3
000029d2: SWAP2
000029d3: POP
000029d4: POP
000029d5: JUMP
000029d6: JUMPDEST
000029d7: PUSH2 0x29df
000029da: DUP2
000029db: PUSH2 0x2493
000029de: JUMP
000029df: JUMPDEST
000029e0: DUP3
000029e1: MSTORE
000029e2: POP
000029e3: POP
000029e4: JUMP
000029e5: JUMPDEST
000029e6: PUSH1 0x00
000029e8: PUSH1 0x20
000029ea: DUP3
000029eb: ADD
000029ec: SWAP1
000029ed: POP
000029ee: PUSH2 0x29fa
000029f1: PUSH1 0x00
000029f3: DUP4
000029f4: ADD
000029f5: DUP5
000029f6: PUSH2 0x29d6
000029f9: JUMP
000029fa: JUMPDEST
000029fb: SWAP3
000029fc: SWAP2
000029fd: POP
000029fe: POP
000029ff: JUMP
00002a00: JUMPDEST
00002a01: PUSH1 0x00
00002a03: PUSH1 0x20
00002a05: DUP3
00002a06: DUP5
00002a07: SUB
00002a08: SLT
00002a09: ISZERO
00002a0a: PUSH2 0x2a16
00002a0d: JUMPI
00002a0e: PUSH2 0x2a15
00002a11: PUSH2 0x236c
00002a14: JUMP
00002a15: JUMPDEST
00002a16: JUMPDEST
00002a17: PUSH1 0x00
00002a19: DUP3
00002a1a: ADD
00002a1b: CALLDATALOAD
00002a1c: PUSH8 0xffffffffffffffff
00002a25: DUP2
00002a26: GT
00002a27: ISZERO
00002a28: PUSH2 0x2a34
00002a2b: JUMPI
00002a2c: PUSH2 0x2a33
00002a2f: PUSH2 0x2371
00002a32: JUMP
00002a33: JUMPDEST
00002a34: JUMPDEST
00002a35: PUSH2 0x2a40
00002a38: DUP5
00002a39: DUP3
00002a3a: DUP6
00002a3b: ADD
00002a3c: PUSH2 0x2532
00002a3f: JUMP
00002a40: JUMPDEST
00002a41: SWAP2
00002a42: POP
00002a43: POP
00002a44: SWAP3
00002a45: SWAP2
00002a46: POP
00002a47: POP
00002a48: JUMP
00002a49: JUMPDEST
00002a4a: PUSH1 0x00
00002a4c: DUP1
00002a4d: PUSH1 0x40
00002a4f: DUP4
00002a50: DUP6
00002a51: SUB
00002a52: SLT
00002a53: ISZERO
00002a54: PUSH2 0x2a60
00002a57: JUMPI
00002a58: PUSH2 0x2a5f
00002a5b: PUSH2 0x236c
00002a5e: JUMP
00002a5f: JUMPDEST
00002a60: JUMPDEST
00002a61: PUSH1 0x00
00002a63: DUP4
00002a64: ADD
00002a65: CALLDATALOAD
00002a66: PUSH8 0xffffffffffffffff
00002a6f: DUP2
00002a70: GT
00002a71: ISZERO
00002a72: PUSH2 0x2a7e
00002a75: JUMPI
00002a76: PUSH2 0x2a7d
00002a79: PUSH2 0x2371
00002a7c: JUMP
00002a7d: JUMPDEST
00002a7e: JUMPDEST
00002a7f: PUSH2 0x2a8a
00002a82: DUP6
00002a83: DUP3
00002a84: DUP7
00002a85: ADD
00002a86: PUSH2 0x2532
00002a89: JUMP
00002a8a: JUMPDEST
00002a8b: SWAP3
00002a8c: POP
00002a8d: POP
00002a8e: PUSH1 0x20
00002a90: PUSH2 0x2a9b
00002a93: DUP6
00002a94: DUP3
00002a95: DUP7
00002a96: ADD
00002a97: PUSH2 0x269f
00002a9a: JUMP
00002a9b: JUMPDEST
00002a9c: SWAP2
00002a9d: POP
00002a9e: POP
00002a9f: SWAP3
00002aa0: POP
00002aa1: SWAP3
00002aa2: SWAP1
00002aa3: POP
00002aa4: JUMP
00002aa5: JUMPDEST
00002aa6: PUSH1 0x00
00002aa8: PUSH2 0x2ab0
00002aab: DUP3
00002aac: PUSH2 0x25dc
00002aaf: JUMP
00002ab0: JUMPDEST
00002ab1: SWAP1
00002ab2: POP
00002ab3: SWAP2
00002ab4: SWAP1
00002ab5: POP
00002ab6: JUMP
00002ab7: JUMPDEST
00002ab8: PUSH2 0x2ac0
00002abb: DUP2
00002abc: PUSH2 0x2aa5
00002abf: JUMP
00002ac0: JUMPDEST
00002ac1: DUP2
00002ac2: EQ
00002ac3: PUSH2 0x2acb
00002ac6: JUMPI
00002ac7: PUSH1 0x00
00002ac9: DUP1
00002aca: REVERT
00002acb: JUMPDEST
00002acc: POP
00002acd: JUMP
00002ace: JUMPDEST
00002acf: PUSH1 0x00
00002ad1: DUP2
00002ad2: CALLDATALOAD
00002ad3: SWAP1
00002ad4: POP
00002ad5: PUSH2 0x2add
00002ad8: DUP2
00002ad9: PUSH2 0x2ab7
00002adc: JUMP
00002add: JUMPDEST
00002ade: SWAP3
00002adf: SWAP2
00002ae0: POP
00002ae1: POP
00002ae2: JUMP
00002ae3: JUMPDEST
00002ae4: PUSH1 0x00
00002ae6: PUSH1 0x20
00002ae8: DUP3
00002ae9: DUP5
00002aea: SUB
00002aeb: SLT
00002aec: ISZERO
00002aed: PUSH2 0x2af9
00002af0: JUMPI
00002af1: PUSH2 0x2af8
00002af4: PUSH2 0x236c
00002af7: JUMP
00002af8: JUMPDEST
00002af9: JUMPDEST
00002afa: PUSH1 0x00
00002afc: PUSH2 0x2b07
00002aff: DUP5
00002b00: DUP3
00002b01: DUP6
00002b02: ADD
00002b03: PUSH2 0x2ace
00002b06: JUMP
00002b07: JUMPDEST
00002b08: SWAP2
00002b09: POP
00002b0a: POP
00002b0b: SWAP3
00002b0c: SWAP2
00002b0d: POP
00002b0e: POP
00002b0f: JUMP
00002b10: JUMPDEST
00002b11: PUSH1 0x00
00002b13: DUP1
00002b14: REVERT
00002b15: JUMPDEST
00002b16: PUSH1 0x00
00002b18: PUSH8 0xffffffffffffffff
00002b21: DUP3
00002b22: GT
00002b23: ISZERO
00002b24: PUSH2 0x2b30
00002b27: JUMPI
00002b28: PUSH2 0x2b2f
00002b2b: PUSH2 0x23ec
00002b2e: JUMP
00002b2f: JUMPDEST
00002b30: JUMPDEST
00002b31: PUSH2 0x2b39
00002b34: DUP3
00002b35: PUSH2 0x23db
00002b38: JUMP
00002b39: JUMPDEST
00002b3a: SWAP1
00002b3b: POP
00002b3c: PUSH1 0x20
00002b3e: DUP2
00002b3f: ADD
00002b40: SWAP1
00002b41: POP
00002b42: SWAP2
00002b43: SWAP1
00002b44: POP
00002b45: JUMP
00002b46: JUMPDEST
00002b47: DUP3
00002b48: DUP2
00002b49: DUP4
00002b4a: CALLDATACOPY
00002b4b: PUSH1 0x00
00002b4d: DUP4
00002b4e: DUP4
00002b4f: ADD
00002b50: MSTORE
00002b51: POP
00002b52: POP
00002b53: POP
00002b54: JUMP
00002b55: JUMPDEST
00002b56: PUSH1 0x00
00002b58: PUSH2 0x2b68
00002b5b: PUSH2 0x2b63
00002b5e: DUP5
00002b5f: PUSH2 0x2b15
00002b62: JUMP
00002b63: JUMPDEST
00002b64: PUSH2 0x244c
00002b67: JUMP
00002b68: JUMPDEST
00002b69: SWAP1
00002b6a: POP
00002b6b: DUP3
00002b6c: DUP2
00002b6d: MSTORE
00002b6e: PUSH1 0x20
00002b70: DUP2
00002b71: ADD
00002b72: DUP5
00002b73: DUP5
00002b74: DUP5
00002b75: ADD
00002b76: GT
00002b77: ISZERO
00002b78: PUSH2 0x2b84
00002b7b: JUMPI
00002b7c: PUSH2 0x2b83
00002b7f: PUSH2 0x2b10
00002b82: JUMP
00002b83: JUMPDEST
00002b84: JUMPDEST
00002b85: PUSH2 0x2b8f
00002b88: DUP5
00002b89: DUP3
00002b8a: DUP6
00002b8b: PUSH2 0x2b46
00002b8e: JUMP
00002b8f: JUMPDEST
00002b90: POP
00002b91: SWAP4
00002b92: SWAP3
00002b93: POP
00002b94: POP
00002b95: POP
00002b96: JUMP
00002b97: JUMPDEST
00002b98: PUSH1 0x00
00002b9a: DUP3
00002b9b: PUSH1 0x1f
00002b9d: DUP4
00002b9e: ADD
00002b9f: SLT
00002ba0: PUSH2 0x2bac
00002ba3: JUMPI
00002ba4: PUSH2 0x2bab
00002ba7: PUSH2 0x2376
00002baa: JUMP
00002bab: JUMPDEST
00002bac: JUMPDEST
00002bad: DUP2
00002bae: CALLDATALOAD
00002baf: PUSH2 0x2bbc
00002bb2: DUP5
00002bb3: DUP3
00002bb4: PUSH1 0x20
00002bb6: DUP7
00002bb7: ADD
00002bb8: PUSH2 0x2b55
00002bbb: JUMP
00002bbc: JUMPDEST
00002bbd: SWAP2
00002bbe: POP
00002bbf: POP
00002bc0: SWAP3
00002bc1: SWAP2
00002bc2: POP
00002bc3: POP
00002bc4: JUMP
00002bc5: JUMPDEST
00002bc6: PUSH1 0x00
00002bc8: PUSH1 0x20
00002bca: DUP3
00002bcb: DUP5
00002bcc: SUB
00002bcd: SLT
00002bce: ISZERO
00002bcf: PUSH2 0x2bdb
00002bd2: JUMPI
00002bd3: PUSH2 0x2bda
00002bd6: PUSH2 0x236c
00002bd9: JUMP
00002bda: JUMPDEST
00002bdb: JUMPDEST
00002bdc: PUSH1 0x00
00002bde: DUP3
00002bdf: ADD
00002be0: CALLDATALOAD
00002be1: PUSH8 0xffffffffffffffff
00002bea: DUP2
00002beb: GT
00002bec: ISZERO
00002bed: PUSH2 0x2bf9
00002bf0: JUMPI
00002bf1: PUSH2 0x2bf8
00002bf4: PUSH2 0x2371
00002bf7: JUMP
00002bf8: JUMPDEST
00002bf9: JUMPDEST
00002bfa: PUSH2 0x2c05
00002bfd: DUP5
00002bfe: DUP3
00002bff: DUP6
00002c00: ADD
00002c01: PUSH2 0x2b97
00002c04: JUMP
00002c05: JUMPDEST
00002c06: SWAP2
00002c07: POP
00002c08: POP
00002c09: SWAP3
00002c0a: SWAP2
00002c0b: POP
00002c0c: POP
00002c0d: JUMP
00002c0e: JUMPDEST
00002c0f: PUSH2 0x2c17
00002c12: DUP2
00002c13: PUSH2 0x2744
00002c16: JUMP
00002c17: JUMPDEST
00002c18: DUP2
00002c19: EQ
00002c1a: PUSH2 0x2c22
00002c1d: JUMPI
00002c1e: PUSH1 0x00
00002c20: DUP1
00002c21: REVERT
00002c22: JUMPDEST
00002c23: POP
00002c24: JUMP
00002c25: JUMPDEST
00002c26: PUSH1 0x00
00002c28: DUP2
00002c29: CALLDATALOAD
00002c2a: SWAP1
00002c2b: POP
00002c2c: PUSH2 0x2c34
00002c2f: DUP2
00002c30: PUSH2 0x2c0e
00002c33: JUMP
00002c34: JUMPDEST
00002c35: SWAP3
00002c36: SWAP2
00002c37: POP
00002c38: POP
00002c39: JUMP
00002c3a: JUMPDEST
00002c3b: PUSH1 0x00
00002c3d: DUP1
00002c3e: PUSH1 0x40
00002c40: DUP4
00002c41: DUP6
00002c42: SUB
00002c43: SLT
00002c44: ISZERO
00002c45: PUSH2 0x2c51
00002c48: JUMPI
00002c49: PUSH2 0x2c50
00002c4c: PUSH2 0x236c
00002c4f: JUMP
00002c50: JUMPDEST
00002c51: JUMPDEST
00002c52: PUSH1 0x00
00002c54: PUSH2 0x2c5f
00002c57: DUP6
00002c58: DUP3
00002c59: DUP7
00002c5a: ADD
00002c5b: PUSH2 0x2c25
00002c5e: JUMP
00002c5f: JUMPDEST
00002c60: SWAP3
00002c61: POP
00002c62: POP
00002c63: PUSH1 0x20
00002c65: PUSH2 0x2c70
00002c68: DUP6
00002c69: DUP3
00002c6a: DUP7
00002c6b: ADD
00002c6c: PUSH2 0x2c25
00002c6f: JUMP
00002c70: JUMPDEST
00002c71: SWAP2
00002c72: POP
00002c73: POP
00002c74: SWAP3
00002c75: POP
00002c76: SWAP3
00002c77: SWAP1
00002c78: POP
00002c79: JUMP
00002c7a: JUMPDEST
00002c7b: PUSH2 0x2c83
00002c7e: DUP2
00002c7f: PUSH2 0x2676
00002c82: JUMP
00002c83: JUMPDEST
00002c84: DUP3
00002c85: MSTORE
00002c86: POP
00002c87: POP
00002c88: JUMP
00002c89: JUMPDEST
00002c8a: PUSH1 0x00
00002c8c: PUSH1 0x20
00002c8e: DUP3
00002c8f: ADD
00002c90: SWAP1
00002c91: POP
00002c92: PUSH2 0x2c9e
00002c95: PUSH1 0x00
00002c97: DUP4
00002c98: ADD
00002c99: DUP5
00002c9a: PUSH2 0x2c7a
00002c9d: JUMP
00002c9e: JUMPDEST
00002c9f: SWAP3
00002ca0: SWAP2
00002ca1: POP
00002ca2: POP
00002ca3: JUMP
00002ca4: JUMPDEST
00002ca5: PUSH1 0x00
00002ca7: PUSH1 0x20
00002ca9: DUP3
00002caa: DUP5
00002cab: SUB
00002cac: SLT
00002cad: ISZERO
00002cae: PUSH2 0x2cba
00002cb1: JUMPI
00002cb2: PUSH2 0x2cb9
00002cb5: PUSH2 0x236c
00002cb8: JUMP
00002cb9: JUMPDEST
00002cba: JUMPDEST
00002cbb: PUSH1 0x00
00002cbd: PUSH2 0x2cc8
00002cc0: DUP5
00002cc1: DUP3
00002cc2: DUP6
00002cc3: ADD
00002cc4: PUSH2 0x24b4
00002cc7: JUMP
00002cc8: JUMPDEST
00002cc9: SWAP2
00002cca: POP
00002ccb: POP
00002ccc: SWAP3
00002ccd: SWAP2
00002cce: POP
00002ccf: POP
00002cd0: JUMP
00002cd1: JUMPDEST
00002cd2: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002cf3: PUSH1 0x00
00002cf5: MSTORE
00002cf6: PUSH1 0x21
00002cf8: PUSH1 0x04
00002cfa: MSTORE
00002cfb: PUSH1 0x24
00002cfd: PUSH1 0x00
00002cff: REVERT
00002d00: JUMPDEST
00002d01: PUSH1 0x03
00002d03: DUP2
00002d04: LT
00002d05: PUSH2 0x2d11
00002d08: JUMPI
00002d09: PUSH2 0x2d10
00002d0c: PUSH2 0x2cd1
00002d0f: JUMP
00002d10: JUMPDEST
00002d11: JUMPDEST
00002d12: POP
00002d13: JUMP
00002d14: JUMPDEST
00002d15: PUSH1 0x00
00002d17: DUP2
00002d18: SWAP1
00002d19: POP
00002d1a: PUSH2 0x2d22
00002d1d: DUP3
00002d1e: PUSH2 0x2d00
00002d21: JUMP
00002d22: JUMPDEST
00002d23: SWAP2
00002d24: SWAP1
00002d25: POP
00002d26: JUMP
00002d27: JUMPDEST
00002d28: PUSH1 0x00
00002d2a: PUSH2 0x2d32
00002d2d: DUP3
00002d2e: PUSH2 0x2d14
00002d31: JUMP
00002d32: JUMPDEST
00002d33: SWAP1
00002d34: POP
00002d35: SWAP2
00002d36: SWAP1
00002d37: POP
00002d38: JUMP
00002d39: JUMPDEST
00002d3a: PUSH2 0x2d42
00002d3d: DUP2
00002d3e: PUSH2 0x2d27
00002d41: JUMP
00002d42: JUMPDEST
00002d43: DUP3
00002d44: MSTORE
00002d45: POP
00002d46: POP
00002d47: JUMP
00002d48: JUMPDEST
00002d49: PUSH1 0x00
00002d4b: PUSH1 0x20
00002d4d: DUP3
00002d4e: ADD
00002d4f: SWAP1
00002d50: POP
00002d51: PUSH2 0x2d5d
00002d54: PUSH1 0x00
00002d56: DUP4
00002d57: ADD
00002d58: DUP5
00002d59: PUSH2 0x2d39
00002d5c: JUMP
00002d5d: JUMPDEST
00002d5e: SWAP3
00002d5f: SWAP2
00002d60: POP
00002d61: POP
00002d62: JUMP
00002d63: JUMPDEST
00002d64: PUSH1 0x00
00002d66: DUP1
00002d67: PUSH1 0x40
00002d69: DUP4
00002d6a: DUP6
00002d6b: SUB
00002d6c: SLT
00002d6d: ISZERO
00002d6e: PUSH2 0x2d7a
00002d71: JUMPI
00002d72: PUSH2 0x2d79
00002d75: PUSH2 0x236c
00002d78: JUMP
00002d79: JUMPDEST
00002d7a: JUMPDEST
00002d7b: PUSH1 0x00
00002d7d: PUSH2 0x2d88
00002d80: DUP6
00002d81: DUP3
00002d82: DUP7
00002d83: ADD
00002d84: PUSH2 0x269f
00002d87: JUMP
00002d88: JUMPDEST
00002d89: SWAP3
00002d8a: POP
00002d8b: POP
00002d8c: PUSH1 0x20
00002d8e: DUP4
00002d8f: ADD
00002d90: CALLDATALOAD
00002d91: PUSH8 0xffffffffffffffff
00002d9a: DUP2
00002d9b: GT
00002d9c: ISZERO
00002d9d: PUSH2 0x2da9
00002da0: JUMPI
00002da1: PUSH2 0x2da8
00002da4: PUSH2 0x2371
00002da7: JUMP
00002da8: JUMPDEST
00002da9: JUMPDEST
00002daa: PUSH2 0x2db5
00002dad: DUP6
00002dae: DUP3
00002daf: DUP7
00002db0: ADD
00002db1: PUSH2 0x2532
00002db4: JUMP
00002db5: JUMPDEST
00002db6: SWAP2
00002db7: POP
00002db8: POP
00002db9: SWAP3
00002dba: POP
00002dbb: SWAP3
00002dbc: SWAP1
00002dbd: POP
00002dbe: JUMP
00002dbf: JUMPDEST
00002dc0: PUSH1 0x00
00002dc2: DUP1
00002dc3: PUSH1 0x00
00002dc5: DUP1
00002dc6: PUSH1 0x60
00002dc8: DUP6
00002dc9: DUP8
00002dca: SUB
00002dcb: SLT
00002dcc: ISZERO
00002dcd: PUSH2 0x2dd9
00002dd0: JUMPI
00002dd1: PUSH2 0x2dd8
00002dd4: PUSH2 0x236c
00002dd7: JUMP
00002dd8: JUMPDEST
00002dd9: JUMPDEST
00002dda: PUSH1 0x00
00002ddc: DUP6
00002ddd: ADD
00002dde: CALLDATALOAD
00002ddf: PUSH8 0xffffffffffffffff
00002de8: DUP2
00002de9: GT
00002dea: ISZERO
00002deb: PUSH2 0x2df7
00002dee: JUMPI
00002def: PUSH2 0x2df6
00002df2: PUSH2 0x2371
00002df5: JUMP
00002df6: JUMPDEST
00002df7: JUMPDEST
00002df8: PUSH2 0x2e03
00002dfb: DUP8
00002dfc: DUP3
00002dfd: DUP9
00002dfe: ADD
00002dff: PUSH2 0x2385
00002e02: JUMP
00002e03: JUMPDEST
00002e04: SWAP5
00002e05: POP
00002e06: SWAP5
00002e07: POP
00002e08: POP
00002e09: PUSH1 0x20
00002e0b: PUSH2 0x2e16
00002e0e: DUP8
00002e0f: DUP3
00002e10: DUP9
00002e11: ADD
00002e12: PUSH2 0x24b4
00002e15: JUMP
00002e16: JUMPDEST
00002e17: SWAP3
00002e18: POP
00002e19: POP
00002e1a: PUSH1 0x40
00002e1c: DUP6
00002e1d: ADD
00002e1e: CALLDATALOAD
00002e1f: PUSH8 0xffffffffffffffff
00002e28: DUP2
00002e29: GT
00002e2a: ISZERO
00002e2b: PUSH2 0x2e37
00002e2e: JUMPI
00002e2f: PUSH2 0x2e36
00002e32: PUSH2 0x2371
00002e35: JUMP
00002e36: JUMPDEST
00002e37: JUMPDEST
00002e38: PUSH2 0x2e43
00002e3b: DUP8
00002e3c: DUP3
00002e3d: DUP9
00002e3e: ADD
00002e3f: PUSH2 0x2532
00002e42: JUMP
00002e43: JUMPDEST
00002e44: SWAP2
00002e45: POP
00002e46: POP
00002e47: SWAP3
00002e48: SWAP6
00002e49: SWAP2
00002e4a: SWAP5
00002e4b: POP
00002e4c: SWAP3
00002e4d: POP
00002e4e: JUMP
00002e4f: JUMPDEST
00002e50: PUSH1 0x00
00002e52: DUP1
00002e53: PUSH1 0x40
00002e55: DUP4
00002e56: DUP6
00002e57: SUB
00002e58: SLT
00002e59: ISZERO
00002e5a: PUSH2 0x2e66
00002e5d: JUMPI
00002e5e: PUSH2 0x2e65
00002e61: PUSH2 0x236c
00002e64: JUMP
00002e65: JUMPDEST
00002e66: JUMPDEST
00002e67: PUSH1 0x00
00002e69: PUSH2 0x2e74
00002e6c: DUP6
00002e6d: DUP3
00002e6e: DUP7
00002e6f: ADD
00002e70: PUSH2 0x269f
00002e73: JUMP
00002e74: JUMPDEST
00002e75: SWAP3
00002e76: POP
00002e77: POP
00002e78: PUSH1 0x20
00002e7a: PUSH2 0x2e85
00002e7d: DUP6
00002e7e: DUP3
00002e7f: DUP7
00002e80: ADD
00002e81: PUSH2 0x24b4
00002e84: JUMP
00002e85: JUMPDEST
00002e86: SWAP2
00002e87: POP
00002e88: POP
00002e89: SWAP3
00002e8a: POP
00002e8b: SWAP3
00002e8c: SWAP1
00002e8d: POP
00002e8e: JUMP
00002e8f: JUMPDEST
00002e90: PUSH1 0x00
00002e92: DUP3
00002e93: DUP3
00002e94: MSTORE
00002e95: PUSH1 0x20
00002e97: DUP3
00002e98: ADD
00002e99: SWAP1
00002e9a: POP
00002e9b: SWAP3
00002e9c: SWAP2
00002e9d: POP
00002e9e: POP
00002e9f: JUMP
00002ea0: JUMPDEST
00002ea1: PUSH32 0x4d696e7465723a20416c6c6f776c6973742073616c65206973206e6f74206163
00002ec2: PUSH1 0x00
00002ec4: DUP3
00002ec5: ADD
00002ec6: MSTORE
00002ec7: PUSH32 0x7469766500000000000000000000000000000000000000000000000000000000
00002ee8: PUSH1 0x20
00002eea: DUP3
00002eeb: ADD
00002eec: MSTORE
00002eed: POP
00002eee: JUMP
00002eef: JUMPDEST
00002ef0: PUSH1 0x00
00002ef2: PUSH2 0x2efc
00002ef5: PUSH1 0x24
00002ef7: DUP4
00002ef8: PUSH2 0x2e8f
00002efb: JUMP
00002efc: JUMPDEST
00002efd: SWAP2
00002efe: POP
00002eff: PUSH2 0x2f07
00002f02: DUP3
00002f03: PUSH2 0x2ea0
00002f06: JUMP
00002f07: JUMPDEST
00002f08: PUSH1 0x40
00002f0a: DUP3
00002f0b: ADD
00002f0c: SWAP1
00002f0d: POP
00002f0e: SWAP2
00002f0f: SWAP1
00002f10: POP
00002f11: JUMP
00002f12: JUMPDEST
00002f13: PUSH1 0x00
00002f15: PUSH1 0x20
00002f17: DUP3
00002f18: ADD
00002f19: SWAP1
00002f1a: POP
00002f1b: DUP2
00002f1c: DUP2
00002f1d: SUB
00002f1e: PUSH1 0x00
00002f20: DUP4
00002f21: ADD
00002f22: MSTORE
00002f23: PUSH2 0x2f2b
00002f26: DUP2
00002f27: PUSH2 0x2eef
00002f2a: JUMP
00002f2b: JUMPDEST
00002f2c: SWAP1
00002f2d: POP
00002f2e: SWAP2
00002f2f: SWAP1
00002f30: POP
00002f31: JUMP
00002f32: JUMPDEST
00002f33: PUSH32 0x4d696e7465723a20496e76616c696420746f6b656e206964206c697374000000
00002f54: PUSH1 0x00
00002f56: DUP3
00002f57: ADD
00002f58: MSTORE
00002f59: POP
00002f5a: JUMP
00002f5b: JUMPDEST
00002f5c: PUSH1 0x00
00002f5e: PUSH2 0x2f68
00002f61: PUSH1 0x1d
00002f63: DUP4
00002f64: PUSH2 0x2e8f
00002f67: JUMP
00002f68: JUMPDEST
00002f69: SWAP2
00002f6a: POP
00002f6b: PUSH2 0x2f73
00002f6e: DUP3
00002f6f: PUSH2 0x2f32
00002f72: JUMP
00002f73: JUMPDEST
00002f74: PUSH1 0x20
00002f76: DUP3
00002f77: ADD
00002f78: SWAP1
00002f79: POP
00002f7a: SWAP2
00002f7b: SWAP1
00002f7c: POP
00002f7d: JUMP
00002f7e: JUMPDEST
00002f7f: PUSH1 0x00
00002f81: PUSH1 0x20
00002f83: DUP3
00002f84: ADD
00002f85: SWAP1
00002f86: POP
00002f87: DUP2
00002f88: DUP2
00002f89: SUB
00002f8a: PUSH1 0x00
00002f8c: DUP4
00002f8d: ADD
00002f8e: MSTORE
00002f8f: PUSH2 0x2f97
00002f92: DUP2
00002f93: PUSH2 0x2f5b
00002f96: JUMP
00002f97: JUMPDEST
00002f98: SWAP1
00002f99: POP
00002f9a: SWAP2
00002f9b: SWAP1
00002f9c: POP
00002f9d: JUMP
00002f9e: JUMPDEST
00002f9f: PUSH1 0x00
00002fa1: DUP2
00002fa2: PUSH1 0x60
00002fa4: SHL
00002fa5: SWAP1
00002fa6: POP
00002fa7: SWAP2
00002fa8: SWAP1
00002fa9: POP
00002faa: JUMP
00002fab: JUMPDEST
00002fac: PUSH1 0x00
00002fae: PUSH2 0x2fb6
00002fb1: DUP3
00002fb2: PUSH2 0x2f9e
00002fb5: JUMP
00002fb6: JUMPDEST
00002fb7: SWAP1
00002fb8: POP
00002fb9: SWAP2
00002fba: SWAP1
00002fbb: POP
00002fbc: JUMP
00002fbd: JUMPDEST
00002fbe: PUSH1 0x00
00002fc0: PUSH2 0x2fc8
00002fc3: DUP3
00002fc4: PUSH2 0x2fab
00002fc7: JUMP
00002fc8: JUMPDEST
00002fc9: SWAP1
00002fca: POP
00002fcb: SWAP2
00002fcc: SWAP1
00002fcd: POP
00002fce: JUMP
00002fcf: JUMPDEST
00002fd0: PUSH2 0x2fe0
00002fd3: PUSH2 0x2fdb
00002fd6: DUP3
00002fd7: PUSH2 0x2676
00002fda: JUMP
00002fdb: JUMPDEST
00002fdc: PUSH2 0x2fbd
00002fdf: JUMP
00002fe0: JUMPDEST
00002fe1: DUP3
00002fe2: MSTORE
00002fe3: POP
00002fe4: POP
00002fe5: JUMP
00002fe6: JUMPDEST
00002fe7: PUSH1 0x00
00002fe9: PUSH2 0x2ff2
00002fec: DUP3
00002fed: DUP5
00002fee: PUSH2 0x2fcf
00002ff1: JUMP
00002ff2: JUMPDEST
00002ff3: PUSH1 0x14
00002ff5: DUP3
00002ff6: ADD
00002ff7: SWAP2
00002ff8: POP
00002ff9: DUP2
00002ffa: SWAP1
00002ffb: POP
00002ffc: SWAP3
00002ffd: SWAP2
00002ffe: POP
00002fff: POP
00003000: JUMP
00003001: JUMPDEST
00003002: PUSH32 0x4d696e7465723a20496e76616c6964204d65726b6c652050726f6f6600000000
00003023: PUSH1 0x00
00003025: DUP3
00003026: ADD
00003027: MSTORE
00003028: POP
00003029: JUMP
0000302a: JUMPDEST
0000302b: PUSH1 0x00
0000302d: PUSH2 0x3037
00003030: PUSH1 0x1c
00003032: DUP4
00003033: PUSH2 0x2e8f
00003036: JUMP
00003037: JUMPDEST
00003038: SWAP2
00003039: POP
0000303a: PUSH2 0x3042
0000303d: DUP3
0000303e: PUSH2 0x3001
00003041: JUMP
00003042: JUMPDEST
00003043: PUSH1 0x20
00003045: DUP3
00003046: ADD
00003047: SWAP1
00003048: POP
00003049: SWAP2
0000304a: SWAP1
0000304b: POP
0000304c: JUMP
0000304d: JUMPDEST
0000304e: PUSH1 0x00
00003050: PUSH1 0x20
00003052: DUP3
00003053: ADD
00003054: SWAP1
00003055: POP
00003056: DUP2
00003057: DUP2
00003058: SUB
00003059: PUSH1 0x00
0000305b: DUP4
0000305c: ADD
0000305d: MSTORE
0000305e: PUSH2 0x3066
00003061: DUP2
00003062: PUSH2 0x302a
00003065: JUMP
00003066: JUMPDEST
00003067: SWAP1
00003068: POP
00003069: SWAP2
0000306a: SWAP1
0000306b: POP
0000306c: JUMP
0000306d: JUMPDEST
0000306e: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000308f: PUSH1 0x00
00003091: MSTORE
00003092: PUSH1 0x11
00003094: PUSH1 0x04
00003096: MSTORE
00003097: PUSH1 0x24
00003099: PUSH1 0x00
0000309b: REVERT
0000309c: JUMPDEST
0000309d: PUSH1 0x00
0000309f: PUSH2 0x30a7
000030a2: DUP3
000030a3: PUSH2 0x2493
000030a6: JUMP
000030a7: JUMPDEST
000030a8: SWAP2
000030a9: POP
000030aa: PUSH2 0x30b2
000030ad: DUP4
000030ae: PUSH2 0x2493
000030b1: JUMP
000030b2: JUMPDEST
000030b3: SWAP3
000030b4: POP
000030b5: DUP3
000030b6: DUP3
000030b7: MUL
000030b8: PUSH2 0x30c0
000030bb: DUP2
000030bc: PUSH2 0x2493
000030bf: JUMP
000030c0: JUMPDEST
000030c1: SWAP2
000030c2: POP
000030c3: DUP3
000030c4: DUP3
000030c5: DIV
000030c6: DUP5
000030c7: EQ
000030c8: DUP4
000030c9: ISZERO
000030ca: OR
000030cb: PUSH2 0x30d7
000030ce: JUMPI
000030cf: PUSH2 0x30d6
000030d2: PUSH2 0x306d
000030d5: JUMP
000030d6: JUMPDEST
000030d7: JUMPDEST
000030d8: POP
000030d9: SWAP3
000030da: SWAP2
000030db: POP
000030dc: POP
000030dd: JUMP
000030de: JUMPDEST
000030df: PUSH32 0x4d696e7465723a20496e636f7272656374207061796d656e7420616d6f756e74
00003100: PUSH1 0x00
00003102: DUP3
00003103: ADD
00003104: MSTORE
00003105: POP
00003106: JUMP
00003107: JUMPDEST
00003108: PUSH1 0x00
0000310a: PUSH2 0x3114
0000310d: PUSH1 0x20
0000310f: DUP4
00003110: PUSH2 0x2e8f
00003113: JUMP
00003114: JUMPDEST
00003115: SWAP2
00003116: POP
00003117: PUSH2 0x311f
0000311a: DUP3
0000311b: PUSH2 0x30de
0000311e: JUMP
0000311f: JUMPDEST
00003120: PUSH1 0x20
00003122: DUP3
00003123: ADD
00003124: SWAP1
00003125: POP
00003126: SWAP2
00003127: SWAP1
00003128: POP
00003129: JUMP
0000312a: JUMPDEST
0000312b: PUSH1 0x00
0000312d: PUSH1 0x20
0000312f: DUP3
00003130: ADD
00003131: SWAP1
00003132: POP
00003133: DUP2
00003134: DUP2
00003135: SUB
00003136: PUSH1 0x00
00003138: DUP4
00003139: ADD
0000313a: MSTORE
0000313b: PUSH2 0x3143
0000313e: DUP2
0000313f: PUSH2 0x3107
00003142: JUMP
00003143: JUMPDEST
00003144: SWAP1
00003145: POP
00003146: SWAP2
00003147: SWAP1
00003148: POP
00003149: JUMP
0000314a: JUMPDEST
0000314b: PUSH32 0x4d696e7465723a20496e76616c6964206167656e742061646472657373000000
0000316c: PUSH1 0x00
0000316e: DUP3
0000316f: ADD
00003170: MSTORE
00003171: POP
00003172: JUMP
00003173: JUMPDEST
00003174: PUSH1 0x00
00003176: PUSH2 0x3180
00003179: PUSH1 0x1d
0000317b: DUP4
0000317c: PUSH2 0x2e8f
0000317f: JUMP
00003180: JUMPDEST
00003181: SWAP2
00003182: POP
00003183: PUSH2 0x318b
00003186: DUP3
00003187: PUSH2 0x314a
0000318a: JUMP
0000318b: JUMPDEST
0000318c: PUSH1 0x20
0000318e: DUP3
0000318f: ADD
00003190: SWAP1
00003191: POP
00003192: SWAP2
00003193: SWAP1
00003194: POP
00003195: JUMP
00003196: JUMPDEST
00003197: PUSH1 0x00
00003199: PUSH1 0x20
0000319b: DUP3
0000319c: ADD
0000319d: SWAP1
0000319e: POP
0000319f: DUP2
000031a0: DUP2
000031a1: SUB
000031a2: PUSH1 0x00
000031a4: DUP4
000031a5: ADD
000031a6: MSTORE
000031a7: PUSH2 0x31af
000031aa: DUP2
000031ab: PUSH2 0x3173
000031ae: JUMP
000031af: JUMPDEST
000031b0: SWAP1
000031b1: POP
000031b2: SWAP2
000031b3: SWAP1
000031b4: POP
000031b5: JUMP
000031b6: JUMPDEST
000031b7: PUSH32 0x4d696e7465723a20486f6c6465722073616c65206973206e6f74206163746976
000031d8: PUSH1 0x00
000031da: DUP3
000031db: ADD
000031dc: MSTORE
000031dd: PUSH32 0x6500000000000000000000000000000000000000000000000000000000000000
000031fe: PUSH1 0x20
00003200: DUP3
00003201: ADD
00003202: MSTORE
00003203: POP
00003204: JUMP
00003205: JUMPDEST
00003206: PUSH1 0x00
00003208: PUSH2 0x3212
0000320b: PUSH1 0x21
0000320d: DUP4
0000320e: PUSH2 0x2e8f
00003211: JUMP
00003212: JUMPDEST
00003213: SWAP2
00003214: POP
00003215: PUSH2 0x321d
00003218: DUP3
00003219: PUSH2 0x31b6
0000321c: JUMP
0000321d: JUMPDEST
0000321e: PUSH1 0x40
00003220: DUP3
00003221: ADD
00003222: SWAP1
00003223: POP
00003224: SWAP2
00003225: SWAP1
00003226: POP
00003227: JUMP
00003228: JUMPDEST
00003229: PUSH1 0x00
0000322b: PUSH1 0x20
0000322d: DUP3
0000322e: ADD
0000322f: SWAP1
00003230: POP
00003231: DUP2
00003232: DUP2
00003233: SUB
00003234: PUSH1 0x00
00003236: DUP4
00003237: ADD
00003238: MSTORE
00003239: PUSH2 0x3241
0000323c: DUP2
0000323d: PUSH2 0x3205
00003240: JUMP
00003241: JUMPDEST
00003242: SWAP1
00003243: POP
00003244: SWAP2
00003245: SWAP1
00003246: POP
00003247: JUMP
00003248: JUMPDEST
00003249: PUSH1 0x00
0000324b: PUSH2 0x3253
0000324e: DUP3
0000324f: PUSH2 0x2493
00003252: JUMP
00003253: JUMPDEST
00003254: SWAP2
00003255: POP
00003256: PUSH2 0x325e
00003259: DUP4
0000325a: PUSH2 0x2493
0000325d: JUMP
0000325e: JUMPDEST
0000325f: SWAP3
00003260: POP
00003261: DUP3
00003262: DUP3
00003263: ADD
00003264: SWAP1
00003265: POP
00003266: DUP1
00003267: DUP3
00003268: GT
00003269: ISZERO
0000326a: PUSH2 0x3276
0000326d: JUMPI
0000326e: PUSH2 0x3275
00003271: PUSH2 0x306d
00003274: JUMP
00003275: JUMPDEST
00003276: JUMPDEST
00003277: SWAP3
00003278: SWAP2
00003279: POP
0000327a: POP
0000327b: JUMP
0000327c: JUMPDEST
0000327d: PUSH32 0x4d696e7465723a204578636565647320746865206e756d626572206f66206d69
0000329e: PUSH1 0x00
000032a0: DUP3
000032a1: ADD
000032a2: MSTORE
000032a3: PUSH32 0x6e747320616c6c6f776564000000000000000000000000000000000000000000
000032c4: PUSH1 0x20
000032c6: DUP3
000032c7: ADD
000032c8: MSTORE
000032c9: POP
000032ca: JUMP
000032cb: JUMPDEST
000032cc: PUSH1 0x00
000032ce: PUSH2 0x32d8
000032d1: PUSH1 0x2b
000032d3: DUP4
000032d4: PUSH2 0x2e8f
000032d7: JUMP
000032d8: JUMPDEST
000032d9: SWAP2
000032da: POP
000032db: PUSH2 0x32e3
000032de: DUP3
000032df: PUSH2 0x327c
000032e2: JUMP
000032e3: JUMPDEST
000032e4: PUSH1 0x40
000032e6: DUP3
000032e7: ADD
000032e8: SWAP1
000032e9: POP
000032ea: SWAP2
000032eb: SWAP1
000032ec: POP
000032ed: JUMP
000032ee: JUMPDEST
000032ef: PUSH1 0x00
000032f1: PUSH1 0x20
000032f3: DUP3
000032f4: ADD
000032f5: SWAP1
000032f6: POP
000032f7: DUP2
000032f8: DUP2
000032f9: SUB
000032fa: PUSH1 0x00
000032fc: DUP4
000032fd: ADD
000032fe: MSTORE
000032ff: PUSH2 0x3307
00003302: DUP2
00003303: PUSH2 0x32cb
00003306: JUMP
00003307: JUMPDEST
00003308: SWAP1
00003309: POP
0000330a: SWAP2
0000330b: SWAP1
0000330c: POP
0000330d: JUMP
0000330e: JUMPDEST
0000330f: PUSH1 0x00
00003311: DUP2
00003312: SWAP1
00003313: POP
00003314: SWAP2
00003315: SWAP1
00003316: POP
00003317: JUMP
00003318: JUMPDEST
00003319: PUSH2 0x3329
0000331c: PUSH2 0x3324
0000331f: DUP3
00003320: PUSH2 0x2493
00003323: JUMP
00003324: JUMPDEST
00003325: PUSH2 0x330e
00003328: JUMP
00003329: JUMPDEST
0000332a: DUP3
0000332b: MSTORE
0000332c: POP
0000332d: POP
0000332e: JUMP
0000332f: JUMPDEST
00003330: PUSH1 0x00
00003332: PUSH2 0x333b
00003335: DUP3
00003336: DUP6
00003337: PUSH2 0x2fcf
0000333a: JUMP
0000333b: JUMPDEST
0000333c: PUSH1 0x14
0000333e: DUP3
0000333f: ADD
00003340: SWAP2
00003341: POP
00003342: PUSH2 0x334b
00003345: DUP3
00003346: DUP5
00003347: PUSH2 0x3318
0000334a: JUMP
0000334b: JUMPDEST
0000334c: PUSH1 0x20
0000334e: DUP3
0000334f: ADD
00003350: SWAP2
00003351: POP
00003352: DUP2
00003353: SWAP1
00003354: POP
00003355: SWAP4
00003356: SWAP3
00003357: POP
00003358: POP
00003359: POP
0000335a: JUMP
0000335b: JUMPDEST
0000335c: PUSH32 0x4d696e7465723a205075626c69632073616c65206973206e6f74206163746976
0000337d: PUSH1 0x00
0000337f: DUP3
00003380: ADD
00003381: MSTORE
00003382: PUSH32 0x6500000000000000000000000000000000000000000000000000000000000000
000033a3: PUSH1 0x20
000033a5: DUP3
000033a6: ADD
000033a7: MSTORE
000033a8: POP
000033a9: JUMP
000033aa: JUMPDEST
000033ab: PUSH1 0x00
000033ad: PUSH2 0x33b7
000033b0: PUSH1 0x21
000033b2: DUP4
000033b3: PUSH2 0x2e8f
000033b6: JUMP
000033b7: JUMPDEST
000033b8: SWAP2
000033b9: POP
000033ba: PUSH2 0x33c2
000033bd: DUP3
000033be: PUSH2 0x335b
000033c1: JUMP
000033c2: JUMPDEST
000033c3: PUSH1 0x40
000033c5: DUP3
000033c6: ADD
000033c7: SWAP1
000033c8: POP
000033c9: SWAP2
000033ca: SWAP1
000033cb: POP
000033cc: JUMP
000033cd: JUMPDEST
000033ce: PUSH1 0x00
000033d0: PUSH1 0x20
000033d2: DUP3
000033d3: ADD
000033d4: SWAP1
000033d5: POP
000033d6: DUP2
000033d7: DUP2
000033d8: SUB
000033d9: PUSH1 0x00
000033db: DUP4
000033dc: ADD
000033dd: MSTORE
000033de: PUSH2 0x33e6
000033e1: DUP2
000033e2: PUSH2 0x33aa
000033e5: JUMP
000033e6: JUMPDEST
000033e7: SWAP1
000033e8: POP
000033e9: SWAP2
000033ea: SWAP1
000033eb: POP
000033ec: JUMP
000033ed: JUMPDEST
000033ee: PUSH32 0x4d696e7465723a20496e76616c69642072656365697074206164647265737300
0000340f: PUSH1 0x00
00003411: DUP3
00003412: ADD
00003413: MSTORE
00003414: POP
00003415: JUMP
00003416: JUMPDEST
00003417: PUSH1 0x00
00003419: PUSH2 0x3423
0000341c: PUSH1 0x1f
0000341e: DUP4
0000341f: PUSH2 0x2e8f
00003422: JUMP
00003423: JUMPDEST
00003424: SWAP2
00003425: POP
00003426: PUSH2 0x342e
00003429: DUP3
0000342a: PUSH2 0x33ed
0000342d: JUMP
0000342e: JUMPDEST
0000342f: PUSH1 0x20
00003431: DUP3
00003432: ADD
00003433: SWAP1
00003434: POP
00003435: SWAP2
00003436: SWAP1
00003437: POP
00003438: JUMP
00003439: JUMPDEST
0000343a: PUSH1 0x00
0000343c: PUSH1 0x20
0000343e: DUP3
0000343f: ADD
00003440: SWAP1
00003441: POP
00003442: DUP2
00003443: DUP2
00003444: SUB
00003445: PUSH1 0x00
00003447: DUP4
00003448: ADD
00003449: MSTORE
0000344a: PUSH2 0x3452
0000344d: DUP2
0000344e: PUSH2 0x3416
00003451: JUMP
00003452: JUMPDEST
00003453: SWAP1
00003454: POP
00003455: SWAP2
00003456: SWAP1
00003457: POP
00003458: JUMP
00003459: JUMPDEST
0000345a: PUSH1 0x00
0000345c: DUP2
0000345d: MLOAD
0000345e: SWAP1
0000345f: POP
00003460: SWAP2
00003461: SWAP1
00003462: POP
00003463: JUMP
00003464: JUMPDEST
00003465: PUSH1 0x00
00003467: JUMPDEST
00003468: DUP4
00003469: DUP2
0000346a: LT
0000346b: ISZERO
0000346c: PUSH2 0x3482
0000346f: JUMPI
00003470: DUP1
00003471: DUP3
00003472: ADD
00003473: MLOAD
00003474: DUP2
00003475: DUP5
00003476: ADD
00003477: MSTORE
00003478: PUSH1 0x20
0000347a: DUP2
0000347b: ADD
0000347c: SWAP1
0000347d: POP
0000347e: PUSH2 0x3467
00003481: JUMP
00003482: JUMPDEST
00003483: PUSH1 0x00
00003485: DUP5
00003486: DUP5
00003487: ADD
00003488: MSTORE
00003489: POP
0000348a: POP
0000348b: POP
0000348c: POP
0000348d: JUMP
0000348e: JUMPDEST
0000348f: PUSH1 0x00
00003491: PUSH2 0x3499
00003494: DUP3
00003495: PUSH2 0x3459
00003498: JUMP
00003499: JUMPDEST
0000349a: PUSH2 0x34a3
0000349d: DUP2
0000349e: DUP6
0000349f: PUSH2 0x2e8f
000034a2: JUMP
000034a3: JUMPDEST
000034a4: SWAP4
000034a5: POP
000034a6: PUSH2 0x34b3
000034a9: DUP2
000034aa: DUP6
000034ab: PUSH1 0x20
000034ad: DUP7
000034ae: ADD
000034af: PUSH2 0x3464
000034b2: JUMP
000034b3: JUMPDEST
000034b4: PUSH2 0x34bc
000034b7: DUP2
000034b8: PUSH2 0x23db
000034bb: JUMP
000034bc: JUMPDEST
000034bd: DUP5
000034be: ADD
000034bf: SWAP2
000034c0: POP
000034c1: POP
000034c2: SWAP3
000034c3: SWAP2
000034c4: POP
000034c5: POP
000034c6: JUMP
000034c7: JUMPDEST
000034c8: PUSH1 0x00
000034ca: PUSH1 0x20
000034cc: DUP3
000034cd: ADD
000034ce: SWAP1
000034cf: POP
000034d0: DUP2
000034d1: DUP2
000034d2: SUB
000034d3: PUSH1 0x00
000034d5: DUP4
000034d6: ADD
000034d7: MSTORE
000034d8: PUSH2 0x34e1
000034db: DUP2
000034dc: DUP5
000034dd: PUSH2 0x348e
000034e0: JUMP
000034e1: JUMPDEST
000034e2: SWAP1
000034e3: POP
000034e4: SWAP3
000034e5: SWAP2
000034e6: POP
000034e7: POP
000034e8: JUMP
000034e9: JUMPDEST
000034ea: PUSH32 0x4d696e7465723a2043616e6e6f74207472616e73666572206f776e6572736869
0000350b: PUSH1 0x00
0000350d: DUP3
0000350e: ADD
0000350f: MSTORE
00003510: PUSH32 0x7020746f206120636f6e74726163740000000000000000000000000000000000
00003531: PUSH1 0x20
00003533: DUP3
00003534: ADD
00003535: MSTORE
00003536: POP
00003537: JUMP
00003538: JUMPDEST
00003539: PUSH1 0x00
0000353b: PUSH2 0x3545
0000353e: PUSH1 0x2f
00003540: DUP4
00003541: PUSH2 0x2e8f
00003544: JUMP
00003545: JUMPDEST
00003546: SWAP2
00003547: POP
00003548: PUSH2 0x3550
0000354b: DUP3
0000354c: PUSH2 0x34e9
0000354f: JUMP
00003550: JUMPDEST
00003551: PUSH1 0x40
00003553: DUP3
00003554: ADD
00003555: SWAP1
00003556: POP
00003557: SWAP2
00003558: SWAP1
00003559: POP
0000355a: JUMP
0000355b: JUMPDEST
0000355c: PUSH1 0x00
0000355e: PUSH1 0x20
00003560: DUP3
00003561: ADD
00003562: SWAP1
00003563: POP
00003564: DUP2
00003565: DUP2
00003566: SUB
00003567: PUSH1 0x00
00003569: DUP4
0000356a: ADD
0000356b: MSTORE
0000356c: PUSH2 0x3574
0000356f: DUP2
00003570: PUSH2 0x3538
00003573: JUMP
00003574: JUMPDEST
00003575: SWAP1
00003576: POP
00003577: SWAP2
00003578: SWAP1
00003579: POP
0000357a: JUMP
0000357b: JUMPDEST
0000357c: PUSH32 0x4d696e7465723a2053616c652069732061637469766500000000000000000000
0000359d: PUSH1 0x00
0000359f: DUP3
000035a0: ADD
000035a1: MSTORE
000035a2: POP
000035a3: JUMP
000035a4: JUMPDEST
000035a5: PUSH1 0x00
000035a7: PUSH2 0x35b1
000035aa: PUSH1 0x16
000035ac: DUP4
000035ad: PUSH2 0x2e8f
000035b0: JUMP
000035b1: JUMPDEST
000035b2: SWAP2
000035b3: POP
000035b4: PUSH2 0x35bc
000035b7: DUP3
000035b8: PUSH2 0x357b
000035bb: JUMP
000035bc: JUMPDEST
000035bd: PUSH1 0x20
000035bf: DUP3
000035c0: ADD
000035c1: SWAP1
000035c2: POP
000035c3: SWAP2
000035c4: SWAP1
000035c5: POP
000035c6: JUMP
000035c7: JUMPDEST
000035c8: PUSH1 0x00
000035ca: PUSH1 0x20
000035cc: DUP3
000035cd: ADD
000035ce: SWAP1
000035cf: POP
000035d0: DUP2
000035d1: DUP2
000035d2: SUB
000035d3: PUSH1 0x00
000035d5: DUP4
000035d6: ADD
000035d7: MSTORE
000035d8: PUSH2 0x35e0
000035db: DUP2
000035dc: PUSH2 0x35a4
000035df: JUMP
000035e0: JUMPDEST
000035e1: SWAP1
000035e2: POP
000035e3: SWAP2
000035e4: SWAP1
000035e5: POP
000035e6: JUMP
000035e7: JUMPDEST
000035e8: PUSH1 0x00
000035ea: PUSH1 0x40
000035ec: DUP3
000035ed: ADD
000035ee: SWAP1
000035ef: POP
000035f0: PUSH2 0x35fc
000035f3: PUSH1 0x00
000035f5: DUP4
000035f6: ADD
000035f7: DUP6
000035f8: PUSH2 0x2c7a
000035fb: JUMP
000035fc: JUMPDEST
000035fd: PUSH2 0x3609
00003600: PUSH1 0x20
00003602: DUP4
00003603: ADD
00003604: DUP5
00003605: PUSH2 0x29d6
00003608: JUMP
00003609: JUMPDEST
0000360a: SWAP4
0000360b: SWAP3
0000360c: POP
0000360d: POP
0000360e: POP
0000360f: JUMP
00003610: JUMPDEST
00003611: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00003632: PUSH1 0x00
00003634: DUP3
00003635: ADD
00003636: MSTORE
00003637: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000
00003658: PUSH1 0x20
0000365a: DUP3
0000365b: ADD
0000365c: MSTORE
0000365d: POP
0000365e: JUMP
0000365f: JUMPDEST
00003660: PUSH1 0x00
00003662: PUSH2 0x366c
00003665: PUSH1 0x26
00003667: DUP4
00003668: PUSH2 0x2e8f
0000366b: JUMP
0000366c: JUMPDEST
0000366d: SWAP2
0000366e: POP
0000366f: PUSH2 0x3677
00003672: DUP3
00003673: PUSH2 0x3610
00003676: JUMP
00003677: JUMPDEST
00003678: PUSH1 0x40
0000367a: DUP3
0000367b: ADD
0000367c: SWAP1
0000367d: POP
0000367e: SWAP2
0000367f: SWAP1
00003680: POP
00003681: JUMP
00003682: JUMPDEST
00003683: PUSH1 0x00
00003685: PUSH1 0x20
00003687: DUP3
00003688: ADD
00003689: SWAP1
0000368a: POP
0000368b: DUP2
0000368c: DUP2
0000368d: SUB
0000368e: PUSH1 0x00
00003690: DUP4
00003691: ADD
00003692: MSTORE
00003693: PUSH2 0x369b
00003696: DUP2
00003697: PUSH2 0x365f
0000369a: JUMP
0000369b: JUMPDEST
0000369c: SWAP1
0000369d: POP
0000369e: SWAP2
0000369f: SWAP1
000036a0: POP
000036a1: JUMP
000036a2: JUMPDEST
000036a3: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
000036c4: PUSH1 0x00
000036c6: DUP3
000036c7: ADD
000036c8: MSTORE
000036c9: POP
000036ca: JUMP
000036cb: JUMPDEST
000036cc: PUSH1 0x00
000036ce: PUSH2 0x36d8
000036d1: PUSH1 0x1f
000036d3: DUP4
000036d4: PUSH2 0x2e8f
000036d7: JUMP
000036d8: JUMPDEST
000036d9: SWAP2
000036da: POP
000036db: PUSH2 0x36e3
000036de: DUP3
000036df: PUSH2 0x36a2
000036e2: JUMP
000036e3: JUMPDEST
000036e4: PUSH1 0x20
000036e6: DUP3
000036e7: ADD
000036e8: SWAP1
000036e9: POP
000036ea: SWAP2
000036eb: SWAP1
000036ec: POP
000036ed: JUMP
000036ee: JUMPDEST
000036ef: PUSH1 0x00
000036f1: PUSH1 0x20
000036f3: DUP3
000036f4: ADD
000036f5: SWAP1
000036f6: POP
000036f7: DUP2
000036f8: DUP2
000036f9: SUB
000036fa: PUSH1 0x00
000036fc: DUP4
000036fd: ADD
000036fe: MSTORE
000036ff: PUSH2 0x3707
00003702: DUP2
00003703: PUSH2 0x36cb
00003706: JUMP
00003707: JUMPDEST
00003708: SWAP1
00003709: POP
0000370a: SWAP2
0000370b: SWAP1
0000370c: POP
0000370d: JUMP
0000370e: JUMPDEST
0000370f: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00003730: PUSH1 0x00
00003732: MSTORE
00003733: PUSH1 0x32
00003735: PUSH1 0x04
00003737: MSTORE
00003738: PUSH1 0x24
0000373a: PUSH1 0x00
0000373c: REVERT
0000373d: JUMPDEST
0000373e: PUSH1 0x00
00003740: PUSH2 0x3748
00003743: DUP3
00003744: PUSH2 0x2493
00003747: JUMP
00003748: JUMPDEST
00003749: SWAP2
0000374a: POP
0000374b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000376c: DUP3
0000376d: SUB
0000376e: PUSH2 0x377a
00003771: JUMPI
00003772: PUSH2 0x3779
00003775: PUSH2 0x306d
00003778: JUMP
00003779: JUMPDEST
0000377a: JUMPDEST
0000377b: PUSH1 0x01
0000377d: DUP3
0000377e: ADD
0000377f: SWAP1
00003780: POP
00003781: SWAP2
00003782: SWAP1
00003783: POP
00003784: JUMP
00003785: JUMPDEST
00003786: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000037a7: PUSH1 0x00
000037a9: DUP3
000037aa: ADD
000037ab: MSTORE
000037ac: POP
000037ad: JUMP
000037ae: JUMPDEST
000037af: PUSH1 0x00
000037b1: PUSH2 0x37bb
000037b4: PUSH1 0x20
000037b6: DUP4
000037b7: PUSH2 0x2e8f
000037ba: JUMP
000037bb: JUMPDEST
000037bc: SWAP2
000037bd: POP
000037be: PUSH2 0x37c6
000037c1: DUP3
000037c2: PUSH2 0x3785
000037c5: JUMP
000037c6: JUMPDEST
000037c7: PUSH1 0x20
000037c9: DUP3
000037ca: ADD
000037cb: SWAP1
000037cc: POP
000037cd: SWAP2
000037ce: SWAP1
000037cf: POP
000037d0: JUMP
000037d1: JUMPDEST
000037d2: PUSH1 0x00
000037d4: PUSH1 0x20
000037d6: DUP3
000037d7: ADD
000037d8: SWAP1
000037d9: POP
000037da: DUP2
000037db: DUP2
000037dc: SUB
000037dd: PUSH1 0x00
000037df: DUP4
000037e0: ADD
000037e1: MSTORE
000037e2: PUSH2 0x37ea
000037e5: DUP2
000037e6: PUSH2 0x37ae
000037e9: JUMP
000037ea: JUMPDEST
000037eb: SWAP1
000037ec: POP
000037ed: SWAP2
000037ee: SWAP1
000037ef: POP
000037f0: JUMP
000037f1: JUMPDEST
000037f2: PUSH1 0x00
000037f4: DUP2
000037f5: MLOAD
000037f6: SWAP1
000037f7: POP
000037f8: SWAP2
000037f9: SWAP1
000037fa: POP
000037fb: JUMP
000037fc: JUMPDEST
000037fd: PUSH1 0x00
000037ff: DUP3
00003800: DUP3
00003801: MSTORE
00003802: PUSH1 0x20
00003804: DUP3
00003805: ADD
00003806: SWAP1
00003807: POP
00003808: SWAP3
00003809: SWAP2
0000380a: POP
0000380b: POP
0000380c: JUMP
0000380d: JUMPDEST
0000380e: PUSH1 0x00
00003810: DUP2
00003811: SWAP1
00003812: POP
00003813: PUSH1 0x20
00003815: DUP3
00003816: ADD
00003817: SWAP1
00003818: POP
00003819: SWAP2
0000381a: SWAP1
0000381b: POP
0000381c: JUMP
0000381d: JUMPDEST
0000381e: PUSH2 0x3826
00003821: DUP2
00003822: PUSH2 0x2493
00003825: JUMP
00003826: JUMPDEST
00003827: DUP3
00003828: MSTORE
00003829: POP
0000382a: POP
0000382b: JUMP
0000382c: JUMPDEST
0000382d: PUSH1 0x00
0000382f: PUSH2 0x3838
00003832: DUP4
00003833: DUP4
00003834: PUSH2 0x381d
00003837: JUMP
00003838: JUMPDEST
00003839: PUSH1 0x20
0000383b: DUP4
0000383c: ADD
0000383d: SWAP1
0000383e: POP
0000383f: SWAP3
00003840: SWAP2
00003841: POP
00003842: POP
00003843: JUMP
00003844: JUMPDEST
00003845: PUSH1 0x00
00003847: PUSH1 0x20
00003849: DUP3
0000384a: ADD
0000384b: SWAP1
0000384c: POP
0000384d: SWAP2
0000384e: SWAP1
0000384f: POP
00003850: JUMP
00003851: JUMPDEST
00003852: PUSH1 0x00
00003854: PUSH2 0x385c
00003857: DUP3
00003858: PUSH2 0x37f1
0000385b: JUMP
0000385c: JUMPDEST
0000385d: PUSH2 0x3866
00003860: DUP2
00003861: DUP6
00003862: PUSH2 0x37fc
00003865: JUMP
00003866: JUMPDEST
00003867: SWAP4
00003868: POP
00003869: PUSH2 0x3871
0000386c: DUP4
0000386d: PUSH2 0x380d
00003870: JUMP
00003871: JUMPDEST
00003872: DUP1
00003873: PUSH1 0x00
00003875: JUMPDEST
00003876: DUP4
00003877: DUP2
00003878: LT
00003879: ISZERO
0000387a: PUSH2 0x38a2
0000387d: JUMPI
0000387e: DUP2
0000387f: MLOAD
00003880: PUSH2 0x3889
00003883: DUP9
00003884: DUP3
00003885: PUSH2 0x382c
00003888: JUMP
00003889: JUMPDEST
0000388a: SWAP8
0000388b: POP
0000388c: PUSH2 0x3894
0000388f: DUP4
00003890: PUSH2 0x3844
00003893: JUMP
00003894: JUMPDEST
00003895: SWAP3
00003896: POP
00003897: POP
00003898: PUSH1 0x01
0000389a: DUP2
0000389b: ADD
0000389c: SWAP1
0000389d: POP
0000389e: PUSH2 0x3875
000038a1: JUMP
000038a2: JUMPDEST
000038a3: POP
000038a4: DUP6
000038a5: SWAP4
000038a6: POP
000038a7: POP
000038a8: POP
000038a9: POP
000038aa: SWAP3
000038ab: SWAP2
000038ac: POP
000038ad: POP
000038ae: JUMP
000038af: JUMPDEST
000038b0: PUSH1 0x00
000038b2: PUSH1 0x20
000038b4: DUP3
000038b5: ADD
000038b6: SWAP1
000038b7: POP
000038b8: DUP2
000038b9: DUP2
000038ba: SUB
000038bb: PUSH1 0x00
000038bd: DUP4
000038be: ADD
000038bf: MSTORE
000038c0: PUSH2 0x38c9
000038c3: DUP2
000038c4: DUP5
000038c5: PUSH2 0x3851
000038c8: JUMP
000038c9: JUMPDEST
000038ca: SWAP1
000038cb: POP
000038cc: SWAP3
000038cd: SWAP2
000038ce: POP
000038cf: POP
000038d0: JUMP
000038d1: JUMPDEST
000038d2: PUSH1 0x00
000038d4: PUSH2 0x38dc
000038d7: DUP3
000038d8: PUSH2 0x2493
000038db: JUMP
000038dc: JUMPDEST
000038dd: SWAP2
000038de: POP
000038df: PUSH2 0x38e7
000038e2: DUP4
000038e3: PUSH2 0x2493
000038e6: JUMP
000038e7: JUMPDEST
000038e8: SWAP3
000038e9: POP
000038ea: DUP3
000038eb: DUP3
000038ec: SUB
000038ed: SWAP1
000038ee: POP
000038ef: DUP2
000038f0: DUP2
000038f1: GT
000038f2: ISZERO
000038f3: PUSH2 0x38ff
000038f6: JUMPI
000038f7: PUSH2 0x38fe
000038fa: PUSH2 0x306d
000038fd: JUMP
000038fe: JUMPDEST
000038ff: JUMPDEST
00003900: SWAP3
00003901: SWAP2
00003902: POP
00003903: POP
00003904: JUMP
00003905: JUMPDEST
00003906: PUSH1 0x00
00003908: DUP2
00003909: SWAP1
0000390a: POP
0000390b: SWAP2
0000390c: SWAP1
0000390d: POP
0000390e: JUMP
0000390f: JUMPDEST
00003910: PUSH2 0x3920
00003913: PUSH2 0x391b
00003916: DUP3
00003917: PUSH2 0x2744
0000391a: JUMP
0000391b: JUMPDEST
0000391c: PUSH2 0x3905
0000391f: JUMP
00003920: JUMPDEST
00003921: DUP3
00003922: MSTORE
00003923: POP
00003924: POP
00003925: JUMP
00003926: JUMPDEST
00003927: PUSH1 0x00
00003929: PUSH2 0x3932
0000392c: DUP3
0000392d: DUP8
0000392e: PUSH2 0x3318
00003931: JUMP
00003932: JUMPDEST
00003933: PUSH1 0x20
00003935: DUP3
00003936: ADD
00003937: SWAP2
00003938: POP
00003939: PUSH2 0x3942
0000393c: DUP3
0000393d: DUP7
0000393e: PUSH2 0x3318
00003941: JUMP
00003942: JUMPDEST
00003943: PUSH1 0x20
00003945: DUP3
00003946: ADD
00003947: SWAP2
00003948: POP
00003949: PUSH2 0x3952
0000394c: DUP3
0000394d: DUP6
0000394e: PUSH2 0x390f
00003951: JUMP
00003952: JUMPDEST
00003953: PUSH1 0x20
00003955: DUP3
00003956: ADD
00003957: SWAP2
00003958: POP
00003959: PUSH2 0x3962
0000395c: DUP3
0000395d: DUP5
0000395e: PUSH2 0x2fcf
00003961: JUMP
00003962: JUMPDEST
00003963: PUSH1 0x14
00003965: DUP3
00003966: ADD
00003967: SWAP2
00003968: POP
00003969: DUP2
0000396a: SWAP1
0000396b: POP
0000396c: SWAP6
0000396d: SWAP5
0000396e: POP
0000396f: POP
00003970: POP
00003971: POP
00003972: POP
00003973: JUMP
00003974: JUMPDEST
00003975: PUSH1 0x00
00003977: PUSH1 0x60
00003979: DUP3
0000397a: ADD
0000397b: SWAP1
0000397c: POP
0000397d: PUSH2 0x3989
00003980: PUSH1 0x00
00003982: DUP4
00003983: ADD
00003984: DUP7
00003985: PUSH2 0x2c7a
00003988: JUMP
00003989: JUMPDEST
0000398a: PUSH2 0x3996
0000398d: PUSH1 0x20
0000398f: DUP4
00003990: ADD
00003991: DUP6
00003992: PUSH2 0x2c7a
00003995: JUMP
00003996: JUMPDEST
00003997: PUSH2 0x39a3
0000399a: PUSH1 0x40
0000399c: DUP4
0000399d: ADD
0000399e: DUP5
0000399f: PUSH2 0x29d6
000039a2: JUMP
000039a3: JUMPDEST
000039a4: SWAP5
000039a5: SWAP4
000039a6: POP
000039a7: POP
000039a8: POP
000039a9: POP
000039aa: JUMP
000039ab: INVALID
000039ac: LOG2
000039ad: PUSH5 0x6970667358
000039b3: UNKNOWN(0x22)
000039b4: SLT
000039b5: KECCAK256
000039b6: SWAP11
000039b7: EXP
000039b8: PUSH3 0x7ff9bf
000039bc: UNKNOWN(0xEC)
000039bd: UNKNOWN(0x0F)
000039be: UNKNOWN(0xA8)
000039bf: UNKNOWN(0xAB)
000039c0: UNKNOWN(0xDB)
000039c1: UNKNOWN(0xAC)
000039c2: PUSH6 0x017f8053c3ee
000039c9: CALL
000039ca: SWAP4
000039cb: PUSH2 0xfca2
000039ce: UNKNOWN(0xDB)
000039cf: UNKNOWN(0xB7)
000039d0: UNKNOWN(0xCD)
000039d1: LOG3
000039d2: UNKNOWN(0xDF)
000039d3: UNKNOWN(0xB5)
000039d4: UNKNOWN(0x2D)
000039d5: EXTCODESIZE
000039d6: PUSH5 0x736f6c6343
000039dc: STOP
000039dd: ADDMOD
000039de: GT
000039df: STOP
000039e0: CALLER
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0xed27787dd2adf0171eac6d71aa8d318a2ead4adda0933d02553ebfc991db5b7a call_targets: 0x08f095520bbc7ab9f8351a1bf7f8c0084e1b0ff3 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xed27787dd2adf0171eac6d71aa8d318a2ead4adda0933d02553ebfc991db5b7a", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x08f095520bbc7ab9f8351a1bf7f8c0084e1b0ff3" ], "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": "0xdb2d7960", "selector": "0xdb2d7960", "calldata_variants": [ "0xdb2d7960", "0xdb2d79600000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe0d4ea37", "selector": "0xe0d4ea37", "calldata_variants": [ "0xe0d4ea37", "0xe0d4ea370000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xea58722b", "selector": "0xea58722b", "calldata_variants": [ "0xea58722b", "0xea58722b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xecabe15f", "selector": "0xecabe15f", "calldata_variants": [ "0xecabe15f", "0xecabe15f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb14ddef8", "selector": "0xb14ddef8", "calldata_variants": [ "0xb14ddef8", "0xb14ddef80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb7a70ee9", "selector": "0xb7a70ee9", "calldata_variants": [ "0xb7a70ee9", "0xb7a70ee90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd298bbda", "selector": "0xd298bbda", "calldata_variants": [ "0xd298bbda", "0xd298bbda0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 4891, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 5023, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 5175, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 11, "guards_detected": [ { "pc": 2569, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 3249, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 4361, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ], "untrusted_call_count": 11 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0xed27787dd2adf0171eac6d71aa8d318a2ead4adda0933d02553ebfc991db5b7a call_targets: 0x08f095520bbc7ab9f8351a1bf7f8c0084e1b0ff3 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xed27787dd2adf0171eac6d71aa8d318a2ead4adda0933d02553ebfc991db5b7a", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x08f095520bbc7ab9f8351a1bf7f8c0084e1b0ff3" ], "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": "0xdb2d7960", "selector": "0xdb2d7960", "calldata_variants": [ "0xdb2d7960", "0xdb2d79600000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe0d4ea37", "selector": "0xe0d4ea37", "calldata_variants": [ "0xe0d4ea37", "0xe0d4ea370000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xea58722b", "selector": "0xea58722b", "calldata_variants": [ "0xea58722b", "0xea58722b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xecabe15f", "selector": "0xecabe15f", "calldata_variants": [ "0xecabe15f", "0xecabe15f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb14ddef8", "selector": "0xb14ddef8", "calldata_variants": [ "0xb14ddef8", "0xb14ddef80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb7a70ee9", "selector": "0xb7a70ee9", "calldata_variants": [ "0xb7a70ee9", "0xb7a70ee90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd298bbda", "selector": "0xd298bbda", "calldata_variants": [ "0xd298bbda", "0xd298bbda0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 4891, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 5023, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 5175, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 11, "guards_detected": [ { "pc": 2569, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 3249, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 4361, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ] }
Severity