<div dir="ltr"><div><font face="arial, helvetica, sans-serif"><font color="#7F7F7F" style="font-size:medium">|</font><font color="#000000" style="color:rgb(0,0,0);font-size:medium"> </font><font color="#6B6B6B" style="font-size:medium">a</font><font color="#000000" style="color:rgb(0,0,0);font-size:medium"> </font><font color="#7F7F7F" style="font-size:medium">|</font><font color="#000000" style="color:rgb(0,0,0);font-size:medium"><br></font><font color="#6B6B6B" style="font-size:medium">a</font><font color="#000000" style="color:rgb(0,0,0);font-size:medium"> </font><b style="color:rgb(0,0,0);font-size:medium">:=</b><font color="#000000" style="color:rgb(0,0,0);font-size:medium"> </font><font color="#00007F" style="font-size:medium">#</font><font color="#000000" style="color:rgb(0,0,0);font-size:medium">(</font><font color="#7F0000" style="font-size:medium">5</font><font color="#000000" style="color:rgb(0,0,0);font-size:medium"> </font><font color="#7F0000" style="font-size:medium">2</font><font color="#000000" style="color:rgb(0,0,0);font-size:medium"> </font><font color="#7F0000" style="font-size:medium">6</font><font color="#000000" style="color:rgb(0,0,0);font-size:medium"> </font><font color="#7F0000" style="font-size:medium">9</font><font color="#000000" style="color:rgb(0,0,0);font-size:medium"> </font><font color="#7F0000" style="font-size:medium">1</font><font color="#000000" style="color:rgb(0,0,0);font-size:medium"> </font><font color="#7F0000" style="font-size:medium">4</font><font color="#000000" style="color:rgb(0,0,0);font-size:medium"> </font><font color="#7F0000" style="font-size:medium">3</font><font color="#000000" style="color:rgb(0,0,0);font-size:medium"> </font><font color="#7F0000" style="font-size:medium">8</font><font color="#000000" style="color:rgb(0,0,0);font-size:medium"> </font><font color="#7F0000" style="font-size:medium">10</font><font color="#000000" style="color:rgb(0,0,0);font-size:medium"> </font><font color="#7F0000" style="font-size:medium">7</font><font color="#000000" style="color:rgb(0,0,0);font-size:medium">)</font><font color="#000000" style="color:rgb(0,0,0);font-size:medium">.</font><font color="#000000" style="color:rgb(0,0,0);font-size:medium"><br></font><font color="#6B6B6B" style="font-size:medium">a</font><font color="#000000" style="color:rgb(0,0,0);font-size:medium"> </font><font color="#00007F" style="font-size:medium">do:</font><font color="#000000" style="color:rgb(0,0,0);font-size:medium"> </font><font color="#000000" style="color:rgb(0,0,0);font-size:medium">[</font><font color="#000000" style="color:rgb(0,0,0);font-size:medium">:</font><font color="#00007F" style="font-size:medium">each</font><font color="#000000" style="color:rgb(0,0,0);font-size:medium"> </font><font color="#7F7F7F" style="font-size:medium">|</font><font color="#000000" style="color:rgb(0,0,0);font-size:medium"> </font><font color="#007F00" style="font-size:medium">(</font><font color="#000000" style="color:rgb(0,0,0);font-size:medium">Transcript</font><font color="#000000" style="color:rgb(0,0,0);font-size:medium"> </font><font color="#00007F" style="font-size:medium">future:</font><font color="#000000" style="color:rgb(0,0,0);font-size:medium"> </font><font color="#00007F" style="font-size:medium">each</font><font color="#007F00" style="font-size:medium">)</font><font color="#000000" style="color:rgb(0,0,0);font-size:medium"> </font><font color="#00007F" style="font-size:medium">showln:</font><font color="#000000" style="color:rgb(0,0,0);font-size:medium"> </font><font color="#00007F" style="font-size:medium">each</font><font color="#000000" style="color:rgb(0,0,0);font-size:medium">]</font><font color="#000000" style="color:rgb(0,0,0);font-size:medium">.</font><font color="#000000" style="color:rgb(0,0,0);font-size:medium"><br></font></font></div><div><font color="#000000" style="color:rgb(0,0,0);font-size:medium" face="arial, helvetica, sans-serif"><br></font></div><div><font color="#000000" style="color:rgb(0,0,0);font-size:medium" face="arial, helvetica, sans-serif">- Bert -</font></div><div><font color="#000000" style="color:rgb(0,0,0);font-size:medium" face="arial, helvetica, sans-serif"><br></font></div><div><font color="#000000" style="color:rgb(0,0,0);font-size:medium" face="arial, helvetica, sans-serif">PS: Maybe someone wants to add this to to </font><font color="#000000" face="arial, helvetica, sans-serif" size="3"><a href="https://rosettacode.org/wiki/Sorting_algorithms/Sleep_sort">https://rosettacode.org/wiki/Sorting_algorithms/Sleep_sort</a></font></div></div>