// File: /workspace/github_c_makefile_star2_O1/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 0x9cba(%rip), %eax      # 0xf3d4
leaq 0x3a27(%rip), %rcx      # 0x9148
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
leaq 0x5af8(%rip), %rsi      # 0xb229
leaq 0x9cd8(%rip), %rdx      # 0xf410
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2220
leaq 0x9d57(%rip), %rbp      # 0xf4a0
movabsq $-0x1c71c71c71c71c71, %r14 # imm = 0xE38E38E38E38E38F
leaq 0x5295(%rip), %r15      # 0xa9ef
xorl %r12d, %r12d
movq %r12, %rax
mulq %r14
movq %rdx, %r13
movzwl 0x2(%rbp), %edx
movl 0x9c64(%rip), %eax      # 0xf3d4
andl $0xf, %edx
je 0x5791
testl %eax, %eax
movq %r15, %rsi
leaq 0x5ab2(%rip), %rax      # 0xb233
cmoveq %rax, %rsi
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2220
jmp 0x57af
testl %eax, %eax
leaq 0x5a97(%rip), %rsi      # 0xb231
leaq 0x5a8f(%rip), %rax      # 0xb230
cmoveq %rax, %rsi
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2220
shrq $0x3, %r13
leaq (,%r13,8), %rax
addq %r13, %rax
addl $0x8, %eax
cmpl %r12d, %eax
jne 0x5822
movl $0xa, %edi
movq %rbx, %rsi
callq 0x21c0
cmpq $0x50, %r12
je 0x5872
cmpl $0x0, 0x9bf0(%rip)      # 0xf3d4
jne 0x5872
movl %r12d, %eax
imulq $0x38e38e39, %rax, %rax # imm = 0x38E38E39
shrq $0x21, %rax
movl %eax, %ecx
imulq $0x55555556, %rcx, %rcx # imm = 0x55555556
shrq $0x20, %rcx
leal (%rcx,%rcx,2), %ecx
subl %ecx, %eax
cmpl $0x2, %eax
jne 0x5872
movl $0x18, %esi
movl $0x1, %edx
leaq 0x5a17(%rip), %rdi      # 0xb237
jmp 0x586a
movl %r12d, %eax
imulq $0x38e38e39, %rax, %rax # imm = 0x38E38E39
shrq $0x21, %rax
leal (%rax,%rax,8), %eax
movl %r12d, %ecx
subl %eax, %ecx
imulq $0x55555556, %rcx, %rcx # imm = 0x55555556
shrq $0x20, %rcx
leal (%rcx,%rcx,2), %ecx
addl %ecx, %eax
addl $0x2, %eax
cmpl %r12d, %eax
jne 0x5872
cmpl $0x0, 0x9b7d(%rip)      # 0xf3d4
jne 0x5872
movl $0x2, %esi
movl $0x1, %edx
leaq 0x5dc0(%rip), %rdi      # 0xb62a
movq %rbx, %rcx
callq 0x2340
incq %r12
addq $0x4, %rbp
cmpq $0x51, %r12
jne 0x575d
jmp 0x5bb2
leaq 0x5c93(%rip), %rdi      # 0xb522
movl $0xc, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x2340
leaq 0x5c87(%rip), %rsi      # 0xb52f
leaq 0x9b61(%rip), %rdx      # 0xf410
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2220
leaq 0x5c81(%rip), %rdi      # 0xb541
movl $0x5c, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x2340
leaq 0x5cca(%rip), %r15      # 0xb5a3
leaq 0x5cea(%rip), %r13      # 0xb5ca
xorl %r12d, %r12d
xorl %r14d, %r14d
movq %r14, %rax
movabsq $-0x1c71c71c71c71c71, %rcx # imm = 0xE38E38E38E38E38F
mulq %rcx
movq %rdx, %rbp
shrq %rbp
andq $-0x4, %rbp
leaq (,%rbp,8), %rax
addq %rbp, %rax
cmpl %r12d, %eax
jne 0x5929
movl $0x4, %esi
movl $0x1, %edx
leaq 0x5c7d(%rip), %rdi      # 0xb59e
movq %rbx, %rcx
callq 0x2340
movl $0x4, %esi
movl $0x1, %edx
movq %r15, %rdi
movq %rbx, %rcx
callq 0x2340
leaq 0x9b5b(%rip), %rax      # 0xf4a0
movzwl 0x2(%r12,%rax), %edx
andl $0xf, %edx
je 0x5963
movq %rbx, %rdi
leaq 0x5c61(%rip), %rsi      # 0xb5bb
xorl %eax, %eax
callq 0x2220
jmp 0x597c
movl $0x12, %esi
movl $0x1, %edx
leaq 0x5c34(%rip), %rdi      # 0xb5a8
movq %rbx, %rcx
callq 0x2340
leaq 0x20(%rbp,%rbp,8), %rbp
movl $0x5, %esi
movl $0x1, %edx
movq %r13, %rdi
movq %rbx, %rcx
callq 0x2340
cmpl %r12d, %ebp
jne 0x59b4
movl $0x6, %esi
movl $0x1, %edx
leaq 0x5c24(%rip), %rdi      # 0xb5d0
movq %rbx, %rcx
callq 0x2340
incq %r14
addq $0x4, %r12
cmpq $0x144, %r12            # imm = 0x144
jne 0x58e6
leaq 0x5c08(%rip), %rdi      # 0xb5d7
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
movabsq $-0x1c71c71c71c71c71, %r13 # imm = 0xE38E38E38E38E38F
leaq 0x9aa0(%rip), %rbp      # 0xf4a0
xorl %r14d, %r14d
xorl %r15d, %r15d
movq %r15, %rax
mulq %r13
movq %rdx, %r12
movzwl 0x2(%r14,%rbp), %edx
andl $0xf, %edx
je 0x5a2b
movq %rbx, %rdi
leaq 0x4fcb(%rip), %rsi      # 0xa9ef
xorl %eax, %eax
callq 0x2220
shrq $0x3, %r12
leaq (%r12,%r12,8), %rax
leaq 0x20(,%rax,4), %rax
movl $0xa, %edi
cmpl %r14d, %eax
je 0x5a4a
movl $0x2c, %edi
movq %rbx, %rsi
callq 0x21c0
incq %r15
addq $0x4, %r14
cmpq $0x144, %r14            # imm = 0x144
jne 0x5a06
jmp 0x5bb2
movq %rsp, %r14
movq %r14, %rdi
callq 0x2250
movq %r14, %rdi
callq 0x20f0
movq %rax, %r10
subq $0x8, %rsp
leaq 0x57c8(%rip), %rsi      # 0xb250
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 0x580d(%rip), %rsi      # 0xb2c2
leaq 0x9954(%rip), %rdx      # 0xf410
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2220
leaq 0x5804(%rip), %rsi      # 0xb2d1
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2220
movl $0x28, %edi
movq %rbx, %rsi
callq 0x21c0
leaq 0x99b5(%rip), %r15      # 0xf4a0
leaq 0x4efd(%rip), %r14      # 0xa9ef
xorl %r12d, %r12d
movzwl 0x2(%r12,%r15), %edx
andl $0xf, %edx
je 0x5b0f
movq %rbx, %rdi
movq %r14, %rsi
xorl %eax, %eax
callq 0x2220
jmp 0x5b1c
movl $0x20, %edi
movq %rbx, %rsi
callq 0x21c0
addq $0x4, %r12
cmpq $0x144, %r12            # imm = 0x144
jne 0x5af5
leaq 0x57b2(%rip), %rdi      # 0xb2e2
movl $0x2, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x2340
leaq 0x579c(%rip), %rsi      # 0xb2e5
movq %rbx, %rdi
movl $0xd3, %edx
movl $0x12d, %ecx            # imm = 0x12D
xorl %eax, %eax
callq 0x2220
subq $0x8, %rsp
movl $0xb9, %r10d
leaq 0x5788(%rip), %rsi      # 0xb2f6
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 0x58a5(%rip), %rsi      # 0xb448
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