Novo največje znano praštevilo - Lokar, Matija (Presek, 1996)