$use Dos StdIO;

Main =
  <Time> : s.dd1' 's.mmm1' 's.yyyy1' 's.hh1':'s.mm1':'s.ss1'.'s.sss1,
  <Time> : s.dd2' 's.mmm2' 's.yyyy2' 's.hh2':'s.mm2':'s.ss2'.'s.sss2,
  <Time> : s.dd3' 's.mmm3' 's.yyyy3' 's.hh3':'s.mm3':'s.ss3'.'s.sss3,
  s.dd2 s.mmm2 s.yyyy2 s.hh2 s.mm2 : {
    s.dd1 s.mmm1 s.yyyy1 s.hh1 s.mm1;
    s.dd3 s.mmm3 s.yyyy3 s.hh3 s.mm3;
  },
  <PrintLN OK!>;