// File: /workspace/github_cpp_makefile_star2_O3/szmer[P]brill/./src/rules.cpp
// Function: Rule::description[abi:cxx11]()
string Rule::description() {
  string res;
	res = "Change " + alter_tag + " to " + target + " when ";

	if(id < (RL_PRECEDING+1) * RULE_RANGE)
		res += "preceding tag is ";
	if(id >= RL_FOLLOWING * RULE_RANGE && id < (RL_FOLLOWING+1) * RULE_RANGE)
		res += "following tag is ";
	if(id >= RL_2BEFORE * RULE_RANGE && id < (RL_2BEFORE+1) * RULE_RANGE)
		res += "tag 2 before is ";
	if(id >= RL_2AFTER * RULE_RANGE && id < (RL_2AFTER+1) * RULE_RANGE)
		res += "tag 2 after is ";
	if(id >= RL_ONE_OF_2BEFORE * RULE_RANGE && id < (RL_ONE_OF_2BEFORE+1) * RULE_RANGE)
		res += "one of 2 tags before is ";
	if(id >= RL_ONE_OF_2AFTER * RULE_RANGE && id < (RL_ONE_OF_2AFTER+1) * RULE_RANGE)
		res += "one of 2 tags after is ";
	if(id >= RL_ONE_OF_3BEFORE * RULE_RANGE && id < (RL_ONE_OF_3BEFORE+1) * RULE_RANGE)
		res += "one of 3 tags before is ";
	if(id >= RL_ONE_OF_3AFTER * RULE_RANGE && id < (RL_ONE_OF_3AFTER+1) * RULE_RANGE)
		res += "one of 3 tags after is ";
	if(id >= EXTRL_PRECEDING_AND_FOLLOWING * EXT_RULE_RANGE && id < (EXTRL_PRECEDING_AND_FOLLOWING+1) * EXT_RULE_RANGE)
		res += "preceding and following tags are ";
	if(id >= EXTRL_1_AND_2_BEFORE * EXT_RULE_RANGE && id < (EXTRL_1_AND_2_BEFORE+1) * EXT_RULE_RANGE)
		res += "preceding and 2 before tags are ";
	if(id >= EXTRL_1_AND_2_AFTER * EXT_RULE_RANGE && id < (EXTRL_1_AND_2_AFTER+1) * EXT_RULE_RANGE)
		res += "following and 2 after tags are ";

	res += cue1 + " ";
	if(id >= EXT_RULE_RANGE)
    res += "and " + cue2 + " ";

  return res;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x88, %rsp
movq %rsi, %r14
movq %rdi, %rbx
leaq 0x10(%rdi), %rax
movq %rax, -0x70(%rbp)
movq %rax, (%rdi)
movq $0x0, 0x8(%rdi)
movb $0x0, 0x10(%rdi)
leaq 0x40(%rsi), %rdx
leaq 0x5931(%rip), %rsi      # 0x91e9
leaq -0xb0(%rbp), %rdi
callq 0x60d5
leaq 0x5926(%rip), %rsi      # 0x91f1
leaq -0xb0(%rbp), %rdi
callq 0x2350
leaq -0x80(%rbp), %r13
movq %r13, -0x10(%r13)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x38fe
movq %rdx, -0x90(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x80(%rbp)
jmp 0x3906
movups (%rcx), %xmm0
movups %xmm0, (%r13)
movq 0x8(%rax), %rdx
leaq -0x90(%rbp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x60(%r14), %rsi
movq 0x68(%r14), %rdx
callq 0x2090
leaq -0x58(%rbp), %rsi
movq %rsi, -0x10(%rsi)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x3955
movq %rdx, -0x68(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x58(%rbp)
jmp 0x395b
movups (%rcx), %xmm0
movups %xmm0, (%rsi)
movq 0x8(%rax), %rdx
leaq -0x68(%rbp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x5879(%rip), %rsi      # 0x91f6
callq 0x2350
leaq -0x38(%rbp), %r12
movq %r12, -0x10(%r12)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x39a7
movq %rdx, -0x48(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x38(%rbp)
jmp 0x39af
movups (%rcx), %xmm0
movups %xmm0, (%r12)
movq 0x8(%rax), %rdx
leaq -0x48(%rbp), %r15
movq %rdx, 0x8(%r15)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq %rbx, %rdi
movq %r15, %rsi
callq 0x2210
movq (%r15), %rdi
cmpq %r12, %rdi
je 0x39e9
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x21c0
movq -0x68(%rbp), %rdi
leaq -0x58(%rbp), %rax
cmpq %rax, %rdi
je 0x3a02
movq -0x58(%rbp), %rsi
incq %rsi
callq 0x21c0
movq -0x90(%rbp), %rdi
cmpq %r13, %rdi
je 0x3a1a
movq -0x80(%rbp), %rsi
incq %rsi
callq 0x21c0
leaq -0xa0(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x3a39
movq -0xa0(%rbp), %rsi
incq %rsi
callq 0x21c0
movq 0x80(%r14), %rax
cmpq $0x767ed6a, %rax        # imm = 0x767ED6A
jg 0x3a5e
leaq 0x57ae(%rip), %rsi      # 0x91fd
movq %rbx, %rdi
callq 0x2350
movq 0x80(%r14), %rax
leaq -0x767ed6b(%rax), %rcx
cmpq $0x767ed6a, %rcx        # imm = 0x767ED6A
ja 0x3a84
leaq 0x579a(%rip), %rsi      # 0x920f
movq %rbx, %rdi
callq 0x2350
movq 0x80(%r14), %rax
leaq -0xecfdad6(%rax), %rcx
cmpq $0x767ed6a, %rcx        # imm = 0x767ED6A
ja 0x3aaa
leaq 0x5786(%rip), %rsi      # 0x9221
movq %rbx, %rdi
callq 0x2350
movq 0x80(%r14), %rax
leaq -0x1637c841(%rax), %rcx
cmpq $0x767ed6a, %rcx        # imm = 0x767ED6A
ja 0x3ad0
leaq 0x5771(%rip), %rsi      # 0x9232
movq %rbx, %rdi
callq 0x2350
movq 0x80(%r14), %rax
leaq -0x1d9fb5ac(%rax), %rcx
cmpq $0x767ed6a, %rcx        # imm = 0x767ED6A
ja 0x3af6
leaq 0x575b(%rip), %rsi      # 0x9242
movq %rbx, %rdi
callq 0x2350
movq 0x80(%r14), %rax
leaq -0x2507a317(%rax), %rcx
cmpq $0x767ed6a, %rcx        # imm = 0x767ED6A
ja 0x3b1c
leaq 0x574e(%rip), %rsi      # 0x925b
movq %rbx, %rdi
callq 0x2350
movq 0x80(%r14), %rax
leaq -0x2c6f9082(%rax), %rcx
cmpq $0x767ed6a, %rcx        # imm = 0x767ED6A
ja 0x3b42
leaq 0x5740(%rip), %rsi      # 0x9273
movq %rbx, %rdi
callq 0x2350
movq 0x80(%r14), %rax
leaq -0x33d77ded(%rax), %rcx
cmpq $0x767ed6a, %rcx        # imm = 0x767ED6A
ja 0x3b68
leaq 0x5733(%rip), %rsi      # 0x928c
movq %rbx, %rdi
callq 0x2350
movq 0x80(%r14), %rax
movabsq $0xe6f93c791, %r15      # imm = 0xE6F93C791
movabsq $-0xe6f93c791, %rcx     # imm = 0xFFFFFFF1906C386F
addq %rax, %rcx
cmpq %r15, %rcx
jae 0x3b9a
leaq 0x5719(%rip), %rsi      # 0x92a4
movq %rbx, %rdi
callq 0x2350
movq 0x80(%r14), %rax
movabsq $-0x1cdf278f22, %rcx    # imm = 0xFFFFFFE320D870DE
addq %rax, %rcx
cmpq %r15, %rcx
jae 0x3bc2
leaq 0x5713(%rip), %rsi      # 0x92c6
movq %rbx, %rdi
callq 0x2350
movq 0x80(%r14), %rax
movabsq $-0x2b4ebb56b3, %rcx    # imm = 0xFFFFFFD4B144A94D
addq %rax, %rcx
cmpq %r15, %rcx
jae 0x3be3
leaq 0x570c(%rip), %rsi      # 0x92e7
movq %rbx, %rdi
callq 0x2350
leaq -0x48(%rbp), %rdi
movq %r12, (%rdi)
movq (%r14), %rsi
movq 0x8(%r14), %rdx
addq %rsi, %rdx
callq 0x6e16
leaq 0x57e0(%rip), %rsi      # 0x93e0
leaq -0x48(%rbp), %rdi
callq 0x2350
movq -0x48(%rbp), %rsi
movq -0x40(%rbp), %rdx
movq %rbx, %rdi
callq 0x2090
movq -0x48(%rbp), %rdi
cmpq %r12, %rdi
je 0x3c2e
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x21c0
decq %r15
cmpq %r15, 0x80(%r14)
jle 0x3cdd
addq $0x20, %r14
leaq 0x56be(%rip), %rsi      # 0x9307
leaq -0x68(%rbp), %rdi
movq %r14, %rdx
callq 0x60d5
leaq 0x5784(%rip), %rsi      # 0x93e0
leaq -0x68(%rbp), %rdi
callq 0x2350
movq %r12, -0x48(%rbp)
movq (%rax), %rsi
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rsi
je 0x3c85
movq %rsi, -0x48(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x38(%rbp)
jmp 0x3c90
movups (%rcx), %xmm0
movups %xmm0, (%r12)
movq %r12, %rsi
movq 0x8(%rax), %rdx
movq %rdx, -0x40(%rbp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq %rbx, %rdi
callq 0x2090
movq -0x48(%rbp), %rdi
cmpq %r12, %rdi
je 0x3cc4
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x21c0
movq -0x68(%rbp), %rdi
leaq -0x58(%rbp), %rax
cmpq %rax, %rdi
je 0x3cdd
movq -0x58(%rbp), %rsi
incq %rsi
callq 0x21c0
movq %rbx, %rax
addq $0x88, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %r14
movq -0x48(%rbp), %rdi
cmpq %r12, %rdi
je 0x3d0f
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x21c0
jmp 0x3d0f
movq %rax, %r14
movq -0x68(%rbp), %rdi
leaq -0x58(%rbp), %rax
cmpq %rax, %rdi
je 0x3da2
movq -0x58(%rbp), %rsi
jmp 0x3d93
jmp 0x3d9f
jmp 0x3d2a
movq %rax, %r14
movq -0x48(%rbp), %rdi
cmpq %r12, %rdi
je 0x3da2
movq -0x38(%rbp), %rsi
jmp 0x3d93
jmp 0x3d9f
movq %rax, %r14
movq -0x68(%rbp), %rdi
leaq -0x58(%rbp), %rax
cmpq %rax, %rdi
je 0x3d5f
movq -0x58(%rbp), %rsi
incq %rsi
callq 0x21c0
jmp 0x3d5f
movq %rax, %r14
movq -0x90(%rbp), %rdi
cmpq %r13, %rdi
je 0x3d7c
movq -0x80(%rbp), %rsi
incq %rsi
callq 0x21c0
jmp 0x3d7c
movq %rax, %r14
leaq -0xa0(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x3da2
movq -0xa0(%rbp), %rsi
incq %rsi
callq 0x21c0
jmp 0x3da2
jmp 0x3d9f
movq %rax, %r14
movq (%rbx), %rdi
cmpq -0x70(%rbp), %rdi
je 0x3dba
movq -0x70(%rbp), %rax
movq (%rax), %rsi
incq %rsi
callq 0x21c0
movq %r14, %rdi
callq 0x2320