// File: eryxcc[P]lois/tests/autotest.cpp
// Function: testTree(lois::lsetof<lois::term> const&)
void testTree(const lsetof<term>& A) {
  
  RelTree tree(sym.arrow, sym.notarrow, sym.min);
  
  lsetof<term> At(A);

  for(term x: At) for(term y: At) for(term z: At) for(term w: At) {
    x.asVar()->name = "X";
    y.asVar()->name = "Y";
    z.asVar()->name = "Z";
    w.asVar()->name = "W";
    vector<term> v;
    v.push_back(x);
    v.push_back(y);
    v.push_back(z);
    v.push_back(w);
    
    countStructures(v, tree, A, ftrue, 416);
    countStructures(v, tree, A, x != y && x != z && x != w && y != z && y != w && z != w, 262);

    countStructures(v, tree, A, z==w, 32);
    countStructures(v, tree, A, x != y && x != z && y != z && z == w, 22);
    }
  }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x500, %rsp            # imm = 0x500
movq %rdi, -0x8(%rbp)
leaq 0x9b742(%rip), %rsi     # 0xa5968
addq $0x270, %rsi            # imm = 0x270
leaq -0x68(%rbp), %rdi
movq %rdi, -0x478(%rbp)
callq 0x11380
movq -0x478(%rbp), %rsi
leaq -0x50(%rbp), %rdi
callq 0x113d0
jmp 0xa24f
leaq 0x9b712(%rip), %rsi     # 0xa5968
addq $0x288, %rsi            # imm = 0x288
leaq -0xa0(%rbp), %rdi
movq %rdi, -0x480(%rbp)
callq 0x11380
movq -0x480(%rbp), %rsi
leaq -0x88(%rbp), %rdi
callq 0x113d0
jmp 0xa285
leaq 0x9b6dc(%rip), %rsi     # 0xa5968
addq $0x1c8, %rsi            # imm = 0x1C8
leaq -0xc8(%rbp), %rdi
movq %rdi, -0x488(%rbp)
callq 0x11380
movq -0x488(%rbp), %rsi
leaq -0xb0(%rbp), %rdi
callq 0x113d0
jmp 0xa2bb
leaq -0x40(%rbp), %rdi
leaq -0x50(%rbp), %rsi
leaq -0x88(%rbp), %rdx
leaq -0xb0(%rbp), %rcx
callq 0x11450
jmp 0xa2d8
leaq -0xb0(%rbp), %rdi
callq 0x114d0
leaq -0xc8(%rbp), %rdi
callq 0x114f0
leaq -0x88(%rbp), %rdi
callq 0x114d0
leaq -0xa0(%rbp), %rdi
callq 0x114f0
leaq -0x50(%rbp), %rdi
callq 0x114d0
leaq -0x68(%rbp), %rdi
callq 0x114f0
movq -0x8(%rbp), %rsi
leaq -0xf0(%rbp), %rdi
callq 0x11520
jmp 0xa32c
leaq -0xf0(%rbp), %rax
movq %rax, -0xf8(%rbp)
movq -0xf8(%rbp), %rsi
leaq -0x128(%rbp), %rdi
callq 0x116d0
jmp 0xa34f
movq -0xf8(%rbp), %rsi
leaq -0x158(%rbp), %rdi
callq 0x11700
jmp 0xa364
jmp 0xa366
leaq -0x128(%rbp), %rdi
leaq -0x158(%rbp), %rsi
callq 0x11730
movb %al, -0x489(%rbp)
jmp 0xa381
movb -0x489(%rbp), %al
testb $0x1, %al
jne 0xa479
jmp 0xa391
movl $0x2, -0x15c(%rbp)
leaq -0x158(%rbp), %rdi
callq 0x11910
leaq -0x128(%rbp), %rdi
callq 0x11910
jmp 0xb084
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
jmp 0xa427
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
jmp 0xa412
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
jmp 0xa3fa
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
leaq -0xb0(%rbp), %rdi
callq 0x114d0
leaq -0xc8(%rbp), %rdi
callq 0x114f0
leaq -0x88(%rbp), %rdi
callq 0x114d0
leaq -0xa0(%rbp), %rdi
callq 0x114f0
leaq -0x50(%rbp), %rdi
callq 0x114d0
leaq -0x68(%rbp), %rdi
callq 0x114f0
jmp 0xb0b7
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
jmp 0xb0ae
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
jmp 0xb0a2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
jmp 0xb076
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
jmp 0xb06a
leaq -0x128(%rbp), %rdi
callq 0x117e0
movq %rax, -0x498(%rbp)
jmp 0xa48e
movq -0x498(%rbp), %rsi
leaq -0x170(%rbp), %rdi
callq 0x11800
leaq -0xf0(%rbp), %rax
movq %rax, -0x178(%rbp)
movq -0x178(%rbp), %rsi
leaq -0x1a8(%rbp), %rdi
callq 0x116d0
jmp 0xa4c4
movq -0x178(%rbp), %rsi
leaq -0x1d8(%rbp), %rdi
callq 0x11700
jmp 0xa4d9
jmp 0xa4db
leaq -0x1a8(%rbp), %rdi
leaq -0x1d8(%rbp), %rsi
callq 0x11730
movb %al, -0x499(%rbp)
jmp 0xa4f6
movb -0x499(%rbp), %al
testb $0x1, %al
jne 0xa55c
jmp 0xa502
movl $0x4, -0x15c(%rbp)
leaq -0x1d8(%rbp), %rdi
callq 0x11910
leaq -0x1a8(%rbp), %rdi
callq 0x11910
jmp 0xb03f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
jmp 0xb05e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
jmp 0xb031
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
jmp 0xb025
leaq -0x1a8(%rbp), %rdi
callq 0x117e0
movq %rax, -0x4a8(%rbp)
jmp 0xa571
movq -0x4a8(%rbp), %rsi
leaq -0x1e8(%rbp), %rdi
callq 0x11800
leaq -0xf0(%rbp), %rax
movq %rax, -0x1f0(%rbp)
movq -0x1f0(%rbp), %rsi
leaq -0x220(%rbp), %rdi
callq 0x116d0
jmp 0xa5a7
movq -0x1f0(%rbp), %rsi
leaq -0x250(%rbp), %rdi
callq 0x11700
jmp 0xa5bc
jmp 0xa5be
leaq -0x220(%rbp), %rdi
leaq -0x250(%rbp), %rsi
callq 0x11730
movb %al, -0x4a9(%rbp)
jmp 0xa5d9
movb -0x4a9(%rbp), %al
testb $0x1, %al
jne 0xa63f
jmp 0xa5e5
movl $0x6, -0x15c(%rbp)
leaq -0x250(%rbp), %rdi
callq 0x11910
leaq -0x220(%rbp), %rdi
callq 0x11910
jmp 0xaffa
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
jmp 0xb019
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
jmp 0xafec
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
jmp 0xafe0
leaq -0x220(%rbp), %rdi
callq 0x117e0
movq %rax, -0x4b8(%rbp)
jmp 0xa654
movq -0x4b8(%rbp), %rsi
leaq -0x260(%rbp), %rdi
callq 0x11800
leaq -0xf0(%rbp), %rax
movq %rax, -0x268(%rbp)
movq -0x268(%rbp), %rsi
leaq -0x298(%rbp), %rdi
callq 0x116d0
jmp 0xa68a
movq -0x268(%rbp), %rsi
leaq -0x2c8(%rbp), %rdi
callq 0x11700
jmp 0xa69f
jmp 0xa6a1
leaq -0x298(%rbp), %rdi
leaq -0x2c8(%rbp), %rsi
callq 0x11730
movb %al, -0x4b9(%rbp)
jmp 0xa6bc
movb -0x4b9(%rbp), %al
testb $0x1, %al
jne 0xa722
jmp 0xa6c8
movl $0x8, -0x15c(%rbp)
leaq -0x2c8(%rbp), %rdi
callq 0x11910
leaq -0x298(%rbp), %rdi
callq 0x11910
jmp 0xafb5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
jmp 0xafd4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
jmp 0xafa7
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
jmp 0xaf9b
leaq -0x298(%rbp), %rdi
callq 0x117e0
movq %rax, -0x4c8(%rbp)
jmp 0xa737
movq -0x4c8(%rbp), %rsi
leaq -0x2d8(%rbp), %rdi
callq 0x11800
leaq -0x2e8(%rbp), %rdi
leaq -0x170(%rbp), %rsi
callq 0x42060
jmp 0xa75f
leaq -0x2e8(%rbp), %rdi
callq 0x11830
movq %rax, %rdi
addq $0x48, %rdi
leaq 0x6798e(%rip), %rsi     # 0x72107
callq 0x83c0
jmp 0xa780
leaq -0x2e8(%rbp), %rdi
callq 0x10f20
leaq -0x2f8(%rbp), %rdi
leaq -0x1e8(%rbp), %rsi
callq 0x42060
jmp 0xa7a1
leaq -0x2f8(%rbp), %rdi
callq 0x11830
movq %rax, %rdi
addq $0x48, %rdi
leaq 0x6794e(%rip), %rsi     # 0x72109
callq 0x83c0
jmp 0xa7c2
leaq -0x2f8(%rbp), %rdi
callq 0x10f20
leaq -0x308(%rbp), %rdi
leaq -0x260(%rbp), %rsi
callq 0x42060
jmp 0xa7e3
leaq -0x308(%rbp), %rdi
callq 0x11830
movq %rax, %rdi
addq $0x48, %rdi
leaq 0x6790e(%rip), %rsi     # 0x7210b
callq 0x83c0
jmp 0xa804
leaq -0x308(%rbp), %rdi
callq 0x10f20
leaq -0x318(%rbp), %rdi
leaq -0x2d8(%rbp), %rsi
callq 0x42060
jmp 0xa825
leaq -0x318(%rbp), %rdi
callq 0x11830
movq %rax, %rdi
addq $0x48, %rdi
leaq 0x678ce(%rip), %rsi     # 0x7210d
callq 0x83c0
jmp 0xa846
leaq -0x318(%rbp), %rdi
callq 0x10f20
leaq -0x330(%rbp), %rdi
movq %rdi, -0x4d0(%rbp)
callq 0x11850
movq -0x4d0(%rbp), %rdi
leaq -0x170(%rbp), %rsi
callq 0x112c0
jmp 0xa87a
leaq -0x330(%rbp), %rdi
leaq -0x1e8(%rbp), %rsi
callq 0x112c0
jmp 0xa88f
leaq -0x330(%rbp), %rdi
leaq -0x260(%rbp), %rsi
callq 0x112c0
jmp 0xa8a4
leaq -0x330(%rbp), %rdi
leaq -0x2d8(%rbp), %rsi
callq 0x112c0
jmp 0xa8b9
movq -0x8(%rbp), %rax
movq %rax, -0x4e0(%rbp)
leaq 0x9af65(%rip), %rsi     # 0xa5830
leaq -0x340(%rbp), %rdi
movq %rdi, -0x4d8(%rbp)
callq 0x11030
movq -0x4e0(%rbp), %rdx
movq -0x4d8(%rbp), %rcx
leaq -0x330(%rbp), %rdi
leaq -0x40(%rbp), %rsi
movl $0x1a0, %r8d            # imm = 0x1A0
callq 0x9e80
jmp 0xa904
leaq -0x340(%rbp), %rdi
callq 0x11060
movq -0x8(%rbp), %rax
movq %rax, -0x4e8(%rbp)
leaq -0x3a0(%rbp), %rdi
leaq -0x170(%rbp), %rsi
leaq -0x1e8(%rbp), %rdx
callq 0x433b0
jmp 0xa937
leaq -0x3b0(%rbp), %rdi
leaq -0x170(%rbp), %rsi
leaq -0x260(%rbp), %rdx
callq 0x433b0
jmp 0xa953
leaq -0x390(%rbp), %rdi
leaq -0x3a0(%rbp), %rsi
leaq -0x3b0(%rbp), %rdx
callq 0x42150
jmp 0xa96f
leaq -0x3c0(%rbp), %rdi
leaq -0x170(%rbp), %rsi
leaq -0x2d8(%rbp), %rdx
callq 0x433b0
jmp 0xa98b
leaq -0x380(%rbp), %rdi
leaq -0x390(%rbp), %rsi
leaq -0x3c0(%rbp), %rdx
callq 0x42150
jmp 0xa9a7
leaq -0x3d0(%rbp), %rdi
leaq -0x1e8(%rbp), %rsi
leaq -0x260(%rbp), %rdx
callq 0x433b0
jmp 0xa9c3
leaq -0x370(%rbp), %rdi
leaq -0x380(%rbp), %rsi
leaq -0x3d0(%rbp), %rdx
callq 0x42150
jmp 0xa9df
leaq -0x3e0(%rbp), %rdi
leaq -0x1e8(%rbp), %rsi
leaq -0x2d8(%rbp), %rdx
callq 0x433b0
jmp 0xa9fb
leaq -0x360(%rbp), %rdi
leaq -0x370(%rbp), %rsi
leaq -0x3e0(%rbp), %rdx
callq 0x42150
jmp 0xaa17
leaq -0x3f0(%rbp), %rdi
leaq -0x260(%rbp), %rsi
leaq -0x2d8(%rbp), %rdx
callq 0x433b0
jmp 0xaa33
leaq -0x350(%rbp), %rdi
leaq -0x360(%rbp), %rsi
leaq -0x3f0(%rbp), %rdx
callq 0x42150
jmp 0xaa4f
movq -0x4e8(%rbp), %rdx
leaq -0x330(%rbp), %rdi
leaq -0x40(%rbp), %rsi
leaq -0x350(%rbp), %rcx
movl $0x106, %r8d            # imm = 0x106
callq 0x9e80
jmp 0xaa75
leaq -0x350(%rbp), %rdi
callq 0x11060
leaq -0x3f0(%rbp), %rdi
callq 0x11060
leaq -0x360(%rbp), %rdi
callq 0x11060
leaq -0x3e0(%rbp), %rdi
callq 0x11060
leaq -0x370(%rbp), %rdi
callq 0x11060
leaq -0x3d0(%rbp), %rdi
callq 0x11060
leaq -0x380(%rbp), %rdi
callq 0x11060
leaq -0x3c0(%rbp), %rdi
callq 0x11060
leaq -0x390(%rbp), %rdi
callq 0x11060
leaq -0x3b0(%rbp), %rdi
callq 0x11060
leaq -0x3a0(%rbp), %rdi
callq 0x11060
movq -0x8(%rbp), %rax
movq %rax, -0x4f0(%rbp)
leaq -0x400(%rbp), %rdi
leaq -0x260(%rbp), %rsi
leaq -0x2d8(%rbp), %rdx
callq 0x43290
jmp 0xab20
movq -0x4f0(%rbp), %rdx
leaq -0x330(%rbp), %rdi
leaq -0x40(%rbp), %rsi
leaq -0x400(%rbp), %rcx
movl $0x20, %r8d
callq 0x9e80
jmp 0xab46
leaq -0x400(%rbp), %rdi
callq 0x11060
movq -0x8(%rbp), %rax
movq %rax, -0x4f8(%rbp)
leaq -0x440(%rbp), %rdi
leaq -0x170(%rbp), %rsi
leaq -0x1e8(%rbp), %rdx
callq 0x433b0
jmp 0xab79
leaq -0x450(%rbp), %rdi
leaq -0x170(%rbp), %rsi
leaq -0x260(%rbp), %rdx
callq 0x433b0
jmp 0xab95
leaq -0x430(%rbp), %rdi
leaq -0x440(%rbp), %rsi
leaq -0x450(%rbp), %rdx
callq 0x42150
jmp 0xabb1
leaq -0x460(%rbp), %rdi
leaq -0x1e8(%rbp), %rsi
leaq -0x260(%rbp), %rdx
callq 0x433b0
jmp 0xabcd
leaq -0x420(%rbp), %rdi
leaq -0x430(%rbp), %rsi
leaq -0x460(%rbp), %rdx
callq 0x42150
jmp 0xabe9
leaq -0x470(%rbp), %rdi
leaq -0x260(%rbp), %rsi
leaq -0x2d8(%rbp), %rdx
callq 0x43290
jmp 0xac05
leaq -0x410(%rbp), %rdi
leaq -0x420(%rbp), %rsi
leaq -0x470(%rbp), %rdx
callq 0x42150
jmp 0xac21
movq -0x4f8(%rbp), %rdx
leaq -0x330(%rbp), %rdi
leaq -0x40(%rbp), %rsi
leaq -0x410(%rbp), %rcx
movl $0x16, %r8d
callq 0x9e80
jmp 0xac47
leaq -0x410(%rbp), %rdi
callq 0x11060
leaq -0x470(%rbp), %rdi
callq 0x11060
leaq -0x420(%rbp), %rdi
callq 0x11060
leaq -0x460(%rbp), %rdi
callq 0x11060
leaq -0x430(%rbp), %rdi
callq 0x11060
leaq -0x450(%rbp), %rdi
callq 0x11060
leaq -0x440(%rbp), %rdi
callq 0x11060
leaq -0x330(%rbp), %rdi
callq 0x11870
leaq -0x2d8(%rbp), %rdi
callq 0x11360
leaq -0x298(%rbp), %rdi
callq 0x118d0
jmp 0xacc1
jmp 0xa6a1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
jmp 0xaf8f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
leaq -0x2e8(%rbp), %rdi
callq 0x10f20
jmp 0xaf8f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
leaq -0x2f8(%rbp), %rdi
callq 0x10f20
jmp 0xaf8f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
leaq -0x308(%rbp), %rdi
callq 0x10f20
jmp 0xaf8f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
leaq -0x318(%rbp), %rdi
callq 0x10f20
jmp 0xaf8f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
jmp 0xaf83
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
leaq -0x340(%rbp), %rdi
callq 0x11060
jmp 0xaf83
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
jmp 0xae9b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
jmp 0xae8f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
jmp 0xae83
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
jmp 0xae77
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
jmp 0xae6b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
jmp 0xae5f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
jmp 0xae53
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
jmp 0xae47
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
jmp 0xae3b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
jmp 0xae2f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
leaq -0x350(%rbp), %rdi
callq 0x11060
leaq -0x3f0(%rbp), %rdi
callq 0x11060
leaq -0x360(%rbp), %rdi
callq 0x11060
leaq -0x3e0(%rbp), %rdi
callq 0x11060
leaq -0x370(%rbp), %rdi
callq 0x11060
leaq -0x3d0(%rbp), %rdi
callq 0x11060
leaq -0x380(%rbp), %rdi
callq 0x11060
leaq -0x3c0(%rbp), %rdi
callq 0x11060
leaq -0x390(%rbp), %rdi
callq 0x11060
leaq -0x3b0(%rbp), %rdi
callq 0x11060
leaq -0x3a0(%rbp), %rdi
callq 0x11060
jmp 0xaf83
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
leaq -0x400(%rbp), %rdi
callq 0x11060
jmp 0xaf83
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
jmp 0xaf77
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
jmp 0xaf6b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
jmp 0xaf5f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
jmp 0xaf53
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
jmp 0xaf47
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
jmp 0xaf3b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
leaq -0x410(%rbp), %rdi
callq 0x11060
leaq -0x470(%rbp), %rdi
callq 0x11060
leaq -0x420(%rbp), %rdi
callq 0x11060
leaq -0x460(%rbp), %rdi
callq 0x11060
leaq -0x430(%rbp), %rdi
callq 0x11060
leaq -0x450(%rbp), %rdi
callq 0x11060
leaq -0x440(%rbp), %rdi
callq 0x11060
leaq -0x330(%rbp), %rdi
callq 0x11870
leaq -0x2d8(%rbp), %rdi
callq 0x11360
leaq -0x2c8(%rbp), %rdi
callq 0x11910
leaq -0x298(%rbp), %rdi
callq 0x11910
jmp 0xafd4
leaq -0x260(%rbp), %rdi
callq 0x11360
leaq -0x220(%rbp), %rdi
callq 0x118d0
jmp 0xafcf
jmp 0xa5be
leaq -0x260(%rbp), %rdi
callq 0x11360
leaq -0x250(%rbp), %rdi
callq 0x11910
leaq -0x220(%rbp), %rdi
callq 0x11910
jmp 0xb019
leaq -0x1e8(%rbp), %rdi
callq 0x11360
leaq -0x1a8(%rbp), %rdi
callq 0x118d0
jmp 0xb014
jmp 0xa4db
leaq -0x1e8(%rbp), %rdi
callq 0x11360
leaq -0x1d8(%rbp), %rdi
callq 0x11910
leaq -0x1a8(%rbp), %rdi
callq 0x11910
jmp 0xb05e
leaq -0x170(%rbp), %rdi
callq 0x11360
leaq -0x128(%rbp), %rdi
callq 0x118d0
jmp 0xb059
jmp 0xa366
leaq -0x170(%rbp), %rdi
callq 0x11360
leaq -0x158(%rbp), %rdi
callq 0x11910
leaq -0x128(%rbp), %rdi
callq 0x11910
jmp 0xb0a2
leaq -0xf0(%rbp), %rdi
callq 0x11960
leaq -0x40(%rbp), %rdi
callq 0x11990
addq $0x500, %rsp            # imm = 0x500
popq %rbp
retq
leaq -0xf0(%rbp), %rdi
callq 0x11960
leaq -0x40(%rbp), %rdi
callq 0x11990
movq -0x70(%rbp), %rdi
callq 0x84d0