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

Analysis Run

019b477e-c389-72be-8c89-596c1af88519

complete
Chain ID
1
Address
Block Number
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary

What survived the funnel

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

Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
Authorization based on tx.origin
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
25237 artifact.fetch complete 1 / 3 3 months ago
25238 tool.cast_disasm complete 1 / 3 3 months ago
68198 analysis.bundle complete 1 / 3 2 weeks ago
68199 capability.graph complete 1 / 3 2 weeks ago
68200 detector.run complete 1 / 3 2 weeks ago
68201 validation.fork complete 1 / 3 2 weeks ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
6
EXT*/BALANCE
4
Total opcodes
7894
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 0x0339
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x6053a0e3
00000019: GT
0000001a: PUSH2 0x01ab
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xa69df4b5
00000024: GT
00000025: PUSH2 0x00f7
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xdd467064
0000002f: GT
00000030: PUSH2 0x0095
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xe6c75f71
0000003a: GT
0000003b: PUSH2 0x006f
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe6c75f71
00000045: EQ
00000046: PUSH2 0x099c
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xea2f0b37
00000050: EQ
00000051: PUSH2 0x09b2
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xec28438a
0000005b: EQ
0000005c: PUSH2 0x09d2
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xf2fde38b
00000066: EQ
00000067: PUSH2 0x09f2
0000006a: JUMPI
0000006b: PUSH1 0x00
0000006d: DUP1
0000006e: REVERT
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0xdd467064
00000076: EQ
00000077: PUSH2 0x0920
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xdd62ed3e
00000081: EQ
00000082: PUSH2 0x0940
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xe2f45605
0000008c: EQ
0000008d: PUSH2 0x0986
00000090: JUMPI
00000091: PUSH1 0x00
00000093: DUP1
00000094: REVERT
00000095: JUMPDEST
00000096: DUP1
00000097: PUSH4 0xb6c52324
0000009c: GT
0000009d: PUSH2 0x00d1
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xb6c52324
000000a7: EQ
000000a8: PUSH2 0x08b6
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0xbdc653ef
000000b2: EQ
000000b3: PUSH2 0x08cb
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0xc2b3e1c2
000000bd: EQ
000000be: PUSH2 0x08e0
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xc49b9a80
000000c8: EQ
000000c9: PUSH2 0x0900
000000cc: JUMPI
000000cd: PUSH1 0x00
000000cf: DUP1
000000d0: REVERT
000000d1: JUMPDEST
000000d2: DUP1
000000d3: PUSH4 0xa69df4b5
000000d8: EQ
000000d9: PUSH2 0x0861
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0xa9059cbb
000000e3: EQ
000000e4: PUSH2 0x0876
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0xafa4f3b2
000000ee: EQ
000000ef: PUSH2 0x0896
000000f2: JUMPI
000000f3: PUSH1 0x00
000000f5: DUP1
000000f6: REVERT
000000f7: JUMPDEST
000000f8: DUP1
000000f9: PUSH4 0x85141a77
000000fe: GT
000000ff: PUSH2 0x0164
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0x8ee10823
00000109: GT
0000010a: PUSH2 0x013e
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0x8ee10823
00000114: EQ
00000115: PUSH2 0x07f6
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0x95d89b41
0000011f: EQ
00000120: PUSH2 0x080c
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0x9f34a5b4
0000012a: EQ
0000012b: PUSH2 0x0821
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0xa457c2d7
00000135: EQ
00000136: PUSH2 0x0841
00000139: JUMPI
0000013a: PUSH1 0x00
0000013c: DUP1
0000013d: REVERT
0000013e: JUMPDEST
0000013f: DUP1
00000140: PUSH4 0x85141a77
00000145: EQ
00000146: PUSH2 0x076b
00000149: JUMPI
0000014a: DUP1
0000014b: PUSH4 0x88f82020
00000150: EQ
00000151: PUSH2 0x079f
00000154: JUMPI
00000155: DUP1
00000156: PUSH4 0x8da5cb5b
0000015b: EQ
0000015c: PUSH2 0x07d8
0000015f: JUMPI
00000160: PUSH1 0x00
00000162: DUP1
00000163: REVERT
00000164: JUMPDEST
00000165: DUP1
00000166: PUSH4 0x6053a0e3
0000016b: EQ
0000016c: PUSH2 0x06c6
0000016f: JUMPI
00000170: DUP1
00000171: PUSH4 0x6ac3f254
00000176: EQ
00000177: PUSH2 0x06e0
0000017a: JUMPI
0000017b: DUP1
0000017c: PUSH4 0x70a08231
00000181: EQ
00000182: PUSH2 0x0700
00000185: JUMPI
00000186: DUP1
00000187: PUSH4 0x715018a6
0000018c: EQ
0000018d: PUSH2 0x0720
00000190: JUMPI
00000191: DUP1
00000192: PUSH4 0x75f0a874
00000197: EQ
00000198: PUSH2 0x0735
0000019b: JUMPI
0000019c: DUP1
0000019d: PUSH4 0x7d1db4a5
000001a2: EQ
000001a3: PUSH2 0x0755
000001a6: JUMPI
000001a7: PUSH1 0x00
000001a9: DUP1
000001aa: REVERT
000001ab: JUMPDEST
000001ac: DUP1
000001ad: PUSH4 0x313ce567
000001b2: GT
000001b3: PUSH2 0x0285
000001b6: JUMPI
000001b7: DUP1
000001b8: PUSH4 0x455a4396
000001bd: GT
000001be: PUSH2 0x0223
000001c1: JUMPI
000001c2: DUP1
000001c3: PUSH4 0x5134f6ab
000001c8: GT
000001c9: PUSH2 0x01fd
000001cc: JUMPI
000001cd: DUP1
000001ce: PUSH4 0x5134f6ab
000001d3: EQ
000001d4: PUSH2 0x0638
000001d7: JUMPI
000001d8: DUP1
000001d9: PUSH4 0x52390c02
000001de: EQ
000001df: PUSH2 0x064d
000001e2: JUMPI
000001e3: DUP1
000001e4: PUSH4 0x5342acb4
000001e9: EQ
000001ea: PUSH2 0x066d
000001ed: JUMPI
000001ee: DUP1
000001ef: PUSH4 0x5d098b38
000001f4: EQ
000001f5: PUSH2 0x06a6
000001f8: JUMPI
000001f9: PUSH1 0x00
000001fb: DUP1
000001fc: REVERT
000001fd: JUMPDEST
000001fe: DUP1
000001ff: PUSH4 0x455a4396
00000204: EQ
00000205: PUSH2 0x05d7
00000208: JUMPI
00000209: DUP1
0000020a: PUSH4 0x49bd5a5e
0000020f: EQ
00000210: PUSH2 0x05f7
00000213: JUMPI
00000214: DUP1
00000215: PUSH4 0x4a74bb02
0000021a: EQ
0000021b: PUSH2 0x0617
0000021e: JUMPI
0000021f: PUSH1 0x00
00000221: DUP1
00000222: REVERT
00000223: JUMPDEST
00000224: DUP1
00000225: PUSH4 0x3b124fe7
0000022a: GT
0000022b: PUSH2 0x025f
0000022e: JUMPI
0000022f: DUP1
00000230: PUSH4 0x3b124fe7
00000235: EQ
00000236: PUSH2 0x0561
00000239: JUMPI
0000023a: DUP1
0000023b: PUSH4 0x3bd5d173
00000240: EQ
00000241: PUSH2 0x0577
00000244: JUMPI
00000245: DUP1
00000246: PUSH4 0x437823ec
0000024b: EQ
0000024c: PUSH2 0x0597
0000024f: JUMPI
00000250: DUP1
00000251: PUSH4 0x4549b039
00000256: EQ
00000257: PUSH2 0x05b7
0000025a: JUMPI
0000025b: PUSH1 0x00
0000025d: DUP1
0000025e: REVERT
0000025f: JUMPDEST
00000260: DUP1
00000261: PUSH4 0x313ce567
00000266: EQ
00000267: PUSH2 0x04ff
0000026a: JUMPI
0000026b: DUP1
0000026c: PUSH4 0x3685d419
00000271: EQ
00000272: PUSH2 0x0521
00000275: JUMPI
00000276: DUP1
00000277: PUSH4 0x39509351
0000027c: EQ
0000027d: PUSH2 0x0541
00000280: JUMPI
00000281: PUSH1 0x00
00000283: DUP1
00000284: REVERT
00000285: JUMPDEST
00000286: DUP1
00000287: PUSH4 0x18160ddd
0000028c: GT
0000028d: PUSH2 0x02f2
00000290: JUMPI
00000291: DUP1
00000292: PUSH4 0x22976e0d
00000297: GT
00000298: PUSH2 0x02cc
0000029b: JUMPI
0000029c: DUP1
0000029d: PUSH4 0x22976e0d
000002a2: EQ
000002a3: PUSH2 0x0489
000002a6: JUMPI
000002a7: DUP1
000002a8: PUSH4 0x23b872dd
000002ad: EQ
000002ae: PUSH2 0x049f
000002b1: JUMPI
000002b2: DUP1
000002b3: PUSH4 0x29370cc6
000002b8: EQ
000002b9: PUSH2 0x04bf
000002bc: JUMPI
000002bd: DUP1
000002be: PUSH4 0x2d838119
000002c3: EQ
000002c4: PUSH2 0x04df
000002c7: JUMPI
000002c8: PUSH1 0x00
000002ca: DUP1
000002cb: REVERT
000002cc: JUMPDEST
000002cd: DUP1
000002ce: PUSH4 0x18160ddd
000002d3: EQ
000002d4: PUSH2 0x042e
000002d7: JUMPI
000002d8: DUP1
000002d9: PUSH4 0x19de79ab
000002de: EQ
000002df: PUSH2 0x0443
000002e2: JUMPI
000002e3: DUP1
000002e4: PUSH4 0x1cdd3be3
000002e9: EQ
000002ea: PUSH2 0x0459
000002ed: JUMPI
000002ee: PUSH1 0x00
000002f0: DUP1
000002f1: REVERT
000002f2: JUMPDEST
000002f3: DUP1
000002f4: PUSH4 0x068dde72
000002f9: EQ
000002fa: PUSH2 0x0345
000002fd: JUMPI
000002fe: DUP1
000002ff: PUSH4 0x06fdde03
00000304: EQ
00000305: PUSH2 0x0367
00000308: JUMPI
00000309: DUP1
0000030a: PUSH4 0x07efbfdc
0000030f: EQ
00000310: PUSH2 0x0392
00000313: JUMPI
00000314: DUP1
00000315: PUSH4 0x095ea7b3
0000031a: EQ
0000031b: PUSH2 0x03a7
0000031e: JUMPI
0000031f: DUP1
00000320: PUSH4 0x13114a9d
00000325: EQ
00000326: PUSH2 0x03d7
00000329: JUMPI
0000032a: DUP1
0000032b: PUSH4 0x1694505e
00000330: EQ
00000331: PUSH2 0x03f6
00000334: JUMPI
00000335: PUSH1 0x00
00000337: DUP1
00000338: REVERT
00000339: JUMPDEST
0000033a: CALLDATASIZE
0000033b: PUSH2 0x0340
0000033e: JUMPI
0000033f: STOP
00000340: JUMPDEST
00000341: PUSH1 0x00
00000343: DUP1
00000344: REVERT
00000345: JUMPDEST
00000346: CALLVALUE
00000347: DUP1
00000348: ISZERO
00000349: PUSH2 0x0351
0000034c: JUMPI
0000034d: PUSH1 0x00
0000034f: DUP1
00000350: REVERT
00000351: JUMPDEST
00000352: POP
00000353: PUSH2 0x0365
00000356: PUSH2 0x0360
00000359: CALLDATASIZE
0000035a: PUSH1 0x04
0000035c: PUSH2 0x2d9b
0000035f: JUMP
00000360: JUMPDEST
00000361: PUSH2 0x0a12
00000364: JUMP
00000365: JUMPDEST
00000366: STOP
00000367: JUMPDEST
00000368: CALLVALUE
00000369: DUP1
0000036a: ISZERO
0000036b: PUSH2 0x0373
0000036e: JUMPI
0000036f: PUSH1 0x00
00000371: DUP1
00000372: REVERT
00000373: JUMPDEST
00000374: POP
00000375: PUSH2 0x037c
00000378: PUSH2 0x0a4a
0000037b: JUMP
0000037c: JUMPDEST
0000037d: PUSH1 0x40
0000037f: MLOAD
00000380: PUSH2 0x0389
00000383: SWAP2
00000384: SWAP1
00000385: PUSH2 0x2e7c
00000388: JUMP
00000389: JUMPDEST
0000038a: PUSH1 0x40
0000038c: MLOAD
0000038d: DUP1
0000038e: SWAP2
0000038f: SUB
00000390: SWAP1
00000391: RETURN
00000392: JUMPDEST
00000393: CALLVALUE
00000394: DUP1
00000395: ISZERO
00000396: PUSH2 0x039e
00000399: JUMPI
0000039a: PUSH1 0x00
0000039c: DUP1
0000039d: REVERT
0000039e: JUMPDEST
0000039f: POP
000003a0: PUSH2 0x0365
000003a3: PUSH2 0x0adc
000003a6: JUMP
000003a7: JUMPDEST
000003a8: CALLVALUE
000003a9: DUP1
000003aa: ISZERO
000003ab: PUSH2 0x03b3
000003ae: JUMPI
000003af: PUSH1 0x00
000003b1: DUP1
000003b2: REVERT
000003b3: JUMPDEST
000003b4: POP
000003b5: PUSH2 0x03c7
000003b8: PUSH2 0x03c2
000003bb: CALLDATASIZE
000003bc: PUSH1 0x04
000003be: PUSH2 0x2d54
000003c1: JUMP
000003c2: JUMPDEST
000003c3: PUSH2 0x0b31
000003c6: JUMP
000003c7: JUMPDEST
000003c8: PUSH1 0x40
000003ca: MLOAD
000003cb: SWAP1
000003cc: ISZERO
000003cd: ISZERO
000003ce: DUP2
000003cf: MSTORE
000003d0: PUSH1 0x20
000003d2: ADD
000003d3: PUSH2 0x0389
000003d6: JUMP
000003d7: JUMPDEST
000003d8: CALLVALUE
000003d9: DUP1
000003da: ISZERO
000003db: PUSH2 0x03e3
000003de: JUMPI
000003df: PUSH1 0x00
000003e1: DUP1
000003e2: REVERT
000003e3: JUMPDEST
000003e4: POP
000003e5: PUSH1 0x0c
000003e7: SLOAD
000003e8: JUMPDEST
000003e9: PUSH1 0x40
000003eb: MLOAD
000003ec: SWAP1
000003ed: DUP2
000003ee: MSTORE
000003ef: PUSH1 0x20
000003f1: ADD
000003f2: PUSH2 0x0389
000003f5: JUMP
000003f6: JUMPDEST
000003f7: CALLVALUE
000003f8: DUP1
000003f9: ISZERO
000003fa: PUSH2 0x0402
000003fd: JUMPI
000003fe: PUSH1 0x00
00000400: DUP1
00000401: REVERT
00000402: JUMPDEST
00000403: POP
00000404: PUSH1 0x17
00000406: SLOAD
00000407: PUSH2 0x0416
0000040a: SWAP1
0000040b: PUSH1 0x01
0000040d: PUSH1 0x01
0000040f: PUSH1 0xa0
00000411: SHL
00000412: SUB
00000413: AND
00000414: DUP2
00000415: JUMP
00000416: JUMPDEST
00000417: PUSH1 0x40
00000419: MLOAD
0000041a: PUSH1 0x01
0000041c: PUSH1 0x01
0000041e: PUSH1 0xa0
00000420: SHL
00000421: SUB
00000422: SWAP1
00000423: SWAP2
00000424: AND
00000425: DUP2
00000426: MSTORE
00000427: PUSH1 0x20
00000429: ADD
0000042a: PUSH2 0x0389
0000042d: JUMP
0000042e: JUMPDEST
0000042f: CALLVALUE
00000430: DUP1
00000431: ISZERO
00000432: PUSH2 0x043a
00000435: JUMPI
00000436: PUSH1 0x00
00000438: DUP1
00000439: REVERT
0000043a: JUMPDEST
0000043b: POP
0000043c: PUSH1 0x0a
0000043e: SLOAD
0000043f: PUSH2 0x03e8
00000442: JUMP
00000443: JUMPDEST
00000444: CALLVALUE
00000445: DUP1
00000446: ISZERO
00000447: PUSH2 0x044f
0000044a: JUMPI
0000044b: PUSH1 0x00
0000044d: DUP1
0000044e: REVERT
0000044f: JUMPDEST
00000450: POP
00000451: PUSH2 0x03e8
00000454: PUSH1 0x12
00000456: SLOAD
00000457: DUP2
00000458: JUMP
00000459: JUMPDEST
0000045a: CALLVALUE
0000045b: DUP1
0000045c: ISZERO
0000045d: PUSH2 0x0465
00000460: JUMPI
00000461: PUSH1 0x00
00000463: DUP1
00000464: REVERT
00000465: JUMPDEST
00000466: POP
00000467: PUSH2 0x03c7
0000046a: PUSH2 0x0474
0000046d: CALLDATASIZE
0000046e: PUSH1 0x04
00000470: PUSH2 0x2c6b
00000473: JUMP
00000474: JUMPDEST
00000475: PUSH1 0x07
00000477: PUSH1 0x20
00000479: MSTORE
0000047a: PUSH1 0x00
0000047c: SWAP1
0000047d: DUP2
0000047e: MSTORE
0000047f: PUSH1 0x40
00000481: SWAP1
00000482: KECCAK256
00000483: SLOAD
00000484: PUSH1 0xff
00000486: AND
00000487: DUP2
00000488: JUMP
00000489: JUMPDEST
0000048a: CALLVALUE
0000048b: DUP1
0000048c: ISZERO
0000048d: PUSH2 0x0495
00000490: JUMPI
00000491: PUSH1 0x00
00000493: DUP1
00000494: REVERT
00000495: JUMPDEST
00000496: POP
00000497: PUSH2 0x03e8
0000049a: PUSH1 0x14
0000049c: SLOAD
0000049d: DUP2
0000049e: JUMP
0000049f: JUMPDEST
000004a0: CALLVALUE
000004a1: DUP1
000004a2: ISZERO
000004a3: PUSH2 0x04ab
000004a6: JUMPI
000004a7: PUSH1 0x00
000004a9: DUP1
000004aa: REVERT
000004ab: JUMPDEST
000004ac: POP
000004ad: PUSH2 0x03c7
000004b0: PUSH2 0x04ba
000004b3: CALLDATASIZE
000004b4: PUSH1 0x04
000004b6: PUSH2 0x2cde
000004b9: JUMP
000004ba: JUMPDEST
000004bb: PUSH2 0x0b48
000004be: JUMP
000004bf: JUMPDEST
000004c0: CALLVALUE
000004c1: DUP1
000004c2: ISZERO
000004c3: PUSH2 0x04cb
000004c6: JUMPI
000004c7: PUSH1 0x00
000004c9: DUP1
000004ca: REVERT
000004cb: JUMPDEST
000004cc: POP
000004cd: PUSH2 0x0365
000004d0: PUSH2 0x04da
000004d3: CALLDATASIZE
000004d4: PUSH1 0x04
000004d6: PUSH2 0x2d80
000004d9: JUMP
000004da: JUMPDEST
000004db: PUSH2 0x0bb1
000004de: JUMP
000004df: JUMPDEST
000004e0: CALLVALUE
000004e1: DUP1
000004e2: ISZERO
000004e3: PUSH2 0x04eb
000004e6: JUMPI
000004e7: PUSH1 0x00
000004e9: DUP1
000004ea: REVERT
000004eb: JUMPDEST
000004ec: POP
000004ed: PUSH2 0x03e8
000004f0: PUSH2 0x04fa
000004f3: CALLDATASIZE
000004f4: PUSH1 0x04
000004f6: PUSH2 0x2d9b
000004f9: JUMP
000004fa: JUMPDEST
000004fb: PUSH2 0x0c23
000004fe: JUMP
000004ff: JUMPDEST
00000500: CALLVALUE
00000501: DUP1
00000502: ISZERO
00000503: PUSH2 0x050b
00000506: JUMPI
00000507: PUSH1 0x00
00000509: DUP1
0000050a: REVERT
0000050b: JUMPDEST
0000050c: POP
0000050d: PUSH1 0x0f
0000050f: SLOAD
00000510: PUSH1 0x40
00000512: MLOAD
00000513: PUSH1 0xff
00000515: SWAP1
00000516: SWAP2
00000517: AND
00000518: DUP2
00000519: MSTORE
0000051a: PUSH1 0x20
0000051c: ADD
0000051d: PUSH2 0x0389
00000520: JUMP
00000521: JUMPDEST
00000522: CALLVALUE
00000523: DUP1
00000524: ISZERO
00000525: PUSH2 0x052d
00000528: JUMPI
00000529: PUSH1 0x00
0000052b: DUP1
0000052c: REVERT
0000052d: JUMPDEST
0000052e: POP
0000052f: PUSH2 0x0365
00000532: PUSH2 0x053c
00000535: CALLDATASIZE
00000536: PUSH1 0x04
00000538: PUSH2 0x2c6b
0000053b: JUMP
0000053c: JUMPDEST
0000053d: PUSH2 0x0ca7
00000540: JUMP
00000541: JUMPDEST
00000542: CALLVALUE
00000543: DUP1
00000544: ISZERO
00000545: PUSH2 0x054d
00000548: JUMPI
00000549: PUSH1 0x00
0000054b: DUP1
0000054c: REVERT
0000054d: JUMPDEST
0000054e: POP
0000054f: PUSH2 0x03c7
00000552: PUSH2 0x055c
00000555: CALLDATASIZE
00000556: PUSH1 0x04
00000558: PUSH2 0x2d54
0000055b: JUMP
0000055c: JUMPDEST
0000055d: PUSH2 0x0e5e
00000560: JUMP
00000561: JUMPDEST
00000562: CALLVALUE
00000563: DUP1
00000564: ISZERO
00000565: PUSH2 0x056d
00000568: JUMPI
00000569: PUSH1 0x00
0000056b: DUP1
0000056c: REVERT
0000056d: JUMPDEST
0000056e: POP
0000056f: PUSH2 0x03e8
00000572: PUSH1 0x10
00000574: SLOAD
00000575: DUP2
00000576: JUMP
00000577: JUMPDEST
00000578: CALLVALUE
00000579: DUP1
0000057a: ISZERO
0000057b: PUSH2 0x0583
0000057e: JUMPI
0000057f: PUSH1 0x00
00000581: DUP1
00000582: REVERT
00000583: JUMPDEST
00000584: POP
00000585: PUSH2 0x0365
00000588: PUSH2 0x0592
0000058b: CALLDATASIZE
0000058c: PUSH1 0x04
0000058e: PUSH2 0x2d9b
00000591: JUMP
00000592: JUMPDEST
00000593: PUSH2 0x0e94
00000596: JUMP
00000597: JUMPDEST
00000598: CALLVALUE
00000599: DUP1
0000059a: ISZERO
0000059b: PUSH2 0x05a3
0000059e: JUMPI
0000059f: PUSH1 0x00
000005a1: DUP1
000005a2: REVERT
000005a3: JUMPDEST
000005a4: POP
000005a5: PUSH2 0x0365
000005a8: PUSH2 0x05b2
000005ab: CALLDATASIZE
000005ac: PUSH1 0x04
000005ae: PUSH2 0x2c6b
000005b1: JUMP
000005b2: JUMPDEST
000005b3: PUSH2 0x0f7e
000005b6: JUMP
000005b7: JUMPDEST
000005b8: CALLVALUE
000005b9: DUP1
000005ba: ISZERO
000005bb: PUSH2 0x05c3
000005be: JUMPI
000005bf: PUSH1 0x00
000005c1: DUP1
000005c2: REVERT
000005c3: JUMPDEST
000005c4: POP
000005c5: PUSH2 0x03e8
000005c8: PUSH2 0x05d2
000005cb: CALLDATASIZE
000005cc: PUSH1 0x04
000005ce: PUSH2 0x2db4
000005d1: JUMP
000005d2: JUMPDEST
000005d3: PUSH2 0x0fcc
000005d6: JUMP
000005d7: JUMPDEST
000005d8: CALLVALUE
000005d9: DUP1
000005da: ISZERO
000005db: PUSH2 0x05e3
000005de: JUMPI
000005df: PUSH1 0x00
000005e1: DUP1
000005e2: REVERT
000005e3: JUMPDEST
000005e4: POP
000005e5: PUSH2 0x0365
000005e8: PUSH2 0x05f2
000005eb: CALLDATASIZE
000005ec: PUSH1 0x04
000005ee: PUSH2 0x2d1f
000005f1: JUMP
000005f2: JUMPDEST
000005f3: PUSH2 0x1059
000005f6: JUMP
000005f7: JUMPDEST
000005f8: CALLVALUE
000005f9: DUP1
000005fa: ISZERO
000005fb: PUSH2 0x0603
000005fe: JUMPI
000005ff: PUSH1 0x00
00000601: DUP1
00000602: REVERT
00000603: JUMPDEST
00000604: POP
00000605: PUSH1 0x18
00000607: SLOAD
00000608: PUSH2 0x0416
0000060b: SWAP1
0000060c: PUSH1 0x01
0000060e: PUSH1 0x01
00000610: PUSH1 0xa0
00000612: SHL
00000613: SUB
00000614: AND
00000615: DUP2
00000616: JUMP
00000617: JUMPDEST
00000618: CALLVALUE
00000619: DUP1
0000061a: ISZERO
0000061b: PUSH2 0x0623
0000061e: JUMPI
0000061f: PUSH1 0x00
00000621: DUP1
00000622: REVERT
00000623: JUMPDEST
00000624: POP
00000625: PUSH1 0x18
00000627: SLOAD
00000628: PUSH2 0x03c7
0000062b: SWAP1
0000062c: PUSH1 0x01
0000062e: PUSH1 0xa8
00000630: SHL
00000631: SWAP1
00000632: DIV
00000633: PUSH1 0xff
00000635: AND
00000636: DUP2
00000637: JUMP
00000638: JUMPDEST
00000639: CALLVALUE
0000063a: DUP1
0000063b: ISZERO
0000063c: PUSH2 0x0644
0000063f: JUMPI
00000640: PUSH1 0x00
00000642: DUP1
00000643: REVERT
00000644: JUMPDEST
00000645: POP
00000646: PUSH2 0x0365
00000649: PUSH2 0x10ae
0000064c: JUMP
0000064d: JUMPDEST
0000064e: CALLVALUE
0000064f: DUP1
00000650: ISZERO
00000651: PUSH2 0x0659
00000654: JUMPI
00000655: PUSH1 0x00
00000657: DUP1
00000658: REVERT
00000659: JUMPDEST
0000065a: POP
0000065b: PUSH2 0x0365
0000065e: PUSH2 0x0668
00000661: CALLDATASIZE
00000662: PUSH1 0x04
00000664: PUSH2 0x2c6b
00000667: JUMP
00000668: JUMPDEST
00000669: PUSH2 0x1104
0000066c: JUMP
0000066d: JUMPDEST
0000066e: CALLVALUE
0000066f: DUP1
00000670: ISZERO
00000671: PUSH2 0x0679
00000674: JUMPI
00000675: PUSH1 0x00
00000677: DUP1
00000678: REVERT
00000679: JUMPDEST
0000067a: POP
0000067b: PUSH2 0x03c7
0000067e: PUSH2 0x0688
00000681: CALLDATASIZE
00000682: PUSH1 0x04
00000684: PUSH2 0x2c6b
00000687: JUMP
00000688: JUMPDEST
00000689: PUSH1 0x01
0000068b: PUSH1 0x01
0000068d: PUSH1 0xa0
0000068f: SHL
00000690: SUB
00000691: AND
00000692: PUSH1 0x00
00000694: SWAP1
00000695: DUP2
00000696: MSTORE
00000697: PUSH1 0x06
00000699: PUSH1 0x20
0000069b: MSTORE
0000069c: PUSH1 0x40
0000069e: SWAP1
0000069f: KECCAK256
000006a0: SLOAD
000006a1: PUSH1 0xff
000006a3: AND
000006a4: SWAP1
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 0x0365
000006b7: PUSH2 0x06c1
000006ba: CALLDATASIZE
000006bb: PUSH1 0x04
000006bd: PUSH2 0x2c6b
000006c0: JUMP
000006c1: JUMPDEST
000006c2: PUSH2 0x1257
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: PUSH1 0x1e
000006d6: SLOAD
000006d7: PUSH2 0x03c7
000006da: SWAP1
000006db: PUSH1 0xff
000006dd: AND
000006de: DUP2
000006df: JUMP
000006e0: JUMPDEST
000006e1: CALLVALUE
000006e2: DUP1
000006e3: ISZERO
000006e4: PUSH2 0x06ec
000006e7: JUMPI
000006e8: PUSH1 0x00
000006ea: DUP1
000006eb: REVERT
000006ec: JUMPDEST
000006ed: POP
000006ee: PUSH2 0x0365
000006f1: PUSH2 0x06fb
000006f4: CALLDATASIZE
000006f5: PUSH1 0x04
000006f7: PUSH2 0x2dd7
000006fa: JUMP
000006fb: JUMPDEST
000006fc: PUSH2 0x12a3
000006ff: JUMP
00000700: JUMPDEST
00000701: CALLVALUE
00000702: DUP1
00000703: ISZERO
00000704: PUSH2 0x070c
00000707: JUMPI
00000708: PUSH1 0x00
0000070a: DUP1
0000070b: REVERT
0000070c: JUMPDEST
0000070d: POP
0000070e: PUSH2 0x03e8
00000711: PUSH2 0x071b
00000714: CALLDATASIZE
00000715: PUSH1 0x04
00000717: PUSH2 0x2c6b
0000071a: JUMP
0000071b: JUMPDEST
0000071c: PUSH2 0x1300
0000071f: JUMP
00000720: JUMPDEST
00000721: CALLVALUE
00000722: DUP1
00000723: ISZERO
00000724: PUSH2 0x072c
00000727: JUMPI
00000728: PUSH1 0x00
0000072a: DUP1
0000072b: REVERT
0000072c: JUMPDEST
0000072d: POP
0000072e: PUSH2 0x0365
00000731: PUSH2 0x135f
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: PUSH1 0x16
00000745: SLOAD
00000746: PUSH2 0x0416
00000749: SWAP1
0000074a: PUSH1 0x01
0000074c: PUSH1 0x01
0000074e: PUSH1 0xa0
00000750: SHL
00000751: SUB
00000752: AND
00000753: DUP2
00000754: JUMP
00000755: JUMPDEST
00000756: CALLVALUE
00000757: DUP1
00000758: ISZERO
00000759: PUSH2 0x0761
0000075c: JUMPI
0000075d: PUSH1 0x00
0000075f: DUP1
00000760: REVERT
00000761: JUMPDEST
00000762: POP
00000763: PUSH2 0x03e8
00000766: PUSH1 0x1a
00000768: SLOAD
00000769: DUP2
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 0x0416
0000077c: PUSH32 0x000000000000000000000000000000000000000000000000000000000000dead
0000079d: DUP2
0000079e: JUMP
0000079f: JUMPDEST
000007a0: CALLVALUE
000007a1: DUP1
000007a2: ISZERO
000007a3: PUSH2 0x07ab
000007a6: JUMPI
000007a7: PUSH1 0x00
000007a9: DUP1
000007aa: REVERT
000007ab: JUMPDEST
000007ac: POP
000007ad: PUSH2 0x03c7
000007b0: PUSH2 0x07ba
000007b3: CALLDATASIZE
000007b4: PUSH1 0x04
000007b6: PUSH2 0x2c6b
000007b9: JUMP
000007ba: JUMPDEST
000007bb: PUSH1 0x01
000007bd: PUSH1 0x01
000007bf: PUSH1 0xa0
000007c1: SHL
000007c2: SUB
000007c3: AND
000007c4: PUSH1 0x00
000007c6: SWAP1
000007c7: DUP2
000007c8: MSTORE
000007c9: PUSH1 0x08
000007cb: PUSH1 0x20
000007cd: MSTORE
000007ce: PUSH1 0x40
000007d0: SWAP1
000007d1: KECCAK256
000007d2: SLOAD
000007d3: PUSH1 0xff
000007d5: AND
000007d6: SWAP1
000007d7: JUMP
000007d8: JUMPDEST
000007d9: CALLVALUE
000007da: DUP1
000007db: ISZERO
000007dc: PUSH2 0x07e4
000007df: JUMPI
000007e0: PUSH1 0x00
000007e2: DUP1
000007e3: REVERT
000007e4: JUMPDEST
000007e5: POP
000007e6: PUSH1 0x00
000007e8: SLOAD
000007e9: PUSH1 0x01
000007eb: PUSH1 0x01
000007ed: PUSH1 0xa0
000007ef: SHL
000007f0: SUB
000007f1: AND
000007f2: PUSH2 0x0416
000007f5: JUMP
000007f6: JUMPDEST
000007f7: CALLVALUE
000007f8: DUP1
000007f9: ISZERO
000007fa: PUSH2 0x0802
000007fd: JUMPI
000007fe: PUSH1 0x00
00000800: DUP1
00000801: REVERT
00000802: JUMPDEST
00000803: POP
00000804: PUSH2 0x03e8
00000807: PUSH1 0x1c
00000809: SLOAD
0000080a: DUP2
0000080b: JUMP
0000080c: JUMPDEST
0000080d: CALLVALUE
0000080e: DUP1
0000080f: ISZERO
00000810: PUSH2 0x0818
00000813: JUMPI
00000814: PUSH1 0x00
00000816: DUP1
00000817: REVERT
00000818: JUMPDEST
00000819: POP
0000081a: PUSH2 0x037c
0000081d: PUSH2 0x13c1
00000820: JUMP
00000821: JUMPDEST
00000822: CALLVALUE
00000823: DUP1
00000824: ISZERO
00000825: PUSH2 0x082d
00000828: JUMPI
00000829: PUSH1 0x00
0000082b: DUP1
0000082c: REVERT
0000082d: JUMPDEST
0000082e: POP
0000082f: PUSH2 0x0365
00000832: PUSH2 0x083c
00000835: CALLDATASIZE
00000836: PUSH1 0x04
00000838: PUSH2 0x2d9b
0000083b: JUMP
0000083c: JUMPDEST
0000083d: PUSH2 0x13d0
00000840: JUMP
00000841: JUMPDEST
00000842: CALLVALUE
00000843: DUP1
00000844: ISZERO
00000845: PUSH2 0x084d
00000848: JUMPI
00000849: PUSH1 0x00
0000084b: DUP1
0000084c: REVERT
0000084d: JUMPDEST
0000084e: POP
0000084f: PUSH2 0x03c7
00000852: PUSH2 0x085c
00000855: CALLDATASIZE
00000856: PUSH1 0x04
00000858: PUSH2 0x2d54
0000085b: JUMP
0000085c: JUMPDEST
0000085d: PUSH2 0x140e
00000860: JUMP
00000861: JUMPDEST
00000862: CALLVALUE
00000863: DUP1
00000864: ISZERO
00000865: PUSH2 0x086d
00000868: JUMPI
00000869: PUSH1 0x00
0000086b: DUP1
0000086c: REVERT
0000086d: JUMPDEST
0000086e: POP
0000086f: PUSH2 0x0365
00000872: PUSH2 0x145d
00000875: JUMP
00000876: JUMPDEST
00000877: CALLVALUE
00000878: DUP1
00000879: ISZERO
0000087a: PUSH2 0x0882
0000087d: JUMPI
0000087e: PUSH1 0x00
00000880: DUP1
00000881: REVERT
00000882: JUMPDEST
00000883: POP
00000884: PUSH2 0x03c7
00000887: PUSH2 0x0891
0000088a: CALLDATASIZE
0000088b: PUSH1 0x04
0000088d: PUSH2 0x2d54
00000890: JUMP
00000891: JUMPDEST
00000892: PUSH2 0x1563
00000895: JUMP
00000896: JUMPDEST
00000897: CALLVALUE
00000898: DUP1
00000899: ISZERO
0000089a: PUSH2 0x08a2
0000089d: JUMPI
0000089e: PUSH1 0x00
000008a0: DUP1
000008a1: REVERT
000008a2: JUMPDEST
000008a3: POP
000008a4: PUSH2 0x0365
000008a7: PUSH2 0x08b1
000008aa: CALLDATASIZE
000008ab: PUSH1 0x04
000008ad: PUSH2 0x2d9b
000008b0: JUMP
000008b1: JUMPDEST
000008b2: PUSH2 0x1570
000008b5: JUMP
000008b6: JUMPDEST
000008b7: CALLVALUE
000008b8: DUP1
000008b9: ISZERO
000008ba: PUSH2 0x08c2
000008bd: JUMPI
000008be: PUSH1 0x00
000008c0: DUP1
000008c1: REVERT
000008c2: JUMPDEST
000008c3: POP
000008c4: PUSH1 0x02
000008c6: SLOAD
000008c7: PUSH2 0x03e8
000008ca: JUMP
000008cb: JUMPDEST
000008cc: CALLVALUE
000008cd: DUP1
000008ce: ISZERO
000008cf: PUSH2 0x08d7
000008d2: JUMPI
000008d3: PUSH1 0x00
000008d5: DUP1
000008d6: REVERT
000008d7: JUMPDEST
000008d8: POP
000008d9: PUSH1 0x1d
000008db: SLOAD
000008dc: PUSH2 0x03e8
000008df: JUMP
000008e0: JUMPDEST
000008e1: CALLVALUE
000008e2: DUP1
000008e3: ISZERO
000008e4: PUSH2 0x08ec
000008e7: JUMPI
000008e8: PUSH1 0x00
000008ea: DUP1
000008eb: REVERT
000008ec: JUMPDEST
000008ed: POP
000008ee: PUSH2 0x0365
000008f1: PUSH2 0x08fb
000008f4: CALLDATASIZE
000008f5: PUSH1 0x04
000008f7: PUSH2 0x2d9b
000008fa: JUMP
000008fb: JUMPDEST
000008fc: PUSH2 0x15ae
000008ff: JUMP
00000900: JUMPDEST
00000901: CALLVALUE
00000902: DUP1
00000903: ISZERO
00000904: PUSH2 0x090c
00000907: JUMPI
00000908: PUSH1 0x00
0000090a: DUP1
0000090b: REVERT
0000090c: JUMPDEST
0000090d: POP
0000090e: PUSH2 0x0365
00000911: PUSH2 0x091b
00000914: CALLDATASIZE
00000915: PUSH1 0x04
00000917: PUSH2 0x2d80
0000091a: JUMP
0000091b: JUMPDEST
0000091c: PUSH2 0x15dd
0000091f: JUMP
00000920: JUMPDEST
00000921: CALLVALUE
00000922: DUP1
00000923: ISZERO
00000924: PUSH2 0x092c
00000927: JUMPI
00000928: PUSH1 0x00
0000092a: DUP1
0000092b: REVERT
0000092c: JUMPDEST
0000092d: POP
0000092e: PUSH2 0x0365
00000931: PUSH2 0x093b
00000934: CALLDATASIZE
00000935: PUSH1 0x04
00000937: PUSH2 0x2d9b
0000093a: JUMP
0000093b: JUMPDEST
0000093c: PUSH2 0x1654
0000093f: JUMP
00000940: JUMPDEST
00000941: CALLVALUE
00000942: DUP1
00000943: ISZERO
00000944: PUSH2 0x094c
00000947: JUMPI
00000948: PUSH1 0x00
0000094a: DUP1
0000094b: REVERT
0000094c: JUMPDEST
0000094d: POP
0000094e: PUSH2 0x03e8
00000951: PUSH2 0x095b
00000954: CALLDATASIZE
00000955: PUSH1 0x04
00000957: PUSH2 0x2ca5
0000095a: JUMP
0000095b: JUMPDEST
0000095c: PUSH1 0x01
0000095e: PUSH1 0x01
00000960: PUSH1 0xa0
00000962: SHL
00000963: SUB
00000964: SWAP2
00000965: DUP3
00000966: AND
00000967: PUSH1 0x00
00000969: SWAP1
0000096a: DUP2
0000096b: MSTORE
0000096c: PUSH1 0x05
0000096e: PUSH1 0x20
00000970: SWAP1
00000971: DUP2
00000972: MSTORE
00000973: PUSH1 0x40
00000975: DUP1
00000976: DUP4
00000977: KECCAK256
00000978: SWAP4
00000979: SWAP1
0000097a: SWAP5
0000097b: AND
0000097c: DUP3
0000097d: MSTORE
0000097e: SWAP2
0000097f: SWAP1
00000980: SWAP2
00000981: MSTORE
00000982: KECCAK256
00000983: SLOAD
00000984: SWAP1
00000985: JUMP
00000986: JUMPDEST
00000987: CALLVALUE
00000988: DUP1
00000989: ISZERO
0000098a: PUSH2 0x0992
0000098d: JUMPI
0000098e: PUSH1 0x00
00000990: DUP1
00000991: REVERT
00000992: JUMPDEST
00000993: POP
00000994: PUSH2 0x03e8
00000997: PUSH1 0x19
00000999: SLOAD
0000099a: DUP2
0000099b: JUMP
0000099c: JUMPDEST
0000099d: CALLVALUE
0000099e: DUP1
0000099f: ISZERO
000009a0: PUSH2 0x09a8
000009a3: JUMPI
000009a4: PUSH1 0x00
000009a6: DUP1
000009a7: REVERT
000009a8: JUMPDEST
000009a9: POP
000009aa: PUSH2 0x03e8
000009ad: PUSH1 0x1b
000009af: SLOAD
000009b0: DUP2
000009b1: JUMP
000009b2: JUMPDEST
000009b3: CALLVALUE
000009b4: DUP1
000009b5: ISZERO
000009b6: PUSH2 0x09be
000009b9: JUMPI
000009ba: PUSH1 0x00
000009bc: DUP1
000009bd: REVERT
000009be: JUMPDEST
000009bf: POP
000009c0: PUSH2 0x0365
000009c3: PUSH2 0x09cd
000009c6: CALLDATASIZE
000009c7: PUSH1 0x04
000009c9: PUSH2 0x2c6b
000009cc: JUMP
000009cd: JUMPDEST
000009ce: PUSH2 0x16d9
000009d1: JUMP
000009d2: JUMPDEST
000009d3: CALLVALUE
000009d4: DUP1
000009d5: ISZERO
000009d6: PUSH2 0x09de
000009d9: JUMPI
000009da: PUSH1 0x00
000009dc: DUP1
000009dd: REVERT
000009de: JUMPDEST
000009df: POP
000009e0: PUSH2 0x0365
000009e3: PUSH2 0x09ed
000009e6: CALLDATASIZE
000009e7: PUSH1 0x04
000009e9: PUSH2 0x2d9b
000009ec: JUMP
000009ed: JUMPDEST
000009ee: PUSH2 0x1724
000009f1: JUMP
000009f2: JUMPDEST
000009f3: CALLVALUE
000009f4: DUP1
000009f5: ISZERO
000009f6: PUSH2 0x09fe
000009f9: JUMPI
000009fa: PUSH1 0x00
000009fc: DUP1
000009fd: REVERT
000009fe: JUMPDEST
000009ff: POP
00000a00: PUSH2 0x0365
00000a03: PUSH2 0x0a0d
00000a06: CALLDATASIZE
00000a07: PUSH1 0x04
00000a09: PUSH2 0x2c6b
00000a0c: JUMP
00000a0d: JUMPDEST
00000a0e: PUSH2 0x17c7
00000a11: JUMP
00000a12: JUMPDEST
00000a13: PUSH1 0x00
00000a15: SLOAD
00000a16: PUSH1 0x01
00000a18: PUSH1 0x01
00000a1a: PUSH1 0xa0
00000a1c: SHL
00000a1d: SUB
00000a1e: AND
00000a1f: CALLER
00000a20: EQ
00000a21: PUSH2 0x0a45
00000a24: JUMPI
00000a25: PUSH1 0x40
00000a27: MLOAD
00000a28: PUSH3 0x461bcd
00000a2c: PUSH1 0xe5
00000a2e: SHL
00000a2f: DUP2
00000a30: MSTORE
00000a31: PUSH1 0x04
00000a33: ADD
00000a34: PUSH2 0x0a3c
00000a37: SWAP1
00000a38: PUSH2 0x2ed1
00000a3b: JUMP
00000a3c: JUMPDEST
00000a3d: PUSH1 0x40
00000a3f: MLOAD
00000a40: DUP1
00000a41: SWAP2
00000a42: SUB
00000a43: SWAP1
00000a44: REVERT
00000a45: JUMPDEST
00000a46: PUSH1 0x1c
00000a48: SSTORE
00000a49: JUMP
00000a4a: JUMPDEST
00000a4b: PUSH1 0x60
00000a4d: PUSH1 0x0d
00000a4f: DUP1
00000a50: SLOAD
00000a51: PUSH2 0x0a59
00000a54: SWAP1
00000a55: PUSH2 0x2fd3
00000a58: JUMP
00000a59: JUMPDEST
00000a5a: DUP1
00000a5b: PUSH1 0x1f
00000a5d: ADD
00000a5e: PUSH1 0x20
00000a60: DUP1
00000a61: SWAP2
00000a62: DIV
00000a63: MUL
00000a64: PUSH1 0x20
00000a66: ADD
00000a67: PUSH1 0x40
00000a69: MLOAD
00000a6a: SWAP1
00000a6b: DUP2
00000a6c: ADD
00000a6d: PUSH1 0x40
00000a6f: MSTORE
00000a70: DUP1
00000a71: SWAP3
00000a72: SWAP2
00000a73: SWAP1
00000a74: DUP2
00000a75: DUP2
00000a76: MSTORE
00000a77: PUSH1 0x20
00000a79: ADD
00000a7a: DUP3
00000a7b: DUP1
00000a7c: SLOAD
00000a7d: PUSH2 0x0a85
00000a80: SWAP1
00000a81: PUSH2 0x2fd3
00000a84: JUMP
00000a85: JUMPDEST
00000a86: DUP1
00000a87: ISZERO
00000a88: PUSH2 0x0ad2
00000a8b: JUMPI
00000a8c: DUP1
00000a8d: PUSH1 0x1f
00000a8f: LT
00000a90: PUSH2 0x0aa7
00000a93: JUMPI
00000a94: PUSH2 0x0100
00000a97: DUP1
00000a98: DUP4
00000a99: SLOAD
00000a9a: DIV
00000a9b: MUL
00000a9c: DUP4
00000a9d: MSTORE
00000a9e: SWAP2
00000a9f: PUSH1 0x20
00000aa1: ADD
00000aa2: SWAP2
00000aa3: PUSH2 0x0ad2
00000aa6: JUMP
00000aa7: JUMPDEST
00000aa8: DUP3
00000aa9: ADD
00000aaa: SWAP2
00000aab: SWAP1
00000aac: PUSH1 0x00
00000aae: MSTORE
00000aaf: PUSH1 0x20
00000ab1: PUSH1 0x00
00000ab3: KECCAK256
00000ab4: SWAP1
00000ab5: JUMPDEST
00000ab6: DUP2
00000ab7: SLOAD
00000ab8: DUP2
00000ab9: MSTORE
00000aba: SWAP1
00000abb: PUSH1 0x01
00000abd: ADD
00000abe: SWAP1
00000abf: PUSH1 0x20
00000ac1: ADD
00000ac2: DUP1
00000ac3: DUP4
00000ac4: GT
00000ac5: PUSH2 0x0ab5
00000ac8: JUMPI
00000ac9: DUP3
00000aca: SWAP1
00000acb: SUB
00000acc: PUSH1 0x1f
00000ace: AND
00000acf: DUP3
00000ad0: ADD
00000ad1: SWAP2
00000ad2: JUMPDEST
00000ad3: POP
00000ad4: POP
00000ad5: POP
00000ad6: POP
00000ad7: POP
00000ad8: SWAP1
00000ad9: POP
00000ada: SWAP1
00000adb: JUMP
00000adc: JUMPDEST
00000add: PUSH1 0x00
00000adf: SLOAD
00000ae0: PUSH1 0x01
00000ae2: PUSH1 0x01
00000ae4: PUSH1 0xa0
00000ae6: SHL
00000ae7: SUB
00000ae8: AND
00000ae9: CALLER
00000aea: EQ
00000aeb: PUSH2 0x0b06
00000aee: JUMPI
00000aef: PUSH1 0x40
00000af1: MLOAD
00000af2: PUSH3 0x461bcd
00000af6: PUSH1 0xe5
00000af8: SHL
00000af9: DUP2
00000afa: MSTORE
00000afb: PUSH1 0x04
00000afd: ADD
00000afe: PUSH2 0x0a3c
00000b01: SWAP1
00000b02: PUSH2 0x2ed1
00000b05: JUMP
00000b06: JUMPDEST
00000b07: PUSH2 0x0b10
00000b0a: PUSH1 0x01
00000b0c: PUSH2 0x15dd
00000b0f: JUMP
00000b10: JUMPDEST
00000b11: PUSH1 0x01
00000b13: PUSH1 0x10
00000b15: SSTORE
00000b16: PUSH1 0x02
00000b18: PUSH1 0x12
00000b1a: SSTORE
00000b1b: PUSH1 0x06
00000b1d: PUSH1 0x14
00000b1f: SSTORE
00000b20: PUSH7 0xb1a2bc2ec50000
00000b28: PUSH1 0x1a
00000b2a: DUP2
00000b2b: SWAP1
00000b2c: SSTORE
00000b2d: PUSH1 0x1b
00000b2f: SSTORE
00000b30: JUMP
00000b31: JUMPDEST
00000b32: PUSH1 0x00
00000b34: PUSH2 0x0b3e
00000b37: CALLER
00000b38: DUP5
00000b39: DUP5
00000b3a: PUSH2 0x189f
00000b3d: JUMP
00000b3e: JUMPDEST
00000b3f: POP
00000b40: PUSH1 0x01
00000b42: JUMPDEST
00000b43: SWAP3
00000b44: SWAP2
00000b45: POP
00000b46: POP
00000b47: JUMP
00000b48: JUMPDEST
00000b49: PUSH1 0x00
00000b4b: PUSH2 0x0b55
00000b4e: DUP5
00000b4f: DUP5
00000b50: DUP5
00000b51: PUSH2 0x19c3
00000b54: JUMP
00000b55: JUMPDEST
00000b56: PUSH2 0x0ba7
00000b59: DUP5
00000b5a: CALLER
00000b5b: PUSH2 0x0ba2
00000b5e: DUP6
00000b5f: PUSH1 0x40
00000b61: MLOAD
00000b62: DUP1
00000b63: PUSH1 0x60
00000b65: ADD
00000b66: PUSH1 0x40
00000b68: MSTORE
00000b69: DUP1
00000b6a: PUSH1 0x28
00000b6c: DUP2
00000b6d: MSTORE
00000b6e: PUSH1 0x20
00000b70: ADD
00000b71: PUSH2 0x3084
00000b74: PUSH1 0x28
00000b76: SWAP2
00000b77: CODECOPY
00000b78: PUSH1 0x01
00000b7a: PUSH1 0x01
00000b7c: PUSH1 0xa0
00000b7e: SHL
00000b7f: SUB
00000b80: DUP11
00000b81: AND
00000b82: PUSH1 0x00
00000b84: SWAP1
00000b85: DUP2
00000b86: MSTORE
00000b87: PUSH1 0x05
00000b89: PUSH1 0x20
00000b8b: SWAP1
00000b8c: DUP2
00000b8d: MSTORE
00000b8e: PUSH1 0x40
00000b90: DUP1
00000b91: DUP4
00000b92: KECCAK256
00000b93: CALLER
00000b94: DUP5
00000b95: MSTORE
00000b96: SWAP1
00000b97: SWAP2
00000b98: MSTORE
00000b99: SWAP1
00000b9a: KECCAK256
00000b9b: SLOAD
00000b9c: SWAP2
00000b9d: SWAP1
00000b9e: PUSH2 0x1cac
00000ba1: JUMP
00000ba2: JUMPDEST
00000ba3: PUSH2 0x189f
00000ba6: JUMP
00000ba7: JUMPDEST
00000ba8: POP
00000ba9: PUSH1 0x01
00000bab: SWAP4
00000bac: SWAP3
00000bad: POP
00000bae: POP
00000baf: POP
00000bb0: JUMP
00000bb1: JUMPDEST
00000bb2: PUSH1 0x00
00000bb4: SLOAD
00000bb5: PUSH1 0x01
00000bb7: PUSH1 0x01
00000bb9: PUSH1 0xa0
00000bbb: SHL
00000bbc: SUB
00000bbd: AND
00000bbe: CALLER
00000bbf: EQ
00000bc0: PUSH2 0x0bdb
00000bc3: JUMPI
00000bc4: PUSH1 0x40
00000bc6: MLOAD
00000bc7: PUSH3 0x461bcd
00000bcb: PUSH1 0xe5
00000bcd: SHL
00000bce: DUP2
00000bcf: MSTORE
00000bd0: PUSH1 0x04
00000bd2: ADD
00000bd3: PUSH2 0x0a3c
00000bd6: SWAP1
00000bd7: PUSH2 0x2ed1
00000bda: JUMP
00000bdb: JUMPDEST
00000bdc: PUSH1 0x1e
00000bde: DUP1
00000bdf: SLOAD
00000be0: PUSH1 0xff
00000be2: NOT
00000be3: AND
00000be4: DUP3
00000be5: ISZERO
00000be6: ISZERO
00000be7: SWAP1
00000be8: DUP2
00000be9: OR
00000bea: SWAP1
00000beb: SWAP2
00000bec: SSTORE
00000bed: PUSH1 0x40
00000bef: MLOAD
00000bf0: SWAP1
00000bf1: DUP2
00000bf2: MSTORE
00000bf3: PUSH32 0x3794234fa370c9f3b948dda3e3040530785b2ef1eb27dda3ffde478f4e2643c0
00000c14: SWAP1
00000c15: PUSH1 0x20
00000c17: ADD
00000c18: JUMPDEST
00000c19: PUSH1 0x40
00000c1b: MLOAD
00000c1c: DUP1
00000c1d: SWAP2
00000c1e: SUB
00000c1f: SWAP1
00000c20: LOG1
00000c21: POP
00000c22: JUMP
00000c23: JUMPDEST
00000c24: PUSH1 0x00
00000c26: PUSH1 0x0b
00000c28: SLOAD
00000c29: DUP3
00000c2a: GT
00000c2b: ISZERO
00000c2c: PUSH2 0x0c8a
00000c2f: JUMPI
00000c30: PUSH1 0x40
00000c32: MLOAD
00000c33: PUSH3 0x461bcd
00000c37: PUSH1 0xe5
00000c39: SHL
00000c3a: DUP2
00000c3b: MSTORE
00000c3c: PUSH1 0x20
00000c3e: PUSH1 0x04
00000c40: DUP3
00000c41: ADD
00000c42: MSTORE
00000c43: PUSH1 0x2a
00000c45: PUSH1 0x24
00000c47: DUP3
00000c48: ADD
00000c49: MSTORE
00000c4a: PUSH32 0x416d6f756e74206d757374206265206c657373207468616e20746f74616c2072
00000c6b: PUSH1 0x44
00000c6d: DUP3
00000c6e: ADD
00000c6f: MSTORE
00000c70: PUSH10 0x65666c656374696f6e73
00000c7b: PUSH1 0xb0
00000c7d: SHL
00000c7e: PUSH1 0x64
00000c80: DUP3
00000c81: ADD
00000c82: MSTORE
00000c83: PUSH1 0x84
00000c85: ADD
00000c86: PUSH2 0x0a3c
00000c89: JUMP
00000c8a: JUMPDEST
00000c8b: PUSH1 0x00
00000c8d: PUSH2 0x0c94
00000c90: PUSH2 0x1ce6
00000c93: JUMP
00000c94: JUMPDEST
00000c95: SWAP1
00000c96: POP
00000c97: PUSH2 0x0ca0
00000c9a: DUP4
00000c9b: DUP3
00000c9c: PUSH2 0x1d09
00000c9f: JUMP
00000ca0: JUMPDEST
00000ca1: SWAP4
00000ca2: SWAP3
00000ca3: POP
00000ca4: POP
00000ca5: POP
00000ca6: JUMP
00000ca7: JUMPDEST
00000ca8: PUSH1 0x00
00000caa: SLOAD
00000cab: PUSH1 0x01
00000cad: PUSH1 0x01
00000caf: PUSH1 0xa0
00000cb1: SHL
00000cb2: SUB
00000cb3: AND
00000cb4: CALLER
00000cb5: EQ
00000cb6: PUSH2 0x0cd1
00000cb9: JUMPI
00000cba: PUSH1 0x40
00000cbc: MLOAD
00000cbd: PUSH3 0x461bcd
00000cc1: PUSH1 0xe5
00000cc3: SHL
00000cc4: DUP2
00000cc5: MSTORE
00000cc6: PUSH1 0x04
00000cc8: ADD
00000cc9: PUSH2 0x0a3c
00000ccc: SWAP1
00000ccd: PUSH2 0x2ed1
00000cd0: JUMP
00000cd1: JUMPDEST
00000cd2: PUSH1 0x01
00000cd4: PUSH1 0x01
00000cd6: PUSH1 0xa0
00000cd8: SHL
00000cd9: SUB
00000cda: DUP2
00000cdb: AND
00000cdc: PUSH1 0x00
00000cde: SWAP1
00000cdf: DUP2
00000ce0: MSTORE
00000ce1: PUSH1 0x08
00000ce3: PUSH1 0x20
00000ce5: MSTORE
00000ce6: PUSH1 0x40
00000ce8: SWAP1
00000ce9: KECCAK256
00000cea: SLOAD
00000ceb: PUSH1 0xff
00000ced: AND
00000cee: PUSH2 0x0d39
00000cf1: JUMPI
00000cf2: PUSH1 0x40
00000cf4: MLOAD
00000cf5: PUSH3 0x461bcd
00000cf9: PUSH1 0xe5
00000cfb: SHL
00000cfc: DUP2
00000cfd: MSTORE
00000cfe: PUSH1 0x20
00000d00: PUSH1 0x04
00000d02: DUP3
00000d03: ADD
00000d04: MSTORE
00000d05: PUSH1 0x1b
00000d07: PUSH1 0x24
00000d09: DUP3
00000d0a: ADD
00000d0b: MSTORE
00000d0c: PUSH32 0x4163636f756e7420697320616c7265616479206578636c756465640000000000
00000d2d: PUSH1 0x44
00000d2f: DUP3
00000d30: ADD
00000d31: MSTORE
00000d32: PUSH1 0x64
00000d34: ADD
00000d35: PUSH2 0x0a3c
00000d38: JUMP
00000d39: JUMPDEST
00000d3a: PUSH1 0x00
00000d3c: JUMPDEST
00000d3d: PUSH1 0x09
00000d3f: SLOAD
00000d40: DUP2
00000d41: LT
00000d42: ISZERO
00000d43: PUSH2 0x0e5a
00000d46: JUMPI
00000d47: DUP2
00000d48: PUSH1 0x01
00000d4a: PUSH1 0x01
00000d4c: PUSH1 0xa0
00000d4e: SHL
00000d4f: SUB
00000d50: AND
00000d51: PUSH1 0x09
00000d53: DUP3
00000d54: DUP2
00000d55: SLOAD
00000d56: DUP2
00000d57: LT
00000d58: PUSH2 0x0d63
00000d5b: JUMPI
00000d5c: PUSH2 0x0d63
00000d5f: PUSH2 0x3055
00000d62: JUMP
00000d63: JUMPDEST
00000d64: PUSH1 0x00
00000d66: SWAP2
00000d67: DUP3
00000d68: MSTORE
00000d69: PUSH1 0x20
00000d6b: SWAP1
00000d6c: SWAP2
00000d6d: KECCAK256
00000d6e: ADD
00000d6f: SLOAD
00000d70: PUSH1 0x01
00000d72: PUSH1 0x01
00000d74: PUSH1 0xa0
00000d76: SHL
00000d77: SUB
00000d78: AND
00000d79: EQ
00000d7a: ISZERO
00000d7b: PUSH2 0x0e48
00000d7e: JUMPI
00000d7f: PUSH1 0x09
00000d81: DUP1
00000d82: SLOAD
00000d83: PUSH2 0x0d8e
00000d86: SWAP1
00000d87: PUSH1 0x01
00000d89: SWAP1
00000d8a: PUSH2 0x2fbc
00000d8d: JUMP
00000d8e: JUMPDEST
00000d8f: DUP2
00000d90: SLOAD
00000d91: DUP2
00000d92: LT
00000d93: PUSH2 0x0d9e
00000d96: JUMPI
00000d97: PUSH2 0x0d9e
00000d9a: PUSH2 0x3055
00000d9d: JUMP
00000d9e: JUMPDEST
00000d9f: PUSH1 0x00
00000da1: SWAP2
00000da2: DUP3
00000da3: MSTORE
00000da4: PUSH1 0x20
00000da6: SWAP1
00000da7: SWAP2
00000da8: KECCAK256
00000da9: ADD
00000daa: SLOAD
00000dab: PUSH1 0x09
00000dad: DUP1
00000dae: SLOAD
00000daf: PUSH1 0x01
00000db1: PUSH1 0x01
00000db3: PUSH1 0xa0
00000db5: SHL
00000db6: SUB
00000db7: SWAP1
00000db8: SWAP3
00000db9: AND
00000dba: SWAP2
00000dbb: DUP4
00000dbc: SWAP1
00000dbd: DUP2
00000dbe: LT
00000dbf: PUSH2 0x0dca
00000dc2: JUMPI
00000dc3: PUSH2 0x0dca
00000dc6: PUSH2 0x3055
00000dc9: JUMP
00000dca: JUMPDEST
00000dcb: PUSH1 0x00
00000dcd: SWAP2
00000dce: DUP3
00000dcf: MSTORE
00000dd0: PUSH1 0x20
00000dd2: DUP1
00000dd3: DUP4
00000dd4: KECCAK256
00000dd5: SWAP2
00000dd6: SWAP1
00000dd7: SWAP2
00000dd8: ADD
00000dd9: DUP1
00000dda: SLOAD
00000ddb: PUSH1 0x01
00000ddd: PUSH1 0x01
00000ddf: PUSH1 0xa0
00000de1: SHL
00000de2: SUB
00000de3: NOT
00000de4: AND
00000de5: PUSH1 0x01
00000de7: PUSH1 0x01
00000de9: PUSH1 0xa0
00000deb: SHL
00000dec: SUB
00000ded: SWAP5
00000dee: DUP6
00000def: AND
00000df0: OR
00000df1: SWAP1
00000df2: SSTORE
00000df3: SWAP2
00000df4: DUP5
00000df5: AND
00000df6: DUP2
00000df7: MSTORE
00000df8: PUSH1 0x04
00000dfa: DUP3
00000dfb: MSTORE
00000dfc: PUSH1 0x40
00000dfe: DUP1
00000dff: DUP3
00000e00: KECCAK256
00000e01: DUP3
00000e02: SWAP1
00000e03: SSTORE
00000e04: PUSH1 0x08
00000e06: SWAP1
00000e07: SWAP3
00000e08: MSTORE
00000e09: KECCAK256
00000e0a: DUP1
00000e0b: SLOAD
00000e0c: PUSH1 0xff
00000e0e: NOT
00000e0f: AND
00000e10: SWAP1
00000e11: SSTORE
00000e12: PUSH1 0x09
00000e14: DUP1
00000e15: SLOAD
00000e16: DUP1
00000e17: PUSH2 0x0e22
00000e1a: JUMPI
00000e1b: PUSH2 0x0e22
00000e1e: PUSH2 0x303f
00000e21: JUMP
00000e22: JUMPDEST
00000e23: PUSH1 0x00
00000e25: DUP3
00000e26: DUP2
00000e27: MSTORE
00000e28: PUSH1 0x20
00000e2a: SWAP1
00000e2b: KECCAK256
00000e2c: DUP2
00000e2d: ADD
00000e2e: PUSH1 0x00
00000e30: NOT
00000e31: SWAP1
00000e32: DUP2
00000e33: ADD
00000e34: DUP1
00000e35: SLOAD
00000e36: PUSH1 0x01
00000e38: PUSH1 0x01
00000e3a: PUSH1 0xa0
00000e3c: SHL
00000e3d: SUB
00000e3e: NOT
00000e3f: AND
00000e40: SWAP1
00000e41: SSTORE
00000e42: ADD
00000e43: SWAP1
00000e44: SSTORE
00000e45: POP
00000e46: POP
00000e47: JUMP
00000e48: JUMPDEST
00000e49: DUP1
00000e4a: PUSH2 0x0e52
00000e4d: DUP2
00000e4e: PUSH2 0x300e
00000e51: JUMP
00000e52: JUMPDEST
00000e53: SWAP2
00000e54: POP
00000e55: POP
00000e56: PUSH2 0x0d3c
00000e59: JUMP
00000e5a: JUMPDEST
00000e5b: POP
00000e5c: POP
00000e5d: JUMP
00000e5e: JUMPDEST
00000e5f: CALLER
00000e60: PUSH1 0x00
00000e62: DUP2
00000e63: DUP2
00000e64: MSTORE
00000e65: PUSH1 0x05
00000e67: PUSH1 0x20
00000e69: SWAP1
00000e6a: DUP2
00000e6b: MSTORE
00000e6c: PUSH1 0x40
00000e6e: DUP1
00000e6f: DUP4
00000e70: KECCAK256
00000e71: PUSH1 0x01
00000e73: PUSH1 0x01
00000e75: PUSH1 0xa0
00000e77: SHL
00000e78: SUB
00000e79: DUP8
00000e7a: AND
00000e7b: DUP5
00000e7c: MSTORE
00000e7d: SWAP1
00000e7e: SWAP2
00000e7f: MSTORE
00000e80: DUP2
00000e81: KECCAK256
00000e82: SLOAD
00000e83: SWAP1
00000e84: SWAP2
00000e85: PUSH2 0x0b3e
00000e88: SWAP2
00000e89: DUP6
00000e8a: SWAP1
00000e8b: PUSH2 0x0ba2
00000e8e: SWAP1
00000e8f: DUP7
00000e90: PUSH2 0x1d4b
00000e93: JUMP
00000e94: JUMPDEST
00000e95: CALLER
00000e96: PUSH1 0x00
00000e98: DUP2
00000e99: DUP2
00000e9a: MSTORE
00000e9b: PUSH1 0x08
00000e9d: PUSH1 0x20
00000e9f: MSTORE
00000ea0: PUSH1 0x40
00000ea2: SWAP1
00000ea3: KECCAK256
00000ea4: SLOAD
00000ea5: PUSH1 0xff
00000ea7: AND
00000ea8: ISZERO
00000ea9: PUSH2 0x0f09
00000eac: JUMPI
00000ead: PUSH1 0x40
00000eaf: MLOAD
00000eb0: PUSH3 0x461bcd
00000eb4: PUSH1 0xe5
00000eb6: SHL
00000eb7: DUP2
00000eb8: MSTORE
00000eb9: PUSH1 0x20
00000ebb: PUSH1 0x04
00000ebd: DUP3
00000ebe: ADD
00000ebf: MSTORE
00000ec0: PUSH1 0x2c
00000ec2: PUSH1 0x24
00000ec4: DUP3
00000ec5: ADD
00000ec6: MSTORE
00000ec7: PUSH32 0x4578636c75646564206164647265737365732063616e6e6f742063616c6c2074
00000ee8: PUSH1 0x44
00000eea: DUP3
00000eeb: ADD
00000eec: MSTORE
00000eed: PUSH12 0x3434b990333ab731ba34b7b7
00000efa: PUSH1 0xa1
00000efc: SHL
00000efd: PUSH1 0x64
00000eff: DUP3
00000f00: ADD
00000f01: MSTORE
00000f02: PUSH1 0x84
00000f04: ADD
00000f05: PUSH2 0x0a3c
00000f08: JUMP
00000f09: JUMPDEST
00000f0a: PUSH1 0x00
00000f0c: PUSH2 0x0f14
00000f0f: DUP4
00000f10: PUSH2 0x1daa
00000f13: JUMP
00000f14: JUMPDEST
00000f15: POP
00000f16: POP
00000f17: POP
00000f18: POP
00000f19: PUSH1 0x01
00000f1b: PUSH1 0x01
00000f1d: PUSH1 0xa0
00000f1f: SHL
00000f20: SUB
00000f21: DUP5
00000f22: AND
00000f23: PUSH1 0x00
00000f25: SWAP1
00000f26: DUP2
00000f27: MSTORE
00000f28: PUSH1 0x03
00000f2a: PUSH1 0x20
00000f2c: MSTORE
00000f2d: PUSH1 0x40
00000f2f: SWAP1
00000f30: KECCAK256
00000f31: SLOAD
00000f32: SWAP2
00000f33: SWAP3
00000f34: POP
00000f35: PUSH2 0x0f40
00000f38: SWAP2
00000f39: SWAP1
00000f3a: POP
00000f3b: DUP3
00000f3c: PUSH2 0x1df9
00000f3f: JUMP
00000f40: JUMPDEST
00000f41: PUSH1 0x01
00000f43: PUSH1 0x01
00000f45: PUSH1 0xa0
00000f47: SHL
00000f48: SUB
00000f49: DUP4
00000f4a: AND
00000f4b: PUSH1 0x00
00000f4d: SWAP1
00000f4e: DUP2
00000f4f: MSTORE
00000f50: PUSH1 0x03
00000f52: PUSH1 0x20
00000f54: MSTORE
00000f55: PUSH1 0x40
00000f57: SWAP1
00000f58: KECCAK256
00000f59: SSTORE
00000f5a: PUSH1 0x0b
00000f5c: SLOAD
00000f5d: PUSH2 0x0f66
00000f60: SWAP1
00000f61: DUP3
00000f62: PUSH2 0x1df9
00000f65: JUMP
00000f66: JUMPDEST
00000f67: PUSH1 0x0b
00000f69: SSTORE
00000f6a: PUSH1 0x0c
00000f6c: SLOAD
00000f6d: PUSH2 0x0f76
00000f70: SWAP1
00000f71: DUP5
00000f72: PUSH2 0x1d4b
00000f75: JUMP
00000f76: JUMPDEST
00000f77: PUSH1 0x0c
00000f79: SSTORE
00000f7a: POP
00000f7b: POP
00000f7c: POP
00000f7d: JUMP
00000f7e: JUMPDEST
00000f7f: PUSH1 0x00
00000f81: SLOAD
00000f82: PUSH1 0x01
00000f84: PUSH1 0x01
00000f86: PUSH1 0xa0
00000f88: SHL
00000f89: SUB
00000f8a: AND
00000f8b: CALLER
00000f8c: EQ
00000f8d: PUSH2 0x0fa8
00000f90: JUMPI
00000f91: PUSH1 0x40
00000f93: MLOAD
00000f94: PUSH3 0x461bcd
00000f98: PUSH1 0xe5
00000f9a: SHL
00000f9b: DUP2
00000f9c: MSTORE
00000f9d: PUSH1 0x04
00000f9f: ADD
00000fa0: PUSH2 0x0a3c
00000fa3: SWAP1
00000fa4: PUSH2 0x2ed1
00000fa7: JUMP
00000fa8: JUMPDEST
00000fa9: PUSH1 0x01
00000fab: PUSH1 0x01
00000fad: PUSH1 0xa0
00000faf: SHL
00000fb0: SUB
00000fb1: AND
00000fb2: PUSH1 0x00
00000fb4: SWAP1
00000fb5: DUP2
00000fb6: MSTORE
00000fb7: PUSH1 0x06
00000fb9: PUSH1 0x20
00000fbb: MSTORE
00000fbc: PUSH1 0x40
00000fbe: SWAP1
00000fbf: KECCAK256
00000fc0: DUP1
00000fc1: SLOAD
00000fc2: PUSH1 0xff
00000fc4: NOT
00000fc5: AND
00000fc6: PUSH1 0x01
00000fc8: OR
00000fc9: SWAP1
00000fca: SSTORE
00000fcb: JUMP
00000fcc: JUMPDEST
00000fcd: PUSH1 0x00
00000fcf: PUSH1 0x0a
00000fd1: SLOAD
00000fd2: DUP4
00000fd3: GT
00000fd4: ISZERO
00000fd5: PUSH2 0x1020
00000fd8: JUMPI
00000fd9: PUSH1 0x40
00000fdb: MLOAD
00000fdc: PUSH3 0x461bcd
00000fe0: PUSH1 0xe5
00000fe2: SHL
00000fe3: DUP2
00000fe4: MSTORE
00000fe5: PUSH1 0x20
00000fe7: PUSH1 0x04
00000fe9: DUP3
00000fea: ADD
00000feb: MSTORE
00000fec: PUSH1 0x1f
00000fee: PUSH1 0x24
00000ff0: DUP3
00000ff1: ADD
00000ff2: MSTORE
00000ff3: PUSH32 0x416d6f756e74206d757374206265206c657373207468616e20737570706c7900
00001014: PUSH1 0x44
00001016: DUP3
00001017: ADD
00001018: MSTORE
00001019: PUSH1 0x64
0000101b: ADD
0000101c: PUSH2 0x0a3c
0000101f: JUMP
00001020: JUMPDEST
00001021: DUP2
00001022: PUSH2 0x103f
00001025: JUMPI
00001026: PUSH1 0x00
00001028: PUSH2 0x1030
0000102b: DUP5
0000102c: PUSH2 0x1daa
0000102f: JUMP
00001030: JUMPDEST
00001031: POP
00001032: SWAP4
00001033: SWAP6
00001034: POP
00001035: PUSH2 0x0b42
00001038: SWAP5
00001039: POP
0000103a: POP
0000103b: POP
0000103c: POP
0000103d: POP
0000103e: JUMP
0000103f: JUMPDEST
00001040: PUSH1 0x00
00001042: PUSH2 0x104a
00001045: DUP5
00001046: PUSH2 0x1daa
00001049: JUMP
0000104a: JUMPDEST
0000104b: POP
0000104c: SWAP3
0000104d: SWAP6
0000104e: POP
0000104f: PUSH2 0x0b42
00001052: SWAP5
00001053: POP
00001054: POP
00001055: POP
00001056: POP
00001057: POP
00001058: JUMP
00001059: JUMPDEST
0000105a: PUSH1 0x00
0000105c: SLOAD
0000105d: PUSH1 0x01
0000105f: PUSH1 0x01
00001061: PUSH1 0xa0
00001063: SHL
00001064: SUB
00001065: AND
00001066: CALLER
00001067: EQ
00001068: PUSH2 0x1083
0000106b: JUMPI
0000106c: PUSH1 0x40
0000106e: MLOAD
0000106f: PUSH3 0x461bcd
00001073: PUSH1 0xe5
00001075: SHL
00001076: DUP2
00001077: MSTORE
00001078: PUSH1 0x04
0000107a: ADD
0000107b: PUSH2 0x0a3c
0000107e: SWAP1
0000107f: PUSH2 0x2ed1
00001082: JUMP
00001083: JUMPDEST
00001084: PUSH1 0x01
00001086: PUSH1 0x01
00001088: PUSH1 0xa0
0000108a: SHL
0000108b: SUB
0000108c: SWAP2
0000108d: SWAP1
0000108e: SWAP2
0000108f: AND
00001090: PUSH1 0x00
00001092: SWAP1
00001093: DUP2
00001094: MSTORE
00001095: PUSH1 0x07
00001097: PUSH1 0x20
00001099: MSTORE
0000109a: PUSH1 0x40
0000109c: SWAP1
0000109d: KECCAK256
0000109e: DUP1
0000109f: SLOAD
000010a0: PUSH1 0xff
000010a2: NOT
000010a3: AND
000010a4: SWAP2
000010a5: ISZERO
000010a6: ISZERO
000010a7: SWAP2
000010a8: SWAP1
000010a9: SWAP2
000010aa: OR
000010ab: SWAP1
000010ac: SSTORE
000010ad: JUMP
000010ae: JUMPDEST
000010af: PUSH1 0x00
000010b1: SLOAD
000010b2: PUSH1 0x01
000010b4: PUSH1 0x01
000010b6: PUSH1 0xa0
000010b8: SHL
000010b9: SUB
000010ba: AND
000010bb: CALLER
000010bc: EQ
000010bd: PUSH2 0x10d8
000010c0: JUMPI
000010c1: PUSH1 0x40
000010c3: MLOAD
000010c4: PUSH3 0x461bcd
000010c8: PUSH1 0xe5
000010ca: SHL
000010cb: DUP2
000010cc: MSTORE
000010cd: PUSH1 0x04
000010cf: ADD
000010d0: PUSH2 0x0a3c
000010d3: SWAP1
000010d4: PUSH2 0x2ed1
000010d7: JUMP
000010d8: JUMPDEST
000010d9: PUSH2 0x10e2
000010dc: PUSH1 0x00
000010de: PUSH2 0x15dd
000010e1: JUMP
000010e2: JUMPDEST
000010e3: PUSH1 0x00
000010e5: PUSH1 0x10
000010e7: DUP2
000010e8: SWAP1
000010e9: SSTORE
000010ea: PUSH1 0x12
000010ec: DUP2
000010ed: SWAP1
000010ee: SSTORE
000010ef: PUSH1 0x14
000010f1: SSTORE
000010f2: PUSH8 0x4563918244f40000
000010fb: PUSH1 0x1a
000010fd: DUP2
000010fe: SWAP1
000010ff: SSTORE
00001100: PUSH1 0x1b
00001102: SSTORE
00001103: JUMP
00001104: JUMPDEST
00001105: PUSH1 0x00
00001107: SLOAD
00001108: PUSH1 0x01
0000110a: PUSH1 0x01
0000110c: PUSH1 0xa0
0000110e: SHL
0000110f: SUB
00001110: AND
00001111: CALLER
00001112: EQ
00001113: PUSH2 0x112e
00001116: JUMPI
00001117: PUSH1 0x40
00001119: MLOAD
0000111a: PUSH3 0x461bcd
0000111e: PUSH1 0xe5
00001120: SHL
00001121: DUP2
00001122: MSTORE
00001123: PUSH1 0x04
00001125: ADD
00001126: PUSH2 0x0a3c
00001129: SWAP1
0000112a: PUSH2 0x2ed1
0000112d: JUMP
0000112e: JUMPDEST
0000112f: PUSH1 0x01
00001131: PUSH1 0x01
00001133: PUSH1 0xa0
00001135: SHL
00001136: SUB
00001137: DUP2
00001138: AND
00001139: PUSH1 0x00
0000113b: SWAP1
0000113c: DUP2
0000113d: MSTORE
0000113e: PUSH1 0x08
00001140: PUSH1 0x20
00001142: MSTORE
00001143: PUSH1 0x40
00001145: SWAP1
00001146: KECCAK256
00001147: SLOAD
00001148: PUSH1 0xff
0000114a: AND
0000114b: ISZERO
0000114c: PUSH2 0x1197
0000114f: JUMPI
00001150: PUSH1 0x40
00001152: MLOAD
00001153: PUSH3 0x461bcd
00001157: PUSH1 0xe5
00001159: SHL
0000115a: DUP2
0000115b: MSTORE
0000115c: PUSH1 0x20
0000115e: PUSH1 0x04
00001160: DUP3
00001161: ADD
00001162: MSTORE
00001163: PUSH1 0x1b
00001165: PUSH1 0x24
00001167: DUP3
00001168: ADD
00001169: MSTORE
0000116a: PUSH32 0x4163636f756e7420697320616c7265616479206578636c756465640000000000
0000118b: PUSH1 0x44
0000118d: DUP3
0000118e: ADD
0000118f: MSTORE
00001190: PUSH1 0x64
00001192: ADD
00001193: PUSH2 0x0a3c
00001196: JUMP
00001197: JUMPDEST
00001198: PUSH1 0x01
0000119a: PUSH1 0x01
0000119c: PUSH1 0xa0
0000119e: SHL
0000119f: SUB
000011a0: DUP2
000011a1: AND
000011a2: PUSH1 0x00
000011a4: SWAP1
000011a5: DUP2
000011a6: MSTORE
000011a7: PUSH1 0x03
000011a9: PUSH1 0x20
000011ab: MSTORE
000011ac: PUSH1 0x40
000011ae: SWAP1
000011af: KECCAK256
000011b0: SLOAD
000011b1: ISZERO
000011b2: PUSH2 0x11f1
000011b5: JUMPI
000011b6: PUSH1 0x01
000011b8: PUSH1 0x01
000011ba: PUSH1 0xa0
000011bc: SHL
000011bd: SUB
000011be: DUP2
000011bf: AND
000011c0: PUSH1 0x00
000011c2: SWAP1
000011c3: DUP2
000011c4: MSTORE
000011c5: PUSH1 0x03
000011c7: PUSH1 0x20
000011c9: MSTORE
000011ca: PUSH1 0x40
000011cc: SWAP1
000011cd: KECCAK256
000011ce: SLOAD
000011cf: PUSH2 0x11d7
000011d2: SWAP1
000011d3: PUSH2 0x0c23
000011d6: JUMP
000011d7: JUMPDEST
000011d8: PUSH1 0x01
000011da: PUSH1 0x01
000011dc: PUSH1 0xa0
000011de: SHL
000011df: SUB
000011e0: DUP3
000011e1: AND
000011e2: PUSH1 0x00
000011e4: SWAP1
000011e5: DUP2
000011e6: MSTORE
000011e7: PUSH1 0x04
000011e9: PUSH1 0x20
000011eb: MSTORE
000011ec: PUSH1 0x40
000011ee: SWAP1
000011ef: KECCAK256
000011f0: SSTORE
000011f1: JUMPDEST
000011f2: PUSH1 0x01
000011f4: PUSH1 0x01
000011f6: PUSH1 0xa0
000011f8: SHL
000011f9: SUB
000011fa: AND
000011fb: PUSH1 0x00
000011fd: DUP2
000011fe: DUP2
000011ff: MSTORE
00001200: PUSH1 0x08
00001202: PUSH1 0x20
00001204: MSTORE
00001205: PUSH1 0x40
00001207: DUP2
00001208: KECCAK256
00001209: DUP1
0000120a: SLOAD
0000120b: PUSH1 0xff
0000120d: NOT
0000120e: AND
0000120f: PUSH1 0x01
00001211: SWAP1
00001212: DUP2
00001213: OR
00001214: SWAP1
00001215: SWAP2
00001216: SSTORE
00001217: PUSH1 0x09
00001219: DUP1
0000121a: SLOAD
0000121b: SWAP2
0000121c: DUP3
0000121d: ADD
0000121e: DUP2
0000121f: SSTORE
00001220: SWAP1
00001221: SWAP2
00001222: MSTORE
00001223: PUSH32 0x6e1540171b6c0c960b71a7020d9f60077f6af931a8bbf590da0223dacf75c7af
00001244: ADD
00001245: DUP1
00001246: SLOAD
00001247: PUSH1 0x01
00001249: PUSH1 0x01
0000124b: PUSH1 0xa0
0000124d: SHL
0000124e: SUB
0000124f: NOT
00001250: AND
00001251: SWAP1
00001252: SWAP2
00001253: OR
00001254: SWAP1
00001255: SSTORE
00001256: JUMP
00001257: JUMPDEST
00001258: PUSH1 0x00
0000125a: SLOAD
0000125b: PUSH1 0x01
0000125d: PUSH1 0x01
0000125f: PUSH1 0xa0
00001261: SHL
00001262: SUB
00001263: AND
00001264: CALLER
00001265: EQ
00001266: PUSH2 0x1281
00001269: JUMPI
0000126a: PUSH1 0x40
0000126c: MLOAD
0000126d: PUSH3 0x461bcd
00001271: PUSH1 0xe5
00001273: SHL
00001274: DUP2
00001275: MSTORE
00001276: PUSH1 0x04
00001278: ADD
00001279: PUSH2 0x0a3c
0000127c: SWAP1
0000127d: PUSH2 0x2ed1
00001280: JUMP
00001281: JUMPDEST
00001282: PUSH1 0x16
00001284: DUP1
00001285: SLOAD
00001286: PUSH1 0x01
00001288: PUSH1 0x01
0000128a: PUSH1 0xa0
0000128c: SHL
0000128d: SUB
0000128e: NOT
0000128f: AND
00001290: PUSH1 0x01
00001292: PUSH1 0x01
00001294: PUSH1 0xa0
00001296: SHL
00001297: SUB
00001298: SWAP3
00001299: SWAP1
0000129a: SWAP3
0000129b: AND
0000129c: SWAP2
0000129d: SWAP1
0000129e: SWAP2
0000129f: OR
000012a0: SWAP1
000012a1: SSTORE
000012a2: JUMP
000012a3: JUMPDEST
000012a4: PUSH1 0x00
000012a6: SLOAD
000012a7: PUSH1 0x01
000012a9: PUSH1 0x01
000012ab: PUSH1 0xa0
000012ad: SHL
000012ae: SUB
000012af: AND
000012b0: CALLER
000012b1: EQ
000012b2: PUSH2 0x12cd
000012b5: JUMPI
000012b6: PUSH1 0x40
000012b8: MLOAD
000012b9: PUSH3 0x461bcd
000012bd: PUSH1 0xe5
000012bf: SHL
000012c0: DUP2
000012c1: MSTORE
000012c2: PUSH1 0x04
000012c4: ADD
000012c5: PUSH2 0x0a3c
000012c8: SWAP1
000012c9: PUSH2 0x2ed1
000012cc: JUMP
000012cd: JUMPDEST
000012ce: PUSH1 0x00
000012d0: DUP4
000012d1: GT
000012d2: DUP1
000012d3: ISZERO
000012d4: PUSH2 0x12dd
000012d7: JUMPI
000012d8: POP
000012d9: PUSH1 0x00
000012db: DUP3
000012dc: GT
000012dd: JUMPDEST
000012de: DUP1
000012df: ISZERO
000012e0: PUSH2 0x12e9
000012e3: JUMPI
000012e4: POP
000012e5: PUSH1 0x00
000012e7: DUP2
000012e8: GT
000012e9: JUMPDEST
000012ea: PUSH2 0x12f2
000012ed: JUMPI
000012ee: PUSH1 0x00
000012f0: DUP1
000012f1: REVERT
000012f2: JUMPDEST
000012f3: PUSH1 0x10
000012f5: SWAP3
000012f6: SWAP1
000012f7: SWAP3
000012f8: SSTORE
000012f9: PUSH1 0x12
000012fb: SSTORE
000012fc: PUSH1 0x14
000012fe: SSTORE
000012ff: JUMP
00001300: JUMPDEST
00001301: PUSH1 0x01
00001303: PUSH1 0x01
00001305: PUSH1 0xa0
00001307: SHL
00001308: SUB
00001309: DUP2
0000130a: AND
0000130b: PUSH1 0x00
0000130d: SWAP1
0000130e: DUP2
0000130f: MSTORE
00001310: PUSH1 0x08
00001312: PUSH1 0x20
00001314: MSTORE
00001315: PUSH1 0x40
00001317: DUP2
00001318: KECCAK256
00001319: SLOAD
0000131a: PUSH1 0xff
0000131c: AND
0000131d: ISZERO
0000131e: PUSH2 0x133d
00001321: JUMPI
00001322: POP
00001323: PUSH1 0x01
00001325: PUSH1 0x01
00001327: PUSH1 0xa0
00001329: SHL
0000132a: SUB
0000132b: AND
0000132c: PUSH1 0x00
0000132e: SWAP1
0000132f: DUP2
00001330: MSTORE
00001331: PUSH1 0x04
00001333: PUSH1 0x20
00001335: MSTORE
00001336: PUSH1 0x40
00001338: SWAP1
00001339: KECCAK256
0000133a: SLOAD
0000133b: SWAP1
0000133c: JUMP
0000133d: JUMPDEST
0000133e: PUSH1 0x01
00001340: PUSH1 0x01
00001342: PUSH1 0xa0
00001344: SHL
00001345: SUB
00001346: DUP3
00001347: AND
00001348: PUSH1 0x00
0000134a: SWAP1
0000134b: DUP2
0000134c: MSTORE
0000134d: PUSH1 0x03
0000134f: PUSH1 0x20
00001351: MSTORE
00001352: PUSH1 0x40
00001354: SWAP1
00001355: KECCAK256
00001356: SLOAD
00001357: PUSH2 0x0b42
0000135a: SWAP1
0000135b: PUSH2 0x0c23
0000135e: JUMP
0000135f: JUMPDEST
00001360: PUSH1 0x00
00001362: SLOAD
00001363: PUSH1 0x01
00001365: PUSH1 0x01
00001367: PUSH1 0xa0
00001369: SHL
0000136a: SUB
0000136b: AND
0000136c: CALLER
0000136d: EQ
0000136e: PUSH2 0x1389
00001371: JUMPI
00001372: PUSH1 0x40
00001374: MLOAD
00001375: PUSH3 0x461bcd
00001379: PUSH1 0xe5
0000137b: SHL
0000137c: DUP2
0000137d: MSTORE
0000137e: PUSH1 0x04
00001380: ADD
00001381: PUSH2 0x0a3c
00001384: SWAP1
00001385: PUSH2 0x2ed1
00001388: JUMP
00001389: JUMPDEST
0000138a: PUSH1 0x00
0000138c: DUP1
0000138d: SLOAD
0000138e: PUSH1 0x40
00001390: MLOAD
00001391: PUSH1 0x01
00001393: PUSH1 0x01
00001395: PUSH1 0xa0
00001397: SHL
00001398: SUB
00001399: SWAP1
0000139a: SWAP2
0000139b: AND
0000139c: SWAP1
0000139d: PUSH1 0x00
0000139f: DUP1
000013a0: MLOAD
000013a1: PUSH1 0x20
000013a3: PUSH2 0x30ac
000013a6: DUP4
000013a7: CODECOPY
000013a8: DUP2
000013a9: MLOAD
000013aa: SWAP2
000013ab: MSTORE
000013ac: SWAP1
000013ad: DUP4
000013ae: SWAP1
000013af: LOG3
000013b0: PUSH1 0x00
000013b2: DUP1
000013b3: SLOAD
000013b4: PUSH1 0x01
000013b6: PUSH1 0x01
000013b8: PUSH1 0xa0
000013ba: SHL
000013bb: SUB
000013bc: NOT
000013bd: AND
000013be: SWAP1
000013bf: SSTORE
000013c0: JUMP
000013c1: JUMPDEST
000013c2: PUSH1 0x60
000013c4: PUSH1 0x0e
000013c6: DUP1
000013c7: SLOAD
000013c8: PUSH2 0x0a59
000013cb: SWAP1
000013cc: PUSH2 0x2fd3
000013cf: JUMP
000013d0: JUMPDEST
000013d1: PUSH1 0x00
000013d3: SLOAD
000013d4: PUSH1 0x01
000013d6: PUSH1 0x01
000013d8: PUSH1 0xa0
000013da: SHL
000013db: SUB
000013dc: AND
000013dd: CALLER
000013de: EQ
000013df: PUSH2 0x13fa
000013e2: JUMPI
000013e3: PUSH1 0x40
000013e5: MLOAD
000013e6: PUSH3 0x461bcd
000013ea: PUSH1 0xe5
000013ec: SHL
000013ed: DUP2
000013ee: MSTORE
000013ef: PUSH1 0x04
000013f1: ADD
000013f2: PUSH2 0x0a3c
000013f5: SWAP1
000013f6: PUSH2 0x2ed1
000013f9: JUMP
000013fa: JUMPDEST
000013fb: PUSH2 0x1408
000013fe: DUP2
000013ff: PUSH4 0x3b9aca00
00001404: PUSH2 0x2f9d
00001407: JUMP
00001408: JUMPDEST
00001409: PUSH1 0x1b
0000140b: SSTORE
0000140c: POP
0000140d: JUMP
0000140e: JUMPDEST
0000140f: PUSH1 0x00
00001411: PUSH2 0x0b3e
00001414: CALLER
00001415: DUP5
00001416: PUSH2 0x0ba2
00001419: DUP6
0000141a: PUSH1 0x40
0000141c: MLOAD
0000141d: DUP1
0000141e: PUSH1 0x60
00001420: ADD
00001421: PUSH1 0x40
00001423: MSTORE
00001424: DUP1
00001425: PUSH1 0x25
00001427: DUP2
00001428: MSTORE
00001429: PUSH1 0x20
0000142b: ADD
0000142c: PUSH2 0x30cc
0000142f: PUSH1 0x25
00001431: SWAP2
00001432: CODECOPY
00001433: CALLER
00001434: PUSH1 0x00
00001436: SWAP1
00001437: DUP2
00001438: MSTORE
00001439: PUSH1 0x05
0000143b: PUSH1 0x20
0000143d: SWAP1
0000143e: DUP2
0000143f: MSTORE
00001440: PUSH1 0x40
00001442: DUP1
00001443: DUP4
00001444: KECCAK256
00001445: PUSH1 0x01
00001447: PUSH1 0x01
00001449: PUSH1 0xa0
0000144b: SHL
0000144c: SUB
0000144d: DUP14
0000144e: AND
0000144f: DUP5
00001450: MSTORE
00001451: SWAP1
00001452: SWAP2
00001453: MSTORE
00001454: SWAP1
00001455: KECCAK256
00001456: SLOAD
00001457: SWAP2
00001458: SWAP1
00001459: PUSH2 0x1cac
0000145c: JUMP
0000145d: JUMPDEST
0000145e: PUSH1 0x01
00001460: SLOAD
00001461: PUSH1 0x01
00001463: PUSH1 0x01
00001465: PUSH1 0xa0
00001467: SHL
00001468: SUB
00001469: AND
0000146a: CALLER
0000146b: EQ
0000146c: PUSH2 0x14c3
0000146f: JUMPI
00001470: PUSH1 0x40
00001472: MLOAD
00001473: PUSH3 0x461bcd
00001477: PUSH1 0xe5
00001479: SHL
0000147a: DUP2
0000147b: MSTORE
0000147c: PUSH1 0x20
0000147e: PUSH1 0x04
00001480: DUP3
00001481: ADD
00001482: MSTORE
00001483: PUSH1 0x23
00001485: PUSH1 0x24
00001487: DUP3
00001488: ADD
00001489: MSTORE
0000148a: PUSH32 0x596f7520646f6e27742068617665207065726d697373696f6e20746f20756e6c
000014ab: PUSH1 0x44
000014ad: DUP3
000014ae: ADD
000014af: MSTORE
000014b0: PUSH3 0x6f636b
000014b4: PUSH1 0xe8
000014b6: SHL
000014b7: PUSH1 0x64
000014b9: DUP3
000014ba: ADD
000014bb: MSTORE
000014bc: PUSH1 0x84
000014be: ADD
000014bf: PUSH2 0x0a3c
000014c2: JUMP
000014c3: JUMPDEST
000014c4: PUSH1 0x02
000014c6: SLOAD
000014c7: TIMESTAMP
000014c8: GT
000014c9: PUSH2 0x1514
000014cc: JUMPI
000014cd: PUSH1 0x40
000014cf: MLOAD
000014d0: PUSH3 0x461bcd
000014d4: PUSH1 0xe5
000014d6: SHL
000014d7: DUP2
000014d8: MSTORE
000014d9: PUSH1 0x20
000014db: PUSH1 0x04
000014dd: DUP3
000014de: ADD
000014df: MSTORE
000014e0: PUSH1 0x1f
000014e2: PUSH1 0x24
000014e4: DUP3
000014e5: ADD
000014e6: MSTORE
000014e7: PUSH32 0x436f6e7472616374206973206c6f636b656420756e74696c2037206461797300
00001508: PUSH1 0x44
0000150a: DUP3
0000150b: ADD
0000150c: MSTORE
0000150d: PUSH1 0x64
0000150f: ADD
00001510: PUSH2 0x0a3c
00001513: JUMP
00001514: JUMPDEST
00001515: PUSH1 0x01
00001517: SLOAD
00001518: PUSH1 0x00
0000151a: DUP1
0000151b: SLOAD
0000151c: PUSH1 0x40
0000151e: MLOAD
0000151f: PUSH1 0x01
00001521: PUSH1 0x01
00001523: PUSH1 0xa0
00001525: SHL
00001526: SUB
00001527: SWAP4
00001528: DUP5
00001529: AND
0000152a: SWAP4
0000152b: SWAP1
0000152c: SWAP2
0000152d: AND
0000152e: SWAP2
0000152f: PUSH1 0x00
00001531: DUP1
00001532: MLOAD
00001533: PUSH1 0x20
00001535: PUSH2 0x30ac
00001538: DUP4
00001539: CODECOPY
0000153a: DUP2
0000153b: MLOAD
0000153c: SWAP2
0000153d: MSTORE
0000153e: SWAP2
0000153f: LOG3
00001540: PUSH1 0x01
00001542: SLOAD
00001543: PUSH1 0x00
00001545: DUP1
00001546: SLOAD
00001547: PUSH1 0x01
00001549: PUSH1 0x01
0000154b: PUSH1 0xa0
0000154d: SHL
0000154e: SUB
0000154f: NOT
00001550: AND
00001551: PUSH1 0x01
00001553: PUSH1 0x01
00001555: PUSH1 0xa0
00001557: SHL
00001558: SUB
00001559: SWAP1
0000155a: SWAP3
0000155b: AND
0000155c: SWAP2
0000155d: SWAP1
0000155e: SWAP2
0000155f: OR
00001560: SWAP1
00001561: SSTORE
00001562: JUMP
00001563: JUMPDEST
00001564: PUSH1 0x00
00001566: PUSH2 0x0b3e
00001569: CALLER
0000156a: DUP5
0000156b: DUP5
0000156c: PUSH2 0x19c3
0000156f: JUMP
00001570: JUMPDEST
00001571: PUSH1 0x00
00001573: SLOAD
00001574: PUSH1 0x01
00001576: PUSH1 0x01
00001578: PUSH1 0xa0
0000157a: SHL
0000157b: SUB
0000157c: AND
0000157d: CALLER
0000157e: EQ
0000157f: PUSH2 0x159a
00001582: JUMPI
00001583: PUSH1 0x40
00001585: MLOAD
00001586: PUSH3 0x461bcd
0000158a: PUSH1 0xe5
0000158c: SHL
0000158d: DUP2
0000158e: MSTORE
0000158f: PUSH1 0x04
00001591: ADD
00001592: PUSH2 0x0a3c
00001595: SWAP1
00001596: PUSH2 0x2ed1
00001599: JUMP
0000159a: JUMPDEST
0000159b: PUSH2 0x15a8
0000159e: DUP2
0000159f: PUSH4 0x3b9aca00
000015a4: PUSH2 0x2f9d
000015a7: JUMP
000015a8: JUMPDEST
000015a9: PUSH1 0x19
000015ab: SSTORE
000015ac: POP
000015ad: JUMP
000015ae: JUMPDEST
000015af: PUSH1 0x00
000015b1: SLOAD
000015b2: PUSH1 0x01
000015b4: PUSH1 0x01
000015b6: PUSH1 0xa0
000015b8: SHL
000015b9: SUB
000015ba: AND
000015bb: CALLER
000015bc: EQ
000015bd: PUSH2 0x15d8
000015c0: JUMPI
000015c1: PUSH1 0x40
000015c3: MLOAD
000015c4: PUSH3 0x461bcd
000015c8: PUSH1 0xe5
000015ca: SHL
000015cb: DUP2
000015cc: MSTORE
000015cd: PUSH1 0x04
000015cf: ADD
000015d0: PUSH2 0x0a3c
000015d3: SWAP1
000015d4: PUSH2 0x2ed1
000015d7: JUMP
000015d8: JUMPDEST
000015d9: PUSH1 0x1d
000015db: SSTORE
000015dc: JUMP
000015dd: JUMPDEST
000015de: PUSH1 0x00
000015e0: SLOAD
000015e1: PUSH1 0x01
000015e3: PUSH1 0x01
000015e5: PUSH1 0xa0
000015e7: SHL
000015e8: SUB
000015e9: AND
000015ea: CALLER
000015eb: EQ
000015ec: PUSH2 0x1607
000015ef: JUMPI
000015f0: PUSH1 0x40
000015f2: MLOAD
000015f3: PUSH3 0x461bcd
000015f7: PUSH1 0xe5
000015f9: SHL
000015fa: DUP2
000015fb: MSTORE
000015fc: PUSH1 0x04
000015fe: ADD
000015ff: PUSH2 0x0a3c
00001602: SWAP1
00001603: PUSH2 0x2ed1
00001606: JUMP
00001607: JUMPDEST
00001608: PUSH1 0x18
0000160a: DUP1
0000160b: SLOAD
0000160c: DUP3
0000160d: ISZERO
0000160e: ISZERO
0000160f: PUSH1 0x01
00001611: PUSH1 0xa8
00001613: SHL
00001614: MUL
00001615: PUSH1 0xff
00001617: PUSH1 0xa8
00001619: SHL
0000161a: NOT
0000161b: SWAP1
0000161c: SWAP2
0000161d: AND
0000161e: OR
0000161f: SWAP1
00001620: SSTORE
00001621: PUSH1 0x40
00001623: MLOAD
00001624: PUSH32 0x53726dfcaf90650aa7eb35524f4d3220f07413c8d6cb404cc8c18bf5591bc159
00001645: SWAP1
00001646: PUSH2 0x0c18
00001649: SWAP1
0000164a: DUP4
0000164b: ISZERO
0000164c: ISZERO
0000164d: DUP2
0000164e: MSTORE
0000164f: PUSH1 0x20
00001651: ADD
00001652: SWAP1
00001653: JUMP
00001654: JUMPDEST
00001655: PUSH1 0x00
00001657: SLOAD
00001658: PUSH1 0x01
0000165a: PUSH1 0x01
0000165c: PUSH1 0xa0
0000165e: SHL
0000165f: SUB
00001660: AND
00001661: CALLER
00001662: EQ
00001663: PUSH2 0x167e
00001666: JUMPI
00001667: PUSH1 0x40
00001669: MLOAD
0000166a: PUSH3 0x461bcd
0000166e: PUSH1 0xe5
00001670: SHL
00001671: DUP2
00001672: MSTORE
00001673: PUSH1 0x04
00001675: ADD
00001676: PUSH2 0x0a3c
00001679: SWAP1
0000167a: PUSH2 0x2ed1
0000167d: JUMP
0000167e: JUMPDEST
0000167f: PUSH1 0x00
00001681: DUP1
00001682: SLOAD
00001683: PUSH1 0x01
00001685: DUP1
00001686: SLOAD
00001687: PUSH1 0x01
00001689: PUSH1 0x01
0000168b: PUSH1 0xa0
0000168d: SHL
0000168e: SUB
0000168f: NOT
00001690: SWAP1
00001691: DUP2
00001692: AND
00001693: PUSH1 0x01
00001695: PUSH1 0x01
00001697: PUSH1 0xa0
00001699: SHL
0000169a: SUB
0000169b: DUP5
0000169c: AND
0000169d: OR
0000169e: SWAP1
0000169f: SWAP2
000016a0: SSTORE
000016a1: AND
000016a2: SWAP1
000016a3: SSTORE
000016a4: PUSH2 0x16ad
000016a7: DUP2
000016a8: TIMESTAMP
000016a9: PUSH2 0x2f63
000016ac: JUMP
000016ad: JUMPDEST
000016ae: PUSH1 0x02
000016b0: SSTORE
000016b1: PUSH1 0x00
000016b3: DUP1
000016b4: SLOAD
000016b5: PUSH1 0x40
000016b7: MLOAD
000016b8: PUSH1 0x01
000016ba: PUSH1 0x01
000016bc: PUSH1 0xa0
000016be: SHL
000016bf: SUB
000016c0: SWAP1
000016c1: SWAP2
000016c2: AND
000016c3: SWAP1
000016c4: PUSH1 0x00
000016c6: DUP1
000016c7: MLOAD
000016c8: PUSH1 0x20
000016ca: PUSH2 0x30ac
000016cd: DUP4
000016ce: CODECOPY
000016cf: DUP2
000016d0: MLOAD
000016d1: SWAP2
000016d2: MSTORE
000016d3: SWAP1
000016d4: DUP4
000016d5: SWAP1
000016d6: LOG3
000016d7: POP
000016d8: JUMP
000016d9: JUMPDEST
000016da: PUSH1 0x00
000016dc: SLOAD
000016dd: PUSH1 0x01
000016df: PUSH1 0x01
000016e1: PUSH1 0xa0
000016e3: SHL
000016e4: SUB
000016e5: AND
000016e6: CALLER
000016e7: EQ
000016e8: PUSH2 0x1703
000016eb: JUMPI
000016ec: PUSH1 0x40
000016ee: MLOAD
000016ef: PUSH3 0x461bcd
000016f3: PUSH1 0xe5
000016f5: SHL
000016f6: DUP2
000016f7: MSTORE
000016f8: PUSH1 0x04
000016fa: ADD
000016fb: PUSH2 0x0a3c
000016fe: SWAP1
000016ff: PUSH2 0x2ed1
00001702: JUMP
00001703: JUMPDEST
00001704: PUSH1 0x01
00001706: PUSH1 0x01
00001708: PUSH1 0xa0
0000170a: SHL
0000170b: SUB
0000170c: AND
0000170d: PUSH1 0x00
0000170f: SWAP1
00001710: DUP2
00001711: MSTORE
00001712: PUSH1 0x06
00001714: PUSH1 0x20
00001716: MSTORE
00001717: PUSH1 0x40
00001719: SWAP1
0000171a: KECCAK256
0000171b: DUP1
0000171c: SLOAD
0000171d: PUSH1 0xff
0000171f: NOT
00001720: AND
00001721: SWAP1
00001722: SSTORE
00001723: JUMP
00001724: JUMPDEST
00001725: PUSH1 0x00
00001727: SLOAD
00001728: PUSH1 0x01
0000172a: PUSH1 0x01
0000172c: PUSH1 0xa0
0000172e: SHL
0000172f: SUB
00001730: AND
00001731: CALLER
00001732: EQ
00001733: PUSH2 0x174e
00001736: JUMPI
00001737: PUSH1 0x40
00001739: MLOAD
0000173a: PUSH3 0x461bcd
0000173e: PUSH1 0xe5
00001740: SHL
00001741: DUP2
00001742: MSTORE
00001743: PUSH1 0x04
00001745: ADD
00001746: PUSH2 0x0a3c
00001749: SWAP1
0000174a: PUSH2 0x2ed1
0000174d: JUMP
0000174e: JUMPDEST
0000174f: PUSH1 0x00
00001751: DUP2
00001752: GT
00001753: PUSH2 0x17b3
00001756: JUMPI
00001757: PUSH1 0x40
00001759: MLOAD
0000175a: PUSH3 0x461bcd
0000175e: PUSH1 0xe5
00001760: SHL
00001761: DUP2
00001762: MSTORE
00001763: PUSH1 0x20
00001765: PUSH1 0x04
00001767: DUP3
00001768: ADD
00001769: MSTORE
0000176a: PUSH1 0x2c
0000176c: PUSH1 0x24
0000176e: DUP3
0000176f: ADD
00001770: MSTORE
00001771: PUSH32 0x7472616e73616374696f6e20616d6f756e74206d757374206265206772656174
00001792: PUSH1 0x44
00001794: DUP3
00001795: ADD
00001796: MSTORE
00001797: PUSH12 0x6572207468616e207a65726f
000017a4: PUSH1 0xa0
000017a6: SHL
000017a7: PUSH1 0x64
000017a9: DUP3
000017aa: ADD
000017ab: MSTORE
000017ac: PUSH1 0x84
000017ae: ADD
000017af: PUSH2 0x0a3c
000017b2: JUMP
000017b3: JUMPDEST
000017b4: PUSH2 0x17c1
000017b7: DUP2
000017b8: PUSH4 0x3b9aca00
000017bd: PUSH2 0x2f9d
000017c0: JUMP
000017c1: JUMPDEST
000017c2: PUSH1 0x1a
000017c4: SSTORE
000017c5: POP
000017c6: JUMP
000017c7: JUMPDEST
000017c8: PUSH1 0x00
000017ca: SLOAD
000017cb: PUSH1 0x01
000017cd: PUSH1 0x01
000017cf: PUSH1 0xa0
000017d1: SHL
000017d2: SUB
000017d3: AND
000017d4: CALLER
000017d5: EQ
000017d6: PUSH2 0x17f1
000017d9: JUMPI
000017da: PUSH1 0x40
000017dc: MLOAD
000017dd: PUSH3 0x461bcd
000017e1: PUSH1 0xe5
000017e3: SHL
000017e4: DUP2
000017e5: MSTORE
000017e6: PUSH1 0x04
000017e8: ADD
000017e9: PUSH2 0x0a3c
000017ec: SWAP1
000017ed: PUSH2 0x2ed1
000017f0: JUMP
000017f1: JUMPDEST
000017f2: PUSH1 0x01
000017f4: PUSH1 0x01
000017f6: PUSH1 0xa0
000017f8: SHL
000017f9: SUB
000017fa: DUP2
000017fb: AND
000017fc: PUSH2 0x1856
000017ff: JUMPI
00001800: PUSH1 0x40
00001802: MLOAD
00001803: PUSH3 0x461bcd
00001807: PUSH1 0xe5
00001809: SHL
0000180a: DUP2
0000180b: MSTORE
0000180c: PUSH1 0x20
0000180e: PUSH1 0x04
00001810: DUP3
00001811: ADD
00001812: MSTORE
00001813: PUSH1 0x26
00001815: PUSH1 0x24
00001817: DUP3
00001818: ADD
00001819: MSTORE
0000181a: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
0000183b: PUSH1 0x44
0000183d: DUP3
0000183e: ADD
0000183f: MSTORE
00001840: PUSH6 0x646472657373
00001847: PUSH1 0xd0
00001849: SHL
0000184a: PUSH1 0x64
0000184c: DUP3
0000184d: ADD
0000184e: MSTORE
0000184f: PUSH1 0x84
00001851: ADD
00001852: PUSH2 0x0a3c
00001855: JUMP
00001856: JUMPDEST
00001857: PUSH1 0x00
00001859: DUP1
0000185a: SLOAD
0000185b: PUSH1 0x40
0000185d: MLOAD
0000185e: PUSH1 0x01
00001860: PUSH1 0x01
00001862: PUSH1 0xa0
00001864: SHL
00001865: SUB
00001866: DUP1
00001867: DUP6
00001868: AND
00001869: SWAP4
0000186a: SWAP3
0000186b: AND
0000186c: SWAP2
0000186d: PUSH1 0x00
0000186f: DUP1
00001870: MLOAD
00001871: PUSH1 0x20
00001873: PUSH2 0x30ac
00001876: DUP4
00001877: CODECOPY
00001878: DUP2
00001879: MLOAD
0000187a: SWAP2
0000187b: MSTORE
0000187c: SWAP2
0000187d: LOG3
0000187e: PUSH1 0x00
00001880: DUP1
00001881: SLOAD
00001882: PUSH1 0x01
00001884: PUSH1 0x01
00001886: PUSH1 0xa0
00001888: SHL
00001889: SUB
0000188a: NOT
0000188b: AND
0000188c: PUSH1 0x01
0000188e: PUSH1 0x01
00001890: PUSH1 0xa0
00001892: SHL
00001893: SUB
00001894: SWAP3
00001895: SWAP1
00001896: SWAP3
00001897: AND
00001898: SWAP2
00001899: SWAP1
0000189a: SWAP2
0000189b: OR
0000189c: SWAP1
0000189d: SSTORE
0000189e: JUMP
0000189f: JUMPDEST
000018a0: PUSH1 0x01
000018a2: PUSH1 0x01
000018a4: PUSH1 0xa0
000018a6: SHL
000018a7: SUB
000018a8: DUP4
000018a9: AND
000018aa: PUSH2 0x1901
000018ad: JUMPI
000018ae: PUSH1 0x40
000018b0: MLOAD
000018b1: PUSH3 0x461bcd
000018b5: PUSH1 0xe5
000018b7: SHL
000018b8: DUP2
000018b9: MSTORE
000018ba: PUSH1 0x20
000018bc: PUSH1 0x04
000018be: DUP3
000018bf: ADD
000018c0: MSTORE
000018c1: PUSH1 0x24
000018c3: DUP1
000018c4: DUP3
000018c5: ADD
000018c6: MSTORE
000018c7: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464
000018e8: PUSH1 0x44
000018ea: DUP3
000018eb: ADD
000018ec: MSTORE
000018ed: PUSH4 0x72657373
000018f2: PUSH1 0xe0
000018f4: SHL
000018f5: PUSH1 0x64
000018f7: DUP3
000018f8: ADD
000018f9: MSTORE
000018fa: PUSH1 0x84
000018fc: ADD
000018fd: PUSH2 0x0a3c
00001900: JUMP
00001901: JUMPDEST
00001902: PUSH1 0x01
00001904: PUSH1 0x01
00001906: PUSH1 0xa0
00001908: SHL
00001909: SUB
0000190a: DUP3
0000190b: AND
0000190c: PUSH2 0x1962
0000190f: JUMPI
00001910: PUSH1 0x40
00001912: MLOAD
00001913: PUSH3 0x461bcd
00001917: PUSH1 0xe5
00001919: SHL
0000191a: DUP2
0000191b: MSTORE
0000191c: PUSH1 0x20
0000191e: PUSH1 0x04
00001920: DUP3
00001921: ADD
00001922: MSTORE
00001923: PUSH1 0x22
00001925: PUSH1 0x24
00001927: DUP3
00001928: ADD
00001929: MSTORE
0000192a: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265
0000194b: PUSH1 0x44
0000194d: DUP3
0000194e: ADD
0000194f: MSTORE
00001950: PUSH2 0x7373
00001953: PUSH1 0xf0
00001955: SHL
00001956: PUSH1 0x64
00001958: DUP3
00001959: ADD
0000195a: MSTORE
0000195b: PUSH1 0x84
0000195d: ADD
0000195e: PUSH2 0x0a3c
00001961: JUMP
00001962: JUMPDEST
00001963: PUSH1 0x01
00001965: PUSH1 0x01
00001967: PUSH1 0xa0
00001969: SHL
0000196a: SUB
0000196b: DUP4
0000196c: DUP2
0000196d: AND
0000196e: PUSH1 0x00
00001970: DUP2
00001971: DUP2
00001972: MSTORE
00001973: PUSH1 0x05
00001975: PUSH1 0x20
00001977: SWAP1
00001978: DUP2
00001979: MSTORE
0000197a: PUSH1 0x40
0000197c: DUP1
0000197d: DUP4
0000197e: KECCAK256
0000197f: SWAP5
00001980: DUP8
00001981: AND
00001982: DUP1
00001983: DUP5
00001984: MSTORE
00001985: SWAP5
00001986: DUP3
00001987: MSTORE
00001988: SWAP2
00001989: DUP3
0000198a: SWAP1
0000198b: KECCAK256
0000198c: DUP6
0000198d: SWAP1
0000198e: SSTORE
0000198f: SWAP1
00001990: MLOAD
00001991: DUP5
00001992: DUP2
00001993: MSTORE
00001994: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
000019b5: SWAP2
000019b6: ADD
000019b7: PUSH1 0x40
000019b9: MLOAD
000019ba: DUP1
000019bb: SWAP2
000019bc: SUB
000019bd: SWAP1
000019be: LOG3
000019bf: POP
000019c0: POP
000019c1: POP
000019c2: JUMP
000019c3: JUMPDEST
000019c4: PUSH1 0x01
000019c6: PUSH1 0x01
000019c8: PUSH1 0xa0
000019ca: SHL
000019cb: SUB
000019cc: DUP4
000019cd: AND
000019ce: PUSH2 0x1a27
000019d1: JUMPI
000019d2: PUSH1 0x40
000019d4: MLOAD
000019d5: PUSH3 0x461bcd
000019d9: PUSH1 0xe5
000019db: SHL
000019dc: DUP2
000019dd: MSTORE
000019de: PUSH1 0x20
000019e0: PUSH1 0x04
000019e2: DUP3
000019e3: ADD
000019e4: MSTORE
000019e5: PUSH1 0x25
000019e7: PUSH1 0x24
000019e9: DUP3
000019ea: ADD
000019eb: MSTORE
000019ec: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164
00001a0d: PUSH1 0x44
00001a0f: DUP3
00001a10: ADD
00001a11: MSTORE
00001a12: PUSH5 0x6472657373
00001a18: PUSH1 0xd8
00001a1a: SHL
00001a1b: PUSH1 0x64
00001a1d: DUP3
00001a1e: ADD
00001a1f: MSTORE
00001a20: PUSH1 0x84
00001a22: ADD
00001a23: PUSH2 0x0a3c
00001a26: JUMP
00001a27: JUMPDEST
00001a28: PUSH1 0x00
00001a2a: DUP2
00001a2b: GT
00001a2c: PUSH2 0x1a89
00001a2f: JUMPI
00001a30: PUSH1 0x40
00001a32: MLOAD
00001a33: PUSH3 0x461bcd
00001a37: PUSH1 0xe5
00001a39: SHL
00001a3a: DUP2
00001a3b: MSTORE
00001a3c: PUSH1 0x20
00001a3e: PUSH1 0x04
00001a40: DUP3
00001a41: ADD
00001a42: MSTORE
00001a43: PUSH1 0x29
00001a45: PUSH1 0x24
00001a47: DUP3
00001a48: ADD
00001a49: MSTORE
00001a4a: PUSH32 0x5472616e7366657220616d6f756e74206d757374206265206772656174657220
00001a6b: PUSH1 0x44
00001a6d: DUP3
00001a6e: ADD
00001a6f: MSTORE
00001a70: PUSH9 0x7468616e207a65726f
00001a7a: PUSH1 0xb8
00001a7c: SHL
00001a7d: PUSH1 0x64
00001a7f: DUP3
00001a80: ADD
00001a81: MSTORE
00001a82: PUSH1 0x84
00001a84: ADD
00001a85: PUSH2 0x0a3c
00001a88: JUMP
00001a89: JUMPDEST
00001a8a: PUSH1 0x01
00001a8c: PUSH1 0x01
00001a8e: PUSH1 0xa0
00001a90: SHL
00001a91: SUB
00001a92: DUP4
00001a93: AND
00001a94: PUSH1 0x00
00001a96: SWAP1
00001a97: DUP2
00001a98: MSTORE
00001a99: PUSH1 0x07
00001a9b: PUSH1 0x20
00001a9d: MSTORE
00001a9e: PUSH1 0x40
00001aa0: SWAP1
00001aa1: KECCAK256
00001aa2: SLOAD
00001aa3: PUSH1 0xff
00001aa5: AND
00001aa6: ISZERO
00001aa7: DUP1
00001aa8: ISZERO
00001aa9: PUSH2 0x1acb
00001aac: JUMPI
00001aad: POP
00001aae: PUSH1 0x01
00001ab0: PUSH1 0x01
00001ab2: PUSH1 0xa0
00001ab4: SHL
00001ab5: SUB
00001ab6: DUP3
00001ab7: AND
00001ab8: PUSH1 0x00
00001aba: SWAP1
00001abb: DUP2
00001abc: MSTORE
00001abd: PUSH1 0x07
00001abf: PUSH1 0x20
00001ac1: MSTORE
00001ac2: PUSH1 0x40
00001ac4: SWAP1
00001ac5: KECCAK256
00001ac6: SLOAD
00001ac7: PUSH1 0xff
00001ac9: AND
00001aca: ISZERO
00001acb: JUMPDEST
00001acc: PUSH2 0x1b0d
00001acf: JUMPI
00001ad0: PUSH1 0x40
00001ad2: MLOAD
00001ad3: PUSH3 0x461bcd
00001ad7: PUSH1 0xe5
00001ad9: SHL
00001ada: DUP2
00001adb: MSTORE
00001adc: PUSH1 0x20
00001ade: PUSH1 0x04
00001ae0: DUP3
00001ae1: ADD
00001ae2: MSTORE
00001ae3: PUSH1 0x13
00001ae5: PUSH1 0x24
00001ae7: DUP3
00001ae8: ADD
00001ae9: MSTORE
00001aea: PUSH19 0x426c61636b6c69737465642061646472657373
00001afe: PUSH1 0x68
00001b00: SHL
00001b01: PUSH1 0x44
00001b03: DUP3
00001b04: ADD
00001b05: MSTORE
00001b06: PUSH1 0x64
00001b08: ADD
00001b09: PUSH2 0x0a3c
00001b0c: JUMP
00001b0d: JUMPDEST
00001b0e: PUSH1 0x01
00001b10: PUSH1 0x01
00001b12: PUSH1 0xa0
00001b14: SHL
00001b15: SUB
00001b16: DUP4
00001b17: AND
00001b18: PUSH1 0x00
00001b1a: SWAP1
00001b1b: DUP2
00001b1c: MSTORE
00001b1d: PUSH1 0x06
00001b1f: PUSH1 0x20
00001b21: MSTORE
00001b22: PUSH1 0x40
00001b24: DUP2
00001b25: KECCAK256
00001b26: SLOAD
00001b27: PUSH1 0xff
00001b29: AND
00001b2a: DUP1
00001b2b: PUSH2 0x1b4c
00001b2e: JUMPI
00001b2f: POP
00001b30: PUSH1 0x01
00001b32: PUSH1 0x01
00001b34: PUSH1 0xa0
00001b36: SHL
00001b37: SUB
00001b38: DUP4
00001b39: AND
00001b3a: PUSH1 0x00
00001b3c: SWAP1
00001b3d: DUP2
00001b3e: MSTORE
00001b3f: PUSH1 0x06
00001b41: PUSH1 0x20
00001b43: MSTORE
00001b44: PUSH1 0x40
00001b46: SWAP1
00001b47: KECCAK256
00001b48: SLOAD
00001b49: PUSH1 0xff
00001b4b: AND
00001b4c: JUMPDEST
00001b4d: PUSH1 0x18
00001b4f: SLOAD
00001b50: SWAP1
00001b51: SWAP2
00001b52: POP
00001b53: PUSH1 0x01
00001b55: PUSH1 0x01
00001b57: PUSH1 0xa0
00001b59: SHL
00001b5a: SUB
00001b5b: DUP6
00001b5c: DUP2
00001b5d: AND
00001b5e: SWAP2
00001b5f: AND
00001b60: EQ
00001b61: DUP1
00001b62: ISZERO
00001b63: PUSH2 0x1b6a
00001b66: JUMPI
00001b67: POP
00001b68: DUP1
00001b69: ISZERO
00001b6a: JUMPDEST
00001b6b: ISZERO
00001b6c: PUSH2 0x1be6
00001b6f: JUMPI
00001b70: PUSH1 0x00
00001b72: PUSH2 0x1b7a
00001b75: DUP5
00001b76: PUSH2 0x1300
00001b79: JUMP
00001b7a: JUMPDEST
00001b7b: PUSH1 0x1b
00001b7d: SLOAD
00001b7e: SWAP1
00001b7f: SWAP2
00001b80: POP
00001b81: PUSH2 0x1b8a
00001b84: DUP5
00001b85: DUP4
00001b86: PUSH2 0x2f63
00001b89: JUMP
00001b8a: JUMPDEST
00001b8b: GT
00001b8c: ISZERO
00001b8d: PUSH2 0x1be4
00001b90: JUMPI
00001b91: PUSH1 0x40
00001b93: MLOAD
00001b94: PUSH3 0x461bcd
00001b98: PUSH1 0xe5
00001b9a: SHL
00001b9b: DUP2
00001b9c: MSTORE
00001b9d: PUSH1 0x20
00001b9f: PUSH1 0x04
00001ba1: DUP3
00001ba2: ADD
00001ba3: MSTORE
00001ba4: PUSH1 0x24
00001ba6: DUP1
00001ba7: DUP3
00001ba8: ADD
00001ba9: MSTORE
00001baa: PUSH32 0x45786365656473206d6178696d756d2077616c6c657420746f6b656e20616d6f
00001bcb: PUSH1 0x44
00001bcd: DUP3
00001bce: ADD
00001bcf: MSTORE
00001bd0: PUSH4 0x3ab73a17
00001bd5: PUSH1 0xe1
00001bd7: SHL
00001bd8: PUSH1 0x64
00001bda: DUP3
00001bdb: ADD
00001bdc: MSTORE
00001bdd: PUSH1 0x84
00001bdf: ADD
00001be0: PUSH2 0x0a3c
00001be3: JUMP
00001be4: JUMPDEST
00001be5: POP
00001be6: JUMPDEST
00001be7: PUSH1 0x00
00001be9: PUSH2 0x1bf1
00001bec: ADDRESS
00001bed: PUSH2 0x1300
00001bf0: JUMP
00001bf1: JUMPDEST
00001bf2: PUSH1 0x19
00001bf4: SLOAD
00001bf5: PUSH1 0x18
00001bf7: SLOAD
00001bf8: SWAP2
00001bf9: SWAP3
00001bfa: POP
00001bfb: DUP3
00001bfc: LT
00001bfd: ISZERO
00001bfe: SWAP1
00001bff: PUSH1 0x01
00001c01: PUSH1 0xa0
00001c03: SHL
00001c04: SWAP1
00001c05: DIV
00001c06: PUSH1 0xff
00001c08: AND
00001c09: ISZERO
00001c0a: DUP1
00001c0b: ISZERO
00001c0c: PUSH2 0x1c23
00001c0f: JUMPI
00001c10: POP
00001c11: PUSH1 0x18
00001c13: SLOAD
00001c14: PUSH1 0x01
00001c16: PUSH1 0x01
00001c18: PUSH1 0xa0
00001c1a: SHL
00001c1b: SUB
00001c1c: DUP8
00001c1d: DUP2
00001c1e: AND
00001c1f: SWAP2
00001c20: AND
00001c21: EQ
00001c22: ISZERO
00001c23: JUMPDEST
00001c24: DUP1
00001c25: ISZERO
00001c26: PUSH2 0x1c38
00001c29: JUMPI
00001c2a: POP
00001c2b: PUSH1 0x18
00001c2d: SLOAD
00001c2e: PUSH1 0x01
00001c30: PUSH1 0xa8
00001c32: SHL
00001c33: SWAP1
00001c34: DIV
00001c35: PUSH1 0xff
00001c37: AND
00001c38: JUMPDEST
00001c39: ISZERO
00001c3a: PUSH2 0x1c99
00001c3d: JUMPI
00001c3e: PUSH1 0x19
00001c40: SLOAD
00001c41: SWAP2
00001c42: POP
00001c43: DUP1
00001c44: ISZERO
00001c45: PUSH2 0x1c51
00001c48: JUMPI
00001c49: PUSH2 0x1c51
00001c4c: DUP3
00001c4d: PUSH2 0x1e3b
00001c50: JUMP
00001c51: JUMPDEST
00001c52: PUSH1 0x1e
00001c54: SLOAD
00001c55: SELFBALANCE
00001c56: SWAP1
00001c57: PUSH1 0xff
00001c59: AND
00001c5a: DUP1
00001c5b: ISZERO
00001c5c: PUSH2 0x1c66
00001c5f: JUMPI
00001c60: POP
00001c61: PUSH1 0x1d
00001c63: SLOAD
00001c64: DUP2
00001c65: GT
00001c66: JUMPDEST
00001c67: ISZERO
00001c68: PUSH2 0x1c97
00001c6b: JUMPI
00001c6c: PUSH1 0x1d
00001c6e: SLOAD
00001c6f: DUP2
00001c70: GT
00001c71: ISZERO
00001c72: PUSH2 0x1c7a
00001c75: JUMPI
00001c76: POP
00001c77: PUSH1 0x1d
00001c79: SLOAD
00001c7a: JUMPDEST
00001c7b: PUSH2 0x1c97
00001c7e: PUSH2 0x1c92
00001c81: PUSH1 0x1c
00001c83: SLOAD
00001c84: DUP4
00001c85: PUSH2 0x1d09
00001c88: SWAP1
00001c89: SWAP2
00001c8a: SWAP1
00001c8b: PUSH4 0xffffffff
00001c90: AND
00001c91: JUMP
00001c92: JUMPDEST
00001c93: PUSH2 0x1efb
00001c96: JUMP
00001c97: JUMPDEST
00001c98: POP
00001c99: JUMPDEST
00001c9a: PUSH2 0x1ca4
00001c9d: DUP7
00001c9e: DUP7
00001c9f: DUP7
00001ca0: PUSH2 0x1f2d
00001ca3: JUMP
00001ca4: JUMPDEST
00001ca5: POP
00001ca6: POP
00001ca7: POP
00001ca8: POP
00001ca9: POP
00001caa: POP
00001cab: JUMP
00001cac: JUMPDEST
00001cad: PUSH1 0x00
00001caf: DUP2
00001cb0: DUP5
00001cb1: DUP5
00001cb2: GT
00001cb3: ISZERO
00001cb4: PUSH2 0x1cd0
00001cb7: JUMPI
00001cb8: PUSH1 0x40
00001cba: MLOAD
00001cbb: PUSH3 0x461bcd
00001cbf: PUSH1 0xe5
00001cc1: SHL
00001cc2: DUP2
00001cc3: MSTORE
00001cc4: PUSH1 0x04
00001cc6: ADD
00001cc7: PUSH2 0x0a3c
00001cca: SWAP2
00001ccb: SWAP1
00001ccc: PUSH2 0x2e7c
00001ccf: JUMP
00001cd0: JUMPDEST
00001cd1: POP
00001cd2: PUSH1 0x00
00001cd4: PUSH2 0x1cdd
00001cd7: DUP5
00001cd8: DUP7
00001cd9: PUSH2 0x2fbc
00001cdc: JUMP
00001cdd: JUMPDEST
00001cde: SWAP6
00001cdf: SWAP5
00001ce0: POP
00001ce1: POP
00001ce2: POP
00001ce3: POP
00001ce4: POP
00001ce5: JUMP
00001ce6: JUMPDEST
00001ce7: PUSH1 0x00
00001ce9: DUP1
00001cea: PUSH1 0x00
00001cec: PUSH2 0x1cf3
00001cef: PUSH2 0x2195
00001cf2: JUMP
00001cf3: JUMPDEST
00001cf4: SWAP1
00001cf5: SWAP3
00001cf6: POP
00001cf7: SWAP1
00001cf8: POP
00001cf9: PUSH2 0x1d02
00001cfc: DUP3
00001cfd: DUP3
00001cfe: PUSH2 0x1d09
00001d01: JUMP
00001d02: JUMPDEST
00001d03: SWAP3
00001d04: POP
00001d05: POP
00001d06: POP
00001d07: SWAP1
00001d08: JUMP
00001d09: JUMPDEST
00001d0a: PUSH1 0x00
00001d0c: PUSH2 0x0ca0
00001d0f: DUP4
00001d10: DUP4
00001d11: PUSH1 0x40
00001d13: MLOAD
00001d14: DUP1
00001d15: PUSH1 0x40
00001d17: ADD
00001d18: PUSH1 0x40
00001d1a: MSTORE
00001d1b: DUP1
00001d1c: PUSH1 0x1a
00001d1e: DUP2
00001d1f: MSTORE
00001d20: PUSH1 0x20
00001d22: ADD
00001d23: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
00001d44: DUP2
00001d45: MSTORE
00001d46: POP
00001d47: PUSH2 0x2317
00001d4a: JUMP
00001d4b: JUMPDEST
00001d4c: PUSH1 0x00
00001d4e: DUP1
00001d4f: PUSH2 0x1d58
00001d52: DUP4
00001d53: DUP6
00001d54: PUSH2 0x2f63
00001d57: JUMP
00001d58: JUMPDEST
00001d59: SWAP1
00001d5a: POP
00001d5b: DUP4
00001d5c: DUP2
00001d5d: LT
00001d5e: ISZERO
00001d5f: PUSH2 0x0ca0
00001d62: JUMPI
00001d63: PUSH1 0x40
00001d65: MLOAD
00001d66: PUSH3 0x461bcd
00001d6a: PUSH1 0xe5
00001d6c: SHL
00001d6d: DUP2
00001d6e: MSTORE
00001d6f: PUSH1 0x20
00001d71: PUSH1 0x04
00001d73: DUP3
00001d74: ADD
00001d75: MSTORE
00001d76: PUSH1 0x1b
00001d78: PUSH1 0x24
00001d7a: DUP3
00001d7b: ADD
00001d7c: MSTORE
00001d7d: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00001d9e: PUSH1 0x44
00001da0: DUP3
00001da1: ADD
00001da2: MSTORE
00001da3: PUSH1 0x64
00001da5: ADD
00001da6: PUSH2 0x0a3c
00001da9: JUMP
00001daa: JUMPDEST
00001dab: PUSH1 0x00
00001dad: DUP1
00001dae: PUSH1 0x00
00001db0: DUP1
00001db1: PUSH1 0x00
00001db3: DUP1
00001db4: PUSH1 0x00
00001db6: DUP1
00001db7: PUSH1 0x00
00001db9: PUSH2 0x1dc1
00001dbc: DUP11
00001dbd: PUSH2 0x2345
00001dc0: JUMP
00001dc1: JUMPDEST
00001dc2: SWAP3
00001dc3: POP
00001dc4: SWAP3
00001dc5: POP
00001dc6: SWAP3
00001dc7: POP
00001dc8: PUSH1 0x00
00001dca: DUP1
00001dcb: PUSH1 0x00
00001dcd: PUSH2 0x1ddf
00001dd0: DUP14
00001dd1: DUP7
00001dd2: DUP7
00001dd3: PUSH2 0x1dda
00001dd6: PUSH2 0x1ce6
00001dd9: JUMP
00001dda: JUMPDEST
00001ddb: PUSH2 0x2387
00001dde: JUMP
00001ddf: JUMPDEST
00001de0: SWAP2
00001de1: SWAP16
00001de2: SWAP1
00001de3: SWAP15
00001de4: POP
00001de5: SWAP1
00001de6: SWAP13
00001de7: POP
00001de8: SWAP6
00001de9: SWAP11
00001dea: POP
00001deb: SWAP4
00001dec: SWAP9
00001ded: POP
00001dee: SWAP2
00001def: SWAP7
00001df0: POP
00001df1: SWAP3
00001df2: SWAP5
00001df3: POP
00001df4: POP
00001df5: POP
00001df6: POP
00001df7: POP
00001df8: JUMP
00001df9: JUMPDEST
00001dfa: PUSH1 0x00
00001dfc: PUSH2 0x0ca0
00001dff: DUP4
00001e00: DUP4
00001e01: PUSH1 0x40
00001e03: MLOAD
00001e04: DUP1
00001e05: PUSH1 0x40
00001e07: ADD
00001e08: PUSH1 0x40
00001e0a: MSTORE
00001e0b: DUP1
00001e0c: PUSH1 0x1e
00001e0e: DUP2
00001e0f: MSTORE
00001e10: PUSH1 0x20
00001e12: ADD
00001e13: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
00001e34: DUP2
00001e35: MSTORE
00001e36: POP
00001e37: PUSH2 0x1cac
00001e3a: JUMP
00001e3b: JUMPDEST
00001e3c: PUSH1 0x18
00001e3e: DUP1
00001e3f: SLOAD
00001e40: PUSH1 0xff
00001e42: PUSH1 0xa0
00001e44: SHL
00001e45: NOT
00001e46: AND
00001e47: PUSH1 0x01
00001e49: PUSH1 0xa0
00001e4b: SHL
00001e4c: OR
00001e4d: SWAP1
00001e4e: SSTORE
00001e4f: SELFBALANCE
00001e50: PUSH2 0x1e58
00001e53: DUP3
00001e54: PUSH2 0x23d7
00001e57: JUMP
00001e58: JUMPDEST
00001e59: PUSH1 0x00
00001e5b: PUSH2 0x1e64
00001e5e: SELFBALANCE
00001e5f: DUP4
00001e60: PUSH2 0x1df9
00001e63: JUMP
00001e64: JUMPDEST
00001e65: SWAP1
00001e66: POP
00001e67: PUSH1 0x00
00001e69: PUSH2 0x1e96
00001e6c: PUSH2 0x1e82
00001e6f: PUSH1 0x12
00001e71: SLOAD
00001e72: PUSH1 0x14
00001e74: SLOAD
00001e75: PUSH2 0x1d4b
00001e78: SWAP1
00001e79: SWAP2
00001e7a: SWAP1
00001e7b: PUSH4 0xffffffff
00001e80: AND
00001e81: JUMP
00001e82: JUMPDEST
00001e83: PUSH1 0x14
00001e85: SLOAD
00001e86: PUSH2 0x1e90
00001e89: SWAP1
00001e8a: DUP6
00001e8b: SWAP1
00001e8c: PUSH2 0x2538
00001e8f: JUMP
00001e90: JUMPDEST
00001e91: SWAP1
00001e92: PUSH2 0x1d09
00001e95: JUMP
00001e96: JUMPDEST
00001e97: PUSH1 0x16
00001e99: SLOAD
00001e9a: SWAP1
00001e9b: SWAP2
00001e9c: POP
00001e9d: PUSH2 0x1eaf
00001ea0: SWAP1
00001ea1: PUSH1 0x01
00001ea3: PUSH1 0x01
00001ea5: PUSH1 0xa0
00001ea7: SHL
00001ea8: SUB
00001ea9: AND
00001eaa: DUP3
00001eab: PUSH2 0x25b7
00001eae: JUMP
00001eaf: JUMPDEST
00001eb0: PUSH1 0x40
00001eb2: DUP1
00001eb3: MLOAD
00001eb4: DUP6
00001eb5: DUP2
00001eb6: MSTORE
00001eb7: PUSH1 0x20
00001eb9: DUP2
00001eba: ADD
00001ebb: DUP5
00001ebc: SWAP1
00001ebd: MSTORE
00001ebe: PUSH32 0x28fc98272ce761178794ad6768050fea1648e07f1e2ffe15afd3a290f8381486
00001edf: SWAP2
00001ee0: ADD
00001ee1: PUSH1 0x40
00001ee3: MLOAD
00001ee4: DUP1
00001ee5: SWAP2
00001ee6: SUB
00001ee7: SWAP1
00001ee8: LOG1
00001ee9: POP
00001eea: POP
00001eeb: PUSH1 0x18
00001eed: DUP1
00001eee: SLOAD
00001eef: PUSH1 0xff
00001ef1: PUSH1 0xa0
00001ef3: SHL
00001ef4: NOT
00001ef5: AND
00001ef6: SWAP1
00001ef7: SSTORE
00001ef8: POP
00001ef9: POP
00001efa: JUMP
00001efb: JUMPDEST
00001efc: PUSH1 0x18
00001efe: DUP1
00001eff: SLOAD
00001f00: PUSH1 0xff
00001f02: PUSH1 0xa0
00001f04: SHL
00001f05: NOT
00001f06: AND
00001f07: PUSH1 0x01
00001f09: PUSH1 0xa0
00001f0b: SHL
00001f0c: OR
00001f0d: SWAP1
00001f0e: SSTORE
00001f0f: DUP1
00001f10: ISZERO
00001f11: PUSH2 0x1f1d
00001f14: JUMPI
00001f15: PUSH2 0x1f1d
00001f18: DUP2
00001f19: PUSH2 0x25ed
00001f1c: JUMP
00001f1d: JUMPDEST
00001f1e: POP
00001f1f: PUSH1 0x18
00001f21: DUP1
00001f22: SLOAD
00001f23: PUSH1 0xff
00001f25: PUSH1 0xa0
00001f27: SHL
00001f28: NOT
00001f29: AND
00001f2a: SWAP1
00001f2b: SSTORE
00001f2c: JUMP
00001f2d: JUMPDEST
00001f2e: PUSH1 0x01
00001f30: PUSH1 0x01
00001f32: PUSH1 0xa0
00001f34: SHL
00001f35: SUB
00001f36: DUP4
00001f37: AND
00001f38: PUSH1 0x00
00001f3a: SWAP1
00001f3b: DUP2
00001f3c: MSTORE
00001f3d: PUSH1 0x06
00001f3f: PUSH1 0x20
00001f41: MSTORE
00001f42: PUSH1 0x40
00001f44: SWAP1
00001f45: KECCAK256
00001f46: SLOAD
00001f47: PUSH1 0xff
00001f49: AND
00001f4a: DUP1
00001f4b: PUSH2 0x1f6c
00001f4e: JUMPI
00001f4f: POP
00001f50: PUSH1 0x01
00001f52: PUSH1 0x01
00001f54: PUSH1 0xa0
00001f56: SHL
00001f57: SUB
00001f58: DUP3
00001f59: AND
00001f5a: PUSH1 0x00
00001f5c: SWAP1
00001f5d: DUP2
00001f5e: MSTORE
00001f5f: PUSH1 0x06
00001f61: PUSH1 0x20
00001f63: MSTORE
00001f64: PUSH1 0x40
00001f66: SWAP1
00001f67: KECCAK256
00001f68: SLOAD
00001f69: PUSH1 0xff
00001f6b: AND
00001f6c: JUMPDEST
00001f6d: ISZERO
00001f6e: PUSH2 0x1f7e
00001f71: JUMPI
00001f72: PUSH2 0x1f79
00001f75: PUSH2 0x27af
00001f78: JUMP
00001f79: JUMPDEST
00001f7a: PUSH2 0x1fe1
00001f7d: JUMP
00001f7e: JUMPDEST
00001f7f: PUSH1 0x1a
00001f81: SLOAD
00001f82: DUP2
00001f83: GT
00001f84: ISZERO
00001f85: PUSH2 0x1fe1
00001f88: JUMPI
00001f89: PUSH1 0x40
00001f8b: MLOAD
00001f8c: PUSH3 0x461bcd
00001f90: PUSH1 0xe5
00001f92: SHL
00001f93: DUP2
00001f94: MSTORE
00001f95: PUSH1 0x20
00001f97: PUSH1 0x04
00001f99: DUP3
00001f9a: ADD
00001f9b: MSTORE
00001f9c: PUSH1 0x28
00001f9e: PUSH1 0x24
00001fa0: DUP3
00001fa1: ADD
00001fa2: MSTORE
00001fa3: PUSH32 0x5472616e7366657220616d6f756e74206578636565647320746865206d617854
00001fc4: PUSH1 0x44
00001fc6: DUP3
00001fc7: ADD
00001fc8: MSTORE
00001fc9: PUSH8 0x3c20b6b7bab73a17
00001fd2: PUSH1 0xc1
00001fd4: SHL
00001fd5: PUSH1 0x64
00001fd7: DUP3
00001fd8: ADD
00001fd9: MSTORE
00001fda: PUSH1 0x84
00001fdc: ADD
00001fdd: PUSH2 0x0a3c
00001fe0: JUMP
00001fe1: JUMPDEST
00001fe2: PUSH1 0x01
00001fe4: PUSH1 0x01
00001fe6: PUSH1 0xa0
00001fe8: SHL
00001fe9: SUB
00001fea: DUP4
00001feb: AND
00001fec: PUSH1 0x00
00001fee: SWAP1
00001fef: DUP2
00001ff0: MSTORE
00001ff1: PUSH1 0x08
00001ff3: PUSH1 0x20
00001ff5: MSTORE
00001ff6: PUSH1 0x40
00001ff8: SWAP1
00001ff9: KECCAK256
00001ffa: SLOAD
00001ffb: PUSH1 0xff
00001ffd: AND
00001ffe: DUP1
00001fff: ISZERO
00002000: PUSH2 0x2022
00002003: JUMPI
00002004: POP
00002005: PUSH1 0x01
00002007: PUSH1 0x01
00002009: PUSH1 0xa0
0000200b: SHL
0000200c: SUB
0000200d: DUP3
0000200e: AND
0000200f: PUSH1 0x00
00002011: SWAP1
00002012: DUP2
00002013: MSTORE
00002014: PUSH1 0x08
00002016: PUSH1 0x20
00002018: MSTORE
00002019: PUSH1 0x40
0000201b: SWAP1
0000201c: KECCAK256
0000201d: SLOAD
0000201e: PUSH1 0xff
00002020: AND
00002021: ISZERO
00002022: JUMPDEST
00002023: ISZERO
00002024: PUSH2 0x2037
00002027: JUMPI
00002028: PUSH2 0x2032
0000202b: DUP4
0000202c: DUP4
0000202d: DUP4
0000202e: PUSH2 0x27f4
00002031: JUMP
00002032: JUMPDEST
00002033: PUSH2 0x2135
00002036: JUMP
00002037: JUMPDEST
00002038: PUSH1 0x01
0000203a: PUSH1 0x01
0000203c: PUSH1 0xa0
0000203e: SHL
0000203f: SUB
00002040: DUP4
00002041: AND
00002042: PUSH1 0x00
00002044: SWAP1
00002045: DUP2
00002046: MSTORE
00002047: PUSH1 0x08
00002049: PUSH1 0x20
0000204b: MSTORE
0000204c: PUSH1 0x40
0000204e: SWAP1
0000204f: KECCAK256
00002050: SLOAD
00002051: PUSH1 0xff
00002053: AND
00002054: ISZERO
00002055: DUP1
00002056: ISZERO
00002057: PUSH2 0x2078
0000205a: JUMPI
0000205b: POP
0000205c: PUSH1 0x01
0000205e: PUSH1 0x01
00002060: PUSH1 0xa0
00002062: SHL
00002063: SUB
00002064: DUP3
00002065: AND
00002066: PUSH1 0x00
00002068: SWAP1
00002069: DUP2
0000206a: MSTORE
0000206b: PUSH1 0x08
0000206d: PUSH1 0x20
0000206f: MSTORE
00002070: PUSH1 0x40
00002072: SWAP1
00002073: KECCAK256
00002074: SLOAD
00002075: PUSH1 0xff
00002077: AND
00002078: JUMPDEST
00002079: ISZERO
0000207a: PUSH2 0x2088
0000207d: JUMPI
0000207e: PUSH2 0x2032
00002081: DUP4
00002082: DUP4
00002083: DUP4
00002084: PUSH2 0x291a
00002087: JUMP
00002088: JUMPDEST
00002089: PUSH1 0x01
0000208b: PUSH1 0x01
0000208d: PUSH1 0xa0
0000208f: SHL
00002090: SUB
00002091: DUP4
00002092: AND
00002093: PUSH1 0x00
00002095: SWAP1
00002096: DUP2
00002097: MSTORE
00002098: PUSH1 0x08
0000209a: PUSH1 0x20
0000209c: MSTORE
0000209d: PUSH1 0x40
0000209f: SWAP1
000020a0: KECCAK256
000020a1: SLOAD
000020a2: PUSH1 0xff
000020a4: AND
000020a5: ISZERO
000020a6: DUP1
000020a7: ISZERO
000020a8: PUSH2 0x20ca
000020ab: JUMPI
000020ac: POP
000020ad: PUSH1 0x01
000020af: PUSH1 0x01
000020b1: PUSH1 0xa0
000020b3: SHL
000020b4: SUB
000020b5: DUP3
000020b6: AND
000020b7: PUSH1 0x00
000020b9: SWAP1
000020ba: DUP2
000020bb: MSTORE
000020bc: PUSH1 0x08
000020be: PUSH1 0x20
000020c0: MSTORE
000020c1: PUSH1 0x40
000020c3: SWAP1
000020c4: KECCAK256
000020c5: SLOAD
000020c6: PUSH1 0xff
000020c8: AND
000020c9: ISZERO
000020ca: JUMPDEST
000020cb: ISZERO
000020cc: PUSH2 0x20da
000020cf: JUMPI
000020d0: PUSH2 0x2032
000020d3: DUP4
000020d4: DUP4
000020d5: DUP4
000020d6: PUSH2 0x29c3
000020d9: JUMP
000020da: JUMPDEST
000020db: PUSH1 0x01
000020dd: PUSH1 0x01
000020df: PUSH1 0xa0
000020e1: SHL
000020e2: SUB
000020e3: DUP4
000020e4: AND
000020e5: PUSH1 0x00
000020e7: SWAP1
000020e8: DUP2
000020e9: MSTORE
000020ea: PUSH1 0x08
000020ec: PUSH1 0x20
000020ee: MSTORE
000020ef: PUSH1 0x40
000020f1: SWAP1
000020f2: KECCAK256
000020f3: SLOAD
000020f4: PUSH1 0xff
000020f6: AND
000020f7: DUP1
000020f8: ISZERO
000020f9: PUSH2 0x211a
000020fc: JUMPI
000020fd: POP
000020fe: PUSH1 0x01
00002100: PUSH1 0x01
00002102: PUSH1 0xa0
00002104: SHL
00002105: SUB
00002106: DUP3
00002107: AND
00002108: PUSH1 0x00
0000210a: SWAP1
0000210b: DUP2
0000210c: MSTORE
0000210d: PUSH1 0x08
0000210f: PUSH1 0x20
00002111: MSTORE
00002112: PUSH1 0x40
00002114: SWAP1
00002115: KECCAK256
00002116: SLOAD
00002117: PUSH1 0xff
00002119: AND
0000211a: JUMPDEST
0000211b: ISZERO
0000211c: PUSH2 0x212a
0000211f: JUMPI
00002120: PUSH2 0x2032
00002123: DUP4
00002124: DUP4
00002125: DUP4
00002126: PUSH2 0x2a16
00002129: JUMP
0000212a: JUMPDEST
0000212b: PUSH2 0x2135
0000212e: DUP4
0000212f: DUP4
00002130: DUP4
00002131: PUSH2 0x29c3
00002134: JUMP
00002135: JUMPDEST
00002136: PUSH1 0x01
00002138: PUSH1 0x01
0000213a: PUSH1 0xa0
0000213c: SHL
0000213d: SUB
0000213e: DUP4
0000213f: AND
00002140: PUSH1 0x00
00002142: SWAP1
00002143: DUP2
00002144: MSTORE
00002145: PUSH1 0x06
00002147: PUSH1 0x20
00002149: MSTORE
0000214a: PUSH1 0x40
0000214c: SWAP1
0000214d: KECCAK256
0000214e: SLOAD
0000214f: PUSH1 0xff
00002151: AND
00002152: DUP1
00002153: PUSH2 0x2174
00002156: JUMPI
00002157: POP
00002158: PUSH1 0x01
0000215a: PUSH1 0x01
0000215c: PUSH1 0xa0
0000215e: SHL
0000215f: SUB
00002160: DUP3
00002161: AND
00002162: PUSH1 0x00
00002164: SWAP1
00002165: DUP2
00002166: MSTORE
00002167: PUSH1 0x06
00002169: PUSH1 0x20
0000216b: MSTORE
0000216c: PUSH1 0x40
0000216e: SWAP1
0000216f: KECCAK256
00002170: SLOAD
00002171: PUSH1 0xff
00002173: AND
00002174: JUMPDEST
00002175: ISZERO
00002176: PUSH2 0x2190
00002179: JUMPI
0000217a: PUSH2 0x2190
0000217d: PUSH1 0x11
0000217f: SLOAD
00002180: PUSH1 0x10
00002182: SSTORE
00002183: PUSH1 0x13
00002185: SLOAD
00002186: PUSH1 0x12
00002188: SSTORE
00002189: PUSH1 0x15
0000218b: SLOAD
0000218c: PUSH1 0x14
0000218e: SSTORE
0000218f: JUMP
00002190: JUMPDEST
00002191: POP
00002192: POP
00002193: POP
00002194: JUMP
00002195: JUMPDEST
00002196: PUSH1 0x0b
00002198: SLOAD
00002199: PUSH1 0x0a
0000219b: SLOAD
0000219c: PUSH1 0x00
0000219e: SWAP2
0000219f: DUP3
000021a0: SWAP2
000021a1: DUP3
000021a2: JUMPDEST
000021a3: PUSH1 0x09
000021a5: SLOAD
000021a6: DUP2
000021a7: LT
000021a8: ISZERO
000021a9: PUSH2 0x22e7
000021ac: JUMPI
000021ad: DUP3
000021ae: PUSH1 0x03
000021b0: PUSH1 0x00
000021b2: PUSH1 0x09
000021b4: DUP5
000021b5: DUP2
000021b6: SLOAD
000021b7: DUP2
000021b8: LT
000021b9: PUSH2 0x21c4
000021bc: JUMPI
000021bd: PUSH2 0x21c4
000021c0: PUSH2 0x3055
000021c3: JUMP
000021c4: JUMPDEST
000021c5: PUSH1 0x00
000021c7: SWAP2
000021c8: DUP3
000021c9: MSTORE
000021ca: PUSH1 0x20
000021cc: DUP1
000021cd: DUP4
000021ce: KECCAK256
000021cf: SWAP1
000021d0: SWAP2
000021d1: ADD
000021d2: SLOAD
000021d3: PUSH1 0x01
000021d5: PUSH1 0x01
000021d7: PUSH1 0xa0
000021d9: SHL
000021da: SUB
000021db: AND
000021dc: DUP4
000021dd: MSTORE
000021de: DUP3
000021df: ADD
000021e0: SWAP3
000021e1: SWAP1
000021e2: SWAP3
000021e3: MSTORE
000021e4: PUSH1 0x40
000021e6: ADD
000021e7: SWAP1
000021e8: KECCAK256
000021e9: SLOAD
000021ea: GT
000021eb: DUP1
000021ec: PUSH2 0x222f
000021ef: JUMPI
000021f0: POP
000021f1: DUP2
000021f2: PUSH1 0x04
000021f4: PUSH1 0x00
000021f6: PUSH1 0x09
000021f8: DUP5
000021f9: DUP2
000021fa: SLOAD
000021fb: DUP2
000021fc: LT
000021fd: PUSH2 0x2208
00002200: JUMPI
00002201: PUSH2 0x2208
00002204: PUSH2 0x3055
00002207: JUMP
00002208: JUMPDEST
00002209: PUSH1 0x00
0000220b: SWAP2
0000220c: DUP3
0000220d: MSTORE
0000220e: PUSH1 0x20
00002210: DUP1
00002211: DUP4
00002212: KECCAK256
00002213: SWAP1
00002214: SWAP2
00002215: ADD
00002216: SLOAD
00002217: PUSH1 0x01
00002219: PUSH1 0x01
0000221b: PUSH1 0xa0
0000221d: SHL
0000221e: SUB
0000221f: AND
00002220: DUP4
00002221: MSTORE
00002222: DUP3
00002223: ADD
00002224: SWAP3
00002225: SWAP1
00002226: SWAP3
00002227: MSTORE
00002228: PUSH1 0x40
0000222a: ADD
0000222b: SWAP1
0000222c: KECCAK256
0000222d: SLOAD
0000222e: GT
0000222f: JUMPDEST
00002230: ISZERO
00002231: PUSH2 0x2245
00002234: JUMPI
00002235: PUSH1 0x0b
00002237: SLOAD
00002238: PUSH1 0x0a
0000223a: SLOAD
0000223b: SWAP5
0000223c: POP
0000223d: SWAP5
0000223e: POP
0000223f: POP
00002240: POP
00002241: POP
00002242: SWAP1
00002243: SWAP2
00002244: JUMP
00002245: JUMPDEST
00002246: PUSH2 0x228b
00002249: PUSH1 0x03
0000224b: PUSH1 0x00
0000224d: PUSH1 0x09
0000224f: DUP5
00002250: DUP2
00002251: SLOAD
00002252: DUP2
00002253: LT
00002254: PUSH2 0x225f
00002257: JUMPI
00002258: PUSH2 0x225f
0000225b: PUSH2 0x3055
0000225e: JUMP
0000225f: JUMPDEST
00002260: PUSH1 0x00
00002262: SWAP2
00002263: DUP3
00002264: MSTORE
00002265: PUSH1 0x20
00002267: DUP1
00002268: DUP4
00002269: KECCAK256
0000226a: SWAP1
0000226b: SWAP2
0000226c: ADD
0000226d: SLOAD
0000226e: PUSH1 0x01
00002270: PUSH1 0x01
00002272: PUSH1 0xa0
00002274: SHL
00002275: SUB
00002276: AND
00002277: DUP4
00002278: MSTORE
00002279: DUP3
0000227a: ADD
0000227b: SWAP3
0000227c: SWAP1
0000227d: SWAP3
0000227e: MSTORE
0000227f: PUSH1 0x40
00002281: ADD
00002282: SWAP1
00002283: KECCAK256
00002284: SLOAD
00002285: DUP5
00002286: SWAP1
00002287: PUSH2 0x1df9
0000228a: JUMP
0000228b: JUMPDEST
0000228c: SWAP3
0000228d: POP
0000228e: PUSH2 0x22d3
00002291: PUSH1 0x04
00002293: PUSH1 0x00
00002295: PUSH1 0x09
00002297: DUP5
00002298: DUP2
00002299: SLOAD
0000229a: DUP2
0000229b: LT
0000229c: PUSH2 0x22a7
0000229f: JUMPI
000022a0: PUSH2 0x22a7
000022a3: PUSH2 0x3055
000022a6: JUMP
000022a7: JUMPDEST
000022a8: PUSH1 0x00
000022aa: SWAP2
000022ab: DUP3
000022ac: MSTORE
000022ad: PUSH1 0x20
000022af: DUP1
000022b0: DUP4
000022b1: KECCAK256
000022b2: SWAP1
000022b3: SWAP2
000022b4: ADD
000022b5: SLOAD
000022b6: PUSH1 0x01
000022b8: PUSH1 0x01
000022ba: PUSH1 0xa0
000022bc: SHL
000022bd: SUB
000022be: AND
000022bf: DUP4
000022c0: MSTORE
000022c1: DUP3
000022c2: ADD
000022c3: SWAP3
000022c4: SWAP1
000022c5: SWAP3
000022c6: MSTORE
000022c7: PUSH1 0x40
000022c9: ADD
000022ca: SWAP1
000022cb: KECCAK256
000022cc: SLOAD
000022cd: DUP4
000022ce: SWAP1
000022cf: PUSH2 0x1df9
000022d2: JUMP
000022d3: JUMPDEST
000022d4: SWAP2
000022d5: POP
000022d6: DUP1
000022d7: PUSH2 0x22df
000022da: DUP2
000022db: PUSH2 0x300e
000022de: JUMP
000022df: JUMPDEST
000022e0: SWAP2
000022e1: POP
000022e2: POP
000022e3: PUSH2 0x21a2
000022e6: JUMP
000022e7: JUMPDEST
000022e8: POP
000022e9: PUSH1 0x0a
000022eb: SLOAD
000022ec: PUSH1 0x0b
000022ee: SLOAD
000022ef: PUSH2 0x22f7
000022f2: SWAP2
000022f3: PUSH2 0x1d09
000022f6: JUMP
000022f7: JUMPDEST
000022f8: DUP3
000022f9: LT
000022fa: ISZERO
000022fb: PUSH2 0x230e
000022fe: JUMPI
000022ff: PUSH1 0x0b
00002301: SLOAD
00002302: PUSH1 0x0a
00002304: SLOAD
00002305: SWAP4
00002306: POP
00002307: SWAP4
00002308: POP
00002309: POP
0000230a: POP
0000230b: SWAP1
0000230c: SWAP2
0000230d: JUMP
0000230e: JUMPDEST
0000230f: SWAP1
00002310: SWAP4
00002311: SWAP1
00002312: SWAP3
00002313: POP
00002314: SWAP1
00002315: POP
00002316: JUMP
00002317: JUMPDEST
00002318: PUSH1 0x00
0000231a: DUP2
0000231b: DUP4
0000231c: PUSH2 0x2338
0000231f: JUMPI
00002320: PUSH1 0x40
00002322: MLOAD
00002323: PUSH3 0x461bcd
00002327: PUSH1 0xe5
00002329: SHL
0000232a: DUP2
0000232b: MSTORE
0000232c: PUSH1 0x04
0000232e: ADD
0000232f: PUSH2 0x0a3c
00002332: SWAP2
00002333: SWAP1
00002334: PUSH2 0x2e7c
00002337: JUMP
00002338: JUMPDEST
00002339: POP
0000233a: PUSH1 0x00
0000233c: PUSH2 0x1cdd
0000233f: DUP5
00002340: DUP7
00002341: PUSH2 0x2f7b
00002344: JUMP
00002345: JUMPDEST
00002346: PUSH1 0x00
00002348: DUP1
00002349: PUSH1 0x00
0000234b: DUP1
0000234c: PUSH2 0x2354
0000234f: DUP6
00002350: PUSH2 0x2a89
00002353: JUMP
00002354: JUMPDEST
00002355: SWAP1
00002356: POP
00002357: PUSH1 0x00
00002359: PUSH2 0x2361
0000235c: DUP7
0000235d: PUSH2 0x2aa5
00002360: JUMP
00002361: JUMPDEST
00002362: SWAP1
00002363: POP
00002364: PUSH1 0x00
00002366: PUSH2 0x2379
00002369: DUP3
0000236a: PUSH2 0x2373
0000236d: DUP10
0000236e: DUP7
0000236f: PUSH2 0x1df9
00002372: JUMP
00002373: JUMPDEST
00002374: SWAP1
00002375: PUSH2 0x1df9
00002378: JUMP
00002379: JUMPDEST
0000237a: SWAP8
0000237b: SWAP3
0000237c: SWAP7
0000237d: POP
0000237e: SWAP1
0000237f: SWAP5
00002380: POP
00002381: SWAP1
00002382: SWAP3
00002383: POP
00002384: POP
00002385: POP
00002386: JUMP
00002387: JUMPDEST
00002388: PUSH1 0x00
0000238a: DUP1
0000238b: DUP1
0000238c: DUP1
0000238d: PUSH2 0x2396
00002390: DUP9
00002391: DUP7
00002392: PUSH2 0x2538
00002395: JUMP
00002396: JUMPDEST
00002397: SWAP1
00002398: POP
00002399: PUSH1 0x00
0000239b: PUSH2 0x23a4
0000239e: DUP9
0000239f: DUP8
000023a0: PUSH2 0x2538
000023a3: JUMP
000023a4: JUMPDEST
000023a5: SWAP1
000023a6: POP
000023a7: PUSH1 0x00
000023a9: PUSH2 0x23b2
000023ac: DUP9
000023ad: DUP9
000023ae: PUSH2 0x2538
000023b1: JUMP
000023b2: JUMPDEST
000023b3: SWAP1
000023b4: POP
000023b5: PUSH1 0x00
000023b7: PUSH2 0x23c4
000023ba: DUP3
000023bb: PUSH2 0x2373
000023be: DUP7
000023bf: DUP7
000023c0: PUSH2 0x1df9
000023c3: JUMP
000023c4: JUMPDEST
000023c5: SWAP4
000023c6: SWAP12
000023c7: SWAP4
000023c8: SWAP11
000023c9: POP
000023ca: SWAP2
000023cb: SWAP9
000023cc: POP
000023cd: SWAP2
000023ce: SWAP7
000023cf: POP
000023d0: POP
000023d1: POP
000023d2: POP
000023d3: POP
000023d4: POP
000023d5: POP
000023d6: JUMP
000023d7: JUMPDEST
000023d8: PUSH1 0x40
000023da: DUP1
000023db: MLOAD
000023dc: PUSH1 0x02
000023de: DUP1
000023df: DUP3
000023e0: MSTORE
000023e1: PUSH1 0x60
000023e3: DUP3
000023e4: ADD
000023e5: DUP4
000023e6: MSTORE
000023e7: PUSH1 0x00
000023e9: SWAP3
000023ea: PUSH1 0x20
000023ec: DUP4
000023ed: ADD
000023ee: SWAP1
000023ef: DUP1
000023f0: CALLDATASIZE
000023f1: DUP4
000023f2: CALLDATACOPY
000023f3: ADD
000023f4: SWAP1
000023f5: POP
000023f6: POP
000023f7: SWAP1
000023f8: POP
000023f9: ADDRESS
000023fa: DUP2
000023fb: PUSH1 0x00
000023fd: DUP2
000023fe: MLOAD
000023ff: DUP2
00002400: LT
00002401: PUSH2 0x240c
00002404: JUMPI
00002405: PUSH2 0x240c
00002408: PUSH2 0x3055
0000240b: JUMP
0000240c: JUMPDEST
0000240d: PUSH1 0x01
0000240f: PUSH1 0x01
00002411: PUSH1 0xa0
00002413: SHL
00002414: SUB
00002415: SWAP3
00002416: DUP4
00002417: AND
00002418: PUSH1 0x20
0000241a: SWAP2
0000241b: DUP3
0000241c: MUL
0000241d: SWAP3
0000241e: SWAP1
0000241f: SWAP3
00002420: ADD
00002421: DUP2
00002422: ADD
00002423: SWAP2
00002424: SWAP1
00002425: SWAP2
00002426: MSTORE
00002427: PUSH1 0x17
00002429: SLOAD
0000242a: PUSH1 0x40
0000242c: DUP1
0000242d: MLOAD
0000242e: PUSH4 0x15ab88c9
00002433: PUSH1 0xe3
00002435: SHL
00002436: DUP2
00002437: MSTORE
00002438: SWAP1
00002439: MLOAD
0000243a: SWAP2
0000243b: SWAP1
0000243c: SWAP4
0000243d: AND
0000243e: SWAP3
0000243f: PUSH4 0xad5c4648
00002444: SWAP3
00002445: PUSH1 0x04
00002447: DUP1
00002448: DUP4
00002449: ADD
0000244a: SWAP4
0000244b: SWAP2
0000244c: SWAP3
0000244d: DUP3
0000244e: SWAP1
0000244f: SUB
00002450: ADD
00002451: DUP2
00002452: DUP7
00002453: DUP1
00002454: EXTCODESIZE
00002455: ISZERO
00002456: DUP1
00002457: ISZERO
00002458: PUSH2 0x2460
0000245b: JUMPI
0000245c: PUSH1 0x00
0000245e: DUP1
0000245f: REVERT
00002460: JUMPDEST
00002461: POP
00002462: GAS
00002463: STATICCALL
00002464: ISZERO
00002465: DUP1
00002466: ISZERO
00002467: PUSH2 0x2474
0000246a: JUMPI
0000246b: RETURNDATASIZE
0000246c: PUSH1 0x00
0000246e: DUP1
0000246f: RETURNDATACOPY
00002470: RETURNDATASIZE
00002471: PUSH1 0x00
00002473: REVERT
00002474: JUMPDEST
00002475: POP
00002476: POP
00002477: POP
00002478: POP
00002479: PUSH1 0x40
0000247b: MLOAD
0000247c: RETURNDATASIZE
0000247d: PUSH1 0x1f
0000247f: NOT
00002480: PUSH1 0x1f
00002482: DUP3
00002483: ADD
00002484: AND
00002485: DUP3
00002486: ADD
00002487: DUP1
00002488: PUSH1 0x40
0000248a: MSTORE
0000248b: POP
0000248c: DUP2
0000248d: ADD
0000248e: SWAP1
0000248f: PUSH2 0x2498
00002492: SWAP2
00002493: SWAP1
00002494: PUSH2 0x2c88
00002497: JUMP
00002498: JUMPDEST
00002499: DUP2
0000249a: PUSH1 0x01
0000249c: DUP2
0000249d: MLOAD
0000249e: DUP2
0000249f: LT
000024a0: PUSH2 0x24ab
000024a3: JUMPI
000024a4: PUSH2 0x24ab
000024a7: PUSH2 0x3055
000024aa: JUMP
000024ab: JUMPDEST
000024ac: PUSH1 0x01
000024ae: PUSH1 0x01
000024b0: PUSH1 0xa0
000024b2: SHL
000024b3: SUB
000024b4: SWAP3
000024b5: DUP4
000024b6: AND
000024b7: PUSH1 0x20
000024b9: SWAP2
000024ba: DUP3
000024bb: MUL
000024bc: SWAP3
000024bd: SWAP1
000024be: SWAP3
000024bf: ADD
000024c0: ADD
000024c1: MSTORE
000024c2: PUSH1 0x17
000024c4: SLOAD
000024c5: PUSH2 0x24d1
000024c8: SWAP2
000024c9: ADDRESS
000024ca: SWAP2
000024cb: AND
000024cc: DUP5
000024cd: PUSH2 0x189f
000024d0: JUMP
000024d1: JUMPDEST
000024d2: PUSH1 0x17
000024d4: SLOAD
000024d5: PUSH1 0x40
000024d7: MLOAD
000024d8: PUSH4 0x791ac947
000024dd: PUSH1 0xe0
000024df: SHL
000024e0: DUP2
000024e1: MSTORE
000024e2: PUSH1 0x01
000024e4: PUSH1 0x01
000024e6: PUSH1 0xa0
000024e8: SHL
000024e9: SUB
000024ea: SWAP1
000024eb: SWAP2
000024ec: AND
000024ed: SWAP1
000024ee: PUSH4 0x791ac947
000024f3: SWAP1
000024f4: PUSH2 0x250a
000024f7: SWAP1
000024f8: DUP6
000024f9: SWAP1
000024fa: PUSH1 0x00
000024fc: SWAP1
000024fd: DUP7
000024fe: SWAP1
000024ff: ADDRESS
00002500: SWAP1
00002501: TIMESTAMP
00002502: SWAP1
00002503: PUSH1 0x04
00002505: ADD
00002506: PUSH2 0x2f27
00002509: JUMP
0000250a: JUMPDEST
0000250b: PUSH1 0x00
0000250d: PUSH1 0x40
0000250f: MLOAD
00002510: DUP1
00002511: DUP4
00002512: SUB
00002513: DUP2
00002514: PUSH1 0x00
00002516: DUP8
00002517: DUP1
00002518: EXTCODESIZE
00002519: ISZERO
0000251a: DUP1
0000251b: ISZERO
0000251c: PUSH2 0x2524
0000251f: JUMPI
00002520: PUSH1 0x00
00002522: DUP1
00002523: REVERT
00002524: JUMPDEST
00002525: POP
00002526: GAS
00002527: CALL
00002528: ISZERO
00002529: DUP1
0000252a: ISZERO
0000252b: PUSH2 0x1ca4
0000252e: JUMPI
0000252f: RETURNDATASIZE
00002530: PUSH1 0x00
00002532: DUP1
00002533: RETURNDATACOPY
00002534: RETURNDATASIZE
00002535: PUSH1 0x00
00002537: REVERT
00002538: JUMPDEST
00002539: PUSH1 0x00
0000253b: DUP3
0000253c: PUSH2 0x2547
0000253f: JUMPI
00002540: POP
00002541: PUSH1 0x00
00002543: PUSH2 0x0b42
00002546: JUMP
00002547: JUMPDEST
00002548: PUSH1 0x00
0000254a: PUSH2 0x2553
0000254d: DUP4
0000254e: DUP6
0000254f: PUSH2 0x2f9d
00002552: JUMP
00002553: JUMPDEST
00002554: SWAP1
00002555: POP
00002556: DUP3
00002557: PUSH2 0x2560
0000255a: DUP6
0000255b: DUP4
0000255c: PUSH2 0x2f7b
0000255f: JUMP
00002560: JUMPDEST
00002561: EQ
00002562: PUSH2 0x0ca0
00002565: JUMPI
00002566: PUSH1 0x40
00002568: MLOAD
00002569: PUSH3 0x461bcd
0000256d: PUSH1 0xe5
0000256f: SHL
00002570: DUP2
00002571: MSTORE
00002572: PUSH1 0x20
00002574: PUSH1 0x04
00002576: DUP3
00002577: ADD
00002578: MSTORE
00002579: PUSH1 0x21
0000257b: PUSH1 0x24
0000257d: DUP3
0000257e: ADD
0000257f: MSTORE
00002580: PUSH32 0x536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f
000025a1: PUSH1 0x44
000025a3: DUP3
000025a4: ADD
000025a5: MSTORE
000025a6: PUSH1 0x77
000025a8: PUSH1 0xf8
000025aa: SHL
000025ab: PUSH1 0x64
000025ad: DUP3
000025ae: ADD
000025af: MSTORE
000025b0: PUSH1 0x84
000025b2: ADD
000025b3: PUSH2 0x0a3c
000025b6: JUMP
000025b7: JUMPDEST
000025b8: PUSH1 0x40
000025ba: MLOAD
000025bb: PUSH1 0x01
000025bd: PUSH1 0x01
000025bf: PUSH1 0xa0
000025c1: SHL
000025c2: SUB
000025c3: DUP4
000025c4: AND
000025c5: SWAP1
000025c6: DUP3
000025c7: ISZERO
000025c8: PUSH2 0x08fc
000025cb: MUL
000025cc: SWAP1
000025cd: DUP4
000025ce: SWAP1
000025cf: PUSH1 0x00
000025d1: DUP2
000025d2: DUP2
000025d3: DUP2
000025d4: DUP6
000025d5: DUP9
000025d6: DUP9
000025d7: CALL
000025d8: SWAP4
000025d9: POP
000025da: POP
000025db: POP
000025dc: POP
000025dd: ISZERO
000025de: DUP1
000025df: ISZERO
000025e0: PUSH2 0x2190
000025e3: JUMPI
000025e4: RETURNDATASIZE
000025e5: PUSH1 0x00
000025e7: DUP1
000025e8: RETURNDATACOPY
000025e9: RETURNDATASIZE
000025ea: PUSH1 0x00
000025ec: REVERT
000025ed: JUMPDEST
000025ee: PUSH1 0x40
000025f0: DUP1
000025f1: MLOAD
000025f2: PUSH1 0x02
000025f4: DUP1
000025f5: DUP3
000025f6: MSTORE
000025f7: PUSH1 0x60
000025f9: DUP3
000025fa: ADD
000025fb: DUP4
000025fc: MSTORE
000025fd: PUSH1 0x00
000025ff: SWAP3
00002600: PUSH1 0x20
00002602: DUP4
00002603: ADD
00002604: SWAP1
00002605: DUP1
00002606: CALLDATASIZE
00002607: DUP4
00002608: CALLDATACOPY
00002609: POP
0000260a: POP
0000260b: PUSH1 0x17
0000260d: SLOAD
0000260e: PUSH1 0x40
00002610: DUP1
00002611: MLOAD
00002612: PUSH4 0x15ab88c9
00002617: PUSH1 0xe3
00002619: SHL
0000261a: DUP2
0000261b: MSTORE
0000261c: SWAP1
0000261d: MLOAD
0000261e: SWAP4
0000261f: SWAP5
00002620: POP
00002621: PUSH1 0x01
00002623: PUSH1 0x01
00002625: PUSH1 0xa0
00002627: SHL
00002628: SUB
00002629: SWAP1
0000262a: SWAP2
0000262b: AND
0000262c: SWAP3
0000262d: PUSH4 0xad5c4648
00002632: SWAP3
00002633: POP
00002634: PUSH1 0x04
00002636: DUP1
00002637: DUP4
00002638: ADD
00002639: SWAP3
0000263a: PUSH1 0x20
0000263c: SWAP3
0000263d: SWAP2
0000263e: SWAP1
0000263f: DUP3
00002640: SWAP1
00002641: SUB
00002642: ADD
00002643: DUP2
00002644: DUP7
00002645: DUP1
00002646: EXTCODESIZE
00002647: ISZERO
00002648: DUP1
00002649: ISZERO
0000264a: PUSH2 0x2652
0000264d: JUMPI
0000264e: PUSH1 0x00
00002650: DUP1
00002651: REVERT
00002652: JUMPDEST
00002653: POP
00002654: GAS
00002655: STATICCALL
00002656: ISZERO
00002657: DUP1
00002658: ISZERO
00002659: PUSH2 0x2666
0000265c: JUMPI
0000265d: RETURNDATASIZE
0000265e: PUSH1 0x00
00002660: DUP1
00002661: RETURNDATACOPY
00002662: RETURNDATASIZE
00002663: PUSH1 0x00
00002665: REVERT
00002666: JUMPDEST
00002667: POP
00002668: POP
00002669: POP
0000266a: POP
0000266b: PUSH1 0x40
0000266d: MLOAD
0000266e: RETURNDATASIZE
0000266f: PUSH1 0x1f
00002671: NOT
00002672: PUSH1 0x1f
00002674: DUP3
00002675: ADD
00002676: AND
00002677: DUP3
00002678: ADD
00002679: DUP1
0000267a: PUSH1 0x40
0000267c: MSTORE
0000267d: POP
0000267e: DUP2
0000267f: ADD
00002680: SWAP1
00002681: PUSH2 0x268a
00002684: SWAP2
00002685: SWAP1
00002686: PUSH2 0x2c88
00002689: JUMP
0000268a: JUMPDEST
0000268b: DUP2
0000268c: PUSH1 0x00
0000268e: DUP2
0000268f: MLOAD
00002690: DUP2
00002691: LT
00002692: PUSH2 0x269d
00002695: JUMPI
00002696: PUSH2 0x269d
00002699: PUSH2 0x3055
0000269c: JUMP
0000269d: JUMPDEST
0000269e: PUSH1 0x20
000026a0: MUL
000026a1: PUSH1 0x20
000026a3: ADD
000026a4: ADD
000026a5: SWAP1
000026a6: PUSH1 0x01
000026a8: PUSH1 0x01
000026aa: PUSH1 0xa0
000026ac: SHL
000026ad: SUB
000026ae: AND
000026af: SWAP1
000026b0: DUP2
000026b1: PUSH1 0x01
000026b3: PUSH1 0x01
000026b5: PUSH1 0xa0
000026b7: SHL
000026b8: SUB
000026b9: AND
000026ba: DUP2
000026bb: MSTORE
000026bc: POP
000026bd: POP
000026be: ADDRESS
000026bf: DUP2
000026c0: PUSH1 0x01
000026c2: DUP2
000026c3: MLOAD
000026c4: DUP2
000026c5: LT
000026c6: PUSH2 0x26d1
000026c9: JUMPI
000026ca: PUSH2 0x26d1
000026cd: PUSH2 0x3055
000026d0: JUMP
000026d1: JUMPDEST
000026d2: PUSH1 0x01
000026d4: PUSH1 0x01
000026d6: PUSH1 0xa0
000026d8: SHL
000026d9: SUB
000026da: SWAP3
000026db: DUP4
000026dc: AND
000026dd: PUSH1 0x20
000026df: SWAP2
000026e0: DUP3
000026e1: MUL
000026e2: SWAP3
000026e3: SWAP1
000026e4: SWAP3
000026e5: ADD
000026e6: ADD
000026e7: MSTORE
000026e8: PUSH1 0x17
000026ea: SLOAD
000026eb: AND
000026ec: PUSH4 0xb6f9de95
000026f1: DUP4
000026f2: PUSH1 0x00
000026f4: DUP5
000026f5: PUSH32 0x000000000000000000000000000000000000000000000000000000000000dead
00002716: PUSH2 0x2721
00002719: TIMESTAMP
0000271a: PUSH2 0x012c
0000271d: PUSH2 0x1d4b
00002720: JUMP
00002721: JUMPDEST
00002722: PUSH1 0x40
00002724: MLOAD
00002725: DUP7
00002726: PUSH4 0xffffffff
0000272b: AND
0000272c: PUSH1 0xe0
0000272e: SHL
0000272f: DUP2
00002730: MSTORE
00002731: PUSH1 0x04
00002733: ADD
00002734: PUSH2 0x2740
00002737: SWAP5
00002738: SWAP4
00002739: SWAP3
0000273a: SWAP2
0000273b: SWAP1
0000273c: PUSH2 0x2e47
0000273f: JUMP
00002740: JUMPDEST
00002741: PUSH1 0x00
00002743: PUSH1 0x40
00002745: MLOAD
00002746: DUP1
00002747: DUP4
00002748: SUB
00002749: DUP2
0000274a: DUP6
0000274b: DUP9
0000274c: DUP1
0000274d: EXTCODESIZE
0000274e: ISZERO
0000274f: DUP1
00002750: ISZERO
00002751: PUSH2 0x2759
00002754: JUMPI
00002755: PUSH1 0x00
00002757: DUP1
00002758: REVERT
00002759: JUMPDEST
0000275a: POP
0000275b: GAS
0000275c: CALL
0000275d: ISZERO
0000275e: DUP1
0000275f: ISZERO
00002760: PUSH2 0x276d
00002763: JUMPI
00002764: RETURNDATASIZE
00002765: PUSH1 0x00
00002767: DUP1
00002768: RETURNDATACOPY
00002769: RETURNDATASIZE
0000276a: PUSH1 0x00
0000276c: REVERT
0000276d: JUMPDEST
0000276e: POP
0000276f: POP
00002770: POP
00002771: POP
00002772: POP
00002773: PUSH32 0x6fd378a9d8b7345c2e5b18229aaf1e39d32b177b501d0a0d26a0a858a23a9624
00002794: DUP3
00002795: DUP3
00002796: PUSH1 0x40
00002798: MLOAD
00002799: PUSH2 0x27a3
0000279c: SWAP3
0000279d: SWAP2
0000279e: SWAP1
0000279f: PUSH2 0x2f06
000027a2: JUMP
000027a3: JUMPDEST
000027a4: PUSH1 0x40
000027a6: MLOAD
000027a7: DUP1
000027a8: SWAP2
000027a9: SUB
000027aa: SWAP1
000027ab: LOG1
000027ac: POP
000027ad: POP
000027ae: JUMP
000027af: JUMPDEST
000027b0: PUSH1 0x10
000027b2: SLOAD
000027b3: ISZERO
000027b4: DUP1
000027b5: ISZERO
000027b6: PUSH2 0x27bf
000027b9: JUMPI
000027ba: POP
000027bb: PUSH1 0x12
000027bd: SLOAD
000027be: ISZERO
000027bf: JUMPDEST
000027c0: DUP1
000027c1: ISZERO
000027c2: PUSH2 0x27cb
000027c5: JUMPI
000027c6: POP
000027c7: PUSH1 0x14
000027c9: SLOAD
000027ca: ISZERO
000027cb: JUMPDEST
000027cc: ISZERO
000027cd: PUSH2 0x27d2
000027d0: JUMPI
000027d1: JUMP
000027d2: JUMPDEST
000027d3: PUSH1 0x10
000027d5: DUP1
000027d6: SLOAD
000027d7: PUSH1 0x11
000027d9: SSTORE
000027da: PUSH1 0x12
000027dc: DUP1
000027dd: SLOAD
000027de: PUSH1 0x13
000027e0: SSTORE
000027e1: PUSH1 0x14
000027e3: DUP1
000027e4: SLOAD
000027e5: PUSH1 0x15
000027e7: SSTORE
000027e8: PUSH1 0x00
000027ea: SWAP3
000027eb: DUP4
000027ec: SWAP1
000027ed: SSTORE
000027ee: SWAP1
000027ef: DUP3
000027f0: SWAP1
000027f1: SSTORE
000027f2: SSTORE
000027f3: JUMP
000027f4: JUMPDEST
000027f5: PUSH1 0x00
000027f7: DUP1
000027f8: PUSH1 0x00
000027fa: DUP1
000027fb: PUSH1 0x00
000027fd: DUP1
000027fe: PUSH2 0x2806
00002801: DUP8
00002802: PUSH2 0x1daa
00002805: JUMP
00002806: JUMPDEST
00002807: PUSH1 0x01
00002809: PUSH1 0x01
0000280b: PUSH1 0xa0
0000280d: SHL
0000280e: SUB
0000280f: DUP16
00002810: AND
00002811: PUSH1 0x00
00002813: SWAP1
00002814: DUP2
00002815: MSTORE
00002816: PUSH1 0x04
00002818: PUSH1 0x20
0000281a: MSTORE
0000281b: PUSH1 0x40
0000281d: SWAP1
0000281e: KECCAK256
0000281f: SLOAD
00002820: SWAP6
00002821: SWAP12
00002822: POP
00002823: SWAP4
00002824: SWAP10
00002825: POP
00002826: SWAP2
00002827: SWAP8
00002828: POP
00002829: SWAP6
0000282a: POP
0000282b: SWAP4
0000282c: POP
0000282d: SWAP2
0000282e: POP
0000282f: PUSH2 0x2838
00002832: SWAP1
00002833: DUP9
00002834: PUSH2 0x1df9
00002837: JUMP
00002838: JUMPDEST
00002839: PUSH1 0x01
0000283b: PUSH1 0x01
0000283d: PUSH1 0xa0
0000283f: SHL
00002840: SUB
00002841: DUP11
00002842: AND
00002843: PUSH1 0x00
00002845: SWAP1
00002846: DUP2
00002847: MSTORE
00002848: PUSH1 0x04
0000284a: PUSH1 0x20
0000284c: SWAP1
0000284d: DUP2
0000284e: MSTORE
0000284f: PUSH1 0x40
00002851: DUP1
00002852: DUP4
00002853: KECCAK256
00002854: SWAP4
00002855: SWAP1
00002856: SWAP4
00002857: SSTORE
00002858: PUSH1 0x03
0000285a: SWAP1
0000285b: MSTORE
0000285c: KECCAK256
0000285d: SLOAD
0000285e: PUSH2 0x2867
00002861: SWAP1
00002862: DUP8
00002863: PUSH2 0x1df9
00002866: JUMP
00002867: JUMPDEST
00002868: PUSH1 0x01
0000286a: PUSH1 0x01
0000286c: PUSH1 0xa0
0000286e: SHL
0000286f: SUB
00002870: DUP1
00002871: DUP12
00002872: AND
00002873: PUSH1 0x00
00002875: SWAP1
00002876: DUP2
00002877: MSTORE
00002878: PUSH1 0x03
0000287a: PUSH1 0x20
0000287c: MSTORE
0000287d: PUSH1 0x40
0000287f: DUP1
00002880: DUP3
00002881: KECCAK256
00002882: SWAP4
00002883: SWAP1
00002884: SWAP4
00002885: SSTORE
00002886: SWAP1
00002887: DUP11
00002888: AND
00002889: DUP2
0000288a: MSTORE
0000288b: KECCAK256
0000288c: SLOAD
0000288d: PUSH2 0x2896
00002890: SWAP1
00002891: DUP7
00002892: PUSH2 0x1d4b
00002895: JUMP
00002896: JUMPDEST
00002897: PUSH1 0x01
00002899: PUSH1 0x01
0000289b: PUSH1 0xa0
0000289d: SHL
0000289e: SUB
0000289f: DUP10
000028a0: AND
000028a1: PUSH1 0x00
000028a3: SWAP1
000028a4: DUP2
000028a5: MSTORE
000028a6: PUSH1 0x03
000028a8: PUSH1 0x20
000028aa: MSTORE
000028ab: PUSH1 0x40
000028ad: SWAP1
000028ae: KECCAK256
000028af: SSTORE
000028b0: PUSH2 0x28b8
000028b3: DUP2
000028b4: PUSH2 0x2ac1
000028b7: JUMP
000028b8: JUMPDEST
000028b9: PUSH2 0x28c2
000028bc: DUP5
000028bd: DUP4
000028be: PUSH2 0x2b49
000028c1: JUMP
000028c2: JUMPDEST
000028c3: DUP8
000028c4: PUSH1 0x01
000028c6: PUSH1 0x01
000028c8: PUSH1 0xa0
000028ca: SHL
000028cb: SUB
000028cc: AND
000028cd: DUP10
000028ce: PUSH1 0x01
000028d0: PUSH1 0x01
000028d2: PUSH1 0xa0
000028d4: SHL
000028d5: SUB
000028d6: AND
000028d7: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000028f8: DUP6
000028f9: PUSH1 0x40
000028fb: MLOAD
000028fc: PUSH2 0x2907
000028ff: SWAP2
00002900: DUP2
00002901: MSTORE
00002902: PUSH1 0x20
00002904: ADD
00002905: SWAP1
00002906: JUMP
00002907: JUMPDEST
00002908: PUSH1 0x40
0000290a: MLOAD
0000290b: DUP1
0000290c: SWAP2
0000290d: SUB
0000290e: SWAP1
0000290f: LOG3
00002910: POP
00002911: POP
00002912: POP
00002913: POP
00002914: POP
00002915: POP
00002916: POP
00002917: POP
00002918: POP
00002919: JUMP
0000291a: JUMPDEST
0000291b: PUSH1 0x00
0000291d: DUP1
0000291e: PUSH1 0x00
00002920: DUP1
00002921: PUSH1 0x00
00002923: DUP1
00002924: PUSH2 0x292c
00002927: DUP8
00002928: PUSH2 0x1daa
0000292b: JUMP
0000292c: JUMPDEST
0000292d: PUSH1 0x01
0000292f: PUSH1 0x01
00002931: PUSH1 0xa0
00002933: SHL
00002934: SUB
00002935: DUP16
00002936: AND
00002937: PUSH1 0x00
00002939: SWAP1
0000293a: DUP2
0000293b: MSTORE
0000293c: PUSH1 0x03
0000293e: PUSH1 0x20
00002940: MSTORE
00002941: PUSH1 0x40
00002943: SWAP1
00002944: KECCAK256
00002945: SLOAD
00002946: SWAP6
00002947: SWAP12
00002948: POP
00002949: SWAP4
0000294a: SWAP10
0000294b: POP
0000294c: SWAP2
0000294d: SWAP8
0000294e: POP
0000294f: SWAP6
00002950: POP
00002951: SWAP4
00002952: POP
00002953: SWAP2
00002954: POP
00002955: PUSH2 0x295e
00002958: SWAP1
00002959: DUP8
0000295a: PUSH2 0x1df9
0000295d: JUMP
0000295e: JUMPDEST
0000295f: PUSH1 0x01
00002961: PUSH1 0x01
00002963: PUSH1 0xa0
00002965: SHL
00002966: SUB
00002967: DUP1
00002968: DUP12
00002969: AND
0000296a: PUSH1 0x00
0000296c: SWAP1
0000296d: DUP2
0000296e: MSTORE
0000296f: PUSH1 0x03
00002971: PUSH1 0x20
00002973: SWAP1
00002974: DUP2
00002975: MSTORE
00002976: PUSH1 0x40
00002978: DUP1
00002979: DUP4
0000297a: KECCAK256
0000297b: SWAP5
0000297c: SWAP1
0000297d: SWAP5
0000297e: SSTORE
0000297f: SWAP2
00002980: DUP12
00002981: AND
00002982: DUP2
00002983: MSTORE
00002984: PUSH1 0x04
00002986: SWAP1
00002987: SWAP2
00002988: MSTORE
00002989: KECCAK256
0000298a: SLOAD
0000298b: PUSH2 0x2994
0000298e: SWAP1
0000298f: DUP5
00002990: PUSH2 0x1d4b
00002993: JUMP
00002994: JUMPDEST
00002995: PUSH1 0x01
00002997: PUSH1 0x01
00002999: PUSH1 0xa0
0000299b: SHL
0000299c: SUB
0000299d: DUP10
0000299e: AND
0000299f: PUSH1 0x00
000029a1: SWAP1
000029a2: DUP2
000029a3: MSTORE
000029a4: PUSH1 0x04
000029a6: PUSH1 0x20
000029a8: SWAP1
000029a9: DUP2
000029aa: MSTORE
000029ab: PUSH1 0x40
000029ad: DUP1
000029ae: DUP4
000029af: KECCAK256
000029b0: SWAP4
000029b1: SWAP1
000029b2: SWAP4
000029b3: SSTORE
000029b4: PUSH1 0x03
000029b6: SWAP1
000029b7: MSTORE
000029b8: KECCAK256
000029b9: SLOAD
000029ba: PUSH2 0x2896
000029bd: SWAP1
000029be: DUP7
000029bf: PUSH2 0x1d4b
000029c2: JUMP
000029c3: JUMPDEST
000029c4: PUSH1 0x00
000029c6: DUP1
000029c7: PUSH1 0x00
000029c9: DUP1
000029ca: PUSH1 0x00
000029cc: DUP1
000029cd: PUSH2 0x29d5
000029d0: DUP8
000029d1: PUSH2 0x1daa
000029d4: JUMP
000029d5: JUMPDEST
000029d6: SWAP6
000029d7: POP
000029d8: SWAP6
000029d9: POP
000029da: SWAP6
000029db: POP
000029dc: SWAP6
000029dd: POP
000029de: SWAP6
000029df: POP
000029e0: SWAP6
000029e1: POP
000029e2: PUSH2 0x29ed
000029e5: DUP10
000029e6: DUP5
000029e7: DUP8
000029e8: DUP11
000029e9: PUSH2 0x2b6d
000029ec: JUMP
000029ed: JUMPDEST
000029ee: PUSH1 0x01
000029f0: PUSH1 0x01
000029f2: PUSH1 0xa0
000029f4: SHL
000029f5: SUB
000029f6: DUP12
000029f7: AND
000029f8: PUSH1 0x00
000029fa: SWAP1
000029fb: DUP2
000029fc: MSTORE
000029fd: PUSH1 0x03
000029ff: PUSH1 0x20
00002a01: MSTORE
00002a02: PUSH1 0x40
00002a04: SWAP1
00002a05: KECCAK256
00002a06: SLOAD
00002a07: SWAP1
00002a08: SWAP7
00002a09: POP
00002a0a: SWAP1
00002a0b: SWAP4
00002a0c: POP
00002a0d: PUSH2 0x2867
00002a10: SWAP1
00002a11: DUP8
00002a12: PUSH2 0x1df9
00002a15: JUMP
00002a16: JUMPDEST
00002a17: PUSH1 0x00
00002a19: DUP1
00002a1a: PUSH1 0x00
00002a1c: DUP1
00002a1d: PUSH1 0x00
00002a1f: DUP1
00002a20: PUSH2 0x2a28
00002a23: DUP8
00002a24: PUSH2 0x1daa
00002a27: JUMP
00002a28: JUMPDEST
00002a29: PUSH1 0x01
00002a2b: PUSH1 0x01
00002a2d: PUSH1 0xa0
00002a2f: SHL
00002a30: SUB
00002a31: DUP16
00002a32: AND
00002a33: PUSH1 0x00
00002a35: SWAP1
00002a36: DUP2
00002a37: MSTORE
00002a38: PUSH1 0x04
00002a3a: PUSH1 0x20
00002a3c: MSTORE
00002a3d: PUSH1 0x40
00002a3f: SWAP1
00002a40: KECCAK256
00002a41: SLOAD
00002a42: SWAP6
00002a43: SWAP12
00002a44: POP
00002a45: SWAP4
00002a46: SWAP10
00002a47: POP
00002a48: SWAP2
00002a49: SWAP8
00002a4a: POP
00002a4b: SWAP6
00002a4c: POP
00002a4d: SWAP4
00002a4e: POP
00002a4f: SWAP2
00002a50: POP
00002a51: PUSH2 0x2a5a
00002a54: SWAP1
00002a55: DUP9
00002a56: PUSH2 0x1df9
00002a59: JUMP
00002a5a: JUMPDEST
00002a5b: PUSH1 0x01
00002a5d: PUSH1 0x01
00002a5f: PUSH1 0xa0
00002a61: SHL
00002a62: SUB
00002a63: DUP11
00002a64: AND
00002a65: PUSH1 0x00
00002a67: SWAP1
00002a68: DUP2
00002a69: MSTORE
00002a6a: PUSH1 0x04
00002a6c: PUSH1 0x20
00002a6e: SWAP1
00002a6f: DUP2
00002a70: MSTORE
00002a71: PUSH1 0x40
00002a73: DUP1
00002a74: DUP4
00002a75: KECCAK256
00002a76: SWAP4
00002a77: SWAP1
00002a78: SWAP4
00002a79: SSTORE
00002a7a: PUSH1 0x03
00002a7c: SWAP1
00002a7d: MSTORE
00002a7e: KECCAK256
00002a7f: SLOAD
00002a80: PUSH2 0x295e
00002a83: SWAP1
00002a84: DUP8
00002a85: PUSH2 0x1df9
00002a88: JUMP
00002a89: JUMPDEST
00002a8a: PUSH1 0x00
00002a8c: PUSH2 0x0b42
00002a8f: PUSH1 0x64
00002a91: PUSH2 0x1e90
00002a94: PUSH1 0x10
00002a96: SLOAD
00002a97: DUP6
00002a98: PUSH2 0x2538
00002a9b: SWAP1
00002a9c: SWAP2
00002a9d: SWAP1
00002a9e: PUSH4 0xffffffff
00002aa3: AND
00002aa4: JUMP
00002aa5: JUMPDEST
00002aa6: PUSH1 0x00
00002aa8: PUSH2 0x0b42
00002aab: PUSH1 0x64
00002aad: PUSH2 0x1e90
00002ab0: PUSH1 0x12
00002ab2: SLOAD
00002ab3: DUP6
00002ab4: PUSH2 0x2538
00002ab7: SWAP1
00002ab8: SWAP2
00002ab9: SWAP1
00002aba: PUSH4 0xffffffff
00002abf: AND
00002ac0: JUMP
00002ac1: JUMPDEST
00002ac2: PUSH1 0x00
00002ac4: PUSH2 0x2acb
00002ac7: PUSH2 0x1ce6
00002aca: JUMP
00002acb: JUMPDEST
00002acc: SWAP1
00002acd: POP
00002ace: PUSH1 0x00
00002ad0: PUSH2 0x2ad9
00002ad3: DUP4
00002ad4: DUP4
00002ad5: PUSH2 0x2538
00002ad8: JUMP
00002ad9: JUMPDEST
00002ada: ADDRESS
00002adb: PUSH1 0x00
00002add: SWAP1
00002ade: DUP2
00002adf: MSTORE
00002ae0: PUSH1 0x03
00002ae2: PUSH1 0x20
00002ae4: MSTORE
00002ae5: PUSH1 0x40
00002ae7: SWAP1
00002ae8: KECCAK256
00002ae9: SLOAD
00002aea: SWAP1
00002aeb: SWAP2
00002aec: POP
00002aed: PUSH2 0x2af6
00002af0: SWAP1
00002af1: DUP3
00002af2: PUSH2 0x1d4b
00002af5: JUMP
00002af6: JUMPDEST
00002af7: ADDRESS
00002af8: PUSH1 0x00
00002afa: SWAP1
00002afb: DUP2
00002afc: MSTORE
00002afd: PUSH1 0x03
00002aff: PUSH1 0x20
00002b01: SWAP1
00002b02: DUP2
00002b03: MSTORE
00002b04: PUSH1 0x40
00002b06: DUP1
00002b07: DUP4
00002b08: KECCAK256
00002b09: SWAP4
00002b0a: SWAP1
00002b0b: SWAP4
00002b0c: SSTORE
00002b0d: PUSH1 0x08
00002b0f: SWAP1
00002b10: MSTORE
00002b11: KECCAK256
00002b12: SLOAD
00002b13: PUSH1 0xff
00002b15: AND
00002b16: ISZERO
00002b17: PUSH2 0x2190
00002b1a: JUMPI
00002b1b: ADDRESS
00002b1c: PUSH1 0x00
00002b1e: SWAP1
00002b1f: DUP2
00002b20: MSTORE
00002b21: PUSH1 0x04
00002b23: PUSH1 0x20
00002b25: MSTORE
00002b26: PUSH1 0x40
00002b28: SWAP1
00002b29: KECCAK256
00002b2a: SLOAD
00002b2b: PUSH2 0x2b34
00002b2e: SWAP1
00002b2f: DUP5
00002b30: PUSH2 0x1d4b
00002b33: JUMP
00002b34: JUMPDEST
00002b35: ADDRESS
00002b36: PUSH1 0x00
00002b38: SWAP1
00002b39: DUP2
00002b3a: MSTORE
00002b3b: PUSH1 0x04
00002b3d: PUSH1 0x20
00002b3f: MSTORE
00002b40: PUSH1 0x40
00002b42: SWAP1
00002b43: KECCAK256
00002b44: SSTORE
00002b45: POP
00002b46: POP
00002b47: POP
00002b48: JUMP
00002b49: JUMPDEST
00002b4a: PUSH1 0x0b
00002b4c: SLOAD
00002b4d: PUSH2 0x2b56
00002b50: SWAP1
00002b51: DUP4
00002b52: PUSH2 0x1df9
00002b55: JUMP
00002b56: JUMPDEST
00002b57: PUSH1 0x0b
00002b59: SSTORE
00002b5a: PUSH1 0x0c
00002b5c: SLOAD
00002b5d: PUSH2 0x2b66
00002b60: SWAP1
00002b61: DUP3
00002b62: PUSH2 0x1d4b
00002b65: JUMP
00002b66: JUMPDEST
00002b67: PUSH1 0x0c
00002b69: SSTORE
00002b6a: POP
00002b6b: POP
00002b6c: JUMP
00002b6d: JUMPDEST
00002b6e: PUSH1 0x00
00002b70: DUP1
00002b71: PUSH1 0x14
00002b73: SLOAD
00002b74: PUSH1 0x00
00002b76: EQ
00002b77: ISZERO
00002b78: PUSH2 0x2b85
00002b7b: JUMPI
00002b7c: POP
00002b7d: DUP4
00002b7e: SWAP1
00002b7f: POP
00002b80: DUP3
00002b81: PUSH2 0x2c4d
00002b84: JUMP
00002b85: JUMPDEST
00002b86: PUSH1 0x14
00002b88: SLOAD
00002b89: PUSH1 0x00
00002b8b: SWAP1
00002b8c: PUSH2 0x2ba0
00002b8f: SWAP1
00002b90: PUSH2 0x2b9a
00002b93: DUP7
00002b94: PUSH1 0x64
00002b96: PUSH2 0x1d09
00002b99: JUMP
00002b9a: JUMPDEST
00002b9b: SWAP1
00002b9c: PUSH2 0x2538
00002b9f: JUMP
00002ba0: JUMPDEST
00002ba1: SWAP1
00002ba2: POP
00002ba3: PUSH1 0x00
00002ba5: PUSH2 0x2bb6
00002ba8: PUSH2 0x2baf
00002bab: PUSH2 0x1ce6
00002bae: JUMP
00002baf: JUMPDEST
00002bb0: DUP4
00002bb1: SWAP1
00002bb2: PUSH2 0x2538
00002bb5: JUMP
00002bb6: JUMPDEST
00002bb7: SWAP1
00002bb8: POP
00002bb9: PUSH2 0x2bc2
00002bbc: DUP7
00002bbd: DUP3
00002bbe: PUSH2 0x1df9
00002bc1: JUMP
00002bc2: JUMPDEST
00002bc3: SWAP6
00002bc4: POP
00002bc5: PUSH2 0x2bce
00002bc8: DUP8
00002bc9: DUP4
00002bca: PUSH2 0x1df9
00002bcd: JUMP
00002bce: JUMPDEST
00002bcf: ADDRESS
00002bd0: PUSH1 0x00
00002bd2: SWAP1
00002bd3: DUP2
00002bd4: MSTORE
00002bd5: PUSH1 0x03
00002bd7: PUSH1 0x20
00002bd9: MSTORE
00002bda: PUSH1 0x40
00002bdc: SWAP1
00002bdd: KECCAK256
00002bde: SLOAD
00002bdf: SWAP1
00002be0: SWAP8
00002be1: POP
00002be2: PUSH2 0x2beb
00002be5: SWAP1
00002be6: DUP3
00002be7: PUSH2 0x1d4b
00002bea: JUMP
00002beb: JUMPDEST
00002bec: ADDRESS
00002bed: PUSH1 0x00
00002bef: DUP2
00002bf0: DUP2
00002bf1: MSTORE
00002bf2: PUSH1 0x03
00002bf4: PUSH1 0x20
00002bf6: MSTORE
00002bf7: PUSH1 0x40
00002bf9: SWAP1
00002bfa: DUP2
00002bfb: SWAP1
00002bfc: KECCAK256
00002bfd: SWAP3
00002bfe: SWAP1
00002bff: SWAP3
00002c00: SSTORE
00002c01: SWAP1
00002c02: MLOAD
00002c03: PUSH1 0x01
00002c05: PUSH1 0x01
00002c07: PUSH1 0xa0
00002c09: SHL
00002c0a: SUB
00002c0b: DUP11
00002c0c: AND
00002c0d: SWAP1
00002c0e: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002c2f: SWAP1
00002c30: PUSH2 0x2c3c
00002c33: SWAP1
00002c34: DUP7
00002c35: DUP2
00002c36: MSTORE
00002c37: PUSH1 0x20
00002c39: ADD
00002c3a: SWAP1
00002c3b: JUMP
00002c3c: JUMPDEST
00002c3d: PUSH1 0x40
00002c3f: MLOAD
00002c40: DUP1
00002c41: SWAP2
00002c42: SUB
00002c43: SWAP1
00002c44: LOG3
00002c45: DUP7
00002c46: DUP7
00002c47: SWAP4
00002c48: POP
00002c49: SWAP4
00002c4a: POP
00002c4b: POP
00002c4c: POP
00002c4d: JUMPDEST
00002c4e: SWAP5
00002c4f: POP
00002c50: SWAP5
00002c51: SWAP3
00002c52: POP
00002c53: POP
00002c54: POP
00002c55: JUMP
00002c56: JUMPDEST
00002c57: DUP1
00002c58: CALLDATALOAD
00002c59: DUP1
00002c5a: ISZERO
00002c5b: ISZERO
00002c5c: DUP2
00002c5d: EQ
00002c5e: PUSH2 0x2c66
00002c61: JUMPI
00002c62: PUSH1 0x00
00002c64: DUP1
00002c65: REVERT
00002c66: JUMPDEST
00002c67: SWAP2
00002c68: SWAP1
00002c69: POP
00002c6a: JUMP
00002c6b: JUMPDEST
00002c6c: PUSH1 0x00
00002c6e: PUSH1 0x20
00002c70: DUP3
00002c71: DUP5
00002c72: SUB
00002c73: SLT
00002c74: ISZERO
00002c75: PUSH2 0x2c7d
00002c78: JUMPI
00002c79: PUSH1 0x00
00002c7b: DUP1
00002c7c: REVERT
00002c7d: JUMPDEST
00002c7e: DUP2
00002c7f: CALLDATALOAD
00002c80: PUSH2 0x0ca0
00002c83: DUP2
00002c84: PUSH2 0x306b
00002c87: JUMP
00002c88: JUMPDEST
00002c89: PUSH1 0x00
00002c8b: PUSH1 0x20
00002c8d: DUP3
00002c8e: DUP5
00002c8f: SUB
00002c90: SLT
00002c91: ISZERO
00002c92: PUSH2 0x2c9a
00002c95: JUMPI
00002c96: PUSH1 0x00
00002c98: DUP1
00002c99: REVERT
00002c9a: JUMPDEST
00002c9b: DUP2
00002c9c: MLOAD
00002c9d: PUSH2 0x0ca0
00002ca0: DUP2
00002ca1: PUSH2 0x306b
00002ca4: JUMP
00002ca5: JUMPDEST
00002ca6: PUSH1 0x00
00002ca8: DUP1
00002ca9: PUSH1 0x40
00002cab: DUP4
00002cac: DUP6
00002cad: SUB
00002cae: SLT
00002caf: ISZERO
00002cb0: PUSH2 0x2cb8
00002cb3: JUMPI
00002cb4: PUSH1 0x00
00002cb6: DUP1
00002cb7: REVERT
00002cb8: JUMPDEST
00002cb9: DUP3
00002cba: CALLDATALOAD
00002cbb: PUSH2 0x2cc3
00002cbe: DUP2
00002cbf: PUSH2 0x306b
00002cc2: JUMP
00002cc3: JUMPDEST
00002cc4: SWAP2
00002cc5: POP
00002cc6: PUSH1 0x20
00002cc8: DUP4
00002cc9: ADD
00002cca: CALLDATALOAD
00002ccb: PUSH2 0x2cd3
00002cce: DUP2
00002ccf: PUSH2 0x306b
00002cd2: JUMP
00002cd3: JUMPDEST
00002cd4: DUP1
00002cd5: SWAP2
00002cd6: POP
00002cd7: POP
00002cd8: SWAP3
00002cd9: POP
00002cda: SWAP3
00002cdb: SWAP1
00002cdc: POP
00002cdd: JUMP
00002cde: JUMPDEST
00002cdf: PUSH1 0x00
00002ce1: DUP1
00002ce2: PUSH1 0x00
00002ce4: PUSH1 0x60
00002ce6: DUP5
00002ce7: DUP7
00002ce8: SUB
00002ce9: SLT
00002cea: ISZERO
00002ceb: PUSH2 0x2cf3
00002cee: JUMPI
00002cef: PUSH1 0x00
00002cf1: DUP1
00002cf2: REVERT
00002cf3: JUMPDEST
00002cf4: DUP4
00002cf5: CALLDATALOAD
00002cf6: PUSH2 0x2cfe
00002cf9: DUP2
00002cfa: PUSH2 0x306b
00002cfd: JUMP
00002cfe: JUMPDEST
00002cff: SWAP3
00002d00: POP
00002d01: PUSH1 0x20
00002d03: DUP5
00002d04: ADD
00002d05: CALLDATALOAD
00002d06: PUSH2 0x2d0e
00002d09: DUP2
00002d0a: PUSH2 0x306b
00002d0d: JUMP
00002d0e: JUMPDEST
00002d0f: SWAP3
00002d10: SWAP6
00002d11: SWAP3
00002d12: SWAP5
00002d13: POP
00002d14: POP
00002d15: POP
00002d16: PUSH1 0x40
00002d18: SWAP2
00002d19: SWAP1
00002d1a: SWAP2
00002d1b: ADD
00002d1c: CALLDATALOAD
00002d1d: SWAP1
00002d1e: JUMP
00002d1f: JUMPDEST
00002d20: PUSH1 0x00
00002d22: DUP1
00002d23: PUSH1 0x40
00002d25: DUP4
00002d26: DUP6
00002d27: SUB
00002d28: SLT
00002d29: ISZERO
00002d2a: PUSH2 0x2d32
00002d2d: JUMPI
00002d2e: PUSH1 0x00
00002d30: DUP1
00002d31: REVERT
00002d32: JUMPDEST
00002d33: DUP3
00002d34: CALLDATALOAD
00002d35: PUSH2 0x2d3d
00002d38: DUP2
00002d39: PUSH2 0x306b
00002d3c: JUMP
00002d3d: JUMPDEST
00002d3e: SWAP2
00002d3f: POP
00002d40: PUSH2 0x2d4b
00002d43: PUSH1 0x20
00002d45: DUP5
00002d46: ADD
00002d47: PUSH2 0x2c56
00002d4a: JUMP
00002d4b: JUMPDEST
00002d4c: SWAP1
00002d4d: POP
00002d4e: SWAP3
00002d4f: POP
00002d50: SWAP3
00002d51: SWAP1
00002d52: POP
00002d53: JUMP
00002d54: JUMPDEST
00002d55: PUSH1 0x00
00002d57: DUP1
00002d58: PUSH1 0x40
00002d5a: DUP4
00002d5b: DUP6
00002d5c: SUB
00002d5d: SLT
00002d5e: ISZERO
00002d5f: PUSH2 0x2d67
00002d62: JUMPI
00002d63: PUSH1 0x00
00002d65: DUP1
00002d66: REVERT
00002d67: JUMPDEST
00002d68: DUP3
00002d69: CALLDATALOAD
00002d6a: PUSH2 0x2d72
00002d6d: DUP2
00002d6e: PUSH2 0x306b
00002d71: JUMP
00002d72: JUMPDEST
00002d73: SWAP5
00002d74: PUSH1 0x20
00002d76: SWAP4
00002d77: SWAP1
00002d78: SWAP4
00002d79: ADD
00002d7a: CALLDATALOAD
00002d7b: SWAP4
00002d7c: POP
00002d7d: POP
00002d7e: POP
00002d7f: JUMP
00002d80: JUMPDEST
00002d81: PUSH1 0x00
00002d83: PUSH1 0x20
00002d85: DUP3
00002d86: DUP5
00002d87: SUB
00002d88: SLT
00002d89: ISZERO
00002d8a: PUSH2 0x2d92
00002d8d: JUMPI
00002d8e: PUSH1 0x00
00002d90: DUP1
00002d91: REVERT
00002d92: JUMPDEST
00002d93: PUSH2 0x0ca0
00002d96: DUP3
00002d97: PUSH2 0x2c56
00002d9a: JUMP
00002d9b: JUMPDEST
00002d9c: PUSH1 0x00
00002d9e: PUSH1 0x20
00002da0: DUP3
00002da1: DUP5
00002da2: SUB
00002da3: SLT
00002da4: ISZERO
00002da5: PUSH2 0x2dad
00002da8: JUMPI
00002da9: PUSH1 0x00
00002dab: DUP1
00002dac: REVERT
00002dad: JUMPDEST
00002dae: POP
00002daf: CALLDATALOAD
00002db0: SWAP2
00002db1: SWAP1
00002db2: POP
00002db3: JUMP
00002db4: JUMPDEST
00002db5: PUSH1 0x00
00002db7: DUP1
00002db8: PUSH1 0x40
00002dba: DUP4
00002dbb: DUP6
00002dbc: SUB
00002dbd: SLT
00002dbe: ISZERO
00002dbf: PUSH2 0x2dc7
00002dc2: JUMPI
00002dc3: PUSH1 0x00
00002dc5: DUP1
00002dc6: REVERT
00002dc7: JUMPDEST
00002dc8: DUP3
00002dc9: CALLDATALOAD
00002dca: SWAP2
00002dcb: POP
00002dcc: PUSH2 0x2d4b
00002dcf: PUSH1 0x20
00002dd1: DUP5
00002dd2: ADD
00002dd3: PUSH2 0x2c56
00002dd6: JUMP
00002dd7: JUMPDEST
00002dd8: PUSH1 0x00
00002dda: DUP1
00002ddb: PUSH1 0x00
00002ddd: PUSH1 0x60
00002ddf: DUP5
00002de0: DUP7
00002de1: SUB
00002de2: SLT
00002de3: ISZERO
00002de4: PUSH2 0x2dec
00002de7: JUMPI
00002de8: PUSH1 0x00
00002dea: DUP1
00002deb: REVERT
00002dec: JUMPDEST
00002ded: POP
00002dee: POP
00002def: DUP2
00002df0: CALLDATALOAD
00002df1: SWAP4
00002df2: PUSH1 0x20
00002df4: DUP4
00002df5: ADD
00002df6: CALLDATALOAD
00002df7: SWAP4
00002df8: POP
00002df9: PUSH1 0x40
00002dfb: SWAP1
00002dfc: SWAP3
00002dfd: ADD
00002dfe: CALLDATALOAD
00002dff: SWAP2
00002e00: SWAP1
00002e01: POP
00002e02: JUMP
00002e03: JUMPDEST
00002e04: PUSH1 0x00
00002e06: DUP2
00002e07: MLOAD
00002e08: DUP1
00002e09: DUP5
00002e0a: MSTORE
00002e0b: PUSH1 0x20
00002e0d: DUP1
00002e0e: DUP6
00002e0f: ADD
00002e10: SWAP5
00002e11: POP
00002e12: DUP1
00002e13: DUP5
00002e14: ADD
00002e15: PUSH1 0x00
00002e17: JUMPDEST
00002e18: DUP4
00002e19: DUP2
00002e1a: LT
00002e1b: ISZERO
00002e1c: PUSH2 0x2e3c
00002e1f: JUMPI
00002e20: DUP2
00002e21: MLOAD
00002e22: PUSH1 0x01
00002e24: PUSH1 0x01
00002e26: PUSH1 0xa0
00002e28: SHL
00002e29: SUB
00002e2a: AND
00002e2b: DUP8
00002e2c: MSTORE
00002e2d: SWAP6
00002e2e: DUP3
00002e2f: ADD
00002e30: SWAP6
00002e31: SWAP1
00002e32: DUP3
00002e33: ADD
00002e34: SWAP1
00002e35: PUSH1 0x01
00002e37: ADD
00002e38: PUSH2 0x2e17
00002e3b: JUMP
00002e3c: JUMPDEST
00002e3d: POP
00002e3e: SWAP5
00002e3f: SWAP6
00002e40: SWAP5
00002e41: POP
00002e42: POP
00002e43: POP
00002e44: POP
00002e45: POP
00002e46: JUMP
00002e47: JUMPDEST
00002e48: DUP5
00002e49: DUP2
00002e4a: MSTORE
00002e4b: PUSH1 0x80
00002e4d: PUSH1 0x20
00002e4f: DUP3
00002e50: ADD
00002e51: MSTORE
00002e52: PUSH1 0x00
00002e54: PUSH2 0x2e60
00002e57: PUSH1 0x80
00002e59: DUP4
00002e5a: ADD
00002e5b: DUP7
00002e5c: PUSH2 0x2e03
00002e5f: JUMP
00002e60: JUMPDEST
00002e61: PUSH1 0x01
00002e63: PUSH1 0x01
00002e65: PUSH1 0xa0
00002e67: SHL
00002e68: SUB
00002e69: SWAP5
00002e6a: SWAP1
00002e6b: SWAP5
00002e6c: AND
00002e6d: PUSH1 0x40
00002e6f: DUP4
00002e70: ADD
00002e71: MSTORE
00002e72: POP
00002e73: PUSH1 0x60
00002e75: ADD
00002e76: MSTORE
00002e77: SWAP3
00002e78: SWAP2
00002e79: POP
00002e7a: POP
00002e7b: JUMP
00002e7c: JUMPDEST
00002e7d: PUSH1 0x00
00002e7f: PUSH1 0x20
00002e81: DUP1
00002e82: DUP4
00002e83: MSTORE
00002e84: DUP4
00002e85: MLOAD
00002e86: DUP1
00002e87: DUP3
00002e88: DUP6
00002e89: ADD
00002e8a: MSTORE
00002e8b: PUSH1 0x00
00002e8d: JUMPDEST
00002e8e: DUP2
00002e8f: DUP2
00002e90: LT
00002e91: ISZERO
00002e92: PUSH2 0x2ea9
00002e95: JUMPI
00002e96: DUP6
00002e97: DUP2
00002e98: ADD
00002e99: DUP4
00002e9a: ADD
00002e9b: MLOAD
00002e9c: DUP6
00002e9d: DUP3
00002e9e: ADD
00002e9f: PUSH1 0x40
00002ea1: ADD
00002ea2: MSTORE
00002ea3: DUP3
00002ea4: ADD
00002ea5: PUSH2 0x2e8d
00002ea8: JUMP
00002ea9: JUMPDEST
00002eaa: DUP2
00002eab: DUP2
00002eac: GT
00002ead: ISZERO
00002eae: PUSH2 0x2ebb
00002eb1: JUMPI
00002eb2: PUSH1 0x00
00002eb4: PUSH1 0x40
00002eb6: DUP4
00002eb7: DUP8
00002eb8: ADD
00002eb9: ADD
00002eba: MSTORE
00002ebb: JUMPDEST
00002ebc: POP
00002ebd: PUSH1 0x1f
00002ebf: ADD
00002ec0: PUSH1 0x1f
00002ec2: NOT
00002ec3: AND
00002ec4: SWAP3
00002ec5: SWAP1
00002ec6: SWAP3
00002ec7: ADD
00002ec8: PUSH1 0x40
00002eca: ADD
00002ecb: SWAP4
00002ecc: SWAP3
00002ecd: POP
00002ece: POP
00002ecf: POP
00002ed0: JUMP
00002ed1: JUMPDEST
00002ed2: PUSH1 0x20
00002ed4: DUP1
00002ed5: DUP3
00002ed6: MSTORE
00002ed7: DUP2
00002ed8: DUP2
00002ed9: ADD
00002eda: MSTORE
00002edb: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00002efc: PUSH1 0x40
00002efe: DUP3
00002eff: ADD
00002f00: MSTORE
00002f01: PUSH1 0x60
00002f03: ADD
00002f04: SWAP1
00002f05: JUMP
00002f06: JUMPDEST
00002f07: DUP3
00002f08: DUP2
00002f09: MSTORE
00002f0a: PUSH1 0x40
00002f0c: PUSH1 0x20
00002f0e: DUP3
00002f0f: ADD
00002f10: MSTORE
00002f11: PUSH1 0x00
00002f13: PUSH2 0x2f1f
00002f16: PUSH1 0x40
00002f18: DUP4
00002f19: ADD
00002f1a: DUP5
00002f1b: PUSH2 0x2e03
00002f1e: JUMP
00002f1f: JUMPDEST
00002f20: SWAP5
00002f21: SWAP4
00002f22: POP
00002f23: POP
00002f24: POP
00002f25: POP
00002f26: JUMP
00002f27: JUMPDEST
00002f28: DUP6
00002f29: DUP2
00002f2a: MSTORE
00002f2b: DUP5
00002f2c: PUSH1 0x20
00002f2e: DUP3
00002f2f: ADD
00002f30: MSTORE
00002f31: PUSH1 0xa0
00002f33: PUSH1 0x40
00002f35: DUP3
00002f36: ADD
00002f37: MSTORE
00002f38: PUSH1 0x00
00002f3a: PUSH2 0x2f46
00002f3d: PUSH1 0xa0
00002f3f: DUP4
00002f40: ADD
00002f41: DUP7
00002f42: PUSH2 0x2e03
00002f45: JUMP
00002f46: JUMPDEST
00002f47: PUSH1 0x01
00002f49: PUSH1 0x01
00002f4b: PUSH1 0xa0
00002f4d: SHL
00002f4e: SUB
00002f4f: SWAP5
00002f50: SWAP1
00002f51: SWAP5
00002f52: AND
00002f53: PUSH1 0x60
00002f55: DUP4
00002f56: ADD
00002f57: MSTORE
00002f58: POP
00002f59: PUSH1 0x80
00002f5b: ADD
00002f5c: MSTORE
00002f5d: SWAP4
00002f5e: SWAP3
00002f5f: POP
00002f60: POP
00002f61: POP
00002f62: JUMP
00002f63: JUMPDEST
00002f64: PUSH1 0x00
00002f66: DUP3
00002f67: NOT
00002f68: DUP3
00002f69: GT
00002f6a: ISZERO
00002f6b: PUSH2 0x2f76
00002f6e: JUMPI
00002f6f: PUSH2 0x2f76
00002f72: PUSH2 0x3029
00002f75: JUMP
00002f76: JUMPDEST
00002f77: POP
00002f78: ADD
00002f79: SWAP1
00002f7a: JUMP
00002f7b: JUMPDEST
00002f7c: PUSH1 0x00
00002f7e: DUP3
00002f7f: PUSH2 0x2f98
00002f82: JUMPI
00002f83: PUSH4 0x4e487b71
00002f88: PUSH1 0xe0
00002f8a: SHL
00002f8b: PUSH1 0x00
00002f8d: MSTORE
00002f8e: PUSH1 0x12
00002f90: PUSH1 0x04
00002f92: MSTORE
00002f93: PUSH1 0x24
00002f95: PUSH1 0x00
00002f97: REVERT
00002f98: JUMPDEST
00002f99: POP
00002f9a: DIV
00002f9b: SWAP1
00002f9c: JUMP
00002f9d: JUMPDEST
00002f9e: PUSH1 0x00
00002fa0: DUP2
00002fa1: PUSH1 0x00
00002fa3: NOT
00002fa4: DIV
00002fa5: DUP4
00002fa6: GT
00002fa7: DUP3
00002fa8: ISZERO
00002fa9: ISZERO
00002faa: AND
00002fab: ISZERO
00002fac: PUSH2 0x2fb7
00002faf: JUMPI
00002fb0: PUSH2 0x2fb7
00002fb3: PUSH2 0x3029
00002fb6: JUMP
00002fb7: JUMPDEST
00002fb8: POP
00002fb9: MUL
00002fba: SWAP1
00002fbb: JUMP
00002fbc: JUMPDEST
00002fbd: PUSH1 0x00
00002fbf: DUP3
00002fc0: DUP3
00002fc1: LT
00002fc2: ISZERO
00002fc3: PUSH2 0x2fce
00002fc6: JUMPI
00002fc7: PUSH2 0x2fce
00002fca: PUSH2 0x3029
00002fcd: JUMP
00002fce: JUMPDEST
00002fcf: POP
00002fd0: SUB
00002fd1: SWAP1
00002fd2: JUMP
00002fd3: JUMPDEST
00002fd4: PUSH1 0x01
00002fd6: DUP2
00002fd7: DUP2
00002fd8: SHR
00002fd9: SWAP1
00002fda: DUP3
00002fdb: AND
00002fdc: DUP1
00002fdd: PUSH2 0x2fe7
00002fe0: JUMPI
00002fe1: PUSH1 0x7f
00002fe3: DUP3
00002fe4: AND
00002fe5: SWAP2
00002fe6: POP
00002fe7: JUMPDEST
00002fe8: PUSH1 0x20
00002fea: DUP3
00002feb: LT
00002fec: DUP2
00002fed: EQ
00002fee: ISZERO
00002fef: PUSH2 0x3008
00002ff2: JUMPI
00002ff3: PUSH4 0x4e487b71
00002ff8: PUSH1 0xe0
00002ffa: SHL
00002ffb: PUSH1 0x00
00002ffd: MSTORE
00002ffe: PUSH1 0x22
00003000: PUSH1 0x04
00003002: MSTORE
00003003: PUSH1 0x24
00003005: PUSH1 0x00
00003007: REVERT
00003008: JUMPDEST
00003009: POP
0000300a: SWAP2
0000300b: SWAP1
0000300c: POP
0000300d: JUMP
0000300e: JUMPDEST
0000300f: PUSH1 0x00
00003011: PUSH1 0x00
00003013: NOT
00003014: DUP3
00003015: EQ
00003016: ISZERO
00003017: PUSH2 0x3022
0000301a: JUMPI
0000301b: PUSH2 0x3022
0000301e: PUSH2 0x3029
00003021: JUMP
00003022: JUMPDEST
00003023: POP
00003024: PUSH1 0x01
00003026: ADD
00003027: SWAP1
00003028: JUMP
00003029: JUMPDEST
0000302a: PUSH4 0x4e487b71
0000302f: PUSH1 0xe0
00003031: SHL
00003032: PUSH1 0x00
00003034: MSTORE
00003035: PUSH1 0x11
00003037: PUSH1 0x04
00003039: MSTORE
0000303a: PUSH1 0x24
0000303c: PUSH1 0x00
0000303e: REVERT
0000303f: JUMPDEST
00003040: PUSH4 0x4e487b71
00003045: PUSH1 0xe0
00003047: SHL
00003048: PUSH1 0x00
0000304a: MSTORE
0000304b: PUSH1 0x31
0000304d: PUSH1 0x04
0000304f: MSTORE
00003050: PUSH1 0x24
00003052: PUSH1 0x00
00003054: REVERT
00003055: JUMPDEST
00003056: PUSH4 0x4e487b71
0000305b: PUSH1 0xe0
0000305d: SHL
0000305e: PUSH1 0x00
00003060: MSTORE
00003061: PUSH1 0x32
00003063: PUSH1 0x04
00003065: MSTORE
00003066: PUSH1 0x24
00003068: PUSH1 0x00
0000306a: REVERT
0000306b: JUMPDEST
0000306c: PUSH1 0x01
0000306e: PUSH1 0x01
00003070: PUSH1 0xa0
00003072: SHL
00003073: SUB
00003074: DUP2
00003075: AND
00003076: DUP2
00003077: EQ
00003078: PUSH2 0x3080
0000307b: JUMPI
0000307c: PUSH1 0x00
0000307e: DUP1
0000307f: REVERT
00003080: JUMPDEST
00003081: POP
00003082: JUMP
00003083: INVALID
00003084: GASLIMIT
00003085: MSTORE
00003086: NUMBER
00003087: ORIGIN
00003088: ADDRESS
00003089: GASPRICE
0000308a: KECCAK256
0000308b: PUSH21 0x72616e7366657220616d6f756e7420657863656564
000030a1: PUSH20 0x20616c6c6f77616e63658be0079c531659141344
000030b6: UNKNOWN(0xCD)
000030b7: UNKNOWN(0x1F)
000030b8: UNKNOWN(0xD0)
000030b9: LOG4
000030ba: CALLCODE
000030bb: DUP5
000030bc: NOT
000030bd: BLOBHASH
000030be: PUSH32 0x9722a3daafe3b4186f6b6457e045524332303a2064656372656173656420616c
000030df: PUSH13 0x6f77616e63652062656c6f7720
000030ed: PUSH27 0x65726fa26469706673582212206927bfdd3219448999409b03fd56
00003109: UNKNOWN(0x4C)
0000310a: UNKNOWN(0xC3)
0000310b: UNKNOWN(0xBC)
0000310c: SHL
0000310d: OR
0000310e: PUSH18 0x77d2c1cc9d6589fec9f848b264736f6c6343
00003121: STOP
00003122: ADDMOD
00003123: SMOD
00003124: STOP
00003125: CALLER

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high auth detector Authorization based on tx.origin 70 no
view
validation_json
{
    "reason": "missing sink mapping",
    "status": "no_sink"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xe6c75f71",
            "selector": "0xe6c75f71",
            "calldata_variants": [
                "0xe6c75f71",
                "0xe6c75f710000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xea2f0b37",
            "selector": "0xea2f0b37",
            "calldata_variants": [
                "0xea2f0b37",
                "0xea2f0b370000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xec28438a",
            "selector": "0xec28438a",
            "calldata_variants": [
                "0xec28438a",
                "0xec28438a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd467064",
            "selector": "0xdd467064",
            "calldata_variants": [
                "0xdd467064",
                "0xdd4670640000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe2f45605",
            "selector": "0xe2f45605",
            "calldata_variants": [
                "0xe2f45605",
                "0xe2f456050000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb6c52324",
            "selector": "0xb6c52324",
            "calldata_variants": [
                "0xb6c52324",
                "0xb6c523240000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "guards_detected": [
        {
            "pc": 12423,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0x2747d8d4467ee032b4f9ad2639ecbb6924c5ed7b632e55fe9e2966bc59ec18c8
call_targets: 0xe0bcd056b6a8c7fd4983cb56c162799e498e85d3
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x2747d8d4467ee032b4f9ad2639ecbb6924c5ed7b632e55fe9e2966bc59ec18c8",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xe0bcd056b6a8c7fd4983cb56c162799e498e85d3"
    ],
    "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": "0xe6c75f71",
            "selector": "0xe6c75f71",
            "calldata_variants": [
                "0xe6c75f71",
                "0xe6c75f710000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xea2f0b37",
            "selector": "0xea2f0b37",
            "calldata_variants": [
                "0xea2f0b37",
                "0xea2f0b370000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xec28438a",
            "selector": "0xec28438a",
            "calldata_variants": [
                "0xec28438a",
                "0xec28438a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd467064",
            "selector": "0xdd467064",
            "calldata_variants": [
                "0xdd467064",
                "0xdd4670640000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe2f45605",
            "selector": "0xe2f45605",
            "calldata_variants": [
                "0xe2f45605",
                "0xe2f456050000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb6c52324",
            "selector": "0xb6c52324",
            "calldata_variants": [
                "0xb6c52324",
                "0xb6c523240000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 9511,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 9687,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 10076,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 4,
    "guards_detected": [
        {
            "pc": 12423,
            "type": "tx_origin_used"
        }
    ],
    "untrusted_call_count": 4
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x2747d8d4467ee032b4f9ad2639ecbb6924c5ed7b632e55fe9e2966bc59ec18c8
call_targets: 0xe0bcd056b6a8c7fd4983cb56c162799e498e85d3
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x2747d8d4467ee032b4f9ad2639ecbb6924c5ed7b632e55fe9e2966bc59ec18c8",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xe0bcd056b6a8c7fd4983cb56c162799e498e85d3"
    ],
    "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": "0xe6c75f71",
            "selector": "0xe6c75f71",
            "calldata_variants": [
                "0xe6c75f71",
                "0xe6c75f710000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xea2f0b37",
            "selector": "0xea2f0b37",
            "calldata_variants": [
                "0xea2f0b37",
                "0xea2f0b370000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xec28438a",
            "selector": "0xec28438a",
            "calldata_variants": [
                "0xec28438a",
                "0xec28438a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd467064",
            "selector": "0xdd467064",
            "calldata_variants": [
                "0xdd467064",
                "0xdd4670640000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe2f45605",
            "selector": "0xe2f45605",
            "calldata_variants": [
                "0xe2f45605",
                "0xe2f456050000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb6c52324",
            "selector": "0xb6c52324",
            "calldata_variants": [
                "0xb6c52324",
                "0xb6c523240000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 9511,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 9687,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 10076,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 4,
    "guards_detected": [
        {
            "pc": 12423,
            "type": "tx_origin_used"
        }
    ]
}