// File: /workspace/github_cpp_makefile_star2_O3/halfflat[P]tinyopt/test/googletest/googletest/src/gtest.cc
// Function: testing::internal::JsonUnitTestResultPrinter::OutputJsonTestSuiteForTestResult(std::ostream*, testing::TestResult const&)
void JsonUnitTestResultPrinter::OutputJsonTestSuiteForTestResult(
    ::std::ostream* stream, const TestResult& result) {
  // Output the boilerplate for a new test suite.
  *stream << Indent(4) << "{\n";
  OutputJsonKey(stream, "testsuite", "name", "NonTestSuiteFailure", Indent(6));
  OutputJsonKey(stream, "testsuite", "tests", 1, Indent(6));
  if (!GTEST_FLAG_GET(list_tests)) {
    OutputJsonKey(stream, "testsuite", "failures", 1, Indent(6));
    OutputJsonKey(stream, "testsuite", "disabled", 0, Indent(6));
    OutputJsonKey(stream, "testsuite", "skipped", 0, Indent(6));
    OutputJsonKey(stream, "testsuite", "errors", 0, Indent(6));
    OutputJsonKey(stream, "testsuite", "time",
                  FormatTimeInMillisAsDuration(result.elapsed_time()),
                  Indent(6));
    OutputJsonKey(stream, "testsuite", "timestamp",
                  FormatEpochTimeInMillisAsRFC3339(result.start_timestamp()),
                  Indent(6));
  }
  *stream << Indent(6) << "\"testsuite\": [\n";

  // Output the boilerplate for a new test case.
  *stream << Indent(8) << "{\n";
  OutputJsonKey(stream, "testcase", "name", "", Indent(10));
  OutputJsonKey(stream, "testcase", "status", "RUN", Indent(10));
  OutputJsonKey(stream, "testcase", "result", "COMPLETED", Indent(10));
  OutputJsonKey(stream, "testcase", "timestamp",
                FormatEpochTimeInMillisAsRFC3339(result.start_timestamp()),
                Indent(10));
  OutputJsonKey(stream, "testcase", "time",
                FormatTimeInMillisAsDuration(result.elapsed_time()),
                Indent(10));
  OutputJsonKey(stream, "testcase", "classname", "", Indent(10), false);
  *stream << TestPropertiesAsJson(result, Indent(10));

  // Output the actual test result.
  OutputJsonTestResult(stream, result);

  // Finish the test suite.
  *stream << "\n" << Indent(6) << "]\n" << Indent(4) << "}";
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x88, %rsp
movq %rsi, 0x80(%rsp)
movq %rdi, %rbx
leaq 0x10(%rsp), %r12
movq %r12, -0x10(%r12)
movq %rsp, %r15
movl $0x4, %esi
movq %r15, %rdi
movl $0x20, %edx
callq 0xd630
movq (%r15), %rsi
movq 0x8(%r15), %rdx
movq %rbx, %rdi
callq 0xd600
leaq 0x19401(%rip), %rsi     # 0x7265e
movl $0x2, %edx
movq %rax, %rdi
callq 0xd600
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x59280
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq %rsp, %rdi
movq %r12, (%rdi)
leaq 0x191af(%rip), %rsi     # 0x7243c
leaq 0x191b1(%rip), %rdx     # 0x72445
callq 0x1558a
leaq 0x30(%rsp), %r13
movq %r13, -0x10(%r13)
leaq 0x191fe(%rip), %rsi     # 0x724a7
leaq 0x191fb(%rip), %rdx     # 0x724ab
leaq 0x20(%rsp), %rdi
callq 0x1558a
leaq 0x50(%rsp), %rbp
movq %rbp, -0x10(%rbp)
leaq 0x1917c(%rip), %rsi     # 0x72446
leaq 0x19188(%rip), %rdx     # 0x72459
leaq 0x40(%rsp), %rdi
callq 0x1558a
leaq 0x70(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x60(%rsp), %rdi
movl $0x6, %esi
movl $0x20, %edx
callq 0xd630
movq %rsp, %rsi
leaq 0x20(%rsp), %rdx
leaq 0x40(%rsp), %rcx
leaq 0x60(%rsp), %r8
movq %rbx, %rdi
movl $0x1, %r9d
callq 0x58e12
movq 0x60(%rsp), %rdi
cmpq %r14, %rdi
je 0x5932f
movq 0x70(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x40(%rsp), %rdi
cmpq %rbp, %rdi
je 0x59346
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r13, %rdi
je 0x5935d
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x59373
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq %rsp, %rdi
movq %r12, (%rdi)
leaq 0x190bc(%rip), %rsi     # 0x7243c
leaq 0x190be(%rip), %rdx     # 0x72445
callq 0x1558a
leaq 0x20(%rsp), %rdi
movq %r13, (%rdi)
leaq 0x1822d(%rip), %rsi     # 0x715c8
leaq 0x1822b(%rip), %rdx     # 0x715cd
callq 0x1558a
leaq 0x40(%rsp), %rdi
movq %rbp, (%rdi)
movl $0x6, %esi
movl $0x20, %edx
callq 0xd630
movq %rsp, %rsi
leaq 0x20(%rsp), %rdx
leaq 0x40(%rsp), %r8
movq %rbx, %rdi
movl $0x1, %ecx
movl $0x1, %r9d
callq 0x5901a
movq 0x40(%rsp), %rdi
cmpq %rbp, %rdi
je 0x593f5
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r13, %rdi
je 0x5940c
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x59422
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
cmpb $0x0, 0x3b4d0(%rip)     # 0x948f9
jne 0x5989a
movq %rsp, %rdi
movq %r12, (%rdi)
leaq 0x19000(%rip), %rsi     # 0x7243c
leaq 0x19002(%rip), %rdx     # 0x72445
callq 0x1558a
leaq 0x20(%rsp), %rdi
movq %r13, (%rdi)
leaq 0x19aa4(%rip), %rsi     # 0x72efb
leaq 0x19aa5(%rip), %rdx     # 0x72f03
callq 0x1558a
leaq 0x40(%rsp), %rdi
movq %rbp, (%rdi)
movl $0x6, %esi
movl $0x20, %edx
callq 0xd630
movq %rsp, %rsi
leaq 0x20(%rsp), %rdx
leaq 0x40(%rsp), %r8
movq %rbx, %rdi
movl $0x1, %ecx
movl $0x1, %r9d
callq 0x5901a
movq 0x40(%rsp), %rdi
cmpq %rbp, %rdi
je 0x594b1
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r13, %rdi
je 0x594c8
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x594de
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq %rsp, %rdi
movq %r12, (%rdi)
leaq 0x18f51(%rip), %rsi     # 0x7243c
leaq 0x18f53(%rip), %rdx     # 0x72445
callq 0x1558a
leaq 0x20(%rsp), %rdi
movq %r13, (%rdi)
leaq 0x18f54(%rip), %rsi     # 0x7245a
leaq 0x18f55(%rip), %rdx     # 0x72462
callq 0x1558a
leaq 0x40(%rsp), %rdi
movq %rbp, (%rdi)
movl $0x6, %esi
movl $0x20, %edx
callq 0xd630
movq %rsp, %rsi
leaq 0x20(%rsp), %rdx
leaq 0x40(%rsp), %r8
movq %rbx, %rdi
xorl %ecx, %ecx
movl $0x1, %r9d
callq 0x5901a
movq 0x40(%rsp), %rdi
cmpq %rbp, %rdi
je 0x5955d
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r13, %rdi
je 0x59574
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x5958a
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq %rsp, %rdi
movq %r12, (%rdi)
leaq 0x18ea5(%rip), %rsi     # 0x7243c
leaq 0x18ea7(%rip), %rdx     # 0x72445
callq 0x1558a
leaq 0x20(%rsp), %rdi
movq %r13, (%rdi)
leaq 0x18eb1(%rip), %rsi     # 0x72463
leaq 0x18eb1(%rip), %rdx     # 0x7246a
callq 0x1558a
leaq 0x40(%rsp), %rdi
movq %rbp, (%rdi)
movl $0x6, %esi
movl $0x20, %edx
callq 0xd630
movq %rsp, %rsi
leaq 0x20(%rsp), %rdx
leaq 0x40(%rsp), %r8
movq %rbx, %rdi
xorl %ecx, %ecx
movl $0x1, %r9d
callq 0x5901a
movq 0x40(%rsp), %rdi
cmpq %rbp, %rdi
je 0x59609
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r13, %rdi
je 0x59620
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x59636
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq %rsp, %rdi
movq %r12, (%rdi)
leaq 0x18df9(%rip), %rsi     # 0x7243c
leaq 0x18dfb(%rip), %rdx     # 0x72445
callq 0x1558a
leaq 0x20(%rsp), %rdi
movq %r13, (%rdi)
leaq 0x18e0d(%rip), %rsi     # 0x7246b
leaq 0x18e0c(%rip), %rdx     # 0x72471
callq 0x1558a
leaq 0x40(%rsp), %rdi
movq %rbp, (%rdi)
movl $0x6, %esi
movl $0x20, %edx
callq 0xd630
movq %rsp, %rsi
leaq 0x20(%rsp), %rdx
leaq 0x40(%rsp), %r8
movq %rbx, %rdi
xorl %ecx, %ecx
movl $0x1, %r9d
callq 0x5901a
movq 0x40(%rsp), %rdi
cmpq %rbp, %rdi
je 0x596b5
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r13, %rdi
je 0x596cc
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x596e2
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq %rsp, %rdi
movq %r12, (%rdi)
leaq 0x18d4d(%rip), %rsi     # 0x7243c
leaq 0x18d4f(%rip), %rdx     # 0x72445
callq 0x1558a
leaq 0x20(%rsp), %rdi
movq %r13, (%rdi)
leaq 0x17f24(%rip), %rsi     # 0x7162e
leaq 0x17f21(%rip), %rdx     # 0x71632
callq 0x1558a
movq 0x80(%rsp), %rax
movq 0x78(%rax), %rsi
leaq 0x40(%rsp), %rdi
callq 0x5a14a
leaq 0x60(%rsp), %rdi
movq %r14, (%rdi)
movl $0x6, %esi
movl $0x20, %edx
callq 0xd630
movq %rsp, %rsi
leaq 0x20(%rsp), %rdx
leaq 0x40(%rsp), %rcx
leaq 0x60(%rsp), %r8
movq %rbx, %rdi
movl $0x1, %r9d
callq 0x58e12
movq 0x60(%rsp), %rdi
cmpq %r14, %rdi
je 0x5977a
movq 0x70(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x40(%rsp), %rdi
cmpq %rbp, %rdi
je 0x59791
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r13, %rdi
je 0x597a8
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x597be
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq %rsp, %rdi
movq %r12, (%rdi)
leaq 0x18c71(%rip), %rsi     # 0x7243c
leaq 0x18c73(%rip), %rdx     # 0x72445
callq 0x1558a
leaq 0x20(%rsp), %rdi
movq %r13, (%rdi)
leaq 0x18c8c(%rip), %rsi     # 0x72472
leaq 0x18c8e(%rip), %rdx     # 0x7247b
callq 0x1558a
movq 0x80(%rsp), %rax
movq 0x70(%rax), %rsi
leaq 0x40(%rsp), %rdi
callq 0x5a1e8
leaq 0x60(%rsp), %rdi
movq %r14, (%rdi)
movl $0x6, %esi
movl $0x20, %edx
callq 0xd630
movq %rsp, %rsi
leaq 0x20(%rsp), %rdx
leaq 0x40(%rsp), %rcx
leaq 0x60(%rsp), %r8
movq %rbx, %rdi
movl $0x1, %r9d
callq 0x58e12
movq 0x60(%rsp), %rdi
cmpq %r14, %rdi
je 0x59856
movq 0x70(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x40(%rsp), %rdi
cmpq %rbp, %rdi
je 0x5986d
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r13, %rdi
je 0x59884
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x5989a
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq %rsp, %r15
movq %r12, (%r15)
movl $0x6, %esi
movq %r15, %rdi
movl $0x20, %edx
callq 0xd630
movq (%r15), %rsi
movq 0x8(%r15), %rdx
movq %rbx, %rdi
callq 0xd600
leaq 0x18d5d(%rip), %rsi     # 0x72625
movl $0xf, %edx
movq %rax, %rdi
callq 0xd600
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x598eb
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq %rsp, %r15
movq %r12, (%r15)
movl $0x8, %esi
movq %r15, %rdi
movl $0x20, %edx
callq 0xd630
movq (%r15), %rsi
movq 0x8(%r15), %rdx
movq %rbx, %rdi
callq 0xd600
leaq 0x18d45(%rip), %rsi     # 0x7265e
movl $0x2, %edx
movq %rax, %rdi
callq 0xd600
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x5993c
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq %rsp, %rdi
movq %r12, (%rdi)
leaq 0x18b38(%rip), %rsi     # 0x72481
leaq 0x18b39(%rip), %rdx     # 0x72489
callq 0x1558a
leaq 0x20(%rsp), %rdi
movq %r13, (%rdi)
leaq 0x18b43(%rip), %rsi     # 0x724a7
leaq 0x18b40(%rip), %rdx     # 0x724ab
callq 0x1558a
leaq 0x40(%rsp), %rdi
movq %rbp, (%rdi)
leaq 0x15656(%rip), %rdx     # 0x6efd5
movq %rdx, %rsi
callq 0x1558a
leaq 0x60(%rsp), %rdi
movq %r14, (%rdi)
movl $0xa, %esi
movl $0x20, %edx
callq 0xd630
movq %rsp, %rsi
leaq 0x20(%rsp), %rdx
leaq 0x40(%rsp), %rcx
leaq 0x60(%rsp), %r8
movq %rbx, %rdi
movl $0x1, %r9d
callq 0x58e12
movq 0x60(%rsp), %rdi
cmpq %r14, %rdi
je 0x599d5
movq 0x70(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x40(%rsp), %rdi
cmpq %rbp, %rdi
je 0x599ec
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r13, %rdi
je 0x59a03
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x59a19
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq %rsp, %rdi
movq %r12, (%rdi)
leaq 0x18a5b(%rip), %rsi     # 0x72481
leaq 0x18a5c(%rip), %rdx     # 0x72489
callq 0x1558a
leaq 0x20(%rsp), %rdi
movq %r13, (%rdi)
leaq 0x18a49(%rip), %rsi     # 0x7248a
leaq 0x18a48(%rip), %rdx     # 0x72490
callq 0x1558a
leaq 0x40(%rsp), %rdi
movq %rbp, (%rdi)
leaq 0x18be9(%rip), %rsi     # 0x72645
leaq 0x18be5(%rip), %rdx     # 0x72648
callq 0x1558a
leaq 0x60(%rsp), %rdi
movq %r14, (%rdi)
movl $0xa, %esi
movl $0x20, %edx
callq 0xd630
movq %rsp, %rsi
leaq 0x20(%rsp), %rdx
leaq 0x40(%rsp), %rcx
leaq 0x60(%rsp), %r8
movq %rbx, %rdi
movl $0x1, %r9d
callq 0x58e12
movq 0x60(%rsp), %rdi
cmpq %r14, %rdi
je 0x59ab6
movq 0x70(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x40(%rsp), %rdi
cmpq %rbp, %rdi
je 0x59acd
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r13, %rdi
je 0x59ae4
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x59afa
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq %rsp, %rdi
movq %r12, (%rdi)
leaq 0x1897a(%rip), %rsi     # 0x72481
leaq 0x1897b(%rip), %rdx     # 0x72489
callq 0x1558a
leaq 0x20(%rsp), %rdi
movq %r13, (%rdi)
leaq 0x1896f(%rip), %rsi     # 0x72491
leaq 0x1896e(%rip), %rdx     # 0x72497
callq 0x1558a
leaq 0x40(%rsp), %rdi
movq %rbp, (%rdi)
leaq 0x18af8(%rip), %rsi     # 0x72635
leaq 0x18afa(%rip), %rdx     # 0x7263e
callq 0x1558a
leaq 0x60(%rsp), %rdi
movq %r14, (%rdi)
movl $0xa, %esi
movl $0x20, %edx
callq 0xd630
movq %rsp, %rsi
leaq 0x20(%rsp), %rdx
leaq 0x40(%rsp), %rcx
leaq 0x60(%rsp), %r8
movq %rbx, %rdi
movl $0x1, %r9d
callq 0x58e12
movq 0x60(%rsp), %rdi
cmpq %r14, %rdi
je 0x59b97
movq 0x70(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x40(%rsp), %rdi
cmpq %rbp, %rdi
je 0x59bae
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r13, %rdi
je 0x59bc5
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x59bdb
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq %rsp, %rdi
movq %r12, (%rdi)
leaq 0x18899(%rip), %rsi     # 0x72481
leaq 0x1889a(%rip), %rdx     # 0x72489
callq 0x1558a
leaq 0x20(%rsp), %rdi
movq %r13, (%rdi)
leaq 0x1886f(%rip), %rsi     # 0x72472
leaq 0x18871(%rip), %rdx     # 0x7247b
callq 0x1558a
movq 0x80(%rsp), %rax
movq 0x70(%rax), %rsi
leaq 0x40(%rsp), %rdi
callq 0x5a1e8
leaq 0x60(%rsp), %rdi
movq %r14, (%rdi)
movl $0xa, %esi
movl $0x20, %edx
callq 0xd630
movq %rsp, %rsi
leaq 0x20(%rsp), %rdx
leaq 0x40(%rsp), %rcx
leaq 0x60(%rsp), %r8
movq %rbx, %rdi
movl $0x1, %r9d
callq 0x58e12
movq 0x60(%rsp), %rdi
cmpq %r14, %rdi
je 0x59c73
movq 0x70(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x40(%rsp), %rdi
cmpq %rbp, %rdi
je 0x59c8a
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r13, %rdi
je 0x59ca1
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x59cb7
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq %rsp, %rdi
movq %r12, (%rdi)
leaq 0x187bd(%rip), %rsi     # 0x72481
leaq 0x187be(%rip), %rdx     # 0x72489
callq 0x1558a
leaq 0x20(%rsp), %rdi
movq %r13, (%rdi)
leaq 0x1794f(%rip), %rsi     # 0x7162e
leaq 0x1794c(%rip), %rdx     # 0x71632
callq 0x1558a
movq 0x80(%rsp), %rax
movq 0x78(%rax), %rsi
leaq 0x40(%rsp), %rdi
callq 0x5a14a
leaq 0x60(%rsp), %rdi
movq %r14, (%rdi)
movl $0xa, %esi
movl $0x20, %edx
callq 0xd630
movq %rsp, %rsi
leaq 0x20(%rsp), %rdx
leaq 0x40(%rsp), %rcx
leaq 0x60(%rsp), %r8
movq %rbx, %rdi
movl $0x1, %r9d
callq 0x58e12
movq 0x60(%rsp), %rdi
cmpq %r14, %rdi
je 0x59d4f
movq 0x70(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x40(%rsp), %rdi
cmpq %rbp, %rdi
je 0x59d66
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r13, %rdi
je 0x59d7d
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x59d93
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq %rsp, %rdi
movq %r12, (%rdi)
leaq 0x186e1(%rip), %rsi     # 0x72481
leaq 0x186e2(%rip), %rdx     # 0x72489
callq 0x1558a
leaq 0x20(%rsp), %rdi
movq %r13, (%rdi)
leaq 0x186e7(%rip), %rsi     # 0x724a2
leaq 0x186e9(%rip), %rdx     # 0x724ab
callq 0x1558a
leaq 0x40(%rsp), %rdi
movq %rbp, (%rdi)
leaq 0x151ff(%rip), %rdx     # 0x6efd5
movq %rdx, %rsi
callq 0x1558a
leaq 0x60(%rsp), %rdi
movq %r14, (%rdi)
movl $0xa, %esi
movl $0x20, %edx
callq 0xd630
movq %rsp, %rsi
leaq 0x20(%rsp), %rdx
leaq 0x40(%rsp), %rcx
leaq 0x60(%rsp), %r8
movq %rbx, %rdi
xorl %r9d, %r9d
callq 0x58e12
movq 0x60(%rsp), %rdi
cmpq %r14, %rdi
je 0x59e29
movq 0x70(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x40(%rsp), %rdi
cmpq %rbp, %rdi
je 0x59e40
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r13, %rdi
je 0x59e57
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x59e6d
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
leaq 0x20(%rsp), %r15
movq %r13, (%r15)
movl $0xa, %esi
movq %r15, %rdi
movl $0x20, %edx
callq 0xd630
movq %rsp, %rdi
movq 0x80(%rsp), %rsi
movq %r15, %rdx
callq 0x5ad4a
movq (%rsp), %rsi
movq 0x8(%rsp), %rdx
movq %rbx, %rdi
callq 0xd600
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x59ec1
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r13, %rdi
je 0x59ed8
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq %rbx, %rdi
movq 0x80(%rsp), %rsi
callq 0x5af68
leaq 0x151d5(%rip), %rsi     # 0x6f0c4
movl $0x1, %edx
movq %rbx, %rdi
callq 0xd600
movq %rsp, %r14
movq %r12, (%r14)
movl $0x6, %esi
movq %r14, %rdi
movl $0x20, %edx
callq 0xd630
movq (%r14), %rsi
movq 0x8(%r14), %rdx
movq %rbx, %rdi
callq 0xd600
movq %rax, %rbx
leaq 0x18712(%rip), %rsi     # 0x7263f
movl $0x2, %edx
movq %rax, %rdi
callq 0xd600
leaq 0x20(%rsp), %rdi
movq %r13, (%rdi)
movl $0x4, %esi
movl $0x20, %edx
callq 0xd630
movq 0x20(%rsp), %rsi
movq 0x28(%rsp), %rdx
movq %rbx, %rdi
callq 0xd600
leaq 0x1871e(%rip), %rsi     # 0x72688
movl $0x1, %edx
movq %rax, %rdi
callq 0xd600
movq 0x20(%rsp), %rdi
cmpq %r13, %rdi
je 0x59f8e
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x59fa4
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
addq $0x88, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x5a0c6
jmp 0x5a0e2
jmp 0x5a107
jmp 0x5a129
jmp 0x5a102
jmp 0x5a0c6
jmp 0x5a0e2
jmp 0x5a107
jmp 0x5a129
jmp 0x5a102
jmp 0x5a0e2
jmp 0x5a107
jmp 0x5a129
jmp 0x5a102
jmp 0x5a0e2
jmp 0x5a107
jmp 0x5a129
jmp 0x5a102
jmp 0x5a0e2
jmp 0x5a107
jmp 0x5a129
jmp 0x5a102
jmp 0x5a0e2
jmp 0x5a107
jmp 0x5a129
jmp 0x5a102
jmp 0x5a129
movq %rax, %rbx
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x5a05b
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
jmp 0x5a05b
movq %rax, %rbx
movq 0x20(%rsp), %rdi
cmpq %r13, %rdi
je 0x5a142
movq 0x30(%rsp), %rsi
jmp 0x5a13a
jmp 0x5a0c6
jmp 0x5a0e2
jmp 0x5a107
jmp 0x5a129
jmp 0x5a102
jmp 0x5a0c6
jmp 0x5a0e2
jmp 0x5a107
jmp 0x5a129
jmp 0x5a102
jmp 0x5a0c6
jmp 0x5a0e2
jmp 0x5a107
jmp 0x5a129
jmp 0x5a102
jmp 0x5a0c6
jmp 0x5a0e2
jmp 0x5a107
jmp 0x5a129
jmp 0x5a102
jmp 0x5a0c6
jmp 0x5a0e2
jmp 0x5a107
jmp 0x5a129
jmp 0x5a102
jmp 0x5a0c6
jmp 0x5a0e2
jmp 0x5a107
jmp 0x5a129
jmp 0x5a102
jmp 0x5a0e2
jmp 0x5a107
jmp 0x5a129
jmp 0x5a102
movq %rax, %rbx
movq 0x60(%rsp), %rdi
cmpq %r14, %rdi
je 0x5a0e5
movq 0x70(%rsp), %rsi
incq %rsi
callq 0xd530
jmp 0x5a0e5
movq %rax, %rbx
movq 0x40(%rsp), %rdi
cmpq %rbp, %rdi
je 0x5a10a
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
jmp 0x5a10a
jmp 0x5a107
jmp 0x5a129
movq %rax, %rbx
jmp 0x5a142
movq %rax, %rbx
movq 0x20(%rsp), %rdi
cmpq %r13, %rdi
je 0x5a12c
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
jmp 0x5a12c
jmp 0x5a129
jmp 0x5a129
jmp 0x5a129
movq %rax, %rbx
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x5a142
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq %rbx, %rdi
callq 0xda70