#0  0x0000000000400872 in ?? ()
No symbol table info available.
#1  0x00007f704b07030d in __libc_start_main () from /lib/x86_64-linux-gnu/libc.so.6
No symbol table info available.
#2  0x0000000000400acd in ?? ()
No symbol table info available.
#3  0x00007fff56770d28 in ?? ()
No symbol table info available.
#4  0x000000000000001c in ?? ()
No symbol table info available.
#5  0x0000000000000001 in ?? ()
No symbol table info available.
#6  0x00007fff56770f91 in ?? ()
No symbol table info available.
#7  0x0000000000000000 in ?? ()
No symbol table info available.