(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))))))


))