Moving four lepton exercise to default repo for historical reasons