// File: sergiosvieira[P]ptd2ns2/rng.cc
// Function: RNG::write_state_full() const
void RNG::write_state_full() const {
	int i;
	printf("The RNG %s:\n", name_);
	printf(" anti_ = %s", (anti_ ? "true" : "false"));
	printf(" inc_prec_ = %s\n", (inc_prec_ ? "true" : "false"));

	printf(" Ig_ = { ");
	for (i = 0; i < 5; i++) {
		printf("%lu, ", (unsigned long) Ig_[i]);
	}
	printf("%lu }\n", (unsigned long) Ig_[5]);

	printf(" Bg_ = { ");
	for (i = 0; i < 5; i++) {
		printf("%lu, ", (unsigned long) Bg_[i]);
	}
	printf("%lu }\n", (unsigned long) Bg_[5]);

	printf(" Cg_ = { ");
	for (i = 0; i < 5; i++) {
		printf("%lu, ", (unsigned long) Cg_[i]);
	}
	printf("%lu }\n\n", (unsigned long) Cg_[5]);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x20, %rsp
movq %rdi, -0x8(%rbp)
movq -0x8(%rbp), %rsi
movq %rsi, -0x18(%rbp)
addq $0x92, %rsi
leaq 0x19b6(%rip), %rdi      # 0xa548
movb $0x0, %al
callq 0x3040
movq -0x18(%rbp), %rax
movb 0x90(%rax), %cl
leaq 0x19bc(%rip), %rsi      # 0xa566
leaq 0x19b0(%rip), %rax      # 0xa561
testb $0x1, %cl
cmovneq %rax, %rsi
leaq 0x1996(%rip), %rdi      # 0xa555
movb $0x0, %al
callq 0x3040
movq -0x18(%rbp), %rax
movb 0x91(%rax), %cl
leaq 0x198f(%rip), %rsi      # 0xa566
leaq 0x1983(%rip), %rax      # 0xa561
testb $0x1, %cl
cmovneq %rax, %rsi
leaq 0x1980(%rip), %rdi      # 0xa56c
movb $0x0, %al
callq 0x3040
leaq 0x1983(%rip), %rdi      # 0xa57d
movb $0x0, %al
callq 0x3040
movl $0x0, -0xc(%rbp)
cmpl $0x5, -0xc(%rbp)
jge 0x8c5b
movq -0x18(%rbp), %rax
movslq -0xc(%rbp), %rcx
movsd 0x60(%rax,%rcx,8), %xmm0
movaps %xmm0, %xmm1
cvttsd2si %xmm1, %rsi
movq %rsi, %rcx
sarq $0x3f, %rcx
movsd 0x17b5(%rip), %xmm1     # 0xa3e8
subsd %xmm1, %xmm0
cvttsd2si %xmm0, %rax
andq %rcx, %rax
orq %rax, %rsi
leaq 0x18f1(%rip), %rdi      # 0xa53a
movb $0x0, %al
callq 0x3040
movl -0xc(%rbp), %eax
addl $0x1, %eax
movl %eax, -0xc(%rbp)
jmp 0x8c08
movq -0x18(%rbp), %rax
movsd 0x88(%rax), %xmm0
movsd 0x1779(%rip), %xmm2     # 0xa3e8
movaps %xmm0, %xmm1
subsd %xmm2, %xmm1
cvttsd2si %xmm1, %rax
cvttsd2si %xmm0, %rsi
movq %rsi, %rcx
sarq $0x3f, %rcx
andq %rcx, %rax
orq %rax, %rsi
leaq 0x18f3(%rip), %rdi      # 0xa587
movb $0x0, %al
callq 0x3040
leaq 0x18ec(%rip), %rdi      # 0xa58e
movb $0x0, %al
callq 0x3040
movl $0x0, -0xc(%rbp)
cmpl $0x5, -0xc(%rbp)
jge 0x8d03
movq -0x18(%rbp), %rax
movslq -0xc(%rbp), %rcx
movsd 0x30(%rax,%rcx,8), %xmm0
movaps %xmm0, %xmm1
cvttsd2si %xmm1, %rsi
movq %rsi, %rcx
sarq $0x3f, %rcx
movsd 0x170d(%rip), %xmm1     # 0xa3e8
subsd %xmm1, %xmm0
cvttsd2si %xmm0, %rax
andq %rcx, %rax
orq %rax, %rsi
leaq 0x1849(%rip), %rdi      # 0xa53a
movb $0x0, %al
callq 0x3040
movl -0xc(%rbp), %eax
addl $0x1, %eax
movl %eax, -0xc(%rbp)
jmp 0x8cb0
movq -0x18(%rbp), %rax
movsd 0x58(%rax), %xmm0
movsd 0x16d4(%rip), %xmm2     # 0xa3e8
movaps %xmm0, %xmm1
subsd %xmm2, %xmm1
cvttsd2si %xmm1, %rax
cvttsd2si %xmm0, %rsi
movq %rsi, %rcx
sarq $0x3f, %rcx
andq %rcx, %rax
orq %rax, %rsi
leaq 0x184e(%rip), %rdi      # 0xa587
movb $0x0, %al
callq 0x3040
leaq 0x17e9(%rip), %rdi      # 0xa530
movb $0x0, %al
callq 0x3040
movl $0x0, -0xc(%rbp)
cmpl $0x5, -0xc(%rbp)
jge 0x8da7
movq -0x18(%rbp), %rax
movslq -0xc(%rbp), %rcx
movsd (%rax,%rcx,8), %xmm0
movaps %xmm0, %xmm1
cvttsd2si %xmm1, %rsi
movq %rsi, %rcx
sarq $0x3f, %rcx
movsd 0x1669(%rip), %xmm1     # 0xa3e8
subsd %xmm1, %xmm0
cvttsd2si %xmm0, %rax
andq %rcx, %rax
orq %rax, %rsi
leaq 0x17a5(%rip), %rdi      # 0xa53a
movb $0x0, %al
callq 0x3040
movl -0xc(%rbp), %eax
addl $0x1, %eax
movl %eax, -0xc(%rbp)
jmp 0x8d55
movq -0x18(%rbp), %rax
movsd 0x28(%rax), %xmm0
movsd 0x1630(%rip), %xmm2     # 0xa3e8
movaps %xmm0, %xmm1
subsd %xmm2, %xmm1
cvttsd2si %xmm1, %rax
cvttsd2si %xmm0, %rsi
movq %rsi, %rcx
sarq $0x3f, %rcx
andq %rcx, %rax
orq %rax, %rsi
leaq 0x1763(%rip), %rdi      # 0xa540
movb $0x0, %al
callq 0x3040
addq $0x20, %rsp
popq %rbp
retq
nopw (%rax,%rax)