../../Task/Sorting-algorithms-Insertion-sort/ACL2