LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_cpp_makefile_star2_O2/j-faria[P]kima/DNest4/code/Distributions/Gaussian.cpp
// Function: DNest4::Gaussian::cdf_inverse(double) const
double Gaussian::cdf_inverse(double x) const
{
    if(x < 0.0 || x > 1.0)
        throw std::domain_error("Input to cdf_inverse must be in [0, 1].");
    return center + width*normal_inverse_cdf(x);
    //return center + width * sqrt(2) * boost::math::erf_inv(2*x - 1);
}

// Assembly:
pushq %r14
pushq %rbx
subq $0x18, %rsp
xorpd %xmm1, %xmm1
ucomisd %xmm0, %xmm1
ja 0x3a216
ucomisd 0x1e4b(%rip), %xmm0     # 0x3c030
ja 0x3a216
movsd 0x8(%rdi), %xmm1
movsd %xmm1, 0x10(%rsp)
movsd 0x10(%rdi), %xmm1
movsd %xmm1, 0x8(%rsp)
callq 0x39390
mulsd 0x8(%rsp), %xmm0
addsd 0x10(%rsp), %xmm0
addq $0x18, %rsp
popq %rbx
popq %r14
retq
pushq $0x10
popq %rdi
callq 0x61d0
movq %rax, %rbx
leaq 0x1e18(%rip), %rsi      # 0x3c040
movq %rax, %rdi
callq 0x6280
movq 0x29d01(%rip), %rsi     # 0x63f38
movq 0x29d22(%rip), %rdx     # 0x63f60
movq %rbx, %rdi
callq 0x6690
movq %rax, %r14
movq %rbx, %rdi
callq 0x6340
movq %r14, %rdi
callq 0x66e0
nop
// File: /workspace/github_cpp_makefile_star2_O2/j-faria[P]kima/DNest4/code/Distributions/Gaussian.cpp
// Function: DNest4::TruncatedGaussian::TruncatedGaussian(double, double, double, double)
TruncatedGaussian::TruncatedGaussian(double center, double width, double lower, double upper)
:center(center)
,width(width)
,lower(lower)
,upper(upper)
{
    if(width <= 0.0)
        throw std::domain_error("TruncatedGaussian distribution must have positive width.");
    if(lower >= upper)
        throw std::domain_error("TruncatedGaussian: lower bound should be less than upper bound.");
    // the original, untruncated, Gaussian distribution
    unG = Gaussian(center, width);
    c = unG.cdf(upper) - unG.cdf(lower);
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x38, %rsp
leaq 0x2986c(%rip), %rax     # 0x63af8
movq %rax, (%rdi)
movsd %xmm0, 0x8(%rdi)
movsd %xmm1, 0x10(%rdi)
movsd %xmm2, 0x18(%rdi)
movsd %xmm3, 0x20(%rdi)
leaq 0x2980e(%rip), %rax     # 0x63ab8
movq %rax, 0x28(%rdi)
xorps %xmm4, %xmm4
movhps 0x1d78(%rip), %xmm4     # xmm4 = xmm4[0,1],mem[0,1]
movups %xmm4, 0x30(%rdi)
movapd 0x120cc(%rip), %xmm4    # 0x4c390
movupd %xmm4, 0x40(%rdi)
xorpd %xmm4, %xmm4
ucomisd %xmm1, %xmm4
jae 0x3a351
movsd %xmm2, 0x10(%rsp)
movsd %xmm3, 0x8(%rsp)
ucomisd %xmm3, %xmm2
jae 0x3a36d
movq %rdi, %rbx
leaq 0x28(%rdi), %r14
leaq 0x30(%rdi), %r12
leaq 0x18(%rsp), %r15
movq %r15, %rdi
callq 0x3a140
movq 0x18(%r15), %rax
movq %rax, 0x10(%r12)
movups 0x8(%r15), %xmm0
movups %xmm0, (%r12)
movq %r14, %rdi
movsd 0x8(%rsp), %xmm0
callq 0x3a1bc
movsd %xmm0, 0x8(%rsp)
movq %r14, %rdi
movsd 0x10(%rsp), %xmm0
callq 0x3a1bc
movsd 0x8(%rsp), %xmm1
subsd %xmm0, %xmm1
movsd %xmm1, 0x50(%rbx)
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
pushq $0x10
popq %rdi
callq 0x61d0
movq %rax, %rbx
leaq 0x1203d(%rip), %rsi     # 0x4c3a0
movq %rax, %rdi
callq 0x6280
jmp 0x3a387
pushq $0x10
popq %rdi
callq 0x61d0
movq %rax, %rbx
leaq 0x1205a(%rip), %rsi     # 0x4c3d9
movq %rax, %rdi
callq 0x6280
movq 0x29baa(%rip), %rsi     # 0x63f38
movq 0x29bcb(%rip), %rdx     # 0x63f60
movq %rbx, %rdi
callq 0x6690
jmp 0x3a39f
movq %rax, %r14
movq %rbx, %rdi
callq 0x6340
movq %r14, %rdi
callq 0x66e0
// File: /workspace/github_cpp_makefile_star2_O2/j-faria[P]kima/DNest4/code/Distributions/Gaussian.cpp
// Function: DNest4::TruncatedGaussian::cdf_inverse(double) const
double TruncatedGaussian::cdf_inverse(double x) const
{
    if(x < 0.0 || x > 1.0)
        throw std::domain_error("Input to cdf_inverse must be in [0, 1].");
    double xx = unG.cdf(lower) + x * c;
    return unG.cdf_inverse(xx);
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movapd %xmm0, %xmm1
xorpd %xmm0, %xmm0
ucomisd %xmm1, %xmm0
ja 0x3a45a
ucomisd 0x1c0e(%rip), %xmm1     # 0x3c030
ja 0x3a45a
movq %rdi, %rbx
leaq 0x28(%rdi), %r14
movsd 0x18(%rdi), %xmm0
movq %r14, %rdi
movsd %xmm1, (%rsp)
callq 0x3a1bc
movsd (%rsp), %xmm1
mulsd 0x50(%rbx), %xmm1
addsd %xmm1, %xmm0
movq %r14, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0x3a1cc
pushq $0x10
popq %rdi
callq 0x61d0
movq %rax, %rbx
leaq 0x1bd4(%rip), %rsi      # 0x3c040
movq %rax, %rdi
callq 0x6280
movq 0x29abd(%rip), %rsi     # 0x63f38
movq 0x29ade(%rip), %rdx     # 0x63f60
movq %rbx, %rdi
callq 0x6690
movq %rax, %r14
movq %rbx, %rdi
callq 0x6340
movq %r14, %rdi
callq 0x66e0
nop
// File: /workspace/github_cpp_makefile_star2_O2/j-faria[P]kima/DNest4/code/Distributions/Laplace.cpp
// Function: DNest4::Laplace::setpars(double, double)
void Laplace::setpars(double c, double w)
{
    if(w <= 0.0)
        throw std::domain_error("Laplace distribution must have positive width.");
    center = c;
    width = w;
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
xorpd %xmm2, %xmm2
ucomisd %xmm1, %xmm2
jae 0x3a67e
movsd %xmm0, 0x8(%rdi)
movsd %xmm1, 0x10(%rdi)
addq $0x8, %rsp
popq %rbx
popq %r14
retq
pushq $0x10
popq %rdi
callq 0x61d0
movq %rax, %rbx
leaq 0x11df0(%rip), %rsi     # 0x4c480
movq %rax, %rdi
callq 0x6280
movq 0x29899(%rip), %rsi     # 0x63f38
movq 0x298ba(%rip), %rdx     # 0x63f60
movq %rbx, %rdi
callq 0x6690
movq %rax, %r14
movq %rbx, %rdi
callq 0x6340
movq %r14, %rdi
callq 0x66e0
nop
// File: /workspace/github_cpp_makefile_star2_O2/j-faria[P]kima/DNest4/code/Distributions/LogUniform.cpp
// Function: DNest4::LogUniform::LogUniform(double, double)
LogUniform::LogUniform(double _lower, double _upper)
:lower(_lower)
,upper(_upper)
{
    if(lower <= 0.0)
        throw std::domain_error("LogUniform distribution must have positive lower limit.");
    if (upper <= lower)
        throw std::domain_error("LogUniform distribution must have lower < upper limits");

    d = log(upper / lower);
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
leaq 0x292f1(%rip), %rax     # 0x63bc0
movq %rax, (%rdi)
movsd %xmm0, 0x8(%rdi)
movsd %xmm1, 0x10(%rdi)
xorpd %xmm2, %xmm2
ucomisd %xmm0, %xmm2
jae 0x3a909
ucomisd %xmm1, %xmm0
jae 0x3a925
movq %rdi, %rbx
divsd %xmm0, %xmm1
movapd %xmm1, %xmm0
callq 0x63b0
movsd %xmm0, 0x18(%rbx)
addq $0x8, %rsp
popq %rbx
popq %r14
retq
pushq $0x10
popq %rdi
callq 0x61d0
movq %rax, %rbx
leaq 0x11baf(%rip), %rsi     # 0x4c4ca
movq %rax, %rdi
callq 0x6280
jmp 0x3a93f
pushq $0x10
popq %rdi
callq 0x61d0
movq %rax, %rbx
leaq 0x11bcb(%rip), %rsi     # 0x4c502
movq %rax, %rdi
callq 0x6280
movq 0x295f2(%rip), %rsi     # 0x63f38
movq 0x29613(%rip), %rdx     # 0x63f60
movq %rbx, %rdi
callq 0x6690
jmp 0x3a957
movq %rax, %r14
movq %rbx, %rdi
callq 0x6340
movq %r14, %rdi
callq 0x66e0
// File: /workspace/github_cpp_makefile_star2_O2/j-faria[P]kima/DNest4/code/Distributions/LogUniform.cpp
// Function: DNest4::LogUniform::cdf(double) const
double LogUniform::cdf(double x) const
{
    if(x < lower)
        return 0.0;
    if(x > upper)
        return 1.0;
    return (log(x) - log(lower)) / d;
}

// Assembly:
movsd 0x8(%rdi), %xmm1
xorpd %xmm2, %xmm2
ucomisd %xmm0, %xmm1
ja 0x3a9bb
pushq %rbx
subq $0x10, %rsp
movq %rdi, %rbx
ucomisd 0x10(%rdi), %xmm0
jbe 0x3a992
movsd 0x16a0(%rip), %xmm2     # 0x3c030
jmp 0x3a9b6
callq 0x63b0
movsd %xmm0, 0x8(%rsp)
movsd 0x8(%rbx), %xmm0
callq 0x63b0
movsd 0x8(%rsp), %xmm2
subsd %xmm0, %xmm2
divsd 0x18(%rbx), %xmm2
addq $0x10, %rsp
popq %rbx
movapd %xmm2, %xmm0
retq
// File: /workspace/github_cpp_makefile_star2_O2/j-faria[P]kima/DNest4/code/Distributions/LogUniform.cpp
// Function: DNest4::ModifiedLogUniform::ModifiedLogUniform(double, double)
ModifiedLogUniform::ModifiedLogUniform(double _knee, double _upper)
:knee(_knee)
,upper(_upper)
{
    if(knee <= 0.0)
        throw std::domain_error("ModifiedLogUniform distribution must have positive knee.");
    if (upper <= knee)
        throw std::domain_error("ModifiedLogUniform distribution must have knee < upper limit");

    d = 1.0 / log(1.0 + upper / knee);
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
leaq 0x2915f(%rip), %rax     # 0x63c00
movq %rax, (%rdi)
movsd %xmm0, 0x8(%rdi)
movsd %xmm1, 0x10(%rdi)
xorpd %xmm2, %xmm2
ucomisd %xmm0, %xmm2
jae 0x3aaef
ucomisd %xmm1, %xmm0
jae 0x3ab0b
movq %rdi, %rbx
divsd %xmm0, %xmm1
addsd 0x1563(%rip), %xmm1     # 0x3c030
movapd %xmm1, %xmm0
callq 0x63b0
movsd 0x1552(%rip), %xmm1     # 0x3c030
divsd %xmm0, %xmm1
movsd %xmm1, 0x18(%rbx)
addq $0x8, %rsp
popq %rbx
popq %r14
retq
pushq $0x10
popq %rdi
callq 0x61d0
movq %rax, %rbx
leaq 0x11a38(%rip), %rsi     # 0x4c539
movq %rax, %rdi
callq 0x6280
jmp 0x3ab25
pushq $0x10
popq %rdi
callq 0x61d0
movq %rax, %rbx
leaq 0x11a55(%rip), %rsi     # 0x4c572
movq %rax, %rdi
callq 0x6280
movq 0x2940c(%rip), %rsi     # 0x63f38
movq 0x2942d(%rip), %rdx     # 0x63f60
movq %rbx, %rdi
callq 0x6690
jmp 0x3ab3d
movq %rax, %r14
movq %rbx, %rdi
callq 0x6340
movq %r14, %rdi
callq 0x66e0
// File: /workspace/github_cpp_makefile_star2_O2/j-faria[P]kima/DNest4/code/RJObject/ConditionalPriors/ConditionalPrior.cpp
// Function: DNest4::ConditionalPrior::perturb1(DNest4::RNG&, std::vector<std::vector<double, std::allocator<double>>, std::allocator<std::vector<double, std::allocator<double>>>> const&, std::vector<std::vector<double, std::allocator<double>>, std::allocator<std::vector<double, std::allocator<double>>>>&)
double ConditionalPrior::perturb1(RNG& rng, const vector< vector<double> >& components,
				vector< vector<double> >& u_components)
{
	double logH = 0.;

	// 1/(old density)
	for(size_t i=0; i<components.size(); i++)
		logH -= log_pdf(components[i]);

	logH += perturb_hyperparameters(rng);

	// (new density)
	for(size_t i=0; i<components.size(); i++)
	{
		logH += log_pdf(components[i]);
		u_components[i] = components[i];
		to_uniform(u_components[i]);

        for(size_t j=0; j<components[i].size(); ++j)
            if(u_components[i][j] <= 0.0 || u_components[i][j] >= 1.0)
                logH = -1E300;
	}

	return logH;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rcx, %rbx
movq %rdx, %r14
movq %rsi, 0x10(%rsp)
movq %rdi, %r15
xorpd %xmm1, %xmm1
xorl %ebp, %ebp
pushq $0x18
popq %r13
xorl %r12d, %r12d
movapd %xmm1, (%rsp)
movq (%r14), %rsi
movq 0x8(%r14), %rax
subq %rsi, %rax
cqto
idivq %r13
cmpq %rax, %r12
jae 0x3af24
addq %rbp, %rsi
movq (%r15), %rax
movq %r15, %rdi
callq *0x20(%rax)
movapd (%rsp), %xmm1
subsd %xmm0, %xmm1
incq %r12
addq $0x18, %rbp
jmp 0x3aeed
movq (%r15), %rax
movq %r15, %rdi
movq 0x10(%rsp), %rsi
callq *(%rax)
movapd (%rsp), %xmm2
addsd %xmm0, %xmm2
movq (%r14), %rsi
xorl %r12d, %r12d
movq 0x8(%r14), %rax
subq %rsi, %rax
cqto
idivq %r13
cmpq %rax, %r12
jae 0x3b00b
imulq $0x18, %r12, %rbp
addq %rbp, %rsi
movq (%r15), %rax
movq %r15, %rdi
movapd %xmm2, (%rsp)
callq *0x20(%rax)
movapd (%rsp), %xmm1
addsd %xmm0, %xmm1
movapd %xmm1, (%rsp)
movq (%r14), %rsi
addq %rbp, %rsi
movq (%rbx), %rdi
addq %rbp, %rdi
callq 0x6fb8
movq (%rbx), %rsi
addq %rbp, %rsi
movq (%r15), %rax
movq %r15, %rdi
callq *0x30(%rax)
xorpd %xmm5, %xmm5
movsd 0x1234(%rip), %xmm4     # 0x3c1d8
movsd 0x1084(%rip), %xmm3     # 0x3c030
movapd (%rsp), %xmm2
movq (%r14), %rsi
movq 0x8(%rsi,%rbp), %rax
subq (%rsi,%rbp), %rax
sarq $0x3, %rax
addq (%rbx), %rbp
xorl %ecx, %ecx
cmpq %rcx, %rax
je 0x3b003
movq (%rbp), %rdx
movsd (%rdx,%rcx,8), %xmm0
movapd %xmm3, %xmm1
cmpnlesd %xmm0, %xmm1
andpd %xmm1, %xmm2
andnpd %xmm4, %xmm1
orpd %xmm2, %xmm1
cmpnlesd %xmm5, %xmm0
andpd %xmm0, %xmm1
andnpd %xmm4, %xmm0
orpd %xmm1, %xmm0
incq %rcx
movapd %xmm0, %xmm2
jmp 0x3afc6
incq %r12
jmp 0x3af40
movapd %xmm2, %xmm0
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O2/j-faria[P]kima/DNest4/code/RJObject/ConditionalPriors/ConditionalPrior.cpp
// Function: DNest4::ConditionalPrior::perturb2(DNest4::RNG&, std::vector<std::vector<double, std::allocator<double>>, std::allocator<std::vector<double, std::allocator<double>>>>&, std::vector<std::vector<double, std::allocator<double>>, std::allocator<std::vector<double, std::allocator<double>>>> const&)
double ConditionalPrior::perturb2(RNG& rng, vector< vector<double> >& components,
				const vector< vector<double> >& u_components)
{
	double logH = 0.;

	logH += perturb_hyperparameters(rng);

	// Find new positions
	for(size_t i=0; i<components.size(); i++)
	{
		components[i] = u_components[i];
		from_uniform(components[i]);
	}

	return logH;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rcx, %rbx
movq %rdx, %r14
movq %rdi, %r15
movq (%rdi), %rax
callq *(%rax)
movsd %xmm0, (%rsp)
xorl %r12d, %r12d
pushq $0x18
popq %r13
xorl %ebp, %ebp
movq (%r14), %rdi
movq 0x8(%r14), %rax
subq %rdi, %rax
cqto
idivq %r13
cmpq %rax, %rbp
jae 0x3b07f
movq (%rbx), %rsi
addq %r12, %rsi
addq %r12, %rdi
callq 0x6fb8
movq (%r14), %rsi
addq %r12, %rsi
movq (%r15), %rax
movq %r15, %rdi
callq *0x28(%rax)
incq %rbp
addq $0x18, %r12
jmp 0x3b045
xorpd %xmm1, %xmm1
movsd (%rsp), %xmm0
addsd %xmm1, %xmm0
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O2/iZhangHui[P]CppPrimer/CH06_Functions/examples/inline_shorter.cc
// Function: main
int main()
{
	string s1("successes"), s2("failure");
	cout << shorterString(s1, s2) << endl;

	// call the size member of the string returned by shorterString
	cout << shorterString(s1, s2).size() << endl;

	// equivalent code as generated by the call to inline version
	// of shorterString
	cout << (s1.size() < s2.size() ? s1 : s2) << endl;
	return 0;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
subq $0x50, %rsp
leaq 0xe06(%rip), %rsi       # 0x2004
leaq -0x58(%rbp), %rbx
leaq -0x38(%rbp), %rdx
movq %rbx, %rdi
callq 0x1030
leaq 0xdf9(%rip), %rsi       # 0x200e
leaq -0x38(%rbp), %r14
leaq -0x11(%rbp), %rdx
movq %r14, %rdi
callq 0x1030
movq -0x50(%rbp), %rax
cmpq -0x30(%rbp), %rax
movq %rbx, %rsi
cmovaq %r14, %rsi
movq 0x2d9d(%rip), %rdi      # 0x3fd8
callq 0x1080
movq %rax, %rdi
callq 0x1050
movq -0x50(%rbp), %rax
movq -0x30(%rbp), %rsi
cmpq %rsi, %rax
cmovbq %rax, %rsi
movq 0x2d7a(%rip), %rdi      # 0x3fd8
callq 0x1060
movq %rax, %rdi
callq 0x1050
movq -0x50(%rbp), %rax
cmpq -0x30(%rbp), %rax
cmovbq %rbx, %r14
movq 0x2d5a(%rip), %rdi      # 0x3fd8
movq %r14, %rsi
callq 0x1080
movq %rax, %rdi
callq 0x1050
leaq -0x38(%rbp), %rdi
callq 0x1040
leaq -0x58(%rbp), %rdi
callq 0x1040
xorl %eax, %eax
addq $0x50, %rsp
popq %rbx
popq %r14
popq %rbp
retq
movq %rax, %rbx
jmp 0x12bc
movq %rax, %rbx
leaq -0x38(%rbp), %rdi
callq 0x1040
leaq -0x58(%rbp), %rdi
callq 0x1040
movq %rbx, %rdi
callq 0x10a0
// File: /workspace/github_cpp_makefile_star2_O2/eryxcc[P]lois/tests/autotest.cpp
// Function: showTimeElapsed()
void showTimeElapsed() {
  long long curtime = getVa();
  
  if(curtime - lasttime < 100000) 
    cout << "time elapsed: " << (curtime-lasttime) << " \u03bcs" << endl;

  else
    printf("time elapsed: %.6f s\n", (curtime-lasttime)/1000000.0);

  lasttime = curtime;
  }

// Assembly:
pushq %rbx
callq 0x7b4c
movq %rax, %rbx
subq 0x41739(%rip), %rax     # 0x492b8
cmpq $0x1869f, %rax          # imm = 0x1869F
jg 0x7bc5
movq 0x41442(%rip), %rdi     # 0x48fd0
leaq 0x2948b(%rip), %rsi     # 0x31020
callq 0x7230
movq %rbx, %rsi
subq 0x41714(%rip), %rsi     # 0x492b8
movq %rax, %rdi
callq 0x70f0
leaq 0x2947c(%rip), %rsi     # 0x3102f
movq %rax, %rdi
callq 0x7230
movq %rax, %rdi
callq 0x7130
jmp 0x7be0
cvtsi2sd %rax, %xmm0
divsd 0x29436(%rip), %xmm0    # 0x31008
leaq 0x2945b(%rip), %rdi     # 0x31034
movb $0x1, %al
callq 0x7040
movq %rbx, 0x416d1(%rip)     # 0x492b8
popq %rbx
retq
// File: /workspace/github_cpp_makefile_star2_O2/eryxcc[P]lois/tests/autotest.cpp
// Function: testSat(int, lois::rbool)
void testSat(int mode, rbool phi) {
  int cnt = 0;
  If(phi) cnt ++;
  If(!phi) cnt += 2;
  if(cnt == mode) cout << "passed: ";
  else cout << "failed: ";
  cout << modenames[cnt] << " " << phi << endl;
  if(cnt != mode) exit(1);
  }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xb8, %rsp
movq %rsi, %r14
movl %edi, %ebx
leaq 0xa8(%rsp), %r15
movq %r15, %rdi
callq 0xf04a
movq %rsp, %r12
movq %r12, %rdi
movq %r15, %rsi
callq 0xd01d
leaq 0xb0(%rsp), %rdi
callq 0xefce
leaq 0x18(%rsp), %rdi
movq %r12, %rsi
callq 0x1ea68
leaq 0x78(%rsp), %rdi
movq %rsp, %rsi
callq 0x1eab0
xorl %r13d, %r13d
leaq 0x18(%rsp), %r15
movl 0x40(%rsp), %eax
cmpl 0xa0(%rsp), %eax
je 0x7c6d
addl $-0x4, %eax
cmpl $-0x2, %eax
adcl $0x0, %r13d
movq %r15, %rdi
callq 0x1ea54
jmp 0x7c4c
leaq 0x78(%rsp), %rdi
callq 0xd03a
leaq 0x18(%rsp), %rdi
callq 0xd03a
leaq 0x8(%rsp), %rdi
callq 0xefce
leaq 0x58(%rsp), %r15
movq %r15, %rdi
movq %r14, %rsi
callq 0xf04a
leaq 0x68(%rsp), %rdi
movq %r15, %rsi
callq 0x1ef2d
movq %rsp, %r15
leaq 0x68(%rsp), %rsi
movq %r15, %rdi
callq 0xd01d
leaq 0x70(%rsp), %rdi
callq 0xefce
leaq 0x60(%rsp), %rdi
callq 0xefce
leaq 0x18(%rsp), %rdi
movq %r15, %rsi
callq 0x1ea68
leaq 0x78(%rsp), %rdi
movq %rsp, %rsi
callq 0x1eab0
leaq 0x18(%rsp), %r15
movl 0x40(%rsp), %eax
cmpl 0xa0(%rsp), %eax
je 0x7d13
addl $-0x4, %eax
leal 0x2(%r13), %ebp
cmpl $-0x2, %eax
cmovael %r13d, %ebp
movq %r15, %rdi
callq 0x1ea54
movl %ebp, %r13d
jmp 0x7ceb
leaq 0x78(%rsp), %rdi
callq 0xd03a
leaq 0x18(%rsp), %rdi
callq 0xd03a
leaq 0x8(%rsp), %rdi
callq 0xefce
cmpl %ebx, %r13d
leaq 0x2932f(%rip), %rax     # 0x3106a
leaq 0x29331(%rip), %rsi     # 0x31073
cmoveq %rax, %rsi
movq 0x41283(%rip), %r15     # 0x48fd0
movq %r15, %rdi
callq 0x7230
movslq %r13d, %rax
shlq $0x5, %rax
leaq 0x4155d(%rip), %rsi     # 0x492c0
addq %rax, %rsi
movq %r15, %rdi
callq 0x7210
leaq 0x2aa94(%rip), %rsi     # 0x32809
movq %rax, %rdi
callq 0x7230
movq %rax, %r15
leaq 0x48(%rsp), %r12
movq %r12, %rdi
movq %r14, %rsi
callq 0xf04a
movq %r15, %rdi
movq %r12, %rsi
callq 0x1ef1c
movq %rax, %rdi
callq 0x7130
leaq 0x50(%rsp), %rdi
callq 0xefce
cmpl %ebx, %r13d
jne 0x7dc4
addq $0xb8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
pushq $0x1
popq %rdi
callq 0x72c0
jmp 0x7dda
jmp 0x7ddf
movq %rax, %rbx
leaq 0x60(%rsp), %rdi
jmp 0x7e0c
movq %rax, %rbx
jmp 0x7dfd
movq %rax, %rbx
jmp 0x7e07
movq %rax, %rbx
leaq 0x50(%rsp), %rdi
jmp 0x7e0c
jmp 0x7df0
movq %rax, %rbx
leaq 0x78(%rsp), %rdi
callq 0xd03a
leaq 0x18(%rsp), %rdi
callq 0xd03a
leaq 0x8(%rsp), %rdi
callq 0xefce
movq %rbx, %rdi
callq 0x7410
// File: /workspace/github_cpp_makefile_star2_O2/eryxcc[P]lois/tests/autotest.cpp
// Function: drawTree(std::vector<lois::term, std::allocator<lois::term>>&, int)
void drawTree(vector<term>& v, int from) {
  cout << v[from];
  int children = 0;

  for(size_t i=0; i<v.size(); i++) if(i>from && strindex[i][i] == from)
    cout << "=" << v[i];
    
  for(size_t i=0; i<v.size(); i++) 
    if(strindex[from][i] == from && strindex[i][i] != from && strindex[from][from] != i) {
      bool direct = true;
      for(size_t j=0; j<v.size(); j++) 
        if(i!=j && j != from && strindex[from][j] == from && strindex[i][j] == j)
          direct = false;
      if(direct) {
        if(!children) cout << "["; else cout << ", ";
        children++;
        drawTree(v, i);
        }
      }

  if(children) cout << "]";
  }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movl %esi, %ebx
movq %rdi, %r14
movslq %esi, %r13
movq %r13, %rsi
shlq $0x4, %rsi
addq (%rdi), %rsi
movq 0x41190(%rip), %rdi     # 0x48fd0
callq 0xd05a
leaq 0x414f4(%rip), %rbp     # 0x49340
xorl %r12d, %r12d
xorl %r15d, %r15d
movq (%r14), %rax
movq 0x8(%r14), %rcx
movq %rcx, %rdx
subq %rax, %rdx
sarq $0x4, %rdx
cmpq %rdx, %r15
jae 0x7ea0
cmpq %r13, %r15
jbe 0x7e93
cmpl %ebx, (%rbp)
jne 0x7e93
movq 0x41157(%rip), %rdi     # 0x48fd0
leaq 0x2a77c(%rip), %rsi     # 0x325fc
callq 0x7230
movq (%r14), %rsi
addq %r12, %rsi
movq %rax, %rdi
callq 0xd05a
incq %r15
addq $0x10, %r12
addq $0x44, %rbp
jmp 0x7e52
leaq 0x41499(%rip), %r10     # 0x49340
movq %r13, %r15
shlq $0x6, %r15
leaq (%r10,%r15), %r11
leaq (%r11,%r13,4), %rdi
movq $0x0, (%rsp)
movq %r10, %rbp
xorl %r12d, %r12d
movq %r11, 0x10(%rsp)
movq %rdi, 0x8(%rsp)
movq %rcx, %rdx
subq %rax, %rdx
sarq $0x4, %rdx
cmpq %rdx, %r12
jae 0x7fa7
cmpl %ebx, (%r11,%r12,4)
jne 0x7f9b
movq %r12, %rsi
shlq $0x6, %rsi
addq %r10, %rsi
cmpl %ebx, (%rsi,%r12,4)
je 0x7f9b
movslq (%rdi), %rsi
cmpq %rsi, %r12
je 0x7f9b
movb $0x1, %sil
xorl %edi, %edi
cmpq %rdi, %rdx
je 0x7f46
cmpq %rdi, %r12
sete %r8b
cmpq %rdi, %r13
sete %r9b
orb %r8b, %r9b
jne 0x7f41
leaq (%r15,%rdi,4), %r8
cmpl %ebx, (%r10,%r8)
jne 0x7f41
movslq (%rbp,%rdi,4), %r8
cmpq %r8, %rdi
setne %r8b
andb %r8b, %sil
incq %rdi
jmp 0x7f10
testb $0x1, %sil
je 0x7f96
cmpl $0x0, (%rsp)
leaq 0x2aa86(%rip), %rsi     # 0x329dd
leaq 0x2aa31(%rip), %rax     # 0x3298f
cmoveq %rax, %rsi
movq 0x41067(%rip), %rdi     # 0x48fd0
callq 0x7230
movq (%rsp), %rax
incl %eax
movq %rax, (%rsp)
movq %r14, %rdi
movl %r12d, %esi
callq 0x7e19
movq 0x10(%rsp), %r11
leaq 0x413b1(%rip), %r10     # 0x49340
movq (%r14), %rax
movq 0x8(%r14), %rcx
movq 0x8(%rsp), %rdi
incq %r12
addq $0x40, %rbp
jmp 0x7ece
cmpl $0x0, (%rsp)
je 0x7fce
movq 0x4101c(%rip), %rdi     # 0x48fd0
leaq 0x2b2e2(%rip), %rsi     # 0x3329d
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x7230
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O2/eryxcc[P]lois/tests/autotest.cpp
// Function: countStructures(std::vector<lois::term, std::allocator<lois::term>>&, lois::RelTree&, lois::lsetof<lois::term> const&, lois::rbool, int)
int countStructures(vector<term>& v, RelTree& tree, const lsetof<term>& A, rbool phi, int expected) {
  numstruct = 0;
  If(phi) analyzeStructure(v, tree, A);
  if(numstruct == expected)
    std::cout << "passed: found " << numstruct << " trees for " << phi << std::endl;
  else {
    std::cout << "failed: " << phi << " (" << numstruct << ")" << std::endl;
    exit(1);
    }
  showTimeElapsed(); cout<<endl;
  return numstruct;
  }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xb8, %rsp
movl %r8d, 0xc(%rsp)
movq %rcx, %rbx
movq %rdx, %r14
movq %rsi, %r15
movq %rdi, %r12
andl $0x0, 0x41325(%rip)     # 0x49740
leaq 0x48(%rsp), %r13
movq %r13, %rdi
movq %rcx, %rsi
callq 0xf04a
leaq 0x30(%rsp), %rbp
movq %rbp, %rdi
movq %r13, %rsi
callq 0xd01d
leaq 0x50(%rsp), %rdi
callq 0xefce
leaq 0x58(%rsp), %rdi
movq %rbp, %rsi
callq 0x1ea68
leaq 0x88(%rsp), %rdi
leaq 0x30(%rsp), %rsi
callq 0x1eab0
leaq 0x58(%rsp), %r13
movl 0x80(%rsp), %eax
cmpl 0xb0(%rsp), %eax
je 0x849e
addl $-0x4, %eax
cmpl $-0x2, %eax
jae 0x8494
movq %r12, %rdi
movq %r15, %rsi
movq %r14, %rdx
xorl %ecx, %ecx
xorl %r8d, %r8d
callq 0x7fdd
movq %r13, %rdi
callq 0x1ea54
jmp 0x8469
leaq 0x88(%rsp), %rdi
callq 0xd03a
leaq 0x58(%rsp), %rdi
callq 0xd03a
leaq 0x38(%rsp), %rdi
callq 0xefce
movl 0xc(%rsp), %eax
cmpl %eax, 0x41277(%rip)     # 0x49740
jne 0x8558
movq 0x40afa(%rip), %rdi     # 0x48fd0
leaq 0x28b9f(%rip), %rsi     # 0x3107c
callq 0x7230
movl 0x41258(%rip), %esi     # 0x49740
movq %rax, %rdi
callq 0x7400
leaq 0x28b94(%rip), %rsi     # 0x3108b
movq %rax, %rdi
callq 0x7230
movq %rax, %r14
leaq 0x20(%rsp), %r15
movq %r15, %rdi
movq %rbx, %rsi
callq 0xf04a
movq %r14, %rdi
movq %r15, %rsi
callq 0x1ef1c
movq %rax, %rdi
callq 0x7130
leaq 0x28(%rsp), %rdi
callq 0xefce
callq 0x7b6f
movq 0x40a95(%rip), %rdi     # 0x48fd0
callq 0x7130
movl 0x411fa(%rip), %eax     # 0x49740
addq $0xb8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq 0x40a71(%rip), %rdi     # 0x48fd0
leaq 0x28b0d(%rip), %rsi     # 0x31073
callq 0x7230
movq %rax, %r14
leaq 0x10(%rsp), %r15
movq %r15, %rdi
movq %rbx, %rsi
callq 0xf04a
movq %r14, %rdi
movq %r15, %rsi
callq 0x1ef1c
leaq 0x29963(%rip), %rsi     # 0x31ef3
movq %rax, %rdi
callq 0x7230
movl 0x411a2(%rip), %esi     # 0x49740
movq %rax, %rdi
callq 0x7400
leaq 0x2a105(%rip), %rsi     # 0x326b2
movq %rax, %rdi
callq 0x7230
movq %rax, %rdi
callq 0x7130
leaq 0x10(%rsp), %rdi
callq 0xd030
pushq $0x1
popq %rdi
callq 0x72c0
movq %rax, %rbx
leaq 0x18(%rsp), %rdi
jmp 0x860e
movq %rax, %rbx
jmp 0x85ff
movq %rax, %rbx
jmp 0x8609
movq %rax, %rbx
leaq 0x28(%rsp), %rdi
jmp 0x860e
jmp 0x85ef
movq %rax, %rbx
leaq 0x88(%rsp), %rdi
callq 0xd03a
leaq 0x58(%rsp), %rdi
callq 0xd03a
leaq 0x38(%rsp), %rdi
callq 0xefce
movq %rbx, %rdi
callq 0x7410
// File: /workspace/github_cpp_makefile_star2_O2/eryxcc[P]lois/tests/autotest.cpp
// Function: testQueue()
void testQueue() {
  lsetof<int> N;
  N += 0;
  for(int n: N) if(n < 10) N += (n+1);
  cout << N << endl;
  testSat(ALWAYS, cardinality(N) == 11);
  }

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0xa8, %rsp
leaq 0x50(%rsp), %rbx
movq %rbx, %rdi
callq 0xe418
leaq 0x20(%rsp), %rsi
andl $0x0, (%rsi)
movq %rbx, %rdi
callq 0xe434
leaq 0x20(%rsp), %rdi
leaq 0x50(%rsp), %rsi
callq 0xe4b8
leaq 0x78(%rsp), %rdi
leaq 0x50(%rsp), %rsi
callq 0xe4c8
leaq 0x20(%rsp), %rbx
leaq 0x78(%rsp), %r14
leaq 0x50(%rsp), %r15
leaq 0xc(%rsp), %r12
movq %rbx, %rdi
movq %r14, %rsi
callq 0xe2a6
testb %al, %al
je 0xc53a
movq 0x30(%rsp), %rax
movl (%rax), %eax
cmpl $0x9, %eax
jg 0xc530
incl %eax
movl %eax, 0xc(%rsp)
movq %r15, %rdi
movq %r12, %rsi
callq 0xe434
movq %rbx, %rdi
callq 0xe2ec
jmp 0xc504
leaq 0x78(%rsp), %rdi
callq 0xe302
leaq 0x20(%rsp), %rdi
callq 0xe302
movq 0x3ca7b(%rip), %rsi     # 0x48fd0
leaq 0x50(%rsp), %rdi
callq 0x1cc76
movq %rax, %rdi
callq 0x7130
leaq 0x20(%rsp), %rdi
leaq 0x50(%rsp), %rsi
callq 0xe4db
leaq 0x78(%rsp), %rdx
movl $0xb, (%rdx)
leaq 0x10(%rsp), %rdi
leaq 0x20(%rsp), %rsi
callq 0xd6ca
pushq $0x1
popq %rdi
leaq 0x10(%rsp), %rsi
callq 0x7be9
leaq 0x18(%rsp), %rdi
callq 0xefce
leaq 0x20(%rsp), %rdi
callq 0xe8b6
leaq 0x50(%rsp), %rdi
callq 0xe8b6
addq $0xa8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
movq %rax, %rbx
leaq 0x18(%rsp), %rdi
callq 0xefce
jmp 0xc5dc
movq %rax, %rbx
leaq 0x20(%rsp), %rdi
callq 0xe8b6
jmp 0xc611
jmp 0xc5f3
movq %rax, %rbx
jmp 0xc607
jmp 0xc5f3
jmp 0xc5f3
movq %rax, %rbx
jmp 0xc611
jmp 0xc5fa
movq %rax, %rbx
leaq 0x78(%rsp), %rdi
callq 0xe302
leaq 0x20(%rsp), %rdi
callq 0xe302
leaq 0x50(%rsp), %rdi
callq 0xe8b6
movq %rbx, %rdi
callq 0x7410
// File: /workspace/github_cpp_makefile_star2_O2/eryxcc[P]lois/tests/autotest.cpp
// Function: testAssignment(lois::lsetof<lois::term>)
void testAssignment(lsetof<term> A) {
  lbool phi;
  
  try {
    for(term a: A) for(term b: A) phi = (a==b);
  } catch(assignment_exception e) {
    printf("passed: assignment_exception\n");
    }
  }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x118, %rsp            # imm = 0x118
movq %rdi, %rbx
leaq 0x68(%rsp), %rdi
xorl %esi, %esi
callq 0xec86
leaq 0x38(%rsp), %rdi
movq %rbx, %rsi
callq 0xd356
leaq 0x88(%rsp), %rdi
movq %rbx, (%rsp)
movq %rbx, %rsi
callq 0xd366
leaq 0x38(%rsp), %rbx
leaq 0xb8(%rsp), %rbp
leaq 0xe8(%rsp), %r13
leaq 0x28(%rsp), %r14
leaq 0x18(%rsp), %r15
leaq 0x68(%rsp), %r12
movq %rbx, %rdi
leaq 0x88(%rsp), %rsi
callq 0xd37a
testb %al, %al
je 0xccd4
movq 0x48(%rsp), %rsi
leaq 0x8(%rsp), %rdi
callq 0xf5ec
movq %rbp, %rdi
movq (%rsp), %rbx
movq %rbx, %rsi
callq 0xd356
movq %r13, %rdi
movq %rbx, %rsi
callq 0xd366
movq %rbp, %rdi
movq %r13, %rsi
callq 0xd37a
testb %al, %al
je 0xcca8
movq 0xc8(%rsp), %rsi
movq %r14, %rdi
callq 0xf5ec
movq %r15, %rdi
leaq 0x8(%rsp), %rsi
movq %r14, %rdx
callq 0x20a46
movq %r12, %rdi
movq %r15, %rsi
callq 0xecc0
leaq 0x20(%rsp), %rdi
callq 0xefce
leaq 0x30(%rsp), %rdi
callq 0xefce
movq %rbp, %rdi
callq 0xd3e2
jmp 0xcc50
movq %r13, %rdi
callq 0xd3f8
movq %rbp, %rdi
callq 0xd3f8
leaq 0x10(%rsp), %rdi
callq 0xefce
leaq 0x38(%rsp), %rbx
movq %rbx, %rdi
callq 0xd3e2
jmp 0xcc0f
leaq 0x88(%rsp), %rdi
callq 0xd3f8
leaq 0x38(%rsp), %rdi
callq 0xd3f8
leaq 0x68(%rsp), %rdi
callq 0xefa4
addq $0x118, %rsp            # imm = 0x118
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rdx, %r13
movq %rax, %r14
jmp 0xcd8a
movq %rdx, %r13
movq %rax, %r14
jmp 0xcd94
movq %rdx, %r13
movq %rax, %r14
jmp 0xcd7d
movq %rdx, %r13
movq %rax, %r14
jmp 0xcd73
movq %rdx, %r13
movq %rax, %r14
jmp 0xcd66
movq %rdx, %r13
movq %rax, %r14
jmp 0xcd59
movq %rdx, %r13
movq %rax, %r14
leaq 0x20(%rsp), %rdi
callq 0xefce
jmp 0xcd4f
movq %rdx, %r13
movq %rax, %r14
leaq 0x30(%rsp), %rdi
callq 0xefce
leaq 0xe8(%rsp), %rdi
callq 0xd3f8
leaq 0xb8(%rsp), %rdi
callq 0xd3f8
leaq 0x10(%rsp), %rdi
callq 0xefce
leaq 0x88(%rsp), %rdi
callq 0xd3f8
leaq 0x38(%rsp), %rdi
callq 0xd3f8
cmpl $0x1, %r13d
jne 0xcdda
movq %r14, %rdi
callq 0x72d0
leaq 0x3a96f(%rip), %rax     # 0x47718
leaq 0x38(%rsp), %rbx
movq %rax, (%rbx)
movq %r14, %rdi
callq 0x7110
leaq 0x24540(%rip), %rdi     # 0x31300
callq 0x7370
movq %rbx, %rdi
callq 0x7480
callq 0x73c0
jmp 0xcceb
movq %rax, %r14
leaq 0x68(%rsp), %rdi
callq 0xefa4
movq %r14, %rdi
callq 0x7410
// File: /workspace/github_cpp_makefile_star2_O2/eryxcc[P]lois/tests/autotest.cpp
// Function: main
int main() {
  lasttime = getVa();
  initLois();
  // pushSolverDiagnostic("checking: ");
  
#ifdef TEST_SPASS
  useDefaultSolver();
  pushSolverSPASS();
  pushSolverBasic();
  
  sym.edge = "edge";
  sym.greater = "gt";
  
#endif

  Domain dA("A");
  lsetof<term> A = dA.getSet(); 

  testFullyPseudoparallel(A);
  showTimeElapsed(); cout<<endl;

  testAssignment(A);
  showTimeElapsed(); cout<<endl;
  
  testRandomBipartite(A);
  showTimeElapsed(); cout<<endl;
  
  testOrder(A);
  showTimeElapsed(); cout<<endl;

  testQueue();
  showTimeElapsed(); cout<<endl;

  testRemoval(A);
  showTimeElapsed(); cout<<endl;
  
  // testPowerset(A * A);
  // showTimeElapsed(); cout<<endl;

  testCartesian(A);
  showTimeElapsed(); cout<<endl;

  testTree(A);
  
  return 0;
  }

// Assembly:
pushq %rbx
subq $0x110, %rsp            # imm = 0x110
callq 0x7b4c
movq %rax, 0x3c4b5(%rip)     # 0x492b8
callq 0x2ebe4
leaq 0x2578c(%rip), %rsi     # 0x3259b
leaq 0x28(%rsp), %rdi
movq %rsp, %rdx
callq 0xcfe2
leaq 0xc0(%rsp), %rdi
leaq 0x28(%rsp), %rsi
callq 0xefbe
leaq 0x28(%rsp), %rdi
callq 0x7478
movq %rsp, %rdi
leaq 0xc0(%rsp), %rsi
callq 0x2f4bc
leaq 0xe8(%rsp), %rdi
movq %rsp, %rsi
callq 0xd21c
leaq 0xe8(%rsp), %rdi
callq 0xd420
callq 0x7b6f
movq 0x3c15f(%rip), %rdi     # 0x48fd0
callq 0x7130
leaq 0x98(%rsp), %rdi
movq %rsp, %rsi
callq 0xd21c
leaq 0x98(%rsp), %rdi
callq 0xcbaa
leaq 0x98(%rsp), %rdi
callq 0xd420
callq 0x7b6f
movq 0x3c124(%rip), %rdi     # 0x48fd0
callq 0x7130
leaq 0x70(%rsp), %rdi
movq %rsp, %rsi
callq 0xd21c
leaq 0x70(%rsp), %rdi
callq 0xb13d
leaq 0x70(%rsp), %rdi
callq 0xd420
callq 0x7b6f
movq 0x3c0f2(%rip), %rdi     # 0x48fd0
callq 0x7130
movq %rsp, %rdi
callq 0x9a77
callq 0x7b6f
movq 0x3c0d9(%rip), %rdi     # 0x48fd0
callq 0x7130
callq 0xc4a7
callq 0x7b6f
movq 0x3c0c3(%rip), %rdi     # 0x48fd0
callq 0x7130
leaq 0x48(%rsp), %rdi
movq %rsp, %rsi
callq 0xd21c
leaq 0x48(%rsp), %rdi
callq 0xc623
leaq 0x48(%rsp), %rdi
callq 0xd420
callq 0x7b6f
movq 0x3c091(%rip), %rdi     # 0x48fd0
callq 0x7130
callq 0x7b6f
movq 0x3c080(%rip), %rdi     # 0x48fd0
callq 0x7130
movq %rsp, %rdi
callq 0x861b
movq %rsp, %rdi
callq 0xd420
leaq 0xc0(%rsp), %rdi
callq 0x7478
xorl %eax, %eax
addq $0x110, %rsp            # imm = 0x110
popq %rbx
retq
movq %rax, %rbx
leaq 0x48(%rsp), %rdi
jmp 0xcf9c
movq %rax, %rbx
leaq 0x70(%rsp), %rdi
jmp 0xcf9c
movq %rax, %rbx
leaq 0x98(%rsp), %rdi
callq 0xd420
jmp 0xcfba
movq %rax, %rbx
jmp 0xcfc2
movq %rax, %rbx
leaq 0x28(%rsp), %rdi
jmp 0xcfca
movq %rax, %rbx
jmp 0xcfcf
movq %rax, %rbx
movq %rsp, %rdi
callq 0xd420
leaq 0xc0(%rsp), %rdi
callq 0x7478
movq %rbx, %rdi
callq 0x7410
nop
// File: /workspace/github_cpp_makefile_star2_O2/eryxcc[P]lois/tests/../include/lois.h
// Function: lois::lsetof<lois::term>::lsetof(lois::lsetof<lois::term> const&)
lsetof<T>(const lsetof<T> &x) : ain(currentcontext) {
    if(in_substitution) {
      ain = x.ain;
      elts = x.elts;
      return;
      }
    if(debuglois) std::cout << ido << "copying " << x << " ain = " << emptycontext << std::endl;
    autoindenter i2;
    (*this) |= x;
    }

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x10, %rsp
movq %rsi, %r15
movq %rdi, %rbx
leaq 0x3c53a(%rip), %rsi     # 0x49770
callq 0xf7c2
leaq 0x10(%rbx), %r14
xorps %xmm0, %xmm0
andq $0x0, 0x20(%rbx)
movups %xmm0, 0x10(%rbx)
leaq 0x3c98e(%rip), %rax     # 0x49be0
cmpb $0x1, (%rax)
jne 0xd276
movq %rbx, %rdi
movq %r15, %rsi
callq 0x112d4
addq $0x10, %r15
movq %r14, %rdi
movq %r15, %rsi
callq 0x16f14
jmp 0xd30f
leaq 0x3c91b(%rip), %rax     # 0x49b98
cmpb $0x1, (%rax)
jne 0xd2f3
leaq 0x3bfdf(%rip), %rax     # 0x49268
movq (%rax), %rsi
movq 0x3bd3d(%rip), %rdi     # 0x48fd0
callq 0x2d27c
leaq 0x2403c(%rip), %rsi     # 0x312db
movq %rax, %rdi
callq 0x7230
movq %r15, %rdi
movq %rax, %rsi
callq 0x19028
leaq 0x2402b(%rip), %rsi     # 0x312e4
movq %rax, %rdi
callq 0x7230
movq %rax, %r12
leaq 0x3c495(%rip), %rsi     # 0x49760
movq %rsp, %r13
movq %r13, %rdi
callq 0xf7c2
movq %r12, %rdi
movq %r13, %rsi
callq 0x112f0
movq %rax, %rdi
callq 0x7130
leaq 0x8(%rsp), %rdi
callq 0xefce
leaq 0x3c5ee(%rip), %r12     # 0x498e8
addl $0x2, (%r12)
movq %rbx, %rdi
movq %r15, %rsi
callq 0x16fde
addl $-0x2, (%r12)
addq $0x10, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
movq %rax, %r15
leaq 0x8(%rsp), %rdi
callq 0xefce
jmp 0xd339
movq %rax, %r15
addl $-0x2, (%r12)
jmp 0xd339
movq %rax, %r15
movq %r14, %rdi
callq 0xf600
addq $0x8, %rbx
movq %rbx, %rdi
callq 0xefce
movq %r15, %rdi
callq 0x7410
nop
// File: /workspace/github_cpp_makefile_star2_O2/eryxcc[P]lois/tests/../include/lois.h
// Function: lois::EIteratorOf<lois::term>::operator++()
void EIteratorOf<T>::operator ++ () { 
  disconnectIterator();
  // if(index >= 0) 
  index++;
  connectIterator();
  }

// Assembly:
pushq %rbx
movq %rdi, %rbx
callq 0x18f8a
incl 0x8(%rbx)
movq %rbx, %rdi
popq %rbx
jmp 0x18764
nop
// File: /workspace/github_cpp_makefile_star2_O2/eryxcc[P]lois/tests/../include/lois.h
// Function: lois::lsetof<lois::term> lois::newSet<lois::term>(lois::term, lois::term)
lsetof<T> newSet(T x, T y) {
  lsetof<T> res; 
  res.insert(x, currentcontext); 
  res.insert(y, currentcontext); 
  return res;   
  }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x68, %rsp
movq %rdx, %r13
movq %rsi, %r14
movq %rdi, %rbx
callq 0xd46c
leaq 0x58(%rsp), %r15
movq %r15, %rdi
movq %r14, %rsi
callq 0xf5ec
leaq 0x3bbf6(%rip), %r14     # 0x49770
leaq 0x48(%rsp), %r12
movq %r12, %rdi
movq %r14, %rsi
callq 0xf7c2
leaq 0x38(%rsp), %rbp
movq %rbp, %rdi
movq %r14, %rsi
callq 0xf7c2
movq %rbx, %rdi
movq %r15, %rsi
movq %r12, %rdx
movq %rbp, %rcx
callq 0x172e6
leaq 0x10(%rsp), %r12
leaq 0x40(%rsp), %rdi
callq 0xefce
leaq 0x50(%rsp), %rdi
callq 0xefce
leaq 0x60(%rsp), %rdi
callq 0xefce
leaq 0x28(%rsp), %rbp
movq %rbp, %rdi
movq %r13, %rsi
callq 0xf5ec
leaq 0x3bb8b(%rip), %r13     # 0x49770
leaq 0x18(%rsp), %r14
movq %r14, %rdi
movq %r13, %rsi
callq 0xf7c2
leaq 0x8(%rsp), %r15
movq %r15, %rdi
movq %r13, %rsi
callq 0xf7c2
movq %rbx, %rdi
movq %rbp, %rsi
movq %r14, %rdx
movq %r15, %rcx
callq 0x172e6
leaq 0x10(%rsp), %rdi
callq 0xefce
leaq 0x20(%rsp), %rdi
callq 0xefce
leaq 0x30(%rsp), %rdi
callq 0xefce
movq %rbx, %rax
addq $0x68, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x20(%rsp), %r15
leaq 0x30(%rsp), %r14
movq %rax, %r13
jmp 0xdc67
movq %rax, %r13
leaq 0x60(%rsp), %r14
leaq 0x50(%rsp), %r15
leaq 0x40(%rsp), %r12
movq %r12, %rdi
callq 0xefce
movq %r15, %rdi
callq 0xefce
movq %r14, %rdi
callq 0xefce
movq %rbx, %rdi
callq 0xd420
movq %r13, %rdi
callq 0x7410
nop
// File: /workspace/github_cpp_makefile_star2_O2/eryxcc[P]lois/tests/../include/lois.h
// Function: lois::lsetof<lois::term>::operator=(lois::lsetof<lois::term> const&)
lsetof<T>& operator = (const lsetof<T>& rval) {
    if(debuglois) std::cout << ido << "assign " << rval << " ain = " << ain << " context = " << emptycontext << std::endl;
    autoindenter i1;
    if(usesenv(rval, ain)) throw assignment_exception();
    removeall(); (*this) |= rval;
    return *this;
    }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x68, %rsp
movq %rsi, %r14
movq %rdi, %rbx
leaq 0x3bacf(%rip), %rax     # 0x49b98
cmpb $0x1, (%rax)
jne 0xe17c
leaq 0x3b18f(%rip), %rax     # 0x49268
movq (%rax), %rsi
movq 0x3aeed(%rip), %rdi     # 0x48fd0
callq 0x2d27c
leaq 0x231fd(%rip), %rsi     # 0x312ec
movq %rax, %rdi
callq 0x7230
movq %r14, %rdi
movq %rax, %rsi
callq 0x19028
leaq 0x231db(%rip), %rsi     # 0x312e4
movq %rax, %rdi
callq 0x7230
movq %rax, %r15
leaq 0x30(%rsp), %r12
movq %r12, %rdi
movq %rbx, %rsi
callq 0xf7c2
movq %r15, %rdi
movq %r12, %rsi
callq 0x112f0
leaq 0x231be(%rip), %rsi     # 0x312f4
movq %rax, %rdi
callq 0x7230
movq %rax, %r15
leaq 0x3b618(%rip), %rsi     # 0x49760
leaq 0x20(%rsp), %r12
movq %r12, %rdi
callq 0xf7c2
movq %r15, %rdi
movq %r12, %rsi
callq 0x112f0
movq %rax, %rdi
callq 0x7130
leaq 0x28(%rsp), %rdi
callq 0xefce
leaq 0x38(%rsp), %rdi
callq 0xefce
leaq 0x3b765(%rip), %r13     # 0x498e8
addl $0x2, (%r13)
leaq 0x10(%rsp), %r15
movq %r15, %rdi
movq %rbx, %rsi
callq 0xf7c2
leaq 0x3b5d1(%rip), %rsi     # 0x49770
movq %rsp, %r12
movq %r12, %rdi
callq 0xf7c2
movq %r14, %rdi
movq %r15, %rsi
movq %r12, %rdx
callq 0x1c67a
movl %eax, %ebp
leaq 0x8(%rsp), %rdi
callq 0xefce
leaq 0x18(%rsp), %rdi
callq 0xefce
testb %bpl, %bpl
jne 0xe20c
leaq 0x40(%rsp), %rdi
movq %rbx, %rsi
callq 0x1c7b2
leaq 0x40(%rsp), %rdi
callq 0xd420
movq %rbx, %rdi
movq %r14, %rsi
callq 0x16fde
addl $-0x2, (%r13)
movq %rbx, %rax
addq $0x68, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
pushq $0x8
popq %rdi
callq 0x7140
leaq 0x394fd(%rip), %rcx     # 0x47718
movq %rcx, (%rax)
leaq 0x390ab(%rip), %rsi     # 0x472d0
movq 0x3adb4(%rip), %rdx     # 0x48fe0
movq %rax, %rdi
callq 0x73f0
movq %rax, %rbx
leaq 0x28(%rsp), %rdi
callq 0xefce
jmp 0xe25f
movq %rax, %rbx
leaq 0x8(%rsp), %rdi
callq 0xefce
leaq 0x18(%rsp), %rdi
callq 0xefce
jmp 0xe26e
movq %rax, %rbx
leaq 0x38(%rsp), %rdi
callq 0xefce
jmp 0xe273
movq %rax, %rbx
addl $-0x2, (%r13)
movq %rbx, %rdi
callq 0x7410
nop
// File: /workspace/github_cpp_makefile_star2_O2/eryxcc[P]lois/tests/../include/lois.h
// Function: lois::lbool::operator=(lois::rbool const&)
lbool& operator = (const rbool& rval) {
    if(usesenv(rval, parent)) throw assignment_exception();
    rbool alpha = outenv(ftrue, false, parent);
    phi = (alpha && rval) || ((!alpha) && phi);
    return (*this);
    }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xe8, %rsp
movq %rsi, %r14
movq %rdi, %rbx
leaq 0xd8(%rsp), %r15
movq %r15, %rdi
movq %rbx, %rsi
callq 0xf7c2
leaq 0x3aa7f(%rip), %rsi     # 0x49770
leaq 0xc8(%rsp), %r12
movq %r12, %rdi
callq 0xf7c2
movq %r14, %rdi
movq %r15, %rsi
movq %r12, %rdx
callq 0x162ec
movl %eax, %ebp
leaq 0xd0(%rsp), %rdi
callq 0xefce
leaq 0xe0(%rsp), %rdi
callq 0xefce
testb %bpl, %bpl
jne 0xeecc
leaq 0xc0(%rsp), %r15
leaq 0x3aa6d(%rip), %rsi     # 0x497b0
leaq 0xb8(%rsp), %r12
movq %r12, %rdi
callq 0xf04a
leaq 0xa8(%rsp), %r13
movq %r13, %rdi
movq %rbx, %rsi
callq 0xf7c2
leaq 0x3aa03(%rip), %rsi     # 0x49770
leaq 0x98(%rsp), %rbp
movq %rbp, %rdi
callq 0xf7c2
leaq 0x8(%rsp), %rdi
movq %r12, %rsi
xorl %edx, %edx
movq %r13, %rcx
movq %rbp, %r8
callq 0x1e4fb
leaq 0xa0(%rsp), %rdi
callq 0xefce
leaq 0xb0(%rsp), %rdi
callq 0xefce
leaq 0xc0(%rsp), %rdi
callq 0xefce
leaq 0x78(%rsp), %r15
leaq 0x8(%rsp), %rsi
movq %r15, %rdi
callq 0xf04a
leaq 0x68(%rsp), %r12
movq %r12, %rdi
movq %r14, %rsi
callq 0xf04a
leaq 0x38(%rsp), %rdi
movq %r15, %rsi
movq %r12, %rdx
callq 0x20113
leaq 0x58(%rsp), %r14
leaq 0x8(%rsp), %rsi
movq %r14, %rdi
callq 0xf04a
leaq 0x18(%rsp), %rdi
movq %r14, %rsi
callq 0x1ef2d
leaq 0x10(%rbx), %r14
leaq 0x48(%rsp), %r15
movq %r15, %rdi
movq %r14, %rsi
callq 0xf04a
leaq 0x28(%rsp), %rdi
leaq 0x18(%rsp), %rsi
movq %r15, %rdx
callq 0x20113
leaq 0x88(%rsp), %rdi
leaq 0x38(%rsp), %rsi
leaq 0x28(%rsp), %rdx
callq 0x202f9
leaq 0x88(%rsp), %rsi
movq %r14, %rdi
callq 0xf3dc
leaq 0x90(%rsp), %rdi
callq 0xefce
leaq 0x30(%rsp), %rdi
callq 0xefce
leaq 0x50(%rsp), %rdi
callq 0xefce
leaq 0x20(%rsp), %rdi
callq 0xefce
leaq 0x60(%rsp), %rdi
callq 0xefce
leaq 0x40(%rsp), %rdi
callq 0xefce
leaq 0x70(%rsp), %rdi
callq 0xefce
leaq 0x80(%rsp), %rdi
callq 0xefce
leaq 0x10(%rsp), %rdi
callq 0xefce
movq %rbx, %rax
addq $0xe8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
pushq $0x8
popq %rdi
callq 0x7140
leaq 0x3883d(%rip), %rcx     # 0x47718
movq %rcx, (%rax)
leaq 0x383eb(%rip), %rsi     # 0x472d0
movq 0x3a0f4(%rip), %rdx     # 0x48fe0
movq %rax, %rdi
callq 0x73f0
movq %rax, %rbx
leaq 0x30(%rsp), %rdi
callq 0xefce
jmp 0xef06
movq %rax, %rbx
leaq 0x50(%rsp), %rdi
callq 0xefce
leaq 0x20(%rsp), %rdi
callq 0xefce
jmp 0xef1f
movq %rax, %rbx
leaq 0x60(%rsp), %rdi
callq 0xefce
leaq 0x40(%rsp), %rdi
callq 0xefce
jmp 0xef38
movq %rax, %rbx
leaq 0x10(%rsp), %r15
leaq 0x70(%rsp), %rdi
callq 0xefce
leaq 0x80(%rsp), %rdi
jmp 0xef69
movq %rax, %rbx
leaq 0xa0(%rsp), %rdi
callq 0xefce
leaq 0xb0(%rsp), %rdi
callq 0xefce
movq %r15, %rdi
callq 0xefce
movq %rbx, %rdi
callq 0x7410
movq %rax, %rbx
leaq 0xd0(%rsp), %rdi
callq 0xefce
leaq 0xe0(%rsp), %rdi
jmp 0xef71
// File: /workspace/github_cpp_makefile_star2_O2/eryxcc[P]lois/tests/../include/loisextra.h
// Function: lois::operator+=(lois::lelemof<int>&, int)
inline lelemof<int>& operator += (lelemof<int>& v, int b) {
  for(int a: v.singleton.removeall())
  for(int c: cardinality(branchset(v.singleton.ain)).singleton)
    v.singleton += (a + c * b);
  return v;
  }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x138, %rsp            # imm = 0x138
movl %esi, %ebp
movq %rdi, %rbx
leaq 0x80(%rsp), %r14
movq %r14, %rdi
movq %rbx, %rsi
callq 0xfe14
leaq 0x50(%rsp), %rdi
movq %r14, %rsi
callq 0xe4b8
leaq 0xd8(%rsp), %rdi
leaq 0x80(%rsp), %rsi
callq 0xe4c8
leaq 0x50(%rsp), %r14
leaq 0xa8(%rsp), %r13
leaq 0x108(%rsp), %r12
leaq 0x4(%rsp), %r15
movq %r14, %rdi
leaq 0xd8(%rsp), %rsi
callq 0xe2a6
testb %al, %al
je 0xfd41
movq 0x60(%rsp), %rax
movl (%rax), %r14d
leaq 0x18(%rsp), %rdi
movq %rbx, %rsi
callq 0xf7c2
leaq 0x8(%rsp), %rdi
leaq 0x39aed(%rip), %rsi     # 0x49770
callq 0xf7c2
movq %r13, %rdi
leaq 0x18(%rsp), %rsi
leaq 0x8(%rsp), %rdx
callq 0x302d4
leaq 0x28(%rsp), %rdi
movq %r13, %rsi
callq 0x10174
movq %r13, %rdi
callq 0x105b4
leaq 0x10(%rsp), %rdi
callq 0xefce
leaq 0x20(%rsp), %rdi
callq 0xefce
movq %r13, %rdi
leaq 0x28(%rsp), %rsi
callq 0xe4b8
movq %r12, %rdi
leaq 0x28(%rsp), %rsi
callq 0xe4c8
movq %r13, %rdi
movq %r12, %rsi
callq 0xe2a6
testb %al, %al
je 0xfd15
movq 0xb8(%rsp), %rax
movl (%rax), %eax
imull %ebp, %eax
addl %r14d, %eax
movl %eax, 0x4(%rsp)
movq %rbx, %rdi
movq %r15, %rsi
callq 0xe434
movq %r13, %rdi
callq 0xe2ec
jmp 0xfcdd
movq %r12, %rdi
callq 0xe302
movq %r13, %rdi
callq 0xe302
leaq 0x28(%rsp), %rdi
callq 0xe8b6
leaq 0x50(%rsp), %r14
movq %r14, %rdi
callq 0xe2ec
jmp 0xfc4a
leaq 0xd8(%rsp), %rdi
callq 0xe302
leaq 0x50(%rsp), %rdi
callq 0xe302
leaq 0x80(%rsp), %rdi
callq 0xe8b6
movq %rbx, %rax
addq $0x138, %rsp            # imm = 0x138
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
jmp 0xfdf4
movq %rax, %rbx
jmp 0xfdfe
movq %rax, %rbx
jmp 0xfde7
movq %rax, %rbx
jmp 0xfdd0
movq %rax, %rbx
jmp 0xfda3
movq %rax, %rbx
leaq 0xa8(%rsp), %rdi
callq 0x105b4
leaq 0x10(%rsp), %rdi
callq 0xefce
leaq 0x20(%rsp), %rdi
callq 0xefce
jmp 0xfde7
movq %rax, %rbx
jmp 0xfddd
jmp 0xfdc0
movq %rax, %rbx
leaq 0x108(%rsp), %rdi
callq 0xe302
leaq 0xa8(%rsp), %rdi
callq 0xe302
leaq 0x28(%rsp), %rdi
callq 0xe8b6
leaq 0xd8(%rsp), %rdi
callq 0xe302
leaq 0x50(%rsp), %rdi
callq 0xe302
leaq 0x80(%rsp), %rdi
callq 0xe8b6
movq %rbx, %rdi
callq 0x7410
nop
// File: /workspace/github_cpp_makefile_star2_O2/eryxcc[P]lois/tests/../include/loisextra.h
// Function: std::ostream& lois::operator<<<lois::term>(std::ostream&, lois::lvector<lois::term> const&)
std::ostream& operator << (std::ostream& os, const lvector<T>& p) { 
    bool first = true;
    os << "[";    
    for(auto& t: p) { if(!first) os << ","; first = false; os << t; }
    os << "]";
    return os;
    }

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %r15
movq %rdi, %rbx
leaq 0x1ff9a(%rip), %rsi     # 0x3298f
callq 0x7230
movq (%r15), %r14
movq 0x8(%r15), %r12
movb $0x1, %al
leaq 0x1e8cf(%rip), %r15     # 0x312d9
cmpq %r12, %r14
je 0x12a31
testb $0x1, %al
jne 0x12a1e
movq %rbx, %rdi
movq %r15, %rsi
callq 0x7230
movq %rbx, %rdi
movq %r14, %rsi
callq 0xd05a
addq $0x10, %r14
xorl %eax, %eax
jmp 0x12a0a
leaq 0x20865(%rip), %rsi     # 0x3329d
movq %rbx, %rdi
callq 0x7230
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
// File: /workspace/github_cpp_makefile_star2_O2/eryxcc[P]lois/tests/../include/loisextra.h
// Function: lois::rbool lois::operator==<lois::term>(lois::lvector<lois::term> const&, lois::lvector<lois::term> const&)
rbool operator == (const lvector<T>& a, const lvector<T>& b) { 
    lbool res = ftrue;
    if(a.size() != b.size()) { res = ffalse; return res;}
    for(int i=0; i<(int) a.size(); i++)
      res &= (a[i] == b[i]);
    return res; 
    }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x48, %rsp
movq %rdx, %r14
movq %rsi, %r15
movq %rdi, (%rsp)
leaq 0x35f8f(%rip), %rsi     # 0x497b0
leaq 0x38(%rsp), %r12
movq %r12, %rdi
callq 0xf04a
leaq 0x18(%rsp), %rdi
movq %r12, %rsi
callq 0xf67c
leaq 0x40(%rsp), %rdi
callq 0xefce
movq (%r15), %rsi
movq 0x8(%r15), %rax
movq %rax, %rcx
subq %rsi, %rcx
movq 0x8(%r14), %rdx
subq (%r14), %rdx
cmpq %rdx, %rcx
jne 0x138b1
xorl %ebx, %ebx
leaq 0x8(%rsp), %r13
leaq 0x18(%rsp), %rbp
xorl %r12d, %r12d
subq %rsi, %rax
shrq $0x4, %rax
cltq
cmpq %rax, %r12
jge 0x138c2
addq %rbx, %rsi
movq (%r14), %rdx
addq %rbx, %rdx
movq %r13, %rdi
callq 0x20a46
movq %rbp, %rdi
movq %r13, %rsi
callq 0xf6a8
leaq 0x10(%rsp), %rdi
callq 0xefce
incq %r12
movq (%r15), %rsi
movq 0x8(%r15), %rax
addq $0x10, %rbx
jmp 0x1386d
leaq 0x35f08(%rip), %rsi     # 0x497c0
leaq 0x18(%rsp), %rdi
callq 0xecc0
leaq 0x28(%rsp), %rsi
movq (%rsp), %rbx
movq %rbx, %rdi
callq 0xf04a
leaq 0x18(%rsp), %rdi
callq 0xefa4
movq %rbx, %rax
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x13900
movq %rax, %rbx
leaq 0x10(%rsp), %rdi
callq 0xefce
jmp 0x13903
movq %rax, %rbx
leaq 0x18(%rsp), %rdi
callq 0xefa4
movq %rbx, %rdi
callq 0x7410
nop