// File: 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 %rbp
movq %rsp, %rbp
subq $0x50, %rsp
movq %rdi, -0x8(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x10(%rbp)
cmpq $0x0, (%rax)
ja 0x1c094
movq 0x2dfdb(%rip), %rdi     # 0x49fc0
leaq 0x2310c(%rip), %rsi     # 0x3f0f8
callq 0x5360
movq %rax, %rdi
movq -0x10(%rbp), %rax
movq (%rax), %rsi
callq 0x50c0
movq %rax, %rdi
leaq 0x23104(%rip), %rsi     # 0x3f10e
callq 0x5360
movq %rax, %rdi
xorl %esi, %esi
callq 0x5750
movq %rax, %rdi
leaq 0x25595(%rip), %rsi     # 0x415b8
callq 0x5360
movq %rax, %rdi
movq 0x2df4e(%rip), %rsi     # 0x49f80
callq 0x53c0
movq 0x2df82(%rip), %rdi     # 0x49fc0
leaq 0x23078(%rip), %rsi     # 0x3f0bd
callq 0x5360
movq %rax, %rdi
leaq 0x24736(%rip), %rsi     # 0x4078a
callq 0x5360
movq %rax, %rdi
movl $0xf2, %esi
callq 0x5750
movq %rax, %rdi
movq 0x2df10(%rip), %rsi     # 0x49f80
callq 0x53c0
leaq 0x245ee(%rip), %rdi     # 0x4066a
leaq 0x2303a(%rip), %rsi     # 0x3f0bd
movl $0xf2, %edx
leaq 0x24799(%rip), %rcx     # 0x40828
callq 0x51e0
movq -0x10(%rbp), %rax
cmpl $0x3, 0x20(%rax)
jg 0x1c15b
movq 0x2df17(%rip), %rdi     # 0x49fc0
leaq 0x23048(%rip), %rsi     # 0x3f0f8
callq 0x5360
movq %rax, %rdi
movq -0x10(%rbp), %rax
movl 0x20(%rax), %esi
callq 0x5750
movq %rax, %rdi
leaq 0x23040(%rip), %rsi     # 0x3f10e
callq 0x5360
movq %rax, %rdi
movl $0x3, %esi
callq 0x5750
movq %rax, %rdi
leaq 0x254ce(%rip), %rsi     # 0x415b8
callq 0x5360
movq %rax, %rdi
movq 0x2de87(%rip), %rsi     # 0x49f80
callq 0x53c0
movq 0x2debb(%rip), %rdi     # 0x49fc0
leaq 0x22fb1(%rip), %rsi     # 0x3f0bd
callq 0x5360
movq %rax, %rdi
leaq 0x2466f(%rip), %rsi     # 0x4078a
callq 0x5360
movq %rax, %rdi
movl $0xf3, %esi
callq 0x5750
movq %rax, %rdi
movq 0x2de49(%rip), %rsi     # 0x49f80
callq 0x53c0
leaq 0x24527(%rip), %rdi     # 0x4066a
leaq 0x22f73(%rip), %rsi     # 0x3f0bd
movl $0xf3, %edx
leaq 0x246d2(%rip), %rcx     # 0x40828
callq 0x51e0
movq -0x10(%rbp), %rax
cmpl $0x0, 0x2c(%rax)
jge 0x1c21f
movq 0x2de50(%rip), %rdi     # 0x49fc0
leaq 0x2308e(%rip), %rsi     # 0x3f205
callq 0x5360
movq %rax, %rdi
movq -0x10(%rbp), %rax
movl 0x2c(%rax), %esi
callq 0x5750
movq %rax, %rdi
leaq 0x23087(%rip), %rsi     # 0x3f21c
callq 0x5360
movq %rax, %rdi
xorl %esi, %esi
callq 0x5750
movq %rax, %rdi
leaq 0x2540a(%rip), %rsi     # 0x415b8
callq 0x5360
movq %rax, %rdi
movq 0x2ddc3(%rip), %rsi     # 0x49f80
callq 0x53c0
movq 0x2ddf7(%rip), %rdi     # 0x49fc0
leaq 0x22eed(%rip), %rsi     # 0x3f0bd
callq 0x5360
movq %rax, %rdi
leaq 0x245ab(%rip), %rsi     # 0x4078a
callq 0x5360
movq %rax, %rdi
movl $0xf4, %esi
callq 0x5750
movq %rax, %rdi
movq 0x2dd85(%rip), %rsi     # 0x49f80
callq 0x53c0
leaq 0x24463(%rip), %rdi     # 0x4066a
leaq 0x22eaf(%rip), %rsi     # 0x3f0bd
movl $0xf4, %edx
leaq 0x2460e(%rip), %rcx     # 0x40828
callq 0x51e0
movq -0x10(%rbp), %rax
cmpl $0x10, 0x40(%rax)
jle 0x1c2e6
movq 0x2dd8c(%rip), %rdi     # 0x49fc0
leaq 0x22f68(%rip), %rsi     # 0x3f1a3
callq 0x5360
movq %rax, %rdi
movq -0x10(%rbp), %rax
movl 0x40(%rax), %esi
callq 0x5750
movq %rax, %rdi
leaq 0x22f61(%rip), %rsi     # 0x3f1ba
callq 0x5360
movq %rax, %rdi
movl $0x10, %esi
callq 0x5750
movq %rax, %rdi
leaq 0x25343(%rip), %rsi     # 0x415b8
callq 0x5360
movq %rax, %rdi
movq 0x2dcfc(%rip), %rsi     # 0x49f80
callq 0x53c0
movq 0x2dd30(%rip), %rdi     # 0x49fc0
leaq 0x22e26(%rip), %rsi     # 0x3f0bd
callq 0x5360
movq %rax, %rdi
leaq 0x244e4(%rip), %rsi     # 0x4078a
callq 0x5360
movq %rax, %rdi
movl $0xf5, %esi
callq 0x5750
movq %rax, %rdi
movq 0x2dcbe(%rip), %rsi     # 0x49f80
callq 0x53c0
leaq 0x2439c(%rip), %rdi     # 0x4066a
leaq 0x22de8(%rip), %rsi     # 0x3f0bd
movl $0xf5, %edx
leaq 0x24547(%rip), %rcx     # 0x40828
callq 0x51e0
movq -0x10(%rbp), %rax
cmpl $0x1, 0x40(%rax)
jge 0x1c3ad
movq 0x2dcc5(%rip), %rdi     # 0x49fc0
leaq 0x22f03(%rip), %rsi     # 0x3f205
callq 0x5360
movq %rax, %rdi
movq -0x10(%rbp), %rax
movl 0x40(%rax), %esi
callq 0x5750
movq %rax, %rdi
leaq 0x22efc(%rip), %rsi     # 0x3f21c
callq 0x5360
movq %rax, %rdi
movl $0x1, %esi
callq 0x5750
movq %rax, %rdi
leaq 0x2527c(%rip), %rsi     # 0x415b8
callq 0x5360
movq %rax, %rdi
movq 0x2dc35(%rip), %rsi     # 0x49f80
callq 0x53c0
movq 0x2dc69(%rip), %rdi     # 0x49fc0
leaq 0x22d5f(%rip), %rsi     # 0x3f0bd
callq 0x5360
movq %rax, %rdi
leaq 0x2441d(%rip), %rsi     # 0x4078a
callq 0x5360
movq %rax, %rdi
movl $0xf6, %esi
callq 0x5750
movq %rax, %rdi
movq 0x2dbf7(%rip), %rsi     # 0x49f80
callq 0x53c0
leaq 0x242d5(%rip), %rdi     # 0x4066a
leaq 0x22d21(%rip), %rsi     # 0x3f0bd
movl $0xf6, %edx
leaq 0x24480(%rip), %rcx     # 0x40828
callq 0x51e0
movq -0x10(%rbp), %rax
cmpl $0x20, 0x20(%rax)
jl 0x1c474
movq 0x2dbfe(%rip), %rdi     # 0x49fc0
leaq 0x22e7e(%rip), %rsi     # 0x3f247
callq 0x5360
movq %rax, %rdi
movq -0x10(%rbp), %rax
movl 0x20(%rax), %esi
callq 0x5750
movq %rax, %rdi
leaq 0x22e76(%rip), %rsi     # 0x3f25d
callq 0x5360
movq %rax, %rdi
movl $0x20, %esi
callq 0x5750
movq %rax, %rdi
leaq 0x251b5(%rip), %rsi     # 0x415b8
callq 0x5360
movq %rax, %rdi
movq 0x2db6e(%rip), %rsi     # 0x49f80
callq 0x53c0
movq 0x2dba2(%rip), %rdi     # 0x49fc0
leaq 0x22c98(%rip), %rsi     # 0x3f0bd
callq 0x5360
movq %rax, %rdi
leaq 0x24356(%rip), %rsi     # 0x4078a
callq 0x5360
movq %rax, %rdi
movl $0xf7, %esi
callq 0x5750
movq %rax, %rdi
movq 0x2db30(%rip), %rsi     # 0x49f80
callq 0x53c0
leaq 0x2420e(%rip), %rdi     # 0x4066a
leaq 0x22c5a(%rip), %rsi     # 0x3f0bd
movl $0xf7, %edx
leaq 0x243b9(%rip), %rcx     # 0x40828
callq 0x51e0
movq -0x10(%rbp), %rax
cmpl $0x20, 0x24(%rax)
jl 0x1c53b
movq 0x2db37(%rip), %rdi     # 0x49fc0
leaq 0x22db7(%rip), %rsi     # 0x3f247
callq 0x5360
movq %rax, %rdi
movq -0x10(%rbp), %rax
movl 0x24(%rax), %esi
callq 0x5750
movq %rax, %rdi
leaq 0x22daf(%rip), %rsi     # 0x3f25d
callq 0x5360
movq %rax, %rdi
movl $0x20, %esi
callq 0x5750
movq %rax, %rdi
leaq 0x250ee(%rip), %rsi     # 0x415b8
callq 0x5360
movq %rax, %rdi
movq 0x2daa7(%rip), %rsi     # 0x49f80
callq 0x53c0
movq 0x2dadb(%rip), %rdi     # 0x49fc0
leaq 0x22bd1(%rip), %rsi     # 0x3f0bd
callq 0x5360
movq %rax, %rdi
leaq 0x2428f(%rip), %rsi     # 0x4078a
callq 0x5360
movq %rax, %rdi
movl $0xf8, %esi
callq 0x5750
movq %rax, %rdi
movq 0x2da69(%rip), %rsi     # 0x49f80
callq 0x53c0
leaq 0x24147(%rip), %rdi     # 0x4066a
leaq 0x22b93(%rip), %rsi     # 0x3f0bd
movl $0xf8, %edx
leaq 0x242f2(%rip), %rcx     # 0x40828
callq 0x51e0
movq -0x10(%rbp), %rax
cmpl $0x20, 0x40(%rax)
jl 0x1c602
movq 0x2da70(%rip), %rdi     # 0x49fc0
leaq 0x22cf0(%rip), %rsi     # 0x3f247
callq 0x5360
movq %rax, %rdi
movq -0x10(%rbp), %rax
movl 0x40(%rax), %esi
callq 0x5750
movq %rax, %rdi
leaq 0x22ce8(%rip), %rsi     # 0x3f25d
callq 0x5360
movq %rax, %rdi
movl $0x20, %esi
callq 0x5750
movq %rax, %rdi
leaq 0x25027(%rip), %rsi     # 0x415b8
callq 0x5360
movq %rax, %rdi
movq 0x2d9e0(%rip), %rsi     # 0x49f80
callq 0x53c0
movq 0x2da14(%rip), %rdi     # 0x49fc0
leaq 0x22b0a(%rip), %rsi     # 0x3f0bd
callq 0x5360
movq %rax, %rdi
leaq 0x241c8(%rip), %rsi     # 0x4078a
callq 0x5360
movq %rax, %rdi
movl $0xf9, %esi
callq 0x5750
movq %rax, %rdi
movq 0x2d9a2(%rip), %rsi     # 0x49f80
callq 0x53c0
leaq 0x24080(%rip), %rdi     # 0x4066a
leaq 0x22acc(%rip), %rsi     # 0x3f0bd
movl $0xf9, %edx
leaq 0x2422b(%rip), %rcx     # 0x40828
callq 0x51e0
movq -0x10(%rbp), %rax
movq 0xb0(%rax), %rcx
movq %rcx, -0x18(%rbp)
testb $0x1, 0xb9(%rax)
je 0x1c629
movq -0x10(%rbp), %rax
movl 0x80(%rax), %eax
movl %eax, -0x1c(%rbp)
jmp 0x1c638
movq -0x10(%rbp), %rax
movl 0x80(%rax), %eax
shll %eax
movl %eax, -0x1c(%rbp)
movq -0x18(%rbp), %rax
movl -0x1c(%rbp), %ecx
movl %ecx, %ecx
xorl %edx, %edx
divq %rcx
xorl %eax, %eax
cmpq %rdx, %rax
je 0x1c80a
movq 0x2d968(%rip), %rdi     # 0x49fc0
leaq 0x22aba(%rip), %rsi     # 0x3f119
callq 0x5360
movq %rax, %rdi
xorl %esi, %esi
callq 0x5750
movq %rax, %rdi
leaq 0x22ab7(%rip), %rsi     # 0x3f12f
callq 0x5360
movq %rax, %rdi
leaq -0x3ea7(%rip), %rsi     # 0x187e0
callq 0x5120
movq %rax, %rdi
xorl %esi, %esi
callq 0x5750
movq %rax, %rdi
leaq -0x3e90(%rip), %rsi     # 0x18810
callq 0x5120
movq %rax, %rdi
leaq 0x22a85(%rip), %rsi     # 0x3f134
callq 0x5360
movq %rax, %rcx
movq -0x10(%rbp), %rax
movq %rcx, -0x30(%rbp)
movq 0xb0(%rax), %rcx
movq %rcx, -0x28(%rbp)
testb $0x1, 0xb9(%rax)
je 0x1c6e2
movq -0x10(%rbp), %rax
movl 0x80(%rax), %eax
movl %eax, -0x34(%rbp)
jmp 0x1c6f1
movq -0x10(%rbp), %rax
movl 0x80(%rax), %eax
shll %eax
movl %eax, -0x34(%rbp)
movq -0x30(%rbp), %rdi
movq -0x28(%rbp), %rax
movl -0x34(%rbp), %ecx
movl %ecx, %ecx
xorl %edx, %edx
divq %rcx
movq %rdx, %rsi
callq 0x50c0
movq %rax, %rdi
leaq 0x22a1a(%rip), %rsi     # 0x3f12f
callq 0x5360
movq %rax, %rdi
leaq -0x3f44(%rip), %rsi     # 0x187e0
callq 0x5120
movq %rax, %rcx
movq -0x10(%rbp), %rax
movq %rcx, -0x48(%rbp)
movq 0xb0(%rax), %rcx
movq %rcx, -0x40(%rbp)
testb $0x1, 0xb9(%rax)
je 0x1c757
movq -0x10(%rbp), %rax
movl 0x80(%rax), %eax
movl %eax, -0x4c(%rbp)
jmp 0x1c766
movq -0x10(%rbp), %rax
movl 0x80(%rax), %eax
shll %eax
movl %eax, -0x4c(%rbp)
movq -0x48(%rbp), %rdi
movq -0x40(%rbp), %rax
movl -0x4c(%rbp), %ecx
movl %ecx, %ecx
xorl %edx, %edx
divq %rcx
movq %rdx, %rsi
callq 0x50c0
movq %rax, %rdi
leaq -0x3f7a(%rip), %rsi     # 0x18810
callq 0x5120
movq %rax, %rdi
leaq 0x24e1f(%rip), %rsi     # 0x415b8
callq 0x5360
movq %rax, %rdi
movq 0x2d7d8(%rip), %rsi     # 0x49f80
callq 0x53c0
movq 0x2d80c(%rip), %rdi     # 0x49fc0
leaq 0x22902(%rip), %rsi     # 0x3f0bd
callq 0x5360
movq %rax, %rdi
leaq 0x23fc0(%rip), %rsi     # 0x4078a
callq 0x5360
movq %rax, %rdi
movl $0xfa, %esi
callq 0x5750
movq %rax, %rdi
movq 0x2d79a(%rip), %rsi     # 0x49f80
callq 0x53c0
leaq 0x23e78(%rip), %rdi     # 0x4066a
leaq 0x228c4(%rip), %rsi     # 0x3f0bd
movl $0xfa, %edx
leaq 0x24023(%rip), %rcx     # 0x40828
callq 0x51e0
movb $0x1, %al
andb $0x1, %al
addq $0x50, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)
nop