entries  in_hit   in_slow_tot in_slow_mc in_no_route in_brd   in_martian_dst in_martian_src out_hit  out_slow_tot out_slow_mc gc_total gc_ignored gc_goal_miss gc_dst_overflow in_hlist_search out_hlist_search
00000013 00000000 002e4167    00006bd0   002d700f    0089d480 00000000       00000000       00000000 0021427a     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 000151ef    000035e8   00007254    0099029d 00000000       00000000       00000000 0021aa4a     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000
00000013 00000000 00000000    00000000   00000000    00000000 00000000       00000000       00000000 00000000     00000000    00000000 00000000   00000000     00000000        00000000        00000000