	.file	"257860.c"
	.intel_syntax noprefix
	.text
	.globl	__VERIFIER_assert
	.type	__VERIFIER_assert, @function
__VERIFIER_assert:
.LFB0:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 16
	mov	DWORD PTR -4[rbp], edi
	cmp	DWORD PTR -4[rbp], 0
	jne	.L4
	nop
.L3:
	mov	eax, 0
	call	__VERIFIER_error@PLT
.L4:
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE0:
	.size	__VERIFIER_assert, .-__VERIFIER_assert
	.globl	N
	.bss
	.align 4
	.type	N, @object
	.size	N, 4
N:
	.zero	4
	.text
	.globl	main
	.type	main, @function
main:
.LFB1:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	push	r15
	push	r14
	push	r13
	push	r12
	push	rbx
	sub	rsp, 56
	.cfi_offset 15, -24
	.cfi_offset 14, -32
	.cfi_offset 13, -40
	.cfi_offset 12, -48
	.cfi_offset 3, -56
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -56[rbp], rax
	xor	eax, eax
	mov	rax, rsp
	mov	rbx, rax
	call	__VERIFIER_nondet_int@PLT
	mov	DWORD PTR N[rip], eax
	mov	eax, DWORD PTR N[rip]
	test	eax, eax
	jg	.L6
	mov	eax, 1
	jmp	.L7
.L6:
	mov	eax, DWORD PTR N[rip]
	movsx	rdx, eax
	sub	rdx, 1
	mov	QWORD PTR -80[rbp], rdx
	movsx	rdx, eax
	mov	r14, rdx
	mov	r15d, 0
	movsx	rdx, eax
	mov	r12, rdx
	mov	r13d, 0
	cdqe
	lea	rdx, 0[0+rax*4]
	mov	eax, 16
	sub	rax, 1
	add	rax, rdx
	mov	esi, 16
	mov	edx, 0
	div	rsi
	imul	rax, rax, 16
	mov	rcx, rax
	and	rcx, -4096
	mov	rdx, rsp
	sub	rdx, rcx
.L8:
	cmp	rsp, rdx
	je	.L9
	sub	rsp, 4096
	or	QWORD PTR 4088[rsp], 0
	jmp	.L8
.L9:
	mov	rdx, rax
	and	edx, 4095
	sub	rsp, rdx
	mov	rdx, rax
	and	edx, 4095
	test	rdx, rdx
	je	.L10
	and	eax, 4095
	sub	rax, 8
	add	rax, rsp
	or	QWORD PTR [rax], 0
.L10:
	mov	rax, rsp
	add	rax, 3
	shr	rax, 2
	sal	rax, 2
	mov	QWORD PTR -72[rbp], rax
	mov	DWORD PTR -84[rbp], 0
	jmp	.L11
.L14:
	mov	edx, DWORD PTR -84[rbp]
	movsx	rax, edx
	imul	rax, rax, 1431655766
	shr	rax, 32
	mov	ecx, edx
	sar	ecx, 31
	sub	eax, ecx
	mov	ecx, eax
	add	ecx, ecx
	add	ecx, eax
	mov	eax, edx
	sub	eax, ecx
	test	eax, eax
	jne	.L12
	mov	rax, QWORD PTR -72[rbp]
	mov	edx, DWORD PTR -84[rbp]
	movsx	rdx, edx
	mov	DWORD PTR [rax+rdx*4], 3
	jmp	.L13
.L12:
	mov	rax, QWORD PTR -72[rbp]
	mov	edx, DWORD PTR -84[rbp]
	movsx	rdx, edx
	mov	DWORD PTR [rax+rdx*4], 0
.L13:
	add	DWORD PTR -84[rbp], 1
.L11:
	mov	eax, DWORD PTR N[rip]
	cmp	DWORD PTR -84[rbp], eax
	jl	.L14
	mov	DWORD PTR -84[rbp], 0
	jmp	.L15
.L18:
	cmp	DWORD PTR -84[rbp], 0
	jne	.L16
	mov	DWORD PTR -60[rbp], 0
	jmp	.L17
.L16:
	mov	ecx, DWORD PTR -60[rbp]
	mov	rax, QWORD PTR -72[rbp]
	mov	edx, DWORD PTR -84[rbp]
	movsx	rdx, edx
	mov	eax, DWORD PTR [rax+rdx*4]
	add	eax, ecx
	mov	DWORD PTR -60[rbp], eax
.L17:
	add	DWORD PTR -84[rbp], 1
.L15:
	mov	eax, DWORD PTR N[rip]
	cmp	DWORD PTR -84[rbp], eax
	jl	.L18
	mov	ecx, DWORD PTR -60[rbp]
	mov	edx, DWORD PTR N[rip]
	mov	eax, edx
	add	eax, eax
	add	eax, edx
	cmp	ecx, eax
	setle	al
	movzx	eax, al
	mov	edi, eax
	call	__VERIFIER_assert
	mov	eax, 1
.L7:
	mov	rsp, rbx
	mov	rsi, QWORD PTR -56[rbp]
	sub	rsi, QWORD PTR fs:40
	je	.L20
	call	__stack_chk_fail@PLT
.L20:
	lea	rsp, -40[rbp]
	pop	rbx
	pop	r12
	pop	r13
	pop	r14
	pop	r15
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE1:
	.size	main, .-main
	.ident	"GCC: (Ubuntu 10.5.0-1ubuntu1~20.04) 10.5.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:

	.arch armv5t
	.eabi_attribute 20, 1
	.eabi_attribute 21, 1
	.eabi_attribute 23, 3
	.eabi_attribute 24, 1
	.eabi_attribute 25, 1
	.eabi_attribute 26, 2
	.eabi_attribute 30, 6
	.eabi_attribute 34, 0
	.eabi_attribute 18, 4
	.file	"257860.c"
	.text
	.align	2
	.global	__VERIFIER_assert
	.syntax unified
	.arm
	.fpu softvfp
	.type	__VERIFIER_assert, %function
__VERIFIER_assert:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #8
	str	r0, [fp, #-8]
	ldr	r3, [fp, #-8]
	cmp	r3, #0
	bne	.L4
	nop
.L3:
	bl	__VERIFIER_error
.L4:
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
	.size	__VERIFIER_assert, .-__VERIFIER_assert
	.comm	N,4,4
	.section	.rodata
	.align	2
.LC0:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	main
	.syntax unified
	.arm
	.fpu softvfp
	.type	main, %function
main:
	@ args = 0, pretend = 0, frame = 24
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{r4, fp, lr}
	add	fp, sp, #8
	sub	sp, sp, #28
	ldr	r3, .L18
	ldr	r3, [r3]
	str	r3, [fp, #-16]
	mov	r3,#0
	mov	r3, sp
	mov	r4, r3
	bl	__VERIFIER_nondet_int
	mov	r3, r0
	ldr	r2, .L18+4
	str	r3, [r2]
	ldr	r3, .L18+4
	ldr	r3, [r3]
	cmp	r3, #0
	bgt	.L6
	mov	r3, #1
	b	.L7
.L6:
	ldr	r3, .L18+4
	ldr	ip, [r3]
	sub	r3, ip, #1
	str	r3, [fp, #-28]
	mov	r3, ip
	mov	r0, r3
	mov	r1, #0
	mov	r2, #0
	mov	r3, #0
	lsl	r3, r1, #5
	orr	r3, r3, r0, lsr #27
	lsl	r2, r0, #5
	mov	r3, ip
	mov	r0, r3
	mov	r1, #0
	mov	r2, #0
	mov	r3, #0
	lsl	r3, r1, #5
	orr	r3, r3, r0, lsr #27
	lsl	r2, r0, #5
	mov	r3, ip
	lsl	r3, r3, #2
	add	r3, r3, #7
	lsr	r3, r3, #3
	lsl	r3, r3, #3
	sub	sp, sp, r3
	mov	r3, sp
	add	r3, r3, #3
	lsr	r3, r3, #2
	lsl	r3, r3, #2
	str	r3, [fp, #-24]
	mov	r3, #0
	str	r3, [fp, #-32]
	b	.L8
.L11:
	ldr	r1, [fp, #-32]
	ldr	r3, .L18+8
	smull	r0, r2, r3, r1
	asr	r3, r1, #31
	sub	r2, r2, r3
	mov	r3, r2
	lsl	r3, r3, #1
	add	r3, r3, r2
	sub	r2, r1, r3
	cmp	r2, #0
	bne	.L9
	ldr	r3, [fp, #-24]
	ldr	r2, [fp, #-32]
	mov	r1, #3
	str	r1, [r3, r2, lsl #2]
	b	.L10
.L9:
	ldr	r3, [fp, #-24]
	ldr	r2, [fp, #-32]
	mov	r1, #0
	str	r1, [r3, r2, lsl #2]
.L10:
	ldr	r3, [fp, #-32]
	add	r3, r3, #1
	str	r3, [fp, #-32]
.L8:
	ldr	r3, .L18+4
	ldr	r3, [r3]
	ldr	r2, [fp, #-32]
	cmp	r2, r3
	blt	.L11
	mov	r3, #0
	str	r3, [fp, #-32]
	b	.L12
.L15:
	ldr	r3, [fp, #-32]
	cmp	r3, #0
	bne	.L13
	mov	r3, #0
	str	r3, [fp, #-20]
	b	.L14
.L13:
	ldr	r2, [fp, #-20]
	ldr	r3, [fp, #-24]
	ldr	r1, [fp, #-32]
	ldr	r3, [r3, r1, lsl #2]
	add	r3, r2, r3
	str	r3, [fp, #-20]
.L14:
	ldr	r3, [fp, #-32]
	add	r3, r3, #1
	str	r3, [fp, #-32]
.L12:
	ldr	r3, .L18+4
	ldr	r3, [r3]
	ldr	r2, [fp, #-32]
	cmp	r2, r3
	blt	.L15
	ldr	r1, [fp, #-20]
	ldr	r3, .L18+4
	ldr	r2, [r3]
	mov	r3, r2
	lsl	r3, r3, #1
	add	r3, r3, r2
	cmp	r1, r3
	movle	r3, #1
	movgt	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	__VERIFIER_assert
	mov	r3, #1
.L7:
	mov	sp, r4
	ldr	r2, .L18
	ldr	r1, [r2]
	ldr	r2, [fp, #-16]
	eors	r1, r2, r1
	mov	r2, #0
	beq	.L17
	bl	__stack_chk_fail
.L17:
	mov	r0, r3
	sub	sp, fp, #8
	@ sp needed
	pop	{r4, fp, pc}
.L19:
	.align	2
.L18:
	.word	.LC0
	.word	N
	.word	1431655766
	.size	main, .-main
	.ident	"GCC: (Ubuntu 9.4.0-1ubuntu1~20.04.2) 9.4.0"
	.section	.note.GNU-stack,"",%progbits
