( mint 
   (
      (
         ( "2003-11-20-06:18:16.027"  "2003-11-20-06:54:43.972"  TRUE  TRUE ) 0 )
      (
         ( "2003-11-20-07:16"  "2003-11-20-07:42:20.738"  TRUE  TRUE ) 0 )
      (
         ( "2003-11-20-07:58:39.261"  "2003-11-20-08:29:23.201"  TRUE  FALSE ) 0 )
      (
         ( "2003-11-20-08:29:23.201"  "2003-11-20-08:30:01.858"  TRUE  TRUE ) 1 )
      (
         ( "2003-11-20-08:30:01.858"  "2003-11-20-08:49:55.941"  FALSE  TRUE ) 0 )
      (
         ( "2003-11-20-09:06"  "2003-11-20-09:12"  TRUE  FALSE ) 0 )
      (
         ( "2003-11-20-09:28:36.208"  "2003-11-20-09:55"  TRUE  FALSE ) 0 )))