// File: /workspace/github_c_makefile_star2_O2/cinemast[P]sudoku/sudoku.c
// Function: print
static
void
print (FILE * f, const char * title)
{
    switch (opt_format) {
        case fStandard:
        case fCompact:
        case fCSV:
            text(f, title);
            break;
        case fPostScript:
            postscript(f, title);
            break;
        case fHTML:
            html(f, title);
            break;
    }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rdi, %rbx
movl 0xa832(%rip), %eax      # 0xf3d4
leaq 0x359f(%rip), %rcx      # 0x8148
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
leaq 0x563f(%rip), %rsi      # 0xa1f8
leaq 0xa850(%rip), %rdx      # 0xf410
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2220
leaq 0xa8cf(%rip), %r12      # 0xf4a0
xorl %r15d, %r15d
movzbl %r15b, %eax
movb $0x9, %cl
divb %cl
movl %eax, %r13d
movzbl %ah, %eax
movzbl %al, %eax
movb $0x3, %cl
divb %cl
movl %eax, %r14d
movq %r15, %rax
xorl %edx, %edx
pushq $0x9
popq %rcx
divq %rcx
cmpq $0x51, %r15
je 0x4ff7
movq %rax, %rbp
movzwl 0x2(%r12), %edx
movl 0xa7c4(%rip), %eax      # 0xf3d4
andl $0xf, %edx
je 0x4c35
testl %eax, %eax
leaq 0x4dc1(%rip), %rsi      # 0x99df
leaq 0x55dd(%rip), %rax      # 0xa202
cmoveq %rax, %rsi
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2220
jmp 0x4c53
testl %eax, %eax
leaq 0x55c2(%rip), %rsi      # 0xa200
leaq 0x55ba(%rip), %rax      # 0xa1ff
cmoveq %rax, %rsi
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2220
leaq (,%rbp,8), %rdx
addq %rbp, %rdx
movzbl %r15b, %ecx
movl %ecx, %eax
movb $0x9, %sil
divb %sil
addb $0x8, %dl
cmpb %cl, %dl
jne 0x4ca7
movl %eax, %ebp
pushq $0xa
popq %rdi
movq %rbx, %rsi
callq 0x21c0
movzbl %bpl, %eax
movb $0x3, %cl
divb %cl
movzbl %ah, %eax
cmpq $0x50, %r15
je 0x4ce0
cmpl $0x0, 0xa73e(%rip)      # 0xf3d4
jne 0x4ce0
cmpb $0x2, %al
jne 0x4ce0
leaq 0x5563(%rip), %rdi      # 0xa206
pushq $0x18
jmp 0x4cd4
movzbl %r13b, %eax
leal (%rax,%rax,8), %eax
movzbl %r14b, %ecx
leal (%rcx,%rcx,2), %ecx
addb %al, %cl
addb $0x2, %cl
movzbl %cl, %eax
cmpb %r15b, %al
jne 0x4ce0
cmpl $0x0, 0xa70b(%rip)      # 0xf3d4
jne 0x4ce0
leaq 0x5927(%rip), %rdi      # 0xa5f9
pushq $0x2
popq %rsi
pushq $0x1
popq %rdx
movq %rbx, %rcx
callq 0x2340
incq %r15
addq $0x4, %r12
jmp 0x4bd4
leaq 0x57fe(%rip), %rdi      # 0xa4f1
pushq $0xc
popq %rsi
pushq $0x1
popq %r14
movq %r14, %rdx
movq %rbx, %rcx
callq 0x2340
leaq 0x57f2(%rip), %rsi      # 0xa4fe
leaq 0xa6fd(%rip), %rdx      # 0xf410
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2220
leaq 0x57ec(%rip), %rdi      # 0xa510
pushq $0x5c
popq %rsi
movq %r14, %rdx
movq %rbx, %rcx
callq 0x2340
xorl %ecx, %ecx
movb $0x8, %r15b
xorl %esi, %esi
xorl %r12d, %r12d
movzbl %sil, %eax
movb $0x9, %dl
divb %dl
cmpq $0x144, %r12            # imm = 0x144
je 0x4e21
movq %rsi, (%rsp)
movq %rbx, %rbp
movzbl %al, %eax
leal (%rax,%rax,8), %r13d
movq %rcx, 0x8(%rsp)
movl %ecx, %eax
addb %r13b, %al
jne 0x4d80
leaq 0x57fb(%rip), %rdi      # 0xa56d
pushq $0x4
popq %rsi
movq %r14, %rdx
movq %rbp, %rcx
callq 0x2340
leaq 0x57eb(%rip), %rdi      # 0xa572
pushq $0x4
popq %rsi
movq %r14, %rdx
movq %rbp, %rbx
movq %rbp, %rcx
callq 0x2340
leaq 0xa701(%rip), %rax      # 0xf4a0
movzwl 0x2(%r12,%rax), %edx
andl $0xf, %edx
je 0x4dbd
movq %rbx, %rdi
leaq 0x57d6(%rip), %rsi      # 0xa58a
xorl %eax, %eax
callq 0x2220
jmp 0x4dd2
leaq 0x57b3(%rip), %rdi      # 0xa577
pushq $0x12
popq %rsi
movq %r14, %rdx
movq %rbx, %rcx
callq 0x2340
addb %r15b, %r13b
leaq 0x57bd(%rip), %rdi      # 0xa599
pushq $0x5
popq %rsi
movq %r14, %rdx
movq %rbx, %rcx
callq 0x2340
testb %r13b, %r13b
jne 0x4e04
leaq 0x57a9(%rip), %rdi      # 0xa59f
pushq $0x6
popq %rsi
movq %r14, %rdx
movq %rbp, %rcx
callq 0x2340
addq $0x4, %r12
decb %r15b
movq (%rsp), %rsi
incb %sil
movq 0x8(%rsp), %rcx
decb %cl
movq %rbp, %rbx
jmp 0x4d3c
leaq 0x577e(%rip), %rdi      # 0xa5a6
pushq $0x17
popq %rsi
pushq $0x1
popq %rdx
movq %rbx, %rcx
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x2340
movb $0x8, %r15b
xorl %r12d, %r12d
pushq $0xa
popq %r14
xorl %r13d, %r13d
movzbl %r12b, %eax
movb $0x9, %cl
divb %cl
cmpq $0x144, %r13            # imm = 0x144
je 0x4ff7
movl %eax, %ebp
leaq 0xa631(%rip), %rax      # 0xf4a0
movzwl 0x2(%r13,%rax), %edx
andl $0xf, %edx
je 0x4e8b
movq %rbx, %rdi
leaq 0x4b5b(%rip), %rsi      # 0x99df
xorl %eax, %eax
callq 0x2220
movzbl %bpl, %eax
leal (%rax,%rax,8), %eax
movl %r14d, %edi
addb %r15b, %al
je 0x4e9d
pushq $0x2c
popq %rdi
movq %rbx, %rsi
callq 0x21c0
decb %r15b
incb %r12b
addq $0x4, %r13
jmp 0x4e51
leaq 0x10(%rsp), %r14
movq %r14, %rdi
callq 0x2250
movq %r14, %rdi
callq 0x20f0
movq %rax, %r10
subq $0x8, %rsp
leaq 0x534b(%rip), %rsi      # 0xa21f
movq %rbx, %rdi
movl $0xd3, %edx
movl $0x12d, %ecx            # imm = 0x12D
movl $0x191, %r8d            # imm = 0x191
movl $0x1eb, %r9d            # imm = 0x1EB
xorl %eax, %eax
pushq %r10
callq 0x2220
popq %rcx
popq %rdx
leaq 0x5392(%rip), %rsi      # 0xa291
leaq 0xa50a(%rip), %rdx      # 0xf410
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2220
leaq 0x5389(%rip), %rsi      # 0xa2a0
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2220
pushq $0x28
popq %rdi
movq %rbx, %rsi
callq 0x21c0
leaq 0xa56d(%rip), %r15      # 0xf4a0
pushq $0x20
popq %rbp
leaq 0x4aa2(%rip), %r14      # 0x99df
xorl %r12d, %r12d
cmpq $0x144, %r12            # imm = 0x144
je 0x4f73
movzwl 0x2(%r12,%r15), %edx
andl $0xf, %edx
je 0x4f63
movq %rbx, %rdi
movq %r14, %rsi
xorl %eax, %eax
callq 0x2220
jmp 0x4f6d
movl %ebp, %edi
movq %rbx, %rsi
callq 0x21c0
addq $0x4, %r12
jmp 0x4f40
leaq 0x5337(%rip), %rdi      # 0xa2b1
pushq $0x2
popq %rsi
pushq $0x1
popq %rdx
movq %rbx, %rcx
callq 0x2340
leaq 0x5325(%rip), %rsi      # 0xa2b4
movq %rbx, %rdi
movl $0xd3, %edx
movl $0x12d, %ecx            # imm = 0x12D
xorl %eax, %eax
callq 0x2220
subq $0x8, %rsp
movl $0xb9, %r10d
leaq 0x5311(%rip), %rsi      # 0xa2c5
pushq $0x3c
popq %r8
movq %rbx, %rdi
movl $0xb9, %edx
movl $0xb9, %ecx
movl $0xb9, %r9d
movl $0x0, %eax
pushq %r10
pushq %r10
pushq %r10
pushq %r10
pushq %r10
callq 0x2220
addq $0x30, %rsp
leaq 0x542d(%rip), %rsi      # 0xa417
pushq $0xa
popq %rdx
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2220
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq