S2(K(523))+

Proving the existence of a nonlift.