# .font: font.text_2
2019-07-15 16:51 nesdori  
# .font: font.text_1
my solution probably not intended :)

# .font: font.text_2
2019-07-16 19:35 Piter  
# .font: font.text_1
maybe not intended, but in fact the quickest :-)

# .font: font.text_2
2019-07-17 16:03 shredder  
# .font: font.text_1
 nesdori , your'e great player and teacher :) fantastic run!