Given the following C code and unoptimized assembly code, your task is to generate highly optimized x86-64 assembly code.
C Code:

```c
/*
cat <<EOF >mistaken-paste
*/

#pragma GCC diagnostic ignored "-Wincompatible-pointer-types"

#include <stdio.h>
#include <stdint.h>
#include <stdlib.h>
#include <string.h>
#include <stdbool.h>
#include <math.h>

#define BIG 2000000007
#define VERYBIG 200000000000007LL

#define MOD 1000000007
typedef uint64_t ull;
typedef  int64_t sll;

#define N_MAX 300000
#define M_MAX 200000

typedef struct {
	int32_t a;
	int32_t b;
} hw;

typedef struct {
	sll a;
	sll b;
} hwll;

typedef struct {
	hwll a;
	hwll b;
} linell;


typedef struct {
	ull s;
	ull t;
	int32_t c;
} struct_a;

typedef struct {
	int32_t from;
	int32_t to;
	sll cost;
} struct_b;

ull n, m;
ull h, w;
ull k;
ull q;
ull vua, vub, vuc, vud, vue, vuf;
sll vsa, vsb, vsc, vsd, vse, vsf;
long double vra, vrb, vrc;
double vda, vdb, vdc;
size_t slen;
size_t tlen;
char ch, dh;

sll a[N_MAX];

hwll arr[N_MAX];

int32_t pullcomp (const void *left, const void *right) {
	ull l = *(ull*)left;
	ull r = *(ull*)right;
	if (l < r) {
		return -1;
	}
	if (l > r) {
		return +1;
	}
	return 0;
}

ull solve () {
	sll i, j, ki;

	qsort(a, n, sizeof(ull), pullcomp);

	ull kinds = 0;
	i = 0;
	while (i < n) {
		j = i;
		while (j < n && a[j] == a[i]) j++;
		arr[kinds].a = a[i];
		arr[kinds].b = j - i;
		kinds++;

		i = j;
	}

	if (arr[0].b > 2) goto fail;
	
	ull maxnum = ((arr[0].b == 1) ? a[0] * 2 : a[0] * 2 - 1);
	if (kinds != (maxnum - a[0] + 1) || arr[kinds - 1].a != maxnum) goto fail;

	for (i = 1; i < kinds; i++) {
		if (arr[i].b < 2) goto fail;
	}

	puts("Possible");
	return 0;

	fail:
	puts("Impossible");
	return 1;
}

int32_t main (void) {
	int32_t i, j;
	int32_t x, y;

	scanf("%llu", &n, &m);
	for (i = 0; i < n; i++) {
		scanf("%llu", &a[i]);
	}

	solve();

	return 0;
}
```

Unoptimized Assembly Code:

```assembly
	.file	"temp.c"
	.text
	.globl	n
	.bss
	.align 8
	.type	n, @object
	.size	n, 8
n:
	.zero	8
	.globl	m
	.align 8
	.type	m, @object
	.size	m, 8
m:
	.zero	8
	.globl	h
	.align 8
	.type	h, @object
	.size	h, 8
h:
	.zero	8
	.globl	w
	.align 8
	.type	w, @object
	.size	w, 8
w:
	.zero	8
	.globl	k
	.align 8
	.type	k, @object
	.size	k, 8
k:
	.zero	8
	.globl	q
	.align 8
	.type	q, @object
	.size	q, 8
q:
	.zero	8
	.globl	vua
	.align 8
	.type	vua, @object
	.size	vua, 8
vua:
	.zero	8
	.globl	vub
	.align 8
	.type	vub, @object
	.size	vub, 8
vub:
	.zero	8
	.globl	vuc
	.align 8
	.type	vuc, @object
	.size	vuc, 8
vuc:
	.zero	8
	.globl	vud
	.align 8
	.type	vud, @object
	.size	vud, 8
vud:
	.zero	8
	.globl	vue
	.align 8
	.type	vue, @object
	.size	vue, 8
vue:
	.zero	8
	.globl	vuf
	.align 8
	.type	vuf, @object
	.size	vuf, 8
vuf:
	.zero	8
	.globl	vsa
	.align 8
	.type	vsa, @object
	.size	vsa, 8
vsa:
	.zero	8
	.globl	vsb
	.align 8
	.type	vsb, @object
	.size	vsb, 8
vsb:
	.zero	8
	.globl	vsc
	.align 8
	.type	vsc, @object
	.size	vsc, 8
vsc:
	.zero	8
	.globl	vsd
	.align 8
	.type	vsd, @object
	.size	vsd, 8
vsd:
	.zero	8
	.globl	vse
	.align 8
	.type	vse, @object
	.size	vse, 8
vse:
	.zero	8
	.globl	vsf
	.align 8
	.type	vsf, @object
	.size	vsf, 8
vsf:
	.zero	8
	.globl	vra
	.align 16
	.type	vra, @object
	.size	vra, 16
vra:
	.zero	16
	.globl	vrb
	.align 16
	.type	vrb, @object
	.size	vrb, 16
vrb:
	.zero	16
	.globl	vrc
	.align 16
	.type	vrc, @object
	.size	vrc, 16
vrc:
	.zero	16
	.globl	vda
	.align 8
	.type	vda, @object
	.size	vda, 8
vda:
	.zero	8
	.globl	vdb
	.align 8
	.type	vdb, @object
	.size	vdb, 8
vdb:
	.zero	8
	.globl	vdc
	.align 8
	.type	vdc, @object
	.size	vdc, 8
vdc:
	.zero	8
	.globl	slen
	.align 8
	.type	slen, @object
	.size	slen, 8
slen:
	.zero	8
	.globl	tlen
	.align 8
	.type	tlen, @object
	.size	tlen, 8
tlen:
	.zero	8
	.globl	ch
	.type	ch, @object
	.size	ch, 1
ch:
	.zero	1
	.globl	dh
	.type	dh, @object
	.size	dh, 1
dh:
	.zero	1
	.globl	a
	.align 32
	.type	a, @object
	.size	a, 2400000
a:
	.zero	2400000
	.globl	arr
	.align 32
	.type	arr, @object
	.size	arr, 4800000
arr:
	.zero	4800000
	.text
	.globl	pullcomp
	.type	pullcomp, @function
pullcomp:
.LFB6:
	.cfi_startproc
	endbr64
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	movq	%rdi, -24(%rbp)
	movq	%rsi, -32(%rbp)
	movq	-24(%rbp), %rax
	movq	(%rax), %rax
	movq	%rax, -16(%rbp)
	movq	-32(%rbp), %rax
	movq	(%rax), %rax
	movq	%rax, -8(%rbp)
	movq	-16(%rbp), %rax
	cmpq	-8(%rbp), %rax
	jnb	.L2
	movl	$-1, %eax
	jmp	.L3
.L2:
	movq	-16(%rbp), %rax
	cmpq	-8(%rbp), %rax
	jbe	.L4
	movl	$1, %eax
	jmp	.L3
.L4:
	movl	$0, %eax
.L3:
	popq	%rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE6:
	.size	pullcomp, .-pullcomp
	.section	.rodata
.LC0:
	.string	"Possible"
.LC1:
	.string	"Impossible"
	.text
	.globl	solve
	.type	solve, @function
solve:
.LFB7:
	.cfi_startproc
	endbr64
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	subq	$32, %rsp
	movq	n(%rip), %rax
	leaq	pullcomp(%rip), %rdx
	movq	%rdx, %rcx
	movl	$8, %edx
	movq	%rax, %rsi
	leaq	a(%rip), %rax
	movq	%rax, %rdi
	call	qsort@PLT
	movq	$0, -16(%rbp)
	movq	$0, -32(%rbp)
	jmp	.L6
.L10:
	movq	-32(%rbp), %rax
	movq	%rax, -24(%rbp)
	jmp	.L7
.L9:
	addq	$1, -24(%rbp)
.L7:
	movq	-24(%rbp), %rdx
	movq	n(%rip), %rax
	cmpq	%rax, %rdx
	jnb	.L8
	movq	-24(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	a(%rip), %rax
	movq	(%rdx,%rax), %rdx
	movq	-32(%rbp), %rax
	leaq	0(,%rax,8), %rcx
	leaq	a(%rip), %rax
	movq	(%rcx,%rax), %rax
	cmpq	%rax, %rdx
	je	.L9
.L8:
	movq	-32(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	a(%rip), %rax
	movq	(%rdx,%rax), %rax
	movq	-16(%rbp), %rdx
	movq	%rdx, %rcx
	salq	$4, %rcx
	leaq	arr(%rip), %rdx
	movq	%rax, (%rcx,%rdx)
	movq	-24(%rbp), %rax
	subq	-32(%rbp), %rax
	movq	-16(%rbp), %rdx
	movq	%rdx, %rcx
	salq	$4, %rcx
	leaq	8+arr(%rip), %rdx
	movq	%rax, (%rcx,%rdx)
	addq	$1, -16(%rbp)
	movq	-24(%rbp), %rax
	movq	%rax, -32(%rbp)
.L6:
	movq	-32(%rbp), %rdx
	movq	n(%rip), %rax
	cmpq	%rax, %rdx
	jb	.L10
	movq	8+arr(%rip), %rax
	cmpq	$2, %rax
	jg	.L21
	movq	8+arr(%rip), %rax
	cmpq	$1, %rax
	jne	.L13
	movq	a(%rip), %rax
	addq	%rax, %rax
	jmp	.L14
.L13:
	movq	a(%rip), %rax
	addq	%rax, %rax
	subq	$1, %rax
.L14:
	movq	%rax, -8(%rbp)
	movq	a(%rip), %rax
	movq	%rax, %rdx
	movq	-8(%rbp), %rax
	subq	%rdx, %rax
	addq	$1, %rax
	cmpq	%rax, -16(%rbp)
	jne	.L22
	movq	-16(%rbp), %rax
	subq	$1, %rax
	salq	$4, %rax
	movq	%rax, %rdx
	leaq	arr(%rip), %rax
	movq	(%rdx,%rax), %rdx
	movq	-8(%rbp), %rax
	cmpq	%rax, %rdx
	jne	.L22
	movq	$1, -32(%rbp)
	jmp	.L17
.L19:
	movq	-32(%rbp), %rax
	salq	$4, %rax
	movq	%rax, %rdx
	leaq	8+arr(%rip), %rax
	movq	(%rdx,%rax), %rax
	cmpq	$1, %rax
	jle	.L23
	addq	$1, -32(%rbp)
.L17:
	movq	-32(%rbp), %rax
	cmpq	%rax, -16(%rbp)
	ja	.L19
	leaq	.LC0(%rip), %rax
	movq	%rax, %rdi
	call	puts@PLT
	movl	$0, %eax
	jmp	.L20
.L21:
	nop
	jmp	.L12
.L22:
	nop
	jmp	.L12
.L23:
	nop
.L12:
	leaq	.LC1(%rip), %rax
	movq	%rax, %rdi
	call	puts@PLT
	movl	$1, %eax
.L20:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE7:
	.size	solve, .-solve
	.section	.rodata
.LC2:
	.string	"%llu"
	.text
	.globl	main
	.type	main, @function
main:
.LFB8:
	.cfi_startproc
	endbr64
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	subq	$16, %rsp
	leaq	m(%rip), %rax
	movq	%rax, %rdx
	leaq	n(%rip), %rax
	movq	%rax, %rsi
	leaq	.LC2(%rip), %rax
	movq	%rax, %rdi
	movl	$0, %eax
	call	__isoc99_scanf@PLT
	movl	$0, -4(%rbp)
	jmp	.L25
.L26:
	movl	-4(%rbp), %eax
	cltq
	leaq	0(,%rax,8), %rdx
	leaq	a(%rip), %rax
	addq	%rdx, %rax
	movq	%rax, %rsi
	leaq	.LC2(%rip), %rax
	movq	%rax, %rdi
	movl	$0, %eax
	call	__isoc99_scanf@PLT
	addl	$1, -4(%rbp)
.L25:
	movl	-4(%rbp), %eax
	movslq	%eax, %rdx
	movq	n(%rip), %rax
	cmpq	%rax, %rdx
	jb	.L26
	movl	$0, %eax
	call	solve
	movl	$0, %eax
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE8:
	.size	main, .-main
	.ident	"GCC: (Ubuntu 11.4.0-1ubuntu1~22.04) 11.4.0"
	.section	.note.GNU-stack,"",@progbits
	.section	.note.gnu.property,"a"
	.align 8
	.long	1f - 0f
	.long	4f - 1f
	.long	5
0:
	.string	"GNU"
1:
	.align 8
	.long	0xc0000002
	.long	3f - 2f
2:
	.long	0x3
3:
	.align 8
4:
```

Only output the optimized assembly code. Do not include any other text. Do not write any comments in the assembly code. Wrap the assembly code in ```assembly``` tags.
user
	.file	"temp.c"
	.text
	.p2align 4
	.globl	pullcomp
	.type	pullcomp, @function
pullcomp:
.LFB51:
	.cfi_startproc
	endbr64
	movq	(%rsi), %rax
	cmpq	%rax, (%rdi)
	movl	$-1, %edx
	seta	%al
	movzbl	%al, %eax
	cmovb	%edx, %eax
	ret
	.cfi_endproc
.LFE51:
	.size	pullcomp, .-pullcomp
	.section	.rodata.str1.1,"aMS",@progbits,1
.LC0:
	.string	"Possible"
.LC1:
	.string	"Impossible"
	.text
	.p2align 4
	.globl	solve
	.type	solve, @function
solve:
.LFB52:
	.cfi_startproc
	endbr64
	pushq	%rbx
	.cfi_def_cfa_offset 16
	.cfi_offset 3, -16
	movq	n(%rip), %rsi
	movl	$8, %edx
	leaq	a(%rip), %rbx
	leaq	pullcomp(%rip), %rcx
	movq	%rbx, %rdi
	call	qsort@PLT
	movq	n(%rip), %rcx
	leaq	arr(%rip), %rdi
	xorl	%esi, %esi
	xorl	%r8d, %r8d
	testq	%rcx, %rcx
	je	.L7
	movq	(%rbx,%rsi,8), %rdx
	cmpq	%rsi, %rcx
	jbe	.L26
.L20:
	movq	%rsi, %rax
	jmp	.L8
	.p2align 4,,10
	.p2align 3
.L10:
	addq	$1, %rax
	cmpq	%rax, %rcx
	jbe	.L27
.L8:
	cmpq	%rdx, (%rbx,%rax,8)
	je	.L10
	movq	%rax, %r9
	movq	%rdx, %xmm0
	addq	$1, %r8
	subq	%rsi, %r9
	movq	%r9, %xmm1
	punpcklqdq	%xmm1, %xmm0
	movaps	%xmm0, (%rdi)
	cmpq	%rax, %rcx
	jbe	.L28
	movq	%rax, %rsi
	addq	$16, %rdi
	movq	(%rbx,%rsi,8), %rdx
	cmpq	%rsi, %rcx
	ja	.L20
.L26:
	xorl	%eax, %eax
	jmp	.L9
	.p2align 4,,10
	.p2align 3
.L27:
	subq	%rsi, %rax
.L9:
	movq	%rdx, %xmm0
	movq	%rax, %xmm2
	leaq	1(%r8), %rcx
	punpcklqdq	%xmm2, %xmm0
	movaps	%xmm0, (%rdi)
.L7:
	movq	8+arr(%rip), %rdx
	cmpq	$2, %rdx
	jg	.L12
	cmpq	$1, %rdx
	movq	a(%rip), %rsi
	setne	%dl
	movzbl	%dl, %edx
	leaq	(%rsi,%rsi), %rax
	subq	%rdx, %rax
	movq	%rax, %rdx
	subq	%rsi, %rdx
	addq	$1, %rdx
	cmpq	%rcx, %rdx
	je	.L29
.L12:
	leaq	.LC1(%rip), %rdi
	call	puts@PLT
	movl	$1, %eax
	popq	%rbx
	.cfi_remember_state
	.cfi_def_cfa_offset 8
	ret
.L29:
	.cfi_restore_state
	movq	%rcx, %rsi
	leaq	arr(%rip), %rdx
	salq	$4, %rsi
	cmpq	%rax, -16(%rsi,%rdx)
	jne	.L12
	cmpq	$1, %rcx
	jbe	.L15
	leaq	24(%rdx), %rax
	addq	$8, %rdx
	addq	%rsi, %rdx
	jmp	.L16
	.p2align 4,,10
	.p2align 3
.L30:
	addq	$16, %rax
	cmpq	%rax, %rdx
	je	.L15
.L16:
	cmpq	$1, (%rax)
	jg	.L30
	jmp	.L12
.L15:
	leaq	.LC0(%rip), %rdi
	call	puts@PLT
	xorl	%eax, %eax
	popq	%rbx
	.cfi_remember_state
	.cfi_def_cfa_offset 8
	ret
.L28:
	.cfi_restore_state
	movq	%r8, %rcx
	jmp	.L7
	.cfi_endproc
.LFE52:
	.size	solve, .-solve
	.section	.rodata.str1.1
.LC2:
	.string	"%llu"
	.section	.text.startup,"ax",@progbits
	.p2align 4
	.globl	main
	.type	main, @function
main:
.LFB53:
	.cfi_startproc
	endbr64
	pushq	%r12
	.cfi_def_cfa_offset 16
	.cfi_offset 12, -16
	leaq	.LC2(%rip), %r12
	xorl	%eax, %eax
	leaq	m(%rip), %rdx
	pushq	%rbp
	.cfi_def_cfa_offset 24
	.cfi_offset 6, -24
	leaq	n(%rip), %rsi
	movq	%r12, %rdi
	pushq	%rbx
	.cfi_def_cfa_offset 32
	.cfi_offset 3, -32
	call	__isoc99_scanf@PLT
	cmpq	$0, n(%rip)
	je	.L32
	leaq	a(%rip), %rbp
	xorl	%ebx, %ebx
	.p2align 4,,10
	.p2align 3
.L33:
	movq	%rbp, %rsi
	xorl	%eax, %eax
	movq	%r12, %rdi
	addq	$1, %rbx
	call	__isoc99_scanf@PLT
	addq	$8, %rbp
	cmpq	%rbx, n(%rip)
	ja	.L33
.L32:
	xorl	%eax, %eax
	call	solve
	popq	%rbx
	.cfi_def_cfa_offset 24
	xorl	%eax, %eax
	popq	%rbp
	.cfi_def_cfa_offset 16
	popq	%r12
	.cfi_def_cfa_offset 8
	ret
	.cfi_endproc
.LFE53:
	.size	main, .-main
	.globl	arr
	.bss
	.align 32
	.type	arr, @object
	.size	arr, 4800000
arr:
	.zero	4800000
	.globl	a
	.align 32
	.type	a, @object
	.size	a, 2400000
a:
	.zero	2400000
	.globl	dh
	.type	dh, @object
	.size	dh, 1
dh:
	.zero	1
	.globl	ch
	.type	ch, @object
	.size	ch, 1
ch:
	.zero	1
	.globl	tlen
	.align 8
	.type	tlen, @object
	.size	tlen, 8
tlen:
	.zero	8
	.globl	slen
	.align 8
	.type	slen, @object
	.size	slen, 8
slen:
	.zero	8
	.globl	vdc
	.align 8
	.type	vdc, @object
	.size	vdc, 8
vdc:
	.zero	8
	.globl	vdb
	.align 8
	.type	vdb, @object
	.size	vdb, 8
vdb:
	.zero	8
	.globl	vda
	.align 8
	.type	vda, @object
	.size	vda, 8
vda:
	.zero	8
	.globl	vrc
	.align 16
	.type	vrc, @object
	.size	vrc, 16
vrc:
	.zero	16
	.globl	vrb
	.align 16
	.type	vrb, @object
	.size	vrb, 16
vrb:
	.zero	16
	.globl	vra
	.align 16
	.type	vra, @object
	.size	vra, 16
vra:
	.zero	16
	.globl	vsf
	.align 8
	.type	vsf, @object
	.size	vsf, 8
vsf:
	.zero	8
	.globl	vse
	.align 8
	.type	vse, @object
	.size	vse, 8
vse:
	.zero	8
	.globl	vsd
	.align 8
	.type	vsd, @object
	.size	vsd, 8
vsd:
	.zero	8
	.globl	vsc
	.align 8
	.type	vsc, @object
	.size	vsc, 8
vsc:
	.zero	8
	.globl	vsb
	.align 8
	.type	vsb, @object
	.size	vsb, 8
vsb:
	.zero	8
	.globl	vsa
	.align 8
	.type	vsa, @object
	.size	vsa, 8
vsa:
	.zero	8
	.globl	vuf
	.align 8
	.type	vuf, @object
	.size	vuf, 8
vuf:
	.zero	8
	.globl	vue
	.align 8
	.type	vue, @object
	.size	vue, 8
vue:
	.zero	8
	.globl	vud
	.align 8
	.type	vud, @object
	.size	vud, 8
vud:
	.zero	8
	.globl	vuc
	.align 8
	.type	vuc, @object
	.size	vuc, 8
vuc:
	.zero	8
	.globl	vub
	.align 8
	.type	vub, @object
	.size	vub, 8
vub:
	.zero	8
	.globl	vua
	.align 8
	.type	vua, @object
	.size	vua, 8
vua:
	.zero	8
	.globl	q
	.align 8
	.type	q, @object
	.size	q, 8
q:
	.zero	8
	.globl	k
	.align 8
	.type	k, @object
	.size	k, 8
k:
	.zero	8
	.globl	w
	.align 8
	.type	w, @object
	.size	w, 8
w:
	.zero	8
	.globl	h
	.align 8
	.type	h, @object
	.size	h, 8
h:
	.zero	8
	.globl	m
	.align 8
	.type	m, @object
	.size	m, 8
m:
	.zero	8
	.globl	n
	.align 8
	.type	n, @object
	.size	n, 8
n:
	.zero	8
	.ident	"GCC: (Ubuntu 11.4.0-1ubuntu1~22.04) 11.4.0"
	.section	.note.GNU-stack,"",@progbits
	.section	.note.gnu.property,"a"
	.align 8
	.long	1f - 0f
	.long	4f - 1f
	.long	5
0:
	.string	"GNU"
1:
	.align 8
	.long	0xc0000002
	.long	3f - 2f
2:
	.long	0x3
3:
	.align 8
4:

rule
	.file	"temp.c"
	.text
	.p2align 4
	.globl	pullcomp
	.type	pullcomp, @function
pullcomp:
.LFB51:
	.cfi_startproc
	endbr64
	movq	(%rsi), %rax
	cmpq	%rax, (%rdi)
	movl	$-1, %edx
	seta	%al
	movzbl	%al, %eax
	cmovb	%edx, %eax
	ret
	.cfi_endproc
.LFE51:
	.size	pullcomp, .-pullcomp
	.section	.rodata.str1.1,"aMS",@progbits,1
.LC0:
	.string	"Possible"
.LC1:
	.string	"Impossible"
	.text
	.p2align 4
	.globl	solve
	.type	solve, @function
solve:
.LFB52:
	.cfi_startproc
	endbr64
	pushq	%rbx
	.cfi_def_cfa_offset 16
	.cfi_offset 3, -16
	movq	n(%rip), %rsi
	movl	$8, %edx
	leaq	a(%rip), %rbx
	leaq	pullcomp(%rip), %rcx
	movq	%rbx, %rdi
	call	qsort@PLT
	movq	n(%rip), %rcx
	leaq	arr(%rip), %rdi
	xorl	%esi, %esi
	xorl	%r8d, %r8d
	testq	%rcx, %rcx
	je	.L7
	movq	(%rbx,%rsi,8), %rdx
	cmpq	%rsi, %rcx
	jbe	.L26
.L20:
	movq	%rsi, %rax
	jmp	.L8
	.p2align 4,,10
	.p2align 3
.L10:
	addq	$1, %rax
	cmpq	%rax, %rcx
	jbe	.L27
.L8:
	cmpq	%rdx, (%rbx,%rax,8)
	je	.L10
	movq	%rax, %r9
	movq	%rdx, %xmm0
	addq	$1, %r8
	subq	%rsi, %r9
	movq	%r9, %xmm1
	punpcklqdq	%xmm1, %xmm0
	movaps	%xmm0, (%rdi)
	cmpq	%rax, %rcx
	jbe	.L28
	movq	%rax, %rsi
	addq	$16, %rdi
	movq	(%rbx,%rsi,8), %rdx
	cmpq	%rsi, %rcx
	ja	.L20
.L26:
	xorl	%eax, %eax
	jmp	.L9
	.p2align 4,,10
	.p2align 3
.L27:
	subq	%rsi, %rax
.L9:
	movq	%rdx, %xmm0
	movq	%rax, %xmm2
	leaq	1(%r8), %rcx
	punpcklqdq	%xmm2, %xmm0
	movaps	%xmm0, (%rdi)
.L7:
	movq	8+arr(%rip), %rdx
	cmpq	$2, %rdx
	jg	.L12
	cmpq	$1, %rdx
	movq	a(%rip), %rsi
	setne	%dl
	movzbl	%dl, %edx
	leaq	(%rsi,%rsi), %rax
	subq	%rdx, %rax
	movq	%rax, %rdx
	subq	%rsi, %rdx
	addq	$1, %rdx
	cmpq	%rcx, %rdx
	je	.L29
.L12:
	leaq	.LC1(%rip), %rdi
	call	puts@PLT
	movl	$1, %eax
	popq	%rbx
	.cfi_remember_state
	.cfi_def_cfa_offset 8
	ret
.L29:
	.cfi_restore_state
	movq	%rcx, %rsi
	leaq	arr(%rip), %rdx
	salq	$4, %rsi
	cmpq	%rax, -16(%rsi,%rdx)
	jne	.L12
	cmpq	$1, %rcx
	jbe	.L15
	leaq	24(%rdx), %rax
	addq	$8, %rdx
	addq	%rsi, %rdx
	jmp	.L16
	.p2align 4,,10
	.p2align 3
.L30:
	addq	$16, %rax
	cmpq	%rax, %rdx
	je	.L15
.L16:
	cmpq	$1, (%rax)
	jg	.L30
	jmp	.L12
.L15:
	leaq	.LC0(%rip), %rdi
	call	puts@PLT
	xorl	%eax, %eax
	popq	%rbx
	.cfi_remember_state
	.cfi_def_cfa_offset 8
	ret
.L28:
	.cfi_restore_state
	movq	%r8, %rcx
	jmp	.L7
	.cfi_endproc
.LFE52:
	.size	solve, .-solve
	.section	.rodata.str1.1
.LC2:
	.string	"%llu"
	.section	.text.startup,"ax",@progbits
	.p2align 4
	.globl	main
	.type	main, @function
main:
.LFB53:
	.cfi_startproc
	endbr64
	pushq	%r12
	.cfi_def_cfa_offset 16
	.cfi_offset 12, -16
	leaq	.LC2(%rip), %r12
	xorl	%eax, %eax
	leaq	m(%rip), %rdx
	pushq	%rbp
	.cfi_def_cfa_offset 24
	.cfi_offset 6, -24
	leaq	n(%rip), %rsi
	movq	%r12, %rdi
	pushq	%rbx
	.cfi_def_cfa_offset 32
	.cfi_offset 3, -32
	call	__isoc99_scanf@PLT
	cmpq	$0, n(%rip)
	je	.L32
	leaq	a(%rip), %rbp
	xorl	%ebx, %ebx
	.p2align 4,,10
	.p2align 3
.L33:
	movq	%rbp, %rsi
	xorl	%eax, %eax
	movq	%r12, %rdi
	addq	$1, %rbx
	call	__isoc99_scanf@PLT
	addq	$8, %rbp
	cmpq	%rbx, n(%rip)
	ja	.L33
.L32:
	xorl	%eax, %eax
	call	solve
	popq	%rbx
	.cfi_def_cfa_offset 24
	xorl	%eax, %eax
	popq	%rbp
	.cfi_def_cfa_offset 16
	popq	%r12
	.cfi_def_cfa_offset 8
	ret
	.cfi_endproc
.LFE53:
	.size	main, .-main
	.globl	arr
	.bss
	.align 32
	.type	arr, @object
	.size	arr, 4800000
arr:
	.zero	4800000
	.globl	a
	.align 32
	.type	a, @object
	.size	a, 2400000
a:
	.zero	2400000
	.globl	dh
	.type	dh, @object
	.size	dh, 1
dh:
	.zero	1
	.globl	ch
	.type	ch, @object
	.size	ch, 1
ch:
	.zero	1
	.globl	tlen
	.align 8
	.type	tlen, @object
	.size	tlen, 8
tlen:
	.zero	8
	.globl	slen
	.align 8
	.type	slen, @object
	.size	slen, 8
slen:
	.zero	8
	.globl	vdc
	.align 8
	.type	vdc, @object
	.size	vdc, 8
vdc:
	.zero	8
	.globl	vdb
	.align 8
	.type	vdb, @object
	.size	vdb, 8
vdb:
	.zero	8
	.globl	vda
	.align 8
	.type	vda, @object
	.size	vda, 8
vda:
	.zero	8
	.globl	vrc
	.align 16
	.type	vrc, @object
	.size	vrc, 16
vrc:
	.zero	16
	.globl	vrb
	.align 16
	.type	vrb, @object
	.size	vrb, 16
vrb:
	.zero	16
	.globl	vra
	.align 16
	.type	vra, @object
	.size	vra, 16
vra:
	.zero	16
	.globl	vsf
	.align 8
	.type	vsf, @object
	.size	vsf, 8
vsf:
	.zero	8
	.globl	vse
	.align 8
	.type	vse, @object
	.size	vse, 8
vse:
	.zero	8
	.globl	vsd
	.align 8
	.type	vsd, @object
	.size	vsd, 8
vsd:
	.zero	8
	.globl	vsc
	.align 8
	.type	vsc, @object
	.size	vsc, 8
vsc:
	.zero	8
	.globl	vsb
	.align 8
	.type	vsb, @object
	.size	vsb, 8
vsb:
	.zero	8
	.globl	vsa
	.align 8
	.type	vsa, @object
	.size	vsa, 8
vsa:
	.zero	8
	.globl	vuf
	.align 8
	.type	vuf, @object
	.size	vuf, 8
vuf:
	.zero	8
	.globl	vue
	.align 8
	.type	vue, @object
	.size	vue, 8
vue:
	.zero	8
	.globl	vud
	.align 8
	.type	vud, @object
	.size	vud, 8
vud:
	.zero	8
	.globl	vuc
	.align 8
	.type	vuc, @object
	.size	vuc, 8
vuc:
	.zero	8
	.globl	vub
	.align 8
	.type	vub, @object
	.size	vub, 8
vub:
	.zero	8
	.globl	vua
	.align 8
	.type	vua, @object
	.size	vua, 8
vua:
	.zero	8
	.globl	q
	.align 8
	.type	q, @object
	.size	q, 8
q:
	.zero	8
	.globl	k
	.align 8
	.type	k, @object
	.size	k, 8
k:
	.zero	8
	.globl	w
	.align 8
	.type	w, @object
	.size	w, 8
w:
	.zero	8
	.globl	h
	.align 8
	.type	h, @object
	.size	h, 8
h:
	.zero	8
	.globl	m
	.align 8
	.type	m, @object
	.size	m, 8
m:
	.zero	8
	.globl	n
	.align 8
	.type	n, @object
	.size	n, 8
n:
	.zero	8
	.ident	"GCC: (Ubuntu 11.4.0-1ubuntu1~22.04) 11.4.0"
	.section	.note.GNU-stack,"",@progbits
	.section	.note.gnu.property,"a"
	.align 8
	.long	1f - 0f
	.long	4f - 1f
	.long	5
0:
	.string	"GNU"
1:
	.align 8
	.long	0xc0000002
	.long	3f - 2f
2:
	.long	0x3
3:
	.align 8
4:

/*
cat <<EOF >mistaken-paste
*/

#pragma GCC diagnostic ignored "-Wincompatible-pointer-types"

#include <stdio.h>
#include <stdint.h>
#include <stdlib.h>
#include <string.h>
#include <stdbool.h>
#include <math.h>

#define BIG 2000000007
#define VERYBIG 200000000000007LL

#define MOD 1000000007
typedef uint64_t ull;
typedef  int64_t sll;

#define N_MAX 300000
#define M_MAX 200000

typedef struct {
	int32_t a;
	int32_t b;
} hw;

typedef struct {
	sll a;
	sll b;
} hwll;

typedef struct {
	hwll a;
	hwll b;
} linell;


typedef struct {
	ull s;
	ull t;
	int32_t c;
} struct_a;

typedef struct {
	int32_t from;
	int32_t to;
	sll cost;
} struct_b;

ull n, m;
ull h, w;
ull k;
ull q;
ull vua, vub, vuc, vud, vue, vuf;
sll vsa, vsb, vsc, vsd, vse, vsf;
long double vra, vrb, vrc;
double vda, vdb, vdc;
size_t slen;
size_t tlen;
char ch, dh;

sll a[N_MAX];

hwll arr[N_MAX];

int32_t pullcomp (const void *left, const void *right) {
	ull l = *(ull*)left;
	ull r = *(ull*)right;
	if (l < r) {
		return -1;
	}
	if (l > r) {
		return +1;
	}
	return 0;
}

ull solve () {
	sll i, j, ki;

	qsort(a, n, sizeof(ull), pullcomp);

	ull kinds = 0;
	i = 0;
	while (i < n) {
		j = i;
		while (j < n && a[j] == a[i]) j++;
		arr[kinds].a = a[i];
		arr[kinds].b = j - i;
		kinds++;

		i = j;
	}

	if (arr[0].b > 2) goto fail;
	
	ull maxnum = ((arr[0].b == 1) ? a[0] * 2 : a[0] * 2 - 1);
	if (kinds != (maxnum - a[0] + 1) || arr[kinds - 1].a != maxnum) goto fail;

	for (i = 1; i < kinds; i++) {
		if (arr[i].b < 2) goto fail;
	}

	puts("Possible");
	return 0;

	fail:
	puts("Impossible");
	return 1;
}

int32_t main (void) {
	int32_t i, j;
	int32_t x, y;

	scanf("%llu", &n, &m);
	for (i = 0; i < n; i++) {
		scanf("%llu", &a[i]);
	}

	solve();

	return 0;
}

6
1 1 1 1 2 5
 3
2 2 1
 3
1 1 3
 5
3 2 4 3 3
 5
3 3 2 3 4
 10
1 2 2 2 2 3 2 2 2 2
 10
1 1 2 2 2 3 2 2 2 2
 6
0 1 1 1 2 5
 3
1 0 3
 5
3 3 4 3 3

Impossible
 Possible
 Impossible
 Impossible
 Impossible
 Impossible
 Impossible
 Impossible
 Impossible
 Impossible

Given the following C code and unoptimized assembly code, your task is to generate highly optimized x86-64 assembly code.
C Code:

```c
/*
cat <<EOF >mistaken-paste
*/

#pragma GCC diagnostic ignored "-Wincompatible-pointer-types"

#include <stdio.h>
#include <stdint.h>
#include <stdlib.h>
#include <string.h>
#include <stdbool.h>
#include <math.h>

#define BIG 2000000007
#define VERYBIG 200000000000007LL

#define MOD 1000000007
typedef uint64_t ull;
typedef  int64_t sll;

#define N_MAX 300000
#define M_MAX 200000

typedef struct {
	int32_t a;
	int32_t b;
} hw;

typedef struct {
	sll a;
	sll b;
} hwll;

typedef struct {
	hwll a;
	hwll b;
} linell;


typedef struct {
	ull s;
	ull t;
	int32_t c;
} struct_a;

typedef struct {
	int32_t from;
	int32_t to;
	sll cost;
} struct_b;

ull n, m;
ull h, w;
ull k;
ull q;
ull vua, vub, vuc, vud, vue, vuf;
sll vsa, vsb, vsc, vsd, vse, vsf;
long double vra, vrb, vrc;
double vda, vdb, vdc;
size_t slen;
size_t tlen;
char ch, dh;

sll a[N_MAX];

hwll arr[N_MAX];

int32_t pullcomp (const void *left, const void *right) {
	ull l = *(ull*)left;
	ull r = *(ull*)right;
	if (l < r) {
		return -1;
	}
	if (l > r) {
		return +1;
	}
	return 0;
}

ull solve () {
	sll i, j, ki;

	qsort(a, n, sizeof(ull), pullcomp);

	ull kinds = 0;
	i = 0;
	while (i < n) {
		j = i;
		while (j < n && a[j] == a[i]) j++;
		arr[kinds].a = a[i];
		arr[kinds].b = j - i;
		kinds++;

		i = j;
	}

	if (arr[0].b > 2) goto fail;
	
	ull maxnum = ((arr[0].b == 1) ? a[0] * 2 : a[0] * 2 - 1);
	if (kinds != (maxnum - a[0] + 1) || arr[kinds - 1].a != maxnum) goto fail;

	for (i = 1; i < kinds; i++) {
		if (arr[i].b < 2) goto fail;
	}

	puts("Possible");
	return 0;

	fail:
	puts("Impossible");
	return 1;
}

int32_t main (void) {
	int32_t i, j;
	int32_t x, y;

	scanf("%llu", &n, &m);
	for (i = 0; i < n; i++) {
		scanf("%llu", &a[i]);
	}

	solve();

	return 0;
}
```

Unoptimized Assembly Code:

```assembly
	.file	"temp.c"
	.text
	.globl	n
	.bss
	.align 8
	.type	n, @object
	.size	n, 8
n:
	.zero	8
	.globl	m
	.align 8
	.type	m, @object
	.size	m, 8
m:
	.zero	8
	.globl	h
	.align 8
	.type	h, @object
	.size	h, 8
h:
	.zero	8
	.globl	w
	.align 8
	.type	w, @object
	.size	w, 8
w:
	.zero	8
	.globl	k
	.align 8
	.type	k, @object
	.size	k, 8
k:
	.zero	8
	.globl	q
	.align 8
	.type	q, @object
	.size	q, 8
q:
	.zero	8
	.globl	vua
	.align 8
	.type	vua, @object
	.size	vua, 8
vua:
	.zero	8
	.globl	vub
	.align 8
	.type	vub, @object
	.size	vub, 8
vub:
	.zero	8
	.globl	vuc
	.align 8
	.type	vuc, @object
	.size	vuc, 8
vuc:
	.zero	8
	.globl	vud
	.align 8
	.type	vud, @object
	.size	vud, 8
vud:
	.zero	8
	.globl	vue
	.align 8
	.type	vue, @object
	.size	vue, 8
vue:
	.zero	8
	.globl	vuf
	.align 8
	.type	vuf, @object
	.size	vuf, 8
vuf:
	.zero	8
	.globl	vsa
	.align 8
	.type	vsa, @object
	.size	vsa, 8
vsa:
	.zero	8
	.globl	vsb
	.align 8
	.type	vsb, @object
	.size	vsb, 8
vsb:
	.zero	8
	.globl	vsc
	.align 8
	.type	vsc, @object
	.size	vsc, 8
vsc:
	.zero	8
	.globl	vsd
	.align 8
	.type	vsd, @object
	.size	vsd, 8
vsd:
	.zero	8
	.globl	vse
	.align 8
	.type	vse, @object
	.size	vse, 8
vse:
	.zero	8
	.globl	vsf
	.align 8
	.type	vsf, @object
	.size	vsf, 8
vsf:
	.zero	8
	.globl	vra
	.align 16
	.type	vra, @object
	.size	vra, 16
vra:
	.zero	16
	.globl	vrb
	.align 16
	.type	vrb, @object
	.size	vrb, 16
vrb:
	.zero	16
	.globl	vrc
	.align 16
	.type	vrc, @object
	.size	vrc, 16
vrc:
	.zero	16
	.globl	vda
	.align 8
	.type	vda, @object
	.size	vda, 8
vda:
	.zero	8
	.globl	vdb
	.align 8
	.type	vdb, @object
	.size	vdb, 8
vdb:
	.zero	8
	.globl	vdc
	.align 8
	.type	vdc, @object
	.size	vdc, 8
vdc:
	.zero	8
	.globl	slen
	.align 8
	.type	slen, @object
	.size	slen, 8
slen:
	.zero	8
	.globl	tlen
	.align 8
	.type	tlen, @object
	.size	tlen, 8
tlen:
	.zero	8
	.globl	ch
	.type	ch, @object
	.size	ch, 1
ch:
	.zero	1
	.globl	dh
	.type	dh, @object
	.size	dh, 1
dh:
	.zero	1
	.globl	a
	.align 32
	.type	a, @object
	.size	a, 2400000
a:
	.zero	2400000
	.globl	arr
	.align 32
	.type	arr, @object
	.size	arr, 4800000
arr:
	.zero	4800000
	.text
	.globl	pullcomp
	.type	pullcomp, @function
pullcomp:
.LFB6:
	.cfi_startproc
	endbr64
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	movq	%rdi, -24(%rbp)
	movq	%rsi, -32(%rbp)
	movq	-24(%rbp), %rax
	movq	(%rax), %rax
	movq	%rax, -16(%rbp)
	movq	-32(%rbp), %rax
	movq	(%rax), %rax
	movq	%rax, -8(%rbp)
	movq	-16(%rbp), %rax
	cmpq	-8(%rbp), %rax
	jnb	.L2
	movl	$-1, %eax
	jmp	.L3
.L2:
	movq	-16(%rbp), %rax
	cmpq	-8(%rbp), %rax
	jbe	.L4
	movl	$1, %eax
	jmp	.L3
.L4:
	movl	$0, %eax
.L3:
	popq	%rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE6:
	.size	pullcomp, .-pullcomp
	.section	.rodata
.LC0:
	.string	"Possible"
.LC1:
	.string	"Impossible"
	.text
	.globl	solve
	.type	solve, @function
solve:
.LFB7:
	.cfi_startproc
	endbr64
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	subq	$32, %rsp
	movq	n(%rip), %rax
	leaq	pullcomp(%rip), %rdx
	movq	%rdx, %rcx
	movl	$8, %edx
	movq	%rax, %rsi
	leaq	a(%rip), %rax
	movq	%rax, %rdi
	call	qsort@PLT
	movq	$0, -16(%rbp)
	movq	$0, -32(%rbp)
	jmp	.L6
.L10:
	movq	-32(%rbp), %rax
	movq	%rax, -24(%rbp)
	jmp	.L7
.L9:
	addq	$1, -24(%rbp)
.L7:
	movq	-24(%rbp), %rdx
	movq	n(%rip), %rax
	cmpq	%rax, %rdx
	jnb	.L8
	movq	-24(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	a(%rip), %rax
	movq	(%rdx,%rax), %rdx
	movq	-32(%rbp), %rax
	leaq	0(,%rax,8), %rcx
	leaq	a(%rip), %rax
	movq	(%rcx,%rax), %rax
	cmpq	%rax, %rdx
	je	.L9
.L8:
	movq	-32(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	a(%rip), %rax
	movq	(%rdx,%rax), %rax
	movq	-16(%rbp), %rdx
	movq	%rdx, %rcx
	salq	$4, %rcx
	leaq	arr(%rip), %rdx
	movq	%rax, (%rcx,%rdx)
	movq	-24(%rbp), %rax
	subq	-32(%rbp), %rax
	movq	-16(%rbp), %rdx
	movq	%rdx, %rcx
	salq	$4, %rcx
	leaq	8+arr(%rip), %rdx
	movq	%rax, (%rcx,%rdx)
	addq	$1, -16(%rbp)
	movq	-24(%rbp), %rax
	movq	%rax, -32(%rbp)
.L6:
	movq	-32(%rbp), %rdx
	movq	n(%rip), %rax
	cmpq	%rax, %rdx
	jb	.L10
	movq	8+arr(%rip), %rax
	cmpq	$2, %rax
	jg	.L21
	movq	8+arr(%rip), %rax
	cmpq	$1, %rax
	jne	.L13
	movq	a(%rip), %rax
	addq	%rax, %rax
	jmp	.L14
.L13:
	movq	a(%rip), %rax
	addq	%rax, %rax
	subq	$1, %rax
.L14:
	movq	%rax, -8(%rbp)
	movq	a(%rip), %rax
	movq	%rax, %rdx
	movq	-8(%rbp), %rax
	subq	%rdx, %rax
	addq	$1, %rax
	cmpq	%rax, -16(%rbp)
	jne	.L22
	movq	-16(%rbp), %rax
	subq	$1, %rax
	salq	$4, %rax
	movq	%rax, %rdx
	leaq	arr(%rip), %rax
	movq	(%rdx,%rax), %rdx
	movq	-8(%rbp), %rax
	cmpq	%rax, %rdx
	jne	.L22
	movq	$1, -32(%rbp)
	jmp	.L17
.L19:
	movq	-32(%rbp), %rax
	salq	$4, %rax
	movq	%rax, %rdx
	leaq	8+arr(%rip), %rax
	movq	(%rdx,%rax), %rax
	cmpq	$1, %rax
	jle	.L23
	addq	$1, -32(%rbp)
.L17:
	movq	-32(%rbp), %rax
	cmpq	%rax, -16(%rbp)
	ja	.L19
	leaq	.LC0(%rip), %rax
	movq	%rax, %rdi
	call	puts@PLT
	movl	$0, %eax
	jmp	.L20
.L21:
	nop
	jmp	.L12
.L22:
	nop
	jmp	.L12
.L23:
	nop
.L12:
	leaq	.LC1(%rip), %rax
	movq	%rax, %rdi
	call	puts@PLT
	movl	$1, %eax
.L20:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE7:
	.size	solve, .-solve
	.section	.rodata
.LC2:
	.string	"%llu"
	.text
	.globl	main
	.type	main, @function
main:
.LFB8:
	.cfi_startproc
	endbr64
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	subq	$16, %rsp
	leaq	m(%rip), %rax
	movq	%rax, %rdx
	leaq	n(%rip), %rax
	movq	%rax, %rsi
	leaq	.LC2(%rip), %rax
	movq	%rax, %rdi
	movl	$0, %eax
	call	__isoc99_scanf@PLT
	movl	$0, -4(%rbp)
	jmp	.L25
.L26:
	movl	-4(%rbp), %eax
	cltq
	leaq	0(,%rax,8), %rdx
	leaq	a(%rip), %rax
	addq	%rdx, %rax
	movq	%rax, %rsi
	leaq	.LC2(%rip), %rax
	movq	%rax, %rdi
	movl	$0, %eax
	call	__isoc99_scanf@PLT
	addl	$1, -4(%rbp)
.L25:
	movl	-4(%rbp), %eax
	movslq	%eax, %rdx
	movq	n(%rip), %rax
	cmpq	%rax, %rdx
	jb	.L26
	movl	$0, %eax
	call	solve
	movl	$0, %eax
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE8:
	.size	main, .-main
	.ident	"GCC: (Ubuntu 11.4.0-1ubuntu1~22.04) 11.4.0"
	.section	.note.GNU-stack,"",@progbits
	.section	.note.gnu.property,"a"
	.align 8
	.long	1f - 0f
	.long	4f - 1f
	.long	5
0:
	.string	"GNU"
1:
	.align 8
	.long	0xc0000002
	.long	3f - 2f
2:
	.long	0x3
3:
	.align 8
4:
```

Only output the optimized assembly code. Do not include any other text. Do not write any comments in the assembly code. Wrap the assembly code in ```assembly``` tags.
train
	.file	"temp.c"
	.text
	.globl	n
	.bss
	.align 8
	.type	n, @object
	.size	n, 8
n:
	.zero	8
	.globl	m
	.align 8
	.type	m, @object
	.size	m, 8
m:
	.zero	8
	.globl	h
	.align 8
	.type	h, @object
	.size	h, 8
h:
	.zero	8
	.globl	w
	.align 8
	.type	w, @object
	.size	w, 8
w:
	.zero	8
	.globl	k
	.align 8
	.type	k, @object
	.size	k, 8
k:
	.zero	8
	.globl	q
	.align 8
	.type	q, @object
	.size	q, 8
q:
	.zero	8
	.globl	vua
	.align 8
	.type	vua, @object
	.size	vua, 8
vua:
	.zero	8
	.globl	vub
	.align 8
	.type	vub, @object
	.size	vub, 8
vub:
	.zero	8
	.globl	vuc
	.align 8
	.type	vuc, @object
	.size	vuc, 8
vuc:
	.zero	8
	.globl	vud
	.align 8
	.type	vud, @object
	.size	vud, 8
vud:
	.zero	8
	.globl	vue
	.align 8
	.type	vue, @object
	.size	vue, 8
vue:
	.zero	8
	.globl	vuf
	.align 8
	.type	vuf, @object
	.size	vuf, 8
vuf:
	.zero	8
	.globl	vsa
	.align 8
	.type	vsa, @object
	.size	vsa, 8
vsa:
	.zero	8
	.globl	vsb
	.align 8
	.type	vsb, @object
	.size	vsb, 8
vsb:
	.zero	8
	.globl	vsc
	.align 8
	.type	vsc, @object
	.size	vsc, 8
vsc:
	.zero	8
	.globl	vsd
	.align 8
	.type	vsd, @object
	.size	vsd, 8
vsd:
	.zero	8
	.globl	vse
	.align 8
	.type	vse, @object
	.size	vse, 8
vse:
	.zero	8
	.globl	vsf
	.align 8
	.type	vsf, @object
	.size	vsf, 8
vsf:
	.zero	8
	.globl	vra
	.align 16
	.type	vra, @object
	.size	vra, 16
vra:
	.zero	16
	.globl	vrb
	.align 16
	.type	vrb, @object
	.size	vrb, 16
vrb:
	.zero	16
	.globl	vrc
	.align 16
	.type	vrc, @object
	.size	vrc, 16
vrc:
	.zero	16
	.globl	vda
	.align 8
	.type	vda, @object
	.size	vda, 8
vda:
	.zero	8
	.globl	vdb
	.align 8
	.type	vdb, @object
	.size	vdb, 8
vdb:
	.zero	8
	.globl	vdc
	.align 8
	.type	vdc, @object
	.size	vdc, 8
vdc:
	.zero	8
	.globl	slen
	.align 8
	.type	slen, @object
	.size	slen, 8
slen:
	.zero	8
	.globl	tlen
	.align 8
	.type	tlen, @object
	.size	tlen, 8
tlen:
	.zero	8
	.globl	ch
	.type	ch, @object
	.size	ch, 1
ch:
	.zero	1
	.globl	dh
	.type	dh, @object
	.size	dh, 1
dh:
	.zero	1
	.globl	a
	.align 32
	.type	a, @object
	.size	a, 2400000
a:
	.zero	2400000
	.globl	arr
	.align 32
	.type	arr, @object
	.size	arr, 4800000
arr:
	.zero	4800000
	.text
	.globl	pullcomp
	.type	pullcomp, @function
pullcomp:
.LFB6:
	.cfi_startproc
	endbr64
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	movq	%rdi, -24(%rbp)
	movq	%rsi, -32(%rbp)
	movq	-24(%rbp), %rax
	movq	(%rax), %rax
	movq	%rax, -16(%rbp)
	movq	-32(%rbp), %rax
	movq	(%rax), %rax
	movq	%rax, -8(%rbp)
	movq	-16(%rbp), %rax
	cmpq	-8(%rbp), %rax
	jnb	.L2
	movl	$-1, %eax
	jmp	.L3
.L2:
	movq	-16(%rbp), %rax
	cmpq	-8(%rbp), %rax
	jbe	.L4
	movl	$1, %eax
	jmp	.L3
.L4:
	movl	$0, %eax
.L3:
	popq	%rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE6:
	.size	pullcomp, .-pullcomp
	.section	.rodata
.LC0:
	.string	"Possible"
.LC1:
	.string	"Impossible"
	.text
	.globl	solve
	.type	solve, @function
solve:
.LFB7:
	.cfi_startproc
	endbr64
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	subq	$32, %rsp
	movq	n(%rip), %rax
	leaq	pullcomp(%rip), %rdx
	movq	%rdx, %rcx
	movl	$8, %edx
	movq	%rax, %rsi
	leaq	a(%rip), %rax
	movq	%rax, %rdi
	call	qsort@PLT
	movq	$0, -16(%rbp)
	movq	$0, -32(%rbp)
	jmp	.L6
.L10:
	movq	-32(%rbp), %rax
	movq	%rax, -24(%rbp)
	jmp	.L7
.L9:
	addq	$1, -24(%rbp)
.L7:
	movq	-24(%rbp), %rdx
	movq	n(%rip), %rax
	cmpq	%rax, %rdx
	jnb	.L8
	movq	-24(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	a(%rip), %rax
	movq	(%rdx,%rax), %rdx
	movq	-32(%rbp), %rax
	leaq	0(,%rax,8), %rcx
	leaq	a(%rip), %rax
	movq	(%rcx,%rax), %rax
	cmpq	%rax, %rdx
	je	.L9
.L8:
	movq	-32(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	a(%rip), %rax
	movq	(%rdx,%rax), %rax
	movq	-16(%rbp), %rdx
	movq	%rdx, %rcx
	salq	$4, %rcx
	leaq	arr(%rip), %rdx
	movq	%rax, (%rcx,%rdx)
	movq	-24(%rbp), %rax
	subq	-32(%rbp), %rax
	movq	-16(%rbp), %rdx
	movq	%rdx, %rcx
	salq	$4, %rcx
	leaq	8+arr(%rip), %rdx
	movq	%rax, (%rcx,%rdx)
	addq	$1, -16(%rbp)
	movq	-24(%rbp), %rax
	movq	%rax, -32(%rbp)
.L6:
	movq	-32(%rbp), %rdx
	movq	n(%rip), %rax
	cmpq	%rax, %rdx
	jb	.L10
	movq	8+arr(%rip), %rax
	cmpq	$2, %rax
	jg	.L21
	movq	8+arr(%rip), %rax
	cmpq	$1, %rax
	jne	.L13
	movq	a(%rip), %rax
	addq	%rax, %rax
	jmp	.L14
.L13:
	movq	a(%rip), %rax
	addq	%rax, %rax
	subq	$1, %rax
.L14:
	movq	%rax, -8(%rbp)
	movq	a(%rip), %rax
	movq	%rax, %rdx
	movq	-8(%rbp), %rax
	subq	%rdx, %rax
	addq	$1, %rax
	cmpq	%rax, -16(%rbp)
	jne	.L22
	movq	-16(%rbp), %rax
	subq	$1, %rax
	salq	$4, %rax
	movq	%rax, %rdx
	leaq	arr(%rip), %rax
	movq	(%rdx,%rax), %rdx
	movq	-8(%rbp), %rax
	cmpq	%rax, %rdx
	jne	.L22
	movq	$1, -32(%rbp)
	jmp	.L17
.L19:
	movq	-32(%rbp), %rax
	salq	$4, %rax
	movq	%rax, %rdx
	leaq	8+arr(%rip), %rax
	movq	(%rdx,%rax), %rax
	cmpq	$1, %rax
	jle	.L23
	addq	$1, -32(%rbp)
.L17:
	movq	-32(%rbp), %rax
	cmpq	%rax, -16(%rbp)
	ja	.L19
	leaq	.LC0(%rip), %rax
	movq	%rax, %rdi
	call	puts@PLT
	movl	$0, %eax
	jmp	.L20
.L21:
	nop
	jmp	.L12
.L22:
	nop
	jmp	.L12
.L23:
	nop
.L12:
	leaq	.LC1(%rip), %rax
	movq	%rax, %rdi
	call	puts@PLT
	movl	$1, %eax
.L20:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE7:
	.size	solve, .-solve
	.section	.rodata
.LC2:
	.string	"%llu"
	.text
	.globl	main
	.type	main, @function
main:
.LFB8:
	.cfi_startproc
	endbr64
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	subq	$16, %rsp
	leaq	m(%rip), %rax
	movq	%rax, %rdx
	leaq	n(%rip), %rax
	movq	%rax, %rsi
	leaq	.LC2(%rip), %rax
	movq	%rax, %rdi
	movl	$0, %eax
	call	__isoc99_scanf@PLT
	movl	$0, -4(%rbp)
	jmp	.L25
.L26:
	movl	-4(%rbp), %eax
	cltq
	leaq	0(,%rax,8), %rdx
	leaq	a(%rip), %rax
	addq	%rdx, %rax
	movq	%rax, %rsi
	leaq	.LC2(%rip), %rax
	movq	%rax, %rdi
	movl	$0, %eax
	call	__isoc99_scanf@PLT
	addl	$1, -4(%rbp)
.L25:
	movl	-4(%rbp), %eax
	movslq	%eax, %rdx
	movq	n(%rip), %rax
	cmpq	%rax, %rdx
	jb	.L26
	movl	$0, %eax
	call	solve
	movl	$0, %eax
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE8:
	.size	main, .-main
	.ident	"GCC: (Ubuntu 11.4.0-1ubuntu1~22.04) 11.4.0"
	.section	.note.GNU-stack,"",@progbits
	.section	.note.gnu.property,"a"
	.align 8
	.long	1f - 0f
	.long	4f - 1f
	.long	5
0:
	.string	"GNU"
1:
	.align 8
	.long	0xc0000002
	.long	3f - 2f
2:
	.long	0x3
3:
	.align 8
4:
