*
notes: =Manningham (372145)?   
assertion #3638623 by mpimport on 2019-01-21: confidence 50%.