	.file	"ecs_vrf.c"
	.text
.Ltext0:
	.section	.text.unlikely,"ax",@progbits
.LCOLDB0:
	.text
.LHOTB0:
	.p2align 4,,15
	.section	.text.unlikely
.Ltext_cold0:
	.text
	.globl	ECDSA_do_verify
	.type	ECDSA_do_verify, @function
ECDSA_do_verify:
.LFB70:
	.file 1 "ecdsa/ecs_vrf.c"
	.loc 1 75 0
	.cfi_startproc
.LVL0:
	pushq	%r13
	.cfi_def_cfa_offset 16
	.cfi_offset 13, -16
	pushq	%r12
	.cfi_def_cfa_offset 24
	.cfi_offset 12, -24
	movq	%rdx, %r13
	pushq	%rbp
	.cfi_def_cfa_offset 32
	.cfi_offset 6, -32
	pushq	%rbx
	.cfi_def_cfa_offset 40
	.cfi_offset 3, -40
	movq	%rdi, %rbp
	.loc 1 76 0
	movq	%rcx, %rdi
.LVL1:
	.loc 1 75 0
	movl	%esi, %r12d
	movq	%rcx, %rbx
	subq	$8, %rsp
	.cfi_def_cfa_offset 48
	.loc 1 76 0
	call	ecdsa_check
.LVL2:
	.loc 1 78 0
	testq	%rax, %rax
	je	.L2
	.loc 1 80 0
	movq	24(%rax), %rax
.LVL3:
	movq	%rbx, %rcx
	movq	%r13, %rdx
	movl	%r12d, %esi
	movq	%rbp, %rdi
	movq	24(%rax), %rax
	.loc 1 81 0
	addq	$8, %rsp
	.cfi_remember_state
	.cfi_def_cfa_offset 40
	popq	%rbx
	.cfi_def_cfa_offset 32
.LVL4:
	popq	%rbp
	.cfi_def_cfa_offset 24
.LVL5:
	popq	%r12
	.cfi_def_cfa_offset 16
.LVL6:
	popq	%r13
	.cfi_def_cfa_offset 8
.LVL7:
	.loc 1 80 0
	jmp	*%rax
.LVL8:
	.p2align 4,,10
	.p2align 3
.L2:
	.cfi_restore_state
	.loc 1 81 0
	addq	$8, %rsp
	.cfi_def_cfa_offset 40
	xorl	%eax, %eax
.LVL9:
	popq	%rbx
	.cfi_def_cfa_offset 32
.LVL10:
	popq	%rbp
	.cfi_def_cfa_offset 24
.LVL11:
	popq	%r12
	.cfi_def_cfa_offset 16
.LVL12:
	popq	%r13
	.cfi_def_cfa_offset 8
.LVL13:
	ret
	.cfi_endproc
.LFE70:
	.size	ECDSA_do_verify, .-ECDSA_do_verify
	.section	.text.unlikely
.LCOLDE0:
	.text
.LHOTE0:
	.section	.text.unlikely
.LCOLDB1:
	.text
.LHOTB1:
	.p2align 4,,15
	.globl	ECDSA_verify
	.type	ECDSA_verify, @function
ECDSA_verify:
.LFB71:
	.loc 1 91 0
	.cfi_startproc
.LVL14:
	pushq	%r15
	.cfi_def_cfa_offset 16
	.cfi_offset 15, -16
	pushq	%r14
	.cfi_def_cfa_offset 24
	.cfi_offset 14, -24
	movq	%r9, %r15
	pushq	%r13
	.cfi_def_cfa_offset 32
	.cfi_offset 13, -32
	pushq	%r12
	.cfi_def_cfa_offset 40
	.cfi_offset 12, -40
	movq	%rsi, %r13
	pushq	%rbp
	.cfi_def_cfa_offset 48
	.cfi_offset 6, -48
	pushq	%rbx
	.cfi_def_cfa_offset 56
	.cfi_offset 3, -56
	movl	%edx, %r14d
	movq	%rcx, %rbp
	movl	%r8d, %ebx
	subq	$56, %rsp
	.cfi_def_cfa_offset 112
	.loc 1 91 0
	movq	%fs:40, %rax
	movq	%rax, 40(%rsp)
	xorl	%eax, %eax
	.loc 1 93 0
	movq	$0, 24(%rsp)
	.loc 1 94 0
	movq	%rcx, 32(%rsp)
.LVL15:
	.loc 1 98 0
	call	ECDSA_SIG_new
.LVL16:
	.loc 1 99 0
	testq	%rax, %rax
	.loc 1 98 0
	movq	%rax, 16(%rsp)
	.loc 1 99 0
	je	.L14
	.loc 1 101 0
	movslq	%ebx, %r12
	leaq	32(%rsp), %rsi
	leaq	16(%rsp), %rdi
	movq	%r12, %rdx
	call	d2i_ECDSA_SIG
.LVL17:
	testq	%rax, %rax
	je	.L12
	.loc 1 104 0
	movq	16(%rsp), %rdi
	leaq	24(%rsp), %rsi
	call	i2d_ECDSA_SIG
.LVL18:
	.loc 1 105 0
	cmpl	%eax, %ebx
	.loc 1 104 0
	movl	%eax, %r8d
.LVL19:
	.loc 1 105 0
	je	.L21
	.loc 1 110 0
	testl	%eax, %eax
	jle	.L12
	.loc 1 96 0
	movl	$-1, %ebp
.LVL20:
.L11:
	.loc 1 111 0 discriminator 4
	movq	24(%rsp), %rdi
	movslq	%r8d, %rsi
	call	explicit_bzero
.LVL21:
	.loc 1 112 0 discriminator 4
	movq	24(%rsp), %rdi
	call	free
.LVL22:
	jmp	.L8
.LVL23:
	.p2align 4,,10
	.p2align 3
.L12:
	.loc 1 96 0
	movl	$-1, %ebp
.LVL24:
.L8:
	.loc 1 114 0
	movq	16(%rsp), %rdi
	call	ECDSA_SIG_free
.LVL25:
.L6:
	.loc 1 116 0
	movq	40(%rsp), %rcx
	xorq	%fs:40, %rcx
	movl	%ebp, %eax
	jne	.L22
	addq	$56, %rsp
	.cfi_remember_state
	.cfi_def_cfa_offset 56
	popq	%rbx
	.cfi_def_cfa_offset 48
.LVL26:
	popq	%rbp
	.cfi_def_cfa_offset 40
	popq	%r12
	.cfi_def_cfa_offset 32
	popq	%r13
	.cfi_def_cfa_offset 24
.LVL27:
	popq	%r14
	.cfi_def_cfa_offset 16
.LVL28:
	popq	%r15
	.cfi_def_cfa_offset 8
.LVL29:
	ret
.LVL30:
	.p2align 4,,10
	.p2align 3
.L21:
	.cfi_restore_state
	.loc 1 105 0 discriminator 1
	movq	24(%rsp), %rsi
	movq	%rbp, %rdi
	movq	%r12, %rdx
	movl	%eax, 12(%rsp)
	.loc 1 96 0 discriminator 1
	movl	$-1, %ebp
.LVL31:
	.loc 1 105 0 discriminator 1
	call	memcmp
.LVL32:
	testl	%eax, %eax
	movl	12(%rsp), %r8d
	je	.L23
.LVL33:
.L10:
	.loc 1 110 0
	testl	%ebx, %ebx
	jg	.L11
	jmp	.L8
.LVL34:
	.p2align 4,,10
	.p2align 3
.L23:
	.loc 1 107 0
	movq	16(%rsp), %rdx
	movq	%r15, %rcx
	movl	%r14d, %esi
	movq	%r13, %rdi
	call	ECDSA_do_verify
.LVL35:
	movl	12(%rsp), %r8d
	movl	%eax, %ebp
.LVL36:
	jmp	.L10
.LVL37:
	.p2align 4,,10
	.p2align 3
.L14:
	.loc 1 100 0
	movl	$-1, %ebp
.LVL38:
	jmp	.L6
.LVL39:
.L22:
	.loc 1 116 0
	call	__stack_chk_fail
.LVL40:
	.cfi_endproc
.LFE71:
	.size	ECDSA_verify, .-ECDSA_verify
	.section	.text.unlikely
.LCOLDE1:
	.text
.LHOTE1:
.Letext0:
	.section	.text.unlikely
.Letext_cold0:
	.file 2 "/usr/lib/gcc/x86_64-linux-gnu/5/include/stddef.h"
	.file 3 "/usr/include/x86_64-linux-gnu/bits/types.h"
	.file 4 "/usr/include/libio.h"
	.file 5 "../include/openssl/stack.h"
	.file 6 "../include/openssl/ossl_typ.h"
	.file 7 "../include/openssl/bn.h"
	.file 8 "../include/openssl/ecdsa.h"
	.file 9 "../include/openssl/crypto.h"
	.file 10 "../include/openssl/ec.h"
	.file 11 "ecdsa/ecs_locl.h"
	.file 12 "/usr/include/x86_64-linux-gnu/bits/string3.h"
	.file 13 "../include/compat/string.h"
	.file 14 "/usr/include/stdio.h"
	.file 15 "/usr/include/stdlib.h"
	.file 16 "/usr/include/string.h"
	.section	.debug_info,"",@progbits
.Ldebug_info0:
	.long	0x8b5
	.value	0x4
	.long	.Ldebug_abbrev0
	.byte	0x8
	.uleb128 0x1
	.long	.LASF106
	.byte	0xc
	.long	.LASF107
	.long	.LASF108
	.quad	.Ltext0
	.quad	.Letext0-.Ltext0
	.long	.Ldebug_line0
	.uleb128 0x2
	.long	.LASF9
	.byte	0x2
	.byte	0xd8
	.long	0x38
	.uleb128 0x3
	.byte	0x8
	.byte	0x7
	.long	.LASF0
	.uleb128 0x3
	.byte	0x8
	.byte	0x7
	.long	.LASF1
	.uleb128 0x3
	.byte	0x2
	.byte	0x7
	.long	.LASF2
	.uleb128 0x4
	.byte	0x4
	.byte	0x5
	.string	"int"
	.uleb128 0x5
	.byte	0x8
	.long	0x61
	.uleb128 0x3
	.byte	0x1
	.byte	0x6
	.long	.LASF3
	.uleb128 0x6
	.long	0x5a
	.uleb128 0x3
	.byte	0x1
	.byte	0x8
	.long	.LASF4
	.uleb128 0x3
	.byte	0x4
	.byte	0x7
	.long	.LASF5
	.uleb128 0x3
	.byte	0x1
	.byte	0x6
	.long	.LASF6
	.uleb128 0x3
	.byte	0x2
	.byte	0x5
	.long	.LASF7
	.uleb128 0x3
	.byte	0x8
	.byte	0x5
	.long	.LASF8
	.uleb128 0x2
	.long	.LASF10
	.byte	0x3
	.byte	0x83
	.long	0x82
	.uleb128 0x2
	.long	.LASF11
	.byte	0x3
	.byte	0x84
	.long	0x82
	.uleb128 0x7
	.byte	0x8
	.uleb128 0x5
	.byte	0x8
	.long	0x5a
	.uleb128 0x3
	.byte	0x8
	.byte	0x7
	.long	.LASF12
	.uleb128 0x3
	.byte	0x8
	.byte	0x5
	.long	.LASF13
	.uleb128 0x8
	.long	.LASF43
	.byte	0xd8
	.byte	0x4
	.byte	0xf5
	.long	0x235
	.uleb128 0x9
	.long	.LASF14
	.byte	0x4
	.byte	0xf6
	.long	0x4d
	.byte	0
	.uleb128 0x9
	.long	.LASF15
	.byte	0x4
	.byte	0xfb
	.long	0xa1
	.byte	0x8
	.uleb128 0x9
	.long	.LASF16
	.byte	0x4
	.byte	0xfc
	.long	0xa1
	.byte	0x10
	.uleb128 0x9
	.long	.LASF17
	.byte	0x4
	.byte	0xfd
	.long	0xa1
	.byte	0x18
	.uleb128 0x9
	.long	.LASF18
	.byte	0x4
	.byte	0xfe
	.long	0xa1
	.byte	0x20
	.uleb128 0x9
	.long	.LASF19
	.byte	0x4
	.byte	0xff
	.long	0xa1
	.byte	0x28
	.uleb128 0xa
	.long	.LASF20
	.byte	0x4
	.value	0x100
	.long	0xa1
	.byte	0x30
	.uleb128 0xa
	.long	.LASF21
	.byte	0x4
	.value	0x101
	.long	0xa1
	.byte	0x38
	.uleb128 0xa
	.long	.LASF22
	.byte	0x4
	.value	0x102
	.long	0xa1
	.byte	0x40
	.uleb128 0xa
	.long	.LASF23
	.byte	0x4
	.value	0x104
	.long	0xa1
	.byte	0x48
	.uleb128 0xa
	.long	.LASF24
	.byte	0x4
	.value	0x105
	.long	0xa1
	.byte	0x50
	.uleb128 0xa
	.long	.LASF25
	.byte	0x4
	.value	0x106
	.long	0xa1
	.byte	0x58
	.uleb128 0xa
	.long	.LASF26
	.byte	0x4
	.value	0x108
	.long	0x26d
	.byte	0x60
	.uleb128 0xa
	.long	.LASF27
	.byte	0x4
	.value	0x10a
	.long	0x273
	.byte	0x68
	.uleb128 0xa
	.long	.LASF28
	.byte	0x4
	.value	0x10c
	.long	0x4d
	.byte	0x70
	.uleb128 0xa
	.long	.LASF29
	.byte	0x4
	.value	0x110
	.long	0x4d
	.byte	0x74
	.uleb128 0xa
	.long	.LASF30
	.byte	0x4
	.value	0x112
	.long	0x89
	.byte	0x78
	.uleb128 0xa
	.long	.LASF31
	.byte	0x4
	.value	0x116
	.long	0x46
	.byte	0x80
	.uleb128 0xa
	.long	.LASF32
	.byte	0x4
	.value	0x117
	.long	0x74
	.byte	0x82
	.uleb128 0xa
	.long	.LASF33
	.byte	0x4
	.value	0x118
	.long	0x279
	.byte	0x83
	.uleb128 0xa
	.long	.LASF34
	.byte	0x4
	.value	0x11c
	.long	0x289
	.byte	0x88
	.uleb128 0xa
	.long	.LASF35
	.byte	0x4
	.value	0x125
	.long	0x94
	.byte	0x90
	.uleb128 0xa
	.long	.LASF36
	.byte	0x4
	.value	0x12e
	.long	0x9f
	.byte	0x98
	.uleb128 0xa
	.long	.LASF37
	.byte	0x4
	.value	0x12f
	.long	0x9f
	.byte	0xa0
	.uleb128 0xa
	.long	.LASF38
	.byte	0x4
	.value	0x130
	.long	0x9f
	.byte	0xa8
	.uleb128 0xa
	.long	.LASF39
	.byte	0x4
	.value	0x131
	.long	0x9f
	.byte	0xb0
	.uleb128 0xa
	.long	.LASF40
	.byte	0x4
	.value	0x132
	.long	0x2d
	.byte	0xb8
	.uleb128 0xa
	.long	.LASF41
	.byte	0x4
	.value	0x134
	.long	0x4d
	.byte	0xc0
	.uleb128 0xa
	.long	.LASF42
	.byte	0x4
	.value	0x136
	.long	0x28f
	.byte	0xc4
	.byte	0
	.uleb128 0xb
	.long	.LASF109
	.byte	0x4
	.byte	0x9a
	.uleb128 0x8
	.long	.LASF44
	.byte	0x18
	.byte	0x4
	.byte	0xa0
	.long	0x26d
	.uleb128 0x9
	.long	.LASF45
	.byte	0x4
	.byte	0xa1
	.long	0x26d
	.byte	0
	.uleb128 0x9
	.long	.LASF46
	.byte	0x4
	.byte	0xa2
	.long	0x273
	.byte	0x8
	.uleb128 0x9
	.long	.LASF47
	.byte	0x4
	.byte	0xa6
	.long	0x4d
	.byte	0x10
	.byte	0
	.uleb128 0x5
	.byte	0x8
	.long	0x23c
	.uleb128 0x5
	.byte	0x8
	.long	0xb5
	.uleb128 0xc
	.long	0x5a
	.long	0x289
	.uleb128 0xd
	.long	0x3f
	.byte	0
	.byte	0
	.uleb128 0x5
	.byte	0x8
	.long	0x235
	.uleb128 0xc
	.long	0x5a
	.long	0x29f
	.uleb128 0xd
	.long	0x3f
	.byte	0x13
	.byte	0
	.uleb128 0x5
	.byte	0x8
	.long	0x2a5
	.uleb128 0xe
	.long	0x4d
	.long	0x2b9
	.uleb128 0xf
	.long	0x2b9
	.uleb128 0xf
	.long	0x2b9
	.byte	0
	.uleb128 0x5
	.byte	0x8
	.long	0x2bf
	.uleb128 0x10
	.uleb128 0x8
	.long	.LASF48
	.byte	0x20
	.byte	0x5
	.byte	0x42
	.long	0x309
	.uleb128 0x11
	.string	"num"
	.byte	0x5
	.byte	0x43
	.long	0x4d
	.byte	0
	.uleb128 0x9
	.long	.LASF49
	.byte	0x5
	.byte	0x44
	.long	0x309
	.byte	0x8
	.uleb128 0x9
	.long	.LASF50
	.byte	0x5
	.byte	0x45
	.long	0x4d
	.byte	0x10
	.uleb128 0x9
	.long	.LASF51
	.byte	0x5
	.byte	0x47
	.long	0x4d
	.byte	0x14
	.uleb128 0x9
	.long	.LASF52
	.byte	0x5
	.byte	0x48
	.long	0x29f
	.byte	0x18
	.byte	0
	.uleb128 0x5
	.byte	0x8
	.long	0xa1
	.uleb128 0x2
	.long	.LASF53
	.byte	0x5
	.byte	0x49
	.long	0x2c0
	.uleb128 0x2
	.long	.LASF54
	.byte	0x6
	.byte	0x7a
	.long	0x325
	.uleb128 0x8
	.long	.LASF55
	.byte	0x18
	.byte	0x7
	.byte	0xf4
	.long	0x36c
	.uleb128 0x11
	.string	"d"
	.byte	0x7
	.byte	0xf5
	.long	0x438
	.byte	0
	.uleb128 0x11
	.string	"top"
	.byte	0x7
	.byte	0xf6
	.long	0x4d
	.byte	0x8
	.uleb128 0x9
	.long	.LASF56
	.byte	0x7
	.byte	0xf8
	.long	0x4d
	.byte	0xc
	.uleb128 0x11
	.string	"neg"
	.byte	0x7
	.byte	0xf9
	.long	0x4d
	.byte	0x10
	.uleb128 0x9
	.long	.LASF57
	.byte	0x7
	.byte	0xfa
	.long	0x4d
	.byte	0x14
	.byte	0
	.uleb128 0x2
	.long	.LASF58
	.byte	0x6
	.byte	0x7b
	.long	0x377
	.uleb128 0x12
	.long	.LASF67
	.uleb128 0x2
	.long	.LASF59
	.byte	0x6
	.byte	0x9a
	.long	0x387
	.uleb128 0x8
	.long	.LASF60
	.byte	0x30
	.byte	0x8
	.byte	0x50
	.long	0x3dc
	.uleb128 0x9
	.long	.LASF61
	.byte	0x8
	.byte	0x51
	.long	0x54
	.byte	0
	.uleb128 0x9
	.long	.LASF62
	.byte	0x8
	.byte	0x52
	.long	0x4c0
	.byte	0x8
	.uleb128 0x9
	.long	.LASF63
	.byte	0x8
	.byte	0x54
	.long	0x4f6
	.byte	0x10
	.uleb128 0x9
	.long	.LASF64
	.byte	0x8
	.byte	0x56
	.long	0x525
	.byte	0x18
	.uleb128 0x9
	.long	.LASF57
	.byte	0x8
	.byte	0x5c
	.long	0x4d
	.byte	0x20
	.uleb128 0x9
	.long	.LASF65
	.byte	0x8
	.byte	0x5d
	.long	0xa1
	.byte	0x28
	.byte	0
	.uleb128 0x2
	.long	.LASF66
	.byte	0x6
	.byte	0xb3
	.long	0x3e7
	.uleb128 0x12
	.long	.LASF68
	.uleb128 0x2
	.long	.LASF69
	.byte	0x6
	.byte	0xc5
	.long	0x3f7
	.uleb128 0x13
	.long	.LASF70
	.byte	0x8
	.byte	0x9
	.value	0x103
	.long	0x411
	.uleb128 0x14
	.string	"sk"
	.byte	0x9
	.value	0x104
	.long	0x42c
	.byte	0
	.byte	0
	.uleb128 0x13
	.long	.LASF71
	.byte	0x20
	.byte	0x9
	.value	0x106
	.long	0x42c
	.uleb128 0xa
	.long	.LASF72
	.byte	0x9
	.value	0x106
	.long	0x30f
	.byte	0
	.byte	0
	.uleb128 0x5
	.byte	0x8
	.long	0x411
	.uleb128 0x5
	.byte	0x8
	.long	0x66
	.uleb128 0x5
	.byte	0x8
	.long	0x38
	.uleb128 0x5
	.byte	0x8
	.long	0x444
	.uleb128 0x6
	.long	0x66
	.uleb128 0x15
	.long	.LASF73
	.byte	0xa
	.value	0x2c3
	.long	0x455
	.uleb128 0x12
	.long	.LASF74
	.uleb128 0x2
	.long	.LASF75
	.byte	0x8
	.byte	0x4e
	.long	0x465
	.uleb128 0x8
	.long	.LASF76
	.byte	0x10
	.byte	0x8
	.byte	0x68
	.long	0x486
	.uleb128 0x11
	.string	"r"
	.byte	0x8
	.byte	0x69
	.long	0x4f0
	.byte	0
	.uleb128 0x11
	.string	"s"
	.byte	0x8
	.byte	0x6a
	.long	0x4f0
	.byte	0x8
	.byte	0
	.uleb128 0xe
	.long	0x4a9
	.long	0x4a9
	.uleb128 0xf
	.long	0x43e
	.uleb128 0xf
	.long	0x4d
	.uleb128 0xf
	.long	0x4af
	.uleb128 0xf
	.long	0x4af
	.uleb128 0xf
	.long	0x4ba
	.byte	0
	.uleb128 0x5
	.byte	0x8
	.long	0x45a
	.uleb128 0x5
	.byte	0x8
	.long	0x4b5
	.uleb128 0x6
	.long	0x31a
	.uleb128 0x5
	.byte	0x8
	.long	0x449
	.uleb128 0x5
	.byte	0x8
	.long	0x486
	.uleb128 0xe
	.long	0x4d
	.long	0x4e4
	.uleb128 0xf
	.long	0x4ba
	.uleb128 0xf
	.long	0x4e4
	.uleb128 0xf
	.long	0x4ea
	.uleb128 0xf
	.long	0x4ea
	.byte	0
	.uleb128 0x5
	.byte	0x8
	.long	0x36c
	.uleb128 0x5
	.byte	0x8
	.long	0x4f0
	.uleb128 0x5
	.byte	0x8
	.long	0x31a
	.uleb128 0x5
	.byte	0x8
	.long	0x4c6
	.uleb128 0xe
	.long	0x4d
	.long	0x51a
	.uleb128 0xf
	.long	0x43e
	.uleb128 0xf
	.long	0x4d
	.uleb128 0xf
	.long	0x51a
	.uleb128 0xf
	.long	0x4ba
	.byte	0
	.uleb128 0x5
	.byte	0x8
	.long	0x520
	.uleb128 0x6
	.long	0x45a
	.uleb128 0x5
	.byte	0x8
	.long	0x4fc
	.uleb128 0x8
	.long	.LASF77
	.byte	0x28
	.byte	0xb
	.byte	0x44
	.long	0x574
	.uleb128 0x9
	.long	.LASF78
	.byte	0xb
	.byte	0x46
	.long	0x583
	.byte	0
	.uleb128 0x9
	.long	.LASF79
	.byte	0xb
	.byte	0x48
	.long	0x589
	.byte	0x8
	.uleb128 0x9
	.long	.LASF57
	.byte	0xb
	.byte	0x49
	.long	0x4d
	.byte	0x10
	.uleb128 0x9
	.long	.LASF80
	.byte	0xb
	.byte	0x4a
	.long	0x58f
	.byte	0x18
	.uleb128 0x9
	.long	.LASF81
	.byte	0xb
	.byte	0x4b
	.long	0x3ec
	.byte	0x20
	.byte	0
	.uleb128 0xe
	.long	0x4d
	.long	0x583
	.uleb128 0xf
	.long	0x4ba
	.byte	0
	.uleb128 0x5
	.byte	0x8
	.long	0x574
	.uleb128 0x5
	.byte	0x8
	.long	0x3dc
	.uleb128 0x5
	.byte	0x8
	.long	0x595
	.uleb128 0x6
	.long	0x37c
	.uleb128 0x2
	.long	.LASF82
	.byte	0xb
	.byte	0x4c
	.long	0x52b
	.uleb128 0x16
	.long	.LASF110
	.byte	0xc
	.byte	0x4c
	.long	0x9f
	.byte	0x3
	.long	0x5d7
	.uleb128 0x17
	.long	.LASF83
	.byte	0xc
	.byte	0x4c
	.long	0x9f
	.uleb128 0x17
	.long	.LASF84
	.byte	0xc
	.byte	0x4c
	.long	0x4d
	.uleb128 0x17
	.long	.LASF85
	.byte	0xc
	.byte	0x4c
	.long	0x2d
	.byte	0
	.uleb128 0x18
	.long	.LASF111
	.byte	0xd
	.byte	0x34
	.byte	0x3
	.long	0x5fa
	.uleb128 0x19
	.string	"ptr"
	.byte	0xd
	.byte	0x34
	.long	0x9f
	.uleb128 0x19
	.string	"len"
	.byte	0xd
	.byte	0x34
	.long	0x2d
	.byte	0
	.uleb128 0x1a
	.long	.LASF89
	.byte	0x1
	.byte	0x49
	.long	0x4d
	.quad	.LFB70
	.quad	.LFE70-.LFB70
	.uleb128 0x1
	.byte	0x9c
	.long	0x6a5
	.uleb128 0x1b
	.long	.LASF86
	.byte	0x1
	.byte	0x49
	.long	0x43e
	.long	.LLST0
	.uleb128 0x1b
	.long	.LASF87
	.byte	0x1
	.byte	0x49
	.long	0x4d
	.long	.LLST1
	.uleb128 0x1c
	.string	"sig"
	.byte	0x1
	.byte	0x49
	.long	0x51a
	.long	.LLST2
	.uleb128 0x1b
	.long	.LASF88
	.byte	0x1
	.byte	0x4a
	.long	0x4ba
	.long	.LLST3
	.uleb128 0x1d
	.long	.LASF94
	.byte	0x1
	.byte	0x4c
	.long	0x6a5
	.long	.LLST4
	.uleb128 0x1e
	.quad	.LVL2
	.long	0x856
	.long	0x67e
	.uleb128 0x1f
	.uleb128 0x1
	.byte	0x55
	.uleb128 0x2
	.byte	0x73
	.sleb128 0
	.byte	0
	.uleb128 0x20
	.quad	.LVL8
	.uleb128 0x1f
	.uleb128 0x1
	.byte	0x55
	.uleb128 0x3
	.byte	0xf3
	.uleb128 0x1
	.byte	0x55
	.uleb128 0x1f
	.uleb128 0x1
	.byte	0x54
	.uleb128 0x3
	.byte	0xf3
	.uleb128 0x1
	.byte	0x54
	.uleb128 0x1f
	.uleb128 0x1
	.byte	0x51
	.uleb128 0x3
	.byte	0xf3
	.uleb128 0x1
	.byte	0x51
	.uleb128 0x1f
	.uleb128 0x1
	.byte	0x52
	.uleb128 0x3
	.byte	0xf3
	.uleb128 0x1
	.byte	0x52
	.byte	0
	.byte	0
	.uleb128 0x5
	.byte	0x8
	.long	0x59a
	.uleb128 0x1a
	.long	.LASF90
	.byte	0x1
	.byte	0x59
	.long	0x4d
	.quad	.LFB71
	.quad	.LFE71-.LFB71
	.uleb128 0x1
	.byte	0x9c
	.long	0x840
	.uleb128 0x1b
	.long	.LASF91
	.byte	0x1
	.byte	0x59
	.long	0x4d
	.long	.LLST5
	.uleb128 0x1b
	.long	.LASF86
	.byte	0x1
	.byte	0x59
	.long	0x43e
	.long	.LLST6
	.uleb128 0x1b
	.long	.LASF87
	.byte	0x1
	.byte	0x59
	.long	0x4d
	.long	.LLST7
	.uleb128 0x1b
	.long	.LASF92
	.byte	0x1
	.byte	0x5a
	.long	0x43e
	.long	.LLST8
	.uleb128 0x1b
	.long	.LASF93
	.byte	0x1
	.byte	0x5a
	.long	0x4d
	.long	.LLST9
	.uleb128 0x1b
	.long	.LASF88
	.byte	0x1
	.byte	0x5a
	.long	0x4ba
	.long	.LLST10
	.uleb128 0x21
	.string	"s"
	.byte	0x1
	.byte	0x5c
	.long	0x4a9
	.uleb128 0x3
	.byte	0x91
	.sleb128 -96
	.uleb128 0x21
	.string	"der"
	.byte	0x1
	.byte	0x5d
	.long	0x432
	.uleb128 0x3
	.byte	0x91
	.sleb128 -88
	.uleb128 0x21
	.string	"p"
	.byte	0x1
	.byte	0x5e
	.long	0x43e
	.uleb128 0x3
	.byte	0x91
	.sleb128 -80
	.uleb128 0x1d
	.long	.LASF95
	.byte	0x1
	.byte	0x5f
	.long	0x4d
	.long	.LLST11
	.uleb128 0x22
	.string	"ret"
	.byte	0x1
	.byte	0x60
	.long	0x4d
	.long	.LLST12
	.uleb128 0x23
	.string	"err"
	.byte	0x1
	.byte	0x6d
	.quad	.L10
	.uleb128 0x24
	.quad	.LVL16
	.long	0x861
	.uleb128 0x1e
	.quad	.LVL17
	.long	0x86c
	.long	0x7af
	.uleb128 0x1f
	.uleb128 0x1
	.byte	0x55
	.uleb128 0x3
	.byte	0x91
	.sleb128 -96
	.uleb128 0x1f
	.uleb128 0x1
	.byte	0x54
	.uleb128 0x3
	.byte	0x91
	.sleb128 -80
	.uleb128 0x1f
	.uleb128 0x1
	.byte	0x51
	.uleb128 0x2
	.byte	0x7c
	.sleb128 0
	.byte	0
	.uleb128 0x1e
	.quad	.LVL18
	.long	0x877
	.long	0x7c8
	.uleb128 0x1f
	.uleb128 0x1
	.byte	0x54
	.uleb128 0x3
	.byte	0x91
	.sleb128 -88
	.byte	0
	.uleb128 0x24
	.quad	.LVL21
	.long	0x882
	.uleb128 0x24
	.quad	.LVL22
	.long	0x88d
	.uleb128 0x24
	.quad	.LVL25
	.long	0x899
	.uleb128 0x1e
	.quad	.LVL32
	.long	0x8a4
	.long	0x80e
	.uleb128 0x1f
	.uleb128 0x1
	.byte	0x55
	.uleb128 0x3
	.byte	0xf3
	.uleb128 0x1
	.byte	0x52
	.uleb128 0x1f
	.uleb128 0x1
	.byte	0x51
	.uleb128 0x2
	.byte	0x7c
	.sleb128 0
	.byte	0
	.uleb128 0x1e
	.quad	.LVL35
	.long	0x5fa
	.long	0x832
	.uleb128 0x1f
	.uleb128 0x1
	.byte	0x55
	.uleb128 0x2
	.byte	0x7d
	.sleb128 0
	.uleb128 0x1f
	.uleb128 0x1
	.byte	0x54
	.uleb128 0x2
	.byte	0x7e
	.sleb128 0
	.uleb128 0x1f
	.uleb128 0x1
	.byte	0x52
	.uleb128 0x2
	.byte	0x7f
	.sleb128 0
	.byte	0
	.uleb128 0x24
	.quad	.LVL40
	.long	0x8af
	.byte	0
	.uleb128 0x25
	.long	.LASF96
	.byte	0xe
	.byte	0xa8
	.long	0x273
	.uleb128 0x25
	.long	.LASF97
	.byte	0xe
	.byte	0xa9
	.long	0x273
	.uleb128 0x26
	.long	.LASF98
	.long	.LASF98
	.byte	0xb
	.byte	0x54
	.uleb128 0x26
	.long	.LASF99
	.long	.LASF99
	.byte	0x8
	.byte	0x70
	.uleb128 0x26
	.long	.LASF100
	.long	.LASF100
	.byte	0x8
	.byte	0x86
	.uleb128 0x26
	.long	.LASF101
	.long	.LASF101
	.byte	0x8
	.byte	0x7d
	.uleb128 0x26
	.long	.LASF102
	.long	.LASF102
	.byte	0xd
	.byte	0x32
	.uleb128 0x27
	.long	.LASF103
	.long	.LASF103
	.byte	0xf
	.value	0x1e3
	.uleb128 0x26
	.long	.LASF104
	.long	.LASF104
	.byte	0x8
	.byte	0x75
	.uleb128 0x26
	.long	.LASF105
	.long	.LASF105
	.byte	0x10
	.byte	0x45
	.uleb128 0x28
	.long	.LASF112
	.long	.LASF112
	.byte	0
	.section	.debug_abbrev,"",@progbits
.Ldebug_abbrev0:
	.uleb128 0x1
	.uleb128 0x11
	.byte	0x1
	.uleb128 0x25
	.uleb128 0xe
	.uleb128 0x13
	.uleb128 0xb
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0x1b
	.uleb128 0xe
	.uleb128 0x11
	.uleb128 0x1
	.uleb128 0x12
	.uleb128 0x7
	.uleb128 0x10
	.uleb128 0x17
	.byte	0
	.byte	0
	.uleb128 0x2
	.uleb128 0x16
	.byte	0
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.uleb128 0x49
	.uleb128 0x13
	.byte	0
	.byte	0
	.uleb128 0x3
	.uleb128 0x24
	.byte	0
	.uleb128 0xb
	.uleb128 0xb
	.uleb128 0x3e
	.uleb128 0xb
	.uleb128 0x3
	.uleb128 0xe
	.byte	0
	.byte	0
	.uleb128 0x4
	.uleb128 0x24
	.byte	0
	.uleb128 0xb
	.uleb128 0xb
	.uleb128 0x3e
	.uleb128 0xb
	.uleb128 0x3
	.uleb128 0x8
	.byte	0
	.byte	0
	.uleb128 0x5
	.uleb128 0xf
	.byte	0
	.uleb128 0xb
	.uleb128 0xb
	.uleb128 0x49
	.uleb128 0x13
	.byte	0
	.byte	0
	.uleb128 0x6
	.uleb128 0x26
	.byte	0
	.uleb128 0x49
	.uleb128 0x13
	.byte	0
	.byte	0
	.uleb128 0x7
	.uleb128 0xf
	.byte	0
	.uleb128 0xb
	.uleb128 0xb
	.byte	0
	.byte	0
	.uleb128 0x8
	.uleb128 0x13
	.byte	0x1
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0xb
	.uleb128 0xb
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.uleb128 0x1
	.uleb128 0x13
	.byte	0
	.byte	0
	.uleb128 0x9
	.uleb128 0xd
	.byte	0
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.uleb128 0x49
	.uleb128 0x13
	.uleb128 0x38
	.uleb128 0xb
	.byte	0
	.byte	0
	.uleb128 0xa
	.uleb128 0xd
	.byte	0
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0x5
	.uleb128 0x49
	.uleb128 0x13
	.uleb128 0x38
	.uleb128 0xb
	.byte	0
	.byte	0
	.uleb128 0xb
	.uleb128 0x16
	.byte	0
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.byte	0
	.byte	0
	.uleb128 0xc
	.uleb128 0x1
	.byte	0x1
	.uleb128 0x49
	.uleb128 0x13
	.uleb128 0x1
	.uleb128 0x13
	.byte	0
	.byte	0
	.uleb128 0xd
	.uleb128 0x21
	.byte	0
	.uleb128 0x49
	.uleb128 0x13
	.uleb128 0x2f
	.uleb128 0xb
	.byte	0
	.byte	0
	.uleb128 0xe
	.uleb128 0x15
	.byte	0x1
	.uleb128 0x27
	.uleb128 0x19
	.uleb128 0x49
	.uleb128 0x13
	.uleb128 0x1
	.uleb128 0x13
	.byte	0
	.byte	0
	.uleb128 0xf
	.uleb128 0x5
	.byte	0
	.uleb128 0x49
	.uleb128 0x13
	.byte	0
	.byte	0
	.uleb128 0x10
	.uleb128 0x26
	.byte	0
	.byte	0
	.byte	0
	.uleb128 0x11
	.uleb128 0xd
	.byte	0
	.uleb128 0x3
	.uleb128 0x8
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.uleb128 0x49
	.uleb128 0x13
	.uleb128 0x38
	.uleb128 0xb
	.byte	0
	.byte	0
	.uleb128 0x12
	.uleb128 0x13
	.byte	0
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0x3c
	.uleb128 0x19
	.byte	0
	.byte	0
	.uleb128 0x13
	.uleb128 0x13
	.byte	0x1
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0xb
	.uleb128 0xb
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0x5
	.uleb128 0x1
	.uleb128 0x13
	.byte	0
	.byte	0
	.uleb128 0x14
	.uleb128 0xd
	.byte	0
	.uleb128 0x3
	.uleb128 0x8
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0x5
	.uleb128 0x49
	.uleb128 0x13
	.uleb128 0x38
	.uleb128 0xb
	.byte	0
	.byte	0
	.uleb128 0x15
	.uleb128 0x16
	.byte	0
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0x5
	.uleb128 0x49
	.uleb128 0x13
	.byte	0
	.byte	0
	.uleb128 0x16
	.uleb128 0x2e
	.byte	0x1
	.uleb128 0x3f
	.uleb128 0x19
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.uleb128 0x27
	.uleb128 0x19
	.uleb128 0x49
	.uleb128 0x13
	.uleb128 0x20
	.uleb128 0xb
	.uleb128 0x34
	.uleb128 0x19
	.uleb128 0x1
	.uleb128 0x13
	.byte	0
	.byte	0
	.uleb128 0x17
	.uleb128 0x5
	.byte	0
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.uleb128 0x49
	.uleb128 0x13
	.byte	0
	.byte	0
	.uleb128 0x18
	.uleb128 0x2e
	.byte	0x1
	.uleb128 0x3f
	.uleb128 0x19
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.uleb128 0x27
	.uleb128 0x19
	.uleb128 0x20
	.uleb128 0xb
	.uleb128 0x1
	.uleb128 0x13
	.byte	0
	.byte	0
	.uleb128 0x19
	.uleb128 0x5
	.byte	0
	.uleb128 0x3
	.uleb128 0x8
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.uleb128 0x49
	.uleb128 0x13
	.byte	0
	.byte	0
	.uleb128 0x1a
	.uleb128 0x2e
	.byte	0x1
	.uleb128 0x3f
	.uleb128 0x19
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.uleb128 0x27
	.uleb128 0x19
	.uleb128 0x49
	.uleb128 0x13
	.uleb128 0x11
	.uleb128 0x1
	.uleb128 0x12
	.uleb128 0x7
	.uleb128 0x40
	.uleb128 0x18
	.uleb128 0x2117
	.uleb128 0x19
	.uleb128 0x1
	.uleb128 0x13
	.byte	0
	.byte	0
	.uleb128 0x1b
	.uleb128 0x5
	.byte	0
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.uleb128 0x49
	.uleb128 0x13
	.uleb128 0x2
	.uleb128 0x17
	.byte	0
	.byte	0
	.uleb128 0x1c
	.uleb128 0x5
	.byte	0
	.uleb128 0x3
	.uleb128 0x8
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.uleb128 0x49
	.uleb128 0x13
	.uleb128 0x2
	.uleb128 0x17
	.byte	0
	.byte	0
	.uleb128 0x1d
	.uleb128 0x34
	.byte	0
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.uleb128 0x49
	.uleb128 0x13
	.uleb128 0x2
	.uleb128 0x17
	.byte	0
	.byte	0
	.uleb128 0x1e
	.uleb128 0x4109
	.byte	0x1
	.uleb128 0x11
	.uleb128 0x1
	.uleb128 0x31
	.uleb128 0x13
	.uleb128 0x1
	.uleb128 0x13
	.byte	0
	.byte	0
	.uleb128 0x1f
	.uleb128 0x410a
	.byte	0
	.uleb128 0x2
	.uleb128 0x18
	.uleb128 0x2111
	.uleb128 0x18
	.byte	0
	.byte	0
	.uleb128 0x20
	.uleb128 0x4109
	.byte	0x1
	.uleb128 0x11
	.uleb128 0x1
	.uleb128 0x2115
	.uleb128 0x19
	.byte	0
	.byte	0
	.uleb128 0x21
	.uleb128 0x34
	.byte	0
	.uleb128 0x3
	.uleb128 0x8
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.uleb128 0x49
	.uleb128 0x13
	.uleb128 0x2
	.uleb128 0x18
	.byte	0
	.byte	0
	.uleb128 0x22
	.uleb128 0x34
	.byte	0
	.uleb128 0x3
	.uleb128 0x8
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.uleb128 0x49
	.uleb128 0x13
	.uleb128 0x2
	.uleb128 0x17
	.byte	0
	.byte	0
	.uleb128 0x23
	.uleb128 0xa
	.byte	0
	.uleb128 0x3
	.uleb128 0x8
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.uleb128 0x11
	.uleb128 0x1
	.byte	0
	.byte	0
	.uleb128 0x24
	.uleb128 0x4109
	.byte	0
	.uleb128 0x11
	.uleb128 0x1
	.uleb128 0x31
	.uleb128 0x13
	.byte	0
	.byte	0
	.uleb128 0x25
	.uleb128 0x34
	.byte	0
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.uleb128 0x49
	.uleb128 0x13
	.uleb128 0x3f
	.uleb128 0x19
	.uleb128 0x3c
	.uleb128 0x19
	.byte	0
	.byte	0
	.uleb128 0x26
	.uleb128 0x2e
	.byte	0
	.uleb128 0x3f
	.uleb128 0x19
	.uleb128 0x3c
	.uleb128 0x19
	.uleb128 0x6e
	.uleb128 0xe
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.byte	0
	.byte	0
	.uleb128 0x27
	.uleb128 0x2e
	.byte	0
	.uleb128 0x3f
	.uleb128 0x19
	.uleb128 0x3c
	.uleb128 0x19
	.uleb128 0x6e
	.uleb128 0xe
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0x5
	.byte	0
	.byte	0
	.uleb128 0x28
	.uleb128 0x2e
	.byte	0
	.uleb128 0x3f
	.uleb128 0x19
	.uleb128 0x3c
	.uleb128 0x19
	.uleb128 0x6e
	.uleb128 0xe
	.uleb128 0x3
	.uleb128 0xe
	.byte	0
	.byte	0
	.byte	0
	.section	.debug_loc,"",@progbits
.Ldebug_loc0:
.LLST0:
	.quad	.LVL0-.Ltext0
	.quad	.LVL1-.Ltext0
	.value	0x1
	.byte	0x55
	.quad	.LVL1-.Ltext0
	.quad	.LVL5-.Ltext0
	.value	0x1
	.byte	0x56
	.quad	.LVL5-.Ltext0
	.quad	.LVL8-1-.Ltext0
	.value	0x1
	.byte	0x55
	.quad	.LVL8-1-.Ltext0
	.quad	.LVL8-.Ltext0
	.value	0x4
	.byte	0xf3
	.uleb128 0x1
	.byte	0x55
	.byte	0x9f
	.quad	.LVL8-.Ltext0
	.quad	.LVL11-.Ltext0
	.value	0x1
	.byte	0x56
	.quad	.LVL11-.Ltext0
	.quad	.LFE70-.Ltext0
	.value	0x4
	.byte	0xf3
	.uleb128 0x1
	.byte	0x55
	.byte	0x9f
	.quad	0
	.quad	0
.LLST1:
	.quad	.LVL0-.Ltext0
	.quad	.LVL2-1-.Ltext0
	.value	0x1
	.byte	0x54
	.quad	.LVL2-1-.Ltext0
	.quad	.LVL6-.Ltext0
	.value	0x1
	.byte	0x5c
	.quad	.LVL6-.Ltext0
	.quad	.LVL8-1-.Ltext0
	.value	0x1
	.byte	0x54
	.quad	.LVL8-1-.Ltext0
	.quad	.LVL8-.Ltext0
	.value	0x4
	.byte	0xf3
	.uleb128 0x1
	.byte	0x54
	.byte	0x9f
	.quad	.LVL8-.Ltext0
	.quad	.LVL12-.Ltext0
	.value	0x1
	.byte	0x5c
	.quad	.LVL12-.Ltext0
	.quad	.LFE70-.Ltext0
	.value	0x4
	.byte	0xf3
	.uleb128 0x1
	.byte	0x54
	.byte	0x9f
	.quad	0
	.quad	0
.LLST2:
	.quad	.LVL0-.Ltext0
	.quad	.LVL2-1-.Ltext0
	.value	0x1
	.byte	0x51
	.quad	.LVL2-1-.Ltext0
	.quad	.LVL7-.Ltext0
	.value	0x1
	.byte	0x5d
	.quad	.LVL7-.Ltext0
	.quad	.LVL8-1-.Ltext0
	.value	0x1
	.byte	0x51
	.quad	.LVL8-1-.Ltext0
	.quad	.LVL8-.Ltext0
	.value	0x4
	.byte	0xf3
	.uleb128 0x1
	.byte	0x51
	.byte	0x9f
	.quad	.LVL8-.Ltext0
	.quad	.LVL13-.Ltext0
	.value	0x1
	.byte	0x5d
	.quad	.LVL13-.Ltext0
	.quad	.LFE70-.Ltext0
	.value	0x4
	.byte	0xf3
	.uleb128 0x1
	.byte	0x51
	.byte	0x9f
	.quad	0
	.quad	0
.LLST3:
	.quad	.LVL0-.Ltext0
	.quad	.LVL2-1-.Ltext0
	.value	0x1
	.byte	0x52
	.quad	.LVL2-1-.Ltext0
	.quad	.LVL4-.Ltext0
	.value	0x1
	.byte	0x53
	.quad	.LVL4-.Ltext0
	.quad	.LVL8-1-.Ltext0
	.value	0x1
	.byte	0x52
	.quad	.LVL8-1-.Ltext0
	.quad	.LVL8-.Ltext0
	.value	0x4
	.byte	0xf3
	.uleb128 0x1
	.byte	0x52
	.byte	0x9f
	.quad	.LVL8-.Ltext0
	.quad	.LVL10-.Ltext0
	.value	0x1
	.byte	0x53
	.quad	.LVL10-.Ltext0
	.quad	.LFE70-.Ltext0
	.value	0x4
	.byte	0xf3
	.uleb128 0x1
	.byte	0x52
	.byte	0x9f
	.quad	0
	.quad	0
.LLST4:
	.quad	.LVL2-.Ltext0
	.quad	.LVL3-.Ltext0
	.value	0x1
	.byte	0x50
	.quad	.LVL8-.Ltext0
	.quad	.LVL9-.Ltext0
	.value	0x1
	.byte	0x50
	.quad	0
	.quad	0
.LLST5:
	.quad	.LVL14-.Ltext0
	.quad	.LVL16-1-.Ltext0
	.value	0x1
	.byte	0x55
	.quad	.LVL16-1-.Ltext0
	.quad	.LFE71-.Ltext0
	.value	0x4
	.byte	0xf3
	.uleb128 0x1
	.byte	0x55
	.byte	0x9f
	.quad	0
	.quad	0
.LLST6:
	.quad	.LVL14-.Ltext0
	.quad	.LVL16-1-.Ltext0
	.value	0x1
	.byte	0x54
	.quad	.LVL16-1-.Ltext0
	.quad	.LVL27-.Ltext0
	.value	0x1
	.byte	0x5d
	.quad	.LVL27-.Ltext0
	.quad	.LVL30-.Ltext0
	.value	0x4
	.byte	0xf3
	.uleb128 0x1
	.byte	0x54
	.byte	0x9f
	.quad	.LVL30-.Ltext0
	.quad	.LFE71-.Ltext0
	.value	0x1
	.byte	0x5d
	.quad	0
	.quad	0
.LLST7:
	.quad	.LVL14-.Ltext0
	.quad	.LVL16-1-.Ltext0
	.value	0x1
	.byte	0x51
	.quad	.LVL16-1-.Ltext0
	.quad	.LVL28-.Ltext0
	.value	0x1
	.byte	0x5e
	.quad	.LVL28-.Ltext0
	.quad	.LVL30-.Ltext0
	.value	0x4
	.byte	0xf3
	.uleb128 0x1
	.byte	0x51
	.byte	0x9f
	.quad	.LVL30-.Ltext0
	.quad	.LFE71-.Ltext0
	.value	0x1
	.byte	0x5e
	.quad	0
	.quad	0
.LLST8:
	.quad	.LVL14-.Ltext0
	.quad	.LVL16-1-.Ltext0
	.value	0x1
	.byte	0x52
	.quad	.LVL16-1-.Ltext0
	.quad	.LVL20-.Ltext0
	.value	0x1
	.byte	0x56
	.quad	.LVL20-.Ltext0
	.quad	.LVL23-.Ltext0
	.value	0x4
	.byte	0xf3
	.uleb128 0x1
	.byte	0x52
	.byte	0x9f
	.quad	.LVL23-.Ltext0
	.quad	.LVL24-.Ltext0
	.value	0x1
	.byte	0x56
	.quad	.LVL24-.Ltext0
	.quad	.LVL30-.Ltext0
	.value	0x4
	.byte	0xf3
	.uleb128 0x1
	.byte	0x52
	.byte	0x9f
	.quad	.LVL30-.Ltext0
	.quad	.LVL31-.Ltext0
	.value	0x1
	.byte	0x56
	.quad	.LVL31-.Ltext0
	.quad	.LVL32-1-.Ltext0
	.value	0x1
	.byte	0x55
	.quad	.LVL32-1-.Ltext0
	.quad	.LVL37-.Ltext0
	.value	0x4
	.byte	0xf3
	.uleb128 0x1
	.byte	0x52
	.byte	0x9f
	.quad	.LVL37-.Ltext0
	.quad	.LVL38-.Ltext0
	.value	0x1
	.byte	0x56
	.quad	.LVL38-.Ltext0
	.quad	.LFE71-.Ltext0
	.value	0x4
	.byte	0xf3
	.uleb128 0x1
	.byte	0x52
	.byte	0x9f
	.quad	0
	.quad	0
.LLST9:
	.quad	.LVL14-.Ltext0
	.quad	.LVL16-1-.Ltext0
	.value	0x1
	.byte	0x58
	.quad	.LVL16-1-.Ltext0
	.quad	.LVL26-.Ltext0
	.value	0x1
	.byte	0x53
	.quad	.LVL26-.Ltext0
	.quad	.LVL30-.Ltext0
	.value	0x4
	.byte	0xf3
	.uleb128 0x1
	.byte	0x58
	.byte	0x9f
	.quad	.LVL30-.Ltext0
	.quad	.LFE71-.Ltext0
	.value	0x1
	.byte	0x53
	.quad	0
	.quad	0
.LLST10:
	.quad	.LVL14-.Ltext0
	.quad	.LVL16-1-.Ltext0
	.value	0x1
	.byte	0x59
	.quad	.LVL16-1-.Ltext0
	.quad	.LVL29-.Ltext0
	.value	0x1
	.byte	0x5f
	.quad	.LVL29-.Ltext0
	.quad	.LVL30-.Ltext0
	.value	0x4
	.byte	0xf3
	.uleb128 0x1
	.byte	0x59
	.byte	0x9f
	.quad	.LVL30-.Ltext0
	.quad	.LFE71-.Ltext0
	.value	0x1
	.byte	0x5f
	.quad	0
	.quad	0
.LLST11:
	.quad	.LVL15-.Ltext0
	.quad	.LVL19-.Ltext0
	.value	0x3
	.byte	0x9
	.byte	0xff
	.byte	0x9f
	.quad	.LVL19-.Ltext0
	.quad	.LVL20-.Ltext0
	.value	0x1
	.byte	0x50
	.quad	.LVL30-.Ltext0
	.quad	.LVL32-1-.Ltext0
	.value	0x1
	.byte	0x50
	.quad	.LVL32-1-.Ltext0
	.quad	.LVL33-.Ltext0
	.value	0x3
	.byte	0x91
	.sleb128 -100
	.quad	.LVL33-.Ltext0
	.quad	.LVL34-.Ltext0
	.value	0x1
	.byte	0x53
	.quad	.LVL34-.Ltext0
	.quad	.LVL35-1-.Ltext0
	.value	0x1
	.byte	0x58
	.quad	.LVL35-1-.Ltext0
	.quad	.LVL37-.Ltext0
	.value	0x3
	.byte	0x91
	.sleb128 -100
	.quad	.LVL37-.Ltext0
	.quad	.LVL39-.Ltext0
	.value	0x3
	.byte	0x9
	.byte	0xff
	.byte	0x9f
	.quad	0
	.quad	0
.LLST12:
	.quad	.LVL15-.Ltext0
	.quad	.LVL20-.Ltext0
	.value	0x3
	.byte	0x9
	.byte	0xff
	.byte	0x9f
	.quad	.LVL23-.Ltext0
	.quad	.LVL24-.Ltext0
	.value	0x3
	.byte	0x9
	.byte	0xff
	.byte	0x9f
	.quad	.LVL30-.Ltext0
	.quad	.LVL33-.Ltext0
	.value	0x3
	.byte	0x9
	.byte	0xff
	.byte	0x9f
	.quad	.LVL33-.Ltext0
	.quad	.LVL34-.Ltext0
	.value	0x1
	.byte	0x56
	.quad	.LVL34-.Ltext0
	.quad	.LVL36-.Ltext0
	.value	0x3
	.byte	0x9
	.byte	0xff
	.byte	0x9f
	.quad	.LVL36-.Ltext0
	.quad	.LVL37-.Ltext0
	.value	0x1
	.byte	0x50
	.quad	.LVL37-.Ltext0
	.quad	.LVL39-.Ltext0
	.value	0x3
	.byte	0x9
	.byte	0xff
	.byte	0x9f
	.quad	0
	.quad	0
	.section	.debug_aranges,"",@progbits
	.long	0x2c
	.value	0x2
	.long	.Ldebug_info0
	.byte	0x8
	.byte	0
	.value	0
	.value	0
	.quad	.Ltext0
	.quad	.Letext0-.Ltext0
	.quad	0
	.quad	0
	.section	.debug_line,"",@progbits
.Ldebug_line0:
	.section	.debug_str,"MS",@progbits,1
.LASF15:
	.string	"_IO_read_ptr"
.LASF27:
	.string	"_chain"
.LASF9:
	.string	"size_t"
.LASF74:
	.string	"ec_key_st"
.LASF33:
	.string	"_shortbuf"
.LASF91:
	.string	"type"
.LASF52:
	.string	"comp"
.LASF78:
	.string	"init"
.LASF21:
	.string	"_IO_buf_base"
.LASF12:
	.string	"long long unsigned int"
.LASF66:
	.string	"ENGINE"
.LASF77:
	.string	"ecdsa_data_st"
.LASF19:
	.string	"_IO_write_ptr"
.LASF104:
	.string	"ECDSA_SIG_free"
.LASF103:
	.string	"free"
.LASF13:
	.string	"long long int"
.LASF6:
	.string	"signed char"
.LASF93:
	.string	"sig_len"
.LASF58:
	.string	"BN_CTX"
.LASF28:
	.string	"_fileno"
.LASF63:
	.string	"ecdsa_sign_setup"
.LASF16:
	.string	"_IO_read_end"
.LASF101:
	.string	"i2d_ECDSA_SIG"
.LASF100:
	.string	"d2i_ECDSA_SIG"
.LASF89:
	.string	"ECDSA_do_verify"
.LASF8:
	.string	"long int"
.LASF111:
	.string	"explicit_bzero_constn"
.LASF86:
	.string	"dgst"
.LASF14:
	.string	"_flags"
.LASF88:
	.string	"eckey"
.LASF22:
	.string	"_IO_buf_end"
.LASF31:
	.string	"_cur_column"
.LASF7:
	.string	"short int"
.LASF55:
	.string	"bignum_st"
.LASF30:
	.string	"_old_offset"
.LASF35:
	.string	"_offset"
.LASF56:
	.string	"dmax"
.LASF44:
	.string	"_IO_marker"
.LASF96:
	.string	"stdin"
.LASF5:
	.string	"unsigned int"
.LASF60:
	.string	"ecdsa_method"
.LASF70:
	.string	"crypto_ex_data_st"
.LASF69:
	.string	"CRYPTO_EX_DATA"
.LASF81:
	.string	"ex_data"
.LASF0:
	.string	"long unsigned int"
.LASF71:
	.string	"stack_st_void"
.LASF61:
	.string	"name"
.LASF98:
	.string	"ecdsa_check"
.LASF46:
	.string	"_sbuf"
.LASF51:
	.string	"num_alloc"
.LASF49:
	.string	"data"
.LASF2:
	.string	"short unsigned int"
.LASF23:
	.string	"_IO_save_base"
.LASF67:
	.string	"bignum_ctx"
.LASF34:
	.string	"_lock"
.LASF29:
	.string	"_flags2"
.LASF41:
	.string	"_mode"
.LASF97:
	.string	"stdout"
.LASF107:
	.string	"ecdsa/ecs_vrf.c"
.LASF64:
	.string	"ecdsa_do_verify"
.LASF1:
	.string	"sizetype"
.LASF92:
	.string	"sigbuf"
.LASF20:
	.string	"_IO_write_end"
.LASF83:
	.string	"__dest"
.LASF109:
	.string	"_IO_lock_t"
.LASF43:
	.string	"_IO_FILE"
.LASF95:
	.string	"derlen"
.LASF79:
	.string	"engine"
.LASF10:
	.string	"__off_t"
.LASF102:
	.string	"explicit_bzero"
.LASF106:
	.string	"GNU C99 5.2.1 20150903 -mtune=generic -march=x86-64 -g -O2 -std=gnu99 -fno-strict-aliasing -fno-strict-overflow -fstack-protector-strong"
.LASF94:
	.string	"ecdsa"
.LASF47:
	.string	"_pos"
.LASF87:
	.string	"dgst_len"
.LASF26:
	.string	"_markers"
.LASF4:
	.string	"unsigned char"
.LASF65:
	.string	"app_data"
.LASF85:
	.string	"__len"
.LASF73:
	.string	"EC_KEY"
.LASF80:
	.string	"meth"
.LASF32:
	.string	"_vtable_offset"
.LASF112:
	.string	"__stack_chk_fail"
.LASF50:
	.string	"sorted"
.LASF68:
	.string	"engine_st"
.LASF84:
	.string	"__ch"
.LASF3:
	.string	"char"
.LASF90:
	.string	"ECDSA_verify"
.LASF54:
	.string	"BIGNUM"
.LASF62:
	.string	"ecdsa_do_sign"
.LASF105:
	.string	"memcmp"
.LASF45:
	.string	"_next"
.LASF11:
	.string	"__off64_t"
.LASF76:
	.string	"ECDSA_SIG_st"
.LASF17:
	.string	"_IO_read_base"
.LASF25:
	.string	"_IO_save_end"
.LASF36:
	.string	"__pad1"
.LASF37:
	.string	"__pad2"
.LASF38:
	.string	"__pad3"
.LASF39:
	.string	"__pad4"
.LASF40:
	.string	"__pad5"
.LASF59:
	.string	"ECDSA_METHOD"
.LASF48:
	.string	"stack_st"
.LASF42:
	.string	"_unused2"
.LASF110:
	.string	"memset"
.LASF53:
	.string	"_STACK"
.LASF108:
	.string	"/home/zack/projects/lssl/libressl-2.2.3-memread/crypto"
.LASF24:
	.string	"_IO_backup_base"
.LASF57:
	.string	"flags"
.LASF82:
	.string	"ECDSA_DATA"
.LASF99:
	.string	"ECDSA_SIG_new"
.LASF75:
	.string	"ECDSA_SIG"
.LASF72:
	.string	"stack"
.LASF18:
	.string	"_IO_write_base"
	.ident	"GCC: (Debian 5.2.1-16) 5.2.1 20150903"
	.section	.note.GNU-stack,"",@progbits
