Rename 4-1 to 4-1.sage