// File: /workspace/github_cpp_makefile_star2_O2/tomfunkhouser[P]gaps/apps/prp2prp/prp2prp.cpp
// Function: main
int main(int argc, char **argv)
{
  // Check program arguments
  if (argc < 4) { printf("Usage: prp2prp inputmesh inputprops outputprops [options]\n"); exit(-1); }
  input_mesh_name = argv[1];
  input_properties_name = argv[2];
  output_properties_name = argv[3];
  argc -=4; argv+=4;

  // Parse program arguments
  if (!ParseArgs(argc, argv)) exit(-1);

  // Read mesh file
  R3Mesh *mesh = ReadMesh(input_mesh_name);
  if (!mesh) exit(-1);

  // Read properties file
  R3MeshPropertySet *properties = ReadProperties(mesh, input_properties_name);
  if (!properties) exit(-1);

  // Apply property processing operations
  if (!ApplyOperations(mesh, properties, argc, argv)) exit(-1);

  // Write properties file
  if (!WriteProperties(properties, output_properties_name)) exit(-1);

  // Return success 
  return 0;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x1098, %rsp           # imm = 0x1098
cmpl $0x3, %edi
jle 0xfd3b
movq %rsi, %r13
movl %edi, %r15d
movq 0x8(%rsi), %r12
movq 0x10(%rsi), %rbx
movq 0x18(%rsi), %rax
movq %rax, 0x68(%rsp)
addl $-0x4, %r15d
addq $0x20, %r13
movl %r15d, %edi
movq %r13, %rsi
callq 0xf152
leaq 0x90(%rsp), %r14
movq %r14, %rdi
callq 0x4e41e
movq %r14, %rdi
callq 0x10c00
movl $0x138, %edi            # imm = 0x138
callq 0xd3a0
movq %rax, %r14
movq %rax, %rdi
callq 0x15a48
movq (%r14), %rax
movq %r14, %rdi
movq %r12, %rsi
callq *0x180(%rax)
testl %eax, %eax
je 0xfd49
cmpb $0x1, 0x6a83b(%rip)     # 0x79ac8
jne 0xf300
leaq 0x41e25(%rip), %rdi     # 0x510bb
movq %r12, %rsi
xorl %eax, %eax
callq 0xd070
leaq 0x90(%rsp), %rdi
callq 0x4e458
leaq 0x41e1e(%rip), %rdi     # 0x510d2
movb $0x1, %al
callq 0xd070
movl 0x34(%r14), %esi
leaq 0x41e23(%rip), %rdi     # 0x510e9
xorl %eax, %eax
callq 0xd070
movl 0x24(%r14), %esi
leaq 0x41e21(%rip), %rdi     # 0x510f9
xorl %eax, %eax
callq 0xd070
movl 0x14(%r14), %esi
leaq 0x41e1f(%rip), %rdi     # 0x51109
xorl %eax, %eax
callq 0xd070
movq 0x69ca0(%rip), %rax     # 0x78f98
movq (%rax), %rdi
callq 0xd460
movq %r14, %rdi
movq %rbx, %rsi
callq 0xfe00
testq %rax, %rax
je 0xfd88
movq %rax, %r12
movl %r15d, (%rsp)
movq %r13, 0x8(%rsp)
testl %r15d, %r15d
je 0xfb7b
leaq 0x80(%rsp), %rbx
movq %rbx, %rdi
callq 0x4e41e
movq %rbx, %rdi
callq 0x10c00
cmpb $0x1, 0x6a780(%rip)     # 0x79ac8
jne 0xf365
leaq 0x4214d(%rip), %rdi     # 0x5149e
callq 0xd5b0
movq 0x69c3b(%rip), %rax     # 0x78f98
movq (%rax), %rdi
callq 0xd460
leaq 0x41e80(%rip), %rbp     # 0x511ec
xorl %ebx, %ebx
movq %r12, 0x10(%rsp)
testl %r15d, %r15d
jle 0xfb38
movl %ebx, 0x4(%rsp)
movq (%r13), %r14
movq %r14, %rdi
movq %rbp, %rsi
callq 0xd530
testl %eax, %eax
je 0xf4a9
movq %r14, %rdi
leaq 0x41e52(%rip), %rsi     # 0x511f3
callq 0xd530
testl %eax, %eax
je 0xf567
movq %r14, %rdi
leaq 0x41e44(%rip), %rsi     # 0x511fc
callq 0xd530
testl %eax, %eax
je 0xf5ed
movq %r14, %rdi
leaq 0x41e35(%rip), %rsi     # 0x51204
callq 0xd530
testl %eax, %eax
je 0xf69e
movq %r14, %rdi
leaq 0x41e2a(%rip), %rsi     # 0x51210
callq 0xd530
testl %eax, %eax
je 0xf829
movq %r14, %rdi
leaq 0x41e1b(%rip), %rsi     # 0x51218
callq 0xd530
testl %eax, %eax
je 0xf878
movq %r14, %rdi
leaq 0x41e0c(%rip), %rsi     # 0x51220
callq 0xd530
testl %eax, %eax
je 0xfab1
movq %r14, %rdi
leaq 0x41dfd(%rip), %rsi     # 0x51228
callq 0xd530
testl %eax, %eax
je 0xfb09
movq %r14, %rdi
leaq 0x41c20(%rip), %rsi     # 0x51062
callq 0xd530
testl %eax, %eax
je 0xfb16
movq %r14, %rdi
leaq 0x41c27(%rip), %rsi     # 0x51080
callq 0xd530
testl %eax, %eax
je 0xfb1f
movq %r14, %rdi
leaq 0x41beb(%rip), %rsi     # 0x5105b
callq 0xd530
testl %eax, %eax
je 0xfb28
cmpb $0x2d, (%r14)
jne 0xfd77
cmpb $0x76, 0x1(%r14)
jne 0xfd77
cmpb $0x0, 0x2(%r14)
jne 0xfd77
movb $0x1, 0x6a624(%rip)     # 0x79ac8
jmp 0xfb2f
movq 0x8(%r13), %r14
leaq 0x10(%r13), %rax
movq %rax, 0x8(%rsp)
addl $-0x2, %r15d
movl %r15d, (%rsp)
movq 0x10(%r13), %rbx
movq (%r12), %rdi
movq %r14, %rsi
callq 0xfe00
testq %rax, %rax
je 0xfd88
movq %rax, %r15
leaq 0x90(%rsp), %r13
movq %r13, %rdi
movq %rax, %rsi
movq %rbx, %rdx
callq 0x10002
xorl %ebx, %ebx
movslq 0x9c(%rsp), %rax
cmpq %rax, %rbx
jge 0xf518
movq 0x90(%rsp), %rax
movq (%rax,%rbx,8), %rsi
movq %r12, %rdi
callq 0x10ca8
incq %rbx
jmp 0xf4f2
movq %r15, %rdi
callq 0x10cb2
movq %r15, %rdi
pushq $0x18
popq %rsi
callq 0xd3b0
cmpb $0x1, 0x6a59a(%rip)     # 0x79acc
jne 0xf554
leaq 0x41d25(%rip), %rdi     # 0x51260
movq %r14, %rsi
xorl %eax, %eax
callq 0xd070
movq 0x69a4c(%rip), %rax     # 0x78f98
movq (%rax), %rdi
callq 0xd460
movq %r13, %rdi
callq 0x4e9d4
movl 0x4(%rsp), %ebx
incl %ebx
jmp 0xfa93
movq 0x8(%r13), %rdx
leaq 0x10(%r13), %rbx
movq %rbx, 0x8(%rsp)
addl $-0x2, %r15d
movl %r15d, (%rsp)
movq 0x10(%r13), %r14
leaq 0x90(%rsp), %r13
movq %r13, %rdi
movq %r12, %rsi
callq 0x10002
xorl %r12d, %r12d
movslq 0x9c(%rsp), %rax
cmpq %rax, %r12
jge 0xf5d5
movq 0x90(%rsp), %rax
movq (%rax,%r12,8), %rsi
movl %r15d, (%rsp)
movq %rbx, 0x8(%rsp)
movq 0x10(%rsp), %rdi
movq %r14, %rdx
movq %rsp, %rcx
leaq 0x8(%rsp), %r8
xorl %r9d, %r9d
callq 0x1015b
incq %r12
jmp 0xf596
movq %r13, %rdi
callq 0x4e9d4
movl 0x4(%rsp), %ebx
incl %ebx
movq 0x10(%rsp), %r12
jmp 0xfa93
movq 0x8(%r13), %rdx
leaq 0x10(%r13), %rbp
movq %rbp, 0x8(%rsp)
addl $-0x2, %r15d
movl %r15d, (%rsp)
movq 0x10(%r13), %r14
leaq 0x90(%rsp), %rdi
movq %r12, %rsi
callq 0x10002
xorl %r13d, %r13d
movslq 0x9c(%rsp), %rax
cmpq %rax, %r13
jge 0xf686
movq 0x90(%rsp), %rax
movq (%rax,%r13,8), %rbx
movl $0x448, %edi            # imm = 0x448
callq 0xd3a0
movq %rax, %r12
movq %rax, %rdi
movq %rbx, %rsi
callq 0x12580
movl %r15d, (%rsp)
movq %rbp, 0x8(%rsp)
movq 0x10(%rsp), %rdi
movq %r12, %rsi
movq %r14, %rdx
movq %rsp, %rcx
leaq 0x8(%rsp), %r8
pushq $0x1
popq %r9
callq 0x1015b
movq 0x10(%rsp), %rdi
movq %r12, %rsi
callq 0x10ca8
incq %r13
movq 0x10(%rsp), %r12
jmp 0xf619
leaq 0x90(%rsp), %rdi
callq 0x4e9d4
movl 0x4(%rsp), %ebx
incl %ebx
jmp 0xfa8c
movq %r12, %rax
movq 0x8(%r13), %r12
movq (%rax), %r14
movq %r12, %rdi
callq 0xd4a0
movsd %xmm0, 0x18(%rsp)
movq %r14, %rdi
callq 0x10b77
mulsd 0x18(%rsp), %xmm0
movsd %xmm0, 0x50(%rsp)
movq 0x10(%r13), %rdi
callq 0xd4a0
movsd %xmm0, 0x60(%rsp)
movq 0x18(%r13), %rdi
callq 0xd5c0
addl $-0x4, %r15d
movl %r15d, (%rsp)
addq $0x20, %r13
movq %r13, 0x8(%rsp)
movsd 0x50(%rsp), %xmm0
ucomisd 0x41917(%rip), %xmm0    # 0x51018
jne 0xf709
jnp 0xfa81
movsd 0x60(%rsp), %xmm0
ucomisd 0x41901(%rip), %xmm0    # 0x51018
jne 0xf71f
jnp 0xfa81
movl %eax, %ebp
testl %eax, %eax
je 0xfa81
leaq 0x20(%rsp), %rdi
movq 0x10(%rsp), %rsi
movq %r12, %rdx
callq 0x10002
movslq 0x2c(%rsp), %rbx
testq %rbx, %rbx
je 0xfa77
movq %rbx, %rdi
shlq $0x3, %rdi
testl %ebx, %ebx
pushq $-0x1
popq %r15
cmovsq %r15, %rdi
callq 0xd030
movq %rax, 0x30(%rsp)
movslq %ebp, %rax
shlq $0x3, %rax
testl %ebp, %ebp
cmovsq %r15, %rax
movq %rax, 0x40(%rsp)
movl $0x0, %eax
cmovlel %eax, %ebp
xorl %r12d, %r12d
movq 0x10(%rsp), %r15
movslq %ebx, %rax
cmpq %rax, %r12
jge 0xf8d7
movq 0x20(%rsp), %rax
movq (%rax,%r12,8), %rbx
movq 0x40(%rsp), %rdi
callq 0xd030
movq %rax, %rdx
movq 0x30(%rsp), %rax
movq %r12, 0x48(%rsp)
movq %rdx, 0x18(%rsp)
movq %rdx, (%rax,%r12,8)
addq $0x8, %rbx
xorl %r15d, %r15d
cmpq %r15, %rbp
je 0xf818
leal 0x1(%r15), %ecx
leaq 0x90(%rsp), %r13
movq %r13, %rdi
leaq 0x41c10(%rip), %rsi     # 0x513ed
movq %rbx, %r12
movq %rbx, %rdx
xorl %eax, %eax
callq 0xd0d0
movl $0x448, %edi            # imm = 0x448
callq 0xd3a0
movq %rax, %rbx
movq %rax, %rdi
movq %r14, %rsi
movq %r13, %rdx
xorl %ecx, %ecx
callq 0x12488
movq 0x18(%rsp), %rax
movq %rbx, (%rax,%r15,8)
incq %r15
movq %r12, %rbx
jmp 0xf7c2
movq 0x48(%rsp), %r12
incq %r12
movl 0x2c(%rsp), %ebx
jmp 0xf781
leaq 0x8(%r13), %rax
movq %rax, 0x8(%rsp)
decl %r15d
movl %r15d, (%rsp)
movq 0x8(%r13), %rdx
leaq 0x90(%rsp), %r14
movq %r14, %rdi
movq %r12, %rsi
callq 0x10002
xorl %ebx, %ebx
movslq 0x9c(%rsp), %rax
cmpq %rax, %rbx
jge 0xf8cf
movq 0x90(%rsp), %rax
movq (%rax,%rbx,8), %rsi
movq %r12, %rdi
callq 0x10dd8
incq %rbx
jmp 0xf852
leaq 0x8(%r13), %rax
movq %rax, 0x8(%rsp)
decl %r15d
movl %r15d, (%rsp)
movq 0x8(%r13), %rdx
leaq 0x90(%rsp), %r14
movq %r14, %rdi
movq %r12, %rsi
callq 0x10002
movq %r12, %rdi
callq 0x10cd0
xorl %ebx, %ebx
movslq 0x9c(%rsp), %rax
cmpq %rax, %rbx
jge 0xf8cf
movq 0x90(%rsp), %rax
movq (%rax,%rbx,8), %rsi
movq %r12, %rdi
callq 0x10ca8
incq %rbx
jmp 0xf8a9
movq %r14, %rdi
jmp 0xf557
xorl %ecx, %ecx
movslq 0x14(%r14), %rax
cmpq %rax, %rcx
jge 0xfa44
movq 0x8(%r14), %rax
movq %rcx, 0x58(%rsp)
movq (%rax,%rcx,8), %rsi
xorpd %xmm0, %xmm0
movq %r14, %rdi
xorl %edx, %edx
callq 0x1ee96
movq %rax, %r12
xorl %ebx, %ebx
movslq 0x2c(%rsp), %rax
cmpq %rax, %rbx
jge 0xfa25
xorl %r15d, %r15d
movsd 0x50(%rsp), %xmm0
movsd %xmm0, 0x38(%rsp)
cmpq %rbp, %r15
je 0xfa1d
movsd 0x38(%rsp), %xmm0
movapd %xmm0, %xmm1
mulsd 0x416ca(%rip), %xmm1    # 0x51008
mulsd %xmm0, %xmm1
movsd %xmm1, 0x78(%rsp)
movapd %xmm0, %xmm3
mulsd 0x416bc(%rip), %xmm3    # 0x51010
xorpd %xmm1, %xmm1
xorl %r13d, %r13d
xorpd %xmm2, %xmm2
movsd %xmm3, 0x70(%rsp)
movslq 0x14(%r14), %rax
cmpq %rax, %r13
jge 0xf9da
movsd (%r12,%r13,8), %xmm0
ucomisd %xmm3, %xmm0
ja 0xf9d5
movq 0x20(%rsp), %rax
movq (%rax,%rbx,8), %rax
movq 0x410(%rax), %rax
movsd (%rax,%r13,8), %xmm4
movsd %xmm4, 0x40(%rsp)
mulsd %xmm0, %xmm0
divsd 0x78(%rsp), %xmm0
movsd %xmm1, 0x18(%rsp)
movsd %xmm2, 0x48(%rsp)
callq 0xd6a0
movsd 0x70(%rsp), %xmm3
movsd 0x48(%rsp), %xmm2
movsd 0x18(%rsp), %xmm1
movsd 0x40(%rsp), %xmm4
mulsd %xmm0, %xmm4
addsd %xmm4, %xmm1
addsd %xmm0, %xmm2
incq %r13
jmp 0xf965
ucomisd 0x41636(%rip), %xmm2    # 0x51018
jbe 0xfa03
movq 0x30(%rsp), %rax
movq (%rax,%rbx,8), %rax
movq (%rax,%r15,8), %rdi
divsd %xmm2, %xmm1
movq 0x58(%rsp), %rsi
movapd %xmm1, %xmm0
callq 0x13cc4
movsd 0x38(%rsp), %xmm0
mulsd 0x60(%rsp), %xmm0
movsd %xmm0, 0x38(%rsp)
incq %r15
jmp 0xf923
incq %rbx
jmp 0xf906
testq %r12, %r12
je 0xfa32
movq %r12, %rdi
callq 0xd4d0
movq 0x58(%rsp), %rcx
incq %rcx
movq 0x10(%rsp), %r15
jmp 0xf8d9
xorl %ebx, %ebx
movslq 0x2c(%rsp), %rax
cmpq %rax, %rbx
jge 0xfa77
xorl %r14d, %r14d
cmpq %r14, %rbp
je 0xfa72
movq 0x30(%rsp), %rax
movq (%rax,%rbx,8), %rax
movq (%rax,%r14,8), %rsi
movq %r15, %rdi
callq 0x10ca8
incq %r14
jmp 0xfa53
incq %rbx
jmp 0xfa46
leaq 0x20(%rsp), %rdi
callq 0x4e9d4
movl 0x4(%rsp), %ebx
incl %ebx
movq 0x10(%rsp), %r12
leaq 0x41759(%rip), %rbp     # 0x511ec
movq 0x8(%rsp), %r13
addq $0x8, %r13
movq %r13, 0x8(%rsp)
movl (%rsp), %r15d
decl %r15d
movl %r15d, (%rsp)
jmp 0xf373
movq 0x8(%r13), %rbx
leaq 0x10(%r13), %rax
movq %rax, 0x8(%rsp)
addl $-0x2, %r15d
movl %r15d, (%rsp)
movq 0x10(%r13), %r14
leaq 0x90(%rsp), %r15
movq %r15, %rdi
movq %r12, %rsi
movq %rbx, %rdx
callq 0x10002
cmpl $0x1, 0x9c(%rsp)
jne 0xfd61
movq 0x90(%rsp), %rax
movq (%rax), %rdi
movq %r14, %rsi
callq 0x13e24
movq %r15, %rdi
jmp 0xf557
movq %r12, %rdi
callq 0x10d4c
jmp 0xf55c
movb $0x1, 0x69fb3(%rip)     # 0x79ad0
jmp 0xfb2f
movb $0x0, 0x69faa(%rip)     # 0x79ad0
jmp 0xfb2f
movb $0x1, 0x69f9d(%rip)     # 0x79acc
movl 0x4(%rsp), %ebx
jmp 0xfa93
cmpb $0x1, 0x69f89(%rip)     # 0x79ac8
jne 0xfb7b
leaq 0x80(%rsp), %rdi
callq 0x4e458
leaq 0x4157d(%rip), %rdi     # 0x510d2
movb $0x1, %al
callq 0xd070
leaq 0x416e9(%rip), %rdi     # 0x5124c
movl %ebx, %esi
xorl %eax, %eax
callq 0xd070
movq 0x69425(%rip), %rax     # 0x78f98
movq (%rax), %rdi
callq 0xd460
leaq 0x90(%rsp), %rbx
movq %rbx, %rdi
callq 0x4e41e
movq %rbx, %rdi
callq 0x10c00
movq %r12, %rdi
movq 0x68(%rsp), %rbx
movq %rbx, %rsi
callq 0x11d4c
testl %eax, %eax
je 0xfd55
cmpb $0x1, 0x69f16(%rip)     # 0x79ac8
jne 0xfc17
leaq 0x4188d(%rip), %rdi     # 0x51448
movq %rbx, %rsi
xorl %eax, %eax
callq 0xd070
leaq 0x90(%rsp), %rdi
callq 0x4e458
leaq 0x414f9(%rip), %rdi     # 0x510d2
movb $0x1, %al
callq 0xd070
movl 0x14(%r12), %esi
leaq 0x4154d(%rip), %rdi     # 0x51139
xorl %eax, %eax
callq 0xd070
movq (%r12), %rax
movl 0x14(%rax), %esi
leaq 0x41508(%rip), %rdi     # 0x51109
xorl %eax, %eax
callq 0xd070
movq 0x69389(%rip), %rax     # 0x78f98
movq (%rax), %rdi
callq 0xd460
cmpb $0x1, 0x69eae(%rip)     # 0x79acc
jne 0xfd27
movq %r12, %rbx
pushq $0xa
popq %rdi
callq 0xd520
leaq 0x41581(%rip), %r15     # 0x511b7
leaq 0x4158d(%rip), %r12     # 0x511ca
leaq 0x41597(%rip), %r13     # 0x511db
xorl %ebp, %ebp
movslq 0x14(%rbx), %rax
cmpq %rax, %rbp
jge 0xfd27
movq 0x8(%rbx), %rax
movq (%rax,%rbp,8), %r14
leaq 0x8(%r14), %rdx
leaq 0x414e8(%rip), %rdi     # 0x5114e
movl %ebp, %esi
xorl %eax, %eax
callq 0xd070
movq %r14, %rdi
callq 0x12b8c
leaq 0x414e2(%rip), %rdi     # 0x51160
movb $0x1, %al
callq 0xd070
movq %r14, %rdi
callq 0x12c0c
leaq 0x414de(%rip), %rdi     # 0x51172
movb $0x1, %al
callq 0xd070
movq %r14, %rdi
callq 0x13000
leaq 0x414da(%rip), %rdi     # 0x51184
movb $0x1, %al
callq 0xd070
movq %r14, %rdi
callq 0x12afe
leaq 0x414d5(%rip), %rdi     # 0x51195
movb $0x1, %al
callq 0xd070
movq %r14, %rdi
callq 0x13030
leaq 0x414ce(%rip), %rdi     # 0x511a4
movl %eax, %esi
xorl %eax, %eax
callq 0xd070
movq %r14, %rdi
callq 0x1305e
movq %r15, %rdi
movl %eax, %esi
xorl %eax, %eax
callq 0xd070
movq %r14, %rdi
callq 0x130d6
movq %r12, %rdi
movb $0x1, %al
callq 0xd070
movq %r14, %rdi
callq 0x13134
movq %r13, %rdi
movb $0x1, %al
callq 0xd070
pushq $0xa
popq %rdi
callq 0xd520
incq %rbp
jmp 0xfc46
xorl %eax, %eax
addq $0x1098, %rsp           # imm = 0x1098
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x41722(%rip), %rdi     # 0x51464
callq 0xd5b0
jmp 0xfd88
leaq 0x4134e(%rip), %rdi     # 0x5109e
movq %r12, %rsi
jmp 0xfd81
leaq 0x416ca(%rip), %rdi     # 0x51426
movq %rbx, %rsi
jmp 0xfd81
leaq 0x41696(%rip), %rdi     # 0x513fe
movq %rbx, %rsi
xorl %eax, %eax
callq 0x50826
callq 0xd220
leaq 0x414b0(%rip), %rdi     # 0x5122e
movq %r14, %rsi
xorl %eax, %eax
callq 0x50826
pushq $-0x1
popq %rdi
callq 0xd490
jmp 0xfdc8
jmp 0xfdc8
jmp 0xfdeb
jmp 0xfdc8
movq %rax, %r15
movl $0x138, %esi            # imm = 0x138
movq %r14, %rdi
callq 0xd3b0
jmp 0xfdf8
jmp 0xfdeb
jmp 0xfdeb
jmp 0xfdc8
jmp 0xfdc8
movq %rax, %r15
movl $0x448, %esi            # imm = 0x448
movq %r12, %rdi
callq 0xd3b0
jmp 0xfdcb
jmp 0xfdc8
jmp 0xfdc8
movq %rax, %r15
leaq 0x90(%rsp), %rdi
jmp 0xfdf3
jmp 0xfdeb
jmp 0xfdeb
movq %rax, %r15
movl $0x448, %esi            # imm = 0x448
movq %rbx, %rdi
callq 0xd3b0
jmp 0xfdee
movq %rax, %r15
leaq 0x20(%rsp), %rdi
callq 0x4e9d4
movq %r15, %rdi
callq 0xd680