50 lines
1.9 KiB
Plaintext
50 lines
1.9 KiB
Plaintext
|
|
( mint
|
|
(
|
|
(
|
|
( "begin of time" "2003-11-20-06:18:16.027" TRUE FALSE ) 0 )
|
|
(
|
|
( "2003-11-20-06:18:16.027" "2003-11-20-06:35:29.353" TRUE FALSE ) 1 )
|
|
(
|
|
( "2003-11-20-06:35:29.353" "2003-11-20-06:37:30.647" TRUE TRUE ) 2 )
|
|
(
|
|
( "2003-11-20-06:37:30.647" "2003-11-20-06:54:43.972" FALSE TRUE ) 1 )
|
|
(
|
|
( "2003-11-20-06:54:43.972" "2003-11-20-07:16" FALSE FALSE ) 0 )
|
|
(
|
|
( "2003-11-20-07:16" "2003-11-20-07:20" TRUE FALSE ) 1 )
|
|
(
|
|
( "2003-11-20-07:20" "2003-11-20-07:22" TRUE FALSE ) 2 )
|
|
(
|
|
( "2003-11-20-07:22" "2003-11-20-07:42:20.738" TRUE TRUE ) 1 )
|
|
(
|
|
( "2003-11-20-07:42:20.738" "2003-11-20-07:58:39.261" FALSE FALSE ) 0 )
|
|
(
|
|
( "2003-11-20-07:58:39.261" "2003-11-20-08:16:56.575" TRUE FALSE ) 1 )
|
|
(
|
|
( "2003-11-20-08:16:56.575" "2003-11-20-08:21" TRUE FALSE ) 2 )
|
|
(
|
|
( "2003-11-20-08:21" "2003-11-20-08:21:36.700" TRUE FALSE ) 1 )
|
|
(
|
|
( "2003-11-20-08:21:36.700" "2003-11-20-08:29:23.201" TRUE FALSE ) 2 )
|
|
(
|
|
( "2003-11-20-08:29:23.201" "2003-11-20-08:30:01.858" TRUE TRUE ) 3 )
|
|
(
|
|
( "2003-11-20-08:30:01.858" "2003-11-20-08:38:19.267" FALSE TRUE ) 2 )
|
|
(
|
|
( "2003-11-20-08:38:19.267" "2003-11-20-08:40" FALSE FALSE ) 1 )
|
|
(
|
|
( "2003-11-20-08:40" "2003-11-20-08:46:50.390" TRUE TRUE ) 2 )
|
|
(
|
|
( "2003-11-20-08:46:50.390" "2003-11-20-08:49:55.941" FALSE TRUE ) 1 )
|
|
(
|
|
( "2003-11-20-08:49:55.941" "2003-11-20-09:06" FALSE FALSE ) 0 )
|
|
(
|
|
( "2003-11-20-09:06" "2003-11-20-09:12" TRUE FALSE ) 1 )
|
|
(
|
|
( "2003-11-20-09:12" "2003-11-20-09:28:36.208" TRUE FALSE ) 0 )
|
|
(
|
|
( "2003-11-20-09:28:36.208" "2003-11-20-09:55" TRUE FALSE ) 1 )
|
|
(
|
|
( "2003-11-20-09:55" "end of time" TRUE TRUE ) 0 )))
|