// File: manschga[P]M5GB/M5GB.cpp
// Function: F_2(std::vector<Lab_poly, std::allocator<Lab_poly>> const&, int, int)
Spairs F_2(const vector<Lab_poly>& F, int n, int p)
{
  Spairs P = {};

  vector<int> zero(n,0);
  Lab_poly Zero(polynomial({monomial(0,0,p)}),signature(0,0));
  //cout << "Zero: " << Zero << endl;
  for (int i = 1; i < F.size(); ++i)
    {
      P.insert(make_pair(F[i],Zero));
      //    P.emplace_back(
    }
  //reverse(P.begin(),P.end()); 
  return P;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x1c0, %rsp            # imm = 0x1C0
movq %rdi, -0x1a0(%rbp)
movq %rdi, %rax
movq %rax, -0x198(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movl %edx, -0x14(%rbp)
movl %ecx, -0x18(%rbp)
movb $0x0, -0x19(%rbp)
xorps %xmm0, %xmm0
movups %xmm0, 0x20(%rdi)
movups %xmm0, 0x10(%rdi)
movups %xmm0, (%rdi)
callq 0x16a00
movslq -0x14(%rbp), %rax
movq %rax, -0x190(%rbp)
movl $0x0, -0x3c(%rbp)
leaq -0x3d(%rbp), %rdi
movq %rdi, -0x188(%rbp)
callq 0x5f30
movq -0x190(%rbp), %rsi
movq -0x188(%rbp), %rcx
leaq -0x38(%rbp), %rdi
leaq -0x3c(%rbp), %rdx
callq 0x5f50
jmp 0x16290
leaq -0x3d(%rbp), %rdi
callq 0x3d50
movl -0x18(%rbp), %ecx
xorl %edx, %edx
movl %edx, %esi
leaq -0xe0(%rbp), %rdi
callq 0x25de0
jmp 0x162ae
leaq -0xe0(%rbp), %rax
movq %rax, -0xd0(%rbp)
movq $0x1, -0xc8(%rbp)
leaq -0xe1(%rbp), %rdi
movq %rdi, -0x1a8(%rbp)
callq 0xe930
movq -0x1a8(%rbp), %rcx
movq -0xd0(%rbp), %rsi
movq -0xc8(%rbp), %rdx
leaq -0xc0(%rbp), %rdi
callq 0xeaa0
jmp 0x162fd
leaq -0xa8(%rbp), %rdi
leaq -0xc0(%rbp), %rsi
callq 0x25f60
jmp 0x16312
leaq -0xf8(%rbp), %rdi
xorl %edx, %edx
movl %edx, %esi
callq 0x2a3a0
jmp 0x16324
movl -0xf8(%rbp), %edx
movq -0xf0(%rbp), %rcx
leaq -0x88(%rbp), %rdi
leaq -0xa8(%rbp), %rsi
callq 0x9d90
jmp 0x16346
leaq -0xa8(%rbp), %rdi
callq 0x44a0
leaq -0xc0(%rbp), %rdi
callq 0x44c0
leaq -0xe1(%rbp), %rdi
callq 0x46a0
movl $0x1, -0xfc(%rbp)
movslq -0xfc(%rbp), %rax
movq %rax, -0x1b0(%rbp)
movq -0x10(%rbp), %rdi
callq 0xbd20
movq %rax, %rcx
movq -0x1b0(%rbp), %rax
cmpq %rcx, %rax
jae 0x164c3
movq -0x10(%rbp), %rdi
movslq -0xfc(%rbp), %rsi
callq 0xbdd0
movq %rax, %rsi
leaq -0x170(%rbp), %rdi
leaq -0x88(%rbp), %rdx
callq 0x17d80
jmp 0x163c6
movq -0x1a0(%rbp), %rdi
leaq -0x170(%rbp), %rsi
callq 0x17d30
movb %dl, -0x1b9(%rbp)
movq %rax, -0x1b8(%rbp)
jmp 0x163e8
movb -0x1b9(%rbp), %al
movq -0x1b8(%rbp), %rcx
movq %rcx, -0x180(%rbp)
movb %al, -0x178(%rbp)
leaq -0x170(%rbp), %rdi
callq 0x103f0
movl -0xfc(%rbp), %eax
addl $0x1, %eax
movl %eax, -0xfc(%rbp)
jmp 0x16374
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x3d(%rbp), %rdi
callq 0x3d50
jmp 0x16517
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x164f0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x1648d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x16481
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0xa8(%rbp), %rdi
callq 0x44a0
leaq -0xc0(%rbp), %rdi
callq 0x44c0
leaq -0xe1(%rbp), %rdi
callq 0x46a0
jmp 0x164f0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x164e4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x170(%rbp), %rdi
callq 0x103f0
jmp 0x164e4
movb $0x1, -0x19(%rbp)
leaq -0x88(%rbp), %rdi
callq 0xbc80
leaq -0x38(%rbp), %rdi
callq 0x3b70
testb $0x1, -0x19(%rbp)
jne 0x16507
jmp 0x164fb
leaq -0x88(%rbp), %rdi
callq 0xbc80
leaq -0x38(%rbp), %rdi
callq 0x3b70
jmp 0x16517
movq -0x1a0(%rbp), %rdi
callq 0x16a20
movq -0x198(%rbp), %rax
addq $0x1c0, %rsp            # imm = 0x1C0
popq %rbp
retq
movq -0x1a0(%rbp), %rdi
callq 0x16a20
movq -0x48(%rbp), %rdi
callq 0x2300
nopl (%rax)