--rw-rw-r-- stallion sys 3903 Jan 12  2020 hist.dlv-dbg.nexts
--rw-rw-r-- stallion sys 4535 Jan 12  2020 hist.dlv-opt.nexts
--rw-rw-r-- stallion sys 4122 Jan 12  2020 hist.gdb-dbg.nexts
--rw-rw-r-- stallion sys 5891 Jan 12  2020 hist.gdb-opt.nexts
--rw-rw-r-- stallion sys 2458 Jan 12  2020 hist.go
--rw-rw-r-- stallion sys  251 Jan 12  2020 i22558.dlv-dbg.nexts
--rw-rw-r-- stallion sys  278 Jan 12  2020 i22558.gdb-dbg.nexts
--rw-rw-r-- stallion sys  773 Jan 12  2020 i22558.go
--rw-rw-r-- stallion sys  122 Jan 12  2020 i22600.dlv-dbg-race.nexts
--rw-rw-r-- stallion sys  149 Jan 12  2020 i22600.gdb-dbg-race.nexts
--rw-rw-r-- stallion sys  358 Jan 12  2020 i22600.go
--rw-rw-r-- stallion sys  151 Jan 12  2020 infloop.dlv-opt.nexts
--rw-rw-r-- stallion sys   98 Jan 12  2020 infloop.gdb-opt.nexts
--rw-rw-r-- stallion sys  177 Jan 12  2020 infloop.go
--rw-rw-r-- stallion sys 1305 Jan 12  2020 scopes.dlv-dbg.nexts
--rw-rw-r-- stallion sys 1132 Jan 12  2020 scopes.dlv-opt.nexts
--rw-rw-r-- stallion sys 1300 Jan 12  2020 scopes.gdb-dbg.nexts
--rw-rw-r-- stallion sys 1133 Jan 12  2020 scopes.gdb-opt.nexts
--rw-rw-r-- stallion sys 1482 Jan 12  2020 scopes.go