1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/isac-java/sml/sort-input.txt	Wed Apr 04 12:08:01 2018 +0200
     1.3 @@ -0,0 +1,1 @@
     1.4 +Sort {||1, 3, 2 ||}