Comment by andriy_koval

especially compared to existing 129 pages proof by human