3743 lines
111 KiB
Plaintext
3743 lines
111 KiB
Plaintext
|
|
(DATABASE DEMO
|
|
(TYPES)
|
|
(OBJECTS
|
|
|
|
|
|
(OBJECT updates1
|
|
()
|
|
(rel
|
|
(tuple
|
|
(
|
|
(IPos ipoint)
|
|
(DestTid tid))))
|
|
(
|
|
(
|
|
("2000-01-01-00:02"
|
|
(2.0 2.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:03"
|
|
(3.0 3.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:04"
|
|
(4.0 4.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:05"
|
|
(5.0 5.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:06"
|
|
(6.0 6.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:07"
|
|
(7.0 7.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:08"
|
|
(8.0 8.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:09"
|
|
(9.0 9.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:10"
|
|
(10.0 10.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:11"
|
|
(11.0 11.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:12"
|
|
(12.0 12.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:13"
|
|
(13.0 13.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:14"
|
|
(14.0 14.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:15"
|
|
(15.0 15.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:16"
|
|
(16.0 16.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:17"
|
|
(17.0 17.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:18"
|
|
(18.0 18.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:19"
|
|
(19.0 19.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:20"
|
|
(20.0 20.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:21"
|
|
(21.0 21.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:22"
|
|
(22.0 22.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:23"
|
|
(23.0 23.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:24"
|
|
(24.0 24.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:25"
|
|
(25.0 25.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:26"
|
|
(26.0 26.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:27"
|
|
(27.0 27.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:28"
|
|
(28.0 28.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:29"
|
|
(29.0 29.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:30"
|
|
(30.0 30.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:31"
|
|
(31.0 31.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:32"
|
|
(32.0 32.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:33"
|
|
(33.0 33.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:34"
|
|
(34.0 34.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:35"
|
|
(35.0 35.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:36"
|
|
(36.0 36.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:37"
|
|
(37.0 37.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:38"
|
|
(38.0 38.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:39"
|
|
(39.0 39.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:40"
|
|
(40.0 40.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:41"
|
|
(41.0 41.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:42"
|
|
(42.0 42.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:43"
|
|
(43.0 43.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:44"
|
|
(44.0 44.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:45"
|
|
(45.0 45.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:46"
|
|
(46.0 46.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:47"
|
|
(47.0 47.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:48"
|
|
(48.0 48.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:49"
|
|
(49.0 49.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:50"
|
|
(50.0 50.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:51"
|
|
(51.0 51.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:52"
|
|
(52.0 52.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:53"
|
|
(53.0 53.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:54"
|
|
(54.0 54.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:55"
|
|
(55.0 55.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:56"
|
|
(56.0 56.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:57"
|
|
(57.0 57.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:58"
|
|
(58.0 58.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:59"
|
|
(59.0 59.0))
|
|
5)
|
|
(
|
|
("2000-01-01-01:00"
|
|
(60.0 60.0))
|
|
5)
|
|
(
|
|
("2000-01-01-01:01"
|
|
(61.0 61.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:02"
|
|
(62.0 62.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:03"
|
|
(63.0 63.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:04"
|
|
(64.0 64.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:05"
|
|
(65.0 65.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:06"
|
|
(66.0 66.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:07"
|
|
(67.0 67.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:08"
|
|
(68.0 68.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:09"
|
|
(69.0 69.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:10"
|
|
(70.0 70.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:11"
|
|
(71.0 71.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:12"
|
|
(72.0 72.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:13"
|
|
(73.0 73.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:14"
|
|
(74.0 74.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:15"
|
|
(75.0 75.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:16"
|
|
(76.0 76.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:17"
|
|
(77.0 77.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:18"
|
|
(78.0 78.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:19"
|
|
(79.0 79.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:20"
|
|
(80.0 80.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:21"
|
|
(81.0 81.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:22"
|
|
(82.0 82.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:23"
|
|
(83.0 83.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:24"
|
|
(84.0 84.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:25"
|
|
(85.0 85.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:26"
|
|
(86.0 86.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:27"
|
|
(87.0 87.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:28"
|
|
(88.0 88.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:29"
|
|
(89.0 89.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:30"
|
|
(90.0 90.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:31"
|
|
(91.0 91.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:32"
|
|
(92.0 92.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:33"
|
|
(93.0 93.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:34"
|
|
(94.0 94.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:35"
|
|
(95.0 95.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:36"
|
|
(96.0 96.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:37"
|
|
(97.0 97.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:38"
|
|
(98.0 98.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:39"
|
|
(99.0 99.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:40"
|
|
(100.0 100.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:41"
|
|
(101.0 101.0))
|
|
9)))
|
|
|
|
|
|
(OBJECT updates2
|
|
()
|
|
(rel
|
|
(tuple
|
|
(
|
|
(IPos ipoint)
|
|
(DestTid tid))))
|
|
(
|
|
(
|
|
("2000-01-01-00:02"
|
|
(2.0 2.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:03"
|
|
(3.0 3.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:04"
|
|
(4.0 4.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:05"
|
|
(5.0 5.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:06"
|
|
(6.0 6.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:07"
|
|
(7.0 7.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:08"
|
|
(8.0 8.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:09"
|
|
(9.0 9.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:10"
|
|
(10.0 10.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:11"
|
|
(11.0 11.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:12"
|
|
(12.0 12.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:13"
|
|
(13.0 13.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:14"
|
|
(14.0 14.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:15"
|
|
(15.0 15.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:16"
|
|
(16.0 16.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:17"
|
|
(17.0 17.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:18"
|
|
(18.0 18.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:19"
|
|
(19.0 19.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:20"
|
|
(20.0 20.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:21"
|
|
(21.0 21.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:22"
|
|
(22.0 22.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:23"
|
|
(23.0 23.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:24"
|
|
(24.0 24.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:25"
|
|
(25.0 25.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:26"
|
|
(26.0 26.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:27"
|
|
(27.0 27.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:28"
|
|
(28.0 28.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:29"
|
|
(29.0 29.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:30"
|
|
(30.0 30.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:31"
|
|
(31.0 31.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:32"
|
|
(32.0 32.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:33"
|
|
(33.0 33.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:34"
|
|
(34.0 34.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:35"
|
|
(35.0 35.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:36"
|
|
(36.0 36.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:37"
|
|
(37.0 37.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:38"
|
|
(38.0 38.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:39"
|
|
(39.0 39.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:40"
|
|
(40.0 40.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:41"
|
|
(41.0 41.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:42"
|
|
(42.0 42.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:43"
|
|
(43.0 43.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:44"
|
|
(44.0 44.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:45"
|
|
(45.0 45.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:46"
|
|
(46.0 46.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:47"
|
|
(47.0 47.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:48"
|
|
(48.0 48.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:49"
|
|
(49.0 49.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:50"
|
|
(50.0 50.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:51"
|
|
(51.0 51.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:52"
|
|
(52.0 52.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:53"
|
|
(53.0 53.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:54"
|
|
(54.0 54.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:55"
|
|
(55.0 55.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:56"
|
|
(56.0 56.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:57"
|
|
(57.0 57.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:58"
|
|
(58.0 58.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:59"
|
|
(59.0 59.0))
|
|
5)
|
|
(
|
|
("2000-01-01-01:00"
|
|
(60.0 60.0))
|
|
5)
|
|
(
|
|
("2000-01-01-01:01"
|
|
(61.0 61.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:02"
|
|
(62.0 62.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:03"
|
|
(63.0 63.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:04"
|
|
(64.0 64.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:05"
|
|
(65.0 65.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:06"
|
|
(66.0 66.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:07"
|
|
(67.0 67.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:08"
|
|
(68.0 68.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:09"
|
|
(69.0 69.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:10"
|
|
(70.0 70.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:11"
|
|
(71.0 71.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:12"
|
|
(72.0 72.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:13"
|
|
(73.0 73.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:14"
|
|
(74.0 74.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:15"
|
|
(75.0 75.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:16"
|
|
(76.0 76.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:17"
|
|
(77.0 77.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:18"
|
|
(78.0 78.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:19"
|
|
(79.0 79.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:20"
|
|
(80.0 80.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:21"
|
|
(81.0 81.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:22"
|
|
(82.0 82.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:23"
|
|
(83.0 83.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:24"
|
|
(84.0 84.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:25"
|
|
(85.0 85.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:26"
|
|
(86.0 86.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:27"
|
|
(87.0 87.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:28"
|
|
(88.0 88.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:29"
|
|
(89.0 89.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:30"
|
|
(90.0 90.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:31"
|
|
(91.0 91.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:32"
|
|
(92.0 92.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:33"
|
|
(93.0 93.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:34"
|
|
(94.0 94.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:35"
|
|
(95.0 95.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:36"
|
|
(96.0 96.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:37"
|
|
(97.0 97.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:38"
|
|
(98.0 98.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:39"
|
|
(99.0 99.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:40"
|
|
(100.0 100.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:41"
|
|
(101.0 101.0))
|
|
9)))
|
|
|
|
|
|
(OBJECT updates3a
|
|
()
|
|
(rel
|
|
(tuple
|
|
(
|
|
(IPos ipoint)
|
|
(DestTid tid))))
|
|
(
|
|
(
|
|
("2000-01-01-00:02"
|
|
(2.0 2.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:03"
|
|
(3.0 3.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:04"
|
|
(4.0 4.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:05"
|
|
(5.0 5.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:06"
|
|
(6.0 6.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:07"
|
|
(7.0 7.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:08"
|
|
(8.0 8.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:09"
|
|
(9.0 9.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:10"
|
|
(10.0 10.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:11"
|
|
(11.0 11.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:12"
|
|
(12.0 12.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:13"
|
|
(13.0 13.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:14"
|
|
(14.0 14.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:15"
|
|
(15.0 15.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:16"
|
|
(16.0 16.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:17"
|
|
(17.0 17.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:18"
|
|
(18.0 18.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:19"
|
|
(19.0 19.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:20"
|
|
(20.0 20.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:21"
|
|
(21.0 21.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:22"
|
|
(22.0 22.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:23"
|
|
(23.0 23.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:24"
|
|
(24.0 24.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:25"
|
|
(25.0 25.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:26"
|
|
(26.0 26.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:27"
|
|
(27.0 27.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:28"
|
|
(28.0 28.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:29"
|
|
(29.0 29.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:30"
|
|
(30.0 30.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:31"
|
|
(31.0 31.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:32"
|
|
(32.0 32.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:33"
|
|
(33.0 33.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:34"
|
|
(34.0 34.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:35"
|
|
(35.0 35.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:36"
|
|
(36.0 36.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:37"
|
|
(37.0 37.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:38"
|
|
(38.0 38.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:39"
|
|
(39.0 39.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:40"
|
|
(40.0 40.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:41"
|
|
(41.0 41.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:42"
|
|
(42.0 42.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:43"
|
|
(43.0 43.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:44"
|
|
(44.0 44.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:45"
|
|
(45.0 45.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:46"
|
|
(46.0 46.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:47"
|
|
(47.0 47.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:48"
|
|
(48.0 48.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:49"
|
|
(49.0 49.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:50"
|
|
(50.0 50.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:51"
|
|
(51.0 51.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:52"
|
|
(52.0 52.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:53"
|
|
(53.0 53.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:54"
|
|
(54.0 54.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:55"
|
|
(55.0 55.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:56"
|
|
(56.0 56.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:57"
|
|
(57.0 57.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:58"
|
|
(58.0 58.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:59"
|
|
(59.0 59.0))
|
|
5)
|
|
(
|
|
("2000-01-01-01:00"
|
|
(60.0 60.0))
|
|
5)
|
|
(
|
|
("2000-01-01-01:01"
|
|
(61.0 61.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:02"
|
|
(62.0 62.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:03"
|
|
(63.0 63.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:04"
|
|
(64.0 64.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:05"
|
|
(65.0 65.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:06"
|
|
(66.0 66.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:07"
|
|
(67.0 67.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:08"
|
|
(68.0 68.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:09"
|
|
(69.0 69.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:10"
|
|
(70.0 70.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:11"
|
|
(71.0 71.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:12"
|
|
(72.0 72.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:13"
|
|
(73.0 73.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:14"
|
|
(74.0 74.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:15"
|
|
(75.0 75.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:16"
|
|
(76.0 76.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:17"
|
|
(77.0 77.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:18"
|
|
(78.0 78.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:19"
|
|
(79.0 79.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:20"
|
|
(80.0 80.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:21"
|
|
(81.0 81.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:22"
|
|
(82.0 82.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:23"
|
|
(83.0 83.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:24"
|
|
(84.0 84.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:25"
|
|
(85.0 85.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:26"
|
|
(86.0 86.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:27"
|
|
(87.0 87.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:28"
|
|
(88.0 88.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:29"
|
|
(89.0 89.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:30"
|
|
(90.0 90.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:31"
|
|
(91.0 91.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:32"
|
|
(92.0 92.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:33"
|
|
(93.0 93.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:34"
|
|
(94.0 94.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:35"
|
|
(95.0 95.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:36"
|
|
(96.0 96.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:37"
|
|
(97.0 97.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:38"
|
|
(98.0 98.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:39"
|
|
(99.0 99.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:40"
|
|
(100.0 100.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:41"
|
|
(101.0 101.0))
|
|
9)))
|
|
|
|
|
|
|
|
(OBJECT updates3b
|
|
()
|
|
(rel
|
|
(tuple
|
|
(
|
|
(IPos ipoint)
|
|
(DestTid tid))))
|
|
(
|
|
(
|
|
("2000-01-01-00:02"
|
|
(2.0 2.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:03"
|
|
(3.0 3.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:04"
|
|
(4.0 4.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:05"
|
|
(5.0 5.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:06"
|
|
(6.0 6.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:07"
|
|
(7.0 7.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:08"
|
|
(8.0 8.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:09"
|
|
(9.0 9.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:10"
|
|
(10.0 10.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:11"
|
|
(11.0 11.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:12"
|
|
(12.0 12.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:13"
|
|
(13.0 13.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:14"
|
|
(14.0 14.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:15"
|
|
(15.0 15.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:16"
|
|
(16.0 16.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:17"
|
|
(17.0 17.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:18"
|
|
(18.0 18.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:19"
|
|
(19.0 19.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:20"
|
|
(20.0 20.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:21"
|
|
(21.0 21.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:22"
|
|
(22.0 22.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:23"
|
|
(23.0 23.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:24"
|
|
(24.0 24.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:25"
|
|
(25.0 25.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:26"
|
|
(26.0 26.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:27"
|
|
(27.0 27.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:28"
|
|
(28.0 28.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:29"
|
|
(29.0 29.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:30"
|
|
(30.0 30.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:31"
|
|
(31.0 31.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:32"
|
|
(32.0 32.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:33"
|
|
(33.0 33.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:34"
|
|
(34.0 34.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:35"
|
|
(35.0 35.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:36"
|
|
(36.0 36.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:37"
|
|
(37.0 37.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:38"
|
|
(38.0 38.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:39"
|
|
(39.0 39.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:40"
|
|
(40.0 40.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:41"
|
|
(41.0 41.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:42"
|
|
(42.0 42.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:43"
|
|
(43.0 43.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:44"
|
|
(44.0 44.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:45"
|
|
(45.0 45.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:46"
|
|
(46.0 46.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:47"
|
|
(47.0 47.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:48"
|
|
(48.0 48.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:49"
|
|
(49.0 49.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:50"
|
|
(50.0 50.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:51"
|
|
(51.0 51.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:52"
|
|
(52.0 52.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:53"
|
|
(53.0 53.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:54"
|
|
(54.0 54.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:55"
|
|
(55.0 55.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:56"
|
|
(56.0 56.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:57"
|
|
(57.0 57.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:58"
|
|
(58.0 58.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:59"
|
|
(59.0 59.0))
|
|
5)
|
|
(
|
|
("2000-01-01-01:00"
|
|
(60.0 60.0))
|
|
5)
|
|
(
|
|
("2000-01-01-01:01"
|
|
(61.0 61.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:02"
|
|
(62.0 62.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:03"
|
|
(63.0 63.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:04"
|
|
(64.0 64.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:05"
|
|
(65.0 65.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:06"
|
|
(66.0 66.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:07"
|
|
(67.0 67.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:08"
|
|
(68.0 68.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:09"
|
|
(69.0 69.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:10"
|
|
(70.0 70.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:11"
|
|
(71.0 71.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:12"
|
|
(72.0 72.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:13"
|
|
(73.0 73.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:14"
|
|
(74.0 74.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:15"
|
|
(75.0 75.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:16"
|
|
(76.0 76.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:17"
|
|
(77.0 77.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:18"
|
|
(78.0 78.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:19"
|
|
(79.0 79.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:20"
|
|
(80.0 80.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:21"
|
|
(81.0 81.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:22"
|
|
(82.0 82.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:23"
|
|
(83.0 83.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:24"
|
|
(84.0 84.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:25"
|
|
(85.0 85.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:26"
|
|
(86.0 86.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:27"
|
|
(87.0 87.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:28"
|
|
(88.0 88.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:29"
|
|
(89.0 89.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:30"
|
|
(90.0 90.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:31"
|
|
(91.0 91.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:32"
|
|
(92.0 92.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:33"
|
|
(93.0 93.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:34"
|
|
(94.0 94.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:35"
|
|
(95.0 95.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:36"
|
|
(96.0 96.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:37"
|
|
(97.0 97.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:38"
|
|
(98.0 98.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:39"
|
|
(99.0 99.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:40"
|
|
(100.0 100.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:41"
|
|
(101.0 101.0))
|
|
9)))
|
|
|
|
|
|
(OBJECT updates3c
|
|
()
|
|
(rel
|
|
(tuple
|
|
(
|
|
(IPos ipoint)
|
|
(DestTid tid))))
|
|
(
|
|
(
|
|
("2000-01-01-00:02"
|
|
(2.0 2.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:03"
|
|
(3.0 3.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:04"
|
|
(4.0 4.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:05"
|
|
(5.0 5.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:06"
|
|
(6.0 6.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:07"
|
|
(7.0 7.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:08"
|
|
(8.0 8.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:09"
|
|
(9.0 9.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:10"
|
|
(10.0 10.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:11"
|
|
(11.0 11.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:12"
|
|
(12.0 12.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:13"
|
|
(13.0 13.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:14"
|
|
(14.0 14.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:15"
|
|
(15.0 15.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:16"
|
|
(16.0 16.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:17"
|
|
(17.0 17.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:18"
|
|
(18.0 18.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:19"
|
|
(19.0 19.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:20"
|
|
(20.0 20.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:21"
|
|
(21.0 21.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:22"
|
|
(22.0 22.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:23"
|
|
(23.0 23.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:24"
|
|
(24.0 24.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:25"
|
|
(25.0 25.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:26"
|
|
(26.0 26.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:27"
|
|
(27.0 27.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:28"
|
|
(28.0 28.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:29"
|
|
(29.0 29.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:30"
|
|
(30.0 30.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:31"
|
|
(31.0 31.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:32"
|
|
(32.0 32.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:33"
|
|
(33.0 33.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:34"
|
|
(34.0 34.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:35"
|
|
(35.0 35.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:36"
|
|
(36.0 36.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:37"
|
|
(37.0 37.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:38"
|
|
(38.0 38.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:39"
|
|
(39.0 39.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:40"
|
|
(40.0 40.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:41"
|
|
(41.0 41.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:42"
|
|
(42.0 42.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:43"
|
|
(43.0 43.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:44"
|
|
(44.0 44.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:45"
|
|
(45.0 45.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:46"
|
|
(46.0 46.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:47"
|
|
(47.0 47.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:48"
|
|
(48.0 48.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:49"
|
|
(49.0 49.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:50"
|
|
(50.0 50.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:51"
|
|
(51.0 51.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:52"
|
|
(52.0 52.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:53"
|
|
(53.0 53.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:54"
|
|
(54.0 54.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:55"
|
|
(55.0 55.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:56"
|
|
(56.0 56.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:57"
|
|
(57.0 57.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:58"
|
|
(58.0 58.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:59"
|
|
(59.0 59.0))
|
|
5)
|
|
(
|
|
("2000-01-01-01:00"
|
|
(60.0 60.0))
|
|
5)
|
|
(
|
|
("2000-01-01-01:01"
|
|
(61.0 61.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:02"
|
|
(62.0 62.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:03"
|
|
(63.0 63.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:04"
|
|
(64.0 64.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:05"
|
|
(65.0 65.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:06"
|
|
(66.0 66.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:07"
|
|
(67.0 67.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:08"
|
|
(68.0 68.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:09"
|
|
(69.0 69.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:10"
|
|
(70.0 70.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:11"
|
|
(71.0 71.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:12"
|
|
(72.0 72.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:13"
|
|
(73.0 73.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:14"
|
|
(74.0 74.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:15"
|
|
(75.0 75.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:16"
|
|
(76.0 76.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:17"
|
|
(77.0 77.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:18"
|
|
(78.0 78.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:19"
|
|
(79.0 79.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:20"
|
|
(80.0 80.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:21"
|
|
(81.0 81.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:22"
|
|
(82.0 82.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:23"
|
|
(83.0 83.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:24"
|
|
(84.0 84.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:25"
|
|
(85.0 85.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:26"
|
|
(86.0 86.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:27"
|
|
(87.0 87.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:28"
|
|
(88.0 88.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:29"
|
|
(89.0 89.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:30"
|
|
(90.0 90.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:31"
|
|
(91.0 91.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:32"
|
|
(92.0 92.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:33"
|
|
(93.0 93.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:34"
|
|
(94.0 94.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:35"
|
|
(95.0 95.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:36"
|
|
(96.0 96.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:37"
|
|
(97.0 97.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:38"
|
|
(98.0 98.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:39"
|
|
(99.0 99.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:40"
|
|
(100.0 100.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:41"
|
|
(101.0 101.0))
|
|
9)))
|
|
|
|
|
|
(OBJECT updates4a
|
|
()
|
|
(rel
|
|
(tuple
|
|
(
|
|
(IPos ipoint)
|
|
(DestTid tid))))
|
|
(
|
|
(
|
|
("2000-01-01-00:02"
|
|
(2.0 2.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:03"
|
|
(3.0 3.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:04"
|
|
(4.0 4.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:05"
|
|
(5.0 5.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:06"
|
|
(6.0 6.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:07"
|
|
(7.0 7.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:08"
|
|
(8.0 8.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:09"
|
|
(9.0 9.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:10"
|
|
(10.0 10.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:11"
|
|
(11.0 11.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:12"
|
|
(12.0 12.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:13"
|
|
(13.0 13.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:14"
|
|
(14.0 14.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:15"
|
|
(15.0 15.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:16"
|
|
(16.0 16.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:17"
|
|
(17.0 17.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:18"
|
|
(18.0 18.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:19"
|
|
(19.0 19.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:20"
|
|
(20.0 20.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:21"
|
|
(21.0 21.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:22"
|
|
(22.0 22.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:23"
|
|
(23.0 23.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:24"
|
|
(24.0 24.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:25"
|
|
(25.0 25.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:26"
|
|
(26.0 26.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:27"
|
|
(27.0 27.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:28"
|
|
(28.0 28.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:29"
|
|
(29.0 29.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:30"
|
|
(30.0 30.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:31"
|
|
(31.0 31.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:32"
|
|
(32.0 32.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:33"
|
|
(33.0 33.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:34"
|
|
(34.0 34.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:35"
|
|
(35.0 35.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:36"
|
|
(36.0 36.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:37"
|
|
(37.0 37.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:38"
|
|
(38.0 38.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:39"
|
|
(39.0 39.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:40"
|
|
(40.0 40.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:41"
|
|
(41.0 41.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:42"
|
|
(42.0 42.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:43"
|
|
(43.0 43.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:44"
|
|
(44.0 44.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:45"
|
|
(45.0 45.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:46"
|
|
(46.0 46.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:47"
|
|
(47.0 47.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:48"
|
|
(48.0 48.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:49"
|
|
(49.0 49.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:50"
|
|
(50.0 50.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:51"
|
|
(51.0 51.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:52"
|
|
(52.0 52.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:53"
|
|
(53.0 53.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:54"
|
|
(54.0 54.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:55"
|
|
(55.0 55.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:56"
|
|
(56.0 56.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:57"
|
|
(57.0 57.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:58"
|
|
(58.0 58.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:59"
|
|
(59.0 59.0))
|
|
5)
|
|
(
|
|
("2000-01-01-01:00"
|
|
(60.0 60.0))
|
|
5)
|
|
(
|
|
("2000-01-01-01:01"
|
|
(61.0 61.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:02"
|
|
(62.0 62.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:03"
|
|
(63.0 63.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:04"
|
|
(64.0 64.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:05"
|
|
(65.0 65.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:06"
|
|
(66.0 66.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:07"
|
|
(67.0 67.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:08"
|
|
(68.0 68.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:09"
|
|
(69.0 69.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:10"
|
|
(70.0 70.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:11"
|
|
(71.0 71.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:12"
|
|
(72.0 72.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:13"
|
|
(73.0 73.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:14"
|
|
(74.0 74.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:15"
|
|
(75.0 75.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:16"
|
|
(76.0 76.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:17"
|
|
(77.0 77.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:18"
|
|
(78.0 78.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:19"
|
|
(79.0 79.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:20"
|
|
(80.0 80.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:21"
|
|
(81.0 81.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:22"
|
|
(82.0 82.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:23"
|
|
(83.0 83.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:24"
|
|
(84.0 84.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:25"
|
|
(85.0 85.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:26"
|
|
(86.0 86.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:27"
|
|
(87.0 87.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:28"
|
|
(88.0 88.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:29"
|
|
(89.0 89.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:30"
|
|
(90.0 90.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:31"
|
|
(91.0 91.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:32"
|
|
(92.0 92.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:33"
|
|
(93.0 93.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:34"
|
|
(94.0 94.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:35"
|
|
(95.0 95.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:36"
|
|
(96.0 96.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:37"
|
|
(97.0 97.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:38"
|
|
(98.0 98.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:39"
|
|
(99.0 99.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:40"
|
|
(100.0 100.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:41"
|
|
(101.0 101.0))
|
|
9)))
|
|
|
|
(OBJECT updates4b
|
|
()
|
|
(rel
|
|
(tuple
|
|
(
|
|
(IPos ipoint)
|
|
(DestTid tid))))
|
|
(
|
|
(
|
|
("2000-01-01-00:02"
|
|
(2.0 2.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:03"
|
|
(3.0 3.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:04"
|
|
(4.0 4.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:05"
|
|
(5.0 5.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:06"
|
|
(6.0 6.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:07"
|
|
(7.0 7.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:08"
|
|
(8.0 8.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:09"
|
|
(9.0 9.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:10"
|
|
(10.0 10.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:11"
|
|
(11.0 11.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:12"
|
|
(12.0 12.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:13"
|
|
(13.0 13.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:14"
|
|
(14.0 14.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:15"
|
|
(15.0 15.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:16"
|
|
(16.0 16.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:17"
|
|
(17.0 17.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:18"
|
|
(18.0 18.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:19"
|
|
(19.0 19.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:20"
|
|
(20.0 20.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:21"
|
|
(21.0 21.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:22"
|
|
(22.0 22.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:23"
|
|
(23.0 23.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:24"
|
|
(24.0 24.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:25"
|
|
(25.0 25.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:26"
|
|
(26.0 26.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:27"
|
|
(27.0 27.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:28"
|
|
(28.0 28.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:29"
|
|
(29.0 29.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:30"
|
|
(30.0 30.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:31"
|
|
(31.0 31.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:32"
|
|
(32.0 32.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:33"
|
|
(33.0 33.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:34"
|
|
(34.0 34.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:35"
|
|
(35.0 35.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:36"
|
|
(36.0 36.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:37"
|
|
(37.0 37.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:38"
|
|
(38.0 38.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:39"
|
|
(39.0 39.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:40"
|
|
(40.0 40.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:41"
|
|
(41.0 41.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:42"
|
|
(42.0 42.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:43"
|
|
(43.0 43.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:44"
|
|
(44.0 44.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:45"
|
|
(45.0 45.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:46"
|
|
(46.0 46.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:47"
|
|
(47.0 47.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:48"
|
|
(48.0 48.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:49"
|
|
(49.0 49.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:50"
|
|
(50.0 50.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:51"
|
|
(51.0 51.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:52"
|
|
(52.0 52.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:53"
|
|
(53.0 53.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:54"
|
|
(54.0 54.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:55"
|
|
(55.0 55.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:56"
|
|
(56.0 56.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:57"
|
|
(57.0 57.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:58"
|
|
(58.0 58.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:59"
|
|
(59.0 59.0))
|
|
5)
|
|
(
|
|
("2000-01-01-01:00"
|
|
(60.0 60.0))
|
|
5)
|
|
(
|
|
("2000-01-01-01:01"
|
|
(61.0 61.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:02"
|
|
(62.0 62.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:03"
|
|
(63.0 63.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:04"
|
|
(64.0 64.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:05"
|
|
(65.0 65.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:06"
|
|
(66.0 66.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:07"
|
|
(67.0 67.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:08"
|
|
(68.0 68.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:09"
|
|
(69.0 69.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:10"
|
|
(70.0 70.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:11"
|
|
(71.0 71.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:12"
|
|
(72.0 72.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:13"
|
|
(73.0 73.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:14"
|
|
(74.0 74.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:15"
|
|
(75.0 75.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:16"
|
|
(76.0 76.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:17"
|
|
(77.0 77.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:18"
|
|
(78.0 78.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:19"
|
|
(79.0 79.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:20"
|
|
(80.0 80.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:21"
|
|
(81.0 81.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:22"
|
|
(82.0 82.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:23"
|
|
(83.0 83.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:24"
|
|
(84.0 84.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:25"
|
|
(85.0 85.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:26"
|
|
(86.0 86.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:27"
|
|
(87.0 87.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:28"
|
|
(88.0 88.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:29"
|
|
(89.0 89.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:30"
|
|
(90.0 90.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:31"
|
|
(91.0 91.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:32"
|
|
(92.0 92.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:33"
|
|
(93.0 93.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:34"
|
|
(94.0 94.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:35"
|
|
(95.0 95.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:36"
|
|
(96.0 96.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:37"
|
|
(97.0 97.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:38"
|
|
(98.0 98.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:39"
|
|
(99.0 99.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:40"
|
|
(100.0 100.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:41"
|
|
(101.0 101.0))
|
|
9)))
|
|
(OBJECT updates5
|
|
()
|
|
(rel
|
|
(tuple
|
|
(
|
|
(IPos ipoint)
|
|
(DestTid tid))))
|
|
(
|
|
(
|
|
("2000-01-01-00:02"
|
|
(2.0 2.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:03"
|
|
(3.0 3.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:04"
|
|
(4.0 4.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:05"
|
|
(5.0 5.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:06"
|
|
(6.0 6.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:07"
|
|
(7.0 7.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:08"
|
|
(8.0 8.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:09"
|
|
(9.0 9.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:10"
|
|
(10.0 10.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:11"
|
|
(11.0 11.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:12"
|
|
(12.0 12.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:13"
|
|
(13.0 13.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:14"
|
|
(14.0 14.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:15"
|
|
(15.0 15.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:16"
|
|
(16.0 16.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:17"
|
|
(17.0 17.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:18"
|
|
(18.0 18.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:19"
|
|
(19.0 19.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:20"
|
|
(20.0 20.0))
|
|
1)
|
|
(
|
|
("2000-01-01-00:21"
|
|
(21.0 21.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:22"
|
|
(22.0 22.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:23"
|
|
(23.0 23.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:24"
|
|
(24.0 24.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:25"
|
|
(25.0 25.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:26"
|
|
(26.0 26.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:27"
|
|
(27.0 27.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:28"
|
|
(28.0 28.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:29"
|
|
(29.0 29.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:30"
|
|
(30.0 30.0))
|
|
2)
|
|
(
|
|
("2000-01-01-00:31"
|
|
(31.0 31.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:32"
|
|
(32.0 32.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:33"
|
|
(33.0 33.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:34"
|
|
(34.0 34.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:35"
|
|
(35.0 35.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:36"
|
|
(36.0 36.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:37"
|
|
(37.0 37.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:38"
|
|
(38.0 38.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:39"
|
|
(39.0 39.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:40"
|
|
(40.0 40.0))
|
|
3)
|
|
(
|
|
("2000-01-01-00:41"
|
|
(41.0 41.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:42"
|
|
(42.0 42.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:43"
|
|
(43.0 43.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:44"
|
|
(44.0 44.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:45"
|
|
(45.0 45.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:46"
|
|
(46.0 46.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:47"
|
|
(47.0 47.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:48"
|
|
(48.0 48.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:49"
|
|
(49.0 49.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:50"
|
|
(50.0 50.0))
|
|
4)
|
|
(
|
|
("2000-01-01-00:51"
|
|
(51.0 51.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:52"
|
|
(52.0 52.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:53"
|
|
(53.0 53.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:54"
|
|
(54.0 54.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:55"
|
|
(55.0 55.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:56"
|
|
(56.0 56.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:57"
|
|
(57.0 57.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:58"
|
|
(58.0 58.0))
|
|
5)
|
|
(
|
|
("2000-01-01-00:59"
|
|
(59.0 59.0))
|
|
5)
|
|
(
|
|
("2000-01-01-01:00"
|
|
(60.0 60.0))
|
|
5)
|
|
(
|
|
("2000-01-01-01:01"
|
|
(61.0 61.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:02"
|
|
(62.0 62.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:03"
|
|
(63.0 63.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:04"
|
|
(64.0 64.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:05"
|
|
(65.0 65.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:06"
|
|
(66.0 66.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:07"
|
|
(67.0 67.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:08"
|
|
(68.0 68.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:09"
|
|
(69.0 69.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:10"
|
|
(70.0 70.0))
|
|
6)
|
|
(
|
|
("2000-01-01-01:11"
|
|
(71.0 71.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:12"
|
|
(72.0 72.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:13"
|
|
(73.0 73.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:14"
|
|
(74.0 74.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:15"
|
|
(75.0 75.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:16"
|
|
(76.0 76.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:17"
|
|
(77.0 77.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:18"
|
|
(78.0 78.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:19"
|
|
(79.0 79.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:20"
|
|
(80.0 80.0))
|
|
7)
|
|
(
|
|
("2000-01-01-01:21"
|
|
(81.0 81.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:22"
|
|
(82.0 82.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:23"
|
|
(83.0 83.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:24"
|
|
(84.0 84.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:25"
|
|
(85.0 85.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:26"
|
|
(86.0 86.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:27"
|
|
(87.0 87.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:28"
|
|
(88.0 88.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:29"
|
|
(89.0 89.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:30"
|
|
(90.0 90.0))
|
|
8)
|
|
(
|
|
("2000-01-01-01:31"
|
|
(91.0 91.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:32"
|
|
(92.0 92.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:33"
|
|
(93.0 93.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:34"
|
|
(94.0 94.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:35"
|
|
(95.0 95.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:36"
|
|
(96.0 96.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:37"
|
|
(97.0 97.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:38"
|
|
(98.0 98.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:39"
|
|
(99.0 99.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:40"
|
|
(100.0 100.0))
|
|
9)
|
|
(
|
|
("2000-01-01-01:41"
|
|
(101.0 101.0))
|
|
9)))
|
|
|
|
|
|
(OBJECT positions1
|
|
()
|
|
(rel
|
|
(tuple
|
|
(
|
|
(Id string)
|
|
(Trajectory mpoint2))))
|
|
(
|
|
("ID-1"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(1.0 1.0 1.0 1.0))))
|
|
("ID-2"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(2.0 2.0 2.0 2.0))))
|
|
("ID-3"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(3.0 3.0 3.0 3.0))))
|
|
("ID-4"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(4.0 4.0 4.0 4.0))))
|
|
("ID-5"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(5.0 5.0 5.0 5.0))))
|
|
("ID-6"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(6.0 6.0 6.0 6.0))))
|
|
("ID-7"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(7.0 7.0 7.0 7.0))))
|
|
("ID-8"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(8.0 8.0 8.0 8.0))))
|
|
("ID-9"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(9.0 9.0 9.0 9.0))))))
|
|
|
|
|
|
|
|
(OBJECT positions2
|
|
()
|
|
(rel
|
|
(tuple
|
|
(
|
|
(Id string)
|
|
(Trajectory mpoint2))))
|
|
(
|
|
("ID-1"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(1.0 1.0 1.0 1.0))))
|
|
("ID-2"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(2.0 2.0 2.0 2.0))))
|
|
("ID-3"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(3.0 3.0 3.0 3.0))))
|
|
("ID-4"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(4.0 4.0 4.0 4.0))))
|
|
("ID-5"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(5.0 5.0 5.0 5.0))))
|
|
("ID-6"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(6.0 6.0 6.0 6.0))))
|
|
("ID-7"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(7.0 7.0 7.0 7.0))))
|
|
("ID-8"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(8.0 8.0 8.0 8.0))))
|
|
("ID-9"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(9.0 9.0 9.0 9.0))))))
|
|
|
|
|
|
(OBJECT positions3a
|
|
()
|
|
(rel
|
|
(tuple
|
|
(
|
|
(Id string)
|
|
(Trajectory mpoint2))))
|
|
(
|
|
("ID-1"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(1.0 1.0 1.0 1.0))))
|
|
("ID-2"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(2.0 2.0 2.0 2.0))))
|
|
("ID-3"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(3.0 3.0 3.0 3.0))))
|
|
("ID-4"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(4.0 4.0 4.0 4.0))))
|
|
("ID-5"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(5.0 5.0 5.0 5.0))))
|
|
("ID-6"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(6.0 6.0 6.0 6.0))))
|
|
("ID-7"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(7.0 7.0 7.0 7.0))))
|
|
("ID-8"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(8.0 8.0 8.0 8.0))))
|
|
("ID-9"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(9.0 9.0 9.0 9.0))))))
|
|
|
|
|
|
(OBJECT positions3b
|
|
()
|
|
(rel
|
|
(tuple
|
|
(
|
|
(Id string)
|
|
(Trajectory mpoint2))))
|
|
(
|
|
("ID-1"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(1.0 1.0 1.0 1.0))))
|
|
("ID-2"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(2.0 2.0 2.0 2.0))))
|
|
("ID-3"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(3.0 3.0 3.0 3.0))))
|
|
("ID-4"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(4.0 4.0 4.0 4.0))))
|
|
("ID-5"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(5.0 5.0 5.0 5.0))))
|
|
("ID-6"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(6.0 6.0 6.0 6.0))))
|
|
("ID-7"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(7.0 7.0 7.0 7.0))))
|
|
("ID-8"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(8.0 8.0 8.0 8.0))))
|
|
("ID-9"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(9.0 9.0 9.0 9.0))))))
|
|
|
|
|
|
(OBJECT positions3c
|
|
()
|
|
(rel
|
|
(tuple
|
|
(
|
|
(Id string)
|
|
(Trajectory mpoint2))))
|
|
(
|
|
("ID-1"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(1.0 1.0 1.0 1.0))))
|
|
("ID-2"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(2.0 2.0 2.0 2.0))))
|
|
("ID-3"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(3.0 3.0 3.0 3.0))))
|
|
("ID-4"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(4.0 4.0 4.0 4.0))))
|
|
("ID-5"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(5.0 5.0 5.0 5.0))))
|
|
("ID-6"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(6.0 6.0 6.0 6.0))))
|
|
("ID-7"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(7.0 7.0 7.0 7.0))))
|
|
("ID-8"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(8.0 8.0 8.0 8.0))))
|
|
("ID-9"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(9.0 9.0 9.0 9.0))))))
|
|
|
|
|
|
(OBJECT positions4a
|
|
()
|
|
(rel
|
|
(tuple
|
|
(
|
|
(Id string)
|
|
(Trajectory mpoint2))))
|
|
(
|
|
("ID-1"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(1.0 1.0 1.0 1.0))))
|
|
("ID-2"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(2.0 2.0 2.0 2.0))))
|
|
("ID-3"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(3.0 3.0 3.0 3.0))))
|
|
("ID-4"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(4.0 4.0 4.0 4.0))))
|
|
("ID-5"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(5.0 5.0 5.0 5.0))))
|
|
("ID-6"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(6.0 6.0 6.0 6.0))))
|
|
("ID-7"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(7.0 7.0 7.0 7.0))))
|
|
("ID-8"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(8.0 8.0 8.0 8.0))))
|
|
("ID-9"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(9.0 9.0 9.0 9.0))))))
|
|
|
|
|
|
(OBJECT positions4b
|
|
()
|
|
(rel
|
|
(tuple
|
|
(
|
|
(Id string)
|
|
(Trajectory mpoint2))))
|
|
(
|
|
("ID-1"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(1.0 1.0 1.0 1.0))))
|
|
("ID-2"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(2.0 2.0 2.0 2.0))))
|
|
("ID-3"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(3.0 3.0 3.0 3.0))))
|
|
("ID-4"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(4.0 4.0 4.0 4.0))))
|
|
("ID-5"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(5.0 5.0 5.0 5.0))))
|
|
("ID-6"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(6.0 6.0 6.0 6.0))))
|
|
("ID-7"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(7.0 7.0 7.0 7.0))))
|
|
("ID-8"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(8.0 8.0 8.0 8.0))))
|
|
("ID-9"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(9.0 9.0 9.0 9.0))))))
|
|
|
|
|
|
(OBJECT positions5
|
|
()
|
|
(rel
|
|
(tuple
|
|
(
|
|
(Id string)
|
|
(Trajectory mpoint2))))
|
|
(
|
|
("ID-1"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(1.0 1.0 1.0 1.0))))
|
|
("ID-2"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(2.0 2.0 2.0 2.0))))
|
|
("ID-3"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(3.0 3.0 3.0 3.0))))
|
|
("ID-4"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(4.0 4.0 4.0 4.0))))
|
|
("ID-5"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(5.0 5.0 5.0 5.0))))
|
|
("ID-6"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(6.0 6.0 6.0 6.0))))
|
|
("ID-7"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(7.0 7.0 7.0 7.0))))
|
|
("ID-8"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(8.0 8.0 8.0 8.0))))
|
|
("ID-9"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(9.0 9.0 9.0 9.0))))))
|
|
|
|
|
|
|
|
(OBJECT trajectories2
|
|
()
|
|
(rel
|
|
(tuple
|
|
(
|
|
(Id string)
|
|
(Trajectory mpoint2))))
|
|
(
|
|
("ID2-1"
|
|
(
|
|
(
|
|
("2000-01-01" "2000-01-01" TRUE TRUE)
|
|
(9.0 9.0 9.0 9.0))))))
|
|
|
|
|
|
))
|