// File: /workspace/github_cpp_makefile_star2_O1/Luthaf[P]zeopp/area_and_volume.cc
// Function: reportPoints(std::ostream&, std::vector<Point, std::allocator<Point>>, std::vector<Point, std::allocator<Point>>)
void reportPoints(ostream &output, vector<Point> axsPoints, vector<Point> inaxsPoints){
  output << "{color green}" << "\n";
  for(unsigned int i = 0; i < axsPoints.size(); i++){
    Point coords = axsPoints.at(i);
    output << "{point { " << coords[0] << " " << coords[1] << " " << coords[2] << "}}" << "\n";
  }
  
  output << "{color red}" << "\n";
  for(unsigned int i = 0; i < inaxsPoints.size(); i++){
    Point coords = inaxsPoints.at(i);
    output << "{point {" <<  coords[0] << " " << coords[1] << " " << coords[2] << "}}" << "\n";
  }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %rdx, 0x8(%rsp)
movq %rsi, %r15
movq %rdi, %r14
leaq 0x115f8d(%rip), %rsi    # 0x1535c7
movl $0xd, %edx
callq 0x44e0
leaq 0x117ee3(%rip), %rsi    # 0x15552e
movl $0x1, %edx
movq %r14, %rdi
callq 0x44e0
movq (%r15), %rax
cmpq %rax, 0x8(%r15)
je 0x3d765
movl $0x1, %ebx
xorl %ecx, %ecx
leaq 0x10(%rsp), %r13
leaq 0x119e0e(%rip), %rbp    # 0x157486
leaq (%rcx,%rcx,2), %rcx
movq 0x10(%rax,%rcx,8), %rdx
movq %rdx, 0x20(%rsp)
movups (%rax,%rcx,8), %xmm0
movaps %xmm0, 0x10(%rsp)
movl $0x9, %edx
movq %r14, %rdi
leaq 0x115f37(%rip), %rsi    # 0x1535d5
callq 0x44e0
movq %r13, %rdi
xorl %esi, %esi
callq 0x85478
movsd (%rax), %xmm0
movq %r14, %rdi
callq 0x46b0
movq %rax, %r12
movl $0x1, %edx
movq %rax, %rdi
movq %rbp, %rsi
callq 0x44e0
movq %r13, %rdi
movl $0x1, %esi
callq 0x85478
movsd (%rax), %xmm0
movq %r12, %rdi
callq 0x46b0
movq %rax, %r12
movl $0x1, %edx
movq %rax, %rdi
movq %rbp, %rsi
callq 0x44e0
movq %r13, %rdi
movl $0x2, %esi
callq 0x85478
movsd (%rax), %xmm0
movq %r12, %rdi
callq 0x46b0
movq %rax, %r12
movl $0x2, %edx
movq %rax, %rdi
leaq 0x115ebc(%rip), %rsi    # 0x1535df
callq 0x44e0
movl $0x1, %edx
movq %r12, %rdi
leaq 0x117df7(%rip), %rsi    # 0x15552e
callq 0x44e0
movl %ebx, %ecx
movq (%r15), %rax
movq 0x8(%r15), %rdx
subq %rax, %rdx
sarq $0x3, %rdx
movabsq $-0x5555555555555555, %rsi # imm = 0xAAAAAAAAAAAAAAAB
imulq %rsi, %rdx
incl %ebx
cmpq %rcx, %rdx
ja 0x3d678
leaq 0x115e76(%rip), %rsi    # 0x1535e2
movl $0xb, %edx
movq %r14, %rdi
callq 0x44e0
leaq 0x117dae(%rip), %rsi    # 0x15552e
movl $0x1, %edx
movq %r14, %rdi
callq 0x44e0
movq 0x8(%rsp), %rcx
movq (%rcx), %rax
cmpq %rax, 0x8(%rcx)
je 0x3d8a7
movl $0x1, %ebx
xorl %ecx, %ecx
leaq 0x10(%rsp), %r12
leaq 0x119cd4(%rip), %r13    # 0x157486
leaq 0x117d75(%rip), %r15    # 0x15552e
leaq (%rcx,%rcx,2), %rcx
movq 0x10(%rax,%rcx,8), %rdx
movq %rdx, 0x20(%rsp)
movups (%rax,%rcx,8), %xmm0
movaps %xmm0, 0x10(%rsp)
movl $0x8, %edx
movq %r14, %rdi
leaq 0x115e0f(%rip), %rsi    # 0x1535ee
callq 0x44e0
movq %r12, %rdi
xorl %esi, %esi
callq 0x85478
movsd (%rax), %xmm0
movq %r14, %rdi
callq 0x46b0
movq %rax, %rbp
movl $0x1, %edx
movq %rax, %rdi
movq %r13, %rsi
callq 0x44e0
movq %r12, %rdi
movl $0x1, %esi
callq 0x85478
movsd (%rax), %xmm0
movq %rbp, %rdi
callq 0x46b0
movq %rax, %rbp
movl $0x1, %edx
movq %rax, %rdi
movq %r13, %rsi
callq 0x44e0
movq %r12, %rdi
movl $0x2, %esi
callq 0x85478
movsd (%rax), %xmm0
movq %rbp, %rdi
callq 0x46b0
movq %rax, %rbp
movl $0x2, %edx
movq %rax, %rdi
leaq 0x115d7b(%rip), %rsi    # 0x1535df
callq 0x44e0
movl $0x1, %edx
movq %rbp, %rdi
movq %r15, %rsi
callq 0x44e0
movq 0x8(%rsp), %rdx
movl %ebx, %ecx
movq (%rdx), %rax
movq 0x8(%rdx), %rdx
subq %rax, %rdx
sarq $0x3, %rdx
movabsq $-0x5555555555555555, %rsi # imm = 0xAAAAAAAAAAAAAAAB
imulq %rsi, %rdx
incl %ebx
cmpq %rcx, %rdx
ja 0x3d7b9
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq