rax            0x18617b00000	1675434655744
rbx            0x18429c8	25438664
rcx            0x7f2837cd4ed0	139810711621328
rdx            0x1c	28
rsi            0x7f2837cd4ed0	139810711621328
rdi            0x18429c8	25438664
rbp            0x19	0x19
rsp            0x7f2837cd4e00	0x7f2837cd4e00
r8             0x706f746b7365642d	8101822259509158957
r9             0x7f283cc31228	139810794836520
r10            0xe63	3683
r11            0x4	4
r12            0x0	0
r13            0x1877148	25653576
r14            0x7f2837cd4f90	139810711621520
r15            0x1877140	25653568
rip            0x7f28392bc759	0x7f28392bc759 <ChertTable::form_key(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) const+265>
eflags         0x10202	[ IF RF ]
cs             0x33	51
ss             0x2b	43
ds             0x0	0
es             0x0	0
fs             0x0	0
gs             0x0	0