// File: /workspace/github_c_makefile_star2_O3/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
pushq %rax
movq %rdi, %rbx
movl 0x9c35(%rip), %eax      # 0xf3d4
leaq 0x39a2(%rip), %rcx      # 0x9148
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
leaq 0x5a92(%rip), %rsi      # 0xb248
leaq 0x9c53(%rip), %rdx      # 0xf410
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2220
leaq 0x9cd2(%rip), %rbp      # 0xf4a0
movabsq $-0x1c71c71c71c71c71, %r14 # imm = 0xE38E38E38E38E38F
leaq 0x5250(%rip), %r15      # 0xaa2f
xorl %r12d, %r12d
movq %r12, %rax
mulq %r14
movq %rdx, %r13
movzwl 0x2(%rbp), %edx
movl 0x9bdf(%rip), %eax      # 0xf3d4
andl $0xf, %edx
je 0x5816
testl %eax, %eax
movq %r15, %rsi
leaq 0x5a4c(%rip), %rax      # 0xb252
cmoveq %rax, %rsi
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2220
jmp 0x5834
testl %eax, %eax
leaq 0x5a31(%rip), %rsi      # 0xb250
leaq 0x5a29(%rip), %rax      # 0xb24f
cmoveq %rax, %rsi
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2220
shrq $0x3, %r13
leaq (,%r13,8), %rax
addq %r13, %rax
addb $0x8, %al
cmpb %r12b, %al
jne 0x5899
movl $0xa, %edi
movq %rbx, %rsi
callq 0x21c0
cmpq $0x50, %r12
je 0x58e6
cmpl $0x0, 0x9b6c(%rip)      # 0xf3d4
jne 0x58e6
movzbl %r12b, %eax
imull $0x39, %eax, %eax
shrl $0x9, %eax
movzbl %al, %eax
imull $0x56, %eax, %ecx
shrl $0x8, %ecx
leal (%rcx,%rcx,2), %ecx
subb %cl, %al
cmpb $0x2, %al
jne 0x58e6
movl $0x18, %esi
movl $0x1, %edx
leaq 0x59bf(%rip), %rdi      # 0xb256
jmp 0x58de
movzbl %r12b, %eax
imull $0x39, %eax, %eax
shrl $0x9, %eax
leal (%rax,%rax,8), %eax
movl %r12d, %ecx
subb %al, %cl
movzbl %cl, %ecx
imull $0x56, %ecx, %ecx
shrl $0x8, %ecx
leal (%rcx,%rcx,2), %ecx
addb %al, %cl
addb $0x2, %cl
movzbl %cl, %eax
cmpb %r12b, %al
jne 0x58e6
cmpl $0x0, 0x9b09(%rip)      # 0xf3d4
jne 0x58e6
movl $0x2, %esi
movl $0x1, %edx
leaq 0x5d6b(%rip), %rdi      # 0xb649
movq %rbx, %rcx
callq 0x2340
incq %r12
addq $0x4, %rbp
cmpq $0x51, %r12
jne 0x57e2
jmp 0x5c09
leaq 0x5c3e(%rip), %rdi      # 0xb541
movl $0xc, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x2340
leaq 0x5c32(%rip), %rsi      # 0xb54e
leaq 0x9aed(%rip), %rdx      # 0xf410
xorl %r12d, %r12d
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2220
leaq 0x5c29(%rip), %rdi      # 0xb560
movl $0x5c, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x2340
movb $0x8, %bpl
xorl %r14d, %r14d
xorl %r15d, %r15d
movzbl %r14b, %eax
imull $0x39, %eax, %eax
shrl $0x9, %eax
leal (%rax,%rax,8), %r13d
movl %r12d, %eax
addb %r13b, %al
jne 0x5981
movl $0x4, %esi
movl $0x1, %edx
leaq 0x5c44(%rip), %rdi      # 0xb5bd
movq %rbx, %rcx
callq 0x2340
movl $0x4, %esi
movl $0x1, %edx
leaq 0x5c30(%rip), %rdi      # 0xb5c2
movq %rbx, %rcx
callq 0x2340
leaq 0x9aff(%rip), %rax      # 0xf4a0
movzwl 0x2(%r15,%rax), %edx
andl $0xf, %edx
je 0x59bf
movq %rbx, %rdi
leaq 0x5c24(%rip), %rsi      # 0xb5da
xorl %eax, %eax
callq 0x2220
jmp 0x59d8
movl $0x12, %esi
movl $0x1, %edx
leaq 0x5bf7(%rip), %rdi      # 0xb5c7
movq %rbx, %rcx
callq 0x2340
addb %bpl, %r13b
movl $0x5, %esi
movl $0x1, %edx
leaq 0x5bfd(%rip), %rdi      # 0xb5e9
movq %rbx, %rcx
callq 0x2340
testb %r13b, %r13b
jne 0x5a12
movl $0x6, %esi
movl $0x1, %edx
leaq 0x5be5(%rip), %rdi      # 0xb5ef
movq %rbx, %rcx
callq 0x2340
addq $0x4, %r15
decb %bpl
incb %r14b
decb %r12b
cmpq $0x144, %r15            # imm = 0x144
jne 0x5952
leaq 0x5bc3(%rip), %rdi      # 0xb5f6
movl $0x17, %esi
movl $0x1, %edx
movq %rbx, %rcx
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x2340
movb $0x8, %bpl
xorl %r15d, %r15d
leaq 0x9a40(%rip), %r12      # 0xf4a0
leaq 0x4fc8(%rip), %r14      # 0xaa2f
xorl %r13d, %r13d
movzwl 0x2(%r13,%r12), %edx
andl $0xf, %edx
je 0x5a82
movq %rbx, %rdi
movq %r14, %rsi
xorl %eax, %eax
callq 0x2220
movzbl %r15b, %eax
imull $0x39, %eax, %eax
shrl $0x9, %eax
leal (%rax,%rax,8), %eax
movl $0xa, %edi
addb %bpl, %al
je 0x5a9e
movl $0x2c, %edi
movq %rbx, %rsi
callq 0x21c0
addq $0x4, %r13
decb %bpl
incb %r15b
cmpq $0x144, %r13            # imm = 0x144
jne 0x5a6a
jmp 0x5c09
movq %rsp, %r14
movq %r14, %rdi
callq 0x2250
movq %r14, %rdi
callq 0x20f0
movq %rax, %r10
subq $0x8, %rsp
leaq 0x5790(%rip), %rsi      # 0xb26f
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
addq $0x10, %rsp
leaq 0x57d5(%rip), %rsi      # 0xb2e1
leaq 0x98fd(%rip), %rdx      # 0xf410
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2220
leaq 0x57cc(%rip), %rsi      # 0xb2f0
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2220
movl $0x28, %edi
movq %rbx, %rsi
callq 0x21c0
leaq 0x995e(%rip), %r15      # 0xf4a0
leaq 0x4ee6(%rip), %r14      # 0xaa2f
xorl %r12d, %r12d
movzwl 0x2(%r12,%r15), %edx
andl $0xf, %edx
je 0x5b66
movq %rbx, %rdi
movq %r14, %rsi
xorl %eax, %eax
callq 0x2220
jmp 0x5b73
movl $0x20, %edi
movq %rbx, %rsi
callq 0x21c0
addq $0x4, %r12
cmpq $0x144, %r12            # imm = 0x144
jne 0x5b4c
leaq 0x577a(%rip), %rdi      # 0xb301
movl $0x2, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x2340
leaq 0x5764(%rip), %rsi      # 0xb304
movq %rbx, %rdi
movl $0xd3, %edx
movl $0x12d, %ecx            # imm = 0x12D
xorl %eax, %eax
callq 0x2220
subq $0x8, %rsp
movl $0xb9, %r10d
leaq 0x5750(%rip), %rsi      # 0xb315
movq %rbx, %rdi
movl $0xb9, %edx
movl $0xb9, %ecx
movl $0x3c, %r8d
movl $0xb9, %r9d
xorl %eax, %eax
pushq %r10
pushq %r10
pushq %r10
pushq %r10
pushq %r10
callq 0x2220
addq $0x30, %rsp
leaq 0x586d(%rip), %rsi      # 0xb467
movq %rbx, %rdi
movl $0xa, %edx
xorl %eax, %eax
callq 0x2220
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq