Seeded graph matching via large neighborhood statistics. Issue 3 (30th June 2020)