         Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
		.Ltext0:
		EVALBERN3.6420:
		.LFB189:
		.LVL16:
				pushq	%r15
				pushq	%r14
				pushq	%r13
				pushq	%r12
				pushq	%rbp
				pushq	%rbx
				subq	$45352, %rsp
				movq	%fs:40, %rax
				movq	%rax, 45336(%rsp)
				xorl	%eax, %eax
    2 %const %string (1) snl = "
				call	_imp_initialise@PLT
		.LVL17:
				leaq	18(%rsp), %rcx
				movl	$0, %ebx
				movq	$0, 18(%rsp)
				movq	$0, 264(%rsp)
				leaq	26(%rsp), %rdi
				andq	$-8, %rdi
				subq	%rdi, %rcx
				addl	$254, %ecx
				shrl	$3, %ecx
				movl	%ecx, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$1, 16(%rsp)
				movb	$10, 17(%rsp)
		.LVL18:
		.LBB888:
		.LBB889:
    3 "
    4
    5 %routine tobern2(%long %real a0, %long %real a1, %long %real a2, %long %real %name b0, %long %real %name b1, %long %real %name b2)
    6      b0 = a0
    7      b1 = a0 + a1 / 2
    8      b2 = a0 + a1 + a2
    9 %end
   10
   11 { uses de Casteljau’s algorithm }
   12 %long %real %fn evalbern2(%long %real b0, %long %real b1, %long %real b2, %long %real t)
   13     %long %real s = 1.0 - t
   14     %long %real b01 = s * b0 + t * b1
   15     %long %real b12 = s * b1 + t * b2
   16     %result = s * b01 + t * b12
   17 %end
   18
   19 %routine tobern3(%long %real a0, %long %real a1, %long %real a2, %long %real a3, %long %real %name b0, %long %real %name b1, %long %real %name b2, %long %real %name b3)
   20     b0 = a0
   21     b1 = a0 + a1 / 3
   22     b2 = a0 + a1 * 2/3 + a2 / 3
   23     b3 = a0 + a1 + a2 + a3
   24 %end
   25
   26 { uses de Casteljau’s algorithm }
   27 %long %real %fn evalbern3(%long %real b0, %long %real b1, %long %real b2, %long %real b3, %long %real t)
		.LVL0:
   28     %long %real s = 1 - t
   29     %long %real b01  = s * b0  + t * b1
				movsd	.LC0(%rip), %xmm5
				subsd	%xmm4, %xmm5
		.LVL1:
   30     %long %real b12  = s * b1  + t * b2
				mulsd	%xmm5, %xmm0
		.LVL3:
				mulsd	%xmm4, %xmm1
		.LVL4:
				addsd	%xmm1, %xmm0
		.LVL5:
   31     %long %real b23  = s * b2  + t * b3
				movapd	%xmm5, %xmm7
				mulsd	%xmm1, %xmm7
				movapd	%xmm4, %xmm6
				mulsd	%xmm2, %xmm6
				addsd	%xmm7, %xmm6
		.LVL2:
   32     %long %real b012 = s * b01 + t * b12
				mulsd	%xmm5, %xmm2
		.LVL9:
				mulsd	%xmm4, %xmm3
		.LVL10:
				addsd	%xmm3, %xmm2
		.LVL11:
				mulsd	%xmm4, %xmm2
		.LVL12:
				mulsd	%xmm6, %xmm5
		.LVL13:
				addsd	%xmm5, %xmm2
		.LVL14:
				mulsd	%xmm2, %xmm4
		.LVL15:
				addsd	%xmm4, %xmm0
   33     %long %real b123 = s * b12 + t * b23
				mulsd	%xmm5, %xmm0
		.LVL6:
				movapd	%xmm4, %xmm1
				mulsd	%xmm6, %xmm1
				addsd	%xmm1, %xmm0
		.LVL7:
   34     %result = s * b012 + t * b123
				mulsd	%xmm5, %xmm0
		.LVL8:
   35 %end
				ret
		.LFE189:
				.globl	main
		main:
		.LFB185:
   36
   37 %routine bern2to3(%long %real q0, %long %real q1, %long %real q2, %long %real %name c0, %long %real %name c1, %long %real %name c2, %long %real %name c3)
   38     c0 = q0
   39     c1 = q0 / 3   + q1 * 2/3
   40     c2 = q1 * 2/3 + q2 / 3
   41     c3 = q2
   42 %end
   43
   44 { uses Horner's rule }
   45 %long %real %fn evalmono2(%long %real a0, %long %real a1, %long %real a2, %long %real t)
   46     %result = a0 + (t * (a1 + (t * a2)))
   47 %end
   48
   49 { uses Horner's rule }
   50 %long %real %fn evalmono3(%long %real a0, %long %real a1, %long %real a2, %long %real a3, %long %real t)
   51     %result = a0 + (t * (a1 + (t * (a2 + (t * a3)))))
   52 %end
   53
   54     %long %real p0m, p1m, p2m, q0m, q1m, q2m, r0m, r1m, r2m, r3m
   55     %long %real p0b2, p1b2, p2b2, q0b2, q1b2, q2b2
   56     %long %real p0b3, p1b3, p2b3, p3b3, q0b3, q1b3, q2b3, q3b3, r0b3, r1b3, r2b3, r3b3
   57     %long %real pc0, pc1, pc2, pc3, qc0, qc1, qc2, qc3
   58
   59     %long %real x, y, m
   60
   61     p0m = 1; p1m = 0; p2m = 0
   62     q0m = 1; q1m = 2; q2m = 3
   63     r0m = 1; r1m = 2; r2m = 3; r3m = 4
   64
   65     tobern2 (p0m, p1m, p2m, p0b2, p1b2, p2b2)
   66     tobern2 (q0m, q1m, q2m, q0b2, q1b2, q2b2)
   67     print string ("Subprogram (1) examples:".snl)
   68     print string ("  mono ( ")
				movabsq	$2891433480878366752, %r12
				movl	$32, %r13d
				movq	%r12, 45073(%rsp)
				movq	%r13, 45081(%rsp)
				movb	$0, 45089(%rsp)
				movw	$0, 45090(%rsp)
				movl	$0, 45092(%rsp)
				leaq	45096(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$9, 45072(%rsp)
				movq	45072(%rsp), %rax
				movq	45080(%rsp), %rdx
				movq	%rax, 1040(%rsp)
				movq	%rdx, 1048(%rsp)
		.LVL21:
				movb	$9, 1040(%rsp)
		.LBE892:
		.LBB893:
		.LBB894:
				addq	$256, %rsp
				pushq	45064(%rsp)
				pushq	45064(%rsp)
				pushq	45064(%rsp)
				pushq	45064(%rsp)
				pushq	45064(%rsp)
				pushq	45064(%rsp)
				pushq	45064(%rsp)
				pushq	45064(%rsp)
				pushq	45064(%rsp)
				pushq	45064(%rsp)
				pushq	45064(%rsp)
				pushq	45064(%rsp)
				pushq	45064(%rsp)
				pushq	45064(%rsp)
				pushq	45064(%rsp)
				pushq	45064(%rsp)
				pushq	45064(%rsp)
				pushq	45064(%rsp)
				pushq	45064(%rsp)
				pushq	45064(%rsp)
				pushq	45064(%rsp)
				pushq	45064(%rsp)
				pushq	45064(%rsp)
				pushq	45064(%rsp)
				pushq	45064(%rsp)
				pushq	45064(%rsp)
				pushq	45064(%rsp)
				pushq	45064(%rsp)
				pushq	45064(%rsp)
				pushq	45064(%rsp)
				pushq	1032(%rsp)
				pushq	1032(%rsp)
				call	_imp_printstring@PLT
		.LVL22:
		.LBE894:
		.LBE893:
		.LBB895:
		.LBB896:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC0(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL23:
		.LBE896:
		.LBE895:
		.LBB897:
   69     print fl (p0m, 4); print string (", ")
				leaq	45072(%rsp), %rdi
				leaq	16(%rsp), %rbp
				leaq	528(%rsp), %rsi
				movq	%rbp, %rdx
				call	_imp_join@PLT
		.LVL19:
		.LBE889:
		.LBE888:
		.LBB890:
		.LBB891:
				pushq	520(%rsp)
				pushq	520(%rsp)
				pushq	520(%rsp)
				pushq	520(%rsp)
				pushq	520(%rsp)
				pushq	520(%rsp)
				pushq	520(%rsp)
				pushq	520(%rsp)
				pushq	520(%rsp)
				pushq	520(%rsp)
				pushq	520(%rsp)
				pushq	520(%rsp)
				pushq	520(%rsp)
				pushq	520(%rsp)
				pushq	520(%rsp)
				pushq	520(%rsp)
				pushq	520(%rsp)
				pushq	520(%rsp)
				pushq	520(%rsp)
				pushq	520(%rsp)
				pushq	520(%rsp)
				pushq	520(%rsp)
				pushq	520(%rsp)
				pushq	520(%rsp)
				pushq	520(%rsp)
				pushq	520(%rsp)
				pushq	520(%rsp)
				pushq	520(%rsp)
				pushq	520(%rsp)
				pushq	520(%rsp)
				pushq	520(%rsp)
				pushq	520(%rsp)
				call	_imp_printstring@PLT
		.LVL20:
		.LBE891:
		.LBE890:
		.LBB892:
   70     print fl (p1m, 4); print string (", ")
				movq	$8236, 44561(%rsp)
				movq	$0, 44569(%rsp)
				movb	$0, 44577(%rsp)
				movw	$0, 44578(%rsp)
				movl	$0, 44580(%rsp)
				leaq	44584(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$2, 44560(%rsp)
				movq	44560(%rsp), %rax
				movq	44568(%rsp), %rdx
				movq	%rax, 1040(%rsp)
				movq	%rdx, 1048(%rsp)
		.LVL24:
				movb	$2, 1040(%rsp)
		.LBE897:
		.LBB898:
		.LBB899:
				pushq	44808(%rsp)
				pushq	44808(%rsp)
				pushq	44808(%rsp)
				pushq	44808(%rsp)
				pushq	44808(%rsp)
				pushq	44808(%rsp)
				pushq	44808(%rsp)
				pushq	44808(%rsp)
				pushq	44808(%rsp)
				pushq	44808(%rsp)
				pushq	44808(%rsp)
				pushq	44808(%rsp)
				pushq	44808(%rsp)
				pushq	44808(%rsp)
				pushq	44808(%rsp)
				pushq	44808(%rsp)
				pushq	44808(%rsp)
				pushq	44808(%rsp)
				pushq	44808(%rsp)
				pushq	44808(%rsp)
				pushq	44808(%rsp)
				pushq	44808(%rsp)
				pushq	44808(%rsp)
				pushq	44808(%rsp)
				pushq	44808(%rsp)
				pushq	44808(%rsp)
				pushq	44808(%rsp)
				pushq	44808(%rsp)
				pushq	44808(%rsp)
				pushq	44808(%rsp)
				pushq	1288(%rsp)
				pushq	1288(%rsp)
				call	_imp_printstring@PLT
		.LVL25:
		.LBE899:
		.LBE898:
		.LBB900:
		.LBB901:
				addq	$256, %rsp
				movl	$4, %edi
				pxor	%xmm0, %xmm0
				call	_imp_printfl@PLT
		.LVL26:
		.LBE901:
		.LBE900:
		.LBB902:
   71     print fl (p2m, 4); print string (") --> bern ( ")
				movq	$8236, 44305(%rsp)
				movq	$0, 44313(%rsp)
				movb	$0, 44321(%rsp)
				movw	$0, 44322(%rsp)
				movl	$0, 44324(%rsp)
				leaq	44328(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$2, 44304(%rsp)
				movq	44304(%rsp), %rax
				movq	44312(%rsp), %rdx
				movq	%rax, 1296(%rsp)
				movq	%rdx, 1304(%rsp)
		.LVL27:
				movb	$2, 1296(%rsp)
		.LBE902:
		.LBB903:
		.LBB904:
				pushq	44552(%rsp)
				pushq	44552(%rsp)
				pushq	44552(%rsp)
				pushq	44552(%rsp)
				pushq	44552(%rsp)
				pushq	44552(%rsp)
				pushq	44552(%rsp)
				pushq	44552(%rsp)
				pushq	44552(%rsp)
				pushq	44552(%rsp)
				pushq	44552(%rsp)
				pushq	44552(%rsp)
				pushq	44552(%rsp)
				pushq	44552(%rsp)
				pushq	44552(%rsp)
				pushq	44552(%rsp)
				pushq	44552(%rsp)
				pushq	44552(%rsp)
				pushq	44552(%rsp)
				pushq	44552(%rsp)
				pushq	44552(%rsp)
				pushq	44552(%rsp)
				pushq	44552(%rsp)
				pushq	44552(%rsp)
				pushq	44552(%rsp)
				pushq	44552(%rsp)
				pushq	44552(%rsp)
				pushq	44552(%rsp)
				pushq	44552(%rsp)
				pushq	44552(%rsp)
				pushq	1544(%rsp)
				pushq	1544(%rsp)
				call	_imp_printstring@PLT
		.LVL28:
		.LBE904:
		.LBE903:
		.LBB905:
		.LBB906:
				addq	$256, %rsp
				movl	$4, %edi
				pxor	%xmm0, %xmm0
				call	_imp_printfl@PLT
		.LVL29:
		.LBE906:
		.LBE905:
		.LBB907:
   72     print fl (p0b2, 4); print string (", ")
				movabsq	$7305436996966359081, %r14
				movabsq	$138112167538, %r15
				movq	%r14, 44049(%rsp)
				movq	%r15, 44057(%rsp)
				movb	$0, 44065(%rsp)
				movw	$0, 44066(%rsp)
				movl	$0, 44068(%rsp)
				leaq	44072(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$13, 44048(%rsp)
				movq	44048(%rsp), %rax
				movq	44056(%rsp), %rdx
				movq	%rax, 1552(%rsp)
				movq	%rdx, 1560(%rsp)
		.LVL30:
				movb	$13, 1552(%rsp)
		.LBE907:
		.LBB908:
		.LBB909:
				pushq	44296(%rsp)
				pushq	44296(%rsp)
				pushq	44296(%rsp)
				pushq	44296(%rsp)
				pushq	44296(%rsp)
				pushq	44296(%rsp)
				pushq	44296(%rsp)
				pushq	44296(%rsp)
				pushq	44296(%rsp)
				pushq	44296(%rsp)
				pushq	44296(%rsp)
				pushq	44296(%rsp)
				pushq	44296(%rsp)
				pushq	44296(%rsp)
				pushq	44296(%rsp)
				pushq	44296(%rsp)
				pushq	44296(%rsp)
				pushq	44296(%rsp)
				pushq	44296(%rsp)
				pushq	44296(%rsp)
				pushq	44296(%rsp)
				pushq	44296(%rsp)
				pushq	44296(%rsp)
				pushq	44296(%rsp)
				pushq	44296(%rsp)
				pushq	44296(%rsp)
				pushq	44296(%rsp)
				pushq	44296(%rsp)
				pushq	44296(%rsp)
				pushq	44296(%rsp)
				pushq	1800(%rsp)
				pushq	1800(%rsp)
				call	_imp_printstring@PLT
		.LVL31:
		.LBE909:
		.LBE908:
		.LBB910:
		.LBB911:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC0(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL32:
		.LBE911:
		.LBE910:
		.LBB912:
   73     print fl (p1b2, 4); print string (", ")
				movq	$8236, 43793(%rsp)
				movq	$0, 43801(%rsp)
				movb	$0, 43809(%rsp)
				movw	$0, 43810(%rsp)
				movl	$0, 43812(%rsp)
				leaq	43816(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$2, 43792(%rsp)
				movq	43792(%rsp), %rax
				movq	43800(%rsp), %rdx
				movq	%rax, 1808(%rsp)
				movq	%rdx, 1816(%rsp)
		.LVL33:
				movb	$2, 1808(%rsp)
		.LBE912:
		.LBB913:
		.LBB914:
				pushq	44040(%rsp)
				pushq	44040(%rsp)
				pushq	44040(%rsp)
				pushq	44040(%rsp)
				pushq	44040(%rsp)
				pushq	44040(%rsp)
				pushq	44040(%rsp)
				pushq	44040(%rsp)
				pushq	44040(%rsp)
				pushq	44040(%rsp)
				pushq	44040(%rsp)
				pushq	44040(%rsp)
				pushq	44040(%rsp)
				pushq	44040(%rsp)
				pushq	44040(%rsp)
				pushq	44040(%rsp)
				pushq	44040(%rsp)
				pushq	44040(%rsp)
				pushq	44040(%rsp)
				pushq	44040(%rsp)
				pushq	44040(%rsp)
				pushq	44040(%rsp)
				pushq	44040(%rsp)
				pushq	44040(%rsp)
				pushq	44040(%rsp)
				pushq	44040(%rsp)
				pushq	44040(%rsp)
				pushq	44040(%rsp)
				pushq	44040(%rsp)
				pushq	44040(%rsp)
				pushq	2056(%rsp)
				pushq	2056(%rsp)
				call	_imp_printstring@PLT
		.LVL34:
		.LBE914:
		.LBE913:
		.LBB915:
		.LBB916:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC0(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL35:
		.LBE916:
		.LBE915:
		.LBB917:
   74     print fl (p2b2, 4); print string (")".snl)
				movq	$8236, 43537(%rsp)
				movq	$0, 43545(%rsp)
				movb	$0, 43553(%rsp)
				movw	$0, 43554(%rsp)
				movl	$0, 43556(%rsp)
				leaq	43560(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$2, 43536(%rsp)
				movq	43536(%rsp), %rax
				movq	43544(%rsp), %rdx
				movq	%rax, 2064(%rsp)
				movq	%rdx, 2072(%rsp)
		.LVL36:
				movb	$2, 2064(%rsp)
		.LBE917:
		.LBB918:
		.LBB919:
				pushq	43784(%rsp)
				pushq	43784(%rsp)
				pushq	43784(%rsp)
				pushq	43784(%rsp)
				pushq	43784(%rsp)
				pushq	43784(%rsp)
				pushq	43784(%rsp)
				pushq	43784(%rsp)
				pushq	43784(%rsp)
				pushq	43784(%rsp)
				pushq	43784(%rsp)
				pushq	43784(%rsp)
				pushq	43784(%rsp)
				pushq	43784(%rsp)
				pushq	43784(%rsp)
				pushq	43784(%rsp)
				pushq	43784(%rsp)
				pushq	43784(%rsp)
				pushq	43784(%rsp)
				pushq	43784(%rsp)
				pushq	43784(%rsp)
				pushq	43784(%rsp)
				pushq	43784(%rsp)
				pushq	43784(%rsp)
				pushq	43784(%rsp)
				pushq	43784(%rsp)
				pushq	43784(%rsp)
				pushq	43784(%rsp)
				pushq	43784(%rsp)
				pushq	43784(%rsp)
				pushq	2312(%rsp)
				pushq	2312(%rsp)
				call	_imp_printstring@PLT
		.LVL37:
		.LBE919:
		.LBE918:
		.LBB920:
		.LBB921:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC0(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL38:
		.LBE921:
		.LBE920:
		.LBB922:
		.LBB923:
   75     print string ("  mono ( ")
				movq	%r12, 43281(%rsp)
				movq	%r13, 43289(%rsp)
				movb	$0, 43297(%rsp)
				movw	$0, 43298(%rsp)
				movl	$0, 43300(%rsp)
				leaq	43304(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$9, 43280(%rsp)
				movq	43280(%rsp), %rax
				movq	43288(%rsp), %rdx
				movq	%rax, 3088(%rsp)
				movq	%rdx, 3096(%rsp)
		.LVL41:
				movb	$9, 3088(%rsp)
		.LBE926:
		.LBB927:
		.LBB928:
				addq	$256, %rsp
				pushq	43272(%rsp)
				pushq	43272(%rsp)
				pushq	43272(%rsp)
				pushq	43272(%rsp)
				pushq	43272(%rsp)
				pushq	43272(%rsp)
				pushq	43272(%rsp)
				pushq	43272(%rsp)
				pushq	43272(%rsp)
				pushq	43272(%rsp)
				pushq	43272(%rsp)
				pushq	43272(%rsp)
				pushq	43272(%rsp)
				pushq	43272(%rsp)
				pushq	43272(%rsp)
				pushq	43272(%rsp)
				pushq	43272(%rsp)
				pushq	43272(%rsp)
				pushq	43272(%rsp)
				pushq	43272(%rsp)
				pushq	43272(%rsp)
				pushq	43272(%rsp)
				pushq	43272(%rsp)
				pushq	43272(%rsp)
				pushq	43272(%rsp)
				pushq	43272(%rsp)
				pushq	43272(%rsp)
				pushq	43272(%rsp)
				pushq	43272(%rsp)
				pushq	43272(%rsp)
				pushq	3080(%rsp)
				pushq	3080(%rsp)
				call	_imp_printstring@PLT
		.LVL42:
		.LBE928:
		.LBE927:
		.LBB929:
		.LBB930:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC0(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL43:
		.LBE930:
		.LBE929:
		.LBB931:
				movq	$8236, 42769(%rsp)
				movq	$0, 42777(%rsp)
				movb	$0, 42785(%rsp)
				movw	$0, 42786(%rsp)
				movl	$0, 42788(%rsp)
				leaq	42792(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$2, 42768(%rsp)
				movq	42768(%rsp), %rax
				movq	42776(%rsp), %rdx
				movq	%rax, 3088(%rsp)
				movq	%rdx, 3096(%rsp)
		.LVL44:
				movb	$2, 3088(%rsp)
		.LBE931:
		.LBB932:
		.LBB933:
				pushq	43016(%rsp)
				pushq	43016(%rsp)
				pushq	43016(%rsp)
				pushq	43016(%rsp)
				pushq	43016(%rsp)
				pushq	43016(%rsp)
				pushq	43016(%rsp)
				pushq	43016(%rsp)
				pushq	43016(%rsp)
				pushq	43016(%rsp)
				pushq	43016(%rsp)
				pushq	43016(%rsp)
				pushq	43016(%rsp)
				pushq	43016(%rsp)
				pushq	43016(%rsp)
				pushq	43016(%rsp)
				pushq	43016(%rsp)
				pushq	43016(%rsp)
				pushq	43016(%rsp)
				pushq	43016(%rsp)
				pushq	43016(%rsp)
				pushq	43016(%rsp)
				pushq	43016(%rsp)
				pushq	43016(%rsp)
				pushq	43016(%rsp)
				pushq	43016(%rsp)
				pushq	43016(%rsp)
				pushq	43016(%rsp)
				pushq	43016(%rsp)
				pushq	43016(%rsp)
				pushq	3336(%rsp)
				pushq	3336(%rsp)
				call	_imp_printstring@PLT
		.LVL45:
		.LBE933:
		.LBE932:
		.LBB934:
		.LBB935:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC2(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL46:
		.LBE935:
		.LBE934:
		.LBB936:
   76     print fl (q0m, 4); print string (", ")
   77     print fl (q1m, 4); print string (", ")
				leaq	43280(%rsp), %rdi
				leaq	2576(%rsp), %rsi
				movq	%rbp, %rdx
				call	_imp_join@PLT
		.LVL39:
		.LBE923:
		.LBE922:
		.LBB924:
		.LBB925:
				pushq	2568(%rsp)
				pushq	2568(%rsp)
				pushq	2568(%rsp)
				pushq	2568(%rsp)
				pushq	2568(%rsp)
				pushq	2568(%rsp)
				pushq	2568(%rsp)
				pushq	2568(%rsp)
				pushq	2568(%rsp)
				pushq	2568(%rsp)
				pushq	2568(%rsp)
				pushq	2568(%rsp)
				pushq	2568(%rsp)
				pushq	2568(%rsp)
				pushq	2568(%rsp)
				pushq	2568(%rsp)
				pushq	2568(%rsp)
				pushq	2568(%rsp)
				pushq	2568(%rsp)
				pushq	2568(%rsp)
				pushq	2568(%rsp)
				pushq	2568(%rsp)
				pushq	2568(%rsp)
				pushq	2568(%rsp)
				pushq	2568(%rsp)
				pushq	2568(%rsp)
				pushq	2568(%rsp)
				pushq	2568(%rsp)
				pushq	2568(%rsp)
				pushq	2568(%rsp)
				pushq	2568(%rsp)
				pushq	2568(%rsp)
				call	_imp_printstring@PLT
		.LVL40:
		.LBE925:
		.LBE924:
		.LBB926:
   78     print fl (q2m, 4); print string (") --> bern ( ")
				movq	$8236, 42513(%rsp)
				movq	$0, 42521(%rsp)
				movb	$0, 42529(%rsp)
				movw	$0, 42530(%rsp)
				movl	$0, 42532(%rsp)
				leaq	42536(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$2, 42512(%rsp)
				movq	42512(%rsp), %rax
				movq	42520(%rsp), %rdx
				movq	%rax, 3344(%rsp)
				movq	%rdx, 3352(%rsp)
		.LVL47:
				movb	$2, 3344(%rsp)
		.LBE936:
		.LBB937:
		.LBB938:
				pushq	42760(%rsp)
				pushq	42760(%rsp)
				pushq	42760(%rsp)
				pushq	42760(%rsp)
				pushq	42760(%rsp)
				pushq	42760(%rsp)
				pushq	42760(%rsp)
				pushq	42760(%rsp)
				pushq	42760(%rsp)
				pushq	42760(%rsp)
				pushq	42760(%rsp)
				pushq	42760(%rsp)
				pushq	42760(%rsp)
				pushq	42760(%rsp)
				pushq	42760(%rsp)
				pushq	42760(%rsp)
				pushq	42760(%rsp)
				pushq	42760(%rsp)
				pushq	42760(%rsp)
				pushq	42760(%rsp)
				pushq	42760(%rsp)
				pushq	42760(%rsp)
				pushq	42760(%rsp)
				pushq	42760(%rsp)
				pushq	42760(%rsp)
				pushq	42760(%rsp)
				pushq	42760(%rsp)
				pushq	42760(%rsp)
				pushq	42760(%rsp)
				pushq	42760(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				call	_imp_printstring@PLT
		.LVL48:
		.LBE938:
		.LBE937:
		.LBB939:
		.LBB940:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC3(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL49:
		.LBE940:
		.LBE939:
		.LBB941:
   79     print fl (q0b2, 4); print string (", ")
				movq	%r14, 42257(%rsp)
				movq	%r15, 42265(%rsp)
				movb	$0, 42273(%rsp)
				movw	$0, 42274(%rsp)
				movl	$0, 42276(%rsp)
				leaq	42280(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$13, 42256(%rsp)
				movq	42256(%rsp), %rax
				movq	42264(%rsp), %rdx
				movq	%rax, 3600(%rsp)
				movq	%rdx, 3608(%rsp)
		.LVL50:
				movb	$13, 3600(%rsp)
		.LBE941:
		.LBB942:
		.LBB943:
				pushq	42504(%rsp)
				pushq	42504(%rsp)
				pushq	42504(%rsp)
				pushq	42504(%rsp)
				pushq	42504(%rsp)
				pushq	42504(%rsp)
				pushq	42504(%rsp)
				pushq	42504(%rsp)
				pushq	42504(%rsp)
				pushq	42504(%rsp)
				pushq	42504(%rsp)
				pushq	42504(%rsp)
				pushq	42504(%rsp)
				pushq	42504(%rsp)
				pushq	42504(%rsp)
				pushq	42504(%rsp)
				pushq	42504(%rsp)
				pushq	42504(%rsp)
				pushq	42504(%rsp)
				pushq	42504(%rsp)
				pushq	42504(%rsp)
				pushq	42504(%rsp)
				pushq	42504(%rsp)
				pushq	42504(%rsp)
				pushq	42504(%rsp)
				pushq	42504(%rsp)
				pushq	42504(%rsp)
				pushq	42504(%rsp)
				pushq	42504(%rsp)
				pushq	42504(%rsp)
				pushq	3848(%rsp)
				pushq	3848(%rsp)
				call	_imp_printstring@PLT
		.LVL51:
		.LBE943:
		.LBE942:
		.LBB944:
		.LBB945:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC0(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL52:
		.LBE945:
		.LBE944:
		.LBB946:
   80     print fl (q1b2, 4); print string (", ")
				movq	$8236, 42001(%rsp)
				movq	$0, 42009(%rsp)
				movb	$0, 42017(%rsp)
				movw	$0, 42018(%rsp)
				movl	$0, 42020(%rsp)
				leaq	42024(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$2, 42000(%rsp)
				movq	42000(%rsp), %rax
				movq	42008(%rsp), %rdx
				movq	%rax, 3856(%rsp)
				movq	%rdx, 3864(%rsp)
		.LVL53:
				movb	$2, 3856(%rsp)
		.LBE946:
		.LBB947:
		.LBB948:
				pushq	42248(%rsp)
				pushq	42248(%rsp)
				pushq	42248(%rsp)
				pushq	42248(%rsp)
				pushq	42248(%rsp)
				pushq	42248(%rsp)
				pushq	42248(%rsp)
				pushq	42248(%rsp)
				pushq	42248(%rsp)
				pushq	42248(%rsp)
				pushq	42248(%rsp)
				pushq	42248(%rsp)
				pushq	42248(%rsp)
				pushq	42248(%rsp)
				pushq	42248(%rsp)
				pushq	42248(%rsp)
				pushq	42248(%rsp)
				pushq	42248(%rsp)
				pushq	42248(%rsp)
				pushq	42248(%rsp)
				pushq	42248(%rsp)
				pushq	42248(%rsp)
				pushq	42248(%rsp)
				pushq	42248(%rsp)
				pushq	42248(%rsp)
				pushq	42248(%rsp)
				pushq	42248(%rsp)
				pushq	42248(%rsp)
				pushq	42248(%rsp)
				pushq	42248(%rsp)
				pushq	4104(%rsp)
				pushq	4104(%rsp)
				call	_imp_printstring@PLT
		.LVL54:
		.LBE948:
		.LBE947:
		.LBB949:
		.LBB950:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC2(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL55:
		.LBE950:
		.LBE949:
		.LBB951:
   81     print fl (q2b2, 4); print string (")".snl)
				movq	$8236, 41745(%rsp)
				movq	$0, 41753(%rsp)
				movb	$0, 41761(%rsp)
				movw	$0, 41762(%rsp)
				movl	$0, 41764(%rsp)
				leaq	41768(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$2, 41744(%rsp)
				movq	41744(%rsp), %rax
				movq	41752(%rsp), %rdx
				movq	%rax, 4112(%rsp)
				movq	%rdx, 4120(%rsp)
		.LVL56:
				movb	$2, 4112(%rsp)
		.LBE951:
		.LBB952:
		.LBB953:
				pushq	41992(%rsp)
				pushq	41992(%rsp)
				pushq	41992(%rsp)
				pushq	41992(%rsp)
				pushq	41992(%rsp)
				pushq	41992(%rsp)
				pushq	41992(%rsp)
				pushq	41992(%rsp)
				pushq	41992(%rsp)
				pushq	41992(%rsp)
				pushq	41992(%rsp)
				pushq	41992(%rsp)
				pushq	41992(%rsp)
				pushq	41992(%rsp)
				pushq	41992(%rsp)
				pushq	41992(%rsp)
				pushq	41992(%rsp)
				pushq	41992(%rsp)
				pushq	41992(%rsp)
				pushq	41992(%rsp)
				pushq	41992(%rsp)
				pushq	41992(%rsp)
				pushq	41992(%rsp)
				pushq	41992(%rsp)
				pushq	41992(%rsp)
				pushq	41992(%rsp)
				pushq	41992(%rsp)
				pushq	41992(%rsp)
				pushq	41992(%rsp)
				pushq	41992(%rsp)
				pushq	4360(%rsp)
				pushq	4360(%rsp)
				call	_imp_printstring@PLT
		.LVL57:
		.LBE953:
		.LBE952:
		.LBB954:
		.LBB955:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC4(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL58:
		.LBE955:
		.LBE954:
		.LBB956:
		.LBB957:
   82
   83     print string ("Subprogram (2) examples:".snl)
   84     x = 0.25
				leaq	41488(%rsp), %rdi
				leaq	16(%rsp), %rbp
				leaq	4624(%rsp), %rsi
				movq	%rbp, %rdx
				call	_imp_join@PLT
		.LVL59:
		.LBE957:
		.LBE956:
		.LBB958:
		.LBB959:
				pushq	4616(%rsp)
				pushq	4616(%rsp)
				pushq	4616(%rsp)
				pushq	4616(%rsp)
				pushq	4616(%rsp)
				pushq	4616(%rsp)
				pushq	4616(%rsp)
				pushq	4616(%rsp)
				pushq	4616(%rsp)
				pushq	4616(%rsp)
				pushq	4616(%rsp)
				pushq	4616(%rsp)
				pushq	4616(%rsp)
				pushq	4616(%rsp)
				pushq	4616(%rsp)
				pushq	4616(%rsp)
				pushq	4616(%rsp)
				pushq	4616(%rsp)
				pushq	4616(%rsp)
				pushq	4616(%rsp)
				pushq	4616(%rsp)
				pushq	4616(%rsp)
				pushq	4616(%rsp)
				pushq	4616(%rsp)
				pushq	4616(%rsp)
				pushq	4616(%rsp)
				pushq	4616(%rsp)
				pushq	4616(%rsp)
				pushq	4616(%rsp)
				pushq	4616(%rsp)
				pushq	4616(%rsp)
				pushq	4616(%rsp)
				call	_imp_printstring@PLT
		.LVL60:
		.LBE959:
		.LBE958:
		.LBB960:
		.LBB961:
   85     y = evalbern2 (p0b2, p1b2, p2b2, x)
				leaq	41488(%rsp), %rdi
				addq	$256, %rsp
				leaq	5136(%rsp), %rsi
				movq	%rbp, %rdx
				call	_imp_join@PLT
		.LVL61:
		.LBE961:
		.LBE960:
		.LBB962:
		.LBB963:
				pushq	5128(%rsp)
				pushq	5128(%rsp)
				pushq	5128(%rsp)
				pushq	5128(%rsp)
				pushq	5128(%rsp)
				pushq	5128(%rsp)
				pushq	5128(%rsp)
				pushq	5128(%rsp)
				pushq	5128(%rsp)
				pushq	5128(%rsp)
				pushq	5128(%rsp)
				pushq	5128(%rsp)
				pushq	5128(%rsp)
				pushq	5128(%rsp)
				pushq	5128(%rsp)
				pushq	5128(%rsp)
				pushq	5128(%rsp)
				pushq	5128(%rsp)
				pushq	5128(%rsp)
				pushq	5128(%rsp)
				pushq	5128(%rsp)
				pushq	5128(%rsp)
				pushq	5128(%rsp)
				pushq	5128(%rsp)
				pushq	5128(%rsp)
				pushq	5128(%rsp)
				pushq	5128(%rsp)
				pushq	5128(%rsp)
				pushq	5128(%rsp)
				pushq	5128(%rsp)
				pushq	5128(%rsp)
				pushq	5128(%rsp)
				call	_imp_printstring@PLT
		.LVL62:
		.LBE963:
		.LBE962:
		.LBB964:
   86     print string ("  p ( "); print fl (x, 4)
				movabsq	$35356714999840, %rax
				movl	$0, %edx
				movq	%rax, 41233(%rsp)
				movq	%rdx, 41241(%rsp)
				movb	$0, 41249(%rsp)
				movw	$0, 41250(%rsp)
				movl	$0, 41252(%rsp)
				leaq	41256(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$6, 41232(%rsp)
				movq	41232(%rsp), %rax
				movq	41240(%rsp), %rdx
				movq	%rax, 5648(%rsp)
				movq	%rdx, 5656(%rsp)
		.LVL63:
				movb	$6, 5648(%rsp)
		.LBE964:
		.LBB965:
		.LBB966:
				addq	$256, %rsp
				pushq	41224(%rsp)
				pushq	41224(%rsp)
				pushq	41224(%rsp)
				pushq	41224(%rsp)
				pushq	41224(%rsp)
				pushq	41224(%rsp)
				pushq	41224(%rsp)
				pushq	41224(%rsp)
				pushq	41224(%rsp)
				pushq	41224(%rsp)
				pushq	41224(%rsp)
				pushq	41224(%rsp)
				pushq	41224(%rsp)
				pushq	41224(%rsp)
				pushq	41224(%rsp)
				pushq	41224(%rsp)
				pushq	41224(%rsp)
				pushq	41224(%rsp)
				pushq	41224(%rsp)
				pushq	41224(%rsp)
				pushq	41224(%rsp)
				pushq	41224(%rsp)
				pushq	41224(%rsp)
				pushq	41224(%rsp)
				pushq	41224(%rsp)
				pushq	41224(%rsp)
				pushq	41224(%rsp)
				pushq	41224(%rsp)
				pushq	41224(%rsp)
				pushq	41224(%rsp)
				pushq	5640(%rsp)
				pushq	5640(%rsp)
				call	_imp_printstring@PLT
		.LVL64:
		.LBE966:
		.LBE965:
		.LBB967:
		.LBB968:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC5(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL65:
		.LBE968:
		.LBE967:
		.LBB969:
   87     print string (") = "); print fl (y, 4)
				movq	$540876841, 40721(%rsp)
				movq	$0, 40729(%rsp)
				movb	$0, 40737(%rsp)
				movw	$0, 40738(%rsp)
				movl	$0, 40740(%rsp)
				leaq	40744(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$4, 40720(%rsp)
				movq	40720(%rsp), %rax
				movq	40728(%rsp), %rdx
				movq	%rax, 5648(%rsp)
				movq	%rdx, 5656(%rsp)
		.LVL66:
				movb	$4, 5648(%rsp)
		.LBE969:
		.LBB970:
		.LBB971:
				pushq	40968(%rsp)
				pushq	40968(%rsp)
				pushq	40968(%rsp)
				pushq	40968(%rsp)
				pushq	40968(%rsp)
				pushq	40968(%rsp)
				pushq	40968(%rsp)
				pushq	40968(%rsp)
				pushq	40968(%rsp)
				pushq	40968(%rsp)
				pushq	40968(%rsp)
				pushq	40968(%rsp)
				pushq	40968(%rsp)
				pushq	40968(%rsp)
				pushq	40968(%rsp)
				pushq	40968(%rsp)
				pushq	40968(%rsp)
				pushq	40968(%rsp)
				pushq	40968(%rsp)
				pushq	40968(%rsp)
				pushq	40968(%rsp)
				pushq	40968(%rsp)
				pushq	40968(%rsp)
				pushq	40968(%rsp)
				pushq	40968(%rsp)
				pushq	40968(%rsp)
				pushq	40968(%rsp)
				pushq	40968(%rsp)
				pushq	40968(%rsp)
				pushq	40968(%rsp)
				pushq	5896(%rsp)
				pushq	5896(%rsp)
				call	_imp_printstring@PLT
		.LVL67:
		.LBE971:
		.LBE970:
		.LBB972:
		.LBB973:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC0(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL68:
		.LBE973:
		.LBE972:
		.LBB974:
		.LBB975:
				call	_imp_newline@PLT
		.LVL69:
		.LBE975:
		.LBE974:
		.LBB976:
   88     newline
   89     x = 7.50
   90     y = evalbern2 (p0b2, p1b2, p2b2, x)
   91     print string ("  p ( "); print fl (x, 4)
				movabsq	$35356714999840, %rax
				movl	$0, %edx
				movq	%rax, 40465(%rsp)
				movq	%rdx, 40473(%rsp)
				movb	$0, 40481(%rsp)
				movw	$0, 40482(%rsp)
				movl	$0, 40484(%rsp)
				leaq	40488(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$6, 40464(%rsp)
				movq	40464(%rsp), %rax
				movq	40472(%rsp), %rdx
				movq	%rax, 5904(%rsp)
				movq	%rdx, 5912(%rsp)
		.LVL70:
				movb	$6, 5904(%rsp)
		.LBE976:
		.LBB977:
		.LBB978:
				pushq	40712(%rsp)
				pushq	40712(%rsp)
				pushq	40712(%rsp)
				pushq	40712(%rsp)
				pushq	40712(%rsp)
				pushq	40712(%rsp)
				pushq	40712(%rsp)
				pushq	40712(%rsp)
				pushq	40712(%rsp)
				pushq	40712(%rsp)
				pushq	40712(%rsp)
				pushq	40712(%rsp)
				pushq	40712(%rsp)
				pushq	40712(%rsp)
				pushq	40712(%rsp)
				pushq	40712(%rsp)
				pushq	40712(%rsp)
				pushq	40712(%rsp)
				pushq	40712(%rsp)
				pushq	40712(%rsp)
				pushq	40712(%rsp)
				pushq	40712(%rsp)
				pushq	40712(%rsp)
				pushq	40712(%rsp)
				pushq	40712(%rsp)
				pushq	40712(%rsp)
				pushq	40712(%rsp)
				pushq	40712(%rsp)
				pushq	40712(%rsp)
				pushq	40712(%rsp)
				pushq	6152(%rsp)
				pushq	6152(%rsp)
				call	_imp_printstring@PLT
		.LVL71:
		.LBE978:
		.LBE977:
		.LBB979:
		.LBB980:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC6(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL72:
		.LBE980:
		.LBE979:
		.LBB981:
   92     print string (") = "); print fl (y, 4)
				movq	$540876841, 40209(%rsp)
				movq	$0, 40217(%rsp)
				movb	$0, 40225(%rsp)
				movw	$0, 40226(%rsp)
				movl	$0, 40228(%rsp)
				leaq	40232(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$4, 40208(%rsp)
				movq	40208(%rsp), %rax
				movq	40216(%rsp), %rdx
				movq	%rax, 6160(%rsp)
				movq	%rdx, 6168(%rsp)
		.LVL73:
				movb	$4, 6160(%rsp)
		.LBE981:
		.LBB982:
		.LBB983:
				pushq	40456(%rsp)
				pushq	40456(%rsp)
				pushq	40456(%rsp)
				pushq	40456(%rsp)
				pushq	40456(%rsp)
				pushq	40456(%rsp)
				pushq	40456(%rsp)
				pushq	40456(%rsp)
				pushq	40456(%rsp)
				pushq	40456(%rsp)
				pushq	40456(%rsp)
				pushq	40456(%rsp)
				pushq	40456(%rsp)
				pushq	40456(%rsp)
				pushq	40456(%rsp)
				pushq	40456(%rsp)
				pushq	40456(%rsp)
				pushq	40456(%rsp)
				pushq	40456(%rsp)
				pushq	40456(%rsp)
				pushq	40456(%rsp)
				pushq	40456(%rsp)
				pushq	40456(%rsp)
				pushq	40456(%rsp)
				pushq	40456(%rsp)
				pushq	40456(%rsp)
				pushq	40456(%rsp)
				pushq	40456(%rsp)
				pushq	40456(%rsp)
				pushq	40456(%rsp)
				pushq	6408(%rsp)
				pushq	6408(%rsp)
				call	_imp_printstring@PLT
		.LVL74:
		.LBE983:
		.LBE982:
		.LBB984:
		.LBB985:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC0(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL75:
		.LBE985:
		.LBE984:
		.LBB986:
		.LBB987:
				call	_imp_newline@PLT
		.LVL76:
		.LBE987:
		.LBE986:
		.LBB988:
   93     newline
   94     x = 0.25
   95     y = evalbern2 (q0b2, q1b2, q2b2, x)
   96     print string ("  q ( "); print fl (x, 4)
				movabsq	$35356715065376, %rdx
				movl	$0, %ecx
				movq	%rdx, 39953(%rsp)
				movq	%rcx, 39961(%rsp)
				movb	$0, 39969(%rsp)
				movw	$0, 39970(%rsp)
				movl	$0, 39972(%rsp)
				leaq	39976(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$6, 39952(%rsp)
				movq	39952(%rsp), %rax
				movq	39960(%rsp), %rdx
				movq	%rax, 6416(%rsp)
				movq	%rdx, 6424(%rsp)
		.LVL77:
				movb	$6, 6416(%rsp)
		.LBE988:
		.LBB989:
		.LBB990:
				pushq	40200(%rsp)
				pushq	40200(%rsp)
				pushq	40200(%rsp)
				pushq	40200(%rsp)
				pushq	40200(%rsp)
				pushq	40200(%rsp)
				pushq	40200(%rsp)
				pushq	40200(%rsp)
				pushq	40200(%rsp)
				pushq	40200(%rsp)
				pushq	40200(%rsp)
				pushq	40200(%rsp)
				pushq	40200(%rsp)
				pushq	40200(%rsp)
				pushq	40200(%rsp)
				pushq	40200(%rsp)
				pushq	40200(%rsp)
				pushq	40200(%rsp)
				pushq	40200(%rsp)
				pushq	40200(%rsp)
				pushq	40200(%rsp)
				pushq	40200(%rsp)
				pushq	40200(%rsp)
				pushq	40200(%rsp)
				pushq	40200(%rsp)
				pushq	40200(%rsp)
				pushq	40200(%rsp)
				pushq	40200(%rsp)
				pushq	40200(%rsp)
				pushq	40200(%rsp)
				pushq	6664(%rsp)
				pushq	6664(%rsp)
				call	_imp_printstring@PLT
		.LVL78:
		.LBE990:
		.LBE989:
		.LBB991:
		.LBB992:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC5(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL79:
		.LBE992:
		.LBE991:
		.LBB993:
   97     print string (") = "); print fl (y, 4)
				movq	$540876841, 39697(%rsp)
				movq	$0, 39705(%rsp)
				movb	$0, 39713(%rsp)
				movw	$0, 39714(%rsp)
				movl	$0, 39716(%rsp)
				leaq	39720(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$4, 39696(%rsp)
				movq	39696(%rsp), %rax
				movq	39704(%rsp), %rdx
				movq	%rax, 6672(%rsp)
				movq	%rdx, 6680(%rsp)
		.LVL80:
				movb	$4, 6672(%rsp)
		.LBE993:
		.LBB994:
		.LBB995:
				pushq	39944(%rsp)
				pushq	39944(%rsp)
				pushq	39944(%rsp)
				pushq	39944(%rsp)
				pushq	39944(%rsp)
				pushq	39944(%rsp)
				pushq	39944(%rsp)
				pushq	39944(%rsp)
				pushq	39944(%rsp)
				pushq	39944(%rsp)
				pushq	39944(%rsp)
				pushq	39944(%rsp)
				pushq	39944(%rsp)
				pushq	39944(%rsp)
				pushq	39944(%rsp)
				pushq	39944(%rsp)
				pushq	39944(%rsp)
				pushq	39944(%rsp)
				pushq	39944(%rsp)
				pushq	39944(%rsp)
				pushq	39944(%rsp)
				pushq	39944(%rsp)
				pushq	39944(%rsp)
				pushq	39944(%rsp)
				pushq	39944(%rsp)
				pushq	39944(%rsp)
				pushq	39944(%rsp)
				pushq	39944(%rsp)
				pushq	39944(%rsp)
				pushq	39944(%rsp)
				pushq	6920(%rsp)
				pushq	6920(%rsp)
				call	_imp_printstring@PLT
		.LVL81:
		.LBE995:
		.LBE994:
		.LBB996:
		.LBB997:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC7(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL82:
		.LBE997:
		.LBE996:
		.LBB998:
		.LBB999:
				call	_imp_newline@PLT
		.LVL83:
		.LBE999:
		.LBE998:
		.LBB1000:
   98     newline
   99     x = 7.50
  100     y = evalbern2 (q0b2, q1b2, q2b2, x)
  101     print string ("  q ( "); print fl (x, 4)
				movabsq	$35356715065376, %rdx
				movl	$0, %ecx
				movq	%rdx, 39441(%rsp)
				movq	%rcx, 39449(%rsp)
				movb	$0, 39457(%rsp)
				movw	$0, 39458(%rsp)
				movl	$0, 39460(%rsp)
				leaq	39464(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$6, 39440(%rsp)
				movq	39440(%rsp), %rax
				movq	39448(%rsp), %rdx
				movq	%rax, 6928(%rsp)
				movq	%rdx, 6936(%rsp)
		.LVL84:
				movb	$6, 6928(%rsp)
		.LBE1000:
		.LBB1001:
		.LBB1002:
				pushq	39688(%rsp)
				pushq	39688(%rsp)
				pushq	39688(%rsp)
				pushq	39688(%rsp)
				pushq	39688(%rsp)
				pushq	39688(%rsp)
				pushq	39688(%rsp)
				pushq	39688(%rsp)
				pushq	39688(%rsp)
				pushq	39688(%rsp)
				pushq	39688(%rsp)
				pushq	39688(%rsp)
				pushq	39688(%rsp)
				pushq	39688(%rsp)
				pushq	39688(%rsp)
				pushq	39688(%rsp)
				pushq	39688(%rsp)
				pushq	39688(%rsp)
				pushq	39688(%rsp)
				pushq	39688(%rsp)
				pushq	39688(%rsp)
				pushq	39688(%rsp)
				pushq	39688(%rsp)
				pushq	39688(%rsp)
				pushq	39688(%rsp)
				pushq	39688(%rsp)
				pushq	39688(%rsp)
				pushq	39688(%rsp)
				pushq	39688(%rsp)
				pushq	39688(%rsp)
				pushq	7176(%rsp)
				pushq	7176(%rsp)
				call	_imp_printstring@PLT
		.LVL85:
		.LBE1002:
		.LBE1001:
		.LBB1003:
		.LBB1004:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC6(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL86:
		.LBE1004:
		.LBE1003:
		.LBB1005:
  102     print string (") = "); print fl (y, 4)
				movq	$540876841, 39185(%rsp)
				movq	$0, 39193(%rsp)
				movb	$0, 39201(%rsp)
				movw	$0, 39202(%rsp)
				movl	$0, 39204(%rsp)
				leaq	39208(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$4, 39184(%rsp)
				movq	39184(%rsp), %rax
				movq	39192(%rsp), %rdx
				movq	%rax, 7184(%rsp)
				movq	%rdx, 7192(%rsp)
		.LVL87:
				movb	$4, 7184(%rsp)
		.LBE1005:
		.LBB1006:
		.LBB1007:
				pushq	39432(%rsp)
				pushq	39432(%rsp)
				pushq	39432(%rsp)
				pushq	39432(%rsp)
				pushq	39432(%rsp)
				pushq	39432(%rsp)
				pushq	39432(%rsp)
				pushq	39432(%rsp)
				pushq	39432(%rsp)
				pushq	39432(%rsp)
				pushq	39432(%rsp)
				pushq	39432(%rsp)
				pushq	39432(%rsp)
				pushq	39432(%rsp)
				pushq	39432(%rsp)
				pushq	39432(%rsp)
				pushq	39432(%rsp)
				pushq	39432(%rsp)
				pushq	39432(%rsp)
				pushq	39432(%rsp)
				pushq	39432(%rsp)
				pushq	39432(%rsp)
				pushq	39432(%rsp)
				pushq	39432(%rsp)
				pushq	39432(%rsp)
				pushq	39432(%rsp)
				pushq	39432(%rsp)
				pushq	39432(%rsp)
				pushq	39432(%rsp)
				pushq	39432(%rsp)
				pushq	7432(%rsp)
				pushq	7432(%rsp)
				call	_imp_printstring@PLT
		.LVL88:
		.LBE1007:
		.LBE1006:
		.LBB1008:
		.LBB1009:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC8(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL89:
		.LBE1009:
		.LBE1008:
		.LBB1010:
		.LBB1011:
				call	_imp_newline@PLT
		.LVL90:
		.LBE1011:
		.LBE1010:
		.LBB1012:
		.LBB1013:
  103     newline
  104
  105     tobern3 (p0m, p1m, p2m, 0, p0b3, p1b3, p2b3, p3b3)
  106     tobern3 (q0m, q1m, q2m, 0, q0b3, q1b3, q2b3, q3b3)
  107     tobern3 (r0m, r1m, r2m, r3m, r0b3, r1b3, r2b3, r3b3)
  108     print string ("Subprogram (3) examples:".snl)
  109     print string ("  mono ( ")
				movq	%r12, 38929(%rsp)
				movq	%r13, 38937(%rsp)
				movb	$0, 38945(%rsp)
				movw	$0, 38946(%rsp)
				movl	$0, 38948(%rsp)
				leaq	38952(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$9, 38928(%rsp)
				movq	38928(%rsp), %rax
				movq	38936(%rsp), %rdx
				movq	%rax, 8208(%rsp)
				movq	%rdx, 8216(%rsp)
		.LVL93:
				movb	$9, 8208(%rsp)
		.LBE1016:
		.LBB1017:
		.LBB1018:
				addq	$256, %rsp
				pushq	38920(%rsp)
				pushq	38920(%rsp)
				pushq	38920(%rsp)
				pushq	38920(%rsp)
				pushq	38920(%rsp)
				pushq	38920(%rsp)
				pushq	38920(%rsp)
				pushq	38920(%rsp)
				pushq	38920(%rsp)
				pushq	38920(%rsp)
				pushq	38920(%rsp)
				pushq	38920(%rsp)
				pushq	38920(%rsp)
				pushq	38920(%rsp)
				pushq	38920(%rsp)
				pushq	38920(%rsp)
				pushq	38920(%rsp)
				pushq	38920(%rsp)
				pushq	38920(%rsp)
				pushq	38920(%rsp)
				pushq	38920(%rsp)
				pushq	38920(%rsp)
				pushq	38920(%rsp)
				pushq	38920(%rsp)
				pushq	38920(%rsp)
				pushq	38920(%rsp)
				pushq	38920(%rsp)
				pushq	38920(%rsp)
				pushq	38920(%rsp)
				pushq	38920(%rsp)
				pushq	8200(%rsp)
				pushq	8200(%rsp)
				call	_imp_printstring@PLT
		.LVL94:
		.LBE1018:
		.LBE1017:
		.LBB1019:
		.LBB1020:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC0(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL95:
		.LBE1020:
		.LBE1019:
		.LBB1021:
  110     print fl (p0m, 4); print string (", ")
				leaq	38928(%rsp), %rdi
				leaq	16(%rsp), %rdx
				leaq	7696(%rsp), %rsi
				call	_imp_join@PLT
		.LVL91:
		.LBE1013:
		.LBE1012:
		.LBB1014:
		.LBB1015:
				pushq	7688(%rsp)
				pushq	7688(%rsp)
				pushq	7688(%rsp)
				pushq	7688(%rsp)
				pushq	7688(%rsp)
				pushq	7688(%rsp)
				pushq	7688(%rsp)
				pushq	7688(%rsp)
				pushq	7688(%rsp)
				pushq	7688(%rsp)
				pushq	7688(%rsp)
				pushq	7688(%rsp)
				pushq	7688(%rsp)
				pushq	7688(%rsp)
				pushq	7688(%rsp)
				pushq	7688(%rsp)
				pushq	7688(%rsp)
				pushq	7688(%rsp)
				pushq	7688(%rsp)
				pushq	7688(%rsp)
				pushq	7688(%rsp)
				pushq	7688(%rsp)
				pushq	7688(%rsp)
				pushq	7688(%rsp)
				pushq	7688(%rsp)
				pushq	7688(%rsp)
				pushq	7688(%rsp)
				pushq	7688(%rsp)
				pushq	7688(%rsp)
				pushq	7688(%rsp)
				pushq	7688(%rsp)
				pushq	7688(%rsp)
				call	_imp_printstring@PLT
		.LVL92:
		.LBE1015:
		.LBE1014:
		.LBB1016:
  111     print fl (p1m, 4); print string (", ")
				movq	$8236, 38417(%rsp)
				movq	$0, 38425(%rsp)
				movb	$0, 38433(%rsp)
				movw	$0, 38434(%rsp)
				movl	$0, 38436(%rsp)
				leaq	38440(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$2, 38416(%rsp)
				movq	38416(%rsp), %rax
				movq	38424(%rsp), %rdx
				movq	%rax, 8208(%rsp)
				movq	%rdx, 8216(%rsp)
		.LVL96:
				movb	$2, 8208(%rsp)
		.LBE1021:
		.LBB1022:
		.LBB1023:
				pushq	38664(%rsp)
				pushq	38664(%rsp)
				pushq	38664(%rsp)
				pushq	38664(%rsp)
				pushq	38664(%rsp)
				pushq	38664(%rsp)
				pushq	38664(%rsp)
				pushq	38664(%rsp)
				pushq	38664(%rsp)
				pushq	38664(%rsp)
				pushq	38664(%rsp)
				pushq	38664(%rsp)
				pushq	38664(%rsp)
				pushq	38664(%rsp)
				pushq	38664(%rsp)
				pushq	38664(%rsp)
				pushq	38664(%rsp)
				pushq	38664(%rsp)
				pushq	38664(%rsp)
				pushq	38664(%rsp)
				pushq	38664(%rsp)
				pushq	38664(%rsp)
				pushq	38664(%rsp)
				pushq	38664(%rsp)
				pushq	38664(%rsp)
				pushq	38664(%rsp)
				pushq	38664(%rsp)
				pushq	38664(%rsp)
				pushq	38664(%rsp)
				pushq	38664(%rsp)
				pushq	8456(%rsp)
				pushq	8456(%rsp)
				call	_imp_printstring@PLT
		.LVL97:
		.LBE1023:
		.LBE1022:
		.LBB1024:
		.LBB1025:
				addq	$256, %rsp
				movl	$4, %edi
				pxor	%xmm0, %xmm0
				call	_imp_printfl@PLT
		.LVL98:
		.LBE1025:
		.LBE1024:
		.LBB1026:
  112     print fl (p2m, 4); print string (", ")
				movq	$8236, 38161(%rsp)
				movq	$0, 38169(%rsp)
				movb	$0, 38177(%rsp)
				movw	$0, 38178(%rsp)
				movl	$0, 38180(%rsp)
				leaq	38184(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$2, 38160(%rsp)
				movq	38160(%rsp), %rax
				movq	38168(%rsp), %rdx
				movq	%rax, 8464(%rsp)
				movq	%rdx, 8472(%rsp)
		.LVL99:
				movb	$2, 8464(%rsp)
		.LBE1026:
		.LBB1027:
		.LBB1028:
				pushq	38408(%rsp)
				pushq	38408(%rsp)
				pushq	38408(%rsp)
				pushq	38408(%rsp)
				pushq	38408(%rsp)
				pushq	38408(%rsp)
				pushq	38408(%rsp)
				pushq	38408(%rsp)
				pushq	38408(%rsp)
				pushq	38408(%rsp)
				pushq	38408(%rsp)
				pushq	38408(%rsp)
				pushq	38408(%rsp)
				pushq	38408(%rsp)
				pushq	38408(%rsp)
				pushq	38408(%rsp)
				pushq	38408(%rsp)
				pushq	38408(%rsp)
				pushq	38408(%rsp)
				pushq	38408(%rsp)
				pushq	38408(%rsp)
				pushq	38408(%rsp)
				pushq	38408(%rsp)
				pushq	38408(%rsp)
				pushq	38408(%rsp)
				pushq	38408(%rsp)
				pushq	38408(%rsp)
				pushq	38408(%rsp)
				pushq	38408(%rsp)
				pushq	38408(%rsp)
				pushq	8712(%rsp)
				pushq	8712(%rsp)
				call	_imp_printstring@PLT
		.LVL100:
		.LBE1028:
		.LBE1027:
		.LBB1029:
		.LBB1030:
				addq	$256, %rsp
				movl	$4, %edi
				pxor	%xmm0, %xmm0
				call	_imp_printfl@PLT
		.LVL101:
		.LBE1030:
		.LBE1029:
		.LBB1031:
  113     print fl (0, 4); print string (") --> bern ( ")
				movq	$8236, 37905(%rsp)
				movq	$0, 37913(%rsp)
				movb	$0, 37921(%rsp)
				movw	$0, 37922(%rsp)
				movl	$0, 37924(%rsp)
				leaq	37928(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$2, 37904(%rsp)
				movq	37904(%rsp), %rax
				movq	37912(%rsp), %rdx
				movq	%rax, 8720(%rsp)
				movq	%rdx, 8728(%rsp)
		.LVL102:
				movb	$2, 8720(%rsp)
		.LBE1031:
		.LBB1032:
		.LBB1033:
				pushq	38152(%rsp)
				pushq	38152(%rsp)
				pushq	38152(%rsp)
				pushq	38152(%rsp)
				pushq	38152(%rsp)
				pushq	38152(%rsp)
				pushq	38152(%rsp)
				pushq	38152(%rsp)
				pushq	38152(%rsp)
				pushq	38152(%rsp)
				pushq	38152(%rsp)
				pushq	38152(%rsp)
				pushq	38152(%rsp)
				pushq	38152(%rsp)
				pushq	38152(%rsp)
				pushq	38152(%rsp)
				pushq	38152(%rsp)
				pushq	38152(%rsp)
				pushq	38152(%rsp)
				pushq	38152(%rsp)
				pushq	38152(%rsp)
				pushq	38152(%rsp)
				pushq	38152(%rsp)
				pushq	38152(%rsp)
				pushq	38152(%rsp)
				pushq	38152(%rsp)
				pushq	38152(%rsp)
				pushq	38152(%rsp)
				pushq	38152(%rsp)
				pushq	38152(%rsp)
				pushq	8968(%rsp)
				pushq	8968(%rsp)
				call	_imp_printstring@PLT
		.LVL103:
		.LBE1033:
		.LBE1032:
		.LBB1034:
		.LBB1035:
				addq	$256, %rsp
				movl	$4, %edi
				pxor	%xmm0, %xmm0
				call	_imp_printfl@PLT
		.LVL104:
		.LBE1035:
		.LBE1034:
		.LBB1036:
  114     print fl (p0b3, 4); print string (", ")
				movq	%r14, 37649(%rsp)
				movq	%r15, 37657(%rsp)
				movb	$0, 37665(%rsp)
				movw	$0, 37666(%rsp)
				movl	$0, 37668(%rsp)
				leaq	37672(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$13, 37648(%rsp)
				movq	37648(%rsp), %rax
				movq	37656(%rsp), %rdx
				movq	%rax, 8976(%rsp)
				movq	%rdx, 8984(%rsp)
		.LVL105:
				movb	$13, 8976(%rsp)
		.LBE1036:
		.LBB1037:
		.LBB1038:
				pushq	37896(%rsp)
				pushq	37896(%rsp)
				pushq	37896(%rsp)
				pushq	37896(%rsp)
				pushq	37896(%rsp)
				pushq	37896(%rsp)
				pushq	37896(%rsp)
				pushq	37896(%rsp)
				pushq	37896(%rsp)
				pushq	37896(%rsp)
				pushq	37896(%rsp)
				pushq	37896(%rsp)
				pushq	37896(%rsp)
				pushq	37896(%rsp)
				pushq	37896(%rsp)
				pushq	37896(%rsp)
				pushq	37896(%rsp)
				pushq	37896(%rsp)
				pushq	37896(%rsp)
				pushq	37896(%rsp)
				pushq	37896(%rsp)
				pushq	37896(%rsp)
				pushq	37896(%rsp)
				pushq	37896(%rsp)
				pushq	37896(%rsp)
				pushq	37896(%rsp)
				pushq	37896(%rsp)
				pushq	37896(%rsp)
				pushq	37896(%rsp)
				pushq	37896(%rsp)
				pushq	9224(%rsp)
				pushq	9224(%rsp)
				call	_imp_printstring@PLT
		.LVL106:
		.LBE1038:
		.LBE1037:
		.LBB1039:
		.LBB1040:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC0(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL107:
		.LBE1040:
		.LBE1039:
		.LBB1041:
  115     print fl (p1b3, 4); print string (", ")
				movq	$8236, 37393(%rsp)
				movq	$0, 37401(%rsp)
				movb	$0, 37409(%rsp)
				movw	$0, 37410(%rsp)
				movl	$0, 37412(%rsp)
				leaq	37416(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$2, 37392(%rsp)
				movq	37392(%rsp), %rax
				movq	37400(%rsp), %rdx
				movq	%rax, 9232(%rsp)
				movq	%rdx, 9240(%rsp)
		.LVL108:
				movb	$2, 9232(%rsp)
		.LBE1041:
		.LBB1042:
		.LBB1043:
				pushq	37640(%rsp)
				pushq	37640(%rsp)
				pushq	37640(%rsp)
				pushq	37640(%rsp)
				pushq	37640(%rsp)
				pushq	37640(%rsp)
				pushq	37640(%rsp)
				pushq	37640(%rsp)
				pushq	37640(%rsp)
				pushq	37640(%rsp)
				pushq	37640(%rsp)
				pushq	37640(%rsp)
				pushq	37640(%rsp)
				pushq	37640(%rsp)
				pushq	37640(%rsp)
				pushq	37640(%rsp)
				pushq	37640(%rsp)
				pushq	37640(%rsp)
				pushq	37640(%rsp)
				pushq	37640(%rsp)
				pushq	37640(%rsp)
				pushq	37640(%rsp)
				pushq	37640(%rsp)
				pushq	37640(%rsp)
				pushq	37640(%rsp)
				pushq	37640(%rsp)
				pushq	37640(%rsp)
				pushq	37640(%rsp)
				pushq	37640(%rsp)
				pushq	37640(%rsp)
				pushq	9480(%rsp)
				pushq	9480(%rsp)
				call	_imp_printstring@PLT
		.LVL109:
		.LBE1043:
		.LBE1042:
		.LBB1044:
		.LBB1045:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC0(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL110:
		.LBE1045:
		.LBE1044:
		.LBB1046:
  116     print fl (p2b3, 4); print string (", ")
				movq	$8236, 37137(%rsp)
				movq	$0, 37145(%rsp)
				movb	$0, 37153(%rsp)
				movw	$0, 37154(%rsp)
				movl	$0, 37156(%rsp)
				leaq	37160(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$2, 37136(%rsp)
				movq	37136(%rsp), %rax
				movq	37144(%rsp), %rdx
				movq	%rax, 9488(%rsp)
				movq	%rdx, 9496(%rsp)
		.LVL111:
				movb	$2, 9488(%rsp)
		.LBE1046:
		.LBB1047:
		.LBB1048:
				pushq	37384(%rsp)
				pushq	37384(%rsp)
				pushq	37384(%rsp)
				pushq	37384(%rsp)
				pushq	37384(%rsp)
				pushq	37384(%rsp)
				pushq	37384(%rsp)
				pushq	37384(%rsp)
				pushq	37384(%rsp)
				pushq	37384(%rsp)
				pushq	37384(%rsp)
				pushq	37384(%rsp)
				pushq	37384(%rsp)
				pushq	37384(%rsp)
				pushq	37384(%rsp)
				pushq	37384(%rsp)
				pushq	37384(%rsp)
				pushq	37384(%rsp)
				pushq	37384(%rsp)
				pushq	37384(%rsp)
				pushq	37384(%rsp)
				pushq	37384(%rsp)
				pushq	37384(%rsp)
				pushq	37384(%rsp)
				pushq	37384(%rsp)
				pushq	37384(%rsp)
				pushq	37384(%rsp)
				pushq	37384(%rsp)
				pushq	37384(%rsp)
				pushq	37384(%rsp)
				pushq	9736(%rsp)
				pushq	9736(%rsp)
				call	_imp_printstring@PLT
		.LVL112:
		.LBE1048:
		.LBE1047:
		.LBB1049:
		.LBB1050:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC0(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL113:
		.LBE1050:
		.LBE1049:
		.LBB1051:
  117     print fl (p3b3, 4); print string (")".snl)
				movq	$8236, 36881(%rsp)
				movq	$0, 36889(%rsp)
				movb	$0, 36897(%rsp)
				movw	$0, 36898(%rsp)
				movl	$0, 36900(%rsp)
				leaq	36904(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$2, 36880(%rsp)
				movq	36880(%rsp), %rax
				movq	36888(%rsp), %rdx
				movq	%rax, 9744(%rsp)
				movq	%rdx, 9752(%rsp)
		.LVL114:
				movb	$2, 9744(%rsp)
		.LBE1051:
		.LBB1052:
		.LBB1053:
				pushq	37128(%rsp)
				pushq	37128(%rsp)
				pushq	37128(%rsp)
				pushq	37128(%rsp)
				pushq	37128(%rsp)
				pushq	37128(%rsp)
				pushq	37128(%rsp)
				pushq	37128(%rsp)
				pushq	37128(%rsp)
				pushq	37128(%rsp)
				pushq	37128(%rsp)
				pushq	37128(%rsp)
				pushq	37128(%rsp)
				pushq	37128(%rsp)
				pushq	37128(%rsp)
				pushq	37128(%rsp)
				pushq	37128(%rsp)
				pushq	37128(%rsp)
				pushq	37128(%rsp)
				pushq	37128(%rsp)
				pushq	37128(%rsp)
				pushq	37128(%rsp)
				pushq	37128(%rsp)
				pushq	37128(%rsp)
				pushq	37128(%rsp)
				pushq	37128(%rsp)
				pushq	37128(%rsp)
				pushq	37128(%rsp)
				pushq	37128(%rsp)
				pushq	37128(%rsp)
				pushq	9992(%rsp)
				pushq	9992(%rsp)
				call	_imp_printstring@PLT
		.LVL115:
		.LBE1053:
		.LBE1052:
		.LBB1054:
		.LBB1055:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC0(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL116:
		.LBE1055:
		.LBE1054:
		.LBB1056:
		.LBB1057:
  118     print string ("  mono ( ")
				movq	%r12, 36625(%rsp)
				movq	%r13, 36633(%rsp)
				movb	$0, 36641(%rsp)
				movw	$0, 36642(%rsp)
				movl	$0, 36644(%rsp)
				leaq	36648(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$9, 36624(%rsp)
				movq	36624(%rsp), %rax
				movq	36632(%rsp), %rdx
				movq	%rax, 10768(%rsp)
				movq	%rdx, 10776(%rsp)
		.LVL119:
				movb	$9, 10768(%rsp)
		.LBE1060:
		.LBB1061:
		.LBB1062:
				addq	$256, %rsp
				pushq	36616(%rsp)
				pushq	36616(%rsp)
				pushq	36616(%rsp)
				pushq	36616(%rsp)
				pushq	36616(%rsp)
				pushq	36616(%rsp)
				pushq	36616(%rsp)
				pushq	36616(%rsp)
				pushq	36616(%rsp)
				pushq	36616(%rsp)
				pushq	36616(%rsp)
				pushq	36616(%rsp)
				pushq	36616(%rsp)
				pushq	36616(%rsp)
				pushq	36616(%rsp)
				pushq	36616(%rsp)
				pushq	36616(%rsp)
				pushq	36616(%rsp)
				pushq	36616(%rsp)
				pushq	36616(%rsp)
				pushq	36616(%rsp)
				pushq	36616(%rsp)
				pushq	36616(%rsp)
				pushq	36616(%rsp)
				pushq	36616(%rsp)
				pushq	36616(%rsp)
				pushq	36616(%rsp)
				pushq	36616(%rsp)
				pushq	36616(%rsp)
				pushq	36616(%rsp)
				pushq	10760(%rsp)
				pushq	10760(%rsp)
				call	_imp_printstring@PLT
		.LVL120:
		.LBE1062:
		.LBE1061:
		.LBB1063:
		.LBB1064:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC0(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL121:
		.LBE1064:
		.LBE1063:
		.LBB1065:
				movq	$8236, 36113(%rsp)
				movq	$0, 36121(%rsp)
				movb	$0, 36129(%rsp)
				movw	$0, 36130(%rsp)
				movl	$0, 36132(%rsp)
				leaq	36136(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$2, 36112(%rsp)
				movq	36112(%rsp), %rax
				movq	36120(%rsp), %rdx
				movq	%rax, 10768(%rsp)
				movq	%rdx, 10776(%rsp)
		.LVL122:
				movb	$2, 10768(%rsp)
		.LBE1065:
		.LBB1066:
		.LBB1067:
				pushq	36360(%rsp)
				pushq	36360(%rsp)
				pushq	36360(%rsp)
				pushq	36360(%rsp)
				pushq	36360(%rsp)
				pushq	36360(%rsp)
				pushq	36360(%rsp)
				pushq	36360(%rsp)
				pushq	36360(%rsp)
				pushq	36360(%rsp)
				pushq	36360(%rsp)
				pushq	36360(%rsp)
				pushq	36360(%rsp)
				pushq	36360(%rsp)
				pushq	36360(%rsp)
				pushq	36360(%rsp)
				pushq	36360(%rsp)
				pushq	36360(%rsp)
				pushq	36360(%rsp)
				pushq	36360(%rsp)
				pushq	36360(%rsp)
				pushq	36360(%rsp)
				pushq	36360(%rsp)
				pushq	36360(%rsp)
				pushq	36360(%rsp)
				pushq	36360(%rsp)
				pushq	36360(%rsp)
				pushq	36360(%rsp)
				pushq	36360(%rsp)
				pushq	36360(%rsp)
				pushq	11016(%rsp)
				pushq	11016(%rsp)
				call	_imp_printstring@PLT
		.LVL123:
		.LBE1067:
		.LBE1066:
		.LBB1068:
		.LBB1069:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC2(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL124:
		.LBE1069:
		.LBE1068:
		.LBB1070:
  119     print fl (q0m, 4); print string (", ")
  120     print fl (q1m, 4); print string (", ")
				leaq	36624(%rsp), %rdi
				leaq	16(%rsp), %rbp
				leaq	10256(%rsp), %rsi
				movq	%rbp, %rdx
				call	_imp_join@PLT
		.LVL117:
		.LBE1057:
		.LBE1056:
		.LBB1058:
		.LBB1059:
				pushq	10248(%rsp)
				pushq	10248(%rsp)
				pushq	10248(%rsp)
				pushq	10248(%rsp)
				pushq	10248(%rsp)
				pushq	10248(%rsp)
				pushq	10248(%rsp)
				pushq	10248(%rsp)
				pushq	10248(%rsp)
				pushq	10248(%rsp)
				pushq	10248(%rsp)
				pushq	10248(%rsp)
				pushq	10248(%rsp)
				pushq	10248(%rsp)
				pushq	10248(%rsp)
				pushq	10248(%rsp)
				pushq	10248(%rsp)
				pushq	10248(%rsp)
				pushq	10248(%rsp)
				pushq	10248(%rsp)
				pushq	10248(%rsp)
				pushq	10248(%rsp)
				pushq	10248(%rsp)
				pushq	10248(%rsp)
				pushq	10248(%rsp)
				pushq	10248(%rsp)
				pushq	10248(%rsp)
				pushq	10248(%rsp)
				pushq	10248(%rsp)
				pushq	10248(%rsp)
				pushq	10248(%rsp)
				pushq	10248(%rsp)
				call	_imp_printstring@PLT
		.LVL118:
		.LBE1059:
		.LBE1058:
		.LBB1060:
  121     print fl (q2m, 4); print string (", ")
				movq	$8236, 35857(%rsp)
				movq	$0, 35865(%rsp)
				movb	$0, 35873(%rsp)
				movw	$0, 35874(%rsp)
				movl	$0, 35876(%rsp)
				leaq	35880(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$2, 35856(%rsp)
				movq	35856(%rsp), %rax
				movq	35864(%rsp), %rdx
				movq	%rax, 11024(%rsp)
				movq	%rdx, 11032(%rsp)
		.LVL125:
				movb	$2, 11024(%rsp)
		.LBE1070:
		.LBB1071:
		.LBB1072:
				pushq	36104(%rsp)
				pushq	36104(%rsp)
				pushq	36104(%rsp)
				pushq	36104(%rsp)
				pushq	36104(%rsp)
				pushq	36104(%rsp)
				pushq	36104(%rsp)
				pushq	36104(%rsp)
				pushq	36104(%rsp)
				pushq	36104(%rsp)
				pushq	36104(%rsp)
				pushq	36104(%rsp)
				pushq	36104(%rsp)
				pushq	36104(%rsp)
				pushq	36104(%rsp)
				pushq	36104(%rsp)
				pushq	36104(%rsp)
				pushq	36104(%rsp)
				pushq	36104(%rsp)
				pushq	36104(%rsp)
				pushq	36104(%rsp)
				pushq	36104(%rsp)
				pushq	36104(%rsp)
				pushq	36104(%rsp)
				pushq	36104(%rsp)
				pushq	36104(%rsp)
				pushq	36104(%rsp)
				pushq	36104(%rsp)
				pushq	36104(%rsp)
				pushq	36104(%rsp)
				pushq	11272(%rsp)
				pushq	11272(%rsp)
				call	_imp_printstring@PLT
		.LVL126:
		.LBE1072:
		.LBE1071:
		.LBB1073:
		.LBB1074:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC3(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL127:
		.LBE1074:
		.LBE1073:
		.LBB1075:
  122     print fl (0, 4); print string (") --> bern ( ")
				movq	$8236, 35601(%rsp)
				movq	$0, 35609(%rsp)
				movb	$0, 35617(%rsp)
				movw	$0, 35618(%rsp)
				movl	$0, 35620(%rsp)
				leaq	35624(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$2, 35600(%rsp)
				movq	35600(%rsp), %rax
				movq	35608(%rsp), %rdx
				movq	%rax, 11280(%rsp)
				movq	%rdx, 11288(%rsp)
		.LVL128:
				movb	$2, 11280(%rsp)
		.LBE1075:
		.LBB1076:
		.LBB1077:
				pushq	35848(%rsp)
				pushq	35848(%rsp)
				pushq	35848(%rsp)
				pushq	35848(%rsp)
				pushq	35848(%rsp)
				pushq	35848(%rsp)
				pushq	35848(%rsp)
				pushq	35848(%rsp)
				pushq	35848(%rsp)
				pushq	35848(%rsp)
				pushq	35848(%rsp)
				pushq	35848(%rsp)
				pushq	35848(%rsp)
				pushq	35848(%rsp)
				pushq	35848(%rsp)
				pushq	35848(%rsp)
				pushq	35848(%rsp)
				pushq	35848(%rsp)
				pushq	35848(%rsp)
				pushq	35848(%rsp)
				pushq	35848(%rsp)
				pushq	35848(%rsp)
				pushq	35848(%rsp)
				pushq	35848(%rsp)
				pushq	35848(%rsp)
				pushq	35848(%rsp)
				pushq	35848(%rsp)
				pushq	35848(%rsp)
				pushq	35848(%rsp)
				pushq	35848(%rsp)
				pushq	11528(%rsp)
				pushq	11528(%rsp)
				call	_imp_printstring@PLT
		.LVL129:
		.LBE1077:
		.LBE1076:
		.LBB1078:
		.LBB1079:
				addq	$256, %rsp
				movl	$4, %edi
				pxor	%xmm0, %xmm0
				call	_imp_printfl@PLT
		.LVL130:
		.LBE1079:
		.LBE1078:
		.LBB1080:
  123     print fl (q0b3, 4); print string (", ")
				movq	%r14, 35345(%rsp)
				movq	%r15, 35353(%rsp)
				movb	$0, 35361(%rsp)
				movw	$0, 35362(%rsp)
				movl	$0, 35364(%rsp)
				leaq	35368(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$13, 35344(%rsp)
				movq	35344(%rsp), %rax
				movq	35352(%rsp), %rdx
				movq	%rax, 11536(%rsp)
				movq	%rdx, 11544(%rsp)
		.LVL131:
				movb	$13, 11536(%rsp)
		.LBE1080:
		.LBB1081:
		.LBB1082:
				pushq	35592(%rsp)
				pushq	35592(%rsp)
				pushq	35592(%rsp)
				pushq	35592(%rsp)
				pushq	35592(%rsp)
				pushq	35592(%rsp)
				pushq	35592(%rsp)
				pushq	35592(%rsp)
				pushq	35592(%rsp)
				pushq	35592(%rsp)
				pushq	35592(%rsp)
				pushq	35592(%rsp)
				pushq	35592(%rsp)
				pushq	35592(%rsp)
				pushq	35592(%rsp)
				pushq	35592(%rsp)
				pushq	35592(%rsp)
				pushq	35592(%rsp)
				pushq	35592(%rsp)
				pushq	35592(%rsp)
				pushq	35592(%rsp)
				pushq	35592(%rsp)
				pushq	35592(%rsp)
				pushq	35592(%rsp)
				pushq	35592(%rsp)
				pushq	35592(%rsp)
				pushq	35592(%rsp)
				pushq	35592(%rsp)
				pushq	35592(%rsp)
				pushq	35592(%rsp)
				pushq	11784(%rsp)
				pushq	11784(%rsp)
				call	_imp_printstring@PLT
		.LVL132:
		.LBE1082:
		.LBE1081:
		.LBB1083:
		.LBB1084:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC0(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL133:
		.LBE1084:
		.LBE1083:
		.LBB1085:
  124     print fl (q1b3, 4); print string (", ")
				movq	$8236, 35089(%rsp)
				movq	$0, 35097(%rsp)
				movb	$0, 35105(%rsp)
				movw	$0, 35106(%rsp)
				movl	$0, 35108(%rsp)
				leaq	35112(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$2, 35088(%rsp)
				movq	35088(%rsp), %rax
				movq	35096(%rsp), %rdx
				movq	%rax, 11792(%rsp)
				movq	%rdx, 11800(%rsp)
		.LVL134:
				movb	$2, 11792(%rsp)
		.LBE1085:
		.LBB1086:
		.LBB1087:
				pushq	35336(%rsp)
				pushq	35336(%rsp)
				pushq	35336(%rsp)
				pushq	35336(%rsp)
				pushq	35336(%rsp)
				pushq	35336(%rsp)
				pushq	35336(%rsp)
				pushq	35336(%rsp)
				pushq	35336(%rsp)
				pushq	35336(%rsp)
				pushq	35336(%rsp)
				pushq	35336(%rsp)
				pushq	35336(%rsp)
				pushq	35336(%rsp)
				pushq	35336(%rsp)
				pushq	35336(%rsp)
				pushq	35336(%rsp)
				pushq	35336(%rsp)
				pushq	35336(%rsp)
				pushq	35336(%rsp)
				pushq	35336(%rsp)
				pushq	35336(%rsp)
				pushq	35336(%rsp)
				pushq	35336(%rsp)
				pushq	35336(%rsp)
				pushq	35336(%rsp)
				pushq	35336(%rsp)
				pushq	35336(%rsp)
				pushq	35336(%rsp)
				pushq	35336(%rsp)
				pushq	12040(%rsp)
				pushq	12040(%rsp)
				call	_imp_printstring@PLT
		.LVL135:
		.LBE1087:
		.LBE1086:
		.LBB1088:
		.LBB1089:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC9(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL136:
		.LBE1089:
		.LBE1088:
		.LBB1090:
  125     print fl (q2b3, 4); print string (", ")
				movq	$8236, 34833(%rsp)
				movq	$0, 34841(%rsp)
				movb	$0, 34849(%rsp)
				movw	$0, 34850(%rsp)
				movl	$0, 34852(%rsp)
				leaq	34856(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$2, 34832(%rsp)
				movq	34832(%rsp), %rax
				movq	34840(%rsp), %rdx
				movq	%rax, 12048(%rsp)
				movq	%rdx, 12056(%rsp)
		.LVL137:
				movb	$2, 12048(%rsp)
		.LBE1090:
		.LBB1091:
		.LBB1092:
				pushq	35080(%rsp)
				pushq	35080(%rsp)
				pushq	35080(%rsp)
				pushq	35080(%rsp)
				pushq	35080(%rsp)
				pushq	35080(%rsp)
				pushq	35080(%rsp)
				pushq	35080(%rsp)
				pushq	35080(%rsp)
				pushq	35080(%rsp)
				pushq	35080(%rsp)
				pushq	35080(%rsp)
				pushq	35080(%rsp)
				pushq	35080(%rsp)
				pushq	35080(%rsp)
				pushq	35080(%rsp)
				pushq	35080(%rsp)
				pushq	35080(%rsp)
				pushq	35080(%rsp)
				pushq	35080(%rsp)
				pushq	35080(%rsp)
				pushq	35080(%rsp)
				pushq	35080(%rsp)
				pushq	35080(%rsp)
				pushq	35080(%rsp)
				pushq	35080(%rsp)
				pushq	35080(%rsp)
				pushq	35080(%rsp)
				pushq	35080(%rsp)
				pushq	35080(%rsp)
				pushq	12296(%rsp)
				pushq	12296(%rsp)
				call	_imp_printstring@PLT
		.LVL138:
		.LBE1092:
		.LBE1091:
		.LBB1093:
		.LBB1094:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC10(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL139:
		.LBE1094:
		.LBE1093:
		.LBB1095:
  126     print fl (q3b3, 4); print string (")".snl)
				movq	$8236, 34577(%rsp)
				movq	$0, 34585(%rsp)
				movb	$0, 34593(%rsp)
				movw	$0, 34594(%rsp)
				movl	$0, 34596(%rsp)
				leaq	34600(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$2, 34576(%rsp)
				movq	34576(%rsp), %rax
				movq	34584(%rsp), %rdx
				movq	%rax, 12304(%rsp)
				movq	%rdx, 12312(%rsp)
		.LVL140:
				movb	$2, 12304(%rsp)
		.LBE1095:
		.LBB1096:
		.LBB1097:
				pushq	34824(%rsp)
				pushq	34824(%rsp)
				pushq	34824(%rsp)
				pushq	34824(%rsp)
				pushq	34824(%rsp)
				pushq	34824(%rsp)
				pushq	34824(%rsp)
				pushq	34824(%rsp)
				pushq	34824(%rsp)
				pushq	34824(%rsp)
				pushq	34824(%rsp)
				pushq	34824(%rsp)
				pushq	34824(%rsp)
				pushq	34824(%rsp)
				pushq	34824(%rsp)
				pushq	34824(%rsp)
				pushq	34824(%rsp)
				pushq	34824(%rsp)
				pushq	34824(%rsp)
				pushq	34824(%rsp)
				pushq	34824(%rsp)
				pushq	34824(%rsp)
				pushq	34824(%rsp)
				pushq	34824(%rsp)
				pushq	34824(%rsp)
				pushq	34824(%rsp)
				pushq	34824(%rsp)
				pushq	34824(%rsp)
				pushq	34824(%rsp)
				pushq	34824(%rsp)
				pushq	12552(%rsp)
				pushq	12552(%rsp)
				call	_imp_printstring@PLT
		.LVL141:
		.LBE1097:
		.LBE1096:
		.LBB1098:
		.LBB1099:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC4(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL142:
		.LBE1099:
		.LBE1098:
		.LBB1100:
		.LBB1101:
  127     print string ("  mono ( ")
				movq	%r12, 34321(%rsp)
				movq	%r13, 34329(%rsp)
				movb	$0, 34337(%rsp)
				movw	$0, 34338(%rsp)
				movl	$0, 34340(%rsp)
				leaq	34344(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$9, 34320(%rsp)
				movq	34320(%rsp), %rax
				movq	34328(%rsp), %rdx
				movq	%rax, 13328(%rsp)
				movq	%rdx, 13336(%rsp)
		.LVL145:
				movb	$9, 13328(%rsp)
		.LBE1104:
		.LBB1105:
		.LBB1106:
				addq	$256, %rsp
				pushq	34312(%rsp)
				pushq	34312(%rsp)
				pushq	34312(%rsp)
				pushq	34312(%rsp)
				pushq	34312(%rsp)
				pushq	34312(%rsp)
				pushq	34312(%rsp)
				pushq	34312(%rsp)
				pushq	34312(%rsp)
				pushq	34312(%rsp)
				pushq	34312(%rsp)
				pushq	34312(%rsp)
				pushq	34312(%rsp)
				pushq	34312(%rsp)
				pushq	34312(%rsp)
				pushq	34312(%rsp)
				pushq	34312(%rsp)
				pushq	34312(%rsp)
				pushq	34312(%rsp)
				pushq	34312(%rsp)
				pushq	34312(%rsp)
				pushq	34312(%rsp)
				pushq	34312(%rsp)
				pushq	34312(%rsp)
				pushq	34312(%rsp)
				pushq	34312(%rsp)
				pushq	34312(%rsp)
				pushq	34312(%rsp)
				pushq	34312(%rsp)
				pushq	34312(%rsp)
				pushq	13320(%rsp)
				pushq	13320(%rsp)
				call	_imp_printstring@PLT
		.LVL146:
		.LBE1106:
		.LBE1105:
		.LBB1107:
		.LBB1108:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC0(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL147:
		.LBE1108:
		.LBE1107:
		.LBB1109:
				movq	$8236, 33809(%rsp)
				movq	$0, 33817(%rsp)
				movb	$0, 33825(%rsp)
				movw	$0, 33826(%rsp)
				movl	$0, 33828(%rsp)
				leaq	33832(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$2, 33808(%rsp)
				movq	33808(%rsp), %rax
				movq	33816(%rsp), %rdx
				movq	%rax, 13328(%rsp)
				movq	%rdx, 13336(%rsp)
		.LVL148:
				movb	$2, 13328(%rsp)
		.LBE1109:
		.LBB1110:
		.LBB1111:
				pushq	34056(%rsp)
				pushq	34056(%rsp)
				pushq	34056(%rsp)
				pushq	34056(%rsp)
				pushq	34056(%rsp)
				pushq	34056(%rsp)
				pushq	34056(%rsp)
				pushq	34056(%rsp)
				pushq	34056(%rsp)
				pushq	34056(%rsp)
				pushq	34056(%rsp)
				pushq	34056(%rsp)
				pushq	34056(%rsp)
				pushq	34056(%rsp)
				pushq	34056(%rsp)
				pushq	34056(%rsp)
				pushq	34056(%rsp)
				pushq	34056(%rsp)
				pushq	34056(%rsp)
				pushq	34056(%rsp)
				pushq	34056(%rsp)
				pushq	34056(%rsp)
				pushq	34056(%rsp)
				pushq	34056(%rsp)
				pushq	34056(%rsp)
				pushq	34056(%rsp)
				pushq	34056(%rsp)
				pushq	34056(%rsp)
				pushq	34056(%rsp)
				pushq	34056(%rsp)
				pushq	13576(%rsp)
				pushq	13576(%rsp)
				call	_imp_printstring@PLT
		.LVL149:
		.LBE1111:
		.LBE1110:
		.LBB1112:
		.LBB1113:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC2(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL150:
		.LBE1113:
		.LBE1112:
		.LBB1114:
  128     print fl (r0m, 4); print string (", ")
  129     print fl (r1m, 4); print string (", ")
				leaq	34320(%rsp), %rdi
				leaq	12816(%rsp), %rsi
				movq	%rbp, %rdx
				call	_imp_join@PLT
		.LVL143:
		.LBE1101:
		.LBE1100:
		.LBB1102:
		.LBB1103:
				pushq	12808(%rsp)
				pushq	12808(%rsp)
				pushq	12808(%rsp)
				pushq	12808(%rsp)
				pushq	12808(%rsp)
				pushq	12808(%rsp)
				pushq	12808(%rsp)
				pushq	12808(%rsp)
				pushq	12808(%rsp)
				pushq	12808(%rsp)
				pushq	12808(%rsp)
				pushq	12808(%rsp)
				pushq	12808(%rsp)
				pushq	12808(%rsp)
				pushq	12808(%rsp)
				pushq	12808(%rsp)
				pushq	12808(%rsp)
				pushq	12808(%rsp)
				pushq	12808(%rsp)
				pushq	12808(%rsp)
				pushq	12808(%rsp)
				pushq	12808(%rsp)
				pushq	12808(%rsp)
				pushq	12808(%rsp)
				pushq	12808(%rsp)
				pushq	12808(%rsp)
				pushq	12808(%rsp)
				pushq	12808(%rsp)
				pushq	12808(%rsp)
				pushq	12808(%rsp)
				pushq	12808(%rsp)
				pushq	12808(%rsp)
				call	_imp_printstring@PLT
		.LVL144:
		.LBE1103:
		.LBE1102:
		.LBB1104:
  130     print fl (r2m, 4); print string (", ")
				movq	$8236, 33553(%rsp)
				movq	$0, 33561(%rsp)
				movb	$0, 33569(%rsp)
				movw	$0, 33570(%rsp)
				movl	$0, 33572(%rsp)
				leaq	33576(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$2, 33552(%rsp)
				movq	33552(%rsp), %rax
				movq	33560(%rsp), %rdx
				movq	%rax, 13584(%rsp)
				movq	%rdx, 13592(%rsp)
		.LVL151:
				movb	$2, 13584(%rsp)
		.LBE1114:
		.LBB1115:
		.LBB1116:
				pushq	33800(%rsp)
				pushq	33800(%rsp)
				pushq	33800(%rsp)
				pushq	33800(%rsp)
				pushq	33800(%rsp)
				pushq	33800(%rsp)
				pushq	33800(%rsp)
				pushq	33800(%rsp)
				pushq	33800(%rsp)
				pushq	33800(%rsp)
				pushq	33800(%rsp)
				pushq	33800(%rsp)
				pushq	33800(%rsp)
				pushq	33800(%rsp)
				pushq	33800(%rsp)
				pushq	33800(%rsp)
				pushq	33800(%rsp)
				pushq	33800(%rsp)
				pushq	33800(%rsp)
				pushq	33800(%rsp)
				pushq	33800(%rsp)
				pushq	33800(%rsp)
				pushq	33800(%rsp)
				pushq	33800(%rsp)
				pushq	33800(%rsp)
				pushq	33800(%rsp)
				pushq	33800(%rsp)
				pushq	33800(%rsp)
				pushq	33800(%rsp)
				pushq	33800(%rsp)
				pushq	13832(%rsp)
				pushq	13832(%rsp)
				call	_imp_printstring@PLT
		.LVL152:
		.LBE1116:
		.LBE1115:
		.LBB1117:
		.LBB1118:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC3(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL153:
		.LBE1118:
		.LBE1117:
		.LBB1119:
  131     print fl (r3m, 4); print string (") --> bern ( ")
				movq	$8236, 33297(%rsp)
				movq	$0, 33305(%rsp)
				movb	$0, 33313(%rsp)
				movw	$0, 33314(%rsp)
				movl	$0, 33316(%rsp)
				leaq	33320(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$2, 33296(%rsp)
				movq	33296(%rsp), %rax
				movq	33304(%rsp), %rdx
				movq	%rax, 13840(%rsp)
				movq	%rdx, 13848(%rsp)
		.LVL154:
				movb	$2, 13840(%rsp)
		.LBE1119:
		.LBB1120:
		.LBB1121:
				pushq	33544(%rsp)
				pushq	33544(%rsp)
				pushq	33544(%rsp)
				pushq	33544(%rsp)
				pushq	33544(%rsp)
				pushq	33544(%rsp)
				pushq	33544(%rsp)
				pushq	33544(%rsp)
				pushq	33544(%rsp)
				pushq	33544(%rsp)
				pushq	33544(%rsp)
				pushq	33544(%rsp)
				pushq	33544(%rsp)
				pushq	33544(%rsp)
				pushq	33544(%rsp)
				pushq	33544(%rsp)
				pushq	33544(%rsp)
				pushq	33544(%rsp)
				pushq	33544(%rsp)
				pushq	33544(%rsp)
				pushq	33544(%rsp)
				pushq	33544(%rsp)
				pushq	33544(%rsp)
				pushq	33544(%rsp)
				pushq	33544(%rsp)
				pushq	33544(%rsp)
				pushq	33544(%rsp)
				pushq	33544(%rsp)
				pushq	33544(%rsp)
				pushq	33544(%rsp)
				pushq	14088(%rsp)
				pushq	14088(%rsp)
				call	_imp_printstring@PLT
		.LVL155:
		.LBE1121:
		.LBE1120:
		.LBB1122:
		.LBB1123:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC11(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL156:
		.LBE1123:
		.LBE1122:
		.LBB1124:
  132     print fl (r0b3, 4); print string (", ")
				movq	%r14, 33041(%rsp)
				movq	%r15, 33049(%rsp)
				movb	$0, 33057(%rsp)
				movw	$0, 33058(%rsp)
				movl	$0, 33060(%rsp)
				leaq	33064(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$13, 33040(%rsp)
				movq	33040(%rsp), %rax
				movq	33048(%rsp), %rdx
				movq	%rax, 14096(%rsp)
				movq	%rdx, 14104(%rsp)
		.LVL157:
				movb	$13, 14096(%rsp)
		.LBE1124:
		.LBB1125:
		.LBB1126:
				pushq	33288(%rsp)
				pushq	33288(%rsp)
				pushq	33288(%rsp)
				pushq	33288(%rsp)
				pushq	33288(%rsp)
				pushq	33288(%rsp)
				pushq	33288(%rsp)
				pushq	33288(%rsp)
				pushq	33288(%rsp)
				pushq	33288(%rsp)
				pushq	33288(%rsp)
				pushq	33288(%rsp)
				pushq	33288(%rsp)
				pushq	33288(%rsp)
				pushq	33288(%rsp)
				pushq	33288(%rsp)
				pushq	33288(%rsp)
				pushq	33288(%rsp)
				pushq	33288(%rsp)
				pushq	33288(%rsp)
				pushq	33288(%rsp)
				pushq	33288(%rsp)
				pushq	33288(%rsp)
				pushq	33288(%rsp)
				pushq	33288(%rsp)
				pushq	33288(%rsp)
				pushq	33288(%rsp)
				pushq	33288(%rsp)
				pushq	33288(%rsp)
				pushq	33288(%rsp)
				pushq	14344(%rsp)
				pushq	14344(%rsp)
				call	_imp_printstring@PLT
		.LVL158:
		.LBE1126:
		.LBE1125:
		.LBB1127:
		.LBB1128:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC0(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL159:
		.LBE1128:
		.LBE1127:
		.LBB1129:
  133     print fl (r1b3, 4); print string (", ")
				movq	$8236, 32785(%rsp)
				movq	$0, 32793(%rsp)
				movb	$0, 32801(%rsp)
				movw	$0, 32802(%rsp)
				movl	$0, 32804(%rsp)
				leaq	32808(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$2, 32784(%rsp)
				movq	32784(%rsp), %rax
				movq	32792(%rsp), %rdx
				movq	%rax, 14352(%rsp)
				movq	%rdx, 14360(%rsp)
		.LVL160:
				movb	$2, 14352(%rsp)
		.LBE1129:
		.LBB1130:
		.LBB1131:
				pushq	33032(%rsp)
				pushq	33032(%rsp)
				pushq	33032(%rsp)
				pushq	33032(%rsp)
				pushq	33032(%rsp)
				pushq	33032(%rsp)
				pushq	33032(%rsp)
				pushq	33032(%rsp)
				pushq	33032(%rsp)
				pushq	33032(%rsp)
				pushq	33032(%rsp)
				pushq	33032(%rsp)
				pushq	33032(%rsp)
				pushq	33032(%rsp)
				pushq	33032(%rsp)
				pushq	33032(%rsp)
				pushq	33032(%rsp)
				pushq	33032(%rsp)
				pushq	33032(%rsp)
				pushq	33032(%rsp)
				pushq	33032(%rsp)
				pushq	33032(%rsp)
				pushq	33032(%rsp)
				pushq	33032(%rsp)
				pushq	33032(%rsp)
				pushq	33032(%rsp)
				pushq	33032(%rsp)
				pushq	33032(%rsp)
				pushq	33032(%rsp)
				pushq	33032(%rsp)
				pushq	14600(%rsp)
				pushq	14600(%rsp)
				call	_imp_printstring@PLT
		.LVL161:
		.LBE1131:
		.LBE1130:
		.LBB1132:
		.LBB1133:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC9(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL162:
		.LBE1133:
		.LBE1132:
		.LBB1134:
  134     print fl (r2b3, 4); print string (", ")
				movq	$8236, 32529(%rsp)
				movq	$0, 32537(%rsp)
				movb	$0, 32545(%rsp)
				movw	$0, 32546(%rsp)
				movl	$0, 32548(%rsp)
				leaq	32552(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$2, 32528(%rsp)
				movq	32528(%rsp), %rax
				movq	32536(%rsp), %rdx
				movq	%rax, 14608(%rsp)
				movq	%rdx, 14616(%rsp)
		.LVL163:
				movb	$2, 14608(%rsp)
		.LBE1134:
		.LBB1135:
		.LBB1136:
				pushq	32776(%rsp)
				pushq	32776(%rsp)
				pushq	32776(%rsp)
				pushq	32776(%rsp)
				pushq	32776(%rsp)
				pushq	32776(%rsp)
				pushq	32776(%rsp)
				pushq	32776(%rsp)
				pushq	32776(%rsp)
				pushq	32776(%rsp)
				pushq	32776(%rsp)
				pushq	32776(%rsp)
				pushq	32776(%rsp)
				pushq	32776(%rsp)
				pushq	32776(%rsp)
				pushq	32776(%rsp)
				pushq	32776(%rsp)
				pushq	32776(%rsp)
				pushq	32776(%rsp)
				pushq	32776(%rsp)
				pushq	32776(%rsp)
				pushq	32776(%rsp)
				pushq	32776(%rsp)
				pushq	32776(%rsp)
				pushq	32776(%rsp)
				pushq	32776(%rsp)
				pushq	32776(%rsp)
				pushq	32776(%rsp)
				pushq	32776(%rsp)
				pushq	32776(%rsp)
				pushq	14856(%rsp)
				pushq	14856(%rsp)
				call	_imp_printstring@PLT
		.LVL164:
		.LBE1136:
		.LBE1135:
		.LBB1137:
		.LBB1138:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC10(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL165:
		.LBE1138:
		.LBE1137:
		.LBB1139:
  135     print fl (r3b3, 4); print string (")".snl)
				movq	$8236, 32273(%rsp)
				movq	$0, 32281(%rsp)
				movb	$0, 32289(%rsp)
				movw	$0, 32290(%rsp)
				movl	$0, 32292(%rsp)
				leaq	32296(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$2, 32272(%rsp)
				movq	32272(%rsp), %rax
				movq	32280(%rsp), %rdx
				movq	%rax, 14864(%rsp)
				movq	%rdx, 14872(%rsp)
		.LVL166:
				movb	$2, 14864(%rsp)
		.LBE1139:
		.LBB1140:
		.LBB1141:
				pushq	32520(%rsp)
				pushq	32520(%rsp)
				pushq	32520(%rsp)
				pushq	32520(%rsp)
				pushq	32520(%rsp)
				pushq	32520(%rsp)
				pushq	32520(%rsp)
				pushq	32520(%rsp)
				pushq	32520(%rsp)
				pushq	32520(%rsp)
				pushq	32520(%rsp)
				pushq	32520(%rsp)
				pushq	32520(%rsp)
				pushq	32520(%rsp)
				pushq	32520(%rsp)
				pushq	32520(%rsp)
				pushq	32520(%rsp)
				pushq	32520(%rsp)
				pushq	32520(%rsp)
				pushq	32520(%rsp)
				pushq	32520(%rsp)
				pushq	32520(%rsp)
				pushq	32520(%rsp)
				pushq	32520(%rsp)
				pushq	32520(%rsp)
				pushq	32520(%rsp)
				pushq	32520(%rsp)
				pushq	32520(%rsp)
				pushq	32520(%rsp)
				pushq	32520(%rsp)
				pushq	15112(%rsp)
				pushq	15112(%rsp)
				call	_imp_printstring@PLT
		.LVL167:
		.LBE1141:
		.LBE1140:
		.LBB1142:
		.LBB1143:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC12(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL168:
		.LBE1143:
		.LBE1142:
		.LBB1144:
		.LBB1145:
  136
  137     print string ("Subprogram (4) examples:".snl)
  138     x = 0.25
				leaq	32016(%rsp), %rdi
				leaq	16(%rsp), %rbp
				leaq	15376(%rsp), %rsi
				movq	%rbp, %rdx
				call	_imp_join@PLT
		.LVL169:
		.LBE1145:
		.LBE1144:
		.LBB1146:
		.LBB1147:
				pushq	15368(%rsp)
				pushq	15368(%rsp)
				pushq	15368(%rsp)
				pushq	15368(%rsp)
				pushq	15368(%rsp)
				pushq	15368(%rsp)
				pushq	15368(%rsp)
				pushq	15368(%rsp)
				pushq	15368(%rsp)
				pushq	15368(%rsp)
				pushq	15368(%rsp)
				pushq	15368(%rsp)
				pushq	15368(%rsp)
				pushq	15368(%rsp)
				pushq	15368(%rsp)
				pushq	15368(%rsp)
				pushq	15368(%rsp)
				pushq	15368(%rsp)
				pushq	15368(%rsp)
				pushq	15368(%rsp)
				pushq	15368(%rsp)
				pushq	15368(%rsp)
				pushq	15368(%rsp)
				pushq	15368(%rsp)
				pushq	15368(%rsp)
				pushq	15368(%rsp)
				pushq	15368(%rsp)
				pushq	15368(%rsp)
				pushq	15368(%rsp)
				pushq	15368(%rsp)
				pushq	15368(%rsp)
				pushq	15368(%rsp)
				call	_imp_printstring@PLT
		.LVL170:
		.LBE1147:
		.LBE1146:
		.LBB1148:
		.LBB1149:
  139     y = evalbern3 (p0b3, p1b3, p2b3, p3b3, x)
				leaq	32016(%rsp), %rdi
				addq	$256, %rsp
				leaq	15888(%rsp), %rsi
				movq	%rbp, %rdx
				call	_imp_join@PLT
		.LVL171:
		.LBE1149:
		.LBE1148:
		.LBB1150:
		.LBB1151:
				pushq	15880(%rsp)
				pushq	15880(%rsp)
				pushq	15880(%rsp)
				pushq	15880(%rsp)
				pushq	15880(%rsp)
				pushq	15880(%rsp)
				pushq	15880(%rsp)
				pushq	15880(%rsp)
				pushq	15880(%rsp)
				pushq	15880(%rsp)
				pushq	15880(%rsp)
				pushq	15880(%rsp)
				pushq	15880(%rsp)
				pushq	15880(%rsp)
				pushq	15880(%rsp)
				pushq	15880(%rsp)
				pushq	15880(%rsp)
				pushq	15880(%rsp)
				pushq	15880(%rsp)
				pushq	15880(%rsp)
				pushq	15880(%rsp)
				pushq	15880(%rsp)
				pushq	15880(%rsp)
				pushq	15880(%rsp)
				pushq	15880(%rsp)
				pushq	15880(%rsp)
				pushq	15880(%rsp)
				pushq	15880(%rsp)
				pushq	15880(%rsp)
				pushq	15880(%rsp)
				pushq	15880(%rsp)
				pushq	15880(%rsp)
				call	_imp_printstring@PLT
		.LVL172:
		.LBE1151:
		.LBE1150:
				addq	$256, %rsp
				movsd	.LC5(%rip), %xmm4
				movsd	.LC0(%rip), %xmm3
				movapd	%xmm3, %xmm2
				movapd	%xmm3, %xmm1
				movapd	%xmm3, %xmm0
				call	EVALBERN3.6420
		.LVL173:
				movsd	%xmm0, 8(%rsp)
		.LVL174:
		.LBB1152:
  140     print string ("  p ( "); print fl (x, 4)
				movabsq	$35356714999840, %r12
				movl	$0, %r13d
				movq	%r12, 31505(%rsp)
				movq	%r13, 31513(%rsp)
				movb	$0, 31521(%rsp)
				movw	$0, 31522(%rsp)
				movl	$0, 31524(%rsp)
				leaq	31528(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$6, 31504(%rsp)
				movq	31504(%rsp), %rax
				movq	31512(%rsp), %rdx
				movq	%rax, 16144(%rsp)
				movq	%rdx, 16152(%rsp)
		.LVL175:
				movb	$6, 16144(%rsp)
		.LBE1152:
		.LBB1153:
		.LBB1154:
				pushq	31752(%rsp)
				pushq	31752(%rsp)
				pushq	31752(%rsp)
				pushq	31752(%rsp)
				pushq	31752(%rsp)
				pushq	31752(%rsp)
				pushq	31752(%rsp)
				pushq	31752(%rsp)
				pushq	31752(%rsp)
				pushq	31752(%rsp)
				pushq	31752(%rsp)
				pushq	31752(%rsp)
				pushq	31752(%rsp)
				pushq	31752(%rsp)
				pushq	31752(%rsp)
				pushq	31752(%rsp)
				pushq	31752(%rsp)
				pushq	31752(%rsp)
				pushq	31752(%rsp)
				pushq	31752(%rsp)
				pushq	31752(%rsp)
				pushq	31752(%rsp)
				pushq	31752(%rsp)
				pushq	31752(%rsp)
				pushq	31752(%rsp)
				pushq	31752(%rsp)
				pushq	31752(%rsp)
				pushq	31752(%rsp)
				pushq	31752(%rsp)
				pushq	31752(%rsp)
				pushq	16392(%rsp)
				pushq	16392(%rsp)
				call	_imp_printstring@PLT
		.LVL176:
		.LBE1154:
		.LBE1153:
		.LBB1155:
		.LBB1156:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC5(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL177:
		.LBE1156:
		.LBE1155:
		.LBB1157:
  141     print string (") = "); print fl (y, 4)
				movq	$540876841, 31249(%rsp)
				movq	$0, 31257(%rsp)
				movb	$0, 31265(%rsp)
				movw	$0, 31266(%rsp)
				movl	$0, 31268(%rsp)
				leaq	31272(%rsp), %rdi
				movl	$29, %ebx
				movl	$0, %eax
				movq	%rbx, %rcx
				rep stosq
				movq	%rcx, %rbx
				movb	$4, 31248(%rsp)
				movq	31248(%rsp), %rax
				movq	31256(%rsp), %rdx
				movq	%rax, 16400(%rsp)
				movq	%rdx, 16408(%rsp)
		.LVL178:
				movb	$4, 16400(%rsp)
		.LBE1157:
		.LBB1158:
		.LBB1159:
				pushq	31496(%rsp)
				pushq	31496(%rsp)
				pushq	31496(%rsp)
				pushq	31496(%rsp)
				pushq	31496(%rsp)
				pushq	31496(%rsp)
				pushq	31496(%rsp)
				pushq	31496(%rsp)
				pushq	31496(%rsp)
				pushq	31496(%rsp)
				pushq	31496(%rsp)
				pushq	31496(%rsp)
				pushq	31496(%rsp)
				pushq	31496(%rsp)
				pushq	31496(%rsp)
				pushq	31496(%rsp)
				pushq	31496(%rsp)
				pushq	31496(%rsp)
				pushq	31496(%rsp)
				pushq	31496(%rsp)
				pushq	31496(%rsp)
				pushq	31496(%rsp)
				pushq	31496(%rsp)
				pushq	31496(%rsp)
				pushq	31496(%rsp)
				pushq	31496(%rsp)
				pushq	31496(%rsp)
				pushq	31496(%rsp)
				pushq	31496(%rsp)
				pushq	31496(%rsp)
				pushq	16648(%rsp)
				pushq	16648(%rsp)
				call	_imp_printstring@PLT
		.LVL179:
		.LBE1159:
		.LBE1158:
		.LBB1160:
		.LBB1161:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	8(%rsp), %xmm0
				call	_imp_printfl@PLT
		.LVL180:
		.LBE1161:
		.LBE1160:
		.LBB1162:
		.LBB1163:
				call	_imp_newline@PLT
		.LVL181:
		.LBE1163:
		.LBE1162:
  142     newline
  143     x = 7.50
  144     y = evalbern3 (p0b3, p1b3, p2b3, p3b3, x)
				movsd	.LC6(%rip), %xmm4
				movsd	.LC0(%rip), %xmm3
				movapd	%xmm3, %xmm2
				movapd	%xmm3, %xmm1
				movapd	%xmm3, %xmm0
				call	EVALBERN3.6420
		.LVL182:
				movsd	%xmm0, 8(%rsp)
		.LVL183:
		.LBB1164:
  145     print string ("  p ( "); print fl (x, 4)
				movq	%r12, 30993(%rsp)
				movq	%r13, 31001(%rsp)
				movb	$0, 31009(%rsp)
				movw	$0, 31010(%rsp)
				movl	$0, 31012(%rsp)
				leaq	31016(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$6, 30992(%rsp)
				movq	30992(%rsp), %rax
				movq	31000(%rsp), %rdx
				movq	%rax, 16656(%rsp)
				movq	%rdx, 16664(%rsp)
		.LVL184:
				movb	$6, 16656(%rsp)
		.LBE1164:
		.LBB1165:
		.LBB1166:
				pushq	31240(%rsp)
				pushq	31240(%rsp)
				pushq	31240(%rsp)
				pushq	31240(%rsp)
				pushq	31240(%rsp)
				pushq	31240(%rsp)
				pushq	31240(%rsp)
				pushq	31240(%rsp)
				pushq	31240(%rsp)
				pushq	31240(%rsp)
				pushq	31240(%rsp)
				pushq	31240(%rsp)
				pushq	31240(%rsp)
				pushq	31240(%rsp)
				pushq	31240(%rsp)
				pushq	31240(%rsp)
				pushq	31240(%rsp)
				pushq	31240(%rsp)
				pushq	31240(%rsp)
				pushq	31240(%rsp)
				pushq	31240(%rsp)
				pushq	31240(%rsp)
				pushq	31240(%rsp)
				pushq	31240(%rsp)
				pushq	31240(%rsp)
				pushq	31240(%rsp)
				pushq	31240(%rsp)
				pushq	31240(%rsp)
				pushq	31240(%rsp)
				pushq	31240(%rsp)
				pushq	16904(%rsp)
				pushq	16904(%rsp)
				call	_imp_printstring@PLT
		.LVL185:
		.LBE1166:
		.LBE1165:
		.LBB1167:
		.LBB1168:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC6(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL186:
		.LBE1168:
		.LBE1167:
		.LBB1169:
  146     print string (") = "); print fl (y, 4)
				movq	$540876841, 30737(%rsp)
				movq	$0, 30745(%rsp)
				movb	$0, 30753(%rsp)
				movw	$0, 30754(%rsp)
				movl	$0, 30756(%rsp)
				leaq	30760(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$4, 30736(%rsp)
				movq	30736(%rsp), %rax
				movq	30744(%rsp), %rdx
				movq	%rax, 16912(%rsp)
				movq	%rdx, 16920(%rsp)
		.LVL187:
				movb	$4, 16912(%rsp)
		.LBE1169:
		.LBB1170:
		.LBB1171:
				pushq	30984(%rsp)
				pushq	30984(%rsp)
				pushq	30984(%rsp)
				pushq	30984(%rsp)
				pushq	30984(%rsp)
				pushq	30984(%rsp)
				pushq	30984(%rsp)
				pushq	30984(%rsp)
				pushq	30984(%rsp)
				pushq	30984(%rsp)
				pushq	30984(%rsp)
				pushq	30984(%rsp)
				pushq	30984(%rsp)
				pushq	30984(%rsp)
				pushq	30984(%rsp)
				pushq	30984(%rsp)
				pushq	30984(%rsp)
				pushq	30984(%rsp)
				pushq	30984(%rsp)
				pushq	30984(%rsp)
				pushq	30984(%rsp)
				pushq	30984(%rsp)
				pushq	30984(%rsp)
				pushq	30984(%rsp)
				pushq	30984(%rsp)
				pushq	30984(%rsp)
				pushq	30984(%rsp)
				pushq	30984(%rsp)
				pushq	30984(%rsp)
				pushq	30984(%rsp)
				pushq	17160(%rsp)
				pushq	17160(%rsp)
				call	_imp_printstring@PLT
		.LVL188:
		.LBE1171:
		.LBE1170:
		.LBB1172:
		.LBB1173:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	8(%rsp), %xmm0
				call	_imp_printfl@PLT
		.LVL189:
		.LBE1173:
		.LBE1172:
		.LBB1174:
		.LBB1175:
				call	_imp_newline@PLT
		.LVL190:
		.LBE1175:
		.LBE1174:
  147     newline
  148     x = 0.25
  149     y = evalbern3 (q0b3, q1b3, q2b3, q3b3, x)
				movsd	.LC5(%rip), %xmm4
				movsd	.LC4(%rip), %xmm3
				movsd	.LC10(%rip), %xmm2
				movsd	.LC9(%rip), %xmm1
				movsd	.LC0(%rip), %xmm0
				call	EVALBERN3.6420
		.LVL191:
				movsd	%xmm0, 8(%rsp)
		.LVL192:
		.LBB1176:
  150     print string ("  q ( "); print fl (x, 4)
				movabsq	$35356715065376, %r12
				movl	$0, %r13d
				movq	%r12, 30481(%rsp)
				movq	%r13, 30489(%rsp)
				movb	$0, 30497(%rsp)
				movw	$0, 30498(%rsp)
				movl	$0, 30500(%rsp)
				leaq	30504(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$6, 30480(%rsp)
				movq	30480(%rsp), %rax
				movq	30488(%rsp), %rdx
				movq	%rax, 17168(%rsp)
				movq	%rdx, 17176(%rsp)
		.LVL193:
				movb	$6, 17168(%rsp)
		.LBE1176:
		.LBB1177:
		.LBB1178:
				pushq	30728(%rsp)
				pushq	30728(%rsp)
				pushq	30728(%rsp)
				pushq	30728(%rsp)
				pushq	30728(%rsp)
				pushq	30728(%rsp)
				pushq	30728(%rsp)
				pushq	30728(%rsp)
				pushq	30728(%rsp)
				pushq	30728(%rsp)
				pushq	30728(%rsp)
				pushq	30728(%rsp)
				pushq	30728(%rsp)
				pushq	30728(%rsp)
				pushq	30728(%rsp)
				pushq	30728(%rsp)
				pushq	30728(%rsp)
				pushq	30728(%rsp)
				pushq	30728(%rsp)
				pushq	30728(%rsp)
				pushq	30728(%rsp)
				pushq	30728(%rsp)
				pushq	30728(%rsp)
				pushq	30728(%rsp)
				pushq	30728(%rsp)
				pushq	30728(%rsp)
				pushq	30728(%rsp)
				pushq	30728(%rsp)
				pushq	30728(%rsp)
				pushq	30728(%rsp)
				pushq	17416(%rsp)
				pushq	17416(%rsp)
				call	_imp_printstring@PLT
		.LVL194:
		.LBE1178:
		.LBE1177:
		.LBB1179:
		.LBB1180:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC5(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL195:
		.LBE1180:
		.LBE1179:
		.LBB1181:
  151     print string (") = "); print fl (y, 4)
				movq	$540876841, 30225(%rsp)
				movq	$0, 30233(%rsp)
				movb	$0, 30241(%rsp)
				movw	$0, 30242(%rsp)
				movl	$0, 30244(%rsp)
				leaq	30248(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$4, 30224(%rsp)
				movq	30224(%rsp), %rax
				movq	30232(%rsp), %rdx
				movq	%rax, 17424(%rsp)
				movq	%rdx, 17432(%rsp)
		.LVL196:
				movb	$4, 17424(%rsp)
		.LBE1181:
		.LBB1182:
		.LBB1183:
				pushq	30472(%rsp)
				pushq	30472(%rsp)
				pushq	30472(%rsp)
				pushq	30472(%rsp)
				pushq	30472(%rsp)
				pushq	30472(%rsp)
				pushq	30472(%rsp)
				pushq	30472(%rsp)
				pushq	30472(%rsp)
				pushq	30472(%rsp)
				pushq	30472(%rsp)
				pushq	30472(%rsp)
				pushq	30472(%rsp)
				pushq	30472(%rsp)
				pushq	30472(%rsp)
				pushq	30472(%rsp)
				pushq	30472(%rsp)
				pushq	30472(%rsp)
				pushq	30472(%rsp)
				pushq	30472(%rsp)
				pushq	30472(%rsp)
				pushq	30472(%rsp)
				pushq	30472(%rsp)
				pushq	30472(%rsp)
				pushq	30472(%rsp)
				pushq	30472(%rsp)
				pushq	30472(%rsp)
				pushq	30472(%rsp)
				pushq	30472(%rsp)
				pushq	30472(%rsp)
				pushq	17672(%rsp)
				pushq	17672(%rsp)
				call	_imp_printstring@PLT
		.LVL197:
		.LBE1183:
		.LBE1182:
		.LBB1184:
		.LBB1185:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	8(%rsp), %xmm0
				call	_imp_printfl@PLT
		.LVL198:
		.LBE1185:
		.LBE1184:
		.LBB1186:
		.LBB1187:
				call	_imp_newline@PLT
		.LVL199:
		.LBE1187:
		.LBE1186:
  152     newline
  153     x = 7.50
  154     y = evalbern3 (q0b3, q1b3, q2b3, q3b3, x)
				movsd	.LC6(%rip), %xmm4
				movsd	.LC4(%rip), %xmm3
				movsd	.LC10(%rip), %xmm2
				movsd	.LC9(%rip), %xmm1
				movsd	.LC0(%rip), %xmm0
				call	EVALBERN3.6420
		.LVL200:
				movsd	%xmm0, 8(%rsp)
		.LVL201:
		.LBB1188:
  155     print string ("  q ( "); print fl (x, 4)
				movq	%r12, 29969(%rsp)
				movq	%r13, 29977(%rsp)
				movb	$0, 29985(%rsp)
				movw	$0, 29986(%rsp)
				movl	$0, 29988(%rsp)
				leaq	29992(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$6, 29968(%rsp)
				movq	29968(%rsp), %rax
				movq	29976(%rsp), %rdx
				movq	%rax, 17680(%rsp)
				movq	%rdx, 17688(%rsp)
		.LVL202:
				movb	$6, 17680(%rsp)
		.LBE1188:
		.LBB1189:
		.LBB1190:
				pushq	30216(%rsp)
				pushq	30216(%rsp)
				pushq	30216(%rsp)
				pushq	30216(%rsp)
				pushq	30216(%rsp)
				pushq	30216(%rsp)
				pushq	30216(%rsp)
				pushq	30216(%rsp)
				pushq	30216(%rsp)
				pushq	30216(%rsp)
				pushq	30216(%rsp)
				pushq	30216(%rsp)
				pushq	30216(%rsp)
				pushq	30216(%rsp)
				pushq	30216(%rsp)
				pushq	30216(%rsp)
				pushq	30216(%rsp)
				pushq	30216(%rsp)
				pushq	30216(%rsp)
				pushq	30216(%rsp)
				pushq	30216(%rsp)
				pushq	30216(%rsp)
				pushq	30216(%rsp)
				pushq	30216(%rsp)
				pushq	30216(%rsp)
				pushq	30216(%rsp)
				pushq	30216(%rsp)
				pushq	30216(%rsp)
				pushq	30216(%rsp)
				pushq	30216(%rsp)
				pushq	17928(%rsp)
				pushq	17928(%rsp)
				call	_imp_printstring@PLT
		.LVL203:
		.LBE1190:
		.LBE1189:
		.LBB1191:
		.LBB1192:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC6(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL204:
		.LBE1192:
		.LBE1191:
		.LBB1193:
  156     print string (") = "); print fl (y, 4)
				movq	$540876841, 29713(%rsp)
				movq	$0, 29721(%rsp)
				movb	$0, 29729(%rsp)
				movw	$0, 29730(%rsp)
				movl	$0, 29732(%rsp)
				leaq	29736(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$4, 29712(%rsp)
				movq	29712(%rsp), %rax
				movq	29720(%rsp), %rdx
				movq	%rax, 17936(%rsp)
				movq	%rdx, 17944(%rsp)
		.LVL205:
				movb	$4, 17936(%rsp)
		.LBE1193:
		.LBB1194:
		.LBB1195:
				pushq	29960(%rsp)
				pushq	29960(%rsp)
				pushq	29960(%rsp)
				pushq	29960(%rsp)
				pushq	29960(%rsp)
				pushq	29960(%rsp)
				pushq	29960(%rsp)
				pushq	29960(%rsp)
				pushq	29960(%rsp)
				pushq	29960(%rsp)
				pushq	29960(%rsp)
				pushq	29960(%rsp)
				pushq	29960(%rsp)
				pushq	29960(%rsp)
				pushq	29960(%rsp)
				pushq	29960(%rsp)
				pushq	29960(%rsp)
				pushq	29960(%rsp)
				pushq	29960(%rsp)
				pushq	29960(%rsp)
				pushq	29960(%rsp)
				pushq	29960(%rsp)
				pushq	29960(%rsp)
				pushq	29960(%rsp)
				pushq	29960(%rsp)
				pushq	29960(%rsp)
				pushq	29960(%rsp)
				pushq	29960(%rsp)
				pushq	29960(%rsp)
				pushq	29960(%rsp)
				pushq	18184(%rsp)
				pushq	18184(%rsp)
				call	_imp_printstring@PLT
		.LVL206:
		.LBE1195:
		.LBE1194:
		.LBB1196:
		.LBB1197:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	8(%rsp), %xmm0
				call	_imp_printfl@PLT
		.LVL207:
		.LBE1197:
		.LBE1196:
		.LBB1198:
		.LBB1199:
				call	_imp_newline@PLT
		.LVL208:
		.LBE1199:
		.LBE1198:
  157     newline
  158     x = 0.25
  159     y = evalbern3 (r0b3, r1b3, r2b3, r3b3, x)
				movsd	.LC5(%rip), %xmm4
				movsd	.LC12(%rip), %xmm3
				movsd	.LC10(%rip), %xmm2
				movsd	.LC9(%rip), %xmm1
				movsd	.LC0(%rip), %xmm0
				call	EVALBERN3.6420
		.LVL209:
				movsd	%xmm0, 8(%rsp)
		.LVL210:
		.LBB1200:
  160     print string ("  r ( "); print fl (x, 4)
				movabsq	$35356715130912, %r12
				movl	$0, %r13d
				movq	%r12, 29457(%rsp)
				movq	%r13, 29465(%rsp)
				movb	$0, 29473(%rsp)
				movw	$0, 29474(%rsp)
				movl	$0, 29476(%rsp)
				leaq	29480(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$6, 29456(%rsp)
				movq	29456(%rsp), %rax
				movq	29464(%rsp), %rdx
				movq	%rax, 18192(%rsp)
				movq	%rdx, 18200(%rsp)
		.LVL211:
				movb	$6, 18192(%rsp)
		.LBE1200:
		.LBB1201:
		.LBB1202:
				pushq	29704(%rsp)
				pushq	29704(%rsp)
				pushq	29704(%rsp)
				pushq	29704(%rsp)
				pushq	29704(%rsp)
				pushq	29704(%rsp)
				pushq	29704(%rsp)
				pushq	29704(%rsp)
				pushq	29704(%rsp)
				pushq	29704(%rsp)
				pushq	29704(%rsp)
				pushq	29704(%rsp)
				pushq	29704(%rsp)
				pushq	29704(%rsp)
				pushq	29704(%rsp)
				pushq	29704(%rsp)
				pushq	29704(%rsp)
				pushq	29704(%rsp)
				pushq	29704(%rsp)
				pushq	29704(%rsp)
				pushq	29704(%rsp)
				pushq	29704(%rsp)
				pushq	29704(%rsp)
				pushq	29704(%rsp)
				pushq	29704(%rsp)
				pushq	29704(%rsp)
				pushq	29704(%rsp)
				pushq	29704(%rsp)
				pushq	29704(%rsp)
				pushq	29704(%rsp)
				pushq	18440(%rsp)
				pushq	18440(%rsp)
				call	_imp_printstring@PLT
		.LVL212:
		.LBE1202:
		.LBE1201:
		.LBB1203:
		.LBB1204:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC5(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL213:
		.LBE1204:
		.LBE1203:
		.LBB1205:
  161     print string (") = "); print fl (y, 4)
				movq	$540876841, 29201(%rsp)
				movq	$0, 29209(%rsp)
				movb	$0, 29217(%rsp)
				movw	$0, 29218(%rsp)
				movl	$0, 29220(%rsp)
				leaq	29224(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$4, 29200(%rsp)
				movq	29200(%rsp), %rax
				movq	29208(%rsp), %rdx
				movq	%rax, 18448(%rsp)
				movq	%rdx, 18456(%rsp)
		.LVL214:
				movb	$4, 18448(%rsp)
		.LBE1205:
		.LBB1206:
		.LBB1207:
				pushq	29448(%rsp)
				pushq	29448(%rsp)
				pushq	29448(%rsp)
				pushq	29448(%rsp)
				pushq	29448(%rsp)
				pushq	29448(%rsp)
				pushq	29448(%rsp)
				pushq	29448(%rsp)
				pushq	29448(%rsp)
				pushq	29448(%rsp)
				pushq	29448(%rsp)
				pushq	29448(%rsp)
				pushq	29448(%rsp)
				pushq	29448(%rsp)
				pushq	29448(%rsp)
				pushq	29448(%rsp)
				pushq	29448(%rsp)
				pushq	29448(%rsp)
				pushq	29448(%rsp)
				pushq	29448(%rsp)
				pushq	29448(%rsp)
				pushq	29448(%rsp)
				pushq	29448(%rsp)
				pushq	29448(%rsp)
				pushq	29448(%rsp)
				pushq	29448(%rsp)
				pushq	29448(%rsp)
				pushq	29448(%rsp)
				pushq	29448(%rsp)
				pushq	29448(%rsp)
				pushq	18696(%rsp)
				pushq	18696(%rsp)
				call	_imp_printstring@PLT
		.LVL215:
		.LBE1207:
		.LBE1206:
		.LBB1208:
		.LBB1209:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	8(%rsp), %xmm0
				call	_imp_printfl@PLT
		.LVL216:
		.LBE1209:
		.LBE1208:
		.LBB1210:
		.LBB1211:
				call	_imp_newline@PLT
		.LVL217:
		.LBE1211:
		.LBE1210:
  162     newline
  163     x = 7.50
  164     y = evalbern3 (r0b3, r1b3, r2b3, r3b3, x)
				movsd	.LC6(%rip), %xmm4
				movsd	.LC12(%rip), %xmm3
				movsd	.LC10(%rip), %xmm2
				movsd	.LC9(%rip), %xmm1
				movsd	.LC0(%rip), %xmm0
				call	EVALBERN3.6420
		.LVL218:
				movsd	%xmm0, 8(%rsp)
		.LVL219:
		.LBB1212:
  165     print string ("  r ( "); print fl (x, 4)
				movq	%r12, 28945(%rsp)
				movq	%r13, 28953(%rsp)
				movb	$0, 28961(%rsp)
				movw	$0, 28962(%rsp)
				movl	$0, 28964(%rsp)
				leaq	28968(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$6, 28944(%rsp)
				movq	28944(%rsp), %rax
				movq	28952(%rsp), %rdx
				movq	%rax, 18704(%rsp)
				movq	%rdx, 18712(%rsp)
		.LVL220:
				movb	$6, 18704(%rsp)
		.LBE1212:
		.LBB1213:
		.LBB1214:
				pushq	29192(%rsp)
				pushq	29192(%rsp)
				pushq	29192(%rsp)
				pushq	29192(%rsp)
				pushq	29192(%rsp)
				pushq	29192(%rsp)
				pushq	29192(%rsp)
				pushq	29192(%rsp)
				pushq	29192(%rsp)
				pushq	29192(%rsp)
				pushq	29192(%rsp)
				pushq	29192(%rsp)
				pushq	29192(%rsp)
				pushq	29192(%rsp)
				pushq	29192(%rsp)
				pushq	29192(%rsp)
				pushq	29192(%rsp)
				pushq	29192(%rsp)
				pushq	29192(%rsp)
				pushq	29192(%rsp)
				pushq	29192(%rsp)
				pushq	29192(%rsp)
				pushq	29192(%rsp)
				pushq	29192(%rsp)
				pushq	29192(%rsp)
				pushq	29192(%rsp)
				pushq	29192(%rsp)
				pushq	29192(%rsp)
				pushq	29192(%rsp)
				pushq	29192(%rsp)
				pushq	18952(%rsp)
				pushq	18952(%rsp)
				call	_imp_printstring@PLT
		.LVL221:
		.LBE1214:
		.LBE1213:
		.LBB1215:
		.LBB1216:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC6(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL222:
		.LBE1216:
		.LBE1215:
		.LBB1217:
  166     print string (") = "); print fl (y, 4)
				movq	$540876841, 28689(%rsp)
				movq	$0, 28697(%rsp)
				movb	$0, 28705(%rsp)
				movw	$0, 28706(%rsp)
				movl	$0, 28708(%rsp)
				leaq	28712(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$4, 28688(%rsp)
				movq	28688(%rsp), %rax
				movq	28696(%rsp), %rdx
				movq	%rax, 18960(%rsp)
				movq	%rdx, 18968(%rsp)
		.LVL223:
				movb	$4, 18960(%rsp)
		.LBE1217:
		.LBB1218:
		.LBB1219:
				pushq	28936(%rsp)
				pushq	28936(%rsp)
				pushq	28936(%rsp)
				pushq	28936(%rsp)
				pushq	28936(%rsp)
				pushq	28936(%rsp)
				pushq	28936(%rsp)
				pushq	28936(%rsp)
				pushq	28936(%rsp)
				pushq	28936(%rsp)
				pushq	28936(%rsp)
				pushq	28936(%rsp)
				pushq	28936(%rsp)
				pushq	28936(%rsp)
				pushq	28936(%rsp)
				pushq	28936(%rsp)
				pushq	28936(%rsp)
				pushq	28936(%rsp)
				pushq	28936(%rsp)
				pushq	28936(%rsp)
				pushq	28936(%rsp)
				pushq	28936(%rsp)
				pushq	28936(%rsp)
				pushq	28936(%rsp)
				pushq	28936(%rsp)
				pushq	28936(%rsp)
				pushq	28936(%rsp)
				pushq	28936(%rsp)
				pushq	28936(%rsp)
				pushq	28936(%rsp)
				pushq	19208(%rsp)
				pushq	19208(%rsp)
				call	_imp_printstring@PLT
		.LVL224:
		.LBE1219:
		.LBE1218:
		.LBB1220:
		.LBB1221:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	8(%rsp), %xmm0
				call	_imp_printfl@PLT
		.LVL225:
		.LBE1221:
		.LBE1220:
		.LBB1222:
		.LBB1223:
				call	_imp_newline@PLT
		.LVL226:
		.LBE1223:
		.LBE1222:
		.LBB1224:
		.LBB1225:
  167     newline
  168
  169     bern2to3 (p0b2, p1b2, p2b2, pc0, pc1, pc2, pc3)
  170     bern2to3 (q0b2, q1b2, q2b2, qc0, qc1, qc2, qc3)
  171     print string ("Subprogram (5) examples:".snl)
  172     print string ("  bern ( ")
				movabsq	$2891432398378115104, %r12
				movl	$32, %r13d
				movq	%r12, 28433(%rsp)
				movq	%r13, 28441(%rsp)
				movb	$0, 28449(%rsp)
				movw	$0, 28450(%rsp)
				movl	$0, 28452(%rsp)
				leaq	28456(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$9, 28432(%rsp)
				movq	28432(%rsp), %rax
				movq	28440(%rsp), %rdx
				movq	%rax, 19984(%rsp)
				movq	%rdx, 19992(%rsp)
		.LVL229:
				movb	$9, 19984(%rsp)
		.LBE1228:
		.LBB1229:
		.LBB1230:
				addq	$256, %rsp
				pushq	28424(%rsp)
				pushq	28424(%rsp)
				pushq	28424(%rsp)
				pushq	28424(%rsp)
				pushq	28424(%rsp)
				pushq	28424(%rsp)
				pushq	28424(%rsp)
				pushq	28424(%rsp)
				pushq	28424(%rsp)
				pushq	28424(%rsp)
				pushq	28424(%rsp)
				pushq	28424(%rsp)
				pushq	28424(%rsp)
				pushq	28424(%rsp)
				pushq	28424(%rsp)
				pushq	28424(%rsp)
				pushq	28424(%rsp)
				pushq	28424(%rsp)
				pushq	28424(%rsp)
				pushq	28424(%rsp)
				pushq	28424(%rsp)
				pushq	28424(%rsp)
				pushq	28424(%rsp)
				pushq	28424(%rsp)
				pushq	28424(%rsp)
				pushq	28424(%rsp)
				pushq	28424(%rsp)
				pushq	28424(%rsp)
				pushq	28424(%rsp)
				pushq	28424(%rsp)
				pushq	19976(%rsp)
				pushq	19976(%rsp)
				call	_imp_printstring@PLT
		.LVL230:
		.LBE1230:
		.LBE1229:
		.LBB1231:
		.LBB1232:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC0(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL231:
		.LBE1232:
		.LBE1231:
		.LBB1233:
  173     print fl (p0b2, 4); print string (", ")
				leaq	28432(%rsp), %rdi
				leaq	16(%rsp), %rbp
				leaq	19472(%rsp), %rsi
				movq	%rbp, %rdx
				call	_imp_join@PLT
		.LVL227:
		.LBE1225:
		.LBE1224:
		.LBB1226:
		.LBB1227:
				pushq	19464(%rsp)
				pushq	19464(%rsp)
				pushq	19464(%rsp)
				pushq	19464(%rsp)
				pushq	19464(%rsp)
				pushq	19464(%rsp)
				pushq	19464(%rsp)
				pushq	19464(%rsp)
				pushq	19464(%rsp)
				pushq	19464(%rsp)
				pushq	19464(%rsp)
				pushq	19464(%rsp)
				pushq	19464(%rsp)
				pushq	19464(%rsp)
				pushq	19464(%rsp)
				pushq	19464(%rsp)
				pushq	19464(%rsp)
				pushq	19464(%rsp)
				pushq	19464(%rsp)
				pushq	19464(%rsp)
				pushq	19464(%rsp)
				pushq	19464(%rsp)
				pushq	19464(%rsp)
				pushq	19464(%rsp)
				pushq	19464(%rsp)
				pushq	19464(%rsp)
				pushq	19464(%rsp)
				pushq	19464(%rsp)
				pushq	19464(%rsp)
				pushq	19464(%rsp)
				pushq	19464(%rsp)
				pushq	19464(%rsp)
				call	_imp_printstring@PLT
		.LVL228:
		.LBE1227:
		.LBE1226:
		.LBB1228:
  174     print fl (p1b2, 4); print string (", ")
				movq	$8236, 27921(%rsp)
				movq	$0, 27929(%rsp)
				movb	$0, 27937(%rsp)
				movw	$0, 27938(%rsp)
				movl	$0, 27940(%rsp)
				leaq	27944(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$2, 27920(%rsp)
				movq	27920(%rsp), %rax
				movq	27928(%rsp), %rdx
				movq	%rax, 19984(%rsp)
				movq	%rdx, 19992(%rsp)
		.LVL232:
				movb	$2, 19984(%rsp)
		.LBE1233:
		.LBB1234:
		.LBB1235:
				pushq	28168(%rsp)
				pushq	28168(%rsp)
				pushq	28168(%rsp)
				pushq	28168(%rsp)
				pushq	28168(%rsp)
				pushq	28168(%rsp)
				pushq	28168(%rsp)
				pushq	28168(%rsp)
				pushq	28168(%rsp)
				pushq	28168(%rsp)
				pushq	28168(%rsp)
				pushq	28168(%rsp)
				pushq	28168(%rsp)
				pushq	28168(%rsp)
				pushq	28168(%rsp)
				pushq	28168(%rsp)
				pushq	28168(%rsp)
				pushq	28168(%rsp)
				pushq	28168(%rsp)
				pushq	28168(%rsp)
				pushq	28168(%rsp)
				pushq	28168(%rsp)
				pushq	28168(%rsp)
				pushq	28168(%rsp)
				pushq	28168(%rsp)
				pushq	28168(%rsp)
				pushq	28168(%rsp)
				pushq	28168(%rsp)
				pushq	28168(%rsp)
				pushq	28168(%rsp)
				pushq	20232(%rsp)
				pushq	20232(%rsp)
				call	_imp_printstring@PLT
		.LVL233:
		.LBE1235:
		.LBE1234:
		.LBB1236:
		.LBB1237:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC0(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL234:
		.LBE1237:
		.LBE1236:
		.LBB1238:
  175     print fl (p2b2, 4); print string (") --> bern ( ")
				movq	$8236, 27665(%rsp)
				movq	$0, 27673(%rsp)
				movb	$0, 27681(%rsp)
				movw	$0, 27682(%rsp)
				movl	$0, 27684(%rsp)
				leaq	27688(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$2, 27664(%rsp)
				movq	27664(%rsp), %rax
				movq	27672(%rsp), %rdx
				movq	%rax, 20240(%rsp)
				movq	%rdx, 20248(%rsp)
		.LVL235:
				movb	$2, 20240(%rsp)
		.LBE1238:
		.LBB1239:
		.LBB1240:
				pushq	27912(%rsp)
				pushq	27912(%rsp)
				pushq	27912(%rsp)
				pushq	27912(%rsp)
				pushq	27912(%rsp)
				pushq	27912(%rsp)
				pushq	27912(%rsp)
				pushq	27912(%rsp)
				pushq	27912(%rsp)
				pushq	27912(%rsp)
				pushq	27912(%rsp)
				pushq	27912(%rsp)
				pushq	27912(%rsp)
				pushq	27912(%rsp)
				pushq	27912(%rsp)
				pushq	27912(%rsp)
				pushq	27912(%rsp)
				pushq	27912(%rsp)
				pushq	27912(%rsp)
				pushq	27912(%rsp)
				pushq	27912(%rsp)
				pushq	27912(%rsp)
				pushq	27912(%rsp)
				pushq	27912(%rsp)
				pushq	27912(%rsp)
				pushq	27912(%rsp)
				pushq	27912(%rsp)
				pushq	27912(%rsp)
				pushq	27912(%rsp)
				pushq	27912(%rsp)
				pushq	20488(%rsp)
				pushq	20488(%rsp)
				call	_imp_printstring@PLT
		.LVL236:
		.LBE1240:
		.LBE1239:
		.LBB1241:
		.LBB1242:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC0(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL237:
		.LBE1242:
		.LBE1241:
		.LBB1243:
  176     print fl (pc0, 4); print string (", ")
				movq	%r14, 27409(%rsp)
				movq	%r15, 27417(%rsp)
				movb	$0, 27425(%rsp)
				movw	$0, 27426(%rsp)
				movl	$0, 27428(%rsp)
				leaq	27432(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$13, 27408(%rsp)
				movq	27408(%rsp), %rax
				movq	27416(%rsp), %rdx
				movq	%rax, 20496(%rsp)
				movq	%rdx, 20504(%rsp)
		.LVL238:
				movb	$13, 20496(%rsp)
		.LBE1243:
		.LBB1244:
		.LBB1245:
				pushq	27656(%rsp)
				pushq	27656(%rsp)
				pushq	27656(%rsp)
				pushq	27656(%rsp)
				pushq	27656(%rsp)
				pushq	27656(%rsp)
				pushq	27656(%rsp)
				pushq	27656(%rsp)
				pushq	27656(%rsp)
				pushq	27656(%rsp)
				pushq	27656(%rsp)
				pushq	27656(%rsp)
				pushq	27656(%rsp)
				pushq	27656(%rsp)
				pushq	27656(%rsp)
				pushq	27656(%rsp)
				pushq	27656(%rsp)
				pushq	27656(%rsp)
				pushq	27656(%rsp)
				pushq	27656(%rsp)
				pushq	27656(%rsp)
				pushq	27656(%rsp)
				pushq	27656(%rsp)
				pushq	27656(%rsp)
				pushq	27656(%rsp)
				pushq	27656(%rsp)
				pushq	27656(%rsp)
				pushq	27656(%rsp)
				pushq	27656(%rsp)
				pushq	27656(%rsp)
				pushq	20744(%rsp)
				pushq	20744(%rsp)
				call	_imp_printstring@PLT
		.LVL239:
		.LBE1245:
		.LBE1244:
		.LBB1246:
		.LBB1247:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC0(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL240:
		.LBE1247:
		.LBE1246:
		.LBB1248:
  177     print fl (pc1, 4); print string (", ")
				movq	$8236, 27153(%rsp)
				movq	$0, 27161(%rsp)
				movb	$0, 27169(%rsp)
				movw	$0, 27170(%rsp)
				movl	$0, 27172(%rsp)
				leaq	27176(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$2, 27152(%rsp)
				movq	27152(%rsp), %rax
				movq	27160(%rsp), %rdx
				movq	%rax, 20752(%rsp)
				movq	%rdx, 20760(%rsp)
		.LVL241:
				movb	$2, 20752(%rsp)
		.LBE1248:
		.LBB1249:
		.LBB1250:
				pushq	27400(%rsp)
				pushq	27400(%rsp)
				pushq	27400(%rsp)
				pushq	27400(%rsp)
				pushq	27400(%rsp)
				pushq	27400(%rsp)
				pushq	27400(%rsp)
				pushq	27400(%rsp)
				pushq	27400(%rsp)
				pushq	27400(%rsp)
				pushq	27400(%rsp)
				pushq	27400(%rsp)
				pushq	27400(%rsp)
				pushq	27400(%rsp)
				pushq	27400(%rsp)
				pushq	27400(%rsp)
				pushq	27400(%rsp)
				pushq	27400(%rsp)
				pushq	27400(%rsp)
				pushq	27400(%rsp)
				pushq	27400(%rsp)
				pushq	27400(%rsp)
				pushq	27400(%rsp)
				pushq	27400(%rsp)
				pushq	27400(%rsp)
				pushq	27400(%rsp)
				pushq	27400(%rsp)
				pushq	27400(%rsp)
				pushq	27400(%rsp)
				pushq	27400(%rsp)
				pushq	21000(%rsp)
				pushq	21000(%rsp)
				call	_imp_printstring@PLT
		.LVL242:
		.LBE1250:
		.LBE1249:
		.LBB1251:
		.LBB1252:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC0(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL243:
		.LBE1252:
		.LBE1251:
		.LBB1253:
  178     print fl (pc2, 4); print string (", ")
				movq	$8236, 26897(%rsp)
				movq	$0, 26905(%rsp)
				movb	$0, 26913(%rsp)
				movw	$0, 26914(%rsp)
				movl	$0, 26916(%rsp)
				leaq	26920(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$2, 26896(%rsp)
				movq	26896(%rsp), %rax
				movq	26904(%rsp), %rdx
				movq	%rax, 21008(%rsp)
				movq	%rdx, 21016(%rsp)
		.LVL244:
				movb	$2, 21008(%rsp)
		.LBE1253:
		.LBB1254:
		.LBB1255:
				pushq	27144(%rsp)
				pushq	27144(%rsp)
				pushq	27144(%rsp)
				pushq	27144(%rsp)
				pushq	27144(%rsp)
				pushq	27144(%rsp)
				pushq	27144(%rsp)
				pushq	27144(%rsp)
				pushq	27144(%rsp)
				pushq	27144(%rsp)
				pushq	27144(%rsp)
				pushq	27144(%rsp)
				pushq	27144(%rsp)
				pushq	27144(%rsp)
				pushq	27144(%rsp)
				pushq	27144(%rsp)
				pushq	27144(%rsp)
				pushq	27144(%rsp)
				pushq	27144(%rsp)
				pushq	27144(%rsp)
				pushq	27144(%rsp)
				pushq	27144(%rsp)
				pushq	27144(%rsp)
				pushq	27144(%rsp)
				pushq	27144(%rsp)
				pushq	27144(%rsp)
				pushq	27144(%rsp)
				pushq	27144(%rsp)
				pushq	27144(%rsp)
				pushq	27144(%rsp)
				pushq	21256(%rsp)
				pushq	21256(%rsp)
				call	_imp_printstring@PLT
		.LVL245:
		.LBE1255:
		.LBE1254:
		.LBB1256:
		.LBB1257:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC0(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL246:
		.LBE1257:
		.LBE1256:
		.LBB1258:
  179     print fl (pc3, 4); print string (")".snl)
				movq	$8236, 26641(%rsp)
				movq	$0, 26649(%rsp)
				movb	$0, 26657(%rsp)
				movw	$0, 26658(%rsp)
				movl	$0, 26660(%rsp)
				leaq	26664(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$2, 26640(%rsp)
				movq	26640(%rsp), %rax
				movq	26648(%rsp), %rdx
				movq	%rax, 21264(%rsp)
				movq	%rdx, 21272(%rsp)
		.LVL247:
				movb	$2, 21264(%rsp)
		.LBE1258:
		.LBB1259:
		.LBB1260:
				pushq	26888(%rsp)
				pushq	26888(%rsp)
				pushq	26888(%rsp)
				pushq	26888(%rsp)
				pushq	26888(%rsp)
				pushq	26888(%rsp)
				pushq	26888(%rsp)
				pushq	26888(%rsp)
				pushq	26888(%rsp)
				pushq	26888(%rsp)
				pushq	26888(%rsp)
				pushq	26888(%rsp)
				pushq	26888(%rsp)
				pushq	26888(%rsp)
				pushq	26888(%rsp)
				pushq	26888(%rsp)
				pushq	26888(%rsp)
				pushq	26888(%rsp)
				pushq	26888(%rsp)
				pushq	26888(%rsp)
				pushq	26888(%rsp)
				pushq	26888(%rsp)
				pushq	26888(%rsp)
				pushq	26888(%rsp)
				pushq	26888(%rsp)
				pushq	26888(%rsp)
				pushq	26888(%rsp)
				pushq	26888(%rsp)
				pushq	26888(%rsp)
				pushq	26888(%rsp)
				pushq	21512(%rsp)
				pushq	21512(%rsp)
				call	_imp_printstring@PLT
		.LVL248:
		.LBE1260:
		.LBE1259:
		.LBB1261:
		.LBB1262:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC0(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL249:
		.LBE1262:
		.LBE1261:
		.LBB1263:
		.LBB1264:
  180     print string ("  bern ( ")
				movq	%r12, 26385(%rsp)
				movq	%r13, 26393(%rsp)
				movb	$0, 26401(%rsp)
				movw	$0, 26402(%rsp)
				movl	$0, 26404(%rsp)
				leaq	26408(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$9, 26384(%rsp)
				movq	26384(%rsp), %rax
				movq	26392(%rsp), %rdx
				movq	%rax, 22288(%rsp)
				movq	%rdx, 22296(%rsp)
		.LVL252:
				movb	$9, 22288(%rsp)
		.LBE1267:
		.LBB1268:
		.LBB1269:
				addq	$256, %rsp
				pushq	26376(%rsp)
				pushq	26376(%rsp)
				pushq	26376(%rsp)
				pushq	26376(%rsp)
				pushq	26376(%rsp)
				pushq	26376(%rsp)
				pushq	26376(%rsp)
				pushq	26376(%rsp)
				pushq	26376(%rsp)
				pushq	26376(%rsp)
				pushq	26376(%rsp)
				pushq	26376(%rsp)
				pushq	26376(%rsp)
				pushq	26376(%rsp)
				pushq	26376(%rsp)
				pushq	26376(%rsp)
				pushq	26376(%rsp)
				pushq	26376(%rsp)
				pushq	26376(%rsp)
				pushq	26376(%rsp)
				pushq	26376(%rsp)
				pushq	26376(%rsp)
				pushq	26376(%rsp)
				pushq	26376(%rsp)
				pushq	26376(%rsp)
				pushq	26376(%rsp)
				pushq	26376(%rsp)
				pushq	26376(%rsp)
				pushq	26376(%rsp)
				pushq	26376(%rsp)
				pushq	22280(%rsp)
				pushq	22280(%rsp)
				call	_imp_printstring@PLT
		.LVL253:
		.LBE1269:
		.LBE1268:
		.LBB1270:
		.LBB1271:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC0(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL254:
		.LBE1271:
		.LBE1270:
		.LBB1272:
				movq	$8236, 25873(%rsp)
				movq	$0, 25881(%rsp)
				movb	$0, 25889(%rsp)
				movw	$0, 25890(%rsp)
				movl	$0, 25892(%rsp)
				leaq	25896(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$2, 25872(%rsp)
				movq	25872(%rsp), %rax
				movq	25880(%rsp), %rdx
				movq	%rax, 22288(%rsp)
				movq	%rdx, 22296(%rsp)
		.LVL255:
				movb	$2, 22288(%rsp)
		.LBE1272:
		.LBB1273:
		.LBB1274:
				pushq	26120(%rsp)
				pushq	26120(%rsp)
				pushq	26120(%rsp)
				pushq	26120(%rsp)
				pushq	26120(%rsp)
				pushq	26120(%rsp)
				pushq	26120(%rsp)
				pushq	26120(%rsp)
				pushq	26120(%rsp)
				pushq	26120(%rsp)
				pushq	26120(%rsp)
				pushq	26120(%rsp)
				pushq	26120(%rsp)
				pushq	26120(%rsp)
				pushq	26120(%rsp)
				pushq	26120(%rsp)
				pushq	26120(%rsp)
				pushq	26120(%rsp)
				pushq	26120(%rsp)
				pushq	26120(%rsp)
				pushq	26120(%rsp)
				pushq	26120(%rsp)
				pushq	26120(%rsp)
				pushq	26120(%rsp)
				pushq	26120(%rsp)
				pushq	26120(%rsp)
				pushq	26120(%rsp)
				pushq	26120(%rsp)
				pushq	26120(%rsp)
				pushq	26120(%rsp)
				pushq	22536(%rsp)
				pushq	22536(%rsp)
				call	_imp_printstring@PLT
		.LVL256:
		.LBE1274:
		.LBE1273:
		.LBB1275:
		.LBB1276:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC2(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL257:
		.LBE1276:
		.LBE1275:
		.LBB1277:
  181     print fl (q0b2, 4); print string (", ")
  182     print fl (q1b2, 4); print string (", ")
				leaq	26384(%rsp), %rdi
				leaq	21776(%rsp), %rsi
				movq	%rbp, %rdx
				call	_imp_join@PLT
		.LVL250:
		.LBE1264:
		.LBE1263:
		.LBB1265:
		.LBB1266:
				pushq	21768(%rsp)
				pushq	21768(%rsp)
				pushq	21768(%rsp)
				pushq	21768(%rsp)
				pushq	21768(%rsp)
				pushq	21768(%rsp)
				pushq	21768(%rsp)
				pushq	21768(%rsp)
				pushq	21768(%rsp)
				pushq	21768(%rsp)
				pushq	21768(%rsp)
				pushq	21768(%rsp)
				pushq	21768(%rsp)
				pushq	21768(%rsp)
				pushq	21768(%rsp)
				pushq	21768(%rsp)
				pushq	21768(%rsp)
				pushq	21768(%rsp)
				pushq	21768(%rsp)
				pushq	21768(%rsp)
				pushq	21768(%rsp)
				pushq	21768(%rsp)
				pushq	21768(%rsp)
				pushq	21768(%rsp)
				pushq	21768(%rsp)
				pushq	21768(%rsp)
				pushq	21768(%rsp)
				pushq	21768(%rsp)
				pushq	21768(%rsp)
				pushq	21768(%rsp)
				pushq	21768(%rsp)
				pushq	21768(%rsp)
				call	_imp_printstring@PLT
		.LVL251:
		.LBE1266:
		.LBE1265:
		.LBB1267:
  183     print fl (q2b2, 4); print string (") --> bern ( ")
				movq	$8236, 25617(%rsp)
				movq	$0, 25625(%rsp)
				movb	$0, 25633(%rsp)
				movw	$0, 25634(%rsp)
				movl	$0, 25636(%rsp)
				leaq	25640(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$2, 25616(%rsp)
				movq	25616(%rsp), %rax
				movq	25624(%rsp), %rdx
				movq	%rax, 22544(%rsp)
				movq	%rdx, 22552(%rsp)
		.LVL258:
				movb	$2, 22544(%rsp)
		.LBE1277:
		.LBB1278:
		.LBB1279:
				pushq	25864(%rsp)
				pushq	25864(%rsp)
				pushq	25864(%rsp)
				pushq	25864(%rsp)
				pushq	25864(%rsp)
				pushq	25864(%rsp)
				pushq	25864(%rsp)
				pushq	25864(%rsp)
				pushq	25864(%rsp)
				pushq	25864(%rsp)
				pushq	25864(%rsp)
				pushq	25864(%rsp)
				pushq	25864(%rsp)
				pushq	25864(%rsp)
				pushq	25864(%rsp)
				pushq	25864(%rsp)
				pushq	25864(%rsp)
				pushq	25864(%rsp)
				pushq	25864(%rsp)
				pushq	25864(%rsp)
				pushq	25864(%rsp)
				pushq	25864(%rsp)
				pushq	25864(%rsp)
				pushq	25864(%rsp)
				pushq	25864(%rsp)
				pushq	25864(%rsp)
				pushq	25864(%rsp)
				pushq	25864(%rsp)
				pushq	25864(%rsp)
				pushq	25864(%rsp)
				pushq	22792(%rsp)
				pushq	22792(%rsp)
				call	_imp_printstring@PLT
		.LVL259:
		.LBE1279:
		.LBE1278:
		.LBB1280:
		.LBB1281:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC4(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL260:
		.LBE1281:
		.LBE1280:
		.LBB1282:
  184     print fl (qc0, 4); print string (", ")
				movq	%r14, 25361(%rsp)
				movq	%r15, 25369(%rsp)
				movb	$0, 25377(%rsp)
				movw	$0, 25378(%rsp)
				movl	$0, 25380(%rsp)
				leaq	25384(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$13, 25360(%rsp)
				movq	25360(%rsp), %rax
				movq	25368(%rsp), %rdx
				movq	%rax, 22800(%rsp)
				movq	%rdx, 22808(%rsp)
		.LVL261:
				movb	$13, 22800(%rsp)
		.LBE1282:
		.LBB1283:
		.LBB1284:
				pushq	25608(%rsp)
				pushq	25608(%rsp)
				pushq	25608(%rsp)
				pushq	25608(%rsp)
				pushq	25608(%rsp)
				pushq	25608(%rsp)
				pushq	25608(%rsp)
				pushq	25608(%rsp)
				pushq	25608(%rsp)
				pushq	25608(%rsp)
				pushq	25608(%rsp)
				pushq	25608(%rsp)
				pushq	25608(%rsp)
				pushq	25608(%rsp)
				pushq	25608(%rsp)
				pushq	25608(%rsp)
				pushq	25608(%rsp)
				pushq	25608(%rsp)
				pushq	25608(%rsp)
				pushq	25608(%rsp)
				pushq	25608(%rsp)
				pushq	25608(%rsp)
				pushq	25608(%rsp)
				pushq	25608(%rsp)
				pushq	25608(%rsp)
				pushq	25608(%rsp)
				pushq	25608(%rsp)
				pushq	25608(%rsp)
				pushq	25608(%rsp)
				pushq	25608(%rsp)
				pushq	23048(%rsp)
				pushq	23048(%rsp)
				call	_imp_printstring@PLT
		.LVL262:
		.LBE1284:
		.LBE1283:
		.LBB1285:
		.LBB1286:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC0(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL263:
		.LBE1286:
		.LBE1285:
		.LBB1287:
  185     print fl (qc1, 4); print string (", ")
				movq	$8236, 25105(%rsp)
				movq	$0, 25113(%rsp)
				movb	$0, 25121(%rsp)
				movw	$0, 25122(%rsp)
				movl	$0, 25124(%rsp)
				leaq	25128(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$2, 25104(%rsp)
				movq	25104(%rsp), %rax
				movq	25112(%rsp), %rdx
				movq	%rax, 23056(%rsp)
				movq	%rdx, 23064(%rsp)
		.LVL264:
				movb	$2, 23056(%rsp)
		.LBE1287:
		.LBB1288:
		.LBB1289:
				pushq	25352(%rsp)
				pushq	25352(%rsp)
				pushq	25352(%rsp)
				pushq	25352(%rsp)
				pushq	25352(%rsp)
				pushq	25352(%rsp)
				pushq	25352(%rsp)
				pushq	25352(%rsp)
				pushq	25352(%rsp)
				pushq	25352(%rsp)
				pushq	25352(%rsp)
				pushq	25352(%rsp)
				pushq	25352(%rsp)
				pushq	25352(%rsp)
				pushq	25352(%rsp)
				pushq	25352(%rsp)
				pushq	25352(%rsp)
				pushq	25352(%rsp)
				pushq	25352(%rsp)
				pushq	25352(%rsp)
				pushq	25352(%rsp)
				pushq	25352(%rsp)
				pushq	25352(%rsp)
				pushq	25352(%rsp)
				pushq	25352(%rsp)
				pushq	25352(%rsp)
				pushq	25352(%rsp)
				pushq	25352(%rsp)
				pushq	25352(%rsp)
				pushq	25352(%rsp)
				pushq	23304(%rsp)
				pushq	23304(%rsp)
				call	_imp_printstring@PLT
		.LVL265:
		.LBE1289:
		.LBE1288:
		.LBB1290:
		.LBB1291:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC9(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL266:
		.LBE1291:
		.LBE1290:
		.LBB1292:
  186     print fl (qc2, 4); print string (", ")
				movq	$8236, 24849(%rsp)
				movq	$0, 24857(%rsp)
				movb	$0, 24865(%rsp)
				movw	$0, 24866(%rsp)
				movl	$0, 24868(%rsp)
				leaq	24872(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$2, 24848(%rsp)
				movq	24848(%rsp), %rax
				movq	24856(%rsp), %rdx
				movq	%rax, 23312(%rsp)
				movq	%rdx, 23320(%rsp)
		.LVL267:
				movb	$2, 23312(%rsp)
		.LBE1292:
		.LBB1293:
		.LBB1294:
				pushq	25096(%rsp)
				pushq	25096(%rsp)
				pushq	25096(%rsp)
				pushq	25096(%rsp)
				pushq	25096(%rsp)
				pushq	25096(%rsp)
				pushq	25096(%rsp)
				pushq	25096(%rsp)
				pushq	25096(%rsp)
				pushq	25096(%rsp)
				pushq	25096(%rsp)
				pushq	25096(%rsp)
				pushq	25096(%rsp)
				pushq	25096(%rsp)
				pushq	25096(%rsp)
				pushq	25096(%rsp)
				pushq	25096(%rsp)
				pushq	25096(%rsp)
				pushq	25096(%rsp)
				pushq	25096(%rsp)
				pushq	25096(%rsp)
				pushq	25096(%rsp)
				pushq	25096(%rsp)
				pushq	25096(%rsp)
				pushq	25096(%rsp)
				pushq	25096(%rsp)
				pushq	25096(%rsp)
				pushq	25096(%rsp)
				pushq	25096(%rsp)
				pushq	25096(%rsp)
				pushq	23560(%rsp)
				pushq	23560(%rsp)
				call	_imp_printstring@PLT
		.LVL268:
		.LBE1294:
		.LBE1293:
		.LBB1295:
		.LBB1296:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC10(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL269:
		.LBE1296:
		.LBE1295:
		.LBB1297:
  187     print fl (qc3, 4); print string (")".snl)
				movq	$8236, 24593(%rsp)
				movq	$0, 24601(%rsp)
				movb	$0, 24609(%rsp)
				movw	$0, 24610(%rsp)
				movl	$0, 24612(%rsp)
				leaq	24616(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbx, %rax
				rep stosq
				movb	$2, 24592(%rsp)
				movq	24592(%rsp), %rax
				movq	24600(%rsp), %rdx
				movq	%rax, 23568(%rsp)
				movq	%rdx, 23576(%rsp)
		.LVL270:
				movb	$2, 23568(%rsp)
		.LBE1297:
		.LBB1298:
		.LBB1299:
				pushq	24840(%rsp)
				pushq	24840(%rsp)
				pushq	24840(%rsp)
				pushq	24840(%rsp)
				pushq	24840(%rsp)
				pushq	24840(%rsp)
				pushq	24840(%rsp)
				pushq	24840(%rsp)
				pushq	24840(%rsp)
				pushq	24840(%rsp)
				pushq	24840(%rsp)
				pushq	24840(%rsp)
				pushq	24840(%rsp)
				pushq	24840(%rsp)
				pushq	24840(%rsp)
				pushq	24840(%rsp)
				pushq	24840(%rsp)
				pushq	24840(%rsp)
				pushq	24840(%rsp)
				pushq	24840(%rsp)
				pushq	24840(%rsp)
				pushq	24840(%rsp)
				pushq	24840(%rsp)
				pushq	24840(%rsp)
				pushq	24840(%rsp)
				pushq	24840(%rsp)
				pushq	24840(%rsp)
				pushq	24840(%rsp)
				pushq	24840(%rsp)
				pushq	24840(%rsp)
				pushq	23816(%rsp)
				pushq	23816(%rsp)
				call	_imp_printstring@PLT
		.LVL271:
		.LBE1299:
		.LBE1298:
		.LBB1300:
		.LBB1301:
				addq	$256, %rsp
				movl	$4, %edi
				movsd	.LC4(%rip), %xmm0
				call	_imp_printfl@PLT
		.LVL272:
		.LBE1301:
		.LBE1300:
		.LBB1302:
		.LBB1303:
  188 %endofprogram
?M unused
?EVALMONO3 unused
?EVALMONO2 unused
  245 Statements compiled
				leaq	24336(%rsp), %rdi
				leaq	16(%rsp), %rdx
				leaq	24080(%rsp), %rsi
				call	_imp_join@PLT
		.LVL273:
		.LBE1303:
		.LBE1302:
		.LBB1304:
		.LBB1305:
				pushq	24072(%rsp)
				pushq	24072(%rsp)
				pushq	24072(%rsp)
				pushq	24072(%rsp)
				pushq	24072(%rsp)
				pushq	24072(%rsp)
				pushq	24072(%rsp)
				pushq	24072(%rsp)
				pushq	24072(%rsp)
				pushq	24072(%rsp)
				pushq	24072(%rsp)
				pushq	24072(%rsp)
				pushq	24072(%rsp)
				pushq	24072(%rsp)
				pushq	24072(%rsp)
				pushq	24072(%rsp)
				pushq	24072(%rsp)
				pushq	24072(%rsp)
				pushq	24072(%rsp)
				pushq	24072(%rsp)
				pushq	24072(%rsp)
				pushq	24072(%rsp)
				pushq	24072(%rsp)
				pushq	24072(%rsp)
				pushq	24072(%rsp)
				pushq	24072(%rsp)
				pushq	24072(%rsp)
				pushq	24072(%rsp)
				pushq	24072(%rsp)
				pushq	24072(%rsp)
				pushq	24072(%rsp)
				pushq	24072(%rsp)
				call	_imp_printstring@PLT
		.LVL274:
		.LBE1305:
		.LBE1304:
		.LBB1306:
		.LBB1307:
				addq	$256, %rsp
				movl	$0, %edi
				call	exit@PLT
		.LVL275:
		.LBE1307:
		.LBE1306:
		.LFE185:
				.section	.rodata.cst8,"aM",@progbits,8
				.align 8
		.LC0:
				.long	0
				.long	1072693248
				.align 8
		.LC2:
				.long	0
				.long	1073741824
				.align 8
		.LC3:
				.long	0
				.long	1074266112
				.align 8
		.LC4:
				.long	0
				.long	1075314688
				.align 8
		.LC5:
				.long	0
				.long	1070596096
				.align 8
		.LC6:
				.long	0
				.long	1075707904
				.align 8
		.LC7:
				.long	0
				.long	1073414144
				.align 8
		.LC8:
				.long	0
				.long	1080498176
				.align 8
		.LC9:
				.long	-1431655766
				.long	1073392298
				.align 8
		.LC10:
				.long	-1431655766
				.long	1074440874
				.align 8
		.LC11:
				.long	0
				.long	1074790400
				.align 8
		.LC12:
				.long	0
				.long	1076101120
		.Letext0:
