	.file	"bn_const.c"
	.text
.Ltext0:
	.section	.text.unlikely,"ax",@progbits
.LCOLDB0:
	.text
.LHOTB0:
	.p2align 4,,15
	.section	.text.unlikely
.Ltext_cold0:
	.text
	.globl	get_rfc2409_prime_768
	.type	get_rfc2409_prime_768, @function
get_rfc2409_prime_768:
.LFB69:
	.file 1 "bn/bn_const.c"
	.loc 1 16 0
	.cfi_startproc
.LVL0:
	.loc 1 16 0
	movq	%rdi, %rdx
	.loc 1 27 0
	movl	$96, %esi
	movl	$RFC2409_PRIME_768.5150, %edi
.LVL1:
	jmp	BN_bin2bn
.LVL2:
	.cfi_endproc
.LFE69:
	.size	get_rfc2409_prime_768, .-get_rfc2409_prime_768
	.section	.text.unlikely
.LCOLDE0:
	.text
.LHOTE0:
	.section	.text.unlikely
.LCOLDB1:
	.text
.LHOTB1:
	.p2align 4,,15
	.globl	get_rfc2409_prime_1024
	.type	get_rfc2409_prime_1024, @function
get_rfc2409_prime_1024:
.LFB70:
	.loc 1 40 0
	.cfi_startproc
.LVL3:
	.loc 1 40 0
	movq	%rdi, %rdx
	.loc 1 54 0
	movl	$128, %esi
	movl	$RFC2409_PRIME_1024.5154, %edi
.LVL4:
	jmp	BN_bin2bn
.LVL5:
	.cfi_endproc
.LFE70:
	.size	get_rfc2409_prime_1024, .-get_rfc2409_prime_1024
	.section	.text.unlikely
.LCOLDE1:
	.text
.LHOTE1:
	.section	.text.unlikely
.LCOLDB2:
	.text
.LHOTB2:
	.p2align 4,,15
	.globl	get_rfc3526_prime_1536
	.type	get_rfc3526_prime_1536, @function
get_rfc3526_prime_1536:
.LFB71:
	.loc 1 67 0
	.cfi_startproc
.LVL6:
	.loc 1 67 0
	movq	%rdi, %rdx
	.loc 1 86 0
	movl	$192, %esi
	movl	$RFC3526_PRIME_1536.5158, %edi
.LVL7:
	jmp	BN_bin2bn
.LVL8:
	.cfi_endproc
.LFE71:
	.size	get_rfc3526_prime_1536, .-get_rfc3526_prime_1536
	.section	.text.unlikely
.LCOLDE2:
	.text
.LHOTE2:
	.section	.text.unlikely
.LCOLDB3:
	.text
.LHOTB3:
	.p2align 4,,15
	.globl	get_rfc3526_prime_2048
	.type	get_rfc3526_prime_2048, @function
get_rfc3526_prime_2048:
.LFB72:
	.loc 1 98 0
	.cfi_startproc
.LVL9:
	.loc 1 98 0
	movq	%rdi, %rdx
	.loc 1 123 0
	movl	$256, %esi
	movl	$RFC3526_PRIME_2048.5162, %edi
.LVL10:
	jmp	BN_bin2bn
.LVL11:
	.cfi_endproc
.LFE72:
	.size	get_rfc3526_prime_2048, .-get_rfc3526_prime_2048
	.section	.text.unlikely
.LCOLDE3:
	.text
.LHOTE3:
	.section	.text.unlikely
.LCOLDB4:
	.text
.LHOTB4:
	.p2align 4,,15
	.globl	get_rfc3526_prime_3072
	.type	get_rfc3526_prime_3072, @function
get_rfc3526_prime_3072:
.LFB73:
	.loc 1 135 0
	.cfi_startproc
.LVL12:
	.loc 1 135 0
	movq	%rdi, %rdx
	.loc 1 170 0
	movl	$384, %esi
	movl	$RFC3526_PRIME_3072.5166, %edi
.LVL13:
	jmp	BN_bin2bn
.LVL14:
	.cfi_endproc
.LFE73:
	.size	get_rfc3526_prime_3072, .-get_rfc3526_prime_3072
	.section	.text.unlikely
.LCOLDE4:
	.text
.LHOTE4:
	.section	.text.unlikely
.LCOLDB5:
	.text
.LHOTB5:
	.p2align 4,,15
	.globl	get_rfc3526_prime_4096
	.type	get_rfc3526_prime_4096, @function
get_rfc3526_prime_4096:
.LFB74:
	.loc 1 182 0
	.cfi_startproc
.LVL15:
	.loc 1 182 0
	movq	%rdi, %rdx
	.loc 1 228 0
	movl	$512, %esi
	movl	$RFC3526_PRIME_4096.5170, %edi
.LVL16:
	jmp	BN_bin2bn
.LVL17:
	.cfi_endproc
.LFE74:
	.size	get_rfc3526_prime_4096, .-get_rfc3526_prime_4096
	.section	.text.unlikely
.LCOLDE5:
	.text
.LHOTE5:
	.section	.text.unlikely
.LCOLDB6:
	.text
.LHOTB6:
	.p2align 4,,15
	.globl	get_rfc3526_prime_6144
	.type	get_rfc3526_prime_6144, @function
get_rfc3526_prime_6144:
.LFB75:
	.loc 1 240 0
	.cfi_startproc
.LVL18:
	.loc 1 240 0
	movq	%rdi, %rdx
	.loc 1 307 0
	movl	$768, %esi
	movl	$RFC3526_PRIME_6144.5174, %edi
.LVL19:
	jmp	BN_bin2bn
.LVL20:
	.cfi_endproc
.LFE75:
	.size	get_rfc3526_prime_6144, .-get_rfc3526_prime_6144
	.section	.text.unlikely
.LCOLDE6:
	.text
.LHOTE6:
	.section	.text.unlikely
.LCOLDB7:
	.text
.LHOTB7:
	.p2align 4,,15
	.globl	get_rfc3526_prime_8192
	.type	get_rfc3526_prime_8192, @function
get_rfc3526_prime_8192:
.LFB76:
	.loc 1 319 0
	.cfi_startproc
.LVL21:
	.loc 1 319 0
	movq	%rdi, %rdx
	.loc 1 408 0
	movl	$1024, %esi
	movl	$RFC3526_PRIME_8192.5178, %edi
.LVL22:
	jmp	BN_bin2bn
.LVL23:
	.cfi_endproc
.LFE76:
	.size	get_rfc3526_prime_8192, .-get_rfc3526_prime_8192
	.section	.text.unlikely
.LCOLDE7:
	.text
.LHOTE7:
	.section	.rodata
	.align 32
	.type	RFC3526_PRIME_8192.5178, @object
	.size	RFC3526_PRIME_8192.5178, 1024
RFC3526_PRIME_8192.5178:
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-55
	.byte	15
	.byte	-38
	.byte	-94
	.byte	33
	.byte	104
	.byte	-62
	.byte	52
	.byte	-60
	.byte	-58
	.byte	98
	.byte	-117
	.byte	-128
	.byte	-36
	.byte	28
	.byte	-47
	.byte	41
	.byte	2
	.byte	78
	.byte	8
	.byte	-118
	.byte	103
	.byte	-52
	.byte	116
	.byte	2
	.byte	11
	.byte	-66
	.byte	-90
	.byte	59
	.byte	19
	.byte	-101
	.byte	34
	.byte	81
	.byte	74
	.byte	8
	.byte	121
	.byte	-114
	.byte	52
	.byte	4
	.byte	-35
	.byte	-17
	.byte	-107
	.byte	25
	.byte	-77
	.byte	-51
	.byte	58
	.byte	67
	.byte	27
	.byte	48
	.byte	43
	.byte	10
	.byte	109
	.byte	-14
	.byte	95
	.byte	20
	.byte	55
	.byte	79
	.byte	-31
	.byte	53
	.byte	109
	.byte	109
	.byte	81
	.byte	-62
	.byte	69
	.byte	-28
	.byte	-123
	.byte	-75
	.byte	118
	.byte	98
	.byte	94
	.byte	126
	.byte	-58
	.byte	-12
	.byte	76
	.byte	66
	.byte	-23
	.byte	-90
	.byte	55
	.byte	-19
	.byte	107
	.byte	11
	.byte	-1
	.byte	92
	.byte	-74
	.byte	-12
	.byte	6
	.byte	-73
	.byte	-19
	.byte	-18
	.byte	56
	.byte	107
	.byte	-5
	.byte	90
	.byte	-119
	.byte	-97
	.byte	-91
	.byte	-82
	.byte	-97
	.byte	36
	.byte	17
	.byte	124
	.byte	75
	.byte	31
	.byte	-26
	.byte	73
	.byte	40
	.byte	102
	.byte	81
	.byte	-20
	.byte	-28
	.byte	91
	.byte	61
	.byte	-62
	.byte	0
	.byte	124
	.byte	-72
	.byte	-95
	.byte	99
	.byte	-65
	.byte	5
	.byte	-104
	.byte	-38
	.byte	72
	.byte	54
	.byte	28
	.byte	85
	.byte	-45
	.byte	-102
	.byte	105
	.byte	22
	.byte	63
	.byte	-88
	.byte	-3
	.byte	36
	.byte	-49
	.byte	95
	.byte	-125
	.byte	101
	.byte	93
	.byte	35
	.byte	-36
	.byte	-93
	.byte	-83
	.byte	-106
	.byte	28
	.byte	98
	.byte	-13
	.byte	86
	.byte	32
	.byte	-123
	.byte	82
	.byte	-69
	.byte	-98
	.byte	-43
	.byte	41
	.byte	7
	.byte	112
	.byte	-106
	.byte	-106
	.byte	109
	.byte	103
	.byte	12
	.byte	53
	.byte	78
	.byte	74
	.byte	-68
	.byte	-104
	.byte	4
	.byte	-15
	.byte	116
	.byte	108
	.byte	8
	.byte	-54
	.byte	24
	.byte	33
	.byte	124
	.byte	50
	.byte	-112
	.byte	94
	.byte	70
	.byte	46
	.byte	54
	.byte	-50
	.byte	59
	.byte	-29
	.byte	-98
	.byte	119
	.byte	44
	.byte	24
	.byte	14
	.byte	-122
	.byte	3
	.byte	-101
	.byte	39
	.byte	-125
	.byte	-94
	.byte	-20
	.byte	7
	.byte	-94
	.byte	-113
	.byte	-75
	.byte	-59
	.byte	93
	.byte	-16
	.byte	111
	.byte	76
	.byte	82
	.byte	-55
	.byte	-34
	.byte	43
	.byte	-53
	.byte	-10
	.byte	-107
	.byte	88
	.byte	23
	.byte	24
	.byte	57
	.byte	-107
	.byte	73
	.byte	124
	.byte	-22
	.byte	-107
	.byte	106
	.byte	-27
	.byte	21
	.byte	-46
	.byte	38
	.byte	24
	.byte	-104
	.byte	-6
	.byte	5
	.byte	16
	.byte	21
	.byte	114
	.byte	-114
	.byte	90
	.byte	-118
	.byte	-86
	.byte	-60
	.byte	45
	.byte	-83
	.byte	51
	.byte	23
	.byte	13
	.byte	4
	.byte	80
	.byte	122
	.byte	51
	.byte	-88
	.byte	85
	.byte	33
	.byte	-85
	.byte	-33
	.byte	28
	.byte	-70
	.byte	100
	.byte	-20
	.byte	-5
	.byte	-123
	.byte	4
	.byte	88
	.byte	-37
	.byte	-17
	.byte	10
	.byte	-118
	.byte	-22
	.byte	113
	.byte	87
	.byte	93
	.byte	6
	.byte	12
	.byte	125
	.byte	-77
	.byte	-105
	.byte	15
	.byte	-123
	.byte	-90
	.byte	-31
	.byte	-28
	.byte	-57
	.byte	-85
	.byte	-11
	.byte	-82
	.byte	-116
	.byte	-37
	.byte	9
	.byte	51
	.byte	-41
	.byte	30
	.byte	-116
	.byte	-108
	.byte	-32
	.byte	74
	.byte	37
	.byte	97
	.byte	-99
	.byte	-50
	.byte	-29
	.byte	-46
	.byte	38
	.byte	26
	.byte	-46
	.byte	-18
	.byte	107
	.byte	-15
	.byte	47
	.byte	-6
	.byte	6
	.byte	-39
	.byte	-118
	.byte	8
	.byte	100
	.byte	-40
	.byte	118
	.byte	2
	.byte	115
	.byte	62
	.byte	-56
	.byte	106
	.byte	100
	.byte	82
	.byte	31
	.byte	43
	.byte	24
	.byte	23
	.byte	123
	.byte	32
	.byte	12
	.byte	-69
	.byte	-31
	.byte	23
	.byte	87
	.byte	122
	.byte	97
	.byte	93
	.byte	108
	.byte	119
	.byte	9
	.byte	-120
	.byte	-64
	.byte	-70
	.byte	-39
	.byte	70
	.byte	-30
	.byte	8
	.byte	-30
	.byte	79
	.byte	-96
	.byte	116
	.byte	-27
	.byte	-85
	.byte	49
	.byte	67
	.byte	-37
	.byte	91
	.byte	-4
	.byte	-32
	.byte	-3
	.byte	16
	.byte	-114
	.byte	75
	.byte	-126
	.byte	-47
	.byte	32
	.byte	-87
	.byte	33
	.byte	8
	.byte	1
	.byte	26
	.byte	114
	.byte	60
	.byte	18
	.byte	-89
	.byte	-121
	.byte	-26
	.byte	-41
	.byte	-120
	.byte	113
	.byte	-102
	.byte	16
	.byte	-67
	.byte	-70
	.byte	91
	.byte	38
	.byte	-103
	.byte	-61
	.byte	39
	.byte	24
	.byte	106
	.byte	-12
	.byte	-30
	.byte	60
	.byte	26
	.byte	-108
	.byte	104
	.byte	52
	.byte	-74
	.byte	21
	.byte	11
	.byte	-38
	.byte	37
	.byte	-125
	.byte	-23
	.byte	-54
	.byte	42
	.byte	-44
	.byte	76
	.byte	-24
	.byte	-37
	.byte	-69
	.byte	-62
	.byte	-37
	.byte	4
	.byte	-34
	.byte	-114
	.byte	-7
	.byte	46
	.byte	-114
	.byte	-4
	.byte	20
	.byte	31
	.byte	-66
	.byte	-54
	.byte	-90
	.byte	40
	.byte	124
	.byte	89
	.byte	71
	.byte	78
	.byte	107
	.byte	-64
	.byte	93
	.byte	-103
	.byte	-78
	.byte	-106
	.byte	79
	.byte	-96
	.byte	-112
	.byte	-61
	.byte	-94
	.byte	35
	.byte	59
	.byte	-95
	.byte	-122
	.byte	81
	.byte	91
	.byte	-25
	.byte	-19
	.byte	31
	.byte	97
	.byte	41
	.byte	112
	.byte	-50
	.byte	-30
	.byte	-41
	.byte	-81
	.byte	-72
	.byte	27
	.byte	-35
	.byte	118
	.byte	33
	.byte	112
	.byte	72
	.byte	28
	.byte	-48
	.byte	6
	.byte	-111
	.byte	39
	.byte	-43
	.byte	-80
	.byte	90
	.byte	-87
	.byte	-109
	.byte	-76
	.byte	-22
	.byte	-104
	.byte	-115
	.byte	-113
	.byte	-35
	.byte	-63
	.byte	-122
	.byte	-1
	.byte	-73
	.byte	-36
	.byte	-112
	.byte	-90
	.byte	-64
	.byte	-113
	.byte	77
	.byte	-12
	.byte	53
	.byte	-55
	.byte	52
	.byte	2
	.byte	-124
	.byte	-110
	.byte	54
	.byte	-61
	.byte	-6
	.byte	-76
	.byte	-46
	.byte	124
	.byte	112
	.byte	38
	.byte	-63
	.byte	-44
	.byte	-36
	.byte	-78
	.byte	96
	.byte	38
	.byte	70
	.byte	-34
	.byte	-55
	.byte	117
	.byte	30
	.byte	118
	.byte	61
	.byte	-70
	.byte	55
	.byte	-67
	.byte	-8
	.byte	-1
	.byte	-108
	.byte	6
	.byte	-83
	.byte	-98
	.byte	83
	.byte	14
	.byte	-27
	.byte	-37
	.byte	56
	.byte	47
	.byte	65
	.byte	48
	.byte	1
	.byte	-82
	.byte	-80
	.byte	106
	.byte	83
	.byte	-19
	.byte	-112
	.byte	39
	.byte	-40
	.byte	49
	.byte	23
	.byte	-105
	.byte	39
	.byte	-80
	.byte	-122
	.byte	90
	.byte	-119
	.byte	24
	.byte	-38
	.byte	62
	.byte	-37
	.byte	-21
	.byte	-49
	.byte	-101
	.byte	20
	.byte	-19
	.byte	68
	.byte	-50
	.byte	108
	.byte	-70
	.byte	-50
	.byte	-44
	.byte	-69
	.byte	27
	.byte	-37
	.byte	127
	.byte	20
	.byte	71
	.byte	-26
	.byte	-52
	.byte	37
	.byte	75
	.byte	51
	.byte	32
	.byte	81
	.byte	81
	.byte	43
	.byte	-41
	.byte	-81
	.byte	66
	.byte	111
	.byte	-72
	.byte	-12
	.byte	1
	.byte	55
	.byte	-116
	.byte	-46
	.byte	-65
	.byte	89
	.byte	-125
	.byte	-54
	.byte	1
	.byte	-58
	.byte	75
	.byte	-110
	.byte	-20
	.byte	-16
	.byte	50
	.byte	-22
	.byte	21
	.byte	-47
	.byte	114
	.byte	29
	.byte	3
	.byte	-12
	.byte	-126
	.byte	-41
	.byte	-50
	.byte	110
	.byte	116
	.byte	-2
	.byte	-10
	.byte	-43
	.byte	94
	.byte	112
	.byte	47
	.byte	70
	.byte	-104
	.byte	12
	.byte	-126
	.byte	-75
	.byte	-88
	.byte	64
	.byte	49
	.byte	-112
	.byte	11
	.byte	28
	.byte	-98
	.byte	89
	.byte	-25
	.byte	-55
	.byte	127
	.byte	-66
	.byte	-57
	.byte	-24
	.byte	-13
	.byte	35
	.byte	-87
	.byte	122
	.byte	126
	.byte	54
	.byte	-52
	.byte	-120
	.byte	-66
	.byte	15
	.byte	29
	.byte	69
	.byte	-73
	.byte	-1
	.byte	88
	.byte	90
	.byte	-59
	.byte	75
	.byte	-44
	.byte	7
	.byte	-78
	.byte	43
	.byte	65
	.byte	84
	.byte	-86
	.byte	-52
	.byte	-113
	.byte	109
	.byte	126
	.byte	-65
	.byte	72
	.byte	-31
	.byte	-40
	.byte	20
	.byte	-52
	.byte	94
	.byte	-46
	.byte	15
	.byte	-128
	.byte	55
	.byte	-32
	.byte	-89
	.byte	-105
	.byte	21
	.byte	-18
	.byte	-14
	.byte	-101
	.byte	-29
	.byte	40
	.byte	6
	.byte	-95
	.byte	-43
	.byte	-117
	.byte	-73
	.byte	-59
	.byte	-38
	.byte	118
	.byte	-11
	.byte	80
	.byte	-86
	.byte	61
	.byte	-118
	.byte	31
	.byte	-65
	.byte	-16
	.byte	-21
	.byte	25
	.byte	-52
	.byte	-79
	.byte	-93
	.byte	19
	.byte	-43
	.byte	92
	.byte	-38
	.byte	86
	.byte	-55
	.byte	-20
	.byte	46
	.byte	-14
	.byte	-106
	.byte	50
	.byte	56
	.byte	127
	.byte	-24
	.byte	-41
	.byte	110
	.byte	60
	.byte	4
	.byte	104
	.byte	4
	.byte	62
	.byte	-113
	.byte	102
	.byte	63
	.byte	72
	.byte	96
	.byte	-18
	.byte	18
	.byte	-65
	.byte	45
	.byte	91
	.byte	11
	.byte	116
	.byte	116
	.byte	-42
	.byte	-26
	.byte	-108
	.byte	-7
	.byte	30
	.byte	109
	.byte	-66
	.byte	17
	.byte	89
	.byte	116
	.byte	-93
	.byte	-110
	.byte	111
	.byte	18
	.byte	-2
	.byte	-27
	.byte	-28
	.byte	56
	.byte	119
	.byte	124
	.byte	-74
	.byte	-87
	.byte	50
	.byte	-33
	.byte	-116
	.byte	-40
	.byte	-66
	.byte	-60
	.byte	-48
	.byte	115
	.byte	-71
	.byte	49
	.byte	-70
	.byte	59
	.byte	-56
	.byte	50
	.byte	-74
	.byte	-115
	.byte	-99
	.byte	-45
	.byte	0
	.byte	116
	.byte	31
	.byte	-89
	.byte	-65
	.byte	-118
	.byte	-4
	.byte	71
	.byte	-19
	.byte	37
	.byte	118
	.byte	-10
	.byte	-109
	.byte	107
	.byte	-92
	.byte	36
	.byte	102
	.byte	58
	.byte	-85
	.byte	99
	.byte	-100
	.byte	90
	.byte	-28
	.byte	-11
	.byte	104
	.byte	52
	.byte	35
	.byte	-76
	.byte	116
	.byte	43
	.byte	-15
	.byte	-55
	.byte	120
	.byte	35
	.byte	-113
	.byte	22
	.byte	-53
	.byte	-29
	.byte	-99
	.byte	101
	.byte	45
	.byte	-29
	.byte	-3
	.byte	-72
	.byte	-66
	.byte	-4
	.byte	-124
	.byte	-118
	.byte	-39
	.byte	34
	.byte	34
	.byte	46
	.byte	4
	.byte	-92
	.byte	3
	.byte	124
	.byte	7
	.byte	19
	.byte	-21
	.byte	87
	.byte	-88
	.byte	26
	.byte	35
	.byte	-16
	.byte	-57
	.byte	52
	.byte	115
	.byte	-4
	.byte	100
	.byte	108
	.byte	-22
	.byte	48
	.byte	107
	.byte	75
	.byte	-53
	.byte	-56
	.byte	-122
	.byte	47
	.byte	-125
	.byte	-123
	.byte	-35
	.byte	-6
	.byte	-99
	.byte	75
	.byte	127
	.byte	-94
	.byte	-64
	.byte	-121
	.byte	-24
	.byte	121
	.byte	104
	.byte	51
	.byte	3
	.byte	-19
	.byte	91
	.byte	-35
	.byte	58
	.byte	6
	.byte	43
	.byte	60
	.byte	-11
	.byte	-77
	.byte	-94
	.byte	120
	.byte	-90
	.byte	109
	.byte	42
	.byte	19
	.byte	-8
	.byte	63
	.byte	68
	.byte	-8
	.byte	45
	.byte	-33
	.byte	49
	.byte	14
	.byte	-32
	.byte	116
	.byte	-85
	.byte	106
	.byte	54
	.byte	69
	.byte	-105
	.byte	-24
	.byte	-103
	.byte	-96
	.byte	37
	.byte	93
	.byte	-63
	.byte	100
	.byte	-13
	.byte	28
	.byte	-59
	.byte	8
	.byte	70
	.byte	-123
	.byte	29
	.byte	-7
	.byte	-85
	.byte	72
	.byte	25
	.byte	93
	.byte	-19
	.byte	126
	.byte	-95
	.byte	-79
	.byte	-43
	.byte	16
	.byte	-67
	.byte	126
	.byte	-25
	.byte	77
	.byte	115
	.byte	-6
	.byte	-13
	.byte	107
	.byte	-61
	.byte	30
	.byte	-49
	.byte	-94
	.byte	104
	.byte	53
	.byte	-112
	.byte	70
	.byte	-12
	.byte	-21
	.byte	-121
	.byte	-97
	.byte	-110
	.byte	64
	.byte	9
	.byte	67
	.byte	-117
	.byte	72
	.byte	28
	.byte	108
	.byte	-41
	.byte	-120
	.byte	-102
	.byte	0
	.byte	46
	.byte	-43
	.byte	-18
	.byte	56
	.byte	43
	.byte	-55
	.byte	25
	.byte	13
	.byte	-90
	.byte	-4
	.byte	2
	.byte	110
	.byte	71
	.byte	-107
	.byte	88
	.byte	-28
	.byte	71
	.byte	86
	.byte	119
	.byte	-23
	.byte	-86
	.byte	-98
	.byte	48
	.byte	80
	.byte	-30
	.byte	118
	.byte	86
	.byte	-108
	.byte	-33
	.byte	-56
	.byte	31
	.byte	86
	.byte	-24
	.byte	-128
	.byte	-71
	.byte	110
	.byte	113
	.byte	96
	.byte	-55
	.byte	-128
	.byte	-35
	.byte	-104
	.byte	-19
	.byte	-45
	.byte	-33
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.align 32
	.type	RFC3526_PRIME_6144.5174, @object
	.size	RFC3526_PRIME_6144.5174, 768
RFC3526_PRIME_6144.5174:
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-55
	.byte	15
	.byte	-38
	.byte	-94
	.byte	33
	.byte	104
	.byte	-62
	.byte	52
	.byte	-60
	.byte	-58
	.byte	98
	.byte	-117
	.byte	-128
	.byte	-36
	.byte	28
	.byte	-47
	.byte	41
	.byte	2
	.byte	78
	.byte	8
	.byte	-118
	.byte	103
	.byte	-52
	.byte	116
	.byte	2
	.byte	11
	.byte	-66
	.byte	-90
	.byte	59
	.byte	19
	.byte	-101
	.byte	34
	.byte	81
	.byte	74
	.byte	8
	.byte	121
	.byte	-114
	.byte	52
	.byte	4
	.byte	-35
	.byte	-17
	.byte	-107
	.byte	25
	.byte	-77
	.byte	-51
	.byte	58
	.byte	67
	.byte	27
	.byte	48
	.byte	43
	.byte	10
	.byte	109
	.byte	-14
	.byte	95
	.byte	20
	.byte	55
	.byte	79
	.byte	-31
	.byte	53
	.byte	109
	.byte	109
	.byte	81
	.byte	-62
	.byte	69
	.byte	-28
	.byte	-123
	.byte	-75
	.byte	118
	.byte	98
	.byte	94
	.byte	126
	.byte	-58
	.byte	-12
	.byte	76
	.byte	66
	.byte	-23
	.byte	-90
	.byte	55
	.byte	-19
	.byte	107
	.byte	11
	.byte	-1
	.byte	92
	.byte	-74
	.byte	-12
	.byte	6
	.byte	-73
	.byte	-19
	.byte	-18
	.byte	56
	.byte	107
	.byte	-5
	.byte	90
	.byte	-119
	.byte	-97
	.byte	-91
	.byte	-82
	.byte	-97
	.byte	36
	.byte	17
	.byte	124
	.byte	75
	.byte	31
	.byte	-26
	.byte	73
	.byte	40
	.byte	102
	.byte	81
	.byte	-20
	.byte	-28
	.byte	91
	.byte	61
	.byte	-62
	.byte	0
	.byte	124
	.byte	-72
	.byte	-95
	.byte	99
	.byte	-65
	.byte	5
	.byte	-104
	.byte	-38
	.byte	72
	.byte	54
	.byte	28
	.byte	85
	.byte	-45
	.byte	-102
	.byte	105
	.byte	22
	.byte	63
	.byte	-88
	.byte	-3
	.byte	36
	.byte	-49
	.byte	95
	.byte	-125
	.byte	101
	.byte	93
	.byte	35
	.byte	-36
	.byte	-93
	.byte	-83
	.byte	-106
	.byte	28
	.byte	98
	.byte	-13
	.byte	86
	.byte	32
	.byte	-123
	.byte	82
	.byte	-69
	.byte	-98
	.byte	-43
	.byte	41
	.byte	7
	.byte	112
	.byte	-106
	.byte	-106
	.byte	109
	.byte	103
	.byte	12
	.byte	53
	.byte	78
	.byte	74
	.byte	-68
	.byte	-104
	.byte	4
	.byte	-15
	.byte	116
	.byte	108
	.byte	8
	.byte	-54
	.byte	24
	.byte	33
	.byte	124
	.byte	50
	.byte	-112
	.byte	94
	.byte	70
	.byte	46
	.byte	54
	.byte	-50
	.byte	59
	.byte	-29
	.byte	-98
	.byte	119
	.byte	44
	.byte	24
	.byte	14
	.byte	-122
	.byte	3
	.byte	-101
	.byte	39
	.byte	-125
	.byte	-94
	.byte	-20
	.byte	7
	.byte	-94
	.byte	-113
	.byte	-75
	.byte	-59
	.byte	93
	.byte	-16
	.byte	111
	.byte	76
	.byte	82
	.byte	-55
	.byte	-34
	.byte	43
	.byte	-53
	.byte	-10
	.byte	-107
	.byte	88
	.byte	23
	.byte	24
	.byte	57
	.byte	-107
	.byte	73
	.byte	124
	.byte	-22
	.byte	-107
	.byte	106
	.byte	-27
	.byte	21
	.byte	-46
	.byte	38
	.byte	24
	.byte	-104
	.byte	-6
	.byte	5
	.byte	16
	.byte	21
	.byte	114
	.byte	-114
	.byte	90
	.byte	-118
	.byte	-86
	.byte	-60
	.byte	45
	.byte	-83
	.byte	51
	.byte	23
	.byte	13
	.byte	4
	.byte	80
	.byte	122
	.byte	51
	.byte	-88
	.byte	85
	.byte	33
	.byte	-85
	.byte	-33
	.byte	28
	.byte	-70
	.byte	100
	.byte	-20
	.byte	-5
	.byte	-123
	.byte	4
	.byte	88
	.byte	-37
	.byte	-17
	.byte	10
	.byte	-118
	.byte	-22
	.byte	113
	.byte	87
	.byte	93
	.byte	6
	.byte	12
	.byte	125
	.byte	-77
	.byte	-105
	.byte	15
	.byte	-123
	.byte	-90
	.byte	-31
	.byte	-28
	.byte	-57
	.byte	-85
	.byte	-11
	.byte	-82
	.byte	-116
	.byte	-37
	.byte	9
	.byte	51
	.byte	-41
	.byte	30
	.byte	-116
	.byte	-108
	.byte	-32
	.byte	74
	.byte	37
	.byte	97
	.byte	-99
	.byte	-50
	.byte	-29
	.byte	-46
	.byte	38
	.byte	26
	.byte	-46
	.byte	-18
	.byte	107
	.byte	-15
	.byte	47
	.byte	-6
	.byte	6
	.byte	-39
	.byte	-118
	.byte	8
	.byte	100
	.byte	-40
	.byte	118
	.byte	2
	.byte	115
	.byte	62
	.byte	-56
	.byte	106
	.byte	100
	.byte	82
	.byte	31
	.byte	43
	.byte	24
	.byte	23
	.byte	123
	.byte	32
	.byte	12
	.byte	-69
	.byte	-31
	.byte	23
	.byte	87
	.byte	122
	.byte	97
	.byte	93
	.byte	108
	.byte	119
	.byte	9
	.byte	-120
	.byte	-64
	.byte	-70
	.byte	-39
	.byte	70
	.byte	-30
	.byte	8
	.byte	-30
	.byte	79
	.byte	-96
	.byte	116
	.byte	-27
	.byte	-85
	.byte	49
	.byte	67
	.byte	-37
	.byte	91
	.byte	-4
	.byte	-32
	.byte	-3
	.byte	16
	.byte	-114
	.byte	75
	.byte	-126
	.byte	-47
	.byte	32
	.byte	-87
	.byte	33
	.byte	8
	.byte	1
	.byte	26
	.byte	114
	.byte	60
	.byte	18
	.byte	-89
	.byte	-121
	.byte	-26
	.byte	-41
	.byte	-120
	.byte	113
	.byte	-102
	.byte	16
	.byte	-67
	.byte	-70
	.byte	91
	.byte	38
	.byte	-103
	.byte	-61
	.byte	39
	.byte	24
	.byte	106
	.byte	-12
	.byte	-30
	.byte	60
	.byte	26
	.byte	-108
	.byte	104
	.byte	52
	.byte	-74
	.byte	21
	.byte	11
	.byte	-38
	.byte	37
	.byte	-125
	.byte	-23
	.byte	-54
	.byte	42
	.byte	-44
	.byte	76
	.byte	-24
	.byte	-37
	.byte	-69
	.byte	-62
	.byte	-37
	.byte	4
	.byte	-34
	.byte	-114
	.byte	-7
	.byte	46
	.byte	-114
	.byte	-4
	.byte	20
	.byte	31
	.byte	-66
	.byte	-54
	.byte	-90
	.byte	40
	.byte	124
	.byte	89
	.byte	71
	.byte	78
	.byte	107
	.byte	-64
	.byte	93
	.byte	-103
	.byte	-78
	.byte	-106
	.byte	79
	.byte	-96
	.byte	-112
	.byte	-61
	.byte	-94
	.byte	35
	.byte	59
	.byte	-95
	.byte	-122
	.byte	81
	.byte	91
	.byte	-25
	.byte	-19
	.byte	31
	.byte	97
	.byte	41
	.byte	112
	.byte	-50
	.byte	-30
	.byte	-41
	.byte	-81
	.byte	-72
	.byte	27
	.byte	-35
	.byte	118
	.byte	33
	.byte	112
	.byte	72
	.byte	28
	.byte	-48
	.byte	6
	.byte	-111
	.byte	39
	.byte	-43
	.byte	-80
	.byte	90
	.byte	-87
	.byte	-109
	.byte	-76
	.byte	-22
	.byte	-104
	.byte	-115
	.byte	-113
	.byte	-35
	.byte	-63
	.byte	-122
	.byte	-1
	.byte	-73
	.byte	-36
	.byte	-112
	.byte	-90
	.byte	-64
	.byte	-113
	.byte	77
	.byte	-12
	.byte	53
	.byte	-55
	.byte	52
	.byte	2
	.byte	-124
	.byte	-110
	.byte	54
	.byte	-61
	.byte	-6
	.byte	-76
	.byte	-46
	.byte	124
	.byte	112
	.byte	38
	.byte	-63
	.byte	-44
	.byte	-36
	.byte	-78
	.byte	96
	.byte	38
	.byte	70
	.byte	-34
	.byte	-55
	.byte	117
	.byte	30
	.byte	118
	.byte	61
	.byte	-70
	.byte	55
	.byte	-67
	.byte	-8
	.byte	-1
	.byte	-108
	.byte	6
	.byte	-83
	.byte	-98
	.byte	83
	.byte	14
	.byte	-27
	.byte	-37
	.byte	56
	.byte	47
	.byte	65
	.byte	48
	.byte	1
	.byte	-82
	.byte	-80
	.byte	106
	.byte	83
	.byte	-19
	.byte	-112
	.byte	39
	.byte	-40
	.byte	49
	.byte	23
	.byte	-105
	.byte	39
	.byte	-80
	.byte	-122
	.byte	90
	.byte	-119
	.byte	24
	.byte	-38
	.byte	62
	.byte	-37
	.byte	-21
	.byte	-49
	.byte	-101
	.byte	20
	.byte	-19
	.byte	68
	.byte	-50
	.byte	108
	.byte	-70
	.byte	-50
	.byte	-44
	.byte	-69
	.byte	27
	.byte	-37
	.byte	127
	.byte	20
	.byte	71
	.byte	-26
	.byte	-52
	.byte	37
	.byte	75
	.byte	51
	.byte	32
	.byte	81
	.byte	81
	.byte	43
	.byte	-41
	.byte	-81
	.byte	66
	.byte	111
	.byte	-72
	.byte	-12
	.byte	1
	.byte	55
	.byte	-116
	.byte	-46
	.byte	-65
	.byte	89
	.byte	-125
	.byte	-54
	.byte	1
	.byte	-58
	.byte	75
	.byte	-110
	.byte	-20
	.byte	-16
	.byte	50
	.byte	-22
	.byte	21
	.byte	-47
	.byte	114
	.byte	29
	.byte	3
	.byte	-12
	.byte	-126
	.byte	-41
	.byte	-50
	.byte	110
	.byte	116
	.byte	-2
	.byte	-10
	.byte	-43
	.byte	94
	.byte	112
	.byte	47
	.byte	70
	.byte	-104
	.byte	12
	.byte	-126
	.byte	-75
	.byte	-88
	.byte	64
	.byte	49
	.byte	-112
	.byte	11
	.byte	28
	.byte	-98
	.byte	89
	.byte	-25
	.byte	-55
	.byte	127
	.byte	-66
	.byte	-57
	.byte	-24
	.byte	-13
	.byte	35
	.byte	-87
	.byte	122
	.byte	126
	.byte	54
	.byte	-52
	.byte	-120
	.byte	-66
	.byte	15
	.byte	29
	.byte	69
	.byte	-73
	.byte	-1
	.byte	88
	.byte	90
	.byte	-59
	.byte	75
	.byte	-44
	.byte	7
	.byte	-78
	.byte	43
	.byte	65
	.byte	84
	.byte	-86
	.byte	-52
	.byte	-113
	.byte	109
	.byte	126
	.byte	-65
	.byte	72
	.byte	-31
	.byte	-40
	.byte	20
	.byte	-52
	.byte	94
	.byte	-46
	.byte	15
	.byte	-128
	.byte	55
	.byte	-32
	.byte	-89
	.byte	-105
	.byte	21
	.byte	-18
	.byte	-14
	.byte	-101
	.byte	-29
	.byte	40
	.byte	6
	.byte	-95
	.byte	-43
	.byte	-117
	.byte	-73
	.byte	-59
	.byte	-38
	.byte	118
	.byte	-11
	.byte	80
	.byte	-86
	.byte	61
	.byte	-118
	.byte	31
	.byte	-65
	.byte	-16
	.byte	-21
	.byte	25
	.byte	-52
	.byte	-79
	.byte	-93
	.byte	19
	.byte	-43
	.byte	92
	.byte	-38
	.byte	86
	.byte	-55
	.byte	-20
	.byte	46
	.byte	-14
	.byte	-106
	.byte	50
	.byte	56
	.byte	127
	.byte	-24
	.byte	-41
	.byte	110
	.byte	60
	.byte	4
	.byte	104
	.byte	4
	.byte	62
	.byte	-113
	.byte	102
	.byte	63
	.byte	72
	.byte	96
	.byte	-18
	.byte	18
	.byte	-65
	.byte	45
	.byte	91
	.byte	11
	.byte	116
	.byte	116
	.byte	-42
	.byte	-26
	.byte	-108
	.byte	-7
	.byte	30
	.byte	109
	.byte	-52
	.byte	64
	.byte	36
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.align 32
	.type	RFC3526_PRIME_4096.5170, @object
	.size	RFC3526_PRIME_4096.5170, 512
RFC3526_PRIME_4096.5170:
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-55
	.byte	15
	.byte	-38
	.byte	-94
	.byte	33
	.byte	104
	.byte	-62
	.byte	52
	.byte	-60
	.byte	-58
	.byte	98
	.byte	-117
	.byte	-128
	.byte	-36
	.byte	28
	.byte	-47
	.byte	41
	.byte	2
	.byte	78
	.byte	8
	.byte	-118
	.byte	103
	.byte	-52
	.byte	116
	.byte	2
	.byte	11
	.byte	-66
	.byte	-90
	.byte	59
	.byte	19
	.byte	-101
	.byte	34
	.byte	81
	.byte	74
	.byte	8
	.byte	121
	.byte	-114
	.byte	52
	.byte	4
	.byte	-35
	.byte	-17
	.byte	-107
	.byte	25
	.byte	-77
	.byte	-51
	.byte	58
	.byte	67
	.byte	27
	.byte	48
	.byte	43
	.byte	10
	.byte	109
	.byte	-14
	.byte	95
	.byte	20
	.byte	55
	.byte	79
	.byte	-31
	.byte	53
	.byte	109
	.byte	109
	.byte	81
	.byte	-62
	.byte	69
	.byte	-28
	.byte	-123
	.byte	-75
	.byte	118
	.byte	98
	.byte	94
	.byte	126
	.byte	-58
	.byte	-12
	.byte	76
	.byte	66
	.byte	-23
	.byte	-90
	.byte	55
	.byte	-19
	.byte	107
	.byte	11
	.byte	-1
	.byte	92
	.byte	-74
	.byte	-12
	.byte	6
	.byte	-73
	.byte	-19
	.byte	-18
	.byte	56
	.byte	107
	.byte	-5
	.byte	90
	.byte	-119
	.byte	-97
	.byte	-91
	.byte	-82
	.byte	-97
	.byte	36
	.byte	17
	.byte	124
	.byte	75
	.byte	31
	.byte	-26
	.byte	73
	.byte	40
	.byte	102
	.byte	81
	.byte	-20
	.byte	-28
	.byte	91
	.byte	61
	.byte	-62
	.byte	0
	.byte	124
	.byte	-72
	.byte	-95
	.byte	99
	.byte	-65
	.byte	5
	.byte	-104
	.byte	-38
	.byte	72
	.byte	54
	.byte	28
	.byte	85
	.byte	-45
	.byte	-102
	.byte	105
	.byte	22
	.byte	63
	.byte	-88
	.byte	-3
	.byte	36
	.byte	-49
	.byte	95
	.byte	-125
	.byte	101
	.byte	93
	.byte	35
	.byte	-36
	.byte	-93
	.byte	-83
	.byte	-106
	.byte	28
	.byte	98
	.byte	-13
	.byte	86
	.byte	32
	.byte	-123
	.byte	82
	.byte	-69
	.byte	-98
	.byte	-43
	.byte	41
	.byte	7
	.byte	112
	.byte	-106
	.byte	-106
	.byte	109
	.byte	103
	.byte	12
	.byte	53
	.byte	78
	.byte	74
	.byte	-68
	.byte	-104
	.byte	4
	.byte	-15
	.byte	116
	.byte	108
	.byte	8
	.byte	-54
	.byte	24
	.byte	33
	.byte	124
	.byte	50
	.byte	-112
	.byte	94
	.byte	70
	.byte	46
	.byte	54
	.byte	-50
	.byte	59
	.byte	-29
	.byte	-98
	.byte	119
	.byte	44
	.byte	24
	.byte	14
	.byte	-122
	.byte	3
	.byte	-101
	.byte	39
	.byte	-125
	.byte	-94
	.byte	-20
	.byte	7
	.byte	-94
	.byte	-113
	.byte	-75
	.byte	-59
	.byte	93
	.byte	-16
	.byte	111
	.byte	76
	.byte	82
	.byte	-55
	.byte	-34
	.byte	43
	.byte	-53
	.byte	-10
	.byte	-107
	.byte	88
	.byte	23
	.byte	24
	.byte	57
	.byte	-107
	.byte	73
	.byte	124
	.byte	-22
	.byte	-107
	.byte	106
	.byte	-27
	.byte	21
	.byte	-46
	.byte	38
	.byte	24
	.byte	-104
	.byte	-6
	.byte	5
	.byte	16
	.byte	21
	.byte	114
	.byte	-114
	.byte	90
	.byte	-118
	.byte	-86
	.byte	-60
	.byte	45
	.byte	-83
	.byte	51
	.byte	23
	.byte	13
	.byte	4
	.byte	80
	.byte	122
	.byte	51
	.byte	-88
	.byte	85
	.byte	33
	.byte	-85
	.byte	-33
	.byte	28
	.byte	-70
	.byte	100
	.byte	-20
	.byte	-5
	.byte	-123
	.byte	4
	.byte	88
	.byte	-37
	.byte	-17
	.byte	10
	.byte	-118
	.byte	-22
	.byte	113
	.byte	87
	.byte	93
	.byte	6
	.byte	12
	.byte	125
	.byte	-77
	.byte	-105
	.byte	15
	.byte	-123
	.byte	-90
	.byte	-31
	.byte	-28
	.byte	-57
	.byte	-85
	.byte	-11
	.byte	-82
	.byte	-116
	.byte	-37
	.byte	9
	.byte	51
	.byte	-41
	.byte	30
	.byte	-116
	.byte	-108
	.byte	-32
	.byte	74
	.byte	37
	.byte	97
	.byte	-99
	.byte	-50
	.byte	-29
	.byte	-46
	.byte	38
	.byte	26
	.byte	-46
	.byte	-18
	.byte	107
	.byte	-15
	.byte	47
	.byte	-6
	.byte	6
	.byte	-39
	.byte	-118
	.byte	8
	.byte	100
	.byte	-40
	.byte	118
	.byte	2
	.byte	115
	.byte	62
	.byte	-56
	.byte	106
	.byte	100
	.byte	82
	.byte	31
	.byte	43
	.byte	24
	.byte	23
	.byte	123
	.byte	32
	.byte	12
	.byte	-69
	.byte	-31
	.byte	23
	.byte	87
	.byte	122
	.byte	97
	.byte	93
	.byte	108
	.byte	119
	.byte	9
	.byte	-120
	.byte	-64
	.byte	-70
	.byte	-39
	.byte	70
	.byte	-30
	.byte	8
	.byte	-30
	.byte	79
	.byte	-96
	.byte	116
	.byte	-27
	.byte	-85
	.byte	49
	.byte	67
	.byte	-37
	.byte	91
	.byte	-4
	.byte	-32
	.byte	-3
	.byte	16
	.byte	-114
	.byte	75
	.byte	-126
	.byte	-47
	.byte	32
	.byte	-87
	.byte	33
	.byte	8
	.byte	1
	.byte	26
	.byte	114
	.byte	60
	.byte	18
	.byte	-89
	.byte	-121
	.byte	-26
	.byte	-41
	.byte	-120
	.byte	113
	.byte	-102
	.byte	16
	.byte	-67
	.byte	-70
	.byte	91
	.byte	38
	.byte	-103
	.byte	-61
	.byte	39
	.byte	24
	.byte	106
	.byte	-12
	.byte	-30
	.byte	60
	.byte	26
	.byte	-108
	.byte	104
	.byte	52
	.byte	-74
	.byte	21
	.byte	11
	.byte	-38
	.byte	37
	.byte	-125
	.byte	-23
	.byte	-54
	.byte	42
	.byte	-44
	.byte	76
	.byte	-24
	.byte	-37
	.byte	-69
	.byte	-62
	.byte	-37
	.byte	4
	.byte	-34
	.byte	-114
	.byte	-7
	.byte	46
	.byte	-114
	.byte	-4
	.byte	20
	.byte	31
	.byte	-66
	.byte	-54
	.byte	-90
	.byte	40
	.byte	124
	.byte	89
	.byte	71
	.byte	78
	.byte	107
	.byte	-64
	.byte	93
	.byte	-103
	.byte	-78
	.byte	-106
	.byte	79
	.byte	-96
	.byte	-112
	.byte	-61
	.byte	-94
	.byte	35
	.byte	59
	.byte	-95
	.byte	-122
	.byte	81
	.byte	91
	.byte	-25
	.byte	-19
	.byte	31
	.byte	97
	.byte	41
	.byte	112
	.byte	-50
	.byte	-30
	.byte	-41
	.byte	-81
	.byte	-72
	.byte	27
	.byte	-35
	.byte	118
	.byte	33
	.byte	112
	.byte	72
	.byte	28
	.byte	-48
	.byte	6
	.byte	-111
	.byte	39
	.byte	-43
	.byte	-80
	.byte	90
	.byte	-87
	.byte	-109
	.byte	-76
	.byte	-22
	.byte	-104
	.byte	-115
	.byte	-113
	.byte	-35
	.byte	-63
	.byte	-122
	.byte	-1
	.byte	-73
	.byte	-36
	.byte	-112
	.byte	-90
	.byte	-64
	.byte	-113
	.byte	77
	.byte	-12
	.byte	53
	.byte	-55
	.byte	52
	.byte	6
	.byte	49
	.byte	-103
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.align 32
	.type	RFC3526_PRIME_3072.5166, @object
	.size	RFC3526_PRIME_3072.5166, 384
RFC3526_PRIME_3072.5166:
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-55
	.byte	15
	.byte	-38
	.byte	-94
	.byte	33
	.byte	104
	.byte	-62
	.byte	52
	.byte	-60
	.byte	-58
	.byte	98
	.byte	-117
	.byte	-128
	.byte	-36
	.byte	28
	.byte	-47
	.byte	41
	.byte	2
	.byte	78
	.byte	8
	.byte	-118
	.byte	103
	.byte	-52
	.byte	116
	.byte	2
	.byte	11
	.byte	-66
	.byte	-90
	.byte	59
	.byte	19
	.byte	-101
	.byte	34
	.byte	81
	.byte	74
	.byte	8
	.byte	121
	.byte	-114
	.byte	52
	.byte	4
	.byte	-35
	.byte	-17
	.byte	-107
	.byte	25
	.byte	-77
	.byte	-51
	.byte	58
	.byte	67
	.byte	27
	.byte	48
	.byte	43
	.byte	10
	.byte	109
	.byte	-14
	.byte	95
	.byte	20
	.byte	55
	.byte	79
	.byte	-31
	.byte	53
	.byte	109
	.byte	109
	.byte	81
	.byte	-62
	.byte	69
	.byte	-28
	.byte	-123
	.byte	-75
	.byte	118
	.byte	98
	.byte	94
	.byte	126
	.byte	-58
	.byte	-12
	.byte	76
	.byte	66
	.byte	-23
	.byte	-90
	.byte	55
	.byte	-19
	.byte	107
	.byte	11
	.byte	-1
	.byte	92
	.byte	-74
	.byte	-12
	.byte	6
	.byte	-73
	.byte	-19
	.byte	-18
	.byte	56
	.byte	107
	.byte	-5
	.byte	90
	.byte	-119
	.byte	-97
	.byte	-91
	.byte	-82
	.byte	-97
	.byte	36
	.byte	17
	.byte	124
	.byte	75
	.byte	31
	.byte	-26
	.byte	73
	.byte	40
	.byte	102
	.byte	81
	.byte	-20
	.byte	-28
	.byte	91
	.byte	61
	.byte	-62
	.byte	0
	.byte	124
	.byte	-72
	.byte	-95
	.byte	99
	.byte	-65
	.byte	5
	.byte	-104
	.byte	-38
	.byte	72
	.byte	54
	.byte	28
	.byte	85
	.byte	-45
	.byte	-102
	.byte	105
	.byte	22
	.byte	63
	.byte	-88
	.byte	-3
	.byte	36
	.byte	-49
	.byte	95
	.byte	-125
	.byte	101
	.byte	93
	.byte	35
	.byte	-36
	.byte	-93
	.byte	-83
	.byte	-106
	.byte	28
	.byte	98
	.byte	-13
	.byte	86
	.byte	32
	.byte	-123
	.byte	82
	.byte	-69
	.byte	-98
	.byte	-43
	.byte	41
	.byte	7
	.byte	112
	.byte	-106
	.byte	-106
	.byte	109
	.byte	103
	.byte	12
	.byte	53
	.byte	78
	.byte	74
	.byte	-68
	.byte	-104
	.byte	4
	.byte	-15
	.byte	116
	.byte	108
	.byte	8
	.byte	-54
	.byte	24
	.byte	33
	.byte	124
	.byte	50
	.byte	-112
	.byte	94
	.byte	70
	.byte	46
	.byte	54
	.byte	-50
	.byte	59
	.byte	-29
	.byte	-98
	.byte	119
	.byte	44
	.byte	24
	.byte	14
	.byte	-122
	.byte	3
	.byte	-101
	.byte	39
	.byte	-125
	.byte	-94
	.byte	-20
	.byte	7
	.byte	-94
	.byte	-113
	.byte	-75
	.byte	-59
	.byte	93
	.byte	-16
	.byte	111
	.byte	76
	.byte	82
	.byte	-55
	.byte	-34
	.byte	43
	.byte	-53
	.byte	-10
	.byte	-107
	.byte	88
	.byte	23
	.byte	24
	.byte	57
	.byte	-107
	.byte	73
	.byte	124
	.byte	-22
	.byte	-107
	.byte	106
	.byte	-27
	.byte	21
	.byte	-46
	.byte	38
	.byte	24
	.byte	-104
	.byte	-6
	.byte	5
	.byte	16
	.byte	21
	.byte	114
	.byte	-114
	.byte	90
	.byte	-118
	.byte	-86
	.byte	-60
	.byte	45
	.byte	-83
	.byte	51
	.byte	23
	.byte	13
	.byte	4
	.byte	80
	.byte	122
	.byte	51
	.byte	-88
	.byte	85
	.byte	33
	.byte	-85
	.byte	-33
	.byte	28
	.byte	-70
	.byte	100
	.byte	-20
	.byte	-5
	.byte	-123
	.byte	4
	.byte	88
	.byte	-37
	.byte	-17
	.byte	10
	.byte	-118
	.byte	-22
	.byte	113
	.byte	87
	.byte	93
	.byte	6
	.byte	12
	.byte	125
	.byte	-77
	.byte	-105
	.byte	15
	.byte	-123
	.byte	-90
	.byte	-31
	.byte	-28
	.byte	-57
	.byte	-85
	.byte	-11
	.byte	-82
	.byte	-116
	.byte	-37
	.byte	9
	.byte	51
	.byte	-41
	.byte	30
	.byte	-116
	.byte	-108
	.byte	-32
	.byte	74
	.byte	37
	.byte	97
	.byte	-99
	.byte	-50
	.byte	-29
	.byte	-46
	.byte	38
	.byte	26
	.byte	-46
	.byte	-18
	.byte	107
	.byte	-15
	.byte	47
	.byte	-6
	.byte	6
	.byte	-39
	.byte	-118
	.byte	8
	.byte	100
	.byte	-40
	.byte	118
	.byte	2
	.byte	115
	.byte	62
	.byte	-56
	.byte	106
	.byte	100
	.byte	82
	.byte	31
	.byte	43
	.byte	24
	.byte	23
	.byte	123
	.byte	32
	.byte	12
	.byte	-69
	.byte	-31
	.byte	23
	.byte	87
	.byte	122
	.byte	97
	.byte	93
	.byte	108
	.byte	119
	.byte	9
	.byte	-120
	.byte	-64
	.byte	-70
	.byte	-39
	.byte	70
	.byte	-30
	.byte	8
	.byte	-30
	.byte	79
	.byte	-96
	.byte	116
	.byte	-27
	.byte	-85
	.byte	49
	.byte	67
	.byte	-37
	.byte	91
	.byte	-4
	.byte	-32
	.byte	-3
	.byte	16
	.byte	-114
	.byte	75
	.byte	-126
	.byte	-47
	.byte	32
	.byte	-87
	.byte	58
	.byte	-46
	.byte	-54
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.align 32
	.type	RFC3526_PRIME_2048.5162, @object
	.size	RFC3526_PRIME_2048.5162, 256
RFC3526_PRIME_2048.5162:
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-55
	.byte	15
	.byte	-38
	.byte	-94
	.byte	33
	.byte	104
	.byte	-62
	.byte	52
	.byte	-60
	.byte	-58
	.byte	98
	.byte	-117
	.byte	-128
	.byte	-36
	.byte	28
	.byte	-47
	.byte	41
	.byte	2
	.byte	78
	.byte	8
	.byte	-118
	.byte	103
	.byte	-52
	.byte	116
	.byte	2
	.byte	11
	.byte	-66
	.byte	-90
	.byte	59
	.byte	19
	.byte	-101
	.byte	34
	.byte	81
	.byte	74
	.byte	8
	.byte	121
	.byte	-114
	.byte	52
	.byte	4
	.byte	-35
	.byte	-17
	.byte	-107
	.byte	25
	.byte	-77
	.byte	-51
	.byte	58
	.byte	67
	.byte	27
	.byte	48
	.byte	43
	.byte	10
	.byte	109
	.byte	-14
	.byte	95
	.byte	20
	.byte	55
	.byte	79
	.byte	-31
	.byte	53
	.byte	109
	.byte	109
	.byte	81
	.byte	-62
	.byte	69
	.byte	-28
	.byte	-123
	.byte	-75
	.byte	118
	.byte	98
	.byte	94
	.byte	126
	.byte	-58
	.byte	-12
	.byte	76
	.byte	66
	.byte	-23
	.byte	-90
	.byte	55
	.byte	-19
	.byte	107
	.byte	11
	.byte	-1
	.byte	92
	.byte	-74
	.byte	-12
	.byte	6
	.byte	-73
	.byte	-19
	.byte	-18
	.byte	56
	.byte	107
	.byte	-5
	.byte	90
	.byte	-119
	.byte	-97
	.byte	-91
	.byte	-82
	.byte	-97
	.byte	36
	.byte	17
	.byte	124
	.byte	75
	.byte	31
	.byte	-26
	.byte	73
	.byte	40
	.byte	102
	.byte	81
	.byte	-20
	.byte	-28
	.byte	91
	.byte	61
	.byte	-62
	.byte	0
	.byte	124
	.byte	-72
	.byte	-95
	.byte	99
	.byte	-65
	.byte	5
	.byte	-104
	.byte	-38
	.byte	72
	.byte	54
	.byte	28
	.byte	85
	.byte	-45
	.byte	-102
	.byte	105
	.byte	22
	.byte	63
	.byte	-88
	.byte	-3
	.byte	36
	.byte	-49
	.byte	95
	.byte	-125
	.byte	101
	.byte	93
	.byte	35
	.byte	-36
	.byte	-93
	.byte	-83
	.byte	-106
	.byte	28
	.byte	98
	.byte	-13
	.byte	86
	.byte	32
	.byte	-123
	.byte	82
	.byte	-69
	.byte	-98
	.byte	-43
	.byte	41
	.byte	7
	.byte	112
	.byte	-106
	.byte	-106
	.byte	109
	.byte	103
	.byte	12
	.byte	53
	.byte	78
	.byte	74
	.byte	-68
	.byte	-104
	.byte	4
	.byte	-15
	.byte	116
	.byte	108
	.byte	8
	.byte	-54
	.byte	24
	.byte	33
	.byte	124
	.byte	50
	.byte	-112
	.byte	94
	.byte	70
	.byte	46
	.byte	54
	.byte	-50
	.byte	59
	.byte	-29
	.byte	-98
	.byte	119
	.byte	44
	.byte	24
	.byte	14
	.byte	-122
	.byte	3
	.byte	-101
	.byte	39
	.byte	-125
	.byte	-94
	.byte	-20
	.byte	7
	.byte	-94
	.byte	-113
	.byte	-75
	.byte	-59
	.byte	93
	.byte	-16
	.byte	111
	.byte	76
	.byte	82
	.byte	-55
	.byte	-34
	.byte	43
	.byte	-53
	.byte	-10
	.byte	-107
	.byte	88
	.byte	23
	.byte	24
	.byte	57
	.byte	-107
	.byte	73
	.byte	124
	.byte	-22
	.byte	-107
	.byte	106
	.byte	-27
	.byte	21
	.byte	-46
	.byte	38
	.byte	24
	.byte	-104
	.byte	-6
	.byte	5
	.byte	16
	.byte	21
	.byte	114
	.byte	-114
	.byte	90
	.byte	-118
	.byte	-84
	.byte	-86
	.byte	104
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.align 32
	.type	RFC3526_PRIME_1536.5158, @object
	.size	RFC3526_PRIME_1536.5158, 192
RFC3526_PRIME_1536.5158:
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-55
	.byte	15
	.byte	-38
	.byte	-94
	.byte	33
	.byte	104
	.byte	-62
	.byte	52
	.byte	-60
	.byte	-58
	.byte	98
	.byte	-117
	.byte	-128
	.byte	-36
	.byte	28
	.byte	-47
	.byte	41
	.byte	2
	.byte	78
	.byte	8
	.byte	-118
	.byte	103
	.byte	-52
	.byte	116
	.byte	2
	.byte	11
	.byte	-66
	.byte	-90
	.byte	59
	.byte	19
	.byte	-101
	.byte	34
	.byte	81
	.byte	74
	.byte	8
	.byte	121
	.byte	-114
	.byte	52
	.byte	4
	.byte	-35
	.byte	-17
	.byte	-107
	.byte	25
	.byte	-77
	.byte	-51
	.byte	58
	.byte	67
	.byte	27
	.byte	48
	.byte	43
	.byte	10
	.byte	109
	.byte	-14
	.byte	95
	.byte	20
	.byte	55
	.byte	79
	.byte	-31
	.byte	53
	.byte	109
	.byte	109
	.byte	81
	.byte	-62
	.byte	69
	.byte	-28
	.byte	-123
	.byte	-75
	.byte	118
	.byte	98
	.byte	94
	.byte	126
	.byte	-58
	.byte	-12
	.byte	76
	.byte	66
	.byte	-23
	.byte	-90
	.byte	55
	.byte	-19
	.byte	107
	.byte	11
	.byte	-1
	.byte	92
	.byte	-74
	.byte	-12
	.byte	6
	.byte	-73
	.byte	-19
	.byte	-18
	.byte	56
	.byte	107
	.byte	-5
	.byte	90
	.byte	-119
	.byte	-97
	.byte	-91
	.byte	-82
	.byte	-97
	.byte	36
	.byte	17
	.byte	124
	.byte	75
	.byte	31
	.byte	-26
	.byte	73
	.byte	40
	.byte	102
	.byte	81
	.byte	-20
	.byte	-28
	.byte	91
	.byte	61
	.byte	-62
	.byte	0
	.byte	124
	.byte	-72
	.byte	-95
	.byte	99
	.byte	-65
	.byte	5
	.byte	-104
	.byte	-38
	.byte	72
	.byte	54
	.byte	28
	.byte	85
	.byte	-45
	.byte	-102
	.byte	105
	.byte	22
	.byte	63
	.byte	-88
	.byte	-3
	.byte	36
	.byte	-49
	.byte	95
	.byte	-125
	.byte	101
	.byte	93
	.byte	35
	.byte	-36
	.byte	-93
	.byte	-83
	.byte	-106
	.byte	28
	.byte	98
	.byte	-13
	.byte	86
	.byte	32
	.byte	-123
	.byte	82
	.byte	-69
	.byte	-98
	.byte	-43
	.byte	41
	.byte	7
	.byte	112
	.byte	-106
	.byte	-106
	.byte	109
	.byte	103
	.byte	12
	.byte	53
	.byte	78
	.byte	74
	.byte	-68
	.byte	-104
	.byte	4
	.byte	-15
	.byte	116
	.byte	108
	.byte	8
	.byte	-54
	.byte	35
	.byte	115
	.byte	39
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.align 32
	.type	RFC2409_PRIME_1024.5154, @object
	.size	RFC2409_PRIME_1024.5154, 128
RFC2409_PRIME_1024.5154:
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-55
	.byte	15
	.byte	-38
	.byte	-94
	.byte	33
	.byte	104
	.byte	-62
	.byte	52
	.byte	-60
	.byte	-58
	.byte	98
	.byte	-117
	.byte	-128
	.byte	-36
	.byte	28
	.byte	-47
	.byte	41
	.byte	2
	.byte	78
	.byte	8
	.byte	-118
	.byte	103
	.byte	-52
	.byte	116
	.byte	2
	.byte	11
	.byte	-66
	.byte	-90
	.byte	59
	.byte	19
	.byte	-101
	.byte	34
	.byte	81
	.byte	74
	.byte	8
	.byte	121
	.byte	-114
	.byte	52
	.byte	4
	.byte	-35
	.byte	-17
	.byte	-107
	.byte	25
	.byte	-77
	.byte	-51
	.byte	58
	.byte	67
	.byte	27
	.byte	48
	.byte	43
	.byte	10
	.byte	109
	.byte	-14
	.byte	95
	.byte	20
	.byte	55
	.byte	79
	.byte	-31
	.byte	53
	.byte	109
	.byte	109
	.byte	81
	.byte	-62
	.byte	69
	.byte	-28
	.byte	-123
	.byte	-75
	.byte	118
	.byte	98
	.byte	94
	.byte	126
	.byte	-58
	.byte	-12
	.byte	76
	.byte	66
	.byte	-23
	.byte	-90
	.byte	55
	.byte	-19
	.byte	107
	.byte	11
	.byte	-1
	.byte	92
	.byte	-74
	.byte	-12
	.byte	6
	.byte	-73
	.byte	-19
	.byte	-18
	.byte	56
	.byte	107
	.byte	-5
	.byte	90
	.byte	-119
	.byte	-97
	.byte	-91
	.byte	-82
	.byte	-97
	.byte	36
	.byte	17
	.byte	124
	.byte	75
	.byte	31
	.byte	-26
	.byte	73
	.byte	40
	.byte	102
	.byte	81
	.byte	-20
	.byte	-26
	.byte	83
	.byte	-127
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.align 32
	.type	RFC2409_PRIME_768.5150, @object
	.size	RFC2409_PRIME_768.5150, 96
RFC2409_PRIME_768.5150:
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-55
	.byte	15
	.byte	-38
	.byte	-94
	.byte	33
	.byte	104
	.byte	-62
	.byte	52
	.byte	-60
	.byte	-58
	.byte	98
	.byte	-117
	.byte	-128
	.byte	-36
	.byte	28
	.byte	-47
	.byte	41
	.byte	2
	.byte	78
	.byte	8
	.byte	-118
	.byte	103
	.byte	-52
	.byte	116
	.byte	2
	.byte	11
	.byte	-66
	.byte	-90
	.byte	59
	.byte	19
	.byte	-101
	.byte	34
	.byte	81
	.byte	74
	.byte	8
	.byte	121
	.byte	-114
	.byte	52
	.byte	4
	.byte	-35
	.byte	-17
	.byte	-107
	.byte	25
	.byte	-77
	.byte	-51
	.byte	58
	.byte	67
	.byte	27
	.byte	48
	.byte	43
	.byte	10
	.byte	109
	.byte	-14
	.byte	95
	.byte	20
	.byte	55
	.byte	79
	.byte	-31
	.byte	53
	.byte	109
	.byte	109
	.byte	81
	.byte	-62
	.byte	69
	.byte	-28
	.byte	-123
	.byte	-75
	.byte	118
	.byte	98
	.byte	94
	.byte	126
	.byte	-58
	.byte	-12
	.byte	76
	.byte	66
	.byte	-23
	.byte	-90
	.byte	58
	.byte	54
	.byte	32
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.byte	-1
	.text
.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/ossl_typ.h"
	.file 6 "../include/openssl/bn.h"
	.file 7 "/usr/include/stdio.h"
	.section	.debug_info,"",@progbits
.Ldebug_info0:
	.long	0x72d
	.value	0x4
	.long	.Ldebug_abbrev0
	.byte	0x8
	.uleb128 0x1
	.long	.LASF70
	.byte	0xc
	.long	.LASF71
	.long	.LASF72
	.quad	.Ltext0
	.quad	.Letext0-.Ltext0
	.long	.Ldebug_line0
	.uleb128 0x2
	.long	.LASF7
	.byte	0x2
	.byte	0xd8
	.long	0x38
	.uleb128 0x3
	.byte	0x8
	.byte	0x7
	.long	.LASF0
	.uleb128 0x3
	.byte	0x1
	.byte	0x8
	.long	.LASF1
	.uleb128 0x3
	.byte	0x2
	.byte	0x7
	.long	.LASF2
	.uleb128 0x3
	.byte	0x4
	.byte	0x7
	.long	.LASF3
	.uleb128 0x3
	.byte	0x1
	.byte	0x6
	.long	.LASF4
	.uleb128 0x3
	.byte	0x2
	.byte	0x5
	.long	.LASF5
	.uleb128 0x4
	.byte	0x4
	.byte	0x5
	.string	"int"
	.uleb128 0x3
	.byte	0x8
	.byte	0x5
	.long	.LASF6
	.uleb128 0x2
	.long	.LASF8
	.byte	0x3
	.byte	0x83
	.long	0x69
	.uleb128 0x2
	.long	.LASF9
	.byte	0x3
	.byte	0x84
	.long	0x69
	.uleb128 0x3
	.byte	0x8
	.byte	0x7
	.long	.LASF10
	.uleb128 0x5
	.byte	0x8
	.uleb128 0x6
	.byte	0x8
	.long	0x95
	.uleb128 0x3
	.byte	0x1
	.byte	0x6
	.long	.LASF11
	.uleb128 0x7
	.long	.LASF41
	.byte	0xd8
	.byte	0x4
	.byte	0xf5
	.long	0x21c
	.uleb128 0x8
	.long	.LASF12
	.byte	0x4
	.byte	0xf6
	.long	0x62
	.byte	0
	.uleb128 0x8
	.long	.LASF13
	.byte	0x4
	.byte	0xfb
	.long	0x8f
	.byte	0x8
	.uleb128 0x8
	.long	.LASF14
	.byte	0x4
	.byte	0xfc
	.long	0x8f
	.byte	0x10
	.uleb128 0x8
	.long	.LASF15
	.byte	0x4
	.byte	0xfd
	.long	0x8f
	.byte	0x18
	.uleb128 0x8
	.long	.LASF16
	.byte	0x4
	.byte	0xfe
	.long	0x8f
	.byte	0x20
	.uleb128 0x8
	.long	.LASF17
	.byte	0x4
	.byte	0xff
	.long	0x8f
	.byte	0x28
	.uleb128 0x9
	.long	.LASF18
	.byte	0x4
	.value	0x100
	.long	0x8f
	.byte	0x30
	.uleb128 0x9
	.long	.LASF19
	.byte	0x4
	.value	0x101
	.long	0x8f
	.byte	0x38
	.uleb128 0x9
	.long	.LASF20
	.byte	0x4
	.value	0x102
	.long	0x8f
	.byte	0x40
	.uleb128 0x9
	.long	.LASF21
	.byte	0x4
	.value	0x104
	.long	0x8f
	.byte	0x48
	.uleb128 0x9
	.long	.LASF22
	.byte	0x4
	.value	0x105
	.long	0x8f
	.byte	0x50
	.uleb128 0x9
	.long	.LASF23
	.byte	0x4
	.value	0x106
	.long	0x8f
	.byte	0x58
	.uleb128 0x9
	.long	.LASF24
	.byte	0x4
	.value	0x108
	.long	0x254
	.byte	0x60
	.uleb128 0x9
	.long	.LASF25
	.byte	0x4
	.value	0x10a
	.long	0x25a
	.byte	0x68
	.uleb128 0x9
	.long	.LASF26
	.byte	0x4
	.value	0x10c
	.long	0x62
	.byte	0x70
	.uleb128 0x9
	.long	.LASF27
	.byte	0x4
	.value	0x110
	.long	0x62
	.byte	0x74
	.uleb128 0x9
	.long	.LASF28
	.byte	0x4
	.value	0x112
	.long	0x70
	.byte	0x78
	.uleb128 0x9
	.long	.LASF29
	.byte	0x4
	.value	0x116
	.long	0x46
	.byte	0x80
	.uleb128 0x9
	.long	.LASF30
	.byte	0x4
	.value	0x117
	.long	0x54
	.byte	0x82
	.uleb128 0x9
	.long	.LASF31
	.byte	0x4
	.value	0x118
	.long	0x260
	.byte	0x83
	.uleb128 0x9
	.long	.LASF32
	.byte	0x4
	.value	0x11c
	.long	0x270
	.byte	0x88
	.uleb128 0x9
	.long	.LASF33
	.byte	0x4
	.value	0x125
	.long	0x7b
	.byte	0x90
	.uleb128 0x9
	.long	.LASF34
	.byte	0x4
	.value	0x12e
	.long	0x8d
	.byte	0x98
	.uleb128 0x9
	.long	.LASF35
	.byte	0x4
	.value	0x12f
	.long	0x8d
	.byte	0xa0
	.uleb128 0x9
	.long	.LASF36
	.byte	0x4
	.value	0x130
	.long	0x8d
	.byte	0xa8
	.uleb128 0x9
	.long	.LASF37
	.byte	0x4
	.value	0x131
	.long	0x8d
	.byte	0xb0
	.uleb128 0x9
	.long	.LASF38
	.byte	0x4
	.value	0x132
	.long	0x2d
	.byte	0xb8
	.uleb128 0x9
	.long	.LASF39
	.byte	0x4
	.value	0x134
	.long	0x62
	.byte	0xc0
	.uleb128 0x9
	.long	.LASF40
	.byte	0x4
	.value	0x136
	.long	0x276
	.byte	0xc4
	.byte	0
	.uleb128 0xa
	.long	.LASF73
	.byte	0x4
	.byte	0x9a
	.uleb128 0x7
	.long	.LASF42
	.byte	0x18
	.byte	0x4
	.byte	0xa0
	.long	0x254
	.uleb128 0x8
	.long	.LASF43
	.byte	0x4
	.byte	0xa1
	.long	0x254
	.byte	0
	.uleb128 0x8
	.long	.LASF44
	.byte	0x4
	.byte	0xa2
	.long	0x25a
	.byte	0x8
	.uleb128 0x8
	.long	.LASF45
	.byte	0x4
	.byte	0xa6
	.long	0x62
	.byte	0x10
	.byte	0
	.uleb128 0x6
	.byte	0x8
	.long	0x223
	.uleb128 0x6
	.byte	0x8
	.long	0x9c
	.uleb128 0xb
	.long	0x95
	.long	0x270
	.uleb128 0xc
	.long	0x86
	.byte	0
	.byte	0
	.uleb128 0x6
	.byte	0x8
	.long	0x21c
	.uleb128 0xb
	.long	0x95
	.long	0x286
	.uleb128 0xc
	.long	0x86
	.byte	0x13
	.byte	0
	.uleb128 0x3
	.byte	0x8
	.byte	0x5
	.long	.LASF46
	.uleb128 0x3
	.byte	0x8
	.byte	0x7
	.long	.LASF47
	.uleb128 0x2
	.long	.LASF48
	.byte	0x5
	.byte	0x7a
	.long	0x29f
	.uleb128 0x7
	.long	.LASF49
	.byte	0x18
	.byte	0x6
	.byte	0xf4
	.long	0x2e6
	.uleb128 0xd
	.string	"d"
	.byte	0x6
	.byte	0xf5
	.long	0x2e6
	.byte	0
	.uleb128 0xd
	.string	"top"
	.byte	0x6
	.byte	0xf6
	.long	0x62
	.byte	0x8
	.uleb128 0x8
	.long	.LASF50
	.byte	0x6
	.byte	0xf8
	.long	0x62
	.byte	0xc
	.uleb128 0xd
	.string	"neg"
	.byte	0x6
	.byte	0xf9
	.long	0x62
	.byte	0x10
	.uleb128 0x8
	.long	.LASF51
	.byte	0x6
	.byte	0xfa
	.long	0x62
	.byte	0x14
	.byte	0
	.uleb128 0x6
	.byte	0x8
	.long	0x38
	.uleb128 0xe
	.long	.LASF52
	.byte	0x1
	.byte	0xf
	.long	0x359
	.quad	.LFB69
	.quad	.LFE69-.LFB69
	.uleb128 0x1
	.byte	0x9c
	.long	0x359
	.uleb128 0xf
	.string	"bn"
	.byte	0x1
	.byte	0xf
	.long	0x359
	.long	.LLST0
	.uleb128 0x10
	.long	.LASF54
	.byte	0x1
	.byte	0x11
	.long	0x36f
	.uleb128 0x9
	.byte	0x3
	.quad	RFC2409_PRIME_768.5150
	.uleb128 0x11
	.quad	.LVL2
	.long	0x724
	.uleb128 0x12
	.uleb128 0x1
	.byte	0x55
	.uleb128 0x9
	.byte	0x3
	.quad	RFC2409_PRIME_768.5150
	.uleb128 0x12
	.uleb128 0x1
	.byte	0x54
	.uleb128 0x2
	.byte	0x8
	.byte	0x60
	.uleb128 0x12
	.uleb128 0x1
	.byte	0x51
	.uleb128 0x3
	.byte	0xf3
	.uleb128 0x1
	.byte	0x55
	.byte	0
	.byte	0
	.uleb128 0x6
	.byte	0x8
	.long	0x294
	.uleb128 0xb
	.long	0x3f
	.long	0x36f
	.uleb128 0xc
	.long	0x86
	.byte	0x5f
	.byte	0
	.uleb128 0x13
	.long	0x35f
	.uleb128 0xe
	.long	.LASF53
	.byte	0x1
	.byte	0x27
	.long	0x359
	.quad	.LFB70
	.quad	.LFE70-.LFB70
	.uleb128 0x1
	.byte	0x9c
	.long	0x3e1
	.uleb128 0xf
	.string	"bn"
	.byte	0x1
	.byte	0x27
	.long	0x359
	.long	.LLST1
	.uleb128 0x10
	.long	.LASF55
	.byte	0x1
	.byte	0x29
	.long	0x3f1
	.uleb128 0x9
	.byte	0x3
	.quad	RFC2409_PRIME_1024.5154
	.uleb128 0x11
	.quad	.LVL5
	.long	0x724
	.uleb128 0x12
	.uleb128 0x1
	.byte	0x55
	.uleb128 0x9
	.byte	0x3
	.quad	RFC2409_PRIME_1024.5154
	.uleb128 0x12
	.uleb128 0x1
	.byte	0x54
	.uleb128 0x2
	.byte	0x8
	.byte	0x80
	.uleb128 0x12
	.uleb128 0x1
	.byte	0x51
	.uleb128 0x3
	.byte	0xf3
	.uleb128 0x1
	.byte	0x55
	.byte	0
	.byte	0
	.uleb128 0xb
	.long	0x3f
	.long	0x3f1
	.uleb128 0xc
	.long	0x86
	.byte	0x7f
	.byte	0
	.uleb128 0x13
	.long	0x3e1
	.uleb128 0xe
	.long	.LASF56
	.byte	0x1
	.byte	0x42
	.long	0x359
	.quad	.LFB71
	.quad	.LFE71-.LFB71
	.uleb128 0x1
	.byte	0x9c
	.long	0x463
	.uleb128 0xf
	.string	"bn"
	.byte	0x1
	.byte	0x42
	.long	0x359
	.long	.LLST2
	.uleb128 0x10
	.long	.LASF57
	.byte	0x1
	.byte	0x44
	.long	0x473
	.uleb128 0x9
	.byte	0x3
	.quad	RFC3526_PRIME_1536.5158
	.uleb128 0x11
	.quad	.LVL8
	.long	0x724
	.uleb128 0x12
	.uleb128 0x1
	.byte	0x55
	.uleb128 0x9
	.byte	0x3
	.quad	RFC3526_PRIME_1536.5158
	.uleb128 0x12
	.uleb128 0x1
	.byte	0x54
	.uleb128 0x2
	.byte	0x8
	.byte	0xc0
	.uleb128 0x12
	.uleb128 0x1
	.byte	0x51
	.uleb128 0x3
	.byte	0xf3
	.uleb128 0x1
	.byte	0x55
	.byte	0
	.byte	0
	.uleb128 0xb
	.long	0x3f
	.long	0x473
	.uleb128 0xc
	.long	0x86
	.byte	0xbf
	.byte	0
	.uleb128 0x13
	.long	0x463
	.uleb128 0xe
	.long	.LASF58
	.byte	0x1
	.byte	0x61
	.long	0x359
	.quad	.LFB72
	.quad	.LFE72-.LFB72
	.uleb128 0x1
	.byte	0x9c
	.long	0x4e6
	.uleb128 0xf
	.string	"bn"
	.byte	0x1
	.byte	0x61
	.long	0x359
	.long	.LLST3
	.uleb128 0x10
	.long	.LASF59
	.byte	0x1
	.byte	0x63
	.long	0x4f6
	.uleb128 0x9
	.byte	0x3
	.quad	RFC3526_PRIME_2048.5162
	.uleb128 0x11
	.quad	.LVL11
	.long	0x724
	.uleb128 0x12
	.uleb128 0x1
	.byte	0x55
	.uleb128 0x9
	.byte	0x3
	.quad	RFC3526_PRIME_2048.5162
	.uleb128 0x12
	.uleb128 0x1
	.byte	0x54
	.uleb128 0x3
	.byte	0xa
	.value	0x100
	.uleb128 0x12
	.uleb128 0x1
	.byte	0x51
	.uleb128 0x3
	.byte	0xf3
	.uleb128 0x1
	.byte	0x55
	.byte	0
	.byte	0
	.uleb128 0xb
	.long	0x3f
	.long	0x4f6
	.uleb128 0xc
	.long	0x86
	.byte	0xff
	.byte	0
	.uleb128 0x13
	.long	0x4e6
	.uleb128 0xe
	.long	.LASF60
	.byte	0x1
	.byte	0x86
	.long	0x359
	.quad	.LFB73
	.quad	.LFE73-.LFB73
	.uleb128 0x1
	.byte	0x9c
	.long	0x569
	.uleb128 0xf
	.string	"bn"
	.byte	0x1
	.byte	0x86
	.long	0x359
	.long	.LLST4
	.uleb128 0x10
	.long	.LASF61
	.byte	0x1
	.byte	0x88
	.long	0x57a
	.uleb128 0x9
	.byte	0x3
	.quad	RFC3526_PRIME_3072.5166
	.uleb128 0x11
	.quad	.LVL14
	.long	0x724
	.uleb128 0x12
	.uleb128 0x1
	.byte	0x55
	.uleb128 0x9
	.byte	0x3
	.quad	RFC3526_PRIME_3072.5166
	.uleb128 0x12
	.uleb128 0x1
	.byte	0x54
	.uleb128 0x3
	.byte	0xa
	.value	0x180
	.uleb128 0x12
	.uleb128 0x1
	.byte	0x51
	.uleb128 0x3
	.byte	0xf3
	.uleb128 0x1
	.byte	0x55
	.byte	0
	.byte	0
	.uleb128 0xb
	.long	0x3f
	.long	0x57a
	.uleb128 0x14
	.long	0x86
	.value	0x17f
	.byte	0
	.uleb128 0x13
	.long	0x569
	.uleb128 0xe
	.long	.LASF62
	.byte	0x1
	.byte	0xb5
	.long	0x359
	.quad	.LFB74
	.quad	.LFE74-.LFB74
	.uleb128 0x1
	.byte	0x9c
	.long	0x5ed
	.uleb128 0xf
	.string	"bn"
	.byte	0x1
	.byte	0xb5
	.long	0x359
	.long	.LLST5
	.uleb128 0x10
	.long	.LASF63
	.byte	0x1
	.byte	0xb7
	.long	0x5fe
	.uleb128 0x9
	.byte	0x3
	.quad	RFC3526_PRIME_4096.5170
	.uleb128 0x11
	.quad	.LVL17
	.long	0x724
	.uleb128 0x12
	.uleb128 0x1
	.byte	0x55
	.uleb128 0x9
	.byte	0x3
	.quad	RFC3526_PRIME_4096.5170
	.uleb128 0x12
	.uleb128 0x1
	.byte	0x54
	.uleb128 0x3
	.byte	0xa
	.value	0x200
	.uleb128 0x12
	.uleb128 0x1
	.byte	0x51
	.uleb128 0x3
	.byte	0xf3
	.uleb128 0x1
	.byte	0x55
	.byte	0
	.byte	0
	.uleb128 0xb
	.long	0x3f
	.long	0x5fe
	.uleb128 0x14
	.long	0x86
	.value	0x1ff
	.byte	0
	.uleb128 0x13
	.long	0x5ed
	.uleb128 0xe
	.long	.LASF64
	.byte	0x1
	.byte	0xef
	.long	0x359
	.quad	.LFB75
	.quad	.LFE75-.LFB75
	.uleb128 0x1
	.byte	0x9c
	.long	0x671
	.uleb128 0xf
	.string	"bn"
	.byte	0x1
	.byte	0xef
	.long	0x359
	.long	.LLST6
	.uleb128 0x10
	.long	.LASF65
	.byte	0x1
	.byte	0xf1
	.long	0x682
	.uleb128 0x9
	.byte	0x3
	.quad	RFC3526_PRIME_6144.5174
	.uleb128 0x11
	.quad	.LVL20
	.long	0x724
	.uleb128 0x12
	.uleb128 0x1
	.byte	0x55
	.uleb128 0x9
	.byte	0x3
	.quad	RFC3526_PRIME_6144.5174
	.uleb128 0x12
	.uleb128 0x1
	.byte	0x54
	.uleb128 0x3
	.byte	0xa
	.value	0x300
	.uleb128 0x12
	.uleb128 0x1
	.byte	0x51
	.uleb128 0x3
	.byte	0xf3
	.uleb128 0x1
	.byte	0x55
	.byte	0
	.byte	0
	.uleb128 0xb
	.long	0x3f
	.long	0x682
	.uleb128 0x14
	.long	0x86
	.value	0x2ff
	.byte	0
	.uleb128 0x13
	.long	0x671
	.uleb128 0x15
	.long	.LASF66
	.byte	0x1
	.value	0x13e
	.long	0x359
	.quad	.LFB76
	.quad	.LFE76-.LFB76
	.uleb128 0x1
	.byte	0x9c
	.long	0x6f8
	.uleb128 0x16
	.string	"bn"
	.byte	0x1
	.value	0x13e
	.long	0x359
	.long	.LLST7
	.uleb128 0x17
	.long	.LASF67
	.byte	0x1
	.value	0x140
	.long	0x709
	.uleb128 0x9
	.byte	0x3
	.quad	RFC3526_PRIME_8192.5178
	.uleb128 0x11
	.quad	.LVL23
	.long	0x724
	.uleb128 0x12
	.uleb128 0x1
	.byte	0x55
	.uleb128 0x9
	.byte	0x3
	.quad	RFC3526_PRIME_8192.5178
	.uleb128 0x12
	.uleb128 0x1
	.byte	0x54
	.uleb128 0x3
	.byte	0xa
	.value	0x400
	.uleb128 0x12
	.uleb128 0x1
	.byte	0x51
	.uleb128 0x3
	.byte	0xf3
	.uleb128 0x1
	.byte	0x55
	.byte	0
	.byte	0
	.uleb128 0xb
	.long	0x3f
	.long	0x709
	.uleb128 0x14
	.long	0x86
	.value	0x3ff
	.byte	0
	.uleb128 0x13
	.long	0x6f8
	.uleb128 0x18
	.long	.LASF68
	.byte	0x7
	.byte	0xa8
	.long	0x25a
	.uleb128 0x18
	.long	.LASF69
	.byte	0x7
	.byte	0xa9
	.long	0x25a
	.uleb128 0x19
	.long	.LASF74
	.long	.LASF74
	.byte	0x6
	.value	0x170
	.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
	.byte	0
	.byte	0
	.uleb128 0x6
	.uleb128 0xf
	.byte	0
	.uleb128 0xb
	.uleb128 0xb
	.uleb128 0x49
	.uleb128 0x13
	.byte	0
	.byte	0
	.uleb128 0x7
	.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 0x8
	.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 0x9
	.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 0xa
	.uleb128 0x16
	.byte	0
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.byte	0
	.byte	0
	.uleb128 0xb
	.uleb128 0x1
	.byte	0x1
	.uleb128 0x49
	.uleb128 0x13
	.uleb128 0x1
	.uleb128 0x13
	.byte	0
	.byte	0
	.uleb128 0xc
	.uleb128 0x21
	.byte	0
	.uleb128 0x49
	.uleb128 0x13
	.uleb128 0x2f
	.uleb128 0xb
	.byte	0
	.byte	0
	.uleb128 0xd
	.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 0xe
	.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 0xf
	.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 0x10
	.uleb128 0x34
	.byte	0
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.uleb128 0x49
	.uleb128 0x13
	.uleb128 0x2
	.uleb128 0x18
	.byte	0
	.byte	0
	.uleb128 0x11
	.uleb128 0x4109
	.byte	0x1
	.uleb128 0x11
	.uleb128 0x1
	.uleb128 0x2115
	.uleb128 0x19
	.uleb128 0x31
	.uleb128 0x13
	.byte	0
	.byte	0
	.uleb128 0x12
	.uleb128 0x410a
	.byte	0
	.uleb128 0x2
	.uleb128 0x18
	.uleb128 0x2111
	.uleb128 0x18
	.byte	0
	.byte	0
	.uleb128 0x13
	.uleb128 0x26
	.byte	0
	.uleb128 0x49
	.uleb128 0x13
	.byte	0
	.byte	0
	.uleb128 0x14
	.uleb128 0x21
	.byte	0
	.uleb128 0x49
	.uleb128 0x13
	.uleb128 0x2f
	.uleb128 0x5
	.byte	0
	.byte	0
	.uleb128 0x15
	.uleb128 0x2e
	.byte	0x1
	.uleb128 0x3f
	.uleb128 0x19
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0x5
	.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 0x16
	.uleb128 0x5
	.byte	0
	.uleb128 0x3
	.uleb128 0x8
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0x5
	.uleb128 0x49
	.uleb128 0x13
	.uleb128 0x2
	.uleb128 0x17
	.byte	0
	.byte	0
	.uleb128 0x17
	.uleb128 0x34
	.byte	0
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0x5
	.uleb128 0x49
	.uleb128 0x13
	.uleb128 0x2
	.uleb128 0x18
	.byte	0
	.byte	0
	.uleb128 0x18
	.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 0x19
	.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
	.byte	0
	.section	.debug_loc,"",@progbits
.Ldebug_loc0:
.LLST0:
	.quad	.LVL0-.Ltext0
	.quad	.LVL1-.Ltext0
	.value	0x1
	.byte	0x55
	.quad	.LVL1-.Ltext0
	.quad	.LVL2-1-.Ltext0
	.value	0x1
	.byte	0x51
	.quad	.LVL2-1-.Ltext0
	.quad	.LFE69-.Ltext0
	.value	0x4
	.byte	0xf3
	.uleb128 0x1
	.byte	0x55
	.byte	0x9f
	.quad	0
	.quad	0
.LLST1:
	.quad	.LVL3-.Ltext0
	.quad	.LVL4-.Ltext0
	.value	0x1
	.byte	0x55
	.quad	.LVL4-.Ltext0
	.quad	.LVL5-1-.Ltext0
	.value	0x1
	.byte	0x51
	.quad	.LVL5-1-.Ltext0
	.quad	.LFE70-.Ltext0
	.value	0x4
	.byte	0xf3
	.uleb128 0x1
	.byte	0x55
	.byte	0x9f
	.quad	0
	.quad	0
.LLST2:
	.quad	.LVL6-.Ltext0
	.quad	.LVL7-.Ltext0
	.value	0x1
	.byte	0x55
	.quad	.LVL7-.Ltext0
	.quad	.LVL8-1-.Ltext0
	.value	0x1
	.byte	0x51
	.quad	.LVL8-1-.Ltext0
	.quad	.LFE71-.Ltext0
	.value	0x4
	.byte	0xf3
	.uleb128 0x1
	.byte	0x55
	.byte	0x9f
	.quad	0
	.quad	0
.LLST3:
	.quad	.LVL9-.Ltext0
	.quad	.LVL10-.Ltext0
	.value	0x1
	.byte	0x55
	.quad	.LVL10-.Ltext0
	.quad	.LVL11-1-.Ltext0
	.value	0x1
	.byte	0x51
	.quad	.LVL11-1-.Ltext0
	.quad	.LFE72-.Ltext0
	.value	0x4
	.byte	0xf3
	.uleb128 0x1
	.byte	0x55
	.byte	0x9f
	.quad	0
	.quad	0
.LLST4:
	.quad	.LVL12-.Ltext0
	.quad	.LVL13-.Ltext0
	.value	0x1
	.byte	0x55
	.quad	.LVL13-.Ltext0
	.quad	.LVL14-1-.Ltext0
	.value	0x1
	.byte	0x51
	.quad	.LVL14-1-.Ltext0
	.quad	.LFE73-.Ltext0
	.value	0x4
	.byte	0xf3
	.uleb128 0x1
	.byte	0x55
	.byte	0x9f
	.quad	0
	.quad	0
.LLST5:
	.quad	.LVL15-.Ltext0
	.quad	.LVL16-.Ltext0
	.value	0x1
	.byte	0x55
	.quad	.LVL16-.Ltext0
	.quad	.LVL17-1-.Ltext0
	.value	0x1
	.byte	0x51
	.quad	.LVL17-1-.Ltext0
	.quad	.LFE74-.Ltext0
	.value	0x4
	.byte	0xf3
	.uleb128 0x1
	.byte	0x55
	.byte	0x9f
	.quad	0
	.quad	0
.LLST6:
	.quad	.LVL18-.Ltext0
	.quad	.LVL19-.Ltext0
	.value	0x1
	.byte	0x55
	.quad	.LVL19-.Ltext0
	.quad	.LVL20-1-.Ltext0
	.value	0x1
	.byte	0x51
	.quad	.LVL20-1-.Ltext0
	.quad	.LFE75-.Ltext0
	.value	0x4
	.byte	0xf3
	.uleb128 0x1
	.byte	0x55
	.byte	0x9f
	.quad	0
	.quad	0
.LLST7:
	.quad	.LVL21-.Ltext0
	.quad	.LVL22-.Ltext0
	.value	0x1
	.byte	0x55
	.quad	.LVL22-.Ltext0
	.quad	.LVL23-1-.Ltext0
	.value	0x1
	.byte	0x51
	.quad	.LVL23-1-.Ltext0
	.quad	.LFE76-.Ltext0
	.value	0x4
	.byte	0xf3
	.uleb128 0x1
	.byte	0x55
	.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
.LASF41:
	.string	"_IO_FILE"
.LASF55:
	.string	"RFC2409_PRIME_1024"
.LASF23:
	.string	"_IO_save_end"
.LASF5:
	.string	"short int"
.LASF7:
	.string	"size_t"
.LASF10:
	.string	"sizetype"
.LASF33:
	.string	"_offset"
.LASF17:
	.string	"_IO_write_ptr"
.LASF12:
	.string	"_flags"
.LASF19:
	.string	"_IO_buf_base"
.LASF32:
	.string	"_lock"
.LASF24:
	.string	"_markers"
.LASF14:
	.string	"_IO_read_end"
.LASF66:
	.string	"get_rfc3526_prime_8192"
.LASF52:
	.string	"get_rfc2409_prime_768"
.LASF49:
	.string	"bignum_st"
.LASF62:
	.string	"get_rfc3526_prime_4096"
.LASF46:
	.string	"long long int"
.LASF50:
	.string	"dmax"
.LASF56:
	.string	"get_rfc3526_prime_1536"
.LASF6:
	.string	"long int"
.LASF64:
	.string	"get_rfc3526_prime_6144"
.LASF29:
	.string	"_cur_column"
.LASF45:
	.string	"_pos"
.LASF44:
	.string	"_sbuf"
.LASF28:
	.string	"_old_offset"
.LASF58:
	.string	"get_rfc3526_prime_2048"
.LASF1:
	.string	"unsigned char"
.LASF60:
	.string	"get_rfc3526_prime_3072"
.LASF4:
	.string	"signed char"
.LASF51:
	.string	"flags"
.LASF47:
	.string	"long long unsigned int"
.LASF71:
	.string	"bn/bn_const.c"
.LASF3:
	.string	"unsigned int"
.LASF42:
	.string	"_IO_marker"
.LASF31:
	.string	"_shortbuf"
.LASF16:
	.string	"_IO_write_base"
.LASF40:
	.string	"_unused2"
.LASF20:
	.string	"_IO_buf_end"
.LASF72:
	.string	"/home/zack/projects/lssl/libressl-2.2.3-funcall/crypto"
.LASF53:
	.string	"get_rfc2409_prime_1024"
.LASF57:
	.string	"RFC3526_PRIME_1536"
.LASF11:
	.string	"char"
.LASF70:
	.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"
.LASF67:
	.string	"RFC3526_PRIME_8192"
.LASF43:
	.string	"_next"
.LASF34:
	.string	"__pad1"
.LASF35:
	.string	"__pad2"
.LASF36:
	.string	"__pad3"
.LASF37:
	.string	"__pad4"
.LASF38:
	.string	"__pad5"
.LASF2:
	.string	"short unsigned int"
.LASF54:
	.string	"RFC2409_PRIME_768"
.LASF0:
	.string	"long unsigned int"
.LASF63:
	.string	"RFC3526_PRIME_4096"
.LASF18:
	.string	"_IO_write_end"
.LASF9:
	.string	"__off64_t"
.LASF26:
	.string	"_fileno"
.LASF25:
	.string	"_chain"
.LASF74:
	.string	"BN_bin2bn"
.LASF8:
	.string	"__off_t"
.LASF65:
	.string	"RFC3526_PRIME_6144"
.LASF22:
	.string	"_IO_backup_base"
.LASF68:
	.string	"stdin"
.LASF48:
	.string	"BIGNUM"
.LASF27:
	.string	"_flags2"
.LASF39:
	.string	"_mode"
.LASF15:
	.string	"_IO_read_base"
.LASF30:
	.string	"_vtable_offset"
.LASF21:
	.string	"_IO_save_base"
.LASF59:
	.string	"RFC3526_PRIME_2048"
.LASF13:
	.string	"_IO_read_ptr"
.LASF61:
	.string	"RFC3526_PRIME_3072"
.LASF69:
	.string	"stdout"
.LASF73:
	.string	"_IO_lock_t"
	.ident	"GCC: (Debian 5.2.1-16) 5.2.1 20150903"
	.section	.note.GNU-stack,"",@progbits
