Lucas’ ABC Sort 10/15