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

019b477e-c61d-7228-9934-65e23775f501
complete
Chain ID
Address
0x28b5d14ae3bf798913882256bc5627662df4f686
Block Number
—
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary
What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
back to vulns open contract
Confirmed
Validated
Source
Verified
Review Backing
Not yet
Best current signal
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
25717	artifact.fetch	complete	1 / 3	3 months ago
25718	tool.cast_disasm	complete	1 / 3	3 months ago
69038	analysis.bundle	complete	1 / 3	2 weeks ago
69039	capability.graph	complete	1 / 3	2 weeks ago
69040	detector.run	complete	1 / 3	2 weeks ago
69041	validation.fork	complete	1 / 3	2 weeks ago
Artifact

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

tool.slither
No slither job recorded yet.
Codex

report.consolidate
No codex job recorded yet.
Opcode Heuristics

tool.cast_disasm
Delegatecall
Selfdestruct
CREATE2
CALL-family (heavy)
EXT*/BALANCE
Total opcodes
8697
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 0x037a
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x656cf918
00000019: GT
0000001a: PUSH2 0x01d1
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xa3fd2c44
00000024: GT
00000025: PUSH2 0x0102
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xd7224ba0
0000002f: GT
00000030: PUSH2 0x00a0
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xf2fde38b
0000003a: GT
0000003b: PUSH2 0x006f
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf2fde38b
00000045: EQ
00000046: PUSH2 0x0a5f
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf42202e8
00000050: EQ
00000051: PUSH2 0x0a7f
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf9840536
0000005b: EQ
0000005c: PUSH2 0x0a9f
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xfc51efb1
00000066: EQ
00000067: PUSH2 0x0ab5
0000006a: JUMPI
0000006b: PUSH2 0x0389
0000006e: JUMP
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0xd7224ba0
00000076: EQ
00000077: PUSH2 0x09ca
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xd906561d
00000081: EQ
00000082: PUSH2 0x09e0
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xdc33e681
0000008c: EQ
0000008d: PUSH2 0x09f6
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xe985e9c5
00000097: EQ
00000098: PUSH2 0x0a16
0000009b: JUMPI
0000009c: PUSH2 0x0389
0000009f: JUMP
000000a0: JUMPDEST
000000a1: DUP1
000000a2: PUSH4 0xb91d3c52
000000a7: GT
000000a8: PUSH2 0x00dc
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0xb91d3c52
000000b2: EQ
000000b3: PUSH2 0x0932
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0xbb406135
000000bd: EQ
000000be: PUSH2 0x0948
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xc4be5b59
000000c8: EQ
000000c9: PUSH2 0x0997
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0xc87b56dd
000000d3: EQ
000000d4: PUSH2 0x09aa
000000d7: JUMPI
000000d8: PUSH2 0x0389
000000db: JUMP
000000dc: JUMPDEST
000000dd: DUP1
000000de: PUSH4 0xa3fd2c44
000000e3: EQ
000000e4: PUSH2 0x08d3
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0xaf65f7f3
000000ee: EQ
000000ef: PUSH2 0x08f2
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0xb88d4fde
000000f9: EQ
000000fa: PUSH2 0x0912
000000fd: JUMPI
000000fe: PUSH2 0x0389
00000101: JUMP
00000102: JUMPDEST
00000103: DUP1
00000104: PUSH4 0x84f85951
00000109: GT
0000010a: PUSH2 0x016f
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0x9231ab2a
00000114: GT
00000115: PUSH2 0x0149
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0x9231ab2a
0000011f: EQ
00000120: PUSH2 0x0823
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0x95d89b41
0000012a: EQ
0000012b: PUSH2 0x0871
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x9b19251a
00000135: EQ
00000136: PUSH2 0x0886
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0xa22cb465
00000140: EQ
00000141: PUSH2 0x08b3
00000144: JUMPI
00000145: PUSH2 0x0389
00000148: JUMP
00000149: JUMPDEST
0000014a: DUP1
0000014b: PUSH4 0x84f85951
00000150: EQ
00000151: PUSH2 0x07db
00000154: JUMPI
00000155: DUP1
00000156: PUSH4 0x89df3959
0000015b: EQ
0000015c: PUSH2 0x07f0
0000015f: JUMPI
00000160: DUP1
00000161: PUSH4 0x8da5cb5b
00000166: EQ
00000167: PUSH2 0x0805
0000016a: JUMPI
0000016b: PUSH2 0x0389
0000016e: JUMP
0000016f: JUMPDEST
00000170: DUP1
00000171: PUSH4 0x715018a6
00000176: GT
00000177: PUSH2 0x01ab
0000017a: JUMPI
0000017b: DUP1
0000017c: PUSH4 0x715018a6
00000181: EQ
00000182: PUSH2 0x077b
00000185: JUMPI
00000186: DUP1
00000187: PUSH4 0x773e3309
0000018c: EQ
0000018d: PUSH2 0x0790
00000190: JUMPI
00000191: DUP1
00000192: PUSH4 0x7cb64759
00000197: EQ
00000198: PUSH2 0x07a6
0000019b: JUMPI
0000019c: DUP1
0000019d: PUSH4 0x7d4148a7
000001a2: EQ
000001a3: PUSH2 0x07c6
000001a6: JUMPI
000001a7: PUSH2 0x0389
000001aa: JUMP
000001ab: JUMPDEST
000001ac: DUP1
000001ad: PUSH4 0x656cf918
000001b2: EQ
000001b3: PUSH2 0x0726
000001b6: JUMPI
000001b7: DUP1
000001b8: PUSH4 0x705dae17
000001bd: EQ
000001be: PUSH2 0x0745
000001c1: JUMPI
000001c2: DUP1
000001c3: PUSH4 0x70a08231
000001c8: EQ
000001c9: PUSH2 0x075b
000001cc: JUMPI
000001cd: PUSH2 0x0389
000001d0: JUMP
000001d1: JUMPDEST
000001d2: DUP1
000001d3: PUSH4 0x2eb4a7ab
000001d8: GT
000001d9: PUSH2 0x02ab
000001dc: JUMPI
000001dd: DUP1
000001de: PUSH4 0x4f6ccce7
000001e3: GT
000001e4: PUSH2 0x0249
000001e7: JUMPI
000001e8: DUP1
000001e9: PUSH4 0x5a40c854
000001ee: GT
000001ef: PUSH2 0x0223
000001f2: JUMPI
000001f3: DUP1
000001f4: PUSH4 0x5a40c854
000001f9: EQ
000001fa: PUSH2 0x069d
000001fd: JUMPI
000001fe: DUP1
000001ff: PUSH4 0x623330ae
00000204: EQ
00000205: PUSH2 0x06b2
00000208: JUMPI
00000209: DUP1
0000020a: PUSH4 0x62c4048a
0000020f: EQ
00000210: PUSH2 0x06d2
00000213: JUMPI
00000214: DUP1
00000215: PUSH4 0x6352211e
0000021a: EQ
0000021b: PUSH2 0x0706
0000021e: JUMPI
0000021f: PUSH2 0x0389
00000222: JUMP
00000223: JUMPDEST
00000224: DUP1
00000225: PUSH4 0x4f6ccce7
0000022a: EQ
0000022b: PUSH2 0x0648
0000022e: JUMPI
0000022f: DUP1
00000230: PUSH4 0x540210d2
00000235: EQ
00000236: PUSH2 0x0668
00000239: JUMPI
0000023a: DUP1
0000023b: PUSH4 0x55f804b3
00000240: EQ
00000241: PUSH2 0x067d
00000244: JUMPI
00000245: PUSH2 0x0389
00000248: JUMP
00000249: JUMPDEST
0000024a: DUP1
0000024b: PUSH4 0x3e3617ed
00000250: GT
00000251: PUSH2 0x0285
00000254: JUMPI
00000255: DUP1
00000256: PUSH4 0x3e3617ed
0000025b: EQ
0000025c: PUSH2 0x05e0
0000025f: JUMPI
00000260: DUP1
00000261: PUSH4 0x42842e0e
00000266: EQ
00000267: PUSH2 0x0600
0000026a: JUMPI
0000026b: DUP1
0000026c: PUSH4 0x4bd25c6f
00000271: EQ
00000272: PUSH2 0x0620
00000275: JUMPI
00000276: DUP1
00000277: PUSH4 0x4d3554c3
0000027c: EQ
0000027d: PUSH2 0x0635
00000280: JUMPI
00000281: PUSH2 0x0389
00000284: JUMP
00000285: JUMPDEST
00000286: DUP1
00000287: PUSH4 0x2eb4a7ab
0000028c: EQ
0000028d: PUSH2 0x058a
00000290: JUMPI
00000291: DUP1
00000292: PUSH4 0x2f745c59
00000297: EQ
00000298: PUSH2 0x05a0
0000029b: JUMPI
0000029c: DUP1
0000029d: PUSH4 0x38518bfe
000002a2: EQ
000002a3: PUSH2 0x05c0
000002a6: JUMPI
000002a7: PUSH2 0x0389
000002aa: JUMP
000002ab: JUMPDEST
000002ac: DUP1
000002ad: PUSH4 0x18160ddd
000002b2: GT
000002b3: PUSH2 0x0318
000002b6: JUMPI
000002b7: DUP1
000002b8: PUSH4 0x2a55205a
000002bd: GT
000002be: PUSH2 0x02f2
000002c1: JUMPI
000002c2: DUP1
000002c3: PUSH4 0x2a55205a
000002c8: EQ
000002c9: PUSH2 0x0502
000002cc: JUMPI
000002cd: DUP1
000002ce: PUSH4 0x2ad71573
000002d3: EQ
000002d4: PUSH2 0x0541
000002d7: JUMPI
000002d8: DUP1
000002d9: PUSH4 0x2d20fb60
000002de: EQ
000002df: PUSH2 0x0557
000002e2: JUMPI
000002e3: DUP1
000002e4: PUSH4 0x2db11544
000002e9: EQ
000002ea: PUSH2 0x0577
000002ed: JUMPI
000002ee: PUSH2 0x0389
000002f1: JUMP
000002f2: JUMPDEST
000002f3: DUP1
000002f4: PUSH4 0x18160ddd
000002f9: EQ
000002fa: PUSH2 0x04b7
000002fd: JUMPI
000002fe: DUP1
000002ff: PUSH4 0x216af5d9
00000304: EQ
00000305: PUSH2 0x04cc
00000308: JUMPI
00000309: DUP1
0000030a: PUSH4 0x23b872dd
0000030f: EQ
00000310: PUSH2 0x04e2
00000313: JUMPI
00000314: PUSH2 0x0389
00000317: JUMP
00000318: JUMPDEST
00000319: DUP1
0000031a: PUSH4 0x095ea7b3
0000031f: GT
00000320: PUSH2 0x0354
00000323: JUMPI
00000324: DUP1
00000325: PUSH4 0x095ea7b3
0000032a: EQ
0000032b: PUSH2 0x0420
0000032e: JUMPI
0000032f: DUP1
00000330: PUSH4 0x12065fe0
00000335: EQ
00000336: PUSH2 0x0440
00000339: JUMPI
0000033a: DUP1
0000033b: PUSH4 0x133250ba
00000340: EQ
00000341: PUSH2 0x045d
00000344: JUMPI
00000345: DUP1
00000346: PUSH4 0x1690bc05
0000034b: EQ
0000034c: PUSH2 0x0497
0000034f: JUMPI
00000350: PUSH2 0x0389
00000353: JUMP
00000354: JUMPDEST
00000355: DUP1
00000356: PUSH4 0x01ffc9a7
0000035b: EQ
0000035c: PUSH2 0x0391
0000035f: JUMPI
00000360: DUP1
00000361: PUSH4 0x06fdde03
00000366: EQ
00000367: PUSH2 0x03c6
0000036a: JUMPI
0000036b: DUP1
0000036c: PUSH4 0x081812fc
00000371: EQ
00000372: PUSH2 0x03e8
00000375: JUMPI
00000376: PUSH2 0x0389
00000379: JUMP
0000037a: JUMPDEST
0000037b: CALLDATASIZE
0000037c: PUSH2 0x0389
0000037f: JUMPI
00000380: PUSH2 0x0387
00000383: PUSH2 0x0ae9
00000386: JUMP
00000387: JUMPDEST
00000388: STOP
00000389: JUMPDEST
0000038a: PUSH2 0x0387
0000038d: PUSH2 0x0ae9
00000390: JUMP
00000391: JUMPDEST
00000392: CALLVALUE
00000393: DUP1
00000394: ISZERO
00000395: PUSH2 0x039d
00000398: JUMPI
00000399: PUSH1 0x00
0000039b: DUP1
0000039c: REVERT
0000039d: JUMPDEST
0000039e: POP
0000039f: PUSH2 0x03b1
000003a2: PUSH2 0x03ac
000003a5: CALLDATASIZE
000003a6: PUSH1 0x04
000003a8: PUSH2 0x32df
000003ab: JUMP
000003ac: JUMPDEST
000003ad: PUSH2 0x0b80
000003b0: JUMP
000003b1: JUMPDEST
000003b2: PUSH1 0x40
000003b4: MLOAD
000003b5: SWAP1
000003b6: ISZERO
000003b7: ISZERO
000003b8: DUP2
000003b9: MSTORE
000003ba: PUSH1 0x20
000003bc: ADD
000003bd: JUMPDEST
000003be: PUSH1 0x40
000003c0: MLOAD
000003c1: DUP1
000003c2: SWAP2
000003c3: SUB
000003c4: SWAP1
000003c5: RETURN
000003c6: JUMPDEST
000003c7: CALLVALUE
000003c8: DUP1
000003c9: ISZERO
000003ca: PUSH2 0x03d2
000003cd: JUMPI
000003ce: PUSH1 0x00
000003d0: DUP1
000003d1: REVERT
000003d2: JUMPDEST
000003d3: POP
000003d4: PUSH2 0x03db
000003d7: PUSH2 0x0bfc
000003da: JUMP
000003db: JUMPDEST
000003dc: PUSH1 0x40
000003de: MLOAD
000003df: PUSH2 0x03bd
000003e2: SWAP2
000003e3: SWAP1
000003e4: PUSH2 0x3540
000003e7: JUMP
000003e8: JUMPDEST
000003e9: CALLVALUE
000003ea: DUP1
000003eb: ISZERO
000003ec: PUSH2 0x03f4
000003ef: JUMPI
000003f0: PUSH1 0x00
000003f2: DUP1
000003f3: REVERT
000003f4: JUMPDEST
000003f5: POP
000003f6: PUSH2 0x0408
000003f9: PUSH2 0x0403
000003fc: CALLDATASIZE
000003fd: PUSH1 0x04
000003ff: PUSH2 0x32c6
00000402: JUMP
00000403: JUMPDEST
00000404: PUSH2 0x0c8e
00000407: JUMP
00000408: JUMPDEST
00000409: PUSH1 0x40
0000040b: MLOAD
0000040c: PUSH1 0x01
0000040e: PUSH1 0x01
00000410: PUSH1 0xa0
00000412: SHL
00000413: SUB
00000414: SWAP1
00000415: SWAP2
00000416: AND
00000417: DUP2
00000418: MSTORE
00000419: PUSH1 0x20
0000041b: ADD
0000041c: PUSH2 0x03bd
0000041f: JUMP
00000420: JUMPDEST
00000421: CALLVALUE
00000422: DUP1
00000423: ISZERO
00000424: PUSH2 0x042c
00000427: JUMPI
00000428: PUSH1 0x00
0000042a: DUP1
0000042b: REVERT
0000042c: JUMPDEST
0000042d: POP
0000042e: PUSH2 0x0387
00000431: PUSH2 0x043b
00000434: CALLDATASIZE
00000435: PUSH1 0x04
00000437: PUSH2 0x329c
0000043a: JUMP
0000043b: JUMPDEST
0000043c: PUSH2 0x0d1e
0000043f: JUMP
00000440: JUMPDEST
00000441: CALLVALUE
00000442: DUP1
00000443: ISZERO
00000444: PUSH2 0x044c
00000447: JUMPI
00000448: PUSH1 0x00
0000044a: DUP1
0000044b: REVERT
0000044c: JUMPDEST
0000044d: POP
0000044e: SELFBALANCE
0000044f: JUMPDEST
00000450: PUSH1 0x40
00000452: MLOAD
00000453: SWAP1
00000454: DUP2
00000455: MSTORE
00000456: PUSH1 0x20
00000458: ADD
00000459: PUSH2 0x03bd
0000045c: JUMP
0000045d: JUMPDEST
0000045e: CALLVALUE
0000045f: DUP1
00000460: ISZERO
00000461: PUSH2 0x0469
00000464: JUMPI
00000465: PUSH1 0x00
00000467: DUP1
00000468: REVERT
00000469: JUMPDEST
0000046a: POP
0000046b: PUSH1 0x0a
0000046d: SLOAD
0000046e: PUSH1 0x0b
00000470: SLOAD
00000471: PUSH1 0x0c
00000473: SLOAD
00000474: PUSH2 0x047c
00000477: SWAP3
00000478: SWAP2
00000479: SWAP1
0000047a: DUP4
0000047b: JUMP
0000047c: JUMPDEST
0000047d: PUSH1 0x40
0000047f: DUP1
00000480: MLOAD
00000481: SWAP4
00000482: DUP5
00000483: MSTORE
00000484: PUSH1 0x20
00000486: DUP5
00000487: ADD
00000488: SWAP3
00000489: SWAP1
0000048a: SWAP3
0000048b: MSTORE
0000048c: SWAP1
0000048d: DUP3
0000048e: ADD
0000048f: MSTORE
00000490: PUSH1 0x60
00000492: ADD
00000493: PUSH2 0x03bd
00000496: JUMP
00000497: JUMPDEST
00000498: CALLVALUE
00000499: DUP1
0000049a: ISZERO
0000049b: PUSH2 0x04a3
0000049e: JUMPI
0000049f: PUSH1 0x00
000004a1: DUP1
000004a2: REVERT
000004a3: JUMPDEST
000004a4: POP
000004a5: PUSH2 0x0387
000004a8: PUSH2 0x04b2
000004ab: CALLDATASIZE
000004ac: PUSH1 0x04
000004ae: PUSH2 0x345c
000004b1: JUMP
000004b2: JUMPDEST
000004b3: PUSH2 0x0e36
000004b6: JUMP
000004b7: JUMPDEST
000004b8: CALLVALUE
000004b9: DUP1
000004ba: ISZERO
000004bb: PUSH2 0x04c3
000004be: JUMPI
000004bf: PUSH1 0x00
000004c1: DUP1
000004c2: REVERT
000004c3: JUMPDEST
000004c4: POP
000004c5: PUSH1 0x01
000004c7: SLOAD
000004c8: PUSH2 0x044f
000004cb: JUMP
000004cc: JUMPDEST
000004cd: CALLVALUE
000004ce: DUP1
000004cf: ISZERO
000004d0: PUSH2 0x04d8
000004d3: JUMPI
000004d4: PUSH1 0x00
000004d6: DUP1
000004d7: REVERT
000004d8: JUMPDEST
000004d9: POP
000004da: PUSH2 0x044f
000004dd: PUSH1 0x1f
000004df: SLOAD
000004e0: DUP2
000004e1: JUMP
000004e2: JUMPDEST
000004e3: CALLVALUE
000004e4: DUP1
000004e5: ISZERO
000004e6: PUSH2 0x04ee
000004e9: JUMPI
000004ea: PUSH1 0x00
000004ec: DUP1
000004ed: REVERT
000004ee: JUMPDEST
000004ef: POP
000004f0: PUSH2 0x0387
000004f3: PUSH2 0x04fd
000004f6: CALLDATASIZE
000004f7: PUSH1 0x04
000004f9: PUSH2 0x3148
000004fc: JUMP
000004fd: JUMPDEST
000004fe: PUSH2 0x0e85
00000501: JUMP
00000502: JUMPDEST
00000503: CALLVALUE
00000504: DUP1
00000505: ISZERO
00000506: PUSH2 0x050e
00000509: JUMPI
0000050a: PUSH1 0x00
0000050c: DUP1
0000050d: REVERT
0000050e: JUMPDEST
0000050f: POP
00000510: PUSH2 0x0522
00000513: PUSH2 0x051d
00000516: CALLDATASIZE
00000517: PUSH1 0x04
00000519: PUSH2 0x338b
0000051c: JUMP
0000051d: JUMPDEST
0000051e: PUSH2 0x0e90
00000521: JUMP
00000522: JUMPDEST
00000523: PUSH1 0x40
00000525: DUP1
00000526: MLOAD
00000527: PUSH1 0x01
00000529: PUSH1 0x01
0000052b: PUSH1 0xa0
0000052d: SHL
0000052e: SUB
0000052f: SWAP1
00000530: SWAP4
00000531: AND
00000532: DUP4
00000533: MSTORE
00000534: PUSH1 0x20
00000536: DUP4
00000537: ADD
00000538: SWAP2
00000539: SWAP1
0000053a: SWAP2
0000053b: MSTORE
0000053c: ADD
0000053d: PUSH2 0x03bd
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 0x044f
00000552: PUSH1 0x19
00000554: SLOAD
00000555: DUP2
00000556: JUMP
00000557: JUMPDEST
00000558: CALLVALUE
00000559: DUP1
0000055a: ISZERO
0000055b: PUSH2 0x0563
0000055e: JUMPI
0000055f: PUSH1 0x00
00000561: DUP1
00000562: REVERT
00000563: JUMPDEST
00000564: POP
00000565: PUSH2 0x0387
00000568: PUSH2 0x0572
0000056b: CALLDATASIZE
0000056c: PUSH1 0x04
0000056e: PUSH2 0x32c6
00000571: JUMP
00000572: JUMPDEST
00000573: PUSH2 0x0eaa
00000576: JUMP
00000577: JUMPDEST
00000578: PUSH2 0x0387
0000057b: PUSH2 0x0585
0000057e: CALLDATASIZE
0000057f: PUSH1 0x04
00000581: PUSH2 0x32c6
00000584: JUMP
00000585: JUMPDEST
00000586: PUSH2 0x0f0d
00000589: JUMP
0000058a: JUMPDEST
0000058b: CALLVALUE
0000058c: DUP1
0000058d: ISZERO
0000058e: PUSH2 0x0596
00000591: JUMPI
00000592: PUSH1 0x00
00000594: DUP1
00000595: REVERT
00000596: JUMPDEST
00000597: POP
00000598: PUSH2 0x044f
0000059b: PUSH1 0x1a
0000059d: SLOAD
0000059e: DUP2
0000059f: JUMP
000005a0: JUMPDEST
000005a1: CALLVALUE
000005a2: DUP1
000005a3: ISZERO
000005a4: PUSH2 0x05ac
000005a7: JUMPI
000005a8: PUSH1 0x00
000005aa: DUP1
000005ab: REVERT
000005ac: JUMPDEST
000005ad: POP
000005ae: PUSH2 0x044f
000005b1: PUSH2 0x05bb
000005b4: CALLDATASIZE
000005b5: PUSH1 0x04
000005b7: PUSH2 0x329c
000005ba: JUMP
000005bb: JUMPDEST
000005bc: PUSH2 0x102f
000005bf: JUMP
000005c0: JUMPDEST
000005c1: CALLVALUE
000005c2: DUP1
000005c3: ISZERO
000005c4: PUSH2 0x05cc
000005c7: JUMPI
000005c8: PUSH1 0x00
000005ca: DUP1
000005cb: REVERT
000005cc: JUMPDEST
000005cd: POP
000005ce: PUSH1 0x1e
000005d0: SLOAD
000005d1: PUSH2 0x0408
000005d4: SWAP1
000005d5: PUSH1 0x01
000005d7: PUSH1 0x01
000005d9: PUSH1 0xa0
000005db: SHL
000005dc: SUB
000005dd: AND
000005de: DUP2
000005df: JUMP
000005e0: JUMPDEST
000005e1: CALLVALUE
000005e2: DUP1
000005e3: ISZERO
000005e4: PUSH2 0x05ec
000005e7: JUMPI
000005e8: PUSH1 0x00
000005ea: DUP1
000005eb: REVERT
000005ec: JUMPDEST
000005ed: POP
000005ee: PUSH2 0x0387
000005f1: PUSH2 0x05fb
000005f4: CALLDATASIZE
000005f5: PUSH1 0x04
000005f7: PUSH2 0x3430
000005fa: JUMP
000005fb: JUMPDEST
000005fc: PUSH2 0x11a8
000005ff: JUMP
00000600: JUMPDEST
00000601: CALLVALUE
00000602: DUP1
00000603: ISZERO
00000604: PUSH2 0x060c
00000607: JUMPI
00000608: PUSH1 0x00
0000060a: DUP1
0000060b: REVERT
0000060c: JUMPDEST
0000060d: POP
0000060e: PUSH2 0x0387
00000611: PUSH2 0x061b
00000614: CALLDATASIZE
00000615: PUSH1 0x04
00000617: PUSH2 0x3148
0000061a: JUMP
0000061b: JUMPDEST
0000061c: PUSH2 0x11e0
0000061f: JUMP
00000620: JUMPDEST
00000621: CALLVALUE
00000622: DUP1
00000623: ISZERO
00000624: PUSH2 0x062c
00000627: JUMPI
00000628: PUSH1 0x00
0000062a: DUP1
0000062b: REVERT
0000062c: JUMPDEST
0000062d: POP
0000062e: PUSH2 0x044f
00000631: PUSH2 0x11fb
00000634: JUMP
00000635: JUMPDEST
00000636: PUSH2 0x0387
00000639: PUSH2 0x0643
0000063c: CALLDATASIZE
0000063d: PUSH1 0x04
0000063f: PUSH2 0x32c6
00000642: JUMP
00000643: JUMPDEST
00000644: PUSH2 0x1287
00000647: JUMP
00000648: JUMPDEST
00000649: CALLVALUE
0000064a: DUP1
0000064b: ISZERO
0000064c: PUSH2 0x0654
0000064f: JUMPI
00000650: PUSH1 0x00
00000652: DUP1
00000653: REVERT
00000654: JUMPDEST
00000655: POP
00000656: PUSH2 0x044f
00000659: PUSH2 0x0663
0000065c: CALLDATASIZE
0000065d: PUSH1 0x04
0000065f: PUSH2 0x32c6
00000662: JUMP
00000663: JUMPDEST
00000664: PUSH2 0x1419
00000667: JUMP
00000668: JUMPDEST
00000669: CALLVALUE
0000066a: DUP1
0000066b: ISZERO
0000066c: PUSH2 0x0674
0000066f: JUMPI
00000670: PUSH1 0x00
00000672: DUP1
00000673: REVERT
00000674: JUMPDEST
00000675: POP
00000676: PUSH2 0x0387
00000679: PUSH2 0x1482
0000067c: JUMP
0000067d: JUMPDEST
0000067e: CALLVALUE
0000067f: DUP1
00000680: ISZERO
00000681: PUSH2 0x0689
00000684: JUMPI
00000685: PUSH1 0x00
00000687: DUP1
00000688: REVERT
00000689: JUMPDEST
0000068a: POP
0000068b: PUSH2 0x0387
0000068e: PUSH2 0x0698
00000691: CALLDATASIZE
00000692: PUSH1 0x04
00000694: PUSH2 0x3319
00000697: JUMP
00000698: JUMPDEST
00000699: PUSH2 0x160f
0000069c: JUMP
0000069d: JUMPDEST
0000069e: CALLVALUE
0000069f: DUP1
000006a0: ISZERO
000006a1: PUSH2 0x06a9
000006a4: JUMPI
000006a5: PUSH1 0x00
000006a7: DUP1
000006a8: REVERT
000006a9: JUMPDEST
000006aa: POP
000006ab: PUSH2 0x044f
000006ae: PUSH2 0x1645
000006b1: JUMP
000006b2: JUMPDEST
000006b3: CALLVALUE
000006b4: DUP1
000006b5: ISZERO
000006b6: PUSH2 0x06be
000006b9: JUMPI
000006ba: PUSH1 0x00
000006bc: DUP1
000006bd: REVERT
000006be: JUMPDEST
000006bf: POP
000006c0: PUSH2 0x0387
000006c3: PUSH2 0x06cd
000006c6: CALLDATASIZE
000006c7: PUSH1 0x04
000006c9: PUSH2 0x30fa
000006cc: JUMP
000006cd: JUMPDEST
000006ce: PUSH2 0x1725
000006d1: JUMP
000006d2: JUMPDEST
000006d3: CALLVALUE
000006d4: DUP1
000006d5: ISZERO
000006d6: PUSH2 0x06de
000006d9: JUMPI
000006da: PUSH1 0x00
000006dc: DUP1
000006dd: REVERT
000006de: JUMPDEST
000006df: POP
000006e0: PUSH2 0x044f
000006e3: PUSH32 0x000000000000000000000000000000000000000000000000000000000000012c
00000704: DUP2
00000705: JUMP
00000706: JUMPDEST
00000707: CALLVALUE
00000708: DUP1
00000709: ISZERO
0000070a: PUSH2 0x0712
0000070d: JUMPI
0000070e: PUSH1 0x00
00000710: DUP1
00000711: REVERT
00000712: JUMPDEST
00000713: POP
00000714: PUSH2 0x0408
00000717: PUSH2 0x0721
0000071a: CALLDATASIZE
0000071b: PUSH1 0x04
0000071d: PUSH2 0x32c6
00000720: JUMP
00000721: JUMPDEST
00000722: PUSH2 0x17f4
00000725: JUMP
00000726: JUMPDEST
00000727: CALLVALUE
00000728: DUP1
00000729: ISZERO
0000072a: PUSH2 0x0732
0000072d: JUMPI
0000072e: PUSH1 0x00
00000730: DUP1
00000731: REVERT
00000732: JUMPDEST
00000733: POP
00000734: PUSH1 0x0d
00000736: SLOAD
00000737: PUSH1 0x0e
00000739: SLOAD
0000073a: PUSH1 0x0f
0000073c: SLOAD
0000073d: PUSH2 0x047c
00000740: SWAP3
00000741: SWAP2
00000742: SWAP1
00000743: DUP4
00000744: JUMP
00000745: JUMPDEST
00000746: CALLVALUE
00000747: DUP1
00000748: ISZERO
00000749: PUSH2 0x0751
0000074c: JUMPI
0000074d: PUSH1 0x00
0000074f: DUP1
00000750: REVERT
00000751: JUMPDEST
00000752: POP
00000753: PUSH2 0x044f
00000756: PUSH1 0x20
00000758: SLOAD
00000759: DUP2
0000075a: JUMP
0000075b: JUMPDEST
0000075c: CALLVALUE
0000075d: DUP1
0000075e: ISZERO
0000075f: PUSH2 0x0767
00000762: JUMPI
00000763: PUSH1 0x00
00000765: DUP1
00000766: REVERT
00000767: JUMPDEST
00000768: POP
00000769: PUSH2 0x044f
0000076c: PUSH2 0x0776
0000076f: CALLDATASIZE
00000770: PUSH1 0x04
00000772: PUSH2 0x30fa
00000775: JUMP
00000776: JUMPDEST
00000777: PUSH2 0x1806
0000077a: JUMP
0000077b: JUMPDEST
0000077c: CALLVALUE
0000077d: DUP1
0000077e: ISZERO
0000077f: PUSH2 0x0787
00000782: JUMPI
00000783: PUSH1 0x00
00000785: DUP1
00000786: REVERT
00000787: JUMPDEST
00000788: POP
00000789: PUSH2 0x0387
0000078c: PUSH2 0x1897
0000078f: JUMP
00000790: JUMPDEST
00000791: CALLVALUE
00000792: DUP1
00000793: ISZERO
00000794: PUSH2 0x079c
00000797: JUMPI
00000798: PUSH1 0x00
0000079a: DUP1
0000079b: REVERT
0000079c: JUMPDEST
0000079d: POP
0000079e: PUSH2 0x044f
000007a1: PUSH1 0x18
000007a3: SLOAD
000007a4: DUP2
000007a5: JUMP
000007a6: JUMPDEST
000007a7: CALLVALUE
000007a8: DUP1
000007a9: ISZERO
000007aa: PUSH2 0x07b2
000007ad: JUMPI
000007ae: PUSH1 0x00
000007b0: DUP1
000007b1: REVERT
000007b2: JUMPDEST
000007b3: POP
000007b4: PUSH2 0x0387
000007b7: PUSH2 0x07c1
000007ba: CALLDATASIZE
000007bb: PUSH1 0x04
000007bd: PUSH2 0x32c6
000007c0: JUMP
000007c1: JUMPDEST
000007c2: PUSH2 0x18cd
000007c5: JUMP
000007c6: JUMPDEST
000007c7: CALLVALUE
000007c8: DUP1
000007c9: ISZERO
000007ca: PUSH2 0x07d2
000007cd: JUMPI
000007ce: PUSH1 0x00
000007d0: DUP1
000007d1: REVERT
000007d2: JUMPDEST
000007d3: POP
000007d4: PUSH2 0x044f
000007d7: PUSH1 0x05
000007d9: DUP2
000007da: JUMP
000007db: JUMPDEST
000007dc: CALLVALUE
000007dd: DUP1
000007de: ISZERO
000007df: PUSH2 0x07e7
000007e2: JUMPI
000007e3: PUSH1 0x00
000007e5: DUP1
000007e6: REVERT
000007e7: JUMPDEST
000007e8: POP
000007e9: PUSH2 0x0387
000007ec: PUSH2 0x18fc
000007ef: JUMP
000007f0: JUMPDEST
000007f1: CALLVALUE
000007f2: DUP1
000007f3: ISZERO
000007f4: PUSH2 0x07fc
000007f7: JUMPI
000007f8: PUSH1 0x00
000007fa: DUP1
000007fb: REVERT
000007fc: JUMPDEST
000007fd: POP
000007fe: PUSH2 0x044f
00000801: PUSH1 0x14
00000803: DUP2
00000804: JUMP
00000805: JUMPDEST
00000806: CALLVALUE
00000807: DUP1
00000808: ISZERO
00000809: PUSH2 0x0811
0000080c: JUMPI
0000080d: PUSH1 0x00
0000080f: DUP1
00000810: REVERT
00000811: JUMPDEST
00000812: POP
00000813: PUSH1 0x00
00000815: SLOAD
00000816: PUSH1 0x01
00000818: PUSH1 0x01
0000081a: PUSH1 0xa0
0000081c: SHL
0000081d: SUB
0000081e: AND
0000081f: PUSH2 0x0408
00000822: JUMP
00000823: JUMPDEST
00000824: CALLVALUE
00000825: DUP1
00000826: ISZERO
00000827: PUSH2 0x082f
0000082a: JUMPI
0000082b: PUSH1 0x00
0000082d: DUP1
0000082e: REVERT
0000082f: JUMPDEST
00000830: POP
00000831: PUSH2 0x0843
00000834: PUSH2 0x083e
00000837: CALLDATASIZE
00000838: PUSH1 0x04
0000083a: PUSH2 0x32c6
0000083d: JUMP
0000083e: JUMPDEST
0000083f: PUSH2 0x1a75
00000842: JUMP
00000843: JUMPDEST
00000844: PUSH1 0x40
00000846: DUP1
00000847: MLOAD
00000848: DUP3
00000849: MLOAD
0000084a: PUSH1 0x01
0000084c: PUSH1 0x01
0000084e: PUSH1 0xa0
00000850: SHL
00000851: SUB
00000852: AND
00000853: DUP2
00000854: MSTORE
00000855: PUSH1 0x20
00000857: SWAP3
00000858: DUP4
00000859: ADD
0000085a: MLOAD
0000085b: PUSH8 0xffffffffffffffff
00000864: AND
00000865: SWAP3
00000866: DUP2
00000867: ADD
00000868: SWAP3
00000869: SWAP1
0000086a: SWAP3
0000086b: MSTORE
0000086c: ADD
0000086d: PUSH2 0x03bd
00000870: JUMP
00000871: JUMPDEST
00000872: CALLVALUE
00000873: DUP1
00000874: ISZERO
00000875: PUSH2 0x087d
00000878: JUMPI
00000879: PUSH1 0x00
0000087b: DUP1
0000087c: REVERT
0000087d: JUMPDEST
0000087e: POP
0000087f: PUSH2 0x03db
00000882: PUSH2 0x1a92
00000885: JUMP
00000886: JUMPDEST
00000887: CALLVALUE
00000888: DUP1
00000889: ISZERO
0000088a: PUSH2 0x0892
0000088d: JUMPI
0000088e: PUSH1 0x00
00000890: DUP1
00000891: REVERT
00000892: JUMPDEST
00000893: POP
00000894: PUSH2 0x044f
00000897: PUSH2 0x08a1
0000089a: CALLDATASIZE
0000089b: PUSH1 0x04
0000089d: PUSH2 0x30fa
000008a0: JUMP
000008a1: JUMPDEST
000008a2: PUSH1 0x1b
000008a4: PUSH1 0x20
000008a6: MSTORE
000008a7: PUSH1 0x00
000008a9: SWAP1
000008aa: DUP2
000008ab: MSTORE
000008ac: PUSH1 0x40
000008ae: SWAP1
000008af: KECCAK256
000008b0: SLOAD
000008b1: DUP2
000008b2: JUMP
000008b3: JUMPDEST
000008b4: CALLVALUE
000008b5: DUP1
000008b6: ISZERO
000008b7: PUSH2 0x08bf
000008ba: JUMPI
000008bb: PUSH1 0x00
000008bd: DUP1
000008be: REVERT
000008bf: JUMPDEST
000008c0: POP
000008c1: PUSH2 0x0387
000008c4: PUSH2 0x08ce
000008c7: CALLDATASIZE
000008c8: PUSH1 0x04
000008ca: PUSH2 0x3260
000008cd: JUMP
000008ce: JUMPDEST
000008cf: PUSH2 0x1aa1
000008d2: JUMP
000008d3: JUMPDEST
000008d4: CALLVALUE
000008d5: DUP1
000008d6: ISZERO
000008d7: PUSH2 0x08df
000008da: JUMPI
000008db: PUSH1 0x00
000008dd: DUP1
000008de: REVERT
000008df: JUMPDEST
000008e0: POP
000008e1: PUSH1 0x10
000008e3: SLOAD
000008e4: PUSH1 0x11
000008e6: SLOAD
000008e7: PUSH1 0x12
000008e9: SLOAD
000008ea: PUSH2 0x047c
000008ed: SWAP3
000008ee: SWAP2
000008ef: SWAP1
000008f0: DUP4
000008f1: JUMP
000008f2: JUMPDEST
000008f3: CALLVALUE
000008f4: DUP1
000008f5: ISZERO
000008f6: PUSH2 0x08fe
000008f9: JUMPI
000008fa: PUSH1 0x00
000008fc: DUP1
000008fd: REVERT
000008fe: JUMPDEST
000008ff: POP
00000900: PUSH2 0x0387
00000903: PUSH2 0x090d
00000906: CALLDATASIZE
00000907: PUSH1 0x04
00000909: PUSH2 0x3430
0000090c: JUMP
0000090d: JUMPDEST
0000090e: PUSH2 0x1b66
00000911: JUMP
00000912: JUMPDEST
00000913: CALLVALUE
00000914: DUP1
00000915: ISZERO
00000916: PUSH2 0x091e
00000919: JUMPI
0000091a: PUSH1 0x00
0000091c: DUP1
0000091d: REVERT
0000091e: JUMPDEST
0000091f: POP
00000920: PUSH2 0x0387
00000923: PUSH2 0x092d
00000926: CALLDATASIZE
00000927: PUSH1 0x04
00000929: PUSH2 0x3184
0000092c: JUMP
0000092d: JUMPDEST
0000092e: PUSH2 0x1b9e
00000931: JUMP
00000932: JUMPDEST
00000933: CALLVALUE
00000934: DUP1
00000935: ISZERO
00000936: PUSH2 0x093e
00000939: JUMPI
0000093a: PUSH1 0x00
0000093c: DUP1
0000093d: REVERT
0000093e: JUMPDEST
0000093f: POP
00000940: PUSH2 0x044f
00000943: PUSH2 0x2710
00000946: DUP2
00000947: JUMP
00000948: JUMPDEST
00000949: CALLVALUE
0000094a: DUP1
0000094b: ISZERO
0000094c: PUSH2 0x0954
0000094f: JUMPI
00000950: PUSH1 0x00
00000952: DUP1
00000953: REVERT
00000954: JUMPDEST
00000955: POP
00000956: PUSH1 0x13
00000958: SLOAD
00000959: PUSH1 0x14
0000095b: SLOAD
0000095c: PUSH1 0x15
0000095e: SLOAD
0000095f: PUSH1 0x16
00000961: SLOAD
00000962: PUSH1 0x17
00000964: SLOAD
00000965: PUSH2 0x096f
00000968: SWAP5
00000969: SWAP4
0000096a: SWAP3
0000096b: SWAP2
0000096c: SWAP1
0000096d: DUP6
0000096e: JUMP
0000096f: JUMPDEST
00000970: PUSH1 0x40
00000972: DUP1
00000973: MLOAD
00000974: SWAP6
00000975: DUP7
00000976: MSTORE
00000977: PUSH1 0x20
00000979: DUP7
0000097a: ADD
0000097b: SWAP5
0000097c: SWAP1
0000097d: SWAP5
0000097e: MSTORE
0000097f: SWAP3
00000980: DUP5
00000981: ADD
00000982: SWAP2
00000983: SWAP1
00000984: SWAP2
00000985: MSTORE
00000986: PUSH1 0x60
00000988: DUP4
00000989: ADD
0000098a: MSTORE
0000098b: PUSH1 0x80
0000098d: DUP3
0000098e: ADD
0000098f: MSTORE
00000990: PUSH1 0xa0
00000992: ADD
00000993: PUSH2 0x03bd
00000996: JUMP
00000997: JUMPDEST
00000998: PUSH2 0x0387
0000099b: PUSH2 0x09a5
0000099e: CALLDATASIZE
0000099f: PUSH1 0x04
000009a1: PUSH2 0x33ad
000009a4: JUMP
000009a5: JUMPDEST
000009a6: PUSH2 0x1bd1
000009a9: JUMP
000009aa: JUMPDEST
000009ab: CALLVALUE
000009ac: DUP1
000009ad: ISZERO
000009ae: PUSH2 0x09b6
000009b1: JUMPI
000009b2: PUSH1 0x00
000009b4: DUP1
000009b5: REVERT
000009b6: JUMPDEST
000009b7: POP
000009b8: PUSH2 0x03db
000009bb: PUSH2 0x09c5
000009be: CALLDATASIZE
000009bf: PUSH1 0x04
000009c1: PUSH2 0x32c6
000009c4: JUMP
000009c5: JUMPDEST
000009c6: PUSH2 0x1e3c
000009c9: JUMP
000009ca: JUMPDEST
000009cb: CALLVALUE
000009cc: DUP1
000009cd: ISZERO
000009ce: PUSH2 0x09d6
000009d1: JUMPI
000009d2: PUSH1 0x00
000009d4: DUP1
000009d5: REVERT
000009d6: JUMPDEST
000009d7: POP
000009d8: PUSH2 0x044f
000009db: PUSH1 0x08
000009dd: SLOAD
000009de: DUP2
000009df: JUMP
000009e0: JUMPDEST
000009e1: CALLVALUE
000009e2: DUP1
000009e3: ISZERO
000009e4: PUSH2 0x09ec
000009e7: JUMPI
000009e8: PUSH1 0x00
000009ea: DUP1
000009eb: REVERT
000009ec: JUMPDEST
000009ed: POP
000009ee: PUSH2 0x044f
000009f1: PUSH1 0x22
000009f3: SLOAD
000009f4: DUP2
000009f5: JUMP
000009f6: JUMPDEST
000009f7: CALLVALUE
000009f8: DUP1
000009f9: ISZERO
000009fa: PUSH2 0x0a02
000009fd: JUMPI
000009fe: PUSH1 0x00
00000a00: DUP1
00000a01: REVERT
00000a02: JUMPDEST
00000a03: POP
00000a04: PUSH2 0x044f
00000a07: PUSH2 0x0a11
00000a0a: CALLDATASIZE
00000a0b: PUSH1 0x04
00000a0d: PUSH2 0x30fa
00000a10: JUMP
00000a11: JUMPDEST
00000a12: PUSH2 0x1f09
00000a15: JUMP
00000a16: JUMPDEST
00000a17: CALLVALUE
00000a18: DUP1
00000a19: ISZERO
00000a1a: PUSH2 0x0a22
00000a1d: JUMPI
00000a1e: PUSH1 0x00
00000a20: DUP1
00000a21: REVERT
00000a22: JUMPDEST
00000a23: POP
00000a24: PUSH2 0x03b1
00000a27: PUSH2 0x0a31
00000a2a: CALLDATASIZE
00000a2b: PUSH1 0x04
00000a2d: PUSH2 0x3115
00000a30: JUMP
00000a31: JUMPDEST
00000a32: PUSH1 0x01
00000a34: PUSH1 0x01
00000a36: PUSH1 0xa0
00000a38: SHL
00000a39: SUB
00000a3a: SWAP2
00000a3b: DUP3
00000a3c: AND
00000a3d: PUSH1 0x00
00000a3f: SWAP1
00000a40: DUP2
00000a41: MSTORE
00000a42: PUSH1 0x07
00000a44: PUSH1 0x20
00000a46: SWAP1
00000a47: DUP2
00000a48: MSTORE
00000a49: PUSH1 0x40
00000a4b: DUP1
00000a4c: DUP4
00000a4d: KECCAK256
00000a4e: SWAP4
00000a4f: SWAP1
00000a50: SWAP5
00000a51: AND
00000a52: DUP3
00000a53: MSTORE
00000a54: SWAP2
00000a55: SWAP1
00000a56: SWAP2
00000a57: MSTORE
00000a58: KECCAK256
00000a59: SLOAD
00000a5a: PUSH1 0xff
00000a5c: AND
00000a5d: SWAP1
00000a5e: JUMP
00000a5f: JUMPDEST
00000a60: CALLVALUE
00000a61: DUP1
00000a62: ISZERO
00000a63: PUSH2 0x0a6b
00000a66: JUMPI
00000a67: PUSH1 0x00
00000a69: DUP1
00000a6a: REVERT
00000a6b: JUMPDEST
00000a6c: POP
00000a6d: PUSH2 0x0387
00000a70: PUSH2 0x0a7a
00000a73: CALLDATASIZE
00000a74: PUSH1 0x04
00000a76: PUSH2 0x30fa
00000a79: JUMP
00000a7a: JUMPDEST
00000a7b: PUSH2 0x1f14
00000a7e: JUMP
00000a7f: JUMPDEST
00000a80: CALLVALUE
00000a81: DUP1
00000a82: ISZERO
00000a83: PUSH2 0x0a8b
00000a86: JUMPI
00000a87: PUSH1 0x00
00000a89: DUP1
00000a8a: REVERT
00000a8b: JUMPDEST
00000a8c: POP
00000a8d: PUSH2 0x0387
00000a90: PUSH2 0x0a9a
00000a93: CALLDATASIZE
00000a94: PUSH1 0x04
00000a96: PUSH2 0x32c6
00000a99: JUMP
00000a9a: JUMPDEST
00000a9b: PUSH2 0x1f70
00000a9e: JUMP
00000a9f: JUMPDEST
00000aa0: CALLVALUE
00000aa1: DUP1
00000aa2: ISZERO
00000aa3: PUSH2 0x0aab
00000aa6: JUMPI
00000aa7: PUSH1 0x00
00000aa9: DUP1
00000aaa: REVERT
00000aab: JUMPDEST
00000aac: POP
00000aad: PUSH2 0x044f
00000ab0: PUSH1 0x23
00000ab2: SLOAD
00000ab3: DUP2
00000ab4: JUMP
00000ab5: JUMPDEST
00000ab6: CALLVALUE
00000ab7: DUP1
00000ab8: ISZERO
00000ab9: PUSH2 0x0ac1
00000abc: JUMPI
00000abd: PUSH1 0x00
00000abf: DUP1
00000ac0: REVERT
00000ac1: JUMPDEST
00000ac2: POP
00000ac3: PUSH2 0x044f
00000ac6: PUSH32 0x00000000000000000000000000000000000000000000000000000000000025e4
00000ae7: DUP2
00000ae8: JUMP
00000ae9: JUMPDEST
00000aea: PUSH1 0x00
00000aec: CALLVALUE
00000aed: GT
00000aee: PUSH2 0x0af3
00000af1: JUMPI
00000af2: JUMP
00000af3: JUMPDEST
00000af4: PUSH1 0x00
00000af6: PUSH1 0x64
00000af8: PUSH1 0x1d
00000afa: SLOAD
00000afb: CALLVALUE
00000afc: PUSH2 0x0b05
00000aff: SWAP2
00000b00: SWAP1
00000b01: PUSH2 0x379a
00000b04: JUMP
00000b05: JUMPDEST
00000b06: PUSH2 0x0b0f
00000b09: SWAP2
00000b0a: SWAP1
00000b0b: PUSH2 0x3786
00000b0e: JUMP
00000b0f: JUMPDEST
00000b10: SWAP1
00000b11: POP
00000b12: PUSH1 0x00
00000b14: PUSH2 0x0b1d
00000b17: DUP3
00000b18: CALLVALUE
00000b19: PUSH2 0x37e1
00000b1c: JUMP
00000b1d: JUMPDEST
00000b1e: SWAP1
00000b1f: POP
00000b20: DUP1
00000b21: PUSH1 0x1f
00000b23: PUSH1 0x00
00000b25: DUP3
00000b26: DUP3
00000b27: SLOAD
00000b28: PUSH2 0x0b31
00000b2b: SWAP2
00000b2c: SWAP1
00000b2d: PUSH2 0x376e
00000b30: JUMP
00000b31: JUMPDEST
00000b32: SWAP3
00000b33: POP
00000b34: POP
00000b35: DUP2
00000b36: SWAP1
00000b37: SSTORE
00000b38: POP
00000b39: DUP2
00000b3a: PUSH1 0x20
00000b3c: PUSH1 0x00
00000b3e: DUP3
00000b3f: DUP3
00000b40: SLOAD
00000b41: PUSH2 0x0b4a
00000b44: SWAP2
00000b45: SWAP1
00000b46: PUSH2 0x376e
00000b49: JUMP
00000b4a: JUMPDEST
00000b4b: SWAP1
00000b4c: SWAP2
00000b4d: SSTORE
00000b4e: POP
00000b4f: POP
00000b50: PUSH1 0x40
00000b52: MLOAD
00000b53: CALLVALUE
00000b54: SWAP1
00000b55: CALLER
00000b56: SWAP1
00000b57: PUSH32 0xd58b9453e6f4c35a3372d312593e36abb8753db08302eb548b83eabb743c4bb1
00000b78: SWAP1
00000b79: PUSH1 0x00
00000b7b: SWAP1
00000b7c: LOG3
00000b7d: POP
00000b7e: POP
00000b7f: JUMP
00000b80: JUMPDEST
00000b81: PUSH1 0x00
00000b83: PUSH1 0x01
00000b85: PUSH1 0x01
00000b87: PUSH1 0xe0
00000b89: SHL
00000b8a: SUB
00000b8b: NOT
00000b8c: DUP3
00000b8d: AND
00000b8e: PUSH4 0x80ac58cd
00000b93: PUSH1 0xe0
00000b95: SHL
00000b96: EQ
00000b97: DUP1
00000b98: PUSH2 0x0bb1
00000b9b: JUMPI
00000b9c: POP
00000b9d: PUSH1 0x01
00000b9f: PUSH1 0x01
00000ba1: PUSH1 0xe0
00000ba3: SHL
00000ba4: SUB
00000ba5: NOT
00000ba6: DUP3
00000ba7: AND
00000ba8: PUSH4 0x5b5e139f
00000bad: PUSH1 0xe0
00000baf: SHL
00000bb0: EQ
00000bb1: JUMPDEST
00000bb2: DUP1
00000bb3: PUSH2 0x0bcc
00000bb6: JUMPI
00000bb7: POP
00000bb8: PUSH1 0x01
00000bba: PUSH1 0x01
00000bbc: PUSH1 0xe0
00000bbe: SHL
00000bbf: SUB
00000bc0: NOT
00000bc1: DUP3
00000bc2: AND
00000bc3: PUSH4 0x780e9d63
00000bc8: PUSH1 0xe0
00000bca: SHL
00000bcb: EQ
00000bcc: JUMPDEST
00000bcd: DUP1
00000bce: PUSH2 0x0be7
00000bd1: JUMPI
00000bd2: POP
00000bd3: PUSH1 0x01
00000bd5: PUSH1 0x01
00000bd7: PUSH1 0xe0
00000bd9: SHL
00000bda: SUB
00000bdb: NOT
00000bdc: DUP3
00000bdd: AND
00000bde: PUSH4 0x152a902d
00000be3: PUSH1 0xe1
00000be5: SHL
00000be6: EQ
00000be7: JUMPDEST
00000be8: DUP1
00000be9: PUSH2 0x0bf6
00000bec: JUMPI
00000bed: POP
00000bee: PUSH2 0x0bf6
00000bf1: DUP3
00000bf2: PUSH2 0x2091
00000bf5: JUMP
00000bf6: JUMPDEST
00000bf7: SWAP3
00000bf8: SWAP2
00000bf9: POP
00000bfa: POP
00000bfb: JUMP
00000bfc: JUMPDEST
00000bfd: PUSH1 0x60
00000bff: PUSH1 0x02
00000c01: DUP1
00000c02: SLOAD
00000c03: PUSH2 0x0c0b
00000c06: SWAP1
00000c07: PUSH2 0x383b
00000c0a: JUMP
00000c0b: JUMPDEST
00000c0c: DUP1
00000c0d: PUSH1 0x1f
00000c0f: ADD
00000c10: PUSH1 0x20
00000c12: DUP1
00000c13: SWAP2
00000c14: DIV
00000c15: MUL
00000c16: PUSH1 0x20
00000c18: ADD
00000c19: PUSH1 0x40
00000c1b: MLOAD
00000c1c: SWAP1
00000c1d: DUP2
00000c1e: ADD
00000c1f: PUSH1 0x40
00000c21: MSTORE
00000c22: DUP1
00000c23: SWAP3
00000c24: SWAP2
00000c25: SWAP1
00000c26: DUP2
00000c27: DUP2
00000c28: MSTORE
00000c29: PUSH1 0x20
00000c2b: ADD
00000c2c: DUP3
00000c2d: DUP1
00000c2e: SLOAD
00000c2f: PUSH2 0x0c37
00000c32: SWAP1
00000c33: PUSH2 0x383b
00000c36: JUMP
00000c37: JUMPDEST
00000c38: DUP1
00000c39: ISZERO
00000c3a: PUSH2 0x0c84
00000c3d: JUMPI
00000c3e: DUP1
00000c3f: PUSH1 0x1f
00000c41: LT
00000c42: PUSH2 0x0c59
00000c45: JUMPI
00000c46: PUSH2 0x0100
00000c49: DUP1
00000c4a: DUP4
00000c4b: SLOAD
00000c4c: DIV
00000c4d: MUL
00000c4e: DUP4
00000c4f: MSTORE
00000c50: SWAP2
00000c51: PUSH1 0x20
00000c53: ADD
00000c54: SWAP2
00000c55: PUSH2 0x0c84
00000c58: JUMP
00000c59: JUMPDEST
00000c5a: DUP3
00000c5b: ADD
00000c5c: SWAP2
00000c5d: SWAP1
00000c5e: PUSH1 0x00
00000c60: MSTORE
00000c61: PUSH1 0x20
00000c63: PUSH1 0x00
00000c65: KECCAK256
00000c66: SWAP1
00000c67: JUMPDEST
00000c68: DUP2
00000c69: SLOAD
00000c6a: DUP2
00000c6b: MSTORE
00000c6c: SWAP1
00000c6d: PUSH1 0x01
00000c6f: ADD
00000c70: SWAP1
00000c71: PUSH1 0x20
00000c73: ADD
00000c74: DUP1
00000c75: DUP4
00000c76: GT
00000c77: PUSH2 0x0c67
00000c7a: JUMPI
00000c7b: DUP3
00000c7c: SWAP1
00000c7d: SUB
00000c7e: PUSH1 0x1f
00000c80: AND
00000c81: DUP3
00000c82: ADD
00000c83: SWAP2
00000c84: JUMPDEST
00000c85: POP
00000c86: POP
00000c87: POP
00000c88: POP
00000c89: POP
00000c8a: SWAP1
00000c8b: POP
00000c8c: SWAP1
00000c8d: JUMP
00000c8e: JUMPDEST
00000c8f: PUSH1 0x00
00000c91: PUSH2 0x0c9b
00000c94: DUP3
00000c95: PUSH1 0x01
00000c97: SLOAD
00000c98: GT
00000c99: SWAP1
00000c9a: JUMP
00000c9b: JUMPDEST
00000c9c: PUSH2 0x0d02
00000c9f: JUMPI
00000ca0: PUSH1 0x40
00000ca2: MLOAD
00000ca3: PUSH3 0x461bcd
00000ca7: PUSH1 0xe5
00000ca9: SHL
00000caa: DUP2
00000cab: MSTORE
00000cac: PUSH1 0x20
00000cae: PUSH1 0x04
00000cb0: DUP3
00000cb1: ADD
00000cb2: MSTORE
00000cb3: PUSH1 0x2d
00000cb5: PUSH1 0x24
00000cb7: DUP3
00000cb8: ADD
00000cb9: MSTORE
00000cba: PUSH32 0x455243373231413a20617070726f76656420717565727920666f72206e6f6e65
00000cdb: PUSH1 0x44
00000cdd: DUP3
00000cde: ADD
00000cdf: MSTORE
00000ce0: PUSH13 0x3c34b9ba32b73a103a37b5b2b7
00000cee: PUSH1 0x99
00000cf0: SHL
00000cf1: PUSH1 0x64
00000cf3: DUP3
00000cf4: ADD
00000cf5: MSTORE
00000cf6: PUSH1 0x84
00000cf8: ADD
00000cf9: JUMPDEST
00000cfa: PUSH1 0x40
00000cfc: MLOAD
00000cfd: DUP1
00000cfe: SWAP2
00000cff: SUB
00000d00: SWAP1
00000d01: REVERT
00000d02: JUMPDEST
00000d03: POP
00000d04: PUSH1 0x00
00000d06: SWAP1
00000d07: DUP2
00000d08: MSTORE
00000d09: PUSH1 0x06
00000d0b: PUSH1 0x20
00000d0d: MSTORE
00000d0e: PUSH1 0x40
00000d10: SWAP1
00000d11: KECCAK256
00000d12: SLOAD
00000d13: PUSH1 0x01
00000d15: PUSH1 0x01
00000d17: PUSH1 0xa0
00000d19: SHL
00000d1a: SUB
00000d1b: AND
00000d1c: SWAP1
00000d1d: JUMP
00000d1e: JUMPDEST
00000d1f: PUSH1 0x00
00000d21: PUSH2 0x0d29
00000d24: DUP3
00000d25: PUSH2 0x17f4
00000d28: JUMP
00000d29: JUMPDEST
00000d2a: SWAP1
00000d2b: POP
00000d2c: DUP1
00000d2d: PUSH1 0x01
00000d2f: PUSH1 0x01
00000d31: PUSH1 0xa0
00000d33: SHL
00000d34: SUB
00000d35: AND
00000d36: DUP4
00000d37: PUSH1 0x01
00000d39: PUSH1 0x01
00000d3b: PUSH1 0xa0
00000d3d: SHL
00000d3e: SUB
00000d3f: AND
00000d40: EQ
00000d41: ISZERO
00000d42: PUSH2 0x0d98
00000d45: JUMPI
00000d46: PUSH1 0x40
00000d48: MLOAD
00000d49: PUSH3 0x461bcd
00000d4d: PUSH1 0xe5
00000d4f: SHL
00000d50: DUP2
00000d51: MSTORE
00000d52: PUSH1 0x20
00000d54: PUSH1 0x04
00000d56: DUP3
00000d57: ADD
00000d58: MSTORE
00000d59: PUSH1 0x22
00000d5b: PUSH1 0x24
00000d5d: DUP3
00000d5e: ADD
00000d5f: MSTORE
00000d60: PUSH32 0x455243373231413a20617070726f76616c20746f2063757272656e74206f776e
00000d81: PUSH1 0x44
00000d83: DUP3
00000d84: ADD
00000d85: MSTORE
00000d86: PUSH2 0x32b9
00000d89: PUSH1 0xf1
00000d8b: SHL
00000d8c: PUSH1 0x64
00000d8e: DUP3
00000d8f: ADD
00000d90: MSTORE
00000d91: PUSH1 0x84
00000d93: ADD
00000d94: PUSH2 0x0cf9
00000d97: JUMP
00000d98: JUMPDEST
00000d99: CALLER
00000d9a: PUSH1 0x01
00000d9c: PUSH1 0x01
00000d9e: PUSH1 0xa0
00000da0: SHL
00000da1: SUB
00000da2: DUP3
00000da3: AND
00000da4: EQ
00000da5: DUP1
00000da6: PUSH2 0x0db4
00000da9: JUMPI
00000daa: POP
00000dab: PUSH2 0x0db4
00000dae: DUP2
00000daf: CALLER
00000db0: PUSH2 0x0a31
00000db3: JUMP
00000db4: JUMPDEST
00000db5: PUSH2 0x0e26
00000db8: JUMPI
00000db9: PUSH1 0x40
00000dbb: MLOAD
00000dbc: PUSH3 0x461bcd
00000dc0: PUSH1 0xe5
00000dc2: SHL
00000dc3: DUP2
00000dc4: MSTORE
00000dc5: PUSH1 0x20
00000dc7: PUSH1 0x04
00000dc9: DUP3
00000dca: ADD
00000dcb: MSTORE
00000dcc: PUSH1 0x39
00000dce: PUSH1 0x24
00000dd0: DUP3
00000dd1: ADD
00000dd2: MSTORE
00000dd3: PUSH32 0x455243373231413a20617070726f76652063616c6c6572206973206e6f74206f
00000df4: PUSH1 0x44
00000df6: DUP3
00000df7: ADD
00000df8: MSTORE
00000df9: PUSH32 0x776e6572206e6f7220617070726f76656420666f7220616c6c00000000000000
00000e1a: PUSH1 0x64
00000e1c: DUP3
00000e1d: ADD
00000e1e: MSTORE
00000e1f: PUSH1 0x84
00000e21: ADD
00000e22: PUSH2 0x0cf9
00000e25: JUMP
00000e26: JUMPDEST
00000e27: PUSH2 0x0e31
00000e2a: DUP4
00000e2b: DUP4
00000e2c: DUP4
00000e2d: PUSH2 0x20fc
00000e30: JUMP
00000e31: JUMPDEST
00000e32: POP
00000e33: POP
00000e34: POP
00000e35: JUMP
00000e36: JUMPDEST
00000e37: PUSH1 0x00
00000e39: SLOAD
00000e3a: PUSH1 0x01
00000e3c: PUSH1 0x01
00000e3e: PUSH1 0xa0
00000e40: SHL
00000e41: SUB
00000e42: AND
00000e43: CALLER
00000e44: EQ
00000e45: PUSH2 0x0e60
00000e48: JUMPI
00000e49: PUSH1 0x40
00000e4b: MLOAD
00000e4c: PUSH3 0x461bcd
00000e50: PUSH1 0xe5
00000e52: SHL
00000e53: DUP2
00000e54: MSTORE
00000e55: PUSH1 0x04
00000e57: ADD
00000e58: PUSH2 0x0cf9
00000e5b: SWAP1
00000e5c: PUSH2 0x365d
00000e5f: JUMP
00000e60: JUMPDEST
00000e61: PUSH1 0x0a
00000e63: SWAP7
00000e64: SWAP1
00000e65: SWAP7
00000e66: SSTORE
00000e67: PUSH1 0x0b
00000e69: SWAP5
00000e6a: SWAP1
00000e6b: SWAP5
00000e6c: SSTORE
00000e6d: PUSH1 0x13
00000e6f: SWAP3
00000e70: SWAP1
00000e71: SWAP3
00000e72: SSTORE
00000e73: PUSH1 0x14
00000e75: SSTORE
00000e76: PUSH1 0x15
00000e78: SSTORE
00000e79: PUSH1 0x17
00000e7b: SSTORE
00000e7c: PUSH1 0x16
00000e7e: SSTORE
00000e7f: PUSH1 0x00
00000e81: PUSH1 0x19
00000e83: SSTORE
00000e84: JUMP
00000e85: JUMPDEST
00000e86: PUSH2 0x0e31
00000e89: DUP4
00000e8a: DUP4
00000e8b: DUP4
00000e8c: PUSH2 0x2158
00000e8f: JUMP
00000e90: JUMPDEST
00000e91: PUSH1 0x00
00000e93: DUP1
00000e94: ADDRESS
00000e95: PUSH2 0x0e9f
00000e98: PUSH1 0x0a
00000e9a: DUP6
00000e9b: PUSH2 0x3786
00000e9e: JUMP
00000e9f: JUMPDEST
00000ea0: SWAP2
00000ea1: POP
00000ea2: SWAP2
00000ea3: POP
00000ea4: SWAP3
00000ea5: POP
00000ea6: SWAP3
00000ea7: SWAP1
00000ea8: POP
00000ea9: JUMP
00000eaa: JUMPDEST
00000eab: PUSH1 0x00
00000ead: SLOAD
00000eae: PUSH1 0x01
00000eb0: PUSH1 0x01
00000eb2: PUSH1 0xa0
00000eb4: SHL
00000eb5: SUB
00000eb6: AND
00000eb7: CALLER
00000eb8: EQ
00000eb9: PUSH2 0x0ed4
00000ebc: JUMPI
00000ebd: PUSH1 0x40
00000ebf: MLOAD
00000ec0: PUSH3 0x461bcd
00000ec4: PUSH1 0xe5
00000ec6: SHL
00000ec7: DUP2
00000ec8: MSTORE
00000ec9: PUSH1 0x04
00000ecb: ADD
00000ecc: PUSH2 0x0cf9
00000ecf: SWAP1
00000ed0: PUSH2 0x365d
00000ed3: JUMP
00000ed4: JUMPDEST
00000ed5: PUSH1 0x02
00000ed7: PUSH1 0x09
00000ed9: SLOAD
00000eda: EQ
00000edb: ISZERO
00000edc: PUSH2 0x0ef7
00000edf: JUMPI
00000ee0: PUSH1 0x40
00000ee2: MLOAD
00000ee3: PUSH3 0x461bcd
00000ee7: PUSH1 0xe5
00000ee9: SHL
00000eea: DUP2
00000eeb: MSTORE
00000eec: PUSH1 0x04
00000eee: ADD
00000eef: PUSH2 0x0cf9
00000ef2: SWAP1
00000ef3: PUSH2 0x3715
00000ef6: JUMP
00000ef7: JUMPDEST
00000ef8: PUSH1 0x02
00000efa: PUSH1 0x09
00000efc: SSTORE
00000efd: PUSH2 0x0f05
00000f00: DUP2
00000f01: PUSH2 0x24e0
00000f04: JUMP
00000f05: JUMPDEST
00000f06: POP
00000f07: PUSH1 0x01
00000f09: PUSH1 0x09
00000f0b: SSTORE
00000f0c: JUMP
00000f0d: JUMPDEST
00000f0e: ORIGIN
00000f0f: CALLER
00000f10: EQ
00000f11: PUSH2 0x0f2c
00000f14: JUMPI
00000f15: PUSH1 0x40
00000f17: MLOAD
00000f18: PUSH3 0x461bcd
00000f1c: PUSH1 0xe5
00000f1e: SHL
00000f1f: DUP2
00000f20: MSTORE
00000f21: PUSH1 0x04
00000f23: ADD
00000f24: PUSH2 0x0cf9
00000f27: SWAP1
00000f28: PUSH2 0x35d0
00000f2b: JUMP
00000f2c: JUMPDEST
00000f2d: PUSH1 0x10
00000f2f: DUP2
00000f30: PUSH1 0x14
00000f32: DUP2
00000f33: GT
00000f34: ISZERO
00000f35: PUSH2 0x0f50
00000f38: JUMPI
00000f39: PUSH1 0x40
00000f3b: MLOAD
00000f3c: PUSH3 0x461bcd
00000f40: PUSH1 0xe5
00000f42: SHL
00000f43: DUP2
00000f44: MSTORE
00000f45: PUSH1 0x04
00000f47: ADD
00000f48: PUSH2 0x0cf9
00000f4b: SWAP1
00000f4c: PUSH2 0x36e5
00000f4f: JUMP
00000f50: JUMPDEST
00000f51: DUP2
00000f52: SLOAD
00000f53: ISZERO
00000f54: DUP1
00000f55: ISZERO
00000f56: SWAP1
00000f57: PUSH2 0x0f61
00000f5a: JUMPI
00000f5b: POP
00000f5c: DUP2
00000f5d: SLOAD
00000f5e: TIMESTAMP
00000f5f: LT
00000f60: ISZERO
00000f61: JUMPDEST
00000f62: PUSH2 0x0f7d
00000f65: JUMPI
00000f66: PUSH1 0x40
00000f68: MLOAD
00000f69: PUSH3 0x461bcd
00000f6d: PUSH1 0xe5
00000f6f: SHL
00000f70: DUP2
00000f71: MSTORE
00000f72: PUSH1 0x04
00000f74: ADD
00000f75: PUSH2 0x0cf9
00000f78: SWAP1
00000f79: PUSH2 0x3599
00000f7c: JUMP
00000f7d: JUMPDEST
00000f7e: PUSH1 0x01
00000f80: DUP3
00000f81: ADD
00000f82: SLOAD
00000f83: ISZERO
00000f84: DUP1
00000f85: ISZERO
00000f86: SWAP1
00000f87: PUSH2 0x0f93
00000f8a: JUMPI
00000f8b: POP
00000f8c: DUP2
00000f8d: PUSH1 0x01
00000f8f: ADD
00000f90: SLOAD
00000f91: TIMESTAMP
00000f92: LT
00000f93: JUMPDEST
00000f94: PUSH2 0x0faf
00000f97: JUMPI
00000f98: PUSH1 0x40
00000f9a: MLOAD
00000f9b: PUSH3 0x461bcd
00000f9f: PUSH1 0xe5
00000fa1: SHL
00000fa2: DUP2
00000fa3: MSTORE
00000fa4: PUSH1 0x04
00000fa6: ADD
00000fa7: PUSH2 0x0cf9
00000faa: SWAP1
00000fab: PUSH2 0x3633
00000fae: JUMP
00000faf: JUMPDEST
00000fb0: PUSH1 0x18
00000fb2: SLOAD
00000fb3: PUSH2 0x0fdc
00000fb6: SWAP1
00000fb7: PUSH32 0x00000000000000000000000000000000000000000000000000000000000025e4
00000fd8: PUSH2 0x376e
00000fdb: JUMP
00000fdc: JUMPDEST
00000fdd: DUP2
00000fde: PUSH2 0x0fe6
00000fe1: PUSH1 0x01
00000fe3: SLOAD
00000fe4: SWAP1
00000fe5: JUMP
00000fe6: JUMPDEST
00000fe7: PUSH2 0x0ff0
00000fea: SWAP2
00000feb: SWAP1
00000fec: PUSH2 0x376e
00000fef: JUMP
00000ff0: JUMPDEST
00000ff1: GT
00000ff2: ISZERO
00000ff3: PUSH2 0x100e
00000ff6: JUMPI
00000ff7: PUSH1 0x40
00000ff9: MLOAD
00000ffa: PUSH3 0x461bcd
00000ffe: PUSH1 0xe5
00001000: SHL
00001001: DUP2
00001002: MSTORE
00001003: PUSH1 0x04
00001005: ADD
00001006: PUSH2 0x0cf9
00001009: SWAP1
0000100a: PUSH2 0x3607
0000100d: JUMP
0000100e: JUMPDEST
0000100f: PUSH2 0x1018
00001012: CALLER
00001013: DUP5
00001014: PUSH2 0x26ca
00001017: JUMP
00001018: JUMPDEST
00001019: PUSH1 0x12
0000101b: SLOAD
0000101c: PUSH2 0x0e31
0000101f: SWAP1
00001020: PUSH2 0x102a
00001023: SWAP1
00001024: DUP6
00001025: SWAP1
00001026: PUSH2 0x379a
00001029: JUMP
0000102a: JUMPDEST
0000102b: PUSH2 0x26e8
0000102e: JUMP
0000102f: JUMPDEST
00001030: PUSH1 0x00
00001032: PUSH2 0x103a
00001035: DUP4
00001036: PUSH2 0x1806
00001039: JUMP
0000103a: JUMPDEST
0000103b: DUP3
0000103c: LT
0000103d: PUSH2 0x1093
00001040: JUMPI
00001041: PUSH1 0x40
00001043: MLOAD
00001044: PUSH3 0x461bcd
00001048: PUSH1 0xe5
0000104a: SHL
0000104b: DUP2
0000104c: MSTORE
0000104d: PUSH1 0x20
0000104f: PUSH1 0x04
00001051: DUP3
00001052: ADD
00001053: MSTORE
00001054: PUSH1 0x22
00001056: PUSH1 0x24
00001058: DUP3
00001059: ADD
0000105a: MSTORE
0000105b: PUSH32 0x455243373231413a206f776e657220696e646578206f7574206f6620626f756e
0000107c: PUSH1 0x44
0000107e: DUP3
0000107f: ADD
00001080: MSTORE
00001081: PUSH2 0x6473
00001084: PUSH1 0xf0
00001086: SHL
00001087: PUSH1 0x64
00001089: DUP3
0000108a: ADD
0000108b: MSTORE
0000108c: PUSH1 0x84
0000108e: ADD
0000108f: PUSH2 0x0cf9
00001092: JUMP
00001093: JUMPDEST
00001094: PUSH1 0x00
00001096: PUSH2 0x109e
00001099: PUSH1 0x01
0000109b: SLOAD
0000109c: SWAP1
0000109d: JUMP
0000109e: JUMPDEST
0000109f: SWAP1
000010a0: POP
000010a1: PUSH1 0x00
000010a3: DUP1
000010a4: PUSH1 0x00
000010a6: JUMPDEST
000010a7: DUP4
000010a8: DUP2
000010a9: LT
000010aa: ISZERO
000010ab: PUSH2 0x1148
000010ae: JUMPI
000010af: PUSH1 0x00
000010b1: DUP2
000010b2: DUP2
000010b3: MSTORE
000010b4: PUSH1 0x04
000010b6: PUSH1 0x20
000010b8: SWAP1
000010b9: DUP2
000010ba: MSTORE
000010bb: PUSH1 0x40
000010bd: SWAP2
000010be: DUP3
000010bf: SWAP1
000010c0: KECCAK256
000010c1: DUP3
000010c2: MLOAD
000010c3: DUP1
000010c4: DUP5
000010c5: ADD
000010c6: SWAP1
000010c7: SWAP4
000010c8: MSTORE
000010c9: SLOAD
000010ca: PUSH1 0x01
000010cc: PUSH1 0x01
000010ce: PUSH1 0xa0
000010d0: SHL
000010d1: SUB
000010d2: DUP2
000010d3: AND
000010d4: DUP1
000010d5: DUP5
000010d6: MSTORE
000010d7: PUSH1 0x01
000010d9: PUSH1 0xa0
000010db: SHL
000010dc: SWAP1
000010dd: SWAP2
000010de: DIV
000010df: PUSH8 0xffffffffffffffff
000010e8: AND
000010e9: SWAP2
000010ea: DUP4
000010eb: ADD
000010ec: SWAP2
000010ed: SWAP1
000010ee: SWAP2
000010ef: MSTORE
000010f0: ISZERO
000010f1: PUSH2 0x10f9
000010f4: JUMPI
000010f5: DUP1
000010f6: MLOAD
000010f7: SWAP3
000010f8: POP
000010f9: JUMPDEST
000010fa: DUP8
000010fb: PUSH1 0x01
000010fd: PUSH1 0x01
000010ff: PUSH1 0xa0
00001101: SHL
00001102: SUB
00001103: AND
00001104: DUP4
00001105: PUSH1 0x01
00001107: PUSH1 0x01
00001109: PUSH1 0xa0
0000110b: SHL
0000110c: SUB
0000110d: AND
0000110e: EQ
0000110f: ISZERO
00001110: PUSH2 0x1135
00001113: JUMPI
00001114: DUP7
00001115: DUP5
00001116: EQ
00001117: ISZERO
00001118: PUSH2 0x1127
0000111b: JUMPI
0000111c: POP
0000111d: SWAP4
0000111e: POP
0000111f: PUSH2 0x0bf6
00001122: SWAP3
00001123: POP
00001124: POP
00001125: POP
00001126: JUMP
00001127: JUMPDEST
00001128: DUP4
00001129: PUSH2 0x1131
0000112c: DUP2
0000112d: PUSH2 0x3876
00001130: JUMP
00001131: JUMPDEST
00001132: SWAP5
00001133: POP
00001134: POP
00001135: JUMPDEST
00001136: POP
00001137: DUP1
00001138: PUSH2 0x1140
0000113b: DUP2
0000113c: PUSH2 0x3876
0000113f: JUMP
00001140: JUMPDEST
00001141: SWAP2
00001142: POP
00001143: POP
00001144: PUSH2 0x10a6
00001147: JUMP
00001148: JUMPDEST
00001149: POP
0000114a: PUSH1 0x40
0000114c: MLOAD
0000114d: PUSH3 0x461bcd
00001151: PUSH1 0xe5
00001153: SHL
00001154: DUP2
00001155: MSTORE
00001156: PUSH1 0x20
00001158: PUSH1 0x04
0000115a: DUP3
0000115b: ADD
0000115c: MSTORE
0000115d: PUSH1 0x2e
0000115f: PUSH1 0x24
00001161: DUP3
00001162: ADD
00001163: MSTORE
00001164: PUSH32 0x455243373231413a20756e61626c6520746f2067657420746f6b656e206f6620
00001185: PUSH1 0x44
00001187: DUP3
00001188: ADD
00001189: MSTORE
0000118a: PUSH14 0x0deeedccae440c4f240d2dcc8caf
00001199: PUSH1 0x93
0000119b: SHL
0000119c: PUSH1 0x64
0000119e: DUP3
0000119f: ADD
000011a0: MSTORE
000011a1: PUSH1 0x84
000011a3: ADD
000011a4: PUSH2 0x0cf9
000011a7: JUMP
000011a8: JUMPDEST
000011a9: PUSH1 0x00
000011ab: SLOAD
000011ac: PUSH1 0x01
000011ae: PUSH1 0x01
000011b0: PUSH1 0xa0
000011b2: SHL
000011b3: SUB
000011b4: AND
000011b5: CALLER
000011b6: EQ
000011b7: PUSH2 0x11d2
000011ba: JUMPI
000011bb: PUSH1 0x40
000011bd: MLOAD
000011be: PUSH3 0x461bcd
000011c2: PUSH1 0xe5
000011c4: SHL
000011c5: DUP2
000011c6: MSTORE
000011c7: PUSH1 0x04
000011c9: ADD
000011ca: PUSH2 0x0cf9
000011cd: SWAP1
000011ce: PUSH2 0x365d
000011d1: JUMP
000011d2: JUMPDEST
000011d3: PUSH1 0x0d
000011d5: SWAP3
000011d6: SWAP1
000011d7: SWAP3
000011d8: SSTORE
000011d9: PUSH1 0x0e
000011db: SSTORE
000011dc: PUSH1 0x0f
000011de: SSTORE
000011df: JUMP
000011e0: JUMPDEST
000011e1: PUSH2 0x0e31
000011e4: DUP4
000011e5: DUP4
000011e6: DUP4
000011e7: PUSH1 0x40
000011e9: MLOAD
000011ea: DUP1
000011eb: PUSH1 0x20
000011ed: ADD
000011ee: PUSH1 0x40
000011f0: MSTORE
000011f1: DUP1
000011f2: PUSH1 0x00
000011f4: DUP2
000011f5: MSTORE
000011f6: POP
000011f7: PUSH2 0x1b9e
000011fa: JUMP
000011fb: JUMPDEST
000011fc: PUSH1 0x0a
000011fe: SLOAD
000011ff: PUSH1 0x00
00001201: SWAP1
00001202: TIMESTAMP
00001203: DUP2
00001204: GT
00001205: ISZERO
00001206: PUSH2 0x1211
00001209: JUMPI
0000120a: POP
0000120b: POP
0000120c: PUSH1 0x13
0000120e: SLOAD
0000120f: SWAP1
00001210: JUMP
00001211: JUMPDEST
00001212: PUSH1 0x17
00001214: SLOAD
00001215: PUSH1 0x00
00001217: SWAP1
00001218: PUSH2 0x1221
0000121b: DUP4
0000121c: TIMESTAMP
0000121d: PUSH2 0x37e1
00001220: JUMP
00001221: JUMPDEST
00001222: PUSH2 0x122b
00001225: SWAP2
00001226: SWAP1
00001227: PUSH2 0x3786
0000122a: JUMP
0000122b: JUMPDEST
0000122c: PUSH1 0x15
0000122e: SLOAD
0000122f: SWAP1
00001230: SWAP2
00001231: POP
00001232: PUSH1 0x00
00001234: SWAP1
00001235: PUSH2 0x123e
00001238: SWAP1
00001239: DUP4
0000123a: PUSH2 0x379a
0000123d: JUMP
0000123e: JUMPDEST
0000123f: PUSH1 0x13
00001241: SLOAD
00001242: SWAP1
00001243: SWAP2
00001244: POP
00001245: DUP2
00001246: LT
00001247: PUSH2 0x1255
0000124a: JUMPI
0000124b: POP
0000124c: POP
0000124d: PUSH1 0x14
0000124f: SLOAD
00001250: SWAP3
00001251: SWAP2
00001252: POP
00001253: POP
00001254: JUMP
00001255: JUMPDEST
00001256: PUSH1 0x13
00001258: SLOAD
00001259: PUSH1 0x00
0000125b: SWAP1
0000125c: PUSH2 0x1266
0000125f: SWAP1
00001260: DUP4
00001261: SWAP1
00001262: PUSH2 0x37e1
00001265: JUMP
00001266: JUMPDEST
00001267: PUSH1 0x14
00001269: SLOAD
0000126a: SWAP1
0000126b: SWAP2
0000126c: POP
0000126d: DUP2
0000126e: LT
0000126f: ISZERO
00001270: PUSH2 0x127f
00001273: JUMPI
00001274: POP
00001275: POP
00001276: PUSH1 0x14
00001278: SLOAD
00001279: SWAP4
0000127a: SWAP3
0000127b: POP
0000127c: POP
0000127d: POP
0000127e: JUMP
0000127f: JUMPDEST
00001280: SWAP5
00001281: SWAP4
00001282: POP
00001283: POP
00001284: POP
00001285: POP
00001286: JUMP
00001287: JUMPDEST
00001288: ORIGIN
00001289: CALLER
0000128a: EQ
0000128b: PUSH2 0x12a6
0000128e: JUMPI
0000128f: PUSH1 0x40
00001291: MLOAD
00001292: PUSH3 0x461bcd
00001296: PUSH1 0xe5
00001298: SHL
00001299: DUP2
0000129a: MSTORE
0000129b: PUSH1 0x04
0000129d: ADD
0000129e: PUSH2 0x0cf9
000012a1: SWAP1
000012a2: PUSH2 0x35d0
000012a5: JUMP
000012a6: JUMPDEST
000012a7: PUSH1 0x0a
000012a9: DUP2
000012aa: PUSH1 0x14
000012ac: DUP2
000012ad: GT
000012ae: ISZERO
000012af: PUSH2 0x12ca
000012b2: JUMPI
000012b3: PUSH1 0x40
000012b5: MLOAD
000012b6: PUSH3 0x461bcd
000012ba: PUSH1 0xe5
000012bc: SHL
000012bd: DUP2
000012be: MSTORE
000012bf: PUSH1 0x04
000012c1: ADD
000012c2: PUSH2 0x0cf9
000012c5: SWAP1
000012c6: PUSH2 0x36e5
000012c9: JUMP
000012ca: JUMPDEST
000012cb: DUP2
000012cc: SLOAD
000012cd: ISZERO
000012ce: DUP1
000012cf: ISZERO
000012d0: SWAP1
000012d1: PUSH2 0x12db
000012d4: JUMPI
000012d5: POP
000012d6: DUP2
000012d7: SLOAD
000012d8: TIMESTAMP
000012d9: LT
000012da: ISZERO
000012db: JUMPDEST
000012dc: PUSH2 0x12f7
000012df: JUMPI
000012e0: PUSH1 0x40
000012e2: MLOAD
000012e3: PUSH3 0x461bcd
000012e7: PUSH1 0xe5
000012e9: SHL
000012ea: DUP2
000012eb: MSTORE
000012ec: PUSH1 0x04
000012ee: ADD
000012ef: PUSH2 0x0cf9
000012f2: SWAP1
000012f3: PUSH2 0x3599
000012f6: JUMP
000012f7: JUMPDEST
000012f8: PUSH1 0x01
000012fa: DUP3
000012fb: ADD
000012fc: SLOAD
000012fd: ISZERO
000012fe: DUP1
000012ff: ISZERO
00001300: SWAP1
00001301: PUSH2 0x130d
00001304: JUMPI
00001305: POP
00001306: DUP2
00001307: PUSH1 0x01
00001309: ADD
0000130a: SLOAD
0000130b: TIMESTAMP
0000130c: LT
0000130d: JUMPDEST
0000130e: PUSH2 0x1329
00001311: JUMPI
00001312: PUSH1 0x40
00001314: MLOAD
00001315: PUSH3 0x461bcd
00001319: PUSH1 0xe5
0000131b: SHL
0000131c: DUP2
0000131d: MSTORE
0000131e: PUSH1 0x04
00001320: ADD
00001321: PUSH2 0x0cf9
00001324: SWAP1
00001325: PUSH2 0x3633
00001328: JUMP
00001329: JUMPDEST
0000132a: PUSH1 0x18
0000132c: SLOAD
0000132d: PUSH2 0x1356
00001330: SWAP1
00001331: PUSH32 0x00000000000000000000000000000000000000000000000000000000000025e4
00001352: PUSH2 0x376e
00001355: JUMP
00001356: JUMPDEST
00001357: DUP2
00001358: PUSH2 0x1360
0000135b: PUSH1 0x01
0000135d: SLOAD
0000135e: SWAP1
0000135f: JUMP
00001360: JUMPDEST
00001361: PUSH2 0x136a
00001364: SWAP2
00001365: SWAP1
00001366: PUSH2 0x376e
00001369: JUMP
0000136a: JUMPDEST
0000136b: GT
0000136c: ISZERO
0000136d: PUSH2 0x1388
00001370: JUMPI
00001371: PUSH1 0x40
00001373: MLOAD
00001374: PUSH3 0x461bcd
00001378: PUSH1 0xe5
0000137a: SHL
0000137b: DUP2
0000137c: MSTORE
0000137d: PUSH1 0x04
0000137f: ADD
00001380: PUSH2 0x0cf9
00001383: SWAP1
00001384: PUSH2 0x3607
00001387: JUMP
00001388: JUMPDEST
00001389: PUSH1 0x05
0000138b: DUP4
0000138c: GT
0000138d: ISZERO
0000138e: PUSH2 0x13a9
00001391: JUMPI
00001392: PUSH1 0x40
00001394: MLOAD
00001395: PUSH3 0x461bcd
00001399: PUSH1 0xe5
0000139b: SHL
0000139c: DUP2
0000139d: MSTORE
0000139e: PUSH1 0x04
000013a0: ADD
000013a1: PUSH2 0x0cf9
000013a4: SWAP1
000013a5: PUSH2 0x36e5
000013a8: JUMP
000013a9: JUMPDEST
000013aa: PUSH1 0x16
000013ac: SLOAD
000013ad: PUSH1 0x19
000013af: SLOAD
000013b0: PUSH2 0x13ba
000013b3: SWAP1
000013b4: DUP6
000013b5: SWAP1
000013b6: PUSH2 0x376e
000013b9: JUMP
000013ba: JUMPDEST
000013bb: GT
000013bc: ISZERO
000013bd: PUSH2 0x13d8
000013c0: JUMPI
000013c1: PUSH1 0x40
000013c3: MLOAD
000013c4: PUSH3 0x461bcd
000013c8: PUSH1 0xe5
000013ca: SHL
000013cb: DUP2
000013cc: MSTORE
000013cd: PUSH1 0x04
000013cf: ADD
000013d0: PUSH2 0x0cf9
000013d3: SWAP1
000013d4: PUSH2 0x3607
000013d7: JUMP
000013d8: JUMPDEST
000013d9: PUSH1 0x00
000013db: PUSH2 0x13e2
000013de: PUSH2 0x11fb
000013e1: JUMP
000013e2: JUMPDEST
000013e3: SWAP1
000013e4: POP
000013e5: DUP4
000013e6: PUSH1 0x19
000013e8: PUSH1 0x00
000013ea: DUP3
000013eb: DUP3
000013ec: SLOAD
000013ed: PUSH2 0x13f6
000013f0: SWAP2
000013f1: SWAP1
000013f2: PUSH2 0x376e
000013f5: JUMP
000013f6: JUMPDEST
000013f7: SWAP1
000013f8: SWAP2
000013f9: SSTORE
000013fa: POP
000013fb: PUSH2 0x1406
000013fe: SWAP1
000013ff: POP
00001400: CALLER
00001401: DUP6
00001402: PUSH2 0x26ca
00001405: JUMP
00001406: JUMPDEST
00001407: PUSH2 0x1413
0000140a: PUSH2 0x102a
0000140d: DUP6
0000140e: DUP4
0000140f: PUSH2 0x379a
00001412: JUMP
00001413: JUMPDEST
00001414: POP
00001415: POP
00001416: POP
00001417: POP
00001418: JUMP
00001419: JUMPDEST
0000141a: PUSH1 0x00
0000141c: PUSH2 0x1424
0000141f: PUSH1 0x01
00001421: SLOAD
00001422: SWAP1
00001423: JUMP
00001424: JUMPDEST
00001425: DUP3
00001426: LT
00001427: PUSH2 0x147e
0000142a: JUMPI
0000142b: PUSH1 0x40
0000142d: MLOAD
0000142e: PUSH3 0x461bcd
00001432: PUSH1 0xe5
00001434: SHL
00001435: DUP2
00001436: MSTORE
00001437: PUSH1 0x20
00001439: PUSH1 0x04
0000143b: DUP3
0000143c: ADD
0000143d: MSTORE
0000143e: PUSH1 0x23
00001440: PUSH1 0x24
00001442: DUP3
00001443: ADD
00001444: MSTORE
00001445: PUSH32 0x455243373231413a20676c6f62616c20696e646578206f7574206f6620626f75
00001466: PUSH1 0x44
00001468: DUP3
00001469: ADD
0000146a: MSTORE
0000146b: PUSH3 0x6e6473
0000146f: PUSH1 0xe8
00001471: SHL
00001472: PUSH1 0x64
00001474: DUP3
00001475: ADD
00001476: MSTORE
00001477: PUSH1 0x84
00001479: ADD
0000147a: PUSH2 0x0cf9
0000147d: JUMP
0000147e: JUMPDEST
0000147f: POP
00001480: SWAP1
00001481: JUMP
00001482: JUMPDEST
00001483: PUSH1 0x1e
00001485: SLOAD
00001486: PUSH1 0x01
00001488: PUSH1 0x01
0000148a: PUSH1 0xa0
0000148c: SHL
0000148d: SUB
0000148e: AND
0000148f: ORIGIN
00001490: EQ
00001491: PUSH2 0x14ac
00001494: JUMPI
00001495: PUSH1 0x40
00001497: MLOAD
00001498: PUSH3 0x461bcd
0000149c: PUSH1 0xe5
0000149e: SHL
0000149f: DUP2
000014a0: MSTORE
000014a1: PUSH1 0x04
000014a3: ADD
000014a4: PUSH2 0x0cf9
000014a7: SWAP1
000014a8: PUSH2 0x365d
000014ab: JUMP
000014ac: JUMPDEST
000014ad: PUSH1 0x02
000014af: PUSH1 0x09
000014b1: SLOAD
000014b2: EQ
000014b3: ISZERO
000014b4: PUSH2 0x14cf
000014b7: JUMPI
000014b8: PUSH1 0x40
000014ba: MLOAD
000014bb: PUSH3 0x461bcd
000014bf: PUSH1 0xe5
000014c1: SHL
000014c2: DUP2
000014c3: MSTORE
000014c4: PUSH1 0x04
000014c6: ADD
000014c7: PUSH2 0x0cf9
000014ca: SWAP1
000014cb: PUSH2 0x3715
000014ce: JUMP
000014cf: JUMPDEST
000014d0: PUSH1 0x02
000014d2: PUSH1 0x09
000014d4: SSTORE
000014d5: PUSH1 0x23
000014d7: SLOAD
000014d8: PUSH1 0x20
000014da: SLOAD
000014db: PUSH1 0x00
000014dd: SWAP2
000014de: PUSH2 0x14e6
000014e1: SWAP2
000014e2: PUSH2 0x37e1
000014e5: JUMP
000014e6: JUMPDEST
000014e7: SWAP1
000014e8: POP
000014e9: PUSH1 0x00
000014eb: DUP2
000014ec: GT
000014ed: PUSH2 0x1530
000014f0: JUMPI
000014f1: PUSH1 0x40
000014f3: MLOAD
000014f4: PUSH3 0x461bcd
000014f8: PUSH1 0xe5
000014fa: SHL
000014fb: DUP2
000014fc: MSTORE
000014fd: PUSH1 0x20
000014ff: PUSH1 0x04
00001501: DUP3
00001502: ADD
00001503: MSTORE
00001504: PUSH1 0x15
00001506: PUSH1 0x24
00001508: DUP3
00001509: ADD
0000150a: MSTORE
0000150b: PUSH21 0x084c2d8c2dcc6ca40d2e640dcdee840cadcdeeaced
00001521: PUSH1 0x5b
00001523: SHL
00001524: PUSH1 0x44
00001526: DUP3
00001527: ADD
00001528: MSTORE
00001529: PUSH1 0x64
0000152b: ADD
0000152c: PUSH2 0x0cf9
0000152f: JUMP
00001530: JUMPDEST
00001531: PUSH1 0x40
00001533: MLOAD
00001534: PUSH1 0x00
00001536: SWAP1
00001537: CALLER
00001538: SWAP1
00001539: DUP4
0000153a: SWAP1
0000153b: DUP4
0000153c: DUP2
0000153d: DUP2
0000153e: DUP2
0000153f: DUP6
00001540: DUP8
00001541: GAS
00001542: CALL
00001543: SWAP3
00001544: POP
00001545: POP
00001546: POP
00001547: RETURNDATASIZE
00001548: DUP1
00001549: PUSH1 0x00
0000154b: DUP2
0000154c: EQ
0000154d: PUSH2 0x1572
00001550: JUMPI
00001551: PUSH1 0x40
00001553: MLOAD
00001554: SWAP2
00001555: POP
00001556: PUSH1 0x1f
00001558: NOT
00001559: PUSH1 0x3f
0000155b: RETURNDATASIZE
0000155c: ADD
0000155d: AND
0000155e: DUP3
0000155f: ADD
00001560: PUSH1 0x40
00001562: MSTORE
00001563: RETURNDATASIZE
00001564: DUP3
00001565: MSTORE
00001566: RETURNDATASIZE
00001567: PUSH1 0x00
00001569: PUSH1 0x20
0000156b: DUP5
0000156c: ADD
0000156d: RETURNDATACOPY
0000156e: PUSH2 0x1577
00001571: JUMP
00001572: JUMPDEST
00001573: PUSH1 0x60
00001575: SWAP2
00001576: POP
00001577: JUMPDEST
00001578: POP
00001579: POP
0000157a: SWAP1
0000157b: POP
0000157c: DUP1
0000157d: ISZERO
0000157e: PUSH2 0x1593
00001581: JUMPI
00001582: DUP2
00001583: PUSH1 0x23
00001585: SLOAD
00001586: PUSH2 0x158f
00001589: SWAP2
0000158a: SWAP1
0000158b: PUSH2 0x376e
0000158e: JUMP
0000158f: JUMPDEST
00001590: PUSH1 0x23
00001592: SSTORE
00001593: JUMPDEST
00001594: DUP1
00001595: PUSH2 0x15d2
00001598: JUMPI
00001599: PUSH1 0x40
0000159b: MLOAD
0000159c: PUSH3 0x461bcd
000015a0: PUSH1 0xe5
000015a2: SHL
000015a3: DUP2
000015a4: MSTORE
000015a5: PUSH1 0x20
000015a7: PUSH1 0x04
000015a9: DUP3
000015aa: ADD
000015ab: MSTORE
000015ac: PUSH1 0x0f
000015ae: PUSH1 0x24
000015b0: DUP3
000015b1: ADD
000015b2: MSTORE
000015b3: PUSH15 0x151c985b9cd9995c8819985a5b1959
000015c3: PUSH1 0x8a
000015c5: SHL
000015c6: PUSH1 0x44
000015c8: DUP3
000015c9: ADD
000015ca: MSTORE
000015cb: PUSH1 0x64
000015cd: ADD
000015ce: PUSH2 0x0cf9
000015d1: JUMP
000015d2: JUMPDEST
000015d3: PUSH1 0x40
000015d5: MLOAD
000015d6: DUP3
000015d7: DUP2
000015d8: MSTORE
000015d9: PUSH32 0x1cd97c19dc1d84701ffe5955bd09ceed679616e510fffc431cb8bada45081013
000015fa: SWAP1
000015fb: PUSH1 0x20
000015fd: ADD
000015fe: JUMPDEST
000015ff: PUSH1 0x40
00001601: MLOAD
00001602: DUP1
00001603: SWAP2
00001604: SUB
00001605: SWAP1
00001606: LOG1
00001607: POP
00001608: POP
00001609: PUSH1 0x01
0000160b: PUSH1 0x09
0000160d: SSTORE
0000160e: JUMP
0000160f: JUMPDEST
00001610: PUSH1 0x00
00001612: SLOAD
00001613: PUSH1 0x01
00001615: PUSH1 0x01
00001617: PUSH1 0xa0
00001619: SHL
0000161a: SUB
0000161b: AND
0000161c: CALLER
0000161d: EQ
0000161e: PUSH2 0x1639
00001621: JUMPI
00001622: PUSH1 0x40
00001624: MLOAD
00001625: PUSH3 0x461bcd
00001629: PUSH1 0xe5
0000162b: SHL
0000162c: DUP2
0000162d: MSTORE
0000162e: PUSH1 0x04
00001630: ADD
00001631: PUSH2 0x0cf9
00001634: SWAP1
00001635: PUSH2 0x365d
00001638: JUMP
00001639: JUMPDEST
0000163a: PUSH2 0x0e31
0000163d: PUSH1 0x24
0000163f: DUP4
00001640: DUP4
00001641: PUSH2 0x304e
00001644: JUMP
00001645: JUMPDEST
00001646: PUSH1 0x00
00001648: PUSH32 0x0000000000000000000000000000000000000000000000000000000000002710
00001669: PUSH2 0x1671
0000166c: PUSH1 0x01
0000166e: SLOAD
0000166f: SWAP1
00001670: JUMP
00001671: JUMPDEST
00001672: LT
00001673: ISZERO
00001674: PUSH2 0x167d
00001677: JUMPI
00001678: POP
00001679: PUSH1 0x00
0000167b: SWAP1
0000167c: JUMP
0000167d: JUMPDEST
0000167e: PUSH1 0x00
00001680: DUP1
00001681: JUMPDEST
00001682: PUSH1 0x21
00001684: SLOAD
00001685: DUP2
00001686: LT
00001687: ISZERO
00001688: PUSH2 0x16f7
0000168b: JUMPI
0000168c: PUSH1 0x21
0000168e: DUP2
0000168f: DUP2
00001690: SLOAD
00001691: DUP2
00001692: LT
00001693: PUSH2 0x169e
00001696: JUMPI
00001697: PUSH2 0x169e
0000169a: PUSH2 0x38d1
0000169d: JUMP
0000169e: JUMPDEST
0000169f: SWAP1
000016a0: PUSH1 0x00
000016a2: MSTORE
000016a3: PUSH1 0x20
000016a5: PUSH1 0x00
000016a7: KECCAK256
000016a8: ADD
000016a9: SLOAD
000016aa: PUSH1 0x1f
000016ac: SLOAD
000016ad: LT
000016ae: PUSH2 0x16e0
000016b1: JUMPI
000016b2: PUSH1 0x21
000016b4: PUSH2 0x16be
000016b7: DUP3
000016b8: PUSH1 0x01
000016ba: PUSH2 0x376e
000016bd: JUMP
000016be: JUMPDEST
000016bf: DUP2
000016c0: SLOAD
000016c1: DUP2
000016c2: LT
000016c3: PUSH2 0x16ce
000016c6: JUMPI
000016c7: PUSH2 0x16ce
000016ca: PUSH2 0x38d1
000016cd: JUMP
000016ce: JUMPDEST
000016cf: SWAP1
000016d0: PUSH1 0x00
000016d2: MSTORE
000016d3: PUSH1 0x20
000016d5: PUSH1 0x00
000016d7: KECCAK256
000016d8: ADD
000016d9: SLOAD
000016da: SWAP2
000016db: POP
000016dc: PUSH2 0x16e5
000016df: JUMP
000016e0: JUMPDEST
000016e1: PUSH2 0x16f7
000016e4: JUMP
000016e5: JUMPDEST
000016e6: PUSH2 0x16f0
000016e9: DUP2
000016ea: PUSH1 0x02
000016ec: PUSH2 0x376e
000016ef: JUMP
000016f0: JUMPDEST
000016f1: SWAP1
000016f2: POP
000016f3: PUSH2 0x1681
000016f6: JUMP
000016f7: JUMPDEST
000016f8: POP
000016f9: PUSH1 0x22
000016fb: SLOAD
000016fc: PUSH1 0x64
000016fe: PUSH1 0x1f
00001700: SLOAD
00001701: DUP4
00001702: PUSH2 0x170b
00001705: SWAP2
00001706: SWAP1
00001707: PUSH2 0x379a
0000170a: JUMP
0000170b: JUMPDEST
0000170c: PUSH2 0x1715
0000170f: SWAP2
00001710: SWAP1
00001711: PUSH2 0x3786
00001714: JUMP
00001715: JUMPDEST
00001716: PUSH2 0x171f
00001719: SWAP2
0000171a: SWAP1
0000171b: PUSH2 0x37e1
0000171e: JUMP
0000171f: JUMPDEST
00001720: SWAP2
00001721: POP
00001722: POP
00001723: SWAP1
00001724: JUMP
00001725: JUMPDEST
00001726: PUSH1 0x1e
00001728: SLOAD
00001729: PUSH1 0x01
0000172b: PUSH1 0x01
0000172d: PUSH1 0xa0
0000172f: SHL
00001730: SUB
00001731: AND
00001732: ORIGIN
00001733: EQ
00001734: PUSH2 0x174f
00001737: JUMPI
00001738: PUSH1 0x40
0000173a: MLOAD
0000173b: PUSH3 0x461bcd
0000173f: PUSH1 0xe5
00001741: SHL
00001742: DUP2
00001743: MSTORE
00001744: PUSH1 0x04
00001746: ADD
00001747: PUSH2 0x0cf9
0000174a: SWAP1
0000174b: PUSH2 0x365d
0000174e: JUMP
0000174f: JUMPDEST
00001750: PUSH1 0x02
00001752: PUSH1 0x09
00001754: SLOAD
00001755: EQ
00001756: ISZERO
00001757: PUSH2 0x1772
0000175a: JUMPI
0000175b: PUSH1 0x40
0000175d: MLOAD
0000175e: PUSH3 0x461bcd
00001762: PUSH1 0xe5
00001764: SHL
00001765: DUP2
00001766: MSTORE
00001767: PUSH1 0x04
00001769: ADD
0000176a: PUSH2 0x0cf9
0000176d: SWAP1
0000176e: PUSH2 0x3715
00001771: JUMP
00001772: JUMPDEST
00001773: PUSH1 0x02
00001775: PUSH1 0x09
00001777: SSTORE
00001778: PUSH1 0x01
0000177a: PUSH1 0x01
0000177c: PUSH1 0xa0
0000177e: SHL
0000177f: SUB
00001780: DUP2
00001781: AND
00001782: PUSH2 0x179d
00001785: JUMPI
00001786: PUSH1 0x40
00001788: MLOAD
00001789: PUSH3 0x461bcd
0000178d: PUSH1 0xe5
0000178f: SHL
00001790: DUP2
00001791: MSTORE
00001792: PUSH1 0x04
00001794: ADD
00001795: PUSH2 0x0cf9
00001798: SWAP1
00001799: PUSH2 0x3553
0000179c: JUMP
0000179d: JUMPDEST
0000179e: PUSH1 0x1e
000017a0: DUP1
000017a1: SLOAD
000017a2: PUSH1 0x01
000017a4: PUSH1 0x01
000017a6: PUSH1 0xa0
000017a8: SHL
000017a9: SUB
000017aa: DUP4
000017ab: DUP2
000017ac: AND
000017ad: PUSH1 0x01
000017af: PUSH1 0x01
000017b1: PUSH1 0xa0
000017b3: SHL
000017b4: SUB
000017b5: NOT
000017b6: DUP4
000017b7: AND
000017b8: DUP2
000017b9: OR
000017ba: SWAP1
000017bb: SWAP4
000017bc: SSTORE
000017bd: PUSH1 0x40
000017bf: MLOAD
000017c0: SWAP2
000017c1: AND
000017c2: SWAP2
000017c3: SWAP1
000017c4: DUP3
000017c5: SWAP1
000017c6: PUSH32 0x01c494f8bdbd01d8034d623adad50c653985837ee9456fcfea603ac04cc53ce5
000017e7: SWAP1
000017e8: PUSH1 0x00
000017ea: SWAP1
000017eb: LOG3
000017ec: POP
000017ed: POP
000017ee: PUSH1 0x01
000017f0: PUSH1 0x09
000017f2: SSTORE
000017f3: JUMP
000017f4: JUMPDEST
000017f5: PUSH1 0x00
000017f7: PUSH2 0x17ff
000017fa: DUP3
000017fb: PUSH2 0x27ff
000017fe: JUMP
000017ff: JUMPDEST
00001800: MLOAD
00001801: SWAP3
00001802: SWAP2
00001803: POP
00001804: POP
00001805: JUMP
00001806: JUMPDEST
00001807: PUSH1 0x00
00001809: PUSH1 0x01
0000180b: PUSH1 0x01
0000180d: PUSH1 0xa0
0000180f: SHL
00001810: SUB
00001811: DUP3
00001812: AND
00001813: PUSH2 0x1872
00001816: JUMPI
00001817: PUSH1 0x40
00001819: MLOAD
0000181a: PUSH3 0x461bcd
0000181e: PUSH1 0xe5
00001820: SHL
00001821: DUP2
00001822: MSTORE
00001823: PUSH1 0x20
00001825: PUSH1 0x04
00001827: DUP3
00001828: ADD
00001829: MSTORE
0000182a: PUSH1 0x2b
0000182c: PUSH1 0x24
0000182e: DUP3
0000182f: ADD
00001830: MSTORE
00001831: PUSH32 0x455243373231413a2062616c616e636520717565727920666f7220746865207a
00001852: PUSH1 0x44
00001854: DUP3
00001855: ADD
00001856: MSTORE
00001857: PUSH11 0x65726f2061646472657373
00001863: PUSH1 0xa8
00001865: SHL
00001866: PUSH1 0x64
00001868: DUP3
00001869: ADD
0000186a: MSTORE
0000186b: PUSH1 0x84
0000186d: ADD
0000186e: PUSH2 0x0cf9
00001871: JUMP
00001872: JUMPDEST
00001873: POP
00001874: PUSH1 0x01
00001876: PUSH1 0x01
00001878: PUSH1 0xa0
0000187a: SHL
0000187b: SUB
0000187c: AND
0000187d: PUSH1 0x00
0000187f: SWAP1
00001880: DUP2
00001881: MSTORE
00001882: PUSH1 0x05
00001884: PUSH1 0x20
00001886: MSTORE
00001887: PUSH1 0x40
00001889: SWAP1
0000188a: KECCAK256
0000188b: SLOAD
0000188c: PUSH1 0x01
0000188e: PUSH1 0x01
00001890: PUSH1 0x80
00001892: SHL
00001893: SUB
00001894: AND
00001895: SWAP1
00001896: JUMP
00001897: JUMPDEST
00001898: PUSH1 0x00
0000189a: SLOAD
0000189b: PUSH1 0x01
0000189d: PUSH1 0x01
0000189f: PUSH1 0xa0
000018a1: SHL
000018a2: SUB
000018a3: AND
000018a4: CALLER
000018a5: EQ
000018a6: PUSH2 0x18c1
000018a9: JUMPI
000018aa: PUSH1 0x40
000018ac: MLOAD
000018ad: PUSH3 0x461bcd
000018b1: PUSH1 0xe5
000018b3: SHL
000018b4: DUP2
000018b5: MSTORE
000018b6: PUSH1 0x04
000018b8: ADD
000018b9: PUSH2 0x0cf9
000018bc: SWAP1
000018bd: PUSH2 0x365d
000018c0: JUMP
000018c1: JUMPDEST
000018c2: PUSH2 0x18cb
000018c5: PUSH1 0x00
000018c7: PUSH2 0x29a9
000018ca: JUMP
000018cb: JUMPDEST
000018cc: JUMP
000018cd: JUMPDEST
000018ce: PUSH1 0x00
000018d0: SLOAD
000018d1: PUSH1 0x01
000018d3: PUSH1 0x01
000018d5: PUSH1 0xa0
000018d7: SHL
000018d8: SUB
000018d9: AND
000018da: CALLER
000018db: EQ
000018dc: PUSH2 0x18f7
000018df: JUMPI
000018e0: PUSH1 0x40
000018e2: MLOAD
000018e3: PUSH3 0x461bcd
000018e7: PUSH1 0xe5
000018e9: SHL
000018ea: DUP2
000018eb: MSTORE
000018ec: PUSH1 0x04
000018ee: ADD
000018ef: PUSH2 0x0cf9
000018f2: SWAP1
000018f3: PUSH2 0x365d
000018f6: JUMP
000018f7: JUMPDEST
000018f8: PUSH1 0x1a
000018fa: SSTORE
000018fb: JUMP
000018fc: JUMPDEST
000018fd: PUSH1 0x00
000018ff: SLOAD
00001900: PUSH1 0x01
00001902: PUSH1 0x01
00001904: PUSH1 0xa0
00001906: SHL
00001907: SUB
00001908: AND
00001909: CALLER
0000190a: EQ
0000190b: PUSH2 0x1926
0000190e: JUMPI
0000190f: PUSH1 0x40
00001911: MLOAD
00001912: PUSH3 0x461bcd
00001916: PUSH1 0xe5
00001918: SHL
00001919: DUP2
0000191a: MSTORE
0000191b: PUSH1 0x04
0000191d: ADD
0000191e: PUSH2 0x0cf9
00001921: SWAP1
00001922: PUSH2 0x365d
00001925: JUMP
00001926: JUMPDEST
00001927: PUSH1 0x02
00001929: PUSH1 0x09
0000192b: SLOAD
0000192c: EQ
0000192d: ISZERO
0000192e: PUSH2 0x1949
00001931: JUMPI
00001932: PUSH1 0x40
00001934: MLOAD
00001935: PUSH3 0x461bcd
00001939: PUSH1 0xe5
0000193b: SHL
0000193c: DUP2
0000193d: MSTORE
0000193e: PUSH1 0x04
00001940: ADD
00001941: PUSH2 0x0cf9
00001944: SWAP1
00001945: PUSH2 0x3715
00001948: JUMP
00001949: JUMPDEST
0000194a: PUSH1 0x02
0000194c: PUSH1 0x09
0000194e: SSTORE
0000194f: PUSH1 0x00
00001951: PUSH2 0x1958
00001954: PUSH2 0x1645
00001957: JUMP
00001958: JUMPDEST
00001959: SWAP1
0000195a: POP
0000195b: PUSH1 0x00
0000195d: DUP2
0000195e: GT
0000195f: PUSH2 0x19a2
00001962: JUMPI
00001963: PUSH1 0x40
00001965: MLOAD
00001966: PUSH3 0x461bcd
0000196a: PUSH1 0xe5
0000196c: SHL
0000196d: DUP2
0000196e: MSTORE
0000196f: PUSH1 0x20
00001971: PUSH1 0x04
00001973: DUP3
00001974: ADD
00001975: MSTORE
00001976: PUSH1 0x15
00001978: PUSH1 0x24
0000197a: DUP3
0000197b: ADD
0000197c: MSTORE
0000197d: PUSH21 0x084c2d8c2dcc6ca40d2e640dcdee840cadcdeeaced
00001993: PUSH1 0x5b
00001995: SHL
00001996: PUSH1 0x44
00001998: DUP3
00001999: ADD
0000199a: MSTORE
0000199b: PUSH1 0x64
0000199d: ADD
0000199e: PUSH2 0x0cf9
000019a1: JUMP
000019a2: JUMPDEST
000019a3: PUSH1 0x40
000019a5: MLOAD
000019a6: PUSH1 0x00
000019a8: SWAP1
000019a9: CALLER
000019aa: SWAP1
000019ab: DUP4
000019ac: SWAP1
000019ad: DUP4
000019ae: DUP2
000019af: DUP2
000019b0: DUP2
000019b1: DUP6
000019b2: DUP8
000019b3: GAS
000019b4: CALL
000019b5: SWAP3
000019b6: POP
000019b7: POP
000019b8: POP
000019b9: RETURNDATASIZE
000019ba: DUP1
000019bb: PUSH1 0x00
000019bd: DUP2
000019be: EQ
000019bf: PUSH2 0x19e4
000019c2: JUMPI
000019c3: PUSH1 0x40
000019c5: MLOAD
000019c6: SWAP2
000019c7: POP
000019c8: PUSH1 0x1f
000019ca: NOT
000019cb: PUSH1 0x3f
000019cd: RETURNDATASIZE
000019ce: ADD
000019cf: AND
000019d0: DUP3
000019d1: ADD
000019d2: PUSH1 0x40
000019d4: MSTORE
000019d5: RETURNDATASIZE
000019d6: DUP3
000019d7: MSTORE
000019d8: RETURNDATASIZE
000019d9: PUSH1 0x00
000019db: PUSH1 0x20
000019dd: DUP5
000019de: ADD
000019df: RETURNDATACOPY
000019e0: PUSH2 0x19e9
000019e3: JUMP
000019e4: JUMPDEST
000019e5: PUSH1 0x60
000019e7: SWAP2
000019e8: POP
000019e9: JUMPDEST
000019ea: POP
000019eb: POP
000019ec: SWAP1
000019ed: POP
000019ee: DUP1
000019ef: ISZERO
000019f0: PUSH2 0x1a05
000019f3: JUMPI
000019f4: DUP2
000019f5: PUSH1 0x22
000019f7: SLOAD
000019f8: PUSH2 0x1a01
000019fb: SWAP2
000019fc: SWAP1
000019fd: PUSH2 0x376e
00001a00: JUMP
00001a01: JUMPDEST
00001a02: PUSH1 0x22
00001a04: SSTORE
00001a05: JUMPDEST
00001a06: DUP1
00001a07: PUSH2 0x1a45
00001a0a: JUMPI
00001a0b: PUSH1 0x40
00001a0d: MLOAD
00001a0e: PUSH3 0x461bcd
00001a12: PUSH1 0xe5
00001a14: SHL
00001a15: DUP2
00001a16: MSTORE
00001a17: PUSH1 0x20
00001a19: PUSH1 0x04
00001a1b: DUP3
00001a1c: ADD
00001a1d: MSTORE
00001a1e: PUSH1 0x10
00001a20: PUSH1 0x24
00001a22: DUP3
00001a23: ADD
00001a24: MSTORE
00001a25: PUSH16 0x2a3930b739b332b9103330b4b632b217
00001a36: PUSH1 0x81
00001a38: SHL
00001a39: PUSH1 0x44
00001a3b: DUP3
00001a3c: ADD
00001a3d: MSTORE
00001a3e: PUSH1 0x64
00001a40: ADD
00001a41: PUSH2 0x0cf9
00001a44: JUMP
00001a45: JUMPDEST
00001a46: PUSH1 0x40
00001a48: MLOAD
00001a49: DUP3
00001a4a: DUP2
00001a4b: MSTORE
00001a4c: PUSH32 0x5967486005b8260fe9718580fbbd4c9fe9c61feee7b3628ec31af3d862cc2ef7
00001a6d: SWAP1
00001a6e: PUSH1 0x20
00001a70: ADD
00001a71: PUSH2 0x15fe
00001a74: JUMP
00001a75: JUMPDEST
00001a76: PUSH1 0x40
00001a78: DUP1
00001a79: MLOAD
00001a7a: DUP1
00001a7b: DUP3
00001a7c: ADD
00001a7d: SWAP1
00001a7e: SWAP2
00001a7f: MSTORE
00001a80: PUSH1 0x00
00001a82: DUP1
00001a83: DUP3
00001a84: MSTORE
00001a85: PUSH1 0x20
00001a87: DUP3
00001a88: ADD
00001a89: MSTORE
00001a8a: PUSH2 0x0bf6
00001a8d: DUP3
00001a8e: PUSH2 0x27ff
00001a91: JUMP
00001a92: JUMPDEST
00001a93: PUSH1 0x60
00001a95: PUSH1 0x03
00001a97: DUP1
00001a98: SLOAD
00001a99: PUSH2 0x0c0b
00001a9c: SWAP1
00001a9d: PUSH2 0x383b
00001aa0: JUMP
00001aa1: JUMPDEST
00001aa2: PUSH1 0x01
00001aa4: PUSH1 0x01
00001aa6: PUSH1 0xa0
00001aa8: SHL
00001aa9: SUB
00001aaa: DUP3
00001aab: AND
00001aac: CALLER
00001aad: EQ
00001aae: ISZERO
00001aaf: PUSH2 0x1afa
00001ab2: JUMPI
00001ab3: PUSH1 0x40
00001ab5: MLOAD
00001ab6: PUSH3 0x461bcd
00001aba: PUSH1 0xe5
00001abc: SHL
00001abd: DUP2
00001abe: MSTORE
00001abf: PUSH1 0x20
00001ac1: PUSH1 0x04
00001ac3: DUP3
00001ac4: ADD
00001ac5: MSTORE
00001ac6: PUSH1 0x1a
00001ac8: PUSH1 0x24
00001aca: DUP3
00001acb: ADD
00001acc: MSTORE
00001acd: PUSH32 0x455243373231413a20617070726f766520746f2063616c6c6572000000000000
00001aee: PUSH1 0x44
00001af0: DUP3
00001af1: ADD
00001af2: MSTORE
00001af3: PUSH1 0x64
00001af5: ADD
00001af6: PUSH2 0x0cf9
00001af9: JUMP
00001afa: JUMPDEST
00001afb: CALLER
00001afc: PUSH1 0x00
00001afe: DUP2
00001aff: DUP2
00001b00: MSTORE
00001b01: PUSH1 0x07
00001b03: PUSH1 0x20
00001b05: SWAP1
00001b06: DUP2
00001b07: MSTORE
00001b08: PUSH1 0x40
00001b0a: DUP1
00001b0b: DUP4
00001b0c: KECCAK256
00001b0d: PUSH1 0x01
00001b0f: PUSH1 0x01
00001b11: PUSH1 0xa0
00001b13: SHL
00001b14: SUB
00001b15: DUP8
00001b16: AND
00001b17: DUP1
00001b18: DUP6
00001b19: MSTORE
00001b1a: SWAP1
00001b1b: DUP4
00001b1c: MSTORE
00001b1d: SWAP3
00001b1e: DUP2
00001b1f: SWAP1
00001b20: KECCAK256
00001b21: DUP1
00001b22: SLOAD
00001b23: PUSH1 0xff
00001b25: NOT
00001b26: AND
00001b27: DUP7
00001b28: ISZERO
00001b29: ISZERO
00001b2a: SWAP1
00001b2b: DUP2
00001b2c: OR
00001b2d: SWAP1
00001b2e: SWAP2
00001b2f: SSTORE
00001b30: SWAP1
00001b31: MLOAD
00001b32: SWAP1
00001b33: DUP2
00001b34: MSTORE
00001b35: SWAP2
00001b36: SWAP3
00001b37: SWAP2
00001b38: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31
00001b59: SWAP2
00001b5a: ADD
00001b5b: PUSH1 0x40
00001b5d: MLOAD
00001b5e: DUP1
00001b5f: SWAP2
00001b60: SUB
00001b61: SWAP1
00001b62: LOG3
00001b63: POP
00001b64: POP
00001b65: JUMP
00001b66: JUMPDEST
00001b67: PUSH1 0x00
00001b69: SLOAD
00001b6a: PUSH1 0x01
00001b6c: PUSH1 0x01
00001b6e: PUSH1 0xa0
00001b70: SHL
00001b71: SUB
00001b72: AND
00001b73: CALLER
00001b74: EQ
00001b75: PUSH2 0x1b90
00001b78: JUMPI
00001b79: PUSH1 0x40
00001b7b: MLOAD
00001b7c: PUSH3 0x461bcd
00001b80: PUSH1 0xe5
00001b82: SHL
00001b83: DUP2
00001b84: MSTORE
00001b85: PUSH1 0x04
00001b87: ADD
00001b88: PUSH2 0x0cf9
00001b8b: SWAP1
00001b8c: PUSH2 0x365d
00001b8f: JUMP
00001b90: JUMPDEST
00001b91: PUSH1 0x10
00001b93: SWAP3
00001b94: SWAP1
00001b95: SWAP3
00001b96: SSTORE
00001b97: PUSH1 0x11
00001b99: SSTORE
00001b9a: PUSH1 0x12
00001b9c: SSTORE
00001b9d: JUMP
00001b9e: JUMPDEST
00001b9f: PUSH2 0x1ba9
00001ba2: DUP5
00001ba3: DUP5
00001ba4: DUP5
00001ba5: PUSH2 0x2158
00001ba8: JUMP
00001ba9: JUMPDEST
00001baa: PUSH2 0x1bb5
00001bad: DUP5
00001bae: DUP5
00001baf: DUP5
00001bb0: DUP5
00001bb1: PUSH2 0x29f9
00001bb4: JUMP
00001bb5: JUMPDEST
00001bb6: PUSH2 0x1413
00001bb9: JUMPI
00001bba: PUSH1 0x40
00001bbc: MLOAD
00001bbd: PUSH3 0x461bcd
00001bc1: PUSH1 0xe5
00001bc3: SHL
00001bc4: DUP2
00001bc5: MSTORE
00001bc6: PUSH1 0x04
00001bc8: ADD
00001bc9: PUSH2 0x0cf9
00001bcc: SWAP1
00001bcd: PUSH2 0x3692
00001bd0: JUMP
00001bd1: JUMPDEST
00001bd2: ORIGIN
00001bd3: CALLER
00001bd4: EQ
00001bd5: PUSH2 0x1bf0
00001bd8: JUMPI
00001bd9: PUSH1 0x40
00001bdb: MLOAD
00001bdc: PUSH3 0x461bcd
00001be0: PUSH1 0xe5
00001be2: SHL
00001be3: DUP2
00001be4: MSTORE
00001be5: PUSH1 0x04
00001be7: ADD
00001be8: PUSH2 0x0cf9
00001beb: SWAP1
00001bec: PUSH2 0x35d0
00001bef: JUMP
00001bf0: JUMPDEST
00001bf1: PUSH1 0x0d
00001bf3: DUP5
00001bf4: PUSH1 0x14
00001bf6: DUP2
00001bf7: GT
00001bf8: ISZERO
00001bf9: PUSH2 0x1c14
00001bfc: JUMPI
00001bfd: PUSH1 0x40
00001bff: MLOAD
00001c00: PUSH3 0x461bcd
00001c04: PUSH1 0xe5
00001c06: SHL
00001c07: DUP2
00001c08: MSTORE
00001c09: PUSH1 0x04
00001c0b: ADD
00001c0c: PUSH2 0x0cf9
00001c0f: SWAP1
00001c10: PUSH2 0x36e5
00001c13: JUMP
00001c14: JUMPDEST
00001c15: DUP2
00001c16: SLOAD
00001c17: ISZERO
00001c18: DUP1
00001c19: ISZERO
00001c1a: SWAP1
00001c1b: PUSH2 0x1c25
00001c1e: JUMPI
00001c1f: POP
00001c20: DUP2
00001c21: SLOAD
00001c22: TIMESTAMP
00001c23: LT
00001c24: ISZERO
00001c25: JUMPDEST
00001c26: PUSH2 0x1c41
00001c29: JUMPI
00001c2a: PUSH1 0x40
00001c2c: MLOAD
00001c2d: PUSH3 0x461bcd
00001c31: PUSH1 0xe5
00001c33: SHL
00001c34: DUP2
00001c35: MSTORE
00001c36: PUSH1 0x04
00001c38: ADD
00001c39: PUSH2 0x0cf9
00001c3c: SWAP1
00001c3d: PUSH2 0x3599
00001c40: JUMP
00001c41: JUMPDEST
00001c42: PUSH1 0x01
00001c44: DUP3
00001c45: ADD
00001c46: SLOAD
00001c47: ISZERO
00001c48: DUP1
00001c49: ISZERO
00001c4a: SWAP1
00001c4b: PUSH2 0x1c57
00001c4e: JUMPI
00001c4f: POP
00001c50: DUP2
00001c51: PUSH1 0x01
00001c53: ADD
00001c54: SLOAD
00001c55: TIMESTAMP
00001c56: LT
00001c57: JUMPDEST
00001c58: PUSH2 0x1c73
00001c5b: JUMPI
00001c5c: PUSH1 0x40
00001c5e: MLOAD
00001c5f: PUSH3 0x461bcd
00001c63: PUSH1 0xe5
00001c65: SHL
00001c66: DUP2
00001c67: MSTORE
00001c68: PUSH1 0x04
00001c6a: ADD
00001c6b: PUSH2 0x0cf9
00001c6e: SWAP1
00001c6f: PUSH2 0x3633
00001c72: JUMP
00001c73: JUMPDEST
00001c74: PUSH1 0x18
00001c76: SLOAD
00001c77: PUSH2 0x1ca0
00001c7a: SWAP1
00001c7b: PUSH32 0x00000000000000000000000000000000000000000000000000000000000025e4
00001c9c: PUSH2 0x376e
00001c9f: JUMP
00001ca0: JUMPDEST
00001ca1: DUP2
00001ca2: PUSH2 0x1caa
00001ca5: PUSH1 0x01
00001ca7: SLOAD
00001ca8: SWAP1
00001ca9: JUMP
00001caa: JUMPDEST
00001cab: PUSH2 0x1cb4
00001cae: SWAP2
00001caf: SWAP1
00001cb0: PUSH2 0x376e
00001cb3: JUMP
00001cb4: JUMPDEST
00001cb5: GT
00001cb6: ISZERO
00001cb7: PUSH2 0x1cd2
00001cba: JUMPI
00001cbb: PUSH1 0x40
00001cbd: MLOAD
00001cbe: PUSH3 0x461bcd
00001cc2: PUSH1 0xe5
00001cc4: SHL
00001cc5: DUP2
00001cc6: MSTORE
00001cc7: PUSH1 0x04
00001cc9: ADD
00001cca: PUSH2 0x0cf9
00001ccd: SWAP1
00001cce: PUSH2 0x3607
00001cd1: JUMP
00001cd2: JUMPDEST
00001cd3: CALLER
00001cd4: PUSH1 0x00
00001cd6: SWAP1
00001cd7: DUP2
00001cd8: MSTORE
00001cd9: PUSH1 0x1b
00001cdb: PUSH1 0x20
00001cdd: MSTORE
00001cde: PUSH1 0x40
00001ce0: SWAP1
00001ce1: KECCAK256
00001ce2: SLOAD
00001ce3: DUP6
00001ce4: SWAP1
00001ce5: PUSH2 0x1cef
00001ce8: SWAP1
00001ce9: DUP9
00001cea: SWAP1
00001ceb: PUSH2 0x376e
00001cee: JUMP
00001cef: JUMPDEST
00001cf0: GT
00001cf1: ISZERO
00001cf2: PUSH2 0x1d35
00001cf5: JUMPI
00001cf6: PUSH1 0x40
00001cf8: MLOAD
00001cf9: PUSH3 0x461bcd
00001cfd: PUSH1 0xe5
00001cff: SHL
00001d00: DUP2
00001d01: MSTORE
00001d02: PUSH1 0x20
00001d04: PUSH1 0x04
00001d06: DUP3
00001d07: ADD
00001d08: MSTORE
00001d09: PUSH1 0x15
00001d0b: PUSH1 0x24
00001d0d: DUP3
00001d0e: ADD
00001d0f: MSTORE
00001d10: PUSH21 0x1b9bdd08195b1a59da589b1948199bdc881b5a5b9d
00001d26: PUSH1 0x5a
00001d28: SHL
00001d29: PUSH1 0x44
00001d2b: DUP3
00001d2c: ADD
00001d2d: MSTORE
00001d2e: PUSH1 0x64
00001d30: ADD
00001d31: PUSH2 0x0cf9
00001d34: JUMP
00001d35: JUMPDEST
00001d36: PUSH1 0x40
00001d38: MLOAD
00001d39: PUSH12 0xffffffffffffffffffffffff
00001d46: NOT
00001d47: CALLER
00001d48: PUSH1 0x60
00001d4a: SHL
00001d4b: AND
00001d4c: PUSH1 0x20
00001d4e: DUP3
00001d4f: ADD
00001d50: MSTORE
00001d51: PUSH1 0x34
00001d53: DUP2
00001d54: ADD
00001d55: DUP7
00001d56: SWAP1
00001d57: MSTORE
00001d58: PUSH1 0x00
00001d5a: SWAP1
00001d5b: PUSH1 0x54
00001d5d: ADD
00001d5e: PUSH1 0x40
00001d60: MLOAD
00001d61: PUSH1 0x20
00001d63: DUP2
00001d64: DUP4
00001d65: SUB
00001d66: SUB
00001d67: DUP2
00001d68: MSTORE
00001d69: SWAP1
00001d6a: PUSH1 0x40
00001d6c: MSTORE
00001d6d: DUP1
00001d6e: MLOAD
00001d6f: SWAP1
00001d70: PUSH1 0x20
00001d72: ADD
00001d73: KECCAK256
00001d74: SWAP1
00001d75: POP
00001d76: PUSH2 0x1db6
00001d79: DUP6
00001d7a: DUP6
00001d7b: DUP1
00001d7c: DUP1
00001d7d: PUSH1 0x20
00001d7f: MUL
00001d80: PUSH1 0x20
00001d82: ADD
00001d83: PUSH1 0x40
00001d85: MLOAD
00001d86: SWAP1
00001d87: DUP2
00001d88: ADD
00001d89: PUSH1 0x40
00001d8b: MSTORE
00001d8c: DUP1
00001d8d: SWAP4
00001d8e: SWAP3
00001d8f: SWAP2
00001d90: SWAP1
00001d91: DUP2
00001d92: DUP2
00001d93: MSTORE
00001d94: PUSH1 0x20
00001d96: ADD
00001d97: DUP4
00001d98: DUP4
00001d99: PUSH1 0x20
00001d9b: MUL
00001d9c: DUP1
00001d9d: DUP3
00001d9e: DUP5
00001d9f: CALLDATACOPY
00001da0: PUSH1 0x00
00001da2: SWAP3
00001da3: ADD
00001da4: SWAP2
00001da5: SWAP1
00001da6: SWAP2
00001da7: MSTORE
00001da8: POP
00001da9: POP
00001daa: PUSH1 0x1a
00001dac: SLOAD
00001dad: SWAP2
00001dae: POP
00001daf: DUP5
00001db0: SWAP1
00001db1: POP
00001db2: PUSH2 0x2b06
00001db5: JUMP
00001db6: JUMPDEST
00001db7: PUSH2 0x1df2
00001dba: JUMPI
00001dbb: PUSH1 0x40
00001dbd: MLOAD
00001dbe: PUSH3 0x461bcd
00001dc2: PUSH1 0xe5
00001dc4: SHL
00001dc5: DUP2
00001dc6: MSTORE
00001dc7: PUSH1 0x20
00001dc9: PUSH1 0x04
00001dcb: DUP3
00001dcc: ADD
00001dcd: MSTORE
00001dce: PUSH1 0x0d
00001dd0: PUSH1 0x24
00001dd2: DUP3
00001dd3: ADD
00001dd4: MSTORE
00001dd5: PUSH13 0x24a72b20a624a210282927a7a3
00001de3: PUSH1 0x99
00001de5: SHL
00001de6: PUSH1 0x44
00001de8: DUP3
00001de9: ADD
00001dea: MSTORE
00001deb: PUSH1 0x64
00001ded: ADD
00001dee: PUSH2 0x0cf9
00001df1: JUMP
00001df2: JUMPDEST
00001df3: CALLER
00001df4: PUSH1 0x00
00001df6: SWAP1
00001df7: DUP2
00001df8: MSTORE
00001df9: PUSH1 0x1b
00001dfb: PUSH1 0x20
00001dfd: MSTORE
00001dfe: PUSH1 0x40
00001e00: DUP2
00001e01: KECCAK256
00001e02: DUP1
00001e03: SLOAD
00001e04: DUP10
00001e05: SWAP3
00001e06: SWAP1
00001e07: PUSH2 0x1e11
00001e0a: SWAP1
00001e0b: DUP5
00001e0c: SWAP1
00001e0d: PUSH2 0x376e
00001e10: JUMP
00001e11: JUMPDEST
00001e12: SWAP1
00001e13: SWAP2
00001e14: SSTORE
00001e15: POP
00001e16: PUSH2 0x1e21
00001e19: SWAP1
00001e1a: POP
00001e1b: CALLER
00001e1c: DUP9
00001e1d: PUSH2 0x26ca
00001e20: JUMP
00001e21: JUMPDEST
00001e22: PUSH1 0x0f
00001e24: SLOAD
00001e25: PUSH2 0x1e33
00001e28: SWAP1
00001e29: PUSH2 0x102a
00001e2c: SWAP1
00001e2d: DUP10
00001e2e: SWAP1
00001e2f: PUSH2 0x379a
00001e32: JUMP
00001e33: JUMPDEST
00001e34: POP
00001e35: POP
00001e36: POP
00001e37: POP
00001e38: POP
00001e39: POP
00001e3a: POP
00001e3b: JUMP
00001e3c: JUMPDEST
00001e3d: PUSH1 0x60
00001e3f: PUSH2 0x1e49
00001e42: DUP3
00001e43: PUSH1 0x01
00001e45: SLOAD
00001e46: GT
00001e47: SWAP1
00001e48: JUMP
00001e49: JUMPDEST
00001e4a: PUSH2 0x1ead
00001e4d: JUMPI
00001e4e: PUSH1 0x40
00001e50: MLOAD
00001e51: PUSH3 0x461bcd
00001e55: PUSH1 0xe5
00001e57: SHL
00001e58: DUP2
00001e59: MSTORE
00001e5a: PUSH1 0x20
00001e5c: PUSH1 0x04
00001e5e: DUP3
00001e5f: ADD
00001e60: MSTORE
00001e61: PUSH1 0x2f
00001e63: PUSH1 0x24
00001e65: DUP3
00001e66: ADD
00001e67: MSTORE
00001e68: PUSH32 0x4552433732314d657461646174613a2055524920717565727920666f72206e6f
00001e89: PUSH1 0x44
00001e8b: DUP3
00001e8c: ADD
00001e8d: MSTORE
00001e8e: PUSH15 0x3732bc34b9ba32b73a103a37b5b2b7
00001e9e: PUSH1 0x89
00001ea0: SHL
00001ea1: PUSH1 0x64
00001ea3: DUP3
00001ea4: ADD
00001ea5: MSTORE
00001ea6: PUSH1 0x84
00001ea8: ADD
00001ea9: PUSH2 0x0cf9
00001eac: JUMP
00001ead: JUMPDEST
00001eae: PUSH1 0x00
00001eb0: PUSH2 0x1eb7
00001eb3: PUSH2 0x2b1c
00001eb6: JUMP
00001eb7: JUMPDEST
00001eb8: SWAP1
00001eb9: POP
00001eba: PUSH1 0x00
00001ebc: DUP2
00001ebd: MLOAD
00001ebe: GT
00001ebf: PUSH2 0x1ed7
00001ec2: JUMPI
00001ec3: PUSH1 0x40
00001ec5: MLOAD
00001ec6: DUP1
00001ec7: PUSH1 0x20
00001ec9: ADD
00001eca: PUSH1 0x40
00001ecc: MSTORE
00001ecd: DUP1
00001ece: PUSH1 0x00
00001ed0: DUP2
00001ed1: MSTORE
00001ed2: POP
00001ed3: PUSH2 0x1f02
00001ed6: JUMP
00001ed7: JUMPDEST
00001ed8: DUP1
00001ed9: PUSH2 0x1ee1
00001edc: DUP5
00001edd: PUSH2 0x2b2b
00001ee0: JUMP
00001ee1: JUMPDEST
00001ee2: PUSH1 0x40
00001ee4: MLOAD
00001ee5: PUSH1 0x20
00001ee7: ADD
00001ee8: PUSH2 0x1ef2
00001eeb: SWAP3
00001eec: SWAP2
00001eed: SWAP1
00001eee: PUSH2 0x34d4
00001ef1: JUMP
00001ef2: JUMPDEST
00001ef3: PUSH1 0x40
00001ef5: MLOAD
00001ef6: PUSH1 0x20
00001ef8: DUP2
00001ef9: DUP4
00001efa: SUB
00001efb: SUB
00001efc: DUP2
00001efd: MSTORE
00001efe: SWAP1
00001eff: PUSH1 0x40
00001f01: MSTORE
00001f02: JUMPDEST
00001f03: SWAP4
00001f04: SWAP3
00001f05: POP
00001f06: POP
00001f07: POP
00001f08: JUMP
00001f09: JUMPDEST
00001f0a: PUSH1 0x00
00001f0c: PUSH2 0x0bf6
00001f0f: DUP3
00001f10: PUSH2 0x2c29
00001f13: JUMP
00001f14: JUMPDEST
00001f15: PUSH1 0x00
00001f17: SLOAD
00001f18: PUSH1 0x01
00001f1a: PUSH1 0x01
00001f1c: PUSH1 0xa0
00001f1e: SHL
00001f1f: SUB
00001f20: AND
00001f21: CALLER
00001f22: EQ
00001f23: PUSH2 0x1f3e
00001f26: JUMPI
00001f27: PUSH1 0x40
00001f29: MLOAD
00001f2a: PUSH3 0x461bcd
00001f2e: PUSH1 0xe5
00001f30: SHL
00001f31: DUP2
00001f32: MSTORE
00001f33: PUSH1 0x04
00001f35: ADD
00001f36: PUSH2 0x0cf9
00001f39: SWAP1
00001f3a: PUSH2 0x365d
00001f3d: JUMP
00001f3e: JUMPDEST
00001f3f: PUSH1 0x01
00001f41: PUSH1 0x01
00001f43: PUSH1 0xa0
00001f45: SHL
00001f46: SUB
00001f47: DUP2
00001f48: AND
00001f49: PUSH2 0x1f64
00001f4c: JUMPI
00001f4d: PUSH1 0x40
00001f4f: MLOAD
00001f50: PUSH3 0x461bcd
00001f54: PUSH1 0xe5
00001f56: SHL
00001f57: DUP2
00001f58: MSTORE
00001f59: PUSH1 0x04
00001f5b: ADD
00001f5c: PUSH2 0x0cf9
00001f5f: SWAP1
00001f60: PUSH2 0x3553
00001f63: JUMP
00001f64: JUMPDEST
00001f65: PUSH2 0x1f6d
00001f68: DUP2
00001f69: PUSH2 0x29a9
00001f6c: JUMP
00001f6d: JUMPDEST
00001f6e: POP
00001f6f: JUMP
00001f70: JUMPDEST
00001f71: PUSH1 0x00
00001f73: SLOAD
00001f74: PUSH1 0x01
00001f76: PUSH1 0x01
00001f78: PUSH1 0xa0
00001f7a: SHL
00001f7b: SUB
00001f7c: AND
00001f7d: CALLER
00001f7e: EQ
00001f7f: PUSH2 0x1f9a
00001f82: JUMPI
00001f83: PUSH1 0x40
00001f85: MLOAD
00001f86: PUSH3 0x461bcd
00001f8a: PUSH1 0xe5
00001f8c: SHL
00001f8d: DUP2
00001f8e: MSTORE
00001f8f: PUSH1 0x04
00001f91: ADD
00001f92: PUSH2 0x0cf9
00001f95: SWAP1
00001f96: PUSH2 0x365d
00001f99: JUMP
00001f9a: JUMPDEST
00001f9b: PUSH32 0x000000000000000000000000000000000000000000000000000000000000012c
00001fbc: DUP2
00001fbd: PUSH1 0x18
00001fbf: SLOAD
00001fc0: PUSH2 0x1fc9
00001fc3: SWAP2
00001fc4: SWAP1
00001fc5: PUSH2 0x376e
00001fc8: JUMP
00001fc9: JUMPDEST
00001fca: GT
00001fcb: ISZERO
00001fcc: PUSH2 0x1fe7
00001fcf: JUMPI
00001fd0: PUSH1 0x40
00001fd2: MLOAD
00001fd3: PUSH3 0x461bcd
00001fd7: PUSH1 0xe5
00001fd9: SHL
00001fda: DUP2
00001fdb: MSTORE
00001fdc: PUSH1 0x04
00001fde: ADD
00001fdf: PUSH2 0x0cf9
00001fe2: SWAP1
00001fe3: PUSH2 0x36e5
00001fe6: JUMP
00001fe7: JUMPDEST
00001fe8: DUP1
00001fe9: PUSH1 0x18
00001feb: PUSH1 0x00
00001fed: DUP3
00001fee: DUP3
00001fef: SLOAD
00001ff0: PUSH2 0x1ff9
00001ff3: SWAP2
00001ff4: SWAP1
00001ff5: PUSH2 0x376e
00001ff8: JUMP
00001ff9: JUMPDEST
00001ffa: SWAP1
00001ffb: SWAP2
00001ffc: SSTORE
00001ffd: POP
00001ffe: POP
00001fff: JUMPDEST
00002000: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000014
00002021: DUP2
00002022: LT
00002023: PUSH2 0x2081
00002026: JUMPI
00002027: PUSH2 0x2050
0000202a: CALLER
0000202b: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000014
0000204c: PUSH2 0x26ca
0000204f: JUMP
00002050: JUMPDEST
00002051: PUSH2 0x207a
00002054: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000014
00002075: DUP3
00002076: PUSH2 0x37e1
00002079: JUMP
0000207a: JUMPDEST
0000207b: SWAP1
0000207c: POP
0000207d: PUSH2 0x1fff
00002080: JUMP
00002081: JUMPDEST
00002082: DUP1
00002083: ISZERO
00002084: PUSH2 0x1f6d
00002087: JUMPI
00002088: PUSH2 0x1f6d
0000208b: CALLER
0000208c: DUP3
0000208d: PUSH2 0x26ca
00002090: JUMP
00002091: JUMPDEST
00002092: PUSH1 0x00
00002094: PUSH1 0x01
00002096: PUSH1 0x01
00002098: PUSH1 0xe0
0000209a: SHL
0000209b: SUB
0000209c: NOT
0000209d: DUP3
0000209e: AND
0000209f: PUSH4 0x80ac58cd
000020a4: PUSH1 0xe0
000020a6: SHL
000020a7: EQ
000020a8: DUP1
000020a9: PUSH2 0x20c2
000020ac: JUMPI
000020ad: POP
000020ae: PUSH1 0x01
000020b0: PUSH1 0x01
000020b2: PUSH1 0xe0
000020b4: SHL
000020b5: SUB
000020b6: NOT
000020b7: DUP3
000020b8: AND
000020b9: PUSH4 0x5b5e139f
000020be: PUSH1 0xe0
000020c0: SHL
000020c1: EQ
000020c2: JUMPDEST
000020c3: DUP1
000020c4: PUSH2 0x20dd
000020c7: JUMPI
000020c8: POP
000020c9: PUSH1 0x01
000020cb: PUSH1 0x01
000020cd: PUSH1 0xe0
000020cf: SHL
000020d0: SUB
000020d1: NOT
000020d2: DUP3
000020d3: AND
000020d4: PUSH4 0x780e9d63
000020d9: PUSH1 0xe0
000020db: SHL
000020dc: EQ
000020dd: JUMPDEST
000020de: DUP1
000020df: PUSH2 0x0bf6
000020e2: JUMPI
000020e3: POP
000020e4: PUSH4 0x01ffc9a7
000020e9: PUSH1 0xe0
000020eb: SHL
000020ec: PUSH1 0x01
000020ee: PUSH1 0x01
000020f0: PUSH1 0xe0
000020f2: SHL
000020f3: SUB
000020f4: NOT
000020f5: DUP4
000020f6: AND
000020f7: EQ
000020f8: PUSH2 0x0bf6
000020fb: JUMP
000020fc: JUMPDEST
000020fd: PUSH1 0x00
000020ff: DUP3
00002100: DUP2
00002101: MSTORE
00002102: PUSH1 0x06
00002104: PUSH1 0x20
00002106: MSTORE
00002107: PUSH1 0x40
00002109: DUP1
0000210a: DUP3
0000210b: KECCAK256
0000210c: DUP1
0000210d: SLOAD
0000210e: PUSH1 0x01
00002110: PUSH1 0x01
00002112: PUSH1 0xa0
00002114: SHL
00002115: SUB
00002116: NOT
00002117: AND
00002118: PUSH1 0x01
0000211a: PUSH1 0x01
0000211c: PUSH1 0xa0
0000211e: SHL
0000211f: SUB
00002120: DUP8
00002121: DUP2
00002122: AND
00002123: SWAP2
00002124: DUP3
00002125: OR
00002126: SWAP1
00002127: SWAP3
00002128: SSTORE
00002129: SWAP2
0000212a: MLOAD
0000212b: DUP6
0000212c: SWAP4
0000212d: SWAP2
0000212e: DUP6
0000212f: AND
00002130: SWAP2
00002131: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00002152: SWAP2
00002153: LOG4
00002154: POP
00002155: POP
00002156: POP
00002157: JUMP
00002158: JUMPDEST
00002159: PUSH1 0x00
0000215b: PUSH2 0x2163
0000215e: DUP3
0000215f: PUSH2 0x27ff
00002162: JUMP
00002163: JUMPDEST
00002164: DUP1
00002165: MLOAD
00002166: SWAP1
00002167: SWAP2
00002168: POP
00002169: PUSH1 0x00
0000216b: SWAP1
0000216c: PUSH1 0x01
0000216e: PUSH1 0x01
00002170: PUSH1 0xa0
00002172: SHL
00002173: SUB
00002174: AND
00002175: CALLER
00002176: PUSH1 0x01
00002178: PUSH1 0x01
0000217a: PUSH1 0xa0
0000217c: SHL
0000217d: SUB
0000217e: AND
0000217f: EQ
00002180: DUP1
00002181: PUSH2 0x219a
00002184: JUMPI
00002185: POP
00002186: CALLER
00002187: PUSH2 0x218f
0000218a: DUP5
0000218b: PUSH2 0x0c8e
0000218e: JUMP
0000218f: JUMPDEST
00002190: PUSH1 0x01
00002192: PUSH1 0x01
00002194: PUSH1 0xa0
00002196: SHL
00002197: SUB
00002198: AND
00002199: EQ
0000219a: JUMPDEST
0000219b: DUP1
0000219c: PUSH2 0x21ac
0000219f: JUMPI
000021a0: POP
000021a1: DUP2
000021a2: MLOAD
000021a3: PUSH2 0x21ac
000021a6: SWAP1
000021a7: CALLER
000021a8: PUSH2 0x0a31
000021ab: JUMP
000021ac: JUMPDEST
000021ad: SWAP1
000021ae: POP
000021af: DUP1
000021b0: PUSH2 0x2216
000021b3: JUMPI
000021b4: PUSH1 0x40
000021b6: MLOAD
000021b7: PUSH3 0x461bcd
000021bb: PUSH1 0xe5
000021bd: SHL
000021be: DUP2
000021bf: MSTORE
000021c0: PUSH1 0x20
000021c2: PUSH1 0x04
000021c4: DUP3
000021c5: ADD
000021c6: MSTORE
000021c7: PUSH1 0x32
000021c9: PUSH1 0x24
000021cb: DUP3
000021cc: ADD
000021cd: MSTORE
000021ce: PUSH32 0x455243373231413a207472616e736665722063616c6c6572206973206e6f7420
000021ef: PUSH1 0x44
000021f1: DUP3
000021f2: ADD
000021f3: MSTORE
000021f4: PUSH18 0x1bdddb995c881b9bdc88185c1c1c9bdd9959
00002207: PUSH1 0x72
00002209: SHL
0000220a: PUSH1 0x64
0000220c: DUP3
0000220d: ADD
0000220e: MSTORE
0000220f: PUSH1 0x84
00002211: ADD
00002212: PUSH2 0x0cf9
00002215: JUMP
00002216: JUMPDEST
00002217: DUP5
00002218: PUSH1 0x01
0000221a: PUSH1 0x01
0000221c: PUSH1 0xa0
0000221e: SHL
0000221f: SUB
00002220: AND
00002221: DUP3
00002222: PUSH1 0x00
00002224: ADD
00002225: MLOAD
00002226: PUSH1 0x01
00002228: PUSH1 0x01
0000222a: PUSH1 0xa0
0000222c: SHL
0000222d: SUB
0000222e: AND
0000222f: EQ
00002230: PUSH2 0x228a
00002233: JUMPI
00002234: PUSH1 0x40
00002236: MLOAD
00002237: PUSH3 0x461bcd
0000223b: PUSH1 0xe5
0000223d: SHL
0000223e: DUP2
0000223f: MSTORE
00002240: PUSH1 0x20
00002242: PUSH1 0x04
00002244: DUP3
00002245: ADD
00002246: MSTORE
00002247: PUSH1 0x26
00002249: PUSH1 0x24
0000224b: DUP3
0000224c: ADD
0000224d: MSTORE
0000224e: PUSH32 0x455243373231413a207472616e736665722066726f6d20696e636f7272656374
0000226f: PUSH1 0x44
00002271: DUP3
00002272: ADD
00002273: MSTORE
00002274: PUSH6 0x1037bbb732b9
0000227b: PUSH1 0xd1
0000227d: SHL
0000227e: PUSH1 0x64
00002280: DUP3
00002281: ADD
00002282: MSTORE
00002283: PUSH1 0x84
00002285: ADD
00002286: PUSH2 0x0cf9
00002289: JUMP
0000228a: JUMPDEST
0000228b: PUSH1 0x01
0000228d: PUSH1 0x01
0000228f: PUSH1 0xa0
00002291: SHL
00002292: SUB
00002293: DUP5
00002294: AND
00002295: PUSH2 0x22ee
00002298: JUMPI
00002299: PUSH1 0x40
0000229b: MLOAD
0000229c: PUSH3 0x461bcd
000022a0: PUSH1 0xe5
000022a2: SHL
000022a3: DUP2
000022a4: MSTORE
000022a5: PUSH1 0x20
000022a7: PUSH1 0x04
000022a9: DUP3
000022aa: ADD
000022ab: MSTORE
000022ac: PUSH1 0x25
000022ae: PUSH1 0x24
000022b0: DUP3
000022b1: ADD
000022b2: MSTORE
000022b3: PUSH32 0x455243373231413a207472616e7366657220746f20746865207a65726f206164
000022d4: PUSH1 0x44
000022d6: DUP3
000022d7: ADD
000022d8: MSTORE
000022d9: PUSH5 0x6472657373
000022df: PUSH1 0xd8
000022e1: SHL
000022e2: PUSH1 0x64
000022e4: DUP3
000022e5: ADD
000022e6: MSTORE
000022e7: PUSH1 0x84
000022e9: ADD
000022ea: PUSH2 0x0cf9
000022ed: JUMP
000022ee: JUMPDEST
000022ef: PUSH2 0x22fe
000022f2: PUSH1 0x00
000022f4: DUP5
000022f5: DUP5
000022f6: PUSH1 0x00
000022f8: ADD
000022f9: MLOAD
000022fa: PUSH2 0x20fc
000022fd: JUMP
000022fe: JUMPDEST
000022ff: PUSH1 0x01
00002301: PUSH1 0x01
00002303: PUSH1 0xa0
00002305: SHL
00002306: SUB
00002307: DUP6
00002308: AND
00002309: PUSH1 0x00
0000230b: SWAP1
0000230c: DUP2
0000230d: MSTORE
0000230e: PUSH1 0x05
00002310: PUSH1 0x20
00002312: MSTORE
00002313: PUSH1 0x40
00002315: DUP2
00002316: KECCAK256
00002317: DUP1
00002318: SLOAD
00002319: PUSH1 0x01
0000231b: SWAP3
0000231c: SWAP1
0000231d: PUSH2 0x2330
00002320: SWAP1
00002321: DUP5
00002322: SWAP1
00002323: PUSH1 0x01
00002325: PUSH1 0x01
00002327: PUSH1 0x80
00002329: SHL
0000232a: SUB
0000232b: AND
0000232c: PUSH2 0x37b9
0000232f: JUMP
00002330: JUMPDEST
00002331: DUP3
00002332: SLOAD
00002333: PUSH2 0x0100
00002336: SWAP3
00002337: SWAP1
00002338: SWAP3
00002339: EXP
0000233a: PUSH1 0x01
0000233c: PUSH1 0x01
0000233e: PUSH1 0x80
00002340: SHL
00002341: SUB
00002342: DUP2
00002343: DUP2
00002344: MUL
00002345: NOT
00002346: SWAP1
00002347: SWAP4
00002348: AND
00002349: SWAP2
0000234a: DUP4
0000234b: AND
0000234c: MUL
0000234d: OR
0000234e: SWAP1
0000234f: SWAP2
00002350: SSTORE
00002351: PUSH1 0x01
00002353: PUSH1 0x01
00002355: PUSH1 0xa0
00002357: SHL
00002358: SUB
00002359: DUP7
0000235a: AND
0000235b: PUSH1 0x00
0000235d: SWAP1
0000235e: DUP2
0000235f: MSTORE
00002360: PUSH1 0x05
00002362: PUSH1 0x20
00002364: MSTORE
00002365: PUSH1 0x40
00002367: DUP2
00002368: KECCAK256
00002369: DUP1
0000236a: SLOAD
0000236b: PUSH1 0x01
0000236d: SWAP5
0000236e: POP
0000236f: SWAP1
00002370: SWAP3
00002371: PUSH2 0x237c
00002374: SWAP2
00002375: DUP6
00002376: SWAP2
00002377: AND
00002378: PUSH2 0x374c
0000237b: JUMP
0000237c: JUMPDEST
0000237d: DUP3
0000237e: SLOAD
0000237f: PUSH1 0x01
00002381: PUSH1 0x01
00002383: PUSH1 0x80
00002385: SHL
00002386: SUB
00002387: SWAP2
00002388: DUP3
00002389: AND
0000238a: PUSH2 0x0100
0000238d: SWAP4
0000238e: SWAP1
0000238f: SWAP4
00002390: EXP
00002391: SWAP3
00002392: DUP4
00002393: MUL
00002394: SWAP2
00002395: SWAP1
00002396: SWAP3
00002397: MUL
00002398: NOT
00002399: SWAP1
0000239a: SWAP2
0000239b: AND
0000239c: OR
0000239d: SWAP1
0000239e: SSTORE
0000239f: POP
000023a0: PUSH1 0x40
000023a2: DUP1
000023a3: MLOAD
000023a4: DUP1
000023a5: DUP3
000023a6: ADD
000023a7: DUP3
000023a8: MSTORE
000023a9: PUSH1 0x01
000023ab: PUSH1 0x01
000023ad: PUSH1 0xa0
000023af: SHL
000023b0: SUB
000023b1: DUP1
000023b2: DUP8
000023b3: AND
000023b4: DUP3
000023b5: MSTORE
000023b6: PUSH8 0xffffffffffffffff
000023bf: TIMESTAMP
000023c0: DUP2
000023c1: AND
000023c2: PUSH1 0x20
000023c4: DUP1
000023c5: DUP6
000023c6: ADD
000023c7: SWAP2
000023c8: DUP3
000023c9: MSTORE
000023ca: PUSH1 0x00
000023cc: DUP10
000023cd: DUP2
000023ce: MSTORE
000023cf: PUSH1 0x04
000023d1: SWAP1
000023d2: SWAP2
000023d3: MSTORE
000023d4: SWAP5
000023d5: DUP6
000023d6: KECCAK256
000023d7: SWAP4
000023d8: MLOAD
000023d9: DUP5
000023da: SLOAD
000023db: SWAP2
000023dc: MLOAD
000023dd: SWAP1
000023de: SWAP3
000023df: AND
000023e0: PUSH1 0x01
000023e2: PUSH1 0xa0
000023e4: SHL
000023e5: MUL
000023e6: PUSH1 0x01
000023e8: PUSH1 0x01
000023ea: PUSH1 0xe0
000023ec: SHL
000023ed: SUB
000023ee: NOT
000023ef: SWAP1
000023f0: SWAP2
000023f1: AND
000023f2: SWAP2
000023f3: SWAP1
000023f4: SWAP3
000023f5: AND
000023f6: OR
000023f7: OR
000023f8: SWAP1
000023f9: SSTORE
000023fa: PUSH2 0x2404
000023fd: DUP5
000023fe: PUSH1 0x01
00002400: PUSH2 0x376e
00002403: JUMP
00002404: JUMPDEST
00002405: PUSH1 0x00
00002407: DUP2
00002408: DUP2
00002409: MSTORE
0000240a: PUSH1 0x04
0000240c: PUSH1 0x20
0000240e: MSTORE
0000240f: PUSH1 0x40
00002411: SWAP1
00002412: KECCAK256
00002413: SLOAD
00002414: SWAP1
00002415: SWAP2
00002416: POP
00002417: PUSH1 0x01
00002419: PUSH1 0x01
0000241b: PUSH1 0xa0
0000241d: SHL
0000241e: SUB
0000241f: AND
00002420: PUSH2 0x2496
00002423: JUMPI
00002424: PUSH2 0x242e
00002427: DUP2
00002428: PUSH1 0x01
0000242a: SLOAD
0000242b: GT
0000242c: SWAP1
0000242d: JUMP
0000242e: JUMPDEST
0000242f: ISZERO
00002430: PUSH2 0x2496
00002433: JUMPI
00002434: PUSH1 0x40
00002436: DUP1
00002437: MLOAD
00002438: DUP1
00002439: DUP3
0000243a: ADD
0000243b: DUP3
0000243c: MSTORE
0000243d: DUP5
0000243e: MLOAD
0000243f: PUSH1 0x01
00002441: PUSH1 0x01
00002443: PUSH1 0xa0
00002445: SHL
00002446: SUB
00002447: SWAP1
00002448: DUP2
00002449: AND
0000244a: DUP3
0000244b: MSTORE
0000244c: PUSH1 0x20
0000244e: DUP1
0000244f: DUP8
00002450: ADD
00002451: MLOAD
00002452: PUSH8 0xffffffffffffffff
0000245b: SWAP1
0000245c: DUP2
0000245d: AND
0000245e: DUP3
0000245f: DUP6
00002460: ADD
00002461: SWAP1
00002462: DUP2
00002463: MSTORE
00002464: PUSH1 0x00
00002466: DUP8
00002467: DUP2
00002468: MSTORE
00002469: PUSH1 0x04
0000246b: SWAP1
0000246c: SWAP4
0000246d: MSTORE
0000246e: SWAP5
0000246f: SWAP1
00002470: SWAP2
00002471: KECCAK256
00002472: SWAP3
00002473: MLOAD
00002474: DUP4
00002475: SLOAD
00002476: SWAP5
00002477: MLOAD
00002478: SWAP1
00002479: SWAP2
0000247a: AND
0000247b: PUSH1 0x01
0000247d: PUSH1 0xa0
0000247f: SHL
00002480: MUL
00002481: PUSH1 0x01
00002483: PUSH1 0x01
00002485: PUSH1 0xe0
00002487: SHL
00002488: SUB
00002489: NOT
0000248a: SWAP1
0000248b: SWAP5
0000248c: AND
0000248d: SWAP2
0000248e: AND
0000248f: OR
00002490: SWAP2
00002491: SWAP1
00002492: SWAP2
00002493: OR
00002494: SWAP1
00002495: SSTORE
00002496: JUMPDEST
00002497: DUP4
00002498: DUP6
00002499: PUSH1 0x01
0000249b: PUSH1 0x01
0000249d: PUSH1 0xa0
0000249f: SHL
000024a0: SUB
000024a1: AND
000024a2: DUP8
000024a3: PUSH1 0x01
000024a5: PUSH1 0x01
000024a7: PUSH1 0xa0
000024a9: SHL
000024aa: SUB
000024ab: AND
000024ac: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000024cd: PUSH1 0x40
000024cf: MLOAD
000024d0: PUSH1 0x40
000024d2: MLOAD
000024d3: DUP1
000024d4: SWAP2
000024d5: SUB
000024d6: SWAP1
000024d7: LOG4
000024d8: JUMPDEST
000024d9: POP
000024da: POP
000024db: POP
000024dc: POP
000024dd: POP
000024de: POP
000024df: JUMP
000024e0: JUMPDEST
000024e1: PUSH1 0x08
000024e3: SLOAD
000024e4: DUP2
000024e5: PUSH2 0x2530
000024e8: JUMPI
000024e9: PUSH1 0x40
000024eb: MLOAD
000024ec: PUSH3 0x461bcd
000024f0: PUSH1 0xe5
000024f2: SHL
000024f3: DUP2
000024f4: MSTORE
000024f5: PUSH1 0x20
000024f7: PUSH1 0x04
000024f9: DUP3
000024fa: ADD
000024fb: MSTORE
000024fc: PUSH1 0x18
000024fe: PUSH1 0x24
00002500: DUP3
00002501: ADD
00002502: MSTORE
00002503: PUSH32 0x7175616e74697479206d757374206265206e6f6e7a65726f0000000000000000
00002524: PUSH1 0x44
00002526: DUP3
00002527: ADD
00002528: MSTORE
00002529: PUSH1 0x64
0000252b: ADD
0000252c: PUSH2 0x0cf9
0000252f: JUMP
00002530: JUMPDEST
00002531: PUSH1 0x00
00002533: PUSH1 0x01
00002535: PUSH2 0x253e
00002538: DUP5
00002539: DUP5
0000253a: PUSH2 0x376e
0000253d: JUMP
0000253e: JUMPDEST
0000253f: PUSH2 0x2548
00002542: SWAP2
00002543: SWAP1
00002544: PUSH2 0x37e1
00002547: JUMP
00002548: JUMPDEST
00002549: SWAP1
0000254a: POP
0000254b: PUSH2 0x2575
0000254e: PUSH1 0x01
00002550: PUSH32 0x0000000000000000000000000000000000000000000000000000000000002710
00002571: PUSH2 0x37e1
00002574: JUMP
00002575: JUMPDEST
00002576: DUP2
00002577: GT
00002578: ISZERO
00002579: PUSH2 0x25aa
0000257c: JUMPI
0000257d: PUSH2 0x25a7
00002580: PUSH1 0x01
00002582: PUSH32 0x0000000000000000000000000000000000000000000000000000000000002710
000025a3: PUSH2 0x37e1
000025a6: JUMP
000025a7: JUMPDEST
000025a8: SWAP1
000025a9: POP
000025aa: JUMPDEST
000025ab: PUSH2 0x25b5
000025ae: DUP2
000025af: PUSH1 0x01
000025b1: SLOAD
000025b2: GT
000025b3: SWAP1
000025b4: JUMP
000025b5: JUMPDEST
000025b6: PUSH2 0x2610
000025b9: JUMPI
000025ba: PUSH1 0x40
000025bc: MLOAD
000025bd: PUSH3 0x461bcd
000025c1: PUSH1 0xe5
000025c3: SHL
000025c4: DUP2
000025c5: MSTORE
000025c6: PUSH1 0x20
000025c8: PUSH1 0x04
000025ca: DUP3
000025cb: ADD
000025cc: MSTORE
000025cd: PUSH1 0x26
000025cf: PUSH1 0x24
000025d1: DUP3
000025d2: ADD
000025d3: MSTORE
000025d4: PUSH32 0x6e6f7420656e6f756768206d696e7465642079657420666f7220746869732063
000025f5: PUSH1 0x44
000025f7: DUP3
000025f8: ADD
000025f9: MSTORE
000025fa: PUSH6 0x06c65616e757
00002601: PUSH1 0xd4
00002603: SHL
00002604: PUSH1 0x64
00002606: DUP3
00002607: ADD
00002608: MSTORE
00002609: PUSH1 0x84
0000260b: ADD
0000260c: PUSH2 0x0cf9
0000260f: JUMP
00002610: JUMPDEST
00002611: DUP2
00002612: JUMPDEST
00002613: DUP2
00002614: DUP2
00002615: GT
00002616: PUSH2 0x26b6
00002619: JUMPI
0000261a: PUSH1 0x00
0000261c: DUP2
0000261d: DUP2
0000261e: MSTORE
0000261f: PUSH1 0x04
00002621: PUSH1 0x20
00002623: MSTORE
00002624: PUSH1 0x40
00002626: SWAP1
00002627: KECCAK256
00002628: SLOAD
00002629: PUSH1 0x01
0000262b: PUSH1 0x01
0000262d: PUSH1 0xa0
0000262f: SHL
00002630: SUB
00002631: AND
00002632: PUSH2 0x26a4
00002635: JUMPI
00002636: PUSH1 0x00
00002638: PUSH2 0x2640
0000263b: DUP3
0000263c: PUSH2 0x27ff
0000263f: JUMP
00002640: JUMPDEST
00002641: PUSH1 0x40
00002643: DUP1
00002644: MLOAD
00002645: DUP1
00002646: DUP3
00002647: ADD
00002648: DUP3
00002649: MSTORE
0000264a: DUP3
0000264b: MLOAD
0000264c: PUSH1 0x01
0000264e: PUSH1 0x01
00002650: PUSH1 0xa0
00002652: SHL
00002653: SUB
00002654: SWAP1
00002655: DUP2
00002656: AND
00002657: DUP3
00002658: MSTORE
00002659: PUSH1 0x20
0000265b: SWAP4
0000265c: DUP5
0000265d: ADD
0000265e: MLOAD
0000265f: PUSH8 0xffffffffffffffff
00002668: SWAP1
00002669: DUP2
0000266a: AND
0000266b: DUP6
0000266c: DUP5
0000266d: ADD
0000266e: SWAP1
0000266f: DUP2
00002670: MSTORE
00002671: PUSH1 0x00
00002673: DUP9
00002674: DUP2
00002675: MSTORE
00002676: PUSH1 0x04
00002678: SWAP1
00002679: SWAP7
0000267a: MSTORE
0000267b: SWAP4
0000267c: SWAP1
0000267d: SWAP5
0000267e: KECCAK256
0000267f: SWAP2
00002680: MLOAD
00002681: DUP3
00002682: SLOAD
00002683: SWAP4
00002684: MLOAD
00002685: SWAP1
00002686: SWAP5
00002687: AND
00002688: PUSH1 0x01
0000268a: PUSH1 0xa0
0000268c: SHL
0000268d: MUL
0000268e: PUSH1 0x01
00002690: PUSH1 0x01
00002692: PUSH1 0xe0
00002694: SHL
00002695: SUB
00002696: NOT
00002697: SWAP1
00002698: SWAP4
00002699: AND
0000269a: SWAP4
0000269b: AND
0000269c: SWAP3
0000269d: SWAP1
0000269e: SWAP3
0000269f: OR
000026a0: OR
000026a1: SWAP1
000026a2: SSTORE
000026a3: POP
000026a4: JUMPDEST
000026a5: DUP1
000026a6: PUSH2 0x26ae
000026a9: DUP2
000026aa: PUSH2 0x3876
000026ad: JUMP
000026ae: JUMPDEST
000026af: SWAP2
000026b0: POP
000026b1: POP
000026b2: PUSH2 0x2612
000026b5: JUMP
000026b6: JUMPDEST
000026b7: POP
000026b8: PUSH2 0x26c2
000026bb: DUP2
000026bc: PUSH1 0x01
000026be: PUSH2 0x376e
000026c1: JUMP
000026c2: JUMPDEST
000026c3: PUSH1 0x08
000026c5: SSTORE
000026c6: POP
000026c7: POP
000026c8: POP
000026c9: JUMP
000026ca: JUMPDEST
000026cb: PUSH2 0x26e4
000026ce: DUP3
000026cf: DUP3
000026d0: PUSH1 0x40
000026d2: MLOAD
000026d3: DUP1
000026d4: PUSH1 0x20
000026d6: ADD
000026d7: PUSH1 0x40
000026d9: MSTORE
000026da: DUP1
000026db: PUSH1 0x00
000026dd: DUP2
000026de: MSTORE
000026df: POP
000026e0: PUSH2 0x2cc7
000026e3: JUMP
000026e4: JUMPDEST
000026e5: POP
000026e6: POP
000026e7: JUMP
000026e8: JUMPDEST
000026e9: DUP1
000026ea: CALLVALUE
000026eb: LT
000026ec: ISZERO
000026ed: PUSH2 0x2731
000026f0: JUMPI
000026f1: PUSH1 0x40
000026f3: MLOAD
000026f4: PUSH3 0x461bcd
000026f8: PUSH1 0xe5
000026fa: SHL
000026fb: DUP2
000026fc: MSTORE
000026fd: PUSH1 0x20
000026ff: PUSH1 0x04
00002701: DUP3
00002702: ADD
00002703: MSTORE
00002704: PUSH1 0x16
00002706: PUSH1 0x24
00002708: DUP3
00002709: ADD
0000270a: MSTORE
0000270b: PUSH22 0x2732b2b2103a379039b2b7321036b7b9329022aa2417
00002722: PUSH1 0x51
00002724: SHL
00002725: PUSH1 0x44
00002727: DUP3
00002728: ADD
00002729: MSTORE
0000272a: PUSH1 0x64
0000272c: ADD
0000272d: PUSH2 0x0cf9
00002730: JUMP
00002731: JUMPDEST
00002732: DUP1
00002733: CALLVALUE
00002734: GT
00002735: ISZERO
00002736: PUSH2 0x2771
00002739: JUMPI
0000273a: CALLER
0000273b: PUSH2 0x08fc
0000273e: PUSH2 0x2747
00002741: DUP4
00002742: CALLVALUE
00002743: PUSH2 0x37e1
00002746: JUMP
00002747: JUMPDEST
00002748: PUSH1 0x40
0000274a: MLOAD
0000274b: DUP2
0000274c: ISZERO
0000274d: SWAP1
0000274e: SWAP3
0000274f: MUL
00002750: SWAP2
00002751: PUSH1 0x00
00002753: DUP2
00002754: DUP2
00002755: DUP2
00002756: DUP6
00002757: DUP9
00002758: DUP9
00002759: CALL
0000275a: SWAP4
0000275b: POP
0000275c: POP
0000275d: POP
0000275e: POP
0000275f: ISZERO
00002760: DUP1
00002761: ISZERO
00002762: PUSH2 0x276f
00002765: JUMPI
00002766: RETURNDATASIZE
00002767: PUSH1 0x00
00002769: DUP1
0000276a: RETURNDATACOPY
0000276b: RETURNDATASIZE
0000276c: PUSH1 0x00
0000276e: REVERT
0000276f: JUMPDEST
00002770: POP
00002771: JUMPDEST
00002772: PUSH1 0x00
00002774: PUSH1 0x64
00002776: PUSH1 0x1c
00002778: SLOAD
00002779: DUP4
0000277a: PUSH2 0x2783
0000277d: SWAP2
0000277e: SWAP1
0000277f: PUSH2 0x379a
00002782: JUMP
00002783: JUMPDEST
00002784: PUSH2 0x278d
00002787: SWAP2
00002788: SWAP1
00002789: PUSH2 0x3786
0000278c: JUMP
0000278d: JUMPDEST
0000278e: SWAP1
0000278f: POP
00002790: PUSH1 0x00
00002792: PUSH2 0x279b
00002795: DUP3
00002796: DUP5
00002797: PUSH2 0x37e1
0000279a: JUMP
0000279b: JUMPDEST
0000279c: SWAP1
0000279d: POP
0000279e: DUP1
0000279f: PUSH1 0x1f
000027a1: PUSH1 0x00
000027a3: DUP3
000027a4: DUP3
000027a5: SLOAD
000027a6: PUSH2 0x27af
000027a9: SWAP2
000027aa: SWAP1
000027ab: PUSH2 0x376e
000027ae: JUMP
000027af: JUMPDEST
000027b0: SWAP3
000027b1: POP
000027b2: POP
000027b3: DUP2
000027b4: SWAP1
000027b5: SSTORE
000027b6: POP
000027b7: DUP2
000027b8: PUSH1 0x20
000027ba: PUSH1 0x00
000027bc: DUP3
000027bd: DUP3
000027be: SLOAD
000027bf: PUSH2 0x27c8
000027c2: SWAP2
000027c3: SWAP1
000027c4: PUSH2 0x376e
000027c7: JUMP
000027c8: JUMPDEST
000027c9: SWAP1
000027ca: SWAP2
000027cb: SSTORE
000027cc: POP
000027cd: POP
000027ce: PUSH1 0x40
000027d0: MLOAD
000027d1: DUP4
000027d2: SWAP1
000027d3: CALLER
000027d4: SWAP1
000027d5: PUSH32 0x0f6798a560793a54c3bcfe86a93cde1e73087d944c0ea20544137d4121396885
000027f6: SWAP1
000027f7: PUSH1 0x00
000027f9: SWAP1
000027fa: LOG3
000027fb: POP
000027fc: POP
000027fd: POP
000027fe: JUMP
000027ff: JUMPDEST
00002800: PUSH1 0x40
00002802: DUP1
00002803: MLOAD
00002804: DUP1
00002805: DUP3
00002806: ADD
00002807: SWAP1
00002808: SWAP2
00002809: MSTORE
0000280a: PUSH1 0x00
0000280c: DUP1
0000280d: DUP3
0000280e: MSTORE
0000280f: PUSH1 0x20
00002811: DUP3
00002812: ADD
00002813: MSTORE
00002814: PUSH2 0x281e
00002817: DUP3
00002818: PUSH1 0x01
0000281a: SLOAD
0000281b: GT
0000281c: SWAP1
0000281d: JUMP
0000281e: JUMPDEST
0000281f: PUSH2 0x287d
00002822: JUMPI
00002823: PUSH1 0x40
00002825: MLOAD
00002826: PUSH3 0x461bcd
0000282a: PUSH1 0xe5
0000282c: SHL
0000282d: DUP2
0000282e: MSTORE
0000282f: PUSH1 0x20
00002831: PUSH1 0x04
00002833: DUP3
00002834: ADD
00002835: MSTORE
00002836: PUSH1 0x2a
00002838: PUSH1 0x24
0000283a: DUP3
0000283b: ADD
0000283c: MSTORE
0000283d: PUSH32 0x455243373231413a206f776e657220717565727920666f72206e6f6e65786973
0000285e: PUSH1 0x44
00002860: DUP3
00002861: ADD
00002862: MSTORE
00002863: PUSH10 0x3a32b73a103a37b5b2b7
0000286e: PUSH1 0xb1
00002870: SHL
00002871: PUSH1 0x64
00002873: DUP3
00002874: ADD
00002875: MSTORE
00002876: PUSH1 0x84
00002878: ADD
00002879: PUSH2 0x0cf9
0000287c: JUMP
0000287d: JUMPDEST
0000287e: PUSH1 0x00
00002880: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000014
000028a1: DUP4
000028a2: LT
000028a3: PUSH2 0x28de
000028a6: JUMPI
000028a7: PUSH2 0x28d0
000028aa: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000014
000028cb: DUP5
000028cc: PUSH2 0x37e1
000028cf: JUMP
000028d0: JUMPDEST
000028d1: PUSH2 0x28db
000028d4: SWAP1
000028d5: PUSH1 0x01
000028d7: PUSH2 0x376e
000028da: JUMP
000028db: JUMPDEST
000028dc: SWAP1
000028dd: POP
000028de: JUMPDEST
000028df: DUP3
000028e0: JUMPDEST
000028e1: DUP2
000028e2: DUP2
000028e3: LT
000028e4: PUSH2 0x2948
000028e7: JUMPI
000028e8: PUSH1 0x00
000028ea: DUP2
000028eb: DUP2
000028ec: MSTORE
000028ed: PUSH1 0x04
000028ef: PUSH1 0x20
000028f1: SWAP1
000028f2: DUP2
000028f3: MSTORE
000028f4: PUSH1 0x40
000028f6: SWAP2
000028f7: DUP3
000028f8: SWAP1
000028f9: KECCAK256
000028fa: DUP3
000028fb: MLOAD
000028fc: DUP1
000028fd: DUP5
000028fe: ADD
000028ff: SWAP1
00002900: SWAP4
00002901: MSTORE
00002902: SLOAD
00002903: PUSH1 0x01
00002905: PUSH1 0x01
00002907: PUSH1 0xa0
00002909: SHL
0000290a: SUB
0000290b: DUP2
0000290c: AND
0000290d: DUP1
0000290e: DUP5
0000290f: MSTORE
00002910: PUSH1 0x01
00002912: PUSH1 0xa0
00002914: SHL
00002915: SWAP1
00002916: SWAP2
00002917: DIV
00002918: PUSH8 0xffffffffffffffff
00002921: AND
00002922: SWAP2
00002923: DUP4
00002924: ADD
00002925: SWAP2
00002926: SWAP1
00002927: SWAP2
00002928: MSTORE
00002929: ISZERO
0000292a: PUSH2 0x2935
0000292d: JUMPI
0000292e: SWAP5
0000292f: SWAP4
00002930: POP
00002931: POP
00002932: POP
00002933: POP
00002934: JUMP
00002935: JUMPDEST
00002936: POP
00002937: DUP1
00002938: PUSH2 0x2940
0000293b: DUP2
0000293c: PUSH2 0x3824
0000293f: JUMP
00002940: JUMPDEST
00002941: SWAP2
00002942: POP
00002943: POP
00002944: PUSH2 0x28e0
00002947: JUMP
00002948: JUMPDEST
00002949: POP
0000294a: PUSH1 0x40
0000294c: MLOAD
0000294d: PUSH3 0x461bcd
00002951: PUSH1 0xe5
00002953: SHL
00002954: DUP2
00002955: MSTORE
00002956: PUSH1 0x20
00002958: PUSH1 0x04
0000295a: DUP3
0000295b: ADD
0000295c: MSTORE
0000295d: PUSH1 0x2f
0000295f: PUSH1 0x24
00002961: DUP3
00002962: ADD
00002963: MSTORE
00002964: PUSH32 0x455243373231413a20756e61626c6520746f2064657465726d696e6520746865
00002985: PUSH1 0x44
00002987: DUP3
00002988: ADD
00002989: MSTORE
0000298a: PUSH15 0x1037bbb732b91037b3103a37b5b2b7
0000299a: PUSH1 0x89
0000299c: SHL
0000299d: PUSH1 0x64
0000299f: DUP3
000029a0: ADD
000029a1: MSTORE
000029a2: PUSH1 0x84
000029a4: ADD
000029a5: PUSH2 0x0cf9
000029a8: JUMP
000029a9: JUMPDEST
000029aa: PUSH1 0x00
000029ac: DUP1
000029ad: SLOAD
000029ae: PUSH1 0x01
000029b0: PUSH1 0x01
000029b2: PUSH1 0xa0
000029b4: SHL
000029b5: SUB
000029b6: DUP4
000029b7: DUP2
000029b8: AND
000029b9: PUSH1 0x01
000029bb: PUSH1 0x01
000029bd: PUSH1 0xa0
000029bf: SHL
000029c0: SUB
000029c1: NOT
000029c2: DUP4
000029c3: AND
000029c4: DUP2
000029c5: OR
000029c6: DUP5
000029c7: SSTORE
000029c8: PUSH1 0x40
000029ca: MLOAD
000029cb: SWAP2
000029cc: SWAP1
000029cd: SWAP3
000029ce: AND
000029cf: SWAP3
000029d0: DUP4
000029d1: SWAP2
000029d2: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000029f3: SWAP2
000029f4: SWAP1
000029f5: LOG3
000029f6: POP
000029f7: POP
000029f8: JUMP
000029f9: JUMPDEST
000029fa: PUSH1 0x00
000029fc: PUSH1 0x01
000029fe: PUSH1 0x01
00002a00: PUSH1 0xa0
00002a02: SHL
00002a03: SUB
00002a04: DUP5
00002a05: AND
00002a06: EXTCODESIZE
00002a07: ISZERO
00002a08: PUSH2 0x2afb
00002a0b: JUMPI
00002a0c: PUSH1 0x40
00002a0e: MLOAD
00002a0f: PUSH4 0x0a85bd01
00002a14: PUSH1 0xe1
00002a16: SHL
00002a17: DUP2
00002a18: MSTORE
00002a19: PUSH1 0x01
00002a1b: PUSH1 0x01
00002a1d: PUSH1 0xa0
00002a1f: SHL
00002a20: SUB
00002a21: DUP6
00002a22: AND
00002a23: SWAP1
00002a24: PUSH4 0x150b7a02
00002a29: SWAP1
00002a2a: PUSH2 0x2a3d
00002a2d: SWAP1
00002a2e: CALLER
00002a2f: SWAP1
00002a30: DUP10
00002a31: SWAP1
00002a32: DUP9
00002a33: SWAP1
00002a34: DUP9
00002a35: SWAP1
00002a36: PUSH1 0x04
00002a38: ADD
00002a39: PUSH2 0x3503
00002a3c: JUMP
00002a3d: JUMPDEST
00002a3e: PUSH1 0x20
00002a40: PUSH1 0x40
00002a42: MLOAD
00002a43: DUP1
00002a44: DUP4
00002a45: SUB
00002a46: DUP2
00002a47: PUSH1 0x00
00002a49: DUP8
00002a4a: DUP1
00002a4b: EXTCODESIZE
00002a4c: ISZERO
00002a4d: DUP1
00002a4e: ISZERO
00002a4f: PUSH2 0x2a57
00002a52: JUMPI
00002a53: PUSH1 0x00
00002a55: DUP1
00002a56: REVERT
00002a57: JUMPDEST
00002a58: POP
00002a59: GAS
00002a5a: CALL
00002a5b: SWAP3
00002a5c: POP
00002a5d: POP
00002a5e: POP
00002a5f: DUP1
00002a60: ISZERO
00002a61: PUSH2 0x2a87
00002a64: JUMPI
00002a65: POP
00002a66: PUSH1 0x40
00002a68: DUP1
00002a69: MLOAD
00002a6a: PUSH1 0x1f
00002a6c: RETURNDATASIZE
00002a6d: SWAP1
00002a6e: DUP2
00002a6f: ADD
00002a70: PUSH1 0x1f
00002a72: NOT
00002a73: AND
00002a74: DUP3
00002a75: ADD
00002a76: SWAP1
00002a77: SWAP3
00002a78: MSTORE
00002a79: PUSH2 0x2a84
00002a7c: SWAP2
00002a7d: DUP2
00002a7e: ADD
00002a7f: SWAP1
00002a80: PUSH2 0x32fc
00002a83: JUMP
00002a84: JUMPDEST
00002a85: PUSH1 0x01
00002a87: JUMPDEST
00002a88: PUSH2 0x2ae1
00002a8b: JUMPI
00002a8c: RETURNDATASIZE
00002a8d: DUP1
00002a8e: DUP1
00002a8f: ISZERO
00002a90: PUSH2 0x2ab5
00002a93: JUMPI
00002a94: PUSH1 0x40
00002a96: MLOAD
00002a97: SWAP2
00002a98: POP
00002a99: PUSH1 0x1f
00002a9b: NOT
00002a9c: PUSH1 0x3f
00002a9e: RETURNDATASIZE
00002a9f: ADD
00002aa0: AND
00002aa1: DUP3
00002aa2: ADD
00002aa3: PUSH1 0x40
00002aa5: MSTORE
00002aa6: RETURNDATASIZE
00002aa7: DUP3
00002aa8: MSTORE
00002aa9: RETURNDATASIZE
00002aaa: PUSH1 0x00
00002aac: PUSH1 0x20
00002aae: DUP5
00002aaf: ADD
00002ab0: RETURNDATACOPY
00002ab1: PUSH2 0x2aba
00002ab4: JUMP
00002ab5: JUMPDEST
00002ab6: PUSH1 0x60
00002ab8: SWAP2
00002ab9: POP
00002aba: JUMPDEST
00002abb: POP
00002abc: DUP1
00002abd: MLOAD
00002abe: PUSH2 0x2ad9
00002ac1: JUMPI
00002ac2: PUSH1 0x40
00002ac4: MLOAD
00002ac5: PUSH3 0x461bcd
00002ac9: PUSH1 0xe5
00002acb: SHL
00002acc: DUP2
00002acd: MSTORE
00002ace: PUSH1 0x04
00002ad0: ADD
00002ad1: PUSH2 0x0cf9
00002ad4: SWAP1
00002ad5: PUSH2 0x3692
00002ad8: JUMP
00002ad9: JUMPDEST
00002ada: DUP1
00002adb: MLOAD
00002adc: DUP2
00002add: PUSH1 0x20
00002adf: ADD
00002ae0: REVERT
00002ae1: JUMPDEST
00002ae2: PUSH1 0x01
00002ae4: PUSH1 0x01
00002ae6: PUSH1 0xe0
00002ae8: SHL
00002ae9: SUB
00002aea: NOT
00002aeb: AND
00002aec: PUSH4 0x0a85bd01
00002af1: PUSH1 0xe1
00002af3: SHL
00002af4: EQ
00002af5: SWAP1
00002af6: POP
00002af7: PUSH2 0x127f
00002afa: JUMP
00002afb: JUMPDEST
00002afc: POP
00002afd: PUSH1 0x01
00002aff: SWAP5
00002b00: SWAP4
00002b01: POP
00002b02: POP
00002b03: POP
00002b04: POP
00002b05: JUMP
00002b06: JUMPDEST
00002b07: PUSH1 0x00
00002b09: DUP3
00002b0a: PUSH2 0x2b13
00002b0d: DUP6
00002b0e: DUP5
00002b0f: PUSH2 0x2fa2
00002b12: JUMP
00002b13: JUMPDEST
00002b14: EQ
00002b15: SWAP5
00002b16: SWAP4
00002b17: POP
00002b18: POP
00002b19: POP
00002b1a: POP
00002b1b: JUMP
00002b1c: JUMPDEST
00002b1d: PUSH1 0x60
00002b1f: PUSH1 0x24
00002b21: DUP1
00002b22: SLOAD
00002b23: PUSH2 0x0c0b
00002b26: SWAP1
00002b27: PUSH2 0x383b
00002b2a: JUMP
00002b2b: JUMPDEST
00002b2c: PUSH1 0x60
00002b2e: DUP2
00002b2f: PUSH2 0x2b4f
00002b32: JUMPI
00002b33: POP
00002b34: POP
00002b35: PUSH1 0x40
00002b37: DUP1
00002b38: MLOAD
00002b39: DUP1
00002b3a: DUP3
00002b3b: ADD
00002b3c: SWAP1
00002b3d: SWAP2
00002b3e: MSTORE
00002b3f: PUSH1 0x01
00002b41: DUP2
00002b42: MSTORE
00002b43: PUSH1 0x03
00002b45: PUSH1 0xfc
00002b47: SHL
00002b48: PUSH1 0x20
00002b4a: DUP3
00002b4b: ADD
00002b4c: MSTORE
00002b4d: SWAP1
00002b4e: JUMP
00002b4f: JUMPDEST
00002b50: DUP2
00002b51: PUSH1 0x00
00002b53: JUMPDEST
00002b54: DUP2
00002b55: ISZERO
00002b56: PUSH2 0x2b79
00002b59: JUMPI
00002b5a: DUP1
00002b5b: PUSH2 0x2b63
00002b5e: DUP2
00002b5f: PUSH2 0x3876
00002b62: JUMP
00002b63: JUMPDEST
00002b64: SWAP2
00002b65: POP
00002b66: PUSH2 0x2b72
00002b69: SWAP1
00002b6a: POP
00002b6b: PUSH1 0x0a
00002b6d: DUP4
00002b6e: PUSH2 0x3786
00002b71: JUMP
00002b72: JUMPDEST
00002b73: SWAP2
00002b74: POP
00002b75: PUSH2 0x2b53
00002b78: JUMP
00002b79: JUMPDEST
00002b7a: PUSH1 0x00
00002b7c: DUP2
00002b7d: PUSH8 0xffffffffffffffff
00002b86: DUP2
00002b87: GT
00002b88: ISZERO
00002b89: PUSH2 0x2b94
00002b8c: JUMPI
00002b8d: PUSH2 0x2b94
00002b90: PUSH2 0x38e7
00002b93: JUMP
00002b94: JUMPDEST
00002b95: PUSH1 0x40
00002b97: MLOAD
00002b98: SWAP1
00002b99: DUP1
00002b9a: DUP3
00002b9b: MSTORE
00002b9c: DUP1
00002b9d: PUSH1 0x1f
00002b9f: ADD
00002ba0: PUSH1 0x1f
00002ba2: NOT
00002ba3: AND
00002ba4: PUSH1 0x20
00002ba6: ADD
00002ba7: DUP3
00002ba8: ADD
00002ba9: PUSH1 0x40
00002bab: MSTORE
00002bac: DUP1
00002bad: ISZERO
00002bae: PUSH2 0x2bbe
00002bb1: JUMPI
00002bb2: PUSH1 0x20
00002bb4: DUP3
00002bb5: ADD
00002bb6: DUP2
00002bb7: DUP1
00002bb8: CALLDATASIZE
00002bb9: DUP4
00002bba: CALLDATACOPY
00002bbb: ADD
00002bbc: SWAP1
00002bbd: POP
00002bbe: JUMPDEST
00002bbf: POP
00002bc0: SWAP1
00002bc1: POP
00002bc2: JUMPDEST
00002bc3: DUP5
00002bc4: ISZERO
00002bc5: PUSH2 0x127f
00002bc8: JUMPI
00002bc9: PUSH2 0x2bd3
00002bcc: PUSH1 0x01
00002bce: DUP4
00002bcf: PUSH2 0x37e1
00002bd2: JUMP
00002bd3: JUMPDEST
00002bd4: SWAP2
00002bd5: POP
00002bd6: PUSH2 0x2be0
00002bd9: PUSH1 0x0a
00002bdb: DUP7
00002bdc: PUSH2 0x3891
00002bdf: JUMP
00002be0: JUMPDEST
00002be1: PUSH2 0x2beb
00002be4: SWAP1
00002be5: PUSH1 0x30
00002be7: PUSH2 0x376e
00002bea: JUMP
00002beb: JUMPDEST
00002bec: PUSH1 0xf8
00002bee: SHL
00002bef: DUP2
00002bf0: DUP4
00002bf1: DUP2
00002bf2: MLOAD
00002bf3: DUP2
00002bf4: LT
00002bf5: PUSH2 0x2c00
00002bf8: JUMPI
00002bf9: PUSH2 0x2c00
00002bfc: PUSH2 0x38d1
00002bff: JUMP
00002c00: JUMPDEST
00002c01: PUSH1 0x20
00002c03: ADD
00002c04: ADD
00002c05: SWAP1
00002c06: PUSH1 0x01
00002c08: PUSH1 0x01
00002c0a: PUSH1 0xf8
00002c0c: SHL
00002c0d: SUB
00002c0e: NOT
00002c0f: AND
00002c10: SWAP1
00002c11: DUP2
00002c12: PUSH1 0x00
00002c14: BYTE
00002c15: SWAP1
00002c16: MSTORE8
00002c17: POP
00002c18: PUSH2 0x2c22
00002c1b: PUSH1 0x0a
00002c1d: DUP7
00002c1e: PUSH2 0x3786
00002c21: JUMP
00002c22: JUMPDEST
00002c23: SWAP5
00002c24: POP
00002c25: PUSH2 0x2bc2
00002c28: JUMP
00002c29: JUMPDEST
00002c2a: PUSH1 0x00
00002c2c: PUSH1 0x01
00002c2e: PUSH1 0x01
00002c30: PUSH1 0xa0
00002c32: SHL
00002c33: SUB
00002c34: DUP3
00002c35: AND
00002c36: PUSH2 0x2c9b
00002c39: JUMPI
00002c3a: PUSH1 0x40
00002c3c: MLOAD
00002c3d: PUSH3 0x461bcd
00002c41: PUSH1 0xe5
00002c43: SHL
00002c44: DUP2
00002c45: MSTORE
00002c46: PUSH1 0x20
00002c48: PUSH1 0x04
00002c4a: DUP3
00002c4b: ADD
00002c4c: MSTORE
00002c4d: PUSH1 0x31
00002c4f: PUSH1 0x24
00002c51: DUP3
00002c52: ADD
00002c53: MSTORE
00002c54: PUSH32 0x455243373231413a206e756d626572206d696e74656420717565727920666f72
00002c75: PUSH1 0x44
00002c77: DUP3
00002c78: ADD
00002c79: MSTORE
00002c7a: PUSH17 0x20746865207a65726f2061646472657373
00002c8c: PUSH1 0x78
00002c8e: SHL
00002c8f: PUSH1 0x64
00002c91: DUP3
00002c92: ADD
00002c93: MSTORE
00002c94: PUSH1 0x84
00002c96: ADD
00002c97: PUSH2 0x0cf9
00002c9a: JUMP
00002c9b: JUMPDEST
00002c9c: POP
00002c9d: PUSH1 0x01
00002c9f: PUSH1 0x01
00002ca1: PUSH1 0xa0
00002ca3: SHL
00002ca4: SUB
00002ca5: AND
00002ca6: PUSH1 0x00
00002ca8: SWAP1
00002ca9: DUP2
00002caa: MSTORE
00002cab: PUSH1 0x05
00002cad: PUSH1 0x20
00002caf: MSTORE
00002cb0: PUSH1 0x40
00002cb2: SWAP1
00002cb3: KECCAK256
00002cb4: SLOAD
00002cb5: PUSH1 0x01
00002cb7: PUSH1 0x80
00002cb9: SHL
00002cba: SWAP1
00002cbb: DIV
00002cbc: PUSH1 0x01
00002cbe: PUSH1 0x01
00002cc0: PUSH1 0x80
00002cc2: SHL
00002cc3: SUB
00002cc4: AND
00002cc5: SWAP1
00002cc6: JUMP
00002cc7: JUMPDEST
00002cc8: PUSH1 0x01
00002cca: SLOAD
00002ccb: PUSH1 0x01
00002ccd: PUSH1 0x01
00002ccf: PUSH1 0xa0
00002cd1: SHL
00002cd2: SUB
00002cd3: DUP5
00002cd4: AND
00002cd5: PUSH2 0x2d2a
00002cd8: JUMPI
00002cd9: PUSH1 0x40
00002cdb: MLOAD
00002cdc: PUSH3 0x461bcd
00002ce0: PUSH1 0xe5
00002ce2: SHL
00002ce3: DUP2
00002ce4: MSTORE
00002ce5: PUSH1 0x20
00002ce7: PUSH1 0x04
00002ce9: DUP3
00002cea: ADD
00002ceb: MSTORE
00002cec: PUSH1 0x21
00002cee: PUSH1 0x24
00002cf0: DUP3
00002cf1: ADD
00002cf2: MSTORE
00002cf3: PUSH32 0x455243373231413a206d696e7420746f20746865207a65726f20616464726573
00002d14: PUSH1 0x44
00002d16: DUP3
00002d17: ADD
00002d18: MSTORE
00002d19: PUSH1 0x73
00002d1b: PUSH1 0xf8
00002d1d: SHL
00002d1e: PUSH1 0x64
00002d20: DUP3
00002d21: ADD
00002d22: MSTORE
00002d23: PUSH1 0x84
00002d25: ADD
00002d26: PUSH2 0x0cf9
00002d29: JUMP
00002d2a: JUMPDEST
00002d2b: PUSH2 0x2d35
00002d2e: DUP2
00002d2f: PUSH1 0x01
00002d31: SLOAD
00002d32: GT
00002d33: SWAP1
00002d34: JUMP
00002d35: JUMPDEST
00002d36: ISZERO
00002d37: PUSH2 0x2d82
00002d3a: JUMPI
00002d3b: PUSH1 0x40
00002d3d: MLOAD
00002d3e: PUSH3 0x461bcd
00002d42: PUSH1 0xe5
00002d44: SHL
00002d45: DUP2
00002d46: MSTORE
00002d47: PUSH1 0x20
00002d49: PUSH1 0x04
00002d4b: DUP3
00002d4c: ADD
00002d4d: MSTORE
00002d4e: PUSH1 0x1d
00002d50: PUSH1 0x24
00002d52: DUP3
00002d53: ADD
00002d54: MSTORE
00002d55: PUSH32 0x455243373231413a20746f6b656e20616c7265616479206d696e746564000000
00002d76: PUSH1 0x44
00002d78: DUP3
00002d79: ADD
00002d7a: MSTORE
00002d7b: PUSH1 0x64
00002d7d: ADD
00002d7e: PUSH2 0x0cf9
00002d81: JUMP
00002d82: JUMPDEST
00002d83: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000014
00002da4: DUP4
00002da5: GT
00002da6: ISZERO
00002da7: PUSH2 0x2dfd
00002daa: JUMPI
00002dab: PUSH1 0x40
00002dad: MLOAD
00002dae: PUSH3 0x461bcd
00002db2: PUSH1 0xe5
00002db4: SHL
00002db5: DUP2
00002db6: MSTORE
00002db7: PUSH1 0x20
00002db9: PUSH1 0x04
00002dbb: DUP3
00002dbc: ADD
00002dbd: MSTORE
00002dbe: PUSH1 0x22
00002dc0: PUSH1 0x24
00002dc2: DUP3
00002dc3: ADD
00002dc4: MSTORE
00002dc5: PUSH32 0x455243373231413a207175616e7469747920746f206d696e7420746f6f206869
00002de6: PUSH1 0x44
00002de8: DUP3
00002de9: ADD
00002dea: MSTORE
00002deb: PUSH2 0x0ced
00002dee: PUSH1 0xf3
00002df0: SHL
00002df1: PUSH1 0x64
00002df3: DUP3
00002df4: ADD
00002df5: MSTORE
00002df6: PUSH1 0x84
00002df8: ADD
00002df9: PUSH2 0x0cf9
00002dfc: JUMP
00002dfd: JUMPDEST
00002dfe: PUSH1 0x01
00002e00: PUSH1 0x01
00002e02: PUSH1 0xa0
00002e04: SHL
00002e05: SUB
00002e06: DUP5
00002e07: AND
00002e08: PUSH1 0x00
00002e0a: SWAP1
00002e0b: DUP2
00002e0c: MSTORE
00002e0d: PUSH1 0x05
00002e0f: PUSH1 0x20
00002e11: SWAP1
00002e12: DUP2
00002e13: MSTORE
00002e14: PUSH1 0x40
00002e16: SWAP2
00002e17: DUP3
00002e18: SWAP1
00002e19: KECCAK256
00002e1a: DUP3
00002e1b: MLOAD
00002e1c: DUP1
00002e1d: DUP5
00002e1e: ADD
00002e1f: DUP5
00002e20: MSTORE
00002e21: SWAP1
00002e22: SLOAD
00002e23: PUSH1 0x01
00002e25: PUSH1 0x01
00002e27: PUSH1 0x80
00002e29: SHL
00002e2a: SUB
00002e2b: DUP1
00002e2c: DUP3
00002e2d: AND
00002e2e: DUP4
00002e2f: MSTORE
00002e30: PUSH1 0x01
00002e32: PUSH1 0x80
00002e34: SHL
00002e35: SWAP1
00002e36: SWAP2
00002e37: DIV
00002e38: AND
00002e39: SWAP2
00002e3a: DUP2
00002e3b: ADD
00002e3c: SWAP2
00002e3d: SWAP1
00002e3e: SWAP2
00002e3f: MSTORE
00002e40: DUP2
00002e41: MLOAD
00002e42: DUP1
00002e43: DUP4
00002e44: ADD
00002e45: SWAP1
00002e46: SWAP3
00002e47: MSTORE
00002e48: DUP1
00002e49: MLOAD
00002e4a: SWAP1
00002e4b: SWAP2
00002e4c: SWAP1
00002e4d: DUP2
00002e4e: SWAP1
00002e4f: PUSH2 0x2e59
00002e52: SWAP1
00002e53: DUP8
00002e54: SWAP1
00002e55: PUSH2 0x374c
00002e58: JUMP
00002e59: JUMPDEST
00002e5a: PUSH1 0x01
00002e5c: PUSH1 0x01
00002e5e: PUSH1 0x80
00002e60: SHL
00002e61: SUB
00002e62: AND
00002e63: DUP2
00002e64: MSTORE
00002e65: PUSH1 0x20
00002e67: ADD
00002e68: DUP6
00002e69: DUP4
00002e6a: PUSH1 0x20
00002e6c: ADD
00002e6d: MLOAD
00002e6e: PUSH2 0x2e77
00002e71: SWAP2
00002e72: SWAP1
00002e73: PUSH2 0x374c
00002e76: JUMP
00002e77: JUMPDEST
00002e78: PUSH1 0x01
00002e7a: PUSH1 0x01
00002e7c: PUSH1 0x80
00002e7e: SHL
00002e7f: SUB
00002e80: SWAP1
00002e81: DUP2
00002e82: AND
00002e83: SWAP1
00002e84: SWAP2
00002e85: MSTORE
00002e86: PUSH1 0x01
00002e88: PUSH1 0x01
00002e8a: PUSH1 0xa0
00002e8c: SHL
00002e8d: SUB
00002e8e: DUP1
00002e8f: DUP9
00002e90: AND
00002e91: PUSH1 0x00
00002e93: DUP2
00002e94: DUP2
00002e95: MSTORE
00002e96: PUSH1 0x05
00002e98: PUSH1 0x20
00002e9a: SWAP1
00002e9b: DUP2
00002e9c: MSTORE
00002e9d: PUSH1 0x40
00002e9f: DUP1
00002ea0: DUP4
00002ea1: KECCAK256
00002ea2: DUP8
00002ea3: MLOAD
00002ea4: SWAP8
00002ea5: DUP4
00002ea6: ADD
00002ea7: MLOAD
00002ea8: DUP8
00002ea9: AND
00002eaa: PUSH1 0x01
00002eac: PUSH1 0x80
00002eae: SHL
00002eaf: MUL
00002eb0: SWAP8
00002eb1: SWAP1
00002eb2: SWAP7
00002eb3: AND
00002eb4: SWAP7
00002eb5: SWAP1
00002eb6: SWAP7
00002eb7: OR
00002eb8: SWAP1
00002eb9: SWAP5
00002eba: SSTORE
00002ebb: DUP5
00002ebc: MLOAD
00002ebd: DUP1
00002ebe: DUP7
00002ebf: ADD
00002ec0: DUP7
00002ec1: MSTORE
00002ec2: SWAP2
00002ec3: DUP3
00002ec4: MSTORE
00002ec5: PUSH8 0xffffffffffffffff
00002ece: TIMESTAMP
00002ecf: DUP2
00002ed0: AND
00002ed1: DUP4
00002ed2: DUP7
00002ed3: ADD
00002ed4: SWAP1
00002ed5: DUP2
00002ed6: MSTORE
00002ed7: DUP9
00002ed8: DUP4
00002ed9: MSTORE
00002eda: PUSH1 0x04
00002edc: SWAP1
00002edd: SWAP6
00002ede: MSTORE
00002edf: SWAP5
00002ee0: DUP2
00002ee1: KECCAK256
00002ee2: SWAP2
00002ee3: MLOAD
00002ee4: DUP3
00002ee5: SLOAD
00002ee6: SWAP5
00002ee7: MLOAD
00002ee8: SWAP1
00002ee9: SWAP6
00002eea: AND
00002eeb: PUSH1 0x01
00002eed: PUSH1 0xa0
00002eef: SHL
00002ef0: MUL
00002ef1: PUSH1 0x01
00002ef3: PUSH1 0x01
00002ef5: PUSH1 0xe0
00002ef7: SHL
00002ef8: SUB
00002ef9: NOT
00002efa: SWAP1
00002efb: SWAP5
00002efc: AND
00002efd: SWAP5
00002efe: SWAP1
00002eff: SWAP3
00002f00: AND
00002f01: SWAP4
00002f02: SWAP1
00002f03: SWAP4
00002f04: OR
00002f05: SWAP2
00002f06: SWAP1
00002f07: SWAP2
00002f08: OR
00002f09: SWAP1
00002f0a: SWAP2
00002f0b: SSTORE
00002f0c: DUP3
00002f0d: SWAP1
00002f0e: JUMPDEST
00002f0f: DUP6
00002f10: DUP2
00002f11: LT
00002f12: ISZERO
00002f13: PUSH2 0x2f97
00002f16: JUMPI
00002f17: PUSH1 0x40
00002f19: MLOAD
00002f1a: DUP3
00002f1b: SWAP1
00002f1c: PUSH1 0x01
00002f1e: PUSH1 0x01
00002f20: PUSH1 0xa0
00002f22: SHL
00002f23: SUB
00002f24: DUP10
00002f25: AND
00002f26: SWAP1
00002f27: PUSH1 0x00
00002f29: SWAP1
00002f2a: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002f4b: SWAP1
00002f4c: DUP3
00002f4d: SWAP1
00002f4e: LOG4
00002f4f: PUSH2 0x2f5b
00002f52: PUSH1 0x00
00002f54: DUP9
00002f55: DUP5
00002f56: DUP9
00002f57: PUSH2 0x29f9
00002f5a: JUMP
00002f5b: JUMPDEST
00002f5c: PUSH2 0x2f77
00002f5f: JUMPI
00002f60: PUSH1 0x40
00002f62: MLOAD
00002f63: PUSH3 0x461bcd
00002f67: PUSH1 0xe5
00002f69: SHL
00002f6a: DUP2
00002f6b: MSTORE
00002f6c: PUSH1 0x04
00002f6e: ADD
00002f6f: PUSH2 0x0cf9
00002f72: SWAP1
00002f73: PUSH2 0x3692
00002f76: JUMP
00002f77: JUMPDEST
00002f78: DUP2
00002f79: PUSH2 0x2f81
00002f7c: DUP2
00002f7d: PUSH2 0x3876
00002f80: JUMP
00002f81: JUMPDEST
00002f82: SWAP3
00002f83: POP
00002f84: POP
00002f85: DUP1
00002f86: DUP1
00002f87: PUSH2 0x2f8f
00002f8a: SWAP1
00002f8b: PUSH2 0x3876
00002f8e: JUMP
00002f8f: JUMPDEST
00002f90: SWAP2
00002f91: POP
00002f92: POP
00002f93: PUSH2 0x2f0e
00002f96: JUMP
00002f97: JUMPDEST
00002f98: POP
00002f99: PUSH1 0x01
00002f9b: DUP2
00002f9c: SWAP1
00002f9d: SSTORE
00002f9e: PUSH2 0x24d8
00002fa1: JUMP
00002fa2: JUMPDEST
00002fa3: PUSH1 0x00
00002fa5: DUP2
00002fa6: DUP2
00002fa7: JUMPDEST
00002fa8: DUP5
00002fa9: MLOAD
00002faa: DUP2
00002fab: LT
00002fac: ISZERO
00002fad: PUSH2 0x3046
00002fb0: JUMPI
00002fb1: PUSH1 0x00
00002fb3: DUP6
00002fb4: DUP3
00002fb5: DUP2
00002fb6: MLOAD
00002fb7: DUP2
00002fb8: LT
00002fb9: PUSH2 0x2fc4
00002fbc: JUMPI
00002fbd: PUSH2 0x2fc4
00002fc0: PUSH2 0x38d1
00002fc3: JUMP
00002fc4: JUMPDEST
00002fc5: PUSH1 0x20
00002fc7: MUL
00002fc8: PUSH1 0x20
00002fca: ADD
00002fcb: ADD
00002fcc: MLOAD
00002fcd: SWAP1
00002fce: POP
00002fcf: DUP1
00002fd0: DUP4
00002fd1: GT
00002fd2: PUSH2 0x3006
00002fd5: JUMPI
00002fd6: PUSH1 0x40
00002fd8: DUP1
00002fd9: MLOAD
00002fda: PUSH1 0x20
00002fdc: DUP2
00002fdd: ADD
00002fde: DUP6
00002fdf: SWAP1
00002fe0: MSTORE
00002fe1: SWAP1
00002fe2: DUP2
00002fe3: ADD
00002fe4: DUP3
00002fe5: SWAP1
00002fe6: MSTORE
00002fe7: PUSH1 0x60
00002fe9: ADD
00002fea: PUSH1 0x40
00002fec: MLOAD
00002fed: PUSH1 0x20
00002fef: DUP2
00002ff0: DUP4
00002ff1: SUB
00002ff2: SUB
00002ff3: DUP2
00002ff4: MSTORE
00002ff5: SWAP1
00002ff6: PUSH1 0x40
00002ff8: MSTORE
00002ff9: DUP1
00002ffa: MLOAD
00002ffb: SWAP1
00002ffc: PUSH1 0x20
00002ffe: ADD
00002fff: KECCAK256
00003000: SWAP3
00003001: POP
00003002: PUSH2 0x3033
00003005: JUMP
00003006: JUMPDEST
00003007: PUSH1 0x40
00003009: DUP1
0000300a: MLOAD
0000300b: PUSH1 0x20
0000300d: DUP2
0000300e: ADD
0000300f: DUP4
00003010: SWAP1
00003011: MSTORE
00003012: SWAP1
00003013: DUP2
00003014: ADD
00003015: DUP5
00003016: SWAP1
00003017: MSTORE
00003018: PUSH1 0x60
0000301a: ADD
0000301b: PUSH1 0x40
0000301d: MLOAD
0000301e: PUSH1 0x20
00003020: DUP2
00003021: DUP4
00003022: SUB
00003023: SUB
00003024: DUP2
00003025: MSTORE
00003026: SWAP1
00003027: PUSH1 0x40
00003029: MSTORE
0000302a: DUP1
0000302b: MLOAD
0000302c: SWAP1
0000302d: PUSH1 0x20
0000302f: ADD
00003030: KECCAK256
00003031: SWAP3
00003032: POP
00003033: JUMPDEST
00003034: POP
00003035: DUP1
00003036: PUSH2 0x303e
00003039: DUP2
0000303a: PUSH2 0x3876
0000303d: JUMP
0000303e: JUMPDEST
0000303f: SWAP2
00003040: POP
00003041: POP
00003042: PUSH2 0x2fa7
00003045: JUMP
00003046: JUMPDEST
00003047: POP
00003048: SWAP4
00003049: SWAP3
0000304a: POP
0000304b: POP
0000304c: POP
0000304d: JUMP
0000304e: JUMPDEST
0000304f: DUP3
00003050: DUP1
00003051: SLOAD
00003052: PUSH2 0x305a
00003055: SWAP1
00003056: PUSH2 0x383b
00003059: JUMP
0000305a: JUMPDEST
0000305b: SWAP1
0000305c: PUSH1 0x00
0000305e: MSTORE
0000305f: PUSH1 0x20
00003061: PUSH1 0x00
00003063: KECCAK256
00003064: SWAP1
00003065: PUSH1 0x1f
00003067: ADD
00003068: PUSH1 0x20
0000306a: SWAP1
0000306b: DIV
0000306c: DUP2
0000306d: ADD
0000306e: SWAP3
0000306f: DUP3
00003070: PUSH2 0x307c
00003073: JUMPI
00003074: PUSH1 0x00
00003076: DUP6
00003077: SSTORE
00003078: PUSH2 0x30c2
0000307b: JUMP
0000307c: JUMPDEST
0000307d: DUP3
0000307e: PUSH1 0x1f
00003080: LT
00003081: PUSH2 0x3095
00003084: JUMPI
00003085: DUP3
00003086: DUP1
00003087: ADD
00003088: PUSH1 0xff
0000308a: NOT
0000308b: DUP3
0000308c: CALLDATALOAD
0000308d: AND
0000308e: OR
0000308f: DUP6
00003090: SSTORE
00003091: PUSH2 0x30c2
00003094: JUMP
00003095: JUMPDEST
00003096: DUP3
00003097: DUP1
00003098: ADD
00003099: PUSH1 0x01
0000309b: ADD
0000309c: DUP6
0000309d: SSTORE
0000309e: DUP3
0000309f: ISZERO
000030a0: PUSH2 0x30c2
000030a3: JUMPI
000030a4: SWAP2
000030a5: DUP3
000030a6: ADD
000030a7: JUMPDEST
000030a8: DUP3
000030a9: DUP2
000030aa: GT
000030ab: ISZERO
000030ac: PUSH2 0x30c2
000030af: JUMPI
000030b0: DUP3
000030b1: CALLDATALOAD
000030b2: DUP3
000030b3: SSTORE
000030b4: SWAP2
000030b5: PUSH1 0x20
000030b7: ADD
000030b8: SWAP2
000030b9: SWAP1
000030ba: PUSH1 0x01
000030bc: ADD
000030bd: SWAP1
000030be: PUSH2 0x30a7
000030c1: JUMP
000030c2: JUMPDEST
000030c3: POP
000030c4: PUSH2 0x147e
000030c7: SWAP3
000030c8: SWAP2
000030c9: POP
000030ca: JUMPDEST
000030cb: DUP1
000030cc: DUP3
000030cd: GT
000030ce: ISZERO
000030cf: PUSH2 0x147e
000030d2: JUMPI
000030d3: PUSH1 0x00
000030d5: DUP2
000030d6: SSTORE
000030d7: PUSH1 0x01
000030d9: ADD
000030da: PUSH2 0x30ca
000030dd: JUMP
000030de: JUMPDEST
000030df: DUP1
000030e0: CALLDATALOAD
000030e1: PUSH1 0x01
000030e3: PUSH1 0x01
000030e5: PUSH1 0xa0
000030e7: SHL
000030e8: SUB
000030e9: DUP2
000030ea: AND
000030eb: DUP2
000030ec: EQ
000030ed: PUSH2 0x30f5
000030f0: JUMPI
000030f1: PUSH1 0x00
000030f3: DUP1
000030f4: REVERT
000030f5: JUMPDEST
000030f6: SWAP2
000030f7: SWAP1
000030f8: POP
000030f9: JUMP
000030fa: JUMPDEST
000030fb: PUSH1 0x00
000030fd: PUSH1 0x20
000030ff: DUP3
00003100: DUP5
00003101: SUB
00003102: SLT
00003103: ISZERO
00003104: PUSH2 0x310c
00003107: JUMPI
00003108: PUSH1 0x00
0000310a: DUP1
0000310b: REVERT
0000310c: JUMPDEST
0000310d: PUSH2 0x1f02
00003110: DUP3
00003111: PUSH2 0x30de
00003114: JUMP
00003115: JUMPDEST
00003116: PUSH1 0x00
00003118: DUP1
00003119: PUSH1 0x40
0000311b: DUP4
0000311c: DUP6
0000311d: SUB
0000311e: SLT
0000311f: ISZERO
00003120: PUSH2 0x3128
00003123: JUMPI
00003124: PUSH1 0x00
00003126: DUP1
00003127: REVERT
00003128: JUMPDEST
00003129: PUSH2 0x3131
0000312c: DUP4
0000312d: PUSH2 0x30de
00003130: JUMP
00003131: JUMPDEST
00003132: SWAP2
00003133: POP
00003134: PUSH2 0x313f
00003137: PUSH1 0x20
00003139: DUP5
0000313a: ADD
0000313b: PUSH2 0x30de
0000313e: JUMP
0000313f: JUMPDEST
00003140: SWAP1
00003141: POP
00003142: SWAP3
00003143: POP
00003144: SWAP3
00003145: SWAP1
00003146: POP
00003147: JUMP
00003148: JUMPDEST
00003149: PUSH1 0x00
0000314b: DUP1
0000314c: PUSH1 0x00
0000314e: PUSH1 0x60
00003150: DUP5
00003151: DUP7
00003152: SUB
00003153: SLT
00003154: ISZERO
00003155: PUSH2 0x315d
00003158: JUMPI
00003159: PUSH1 0x00
0000315b: DUP1
0000315c: REVERT
0000315d: JUMPDEST
0000315e: PUSH2 0x3166
00003161: DUP5
00003162: PUSH2 0x30de
00003165: JUMP
00003166: JUMPDEST
00003167: SWAP3
00003168: POP
00003169: PUSH2 0x3174
0000316c: PUSH1 0x20
0000316e: DUP6
0000316f: ADD
00003170: PUSH2 0x30de
00003173: JUMP
00003174: JUMPDEST
00003175: SWAP2
00003176: POP
00003177: PUSH1 0x40
00003179: DUP5
0000317a: ADD
0000317b: CALLDATALOAD
0000317c: SWAP1
0000317d: POP
0000317e: SWAP3
0000317f: POP
00003180: SWAP3
00003181: POP
00003182: SWAP3
00003183: JUMP
00003184: JUMPDEST
00003185: PUSH1 0x00
00003187: DUP1
00003188: PUSH1 0x00
0000318a: DUP1
0000318b: PUSH1 0x80
0000318d: DUP6
0000318e: DUP8
0000318f: SUB
00003190: SLT
00003191: ISZERO
00003192: PUSH2 0x319a
00003195: JUMPI
00003196: PUSH1 0x00
00003198: DUP1
00003199: REVERT
0000319a: JUMPDEST
0000319b: PUSH2 0x31a3
0000319e: DUP6
0000319f: PUSH2 0x30de
000031a2: JUMP
000031a3: JUMPDEST
000031a4: SWAP4
000031a5: POP
000031a6: PUSH2 0x31b1
000031a9: PUSH1 0x20
000031ab: DUP7
000031ac: ADD
000031ad: PUSH2 0x30de
000031b0: JUMP
000031b1: JUMPDEST
000031b2: SWAP3
000031b3: POP
000031b4: PUSH1 0x40
000031b6: DUP6
000031b7: ADD
000031b8: CALLDATALOAD
000031b9: SWAP2
000031ba: POP
000031bb: PUSH1 0x60
000031bd: DUP6
000031be: ADD
000031bf: CALLDATALOAD
000031c0: PUSH8 0xffffffffffffffff
000031c9: DUP1
000031ca: DUP3
000031cb: GT
000031cc: ISZERO
000031cd: PUSH2 0x31d5
000031d0: JUMPI
000031d1: PUSH1 0x00
000031d3: DUP1
000031d4: REVERT
000031d5: JUMPDEST
000031d6: DUP2
000031d7: DUP8
000031d8: ADD
000031d9: SWAP2
000031da: POP
000031db: DUP8
000031dc: PUSH1 0x1f
000031de: DUP4
000031df: ADD
000031e0: SLT
000031e1: PUSH2 0x31e9
000031e4: JUMPI
000031e5: PUSH1 0x00
000031e7: DUP1
000031e8: REVERT
000031e9: JUMPDEST
000031ea: DUP2
000031eb: CALLDATALOAD
000031ec: DUP2
000031ed: DUP2
000031ee: GT
000031ef: ISZERO
000031f0: PUSH2 0x31fb
000031f3: JUMPI
000031f4: PUSH2 0x31fb
000031f7: PUSH2 0x38e7
000031fa: JUMP
000031fb: JUMPDEST
000031fc: PUSH1 0x40
000031fe: MLOAD
000031ff: PUSH1 0x1f
00003201: DUP3
00003202: ADD
00003203: PUSH1 0x1f
00003205: NOT
00003206: SWAP1
00003207: DUP2
00003208: AND
00003209: PUSH1 0x3f
0000320b: ADD
0000320c: AND
0000320d: DUP2
0000320e: ADD
0000320f: SWAP1
00003210: DUP4
00003211: DUP3
00003212: GT
00003213: DUP2
00003214: DUP4
00003215: LT
00003216: OR
00003217: ISZERO
00003218: PUSH2 0x3223
0000321b: JUMPI
0000321c: PUSH2 0x3223
0000321f: PUSH2 0x38e7
00003222: JUMP
00003223: JUMPDEST
00003224: DUP2
00003225: PUSH1 0x40
00003227: MSTORE
00003228: DUP3
00003229: DUP2
0000322a: MSTORE
0000322b: DUP11
0000322c: PUSH1 0x20
0000322e: DUP5
0000322f: DUP8
00003230: ADD
00003231: ADD
00003232: GT
00003233: ISZERO
00003234: PUSH2 0x323c
00003237: JUMPI
00003238: PUSH1 0x00
0000323a: DUP1
0000323b: REVERT
0000323c: JUMPDEST
0000323d: DUP3
0000323e: PUSH1 0x20
00003240: DUP7
00003241: ADD
00003242: PUSH1 0x20
00003244: DUP4
00003245: ADD
00003246: CALLDATACOPY
00003247: PUSH1 0x00
00003249: PUSH1 0x20
0000324b: DUP5
0000324c: DUP4
0000324d: ADD
0000324e: ADD
0000324f: MSTORE
00003250: DUP1
00003251: SWAP6
00003252: POP
00003253: POP
00003254: POP
00003255: POP
00003256: POP
00003257: POP
00003258: SWAP3
00003259: SWAP6
0000325a: SWAP2
0000325b: SWAP5
0000325c: POP
0000325d: SWAP3
0000325e: POP
0000325f: JUMP
00003260: JUMPDEST
00003261: PUSH1 0x00
00003263: DUP1
00003264: PUSH1 0x40
00003266: DUP4
00003267: DUP6
00003268: SUB
00003269: SLT
0000326a: ISZERO
0000326b: PUSH2 0x3273
0000326e: JUMPI
0000326f: PUSH1 0x00
00003271: DUP1
00003272: REVERT
00003273: JUMPDEST
00003274: PUSH2 0x327c
00003277: DUP4
00003278: PUSH2 0x30de
0000327b: JUMP
0000327c: JUMPDEST
0000327d: SWAP2
0000327e: POP
0000327f: PUSH1 0x20
00003281: DUP4
00003282: ADD
00003283: CALLDATALOAD
00003284: DUP1
00003285: ISZERO
00003286: ISZERO
00003287: DUP2
00003288: EQ
00003289: PUSH2 0x3291
0000328c: JUMPI
0000328d: PUSH1 0x00
0000328f: DUP1
00003290: REVERT
00003291: JUMPDEST
00003292: DUP1
00003293: SWAP2
00003294: POP
00003295: POP
00003296: SWAP3
00003297: POP
00003298: SWAP3
00003299: SWAP1
0000329a: POP
0000329b: JUMP
0000329c: JUMPDEST
0000329d: PUSH1 0x00
0000329f: DUP1
000032a0: PUSH1 0x40
000032a2: DUP4
000032a3: DUP6
000032a4: SUB
000032a5: SLT
000032a6: ISZERO
000032a7: PUSH2 0x32af
000032aa: JUMPI
000032ab: PUSH1 0x00
000032ad: DUP1
000032ae: REVERT
000032af: JUMPDEST
000032b0: PUSH2 0x32b8
000032b3: DUP4
000032b4: PUSH2 0x30de
000032b7: JUMP
000032b8: JUMPDEST
000032b9: SWAP5
000032ba: PUSH1 0x20
000032bc: SWAP4
000032bd: SWAP1
000032be: SWAP4
000032bf: ADD
000032c0: CALLDATALOAD
000032c1: SWAP4
000032c2: POP
000032c3: POP
000032c4: POP
000032c5: JUMP
000032c6: JUMPDEST
000032c7: PUSH1 0x00
000032c9: PUSH1 0x20
000032cb: DUP3
000032cc: DUP5
000032cd: SUB
000032ce: SLT
000032cf: ISZERO
000032d0: PUSH2 0x32d8
000032d3: JUMPI
000032d4: PUSH1 0x00
000032d6: DUP1
000032d7: REVERT
000032d8: JUMPDEST
000032d9: POP
000032da: CALLDATALOAD
000032db: SWAP2
000032dc: SWAP1
000032dd: POP
000032de: JUMP
000032df: JUMPDEST
000032e0: PUSH1 0x00
000032e2: PUSH1 0x20
000032e4: DUP3
000032e5: DUP5
000032e6: SUB
000032e7: SLT
000032e8: ISZERO
000032e9: PUSH2 0x32f1
000032ec: JUMPI
000032ed: PUSH1 0x00
000032ef: DUP1
000032f0: REVERT
000032f1: JUMPDEST
000032f2: DUP2
000032f3: CALLDATALOAD
000032f4: PUSH2 0x1f02
000032f7: DUP2
000032f8: PUSH2 0x38fd
000032fb: JUMP
000032fc: JUMPDEST
000032fd: PUSH1 0x00
000032ff: PUSH1 0x20
00003301: DUP3
00003302: DUP5
00003303: SUB
00003304: SLT
00003305: ISZERO
00003306: PUSH2 0x330e
00003309: JUMPI
0000330a: PUSH1 0x00
0000330c: DUP1
0000330d: REVERT
0000330e: JUMPDEST
0000330f: DUP2
00003310: MLOAD
00003311: PUSH2 0x1f02
00003314: DUP2
00003315: PUSH2 0x38fd
00003318: JUMP
00003319: JUMPDEST
0000331a: PUSH1 0x00
0000331c: DUP1
0000331d: PUSH1 0x20
0000331f: DUP4
00003320: DUP6
00003321: SUB
00003322: SLT
00003323: ISZERO
00003324: PUSH2 0x332c
00003327: JUMPI
00003328: PUSH1 0x00
0000332a: DUP1
0000332b: REVERT
0000332c: JUMPDEST
0000332d: DUP3
0000332e: CALLDATALOAD
0000332f: PUSH8 0xffffffffffffffff
00003338: DUP1
00003339: DUP3
0000333a: GT
0000333b: ISZERO
0000333c: PUSH2 0x3344
0000333f: JUMPI
00003340: PUSH1 0x00
00003342: DUP1
00003343: REVERT
00003344: JUMPDEST
00003345: DUP2
00003346: DUP6
00003347: ADD
00003348: SWAP2
00003349: POP
0000334a: DUP6
0000334b: PUSH1 0x1f
0000334d: DUP4
0000334e: ADD
0000334f: SLT
00003350: PUSH2 0x3358
00003353: JUMPI
00003354: PUSH1 0x00
00003356: DUP1
00003357: REVERT
00003358: JUMPDEST
00003359: DUP2
0000335a: CALLDATALOAD
0000335b: DUP2
0000335c: DUP2
0000335d: GT
0000335e: ISZERO
0000335f: PUSH2 0x3367
00003362: JUMPI
00003363: PUSH1 0x00
00003365: DUP1
00003366: REVERT
00003367: JUMPDEST
00003368: DUP7
00003369: PUSH1 0x20
0000336b: DUP3
0000336c: DUP6
0000336d: ADD
0000336e: ADD
0000336f: GT
00003370: ISZERO
00003371: PUSH2 0x3379
00003374: JUMPI
00003375: PUSH1 0x00
00003377: DUP1
00003378: REVERT
00003379: JUMPDEST
0000337a: PUSH1 0x20
0000337c: SWAP3
0000337d: SWAP1
0000337e: SWAP3
0000337f: ADD
00003380: SWAP7
00003381: SWAP2
00003382: SWAP6
00003383: POP
00003384: SWAP1
00003385: SWAP4
00003386: POP
00003387: POP
00003388: POP
00003389: POP
0000338a: JUMP
0000338b: JUMPDEST
0000338c: PUSH1 0x00
0000338e: DUP1
0000338f: PUSH1 0x40
00003391: DUP4
00003392: DUP6
00003393: SUB
00003394: SLT
00003395: ISZERO
00003396: PUSH2 0x339e
00003399: JUMPI
0000339a: PUSH1 0x00
0000339c: DUP1
0000339d: REVERT
0000339e: JUMPDEST
0000339f: POP
000033a0: POP
000033a1: DUP1
000033a2: CALLDATALOAD
000033a3: SWAP3
000033a4: PUSH1 0x20
000033a6: SWAP1
000033a7: SWAP2
000033a8: ADD
000033a9: CALLDATALOAD
000033aa: SWAP2
000033ab: POP
000033ac: JUMP
000033ad: JUMPDEST
000033ae: PUSH1 0x00
000033b0: DUP1
000033b1: PUSH1 0x00
000033b3: DUP1
000033b4: PUSH1 0x60
000033b6: DUP6
000033b7: DUP8
000033b8: SUB
000033b9: SLT
000033ba: ISZERO
000033bb: PUSH2 0x33c3
000033be: JUMPI
000033bf: PUSH1 0x00
000033c1: DUP1
000033c2: REVERT
000033c3: JUMPDEST
000033c4: DUP5
000033c5: CALLDATALOAD
000033c6: SWAP4
000033c7: POP
000033c8: PUSH1 0x20
000033ca: DUP6
000033cb: ADD
000033cc: CALLDATALOAD
000033cd: SWAP3
000033ce: POP
000033cf: PUSH1 0x40
000033d1: DUP6
000033d2: ADD
000033d3: CALLDATALOAD
000033d4: PUSH8 0xffffffffffffffff
000033dd: DUP1
000033de: DUP3
000033df: GT
000033e0: ISZERO
000033e1: PUSH2 0x33e9
000033e4: JUMPI
000033e5: PUSH1 0x00
000033e7: DUP1
000033e8: REVERT
000033e9: JUMPDEST
000033ea: DUP2
000033eb: DUP8
000033ec: ADD
000033ed: SWAP2
000033ee: POP
000033ef: DUP8
000033f0: PUSH1 0x1f
000033f2: DUP4
000033f3: ADD
000033f4: SLT
000033f5: PUSH2 0x33fd
000033f8: JUMPI
000033f9: PUSH1 0x00
000033fb: DUP1
000033fc: REVERT
000033fd: JUMPDEST
000033fe: DUP2
000033ff: CALLDATALOAD
00003400: DUP2
00003401: DUP2
00003402: GT
00003403: ISZERO
00003404: PUSH2 0x340c
00003407: JUMPI
00003408: PUSH1 0x00
0000340a: DUP1
0000340b: REVERT
0000340c: JUMPDEST
0000340d: DUP9
0000340e: PUSH1 0x20
00003410: DUP3
00003411: PUSH1 0x05
00003413: SHL
00003414: DUP6
00003415: ADD
00003416: ADD
00003417: GT
00003418: ISZERO
00003419: PUSH2 0x3421
0000341c: JUMPI
0000341d: PUSH1 0x00
0000341f: DUP1
00003420: REVERT
00003421: JUMPDEST
00003422: SWAP6
00003423: SWAP9
00003424: SWAP5
00003425: SWAP8
00003426: POP
00003427: POP
00003428: PUSH1 0x20
0000342a: ADD
0000342b: SWAP5
0000342c: POP
0000342d: POP
0000342e: POP
0000342f: JUMP
00003430: JUMPDEST
00003431: PUSH1 0x00
00003433: DUP1
00003434: PUSH1 0x00
00003436: PUSH1 0x60
00003438: DUP5
00003439: DUP7
0000343a: SUB
0000343b: SLT
0000343c: ISZERO
0000343d: PUSH2 0x3445
00003440: JUMPI
00003441: PUSH1 0x00
00003443: DUP1
00003444: REVERT
00003445: JUMPDEST
00003446: POP
00003447: POP
00003448: DUP2
00003449: CALLDATALOAD
0000344a: SWAP4
0000344b: PUSH1 0x20
0000344d: DUP4
0000344e: ADD
0000344f: CALLDATALOAD
00003450: SWAP4
00003451: POP
00003452: PUSH1 0x40
00003454: SWAP1
00003455: SWAP3
00003456: ADD
00003457: CALLDATALOAD
00003458: SWAP2
00003459: SWAP1
0000345a: POP
0000345b: JUMP
0000345c: JUMPDEST
0000345d: PUSH1 0x00
0000345f: DUP1
00003460: PUSH1 0x00
00003462: DUP1
00003463: PUSH1 0x00
00003465: DUP1
00003466: PUSH1 0x00
00003468: PUSH1 0xe0
0000346a: DUP9
0000346b: DUP11
0000346c: SUB
0000346d: SLT
0000346e: ISZERO
0000346f: PUSH2 0x3477
00003472: JUMPI
00003473: PUSH1 0x00
00003475: DUP1
00003476: REVERT
00003477: JUMPDEST
00003478: POP
00003479: POP
0000347a: DUP6
0000347b: CALLDATALOAD
0000347c: SWAP8
0000347d: PUSH1 0x20
0000347f: DUP8
00003480: ADD
00003481: CALLDATALOAD
00003482: SWAP8
00003483: POP
00003484: PUSH1 0x40
00003486: DUP8
00003487: ADD
00003488: CALLDATALOAD
00003489: SWAP7
0000348a: PUSH1 0x60
0000348c: DUP2
0000348d: ADD
0000348e: CALLDATALOAD
0000348f: SWAP7
00003490: POP
00003491: PUSH1 0x80
00003493: DUP2
00003494: ADD
00003495: CALLDATALOAD
00003496: SWAP6
00003497: POP
00003498: PUSH1 0xa0
0000349a: DUP2
0000349b: ADD
0000349c: CALLDATALOAD
0000349d: SWAP5
0000349e: POP
0000349f: PUSH1 0xc0
000034a1: ADD
000034a2: CALLDATALOAD
000034a3: SWAP3
000034a4: POP
000034a5: SWAP1
000034a6: POP
000034a7: JUMP
000034a8: JUMPDEST
000034a9: PUSH1 0x00
000034ab: DUP2
000034ac: MLOAD
000034ad: DUP1
000034ae: DUP5
000034af: MSTORE
000034b0: PUSH2 0x34c0
000034b3: DUP2
000034b4: PUSH1 0x20
000034b6: DUP7
000034b7: ADD
000034b8: PUSH1 0x20
000034ba: DUP7
000034bb: ADD
000034bc: PUSH2 0x37f8
000034bf: JUMP
000034c0: JUMPDEST
000034c1: PUSH1 0x1f
000034c3: ADD
000034c4: PUSH1 0x1f
000034c6: NOT
000034c7: AND
000034c8: SWAP3
000034c9: SWAP1
000034ca: SWAP3
000034cb: ADD
000034cc: PUSH1 0x20
000034ce: ADD
000034cf: SWAP3
000034d0: SWAP2
000034d1: POP
000034d2: POP
000034d3: JUMP
000034d4: JUMPDEST
000034d5: PUSH1 0x00
000034d7: DUP4
000034d8: MLOAD
000034d9: PUSH2 0x34e6
000034dc: DUP2
000034dd: DUP5
000034de: PUSH1 0x20
000034e0: DUP9
000034e1: ADD
000034e2: PUSH2 0x37f8
000034e5: JUMP
000034e6: JUMPDEST
000034e7: DUP4
000034e8: MLOAD
000034e9: SWAP1
000034ea: DUP4
000034eb: ADD
000034ec: SWAP1
000034ed: PUSH2 0x34fa
000034f0: DUP2
000034f1: DUP4
000034f2: PUSH1 0x20
000034f4: DUP9
000034f5: ADD
000034f6: PUSH2 0x37f8
000034f9: JUMP
000034fa: JUMPDEST
000034fb: ADD
000034fc: SWAP5
000034fd: SWAP4
000034fe: POP
000034ff: POP
00003500: POP
00003501: POP
00003502: JUMP
00003503: JUMPDEST
00003504: PUSH1 0x01
00003506: PUSH1 0x01
00003508: PUSH1 0xa0
0000350a: SHL
0000350b: SUB
0000350c: DUP6
0000350d: DUP2
0000350e: AND
0000350f: DUP3
00003510: MSTORE
00003511: DUP5
00003512: AND
00003513: PUSH1 0x20
00003515: DUP3
00003516: ADD
00003517: MSTORE
00003518: PUSH1 0x40
0000351a: DUP2
0000351b: ADD
0000351c: DUP4
0000351d: SWAP1
0000351e: MSTORE
0000351f: PUSH1 0x80
00003521: PUSH1 0x60
00003523: DUP3
00003524: ADD
00003525: DUP2
00003526: SWAP1
00003527: MSTORE
00003528: PUSH1 0x00
0000352a: SWAP1
0000352b: PUSH2 0x3536
0000352e: SWAP1
0000352f: DUP4
00003530: ADD
00003531: DUP5
00003532: PUSH2 0x34a8
00003535: JUMP
00003536: JUMPDEST
00003537: SWAP7
00003538: SWAP6
00003539: POP
0000353a: POP
0000353b: POP
0000353c: POP
0000353d: POP
0000353e: POP
0000353f: JUMP
00003540: JUMPDEST
00003541: PUSH1 0x20
00003543: DUP2
00003544: MSTORE
00003545: PUSH1 0x00
00003547: PUSH2 0x1f02
0000354a: PUSH1 0x20
0000354c: DUP4
0000354d: ADD
0000354e: DUP5
0000354f: PUSH2 0x34a8
00003552: JUMP
00003553: JUMPDEST
00003554: PUSH1 0x20
00003556: DUP1
00003557: DUP3
00003558: MSTORE
00003559: PUSH1 0x26
0000355b: SWAP1
0000355c: DUP3
0000355d: ADD
0000355e: MSTORE
0000355f: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00003580: PUSH1 0x40
00003582: DUP3
00003583: ADD
00003584: MSTORE
00003585: PUSH6 0x646472657373
0000358c: PUSH1 0xd0
0000358e: SHL
0000358f: PUSH1 0x60
00003591: DUP3
00003592: ADD
00003593: MSTORE
00003594: PUSH1 0x80
00003596: ADD
00003597: SWAP1
00003598: JUMP
00003599: JUMPDEST
0000359a: PUSH1 0x20
0000359c: DUP1
0000359d: DUP3
0000359e: MSTORE
0000359f: PUSH1 0x18
000035a1: SWAP1
000035a2: DUP3
000035a3: ADD
000035a4: MSTORE
000035a5: PUSH32 0x73616c6520686173206e6f742073746172746564207965740000000000000000
000035c6: PUSH1 0x40
000035c8: DUP3
000035c9: ADD
000035ca: MSTORE
000035cb: PUSH1 0x60
000035cd: ADD
000035ce: SWAP1
000035cf: JUMP
000035d0: JUMPDEST
000035d1: PUSH1 0x20
000035d3: DUP1
000035d4: DUP3
000035d5: MSTORE
000035d6: PUSH1 0x1e
000035d8: SWAP1
000035d9: DUP3
000035da: ADD
000035db: MSTORE
000035dc: PUSH32 0x5468652063616c6c657220697320616e6f7468657220636f6e74726163740000
000035fd: PUSH1 0x40
000035ff: DUP3
00003600: ADD
00003601: MSTORE
00003602: PUSH1 0x60
00003604: ADD
00003605: SWAP1
00003606: JUMP
00003607: JUMPDEST
00003608: PUSH1 0x20
0000360a: DUP1
0000360b: DUP3
0000360c: MSTORE
0000360d: PUSH1 0x12
0000360f: SWAP1
00003610: DUP3
00003611: ADD
00003612: MSTORE
00003613: PUSH18 0x72656163686564206d617820737570706c79
00003626: PUSH1 0x70
00003628: SHL
00003629: PUSH1 0x40
0000362b: DUP3
0000362c: ADD
0000362d: MSTORE
0000362e: PUSH1 0x60
00003630: ADD
00003631: SWAP1
00003632: JUMP
00003633: JUMPDEST
00003634: PUSH1 0x20
00003636: DUP1
00003637: DUP3
00003638: MSTORE
00003639: PUSH1 0x10
0000363b: SWAP1
0000363c: DUP3
0000363d: ADD
0000363e: MSTORE
0000363f: PUSH16 0x1cd85b19481a185cc8195b99081e595d
00003650: PUSH1 0x82
00003652: SHL
00003653: PUSH1 0x40
00003655: DUP3
00003656: ADD
00003657: MSTORE
00003658: PUSH1 0x60
0000365a: ADD
0000365b: SWAP1
0000365c: JUMP
0000365d: JUMPDEST
0000365e: PUSH1 0x20
00003660: DUP1
00003661: DUP3
00003662: MSTORE
00003663: DUP2
00003664: DUP2
00003665: ADD
00003666: MSTORE
00003667: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00003688: PUSH1 0x40
0000368a: DUP3
0000368b: ADD
0000368c: MSTORE
0000368d: PUSH1 0x60
0000368f: ADD
00003690: SWAP1
00003691: JUMP
00003692: JUMPDEST
00003693: PUSH1 0x20
00003695: DUP1
00003696: DUP3
00003697: MSTORE
00003698: PUSH1 0x33
0000369a: SWAP1
0000369b: DUP3
0000369c: ADD
0000369d: MSTORE
0000369e: PUSH32 0x455243373231413a207472616e7366657220746f206e6f6e2045524337323152
000036bf: PUSH1 0x40
000036c1: DUP3
000036c2: ADD
000036c3: MSTORE
000036c4: PUSH19 0x32b1b2b4bb32b91034b6b83632b6b2b73a32b9
000036d8: PUSH1 0x69
000036da: SHL
000036db: PUSH1 0x60
000036dd: DUP3
000036de: ADD
000036df: MSTORE
000036e0: PUSH1 0x80
000036e2: ADD
000036e3: SWAP1
000036e4: JUMP
000036e5: JUMPDEST
000036e6: PUSH1 0x20
000036e8: DUP1
000036e9: DUP3
000036ea: MSTORE
000036eb: PUSH1 0x16
000036ed: SWAP1
000036ee: DUP3
000036ef: ADD
000036f0: MSTORE
000036f1: PUSH22 0x63616e206e6f74206d696e742074686973206d616e79
00003708: PUSH1 0x50
0000370a: SHL
0000370b: PUSH1 0x40
0000370d: DUP3
0000370e: ADD
0000370f: MSTORE
00003710: PUSH1 0x60
00003712: ADD
00003713: SWAP1
00003714: JUMP
00003715: JUMPDEST
00003716: PUSH1 0x20
00003718: DUP1
00003719: DUP3
0000371a: MSTORE
0000371b: PUSH1 0x1f
0000371d: SWAP1
0000371e: DUP3
0000371f: ADD
00003720: MSTORE
00003721: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
00003742: PUSH1 0x40
00003744: DUP3
00003745: ADD
00003746: MSTORE
00003747: PUSH1 0x60
00003749: ADD
0000374a: SWAP1
0000374b: JUMP
0000374c: JUMPDEST
0000374d: PUSH1 0x00
0000374f: PUSH1 0x01
00003751: PUSH1 0x01
00003753: PUSH1 0x80
00003755: SHL
00003756: SUB
00003757: DUP1
00003758: DUP4
00003759: AND
0000375a: DUP2
0000375b: DUP6
0000375c: AND
0000375d: DUP1
0000375e: DUP4
0000375f: SUB
00003760: DUP3
00003761: GT
00003762: ISZERO
00003763: PUSH2 0x34fa
00003766: JUMPI
00003767: PUSH2 0x34fa
0000376a: PUSH2 0x38a5
0000376d: JUMP
0000376e: JUMPDEST
0000376f: PUSH1 0x00
00003771: DUP3
00003772: NOT
00003773: DUP3
00003774: GT
00003775: ISZERO
00003776: PUSH2 0x3781
00003779: JUMPI
0000377a: PUSH2 0x3781
0000377d: PUSH2 0x38a5
00003780: JUMP
00003781: JUMPDEST
00003782: POP
00003783: ADD
00003784: SWAP1
00003785: JUMP
00003786: JUMPDEST
00003787: PUSH1 0x00
00003789: DUP3
0000378a: PUSH2 0x3795
0000378d: JUMPI
0000378e: PUSH2 0x3795
00003791: PUSH2 0x38bb
00003794: JUMP
00003795: JUMPDEST
00003796: POP
00003797: DIV
00003798: SWAP1
00003799: JUMP
0000379a: JUMPDEST
0000379b: PUSH1 0x00
0000379d: DUP2
0000379e: PUSH1 0x00
000037a0: NOT
000037a1: DIV
000037a2: DUP4
000037a3: GT
000037a4: DUP3
000037a5: ISZERO
000037a6: ISZERO
000037a7: AND
000037a8: ISZERO
000037a9: PUSH2 0x37b4
000037ac: JUMPI
000037ad: PUSH2 0x37b4
000037b0: PUSH2 0x38a5
000037b3: JUMP
000037b4: JUMPDEST
000037b5: POP
000037b6: MUL
000037b7: SWAP1
000037b8: JUMP
000037b9: JUMPDEST
000037ba: PUSH1 0x00
000037bc: PUSH1 0x01
000037be: PUSH1 0x01
000037c0: PUSH1 0x80
000037c2: SHL
000037c3: SUB
000037c4: DUP4
000037c5: DUP2
000037c6: AND
000037c7: SWAP1
000037c8: DUP4
000037c9: AND
000037ca: DUP2
000037cb: DUP2
000037cc: LT
000037cd: ISZERO
000037ce: PUSH2 0x37d9
000037d1: JUMPI
000037d2: PUSH2 0x37d9
000037d5: PUSH2 0x38a5
000037d8: JUMP
000037d9: JUMPDEST
000037da: SUB
000037db: SWAP4
000037dc: SWAP3
000037dd: POP
000037de: POP
000037df: POP
000037e0: JUMP
000037e1: JUMPDEST
000037e2: PUSH1 0x00
000037e4: DUP3
000037e5: DUP3
000037e6: LT
000037e7: ISZERO
000037e8: PUSH2 0x37f3
000037eb: JUMPI
000037ec: PUSH2 0x37f3
000037ef: PUSH2 0x38a5
000037f2: JUMP
000037f3: JUMPDEST
000037f4: POP
000037f5: SUB
000037f6: SWAP1
000037f7: JUMP
000037f8: JUMPDEST
000037f9: PUSH1 0x00
000037fb: JUMPDEST
000037fc: DUP4
000037fd: DUP2
000037fe: LT
000037ff: ISZERO
00003800: PUSH2 0x3813
00003803: JUMPI
00003804: DUP2
00003805: DUP2
00003806: ADD
00003807: MLOAD
00003808: DUP4
00003809: DUP3
0000380a: ADD
0000380b: MSTORE
0000380c: PUSH1 0x20
0000380e: ADD
0000380f: PUSH2 0x37fb
00003812: JUMP
00003813: JUMPDEST
00003814: DUP4
00003815: DUP2
00003816: GT
00003817: ISZERO
00003818: PUSH2 0x1413
0000381b: JUMPI
0000381c: POP
0000381d: POP
0000381e: PUSH1 0x00
00003820: SWAP2
00003821: ADD
00003822: MSTORE
00003823: JUMP
00003824: JUMPDEST
00003825: PUSH1 0x00
00003827: DUP2
00003828: PUSH2 0x3833
0000382b: JUMPI
0000382c: PUSH2 0x3833
0000382f: PUSH2 0x38a5
00003832: JUMP
00003833: JUMPDEST
00003834: POP
00003835: PUSH1 0x00
00003837: NOT
00003838: ADD
00003839: SWAP1
0000383a: JUMP
0000383b: JUMPDEST
0000383c: PUSH1 0x01
0000383e: DUP2
0000383f: DUP2
00003840: SHR
00003841: SWAP1
00003842: DUP3
00003843: AND
00003844: DUP1
00003845: PUSH2 0x384f
00003848: JUMPI
00003849: PUSH1 0x7f
0000384b: DUP3
0000384c: AND
0000384d: SWAP2
0000384e: POP
0000384f: JUMPDEST
00003850: PUSH1 0x20
00003852: DUP3
00003853: LT
00003854: DUP2
00003855: EQ
00003856: ISZERO
00003857: PUSH2 0x3870
0000385a: JUMPI
0000385b: PUSH4 0x4e487b71
00003860: PUSH1 0xe0
00003862: SHL
00003863: PUSH1 0x00
00003865: MSTORE
00003866: PUSH1 0x22
00003868: PUSH1 0x04
0000386a: MSTORE
0000386b: PUSH1 0x24
0000386d: PUSH1 0x00
0000386f: REVERT
00003870: JUMPDEST
00003871: POP
00003872: SWAP2
00003873: SWAP1
00003874: POP
00003875: JUMP
00003876: JUMPDEST
00003877: PUSH1 0x00
00003879: PUSH1 0x00
0000387b: NOT
0000387c: DUP3
0000387d: EQ
0000387e: ISZERO
0000387f: PUSH2 0x388a
00003882: JUMPI
00003883: PUSH2 0x388a
00003886: PUSH2 0x38a5
00003889: JUMP
0000388a: JUMPDEST
0000388b: POP
0000388c: PUSH1 0x01
0000388e: ADD
0000388f: SWAP1
00003890: JUMP
00003891: JUMPDEST
00003892: PUSH1 0x00
00003894: DUP3
00003895: PUSH2 0x38a0
00003898: JUMPI
00003899: PUSH2 0x38a0
0000389c: PUSH2 0x38bb
0000389f: JUMP
000038a0: JUMPDEST
000038a1: POP
000038a2: MOD
000038a3: SWAP1
000038a4: JUMP
000038a5: JUMPDEST
000038a6: PUSH4 0x4e487b71
000038ab: PUSH1 0xe0
000038ad: SHL
000038ae: PUSH1 0x00
000038b0: MSTORE
000038b1: PUSH1 0x11
000038b3: PUSH1 0x04
000038b5: MSTORE
000038b6: PUSH1 0x24
000038b8: PUSH1 0x00
000038ba: REVERT
000038bb: JUMPDEST
000038bc: PUSH4 0x4e487b71
000038c1: PUSH1 0xe0
000038c3: SHL
000038c4: PUSH1 0x00
000038c6: MSTORE
000038c7: PUSH1 0x12
000038c9: PUSH1 0x04
000038cb: MSTORE
000038cc: PUSH1 0x24
000038ce: PUSH1 0x00
000038d0: REVERT
000038d1: JUMPDEST
000038d2: PUSH4 0x4e487b71
000038d7: PUSH1 0xe0
000038d9: SHL
000038da: PUSH1 0x00
000038dc: MSTORE
000038dd: PUSH1 0x32
000038df: PUSH1 0x04
000038e1: MSTORE
000038e2: PUSH1 0x24
000038e4: PUSH1 0x00
000038e6: REVERT
000038e7: JUMPDEST
000038e8: PUSH4 0x4e487b71
000038ed: PUSH1 0xe0
000038ef: SHL
000038f0: PUSH1 0x00
000038f2: MSTORE
000038f3: PUSH1 0x41
000038f5: PUSH1 0x04
000038f7: MSTORE
000038f8: PUSH1 0x24
000038fa: PUSH1 0x00
000038fc: REVERT
000038fd: JUMPDEST
000038fe: PUSH1 0x01
00003900: PUSH1 0x01
00003902: PUSH1 0xe0
00003904: SHL
00003905: SUB
00003906: NOT
00003907: DUP2
00003908: AND
00003909: DUP2
0000390a: EQ
0000390b: PUSH2 0x1f6d
0000390e: JUMPI
0000390f: PUSH1 0x00
00003911: DUP1
00003912: REVERT
00003913: INVALID
00003914: LOG2
00003915: PUSH5 0x6970667358
0000391b: UNKNOWN(0x22)
0000391c: SLT
0000391d: KECCAK256
0000391e: UNKNOWN(0x24)
0000391f: SHR
00003920: SDIV
00003921: SWAP15
00003922: UNKNOWN(0xAA)
00003923: UNKNOWN(0x4D)
00003924: UNKNOWN(0xD1)
00003925: PUSH10 0x9c4f8d89f443a1fc7a7d
00003930: EXTCODESIZE
00003931: SIGNEXTEND
00003932: SWAP1
00003933: MULMOD
00003934: SWAP14
00003935: NOT
00003936: UNKNOWN(0xF8)
00003937: UNKNOWN(0x4C)
00003938: UNKNOWN(0xB7)
00003939: UNKNOWN(0xA7)
0000393a: SUB
0000393b: SMOD
0000393c: PUSH8 0x7364736f6c634300
00003945: ADDMOD
00003946: SMOD
00003947: STOP
00003948: 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": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf42202e8", "selector": "0xf42202e8", "calldata_variants": [ "0xf42202e8", "0xf42202e80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf9840536", "selector": "0xf9840536", "calldata_variants": [ "0xf9840536", "0xf98405360000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfc51efb1", "selector": "0xfc51efb1", "calldata_variants": [ "0xfc51efb1", "0xfc51efb10000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd7224ba0", "selector": "0xd7224ba0", "calldata_variants": [ "0xd7224ba0", "0xd7224ba00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd906561d", "selector": "0xd906561d", "calldata_variants": [ "0xd906561d", "0xd906561d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdc33e681", "selector": "0xdc33e681", "calldata_variants": [ "0xdc33e681", "0xdc33e6810000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe985e9c5", "selector": "0xe985e9c5", "calldata_variants": [ "0xe985e9c5", "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 3856, "type": "tx_origin_used" }, { "pc": 4746, "type": "tx_origin_used" }, { "pc": 5264, "type": "tx_origin_used" }, { "pc": 5939, "type": "tx_origin_used" }, { "pc": 7124, "type": "tx_origin_used" }, { "pc": 3854, "type": "tx_origin_used" }, { "pc": 4744, "type": "tx_origin_used" }, { "pc": 5263, "type": "tx_origin_used" }, { "pc": 5938, "type": "tx_origin_used" }, { "pc": 7122, "type": "tx_origin_used" } ] }
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0x6f5a33b774e69648e8c2fa5209046c8ee7bf43605b8d29c1ab15d5fa3bab2c77 call_targets: 0x28b5d14ae3bf798913882256bc5627662df4f686 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x6f5a33b774e69648e8c2fa5209046c8ee7bf43605b8d29c1ab15d5fa3bab2c77", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x28b5d14ae3bf798913882256bc5627662df4f686" ], "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": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf42202e8", "selector": "0xf42202e8", "calldata_variants": [ "0xf42202e8", "0xf42202e80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf9840536", "selector": "0xf9840536", "calldata_variants": [ "0xf9840536", "0xf98405360000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfc51efb1", "selector": "0xfc51efb1", "calldata_variants": [ "0xfc51efb1", "0xfc51efb10000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd7224ba0", "selector": "0xd7224ba0", "calldata_variants": [ "0xd7224ba0", "0xd7224ba00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd906561d", "selector": "0xd906561d", "calldata_variants": [ "0xd906561d", "0xd906561d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdc33e681", "selector": "0xdc33e681", "calldata_variants": [ "0xdc33e681", "0xdc33e6810000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe985e9c5", "selector": "0xe985e9c5", "calldata_variants": [ "0xe985e9c5", "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 5442, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 6580, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 10073, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 4, "guards_detected": [ { "pc": 3856, "type": "tx_origin_used" }, { "pc": 4746, "type": "tx_origin_used" }, { "pc": 5264, "type": "tx_origin_used" }, { "pc": 5939, "type": "tx_origin_used" }, { "pc": 7124, "type": "tx_origin_used" }, { "pc": 3854, "type": "tx_origin_used" }, { "pc": 4744, "type": "tx_origin_used" }, { "pc": 5263, "type": "tx_origin_used" }, { "pc": 5938, "type": "tx_origin_used" }, { "pc": 7122, "type": "tx_origin_used" } ], "untrusted_call_count": 4 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0x6f5a33b774e69648e8c2fa5209046c8ee7bf43605b8d29c1ab15d5fa3bab2c77 call_targets: 0x28b5d14ae3bf798913882256bc5627662df4f686 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x6f5a33b774e69648e8c2fa5209046c8ee7bf43605b8d29c1ab15d5fa3bab2c77", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x28b5d14ae3bf798913882256bc5627662df4f686" ], "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": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf42202e8", "selector": "0xf42202e8", "calldata_variants": [ "0xf42202e8", "0xf42202e80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf9840536", "selector": "0xf9840536", "calldata_variants": [ "0xf9840536", "0xf98405360000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfc51efb1", "selector": "0xfc51efb1", "calldata_variants": [ "0xfc51efb1", "0xfc51efb10000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd7224ba0", "selector": "0xd7224ba0", "calldata_variants": [ "0xd7224ba0", "0xd7224ba00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd906561d", "selector": "0xd906561d", "calldata_variants": [ "0xd906561d", "0xd906561d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdc33e681", "selector": "0xdc33e681", "calldata_variants": [ "0xdc33e681", "0xdc33e6810000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe985e9c5", "selector": "0xe985e9c5", "calldata_variants": [ "0xe985e9c5", "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 5442, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 6580, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 10073, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 4, "guards_detected": [ { "pc": 3856, "type": "tx_origin_used" }, { "pc": 4746, "type": "tx_origin_used" }, { "pc": 5264, "type": "tx_origin_used" }, { "pc": 5939, "type": "tx_origin_used" }, { "pc": 7124, "type": "tx_origin_used" }, { "pc": 3854, "type": "tx_origin_used" }, { "pc": 4744, "type": "tx_origin_used" }, { "pc": 5263, "type": "tx_origin_used" }, { "pc": 5938, "type": "tx_origin_used" }, { "pc": 7122, "type": "tx_origin_used" } ] }
Severity