// File: cegme[P]vose/test.cc
// Function: test::test4()
bool test::test4() {

  VoseTree tree;
  tree.set_max_marbles(4);
  tree.set_max_bags(5);

  std::cerr << tree.toString();
  for(size_t i = 0; i != 10; ++i) {
    tree.add("red", 5L);
    std::cerr << tree.toString();
    tree.add("blue", 10L);
    std::cerr << tree.toString();
    tree.add("yellow", 20L);
    std::cerr << tree.toString();
  }

  return true;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x1b0, %rsp            # imm = 0x1B0
movq %rdi, -0x8(%rbp)
leaq -0x78(%rbp), %rdi
movq %rdi, -0x190(%rbp)
callq 0x18660
movq -0x190(%rbp), %rdi
movl $0x4, %esi
callq 0x186f0
jmp 0x16ce2
leaq -0x78(%rbp), %rdi
movl $0x5, %esi
callq 0x18750
jmp 0x16cf2
leaq -0xa8(%rbp), %rdi
leaq -0x78(%rbp), %rsi
callq 0x3080
jmp 0x16d04
movq 0x142e5(%rip), %rdi     # 0x2aff0
leaq -0xa8(%rbp), %rsi
callq 0x21e0
jmp 0x16d19
leaq -0xa8(%rbp), %rdi
callq 0x2140
movq $0x0, -0xb0(%rbp)
cmpq $0xa, -0xb0(%rbp)
je 0x1704a
leaq -0xd1(%rbp), %rdi
movq %rdi, -0x198(%rbp)
callq 0x2300
movq -0x198(%rbp), %rdx
leaq 0x557a(%rip), %rsi      # 0x1c2d9
leaq -0xd0(%rbp), %rdi
callq 0x2270
jmp 0x16d6d
leaq -0x78(%rbp), %rdi
leaq -0xd0(%rbp), %rsi
movl $0x5, %edx
callq 0x24f0
jmp 0x16d84
leaq -0xd0(%rbp), %rdi
callq 0x2140
leaq -0xd1(%rbp), %rdi
callq 0x2240
leaq -0xf8(%rbp), %rdi
leaq -0x78(%rbp), %rsi
callq 0x3080
jmp 0x16dae
movq 0x1423b(%rip), %rdi     # 0x2aff0
leaq -0xf8(%rbp), %rsi
callq 0x21e0
jmp 0x16dc3
leaq -0xf8(%rbp), %rdi
callq 0x2140
leaq -0x119(%rbp), %rdi
movq %rdi, -0x1a0(%rbp)
callq 0x2300
movq -0x1a0(%rbp), %rdx
leaq 0x56c0(%rip), %rsi      # 0x1c4b0
leaq -0x118(%rbp), %rdi
callq 0x2270
jmp 0x16dfe
leaq -0x78(%rbp), %rdi
leaq -0x118(%rbp), %rsi
movl $0xa, %edx
callq 0x24f0
jmp 0x16e15
leaq -0x118(%rbp), %rdi
callq 0x2140
leaq -0x119(%rbp), %rdi
callq 0x2240
leaq -0x140(%rbp), %rdi
leaq -0x78(%rbp), %rsi
callq 0x3080
jmp 0x16e3f
movq 0x141aa(%rip), %rdi     # 0x2aff0
leaq -0x140(%rbp), %rsi
callq 0x21e0
jmp 0x16e54
leaq -0x140(%rbp), %rdi
callq 0x2140
leaq -0x161(%rbp), %rdi
movq %rdi, -0x1a8(%rbp)
callq 0x2300
movq -0x1a8(%rbp), %rdx
leaq 0x54b0(%rip), %rsi      # 0x1c331
leaq -0x160(%rbp), %rdi
callq 0x2270
jmp 0x16e8f
leaq -0x78(%rbp), %rdi
leaq -0x160(%rbp), %rsi
movl $0x14, %edx
callq 0x24f0
jmp 0x16ea6
leaq -0x160(%rbp), %rdi
callq 0x2140
leaq -0x161(%rbp), %rdi
callq 0x2240
leaq -0x188(%rbp), %rdi
leaq -0x78(%rbp), %rsi
callq 0x3080
jmp 0x16ed0
movq 0x14119(%rip), %rdi     # 0x2aff0
leaq -0x188(%rbp), %rsi
callq 0x21e0
jmp 0x16ee5
leaq -0x188(%rbp), %rdi
callq 0x2140
movq -0xb0(%rbp), %rax
addq $0x1, %rax
movq %rax, -0xb0(%rbp)
jmp 0x16d30
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x80(%rbp)
movl %eax, -0x84(%rbp)
jmp 0x17060
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x80(%rbp)
movl %eax, -0x84(%rbp)
leaq -0xa8(%rbp), %rdi
callq 0x2140
jmp 0x17060
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x80(%rbp)
movl %eax, -0x84(%rbp)
jmp 0x16f68
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x80(%rbp)
movl %eax, -0x84(%rbp)
leaq -0xd0(%rbp), %rdi
callq 0x2140
leaq -0xd1(%rbp), %rdi
callq 0x2240
jmp 0x17060
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x80(%rbp)
movl %eax, -0x84(%rbp)
leaq -0xf8(%rbp), %rdi
callq 0x2140
jmp 0x17060
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x80(%rbp)
movl %eax, -0x84(%rbp)
jmp 0x16fc5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x80(%rbp)
movl %eax, -0x84(%rbp)
leaq -0x118(%rbp), %rdi
callq 0x2140
leaq -0x119(%rbp), %rdi
callq 0x2240
jmp 0x17060
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x80(%rbp)
movl %eax, -0x84(%rbp)
leaq -0x140(%rbp), %rdi
callq 0x2140
jmp 0x17060
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x80(%rbp)
movl %eax, -0x84(%rbp)
jmp 0x1701f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x80(%rbp)
movl %eax, -0x84(%rbp)
leaq -0x160(%rbp), %rdi
callq 0x2140
leaq -0x161(%rbp), %rdi
callq 0x2240
jmp 0x17060
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x80(%rbp)
movl %eax, -0x84(%rbp)
leaq -0x188(%rbp), %rdi
callq 0x2140
jmp 0x17060
leaq -0x78(%rbp), %rdi
callq 0x18710
movb $0x1, %al
andb $0x1, %al
addq $0x1b0, %rsp            # imm = 0x1B0
popq %rbp
retq
leaq -0x78(%rbp), %rdi
callq 0x18710
movq -0x80(%rbp), %rdi
callq 0x22f0
nopw %cs:(%rax,%rax)