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

019b477e-c903-72c7-b86f-1b77801c752f
complete
Chain ID
Address
0x9a1a77cf312dd43d6da93c5ed5d2b4ef592e8962
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
26249	artifact.fetch	complete	1 / 3	3 months ago
26250	tool.cast_disasm	complete	1 / 3	3 months ago
112963	analysis.bundle	complete	1 / 3	1 week ago
112964	capability.graph	complete	1 / 3	1 week ago
112965	detector.run	complete	1 / 3	1 week ago
112966	validation.fork	complete	1 / 3	1 week 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
8061
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x026a
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x715018a6
00000019: GT
0000001a: PUSH2 0x0153
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xa2309ff8
00000024: GT
00000025: PUSH2 0x00cb
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xd26ea6c0
0000002f: GT
00000030: PUSH2 0x007f
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xef286e80
0000003a: GT
0000003b: PUSH2 0x0064
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xef286e80
00000045: EQ
00000046: PUSH2 0x06af
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf101e481
00000050: EQ
00000051: PUSH2 0x06d1
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf2fde38b
0000005b: EQ
0000005c: PUSH2 0x06e6
0000005f: JUMPI
00000060: PUSH1 0x00
00000062: DUP1
00000063: REVERT
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0xd26ea6c0
0000006b: EQ
0000006c: PUSH2 0x066f
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xe985e9c5
00000076: EQ
00000077: PUSH2 0x068f
0000007a: JUMPI
0000007b: PUSH1 0x00
0000007d: DUP1
0000007e: REVERT
0000007f: JUMPDEST
00000080: DUP1
00000081: PUSH4 0xc87b56dd
00000086: GT
00000087: PUSH2 0x00b0
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0xc87b56dd
00000091: EQ
00000092: PUSH2 0x0602
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0xcad96cca
0000009c: EQ
0000009d: PUSH2 0x0622
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xcd7c0326
000000a7: EQ
000000a8: PUSH2 0x064f
000000ab: JUMPI
000000ac: PUSH1 0x00
000000ae: DUP1
000000af: REVERT
000000b0: JUMPDEST
000000b1: DUP1
000000b2: PUSH4 0xa2309ff8
000000b7: EQ
000000b8: PUSH2 0x05cd
000000bb: JUMPI
000000bc: DUP1
000000bd: PUSH4 0xb88d4fde
000000c2: EQ
000000c3: PUSH2 0x05e2
000000c6: JUMPI
000000c7: PUSH1 0x00
000000c9: DUP1
000000ca: REVERT
000000cb: JUMPDEST
000000cc: DUP1
000000cd: PUSH4 0x8924af74
000000d2: GT
000000d3: PUSH2 0x0122
000000d6: JUMPI
000000d7: DUP1
000000d8: PUSH4 0x95d89b41
000000dd: GT
000000de: PUSH2 0x0107
000000e1: JUMPI
000000e2: DUP1
000000e3: PUSH4 0x95d89b41
000000e8: EQ
000000e9: PUSH2 0x0583
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0x9f3d1a2a
000000f3: EQ
000000f4: PUSH2 0x0598
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0xa22cb465
000000fe: EQ
000000ff: PUSH2 0x05ad
00000102: JUMPI
00000103: PUSH1 0x00
00000105: DUP1
00000106: REVERT
00000107: JUMPDEST
00000108: DUP1
00000109: PUSH4 0x8924af74
0000010e: EQ
0000010f: PUSH2 0x0519
00000112: JUMPI
00000113: DUP1
00000114: PUSH4 0x8da5cb5b
00000119: EQ
0000011a: PUSH2 0x0565
0000011d: JUMPI
0000011e: PUSH1 0x00
00000120: DUP1
00000121: REVERT
00000122: JUMPDEST
00000123: DUP1
00000124: PUSH4 0x715018a6
00000129: EQ
0000012a: PUSH2 0x04c7
0000012d: JUMPI
0000012e: DUP1
0000012f: PUSH4 0x71e9c74a
00000134: EQ
00000135: PUSH2 0x04dc
00000138: JUMPI
00000139: DUP1
0000013a: PUSH4 0x7cb64759
0000013f: EQ
00000140: PUSH2 0x04e4
00000143: JUMPI
00000144: DUP1
00000145: PUSH4 0x8456cb59
0000014a: EQ
0000014b: PUSH2 0x0504
0000014e: JUMPI
0000014f: PUSH1 0x00
00000151: DUP1
00000152: REVERT
00000153: JUMPDEST
00000154: DUP1
00000155: PUSH4 0x2a55205a
0000015a: GT
0000015b: PUSH2 0x01e6
0000015e: JUMPI
0000015f: DUP1
00000160: PUSH4 0x42842e0e
00000165: GT
00000166: PUSH2 0x01b5
00000169: JUMPI
0000016a: DUP1
0000016b: PUSH4 0x5c975abb
00000170: GT
00000171: PUSH2 0x019a
00000174: JUMPI
00000175: DUP1
00000176: PUSH4 0x5c975abb
0000017b: EQ
0000017c: PUSH2 0x0468
0000017f: JUMPI
00000180: DUP1
00000181: PUSH4 0x6352211e
00000186: EQ
00000187: PUSH2 0x0487
0000018a: JUMPI
0000018b: DUP1
0000018c: PUSH4 0x70a08231
00000191: EQ
00000192: PUSH2 0x04a7
00000195: JUMPI
00000196: PUSH1 0x00
00000198: DUP1
00000199: REVERT
0000019a: JUMPDEST
0000019b: DUP1
0000019c: PUSH4 0x42842e0e
000001a1: EQ
000001a2: PUSH2 0x0428
000001a5: JUMPI
000001a6: DUP1
000001a7: PUSH4 0x55f804b3
000001ac: EQ
000001ad: PUSH2 0x0448
000001b0: JUMPI
000001b1: PUSH1 0x00
000001b3: DUP1
000001b4: REVERT
000001b5: JUMPDEST
000001b6: DUP1
000001b7: PUSH4 0x2a55205a
000001bc: EQ
000001bd: PUSH2 0x039b
000001c0: JUMPI
000001c1: DUP1
000001c2: PUSH4 0x2eb4a7ab
000001c7: EQ
000001c8: PUSH2 0x03da
000001cb: JUMPI
000001cc: DUP1
000001cd: PUSH4 0x3ccfd60b
000001d2: EQ
000001d3: PUSH2 0x03fe
000001d6: JUMPI
000001d7: DUP1
000001d8: PUSH4 0x3f4ba83a
000001dd: EQ
000001de: PUSH2 0x0413
000001e1: JUMPI
000001e2: PUSH1 0x00
000001e4: DUP1
000001e5: REVERT
000001e6: JUMPDEST
000001e7: DUP1
000001e8: PUSH4 0x0b23d670
000001ed: GT
000001ee: PUSH2 0x023d
000001f1: JUMPI
000001f2: DUP1
000001f3: PUSH4 0x21860a05
000001f8: GT
000001f9: PUSH2 0x0222
000001fc: JUMPI
000001fd: DUP1
000001fe: PUSH4 0x21860a05
00000203: EQ
00000204: PUSH2 0x0353
00000207: JUMPI
00000208: DUP1
00000209: PUSH4 0x23b872dd
0000020e: EQ
0000020f: PUSH2 0x0373
00000212: JUMPI
00000213: DUP1
00000214: PUSH4 0x2413a702
00000219: EQ
0000021a: PUSH2 0x0393
0000021d: JUMPI
0000021e: PUSH1 0x00
00000220: DUP1
00000221: REVERT
00000222: JUMPDEST
00000223: DUP1
00000224: PUSH4 0x0b23d670
00000229: EQ
0000022a: PUSH2 0x0320
0000022d: JUMPI
0000022e: DUP1
0000022f: PUSH4 0x143094db
00000234: EQ
00000235: PUSH2 0x0333
00000238: JUMPI
00000239: PUSH1 0x00
0000023b: DUP1
0000023c: REVERT
0000023d: JUMPDEST
0000023e: DUP1
0000023f: PUSH4 0x01ffc9a7
00000244: EQ
00000245: PUSH2 0x026f
00000248: JUMPI
00000249: DUP1
0000024a: PUSH4 0x06fdde03
0000024f: EQ
00000250: PUSH2 0x02a4
00000253: JUMPI
00000254: DUP1
00000255: PUSH4 0x081812fc
0000025a: EQ
0000025b: PUSH2 0x02c6
0000025e: JUMPI
0000025f: DUP1
00000260: PUSH4 0x095ea7b3
00000265: EQ
00000266: PUSH2 0x02fe
00000269: JUMPI
0000026a: JUMPDEST
0000026b: PUSH1 0x00
0000026d: DUP1
0000026e: REVERT
0000026f: JUMPDEST
00000270: CALLVALUE
00000271: DUP1
00000272: ISZERO
00000273: PUSH2 0x027b
00000276: JUMPI
00000277: PUSH1 0x00
00000279: DUP1
0000027a: REVERT
0000027b: JUMPDEST
0000027c: POP
0000027d: PUSH2 0x028f
00000280: PUSH2 0x028a
00000283: CALLDATASIZE
00000284: PUSH1 0x04
00000286: PUSH2 0x3690
00000289: JUMP
0000028a: JUMPDEST
0000028b: PUSH2 0x0706
0000028e: JUMP
0000028f: JUMPDEST
00000290: PUSH1 0x40
00000292: MLOAD
00000293: SWAP1
00000294: ISZERO
00000295: ISZERO
00000296: DUP2
00000297: MSTORE
00000298: PUSH1 0x20
0000029a: ADD
0000029b: JUMPDEST
0000029c: PUSH1 0x40
0000029e: MLOAD
0000029f: DUP1
000002a0: SWAP2
000002a1: SUB
000002a2: SWAP1
000002a3: RETURN
000002a4: JUMPDEST
000002a5: CALLVALUE
000002a6: DUP1
000002a7: ISZERO
000002a8: PUSH2 0x02b0
000002ab: JUMPI
000002ac: PUSH1 0x00
000002ae: DUP1
000002af: REVERT
000002b0: JUMPDEST
000002b1: POP
000002b2: PUSH2 0x02b9
000002b5: PUSH2 0x07bb
000002b8: JUMP
000002b9: JUMPDEST
000002ba: PUSH1 0x40
000002bc: MLOAD
000002bd: PUSH2 0x029b
000002c0: SWAP2
000002c1: SWAP1
000002c2: PUSH2 0x3992
000002c5: JUMP
000002c6: JUMPDEST
000002c7: CALLVALUE
000002c8: DUP1
000002c9: ISZERO
000002ca: PUSH2 0x02d2
000002cd: JUMPI
000002ce: PUSH1 0x00
000002d0: DUP1
000002d1: REVERT
000002d2: JUMPDEST
000002d3: POP
000002d4: PUSH2 0x02e6
000002d7: PUSH2 0x02e1
000002da: CALLDATASIZE
000002db: PUSH1 0x04
000002dd: PUSH2 0x3678
000002e0: JUMP
000002e1: JUMPDEST
000002e2: PUSH2 0x084d
000002e5: JUMP
000002e6: JUMPDEST
000002e7: PUSH1 0x40
000002e9: MLOAD
000002ea: PUSH1 0x01
000002ec: PUSH1 0x01
000002ee: PUSH1 0xa0
000002f0: SHL
000002f1: SUB
000002f2: SWAP1
000002f3: SWAP2
000002f4: AND
000002f5: DUP2
000002f6: MSTORE
000002f7: PUSH1 0x20
000002f9: ADD
000002fa: PUSH2 0x029b
000002fd: JUMP
000002fe: JUMPDEST
000002ff: CALLVALUE
00000300: DUP1
00000301: ISZERO
00000302: PUSH2 0x030a
00000305: JUMPI
00000306: PUSH1 0x00
00000308: DUP1
00000309: REVERT
0000030a: JUMPDEST
0000030b: POP
0000030c: PUSH2 0x031e
0000030f: PUSH2 0x0319
00000312: CALLDATASIZE
00000313: PUSH1 0x04
00000315: PUSH2 0x35dd
00000318: JUMP
00000319: JUMPDEST
0000031a: PUSH2 0x08f8
0000031d: JUMP
0000031e: JUMPDEST
0000031f: STOP
00000320: JUMPDEST
00000321: PUSH2 0x031e
00000324: PUSH2 0x032e
00000327: CALLDATASIZE
00000328: PUSH1 0x04
0000032a: PUSH2 0x3608
0000032d: JUMP
0000032e: JUMPDEST
0000032f: PUSH2 0x0a2a
00000332: JUMP
00000333: JUMPDEST
00000334: CALLVALUE
00000335: DUP1
00000336: ISZERO
00000337: PUSH2 0x033f
0000033a: JUMPI
0000033b: PUSH1 0x00
0000033d: DUP1
0000033e: REVERT
0000033f: JUMPDEST
00000340: POP
00000341: PUSH2 0x031e
00000344: PUSH2 0x034e
00000347: CALLDATASIZE
00000348: PUSH1 0x04
0000034a: PUSH2 0x372a
0000034d: JUMP
0000034e: JUMPDEST
0000034f: PUSH2 0x0d9c
00000352: JUMP
00000353: JUMPDEST
00000354: CALLVALUE
00000355: DUP1
00000356: ISZERO
00000357: PUSH2 0x035f
0000035a: JUMPI
0000035b: PUSH1 0x00
0000035d: DUP1
0000035e: REVERT
0000035f: JUMPDEST
00000360: POP
00000361: PUSH2 0x031e
00000364: PUSH2 0x036e
00000367: CALLDATASIZE
00000368: PUSH1 0x04
0000036a: PUSH2 0x349b
0000036d: JUMP
0000036e: JUMPDEST
0000036f: PUSH2 0x0e01
00000372: JUMP
00000373: JUMPDEST
00000374: CALLVALUE
00000375: DUP1
00000376: ISZERO
00000377: PUSH2 0x037f
0000037a: JUMPI
0000037b: PUSH1 0x00
0000037d: DUP1
0000037e: REVERT
0000037f: JUMPDEST
00000380: POP
00000381: PUSH2 0x031e
00000384: PUSH2 0x038e
00000387: CALLDATASIZE
00000388: PUSH1 0x04
0000038a: PUSH2 0x34ef
0000038d: JUMP
0000038e: JUMPDEST
0000038f: PUSH2 0x10ac
00000392: JUMP
00000393: JUMPDEST
00000394: PUSH2 0x031e
00000397: PUSH2 0x1133
0000039a: JUMP
0000039b: JUMPDEST
0000039c: CALLVALUE
0000039d: DUP1
0000039e: ISZERO
0000039f: PUSH2 0x03a7
000003a2: JUMPI
000003a3: PUSH1 0x00
000003a5: DUP1
000003a6: REVERT
000003a7: JUMPDEST
000003a8: POP
000003a9: PUSH2 0x03bb
000003ac: PUSH2 0x03b6
000003af: CALLDATASIZE
000003b0: PUSH1 0x04
000003b2: PUSH2 0x377b
000003b5: JUMP
000003b6: JUMPDEST
000003b7: PUSH2 0x1202
000003ba: JUMP
000003bb: JUMPDEST
000003bc: PUSH1 0x40
000003be: DUP1
000003bf: MLOAD
000003c0: PUSH1 0x01
000003c2: PUSH1 0x01
000003c4: PUSH1 0xa0
000003c6: SHL
000003c7: SUB
000003c8: SWAP1
000003c9: SWAP4
000003ca: AND
000003cb: DUP4
000003cc: MSTORE
000003cd: PUSH1 0x20
000003cf: DUP4
000003d0: ADD
000003d1: SWAP2
000003d2: SWAP1
000003d3: SWAP2
000003d4: MSTORE
000003d5: ADD
000003d6: PUSH2 0x029b
000003d9: JUMP
000003da: JUMPDEST
000003db: CALLVALUE
000003dc: DUP1
000003dd: ISZERO
000003de: PUSH2 0x03e6
000003e1: JUMPI
000003e2: PUSH1 0x00
000003e4: DUP1
000003e5: REVERT
000003e6: JUMPDEST
000003e7: POP
000003e8: PUSH2 0x03f0
000003eb: PUSH1 0x0a
000003ed: SLOAD
000003ee: DUP2
000003ef: JUMP
000003f0: JUMPDEST
000003f1: PUSH1 0x40
000003f3: MLOAD
000003f4: SWAP1
000003f5: DUP2
000003f6: MSTORE
000003f7: PUSH1 0x20
000003f9: ADD
000003fa: PUSH2 0x029b
000003fd: JUMP
000003fe: JUMPDEST
000003ff: CALLVALUE
00000400: DUP1
00000401: ISZERO
00000402: PUSH2 0x040a
00000405: JUMPI
00000406: PUSH1 0x00
00000408: DUP1
00000409: REVERT
0000040a: JUMPDEST
0000040b: POP
0000040c: PUSH2 0x031e
0000040f: PUSH2 0x132e
00000412: JUMP
00000413: JUMPDEST
00000414: CALLVALUE
00000415: DUP1
00000416: ISZERO
00000417: PUSH2 0x041f
0000041a: JUMPI
0000041b: PUSH1 0x00
0000041d: DUP1
0000041e: REVERT
0000041f: JUMPDEST
00000420: POP
00000421: PUSH2 0x031e
00000424: PUSH2 0x1422
00000427: JUMP
00000428: JUMPDEST
00000429: CALLVALUE
0000042a: DUP1
0000042b: ISZERO
0000042c: PUSH2 0x0434
0000042f: JUMPI
00000430: PUSH1 0x00
00000432: DUP1
00000433: REVERT
00000434: JUMPDEST
00000435: POP
00000436: PUSH2 0x031e
00000439: PUSH2 0x0443
0000043c: CALLDATASIZE
0000043d: PUSH1 0x04
0000043f: PUSH2 0x34ef
00000442: JUMP
00000443: JUMPDEST
00000444: PUSH2 0x1484
00000447: JUMP
00000448: JUMPDEST
00000449: CALLVALUE
0000044a: DUP1
0000044b: ISZERO
0000044c: PUSH2 0x0454
0000044f: JUMPI
00000450: PUSH1 0x00
00000452: DUP1
00000453: REVERT
00000454: JUMPDEST
00000455: POP
00000456: PUSH2 0x031e
00000459: PUSH2 0x0463
0000045c: CALLDATASIZE
0000045d: PUSH1 0x04
0000045f: PUSH2 0x36e4
00000462: JUMP
00000463: JUMPDEST
00000464: PUSH2 0x149f
00000467: JUMP
00000468: JUMPDEST
00000469: CALLVALUE
0000046a: DUP1
0000046b: ISZERO
0000046c: PUSH2 0x0474
0000046f: JUMPI
00000470: PUSH1 0x00
00000472: DUP1
00000473: REVERT
00000474: JUMPDEST
00000475: POP
00000476: PUSH1 0x06
00000478: SLOAD
00000479: PUSH1 0x01
0000047b: PUSH1 0xa0
0000047d: SHL
0000047e: SWAP1
0000047f: DIV
00000480: PUSH1 0xff
00000482: AND
00000483: PUSH2 0x028f
00000486: JUMP
00000487: JUMPDEST
00000488: CALLVALUE
00000489: DUP1
0000048a: ISZERO
0000048b: PUSH2 0x0493
0000048e: JUMPI
0000048f: PUSH1 0x00
00000491: DUP1
00000492: REVERT
00000493: JUMPDEST
00000494: POP
00000495: PUSH2 0x02e6
00000498: PUSH2 0x04a2
0000049b: CALLDATASIZE
0000049c: PUSH1 0x04
0000049e: PUSH2 0x3678
000004a1: JUMP
000004a2: JUMPDEST
000004a3: PUSH2 0x1566
000004a6: JUMP
000004a7: JUMPDEST
000004a8: CALLVALUE
000004a9: DUP1
000004aa: ISZERO
000004ab: PUSH2 0x04b3
000004ae: JUMPI
000004af: PUSH1 0x00
000004b1: DUP1
000004b2: REVERT
000004b3: JUMPDEST
000004b4: POP
000004b5: PUSH2 0x03f0
000004b8: PUSH2 0x04c2
000004bb: CALLDATASIZE
000004bc: PUSH1 0x04
000004be: PUSH2 0x349b
000004c1: JUMP
000004c2: JUMPDEST
000004c3: PUSH2 0x15f1
000004c6: JUMP
000004c7: JUMPDEST
000004c8: CALLVALUE
000004c9: DUP1
000004ca: ISZERO
000004cb: PUSH2 0x04d3
000004ce: JUMPI
000004cf: PUSH1 0x00
000004d1: DUP1
000004d2: REVERT
000004d3: JUMPDEST
000004d4: POP
000004d5: PUSH2 0x031e
000004d8: PUSH2 0x168b
000004db: JUMP
000004dc: JUMPDEST
000004dd: PUSH2 0x031e
000004e0: PUSH2 0x16ef
000004e3: JUMP
000004e4: JUMPDEST
000004e5: CALLVALUE
000004e6: DUP1
000004e7: ISZERO
000004e8: PUSH2 0x04f0
000004eb: JUMPI
000004ec: PUSH1 0x00
000004ee: DUP1
000004ef: REVERT
000004f0: JUMPDEST
000004f1: POP
000004f2: PUSH2 0x031e
000004f5: PUSH2 0x04ff
000004f8: CALLDATASIZE
000004f9: PUSH1 0x04
000004fb: PUSH2 0x3678
000004fe: JUMP
000004ff: JUMPDEST
00000500: PUSH2 0x17bc
00000503: JUMP
00000504: JUMPDEST
00000505: CALLVALUE
00000506: DUP1
00000507: ISZERO
00000508: PUSH2 0x0510
0000050b: JUMPI
0000050c: PUSH1 0x00
0000050e: DUP1
0000050f: REVERT
00000510: JUMPDEST
00000511: POP
00000512: PUSH2 0x031e
00000515: PUSH2 0x1875
00000518: JUMP
00000519: JUMPDEST
0000051a: CALLVALUE
0000051b: DUP1
0000051c: ISZERO
0000051d: PUSH2 0x0525
00000520: JUMPI
00000521: PUSH1 0x00
00000523: DUP1
00000524: REVERT
00000525: JUMPDEST
00000526: POP
00000527: PUSH2 0x0539
0000052a: PUSH2 0x0534
0000052d: CALLDATASIZE
0000052e: PUSH1 0x04
00000530: PUSH2 0x377b
00000533: JUMP
00000534: JUMPDEST
00000535: PUSH2 0x18d7
00000538: JUMP
00000539: JUMPDEST
0000053a: PUSH1 0x40
0000053c: DUP1
0000053d: MLOAD
0000053e: PUSH1 0x01
00000540: PUSH1 0x01
00000542: PUSH1 0xa0
00000544: SHL
00000545: SUB
00000546: SWAP1
00000547: SWAP4
00000548: AND
00000549: DUP4
0000054a: MSTORE
0000054b: PUSH12 0xffffffffffffffffffffffff
00000558: SWAP1
00000559: SWAP2
0000055a: AND
0000055b: PUSH1 0x20
0000055d: DUP4
0000055e: ADD
0000055f: MSTORE
00000560: ADD
00000561: PUSH2 0x029b
00000564: JUMP
00000565: JUMPDEST
00000566: CALLVALUE
00000567: DUP1
00000568: ISZERO
00000569: PUSH2 0x0571
0000056c: JUMPI
0000056d: PUSH1 0x00
0000056f: DUP1
00000570: REVERT
00000571: JUMPDEST
00000572: POP
00000573: PUSH1 0x06
00000575: SLOAD
00000576: PUSH1 0x01
00000578: PUSH1 0x01
0000057a: PUSH1 0xa0
0000057c: SHL
0000057d: SUB
0000057e: AND
0000057f: PUSH2 0x02e6
00000582: JUMP
00000583: JUMPDEST
00000584: CALLVALUE
00000585: DUP1
00000586: ISZERO
00000587: PUSH2 0x058f
0000058a: JUMPI
0000058b: PUSH1 0x00
0000058d: DUP1
0000058e: REVERT
0000058f: JUMPDEST
00000590: POP
00000591: PUSH2 0x02b9
00000594: PUSH2 0x1925
00000597: JUMP
00000598: JUMPDEST
00000599: CALLVALUE
0000059a: DUP1
0000059b: ISZERO
0000059c: PUSH2 0x05a4
0000059f: JUMPI
000005a0: PUSH1 0x00
000005a2: DUP1
000005a3: REVERT
000005a4: JUMPDEST
000005a5: POP
000005a6: PUSH2 0x02b9
000005a9: PUSH2 0x1934
000005ac: JUMP
000005ad: JUMPDEST
000005ae: CALLVALUE
000005af: DUP1
000005b0: ISZERO
000005b1: PUSH2 0x05b9
000005b4: JUMPI
000005b5: PUSH1 0x00
000005b7: DUP1
000005b8: REVERT
000005b9: JUMPDEST
000005ba: POP
000005bb: PUSH2 0x031e
000005be: PUSH2 0x05c8
000005c1: CALLDATASIZE
000005c2: PUSH1 0x04
000005c4: PUSH2 0x35ac
000005c7: JUMP
000005c8: JUMPDEST
000005c9: PUSH2 0x19c2
000005cc: JUMP
000005cd: JUMPDEST
000005ce: CALLVALUE
000005cf: DUP1
000005d0: ISZERO
000005d1: PUSH2 0x05d9
000005d4: JUMPI
000005d5: PUSH1 0x00
000005d7: DUP1
000005d8: REVERT
000005d9: JUMPDEST
000005da: POP
000005db: PUSH2 0x03f0
000005de: PUSH2 0x19cd
000005e1: JUMP
000005e2: JUMPDEST
000005e3: CALLVALUE
000005e4: DUP1
000005e5: ISZERO
000005e6: PUSH2 0x05ee
000005e9: JUMPI
000005ea: PUSH1 0x00
000005ec: DUP1
000005ed: REVERT
000005ee: JUMPDEST
000005ef: POP
000005f0: PUSH2 0x031e
000005f3: PUSH2 0x05fd
000005f6: CALLDATASIZE
000005f7: PUSH1 0x04
000005f9: PUSH2 0x352f
000005fc: JUMP
000005fd: JUMPDEST
000005fe: PUSH2 0x19e9
00000601: JUMP
00000602: JUMPDEST
00000603: CALLVALUE
00000604: DUP1
00000605: ISZERO
00000606: PUSH2 0x060e
00000609: JUMPI
0000060a: PUSH1 0x00
0000060c: DUP1
0000060d: REVERT
0000060e: JUMPDEST
0000060f: POP
00000610: PUSH2 0x02b9
00000613: PUSH2 0x061d
00000616: CALLDATASIZE
00000617: PUSH1 0x04
00000619: PUSH2 0x3678
0000061c: JUMP
0000061d: JUMPDEST
0000061e: PUSH2 0x1a71
00000621: JUMP
00000622: JUMPDEST
00000623: CALLVALUE
00000624: DUP1
00000625: ISZERO
00000626: PUSH2 0x062e
00000629: JUMPI
0000062a: PUSH1 0x00
0000062c: DUP1
0000062d: REVERT
0000062e: JUMPDEST
0000062f: POP
00000630: PUSH2 0x0642
00000633: PUSH2 0x063d
00000636: CALLDATASIZE
00000637: PUSH1 0x04
00000639: PUSH2 0x3678
0000063c: JUMP
0000063d: JUMPDEST
0000063e: PUSH2 0x1b47
00000641: JUMP
00000642: JUMPDEST
00000643: PUSH1 0x40
00000645: MLOAD
00000646: PUSH2 0x029b
00000649: SWAP2
0000064a: SWAP1
0000064b: PUSH2 0x394e
0000064e: JUMP
0000064f: JUMPDEST
00000650: CALLVALUE
00000651: DUP1
00000652: ISZERO
00000653: PUSH2 0x065b
00000656: JUMPI
00000657: PUSH1 0x00
00000659: DUP1
0000065a: REVERT
0000065b: JUMPDEST
0000065c: POP
0000065d: PUSH1 0x0b
0000065f: SLOAD
00000660: PUSH2 0x02e6
00000663: SWAP1
00000664: PUSH1 0x01
00000666: PUSH1 0x01
00000668: PUSH1 0xa0
0000066a: SHL
0000066b: SUB
0000066c: AND
0000066d: DUP2
0000066e: JUMP
0000066f: JUMPDEST
00000670: CALLVALUE
00000671: DUP1
00000672: ISZERO
00000673: PUSH2 0x067b
00000676: JUMPI
00000677: PUSH1 0x00
00000679: DUP1
0000067a: REVERT
0000067b: JUMPDEST
0000067c: POP
0000067d: PUSH2 0x031e
00000680: PUSH2 0x068a
00000683: CALLDATASIZE
00000684: PUSH1 0x04
00000686: PUSH2 0x349b
00000689: JUMP
0000068a: JUMPDEST
0000068b: PUSH2 0x1bdb
0000068e: JUMP
0000068f: JUMPDEST
00000690: CALLVALUE
00000691: DUP1
00000692: ISZERO
00000693: PUSH2 0x069b
00000696: JUMPI
00000697: PUSH1 0x00
00000699: DUP1
0000069a: REVERT
0000069b: JUMPDEST
0000069c: POP
0000069d: PUSH2 0x028f
000006a0: PUSH2 0x06aa
000006a3: CALLDATASIZE
000006a4: PUSH1 0x04
000006a6: PUSH2 0x34b7
000006a9: JUMP
000006aa: JUMPDEST
000006ab: PUSH2 0x1cc9
000006ae: JUMP
000006af: JUMPDEST
000006b0: CALLVALUE
000006b1: DUP1
000006b2: ISZERO
000006b3: PUSH2 0x06bb
000006b6: JUMPI
000006b7: PUSH1 0x00
000006b9: DUP1
000006ba: REVERT
000006bb: JUMPDEST
000006bc: POP
000006bd: PUSH2 0x06c4
000006c0: PUSH2 0x1dc4
000006c3: JUMP
000006c4: JUMPDEST
000006c5: PUSH1 0x40
000006c7: MLOAD
000006c8: PUSH2 0x029b
000006cb: SWAP2
000006cc: SWAP1
000006cd: PUSH2 0x3961
000006d0: JUMP
000006d1: JUMPDEST
000006d2: CALLVALUE
000006d3: DUP1
000006d4: ISZERO
000006d5: PUSH2 0x06dd
000006d8: JUMPI
000006d9: PUSH1 0x00
000006db: DUP1
000006dc: REVERT
000006dd: JUMPDEST
000006de: POP
000006df: PUSH2 0x03f0
000006e2: PUSH2 0x1e83
000006e5: JUMP
000006e6: JUMPDEST
000006e7: CALLVALUE
000006e8: DUP1
000006e9: ISZERO
000006ea: PUSH2 0x06f2
000006ed: JUMPI
000006ee: PUSH1 0x00
000006f0: DUP1
000006f1: REVERT
000006f2: JUMPDEST
000006f3: POP
000006f4: PUSH2 0x031e
000006f7: PUSH2 0x0701
000006fa: CALLDATASIZE
000006fb: PUSH1 0x04
000006fd: PUSH2 0x349b
00000700: JUMP
00000701: JUMPDEST
00000702: PUSH2 0x1e8e
00000705: JUMP
00000706: JUMPDEST
00000707: PUSH1 0x00
00000709: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
0000072a: DUP3
0000072b: AND
0000072c: PUSH32 0x44c74bcc00000000000000000000000000000000000000000000000000000000
0000074d: EQ
0000074e: ISZERO
0000074f: PUSH2 0x075a
00000752: JUMPI
00000753: POP
00000754: PUSH1 0x01
00000756: SWAP2
00000757: SWAP1
00000758: POP
00000759: JUMP
0000075a: JUMPDEST
0000075b: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
0000077c: DUP3
0000077d: AND
0000077e: PUSH32 0x2a55205a00000000000000000000000000000000000000000000000000000000
0000079f: EQ
000007a0: ISZERO
000007a1: PUSH2 0x07ac
000007a4: JUMPI
000007a5: POP
000007a6: PUSH1 0x01
000007a8: SWAP2
000007a9: SWAP1
000007aa: POP
000007ab: JUMP
000007ac: JUMPDEST
000007ad: PUSH2 0x07b5
000007b0: DUP3
000007b1: PUSH2 0x1f79
000007b4: JUMP
000007b5: JUMPDEST
000007b6: SWAP3
000007b7: SWAP2
000007b8: POP
000007b9: POP
000007ba: JUMP
000007bb: JUMPDEST
000007bc: PUSH1 0x60
000007be: PUSH1 0x00
000007c0: DUP1
000007c1: SLOAD
000007c2: PUSH2 0x07ca
000007c5: SWAP1
000007c6: PUSH2 0x3a96
000007c9: JUMP
000007ca: JUMPDEST
000007cb: DUP1
000007cc: PUSH1 0x1f
000007ce: ADD
000007cf: PUSH1 0x20
000007d1: DUP1
000007d2: SWAP2
000007d3: DIV
000007d4: MUL
000007d5: PUSH1 0x20
000007d7: ADD
000007d8: PUSH1 0x40
000007da: MLOAD
000007db: SWAP1
000007dc: DUP2
000007dd: ADD
000007de: PUSH1 0x40
000007e0: MSTORE
000007e1: DUP1
000007e2: SWAP3
000007e3: SWAP2
000007e4: SWAP1
000007e5: DUP2
000007e6: DUP2
000007e7: MSTORE
000007e8: PUSH1 0x20
000007ea: ADD
000007eb: DUP3
000007ec: DUP1
000007ed: SLOAD
000007ee: PUSH2 0x07f6
000007f1: SWAP1
000007f2: PUSH2 0x3a96
000007f5: JUMP
000007f6: JUMPDEST
000007f7: DUP1
000007f8: ISZERO
000007f9: PUSH2 0x0843
000007fc: JUMPI
000007fd: DUP1
000007fe: PUSH1 0x1f
00000800: LT
00000801: PUSH2 0x0818
00000804: JUMPI
00000805: PUSH2 0x0100
00000808: DUP1
00000809: DUP4
0000080a: SLOAD
0000080b: DIV
0000080c: MUL
0000080d: DUP4
0000080e: MSTORE
0000080f: SWAP2
00000810: PUSH1 0x20
00000812: ADD
00000813: SWAP2
00000814: PUSH2 0x0843
00000817: JUMP
00000818: JUMPDEST
00000819: DUP3
0000081a: ADD
0000081b: SWAP2
0000081c: SWAP1
0000081d: PUSH1 0x00
0000081f: MSTORE
00000820: PUSH1 0x20
00000822: PUSH1 0x00
00000824: KECCAK256
00000825: SWAP1
00000826: JUMPDEST
00000827: DUP2
00000828: SLOAD
00000829: DUP2
0000082a: MSTORE
0000082b: SWAP1
0000082c: PUSH1 0x01
0000082e: ADD
0000082f: SWAP1
00000830: PUSH1 0x20
00000832: ADD
00000833: DUP1
00000834: DUP4
00000835: GT
00000836: PUSH2 0x0826
00000839: JUMPI
0000083a: DUP3
0000083b: SWAP1
0000083c: SUB
0000083d: PUSH1 0x1f
0000083f: AND
00000840: DUP3
00000841: ADD
00000842: SWAP2
00000843: JUMPDEST
00000844: POP
00000845: POP
00000846: POP
00000847: POP
00000848: POP
00000849: SWAP1
0000084a: POP
0000084b: SWAP1
0000084c: JUMP
0000084d: JUMPDEST
0000084e: PUSH1 0x00
00000850: DUP2
00000851: DUP2
00000852: MSTORE
00000853: PUSH1 0x02
00000855: PUSH1 0x20
00000857: MSTORE
00000858: PUSH1 0x40
0000085a: DUP2
0000085b: KECCAK256
0000085c: SLOAD
0000085d: PUSH1 0x01
0000085f: PUSH1 0x01
00000861: PUSH1 0xa0
00000863: SHL
00000864: SUB
00000865: AND
00000866: PUSH2 0x08dc
00000869: JUMPI
0000086a: PUSH1 0x40
0000086c: MLOAD
0000086d: PUSH3 0x461bcd
00000871: PUSH1 0xe5
00000873: SHL
00000874: DUP2
00000875: MSTORE
00000876: PUSH1 0x20
00000878: PUSH1 0x04
0000087a: DUP3
0000087b: ADD
0000087c: MSTORE
0000087d: PUSH1 0x2c
0000087f: PUSH1 0x24
00000881: DUP3
00000882: ADD
00000883: MSTORE
00000884: PUSH32 0x4552433732313a20617070726f76656420717565727920666f72206e6f6e6578
000008a5: PUSH1 0x44
000008a7: DUP3
000008a8: ADD
000008a9: MSTORE
000008aa: PUSH32 0x697374656e7420746f6b656e0000000000000000000000000000000000000000
000008cb: PUSH1 0x64
000008cd: DUP3
000008ce: ADD
000008cf: MSTORE
000008d0: PUSH1 0x84
000008d2: ADD
000008d3: JUMPDEST
000008d4: PUSH1 0x40
000008d6: MLOAD
000008d7: DUP1
000008d8: SWAP2
000008d9: SUB
000008da: SWAP1
000008db: REVERT
000008dc: JUMPDEST
000008dd: POP
000008de: PUSH1 0x00
000008e0: SWAP1
000008e1: DUP2
000008e2: MSTORE
000008e3: PUSH1 0x04
000008e5: PUSH1 0x20
000008e7: MSTORE
000008e8: PUSH1 0x40
000008ea: SWAP1
000008eb: KECCAK256
000008ec: SLOAD
000008ed: PUSH1 0x01
000008ef: PUSH1 0x01
000008f1: PUSH1 0xa0
000008f3: SHL
000008f4: SUB
000008f5: AND
000008f6: SWAP1
000008f7: JUMP
000008f8: JUMPDEST
000008f9: PUSH1 0x00
000008fb: PUSH2 0x0903
000008fe: DUP3
000008ff: PUSH2 0x1566
00000902: JUMP
00000903: JUMPDEST
00000904: SWAP1
00000905: POP
00000906: DUP1
00000907: PUSH1 0x01
00000909: PUSH1 0x01
0000090b: PUSH1 0xa0
0000090d: SHL
0000090e: SUB
0000090f: AND
00000910: DUP4
00000911: PUSH1 0x01
00000913: PUSH1 0x01
00000915: PUSH1 0xa0
00000917: SHL
00000918: SUB
00000919: AND
0000091a: EQ
0000091b: ISZERO
0000091c: PUSH2 0x098d
0000091f: JUMPI
00000920: PUSH1 0x40
00000922: MLOAD
00000923: PUSH3 0x461bcd
00000927: PUSH1 0xe5
00000929: SHL
0000092a: DUP2
0000092b: MSTORE
0000092c: PUSH1 0x20
0000092e: PUSH1 0x04
00000930: DUP3
00000931: ADD
00000932: MSTORE
00000933: PUSH1 0x21
00000935: PUSH1 0x24
00000937: DUP3
00000938: ADD
00000939: MSTORE
0000093a: PUSH32 0x4552433732313a20617070726f76616c20746f2063757272656e74206f776e65
0000095b: PUSH1 0x44
0000095d: DUP3
0000095e: ADD
0000095f: MSTORE
00000960: PUSH32 0x7200000000000000000000000000000000000000000000000000000000000000
00000981: PUSH1 0x64
00000983: DUP3
00000984: ADD
00000985: MSTORE
00000986: PUSH1 0x84
00000988: ADD
00000989: PUSH2 0x08d3
0000098c: JUMP
0000098d: JUMPDEST
0000098e: CALLER
0000098f: PUSH1 0x01
00000991: PUSH1 0x01
00000993: PUSH1 0xa0
00000995: SHL
00000996: SUB
00000997: DUP3
00000998: AND
00000999: EQ
0000099a: DUP1
0000099b: PUSH2 0x09a9
0000099e: JUMPI
0000099f: POP
000009a0: PUSH2 0x09a9
000009a3: DUP2
000009a4: CALLER
000009a5: PUSH2 0x1cc9
000009a8: JUMP
000009a9: JUMPDEST
000009aa: PUSH2 0x0a1b
000009ad: JUMPI
000009ae: PUSH1 0x40
000009b0: MLOAD
000009b1: PUSH3 0x461bcd
000009b5: PUSH1 0xe5
000009b7: SHL
000009b8: DUP2
000009b9: MSTORE
000009ba: PUSH1 0x20
000009bc: PUSH1 0x04
000009be: DUP3
000009bf: ADD
000009c0: MSTORE
000009c1: PUSH1 0x38
000009c3: PUSH1 0x24
000009c5: DUP3
000009c6: ADD
000009c7: MSTORE
000009c8: PUSH32 0x4552433732313a20617070726f76652063616c6c6572206973206e6f74206f77
000009e9: PUSH1 0x44
000009eb: DUP3
000009ec: ADD
000009ed: MSTORE
000009ee: PUSH32 0x6e6572206e6f7220617070726f76656420666f7220616c6c0000000000000000
00000a0f: PUSH1 0x64
00000a11: DUP3
00000a12: ADD
00000a13: MSTORE
00000a14: PUSH1 0x84
00000a16: ADD
00000a17: PUSH2 0x08d3
00000a1a: JUMP
00000a1b: JUMPDEST
00000a1c: PUSH2 0x0a25
00000a1f: DUP4
00000a20: DUP4
00000a21: PUSH2 0x205c
00000a24: JUMP
00000a25: JUMPDEST
00000a26: POP
00000a27: POP
00000a28: POP
00000a29: JUMP
00000a2a: JUMPDEST
00000a2b: PUSH1 0x06
00000a2d: SLOAD
00000a2e: PUSH1 0x01
00000a30: PUSH1 0xa0
00000a32: SHL
00000a33: SWAP1
00000a34: DIV
00000a35: PUSH1 0xff
00000a37: AND
00000a38: ISZERO
00000a39: PUSH2 0x0a84
00000a3c: JUMPI
00000a3d: PUSH1 0x40
00000a3f: MLOAD
00000a40: PUSH3 0x461bcd
00000a44: PUSH1 0xe5
00000a46: SHL
00000a47: DUP2
00000a48: MSTORE
00000a49: PUSH1 0x20
00000a4b: PUSH1 0x04
00000a4d: DUP3
00000a4e: ADD
00000a4f: MSTORE
00000a50: PUSH1 0x10
00000a52: PUSH1 0x24
00000a54: DUP3
00000a55: ADD
00000a56: MSTORE
00000a57: PUSH32 0x5061757361626c653a2070617573656400000000000000000000000000000000
00000a78: PUSH1 0x44
00000a7a: DUP3
00000a7b: ADD
00000a7c: MSTORE
00000a7d: PUSH1 0x64
00000a7f: ADD
00000a80: PUSH2 0x08d3
00000a83: JUMP
00000a84: JUMPDEST
00000a85: CALLER
00000a86: PUSH1 0x00
00000a88: SWAP1
00000a89: DUP2
00000a8a: MSTORE
00000a8b: PUSH1 0x0e
00000a8d: PUSH1 0x20
00000a8f: MSTORE
00000a90: PUSH1 0x40
00000a92: SWAP1
00000a93: KECCAK256
00000a94: SLOAD
00000a95: PUSH8 0xffffffffffffffff
00000a9e: AND
00000a9f: ISZERO
00000aa0: PUSH2 0x0aeb
00000aa3: JUMPI
00000aa4: PUSH1 0x40
00000aa6: MLOAD
00000aa7: PUSH3 0x461bcd
00000aab: PUSH1 0xe5
00000aad: SHL
00000aae: DUP2
00000aaf: MSTORE
00000ab0: PUSH1 0x20
00000ab2: PUSH1 0x04
00000ab4: DUP3
00000ab5: ADD
00000ab6: MSTORE
00000ab7: PUSH1 0x1b
00000ab9: PUSH1 0x24
00000abb: DUP3
00000abc: ADD
00000abd: MSTORE
00000abe: PUSH32 0x416464726573732068617320616c726561647920636c61696d65640000000000
00000adf: PUSH1 0x44
00000ae1: DUP3
00000ae2: ADD
00000ae3: MSTORE
00000ae4: PUSH1 0x64
00000ae6: ADD
00000ae7: PUSH2 0x08d3
00000aea: JUMP
00000aeb: JUMPDEST
00000aec: PUSH1 0x40
00000aee: MLOAD
00000aef: PUSH32 0xffffffffffffffffffffffffffffffffffffffff000000000000000000000000
00000b10: CALLER
00000b11: PUSH1 0x60
00000b13: SHL
00000b14: AND
00000b15: PUSH1 0x20
00000b17: DUP3
00000b18: ADD
00000b19: MSTORE
00000b1a: PUSH1 0x00
00000b1c: SWAP1
00000b1d: PUSH1 0x34
00000b1f: ADD
00000b20: PUSH1 0x40
00000b22: MLOAD
00000b23: PUSH1 0x20
00000b25: DUP2
00000b26: DUP4
00000b27: SUB
00000b28: SUB
00000b29: DUP2
00000b2a: MSTORE
00000b2b: SWAP1
00000b2c: PUSH1 0x40
00000b2e: MSTORE
00000b2f: DUP1
00000b30: MLOAD
00000b31: SWAP1
00000b32: PUSH1 0x20
00000b34: ADD
00000b35: KECCAK256
00000b36: SWAP1
00000b37: POP
00000b38: PUSH2 0x0b78
00000b3b: DUP4
00000b3c: DUP4
00000b3d: DUP1
00000b3e: DUP1
00000b3f: PUSH1 0x20
00000b41: MUL
00000b42: PUSH1 0x20
00000b44: ADD
00000b45: PUSH1 0x40
00000b47: MLOAD
00000b48: SWAP1
00000b49: DUP2
00000b4a: ADD
00000b4b: PUSH1 0x40
00000b4d: MSTORE
00000b4e: DUP1
00000b4f: SWAP4
00000b50: SWAP3
00000b51: SWAP2
00000b52: SWAP1
00000b53: DUP2
00000b54: DUP2
00000b55: MSTORE
00000b56: PUSH1 0x20
00000b58: ADD
00000b59: DUP4
00000b5a: DUP4
00000b5b: PUSH1 0x20
00000b5d: MUL
00000b5e: DUP1
00000b5f: DUP3
00000b60: DUP5
00000b61: CALLDATACOPY
00000b62: PUSH1 0x00
00000b64: SWAP3
00000b65: ADD
00000b66: SWAP2
00000b67: SWAP1
00000b68: SWAP2
00000b69: MSTORE
00000b6a: POP
00000b6b: POP
00000b6c: PUSH1 0x0a
00000b6e: SLOAD
00000b6f: SWAP2
00000b70: POP
00000b71: DUP5
00000b72: SWAP1
00000b73: POP
00000b74: PUSH2 0x20e2
00000b77: JUMP
00000b78: JUMPDEST
00000b79: PUSH2 0x0bc4
00000b7c: JUMPI
00000b7d: PUSH1 0x40
00000b7f: MLOAD
00000b80: PUSH3 0x461bcd
00000b84: PUSH1 0xe5
00000b86: SHL
00000b87: DUP2
00000b88: MSTORE
00000b89: PUSH1 0x20
00000b8b: PUSH1 0x04
00000b8d: DUP3
00000b8e: ADD
00000b8f: MSTORE
00000b90: PUSH1 0x17
00000b92: PUSH1 0x24
00000b94: DUP3
00000b95: ADD
00000b96: MSTORE
00000b97: PUSH32 0x41646472657373206e6f7420696e20676f6c646c697374000000000000000000
00000bb8: PUSH1 0x44
00000bba: DUP3
00000bbb: ADD
00000bbc: MSTORE
00000bbd: PUSH1 0x64
00000bbf: ADD
00000bc0: PUSH2 0x08d3
00000bc3: JUMP
00000bc4: JUMPDEST
00000bc5: PUSH1 0x13
00000bc7: SLOAD
00000bc8: PUSH1 0x02
00000bca: PUSH1 0x00
00000bcc: MSTORE
00000bcd: PUSH1 0x0c
00000bcf: PUSH1 0x20
00000bd1: MSTORE
00000bd2: PUSH32 0x5d6016397a73f5e079297ac5a36fef17b4d9c3831618e63ab105738020ddd720
00000bf3: SLOAD
00000bf4: PUSH2 0x0100
00000bf7: SWAP1
00000bf8: SWAP2
00000bf9: DIV
00000bfa: PUSH8 0xffffffffffffffff
00000c03: AND
00000c04: GT
00000c05: PUSH2 0x0c50
00000c08: JUMPI
00000c09: PUSH1 0x40
00000c0b: MLOAD
00000c0c: PUSH3 0x461bcd
00000c10: PUSH1 0xe5
00000c12: SHL
00000c13: DUP2
00000c14: MSTORE
00000c15: PUSH1 0x20
00000c17: PUSH1 0x04
00000c19: DUP3
00000c1a: ADD
00000c1b: MSTORE
00000c1c: PUSH1 0x13
00000c1e: PUSH1 0x24
00000c20: DUP3
00000c21: ADD
00000c22: MSTORE
00000c23: PUSH32 0x536f6c64206f75742028676f6c646c6973742900000000000000000000000000
00000c44: PUSH1 0x44
00000c46: DUP3
00000c47: ADD
00000c48: MSTORE
00000c49: PUSH1 0x64
00000c4b: ADD
00000c4c: PUSH2 0x08d3
00000c4f: JUMP
00000c50: JUMPDEST
00000c51: PUSH1 0x14
00000c53: SLOAD
00000c54: CALLVALUE
00000c55: LT
00000c56: ISZERO
00000c57: PUSH2 0x0ca2
00000c5a: JUMPI
00000c5b: PUSH1 0x40
00000c5d: MLOAD
00000c5e: PUSH3 0x461bcd
00000c62: PUSH1 0xe5
00000c64: SHL
00000c65: DUP2
00000c66: MSTORE
00000c67: PUSH1 0x20
00000c69: PUSH1 0x04
00000c6b: DUP3
00000c6c: ADD
00000c6d: MSTORE
00000c6e: PUSH1 0x0f
00000c70: PUSH1 0x24
00000c72: DUP3
00000c73: ADD
00000c74: MSTORE
00000c75: PUSH32 0x4e6f7420656e6f7567682066756e640000000000000000000000000000000000
00000c96: PUSH1 0x44
00000c98: DUP3
00000c99: ADD
00000c9a: MSTORE
00000c9b: PUSH1 0x64
00000c9d: ADD
00000c9e: PUSH2 0x08d3
00000ca1: JUMP
00000ca2: JUMPDEST
00000ca3: PUSH1 0x00
00000ca5: PUSH2 0x0cad
00000ca8: PUSH1 0x08
00000caa: SLOAD
00000cab: SWAP1
00000cac: JUMP
00000cad: JUMPDEST
00000cae: CALLER
00000caf: PUSH1 0x00
00000cb1: SWAP1
00000cb2: DUP2
00000cb3: MSTORE
00000cb4: PUSH1 0x0e
00000cb6: PUSH1 0x20
00000cb8: MSTORE
00000cb9: PUSH1 0x40
00000cbb: DUP2
00000cbc: KECCAK256
00000cbd: DUP1
00000cbe: SLOAD
00000cbf: SWAP3
00000cc0: SWAP4
00000cc1: POP
00000cc2: PUSH1 0x01
00000cc4: SWAP3
00000cc5: SWAP1
00000cc6: SWAP2
00000cc7: SWAP1
00000cc8: PUSH2 0x0cdc
00000ccb: SWAP1
00000ccc: DUP5
00000ccd: SWAP1
00000cce: PUSH8 0xffffffffffffffff
00000cd7: AND
00000cd8: PUSH2 0x39d6
00000cdb: JUMP
00000cdc: JUMPDEST
00000cdd: SWAP3
00000cde: POP
00000cdf: PUSH2 0x0100
00000ce2: EXP
00000ce3: DUP2
00000ce4: SLOAD
00000ce5: DUP2
00000ce6: PUSH8 0xffffffffffffffff
00000cef: MUL
00000cf0: NOT
00000cf1: AND
00000cf2: SWAP1
00000cf3: DUP4
00000cf4: PUSH8 0xffffffffffffffff
00000cfd: AND
00000cfe: MUL
00000cff: OR
00000d00: SWAP1
00000d01: SSTORE
00000d02: POP
00000d03: PUSH1 0x01
00000d05: PUSH1 0x0c
00000d07: PUSH1 0x00
00000d09: PUSH1 0x02
00000d0b: PUSH1 0x03
00000d0d: DUP2
00000d0e: GT
00000d0f: ISZERO
00000d10: PUSH2 0x0d29
00000d13: JUMPI
00000d14: PUSH4 0x4e487b71
00000d19: PUSH1 0xe0
00000d1b: SHL
00000d1c: PUSH1 0x00
00000d1e: MSTORE
00000d1f: PUSH1 0x21
00000d21: PUSH1 0x04
00000d23: MSTORE
00000d24: PUSH1 0x24
00000d26: PUSH1 0x00
00000d28: REVERT
00000d29: JUMPDEST
00000d2a: PUSH1 0x03
00000d2c: DUP2
00000d2d: GT
00000d2e: ISZERO
00000d2f: PUSH2 0x0d48
00000d32: JUMPI
00000d33: PUSH4 0x4e487b71
00000d38: PUSH1 0xe0
00000d3a: SHL
00000d3b: PUSH1 0x00
00000d3d: MSTORE
00000d3e: PUSH1 0x21
00000d40: PUSH1 0x04
00000d42: MSTORE
00000d43: PUSH1 0x24
00000d45: PUSH1 0x00
00000d47: REVERT
00000d48: JUMPDEST
00000d49: DUP2
00000d4a: MSTORE
00000d4b: PUSH1 0x20
00000d4d: ADD
00000d4e: SWAP1
00000d4f: DUP2
00000d50: MSTORE
00000d51: PUSH1 0x20
00000d53: ADD
00000d54: PUSH1 0x00
00000d56: KECCAK256
00000d57: PUSH1 0x00
00000d59: DUP3
00000d5a: DUP3
00000d5b: SLOAD
00000d5c: PUSH2 0x0d65
00000d5f: SWAP2
00000d60: SWAP1
00000d61: PUSH2 0x39be
00000d64: JUMP
00000d65: JUMPDEST
00000d66: SWAP1
00000d67: SWAP2
00000d68: SSTORE
00000d69: POP
00000d6a: POP
00000d6b: PUSH1 0x00
00000d6d: DUP2
00000d6e: DUP2
00000d6f: MSTORE
00000d70: PUSH1 0x0d
00000d72: PUSH1 0x20
00000d74: MSTORE
00000d75: PUSH1 0x40
00000d77: SWAP1
00000d78: KECCAK256
00000d79: DUP1
00000d7a: SLOAD
00000d7b: PUSH1 0xff
00000d7d: NOT
00000d7e: AND
00000d7f: PUSH1 0x02
00000d81: OR
00000d82: SWAP1
00000d83: SSTORE
00000d84: PUSH1 0x08
00000d86: DUP1
00000d87: SLOAD
00000d88: PUSH1 0x01
00000d8a: ADD
00000d8b: SWAP1
00000d8c: SSTORE
00000d8d: PUSH2 0x0d96
00000d90: CALLER
00000d91: DUP3
00000d92: PUSH2 0x20f8
00000d95: JUMP
00000d96: JUMPDEST
00000d97: POP
00000d98: POP
00000d99: POP
00000d9a: POP
00000d9b: JUMP
00000d9c: JUMPDEST
00000d9d: PUSH1 0x06
00000d9f: SLOAD
00000da0: PUSH1 0x01
00000da2: PUSH1 0x01
00000da4: PUSH1 0xa0
00000da6: SHL
00000da7: SUB
00000da8: AND
00000da9: CALLER
00000daa: EQ
00000dab: PUSH2 0x0df6
00000dae: JUMPI
00000daf: PUSH1 0x40
00000db1: MLOAD
00000db2: PUSH3 0x461bcd
00000db6: PUSH1 0xe5
00000db8: SHL
00000db9: DUP2
00000dba: MSTORE
00000dbb: PUSH1 0x20
00000dbd: PUSH1 0x04
00000dbf: DUP3
00000dc0: ADD
00000dc1: DUP2
00000dc2: SWAP1
00000dc3: MSTORE
00000dc4: PUSH1 0x24
00000dc6: DUP3
00000dc7: ADD
00000dc8: MSTORE
00000dc9: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000dea: PUSH1 0x44
00000dec: DUP3
00000ded: ADD
00000dee: MSTORE
00000def: PUSH1 0x64
00000df1: ADD
00000df2: PUSH2 0x08d3
00000df5: JUMP
00000df6: JUMPDEST
00000df7: PUSH2 0x0a25
00000dfa: DUP4
00000dfb: DUP4
00000dfc: DUP4
00000dfd: PUSH2 0x211c
00000e00: JUMP
00000e01: JUMPDEST
00000e02: PUSH1 0x06
00000e04: SLOAD
00000e05: PUSH1 0x01
00000e07: PUSH1 0x01
00000e09: PUSH1 0xa0
00000e0b: SHL
00000e0c: SUB
00000e0d: AND
00000e0e: CALLER
00000e0f: EQ
00000e10: PUSH2 0x0e5b
00000e13: JUMPI
00000e14: PUSH1 0x40
00000e16: MLOAD
00000e17: PUSH3 0x461bcd
00000e1b: PUSH1 0xe5
00000e1d: SHL
00000e1e: DUP2
00000e1f: MSTORE
00000e20: PUSH1 0x20
00000e22: PUSH1 0x04
00000e24: DUP3
00000e25: ADD
00000e26: DUP2
00000e27: SWAP1
00000e28: MSTORE
00000e29: PUSH1 0x24
00000e2b: DUP3
00000e2c: ADD
00000e2d: MSTORE
00000e2e: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000e4f: PUSH1 0x44
00000e51: DUP3
00000e52: ADD
00000e53: MSTORE
00000e54: PUSH1 0x64
00000e56: ADD
00000e57: PUSH2 0x08d3
00000e5a: JUMP
00000e5b: JUMPDEST
00000e5c: PUSH1 0x06
00000e5e: SLOAD
00000e5f: PUSH1 0x01
00000e61: PUSH1 0xa0
00000e63: SHL
00000e64: SWAP1
00000e65: DIV
00000e66: PUSH1 0xff
00000e68: AND
00000e69: ISZERO
00000e6a: PUSH2 0x0eb5
00000e6d: JUMPI
00000e6e: PUSH1 0x40
00000e70: MLOAD
00000e71: PUSH3 0x461bcd
00000e75: PUSH1 0xe5
00000e77: SHL
00000e78: DUP2
00000e79: MSTORE
00000e7a: PUSH1 0x20
00000e7c: PUSH1 0x04
00000e7e: DUP3
00000e7f: ADD
00000e80: MSTORE
00000e81: PUSH1 0x10
00000e83: PUSH1 0x24
00000e85: DUP3
00000e86: ADD
00000e87: MSTORE
00000e88: PUSH32 0x5061757361626c653a2070617573656400000000000000000000000000000000
00000ea9: PUSH1 0x44
00000eab: DUP3
00000eac: ADD
00000ead: MSTORE
00000eae: PUSH1 0x64
00000eb0: ADD
00000eb1: PUSH2 0x08d3
00000eb4: JUMP
00000eb5: JUMPDEST
00000eb6: PUSH1 0x01
00000eb8: PUSH1 0x01
00000eba: PUSH1 0xa0
00000ebc: SHL
00000ebd: SUB
00000ebe: DUP2
00000ebf: AND
00000ec0: PUSH1 0x00
00000ec2: SWAP1
00000ec3: DUP2
00000ec4: MSTORE
00000ec5: PUSH1 0x0e
00000ec7: PUSH1 0x20
00000ec9: MSTORE
00000eca: PUSH1 0x40
00000ecc: SWAP1
00000ecd: KECCAK256
00000ece: SLOAD
00000ecf: PUSH1 0x06
00000ed1: PUSH8 0xffffffffffffffff
00000eda: SWAP1
00000edb: SWAP2
00000edc: AND
00000edd: LT
00000ede: PUSH2 0x0f29
00000ee1: JUMPI
00000ee2: PUSH1 0x40
00000ee4: MLOAD
00000ee5: PUSH3 0x461bcd
00000ee9: PUSH1 0xe5
00000eeb: SHL
00000eec: DUP2
00000eed: MSTORE
00000eee: PUSH1 0x20
00000ef0: PUSH1 0x04
00000ef2: DUP3
00000ef3: ADD
00000ef4: MSTORE
00000ef5: PUSH1 0x15
00000ef7: PUSH1 0x24
00000ef9: DUP3
00000efa: ADD
00000efb: MSTORE
00000efc: PUSH32 0x4e6f206d6f7265206d696e7420666f7220757365720000000000000000000000
00000f1d: PUSH1 0x44
00000f1f: DUP3
00000f20: ADD
00000f21: MSTORE
00000f22: PUSH1 0x64
00000f24: ADD
00000f25: PUSH2 0x08d3
00000f28: JUMP
00000f29: JUMPDEST
00000f2a: PUSH1 0x15
00000f2c: SLOAD
00000f2d: PUSH1 0x03
00000f2f: PUSH1 0x00
00000f31: MSTORE
00000f32: PUSH1 0x0c
00000f34: PUSH1 0x20
00000f36: MSTORE
00000f37: PUSH32 0xc0da782485e77ae272268ae0a3ff44c1552ecb60b3743924de17a815e0a3cfd7
00000f58: SLOAD
00000f59: PUSH2 0x0100
00000f5c: SWAP1
00000f5d: SWAP2
00000f5e: DIV
00000f5f: PUSH8 0xffffffffffffffff
00000f68: AND
00000f69: GT
00000f6a: PUSH2 0x0fb5
00000f6d: JUMPI
00000f6e: PUSH1 0x40
00000f70: MLOAD
00000f71: PUSH3 0x461bcd
00000f75: PUSH1 0xe5
00000f77: SHL
00000f78: DUP2
00000f79: MSTORE
00000f7a: PUSH1 0x20
00000f7c: PUSH1 0x04
00000f7e: DUP3
00000f7f: ADD
00000f80: MSTORE
00000f81: PUSH1 0x12
00000f83: PUSH1 0x24
00000f85: DUP3
00000f86: ADD
00000f87: MSTORE
00000f88: PUSH32 0x536f6c64206f7574202861697264726f70290000000000000000000000000000
00000fa9: PUSH1 0x44
00000fab: DUP3
00000fac: ADD
00000fad: MSTORE
00000fae: PUSH1 0x64
00000fb0: ADD
00000fb1: PUSH2 0x08d3
00000fb4: JUMP
00000fb5: JUMPDEST
00000fb6: PUSH1 0x00
00000fb8: PUSH2 0x0fc0
00000fbb: PUSH1 0x08
00000fbd: SLOAD
00000fbe: SWAP1
00000fbf: JUMP
00000fc0: JUMPDEST
00000fc1: CALLER
00000fc2: PUSH1 0x00
00000fc4: SWAP1
00000fc5: DUP2
00000fc6: MSTORE
00000fc7: PUSH1 0x0e
00000fc9: PUSH1 0x20
00000fcb: MSTORE
00000fcc: PUSH1 0x40
00000fce: DUP2
00000fcf: KECCAK256
00000fd0: DUP1
00000fd1: SLOAD
00000fd2: SWAP3
00000fd3: SWAP4
00000fd4: POP
00000fd5: PUSH1 0x01
00000fd7: SWAP3
00000fd8: SWAP1
00000fd9: SWAP2
00000fda: SWAP1
00000fdb: PUSH2 0x0fef
00000fde: SWAP1
00000fdf: DUP5
00000fe0: SWAP1
00000fe1: PUSH8 0xffffffffffffffff
00000fea: AND
00000feb: PUSH2 0x39d6
00000fee: JUMP
00000fef: JUMPDEST
00000ff0: SWAP3
00000ff1: POP
00000ff2: PUSH2 0x0100
00000ff5: EXP
00000ff6: DUP2
00000ff7: SLOAD
00000ff8: DUP2
00000ff9: PUSH8 0xffffffffffffffff
00001002: MUL
00001003: NOT
00001004: AND
00001005: SWAP1
00001006: DUP4
00001007: PUSH8 0xffffffffffffffff
00001010: AND
00001011: MUL
00001012: OR
00001013: SWAP1
00001014: SSTORE
00001015: POP
00001016: PUSH1 0x01
00001018: PUSH1 0x0c
0000101a: PUSH1 0x00
0000101c: PUSH1 0x03
0000101e: DUP1
0000101f: DUP2
00001020: GT
00001021: ISZERO
00001022: PUSH2 0x103b
00001025: JUMPI
00001026: PUSH4 0x4e487b71
0000102b: PUSH1 0xe0
0000102d: SHL
0000102e: PUSH1 0x00
00001030: MSTORE
00001031: PUSH1 0x21
00001033: PUSH1 0x04
00001035: MSTORE
00001036: PUSH1 0x24
00001038: PUSH1 0x00
0000103a: REVERT
0000103b: JUMPDEST
0000103c: PUSH1 0x03
0000103e: DUP2
0000103f: GT
00001040: ISZERO
00001041: PUSH2 0x105a
00001044: JUMPI
00001045: PUSH4 0x4e487b71
0000104a: PUSH1 0xe0
0000104c: SHL
0000104d: PUSH1 0x00
0000104f: MSTORE
00001050: PUSH1 0x21
00001052: PUSH1 0x04
00001054: MSTORE
00001055: PUSH1 0x24
00001057: PUSH1 0x00
00001059: REVERT
0000105a: JUMPDEST
0000105b: DUP2
0000105c: MSTORE
0000105d: PUSH1 0x20
0000105f: ADD
00001060: SWAP1
00001061: DUP2
00001062: MSTORE
00001063: PUSH1 0x20
00001065: ADD
00001066: PUSH1 0x00
00001068: KECCAK256
00001069: PUSH1 0x00
0000106b: DUP3
0000106c: DUP3
0000106d: SLOAD
0000106e: PUSH2 0x1077
00001071: SWAP2
00001072: SWAP1
00001073: PUSH2 0x39be
00001076: JUMP
00001077: JUMPDEST
00001078: SWAP1
00001079: SWAP2
0000107a: SSTORE
0000107b: POP
0000107c: POP
0000107d: PUSH1 0x00
0000107f: DUP2
00001080: DUP2
00001081: MSTORE
00001082: PUSH1 0x0d
00001084: PUSH1 0x20
00001086: MSTORE
00001087: PUSH1 0x40
00001089: SWAP1
0000108a: KECCAK256
0000108b: DUP1
0000108c: SLOAD
0000108d: PUSH1 0xff
0000108f: NOT
00001090: AND
00001091: PUSH1 0x03
00001093: OR
00001094: SWAP1
00001095: SSTORE
00001096: PUSH1 0x08
00001098: DUP1
00001099: SLOAD
0000109a: PUSH1 0x01
0000109c: ADD
0000109d: SWAP1
0000109e: SSTORE
0000109f: PUSH2 0x10a8
000010a2: DUP3
000010a3: DUP3
000010a4: PUSH2 0x20f8
000010a7: JUMP
000010a8: JUMPDEST
000010a9: POP
000010aa: POP
000010ab: JUMP
000010ac: JUMPDEST
000010ad: PUSH2 0x10b6
000010b0: CALLER
000010b1: DUP3
000010b2: PUSH2 0x21f0
000010b5: JUMP
000010b6: JUMPDEST
000010b7: PUSH2 0x1128
000010ba: JUMPI
000010bb: PUSH1 0x40
000010bd: MLOAD
000010be: PUSH3 0x461bcd
000010c2: PUSH1 0xe5
000010c4: SHL
000010c5: DUP2
000010c6: MSTORE
000010c7: PUSH1 0x20
000010c9: PUSH1 0x04
000010cb: DUP3
000010cc: ADD
000010cd: MSTORE
000010ce: PUSH1 0x31
000010d0: PUSH1 0x24
000010d2: DUP3
000010d3: ADD
000010d4: MSTORE
000010d5: PUSH32 0x4552433732313a207472616e736665722063616c6c6572206973206e6f74206f
000010f6: PUSH1 0x44
000010f8: DUP3
000010f9: ADD
000010fa: MSTORE
000010fb: PUSH32 0x776e6572206e6f7220617070726f766564000000000000000000000000000000
0000111c: PUSH1 0x64
0000111e: DUP3
0000111f: ADD
00001120: MSTORE
00001121: PUSH1 0x84
00001123: ADD
00001124: PUSH2 0x08d3
00001127: JUMP
00001128: JUMPDEST
00001129: PUSH2 0x0a25
0000112c: DUP4
0000112d: DUP4
0000112e: DUP4
0000112f: PUSH2 0x22d8
00001132: JUMP
00001133: JUMPDEST
00001134: PUSH1 0x06
00001136: SLOAD
00001137: PUSH1 0x01
00001139: PUSH1 0xa0
0000113b: SHL
0000113c: SWAP1
0000113d: DIV
0000113e: PUSH1 0xff
00001140: AND
00001141: ISZERO
00001142: PUSH2 0x118d
00001145: JUMPI
00001146: PUSH1 0x40
00001148: MLOAD
00001149: PUSH3 0x461bcd
0000114d: PUSH1 0xe5
0000114f: SHL
00001150: DUP2
00001151: MSTORE
00001152: PUSH1 0x20
00001154: PUSH1 0x04
00001156: DUP3
00001157: ADD
00001158: MSTORE
00001159: PUSH1 0x10
0000115b: PUSH1 0x24
0000115d: DUP3
0000115e: ADD
0000115f: MSTORE
00001160: PUSH32 0x5061757361626c653a2070617573656400000000000000000000000000000000
00001181: PUSH1 0x44
00001183: DUP3
00001184: ADD
00001185: MSTORE
00001186: PUSH1 0x64
00001188: ADD
00001189: PUSH2 0x08d3
0000118c: JUMP
0000118d: JUMPDEST
0000118e: CALLER
0000118f: PUSH1 0x00
00001191: SWAP1
00001192: DUP2
00001193: MSTORE
00001194: PUSH1 0x0e
00001196: PUSH1 0x20
00001198: MSTORE
00001199: PUSH1 0x40
0000119b: SWAP1
0000119c: KECCAK256
0000119d: SLOAD
0000119e: PUSH1 0x06
000011a0: PUSH8 0xffffffffffffffff
000011a9: SWAP1
000011aa: SWAP2
000011ab: AND
000011ac: LT
000011ad: PUSH2 0x11f8
000011b0: JUMPI
000011b1: PUSH1 0x40
000011b3: MLOAD
000011b4: PUSH3 0x461bcd
000011b8: PUSH1 0xe5
000011ba: SHL
000011bb: DUP2
000011bc: MSTORE
000011bd: PUSH1 0x20
000011bf: PUSH1 0x04
000011c1: DUP3
000011c2: ADD
000011c3: MSTORE
000011c4: PUSH1 0x15
000011c6: PUSH1 0x24
000011c8: DUP3
000011c9: ADD
000011ca: MSTORE
000011cb: PUSH32 0x4e6f206d6f7265206d696e7420666f7220757365720000000000000000000000
000011ec: PUSH1 0x44
000011ee: DUP3
000011ef: ADD
000011f0: MSTORE
000011f1: PUSH1 0x64
000011f3: ADD
000011f4: PUSH2 0x08d3
000011f7: JUMP
000011f8: JUMPDEST
000011f9: PUSH2 0x1200
000011fc: PUSH2 0x24c8
000011ff: JUMP
00001200: JUMPDEST
00001201: JUMP
00001202: JUMPDEST
00001203: PUSH1 0x00
00001205: DUP3
00001206: DUP2
00001207: MSTORE
00001208: PUSH1 0x07
0000120a: PUSH1 0x20
0000120c: SWAP1
0000120d: DUP2
0000120e: MSTORE
0000120f: PUSH1 0x40
00001211: DUP1
00001212: DUP4
00001213: KECCAK256
00001214: DUP1
00001215: SLOAD
00001216: DUP3
00001217: MLOAD
00001218: DUP2
00001219: DUP6
0000121a: MUL
0000121b: DUP2
0000121c: ADD
0000121d: DUP6
0000121e: ADD
0000121f: SWAP1
00001220: SWAP4
00001221: MSTORE
00001222: DUP1
00001223: DUP4
00001224: MSTORE
00001225: DUP5
00001226: SWAP4
00001227: DUP5
00001228: SWAP4
00001229: SWAP3
0000122a: SWAP2
0000122b: SWAP1
0000122c: DUP5
0000122d: SWAP1
0000122e: DUP5
0000122f: ADD
00001230: JUMPDEST
00001231: DUP3
00001232: DUP3
00001233: LT
00001234: ISZERO
00001235: PUSH2 0x1284
00001238: JUMPI
00001239: PUSH1 0x00
0000123b: DUP5
0000123c: DUP2
0000123d: MSTORE
0000123e: PUSH1 0x20
00001240: SWAP1
00001241: DUP2
00001242: SWAP1
00001243: KECCAK256
00001244: PUSH1 0x40
00001246: DUP1
00001247: MLOAD
00001248: DUP1
00001249: DUP3
0000124a: ADD
0000124b: SWAP1
0000124c: SWAP2
0000124d: MSTORE
0000124e: SWAP1
0000124f: DUP5
00001250: ADD
00001251: SLOAD
00001252: PUSH1 0x01
00001254: PUSH1 0x01
00001256: PUSH1 0xa0
00001258: SHL
00001259: SUB
0000125a: DUP2
0000125b: AND
0000125c: DUP3
0000125d: MSTORE
0000125e: PUSH1 0x01
00001260: PUSH1 0xa0
00001262: SHL
00001263: SWAP1
00001264: DIV
00001265: PUSH12 0xffffffffffffffffffffffff
00001272: AND
00001273: DUP2
00001274: DUP4
00001275: ADD
00001276: MSTORE
00001277: DUP3
00001278: MSTORE
00001279: PUSH1 0x01
0000127b: SWAP1
0000127c: SWAP3
0000127d: ADD
0000127e: SWAP2
0000127f: ADD
00001280: PUSH2 0x1230
00001283: JUMP
00001284: JUMPDEST
00001285: POP
00001286: POP
00001287: POP
00001288: POP
00001289: SWAP1
0000128a: POP
0000128b: PUSH1 0x00
0000128d: DUP2
0000128e: MLOAD
0000128f: GT
00001290: ISZERO
00001291: PUSH2 0x131e
00001294: JUMPI
00001295: DUP1
00001296: PUSH1 0x00
00001298: DUP2
00001299: MLOAD
0000129a: DUP2
0000129b: LT
0000129c: PUSH2 0x12b5
0000129f: JUMPI
000012a0: PUSH4 0x4e487b71
000012a5: PUSH1 0xe0
000012a7: SHL
000012a8: PUSH1 0x00
000012aa: MSTORE
000012ab: PUSH1 0x32
000012ad: PUSH1 0x04
000012af: MSTORE
000012b0: PUSH1 0x24
000012b2: PUSH1 0x00
000012b4: REVERT
000012b5: JUMPDEST
000012b6: PUSH1 0x20
000012b8: MUL
000012b9: PUSH1 0x20
000012bb: ADD
000012bc: ADD
000012bd: MLOAD
000012be: PUSH1 0x00
000012c0: ADD
000012c1: MLOAD
000012c2: PUSH2 0x2710
000012c5: DUP3
000012c6: PUSH1 0x00
000012c8: DUP2
000012c9: MLOAD
000012ca: DUP2
000012cb: LT
000012cc: PUSH2 0x12e5
000012cf: JUMPI
000012d0: PUSH4 0x4e487b71
000012d5: PUSH1 0xe0
000012d7: SHL
000012d8: PUSH1 0x00
000012da: MSTORE
000012db: PUSH1 0x32
000012dd: PUSH1 0x04
000012df: MSTORE
000012e0: PUSH1 0x24
000012e2: PUSH1 0x00
000012e4: REVERT
000012e5: JUMPDEST
000012e6: PUSH1 0x20
000012e8: MUL
000012e9: PUSH1 0x20
000012eb: ADD
000012ec: ADD
000012ed: MLOAD
000012ee: PUSH1 0x20
000012f0: ADD
000012f1: MLOAD
000012f2: PUSH12 0xffffffffffffffffffffffff
000012ff: AND
00001300: DUP7
00001301: PUSH2 0x130a
00001304: SWAP2
00001305: SWAP1
00001306: PUSH2 0x3a16
00001309: JUMP
0000130a: JUMPDEST
0000130b: PUSH2 0x1314
0000130e: SWAP2
0000130f: SWAP1
00001310: PUSH2 0x3a02
00001313: JUMP
00001314: JUMPDEST
00001315: SWAP3
00001316: POP
00001317: SWAP3
00001318: POP
00001319: POP
0000131a: PUSH2 0x1327
0000131d: JUMP
0000131e: JUMPDEST
0000131f: PUSH1 0x00
00001321: DUP1
00001322: SWAP3
00001323: POP
00001324: SWAP3
00001325: POP
00001326: POP
00001327: JUMPDEST
00001328: SWAP3
00001329: POP
0000132a: SWAP3
0000132b: SWAP1
0000132c: POP
0000132d: JUMP
0000132e: JUMPDEST
0000132f: PUSH1 0x06
00001331: SLOAD
00001332: PUSH1 0x01
00001334: PUSH1 0x01
00001336: PUSH1 0xa0
00001338: SHL
00001339: SUB
0000133a: AND
0000133b: CALLER
0000133c: EQ
0000133d: PUSH2 0x1388
00001340: JUMPI
00001341: PUSH1 0x40
00001343: MLOAD
00001344: PUSH3 0x461bcd
00001348: PUSH1 0xe5
0000134a: SHL
0000134b: DUP2
0000134c: MSTORE
0000134d: PUSH1 0x20
0000134f: PUSH1 0x04
00001351: DUP3
00001352: ADD
00001353: DUP2
00001354: SWAP1
00001355: MSTORE
00001356: PUSH1 0x24
00001358: DUP3
00001359: ADD
0000135a: MSTORE
0000135b: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
0000137c: PUSH1 0x44
0000137e: DUP3
0000137f: ADD
00001380: MSTORE
00001381: PUSH1 0x64
00001383: ADD
00001384: PUSH2 0x08d3
00001387: JUMP
00001388: JUMPDEST
00001389: PUSH1 0x40
0000138b: MLOAD
0000138c: SELFBALANCE
0000138d: SWAP1
0000138e: PUSH1 0x00
00001390: SWAP1
00001391: CALLER
00001392: SWAP1
00001393: DUP4
00001394: SWAP1
00001395: DUP4
00001396: DUP2
00001397: DUP2
00001398: DUP2
00001399: DUP6
0000139a: DUP8
0000139b: GAS
0000139c: CALL
0000139d: SWAP3
0000139e: POP
0000139f: POP
000013a0: POP
000013a1: RETURNDATASIZE
000013a2: DUP1
000013a3: PUSH1 0x00
000013a5: DUP2
000013a6: EQ
000013a7: PUSH2 0x13cc
000013aa: JUMPI
000013ab: PUSH1 0x40
000013ad: MLOAD
000013ae: SWAP2
000013af: POP
000013b0: PUSH1 0x1f
000013b2: NOT
000013b3: PUSH1 0x3f
000013b5: RETURNDATASIZE
000013b6: ADD
000013b7: AND
000013b8: DUP3
000013b9: ADD
000013ba: PUSH1 0x40
000013bc: MSTORE
000013bd: RETURNDATASIZE
000013be: DUP3
000013bf: MSTORE
000013c0: RETURNDATASIZE
000013c1: PUSH1 0x00
000013c3: PUSH1 0x20
000013c5: DUP5
000013c6: ADD
000013c7: RETURNDATACOPY
000013c8: PUSH2 0x13d1
000013cb: JUMP
000013cc: JUMPDEST
000013cd: PUSH1 0x60
000013cf: SWAP2
000013d0: POP
000013d1: JUMPDEST
000013d2: POP
000013d3: POP
000013d4: SWAP1
000013d5: POP
000013d6: DUP1
000013d7: PUSH2 0x10a8
000013da: JUMPI
000013db: PUSH1 0x40
000013dd: MLOAD
000013de: PUSH3 0x461bcd
000013e2: PUSH1 0xe5
000013e4: SHL
000013e5: DUP2
000013e6: MSTORE
000013e7: PUSH1 0x20
000013e9: PUSH1 0x04
000013eb: DUP3
000013ec: ADD
000013ed: MSTORE
000013ee: PUSH1 0x0f
000013f0: PUSH1 0x24
000013f2: DUP3
000013f3: ADD
000013f4: MSTORE
000013f5: PUSH32 0x5769746864726177206661696c65640000000000000000000000000000000000
00001416: PUSH1 0x44
00001418: DUP3
00001419: ADD
0000141a: MSTORE
0000141b: PUSH1 0x64
0000141d: ADD
0000141e: PUSH2 0x08d3
00001421: JUMP
00001422: JUMPDEST
00001423: PUSH1 0x06
00001425: SLOAD
00001426: PUSH1 0x01
00001428: PUSH1 0x01
0000142a: PUSH1 0xa0
0000142c: SHL
0000142d: SUB
0000142e: AND
0000142f: CALLER
00001430: EQ
00001431: PUSH2 0x147c
00001434: JUMPI
00001435: PUSH1 0x40
00001437: MLOAD
00001438: PUSH3 0x461bcd
0000143c: PUSH1 0xe5
0000143e: SHL
0000143f: DUP2
00001440: MSTORE
00001441: PUSH1 0x20
00001443: PUSH1 0x04
00001445: DUP3
00001446: ADD
00001447: DUP2
00001448: SWAP1
00001449: MSTORE
0000144a: PUSH1 0x24
0000144c: DUP3
0000144d: ADD
0000144e: MSTORE
0000144f: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001470: PUSH1 0x44
00001472: DUP3
00001473: ADD
00001474: MSTORE
00001475: PUSH1 0x64
00001477: ADD
00001478: PUSH2 0x08d3
0000147b: JUMP
0000147c: JUMPDEST
0000147d: PUSH2 0x1200
00001480: PUSH2 0x26a6
00001483: JUMP
00001484: JUMPDEST
00001485: PUSH2 0x0a25
00001488: DUP4
00001489: DUP4
0000148a: DUP4
0000148b: PUSH1 0x40
0000148d: MLOAD
0000148e: DUP1
0000148f: PUSH1 0x20
00001491: ADD
00001492: PUSH1 0x40
00001494: MSTORE
00001495: DUP1
00001496: PUSH1 0x00
00001498: DUP2
00001499: MSTORE
0000149a: POP
0000149b: PUSH2 0x19e9
0000149e: JUMP
0000149f: JUMPDEST
000014a0: PUSH1 0x06
000014a2: SLOAD
000014a3: PUSH1 0x01
000014a5: PUSH1 0x01
000014a7: PUSH1 0xa0
000014a9: SHL
000014aa: SUB
000014ab: AND
000014ac: CALLER
000014ad: EQ
000014ae: PUSH2 0x14f9
000014b1: JUMPI
000014b2: PUSH1 0x40
000014b4: MLOAD
000014b5: PUSH3 0x461bcd
000014b9: PUSH1 0xe5
000014bb: SHL
000014bc: DUP2
000014bd: MSTORE
000014be: PUSH1 0x20
000014c0: PUSH1 0x04
000014c2: DUP3
000014c3: ADD
000014c4: DUP2
000014c5: SWAP1
000014c6: MSTORE
000014c7: PUSH1 0x24
000014c9: DUP3
000014ca: ADD
000014cb: MSTORE
000014cc: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000014ed: PUSH1 0x44
000014ef: DUP3
000014f0: ADD
000014f1: MSTORE
000014f2: PUSH1 0x64
000014f4: ADD
000014f5: PUSH2 0x08d3
000014f8: JUMP
000014f9: JUMPDEST
000014fa: PUSH1 0x06
000014fc: SLOAD
000014fd: PUSH1 0x01
000014ff: PUSH1 0xa0
00001501: SHL
00001502: SWAP1
00001503: DIV
00001504: PUSH1 0xff
00001506: AND
00001507: ISZERO
00001508: PUSH2 0x1553
0000150b: JUMPI
0000150c: PUSH1 0x40
0000150e: MLOAD
0000150f: PUSH3 0x461bcd
00001513: PUSH1 0xe5
00001515: SHL
00001516: DUP2
00001517: MSTORE
00001518: PUSH1 0x20
0000151a: PUSH1 0x04
0000151c: DUP3
0000151d: ADD
0000151e: MSTORE
0000151f: PUSH1 0x10
00001521: PUSH1 0x24
00001523: DUP3
00001524: ADD
00001525: MSTORE
00001526: PUSH32 0x5061757361626c653a2070617573656400000000000000000000000000000000
00001547: PUSH1 0x44
00001549: DUP3
0000154a: ADD
0000154b: MSTORE
0000154c: PUSH1 0x64
0000154e: ADD
0000154f: PUSH2 0x08d3
00001552: JUMP
00001553: JUMPDEST
00001554: DUP1
00001555: MLOAD
00001556: PUSH2 0x10a8
00001559: SWAP1
0000155a: PUSH1 0x09
0000155c: SWAP1
0000155d: PUSH1 0x20
0000155f: DUP5
00001560: ADD
00001561: SWAP1
00001562: PUSH2 0x336e
00001565: JUMP
00001566: JUMPDEST
00001567: PUSH1 0x00
00001569: DUP2
0000156a: DUP2
0000156b: MSTORE
0000156c: PUSH1 0x02
0000156e: PUSH1 0x20
00001570: MSTORE
00001571: PUSH1 0x40
00001573: DUP2
00001574: KECCAK256
00001575: SLOAD
00001576: PUSH1 0x01
00001578: PUSH1 0x01
0000157a: PUSH1 0xa0
0000157c: SHL
0000157d: SUB
0000157e: AND
0000157f: DUP1
00001580: PUSH2 0x07b5
00001583: JUMPI
00001584: PUSH1 0x40
00001586: MLOAD
00001587: PUSH3 0x461bcd
0000158b: PUSH1 0xe5
0000158d: SHL
0000158e: DUP2
0000158f: MSTORE
00001590: PUSH1 0x20
00001592: PUSH1 0x04
00001594: DUP3
00001595: ADD
00001596: MSTORE
00001597: PUSH1 0x29
00001599: PUSH1 0x24
0000159b: DUP3
0000159c: ADD
0000159d: MSTORE
0000159e: PUSH32 0x4552433732313a206f776e657220717565727920666f72206e6f6e6578697374
000015bf: PUSH1 0x44
000015c1: DUP3
000015c2: ADD
000015c3: MSTORE
000015c4: PUSH32 0x656e7420746f6b656e0000000000000000000000000000000000000000000000
000015e5: PUSH1 0x64
000015e7: DUP3
000015e8: ADD
000015e9: MSTORE
000015ea: PUSH1 0x84
000015ec: ADD
000015ed: PUSH2 0x08d3
000015f0: JUMP
000015f1: JUMPDEST
000015f2: PUSH1 0x00
000015f4: PUSH1 0x01
000015f6: PUSH1 0x01
000015f8: PUSH1 0xa0
000015fa: SHL
000015fb: SUB
000015fc: DUP3
000015fd: AND
000015fe: PUSH2 0x166f
00001601: JUMPI
00001602: PUSH1 0x40
00001604: MLOAD
00001605: PUSH3 0x461bcd
00001609: PUSH1 0xe5
0000160b: SHL
0000160c: DUP2
0000160d: MSTORE
0000160e: PUSH1 0x20
00001610: PUSH1 0x04
00001612: DUP3
00001613: ADD
00001614: MSTORE
00001615: PUSH1 0x2a
00001617: PUSH1 0x24
00001619: DUP3
0000161a: ADD
0000161b: MSTORE
0000161c: PUSH32 0x4552433732313a2062616c616e636520717565727920666f7220746865207a65
0000163d: PUSH1 0x44
0000163f: DUP3
00001640: ADD
00001641: MSTORE
00001642: PUSH32 0x726f206164647265737300000000000000000000000000000000000000000000
00001663: PUSH1 0x64
00001665: DUP3
00001666: ADD
00001667: MSTORE
00001668: PUSH1 0x84
0000166a: ADD
0000166b: PUSH2 0x08d3
0000166e: JUMP
0000166f: JUMPDEST
00001670: POP
00001671: PUSH1 0x01
00001673: PUSH1 0x01
00001675: PUSH1 0xa0
00001677: SHL
00001678: SUB
00001679: AND
0000167a: PUSH1 0x00
0000167c: SWAP1
0000167d: DUP2
0000167e: MSTORE
0000167f: PUSH1 0x03
00001681: PUSH1 0x20
00001683: MSTORE
00001684: PUSH1 0x40
00001686: SWAP1
00001687: KECCAK256
00001688: SLOAD
00001689: SWAP1
0000168a: JUMP
0000168b: JUMPDEST
0000168c: PUSH1 0x06
0000168e: SLOAD
0000168f: PUSH1 0x01
00001691: PUSH1 0x01
00001693: PUSH1 0xa0
00001695: SHL
00001696: SUB
00001697: AND
00001698: CALLER
00001699: EQ
0000169a: PUSH2 0x16e5
0000169d: JUMPI
0000169e: PUSH1 0x40
000016a0: MLOAD
000016a1: PUSH3 0x461bcd
000016a5: PUSH1 0xe5
000016a7: SHL
000016a8: DUP2
000016a9: MSTORE
000016aa: PUSH1 0x20
000016ac: PUSH1 0x04
000016ae: DUP3
000016af: ADD
000016b0: DUP2
000016b1: SWAP1
000016b2: MSTORE
000016b3: PUSH1 0x24
000016b5: DUP3
000016b6: ADD
000016b7: MSTORE
000016b8: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000016d9: PUSH1 0x44
000016db: DUP3
000016dc: ADD
000016dd: MSTORE
000016de: PUSH1 0x64
000016e0: ADD
000016e1: PUSH2 0x08d3
000016e4: JUMP
000016e5: JUMPDEST
000016e6: PUSH2 0x1200
000016e9: PUSH1 0x00
000016eb: PUSH2 0x2767
000016ee: JUMP
000016ef: JUMPDEST
000016f0: PUSH1 0x06
000016f2: SLOAD
000016f3: PUSH1 0x01
000016f5: PUSH1 0xa0
000016f7: SHL
000016f8: SWAP1
000016f9: DIV
000016fa: PUSH1 0xff
000016fc: AND
000016fd: ISZERO
000016fe: PUSH2 0x1749
00001701: JUMPI
00001702: PUSH1 0x40
00001704: MLOAD
00001705: PUSH3 0x461bcd
00001709: PUSH1 0xe5
0000170b: SHL
0000170c: DUP2
0000170d: MSTORE
0000170e: PUSH1 0x20
00001710: PUSH1 0x04
00001712: DUP3
00001713: ADD
00001714: MSTORE
00001715: PUSH1 0x10
00001717: PUSH1 0x24
00001719: DUP3
0000171a: ADD
0000171b: MSTORE
0000171c: PUSH32 0x5061757361626c653a2070617573656400000000000000000000000000000000
0000173d: PUSH1 0x44
0000173f: DUP3
00001740: ADD
00001741: MSTORE
00001742: PUSH1 0x64
00001744: ADD
00001745: PUSH2 0x08d3
00001748: JUMP
00001749: JUMPDEST
0000174a: CALLER
0000174b: PUSH1 0x00
0000174d: SWAP1
0000174e: DUP2
0000174f: MSTORE
00001750: PUSH1 0x0e
00001752: PUSH1 0x20
00001754: MSTORE
00001755: PUSH1 0x40
00001757: SWAP1
00001758: KECCAK256
00001759: SLOAD
0000175a: PUSH1 0x06
0000175c: PUSH8 0xffffffffffffffff
00001765: SWAP1
00001766: SWAP2
00001767: AND
00001768: LT
00001769: PUSH2 0x17b4
0000176c: JUMPI
0000176d: PUSH1 0x40
0000176f: MLOAD
00001770: PUSH3 0x461bcd
00001774: PUSH1 0xe5
00001776: SHL
00001777: DUP2
00001778: MSTORE
00001779: PUSH1 0x20
0000177b: PUSH1 0x04
0000177d: DUP3
0000177e: ADD
0000177f: MSTORE
00001780: PUSH1 0x15
00001782: PUSH1 0x24
00001784: DUP3
00001785: ADD
00001786: MSTORE
00001787: PUSH32 0x4e6f206d6f7265206d696e7420666f7220757365720000000000000000000000
000017a8: PUSH1 0x44
000017aa: DUP3
000017ab: ADD
000017ac: MSTORE
000017ad: PUSH1 0x64
000017af: ADD
000017b0: PUSH2 0x08d3
000017b3: JUMP
000017b4: JUMPDEST
000017b5: PUSH2 0x1200
000017b8: PUSH2 0x27d1
000017bb: JUMP
000017bc: JUMPDEST
000017bd: PUSH1 0x06
000017bf: SLOAD
000017c0: PUSH1 0x01
000017c2: PUSH1 0x01
000017c4: PUSH1 0xa0
000017c6: SHL
000017c7: SUB
000017c8: AND
000017c9: CALLER
000017ca: EQ
000017cb: PUSH2 0x1816
000017ce: JUMPI
000017cf: PUSH1 0x40
000017d1: MLOAD
000017d2: PUSH3 0x461bcd
000017d6: PUSH1 0xe5
000017d8: SHL
000017d9: DUP2
000017da: MSTORE
000017db: PUSH1 0x20
000017dd: PUSH1 0x04
000017df: DUP3
000017e0: ADD
000017e1: DUP2
000017e2: SWAP1
000017e3: MSTORE
000017e4: PUSH1 0x24
000017e6: DUP3
000017e7: ADD
000017e8: MSTORE
000017e9: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
0000180a: PUSH1 0x44
0000180c: DUP3
0000180d: ADD
0000180e: MSTORE
0000180f: PUSH1 0x64
00001811: ADD
00001812: PUSH2 0x08d3
00001815: JUMP
00001816: JUMPDEST
00001817: PUSH1 0x06
00001819: SLOAD
0000181a: PUSH1 0x01
0000181c: PUSH1 0xa0
0000181e: SHL
0000181f: SWAP1
00001820: DIV
00001821: PUSH1 0xff
00001823: AND
00001824: ISZERO
00001825: PUSH2 0x1870
00001828: JUMPI
00001829: PUSH1 0x40
0000182b: MLOAD
0000182c: PUSH3 0x461bcd
00001830: PUSH1 0xe5
00001832: SHL
00001833: DUP2
00001834: MSTORE
00001835: PUSH1 0x20
00001837: PUSH1 0x04
00001839: DUP3
0000183a: ADD
0000183b: MSTORE
0000183c: PUSH1 0x10
0000183e: PUSH1 0x24
00001840: DUP3
00001841: ADD
00001842: MSTORE
00001843: PUSH32 0x5061757361626c653a2070617573656400000000000000000000000000000000
00001864: PUSH1 0x44
00001866: DUP3
00001867: ADD
00001868: MSTORE
00001869: PUSH1 0x64
0000186b: ADD
0000186c: PUSH2 0x08d3
0000186f: JUMP
00001870: JUMPDEST
00001871: PUSH1 0x0a
00001873: SSTORE
00001874: JUMP
00001875: JUMPDEST
00001876: PUSH1 0x06
00001878: SLOAD
00001879: PUSH1 0x01
0000187b: PUSH1 0x01
0000187d: PUSH1 0xa0
0000187f: SHL
00001880: SUB
00001881: AND
00001882: CALLER
00001883: EQ
00001884: PUSH2 0x18cf
00001887: JUMPI
00001888: PUSH1 0x40
0000188a: MLOAD
0000188b: PUSH3 0x461bcd
0000188f: PUSH1 0xe5
00001891: SHL
00001892: DUP2
00001893: MSTORE
00001894: PUSH1 0x20
00001896: PUSH1 0x04
00001898: DUP3
00001899: ADD
0000189a: DUP2
0000189b: SWAP1
0000189c: MSTORE
0000189d: PUSH1 0x24
0000189f: DUP3
000018a0: ADD
000018a1: MSTORE
000018a2: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000018c3: PUSH1 0x44
000018c5: DUP3
000018c6: ADD
000018c7: MSTORE
000018c8: PUSH1 0x64
000018ca: ADD
000018cb: PUSH2 0x08d3
000018ce: JUMP
000018cf: JUMPDEST
000018d0: PUSH2 0x1200
000018d3: PUSH2 0x2991
000018d6: JUMP
000018d7: JUMPDEST
000018d8: PUSH1 0x07
000018da: PUSH1 0x20
000018dc: MSTORE
000018dd: DUP2
000018de: PUSH1 0x00
000018e0: MSTORE
000018e1: PUSH1 0x40
000018e3: PUSH1 0x00
000018e5: KECCAK256
000018e6: DUP2
000018e7: DUP2
000018e8: SLOAD
000018e9: DUP2
000018ea: LT
000018eb: PUSH2 0x18f3
000018ee: JUMPI
000018ef: PUSH1 0x00
000018f1: DUP1
000018f2: REVERT
000018f3: JUMPDEST
000018f4: PUSH1 0x00
000018f6: SWAP2
000018f7: DUP3
000018f8: MSTORE
000018f9: PUSH1 0x20
000018fb: SWAP1
000018fc: SWAP2
000018fd: KECCAK256
000018fe: ADD
000018ff: SLOAD
00001900: PUSH1 0x01
00001902: PUSH1 0x01
00001904: PUSH1 0xa0
00001906: SHL
00001907: SUB
00001908: DUP2
00001909: AND
0000190a: SWAP3
0000190b: POP
0000190c: PUSH1 0x01
0000190e: PUSH1 0xa0
00001910: SHL
00001911: SWAP1
00001912: DIV
00001913: PUSH12 0xffffffffffffffffffffffff
00001920: AND
00001921: SWAP1
00001922: POP
00001923: DUP3
00001924: JUMP
00001925: JUMPDEST
00001926: PUSH1 0x60
00001928: PUSH1 0x01
0000192a: DUP1
0000192b: SLOAD
0000192c: PUSH2 0x07ca
0000192f: SWAP1
00001930: PUSH2 0x3a96
00001933: JUMP
00001934: JUMPDEST
00001935: PUSH1 0x09
00001937: DUP1
00001938: SLOAD
00001939: PUSH2 0x1941
0000193c: SWAP1
0000193d: PUSH2 0x3a96
00001940: JUMP
00001941: JUMPDEST
00001942: DUP1
00001943: PUSH1 0x1f
00001945: ADD
00001946: PUSH1 0x20
00001948: DUP1
00001949: SWAP2
0000194a: DIV
0000194b: MUL
0000194c: PUSH1 0x20
0000194e: ADD
0000194f: PUSH1 0x40
00001951: MLOAD
00001952: SWAP1
00001953: DUP2
00001954: ADD
00001955: PUSH1 0x40
00001957: MSTORE
00001958: DUP1
00001959: SWAP3
0000195a: SWAP2
0000195b: SWAP1
0000195c: DUP2
0000195d: DUP2
0000195e: MSTORE
0000195f: PUSH1 0x20
00001961: ADD
00001962: DUP3
00001963: DUP1
00001964: SLOAD
00001965: PUSH2 0x196d
00001968: SWAP1
00001969: PUSH2 0x3a96
0000196c: JUMP
0000196d: JUMPDEST
0000196e: DUP1
0000196f: ISZERO
00001970: PUSH2 0x19ba
00001973: JUMPI
00001974: DUP1
00001975: PUSH1 0x1f
00001977: LT
00001978: PUSH2 0x198f
0000197b: JUMPI
0000197c: PUSH2 0x0100
0000197f: DUP1
00001980: DUP4
00001981: SLOAD
00001982: DIV
00001983: MUL
00001984: DUP4
00001985: MSTORE
00001986: SWAP2
00001987: PUSH1 0x20
00001989: ADD
0000198a: SWAP2
0000198b: PUSH2 0x19ba
0000198e: JUMP
0000198f: JUMPDEST
00001990: DUP3
00001991: ADD
00001992: SWAP2
00001993: SWAP1
00001994: PUSH1 0x00
00001996: MSTORE
00001997: PUSH1 0x20
00001999: PUSH1 0x00
0000199b: KECCAK256
0000199c: SWAP1
0000199d: JUMPDEST
0000199e: DUP2
0000199f: SLOAD
000019a0: DUP2
000019a1: MSTORE
000019a2: SWAP1
000019a3: PUSH1 0x01
000019a5: ADD
000019a6: SWAP1
000019a7: PUSH1 0x20
000019a9: ADD
000019aa: DUP1
000019ab: DUP4
000019ac: GT
000019ad: PUSH2 0x199d
000019b0: JUMPI
000019b1: DUP3
000019b2: SWAP1
000019b3: SUB
000019b4: PUSH1 0x1f
000019b6: AND
000019b7: DUP3
000019b8: ADD
000019b9: SWAP2
000019ba: JUMPDEST
000019bb: POP
000019bc: POP
000019bd: POP
000019be: POP
000019bf: POP
000019c0: DUP2
000019c1: JUMP
000019c2: JUMPDEST
000019c3: PUSH2 0x10a8
000019c6: CALLER
000019c7: DUP4
000019c8: DUP4
000019c9: PUSH2 0x2a41
000019cc: JUMP
000019cd: JUMPDEST
000019ce: PUSH1 0x00
000019d0: PUSH1 0x01
000019d2: PUSH2 0x19da
000019d5: PUSH1 0x08
000019d7: SLOAD
000019d8: SWAP1
000019d9: JUMP
000019da: JUMPDEST
000019db: PUSH2 0x19e4
000019de: SWAP2
000019df: SWAP1
000019e0: PUSH2 0x3a53
000019e3: JUMP
000019e4: JUMPDEST
000019e5: SWAP1
000019e6: POP
000019e7: SWAP1
000019e8: JUMP
000019e9: JUMPDEST
000019ea: PUSH2 0x19f3
000019ed: CALLER
000019ee: DUP4
000019ef: PUSH2 0x21f0
000019f2: JUMP
000019f3: JUMPDEST
000019f4: PUSH2 0x1a65
000019f7: JUMPI
000019f8: PUSH1 0x40
000019fa: MLOAD
000019fb: PUSH3 0x461bcd
000019ff: PUSH1 0xe5
00001a01: SHL
00001a02: DUP2
00001a03: MSTORE
00001a04: PUSH1 0x20
00001a06: PUSH1 0x04
00001a08: DUP3
00001a09: ADD
00001a0a: MSTORE
00001a0b: PUSH1 0x31
00001a0d: PUSH1 0x24
00001a0f: DUP3
00001a10: ADD
00001a11: MSTORE
00001a12: PUSH32 0x4552433732313a207472616e736665722063616c6c6572206973206e6f74206f
00001a33: PUSH1 0x44
00001a35: DUP3
00001a36: ADD
00001a37: MSTORE
00001a38: PUSH32 0x776e6572206e6f7220617070726f766564000000000000000000000000000000
00001a59: PUSH1 0x64
00001a5b: DUP3
00001a5c: ADD
00001a5d: MSTORE
00001a5e: PUSH1 0x84
00001a60: ADD
00001a61: PUSH2 0x08d3
00001a64: JUMP
00001a65: JUMPDEST
00001a66: PUSH2 0x0d96
00001a69: DUP5
00001a6a: DUP5
00001a6b: DUP5
00001a6c: DUP5
00001a6d: PUSH2 0x2b10
00001a70: JUMP
00001a71: JUMPDEST
00001a72: PUSH1 0x00
00001a74: DUP2
00001a75: DUP2
00001a76: MSTORE
00001a77: PUSH1 0x02
00001a79: PUSH1 0x20
00001a7b: MSTORE
00001a7c: PUSH1 0x40
00001a7e: SWAP1
00001a7f: KECCAK256
00001a80: SLOAD
00001a81: PUSH1 0x60
00001a83: SWAP1
00001a84: PUSH1 0x01
00001a86: PUSH1 0x01
00001a88: PUSH1 0xa0
00001a8a: SHL
00001a8b: SUB
00001a8c: AND
00001a8d: PUSH2 0x1ad8
00001a90: JUMPI
00001a91: PUSH1 0x40
00001a93: MLOAD
00001a94: PUSH3 0x461bcd
00001a98: PUSH1 0xe5
00001a9a: SHL
00001a9b: DUP2
00001a9c: MSTORE
00001a9d: PUSH1 0x20
00001a9f: PUSH1 0x04
00001aa1: DUP3
00001aa2: ADD
00001aa3: MSTORE
00001aa4: PUSH1 0x1f
00001aa6: PUSH1 0x24
00001aa8: DUP3
00001aa9: ADD
00001aaa: MSTORE
00001aab: PUSH32 0x55524920717565727920666f72206e6f6e6578697374656e7420746f6b656e00
00001acc: PUSH1 0x44
00001ace: DUP3
00001acf: ADD
00001ad0: MSTORE
00001ad1: PUSH1 0x64
00001ad3: ADD
00001ad4: PUSH2 0x08d3
00001ad7: JUMP
00001ad8: JUMPDEST
00001ad9: PUSH1 0x00
00001adb: DUP3
00001adc: DUP2
00001add: MSTORE
00001ade: PUSH1 0x0d
00001ae0: PUSH1 0x20
00001ae2: MSTORE
00001ae3: PUSH1 0x40
00001ae5: DUP2
00001ae6: KECCAK256
00001ae7: SLOAD
00001ae8: PUSH1 0xff
00001aea: AND
00001aeb: SWAP1
00001aec: DUP2
00001aed: PUSH1 0x03
00001aef: DUP2
00001af0: GT
00001af1: ISZERO
00001af2: PUSH2 0x1b0b
00001af5: JUMPI
00001af6: PUSH4 0x4e487b71
00001afb: PUSH1 0xe0
00001afd: SHL
00001afe: PUSH1 0x00
00001b00: MSTORE
00001b01: PUSH1 0x21
00001b03: PUSH1 0x04
00001b05: MSTORE
00001b06: PUSH1 0x24
00001b08: PUSH1 0x00
00001b0a: REVERT
00001b0b: JUMPDEST
00001b0c: SWAP1
00001b0d: POP
00001b0e: PUSH1 0x00
00001b10: PUSH2 0x1b18
00001b13: DUP3
00001b14: PUSH2 0x2b99
00001b17: JUMP
00001b18: JUMPDEST
00001b19: SWAP1
00001b1a: POP
00001b1b: PUSH1 0x09
00001b1d: DUP2
00001b1e: PUSH1 0x40
00001b20: MLOAD
00001b21: PUSH1 0x20
00001b23: ADD
00001b24: PUSH2 0x1b2e
00001b27: SWAP3
00001b28: SWAP2
00001b29: SWAP1
00001b2a: PUSH2 0x3840
00001b2d: JUMP
00001b2e: JUMPDEST
00001b2f: PUSH1 0x40
00001b31: MLOAD
00001b32: PUSH1 0x20
00001b34: DUP2
00001b35: DUP4
00001b36: SUB
00001b37: SUB
00001b38: DUP2
00001b39: MSTORE
00001b3a: SWAP1
00001b3b: PUSH1 0x40
00001b3d: MSTORE
00001b3e: SWAP4
00001b3f: POP
00001b40: POP
00001b41: POP
00001b42: POP
00001b43: SWAP2
00001b44: SWAP1
00001b45: POP
00001b46: JUMP
00001b47: JUMPDEST
00001b48: PUSH1 0x60
00001b4a: PUSH1 0x07
00001b4c: PUSH1 0x00
00001b4e: DUP4
00001b4f: DUP2
00001b50: MSTORE
00001b51: PUSH1 0x20
00001b53: ADD
00001b54: SWAP1
00001b55: DUP2
00001b56: MSTORE
00001b57: PUSH1 0x20
00001b59: ADD
00001b5a: PUSH1 0x00
00001b5c: KECCAK256
00001b5d: DUP1
00001b5e: SLOAD
00001b5f: DUP1
00001b60: PUSH1 0x20
00001b62: MUL
00001b63: PUSH1 0x20
00001b65: ADD
00001b66: PUSH1 0x40
00001b68: MLOAD
00001b69: SWAP1
00001b6a: DUP2
00001b6b: ADD
00001b6c: PUSH1 0x40
00001b6e: MSTORE
00001b6f: DUP1
00001b70: SWAP3
00001b71: SWAP2
00001b72: SWAP1
00001b73: DUP2
00001b74: DUP2
00001b75: MSTORE
00001b76: PUSH1 0x20
00001b78: ADD
00001b79: PUSH1 0x00
00001b7b: SWAP1
00001b7c: JUMPDEST
00001b7d: DUP3
00001b7e: DUP3
00001b7f: LT
00001b80: ISZERO
00001b81: PUSH2 0x1bd0
00001b84: JUMPI
00001b85: PUSH1 0x00
00001b87: DUP5
00001b88: DUP2
00001b89: MSTORE
00001b8a: PUSH1 0x20
00001b8c: SWAP1
00001b8d: DUP2
00001b8e: SWAP1
00001b8f: KECCAK256
00001b90: PUSH1 0x40
00001b92: DUP1
00001b93: MLOAD
00001b94: DUP1
00001b95: DUP3
00001b96: ADD
00001b97: SWAP1
00001b98: SWAP2
00001b99: MSTORE
00001b9a: SWAP1
00001b9b: DUP5
00001b9c: ADD
00001b9d: SLOAD
00001b9e: PUSH1 0x01
00001ba0: PUSH1 0x01
00001ba2: PUSH1 0xa0
00001ba4: SHL
00001ba5: SUB
00001ba6: DUP2
00001ba7: AND
00001ba8: DUP3
00001ba9: MSTORE
00001baa: PUSH1 0x01
00001bac: PUSH1 0xa0
00001bae: SHL
00001baf: SWAP1
00001bb0: DIV
00001bb1: PUSH12 0xffffffffffffffffffffffff
00001bbe: AND
00001bbf: DUP2
00001bc0: DUP4
00001bc1: ADD
00001bc2: MSTORE
00001bc3: DUP3
00001bc4: MSTORE
00001bc5: PUSH1 0x01
00001bc7: SWAP1
00001bc8: SWAP3
00001bc9: ADD
00001bca: SWAP2
00001bcb: ADD
00001bcc: PUSH2 0x1b7c
00001bcf: JUMP
00001bd0: JUMPDEST
00001bd1: POP
00001bd2: POP
00001bd3: POP
00001bd4: POP
00001bd5: SWAP1
00001bd6: POP
00001bd7: SWAP2
00001bd8: SWAP1
00001bd9: POP
00001bda: JUMP
00001bdb: JUMPDEST
00001bdc: PUSH1 0x06
00001bde: SLOAD
00001bdf: PUSH1 0x01
00001be1: PUSH1 0x01
00001be3: PUSH1 0xa0
00001be5: SHL
00001be6: SUB
00001be7: AND
00001be8: CALLER
00001be9: EQ
00001bea: PUSH2 0x1c35
00001bed: JUMPI
00001bee: PUSH1 0x40
00001bf0: MLOAD
00001bf1: PUSH3 0x461bcd
00001bf5: PUSH1 0xe5
00001bf7: SHL
00001bf8: DUP2
00001bf9: MSTORE
00001bfa: PUSH1 0x20
00001bfc: PUSH1 0x04
00001bfe: DUP3
00001bff: ADD
00001c00: DUP2
00001c01: SWAP1
00001c02: MSTORE
00001c03: PUSH1 0x24
00001c05: DUP3
00001c06: ADD
00001c07: MSTORE
00001c08: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001c29: PUSH1 0x44
00001c2b: DUP3
00001c2c: ADD
00001c2d: MSTORE
00001c2e: PUSH1 0x64
00001c30: ADD
00001c31: PUSH2 0x08d3
00001c34: JUMP
00001c35: JUMPDEST
00001c36: PUSH1 0x06
00001c38: SLOAD
00001c39: PUSH1 0x01
00001c3b: PUSH1 0xa0
00001c3d: SHL
00001c3e: SWAP1
00001c3f: DIV
00001c40: PUSH1 0xff
00001c42: AND
00001c43: ISZERO
00001c44: PUSH2 0x1c8f
00001c47: JUMPI
00001c48: PUSH1 0x40
00001c4a: MLOAD
00001c4b: PUSH3 0x461bcd
00001c4f: PUSH1 0xe5
00001c51: SHL
00001c52: DUP2
00001c53: MSTORE
00001c54: PUSH1 0x20
00001c56: PUSH1 0x04
00001c58: DUP3
00001c59: ADD
00001c5a: MSTORE
00001c5b: PUSH1 0x10
00001c5d: PUSH1 0x24
00001c5f: DUP3
00001c60: ADD
00001c61: MSTORE
00001c62: PUSH32 0x5061757361626c653a2070617573656400000000000000000000000000000000
00001c83: PUSH1 0x44
00001c85: DUP3
00001c86: ADD
00001c87: MSTORE
00001c88: PUSH1 0x64
00001c8a: ADD
00001c8b: PUSH2 0x08d3
00001c8e: JUMP
00001c8f: JUMPDEST
00001c90: PUSH1 0x0b
00001c92: DUP1
00001c93: SLOAD
00001c94: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00001cb5: AND
00001cb6: PUSH1 0x01
00001cb8: PUSH1 0x01
00001cba: PUSH1 0xa0
00001cbc: SHL
00001cbd: SUB
00001cbe: SWAP3
00001cbf: SWAP1
00001cc0: SWAP3
00001cc1: AND
00001cc2: SWAP2
00001cc3: SWAP1
00001cc4: SWAP2
00001cc5: OR
00001cc6: SWAP1
00001cc7: SSTORE
00001cc8: JUMP
00001cc9: JUMPDEST
00001cca: PUSH1 0x0b
00001ccc: SLOAD
00001ccd: PUSH1 0x00
00001ccf: SWAP1
00001cd0: PUSH1 0x01
00001cd2: PUSH1 0x01
00001cd4: PUSH1 0xa0
00001cd6: SHL
00001cd7: SUB
00001cd8: AND
00001cd9: ISZERO
00001cda: PUSH2 0x1d93
00001cdd: JUMPI
00001cde: PUSH1 0x0b
00001ce0: SLOAD
00001ce1: PUSH1 0x40
00001ce3: MLOAD
00001ce4: PUSH32 0xc455279100000000000000000000000000000000000000000000000000000000
00001d05: DUP2
00001d06: MSTORE
00001d07: PUSH1 0x01
00001d09: PUSH1 0x01
00001d0b: PUSH1 0xa0
00001d0d: SHL
00001d0e: SUB
00001d0f: DUP6
00001d10: DUP2
00001d11: AND
00001d12: PUSH1 0x04
00001d14: DUP4
00001d15: ADD
00001d16: MSTORE
00001d17: SWAP2
00001d18: DUP3
00001d19: AND
00001d1a: SWAP2
00001d1b: DUP5
00001d1c: AND
00001d1d: SWAP1
00001d1e: DUP3
00001d1f: SWAP1
00001d20: PUSH4 0xc4552791
00001d25: SWAP1
00001d26: PUSH1 0x24
00001d28: ADD
00001d29: PUSH1 0x20
00001d2b: PUSH1 0x40
00001d2d: MLOAD
00001d2e: DUP1
00001d2f: DUP4
00001d30: SUB
00001d31: DUP2
00001d32: DUP7
00001d33: DUP1
00001d34: EXTCODESIZE
00001d35: ISZERO
00001d36: DUP1
00001d37: ISZERO
00001d38: PUSH2 0x1d40
00001d3b: JUMPI
00001d3c: PUSH1 0x00
00001d3e: DUP1
00001d3f: REVERT
00001d40: JUMPDEST
00001d41: POP
00001d42: GAS
00001d43: STATICCALL
00001d44: ISZERO
00001d45: DUP1
00001d46: ISZERO
00001d47: PUSH2 0x1d54
00001d4a: JUMPI
00001d4b: RETURNDATASIZE
00001d4c: PUSH1 0x00
00001d4e: DUP1
00001d4f: RETURNDATACOPY
00001d50: RETURNDATASIZE
00001d51: PUSH1 0x00
00001d53: REVERT
00001d54: JUMPDEST
00001d55: POP
00001d56: POP
00001d57: POP
00001d58: POP
00001d59: PUSH1 0x40
00001d5b: MLOAD
00001d5c: RETURNDATASIZE
00001d5d: PUSH1 0x1f
00001d5f: NOT
00001d60: PUSH1 0x1f
00001d62: DUP3
00001d63: ADD
00001d64: AND
00001d65: DUP3
00001d66: ADD
00001d67: DUP1
00001d68: PUSH1 0x40
00001d6a: MSTORE
00001d6b: POP
00001d6c: DUP2
00001d6d: ADD
00001d6e: SWAP1
00001d6f: PUSH2 0x1d78
00001d72: SWAP2
00001d73: SWAP1
00001d74: PUSH2 0x36c8
00001d77: JUMP
00001d78: JUMPDEST
00001d79: PUSH1 0x01
00001d7b: PUSH1 0x01
00001d7d: PUSH1 0xa0
00001d7f: SHL
00001d80: SUB
00001d81: AND
00001d82: EQ
00001d83: ISZERO
00001d84: PUSH2 0x1d91
00001d87: JUMPI
00001d88: PUSH1 0x01
00001d8a: SWAP2
00001d8b: POP
00001d8c: POP
00001d8d: PUSH2 0x07b5
00001d90: JUMP
00001d91: JUMPDEST
00001d92: POP
00001d93: JUMPDEST
00001d94: PUSH1 0x01
00001d96: PUSH1 0x01
00001d98: PUSH1 0xa0
00001d9a: SHL
00001d9b: SUB
00001d9c: DUP1
00001d9d: DUP5
00001d9e: AND
00001d9f: PUSH1 0x00
00001da1: SWAP1
00001da2: DUP2
00001da3: MSTORE
00001da4: PUSH1 0x05
00001da6: PUSH1 0x20
00001da8: SWAP1
00001da9: DUP2
00001daa: MSTORE
00001dab: PUSH1 0x40
00001dad: DUP1
00001dae: DUP4
00001daf: KECCAK256
00001db0: SWAP4
00001db1: DUP7
00001db2: AND
00001db3: DUP4
00001db4: MSTORE
00001db5: SWAP3
00001db6: SWAP1
00001db7: MSTORE
00001db8: KECCAK256
00001db9: SLOAD
00001dba: PUSH1 0xff
00001dbc: AND
00001dbd: JUMPDEST
00001dbe: SWAP4
00001dbf: SWAP3
00001dc0: POP
00001dc1: POP
00001dc2: POP
00001dc3: JUMP
00001dc4: JUMPDEST
00001dc5: PUSH2 0x1dcc
00001dc8: PUSH2 0x33f2
00001dcb: JUMP
00001dcc: JUMPDEST
00001dcd: POP
00001dce: PUSH1 0x40
00001dd0: DUP1
00001dd1: MLOAD
00001dd2: PUSH1 0x80
00001dd4: DUP2
00001dd5: ADD
00001dd6: DUP3
00001dd7: MSTORE
00001dd8: PUSH32 0x13649b2456f1b42fef0f0040b3aaeabcd21a76a0f3f5defd4f583839455116e8
00001df9: SLOAD
00001dfa: DUP2
00001dfb: MSTORE
00001dfc: PUSH32 0xd421a5181c571bba3f01190c922c3b2a896fc1d84e86c9f17ac10e67ebef8b5c
00001e1d: SLOAD
00001e1e: PUSH1 0x20
00001e20: DUP1
00001e21: DUP4
00001e22: ADD
00001e23: SWAP2
00001e24: SWAP1
00001e25: SWAP2
00001e26: MSTORE
00001e27: PUSH32 0x5d6016397a73f5e079297ac5a36fef17b4d9c3831618e63ab105738020ddd720
00001e48: SLOAD
00001e49: SWAP3
00001e4a: DUP3
00001e4b: ADD
00001e4c: SWAP3
00001e4d: SWAP1
00001e4e: SWAP3
00001e4f: MSTORE
00001e50: PUSH1 0x03
00001e52: PUSH1 0x00
00001e54: MSTORE
00001e55: PUSH1 0x0c
00001e57: SWAP1
00001e58: SWAP2
00001e59: MSTORE
00001e5a: PUSH32 0xc0da782485e77ae272268ae0a3ff44c1552ecb60b3743924de17a815e0a3cfd7
00001e7b: SLOAD
00001e7c: PUSH1 0x60
00001e7e: DUP3
00001e7f: ADD
00001e80: MSTORE
00001e81: SWAP1
00001e82: JUMP
00001e83: JUMPDEST
00001e84: PUSH1 0x00
00001e86: PUSH2 0x19e4
00001e89: PUSH1 0x08
00001e8b: SLOAD
00001e8c: SWAP1
00001e8d: JUMP
00001e8e: JUMPDEST
00001e8f: PUSH1 0x06
00001e91: SLOAD
00001e92: PUSH1 0x01
00001e94: PUSH1 0x01
00001e96: PUSH1 0xa0
00001e98: SHL
00001e99: SUB
00001e9a: AND
00001e9b: CALLER
00001e9c: EQ
00001e9d: PUSH2 0x1ee8
00001ea0: JUMPI
00001ea1: PUSH1 0x40
00001ea3: MLOAD
00001ea4: PUSH3 0x461bcd
00001ea8: PUSH1 0xe5
00001eaa: SHL
00001eab: DUP2
00001eac: MSTORE
00001ead: PUSH1 0x20
00001eaf: PUSH1 0x04
00001eb1: DUP3
00001eb2: ADD
00001eb3: DUP2
00001eb4: SWAP1
00001eb5: MSTORE
00001eb6: PUSH1 0x24
00001eb8: DUP3
00001eb9: ADD
00001eba: MSTORE
00001ebb: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001edc: PUSH1 0x44
00001ede: DUP3
00001edf: ADD
00001ee0: MSTORE
00001ee1: PUSH1 0x64
00001ee3: ADD
00001ee4: PUSH2 0x08d3
00001ee7: JUMP
00001ee8: JUMPDEST
00001ee9: PUSH1 0x01
00001eeb: PUSH1 0x01
00001eed: PUSH1 0xa0
00001eef: SHL
00001ef0: SUB
00001ef1: DUP2
00001ef2: AND
00001ef3: PUSH2 0x1f64
00001ef6: JUMPI
00001ef7: PUSH1 0x40
00001ef9: MLOAD
00001efa: PUSH3 0x461bcd
00001efe: PUSH1 0xe5
00001f00: SHL
00001f01: DUP2
00001f02: MSTORE
00001f03: PUSH1 0x20
00001f05: PUSH1 0x04
00001f07: DUP3
00001f08: ADD
00001f09: MSTORE
00001f0a: PUSH1 0x26
00001f0c: PUSH1 0x24
00001f0e: DUP3
00001f0f: ADD
00001f10: MSTORE
00001f11: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00001f32: PUSH1 0x44
00001f34: DUP3
00001f35: ADD
00001f36: MSTORE
00001f37: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000
00001f58: PUSH1 0x64
00001f5a: DUP3
00001f5b: ADD
00001f5c: MSTORE
00001f5d: PUSH1 0x84
00001f5f: ADD
00001f60: PUSH2 0x08d3
00001f63: JUMP
00001f64: JUMPDEST
00001f65: PUSH2 0x1f6d
00001f68: DUP2
00001f69: PUSH2 0x2767
00001f6c: JUMP
00001f6d: JUMPDEST
00001f6e: POP
00001f6f: JUMP
00001f70: JUMPDEST
00001f71: DUP1
00001f72: SLOAD
00001f73: PUSH1 0x01
00001f75: ADD
00001f76: SWAP1
00001f77: SSTORE
00001f78: JUMP
00001f79: JUMPDEST
00001f7a: PUSH1 0x00
00001f7c: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00001f9d: DUP3
00001f9e: AND
00001f9f: PUSH32 0x80ac58cd00000000000000000000000000000000000000000000000000000000
00001fc0: EQ
00001fc1: DUP1
00001fc2: PUSH2 0x200c
00001fc5: JUMPI
00001fc6: POP
00001fc7: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00001fe8: DUP3
00001fe9: AND
00001fea: PUSH32 0x5b5e139f00000000000000000000000000000000000000000000000000000000
0000200b: EQ
0000200c: JUMPDEST
0000200d: DUP1
0000200e: PUSH2 0x07b5
00002011: JUMPI
00002012: POP
00002013: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000
00002034: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00002055: DUP4
00002056: AND
00002057: EQ
00002058: PUSH2 0x07b5
0000205b: JUMP
0000205c: JUMPDEST
0000205d: PUSH1 0x00
0000205f: DUP2
00002060: DUP2
00002061: MSTORE
00002062: PUSH1 0x04
00002064: PUSH1 0x20
00002066: MSTORE
00002067: PUSH1 0x40
00002069: SWAP1
0000206a: KECCAK256
0000206b: DUP1
0000206c: SLOAD
0000206d: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
0000208e: AND
0000208f: PUSH1 0x01
00002091: PUSH1 0x01
00002093: PUSH1 0xa0
00002095: SHL
00002096: SUB
00002097: DUP5
00002098: AND
00002099: SWAP1
0000209a: DUP2
0000209b: OR
0000209c: SWAP1
0000209d: SWAP2
0000209e: SSTORE
0000209f: DUP2
000020a0: SWAP1
000020a1: PUSH2 0x20a9
000020a4: DUP3
000020a5: PUSH2 0x1566
000020a8: JUMP
000020a9: JUMPDEST
000020aa: PUSH1 0x01
000020ac: PUSH1 0x01
000020ae: PUSH1 0xa0
000020b0: SHL
000020b1: SUB
000020b2: AND
000020b3: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
000020d4: PUSH1 0x40
000020d6: MLOAD
000020d7: PUSH1 0x40
000020d9: MLOAD
000020da: DUP1
000020db: SWAP2
000020dc: SUB
000020dd: SWAP1
000020de: LOG4
000020df: POP
000020e0: POP
000020e1: JUMP
000020e2: JUMPDEST
000020e3: PUSH1 0x00
000020e5: DUP3
000020e6: PUSH2 0x20ef
000020e9: DUP6
000020ea: DUP5
000020eb: PUSH2 0x2ce7
000020ee: JUMP
000020ef: JUMPDEST
000020f0: EQ
000020f1: SWAP5
000020f2: SWAP4
000020f3: POP
000020f4: POP
000020f5: POP
000020f6: POP
000020f7: JUMP
000020f8: JUMPDEST
000020f9: PUSH2 0x2102
000020fc: DUP3
000020fd: DUP3
000020fe: PUSH2 0x2d69
00002101: JUMP
00002102: JUMPDEST
00002103: PUSH2 0x10a8
00002106: DUP2
00002107: PUSH2 0x2118
0000210a: PUSH1 0x06
0000210c: SLOAD
0000210d: PUSH1 0x01
0000210f: PUSH1 0x01
00002111: PUSH1 0xa0
00002113: SHL
00002114: SUB
00002115: AND
00002116: SWAP1
00002117: JUMP
00002118: JUMPDEST
00002119: PUSH2 0x07d0
0000211c: JUMPDEST
0000211d: PUSH1 0x40
0000211f: DUP1
00002120: MLOAD
00002121: PUSH1 0x01
00002123: DUP1
00002124: DUP3
00002125: MSTORE
00002126: DUP2
00002127: DUP4
00002128: ADD
00002129: SWAP1
0000212a: SWAP3
0000212b: MSTORE
0000212c: PUSH1 0x00
0000212e: SWAP2
0000212f: DUP2
00002130: PUSH1 0x20
00002132: ADD
00002133: JUMPDEST
00002134: PUSH1 0x40
00002136: DUP1
00002137: MLOAD
00002138: DUP1
00002139: DUP3
0000213a: ADD
0000213b: SWAP1
0000213c: SWAP2
0000213d: MSTORE
0000213e: PUSH1 0x00
00002140: DUP1
00002141: DUP3
00002142: MSTORE
00002143: PUSH1 0x20
00002145: DUP3
00002146: ADD
00002147: MSTORE
00002148: DUP2
00002149: MSTORE
0000214a: PUSH1 0x20
0000214c: ADD
0000214d: SWAP1
0000214e: PUSH1 0x01
00002150: SWAP1
00002151: SUB
00002152: SWAP1
00002153: DUP2
00002154: PUSH2 0x2133
00002157: JUMPI
00002158: SWAP1
00002159: POP
0000215a: POP
0000215b: SWAP1
0000215c: POP
0000215d: DUP2
0000215e: DUP2
0000215f: PUSH1 0x00
00002161: DUP2
00002162: MLOAD
00002163: DUP2
00002164: LT
00002165: PUSH2 0x217e
00002168: JUMPI
00002169: PUSH4 0x4e487b71
0000216e: PUSH1 0xe0
00002170: SHL
00002171: PUSH1 0x00
00002173: MSTORE
00002174: PUSH1 0x32
00002176: PUSH1 0x04
00002178: MSTORE
00002179: PUSH1 0x24
0000217b: PUSH1 0x00
0000217d: REVERT
0000217e: JUMPDEST
0000217f: PUSH1 0x20
00002181: MUL
00002182: PUSH1 0x20
00002184: ADD
00002185: ADD
00002186: MLOAD
00002187: PUSH1 0x20
00002189: ADD
0000218a: SWAP1
0000218b: PUSH12 0xffffffffffffffffffffffff
00002198: AND
00002199: SWAP1
0000219a: DUP2
0000219b: PUSH12 0xffffffffffffffffffffffff
000021a8: AND
000021a9: DUP2
000021aa: MSTORE
000021ab: POP
000021ac: POP
000021ad: DUP3
000021ae: DUP2
000021af: PUSH1 0x00
000021b1: DUP2
000021b2: MLOAD
000021b3: DUP2
000021b4: LT
000021b5: PUSH2 0x21ce
000021b8: JUMPI
000021b9: PUSH4 0x4e487b71
000021be: PUSH1 0xe0
000021c0: SHL
000021c1: PUSH1 0x00
000021c3: MSTORE
000021c4: PUSH1 0x32
000021c6: PUSH1 0x04
000021c8: MSTORE
000021c9: PUSH1 0x24
000021cb: PUSH1 0x00
000021cd: REVERT
000021ce: JUMPDEST
000021cf: PUSH1 0x20
000021d1: SWAP1
000021d2: DUP2
000021d3: MUL
000021d4: SWAP2
000021d5: SWAP1
000021d6: SWAP2
000021d7: ADD
000021d8: ADD
000021d9: MLOAD
000021da: PUSH1 0x01
000021dc: PUSH1 0x01
000021de: PUSH1 0xa0
000021e0: SHL
000021e1: SUB
000021e2: SWAP1
000021e3: SWAP2
000021e4: AND
000021e5: SWAP1
000021e6: MSTORE
000021e7: PUSH2 0x0d96
000021ea: DUP5
000021eb: DUP3
000021ec: PUSH2 0x2d83
000021ef: JUMP
000021f0: JUMPDEST
000021f1: PUSH1 0x00
000021f3: DUP2
000021f4: DUP2
000021f5: MSTORE
000021f6: PUSH1 0x02
000021f8: PUSH1 0x20
000021fa: MSTORE
000021fb: PUSH1 0x40
000021fd: DUP2
000021fe: KECCAK256
000021ff: SLOAD
00002200: PUSH1 0x01
00002202: PUSH1 0x01
00002204: PUSH1 0xa0
00002206: SHL
00002207: SUB
00002208: AND
00002209: PUSH2 0x227a
0000220c: JUMPI
0000220d: PUSH1 0x40
0000220f: MLOAD
00002210: PUSH3 0x461bcd
00002214: PUSH1 0xe5
00002216: SHL
00002217: DUP2
00002218: MSTORE
00002219: PUSH1 0x20
0000221b: PUSH1 0x04
0000221d: DUP3
0000221e: ADD
0000221f: MSTORE
00002220: PUSH1 0x2c
00002222: PUSH1 0x24
00002224: DUP3
00002225: ADD
00002226: MSTORE
00002227: PUSH32 0x4552433732313a206f70657261746f7220717565727920666f72206e6f6e6578
00002248: PUSH1 0x44
0000224a: DUP3
0000224b: ADD
0000224c: MSTORE
0000224d: PUSH32 0x697374656e7420746f6b656e0000000000000000000000000000000000000000
0000226e: PUSH1 0x64
00002270: DUP3
00002271: ADD
00002272: MSTORE
00002273: PUSH1 0x84
00002275: ADD
00002276: PUSH2 0x08d3
00002279: JUMP
0000227a: JUMPDEST
0000227b: PUSH1 0x00
0000227d: PUSH2 0x2285
00002280: DUP4
00002281: PUSH2 0x1566
00002284: JUMP
00002285: JUMPDEST
00002286: SWAP1
00002287: POP
00002288: DUP1
00002289: PUSH1 0x01
0000228b: PUSH1 0x01
0000228d: PUSH1 0xa0
0000228f: SHL
00002290: SUB
00002291: AND
00002292: DUP5
00002293: PUSH1 0x01
00002295: PUSH1 0x01
00002297: PUSH1 0xa0
00002299: SHL
0000229a: SUB
0000229b: AND
0000229c: EQ
0000229d: DUP1
0000229e: PUSH2 0x22c0
000022a1: JUMPI
000022a2: POP
000022a3: DUP4
000022a4: PUSH1 0x01
000022a6: PUSH1 0x01
000022a8: PUSH1 0xa0
000022aa: SHL
000022ab: SUB
000022ac: AND
000022ad: PUSH2 0x22b5
000022b0: DUP5
000022b1: PUSH2 0x084d
000022b4: JUMP
000022b5: JUMPDEST
000022b6: PUSH1 0x01
000022b8: PUSH1 0x01
000022ba: PUSH1 0xa0
000022bc: SHL
000022bd: SUB
000022be: AND
000022bf: EQ
000022c0: JUMPDEST
000022c1: DUP1
000022c2: PUSH2 0x22d0
000022c5: JUMPI
000022c6: POP
000022c7: PUSH2 0x22d0
000022ca: DUP2
000022cb: DUP6
000022cc: PUSH2 0x1cc9
000022cf: JUMP
000022d0: JUMPDEST
000022d1: SWAP5
000022d2: SWAP4
000022d3: POP
000022d4: POP
000022d5: POP
000022d6: POP
000022d7: JUMP
000022d8: JUMPDEST
000022d9: DUP3
000022da: PUSH1 0x01
000022dc: PUSH1 0x01
000022de: PUSH1 0xa0
000022e0: SHL
000022e1: SUB
000022e2: AND
000022e3: PUSH2 0x22eb
000022e6: DUP3
000022e7: PUSH2 0x1566
000022ea: JUMP
000022eb: JUMPDEST
000022ec: PUSH1 0x01
000022ee: PUSH1 0x01
000022f0: PUSH1 0xa0
000022f2: SHL
000022f3: SUB
000022f4: AND
000022f5: EQ
000022f6: PUSH2 0x2367
000022f9: JUMPI
000022fa: PUSH1 0x40
000022fc: MLOAD
000022fd: PUSH3 0x461bcd
00002301: PUSH1 0xe5
00002303: SHL
00002304: DUP2
00002305: MSTORE
00002306: PUSH1 0x20
00002308: PUSH1 0x04
0000230a: DUP3
0000230b: ADD
0000230c: MSTORE
0000230d: PUSH1 0x25
0000230f: PUSH1 0x24
00002311: DUP3
00002312: ADD
00002313: MSTORE
00002314: PUSH32 0x4552433732313a207472616e736665722066726f6d20696e636f727265637420
00002335: PUSH1 0x44
00002337: DUP3
00002338: ADD
00002339: MSTORE
0000233a: PUSH32 0x6f776e6572000000000000000000000000000000000000000000000000000000
0000235b: PUSH1 0x64
0000235d: DUP3
0000235e: ADD
0000235f: MSTORE
00002360: PUSH1 0x84
00002362: ADD
00002363: PUSH2 0x08d3
00002366: JUMP
00002367: JUMPDEST
00002368: PUSH1 0x01
0000236a: PUSH1 0x01
0000236c: PUSH1 0xa0
0000236e: SHL
0000236f: SUB
00002370: DUP3
00002371: AND
00002372: PUSH2 0x23e2
00002375: JUMPI
00002376: PUSH1 0x40
00002378: MLOAD
00002379: PUSH3 0x461bcd
0000237d: PUSH1 0xe5
0000237f: SHL
00002380: DUP2
00002381: MSTORE
00002382: PUSH1 0x20
00002384: PUSH1 0x04
00002386: DUP3
00002387: ADD
00002388: MSTORE
00002389: PUSH1 0x24
0000238b: DUP1
0000238c: DUP3
0000238d: ADD
0000238e: MSTORE
0000238f: PUSH32 0x4552433732313a207472616e7366657220746f20746865207a65726f20616464
000023b0: PUSH1 0x44
000023b2: DUP3
000023b3: ADD
000023b4: MSTORE
000023b5: PUSH32 0x7265737300000000000000000000000000000000000000000000000000000000
000023d6: PUSH1 0x64
000023d8: DUP3
000023d9: ADD
000023da: MSTORE
000023db: PUSH1 0x84
000023dd: ADD
000023de: PUSH2 0x08d3
000023e1: JUMP
000023e2: JUMPDEST
000023e3: PUSH2 0x23ed
000023e6: DUP4
000023e7: DUP4
000023e8: DUP4
000023e9: PUSH2 0x2f3b
000023ec: JUMP
000023ed: JUMPDEST
000023ee: PUSH2 0x23f8
000023f1: PUSH1 0x00
000023f3: DUP3
000023f4: PUSH2 0x205c
000023f7: JUMP
000023f8: JUMPDEST
000023f9: PUSH1 0x01
000023fb: PUSH1 0x01
000023fd: PUSH1 0xa0
000023ff: SHL
00002400: SUB
00002401: DUP4
00002402: AND
00002403: PUSH1 0x00
00002405: SWAP1
00002406: DUP2
00002407: MSTORE
00002408: PUSH1 0x03
0000240a: PUSH1 0x20
0000240c: MSTORE
0000240d: PUSH1 0x40
0000240f: DUP2
00002410: KECCAK256
00002411: DUP1
00002412: SLOAD
00002413: PUSH1 0x01
00002415: SWAP3
00002416: SWAP1
00002417: PUSH2 0x2421
0000241a: SWAP1
0000241b: DUP5
0000241c: SWAP1
0000241d: PUSH2 0x3a53
00002420: JUMP
00002421: JUMPDEST
00002422: SWAP1
00002423: SWAP2
00002424: SSTORE
00002425: POP
00002426: POP
00002427: PUSH1 0x01
00002429: PUSH1 0x01
0000242b: PUSH1 0xa0
0000242d: SHL
0000242e: SUB
0000242f: DUP3
00002430: AND
00002431: PUSH1 0x00
00002433: SWAP1
00002434: DUP2
00002435: MSTORE
00002436: PUSH1 0x03
00002438: PUSH1 0x20
0000243a: MSTORE
0000243b: PUSH1 0x40
0000243d: DUP2
0000243e: KECCAK256
0000243f: DUP1
00002440: SLOAD
00002441: PUSH1 0x01
00002443: SWAP3
00002444: SWAP1
00002445: PUSH2 0x244f
00002448: SWAP1
00002449: DUP5
0000244a: SWAP1
0000244b: PUSH2 0x39be
0000244e: JUMP
0000244f: JUMPDEST
00002450: SWAP1
00002451: SWAP2
00002452: SSTORE
00002453: POP
00002454: POP
00002455: PUSH1 0x00
00002457: DUP2
00002458: DUP2
00002459: MSTORE
0000245a: PUSH1 0x02
0000245c: PUSH1 0x20
0000245e: MSTORE
0000245f: PUSH1 0x40
00002461: DUP1
00002462: DUP3
00002463: KECCAK256
00002464: DUP1
00002465: SLOAD
00002466: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00002487: AND
00002488: PUSH1 0x01
0000248a: PUSH1 0x01
0000248c: PUSH1 0xa0
0000248e: SHL
0000248f: SUB
00002490: DUP7
00002491: DUP2
00002492: AND
00002493: SWAP2
00002494: DUP3
00002495: OR
00002496: SWAP1
00002497: SWAP3
00002498: SSTORE
00002499: SWAP2
0000249a: MLOAD
0000249b: DUP5
0000249c: SWAP4
0000249d: SWAP2
0000249e: DUP8
0000249f: AND
000024a0: SWAP2
000024a1: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000024c2: SWAP2
000024c3: LOG4
000024c4: POP
000024c5: POP
000024c6: POP
000024c7: JUMP
000024c8: JUMPDEST
000024c9: PUSH1 0x11
000024cb: SLOAD
000024cc: PUSH1 0x01
000024ce: PUSH1 0x00
000024d0: MSTORE
000024d1: PUSH1 0x0c
000024d3: PUSH1 0x20
000024d5: MSTORE
000024d6: PUSH32 0xd421a5181c571bba3f01190c922c3b2a896fc1d84e86c9f17ac10e67ebef8b5c
000024f7: SLOAD
000024f8: PUSH2 0x0100
000024fb: SWAP1
000024fc: SWAP2
000024fd: DIV
000024fe: PUSH8 0xffffffffffffffff
00002507: AND
00002508: GT
00002509: PUSH2 0x2554
0000250c: JUMPI
0000250d: PUSH1 0x40
0000250f: MLOAD
00002510: PUSH3 0x461bcd
00002514: PUSH1 0xe5
00002516: SHL
00002517: DUP2
00002518: MSTORE
00002519: PUSH1 0x20
0000251b: PUSH1 0x04
0000251d: DUP3
0000251e: ADD
0000251f: MSTORE
00002520: PUSH1 0x08
00002522: PUSH1 0x24
00002524: DUP3
00002525: ADD
00002526: MSTORE
00002527: PUSH32 0x536f6c64206f7574000000000000000000000000000000000000000000000000
00002548: PUSH1 0x44
0000254a: DUP3
0000254b: ADD
0000254c: MSTORE
0000254d: PUSH1 0x64
0000254f: ADD
00002550: PUSH2 0x08d3
00002553: JUMP
00002554: JUMPDEST
00002555: PUSH1 0x12
00002557: SLOAD
00002558: CALLVALUE
00002559: LT
0000255a: ISZERO
0000255b: PUSH2 0x25a6
0000255e: JUMPI
0000255f: PUSH1 0x40
00002561: MLOAD
00002562: PUSH3 0x461bcd
00002566: PUSH1 0xe5
00002568: SHL
00002569: DUP2
0000256a: MSTORE
0000256b: PUSH1 0x20
0000256d: PUSH1 0x04
0000256f: DUP3
00002570: ADD
00002571: MSTORE
00002572: PUSH1 0x0f
00002574: PUSH1 0x24
00002576: DUP3
00002577: ADD
00002578: MSTORE
00002579: PUSH32 0x4e6f7420656e6f7567682066756e640000000000000000000000000000000000
0000259a: PUSH1 0x44
0000259c: DUP3
0000259d: ADD
0000259e: MSTORE
0000259f: PUSH1 0x64
000025a1: ADD
000025a2: PUSH2 0x08d3
000025a5: JUMP
000025a6: JUMPDEST
000025a7: PUSH1 0x00
000025a9: PUSH2 0x25b1
000025ac: PUSH1 0x08
000025ae: SLOAD
000025af: SWAP1
000025b0: JUMP
000025b1: JUMPDEST
000025b2: CALLER
000025b3: PUSH1 0x00
000025b5: SWAP1
000025b6: DUP2
000025b7: MSTORE
000025b8: PUSH1 0x0e
000025ba: PUSH1 0x20
000025bc: MSTORE
000025bd: PUSH1 0x40
000025bf: DUP2
000025c0: KECCAK256
000025c1: DUP1
000025c2: SLOAD
000025c3: SWAP3
000025c4: SWAP4
000025c5: POP
000025c6: PUSH1 0x01
000025c8: SWAP3
000025c9: SWAP1
000025ca: SWAP2
000025cb: SWAP1
000025cc: PUSH2 0x25e0
000025cf: SWAP1
000025d0: DUP5
000025d1: SWAP1
000025d2: PUSH8 0xffffffffffffffff
000025db: AND
000025dc: PUSH2 0x39d6
000025df: JUMP
000025e0: JUMPDEST
000025e1: SWAP3
000025e2: POP
000025e3: PUSH2 0x0100
000025e6: EXP
000025e7: DUP2
000025e8: SLOAD
000025e9: DUP2
000025ea: PUSH8 0xffffffffffffffff
000025f3: MUL
000025f4: NOT
000025f5: AND
000025f6: SWAP1
000025f7: DUP4
000025f8: PUSH8 0xffffffffffffffff
00002601: AND
00002602: MUL
00002603: OR
00002604: SWAP1
00002605: SSTORE
00002606: POP
00002607: PUSH1 0x01
00002609: PUSH1 0x0c
0000260b: PUSH1 0x00
0000260d: PUSH1 0x01
0000260f: PUSH1 0x03
00002611: DUP2
00002612: GT
00002613: ISZERO
00002614: PUSH2 0x262d
00002617: JUMPI
00002618: PUSH4 0x4e487b71
0000261d: PUSH1 0xe0
0000261f: SHL
00002620: PUSH1 0x00
00002622: MSTORE
00002623: PUSH1 0x21
00002625: PUSH1 0x04
00002627: MSTORE
00002628: PUSH1 0x24
0000262a: PUSH1 0x00
0000262c: REVERT
0000262d: JUMPDEST
0000262e: PUSH1 0x03
00002630: DUP2
00002631: GT
00002632: ISZERO
00002633: PUSH2 0x264c
00002636: JUMPI
00002637: PUSH4 0x4e487b71
0000263c: PUSH1 0xe0
0000263e: SHL
0000263f: PUSH1 0x00
00002641: MSTORE
00002642: PUSH1 0x21
00002644: PUSH1 0x04
00002646: MSTORE
00002647: PUSH1 0x24
00002649: PUSH1 0x00
0000264b: REVERT
0000264c: JUMPDEST
0000264d: DUP2
0000264e: MSTORE
0000264f: PUSH1 0x20
00002651: ADD
00002652: SWAP1
00002653: DUP2
00002654: MSTORE
00002655: PUSH1 0x20
00002657: ADD
00002658: PUSH1 0x00
0000265a: KECCAK256
0000265b: PUSH1 0x00
0000265d: DUP3
0000265e: DUP3
0000265f: SLOAD
00002660: PUSH2 0x2669
00002663: SWAP2
00002664: SWAP1
00002665: PUSH2 0x39be
00002668: JUMP
00002669: JUMPDEST
0000266a: SWAP1
0000266b: SWAP2
0000266c: SSTORE
0000266d: POP
0000266e: POP
0000266f: PUSH1 0x00
00002671: DUP2
00002672: DUP2
00002673: MSTORE
00002674: PUSH1 0x0d
00002676: PUSH1 0x20
00002678: MSTORE
00002679: PUSH1 0x40
0000267b: SWAP1
0000267c: KECCAK256
0000267d: DUP1
0000267e: SLOAD
0000267f: PUSH1 0x01
00002681: SWAP2
00002682: SWAP1
00002683: PUSH1 0xff
00002685: NOT
00002686: AND
00002687: DUP3
00002688: DUP1
00002689: JUMPDEST
0000268a: MUL
0000268b: OR
0000268c: SWAP1
0000268d: SSTORE
0000268e: POP
0000268f: PUSH2 0x269c
00002692: PUSH1 0x08
00002694: DUP1
00002695: SLOAD
00002696: PUSH1 0x01
00002698: ADD
00002699: SWAP1
0000269a: SSTORE
0000269b: JUMP
0000269c: JUMPDEST
0000269d: PUSH2 0x1f6d
000026a0: CALLER
000026a1: DUP3
000026a2: PUSH2 0x20f8
000026a5: JUMP
000026a6: JUMPDEST
000026a7: PUSH1 0x06
000026a9: SLOAD
000026aa: PUSH1 0x01
000026ac: PUSH1 0xa0
000026ae: SHL
000026af: SWAP1
000026b0: DIV
000026b1: PUSH1 0xff
000026b3: AND
000026b4: PUSH2 0x26ff
000026b7: JUMPI
000026b8: PUSH1 0x40
000026ba: MLOAD
000026bb: PUSH3 0x461bcd
000026bf: PUSH1 0xe5
000026c1: SHL
000026c2: DUP2
000026c3: MSTORE
000026c4: PUSH1 0x20
000026c6: PUSH1 0x04
000026c8: DUP3
000026c9: ADD
000026ca: MSTORE
000026cb: PUSH1 0x14
000026cd: PUSH1 0x24
000026cf: DUP3
000026d0: ADD
000026d1: MSTORE
000026d2: PUSH32 0x5061757361626c653a206e6f7420706175736564000000000000000000000000
000026f3: PUSH1 0x44
000026f5: DUP3
000026f6: ADD
000026f7: MSTORE
000026f8: PUSH1 0x64
000026fa: ADD
000026fb: PUSH2 0x08d3
000026fe: JUMP
000026ff: JUMPDEST
00002700: PUSH1 0x06
00002702: DUP1
00002703: SLOAD
00002704: PUSH32 0xffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff
00002725: AND
00002726: SWAP1
00002727: SSTORE
00002728: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa
00002749: CALLER
0000274a: JUMPDEST
0000274b: PUSH1 0x40
0000274d: MLOAD
0000274e: PUSH1 0x01
00002750: PUSH1 0x01
00002752: PUSH1 0xa0
00002754: SHL
00002755: SUB
00002756: SWAP1
00002757: SWAP2
00002758: AND
00002759: DUP2
0000275a: MSTORE
0000275b: PUSH1 0x20
0000275d: ADD
0000275e: PUSH1 0x40
00002760: MLOAD
00002761: DUP1
00002762: SWAP2
00002763: SUB
00002764: SWAP1
00002765: LOG1
00002766: JUMP
00002767: JUMPDEST
00002768: PUSH1 0x06
0000276a: DUP1
0000276b: SLOAD
0000276c: PUSH1 0x01
0000276e: PUSH1 0x01
00002770: PUSH1 0xa0
00002772: SHL
00002773: SUB
00002774: DUP4
00002775: DUP2
00002776: AND
00002777: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00002798: DUP4
00002799: AND
0000279a: DUP2
0000279b: OR
0000279c: SWAP1
0000279d: SWAP4
0000279e: SSTORE
0000279f: PUSH1 0x40
000027a1: MLOAD
000027a2: SWAP2
000027a3: AND
000027a4: SWAP2
000027a5: SWAP1
000027a6: DUP3
000027a7: SWAP1
000027a8: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000027c9: SWAP1
000027ca: PUSH1 0x00
000027cc: SWAP1
000027cd: LOG3
000027ce: POP
000027cf: POP
000027d0: JUMP
000027d1: JUMPDEST
000027d2: PUSH1 0x0f
000027d4: SLOAD
000027d5: PUSH1 0x00
000027d7: DUP1
000027d8: MSTORE
000027d9: PUSH1 0x0c
000027db: PUSH1 0x20
000027dd: MSTORE
000027de: PUSH32 0x13649b2456f1b42fef0f0040b3aaeabcd21a76a0f3f5defd4f583839455116e8
000027ff: SLOAD
00002800: PUSH2 0x0100
00002803: SWAP1
00002804: SWAP2
00002805: DIV
00002806: PUSH8 0xffffffffffffffff
0000280f: AND
00002810: GT
00002811: PUSH2 0x285c
00002814: JUMPI
00002815: PUSH1 0x40
00002817: MLOAD
00002818: PUSH3 0x461bcd
0000281c: PUSH1 0xe5
0000281e: SHL
0000281f: DUP2
00002820: MSTORE
00002821: PUSH1 0x20
00002823: PUSH1 0x04
00002825: DUP3
00002826: ADD
00002827: MSTORE
00002828: PUSH1 0x08
0000282a: PUSH1 0x24
0000282c: DUP3
0000282d: ADD
0000282e: MSTORE
0000282f: PUSH32 0x536f6c64206f7574000000000000000000000000000000000000000000000000
00002850: PUSH1 0x44
00002852: DUP3
00002853: ADD
00002854: MSTORE
00002855: PUSH1 0x64
00002857: ADD
00002858: PUSH2 0x08d3
0000285b: JUMP
0000285c: JUMPDEST
0000285d: PUSH1 0x10
0000285f: SLOAD
00002860: CALLVALUE
00002861: LT
00002862: ISZERO
00002863: PUSH2 0x28ae
00002866: JUMPI
00002867: PUSH1 0x40
00002869: MLOAD
0000286a: PUSH3 0x461bcd
0000286e: PUSH1 0xe5
00002870: SHL
00002871: DUP2
00002872: MSTORE
00002873: PUSH1 0x20
00002875: PUSH1 0x04
00002877: DUP3
00002878: ADD
00002879: MSTORE
0000287a: PUSH1 0x0f
0000287c: PUSH1 0x24
0000287e: DUP3
0000287f: ADD
00002880: MSTORE
00002881: PUSH32 0x4e6f7420656e6f7567682066756e640000000000000000000000000000000000
000028a2: PUSH1 0x44
000028a4: DUP3
000028a5: ADD
000028a6: MSTORE
000028a7: PUSH1 0x64
000028a9: ADD
000028aa: PUSH2 0x08d3
000028ad: JUMP
000028ae: JUMPDEST
000028af: PUSH1 0x00
000028b1: PUSH2 0x28b9
000028b4: PUSH1 0x08
000028b6: SLOAD
000028b7: SWAP1
000028b8: JUMP
000028b9: JUMPDEST
000028ba: CALLER
000028bb: PUSH1 0x00
000028bd: SWAP1
000028be: DUP2
000028bf: MSTORE
000028c0: PUSH1 0x0e
000028c2: PUSH1 0x20
000028c4: MSTORE
000028c5: PUSH1 0x40
000028c7: DUP2
000028c8: KECCAK256
000028c9: DUP1
000028ca: SLOAD
000028cb: SWAP3
000028cc: SWAP4
000028cd: POP
000028ce: PUSH1 0x01
000028d0: SWAP3
000028d1: SWAP1
000028d2: SWAP2
000028d3: SWAP1
000028d4: PUSH2 0x28e8
000028d7: SWAP1
000028d8: DUP5
000028d9: SWAP1
000028da: PUSH8 0xffffffffffffffff
000028e3: AND
000028e4: PUSH2 0x39d6
000028e7: JUMP
000028e8: JUMPDEST
000028e9: SWAP3
000028ea: POP
000028eb: PUSH2 0x0100
000028ee: EXP
000028ef: DUP2
000028f0: SLOAD
000028f1: DUP2
000028f2: PUSH8 0xffffffffffffffff
000028fb: MUL
000028fc: NOT
000028fd: AND
000028fe: SWAP1
000028ff: DUP4
00002900: PUSH8 0xffffffffffffffff
00002909: AND
0000290a: MUL
0000290b: OR
0000290c: SWAP1
0000290d: SSTORE
0000290e: POP
0000290f: PUSH1 0x01
00002911: PUSH1 0x0c
00002913: PUSH1 0x00
00002915: DUP1
00002916: PUSH1 0x03
00002918: DUP2
00002919: GT
0000291a: ISZERO
0000291b: PUSH2 0x2934
0000291e: JUMPI
0000291f: PUSH4 0x4e487b71
00002924: PUSH1 0xe0
00002926: SHL
00002927: PUSH1 0x00
00002929: MSTORE
0000292a: PUSH1 0x21
0000292c: PUSH1 0x04
0000292e: MSTORE
0000292f: PUSH1 0x24
00002931: PUSH1 0x00
00002933: REVERT
00002934: JUMPDEST
00002935: PUSH1 0x03
00002937: DUP2
00002938: GT
00002939: ISZERO
0000293a: PUSH2 0x2953
0000293d: JUMPI
0000293e: PUSH4 0x4e487b71
00002943: PUSH1 0xe0
00002945: SHL
00002946: PUSH1 0x00
00002948: MSTORE
00002949: PUSH1 0x21
0000294b: PUSH1 0x04
0000294d: MSTORE
0000294e: PUSH1 0x24
00002950: PUSH1 0x00
00002952: REVERT
00002953: JUMPDEST
00002954: DUP2
00002955: MSTORE
00002956: PUSH1 0x20
00002958: ADD
00002959: SWAP1
0000295a: DUP2
0000295b: MSTORE
0000295c: PUSH1 0x20
0000295e: ADD
0000295f: PUSH1 0x00
00002961: KECCAK256
00002962: PUSH1 0x00
00002964: DUP3
00002965: DUP3
00002966: SLOAD
00002967: PUSH2 0x2970
0000296a: SWAP2
0000296b: SWAP1
0000296c: PUSH2 0x39be
0000296f: JUMP
00002970: JUMPDEST
00002971: SWAP1
00002972: SWAP2
00002973: SSTORE
00002974: POP
00002975: POP
00002976: PUSH1 0x00
00002978: DUP2
00002979: DUP2
0000297a: MSTORE
0000297b: PUSH1 0x0d
0000297d: PUSH1 0x20
0000297f: MSTORE
00002980: PUSH1 0x40
00002982: DUP2
00002983: KECCAK256
00002984: DUP1
00002985: SLOAD
00002986: PUSH1 0xff
00002988: NOT
00002989: AND
0000298a: PUSH1 0x01
0000298c: DUP4
0000298d: PUSH2 0x2689
00002990: JUMP
00002991: JUMPDEST
00002992: PUSH1 0x06
00002994: SLOAD
00002995: PUSH1 0x01
00002997: PUSH1 0xa0
00002999: SHL
0000299a: SWAP1
0000299b: DIV
0000299c: PUSH1 0xff
0000299e: AND
0000299f: ISZERO
000029a0: PUSH2 0x29eb
000029a3: JUMPI
000029a4: PUSH1 0x40
000029a6: MLOAD
000029a7: PUSH3 0x461bcd
000029ab: PUSH1 0xe5
000029ad: SHL
000029ae: DUP2
000029af: MSTORE
000029b0: PUSH1 0x20
000029b2: PUSH1 0x04
000029b4: DUP3
000029b5: ADD
000029b6: MSTORE
000029b7: PUSH1 0x10
000029b9: PUSH1 0x24
000029bb: DUP3
000029bc: ADD
000029bd: MSTORE
000029be: PUSH32 0x5061757361626c653a2070617573656400000000000000000000000000000000
000029df: PUSH1 0x44
000029e1: DUP3
000029e2: ADD
000029e3: MSTORE
000029e4: PUSH1 0x64
000029e6: ADD
000029e7: PUSH2 0x08d3
000029ea: JUMP
000029eb: JUMPDEST
000029ec: PUSH1 0x06
000029ee: DUP1
000029ef: SLOAD
000029f0: PUSH32 0xffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff
00002a11: AND
00002a12: PUSH1 0x01
00002a14: PUSH1 0xa0
00002a16: SHL
00002a17: OR
00002a18: SWAP1
00002a19: SSTORE
00002a1a: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258
00002a3b: PUSH2 0x274a
00002a3e: CALLER
00002a3f: SWAP1
00002a40: JUMP
00002a41: JUMPDEST
00002a42: DUP2
00002a43: PUSH1 0x01
00002a45: PUSH1 0x01
00002a47: PUSH1 0xa0
00002a49: SHL
00002a4a: SUB
00002a4b: AND
00002a4c: DUP4
00002a4d: PUSH1 0x01
00002a4f: PUSH1 0x01
00002a51: PUSH1 0xa0
00002a53: SHL
00002a54: SUB
00002a55: AND
00002a56: EQ
00002a57: ISZERO
00002a58: PUSH2 0x2aa3
00002a5b: JUMPI
00002a5c: PUSH1 0x40
00002a5e: MLOAD
00002a5f: PUSH3 0x461bcd
00002a63: PUSH1 0xe5
00002a65: SHL
00002a66: DUP2
00002a67: MSTORE
00002a68: PUSH1 0x20
00002a6a: PUSH1 0x04
00002a6c: DUP3
00002a6d: ADD
00002a6e: MSTORE
00002a6f: PUSH1 0x19
00002a71: PUSH1 0x24
00002a73: DUP3
00002a74: ADD
00002a75: MSTORE
00002a76: PUSH32 0x4552433732313a20617070726f766520746f2063616c6c657200000000000000
00002a97: PUSH1 0x44
00002a99: DUP3
00002a9a: ADD
00002a9b: MSTORE
00002a9c: PUSH1 0x64
00002a9e: ADD
00002a9f: PUSH2 0x08d3
00002aa2: JUMP
00002aa3: JUMPDEST
00002aa4: PUSH1 0x01
00002aa6: PUSH1 0x01
00002aa8: PUSH1 0xa0
00002aaa: SHL
00002aab: SUB
00002aac: DUP4
00002aad: DUP2
00002aae: AND
00002aaf: PUSH1 0x00
00002ab1: DUP2
00002ab2: DUP2
00002ab3: MSTORE
00002ab4: PUSH1 0x05
00002ab6: PUSH1 0x20
00002ab8: SWAP1
00002ab9: DUP2
00002aba: MSTORE
00002abb: PUSH1 0x40
00002abd: DUP1
00002abe: DUP4
00002abf: KECCAK256
00002ac0: SWAP5
00002ac1: DUP8
00002ac2: AND
00002ac3: DUP1
00002ac4: DUP5
00002ac5: MSTORE
00002ac6: SWAP5
00002ac7: DUP3
00002ac8: MSTORE
00002ac9: SWAP2
00002aca: DUP3
00002acb: SWAP1
00002acc: KECCAK256
00002acd: DUP1
00002ace: SLOAD
00002acf: PUSH1 0xff
00002ad1: NOT
00002ad2: AND
00002ad3: DUP7
00002ad4: ISZERO
00002ad5: ISZERO
00002ad6: SWAP1
00002ad7: DUP2
00002ad8: OR
00002ad9: SWAP1
00002ada: SWAP2
00002adb: SSTORE
00002adc: SWAP2
00002add: MLOAD
00002ade: SWAP2
00002adf: DUP3
00002ae0: MSTORE
00002ae1: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31
00002b02: SWAP2
00002b03: ADD
00002b04: PUSH1 0x40
00002b06: MLOAD
00002b07: DUP1
00002b08: SWAP2
00002b09: SUB
00002b0a: SWAP1
00002b0b: LOG3
00002b0c: POP
00002b0d: POP
00002b0e: POP
00002b0f: JUMP
00002b10: JUMPDEST
00002b11: PUSH2 0x2b1b
00002b14: DUP5
00002b15: DUP5
00002b16: DUP5
00002b17: PUSH2 0x22d8
00002b1a: JUMP
00002b1b: JUMPDEST
00002b1c: PUSH2 0x2b27
00002b1f: DUP5
00002b20: DUP5
00002b21: DUP5
00002b22: DUP5
00002b23: PUSH2 0x2f95
00002b26: JUMP
00002b27: JUMPDEST
00002b28: PUSH2 0x0d96
00002b2b: JUMPI
00002b2c: PUSH1 0x40
00002b2e: MLOAD
00002b2f: PUSH3 0x461bcd
00002b33: PUSH1 0xe5
00002b35: SHL
00002b36: DUP2
00002b37: MSTORE
00002b38: PUSH1 0x20
00002b3a: PUSH1 0x04
00002b3c: DUP3
00002b3d: ADD
00002b3e: MSTORE
00002b3f: PUSH1 0x32
00002b41: PUSH1 0x24
00002b43: DUP3
00002b44: ADD
00002b45: MSTORE
00002b46: PUSH32 0x4552433732313a207472616e7366657220746f206e6f6e204552433732315265
00002b67: PUSH1 0x44
00002b69: DUP3
00002b6a: ADD
00002b6b: MSTORE
00002b6c: PUSH32 0x63656976657220696d706c656d656e7465720000000000000000000000000000
00002b8d: PUSH1 0x64
00002b8f: DUP3
00002b90: ADD
00002b91: MSTORE
00002b92: PUSH1 0x84
00002b94: ADD
00002b95: PUSH2 0x08d3
00002b98: JUMP
00002b99: JUMPDEST
00002b9a: PUSH1 0x60
00002b9c: DUP2
00002b9d: PUSH2 0x2bd9
00002ba0: JUMPI
00002ba1: POP
00002ba2: POP
00002ba3: PUSH1 0x40
00002ba5: DUP1
00002ba6: MLOAD
00002ba7: DUP1
00002ba8: DUP3
00002ba9: ADD
00002baa: SWAP1
00002bab: SWAP2
00002bac: MSTORE
00002bad: PUSH1 0x01
00002baf: DUP2
00002bb0: MSTORE
00002bb1: PUSH32 0x3000000000000000000000000000000000000000000000000000000000000000
00002bd2: PUSH1 0x20
00002bd4: DUP3
00002bd5: ADD
00002bd6: MSTORE
00002bd7: SWAP1
00002bd8: JUMP
00002bd9: JUMPDEST
00002bda: DUP2
00002bdb: PUSH1 0x00
00002bdd: JUMPDEST
00002bde: DUP2
00002bdf: ISZERO
00002be0: PUSH2 0x2c03
00002be3: JUMPI
00002be4: DUP1
00002be5: PUSH2 0x2bed
00002be8: DUP2
00002be9: PUSH2 0x3ad1
00002bec: JUMP
00002bed: JUMPDEST
00002bee: SWAP2
00002bef: POP
00002bf0: PUSH2 0x2bfc
00002bf3: SWAP1
00002bf4: POP
00002bf5: PUSH1 0x0a
00002bf7: DUP4
00002bf8: PUSH2 0x3a02
00002bfb: JUMP
00002bfc: JUMPDEST
00002bfd: SWAP2
00002bfe: POP
00002bff: PUSH2 0x2bdd
00002c02: JUMP
00002c03: JUMPDEST
00002c04: PUSH1 0x00
00002c06: DUP2
00002c07: PUSH8 0xffffffffffffffff
00002c10: DUP2
00002c11: GT
00002c12: ISZERO
00002c13: PUSH2 0x2c2c
00002c16: JUMPI
00002c17: PUSH4 0x4e487b71
00002c1c: PUSH1 0xe0
00002c1e: SHL
00002c1f: PUSH1 0x00
00002c21: MSTORE
00002c22: PUSH1 0x41
00002c24: PUSH1 0x04
00002c26: MSTORE
00002c27: PUSH1 0x24
00002c29: PUSH1 0x00
00002c2b: REVERT
00002c2c: JUMPDEST
00002c2d: PUSH1 0x40
00002c2f: MLOAD
00002c30: SWAP1
00002c31: DUP1
00002c32: DUP3
00002c33: MSTORE
00002c34: DUP1
00002c35: PUSH1 0x1f
00002c37: ADD
00002c38: PUSH1 0x1f
00002c3a: NOT
00002c3b: AND
00002c3c: PUSH1 0x20
00002c3e: ADD
00002c3f: DUP3
00002c40: ADD
00002c41: PUSH1 0x40
00002c43: MSTORE
00002c44: DUP1
00002c45: ISZERO
00002c46: PUSH2 0x2c56
00002c49: JUMPI
00002c4a: PUSH1 0x20
00002c4c: DUP3
00002c4d: ADD
00002c4e: DUP2
00002c4f: DUP1
00002c50: CALLDATASIZE
00002c51: DUP4
00002c52: CALLDATACOPY
00002c53: ADD
00002c54: SWAP1
00002c55: POP
00002c56: JUMPDEST
00002c57: POP
00002c58: SWAP1
00002c59: POP
00002c5a: JUMPDEST
00002c5b: DUP5
00002c5c: ISZERO
00002c5d: PUSH2 0x22d0
00002c60: JUMPI
00002c61: PUSH2 0x2c6b
00002c64: PUSH1 0x01
00002c66: DUP4
00002c67: PUSH2 0x3a53
00002c6a: JUMP
00002c6b: JUMPDEST
00002c6c: SWAP2
00002c6d: POP
00002c6e: PUSH2 0x2c78
00002c71: PUSH1 0x0a
00002c73: DUP7
00002c74: PUSH2 0x3b0a
00002c77: JUMP
00002c78: JUMPDEST
00002c79: PUSH2 0x2c83
00002c7c: SWAP1
00002c7d: PUSH1 0x30
00002c7f: PUSH2 0x39be
00002c82: JUMP
00002c83: JUMPDEST
00002c84: PUSH1 0xf8
00002c86: SHL
00002c87: DUP2
00002c88: DUP4
00002c89: DUP2
00002c8a: MLOAD
00002c8b: DUP2
00002c8c: LT
00002c8d: PUSH2 0x2ca6
00002c90: JUMPI
00002c91: PUSH4 0x4e487b71
00002c96: PUSH1 0xe0
00002c98: SHL
00002c99: PUSH1 0x00
00002c9b: MSTORE
00002c9c: PUSH1 0x32
00002c9e: PUSH1 0x04
00002ca0: MSTORE
00002ca1: PUSH1 0x24
00002ca3: PUSH1 0x00
00002ca5: REVERT
00002ca6: JUMPDEST
00002ca7: PUSH1 0x20
00002ca9: ADD
00002caa: ADD
00002cab: SWAP1
00002cac: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002ccc: NOT
00002ccd: AND
00002cce: SWAP1
00002ccf: DUP2
00002cd0: PUSH1 0x00
00002cd2: BYTE
00002cd3: SWAP1
00002cd4: MSTORE8
00002cd5: POP
00002cd6: PUSH2 0x2ce0
00002cd9: PUSH1 0x0a
00002cdb: DUP7
00002cdc: PUSH2 0x3a02
00002cdf: JUMP
00002ce0: JUMPDEST
00002ce1: SWAP5
00002ce2: POP
00002ce3: PUSH2 0x2c5a
00002ce6: JUMP
00002ce7: JUMPDEST
00002ce8: PUSH1 0x00
00002cea: DUP2
00002ceb: DUP2
00002cec: JUMPDEST
00002ced: DUP5
00002cee: MLOAD
00002cef: DUP2
00002cf0: LT
00002cf1: ISZERO
00002cf2: PUSH2 0x2d61
00002cf5: JUMPI
00002cf6: PUSH1 0x00
00002cf8: DUP6
00002cf9: DUP3
00002cfa: DUP2
00002cfb: MLOAD
00002cfc: DUP2
00002cfd: LT
00002cfe: PUSH2 0x2d17
00002d01: JUMPI
00002d02: PUSH4 0x4e487b71
00002d07: PUSH1 0xe0
00002d09: SHL
00002d0a: PUSH1 0x00
00002d0c: MSTORE
00002d0d: PUSH1 0x32
00002d0f: PUSH1 0x04
00002d11: MSTORE
00002d12: PUSH1 0x24
00002d14: PUSH1 0x00
00002d16: REVERT
00002d17: JUMPDEST
00002d18: PUSH1 0x20
00002d1a: MUL
00002d1b: PUSH1 0x20
00002d1d: ADD
00002d1e: ADD
00002d1f: MLOAD
00002d20: SWAP1
00002d21: POP
00002d22: DUP1
00002d23: DUP4
00002d24: GT
00002d25: PUSH2 0x2d3d
00002d28: JUMPI
00002d29: PUSH1 0x00
00002d2b: DUP4
00002d2c: DUP2
00002d2d: MSTORE
00002d2e: PUSH1 0x20
00002d30: DUP3
00002d31: SWAP1
00002d32: MSTORE
00002d33: PUSH1 0x40
00002d35: SWAP1
00002d36: KECCAK256
00002d37: SWAP3
00002d38: POP
00002d39: PUSH2 0x2d4e
00002d3c: JUMP
00002d3d: JUMPDEST
00002d3e: PUSH1 0x00
00002d40: DUP2
00002d41: DUP2
00002d42: MSTORE
00002d43: PUSH1 0x20
00002d45: DUP5
00002d46: SWAP1
00002d47: MSTORE
00002d48: PUSH1 0x40
00002d4a: SWAP1
00002d4b: KECCAK256
00002d4c: SWAP3
00002d4d: POP
00002d4e: JUMPDEST
00002d4f: POP
00002d50: DUP1
00002d51: PUSH2 0x2d59
00002d54: DUP2
00002d55: PUSH2 0x3ad1
00002d58: JUMP
00002d59: JUMPDEST
00002d5a: SWAP2
00002d5b: POP
00002d5c: POP
00002d5d: PUSH2 0x2cec
00002d60: JUMP
00002d61: JUMPDEST
00002d62: POP
00002d63: SWAP4
00002d64: SWAP3
00002d65: POP
00002d66: POP
00002d67: POP
00002d68: JUMP
00002d69: JUMPDEST
00002d6a: PUSH2 0x10a8
00002d6d: DUP3
00002d6e: DUP3
00002d6f: PUSH1 0x40
00002d71: MLOAD
00002d72: DUP1
00002d73: PUSH1 0x20
00002d75: ADD
00002d76: PUSH1 0x40
00002d78: MSTORE
00002d79: DUP1
00002d7a: PUSH1 0x00
00002d7c: DUP2
00002d7d: MSTORE
00002d7e: POP
00002d7f: PUSH2 0x3142
00002d82: JUMP
00002d83: JUMPDEST
00002d84: PUSH1 0x00
00002d86: JUMPDEST
00002d87: DUP2
00002d88: MLOAD
00002d89: DUP2
00002d8a: LT
00002d8b: ISZERO
00002d8c: PUSH2 0x2f30
00002d8f: JUMPI
00002d90: PUSH1 0x00
00002d92: PUSH1 0x01
00002d94: PUSH1 0x01
00002d96: PUSH1 0xa0
00002d98: SHL
00002d99: SUB
00002d9a: AND
00002d9b: DUP3
00002d9c: DUP3
00002d9d: DUP2
00002d9e: MLOAD
00002d9f: DUP2
00002da0: LT
00002da1: PUSH2 0x2dba
00002da4: JUMPI
00002da5: PUSH4 0x4e487b71
00002daa: PUSH1 0xe0
00002dac: SHL
00002dad: PUSH1 0x00
00002daf: MSTORE
00002db0: PUSH1 0x32
00002db2: PUSH1 0x04
00002db4: MSTORE
00002db5: PUSH1 0x24
00002db7: PUSH1 0x00
00002db9: REVERT
00002dba: JUMPDEST
00002dbb: PUSH1 0x20
00002dbd: MUL
00002dbe: PUSH1 0x20
00002dc0: ADD
00002dc1: ADD
00002dc2: MLOAD
00002dc3: PUSH1 0x00
00002dc5: ADD
00002dc6: MLOAD
00002dc7: PUSH1 0x01
00002dc9: PUSH1 0x01
00002dcb: PUSH1 0xa0
00002dcd: SHL
00002dce: SUB
00002dcf: AND
00002dd0: EQ
00002dd1: ISZERO
00002dd2: PUSH2 0x2e1d
00002dd5: JUMPI
00002dd6: PUSH1 0x40
00002dd8: MLOAD
00002dd9: PUSH3 0x461bcd
00002ddd: PUSH1 0xe5
00002ddf: SHL
00002de0: DUP2
00002de1: MSTORE
00002de2: PUSH1 0x20
00002de4: PUSH1 0x04
00002de6: DUP3
00002de7: ADD
00002de8: MSTORE
00002de9: PUSH1 0x1b
00002deb: PUSH1 0x24
00002ded: DUP3
00002dee: ADD
00002def: MSTORE
00002df0: PUSH32 0x526563697069656e742073686f756c642062652070726573656e740000000000
00002e11: PUSH1 0x44
00002e13: DUP3
00002e14: ADD
00002e15: MSTORE
00002e16: PUSH1 0x64
00002e18: ADD
00002e19: PUSH2 0x08d3
00002e1c: JUMP
00002e1d: JUMPDEST
00002e1e: DUP2
00002e1f: DUP2
00002e20: DUP2
00002e21: MLOAD
00002e22: DUP2
00002e23: LT
00002e24: PUSH2 0x2e3d
00002e27: JUMPI
00002e28: PUSH4 0x4e487b71
00002e2d: PUSH1 0xe0
00002e2f: SHL
00002e30: PUSH1 0x00
00002e32: MSTORE
00002e33: PUSH1 0x32
00002e35: PUSH1 0x04
00002e37: MSTORE
00002e38: PUSH1 0x24
00002e3a: PUSH1 0x00
00002e3c: REVERT
00002e3d: JUMPDEST
00002e3e: PUSH1 0x20
00002e40: MUL
00002e41: PUSH1 0x20
00002e43: ADD
00002e44: ADD
00002e45: MLOAD
00002e46: PUSH1 0x20
00002e48: ADD
00002e49: MLOAD
00002e4a: PUSH12 0xffffffffffffffffffffffff
00002e57: AND
00002e58: PUSH1 0x00
00002e5a: EQ
00002e5b: ISZERO
00002e5c: PUSH2 0x2ea7
00002e5f: JUMPI
00002e60: PUSH1 0x40
00002e62: MLOAD
00002e63: PUSH3 0x461bcd
00002e67: PUSH1 0xe5
00002e69: SHL
00002e6a: DUP2
00002e6b: MSTORE
00002e6c: PUSH1 0x20
00002e6e: PUSH1 0x04
00002e70: DUP3
00002e71: ADD
00002e72: DUP2
00002e73: SWAP1
00002e74: MSTORE
00002e75: PUSH1 0x24
00002e77: DUP3
00002e78: ADD
00002e79: MSTORE
00002e7a: PUSH32 0x526f79616c74792076616c75652073686f756c6420626520706f736974697665
00002e9b: PUSH1 0x44
00002e9d: DUP3
00002e9e: ADD
00002e9f: MSTORE
00002ea0: PUSH1 0x64
00002ea2: ADD
00002ea3: PUSH2 0x08d3
00002ea6: JUMP
00002ea7: JUMPDEST
00002ea8: PUSH1 0x00
00002eaa: DUP4
00002eab: DUP2
00002eac: MSTORE
00002ead: PUSH1 0x07
00002eaf: PUSH1 0x20
00002eb1: MSTORE
00002eb2: PUSH1 0x40
00002eb4: SWAP1
00002eb5: KECCAK256
00002eb6: DUP3
00002eb7: MLOAD
00002eb8: DUP4
00002eb9: SWAP1
00002eba: DUP4
00002ebb: SWAP1
00002ebc: DUP2
00002ebd: LT
00002ebe: PUSH2 0x2ed7
00002ec1: JUMPI
00002ec2: PUSH4 0x4e487b71
00002ec7: PUSH1 0xe0
00002ec9: SHL
00002eca: PUSH1 0x00
00002ecc: MSTORE
00002ecd: PUSH1 0x32
00002ecf: PUSH1 0x04
00002ed1: MSTORE
00002ed2: PUSH1 0x24
00002ed4: PUSH1 0x00
00002ed6: REVERT
00002ed7: JUMPDEST
00002ed8: PUSH1 0x20
00002eda: SWAP1
00002edb: DUP2
00002edc: MUL
00002edd: SWAP2
00002ede: SWAP1
00002edf: SWAP2
00002ee0: ADD
00002ee1: DUP2
00002ee2: ADD
00002ee3: MLOAD
00002ee4: DUP3
00002ee5: SLOAD
00002ee6: PUSH1 0x01
00002ee8: DUP2
00002ee9: ADD
00002eea: DUP5
00002eeb: SSTORE
00002eec: PUSH1 0x00
00002eee: SWAP4
00002eef: DUP5
00002ef0: MSTORE
00002ef1: SWAP3
00002ef2: DUP3
00002ef3: SWAP1
00002ef4: KECCAK256
00002ef5: DUP2
00002ef6: MLOAD
00002ef7: SWAP2
00002ef8: SWAP1
00002ef9: SWAP3
00002efa: ADD
00002efb: MLOAD
00002efc: PUSH12 0xffffffffffffffffffffffff
00002f09: AND
00002f0a: PUSH1 0x01
00002f0c: PUSH1 0xa0
00002f0e: SHL
00002f0f: MUL
00002f10: PUSH1 0x01
00002f12: PUSH1 0x01
00002f14: PUSH1 0xa0
00002f16: SHL
00002f17: SUB
00002f18: SWAP1
00002f19: SWAP2
00002f1a: AND
00002f1b: OR
00002f1c: SWAP2
00002f1d: ADD
00002f1e: SSTORE
00002f1f: DUP1
00002f20: PUSH2 0x2f28
00002f23: DUP2
00002f24: PUSH2 0x3ad1
00002f27: JUMP
00002f28: JUMPDEST
00002f29: SWAP2
00002f2a: POP
00002f2b: POP
00002f2c: PUSH2 0x2d86
00002f2f: JUMP
00002f30: JUMPDEST
00002f31: POP
00002f32: PUSH2 0x10a8
00002f35: DUP3
00002f36: DUP3
00002f37: PUSH2 0x31cb
00002f3a: JUMP
00002f3b: JUMPDEST
00002f3c: PUSH1 0x06
00002f3e: SLOAD
00002f3f: PUSH1 0x01
00002f41: PUSH1 0xa0
00002f43: SHL
00002f44: SWAP1
00002f45: DIV
00002f46: PUSH1 0xff
00002f48: AND
00002f49: ISZERO
00002f4a: PUSH2 0x0a25
00002f4d: JUMPI
00002f4e: PUSH1 0x40
00002f50: MLOAD
00002f51: PUSH3 0x461bcd
00002f55: PUSH1 0xe5
00002f57: SHL
00002f58: DUP2
00002f59: MSTORE
00002f5a: PUSH1 0x20
00002f5c: PUSH1 0x04
00002f5e: DUP3
00002f5f: ADD
00002f60: MSTORE
00002f61: PUSH1 0x10
00002f63: PUSH1 0x24
00002f65: DUP3
00002f66: ADD
00002f67: MSTORE
00002f68: PUSH32 0x5061757361626c653a2070617573656400000000000000000000000000000000
00002f89: PUSH1 0x44
00002f8b: DUP3
00002f8c: ADD
00002f8d: MSTORE
00002f8e: PUSH1 0x64
00002f90: ADD
00002f91: PUSH2 0x08d3
00002f94: JUMP
00002f95: JUMPDEST
00002f96: PUSH1 0x00
00002f98: PUSH1 0x01
00002f9a: PUSH1 0x01
00002f9c: PUSH1 0xa0
00002f9e: SHL
00002f9f: SUB
00002fa0: DUP5
00002fa1: AND
00002fa2: EXTCODESIZE
00002fa3: ISZERO
00002fa4: PUSH2 0x3137
00002fa7: JUMPI
00002fa8: PUSH1 0x40
00002faa: MLOAD
00002fab: PUSH32 0x150b7a0200000000000000000000000000000000000000000000000000000000
00002fcc: DUP2
00002fcd: MSTORE
00002fce: PUSH1 0x01
00002fd0: PUSH1 0x01
00002fd2: PUSH1 0xa0
00002fd4: SHL
00002fd5: SUB
00002fd6: DUP6
00002fd7: AND
00002fd8: SWAP1
00002fd9: PUSH4 0x150b7a02
00002fde: SWAP1
00002fdf: PUSH2 0x2ff2
00002fe2: SWAP1
00002fe3: CALLER
00002fe4: SWAP1
00002fe5: DUP10
00002fe6: SWAP1
00002fe7: DUP9
00002fe8: SWAP1
00002fe9: DUP9
00002fea: SWAP1
00002feb: PUSH1 0x04
00002fed: ADD
00002fee: PUSH2 0x3912
00002ff1: JUMP
00002ff2: JUMPDEST
00002ff3: PUSH1 0x20
00002ff5: PUSH1 0x40
00002ff7: MLOAD
00002ff8: DUP1
00002ff9: DUP4
00002ffa: SUB
00002ffb: DUP2
00002ffc: PUSH1 0x00
00002ffe: DUP8
00002fff: DUP1
00003000: EXTCODESIZE
00003001: ISZERO
00003002: DUP1
00003003: ISZERO
00003004: PUSH2 0x300c
00003007: JUMPI
00003008: PUSH1 0x00
0000300a: DUP1
0000300b: REVERT
0000300c: JUMPDEST
0000300d: POP
0000300e: GAS
0000300f: CALL
00003010: SWAP3
00003011: POP
00003012: POP
00003013: POP
00003014: DUP1
00003015: ISZERO
00003016: PUSH2 0x303c
00003019: JUMPI
0000301a: POP
0000301b: PUSH1 0x40
0000301d: DUP1
0000301e: MLOAD
0000301f: PUSH1 0x1f
00003021: RETURNDATASIZE
00003022: SWAP1
00003023: DUP2
00003024: ADD
00003025: PUSH1 0x1f
00003027: NOT
00003028: AND
00003029: DUP3
0000302a: ADD
0000302b: SWAP1
0000302c: SWAP3
0000302d: MSTORE
0000302e: PUSH2 0x3039
00003031: SWAP2
00003032: DUP2
00003033: ADD
00003034: SWAP1
00003035: PUSH2 0x36ac
00003038: JUMP
00003039: JUMPDEST
0000303a: PUSH1 0x01
0000303c: JUMPDEST
0000303d: PUSH2 0x30ec
00003040: JUMPI
00003041: RETURNDATASIZE
00003042: DUP1
00003043: DUP1
00003044: ISZERO
00003045: PUSH2 0x306a
00003048: JUMPI
00003049: PUSH1 0x40
0000304b: MLOAD
0000304c: SWAP2
0000304d: POP
0000304e: PUSH1 0x1f
00003050: NOT
00003051: PUSH1 0x3f
00003053: RETURNDATASIZE
00003054: ADD
00003055: AND
00003056: DUP3
00003057: ADD
00003058: PUSH1 0x40
0000305a: MSTORE
0000305b: RETURNDATASIZE
0000305c: DUP3
0000305d: MSTORE
0000305e: RETURNDATASIZE
0000305f: PUSH1 0x00
00003061: PUSH1 0x20
00003063: DUP5
00003064: ADD
00003065: RETURNDATACOPY
00003066: PUSH2 0x306f
00003069: JUMP
0000306a: JUMPDEST
0000306b: PUSH1 0x60
0000306d: SWAP2
0000306e: POP
0000306f: JUMPDEST
00003070: POP
00003071: DUP1
00003072: MLOAD
00003073: PUSH2 0x30e4
00003076: JUMPI
00003077: PUSH1 0x40
00003079: MLOAD
0000307a: PUSH3 0x461bcd
0000307e: PUSH1 0xe5
00003080: SHL
00003081: DUP2
00003082: MSTORE
00003083: PUSH1 0x20
00003085: PUSH1 0x04
00003087: DUP3
00003088: ADD
00003089: MSTORE
0000308a: PUSH1 0x32
0000308c: PUSH1 0x24
0000308e: DUP3
0000308f: ADD
00003090: MSTORE
00003091: PUSH32 0x4552433732313a207472616e7366657220746f206e6f6e204552433732315265
000030b2: PUSH1 0x44
000030b4: DUP3
000030b5: ADD
000030b6: MSTORE
000030b7: PUSH32 0x63656976657220696d706c656d656e7465720000000000000000000000000000
000030d8: PUSH1 0x64
000030da: DUP3
000030db: ADD
000030dc: MSTORE
000030dd: PUSH1 0x84
000030df: ADD
000030e0: PUSH2 0x08d3
000030e3: JUMP
000030e4: JUMPDEST
000030e5: DUP1
000030e6: MLOAD
000030e7: DUP2
000030e8: PUSH1 0x20
000030ea: ADD
000030eb: REVERT
000030ec: JUMPDEST
000030ed: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
0000310e: AND
0000310f: PUSH32 0x150b7a0200000000000000000000000000000000000000000000000000000000
00003130: EQ
00003131: SWAP1
00003132: POP
00003133: PUSH2 0x22d0
00003136: JUMP
00003137: JUMPDEST
00003138: POP
00003139: PUSH1 0x01
0000313b: SWAP5
0000313c: SWAP4
0000313d: POP
0000313e: POP
0000313f: POP
00003140: POP
00003141: JUMP
00003142: JUMPDEST
00003143: PUSH2 0x314c
00003146: DUP4
00003147: DUP4
00003148: PUSH2 0x3208
0000314b: JUMP
0000314c: JUMPDEST
0000314d: PUSH2 0x3159
00003150: PUSH1 0x00
00003152: DUP5
00003153: DUP5
00003154: DUP5
00003155: PUSH2 0x2f95
00003158: JUMP
00003159: JUMPDEST
0000315a: PUSH2 0x0a25
0000315d: JUMPI
0000315e: PUSH1 0x40
00003160: MLOAD
00003161: PUSH3 0x461bcd
00003165: PUSH1 0xe5
00003167: SHL
00003168: DUP2
00003169: MSTORE
0000316a: PUSH1 0x20
0000316c: PUSH1 0x04
0000316e: DUP3
0000316f: ADD
00003170: MSTORE
00003171: PUSH1 0x32
00003173: PUSH1 0x24
00003175: DUP3
00003176: ADD
00003177: MSTORE
00003178: PUSH32 0x4552433732313a207472616e7366657220746f206e6f6e204552433732315265
00003199: PUSH1 0x44
0000319b: DUP3
0000319c: ADD
0000319d: MSTORE
0000319e: PUSH32 0x63656976657220696d706c656d656e7465720000000000000000000000000000
000031bf: PUSH1 0x64
000031c1: DUP3
000031c2: ADD
000031c3: MSTORE
000031c4: PUSH1 0x84
000031c6: ADD
000031c7: PUSH2 0x08d3
000031ca: JUMP
000031cb: JUMPDEST
000031cc: PUSH32 0x3fa96d7b6bcbfe71ef171666d84db3cf52fa2d1c8afdb1cc8e486177f208b7df
000031ed: DUP3
000031ee: DUP3
000031ef: PUSH1 0x40
000031f1: MLOAD
000031f2: PUSH2 0x31fc
000031f5: SWAP3
000031f6: SWAP2
000031f7: SWAP1
000031f8: PUSH2 0x39a5
000031fb: JUMP
000031fc: JUMPDEST
000031fd: PUSH1 0x40
000031ff: MLOAD
00003200: DUP1
00003201: SWAP2
00003202: SUB
00003203: SWAP1
00003204: LOG1
00003205: POP
00003206: POP
00003207: JUMP
00003208: JUMPDEST
00003209: PUSH1 0x01
0000320b: PUSH1 0x01
0000320d: PUSH1 0xa0
0000320f: SHL
00003210: SUB
00003211: DUP3
00003212: AND
00003213: PUSH2 0x325e
00003216: JUMPI
00003217: PUSH1 0x40
00003219: MLOAD
0000321a: PUSH3 0x461bcd
0000321e: PUSH1 0xe5
00003220: SHL
00003221: DUP2
00003222: MSTORE
00003223: PUSH1 0x20
00003225: PUSH1 0x04
00003227: DUP3
00003228: ADD
00003229: DUP2
0000322a: SWAP1
0000322b: MSTORE
0000322c: PUSH1 0x24
0000322e: DUP3
0000322f: ADD
00003230: MSTORE
00003231: PUSH32 0x4552433732313a206d696e7420746f20746865207a65726f2061646472657373
00003252: PUSH1 0x44
00003254: DUP3
00003255: ADD
00003256: MSTORE
00003257: PUSH1 0x64
00003259: ADD
0000325a: PUSH2 0x08d3
0000325d: JUMP
0000325e: JUMPDEST
0000325f: PUSH1 0x00
00003261: DUP2
00003262: DUP2
00003263: MSTORE
00003264: PUSH1 0x02
00003266: PUSH1 0x20
00003268: MSTORE
00003269: PUSH1 0x40
0000326b: SWAP1
0000326c: KECCAK256
0000326d: SLOAD
0000326e: PUSH1 0x01
00003270: PUSH1 0x01
00003272: PUSH1 0xa0
00003274: SHL
00003275: SUB
00003276: AND
00003277: ISZERO
00003278: PUSH2 0x32c3
0000327b: JUMPI
0000327c: PUSH1 0x40
0000327e: MLOAD
0000327f: PUSH3 0x461bcd
00003283: PUSH1 0xe5
00003285: SHL
00003286: DUP2
00003287: MSTORE
00003288: PUSH1 0x20
0000328a: PUSH1 0x04
0000328c: DUP3
0000328d: ADD
0000328e: MSTORE
0000328f: PUSH1 0x1c
00003291: PUSH1 0x24
00003293: DUP3
00003294: ADD
00003295: MSTORE
00003296: PUSH32 0x4552433732313a20746f6b656e20616c7265616479206d696e74656400000000
000032b7: PUSH1 0x44
000032b9: DUP3
000032ba: ADD
000032bb: MSTORE
000032bc: PUSH1 0x64
000032be: ADD
000032bf: PUSH2 0x08d3
000032c2: JUMP
000032c3: JUMPDEST
000032c4: PUSH2 0x32cf
000032c7: PUSH1 0x00
000032c9: DUP4
000032ca: DUP4
000032cb: PUSH2 0x2f3b
000032ce: JUMP
000032cf: JUMPDEST
000032d0: PUSH1 0x01
000032d2: PUSH1 0x01
000032d4: PUSH1 0xa0
000032d6: SHL
000032d7: SUB
000032d8: DUP3
000032d9: AND
000032da: PUSH1 0x00
000032dc: SWAP1
000032dd: DUP2
000032de: MSTORE
000032df: PUSH1 0x03
000032e1: PUSH1 0x20
000032e3: MSTORE
000032e4: PUSH1 0x40
000032e6: DUP2
000032e7: KECCAK256
000032e8: DUP1
000032e9: SLOAD
000032ea: PUSH1 0x01
000032ec: SWAP3
000032ed: SWAP1
000032ee: PUSH2 0x32f8
000032f1: SWAP1
000032f2: DUP5
000032f3: SWAP1
000032f4: PUSH2 0x39be
000032f7: JUMP
000032f8: JUMPDEST
000032f9: SWAP1
000032fa: SWAP2
000032fb: SSTORE
000032fc: POP
000032fd: POP
000032fe: PUSH1 0x00
00003300: DUP2
00003301: DUP2
00003302: MSTORE
00003303: PUSH1 0x02
00003305: PUSH1 0x20
00003307: MSTORE
00003308: PUSH1 0x40
0000330a: DUP1
0000330b: DUP3
0000330c: KECCAK256
0000330d: DUP1
0000330e: SLOAD
0000330f: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00003330: AND
00003331: PUSH1 0x01
00003333: PUSH1 0x01
00003335: PUSH1 0xa0
00003337: SHL
00003338: SUB
00003339: DUP7
0000333a: AND
0000333b: SWAP1
0000333c: DUP2
0000333d: OR
0000333e: SWAP1
0000333f: SWAP2
00003340: SSTORE
00003341: SWAP1
00003342: MLOAD
00003343: DUP4
00003344: SWAP3
00003345: SWAP1
00003346: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00003367: SWAP1
00003368: DUP3
00003369: SWAP1
0000336a: LOG4
0000336b: POP
0000336c: POP
0000336d: JUMP
0000336e: JUMPDEST
0000336f: DUP3
00003370: DUP1
00003371: SLOAD
00003372: PUSH2 0x337a
00003375: SWAP1
00003376: PUSH2 0x3a96
00003379: JUMP
0000337a: JUMPDEST
0000337b: SWAP1
0000337c: PUSH1 0x00
0000337e: MSTORE
0000337f: PUSH1 0x20
00003381: PUSH1 0x00
00003383: KECCAK256
00003384: SWAP1
00003385: PUSH1 0x1f
00003387: ADD
00003388: PUSH1 0x20
0000338a: SWAP1
0000338b: DIV
0000338c: DUP2
0000338d: ADD
0000338e: SWAP3
0000338f: DUP3
00003390: PUSH2 0x339c
00003393: JUMPI
00003394: PUSH1 0x00
00003396: DUP6
00003397: SSTORE
00003398: PUSH2 0x33e2
0000339b: JUMP
0000339c: JUMPDEST
0000339d: DUP3
0000339e: PUSH1 0x1f
000033a0: LT
000033a1: PUSH2 0x33b5
000033a4: JUMPI
000033a5: DUP1
000033a6: MLOAD
000033a7: PUSH1 0xff
000033a9: NOT
000033aa: AND
000033ab: DUP4
000033ac: DUP1
000033ad: ADD
000033ae: OR
000033af: DUP6
000033b0: SSTORE
000033b1: PUSH2 0x33e2
000033b4: JUMP
000033b5: JUMPDEST
000033b6: DUP3
000033b7: DUP1
000033b8: ADD
000033b9: PUSH1 0x01
000033bb: ADD
000033bc: DUP6
000033bd: SSTORE
000033be: DUP3
000033bf: ISZERO
000033c0: PUSH2 0x33e2
000033c3: JUMPI
000033c4: SWAP2
000033c5: DUP3
000033c6: ADD
000033c7: JUMPDEST
000033c8: DUP3
000033c9: DUP2
000033ca: GT
000033cb: ISZERO
000033cc: PUSH2 0x33e2
000033cf: JUMPI
000033d0: DUP3
000033d1: MLOAD
000033d2: DUP3
000033d3: SSTORE
000033d4: SWAP2
000033d5: PUSH1 0x20
000033d7: ADD
000033d8: SWAP2
000033d9: SWAP1
000033da: PUSH1 0x01
000033dc: ADD
000033dd: SWAP1
000033de: PUSH2 0x33c7
000033e1: JUMP
000033e2: JUMPDEST
000033e3: POP
000033e4: PUSH2 0x33ee
000033e7: SWAP3
000033e8: SWAP2
000033e9: POP
000033ea: PUSH2 0x3410
000033ed: JUMP
000033ee: JUMPDEST
000033ef: POP
000033f0: SWAP1
000033f1: JUMP
000033f2: JUMPDEST
000033f3: PUSH1 0x40
000033f5: MLOAD
000033f6: DUP1
000033f7: PUSH1 0x80
000033f9: ADD
000033fa: PUSH1 0x40
000033fc: MSTORE
000033fd: DUP1
000033fe: PUSH1 0x04
00003400: SWAP1
00003401: PUSH1 0x20
00003403: DUP3
00003404: MUL
00003405: DUP1
00003406: CALLDATASIZE
00003407: DUP4
00003408: CALLDATACOPY
00003409: POP
0000340a: SWAP2
0000340b: SWAP3
0000340c: SWAP2
0000340d: POP
0000340e: POP
0000340f: JUMP
00003410: JUMPDEST
00003411: JUMPDEST
00003412: DUP1
00003413: DUP3
00003414: GT
00003415: ISZERO
00003416: PUSH2 0x33ee
00003419: JUMPI
0000341a: PUSH1 0x00
0000341c: DUP2
0000341d: SSTORE
0000341e: PUSH1 0x01
00003420: ADD
00003421: PUSH2 0x3411
00003424: JUMP
00003425: JUMPDEST
00003426: PUSH1 0x00
00003428: PUSH8 0xffffffffffffffff
00003431: DUP1
00003432: DUP5
00003433: GT
00003434: ISZERO
00003435: PUSH2 0x3440
00003438: JUMPI
00003439: PUSH2 0x3440
0000343c: PUSH2 0x3b4a
0000343f: JUMP
00003440: JUMPDEST
00003441: PUSH1 0x40
00003443: MLOAD
00003444: PUSH1 0x1f
00003446: DUP6
00003447: ADD
00003448: PUSH1 0x1f
0000344a: NOT
0000344b: SWAP1
0000344c: DUP2
0000344d: AND
0000344e: PUSH1 0x3f
00003450: ADD
00003451: AND
00003452: DUP2
00003453: ADD
00003454: SWAP1
00003455: DUP3
00003456: DUP3
00003457: GT
00003458: DUP2
00003459: DUP4
0000345a: LT
0000345b: OR
0000345c: ISZERO
0000345d: PUSH2 0x3468
00003460: JUMPI
00003461: PUSH2 0x3468
00003464: PUSH2 0x3b4a
00003467: JUMP
00003468: JUMPDEST
00003469: DUP2
0000346a: PUSH1 0x40
0000346c: MSTORE
0000346d: DUP1
0000346e: SWAP4
0000346f: POP
00003470: DUP6
00003471: DUP2
00003472: MSTORE
00003473: DUP7
00003474: DUP7
00003475: DUP7
00003476: ADD
00003477: GT
00003478: ISZERO
00003479: PUSH2 0x3481
0000347c: JUMPI
0000347d: PUSH1 0x00
0000347f: DUP1
00003480: REVERT
00003481: JUMPDEST
00003482: DUP6
00003483: DUP6
00003484: PUSH1 0x20
00003486: DUP4
00003487: ADD
00003488: CALLDATACOPY
00003489: PUSH1 0x00
0000348b: PUSH1 0x20
0000348d: DUP8
0000348e: DUP4
0000348f: ADD
00003490: ADD
00003491: MSTORE
00003492: POP
00003493: POP
00003494: POP
00003495: SWAP4
00003496: SWAP3
00003497: POP
00003498: POP
00003499: POP
0000349a: JUMP
0000349b: JUMPDEST
0000349c: PUSH1 0x00
0000349e: PUSH1 0x20
000034a0: DUP3
000034a1: DUP5
000034a2: SUB
000034a3: SLT
000034a4: ISZERO
000034a5: PUSH2 0x34ac
000034a8: JUMPI
000034a9: DUP1
000034aa: DUP2
000034ab: REVERT
000034ac: JUMPDEST
000034ad: DUP2
000034ae: CALLDATALOAD
000034af: PUSH2 0x1dbd
000034b2: DUP2
000034b3: PUSH2 0x3b60
000034b6: JUMP
000034b7: JUMPDEST
000034b8: PUSH1 0x00
000034ba: DUP1
000034bb: PUSH1 0x40
000034bd: DUP4
000034be: DUP6
000034bf: SUB
000034c0: SLT
000034c1: ISZERO
000034c2: PUSH2 0x34c9
000034c5: JUMPI
000034c6: DUP1
000034c7: DUP2
000034c8: REVERT
000034c9: JUMPDEST
000034ca: DUP3
000034cb: CALLDATALOAD
000034cc: PUSH2 0x34d4
000034cf: DUP2
000034d0: PUSH2 0x3b60
000034d3: JUMP
000034d4: JUMPDEST
000034d5: SWAP2
000034d6: POP
000034d7: PUSH1 0x20
000034d9: DUP4
000034da: ADD
000034db: CALLDATALOAD
000034dc: PUSH2 0x34e4
000034df: DUP2
000034e0: PUSH2 0x3b60
000034e3: JUMP
000034e4: JUMPDEST
000034e5: DUP1
000034e6: SWAP2
000034e7: POP
000034e8: POP
000034e9: SWAP3
000034ea: POP
000034eb: SWAP3
000034ec: SWAP1
000034ed: POP
000034ee: JUMP
000034ef: JUMPDEST
000034f0: PUSH1 0x00
000034f2: DUP1
000034f3: PUSH1 0x00
000034f5: PUSH1 0x60
000034f7: DUP5
000034f8: DUP7
000034f9: SUB
000034fa: SLT
000034fb: ISZERO
000034fc: PUSH2 0x3503
000034ff: JUMPI
00003500: DUP1
00003501: DUP2
00003502: REVERT
00003503: JUMPDEST
00003504: DUP4
00003505: CALLDATALOAD
00003506: PUSH2 0x350e
00003509: DUP2
0000350a: PUSH2 0x3b60
0000350d: JUMP
0000350e: JUMPDEST
0000350f: SWAP3
00003510: POP
00003511: PUSH1 0x20
00003513: DUP5
00003514: ADD
00003515: CALLDATALOAD
00003516: PUSH2 0x351e
00003519: DUP2
0000351a: PUSH2 0x3b60
0000351d: JUMP
0000351e: JUMPDEST
0000351f: SWAP3
00003520: SWAP6
00003521: SWAP3
00003522: SWAP5
00003523: POP
00003524: POP
00003525: POP
00003526: PUSH1 0x40
00003528: SWAP2
00003529: SWAP1
0000352a: SWAP2
0000352b: ADD
0000352c: CALLDATALOAD
0000352d: SWAP1
0000352e: JUMP
0000352f: JUMPDEST
00003530: PUSH1 0x00
00003532: DUP1
00003533: PUSH1 0x00
00003535: DUP1
00003536: PUSH1 0x80
00003538: DUP6
00003539: DUP8
0000353a: SUB
0000353b: SLT
0000353c: ISZERO
0000353d: PUSH2 0x3544
00003540: JUMPI
00003541: DUP1
00003542: DUP2
00003543: REVERT
00003544: JUMPDEST
00003545: DUP5
00003546: CALLDATALOAD
00003547: PUSH2 0x354f
0000354a: DUP2
0000354b: PUSH2 0x3b60
0000354e: JUMP
0000354f: JUMPDEST
00003550: SWAP4
00003551: POP
00003552: PUSH1 0x20
00003554: DUP6
00003555: ADD
00003556: CALLDATALOAD
00003557: PUSH2 0x355f
0000355a: DUP2
0000355b: PUSH2 0x3b60
0000355e: JUMP
0000355f: JUMPDEST
00003560: SWAP3
00003561: POP
00003562: PUSH1 0x40
00003564: DUP6
00003565: ADD
00003566: CALLDATALOAD
00003567: SWAP2
00003568: POP
00003569: PUSH1 0x60
0000356b: DUP6
0000356c: ADD
0000356d: CALLDATALOAD
0000356e: PUSH8 0xffffffffffffffff
00003577: DUP2
00003578: GT
00003579: ISZERO
0000357a: PUSH2 0x3581
0000357d: JUMPI
0000357e: DUP2
0000357f: DUP3
00003580: REVERT
00003581: JUMPDEST
00003582: DUP6
00003583: ADD
00003584: PUSH1 0x1f
00003586: DUP2
00003587: ADD
00003588: DUP8
00003589: SGT
0000358a: PUSH2 0x3591
0000358d: JUMPI
0000358e: DUP2
0000358f: DUP3
00003590: REVERT
00003591: JUMPDEST
00003592: PUSH2 0x35a0
00003595: DUP8
00003596: DUP3
00003597: CALLDATALOAD
00003598: PUSH1 0x20
0000359a: DUP5
0000359b: ADD
0000359c: PUSH2 0x3425
0000359f: JUMP
000035a0: JUMPDEST
000035a1: SWAP2
000035a2: POP
000035a3: POP
000035a4: SWAP3
000035a5: SWAP6
000035a6: SWAP2
000035a7: SWAP5
000035a8: POP
000035a9: SWAP3
000035aa: POP
000035ab: JUMP
000035ac: JUMPDEST
000035ad: PUSH1 0x00
000035af: DUP1
000035b0: PUSH1 0x40
000035b2: DUP4
000035b3: DUP6
000035b4: SUB
000035b5: SLT
000035b6: ISZERO
000035b7: PUSH2 0x35be
000035ba: JUMPI
000035bb: DUP2
000035bc: DUP3
000035bd: REVERT
000035be: JUMPDEST
000035bf: DUP3
000035c0: CALLDATALOAD
000035c1: PUSH2 0x35c9
000035c4: DUP2
000035c5: PUSH2 0x3b60
000035c8: JUMP
000035c9: JUMPDEST
000035ca: SWAP2
000035cb: POP
000035cc: PUSH1 0x20
000035ce: DUP4
000035cf: ADD
000035d0: CALLDATALOAD
000035d1: DUP1
000035d2: ISZERO
000035d3: ISZERO
000035d4: DUP2
000035d5: EQ
000035d6: PUSH2 0x34e4
000035d9: JUMPI
000035da: DUP2
000035db: DUP3
000035dc: REVERT
000035dd: JUMPDEST
000035de: PUSH1 0x00
000035e0: DUP1
000035e1: PUSH1 0x40
000035e3: DUP4
000035e4: DUP6
000035e5: SUB
000035e6: SLT
000035e7: ISZERO
000035e8: PUSH2 0x35ef
000035eb: JUMPI
000035ec: DUP2
000035ed: DUP3
000035ee: REVERT
000035ef: JUMPDEST
000035f0: DUP3
000035f1: CALLDATALOAD
000035f2: PUSH2 0x35fa
000035f5: DUP2
000035f6: PUSH2 0x3b60
000035f9: JUMP
000035fa: JUMPDEST
000035fb: SWAP5
000035fc: PUSH1 0x20
000035fe: SWAP4
000035ff: SWAP1
00003600: SWAP4
00003601: ADD
00003602: CALLDATALOAD
00003603: SWAP4
00003604: POP
00003605: POP
00003606: POP
00003607: JUMP
00003608: JUMPDEST
00003609: PUSH1 0x00
0000360b: DUP1
0000360c: PUSH1 0x20
0000360e: DUP4
0000360f: DUP6
00003610: SUB
00003611: SLT
00003612: ISZERO
00003613: PUSH2 0x361a
00003616: JUMPI
00003617: DUP2
00003618: DUP3
00003619: REVERT
0000361a: JUMPDEST
0000361b: DUP3
0000361c: CALLDATALOAD
0000361d: PUSH8 0xffffffffffffffff
00003626: DUP1
00003627: DUP3
00003628: GT
00003629: ISZERO
0000362a: PUSH2 0x3631
0000362d: JUMPI
0000362e: DUP4
0000362f: DUP5
00003630: REVERT
00003631: JUMPDEST
00003632: DUP2
00003633: DUP6
00003634: ADD
00003635: SWAP2
00003636: POP
00003637: DUP6
00003638: PUSH1 0x1f
0000363a: DUP4
0000363b: ADD
0000363c: SLT
0000363d: PUSH2 0x3644
00003640: JUMPI
00003641: DUP4
00003642: DUP5
00003643: REVERT
00003644: JUMPDEST
00003645: DUP2
00003646: CALLDATALOAD
00003647: DUP2
00003648: DUP2
00003649: GT
0000364a: ISZERO
0000364b: PUSH2 0x3652
0000364e: JUMPI
0000364f: DUP5
00003650: DUP6
00003651: REVERT
00003652: JUMPDEST
00003653: DUP7
00003654: PUSH1 0x20
00003656: DUP3
00003657: PUSH1 0x05
00003659: SHL
0000365a: DUP6
0000365b: ADD
0000365c: ADD
0000365d: GT
0000365e: ISZERO
0000365f: PUSH2 0x3666
00003662: JUMPI
00003663: DUP5
00003664: DUP6
00003665: REVERT
00003666: JUMPDEST
00003667: PUSH1 0x20
00003669: SWAP3
0000366a: SWAP1
0000366b: SWAP3
0000366c: ADD
0000366d: SWAP7
0000366e: SWAP2
0000366f: SWAP6
00003670: POP
00003671: SWAP1
00003672: SWAP4
00003673: POP
00003674: POP
00003675: POP
00003676: POP
00003677: JUMP
00003678: JUMPDEST
00003679: PUSH1 0x00
0000367b: PUSH1 0x20
0000367d: DUP3
0000367e: DUP5
0000367f: SUB
00003680: SLT
00003681: ISZERO
00003682: PUSH2 0x3689
00003685: JUMPI
00003686: DUP1
00003687: DUP2
00003688: REVERT
00003689: JUMPDEST
0000368a: POP
0000368b: CALLDATALOAD
0000368c: SWAP2
0000368d: SWAP1
0000368e: POP
0000368f: JUMP
00003690: JUMPDEST
00003691: PUSH1 0x00
00003693: PUSH1 0x20
00003695: DUP3
00003696: DUP5
00003697: SUB
00003698: SLT
00003699: ISZERO
0000369a: PUSH2 0x36a1
0000369d: JUMPI
0000369e: DUP1
0000369f: DUP2
000036a0: REVERT
000036a1: JUMPDEST
000036a2: DUP2
000036a3: CALLDATALOAD
000036a4: PUSH2 0x1dbd
000036a7: DUP2
000036a8: PUSH2 0x3b75
000036ab: JUMP
000036ac: JUMPDEST
000036ad: PUSH1 0x00
000036af: PUSH1 0x20
000036b1: DUP3
000036b2: DUP5
000036b3: SUB
000036b4: SLT
000036b5: ISZERO
000036b6: PUSH2 0x36bd
000036b9: JUMPI
000036ba: DUP1
000036bb: DUP2
000036bc: REVERT
000036bd: JUMPDEST
000036be: DUP2
000036bf: MLOAD
000036c0: PUSH2 0x1dbd
000036c3: DUP2
000036c4: PUSH2 0x3b75
000036c7: JUMP
000036c8: JUMPDEST
000036c9: PUSH1 0x00
000036cb: PUSH1 0x20
000036cd: DUP3
000036ce: DUP5
000036cf: SUB
000036d0: SLT
000036d1: ISZERO
000036d2: PUSH2 0x36d9
000036d5: JUMPI
000036d6: DUP1
000036d7: DUP2
000036d8: REVERT
000036d9: JUMPDEST
000036da: DUP2
000036db: MLOAD
000036dc: PUSH2 0x1dbd
000036df: DUP2
000036e0: PUSH2 0x3b60
000036e3: JUMP
000036e4: JUMPDEST
000036e5: PUSH1 0x00
000036e7: PUSH1 0x20
000036e9: DUP3
000036ea: DUP5
000036eb: SUB
000036ec: SLT
000036ed: ISZERO
000036ee: PUSH2 0x36f5
000036f1: JUMPI
000036f2: DUP1
000036f3: DUP2
000036f4: REVERT
000036f5: JUMPDEST
000036f6: DUP2
000036f7: CALLDATALOAD
000036f8: PUSH8 0xffffffffffffffff
00003701: DUP2
00003702: GT
00003703: ISZERO
00003704: PUSH2 0x370b
00003707: JUMPI
00003708: DUP2
00003709: DUP3
0000370a: REVERT
0000370b: JUMPDEST
0000370c: DUP3
0000370d: ADD
0000370e: PUSH1 0x1f
00003710: DUP2
00003711: ADD
00003712: DUP5
00003713: SGT
00003714: PUSH2 0x371b
00003717: JUMPI
00003718: DUP2
00003719: DUP3
0000371a: REVERT
0000371b: JUMPDEST
0000371c: PUSH2 0x22d0
0000371f: DUP5
00003720: DUP3
00003721: CALLDATALOAD
00003722: PUSH1 0x20
00003724: DUP5
00003725: ADD
00003726: PUSH2 0x3425
00003729: JUMP
0000372a: JUMPDEST
0000372b: PUSH1 0x00
0000372d: DUP1
0000372e: PUSH1 0x00
00003730: PUSH1 0x60
00003732: DUP5
00003733: DUP7
00003734: SUB
00003735: SLT
00003736: ISZERO
00003737: PUSH2 0x373e
0000373a: JUMPI
0000373b: DUP1
0000373c: DUP2
0000373d: REVERT
0000373e: JUMPDEST
0000373f: DUP4
00003740: CALLDATALOAD
00003741: SWAP3
00003742: POP
00003743: PUSH1 0x20
00003745: DUP5
00003746: ADD
00003747: CALLDATALOAD
00003748: PUSH2 0x3750
0000374b: DUP2
0000374c: PUSH2 0x3b60
0000374f: JUMP
00003750: JUMPDEST
00003751: SWAP2
00003752: POP
00003753: PUSH1 0x40
00003755: DUP5
00003756: ADD
00003757: CALLDATALOAD
00003758: PUSH12 0xffffffffffffffffffffffff
00003765: DUP2
00003766: AND
00003767: DUP2
00003768: EQ
00003769: PUSH2 0x3770
0000376c: JUMPI
0000376d: DUP2
0000376e: DUP3
0000376f: REVERT
00003770: JUMPDEST
00003771: DUP1
00003772: SWAP2
00003773: POP
00003774: POP
00003775: SWAP3
00003776: POP
00003777: SWAP3
00003778: POP
00003779: SWAP3
0000377a: JUMP
0000377b: JUMPDEST
0000377c: PUSH1 0x00
0000377e: DUP1
0000377f: PUSH1 0x40
00003781: DUP4
00003782: DUP6
00003783: SUB
00003784: SLT
00003785: ISZERO
00003786: PUSH2 0x378d
00003789: JUMPI
0000378a: DUP2
0000378b: DUP3
0000378c: REVERT
0000378d: JUMPDEST
0000378e: POP
0000378f: POP
00003790: DUP1
00003791: CALLDATALOAD
00003792: SWAP3
00003793: PUSH1 0x20
00003795: SWAP1
00003796: SWAP2
00003797: ADD
00003798: CALLDATALOAD
00003799: SWAP2
0000379a: POP
0000379b: JUMP
0000379c: JUMPDEST
0000379d: PUSH1 0x00
0000379f: DUP2
000037a0: MLOAD
000037a1: DUP1
000037a2: DUP5
000037a3: MSTORE
000037a4: PUSH1 0x20
000037a6: DUP1
000037a7: DUP6
000037a8: ADD
000037a9: SWAP5
000037aa: POP
000037ab: DUP1
000037ac: DUP5
000037ad: ADD
000037ae: DUP4
000037af: JUMPDEST
000037b0: DUP4
000037b1: DUP2
000037b2: LT
000037b3: ISZERO
000037b4: PUSH2 0x37ed
000037b7: JUMPI
000037b8: DUP2
000037b9: MLOAD
000037ba: DUP1
000037bb: MLOAD
000037bc: PUSH1 0x01
000037be: PUSH1 0x01
000037c0: PUSH1 0xa0
000037c2: SHL
000037c3: SUB
000037c4: AND
000037c5: DUP9
000037c6: MSTORE
000037c7: DUP4
000037c8: ADD
000037c9: MLOAD
000037ca: PUSH12 0xffffffffffffffffffffffff
000037d7: AND
000037d8: DUP4
000037d9: DUP9
000037da: ADD
000037db: MSTORE
000037dc: PUSH1 0x40
000037de: SWAP1
000037df: SWAP7
000037e0: ADD
000037e1: SWAP6
000037e2: SWAP1
000037e3: DUP3
000037e4: ADD
000037e5: SWAP1
000037e6: PUSH1 0x01
000037e8: ADD
000037e9: PUSH2 0x37af
000037ec: JUMP
000037ed: JUMPDEST
000037ee: POP
000037ef: SWAP5
000037f0: SWAP6
000037f1: SWAP5
000037f2: POP
000037f3: POP
000037f4: POP
000037f5: POP
000037f6: POP
000037f7: JUMP
000037f8: JUMPDEST
000037f9: PUSH1 0x00
000037fb: DUP2
000037fc: MLOAD
000037fd: DUP1
000037fe: DUP5
000037ff: MSTORE
00003800: PUSH2 0x3810
00003803: DUP2
00003804: PUSH1 0x20
00003806: DUP7
00003807: ADD
00003808: PUSH1 0x20
0000380a: DUP7
0000380b: ADD
0000380c: PUSH2 0x3a6a
0000380f: JUMP
00003810: JUMPDEST
00003811: PUSH1 0x1f
00003813: ADD
00003814: PUSH1 0x1f
00003816: NOT
00003817: AND
00003818: SWAP3
00003819: SWAP1
0000381a: SWAP3
0000381b: ADD
0000381c: PUSH1 0x20
0000381e: ADD
0000381f: SWAP3
00003820: SWAP2
00003821: POP
00003822: POP
00003823: JUMP
00003824: JUMPDEST
00003825: PUSH1 0x00
00003827: DUP2
00003828: MLOAD
00003829: PUSH2 0x3836
0000382c: DUP2
0000382d: DUP6
0000382e: PUSH1 0x20
00003830: DUP7
00003831: ADD
00003832: PUSH2 0x3a6a
00003835: JUMP
00003836: JUMPDEST
00003837: SWAP3
00003838: SWAP1
00003839: SWAP3
0000383a: ADD
0000383b: SWAP3
0000383c: SWAP2
0000383d: POP
0000383e: POP
0000383f: JUMP
00003840: JUMPDEST
00003841: PUSH1 0x00
00003843: DUP1
00003844: DUP5
00003845: SLOAD
00003846: DUP3
00003847: PUSH1 0x01
00003849: DUP3
0000384a: DUP2
0000384b: SHR
0000384c: SWAP2
0000384d: POP
0000384e: DUP1
0000384f: DUP4
00003850: AND
00003851: DUP1
00003852: PUSH2 0x385c
00003855: JUMPI
00003856: PUSH1 0x7f
00003858: DUP4
00003859: AND
0000385a: SWAP3
0000385b: POP
0000385c: JUMPDEST
0000385d: PUSH1 0x20
0000385f: DUP1
00003860: DUP5
00003861: LT
00003862: DUP3
00003863: EQ
00003864: ISZERO
00003865: PUSH2 0x387c
00003868: JUMPI
00003869: PUSH4 0x4e487b71
0000386e: PUSH1 0xe0
00003870: SHL
00003871: DUP8
00003872: MSTORE
00003873: PUSH1 0x22
00003875: PUSH1 0x04
00003877: MSTORE
00003878: PUSH1 0x24
0000387a: DUP8
0000387b: REVERT
0000387c: JUMPDEST
0000387d: DUP2
0000387e: DUP1
0000387f: ISZERO
00003880: PUSH2 0x3890
00003883: JUMPI
00003884: PUSH1 0x01
00003886: DUP2
00003887: EQ
00003888: PUSH2 0x38a1
0000388b: JUMPI
0000388c: PUSH2 0x38cd
0000388f: JUMP
00003890: JUMPDEST
00003891: PUSH1 0xff
00003893: NOT
00003894: DUP7
00003895: AND
00003896: DUP10
00003897: MSTORE
00003898: DUP5
00003899: DUP10
0000389a: ADD
0000389b: SWAP7
0000389c: POP
0000389d: PUSH2 0x38cd
000038a0: JUMP
000038a1: JUMPDEST
000038a2: PUSH1 0x00
000038a4: DUP12
000038a5: DUP2
000038a6: MSTORE
000038a7: PUSH1 0x20
000038a9: SWAP1
000038aa: KECCAK256
000038ab: DUP9
000038ac: JUMPDEST
000038ad: DUP7
000038ae: DUP2
000038af: LT
000038b0: ISZERO
000038b1: PUSH2 0x38c5
000038b4: JUMPI
000038b5: DUP2
000038b6: SLOAD
000038b7: DUP12
000038b8: DUP3
000038b9: ADD
000038ba: MSTORE
000038bb: SWAP1
000038bc: DUP6
000038bd: ADD
000038be: SWAP1
000038bf: DUP4
000038c0: ADD
000038c1: PUSH2 0x38ac
000038c4: JUMP
000038c5: JUMPDEST
000038c6: POP
000038c7: POP
000038c8: DUP5
000038c9: DUP10
000038ca: ADD
000038cb: SWAP7
000038cc: POP
000038cd: JUMPDEST
000038ce: POP
000038cf: POP
000038d0: POP
000038d1: POP
000038d2: POP
000038d3: POP
000038d4: PUSH2 0x3909
000038d7: PUSH2 0x38e0
000038da: DUP3
000038db: DUP7
000038dc: PUSH2 0x3824
000038df: JUMP
000038e0: JUMPDEST
000038e1: PUSH32 0x2e6a736f6e000000000000000000000000000000000000000000000000000000
00003902: DUP2
00003903: MSTORE
00003904: PUSH1 0x05
00003906: ADD
00003907: SWAP1
00003908: JUMP
00003909: JUMPDEST
0000390a: SWAP6
0000390b: SWAP5
0000390c: POP
0000390d: POP
0000390e: POP
0000390f: POP
00003910: POP
00003911: JUMP
00003912: JUMPDEST
00003913: PUSH1 0x00
00003915: PUSH1 0x01
00003917: PUSH1 0x01
00003919: PUSH1 0xa0
0000391b: SHL
0000391c: SUB
0000391d: DUP1
0000391e: DUP8
0000391f: AND
00003920: DUP4
00003921: MSTORE
00003922: DUP1
00003923: DUP7
00003924: AND
00003925: PUSH1 0x20
00003927: DUP5
00003928: ADD
00003929: MSTORE
0000392a: POP
0000392b: DUP4
0000392c: PUSH1 0x40
0000392e: DUP4
0000392f: ADD
00003930: MSTORE
00003931: PUSH1 0x80
00003933: PUSH1 0x60
00003935: DUP4
00003936: ADD
00003937: MSTORE
00003938: PUSH2 0x3944
0000393b: PUSH1 0x80
0000393d: DUP4
0000393e: ADD
0000393f: DUP5
00003940: PUSH2 0x37f8
00003943: JUMP
00003944: JUMPDEST
00003945: SWAP7
00003946: SWAP6
00003947: POP
00003948: POP
00003949: POP
0000394a: POP
0000394b: POP
0000394c: POP
0000394d: JUMP
0000394e: JUMPDEST
0000394f: PUSH1 0x20
00003951: DUP2
00003952: MSTORE
00003953: PUSH1 0x00
00003955: PUSH2 0x1dbd
00003958: PUSH1 0x20
0000395a: DUP4
0000395b: ADD
0000395c: DUP5
0000395d: PUSH2 0x379c
00003960: JUMP
00003961: JUMPDEST
00003962: PUSH1 0x80
00003964: DUP2
00003965: ADD
00003966: DUP2
00003967: DUP4
00003968: PUSH1 0x00
0000396a: JUMPDEST
0000396b: PUSH1 0x04
0000396d: DUP2
0000396e: LT
0000396f: ISZERO
00003970: PUSH2 0x3989
00003973: JUMPI
00003974: DUP2
00003975: MLOAD
00003976: DUP4
00003977: MSTORE
00003978: PUSH1 0x20
0000397a: SWAP3
0000397b: DUP4
0000397c: ADD
0000397d: SWAP3
0000397e: SWAP1
0000397f: SWAP2
00003980: ADD
00003981: SWAP1
00003982: PUSH1 0x01
00003984: ADD
00003985: PUSH2 0x396a
00003988: JUMP
00003989: JUMPDEST
0000398a: POP
0000398b: POP
0000398c: POP
0000398d: SWAP3
0000398e: SWAP2
0000398f: POP
00003990: POP
00003991: JUMP
00003992: JUMPDEST
00003993: PUSH1 0x20
00003995: DUP2
00003996: MSTORE
00003997: PUSH1 0x00
00003999: PUSH2 0x1dbd
0000399c: PUSH1 0x20
0000399e: DUP4
0000399f: ADD
000039a0: DUP5
000039a1: PUSH2 0x37f8
000039a4: JUMP
000039a5: JUMPDEST
000039a6: DUP3
000039a7: DUP2
000039a8: MSTORE
000039a9: PUSH1 0x40
000039ab: PUSH1 0x20
000039ad: DUP3
000039ae: ADD
000039af: MSTORE
000039b0: PUSH1 0x00
000039b2: PUSH2 0x22d0
000039b5: PUSH1 0x40
000039b7: DUP4
000039b8: ADD
000039b9: DUP5
000039ba: PUSH2 0x379c
000039bd: JUMP
000039be: JUMPDEST
000039bf: PUSH1 0x00
000039c1: DUP3
000039c2: NOT
000039c3: DUP3
000039c4: GT
000039c5: ISZERO
000039c6: PUSH2 0x39d1
000039c9: JUMPI
000039ca: PUSH2 0x39d1
000039cd: PUSH2 0x3b1e
000039d0: JUMP
000039d1: JUMPDEST
000039d2: POP
000039d3: ADD
000039d4: SWAP1
000039d5: JUMP
000039d6: JUMPDEST
000039d7: PUSH1 0x00
000039d9: PUSH8 0xffffffffffffffff
000039e2: DUP1
000039e3: DUP4
000039e4: AND
000039e5: DUP2
000039e6: DUP6
000039e7: AND
000039e8: DUP1
000039e9: DUP4
000039ea: SUB
000039eb: DUP3
000039ec: GT
000039ed: ISZERO
000039ee: PUSH2 0x39f9
000039f1: JUMPI
000039f2: PUSH2 0x39f9
000039f5: PUSH2 0x3b1e
000039f8: JUMP
000039f9: JUMPDEST
000039fa: ADD
000039fb: SWAP5
000039fc: SWAP4
000039fd: POP
000039fe: POP
000039ff: POP
00003a00: POP
00003a01: JUMP
00003a02: JUMPDEST
00003a03: PUSH1 0x00
00003a05: DUP3
00003a06: PUSH2 0x3a11
00003a09: JUMPI
00003a0a: PUSH2 0x3a11
00003a0d: PUSH2 0x3b34
00003a10: JUMP
00003a11: JUMPDEST
00003a12: POP
00003a13: DIV
00003a14: SWAP1
00003a15: JUMP
00003a16: JUMPDEST
00003a17: PUSH1 0x00
00003a19: DUP2
00003a1a: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00003a3b: DIV
00003a3c: DUP4
00003a3d: GT
00003a3e: DUP3
00003a3f: ISZERO
00003a40: ISZERO
00003a41: AND
00003a42: ISZERO
00003a43: PUSH2 0x3a4e
00003a46: JUMPI
00003a47: PUSH2 0x3a4e
00003a4a: PUSH2 0x3b1e
00003a4d: JUMP
00003a4e: JUMPDEST
00003a4f: POP
00003a50: MUL
00003a51: SWAP1
00003a52: JUMP
00003a53: JUMPDEST
00003a54: PUSH1 0x00
00003a56: DUP3
00003a57: DUP3
00003a58: LT
00003a59: ISZERO
00003a5a: PUSH2 0x3a65
00003a5d: JUMPI
00003a5e: PUSH2 0x3a65
00003a61: PUSH2 0x3b1e
00003a64: JUMP
00003a65: JUMPDEST
00003a66: POP
00003a67: SUB
00003a68: SWAP1
00003a69: JUMP
00003a6a: JUMPDEST
00003a6b: PUSH1 0x00
00003a6d: JUMPDEST
00003a6e: DUP4
00003a6f: DUP2
00003a70: LT
00003a71: ISZERO
00003a72: PUSH2 0x3a85
00003a75: JUMPI
00003a76: DUP2
00003a77: DUP2
00003a78: ADD
00003a79: MLOAD
00003a7a: DUP4
00003a7b: DUP3
00003a7c: ADD
00003a7d: MSTORE
00003a7e: PUSH1 0x20
00003a80: ADD
00003a81: PUSH2 0x3a6d
00003a84: JUMP
00003a85: JUMPDEST
00003a86: DUP4
00003a87: DUP2
00003a88: GT
00003a89: ISZERO
00003a8a: PUSH2 0x0d96
00003a8d: JUMPI
00003a8e: POP
00003a8f: POP
00003a90: PUSH1 0x00
00003a92: SWAP2
00003a93: ADD
00003a94: MSTORE
00003a95: JUMP
00003a96: JUMPDEST
00003a97: PUSH1 0x01
00003a99: DUP2
00003a9a: DUP2
00003a9b: SHR
00003a9c: SWAP1
00003a9d: DUP3
00003a9e: AND
00003a9f: DUP1
00003aa0: PUSH2 0x3aaa
00003aa3: JUMPI
00003aa4: PUSH1 0x7f
00003aa6: DUP3
00003aa7: AND
00003aa8: SWAP2
00003aa9: POP
00003aaa: JUMPDEST
00003aab: PUSH1 0x20
00003aad: DUP3
00003aae: LT
00003aaf: DUP2
00003ab0: EQ
00003ab1: ISZERO
00003ab2: PUSH2 0x3acb
00003ab5: JUMPI
00003ab6: PUSH4 0x4e487b71
00003abb: PUSH1 0xe0
00003abd: SHL
00003abe: PUSH1 0x00
00003ac0: MSTORE
00003ac1: PUSH1 0x22
00003ac3: PUSH1 0x04
00003ac5: MSTORE
00003ac6: PUSH1 0x24
00003ac8: PUSH1 0x00
00003aca: REVERT
00003acb: JUMPDEST
00003acc: POP
00003acd: SWAP2
00003ace: SWAP1
00003acf: POP
00003ad0: JUMP
00003ad1: JUMPDEST
00003ad2: PUSH1 0x00
00003ad4: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00003af5: DUP3
00003af6: EQ
00003af7: ISZERO
00003af8: PUSH2 0x3b03
00003afb: JUMPI
00003afc: PUSH2 0x3b03
00003aff: PUSH2 0x3b1e
00003b02: JUMP
00003b03: JUMPDEST
00003b04: POP
00003b05: PUSH1 0x01
00003b07: ADD
00003b08: SWAP1
00003b09: JUMP
00003b0a: JUMPDEST
00003b0b: PUSH1 0x00
00003b0d: DUP3
00003b0e: PUSH2 0x3b19
00003b11: JUMPI
00003b12: PUSH2 0x3b19
00003b15: PUSH2 0x3b34
00003b18: JUMP
00003b19: JUMPDEST
00003b1a: POP
00003b1b: MOD
00003b1c: SWAP1
00003b1d: JUMP
00003b1e: JUMPDEST
00003b1f: PUSH4 0x4e487b71
00003b24: PUSH1 0xe0
00003b26: SHL
00003b27: PUSH1 0x00
00003b29: MSTORE
00003b2a: PUSH1 0x11
00003b2c: PUSH1 0x04
00003b2e: MSTORE
00003b2f: PUSH1 0x24
00003b31: PUSH1 0x00
00003b33: REVERT
00003b34: JUMPDEST
00003b35: PUSH4 0x4e487b71
00003b3a: PUSH1 0xe0
00003b3c: SHL
00003b3d: PUSH1 0x00
00003b3f: MSTORE
00003b40: PUSH1 0x12
00003b42: PUSH1 0x04
00003b44: MSTORE
00003b45: PUSH1 0x24
00003b47: PUSH1 0x00
00003b49: REVERT
00003b4a: JUMPDEST
00003b4b: PUSH4 0x4e487b71
00003b50: PUSH1 0xe0
00003b52: SHL
00003b53: PUSH1 0x00
00003b55: MSTORE
00003b56: PUSH1 0x41
00003b58: PUSH1 0x04
00003b5a: MSTORE
00003b5b: PUSH1 0x24
00003b5d: PUSH1 0x00
00003b5f: REVERT
00003b60: JUMPDEST
00003b61: PUSH1 0x01
00003b63: PUSH1 0x01
00003b65: PUSH1 0xa0
00003b67: SHL
00003b68: SUB
00003b69: DUP2
00003b6a: AND
00003b6b: DUP2
00003b6c: EQ
00003b6d: PUSH2 0x1f6d
00003b70: JUMPI
00003b71: PUSH1 0x00
00003b73: DUP1
00003b74: REVERT
00003b75: JUMPDEST
00003b76: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00003b97: DUP2
00003b98: AND
00003b99: DUP2
00003b9a: EQ
00003b9b: PUSH2 0x1f6d
00003b9e: JUMPI
00003b9f: PUSH1 0x00
00003ba1: DUP1
00003ba2: REVERT
00003ba3: INVALID
00003ba4: LOG2
00003ba5: PUSH5 0x6970667358
00003bab: UNKNOWN(0x22)
00003bac: SLT
00003bad: KECCAK256
00003bae: UNKNOWN(0xAB)
00003baf: MCOPY
00003bb0: UNKNOWN(0xA7)
00003bb1: SELFBALANCE
00003bb2: INVALID
00003bb3: UNKNOWN(0x2D)
00003bb4: UNKNOWN(0xBE)
00003bb5: CALLDATASIZE
00003bb6: LOG1
00003bb7: PUSH27 0x6ae4c574cf8c306b8ed34f957e3ce42c02d1b7de804b64736f6c63
00003bd3: NUMBER
00003bd4: STOP
00003bd5: ADDMOD
00003bd6: DIV
00003bd7: STOP
00003bd8: CALLER
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0x8a10699508225d77ebe8d8e88e8da55cb493d6af2038b0acac00c0b874ccd1fc call_targets: 0x9a1a77cf312dd43d6da93c5ed5d2b4ef592e8962 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x8a10699508225d77ebe8d8e88e8da55cb493d6af2038b0acac00c0b874ccd1fc", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x9a1a77cf312dd43d6da93c5ed5d2b4ef592e8962" ], "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": "0xef286e80", "selector": "0xef286e80", "calldata_variants": [ "0xef286e80", "0xef286e800000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf101e481", "selector": "0xf101e481", "calldata_variants": [ "0xf101e481", "0xf101e4810000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd26ea6c0", "selector": "0xd26ea6c0", "calldata_variants": [ "0xd26ea6c0", "0xd26ea6c00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe985e9c5", "selector": "0xe985e9c5", "calldata_variants": [ "0xe985e9c5", "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc87b56dd", "selector": "0xc87b56dd", "calldata_variants": [ "0xc87b56dd", "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xcad96cca", "selector": "0xcad96cca", "calldata_variants": [ "0xcad96cca", "0xcad96cca0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xcd7c0326", "selector": "0xcd7c0326", "calldata_variants": [ "0xcd7c0326", "0xcd7c03260000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 5020, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 12303, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 2, "guards_detected": [], "untrusted_call_count": 2 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x8a10699508225d77ebe8d8e88e8da55cb493d6af2038b0acac00c0b874ccd1fc call_targets: 0x9a1a77cf312dd43d6da93c5ed5d2b4ef592e8962 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x8a10699508225d77ebe8d8e88e8da55cb493d6af2038b0acac00c0b874ccd1fc", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x9a1a77cf312dd43d6da93c5ed5d2b4ef592e8962" ], "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": "0xef286e80", "selector": "0xef286e80", "calldata_variants": [ "0xef286e80", "0xef286e800000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf101e481", "selector": "0xf101e481", "calldata_variants": [ "0xf101e481", "0xf101e4810000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd26ea6c0", "selector": "0xd26ea6c0", "calldata_variants": [ "0xd26ea6c0", "0xd26ea6c00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe985e9c5", "selector": "0xe985e9c5", "calldata_variants": [ "0xe985e9c5", "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc87b56dd", "selector": "0xc87b56dd", "calldata_variants": [ "0xc87b56dd", "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xcad96cca", "selector": "0xcad96cca", "calldata_variants": [ "0xcad96cca", "0xcad96cca0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xcd7c0326", "selector": "0xcd7c0326", "calldata_variants": [ "0xcd7c0326", "0xcd7c03260000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 5020, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 12303, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 2, "guards_detected": [] }
Severity