LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_cpp_makefile_star2_O3/tewalds[P]morat/y/lbdist.h
// Function: Morat::Y::LBDists::init_player(bool, Morat::Side)
void init_player(bool crossvcs, Side player){
		int m = board->lines();
		int m1 = m-1;

		for(int x = 0; x < m; x++) { init(x,    0, 0,  player, 3); } flood(0,  player, crossvcs); //edge 0
		for(int y = 0; y < m; y++) { init(0,    y, 1,  player, 1); } flood(1,  player, crossvcs); //edge 1
		for(int y = 0; y < m; y++) { init(m1-y, y, 2,  player, 5); } flood(2,  player, crossvcs); //edge 2
	}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
movq 0xafe0(%rdi), %rax
movzbl %dl, %ebp
movzbl %sil, %r14d
movq %rdi, %rbx
movsbl (%rax), %r15d
testl %r15d, %r15d
jle 0x186a1
xorl %r12d, %r12d
movl $0x3, %r9d
movq %rbx, %rdi
movl %r12d, %esi
xorl %edx, %edx
xorl %ecx, %ecx
movl %ebp, %r8d
callq 0x186dc
incl %r12d
cmpl %r12d, %r15d
jne 0x18603
xorl %r12d, %r12d
movq %rbx, %rdi
xorl %esi, %esi
movl %ebp, %edx
movl %r14d, %ecx
callq 0x18796
testb %r15b, %r15b
jle 0x186b0
movl $0x1, %ecx
movl $0x1, %r9d
movq %rbx, %rdi
xorl %esi, %esi
movl %r12d, %edx
movl %ebp, %r8d
callq 0x186dc
incl %r12d
cmpl %r12d, %r15d
jne 0x1863a
movl $0x1, %esi
movq %rbx, %rdi
movl %ebp, %edx
movl %r14d, %ecx
callq 0x18796
testb %r15b, %r15b
jle 0x186c2
decl %r15d
xorl %r12d, %r12d
movl $0x2, %ecx
movl $0x5, %r9d
movq %rbx, %rdi
movl %r15d, %esi
movl %r12d, %edx
movl %ebp, %r8d
callq 0x186dc
incl %r12d
addl $-0x1, %r15d
jb 0x1867a
jmp 0x186c2
movq %rbx, %rdi
xorl %esi, %esi
movl %ebp, %edx
movl %r14d, %ecx
callq 0x18796
movl $0x1, %esi
movq %rbx, %rdi
movl %ebp, %edx
movl %r14d, %ecx
callq 0x18796
movq %rbx, %rdi
movl $0x2, %esi
movl %ebp, %edx
movl %r14d, %ecx
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
jmp 0x18796
// File: /workspace/github_cpp_makefile_star2_O3/sirak92[P]TradeMatchingEngine/src/TradeMatchingEngine.cpp
// Function: dumpOrder(Order*)
void dumpOrder(Order* order)
{
	std::cout << "\nOrder:"
		<< "\nTradeId = " << order->m_traderId
		<< "\nisBuy = " << order->m_isBuy
		<< "\nQuantity = " << order->m_quantity
		<< "\nPrice = " << order->m_price << std::endl;
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq 0x4bc2(%rip), %r14      # 0x6fd0
leaq 0x1bef(%rip), %rsi      # 0x4004
movl $0x7, %edx
movq %r14, %rdi
callq 0x2170
leaq 0x1be3(%rip), %rsi      # 0x400c
movl $0xb, %edx
movq %r14, %rdi
callq 0x2170
movq (%rbx), %rsi
movq 0x8(%rbx), %rdx
movq %r14, %rdi
callq 0x2170
movq %rax, %r14
leaq 0x1bc9(%rip), %rsi      # 0x4018
movl $0x9, %edx
movq %rax, %rdi
callq 0x2170
movzbl 0x20(%rbx), %esi
movq %r14, %rdi
callq 0x21f0
movq %rax, %r14
leaq 0x1bb0(%rip), %rsi      # 0x4022
movl $0xc, %edx
movq %rax, %rdi
callq 0x2170
movq 0x28(%rbx), %rsi
movq %r14, %rdi
callq 0x20c0
movq %rax, %r14
leaq 0x1b9a(%rip), %rsi      # 0x402f
movl $0x9, %edx
movq %rax, %rdi
callq 0x2170
movq 0x30(%rbx), %rsi
movq %r14, %rdi
callq 0x20c0
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x2130
movsbl %al, %esi
movq %rbx, %rdi
callq 0x2030
movq %rax, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0x20d0
nop
// File: /workspace/github_cpp_makefile_star2_O3/sirak92[P]TradeMatchingEngine/src/TradeMatchingEngine.cpp
// Function: TradeMatchingEngine::start()
void TradeMatchingEngine::start()
{
	std::cout << "Trade Matching Engine started....\n";

	Order *order = getOrder();

	while (order) {
		processOrder(order);

		// get next order
		order = getOrder();
	}
}

// Assembly:
pushq %rbx
movq %rdi, %rbx
movq 0x4a41(%rip), %rdi      # 0x6fd0
leaq 0x1aa3(%rip), %rsi      # 0x4039
movl $0x22, %edx
callq 0x2170
callq 0x25b8
movq %rbx, %rdi
movq %rax, %rsi
callq 0x2610
callq 0x25b8
jmp 0x25a5
nop
// File: /workspace/github_cpp_makefile_star2_O3/sirak92[P]TradeMatchingEngine/src/TradeMatchingEngine.cpp
// Function: TradeMatchingEngine::getOrder()
Order* TradeMatchingEngine::getOrder()
{
	Order *ord = new Order();

	std::cout << "\nInput request <Trader Identifier> <Side> <Quantity> <Price>: \n";
	std::cin >> *ord;
	
	return ord;
}

// Assembly:
pushq %rbx
movl $0x38, %edi
callq 0x2140
movq %rax, %rbx
addq $0x10, %rax
movq %rax, (%rbx)
movq $0x0, 0x8(%rbx)
xorl %eax, %eax
movb %al, 0x10(%rbx)
movb %al, 0x20(%rbx)
xorps %xmm0, %xmm0
movups %xmm0, 0x28(%rbx)
movq 0x49e5(%rip), %rdi      # 0x6fd0
leaq 0x1a6a(%rip), %rsi      # 0x405c
movl $0x3f, %edx
callq 0x2170
movq 0x49dd(%rip), %rdi      # 0x6fe0
movq %rbx, %rsi
callq 0x3dc9
movq %rbx, %rax
popq %rbx
retq
// File: /workspace/github_cpp_makefile_star2_O3/sirak92[P]TradeMatchingEngine/src/TradeMatchingEngine.cpp
// Function: TradeMatchingEngine::processOrder(Order*)
void TradeMatchingEngine::processOrder(Order* o)
{
	m_orderBook->makeOrder(o);

	// for testing purposes only
	if (m_debug_enabled) {
		m_orderBook->dumpAsks();
		m_orderBook->dumpBids();
	}

	
}

// Assembly:
pushq %rbx
movq %rdi, %rbx
movq (%rdi), %rdi
callq 0x263c
cmpb $0x1, 0x8(%rbx)
jne 0x2633
movq (%rbx), %rdi
callq 0x29b6
movq (%rbx), %rdi
popq %rbx
jmp 0x29fe
popq %rbx
retq
nop
// File: /workspace/github_cpp_makefile_star2_O3/sirak92[P]TradeMatchingEngine/src/OrdersBook.cpp
// Function: OrdersBook::makeOrder(Order*)
void OrdersBook::makeOrder(Order *order)
{
	// starts from empty logs for each order
	m_tradeLogs.clear();

	// store the original quantity of item
	int origQnty = order->m_quantity;

	if (order->m_isBuy) {
		handleRequest<OrdersAskTable>(m_asks, order, origQnty);
	}
	else {
		handleRequest<OrdersBidTable>(m_bids, order, origQnty);
	}

	// requested quantity isn't satisfied then store the request as a resting order
	if (origQnty != 0) {
		// update quantity with the remain count
		order->m_quantity = origQnty;
		addOrder(order);
	}
	else {
		// release memory
		delete order;
	}

	// dump trade logs
	dumpTradeLogs();
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
addq $0x60, %rdi
callq 0x3400
movl 0x28(%r14), %eax
movl %eax, 0x4(%rsp)
cmpb $0x1, 0x20(%r14)
jne 0x2673
leaq 0x4(%rsp), %rcx
movq %rbx, %rdi
movq %rbx, %rsi
movq %r14, %rdx
callq 0x2a48
jmp 0x2687
leaq 0x30(%rbx), %rsi
leaq 0x4(%rsp), %rcx
movq %rbx, %rdi
movq %r14, %rdx
callq 0x2ca8
movslq 0x4(%rsp), %rax
testq %rax, %rax
je 0x26a2
movq %rax, 0x28(%r14)
movq %rbx, %rdi
movq %r14, %rsi
callq 0x26cc
jmp 0x26bb
movq (%r14), %rdi
leaq 0x10(%r14), %rax
cmpq %rax, %rdi
je 0x26b3
callq 0x2120
movq %r14, %rdi
callq 0x2120
movq %rbx, %rdi
callq 0x2724
addq $0x8, %rsp
popq %rbx
popq %r14
retq
nop
// File: /workspace/github_cpp_makefile_star2_O3/sirak92[P]TradeMatchingEngine/src/OrdersBook.cpp
// Function: OrdersBook::addOrder(Order*)
void OrdersBook::addOrder(Order *o)
{
	if (o->m_isBuy)
		m_bids[o->m_price].push_back(o);
	else
		m_asks[o->m_price].push_back(o);
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %rbx
cmpb $0x1, 0x20(%rsi)
jne 0x26ee
addq $0x30, %rdi
movl 0x30(%rbx), %eax
leaq 0x4(%rsp), %rsi
movl %eax, (%rsi)
callq 0x2f08
jmp 0x26fb
movl 0x30(%rbx), %eax
movq %rsp, %rsi
movl %eax, (%rsi)
callq 0x2f6e
movq %rax, %r14
movl $0x18, %edi
callq 0x2140
movq %rbx, 0x10(%rax)
movq %rax, %rdi
movq %r14, %rsi
callq 0x2050
incq 0x10(%r14)
addq $0x8, %rsp
popq %rbx
popq %r14
retq
nop
// File: /workspace/github_cpp_makefile_star2_O3/sirak92[P]TradeMatchingEngine/src/OrdersBook.cpp
// Function: OrdersBook::addTradeInfo(Order*, Order, int)
void OrdersBook::addTradeInfo(Order *origOrder, Order curOrder, int performedQnty)
{
	// store the first log
	curOrder.m_quantity = performedQnty;
	logOrder(curOrder);

	// update the quantity and price of original order and store it
	Order order = *origOrder;
	order.m_quantity = performedQnty;
	order.m_price = curOrder.m_price;
	logOrder(order);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xa8, %rsp
movq %rdx, %r14
movq %rsi, %r15
movq %rdi, %rbx
movslq %ecx, %rbp
movq %rbp, 0x28(%rdx)
leaq 0x80(%rsp), %r13
movq %r13, -0x10(%r13)
movq (%rdx), %rsi
movq 0x8(%rdx), %rdx
addq %rsi, %rdx
leaq 0x70(%rsp), %r12
movq %r12, %rdi
callq 0x336a
movq 0x30(%r14), %rax
movq %rax, 0x30(%r12)
movups 0x20(%r14), %xmm0
movups %xmm0, 0x20(%r12)
movq %rbx, %rdi
movq %r12, %rsi
callq 0x28e8
movq 0x70(%rsp), %rdi
cmpq %r13, %rdi
je 0x280e
callq 0x2120
leaq 0x48(%rsp), %r13
movq %r13, -0x10(%r13)
movq (%r15), %rsi
movq 0x8(%r15), %rdx
addq %rsi, %rdx
leaq 0x38(%rsp), %r12
movq %r12, %rdi
callq 0x336a
movq 0x20(%r15), %rax
movq %rax, 0x20(%r12)
movq %rbp, 0x28(%r12)
movq 0x30(%r14), %rax
movq %rax, 0x30(%r12)
leaq 0x10(%rsp), %r14
movq %r14, -0x10(%r14)
movq (%r12), %rsi
movq 0x8(%r12), %rdx
addq %rsi, %rdx
movq %rsp, %rdi
callq 0x336a
leaq 0x58(%rsp), %rax
movq 0x10(%rax), %rcx
movq %rsp, %rsi
movq %rcx, 0x30(%rsi)
movups (%rax), %xmm0
movups %xmm0, 0x20(%rsi)
movq %rbx, %rdi
callq 0x28e8
movq (%rsp), %rdi
cmpq %r14, %rdi
je 0x288f
callq 0x2120
movq 0x38(%rsp), %rdi
cmpq %r13, %rdi
je 0x289e
callq 0x2120
addq $0xa8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
movq (%rsp), %rdi
cmpq %r14, %rdi
je 0x28c6
callq 0x2120
jmp 0x28c6
movq %rax, %rbx
movq 0x38(%rsp), %rdi
jmp 0x28d5
movq %rax, %rbx
movq 0x70(%rsp), %rdi
cmpq %r13, %rdi
je 0x28df
callq 0x2120
movq %rbx, %rdi
callq 0x2210
nop
// File: /workspace/github_cpp_makefile_star2_O3/sirak92[P]TradeMatchingEngine/src/OrdersBook.cpp
// Function: OrdersBook::logOrder(Order)
void OrdersBook::logOrder(Order order)
{
	std::pair<OrdersLog::iterator, OrdersLog::iterator> range = m_tradeLogs.equal_range(order.m_traderId);

	for (auto iter = range.first; iter != range.second; iter++)
		if (iter->second == order) {
			iter->second += order;
			return;
		}
			
	m_tradeLogs.insert(std::pair < std::string, Order>(order.m_traderId, order));
}

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x60, %rsp
movq %rsi, %r14
movq %rdi, %rbx
addq $0x60, %rbx
movq %rbx, %rdi
callq 0x3990
cmpq %rdx, %rax
je 0x2936
movq %rax, %r12
movq %rdx, %r15
leaq 0x40(%r12), %r13
movq %r13, %rdi
movq %r14, %rsi
callq 0x3c98
testb %al, %al
jne 0x2988
movq %r12, %rdi
callq 0x20e0
movq %rax, %r12
cmpq %r15, %rax
jne 0x2912
leaq 0x8(%rsp), %r15
movq %r15, %rdi
movq %r14, %rsi
movq %r14, %rdx
callq 0x2fd4
movq %rbx, %rdi
movq %r15, %rsi
callq 0x3ace
leaq 0x38(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x2967
callq 0x2120
leaq 0x18(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x297a
callq 0x2120
addq $0x60, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
movq %r13, %rdi
movq %r14, %rsi
addq $0x60, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
jmp 0x3d32
movq %rax, %rbx
leaq 0x8(%rsp), %rdi
callq 0x3042
movq %rbx, %rdi
callq 0x2210
nop
// File: /workspace/github_cpp_makefile_star2_O3/sirak92[P]TradeMatchingEngine/src/Order.cpp
// Function: operator>>(std::istream&, Order&)
std::istream& operator >> (std::istream &in, Order &order)
{
	char side;
	in >> order.m_traderId >> side >> order.m_quantity >> order.m_price;
	if (toupper(side) == 'B')
		order.m_isBuy = true;

	return in;
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x10, %rsp
movq %rsi, %r14
movq %rdi, %rbx
callq 0x2190
leaq 0xf(%rsp), %r15
movq %rax, %rdi
movq %r15, %rsi
callq 0x21a0
leaq 0x28(%r14), %rsi
movq %rax, %rdi
callq 0x20a0
leaq 0x30(%r14), %rsi
movq %rax, %rdi
callq 0x20a0
movsbl (%r15), %edi
callq 0x2230
cmpl $0x42, %eax
jne 0x3e18
movb $0x1, 0x20(%r14)
movq %rbx, %rax
addq $0x10, %rsp
popq %rbx
popq %r14
popq %r15
retq
// File: /workspace/github_cpp_makefile_star2_O3/redpony[P]cpyp/crp_test.cc
// Function: llh(cpyp::crp<int, std::hash<int>> const&, double const*)
double llh(const cpyp::crp<int>& crp, const double* pp0) {
  double l = crp.log_likelihood();
  for (int i = 0; i < 3; ++i)
    l += crp.num_tables(i) * log(pp0[i]);
  return l;
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x20, %rsp
movq %rsi, %rbx
movq %rdi, %r14
leaq 0x40(%rdi), %rsi
leaq 0x48(%rdi), %rdx
callq 0x5d34
addq $0x8, %r14
leaq 0xc(%rsp), %r15
movl $0x0, (%r15)
movsd %xmm0, 0x18(%rsp)
movq %r14, %rdi
movq %r15, %rsi
callq 0x648c
testq %rax, %rax
je 0x2500
movl 0x14(%rax), %eax
xorps %xmm0, %xmm0
cvtsi2sd %rax, %xmm0
jmp 0x2504
xorpd %xmm0, %xmm0
movsd %xmm0, 0x10(%rsp)
movslq 0xc(%rsp), %rax
movsd (%rbx,%rax,8), %xmm0
callq 0x2150
mulsd 0x10(%rsp), %xmm0
movsd 0x18(%rsp), %xmm1
addsd %xmm0, %xmm1
movapd %xmm1, %xmm0
movl 0xc(%rsp), %eax
leal 0x1(%rax), %ecx
movl %ecx, 0xc(%rsp)
cmpl $0x2, %eax
jl 0x24dd
addq $0x20, %rsp
popq %rbx
popq %r14
popq %r15
retq
// File: /workspace/github_cpp_makefile_star2_O3/redpony[P]cpyp/./cpyp/crp.h
// Function: int cpyp::crp<int, std::hash<int>>::decrement<cpyp::MT19937>(int const&, cpyp::MT19937&, double*)
int decrement(const Dish& dish, Engine& eng, double* logq = nullptr) {
    crp_table_manager<1>& loc = dish_locs_[dish];
    assert(loc.num_customers());
    if (loc.num_customers() == 1) {
      update_llh_remove_customer_from_table_seating(1);
      dish_locs_.erase(dish);
      --num_tables_;
      --num_customers_;
      // q = 1 since this is the first customer
      return -1;
    } else {
      unsigned selected_table_postcount = 0;
      int delta = loc.remove_customer(eng, &selected_table_postcount).second;
      update_llh_remove_customer_from_table_seating(
          selected_table_postcount + 1);
      --num_customers_;
      if (delta) {
        --num_tables_;
      }

      if (logq) {
        double p_empty = (strength_ + num_tables_ * discount_);
        double p_share = (loc.num_customers() - loc.num_tables() * discount_);
        const double z = p_empty + p_share;
        p_empty /= z;
        p_share /= z;
        if (selected_table_postcount) {
          *logq += log(p_share * (selected_table_postcount - discount_) /
                     (loc.num_customers() - loc.num_tables() * discount_));
        } else {
          *logq += log(p_empty);
        }
      }
      return delta;
    }
  }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rcx, %rbx
movq %rdx, %r14
movq %rsi, %r13
movq %rdi, %r15
leaq 0x8(%rdi), %rbp
movq %rbp, %rdi
callq 0x68fa
movq %rax, %r12
movl (%rax), %eax
cmpl $0x1, %eax
je 0x4dfb
testl %eax, %eax
je 0x4e50
leaq 0x4(%rsp), %r13
movl $0x0, (%r13)
movq %r12, %rdi
movq %r14, %rsi
movq %r13, %rdx
callq 0x67d0
movq %rax, %r14
shrq $0x20, %r14
movl (%r13), %esi
incl %esi
movq %r15, %rdi
callq 0x672e
decl 0x4(%r15)
testq %r14, %r14
je 0x4d8f
decl (%r15)
testq %rbx, %rbx
je 0x4e3e
movl (%r15), %eax
cvtsi2sd %rax, %xmm0
movsd 0x40(%r15), %xmm1
mulsd %xmm1, %xmm0
addsd 0x48(%r15), %xmm0
movl (%r12), %eax
movl 0x4(%r12), %ecx
cvtsi2sd %rax, %xmm2
cvtsi2sd %rcx, %xmm3
mulsd %xmm1, %xmm3
subsd %xmm3, %xmm2
movapd %xmm0, %xmm3
addsd %xmm2, %xmm3
movl 0x4(%rsp), %eax
testl %eax, %eax
je 0x4e2d
movapd %xmm2, %xmm4
movl %eax, %eax
xorps %xmm0, %xmm0
cvtsi2sd %rax, %xmm0
divsd %xmm3, %xmm4
subsd %xmm1, %xmm0
mulsd %xmm4, %xmm0
divsd %xmm2, %xmm0
jmp 0x4e31
movq %r15, %rdi
movl $0x1, %esi
callq 0x672e
movq %rbp, %rdi
movq %r13, %rsi
callq 0x6bba
movq (%r15), %xmm0
pcmpeqd %xmm1, %xmm1
paddd %xmm0, %xmm1
movq %xmm1, (%r15)
movl $0xffffffff, %r14d      # imm = 0xFFFFFFFF
jmp 0x4e3e
divsd %xmm3, %xmm0
callq 0x2150
addsd (%rbx), %xmm0
movsd %xmm0, (%rbx)
movl %r14d, %eax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x4961(%rip), %rdi      # 0x97b8
leaq 0x4745(%rip), %rsi      # 0x95a3
leaq 0x4967(%rip), %rcx      # 0x97cc
movl $0xd5, %edx
callq 0x20e0
nop
// File: /workspace/github_cpp_makefile_star2_O3/redpony[P]cpyp/./cpyp/crp.h
// Function: int cpyp::crp<int, std::hash<int>>::increment<double, cpyp::MT19937>(int const&, double const&, cpyp::MT19937&)
int increment(const Dish& dish, const F& p0, Engine& eng) {
    crp_table_manager<1>& loc = dish_locs_[dish];
    bool share_table = false;
    if (loc.num_customers()) {
      const F p_empty = F(strength_ + num_tables_ * discount_) * p0;
      const F p_share = F(loc.num_customers() - loc.num_tables() * discount_);
      share_table = sample_bernoulli(p_empty, p_share, eng);
    }

    if (share_table) {
      unsigned n = loc.share_table(discount_, eng);
      update_llh_add_customer_to_table_seating(n);
    } else {
      loc.create_table();
      update_llh_add_customer_to_table_seating(0);
      ++num_tables_;
    }
    ++num_customers_;
    return (share_table ? 0 : 1);
  }

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rcx, %r15
movq %rdx, %r12
movq %rdi, %rbx
addq $0x8, %rdi
callq 0x68fa
movq %rax, %r14
movl (%rax), %eax
testl %eax, %eax
je 0x4f1f
movl (%rbx), %ecx
cvtsi2sd %rcx, %xmm1
movsd 0x40(%rbx), %xmm0
mulsd %xmm0, %xmm1
addsd 0x48(%rbx), %xmm1
mulsd (%r12), %xmm1
movapd %xmm1, %xmm2
movsd %xmm1, 0x8(%rsp)
movl %eax, %eax
cvtsi2sd %rax, %xmm3
movl 0x4(%r14), %eax
xorps %xmm1, %xmm1
cvtsi2sd %rax, %xmm1
mulsd %xmm0, %xmm1
subsd %xmm1, %xmm3
addsd %xmm2, %xmm3
movsd %xmm3, 0x10(%rsp)
movq %r15, %rdi
callq 0x770d
movsd 0x8(%rsp), %xmm1
divsd 0x10(%rsp), %xmm1
ucomisd %xmm1, %xmm0
jbe 0x4f1f
movq 0x40(%rbx), %xmm0
movq %r14, %rdi
movq %r15, %rsi
callq 0x74e4
movq %rbx, %rdi
movl %eax, %esi
callq 0x757e
xorl %eax, %eax
jmp 0x4fbf
leaq 0x8(%r14), %r15
movl $0x1, 0x4(%rsp)
cmpb $0x0, 0x81(%r14)
je 0x4f44
movq (%r15), %rdi
leaq 0x4(%rsp), %rsi
callq 0x6fe2
jmp 0x4f9a
movzbl 0x80(%r14), %ecx
testq %rcx, %rcx
je 0x4f7c
movq %r14, %rax
addq $0xc, %rax
movq %rcx, %rdx
cmpl $0x1, -0x4(%rax)
je 0x4f9a
addq $0x8, %rax
decq %rdx
jne 0x4f5b
movq %rcx, %rax
cmpb $0xe, %cl
jbe 0x4f7e
movq %r15, %rdi
callq 0x6ef2
jmp 0x4f35
xorl %eax, %eax
shll $0x3, %eax
incb %cl
movb %cl, 0x80(%r14)
movq $0x1, 0x8(%r14,%rax)
addq %r15, %rax
addq $0x4, %rax
incl (%rax)
movq (%r14), %xmm0
pcmpeqd %xmm1, %xmm1
psubd %xmm1, %xmm0
movq %xmm0, (%r14)
movq %rbx, %rdi
xorl %esi, %esi
callq 0x757e
incl (%rbx)
movl $0x1, %eax
incl 0x4(%rbx)
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
// File: /workspace/github_cpp_makefile_star2_O3/redpony[P]cpyp/./cpyp/msparse_vector.h
// Function: cpyp::SparseVector<unsigned int, 15u>::operator=(cpyp::SparseVector<unsigned int, 15u> const&)
const SparseVector<T>& operator=(const SparseVector<T>& other) {
    if (&other == this) return *this;
    clear();
    std::memcpy(this, &other, sizeof(SparseVector));
    if (is_remote_) {
      data_.rbmap = new std::unordered_map<unsigned, T>(*data_.rbmap);
    }
    return *this;
  }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x10, %rsp
movq %rdi, %rbx
cmpq %rdi, %rsi
je 0x572b
movq %rsi, %r14
cmpb $0x1, 0x79(%rbx)
jne 0x56c8
movq (%rbx), %r15
testq %r15, %r15
je 0x56c0
movq %r15, %rdi
callq 0x5926
movq %r15, %rdi
callq 0x2180
movw $0x0, 0x78(%rbx)
movl $0x10, %ecx
movq %rbx, %rdi
movq %r14, %rsi
rep  movsq (%rsi), %es:(%rdi)
cmpb $0x1, 0x79(%rbx)
jne 0x572b
movl $0x38, %edi
callq 0x21b0
movq %rax, %r14
movq (%rbx), %rsi
xorl %eax, %eax
movq %rax, (%r14)
movq 0x8(%rsi), %rcx
movq %rcx, 0x8(%r14)
movq %rax, 0x10(%r14)
movq 0x18(%rsi), %rcx
movq %rcx, 0x18(%r14)
movups 0x20(%rsi), %xmm0
movups %xmm0, 0x20(%r14)
movq %rax, 0x30(%r14)
leaq 0x8(%rsp), %rdx
movq %r14, (%rdx)
movq %r14, %rdi
callq 0x5780
movq %r14, (%rbx)
movq %rbx, %rax
addq $0x10, %rsp
popq %rbx
popq %r14
popq %r15
retq
movq %rax, %rbx
movq %r14, %rdi
callq 0x2180
movq %rbx, %rdi
callq 0x2270
nop
// File: /workspace/github_cpp_makefile_star2_O3/redpony[P]cpyp/./cpyp/random.h
// Function: cpyp::MT19937::GetTrulyRandomSeed()
static uint32_t GetTrulyRandomSeed() {
    uint32_t seed;
    std::ifstream r("/dev/urandom");
    if (r) {
      r.read((char*)&seed,sizeof(uint32_t));
    }
    if (r.fail() || !r) {
      std::cerr << "Warning: could not read from /dev/urandom. Seeding from clock" << std::endl;
      seed = std::time(NULL);
    }
    std::cerr << "Seeding random number sequence to " << seed << std::endl;
    return seed;
  }

// Assembly:
pushq %rbx
subq $0x210, %rsp            # imm = 0x210
leaq 0x3bd8(%rip), %rsi      # 0x952b
leaq 0x8(%rsp), %rbx
movq %rbx, %rdi
movl $0x8, %edx
callq 0x2290
movq (%rbx), %rax
movq -0x18(%rax), %rax
testb $0x5, 0x28(%rsp,%rax)
jne 0x5997
leaq 0x8(%rsp), %rdi
leaq 0x4(%rsp), %rsi
movl $0x4, %edx
callq 0x21e0
movq 0x8(%rsp), %rax
movq -0x18(%rax), %rax
testb $0x5, 0x28(%rsp,%rax)
je 0x59e8
movq 0x7652(%rip), %rbx      # 0xcff0
leaq 0x3b93(%rip), %rsi      # 0x9538
movl $0x3d, %edx
movq %rbx, %rdi
callq 0x21c0
movq (%rbx), %rax
addq -0x18(%rax), %rbx
movq %rbx, %rdi
movl $0xa, %esi
callq 0x2190
movsbl %al, %esi
movq 0x7620(%rip), %rdi      # 0xcff0
callq 0x2030
movq %rax, %rdi
callq 0x2100
xorl %edi, %edi
callq 0x2170
movl %eax, 0x4(%rsp)
movq 0x7601(%rip), %rdi      # 0xcff0
leaq 0x3b80(%rip), %rsi      # 0x9576
movl $0x22, %edx
callq 0x21c0
movl 0x4(%rsp), %esi
movq 0x75e5(%rip), %rdi      # 0xcff0
callq 0x20f0
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x2190
movsbl %al, %esi
movq %rbx, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x2100
movl 0x4(%rsp), %ebx
leaq 0x8(%rsp), %rdi
callq 0x2050
movl %ebx, %eax
addq $0x210, %rsp            # imm = 0x210
popq %rbx
retq
movq %rax, %rbx
leaq 0x8(%rsp), %rdi
callq 0x2050
movq %rbx, %rdi
callq 0x2270
// File: /workspace/github_cpp_makefile_star2_O3/redpony[P]cpyp/./cpyp/m.h
// Function: cpyp::M<double>::log_beta_density(double const&, double const&, double const&)
static inline F log_beta_density(const F& x, const F& alpha, const F& beta) {
    assert(x > 0.0);  // should be >= but need to work out the density
    assert(x < 1.0);  // should be <= but need to work out the density
    assert(alpha > 0.0);
    assert(beta > 0.0);
    return (alpha - 1) * std::log(x) +
        (beta - 1) * std::log(1 - x) -
        log_beta_fn(alpha, beta);
  }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x20, %rsp
movsd (%rdi), %xmm0
xorpd %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jbe 0x62f6
movsd 0x2dff(%rip), %xmm1     # 0x9010
ucomisd %xmm0, %xmm1
jbe 0x6315
movq %rsi, %r14
movsd (%rsi), %xmm3
xorpd %xmm1, %xmm1
ucomisd %xmm1, %xmm3
jbe 0x6334
movq %rdx, %rbx
movsd (%rdx), %xmm2
ucomisd %xmm1, %xmm2
jbe 0x6353
movq %rdi, %r15
movsd 0x2e34(%rip), %xmm1     # 0x9080
movsd %xmm1, 0x10(%rsp)
addsd %xmm1, %xmm3
movsd %xmm3, 0x8(%rsp)
callq 0x2150
movsd %xmm0, 0x18(%rsp)
movsd 0x10(%rsp), %xmm0
addsd (%rbx), %xmm0
movsd %xmm0, 0x10(%rsp)
movsd 0x2d91(%rip), %xmm0     # 0x9010
subsd (%r15), %xmm0
callq 0x2150
mulsd 0x10(%rsp), %xmm0
movsd 0x18(%rsp), %xmm1
mulsd 0x8(%rsp), %xmm1
addsd %xmm1, %xmm0
movsd %xmm0, 0x10(%rsp)
movsd (%r14), %xmm0
callq 0x2130
movsd %xmm0, 0x8(%rsp)
movsd (%rbx), %xmm0
callq 0x2130
addsd 0x8(%rsp), %xmm0
movsd %xmm0, 0x8(%rsp)
movsd (%r14), %xmm0
addsd (%rbx), %xmm0
callq 0x2130
movsd 0x8(%rsp), %xmm1
subsd %xmm0, %xmm1
movsd 0x10(%rsp), %xmm0
subsd %xmm1, %xmm0
addq $0x20, %rsp
popq %rbx
popq %r14
popq %r15
retq
leaq 0x335b(%rip), %rdi      # 0x9658
leaq 0x335c(%rip), %rsi      # 0x9660
leaq 0x3360(%rip), %rcx      # 0x966b
movl $0x3b, %edx
callq 0x20e0
leaq 0x33a8(%rip), %rdi      # 0x96c4
leaq 0x333d(%rip), %rsi      # 0x9660
leaq 0x3341(%rip), %rcx      # 0x966b
movl $0x3c, %edx
callq 0x20e0
leaq 0x3391(%rip), %rdi      # 0x96cc
leaq 0x331e(%rip), %rsi      # 0x9660
leaq 0x3322(%rip), %rcx      # 0x966b
movl $0x3d, %edx
callq 0x20e0
leaq 0x337e(%rip), %rdi      # 0x96d8
leaq 0x32ff(%rip), %rsi      # 0x9660
leaq 0x3303(%rip), %rcx      # 0x966b
movl $0x3e, %edx
callq 0x20e0
// File: /workspace/github_cpp_makefile_star2_O3/redpony[P]cpyp/./cpyp/m.h
// Function: cpyp::M<double>::log_gamma_density(double const&, double const&, double const&)
static F log_gamma_density(const F& x, const F& shape, const F& rate) {
    assert(x >= 0.0);
    assert(shape > 0.0);
    assert(rate > 0.0);
    return (shape-1)*std::log(x) - shape*std::log(rate) -
        x/rate - lgamma(shape);
  }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x20, %rsp
movsd (%rdi), %xmm0
xorpd %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jb 0x642e
movq %rsi, %rbx
movsd (%rsi), %xmm3
ucomisd %xmm1, %xmm3
jbe 0x644d
movq %rdx, %r14
movsd (%rdx), %xmm1
xorpd %xmm2, %xmm2
ucomisd %xmm2, %xmm1
jbe 0x646c
movq %rdi, %r15
addsd 0x2cc2(%rip), %xmm3     # 0x9080
movsd %xmm3, 0x18(%rsp)
callq 0x2150
movsd %xmm0, 0x8(%rsp)
movsd (%rbx), %xmm0
movsd %xmm0, 0x10(%rsp)
movsd (%r14), %xmm0
callq 0x2150
mulsd 0x10(%rsp), %xmm0
movsd 0x8(%rsp), %xmm1
mulsd 0x18(%rsp), %xmm1
subsd %xmm0, %xmm1
movsd (%r15), %xmm0
divsd (%r14), %xmm0
subsd %xmm0, %xmm1
movsd %xmm1, 0x8(%rsp)
movsd (%rbx), %xmm0
callq 0x2130
movsd 0x8(%rsp), %xmm1
subsd %xmm0, %xmm1
movapd %xmm1, %xmm0
addq $0x20, %rsp
popq %rbx
popq %r14
popq %r15
retq
leaq 0x32ae(%rip), %rdi      # 0x96e3
leaq 0x3224(%rip), %rsi      # 0x9660
leaq 0x32a9(%rip), %rcx      # 0x96ec
movl $0x31, %edx
callq 0x20e0
leaq 0x32f2(%rip), %rdi      # 0x9746
leaq 0x3205(%rip), %rsi      # 0x9660
leaq 0x328a(%rip), %rcx      # 0x96ec
movl $0x32, %edx
callq 0x20e0
leaq 0x32df(%rip), %rdi      # 0x9752
leaq 0x31e6(%rip), %rsi      # 0x9660
leaq 0x326b(%rip), %rcx      # 0x96ec
movl $0x33, %edx
callq 0x20e0
nop
// File: /workspace/github_cpp_makefile_star2_O3/redpony[P]cpyp/./cpyp/crp.h
// Function: cpyp::crp<int, std::hash<int>>::update_llh_remove_customer_from_table_seating(unsigned int)
void update_llh_remove_customer_from_table_seating(unsigned n) {
    unsigned t = 0;
    if (n == 1) {
      t = 1;
    }
    llh_ += log(strength_ + num_customers_ - 1);
    if (t == 1) {
      llh_ -= log(discount_) + log(strength_ / discount_ + num_tables_ - 1);
    }
    if (n > 1) {
      llh_ -= log(n - discount_ - 1);
    }
  }

// Assembly:
pushq %rbp
pushq %rbx
pushq %rax
movl %esi, %ebp
movq %rdi, %rbx
movl 0x4(%rdi), %eax
cvtsi2sd %rax, %xmm0
addsd 0x48(%rdi), %xmm0
addsd 0x2935(%rip), %xmm0     # 0x9080
callq 0x2150
addsd 0x70(%rbx), %xmm0
movsd %xmm0, 0x70(%rbx)
testl %ebp, %ebp
je 0x67c9
cmpl $0x1, %ebp
jne 0x679f
movsd 0x40(%rbx), %xmm0
callq 0x2150
movsd 0x48(%rbx), %xmm2
divsd 0x40(%rbx), %xmm2
movl (%rbx), %eax
cvtsi2sd %rax, %xmm1
movsd %xmm0, (%rsp)
addsd %xmm2, %xmm1
addsd 0x28f1(%rip), %xmm1     # 0x9080
movapd %xmm1, %xmm0
callq 0x2150
addsd (%rsp), %xmm0
jmp 0x67bb
movl %ebp, %eax
xorps %xmm0, %xmm0
cvtsi2sd %rax, %xmm0
subsd 0x40(%rbx), %xmm0
addsd 0x28ca(%rip), %xmm0     # 0x9080
callq 0x2150
movsd 0x70(%rbx), %xmm1
subsd %xmm0, %xmm1
movsd %xmm1, 0x70(%rbx)
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/redpony[P]cpyp/./cpyp/crp_table_manager.h
// Function: std::pair<unsigned int, int> cpyp::crp_table_manager<1u>::remove_customer<cpyp::MT19937>(cpyp::MT19937&, unsigned int*)
inline std::pair<unsigned,int> remove_customer(Engine& eng, unsigned* selected_table_postcount) {
    int r = sample_uniform01<double>(eng) * num_customers();
    const auto floor_count = [&]()->std::pair<unsigned,int> {
      for (unsigned floor = 0; floor < NumFloors; ++floor) {
        const auto end = h[floor].end();
        auto i = h[floor].begin();
        for (; i != end; ++i) {
          // sample randomly, i.e. *don't* discount
          const int thresh = i->first * i->second;
          if (thresh > r) return std::make_pair(floor, i->first);
          r -= thresh;
        }
      }
      std::cerr << "Serious error while decrementing: Floors=" << NumFloors
                << " r=" << r << std::endl;
      std::abort();
    }();
    --customers;
    const unsigned tc = floor_count.second;
    if (selected_table_postcount) *selected_table_postcount = tc - 1;
    if (tc == 1) { // remove customer from table containing a single customer
      h[floor_count.first].decrement(1);
      --tables;
      return std::make_pair(floor_count.first, -1);
    } else {
      h[floor_count.first].move(tc, tc - 1);
      return std::make_pair(0u, 0);
    }
  }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x20, %rsp
movq %rdx, %r15
movq %rdi, %rbx
movq %rsi, %rdi
callq 0x770d
xorpd %xmm1, %xmm1
addsd %xmm0, %xmm1
movl (%rbx), %eax
xorps %xmm0, %xmm0
cvtsi2sd %rax, %xmm0
mulsd %xmm1, %xmm0
cvttsd2si %xmm0, %eax
leaq 0x1c(%rsp), %rcx
movl %eax, (%rcx)
leaq 0x8(%rsp), %rdi
movq %rbx, (%rdi)
movq %rcx, 0x8(%rdi)
callq 0x6cb0
movq %rax, %r14
movq %rax, %rsi
shrq $0x20, %rsi
decl (%rbx)
testq %r15, %r15
je 0x6830
leal -0x1(%rsi), %eax
movl %eax, (%r15)
movl %r14d, %eax
shlq $0x7, %rax
leaq (%rbx,%rax), %r15
addq $0x8, %r15
cmpl $0x1, %esi
jne 0x6862
movl $0x1, 0x8(%rsp)
cmpb $0x0, 0x79(%r15)
je 0x6877
movq (%r15), %rdi
leaq 0x8(%rsp), %rsi
callq 0x6fe2
jmp 0x68c4
leal -0x1(%rsi), %edx
movq %r15, %rdi
movl $0x1, %ecx
callq 0x6d98
xorl %r14d, %r14d
jmp 0x68ed
movzbl 0x78(%r15), %ecx
testq %rcx, %rcx
je 0x68ac
addq %rbx, %rax
addq $0xc, %rax
movq %rcx, %rdx
cmpl $0x1, -0x4(%rax)
je 0x68c4
addq $0x8, %rax
decq %rdx
jne 0x688b
movq %rcx, %rax
cmpb $0xe, %cl
jbe 0x68ae
movq %r15, %rdi
callq 0x6ef2
jmp 0x6853
xorl %eax, %eax
incb %cl
movb %cl, 0x78(%r15)
leaq (%r15,%rax,8), %rax
addq $0x4, %rax
movq $0x1, -0x4(%rax)
movl (%rax), %ecx
leal -0x1(%rcx), %edx
movl %edx, (%rax)
cmpl $0x1, %ecx
jne 0x68dd
movq %r15, %rdi
movl $0x1, %esi
callq 0x6e8c
decl 0x4(%rbx)
movabsq $-0x100000000, %rax     # imm = 0xFFFFFFFF00000000
orq %rax, %r14
movq %r14, %rax
addq $0x20, %rsp
popq %rbx
popq %r14
popq %r15
retq
// File: /workspace/github_cpp_makefile_star2_O3/redpony[P]cpyp/./cpyp/msparse_vector.h
// Function: cpyp::SparseVector<unsigned int, 15u>::erase(unsigned int)
void erase(unsigned k) {
    if (is_remote_) {
      data_.rbmap->erase(k);
    } else {
      for (unsigned i = 0; i < local_size_; ++i) {
        if (data_.local[i].first() == k) {
          for (unsigned j = i+1; j < local_size_; ++j) {
            data_.local[j-1].first() = data_.local[j].first();
            data_.local[j-1].second() = data_.local[j].second();
          }
        }
      }
      --local_size_;
    }
  }

// Assembly:
pushq %rax
movl %esi, 0x4(%rsp)
cmpb $0x0, 0x79(%rdi)
je 0x6ea6
movq (%rdi), %rdi
leaq 0x4(%rsp), %rsi
callq 0x73fa
jmp 0x6eef
movzbl 0x78(%rdi), %eax
testq %rax, %rax
je 0x6eea
leal -0x1(%rax), %ecx
leaq 0x8(%rdi), %rdx
xorl %r8d, %r8d
movq %r8, %r9
incq %r8
cmpl %esi, (%rdi,%r9,8)
jne 0x6ede
cmpq %rax, %r8
jae 0x6ede
xorl %r9d, %r9d
movq (%rdx,%r9,8), %r10
movq %r10, -0x8(%rdx,%r9,8)
incq %r9
cmpq %r9, %rcx
jne 0x6ecd
addq $0x8, %rdx
decq %rcx
cmpq %rax, %r8
jne 0x6eb9
decb %al
movb %al, 0x78(%rdi)
popq %rax
retq
nop
// File: /workspace/github_cpp_makefile_star2_O3/redpony[P]cpyp/./cpyp/msparse_vector.h
// Function: cpyp::SparseVector<unsigned int, 15u>::swap_local_rbmap()
void swap_local_rbmap() {
    if (is_remote_) { // data is in rbmap, move to local
      assert(data_.rbmap->size() < LOCAL_MAX);
      const std::unordered_map<unsigned, T>* m = data_.rbmap;
      local_size_ = m->size();
      int i = 0;
      for (typename std::unordered_map<unsigned, T>::const_iterator it = m->begin();
           it != m->end(); ++it) {
        data_.local[i] = *it;
        ++i;
      }
      is_remote_ = false;
    } else { // data is local, move to rbmap
      std::unordered_map<unsigned, T>* m = new std::unordered_map<unsigned, T>(
         reinterpret_cast<std::pair<unsigned, T>*>(&data_.local[0]),
         reinterpret_cast<std::pair<unsigned, T>*>(&data_.local[local_size_]), local_size_ * 1.5 + 1);
      data_.rbmap = m;
      is_remote_ = true;
    }
  }

// Assembly:
pushq %r14
pushq %rbx
subq $0x18, %rsp
movq %rdi, %rbx
cmpb $0x1, 0x79(%rdi)
jne 0x6f39
movq (%rbx), %rax
movq 0x18(%rax), %rcx
cmpq $0xf, %rcx
jae 0x6faf
movb %cl, 0x78(%rbx)
movq 0x10(%rax), %rax
testq %rax, %rax
je 0x6f35
movq %rbx, %rcx
movq 0x8(%rax), %rdx
movq %rdx, (%rcx)
movq (%rax), %rax
addq $0x8, %rcx
testq %rax, %rax
jne 0x6f22
xorl %eax, %eax
jmp 0x6fa4
movl $0x38, %edi
callq 0x21b0
movq %rax, %r14
movzbl 0x78(%rbx), %eax
leaq (%rbx,%rax,8), %rdx
cvtsi2sd %eax, %xmm0
mulsd 0x212e(%rip), %xmm0     # 0x9088
addsd 0x20ae(%rip), %xmm0     # 0x9010
cvttsd2si %xmm0, %rax
movq %rax, %rsi
sarq $0x3f, %rsi
subsd 0x211a(%rip), %xmm0     # 0x9090
cvttsd2si %xmm0, %rcx
andq %rsi, %rcx
orq %rax, %rcx
leaq 0x15(%rsp), %rax
movq %rax, (%rsp)
leaq 0x17(%rsp), %r8
leaq 0x16(%rsp), %r9
movq %r14, %rdi
movq %rbx, %rsi
callq 0x7266
movq %r14, (%rbx)
movb $0x1, %al
movb %al, 0x79(%rbx)
addq $0x18, %rsp
popq %rbx
popq %r14
retq
leaq 0x28dc(%rip), %rdi      # 0x9892
leaq 0x28bd(%rip), %rsi      # 0x987a
leaq 0x28ee(%rip), %rcx      # 0x98b2
movl $0x1b9, %edx            # imm = 0x1B9
callq 0x20e0
movq %rax, %rbx
movq %r14, %rdi
callq 0x2180
movq %rbx, %rdi
callq 0x2270
nop
// File: /workspace/github_cpp_makefile_star2_O3/redpony[P]cpyp/./cpyp/crp_table_manager.h
// Function: unsigned int cpyp::crp_table_manager<1u>::share_table<cpyp::MT19937>(double, cpyp::MT19937&)
unsigned share_table(const double discount, Engine& eng) {
    const double z = customers - discount * num_tables();
    double r = z * sample_uniform01<double>(eng);
    const auto floor_count = [&]()->std::pair<unsigned,int> {
      for (unsigned floor = 0; floor < NumFloors; ++floor) {
        const auto end = h[floor].end();
        auto i = h[floor].begin();
        for (; i != end; ++i) {
          const double thresh = (i->first - discount) * i->second;
          if (thresh > r) return std::make_pair(floor, i->first);
          r -= thresh;
        }
      }
      std::cerr << "Serious error while incrementing: Floors=" << NumFloors
                << " r=" << r << std::endl;
      std::abort();
    }();
    const unsigned cc = floor_count.second;
    h[floor_count.first].move(cc, cc + 1);
    ++customers;
    return cc;
  }

// Assembly:
pushq %r14
pushq %rbx
subq $0x38, %rsp
movq %rdi, %rbx
leaq 0x18(%rsp), %r14
movsd %xmm0, (%r14)
movl (%rdi), %eax
movl 0x4(%rdi), %ecx
cvtsi2sd %rax, %xmm2
cvtsi2sd %rcx, %xmm1
mulsd %xmm0, %xmm1
subsd %xmm1, %xmm2
movsd %xmm2, 0x8(%rsp)
movq %rsi, %rdi
callq 0x770d
xorpd %xmm1, %xmm1
addsd %xmm0, %xmm1
mulsd 0x8(%rsp), %xmm1
leaq 0x10(%rsp), %rax
movsd %xmm1, (%rax)
leaq 0x20(%rsp), %rdi
movq %rbx, (%rdi)
movq %r14, 0x8(%rdi)
movq %rax, 0x10(%rdi)
callq 0x7602
movq %rax, %r14
movl %r14d, %ecx
shrq $0x20, %r14
shlq $0x7, %rcx
leaq (%rbx,%rcx), %rdi
addq $0x8, %rdi
leal 0x1(%r14), %edx
movl %r14d, %esi
movl $0x1, %ecx
callq 0x6d98
incl (%rbx)
movl %r14d, %eax
addq $0x38, %rsp
popq %rbx
popq %r14
retq
nop
// File: /workspace/github_cpp_makefile_star2_O3/redpony[P]cpyp/./cpyp/mf_crp.h
// Function: cpyp::mf_crp<2u, unsigned int, std::hash<unsigned int>>::check_hyperparameters()
void check_hyperparameters() {
    if (discount_ < 0.0 || discount_ >= 1.0) {
      std::cerr << "Bad discount: " << discount_ << std::endl;
      abort();
    }
    if (strength_ <= -discount_) {
      std::cerr << "Bad strength: " << strength_ << " (discount=" << discount_ << ")" << std::endl;
      abort();
    }

    llh_ = lgamma(strength_) - lgamma(strength_ / discount_);
    if (has_discount_prior())
      llh_ = Md::log_beta_density(discount_, discount_prior_strength_, discount_prior_beta_);
    if (has_strength_prior())
      llh_ += Md::log_gamma_density(strength_ + discount_, strength_prior_shape_, strength_prior_rate_);
    if (num_tables_ > 0) llh_ = log_likelihood(discount_, strength_);
  }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x10, %rsp
leaq 0x40(%rdi), %rbx
movsd 0x40(%rdi), %xmm1
xorpd %xmm0, %xmm0
ucomisd %xmm1, %xmm0
ja 0x7c38
ucomisd 0x14a6(%rip), %xmm1     # 0x9010
jae 0x7c38
movq %rdi, %r14
leaq 0x48(%rdi), %r15
movsd 0x48(%rdi), %xmm0
xorpd 0x153c(%rip), %xmm1     # 0x90c0
ucomisd %xmm0, %xmm1
jae 0x7c59
callq 0x2130
movsd %xmm0, (%rsp)
movsd 0x48(%r14), %xmm0
divsd 0x40(%r14), %xmm0
callq 0x2130
movsd (%rsp), %xmm1
subsd %xmm0, %xmm1
movsd %xmm1, 0x70(%r14)
movsd 0x50(%r14), %xmm0
ucomisd %xmm0, %xmm0
jp 0x7bda
leaq 0x50(%r14), %rsi
leaq 0x58(%r14), %rdx
movq %rbx, %rdi
callq 0x61ee
movsd %xmm0, 0x70(%r14)
movsd 0x60(%r14), %xmm0
ucomisd %xmm0, %xmm0
jp 0x7c14
movsd 0x48(%r14), %xmm0
addsd 0x40(%r14), %xmm0
leaq 0x60(%r14), %rsi
leaq 0x8(%rsp), %rdi
movsd %xmm0, (%rdi)
leaq 0x68(%r14), %rdx
callq 0x6372
addsd 0x70(%r14), %xmm0
movsd %xmm0, 0x70(%r14)
cmpl $0x0, (%r14)
je 0x7c2e
movq %r14, %rdi
movq %rbx, %rsi
movq %r15, %rdx
callq 0x7cb0
movsd %xmm0, 0x70(%r14)
addq $0x10, %rsp
popq %rbx
popq %r14
popq %r15
retq
movq 0x53b1(%rip), %rdi      # 0xcff0
leaq 0x1b48(%rip), %rsi      # 0x978e
callq 0x21a0
movsd (%rbx), %xmm0
movq %rax, %rdi
callq 0x22a0
jmp 0x7ca3
movq 0x5390(%rip), %rdi      # 0xcff0
leaq 0x1b36(%rip), %rsi      # 0x979d
callq 0x21a0
movsd (%r15), %xmm0
movq %rax, %rdi
callq 0x22a0
leaq 0x1b2c(%rip), %rsi      # 0x97ac
movq %rax, %rdi
callq 0x21a0
movsd (%rbx), %xmm0
movq %rax, %rdi
callq 0x22a0
leaq 0x17b6(%rip), %rsi      # 0x9451
movq %rax, %rdi
callq 0x21a0
movq %rax, %rdi
callq 0x2090
callq 0x20d0
// File: /workspace/github_cpp_makefile_star2_O3/redpony[P]cpyp/./cpyp/mf_crp.h
// Function: cpyp::mf_crp<2u, unsigned int, std::hash<unsigned int>>::update_llh_remove_customer_from_table_seating(unsigned int)
void update_llh_remove_customer_from_table_seating(unsigned n) {
    unsigned t = 0;
    if (n == 1) t = 1;
    llh_ += log(strength_ + num_customers_ - 1);
    if (t == 1) llh_ -= log(discount_) + log(strength_ / discount_ + num_tables_ - 1);
    if (n > 1) llh_ -= log(n - discount_ - 1);
  }

// Assembly:
pushq %rbp
pushq %rbx
pushq %rax
movl %esi, %ebp
movq %rdi, %rbx
movl 0x4(%rdi), %eax
cvtsi2sd %rax, %xmm0
addsd 0x48(%rdi), %xmm0
addsd 0x8df(%rip), %xmm0      # 0x9080
callq 0x2150
addsd 0x70(%rbx), %xmm0
movsd %xmm0, 0x70(%rbx)
testl %ebp, %ebp
je 0x881f
cmpl $0x1, %ebp
jne 0x87f5
movsd 0x40(%rbx), %xmm0
callq 0x2150
movsd 0x48(%rbx), %xmm2
divsd 0x40(%rbx), %xmm2
movl (%rbx), %eax
cvtsi2sd %rax, %xmm1
movsd %xmm0, (%rsp)
addsd %xmm2, %xmm1
addsd 0x89b(%rip), %xmm1      # 0x9080
movapd %xmm1, %xmm0
callq 0x2150
addsd (%rsp), %xmm0
jmp 0x8811
movl %ebp, %eax
xorps %xmm0, %xmm0
cvtsi2sd %rax, %xmm0
subsd 0x40(%rbx), %xmm0
addsd 0x874(%rip), %xmm0      # 0x9080
callq 0x2150
movsd 0x70(%rbx), %xmm1
subsd %xmm0, %xmm1
movsd %xmm1, 0x70(%rbx)
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/redpony[P]cpyp/./cpyp/crp.h
// Function: cpyp::crp<int, std::hash<int>>::print(std::ostream*) const
void print(std::ostream* out) const {
    (*out) << "PYP(d=" << discount_ << ",c=" << strength_
           << ") customers=" << num_customers_ << std::endl;
    for (auto& dish_loc : dish_locs_)
      (*out) << dish_loc.first << " : " << dish_loc.second << std::endl;
  }

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %rbx
movq %rdi, %r14
leaq 0xf46(%rip), %rsi       # 0x9ad7
movl $0x6, %edx
movq %rbx, %rdi
callq 0x21c0
movsd 0x40(%r14), %xmm0
movq %rbx, %rdi
callq 0x2230
movq %rax, %r15
leaq 0xf28(%rip), %rsi       # 0x9ade
movl $0x3, %edx
movq %rax, %rdi
callq 0x21c0
movsd 0x48(%r14), %xmm0
movq %r15, %rdi
callq 0x2230
movq %rax, %r15
leaq 0xf07(%rip), %rsi       # 0x9ae2
movl $0xc, %edx
movq %rax, %rdi
callq 0x21c0
movl 0x4(%r14), %esi
movq %r15, %rdi
callq 0x20f0
movq %rax, %r15
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x2190
movsbl %al, %esi
movq %r15, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x2100
movq 0x18(%r14), %r12
testq %r12, %r12
je 0x8c8e
leaq 0xec1(%rip), %r14       # 0x9aef
movl 0x8(%r12), %esi
movq %rbx, %rdi
callq 0x2260
movq %rax, %r15
movl $0x3, %edx
movq %rax, %rdi
movq %r14, %rsi
callq 0x21c0
leaq 0x10(%r12), %rsi
movq %r15, %rdi
callq 0x8c9a
movq %rax, %r15
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x2190
movsbl %al, %esi
movq %r15, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x2100
movq (%r12), %r12
testq %r12, %r12
jne 0x8c2e
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
// File: /workspace/github_cpp_makefile_star2_O3/siolag161[P]louvain-original/graph.cpp
// Function: Graph::Graph(char*, int)
Graph::Graph(char *filename, int type) {
  ifstream finput;
  finput.open(filename,fstream::in);

  int nb_links=0;

  while (!finput.eof()) {
    unsigned int src, dest;
    double weight=1.;

    if (type==WEIGHTED) {
      finput >> src >> dest >> weight;
    } else {
      finput >> src >> dest;
    }
    
    if (finput) {
      if (links.size()<=max(src,dest)+1) {
        links.resize(max(src,dest)+1);
      }
      
      links[src].push_back(make_pair(dest,weight));
      if (src!=dest)
        links[dest].push_back(make_pair(src,weight));

      nb_links++;
    }
  }

  finput.close();
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x228, %rsp            # imm = 0x228
movl %edx, %ebp
movq %rsi, %r14
movq %rdi, %rbx
xorps %xmm0, %xmm0
movups %xmm0, (%rdi)
movq $0x0, 0x10(%rdi)
leaq 0x20(%rsp), %rdi
callq 0x21c0
leaq 0x20(%rsp), %rdi
movq %r14, %rsi
movl $0x8, %edx
callq 0x20f0
movq 0x20(%rsp), %rax
movq -0x18(%rax), %rax
testb $0x2, 0x40(%rsp,%rax)
jne 0x25a8
movabsq $0x3ff0000000000000, %r13 # imm = 0x3FF0000000000000
leaq 0x20(%rsp), %r14
leaq 0xc(%rsp), %r15
leaq 0x8(%rsp), %r12
movq %r13, 0x18(%rsp)
testl %ebp, %ebp
je 0x24bd
movq %r14, %rdi
movq %r15, %rsi
callq 0x2280
movq %rax, %rdi
movq %r12, %rsi
callq 0x2280
jmp 0x24e0
movq %r14, %rdi
movq %r15, %rsi
callq 0x2280
movq %rax, %rdi
movq %r12, %rsi
callq 0x2280
movq %rax, %rdi
leaq 0x18(%rsp), %rsi
callq 0x2100
movq 0x20(%rsp), %rax
movq -0x18(%rax), %rcx
testb $0x5, 0x40(%rsp,%rcx)
jne 0x2599
movq (%rbx), %rax
movq 0x8(%rbx), %rdi
subq %rax, %rdi
sarq $0x3, %rdi
movabsq $-0x5555555555555555, %rcx # imm = 0xAAAAAAAAAAAAAAAB
imulq %rcx, %rdi
movl 0xc(%rsp), %edx
movl 0x8(%rsp), %ecx
cmpl %ecx, %edx
movl %ecx, %esi
cmoval %edx, %esi
incl %esi
cmpq %rsi, %rdi
ja 0x2539
movq %rbx, %rdi
callq 0x2e30
movl 0xc(%rsp), %edx
movq (%rbx), %rax
movl 0x8(%rsp), %ecx
movl %edx, %edx
leaq (%rdx,%rdx,2), %rdx
leaq (%rax,%rdx,8), %rdi
movl %ecx, 0x10(%rsp)
xorps %xmm0, %xmm0
cvtsd2ss 0x18(%rsp), %xmm0
movss %xmm0, 0x14(%rsp)
leaq 0x10(%rsp), %rsi
callq 0x33bc
movl 0xc(%rsp), %eax
movl 0x8(%rsp), %ecx
cmpl %ecx, %eax
je 0x2594
leaq (%rcx,%rcx,2), %rdi
shlq $0x3, %rdi
addq (%rbx), %rdi
movl %eax, 0x10(%rsp)
xorps %xmm0, %xmm0
cvtsd2ss 0x18(%rsp), %xmm0
movss %xmm0, 0x14(%rsp)
leaq 0x10(%rsp), %rsi
callq 0x33bc
movq 0x20(%rsp), %rax
movq -0x18(%rax), %rax
testb $0x2, 0x40(%rsp,%rax)
je 0x249c
leaq 0x20(%rsp), %rdi
callq 0x2060
leaq 0x20(%rsp), %rdi
callq 0x2070
addq $0x228, %rsp            # imm = 0x228
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x25db
jmp 0x25db
movq %rax, %r14
jmp 0x25e8
jmp 0x25db
jmp 0x25db
movq %rax, %r14
leaq 0x20(%rsp), %rdi
callq 0x2070
movq %rbx, %rdi
callq 0x2e6c
movq %r14, %rdi
callq 0x2290
// File: /workspace/github_cpp_makefile_star2_O3/kdungs[P]codecon/src/apples.cc
// Function: main
int main() {
  long long a0, o0, m0, x, y, mf;
  std::cin >> a0 >> o0 >> m0 >> x >> y >> mf;

  const auto dm = mf - m0;
  const auto mm = a0 * x + o0 * y - dm;

  const auto a = findSolution(mm, x, y);
  const auto o = findSolution(mm, y, x);

  if (a == -1 || o == -1) {
    std::cout << "Impossible\n";
  } else {
    std::cout << a << ' ' << o << '\n';
  }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x38, %rsp
movq 0x2e1f(%rip), %rdi      # 0x3fe0
leaq 0x30(%rsp), %rbx
movq %rbx, %rsi
callq 0x1060
leaq 0x28(%rsp), %r14
movq %rax, %rdi
movq %r14, %rsi
callq 0x1060
leaq 0x20(%rsp), %r15
movq %rax, %rdi
movq %r15, %rsi
callq 0x1060
leaq 0x18(%rsp), %r12
movq %rax, %rdi
movq %r12, %rsi
callq 0x1060
leaq 0x10(%rsp), %r13
movq %rax, %rdi
movq %r13, %rsi
callq 0x1060
leaq 0x8(%rsp), %rbp
movq %rax, %rdi
movq %rbp, %rsi
callq 0x1060
movq (%rbp), %r11
movq (%r15), %r8
movq %r8, %rcx
subq %r11, %rcx
movq (%r12), %r9
movq (%rbx), %rbx
imulq %r9, %rbx
movq (%r13), %r10
movq (%r14), %r14
imulq %r10, %r14
addq %rbx, %rcx
addq %r14, %rcx
testq %rcx, %rcx
jle 0x12f6
leaq (%r8,%r14), %r15
addq %rbx, %r15
subq %r11, %r15
movq %rcx, %rdi
movq %rdi, %rax
cqto
idivq %r9
testq %rdx, %rdx
je 0x127e
subq %r10, %rdi
subq %r10, %r15
testq %r15, %r15
jg 0x125d
movq $-0x1, %rsi
jmp 0x1281
movq %rax, %rsi
addq %rbx, %r8
addq %r14, %r8
subq %r11, %r8
movq %rcx, %rax
cqto
idivq %r10
testq %rdx, %rdx
je 0x12a4
subq %r9, %rcx
subq %r9, %r8
testq %r8, %r8
jg 0x128a
jmp 0x12f6
cmpq $-0x1, %rsi
je 0x12f6
movq %rax, %rbx
cmpq $-0x1, %rax
je 0x12f6
movq 0x2d16(%rip), %rdi      # 0x3fd0
callq 0x1030
leaq 0x7(%rsp), %r14
movb $0x20, (%r14)
movl $0x1, %edx
movq %rax, %rdi
movq %r14, %rsi
callq 0x1050
movq %rax, %rdi
movq %rbx, %rsi
callq 0x1030
movb $0xa, (%r14)
leaq 0x7(%rsp), %rsi
movl $0x1, %edx
movq %rax, %rdi
jmp 0x1309
movq 0x2cd3(%rip), %rdi      # 0x3fd0
leaq 0xd00(%rip), %rsi       # 0x2004
movl $0xb, %edx
callq 0x1050
xorl %eax, %eax
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/myudelson[P]hmm-scalable/inputconvert.cpp
// Function: main
int main (int argc, char ** argv) {
    
	clock_t tm0 = clock();
	char input_file[1024];
	char output_file[1024];
    
	set_task_defaults(&task);
	parse_arguments(argc, argv, input_file, output_file);
    
    if( source_format=='t') {
        InputUtilSt::readTxt(input_file, &task);
//        // vvv temporary
//        FILE *fid = fopen(output_file,"w");
//        for(NCAT i=0; i<task.map_group_bwd->size(); i++) {
//            fprintf(fid,"%s\n",task.map_group_bwd->find((NCAT)i)->second.c_str());
//        }
//        fclose(fid);
//        // ^^^ temporary
        InputUtilSt::toBin(&task, output_file);
    }
    else {
        InputUtilSt::readBin(input_file, &task);
    }
	// free data
	destroy_input_data(&task);
	
	if(task.quiet == 0)
		printf("overall time running is %8.6f seconds\n",(NUMBER)(clock()-tm0)/CLOCKS_PER_SEC);
    return 0;
}

// Assembly:
pushq %rbp
pushq %r14
pushq %rbx
subq $0x800, %rsp            # imm = 0x800
movq %rsi, %r14
movl %edi, %ebp
callq 0x2120
movq %rax, %rbx
leaq 0xb69c(%rip), %rdi      # 0xe228
callq 0x62e9
movq %rsp, %rdx
leaq 0x400(%rsp), %rcx
movl %ebp, %edi
movq %r14, %rsi
callq 0x29c3
cmpb $0x74, 0xb643(%rip)     # 0xe1f0
jne 0x2bd3
leaq 0xb672(%rip), %r14      # 0xe228
movq %rsp, %rdi
movq %r14, %rsi
callq 0x6fce
leaq 0x400(%rsp), %rsi
movq %r14, %rdi
callq 0x8c64
jmp 0x2be2
leaq 0xb64e(%rip), %rsi      # 0xe228
movq %rsp, %rdi
callq 0x8362
leaq 0xb63f(%rip), %rdi      # 0xe228
callq 0x64f0
cmpb $0x0, 0xb67f(%rip)      # 0xe274
jne 0x2c1a
callq 0x2120
subq %rbx, %rax
cvtsi2sd %rax, %xmm0
divsd 0x73fc(%rip), %xmm0     # 0xa008
leaq 0x751f(%rip), %rdi      # 0xa132
movb $0x1, %al
callq 0x2050
xorl %eax, %eax
addq $0x800, %rsp            # imm = 0x800
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/jflemer[P]boost-chat-server/chat_server.cpp
// Function: chat_server::start_accept()
void start_accept()
  {
    chat_session_ptr new_session(new chat_session(io_service_, room_));
    acceptor_.async_accept(new_session->socket(),
        boost::bind(&chat_server::handle_accept, this, new_session,
          boost::asio::placeholders::error));
  }

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x48, %rsp
movq %rdi, %rbx
movl $0x2d0, %edi            # imm = 0x2D0
callq 0x52f0
movq %rax, %r14
movq (%rbx), %rsi
leaq 0x58(%rbx), %rdx
movq %rax, %rdi
callq 0xbe62
leaq 0x10(%rsp), %r15
movq %r15, %rdi
movq %r14, %rsi
callq 0xbefa
movq (%r15), %r12
testq %r12, %r12
je 0x8665
movq %r12, (%rsp)
movq 0x18(%rsp), %rax
movq %rax, 0x8(%rsp)
testq %rax, %rax
je 0x85f3
lock
incl 0x8(%rax)
leaq 0x8(%rsp), %r15
leaq 0x18(%rsp), %r14
leaq 0x3a06(%rip), %rsi      # 0xc00a
leaq 0x3a3e(%rip), %r9       # 0xc049
leaq 0x20(%rsp), %rdi
movq %rsp, %r8
xorl %edx, %edx
movq %rbx, %rcx
callq 0xbf69
addq $0x18, %r12
movq 0x8(%rbx), %rdi
leaq 0x10(%rbx), %rsi
addq $0x28, %rbx
leaq 0x20(%rsp), %r8
movq %r12, %rdx
xorl %ecx, %ecx
movq %rbx, %r9
callq 0xdc44
leaq 0x40(%rsp), %rdi
callq 0xbe30
movq %r15, %rdi
callq 0xbe30
movq %r14, %rdi
callq 0xbe30
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
leaq 0x7f12(%rip), %rdi      # 0x1057e
leaq 0x7f13(%rip), %rsi      # 0x10586
leaq 0x7f38(%rip), %rcx      # 0x105b2
movl $0x2d8, %edx            # imm = 0x2D8
callq 0x5200
movq %rax, %rbx
leaq 0x40(%rsp), %rdi
callq 0xbe30
jmp 0x8696
movq %rax, %rbx
movq %r15, %rdi
callq 0xbe30
movq %r14, %rdi
callq 0xbe30
jmp 0x86b8
movq %rax, %rbx
movl $0x2d0, %esi            # imm = 0x2D0
movq %r14, %rdi
callq 0x5300
movq %rbx, %rdi
callq 0x54f0