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

Analysis Run

019b477e-c8ea-72e5-8303-3219c05373a9

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

Confirmed
0
Validated
0
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
26233 artifact.fetch complete 1 / 3 3 months ago
26234 tool.cast_disasm complete 1 / 3 3 months ago
102760 analysis.bundle complete 1 / 3 1 week ago
102761 capability.graph complete 1 / 3 1 week ago
102762 detector.run complete 1 / 3 1 week ago
102763 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
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
4
EXT*/BALANCE
4
Total opcodes
8504
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 0x0219
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x7cb64759
00000019: GT
0000001a: PUSH2 0x0123
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xbd85b039
00000024: GT
00000025: PUSH2 0x00ab
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xead66180
0000002f: GT
00000030: PUSH2 0x006f
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xead66180
0000003a: EQ
0000003b: PUSH2 0x064d
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf242432a
00000045: EQ
00000046: PUSH2 0x0662
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf2fde38b
00000050: EQ
00000051: PUSH2 0x0682
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf6f779af
0000005b: EQ
0000005c: PUSH2 0x06a2
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xfdb49068
00000066: EQ
00000067: PUSH2 0x06b5
0000006a: JUMPI
0000006b: PUSH1 0x00
0000006d: DUP1
0000006e: REVERT
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0xbd85b039
00000076: EQ
00000077: PUSH2 0x058b
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xbed84538
00000081: EQ
00000082: PUSH2 0x05b8
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xd6b74865
0000008c: EQ
0000008d: PUSH2 0x05ce
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xe52991b5
00000097: EQ
00000098: PUSH2 0x05ee
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0xe985e9c5
000000a2: EQ
000000a3: PUSH2 0x0604
000000a6: JUMPI
000000a7: PUSH1 0x00
000000a9: DUP1
000000aa: REVERT
000000ab: JUMPDEST
000000ac: DUP1
000000ad: PUSH4 0x93fd3f6b
000000b2: GT
000000b3: PUSH2 0x00f2
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x93fd3f6b
000000bd: EQ
000000be: PUSH2 0x0501
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x95d89b41
000000c8: EQ
000000c9: PUSH2 0x0521
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0x96d1d5cd
000000d3: EQ
000000d4: PUSH2 0x0536
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0xa22cb465
000000de: EQ
000000df: PUSH2 0x0556
000000e2: JUMPI
000000e3: DUP1
000000e4: PUSH4 0xbae77f51
000000e9: EQ
000000ea: PUSH2 0x0576
000000ed: JUMPI
000000ee: PUSH1 0x00
000000f0: DUP1
000000f1: REVERT
000000f2: JUMPDEST
000000f3: DUP1
000000f4: PUSH4 0x7cb64759
000000f9: EQ
000000fa: PUSH2 0x0475
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x8456cb59
00000104: EQ
00000105: PUSH2 0x0495
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x8da5cb5b
0000010f: EQ
00000110: PUSH2 0x04aa
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0x91b7f5ed
0000011a: EQ
0000011b: PUSH2 0x04e1
0000011e: JUMPI
0000011f: PUSH1 0x00
00000121: DUP1
00000122: REVERT
00000123: JUMPDEST
00000124: DUP1
00000125: PUSH4 0x2eb4a7ab
0000012a: GT
0000012b: PUSH2 0x01a6
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x58b76854
00000135: GT
00000136: PUSH2 0x0175
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0x58b76854
00000140: EQ
00000141: PUSH2 0x03ef
00000144: JUMPI
00000145: DUP1
00000146: PUSH4 0x5c975abb
0000014b: EQ
0000014c: PUSH2 0x0402
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0x6717e41c
00000156: EQ
00000157: PUSH2 0x041a
0000015a: JUMPI
0000015b: DUP1
0000015c: PUSH4 0x6817c76c
00000161: EQ
00000162: PUSH2 0x044a
00000165: JUMPI
00000166: DUP1
00000167: PUSH4 0x715018a6
0000016c: EQ
0000016d: PUSH2 0x0460
00000170: JUMPI
00000171: PUSH1 0x00
00000173: DUP1
00000174: REVERT
00000175: JUMPDEST
00000176: DUP1
00000177: PUSH4 0x2eb4a7ab
0000017c: EQ
0000017d: PUSH2 0x0368
00000180: JUMPI
00000181: DUP1
00000182: PUSH4 0x3f4ba83a
00000187: EQ
00000188: PUSH2 0x037e
0000018b: JUMPI
0000018c: DUP1
0000018d: PUSH4 0x4e1273f4
00000192: EQ
00000193: PUSH2 0x0393
00000196: JUMPI
00000197: DUP1
00000198: PUSH4 0x4f558e79
0000019d: EQ
0000019e: PUSH2 0x03c0
000001a1: JUMPI
000001a2: PUSH1 0x00
000001a4: DUP1
000001a5: REVERT
000001a6: JUMPDEST
000001a7: DUP1
000001a8: PUSH4 0x06fdde03
000001ad: GT
000001ae: PUSH2 0x01ed
000001b1: JUMPI
000001b2: DUP1
000001b3: PUSH4 0x06fdde03
000001b8: EQ
000001b9: PUSH2 0x02d0
000001bc: JUMPI
000001bd: DUP1
000001be: PUSH4 0x0c5c8b42
000001c3: EQ
000001c4: PUSH2 0x02f2
000001c7: JUMPI
000001c8: DUP1
000001c9: PUSH4 0x0e89341c
000001ce: EQ
000001cf: PUSH2 0x0308
000001d2: JUMPI
000001d3: DUP1
000001d4: PUSH4 0x24f48bc5
000001d9: EQ
000001da: PUSH2 0x0328
000001dd: JUMPI
000001de: DUP1
000001df: PUSH4 0x2eb2c2d6
000001e4: EQ
000001e5: PUSH2 0x0348
000001e8: JUMPI
000001e9: PUSH1 0x00
000001eb: DUP1
000001ec: REVERT
000001ed: JUMPDEST
000001ee: DUP1
000001ef: PUSH3 0xfdd58e
000001f3: EQ
000001f4: PUSH2 0x021e
000001f7: JUMPI
000001f8: DUP1
000001f9: PUSH4 0x01ffc9a7
000001fe: EQ
000001ff: PUSH2 0x0251
00000202: JUMPI
00000203: DUP1
00000204: PUSH4 0x02fe5305
00000209: EQ
0000020a: PUSH2 0x0281
0000020d: JUMPI
0000020e: DUP1
0000020f: PUSH4 0x04e86903
00000214: EQ
00000215: PUSH2 0x02a3
00000218: JUMPI
00000219: JUMPDEST
0000021a: PUSH1 0x00
0000021c: DUP1
0000021d: REVERT
0000021e: JUMPDEST
0000021f: CALLVALUE
00000220: DUP1
00000221: ISZERO
00000222: PUSH2 0x022a
00000225: JUMPI
00000226: PUSH1 0x00
00000228: DUP1
00000229: REVERT
0000022a: JUMPDEST
0000022b: POP
0000022c: PUSH2 0x023e
0000022f: PUSH2 0x0239
00000232: CALLDATASIZE
00000233: PUSH1 0x04
00000235: PUSH2 0x2b6b
00000238: JUMP
00000239: JUMPDEST
0000023a: PUSH2 0x06ca
0000023d: JUMP
0000023e: JUMPDEST
0000023f: PUSH1 0x40
00000241: MLOAD
00000242: SWAP1
00000243: DUP2
00000244: MSTORE
00000245: PUSH1 0x20
00000247: ADD
00000248: JUMPDEST
00000249: PUSH1 0x40
0000024b: MLOAD
0000024c: DUP1
0000024d: SWAP2
0000024e: SUB
0000024f: SWAP1
00000250: RETURN
00000251: JUMPDEST
00000252: CALLVALUE
00000253: DUP1
00000254: ISZERO
00000255: PUSH2 0x025d
00000258: JUMPI
00000259: PUSH1 0x00
0000025b: DUP1
0000025c: REVERT
0000025d: JUMPDEST
0000025e: POP
0000025f: PUSH2 0x0271
00000262: PUSH2 0x026c
00000265: CALLDATASIZE
00000266: PUSH1 0x04
00000268: PUSH2 0x2bab
0000026b: JUMP
0000026c: JUMPDEST
0000026d: PUSH2 0x0763
00000270: JUMP
00000271: JUMPDEST
00000272: PUSH1 0x40
00000274: MLOAD
00000275: SWAP1
00000276: ISZERO
00000277: ISZERO
00000278: DUP2
00000279: MSTORE
0000027a: PUSH1 0x20
0000027c: ADD
0000027d: PUSH2 0x0248
00000280: JUMP
00000281: JUMPDEST
00000282: CALLVALUE
00000283: DUP1
00000284: ISZERO
00000285: PUSH2 0x028d
00000288: JUMPI
00000289: PUSH1 0x00
0000028b: DUP1
0000028c: REVERT
0000028d: JUMPDEST
0000028e: POP
0000028f: PUSH2 0x02a1
00000292: PUSH2 0x029c
00000295: CALLDATASIZE
00000296: PUSH1 0x04
00000298: PUSH2 0x2c70
0000029b: JUMP
0000029c: JUMPDEST
0000029d: PUSH2 0x07b5
000002a0: JUMP
000002a1: JUMPDEST
000002a2: STOP
000002a3: JUMPDEST
000002a4: CALLVALUE
000002a5: DUP1
000002a6: ISZERO
000002a7: PUSH2 0x02af
000002aa: JUMPI
000002ab: PUSH1 0x00
000002ad: DUP1
000002ae: REVERT
000002af: JUMPDEST
000002b0: POP
000002b1: PUSH2 0x023e
000002b4: PUSH2 0x02be
000002b7: CALLDATASIZE
000002b8: PUSH1 0x04
000002ba: PUSH2 0x2cb9
000002bd: JUMP
000002be: JUMPDEST
000002bf: PUSH1 0x0e
000002c1: PUSH1 0x20
000002c3: MSTORE
000002c4: PUSH1 0x00
000002c6: SWAP1
000002c7: DUP2
000002c8: MSTORE
000002c9: PUSH1 0x40
000002cb: SWAP1
000002cc: KECCAK256
000002cd: SLOAD
000002ce: DUP2
000002cf: JUMP
000002d0: JUMPDEST
000002d1: CALLVALUE
000002d2: DUP1
000002d3: ISZERO
000002d4: PUSH2 0x02dc
000002d7: JUMPI
000002d8: PUSH1 0x00
000002da: DUP1
000002db: REVERT
000002dc: JUMPDEST
000002dd: POP
000002de: PUSH2 0x02e5
000002e1: PUSH2 0x080f
000002e4: JUMP
000002e5: JUMPDEST
000002e6: PUSH1 0x40
000002e8: MLOAD
000002e9: PUSH2 0x0248
000002ec: SWAP2
000002ed: SWAP1
000002ee: PUSH2 0x2d30
000002f1: JUMP
000002f2: JUMPDEST
000002f3: CALLVALUE
000002f4: DUP1
000002f5: ISZERO
000002f6: PUSH2 0x02fe
000002f9: JUMPI
000002fa: PUSH1 0x00
000002fc: DUP1
000002fd: REVERT
000002fe: JUMPDEST
000002ff: POP
00000300: PUSH2 0x023e
00000303: PUSH1 0x06
00000305: SLOAD
00000306: DUP2
00000307: JUMP
00000308: JUMPDEST
00000309: CALLVALUE
0000030a: DUP1
0000030b: ISZERO
0000030c: PUSH2 0x0314
0000030f: JUMPI
00000310: PUSH1 0x00
00000312: DUP1
00000313: REVERT
00000314: JUMPDEST
00000315: POP
00000316: PUSH2 0x02e5
00000319: PUSH2 0x0323
0000031c: CALLDATASIZE
0000031d: PUSH1 0x04
0000031f: PUSH2 0x2d43
00000322: JUMP
00000323: JUMPDEST
00000324: PUSH2 0x089d
00000327: JUMP
00000328: JUMPDEST
00000329: CALLVALUE
0000032a: DUP1
0000032b: ISZERO
0000032c: PUSH2 0x0334
0000032f: JUMPI
00000330: PUSH1 0x00
00000332: DUP1
00000333: REVERT
00000334: JUMPDEST
00000335: POP
00000336: PUSH2 0x02a1
00000339: PUSH2 0x0343
0000033c: CALLDATASIZE
0000033d: PUSH1 0x04
0000033f: PUSH2 0x2cb9
00000342: JUMP
00000343: JUMPDEST
00000344: PUSH2 0x0934
00000347: JUMP
00000348: JUMPDEST
00000349: CALLVALUE
0000034a: DUP1
0000034b: ISZERO
0000034c: PUSH2 0x0354
0000034f: JUMPI
00000350: PUSH1 0x00
00000352: DUP1
00000353: REVERT
00000354: JUMPDEST
00000355: POP
00000356: PUSH2 0x02a1
00000359: PUSH2 0x0363
0000035c: CALLDATASIZE
0000035d: PUSH1 0x04
0000035f: PUSH2 0x2e11
00000362: JUMP
00000363: JUMPDEST
00000364: PUSH2 0x09b1
00000367: JUMP
00000368: JUMPDEST
00000369: CALLVALUE
0000036a: DUP1
0000036b: ISZERO
0000036c: PUSH2 0x0374
0000036f: JUMPI
00000370: PUSH1 0x00
00000372: DUP1
00000373: REVERT
00000374: JUMPDEST
00000375: POP
00000376: PUSH2 0x023e
00000379: PUSH1 0x0a
0000037b: SLOAD
0000037c: DUP2
0000037d: JUMP
0000037e: JUMPDEST
0000037f: CALLVALUE
00000380: DUP1
00000381: ISZERO
00000382: PUSH2 0x038a
00000385: JUMPI
00000386: PUSH1 0x00
00000388: DUP1
00000389: REVERT
0000038a: JUMPDEST
0000038b: POP
0000038c: PUSH2 0x02a1
0000038f: PUSH2 0x0a53
00000392: JUMP
00000393: JUMPDEST
00000394: CALLVALUE
00000395: DUP1
00000396: ISZERO
00000397: PUSH2 0x039f
0000039a: JUMPI
0000039b: PUSH1 0x00
0000039d: DUP1
0000039e: REVERT
0000039f: JUMPDEST
000003a0: POP
000003a1: PUSH2 0x03b3
000003a4: PUSH2 0x03ae
000003a7: CALLDATASIZE
000003a8: PUSH1 0x04
000003aa: PUSH2 0x2ebb
000003ad: JUMP
000003ae: JUMPDEST
000003af: PUSH2 0x0aab
000003b2: JUMP
000003b3: JUMPDEST
000003b4: PUSH1 0x40
000003b6: MLOAD
000003b7: PUSH2 0x0248
000003ba: SWAP2
000003bb: SWAP1
000003bc: PUSH2 0x2fc1
000003bf: JUMP
000003c0: JUMPDEST
000003c1: CALLVALUE
000003c2: DUP1
000003c3: ISZERO
000003c4: PUSH2 0x03cc
000003c7: JUMPI
000003c8: PUSH1 0x00
000003ca: DUP1
000003cb: REVERT
000003cc: JUMPDEST
000003cd: POP
000003ce: PUSH2 0x0271
000003d1: PUSH2 0x03db
000003d4: CALLDATASIZE
000003d5: PUSH1 0x04
000003d7: PUSH2 0x2d43
000003da: JUMP
000003db: JUMPDEST
000003dc: PUSH1 0x00
000003de: SWAP1
000003df: DUP2
000003e0: MSTORE
000003e1: PUSH1 0x04
000003e3: PUSH1 0x20
000003e5: MSTORE
000003e6: PUSH1 0x40
000003e8: SWAP1
000003e9: KECCAK256
000003ea: SLOAD
000003eb: ISZERO
000003ec: ISZERO
000003ed: SWAP1
000003ee: JUMP
000003ef: JUMPDEST
000003f0: PUSH2 0x02a1
000003f3: PUSH2 0x03fd
000003f6: CALLDATASIZE
000003f7: PUSH1 0x04
000003f9: PUSH2 0x2fd4
000003fc: JUMP
000003fd: JUMPDEST
000003fe: PUSH2 0x0bd5
00000401: JUMP
00000402: JUMPDEST
00000403: CALLVALUE
00000404: DUP1
00000405: ISZERO
00000406: PUSH2 0x040e
00000409: JUMPI
0000040a: PUSH1 0x00
0000040c: DUP1
0000040d: REVERT
0000040e: JUMPDEST
0000040f: POP
00000410: PUSH1 0x00
00000412: SLOAD
00000413: PUSH1 0xff
00000415: AND
00000416: PUSH2 0x0271
00000419: JUMP
0000041a: JUMPDEST
0000041b: CALLVALUE
0000041c: DUP1
0000041d: ISZERO
0000041e: PUSH2 0x0426
00000421: JUMPI
00000422: PUSH1 0x00
00000424: DUP1
00000425: REVERT
00000426: JUMPDEST
00000427: POP
00000428: PUSH2 0x0271
0000042b: PUSH2 0x0435
0000042e: CALLDATASIZE
0000042f: PUSH1 0x04
00000431: PUSH2 0x2d43
00000434: JUMP
00000435: JUMPDEST
00000436: PUSH1 0x0f
00000438: PUSH1 0x20
0000043a: MSTORE
0000043b: PUSH1 0x00
0000043d: SWAP1
0000043e: DUP2
0000043f: MSTORE
00000440: PUSH1 0x40
00000442: SWAP1
00000443: KECCAK256
00000444: SLOAD
00000445: PUSH1 0xff
00000447: AND
00000448: DUP2
00000449: JUMP
0000044a: JUMPDEST
0000044b: CALLVALUE
0000044c: DUP1
0000044d: ISZERO
0000044e: PUSH2 0x0456
00000451: JUMPI
00000452: PUSH1 0x00
00000454: DUP1
00000455: REVERT
00000456: JUMPDEST
00000457: POP
00000458: PUSH2 0x023e
0000045b: PUSH1 0x09
0000045d: SLOAD
0000045e: DUP2
0000045f: JUMP
00000460: JUMPDEST
00000461: CALLVALUE
00000462: DUP1
00000463: ISZERO
00000464: PUSH2 0x046c
00000467: JUMPI
00000468: PUSH1 0x00
0000046a: DUP1
0000046b: REVERT
0000046c: JUMPDEST
0000046d: POP
0000046e: PUSH2 0x02a1
00000471: PUSH2 0x0dac
00000474: JUMP
00000475: JUMPDEST
00000476: CALLVALUE
00000477: DUP1
00000478: ISZERO
00000479: PUSH2 0x0481
0000047c: JUMPI
0000047d: PUSH1 0x00
0000047f: DUP1
00000480: REVERT
00000481: JUMPDEST
00000482: POP
00000483: PUSH2 0x02a1
00000486: PUSH2 0x0490
00000489: CALLDATASIZE
0000048a: PUSH1 0x04
0000048c: PUSH2 0x2d43
0000048f: JUMP
00000490: JUMPDEST
00000491: PUSH2 0x0e04
00000494: JUMP
00000495: JUMPDEST
00000496: CALLVALUE
00000497: DUP1
00000498: ISZERO
00000499: PUSH2 0x04a1
0000049c: JUMPI
0000049d: PUSH1 0x00
0000049f: DUP1
000004a0: REVERT
000004a1: JUMPDEST
000004a2: POP
000004a3: PUSH2 0x02a1
000004a6: PUSH2 0x0e57
000004a9: JUMP
000004aa: JUMPDEST
000004ab: CALLVALUE
000004ac: DUP1
000004ad: ISZERO
000004ae: PUSH2 0x04b6
000004b1: JUMPI
000004b2: PUSH1 0x00
000004b4: DUP1
000004b5: REVERT
000004b6: JUMPDEST
000004b7: POP
000004b8: PUSH1 0x00
000004ba: SLOAD
000004bb: PUSH2 0x0100
000004be: SWAP1
000004bf: DIV
000004c0: PUSH1 0x01
000004c2: PUSH1 0x01
000004c4: PUSH1 0xa0
000004c6: SHL
000004c7: SUB
000004c8: AND
000004c9: JUMPDEST
000004ca: PUSH1 0x40
000004cc: MLOAD
000004cd: PUSH1 0x01
000004cf: PUSH1 0x01
000004d1: PUSH1 0xa0
000004d3: SHL
000004d4: SUB
000004d5: SWAP1
000004d6: SWAP2
000004d7: AND
000004d8: DUP2
000004d9: MSTORE
000004da: PUSH1 0x20
000004dc: ADD
000004dd: PUSH2 0x0248
000004e0: JUMP
000004e1: JUMPDEST
000004e2: CALLVALUE
000004e3: DUP1
000004e4: ISZERO
000004e5: PUSH2 0x04ed
000004e8: JUMPI
000004e9: PUSH1 0x00
000004eb: DUP1
000004ec: REVERT
000004ed: JUMPDEST
000004ee: POP
000004ef: PUSH2 0x02a1
000004f2: PUSH2 0x04fc
000004f5: CALLDATASIZE
000004f6: PUSH1 0x04
000004f8: PUSH2 0x2d43
000004fb: JUMP
000004fc: JUMPDEST
000004fd: PUSH2 0x0ead
00000500: JUMP
00000501: JUMPDEST
00000502: CALLVALUE
00000503: DUP1
00000504: ISZERO
00000505: PUSH2 0x050d
00000508: JUMPI
00000509: PUSH1 0x00
0000050b: DUP1
0000050c: REVERT
0000050d: JUMPDEST
0000050e: POP
0000050f: PUSH2 0x02a1
00000512: PUSH2 0x051c
00000515: CALLDATASIZE
00000516: PUSH1 0x04
00000518: PUSH2 0x3041
0000051b: JUMP
0000051c: JUMPDEST
0000051d: PUSH2 0x0f00
00000520: JUMP
00000521: JUMPDEST
00000522: CALLVALUE
00000523: DUP1
00000524: ISZERO
00000525: PUSH2 0x052d
00000528: JUMPI
00000529: PUSH1 0x00
0000052b: DUP1
0000052c: REVERT
0000052d: JUMPDEST
0000052e: POP
0000052f: PUSH2 0x02e5
00000532: PUSH2 0x107e
00000535: JUMP
00000536: JUMPDEST
00000537: CALLVALUE
00000538: DUP1
00000539: ISZERO
0000053a: PUSH2 0x0542
0000053d: JUMPI
0000053e: PUSH1 0x00
00000540: DUP1
00000541: REVERT
00000542: JUMPDEST
00000543: POP
00000544: PUSH2 0x02a1
00000547: PUSH2 0x0551
0000054a: CALLDATASIZE
0000054b: PUSH1 0x04
0000054d: PUSH2 0x30bf
00000550: JUMP
00000551: JUMPDEST
00000552: PUSH2 0x108b
00000555: JUMP
00000556: JUMPDEST
00000557: CALLVALUE
00000558: DUP1
00000559: ISZERO
0000055a: PUSH2 0x0562
0000055d: JUMPI
0000055e: PUSH1 0x00
00000560: DUP1
00000561: REVERT
00000562: JUMPDEST
00000563: POP
00000564: PUSH2 0x02a1
00000567: PUSH2 0x0571
0000056a: CALLDATASIZE
0000056b: PUSH1 0x04
0000056d: PUSH2 0x30e1
00000570: JUMP
00000571: JUMPDEST
00000572: PUSH2 0x1106
00000575: JUMP
00000576: JUMPDEST
00000577: CALLVALUE
00000578: DUP1
00000579: ISZERO
0000057a: PUSH2 0x0582
0000057d: JUMPI
0000057e: PUSH1 0x00
00000580: DUP1
00000581: REVERT
00000582: JUMPDEST
00000583: POP
00000584: PUSH2 0x023e
00000587: PUSH1 0x02
00000589: DUP2
0000058a: JUMP
0000058b: JUMPDEST
0000058c: CALLVALUE
0000058d: DUP1
0000058e: ISZERO
0000058f: PUSH2 0x0597
00000592: JUMPI
00000593: PUSH1 0x00
00000595: DUP1
00000596: REVERT
00000597: JUMPDEST
00000598: POP
00000599: PUSH2 0x023e
0000059c: PUSH2 0x05a6
0000059f: CALLDATASIZE
000005a0: PUSH1 0x04
000005a2: PUSH2 0x2d43
000005a5: JUMP
000005a6: JUMPDEST
000005a7: PUSH1 0x00
000005a9: SWAP1
000005aa: DUP2
000005ab: MSTORE
000005ac: PUSH1 0x04
000005ae: PUSH1 0x20
000005b0: MSTORE
000005b1: PUSH1 0x40
000005b3: SWAP1
000005b4: KECCAK256
000005b5: SLOAD
000005b6: SWAP1
000005b7: JUMP
000005b8: JUMPDEST
000005b9: CALLVALUE
000005ba: DUP1
000005bb: ISZERO
000005bc: PUSH2 0x05c4
000005bf: JUMPI
000005c0: PUSH1 0x00
000005c2: DUP1
000005c3: REVERT
000005c4: JUMPDEST
000005c5: POP
000005c6: PUSH2 0x023e
000005c9: PUSH1 0x07
000005cb: SLOAD
000005cc: DUP2
000005cd: JUMP
000005ce: JUMPDEST
000005cf: CALLVALUE
000005d0: DUP1
000005d1: ISZERO
000005d2: PUSH2 0x05da
000005d5: JUMPI
000005d6: PUSH1 0x00
000005d8: DUP1
000005d9: REVERT
000005da: JUMPDEST
000005db: POP
000005dc: PUSH1 0x0d
000005de: SLOAD
000005df: PUSH2 0x04c9
000005e2: SWAP1
000005e3: PUSH1 0x01
000005e5: PUSH1 0x01
000005e7: PUSH1 0xa0
000005e9: SHL
000005ea: SUB
000005eb: AND
000005ec: DUP2
000005ed: JUMP
000005ee: JUMPDEST
000005ef: CALLVALUE
000005f0: DUP1
000005f1: ISZERO
000005f2: PUSH2 0x05fa
000005f5: JUMPI
000005f6: PUSH1 0x00
000005f8: DUP1
000005f9: REVERT
000005fa: JUMPDEST
000005fb: POP
000005fc: PUSH2 0x023e
000005ff: PUSH1 0x05
00000601: SLOAD
00000602: DUP2
00000603: JUMP
00000604: JUMPDEST
00000605: CALLVALUE
00000606: DUP1
00000607: ISZERO
00000608: PUSH2 0x0610
0000060b: JUMPI
0000060c: PUSH1 0x00
0000060e: DUP1
0000060f: REVERT
00000610: JUMPDEST
00000611: POP
00000612: PUSH2 0x0271
00000615: PUSH2 0x061f
00000618: CALLDATASIZE
00000619: PUSH1 0x04
0000061b: PUSH2 0x311d
0000061e: JUMP
0000061f: JUMPDEST
00000620: PUSH1 0x01
00000622: PUSH1 0x01
00000624: PUSH1 0xa0
00000626: SHL
00000627: SUB
00000628: SWAP2
00000629: DUP3
0000062a: AND
0000062b: PUSH1 0x00
0000062d: SWAP1
0000062e: DUP2
0000062f: MSTORE
00000630: PUSH1 0x02
00000632: PUSH1 0x20
00000634: SWAP1
00000635: DUP2
00000636: MSTORE
00000637: PUSH1 0x40
00000639: DUP1
0000063a: DUP4
0000063b: KECCAK256
0000063c: SWAP4
0000063d: SWAP1
0000063e: SWAP5
0000063f: AND
00000640: DUP3
00000641: MSTORE
00000642: SWAP2
00000643: SWAP1
00000644: SWAP2
00000645: MSTORE
00000646: KECCAK256
00000647: SLOAD
00000648: PUSH1 0xff
0000064a: AND
0000064b: SWAP1
0000064c: JUMP
0000064d: JUMPDEST
0000064e: CALLVALUE
0000064f: DUP1
00000650: ISZERO
00000651: PUSH2 0x0659
00000654: JUMPI
00000655: PUSH1 0x00
00000657: DUP1
00000658: REVERT
00000659: JUMPDEST
0000065a: POP
0000065b: PUSH2 0x023e
0000065e: PUSH1 0x00
00000660: DUP2
00000661: JUMP
00000662: JUMPDEST
00000663: CALLVALUE
00000664: DUP1
00000665: ISZERO
00000666: PUSH2 0x066e
00000669: JUMPI
0000066a: PUSH1 0x00
0000066c: DUP1
0000066d: REVERT
0000066e: JUMPDEST
0000066f: POP
00000670: PUSH2 0x02a1
00000673: PUSH2 0x067d
00000676: CALLDATASIZE
00000677: PUSH1 0x04
00000679: PUSH2 0x3150
0000067c: JUMP
0000067d: JUMPDEST
0000067e: PUSH2 0x1111
00000681: JUMP
00000682: JUMPDEST
00000683: CALLVALUE
00000684: DUP1
00000685: ISZERO
00000686: PUSH2 0x068e
00000689: JUMPI
0000068a: PUSH1 0x00
0000068c: DUP1
0000068d: REVERT
0000068e: JUMPDEST
0000068f: POP
00000690: PUSH2 0x02a1
00000693: PUSH2 0x069d
00000696: CALLDATASIZE
00000697: PUSH1 0x04
00000699: PUSH2 0x2cb9
0000069c: JUMP
0000069d: JUMPDEST
0000069e: PUSH2 0x1198
000006a1: JUMP
000006a2: JUMPDEST
000006a3: PUSH2 0x02a1
000006a6: PUSH2 0x06b0
000006a9: CALLDATASIZE
000006aa: PUSH1 0x04
000006ac: PUSH2 0x31b5
000006af: JUMP
000006b0: JUMPDEST
000006b1: PUSH2 0x1254
000006b4: JUMP
000006b5: JUMPDEST
000006b6: CALLVALUE
000006b7: DUP1
000006b8: ISZERO
000006b9: PUSH2 0x06c1
000006bc: JUMPI
000006bd: PUSH1 0x00
000006bf: DUP1
000006c0: REVERT
000006c1: JUMPDEST
000006c2: POP
000006c3: PUSH2 0x023e
000006c6: PUSH1 0x01
000006c8: DUP2
000006c9: JUMP
000006ca: JUMPDEST
000006cb: PUSH1 0x00
000006cd: PUSH1 0x01
000006cf: PUSH1 0x01
000006d1: PUSH1 0xa0
000006d3: SHL
000006d4: SUB
000006d5: DUP4
000006d6: AND
000006d7: PUSH2 0x073b
000006da: JUMPI
000006db: PUSH1 0x40
000006dd: MLOAD
000006de: PUSH3 0x461bcd
000006e2: PUSH1 0xe5
000006e4: SHL
000006e5: DUP2
000006e6: MSTORE
000006e7: PUSH1 0x20
000006e9: PUSH1 0x04
000006eb: DUP3
000006ec: ADD
000006ed: MSTORE
000006ee: PUSH1 0x2b
000006f0: PUSH1 0x24
000006f2: DUP3
000006f3: ADD
000006f4: MSTORE
000006f5: PUSH32 0x455243313135353a2062616c616e636520717565727920666f7220746865207a
00000716: PUSH1 0x44
00000718: DUP3
00000719: ADD
0000071a: MSTORE
0000071b: PUSH11 0x65726f2061646472657373
00000727: PUSH1 0xa8
00000729: SHL
0000072a: PUSH1 0x64
0000072c: DUP3
0000072d: ADD
0000072e: MSTORE
0000072f: PUSH1 0x84
00000731: ADD
00000732: JUMPDEST
00000733: PUSH1 0x40
00000735: MLOAD
00000736: DUP1
00000737: SWAP2
00000738: SUB
00000739: SWAP1
0000073a: REVERT
0000073b: JUMPDEST
0000073c: POP
0000073d: PUSH1 0x00
0000073f: SWAP1
00000740: DUP2
00000741: MSTORE
00000742: PUSH1 0x01
00000744: PUSH1 0x20
00000746: SWAP1
00000747: DUP2
00000748: MSTORE
00000749: PUSH1 0x40
0000074b: DUP1
0000074c: DUP4
0000074d: KECCAK256
0000074e: PUSH1 0x01
00000750: PUSH1 0x01
00000752: PUSH1 0xa0
00000754: SHL
00000755: SUB
00000756: SWAP5
00000757: SWAP1
00000758: SWAP5
00000759: AND
0000075a: DUP4
0000075b: MSTORE
0000075c: SWAP3
0000075d: SWAP1
0000075e: MSTORE
0000075f: KECCAK256
00000760: SLOAD
00000761: SWAP1
00000762: JUMP
00000763: JUMPDEST
00000764: PUSH1 0x00
00000766: PUSH1 0x01
00000768: PUSH1 0x01
0000076a: PUSH1 0xe0
0000076c: SHL
0000076d: SUB
0000076e: NOT
0000076f: DUP3
00000770: AND
00000771: PUSH4 0x6cdb3d13
00000776: PUSH1 0xe1
00000778: SHL
00000779: EQ
0000077a: DUP1
0000077b: PUSH2 0x0794
0000077e: JUMPI
0000077f: POP
00000780: PUSH1 0x01
00000782: PUSH1 0x01
00000784: PUSH1 0xe0
00000786: SHL
00000787: SUB
00000788: NOT
00000789: DUP3
0000078a: AND
0000078b: PUSH4 0x03a24d07
00000790: PUSH1 0xe2
00000792: SHL
00000793: EQ
00000794: JUMPDEST
00000795: DUP1
00000796: PUSH2 0x07af
00000799: JUMPI
0000079a: POP
0000079b: PUSH4 0x01ffc9a7
000007a0: PUSH1 0xe0
000007a2: SHL
000007a3: PUSH1 0x01
000007a5: PUSH1 0x01
000007a7: PUSH1 0xe0
000007a9: SHL
000007aa: SUB
000007ab: NOT
000007ac: DUP4
000007ad: AND
000007ae: EQ
000007af: JUMPDEST
000007b0: SWAP3
000007b1: SWAP2
000007b2: POP
000007b3: POP
000007b4: JUMP
000007b5: JUMPDEST
000007b6: PUSH1 0x00
000007b8: SLOAD
000007b9: PUSH1 0x01
000007bb: PUSH1 0x01
000007bd: PUSH1 0xa0
000007bf: SHL
000007c0: SUB
000007c1: PUSH2 0x0100
000007c4: SWAP1
000007c5: SWAP2
000007c6: DIV
000007c7: AND
000007c8: CALLER
000007c9: EQ
000007ca: PUSH2 0x0803
000007cd: JUMPI
000007ce: PUSH1 0x40
000007d0: MLOAD
000007d1: PUSH3 0x461bcd
000007d5: PUSH1 0xe5
000007d7: SHL
000007d8: DUP2
000007d9: MSTORE
000007da: PUSH1 0x20
000007dc: PUSH1 0x04
000007de: DUP3
000007df: ADD
000007e0: DUP2
000007e1: SWAP1
000007e2: MSTORE
000007e3: PUSH1 0x24
000007e5: DUP3
000007e6: ADD
000007e7: MSTORE
000007e8: PUSH1 0x00
000007ea: DUP1
000007eb: MLOAD
000007ec: PUSH1 0x20
000007ee: PUSH2 0x35d9
000007f1: DUP4
000007f2: CODECOPY
000007f3: DUP2
000007f4: MLOAD
000007f5: SWAP2
000007f6: MSTORE
000007f7: PUSH1 0x44
000007f9: DUP3
000007fa: ADD
000007fb: MSTORE
000007fc: PUSH1 0x64
000007fe: ADD
000007ff: PUSH2 0x0732
00000802: JUMP
00000803: JUMPDEST
00000804: PUSH2 0x080c
00000807: DUP2
00000808: PUSH2 0x159c
0000080b: JUMP
0000080c: JUMPDEST
0000080d: POP
0000080e: JUMP
0000080f: JUMPDEST
00000810: PUSH1 0x0b
00000812: DUP1
00000813: SLOAD
00000814: PUSH2 0x081c
00000817: SWAP1
00000818: PUSH2 0x32a6
0000081b: JUMP
0000081c: JUMPDEST
0000081d: DUP1
0000081e: PUSH1 0x1f
00000820: ADD
00000821: PUSH1 0x20
00000823: DUP1
00000824: SWAP2
00000825: DIV
00000826: MUL
00000827: PUSH1 0x20
00000829: ADD
0000082a: PUSH1 0x40
0000082c: MLOAD
0000082d: SWAP1
0000082e: DUP2
0000082f: ADD
00000830: PUSH1 0x40
00000832: MSTORE
00000833: DUP1
00000834: SWAP3
00000835: SWAP2
00000836: SWAP1
00000837: DUP2
00000838: DUP2
00000839: MSTORE
0000083a: PUSH1 0x20
0000083c: ADD
0000083d: DUP3
0000083e: DUP1
0000083f: SLOAD
00000840: PUSH2 0x0848
00000843: SWAP1
00000844: PUSH2 0x32a6
00000847: JUMP
00000848: JUMPDEST
00000849: DUP1
0000084a: ISZERO
0000084b: PUSH2 0x0895
0000084e: JUMPI
0000084f: DUP1
00000850: PUSH1 0x1f
00000852: LT
00000853: PUSH2 0x086a
00000856: JUMPI
00000857: PUSH2 0x0100
0000085a: DUP1
0000085b: DUP4
0000085c: SLOAD
0000085d: DIV
0000085e: MUL
0000085f: DUP4
00000860: MSTORE
00000861: SWAP2
00000862: PUSH1 0x20
00000864: ADD
00000865: SWAP2
00000866: PUSH2 0x0895
00000869: JUMP
0000086a: JUMPDEST
0000086b: DUP3
0000086c: ADD
0000086d: SWAP2
0000086e: SWAP1
0000086f: PUSH1 0x00
00000871: MSTORE
00000872: PUSH1 0x20
00000874: PUSH1 0x00
00000876: KECCAK256
00000877: SWAP1
00000878: JUMPDEST
00000879: DUP2
0000087a: SLOAD
0000087b: DUP2
0000087c: MSTORE
0000087d: SWAP1
0000087e: PUSH1 0x01
00000880: ADD
00000881: SWAP1
00000882: PUSH1 0x20
00000884: ADD
00000885: DUP1
00000886: DUP4
00000887: GT
00000888: PUSH2 0x0878
0000088b: JUMPI
0000088c: DUP3
0000088d: SWAP1
0000088e: SUB
0000088f: PUSH1 0x1f
00000891: AND
00000892: DUP3
00000893: ADD
00000894: SWAP2
00000895: JUMPDEST
00000896: POP
00000897: POP
00000898: POP
00000899: POP
0000089a: POP
0000089b: DUP2
0000089c: JUMP
0000089d: JUMPDEST
0000089e: PUSH1 0x00
000008a0: DUP2
000008a1: DUP2
000008a2: MSTORE
000008a3: PUSH1 0x04
000008a5: PUSH1 0x20
000008a7: MSTORE
000008a8: PUSH1 0x40
000008aa: SWAP1
000008ab: KECCAK256
000008ac: SLOAD
000008ad: PUSH1 0x60
000008af: SWAP1
000008b0: PUSH2 0x08fb
000008b3: JUMPI
000008b4: PUSH1 0x40
000008b6: MLOAD
000008b7: PUSH3 0x461bcd
000008bb: PUSH1 0xe5
000008bd: SHL
000008be: DUP2
000008bf: MSTORE
000008c0: PUSH1 0x20
000008c2: PUSH1 0x04
000008c4: DUP3
000008c5: ADD
000008c6: MSTORE
000008c7: PUSH1 0x16
000008c9: PUSH1 0x24
000008cb: DUP3
000008cc: ADD
000008cd: MSTORE
000008ce: PUSH32 0x4c616e6420696420646f6573206e6f7420657869737400000000000000000000
000008ef: PUSH1 0x44
000008f1: DUP3
000008f2: ADD
000008f3: MSTORE
000008f4: PUSH1 0x64
000008f6: ADD
000008f7: PUSH2 0x0732
000008fa: JUMP
000008fb: JUMPDEST
000008fc: PUSH2 0x0904
000008ff: DUP3
00000900: PUSH2 0x15af
00000903: JUMP
00000904: JUMPDEST
00000905: PUSH2 0x090d
00000908: DUP4
00000909: PUSH2 0x1643
0000090c: JUMP
0000090d: JUMPDEST
0000090e: PUSH1 0x40
00000910: MLOAD
00000911: PUSH1 0x20
00000913: ADD
00000914: PUSH2 0x091e
00000917: SWAP3
00000918: SWAP2
00000919: SWAP1
0000091a: PUSH2 0x32e1
0000091d: JUMP
0000091e: JUMPDEST
0000091f: PUSH1 0x40
00000921: MLOAD
00000922: PUSH1 0x20
00000924: DUP2
00000925: DUP4
00000926: SUB
00000927: SUB
00000928: DUP2
00000929: MSTORE
0000092a: SWAP1
0000092b: PUSH1 0x40
0000092d: MSTORE
0000092e: SWAP1
0000092f: POP
00000930: SWAP2
00000931: SWAP1
00000932: POP
00000933: JUMP
00000934: JUMPDEST
00000935: PUSH1 0x00
00000937: SLOAD
00000938: PUSH1 0x01
0000093a: PUSH1 0x01
0000093c: PUSH1 0xa0
0000093e: SHL
0000093f: SUB
00000940: PUSH2 0x0100
00000943: SWAP1
00000944: SWAP2
00000945: DIV
00000946: AND
00000947: CALLER
00000948: EQ
00000949: PUSH2 0x0982
0000094c: JUMPI
0000094d: PUSH1 0x40
0000094f: MLOAD
00000950: PUSH3 0x461bcd
00000954: PUSH1 0xe5
00000956: SHL
00000957: DUP2
00000958: MSTORE
00000959: PUSH1 0x20
0000095b: PUSH1 0x04
0000095d: DUP3
0000095e: ADD
0000095f: DUP2
00000960: SWAP1
00000961: MSTORE
00000962: PUSH1 0x24
00000964: DUP3
00000965: ADD
00000966: MSTORE
00000967: PUSH1 0x00
00000969: DUP1
0000096a: MLOAD
0000096b: PUSH1 0x20
0000096d: PUSH2 0x35d9
00000970: DUP4
00000971: CODECOPY
00000972: DUP2
00000973: MLOAD
00000974: SWAP2
00000975: MSTORE
00000976: PUSH1 0x44
00000978: DUP3
00000979: ADD
0000097a: MSTORE
0000097b: PUSH1 0x64
0000097d: ADD
0000097e: PUSH2 0x0732
00000981: JUMP
00000982: JUMPDEST
00000983: PUSH1 0x0d
00000985: DUP1
00000986: SLOAD
00000987: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000099c: NOT
0000099d: AND
0000099e: PUSH1 0x01
000009a0: PUSH1 0x01
000009a2: PUSH1 0xa0
000009a4: SHL
000009a5: SUB
000009a6: SWAP3
000009a7: SWAP1
000009a8: SWAP3
000009a9: AND
000009aa: SWAP2
000009ab: SWAP1
000009ac: SWAP2
000009ad: OR
000009ae: SWAP1
000009af: SSTORE
000009b0: JUMP
000009b1: JUMPDEST
000009b2: PUSH1 0x01
000009b4: PUSH1 0x01
000009b6: PUSH1 0xa0
000009b8: SHL
000009b9: SUB
000009ba: DUP6
000009bb: AND
000009bc: CALLER
000009bd: EQ
000009be: DUP1
000009bf: PUSH2 0x09cd
000009c2: JUMPI
000009c3: POP
000009c4: PUSH2 0x09cd
000009c7: DUP6
000009c8: CALLER
000009c9: PUSH2 0x061f
000009cc: JUMP
000009cd: JUMPDEST
000009ce: PUSH2 0x0a3f
000009d1: JUMPI
000009d2: PUSH1 0x40
000009d4: MLOAD
000009d5: PUSH3 0x461bcd
000009d9: PUSH1 0xe5
000009db: SHL
000009dc: DUP2
000009dd: MSTORE
000009de: PUSH1 0x20
000009e0: PUSH1 0x04
000009e2: DUP3
000009e3: ADD
000009e4: MSTORE
000009e5: PUSH1 0x32
000009e7: PUSH1 0x24
000009e9: DUP3
000009ea: ADD
000009eb: MSTORE
000009ec: PUSH32 0x455243313135353a207472616e736665722063616c6c6572206973206e6f7420
00000a0d: PUSH1 0x44
00000a0f: DUP3
00000a10: ADD
00000a11: MSTORE
00000a12: PUSH32 0x6f776e6572206e6f7220617070726f7665640000000000000000000000000000
00000a33: PUSH1 0x64
00000a35: DUP3
00000a36: ADD
00000a37: MSTORE
00000a38: PUSH1 0x84
00000a3a: ADD
00000a3b: PUSH2 0x0732
00000a3e: JUMP
00000a3f: JUMPDEST
00000a40: PUSH2 0x0a4c
00000a43: DUP6
00000a44: DUP6
00000a45: DUP6
00000a46: DUP6
00000a47: DUP6
00000a48: PUSH2 0x1761
00000a4b: JUMP
00000a4c: JUMPDEST
00000a4d: POP
00000a4e: POP
00000a4f: POP
00000a50: POP
00000a51: POP
00000a52: JUMP
00000a53: JUMPDEST
00000a54: PUSH1 0x00
00000a56: SLOAD
00000a57: PUSH1 0x01
00000a59: PUSH1 0x01
00000a5b: PUSH1 0xa0
00000a5d: SHL
00000a5e: SUB
00000a5f: PUSH2 0x0100
00000a62: SWAP1
00000a63: SWAP2
00000a64: DIV
00000a65: AND
00000a66: CALLER
00000a67: EQ
00000a68: PUSH2 0x0aa1
00000a6b: JUMPI
00000a6c: PUSH1 0x40
00000a6e: MLOAD
00000a6f: PUSH3 0x461bcd
00000a73: PUSH1 0xe5
00000a75: SHL
00000a76: DUP2
00000a77: MSTORE
00000a78: PUSH1 0x20
00000a7a: PUSH1 0x04
00000a7c: DUP3
00000a7d: ADD
00000a7e: DUP2
00000a7f: SWAP1
00000a80: MSTORE
00000a81: PUSH1 0x24
00000a83: DUP3
00000a84: ADD
00000a85: MSTORE
00000a86: PUSH1 0x00
00000a88: DUP1
00000a89: MLOAD
00000a8a: PUSH1 0x20
00000a8c: PUSH2 0x35d9
00000a8f: DUP4
00000a90: CODECOPY
00000a91: DUP2
00000a92: MLOAD
00000a93: SWAP2
00000a94: MSTORE
00000a95: PUSH1 0x44
00000a97: DUP3
00000a98: ADD
00000a99: MSTORE
00000a9a: PUSH1 0x64
00000a9c: ADD
00000a9d: PUSH2 0x0732
00000aa0: JUMP
00000aa1: JUMPDEST
00000aa2: PUSH2 0x0aa9
00000aa5: PUSH2 0x19c8
00000aa8: JUMP
00000aa9: JUMPDEST
00000aaa: JUMP
00000aab: JUMPDEST
00000aac: PUSH1 0x60
00000aae: DUP2
00000aaf: MLOAD
00000ab0: DUP4
00000ab1: MLOAD
00000ab2: EQ
00000ab3: PUSH2 0x0b10
00000ab6: JUMPI
00000ab7: PUSH1 0x40
00000ab9: MLOAD
00000aba: PUSH3 0x461bcd
00000abe: PUSH1 0xe5
00000ac0: SHL
00000ac1: DUP2
00000ac2: MSTORE
00000ac3: PUSH1 0x20
00000ac5: PUSH1 0x04
00000ac7: DUP3
00000ac8: ADD
00000ac9: MSTORE
00000aca: PUSH1 0x29
00000acc: PUSH1 0x24
00000ace: DUP3
00000acf: ADD
00000ad0: MSTORE
00000ad1: PUSH32 0x455243313135353a206163636f756e747320616e6420696473206c656e677468
00000af2: PUSH1 0x44
00000af4: DUP3
00000af5: ADD
00000af6: MSTORE
00000af7: PUSH9 0x040dad2e6dac2e8c6d
00000b01: PUSH1 0xbb
00000b03: SHL
00000b04: PUSH1 0x64
00000b06: DUP3
00000b07: ADD
00000b08: MSTORE
00000b09: PUSH1 0x84
00000b0b: ADD
00000b0c: PUSH2 0x0732
00000b0f: JUMP
00000b10: JUMPDEST
00000b11: PUSH1 0x00
00000b13: DUP4
00000b14: MLOAD
00000b15: PUSH8 0xffffffffffffffff
00000b1e: DUP2
00000b1f: GT
00000b20: ISZERO
00000b21: PUSH2 0x0b2c
00000b24: JUMPI
00000b25: PUSH2 0x0b2c
00000b28: PUSH2 0x2bcf
00000b2b: JUMP
00000b2c: JUMPDEST
00000b2d: PUSH1 0x40
00000b2f: MLOAD
00000b30: SWAP1
00000b31: DUP1
00000b32: DUP3
00000b33: MSTORE
00000b34: DUP1
00000b35: PUSH1 0x20
00000b37: MUL
00000b38: PUSH1 0x20
00000b3a: ADD
00000b3b: DUP3
00000b3c: ADD
00000b3d: PUSH1 0x40
00000b3f: MSTORE
00000b40: DUP1
00000b41: ISZERO
00000b42: PUSH2 0x0b55
00000b45: JUMPI
00000b46: DUP2
00000b47: PUSH1 0x20
00000b49: ADD
00000b4a: PUSH1 0x20
00000b4c: DUP3
00000b4d: MUL
00000b4e: DUP1
00000b4f: CALLDATASIZE
00000b50: DUP4
00000b51: CALLDATACOPY
00000b52: ADD
00000b53: SWAP1
00000b54: POP
00000b55: JUMPDEST
00000b56: POP
00000b57: SWAP1
00000b58: POP
00000b59: PUSH1 0x00
00000b5b: JUMPDEST
00000b5c: DUP5
00000b5d: MLOAD
00000b5e: DUP2
00000b5f: LT
00000b60: ISZERO
00000b61: PUSH2 0x0bcd
00000b64: JUMPI
00000b65: PUSH2 0x0ba0
00000b68: DUP6
00000b69: DUP3
00000b6a: DUP2
00000b6b: MLOAD
00000b6c: DUP2
00000b6d: LT
00000b6e: PUSH2 0x0b79
00000b71: JUMPI
00000b72: PUSH2 0x0b79
00000b75: PUSH2 0x3320
00000b78: JUMP
00000b79: JUMPDEST
00000b7a: PUSH1 0x20
00000b7c: MUL
00000b7d: PUSH1 0x20
00000b7f: ADD
00000b80: ADD
00000b81: MLOAD
00000b82: DUP6
00000b83: DUP4
00000b84: DUP2
00000b85: MLOAD
00000b86: DUP2
00000b87: LT
00000b88: PUSH2 0x0b93
00000b8b: JUMPI
00000b8c: PUSH2 0x0b93
00000b8f: PUSH2 0x3320
00000b92: JUMP
00000b93: JUMPDEST
00000b94: PUSH1 0x20
00000b96: MUL
00000b97: PUSH1 0x20
00000b99: ADD
00000b9a: ADD
00000b9b: MLOAD
00000b9c: PUSH2 0x06ca
00000b9f: JUMP
00000ba0: JUMPDEST
00000ba1: DUP3
00000ba2: DUP3
00000ba3: DUP2
00000ba4: MLOAD
00000ba5: DUP2
00000ba6: LT
00000ba7: PUSH2 0x0bb2
00000baa: JUMPI
00000bab: PUSH2 0x0bb2
00000bae: PUSH2 0x3320
00000bb1: JUMP
00000bb2: JUMPDEST
00000bb3: PUSH1 0x20
00000bb5: SWAP1
00000bb6: DUP2
00000bb7: MUL
00000bb8: SWAP2
00000bb9: SWAP1
00000bba: SWAP2
00000bbb: ADD
00000bbc: ADD
00000bbd: MSTORE
00000bbe: PUSH2 0x0bc6
00000bc1: DUP2
00000bc2: PUSH2 0x334c
00000bc5: JUMP
00000bc6: JUMPDEST
00000bc7: SWAP1
00000bc8: POP
00000bc9: PUSH2 0x0b5b
00000bcc: JUMP
00000bcd: JUMPDEST
00000bce: POP
00000bcf: SWAP4
00000bd0: SWAP3
00000bd1: POP
00000bd2: POP
00000bd3: POP
00000bd4: JUMP
00000bd5: JUMPDEST
00000bd6: PUSH1 0x00
00000bd8: SLOAD
00000bd9: PUSH1 0xff
00000bdb: AND
00000bdc: ISZERO
00000bdd: PUSH2 0x0c1b
00000be0: JUMPI
00000be1: PUSH1 0x40
00000be3: MLOAD
00000be4: PUSH3 0x461bcd
00000be8: PUSH1 0xe5
00000bea: SHL
00000beb: DUP2
00000bec: MSTORE
00000bed: PUSH1 0x20
00000bef: PUSH1 0x04
00000bf1: DUP3
00000bf2: ADD
00000bf3: MSTORE
00000bf4: PUSH1 0x10
00000bf6: PUSH1 0x24
00000bf8: DUP3
00000bf9: ADD
00000bfa: MSTORE
00000bfb: PUSH16 0x14185d5cd8589b194e881c185d5cd959
00000c0c: PUSH1 0x82
00000c0e: SHL
00000c0f: PUSH1 0x44
00000c11: DUP3
00000c12: ADD
00000c13: MSTORE
00000c14: PUSH1 0x64
00000c16: ADD
00000c17: PUSH2 0x0732
00000c1a: JUMP
00000c1b: JUMPDEST
00000c1c: PUSH1 0x00
00000c1e: DUP4
00000c1f: PUSH1 0x02
00000c21: DUP2
00000c22: MLOAD
00000c23: DUP2
00000c24: LT
00000c25: PUSH2 0x0c30
00000c28: JUMPI
00000c29: PUSH2 0x0c30
00000c2c: PUSH2 0x3320
00000c2f: JUMP
00000c30: JUMPDEST
00000c31: PUSH1 0x20
00000c33: MUL
00000c34: PUSH1 0x20
00000c36: ADD
00000c37: ADD
00000c38: MLOAD
00000c39: DUP5
00000c3a: PUSH1 0x01
00000c3c: DUP2
00000c3d: MLOAD
00000c3e: DUP2
00000c3f: LT
00000c40: PUSH2 0x0c4b
00000c43: JUMPI
00000c44: PUSH2 0x0c4b
00000c47: PUSH2 0x3320
00000c4a: JUMP
00000c4b: JUMPDEST
00000c4c: PUSH1 0x20
00000c4e: MUL
00000c4f: PUSH1 0x20
00000c51: ADD
00000c52: ADD
00000c53: MLOAD
00000c54: DUP6
00000c55: PUSH1 0x00
00000c57: DUP2
00000c58: MLOAD
00000c59: DUP2
00000c5a: LT
00000c5b: PUSH2 0x0c66
00000c5e: JUMPI
00000c5f: PUSH2 0x0c66
00000c62: PUSH2 0x3320
00000c65: JUMP
00000c66: JUMPDEST
00000c67: PUSH1 0x20
00000c69: MUL
00000c6a: PUSH1 0x20
00000c6c: ADD
00000c6d: ADD
00000c6e: MLOAD
00000c6f: PUSH2 0x0c78
00000c72: SWAP2
00000c73: SWAP1
00000c74: PUSH2 0x3367
00000c77: JUMP
00000c78: JUMPDEST
00000c79: PUSH2 0x0c82
00000c7c: SWAP2
00000c7d: SWAP1
00000c7e: PUSH2 0x3367
00000c81: JUMP
00000c82: JUMPDEST
00000c83: SWAP1
00000c84: POP
00000c85: DUP1
00000c86: PUSH1 0x09
00000c88: SLOAD
00000c89: PUSH2 0x0c92
00000c8c: SWAP2
00000c8d: SWAP1
00000c8e: PUSH2 0x337f
00000c91: JUMP
00000c92: JUMPDEST
00000c93: CALLVALUE
00000c94: EQ
00000c95: PUSH2 0x0ce0
00000c98: JUMPI
00000c99: PUSH1 0x40
00000c9b: MLOAD
00000c9c: PUSH3 0x461bcd
00000ca0: PUSH1 0xe5
00000ca2: SHL
00000ca3: DUP2
00000ca4: MSTORE
00000ca5: PUSH1 0x20
00000ca7: PUSH1 0x04
00000ca9: DUP3
00000caa: ADD
00000cab: MSTORE
00000cac: PUSH1 0x1b
00000cae: PUSH1 0x24
00000cb0: DUP3
00000cb1: ADD
00000cb2: MSTORE
00000cb3: PUSH32 0x50757263686173653a20496e636f7272656374207061796d656e740000000000
00000cd4: PUSH1 0x44
00000cd6: DUP3
00000cd7: ADD
00000cd8: MSTORE
00000cd9: PUSH1 0x64
00000cdb: ADD
00000cdc: PUSH2 0x0732
00000cdf: JUMP
00000ce0: JUMPDEST
00000ce1: PUSH2 0x0ceb
00000ce4: DUP5
00000ce5: DUP5
00000ce6: DUP5
00000ce7: PUSH2 0x1a64
00000cea: JUMP
00000ceb: JUMPDEST
00000cec: PUSH2 0x0d56
00000cef: CALLER
00000cf0: PUSH1 0x08
00000cf2: DUP1
00000cf3: SLOAD
00000cf4: DUP1
00000cf5: PUSH1 0x20
00000cf7: MUL
00000cf8: PUSH1 0x20
00000cfa: ADD
00000cfb: PUSH1 0x40
00000cfd: MLOAD
00000cfe: SWAP1
00000cff: DUP2
00000d00: ADD
00000d01: PUSH1 0x40
00000d03: MSTORE
00000d04: DUP1
00000d05: SWAP3
00000d06: SWAP2
00000d07: SWAP1
00000d08: DUP2
00000d09: DUP2
00000d0a: MSTORE
00000d0b: PUSH1 0x20
00000d0d: ADD
00000d0e: DUP3
00000d0f: DUP1
00000d10: SLOAD
00000d11: DUP1
00000d12: ISZERO
00000d13: PUSH2 0x0d3b
00000d16: JUMPI
00000d17: PUSH1 0x20
00000d19: MUL
00000d1a: DUP3
00000d1b: ADD
00000d1c: SWAP2
00000d1d: SWAP1
00000d1e: PUSH1 0x00
00000d20: MSTORE
00000d21: PUSH1 0x20
00000d23: PUSH1 0x00
00000d25: KECCAK256
00000d26: SWAP1
00000d27: JUMPDEST
00000d28: DUP2
00000d29: SLOAD
00000d2a: DUP2
00000d2b: MSTORE
00000d2c: PUSH1 0x20
00000d2e: ADD
00000d2f: SWAP1
00000d30: PUSH1 0x01
00000d32: ADD
00000d33: SWAP1
00000d34: DUP1
00000d35: DUP4
00000d36: GT
00000d37: PUSH2 0x0d27
00000d3a: JUMPI
00000d3b: JUMPDEST
00000d3c: POP
00000d3d: POP
00000d3e: POP
00000d3f: POP
00000d40: POP
00000d41: DUP7
00000d42: PUSH1 0x40
00000d44: MLOAD
00000d45: DUP1
00000d46: PUSH1 0x20
00000d48: ADD
00000d49: PUSH1 0x40
00000d4b: MSTORE
00000d4c: DUP1
00000d4d: PUSH1 0x00
00000d4f: DUP2
00000d50: MSTORE
00000d51: POP
00000d52: PUSH2 0x1cd7
00000d55: JUMP
00000d56: JUMPDEST
00000d57: PUSH1 0x40
00000d59: MLOAD
00000d5a: CALLER
00000d5b: SWAP1
00000d5c: PUSH2 0x0d67
00000d5f: SWAP1
00000d60: PUSH1 0x08
00000d62: SWAP1
00000d63: PUSH2 0x339e
00000d66: JUMP
00000d67: JUMPDEST
00000d68: PUSH1 0x40
00000d6a: MLOAD
00000d6b: DUP1
00000d6c: SWAP2
00000d6d: SUB
00000d6e: SWAP1
00000d6f: KECCAK256
00000d70: PUSH32 0xb19a0e54a0d12c649f962287d12e0573df3d188f5fcad44083dd0a11e759bcc5
00000d91: DUP7
00000d92: PUSH1 0x40
00000d94: MLOAD
00000d95: PUSH2 0x0d9e
00000d98: SWAP2
00000d99: SWAP1
00000d9a: PUSH2 0x2fc1
00000d9d: JUMP
00000d9e: JUMPDEST
00000d9f: PUSH1 0x40
00000da1: MLOAD
00000da2: DUP1
00000da3: SWAP2
00000da4: SUB
00000da5: SWAP1
00000da6: LOG3
00000da7: POP
00000da8: POP
00000da9: POP
00000daa: POP
00000dab: JUMP
00000dac: JUMPDEST
00000dad: PUSH1 0x00
00000daf: SLOAD
00000db0: PUSH1 0x01
00000db2: PUSH1 0x01
00000db4: PUSH1 0xa0
00000db6: SHL
00000db7: SUB
00000db8: PUSH2 0x0100
00000dbb: SWAP1
00000dbc: SWAP2
00000dbd: DIV
00000dbe: AND
00000dbf: CALLER
00000dc0: EQ
00000dc1: PUSH2 0x0dfa
00000dc4: JUMPI
00000dc5: PUSH1 0x40
00000dc7: MLOAD
00000dc8: PUSH3 0x461bcd
00000dcc: PUSH1 0xe5
00000dce: SHL
00000dcf: DUP2
00000dd0: MSTORE
00000dd1: PUSH1 0x20
00000dd3: PUSH1 0x04
00000dd5: DUP3
00000dd6: ADD
00000dd7: DUP2
00000dd8: SWAP1
00000dd9: MSTORE
00000dda: PUSH1 0x24
00000ddc: DUP3
00000ddd: ADD
00000dde: MSTORE
00000ddf: PUSH1 0x00
00000de1: DUP1
00000de2: MLOAD
00000de3: PUSH1 0x20
00000de5: PUSH2 0x35d9
00000de8: DUP4
00000de9: CODECOPY
00000dea: DUP2
00000deb: MLOAD
00000dec: SWAP2
00000ded: MSTORE
00000dee: PUSH1 0x44
00000df0: DUP3
00000df1: ADD
00000df2: MSTORE
00000df3: PUSH1 0x64
00000df5: ADD
00000df6: PUSH2 0x0732
00000df9: JUMP
00000dfa: JUMPDEST
00000dfb: PUSH2 0x0aa9
00000dfe: PUSH1 0x00
00000e00: PUSH2 0x1ead
00000e03: JUMP
00000e04: JUMPDEST
00000e05: PUSH1 0x00
00000e07: SLOAD
00000e08: PUSH1 0x01
00000e0a: PUSH1 0x01
00000e0c: PUSH1 0xa0
00000e0e: SHL
00000e0f: SUB
00000e10: PUSH2 0x0100
00000e13: SWAP1
00000e14: SWAP2
00000e15: DIV
00000e16: AND
00000e17: CALLER
00000e18: EQ
00000e19: PUSH2 0x0e52
00000e1c: JUMPI
00000e1d: PUSH1 0x40
00000e1f: MLOAD
00000e20: PUSH3 0x461bcd
00000e24: PUSH1 0xe5
00000e26: SHL
00000e27: DUP2
00000e28: MSTORE
00000e29: PUSH1 0x20
00000e2b: PUSH1 0x04
00000e2d: DUP3
00000e2e: ADD
00000e2f: DUP2
00000e30: SWAP1
00000e31: MSTORE
00000e32: PUSH1 0x24
00000e34: DUP3
00000e35: ADD
00000e36: MSTORE
00000e37: PUSH1 0x00
00000e39: DUP1
00000e3a: MLOAD
00000e3b: PUSH1 0x20
00000e3d: PUSH2 0x35d9
00000e40: DUP4
00000e41: CODECOPY
00000e42: DUP2
00000e43: MLOAD
00000e44: SWAP2
00000e45: MSTORE
00000e46: PUSH1 0x44
00000e48: DUP3
00000e49: ADD
00000e4a: MSTORE
00000e4b: PUSH1 0x64
00000e4d: ADD
00000e4e: PUSH2 0x0732
00000e51: JUMP
00000e52: JUMPDEST
00000e53: PUSH1 0x0a
00000e55: SSTORE
00000e56: JUMP
00000e57: JUMPDEST
00000e58: PUSH1 0x00
00000e5a: SLOAD
00000e5b: PUSH1 0x01
00000e5d: PUSH1 0x01
00000e5f: PUSH1 0xa0
00000e61: SHL
00000e62: SUB
00000e63: PUSH2 0x0100
00000e66: SWAP1
00000e67: SWAP2
00000e68: DIV
00000e69: AND
00000e6a: CALLER
00000e6b: EQ
00000e6c: PUSH2 0x0ea5
00000e6f: JUMPI
00000e70: PUSH1 0x40
00000e72: MLOAD
00000e73: PUSH3 0x461bcd
00000e77: PUSH1 0xe5
00000e79: SHL
00000e7a: DUP2
00000e7b: MSTORE
00000e7c: PUSH1 0x20
00000e7e: PUSH1 0x04
00000e80: DUP3
00000e81: ADD
00000e82: DUP2
00000e83: SWAP1
00000e84: MSTORE
00000e85: PUSH1 0x24
00000e87: DUP3
00000e88: ADD
00000e89: MSTORE
00000e8a: PUSH1 0x00
00000e8c: DUP1
00000e8d: MLOAD
00000e8e: PUSH1 0x20
00000e90: PUSH2 0x35d9
00000e93: DUP4
00000e94: CODECOPY
00000e95: DUP2
00000e96: MLOAD
00000e97: SWAP2
00000e98: MSTORE
00000e99: PUSH1 0x44
00000e9b: DUP3
00000e9c: ADD
00000e9d: MSTORE
00000e9e: PUSH1 0x64
00000ea0: ADD
00000ea1: PUSH2 0x0732
00000ea4: JUMP
00000ea5: JUMPDEST
00000ea6: PUSH2 0x0aa9
00000ea9: PUSH2 0x1f13
00000eac: JUMP
00000ead: JUMPDEST
00000eae: PUSH1 0x00
00000eb0: SLOAD
00000eb1: PUSH1 0x01
00000eb3: PUSH1 0x01
00000eb5: PUSH1 0xa0
00000eb7: SHL
00000eb8: SUB
00000eb9: PUSH2 0x0100
00000ebc: SWAP1
00000ebd: SWAP2
00000ebe: DIV
00000ebf: AND
00000ec0: CALLER
00000ec1: EQ
00000ec2: PUSH2 0x0efb
00000ec5: JUMPI
00000ec6: PUSH1 0x40
00000ec8: MLOAD
00000ec9: PUSH3 0x461bcd
00000ecd: PUSH1 0xe5
00000ecf: SHL
00000ed0: DUP2
00000ed1: MSTORE
00000ed2: PUSH1 0x20
00000ed4: PUSH1 0x04
00000ed6: DUP3
00000ed7: ADD
00000ed8: DUP2
00000ed9: SWAP1
00000eda: MSTORE
00000edb: PUSH1 0x24
00000edd: DUP3
00000ede: ADD
00000edf: MSTORE
00000ee0: PUSH1 0x00
00000ee2: DUP1
00000ee3: MLOAD
00000ee4: PUSH1 0x20
00000ee6: PUSH2 0x35d9
00000ee9: DUP4
00000eea: CODECOPY
00000eeb: DUP2
00000eec: MLOAD
00000eed: SWAP2
00000eee: MSTORE
00000eef: PUSH1 0x44
00000ef1: DUP3
00000ef2: ADD
00000ef3: MSTORE
00000ef4: PUSH1 0x64
00000ef6: ADD
00000ef7: PUSH2 0x0732
00000efa: JUMP
00000efb: JUMPDEST
00000efc: PUSH1 0x09
00000efe: SSTORE
00000eff: JUMP
00000f00: JUMPDEST
00000f01: PUSH1 0x00
00000f03: DUP5
00000f04: PUSH1 0x00
00000f06: DUP2
00000f07: MLOAD
00000f08: DUP2
00000f09: LT
00000f0a: PUSH2 0x0f15
00000f0d: JUMPI
00000f0e: PUSH2 0x0f15
00000f11: PUSH2 0x3320
00000f14: JUMP
00000f15: JUMPDEST
00000f16: PUSH1 0x20
00000f18: MUL
00000f19: PUSH1 0x20
00000f1b: ADD
00000f1c: ADD
00000f1d: MLOAD
00000f1e: DUP6
00000f1f: PUSH1 0x01
00000f21: DUP2
00000f22: MLOAD
00000f23: DUP2
00000f24: LT
00000f25: PUSH2 0x0f30
00000f28: JUMPI
00000f29: PUSH2 0x0f30
00000f2c: PUSH2 0x3320
00000f2f: JUMP
00000f30: JUMPDEST
00000f31: PUSH1 0x20
00000f33: MUL
00000f34: PUSH1 0x20
00000f36: ADD
00000f37: ADD
00000f38: MLOAD
00000f39: DUP7
00000f3a: PUSH1 0x02
00000f3c: DUP2
00000f3d: MLOAD
00000f3e: DUP2
00000f3f: LT
00000f40: PUSH2 0x0f4b
00000f43: JUMPI
00000f44: PUSH2 0x0f4b
00000f47: PUSH2 0x3320
00000f4a: JUMP
00000f4b: JUMPDEST
00000f4c: PUSH1 0x20
00000f4e: MUL
00000f4f: PUSH1 0x20
00000f51: ADD
00000f52: ADD
00000f53: MLOAD
00000f54: DUP7
00000f55: DUP6
00000f56: PUSH1 0x40
00000f58: MLOAD
00000f59: PUSH1 0x20
00000f5b: ADD
00000f5c: PUSH2 0x0f9b
00000f5f: SWAP6
00000f60: SWAP5
00000f61: SWAP4
00000f62: SWAP3
00000f63: SWAP2
00000f64: SWAP1
00000f65: SWAP5
00000f66: DUP6
00000f67: MSTORE
00000f68: PUSH1 0x20
00000f6a: DUP6
00000f6b: ADD
00000f6c: SWAP4
00000f6d: SWAP1
00000f6e: SWAP4
00000f6f: MSTORE
00000f70: PUSH1 0x40
00000f72: DUP5
00000f73: ADD
00000f74: SWAP2
00000f75: SWAP1
00000f76: SWAP2
00000f77: MSTORE
00000f78: PUSH1 0x60
00000f7a: DUP1
00000f7b: DUP5
00000f7c: ADD
00000f7d: SWAP2
00000f7e: SWAP1
00000f7f: SWAP2
00000f80: MSTORE
00000f81: SHL
00000f82: PUSH12 0xffffffffffffffffffffffff
00000f8f: NOT
00000f90: AND
00000f91: PUSH1 0x80
00000f93: DUP3
00000f94: ADD
00000f95: MSTORE
00000f96: PUSH1 0x94
00000f98: ADD
00000f99: SWAP1
00000f9a: JUMP
00000f9b: JUMPDEST
00000f9c: PUSH1 0x40
00000f9e: MLOAD
00000f9f: PUSH1 0x20
00000fa1: DUP2
00000fa2: DUP4
00000fa3: SUB
00000fa4: SUB
00000fa5: DUP2
00000fa6: MSTORE
00000fa7: SWAP1
00000fa8: PUSH1 0x40
00000faa: MSTORE
00000fab: DUP1
00000fac: MLOAD
00000fad: SWAP1
00000fae: PUSH1 0x20
00000fb0: ADD
00000fb1: KECCAK256
00000fb2: SWAP1
00000fb3: POP
00000fb4: PUSH1 0x00
00000fb6: PUSH2 0x1016
00000fb9: DUP5
00000fba: PUSH2 0x1010
00000fbd: DUP5
00000fbe: PUSH1 0x40
00000fc0: MLOAD
00000fc1: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a333200000000
00000fe2: PUSH1 0x20
00000fe4: DUP3
00000fe5: ADD
00000fe6: MSTORE
00000fe7: PUSH1 0x3c
00000fe9: DUP2
00000fea: ADD
00000feb: DUP3
00000fec: SWAP1
00000fed: MSTORE
00000fee: PUSH1 0x00
00000ff0: SWAP1
00000ff1: PUSH1 0x5c
00000ff3: ADD
00000ff4: PUSH1 0x40
00000ff6: MLOAD
00000ff7: PUSH1 0x20
00000ff9: DUP2
00000ffa: DUP4
00000ffb: SUB
00000ffc: SUB
00000ffd: DUP2
00000ffe: MSTORE
00000fff: SWAP1
00001000: PUSH1 0x40
00001002: MSTORE
00001003: DUP1
00001004: MLOAD
00001005: SWAP1
00001006: PUSH1 0x20
00001008: ADD
00001009: KECCAK256
0000100a: SWAP1
0000100b: POP
0000100c: SWAP2
0000100d: SWAP1
0000100e: POP
0000100f: JUMP
00001010: JUMPDEST
00001011: SWAP1
00001012: PUSH2 0x1f8e
00001015: JUMP
00001016: JUMPDEST
00001017: PUSH1 0x0d
00001019: SLOAD
0000101a: SWAP1
0000101b: SWAP2
0000101c: POP
0000101d: PUSH1 0x01
0000101f: PUSH1 0x01
00001021: PUSH1 0xa0
00001023: SHL
00001024: SUB
00001025: DUP1
00001026: DUP4
00001027: AND
00001028: SWAP2
00001029: AND
0000102a: EQ
0000102b: PUSH2 0x1076
0000102e: JUMPI
0000102f: PUSH1 0x40
00001031: MLOAD
00001032: PUSH3 0x461bcd
00001036: PUSH1 0xe5
00001038: SHL
00001039: DUP2
0000103a: MSTORE
0000103b: PUSH1 0x20
0000103d: PUSH1 0x04
0000103f: DUP3
00001040: ADD
00001041: MSTORE
00001042: PUSH1 0x15
00001044: PUSH1 0x24
00001046: DUP3
00001047: ADD
00001048: MSTORE
00001049: PUSH32 0x4e6f74207369676e656420627920776174636865720000000000000000000000
0000106a: PUSH1 0x44
0000106c: DUP3
0000106d: ADD
0000106e: MSTORE
0000106f: PUSH1 0x64
00001071: ADD
00001072: PUSH2 0x0732
00001075: JUMP
00001076: JUMPDEST
00001077: POP
00001078: POP
00001079: POP
0000107a: POP
0000107b: POP
0000107c: POP
0000107d: JUMP
0000107e: JUMPDEST
0000107f: PUSH1 0x0c
00001081: DUP1
00001082: SLOAD
00001083: PUSH2 0x081c
00001086: SWAP1
00001087: PUSH2 0x32a6
0000108a: JUMP
0000108b: JUMPDEST
0000108c: PUSH1 0x00
0000108e: SLOAD
0000108f: PUSH1 0x01
00001091: PUSH1 0x01
00001093: PUSH1 0xa0
00001095: SHL
00001096: SUB
00001097: PUSH2 0x0100
0000109a: SWAP1
0000109b: SWAP2
0000109c: DIV
0000109d: AND
0000109e: CALLER
0000109f: EQ
000010a0: PUSH2 0x10d9
000010a3: JUMPI
000010a4: PUSH1 0x40
000010a6: MLOAD
000010a7: PUSH3 0x461bcd
000010ab: PUSH1 0xe5
000010ad: SHL
000010ae: DUP2
000010af: MSTORE
000010b0: PUSH1 0x20
000010b2: PUSH1 0x04
000010b4: DUP3
000010b5: ADD
000010b6: DUP2
000010b7: SWAP1
000010b8: MSTORE
000010b9: PUSH1 0x24
000010bb: DUP3
000010bc: ADD
000010bd: MSTORE
000010be: PUSH1 0x00
000010c0: DUP1
000010c1: MLOAD
000010c2: PUSH1 0x20
000010c4: PUSH2 0x35d9
000010c7: DUP4
000010c8: CODECOPY
000010c9: DUP2
000010ca: MLOAD
000010cb: SWAP2
000010cc: MSTORE
000010cd: PUSH1 0x44
000010cf: DUP3
000010d0: ADD
000010d1: MSTORE
000010d2: PUSH1 0x64
000010d4: ADD
000010d5: PUSH2 0x0732
000010d8: JUMP
000010d9: JUMPDEST
000010da: DUP2
000010db: PUSH2 0x10e4
000010de: JUMPI
000010df: PUSH1 0x05
000010e1: DUP2
000010e2: SWAP1
000010e3: SSTORE
000010e4: JUMPDEST
000010e5: PUSH1 0x01
000010e7: DUP3
000010e8: EQ
000010e9: ISZERO
000010ea: PUSH2 0x10f3
000010ed: JUMPI
000010ee: PUSH1 0x06
000010f0: DUP2
000010f1: SWAP1
000010f2: SSTORE
000010f3: JUMPDEST
000010f4: PUSH1 0x02
000010f6: DUP3
000010f7: EQ
000010f8: ISZERO
000010f9: PUSH2 0x1102
000010fc: JUMPI
000010fd: PUSH1 0x07
000010ff: DUP2
00001100: SWAP1
00001101: SSTORE
00001102: JUMPDEST
00001103: POP
00001104: POP
00001105: JUMP
00001106: JUMPDEST
00001107: PUSH2 0x1102
0000110a: CALLER
0000110b: DUP4
0000110c: DUP4
0000110d: PUSH2 0x1faa
00001110: JUMP
00001111: JUMPDEST
00001112: PUSH1 0x01
00001114: PUSH1 0x01
00001116: PUSH1 0xa0
00001118: SHL
00001119: SUB
0000111a: DUP6
0000111b: AND
0000111c: CALLER
0000111d: EQ
0000111e: DUP1
0000111f: PUSH2 0x112d
00001122: JUMPI
00001123: POP
00001124: PUSH2 0x112d
00001127: DUP6
00001128: CALLER
00001129: PUSH2 0x061f
0000112c: JUMP
0000112d: JUMPDEST
0000112e: PUSH2 0x118b
00001131: JUMPI
00001132: PUSH1 0x40
00001134: MLOAD
00001135: PUSH3 0x461bcd
00001139: PUSH1 0xe5
0000113b: SHL
0000113c: DUP2
0000113d: MSTORE
0000113e: PUSH1 0x20
00001140: PUSH1 0x04
00001142: DUP3
00001143: ADD
00001144: MSTORE
00001145: PUSH1 0x29
00001147: PUSH1 0x24
00001149: DUP3
0000114a: ADD
0000114b: MSTORE
0000114c: PUSH32 0x455243313135353a2063616c6c6572206973206e6f74206f776e6572206e6f72
0000116d: PUSH1 0x44
0000116f: DUP3
00001170: ADD
00001171: MSTORE
00001172: PUSH9 0x08185c1c1c9bdd9959
0000117c: PUSH1 0xba
0000117e: SHL
0000117f: PUSH1 0x64
00001181: DUP3
00001182: ADD
00001183: MSTORE
00001184: PUSH1 0x84
00001186: ADD
00001187: PUSH2 0x0732
0000118a: JUMP
0000118b: JUMPDEST
0000118c: PUSH2 0x0a4c
0000118f: DUP6
00001190: DUP6
00001191: DUP6
00001192: DUP6
00001193: DUP6
00001194: PUSH2 0x208b
00001197: JUMP
00001198: JUMPDEST
00001199: PUSH1 0x00
0000119b: SLOAD
0000119c: PUSH1 0x01
0000119e: PUSH1 0x01
000011a0: PUSH1 0xa0
000011a2: SHL
000011a3: SUB
000011a4: PUSH2 0x0100
000011a7: SWAP1
000011a8: SWAP2
000011a9: DIV
000011aa: AND
000011ab: CALLER
000011ac: EQ
000011ad: PUSH2 0x11e6
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: DUP2
000011c4: SWAP1
000011c5: MSTORE
000011c6: PUSH1 0x24
000011c8: DUP3
000011c9: ADD
000011ca: MSTORE
000011cb: PUSH1 0x00
000011cd: DUP1
000011ce: MLOAD
000011cf: PUSH1 0x20
000011d1: PUSH2 0x35d9
000011d4: DUP4
000011d5: CODECOPY
000011d6: DUP2
000011d7: MLOAD
000011d8: SWAP2
000011d9: MSTORE
000011da: PUSH1 0x44
000011dc: DUP3
000011dd: ADD
000011de: MSTORE
000011df: PUSH1 0x64
000011e1: ADD
000011e2: PUSH2 0x0732
000011e5: JUMP
000011e6: JUMPDEST
000011e7: PUSH1 0x01
000011e9: PUSH1 0x01
000011eb: PUSH1 0xa0
000011ed: SHL
000011ee: SUB
000011ef: DUP2
000011f0: AND
000011f1: PUSH2 0x124b
000011f4: JUMPI
000011f5: PUSH1 0x40
000011f7: MLOAD
000011f8: PUSH3 0x461bcd
000011fc: PUSH1 0xe5
000011fe: SHL
000011ff: DUP2
00001200: MSTORE
00001201: PUSH1 0x20
00001203: PUSH1 0x04
00001205: DUP3
00001206: ADD
00001207: MSTORE
00001208: PUSH1 0x26
0000120a: PUSH1 0x24
0000120c: DUP3
0000120d: ADD
0000120e: MSTORE
0000120f: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00001230: PUSH1 0x44
00001232: DUP3
00001233: ADD
00001234: MSTORE
00001235: PUSH6 0x646472657373
0000123c: PUSH1 0xd0
0000123e: SHL
0000123f: PUSH1 0x64
00001241: DUP3
00001242: ADD
00001243: MSTORE
00001244: PUSH1 0x84
00001246: ADD
00001247: PUSH2 0x0732
0000124a: JUMP
0000124b: JUMPDEST
0000124c: PUSH2 0x080c
0000124f: DUP2
00001250: PUSH2 0x1ead
00001253: JUMP
00001254: JUMPDEST
00001255: PUSH1 0x00
00001257: SLOAD
00001258: PUSH1 0xff
0000125a: AND
0000125b: ISZERO
0000125c: PUSH2 0x129a
0000125f: JUMPI
00001260: PUSH1 0x40
00001262: MLOAD
00001263: PUSH3 0x461bcd
00001267: PUSH1 0xe5
00001269: SHL
0000126a: DUP2
0000126b: MSTORE
0000126c: PUSH1 0x20
0000126e: PUSH1 0x04
00001270: DUP3
00001271: ADD
00001272: MSTORE
00001273: PUSH1 0x10
00001275: PUSH1 0x24
00001277: DUP3
00001278: ADD
00001279: MSTORE
0000127a: PUSH16 0x14185d5cd8589b194e881c185d5cd959
0000128b: PUSH1 0x82
0000128d: SHL
0000128e: PUSH1 0x44
00001290: DUP3
00001291: ADD
00001292: MSTORE
00001293: PUSH1 0x64
00001295: ADD
00001296: PUSH2 0x0732
00001299: JUMP
0000129a: JUMPDEST
0000129b: DUP5
0000129c: DUP4
0000129d: PUSH1 0x02
0000129f: DUP2
000012a0: MLOAD
000012a1: DUP2
000012a2: LT
000012a3: PUSH2 0x12ae
000012a6: JUMPI
000012a7: PUSH2 0x12ae
000012aa: PUSH2 0x3320
000012ad: JUMP
000012ae: JUMPDEST
000012af: PUSH1 0x20
000012b1: MUL
000012b2: PUSH1 0x20
000012b4: ADD
000012b5: ADD
000012b6: MLOAD
000012b7: DUP5
000012b8: PUSH1 0x01
000012ba: DUP2
000012bb: MLOAD
000012bc: DUP2
000012bd: LT
000012be: PUSH2 0x12c9
000012c1: JUMPI
000012c2: PUSH2 0x12c9
000012c5: PUSH2 0x3320
000012c8: JUMP
000012c9: JUMPDEST
000012ca: PUSH1 0x20
000012cc: MUL
000012cd: PUSH1 0x20
000012cf: ADD
000012d0: ADD
000012d1: MLOAD
000012d2: DUP6
000012d3: PUSH1 0x00
000012d5: DUP2
000012d6: MLOAD
000012d7: DUP2
000012d8: LT
000012d9: PUSH2 0x12e4
000012dc: JUMPI
000012dd: PUSH2 0x12e4
000012e0: PUSH2 0x3320
000012e3: JUMP
000012e4: JUMPDEST
000012e5: PUSH1 0x20
000012e7: MUL
000012e8: PUSH1 0x20
000012ea: ADD
000012eb: ADD
000012ec: MLOAD
000012ed: PUSH1 0x0e
000012ef: PUSH1 0x00
000012f1: CALLER
000012f2: PUSH1 0x01
000012f4: PUSH1 0x01
000012f6: PUSH1 0xa0
000012f8: SHL
000012f9: SUB
000012fa: AND
000012fb: PUSH1 0x01
000012fd: PUSH1 0x01
000012ff: PUSH1 0xa0
00001301: SHL
00001302: SUB
00001303: AND
00001304: DUP2
00001305: MSTORE
00001306: PUSH1 0x20
00001308: ADD
00001309: SWAP1
0000130a: DUP2
0000130b: MSTORE
0000130c: PUSH1 0x20
0000130e: ADD
0000130f: PUSH1 0x00
00001311: KECCAK256
00001312: SLOAD
00001313: PUSH2 0x131c
00001316: SWAP2
00001317: SWAP1
00001318: PUSH2 0x3367
0000131b: JUMP
0000131c: JUMPDEST
0000131d: PUSH2 0x1326
00001320: SWAP2
00001321: SWAP1
00001322: PUSH2 0x3367
00001325: JUMP
00001326: JUMPDEST
00001327: PUSH2 0x1330
0000132a: SWAP2
0000132b: SWAP1
0000132c: PUSH2 0x3367
0000132f: JUMP
00001330: JUMPDEST
00001331: GT
00001332: ISZERO
00001333: PUSH2 0x13a4
00001336: JUMPI
00001337: PUSH1 0x40
00001339: MLOAD
0000133a: PUSH3 0x461bcd
0000133e: PUSH1 0xe5
00001340: SHL
00001341: DUP2
00001342: MSTORE
00001343: PUSH1 0x20
00001345: PUSH1 0x04
00001347: DUP3
00001348: ADD
00001349: MSTORE
0000134a: PUSH1 0x3a
0000134c: PUSH1 0x24
0000134e: DUP3
0000134f: ADD
00001350: MSTORE
00001351: PUSH32 0x436c61696d3a206d617820636c61696d61626c6520616d6f756e74206f662063
00001372: PUSH1 0x44
00001374: DUP3
00001375: ADD
00001376: MSTORE
00001377: PUSH32 0x757272656e742061646472657373206973207265616368656421000000000000
00001398: PUSH1 0x64
0000139a: DUP3
0000139b: ADD
0000139c: MSTORE
0000139d: PUSH1 0x84
0000139f: ADD
000013a0: PUSH2 0x0732
000013a3: JUMP
000013a4: JUMPDEST
000013a5: PUSH1 0x00
000013a7: DUP6
000013a8: CALLER
000013a9: PUSH1 0x40
000013ab: MLOAD
000013ac: PUSH1 0x20
000013ae: ADD
000013af: PUSH2 0x13d4
000013b2: SWAP3
000013b3: SWAP2
000013b4: SWAP1
000013b5: SWAP2
000013b6: DUP3
000013b7: MSTORE
000013b8: PUSH1 0x60
000013ba: SHL
000013bb: PUSH12 0xffffffffffffffffffffffff
000013c8: NOT
000013c9: AND
000013ca: PUSH1 0x20
000013cc: DUP3
000013cd: ADD
000013ce: MSTORE
000013cf: PUSH1 0x34
000013d1: ADD
000013d2: SWAP1
000013d3: JUMP
000013d4: JUMPDEST
000013d5: PUSH1 0x40
000013d7: MLOAD
000013d8: PUSH1 0x20
000013da: DUP2
000013db: DUP4
000013dc: SUB
000013dd: SUB
000013de: DUP2
000013df: MSTORE
000013e0: SWAP1
000013e1: PUSH1 0x40
000013e3: MSTORE
000013e4: DUP1
000013e5: MLOAD
000013e6: SWAP1
000013e7: PUSH1 0x20
000013e9: ADD
000013ea: KECCAK256
000013eb: SWAP1
000013ec: POP
000013ed: PUSH2 0x13f9
000013f0: DUP6
000013f1: PUSH1 0x0a
000013f3: SLOAD
000013f4: DUP4
000013f5: PUSH2 0x2248
000013f8: JUMP
000013f9: JUMPDEST
000013fa: PUSH2 0x1445
000013fd: JUMPI
000013fe: PUSH1 0x40
00001400: MLOAD
00001401: PUSH3 0x461bcd
00001405: PUSH1 0xe5
00001407: SHL
00001408: DUP2
00001409: MSTORE
0000140a: PUSH1 0x20
0000140c: PUSH1 0x04
0000140e: DUP3
0000140f: ADD
00001410: MSTORE
00001411: PUSH1 0x16
00001413: PUSH1 0x24
00001415: DUP3
00001416: ADD
00001417: MSTORE
00001418: PUSH32 0x4d65726b6c653a20496e76616c69642070726f6f662e00000000000000000000
00001439: PUSH1 0x44
0000143b: DUP3
0000143c: ADD
0000143d: MSTORE
0000143e: PUSH1 0x64
00001440: ADD
00001441: PUSH2 0x0732
00001444: JUMP
00001445: JUMPDEST
00001446: PUSH2 0x1450
00001449: DUP5
0000144a: DUP5
0000144b: DUP5
0000144c: PUSH2 0x1a64
0000144f: JUMP
00001450: JUMPDEST
00001451: DUP4
00001452: PUSH1 0x02
00001454: DUP2
00001455: MLOAD
00001456: DUP2
00001457: LT
00001458: PUSH2 0x1463
0000145b: JUMPI
0000145c: PUSH2 0x1463
0000145f: PUSH2 0x3320
00001462: JUMP
00001463: JUMPDEST
00001464: PUSH1 0x20
00001466: MUL
00001467: PUSH1 0x20
00001469: ADD
0000146a: ADD
0000146b: MLOAD
0000146c: DUP5
0000146d: PUSH1 0x01
0000146f: DUP2
00001470: MLOAD
00001471: DUP2
00001472: LT
00001473: PUSH2 0x147e
00001476: JUMPI
00001477: PUSH2 0x147e
0000147a: PUSH2 0x3320
0000147d: JUMP
0000147e: JUMPDEST
0000147f: PUSH1 0x20
00001481: MUL
00001482: PUSH1 0x20
00001484: ADD
00001485: ADD
00001486: MLOAD
00001487: DUP6
00001488: PUSH1 0x00
0000148a: DUP2
0000148b: MLOAD
0000148c: DUP2
0000148d: LT
0000148e: PUSH2 0x1499
00001491: JUMPI
00001492: PUSH2 0x1499
00001495: PUSH2 0x3320
00001498: JUMP
00001499: JUMPDEST
0000149a: PUSH1 0x20
0000149c: MUL
0000149d: PUSH1 0x20
0000149f: ADD
000014a0: ADD
000014a1: MLOAD
000014a2: PUSH2 0x14ab
000014a5: SWAP2
000014a6: SWAP1
000014a7: PUSH2 0x3367
000014aa: JUMP
000014ab: JUMPDEST
000014ac: PUSH2 0x14b5
000014af: SWAP2
000014b0: SWAP1
000014b1: PUSH2 0x3367
000014b4: JUMP
000014b5: JUMPDEST
000014b6: CALLER
000014b7: PUSH1 0x00
000014b9: SWAP1
000014ba: DUP2
000014bb: MSTORE
000014bc: PUSH1 0x0e
000014be: PUSH1 0x20
000014c0: MSTORE
000014c1: PUSH1 0x40
000014c3: DUP2
000014c4: KECCAK256
000014c5: DUP1
000014c6: SLOAD
000014c7: SWAP1
000014c8: SWAP2
000014c9: SWAP1
000014ca: PUSH2 0x14d4
000014cd: SWAP1
000014ce: DUP5
000014cf: SWAP1
000014d0: PUSH2 0x3367
000014d3: JUMP
000014d4: JUMPDEST
000014d5: SWAP3
000014d6: POP
000014d7: POP
000014d8: DUP2
000014d9: SWAP1
000014da: SSTORE
000014db: POP
000014dc: PUSH2 0x1544
000014df: CALLER
000014e0: PUSH1 0x08
000014e2: DUP1
000014e3: SLOAD
000014e4: DUP1
000014e5: PUSH1 0x20
000014e7: MUL
000014e8: PUSH1 0x20
000014ea: ADD
000014eb: PUSH1 0x40
000014ed: MLOAD
000014ee: SWAP1
000014ef: DUP2
000014f0: ADD
000014f1: PUSH1 0x40
000014f3: MSTORE
000014f4: DUP1
000014f5: SWAP3
000014f6: SWAP2
000014f7: SWAP1
000014f8: DUP2
000014f9: DUP2
000014fa: MSTORE
000014fb: PUSH1 0x20
000014fd: ADD
000014fe: DUP3
000014ff: DUP1
00001500: SLOAD
00001501: DUP1
00001502: ISZERO
00001503: PUSH2 0x0d3b
00001506: JUMPI
00001507: PUSH1 0x20
00001509: MUL
0000150a: DUP3
0000150b: ADD
0000150c: SWAP2
0000150d: SWAP1
0000150e: PUSH1 0x00
00001510: MSTORE
00001511: PUSH1 0x20
00001513: PUSH1 0x00
00001515: KECCAK256
00001516: SWAP1
00001517: DUP2
00001518: SLOAD
00001519: DUP2
0000151a: MSTORE
0000151b: PUSH1 0x20
0000151d: ADD
0000151e: SWAP1
0000151f: PUSH1 0x01
00001521: ADD
00001522: SWAP1
00001523: DUP1
00001524: DUP4
00001525: GT
00001526: PUSH2 0x0d27
00001529: JUMPI
0000152a: POP
0000152b: POP
0000152c: POP
0000152d: POP
0000152e: POP
0000152f: DUP7
00001530: PUSH1 0x40
00001532: MLOAD
00001533: DUP1
00001534: PUSH1 0x20
00001536: ADD
00001537: PUSH1 0x40
00001539: MSTORE
0000153a: DUP1
0000153b: PUSH1 0x00
0000153d: DUP2
0000153e: MSTORE
0000153f: POP
00001540: PUSH2 0x1cd7
00001543: JUMP
00001544: JUMPDEST
00001545: PUSH1 0x40
00001547: MLOAD
00001548: CALLER
00001549: SWAP1
0000154a: PUSH2 0x1555
0000154d: SWAP1
0000154e: PUSH1 0x08
00001550: SWAP1
00001551: PUSH2 0x339e
00001554: JUMP
00001555: JUMPDEST
00001556: PUSH1 0x40
00001558: MLOAD
00001559: DUP1
0000155a: SWAP2
0000155b: SUB
0000155c: SWAP1
0000155d: KECCAK256
0000155e: PUSH32 0x9c4c54f7476d9aa900cdb52f2fbf3e00924d02389c9b2401d3ecee109eb988cd
0000157f: DUP7
00001580: PUSH1 0x40
00001582: MLOAD
00001583: PUSH2 0x158c
00001586: SWAP2
00001587: SWAP1
00001588: PUSH2 0x2fc1
0000158b: JUMP
0000158c: JUMPDEST
0000158d: PUSH1 0x40
0000158f: MLOAD
00001590: DUP1
00001591: SWAP2
00001592: SUB
00001593: SWAP1
00001594: LOG3
00001595: POP
00001596: POP
00001597: POP
00001598: POP
00001599: POP
0000159a: POP
0000159b: JUMP
0000159c: JUMPDEST
0000159d: DUP1
0000159e: MLOAD
0000159f: PUSH2 0x1102
000015a2: SWAP1
000015a3: PUSH1 0x03
000015a5: SWAP1
000015a6: PUSH1 0x20
000015a8: DUP5
000015a9: ADD
000015aa: SWAP1
000015ab: PUSH2 0x2ab6
000015ae: JUMP
000015af: JUMPDEST
000015b0: PUSH1 0x60
000015b2: PUSH1 0x03
000015b4: DUP1
000015b5: SLOAD
000015b6: PUSH2 0x15be
000015b9: SWAP1
000015ba: PUSH2 0x32a6
000015bd: JUMP
000015be: JUMPDEST
000015bf: DUP1
000015c0: PUSH1 0x1f
000015c2: ADD
000015c3: PUSH1 0x20
000015c5: DUP1
000015c6: SWAP2
000015c7: DIV
000015c8: MUL
000015c9: PUSH1 0x20
000015cb: ADD
000015cc: PUSH1 0x40
000015ce: MLOAD
000015cf: SWAP1
000015d0: DUP2
000015d1: ADD
000015d2: PUSH1 0x40
000015d4: MSTORE
000015d5: DUP1
000015d6: SWAP3
000015d7: SWAP2
000015d8: SWAP1
000015d9: DUP2
000015da: DUP2
000015db: MSTORE
000015dc: PUSH1 0x20
000015de: ADD
000015df: DUP3
000015e0: DUP1
000015e1: SLOAD
000015e2: PUSH2 0x15ea
000015e5: SWAP1
000015e6: PUSH2 0x32a6
000015e9: JUMP
000015ea: JUMPDEST
000015eb: DUP1
000015ec: ISZERO
000015ed: PUSH2 0x1637
000015f0: JUMPI
000015f1: DUP1
000015f2: PUSH1 0x1f
000015f4: LT
000015f5: PUSH2 0x160c
000015f8: JUMPI
000015f9: PUSH2 0x0100
000015fc: DUP1
000015fd: DUP4
000015fe: SLOAD
000015ff: DIV
00001600: MUL
00001601: DUP4
00001602: MSTORE
00001603: SWAP2
00001604: PUSH1 0x20
00001606: ADD
00001607: SWAP2
00001608: PUSH2 0x1637
0000160b: JUMP
0000160c: JUMPDEST
0000160d: DUP3
0000160e: ADD
0000160f: SWAP2
00001610: SWAP1
00001611: PUSH1 0x00
00001613: MSTORE
00001614: PUSH1 0x20
00001616: PUSH1 0x00
00001618: KECCAK256
00001619: SWAP1
0000161a: JUMPDEST
0000161b: DUP2
0000161c: SLOAD
0000161d: DUP2
0000161e: MSTORE
0000161f: SWAP1
00001620: PUSH1 0x01
00001622: ADD
00001623: SWAP1
00001624: PUSH1 0x20
00001626: ADD
00001627: DUP1
00001628: DUP4
00001629: GT
0000162a: PUSH2 0x161a
0000162d: JUMPI
0000162e: DUP3
0000162f: SWAP1
00001630: SUB
00001631: PUSH1 0x1f
00001633: AND
00001634: DUP3
00001635: ADD
00001636: SWAP2
00001637: JUMPDEST
00001638: POP
00001639: POP
0000163a: POP
0000163b: POP
0000163c: POP
0000163d: SWAP1
0000163e: POP
0000163f: SWAP2
00001640: SWAP1
00001641: POP
00001642: JUMP
00001643: JUMPDEST
00001644: PUSH1 0x60
00001646: DUP2
00001647: PUSH2 0x1667
0000164a: JUMPI
0000164b: POP
0000164c: POP
0000164d: PUSH1 0x40
0000164f: DUP1
00001650: MLOAD
00001651: DUP1
00001652: DUP3
00001653: ADD
00001654: SWAP1
00001655: SWAP2
00001656: MSTORE
00001657: PUSH1 0x01
00001659: DUP2
0000165a: MSTORE
0000165b: PUSH1 0x03
0000165d: PUSH1 0xfc
0000165f: SHL
00001660: PUSH1 0x20
00001662: DUP3
00001663: ADD
00001664: MSTORE
00001665: SWAP1
00001666: JUMP
00001667: JUMPDEST
00001668: DUP2
00001669: PUSH1 0x00
0000166b: JUMPDEST
0000166c: DUP2
0000166d: ISZERO
0000166e: PUSH2 0x1691
00001671: JUMPI
00001672: DUP1
00001673: PUSH2 0x167b
00001676: DUP2
00001677: PUSH2 0x334c
0000167a: JUMP
0000167b: JUMPDEST
0000167c: SWAP2
0000167d: POP
0000167e: PUSH2 0x168a
00001681: SWAP1
00001682: POP
00001683: PUSH1 0x0a
00001685: DUP4
00001686: PUSH2 0x33f1
00001689: JUMP
0000168a: JUMPDEST
0000168b: SWAP2
0000168c: POP
0000168d: PUSH2 0x166b
00001690: JUMP
00001691: JUMPDEST
00001692: PUSH1 0x00
00001694: DUP2
00001695: PUSH8 0xffffffffffffffff
0000169e: DUP2
0000169f: GT
000016a0: ISZERO
000016a1: PUSH2 0x16ac
000016a4: JUMPI
000016a5: PUSH2 0x16ac
000016a8: PUSH2 0x2bcf
000016ab: JUMP
000016ac: JUMPDEST
000016ad: PUSH1 0x40
000016af: MLOAD
000016b0: SWAP1
000016b1: DUP1
000016b2: DUP3
000016b3: MSTORE
000016b4: DUP1
000016b5: PUSH1 0x1f
000016b7: ADD
000016b8: PUSH1 0x1f
000016ba: NOT
000016bb: AND
000016bc: PUSH1 0x20
000016be: ADD
000016bf: DUP3
000016c0: ADD
000016c1: PUSH1 0x40
000016c3: MSTORE
000016c4: DUP1
000016c5: ISZERO
000016c6: PUSH2 0x16d6
000016c9: JUMPI
000016ca: PUSH1 0x20
000016cc: DUP3
000016cd: ADD
000016ce: DUP2
000016cf: DUP1
000016d0: CALLDATASIZE
000016d1: DUP4
000016d2: CALLDATACOPY
000016d3: ADD
000016d4: SWAP1
000016d5: POP
000016d6: JUMPDEST
000016d7: POP
000016d8: SWAP1
000016d9: POP
000016da: JUMPDEST
000016db: DUP5
000016dc: ISZERO
000016dd: PUSH2 0x1759
000016e0: JUMPI
000016e1: PUSH2 0x16eb
000016e4: PUSH1 0x01
000016e6: DUP4
000016e7: PUSH2 0x3405
000016ea: JUMP
000016eb: JUMPDEST
000016ec: SWAP2
000016ed: POP
000016ee: PUSH2 0x16f8
000016f1: PUSH1 0x0a
000016f3: DUP7
000016f4: PUSH2 0x341c
000016f7: JUMP
000016f8: JUMPDEST
000016f9: PUSH2 0x1703
000016fc: SWAP1
000016fd: PUSH1 0x30
000016ff: PUSH2 0x3367
00001702: JUMP
00001703: JUMPDEST
00001704: PUSH1 0xf8
00001706: SHL
00001707: DUP2
00001708: DUP4
00001709: DUP2
0000170a: MLOAD
0000170b: DUP2
0000170c: LT
0000170d: PUSH2 0x1718
00001710: JUMPI
00001711: PUSH2 0x1718
00001714: PUSH2 0x3320
00001717: JUMP
00001718: JUMPDEST
00001719: PUSH1 0x20
0000171b: ADD
0000171c: ADD
0000171d: SWAP1
0000171e: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000173e: NOT
0000173f: AND
00001740: SWAP1
00001741: DUP2
00001742: PUSH1 0x00
00001744: BYTE
00001745: SWAP1
00001746: MSTORE8
00001747: POP
00001748: PUSH2 0x1752
0000174b: PUSH1 0x0a
0000174d: DUP7
0000174e: PUSH2 0x33f1
00001751: JUMP
00001752: JUMPDEST
00001753: SWAP5
00001754: POP
00001755: PUSH2 0x16da
00001758: JUMP
00001759: JUMPDEST
0000175a: SWAP5
0000175b: SWAP4
0000175c: POP
0000175d: POP
0000175e: POP
0000175f: POP
00001760: JUMP
00001761: JUMPDEST
00001762: DUP2
00001763: MLOAD
00001764: DUP4
00001765: MLOAD
00001766: EQ
00001767: PUSH2 0x17c3
0000176a: JUMPI
0000176b: PUSH1 0x40
0000176d: MLOAD
0000176e: PUSH3 0x461bcd
00001772: PUSH1 0xe5
00001774: SHL
00001775: DUP2
00001776: MSTORE
00001777: PUSH1 0x20
00001779: PUSH1 0x04
0000177b: DUP3
0000177c: ADD
0000177d: MSTORE
0000177e: PUSH1 0x28
00001780: PUSH1 0x24
00001782: DUP3
00001783: ADD
00001784: MSTORE
00001785: PUSH32 0x455243313135353a2069647320616e6420616d6f756e7473206c656e67746820
000017a6: PUSH1 0x44
000017a8: DUP3
000017a9: ADD
000017aa: MSTORE
000017ab: PUSH8 0x0dad2e6dac2e8c6d
000017b4: PUSH1 0xc3
000017b6: SHL
000017b7: PUSH1 0x64
000017b9: DUP3
000017ba: ADD
000017bb: MSTORE
000017bc: PUSH1 0x84
000017be: ADD
000017bf: PUSH2 0x0732
000017c2: JUMP
000017c3: JUMPDEST
000017c4: PUSH1 0x01
000017c6: PUSH1 0x01
000017c8: PUSH1 0xa0
000017ca: SHL
000017cb: SUB
000017cc: DUP5
000017cd: AND
000017ce: PUSH2 0x1827
000017d1: JUMPI
000017d2: PUSH1 0x40
000017d4: MLOAD
000017d5: PUSH3 0x461bcd
000017d9: PUSH1 0xe5
000017db: SHL
000017dc: DUP2
000017dd: MSTORE
000017de: PUSH1 0x20
000017e0: PUSH1 0x04
000017e2: DUP3
000017e3: ADD
000017e4: MSTORE
000017e5: PUSH1 0x25
000017e7: PUSH1 0x24
000017e9: DUP3
000017ea: ADD
000017eb: MSTORE
000017ec: PUSH32 0x455243313135353a207472616e7366657220746f20746865207a65726f206164
0000180d: PUSH1 0x44
0000180f: DUP3
00001810: ADD
00001811: MSTORE
00001812: PUSH5 0x6472657373
00001818: PUSH1 0xd8
0000181a: SHL
0000181b: PUSH1 0x64
0000181d: DUP3
0000181e: ADD
0000181f: MSTORE
00001820: PUSH1 0x84
00001822: ADD
00001823: PUSH2 0x0732
00001826: JUMP
00001827: JUMPDEST
00001828: CALLER
00001829: PUSH2 0x1836
0000182c: DUP2
0000182d: DUP8
0000182e: DUP8
0000182f: DUP8
00001830: DUP8
00001831: DUP8
00001832: PUSH2 0x225e
00001835: JUMP
00001836: JUMPDEST
00001837: PUSH1 0x00
00001839: JUMPDEST
0000183a: DUP5
0000183b: MLOAD
0000183c: DUP2
0000183d: LT
0000183e: ISZERO
0000183f: PUSH2 0x1962
00001842: JUMPI
00001843: PUSH1 0x00
00001845: DUP6
00001846: DUP3
00001847: DUP2
00001848: MLOAD
00001849: DUP2
0000184a: LT
0000184b: PUSH2 0x1856
0000184e: JUMPI
0000184f: PUSH2 0x1856
00001852: PUSH2 0x3320
00001855: JUMP
00001856: JUMPDEST
00001857: PUSH1 0x20
00001859: MUL
0000185a: PUSH1 0x20
0000185c: ADD
0000185d: ADD
0000185e: MLOAD
0000185f: SWAP1
00001860: POP
00001861: PUSH1 0x00
00001863: DUP6
00001864: DUP4
00001865: DUP2
00001866: MLOAD
00001867: DUP2
00001868: LT
00001869: PUSH2 0x1874
0000186c: JUMPI
0000186d: PUSH2 0x1874
00001870: PUSH2 0x3320
00001873: JUMP
00001874: JUMPDEST
00001875: PUSH1 0x20
00001877: SWAP1
00001878: DUP2
00001879: MUL
0000187a: SWAP2
0000187b: SWAP1
0000187c: SWAP2
0000187d: ADD
0000187e: DUP2
0000187f: ADD
00001880: MLOAD
00001881: PUSH1 0x00
00001883: DUP5
00001884: DUP2
00001885: MSTORE
00001886: PUSH1 0x01
00001888: DUP4
00001889: MSTORE
0000188a: PUSH1 0x40
0000188c: DUP1
0000188d: DUP3
0000188e: KECCAK256
0000188f: PUSH1 0x01
00001891: PUSH1 0x01
00001893: PUSH1 0xa0
00001895: SHL
00001896: SUB
00001897: DUP15
00001898: AND
00001899: DUP4
0000189a: MSTORE
0000189b: SWAP1
0000189c: SWAP4
0000189d: MSTORE
0000189e: SWAP2
0000189f: SWAP1
000018a0: SWAP2
000018a1: KECCAK256
000018a2: SLOAD
000018a3: SWAP1
000018a4: SWAP2
000018a5: POP
000018a6: DUP2
000018a7: DUP2
000018a8: LT
000018a9: ISZERO
000018aa: PUSH2 0x1908
000018ad: JUMPI
000018ae: PUSH1 0x40
000018b0: MLOAD
000018b1: PUSH3 0x461bcd
000018b5: PUSH1 0xe5
000018b7: SHL
000018b8: DUP2
000018b9: MSTORE
000018ba: PUSH1 0x20
000018bc: PUSH1 0x04
000018be: DUP3
000018bf: ADD
000018c0: MSTORE
000018c1: PUSH1 0x2a
000018c3: PUSH1 0x24
000018c5: DUP3
000018c6: ADD
000018c7: MSTORE
000018c8: PUSH32 0x455243313135353a20696e73756666696369656e742062616c616e636520666f
000018e9: PUSH1 0x44
000018eb: DUP3
000018ec: ADD
000018ed: MSTORE
000018ee: PUSH10 0x39103a3930b739b332b9
000018f9: PUSH1 0xb1
000018fb: SHL
000018fc: PUSH1 0x64
000018fe: DUP3
000018ff: ADD
00001900: MSTORE
00001901: PUSH1 0x84
00001903: ADD
00001904: PUSH2 0x0732
00001907: JUMP
00001908: JUMPDEST
00001909: PUSH1 0x00
0000190b: DUP4
0000190c: DUP2
0000190d: MSTORE
0000190e: PUSH1 0x01
00001910: PUSH1 0x20
00001912: SWAP1
00001913: DUP2
00001914: MSTORE
00001915: PUSH1 0x40
00001917: DUP1
00001918: DUP4
00001919: KECCAK256
0000191a: PUSH1 0x01
0000191c: PUSH1 0x01
0000191e: PUSH1 0xa0
00001920: SHL
00001921: SUB
00001922: DUP15
00001923: DUP2
00001924: AND
00001925: DUP6
00001926: MSTORE
00001927: SWAP3
00001928: MSTORE
00001929: DUP1
0000192a: DUP4
0000192b: KECCAK256
0000192c: DUP6
0000192d: DUP6
0000192e: SUB
0000192f: SWAP1
00001930: SSTORE
00001931: SWAP1
00001932: DUP12
00001933: AND
00001934: DUP3
00001935: MSTORE
00001936: DUP2
00001937: KECCAK256
00001938: DUP1
00001939: SLOAD
0000193a: DUP5
0000193b: SWAP3
0000193c: SWAP1
0000193d: PUSH2 0x1947
00001940: SWAP1
00001941: DUP5
00001942: SWAP1
00001943: PUSH2 0x3367
00001946: JUMP
00001947: JUMPDEST
00001948: SWAP3
00001949: POP
0000194a: POP
0000194b: DUP2
0000194c: SWAP1
0000194d: SSTORE
0000194e: POP
0000194f: POP
00001950: POP
00001951: POP
00001952: DUP1
00001953: PUSH2 0x195b
00001956: SWAP1
00001957: PUSH2 0x334c
0000195a: JUMP
0000195b: JUMPDEST
0000195c: SWAP1
0000195d: POP
0000195e: PUSH2 0x1839
00001961: JUMP
00001962: JUMPDEST
00001963: POP
00001964: DUP5
00001965: PUSH1 0x01
00001967: PUSH1 0x01
00001969: PUSH1 0xa0
0000196b: SHL
0000196c: SUB
0000196d: AND
0000196e: DUP7
0000196f: PUSH1 0x01
00001971: PUSH1 0x01
00001973: PUSH1 0xa0
00001975: SHL
00001976: SUB
00001977: AND
00001978: DUP3
00001979: PUSH1 0x01
0000197b: PUSH1 0x01
0000197d: PUSH1 0xa0
0000197f: SHL
00001980: SUB
00001981: AND
00001982: PUSH32 0x4a39dc06d4c0dbc64b70af90fd698a233a518aa5d07e595d983b8c0526c8f7fb
000019a3: DUP8
000019a4: DUP8
000019a5: PUSH1 0x40
000019a7: MLOAD
000019a8: PUSH2 0x19b2
000019ab: SWAP3
000019ac: SWAP2
000019ad: SWAP1
000019ae: PUSH2 0x3430
000019b1: JUMP
000019b2: JUMPDEST
000019b3: PUSH1 0x40
000019b5: MLOAD
000019b6: DUP1
000019b7: SWAP2
000019b8: SUB
000019b9: SWAP1
000019ba: LOG4
000019bb: PUSH2 0x1076
000019be: DUP2
000019bf: DUP8
000019c0: DUP8
000019c1: DUP8
000019c2: DUP8
000019c3: DUP8
000019c4: PUSH2 0x226c
000019c7: JUMP
000019c8: JUMPDEST
000019c9: PUSH1 0x00
000019cb: SLOAD
000019cc: PUSH1 0xff
000019ce: AND
000019cf: PUSH2 0x1a1a
000019d2: JUMPI
000019d3: PUSH1 0x40
000019d5: MLOAD
000019d6: PUSH3 0x461bcd
000019da: PUSH1 0xe5
000019dc: SHL
000019dd: DUP2
000019de: MSTORE
000019df: PUSH1 0x20
000019e1: PUSH1 0x04
000019e3: DUP3
000019e4: ADD
000019e5: MSTORE
000019e6: PUSH1 0x14
000019e8: PUSH1 0x24
000019ea: DUP3
000019eb: ADD
000019ec: MSTORE
000019ed: PUSH32 0x5061757361626c653a206e6f7420706175736564000000000000000000000000
00001a0e: PUSH1 0x44
00001a10: DUP3
00001a11: ADD
00001a12: MSTORE
00001a13: PUSH1 0x64
00001a15: ADD
00001a16: PUSH2 0x0732
00001a19: JUMP
00001a1a: JUMPDEST
00001a1b: PUSH1 0x00
00001a1d: DUP1
00001a1e: SLOAD
00001a1f: PUSH1 0xff
00001a21: NOT
00001a22: AND
00001a23: SWAP1
00001a24: SSTORE
00001a25: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa
00001a46: CALLER
00001a47: JUMPDEST
00001a48: PUSH1 0x40
00001a4a: MLOAD
00001a4b: PUSH1 0x01
00001a4d: PUSH1 0x01
00001a4f: PUSH1 0xa0
00001a51: SHL
00001a52: SUB
00001a53: SWAP1
00001a54: SWAP2
00001a55: AND
00001a56: DUP2
00001a57: MSTORE
00001a58: PUSH1 0x20
00001a5a: ADD
00001a5b: PUSH1 0x40
00001a5d: MLOAD
00001a5e: DUP1
00001a5f: SWAP2
00001a60: SUB
00001a61: SWAP1
00001a62: LOG1
00001a63: JUMP
00001a64: JUMPDEST
00001a65: PUSH1 0x00
00001a67: DUP3
00001a68: DUP2
00001a69: MSTORE
00001a6a: PUSH1 0x0f
00001a6c: PUSH1 0x20
00001a6e: MSTORE
00001a6f: PUSH1 0x40
00001a71: SWAP1
00001a72: KECCAK256
00001a73: SLOAD
00001a74: PUSH1 0xff
00001a76: AND
00001a77: ISZERO
00001a78: PUSH2 0x1ac3
00001a7b: JUMPI
00001a7c: PUSH1 0x40
00001a7e: MLOAD
00001a7f: PUSH3 0x461bcd
00001a83: PUSH1 0xe5
00001a85: SHL
00001a86: DUP2
00001a87: MSTORE
00001a88: PUSH1 0x20
00001a8a: PUSH1 0x04
00001a8c: DUP3
00001a8d: ADD
00001a8e: MSTORE
00001a8f: PUSH1 0x1a
00001a91: PUSH1 0x24
00001a93: DUP3
00001a94: ADD
00001a95: MSTORE
00001a96: PUSH32 0x52657573696e67206e6f6e636520697320666f7262696464656e000000000000
00001ab7: PUSH1 0x44
00001ab9: DUP3
00001aba: ADD
00001abb: MSTORE
00001abc: PUSH1 0x64
00001abe: ADD
00001abf: PUSH2 0x0732
00001ac2: JUMP
00001ac3: JUMPDEST
00001ac4: PUSH1 0x00
00001ac6: DUP3
00001ac7: DUP2
00001ac8: MSTORE
00001ac9: PUSH1 0x0f
00001acb: PUSH1 0x20
00001acd: MSTORE
00001ace: PUSH1 0x40
00001ad0: DUP2
00001ad1: KECCAK256
00001ad2: DUP1
00001ad3: SLOAD
00001ad4: PUSH1 0xff
00001ad6: NOT
00001ad7: AND
00001ad8: PUSH1 0x01
00001ada: OR
00001adb: SWAP1
00001adc: SSTORE
00001add: DUP4
00001ade: MLOAD
00001adf: DUP5
00001ae0: SWAP1
00001ae1: DUP3
00001ae2: SWAP1
00001ae3: PUSH2 0x1aee
00001ae6: JUMPI
00001ae7: PUSH2 0x1aee
00001aea: PUSH2 0x3320
00001aed: JUMP
00001aee: JUMPDEST
00001aef: PUSH1 0x20
00001af1: MUL
00001af2: PUSH1 0x20
00001af4: ADD
00001af5: ADD
00001af6: MLOAD
00001af7: SWAP1
00001af8: POP
00001af9: PUSH1 0x00
00001afb: DUP5
00001afc: PUSH1 0x01
00001afe: DUP2
00001aff: MLOAD
00001b00: DUP2
00001b01: LT
00001b02: PUSH2 0x1b0d
00001b05: JUMPI
00001b06: PUSH2 0x1b0d
00001b09: PUSH2 0x3320
00001b0c: JUMP
00001b0d: JUMPDEST
00001b0e: PUSH1 0x20
00001b10: MUL
00001b11: PUSH1 0x20
00001b13: ADD
00001b14: ADD
00001b15: MLOAD
00001b16: SWAP1
00001b17: POP
00001b18: PUSH1 0x00
00001b1a: DUP6
00001b1b: PUSH1 0x02
00001b1d: DUP2
00001b1e: MLOAD
00001b1f: DUP2
00001b20: LT
00001b21: PUSH2 0x1b2c
00001b24: JUMPI
00001b25: PUSH2 0x1b2c
00001b28: PUSH2 0x3320
00001b2b: JUMP
00001b2c: JUMPDEST
00001b2d: PUSH1 0x20
00001b2f: MUL
00001b30: PUSH1 0x20
00001b32: ADD
00001b33: ADD
00001b34: MLOAD
00001b35: SWAP1
00001b36: POP
00001b37: PUSH2 0x1b4b
00001b3a: PUSH1 0x00
00001b3c: DUP1
00001b3d: DUP2
00001b3e: MSTORE
00001b3f: PUSH1 0x04
00001b41: PUSH1 0x20
00001b43: MSTORE
00001b44: PUSH1 0x40
00001b46: SWAP1
00001b47: KECCAK256
00001b48: SLOAD
00001b49: SWAP1
00001b4a: JUMP
00001b4b: JUMPDEST
00001b4c: PUSH2 0x1b55
00001b4f: SWAP1
00001b50: DUP5
00001b51: PUSH2 0x3367
00001b54: JUMP
00001b55: JUMPDEST
00001b56: PUSH1 0x05
00001b58: SLOAD
00001b59: LT
00001b5a: ISZERO
00001b5b: PUSH2 0x1bb2
00001b5e: JUMPI
00001b5f: PUSH1 0x40
00001b61: MLOAD
00001b62: PUSH3 0x461bcd
00001b66: PUSH1 0xe5
00001b68: SHL
00001b69: DUP2
00001b6a: MSTORE
00001b6b: PUSH1 0x20
00001b6d: PUSH1 0x04
00001b6f: DUP3
00001b70: ADD
00001b71: MSTORE
00001b72: PUSH1 0x23
00001b74: PUSH1 0x24
00001b76: DUP3
00001b77: ADD
00001b78: MSTORE
00001b79: PUSH32 0x50757263686173653a20657863656564206469616d6f6e64206c616e64206c69
00001b9a: PUSH1 0x44
00001b9c: DUP3
00001b9d: ADD
00001b9e: MSTORE
00001b9f: PUSH3 0x1b5a5d
00001ba3: PUSH1 0xea
00001ba5: SHL
00001ba6: PUSH1 0x64
00001ba8: DUP3
00001ba9: ADD
00001baa: MSTORE
00001bab: PUSH1 0x84
00001bad: ADD
00001bae: PUSH2 0x0732
00001bb1: JUMP
00001bb2: JUMPDEST
00001bb3: PUSH1 0x01
00001bb5: PUSH1 0x00
00001bb7: MSTORE
00001bb8: PUSH1 0x04
00001bba: PUSH1 0x20
00001bbc: MSTORE
00001bbd: PUSH32 0xabd6e7cb50984ff9c2f3e18a2660c3353dadf4e3291deeb275dae2cd1e44fe05
00001bde: SLOAD
00001bdf: PUSH2 0x1be8
00001be2: SWAP1
00001be3: DUP4
00001be4: PUSH2 0x3367
00001be7: JUMP
00001be8: JUMPDEST
00001be9: PUSH1 0x06
00001beb: SLOAD
00001bec: LT
00001bed: ISZERO
00001bee: PUSH2 0x1c39
00001bf1: JUMPI
00001bf2: PUSH1 0x40
00001bf4: MLOAD
00001bf5: PUSH3 0x461bcd
00001bf9: PUSH1 0xe5
00001bfb: SHL
00001bfc: DUP2
00001bfd: MSTORE
00001bfe: PUSH1 0x20
00001c00: PUSH1 0x04
00001c02: DUP3
00001c03: ADD
00001c04: DUP2
00001c05: SWAP1
00001c06: MSTORE
00001c07: PUSH1 0x24
00001c09: DUP3
00001c0a: ADD
00001c0b: MSTORE
00001c0c: PUSH32 0x50757263686173653a2065786365656420676f6c64206c616e64206c696d6974
00001c2d: PUSH1 0x44
00001c2f: DUP3
00001c30: ADD
00001c31: MSTORE
00001c32: PUSH1 0x64
00001c34: ADD
00001c35: PUSH2 0x0732
00001c38: JUMP
00001c39: JUMPDEST
00001c3a: PUSH1 0x02
00001c3c: PUSH1 0x00
00001c3e: MSTORE
00001c3f: PUSH1 0x04
00001c41: PUSH1 0x20
00001c43: MSTORE
00001c44: PUSH32 0x91da3fd0782e51c6b3986e9e672fd566868e71f3dbc2d6c2cd6fbb3e361af2a7
00001c65: SLOAD
00001c66: PUSH2 0x1c6f
00001c69: SWAP1
00001c6a: DUP3
00001c6b: PUSH2 0x3367
00001c6e: JUMP
00001c6f: JUMPDEST
00001c70: PUSH1 0x07
00001c72: SLOAD
00001c73: LT
00001c74: ISZERO
00001c75: PUSH2 0x1ccb
00001c78: JUMPI
00001c79: PUSH1 0x40
00001c7b: MLOAD
00001c7c: PUSH3 0x461bcd
00001c80: PUSH1 0xe5
00001c82: SHL
00001c83: DUP2
00001c84: MSTORE
00001c85: PUSH1 0x20
00001c87: PUSH1 0x04
00001c89: DUP3
00001c8a: ADD
00001c8b: MSTORE
00001c8c: PUSH1 0x22
00001c8e: PUSH1 0x24
00001c90: DUP3
00001c91: ADD
00001c92: MSTORE
00001c93: PUSH32 0x50757263686173653a206578636565642073696c766572206c616e64206c696d
00001cb4: PUSH1 0x44
00001cb6: DUP3
00001cb7: ADD
00001cb8: MSTORE
00001cb9: PUSH2 0x1a5d
00001cbc: PUSH1 0xf2
00001cbe: SHL
00001cbf: PUSH1 0x64
00001cc1: DUP3
00001cc2: ADD
00001cc3: MSTORE
00001cc4: PUSH1 0x84
00001cc6: ADD
00001cc7: PUSH2 0x0732
00001cca: JUMP
00001ccb: JUMPDEST
00001ccc: PUSH2 0x1076
00001ccf: DUP7
00001cd0: DUP7
00001cd1: DUP7
00001cd2: CALLER
00001cd3: PUSH2 0x0f00
00001cd6: JUMP
00001cd7: JUMPDEST
00001cd8: PUSH1 0x01
00001cda: PUSH1 0x01
00001cdc: PUSH1 0xa0
00001cde: SHL
00001cdf: SUB
00001ce0: DUP5
00001ce1: AND
00001ce2: PUSH2 0x1d37
00001ce5: JUMPI
00001ce6: PUSH1 0x40
00001ce8: MLOAD
00001ce9: PUSH3 0x461bcd
00001ced: PUSH1 0xe5
00001cef: SHL
00001cf0: DUP2
00001cf1: MSTORE
00001cf2: PUSH1 0x20
00001cf4: PUSH1 0x04
00001cf6: DUP3
00001cf7: ADD
00001cf8: MSTORE
00001cf9: PUSH1 0x21
00001cfb: PUSH1 0x24
00001cfd: DUP3
00001cfe: ADD
00001cff: MSTORE
00001d00: PUSH32 0x455243313135353a206d696e7420746f20746865207a65726f20616464726573
00001d21: PUSH1 0x44
00001d23: DUP3
00001d24: ADD
00001d25: MSTORE
00001d26: PUSH1 0x73
00001d28: PUSH1 0xf8
00001d2a: SHL
00001d2b: PUSH1 0x64
00001d2d: DUP3
00001d2e: ADD
00001d2f: MSTORE
00001d30: PUSH1 0x84
00001d32: ADD
00001d33: PUSH2 0x0732
00001d36: JUMP
00001d37: JUMPDEST
00001d38: DUP2
00001d39: MLOAD
00001d3a: DUP4
00001d3b: MLOAD
00001d3c: EQ
00001d3d: PUSH2 0x1d99
00001d40: JUMPI
00001d41: PUSH1 0x40
00001d43: MLOAD
00001d44: PUSH3 0x461bcd
00001d48: PUSH1 0xe5
00001d4a: SHL
00001d4b: DUP2
00001d4c: MSTORE
00001d4d: PUSH1 0x20
00001d4f: PUSH1 0x04
00001d51: DUP3
00001d52: ADD
00001d53: MSTORE
00001d54: PUSH1 0x28
00001d56: PUSH1 0x24
00001d58: DUP3
00001d59: ADD
00001d5a: MSTORE
00001d5b: PUSH32 0x455243313135353a2069647320616e6420616d6f756e7473206c656e67746820
00001d7c: PUSH1 0x44
00001d7e: DUP3
00001d7f: ADD
00001d80: MSTORE
00001d81: PUSH8 0x0dad2e6dac2e8c6d
00001d8a: PUSH1 0xc3
00001d8c: SHL
00001d8d: PUSH1 0x64
00001d8f: DUP3
00001d90: ADD
00001d91: MSTORE
00001d92: PUSH1 0x84
00001d94: ADD
00001d95: PUSH2 0x0732
00001d98: JUMP
00001d99: JUMPDEST
00001d9a: CALLER
00001d9b: PUSH2 0x1da9
00001d9e: DUP2
00001d9f: PUSH1 0x00
00001da1: DUP8
00001da2: DUP8
00001da3: DUP8
00001da4: DUP8
00001da5: PUSH2 0x225e
00001da8: JUMP
00001da9: JUMPDEST
00001daa: PUSH1 0x00
00001dac: JUMPDEST
00001dad: DUP5
00001dae: MLOAD
00001daf: DUP2
00001db0: LT
00001db1: ISZERO
00001db2: PUSH2 0x1e45
00001db5: JUMPI
00001db6: DUP4
00001db7: DUP2
00001db8: DUP2
00001db9: MLOAD
00001dba: DUP2
00001dbb: LT
00001dbc: PUSH2 0x1dc7
00001dbf: JUMPI
00001dc0: PUSH2 0x1dc7
00001dc3: PUSH2 0x3320
00001dc6: JUMP
00001dc7: JUMPDEST
00001dc8: PUSH1 0x20
00001dca: MUL
00001dcb: PUSH1 0x20
00001dcd: ADD
00001dce: ADD
00001dcf: MLOAD
00001dd0: PUSH1 0x01
00001dd2: PUSH1 0x00
00001dd4: DUP8
00001dd5: DUP5
00001dd6: DUP2
00001dd7: MLOAD
00001dd8: DUP2
00001dd9: LT
00001dda: PUSH2 0x1de5
00001ddd: JUMPI
00001dde: PUSH2 0x1de5
00001de1: PUSH2 0x3320
00001de4: JUMP
00001de5: JUMPDEST
00001de6: PUSH1 0x20
00001de8: MUL
00001de9: PUSH1 0x20
00001deb: ADD
00001dec: ADD
00001ded: MLOAD
00001dee: DUP2
00001def: MSTORE
00001df0: PUSH1 0x20
00001df2: ADD
00001df3: SWAP1
00001df4: DUP2
00001df5: MSTORE
00001df6: PUSH1 0x20
00001df8: ADD
00001df9: PUSH1 0x00
00001dfb: KECCAK256
00001dfc: PUSH1 0x00
00001dfe: DUP9
00001dff: PUSH1 0x01
00001e01: PUSH1 0x01
00001e03: PUSH1 0xa0
00001e05: SHL
00001e06: SUB
00001e07: AND
00001e08: PUSH1 0x01
00001e0a: PUSH1 0x01
00001e0c: PUSH1 0xa0
00001e0e: SHL
00001e0f: SUB
00001e10: AND
00001e11: DUP2
00001e12: MSTORE
00001e13: PUSH1 0x20
00001e15: ADD
00001e16: SWAP1
00001e17: DUP2
00001e18: MSTORE
00001e19: PUSH1 0x20
00001e1b: ADD
00001e1c: PUSH1 0x00
00001e1e: KECCAK256
00001e1f: PUSH1 0x00
00001e21: DUP3
00001e22: DUP3
00001e23: SLOAD
00001e24: PUSH2 0x1e2d
00001e27: SWAP2
00001e28: SWAP1
00001e29: PUSH2 0x3367
00001e2c: JUMP
00001e2d: JUMPDEST
00001e2e: SWAP1
00001e2f: SWAP2
00001e30: SSTORE
00001e31: POP
00001e32: DUP2
00001e33: SWAP1
00001e34: POP
00001e35: PUSH2 0x1e3d
00001e38: DUP2
00001e39: PUSH2 0x334c
00001e3c: JUMP
00001e3d: JUMPDEST
00001e3e: SWAP2
00001e3f: POP
00001e40: POP
00001e41: PUSH2 0x1dac
00001e44: JUMP
00001e45: JUMPDEST
00001e46: POP
00001e47: DUP5
00001e48: PUSH1 0x01
00001e4a: PUSH1 0x01
00001e4c: PUSH1 0xa0
00001e4e: SHL
00001e4f: SUB
00001e50: AND
00001e51: PUSH1 0x00
00001e53: PUSH1 0x01
00001e55: PUSH1 0x01
00001e57: PUSH1 0xa0
00001e59: SHL
00001e5a: SUB
00001e5b: AND
00001e5c: DUP3
00001e5d: PUSH1 0x01
00001e5f: PUSH1 0x01
00001e61: PUSH1 0xa0
00001e63: SHL
00001e64: SUB
00001e65: AND
00001e66: PUSH32 0x4a39dc06d4c0dbc64b70af90fd698a233a518aa5d07e595d983b8c0526c8f7fb
00001e87: DUP8
00001e88: DUP8
00001e89: PUSH1 0x40
00001e8b: MLOAD
00001e8c: PUSH2 0x1e96
00001e8f: SWAP3
00001e90: SWAP2
00001e91: SWAP1
00001e92: PUSH2 0x3430
00001e95: JUMP
00001e96: JUMPDEST
00001e97: PUSH1 0x40
00001e99: MLOAD
00001e9a: DUP1
00001e9b: SWAP2
00001e9c: SUB
00001e9d: SWAP1
00001e9e: LOG4
00001e9f: PUSH2 0x0a4c
00001ea2: DUP2
00001ea3: PUSH1 0x00
00001ea5: DUP8
00001ea6: DUP8
00001ea7: DUP8
00001ea8: DUP8
00001ea9: PUSH2 0x226c
00001eac: JUMP
00001ead: JUMPDEST
00001eae: PUSH1 0x00
00001eb0: DUP1
00001eb1: SLOAD
00001eb2: PUSH1 0x01
00001eb4: PUSH1 0x01
00001eb6: PUSH1 0xa0
00001eb8: SHL
00001eb9: SUB
00001eba: DUP4
00001ebb: DUP2
00001ebc: AND
00001ebd: PUSH2 0x0100
00001ec0: DUP2
00001ec1: DUP2
00001ec2: MUL
00001ec3: PUSH21 0xffffffffffffffffffffffffffffffffffffffff00
00001ed9: NOT
00001eda: DUP6
00001edb: AND
00001edc: OR
00001edd: DUP6
00001ede: SSTORE
00001edf: PUSH1 0x40
00001ee1: MLOAD
00001ee2: SWAP4
00001ee3: DIV
00001ee4: SWAP2
00001ee5: SWAP1
00001ee6: SWAP2
00001ee7: AND
00001ee8: SWAP3
00001ee9: SWAP1
00001eea: SWAP2
00001eeb: DUP4
00001eec: SWAP2
00001eed: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001f0e: SWAP2
00001f0f: LOG3
00001f10: POP
00001f11: POP
00001f12: JUMP
00001f13: JUMPDEST
00001f14: PUSH1 0x00
00001f16: SLOAD
00001f17: PUSH1 0xff
00001f19: AND
00001f1a: ISZERO
00001f1b: PUSH2 0x1f59
00001f1e: JUMPI
00001f1f: PUSH1 0x40
00001f21: MLOAD
00001f22: PUSH3 0x461bcd
00001f26: PUSH1 0xe5
00001f28: SHL
00001f29: DUP2
00001f2a: MSTORE
00001f2b: PUSH1 0x20
00001f2d: PUSH1 0x04
00001f2f: DUP3
00001f30: ADD
00001f31: MSTORE
00001f32: PUSH1 0x10
00001f34: PUSH1 0x24
00001f36: DUP3
00001f37: ADD
00001f38: MSTORE
00001f39: PUSH16 0x14185d5cd8589b194e881c185d5cd959
00001f4a: PUSH1 0x82
00001f4c: SHL
00001f4d: PUSH1 0x44
00001f4f: DUP3
00001f50: ADD
00001f51: MSTORE
00001f52: PUSH1 0x64
00001f54: ADD
00001f55: PUSH2 0x0732
00001f58: JUMP
00001f59: JUMPDEST
00001f5a: PUSH1 0x00
00001f5c: DUP1
00001f5d: SLOAD
00001f5e: PUSH1 0xff
00001f60: NOT
00001f61: AND
00001f62: PUSH1 0x01
00001f64: OR
00001f65: SWAP1
00001f66: SSTORE
00001f67: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258
00001f88: PUSH2 0x1a47
00001f8b: CALLER
00001f8c: SWAP1
00001f8d: JUMP
00001f8e: JUMPDEST
00001f8f: PUSH1 0x00
00001f91: DUP1
00001f92: PUSH1 0x00
00001f94: PUSH2 0x1f9d
00001f97: DUP6
00001f98: DUP6
00001f99: PUSH2 0x242a
00001f9c: JUMP
00001f9d: JUMPDEST
00001f9e: SWAP2
00001f9f: POP
00001fa0: SWAP2
00001fa1: POP
00001fa2: PUSH2 0x0bcd
00001fa5: DUP2
00001fa6: PUSH2 0x249a
00001fa9: JUMP
00001faa: JUMPDEST
00001fab: DUP2
00001fac: PUSH1 0x01
00001fae: PUSH1 0x01
00001fb0: PUSH1 0xa0
00001fb2: SHL
00001fb3: SUB
00001fb4: AND
00001fb5: DUP4
00001fb6: PUSH1 0x01
00001fb8: PUSH1 0x01
00001fba: PUSH1 0xa0
00001fbc: SHL
00001fbd: SUB
00001fbe: AND
00001fbf: EQ
00001fc0: ISZERO
00001fc1: PUSH2 0x201e
00001fc4: JUMPI
00001fc5: PUSH1 0x40
00001fc7: MLOAD
00001fc8: PUSH3 0x461bcd
00001fcc: PUSH1 0xe5
00001fce: SHL
00001fcf: DUP2
00001fd0: MSTORE
00001fd1: PUSH1 0x20
00001fd3: PUSH1 0x04
00001fd5: DUP3
00001fd6: ADD
00001fd7: MSTORE
00001fd8: PUSH1 0x29
00001fda: PUSH1 0x24
00001fdc: DUP3
00001fdd: ADD
00001fde: MSTORE
00001fdf: PUSH32 0x455243313135353a2073657474696e6720617070726f76616c20737461747573
00002000: PUSH1 0x44
00002002: DUP3
00002003: ADD
00002004: MSTORE
00002005: PUSH9 0x103337b91039b2b633
0000200f: PUSH1 0xb9
00002011: SHL
00002012: PUSH1 0x64
00002014: DUP3
00002015: ADD
00002016: MSTORE
00002017: PUSH1 0x84
00002019: ADD
0000201a: PUSH2 0x0732
0000201d: JUMP
0000201e: JUMPDEST
0000201f: PUSH1 0x01
00002021: PUSH1 0x01
00002023: PUSH1 0xa0
00002025: SHL
00002026: SUB
00002027: DUP4
00002028: DUP2
00002029: AND
0000202a: PUSH1 0x00
0000202c: DUP2
0000202d: DUP2
0000202e: MSTORE
0000202f: PUSH1 0x02
00002031: PUSH1 0x20
00002033: SWAP1
00002034: DUP2
00002035: MSTORE
00002036: PUSH1 0x40
00002038: DUP1
00002039: DUP4
0000203a: KECCAK256
0000203b: SWAP5
0000203c: DUP8
0000203d: AND
0000203e: DUP1
0000203f: DUP5
00002040: MSTORE
00002041: SWAP5
00002042: DUP3
00002043: MSTORE
00002044: SWAP2
00002045: DUP3
00002046: SWAP1
00002047: KECCAK256
00002048: DUP1
00002049: SLOAD
0000204a: PUSH1 0xff
0000204c: NOT
0000204d: AND
0000204e: DUP7
0000204f: ISZERO
00002050: ISZERO
00002051: SWAP1
00002052: DUP2
00002053: OR
00002054: SWAP1
00002055: SWAP2
00002056: SSTORE
00002057: SWAP2
00002058: MLOAD
00002059: SWAP2
0000205a: DUP3
0000205b: MSTORE
0000205c: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31
0000207d: SWAP2
0000207e: ADD
0000207f: PUSH1 0x40
00002081: MLOAD
00002082: DUP1
00002083: SWAP2
00002084: SUB
00002085: SWAP1
00002086: LOG3
00002087: POP
00002088: POP
00002089: POP
0000208a: JUMP
0000208b: JUMPDEST
0000208c: PUSH1 0x01
0000208e: PUSH1 0x01
00002090: PUSH1 0xa0
00002092: SHL
00002093: SUB
00002094: DUP5
00002095: AND
00002096: PUSH2 0x20ef
00002099: JUMPI
0000209a: PUSH1 0x40
0000209c: MLOAD
0000209d: PUSH3 0x461bcd
000020a1: PUSH1 0xe5
000020a3: SHL
000020a4: DUP2
000020a5: MSTORE
000020a6: PUSH1 0x20
000020a8: PUSH1 0x04
000020aa: DUP3
000020ab: ADD
000020ac: MSTORE
000020ad: PUSH1 0x25
000020af: PUSH1 0x24
000020b1: DUP3
000020b2: ADD
000020b3: MSTORE
000020b4: PUSH32 0x455243313135353a207472616e7366657220746f20746865207a65726f206164
000020d5: PUSH1 0x44
000020d7: DUP3
000020d8: ADD
000020d9: MSTORE
000020da: PUSH5 0x6472657373
000020e0: PUSH1 0xd8
000020e2: SHL
000020e3: PUSH1 0x64
000020e5: DUP3
000020e6: ADD
000020e7: MSTORE
000020e8: PUSH1 0x84
000020ea: ADD
000020eb: PUSH2 0x0732
000020ee: JUMP
000020ef: JUMPDEST
000020f0: CALLER
000020f1: PUSH1 0x00
000020f3: PUSH2 0x20fb
000020f6: DUP6
000020f7: PUSH2 0x2655
000020fa: JUMP
000020fb: JUMPDEST
000020fc: SWAP1
000020fd: POP
000020fe: PUSH1 0x00
00002100: PUSH2 0x2108
00002103: DUP6
00002104: PUSH2 0x2655
00002107: JUMP
00002108: JUMPDEST
00002109: SWAP1
0000210a: POP
0000210b: PUSH2 0x2118
0000210e: DUP4
0000210f: DUP10
00002110: DUP10
00002111: DUP6
00002112: DUP6
00002113: DUP10
00002114: PUSH2 0x225e
00002117: JUMP
00002118: JUMPDEST
00002119: PUSH1 0x00
0000211b: DUP7
0000211c: DUP2
0000211d: MSTORE
0000211e: PUSH1 0x01
00002120: PUSH1 0x20
00002122: SWAP1
00002123: DUP2
00002124: MSTORE
00002125: PUSH1 0x40
00002127: DUP1
00002128: DUP4
00002129: KECCAK256
0000212a: PUSH1 0x01
0000212c: PUSH1 0x01
0000212e: PUSH1 0xa0
00002130: SHL
00002131: SUB
00002132: DUP13
00002133: AND
00002134: DUP5
00002135: MSTORE
00002136: SWAP1
00002137: SWAP2
00002138: MSTORE
00002139: SWAP1
0000213a: KECCAK256
0000213b: SLOAD
0000213c: DUP6
0000213d: DUP2
0000213e: LT
0000213f: ISZERO
00002140: PUSH2 0x219e
00002143: JUMPI
00002144: PUSH1 0x40
00002146: MLOAD
00002147: PUSH3 0x461bcd
0000214b: PUSH1 0xe5
0000214d: SHL
0000214e: DUP2
0000214f: MSTORE
00002150: PUSH1 0x20
00002152: PUSH1 0x04
00002154: DUP3
00002155: ADD
00002156: MSTORE
00002157: PUSH1 0x2a
00002159: PUSH1 0x24
0000215b: DUP3
0000215c: ADD
0000215d: MSTORE
0000215e: PUSH32 0x455243313135353a20696e73756666696369656e742062616c616e636520666f
0000217f: PUSH1 0x44
00002181: DUP3
00002182: ADD
00002183: MSTORE
00002184: PUSH10 0x39103a3930b739b332b9
0000218f: PUSH1 0xb1
00002191: SHL
00002192: PUSH1 0x64
00002194: DUP3
00002195: ADD
00002196: MSTORE
00002197: PUSH1 0x84
00002199: ADD
0000219a: PUSH2 0x0732
0000219d: JUMP
0000219e: JUMPDEST
0000219f: PUSH1 0x00
000021a1: DUP8
000021a2: DUP2
000021a3: MSTORE
000021a4: PUSH1 0x01
000021a6: PUSH1 0x20
000021a8: SWAP1
000021a9: DUP2
000021aa: MSTORE
000021ab: PUSH1 0x40
000021ad: DUP1
000021ae: DUP4
000021af: KECCAK256
000021b0: PUSH1 0x01
000021b2: PUSH1 0x01
000021b4: PUSH1 0xa0
000021b6: SHL
000021b7: SUB
000021b8: DUP14
000021b9: DUP2
000021ba: AND
000021bb: DUP6
000021bc: MSTORE
000021bd: SWAP3
000021be: MSTORE
000021bf: DUP1
000021c0: DUP4
000021c1: KECCAK256
000021c2: DUP10
000021c3: DUP6
000021c4: SUB
000021c5: SWAP1
000021c6: SSTORE
000021c7: SWAP1
000021c8: DUP11
000021c9: AND
000021ca: DUP3
000021cb: MSTORE
000021cc: DUP2
000021cd: KECCAK256
000021ce: DUP1
000021cf: SLOAD
000021d0: DUP9
000021d1: SWAP3
000021d2: SWAP1
000021d3: PUSH2 0x21dd
000021d6: SWAP1
000021d7: DUP5
000021d8: SWAP1
000021d9: PUSH2 0x3367
000021dc: JUMP
000021dd: JUMPDEST
000021de: SWAP1
000021df: SWAP2
000021e0: SSTORE
000021e1: POP
000021e2: POP
000021e3: PUSH1 0x40
000021e5: DUP1
000021e6: MLOAD
000021e7: DUP9
000021e8: DUP2
000021e9: MSTORE
000021ea: PUSH1 0x20
000021ec: DUP2
000021ed: ADD
000021ee: DUP9
000021ef: SWAP1
000021f0: MSTORE
000021f1: PUSH1 0x01
000021f3: PUSH1 0x01
000021f5: PUSH1 0xa0
000021f7: SHL
000021f8: SUB
000021f9: DUP1
000021fa: DUP12
000021fb: AND
000021fc: SWAP3
000021fd: DUP13
000021fe: DUP3
000021ff: AND
00002200: SWAP3
00002201: SWAP2
00002202: DUP9
00002203: AND
00002204: SWAP2
00002205: PUSH32 0xc3d58168c5ae7397731d063d5bbf3d657854427343f4c083240f7aacaa2d0f62
00002226: SWAP2
00002227: ADD
00002228: PUSH1 0x40
0000222a: MLOAD
0000222b: DUP1
0000222c: SWAP2
0000222d: SUB
0000222e: SWAP1
0000222f: LOG4
00002230: PUSH2 0x223d
00002233: DUP5
00002234: DUP11
00002235: DUP11
00002236: DUP11
00002237: DUP11
00002238: DUP11
00002239: PUSH2 0x26a0
0000223c: JUMP
0000223d: JUMPDEST
0000223e: POP
0000223f: POP
00002240: POP
00002241: POP
00002242: POP
00002243: POP
00002244: POP
00002245: POP
00002246: POP
00002247: JUMP
00002248: JUMPDEST
00002249: PUSH1 0x00
0000224b: DUP3
0000224c: PUSH2 0x2255
0000224f: DUP6
00002250: DUP5
00002251: PUSH2 0x27ab
00002254: JUMP
00002255: JUMPDEST
00002256: EQ
00002257: SWAP5
00002258: SWAP4
00002259: POP
0000225a: POP
0000225b: POP
0000225c: POP
0000225d: JUMP
0000225e: JUMPDEST
0000225f: PUSH2 0x1076
00002262: DUP7
00002263: DUP7
00002264: DUP7
00002265: DUP7
00002266: DUP7
00002267: DUP7
00002268: PUSH2 0x2817
0000226b: JUMP
0000226c: JUMPDEST
0000226d: PUSH1 0x01
0000226f: PUSH1 0x01
00002271: PUSH1 0xa0
00002273: SHL
00002274: SUB
00002275: DUP5
00002276: AND
00002277: EXTCODESIZE
00002278: ISZERO
00002279: PUSH2 0x1076
0000227c: JUMPI
0000227d: PUSH1 0x40
0000227f: MLOAD
00002280: PUSH4 0xbc197c81
00002285: PUSH1 0xe0
00002287: SHL
00002288: DUP2
00002289: MSTORE
0000228a: PUSH1 0x01
0000228c: PUSH1 0x01
0000228e: PUSH1 0xa0
00002290: SHL
00002291: SUB
00002292: DUP6
00002293: AND
00002294: SWAP1
00002295: PUSH4 0xbc197c81
0000229a: SWAP1
0000229b: PUSH2 0x22b0
0000229e: SWAP1
0000229f: DUP10
000022a0: SWAP1
000022a1: DUP10
000022a2: SWAP1
000022a3: DUP9
000022a4: SWAP1
000022a5: DUP9
000022a6: SWAP1
000022a7: DUP9
000022a8: SWAP1
000022a9: PUSH1 0x04
000022ab: ADD
000022ac: PUSH2 0x345e
000022af: JUMP
000022b0: JUMPDEST
000022b1: PUSH1 0x20
000022b3: PUSH1 0x40
000022b5: MLOAD
000022b6: DUP1
000022b7: DUP4
000022b8: SUB
000022b9: DUP2
000022ba: PUSH1 0x00
000022bc: DUP8
000022bd: DUP1
000022be: EXTCODESIZE
000022bf: ISZERO
000022c0: DUP1
000022c1: ISZERO
000022c2: PUSH2 0x22ca
000022c5: JUMPI
000022c6: PUSH1 0x00
000022c8: DUP1
000022c9: REVERT
000022ca: JUMPDEST
000022cb: POP
000022cc: GAS
000022cd: CALL
000022ce: SWAP3
000022cf: POP
000022d0: POP
000022d1: POP
000022d2: DUP1
000022d3: ISZERO
000022d4: PUSH2 0x22fa
000022d7: JUMPI
000022d8: POP
000022d9: PUSH1 0x40
000022db: DUP1
000022dc: MLOAD
000022dd: PUSH1 0x1f
000022df: RETURNDATASIZE
000022e0: SWAP1
000022e1: DUP2
000022e2: ADD
000022e3: PUSH1 0x1f
000022e5: NOT
000022e6: AND
000022e7: DUP3
000022e8: ADD
000022e9: SWAP1
000022ea: SWAP3
000022eb: MSTORE
000022ec: PUSH2 0x22f7
000022ef: SWAP2
000022f0: DUP2
000022f1: ADD
000022f2: SWAP1
000022f3: PUSH2 0x34bc
000022f6: JUMP
000022f7: JUMPDEST
000022f8: PUSH1 0x01
000022fa: JUMPDEST
000022fb: PUSH2 0x23b0
000022fe: JUMPI
000022ff: PUSH2 0x2306
00002302: PUSH2 0x34d9
00002305: JUMP
00002306: JUMPDEST
00002307: DUP1
00002308: PUSH4 0x08c379a0
0000230d: EQ
0000230e: ISZERO
0000230f: PUSH2 0x2340
00002312: JUMPI
00002313: POP
00002314: PUSH2 0x231b
00002317: PUSH2 0x34f5
0000231a: JUMP
0000231b: JUMPDEST
0000231c: DUP1
0000231d: PUSH2 0x2326
00002320: JUMPI
00002321: POP
00002322: PUSH2 0x2342
00002325: JUMP
00002326: JUMPDEST
00002327: DUP1
00002328: PUSH1 0x40
0000232a: MLOAD
0000232b: PUSH3 0x461bcd
0000232f: PUSH1 0xe5
00002331: SHL
00002332: DUP2
00002333: MSTORE
00002334: PUSH1 0x04
00002336: ADD
00002337: PUSH2 0x0732
0000233a: SWAP2
0000233b: SWAP1
0000233c: PUSH2 0x2d30
0000233f: JUMP
00002340: JUMPDEST
00002341: POP
00002342: JUMPDEST
00002343: PUSH1 0x40
00002345: MLOAD
00002346: PUSH3 0x461bcd
0000234a: PUSH1 0xe5
0000234c: SHL
0000234d: DUP2
0000234e: MSTORE
0000234f: PUSH1 0x20
00002351: PUSH1 0x04
00002353: DUP3
00002354: ADD
00002355: MSTORE
00002356: PUSH1 0x34
00002358: PUSH1 0x24
0000235a: DUP3
0000235b: ADD
0000235c: MSTORE
0000235d: PUSH32 0x455243313135353a207472616e7366657220746f206e6f6e2045524331313535
0000237e: PUSH1 0x44
00002380: DUP3
00002381: ADD
00002382: MSTORE
00002383: PUSH32 0x526563656976657220696d706c656d656e746572000000000000000000000000
000023a4: PUSH1 0x64
000023a6: DUP3
000023a7: ADD
000023a8: MSTORE
000023a9: PUSH1 0x84
000023ab: ADD
000023ac: PUSH2 0x0732
000023af: JUMP
000023b0: JUMPDEST
000023b1: PUSH1 0x01
000023b3: PUSH1 0x01
000023b5: PUSH1 0xe0
000023b7: SHL
000023b8: SUB
000023b9: NOT
000023ba: DUP2
000023bb: AND
000023bc: PUSH4 0xbc197c81
000023c1: PUSH1 0xe0
000023c3: SHL
000023c4: EQ
000023c5: PUSH2 0x2421
000023c8: JUMPI
000023c9: PUSH1 0x40
000023cb: MLOAD
000023cc: PUSH3 0x461bcd
000023d0: PUSH1 0xe5
000023d2: SHL
000023d3: DUP2
000023d4: MSTORE
000023d5: PUSH1 0x20
000023d7: PUSH1 0x04
000023d9: DUP3
000023da: ADD
000023db: MSTORE
000023dc: PUSH1 0x28
000023de: PUSH1 0x24
000023e0: DUP3
000023e1: ADD
000023e2: MSTORE
000023e3: PUSH32 0x455243313135353a204552433131353552656365697665722072656a65637465
00002404: PUSH1 0x44
00002406: DUP3
00002407: ADD
00002408: MSTORE
00002409: PUSH8 0x6420746f6b656e73
00002412: PUSH1 0xc0
00002414: SHL
00002415: PUSH1 0x64
00002417: DUP3
00002418: ADD
00002419: MSTORE
0000241a: PUSH1 0x84
0000241c: ADD
0000241d: PUSH2 0x0732
00002420: JUMP
00002421: JUMPDEST
00002422: POP
00002423: POP
00002424: POP
00002425: POP
00002426: POP
00002427: POP
00002428: POP
00002429: JUMP
0000242a: JUMPDEST
0000242b: PUSH1 0x00
0000242d: DUP1
0000242e: DUP3
0000242f: MLOAD
00002430: PUSH1 0x41
00002432: EQ
00002433: ISZERO
00002434: PUSH2 0x2461
00002437: JUMPI
00002438: PUSH1 0x20
0000243a: DUP4
0000243b: ADD
0000243c: MLOAD
0000243d: PUSH1 0x40
0000243f: DUP5
00002440: ADD
00002441: MLOAD
00002442: PUSH1 0x60
00002444: DUP6
00002445: ADD
00002446: MLOAD
00002447: PUSH1 0x00
00002449: BYTE
0000244a: PUSH2 0x2455
0000244d: DUP8
0000244e: DUP3
0000244f: DUP6
00002450: DUP6
00002451: PUSH2 0x2990
00002454: JUMP
00002455: JUMPDEST
00002456: SWAP5
00002457: POP
00002458: SWAP5
00002459: POP
0000245a: POP
0000245b: POP
0000245c: POP
0000245d: PUSH2 0x2493
00002460: JUMP
00002461: JUMPDEST
00002462: DUP3
00002463: MLOAD
00002464: PUSH1 0x40
00002466: EQ
00002467: ISZERO
00002468: PUSH2 0x248b
0000246b: JUMPI
0000246c: PUSH1 0x20
0000246e: DUP4
0000246f: ADD
00002470: MLOAD
00002471: PUSH1 0x40
00002473: DUP5
00002474: ADD
00002475: MLOAD
00002476: PUSH2 0x2480
00002479: DUP7
0000247a: DUP4
0000247b: DUP4
0000247c: PUSH2 0x2a7d
0000247f: JUMP
00002480: JUMPDEST
00002481: SWAP4
00002482: POP
00002483: SWAP4
00002484: POP
00002485: POP
00002486: POP
00002487: PUSH2 0x2493
0000248a: JUMP
0000248b: JUMPDEST
0000248c: POP
0000248d: PUSH1 0x00
0000248f: SWAP1
00002490: POP
00002491: PUSH1 0x02
00002493: JUMPDEST
00002494: SWAP3
00002495: POP
00002496: SWAP3
00002497: SWAP1
00002498: POP
00002499: JUMP
0000249a: JUMPDEST
0000249b: PUSH1 0x00
0000249d: DUP2
0000249e: PUSH1 0x04
000024a0: DUP2
000024a1: GT
000024a2: ISZERO
000024a3: PUSH2 0x24ae
000024a6: JUMPI
000024a7: PUSH2 0x24ae
000024aa: PUSH2 0x357f
000024ad: JUMP
000024ae: JUMPDEST
000024af: EQ
000024b0: ISZERO
000024b1: PUSH2 0x24b7
000024b4: JUMPI
000024b5: POP
000024b6: JUMP
000024b7: JUMPDEST
000024b8: PUSH1 0x01
000024ba: DUP2
000024bb: PUSH1 0x04
000024bd: DUP2
000024be: GT
000024bf: ISZERO
000024c0: PUSH2 0x24cb
000024c3: JUMPI
000024c4: PUSH2 0x24cb
000024c7: PUSH2 0x357f
000024ca: JUMP
000024cb: JUMPDEST
000024cc: EQ
000024cd: ISZERO
000024ce: PUSH2 0x2519
000024d1: JUMPI
000024d2: PUSH1 0x40
000024d4: MLOAD
000024d5: PUSH3 0x461bcd
000024d9: PUSH1 0xe5
000024db: SHL
000024dc: DUP2
000024dd: MSTORE
000024de: PUSH1 0x20
000024e0: PUSH1 0x04
000024e2: DUP3
000024e3: ADD
000024e4: MSTORE
000024e5: PUSH1 0x18
000024e7: PUSH1 0x24
000024e9: DUP3
000024ea: ADD
000024eb: MSTORE
000024ec: PUSH32 0x45434453413a20696e76616c6964207369676e61747572650000000000000000
0000250d: PUSH1 0x44
0000250f: DUP3
00002510: ADD
00002511: MSTORE
00002512: PUSH1 0x64
00002514: ADD
00002515: PUSH2 0x0732
00002518: JUMP
00002519: JUMPDEST
0000251a: PUSH1 0x02
0000251c: DUP2
0000251d: PUSH1 0x04
0000251f: DUP2
00002520: GT
00002521: ISZERO
00002522: PUSH2 0x252d
00002525: JUMPI
00002526: PUSH2 0x252d
00002529: PUSH2 0x357f
0000252c: JUMP
0000252d: JUMPDEST
0000252e: EQ
0000252f: ISZERO
00002530: PUSH2 0x257b
00002533: JUMPI
00002534: PUSH1 0x40
00002536: MLOAD
00002537: PUSH3 0x461bcd
0000253b: PUSH1 0xe5
0000253d: SHL
0000253e: DUP2
0000253f: MSTORE
00002540: PUSH1 0x20
00002542: PUSH1 0x04
00002544: DUP3
00002545: ADD
00002546: MSTORE
00002547: PUSH1 0x1f
00002549: PUSH1 0x24
0000254b: DUP3
0000254c: ADD
0000254d: MSTORE
0000254e: PUSH32 0x45434453413a20696e76616c6964207369676e6174757265206c656e67746800
0000256f: PUSH1 0x44
00002571: DUP3
00002572: ADD
00002573: MSTORE
00002574: PUSH1 0x64
00002576: ADD
00002577: PUSH2 0x0732
0000257a: JUMP
0000257b: JUMPDEST
0000257c: PUSH1 0x03
0000257e: DUP2
0000257f: PUSH1 0x04
00002581: DUP2
00002582: GT
00002583: ISZERO
00002584: PUSH2 0x258f
00002587: JUMPI
00002588: PUSH2 0x258f
0000258b: PUSH2 0x357f
0000258e: JUMP
0000258f: JUMPDEST
00002590: EQ
00002591: ISZERO
00002592: PUSH2 0x25e8
00002595: JUMPI
00002596: PUSH1 0x40
00002598: MLOAD
00002599: PUSH3 0x461bcd
0000259d: PUSH1 0xe5
0000259f: SHL
000025a0: DUP2
000025a1: MSTORE
000025a2: PUSH1 0x20
000025a4: PUSH1 0x04
000025a6: DUP3
000025a7: ADD
000025a8: MSTORE
000025a9: PUSH1 0x22
000025ab: PUSH1 0x24
000025ad: DUP3
000025ae: ADD
000025af: MSTORE
000025b0: PUSH32 0x45434453413a20696e76616c6964207369676e6174757265202773272076616c
000025d1: PUSH1 0x44
000025d3: DUP3
000025d4: ADD
000025d5: MSTORE
000025d6: PUSH2 0x7565
000025d9: PUSH1 0xf0
000025db: SHL
000025dc: PUSH1 0x64
000025de: DUP3
000025df: ADD
000025e0: MSTORE
000025e1: PUSH1 0x84
000025e3: ADD
000025e4: PUSH2 0x0732
000025e7: JUMP
000025e8: JUMPDEST
000025e9: PUSH1 0x04
000025eb: DUP2
000025ec: PUSH1 0x04
000025ee: DUP2
000025ef: GT
000025f0: ISZERO
000025f1: PUSH2 0x25fc
000025f4: JUMPI
000025f5: PUSH2 0x25fc
000025f8: PUSH2 0x357f
000025fb: JUMP
000025fc: JUMPDEST
000025fd: EQ
000025fe: ISZERO
000025ff: PUSH2 0x080c
00002602: JUMPI
00002603: PUSH1 0x40
00002605: MLOAD
00002606: PUSH3 0x461bcd
0000260a: PUSH1 0xe5
0000260c: SHL
0000260d: DUP2
0000260e: MSTORE
0000260f: PUSH1 0x20
00002611: PUSH1 0x04
00002613: DUP3
00002614: ADD
00002615: MSTORE
00002616: PUSH1 0x22
00002618: PUSH1 0x24
0000261a: DUP3
0000261b: ADD
0000261c: MSTORE
0000261d: PUSH32 0x45434453413a20696e76616c6964207369676e6174757265202776272076616c
0000263e: PUSH1 0x44
00002640: DUP3
00002641: ADD
00002642: MSTORE
00002643: PUSH2 0x7565
00002646: PUSH1 0xf0
00002648: SHL
00002649: PUSH1 0x64
0000264b: DUP3
0000264c: ADD
0000264d: MSTORE
0000264e: PUSH1 0x84
00002650: ADD
00002651: PUSH2 0x0732
00002654: JUMP
00002655: JUMPDEST
00002656: PUSH1 0x40
00002658: DUP1
00002659: MLOAD
0000265a: PUSH1 0x01
0000265c: DUP1
0000265d: DUP3
0000265e: MSTORE
0000265f: DUP2
00002660: DUP4
00002661: ADD
00002662: SWAP1
00002663: SWAP3
00002664: MSTORE
00002665: PUSH1 0x60
00002667: SWAP2
00002668: PUSH1 0x00
0000266a: SWAP2
0000266b: SWAP1
0000266c: PUSH1 0x20
0000266e: DUP1
0000266f: DUP4
00002670: ADD
00002671: SWAP1
00002672: DUP1
00002673: CALLDATASIZE
00002674: DUP4
00002675: CALLDATACOPY
00002676: ADD
00002677: SWAP1
00002678: POP
00002679: POP
0000267a: SWAP1
0000267b: POP
0000267c: DUP3
0000267d: DUP2
0000267e: PUSH1 0x00
00002680: DUP2
00002681: MLOAD
00002682: DUP2
00002683: LT
00002684: PUSH2 0x268f
00002687: JUMPI
00002688: PUSH2 0x268f
0000268b: PUSH2 0x3320
0000268e: JUMP
0000268f: JUMPDEST
00002690: PUSH1 0x20
00002692: SWAP1
00002693: DUP2
00002694: MUL
00002695: SWAP2
00002696: SWAP1
00002697: SWAP2
00002698: ADD
00002699: ADD
0000269a: MSTORE
0000269b: SWAP3
0000269c: SWAP2
0000269d: POP
0000269e: POP
0000269f: JUMP
000026a0: JUMPDEST
000026a1: PUSH1 0x01
000026a3: PUSH1 0x01
000026a5: PUSH1 0xa0
000026a7: SHL
000026a8: SUB
000026a9: DUP5
000026aa: AND
000026ab: EXTCODESIZE
000026ac: ISZERO
000026ad: PUSH2 0x1076
000026b0: JUMPI
000026b1: PUSH1 0x40
000026b3: MLOAD
000026b4: PUSH4 0xf23a6e61
000026b9: PUSH1 0xe0
000026bb: SHL
000026bc: DUP2
000026bd: MSTORE
000026be: PUSH1 0x01
000026c0: PUSH1 0x01
000026c2: PUSH1 0xa0
000026c4: SHL
000026c5: SUB
000026c6: DUP6
000026c7: AND
000026c8: SWAP1
000026c9: PUSH4 0xf23a6e61
000026ce: SWAP1
000026cf: PUSH2 0x26e4
000026d2: SWAP1
000026d3: DUP10
000026d4: SWAP1
000026d5: DUP10
000026d6: SWAP1
000026d7: DUP9
000026d8: SWAP1
000026d9: DUP9
000026da: SWAP1
000026db: DUP9
000026dc: SWAP1
000026dd: PUSH1 0x04
000026df: ADD
000026e0: PUSH2 0x3595
000026e3: JUMP
000026e4: JUMPDEST
000026e5: PUSH1 0x20
000026e7: PUSH1 0x40
000026e9: MLOAD
000026ea: DUP1
000026eb: DUP4
000026ec: SUB
000026ed: DUP2
000026ee: PUSH1 0x00
000026f0: DUP8
000026f1: DUP1
000026f2: EXTCODESIZE
000026f3: ISZERO
000026f4: DUP1
000026f5: ISZERO
000026f6: PUSH2 0x26fe
000026f9: JUMPI
000026fa: PUSH1 0x00
000026fc: DUP1
000026fd: REVERT
000026fe: JUMPDEST
000026ff: POP
00002700: GAS
00002701: CALL
00002702: SWAP3
00002703: POP
00002704: POP
00002705: POP
00002706: DUP1
00002707: ISZERO
00002708: PUSH2 0x272e
0000270b: JUMPI
0000270c: POP
0000270d: PUSH1 0x40
0000270f: DUP1
00002710: MLOAD
00002711: PUSH1 0x1f
00002713: RETURNDATASIZE
00002714: SWAP1
00002715: DUP2
00002716: ADD
00002717: PUSH1 0x1f
00002719: NOT
0000271a: AND
0000271b: DUP3
0000271c: ADD
0000271d: SWAP1
0000271e: SWAP3
0000271f: MSTORE
00002720: PUSH2 0x272b
00002723: SWAP2
00002724: DUP2
00002725: ADD
00002726: SWAP1
00002727: PUSH2 0x34bc
0000272a: JUMP
0000272b: JUMPDEST
0000272c: PUSH1 0x01
0000272e: JUMPDEST
0000272f: PUSH2 0x273a
00002732: JUMPI
00002733: PUSH2 0x2306
00002736: PUSH2 0x34d9
00002739: JUMP
0000273a: JUMPDEST
0000273b: PUSH1 0x01
0000273d: PUSH1 0x01
0000273f: PUSH1 0xe0
00002741: SHL
00002742: SUB
00002743: NOT
00002744: DUP2
00002745: AND
00002746: PUSH4 0xf23a6e61
0000274b: PUSH1 0xe0
0000274d: SHL
0000274e: EQ
0000274f: PUSH2 0x2421
00002752: JUMPI
00002753: PUSH1 0x40
00002755: MLOAD
00002756: PUSH3 0x461bcd
0000275a: PUSH1 0xe5
0000275c: SHL
0000275d: DUP2
0000275e: MSTORE
0000275f: PUSH1 0x20
00002761: PUSH1 0x04
00002763: DUP3
00002764: ADD
00002765: MSTORE
00002766: PUSH1 0x28
00002768: PUSH1 0x24
0000276a: DUP3
0000276b: ADD
0000276c: MSTORE
0000276d: PUSH32 0x455243313135353a204552433131353552656365697665722072656a65637465
0000278e: PUSH1 0x44
00002790: DUP3
00002791: ADD
00002792: MSTORE
00002793: PUSH8 0x6420746f6b656e73
0000279c: PUSH1 0xc0
0000279e: SHL
0000279f: PUSH1 0x64
000027a1: DUP3
000027a2: ADD
000027a3: MSTORE
000027a4: PUSH1 0x84
000027a6: ADD
000027a7: PUSH2 0x0732
000027aa: JUMP
000027ab: JUMPDEST
000027ac: PUSH1 0x00
000027ae: DUP2
000027af: DUP2
000027b0: JUMPDEST
000027b1: DUP5
000027b2: MLOAD
000027b3: DUP2
000027b4: LT
000027b5: ISZERO
000027b6: PUSH2 0x0bcd
000027b9: JUMPI
000027ba: PUSH1 0x00
000027bc: DUP6
000027bd: DUP3
000027be: DUP2
000027bf: MLOAD
000027c0: DUP2
000027c1: LT
000027c2: PUSH2 0x27cd
000027c5: JUMPI
000027c6: PUSH2 0x27cd
000027c9: PUSH2 0x3320
000027cc: JUMP
000027cd: JUMPDEST
000027ce: PUSH1 0x20
000027d0: MUL
000027d1: PUSH1 0x20
000027d3: ADD
000027d4: ADD
000027d5: MLOAD
000027d6: SWAP1
000027d7: POP
000027d8: DUP1
000027d9: DUP4
000027da: GT
000027db: PUSH2 0x27f3
000027de: JUMPI
000027df: PUSH1 0x00
000027e1: DUP4
000027e2: DUP2
000027e3: MSTORE
000027e4: PUSH1 0x20
000027e6: DUP3
000027e7: SWAP1
000027e8: MSTORE
000027e9: PUSH1 0x40
000027eb: SWAP1
000027ec: KECCAK256
000027ed: SWAP3
000027ee: POP
000027ef: PUSH2 0x2804
000027f2: JUMP
000027f3: JUMPDEST
000027f4: PUSH1 0x00
000027f6: DUP2
000027f7: DUP2
000027f8: MSTORE
000027f9: PUSH1 0x20
000027fb: DUP5
000027fc: SWAP1
000027fd: MSTORE
000027fe: PUSH1 0x40
00002800: SWAP1
00002801: KECCAK256
00002802: SWAP3
00002803: POP
00002804: JUMPDEST
00002805: POP
00002806: DUP1
00002807: PUSH2 0x280f
0000280a: DUP2
0000280b: PUSH2 0x334c
0000280e: JUMP
0000280f: JUMPDEST
00002810: SWAP2
00002811: POP
00002812: POP
00002813: PUSH2 0x27b0
00002816: JUMP
00002817: JUMPDEST
00002818: PUSH1 0x01
0000281a: PUSH1 0x01
0000281c: PUSH1 0xa0
0000281e: SHL
0000281f: SUB
00002820: DUP6
00002821: AND
00002822: PUSH2 0x289e
00002825: JUMPI
00002826: PUSH1 0x00
00002828: JUMPDEST
00002829: DUP4
0000282a: MLOAD
0000282b: DUP2
0000282c: LT
0000282d: ISZERO
0000282e: PUSH2 0x289c
00002831: JUMPI
00002832: DUP3
00002833: DUP2
00002834: DUP2
00002835: MLOAD
00002836: DUP2
00002837: LT
00002838: PUSH2 0x2843
0000283b: JUMPI
0000283c: PUSH2 0x2843
0000283f: PUSH2 0x3320
00002842: JUMP
00002843: JUMPDEST
00002844: PUSH1 0x20
00002846: MUL
00002847: PUSH1 0x20
00002849: ADD
0000284a: ADD
0000284b: MLOAD
0000284c: PUSH1 0x04
0000284e: PUSH1 0x00
00002850: DUP7
00002851: DUP5
00002852: DUP2
00002853: MLOAD
00002854: DUP2
00002855: LT
00002856: PUSH2 0x2861
00002859: JUMPI
0000285a: PUSH2 0x2861
0000285d: PUSH2 0x3320
00002860: JUMP
00002861: JUMPDEST
00002862: PUSH1 0x20
00002864: MUL
00002865: PUSH1 0x20
00002867: ADD
00002868: ADD
00002869: MLOAD
0000286a: DUP2
0000286b: MSTORE
0000286c: PUSH1 0x20
0000286e: ADD
0000286f: SWAP1
00002870: DUP2
00002871: MSTORE
00002872: PUSH1 0x20
00002874: ADD
00002875: PUSH1 0x00
00002877: KECCAK256
00002878: PUSH1 0x00
0000287a: DUP3
0000287b: DUP3
0000287c: SLOAD
0000287d: PUSH2 0x2886
00002880: SWAP2
00002881: SWAP1
00002882: PUSH2 0x3367
00002885: JUMP
00002886: JUMPDEST
00002887: SWAP1
00002888: SWAP2
00002889: SSTORE
0000288a: POP
0000288b: PUSH2 0x2895
0000288e: SWAP1
0000288f: POP
00002890: DUP2
00002891: PUSH2 0x334c
00002894: JUMP
00002895: JUMPDEST
00002896: SWAP1
00002897: POP
00002898: PUSH2 0x2828
0000289b: JUMP
0000289c: JUMPDEST
0000289d: POP
0000289e: JUMPDEST
0000289f: PUSH1 0x01
000028a1: PUSH1 0x01
000028a3: PUSH1 0xa0
000028a5: SHL
000028a6: SUB
000028a7: DUP5
000028a8: AND
000028a9: PUSH2 0x1076
000028ac: JUMPI
000028ad: PUSH1 0x00
000028af: JUMPDEST
000028b0: DUP4
000028b1: MLOAD
000028b2: DUP2
000028b3: LT
000028b4: ISZERO
000028b5: PUSH2 0x2421
000028b8: JUMPI
000028b9: PUSH1 0x00
000028bb: DUP5
000028bc: DUP3
000028bd: DUP2
000028be: MLOAD
000028bf: DUP2
000028c0: LT
000028c1: PUSH2 0x28cc
000028c4: JUMPI
000028c5: PUSH2 0x28cc
000028c8: PUSH2 0x3320
000028cb: JUMP
000028cc: JUMPDEST
000028cd: PUSH1 0x20
000028cf: MUL
000028d0: PUSH1 0x20
000028d2: ADD
000028d3: ADD
000028d4: MLOAD
000028d5: SWAP1
000028d6: POP
000028d7: PUSH1 0x00
000028d9: DUP5
000028da: DUP4
000028db: DUP2
000028dc: MLOAD
000028dd: DUP2
000028de: LT
000028df: PUSH2 0x28ea
000028e2: JUMPI
000028e3: PUSH2 0x28ea
000028e6: PUSH2 0x3320
000028e9: JUMP
000028ea: JUMPDEST
000028eb: PUSH1 0x20
000028ed: MUL
000028ee: PUSH1 0x20
000028f0: ADD
000028f1: ADD
000028f2: MLOAD
000028f3: SWAP1
000028f4: POP
000028f5: PUSH1 0x00
000028f7: PUSH1 0x04
000028f9: PUSH1 0x00
000028fb: DUP5
000028fc: DUP2
000028fd: MSTORE
000028fe: PUSH1 0x20
00002900: ADD
00002901: SWAP1
00002902: DUP2
00002903: MSTORE
00002904: PUSH1 0x20
00002906: ADD
00002907: PUSH1 0x00
00002909: KECCAK256
0000290a: SLOAD
0000290b: SWAP1
0000290c: POP
0000290d: DUP2
0000290e: DUP2
0000290f: LT
00002910: ISZERO
00002911: PUSH2 0x296d
00002914: JUMPI
00002915: PUSH1 0x40
00002917: MLOAD
00002918: PUSH3 0x461bcd
0000291c: PUSH1 0xe5
0000291e: SHL
0000291f: DUP2
00002920: MSTORE
00002921: PUSH1 0x20
00002923: PUSH1 0x04
00002925: DUP3
00002926: ADD
00002927: MSTORE
00002928: PUSH1 0x28
0000292a: PUSH1 0x24
0000292c: DUP3
0000292d: ADD
0000292e: MSTORE
0000292f: PUSH32 0x455243313135353a206275726e20616d6f756e74206578636565647320746f74
00002950: PUSH1 0x44
00002952: DUP3
00002953: ADD
00002954: MSTORE
00002955: PUSH8 0x616c537570706c79
0000295e: PUSH1 0xc0
00002960: SHL
00002961: PUSH1 0x64
00002963: DUP3
00002964: ADD
00002965: MSTORE
00002966: PUSH1 0x84
00002968: ADD
00002969: PUSH2 0x0732
0000296c: JUMP
0000296d: JUMPDEST
0000296e: PUSH1 0x00
00002970: SWAP3
00002971: DUP4
00002972: MSTORE
00002973: PUSH1 0x04
00002975: PUSH1 0x20
00002977: MSTORE
00002978: PUSH1 0x40
0000297a: SWAP1
0000297b: SWAP3
0000297c: KECCAK256
0000297d: SWAP2
0000297e: SUB
0000297f: SWAP1
00002980: SSTORE
00002981: PUSH2 0x2989
00002984: DUP2
00002985: PUSH2 0x334c
00002988: JUMP
00002989: JUMPDEST
0000298a: SWAP1
0000298b: POP
0000298c: PUSH2 0x28af
0000298f: JUMP
00002990: JUMPDEST
00002991: PUSH1 0x00
00002993: DUP1
00002994: PUSH32 0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a0
000029b5: DUP4
000029b6: GT
000029b7: ISZERO
000029b8: PUSH2 0x29c7
000029bb: JUMPI
000029bc: POP
000029bd: PUSH1 0x00
000029bf: SWAP1
000029c0: POP
000029c1: PUSH1 0x03
000029c3: PUSH2 0x2a74
000029c6: JUMP
000029c7: JUMPDEST
000029c8: DUP5
000029c9: PUSH1 0xff
000029cb: AND
000029cc: PUSH1 0x1b
000029ce: EQ
000029cf: ISZERO
000029d0: DUP1
000029d1: ISZERO
000029d2: PUSH2 0x29df
000029d5: JUMPI
000029d6: POP
000029d7: DUP5
000029d8: PUSH1 0xff
000029da: AND
000029db: PUSH1 0x1c
000029dd: EQ
000029de: ISZERO
000029df: JUMPDEST
000029e0: ISZERO
000029e1: PUSH2 0x29f0
000029e4: JUMPI
000029e5: POP
000029e6: PUSH1 0x00
000029e8: SWAP1
000029e9: POP
000029ea: PUSH1 0x04
000029ec: PUSH2 0x2a74
000029ef: JUMP
000029f0: JUMPDEST
000029f1: PUSH1 0x40
000029f3: DUP1
000029f4: MLOAD
000029f5: PUSH1 0x00
000029f7: DUP1
000029f8: DUP3
000029f9: MSTORE
000029fa: PUSH1 0x20
000029fc: DUP3
000029fd: ADD
000029fe: DUP1
000029ff: DUP5
00002a00: MSTORE
00002a01: DUP10
00002a02: SWAP1
00002a03: MSTORE
00002a04: PUSH1 0xff
00002a06: DUP9
00002a07: AND
00002a08: SWAP3
00002a09: DUP3
00002a0a: ADD
00002a0b: SWAP3
00002a0c: SWAP1
00002a0d: SWAP3
00002a0e: MSTORE
00002a0f: PUSH1 0x60
00002a11: DUP2
00002a12: ADD
00002a13: DUP7
00002a14: SWAP1
00002a15: MSTORE
00002a16: PUSH1 0x80
00002a18: DUP2
00002a19: ADD
00002a1a: DUP6
00002a1b: SWAP1
00002a1c: MSTORE
00002a1d: PUSH1 0x01
00002a1f: SWAP1
00002a20: PUSH1 0xa0
00002a22: ADD
00002a23: PUSH1 0x20
00002a25: PUSH1 0x40
00002a27: MLOAD
00002a28: PUSH1 0x20
00002a2a: DUP2
00002a2b: SUB
00002a2c: SWAP1
00002a2d: DUP1
00002a2e: DUP5
00002a2f: SUB
00002a30: SWAP1
00002a31: DUP6
00002a32: GAS
00002a33: STATICCALL
00002a34: ISZERO
00002a35: DUP1
00002a36: ISZERO
00002a37: PUSH2 0x2a44
00002a3a: JUMPI
00002a3b: RETURNDATASIZE
00002a3c: PUSH1 0x00
00002a3e: DUP1
00002a3f: RETURNDATACOPY
00002a40: RETURNDATASIZE
00002a41: PUSH1 0x00
00002a43: REVERT
00002a44: JUMPDEST
00002a45: POP
00002a46: POP
00002a47: PUSH1 0x40
00002a49: MLOAD
00002a4a: PUSH1 0x1f
00002a4c: NOT
00002a4d: ADD
00002a4e: MLOAD
00002a4f: SWAP2
00002a50: POP
00002a51: POP
00002a52: PUSH1 0x01
00002a54: PUSH1 0x01
00002a56: PUSH1 0xa0
00002a58: SHL
00002a59: SUB
00002a5a: DUP2
00002a5b: AND
00002a5c: PUSH2 0x2a6d
00002a5f: JUMPI
00002a60: PUSH1 0x00
00002a62: PUSH1 0x01
00002a64: SWAP3
00002a65: POP
00002a66: SWAP3
00002a67: POP
00002a68: POP
00002a69: PUSH2 0x2a74
00002a6c: JUMP
00002a6d: JUMPDEST
00002a6e: SWAP2
00002a6f: POP
00002a70: PUSH1 0x00
00002a72: SWAP1
00002a73: POP
00002a74: JUMPDEST
00002a75: SWAP5
00002a76: POP
00002a77: SWAP5
00002a78: SWAP3
00002a79: POP
00002a7a: POP
00002a7b: POP
00002a7c: JUMP
00002a7d: JUMPDEST
00002a7e: PUSH1 0x00
00002a80: DUP1
00002a81: PUSH1 0x01
00002a83: PUSH1 0x01
00002a85: PUSH1 0xff
00002a87: SHL
00002a88: SUB
00002a89: DUP4
00002a8a: AND
00002a8b: DUP2
00002a8c: PUSH2 0x2a9a
00002a8f: PUSH1 0xff
00002a91: DUP7
00002a92: SWAP1
00002a93: SHR
00002a94: PUSH1 0x1b
00002a96: PUSH2 0x3367
00002a99: JUMP
00002a9a: JUMPDEST
00002a9b: SWAP1
00002a9c: POP
00002a9d: PUSH2 0x2aa8
00002aa0: DUP8
00002aa1: DUP3
00002aa2: DUP9
00002aa3: DUP6
00002aa4: PUSH2 0x2990
00002aa7: JUMP
00002aa8: JUMPDEST
00002aa9: SWAP4
00002aaa: POP
00002aab: SWAP4
00002aac: POP
00002aad: POP
00002aae: POP
00002aaf: SWAP4
00002ab0: POP
00002ab1: SWAP4
00002ab2: SWAP2
00002ab3: POP
00002ab4: POP
00002ab5: JUMP
00002ab6: JUMPDEST
00002ab7: DUP3
00002ab8: DUP1
00002ab9: SLOAD
00002aba: PUSH2 0x2ac2
00002abd: SWAP1
00002abe: PUSH2 0x32a6
00002ac1: JUMP
00002ac2: JUMPDEST
00002ac3: SWAP1
00002ac4: PUSH1 0x00
00002ac6: MSTORE
00002ac7: PUSH1 0x20
00002ac9: PUSH1 0x00
00002acb: KECCAK256
00002acc: SWAP1
00002acd: PUSH1 0x1f
00002acf: ADD
00002ad0: PUSH1 0x20
00002ad2: SWAP1
00002ad3: DIV
00002ad4: DUP2
00002ad5: ADD
00002ad6: SWAP3
00002ad7: DUP3
00002ad8: PUSH2 0x2ae4
00002adb: JUMPI
00002adc: PUSH1 0x00
00002ade: DUP6
00002adf: SSTORE
00002ae0: PUSH2 0x2b2a
00002ae3: JUMP
00002ae4: JUMPDEST
00002ae5: DUP3
00002ae6: PUSH1 0x1f
00002ae8: LT
00002ae9: PUSH2 0x2afd
00002aec: JUMPI
00002aed: DUP1
00002aee: MLOAD
00002aef: PUSH1 0xff
00002af1: NOT
00002af2: AND
00002af3: DUP4
00002af4: DUP1
00002af5: ADD
00002af6: OR
00002af7: DUP6
00002af8: SSTORE
00002af9: PUSH2 0x2b2a
00002afc: JUMP
00002afd: JUMPDEST
00002afe: DUP3
00002aff: DUP1
00002b00: ADD
00002b01: PUSH1 0x01
00002b03: ADD
00002b04: DUP6
00002b05: SSTORE
00002b06: DUP3
00002b07: ISZERO
00002b08: PUSH2 0x2b2a
00002b0b: JUMPI
00002b0c: SWAP2
00002b0d: DUP3
00002b0e: ADD
00002b0f: JUMPDEST
00002b10: DUP3
00002b11: DUP2
00002b12: GT
00002b13: ISZERO
00002b14: PUSH2 0x2b2a
00002b17: JUMPI
00002b18: DUP3
00002b19: MLOAD
00002b1a: DUP3
00002b1b: SSTORE
00002b1c: SWAP2
00002b1d: PUSH1 0x20
00002b1f: ADD
00002b20: SWAP2
00002b21: SWAP1
00002b22: PUSH1 0x01
00002b24: ADD
00002b25: SWAP1
00002b26: PUSH2 0x2b0f
00002b29: JUMP
00002b2a: JUMPDEST
00002b2b: POP
00002b2c: PUSH2 0x2b36
00002b2f: SWAP3
00002b30: SWAP2
00002b31: POP
00002b32: PUSH2 0x2b3a
00002b35: JUMP
00002b36: JUMPDEST
00002b37: POP
00002b38: SWAP1
00002b39: JUMP
00002b3a: JUMPDEST
00002b3b: JUMPDEST
00002b3c: DUP1
00002b3d: DUP3
00002b3e: GT
00002b3f: ISZERO
00002b40: PUSH2 0x2b36
00002b43: JUMPI
00002b44: PUSH1 0x00
00002b46: DUP2
00002b47: SSTORE
00002b48: PUSH1 0x01
00002b4a: ADD
00002b4b: PUSH2 0x2b3b
00002b4e: JUMP
00002b4f: JUMPDEST
00002b50: DUP1
00002b51: CALLDATALOAD
00002b52: PUSH1 0x01
00002b54: PUSH1 0x01
00002b56: PUSH1 0xa0
00002b58: SHL
00002b59: SUB
00002b5a: DUP2
00002b5b: AND
00002b5c: DUP2
00002b5d: EQ
00002b5e: PUSH2 0x2b66
00002b61: JUMPI
00002b62: PUSH1 0x00
00002b64: DUP1
00002b65: REVERT
00002b66: JUMPDEST
00002b67: SWAP2
00002b68: SWAP1
00002b69: POP
00002b6a: JUMP
00002b6b: JUMPDEST
00002b6c: PUSH1 0x00
00002b6e: DUP1
00002b6f: PUSH1 0x40
00002b71: DUP4
00002b72: DUP6
00002b73: SUB
00002b74: SLT
00002b75: ISZERO
00002b76: PUSH2 0x2b7e
00002b79: JUMPI
00002b7a: PUSH1 0x00
00002b7c: DUP1
00002b7d: REVERT
00002b7e: JUMPDEST
00002b7f: PUSH2 0x2b87
00002b82: DUP4
00002b83: PUSH2 0x2b4f
00002b86: JUMP
00002b87: JUMPDEST
00002b88: SWAP5
00002b89: PUSH1 0x20
00002b8b: SWAP4
00002b8c: SWAP1
00002b8d: SWAP4
00002b8e: ADD
00002b8f: CALLDATALOAD
00002b90: SWAP4
00002b91: POP
00002b92: POP
00002b93: POP
00002b94: JUMP
00002b95: JUMPDEST
00002b96: PUSH1 0x01
00002b98: PUSH1 0x01
00002b9a: PUSH1 0xe0
00002b9c: SHL
00002b9d: SUB
00002b9e: NOT
00002b9f: DUP2
00002ba0: AND
00002ba1: DUP2
00002ba2: EQ
00002ba3: PUSH2 0x080c
00002ba6: JUMPI
00002ba7: PUSH1 0x00
00002ba9: DUP1
00002baa: REVERT
00002bab: JUMPDEST
00002bac: PUSH1 0x00
00002bae: PUSH1 0x20
00002bb0: DUP3
00002bb1: DUP5
00002bb2: SUB
00002bb3: SLT
00002bb4: ISZERO
00002bb5: PUSH2 0x2bbd
00002bb8: JUMPI
00002bb9: PUSH1 0x00
00002bbb: DUP1
00002bbc: REVERT
00002bbd: JUMPDEST
00002bbe: DUP2
00002bbf: CALLDATALOAD
00002bc0: PUSH2 0x2bc8
00002bc3: DUP2
00002bc4: PUSH2 0x2b95
00002bc7: JUMP
00002bc8: JUMPDEST
00002bc9: SWAP4
00002bca: SWAP3
00002bcb: POP
00002bcc: POP
00002bcd: POP
00002bce: JUMP
00002bcf: JUMPDEST
00002bd0: PUSH4 0x4e487b71
00002bd5: PUSH1 0xe0
00002bd7: SHL
00002bd8: PUSH1 0x00
00002bda: MSTORE
00002bdb: PUSH1 0x41
00002bdd: PUSH1 0x04
00002bdf: MSTORE
00002be0: PUSH1 0x24
00002be2: PUSH1 0x00
00002be4: REVERT
00002be5: JUMPDEST
00002be6: PUSH1 0x1f
00002be8: DUP3
00002be9: ADD
00002bea: PUSH1 0x1f
00002bec: NOT
00002bed: AND
00002bee: DUP2
00002bef: ADD
00002bf0: PUSH8 0xffffffffffffffff
00002bf9: DUP2
00002bfa: GT
00002bfb: DUP3
00002bfc: DUP3
00002bfd: LT
00002bfe: OR
00002bff: ISZERO
00002c00: PUSH2 0x2c0b
00002c03: JUMPI
00002c04: PUSH2 0x2c0b
00002c07: PUSH2 0x2bcf
00002c0a: JUMP
00002c0b: JUMPDEST
00002c0c: PUSH1 0x40
00002c0e: MSTORE
00002c0f: POP
00002c10: POP
00002c11: JUMP
00002c12: JUMPDEST
00002c13: PUSH1 0x00
00002c15: PUSH8 0xffffffffffffffff
00002c1e: DUP4
00002c1f: GT
00002c20: ISZERO
00002c21: PUSH2 0x2c2c
00002c24: JUMPI
00002c25: PUSH2 0x2c2c
00002c28: PUSH2 0x2bcf
00002c2b: JUMP
00002c2c: JUMPDEST
00002c2d: PUSH1 0x40
00002c2f: MLOAD
00002c30: PUSH2 0x2c43
00002c33: PUSH1 0x1f
00002c35: DUP6
00002c36: ADD
00002c37: PUSH1 0x1f
00002c39: NOT
00002c3a: AND
00002c3b: PUSH1 0x20
00002c3d: ADD
00002c3e: DUP3
00002c3f: PUSH2 0x2be5
00002c42: JUMP
00002c43: JUMPDEST
00002c44: DUP1
00002c45: SWAP2
00002c46: POP
00002c47: DUP4
00002c48: DUP2
00002c49: MSTORE
00002c4a: DUP5
00002c4b: DUP5
00002c4c: DUP5
00002c4d: ADD
00002c4e: GT
00002c4f: ISZERO
00002c50: PUSH2 0x2c58
00002c53: JUMPI
00002c54: PUSH1 0x00
00002c56: DUP1
00002c57: REVERT
00002c58: JUMPDEST
00002c59: DUP4
00002c5a: DUP4
00002c5b: PUSH1 0x20
00002c5d: DUP4
00002c5e: ADD
00002c5f: CALLDATACOPY
00002c60: PUSH1 0x00
00002c62: PUSH1 0x20
00002c64: DUP6
00002c65: DUP4
00002c66: ADD
00002c67: ADD
00002c68: MSTORE
00002c69: POP
00002c6a: SWAP4
00002c6b: SWAP3
00002c6c: POP
00002c6d: POP
00002c6e: POP
00002c6f: JUMP
00002c70: JUMPDEST
00002c71: PUSH1 0x00
00002c73: PUSH1 0x20
00002c75: DUP3
00002c76: DUP5
00002c77: SUB
00002c78: SLT
00002c79: ISZERO
00002c7a: PUSH2 0x2c82
00002c7d: JUMPI
00002c7e: PUSH1 0x00
00002c80: DUP1
00002c81: REVERT
00002c82: JUMPDEST
00002c83: DUP2
00002c84: CALLDATALOAD
00002c85: PUSH8 0xffffffffffffffff
00002c8e: DUP2
00002c8f: GT
00002c90: ISZERO
00002c91: PUSH2 0x2c99
00002c94: JUMPI
00002c95: PUSH1 0x00
00002c97: DUP1
00002c98: REVERT
00002c99: JUMPDEST
00002c9a: DUP3
00002c9b: ADD
00002c9c: PUSH1 0x1f
00002c9e: DUP2
00002c9f: ADD
00002ca0: DUP5
00002ca1: SGT
00002ca2: PUSH2 0x2caa
00002ca5: JUMPI
00002ca6: PUSH1 0x00
00002ca8: DUP1
00002ca9: REVERT
00002caa: JUMPDEST
00002cab: PUSH2 0x1759
00002cae: DUP5
00002caf: DUP3
00002cb0: CALLDATALOAD
00002cb1: PUSH1 0x20
00002cb3: DUP5
00002cb4: ADD
00002cb5: PUSH2 0x2c12
00002cb8: JUMP
00002cb9: JUMPDEST
00002cba: PUSH1 0x00
00002cbc: PUSH1 0x20
00002cbe: DUP3
00002cbf: DUP5
00002cc0: SUB
00002cc1: SLT
00002cc2: ISZERO
00002cc3: PUSH2 0x2ccb
00002cc6: JUMPI
00002cc7: PUSH1 0x00
00002cc9: DUP1
00002cca: REVERT
00002ccb: JUMPDEST
00002ccc: PUSH2 0x2bc8
00002ccf: DUP3
00002cd0: PUSH2 0x2b4f
00002cd3: JUMP
00002cd4: JUMPDEST
00002cd5: PUSH1 0x00
00002cd7: JUMPDEST
00002cd8: DUP4
00002cd9: DUP2
00002cda: LT
00002cdb: ISZERO
00002cdc: PUSH2 0x2cef
00002cdf: JUMPI
00002ce0: DUP2
00002ce1: DUP2
00002ce2: ADD
00002ce3: MLOAD
00002ce4: DUP4
00002ce5: DUP3
00002ce6: ADD
00002ce7: MSTORE
00002ce8: PUSH1 0x20
00002cea: ADD
00002ceb: PUSH2 0x2cd7
00002cee: JUMP
00002cef: JUMPDEST
00002cf0: DUP4
00002cf1: DUP2
00002cf2: GT
00002cf3: ISZERO
00002cf4: PUSH2 0x2cfe
00002cf7: JUMPI
00002cf8: PUSH1 0x00
00002cfa: DUP5
00002cfb: DUP5
00002cfc: ADD
00002cfd: MSTORE
00002cfe: JUMPDEST
00002cff: POP
00002d00: POP
00002d01: POP
00002d02: POP
00002d03: JUMP
00002d04: JUMPDEST
00002d05: PUSH1 0x00
00002d07: DUP2
00002d08: MLOAD
00002d09: DUP1
00002d0a: DUP5
00002d0b: MSTORE
00002d0c: PUSH2 0x2d1c
00002d0f: DUP2
00002d10: PUSH1 0x20
00002d12: DUP7
00002d13: ADD
00002d14: PUSH1 0x20
00002d16: DUP7
00002d17: ADD
00002d18: PUSH2 0x2cd4
00002d1b: JUMP
00002d1c: JUMPDEST
00002d1d: PUSH1 0x1f
00002d1f: ADD
00002d20: PUSH1 0x1f
00002d22: NOT
00002d23: AND
00002d24: SWAP3
00002d25: SWAP1
00002d26: SWAP3
00002d27: ADD
00002d28: PUSH1 0x20
00002d2a: ADD
00002d2b: SWAP3
00002d2c: SWAP2
00002d2d: POP
00002d2e: POP
00002d2f: JUMP
00002d30: JUMPDEST
00002d31: PUSH1 0x20
00002d33: DUP2
00002d34: MSTORE
00002d35: PUSH1 0x00
00002d37: PUSH2 0x2bc8
00002d3a: PUSH1 0x20
00002d3c: DUP4
00002d3d: ADD
00002d3e: DUP5
00002d3f: PUSH2 0x2d04
00002d42: JUMP
00002d43: JUMPDEST
00002d44: PUSH1 0x00
00002d46: PUSH1 0x20
00002d48: DUP3
00002d49: DUP5
00002d4a: SUB
00002d4b: SLT
00002d4c: ISZERO
00002d4d: PUSH2 0x2d55
00002d50: JUMPI
00002d51: PUSH1 0x00
00002d53: DUP1
00002d54: REVERT
00002d55: JUMPDEST
00002d56: POP
00002d57: CALLDATALOAD
00002d58: SWAP2
00002d59: SWAP1
00002d5a: POP
00002d5b: JUMP
00002d5c: JUMPDEST
00002d5d: PUSH1 0x00
00002d5f: PUSH8 0xffffffffffffffff
00002d68: DUP3
00002d69: GT
00002d6a: ISZERO
00002d6b: PUSH2 0x2d76
00002d6e: JUMPI
00002d6f: PUSH2 0x2d76
00002d72: PUSH2 0x2bcf
00002d75: JUMP
00002d76: JUMPDEST
00002d77: POP
00002d78: PUSH1 0x05
00002d7a: SHL
00002d7b: PUSH1 0x20
00002d7d: ADD
00002d7e: SWAP1
00002d7f: JUMP
00002d80: JUMPDEST
00002d81: PUSH1 0x00
00002d83: DUP3
00002d84: PUSH1 0x1f
00002d86: DUP4
00002d87: ADD
00002d88: SLT
00002d89: PUSH2 0x2d91
00002d8c: JUMPI
00002d8d: PUSH1 0x00
00002d8f: DUP1
00002d90: REVERT
00002d91: JUMPDEST
00002d92: DUP2
00002d93: CALLDATALOAD
00002d94: PUSH1 0x20
00002d96: PUSH2 0x2d9e
00002d99: DUP3
00002d9a: PUSH2 0x2d5c
00002d9d: JUMP
00002d9e: JUMPDEST
00002d9f: PUSH1 0x40
00002da1: MLOAD
00002da2: PUSH2 0x2dab
00002da5: DUP3
00002da6: DUP3
00002da7: PUSH2 0x2be5
00002daa: JUMP
00002dab: JUMPDEST
00002dac: DUP4
00002dad: DUP2
00002dae: MSTORE
00002daf: PUSH1 0x05
00002db1: SWAP4
00002db2: SWAP1
00002db3: SWAP4
00002db4: SHL
00002db5: DUP6
00002db6: ADD
00002db7: DUP3
00002db8: ADD
00002db9: SWAP3
00002dba: DUP3
00002dbb: DUP2
00002dbc: ADD
00002dbd: SWAP2
00002dbe: POP
00002dbf: DUP7
00002dc0: DUP5
00002dc1: GT
00002dc2: ISZERO
00002dc3: PUSH2 0x2dcb
00002dc6: JUMPI
00002dc7: PUSH1 0x00
00002dc9: DUP1
00002dca: REVERT
00002dcb: JUMPDEST
00002dcc: DUP3
00002dcd: DUP7
00002dce: ADD
00002dcf: JUMPDEST
00002dd0: DUP5
00002dd1: DUP2
00002dd2: LT
00002dd3: ISZERO
00002dd4: PUSH2 0x2de6
00002dd7: JUMPI
00002dd8: DUP1
00002dd9: CALLDATALOAD
00002dda: DUP4
00002ddb: MSTORE
00002ddc: SWAP2
00002ddd: DUP4
00002dde: ADD
00002ddf: SWAP2
00002de0: DUP4
00002de1: ADD
00002de2: PUSH2 0x2dcf
00002de5: JUMP
00002de6: JUMPDEST
00002de7: POP
00002de8: SWAP7
00002de9: SWAP6
00002dea: POP
00002deb: POP
00002dec: POP
00002ded: POP
00002dee: POP
00002def: POP
00002df0: JUMP
00002df1: JUMPDEST
00002df2: PUSH1 0x00
00002df4: DUP3
00002df5: PUSH1 0x1f
00002df7: DUP4
00002df8: ADD
00002df9: SLT
00002dfa: PUSH2 0x2e02
00002dfd: JUMPI
00002dfe: PUSH1 0x00
00002e00: DUP1
00002e01: REVERT
00002e02: JUMPDEST
00002e03: PUSH2 0x2bc8
00002e06: DUP4
00002e07: DUP4
00002e08: CALLDATALOAD
00002e09: PUSH1 0x20
00002e0b: DUP6
00002e0c: ADD
00002e0d: PUSH2 0x2c12
00002e10: JUMP
00002e11: JUMPDEST
00002e12: PUSH1 0x00
00002e14: DUP1
00002e15: PUSH1 0x00
00002e17: DUP1
00002e18: PUSH1 0x00
00002e1a: PUSH1 0xa0
00002e1c: DUP7
00002e1d: DUP9
00002e1e: SUB
00002e1f: SLT
00002e20: ISZERO
00002e21: PUSH2 0x2e29
00002e24: JUMPI
00002e25: PUSH1 0x00
00002e27: DUP1
00002e28: REVERT
00002e29: JUMPDEST
00002e2a: PUSH2 0x2e32
00002e2d: DUP7
00002e2e: PUSH2 0x2b4f
00002e31: JUMP
00002e32: JUMPDEST
00002e33: SWAP5
00002e34: POP
00002e35: PUSH2 0x2e40
00002e38: PUSH1 0x20
00002e3a: DUP8
00002e3b: ADD
00002e3c: PUSH2 0x2b4f
00002e3f: JUMP
00002e40: JUMPDEST
00002e41: SWAP4
00002e42: POP
00002e43: PUSH1 0x40
00002e45: DUP7
00002e46: ADD
00002e47: CALLDATALOAD
00002e48: PUSH8 0xffffffffffffffff
00002e51: DUP1
00002e52: DUP3
00002e53: GT
00002e54: ISZERO
00002e55: PUSH2 0x2e5d
00002e58: JUMPI
00002e59: PUSH1 0x00
00002e5b: DUP1
00002e5c: REVERT
00002e5d: JUMPDEST
00002e5e: PUSH2 0x2e69
00002e61: DUP10
00002e62: DUP4
00002e63: DUP11
00002e64: ADD
00002e65: PUSH2 0x2d80
00002e68: JUMP
00002e69: JUMPDEST
00002e6a: SWAP5
00002e6b: POP
00002e6c: PUSH1 0x60
00002e6e: DUP9
00002e6f: ADD
00002e70: CALLDATALOAD
00002e71: SWAP2
00002e72: POP
00002e73: DUP1
00002e74: DUP3
00002e75: GT
00002e76: ISZERO
00002e77: PUSH2 0x2e7f
00002e7a: JUMPI
00002e7b: PUSH1 0x00
00002e7d: DUP1
00002e7e: REVERT
00002e7f: JUMPDEST
00002e80: PUSH2 0x2e8b
00002e83: DUP10
00002e84: DUP4
00002e85: DUP11
00002e86: ADD
00002e87: PUSH2 0x2d80
00002e8a: JUMP
00002e8b: JUMPDEST
00002e8c: SWAP4
00002e8d: POP
00002e8e: PUSH1 0x80
00002e90: DUP9
00002e91: ADD
00002e92: CALLDATALOAD
00002e93: SWAP2
00002e94: POP
00002e95: DUP1
00002e96: DUP3
00002e97: GT
00002e98: ISZERO
00002e99: PUSH2 0x2ea1
00002e9c: JUMPI
00002e9d: PUSH1 0x00
00002e9f: DUP1
00002ea0: REVERT
00002ea1: JUMPDEST
00002ea2: POP
00002ea3: PUSH2 0x2eae
00002ea6: DUP9
00002ea7: DUP3
00002ea8: DUP10
00002ea9: ADD
00002eaa: PUSH2 0x2df1
00002ead: JUMP
00002eae: JUMPDEST
00002eaf: SWAP2
00002eb0: POP
00002eb1: POP
00002eb2: SWAP3
00002eb3: SWAP6
00002eb4: POP
00002eb5: SWAP3
00002eb6: SWAP6
00002eb7: SWAP1
00002eb8: SWAP4
00002eb9: POP
00002eba: JUMP
00002ebb: JUMPDEST
00002ebc: PUSH1 0x00
00002ebe: DUP1
00002ebf: PUSH1 0x40
00002ec1: DUP4
00002ec2: DUP6
00002ec3: SUB
00002ec4: SLT
00002ec5: ISZERO
00002ec6: PUSH2 0x2ece
00002ec9: JUMPI
00002eca: PUSH1 0x00
00002ecc: DUP1
00002ecd: REVERT
00002ece: JUMPDEST
00002ecf: DUP3
00002ed0: CALLDATALOAD
00002ed1: PUSH8 0xffffffffffffffff
00002eda: DUP1
00002edb: DUP3
00002edc: GT
00002edd: ISZERO
00002ede: PUSH2 0x2ee6
00002ee1: JUMPI
00002ee2: PUSH1 0x00
00002ee4: DUP1
00002ee5: REVERT
00002ee6: JUMPDEST
00002ee7: DUP2
00002ee8: DUP6
00002ee9: ADD
00002eea: SWAP2
00002eeb: POP
00002eec: DUP6
00002eed: PUSH1 0x1f
00002eef: DUP4
00002ef0: ADD
00002ef1: SLT
00002ef2: PUSH2 0x2efa
00002ef5: JUMPI
00002ef6: PUSH1 0x00
00002ef8: DUP1
00002ef9: REVERT
00002efa: JUMPDEST
00002efb: DUP2
00002efc: CALLDATALOAD
00002efd: PUSH1 0x20
00002eff: PUSH2 0x2f07
00002f02: DUP3
00002f03: PUSH2 0x2d5c
00002f06: JUMP
00002f07: JUMPDEST
00002f08: PUSH1 0x40
00002f0a: MLOAD
00002f0b: PUSH2 0x2f14
00002f0e: DUP3
00002f0f: DUP3
00002f10: PUSH2 0x2be5
00002f13: JUMP
00002f14: JUMPDEST
00002f15: DUP4
00002f16: DUP2
00002f17: MSTORE
00002f18: PUSH1 0x05
00002f1a: SWAP4
00002f1b: SWAP1
00002f1c: SWAP4
00002f1d: SHL
00002f1e: DUP6
00002f1f: ADD
00002f20: DUP3
00002f21: ADD
00002f22: SWAP3
00002f23: DUP3
00002f24: DUP2
00002f25: ADD
00002f26: SWAP2
00002f27: POP
00002f28: DUP10
00002f29: DUP5
00002f2a: GT
00002f2b: ISZERO
00002f2c: PUSH2 0x2f34
00002f2f: JUMPI
00002f30: PUSH1 0x00
00002f32: DUP1
00002f33: REVERT
00002f34: JUMPDEST
00002f35: SWAP5
00002f36: DUP3
00002f37: ADD
00002f38: SWAP5
00002f39: JUMPDEST
00002f3a: DUP4
00002f3b: DUP7
00002f3c: LT
00002f3d: ISZERO
00002f3e: PUSH2 0x2f59
00002f41: JUMPI
00002f42: PUSH2 0x2f4a
00002f45: DUP7
00002f46: PUSH2 0x2b4f
00002f49: JUMP
00002f4a: JUMPDEST
00002f4b: DUP3
00002f4c: MSTORE
00002f4d: SWAP5
00002f4e: DUP3
00002f4f: ADD
00002f50: SWAP5
00002f51: SWAP1
00002f52: DUP3
00002f53: ADD
00002f54: SWAP1
00002f55: PUSH2 0x2f39
00002f58: JUMP
00002f59: JUMPDEST
00002f5a: SWAP7
00002f5b: POP
00002f5c: POP
00002f5d: DUP7
00002f5e: ADD
00002f5f: CALLDATALOAD
00002f60: SWAP3
00002f61: POP
00002f62: POP
00002f63: DUP1
00002f64: DUP3
00002f65: GT
00002f66: ISZERO
00002f67: PUSH2 0x2f6f
00002f6a: JUMPI
00002f6b: PUSH1 0x00
00002f6d: DUP1
00002f6e: REVERT
00002f6f: JUMPDEST
00002f70: POP
00002f71: PUSH2 0x2f7c
00002f74: DUP6
00002f75: DUP3
00002f76: DUP7
00002f77: ADD
00002f78: PUSH2 0x2d80
00002f7b: JUMP
00002f7c: JUMPDEST
00002f7d: SWAP2
00002f7e: POP
00002f7f: POP
00002f80: SWAP3
00002f81: POP
00002f82: SWAP3
00002f83: SWAP1
00002f84: POP
00002f85: JUMP
00002f86: JUMPDEST
00002f87: PUSH1 0x00
00002f89: DUP2
00002f8a: MLOAD
00002f8b: DUP1
00002f8c: DUP5
00002f8d: MSTORE
00002f8e: PUSH1 0x20
00002f90: DUP1
00002f91: DUP6
00002f92: ADD
00002f93: SWAP5
00002f94: POP
00002f95: DUP1
00002f96: DUP5
00002f97: ADD
00002f98: PUSH1 0x00
00002f9a: JUMPDEST
00002f9b: DUP4
00002f9c: DUP2
00002f9d: LT
00002f9e: ISZERO
00002f9f: PUSH2 0x2fb6
00002fa2: JUMPI
00002fa3: DUP2
00002fa4: MLOAD
00002fa5: DUP8
00002fa6: MSTORE
00002fa7: SWAP6
00002fa8: DUP3
00002fa9: ADD
00002faa: SWAP6
00002fab: SWAP1
00002fac: DUP3
00002fad: ADD
00002fae: SWAP1
00002faf: PUSH1 0x01
00002fb1: ADD
00002fb2: PUSH2 0x2f9a
00002fb5: JUMP
00002fb6: JUMPDEST
00002fb7: POP
00002fb8: SWAP5
00002fb9: SWAP6
00002fba: SWAP5
00002fbb: POP
00002fbc: POP
00002fbd: POP
00002fbe: POP
00002fbf: POP
00002fc0: JUMP
00002fc1: JUMPDEST
00002fc2: PUSH1 0x20
00002fc4: DUP2
00002fc5: MSTORE
00002fc6: PUSH1 0x00
00002fc8: PUSH2 0x2bc8
00002fcb: PUSH1 0x20
00002fcd: DUP4
00002fce: ADD
00002fcf: DUP5
00002fd0: PUSH2 0x2f86
00002fd3: JUMP
00002fd4: JUMPDEST
00002fd5: PUSH1 0x00
00002fd7: DUP1
00002fd8: PUSH1 0x00
00002fda: PUSH1 0x60
00002fdc: DUP5
00002fdd: DUP7
00002fde: SUB
00002fdf: SLT
00002fe0: ISZERO
00002fe1: PUSH2 0x2fe9
00002fe4: JUMPI
00002fe5: PUSH1 0x00
00002fe7: DUP1
00002fe8: REVERT
00002fe9: JUMPDEST
00002fea: DUP4
00002feb: CALLDATALOAD
00002fec: PUSH8 0xffffffffffffffff
00002ff5: DUP1
00002ff6: DUP3
00002ff7: GT
00002ff8: ISZERO
00002ff9: PUSH2 0x3001
00002ffc: JUMPI
00002ffd: PUSH1 0x00
00002fff: DUP1
00003000: REVERT
00003001: JUMPDEST
00003002: PUSH2 0x300d
00003005: DUP8
00003006: DUP4
00003007: DUP9
00003008: ADD
00003009: PUSH2 0x2d80
0000300c: JUMP
0000300d: JUMPDEST
0000300e: SWAP5
0000300f: POP
00003010: PUSH1 0x20
00003012: DUP7
00003013: ADD
00003014: CALLDATALOAD
00003015: SWAP4
00003016: POP
00003017: PUSH1 0x40
00003019: DUP7
0000301a: ADD
0000301b: CALLDATALOAD
0000301c: SWAP2
0000301d: POP
0000301e: DUP1
0000301f: DUP3
00003020: GT
00003021: ISZERO
00003022: PUSH2 0x302a
00003025: JUMPI
00003026: PUSH1 0x00
00003028: DUP1
00003029: REVERT
0000302a: JUMPDEST
0000302b: POP
0000302c: PUSH2 0x3037
0000302f: DUP7
00003030: DUP3
00003031: DUP8
00003032: ADD
00003033: PUSH2 0x2df1
00003036: JUMP
00003037: JUMPDEST
00003038: SWAP2
00003039: POP
0000303a: POP
0000303b: SWAP3
0000303c: POP
0000303d: SWAP3
0000303e: POP
0000303f: SWAP3
00003040: JUMP
00003041: JUMPDEST
00003042: PUSH1 0x00
00003044: DUP1
00003045: PUSH1 0x00
00003047: DUP1
00003048: PUSH1 0x80
0000304a: DUP6
0000304b: DUP8
0000304c: SUB
0000304d: SLT
0000304e: ISZERO
0000304f: PUSH2 0x3057
00003052: JUMPI
00003053: PUSH1 0x00
00003055: DUP1
00003056: REVERT
00003057: JUMPDEST
00003058: DUP5
00003059: CALLDATALOAD
0000305a: PUSH8 0xffffffffffffffff
00003063: DUP1
00003064: DUP3
00003065: GT
00003066: ISZERO
00003067: PUSH2 0x306f
0000306a: JUMPI
0000306b: PUSH1 0x00
0000306d: DUP1
0000306e: REVERT
0000306f: JUMPDEST
00003070: PUSH2 0x307b
00003073: DUP9
00003074: DUP4
00003075: DUP10
00003076: ADD
00003077: PUSH2 0x2d80
0000307a: JUMP
0000307b: JUMPDEST
0000307c: SWAP6
0000307d: POP
0000307e: PUSH1 0x20
00003080: DUP8
00003081: ADD
00003082: CALLDATALOAD
00003083: SWAP5
00003084: POP
00003085: PUSH1 0x40
00003087: DUP8
00003088: ADD
00003089: CALLDATALOAD
0000308a: SWAP2
0000308b: POP
0000308c: DUP1
0000308d: DUP3
0000308e: GT
0000308f: ISZERO
00003090: PUSH2 0x3098
00003093: JUMPI
00003094: PUSH1 0x00
00003096: DUP1
00003097: REVERT
00003098: JUMPDEST
00003099: POP
0000309a: PUSH2 0x30a5
0000309d: DUP8
0000309e: DUP3
0000309f: DUP9
000030a0: ADD
000030a1: PUSH2 0x2df1
000030a4: JUMP
000030a5: JUMPDEST
000030a6: SWAP3
000030a7: POP
000030a8: POP
000030a9: PUSH2 0x30b4
000030ac: PUSH1 0x60
000030ae: DUP7
000030af: ADD
000030b0: PUSH2 0x2b4f
000030b3: JUMP
000030b4: JUMPDEST
000030b5: SWAP1
000030b6: POP
000030b7: SWAP3
000030b8: SWAP6
000030b9: SWAP2
000030ba: SWAP5
000030bb: POP
000030bc: SWAP3
000030bd: POP
000030be: JUMP
000030bf: JUMPDEST
000030c0: PUSH1 0x00
000030c2: DUP1
000030c3: PUSH1 0x40
000030c5: DUP4
000030c6: DUP6
000030c7: SUB
000030c8: SLT
000030c9: ISZERO
000030ca: PUSH2 0x30d2
000030cd: JUMPI
000030ce: PUSH1 0x00
000030d0: DUP1
000030d1: REVERT
000030d2: JUMPDEST
000030d3: POP
000030d4: POP
000030d5: DUP1
000030d6: CALLDATALOAD
000030d7: SWAP3
000030d8: PUSH1 0x20
000030da: SWAP1
000030db: SWAP2
000030dc: ADD
000030dd: CALLDATALOAD
000030de: SWAP2
000030df: POP
000030e0: JUMP
000030e1: JUMPDEST
000030e2: PUSH1 0x00
000030e4: DUP1
000030e5: PUSH1 0x40
000030e7: DUP4
000030e8: DUP6
000030e9: SUB
000030ea: SLT
000030eb: ISZERO
000030ec: PUSH2 0x30f4
000030ef: JUMPI
000030f0: PUSH1 0x00
000030f2: DUP1
000030f3: REVERT
000030f4: JUMPDEST
000030f5: PUSH2 0x30fd
000030f8: DUP4
000030f9: PUSH2 0x2b4f
000030fc: JUMP
000030fd: JUMPDEST
000030fe: SWAP2
000030ff: POP
00003100: PUSH1 0x20
00003102: DUP4
00003103: ADD
00003104: CALLDATALOAD
00003105: DUP1
00003106: ISZERO
00003107: ISZERO
00003108: DUP2
00003109: EQ
0000310a: PUSH2 0x3112
0000310d: JUMPI
0000310e: PUSH1 0x00
00003110: DUP1
00003111: REVERT
00003112: JUMPDEST
00003113: DUP1
00003114: SWAP2
00003115: POP
00003116: POP
00003117: SWAP3
00003118: POP
00003119: SWAP3
0000311a: SWAP1
0000311b: POP
0000311c: JUMP
0000311d: JUMPDEST
0000311e: PUSH1 0x00
00003120: DUP1
00003121: PUSH1 0x40
00003123: DUP4
00003124: DUP6
00003125: SUB
00003126: SLT
00003127: ISZERO
00003128: PUSH2 0x3130
0000312b: JUMPI
0000312c: PUSH1 0x00
0000312e: DUP1
0000312f: REVERT
00003130: JUMPDEST
00003131: PUSH2 0x3139
00003134: DUP4
00003135: PUSH2 0x2b4f
00003138: JUMP
00003139: JUMPDEST
0000313a: SWAP2
0000313b: POP
0000313c: PUSH2 0x3147
0000313f: PUSH1 0x20
00003141: DUP5
00003142: ADD
00003143: PUSH2 0x2b4f
00003146: JUMP
00003147: JUMPDEST
00003148: SWAP1
00003149: POP
0000314a: SWAP3
0000314b: POP
0000314c: SWAP3
0000314d: SWAP1
0000314e: POP
0000314f: JUMP
00003150: JUMPDEST
00003151: PUSH1 0x00
00003153: DUP1
00003154: PUSH1 0x00
00003156: DUP1
00003157: PUSH1 0x00
00003159: PUSH1 0xa0
0000315b: DUP7
0000315c: DUP9
0000315d: SUB
0000315e: SLT
0000315f: ISZERO
00003160: PUSH2 0x3168
00003163: JUMPI
00003164: PUSH1 0x00
00003166: DUP1
00003167: REVERT
00003168: JUMPDEST
00003169: PUSH2 0x3171
0000316c: DUP7
0000316d: PUSH2 0x2b4f
00003170: JUMP
00003171: JUMPDEST
00003172: SWAP5
00003173: POP
00003174: PUSH2 0x317f
00003177: PUSH1 0x20
00003179: DUP8
0000317a: ADD
0000317b: PUSH2 0x2b4f
0000317e: JUMP
0000317f: JUMPDEST
00003180: SWAP4
00003181: POP
00003182: PUSH1 0x40
00003184: DUP7
00003185: ADD
00003186: CALLDATALOAD
00003187: SWAP3
00003188: POP
00003189: PUSH1 0x60
0000318b: DUP7
0000318c: ADD
0000318d: CALLDATALOAD
0000318e: SWAP2
0000318f: POP
00003190: PUSH1 0x80
00003192: DUP7
00003193: ADD
00003194: CALLDATALOAD
00003195: PUSH8 0xffffffffffffffff
0000319e: DUP2
0000319f: GT
000031a0: ISZERO
000031a1: PUSH2 0x31a9
000031a4: JUMPI
000031a5: PUSH1 0x00
000031a7: DUP1
000031a8: REVERT
000031a9: JUMPDEST
000031aa: PUSH2 0x2eae
000031ad: DUP9
000031ae: DUP3
000031af: DUP10
000031b0: ADD
000031b1: PUSH2 0x2df1
000031b4: JUMP
000031b5: JUMPDEST
000031b6: PUSH1 0x00
000031b8: DUP1
000031b9: PUSH1 0x00
000031bb: DUP1
000031bc: PUSH1 0x00
000031be: PUSH1 0xa0
000031c0: DUP7
000031c1: DUP9
000031c2: SUB
000031c3: SLT
000031c4: ISZERO
000031c5: PUSH2 0x31cd
000031c8: JUMPI
000031c9: PUSH1 0x00
000031cb: DUP1
000031cc: REVERT
000031cd: JUMPDEST
000031ce: DUP6
000031cf: CALLDATALOAD
000031d0: SWAP5
000031d1: POP
000031d2: PUSH1 0x20
000031d4: DUP1
000031d5: DUP8
000031d6: ADD
000031d7: CALLDATALOAD
000031d8: PUSH8 0xffffffffffffffff
000031e1: DUP1
000031e2: DUP3
000031e3: GT
000031e4: ISZERO
000031e5: PUSH2 0x31ed
000031e8: JUMPI
000031e9: PUSH1 0x00
000031eb: DUP1
000031ec: REVERT
000031ed: JUMPDEST
000031ee: DUP2
000031ef: DUP10
000031f0: ADD
000031f1: SWAP2
000031f2: POP
000031f3: DUP10
000031f4: PUSH1 0x1f
000031f6: DUP4
000031f7: ADD
000031f8: SLT
000031f9: PUSH2 0x3201
000031fc: JUMPI
000031fd: PUSH1 0x00
000031ff: DUP1
00003200: REVERT
00003201: JUMPDEST
00003202: DUP2
00003203: CALLDATALOAD
00003204: PUSH2 0x320c
00003207: DUP2
00003208: PUSH2 0x2d5c
0000320b: JUMP
0000320c: JUMPDEST
0000320d: PUSH1 0x40
0000320f: MLOAD
00003210: PUSH2 0x3219
00003213: DUP3
00003214: DUP3
00003215: PUSH2 0x2be5
00003218: JUMP
00003219: JUMPDEST
0000321a: DUP3
0000321b: DUP2
0000321c: MSTORE
0000321d: PUSH1 0x05
0000321f: SWAP3
00003220: SWAP1
00003221: SWAP3
00003222: SHL
00003223: DUP5
00003224: ADD
00003225: DUP6
00003226: ADD
00003227: SWAP2
00003228: DUP6
00003229: DUP2
0000322a: ADD
0000322b: SWAP2
0000322c: POP
0000322d: DUP13
0000322e: DUP4
0000322f: GT
00003230: ISZERO
00003231: PUSH2 0x3239
00003234: JUMPI
00003235: PUSH1 0x00
00003237: DUP1
00003238: REVERT
00003239: JUMPDEST
0000323a: SWAP4
0000323b: DUP6
0000323c: ADD
0000323d: SWAP4
0000323e: JUMPDEST
0000323f: DUP3
00003240: DUP6
00003241: LT
00003242: ISZERO
00003243: PUSH2 0x3257
00003246: JUMPI
00003247: DUP5
00003248: CALLDATALOAD
00003249: DUP3
0000324a: MSTORE
0000324b: SWAP4
0000324c: DUP6
0000324d: ADD
0000324e: SWAP4
0000324f: SWAP1
00003250: DUP6
00003251: ADD
00003252: SWAP1
00003253: PUSH2 0x323e
00003256: JUMP
00003257: JUMPDEST
00003258: SWAP9
00003259: POP
0000325a: POP
0000325b: POP
0000325c: PUSH1 0x40
0000325e: DUP10
0000325f: ADD
00003260: CALLDATALOAD
00003261: SWAP3
00003262: POP
00003263: DUP1
00003264: DUP4
00003265: GT
00003266: ISZERO
00003267: PUSH2 0x326f
0000326a: JUMPI
0000326b: PUSH1 0x00
0000326d: DUP1
0000326e: REVERT
0000326f: JUMPDEST
00003270: PUSH2 0x327b
00003273: DUP11
00003274: DUP5
00003275: DUP12
00003276: ADD
00003277: PUSH2 0x2d80
0000327a: JUMP
0000327b: JUMPDEST
0000327c: SWAP6
0000327d: POP
0000327e: PUSH1 0x60
00003280: DUP10
00003281: ADD
00003282: CALLDATALOAD
00003283: SWAP5
00003284: POP
00003285: PUSH1 0x80
00003287: DUP10
00003288: ADD
00003289: CALLDATALOAD
0000328a: SWAP3
0000328b: POP
0000328c: DUP1
0000328d: DUP4
0000328e: GT
0000328f: ISZERO
00003290: PUSH2 0x3298
00003293: JUMPI
00003294: PUSH1 0x00
00003296: DUP1
00003297: REVERT
00003298: JUMPDEST
00003299: POP
0000329a: POP
0000329b: PUSH2 0x2eae
0000329e: DUP9
0000329f: DUP3
000032a0: DUP10
000032a1: ADD
000032a2: PUSH2 0x2df1
000032a5: JUMP
000032a6: JUMPDEST
000032a7: PUSH1 0x01
000032a9: DUP2
000032aa: DUP2
000032ab: SHR
000032ac: SWAP1
000032ad: DUP3
000032ae: AND
000032af: DUP1
000032b0: PUSH2 0x32ba
000032b3: JUMPI
000032b4: PUSH1 0x7f
000032b6: DUP3
000032b7: AND
000032b8: SWAP2
000032b9: POP
000032ba: JUMPDEST
000032bb: PUSH1 0x20
000032bd: DUP3
000032be: LT
000032bf: DUP2
000032c0: EQ
000032c1: ISZERO
000032c2: PUSH2 0x32db
000032c5: JUMPI
000032c6: PUSH4 0x4e487b71
000032cb: PUSH1 0xe0
000032cd: SHL
000032ce: PUSH1 0x00
000032d0: MSTORE
000032d1: PUSH1 0x22
000032d3: PUSH1 0x04
000032d5: MSTORE
000032d6: PUSH1 0x24
000032d8: PUSH1 0x00
000032da: REVERT
000032db: JUMPDEST
000032dc: POP
000032dd: SWAP2
000032de: SWAP1
000032df: POP
000032e0: JUMP
000032e1: JUMPDEST
000032e2: PUSH1 0x00
000032e4: DUP4
000032e5: MLOAD
000032e6: PUSH2 0x32f3
000032e9: DUP2
000032ea: DUP5
000032eb: PUSH1 0x20
000032ed: DUP9
000032ee: ADD
000032ef: PUSH2 0x2cd4
000032f2: JUMP
000032f3: JUMPDEST
000032f4: DUP4
000032f5: MLOAD
000032f6: SWAP1
000032f7: DUP4
000032f8: ADD
000032f9: SWAP1
000032fa: PUSH2 0x3307
000032fd: DUP2
000032fe: DUP4
000032ff: PUSH1 0x20
00003301: DUP9
00003302: ADD
00003303: PUSH2 0x2cd4
00003306: JUMP
00003307: JUMPDEST
00003308: PUSH5 0x173539b7b7
0000330e: PUSH1 0xd9
00003310: SHL
00003311: SWAP2
00003312: ADD
00003313: SWAP1
00003314: DUP2
00003315: MSTORE
00003316: PUSH1 0x05
00003318: ADD
00003319: SWAP5
0000331a: SWAP4
0000331b: POP
0000331c: POP
0000331d: POP
0000331e: POP
0000331f: JUMP
00003320: JUMPDEST
00003321: PUSH4 0x4e487b71
00003326: PUSH1 0xe0
00003328: SHL
00003329: PUSH1 0x00
0000332b: MSTORE
0000332c: PUSH1 0x32
0000332e: PUSH1 0x04
00003330: MSTORE
00003331: PUSH1 0x24
00003333: PUSH1 0x00
00003335: REVERT
00003336: JUMPDEST
00003337: PUSH4 0x4e487b71
0000333c: PUSH1 0xe0
0000333e: SHL
0000333f: PUSH1 0x00
00003341: MSTORE
00003342: PUSH1 0x11
00003344: PUSH1 0x04
00003346: MSTORE
00003347: PUSH1 0x24
00003349: PUSH1 0x00
0000334b: REVERT
0000334c: JUMPDEST
0000334d: PUSH1 0x00
0000334f: PUSH1 0x00
00003351: NOT
00003352: DUP3
00003353: EQ
00003354: ISZERO
00003355: PUSH2 0x3360
00003358: JUMPI
00003359: PUSH2 0x3360
0000335c: PUSH2 0x3336
0000335f: JUMP
00003360: JUMPDEST
00003361: POP
00003362: PUSH1 0x01
00003364: ADD
00003365: SWAP1
00003366: JUMP
00003367: JUMPDEST
00003368: PUSH1 0x00
0000336a: DUP3
0000336b: NOT
0000336c: DUP3
0000336d: GT
0000336e: ISZERO
0000336f: PUSH2 0x337a
00003372: JUMPI
00003373: PUSH2 0x337a
00003376: PUSH2 0x3336
00003379: JUMP
0000337a: JUMPDEST
0000337b: POP
0000337c: ADD
0000337d: SWAP1
0000337e: JUMP
0000337f: JUMPDEST
00003380: PUSH1 0x00
00003382: DUP2
00003383: PUSH1 0x00
00003385: NOT
00003386: DIV
00003387: DUP4
00003388: GT
00003389: DUP3
0000338a: ISZERO
0000338b: ISZERO
0000338c: AND
0000338d: ISZERO
0000338e: PUSH2 0x3399
00003391: JUMPI
00003392: PUSH2 0x3399
00003395: PUSH2 0x3336
00003398: JUMP
00003399: JUMPDEST
0000339a: POP
0000339b: MUL
0000339c: SWAP1
0000339d: JUMP
0000339e: JUMPDEST
0000339f: PUSH1 0x00
000033a1: DUP2
000033a2: DUP4
000033a3: SLOAD
000033a4: DUP4
000033a5: SWAP2
000033a6: POP
000033a7: DUP5
000033a8: PUSH1 0x00
000033aa: MSTORE
000033ab: PUSH1 0x20
000033ad: DUP1
000033ae: PUSH1 0x00
000033b0: KECCAK256
000033b1: PUSH1 0x00
000033b3: JUMPDEST
000033b4: DUP4
000033b5: DUP2
000033b6: LT
000033b7: ISZERO
000033b8: PUSH2 0x33cf
000033bb: JUMPI
000033bc: DUP2
000033bd: SLOAD
000033be: DUP6
000033bf: MSTORE
000033c0: SWAP4
000033c1: DUP3
000033c2: ADD
000033c3: SWAP4
000033c4: PUSH1 0x01
000033c6: SWAP2
000033c7: DUP3
000033c8: ADD
000033c9: SWAP2
000033ca: ADD
000033cb: PUSH2 0x33b3
000033ce: JUMP
000033cf: JUMPDEST
000033d0: POP
000033d1: SWAP3
000033d2: SWAP7
000033d3: SWAP6
000033d4: POP
000033d5: POP
000033d6: POP
000033d7: POP
000033d8: POP
000033d9: POP
000033da: JUMP
000033db: JUMPDEST
000033dc: PUSH4 0x4e487b71
000033e1: PUSH1 0xe0
000033e3: SHL
000033e4: PUSH1 0x00
000033e6: MSTORE
000033e7: PUSH1 0x12
000033e9: PUSH1 0x04
000033eb: MSTORE
000033ec: PUSH1 0x24
000033ee: PUSH1 0x00
000033f0: REVERT
000033f1: JUMPDEST
000033f2: PUSH1 0x00
000033f4: DUP3
000033f5: PUSH2 0x3400
000033f8: JUMPI
000033f9: PUSH2 0x3400
000033fc: PUSH2 0x33db
000033ff: JUMP
00003400: JUMPDEST
00003401: POP
00003402: DIV
00003403: SWAP1
00003404: JUMP
00003405: JUMPDEST
00003406: PUSH1 0x00
00003408: DUP3
00003409: DUP3
0000340a: LT
0000340b: ISZERO
0000340c: PUSH2 0x3417
0000340f: JUMPI
00003410: PUSH2 0x3417
00003413: PUSH2 0x3336
00003416: JUMP
00003417: JUMPDEST
00003418: POP
00003419: SUB
0000341a: SWAP1
0000341b: JUMP
0000341c: JUMPDEST
0000341d: PUSH1 0x00
0000341f: DUP3
00003420: PUSH2 0x342b
00003423: JUMPI
00003424: PUSH2 0x342b
00003427: PUSH2 0x33db
0000342a: JUMP
0000342b: JUMPDEST
0000342c: POP
0000342d: MOD
0000342e: SWAP1
0000342f: JUMP
00003430: JUMPDEST
00003431: PUSH1 0x40
00003433: DUP2
00003434: MSTORE
00003435: PUSH1 0x00
00003437: PUSH2 0x3443
0000343a: PUSH1 0x40
0000343c: DUP4
0000343d: ADD
0000343e: DUP6
0000343f: PUSH2 0x2f86
00003442: JUMP
00003443: JUMPDEST
00003444: DUP3
00003445: DUP2
00003446: SUB
00003447: PUSH1 0x20
00003449: DUP5
0000344a: ADD
0000344b: MSTORE
0000344c: PUSH2 0x3455
0000344f: DUP2
00003450: DUP6
00003451: PUSH2 0x2f86
00003454: JUMP
00003455: JUMPDEST
00003456: SWAP6
00003457: SWAP5
00003458: POP
00003459: POP
0000345a: POP
0000345b: POP
0000345c: POP
0000345d: JUMP
0000345e: JUMPDEST
0000345f: PUSH1 0x00
00003461: PUSH1 0x01
00003463: PUSH1 0x01
00003465: PUSH1 0xa0
00003467: SHL
00003468: SUB
00003469: DUP1
0000346a: DUP9
0000346b: AND
0000346c: DUP4
0000346d: MSTORE
0000346e: DUP1
0000346f: DUP8
00003470: AND
00003471: PUSH1 0x20
00003473: DUP5
00003474: ADD
00003475: MSTORE
00003476: POP
00003477: PUSH1 0xa0
00003479: PUSH1 0x40
0000347b: DUP4
0000347c: ADD
0000347d: MSTORE
0000347e: PUSH2 0x348a
00003481: PUSH1 0xa0
00003483: DUP4
00003484: ADD
00003485: DUP7
00003486: PUSH2 0x2f86
00003489: JUMP
0000348a: JUMPDEST
0000348b: DUP3
0000348c: DUP2
0000348d: SUB
0000348e: PUSH1 0x60
00003490: DUP5
00003491: ADD
00003492: MSTORE
00003493: PUSH2 0x349c
00003496: DUP2
00003497: DUP7
00003498: PUSH2 0x2f86
0000349b: JUMP
0000349c: JUMPDEST
0000349d: SWAP1
0000349e: POP
0000349f: DUP3
000034a0: DUP2
000034a1: SUB
000034a2: PUSH1 0x80
000034a4: DUP5
000034a5: ADD
000034a6: MSTORE
000034a7: PUSH2 0x34b0
000034aa: DUP2
000034ab: DUP6
000034ac: PUSH2 0x2d04
000034af: JUMP
000034b0: JUMPDEST
000034b1: SWAP9
000034b2: SWAP8
000034b3: POP
000034b4: POP
000034b5: POP
000034b6: POP
000034b7: POP
000034b8: POP
000034b9: POP
000034ba: POP
000034bb: JUMP
000034bc: JUMPDEST
000034bd: PUSH1 0x00
000034bf: PUSH1 0x20
000034c1: DUP3
000034c2: DUP5
000034c3: SUB
000034c4: SLT
000034c5: ISZERO
000034c6: PUSH2 0x34ce
000034c9: JUMPI
000034ca: PUSH1 0x00
000034cc: DUP1
000034cd: REVERT
000034ce: JUMPDEST
000034cf: DUP2
000034d0: MLOAD
000034d1: PUSH2 0x2bc8
000034d4: DUP2
000034d5: PUSH2 0x2b95
000034d8: JUMP
000034d9: JUMPDEST
000034da: PUSH1 0x00
000034dc: PUSH1 0x03
000034de: RETURNDATASIZE
000034df: GT
000034e0: ISZERO
000034e1: PUSH2 0x34f2
000034e4: JUMPI
000034e5: PUSH1 0x04
000034e7: PUSH1 0x00
000034e9: DUP1
000034ea: RETURNDATACOPY
000034eb: POP
000034ec: PUSH1 0x00
000034ee: MLOAD
000034ef: PUSH1 0xe0
000034f1: SHR
000034f2: JUMPDEST
000034f3: SWAP1
000034f4: JUMP
000034f5: JUMPDEST
000034f6: PUSH1 0x00
000034f8: PUSH1 0x44
000034fa: RETURNDATASIZE
000034fb: LT
000034fc: ISZERO
000034fd: PUSH2 0x3503
00003500: JUMPI
00003501: SWAP1
00003502: JUMP
00003503: JUMPDEST
00003504: PUSH1 0x40
00003506: MLOAD
00003507: PUSH1 0x03
00003509: NOT
0000350a: RETURNDATASIZE
0000350b: DUP2
0000350c: ADD
0000350d: PUSH1 0x04
0000350f: DUP4
00003510: RETURNDATACOPY
00003511: DUP2
00003512: MLOAD
00003513: RETURNDATASIZE
00003514: PUSH8 0xffffffffffffffff
0000351d: DUP2
0000351e: PUSH1 0x24
00003520: DUP5
00003521: ADD
00003522: GT
00003523: DUP2
00003524: DUP5
00003525: GT
00003526: OR
00003527: ISZERO
00003528: PUSH2 0x3533
0000352b: JUMPI
0000352c: POP
0000352d: POP
0000352e: POP
0000352f: POP
00003530: POP
00003531: SWAP1
00003532: JUMP
00003533: JUMPDEST
00003534: DUP3
00003535: DUP6
00003536: ADD
00003537: SWAP2
00003538: POP
00003539: DUP2
0000353a: MLOAD
0000353b: DUP2
0000353c: DUP2
0000353d: GT
0000353e: ISZERO
0000353f: PUSH2 0x354b
00003542: JUMPI
00003543: POP
00003544: POP
00003545: POP
00003546: POP
00003547: POP
00003548: POP
00003549: SWAP1
0000354a: JUMP
0000354b: JUMPDEST
0000354c: DUP5
0000354d: RETURNDATASIZE
0000354e: DUP8
0000354f: ADD
00003550: ADD
00003551: PUSH1 0x20
00003553: DUP3
00003554: DUP6
00003555: ADD
00003556: ADD
00003557: GT
00003558: ISZERO
00003559: PUSH2 0x3565
0000355c: JUMPI
0000355d: POP
0000355e: POP
0000355f: POP
00003560: POP
00003561: POP
00003562: POP
00003563: SWAP1
00003564: JUMP
00003565: JUMPDEST
00003566: PUSH2 0x3574
00003569: PUSH1 0x20
0000356b: DUP3
0000356c: DUP7
0000356d: ADD
0000356e: ADD
0000356f: DUP8
00003570: PUSH2 0x2be5
00003573: JUMP
00003574: JUMPDEST
00003575: POP
00003576: SWAP1
00003577: SWAP6
00003578: SWAP5
00003579: POP
0000357a: POP
0000357b: POP
0000357c: POP
0000357d: POP
0000357e: JUMP
0000357f: JUMPDEST
00003580: PUSH4 0x4e487b71
00003585: PUSH1 0xe0
00003587: SHL
00003588: PUSH1 0x00
0000358a: MSTORE
0000358b: PUSH1 0x21
0000358d: PUSH1 0x04
0000358f: MSTORE
00003590: PUSH1 0x24
00003592: PUSH1 0x00
00003594: REVERT
00003595: JUMPDEST
00003596: PUSH1 0x00
00003598: PUSH1 0x01
0000359a: PUSH1 0x01
0000359c: PUSH1 0xa0
0000359e: SHL
0000359f: SUB
000035a0: DUP1
000035a1: DUP9
000035a2: AND
000035a3: DUP4
000035a4: MSTORE
000035a5: DUP1
000035a6: DUP8
000035a7: AND
000035a8: PUSH1 0x20
000035aa: DUP5
000035ab: ADD
000035ac: MSTORE
000035ad: POP
000035ae: DUP5
000035af: PUSH1 0x40
000035b1: DUP4
000035b2: ADD
000035b3: MSTORE
000035b4: DUP4
000035b5: PUSH1 0x60
000035b7: DUP4
000035b8: ADD
000035b9: MSTORE
000035ba: PUSH1 0xa0
000035bc: PUSH1 0x80
000035be: DUP4
000035bf: ADD
000035c0: MSTORE
000035c1: PUSH2 0x35cd
000035c4: PUSH1 0xa0
000035c6: DUP4
000035c7: ADD
000035c8: DUP5
000035c9: PUSH2 0x2d04
000035cc: JUMP
000035cd: JUMPDEST
000035ce: SWAP8
000035cf: SWAP7
000035d0: POP
000035d1: POP
000035d2: POP
000035d3: POP
000035d4: POP
000035d5: POP
000035d6: POP
000035d7: JUMP
000035d8: INVALID
000035d9: UNKNOWN(0x4F)
000035da: PUSH24 0x6e61626c653a2063616c6c6572206973206e6f7420746865
000035f3: KECCAK256
000035f4: PUSH16 0x776e6572a2646970667358221220fb42
00003605: GASPRICE
00003606: SWAP5
00003607: EXP
00003608: DUP8
00003609: SIGNEXTEND
0000360a: CALL
0000360b: GT
0000360c: LOG1
0000360d: CALLDATASIZE
0000360e: TLOAD
0000360f: UNKNOWN(0x0E)
00003610: MLOAD
00003611: UNKNOWN(0x2C)
00003612: UNKNOWN(0xD1)
00003613: SWAP11
00003614: UNKNOWN(0xDF)
00003615: KECCAK256
00003616: UNKNOWN(0xDD)
00003617: UNKNOWN(0xC4)
00003618: UNKNOWN(0xBC)
00003619: LOG0
0000361a: OR
0000361b: UNKNOWN(0xBF)
0000361c: SWAP4
0000361d: DUP10
0000361e: LOG0
0000361f: CODESIZE
00003620: DUP14
00003621: UNKNOWN(0xD6)
00003622: UNKNOWN(0x2D)
00003623: PUSH5 0x736f6c6343
00003629: STOP
0000362a: ADDMOD
0000362b: MULMOD
0000362c: STOP
0000362d: 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: 0x08835b5218020a0de044ac9bd5335de0b7e06e47e3feb9b175ca6a8cd06c543b
call_targets: 0x5b28c6856d61ca91cdbaed52eab7dc8135287818
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x08835b5218020a0de044ac9bd5335de0b7e06e47e3feb9b175ca6a8cd06c543b",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x5b28c6856d61ca91cdbaed52eab7dc8135287818"
    ],
    "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": "0xead66180",
            "selector": "0xead66180",
            "calldata_variants": [
                "0xead66180",
                "0xead661800000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf242432a",
            "selector": "0xf242432a",
            "calldata_variants": [
                "0xf242432a",
                "0xf242432a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf6f779af",
            "selector": "0xf6f779af",
            "calldata_variants": [
                "0xf6f779af",
                "0xf6f779af0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfdb49068",
            "selector": "0xfdb49068",
            "calldata_variants": [
                "0xfdb49068",
                "0xfdb490680000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbd85b039",
            "selector": "0xbd85b039",
            "calldata_variants": [
                "0xbd85b039",
                "0xbd85b0390000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbed84538",
            "selector": "0xbed84538",
            "calldata_variants": [
                "0xbed84538",
                "0xbed845380000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd6b74865",
            "selector": "0xd6b74865",
            "calldata_variants": [
                "0xd6b74865",
                "0xd6b748650000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 8909,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 9985,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 13834,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 3,
    "guards_detected": [],
    "untrusted_call_count": 3
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x08835b5218020a0de044ac9bd5335de0b7e06e47e3feb9b175ca6a8cd06c543b
call_targets: 0x5b28c6856d61ca91cdbaed52eab7dc8135287818
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x08835b5218020a0de044ac9bd5335de0b7e06e47e3feb9b175ca6a8cd06c543b",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x5b28c6856d61ca91cdbaed52eab7dc8135287818"
    ],
    "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": "0xead66180",
            "selector": "0xead66180",
            "calldata_variants": [
                "0xead66180",
                "0xead661800000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf242432a",
            "selector": "0xf242432a",
            "calldata_variants": [
                "0xf242432a",
                "0xf242432a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf6f779af",
            "selector": "0xf6f779af",
            "calldata_variants": [
                "0xf6f779af",
                "0xf6f779af0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfdb49068",
            "selector": "0xfdb49068",
            "calldata_variants": [
                "0xfdb49068",
                "0xfdb490680000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbd85b039",
            "selector": "0xbd85b039",
            "calldata_variants": [
                "0xbd85b039",
                "0xbd85b0390000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbed84538",
            "selector": "0xbed84538",
            "calldata_variants": [
                "0xbed84538",
                "0xbed845380000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd6b74865",
            "selector": "0xd6b74865",
            "calldata_variants": [
                "0xd6b74865",
                "0xd6b748650000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 8909,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 9985,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 13834,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 3,
    "guards_detected": []
}