This page has moved to https://drmaciver.com/notebook/2018/10/deleting-larger-intervals-in-test-case-reduction/.