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

Analysis Run

019b3844-9d77-7161-b916-b0a01c0ef21d

complete
Chain ID
1
Address
Block Number
Created
Fri, Dec 19, 2025 8:19 PM
Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

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

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
14755 artifact.fetch complete 1 / 3 4 months ago
14756 tool.cast_disasm complete 1 / 3 4 months ago
58013 analysis.bundle complete 1 / 3 2 weeks ago
58014 capability.graph complete 1 / 3 2 weeks ago
58015 detector.run complete 1 / 3 2 weeks ago
58016 validation.fork complete 1 / 3 2 weeks ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
2
EXT*/BALANCE
2
Total opcodes
9280
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 0x036b
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x63c28db1
00000019: GT
0000001a: PUSH2 0x01c6
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xb0bc3dc1
00000024: GT
00000025: PUSH2 0x00f7
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xc9a4925f
0000002f: GT
00000030: PUSH2 0x0095
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xe273798d
0000003a: GT
0000003b: PUSH2 0x006f
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe273798d
00000045: EQ
00000046: PUSH2 0x0a3e
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xe449f341
00000050: EQ
00000051: PUSH2 0x0a5e
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xe985e9c5
0000005b: EQ
0000005c: PUSH2 0x0a71
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xf2fde38b
00000066: EQ
00000067: PUSH2 0x0aba
0000006a: JUMPI
0000006b: PUSH1 0x00
0000006d: DUP1
0000006e: REVERT
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0xc9a4925f
00000076: EQ
00000077: PUSH2 0x09d1
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xd25e2505
00000081: EQ
00000082: PUSH2 0x09fe
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xd961f148
0000008c: EQ
0000008d: PUSH2 0x0a1e
00000090: JUMPI
00000091: PUSH1 0x00
00000093: DUP1
00000094: REVERT
00000095: JUMPDEST
00000096: DUP1
00000097: PUSH4 0xc4ae3168
0000009c: GT
0000009d: PUSH2 0x00d1
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xc4ae3168
000000a7: EQ
000000a8: PUSH2 0x096c
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0xc59d4847
000000b2: EQ
000000b3: PUSH2 0x0981
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0xc662e481
000000bd: EQ
000000be: PUSH2 0x0996
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xc87b56dd
000000c8: EQ
000000c9: PUSH2 0x09b1
000000cc: JUMPI
000000cd: PUSH1 0x00
000000cf: DUP1
000000d0: REVERT
000000d1: JUMPDEST
000000d2: DUP1
000000d3: PUSH4 0xb0bc3dc1
000000d8: EQ
000000d9: PUSH2 0x08fe
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0xb4787cf7
000000e3: EQ
000000e4: PUSH2 0x092c
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0xb88d4fde
000000ee: EQ
000000ef: PUSH2 0x094c
000000f2: JUMPI
000000f3: PUSH1 0x00
000000f5: DUP1
000000f6: REVERT
000000f7: JUMPDEST
000000f8: DUP1
000000f9: PUSH4 0x8da5cb5b
000000fe: GT
000000ff: PUSH2 0x0164
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0xa0712d68
00000109: GT
0000010a: PUSH2 0x013e
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0xa0712d68
00000114: EQ
00000115: PUSH2 0x0875
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0xa22cb465
0000011f: EQ
00000120: PUSH2 0x0888
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0xace17fc3
0000012a: EQ
0000012b: PUSH2 0x08a8
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0xb09afec1
00000135: EQ
00000136: PUSH2 0x08be
00000139: JUMPI
0000013a: PUSH1 0x00
0000013c: DUP1
0000013d: REVERT
0000013e: JUMPDEST
0000013f: DUP1
00000140: PUSH4 0x8da5cb5b
00000145: EQ
00000146: PUSH2 0x082d
00000149: JUMPI
0000014a: DUP1
0000014b: PUSH4 0x8ecad721
00000150: EQ
00000151: PUSH2 0x084b
00000154: JUMPI
00000155: DUP1
00000156: PUSH4 0x95d89b41
0000015b: EQ
0000015c: PUSH2 0x0860
0000015f: JUMPI
00000160: PUSH1 0x00
00000162: DUP1
00000163: REVERT
00000164: JUMPDEST
00000165: DUP1
00000166: PUSH4 0x74d6e33e
0000016b: GT
0000016c: PUSH2 0x01a0
0000016f: JUMPI
00000170: DUP1
00000171: PUSH4 0x74d6e33e
00000176: EQ
00000177: PUSH2 0x07c0
0000017a: JUMPI
0000017b: DUP1
0000017c: PUSH4 0x7e4831d3
00000181: EQ
00000182: PUSH2 0x07e1
00000185: JUMPI
00000186: DUP1
00000187: PUSH4 0x817b1cd2
0000018c: EQ
0000018d: PUSH2 0x0802
00000190: JUMPI
00000191: DUP1
00000192: PUSH4 0x86369775
00000197: EQ
00000198: PUSH2 0x0818
0000019b: JUMPI
0000019c: PUSH1 0x00
0000019e: DUP1
0000019f: REVERT
000001a0: JUMPDEST
000001a1: DUP1
000001a2: PUSH4 0x63c28db1
000001a7: EQ
000001a8: PUSH2 0x076b
000001ab: JUMPI
000001ac: DUP1
000001ad: PUSH4 0x70a08231
000001b2: EQ
000001b3: PUSH2 0x078b
000001b6: JUMPI
000001b7: DUP1
000001b8: PUSH4 0x715018a6
000001bd: EQ
000001be: PUSH2 0x07ab
000001c1: JUMPI
000001c2: PUSH1 0x00
000001c4: DUP1
000001c5: REVERT
000001c6: JUMPDEST
000001c7: DUP1
000001c8: PUSH4 0x33fcb433
000001cd: GT
000001ce: PUSH2 0x02a0
000001d1: JUMPI
000001d2: DUP1
000001d3: PUSH4 0x5200ba26
000001d8: GT
000001d9: PUSH2 0x023e
000001dc: JUMPI
000001dd: DUP1
000001de: PUSH4 0x5eff2746
000001e3: GT
000001e4: PUSH2 0x0218
000001e7: JUMPI
000001e8: DUP1
000001e9: PUSH4 0x5eff2746
000001ee: EQ
000001ef: PUSH2 0x06f3
000001f2: JUMPI
000001f3: DUP1
000001f4: PUSH4 0x5fc95142
000001f9: EQ
000001fa: PUSH2 0x0708
000001fd: JUMPI
000001fe: DUP1
000001ff: PUSH4 0x61b8ce8c
00000204: EQ
00000205: PUSH2 0x0735
00000208: JUMPI
00000209: DUP1
0000020a: PUSH4 0x6352211e
0000020f: EQ
00000210: PUSH2 0x074b
00000213: JUMPI
00000214: PUSH1 0x00
00000216: DUP1
00000217: REVERT
00000218: JUMPDEST
00000219: DUP1
0000021a: PUSH4 0x5200ba26
0000021f: EQ
00000220: PUSH2 0x0686
00000223: JUMPI
00000224: DUP1
00000225: PUSH4 0x55f804b3
0000022a: EQ
0000022b: PUSH2 0x06a6
0000022e: JUMPI
0000022f: DUP1
00000230: PUSH4 0x5de6dc55
00000235: EQ
00000236: PUSH2 0x06c6
00000239: JUMPI
0000023a: PUSH1 0x00
0000023c: DUP1
0000023d: REVERT
0000023e: JUMPDEST
0000023f: DUP1
00000240: PUSH4 0x3ccfd60b
00000245: GT
00000246: PUSH2 0x027a
00000249: JUMPI
0000024a: DUP1
0000024b: PUSH4 0x3ccfd60b
00000250: EQ
00000251: PUSH2 0x0604
00000254: JUMPI
00000255: DUP1
00000256: PUSH4 0x42842e0e
0000025b: EQ
0000025c: PUSH2 0x0619
0000025f: JUMPI
00000260: DUP1
00000261: PUSH4 0x4c2d9ffd
00000266: EQ
00000267: PUSH2 0x0639
0000026a: JUMPI
0000026b: DUP1
0000026c: PUSH4 0x4f6ccce7
00000271: EQ
00000272: PUSH2 0x0666
00000275: JUMPI
00000276: PUSH1 0x00
00000278: DUP1
00000279: REVERT
0000027a: JUMPDEST
0000027b: DUP1
0000027c: PUSH4 0x33fcb433
00000281: EQ
00000282: PUSH2 0x0598
00000285: JUMPI
00000286: DUP1
00000287: PUSH4 0x3647eb99
0000028c: EQ
0000028d: PUSH2 0x05b8
00000290: JUMPI
00000291: DUP1
00000292: PUSH4 0x38097112
00000297: EQ
00000298: PUSH2 0x05ce
0000029b: JUMPI
0000029c: PUSH1 0x00
0000029e: DUP1
0000029f: REVERT
000002a0: JUMPDEST
000002a1: DUP1
000002a2: PUSH4 0x0fbf0a93
000002a7: GT
000002a8: PUSH2 0x030d
000002ab: JUMPI
000002ac: DUP1
000002ad: PUSH4 0x23b872dd
000002b2: GT
000002b3: PUSH2 0x02e7
000002b6: JUMPI
000002b7: DUP1
000002b8: PUSH4 0x23b872dd
000002bd: EQ
000002be: PUSH2 0x0522
000002c1: JUMPI
000002c2: DUP1
000002c3: PUSH4 0x25e514c6
000002c8: EQ
000002c9: PUSH2 0x0542
000002cc: JUMPI
000002cd: DUP1
000002ce: PUSH4 0x2f745c59
000002d3: EQ
000002d4: PUSH2 0x0562
000002d7: JUMPI
000002d8: DUP1
000002d9: PUSH4 0x32cb6b0c
000002de: EQ
000002df: PUSH2 0x0582
000002e2: JUMPI
000002e3: PUSH1 0x00
000002e5: DUP1
000002e6: REVERT
000002e7: JUMPDEST
000002e8: DUP1
000002e9: PUSH4 0x0fbf0a93
000002ee: EQ
000002ef: PUSH2 0x048f
000002f2: JUMPI
000002f3: DUP1
000002f4: PUSH4 0x150b7a02
000002f9: EQ
000002fa: PUSH2 0x04af
000002fd: JUMPI
000002fe: DUP1
000002ff: PUSH4 0x18160ddd
00000304: EQ
00000305: PUSH2 0x050d
00000308: JUMPI
00000309: PUSH1 0x00
0000030b: DUP1
0000030c: REVERT
0000030d: JUMPDEST
0000030e: DUP1
0000030f: PUSH4 0x081812fc
00000314: GT
00000315: PUSH2 0x0349
00000318: JUMPI
00000319: DUP1
0000031a: PUSH4 0x081812fc
0000031f: EQ
00000320: PUSH2 0x03f5
00000323: JUMPI
00000324: DUP1
00000325: PUSH4 0x083f3fb2
0000032a: EQ
0000032b: PUSH2 0x042d
0000032e: JUMPI
0000032f: DUP1
00000330: PUSH4 0x095ea7b3
00000335: EQ
00000336: PUSH2 0x044d
00000339: JUMPI
0000033a: DUP1
0000033b: PUSH4 0x0a5774a4
00000340: EQ
00000341: PUSH2 0x046f
00000344: JUMPI
00000345: PUSH1 0x00
00000347: DUP1
00000348: REVERT
00000349: JUMPDEST
0000034a: DUP1
0000034b: PUSH4 0x01ffc9a7
00000350: EQ
00000351: PUSH2 0x0370
00000354: JUMPI
00000355: DUP1
00000356: PUSH4 0x023c23db
0000035b: EQ
0000035c: PUSH2 0x03a5
0000035f: JUMPI
00000360: DUP1
00000361: PUSH4 0x06fdde03
00000366: EQ
00000367: PUSH2 0x03d3
0000036a: JUMPI
0000036b: JUMPDEST
0000036c: PUSH1 0x00
0000036e: DUP1
0000036f: REVERT
00000370: JUMPDEST
00000371: CALLVALUE
00000372: DUP1
00000373: ISZERO
00000374: PUSH2 0x037c
00000377: JUMPI
00000378: PUSH1 0x00
0000037a: DUP1
0000037b: REVERT
0000037c: JUMPDEST
0000037d: POP
0000037e: PUSH2 0x0390
00000381: PUSH2 0x038b
00000384: CALLDATASIZE
00000385: PUSH1 0x04
00000387: PUSH2 0x3170
0000038a: JUMP
0000038b: JUMPDEST
0000038c: PUSH2 0x0ada
0000038f: JUMP
00000390: JUMPDEST
00000391: PUSH1 0x40
00000393: MLOAD
00000394: SWAP1
00000395: ISZERO
00000396: ISZERO
00000397: DUP2
00000398: MSTORE
00000399: PUSH1 0x20
0000039b: ADD
0000039c: JUMPDEST
0000039d: PUSH1 0x40
0000039f: MLOAD
000003a0: DUP1
000003a1: SWAP2
000003a2: SUB
000003a3: SWAP1
000003a4: RETURN
000003a5: JUMPDEST
000003a6: CALLVALUE
000003a7: DUP1
000003a8: ISZERO
000003a9: PUSH2 0x03b1
000003ac: JUMPI
000003ad: PUSH1 0x00
000003af: DUP1
000003b0: REVERT
000003b1: JUMPDEST
000003b2: POP
000003b3: PUSH2 0x03c5
000003b6: PUSH2 0x03c0
000003b9: CALLDATASIZE
000003ba: PUSH1 0x04
000003bc: PUSH2 0x318d
000003bf: JUMP
000003c0: JUMPDEST
000003c1: PUSH2 0x0b05
000003c4: JUMP
000003c5: JUMPDEST
000003c6: PUSH1 0x40
000003c8: MLOAD
000003c9: SWAP1
000003ca: DUP2
000003cb: MSTORE
000003cc: PUSH1 0x20
000003ce: ADD
000003cf: PUSH2 0x039c
000003d2: JUMP
000003d3: JUMPDEST
000003d4: CALLVALUE
000003d5: DUP1
000003d6: ISZERO
000003d7: PUSH2 0x03df
000003da: JUMPI
000003db: PUSH1 0x00
000003dd: DUP1
000003de: REVERT
000003df: JUMPDEST
000003e0: POP
000003e1: PUSH2 0x03e8
000003e4: PUSH2 0x0b51
000003e7: JUMP
000003e8: JUMPDEST
000003e9: PUSH1 0x40
000003eb: MLOAD
000003ec: PUSH2 0x039c
000003ef: SWAP2
000003f0: SWAP1
000003f1: PUSH2 0x31fe
000003f4: JUMP
000003f5: JUMPDEST
000003f6: CALLVALUE
000003f7: DUP1
000003f8: ISZERO
000003f9: PUSH2 0x0401
000003fc: JUMPI
000003fd: PUSH1 0x00
000003ff: DUP1
00000400: REVERT
00000401: JUMPDEST
00000402: POP
00000403: PUSH2 0x0415
00000406: PUSH2 0x0410
00000409: CALLDATASIZE
0000040a: PUSH1 0x04
0000040c: PUSH2 0x318d
0000040f: JUMP
00000410: JUMPDEST
00000411: PUSH2 0x0be3
00000414: JUMP
00000415: JUMPDEST
00000416: PUSH1 0x40
00000418: MLOAD
00000419: PUSH1 0x01
0000041b: PUSH1 0x01
0000041d: PUSH1 0xa0
0000041f: SHL
00000420: SUB
00000421: SWAP1
00000422: SWAP2
00000423: AND
00000424: DUP2
00000425: MSTORE
00000426: PUSH1 0x20
00000428: ADD
00000429: PUSH2 0x039c
0000042c: JUMP
0000042d: JUMPDEST
0000042e: CALLVALUE
0000042f: DUP1
00000430: ISZERO
00000431: PUSH2 0x0439
00000434: JUMPI
00000435: PUSH1 0x00
00000437: DUP1
00000438: REVERT
00000439: JUMPDEST
0000043a: POP
0000043b: PUSH2 0x03c5
0000043e: PUSH2 0x0448
00000441: CALLDATASIZE
00000442: PUSH1 0x04
00000444: PUSH2 0x322d
00000447: JUMP
00000448: JUMPDEST
00000449: PUSH2 0x0c7d
0000044c: JUMP
0000044d: JUMPDEST
0000044e: CALLVALUE
0000044f: DUP1
00000450: ISZERO
00000451: PUSH2 0x0459
00000454: JUMPI
00000455: PUSH1 0x00
00000457: DUP1
00000458: REVERT
00000459: JUMPDEST
0000045a: POP
0000045b: PUSH2 0x046d
0000045e: PUSH2 0x0468
00000461: CALLDATASIZE
00000462: PUSH1 0x04
00000464: PUSH2 0x322d
00000467: JUMP
00000468: JUMPDEST
00000469: PUSH2 0x0cae
0000046c: JUMP
0000046d: JUMPDEST
0000046e: STOP
0000046f: JUMPDEST
00000470: CALLVALUE
00000471: DUP1
00000472: ISZERO
00000473: PUSH2 0x047b
00000476: JUMPI
00000477: PUSH1 0x00
00000479: DUP1
0000047a: REVERT
0000047b: JUMPDEST
0000047c: POP
0000047d: PUSH2 0x046d
00000480: PUSH2 0x048a
00000483: CALLDATASIZE
00000484: PUSH1 0x04
00000486: PUSH2 0x3257
00000489: JUMP
0000048a: JUMPDEST
0000048b: PUSH2 0x0dc4
0000048e: JUMP
0000048f: JUMPDEST
00000490: CALLVALUE
00000491: DUP1
00000492: ISZERO
00000493: PUSH2 0x049b
00000496: JUMPI
00000497: PUSH1 0x00
00000499: DUP1
0000049a: REVERT
0000049b: JUMPDEST
0000049c: POP
0000049d: PUSH2 0x046d
000004a0: PUSH2 0x04aa
000004a3: CALLDATASIZE
000004a4: PUSH1 0x04
000004a6: PUSH2 0x32b9
000004a9: JUMP
000004aa: JUMPDEST
000004ab: PUSH2 0x0e54
000004ae: JUMP
000004af: JUMPDEST
000004b0: CALLVALUE
000004b1: DUP1
000004b2: ISZERO
000004b3: PUSH2 0x04bb
000004b6: JUMPI
000004b7: PUSH1 0x00
000004b9: DUP1
000004ba: REVERT
000004bb: JUMPDEST
000004bc: POP
000004bd: PUSH2 0x04f4
000004c0: PUSH2 0x04ca
000004c3: CALLDATASIZE
000004c4: PUSH1 0x04
000004c6: PUSH2 0x335f
000004c9: JUMP
000004ca: JUMPDEST
000004cb: PUSH32 0x150b7a023d4804d13e8c85fb27262cb750cf6ba9f9dd3bb30d90f482ceeb4b1f
000004ec: SWAP6
000004ed: SWAP5
000004ee: POP
000004ef: POP
000004f0: POP
000004f1: POP
000004f2: POP
000004f3: JUMP
000004f4: JUMPDEST
000004f5: PUSH1 0x40
000004f7: MLOAD
000004f8: PUSH1 0x01
000004fa: PUSH1 0x01
000004fc: PUSH1 0xe0
000004fe: SHL
000004ff: SUB
00000500: NOT
00000501: SWAP1
00000502: SWAP2
00000503: AND
00000504: DUP2
00000505: MSTORE
00000506: PUSH1 0x20
00000508: ADD
00000509: PUSH2 0x039c
0000050c: JUMP
0000050d: JUMPDEST
0000050e: CALLVALUE
0000050f: DUP1
00000510: ISZERO
00000511: PUSH2 0x0519
00000514: JUMPI
00000515: PUSH1 0x00
00000517: DUP1
00000518: REVERT
00000519: JUMPDEST
0000051a: POP
0000051b: PUSH1 0x08
0000051d: SLOAD
0000051e: PUSH2 0x03c5
00000521: JUMP
00000522: JUMPDEST
00000523: CALLVALUE
00000524: DUP1
00000525: ISZERO
00000526: PUSH2 0x052e
00000529: JUMPI
0000052a: PUSH1 0x00
0000052c: DUP1
0000052d: REVERT
0000052e: JUMPDEST
0000052f: POP
00000530: PUSH2 0x046d
00000533: PUSH2 0x053d
00000536: CALLDATASIZE
00000537: PUSH1 0x04
00000539: PUSH2 0x33fa
0000053c: JUMP
0000053d: JUMPDEST
0000053e: PUSH2 0x0f7c
00000541: JUMP
00000542: JUMPDEST
00000543: CALLVALUE
00000544: DUP1
00000545: ISZERO
00000546: PUSH2 0x054e
00000549: JUMPI
0000054a: PUSH1 0x00
0000054c: DUP1
0000054d: REVERT
0000054e: JUMPDEST
0000054f: POP
00000550: PUSH2 0x046d
00000553: PUSH2 0x055d
00000556: CALLDATASIZE
00000557: PUSH1 0x04
00000559: PUSH2 0x32b9
0000055c: JUMP
0000055d: JUMPDEST
0000055e: PUSH2 0x0fad
00000561: JUMP
00000562: JUMPDEST
00000563: CALLVALUE
00000564: DUP1
00000565: ISZERO
00000566: PUSH2 0x056e
00000569: JUMPI
0000056a: PUSH1 0x00
0000056c: DUP1
0000056d: REVERT
0000056e: JUMPDEST
0000056f: POP
00000570: PUSH2 0x03c5
00000573: PUSH2 0x057d
00000576: CALLDATASIZE
00000577: PUSH1 0x04
00000579: PUSH2 0x322d
0000057c: JUMP
0000057d: JUMPDEST
0000057e: PUSH2 0x12b1
00000581: JUMP
00000582: JUMPDEST
00000583: CALLVALUE
00000584: DUP1
00000585: ISZERO
00000586: PUSH2 0x058e
00000589: JUMPI
0000058a: PUSH1 0x00
0000058c: DUP1
0000058d: REVERT
0000058e: JUMPDEST
0000058f: POP
00000590: PUSH2 0x03c5
00000593: PUSH2 0x2710
00000596: DUP2
00000597: JUMP
00000598: JUMPDEST
00000599: CALLVALUE
0000059a: DUP1
0000059b: ISZERO
0000059c: PUSH2 0x05a4
0000059f: JUMPI
000005a0: PUSH1 0x00
000005a2: DUP1
000005a3: REVERT
000005a4: JUMPDEST
000005a5: POP
000005a6: PUSH1 0x0f
000005a8: SLOAD
000005a9: PUSH2 0x0415
000005ac: SWAP1
000005ad: PUSH1 0x01
000005af: PUSH1 0x01
000005b1: PUSH1 0xa0
000005b3: SHL
000005b4: SUB
000005b5: AND
000005b6: DUP2
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 0x03c5
000005c9: PUSH1 0x0d
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: PUSH2 0x0415
000005df: PUSH2 0x05e9
000005e2: CALLDATASIZE
000005e3: PUSH1 0x04
000005e5: PUSH2 0x318d
000005e8: JUMP
000005e9: JUMPDEST
000005ea: PUSH1 0x13
000005ec: PUSH1 0x20
000005ee: MSTORE
000005ef: PUSH1 0x00
000005f1: SWAP1
000005f2: DUP2
000005f3: MSTORE
000005f4: PUSH1 0x40
000005f6: SWAP1
000005f7: KECCAK256
000005f8: SLOAD
000005f9: PUSH1 0x01
000005fb: PUSH1 0x01
000005fd: PUSH1 0xa0
000005ff: SHL
00000600: SUB
00000601: AND
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 0x046d
00000615: PUSH2 0x1347
00000618: JUMP
00000619: JUMPDEST
0000061a: CALLVALUE
0000061b: DUP1
0000061c: ISZERO
0000061d: PUSH2 0x0625
00000620: JUMPI
00000621: PUSH1 0x00
00000623: DUP1
00000624: REVERT
00000625: JUMPDEST
00000626: POP
00000627: PUSH2 0x046d
0000062a: PUSH2 0x0634
0000062d: CALLDATASIZE
0000062e: PUSH1 0x04
00000630: PUSH2 0x33fa
00000633: JUMP
00000634: JUMPDEST
00000635: PUSH2 0x13ad
00000638: JUMP
00000639: JUMPDEST
0000063a: CALLVALUE
0000063b: DUP1
0000063c: ISZERO
0000063d: PUSH2 0x0645
00000640: JUMPI
00000641: PUSH1 0x00
00000643: DUP1
00000644: REVERT
00000645: JUMPDEST
00000646: POP
00000647: PUSH2 0x03c5
0000064a: PUSH2 0x0654
0000064d: CALLDATASIZE
0000064e: PUSH1 0x04
00000650: PUSH2 0x318d
00000653: JUMP
00000654: JUMPDEST
00000655: PUSH1 0x14
00000657: PUSH1 0x20
00000659: MSTORE
0000065a: PUSH1 0x00
0000065c: SWAP1
0000065d: DUP2
0000065e: MSTORE
0000065f: PUSH1 0x40
00000661: SWAP1
00000662: KECCAK256
00000663: SLOAD
00000664: DUP2
00000665: JUMP
00000666: JUMPDEST
00000667: CALLVALUE
00000668: DUP1
00000669: ISZERO
0000066a: PUSH2 0x0672
0000066d: JUMPI
0000066e: PUSH1 0x00
00000670: DUP1
00000671: REVERT
00000672: JUMPDEST
00000673: POP
00000674: PUSH2 0x03c5
00000677: PUSH2 0x0681
0000067a: CALLDATASIZE
0000067b: PUSH1 0x04
0000067d: PUSH2 0x318d
00000680: JUMP
00000681: JUMPDEST
00000682: PUSH2 0x13c8
00000685: JUMP
00000686: JUMPDEST
00000687: CALLVALUE
00000688: DUP1
00000689: ISZERO
0000068a: PUSH2 0x0692
0000068d: JUMPI
0000068e: PUSH1 0x00
00000690: DUP1
00000691: REVERT
00000692: JUMPDEST
00000693: POP
00000694: PUSH2 0x0415
00000697: PUSH2 0x06a1
0000069a: CALLDATASIZE
0000069b: PUSH1 0x04
0000069d: PUSH2 0x318d
000006a0: JUMP
000006a1: JUMPDEST
000006a2: PUSH2 0x145b
000006a5: JUMP
000006a6: JUMPDEST
000006a7: CALLVALUE
000006a8: DUP1
000006a9: ISZERO
000006aa: PUSH2 0x06b2
000006ad: JUMPI
000006ae: PUSH1 0x00
000006b0: DUP1
000006b1: REVERT
000006b2: JUMPDEST
000006b3: POP
000006b4: PUSH2 0x046d
000006b7: PUSH2 0x06c1
000006ba: CALLDATASIZE
000006bb: PUSH1 0x04
000006bd: PUSH2 0x348e
000006c0: JUMP
000006c1: JUMPDEST
000006c2: PUSH2 0x149d
000006c5: JUMP
000006c6: JUMPDEST
000006c7: CALLVALUE
000006c8: DUP1
000006c9: ISZERO
000006ca: PUSH2 0x06d2
000006cd: JUMPI
000006ce: PUSH1 0x00
000006d0: DUP1
000006d1: REVERT
000006d2: JUMPDEST
000006d3: POP
000006d4: PUSH2 0x06e6
000006d7: PUSH2 0x06e1
000006da: CALLDATASIZE
000006db: PUSH1 0x04
000006dd: PUSH2 0x3257
000006e0: JUMP
000006e1: JUMPDEST
000006e2: PUSH2 0x14de
000006e5: JUMP
000006e6: JUMPDEST
000006e7: PUSH1 0x40
000006e9: MLOAD
000006ea: PUSH2 0x039c
000006ed: SWAP2
000006ee: SWAP1
000006ef: PUSH2 0x3512
000006f2: JUMP
000006f3: JUMPDEST
000006f4: CALLVALUE
000006f5: DUP1
000006f6: ISZERO
000006f7: PUSH2 0x06ff
000006fa: JUMPI
000006fb: PUSH1 0x00
000006fd: DUP1
000006fe: REVERT
000006ff: JUMPDEST
00000700: POP
00000701: PUSH2 0x03c5
00000704: PUSH1 0x02
00000706: DUP2
00000707: JUMP
00000708: JUMPDEST
00000709: CALLVALUE
0000070a: DUP1
0000070b: ISZERO
0000070c: PUSH2 0x0714
0000070f: JUMPI
00000710: PUSH1 0x00
00000712: DUP1
00000713: REVERT
00000714: JUMPDEST
00000715: POP
00000716: PUSH2 0x03c5
00000719: PUSH2 0x0723
0000071c: CALLDATASIZE
0000071d: PUSH1 0x04
0000071f: PUSH2 0x318d
00000722: JUMP
00000723: JUMPDEST
00000724: PUSH1 0x16
00000726: PUSH1 0x20
00000728: MSTORE
00000729: PUSH1 0x00
0000072b: SWAP1
0000072c: DUP2
0000072d: MSTORE
0000072e: PUSH1 0x40
00000730: SWAP1
00000731: KECCAK256
00000732: SLOAD
00000733: DUP2
00000734: JUMP
00000735: JUMPDEST
00000736: CALLVALUE
00000737: DUP1
00000738: ISZERO
00000739: PUSH2 0x0741
0000073c: JUMPI
0000073d: PUSH1 0x00
0000073f: DUP1
00000740: REVERT
00000741: JUMPDEST
00000742: POP
00000743: PUSH2 0x03c5
00000746: PUSH1 0x0b
00000748: SLOAD
00000749: DUP2
0000074a: JUMP
0000074b: JUMPDEST
0000074c: CALLVALUE
0000074d: DUP1
0000074e: ISZERO
0000074f: PUSH2 0x0757
00000752: JUMPI
00000753: PUSH1 0x00
00000755: DUP1
00000756: REVERT
00000757: JUMPDEST
00000758: POP
00000759: PUSH2 0x0415
0000075c: PUSH2 0x0766
0000075f: CALLDATASIZE
00000760: PUSH1 0x04
00000762: PUSH2 0x318d
00000765: JUMP
00000766: JUMPDEST
00000767: PUSH2 0x1580
0000076a: JUMP
0000076b: JUMPDEST
0000076c: CALLVALUE
0000076d: DUP1
0000076e: ISZERO
0000076f: PUSH2 0x0777
00000772: JUMPI
00000773: PUSH1 0x00
00000775: DUP1
00000776: REVERT
00000777: JUMPDEST
00000778: POP
00000779: PUSH2 0x06e6
0000077c: PUSH2 0x0786
0000077f: CALLDATASIZE
00000780: PUSH1 0x04
00000782: PUSH2 0x3257
00000785: JUMP
00000786: JUMPDEST
00000787: PUSH2 0x15f7
0000078a: JUMP
0000078b: JUMPDEST
0000078c: CALLVALUE
0000078d: DUP1
0000078e: ISZERO
0000078f: PUSH2 0x0797
00000792: JUMPI
00000793: PUSH1 0x00
00000795: DUP1
00000796: REVERT
00000797: JUMPDEST
00000798: POP
00000799: PUSH2 0x03c5
0000079c: PUSH2 0x07a6
0000079f: CALLDATASIZE
000007a0: PUSH1 0x04
000007a2: PUSH2 0x3257
000007a5: JUMP
000007a6: JUMPDEST
000007a7: PUSH2 0x1663
000007aa: JUMP
000007ab: JUMPDEST
000007ac: CALLVALUE
000007ad: DUP1
000007ae: ISZERO
000007af: PUSH2 0x07b7
000007b2: JUMPI
000007b3: PUSH1 0x00
000007b5: DUP1
000007b6: REVERT
000007b7: JUMPDEST
000007b8: POP
000007b9: PUSH2 0x046d
000007bc: PUSH2 0x16ea
000007bf: JUMP
000007c0: JUMPDEST
000007c1: CALLVALUE
000007c2: DUP1
000007c3: ISZERO
000007c4: PUSH2 0x07cc
000007c7: JUMPI
000007c8: PUSH1 0x00
000007ca: DUP1
000007cb: REVERT
000007cc: JUMPDEST
000007cd: POP
000007ce: PUSH1 0x0f
000007d0: SLOAD
000007d1: PUSH2 0x0390
000007d4: SWAP1
000007d5: PUSH1 0x01
000007d7: PUSH1 0xa0
000007d9: SHL
000007da: SWAP1
000007db: DIV
000007dc: PUSH1 0xff
000007de: AND
000007df: DUP2
000007e0: JUMP
000007e1: JUMPDEST
000007e2: CALLVALUE
000007e3: DUP1
000007e4: ISZERO
000007e5: PUSH2 0x07ed
000007e8: JUMPI
000007e9: PUSH1 0x00
000007eb: DUP1
000007ec: REVERT
000007ed: JUMPDEST
000007ee: POP
000007ef: PUSH1 0x0f
000007f1: SLOAD
000007f2: PUSH2 0x0390
000007f5: SWAP1
000007f6: PUSH1 0x01
000007f8: PUSH1 0xa8
000007fa: SHL
000007fb: SWAP1
000007fc: DIV
000007fd: PUSH1 0xff
000007ff: AND
00000800: DUP2
00000801: JUMP
00000802: JUMPDEST
00000803: CALLVALUE
00000804: DUP1
00000805: ISZERO
00000806: PUSH2 0x080e
00000809: JUMPI
0000080a: PUSH1 0x00
0000080c: DUP1
0000080d: REVERT
0000080e: JUMPDEST
0000080f: POP
00000810: PUSH2 0x03c5
00000813: PUSH1 0x0e
00000815: SLOAD
00000816: DUP2
00000817: JUMP
00000818: JUMPDEST
00000819: CALLVALUE
0000081a: DUP1
0000081b: ISZERO
0000081c: PUSH2 0x0824
0000081f: JUMPI
00000820: PUSH1 0x00
00000822: DUP1
00000823: REVERT
00000824: JUMPDEST
00000825: POP
00000826: PUSH2 0x046d
00000829: PUSH2 0x1720
0000082c: JUMP
0000082d: JUMPDEST
0000082e: CALLVALUE
0000082f: DUP1
00000830: ISZERO
00000831: PUSH2 0x0839
00000834: JUMPI
00000835: PUSH1 0x00
00000837: DUP1
00000838: REVERT
00000839: JUMPDEST
0000083a: POP
0000083b: PUSH1 0x0a
0000083d: SLOAD
0000083e: PUSH1 0x01
00000840: PUSH1 0x01
00000842: PUSH1 0xa0
00000844: SHL
00000845: SUB
00000846: AND
00000847: PUSH2 0x0415
0000084a: JUMP
0000084b: JUMPDEST
0000084c: CALLVALUE
0000084d: DUP1
0000084e: ISZERO
0000084f: PUSH2 0x0857
00000852: JUMPI
00000853: PUSH1 0x00
00000855: DUP1
00000856: REVERT
00000857: JUMPDEST
00000858: POP
00000859: PUSH2 0x03c5
0000085c: PUSH1 0x0e
0000085e: DUP2
0000085f: JUMP
00000860: JUMPDEST
00000861: CALLVALUE
00000862: DUP1
00000863: ISZERO
00000864: PUSH2 0x086c
00000867: JUMPI
00000868: PUSH1 0x00
0000086a: DUP1
0000086b: REVERT
0000086c: JUMPDEST
0000086d: POP
0000086e: PUSH2 0x03e8
00000871: PUSH2 0x175f
00000874: JUMP
00000875: JUMPDEST
00000876: PUSH2 0x046d
00000879: PUSH2 0x0883
0000087c: CALLDATASIZE
0000087d: PUSH1 0x04
0000087f: PUSH2 0x318d
00000882: JUMP
00000883: JUMPDEST
00000884: PUSH2 0x176e
00000887: JUMP
00000888: JUMPDEST
00000889: CALLVALUE
0000088a: DUP1
0000088b: ISZERO
0000088c: PUSH2 0x0894
0000088f: JUMPI
00000890: PUSH1 0x00
00000892: DUP1
00000893: REVERT
00000894: JUMPDEST
00000895: POP
00000896: PUSH2 0x046d
00000899: PUSH2 0x08a3
0000089c: CALLDATASIZE
0000089d: PUSH1 0x04
0000089f: PUSH2 0x3525
000008a2: JUMP
000008a3: JUMPDEST
000008a4: PUSH2 0x19d9
000008a7: JUMP
000008a8: JUMPDEST
000008a9: CALLVALUE
000008aa: DUP1
000008ab: ISZERO
000008ac: PUSH2 0x08b4
000008af: JUMPI
000008b0: PUSH1 0x00
000008b2: DUP1
000008b3: REVERT
000008b4: JUMPDEST
000008b5: POP
000008b6: PUSH2 0x03c5
000008b9: PUSH1 0x0c
000008bb: SLOAD
000008bc: DUP2
000008bd: JUMP
000008be: JUMPDEST
000008bf: CALLVALUE
000008c0: DUP1
000008c1: ISZERO
000008c2: PUSH2 0x08ca
000008c5: JUMPI
000008c6: PUSH1 0x00
000008c8: DUP1
000008c9: REVERT
000008ca: JUMPDEST
000008cb: POP
000008cc: PUSH2 0x08de
000008cf: PUSH2 0x08d9
000008d2: CALLDATASIZE
000008d3: PUSH1 0x04
000008d5: PUSH2 0x318d
000008d8: JUMP
000008d9: JUMPDEST
000008da: PUSH2 0x1a9e
000008dd: JUMP
000008de: JUMPDEST
000008df: PUSH1 0x40
000008e1: DUP1
000008e2: MLOAD
000008e3: SWAP5
000008e4: DUP6
000008e5: MSTORE
000008e6: PUSH1 0x20
000008e8: DUP6
000008e9: ADD
000008ea: SWAP4
000008eb: SWAP1
000008ec: SWAP4
000008ed: MSTORE
000008ee: SWAP2
000008ef: DUP4
000008f0: ADD
000008f1: MSTORE
000008f2: PUSH1 0x60
000008f4: DUP3
000008f5: ADD
000008f6: MSTORE
000008f7: PUSH1 0x80
000008f9: ADD
000008fa: PUSH2 0x039c
000008fd: JUMP
000008fe: JUMPDEST
000008ff: CALLVALUE
00000900: DUP1
00000901: ISZERO
00000902: PUSH2 0x090a
00000905: JUMPI
00000906: PUSH1 0x00
00000908: DUP1
00000909: REVERT
0000090a: JUMPDEST
0000090b: POP
0000090c: PUSH2 0x091e
0000090f: PUSH2 0x0919
00000912: CALLDATASIZE
00000913: PUSH1 0x04
00000915: PUSH2 0x3561
00000918: JUMP
00000919: JUMPDEST
0000091a: PUSH2 0x1af9
0000091d: JUMP
0000091e: JUMPDEST
0000091f: PUSH1 0x40
00000921: MLOAD
00000922: PUSH2 0x039c
00000925: SWAP3
00000926: SWAP2
00000927: SWAP1
00000928: PUSH2 0x358d
0000092b: JUMP
0000092c: JUMPDEST
0000092d: CALLVALUE
0000092e: DUP1
0000092f: ISZERO
00000930: PUSH2 0x0938
00000933: JUMPI
00000934: PUSH1 0x00
00000936: DUP1
00000937: REVERT
00000938: JUMPDEST
00000939: POP
0000093a: PUSH2 0x046d
0000093d: PUSH2 0x0947
00000940: CALLDATASIZE
00000941: PUSH1 0x04
00000943: PUSH2 0x35a6
00000946: JUMP
00000947: JUMPDEST
00000948: PUSH2 0x1b41
0000094b: JUMP
0000094c: JUMPDEST
0000094d: CALLVALUE
0000094e: DUP1
0000094f: ISZERO
00000950: PUSH2 0x0958
00000953: JUMPI
00000954: PUSH1 0x00
00000956: DUP1
00000957: REVERT
00000958: JUMPDEST
00000959: POP
0000095a: PUSH2 0x046d
0000095d: PUSH2 0x0967
00000960: CALLDATASIZE
00000961: PUSH1 0x04
00000963: PUSH2 0x35c8
00000966: JUMP
00000967: JUMPDEST
00000968: PUSH2 0x1b7f
0000096b: JUMP
0000096c: JUMPDEST
0000096d: CALLVALUE
0000096e: DUP1
0000096f: ISZERO
00000970: PUSH2 0x0978
00000973: JUMPI
00000974: PUSH1 0x00
00000976: DUP1
00000977: REVERT
00000978: JUMPDEST
00000979: POP
0000097a: PUSH2 0x046d
0000097d: PUSH2 0x1bb7
00000980: JUMP
00000981: JUMPDEST
00000982: CALLVALUE
00000983: DUP1
00000984: ISZERO
00000985: PUSH2 0x098d
00000988: JUMPI
00000989: PUSH1 0x00
0000098b: DUP1
0000098c: REVERT
0000098d: JUMPDEST
0000098e: POP
0000098f: PUSH2 0x08de
00000992: PUSH2 0x1c02
00000995: JUMP
00000996: JUMPDEST
00000997: CALLVALUE
00000998: DUP1
00000999: ISZERO
0000099a: PUSH2 0x09a2
0000099d: JUMPI
0000099e: PUSH1 0x00
000009a0: DUP1
000009a1: REVERT
000009a2: JUMPDEST
000009a3: POP
000009a4: PUSH2 0x03c5
000009a7: PUSH7 0x5543df729c0000
000009af: DUP2
000009b0: JUMP
000009b1: JUMPDEST
000009b2: CALLVALUE
000009b3: DUP1
000009b4: ISZERO
000009b5: PUSH2 0x09bd
000009b8: JUMPI
000009b9: PUSH1 0x00
000009bb: DUP1
000009bc: REVERT
000009bd: JUMPDEST
000009be: POP
000009bf: PUSH2 0x03e8
000009c2: PUSH2 0x09cc
000009c5: CALLDATASIZE
000009c6: PUSH1 0x04
000009c8: PUSH2 0x318d
000009cb: JUMP
000009cc: JUMPDEST
000009cd: PUSH2 0x1c28
000009d0: JUMP
000009d1: JUMPDEST
000009d2: CALLVALUE
000009d3: DUP1
000009d4: ISZERO
000009d5: PUSH2 0x09dd
000009d8: JUMPI
000009d9: PUSH1 0x00
000009db: DUP1
000009dc: REVERT
000009dd: JUMPDEST
000009de: POP
000009df: PUSH2 0x03c5
000009e2: PUSH2 0x09ec
000009e5: CALLDATASIZE
000009e6: PUSH1 0x04
000009e8: PUSH2 0x318d
000009eb: JUMP
000009ec: JUMPDEST
000009ed: PUSH1 0x11
000009ef: PUSH1 0x20
000009f1: MSTORE
000009f2: PUSH1 0x00
000009f4: SWAP1
000009f5: DUP2
000009f6: MSTORE
000009f7: PUSH1 0x40
000009f9: SWAP1
000009fa: KECCAK256
000009fb: SLOAD
000009fc: DUP2
000009fd: JUMP
000009fe: JUMPDEST
000009ff: CALLVALUE
00000a00: DUP1
00000a01: ISZERO
00000a02: PUSH2 0x0a0a
00000a05: JUMPI
00000a06: PUSH1 0x00
00000a08: DUP1
00000a09: REVERT
00000a0a: JUMPDEST
00000a0b: POP
00000a0c: PUSH2 0x03c5
00000a0f: PUSH2 0x0a19
00000a12: CALLDATASIZE
00000a13: PUSH1 0x04
00000a15: PUSH2 0x322d
00000a18: JUMP
00000a19: JUMPDEST
00000a1a: PUSH2 0x1d03
00000a1d: JUMP
00000a1e: JUMPDEST
00000a1f: CALLVALUE
00000a20: DUP1
00000a21: ISZERO
00000a22: PUSH2 0x0a2a
00000a25: JUMPI
00000a26: PUSH1 0x00
00000a28: DUP1
00000a29: REVERT
00000a2a: JUMPDEST
00000a2b: POP
00000a2c: PUSH2 0x03c5
00000a2f: PUSH2 0x0a39
00000a32: CALLDATASIZE
00000a33: PUSH1 0x04
00000a35: PUSH2 0x318d
00000a38: JUMP
00000a39: JUMPDEST
00000a3a: PUSH2 0x1d9d
00000a3d: JUMP
00000a3e: JUMPDEST
00000a3f: CALLVALUE
00000a40: DUP1
00000a41: ISZERO
00000a42: PUSH2 0x0a4a
00000a45: JUMPI
00000a46: PUSH1 0x00
00000a48: DUP1
00000a49: REVERT
00000a4a: JUMPDEST
00000a4b: POP
00000a4c: PUSH2 0x091e
00000a4f: PUSH2 0x0a59
00000a52: CALLDATASIZE
00000a53: PUSH1 0x04
00000a55: PUSH2 0x3644
00000a58: JUMP
00000a59: JUMPDEST
00000a5a: PUSH2 0x1e1f
00000a5d: JUMP
00000a5e: JUMPDEST
00000a5f: PUSH2 0x046d
00000a62: PUSH2 0x0a6c
00000a65: CALLDATASIZE
00000a66: PUSH1 0x04
00000a68: PUSH2 0x32b9
00000a6b: JUMP
00000a6c: JUMPDEST
00000a6d: PUSH2 0x21f5
00000a70: JUMP
00000a71: JUMPDEST
00000a72: CALLVALUE
00000a73: DUP1
00000a74: ISZERO
00000a75: PUSH2 0x0a7d
00000a78: JUMPI
00000a79: PUSH1 0x00
00000a7b: DUP1
00000a7c: REVERT
00000a7d: JUMPDEST
00000a7e: POP
00000a7f: PUSH2 0x0390
00000a82: PUSH2 0x0a8c
00000a85: CALLDATASIZE
00000a86: PUSH1 0x04
00000a88: PUSH2 0x3687
00000a8b: JUMP
00000a8c: JUMPDEST
00000a8d: PUSH1 0x01
00000a8f: PUSH1 0x01
00000a91: PUSH1 0xa0
00000a93: SHL
00000a94: SUB
00000a95: SWAP2
00000a96: DUP3
00000a97: AND
00000a98: PUSH1 0x00
00000a9a: SWAP1
00000a9b: DUP2
00000a9c: MSTORE
00000a9d: PUSH1 0x05
00000a9f: PUSH1 0x20
00000aa1: SWAP1
00000aa2: DUP2
00000aa3: MSTORE
00000aa4: PUSH1 0x40
00000aa6: DUP1
00000aa7: DUP4
00000aa8: KECCAK256
00000aa9: SWAP4
00000aaa: SWAP1
00000aab: SWAP5
00000aac: AND
00000aad: DUP3
00000aae: MSTORE
00000aaf: SWAP2
00000ab0: SWAP1
00000ab1: SWAP2
00000ab2: MSTORE
00000ab3: KECCAK256
00000ab4: SLOAD
00000ab5: PUSH1 0xff
00000ab7: AND
00000ab8: SWAP1
00000ab9: JUMP
00000aba: JUMPDEST
00000abb: CALLVALUE
00000abc: DUP1
00000abd: ISZERO
00000abe: PUSH2 0x0ac6
00000ac1: JUMPI
00000ac2: PUSH1 0x00
00000ac4: DUP1
00000ac5: REVERT
00000ac6: JUMPDEST
00000ac7: POP
00000ac8: PUSH2 0x046d
00000acb: PUSH2 0x0ad5
00000ace: CALLDATASIZE
00000acf: PUSH1 0x04
00000ad1: PUSH2 0x3257
00000ad4: JUMP
00000ad5: JUMPDEST
00000ad6: PUSH2 0x23d1
00000ad9: JUMP
00000ada: JUMPDEST
00000adb: PUSH1 0x00
00000add: PUSH1 0x01
00000adf: PUSH1 0x01
00000ae1: PUSH1 0xe0
00000ae3: SHL
00000ae4: SUB
00000ae5: NOT
00000ae6: DUP3
00000ae7: AND
00000ae8: PUSH4 0x780e9d63
00000aed: PUSH1 0xe0
00000aef: SHL
00000af0: EQ
00000af1: DUP1
00000af2: PUSH2 0x0aff
00000af5: JUMPI
00000af6: POP
00000af7: PUSH2 0x0aff
00000afa: DUP3
00000afb: PUSH2 0x2469
00000afe: JUMP
00000aff: JUMPDEST
00000b00: SWAP3
00000b01: SWAP2
00000b02: POP
00000b03: POP
00000b04: JUMP
00000b05: JUMPDEST
00000b06: PUSH1 0x00
00000b08: DUP1
00000b09: PUSH1 0x02
00000b0b: PUSH2 0x0b28
00000b0e: PUSH2 0x0b18
00000b11: PUSH1 0x07
00000b13: DUP7
00000b14: PUSH2 0x36e6
00000b17: JUMP
00000b18: JUMPDEST
00000b19: PUSH2 0x0b23
00000b1c: SWAP1
00000b1d: PUSH1 0x0a
00000b1f: PUSH2 0x36fa
00000b22: JUMP
00000b23: JUMPDEST
00000b24: PUSH2 0x24b9
00000b27: JUMP
00000b28: JUMPDEST
00000b29: PUSH2 0x0b32
00000b2c: SWAP2
00000b2d: SWAP1
00000b2e: PUSH2 0x36e6
00000b31: JUMP
00000b32: JUMPDEST
00000b33: PUSH2 0x0b3d
00000b36: SWAP1
00000b37: PUSH1 0x02
00000b39: PUSH2 0x36fa
00000b3c: JUMP
00000b3d: JUMPDEST
00000b3e: SWAP1
00000b3f: POP
00000b40: PUSH1 0x08
00000b42: DUP2
00000b43: LT
00000b44: ISZERO
00000b45: PUSH2 0x0aff
00000b48: JUMPI
00000b49: POP
00000b4a: PUSH1 0x08
00000b4c: SWAP3
00000b4d: SWAP2
00000b4e: POP
00000b4f: POP
00000b50: JUMP
00000b51: JUMPDEST
00000b52: PUSH1 0x60
00000b54: PUSH1 0x00
00000b56: DUP1
00000b57: SLOAD
00000b58: PUSH2 0x0b60
00000b5b: SWAP1
00000b5c: PUSH2 0x3719
00000b5f: JUMP
00000b60: JUMPDEST
00000b61: DUP1
00000b62: PUSH1 0x1f
00000b64: ADD
00000b65: PUSH1 0x20
00000b67: DUP1
00000b68: SWAP2
00000b69: DIV
00000b6a: MUL
00000b6b: PUSH1 0x20
00000b6d: ADD
00000b6e: PUSH1 0x40
00000b70: MLOAD
00000b71: SWAP1
00000b72: DUP2
00000b73: ADD
00000b74: PUSH1 0x40
00000b76: MSTORE
00000b77: DUP1
00000b78: SWAP3
00000b79: SWAP2
00000b7a: SWAP1
00000b7b: DUP2
00000b7c: DUP2
00000b7d: MSTORE
00000b7e: PUSH1 0x20
00000b80: ADD
00000b81: DUP3
00000b82: DUP1
00000b83: SLOAD
00000b84: PUSH2 0x0b8c
00000b87: SWAP1
00000b88: PUSH2 0x3719
00000b8b: JUMP
00000b8c: JUMPDEST
00000b8d: DUP1
00000b8e: ISZERO
00000b8f: PUSH2 0x0bd9
00000b92: JUMPI
00000b93: DUP1
00000b94: PUSH1 0x1f
00000b96: LT
00000b97: PUSH2 0x0bae
00000b9a: JUMPI
00000b9b: PUSH2 0x0100
00000b9e: DUP1
00000b9f: DUP4
00000ba0: SLOAD
00000ba1: DIV
00000ba2: MUL
00000ba3: DUP4
00000ba4: MSTORE
00000ba5: SWAP2
00000ba6: PUSH1 0x20
00000ba8: ADD
00000ba9: SWAP2
00000baa: PUSH2 0x0bd9
00000bad: JUMP
00000bae: JUMPDEST
00000baf: DUP3
00000bb0: ADD
00000bb1: SWAP2
00000bb2: SWAP1
00000bb3: PUSH1 0x00
00000bb5: MSTORE
00000bb6: PUSH1 0x20
00000bb8: PUSH1 0x00
00000bba: KECCAK256
00000bbb: SWAP1
00000bbc: JUMPDEST
00000bbd: DUP2
00000bbe: SLOAD
00000bbf: DUP2
00000bc0: MSTORE
00000bc1: SWAP1
00000bc2: PUSH1 0x01
00000bc4: ADD
00000bc5: SWAP1
00000bc6: PUSH1 0x20
00000bc8: ADD
00000bc9: DUP1
00000bca: DUP4
00000bcb: GT
00000bcc: PUSH2 0x0bbc
00000bcf: JUMPI
00000bd0: DUP3
00000bd1: SWAP1
00000bd2: SUB
00000bd3: PUSH1 0x1f
00000bd5: AND
00000bd6: DUP3
00000bd7: ADD
00000bd8: SWAP2
00000bd9: JUMPDEST
00000bda: POP
00000bdb: POP
00000bdc: POP
00000bdd: POP
00000bde: POP
00000bdf: SWAP1
00000be0: POP
00000be1: SWAP1
00000be2: JUMP
00000be3: JUMPDEST
00000be4: PUSH1 0x00
00000be6: DUP2
00000be7: DUP2
00000be8: MSTORE
00000be9: PUSH1 0x02
00000beb: PUSH1 0x20
00000bed: MSTORE
00000bee: PUSH1 0x40
00000bf0: DUP2
00000bf1: KECCAK256
00000bf2: SLOAD
00000bf3: PUSH1 0x01
00000bf5: PUSH1 0x01
00000bf7: PUSH1 0xa0
00000bf9: SHL
00000bfa: SUB
00000bfb: AND
00000bfc: PUSH2 0x0c61
00000bff: JUMPI
00000c00: PUSH1 0x40
00000c02: MLOAD
00000c03: PUSH3 0x461bcd
00000c07: PUSH1 0xe5
00000c09: SHL
00000c0a: DUP2
00000c0b: MSTORE
00000c0c: PUSH1 0x20
00000c0e: PUSH1 0x04
00000c10: DUP3
00000c11: ADD
00000c12: MSTORE
00000c13: PUSH1 0x2c
00000c15: PUSH1 0x24
00000c17: DUP3
00000c18: ADD
00000c19: MSTORE
00000c1a: PUSH32 0x4552433732313a20617070726f76656420717565727920666f72206e6f6e6578
00000c3b: PUSH1 0x44
00000c3d: DUP3
00000c3e: ADD
00000c3f: MSTORE
00000c40: PUSH12 0x34b9ba32b73a103a37b5b2b7
00000c4d: PUSH1 0xa1
00000c4f: SHL
00000c50: PUSH1 0x64
00000c52: DUP3
00000c53: ADD
00000c54: MSTORE
00000c55: PUSH1 0x84
00000c57: ADD
00000c58: JUMPDEST
00000c59: PUSH1 0x40
00000c5b: MLOAD
00000c5c: DUP1
00000c5d: SWAP2
00000c5e: SUB
00000c5f: SWAP1
00000c60: REVERT
00000c61: JUMPDEST
00000c62: POP
00000c63: PUSH1 0x00
00000c65: SWAP1
00000c66: DUP2
00000c67: MSTORE
00000c68: PUSH1 0x04
00000c6a: PUSH1 0x20
00000c6c: MSTORE
00000c6d: PUSH1 0x40
00000c6f: SWAP1
00000c70: KECCAK256
00000c71: SLOAD
00000c72: PUSH1 0x01
00000c74: PUSH1 0x01
00000c76: PUSH1 0xa0
00000c78: SHL
00000c79: SUB
00000c7a: AND
00000c7b: SWAP1
00000c7c: JUMP
00000c7d: JUMPDEST
00000c7e: PUSH1 0x15
00000c80: PUSH1 0x20
00000c82: MSTORE
00000c83: DUP2
00000c84: PUSH1 0x00
00000c86: MSTORE
00000c87: PUSH1 0x40
00000c89: PUSH1 0x00
00000c8b: KECCAK256
00000c8c: DUP2
00000c8d: DUP2
00000c8e: SLOAD
00000c8f: DUP2
00000c90: LT
00000c91: PUSH2 0x0c99
00000c94: JUMPI
00000c95: PUSH1 0x00
00000c97: DUP1
00000c98: REVERT
00000c99: JUMPDEST
00000c9a: SWAP1
00000c9b: PUSH1 0x00
00000c9d: MSTORE
00000c9e: PUSH1 0x20
00000ca0: PUSH1 0x00
00000ca2: KECCAK256
00000ca3: ADD
00000ca4: PUSH1 0x00
00000ca6: SWAP2
00000ca7: POP
00000ca8: SWAP2
00000ca9: POP
00000caa: POP
00000cab: SLOAD
00000cac: DUP2
00000cad: JUMP
00000cae: JUMPDEST
00000caf: PUSH1 0x00
00000cb1: PUSH2 0x0cb9
00000cb4: DUP3
00000cb5: PUSH2 0x1580
00000cb8: JUMP
00000cb9: JUMPDEST
00000cba: SWAP1
00000cbb: POP
00000cbc: DUP1
00000cbd: PUSH1 0x01
00000cbf: PUSH1 0x01
00000cc1: PUSH1 0xa0
00000cc3: SHL
00000cc4: SUB
00000cc5: AND
00000cc6: DUP4
00000cc7: PUSH1 0x01
00000cc9: PUSH1 0x01
00000ccb: PUSH1 0xa0
00000ccd: SHL
00000cce: SUB
00000ccf: AND
00000cd0: EQ
00000cd1: ISZERO
00000cd2: PUSH2 0x0d27
00000cd5: JUMPI
00000cd6: PUSH1 0x40
00000cd8: MLOAD
00000cd9: PUSH3 0x461bcd
00000cdd: PUSH1 0xe5
00000cdf: SHL
00000ce0: DUP2
00000ce1: MSTORE
00000ce2: PUSH1 0x20
00000ce4: PUSH1 0x04
00000ce6: DUP3
00000ce7: ADD
00000ce8: MSTORE
00000ce9: PUSH1 0x21
00000ceb: PUSH1 0x24
00000ced: DUP3
00000cee: ADD
00000cef: MSTORE
00000cf0: PUSH32 0x4552433732313a20617070726f76616c20746f2063757272656e74206f776e65
00000d11: PUSH1 0x44
00000d13: DUP3
00000d14: ADD
00000d15: MSTORE
00000d16: PUSH1 0x39
00000d18: PUSH1 0xf9
00000d1a: SHL
00000d1b: PUSH1 0x64
00000d1d: DUP3
00000d1e: ADD
00000d1f: MSTORE
00000d20: PUSH1 0x84
00000d22: ADD
00000d23: PUSH2 0x0c58
00000d26: JUMP
00000d27: JUMPDEST
00000d28: CALLER
00000d29: PUSH1 0x01
00000d2b: PUSH1 0x01
00000d2d: PUSH1 0xa0
00000d2f: SHL
00000d30: SUB
00000d31: DUP3
00000d32: AND
00000d33: EQ
00000d34: DUP1
00000d35: PUSH2 0x0d43
00000d38: JUMPI
00000d39: POP
00000d3a: PUSH2 0x0d43
00000d3d: DUP2
00000d3e: CALLER
00000d3f: PUSH2 0x0a8c
00000d42: JUMP
00000d43: JUMPDEST
00000d44: PUSH2 0x0db5
00000d47: JUMPI
00000d48: PUSH1 0x40
00000d4a: MLOAD
00000d4b: PUSH3 0x461bcd
00000d4f: PUSH1 0xe5
00000d51: SHL
00000d52: DUP2
00000d53: MSTORE
00000d54: PUSH1 0x20
00000d56: PUSH1 0x04
00000d58: DUP3
00000d59: ADD
00000d5a: MSTORE
00000d5b: PUSH1 0x38
00000d5d: PUSH1 0x24
00000d5f: DUP3
00000d60: ADD
00000d61: MSTORE
00000d62: PUSH32 0x4552433732313a20617070726f76652063616c6c6572206973206e6f74206f77
00000d83: PUSH1 0x44
00000d85: DUP3
00000d86: ADD
00000d87: MSTORE
00000d88: PUSH32 0x6e6572206e6f7220617070726f76656420666f7220616c6c0000000000000000
00000da9: PUSH1 0x64
00000dab: DUP3
00000dac: ADD
00000dad: MSTORE
00000dae: PUSH1 0x84
00000db0: ADD
00000db1: PUSH2 0x0c58
00000db4: JUMP
00000db5: JUMPDEST
00000db6: PUSH2 0x0dbf
00000db9: DUP4
00000dba: DUP4
00000dbb: PUSH2 0x2512
00000dbe: JUMP
00000dbf: JUMPDEST
00000dc0: POP
00000dc1: POP
00000dc2: POP
00000dc3: JUMP
00000dc4: JUMPDEST
00000dc5: PUSH1 0x0a
00000dc7: SLOAD
00000dc8: PUSH1 0x01
00000dca: PUSH1 0x01
00000dcc: PUSH1 0xa0
00000dce: SHL
00000dcf: SUB
00000dd0: AND
00000dd1: CALLER
00000dd2: EQ
00000dd3: PUSH2 0x0dee
00000dd6: JUMPI
00000dd7: PUSH1 0x40
00000dd9: MLOAD
00000dda: PUSH3 0x461bcd
00000dde: PUSH1 0xe5
00000de0: SHL
00000de1: DUP2
00000de2: MSTORE
00000de3: PUSH1 0x04
00000de5: ADD
00000de6: PUSH2 0x0c58
00000de9: SWAP1
00000dea: PUSH2 0x374e
00000ded: JUMP
00000dee: JUMPDEST
00000def: PUSH1 0x0f
00000df1: SLOAD
00000df2: PUSH1 0x01
00000df4: PUSH1 0xa0
00000df6: SHL
00000df7: SWAP1
00000df8: DIV
00000df9: PUSH1 0xff
00000dfb: AND
00000dfc: ISZERO
00000dfd: PUSH2 0x0e32
00000e00: JUMPI
00000e01: PUSH1 0x40
00000e03: MLOAD
00000e04: PUSH3 0x461bcd
00000e08: PUSH1 0xe5
00000e0a: SHL
00000e0b: DUP2
00000e0c: MSTORE
00000e0d: PUSH1 0x20
00000e0f: PUSH1 0x04
00000e11: DUP3
00000e12: ADD
00000e13: MSTORE
00000e14: PUSH1 0x07
00000e16: PUSH1 0x24
00000e18: DUP3
00000e19: ADD
00000e1a: MSTORE
00000e1b: PUSH7 0x4c6f636b656421
00000e23: PUSH1 0xc8
00000e25: SHL
00000e26: PUSH1 0x44
00000e28: DUP3
00000e29: ADD
00000e2a: MSTORE
00000e2b: PUSH1 0x64
00000e2d: ADD
00000e2e: PUSH2 0x0c58
00000e31: JUMP
00000e32: JUMPDEST
00000e33: PUSH1 0x0f
00000e35: DUP1
00000e36: SLOAD
00000e37: PUSH1 0x01
00000e39: PUSH1 0x01
00000e3b: PUSH1 0xa0
00000e3d: SHL
00000e3e: SUB
00000e3f: NOT
00000e40: AND
00000e41: PUSH1 0x01
00000e43: PUSH1 0x01
00000e45: PUSH1 0xa0
00000e47: SHL
00000e48: SUB
00000e49: SWAP3
00000e4a: SWAP1
00000e4b: SWAP3
00000e4c: AND
00000e4d: SWAP2
00000e4e: SWAP1
00000e4f: SWAP2
00000e50: OR
00000e51: SWAP1
00000e52: SSTORE
00000e53: JUMP
00000e54: JUMPDEST
00000e55: CALLER
00000e56: PUSH1 0x00
00000e58: JUMPDEST
00000e59: DUP3
00000e5a: MLOAD
00000e5b: DUP2
00000e5c: LT
00000e5d: ISZERO
00000e5e: PUSH2 0x0ec5
00000e61: JUMPI
00000e62: DUP2
00000e63: PUSH1 0x01
00000e65: PUSH1 0x01
00000e67: PUSH1 0xa0
00000e69: SHL
00000e6a: SUB
00000e6b: AND
00000e6c: PUSH2 0x0e8d
00000e6f: DUP5
00000e70: DUP4
00000e71: DUP2
00000e72: MLOAD
00000e73: DUP2
00000e74: LT
00000e75: PUSH2 0x0e80
00000e78: JUMPI
00000e79: PUSH2 0x0e80
00000e7c: PUSH2 0x3783
00000e7f: JUMP
00000e80: JUMPDEST
00000e81: PUSH1 0x20
00000e83: MUL
00000e84: PUSH1 0x20
00000e86: ADD
00000e87: ADD
00000e88: MLOAD
00000e89: PUSH2 0x1580
00000e8c: JUMP
00000e8d: JUMPDEST
00000e8e: PUSH1 0x01
00000e90: PUSH1 0x01
00000e92: PUSH1 0xa0
00000e94: SHL
00000e95: SUB
00000e96: AND
00000e97: EQ
00000e98: PUSH2 0x0eb3
00000e9b: JUMPI
00000e9c: PUSH1 0x40
00000e9e: MLOAD
00000e9f: PUSH3 0x461bcd
00000ea3: PUSH1 0xe5
00000ea5: SHL
00000ea6: DUP2
00000ea7: MSTORE
00000ea8: PUSH1 0x04
00000eaa: ADD
00000eab: PUSH2 0x0c58
00000eae: SWAP1
00000eaf: PUSH2 0x3799
00000eb2: JUMP
00000eb3: JUMPDEST
00000eb4: DUP1
00000eb5: PUSH2 0x0ebd
00000eb8: DUP2
00000eb9: PUSH2 0x37c4
00000ebc: JUMP
00000ebd: JUMPDEST
00000ebe: SWAP2
00000ebf: POP
00000ec0: POP
00000ec1: PUSH2 0x0e58
00000ec4: JUMP
00000ec5: JUMPDEST
00000ec6: POP
00000ec7: PUSH1 0x00
00000ec9: JUMPDEST
00000eca: DUP3
00000ecb: MLOAD
00000ecc: DUP2
00000ecd: LT
00000ece: ISZERO
00000ecf: PUSH2 0x0dbf
00000ed2: JUMPI
00000ed3: PUSH1 0x00
00000ed5: DUP4
00000ed6: DUP3
00000ed7: DUP2
00000ed8: MLOAD
00000ed9: DUP2
00000eda: LT
00000edb: PUSH2 0x0ee6
00000ede: JUMPI
00000edf: PUSH2 0x0ee6
00000ee2: PUSH2 0x3783
00000ee5: JUMP
00000ee6: JUMPDEST
00000ee7: PUSH1 0x20
00000ee9: SWAP1
00000eea: DUP2
00000eeb: MUL
00000eec: SWAP2
00000eed: SWAP1
00000eee: SWAP2
00000eef: ADD
00000ef0: DUP2
00000ef1: ADD
00000ef2: MLOAD
00000ef3: PUSH1 0x00
00000ef5: DUP2
00000ef6: DUP2
00000ef7: MSTORE
00000ef8: PUSH1 0x13
00000efa: DUP4
00000efb: MSTORE
00000efc: PUSH1 0x40
00000efe: DUP1
00000eff: DUP3
00000f00: KECCAK256
00000f01: DUP1
00000f02: SLOAD
00000f03: PUSH1 0x01
00000f05: PUSH1 0x01
00000f07: PUSH1 0xa0
00000f09: SHL
00000f0a: SUB
00000f0b: NOT
00000f0c: AND
00000f0d: PUSH1 0x01
00000f0f: PUSH1 0x01
00000f11: PUSH1 0xa0
00000f13: SHL
00000f14: SUB
00000f15: DUP10
00000f16: AND
00000f17: SWAP1
00000f18: DUP2
00000f19: OR
00000f1a: SWAP1
00000f1b: SWAP2
00000f1c: SSTORE
00000f1d: PUSH1 0x14
00000f1f: DUP6
00000f20: MSTORE
00000f21: DUP2
00000f22: DUP4
00000f23: KECCAK256
00000f24: TIMESTAMP
00000f25: SWAP1
00000f26: SSTORE
00000f27: DUP3
00000f28: MSTORE
00000f29: PUSH1 0x15
00000f2b: DUP5
00000f2c: MSTORE
00000f2d: DUP2
00000f2e: KECCAK256
00000f2f: DUP1
00000f30: SLOAD
00000f31: PUSH1 0x01
00000f33: DUP2
00000f34: ADD
00000f35: DUP3
00000f36: SSTORE
00000f37: SWAP1
00000f38: DUP3
00000f39: MSTORE
00000f3a: SWAP3
00000f3b: SWAP1
00000f3c: KECCAK256
00000f3d: SWAP1
00000f3e: SWAP2
00000f3f: ADD
00000f40: DUP2
00000f41: SWAP1
00000f42: SSTORE
00000f43: SWAP1
00000f44: POP
00000f45: PUSH2 0x0f4f
00000f48: DUP4
00000f49: ADDRESS
00000f4a: DUP4
00000f4b: PUSH2 0x13ad
00000f4e: JUMP
00000f4f: JUMPDEST
00000f50: PUSH1 0x01
00000f52: PUSH1 0x0e
00000f54: PUSH1 0x00
00000f56: DUP3
00000f57: DUP3
00000f58: SLOAD
00000f59: PUSH2 0x0f62
00000f5c: SWAP2
00000f5d: SWAP1
00000f5e: PUSH2 0x37df
00000f61: JUMP
00000f62: JUMPDEST
00000f63: SWAP1
00000f64: SWAP2
00000f65: SSTORE
00000f66: POP
00000f67: DUP3
00000f68: SWAP2
00000f69: POP
00000f6a: PUSH2 0x0f74
00000f6d: SWAP1
00000f6e: POP
00000f6f: DUP2
00000f70: PUSH2 0x37c4
00000f73: JUMP
00000f74: JUMPDEST
00000f75: SWAP2
00000f76: POP
00000f77: POP
00000f78: PUSH2 0x0ec9
00000f7b: JUMP
00000f7c: JUMPDEST
00000f7d: PUSH2 0x0f86
00000f80: CALLER
00000f81: DUP3
00000f82: PUSH2 0x2580
00000f85: JUMP
00000f86: JUMPDEST
00000f87: PUSH2 0x0fa2
00000f8a: JUMPI
00000f8b: PUSH1 0x40
00000f8d: MLOAD
00000f8e: PUSH3 0x461bcd
00000f92: PUSH1 0xe5
00000f94: SHL
00000f95: DUP2
00000f96: MSTORE
00000f97: PUSH1 0x04
00000f99: ADD
00000f9a: PUSH2 0x0c58
00000f9d: SWAP1
00000f9e: PUSH2 0x37f7
00000fa1: JUMP
00000fa2: JUMPDEST
00000fa3: PUSH2 0x0dbf
00000fa6: DUP4
00000fa7: DUP4
00000fa8: DUP4
00000fa9: PUSH2 0x2677
00000fac: JUMP
00000fad: JUMPDEST
00000fae: PUSH1 0x01
00000fb0: DUP2
00000fb1: MLOAD
00000fb2: GT
00000fb3: PUSH2 0x100a
00000fb6: JUMPI
00000fb7: PUSH1 0x40
00000fb9: MLOAD
00000fba: PUSH3 0x461bcd
00000fbe: PUSH1 0xe5
00000fc0: SHL
00000fc1: DUP2
00000fc2: MSTORE
00000fc3: PUSH1 0x20
00000fc5: PUSH1 0x04
00000fc7: DUP3
00000fc8: ADD
00000fc9: MSTORE
00000fca: PUSH1 0x24
00000fcc: DUP1
00000fcd: DUP3
00000fce: ADD
00000fcf: MSTORE
00000fd0: PUSH32 0x796f752073686f756c642070726f76696465206d6f7265207468616e20312074
00000ff1: PUSH1 0x44
00000ff3: DUP3
00000ff4: ADD
00000ff5: MSTORE
00000ff6: PUSH4 0x37b5b2b7
00000ffb: PUSH1 0xe1
00000ffd: SHL
00000ffe: PUSH1 0x64
00001000: DUP3
00001001: ADD
00001002: MSTORE
00001003: PUSH1 0x84
00001005: ADD
00001006: PUSH2 0x0c58
00001009: JUMP
0000100a: JUMPDEST
0000100b: PUSH1 0x00
0000100d: DUP1
0000100e: PUSH1 0x00
00001010: JUMPDEST
00001011: DUP4
00001012: MLOAD
00001013: DUP2
00001014: LT
00001015: ISZERO
00001016: PUSH2 0x114a
00001019: JUMPI
0000101a: CALLER
0000101b: PUSH1 0x01
0000101d: PUSH1 0x01
0000101f: PUSH1 0xa0
00001021: SHL
00001022: SUB
00001023: AND
00001024: PUSH2 0x1038
00001027: DUP6
00001028: DUP4
00001029: DUP2
0000102a: MLOAD
0000102b: DUP2
0000102c: LT
0000102d: PUSH2 0x0e80
00001030: JUMPI
00001031: PUSH2 0x0e80
00001034: PUSH2 0x3783
00001037: JUMP
00001038: JUMPDEST
00001039: PUSH1 0x01
0000103b: PUSH1 0x01
0000103d: PUSH1 0xa0
0000103f: SHL
00001040: SUB
00001041: AND
00001042: EQ
00001043: PUSH2 0x105e
00001046: JUMPI
00001047: PUSH1 0x40
00001049: MLOAD
0000104a: PUSH3 0x461bcd
0000104e: PUSH1 0xe5
00001050: SHL
00001051: DUP2
00001052: MSTORE
00001053: PUSH1 0x04
00001055: ADD
00001056: PUSH2 0x0c58
00001059: SWAP1
0000105a: PUSH2 0x3799
0000105d: JUMP
0000105e: JUMPDEST
0000105f: PUSH1 0x12
00001061: PUSH1 0x00
00001063: DUP6
00001064: DUP4
00001065: DUP2
00001066: MLOAD
00001067: DUP2
00001068: LT
00001069: PUSH2 0x1074
0000106c: JUMPI
0000106d: PUSH2 0x1074
00001070: PUSH2 0x3783
00001073: JUMP
00001074: JUMPDEST
00001075: PUSH1 0x20
00001077: MUL
00001078: PUSH1 0x20
0000107a: ADD
0000107b: ADD
0000107c: MLOAD
0000107d: DUP2
0000107e: MSTORE
0000107f: PUSH1 0x20
00001081: ADD
00001082: SWAP1
00001083: DUP2
00001084: MSTORE
00001085: PUSH1 0x20
00001087: ADD
00001088: PUSH1 0x00
0000108a: KECCAK256
0000108b: SLOAD
0000108c: DUP4
0000108d: PUSH2 0x1096
00001090: SWAP2
00001091: SWAP1
00001092: PUSH2 0x37df
00001095: JUMP
00001096: JUMPDEST
00001097: SWAP3
00001098: POP
00001099: PUSH2 0x10ba
0000109c: DUP5
0000109d: DUP3
0000109e: DUP2
0000109f: MLOAD
000010a0: DUP2
000010a1: LT
000010a2: PUSH2 0x10ad
000010a5: JUMPI
000010a6: PUSH2 0x10ad
000010a9: PUSH2 0x3783
000010ac: JUMP
000010ad: JUMPDEST
000010ae: PUSH1 0x20
000010b0: MUL
000010b1: PUSH1 0x20
000010b3: ADD
000010b4: ADD
000010b5: MLOAD
000010b6: PUSH2 0x2822
000010b9: JUMP
000010ba: JUMPDEST
000010bb: PUSH1 0x01
000010bd: PUSH1 0x0d
000010bf: PUSH1 0x00
000010c1: DUP3
000010c2: DUP3
000010c3: SLOAD
000010c4: PUSH2 0x10cd
000010c7: SWAP2
000010c8: SWAP1
000010c9: PUSH2 0x37df
000010cc: JUMP
000010cd: JUMPDEST
000010ce: SWAP3
000010cf: POP
000010d0: POP
000010d1: DUP2
000010d2: SWAP1
000010d3: SSTORE
000010d4: POP
000010d5: DUP2
000010d6: PUSH1 0x16
000010d8: PUSH1 0x00
000010da: DUP7
000010db: DUP5
000010dc: DUP2
000010dd: MLOAD
000010de: DUP2
000010df: LT
000010e0: PUSH2 0x10eb
000010e3: JUMPI
000010e4: PUSH2 0x10eb
000010e7: PUSH2 0x3783
000010ea: JUMP
000010eb: JUMPDEST
000010ec: PUSH1 0x20
000010ee: MUL
000010ef: PUSH1 0x20
000010f1: ADD
000010f2: ADD
000010f3: MLOAD
000010f4: DUP2
000010f5: MSTORE
000010f6: PUSH1 0x20
000010f8: ADD
000010f9: SWAP1
000010fa: DUP2
000010fb: MSTORE
000010fc: PUSH1 0x20
000010fe: ADD
000010ff: PUSH1 0x00
00001101: KECCAK256
00001102: SLOAD
00001103: GT
00001104: ISZERO
00001105: PUSH2 0x1138
00001108: JUMPI
00001109: PUSH1 0x16
0000110b: PUSH1 0x00
0000110d: DUP6
0000110e: DUP4
0000110f: DUP2
00001110: MLOAD
00001111: DUP2
00001112: LT
00001113: PUSH2 0x111e
00001116: JUMPI
00001117: PUSH2 0x111e
0000111a: PUSH2 0x3783
0000111d: JUMP
0000111e: JUMPDEST
0000111f: PUSH1 0x20
00001121: MUL
00001122: PUSH1 0x20
00001124: ADD
00001125: ADD
00001126: MLOAD
00001127: DUP2
00001128: MSTORE
00001129: PUSH1 0x20
0000112b: ADD
0000112c: SWAP1
0000112d: DUP2
0000112e: MSTORE
0000112f: PUSH1 0x20
00001131: ADD
00001132: PUSH1 0x00
00001134: KECCAK256
00001135: SLOAD
00001136: SWAP2
00001137: POP
00001138: JUMPDEST
00001139: DUP1
0000113a: PUSH2 0x1142
0000113d: DUP2
0000113e: PUSH2 0x37c4
00001141: JUMP
00001142: JUMPDEST
00001143: SWAP2
00001144: POP
00001145: POP
00001146: PUSH2 0x1010
00001149: JUMP
0000114a: JUMPDEST
0000114b: POP
0000114c: PUSH1 0x00
0000114e: PUSH1 0x11
00001150: PUSH1 0x00
00001152: DUP6
00001153: PUSH1 0x00
00001155: DUP2
00001156: MLOAD
00001157: DUP2
00001158: LT
00001159: PUSH2 0x1164
0000115c: JUMPI
0000115d: PUSH2 0x1164
00001160: PUSH2 0x3783
00001163: JUMP
00001164: JUMPDEST
00001165: PUSH1 0x20
00001167: MUL
00001168: PUSH1 0x20
0000116a: ADD
0000116b: ADD
0000116c: MLOAD
0000116d: DUP2
0000116e: MSTORE
0000116f: PUSH1 0x20
00001171: ADD
00001172: SWAP1
00001173: DUP2
00001174: MSTORE
00001175: PUSH1 0x20
00001177: ADD
00001178: PUSH1 0x00
0000117a: KECCAK256
0000117b: SLOAD
0000117c: PUSH1 0x11
0000117e: PUSH1 0x00
00001180: DUP7
00001181: PUSH1 0x01
00001183: DUP2
00001184: MLOAD
00001185: DUP2
00001186: LT
00001187: PUSH2 0x1192
0000118a: JUMPI
0000118b: PUSH2 0x1192
0000118e: PUSH2 0x3783
00001191: JUMP
00001192: JUMPDEST
00001193: PUSH1 0x20
00001195: MUL
00001196: PUSH1 0x20
00001198: ADD
00001199: ADD
0000119a: MLOAD
0000119b: DUP2
0000119c: MSTORE
0000119d: PUSH1 0x20
0000119f: ADD
000011a0: SWAP1
000011a1: DUP2
000011a2: MSTORE
000011a3: PUSH1 0x20
000011a5: ADD
000011a6: PUSH1 0x00
000011a8: KECCAK256
000011a9: SLOAD
000011aa: PUSH1 0x40
000011ac: MLOAD
000011ad: PUSH1 0x20
000011af: ADD
000011b0: PUSH2 0x11c3
000011b3: SWAP3
000011b4: SWAP2
000011b5: SWAP1
000011b6: SWAP2
000011b7: DUP3
000011b8: MSTORE
000011b9: PUSH1 0x20
000011bb: DUP3
000011bc: ADD
000011bd: MSTORE
000011be: PUSH1 0x40
000011c0: ADD
000011c1: SWAP1
000011c2: JUMP
000011c3: JUMPDEST
000011c4: PUSH1 0x40
000011c6: DUP1
000011c7: MLOAD
000011c8: PUSH1 0x1f
000011ca: NOT
000011cb: DUP2
000011cc: DUP5
000011cd: SUB
000011ce: ADD
000011cf: DUP2
000011d0: MSTORE
000011d1: SWAP2
000011d2: SWAP1
000011d3: MSTORE
000011d4: DUP1
000011d5: MLOAD
000011d6: PUSH1 0x20
000011d8: SWAP1
000011d9: SWAP2
000011da: ADD
000011db: KECCAK256
000011dc: SWAP1
000011dd: POP
000011de: PUSH1 0x02
000011e0: JUMPDEST
000011e1: DUP5
000011e2: MLOAD
000011e3: DUP2
000011e4: LT
000011e5: ISZERO
000011e6: PUSH2 0x125c
000011e9: JUMPI
000011ea: DUP2
000011eb: PUSH1 0x11
000011ed: PUSH1 0x00
000011ef: DUP8
000011f0: DUP5
000011f1: DUP2
000011f2: MLOAD
000011f3: DUP2
000011f4: LT
000011f5: PUSH2 0x1200
000011f8: JUMPI
000011f9: PUSH2 0x1200
000011fc: PUSH2 0x3783
000011ff: JUMP
00001200: JUMPDEST
00001201: PUSH1 0x20
00001203: MUL
00001204: PUSH1 0x20
00001206: ADD
00001207: ADD
00001208: MLOAD
00001209: DUP2
0000120a: MSTORE
0000120b: PUSH1 0x20
0000120d: ADD
0000120e: SWAP1
0000120f: DUP2
00001210: MSTORE
00001211: PUSH1 0x20
00001213: ADD
00001214: PUSH1 0x00
00001216: KECCAK256
00001217: SLOAD
00001218: PUSH1 0x40
0000121a: MLOAD
0000121b: PUSH1 0x20
0000121d: ADD
0000121e: PUSH2 0x1231
00001221: SWAP3
00001222: SWAP2
00001223: SWAP1
00001224: SWAP2
00001225: DUP3
00001226: MSTORE
00001227: PUSH1 0x20
00001229: DUP3
0000122a: ADD
0000122b: MSTORE
0000122c: PUSH1 0x40
0000122e: ADD
0000122f: SWAP1
00001230: JUMP
00001231: JUMPDEST
00001232: PUSH1 0x40
00001234: MLOAD
00001235: PUSH1 0x20
00001237: DUP2
00001238: DUP4
00001239: SUB
0000123a: SUB
0000123b: DUP2
0000123c: MSTORE
0000123d: SWAP1
0000123e: PUSH1 0x40
00001240: MSTORE
00001241: DUP1
00001242: MLOAD
00001243: SWAP1
00001244: PUSH1 0x20
00001246: ADD
00001247: KECCAK256
00001248: SWAP2
00001249: POP
0000124a: DUP1
0000124b: DUP1
0000124c: PUSH2 0x1254
0000124f: SWAP1
00001250: PUSH2 0x37c4
00001253: JUMP
00001254: JUMPDEST
00001255: SWAP2
00001256: POP
00001257: POP
00001258: PUSH2 0x11e0
0000125b: JUMP
0000125c: JUMPDEST
0000125d: POP
0000125e: PUSH1 0x0b
00001260: SLOAD
00001261: PUSH1 0x00
00001263: DUP2
00001264: DUP2
00001265: MSTORE
00001266: PUSH1 0x12
00001268: PUSH1 0x20
0000126a: SWAP1
0000126b: DUP2
0000126c: MSTORE
0000126d: PUSH1 0x40
0000126f: DUP1
00001270: DUP4
00001271: KECCAK256
00001272: DUP8
00001273: SWAP1
00001274: SSTORE
00001275: PUSH1 0x11
00001277: DUP3
00001278: MSTORE
00001279: DUP1
0000127a: DUP4
0000127b: KECCAK256
0000127c: DUP6
0000127d: SWAP1
0000127e: SSTORE
0000127f: PUSH1 0x16
00001281: SWAP1
00001282: SWAP2
00001283: MSTORE
00001284: SWAP1
00001285: KECCAK256
00001286: DUP4
00001287: SWAP1
00001288: SSTORE
00001289: PUSH2 0x1292
0000128c: CALLER
0000128d: DUP3
0000128e: PUSH2 0x28c9
00001291: JUMP
00001292: JUMPDEST
00001293: PUSH1 0x01
00001295: PUSH1 0x0b
00001297: PUSH1 0x00
00001299: DUP3
0000129a: DUP3
0000129b: SLOAD
0000129c: PUSH2 0x12a5
0000129f: SWAP2
000012a0: SWAP1
000012a1: PUSH2 0x37df
000012a4: JUMP
000012a5: JUMPDEST
000012a6: SWAP1
000012a7: SWAP2
000012a8: SSTORE
000012a9: POP
000012aa: POP
000012ab: POP
000012ac: POP
000012ad: POP
000012ae: POP
000012af: POP
000012b0: JUMP
000012b1: JUMPDEST
000012b2: PUSH1 0x00
000012b4: PUSH2 0x12bc
000012b7: DUP4
000012b8: PUSH2 0x1663
000012bb: JUMP
000012bc: JUMPDEST
000012bd: DUP3
000012be: LT
000012bf: PUSH2 0x131e
000012c2: JUMPI
000012c3: PUSH1 0x40
000012c5: MLOAD
000012c6: PUSH3 0x461bcd
000012ca: PUSH1 0xe5
000012cc: SHL
000012cd: DUP2
000012ce: MSTORE
000012cf: PUSH1 0x20
000012d1: PUSH1 0x04
000012d3: DUP3
000012d4: ADD
000012d5: MSTORE
000012d6: PUSH1 0x2b
000012d8: PUSH1 0x24
000012da: DUP3
000012db: ADD
000012dc: MSTORE
000012dd: PUSH32 0x455243373231456e756d657261626c653a206f776e657220696e646578206f75
000012fe: PUSH1 0x44
00001300: DUP3
00001301: ADD
00001302: MSTORE
00001303: PUSH11 0x74206f6620626f756e6473
0000130f: PUSH1 0xa8
00001311: SHL
00001312: PUSH1 0x64
00001314: DUP3
00001315: ADD
00001316: MSTORE
00001317: PUSH1 0x84
00001319: ADD
0000131a: PUSH2 0x0c58
0000131d: JUMP
0000131e: JUMPDEST
0000131f: POP
00001320: PUSH1 0x01
00001322: PUSH1 0x01
00001324: PUSH1 0xa0
00001326: SHL
00001327: SUB
00001328: SWAP2
00001329: SWAP1
0000132a: SWAP2
0000132b: AND
0000132c: PUSH1 0x00
0000132e: SWAP1
0000132f: DUP2
00001330: MSTORE
00001331: PUSH1 0x06
00001333: PUSH1 0x20
00001335: SWAP1
00001336: DUP2
00001337: MSTORE
00001338: PUSH1 0x40
0000133a: DUP1
0000133b: DUP4
0000133c: KECCAK256
0000133d: SWAP4
0000133e: DUP4
0000133f: MSTORE
00001340: SWAP3
00001341: SWAP1
00001342: MSTORE
00001343: KECCAK256
00001344: SLOAD
00001345: SWAP1
00001346: JUMP
00001347: JUMPDEST
00001348: PUSH1 0x0a
0000134a: SLOAD
0000134b: PUSH1 0x01
0000134d: PUSH1 0x01
0000134f: PUSH1 0xa0
00001351: SHL
00001352: SUB
00001353: AND
00001354: CALLER
00001355: EQ
00001356: PUSH2 0x1371
00001359: JUMPI
0000135a: PUSH1 0x40
0000135c: MLOAD
0000135d: PUSH3 0x461bcd
00001361: PUSH1 0xe5
00001363: SHL
00001364: DUP2
00001365: MSTORE
00001366: PUSH1 0x04
00001368: ADD
00001369: PUSH2 0x0c58
0000136c: SWAP1
0000136d: PUSH2 0x374e
00001370: JUMP
00001371: JUMPDEST
00001372: PUSH1 0x0a
00001374: SLOAD
00001375: PUSH1 0x40
00001377: MLOAD
00001378: PUSH1 0x01
0000137a: PUSH1 0x01
0000137c: PUSH1 0xa0
0000137e: SHL
0000137f: SUB
00001380: SWAP1
00001381: SWAP2
00001382: AND
00001383: SWAP1
00001384: SELFBALANCE
00001385: DUP1
00001386: ISZERO
00001387: PUSH2 0x08fc
0000138a: MUL
0000138b: SWAP2
0000138c: PUSH1 0x00
0000138e: DUP2
0000138f: DUP2
00001390: DUP2
00001391: DUP6
00001392: DUP9
00001393: DUP9
00001394: CALL
00001395: SWAP4
00001396: POP
00001397: POP
00001398: POP
00001399: POP
0000139a: ISZERO
0000139b: DUP1
0000139c: ISZERO
0000139d: PUSH2 0x13aa
000013a0: JUMPI
000013a1: RETURNDATASIZE
000013a2: PUSH1 0x00
000013a4: DUP1
000013a5: RETURNDATACOPY
000013a6: RETURNDATASIZE
000013a7: PUSH1 0x00
000013a9: REVERT
000013aa: JUMPDEST
000013ab: POP
000013ac: JUMP
000013ad: JUMPDEST
000013ae: PUSH2 0x0dbf
000013b1: DUP4
000013b2: DUP4
000013b3: DUP4
000013b4: PUSH1 0x40
000013b6: MLOAD
000013b7: DUP1
000013b8: PUSH1 0x20
000013ba: ADD
000013bb: PUSH1 0x40
000013bd: MSTORE
000013be: DUP1
000013bf: PUSH1 0x00
000013c1: DUP2
000013c2: MSTORE
000013c3: POP
000013c4: PUSH2 0x1b7f
000013c7: JUMP
000013c8: JUMPDEST
000013c9: PUSH1 0x00
000013cb: PUSH2 0x13d3
000013ce: PUSH1 0x08
000013d0: SLOAD
000013d1: SWAP1
000013d2: JUMP
000013d3: JUMPDEST
000013d4: DUP3
000013d5: LT
000013d6: PUSH2 0x1436
000013d9: JUMPI
000013da: PUSH1 0x40
000013dc: MLOAD
000013dd: PUSH3 0x461bcd
000013e1: PUSH1 0xe5
000013e3: SHL
000013e4: DUP2
000013e5: MSTORE
000013e6: PUSH1 0x20
000013e8: PUSH1 0x04
000013ea: DUP3
000013eb: ADD
000013ec: MSTORE
000013ed: PUSH1 0x2c
000013ef: PUSH1 0x24
000013f1: DUP3
000013f2: ADD
000013f3: MSTORE
000013f4: PUSH32 0x455243373231456e756d657261626c653a20676c6f62616c20696e646578206f
00001415: PUSH1 0x44
00001417: DUP3
00001418: ADD
00001419: MSTORE
0000141a: PUSH12 0x7574206f6620626f756e6473
00001427: PUSH1 0xa0
00001429: SHL
0000142a: PUSH1 0x64
0000142c: DUP3
0000142d: ADD
0000142e: MSTORE
0000142f: PUSH1 0x84
00001431: ADD
00001432: PUSH2 0x0c58
00001435: JUMP
00001436: JUMPDEST
00001437: PUSH1 0x08
00001439: DUP3
0000143a: DUP2
0000143b: SLOAD
0000143c: DUP2
0000143d: LT
0000143e: PUSH2 0x1449
00001441: JUMPI
00001442: PUSH2 0x1449
00001445: PUSH2 0x3783
00001448: JUMP
00001449: JUMPDEST
0000144a: SWAP1
0000144b: PUSH1 0x00
0000144d: MSTORE
0000144e: PUSH1 0x20
00001450: PUSH1 0x00
00001452: KECCAK256
00001453: ADD
00001454: SLOAD
00001455: SWAP1
00001456: POP
00001457: SWAP2
00001458: SWAP1
00001459: POP
0000145a: JUMP
0000145b: JUMPDEST
0000145c: PUSH1 0x00
0000145e: DUP2
0000145f: DUP2
00001460: MSTORE
00001461: PUSH1 0x13
00001463: PUSH1 0x20
00001465: MSTORE
00001466: PUSH1 0x40
00001468: DUP2
00001469: KECCAK256
0000146a: SLOAD
0000146b: PUSH1 0x01
0000146d: PUSH1 0x01
0000146f: PUSH1 0xa0
00001471: SHL
00001472: SUB
00001473: AND
00001474: ISZERO
00001475: PUSH2 0x1494
00001478: JUMPI
00001479: POP
0000147a: PUSH1 0x00
0000147c: SWAP1
0000147d: DUP2
0000147e: MSTORE
0000147f: PUSH1 0x13
00001481: PUSH1 0x20
00001483: MSTORE
00001484: PUSH1 0x40
00001486: SWAP1
00001487: KECCAK256
00001488: SLOAD
00001489: PUSH1 0x01
0000148b: PUSH1 0x01
0000148d: PUSH1 0xa0
0000148f: SHL
00001490: SUB
00001491: AND
00001492: SWAP1
00001493: JUMP
00001494: JUMPDEST
00001495: PUSH2 0x0aff
00001498: DUP3
00001499: PUSH2 0x1580
0000149c: JUMP
0000149d: JUMPDEST
0000149e: PUSH1 0x0a
000014a0: SLOAD
000014a1: PUSH1 0x01
000014a3: PUSH1 0x01
000014a5: PUSH1 0xa0
000014a7: SHL
000014a8: SUB
000014a9: AND
000014aa: CALLER
000014ab: EQ
000014ac: PUSH2 0x14c7
000014af: JUMPI
000014b0: PUSH1 0x40
000014b2: MLOAD
000014b3: PUSH3 0x461bcd
000014b7: PUSH1 0xe5
000014b9: SHL
000014ba: DUP2
000014bb: MSTORE
000014bc: PUSH1 0x04
000014be: ADD
000014bf: PUSH2 0x0c58
000014c2: SWAP1
000014c3: PUSH2 0x374e
000014c6: JUMP
000014c7: JUMPDEST
000014c8: DUP1
000014c9: MLOAD
000014ca: PUSH2 0x14da
000014cd: SWAP1
000014ce: PUSH1 0x10
000014d0: SWAP1
000014d1: PUSH1 0x20
000014d3: DUP5
000014d4: ADD
000014d5: SWAP1
000014d6: PUSH2 0x30c1
000014d9: JUMP
000014da: JUMPDEST
000014db: POP
000014dc: POP
000014dd: JUMP
000014de: JUMPDEST
000014df: PUSH1 0x60
000014e1: PUSH1 0x00
000014e3: PUSH2 0x14eb
000014e6: DUP4
000014e7: PUSH2 0x1663
000014ea: JUMP
000014eb: JUMPDEST
000014ec: SWAP1
000014ed: POP
000014ee: PUSH1 0x00
000014f0: DUP2
000014f1: PUSH8 0xffffffffffffffff
000014fa: DUP2
000014fb: GT
000014fc: ISZERO
000014fd: PUSH2 0x1508
00001500: JUMPI
00001501: PUSH2 0x1508
00001504: PUSH2 0x3272
00001507: JUMP
00001508: JUMPDEST
00001509: PUSH1 0x40
0000150b: MLOAD
0000150c: SWAP1
0000150d: DUP1
0000150e: DUP3
0000150f: MSTORE
00001510: DUP1
00001511: PUSH1 0x20
00001513: MUL
00001514: PUSH1 0x20
00001516: ADD
00001517: DUP3
00001518: ADD
00001519: PUSH1 0x40
0000151b: MSTORE
0000151c: DUP1
0000151d: ISZERO
0000151e: PUSH2 0x1531
00001521: JUMPI
00001522: DUP2
00001523: PUSH1 0x20
00001525: ADD
00001526: PUSH1 0x20
00001528: DUP3
00001529: MUL
0000152a: DUP1
0000152b: CALLDATASIZE
0000152c: DUP4
0000152d: CALLDATACOPY
0000152e: ADD
0000152f: SWAP1
00001530: POP
00001531: JUMPDEST
00001532: POP
00001533: SWAP1
00001534: POP
00001535: PUSH1 0x00
00001537: JUMPDEST
00001538: DUP3
00001539: DUP2
0000153a: LT
0000153b: ISZERO
0000153c: PUSH2 0x1578
0000153f: JUMPI
00001540: PUSH2 0x1549
00001543: DUP6
00001544: DUP3
00001545: PUSH2 0x12b1
00001548: JUMP
00001549: JUMPDEST
0000154a: DUP3
0000154b: DUP3
0000154c: DUP2
0000154d: MLOAD
0000154e: DUP2
0000154f: LT
00001550: PUSH2 0x155b
00001553: JUMPI
00001554: PUSH2 0x155b
00001557: PUSH2 0x3783
0000155a: JUMP
0000155b: JUMPDEST
0000155c: PUSH1 0x20
0000155e: SWAP1
0000155f: DUP2
00001560: MUL
00001561: SWAP2
00001562: SWAP1
00001563: SWAP2
00001564: ADD
00001565: ADD
00001566: MSTORE
00001567: DUP1
00001568: PUSH2 0x1570
0000156b: DUP2
0000156c: PUSH2 0x37c4
0000156f: JUMP
00001570: JUMPDEST
00001571: SWAP2
00001572: POP
00001573: POP
00001574: PUSH2 0x1537
00001577: JUMP
00001578: JUMPDEST
00001579: POP
0000157a: SWAP4
0000157b: SWAP3
0000157c: POP
0000157d: POP
0000157e: POP
0000157f: JUMP
00001580: JUMPDEST
00001581: PUSH1 0x00
00001583: DUP2
00001584: DUP2
00001585: MSTORE
00001586: PUSH1 0x02
00001588: PUSH1 0x20
0000158a: MSTORE
0000158b: PUSH1 0x40
0000158d: DUP2
0000158e: KECCAK256
0000158f: SLOAD
00001590: PUSH1 0x01
00001592: PUSH1 0x01
00001594: PUSH1 0xa0
00001596: SHL
00001597: SUB
00001598: AND
00001599: DUP1
0000159a: PUSH2 0x0aff
0000159d: JUMPI
0000159e: PUSH1 0x40
000015a0: MLOAD
000015a1: PUSH3 0x461bcd
000015a5: PUSH1 0xe5
000015a7: SHL
000015a8: DUP2
000015a9: MSTORE
000015aa: PUSH1 0x20
000015ac: PUSH1 0x04
000015ae: DUP3
000015af: ADD
000015b0: MSTORE
000015b1: PUSH1 0x29
000015b3: PUSH1 0x24
000015b5: DUP3
000015b6: ADD
000015b7: MSTORE
000015b8: PUSH32 0x4552433732313a206f776e657220717565727920666f72206e6f6e6578697374
000015d9: PUSH1 0x44
000015db: DUP3
000015dc: ADD
000015dd: MSTORE
000015de: PUSH9 0x32b73a103a37b5b2b7
000015e8: PUSH1 0xb9
000015ea: SHL
000015eb: PUSH1 0x64
000015ed: DUP3
000015ee: ADD
000015ef: MSTORE
000015f0: PUSH1 0x84
000015f2: ADD
000015f3: PUSH2 0x0c58
000015f6: JUMP
000015f7: JUMPDEST
000015f8: PUSH1 0x01
000015fa: PUSH1 0x01
000015fc: PUSH1 0xa0
000015fe: SHL
000015ff: SUB
00001600: DUP2
00001601: AND
00001602: PUSH1 0x00
00001604: SWAP1
00001605: DUP2
00001606: MSTORE
00001607: PUSH1 0x15
00001609: PUSH1 0x20
0000160b: SWAP1
0000160c: DUP2
0000160d: MSTORE
0000160e: PUSH1 0x40
00001610: SWAP2
00001611: DUP3
00001612: SWAP1
00001613: KECCAK256
00001614: DUP1
00001615: SLOAD
00001616: DUP4
00001617: MLOAD
00001618: DUP2
00001619: DUP5
0000161a: MUL
0000161b: DUP2
0000161c: ADD
0000161d: DUP5
0000161e: ADD
0000161f: SWAP1
00001620: SWAP5
00001621: MSTORE
00001622: DUP1
00001623: DUP5
00001624: MSTORE
00001625: PUSH1 0x60
00001627: SWAP4
00001628: SWAP3
00001629: DUP4
0000162a: ADD
0000162b: DUP3
0000162c: DUP3
0000162d: DUP1
0000162e: ISZERO
0000162f: PUSH2 0x1657
00001632: JUMPI
00001633: PUSH1 0x20
00001635: MUL
00001636: DUP3
00001637: ADD
00001638: SWAP2
00001639: SWAP1
0000163a: PUSH1 0x00
0000163c: MSTORE
0000163d: PUSH1 0x20
0000163f: PUSH1 0x00
00001641: KECCAK256
00001642: SWAP1
00001643: JUMPDEST
00001644: DUP2
00001645: SLOAD
00001646: DUP2
00001647: MSTORE
00001648: PUSH1 0x20
0000164a: ADD
0000164b: SWAP1
0000164c: PUSH1 0x01
0000164e: ADD
0000164f: SWAP1
00001650: DUP1
00001651: DUP4
00001652: GT
00001653: PUSH2 0x1643
00001656: JUMPI
00001657: JUMPDEST
00001658: POP
00001659: POP
0000165a: POP
0000165b: POP
0000165c: POP
0000165d: SWAP1
0000165e: POP
0000165f: SWAP2
00001660: SWAP1
00001661: POP
00001662: JUMP
00001663: JUMPDEST
00001664: PUSH1 0x00
00001666: PUSH1 0x01
00001668: PUSH1 0x01
0000166a: PUSH1 0xa0
0000166c: SHL
0000166d: SUB
0000166e: DUP3
0000166f: AND
00001670: PUSH2 0x16ce
00001673: JUMPI
00001674: PUSH1 0x40
00001676: MLOAD
00001677: PUSH3 0x461bcd
0000167b: PUSH1 0xe5
0000167d: SHL
0000167e: DUP2
0000167f: MSTORE
00001680: PUSH1 0x20
00001682: PUSH1 0x04
00001684: DUP3
00001685: ADD
00001686: MSTORE
00001687: PUSH1 0x2a
00001689: PUSH1 0x24
0000168b: DUP3
0000168c: ADD
0000168d: MSTORE
0000168e: PUSH32 0x4552433732313a2062616c616e636520717565727920666f7220746865207a65
000016af: PUSH1 0x44
000016b1: DUP3
000016b2: ADD
000016b3: MSTORE
000016b4: PUSH10 0x726f2061646472657373
000016bf: PUSH1 0xb0
000016c1: SHL
000016c2: PUSH1 0x64
000016c4: DUP3
000016c5: ADD
000016c6: MSTORE
000016c7: PUSH1 0x84
000016c9: ADD
000016ca: PUSH2 0x0c58
000016cd: JUMP
000016ce: JUMPDEST
000016cf: POP
000016d0: PUSH1 0x01
000016d2: PUSH1 0x01
000016d4: PUSH1 0xa0
000016d6: SHL
000016d7: SUB
000016d8: AND
000016d9: PUSH1 0x00
000016db: SWAP1
000016dc: DUP2
000016dd: MSTORE
000016de: PUSH1 0x03
000016e0: PUSH1 0x20
000016e2: MSTORE
000016e3: PUSH1 0x40
000016e5: SWAP1
000016e6: KECCAK256
000016e7: SLOAD
000016e8: SWAP1
000016e9: JUMP
000016ea: JUMPDEST
000016eb: PUSH1 0x0a
000016ed: SLOAD
000016ee: PUSH1 0x01
000016f0: PUSH1 0x01
000016f2: PUSH1 0xa0
000016f4: SHL
000016f5: SUB
000016f6: AND
000016f7: CALLER
000016f8: EQ
000016f9: PUSH2 0x1714
000016fc: JUMPI
000016fd: PUSH1 0x40
000016ff: MLOAD
00001700: PUSH3 0x461bcd
00001704: PUSH1 0xe5
00001706: SHL
00001707: DUP2
00001708: MSTORE
00001709: PUSH1 0x04
0000170b: ADD
0000170c: PUSH2 0x0c58
0000170f: SWAP1
00001710: PUSH2 0x374e
00001713: JUMP
00001714: JUMPDEST
00001715: PUSH2 0x171e
00001718: PUSH1 0x00
0000171a: PUSH2 0x28e3
0000171d: JUMP
0000171e: JUMPDEST
0000171f: JUMP
00001720: JUMPDEST
00001721: PUSH1 0x0a
00001723: SLOAD
00001724: PUSH1 0x01
00001726: PUSH1 0x01
00001728: PUSH1 0xa0
0000172a: SHL
0000172b: SUB
0000172c: AND
0000172d: CALLER
0000172e: EQ
0000172f: PUSH2 0x174a
00001732: JUMPI
00001733: PUSH1 0x40
00001735: MLOAD
00001736: PUSH3 0x461bcd
0000173a: PUSH1 0xe5
0000173c: SHL
0000173d: DUP2
0000173e: MSTORE
0000173f: PUSH1 0x04
00001741: ADD
00001742: PUSH2 0x0c58
00001745: SWAP1
00001746: PUSH2 0x374e
00001749: JUMP
0000174a: JUMPDEST
0000174b: PUSH1 0x0f
0000174d: DUP1
0000174e: SLOAD
0000174f: PUSH1 0xff
00001751: PUSH1 0xa0
00001753: SHL
00001754: NOT
00001755: AND
00001756: PUSH1 0x01
00001758: PUSH1 0xa0
0000175a: SHL
0000175b: OR
0000175c: SWAP1
0000175d: SSTORE
0000175e: JUMP
0000175f: JUMPDEST
00001760: PUSH1 0x60
00001762: PUSH1 0x01
00001764: DUP1
00001765: SLOAD
00001766: PUSH2 0x0b60
00001769: SWAP1
0000176a: PUSH2 0x3719
0000176d: JUMP
0000176e: JUMPDEST
0000176f: PUSH1 0x0e
00001771: DUP2
00001772: GT
00001773: ISZERO
00001774: PUSH2 0x17bf
00001777: JUMPI
00001778: PUSH1 0x40
0000177a: MLOAD
0000177b: PUSH3 0x461bcd
0000177f: PUSH1 0xe5
00001781: SHL
00001782: DUP2
00001783: MSTORE
00001784: PUSH1 0x20
00001786: PUSH1 0x04
00001788: DUP3
00001789: ADD
0000178a: MSTORE
0000178b: PUSH1 0x18
0000178d: PUSH1 0x24
0000178f: DUP3
00001790: ADD
00001791: MSTORE
00001792: PUSH32 0x6d6178206d696e74207065722074782065786365656465640000000000000000
000017b3: PUSH1 0x44
000017b5: DUP3
000017b6: ADD
000017b7: MSTORE
000017b8: PUSH1 0x64
000017ba: ADD
000017bb: PUSH2 0x0c58
000017be: JUMP
000017bf: JUMPDEST
000017c0: PUSH1 0x0f
000017c2: SLOAD
000017c3: PUSH1 0x01
000017c5: PUSH1 0xa8
000017c7: SHL
000017c8: SWAP1
000017c9: DIV
000017ca: PUSH1 0xff
000017cc: AND
000017cd: ISZERO
000017ce: PUSH2 0x180a
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 0x0e
000017e7: PUSH1 0x24
000017e9: DUP3
000017ea: ADD
000017eb: MSTORE
000017ec: PUSH14 0x1b5a5b9d1a5b99c81c185d5cd959
000017fb: PUSH1 0x92
000017fd: SHL
000017fe: PUSH1 0x44
00001800: DUP3
00001801: ADD
00001802: MSTORE
00001803: PUSH1 0x64
00001805: ADD
00001806: PUSH2 0x0c58
00001809: JUMP
0000180a: JUMPDEST
0000180b: PUSH1 0x00
0000180d: DUP2
0000180e: GT
0000180f: PUSH2 0x1851
00001812: JUMPI
00001813: PUSH1 0x40
00001815: MLOAD
00001816: PUSH3 0x461bcd
0000181a: PUSH1 0xe5
0000181c: SHL
0000181d: DUP2
0000181e: MSTORE
0000181f: PUSH1 0x20
00001821: PUSH1 0x04
00001823: DUP3
00001824: ADD
00001825: MSTORE
00001826: PUSH1 0x14
00001828: PUSH1 0x24
0000182a: DUP3
0000182b: ADD
0000182c: MSTORE
0000182d: PUSH20 0x6d696e206d696e74207065722074782069732031
00001842: PUSH1 0x60
00001844: SHL
00001845: PUSH1 0x44
00001847: DUP3
00001848: ADD
00001849: MSTORE
0000184a: PUSH1 0x64
0000184c: ADD
0000184d: PUSH2 0x0c58
00001850: JUMP
00001851: JUMPDEST
00001852: PUSH2 0x1862
00001855: PUSH7 0x5543df729c0000
0000185d: DUP3
0000185e: PUSH2 0x36fa
00001861: JUMP
00001862: JUMPDEST
00001863: CALLVALUE
00001864: EQ
00001865: PUSH2 0x18a8
00001868: JUMPI
00001869: PUSH1 0x40
0000186b: MLOAD
0000186c: PUSH3 0x461bcd
00001870: PUSH1 0xe5
00001872: SHL
00001873: DUP2
00001874: MSTORE
00001875: PUSH1 0x20
00001877: PUSH1 0x04
00001879: DUP3
0000187a: ADD
0000187b: MSTORE
0000187c: PUSH1 0x15
0000187e: PUSH1 0x24
00001880: DUP3
00001881: ADD
00001882: MSTORE
00001883: PUSH21 0x696e636f72726563742065746865722076616c7565
00001899: PUSH1 0x58
0000189b: SHL
0000189c: PUSH1 0x44
0000189e: DUP3
0000189f: ADD
000018a0: MSTORE
000018a1: PUSH1 0x64
000018a3: ADD
000018a4: PUSH2 0x0c58
000018a7: JUMP
000018a8: JUMPDEST
000018a9: PUSH2 0x2710
000018ac: DUP2
000018ad: PUSH1 0x0c
000018af: SLOAD
000018b0: PUSH2 0x18b9
000018b3: SWAP2
000018b4: SWAP1
000018b5: PUSH2 0x37df
000018b8: JUMP
000018b9: JUMPDEST
000018ba: GT
000018bb: ISZERO
000018bc: PUSH2 0x18fd
000018bf: JUMPI
000018c0: PUSH1 0x40
000018c2: MLOAD
000018c3: PUSH3 0x461bcd
000018c7: PUSH1 0xe5
000018c9: SHL
000018ca: DUP2
000018cb: MSTORE
000018cc: PUSH1 0x20
000018ce: PUSH1 0x04
000018d0: DUP3
000018d1: ADD
000018d2: MSTORE
000018d3: PUSH1 0x13
000018d5: PUSH1 0x24
000018d7: DUP3
000018d8: ADD
000018d9: MSTORE
000018da: PUSH19 0x1b585e081cdd5c1c1b1e48195e18d959591959
000018ee: PUSH1 0x6a
000018f0: SHL
000018f1: PUSH1 0x44
000018f3: DUP3
000018f4: ADD
000018f5: MSTORE
000018f6: PUSH1 0x64
000018f8: ADD
000018f9: PUSH2 0x0c58
000018fc: JUMP
000018fd: JUMPDEST
000018fe: PUSH1 0x00
00001900: JUMPDEST
00001901: DUP2
00001902: DUP2
00001903: LT
00001904: ISZERO
00001905: PUSH2 0x19a5
00001908: JUMPI
00001909: PUSH1 0x00
0000190b: DUP2
0000190c: PUSH1 0x0b
0000190e: SLOAD
0000190f: PUSH2 0x1918
00001912: SWAP2
00001913: SWAP1
00001914: PUSH2 0x37df
00001917: JUMP
00001918: JUMPDEST
00001919: PUSH1 0x00
0000191b: DUP2
0000191c: DUP2
0000191d: MSTORE
0000191e: PUSH1 0x12
00001920: PUSH1 0x20
00001922: SWAP1
00001923: DUP2
00001924: MSTORE
00001925: PUSH1 0x40
00001927: SWAP2
00001928: DUP3
00001929: SWAP1
0000192a: KECCAK256
0000192b: PUSH1 0x18
0000192d: SWAP1
0000192e: SSTORE
0000192f: SWAP1
00001930: MLOAD
00001931: PUSH12 0xffffffffffffffffffffffff
0000193e: NOT
0000193f: CALLER
00001940: PUSH1 0x60
00001942: SHL
00001943: AND
00001944: SWAP2
00001945: DUP2
00001946: ADD
00001947: SWAP2
00001948: SWAP1
00001949: SWAP2
0000194a: MSTORE
0000194b: PUSH1 0x34
0000194d: DUP2
0000194e: ADD
0000194f: DUP3
00001950: SWAP1
00001951: MSTORE
00001952: DIFFICULTY
00001953: PUSH1 0x54
00001955: DUP3
00001956: ADD
00001957: MSTORE
00001958: TIMESTAMP
00001959: PUSH1 0x74
0000195b: DUP3
0000195c: ADD
0000195d: MSTORE
0000195e: SWAP1
0000195f: SWAP2
00001960: POP
00001961: PUSH1 0x94
00001963: ADD
00001964: PUSH1 0x40
00001966: DUP1
00001967: MLOAD
00001968: PUSH1 0x1f
0000196a: NOT
0000196b: DUP2
0000196c: DUP5
0000196d: SUB
0000196e: ADD
0000196f: DUP2
00001970: MSTORE
00001971: SWAP2
00001972: DUP2
00001973: MSTORE
00001974: DUP2
00001975: MLOAD
00001976: PUSH1 0x20
00001978: SWAP3
00001979: DUP4
0000197a: ADD
0000197b: KECCAK256
0000197c: PUSH1 0x00
0000197e: DUP5
0000197f: DUP2
00001980: MSTORE
00001981: PUSH1 0x11
00001983: SWAP1
00001984: SWAP4
00001985: MSTORE
00001986: SWAP2
00001987: KECCAK256
00001988: SSTORE
00001989: PUSH2 0x1992
0000198c: CALLER
0000198d: DUP3
0000198e: PUSH2 0x28c9
00001991: JUMP
00001992: JUMPDEST
00001993: POP
00001994: DUP1
00001995: PUSH2 0x199d
00001998: DUP2
00001999: PUSH2 0x37c4
0000199c: JUMP
0000199d: JUMPDEST
0000199e: SWAP2
0000199f: POP
000019a0: POP
000019a1: PUSH2 0x1900
000019a4: JUMP
000019a5: JUMPDEST
000019a6: POP
000019a7: DUP1
000019a8: PUSH1 0x0b
000019aa: PUSH1 0x00
000019ac: DUP3
000019ad: DUP3
000019ae: SLOAD
000019af: PUSH2 0x19b8
000019b2: SWAP2
000019b3: SWAP1
000019b4: PUSH2 0x37df
000019b7: JUMP
000019b8: JUMPDEST
000019b9: SWAP3
000019ba: POP
000019bb: POP
000019bc: DUP2
000019bd: SWAP1
000019be: SSTORE
000019bf: POP
000019c0: DUP1
000019c1: PUSH1 0x0c
000019c3: PUSH1 0x00
000019c5: DUP3
000019c6: DUP3
000019c7: SLOAD
000019c8: PUSH2 0x19d1
000019cb: SWAP2
000019cc: SWAP1
000019cd: PUSH2 0x37df
000019d0: JUMP
000019d1: JUMPDEST
000019d2: SWAP1
000019d3: SWAP2
000019d4: SSTORE
000019d5: POP
000019d6: POP
000019d7: POP
000019d8: JUMP
000019d9: JUMPDEST
000019da: PUSH1 0x01
000019dc: PUSH1 0x01
000019de: PUSH1 0xa0
000019e0: SHL
000019e1: SUB
000019e2: DUP3
000019e3: AND
000019e4: CALLER
000019e5: EQ
000019e6: ISZERO
000019e7: PUSH2 0x1a32
000019ea: JUMPI
000019eb: PUSH1 0x40
000019ed: MLOAD
000019ee: PUSH3 0x461bcd
000019f2: PUSH1 0xe5
000019f4: SHL
000019f5: DUP2
000019f6: MSTORE
000019f7: PUSH1 0x20
000019f9: PUSH1 0x04
000019fb: DUP3
000019fc: ADD
000019fd: MSTORE
000019fe: PUSH1 0x19
00001a00: PUSH1 0x24
00001a02: DUP3
00001a03: ADD
00001a04: MSTORE
00001a05: PUSH32 0x4552433732313a20617070726f766520746f2063616c6c657200000000000000
00001a26: PUSH1 0x44
00001a28: DUP3
00001a29: ADD
00001a2a: MSTORE
00001a2b: PUSH1 0x64
00001a2d: ADD
00001a2e: PUSH2 0x0c58
00001a31: JUMP
00001a32: JUMPDEST
00001a33: CALLER
00001a34: PUSH1 0x00
00001a36: DUP2
00001a37: DUP2
00001a38: MSTORE
00001a39: PUSH1 0x05
00001a3b: PUSH1 0x20
00001a3d: SWAP1
00001a3e: DUP2
00001a3f: MSTORE
00001a40: PUSH1 0x40
00001a42: DUP1
00001a43: DUP4
00001a44: KECCAK256
00001a45: PUSH1 0x01
00001a47: PUSH1 0x01
00001a49: PUSH1 0xa0
00001a4b: SHL
00001a4c: SUB
00001a4d: DUP8
00001a4e: AND
00001a4f: DUP1
00001a50: DUP6
00001a51: MSTORE
00001a52: SWAP1
00001a53: DUP4
00001a54: MSTORE
00001a55: SWAP3
00001a56: DUP2
00001a57: SWAP1
00001a58: KECCAK256
00001a59: DUP1
00001a5a: SLOAD
00001a5b: PUSH1 0xff
00001a5d: NOT
00001a5e: AND
00001a5f: DUP7
00001a60: ISZERO
00001a61: ISZERO
00001a62: SWAP1
00001a63: DUP2
00001a64: OR
00001a65: SWAP1
00001a66: SWAP2
00001a67: SSTORE
00001a68: SWAP1
00001a69: MLOAD
00001a6a: SWAP1
00001a6b: DUP2
00001a6c: MSTORE
00001a6d: SWAP2
00001a6e: SWAP3
00001a6f: SWAP2
00001a70: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31
00001a91: SWAP2
00001a92: ADD
00001a93: PUSH1 0x40
00001a95: MLOAD
00001a96: DUP1
00001a97: SWAP2
00001a98: SUB
00001a99: SWAP1
00001a9a: LOG3
00001a9b: POP
00001a9c: POP
00001a9d: JUMP
00001a9e: JUMPDEST
00001a9f: PUSH1 0x00
00001aa1: DUP2
00001aa2: DUP2
00001aa3: MSTORE
00001aa4: PUSH1 0x11
00001aa6: PUSH1 0x20
00001aa8: MSTORE
00001aa9: PUSH1 0x40
00001aab: DUP2
00001aac: KECCAK256
00001aad: SLOAD
00001aae: DUP2
00001aaf: SWAP1
00001ab0: DUP2
00001ab1: SWAP1
00001ab2: DUP2
00001ab3: SWAP1
00001ab4: DUP2
00001ab5: PUSH2 0x1abd
00001ab8: DUP8
00001ab9: PUSH2 0x1d9d
00001abc: JUMP
00001abd: JUMPDEST
00001abe: SWAP1
00001abf: POP
00001ac0: PUSH1 0x00
00001ac2: PUSH2 0x1aca
00001ac5: DUP3
00001ac6: PUSH2 0x0b05
00001ac9: JUMP
00001aca: JUMPDEST
00001acb: PUSH1 0x00
00001acd: DUP10
00001ace: DUP2
00001acf: MSTORE
00001ad0: PUSH1 0x16
00001ad2: PUSH1 0x20
00001ad4: MSTORE
00001ad5: PUSH1 0x40
00001ad7: DUP2
00001ad8: KECCAK256
00001ad9: SLOAD
00001ada: SWAP2
00001adb: SWAP3
00001adc: POP
00001add: SWAP1
00001ade: PUSH2 0x1ae8
00001ae1: SWAP1
00001ae2: PUSH1 0x02
00001ae4: PUSH2 0x37df
00001ae7: JUMP
00001ae8: JUMPDEST
00001ae9: SWAP4
00001aea: SWAP10
00001aeb: SWAP3
00001aec: SWAP9
00001aed: POP
00001aee: SWAP1
00001aef: SWAP7
00001af0: POP
00001af1: SWAP2
00001af2: SWAP5
00001af3: POP
00001af4: SWAP3
00001af5: POP
00001af6: POP
00001af7: POP
00001af8: JUMP
00001af9: JUMPDEST
00001afa: PUSH1 0x00
00001afc: DUP4
00001afd: DUP2
00001afe: MSTORE
00001aff: PUSH1 0x11
00001b01: PUSH1 0x20
00001b03: MSTORE
00001b04: PUSH1 0x40
00001b06: DUP2
00001b07: KECCAK256
00001b08: SLOAD
00001b09: PUSH1 0x60
00001b0b: SWAP1
00001b0c: DUP3
00001b0d: PUSH2 0x1b15
00001b10: DUP8
00001b11: PUSH2 0x1d9d
00001b14: JUMP
00001b15: JUMPDEST
00001b16: SWAP1
00001b17: POP
00001b18: PUSH1 0x00
00001b1a: PUSH2 0x1b22
00001b1d: DUP3
00001b1e: PUSH2 0x0b05
00001b21: JUMP
00001b22: JUMPDEST
00001b23: SWAP1
00001b24: POP
00001b25: PUSH2 0x1b32
00001b28: DUP4
00001b29: DUP4
00001b2a: DUP4
00001b2b: DUP5
00001b2c: DUP12
00001b2d: DUP12
00001b2e: PUSH2 0x1e1f
00001b31: JUMP
00001b32: JUMPDEST
00001b33: SWAP5
00001b34: POP
00001b35: SWAP5
00001b36: POP
00001b37: POP
00001b38: POP
00001b39: POP
00001b3a: SWAP4
00001b3b: POP
00001b3c: SWAP4
00001b3d: SWAP2
00001b3e: POP
00001b3f: POP
00001b40: JUMP
00001b41: JUMPDEST
00001b42: PUSH1 0x0f
00001b44: SLOAD
00001b45: PUSH1 0x01
00001b47: PUSH1 0x01
00001b49: PUSH1 0xa0
00001b4b: SHL
00001b4c: SUB
00001b4d: AND
00001b4e: CALLER
00001b4f: EQ
00001b50: PUSH2 0x1b58
00001b53: JUMPI
00001b54: PUSH1 0x00
00001b56: DUP1
00001b57: REVERT
00001b58: JUMPDEST
00001b59: PUSH1 0x00
00001b5b: DUP3
00001b5c: DUP2
00001b5d: MSTORE
00001b5e: PUSH1 0x16
00001b60: PUSH1 0x20
00001b62: MSTORE
00001b63: PUSH1 0x40
00001b65: DUP2
00001b66: KECCAK256
00001b67: DUP1
00001b68: SLOAD
00001b69: DUP4
00001b6a: SWAP3
00001b6b: SWAP1
00001b6c: PUSH2 0x1b76
00001b6f: SWAP1
00001b70: DUP5
00001b71: SWAP1
00001b72: PUSH2 0x37df
00001b75: JUMP
00001b76: JUMPDEST
00001b77: SWAP1
00001b78: SWAP2
00001b79: SSTORE
00001b7a: POP
00001b7b: POP
00001b7c: POP
00001b7d: POP
00001b7e: JUMP
00001b7f: JUMPDEST
00001b80: PUSH2 0x1b89
00001b83: CALLER
00001b84: DUP4
00001b85: PUSH2 0x2580
00001b88: JUMP
00001b89: JUMPDEST
00001b8a: PUSH2 0x1ba5
00001b8d: JUMPI
00001b8e: PUSH1 0x40
00001b90: MLOAD
00001b91: PUSH3 0x461bcd
00001b95: PUSH1 0xe5
00001b97: SHL
00001b98: DUP2
00001b99: MSTORE
00001b9a: PUSH1 0x04
00001b9c: ADD
00001b9d: PUSH2 0x0c58
00001ba0: SWAP1
00001ba1: PUSH2 0x37f7
00001ba4: JUMP
00001ba5: JUMPDEST
00001ba6: PUSH2 0x1bb1
00001ba9: DUP5
00001baa: DUP5
00001bab: DUP5
00001bac: DUP5
00001bad: PUSH2 0x2935
00001bb0: JUMP
00001bb1: JUMPDEST
00001bb2: POP
00001bb3: POP
00001bb4: POP
00001bb5: POP
00001bb6: JUMP
00001bb7: JUMPDEST
00001bb8: PUSH1 0x0a
00001bba: SLOAD
00001bbb: PUSH1 0x01
00001bbd: PUSH1 0x01
00001bbf: PUSH1 0xa0
00001bc1: SHL
00001bc2: SUB
00001bc3: AND
00001bc4: CALLER
00001bc5: EQ
00001bc6: PUSH2 0x1be1
00001bc9: JUMPI
00001bca: PUSH1 0x40
00001bcc: MLOAD
00001bcd: PUSH3 0x461bcd
00001bd1: PUSH1 0xe5
00001bd3: SHL
00001bd4: DUP2
00001bd5: MSTORE
00001bd6: PUSH1 0x04
00001bd8: ADD
00001bd9: PUSH2 0x0c58
00001bdc: SWAP1
00001bdd: PUSH2 0x374e
00001be0: JUMP
00001be1: JUMPDEST
00001be2: PUSH1 0x0f
00001be4: DUP1
00001be5: SLOAD
00001be6: PUSH1 0xff
00001be8: PUSH1 0xa8
00001bea: SHL
00001beb: NOT
00001bec: DUP2
00001bed: AND
00001bee: PUSH1 0x01
00001bf0: PUSH1 0xa8
00001bf2: SHL
00001bf3: SWAP2
00001bf4: DUP3
00001bf5: SWAP1
00001bf6: DIV
00001bf7: PUSH1 0xff
00001bf9: AND
00001bfa: ISZERO
00001bfb: SWAP1
00001bfc: SWAP2
00001bfd: MUL
00001bfe: OR
00001bff: SWAP1
00001c00: SSTORE
00001c01: JUMP
00001c02: JUMPDEST
00001c03: PUSH1 0x00
00001c05: DUP1
00001c06: PUSH1 0x00
00001c08: DUP1
00001c09: PUSH1 0x0c
00001c0b: SLOAD
00001c0c: PUSH1 0x0e
00001c0e: SLOAD
00001c0f: PUSH1 0x0d
00001c11: SLOAD
00001c12: PUSH2 0x1c1a
00001c15: PUSH1 0x08
00001c17: SLOAD
00001c18: SWAP1
00001c19: JUMP
00001c1a: JUMPDEST
00001c1b: SWAP4
00001c1c: POP
00001c1d: SWAP4
00001c1e: POP
00001c1f: SWAP4
00001c20: POP
00001c21: SWAP4
00001c22: POP
00001c23: SWAP1
00001c24: SWAP2
00001c25: SWAP3
00001c26: SWAP4
00001c27: JUMP
00001c28: JUMPDEST
00001c29: PUSH1 0x00
00001c2b: DUP2
00001c2c: DUP2
00001c2d: MSTORE
00001c2e: PUSH1 0x02
00001c30: PUSH1 0x20
00001c32: MSTORE
00001c33: PUSH1 0x40
00001c35: SWAP1
00001c36: KECCAK256
00001c37: SLOAD
00001c38: PUSH1 0x60
00001c3a: SWAP1
00001c3b: PUSH1 0x01
00001c3d: PUSH1 0x01
00001c3f: PUSH1 0xa0
00001c41: SHL
00001c42: SUB
00001c43: AND
00001c44: PUSH2 0x1ca7
00001c47: JUMPI
00001c48: PUSH1 0x40
00001c4a: MLOAD
00001c4b: PUSH3 0x461bcd
00001c4f: PUSH1 0xe5
00001c51: SHL
00001c52: DUP2
00001c53: MSTORE
00001c54: PUSH1 0x20
00001c56: PUSH1 0x04
00001c58: DUP3
00001c59: ADD
00001c5a: MSTORE
00001c5b: PUSH1 0x2f
00001c5d: PUSH1 0x24
00001c5f: DUP3
00001c60: ADD
00001c61: MSTORE
00001c62: PUSH32 0x4552433732314d657461646174613a2055524920717565727920666f72206e6f
00001c83: PUSH1 0x44
00001c85: DUP3
00001c86: ADD
00001c87: MSTORE
00001c88: PUSH15 0x3732bc34b9ba32b73a103a37b5b2b7
00001c98: PUSH1 0x89
00001c9a: SHL
00001c9b: PUSH1 0x64
00001c9d: DUP3
00001c9e: ADD
00001c9f: MSTORE
00001ca0: PUSH1 0x84
00001ca2: ADD
00001ca3: PUSH2 0x0c58
00001ca6: JUMP
00001ca7: JUMPDEST
00001ca8: PUSH1 0x00
00001caa: PUSH2 0x1cb1
00001cad: PUSH2 0x2968
00001cb0: JUMP
00001cb1: JUMPDEST
00001cb2: SWAP1
00001cb3: POP
00001cb4: PUSH1 0x00
00001cb6: DUP2
00001cb7: MLOAD
00001cb8: GT
00001cb9: PUSH2 0x1cd1
00001cbc: JUMPI
00001cbd: PUSH1 0x40
00001cbf: MLOAD
00001cc0: DUP1
00001cc1: PUSH1 0x20
00001cc3: ADD
00001cc4: PUSH1 0x40
00001cc6: MSTORE
00001cc7: DUP1
00001cc8: PUSH1 0x00
00001cca: DUP2
00001ccb: MSTORE
00001ccc: POP
00001ccd: PUSH2 0x1cfc
00001cd0: JUMP
00001cd1: JUMPDEST
00001cd2: DUP1
00001cd3: PUSH2 0x1cdb
00001cd6: DUP5
00001cd7: PUSH2 0x2977
00001cda: JUMP
00001cdb: JUMPDEST
00001cdc: PUSH1 0x40
00001cde: MLOAD
00001cdf: PUSH1 0x20
00001ce1: ADD
00001ce2: PUSH2 0x1cec
00001ce5: SWAP3
00001ce6: SWAP2
00001ce7: SWAP1
00001ce8: PUSH2 0x3848
00001ceb: JUMP
00001cec: JUMPDEST
00001ced: PUSH1 0x40
00001cef: MLOAD
00001cf0: PUSH1 0x20
00001cf2: DUP2
00001cf3: DUP4
00001cf4: SUB
00001cf5: SUB
00001cf6: DUP2
00001cf7: MSTORE
00001cf8: SWAP1
00001cf9: PUSH1 0x40
00001cfb: MSTORE
00001cfc: JUMPDEST
00001cfd: SWAP4
00001cfe: SWAP3
00001cff: POP
00001d00: POP
00001d01: POP
00001d02: JUMP
00001d03: JUMPDEST
00001d04: PUSH1 0x01
00001d06: PUSH1 0x01
00001d08: PUSH1 0xa0
00001d0a: SHL
00001d0b: SUB
00001d0c: DUP3
00001d0d: AND
00001d0e: PUSH1 0x00
00001d10: SWAP1
00001d11: DUP2
00001d12: MSTORE
00001d13: PUSH1 0x15
00001d15: PUSH1 0x20
00001d17: MSTORE
00001d18: PUSH1 0x40
00001d1a: DUP2
00001d1b: KECCAK256
00001d1c: SLOAD
00001d1d: DUP3
00001d1e: LT
00001d1f: PUSH2 0x1d60
00001d22: JUMPI
00001d23: PUSH1 0x40
00001d25: MLOAD
00001d26: PUSH3 0x461bcd
00001d2a: PUSH1 0xe5
00001d2c: SHL
00001d2d: DUP2
00001d2e: MSTORE
00001d2f: PUSH1 0x20
00001d31: PUSH1 0x04
00001d33: DUP3
00001d34: ADD
00001d35: MSTORE
00001d36: PUSH1 0x13
00001d38: PUSH1 0x24
00001d3a: DUP3
00001d3b: ADD
00001d3c: MSTORE
00001d3d: PUSH19 0x696e646578206f7574206f6620626f756e6473
00001d51: PUSH1 0x68
00001d53: SHL
00001d54: PUSH1 0x44
00001d56: DUP3
00001d57: ADD
00001d58: MSTORE
00001d59: PUSH1 0x64
00001d5b: ADD
00001d5c: PUSH2 0x0c58
00001d5f: JUMP
00001d60: JUMPDEST
00001d61: PUSH1 0x01
00001d63: PUSH1 0x01
00001d65: PUSH1 0xa0
00001d67: SHL
00001d68: SUB
00001d69: DUP4
00001d6a: AND
00001d6b: PUSH1 0x00
00001d6d: SWAP1
00001d6e: DUP2
00001d6f: MSTORE
00001d70: PUSH1 0x15
00001d72: PUSH1 0x20
00001d74: MSTORE
00001d75: PUSH1 0x40
00001d77: SWAP1
00001d78: KECCAK256
00001d79: DUP1
00001d7a: SLOAD
00001d7b: DUP4
00001d7c: SWAP1
00001d7d: DUP2
00001d7e: LT
00001d7f: PUSH2 0x1d8a
00001d82: JUMPI
00001d83: PUSH2 0x1d8a
00001d86: PUSH2 0x3783
00001d89: JUMP
00001d8a: JUMPDEST
00001d8b: SWAP1
00001d8c: PUSH1 0x00
00001d8e: MSTORE
00001d8f: PUSH1 0x20
00001d91: PUSH1 0x00
00001d93: KECCAK256
00001d94: ADD
00001d95: SLOAD
00001d96: SWAP1
00001d97: POP
00001d98: SWAP3
00001d99: SWAP2
00001d9a: POP
00001d9b: POP
00001d9c: JUMP
00001d9d: JUMPDEST
00001d9e: PUSH1 0x00
00001da0: DUP2
00001da1: DUP2
00001da2: MSTORE
00001da3: PUSH1 0x12
00001da5: PUSH1 0x20
00001da7: SWAP1
00001da8: DUP2
00001da9: MSTORE
00001daa: PUSH1 0x40
00001dac: DUP1
00001dad: DUP4
00001dae: KECCAK256
00001daf: SLOAD
00001db0: PUSH1 0x13
00001db2: SWAP1
00001db3: SWAP3
00001db4: MSTORE
00001db5: DUP3
00001db6: KECCAK256
00001db7: SLOAD
00001db8: PUSH1 0x01
00001dba: PUSH1 0x01
00001dbc: PUSH1 0xa0
00001dbe: SHL
00001dbf: SUB
00001dc0: AND
00001dc1: PUSH2 0x1dca
00001dc4: JUMPI
00001dc5: SWAP3
00001dc6: SWAP2
00001dc7: POP
00001dc8: POP
00001dc9: JUMP
00001dca: JUMPDEST
00001dcb: PUSH1 0x00
00001dcd: DUP4
00001dce: DUP2
00001dcf: MSTORE
00001dd0: PUSH1 0x16
00001dd2: PUSH1 0x20
00001dd4: MSTORE
00001dd5: PUSH1 0x40
00001dd7: SWAP1
00001dd8: KECCAK256
00001dd9: SLOAD
00001dda: PUSH2 0x1de4
00001ddd: SWAP1
00001dde: PUSH1 0x02
00001de0: PUSH2 0x37df
00001de3: JUMP
00001de4: JUMPDEST
00001de5: PUSH1 0x00
00001de7: DUP5
00001de8: DUP2
00001de9: MSTORE
00001dea: PUSH1 0x14
00001dec: PUSH1 0x20
00001dee: MSTORE
00001def: PUSH1 0x40
00001df1: SWAP1
00001df2: KECCAK256
00001df3: SLOAD
00001df4: PUSH2 0x3840
00001df7: SWAP1
00001df8: PUSH2 0x1e01
00001dfb: SWAP1
00001dfc: TIMESTAMP
00001dfd: PUSH2 0x3877
00001e00: JUMP
00001e01: JUMPDEST
00001e02: PUSH2 0x1e0b
00001e05: SWAP2
00001e06: SWAP1
00001e07: PUSH2 0x36e6
00001e0a: JUMP
00001e0b: JUMPDEST
00001e0c: PUSH2 0x1e15
00001e0f: SWAP2
00001e10: SWAP1
00001e11: PUSH2 0x36fa
00001e14: JUMP
00001e15: JUMPDEST
00001e16: PUSH2 0x1cfc
00001e19: SWAP1
00001e1a: DUP3
00001e1b: PUSH2 0x37df
00001e1e: JUMP
00001e1f: JUMPDEST
00001e20: PUSH1 0x00
00001e22: PUSH1 0x60
00001e24: PUSH2 0x1e2e
00001e27: PUSH1 0x02
00001e29: DUP5
00001e2a: PUSH2 0x388e
00001e2d: JUMP
00001e2e: JUMPDEST
00001e2f: ISZERO
00001e30: PUSH2 0x1e7b
00001e33: JUMPI
00001e34: PUSH1 0x40
00001e36: MLOAD
00001e37: PUSH3 0x461bcd
00001e3b: PUSH1 0xe5
00001e3d: SHL
00001e3e: DUP2
00001e3f: MSTORE
00001e40: PUSH1 0x20
00001e42: PUSH1 0x04
00001e44: DUP3
00001e45: ADD
00001e46: MSTORE
00001e47: PUSH1 0x1e
00001e49: PUSH1 0x24
00001e4b: DUP3
00001e4c: ADD
00001e4d: MSTORE
00001e4e: PUSH32 0x6c696d69742073686f756c6420626520616e206576656e206e756d6265720000
00001e6f: PUSH1 0x44
00001e71: DUP3
00001e72: ADD
00001e73: MSTORE
00001e74: PUSH1 0x64
00001e76: ADD
00001e77: PUSH2 0x0c58
00001e7a: JUMP
00001e7b: JUMPDEST
00001e7c: PUSH1 0x80
00001e7e: DUP5
00001e7f: SWAP1
00001e80: SHR
00001e81: PUSH16 0xffffffffffffffffffffffffffffffff
00001e92: DUP6
00001e93: AND
00001e94: DUP9
00001e95: PUSH2 0x1e9e
00001e98: DUP7
00001e99: DUP5
00001e9a: PUSH2 0x37df
00001e9d: JUMP
00001e9e: JUMPDEST
00001e9f: GT
00001ea0: ISZERO
00001ea1: PUSH2 0x1eb1
00001ea4: JUMPI
00001ea5: PUSH2 0x1eae
00001ea8: DUP3
00001ea9: DUP11
00001eaa: PUSH2 0x3877
00001ead: JUMP
00001eae: JUMPDEST
00001eaf: SWAP5
00001eb0: POP
00001eb1: JUMPDEST
00001eb2: PUSH1 0x00
00001eb4: DUP6
00001eb5: PUSH8 0xffffffffffffffff
00001ebe: DUP2
00001ebf: GT
00001ec0: ISZERO
00001ec1: PUSH2 0x1ecc
00001ec4: JUMPI
00001ec5: PUSH2 0x1ecc
00001ec8: PUSH2 0x3272
00001ecb: JUMP
00001ecc: JUMPDEST
00001ecd: PUSH1 0x40
00001ecf: MLOAD
00001ed0: SWAP1
00001ed1: DUP1
00001ed2: DUP3
00001ed3: MSTORE
00001ed4: DUP1
00001ed5: PUSH1 0x20
00001ed7: MUL
00001ed8: PUSH1 0x20
00001eda: ADD
00001edb: DUP3
00001edc: ADD
00001edd: PUSH1 0x40
00001edf: MSTORE
00001ee0: DUP1
00001ee1: ISZERO
00001ee2: PUSH2 0x1ef5
00001ee5: JUMPI
00001ee6: DUP2
00001ee7: PUSH1 0x20
00001ee9: ADD
00001eea: PUSH1 0x20
00001eec: DUP3
00001eed: MUL
00001eee: DUP1
00001eef: CALLDATASIZE
00001ef0: DUP4
00001ef1: CALLDATACOPY
00001ef2: ADD
00001ef3: SWAP1
00001ef4: POP
00001ef5: JUMPDEST
00001ef6: POP
00001ef7: SWAP1
00001ef8: POP
00001ef9: PUSH1 0x00
00001efb: DUP1
00001efc: DUP5
00001efd: DUP1
00001efe: PUSH2 0x1fa0
00001f01: JUMPI
00001f02: PUSH2 0x1f0c
00001f05: PUSH1 0x02
00001f07: DUP14
00001f08: PUSH2 0x36e6
00001f0b: JUMP
00001f0c: JUMPDEST
00001f0d: SWAP3
00001f0e: POP
00001f0f: PUSH2 0x1f19
00001f12: PUSH1 0x02
00001f14: DUP13
00001f15: PUSH2 0x36e6
00001f18: JUMP
00001f19: JUMPDEST
00001f1a: SWAP2
00001f1b: POP
00001f1c: DUP3
00001f1d: PUSH2 0x1f26
00001f20: DUP14
00001f21: DUP5
00001f22: PUSH2 0x36fa
00001f25: JUMP
00001f26: JUMPDEST
00001f27: PUSH2 0x1f30
00001f2a: SWAP2
00001f2b: SWAP1
00001f2c: PUSH2 0x37df
00001f2f: JUMP
00001f30: JUMPDEST
00001f31: DUP5
00001f32: PUSH1 0x00
00001f34: DUP2
00001f35: MLOAD
00001f36: DUP2
00001f37: LT
00001f38: PUSH2 0x1f43
00001f3b: JUMPI
00001f3c: PUSH2 0x1f43
00001f3f: PUSH2 0x3783
00001f42: JUMP
00001f43: JUMPDEST
00001f44: PUSH1 0x20
00001f46: SWAP1
00001f47: DUP2
00001f48: MUL
00001f49: SWAP2
00001f4a: SWAP1
00001f4b: SWAP2
00001f4c: ADD
00001f4d: ADD
00001f4e: MSTORE
00001f4f: DUP3
00001f50: PUSH1 0x01
00001f52: DUP14
00001f53: PUSH2 0x1f5c
00001f56: DUP2
00001f57: DUP7
00001f58: PUSH2 0x36fa
00001f5b: JUMP
00001f5c: JUMPDEST
00001f5d: PUSH2 0x1f66
00001f60: SWAP2
00001f61: SWAP1
00001f62: PUSH2 0x37df
00001f65: JUMP
00001f66: JUMPDEST
00001f67: PUSH2 0x1f70
00001f6a: SWAP2
00001f6b: SWAP1
00001f6c: PUSH2 0x3877
00001f6f: JUMP
00001f70: JUMPDEST
00001f71: PUSH2 0x1f7a
00001f74: SWAP2
00001f75: SWAP1
00001f76: PUSH2 0x3877
00001f79: JUMP
00001f7a: JUMPDEST
00001f7b: DUP5
00001f7c: PUSH1 0x01
00001f7e: DUP2
00001f7f: MLOAD
00001f80: DUP2
00001f81: LT
00001f82: PUSH2 0x1f8d
00001f85: JUMPI
00001f86: PUSH2 0x1f8d
00001f89: PUSH2 0x3783
00001f8c: JUMP
00001f8d: JUMPDEST
00001f8e: PUSH1 0x20
00001f90: SWAP1
00001f91: DUP2
00001f92: MUL
00001f93: SWAP2
00001f94: SWAP1
00001f95: SWAP2
00001f96: ADD
00001f97: ADD
00001f98: MSTORE
00001f99: POP
00001f9a: PUSH1 0x02
00001f9c: PUSH2 0x1fb9
00001f9f: JUMP
00001fa0: JUMPDEST
00001fa1: PUSH2 0x1faa
00001fa4: DUP13
00001fa5: DUP7
00001fa6: PUSH2 0x36e6
00001fa9: JUMP
00001faa: JUMPDEST
00001fab: SWAP2
00001fac: POP
00001fad: PUSH2 0x1fb6
00001fb0: DUP13
00001fb1: DUP7
00001fb2: PUSH2 0x388e
00001fb5: JUMP
00001fb6: JUMPDEST
00001fb7: SWAP3
00001fb8: POP
00001fb9: JUMPDEST
00001fba: DUP13
00001fbb: DUP2
00001fbc: GT
00001fbd: PUSH2 0x21b2
00001fc0: JUMPI
00001fc1: PUSH2 0x1fca
00001fc4: DUP10
00001fc5: DUP8
00001fc6: PUSH2 0x37df
00001fc9: JUMP
00001fca: JUMPDEST
00001fcb: DUP2
00001fcc: EQ
00001fcd: ISZERO
00001fce: PUSH2 0x1fd6
00001fd1: JUMPI
00001fd2: PUSH2 0x21b2
00001fd5: JUMP
00001fd6: JUMPDEST
00001fd7: PUSH1 0x00
00001fd9: PUSH1 0x07
00001fdb: DUP16
00001fdc: DUP4
00001fdd: PUSH1 0x40
00001fdf: MLOAD
00001fe0: PUSH1 0x20
00001fe2: ADD
00001fe3: PUSH2 0x1ff6
00001fe6: SWAP3
00001fe7: SWAP2
00001fe8: SWAP1
00001fe9: SWAP2
00001fea: DUP3
00001feb: MSTORE
00001fec: PUSH1 0x20
00001fee: DUP3
00001fef: ADD
00001ff0: MSTORE
00001ff1: PUSH1 0x40
00001ff3: ADD
00001ff4: SWAP1
00001ff5: JUMP
00001ff6: JUMPDEST
00001ff7: PUSH1 0x40
00001ff9: MLOAD
00001ffa: PUSH1 0x20
00001ffc: DUP2
00001ffd: DUP4
00001ffe: SUB
00001fff: SUB
00002000: DUP2
00002001: MSTORE
00002002: SWAP1
00002003: PUSH1 0x40
00002005: MSTORE
00002006: DUP1
00002007: MLOAD
00002008: SWAP1
00002009: PUSH1 0x20
0000200b: ADD
0000200c: KECCAK256
0000200d: PUSH1 0x00
0000200f: SHR
00002010: PUSH2 0x2019
00002013: SWAP2
00002014: SWAP1
00002015: PUSH2 0x388e
00002018: JUMP
00002019: JUMPDEST
0000201a: SWAP1
0000201b: POP
0000201c: PUSH1 0x04
0000201e: DUP2
0000201f: LT
00002020: PUSH2 0x2040
00002023: JUMPI
00002024: DUP13
00002025: PUSH2 0x202f
00002028: DUP6
00002029: PUSH1 0x01
0000202b: PUSH2 0x37df
0000202e: JUMP
0000202f: JUMPDEST
00002030: PUSH2 0x2039
00002033: SWAP2
00002034: SWAP1
00002035: PUSH2 0x388e
00002038: JUMP
00002039: JUMPDEST
0000203a: SWAP4
0000203b: POP
0000203c: PUSH2 0x206e
0000203f: JUMP
00002040: JUMPDEST
00002041: PUSH1 0x01
00002043: DUP2
00002044: LT
00002045: PUSH2 0x206e
00002048: JUMPI
00002049: PUSH1 0x00
0000204b: DUP5
0000204c: GT
0000204d: PUSH2 0x2060
00002050: JUMPI
00002051: PUSH2 0x205b
00002054: PUSH1 0x01
00002056: DUP15
00002057: PUSH2 0x3877
0000205a: JUMP
0000205b: JUMPDEST
0000205c: PUSH2 0x206b
0000205f: JUMP
00002060: JUMPDEST
00002061: PUSH2 0x206b
00002064: PUSH1 0x01
00002066: DUP6
00002067: PUSH2 0x3877
0000206a: JUMP
0000206b: JUMPDEST
0000206c: SWAP4
0000206d: POP
0000206e: JUMPDEST
0000206f: PUSH1 0x07
00002071: DUP16
00002072: PUSH2 0x207c
00002075: DUP5
00002076: PUSH1 0x01
00002078: PUSH2 0x37df
0000207b: JUMP
0000207c: JUMPDEST
0000207d: PUSH1 0x40
0000207f: DUP1
00002080: MLOAD
00002081: PUSH1 0x20
00002083: DUP2
00002084: ADD
00002085: SWAP4
00002086: SWAP1
00002087: SWAP4
00002088: MSTORE
00002089: DUP3
0000208a: ADD
0000208b: MSTORE
0000208c: PUSH1 0x60
0000208e: ADD
0000208f: PUSH1 0x40
00002091: MLOAD
00002092: PUSH1 0x20
00002094: DUP2
00002095: DUP4
00002096: SUB
00002097: SUB
00002098: DUP2
00002099: MSTORE
0000209a: SWAP1
0000209b: PUSH1 0x40
0000209d: MSTORE
0000209e: DUP1
0000209f: MLOAD
000020a0: SWAP1
000020a1: PUSH1 0x20
000020a3: ADD
000020a4: KECCAK256
000020a5: PUSH1 0x00
000020a7: SHR
000020a8: PUSH2 0x20b1
000020ab: SWAP2
000020ac: SWAP1
000020ad: PUSH2 0x388e
000020b0: JUMP
000020b1: JUMPDEST
000020b2: SWAP1
000020b3: POP
000020b4: PUSH1 0x04
000020b6: DUP2
000020b7: LT
000020b8: PUSH2 0x20d8
000020bb: JUMPI
000020bc: DUP12
000020bd: PUSH2 0x20c7
000020c0: DUP5
000020c1: PUSH1 0x01
000020c3: PUSH2 0x37df
000020c6: JUMP
000020c7: JUMPDEST
000020c8: PUSH2 0x20d1
000020cb: SWAP2
000020cc: SWAP1
000020cd: PUSH2 0x388e
000020d0: JUMP
000020d1: JUMPDEST
000020d2: SWAP3
000020d3: POP
000020d4: PUSH2 0x2106
000020d7: JUMP
000020d8: JUMPDEST
000020d9: PUSH1 0x01
000020db: DUP2
000020dc: LT
000020dd: PUSH2 0x2106
000020e0: JUMPI
000020e1: PUSH1 0x00
000020e3: DUP4
000020e4: GT
000020e5: PUSH2 0x20f8
000020e8: JUMPI
000020e9: PUSH2 0x20f3
000020ec: PUSH1 0x01
000020ee: DUP14
000020ef: PUSH2 0x3877
000020f2: JUMP
000020f3: JUMPDEST
000020f4: PUSH2 0x2103
000020f7: JUMP
000020f8: JUMPDEST
000020f9: PUSH2 0x2103
000020fc: PUSH1 0x01
000020fe: DUP5
000020ff: PUSH2 0x3877
00002102: JUMP
00002103: JUMPDEST
00002104: SWAP3
00002105: POP
00002106: JUMPDEST
00002107: DUP4
00002108: PUSH2 0x2111
0000210b: DUP15
0000210c: DUP6
0000210d: PUSH2 0x36fa
00002110: JUMP
00002111: JUMPDEST
00002112: PUSH2 0x211b
00002115: SWAP2
00002116: SWAP1
00002117: PUSH2 0x37df
0000211a: JUMP
0000211b: JUMPDEST
0000211c: DUP6
0000211d: PUSH2 0x2126
00002120: DUP10
00002121: DUP6
00002122: PUSH2 0x3877
00002125: JUMP
00002126: JUMPDEST
00002127: DUP2
00002128: MLOAD
00002129: DUP2
0000212a: LT
0000212b: PUSH2 0x2136
0000212e: JUMPI
0000212f: PUSH2 0x2136
00002132: PUSH2 0x3783
00002135: JUMP
00002136: JUMPDEST
00002137: PUSH1 0x20
00002139: SWAP1
0000213a: DUP2
0000213b: MUL
0000213c: SWAP2
0000213d: SWAP1
0000213e: SWAP2
0000213f: ADD
00002140: ADD
00002141: MSTORE
00002142: DUP4
00002143: PUSH1 0x01
00002145: DUP15
00002146: PUSH2 0x214f
00002149: DUP2
0000214a: DUP8
0000214b: PUSH2 0x36fa
0000214e: JUMP
0000214f: JUMPDEST
00002150: PUSH2 0x2159
00002153: SWAP2
00002154: SWAP1
00002155: PUSH2 0x37df
00002158: JUMP
00002159: JUMPDEST
0000215a: PUSH2 0x2163
0000215d: SWAP2
0000215e: SWAP1
0000215f: PUSH2 0x3877
00002162: JUMP
00002163: JUMPDEST
00002164: PUSH2 0x216d
00002167: SWAP2
00002168: SWAP1
00002169: PUSH2 0x3877
0000216c: JUMP
0000216d: JUMPDEST
0000216e: DUP6
0000216f: DUP9
00002170: PUSH2 0x217a
00002173: DUP6
00002174: PUSH1 0x01
00002176: PUSH2 0x37df
00002179: JUMP
0000217a: JUMPDEST
0000217b: PUSH2 0x2184
0000217e: SWAP2
0000217f: SWAP1
00002180: PUSH2 0x3877
00002183: JUMP
00002184: JUMPDEST
00002185: DUP2
00002186: MLOAD
00002187: DUP2
00002188: LT
00002189: PUSH2 0x2194
0000218c: JUMPI
0000218d: PUSH2 0x2194
00002190: PUSH2 0x3783
00002193: JUMP
00002194: JUMPDEST
00002195: PUSH1 0x20
00002197: SWAP1
00002198: DUP2
00002199: MUL
0000219a: SWAP2
0000219b: SWAP1
0000219c: SWAP2
0000219d: ADD
0000219e: ADD
0000219f: MSTORE
000021a0: POP
000021a1: PUSH2 0x21ab
000021a4: PUSH1 0x02
000021a6: DUP3
000021a7: PUSH2 0x37df
000021aa: JUMP
000021ab: JUMPDEST
000021ac: SWAP1
000021ad: POP
000021ae: PUSH2 0x1fb9
000021b1: JUMP
000021b2: JUMPDEST
000021b3: DUP13
000021b4: DUP2
000021b5: EQ
000021b6: ISZERO
000021b7: PUSH2 0x21c3
000021ba: JUMPI
000021bb: PUSH1 0x00
000021bd: SWAP10
000021be: POP
000021bf: PUSH2 0x21e1
000021c2: JUMP
000021c3: JUMPDEST
000021c4: DUP3
000021c5: PUSH2 0x21ce
000021c8: DUP14
000021c9: DUP5
000021ca: PUSH2 0x36fa
000021cd: JUMP
000021ce: JUMPDEST
000021cf: PUSH2 0x21d8
000021d2: SWAP2
000021d3: SWAP1
000021d4: PUSH2 0x37df
000021d7: JUMP
000021d8: JUMPDEST
000021d9: PUSH1 0x80
000021db: DUP3
000021dc: SWAP1
000021dd: SHL
000021de: OR
000021df: SWAP10
000021e0: POP
000021e1: JUMPDEST
000021e2: POP
000021e3: SWAP8
000021e4: SWAP13
000021e5: SWAP2
000021e6: SWAP12
000021e7: POP
000021e8: SWAP1
000021e9: SWAP10
000021ea: POP
000021eb: POP
000021ec: POP
000021ed: POP
000021ee: POP
000021ef: POP
000021f0: POP
000021f1: POP
000021f2: POP
000021f3: POP
000021f4: JUMP
000021f5: JUMPDEST
000021f6: CALLVALUE
000021f7: PUSH7 0x2386f26fc10000
000021ff: EQ
00002200: PUSH2 0x224b
00002203: JUMPI
00002204: PUSH1 0x40
00002206: MLOAD
00002207: PUSH3 0x461bcd
0000220b: PUSH1 0xe5
0000220d: SHL
0000220e: DUP2
0000220f: MSTORE
00002210: PUSH1 0x20
00002212: PUSH1 0x04
00002214: DUP3
00002215: ADD
00002216: MSTORE
00002217: PUSH1 0x19
00002219: PUSH1 0x24
0000221b: DUP3
0000221c: ADD
0000221d: MSTORE
0000221e: PUSH32 0x756e7374616b696e672066656520697320302e30312045544800000000000000
0000223f: PUSH1 0x44
00002241: DUP3
00002242: ADD
00002243: MSTORE
00002244: PUSH1 0x64
00002246: ADD
00002247: PUSH2 0x0c58
0000224a: JUMP
0000224b: JUMPDEST
0000224c: CALLER
0000224d: PUSH1 0x00
0000224f: JUMPDEST
00002250: DUP3
00002251: MLOAD
00002252: DUP2
00002253: LT
00002254: ISZERO
00002255: PUSH2 0x22cb
00002258: JUMPI
00002259: DUP2
0000225a: PUSH1 0x01
0000225c: PUSH1 0x01
0000225e: PUSH1 0xa0
00002260: SHL
00002261: SUB
00002262: AND
00002263: PUSH1 0x13
00002265: PUSH1 0x00
00002267: DUP6
00002268: DUP5
00002269: DUP2
0000226a: MLOAD
0000226b: DUP2
0000226c: LT
0000226d: PUSH2 0x2278
00002270: JUMPI
00002271: PUSH2 0x2278
00002274: PUSH2 0x3783
00002277: JUMP
00002278: JUMPDEST
00002279: PUSH1 0x20
0000227b: SWAP1
0000227c: DUP2
0000227d: MUL
0000227e: SWAP2
0000227f: SWAP1
00002280: SWAP2
00002281: ADD
00002282: DUP2
00002283: ADD
00002284: MLOAD
00002285: DUP3
00002286: MSTORE
00002287: DUP2
00002288: ADD
00002289: SWAP2
0000228a: SWAP1
0000228b: SWAP2
0000228c: MSTORE
0000228d: PUSH1 0x40
0000228f: ADD
00002290: PUSH1 0x00
00002292: KECCAK256
00002293: SLOAD
00002294: PUSH1 0x01
00002296: PUSH1 0x01
00002298: PUSH1 0xa0
0000229a: SHL
0000229b: SUB
0000229c: AND
0000229d: EQ
0000229e: PUSH2 0x22b9
000022a1: JUMPI
000022a2: PUSH1 0x40
000022a4: MLOAD
000022a5: PUSH3 0x461bcd
000022a9: PUSH1 0xe5
000022ab: SHL
000022ac: DUP2
000022ad: MSTORE
000022ae: PUSH1 0x04
000022b0: ADD
000022b1: PUSH2 0x0c58
000022b4: SWAP1
000022b5: PUSH2 0x3799
000022b8: JUMP
000022b9: JUMPDEST
000022ba: DUP1
000022bb: PUSH2 0x22c3
000022be: DUP2
000022bf: PUSH2 0x37c4
000022c2: JUMP
000022c3: JUMPDEST
000022c4: SWAP2
000022c5: POP
000022c6: POP
000022c7: PUSH2 0x224f
000022ca: JUMP
000022cb: JUMPDEST
000022cc: POP
000022cd: PUSH1 0x00
000022cf: JUMPDEST
000022d0: DUP3
000022d1: MLOAD
000022d2: DUP2
000022d3: LT
000022d4: ISZERO
000022d5: PUSH2 0x0dbf
000022d8: JUMPI
000022d9: PUSH1 0x00
000022db: DUP4
000022dc: DUP3
000022dd: DUP2
000022de: MLOAD
000022df: DUP2
000022e0: LT
000022e1: PUSH2 0x22ec
000022e4: JUMPI
000022e5: PUSH2 0x22ec
000022e8: PUSH2 0x3783
000022eb: JUMP
000022ec: JUMPDEST
000022ed: PUSH1 0x20
000022ef: SWAP1
000022f0: DUP2
000022f1: MUL
000022f2: SWAP2
000022f3: SWAP1
000022f4: SWAP2
000022f5: ADD
000022f6: DUP2
000022f7: ADD
000022f8: MLOAD
000022f9: PUSH1 0x00
000022fb: DUP2
000022fc: DUP2
000022fd: MSTORE
000022fe: PUSH1 0x13
00002300: DUP4
00002301: MSTORE
00002302: PUSH1 0x40
00002304: DUP1
00002305: DUP3
00002306: KECCAK256
00002307: DUP1
00002308: SLOAD
00002309: PUSH1 0x01
0000230b: PUSH1 0x01
0000230d: PUSH1 0xa0
0000230f: SHL
00002310: SUB
00002311: NOT
00002312: AND
00002313: SWAP1
00002314: SSTORE
00002315: PUSH1 0x16
00002317: SWAP1
00002318: SWAP4
00002319: MSTORE
0000231a: SWAP2
0000231b: SWAP1
0000231c: SWAP2
0000231d: KECCAK256
0000231e: SLOAD
0000231f: SWAP1
00002320: SWAP2
00002321: POP
00002322: PUSH2 0x232c
00002325: SWAP1
00002326: PUSH1 0x02
00002328: PUSH2 0x37df
0000232b: JUMP
0000232c: JUMPDEST
0000232d: PUSH1 0x00
0000232f: DUP3
00002330: DUP2
00002331: MSTORE
00002332: PUSH1 0x14
00002334: PUSH1 0x20
00002336: MSTORE
00002337: PUSH1 0x40
00002339: SWAP1
0000233a: KECCAK256
0000233b: SLOAD
0000233c: PUSH2 0x3840
0000233f: SWAP1
00002340: PUSH2 0x2349
00002343: SWAP1
00002344: TIMESTAMP
00002345: PUSH2 0x3877
00002348: JUMP
00002349: JUMPDEST
0000234a: PUSH2 0x2353
0000234d: SWAP2
0000234e: SWAP1
0000234f: PUSH2 0x36e6
00002352: JUMP
00002353: JUMPDEST
00002354: PUSH2 0x235d
00002357: SWAP2
00002358: SWAP1
00002359: PUSH2 0x36fa
0000235c: JUMP
0000235d: JUMPDEST
0000235e: PUSH1 0x00
00002360: DUP3
00002361: DUP2
00002362: MSTORE
00002363: PUSH1 0x12
00002365: PUSH1 0x20
00002367: MSTORE
00002368: PUSH1 0x40
0000236a: DUP2
0000236b: KECCAK256
0000236c: DUP1
0000236d: SLOAD
0000236e: SWAP1
0000236f: SWAP2
00002370: SWAP1
00002371: PUSH2 0x237b
00002374: SWAP1
00002375: DUP5
00002376: SWAP1
00002377: PUSH2 0x37df
0000237a: JUMP
0000237b: JUMPDEST
0000237c: SWAP1
0000237d: SWAP2
0000237e: SSTORE
0000237f: POP
00002380: POP
00002381: PUSH1 0x00
00002383: DUP2
00002384: DUP2
00002385: MSTORE
00002386: PUSH1 0x14
00002388: PUSH1 0x20
0000238a: MSTORE
0000238b: PUSH1 0x40
0000238d: DUP2
0000238e: KECCAK256
0000238f: SSTORE
00002390: PUSH2 0x2399
00002393: DUP4
00002394: DUP3
00002395: PUSH2 0x2a75
00002398: JUMP
00002399: JUMPDEST
0000239a: PUSH2 0x23a4
0000239d: ADDRESS
0000239e: DUP5
0000239f: DUP4
000023a0: PUSH2 0x2677
000023a3: JUMP
000023a4: JUMPDEST
000023a5: PUSH1 0x01
000023a7: PUSH1 0x0e
000023a9: PUSH1 0x00
000023ab: DUP3
000023ac: DUP3
000023ad: SLOAD
000023ae: PUSH2 0x23b7
000023b1: SWAP2
000023b2: SWAP1
000023b3: PUSH2 0x3877
000023b6: JUMP
000023b7: JUMPDEST
000023b8: SWAP1
000023b9: SWAP2
000023ba: SSTORE
000023bb: POP
000023bc: DUP3
000023bd: SWAP2
000023be: POP
000023bf: PUSH2 0x23c9
000023c2: SWAP1
000023c3: POP
000023c4: DUP2
000023c5: PUSH2 0x37c4
000023c8: JUMP
000023c9: JUMPDEST
000023ca: SWAP2
000023cb: POP
000023cc: POP
000023cd: PUSH2 0x22cf
000023d0: JUMP
000023d1: JUMPDEST
000023d2: PUSH1 0x0a
000023d4: SLOAD
000023d5: PUSH1 0x01
000023d7: PUSH1 0x01
000023d9: PUSH1 0xa0
000023db: SHL
000023dc: SUB
000023dd: AND
000023de: CALLER
000023df: EQ
000023e0: PUSH2 0x23fb
000023e3: JUMPI
000023e4: PUSH1 0x40
000023e6: MLOAD
000023e7: PUSH3 0x461bcd
000023eb: PUSH1 0xe5
000023ed: SHL
000023ee: DUP2
000023ef: MSTORE
000023f0: PUSH1 0x04
000023f2: ADD
000023f3: PUSH2 0x0c58
000023f6: SWAP1
000023f7: PUSH2 0x374e
000023fa: JUMP
000023fb: JUMPDEST
000023fc: PUSH1 0x01
000023fe: PUSH1 0x01
00002400: PUSH1 0xa0
00002402: SHL
00002403: SUB
00002404: DUP2
00002405: AND
00002406: PUSH2 0x2460
00002409: JUMPI
0000240a: PUSH1 0x40
0000240c: MLOAD
0000240d: PUSH3 0x461bcd
00002411: PUSH1 0xe5
00002413: SHL
00002414: DUP2
00002415: MSTORE
00002416: PUSH1 0x20
00002418: PUSH1 0x04
0000241a: DUP3
0000241b: ADD
0000241c: MSTORE
0000241d: PUSH1 0x26
0000241f: PUSH1 0x24
00002421: DUP3
00002422: ADD
00002423: MSTORE
00002424: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00002445: PUSH1 0x44
00002447: DUP3
00002448: ADD
00002449: MSTORE
0000244a: PUSH6 0x646472657373
00002451: PUSH1 0xd0
00002453: SHL
00002454: PUSH1 0x64
00002456: DUP3
00002457: ADD
00002458: MSTORE
00002459: PUSH1 0x84
0000245b: ADD
0000245c: PUSH2 0x0c58
0000245f: JUMP
00002460: JUMPDEST
00002461: PUSH2 0x13aa
00002464: DUP2
00002465: PUSH2 0x28e3
00002468: JUMP
00002469: JUMPDEST
0000246a: PUSH1 0x00
0000246c: PUSH1 0x01
0000246e: PUSH1 0x01
00002470: PUSH1 0xe0
00002472: SHL
00002473: SUB
00002474: NOT
00002475: DUP3
00002476: AND
00002477: PUSH4 0x80ac58cd
0000247c: PUSH1 0xe0
0000247e: SHL
0000247f: EQ
00002480: DUP1
00002481: PUSH2 0x249a
00002484: JUMPI
00002485: POP
00002486: PUSH1 0x01
00002488: PUSH1 0x01
0000248a: PUSH1 0xe0
0000248c: SHL
0000248d: SUB
0000248e: NOT
0000248f: DUP3
00002490: AND
00002491: PUSH4 0x5b5e139f
00002496: PUSH1 0xe0
00002498: SHL
00002499: EQ
0000249a: JUMPDEST
0000249b: DUP1
0000249c: PUSH2 0x0aff
0000249f: JUMPI
000024a0: POP
000024a1: PUSH4 0x01ffc9a7
000024a6: PUSH1 0xe0
000024a8: SHL
000024a9: PUSH1 0x01
000024ab: PUSH1 0x01
000024ad: PUSH1 0xe0
000024af: SHL
000024b0: SUB
000024b1: NOT
000024b2: DUP4
000024b3: AND
000024b4: EQ
000024b5: PUSH2 0x0aff
000024b8: JUMP
000024b9: JUMPDEST
000024ba: PUSH1 0x00
000024bc: DUP1
000024bd: PUSH1 0x02
000024bf: PUSH2 0x24c9
000024c2: DUP5
000024c3: PUSH1 0x01
000024c5: PUSH2 0x37df
000024c8: JUMP
000024c9: JUMPDEST
000024ca: PUSH2 0x24d3
000024cd: SWAP2
000024ce: SWAP1
000024cf: PUSH2 0x36e6
000024d2: JUMP
000024d3: JUMPDEST
000024d4: SWAP1
000024d5: POP
000024d6: DUP3
000024d7: SWAP2
000024d8: POP
000024d9: JUMPDEST
000024da: DUP2
000024db: DUP2
000024dc: LT
000024dd: ISZERO
000024de: PUSH2 0x250c
000024e1: JUMPI
000024e2: SWAP1
000024e3: POP
000024e4: DUP1
000024e5: PUSH1 0x02
000024e7: DUP2
000024e8: PUSH2 0x24f1
000024eb: DUP2
000024ec: DUP7
000024ed: PUSH2 0x36e6
000024f0: JUMP
000024f1: JUMPDEST
000024f2: PUSH2 0x24fb
000024f5: SWAP2
000024f6: SWAP1
000024f7: PUSH2 0x37df
000024fa: JUMP
000024fb: JUMPDEST
000024fc: PUSH2 0x2505
000024ff: SWAP2
00002500: SWAP1
00002501: PUSH2 0x36e6
00002504: JUMP
00002505: JUMPDEST
00002506: SWAP1
00002507: POP
00002508: PUSH2 0x24d9
0000250b: JUMP
0000250c: JUMPDEST
0000250d: POP
0000250e: SWAP2
0000250f: SWAP1
00002510: POP
00002511: JUMP
00002512: JUMPDEST
00002513: PUSH1 0x00
00002515: DUP2
00002516: DUP2
00002517: MSTORE
00002518: PUSH1 0x04
0000251a: PUSH1 0x20
0000251c: MSTORE
0000251d: PUSH1 0x40
0000251f: SWAP1
00002520: KECCAK256
00002521: DUP1
00002522: SLOAD
00002523: PUSH1 0x01
00002525: PUSH1 0x01
00002527: PUSH1 0xa0
00002529: SHL
0000252a: SUB
0000252b: NOT
0000252c: AND
0000252d: PUSH1 0x01
0000252f: PUSH1 0x01
00002531: PUSH1 0xa0
00002533: SHL
00002534: SUB
00002535: DUP5
00002536: AND
00002537: SWAP1
00002538: DUP2
00002539: OR
0000253a: SWAP1
0000253b: SWAP2
0000253c: SSTORE
0000253d: DUP2
0000253e: SWAP1
0000253f: PUSH2 0x2547
00002542: DUP3
00002543: PUSH2 0x1580
00002546: JUMP
00002547: JUMPDEST
00002548: PUSH1 0x01
0000254a: PUSH1 0x01
0000254c: PUSH1 0xa0
0000254e: SHL
0000254f: SUB
00002550: AND
00002551: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00002572: PUSH1 0x40
00002574: MLOAD
00002575: PUSH1 0x40
00002577: MLOAD
00002578: DUP1
00002579: SWAP2
0000257a: SUB
0000257b: SWAP1
0000257c: LOG4
0000257d: POP
0000257e: POP
0000257f: JUMP
00002580: JUMPDEST
00002581: PUSH1 0x00
00002583: DUP2
00002584: DUP2
00002585: MSTORE
00002586: PUSH1 0x02
00002588: PUSH1 0x20
0000258a: MSTORE
0000258b: PUSH1 0x40
0000258d: DUP2
0000258e: KECCAK256
0000258f: SLOAD
00002590: PUSH1 0x01
00002592: PUSH1 0x01
00002594: PUSH1 0xa0
00002596: SHL
00002597: SUB
00002598: AND
00002599: PUSH2 0x25f9
0000259c: JUMPI
0000259d: PUSH1 0x40
0000259f: MLOAD
000025a0: PUSH3 0x461bcd
000025a4: PUSH1 0xe5
000025a6: SHL
000025a7: DUP2
000025a8: MSTORE
000025a9: PUSH1 0x20
000025ab: PUSH1 0x04
000025ad: DUP3
000025ae: ADD
000025af: MSTORE
000025b0: PUSH1 0x2c
000025b2: PUSH1 0x24
000025b4: DUP3
000025b5: ADD
000025b6: MSTORE
000025b7: PUSH32 0x4552433732313a206f70657261746f7220717565727920666f72206e6f6e6578
000025d8: PUSH1 0x44
000025da: DUP3
000025db: ADD
000025dc: MSTORE
000025dd: PUSH12 0x34b9ba32b73a103a37b5b2b7
000025ea: PUSH1 0xa1
000025ec: SHL
000025ed: PUSH1 0x64
000025ef: DUP3
000025f0: ADD
000025f1: MSTORE
000025f2: PUSH1 0x84
000025f4: ADD
000025f5: PUSH2 0x0c58
000025f8: JUMP
000025f9: JUMPDEST
000025fa: PUSH1 0x00
000025fc: PUSH2 0x2604
000025ff: DUP4
00002600: PUSH2 0x1580
00002603: JUMP
00002604: JUMPDEST
00002605: SWAP1
00002606: POP
00002607: DUP1
00002608: PUSH1 0x01
0000260a: PUSH1 0x01
0000260c: PUSH1 0xa0
0000260e: SHL
0000260f: SUB
00002610: AND
00002611: DUP5
00002612: PUSH1 0x01
00002614: PUSH1 0x01
00002616: PUSH1 0xa0
00002618: SHL
00002619: SUB
0000261a: AND
0000261b: EQ
0000261c: DUP1
0000261d: PUSH2 0x263f
00002620: JUMPI
00002621: POP
00002622: DUP4
00002623: PUSH1 0x01
00002625: PUSH1 0x01
00002627: PUSH1 0xa0
00002629: SHL
0000262a: SUB
0000262b: AND
0000262c: PUSH2 0x2634
0000262f: DUP5
00002630: PUSH2 0x0be3
00002633: JUMP
00002634: JUMPDEST
00002635: PUSH1 0x01
00002637: PUSH1 0x01
00002639: PUSH1 0xa0
0000263b: SHL
0000263c: SUB
0000263d: AND
0000263e: EQ
0000263f: JUMPDEST
00002640: DUP1
00002641: PUSH2 0x266f
00002644: JUMPI
00002645: POP
00002646: PUSH1 0x01
00002648: PUSH1 0x01
0000264a: PUSH1 0xa0
0000264c: SHL
0000264d: SUB
0000264e: DUP1
0000264f: DUP3
00002650: AND
00002651: PUSH1 0x00
00002653: SWAP1
00002654: DUP2
00002655: MSTORE
00002656: PUSH1 0x05
00002658: PUSH1 0x20
0000265a: SWAP1
0000265b: DUP2
0000265c: MSTORE
0000265d: PUSH1 0x40
0000265f: DUP1
00002660: DUP4
00002661: KECCAK256
00002662: SWAP4
00002663: DUP9
00002664: AND
00002665: DUP4
00002666: MSTORE
00002667: SWAP3
00002668: SWAP1
00002669: MSTORE
0000266a: KECCAK256
0000266b: SLOAD
0000266c: PUSH1 0xff
0000266e: AND
0000266f: JUMPDEST
00002670: SWAP5
00002671: SWAP4
00002672: POP
00002673: POP
00002674: POP
00002675: POP
00002676: JUMP
00002677: JUMPDEST
00002678: DUP3
00002679: PUSH1 0x01
0000267b: PUSH1 0x01
0000267d: PUSH1 0xa0
0000267f: SHL
00002680: SUB
00002681: AND
00002682: PUSH2 0x268a
00002685: DUP3
00002686: PUSH2 0x1580
00002689: JUMP
0000268a: JUMPDEST
0000268b: PUSH1 0x01
0000268d: PUSH1 0x01
0000268f: PUSH1 0xa0
00002691: SHL
00002692: SUB
00002693: AND
00002694: EQ
00002695: PUSH2 0x26f2
00002698: JUMPI
00002699: PUSH1 0x40
0000269b: MLOAD
0000269c: PUSH3 0x461bcd
000026a0: PUSH1 0xe5
000026a2: SHL
000026a3: DUP2
000026a4: MSTORE
000026a5: PUSH1 0x20
000026a7: PUSH1 0x04
000026a9: DUP3
000026aa: ADD
000026ab: MSTORE
000026ac: PUSH1 0x29
000026ae: PUSH1 0x24
000026b0: DUP3
000026b1: ADD
000026b2: MSTORE
000026b3: PUSH32 0x4552433732313a207472616e73666572206f6620746f6b656e20746861742069
000026d4: PUSH1 0x44
000026d6: DUP3
000026d7: ADD
000026d8: MSTORE
000026d9: PUSH9 0x39903737ba1037bbb7
000026e3: PUSH1 0xb9
000026e5: SHL
000026e6: PUSH1 0x64
000026e8: DUP3
000026e9: ADD
000026ea: MSTORE
000026eb: PUSH1 0x84
000026ed: ADD
000026ee: PUSH2 0x0c58
000026f1: JUMP
000026f2: JUMPDEST
000026f3: PUSH1 0x01
000026f5: PUSH1 0x01
000026f7: PUSH1 0xa0
000026f9: SHL
000026fa: SUB
000026fb: DUP3
000026fc: AND
000026fd: PUSH2 0x2754
00002700: JUMPI
00002701: PUSH1 0x40
00002703: MLOAD
00002704: PUSH3 0x461bcd
00002708: PUSH1 0xe5
0000270a: SHL
0000270b: DUP2
0000270c: MSTORE
0000270d: PUSH1 0x20
0000270f: PUSH1 0x04
00002711: DUP3
00002712: ADD
00002713: MSTORE
00002714: PUSH1 0x24
00002716: DUP1
00002717: DUP3
00002718: ADD
00002719: MSTORE
0000271a: PUSH32 0x4552433732313a207472616e7366657220746f20746865207a65726f20616464
0000273b: PUSH1 0x44
0000273d: DUP3
0000273e: ADD
0000273f: MSTORE
00002740: PUSH4 0x72657373
00002745: PUSH1 0xe0
00002747: SHL
00002748: PUSH1 0x64
0000274a: DUP3
0000274b: ADD
0000274c: MSTORE
0000274d: PUSH1 0x84
0000274f: ADD
00002750: PUSH2 0x0c58
00002753: JUMP
00002754: JUMPDEST
00002755: PUSH2 0x275f
00002758: DUP4
00002759: DUP4
0000275a: DUP4
0000275b: PUSH2 0x2beb
0000275e: JUMP
0000275f: JUMPDEST
00002760: PUSH2 0x276a
00002763: PUSH1 0x00
00002765: DUP3
00002766: PUSH2 0x2512
00002769: JUMP
0000276a: JUMPDEST
0000276b: PUSH1 0x01
0000276d: PUSH1 0x01
0000276f: PUSH1 0xa0
00002771: SHL
00002772: SUB
00002773: DUP4
00002774: AND
00002775: PUSH1 0x00
00002777: SWAP1
00002778: DUP2
00002779: MSTORE
0000277a: PUSH1 0x03
0000277c: PUSH1 0x20
0000277e: MSTORE
0000277f: PUSH1 0x40
00002781: DUP2
00002782: KECCAK256
00002783: DUP1
00002784: SLOAD
00002785: PUSH1 0x01
00002787: SWAP3
00002788: SWAP1
00002789: PUSH2 0x2793
0000278c: SWAP1
0000278d: DUP5
0000278e: SWAP1
0000278f: PUSH2 0x3877
00002792: JUMP
00002793: JUMPDEST
00002794: SWAP1
00002795: SWAP2
00002796: SSTORE
00002797: POP
00002798: POP
00002799: PUSH1 0x01
0000279b: PUSH1 0x01
0000279d: PUSH1 0xa0
0000279f: SHL
000027a0: SUB
000027a1: DUP3
000027a2: AND
000027a3: PUSH1 0x00
000027a5: SWAP1
000027a6: DUP2
000027a7: MSTORE
000027a8: PUSH1 0x03
000027aa: PUSH1 0x20
000027ac: MSTORE
000027ad: PUSH1 0x40
000027af: DUP2
000027b0: KECCAK256
000027b1: DUP1
000027b2: SLOAD
000027b3: PUSH1 0x01
000027b5: SWAP3
000027b6: SWAP1
000027b7: PUSH2 0x27c1
000027ba: SWAP1
000027bb: DUP5
000027bc: SWAP1
000027bd: PUSH2 0x37df
000027c0: JUMP
000027c1: JUMPDEST
000027c2: SWAP1
000027c3: SWAP2
000027c4: SSTORE
000027c5: POP
000027c6: POP
000027c7: PUSH1 0x00
000027c9: DUP2
000027ca: DUP2
000027cb: MSTORE
000027cc: PUSH1 0x02
000027ce: PUSH1 0x20
000027d0: MSTORE
000027d1: PUSH1 0x40
000027d3: DUP1
000027d4: DUP3
000027d5: KECCAK256
000027d6: DUP1
000027d7: SLOAD
000027d8: PUSH1 0x01
000027da: PUSH1 0x01
000027dc: PUSH1 0xa0
000027de: SHL
000027df: SUB
000027e0: NOT
000027e1: AND
000027e2: PUSH1 0x01
000027e4: PUSH1 0x01
000027e6: PUSH1 0xa0
000027e8: SHL
000027e9: SUB
000027ea: DUP7
000027eb: DUP2
000027ec: AND
000027ed: SWAP2
000027ee: DUP3
000027ef: OR
000027f0: SWAP1
000027f1: SWAP3
000027f2: SSTORE
000027f3: SWAP2
000027f4: MLOAD
000027f5: DUP5
000027f6: SWAP4
000027f7: SWAP2
000027f8: DUP8
000027f9: AND
000027fa: SWAP2
000027fb: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0000281c: SWAP2
0000281d: LOG4
0000281e: POP
0000281f: POP
00002820: POP
00002821: JUMP
00002822: JUMPDEST
00002823: PUSH1 0x00
00002825: PUSH2 0x282d
00002828: DUP3
00002829: PUSH2 0x1580
0000282c: JUMP
0000282d: JUMPDEST
0000282e: SWAP1
0000282f: POP
00002830: PUSH2 0x283b
00002833: DUP2
00002834: PUSH1 0x00
00002836: DUP5
00002837: PUSH2 0x2beb
0000283a: JUMP
0000283b: JUMPDEST
0000283c: PUSH2 0x2846
0000283f: PUSH1 0x00
00002841: DUP4
00002842: PUSH2 0x2512
00002845: JUMP
00002846: JUMPDEST
00002847: PUSH1 0x01
00002849: PUSH1 0x01
0000284b: PUSH1 0xa0
0000284d: SHL
0000284e: SUB
0000284f: DUP2
00002850: AND
00002851: PUSH1 0x00
00002853: SWAP1
00002854: DUP2
00002855: MSTORE
00002856: PUSH1 0x03
00002858: PUSH1 0x20
0000285a: MSTORE
0000285b: PUSH1 0x40
0000285d: DUP2
0000285e: KECCAK256
0000285f: DUP1
00002860: SLOAD
00002861: PUSH1 0x01
00002863: SWAP3
00002864: SWAP1
00002865: PUSH2 0x286f
00002868: SWAP1
00002869: DUP5
0000286a: SWAP1
0000286b: PUSH2 0x3877
0000286e: JUMP
0000286f: JUMPDEST
00002870: SWAP1
00002871: SWAP2
00002872: SSTORE
00002873: POP
00002874: POP
00002875: PUSH1 0x00
00002877: DUP3
00002878: DUP2
00002879: MSTORE
0000287a: PUSH1 0x02
0000287c: PUSH1 0x20
0000287e: MSTORE
0000287f: PUSH1 0x40
00002881: DUP1
00002882: DUP3
00002883: KECCAK256
00002884: DUP1
00002885: SLOAD
00002886: PUSH1 0x01
00002888: PUSH1 0x01
0000288a: PUSH1 0xa0
0000288c: SHL
0000288d: SUB
0000288e: NOT
0000288f: AND
00002890: SWAP1
00002891: SSTORE
00002892: MLOAD
00002893: DUP4
00002894: SWAP2
00002895: SWAP1
00002896: PUSH1 0x01
00002898: PUSH1 0x01
0000289a: PUSH1 0xa0
0000289c: SHL
0000289d: SUB
0000289e: DUP5
0000289f: AND
000028a0: SWAP1
000028a1: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000028c2: SWAP1
000028c3: DUP4
000028c4: SWAP1
000028c5: LOG4
000028c6: POP
000028c7: POP
000028c8: JUMP
000028c9: JUMPDEST
000028ca: PUSH2 0x14da
000028cd: DUP3
000028ce: DUP3
000028cf: PUSH1 0x40
000028d1: MLOAD
000028d2: DUP1
000028d3: PUSH1 0x20
000028d5: ADD
000028d6: PUSH1 0x40
000028d8: MSTORE
000028d9: DUP1
000028da: PUSH1 0x00
000028dc: DUP2
000028dd: MSTORE
000028de: POP
000028df: PUSH2 0x2ca3
000028e2: JUMP
000028e3: JUMPDEST
000028e4: PUSH1 0x0a
000028e6: DUP1
000028e7: SLOAD
000028e8: PUSH1 0x01
000028ea: PUSH1 0x01
000028ec: PUSH1 0xa0
000028ee: SHL
000028ef: SUB
000028f0: DUP4
000028f1: DUP2
000028f2: AND
000028f3: PUSH1 0x01
000028f5: PUSH1 0x01
000028f7: PUSH1 0xa0
000028f9: SHL
000028fa: SUB
000028fb: NOT
000028fc: DUP4
000028fd: AND
000028fe: DUP2
000028ff: OR
00002900: SWAP1
00002901: SWAP4
00002902: SSTORE
00002903: PUSH1 0x40
00002905: MLOAD
00002906: SWAP2
00002907: AND
00002908: SWAP2
00002909: SWAP1
0000290a: DUP3
0000290b: SWAP1
0000290c: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
0000292d: SWAP1
0000292e: PUSH1 0x00
00002930: SWAP1
00002931: LOG3
00002932: POP
00002933: POP
00002934: JUMP
00002935: JUMPDEST
00002936: PUSH2 0x2940
00002939: DUP5
0000293a: DUP5
0000293b: DUP5
0000293c: PUSH2 0x2677
0000293f: JUMP
00002940: JUMPDEST
00002941: PUSH2 0x294c
00002944: DUP5
00002945: DUP5
00002946: DUP5
00002947: DUP5
00002948: PUSH2 0x2cd6
0000294b: JUMP
0000294c: JUMPDEST
0000294d: PUSH2 0x1bb1
00002950: JUMPI
00002951: PUSH1 0x40
00002953: MLOAD
00002954: PUSH3 0x461bcd
00002958: PUSH1 0xe5
0000295a: SHL
0000295b: DUP2
0000295c: MSTORE
0000295d: PUSH1 0x04
0000295f: ADD
00002960: PUSH2 0x0c58
00002963: SWAP1
00002964: PUSH2 0x38a2
00002967: JUMP
00002968: JUMPDEST
00002969: PUSH1 0x60
0000296b: PUSH1 0x10
0000296d: DUP1
0000296e: SLOAD
0000296f: PUSH2 0x0b60
00002972: SWAP1
00002973: PUSH2 0x3719
00002976: JUMP
00002977: JUMPDEST
00002978: PUSH1 0x60
0000297a: DUP2
0000297b: PUSH2 0x299b
0000297e: JUMPI
0000297f: POP
00002980: POP
00002981: PUSH1 0x40
00002983: DUP1
00002984: MLOAD
00002985: DUP1
00002986: DUP3
00002987: ADD
00002988: SWAP1
00002989: SWAP2
0000298a: MSTORE
0000298b: PUSH1 0x01
0000298d: DUP2
0000298e: MSTORE
0000298f: PUSH1 0x03
00002991: PUSH1 0xfc
00002993: SHL
00002994: PUSH1 0x20
00002996: DUP3
00002997: ADD
00002998: MSTORE
00002999: SWAP1
0000299a: JUMP
0000299b: JUMPDEST
0000299c: DUP2
0000299d: PUSH1 0x00
0000299f: JUMPDEST
000029a0: DUP2
000029a1: ISZERO
000029a2: PUSH2 0x29c5
000029a5: JUMPI
000029a6: DUP1
000029a7: PUSH2 0x29af
000029aa: DUP2
000029ab: PUSH2 0x37c4
000029ae: JUMP
000029af: JUMPDEST
000029b0: SWAP2
000029b1: POP
000029b2: PUSH2 0x29be
000029b5: SWAP1
000029b6: POP
000029b7: PUSH1 0x0a
000029b9: DUP4
000029ba: PUSH2 0x36e6
000029bd: JUMP
000029be: JUMPDEST
000029bf: SWAP2
000029c0: POP
000029c1: PUSH2 0x299f
000029c4: JUMP
000029c5: JUMPDEST
000029c6: PUSH1 0x00
000029c8: DUP2
000029c9: PUSH8 0xffffffffffffffff
000029d2: DUP2
000029d3: GT
000029d4: ISZERO
000029d5: PUSH2 0x29e0
000029d8: JUMPI
000029d9: PUSH2 0x29e0
000029dc: PUSH2 0x3272
000029df: JUMP
000029e0: JUMPDEST
000029e1: PUSH1 0x40
000029e3: MLOAD
000029e4: SWAP1
000029e5: DUP1
000029e6: DUP3
000029e7: MSTORE
000029e8: DUP1
000029e9: PUSH1 0x1f
000029eb: ADD
000029ec: PUSH1 0x1f
000029ee: NOT
000029ef: AND
000029f0: PUSH1 0x20
000029f2: ADD
000029f3: DUP3
000029f4: ADD
000029f5: PUSH1 0x40
000029f7: MSTORE
000029f8: DUP1
000029f9: ISZERO
000029fa: PUSH2 0x2a0a
000029fd: JUMPI
000029fe: PUSH1 0x20
00002a00: DUP3
00002a01: ADD
00002a02: DUP2
00002a03: DUP1
00002a04: CALLDATASIZE
00002a05: DUP4
00002a06: CALLDATACOPY
00002a07: ADD
00002a08: SWAP1
00002a09: POP
00002a0a: JUMPDEST
00002a0b: POP
00002a0c: SWAP1
00002a0d: POP
00002a0e: JUMPDEST
00002a0f: DUP5
00002a10: ISZERO
00002a11: PUSH2 0x266f
00002a14: JUMPI
00002a15: PUSH2 0x2a1f
00002a18: PUSH1 0x01
00002a1a: DUP4
00002a1b: PUSH2 0x3877
00002a1e: JUMP
00002a1f: JUMPDEST
00002a20: SWAP2
00002a21: POP
00002a22: PUSH2 0x2a2c
00002a25: PUSH1 0x0a
00002a27: DUP7
00002a28: PUSH2 0x388e
00002a2b: JUMP
00002a2c: JUMPDEST
00002a2d: PUSH2 0x2a37
00002a30: SWAP1
00002a31: PUSH1 0x30
00002a33: PUSH2 0x37df
00002a36: JUMP
00002a37: JUMPDEST
00002a38: PUSH1 0xf8
00002a3a: SHL
00002a3b: DUP2
00002a3c: DUP4
00002a3d: DUP2
00002a3e: MLOAD
00002a3f: DUP2
00002a40: LT
00002a41: PUSH2 0x2a4c
00002a44: JUMPI
00002a45: PUSH2 0x2a4c
00002a48: PUSH2 0x3783
00002a4b: JUMP
00002a4c: JUMPDEST
00002a4d: PUSH1 0x20
00002a4f: ADD
00002a50: ADD
00002a51: SWAP1
00002a52: PUSH1 0x01
00002a54: PUSH1 0x01
00002a56: PUSH1 0xf8
00002a58: SHL
00002a59: SUB
00002a5a: NOT
00002a5b: AND
00002a5c: SWAP1
00002a5d: DUP2
00002a5e: PUSH1 0x00
00002a60: BYTE
00002a61: SWAP1
00002a62: MSTORE8
00002a63: POP
00002a64: PUSH2 0x2a6e
00002a67: PUSH1 0x0a
00002a69: DUP7
00002a6a: PUSH2 0x36e6
00002a6d: JUMP
00002a6e: JUMPDEST
00002a6f: SWAP5
00002a70: POP
00002a71: PUSH2 0x2a0e
00002a74: JUMP
00002a75: JUMPDEST
00002a76: PUSH1 0x00
00002a78: JUMPDEST
00002a79: PUSH1 0x01
00002a7b: PUSH1 0x01
00002a7d: PUSH1 0xa0
00002a7f: SHL
00002a80: SUB
00002a81: DUP4
00002a82: AND
00002a83: PUSH1 0x00
00002a85: SWAP1
00002a86: DUP2
00002a87: MSTORE
00002a88: PUSH1 0x15
00002a8a: PUSH1 0x20
00002a8c: MSTORE
00002a8d: PUSH1 0x40
00002a8f: SWAP1
00002a90: KECCAK256
00002a91: SLOAD
00002a92: DUP2
00002a93: LT
00002a94: ISZERO
00002a95: PUSH2 0x0dbf
00002a98: JUMPI
00002a99: PUSH1 0x01
00002a9b: PUSH1 0x01
00002a9d: PUSH1 0xa0
00002a9f: SHL
00002aa0: SUB
00002aa1: DUP4
00002aa2: AND
00002aa3: PUSH1 0x00
00002aa5: SWAP1
00002aa6: DUP2
00002aa7: MSTORE
00002aa8: PUSH1 0x15
00002aaa: PUSH1 0x20
00002aac: MSTORE
00002aad: PUSH1 0x40
00002aaf: SWAP1
00002ab0: KECCAK256
00002ab1: DUP1
00002ab2: SLOAD
00002ab3: DUP4
00002ab4: SWAP2
00002ab5: SWAP1
00002ab6: DUP4
00002ab7: SWAP1
00002ab8: DUP2
00002ab9: LT
00002aba: PUSH2 0x2ac5
00002abd: JUMPI
00002abe: PUSH2 0x2ac5
00002ac1: PUSH2 0x3783
00002ac4: JUMP
00002ac5: JUMPDEST
00002ac6: SWAP1
00002ac7: PUSH1 0x00
00002ac9: MSTORE
00002aca: PUSH1 0x20
00002acc: PUSH1 0x00
00002ace: KECCAK256
00002acf: ADD
00002ad0: SLOAD
00002ad1: EQ
00002ad2: ISZERO
00002ad3: PUSH2 0x2bd9
00002ad6: JUMPI
00002ad7: DUP1
00002ad8: JUMPDEST
00002ad9: PUSH1 0x01
00002adb: PUSH1 0x01
00002add: PUSH1 0xa0
00002adf: SHL
00002ae0: SUB
00002ae1: DUP5
00002ae2: AND
00002ae3: PUSH1 0x00
00002ae5: SWAP1
00002ae6: DUP2
00002ae7: MSTORE
00002ae8: PUSH1 0x15
00002aea: PUSH1 0x20
00002aec: MSTORE
00002aed: PUSH1 0x40
00002aef: SWAP1
00002af0: KECCAK256
00002af1: SLOAD
00002af2: PUSH2 0x2afd
00002af5: SWAP1
00002af6: PUSH1 0x01
00002af8: SWAP1
00002af9: PUSH2 0x3877
00002afc: JUMP
00002afd: JUMPDEST
00002afe: DUP2
00002aff: LT
00002b00: ISZERO
00002b01: PUSH2 0x2b96
00002b04: JUMPI
00002b05: PUSH1 0x01
00002b07: PUSH1 0x01
00002b09: PUSH1 0xa0
00002b0b: SHL
00002b0c: SUB
00002b0d: DUP5
00002b0e: AND
00002b0f: PUSH1 0x00
00002b11: SWAP1
00002b12: DUP2
00002b13: MSTORE
00002b14: PUSH1 0x15
00002b16: PUSH1 0x20
00002b18: MSTORE
00002b19: PUSH1 0x40
00002b1b: SWAP1
00002b1c: KECCAK256
00002b1d: PUSH2 0x2b27
00002b20: DUP3
00002b21: PUSH1 0x01
00002b23: PUSH2 0x37df
00002b26: JUMP
00002b27: JUMPDEST
00002b28: DUP2
00002b29: SLOAD
00002b2a: DUP2
00002b2b: LT
00002b2c: PUSH2 0x2b37
00002b2f: JUMPI
00002b30: PUSH2 0x2b37
00002b33: PUSH2 0x3783
00002b36: JUMP
00002b37: JUMPDEST
00002b38: SWAP1
00002b39: PUSH1 0x00
00002b3b: MSTORE
00002b3c: PUSH1 0x20
00002b3e: PUSH1 0x00
00002b40: KECCAK256
00002b41: ADD
00002b42: SLOAD
00002b43: PUSH1 0x15
00002b45: PUSH1 0x00
00002b47: DUP7
00002b48: PUSH1 0x01
00002b4a: PUSH1 0x01
00002b4c: PUSH1 0xa0
00002b4e: SHL
00002b4f: SUB
00002b50: AND
00002b51: PUSH1 0x01
00002b53: PUSH1 0x01
00002b55: PUSH1 0xa0
00002b57: SHL
00002b58: SUB
00002b59: AND
00002b5a: DUP2
00002b5b: MSTORE
00002b5c: PUSH1 0x20
00002b5e: ADD
00002b5f: SWAP1
00002b60: DUP2
00002b61: MSTORE
00002b62: PUSH1 0x20
00002b64: ADD
00002b65: PUSH1 0x00
00002b67: KECCAK256
00002b68: DUP3
00002b69: DUP2
00002b6a: SLOAD
00002b6b: DUP2
00002b6c: LT
00002b6d: PUSH2 0x2b78
00002b70: JUMPI
00002b71: PUSH2 0x2b78
00002b74: PUSH2 0x3783
00002b77: JUMP
00002b78: JUMPDEST
00002b79: PUSH1 0x00
00002b7b: SWAP2
00002b7c: DUP3
00002b7d: MSTORE
00002b7e: PUSH1 0x20
00002b80: SWAP1
00002b81: SWAP2
00002b82: KECCAK256
00002b83: ADD
00002b84: SSTORE
00002b85: DUP1
00002b86: PUSH2 0x2b8e
00002b89: DUP2
00002b8a: PUSH2 0x37c4
00002b8d: JUMP
00002b8e: JUMPDEST
00002b8f: SWAP2
00002b90: POP
00002b91: POP
00002b92: PUSH2 0x2ad8
00002b95: JUMP
00002b96: JUMPDEST
00002b97: POP
00002b98: PUSH1 0x01
00002b9a: PUSH1 0x01
00002b9c: PUSH1 0xa0
00002b9e: SHL
00002b9f: SUB
00002ba0: DUP4
00002ba1: AND
00002ba2: PUSH1 0x00
00002ba4: SWAP1
00002ba5: DUP2
00002ba6: MSTORE
00002ba7: PUSH1 0x15
00002ba9: PUSH1 0x20
00002bab: MSTORE
00002bac: PUSH1 0x40
00002bae: SWAP1
00002baf: KECCAK256
00002bb0: DUP1
00002bb1: SLOAD
00002bb2: DUP1
00002bb3: PUSH2 0x2bbe
00002bb6: JUMPI
00002bb7: PUSH2 0x2bbe
00002bba: PUSH2 0x38f4
00002bbd: JUMP
00002bbe: JUMPDEST
00002bbf: PUSH1 0x01
00002bc1: SWAP1
00002bc2: SUB
00002bc3: DUP2
00002bc4: DUP2
00002bc5: SWAP1
00002bc6: PUSH1 0x00
00002bc8: MSTORE
00002bc9: PUSH1 0x20
00002bcb: PUSH1 0x00
00002bcd: KECCAK256
00002bce: ADD
00002bcf: PUSH1 0x00
00002bd1: SWAP1
00002bd2: SSTORE
00002bd3: SWAP1
00002bd4: SSTORE
00002bd5: POP
00002bd6: POP
00002bd7: POP
00002bd8: JUMP
00002bd9: JUMPDEST
00002bda: DUP1
00002bdb: PUSH2 0x2be3
00002bde: DUP2
00002bdf: PUSH2 0x37c4
00002be2: JUMP
00002be3: JUMPDEST
00002be4: SWAP2
00002be5: POP
00002be6: POP
00002be7: PUSH2 0x2a78
00002bea: JUMP
00002beb: JUMPDEST
00002bec: PUSH1 0x01
00002bee: PUSH1 0x01
00002bf0: PUSH1 0xa0
00002bf2: SHL
00002bf3: SUB
00002bf4: DUP4
00002bf5: AND
00002bf6: PUSH2 0x2c46
00002bf9: JUMPI
00002bfa: PUSH2 0x2c41
00002bfd: DUP2
00002bfe: PUSH1 0x08
00002c00: DUP1
00002c01: SLOAD
00002c02: PUSH1 0x00
00002c04: DUP4
00002c05: DUP2
00002c06: MSTORE
00002c07: PUSH1 0x09
00002c09: PUSH1 0x20
00002c0b: MSTORE
00002c0c: PUSH1 0x40
00002c0e: DUP2
00002c0f: KECCAK256
00002c10: DUP3
00002c11: SWAP1
00002c12: SSTORE
00002c13: PUSH1 0x01
00002c15: DUP3
00002c16: ADD
00002c17: DUP4
00002c18: SSTORE
00002c19: SWAP2
00002c1a: SWAP1
00002c1b: SWAP2
00002c1c: MSTORE
00002c1d: PUSH32 0xf3f7a9fe364faab93b216da50a3214154f22a0a2b415b23a84c8169e8b636ee3
00002c3e: ADD
00002c3f: SSTORE
00002c40: JUMP
00002c41: JUMPDEST
00002c42: PUSH2 0x2c69
00002c45: JUMP
00002c46: JUMPDEST
00002c47: DUP2
00002c48: PUSH1 0x01
00002c4a: PUSH1 0x01
00002c4c: PUSH1 0xa0
00002c4e: SHL
00002c4f: SUB
00002c50: AND
00002c51: DUP4
00002c52: PUSH1 0x01
00002c54: PUSH1 0x01
00002c56: PUSH1 0xa0
00002c58: SHL
00002c59: SUB
00002c5a: AND
00002c5b: EQ
00002c5c: PUSH2 0x2c69
00002c5f: JUMPI
00002c60: PUSH2 0x2c69
00002c63: DUP4
00002c64: DUP3
00002c65: PUSH2 0x2de3
00002c68: JUMP
00002c69: JUMPDEST
00002c6a: PUSH1 0x01
00002c6c: PUSH1 0x01
00002c6e: PUSH1 0xa0
00002c70: SHL
00002c71: SUB
00002c72: DUP3
00002c73: AND
00002c74: PUSH2 0x2c80
00002c77: JUMPI
00002c78: PUSH2 0x0dbf
00002c7b: DUP2
00002c7c: PUSH2 0x2e80
00002c7f: JUMP
00002c80: JUMPDEST
00002c81: DUP3
00002c82: PUSH1 0x01
00002c84: PUSH1 0x01
00002c86: PUSH1 0xa0
00002c88: SHL
00002c89: SUB
00002c8a: AND
00002c8b: DUP3
00002c8c: PUSH1 0x01
00002c8e: PUSH1 0x01
00002c90: PUSH1 0xa0
00002c92: SHL
00002c93: SUB
00002c94: AND
00002c95: EQ
00002c96: PUSH2 0x0dbf
00002c99: JUMPI
00002c9a: PUSH2 0x0dbf
00002c9d: DUP3
00002c9e: DUP3
00002c9f: PUSH2 0x2f2f
00002ca2: JUMP
00002ca3: JUMPDEST
00002ca4: PUSH2 0x2cad
00002ca7: DUP4
00002ca8: DUP4
00002ca9: PUSH2 0x2f73
00002cac: JUMP
00002cad: JUMPDEST
00002cae: PUSH2 0x2cba
00002cb1: PUSH1 0x00
00002cb3: DUP5
00002cb4: DUP5
00002cb5: DUP5
00002cb6: PUSH2 0x2cd6
00002cb9: JUMP
00002cba: JUMPDEST
00002cbb: PUSH2 0x0dbf
00002cbe: JUMPI
00002cbf: PUSH1 0x40
00002cc1: MLOAD
00002cc2: PUSH3 0x461bcd
00002cc6: PUSH1 0xe5
00002cc8: SHL
00002cc9: DUP2
00002cca: MSTORE
00002ccb: PUSH1 0x04
00002ccd: ADD
00002cce: PUSH2 0x0c58
00002cd1: SWAP1
00002cd2: PUSH2 0x38a2
00002cd5: JUMP
00002cd6: JUMPDEST
00002cd7: PUSH1 0x00
00002cd9: PUSH1 0x01
00002cdb: PUSH1 0x01
00002cdd: PUSH1 0xa0
00002cdf: SHL
00002ce0: SUB
00002ce1: DUP5
00002ce2: AND
00002ce3: EXTCODESIZE
00002ce4: ISZERO
00002ce5: PUSH2 0x2dd8
00002ce8: JUMPI
00002ce9: PUSH1 0x40
00002ceb: MLOAD
00002cec: PUSH4 0x0a85bd01
00002cf1: PUSH1 0xe1
00002cf3: SHL
00002cf4: DUP2
00002cf5: MSTORE
00002cf6: PUSH1 0x01
00002cf8: PUSH1 0x01
00002cfa: PUSH1 0xa0
00002cfc: SHL
00002cfd: SUB
00002cfe: DUP6
00002cff: AND
00002d00: SWAP1
00002d01: PUSH4 0x150b7a02
00002d06: SWAP1
00002d07: PUSH2 0x2d1a
00002d0a: SWAP1
00002d0b: CALLER
00002d0c: SWAP1
00002d0d: DUP10
00002d0e: SWAP1
00002d0f: DUP9
00002d10: SWAP1
00002d11: DUP9
00002d12: SWAP1
00002d13: PUSH1 0x04
00002d15: ADD
00002d16: PUSH2 0x390a
00002d19: JUMP
00002d1a: JUMPDEST
00002d1b: PUSH1 0x20
00002d1d: PUSH1 0x40
00002d1f: MLOAD
00002d20: DUP1
00002d21: DUP4
00002d22: SUB
00002d23: DUP2
00002d24: PUSH1 0x00
00002d26: DUP8
00002d27: DUP1
00002d28: EXTCODESIZE
00002d29: ISZERO
00002d2a: DUP1
00002d2b: ISZERO
00002d2c: PUSH2 0x2d34
00002d2f: JUMPI
00002d30: PUSH1 0x00
00002d32: DUP1
00002d33: REVERT
00002d34: JUMPDEST
00002d35: POP
00002d36: GAS
00002d37: CALL
00002d38: SWAP3
00002d39: POP
00002d3a: POP
00002d3b: POP
00002d3c: DUP1
00002d3d: ISZERO
00002d3e: PUSH2 0x2d64
00002d41: JUMPI
00002d42: POP
00002d43: PUSH1 0x40
00002d45: DUP1
00002d46: MLOAD
00002d47: PUSH1 0x1f
00002d49: RETURNDATASIZE
00002d4a: SWAP1
00002d4b: DUP2
00002d4c: ADD
00002d4d: PUSH1 0x1f
00002d4f: NOT
00002d50: AND
00002d51: DUP3
00002d52: ADD
00002d53: SWAP1
00002d54: SWAP3
00002d55: MSTORE
00002d56: PUSH2 0x2d61
00002d59: SWAP2
00002d5a: DUP2
00002d5b: ADD
00002d5c: SWAP1
00002d5d: PUSH2 0x3947
00002d60: JUMP
00002d61: JUMPDEST
00002d62: PUSH1 0x01
00002d64: JUMPDEST
00002d65: PUSH2 0x2dbe
00002d68: JUMPI
00002d69: RETURNDATASIZE
00002d6a: DUP1
00002d6b: DUP1
00002d6c: ISZERO
00002d6d: PUSH2 0x2d92
00002d70: JUMPI
00002d71: PUSH1 0x40
00002d73: MLOAD
00002d74: SWAP2
00002d75: POP
00002d76: PUSH1 0x1f
00002d78: NOT
00002d79: PUSH1 0x3f
00002d7b: RETURNDATASIZE
00002d7c: ADD
00002d7d: AND
00002d7e: DUP3
00002d7f: ADD
00002d80: PUSH1 0x40
00002d82: MSTORE
00002d83: RETURNDATASIZE
00002d84: DUP3
00002d85: MSTORE
00002d86: RETURNDATASIZE
00002d87: PUSH1 0x00
00002d89: PUSH1 0x20
00002d8b: DUP5
00002d8c: ADD
00002d8d: RETURNDATACOPY
00002d8e: PUSH2 0x2d97
00002d91: JUMP
00002d92: JUMPDEST
00002d93: PUSH1 0x60
00002d95: SWAP2
00002d96: POP
00002d97: JUMPDEST
00002d98: POP
00002d99: DUP1
00002d9a: MLOAD
00002d9b: PUSH2 0x2db6
00002d9e: JUMPI
00002d9f: PUSH1 0x40
00002da1: MLOAD
00002da2: PUSH3 0x461bcd
00002da6: PUSH1 0xe5
00002da8: SHL
00002da9: DUP2
00002daa: MSTORE
00002dab: PUSH1 0x04
00002dad: ADD
00002dae: PUSH2 0x0c58
00002db1: SWAP1
00002db2: PUSH2 0x38a2
00002db5: JUMP
00002db6: JUMPDEST
00002db7: DUP1
00002db8: MLOAD
00002db9: DUP2
00002dba: PUSH1 0x20
00002dbc: ADD
00002dbd: REVERT
00002dbe: JUMPDEST
00002dbf: PUSH1 0x01
00002dc1: PUSH1 0x01
00002dc3: PUSH1 0xe0
00002dc5: SHL
00002dc6: SUB
00002dc7: NOT
00002dc8: AND
00002dc9: PUSH4 0x0a85bd01
00002dce: PUSH1 0xe1
00002dd0: SHL
00002dd1: EQ
00002dd2: SWAP1
00002dd3: POP
00002dd4: PUSH2 0x266f
00002dd7: JUMP
00002dd8: JUMPDEST
00002dd9: POP
00002dda: PUSH1 0x01
00002ddc: SWAP5
00002ddd: SWAP4
00002dde: POP
00002ddf: POP
00002de0: POP
00002de1: POP
00002de2: JUMP
00002de3: JUMPDEST
00002de4: PUSH1 0x00
00002de6: PUSH1 0x01
00002de8: PUSH2 0x2df0
00002deb: DUP5
00002dec: PUSH2 0x1663
00002def: JUMP
00002df0: JUMPDEST
00002df1: PUSH2 0x2dfa
00002df4: SWAP2
00002df5: SWAP1
00002df6: PUSH2 0x3877
00002df9: JUMP
00002dfa: JUMPDEST
00002dfb: PUSH1 0x00
00002dfd: DUP4
00002dfe: DUP2
00002dff: MSTORE
00002e00: PUSH1 0x07
00002e02: PUSH1 0x20
00002e04: MSTORE
00002e05: PUSH1 0x40
00002e07: SWAP1
00002e08: KECCAK256
00002e09: SLOAD
00002e0a: SWAP1
00002e0b: SWAP2
00002e0c: POP
00002e0d: DUP1
00002e0e: DUP3
00002e0f: EQ
00002e10: PUSH2 0x2e4d
00002e13: JUMPI
00002e14: PUSH1 0x01
00002e16: PUSH1 0x01
00002e18: PUSH1 0xa0
00002e1a: SHL
00002e1b: SUB
00002e1c: DUP5
00002e1d: AND
00002e1e: PUSH1 0x00
00002e20: SWAP1
00002e21: DUP2
00002e22: MSTORE
00002e23: PUSH1 0x06
00002e25: PUSH1 0x20
00002e27: SWAP1
00002e28: DUP2
00002e29: MSTORE
00002e2a: PUSH1 0x40
00002e2c: DUP1
00002e2d: DUP4
00002e2e: KECCAK256
00002e2f: DUP6
00002e30: DUP5
00002e31: MSTORE
00002e32: DUP3
00002e33: MSTORE
00002e34: DUP1
00002e35: DUP4
00002e36: KECCAK256
00002e37: SLOAD
00002e38: DUP5
00002e39: DUP5
00002e3a: MSTORE
00002e3b: DUP2
00002e3c: DUP5
00002e3d: KECCAK256
00002e3e: DUP2
00002e3f: SWAP1
00002e40: SSTORE
00002e41: DUP4
00002e42: MSTORE
00002e43: PUSH1 0x07
00002e45: SWAP1
00002e46: SWAP2
00002e47: MSTORE
00002e48: SWAP1
00002e49: KECCAK256
00002e4a: DUP2
00002e4b: SWAP1
00002e4c: SSTORE
00002e4d: JUMPDEST
00002e4e: POP
00002e4f: PUSH1 0x00
00002e51: SWAP2
00002e52: DUP3
00002e53: MSTORE
00002e54: PUSH1 0x07
00002e56: PUSH1 0x20
00002e58: SWAP1
00002e59: DUP2
00002e5a: MSTORE
00002e5b: PUSH1 0x40
00002e5d: DUP1
00002e5e: DUP5
00002e5f: KECCAK256
00002e60: DUP5
00002e61: SWAP1
00002e62: SSTORE
00002e63: PUSH1 0x01
00002e65: PUSH1 0x01
00002e67: PUSH1 0xa0
00002e69: SHL
00002e6a: SUB
00002e6b: SWAP1
00002e6c: SWAP5
00002e6d: AND
00002e6e: DUP4
00002e6f: MSTORE
00002e70: PUSH1 0x06
00002e72: DUP2
00002e73: MSTORE
00002e74: DUP4
00002e75: DUP4
00002e76: KECCAK256
00002e77: SWAP2
00002e78: DUP4
00002e79: MSTORE
00002e7a: MSTORE
00002e7b: SWAP1
00002e7c: DUP2
00002e7d: KECCAK256
00002e7e: SSTORE
00002e7f: JUMP
00002e80: JUMPDEST
00002e81: PUSH1 0x08
00002e83: SLOAD
00002e84: PUSH1 0x00
00002e86: SWAP1
00002e87: PUSH2 0x2e92
00002e8a: SWAP1
00002e8b: PUSH1 0x01
00002e8d: SWAP1
00002e8e: PUSH2 0x3877
00002e91: JUMP
00002e92: JUMPDEST
00002e93: PUSH1 0x00
00002e95: DUP4
00002e96: DUP2
00002e97: MSTORE
00002e98: PUSH1 0x09
00002e9a: PUSH1 0x20
00002e9c: MSTORE
00002e9d: PUSH1 0x40
00002e9f: DUP2
00002ea0: KECCAK256
00002ea1: SLOAD
00002ea2: PUSH1 0x08
00002ea4: DUP1
00002ea5: SLOAD
00002ea6: SWAP4
00002ea7: SWAP5
00002ea8: POP
00002ea9: SWAP1
00002eaa: SWAP3
00002eab: DUP5
00002eac: SWAP1
00002ead: DUP2
00002eae: LT
00002eaf: PUSH2 0x2eba
00002eb2: JUMPI
00002eb3: PUSH2 0x2eba
00002eb6: PUSH2 0x3783
00002eb9: JUMP
00002eba: JUMPDEST
00002ebb: SWAP1
00002ebc: PUSH1 0x00
00002ebe: MSTORE
00002ebf: PUSH1 0x20
00002ec1: PUSH1 0x00
00002ec3: KECCAK256
00002ec4: ADD
00002ec5: SLOAD
00002ec6: SWAP1
00002ec7: POP
00002ec8: DUP1
00002ec9: PUSH1 0x08
00002ecb: DUP4
00002ecc: DUP2
00002ecd: SLOAD
00002ece: DUP2
00002ecf: LT
00002ed0: PUSH2 0x2edb
00002ed3: JUMPI
00002ed4: PUSH2 0x2edb
00002ed7: PUSH2 0x3783
00002eda: JUMP
00002edb: JUMPDEST
00002edc: PUSH1 0x00
00002ede: SWAP2
00002edf: DUP3
00002ee0: MSTORE
00002ee1: PUSH1 0x20
00002ee3: DUP1
00002ee4: DUP4
00002ee5: KECCAK256
00002ee6: SWAP1
00002ee7: SWAP2
00002ee8: ADD
00002ee9: SWAP3
00002eea: SWAP1
00002eeb: SWAP3
00002eec: SSTORE
00002eed: DUP3
00002eee: DUP2
00002eef: MSTORE
00002ef0: PUSH1 0x09
00002ef2: SWAP1
00002ef3: SWAP2
00002ef4: MSTORE
00002ef5: PUSH1 0x40
00002ef7: DUP1
00002ef8: DUP3
00002ef9: KECCAK256
00002efa: DUP5
00002efb: SWAP1
00002efc: SSTORE
00002efd: DUP6
00002efe: DUP3
00002eff: MSTORE
00002f00: DUP2
00002f01: KECCAK256
00002f02: SSTORE
00002f03: PUSH1 0x08
00002f05: DUP1
00002f06: SLOAD
00002f07: DUP1
00002f08: PUSH2 0x2f13
00002f0b: JUMPI
00002f0c: PUSH2 0x2f13
00002f0f: PUSH2 0x38f4
00002f12: JUMP
00002f13: JUMPDEST
00002f14: PUSH1 0x01
00002f16: SWAP1
00002f17: SUB
00002f18: DUP2
00002f19: DUP2
00002f1a: SWAP1
00002f1b: PUSH1 0x00
00002f1d: MSTORE
00002f1e: PUSH1 0x20
00002f20: PUSH1 0x00
00002f22: KECCAK256
00002f23: ADD
00002f24: PUSH1 0x00
00002f26: SWAP1
00002f27: SSTORE
00002f28: SWAP1
00002f29: SSTORE
00002f2a: POP
00002f2b: POP
00002f2c: POP
00002f2d: POP
00002f2e: JUMP
00002f2f: JUMPDEST
00002f30: PUSH1 0x00
00002f32: PUSH2 0x2f3a
00002f35: DUP4
00002f36: PUSH2 0x1663
00002f39: JUMP
00002f3a: JUMPDEST
00002f3b: PUSH1 0x01
00002f3d: PUSH1 0x01
00002f3f: PUSH1 0xa0
00002f41: SHL
00002f42: SUB
00002f43: SWAP1
00002f44: SWAP4
00002f45: AND
00002f46: PUSH1 0x00
00002f48: SWAP1
00002f49: DUP2
00002f4a: MSTORE
00002f4b: PUSH1 0x06
00002f4d: PUSH1 0x20
00002f4f: SWAP1
00002f50: DUP2
00002f51: MSTORE
00002f52: PUSH1 0x40
00002f54: DUP1
00002f55: DUP4
00002f56: KECCAK256
00002f57: DUP7
00002f58: DUP5
00002f59: MSTORE
00002f5a: DUP3
00002f5b: MSTORE
00002f5c: DUP1
00002f5d: DUP4
00002f5e: KECCAK256
00002f5f: DUP6
00002f60: SWAP1
00002f61: SSTORE
00002f62: SWAP4
00002f63: DUP3
00002f64: MSTORE
00002f65: PUSH1 0x07
00002f67: SWAP1
00002f68: MSTORE
00002f69: SWAP2
00002f6a: SWAP1
00002f6b: SWAP2
00002f6c: KECCAK256
00002f6d: SWAP2
00002f6e: SWAP1
00002f6f: SWAP2
00002f70: SSTORE
00002f71: POP
00002f72: JUMP
00002f73: JUMPDEST
00002f74: PUSH1 0x01
00002f76: PUSH1 0x01
00002f78: PUSH1 0xa0
00002f7a: SHL
00002f7b: SUB
00002f7c: DUP3
00002f7d: AND
00002f7e: PUSH2 0x2fc9
00002f81: JUMPI
00002f82: PUSH1 0x40
00002f84: MLOAD
00002f85: PUSH3 0x461bcd
00002f89: PUSH1 0xe5
00002f8b: SHL
00002f8c: DUP2
00002f8d: MSTORE
00002f8e: PUSH1 0x20
00002f90: PUSH1 0x04
00002f92: DUP3
00002f93: ADD
00002f94: DUP2
00002f95: SWAP1
00002f96: MSTORE
00002f97: PUSH1 0x24
00002f99: DUP3
00002f9a: ADD
00002f9b: MSTORE
00002f9c: PUSH32 0x4552433732313a206d696e7420746f20746865207a65726f2061646472657373
00002fbd: PUSH1 0x44
00002fbf: DUP3
00002fc0: ADD
00002fc1: MSTORE
00002fc2: PUSH1 0x64
00002fc4: ADD
00002fc5: PUSH2 0x0c58
00002fc8: JUMP
00002fc9: JUMPDEST
00002fca: PUSH1 0x00
00002fcc: DUP2
00002fcd: DUP2
00002fce: MSTORE
00002fcf: PUSH1 0x02
00002fd1: PUSH1 0x20
00002fd3: MSTORE
00002fd4: PUSH1 0x40
00002fd6: SWAP1
00002fd7: KECCAK256
00002fd8: SLOAD
00002fd9: PUSH1 0x01
00002fdb: PUSH1 0x01
00002fdd: PUSH1 0xa0
00002fdf: SHL
00002fe0: SUB
00002fe1: AND
00002fe2: ISZERO
00002fe3: PUSH2 0x302e
00002fe6: JUMPI
00002fe7: PUSH1 0x40
00002fe9: MLOAD
00002fea: PUSH3 0x461bcd
00002fee: PUSH1 0xe5
00002ff0: SHL
00002ff1: DUP2
00002ff2: MSTORE
00002ff3: PUSH1 0x20
00002ff5: PUSH1 0x04
00002ff7: DUP3
00002ff8: ADD
00002ff9: MSTORE
00002ffa: PUSH1 0x1c
00002ffc: PUSH1 0x24
00002ffe: DUP3
00002fff: ADD
00003000: MSTORE
00003001: PUSH32 0x4552433732313a20746f6b656e20616c7265616479206d696e74656400000000
00003022: PUSH1 0x44
00003024: DUP3
00003025: ADD
00003026: MSTORE
00003027: PUSH1 0x64
00003029: ADD
0000302a: PUSH2 0x0c58
0000302d: JUMP
0000302e: JUMPDEST
0000302f: PUSH2 0x303a
00003032: PUSH1 0x00
00003034: DUP4
00003035: DUP4
00003036: PUSH2 0x2beb
00003039: JUMP
0000303a: JUMPDEST
0000303b: PUSH1 0x01
0000303d: PUSH1 0x01
0000303f: PUSH1 0xa0
00003041: SHL
00003042: SUB
00003043: DUP3
00003044: AND
00003045: PUSH1 0x00
00003047: SWAP1
00003048: DUP2
00003049: MSTORE
0000304a: PUSH1 0x03
0000304c: PUSH1 0x20
0000304e: MSTORE
0000304f: PUSH1 0x40
00003051: DUP2
00003052: KECCAK256
00003053: DUP1
00003054: SLOAD
00003055: PUSH1 0x01
00003057: SWAP3
00003058: SWAP1
00003059: PUSH2 0x3063
0000305c: SWAP1
0000305d: DUP5
0000305e: SWAP1
0000305f: PUSH2 0x37df
00003062: JUMP
00003063: JUMPDEST
00003064: SWAP1
00003065: SWAP2
00003066: SSTORE
00003067: POP
00003068: POP
00003069: PUSH1 0x00
0000306b: DUP2
0000306c: DUP2
0000306d: MSTORE
0000306e: PUSH1 0x02
00003070: PUSH1 0x20
00003072: MSTORE
00003073: PUSH1 0x40
00003075: DUP1
00003076: DUP3
00003077: KECCAK256
00003078: DUP1
00003079: SLOAD
0000307a: PUSH1 0x01
0000307c: PUSH1 0x01
0000307e: PUSH1 0xa0
00003080: SHL
00003081: SUB
00003082: NOT
00003083: AND
00003084: PUSH1 0x01
00003086: PUSH1 0x01
00003088: PUSH1 0xa0
0000308a: SHL
0000308b: SUB
0000308c: DUP7
0000308d: AND
0000308e: SWAP1
0000308f: DUP2
00003090: OR
00003091: SWAP1
00003092: SWAP2
00003093: SSTORE
00003094: SWAP1
00003095: MLOAD
00003096: DUP4
00003097: SWAP3
00003098: SWAP1
00003099: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000030ba: SWAP1
000030bb: DUP3
000030bc: SWAP1
000030bd: LOG4
000030be: POP
000030bf: POP
000030c0: JUMP
000030c1: JUMPDEST
000030c2: DUP3
000030c3: DUP1
000030c4: SLOAD
000030c5: PUSH2 0x30cd
000030c8: SWAP1
000030c9: PUSH2 0x3719
000030cc: JUMP
000030cd: JUMPDEST
000030ce: SWAP1
000030cf: PUSH1 0x00
000030d1: MSTORE
000030d2: PUSH1 0x20
000030d4: PUSH1 0x00
000030d6: KECCAK256
000030d7: SWAP1
000030d8: PUSH1 0x1f
000030da: ADD
000030db: PUSH1 0x20
000030dd: SWAP1
000030de: DIV
000030df: DUP2
000030e0: ADD
000030e1: SWAP3
000030e2: DUP3
000030e3: PUSH2 0x30ef
000030e6: JUMPI
000030e7: PUSH1 0x00
000030e9: DUP6
000030ea: SSTORE
000030eb: PUSH2 0x3135
000030ee: JUMP
000030ef: JUMPDEST
000030f0: DUP3
000030f1: PUSH1 0x1f
000030f3: LT
000030f4: PUSH2 0x3108
000030f7: JUMPI
000030f8: DUP1
000030f9: MLOAD
000030fa: PUSH1 0xff
000030fc: NOT
000030fd: AND
000030fe: DUP4
000030ff: DUP1
00003100: ADD
00003101: OR
00003102: DUP6
00003103: SSTORE
00003104: PUSH2 0x3135
00003107: JUMP
00003108: JUMPDEST
00003109: DUP3
0000310a: DUP1
0000310b: ADD
0000310c: PUSH1 0x01
0000310e: ADD
0000310f: DUP6
00003110: SSTORE
00003111: DUP3
00003112: ISZERO
00003113: PUSH2 0x3135
00003116: JUMPI
00003117: SWAP2
00003118: DUP3
00003119: ADD
0000311a: JUMPDEST
0000311b: DUP3
0000311c: DUP2
0000311d: GT
0000311e: ISZERO
0000311f: PUSH2 0x3135
00003122: JUMPI
00003123: DUP3
00003124: MLOAD
00003125: DUP3
00003126: SSTORE
00003127: SWAP2
00003128: PUSH1 0x20
0000312a: ADD
0000312b: SWAP2
0000312c: SWAP1
0000312d: PUSH1 0x01
0000312f: ADD
00003130: SWAP1
00003131: PUSH2 0x311a
00003134: JUMP
00003135: JUMPDEST
00003136: POP
00003137: PUSH2 0x3141
0000313a: SWAP3
0000313b: SWAP2
0000313c: POP
0000313d: PUSH2 0x3145
00003140: JUMP
00003141: JUMPDEST
00003142: POP
00003143: SWAP1
00003144: JUMP
00003145: JUMPDEST
00003146: JUMPDEST
00003147: DUP1
00003148: DUP3
00003149: GT
0000314a: ISZERO
0000314b: PUSH2 0x3141
0000314e: JUMPI
0000314f: PUSH1 0x00
00003151: DUP2
00003152: SSTORE
00003153: PUSH1 0x01
00003155: ADD
00003156: PUSH2 0x3146
00003159: JUMP
0000315a: JUMPDEST
0000315b: PUSH1 0x01
0000315d: PUSH1 0x01
0000315f: PUSH1 0xe0
00003161: SHL
00003162: SUB
00003163: NOT
00003164: DUP2
00003165: AND
00003166: DUP2
00003167: EQ
00003168: PUSH2 0x13aa
0000316b: JUMPI
0000316c: PUSH1 0x00
0000316e: DUP1
0000316f: REVERT
00003170: JUMPDEST
00003171: PUSH1 0x00
00003173: PUSH1 0x20
00003175: DUP3
00003176: DUP5
00003177: SUB
00003178: SLT
00003179: ISZERO
0000317a: PUSH2 0x3182
0000317d: JUMPI
0000317e: PUSH1 0x00
00003180: DUP1
00003181: REVERT
00003182: JUMPDEST
00003183: DUP2
00003184: CALLDATALOAD
00003185: PUSH2 0x1cfc
00003188: DUP2
00003189: PUSH2 0x315a
0000318c: JUMP
0000318d: JUMPDEST
0000318e: PUSH1 0x00
00003190: PUSH1 0x20
00003192: DUP3
00003193: DUP5
00003194: SUB
00003195: SLT
00003196: ISZERO
00003197: PUSH2 0x319f
0000319a: JUMPI
0000319b: PUSH1 0x00
0000319d: DUP1
0000319e: REVERT
0000319f: JUMPDEST
000031a0: POP
000031a1: CALLDATALOAD
000031a2: SWAP2
000031a3: SWAP1
000031a4: POP
000031a5: JUMP
000031a6: JUMPDEST
000031a7: PUSH1 0x00
000031a9: JUMPDEST
000031aa: DUP4
000031ab: DUP2
000031ac: LT
000031ad: ISZERO
000031ae: PUSH2 0x31c1
000031b1: JUMPI
000031b2: DUP2
000031b3: DUP2
000031b4: ADD
000031b5: MLOAD
000031b6: DUP4
000031b7: DUP3
000031b8: ADD
000031b9: MSTORE
000031ba: PUSH1 0x20
000031bc: ADD
000031bd: PUSH2 0x31a9
000031c0: JUMP
000031c1: JUMPDEST
000031c2: DUP4
000031c3: DUP2
000031c4: GT
000031c5: ISZERO
000031c6: PUSH2 0x1bb1
000031c9: JUMPI
000031ca: POP
000031cb: POP
000031cc: PUSH1 0x00
000031ce: SWAP2
000031cf: ADD
000031d0: MSTORE
000031d1: JUMP
000031d2: JUMPDEST
000031d3: PUSH1 0x00
000031d5: DUP2
000031d6: MLOAD
000031d7: DUP1
000031d8: DUP5
000031d9: MSTORE
000031da: PUSH2 0x31ea
000031dd: DUP2
000031de: PUSH1 0x20
000031e0: DUP7
000031e1: ADD
000031e2: PUSH1 0x20
000031e4: DUP7
000031e5: ADD
000031e6: PUSH2 0x31a6
000031e9: JUMP
000031ea: JUMPDEST
000031eb: PUSH1 0x1f
000031ed: ADD
000031ee: PUSH1 0x1f
000031f0: NOT
000031f1: AND
000031f2: SWAP3
000031f3: SWAP1
000031f4: SWAP3
000031f5: ADD
000031f6: PUSH1 0x20
000031f8: ADD
000031f9: SWAP3
000031fa: SWAP2
000031fb: POP
000031fc: POP
000031fd: JUMP
000031fe: JUMPDEST
000031ff: PUSH1 0x20
00003201: DUP2
00003202: MSTORE
00003203: PUSH1 0x00
00003205: PUSH2 0x1cfc
00003208: PUSH1 0x20
0000320a: DUP4
0000320b: ADD
0000320c: DUP5
0000320d: PUSH2 0x31d2
00003210: JUMP
00003211: JUMPDEST
00003212: DUP1
00003213: CALLDATALOAD
00003214: PUSH1 0x01
00003216: PUSH1 0x01
00003218: PUSH1 0xa0
0000321a: SHL
0000321b: SUB
0000321c: DUP2
0000321d: AND
0000321e: DUP2
0000321f: EQ
00003220: PUSH2 0x3228
00003223: JUMPI
00003224: PUSH1 0x00
00003226: DUP1
00003227: REVERT
00003228: JUMPDEST
00003229: SWAP2
0000322a: SWAP1
0000322b: POP
0000322c: JUMP
0000322d: JUMPDEST
0000322e: PUSH1 0x00
00003230: DUP1
00003231: PUSH1 0x40
00003233: DUP4
00003234: DUP6
00003235: SUB
00003236: SLT
00003237: ISZERO
00003238: PUSH2 0x3240
0000323b: JUMPI
0000323c: PUSH1 0x00
0000323e: DUP1
0000323f: REVERT
00003240: JUMPDEST
00003241: PUSH2 0x3249
00003244: DUP4
00003245: PUSH2 0x3211
00003248: JUMP
00003249: JUMPDEST
0000324a: SWAP5
0000324b: PUSH1 0x20
0000324d: SWAP4
0000324e: SWAP1
0000324f: SWAP4
00003250: ADD
00003251: CALLDATALOAD
00003252: SWAP4
00003253: POP
00003254: POP
00003255: POP
00003256: JUMP
00003257: JUMPDEST
00003258: PUSH1 0x00
0000325a: PUSH1 0x20
0000325c: DUP3
0000325d: DUP5
0000325e: SUB
0000325f: SLT
00003260: ISZERO
00003261: PUSH2 0x3269
00003264: JUMPI
00003265: PUSH1 0x00
00003267: DUP1
00003268: REVERT
00003269: JUMPDEST
0000326a: PUSH2 0x1cfc
0000326d: DUP3
0000326e: PUSH2 0x3211
00003271: JUMP
00003272: JUMPDEST
00003273: PUSH4 0x4e487b71
00003278: PUSH1 0xe0
0000327a: SHL
0000327b: PUSH1 0x00
0000327d: MSTORE
0000327e: PUSH1 0x41
00003280: PUSH1 0x04
00003282: MSTORE
00003283: PUSH1 0x24
00003285: PUSH1 0x00
00003287: REVERT
00003288: JUMPDEST
00003289: PUSH1 0x40
0000328b: MLOAD
0000328c: PUSH1 0x1f
0000328e: DUP3
0000328f: ADD
00003290: PUSH1 0x1f
00003292: NOT
00003293: AND
00003294: DUP2
00003295: ADD
00003296: PUSH8 0xffffffffffffffff
0000329f: DUP2
000032a0: GT
000032a1: DUP3
000032a2: DUP3
000032a3: LT
000032a4: OR
000032a5: ISZERO
000032a6: PUSH2 0x32b1
000032a9: JUMPI
000032aa: PUSH2 0x32b1
000032ad: PUSH2 0x3272
000032b0: JUMP
000032b1: JUMPDEST
000032b2: PUSH1 0x40
000032b4: MSTORE
000032b5: SWAP2
000032b6: SWAP1
000032b7: POP
000032b8: JUMP
000032b9: JUMPDEST
000032ba: PUSH1 0x00
000032bc: PUSH1 0x20
000032be: DUP1
000032bf: DUP4
000032c0: DUP6
000032c1: SUB
000032c2: SLT
000032c3: ISZERO
000032c4: PUSH2 0x32cc
000032c7: JUMPI
000032c8: PUSH1 0x00
000032ca: DUP1
000032cb: REVERT
000032cc: JUMPDEST
000032cd: DUP3
000032ce: CALLDATALOAD
000032cf: PUSH8 0xffffffffffffffff
000032d8: DUP1
000032d9: DUP3
000032da: GT
000032db: ISZERO
000032dc: PUSH2 0x32e4
000032df: JUMPI
000032e0: PUSH1 0x00
000032e2: DUP1
000032e3: REVERT
000032e4: JUMPDEST
000032e5: DUP2
000032e6: DUP6
000032e7: ADD
000032e8: SWAP2
000032e9: POP
000032ea: DUP6
000032eb: PUSH1 0x1f
000032ed: DUP4
000032ee: ADD
000032ef: SLT
000032f0: PUSH2 0x32f8
000032f3: JUMPI
000032f4: PUSH1 0x00
000032f6: DUP1
000032f7: REVERT
000032f8: JUMPDEST
000032f9: DUP2
000032fa: CALLDATALOAD
000032fb: DUP2
000032fc: DUP2
000032fd: GT
000032fe: ISZERO
000032ff: PUSH2 0x330a
00003302: JUMPI
00003303: PUSH2 0x330a
00003306: PUSH2 0x3272
00003309: JUMP
0000330a: JUMPDEST
0000330b: DUP1
0000330c: PUSH1 0x05
0000330e: SHL
0000330f: SWAP2
00003310: POP
00003311: PUSH2 0x331b
00003314: DUP5
00003315: DUP4
00003316: ADD
00003317: PUSH2 0x3288
0000331a: JUMP
0000331b: JUMPDEST
0000331c: DUP2
0000331d: DUP2
0000331e: MSTORE
0000331f: SWAP2
00003320: DUP4
00003321: ADD
00003322: DUP5
00003323: ADD
00003324: SWAP2
00003325: DUP5
00003326: DUP2
00003327: ADD
00003328: SWAP1
00003329: DUP9
0000332a: DUP5
0000332b: GT
0000332c: ISZERO
0000332d: PUSH2 0x3335
00003330: JUMPI
00003331: PUSH1 0x00
00003333: DUP1
00003334: REVERT
00003335: JUMPDEST
00003336: SWAP4
00003337: DUP6
00003338: ADD
00003339: SWAP4
0000333a: JUMPDEST
0000333b: DUP4
0000333c: DUP6
0000333d: LT
0000333e: ISZERO
0000333f: PUSH2 0x3353
00003342: JUMPI
00003343: DUP5
00003344: CALLDATALOAD
00003345: DUP3
00003346: MSTORE
00003347: SWAP4
00003348: DUP6
00003349: ADD
0000334a: SWAP4
0000334b: SWAP1
0000334c: DUP6
0000334d: ADD
0000334e: SWAP1
0000334f: PUSH2 0x333a
00003352: JUMP
00003353: JUMPDEST
00003354: SWAP9
00003355: SWAP8
00003356: POP
00003357: POP
00003358: POP
00003359: POP
0000335a: POP
0000335b: POP
0000335c: POP
0000335d: POP
0000335e: JUMP
0000335f: JUMPDEST
00003360: PUSH1 0x00
00003362: DUP1
00003363: PUSH1 0x00
00003365: DUP1
00003366: PUSH1 0x00
00003368: PUSH1 0x80
0000336a: DUP7
0000336b: DUP9
0000336c: SUB
0000336d: SLT
0000336e: ISZERO
0000336f: PUSH2 0x3377
00003372: JUMPI
00003373: PUSH1 0x00
00003375: DUP1
00003376: REVERT
00003377: JUMPDEST
00003378: PUSH2 0x3380
0000337b: DUP7
0000337c: PUSH2 0x3211
0000337f: JUMP
00003380: JUMPDEST
00003381: SWAP5
00003382: POP
00003383: PUSH2 0x338e
00003386: PUSH1 0x20
00003388: DUP8
00003389: ADD
0000338a: PUSH2 0x3211
0000338d: JUMP
0000338e: JUMPDEST
0000338f: SWAP4
00003390: POP
00003391: PUSH1 0x40
00003393: DUP7
00003394: ADD
00003395: CALLDATALOAD
00003396: SWAP3
00003397: POP
00003398: PUSH1 0x60
0000339a: DUP7
0000339b: ADD
0000339c: CALLDATALOAD
0000339d: PUSH8 0xffffffffffffffff
000033a6: DUP1
000033a7: DUP3
000033a8: GT
000033a9: ISZERO
000033aa: PUSH2 0x33b2
000033ad: JUMPI
000033ae: PUSH1 0x00
000033b0: DUP1
000033b1: REVERT
000033b2: JUMPDEST
000033b3: DUP2
000033b4: DUP9
000033b5: ADD
000033b6: SWAP2
000033b7: POP
000033b8: DUP9
000033b9: PUSH1 0x1f
000033bb: DUP4
000033bc: ADD
000033bd: SLT
000033be: PUSH2 0x33c6
000033c1: JUMPI
000033c2: PUSH1 0x00
000033c4: DUP1
000033c5: REVERT
000033c6: JUMPDEST
000033c7: DUP2
000033c8: CALLDATALOAD
000033c9: DUP2
000033ca: DUP2
000033cb: GT
000033cc: ISZERO
000033cd: PUSH2 0x33d5
000033d0: JUMPI
000033d1: PUSH1 0x00
000033d3: DUP1
000033d4: REVERT
000033d5: JUMPDEST
000033d6: DUP10
000033d7: PUSH1 0x20
000033d9: DUP3
000033da: DUP6
000033db: ADD
000033dc: ADD
000033dd: GT
000033de: ISZERO
000033df: PUSH2 0x33e7
000033e2: JUMPI
000033e3: PUSH1 0x00
000033e5: DUP1
000033e6: REVERT
000033e7: JUMPDEST
000033e8: SWAP7
000033e9: SWAP10
000033ea: SWAP6
000033eb: SWAP9
000033ec: POP
000033ed: SWAP4
000033ee: SWAP7
000033ef: POP
000033f0: PUSH1 0x20
000033f2: ADD
000033f3: SWAP5
000033f4: SWAP4
000033f5: SWAP3
000033f6: POP
000033f7: POP
000033f8: POP
000033f9: JUMP
000033fa: JUMPDEST
000033fb: PUSH1 0x00
000033fd: DUP1
000033fe: PUSH1 0x00
00003400: PUSH1 0x60
00003402: DUP5
00003403: DUP7
00003404: SUB
00003405: SLT
00003406: ISZERO
00003407: PUSH2 0x340f
0000340a: JUMPI
0000340b: PUSH1 0x00
0000340d: DUP1
0000340e: REVERT
0000340f: JUMPDEST
00003410: PUSH2 0x3418
00003413: DUP5
00003414: PUSH2 0x3211
00003417: JUMP
00003418: JUMPDEST
00003419: SWAP3
0000341a: POP
0000341b: PUSH2 0x3426
0000341e: PUSH1 0x20
00003420: DUP6
00003421: ADD
00003422: PUSH2 0x3211
00003425: JUMP
00003426: JUMPDEST
00003427: SWAP2
00003428: POP
00003429: PUSH1 0x40
0000342b: DUP5
0000342c: ADD
0000342d: CALLDATALOAD
0000342e: SWAP1
0000342f: POP
00003430: SWAP3
00003431: POP
00003432: SWAP3
00003433: POP
00003434: SWAP3
00003435: JUMP
00003436: JUMPDEST
00003437: PUSH1 0x00
00003439: PUSH8 0xffffffffffffffff
00003442: DUP4
00003443: GT
00003444: ISZERO
00003445: PUSH2 0x3450
00003448: JUMPI
00003449: PUSH2 0x3450
0000344c: PUSH2 0x3272
0000344f: JUMP
00003450: JUMPDEST
00003451: PUSH2 0x3463
00003454: PUSH1 0x1f
00003456: DUP5
00003457: ADD
00003458: PUSH1 0x1f
0000345a: NOT
0000345b: AND
0000345c: PUSH1 0x20
0000345e: ADD
0000345f: PUSH2 0x3288
00003462: JUMP
00003463: JUMPDEST
00003464: SWAP1
00003465: POP
00003466: DUP3
00003467: DUP2
00003468: MSTORE
00003469: DUP4
0000346a: DUP4
0000346b: DUP4
0000346c: ADD
0000346d: GT
0000346e: ISZERO
0000346f: PUSH2 0x3477
00003472: JUMPI
00003473: PUSH1 0x00
00003475: DUP1
00003476: REVERT
00003477: JUMPDEST
00003478: DUP3
00003479: DUP3
0000347a: PUSH1 0x20
0000347c: DUP4
0000347d: ADD
0000347e: CALLDATACOPY
0000347f: PUSH1 0x00
00003481: PUSH1 0x20
00003483: DUP5
00003484: DUP4
00003485: ADD
00003486: ADD
00003487: MSTORE
00003488: SWAP4
00003489: SWAP3
0000348a: POP
0000348b: POP
0000348c: POP
0000348d: JUMP
0000348e: JUMPDEST
0000348f: PUSH1 0x00
00003491: PUSH1 0x20
00003493: DUP3
00003494: DUP5
00003495: SUB
00003496: SLT
00003497: ISZERO
00003498: PUSH2 0x34a0
0000349b: JUMPI
0000349c: PUSH1 0x00
0000349e: DUP1
0000349f: REVERT
000034a0: JUMPDEST
000034a1: DUP2
000034a2: CALLDATALOAD
000034a3: PUSH8 0xffffffffffffffff
000034ac: DUP2
000034ad: GT
000034ae: ISZERO
000034af: PUSH2 0x34b7
000034b2: JUMPI
000034b3: PUSH1 0x00
000034b5: DUP1
000034b6: REVERT
000034b7: JUMPDEST
000034b8: DUP3
000034b9: ADD
000034ba: PUSH1 0x1f
000034bc: DUP2
000034bd: ADD
000034be: DUP5
000034bf: SGT
000034c0: PUSH2 0x34c8
000034c3: JUMPI
000034c4: PUSH1 0x00
000034c6: DUP1
000034c7: REVERT
000034c8: JUMPDEST
000034c9: PUSH2 0x266f
000034cc: DUP5
000034cd: DUP3
000034ce: CALLDATALOAD
000034cf: PUSH1 0x20
000034d1: DUP5
000034d2: ADD
000034d3: PUSH2 0x3436
000034d6: JUMP
000034d7: JUMPDEST
000034d8: PUSH1 0x00
000034da: DUP2
000034db: MLOAD
000034dc: DUP1
000034dd: DUP5
000034de: MSTORE
000034df: PUSH1 0x20
000034e1: DUP1
000034e2: DUP6
000034e3: ADD
000034e4: SWAP5
000034e5: POP
000034e6: DUP1
000034e7: DUP5
000034e8: ADD
000034e9: PUSH1 0x00
000034eb: JUMPDEST
000034ec: DUP4
000034ed: DUP2
000034ee: LT
000034ef: ISZERO
000034f0: PUSH2 0x3507
000034f3: JUMPI
000034f4: DUP2
000034f5: MLOAD
000034f6: DUP8
000034f7: MSTORE
000034f8: SWAP6
000034f9: DUP3
000034fa: ADD
000034fb: SWAP6
000034fc: SWAP1
000034fd: DUP3
000034fe: ADD
000034ff: SWAP1
00003500: PUSH1 0x01
00003502: ADD
00003503: PUSH2 0x34eb
00003506: JUMP
00003507: JUMPDEST
00003508: POP
00003509: SWAP5
0000350a: SWAP6
0000350b: SWAP5
0000350c: POP
0000350d: POP
0000350e: POP
0000350f: POP
00003510: POP
00003511: JUMP
00003512: JUMPDEST
00003513: PUSH1 0x20
00003515: DUP2
00003516: MSTORE
00003517: PUSH1 0x00
00003519: PUSH2 0x1cfc
0000351c: PUSH1 0x20
0000351e: DUP4
0000351f: ADD
00003520: DUP5
00003521: PUSH2 0x34d7
00003524: JUMP
00003525: JUMPDEST
00003526: PUSH1 0x00
00003528: DUP1
00003529: PUSH1 0x40
0000352b: DUP4
0000352c: DUP6
0000352d: SUB
0000352e: SLT
0000352f: ISZERO
00003530: PUSH2 0x3538
00003533: JUMPI
00003534: PUSH1 0x00
00003536: DUP1
00003537: REVERT
00003538: JUMPDEST
00003539: PUSH2 0x3541
0000353c: DUP4
0000353d: PUSH2 0x3211
00003540: JUMP
00003541: JUMPDEST
00003542: SWAP2
00003543: POP
00003544: PUSH1 0x20
00003546: DUP4
00003547: ADD
00003548: CALLDATALOAD
00003549: DUP1
0000354a: ISZERO
0000354b: ISZERO
0000354c: DUP2
0000354d: EQ
0000354e: PUSH2 0x3556
00003551: JUMPI
00003552: PUSH1 0x00
00003554: DUP1
00003555: REVERT
00003556: JUMPDEST
00003557: DUP1
00003558: SWAP2
00003559: POP
0000355a: POP
0000355b: SWAP3
0000355c: POP
0000355d: SWAP3
0000355e: SWAP1
0000355f: POP
00003560: JUMP
00003561: JUMPDEST
00003562: PUSH1 0x00
00003564: DUP1
00003565: PUSH1 0x00
00003567: PUSH1 0x60
00003569: DUP5
0000356a: DUP7
0000356b: SUB
0000356c: SLT
0000356d: ISZERO
0000356e: PUSH2 0x3576
00003571: JUMPI
00003572: PUSH1 0x00
00003574: DUP1
00003575: REVERT
00003576: JUMPDEST
00003577: POP
00003578: POP
00003579: DUP2
0000357a: CALLDATALOAD
0000357b: SWAP4
0000357c: PUSH1 0x20
0000357e: DUP4
0000357f: ADD
00003580: CALLDATALOAD
00003581: SWAP4
00003582: POP
00003583: PUSH1 0x40
00003585: SWAP1
00003586: SWAP3
00003587: ADD
00003588: CALLDATALOAD
00003589: SWAP2
0000358a: SWAP1
0000358b: POP
0000358c: JUMP
0000358d: JUMPDEST
0000358e: DUP3
0000358f: DUP2
00003590: MSTORE
00003591: PUSH1 0x40
00003593: PUSH1 0x20
00003595: DUP3
00003596: ADD
00003597: MSTORE
00003598: PUSH1 0x00
0000359a: PUSH2 0x266f
0000359d: PUSH1 0x40
0000359f: DUP4
000035a0: ADD
000035a1: DUP5
000035a2: PUSH2 0x34d7
000035a5: JUMP
000035a6: JUMPDEST
000035a7: PUSH1 0x00
000035a9: DUP1
000035aa: PUSH1 0x40
000035ac: DUP4
000035ad: DUP6
000035ae: SUB
000035af: SLT
000035b0: ISZERO
000035b1: PUSH2 0x35b9
000035b4: JUMPI
000035b5: PUSH1 0x00
000035b7: DUP1
000035b8: REVERT
000035b9: JUMPDEST
000035ba: POP
000035bb: POP
000035bc: DUP1
000035bd: CALLDATALOAD
000035be: SWAP3
000035bf: PUSH1 0x20
000035c1: SWAP1
000035c2: SWAP2
000035c3: ADD
000035c4: CALLDATALOAD
000035c5: SWAP2
000035c6: POP
000035c7: JUMP
000035c8: JUMPDEST
000035c9: PUSH1 0x00
000035cb: DUP1
000035cc: PUSH1 0x00
000035ce: DUP1
000035cf: PUSH1 0x80
000035d1: DUP6
000035d2: DUP8
000035d3: SUB
000035d4: SLT
000035d5: ISZERO
000035d6: PUSH2 0x35de
000035d9: JUMPI
000035da: PUSH1 0x00
000035dc: DUP1
000035dd: REVERT
000035de: JUMPDEST
000035df: PUSH2 0x35e7
000035e2: DUP6
000035e3: PUSH2 0x3211
000035e6: JUMP
000035e7: JUMPDEST
000035e8: SWAP4
000035e9: POP
000035ea: PUSH2 0x35f5
000035ed: PUSH1 0x20
000035ef: DUP7
000035f0: ADD
000035f1: PUSH2 0x3211
000035f4: JUMP
000035f5: JUMPDEST
000035f6: SWAP3
000035f7: POP
000035f8: PUSH1 0x40
000035fa: DUP6
000035fb: ADD
000035fc: CALLDATALOAD
000035fd: SWAP2
000035fe: POP
000035ff: PUSH1 0x60
00003601: DUP6
00003602: ADD
00003603: CALLDATALOAD
00003604: PUSH8 0xffffffffffffffff
0000360d: DUP2
0000360e: GT
0000360f: ISZERO
00003610: PUSH2 0x3618
00003613: JUMPI
00003614: PUSH1 0x00
00003616: DUP1
00003617: REVERT
00003618: JUMPDEST
00003619: DUP6
0000361a: ADD
0000361b: PUSH1 0x1f
0000361d: DUP2
0000361e: ADD
0000361f: DUP8
00003620: SGT
00003621: PUSH2 0x3629
00003624: JUMPI
00003625: PUSH1 0x00
00003627: DUP1
00003628: REVERT
00003629: JUMPDEST
0000362a: PUSH2 0x3638
0000362d: DUP8
0000362e: DUP3
0000362f: CALLDATALOAD
00003630: PUSH1 0x20
00003632: DUP5
00003633: ADD
00003634: PUSH2 0x3436
00003637: JUMP
00003638: JUMPDEST
00003639: SWAP2
0000363a: POP
0000363b: POP
0000363c: SWAP3
0000363d: SWAP6
0000363e: SWAP2
0000363f: SWAP5
00003640: POP
00003641: SWAP3
00003642: POP
00003643: JUMP
00003644: JUMPDEST
00003645: PUSH1 0x00
00003647: DUP1
00003648: PUSH1 0x00
0000364a: DUP1
0000364b: PUSH1 0x00
0000364d: DUP1
0000364e: PUSH1 0xc0
00003650: DUP8
00003651: DUP10
00003652: SUB
00003653: SLT
00003654: ISZERO
00003655: PUSH2 0x365d
00003658: JUMPI
00003659: PUSH1 0x00
0000365b: DUP1
0000365c: REVERT
0000365d: JUMPDEST
0000365e: POP
0000365f: POP
00003660: DUP5
00003661: CALLDATALOAD
00003662: SWAP7
00003663: PUSH1 0x20
00003665: DUP7
00003666: ADD
00003667: CALLDATALOAD
00003668: SWAP7
00003669: POP
0000366a: PUSH1 0x40
0000366c: DUP7
0000366d: ADD
0000366e: CALLDATALOAD
0000366f: SWAP6
00003670: PUSH1 0x60
00003672: DUP2
00003673: ADD
00003674: CALLDATALOAD
00003675: SWAP6
00003676: POP
00003677: PUSH1 0x80
00003679: DUP2
0000367a: ADD
0000367b: CALLDATALOAD
0000367c: SWAP5
0000367d: POP
0000367e: PUSH1 0xa0
00003680: ADD
00003681: CALLDATALOAD
00003682: SWAP3
00003683: POP
00003684: SWAP1
00003685: POP
00003686: JUMP
00003687: JUMPDEST
00003688: PUSH1 0x00
0000368a: DUP1
0000368b: PUSH1 0x40
0000368d: DUP4
0000368e: DUP6
0000368f: SUB
00003690: SLT
00003691: ISZERO
00003692: PUSH2 0x369a
00003695: JUMPI
00003696: PUSH1 0x00
00003698: DUP1
00003699: REVERT
0000369a: JUMPDEST
0000369b: PUSH2 0x36a3
0000369e: DUP4
0000369f: PUSH2 0x3211
000036a2: JUMP
000036a3: JUMPDEST
000036a4: SWAP2
000036a5: POP
000036a6: PUSH2 0x36b1
000036a9: PUSH1 0x20
000036ab: DUP5
000036ac: ADD
000036ad: PUSH2 0x3211
000036b0: JUMP
000036b1: JUMPDEST
000036b2: SWAP1
000036b3: POP
000036b4: SWAP3
000036b5: POP
000036b6: SWAP3
000036b7: SWAP1
000036b8: POP
000036b9: JUMP
000036ba: JUMPDEST
000036bb: PUSH4 0x4e487b71
000036c0: PUSH1 0xe0
000036c2: SHL
000036c3: PUSH1 0x00
000036c5: MSTORE
000036c6: PUSH1 0x12
000036c8: PUSH1 0x04
000036ca: MSTORE
000036cb: PUSH1 0x24
000036cd: PUSH1 0x00
000036cf: REVERT
000036d0: JUMPDEST
000036d1: PUSH4 0x4e487b71
000036d6: PUSH1 0xe0
000036d8: SHL
000036d9: PUSH1 0x00
000036db: MSTORE
000036dc: PUSH1 0x11
000036de: PUSH1 0x04
000036e0: MSTORE
000036e1: PUSH1 0x24
000036e3: PUSH1 0x00
000036e5: REVERT
000036e6: JUMPDEST
000036e7: PUSH1 0x00
000036e9: DUP3
000036ea: PUSH2 0x36f5
000036ed: JUMPI
000036ee: PUSH2 0x36f5
000036f1: PUSH2 0x36ba
000036f4: JUMP
000036f5: JUMPDEST
000036f6: POP
000036f7: DIV
000036f8: SWAP1
000036f9: JUMP
000036fa: JUMPDEST
000036fb: PUSH1 0x00
000036fd: DUP2
000036fe: PUSH1 0x00
00003700: NOT
00003701: DIV
00003702: DUP4
00003703: GT
00003704: DUP3
00003705: ISZERO
00003706: ISZERO
00003707: AND
00003708: ISZERO
00003709: PUSH2 0x3714
0000370c: JUMPI
0000370d: PUSH2 0x3714
00003710: PUSH2 0x36d0
00003713: JUMP
00003714: JUMPDEST
00003715: POP
00003716: MUL
00003717: SWAP1
00003718: JUMP
00003719: JUMPDEST
0000371a: PUSH1 0x01
0000371c: DUP2
0000371d: DUP2
0000371e: SHR
0000371f: SWAP1
00003720: DUP3
00003721: AND
00003722: DUP1
00003723: PUSH2 0x372d
00003726: JUMPI
00003727: PUSH1 0x7f
00003729: DUP3
0000372a: AND
0000372b: SWAP2
0000372c: POP
0000372d: JUMPDEST
0000372e: PUSH1 0x20
00003730: DUP3
00003731: LT
00003732: DUP2
00003733: EQ
00003734: ISZERO
00003735: PUSH2 0x250c
00003738: JUMPI
00003739: PUSH4 0x4e487b71
0000373e: PUSH1 0xe0
00003740: SHL
00003741: PUSH1 0x00
00003743: MSTORE
00003744: PUSH1 0x22
00003746: PUSH1 0x04
00003748: MSTORE
00003749: PUSH1 0x24
0000374b: PUSH1 0x00
0000374d: REVERT
0000374e: JUMPDEST
0000374f: PUSH1 0x20
00003751: DUP1
00003752: DUP3
00003753: MSTORE
00003754: DUP2
00003755: DUP2
00003756: ADD
00003757: MSTORE
00003758: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00003779: PUSH1 0x40
0000377b: DUP3
0000377c: ADD
0000377d: MSTORE
0000377e: PUSH1 0x60
00003780: ADD
00003781: SWAP1
00003782: JUMP
00003783: JUMPDEST
00003784: PUSH4 0x4e487b71
00003789: PUSH1 0xe0
0000378b: SHL
0000378c: PUSH1 0x00
0000378e: MSTORE
0000378f: PUSH1 0x32
00003791: PUSH1 0x04
00003793: MSTORE
00003794: PUSH1 0x24
00003796: PUSH1 0x00
00003798: REVERT
00003799: JUMPDEST
0000379a: PUSH1 0x20
0000379c: DUP1
0000379d: DUP3
0000379e: MSTORE
0000379f: PUSH1 0x11
000037a1: SWAP1
000037a2: DUP3
000037a3: ADD
000037a4: MSTORE
000037a5: PUSH17 0x1c195c9b5a5cdcda5bdb8819195b9a5959
000037b7: PUSH1 0x7a
000037b9: SHL
000037ba: PUSH1 0x40
000037bc: DUP3
000037bd: ADD
000037be: MSTORE
000037bf: PUSH1 0x60
000037c1: ADD
000037c2: SWAP1
000037c3: JUMP
000037c4: JUMPDEST
000037c5: PUSH1 0x00
000037c7: PUSH1 0x00
000037c9: NOT
000037ca: DUP3
000037cb: EQ
000037cc: ISZERO
000037cd: PUSH2 0x37d8
000037d0: JUMPI
000037d1: PUSH2 0x37d8
000037d4: PUSH2 0x36d0
000037d7: JUMP
000037d8: JUMPDEST
000037d9: POP
000037da: PUSH1 0x01
000037dc: ADD
000037dd: SWAP1
000037de: JUMP
000037df: JUMPDEST
000037e0: PUSH1 0x00
000037e2: DUP3
000037e3: NOT
000037e4: DUP3
000037e5: GT
000037e6: ISZERO
000037e7: PUSH2 0x37f2
000037ea: JUMPI
000037eb: PUSH2 0x37f2
000037ee: PUSH2 0x36d0
000037f1: JUMP
000037f2: JUMPDEST
000037f3: POP
000037f4: ADD
000037f5: SWAP1
000037f6: JUMP
000037f7: JUMPDEST
000037f8: PUSH1 0x20
000037fa: DUP1
000037fb: DUP3
000037fc: MSTORE
000037fd: PUSH1 0x31
000037ff: SWAP1
00003800: DUP3
00003801: ADD
00003802: MSTORE
00003803: PUSH32 0x4552433732313a207472616e736665722063616c6c6572206973206e6f74206f
00003824: PUSH1 0x40
00003826: DUP3
00003827: ADD
00003828: MSTORE
00003829: PUSH17 0x1ddb995c881b9bdc88185c1c1c9bdd9959
0000383b: PUSH1 0x7a
0000383d: SHL
0000383e: PUSH1 0x60
00003840: DUP3
00003841: ADD
00003842: MSTORE
00003843: PUSH1 0x80
00003845: ADD
00003846: SWAP1
00003847: JUMP
00003848: JUMPDEST
00003849: PUSH1 0x00
0000384b: DUP4
0000384c: MLOAD
0000384d: PUSH2 0x385a
00003850: DUP2
00003851: DUP5
00003852: PUSH1 0x20
00003854: DUP9
00003855: ADD
00003856: PUSH2 0x31a6
00003859: JUMP
0000385a: JUMPDEST
0000385b: DUP4
0000385c: MLOAD
0000385d: SWAP1
0000385e: DUP4
0000385f: ADD
00003860: SWAP1
00003861: PUSH2 0x386e
00003864: DUP2
00003865: DUP4
00003866: PUSH1 0x20
00003868: DUP9
00003869: ADD
0000386a: PUSH2 0x31a6
0000386d: JUMP
0000386e: JUMPDEST
0000386f: ADD
00003870: SWAP5
00003871: SWAP4
00003872: POP
00003873: POP
00003874: POP
00003875: POP
00003876: JUMP
00003877: JUMPDEST
00003878: PUSH1 0x00
0000387a: DUP3
0000387b: DUP3
0000387c: LT
0000387d: ISZERO
0000387e: PUSH2 0x3889
00003881: JUMPI
00003882: PUSH2 0x3889
00003885: PUSH2 0x36d0
00003888: JUMP
00003889: JUMPDEST
0000388a: POP
0000388b: SUB
0000388c: SWAP1
0000388d: JUMP
0000388e: JUMPDEST
0000388f: PUSH1 0x00
00003891: DUP3
00003892: PUSH2 0x389d
00003895: JUMPI
00003896: PUSH2 0x389d
00003899: PUSH2 0x36ba
0000389c: JUMP
0000389d: JUMPDEST
0000389e: POP
0000389f: MOD
000038a0: SWAP1
000038a1: JUMP
000038a2: JUMPDEST
000038a3: PUSH1 0x20
000038a5: DUP1
000038a6: DUP3
000038a7: MSTORE
000038a8: PUSH1 0x32
000038aa: SWAP1
000038ab: DUP3
000038ac: ADD
000038ad: MSTORE
000038ae: PUSH32 0x4552433732313a207472616e7366657220746f206e6f6e204552433732315265
000038cf: PUSH1 0x40
000038d1: DUP3
000038d2: ADD
000038d3: MSTORE
000038d4: PUSH18 0x31b2b4bb32b91034b6b83632b6b2b73a32b9
000038e7: PUSH1 0x71
000038e9: SHL
000038ea: PUSH1 0x60
000038ec: DUP3
000038ed: ADD
000038ee: MSTORE
000038ef: PUSH1 0x80
000038f1: ADD
000038f2: SWAP1
000038f3: JUMP
000038f4: JUMPDEST
000038f5: PUSH4 0x4e487b71
000038fa: PUSH1 0xe0
000038fc: SHL
000038fd: PUSH1 0x00
000038ff: MSTORE
00003900: PUSH1 0x31
00003902: PUSH1 0x04
00003904: MSTORE
00003905: PUSH1 0x24
00003907: PUSH1 0x00
00003909: REVERT
0000390a: JUMPDEST
0000390b: PUSH1 0x01
0000390d: PUSH1 0x01
0000390f: PUSH1 0xa0
00003911: SHL
00003912: SUB
00003913: DUP6
00003914: DUP2
00003915: AND
00003916: DUP3
00003917: MSTORE
00003918: DUP5
00003919: AND
0000391a: PUSH1 0x20
0000391c: DUP3
0000391d: ADD
0000391e: MSTORE
0000391f: PUSH1 0x40
00003921: DUP2
00003922: ADD
00003923: DUP4
00003924: SWAP1
00003925: MSTORE
00003926: PUSH1 0x80
00003928: PUSH1 0x60
0000392a: DUP3
0000392b: ADD
0000392c: DUP2
0000392d: SWAP1
0000392e: MSTORE
0000392f: PUSH1 0x00
00003931: SWAP1
00003932: PUSH2 0x393d
00003935: SWAP1
00003936: DUP4
00003937: ADD
00003938: DUP5
00003939: PUSH2 0x31d2
0000393c: JUMP
0000393d: JUMPDEST
0000393e: SWAP7
0000393f: SWAP6
00003940: POP
00003941: POP
00003942: POP
00003943: POP
00003944: POP
00003945: POP
00003946: JUMP
00003947: JUMPDEST
00003948: PUSH1 0x00
0000394a: PUSH1 0x20
0000394c: DUP3
0000394d: DUP5
0000394e: SUB
0000394f: SLT
00003950: ISZERO
00003951: PUSH2 0x3959
00003954: JUMPI
00003955: PUSH1 0x00
00003957: DUP1
00003958: REVERT
00003959: JUMPDEST
0000395a: DUP2
0000395b: MLOAD
0000395c: PUSH2 0x1cfc
0000395f: DUP2
00003960: PUSH2 0x315a
00003963: JUMP
00003964: INVALID
00003965: LOG2
00003966: PUSH5 0x6970667358
0000396c: UNKNOWN(0x22)
0000396d: SLT
0000396e: KECCAK256
0000396f: POP
00003970: UNKNOWN(0xF6)
00003971: PUSH17 0xa90c37874775f8d219fdd7427d2b5fb515
00003983: UNKNOWN(0x2F)
00003984: SELFBALANCE
00003985: PUSH10 0x1c72b94749f1cf316f64
00003990: PUSH20
View stderr
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0xd40232bdf2b53f5946e7eb31ce930cf5d2015c7ded25b7e5fc0e647a39de8ae7
call_targets: 0x1fff1e9e963f07ac4486503e5a35e71f4e9fb9fd
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xd40232bdf2b53f5946e7eb31ce930cf5d2015c7ded25b7e5fc0e647a39de8ae7",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x1fff1e9e963f07ac4486503e5a35e71f4e9fb9fd"
    ],
    "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": "0xe273798d",
            "selector": "0xe273798d",
            "calldata_variants": [
                "0xe273798d",
                "0xe273798d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe449f341",
            "selector": "0xe449f341",
            "calldata_variants": [
                "0xe449f341",
                "0xe449f3410000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe985e9c5",
            "selector": "0xe985e9c5",
            "calldata_variants": [
                "0xe985e9c5",
                "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc9a4925f",
            "selector": "0xc9a4925f",
            "calldata_variants": [
                "0xc9a4925f",
                "0xc9a4925f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd25e2505",
            "selector": "0xd25e2505",
            "calldata_variants": [
                "0xd25e2505",
                "0xd25e25050000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd961f148",
            "selector": "0xd961f148",
            "calldata_variants": [
                "0xd961f148",
                "0xd961f1480000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc4ae3168",
            "selector": "0xc4ae3168",
            "calldata_variants": [
                "0xc4ae3168",
                "0xc4ae31680000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 5012,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 11575,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 2,
    "guards_detected": [],
    "untrusted_call_count": 2
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0xd40232bdf2b53f5946e7eb31ce930cf5d2015c7ded25b7e5fc0e647a39de8ae7
call_targets: 0x1fff1e9e963f07ac4486503e5a35e71f4e9fb9fd
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xd40232bdf2b53f5946e7eb31ce930cf5d2015c7ded25b7e5fc0e647a39de8ae7",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x1fff1e9e963f07ac4486503e5a35e71f4e9fb9fd"
    ],
    "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": "0xe273798d",
            "selector": "0xe273798d",
            "calldata_variants": [
                "0xe273798d",
                "0xe273798d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe449f341",
            "selector": "0xe449f341",
            "calldata_variants": [
                "0xe449f341",
                "0xe449f3410000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe985e9c5",
            "selector": "0xe985e9c5",
            "calldata_variants": [
                "0xe985e9c5",
                "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc9a4925f",
            "selector": "0xc9a4925f",
            "calldata_variants": [
                "0xc9a4925f",
                "0xc9a4925f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd25e2505",
            "selector": "0xd25e2505",
            "calldata_variants": [
                "0xd25e2505",
                "0xd25e25050000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd961f148",
            "selector": "0xd961f148",
            "calldata_variants": [
                "0xd961f148",
                "0xd961f1480000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc4ae3168",
            "selector": "0xc4ae3168",
            "calldata_variants": [
                "0xc4ae3168",
                "0xc4ae31680000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 5012,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 11575,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 2,
    "guards_detected": []
}