// File: /workspace/github_cpp_makefile_star2_O1/BenLangmead[P]bowtie/./ebwt.h
// Function: EbwtParams::repOk() const
bool repOk() const {
		assert_gt(_len, 0);
		assert_gt(_lineRate, 3);
		assert_geq(_offRate, 0);
		assert_leq(_ftabChars, 16);
		assert_geq(_ftabChars, 1);
		assert_lt(_lineRate, 32);
		assert_lt(_linesPerSide, 32);
		assert_lt(_ftabChars, 32);
		assert_eq(0, _ebwtTotSz % (_isBt2Index ? _lineSz : 2*_lineSz));
		return true;
	}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rdi, %rbx
cmpq $0x0, (%rdi)
je 0x130ff
movl 0x20(%rbx), %eax
cmpl $0x3, %eax
jle 0x131a1
cmpl $0x0, 0x2c(%rbx)
js 0x13246
movl 0x40(%rbx), %ecx
cmpl $0x11, %ecx
jge 0x132e8
testl %ecx, %ecx
jle 0x1338d
cmpl $0x20, %eax
jge 0x13432
cmpl $0x20, 0x24(%rbx)
jge 0x134d7
movq 0xb0(%rbx), %rax
movb 0xb9(%rbx), %cl
movl 0x80(%rbx), %esi
xorb $0x1, %cl
shll %cl, %esi
xorl %edx, %edx
divq %rsi
testq %rdx, %rdx
jne 0x1357c
movb $0x1, %al
popq %rbx
popq %r14
popq %r15
retq
movq 0x23eb2(%rip), %r14     # 0x36fb8
leaq 0x1a008(%rip), %rsi     # 0x2d115
movq %r14, %rdi
callq 0x4310
movq (%rbx), %rsi
movq %rax, %rdi
callq 0x40c0
leaq 0x1a004(%rip), %rsi     # 0x2d12b
movq %rax, %rdi
callq 0x4310
movq %rax, %rdi
xorl %esi, %esi
callq 0x4610
leaq 0x1c1d5(%rip), %rsi     # 0x2f315
movq %rax, %rdi
callq 0x4310
movq %rax, %rdi
callq 0x4150
leaq 0x19f83(%rip), %rbx     # 0x2d0da
movq %r14, %rdi
movq %rbx, %rsi
callq 0x4310
leaq 0x1b5af(%rip), %rsi     # 0x2e718
movq %rax, %rdi
callq 0x4310
movq %rax, %rdi
movl $0xf2, %esi
callq 0x4610
movq %rax, %rdi
callq 0x4150
leaq 0x1b46b(%rip), %rdi     # 0x2e5f8
leaq 0x1b622(%rip), %rcx     # 0x2e7b6
movq %rbx, %rsi
movl $0xf2, %edx
callq 0x41c0
movq 0x23e10(%rip), %r14     # 0x36fb8
leaq 0x19f66(%rip), %rsi     # 0x2d115
movq %r14, %rdi
callq 0x4310
movl 0x20(%rbx), %esi
movq %rax, %rdi
callq 0x4610
leaq 0x19f62(%rip), %rsi     # 0x2d12b
movq %rax, %rdi
callq 0x4310
movq %rax, %rdi
movl $0x3, %esi
callq 0x4610
leaq 0x1c130(%rip), %rsi     # 0x2f315
movq %rax, %rdi
callq 0x4310
movq %rax, %rdi
callq 0x4150
leaq 0x19ede(%rip), %rbx     # 0x2d0da
movq %r14, %rdi
movq %rbx, %rsi
callq 0x4310
leaq 0x1b50a(%rip), %rsi     # 0x2e718
movq %rax, %rdi
callq 0x4310
movq %rax, %rdi
movl $0xf3, %esi
callq 0x4610
movq %rax, %rdi
callq 0x4150
leaq 0x1b3c6(%rip), %rdi     # 0x2e5f8
leaq 0x1b57d(%rip), %rcx     # 0x2e7b6
movq %rbx, %rsi
movl $0xf3, %edx
callq 0x41c0
movq 0x23d6b(%rip), %r14     # 0x36fb8
leaq 0x19fce(%rip), %rsi     # 0x2d222
movq %r14, %rdi
callq 0x4310
movl 0x2c(%rbx), %esi
movq %rax, %rdi
callq 0x4610
leaq 0x19fcb(%rip), %rsi     # 0x2d239
movq %rax, %rdi
callq 0x4310
movq %rax, %rdi
xorl %esi, %esi
callq 0x4610
leaq 0x1c08e(%rip), %rsi     # 0x2f315
movq %rax, %rdi
callq 0x4310
movq %rax, %rdi
callq 0x4150
leaq 0x19e3c(%rip), %rbx     # 0x2d0da
movq %r14, %rdi
movq %rbx, %rsi
callq 0x4310
leaq 0x1b468(%rip), %rsi     # 0x2e718
movq %rax, %rdi
callq 0x4310
movq %rax, %rdi
movl $0xf4, %esi
callq 0x4610
movq %rax, %rdi
callq 0x4150
leaq 0x1b324(%rip), %rdi     # 0x2e5f8
leaq 0x1b4db(%rip), %rcx     # 0x2e7b6
movq %rbx, %rsi
movl $0xf4, %edx
callq 0x41c0
movq 0x23cc9(%rip), %r14     # 0x36fb8
leaq 0x19eca(%rip), %rsi     # 0x2d1c0
movq %r14, %rdi
callq 0x4310
movl 0x40(%rbx), %esi
movq %rax, %rdi
callq 0x4610
leaq 0x19ec7(%rip), %rsi     # 0x2d1d7
movq %rax, %rdi
callq 0x4310
movq %rax, %rdi
movl $0x10, %esi
callq 0x4610
leaq 0x1bfe9(%rip), %rsi     # 0x2f315
movq %rax, %rdi
callq 0x4310
movq %rax, %rdi
callq 0x4150
leaq 0x19d97(%rip), %rbx     # 0x2d0da
movq %r14, %rdi
movq %rbx, %rsi
callq 0x4310
leaq 0x1b3c3(%rip), %rsi     # 0x2e718
movq %rax, %rdi
callq 0x4310
movq %rax, %rdi
movl $0xf5, %esi
callq 0x4610
movq %rax, %rdi
callq 0x4150
leaq 0x1b27f(%rip), %rdi     # 0x2e5f8
leaq 0x1b436(%rip), %rcx     # 0x2e7b6
movq %rbx, %rsi
movl $0xf5, %edx
callq 0x41c0
movq 0x23c24(%rip), %r14     # 0x36fb8
leaq 0x19e87(%rip), %rsi     # 0x2d222
movq %r14, %rdi
callq 0x4310
movl 0x40(%rbx), %esi
movq %rax, %rdi
callq 0x4610
leaq 0x19e84(%rip), %rsi     # 0x2d239
movq %rax, %rdi
callq 0x4310
movq %rax, %rdi
movl $0x1, %esi
callq 0x4610
leaq 0x1bf44(%rip), %rsi     # 0x2f315
movq %rax, %rdi
callq 0x4310
movq %rax, %rdi
callq 0x4150
leaq 0x19cf2(%rip), %rbx     # 0x2d0da
movq %r14, %rdi
movq %rbx, %rsi
callq 0x4310
leaq 0x1b31e(%rip), %rsi     # 0x2e718
movq %rax, %rdi
callq 0x4310
movq %rax, %rdi
movl $0xf6, %esi
callq 0x4610
movq %rax, %rdi
callq 0x4150
leaq 0x1b1da(%rip), %rdi     # 0x2e5f8
leaq 0x1b391(%rip), %rcx     # 0x2e7b6
movq %rbx, %rsi
movl $0xf6, %edx
callq 0x41c0
movq 0x23b7f(%rip), %r14     # 0x36fb8
leaq 0x19e24(%rip), %rsi     # 0x2d264
movq %r14, %rdi
callq 0x4310
movl 0x20(%rbx), %esi
movq %rax, %rdi
callq 0x4610
leaq 0x19e20(%rip), %rsi     # 0x2d27a
movq %rax, %rdi
callq 0x4310
movq %rax, %rdi
movl $0x20, %esi
callq 0x4610
leaq 0x1be9f(%rip), %rsi     # 0x2f315
movq %rax, %rdi
callq 0x4310
movq %rax, %rdi
callq 0x4150
leaq 0x19c4d(%rip), %rbx     # 0x2d0da
movq %r14, %rdi
movq %rbx, %rsi
callq 0x4310
leaq 0x1b279(%rip), %rsi     # 0x2e718
movq %rax, %rdi
callq 0x4310
movq %rax, %rdi
movl $0xf7, %esi
callq 0x4610
movq %rax, %rdi
callq 0x4150
leaq 0x1b135(%rip), %rdi     # 0x2e5f8
leaq 0x1b2ec(%rip), %rcx     # 0x2e7b6
movq %rbx, %rsi
movl $0xf7, %edx
callq 0x41c0
movq 0x23ada(%rip), %r14     # 0x36fb8
leaq 0x19d7f(%rip), %rsi     # 0x2d264
movq %r14, %rdi
callq 0x4310
movl 0x24(%rbx), %esi
movq %rax, %rdi
callq 0x4610
leaq 0x19d7b(%rip), %rsi     # 0x2d27a
movq %rax, %rdi
callq 0x4310
movq %rax, %rdi
movl $0x20, %esi
callq 0x4610
leaq 0x1bdfa(%rip), %rsi     # 0x2f315
movq %rax, %rdi
callq 0x4310
movq %rax, %rdi
callq 0x4150
leaq 0x19ba8(%rip), %rbx     # 0x2d0da
movq %r14, %rdi
movq %rbx, %rsi
callq 0x4310
leaq 0x1b1d4(%rip), %rsi     # 0x2e718
movq %rax, %rdi
callq 0x4310
movq %rax, %rdi
movl $0xf8, %esi
callq 0x4610
movq %rax, %rdi
callq 0x4150
leaq 0x1b090(%rip), %rdi     # 0x2e5f8
leaq 0x1b247(%rip), %rcx     # 0x2e7b6
movq %rbx, %rsi
movl $0xf8, %edx
callq 0x41c0
movq 0x23a35(%rip), %r14     # 0x36fb8
leaq 0x19bac(%rip), %rsi     # 0x2d136
movq %r14, %rdi
callq 0x4310
movq %rax, %rdi
xorl %esi, %esi
callq 0x4610
leaq 0x19ba9(%rip), %r15     # 0x2d14c
movq %rax, %rdi
movq %r15, %rsi
callq 0x4310
movq (%rax), %rcx
movq -0x18(%rcx), %rcx
movl 0x18(%rax,%rcx), %edx
andl $-0x4b, %edx
orl $0x8, %edx
movl %edx, 0x18(%rax,%rcx)
movq %rax, %rdi
xorl %esi, %esi
callq 0x4610
movq (%rax), %rcx
movq -0x18(%rcx), %rcx
movl 0x18(%rax,%rcx), %edx
andl $-0x4b, %edx
orl $0x2, %edx
movl %edx, 0x18(%rax,%rcx)
leaq 0x19b68(%rip), %rsi     # 0x2d151
movq %rax, %rdi
callq 0x4310
movq %rax, %rdi
movq 0xb0(%rbx), %rax
movb 0xb9(%rbx), %cl
movl 0x80(%rbx), %esi
xorb $0x1, %cl
shll %cl, %esi
xorl %edx, %edx
divq %rsi
movq %rdx, %rsi
callq 0x40c0
movq %rax, %rdi
movq %r15, %rsi
callq 0x4310
movq %rax, %rdi
movq (%rax), %rax
movq -0x18(%rax), %rax
movl 0x18(%rdi,%rax), %ecx
andl $-0x4b, %ecx
orl $0x8, %ecx
movl %ecx, 0x18(%rdi,%rax)
movq 0xb0(%rbx), %rax
movb 0xb9(%rbx), %cl
movl 0x80(%rbx), %esi
xorb $0x1, %cl
shll %cl, %esi
xorl %edx, %edx
divq %rsi
movq %rdx, %rsi
callq 0x40c0
movq (%rax), %rcx
movq -0x18(%rcx), %rcx
movl 0x18(%rax,%rcx), %edx
andl $-0x4b, %edx
orl $0x2, %edx
movl %edx, 0x18(%rax,%rcx)
leaq 0x1bc98(%rip), %rsi     # 0x2f315
movq %rax, %rdi
callq 0x4310
movq %rax, %rdi
callq 0x4150
leaq 0x19a46(%rip), %rbx     # 0x2d0da
movq %r14, %rdi
movq %rbx, %rsi
callq 0x4310
leaq 0x1b072(%rip), %rsi     # 0x2e718
movq %rax, %rdi
callq 0x4310
movq %rax, %rdi
movl $0xfa, %esi
callq 0x4610
movq %rax, %rdi
callq 0x4150
leaq 0x1af2e(%rip), %rdi     # 0x2e5f8
leaq 0x1b0e5(%rip), %rcx     # 0x2e7b6
movq %rbx, %rsi
movl $0xfa, %edx
callq 0x41c0