// File: 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
movq %rsp, %rbp
subq $0xb0, %rsp
movq %rsi, -0x68(%rbp)
movq %rdx, -0x60(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq -0x8(%rbp), %rdi
leaq 0x1808bd(%rip), %rsi    # 0x1f6647
callq 0x5540
movq %rax, %rdi
leaq 0x18388c(%rip), %rsi    # 0x1f9625
callq 0x5540
movl $0x0, -0x1c(%rbp)
movq -0x68(%rbp), %rdi
movl -0x1c(%rbp), %eax
movq %rax, -0x70(%rbp)
callq 0x17c60
movq %rax, %rcx
movq -0x70(%rbp), %rax
cmpq %rcx, %rax
jae 0x75ea4
movq -0x68(%rbp), %rdi
movl -0x1c(%rbp), %eax
movl %eax, %esi
callq 0x59c60
movq (%rax), %rcx
movq %rcx, -0x38(%rbp)
movq 0x8(%rax), %rcx
movq %rcx, -0x30(%rbp)
movq 0x10(%rax), %rax
movq %rax, -0x28(%rbp)
movq -0x8(%rbp), %rdi
leaq 0x180860(%rip), %rsi    # 0x1f6655
callq 0x5540
movq %rax, -0x88(%rbp)
leaq -0x38(%rbp), %rdi
xorl %esi, %esi
callq 0xe9d70
movq -0x88(%rbp), %rdi
movsd (%rax), %xmm0
callq 0x5980
movq %rax, %rdi
leaq 0x186488(%rip), %rsi    # 0x1fc2ae
callq 0x5540
movq %rax, -0x80(%rbp)
leaq -0x38(%rbp), %rdi
movl $0x1, %esi
callq 0xe9d70
movq -0x80(%rbp), %rdi
movsd (%rax), %xmm0
callq 0x5980
movq %rax, %rdi
leaq 0x18645a(%rip), %rsi    # 0x1fc2ae
callq 0x5540
movq %rax, -0x78(%rbp)
leaq -0x38(%rbp), %rdi
movl $0x2, %esi
callq 0xe9d70
movq -0x78(%rbp), %rdi
movsd (%rax), %xmm0
callq 0x5980
movq %rax, %rdi
leaq 0x1807dd(%rip), %rsi    # 0x1f665f
callq 0x5540
movq %rax, %rdi
leaq 0x183794(%rip), %rsi    # 0x1f9625
callq 0x5540
movl -0x1c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x1c(%rbp)
jmp 0x75da5
movq -0x8(%rbp), %rdi
leaq 0x1807b3(%rip), %rsi    # 0x1f6662
callq 0x5540
movq %rax, %rdi
leaq 0x183767(%rip), %rsi    # 0x1f9625
callq 0x5540
movl $0x0, -0x3c(%rbp)
movq -0x60(%rbp), %rdi
movl -0x3c(%rbp), %eax
movq %rax, -0x90(%rbp)
callq 0x17c60
movq %rax, %rcx
movq -0x90(%rbp), %rax
cmpq %rcx, %rax
jae 0x75fdb
movq -0x60(%rbp), %rdi
movl -0x3c(%rbp), %eax
movl %eax, %esi
callq 0x59c60
movq (%rax), %rcx
movq %rcx, -0x58(%rbp)
movq 0x8(%rax), %rcx
movq %rcx, -0x50(%rbp)
movq 0x10(%rax), %rax
movq %rax, -0x48(%rbp)
movq -0x8(%rbp), %rdi
leaq 0x18074e(%rip), %rsi    # 0x1f666e
callq 0x5540
movq %rax, -0xa8(%rbp)
leaq -0x58(%rbp), %rdi
xorl %esi, %esi
callq 0xe9d70
movq -0xa8(%rbp), %rdi
movsd (%rax), %xmm0
callq 0x5980
movq %rax, %rdi
leaq 0x18635d(%rip), %rsi    # 0x1fc2ae
callq 0x5540
movq %rax, -0xa0(%rbp)
leaq -0x58(%rbp), %rdi
movl $0x1, %esi
callq 0xe9d70
movq -0xa0(%rbp), %rdi
movsd (%rax), %xmm0
callq 0x5980
movq %rax, %rdi
leaq 0x186329(%rip), %rsi    # 0x1fc2ae
callq 0x5540
movq %rax, -0x98(%rbp)
leaq -0x58(%rbp), %rdi
movl $0x2, %esi
callq 0xe9d70
movq -0x98(%rbp), %rdi
movsd (%rax), %xmm0
callq 0x5980
movq %rax, %rdi
leaq 0x1806a6(%rip), %rsi    # 0x1f665f
callq 0x5540
movq %rax, %rdi
leaq 0x18365d(%rip), %rsi    # 0x1f9625
callq 0x5540
movl -0x3c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x3c(%rbp)
jmp 0x75eca
addq $0xb0, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)