Shellsort: gapped-insertion comparison sorting with diminishing increment sequences

Original label: Shellsort: gapped-insertion comparison sorting with diminishing increment sequences