LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_cpp_makefile_star2_O2/istellartech[P]OpenTsiolkovsky/src/Orbit.cpp
// Function: velOrbit2ECI(Orbit)
Vector3d velOrbit2ECI(Orbit element){
    double p = element.semi_latus_rectum;
    double nu = element.true_anomaly;
    double e = element.eccentricity;
    double mu = element.mu;
    Vector3d velPQW_;
    Vector3d velECI_;
    velPQW_ << -sqrt(mu/p)*sin(nu),
    sqrt(mu/p)*(e+cos(nu)),
    0;
    velECI_ = dcmPQW2ECI(element) * velPQW_;
    return velECI_;
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x158, %rsp            # imm = 0x158
movq %rdi, %rbx
movsd 0x1c8(%rsp), %xmm0
movsd %xmm0, 0xa0(%rsp)
movsd 0x180(%rsp), %xmm1
movsd 0x190(%rsp), %xmm0
movsd %xmm0, 0xa8(%rsp)
divsd 0x1d0(%rsp), %xmm1
sqrtsd %xmm1, %xmm0
xorpd %xmm2, %xmm2
movsd %xmm1, 0x90(%rsp)
ucomisd %xmm2, %xmm1
movsd %xmm0, 0x98(%rsp)
jae 0x1c6a4
movsd 0x90(%rsp), %xmm0
callq 0x52e0
xorpd 0x2964(%rip), %xmm0     # 0x1f010
movapd %xmm0, 0xb0(%rsp)
movsd 0xa0(%rsp), %xmm0
callq 0x50e0
leaq 0x140(%rsp), %r12
movq %r12, 0xd0(%rsp)
andq $0x0, 0xd8(%rsp)
mulsd 0xb0(%rsp), %xmm0
pushq $0x1
popq %rax
movq %rax, 0xe0(%rsp)
movq %rax, 0xe8(%rsp)
movsd %xmm0, (%r12)
movsd 0x90(%rsp), %xmm0
ucomisd 0x67b1(%rip), %xmm0     # 0x22ec0
jae 0x1c728
movsd 0x90(%rsp), %xmm0
callq 0x52e0
movsd %xmm0, 0x98(%rsp)
movsd 0xa0(%rsp), %xmm0
callq 0x5680
movsd 0xa8(%rsp), %xmm1
addsd %xmm0, %xmm1
mulsd 0x98(%rsp), %xmm1
leaq 0x118(%rsp), %rsi
movsd %xmm1, (%rsi)
leaq 0xd0(%rsp), %rdi
callq 0xfd60
leaq 0xc8(%rsp), %rsi
andq $0x0, (%rsi)
movq %rax, %rdi
callq 0xfd60
leaq 0x180(%rsp), %r14
leaq 0xd0(%rsp), %r15
movq %r15, %rdi
callq 0xfe08
pushq $0x12
popq %rcx
movq %rsp, %rdi
movq %r14, %rsi
rep  movsq (%rsi), %es:(%rdi)
movq %r15, %rdi
callq 0x1c229
leaq 0x118(%rsp), %rsi
movq %r15, (%rsi)
movq %r12, 0x8(%rsi)
movq %rbx, %rdi
callq 0x15e70
movq %rbx, %rax
addq $0x158, %rsp            # imm = 0x158
popq %rbx
popq %r12
popq %r14
popq %r15
retq
jmp 0x1c7d0
movq %rax, %rbx
leaq 0xd0(%rsp), %rdi
callq 0xfe08
movq %rbx, %rdi
callq 0x5640
// File: /workspace/github_cpp_makefile_star2_O2/istellartech[P]OpenTsiolkovsky/src/Orbit.cpp
// Function: success_orbit(Orbit)
bool success_orbit(Orbit element){
    double const earth_radius = 6378.137; // 地球半径 km
    Vector3d posECI_check;
    element.true_anomaly = 0;
    posECI_check = posOrbit2ECI(element);
    if (posECI_check.norm() > earth_radius) {
        return true;
    } else {
        return false;
    }
}

// Assembly:
pushq %r14
pushq %rbx
subq $0xc8, %rsp
leaq 0xe0(%rsp), %rsi
andq $0x0, 0x48(%rsi)
pushq $0x12
popq %rcx
movq %rsp, %rdi
rep  movsq (%rsi), %es:(%rdi)
leaq 0x98(%rsp), %rbx
movq %rbx, %rdi
callq 0x1c499
leaq 0xb0(%rsp), %r14
movq %rbx, %rdi
movq %r14, %rsi
callq 0x15314
movq %r14, %rdi
callq 0x10c94
ucomisd 0x668d(%rip), %xmm0     # 0x22ec8
seta %al
addq $0xc8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_cpp_makefile_star2_O2/istellartech[P]OpenTsiolkovsky/src/Orbit.cpp
// Function: julian_day(int, int, int, int, int, double)
double julian_day(int year, int mon, int day, int hr, int minute, double sec){
    /* Input UTC
     *  inputs          description                    range / units
     *    year        - year                           1900 .. 2100
     *    mon         - month                          1 .. 12
     *    day         - day                            1 .. 28,29,30,31
     *    hr          - universal time hour            0 .. 23
     *    min         - universal time min             0 .. 59
     *    sec         - universal time sec             0.0 .. 59.999
     *  outputs       :
     *    jd          - julian date                    days from 4713 bc
     * cf. sgp4ext.cpp */
    double jd = 367.0 * year - floor((7 * (year + floor((mon + 9) / 12.0))) * 0.25) +
                floor( 275 * mon / 9.0 ) + day + 1721013.5 +
                ((sec / 60.0 + minute) / 60.0 + hr) / 24.0;  // ut in days
    return jd;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %rbx
subq $0x18, %rsp
movsd %xmm0, 0x10(%rsp)
movl %r8d, %ebp
movl %ecx, %ebx
movl %edx, %r14d
movl %esi, %r15d
cvtsi2sd %edi, %xmm0
movsd %xmm0, 0x8(%rsp)
leal 0x9(%r15), %eax
cvtsi2sd %eax, %xmm0
divsd 0x6652(%rip), %xmm0     # 0x22ed0
callq 0x55e0
addsd 0x8(%rsp), %xmm0
mulsd 0x6647(%rip), %xmm0     # 0x22ed8
mulsd 0x357f(%rip), %xmm0     # 0x1fe18
callq 0x55e0
movsd 0x8(%rsp), %xmm1
mulsd 0x6634(%rip), %xmm1     # 0x22ee0
subsd %xmm0, %xmm1
movsd %xmm1, 0x8(%rsp)
imull $0x113, %r15d, %eax     # imm = 0x113
cvtsi2sd %eax, %xmm0
divsd 0x661f(%rip), %xmm0     # 0x22ee8
callq 0x55e0
addsd 0x8(%rsp), %xmm0
cvtsi2sd %r14d, %xmm1
addsd %xmm1, %xmm0
addsd 0x660b(%rip), %xmm0     # 0x22ef0
movsd 0x660b(%rip), %xmm1     # 0x22ef8
movsd 0x10(%rsp), %xmm3
divsd %xmm1, %xmm3
cvtsi2sd %ebp, %xmm2
addsd %xmm3, %xmm2
divsd %xmm1, %xmm2
cvtsi2sd %ebx, %xmm1
addsd %xmm2, %xmm1
divsd 0x65ed(%rip), %xmm1     # 0x22f00
addsd %xmm1, %xmm0
addq $0x18, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O2/istellartech[P]OpenTsiolkovsky/src/coordinate_transform.cpp
// Function: dcmECI2ECEF(double)
Matrix3d dcmECI2ECEF(double second){
    double omega = 7.292115e-5; // 地球の自転角速度[rad/s]
    double theta = omega * second;
    Matrix3d dcm;
    dcm << cos(theta), sin(theta), 0.0,
          -sin(theta), cos(theta), 0.0,
           0.0,        0.0,        1.0;
    return dcm;
}

// Assembly:
pushq %r14
pushq %rbx
subq $0x68, %rsp
movq %rdi, %rbx
mulsd 0x65e2(%rip), %xmm0     # 0x23110
movsd %xmm0, (%rsp)
callq 0x5680
leaq 0x48(%rsp), %r14
movq %rbx, (%r14)
andq $0x0, 0x8(%r14)
pushq $0x1
popq %rax
movq %rax, 0x10(%r14)
movq %rax, 0x18(%r14)
movsd %xmm0, (%rbx)
movsd (%rsp), %xmm0
callq 0x50e0
leaq 0x40(%rsp), %rsi
movsd %xmm0, (%rsi)
movq %r14, %rdi
callq 0x1c988
leaq 0x38(%rsp), %rsi
andq $0x0, (%rsi)
movq %rax, %rdi
callq 0x1c988
movq %rax, %r14
movsd (%rsp), %xmm0
callq 0x50e0
xorps 0x247c(%rip), %xmm0     # 0x1f010
leaq 0x30(%rsp), %rsi
movlps %xmm0, (%rsi)
movq %r14, %rdi
callq 0x1c988
movq %rax, %r14
movsd (%rsp), %xmm0
callq 0x5680
leaq 0x28(%rsp), %rsi
movsd %xmm0, (%rsi)
movq %r14, %rdi
callq 0x1c988
leaq 0x20(%rsp), %rsi
andq $0x0, (%rsi)
movq %rax, %rdi
callq 0x1c988
leaq 0x18(%rsp), %rsi
andq $0x0, (%rsi)
movq %rax, %rdi
callq 0x1c988
leaq 0x10(%rsp), %rsi
andq $0x0, (%rsi)
movq %rax, %rdi
callq 0x1c988
movabsq $0x3ff0000000000000, %rcx # imm = 0x3FF0000000000000
leaq 0x8(%rsp), %rsi
movq %rcx, (%rsi)
movq %rax, %rdi
callq 0x1c988
leaq 0x48(%rsp), %rdi
callq 0x1ca30
movq %rbx, %rax
addq $0x68, %rsp
popq %rbx
popq %r14
retq
jmp 0x1cc32
jmp 0x1cc32
jmp 0x1cc32
jmp 0x1cc32
jmp 0x1cc32
jmp 0x1cc32
jmp 0x1cc32
movq %rax, %rbx
leaq 0x48(%rsp), %rdi
callq 0x1ca30
movq %rbx, %rdi
callq 0x5640
// File: /workspace/github_cpp_makefile_star2_O2/istellartech[P]OpenTsiolkovsky/src/coordinate_transform.cpp
// Function: posLLH(Eigen::Matrix<double, 3, 1, 0, 3, 1>)
Vector3d posLLH(Vector3d posECEF_){
    
    Vector3d posLLH;
    double a = 6378137.0;               // WGS84の長軸[m]
    double one_f = 298.257223563;       // 扁平率fの1/f（平滑度）
    double b = a * (1.0 - 1.0 / one_f); // WGS84の短軸[m] b = 6356752.314245
    double e2 = (1.0 / one_f) * (2.0 - (1.0 / one_f));  // 第一離心率eの2乗
    double ed2 = (e2 * a * a / (b * b));// 第二離心率e'の2乗
    double p = sqrt(posECEF_(0) * posECEF_(0) + posECEF_(1) * posECEF_(1));    // 現在位置での地球回転軸からの距離[m]
    double theta = atan2(posECEF_(2)*a, p*b);    //[rad]
    posLLH[0] = rad2deg(atan2((posECEF_(2) + ed2 * b * pow(sin(theta),3)), p - e2 * a * pow(cos(theta),3)));
    posLLH[1] = rad2deg(atan2(posECEF_(1),posECEF_(0)));
    posLLH[2] = p / cos(deg2rad(posLLH(0))) - n_posECEF2LLH(posLLH(0), a, e2);
    return posLLH;
}

// Assembly:
pushq %r14
pushq %rbx
subq $0x28, %rsp
movq %rsi, %r14
movq %rdi, %rbx
movsd (%rsi), %xmm0
movsd 0x8(%rsi), %xmm1
mulsd %xmm1, %xmm1
mulsd %xmm0, %xmm0
addsd %xmm1, %xmm0
sqrtsd %xmm0, %xmm2
movsd %xmm2, 0x8(%rsp)
movsd 0x10(%rsi), %xmm0
mulsd 0x616b(%rip), %xmm0     # 0x22e98
movsd 0x6143(%rip), %xmm1     # 0x22e78
mulsd %xmm2, %xmm1
callq 0x5090
movsd %xmm0, 0x20(%rsp)
movsd 0x10(%r14), %xmm1
movsd %xmm1, 0x10(%rsp)
callq 0x50e0
movsd 0x31ab(%rip), %xmm1     # 0x1ff08
callq 0x5630
mulsd 0x63ae(%rip), %xmm0     # 0x23118
addsd 0x10(%rsp), %xmm0
movsd %xmm0, 0x10(%rsp)
movsd 0x20(%rsp), %xmm0
callq 0x5680
movsd 0x317f(%rip), %xmm1     # 0x1ff08
callq 0x5630
movapd %xmm0, %xmm1
mulsd 0x6386(%rip), %xmm1     # 0x23120
addsd 0x8(%rsp), %xmm1
movsd 0x10(%rsp), %xmm0
callq 0x5090
movaps %xmm0, 0x10(%rsp)
movsd (%r14), %xmm1
movsd 0x8(%r14), %xmm0
callq 0x5090
movapd 0x10(%rsp), %xmm1
unpcklpd %xmm0, %xmm1            # xmm1 = xmm1[0],xmm0[0]
mulpd 0x326e(%rip), %xmm1     # 0x20040
divpd 0x3276(%rip), %xmm1     # 0x20050
movupd %xmm1, (%rbx)
divsd 0x301a(%rip), %xmm1     # 0x1fe00
mulsd 0x301a(%rip), %xmm1     # 0x1fe08
movapd %xmm1, 0x10(%rsp)
movapd %xmm1, %xmm0
callq 0x5680
movsd 0x8(%rsp), %xmm1
divsd %xmm0, %xmm1
movsd %xmm1, 0x8(%rsp)
movaps 0x10(%rsp), %xmm0
callq 0x50e0
movsd %xmm0, 0x20(%rsp)
movapd 0x10(%rsp), %xmm0
callq 0x50e0
movsd 0x20(%rsp), %xmm1
mulsd 0x62f2(%rip), %xmm1     # 0x23128
mulsd %xmm0, %xmm1
addsd 0x221e(%rip), %xmm1     # 0x1f060
xorpd %xmm0, %xmm0
ucomisd %xmm0, %xmm1
movapd %xmm1, %xmm0
jb 0x1ce56
sqrtsd %xmm0, %xmm0
jmp 0x1ce5b
callq 0x52e0
movsd 0x62cd(%rip), %xmm1     # 0x23130
divsd %xmm0, %xmm1
movsd 0x8(%rsp), %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, 0x10(%rbx)
movq %rbx, %rax
addq $0x28, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_cpp_makefile_star2_O2/istellartech[P]OpenTsiolkovsky/src/coordinate_transform.cpp
// Function: dcmECEF2NED(Eigen::Matrix<double, 3, 1, 0, 3, 1>)
Matrix3d dcmECEF2NED(Vector3d posLLH_){
    Matrix3d dcm;
    double lat = deg2rad(posLLH_[0]);
    double lon = deg2rad(posLLH_[1]);
    dcm << -sin(lat)*cos(lon), -sin(lat)*sin(lon), cos(lat),
           -sin(lon),           cos(lon),          0,
           -cos(lat)*cos(lon), -cos(lat)*sin(lon), -sin(lat);
    return dcm;
}

// Assembly:
pushq %r14
pushq %rbx
subq $0x88, %rsp
movq %rdi, %rbx
movsd (%rsi), %xmm0
movsd 0x8(%rsi), %xmm2
movsd 0x2f61(%rip), %xmm3     # 0x1fe00
divsd %xmm3, %xmm0
movsd 0x2f5d(%rip), %xmm1     # 0x1fe08
mulsd %xmm1, %xmm0
movsd %xmm0, 0x8(%rsp)
divsd %xmm3, %xmm2
mulsd %xmm1, %xmm2
movsd %xmm2, (%rsp)
callq 0x50e0
xorpd 0x2141(%rip), %xmm0     # 0x1f010
movapd %xmm0, 0x10(%rsp)
movsd (%rsp), %xmm0
callq 0x5680
mulsd 0x10(%rsp), %xmm0
leaq 0x68(%rsp), %r14
movq %rbx, (%r14)
andq $0x0, 0x8(%r14)
pushq $0x1
popq %rax
movq %rax, 0x10(%r14)
movq %rax, 0x18(%r14)
movsd %xmm0, (%rbx)
movsd 0x8(%rsp), %xmm0
callq 0x50e0
xorps 0x20fd(%rip), %xmm0     # 0x1f010
movaps %xmm0, 0x10(%rsp)
movsd (%rsp), %xmm0
callq 0x50e0
mulsd 0x10(%rsp), %xmm0
leaq 0x60(%rsp), %rsi
movsd %xmm0, (%rsi)
movq %r14, %rdi
callq 0x1c988
movq %rax, %r14
movsd 0x8(%rsp), %xmm0
callq 0x5680
leaq 0x58(%rsp), %rsi
movsd %xmm0, (%rsi)
movq %r14, %rdi
callq 0x1c988
movq %rax, %r14
movsd (%rsp), %xmm0
callq 0x50e0
xorpd 0x20a3(%rip), %xmm0     # 0x1f010
leaq 0x50(%rsp), %rsi
movlpd %xmm0, (%rsi)
movq %r14, %rdi
callq 0x1c988
movq %rax, %r14
movsd (%rsp), %xmm0
callq 0x5680
leaq 0x48(%rsp), %rsi
movsd %xmm0, (%rsi)
movq %r14, %rdi
callq 0x1c988
leaq 0x40(%rsp), %rsi
andq $0x0, (%rsi)
movq %rax, %rdi
callq 0x1c988
movq %rax, %r14
movsd 0x8(%rsp), %xmm0
callq 0x5680
xorps 0x204e(%rip), %xmm0     # 0x1f010
movaps %xmm0, 0x10(%rsp)
movsd (%rsp), %xmm0
callq 0x5680
mulsd 0x10(%rsp), %xmm0
leaq 0x38(%rsp), %rsi
movsd %xmm0, (%rsi)
movq %r14, %rdi
callq 0x1c988
movq %rax, %r14
movsd 0x8(%rsp), %xmm0
callq 0x5680
xorps 0x2013(%rip), %xmm0     # 0x1f010
movaps %xmm0, 0x10(%rsp)
movsd (%rsp), %xmm0
callq 0x50e0
mulsd 0x10(%rsp), %xmm0
leaq 0x30(%rsp), %rsi
movsd %xmm0, (%rsi)
movq %r14, %rdi
callq 0x1c988
movq %rax, %r14
movsd 0x8(%rsp), %xmm0
callq 0x50e0
xorpd 0x1fd7(%rip), %xmm0     # 0x1f010
leaq 0x28(%rsp), %rsi
movlpd %xmm0, (%rsi)
movq %r14, %rdi
callq 0x1c988
leaq 0x68(%rsp), %rdi
callq 0x1ca30
movq %rbx, %rax
addq $0x88, %rsp
popq %rbx
popq %r14
retq
jmp 0x1d070
jmp 0x1d070
jmp 0x1d070
jmp 0x1d070
jmp 0x1d070
jmp 0x1d070
jmp 0x1d070
movq %rax, %rbx
leaq 0x68(%rsp), %rdi
callq 0x1ca30
movq %rbx, %rdi
callq 0x5640
// File: /workspace/github_cpp_makefile_star2_O2/istellartech[P]OpenTsiolkovsky/src/coordinate_transform.cpp
// Function: vel_ECEF_NEDframe(Eigen::Matrix<double, 3, 3, 0, 3, 3>, Eigen::Matrix<double, 3, 1, 0, 3, 1>, Eigen::Matrix<double, 3, 1, 0, 3, 1>)
Vector3d vel_ECEF_NEDframe(Matrix3d dcmECI2NED_, Vector3d vel_ECI_ECIframe_, Vector3d pos_ECI_){
    double omega = 7.292115e-5; // 地球の自転角速度[rad]
    Matrix3d omegaECI2ECEF_;    // 角速度テンソル angular velocity tensorß
    omegaECI2ECEF_ << 0.0,   -omega, 0.0,
                      omega, 0.0,    0.0,
                      0.0,   0.0,    0.0;
    return dcmECI2NED_ * (vel_ECI_ECIframe_ - omegaECI2ECEF_ * pos_ECI_);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x108, %rsp            # imm = 0x108
movq %rcx, %r12
movq %rdx, %r15
movq %rsi, %r14
movq %rdi, %rbx
movabsq $0x3f131da7d157db65, %rax # imm = 0x3F131DA7D157DB65
movq %rax, 0x8(%rsp)
leaq 0xc0(%rsp), %rbp
leaq 0x38(%rsp), %rdi
movq %rbp, (%rdi)
andq $0x0, 0x8(%rdi)
pushq $0x1
popq %rax
movq %rax, 0x10(%rdi)
andq $0x0, (%rbp)
movq %rax, 0x18(%rdi)
movabsq $-0x40ece2582ea8249b, %rax # imm = 0xBF131DA7D157DB65
leaq 0x70(%rsp), %rsi
movq %rax, (%rsi)
callq 0x1c988
leaq 0x98(%rsp), %rsi
andq $0x0, (%rsi)
movq %rax, %rdi
callq 0x1c988
leaq 0x8(%rsp), %rsi
movq %rax, %rdi
callq 0x1c988
leaq 0x30(%rsp), %rsi
andq $0x0, (%rsi)
movq %rax, %rdi
callq 0x1c988
leaq 0x28(%rsp), %rsi
andq $0x0, (%rsi)
movq %rax, %rdi
callq 0x1c988
leaq 0x20(%rsp), %rsi
andq $0x0, (%rsi)
movq %rax, %rdi
callq 0x1c988
leaq 0x18(%rsp), %rsi
andq $0x0, (%rsi)
movq %rax, %rdi
callq 0x1c988
leaq 0x10(%rsp), %rsi
andq $0x0, (%rsi)
movq %rax, %rdi
callq 0x1c988
leaq 0x38(%rsp), %r13
movq %r13, %rdi
callq 0x1ca30
leaq 0x98(%rsp), %rsi
movq %rbp, (%rsi)
movq %r12, 0x8(%rsi)
leaq 0x78(%rsp), %rdi
movq %r15, -0x8(%rdi)
callq 0x1543a
movq %r14, (%r13)
leaq 0x40(%rsp), %rdi
leaq 0x70(%rsp), %rsi
callq 0x1e74e
leaq 0x38(%rsp), %rdi
callq 0x15b5c
movq %rbx, %rdi
movq %rax, %rsi
callq 0x129c6
movq %rbx, %rax
addq $0x108, %rsp            # imm = 0x108
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x1d203
jmp 0x1d203
jmp 0x1d203
jmp 0x1d203
jmp 0x1d203
jmp 0x1d203
movq %rax, %rbx
leaq 0x38(%rsp), %rdi
callq 0x1ca30
movq %rbx, %rdi
callq 0x5640
// File: /workspace/github_cpp_makefile_star2_O2/istellartech[P]OpenTsiolkovsky/src/coordinate_transform.cpp
// Function: vel_wind_NEDframe(double, double)
Vector3d vel_wind_NEDframe(double wind_speed, double wind_direction){
    Vector3d vel;
    vel[0] = - wind_speed * cos(deg2rad(wind_direction));
    vel[1] = - wind_speed * sin(deg2rad(wind_direction));
    vel[2] = 0;
    return vel;
}

// Assembly:
pushq %rbx
subq $0x30, %rsp
movaps %xmm0, 0x20(%rsp)
movq %rdi, %rbx
divsd 0x2bd3(%rip), %xmm1     # 0x1fe00
mulsd 0x2bd3(%rip), %xmm1     # 0x1fe08
movsd %xmm1, 0x8(%rsp)
movapd %xmm1, %xmm0
callq 0x5680
movapd %xmm0, 0x10(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x50e0
movapd 0x10(%rsp), %xmm1
unpcklpd %xmm0, %xmm1            # xmm1 = xmm1[0],xmm0[0]
movapd 0x20(%rsp), %xmm0
unpcklpd %xmm0, %xmm0            # xmm0 = xmm0[0,0]
xorpd 0x1d9f(%rip), %xmm0     # 0x1f010
mulpd %xmm1, %xmm0
movupd %xmm0, (%rbx)
andq $0x0, 0x10(%rbx)
movq %rbx, %rax
addq $0x30, %rsp
popq %rbx
retq
// File: /workspace/github_cpp_makefile_star2_O2/istellartech[P]OpenTsiolkovsky/src/coordinate_transform.cpp
// Function: angle_of_attack(Eigen::Matrix<double, 3, 1, 0, 3, 1>)
Vector3d angle_of_attack(Vector3d vel_AIR_BODYframe_){
    double vel_abs = vel_AIR_BODYframe_.norm();
    double alpha;
    double beta;
    double gamma;
    if(abs(vel_AIR_BODYframe_[0]) < 0.001 || vel_abs < 0.01){
        alpha = 0;
        beta = 0;
        gamma = 0;
    }else{
        alpha = atan2(vel_AIR_BODYframe_[2], vel_AIR_BODYframe_[0]);
//        beta = asin(vel_AIR_BODYframe_[1] / vel_abs);
        beta = atan2(vel_AIR_BODYframe_[1], vel_AIR_BODYframe_[0]);
        gamma = atan2(sqrt(vel_AIR_BODYframe_[1] * vel_AIR_BODYframe_[1] +
                      vel_AIR_BODYframe_[2] * vel_AIR_BODYframe_[2]), vel_AIR_BODYframe_[0]);
    }
    Vector3d aoa;
    aoa[0] = alpha;
    aoa[1] = beta;
    aoa[2] = gamma;
    return aoa;
}

// Assembly:
pushq %r14
pushq %rbx
subq $0x18, %rsp
movq %rsi, %r14
movq %rdi, %rbx
movq %rsi, %rdi
callq 0x10c94
movsd 0x2b0b(%rip), %xmm1     # 0x1fdf0
ucomisd %xmm0, %xmm1
xorps %xmm3, %xmm3
ja 0x1d374
movsd (%r14), %xmm1
movapd 0x1d51(%rip), %xmm0     # 0x1f050
andpd %xmm1, %xmm0
movsd 0x5e2d(%rip), %xmm2     # 0x23138
ucomisd %xmm0, %xmm2
xorpd %xmm2, %xmm2
xorpd %xmm0, %xmm0
ja 0x1d37c
movsd 0x10(%r14), %xmm0
callq 0x5090
movsd %xmm0, 0x10(%rsp)
movsd (%r14), %xmm1
movsd 0x8(%r14), %xmm0
callq 0x5090
movsd %xmm0, 0x8(%rsp)
movsd (%r14), %xmm1
movsd 0x8(%r14), %xmm0
movsd 0x10(%r14), %xmm2
mulsd %xmm2, %xmm2
mulsd %xmm0, %xmm0
addsd %xmm2, %xmm0
sqrtsd %xmm0, %xmm0
callq 0x5090
movsd 0x8(%rsp), %xmm2
movsd 0x10(%rsp), %xmm3
jmp 0x1d37c
xorpd %xmm2, %xmm2
xorpd %xmm0, %xmm0
movsd %xmm3, (%rbx)
movsd %xmm2, 0x8(%rbx)
movsd %xmm0, 0x10(%rbx)
movq %rbx, %rax
addq $0x18, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_cpp_makefile_star2_O2/istellartech[P]OpenTsiolkovsky/src/coordinate_transform.cpp
// Function: azimuth_elevation(Eigen::Matrix<double, 3, 1, 0, 3, 1>)
Vector2d azimuth_elevation(Vector3d vel_BODY_NEDframe){
    double north  = vel_BODY_NEDframe[0];
    double east = vel_BODY_NEDframe[1];
    double down = vel_BODY_NEDframe[2];
    double azimuth = pi/2.0 - atan2(north, east);
    double elevation = atan2(-down, sqrt(north * north + east * east));
    Vector2d azel;
    azel[0] = azimuth;
    azel[1] = elevation;
    return azel;
}

// Assembly:
pushq %rbx
subq $0x30, %rsp
movq %rdi, %rbx
movsd (%rsi), %xmm0
movsd %xmm0, 0x10(%rsp)
movsd 0x8(%rsi), %xmm1
movsd %xmm1, 0x8(%rsp)
movsd 0x10(%rsi), %xmm2
movaps %xmm2, 0x20(%rsp)
callq 0x5090
movsd 0x26d9(%rip), %xmm1     # 0x1fe28
subsd %xmm0, %xmm1
movsd %xmm1, 0x18(%rsp)
movaps 0x20(%rsp), %xmm0
xorps 0x18ab(%rip), %xmm0     # 0x1f010
movsd 0x8(%rsp), %xmm2
mulsd %xmm2, %xmm2
movsd 0x10(%rsp), %xmm1
mulsd %xmm1, %xmm1
addsd %xmm2, %xmm1
sqrtsd %xmm1, %xmm1
callq 0x5090
movsd 0x18(%rsp), %xmm1
movsd %xmm1, (%rbx)
movsd %xmm0, 0x8(%rbx)
movq %rbx, %rax
addq $0x30, %rsp
popq %rbx
retq
// File: /workspace/github_cpp_makefile_star2_O2/istellartech[P]OpenTsiolkovsky/src/coordinate_transform.cpp
// Function: azimuth_elevation_roll(Eigen::Matrix<double, 3, 3, 0, 3, 3>)
Vector3d azimuth_elevation_roll(Matrix3d dcmNED2BODY_){
    Vector3d azelro = dcmNED2BODY_.transpose().eulerAngles(2, 1, 0);
    double az_rad = azelro[0];
    double el_rad = azelro[1];
    double ro_rad = azelro[2];

    if (el_rad > deg2rad(90.0)) {
        ro_rad += deg2rad(180.0);
        az_rad += deg2rad(180.0);
        el_rad = deg2rad(180.0) - el_rad;
    } else if (el_rad < deg2rad(-90.0)) {
        ro_rad += deg2rad(180.0);
        az_rad += deg2rad(180.0);
        el_rad = deg2rad(-180.0) - el_rad;
    }

    if (ro_rad > deg2rad(180.0)){
        ro_rad -= deg2rad(360.0);
    }

    return  Vector3d(az_rad, el_rad, ro_rad);
}

// Assembly:
pushq %r14
pushq %rbx
subq $0x28, %rsp
movq %rdi, %rbx
leaq 0x8(%rsp), %rax
movq %rsi, (%rax)
leaq 0x10(%rsp), %r14
pushq $0x2
popq %rdx
pushq $0x1
popq %rcx
movq %r14, %rdi
movq %rax, %rsi
xorl %r8d, %r8d
callq 0x1e3d0
movsd (%r14), %xmm0
movsd 0x8(%r14), %xmm1
movsd 0x10(%r14), %xmm2
ucomisd 0x2646(%rip), %xmm1     # 0x1fe28
jbe 0x1d7f6
movsd 0x261c(%rip), %xmm3     # 0x1fe08
addsd %xmm3, %xmm2
addsd %xmm3, %xmm0
jmp 0x1d81c
movsd 0x5942(%rip), %xmm3     # 0x23140
ucomisd %xmm1, %xmm3
jbe 0x1d824
movsd 0x25fc(%rip), %xmm3     # 0x1fe08
addsd %xmm3, %xmm2
addsd %xmm3, %xmm0
movsd 0x592c(%rip), %xmm3     # 0x23148
subsd %xmm1, %xmm3
movapd %xmm3, %xmm1
movsd 0x5924(%rip), %xmm3     # 0x23150
addsd %xmm2, %xmm3
movsd 0x25d0(%rip), %xmm4     # 0x1fe08
cmpltsd %xmm2, %xmm4
andpd %xmm4, %xmm3
andnpd %xmm2, %xmm4
orpd %xmm3, %xmm4
movsd %xmm0, (%rbx)
movsd %xmm1, 0x8(%rbx)
movlpd %xmm4, 0x10(%rbx)
movq %rbx, %rax
addq $0x28, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_cpp_makefile_star2_O2/istellartech[P]OpenTsiolkovsky/src/coordinate_transform.cpp
// Function: posECEF(Eigen::Matrix<double, 3, 1, 0, 3, 1>)
Vector3d posECEF(Vector3d posLLH_){
    Vector3d pos;
    double lat = deg2rad(posLLH_[0]); //degree
    double lon = deg2rad(posLLH_[1]);
    double alt = posLLH_[2];
    double a = 6378137; // 長半径a [m]
    double f = 1.0 / 298.257223563; // 扁平率
    double e = sqrt(2*f - f*f); // 離心率 e
    double e2 = e * e;
    double W = sqrt(1.0 - e2 * sin(lat) * sin(lat));
    double N = a / W; // 卯酉線曲率半径
    pos[0] = (N + alt) * cos(lat) * cos(lon);
    pos[1] = (N + alt) * cos(lat) * sin(lon);
    pos[2] = (N * (1 - e2) + alt) * sin(lat);
    return pos;
}

// Assembly:
pushq %rbx
subq $0x60, %rsp
movq %rdi, %rbx
movsd (%rsi), %xmm3
movsd 0x8(%rsi), %xmm2
movsd 0x2558(%rip), %xmm0     # 0x1fe00
divsd %xmm0, %xmm3
movsd 0x2554(%rip), %xmm1     # 0x1fe08
mulsd %xmm1, %xmm3
movsd %xmm3, 0x8(%rsp)
divsd %xmm0, %xmm2
mulsd %xmm1, %xmm2
movsd %xmm2, 0x10(%rsp)
movsd 0x10(%rsi), %xmm0
movsd %xmm0, 0x18(%rsp)
movapd %xmm3, %xmm0
callq 0x50e0
movsd %xmm0, (%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x50e0
movsd (%rsp), %xmm1
mulsd 0x585b(%rip), %xmm1     # 0x23158
mulsd %xmm0, %xmm1
addsd 0x1757(%rip), %xmm1     # 0x1f060
xorpd %xmm0, %xmm0
ucomisd %xmm0, %xmm1
movapd %xmm1, %xmm0
jb 0x1d91d
sqrtsd %xmm0, %xmm0
jmp 0x1d922
callq 0x52e0
movsd 0x556e(%rip), %xmm1     # 0x22e98
divsd %xmm0, %xmm1
movsd %xmm1, (%rsp)
movsd 0x18(%rsp), %xmm0
addsd %xmm1, %xmm0
movapd %xmm0, 0x50(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x5680
movaps %xmm0, 0x30(%rsp)
movsd 0x10(%rsp), %xmm0
callq 0x5680
movaps %xmm0, 0x40(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x5680
movaps %xmm0, 0x20(%rsp)
movsd 0x10(%rsp), %xmm0
callq 0x50e0
movapd 0x30(%rsp), %xmm2
unpcklpd 0x20(%rsp), %xmm2       # xmm2 = xmm2[0],mem[0]
movapd 0x50(%rsp), %xmm1
unpcklpd %xmm1, %xmm1            # xmm1 = xmm1[0,0]
mulpd %xmm2, %xmm1
movapd 0x40(%rsp), %xmm2
unpcklpd %xmm0, %xmm2            # xmm2 = xmm2[0],xmm0[0]
mulpd %xmm1, %xmm2
movupd %xmm2, (%rbx)
movsd (%rsp), %xmm0
mulsd 0x57a9(%rip), %xmm0     # 0x23160
addsd 0x18(%rsp), %xmm0
movsd %xmm0, (%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x50e0
mulsd (%rsp), %xmm0
movsd %xmm0, 0x10(%rbx)
movq %rbx, %rax
addq $0x60, %rsp
popq %rbx
retq
// File: /workspace/github_cpp_makefile_star2_O2/istellartech[P]OpenTsiolkovsky/src/coordinate_transform.cpp
// Function: vel_ECI_ECIframe(Eigen::Matrix<double, 3, 3, 0, 3, 3>, Eigen::Matrix<double, 3, 1, 0, 3, 1>, Eigen::Matrix<double, 3, 1, 0, 3, 1>)
Vector3d vel_ECI_ECIframe(Matrix3d dcmNED2ECI_, Vector3d vel_ECEF_NEDframe_, Vector3d posECI_){
    double omega = 7.292115e-5; // 地球の自転角速度[rad]
    Matrix3d omegaECI2ECEF_;    // 角速度テンソル angular velocity tensorß
    omegaECI2ECEF_ << 0.0,   -omega, 0.0,
                      omega, 0.0,    0.0,
                      0.0,   0.0,    0.0;
    return dcmNED2ECI_ * vel_ECEF_NEDframe_ + omegaECI2ECEF_ * posECI_;
}

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x100, %rsp            # imm = 0x100
movq %rcx, %r14
movq %rdx, %r15
movq %rsi, %r12
movq %rdi, %rbx
movabsq $0x3f131da7d157db65, %rax # imm = 0x3F131DA7D157DB65
movq %rax, (%rsp)
leaq 0xb8(%rsp), %r13
leaq 0x30(%rsp), %rdi
movq %r13, (%rdi)
andq $0x0, 0x8(%rdi)
pushq $0x1
popq %rax
movq %rax, 0x10(%rdi)
andq $0x0, (%r13)
movq %rax, 0x18(%rdi)
movabsq $-0x40ece2582ea8249b, %rax # imm = 0xBF131DA7D157DB65
leaq 0x90(%rsp), %rsi
movq %rax, (%rsi)
callq 0x1c988
leaq 0x68(%rsp), %rsi
andq $0x0, (%rsi)
movq %rax, %rdi
callq 0x1c988
movq %rsp, %rsi
movq %rax, %rdi
callq 0x1c988
leaq 0x28(%rsp), %rsi
andq $0x0, (%rsi)
movq %rax, %rdi
callq 0x1c988
leaq 0x20(%rsp), %rsi
andq $0x0, (%rsi)
movq %rax, %rdi
callq 0x1c988
leaq 0x18(%rsp), %rsi
andq $0x0, (%rsi)
movq %rax, %rdi
callq 0x1c988
leaq 0x10(%rsp), %rsi
andq $0x0, (%rsi)
movq %rax, %rdi
callq 0x1c988
leaq 0x8(%rsp), %rsi
andq $0x0, (%rsi)
movq %rax, %rdi
callq 0x1c988
leaq 0x30(%rsp), %rdi
callq 0x1ca30
leaq 0x90(%rsp), %rsi
movq %r12, (%rsi)
movq %r15, 0x8(%rsi)
leaq 0x68(%rsp), %rdx
movq %r13, (%rdx)
movq %r14, 0x8(%rdx)
leaq 0x30(%rsp), %r14
movq %r14, %rdi
callq 0x1e712
movq %rbx, %rdi
movq %r14, %rsi
callq 0x1e83e
movq %rbx, %rax
addq $0x100, %rsp            # imm = 0x100
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
jmp 0x1db7d
jmp 0x1db7d
jmp 0x1db7d
jmp 0x1db7d
jmp 0x1db7d
jmp 0x1db7d
movq %rax, %rbx
leaq 0x30(%rsp), %rdi
callq 0x1ca30
movq %rbx, %rdi
callq 0x5640
// File: /workspace/github_cpp_makefile_star2_O2/istellartech[P]OpenTsiolkovsky/src/coordinate_transform.cpp
// Function: posECI_init(Eigen::Matrix<double, 3, 1, 0, 3, 1>)
Vector3d posECI_init(Vector3d posLLH_){
    Vector3d posECEF_;
    double second = 0.0;
    posECEF_ = posECEF(posLLH_);
    return posECI(posECEF_, second);
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x60, %rsp
movq %rdi, %rbx
leaq 0x18(%rsp), %r14
movq %r14, %rdi
callq 0x129c6
leaq 0x30(%rsp), %r15
movq %r15, %rdi
movq %r14, %rsi
callq 0x1d88f
leaq 0x48(%rsp), %r14
movq %r15, %rdi
movq %r14, %rsi
callq 0x15314
movq %rsp, %r15
movq %r15, %rdi
movq %r14, %rsi
callq 0x129c6
xorps %xmm0, %xmm0
movq %rbx, %rdi
movq %r15, %rsi
callq 0x1d9e0
movq %rbx, %rax
addq $0x60, %rsp
popq %rbx
popq %r14
popq %r15
retq
// File: /workspace/github_cpp_makefile_star2_O2/istellartech[P]OpenTsiolkovsky/src/coordinate_transform.cpp
// Function: velECI_init(Eigen::Matrix<double, 3, 1, 0, 3, 1>, Eigen::Matrix<double, 3, 1, 0, 3, 1>)
Vector3d velECI_init(Vector3d vel_ECEF_NEDframe_, Vector3d posLLH_){
    double second = 0.0;
    Matrix3d dcmECI2ECEF_;
    Matrix3d dcmECEF2NED_;
    Matrix3d dcmECI2NED_;
    Matrix3d dcmNED2ECI_;
    Vector3d posECI_init_;
    posECI_init_ = posECI_init(posLLH_);
    dcmECI2ECEF_ = dcmECI2ECEF(second);
    dcmECEF2NED_ = dcmECEF2NED(posLLH_);
    dcmECI2NED_ = dcmECI2NED(dcmECEF2NED_, dcmECI2ECEF_);
    dcmNED2ECI_ = dcmECI2NED_.transpose();
    return vel_ECI_ECIframe(dcmNED2ECI_, vel_ECEF_NEDframe_, posECI_init_);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x278, %rsp            # imm = 0x278
movq %rdx, %r12
movq %rsi, %r14
movq %rdi, %rbx
leaq 0x68(%rsp), %r15
movq %r15, %rdi
movq %rdx, %rsi
callq 0x129c6
leaq 0x110(%rsp), %r13
movq %r13, %rdi
movq %r15, %rsi
callq 0x1db92
leaq 0x8(%rsp), %rsi
movq %r13, %rdi
callq 0x15314
leaq 0xc8(%rsp), %rbp
xorps %xmm0, %xmm0
movq %rbp, %rdi
callq 0x1cb1c
leaq 0x110(%rsp), %r13
movq %rbp, %rdi
movq %r13, %rsi
callq 0x151a4
leaq 0x50(%rsp), %rbp
movq %rbp, %rdi
movq %r12, %rsi
callq 0x129c6
leaq 0x230(%rsp), %r12
movq %r12, %rdi
movq %rbp, %rsi
callq 0x1ce81
leaq 0xc8(%rsp), %rbp
movq %r12, %rdi
movq %rbp, %rsi
callq 0x151a4
leaq 0x1e8(%rsp), %r15
movq %r15, %rdi
movq %rbp, %rsi
callq 0x152a2
leaq 0x1a0(%rsp), %rbp
movq %rbp, %rdi
movq %r13, %rsi
callq 0x152a2
leaq 0x80(%rsp), %r13
movq %r13, %rdi
movq %r15, %rsi
movq %rbp, %rdx
callq 0x1d085
movq %r13, %rdi
movq %r12, %rsi
callq 0x151a4
movq %rsp, %rsi
movq %r12, (%rsi)
leaq 0x80(%rsp), %r15
movq %r15, %rdi
callq 0x1536a
leaq 0x158(%rsp), %r12
movq %r12, %rdi
movq %r15, %rsi
callq 0x152a2
leaq 0x38(%rsp), %r15
movq %r15, %rdi
movq %r14, %rsi
callq 0x129c6
leaq 0x20(%rsp), %r14
movq %r14, %rdi
leaq 0x8(%rsp), %rsi
callq 0x129c6
movq %rbx, %rdi
movq %r12, %rsi
movq %r15, %rdx
movq %r14, %rcx
callq 0x1da46
movq %rbx, %rax
addq $0x278, %rsp            # imm = 0x278
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O2/istellartech[P]OpenTsiolkovsky/src/coordinate_transform.cpp
// Function: distance_surface(Eigen::Matrix<double, 3, 1, 0, 3, 1>, Eigen::Matrix<double, 3, 1, 0, 3, 1>)
double distance_surface(Vector3d pos0_LLH_, Vector3d pos1_LLH_){
    double const earth_radius = 6378137; // 地球半径 m
    Vector3d pos0_ECEF_ = posECEF(pos0_LLH_);
    Vector3d pos1_ECEF_ = posECEF(pos1_LLH_);
    double theta = acos(pos0_ECEF_.dot(pos1_ECEF_) /
                        pos0_ECEF_.norm() / pos1_ECEF_.norm()); // radius
    return earth_radius * theta;
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x70, %rsp
movq %rsi, %rbx
movq %rdi, %rsi
leaq 0x40(%rsp), %r14
movq %r14, %rdi
callq 0x129c6
leaq 0x58(%rsp), %r15
movq %r15, %rdi
movq %r14, %rsi
callq 0x1d88f
leaq 0x10(%rsp), %r14
movq %r14, %rdi
movq %rbx, %rsi
callq 0x129c6
leaq 0x28(%rsp), %rbx
movq %rbx, %rdi
movq %r14, %rsi
callq 0x1d88f
movq %r15, %rdi
movq %rbx, %rsi
callq 0x1e89c
movsd %xmm0, 0x8(%rsp)
movq %r15, %rdi
callq 0x10c94
movsd 0x8(%rsp), %xmm1
divsd %xmm0, %xmm1
movsd %xmm1, 0x8(%rsp)
movq %rbx, %rdi
callq 0x10c94
movsd 0x8(%rsp), %xmm1
divsd %xmm0, %xmm1
movapd %xmm1, %xmm0
callq 0x5360
mulsd 0x50ae(%rip), %xmm0     # 0x22e98
addq $0x70, %rsp
popq %rbx
popq %r14
popq %r15
retq
// File: /workspace/github_cpp_makefile_star2_O2/akinanop[P]mvl-solver/src/QuadraticEncode.cc
// Function: Fact(int)
inline int Fact(int n)
{
  int temp = 1;
  for(int x=1; x<n+1; x++)
    temp *= x;
  return temp;
}

// Assembly:
xorl %ecx, %ecx
testl %edi, %edi
cmovgl %edi, %ecx
negl %ecx
pushq $0x1
popq %rax
movl %eax, %edx
leal (%rcx,%rdx), %esi
cmpl $0x1, %esi
je 0x55a6
imull %edx, %eax
incl %edx
jmp 0x5597
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/akinanop[P]mvl-solver/src/Clause.cc
// Function: Clause::Print()
void Clause::Print()
{
  for(int i=0; i<ATOM_LIST.size(); i++)
    {
      ATOM_LIST[i].Print();
      // cout<<" ";
    }
  cout<<endl;
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
xorl %r14d, %r14d
pushq $0xc
popq %r15
xorl %r12d, %r12d
movq (%rbx), %rdi
movq 0x8(%rbx), %rax
subq %rdi, %rax
cqto
idivq %r15
cmpq %r12, %rax
jbe 0x584e
addq %r14, %rdi
callq 0x5950
incq %r12
addq $0xc, %r14
jmp 0x5829
movq 0x977b(%rip), %rdi      # 0xefd0
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmp 0x2140
nop
// File: /workspace/github_cpp_makefile_star2_O2/akinanop[P]mvl-solver/src/Variable.cc
// Function: Variable::~Variable()
Variable::~Variable()
{
	delete [] ATOMLEVEL;
	delete [] ATOMASSIGN;
	delete [] ATOMCNTPOS;
	delete [] ATOMCNTNEG;
	delete [] VSIDS_SCORE;
	delete [] VSIDS_SCORE_NEG;
	delete [] CLAUSEID;

	for(int i=0; i<DOMAINSIZE; i++)
	{
		VARRECORD * temp = ATOMWATCHPOS[i];
		VARRECORD * temp2;
		while(temp)
		{
			temp2 = temp;
			temp = temp->next;
			delete temp2;
		}
		temp = ATOMWATCHNEG[i];
		while(temp)
		{
			temp2 = temp;
			temp = temp->next;
			delete temp2;
		}
		delete ATOMWATCHPOS[i];
		delete ATOMWATCHNEG[i];
	}
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq 0x18(%rdi), %rdi
testq %rdi, %rdi
je 0x5d49
callq 0x2290
movq 0x20(%rbx), %rdi
testq %rdi, %rdi
je 0x5d57
callq 0x2290
movq 0x28(%rbx), %rdi
testq %rdi, %rdi
je 0x5d65
callq 0x2290
movq 0x30(%rbx), %rdi
testq %rdi, %rdi
je 0x5d73
callq 0x2290
movq 0x38(%rbx), %rdi
testq %rdi, %rdi
je 0x5d81
callq 0x2290
movq 0x40(%rbx), %rdi
testq %rdi, %rdi
je 0x5d8f
callq 0x2290
movq 0x48(%rbx), %rdi
testq %rdi, %rdi
je 0x5d9d
callq 0x2290
xorl %r15d, %r15d
pushq $0x18
popq %r14
movslq 0x8(%rbx), %rax
cmpq %rax, %r15
jge 0x5e0e
movq 0x50(%rbx), %rax
movq (%rax,%r15,8), %rdi
testq %rdi, %rdi
je 0x5dcb
movq 0x8(%rdi), %r12
movq %r14, %rsi
callq 0x2230
movq %r12, %rdi
jmp 0x5db5
movq 0x58(%rbx), %rax
movq (%rax,%r15,8), %rdi
testq %rdi, %rdi
je 0x5de9
movq 0x8(%rdi), %r12
movq %r14, %rsi
callq 0x2230
movq %r12, %rdi
jmp 0x5dd3
movq 0x50(%rbx), %rax
movq (%rax,%r15,8), %rdi
movq %r14, %rsi
callq 0x2230
movq 0x58(%rbx), %rax
movq (%rax,%r15,8), %rdi
movq %r14, %rsi
callq 0x2230
incq %r15
jmp 0x5da4
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
// File: /workspace/github_cpp_makefile_star2_O2/akinanop[P]mvl-solver/src/Variable.cc
// Function: Variable::addRecord(int, int, bool)
void Variable::addRecord ( int c_id, int d_id, bool flag )
{
	//local variable
	VARRECORD * temp = new VARRECORD;
	temp->c_num = c_id;

	//if memory allocated
	if(temp)
	{
		temp->prev = NULL;
		if (flag) {
			temp->next = ATOMWATCHPOS[d_id];
			if (ATOMWATCHPOS[d_id])
				temp->next->prev = temp;
			ATOMWATCHPOS[d_id] = temp;
		} else {
			temp->next = ATOMWATCHNEG[d_id];
			if (ATOMWATCHNEG[d_id])
				temp->next->prev = temp;
			ATOMWATCHNEG[d_id] = temp;
		}
	}
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movl %ecx, %ebp
movl %edx, %r14d
movl %esi, %r15d
movq %rdi, %rbx
pushq $0x18
popq %rdi
callq 0x2220
movl %r15d, (%rax)
andq $0x0, 0x10(%rax)
movslq %r14d, %rcx
testl %ebp, %ebp
je 0x5e49
movq 0x50(%rbx), %rdx
jmp 0x5e4d
movq 0x58(%rbx), %rdx
leaq (%rdx,%rcx,8), %rcx
movq (%rcx), %rdx
movq %rdx, 0x8(%rax)
testq %rdx, %rdx
je 0x5e61
movq %rax, 0x10(%rdx)
movq %rax, (%rcx)
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/akinanop[P]mvl-solver/src/Variable.cc
// Function: Variable::removeRecord(VARRECORD*, int, bool)
void Variable::removeRecord ( VARRECORD* record, int d_id, bool flag )
{
	if (record->prev) {
		record->prev->next = record->next;
	} else {
		if (flag)
			ATOMWATCHPOS[d_id] = record->next;
		else
			ATOMWATCHNEG[d_id] = record->next;
	}
	if (record->next) {
		record->next->prev = record->prev;
	}

	delete record;
}

// Assembly:
movq %rsi, %rax
movq 0x8(%rsi), %rsi
movq 0x10(%rax), %r8
testq %r8, %r8
je 0x5e86
addq $0x8, %r8
jmp 0x5e9b
movslq %edx, %r8
shlq $0x3, %r8
testb %cl, %cl
je 0x5e97
addq 0x50(%rdi), %r8
jmp 0x5e9b
addq 0x58(%rdi), %r8
movq %rsi, (%r8)
testq %rsi, %rsi
je 0x5eab
movq 0x10(%rax), %rcx
movq %rcx, 0x10(%rsi)
pushq $0x18
popq %rsi
movq %rax, %rdi
jmp 0x2230
// File: /workspace/github_cpp_makefile_star2_O2/akinanop[P]mvl-solver/src/Formula.cc
// Function: Formula::Formula()
Formula::Formula () {
	//Default values - 10 atoms per clause, 10 variables per problem
	VARLIST.reserve(10);
	CLAUSELIST.reserve(10);
	TIMELIMIT = 3600; //1hour = 60mins * 60secs
	TIME_S = 0;
	TIME_E = 0;
	LEVEL = 0;
	UNITS = 0;
	BACKTRACKS = 0;
	DECISIONS = 0;
	ENTAILS = 0;
	UNITCLAUSE = -1;
	CONFLICT = false;
	CONFLICTINGCLAUSE = -1;
	DECSTACK.reserve(10);
	RESTARTS = 0;
	LOG = false;
	WATCH = false;
	heuristic = Heuristic::BK;
}

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
movq %rdi, %rbx
leaq 0x18(%rdi), %r14
leaq 0x60(%rdi), %r15
xorps %xmm0, %xmm0
movups %xmm0, 0x20(%rdi)
movups %xmm0, 0x10(%rdi)
movups %xmm0, (%rdi)
movq %r15, 0x68(%rdi)
movq %r15, 0x60(%rdi)
andq $0x0, 0x70(%rdi)
leaq 0x88(%rdi), %r12
movups %xmm0, 0x88(%rdi)
andq $0x0, 0x98(%rdi)
pushq $0xa
popq %rsi
callq 0x8a5a
pushq $0xa
popq %rsi
movq %r14, %rdi
callq 0x8af0
movl $0xe10, 0x30(%rbx)      # imm = 0xE10
xorps %xmm0, %xmm0
movups %xmm0, 0x38(%rbx)
andl $0x0, 0x58(%rbx)
movups %xmm0, 0x48(%rbx)
orl $-0x1, 0x78(%rbx)
movb $0x0, 0x7c(%rbx)
orl $-0x1, 0x80(%rbx)
pushq $0xa
popq %rsi
movq %r12, %rdi
callq 0x5866
andl $0x0, 0xa0(%rbx)
andw $0x0, 0xa4(%rbx)
andl $0x0, 0xa8(%rbx)
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
movq %rax, %r13
movq %r12, %rdi
callq 0x59a0
movq %r15, %rdi
callq 0x9050
movq %r14, %rdi
callq 0x907a
movq %rbx, %rdi
callq 0x55a8
movq %r13, %rdi
callq 0x2390
nop
// File: /workspace/github_cpp_makefile_star2_O2/akinanop[P]mvl-solver/src/Formula.cc
// Function: Formula::Formula(CommandLine*)
Formula::Formula ( CommandLine * cline ) {
	//Setting appropriate values and
	VARLIST.reserve(10);
	CLAUSELIST.reserve(10);
	TIMELIMIT = cline->TIME;
	TIME_S = 0;
	TIME_E = 0;
	LEVEL = 0;
	UNITS = 0;
	BACKTRACKS = 0;
	DECISIONS = 0;
	ENTAILS = 0;
	UNITCLAUSE = -1;
	CONFLICT = false;
	CONFLICTINGCLAUSE = -1;
	DECSTACK.reserve(10);
	RESTARTS = 0;
	LOG = cline->LOG;
	WATCH = cline->WATCH;
	heuristic = cline->heuristic;
}

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
movq %rsi, %r15
movq %rdi, %rbx
leaq 0x18(%rdi), %r14
leaq 0x60(%rdi), %r12
xorps %xmm0, %xmm0
movups %xmm0, 0x20(%rdi)
movups %xmm0, 0x10(%rdi)
movups %xmm0, (%rdi)
movq %r12, 0x68(%rdi)
movq %r12, 0x60(%rdi)
andq $0x0, 0x70(%rdi)
leaq 0x88(%rdi), %r13
movups %xmm0, 0x88(%rdi)
andq $0x0, 0x98(%rdi)
pushq $0xa
popq %rsi
callq 0x8a5a
pushq $0xa
popq %rsi
movq %r14, %rdi
callq 0x8af0
movl 0x30(%r15), %eax
movl %eax, 0x30(%rbx)
xorps %xmm0, %xmm0
movups %xmm0, 0x38(%rbx)
andl $0x0, 0x58(%rbx)
movups %xmm0, 0x48(%rbx)
orl $-0x1, 0x78(%rbx)
movb $0x0, 0x7c(%rbx)
orl $-0x1, 0x80(%rbx)
pushq $0xa
popq %rsi
movq %r13, %rdi
callq 0x5866
andl $0x0, 0xa0(%rbx)
movb 0x2(%r15), %al
movb %al, 0xa4(%rbx)
movb 0x1(%r15), %al
movb %al, 0xa5(%rbx)
movl 0x38(%r15), %eax
movl %eax, 0xa8(%rbx)
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
movq %rax, %r15
movq %r13, %rdi
callq 0x59a0
movq %r12, %rdi
callq 0x9050
movq %r14, %rdi
callq 0x907a
movq %rbx, %rdi
callq 0x55a8
movq %r15, %rdi
callq 0x2390
nop
// File: /workspace/github_cpp_makefile_star2_O2/akinanop[P]mvl-solver/src/Formula.cc
// Function: Formula::PrintInfo()
void Formula::PrintInfo()
{
	printf("\n");
	printf("Decisions   : %d\n", DECISIONS);
	printf("Units       : %d\n", UNITS);
	printf("Backtracks  : %d\n", BACKTRACKS);
	printf("Entails     : %d\n", ENTAILS);
	//  printf("Number of Levels      : %d\n", LEVEL);
	printf( "Variables   : %zu\n", VARLIST.size()-1 );
	printf( "Clauses     : %zu\n", CLAUSELIST.size() );
	printf("Restarts   : %d\n", RESTARTS);

	printf("\n");
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %r14
pushq $0xa
popq %rbx
movl %ebx, %edi
callq 0x22c0
movl 0x50(%r14), %esi
leaq 0x45cc(%rip), %rdi      # 0xac38
xorl %eax, %eax
callq 0x2050
movl 0x54(%r14), %esi
leaq 0x45cc(%rip), %rdi      # 0xac4a
xorl %eax, %eax
callq 0x2050
movl 0x4c(%r14), %esi
leaq 0x45cc(%rip), %rdi      # 0xac5c
xorl %eax, %eax
callq 0x2050
movl 0x58(%r14), %esi
leaq 0x45cc(%rip), %rdi      # 0xac6e
xorl %eax, %eax
callq 0x2050
movq 0x8(%r14), %rsi
subq (%r14), %rsi
sarq $0x3, %rsi
decq %rsi
leaq 0x45c2(%rip), %rdi      # 0xac80
xorl %eax, %eax
callq 0x2050
movq 0x20(%r14), %rsi
subq 0x18(%r14), %rsi
sarq $0x3, %rsi
leaq 0x45bb(%rip), %rdi      # 0xac93
xorl %eax, %eax
callq 0x2050
movl 0xa0(%r14), %esi
leaq 0x45b9(%rip), %rdi      # 0xaca6
xorl %eax, %eax
callq 0x2050
movl %ebx, %edi
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0x22c0
// File: /workspace/github_cpp_makefile_star2_O2/akinanop[P]mvl-solver/src/Formula.cc
// Function: Formula::verifyModel()
bool Formula::verifyModel() {
	bool sat;
	//for every clause check whether at least one literal is satisfied
	for(unsigned int  i=0; i<CLAUSELIST.size(); i++) {
		sat=false;
		for (int j=0;j<CLAUSELIST[i]->ATOM_LIST.size();j++) {
			Literal atom = CLAUSELIST[i]->ATOM_LIST[j];
			if (atom.EQUAL) {
				if (VARLIST[atom.VAR]->ATOMASSIGN[atom.VAL] == 1) {
					sat=true;
					break;
				}
			} else {
				if (VARLIST[atom.VAR]->ATOMASSIGN[atom.VAL] == -1) {
					sat=true;
					break;
				}
			}
		}
		if (!sat)
			return false;
	}
	return true;
}

// Assembly:
movq 0x20(%rdi), %rcx
movq (%rdi), %rsi
movq 0x18(%rdi), %rdi
subq %rdi, %rcx
sarq $0x3, %rcx
xorl %r8d, %r8d
pushq $0xc
popq %r9
movl %r8d, %r8d
cmpq %r8, %rcx
jbe 0x6771
movq (%rdi,%r8,8), %rax
movq (%rax), %r10
movq 0x8(%rax), %rax
subq %r10, %rax
cqto
idivq %r9
addq $0x8, %r10
subq $0x1, %rax
jb 0x6771
movslq -0x8(%r10), %rdx
movslq -0x4(%r10), %r11
movq (%rsi,%rdx,8), %rdx
movq 0x20(%rdx), %rdx
movl (%rdx,%r11,4), %edx
testb $0x1, (%r10)
je 0x6761
cmpl $0x1, %edx
jne 0x6766
jmp 0x676c
cmpl $-0x1, %edx
je 0x676c
addq $0xc, %r10
jmp 0x673a
incl %r8d
jmp 0x671b
cmpq %r8, %rcx
setbe %al
retq
// File: /workspace/github_cpp_makefile_star2_O2/akinanop[P]mvl-solver/src/Formula.cc
// Function: Formula::checkSat()
bool Formula::checkSat () {

	// if some clause in the formula is not satisfied return false

	if ( LOG ) cout << "Checking satisfiability..." << endl;

	int size = CLAUSELIST.size();

	for ( int i = 0; i < size; i++ ) {
		if ( CLAUSELIST[i] -> LEVEL == -1 ) {
			return false;
		}
	}
	return true;
}

// Assembly:
pushq %rbx
movq %rdi, %rbx
cmpb $0x1, 0xa4(%rdi)
jne 0x67a0
movq 0x8844(%rip), %rdi      # 0xefd0
leaq 0x4524(%rip), %rsi      # 0xacb7
callq 0x2210
movq %rax, %rdi
callq 0x2140
movq 0x18(%rbx), %rcx
movq 0x20(%rbx), %rax
subq %rcx, %rax
shrq $0x3, %rax
xorl %edi, %edi
testl %eax, %eax
movl $0x0, %edx
cmovgl %eax, %edx
movq %rdi, %rsi
cmpq %rdi, %rdx
je 0x67d2
movq (%rcx,%rsi,8), %r8
leaq 0x1(%rsi), %rdi
cmpl $-0x1, 0x1c(%r8)
jne 0x67bb
cltq
cmpq %rax, %rsi
setge %al
popq %rbx
retq
// File: /workspace/github_cpp_makefile_star2_O2/akinanop[P]mvl-solver/src/Formula.cc
// Function: Formula::chooseLiteral()
Literal Formula::chooseLiteral () {

	/*  Pick a literal which is not yet satisfied, and which satisfies more clauses and removes less literals,
	 *  use literal counts for this. Other heuristics are possible.
	 */

	int max = INT_MIN;
	int tmax = -1;
	int tvar = -1;
	int tval = -1;
	UNITCLAUSE = -1;

	for ( unsigned int i = 0; i < VARLIST.size(); i++ ) {
		if ( VARLIST[i] -> VAL == -1 ) {
			for ( int j = 0; j < VARLIST[i] -> DOMAINSIZE; j++ ) {
				if ( VARLIST[i] -> ATOMASSIGN[j] == 0 ) {
					tmax = VARLIST[i] -> ATOMCNTPOS[j] - VARLIST[i] -> ATOMCNTNEG[j];
					if ( max < tmax ) {
						max = tmax;
						tvar = i;
						tval = j;
					}
				}
			}
		}
	}
	return Literal ( tvar, tval );
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %rbx
orl $-0x1, 0x78(%rdi)
movq (%rdi), %rax
movq 0x8(%rdi), %rcx
subq %rax, %rcx
sarq $0x3, %rcx
movl $0x80000000, %r8d       # imm = 0x80000000
xorl %edi, %edi
movl $0xffffffff, %edx       # imm = 0xFFFFFFFF
movl %edx, %esi
xorl %r9d, %r9d
movl %r9d, %r10d
cmpq %r10, %rcx
jbe 0x68a7
movq (%rax,%r10,8), %r10
cmpl $-0x1, 0x4(%r10)
je 0x6868
incl %r9d
jmp 0x6850
movl 0x8(%r10), %r11d
testl %r11d, %r11d
cmovlel %edi, %r11d
xorl %ebx, %ebx
cmpq %rbx, %r11
je 0x6863
movq 0x20(%r10), %r14
cmpl $0x0, (%r14,%rbx,4)
jne 0x68a2
movq 0x28(%r10), %r14
movq 0x30(%r10), %r15
movl (%r14,%rbx,4), %ebp
subl (%r15,%rbx,4), %ebp
cmpl %ebp, %r8d
jge 0x68a2
movl %r9d, %edx
movl %ebx, %esi
movl %ebp, %r8d
incq %rbx
jmp 0x6875
shlq $0x20, %rsi
movl %edx, %eax
orq %rsi, %rax
movb $0x1, %dl
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/akinanop[P]mvl-solver/src/Formula.cc
// Function: Formula::chooseLiteralVSIDS()
Literal Formula::chooseLiteralVSIDS () {

	/*  Pick a literal which is not yet satisfied, and which has a maximal vsids counter
	 *
	 *  Positive and negative literals have separate scores
	 */


	double max = -1;
	double tmax = -1;
	int tvar = -1;
	int tval = -1;
	UNITCLAUSE = -1;
	bool equals = false;

	for ( int i = 0; i < VARLIST.size(); i++ ) {
		if ( VARLIST[i] -> VAL == -1 ) {
			for ( int j = 0; j < VARLIST[i] -> DOMAINSIZE; j++ ) {
				if ( VARLIST[i] -> ATOMASSIGN[j] == 0 ) {
					// get score for i=j
					tmax = VARLIST[i]->VSIDS_SCORE[j];
					if (max < tmax) {
						max = tmax;
						tvar = i;
						tval = j;
						equals = true;
					}
					//get score for i!=j
					tmax = VARLIST[i]->VSIDS_SCORE_NEG[j];
					if (max < tmax) {
						max = tmax;
						tvar = i;
						tval = j;
						equals = false;
					}
				}
			}
		}
	}
	return Literal ( tvar, equals, tval );
}

// Assembly:
pushq %r14
pushq %rbx
orl $-0x1, 0x78(%rdi)
movq (%rdi), %rax
movq 0x8(%rdi), %rcx
subq %rax, %rcx
sarq $0x3, %rcx
movsd 0x4341(%rip), %xmm0     # 0xac18
movl $0xffffffff, %edi       # imm = 0xFFFFFFFF
xorl %esi, %esi
xorl %r8d, %r8d
movl %edi, %r9d
xorl %edx, %edx
cmpq %rcx, %r8
je 0x6955
movq (%rax,%r8,8), %r10
cmpl $-0x1, 0x4(%r10)
je 0x68fb
incq %r8
jmp 0x68e6
movl 0x8(%r10), %r11d
testl %r11d, %r11d
cmovlel %esi, %r11d
xorl %ebx, %ebx
cmpq %rbx, %r11
je 0x68f6
movq 0x20(%r10), %r14
cmpl $0x0, (%r14,%rbx,4)
jne 0x6950
movq 0x38(%r10), %r14
movsd (%r14,%rbx,8), %xmm1
ucomisd %xmm0, %xmm1
jbe 0x6934
movb $0x1, %dl
movl %r8d, %edi
movl %ebx, %r9d
movapd %xmm1, %xmm0
movq 0x40(%r10), %r14
movsd (%r14,%rbx,8), %xmm1
ucomisd %xmm0, %xmm1
jbe 0x6950
xorl %edx, %edx
movl %r8d, %edi
movl %ebx, %r9d
movapd %xmm1, %xmm0
incq %rbx
jmp 0x6908
andb $0x1, %dl
shlq $0x20, %r9
movl %edi, %eax
orq %r9, %rax
popq %rbx
popq %r14
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/akinanop[P]mvl-solver/src/Formula.cc
// Function: Formula::chooseLiteralVSIDS_allPos()
Literal Formula::chooseLiteralVSIDS_allPos () {

	/*  Pick a literal which is not yet satisfied, and which has a maximal vsids counter
	 *
	 *  Negative literals are counted as disjunctions of positive literals
	 */


	double max = -1;
	double tmax = -1;
	int tvar = -1;
	int tval = -1;
	UNITCLAUSE = -1;

	for ( int i = 0; i < VARLIST.size(); i++ ) {
		if ( VARLIST[i] -> VAL == -1 ) {
			for ( int j = 0; j < VARLIST[i] -> DOMAINSIZE; j++ ) {
				if ( VARLIST[i] -> ATOMASSIGN[j] == 0 ) {
					tmax = VARLIST[i]->VSIDS_SCORE[j];
					if (max < tmax) {
						max = tmax;
						tvar = i;
						tval = j;
					}
				}
			}
		}
	}
	return Literal ( tvar, true, tval );
}

// Assembly:
pushq %rbx
orl $-0x1, 0x78(%rdi)
movq (%rdi), %rax
movq 0x8(%rdi), %rcx
subq %rax, %rcx
sarq $0x3, %rcx
movsd 0x4297(%rip), %xmm0     # 0xac18
movl $0xffffffff, %edx       # imm = 0xFFFFFFFF
xorl %esi, %esi
xorl %r8d, %r8d
movl %edx, %edi
cmpq %rcx, %r8
je 0x69df
movq (%rax,%r8,8), %r9
cmpl $-0x1, 0x4(%r9)
je 0x69a2
incq %r8
jmp 0x698d
movl 0x8(%r9), %r10d
testl %r10d, %r10d
cmovlel %esi, %r10d
xorl %r11d, %r11d
cmpq %r11, %r10
je 0x699d
movq 0x20(%r9), %rbx
cmpl $0x0, (%rbx,%r11,4)
jne 0x69da
movq 0x38(%r9), %rbx
movsd (%rbx,%r11,8), %xmm1
ucomisd %xmm0, %xmm1
jbe 0x69da
movl %r8d, %edx
movl %r11d, %edi
movapd %xmm1, %xmm0
incq %r11
jmp 0x69b0
shlq $0x20, %rdi
movl %edx, %eax
orq %rdi, %rax
movb $0x1, %dl
popq %rbx
retq
// File: /workspace/github_cpp_makefile_star2_O2/akinanop[P]mvl-solver/src/Formula.cc
// Function: Formula::hasAtom(Clause*, Literal)
bool Formula::hasAtom ( Clause* clause, Literal atom ) {

	// true if clause contains the atom

	for ( int i = 0; i < clause -> ATOM_LIST.size(); i++ ) {

		Literal c_atom = clause -> ATOM_LIST[i];

		if ( atom == c_atom )
			return true;
	}
	return false;
}

// Assembly:
movq %rdx, %rdi
movq %rdx, %r8
shrq $0x20, %r8
movq (%rsi), %r9
movq 0x8(%rsi), %rax
subq %r9, %rax
pushq $0xc
popq %rsi
cqto
idivq %rsi
addq $0x8, %r9
xorl %edx, %edx
cmpq %rdx, %rax
je 0x6ee7
cmpl %edi, -0x8(%r9)
jne 0x6ede
cmpl %r8d, -0x4(%r9)
jne 0x6ede
cmpb %cl, (%r9)
je 0x6ee7
incq %rdx
addq $0xc, %r9
jmp 0x6ec8
cmpq %rdx, %rax
seta %al
retq