// File: /workspace/github_cpp_makefile_star2_O1/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 0x19aab(%rip), %rsi     # 0x7464e
movl $0x2, %edx
movq %rax, %rdi
callq 0xd600
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x5abc6
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq %rsp, %rdi
movq %r12, (%rdi)
leaq 0x19859(%rip), %rsi     # 0x7442c
leaq 0x1985b(%rip), %rdx     # 0x74435
callq 0x15892
leaq 0x30(%rsp), %r13
movq %r13, -0x10(%r13)
leaq 0x198a8(%rip), %rsi     # 0x74497
leaq 0x198a5(%rip), %rdx     # 0x7449b
leaq 0x20(%rsp), %rdi
callq 0x15892
leaq 0x50(%rsp), %rbp
movq %rbp, -0x10(%rbp)
leaq 0x19826(%rip), %rsi     # 0x74436
leaq 0x19832(%rip), %rdx     # 0x74449
leaq 0x40(%rsp), %rdi
callq 0x15892
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 0x5a758
movq 0x60(%rsp), %rdi
cmpq %r14, %rdi
je 0x5ac75
movq 0x70(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x40(%rsp), %rdi
cmpq %rbp, %rdi
je 0x5ac8c
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r13, %rdi
je 0x5aca3
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x5acb9
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq %rsp, %rdi
movq %r12, (%rdi)
leaq 0x19766(%rip), %rsi     # 0x7442c
leaq 0x19768(%rip), %rdx     # 0x74435
callq 0x15892
leaq 0x20(%rsp), %rdi
movq %r13, (%rdi)
leaq 0x188d7(%rip), %rsi     # 0x735b8
leaq 0x188d5(%rip), %rdx     # 0x735bd
callq 0x15892
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 0x5a960
movq 0x40(%rsp), %rdi
cmpq %rbp, %rdi
je 0x5ad3b
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r13, %rdi
je 0x5ad52
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x5ad68
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
cmpb $0x0, 0x3bb8a(%rip)     # 0x968f9
jne 0x5b1e0
movq %rsp, %rdi
movq %r12, (%rdi)
leaq 0x196aa(%rip), %rsi     # 0x7442c
leaq 0x196ac(%rip), %rdx     # 0x74435
callq 0x15892
leaq 0x20(%rsp), %rdi
movq %r13, (%rdi)
leaq 0x1a14e(%rip), %rsi     # 0x74eeb
leaq 0x1a14f(%rip), %rdx     # 0x74ef3
callq 0x15892
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 0x5a960
movq 0x40(%rsp), %rdi
cmpq %rbp, %rdi
je 0x5adf7
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r13, %rdi
je 0x5ae0e
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x5ae24
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq %rsp, %rdi
movq %r12, (%rdi)
leaq 0x195fb(%rip), %rsi     # 0x7442c
leaq 0x195fd(%rip), %rdx     # 0x74435
callq 0x15892
leaq 0x20(%rsp), %rdi
movq %r13, (%rdi)
leaq 0x195fe(%rip), %rsi     # 0x7444a
leaq 0x195ff(%rip), %rdx     # 0x74452
callq 0x15892
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 0x5a960
movq 0x40(%rsp), %rdi
cmpq %rbp, %rdi
je 0x5aea3
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r13, %rdi
je 0x5aeba
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x5aed0
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq %rsp, %rdi
movq %r12, (%rdi)
leaq 0x1954f(%rip), %rsi     # 0x7442c
leaq 0x19551(%rip), %rdx     # 0x74435
callq 0x15892
leaq 0x20(%rsp), %rdi
movq %r13, (%rdi)
leaq 0x1955b(%rip), %rsi     # 0x74453
leaq 0x1955b(%rip), %rdx     # 0x7445a
callq 0x15892
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 0x5a960
movq 0x40(%rsp), %rdi
cmpq %rbp, %rdi
je 0x5af4f
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r13, %rdi
je 0x5af66
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x5af7c
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq %rsp, %rdi
movq %r12, (%rdi)
leaq 0x194a3(%rip), %rsi     # 0x7442c
leaq 0x194a5(%rip), %rdx     # 0x74435
callq 0x15892
leaq 0x20(%rsp), %rdi
movq %r13, (%rdi)
leaq 0x194b7(%rip), %rsi     # 0x7445b
leaq 0x194b6(%rip), %rdx     # 0x74461
callq 0x15892
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 0x5a960
movq 0x40(%rsp), %rdi
cmpq %rbp, %rdi
je 0x5affb
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r13, %rdi
je 0x5b012
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x5b028
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq %rsp, %rdi
movq %r12, (%rdi)
leaq 0x193f7(%rip), %rsi     # 0x7442c
leaq 0x193f9(%rip), %rdx     # 0x74435
callq 0x15892
leaq 0x20(%rsp), %rdi
movq %r13, (%rdi)
leaq 0x185ce(%rip), %rsi     # 0x7361e
leaq 0x185cb(%rip), %rdx     # 0x73622
callq 0x15892
movq 0x80(%rsp), %rax
movq 0x78(%rax), %rsi
leaq 0x40(%rsp), %rdi
callq 0x5ba90
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 0x5a758
movq 0x60(%rsp), %rdi
cmpq %r14, %rdi
je 0x5b0c0
movq 0x70(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x40(%rsp), %rdi
cmpq %rbp, %rdi
je 0x5b0d7
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r13, %rdi
je 0x5b0ee
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x5b104
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq %rsp, %rdi
movq %r12, (%rdi)
leaq 0x1931b(%rip), %rsi     # 0x7442c
leaq 0x1931d(%rip), %rdx     # 0x74435
callq 0x15892
leaq 0x20(%rsp), %rdi
movq %r13, (%rdi)
leaq 0x19336(%rip), %rsi     # 0x74462
leaq 0x19338(%rip), %rdx     # 0x7446b
callq 0x15892
movq 0x80(%rsp), %rax
movq 0x70(%rax), %rsi
leaq 0x40(%rsp), %rdi
callq 0x5bb31
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 0x5a758
movq 0x60(%rsp), %rdi
cmpq %r14, %rdi
je 0x5b19c
movq 0x70(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x40(%rsp), %rdi
cmpq %rbp, %rdi
je 0x5b1b3
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r13, %rdi
je 0x5b1ca
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x5b1e0
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 0x19407(%rip), %rsi     # 0x74615
movl $0xf, %edx
movq %rax, %rdi
callq 0xd600
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x5b231
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 0x193ef(%rip), %rsi     # 0x7464e
movl $0x2, %edx
movq %rax, %rdi
callq 0xd600
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x5b282
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq %rsp, %rdi
movq %r12, (%rdi)
leaq 0x191e2(%rip), %rsi     # 0x74471
leaq 0x191e3(%rip), %rdx     # 0x74479
callq 0x15892
leaq 0x20(%rsp), %rdi
movq %r13, (%rdi)
leaq 0x191ed(%rip), %rsi     # 0x74497
leaq 0x191ea(%rip), %rdx     # 0x7449b
callq 0x15892
leaq 0x40(%rsp), %rdi
movq %rbp, (%rdi)
leaq 0x15d33(%rip), %rdx     # 0x70ff8
movq %rdx, %rsi
callq 0x15892
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 0x5a758
movq 0x60(%rsp), %rdi
cmpq %r14, %rdi
je 0x5b31b
movq 0x70(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x40(%rsp), %rdi
cmpq %rbp, %rdi
je 0x5b332
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r13, %rdi
je 0x5b349
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x5b35f
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq %rsp, %rdi
movq %r12, (%rdi)
leaq 0x19105(%rip), %rsi     # 0x74471
leaq 0x19106(%rip), %rdx     # 0x74479
callq 0x15892
leaq 0x20(%rsp), %rdi
movq %r13, (%rdi)
leaq 0x190f3(%rip), %rsi     # 0x7447a
leaq 0x190f2(%rip), %rdx     # 0x74480
callq 0x15892
leaq 0x40(%rsp), %rdi
movq %rbp, (%rdi)
leaq 0x19293(%rip), %rsi     # 0x74635
leaq 0x1928f(%rip), %rdx     # 0x74638
callq 0x15892
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 0x5a758
movq 0x60(%rsp), %rdi
cmpq %r14, %rdi
je 0x5b3fc
movq 0x70(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x40(%rsp), %rdi
cmpq %rbp, %rdi
je 0x5b413
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r13, %rdi
je 0x5b42a
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x5b440
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq %rsp, %rdi
movq %r12, (%rdi)
leaq 0x19024(%rip), %rsi     # 0x74471
leaq 0x19025(%rip), %rdx     # 0x74479
callq 0x15892
leaq 0x20(%rsp), %rdi
movq %r13, (%rdi)
leaq 0x19019(%rip), %rsi     # 0x74481
leaq 0x19018(%rip), %rdx     # 0x74487
callq 0x15892
leaq 0x40(%rsp), %rdi
movq %rbp, (%rdi)
leaq 0x191a2(%rip), %rsi     # 0x74625
leaq 0x191a4(%rip), %rdx     # 0x7462e
callq 0x15892
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 0x5a758
movq 0x60(%rsp), %rdi
cmpq %r14, %rdi
je 0x5b4dd
movq 0x70(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x40(%rsp), %rdi
cmpq %rbp, %rdi
je 0x5b4f4
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r13, %rdi
je 0x5b50b
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x5b521
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq %rsp, %rdi
movq %r12, (%rdi)
leaq 0x18f43(%rip), %rsi     # 0x74471
leaq 0x18f44(%rip), %rdx     # 0x74479
callq 0x15892
leaq 0x20(%rsp), %rdi
movq %r13, (%rdi)
leaq 0x18f19(%rip), %rsi     # 0x74462
leaq 0x18f1b(%rip), %rdx     # 0x7446b
callq 0x15892
movq 0x80(%rsp), %rax
movq 0x70(%rax), %rsi
leaq 0x40(%rsp), %rdi
callq 0x5bb31
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 0x5a758
movq 0x60(%rsp), %rdi
cmpq %r14, %rdi
je 0x5b5b9
movq 0x70(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x40(%rsp), %rdi
cmpq %rbp, %rdi
je 0x5b5d0
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r13, %rdi
je 0x5b5e7
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x5b5fd
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq %rsp, %rdi
movq %r12, (%rdi)
leaq 0x18e67(%rip), %rsi     # 0x74471
leaq 0x18e68(%rip), %rdx     # 0x74479
callq 0x15892
leaq 0x20(%rsp), %rdi
movq %r13, (%rdi)
leaq 0x17ff9(%rip), %rsi     # 0x7361e
leaq 0x17ff6(%rip), %rdx     # 0x73622
callq 0x15892
movq 0x80(%rsp), %rax
movq 0x78(%rax), %rsi
leaq 0x40(%rsp), %rdi
callq 0x5ba90
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 0x5a758
movq 0x60(%rsp), %rdi
cmpq %r14, %rdi
je 0x5b695
movq 0x70(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x40(%rsp), %rdi
cmpq %rbp, %rdi
je 0x5b6ac
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r13, %rdi
je 0x5b6c3
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x5b6d9
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq %rsp, %rdi
movq %r12, (%rdi)
leaq 0x18d8b(%rip), %rsi     # 0x74471
leaq 0x18d8c(%rip), %rdx     # 0x74479
callq 0x15892
leaq 0x20(%rsp), %rdi
movq %r13, (%rdi)
leaq 0x18d91(%rip), %rsi     # 0x74492
leaq 0x18d93(%rip), %rdx     # 0x7449b
callq 0x15892
leaq 0x40(%rsp), %rdi
movq %rbp, (%rdi)
leaq 0x158dc(%rip), %rdx     # 0x70ff8
movq %rdx, %rsi
callq 0x15892
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 0x5a758
movq 0x60(%rsp), %rdi
cmpq %r14, %rdi
je 0x5b76f
movq 0x70(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x40(%rsp), %rdi
cmpq %rbp, %rdi
je 0x5b786
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r13, %rdi
je 0x5b79d
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x5b7b3
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 0x5c69c
movq (%rsp), %rsi
movq 0x8(%rsp), %rdx
movq %rbx, %rdi
callq 0xd600
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x5b807
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r13, %rdi
je 0x5b81e
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq %rbx, %rdi
movq 0x80(%rsp), %rsi
callq 0x5c8a6
leaq 0x158b2(%rip), %rsi     # 0x710e7
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 0x18dbc(%rip), %rsi     # 0x7462f
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 0x18dc8(%rip), %rsi     # 0x74678
movl $0x1, %edx
movq %rax, %rdi
callq 0xd600
movq 0x20(%rsp), %rdi
cmpq %r13, %rdi
je 0x5b8d4
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x5b8ea
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 0x5ba0c
jmp 0x5ba28
jmp 0x5ba4d
jmp 0x5ba6f
jmp 0x5ba48
jmp 0x5ba0c
jmp 0x5ba28
jmp 0x5ba4d
jmp 0x5ba6f
jmp 0x5ba48
jmp 0x5ba28
jmp 0x5ba4d
jmp 0x5ba6f
jmp 0x5ba48
jmp 0x5ba28
jmp 0x5ba4d
jmp 0x5ba6f
jmp 0x5ba48
jmp 0x5ba28
jmp 0x5ba4d
jmp 0x5ba6f
jmp 0x5ba48
jmp 0x5ba28
jmp 0x5ba4d
jmp 0x5ba6f
jmp 0x5ba48
jmp 0x5ba6f
movq %rax, %rbx
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x5b9a1
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
jmp 0x5b9a1
movq %rax, %rbx
movq 0x20(%rsp), %rdi
cmpq %r13, %rdi
je 0x5ba88
movq 0x30(%rsp), %rsi
jmp 0x5ba80
jmp 0x5ba0c
jmp 0x5ba28
jmp 0x5ba4d
jmp 0x5ba6f
jmp 0x5ba48
jmp 0x5ba0c
jmp 0x5ba28
jmp 0x5ba4d
jmp 0x5ba6f
jmp 0x5ba48
jmp 0x5ba0c
jmp 0x5ba28
jmp 0x5ba4d
jmp 0x5ba6f
jmp 0x5ba48
jmp 0x5ba0c
jmp 0x5ba28
jmp 0x5ba4d
jmp 0x5ba6f
jmp 0x5ba48
jmp 0x5ba0c
jmp 0x5ba28
jmp 0x5ba4d
jmp 0x5ba6f
jmp 0x5ba48
jmp 0x5ba0c
jmp 0x5ba28
jmp 0x5ba4d
jmp 0x5ba6f
jmp 0x5ba48
jmp 0x5ba28
jmp 0x5ba4d
jmp 0x5ba6f
jmp 0x5ba48
movq %rax, %rbx
movq 0x60(%rsp), %rdi
cmpq %r14, %rdi
je 0x5ba2b
movq 0x70(%rsp), %rsi
incq %rsi
callq 0xd530
jmp 0x5ba2b
movq %rax, %rbx
movq 0x40(%rsp), %rdi
cmpq %rbp, %rdi
je 0x5ba50
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
jmp 0x5ba50
jmp 0x5ba4d
jmp 0x5ba6f
movq %rax, %rbx
jmp 0x5ba88
movq %rax, %rbx
movq 0x20(%rsp), %rdi
cmpq %r13, %rdi
je 0x5ba72
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
jmp 0x5ba72
jmp 0x5ba6f
jmp 0x5ba6f
jmp 0x5ba6f
movq %rax, %rbx
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x5ba88
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq %rbx, %rdi
callq 0xda70