// File: /workspace/github_cpp_makefile_star2_O1/ldionne[P]hawick_circuits/hawick_circuits.cpp
// Function: void build_graph<boost::directed_graph<boost::no_property, boost::no_property, boost::no_property>, std::istream_iterator<unsigned int, char, std::char_traits<char>, long>>(boost::directed_graph<boost::no_property, boost::no_property, boost::no_property>&, unsigned int, std::istream_iterator<unsigned int, char, std::char_traits<char>, long>, std::istream_iterator<unsigned int, char, std::char_traits<char>, long>)
void build_graph(Graph& graph, unsigned int const nvertices,
                 VertexPairIterator first, VertexPairIterator last) {
    typedef boost::graph_traits<Graph> Traits;
    typedef typename Traits::vertex_descriptor vertex_descriptor;
    std::map<unsigned int, vertex_descriptor> vertices;

    for (unsigned int i = 0; i < nvertices; ++i)
        vertices[i] = add_vertex(graph);

    for (; first != last; ++first) {
        unsigned int u = *first++;

        BOOST_ASSERT_MSG(first != last,
            "there is a lonely vertex at the end of the edge list");

        unsigned int v = *first;

        BOOST_ASSERT_MSG(vertices.count(u) == 1 && vertices.count(v) == 1,
            "specified a vertex over the number of vertices in the graph");

        add_edge(vertices[u], vertices[v], graph);
    }
    BOOST_ASSERT(num_vertices(graph) == nvertices);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x68, %rsp
movq %rcx, %r14
movq %rdx, %r12
movq %rdi, -0x38(%rbp)
leaq -0x88(%rbp), %rbx
xorl %eax, %eax
movl %eax, (%rbx)
movq %rax, 0x8(%rbx)
movq %rbx, 0x10(%rbx)
movq %rbx, 0x18(%rbx)
movq %rax, 0x20(%rbx)
movl %eax, -0x60(%rbp)
movl %esi, -0x2c(%rbp)
testl %esi, %esi
je 0x26a6
leaq -0x60(%rbp), %r15
movq -0x38(%rbp), %rdi
callq 0x3272
movq %rax, %r13
leaq -0x90(%rbp), %rdi
movq %r15, %rsi
callq 0x320a
movq %r13, (%rax)
movl -0x60(%rbp), %eax
incl %eax
movl %eax, -0x60(%rbp)
cmpl -0x2c(%rbp), %eax
jb 0x267b
leaq -0x90(%rbp), %r13
movb 0xc(%r12), %al
cmpb 0xc(%r14), %al
jne 0x26cd
testb %al, %al
je 0x27c0
movq (%r12), %rax
cmpq (%r14), %rax
je 0x27c0
movl 0x8(%r12), %r15d
movq %r12, %rdi
callq 0x3182
movl %r15d, -0x40(%rbp)
movb 0xc(%r12), %al
cmpb 0xc(%r14), %al
jne 0x26fe
testb %al, %al
je 0x2807
movq (%r12), %rax
cmpq (%r14), %rax
je 0x2807
movl 0x8(%r12), %eax
movl %eax, -0x3c(%rbp)
movq -0x80(%rbp), %rcx
movq %rbx, %rdx
testq %rcx, %rcx
je 0x2730
movq %rcx, %rsi
movq %rbx, %rdx
xorl %edi, %edi
cmpl %r15d, 0x20(%rsi)
setb %dil
cmovaeq %rsi, %rdx
movq 0x10(%rsi,%rdi,8), %rsi
testq %rsi, %rsi
jne 0x2718
movq %rbx, %rsi
cmpq %rbx, %rdx
je 0x2743
cmpl 0x20(%rdx), %r15d
cmovbq %rbx, %rdx
movq %rdx, %rsi
cmpq %rbx, %rsi
je 0x27e8
movq %rbx, %rdx
testq %rcx, %rcx
je 0x276e
movq %rbx, %rdx
xorl %esi, %esi
cmpl %eax, 0x20(%rcx)
setb %sil
cmovaeq %rcx, %rdx
movq 0x10(%rcx,%rsi,8), %rcx
testq %rcx, %rcx
jne 0x2757
movq %rbx, %rcx
cmpq %rbx, %rdx
je 0x2780
cmpl 0x20(%rdx), %eax
cmovbq %rbx, %rdx
movq %rdx, %rcx
cmpq %rbx, %rcx
je 0x27e8
movq %r13, %rdi
leaq -0x40(%rbp), %rsi
callq 0x320a
movq (%rax), %r15
movq %r13, %rdi
leaq -0x3c(%rbp), %rsi
callq 0x320a
movq (%rax), %rcx
leaq -0x60(%rbp), %rdi
movq -0x38(%rbp), %rsi
movq %r15, %rdx
callq 0x3516
movq %r12, %rdi
callq 0x3182
jmp 0x26ad
movl -0x2c(%rbp), %eax
movq -0x38(%rbp), %rcx
cmpq %rax, 0x38(%rcx)
jne 0x2826
leaq -0x90(%rbp), %rdi
callq 0x35e6
addq $0x68, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x298b(%rip), %rdi      # 0x517a
leaq 0x28be(%rip), %rsi      # 0x50b4
leaq 0x28cb(%rip), %rcx      # 0x50c8
movl $0x49, %edx
callq 0x2100
leaq 0x285c(%rip), %rdi      # 0x506a
leaq 0x289f(%rip), %rsi      # 0x50b4
leaq 0x28ac(%rip), %rcx      # 0x50c8
movl $0x44, %edx
callq 0x2100
leaq 0x29c1(%rip), %rdi      # 0x51ee
leaq 0x2880(%rip), %rsi      # 0x50b4
leaq 0x288d(%rip), %rcx      # 0x50c8
movl $0x4d, %edx
callq 0x2100
jmp 0x284d
jmp 0x284d
jmp 0x284d
jmp 0x284d
movq %rax, %rbx
leaq -0x90(%rbp), %rdi
callq 0x35e6
movq %rbx, %rdi
callq 0x2260