	.file	"595395.c"
	.intel_syntax noprefix
	.text
	.globl	OQS_KEM_LEDACRYPT_CPA_25603_CLEAN_int32_sort
	.type	OQS_KEM_LEDACRYPT_CPA_25603_CLEAN_int32_sort, @function
OQS_KEM_LEDACRYPT_CPA_25603_CLEAN_int32_sort:
.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, 8
	mov	QWORD PTR -120[rbp], rdi
	mov	QWORD PTR -128[rbp], rsi
	cmp	QWORD PTR -128[rbp], 1
	jle	.L33
	mov	QWORD PTR -48[rbp], 1
	jmp	.L4
.L5:
	sal	QWORD PTR -48[rbp]
.L4:
	mov	rax, QWORD PTR -128[rbp]
	sub	rax, QWORD PTR -48[rbp]
	cmp	QWORD PTR -48[rbp], rax
	jl	.L5
	mov	rax, QWORD PTR -48[rbp]
	mov	QWORD PTR -40[rbp], rax
	jmp	.L6
.L32:
	mov	QWORD PTR -16[rbp], 0
	jmp	.L7
.L10:
	mov	rax, QWORD PTR -16[rbp]
	mov	QWORD PTR -8[rbp], rax
	jmp	.L8
.L9:
	mov	rdx, QWORD PTR -8[rbp]
	mov	rax, QWORD PTR -40[rbp]
	add	rax, rdx
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -120[rbp]
	add	rax, rdx
	mov	edx, DWORD PTR [rax]
	mov	rax, QWORD PTR -8[rbp]
	lea	rcx, 0[0+rax*4]
	mov	rax, QWORD PTR -120[rbp]
	add	rax, rcx
	mov	eax, DWORD PTR [rax]
	xor	eax, edx
	mov	DWORD PTR -56[rbp], eax
	mov	rdx, QWORD PTR -8[rbp]
	mov	rax, QWORD PTR -40[rbp]
	add	rax, rdx
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -120[rbp]
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	mov	rdx, QWORD PTR -8[rbp]
	lea	rcx, 0[0+rdx*4]
	mov	rdx, QWORD PTR -120[rbp]
	add	rdx, rcx
	mov	edx, DWORD PTR [rdx]
	sub	eax, edx
	mov	DWORD PTR -52[rbp], eax
	mov	rdx, QWORD PTR -8[rbp]
	mov	rax, QWORD PTR -40[rbp]
	add	rax, rdx
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -120[rbp]
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	xor	eax, DWORD PTR -52[rbp]
	and	eax, DWORD PTR -56[rbp]
	xor	DWORD PTR -52[rbp], eax
	sar	DWORD PTR -52[rbp], 31
	mov	eax, DWORD PTR -56[rbp]
	and	DWORD PTR -52[rbp], eax
	mov	rax, QWORD PTR -8[rbp]
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -120[rbp]
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	mov	rdx, QWORD PTR -8[rbp]
	lea	rcx, 0[0+rdx*4]
	mov	rdx, QWORD PTR -120[rbp]
	add	rdx, rcx
	xor	eax, DWORD PTR -52[rbp]
	mov	DWORD PTR [rdx], eax
	mov	rdx, QWORD PTR -8[rbp]
	mov	rax, QWORD PTR -40[rbp]
	add	rax, rdx
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -120[rbp]
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	mov	rcx, QWORD PTR -8[rbp]
	mov	rdx, QWORD PTR -40[rbp]
	add	rdx, rcx
	lea	rcx, 0[0+rdx*4]
	mov	rdx, QWORD PTR -120[rbp]
	add	rdx, rcx
	xor	eax, DWORD PTR -52[rbp]
	mov	DWORD PTR [rdx], eax
	add	QWORD PTR -8[rbp], 1
.L8:
	mov	rdx, QWORD PTR -16[rbp]
	mov	rax, QWORD PTR -40[rbp]
	add	rax, rdx
	cmp	QWORD PTR -8[rbp], rax
	jl	.L9
	mov	rax, QWORD PTR -40[rbp]
	add	rax, rax
	add	QWORD PTR -16[rbp], rax
.L7:
	mov	rax, QWORD PTR -40[rbp]
	lea	rdx, [rax+rax]
	mov	rax, QWORD PTR -16[rbp]
	add	rax, rdx
	cmp	QWORD PTR -128[rbp], rax
	jge	.L10
	mov	rax, QWORD PTR -16[rbp]
	mov	QWORD PTR -8[rbp], rax
	jmp	.L11
.L12:
	mov	rdx, QWORD PTR -8[rbp]
	mov	rax, QWORD PTR -40[rbp]
	add	rax, rdx
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -120[rbp]
	add	rax, rdx
	mov	edx, DWORD PTR [rax]
	mov	rax, QWORD PTR -8[rbp]
	lea	rcx, 0[0+rax*4]
	mov	rax, QWORD PTR -120[rbp]
	add	rax, rcx
	mov	eax, DWORD PTR [rax]
	xor	eax, edx
	mov	DWORD PTR -64[rbp], eax
	mov	rdx, QWORD PTR -8[rbp]
	mov	rax, QWORD PTR -40[rbp]
	add	rax, rdx
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -120[rbp]
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	mov	rdx, QWORD PTR -8[rbp]
	lea	rcx, 0[0+rdx*4]
	mov	rdx, QWORD PTR -120[rbp]
	add	rdx, rcx
	mov	edx, DWORD PTR [rdx]
	sub	eax, edx
	mov	DWORD PTR -60[rbp], eax
	mov	rdx, QWORD PTR -8[rbp]
	mov	rax, QWORD PTR -40[rbp]
	add	rax, rdx
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -120[rbp]
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	xor	eax, DWORD PTR -60[rbp]
	and	eax, DWORD PTR -64[rbp]
	xor	DWORD PTR -60[rbp], eax
	sar	DWORD PTR -60[rbp], 31
	mov	eax, DWORD PTR -64[rbp]
	and	DWORD PTR -60[rbp], eax
	mov	rax, QWORD PTR -8[rbp]
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -120[rbp]
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	mov	rdx, QWORD PTR -8[rbp]
	lea	rcx, 0[0+rdx*4]
	mov	rdx, QWORD PTR -120[rbp]
	add	rdx, rcx
	xor	eax, DWORD PTR -60[rbp]
	mov	DWORD PTR [rdx], eax
	mov	rdx, QWORD PTR -8[rbp]
	mov	rax, QWORD PTR -40[rbp]
	add	rax, rdx
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -120[rbp]
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	mov	rcx, QWORD PTR -8[rbp]
	mov	rdx, QWORD PTR -40[rbp]
	add	rdx, rcx
	lea	rcx, 0[0+rdx*4]
	mov	rdx, QWORD PTR -120[rbp]
	add	rdx, rcx
	xor	eax, DWORD PTR -60[rbp]
	mov	DWORD PTR [rdx], eax
	add	QWORD PTR -8[rbp], 1
.L11:
	mov	rax, QWORD PTR -128[rbp]
	sub	rax, QWORD PTR -40[rbp]
	cmp	QWORD PTR -8[rbp], rax
	jl	.L12
	mov	QWORD PTR -16[rbp], 0
	mov	QWORD PTR -8[rbp], 0
	mov	rax, QWORD PTR -48[rbp]
	mov	QWORD PTR -32[rbp], rax
	jmp	.L13
.L31:
	mov	rax, QWORD PTR -8[rbp]
	cmp	rax, QWORD PTR -16[rbp]
	je	.L21
.L20:
	mov	rax, QWORD PTR -128[rbp]
	sub	rax, QWORD PTR -32[rbp]
	cmp	QWORD PTR -8[rbp], rax
	je	.L34
	mov	rdx, QWORD PTR -8[rbp]
	mov	rax, QWORD PTR -40[rbp]
	add	rax, rdx
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -120[rbp]
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	mov	DWORD PTR -100[rbp], eax
	mov	rax, QWORD PTR -32[rbp]
	mov	QWORD PTR -24[rbp], rax
	jmp	.L17
.L18:
	mov	rdx, QWORD PTR -8[rbp]
	mov	rax, QWORD PTR -24[rbp]
	add	rax, rdx
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -120[rbp]
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	xor	eax, DWORD PTR -100[rbp]
	mov	DWORD PTR -88[rbp], eax
	mov	rdx, QWORD PTR -8[rbp]
	mov	rax, QWORD PTR -24[rbp]
	add	rax, rdx
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -120[rbp]
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	sub	eax, DWORD PTR -100[rbp]
	mov	DWORD PTR -84[rbp], eax
	mov	rdx, QWORD PTR -8[rbp]
	mov	rax, QWORD PTR -24[rbp]
	add	rax, rdx
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -120[rbp]
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	xor	eax, DWORD PTR -84[rbp]
	and	eax, DWORD PTR -88[rbp]
	xor	DWORD PTR -84[rbp], eax
	sar	DWORD PTR -84[rbp], 31
	mov	eax, DWORD PTR -88[rbp]
	and	DWORD PTR -84[rbp], eax
	mov	eax, DWORD PTR -84[rbp]
	xor	DWORD PTR -100[rbp], eax
	mov	rdx, QWORD PTR -8[rbp]
	mov	rax, QWORD PTR -24[rbp]
	add	rax, rdx
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -120[rbp]
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	mov	rcx, QWORD PTR -8[rbp]
	mov	rdx, QWORD PTR -24[rbp]
	add	rdx, rcx
	lea	rcx, 0[0+rdx*4]
	mov	rdx, QWORD PTR -120[rbp]
	add	rdx, rcx
	xor	eax, DWORD PTR -84[rbp]
	mov	DWORD PTR [rdx], eax
	sar	QWORD PTR -24[rbp]
.L17:
	mov	rax, QWORD PTR -24[rbp]
	cmp	rax, QWORD PTR -40[rbp]
	jg	.L18
	mov	rdx, QWORD PTR -8[rbp]
	mov	rax, QWORD PTR -40[rbp]
	add	rax, rdx
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -120[rbp]
	add	rdx, rax
	mov	eax, DWORD PTR -100[rbp]
	mov	DWORD PTR [rdx], eax
	add	QWORD PTR -8[rbp], 1
	mov	rdx, QWORD PTR -16[rbp]
	mov	rax, QWORD PTR -40[rbp]
	add	rax, rdx
	cmp	QWORD PTR -8[rbp], rax
	jne	.L20
	mov	rax, QWORD PTR -40[rbp]
	add	rax, rax
	add	QWORD PTR -16[rbp], rax
	nop
	jmp	.L21
.L26:
	mov	rax, QWORD PTR -16[rbp]
	mov	QWORD PTR -8[rbp], rax
	jmp	.L22
.L25:
	mov	rdx, QWORD PTR -8[rbp]
	mov	rax, QWORD PTR -40[rbp]
	add	rax, rdx
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -120[rbp]
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	mov	DWORD PTR -96[rbp], eax
	mov	rax, QWORD PTR -32[rbp]
	mov	QWORD PTR -24[rbp], rax
	jmp	.L23
.L24:
	mov	rdx, QWORD PTR -8[rbp]
	mov	rax, QWORD PTR -24[rbp]
	add	rax, rdx
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -120[rbp]
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	xor	eax, DWORD PTR -96[rbp]
	mov	DWORD PTR -72[rbp], eax
	mov	rdx, QWORD PTR -8[rbp]
	mov	rax, QWORD PTR -24[rbp]
	add	rax, rdx
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -120[rbp]
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	sub	eax, DWORD PTR -96[rbp]
	mov	DWORD PTR -68[rbp], eax
	mov	rdx, QWORD PTR -8[rbp]
	mov	rax, QWORD PTR -24[rbp]
	add	rax, rdx
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -120[rbp]
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	xor	eax, DWORD PTR -68[rbp]
	and	eax, DWORD PTR -72[rbp]
	xor	DWORD PTR -68[rbp], eax
	sar	DWORD PTR -68[rbp], 31
	mov	eax, DWORD PTR -72[rbp]
	and	DWORD PTR -68[rbp], eax
	mov	eax, DWORD PTR -68[rbp]
	xor	DWORD PTR -96[rbp], eax
	mov	rdx, QWORD PTR -8[rbp]
	mov	rax, QWORD PTR -24[rbp]
	add	rax, rdx
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -120[rbp]
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	mov	rcx, QWORD PTR -8[rbp]
	mov	rdx, QWORD PTR -24[rbp]
	add	rdx, rcx
	lea	rcx, 0[0+rdx*4]
	mov	rdx, QWORD PTR -120[rbp]
	add	rdx, rcx
	xor	eax, DWORD PTR -68[rbp]
	mov	DWORD PTR [rdx], eax
	sar	QWORD PTR -24[rbp]
.L23:
	mov	rax, QWORD PTR -24[rbp]
	cmp	rax, QWORD PTR -40[rbp]
	jg	.L24
	mov	rdx, QWORD PTR -8[rbp]
	mov	rax, QWORD PTR -40[rbp]
	add	rax, rdx
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -120[rbp]
	add	rdx, rax
	mov	eax, DWORD PTR -96[rbp]
	mov	DWORD PTR [rdx], eax
	add	QWORD PTR -8[rbp], 1
.L22:
	mov	rdx, QWORD PTR -16[rbp]
	mov	rax, QWORD PTR -40[rbp]
	add	rax, rdx
	cmp	QWORD PTR -8[rbp], rax
	jl	.L25
	mov	rax, QWORD PTR -40[rbp]
	add	rax, rax
	add	QWORD PTR -16[rbp], rax
.L21:
	mov	rdx, QWORD PTR -16[rbp]
	mov	rax, QWORD PTR -40[rbp]
	add	rdx, rax
	mov	rax, QWORD PTR -128[rbp]
	sub	rax, QWORD PTR -32[rbp]
	cmp	rdx, rax
	jle	.L26
	mov	rax, QWORD PTR -16[rbp]
	mov	QWORD PTR -8[rbp], rax
	jmp	.L27
.L30:
	mov	rdx, QWORD PTR -8[rbp]
	mov	rax, QWORD PTR -40[rbp]
	add	rax, rdx
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -120[rbp]
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	mov	DWORD PTR -92[rbp], eax
	mov	rax, QWORD PTR -32[rbp]
	mov	QWORD PTR -24[rbp], rax
	jmp	.L28
.L29:
	mov	rdx, QWORD PTR -8[rbp]
	mov	rax, QWORD PTR -24[rbp]
	add	rax, rdx
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -120[rbp]
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	xor	eax, DWORD PTR -92[rbp]
	mov	DWORD PTR -80[rbp], eax
	mov	rdx, QWORD PTR -8[rbp]
	mov	rax, QWORD PTR -24[rbp]
	add	rax, rdx
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -120[rbp]
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	sub	eax, DWORD PTR -92[rbp]
	mov	DWORD PTR -76[rbp], eax
	mov	rdx, QWORD PTR -8[rbp]
	mov	rax, QWORD PTR -24[rbp]
	add	rax, rdx
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -120[rbp]
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	xor	eax, DWORD PTR -76[rbp]
	and	eax, DWORD PTR -80[rbp]
	xor	DWORD PTR -76[rbp], eax
	sar	DWORD PTR -76[rbp], 31
	mov	eax, DWORD PTR -80[rbp]
	and	DWORD PTR -76[rbp], eax
	mov	eax, DWORD PTR -76[rbp]
	xor	DWORD PTR -92[rbp], eax
	mov	rdx, QWORD PTR -8[rbp]
	mov	rax, QWORD PTR -24[rbp]
	add	rax, rdx
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -120[rbp]
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	mov	rcx, QWORD PTR -8[rbp]
	mov	rdx, QWORD PTR -24[rbp]
	add	rdx, rcx
	lea	rcx, 0[0+rdx*4]
	mov	rdx, QWORD PTR -120[rbp]
	add	rdx, rcx
	xor	eax, DWORD PTR -76[rbp]
	mov	DWORD PTR [rdx], eax
	sar	QWORD PTR -24[rbp]
.L28:
	mov	rax, QWORD PTR -24[rbp]
	cmp	rax, QWORD PTR -40[rbp]
	jg	.L29
	mov	rdx, QWORD PTR -8[rbp]
	mov	rax, QWORD PTR -40[rbp]
	add	rax, rdx
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -120[rbp]
	add	rdx, rax
	mov	eax, DWORD PTR -92[rbp]
	mov	DWORD PTR [rdx], eax
	add	QWORD PTR -8[rbp], 1
.L27:
	mov	rax, QWORD PTR -128[rbp]
	sub	rax, QWORD PTR -32[rbp]
	cmp	QWORD PTR -8[rbp], rax
	jl	.L30
	jmp	.L16
.L34:
	nop
.L16:
	sar	QWORD PTR -32[rbp]
.L13:
	mov	rax, QWORD PTR -32[rbp]
	cmp	rax, QWORD PTR -40[rbp]
	jg	.L31
	sar	QWORD PTR -40[rbp]
.L6:
	cmp	QWORD PTR -40[rbp], 0
	jg	.L32
	jmp	.L1
.L33:
	nop
.L1:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE0:
	.size	OQS_KEM_LEDACRYPT_CPA_25603_CLEAN_int32_sort, .-OQS_KEM_LEDACRYPT_CPA_25603_CLEAN_int32_sort
	.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	"595395.c"
	.text
	.align	2
	.global	OQS_KEM_LEDACRYPT_CPA_25603_CLEAN_int32_sort
	.syntax unified
	.arm
	.fpu softvfp
	.type	OQS_KEM_LEDACRYPT_CPA_25603_CLEAN_int32_sort, %function
OQS_KEM_LEDACRYPT_CPA_25603_CLEAN_int32_sort:
	@ args = 0, pretend = 0, frame = 280
	@ frame_needed = 1, uses_anonymous_args = 0
	@ link register save eliminated.
	push	{r4, r5, r6, r7, r8, r9, fp}
	add	fp, sp, #24
	sub	sp, sp, #284
	str	r0, [fp, #-136]
	str	r2, [fp, #-148]
	str	r3, [fp, #-144]
	sub	r3, fp, #148
	ldmia	r3, {r2-r3}
	cmp	r2, #2
	sbcs	r3, r3, #0
	blt	.L33
	mov	r2, #1
	mov	r3, #0
	str	r2, [fp, #-76]
	str	r3, [fp, #-72]
	b	.L4
.L5:
	sub	r3, fp, #76
	ldmia	r3, {r2-r3}
	adds	r4, r2, r2
	adc	r5, r3, r3
	str	r4, [fp, #-76]
	str	r5, [fp, #-72]
.L4:
	sub	r1, fp, #148
	ldmia	r1, {r0-r1}
	sub	r3, fp, #76
	ldmia	r3, {r2-r3}
	subs	r6, r0, r2
	sbc	r7, r1, r3
	sub	r3, fp, #76
	ldmia	r3, {r2-r3}
	cmp	r2, r6
	sbcs	r3, r3, r7
	blt	.L5
	sub	r3, fp, #76
	ldmia	r3, {r2-r3}
	str	r2, [fp, #-68]
	str	r3, [fp, #-64]
	b	.L6
.L32:
	mov	r2, #0
	mov	r3, #0
	str	r2, [fp, #-44]
	str	r3, [fp, #-40]
	b	.L7
.L10:
	sub	r3, fp, #44
	ldmia	r3, {r2-r3}
	str	r2, [fp, #-36]
	str	r3, [fp, #-32]
	b	.L8
.L9:
	ldr	r2, [fp, #-36]
	ldr	r3, [fp, #-68]
	add	r3, r2, r3
	lsl	r2, r3, #2
	ldr	r3, [fp, #-136]
	add	r3, r3, r2
	ldr	r1, [r3]
	ldr	r3, [fp, #-36]
	lsl	r2, r3, #2
	ldr	r3, [fp, #-136]
	add	r3, r3, r2
	ldr	r3, [r3]
	eor	r3, r3, r1
	str	r3, [fp, #-84]
	ldr	r2, [fp, #-36]
	ldr	r3, [fp, #-68]
	add	r3, r2, r3
	lsl	r2, r3, #2
	ldr	r3, [fp, #-136]
	add	r3, r3, r2
	ldr	r1, [r3]
	ldr	r3, [fp, #-36]
	lsl	r2, r3, #2
	ldr	r3, [fp, #-136]
	add	r3, r3, r2
	ldr	r3, [r3]
	sub	r3, r1, r3
	str	r3, [fp, #-80]
	ldr	r2, [fp, #-36]
	ldr	r3, [fp, #-68]
	add	r3, r2, r3
	lsl	r2, r3, #2
	ldr	r3, [fp, #-136]
	add	r3, r3, r2
	ldr	r2, [r3]
	ldr	r3, [fp, #-80]
	eor	r2, r2, r3
	ldr	r3, [fp, #-84]
	and	r2, r2, r3
	ldr	r3, [fp, #-80]
	eor	r3, r3, r2
	str	r3, [fp, #-80]
	ldr	r3, [fp, #-80]
	asr	r3, r3, #31
	str	r3, [fp, #-80]
	ldr	r2, [fp, #-80]
	ldr	r3, [fp, #-84]
	and	r3, r3, r2
	str	r3, [fp, #-80]
	ldr	r3, [fp, #-36]
	lsl	r2, r3, #2
	ldr	r3, [fp, #-136]
	add	r3, r3, r2
	ldr	r1, [r3]
	ldr	r3, [fp, #-36]
	lsl	r2, r3, #2
	ldr	r3, [fp, #-136]
	add	r2, r3, r2
	ldr	r3, [fp, #-80]
	eor	r3, r3, r1
	str	r3, [r2]
	ldr	r2, [fp, #-36]
	ldr	r3, [fp, #-68]
	add	r3, r2, r3
	lsl	r2, r3, #2
	ldr	r3, [fp, #-136]
	add	r3, r3, r2
	ldr	r1, [r3]
	ldr	r2, [fp, #-36]
	ldr	r3, [fp, #-68]
	add	r3, r2, r3
	lsl	r2, r3, #2
	ldr	r3, [fp, #-136]
	add	r2, r3, r2
	ldr	r3, [fp, #-80]
	eor	r3, r3, r1
	str	r3, [r2]
	sub	r3, fp, #36
	ldmia	r3, {r2-r3}
	adds	r8, r2, #1
	adc	r9, r3, #0
	str	r8, [fp, #-36]
	str	r9, [fp, #-32]
.L8:
	sub	r1, fp, #44
	ldmia	r1, {r0-r1}
	sub	r3, fp, #68
	ldmia	r3, {r2-r3}
	adds	ip, r0, r2
	str	ip, [fp, #-156]
	adc	r3, r1, r3
	str	r3, [fp, #-152]
	sub	r3, fp, #36
	ldmia	r3, {r2-r3}
	sub	r1, fp, #156
	ldmia	r1, {r0-r1}
	cmp	r2, r0
	sbcs	r3, r3, r1
	blt	.L9
	sub	r3, fp, #68
	ldmia	r3, {r2-r3}
	adds	r1, r2, r2
	str	r1, [fp, #-228]
	adc	r3, r3, r3
	str	r3, [fp, #-224]
	sub	r1, fp, #228
	ldmia	r1, {r0-r1}
	sub	r3, fp, #44
	ldmia	r3, {r2-r3}
	adds	ip, r2, r0
	str	ip, [fp, #-236]
	adc	r3, r3, r1
	str	r3, [fp, #-232]
	sub	r4, fp, #236
	ldmia	r4, {r3-r4}
	str	r3, [fp, #-44]
	str	r4, [fp, #-40]
.L7:
	sub	r3, fp, #68
	ldmia	r3, {r2-r3}
	adds	r1, r2, r2
	str	r1, [fp, #-244]
	adc	r3, r3, r3
	str	r3, [fp, #-240]
	sub	r1, fp, #244
	ldmia	r1, {r0-r1}
	sub	r3, fp, #44
	ldmia	r3, {r2-r3}
	adds	ip, r0, r2
	str	ip, [fp, #-164]
	adc	r3, r1, r3
	str	r3, [fp, #-160]
	sub	r3, fp, #148
	ldmia	r3, {r2-r3}
	sub	r1, fp, #164
	ldmia	r1, {r0-r1}
	cmp	r2, r0
	sbcs	r3, r3, r1
	bge	.L10
	sub	r3, fp, #44
	ldmia	r3, {r2-r3}
	str	r2, [fp, #-36]
	str	r3, [fp, #-32]
	b	.L11
.L12:
	ldr	r2, [fp, #-36]
	ldr	r3, [fp, #-68]
	add	r3, r2, r3
	lsl	r2, r3, #2
	ldr	r3, [fp, #-136]
	add	r3, r3, r2
	ldr	r1, [r3]
	ldr	r3, [fp, #-36]
	lsl	r2, r3, #2
	ldr	r3, [fp, #-136]
	add	r3, r3, r2
	ldr	r3, [r3]
	eor	r3, r3, r1
	str	r3, [fp, #-92]
	ldr	r2, [fp, #-36]
	ldr	r3, [fp, #-68]
	add	r3, r2, r3
	lsl	r2, r3, #2
	ldr	r3, [fp, #-136]
	add	r3, r3, r2
	ldr	r1, [r3]
	ldr	r3, [fp, #-36]
	lsl	r2, r3, #2
	ldr	r3, [fp, #-136]
	add	r3, r3, r2
	ldr	r3, [r3]
	sub	r3, r1, r3
	str	r3, [fp, #-88]
	ldr	r2, [fp, #-36]
	ldr	r3, [fp, #-68]
	add	r3, r2, r3
	lsl	r2, r3, #2
	ldr	r3, [fp, #-136]
	add	r3, r3, r2
	ldr	r2, [r3]
	ldr	r3, [fp, #-88]
	eor	r2, r2, r3
	ldr	r3, [fp, #-92]
	and	r2, r2, r3
	ldr	r3, [fp, #-88]
	eor	r3, r3, r2
	str	r3, [fp, #-88]
	ldr	r3, [fp, #-88]
	asr	r3, r3, #31
	str	r3, [fp, #-88]
	ldr	r2, [fp, #-88]
	ldr	r3, [fp, #-92]
	and	r3, r3, r2
	str	r3, [fp, #-88]
	ldr	r3, [fp, #-36]
	lsl	r2, r3, #2
	ldr	r3, [fp, #-136]
	add	r3, r3, r2
	ldr	r1, [r3]
	ldr	r3, [fp, #-36]
	lsl	r2, r3, #2
	ldr	r3, [fp, #-136]
	add	r2, r3, r2
	ldr	r3, [fp, #-88]
	eor	r3, r3, r1
	str	r3, [r2]
	ldr	r2, [fp, #-36]
	ldr	r3, [fp, #-68]
	add	r3, r2, r3
	lsl	r2, r3, #2
	ldr	r3, [fp, #-136]
	add	r3, r3, r2
	ldr	r1, [r3]
	ldr	r2, [fp, #-36]
	ldr	r3, [fp, #-68]
	add	r3, r2, r3
	lsl	r2, r3, #2
	ldr	r3, [fp, #-136]
	add	r2, r3, r2
	ldr	r3, [fp, #-88]
	eor	r3, r3, r1
	str	r3, [r2]
	sub	r3, fp, #36
	ldmia	r3, {r2-r3}
	adds	r1, r2, #1
	str	r1, [fp, #-252]
	adc	r3, r3, #0
	str	r3, [fp, #-248]
	sub	r4, fp, #252
	ldmia	r4, {r3-r4}
	str	r3, [fp, #-36]
	str	r4, [fp, #-32]
.L11:
	sub	r1, fp, #148
	ldmia	r1, {r0-r1}
	sub	r3, fp, #68
	ldmia	r3, {r2-r3}
	subs	ip, r0, r2
	str	ip, [fp, #-172]
	sbc	r3, r1, r3
	str	r3, [fp, #-168]
	sub	r3, fp, #36
	ldmia	r3, {r2-r3}
	sub	r1, fp, #172
	ldmia	r1, {r0-r1}
	cmp	r2, r0
	sbcs	r3, r3, r1
	blt	.L12
	mov	r2, #0
	mov	r3, #0
	str	r2, [fp, #-44]
	str	r3, [fp, #-40]
	mov	r2, #0
	mov	r3, #0
	str	r2, [fp, #-36]
	str	r3, [fp, #-32]
	sub	r3, fp, #76
	ldmia	r3, {r2-r3}
	str	r2, [fp, #-60]
	str	r3, [fp, #-56]
	b	.L13
.L31:
	sub	r1, fp, #36
	ldmia	r1, {r0-r1}
	sub	r3, fp, #44
	ldmia	r3, {r2-r3}
	cmp	r1, r3
	cmpeq	r0, r2
	beq	.L21
.L20:
	sub	r1, fp, #148
	ldmia	r1, {r0-r1}
	sub	r3, fp, #60
	ldmia	r3, {r2-r3}
	subs	ip, r0, r2
	str	ip, [fp, #-180]
	sbc	r3, r1, r3
	str	r3, [fp, #-176]
	sub	r3, fp, #36
	ldmia	r3, {r2-r3}
	sub	r1, fp, #180
	ldmia	r1, {r0-r1}
	cmp	r3, r1
	cmpeq	r2, r0
	beq	.L34
	ldr	r2, [fp, #-36]
	ldr	r3, [fp, #-68]
	add	r3, r2, r3
	lsl	r2, r3, #2
	ldr	r3, [fp, #-136]
	add	r3, r3, r2
	ldr	r3, [r3]
	str	r3, [fp, #-128]
	sub	r3, fp, #60
	ldmia	r3, {r2-r3}
	str	r2, [fp, #-52]
	str	r3, [fp, #-48]
	b	.L17
.L18:
	ldr	r2, [fp, #-36]
	ldr	r3, [fp, #-52]
	add	r3, r2, r3
	lsl	r2, r3, #2
	ldr	r3, [fp, #-136]
	add	r3, r3, r2
	ldr	r2, [r3]
	ldr	r3, [fp, #-128]
	eor	r3, r3, r2
	str	r3, [fp, #-116]
	ldr	r2, [fp, #-36]
	ldr	r3, [fp, #-52]
	add	r3, r2, r3
	lsl	r2, r3, #2
	ldr	r3, [fp, #-136]
	add	r3, r3, r2
	ldr	r2, [r3]
	ldr	r3, [fp, #-128]
	sub	r3, r2, r3
	str	r3, [fp, #-112]
	ldr	r2, [fp, #-36]
	ldr	r3, [fp, #-52]
	add	r3, r2, r3
	lsl	r2, r3, #2
	ldr	r3, [fp, #-136]
	add	r3, r3, r2
	ldr	r2, [r3]
	ldr	r3, [fp, #-112]
	eor	r2, r2, r3
	ldr	r3, [fp, #-116]
	and	r2, r2, r3
	ldr	r3, [fp, #-112]
	eor	r3, r3, r2
	str	r3, [fp, #-112]
	ldr	r3, [fp, #-112]
	asr	r3, r3, #31
	str	r3, [fp, #-112]
	ldr	r2, [fp, #-112]
	ldr	r3, [fp, #-116]
	and	r3, r3, r2
	str	r3, [fp, #-112]
	ldr	r2, [fp, #-128]
	ldr	r3, [fp, #-112]
	eor	r3, r3, r2
	str	r3, [fp, #-128]
	ldr	r2, [fp, #-36]
	ldr	r3, [fp, #-52]
	add	r3, r2, r3
	lsl	r2, r3, #2
	ldr	r3, [fp, #-136]
	add	r3, r3, r2
	ldr	r1, [r3]
	ldr	r2, [fp, #-36]
	ldr	r3, [fp, #-52]
	add	r3, r2, r3
	lsl	r2, r3, #2
	ldr	r3, [fp, #-136]
	add	r2, r3, r2
	ldr	r3, [fp, #-112]
	eor	r3, r3, r1
	str	r3, [r2]
	sub	r3, fp, #52
	ldmia	r3, {r2-r3}
	mov	r0, #0
	mov	r1, #0
	lsr	r0, r2, #1
	orr	r0, r0, r3, lsl #31
	asr	r1, r3, #1
	str	r0, [fp, #-52]
	str	r1, [fp, #-48]
.L17:
	sub	r1, fp, #52
	ldmia	r1, {r0-r1}
	sub	r3, fp, #68
	ldmia	r3, {r2-r3}
	cmp	r2, r0
	sbcs	r3, r3, r1
	blt	.L18
	ldr	r2, [fp, #-36]
	ldr	r3, [fp, #-68]
	add	r3, r2, r3
	lsl	r2, r3, #2
	ldr	r3, [fp, #-136]
	add	r2, r3, r2
	ldr	r3, [fp, #-128]
	str	r3, [r2]
	sub	r3, fp, #36
	ldmia	r3, {r2-r3}
	adds	r1, r2, #1
	str	r1, [fp, #-260]
	adc	r3, r3, #0
	str	r3, [fp, #-256]
	sub	r4, fp, #260
	ldmia	r4, {r3-r4}
	str	r3, [fp, #-36]
	str	r4, [fp, #-32]
	sub	r1, fp, #44
	ldmia	r1, {r0-r1}
	sub	r3, fp, #68
	ldmia	r3, {r2-r3}
	adds	ip, r0, r2
	str	ip, [fp, #-188]
	adc	r3, r1, r3
	str	r3, [fp, #-184]
	sub	r3, fp, #36
	ldmia	r3, {r2-r3}
	sub	r1, fp, #188
	ldmia	r1, {r0-r1}
	cmp	r3, r1
	cmpeq	r2, r0
	bne	.L20
	sub	r3, fp, #68
	ldmia	r3, {r2-r3}
	adds	r1, r2, r2
	str	r1, [fp, #-268]
	adc	r3, r3, r3
	str	r3, [fp, #-264]
	sub	r1, fp, #268
	ldmia	r1, {r0-r1}
	sub	r3, fp, #44
	ldmia	r3, {r2-r3}
	adds	ip, r2, r0
	str	ip, [fp, #-276]
	adc	r3, r3, r1
	str	r3, [fp, #-272]
	sub	r4, fp, #276
	ldmia	r4, {r3-r4}
	str	r3, [fp, #-44]
	str	r4, [fp, #-40]
	nop
	b	.L21
.L26:
	sub	r3, fp, #44
	ldmia	r3, {r2-r3}
	str	r2, [fp, #-36]
	str	r3, [fp, #-32]
	b	.L22
.L25:
	ldr	r2, [fp, #-36]
	ldr	r3, [fp, #-68]
	add	r3, r2, r3
	lsl	r2, r3, #2
	ldr	r3, [fp, #-136]
	add	r3, r3, r2
	ldr	r3, [r3]
	str	r3, [fp, #-124]
	sub	r3, fp, #60
	ldmia	r3, {r2-r3}
	str	r2, [fp, #-52]
	str	r3, [fp, #-48]
	b	.L23
.L24:
	ldr	r2, [fp, #-36]
	ldr	r3, [fp, #-52]
	add	r3, r2, r3
	lsl	r2, r3, #2
	ldr	r3, [fp, #-136]
	add	r3, r3, r2
	ldr	r2, [r3]
	ldr	r3, [fp, #-124]
	eor	r3, r3, r2
	str	r3, [fp, #-100]
	ldr	r2, [fp, #-36]
	ldr	r3, [fp, #-52]
	add	r3, r2, r3
	lsl	r2, r3, #2
	ldr	r3, [fp, #-136]
	add	r3, r3, r2
	ldr	r2, [r3]
	ldr	r3, [fp, #-124]
	sub	r3, r2, r3
	str	r3, [fp, #-96]
	ldr	r2, [fp, #-36]
	ldr	r3, [fp, #-52]
	add	r3, r2, r3
	lsl	r2, r3, #2
	ldr	r3, [fp, #-136]
	add	r3, r3, r2
	ldr	r2, [r3]
	ldr	r3, [fp, #-96]
	eor	r2, r2, r3
	ldr	r3, [fp, #-100]
	and	r2, r2, r3
	ldr	r3, [fp, #-96]
	eor	r3, r3, r2
	str	r3, [fp, #-96]
	ldr	r3, [fp, #-96]
	asr	r3, r3, #31
	str	r3, [fp, #-96]
	ldr	r2, [fp, #-96]
	ldr	r3, [fp, #-100]
	and	r3, r3, r2
	str	r3, [fp, #-96]
	ldr	r2, [fp, #-124]
	ldr	r3, [fp, #-96]
	eor	r3, r3, r2
	str	r3, [fp, #-124]
	ldr	r2, [fp, #-36]
	ldr	r3, [fp, #-52]
	add	r3, r2, r3
	lsl	r2, r3, #2
	ldr	r3, [fp, #-136]
	add	r3, r3, r2
	ldr	r1, [r3]
	ldr	r2, [fp, #-36]
	ldr	r3, [fp, #-52]
	add	r3, r2, r3
	lsl	r2, r3, #2
	ldr	r3, [fp, #-136]
	add	r2, r3, r2
	ldr	r3, [fp, #-96]
	eor	r3, r3, r1
	str	r3, [r2]
	sub	r3, fp, #52
	ldmia	r3, {r2-r3}
	mov	r0, #0
	mov	r1, #0
	lsr	r0, r2, #1
	orr	r0, r0, r3, lsl #31
	asr	r1, r3, #1
	str	r0, [fp, #-52]
	str	r1, [fp, #-48]
.L23:
	sub	r1, fp, #52
	ldmia	r1, {r0-r1}
	sub	r3, fp, #68
	ldmia	r3, {r2-r3}
	cmp	r2, r0
	sbcs	r3, r3, r1
	blt	.L24
	ldr	r2, [fp, #-36]
	ldr	r3, [fp, #-68]
	add	r3, r2, r3
	lsl	r2, r3, #2
	ldr	r3, [fp, #-136]
	add	r2, r3, r2
	ldr	r3, [fp, #-124]
	str	r3, [r2]
	sub	r3, fp, #36
	ldmia	r3, {r2-r3}
	adds	r1, r2, #1
	str	r1, [fp, #-284]
	adc	r3, r3, #0
	str	r3, [fp, #-280]
	sub	r4, fp, #284
	ldmia	r4, {r3-r4}
	str	r3, [fp, #-36]
	str	r4, [fp, #-32]
.L22:
	sub	r1, fp, #44
	ldmia	r1, {r0-r1}
	sub	r3, fp, #68
	ldmia	r3, {r2-r3}
	adds	ip, r0, r2
	str	ip, [fp, #-196]
	adc	r3, r1, r3
	str	r3, [fp, #-192]
	sub	r3, fp, #36
	ldmia	r3, {r2-r3}
	sub	r1, fp, #196
	ldmia	r1, {r0-r1}
	cmp	r2, r0
	sbcs	r3, r3, r1
	blt	.L25
	sub	r3, fp, #68
	ldmia	r3, {r2-r3}
	adds	r1, r2, r2
	str	r1, [fp, #-292]
	adc	r3, r3, r3
	str	r3, [fp, #-288]
	sub	r1, fp, #292
	ldmia	r1, {r0-r1}
	sub	r3, fp, #44
	ldmia	r3, {r2-r3}
	adds	ip, r2, r0
	str	ip, [fp, #-300]
	adc	r3, r3, r1
	str	r3, [fp, #-296]
	sub	r4, fp, #300
	ldmia	r4, {r3-r4}
	str	r3, [fp, #-44]
	str	r4, [fp, #-40]
.L21:
	sub	r1, fp, #44
	ldmia	r1, {r0-r1}
	sub	r3, fp, #68
	ldmia	r3, {r2-r3}
	adds	ip, r0, r2
	str	ip, [fp, #-204]
	adc	r3, r1, r3
	str	r3, [fp, #-200]
	sub	r1, fp, #148
	ldmia	r1, {r0-r1}
	sub	r3, fp, #60
	ldmia	r3, {r2-r3}
	subs	ip, r0, r2
	str	ip, [fp, #-212]
	sbc	r3, r1, r3
	str	r3, [fp, #-208]
	sub	r4, fp, #212
	ldmia	r4, {r3-r4}
	sub	r2, fp, #204
	ldmia	r2, {r1-r2}
	cmp	r3, r1
	sbcs	r3, r4, r2
	bge	.L26
	sub	r3, fp, #44
	ldmia	r3, {r2-r3}
	str	r2, [fp, #-36]
	str	r3, [fp, #-32]
	b	.L27
.L30:
	ldr	r2, [fp, #-36]
	ldr	r3, [fp, #-68]
	add	r3, r2, r3
	lsl	r2, r3, #2
	ldr	r3, [fp, #-136]
	add	r3, r3, r2
	ldr	r3, [r3]
	str	r3, [fp, #-120]
	sub	r3, fp, #60
	ldmia	r3, {r2-r3}
	str	r2, [fp, #-52]
	str	r3, [fp, #-48]
	b	.L28
.L29:
	ldr	r2, [fp, #-36]
	ldr	r3, [fp, #-52]
	add	r3, r2, r3
	lsl	r2, r3, #2
	ldr	r3, [fp, #-136]
	add	r3, r3, r2
	ldr	r2, [r3]
	ldr	r3, [fp, #-120]
	eor	r3, r3, r2
	str	r3, [fp, #-108]
	ldr	r2, [fp, #-36]
	ldr	r3, [fp, #-52]
	add	r3, r2, r3
	lsl	r2, r3, #2
	ldr	r3, [fp, #-136]
	add	r3, r3, r2
	ldr	r2, [r3]
	ldr	r3, [fp, #-120]
	sub	r3, r2, r3
	str	r3, [fp, #-104]
	ldr	r2, [fp, #-36]
	ldr	r3, [fp, #-52]
	add	r3, r2, r3
	lsl	r2, r3, #2
	ldr	r3, [fp, #-136]
	add	r3, r3, r2
	ldr	r2, [r3]
	ldr	r3, [fp, #-104]
	eor	r2, r2, r3
	ldr	r3, [fp, #-108]
	and	r2, r2, r3
	ldr	r3, [fp, #-104]
	eor	r3, r3, r2
	str	r3, [fp, #-104]
	ldr	r3, [fp, #-104]
	asr	r3, r3, #31
	str	r3, [fp, #-104]
	ldr	r2, [fp, #-104]
	ldr	r3, [fp, #-108]
	and	r3, r3, r2
	str	r3, [fp, #-104]
	ldr	r2, [fp, #-120]
	ldr	r3, [fp, #-104]
	eor	r3, r3, r2
	str	r3, [fp, #-120]
	ldr	r2, [fp, #-36]
	ldr	r3, [fp, #-52]
	add	r3, r2, r3
	lsl	r2, r3, #2
	ldr	r3, [fp, #-136]
	add	r3, r3, r2
	ldr	r1, [r3]
	ldr	r2, [fp, #-36]
	ldr	r3, [fp, #-52]
	add	r3, r2, r3
	lsl	r2, r3, #2
	ldr	r3, [fp, #-136]
	add	r2, r3, r2
	ldr	r3, [fp, #-104]
	eor	r3, r3, r1
	str	r3, [r2]
	sub	r3, fp, #52
	ldmia	r3, {r2-r3}
	mov	r0, #0
	mov	r1, #0
	lsr	r0, r2, #1
	orr	r0, r0, r3, lsl #31
	asr	r1, r3, #1
	str	r0, [fp, #-52]
	str	r1, [fp, #-48]
.L28:
	sub	r1, fp, #52
	ldmia	r1, {r0-r1}
	sub	r3, fp, #68
	ldmia	r3, {r2-r3}
	cmp	r2, r0
	sbcs	r3, r3, r1
	blt	.L29
	ldr	r2, [fp, #-36]
	ldr	r3, [fp, #-68]
	add	r3, r2, r3
	lsl	r2, r3, #2
	ldr	r3, [fp, #-136]
	add	r2, r3, r2
	ldr	r3, [fp, #-120]
	str	r3, [r2]
	sub	r3, fp, #36
	ldmia	r3, {r2-r3}
	adds	r1, r2, #1
	str	r1, [fp, #-308]
	adc	r3, r3, #0
	str	r3, [fp, #-304]
	sub	r4, fp, #308
	ldmia	r4, {r3-r4}
	str	r3, [fp, #-36]
	str	r4, [fp, #-32]
.L27:
	sub	r1, fp, #148
	ldmia	r1, {r0-r1}
	sub	r3, fp, #60
	ldmia	r3, {r2-r3}
	subs	ip, r0, r2
	str	ip, [fp, #-220]
	sbc	r3, r1, r3
	str	r3, [fp, #-216]
	sub	r3, fp, #36
	ldmia	r3, {r2-r3}
	sub	r1, fp, #220
	ldmia	r1, {r0-r1}
	cmp	r2, r0
	sbcs	r3, r3, r1
	blt	.L30
	b	.L16
.L34:
	nop
.L16:
	sub	r3, fp, #60
	ldmia	r3, {r2-r3}
	mov	r0, #0
	mov	r1, #0
	lsr	r0, r2, #1
	orr	r0, r0, r3, lsl #31
	asr	r1, r3, #1
	str	r0, [fp, #-60]
	str	r1, [fp, #-56]
.L13:
	sub	r1, fp, #60
	ldmia	r1, {r0-r1}
	sub	r3, fp, #68
	ldmia	r3, {r2-r3}
	cmp	r2, r0
	sbcs	r3, r3, r1
	blt	.L31
	sub	r3, fp, #68
	ldmia	r3, {r2-r3}
	mov	r0, #0
	mov	r1, #0
	lsr	r0, r2, #1
	orr	r0, r0, r3, lsl #31
	asr	r1, r3, #1
	str	r0, [fp, #-68]
	str	r1, [fp, #-64]
.L6:
	sub	r3, fp, #68
	ldmia	r3, {r2-r3}
	cmp	r2, #1
	sbcs	r3, r3, #0
	bge	.L32
	b	.L1
.L33:
	nop
.L1:
	sub	sp, fp, #24
	@ sp needed
	pop	{r4, r5, r6, r7, r8, r9, fp}
	bx	lr
	.size	OQS_KEM_LEDACRYPT_CPA_25603_CLEAN_int32_sort, .-OQS_KEM_LEDACRYPT_CPA_25603_CLEAN_int32_sort
	.ident	"GCC: (Ubuntu 9.4.0-1ubuntu1~20.04.2) 9.4.0"
	.section	.note.GNU-stack,"",%progbits
