	.file	"578469.c"
	.intel_syntax noprefix
	.text
	.section	.rodata
.LC0:
	.string	"a[1]==0"
.LC1:
	.string	"a[1]==1"
.LC2:
	.string	"b[1]==0"
.LC3:
	.string	"b[1]==1"
.LC4:
	.string	"*(b+1)==0"
.LC5:
	.string	"*(b+1)==1"
.LC6:
	.string	"*(1+b)==0"
.LC7:
	.string	"*(1+b)==1"
.LC8:
	.string	"1[b]==0"
.LC9:
	.string	"1[b]==1"
.LC10:
	.string	"c[0]==0"
.LC11:
	.string	"c[0]==1"
.LC12:
	.string	"d[0]==0"
.LC13:
	.string	"d[0]==2"
.LC14:
	.string	"d[1]==0"
.LC15:
	.string	"a[i]==0"
.LC16:
	.string	"a[i]==1"
.LC17:
	.string	"a[j]==0"
.LC18:
	.string	"a[j]==1"
.LC19:
	.string	"b[i]==1"
.LC20:
	.string	"b[i]==0"
.LC21:
	.string	"b[j]==0"
.LC22:
	.string	"b[j]==1"
.LC23:
	.string	"a[100]==0"
.LC24:
	.string	"ei[0]==1"
.LC25:
	.string	"ei[0]==0"
.LC26:
	.string	"ei[2]==0"
.LC27:
	.string	"ei[2]==1"
.LC28:
	.string	"ej[0]==0"
.LC29:
	.string	"ej[2]==0"
.LC30:
	.string	"ek[0]==0"
	.text
	.globl	main
	.type	main, @function
main:
.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, 112
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -8[rbp], rax
	xor	eax, eax
	mov	DWORD PTR -92[rbp], 0
	mov	DWORD PTR -88[rbp], 0
	mov	DWORD PTR -84[rbp], 0
	mov	DWORD PTR -80[rbp], 1
	mov	DWORD PTR -76[rbp], 0
	mov	DWORD PTR -72[rbp], 0
	mov	eax, DWORD PTR -88[rbp]
	test	eax, eax
	sete	al
	movzx	eax, al
	lea	rsi, .LC0[rip]
	mov	edi, eax
	mov	eax, 0
	call	__CPROVER_assert@PLT
	mov	eax, DWORD PTR -88[rbp]
	cmp	eax, 1
	sete	al
	movzx	eax, al
	lea	rsi, .LC1[rip]
	mov	edi, eax
	mov	eax, 0
	call	__CPROVER_assert@PLT
	mov	eax, DWORD PTR -76[rbp]
	test	eax, eax
	sete	al
	movzx	eax, al
	lea	rsi, .LC2[rip]
	mov	edi, eax
	mov	eax, 0
	call	__CPROVER_assert@PLT
	mov	eax, DWORD PTR -76[rbp]
	cmp	eax, 1
	sete	al
	movzx	eax, al
	lea	rsi, .LC3[rip]
	mov	edi, eax
	mov	eax, 0
	call	__CPROVER_assert@PLT
	mov	eax, DWORD PTR -76[rbp]
	test	eax, eax
	sete	al
	movzx	eax, al
	lea	rsi, .LC4[rip]
	mov	edi, eax
	mov	eax, 0
	call	__CPROVER_assert@PLT
	mov	eax, DWORD PTR -76[rbp]
	cmp	eax, 1
	sete	al
	movzx	eax, al
	lea	rsi, .LC5[rip]
	mov	edi, eax
	mov	eax, 0
	call	__CPROVER_assert@PLT
	mov	eax, DWORD PTR -76[rbp]
	test	eax, eax
	sete	al
	movzx	eax, al
	lea	rsi, .LC6[rip]
	mov	edi, eax
	mov	eax, 0
	call	__CPROVER_assert@PLT
	mov	eax, DWORD PTR -76[rbp]
	cmp	eax, 1
	sete	al
	movzx	eax, al
	lea	rsi, .LC7[rip]
	mov	edi, eax
	mov	eax, 0
	call	__CPROVER_assert@PLT
	mov	eax, DWORD PTR -76[rbp]
	test	eax, eax
	sete	al
	movzx	eax, al
	lea	rsi, .LC8[rip]
	mov	edi, eax
	mov	eax, 0
	call	__CPROVER_assert@PLT
	mov	eax, DWORD PTR -76[rbp]
	cmp	eax, 1
	sete	al
	movzx	eax, al
	lea	rsi, .LC9[rip]
	mov	edi, eax
	mov	eax, 0
	call	__CPROVER_assert@PLT
	mov	DWORD PTR -68[rbp], 0
	mov	DWORD PTR -64[rbp], 0
	mov	DWORD PTR -60[rbp], 0
	mov	DWORD PTR -56[rbp], 0
	mov	DWORD PTR -52[rbp], 0
	mov	DWORD PTR -48[rbp], 0
	cmp	DWORD PTR -96[rbp], 2
	jle	.L2
	mov	DWORD PTR -68[rbp], 0
	mov	DWORD PTR -56[rbp], 1
.L2:
	mov	eax, DWORD PTR -68[rbp]
	test	eax, eax
	sete	al
	movzx	eax, al
	lea	rsi, .LC10[rip]
	mov	edi, eax
	mov	eax, 0
	call	__CPROVER_assert@PLT
	mov	eax, DWORD PTR -68[rbp]
	cmp	eax, 1
	sete	al
	movzx	eax, al
	lea	rsi, .LC11[rip]
	mov	edi, eax
	mov	eax, 0
	call	__CPROVER_assert@PLT
	mov	eax, DWORD PTR -56[rbp]
	test	eax, eax
	sete	al
	movzx	eax, al
	lea	rsi, .LC12[rip]
	mov	edi, eax
	mov	eax, 0
	call	__CPROVER_assert@PLT
	mov	eax, DWORD PTR -56[rbp]
	cmp	eax, 2
	sete	al
	movzx	eax, al
	lea	rsi, .LC13[rip]
	mov	edi, eax
	mov	eax, 0
	call	__CPROVER_assert@PLT
	mov	eax, DWORD PTR -52[rbp]
	test	eax, eax
	sete	al
	movzx	eax, al
	lea	rsi, .LC14[rip]
	mov	edi, eax
	mov	eax, 0
	call	__CPROVER_assert@PLT
	mov	DWORD PTR -108[rbp], 0
	mov	DWORD PTR -104[rbp], 0
	mov	DWORD PTR -100[rbp], 0
	cmp	DWORD PTR -96[rbp], 3
	jle	.L3
	mov	DWORD PTR -108[rbp], 0
	mov	DWORD PTR -104[rbp], 1
	mov	DWORD PTR -100[rbp], 100
.L3:
	mov	eax, DWORD PTR -108[rbp]
	cdqe
	mov	eax, DWORD PTR -92[rbp+rax*4]
	test	eax, eax
	sete	al
	movzx	eax, al
	lea	rsi, .LC15[rip]
	mov	edi, eax
	mov	eax, 0
	call	__CPROVER_assert@PLT
	mov	eax, DWORD PTR -108[rbp]
	cdqe
	mov	eax, DWORD PTR -92[rbp+rax*4]
	cmp	eax, 1
	sete	al
	movzx	eax, al
	lea	rsi, .LC16[rip]
	mov	edi, eax
	mov	eax, 0
	call	__CPROVER_assert@PLT
	mov	eax, DWORD PTR -104[rbp]
	cdqe
	mov	eax, DWORD PTR -92[rbp+rax*4]
	test	eax, eax
	sete	al
	movzx	eax, al
	lea	rsi, .LC17[rip]
	mov	edi, eax
	mov	eax, 0
	call	__CPROVER_assert@PLT
	mov	eax, DWORD PTR -104[rbp]
	cdqe
	mov	eax, DWORD PTR -92[rbp+rax*4]
	cmp	eax, 1
	sete	al
	movzx	eax, al
	lea	rsi, .LC18[rip]
	mov	edi, eax
	mov	eax, 0
	call	__CPROVER_assert@PLT
	mov	eax, DWORD PTR -108[rbp]
	cdqe
	mov	eax, DWORD PTR -80[rbp+rax*4]
	cmp	eax, 1
	sete	al
	movzx	eax, al
	lea	rsi, .LC19[rip]
	mov	edi, eax
	mov	eax, 0
	call	__CPROVER_assert@PLT
	mov	eax, DWORD PTR -108[rbp]
	cdqe
	mov	eax, DWORD PTR -80[rbp+rax*4]
	test	eax, eax
	sete	al
	movzx	eax, al
	lea	rsi, .LC20[rip]
	mov	edi, eax
	mov	eax, 0
	call	__CPROVER_assert@PLT
	mov	eax, DWORD PTR -104[rbp]
	cdqe
	mov	eax, DWORD PTR -80[rbp+rax*4]
	test	eax, eax
	sete	al
	movzx	eax, al
	lea	rsi, .LC21[rip]
	mov	edi, eax
	mov	eax, 0
	call	__CPROVER_assert@PLT
	mov	eax, DWORD PTR -104[rbp]
	cdqe
	mov	eax, DWORD PTR -80[rbp+rax*4]
	cmp	eax, 1
	sete	al
	movzx	eax, al
	lea	rsi, .LC22[rip]
	mov	edi, eax
	mov	eax, 0
	call	__CPROVER_assert@PLT
	mov	eax, DWORD PTR 308[rbp]
	test	eax, eax
	sete	al
	movzx	eax, al
	lea	rsi, .LC23[rip]
	mov	edi, eax
	mov	eax, 0
	call	__CPROVER_assert@PLT
	mov	DWORD PTR 308[rbp], 1
	mov	eax, DWORD PTR -76[rbp]
	test	eax, eax
	sete	al
	movzx	eax, al
	lea	rsi, .LC2[rip]
	mov	edi, eax
	mov	eax, 0
	call	__CPROVER_assert@PLT
	mov	DWORD PTR -44[rbp], 0
	mov	DWORD PTR -40[rbp], 0
	mov	DWORD PTR -36[rbp], 0
	mov	eax, DWORD PTR -108[rbp]
	cdqe
	mov	DWORD PTR -44[rbp+rax*4], 1
	mov	eax, DWORD PTR -44[rbp]
	cmp	eax, 1
	sete	al
	movzx	eax, al
	lea	rsi, .LC24[rip]
	mov	edi, eax
	mov	eax, 0
	call	__CPROVER_assert@PLT
	mov	eax, DWORD PTR -44[rbp]
	test	eax, eax
	sete	al
	movzx	eax, al
	lea	rsi, .LC25[rip]
	mov	edi, eax
	mov	eax, 0
	call	__CPROVER_assert@PLT
	mov	eax, DWORD PTR -36[rbp]
	test	eax, eax
	sete	al
	movzx	eax, al
	lea	rsi, .LC26[rip]
	mov	edi, eax
	mov	eax, 0
	call	__CPROVER_assert@PLT
	mov	eax, DWORD PTR -36[rbp]
	cmp	eax, 1
	sete	al
	movzx	eax, al
	lea	rsi, .LC27[rip]
	mov	edi, eax
	mov	eax, 0
	call	__CPROVER_assert@PLT
	mov	DWORD PTR -32[rbp], 0
	mov	DWORD PTR -28[rbp], 0
	mov	DWORD PTR -24[rbp], 0
	mov	eax, DWORD PTR -104[rbp]
	cdqe
	mov	DWORD PTR -32[rbp+rax*4], 1
	mov	eax, DWORD PTR -32[rbp]
	test	eax, eax
	sete	al
	movzx	eax, al
	lea	rsi, .LC28[rip]
	mov	edi, eax
	mov	eax, 0
	call	__CPROVER_assert@PLT
	mov	eax, DWORD PTR -24[rbp]
	test	eax, eax
	sete	al
	movzx	eax, al
	lea	rsi, .LC29[rip]
	mov	edi, eax
	mov	eax, 0
	call	__CPROVER_assert@PLT
	mov	DWORD PTR -20[rbp], 0
	mov	DWORD PTR -16[rbp], 0
	mov	DWORD PTR -12[rbp], 0
	mov	eax, DWORD PTR -100[rbp]
	cdqe
	mov	DWORD PTR -20[rbp+rax*4], 1
	mov	eax, DWORD PTR -20[rbp]
	test	eax, eax
	sete	al
	movzx	eax, al
	lea	rsi, .LC30[rip]
	mov	edi, eax
	mov	eax, 0
	call	__CPROVER_assert@PLT
	mov	eax, 0
	mov	rdx, QWORD PTR -8[rbp]
	sub	rdx, QWORD PTR fs:40
	je	.L5
	call	__stack_chk_fail@PLT
.L5:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE0:
	.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	"578469.c"
	.text
	.section	.rodata
	.align	2
.LC0:
	.ascii	"a[1]==0\000"
	.align	2
.LC1:
	.ascii	"a[1]==1\000"
	.align	2
.LC2:
	.ascii	"b[1]==0\000"
	.align	2
.LC3:
	.ascii	"b[1]==1\000"
	.align	2
.LC4:
	.ascii	"*(b+1)==0\000"
	.align	2
.LC5:
	.ascii	"*(b+1)==1\000"
	.align	2
.LC6:
	.ascii	"*(1+b)==0\000"
	.align	2
.LC7:
	.ascii	"*(1+b)==1\000"
	.align	2
.LC8:
	.ascii	"1[b]==0\000"
	.align	2
.LC9:
	.ascii	"1[b]==1\000"
	.align	2
.LC10:
	.ascii	"c[0]==0\000"
	.align	2
.LC11:
	.ascii	"c[0]==1\000"
	.align	2
.LC12:
	.ascii	"d[0]==0\000"
	.align	2
.LC13:
	.ascii	"d[0]==2\000"
	.align	2
.LC14:
	.ascii	"d[1]==0\000"
	.align	2
.LC15:
	.ascii	"a[i]==0\000"
	.align	2
.LC16:
	.ascii	"a[i]==1\000"
	.align	2
.LC17:
	.ascii	"a[j]==0\000"
	.align	2
.LC18:
	.ascii	"a[j]==1\000"
	.align	2
.LC19:
	.ascii	"b[i]==1\000"
	.align	2
.LC20:
	.ascii	"b[i]==0\000"
	.align	2
.LC21:
	.ascii	"b[j]==0\000"
	.align	2
.LC22:
	.ascii	"b[j]==1\000"
	.align	2
.LC23:
	.ascii	"a[100]==0\000"
	.align	2
.LC24:
	.ascii	"ei[0]==1\000"
	.align	2
.LC25:
	.ascii	"ei[0]==0\000"
	.align	2
.LC26:
	.ascii	"ei[2]==0\000"
	.align	2
.LC27:
	.ascii	"ei[2]==1\000"
	.align	2
.LC28:
	.ascii	"ej[0]==0\000"
	.align	2
.LC29:
	.ascii	"ej[2]==0\000"
	.align	2
.LC30:
	.ascii	"ek[0]==0\000"
	.align	2
.LC31:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	main
	.syntax unified
	.arm
	.fpu softvfp
	.type	main, %function
main:
	@ args = 0, pretend = 0, frame = 104
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #104
	ldr	r3, .L6
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	mov	r3, #0
	str	r3, [fp, #-92]
	mov	r3, #0
	str	r3, [fp, #-88]
	mov	r3, #0
	str	r3, [fp, #-84]
	mov	r3, #1
	str	r3, [fp, #-80]
	mov	r3, #0
	str	r3, [fp, #-76]
	mov	r3, #0
	str	r3, [fp, #-72]
	ldr	r3, [fp, #-88]
	cmp	r3, #0
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	ldr	r1, .L6+4
	mov	r0, r3
	bl	__CPROVER_assert
	ldr	r3, [fp, #-88]
	cmp	r3, #1
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	ldr	r1, .L6+8
	mov	r0, r3
	bl	__CPROVER_assert
	ldr	r3, [fp, #-76]
	cmp	r3, #0
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	ldr	r1, .L6+12
	mov	r0, r3
	bl	__CPROVER_assert
	ldr	r3, [fp, #-76]
	cmp	r3, #1
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	ldr	r1, .L6+16
	mov	r0, r3
	bl	__CPROVER_assert
	ldr	r3, [fp, #-76]
	cmp	r3, #0
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	ldr	r1, .L6+20
	mov	r0, r3
	bl	__CPROVER_assert
	ldr	r3, [fp, #-76]
	cmp	r3, #1
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	ldr	r1, .L6+24
	mov	r0, r3
	bl	__CPROVER_assert
	ldr	r3, [fp, #-76]
	cmp	r3, #0
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	ldr	r1, .L6+28
	mov	r0, r3
	bl	__CPROVER_assert
	ldr	r3, [fp, #-76]
	cmp	r3, #1
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	ldr	r1, .L6+32
	mov	r0, r3
	bl	__CPROVER_assert
	ldr	r3, [fp, #-76]
	cmp	r3, #0
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	ldr	r1, .L6+36
	mov	r0, r3
	bl	__CPROVER_assert
	ldr	r3, [fp, #-76]
	cmp	r3, #1
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	ldr	r1, .L6+40
	mov	r0, r3
	bl	__CPROVER_assert
	mov	r3, #0
	str	r3, [fp, #-68]
	mov	r3, #0
	str	r3, [fp, #-64]
	mov	r3, #0
	str	r3, [fp, #-60]
	mov	r3, #0
	str	r3, [fp, #-56]
	mov	r3, #0
	str	r3, [fp, #-52]
	mov	r3, #0
	str	r3, [fp, #-48]
	ldr	r3, [fp, #-96]
	cmp	r3, #2
	ble	.L2
	mov	r3, #0
	str	r3, [fp, #-68]
	mov	r3, #1
	str	r3, [fp, #-56]
.L2:
	ldr	r3, [fp, #-68]
	cmp	r3, #0
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	ldr	r1, .L6+44
	mov	r0, r3
	bl	__CPROVER_assert
	ldr	r3, [fp, #-68]
	cmp	r3, #1
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	ldr	r1, .L6+48
	mov	r0, r3
	bl	__CPROVER_assert
	ldr	r3, [fp, #-56]
	cmp	r3, #0
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	ldr	r1, .L6+52
	mov	r0, r3
	bl	__CPROVER_assert
	ldr	r3, [fp, #-56]
	cmp	r3, #2
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	ldr	r1, .L6+56
	mov	r0, r3
	bl	__CPROVER_assert
	ldr	r3, [fp, #-52]
	cmp	r3, #0
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	ldr	r1, .L6+60
	mov	r0, r3
	bl	__CPROVER_assert
	mov	r3, #0
	str	r3, [fp, #-108]
	mov	r3, #0
	str	r3, [fp, #-104]
	mov	r3, #0
	str	r3, [fp, #-100]
	ldr	r3, [fp, #-96]
	cmp	r3, #3
	ble	.L3
	mov	r3, #0
	str	r3, [fp, #-108]
	mov	r3, #1
	str	r3, [fp, #-104]
	mov	r3, #100
	str	r3, [fp, #-100]
.L3:
	ldr	r3, [fp, #-108]
	lsl	r3, r3, #2
	sub	r2, fp, #4
	add	r3, r2, r3
	ldr	r3, [r3, #-88]
	cmp	r3, #0
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	ldr	r1, .L6+64
	mov	r0, r3
	bl	__CPROVER_assert
	ldr	r3, [fp, #-108]
	lsl	r3, r3, #2
	sub	r2, fp, #4
	add	r3, r2, r3
	ldr	r3, [r3, #-88]
	cmp	r3, #1
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	ldr	r1, .L6+68
	mov	r0, r3
	bl	__CPROVER_assert
	ldr	r3, [fp, #-104]
	lsl	r3, r3, #2
	sub	r2, fp, #4
	add	r3, r2, r3
	ldr	r3, [r3, #-88]
	cmp	r3, #0
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	ldr	r1, .L6+72
	mov	r0, r3
	bl	__CPROVER_assert
	ldr	r3, [fp, #-104]
	lsl	r3, r3, #2
	sub	r2, fp, #4
	add	r3, r2, r3
	ldr	r3, [r3, #-88]
	cmp	r3, #1
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	ldr	r1, .L6+76
	mov	r0, r3
	bl	__CPROVER_assert
	ldr	r3, [fp, #-108]
	lsl	r3, r3, #2
	sub	r2, fp, #4
	add	r3, r2, r3
	ldr	r3, [r3, #-76]
	cmp	r3, #1
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	ldr	r1, .L6+80
	mov	r0, r3
	bl	__CPROVER_assert
	ldr	r3, [fp, #-108]
	lsl	r3, r3, #2
	sub	r2, fp, #4
	add	r3, r2, r3
	ldr	r3, [r3, #-76]
	cmp	r3, #0
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	ldr	r1, .L6+84
	mov	r0, r3
	bl	__CPROVER_assert
	ldr	r3, [fp, #-104]
	lsl	r3, r3, #2
	sub	r2, fp, #4
	add	r3, r2, r3
	ldr	r3, [r3, #-76]
	cmp	r3, #0
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	ldr	r1, .L6+88
	mov	r0, r3
	bl	__CPROVER_assert
	ldr	r3, [fp, #-104]
	lsl	r3, r3, #2
	sub	r2, fp, #4
	add	r3, r2, r3
	ldr	r3, [r3, #-76]
	cmp	r3, #1
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	ldr	r1, .L6+92
	mov	r0, r3
	bl	__CPROVER_assert
	ldr	r3, [fp, #308]
	cmp	r3, #0
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	ldr	r1, .L6+96
	mov	r0, r3
	bl	__CPROVER_assert
	mov	r3, #1
	str	r3, [fp, #308]
	ldr	r3, [fp, #-76]
	cmp	r3, #0
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	ldr	r1, .L6+12
	mov	r0, r3
	bl	__CPROVER_assert
	mov	r3, #0
	str	r3, [fp, #-44]
	mov	r3, #0
	str	r3, [fp, #-40]
	mov	r3, #0
	str	r3, [fp, #-36]
	ldr	r3, [fp, #-108]
	lsl	r3, r3, #2
	sub	r2, fp, #4
	add	r3, r2, r3
	mov	r2, #1
	str	r2, [r3, #-40]
	ldr	r3, [fp, #-44]
	cmp	r3, #1
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	ldr	r1, .L6+100
	mov	r0, r3
	bl	__CPROVER_assert
	ldr	r3, [fp, #-44]
	cmp	r3, #0
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	ldr	r1, .L6+104
	mov	r0, r3
	bl	__CPROVER_assert
	ldr	r3, [fp, #-36]
	cmp	r3, #0
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	ldr	r1, .L6+108
	mov	r0, r3
	bl	__CPROVER_assert
	ldr	r3, [fp, #-36]
	cmp	r3, #1
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	ldr	r1, .L6+112
	mov	r0, r3
	bl	__CPROVER_assert
	mov	r3, #0
	str	r3, [fp, #-32]
	mov	r3, #0
	str	r3, [fp, #-28]
	mov	r3, #0
	str	r3, [fp, #-24]
	ldr	r3, [fp, #-104]
	lsl	r3, r3, #2
	sub	r2, fp, #4
	add	r3, r2, r3
	mov	r2, #1
	str	r2, [r3, #-28]
	ldr	r3, [fp, #-32]
	cmp	r3, #0
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	ldr	r1, .L6+116
	mov	r0, r3
	bl	__CPROVER_assert
	ldr	r3, [fp, #-24]
	cmp	r3, #0
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	ldr	r1, .L6+120
	mov	r0, r3
	bl	__CPROVER_assert
	mov	r3, #0
	str	r3, [fp, #-20]
	mov	r3, #0
	str	r3, [fp, #-16]
	mov	r3, #0
	str	r3, [fp, #-12]
	ldr	r3, [fp, #-100]
	lsl	r3, r3, #2
	sub	r2, fp, #4
	add	r3, r2, r3
	mov	r2, #1
	str	r2, [r3, #-16]
	ldr	r3, [fp, #-20]
	cmp	r3, #0
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	ldr	r1, .L6+124
	mov	r0, r3
	bl	__CPROVER_assert
	mov	r3, #0
	ldr	r2, .L6
	ldr	r1, [r2]
	ldr	r2, [fp, #-8]
	eors	r1, r2, r1
	mov	r2, #0
	beq	.L5
	bl	__stack_chk_fail
.L5:
	mov	r0, r3
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L7:
	.align	2
.L6:
	.word	.LC31
	.word	.LC0
	.word	.LC1
	.word	.LC2
	.word	.LC3
	.word	.LC4
	.word	.LC5
	.word	.LC6
	.word	.LC7
	.word	.LC8
	.word	.LC9
	.word	.LC10
	.word	.LC11
	.word	.LC12
	.word	.LC13
	.word	.LC14
	.word	.LC15
	.word	.LC16
	.word	.LC17
	.word	.LC18
	.word	.LC19
	.word	.LC20
	.word	.LC21
	.word	.LC22
	.word	.LC23
	.word	.LC24
	.word	.LC25
	.word	.LC26
	.word	.LC27
	.word	.LC28
	.word	.LC29
	.word	.LC30
	.size	main, .-main
	.ident	"GCC: (Ubuntu 9.4.0-1ubuntu1~20.04.2) 9.4.0"
	.section	.note.GNU-stack,"",%progbits
