Files
secondo/Selftest/result1_inside_TemporalLifted
2026-01-23 17:03:45 +08:00

162 lines
6.5 KiB
Plaintext

( mbool
(
(
( "2003-11-20-06:06" "2003-11-20-06:06" TRUE TRUE ) TRUE )
(
( "2003-11-20-06:06" "2003-11-20-06:06:50" FALSE FALSE ) FALSE )
(
( "2003-11-20-06:06:50" "2003-11-20-06:07" TRUE TRUE ) TRUE )
(
( "2003-11-20-06:07" "2003-11-20-06:07:50" FALSE FALSE ) FALSE )
(
( "2003-11-20-06:07:50" "2003-11-20-06:08" TRUE TRUE ) TRUE )
(
( "2003-11-20-06:08" "2003-11-20-06:09:50" FALSE FALSE ) FALSE )
(
( "2003-11-20-06:09:50" "2003-11-20-06:10" TRUE TRUE ) TRUE )
(
( "2003-11-20-06:10" "2003-11-20-06:10:50" FALSE FALSE ) FALSE )
(
( "2003-11-20-06:10:50" "2003-11-20-06:11" TRUE TRUE ) TRUE )
(
( "2003-11-20-06:11" "2003-11-20-06:12:50" FALSE FALSE ) FALSE )
(
( "2003-11-20-06:12:50" "2003-11-20-06:13" TRUE TRUE ) TRUE )
(
( "2003-11-20-06:13" "2003-11-20-06:13:50" FALSE FALSE ) FALSE )
(
( "2003-11-20-06:13:50" "2003-11-20-06:14" TRUE TRUE ) TRUE )
(
( "2003-11-20-06:14" "2003-11-20-06:15:50" FALSE FALSE ) FALSE )
(
( "2003-11-20-06:15:50" "2003-11-20-06:16" TRUE TRUE ) TRUE )
(
( "2003-11-20-06:16" "2003-11-20-06:16:50" FALSE FALSE ) FALSE )
(
( "2003-11-20-06:16:50" "2003-11-20-06:17" TRUE TRUE ) TRUE )
(
( "2003-11-20-06:17" "2003-11-20-06:18:50" FALSE FALSE ) FALSE )
(
( "2003-11-20-06:18:50" "2003-11-20-06:19" TRUE TRUE ) TRUE )
(
( "2003-11-20-06:19" "2003-11-20-06:19:50" FALSE FALSE ) FALSE )
(
( "2003-11-20-06:19:50" "2003-11-20-06:20" TRUE TRUE ) TRUE )
(
( "2003-11-20-06:20" "2003-11-20-06:21:50" FALSE FALSE ) FALSE )
(
( "2003-11-20-06:21:50" "2003-11-20-06:22" TRUE TRUE ) TRUE )
(
( "2003-11-20-06:22" "2003-11-20-06:22:50" FALSE FALSE ) FALSE )
(
( "2003-11-20-06:22:50" "2003-11-20-06:23" TRUE TRUE ) TRUE )
(
( "2003-11-20-06:23" "2003-11-20-06:24:50" FALSE FALSE ) FALSE )
(
( "2003-11-20-06:24:50" "2003-11-20-06:25" TRUE TRUE ) TRUE )
(
( "2003-11-20-06:25" "2003-11-20-06:26:50" FALSE FALSE ) FALSE )
(
( "2003-11-20-06:26:50" "2003-11-20-06:27" TRUE TRUE ) TRUE )
(
( "2003-11-20-06:27" "2003-11-20-06:27:50" FALSE FALSE ) FALSE )
(
( "2003-11-20-06:27:50" "2003-11-20-06:28" TRUE TRUE ) TRUE )
(
( "2003-11-20-06:28" "2003-11-20-06:29:50" FALSE FALSE ) FALSE )
(
( "2003-11-20-06:29:50" "2003-11-20-06:30" TRUE TRUE ) TRUE )
(
( "2003-11-20-06:30" "2003-11-20-06:31:50" FALSE FALSE ) FALSE )
(
( "2003-11-20-06:31:50" "2003-11-20-06:32" TRUE TRUE ) TRUE )
(
( "2003-11-20-06:32" "2003-11-20-06:32:50" FALSE FALSE ) FALSE )
(
( "2003-11-20-06:32:50" "2003-11-20-06:33" TRUE TRUE ) TRUE )
(
( "2003-11-20-06:33" "2003-11-20-06:34:50" FALSE FALSE ) FALSE )
(
( "2003-11-20-06:34:50" "2003-11-20-06:35" TRUE TRUE ) TRUE )
(
( "2003-11-20-06:35" "2003-11-20-06:35:50" FALSE FALSE ) FALSE )
(
( "2003-11-20-06:35:50" "2003-11-20-06:36" TRUE TRUE ) TRUE )
(
( "2003-11-20-06:36" "2003-11-20-06:36:50" FALSE FALSE ) FALSE )
(
( "2003-11-20-06:36:50" "2003-11-20-06:37" TRUE TRUE ) TRUE )
(
( "2003-11-20-06:37" "2003-11-20-06:37:50" FALSE FALSE ) FALSE )
(
( "2003-11-20-06:37:50" "2003-11-20-06:38" TRUE TRUE ) TRUE )
(
( "2003-11-20-06:38" "2003-11-20-06:39:50" FALSE FALSE ) FALSE )
(
( "2003-11-20-06:39:50" "2003-11-20-06:40" TRUE TRUE ) TRUE )
(
( "2003-11-20-06:40" "2003-11-20-06:40:50" FALSE FALSE ) FALSE )
(
( "2003-11-20-06:40:50" "2003-11-20-06:41" TRUE TRUE ) TRUE )
(
( "2003-11-20-06:41" "2003-11-20-06:41:50" FALSE FALSE ) FALSE )
(
( "2003-11-20-06:41:50" "2003-11-20-06:42" TRUE TRUE ) TRUE )
(
( "2003-11-20-06:42" "2003-11-20-06:43:50" FALSE FALSE ) FALSE )
(
( "2003-11-20-06:43:50" "2003-11-20-06:44" TRUE TRUE ) TRUE )
(
( "2003-11-20-06:44" "2003-11-20-06:44:50" FALSE FALSE ) FALSE )
(
( "2003-11-20-06:44:50" "2003-11-20-06:45" TRUE TRUE ) TRUE )
(
( "2003-11-20-06:45" "2003-11-20-06:45:50" FALSE FALSE ) FALSE )
(
( "2003-11-20-06:45:50" "2003-11-20-06:46" TRUE TRUE ) TRUE )
(
( "2003-11-20-06:46" "2003-11-20-06:47:50" FALSE FALSE ) FALSE )
(
( "2003-11-20-06:47:50" "2003-11-20-06:48" TRUE TRUE ) TRUE )
(
( "2003-11-20-06:48" "2003-11-20-06:48:50" FALSE FALSE ) FALSE )
(
( "2003-11-20-06:48:50" "2003-11-20-06:49" TRUE TRUE ) TRUE )
(
( "2003-11-20-06:49" "2003-11-20-06:50:50" FALSE FALSE ) FALSE )
(
( "2003-11-20-06:50:50" "2003-11-20-06:51" TRUE TRUE ) TRUE )
(
( "2003-11-20-06:51" "2003-11-20-06:51:50" FALSE FALSE ) FALSE )
(
( "2003-11-20-06:51:50" "2003-11-20-06:52" TRUE TRUE ) TRUE )
(
( "2003-11-20-06:52" "2003-11-20-06:52:50" FALSE FALSE ) FALSE )
(
( "2003-11-20-06:52:50" "2003-11-20-06:53" TRUE TRUE ) TRUE )
(
( "2003-11-20-06:53" "2003-11-20-06:54:50" FALSE FALSE ) FALSE )
(
( "2003-11-20-06:54:50" "2003-11-20-06:55" TRUE TRUE ) TRUE )
(
( "2003-11-20-06:55" "2003-11-20-06:55:50" FALSE FALSE ) FALSE )
(
( "2003-11-20-06:55:50" "2003-11-20-06:56" TRUE TRUE ) TRUE )
(
( "2003-11-20-06:56" "2003-11-20-06:57:50" FALSE FALSE ) FALSE )
(
( "2003-11-20-06:57:50" "2003-11-20-06:58" TRUE TRUE ) TRUE )
(
( "2003-11-20-06:58" "2003-11-20-06:59:50" FALSE FALSE ) FALSE )
(
( "2003-11-20-06:59:50" "2003-11-20-07:00" TRUE TRUE ) TRUE )
(
( "2003-11-20-07:00" "2003-11-20-07:00:50" FALSE FALSE ) FALSE )
(
( "2003-11-20-07:00:50" "2003-11-20-07:01" TRUE TRUE ) TRUE )
(
( "2003-11-20-07:01" "2003-11-20-07:01:50" FALSE FALSE ) FALSE )
(
( "2003-11-20-07:01:50" "2003-11-20-07:02" TRUE FALSE ) TRUE )))