( (rel (tuple ( (gssh mpoint)))) ( ( ()) ( ()) ( ()) ( ()) ( ()) ( ()) ( ()) ( ( ( ("2000-01-11-08:13:33.046" "2000-01-11-08:18:41.184" TRUE FALSE) (105265.3365752628 109647.9880224398 102667.43 109755.797)) ( ("2000-01-11-08:18:41.184" "2000-01-11-08:28:40.800" TRUE FALSE) (102667.4299999995 109755.7969999997 98148.156 107280.477)) ( ("2000-01-11-08:28:40.800" "2000-01-11-08:38:41.280" TRUE FALSE) (98148.15600000061 107280.4769999999 93041.5 107728.859)) ( ("2000-01-11-08:38:41.280" "2000-01-11-08:48:40.896" TRUE FALSE) (93041.49999999951 107728.8589999998 88398.95299999999 105725.25)) ( ("2000-01-11-08:48:40.896" "2000-01-11-08:58:41.376" TRUE FALSE) (88398.95300000056 105725.25 83811.914 105380.992)) ( ("2000-01-11-08:58:41.376" "2000-01-11-09:08:40.992" TRUE FALSE) (83811.91399999996 105380.992 83388.883 105803.945)) ( ("2000-01-11-09:08:40.992" "2000-01-11-09:18:41.472" TRUE FALSE) (83388.88299999996 105803.9450000001 83017.609 106287.859)) ( ("2000-01-11-09:18:41.472" "2000-01-11-09:28:41.088" TRUE FALSE) (83017.60899999998 106287.8590000001 82811.648 106932.273)) ( ("2000-01-11-09:28:41.088" "2000-01-11-09:38:41.568" TRUE FALSE) (82811.64799999994 106932.2730000001 82317.086 107467.562)) ( ("2000-01-11-09:38:41.568" "2000-01-11-09:48:41.184" TRUE FALSE) (82317.08599999997 107467.5620000001 81949.461 108184.5)) ( ("2000-01-11-09:48:41.184" "2000-01-11-09:58:40.800" TRUE FALSE) (81949.46099999995 108184.5000000001 81595.55499999999 108948.141)) ( ("2000-01-11-09:58:40.800" "2000-01-11-10:08:41.280" TRUE FALSE) (81595.55500000005 108948.1409999999 81054.29700000001 109519.641)) ( ("2000-01-11-10:08:41.280" "2000-01-11-10:18:40.896" TRUE FALSE) (81054.29699999998 109519.6410000001 80759.719 110290.367)) ( ("2000-01-11-10:18:40.896" "2000-01-11-10:28:41.376" TRUE FALSE) (80759.71900000004 110290.3669999999 80455.969 111049.883)) ( ("2000-01-11-10:28:41.376" "2000-01-11-10:38:40.992" TRUE FALSE) (80455.96899999995 111049.8830000001 79954.133 111636.336)) ( ("2000-01-11-10:38:40.992" "2000-01-11-10:48:41.472" TRUE FALSE) (79954.13299999997 111636.3360000001 79689.5 112448.438)) ( ("2000-01-11-10:48:41.472" "2000-01-11-10:58:41.088" TRUE FALSE) (79689.49999999997 112448.4380000001 79348.367 113289.281)) ( ("2000-01-11-10:58:41.088" "2000-01-11-11:08:41.568" TRUE FALSE) (79348.36699999994 113289.2810000001 78882.711 113985.062)) ( ("2000-01-11-11:08:41.568" "2000-01-11-11:18:41.184" TRUE FALSE) (78882.71099999995 113985.0620000001 78470.438 114807.922)) ( ("2000-01-11-11:18:41.184" "2000-01-11-11:28:40.800" TRUE FALSE) (78470.43799999995 114807.9220000001 78039.234 115329.031)) ( ("2000-01-11-11:28:40.800" "2000-01-11-11:38:41.280" TRUE FALSE) (78039.23400000004 115329.0309999999 77666.516 115891.719)) ( ("2000-01-11-11:38:41.280" "2000-01-11-11:48:40.896" TRUE FALSE) (77666.51599999997 115891.7190000001 77385.977 116436.281)) ( ("2000-01-11-11:48:40.896" "2000-01-11-11:58:41.376" TRUE FALSE) (77385.97700000003 116436.2809999999 77173.281 117021.125)) ( ("2000-01-11-11:58:41.376" "2000-01-11-12:08:40.992" TRUE FALSE) (77173.28099999996 117021.125 76697.80499999999 117510.055)) ( ("2000-01-11-12:08:40.992" "2000-01-11-12:18:41.472" TRUE FALSE) (76697.80499999996 117510.0550000001 76424.117 118059.438)) ( ("2000-01-11-12:18:41.472" "2000-01-11-12:28:41.088" TRUE FALSE) (76424.11699999997 118059.438 76155.406 118522.188)) ( ("2000-01-11-12:28:41.088" "2000-01-11-12:38:41.568" TRUE FALSE) (76155.40599999997 118522.188 75856.266 118901.578)) ( ("2000-01-11-12:38:41.568" "2000-01-11-12:48:41.184" TRUE FALSE) (75856.26599999999 118901.578 75665.359 119275.875)) ( ("2000-01-11-12:48:41.184" "2000-01-11-12:58:40.800" TRUE FALSE) (75665.35900000051 119275.8750000001 80178.781 119814.984)) ( ("2000-01-11-12:58:40.800" "2000-01-11-13:08:41.280" TRUE FALSE) (80178.78099999948 119814.9839999999 84592.42999999999 120967.93)) ( ("2000-01-11-13:08:41.280" "2000-01-11-13:18:40.896" TRUE FALSE) (84592.43000000044 120967.9300000002 88865.508 122437.336)) ( ("2000-01-11-13:18:40.896" "2000-01-11-13:28:41.376" TRUE FALSE) (88865.50799999945 122437.3359999999 93306.29700000001 123397.016)) ( ("2000-01-11-13:28:41.376" "2000-01-11-13:38:40.992" TRUE FALSE) (93306.29700000046 123397.016 97784.25 123669.555)) ( ("2000-01-11-13:38:40.992" "2000-01-11-13:48:41.472" TRUE FALSE) (97784.25000000054 123669.5550000001 102089.852 124648.586)) ( ("2000-01-11-13:48:41.472" "2000-01-11-13:57:50.365" TRUE TRUE) (102089.8520000004 124648.5860000001 106095.9517938252 125446.5134224745)) ( ("2000-01-15-22:02:27.749" "2000-01-15-22:07:49.440" TRUE FALSE) (73140.8 125621.812460412 75387.04700000001 126279.078)) ( ("2000-01-15-22:07:49.440" "2000-01-15-22:17:45.600" TRUE FALSE) (75387.04700000024 126279.078 79709.57799999999 126662.977)) ( ("2000-01-15-22:17:45.600" "2000-01-15-22:27:41.760" TRUE FALSE) (79709.57800000015 126662.977 83905.648 127734.195)) ( ("2000-01-15-22:27:41.760" "2000-01-15-22:37:46.560" TRUE FALSE) (83905.64800000012 127734.195 88256.367 127806.992)) ( ("2000-01-15-22:37:46.560" "2000-01-15-22:47:42.720" TRUE FALSE) (88256.36699999991 127806.992 92397.008 129002.414)) ( ("2000-01-15-22:47:42.720" "2000-01-15-22:57:47.520" TRUE FALSE) (92397.00799999986 129002.414 96661.734 129933.133)) ( ("2000-01-15-22:57:47.520" "2000-01-15-23:05:43.917" TRUE TRUE) (96661.73399999963 129933.133 100131.3729191863 130258.719680322)))) ( ( ( ("2000-01-16-12:39:11.563" "2000-01-16-12:47:48.480" TRUE FALSE) (414330.0 190362.4776688193 417029.219 191240.578)) ( ("2000-01-16-12:47:48.480" "2000-01-16-12:57:44.640" TRUE FALSE) (417029.2190000003 191240.5780000001 420289.75 192136.672)) ( ("2000-01-16-12:57:44.640" "2000-01-16-13:07:49.440" TRUE FALSE) (420289.7500000004 192136.672 423593.594 192556.312)) ( ("2000-01-16-13:07:49.440" "2000-01-16-13:17:45.600" TRUE FALSE) (423593.5940000002 192556.312 426984.188 192635.281)) ( ("2000-01-16-13:17:45.600" "2000-01-16-13:27:41.760" TRUE FALSE) (426984.1880000001 192635.281 430410.531 192558.234)) ( ("2000-01-16-13:27:41.760" "2000-01-16-13:37:46.560" TRUE FALSE) (430410.5310000001 192558.234 433730.406 193071.953)) ( ("2000-01-16-13:37:46.560" "2000-01-16-13:47:42.720" TRUE FALSE) (433730.406 193071.953 436951.031 193607.516)) ( ("2000-01-16-13:47:42.720" "2000-01-16-13:57:47.520" TRUE FALSE) (436951.0309999999 193607.516 440299.406 193581.047)) ( ("2000-01-16-13:57:47.520" "2000-01-16-13:58:28.636" TRUE TRUE) (440299.4059999997 193581.047 440524.4514985128 193580.2883568222)) ( ("2000-01-18-07:48:58.106" "2000-01-18-07:52:01.920" TRUE FALSE) (447346.6618863449 202906.1243571107 445924.219 202872.266)) ( ("2000-01-18-07:52:01.920" "2000-01-18-08:02:06.720" TRUE FALSE) (445924.219 202872.266 441287.875 202893.625)) ( ("2000-01-18-08:02:06.720" "2000-01-18-08:12:02.880" TRUE FALSE) (441287.8750000003 202893.625 436675.219 203531.562)) ( ("2000-01-18-08:12:02.880" "2000-01-18-08:22:07.680" TRUE FALSE) (436675.2190000003 203531.562 432077.188 204081.156)) ( ("2000-01-18-08:22:07.680" "2000-01-18-08:32:03.840" TRUE FALSE) (432077.1880000006 204081.156 427423.812 204088.281)) ( ("2000-01-18-08:32:03.840" "2000-01-18-08:42:08.640" TRUE FALSE) (427423.8119999995 204088.281 422749.375 204365.656)) ( ("2000-01-18-08:42:08.640" "2000-01-18-08:52:04.800" TRUE FALSE) (422749.3749999997 204365.6559999999 418159.188 203653.031)) ( ("2000-01-18-08:52:04.800" "2000-01-18-09:00:29.707" TRUE TRUE) (418159.1879999998 203653.031 414330.0 204140.9692773569)) ( ("2000-01-19-03:54:47.682" "2000-01-19-04:02:03.840" TRUE FALSE) (414330.0 195216.309397813 417457.875 195764.859)) ( ("2000-01-19-04:02:03.840" "2000-01-19-04:12:08.640" TRUE FALSE) (417457.8749999994 195764.859 421751.188 195999.969)) ( ("2000-01-19-04:12:08.640" "2000-01-19-04:22:04.800" TRUE FALSE) (421751.1880000003 195999.9690000001 425990.875 197146.969)) ( ("2000-01-19-04:22:04.800" "2000-01-19-04:32:00.960" TRUE FALSE) (425990.8749999991 197146.9689999999 430406.938 197560.625)) ( ("2000-01-19-04:32:00.960" "2000-01-19-04:42:05.760" TRUE FALSE) (430406.9380000002 197560.625 434903.375 197982.891)) ( ("2000-01-19-04:42:05.760" "2000-01-19-04:52:01.920" TRUE FALSE) (434903.3750000011 197982.8910000002 439395.031 198861.609)) ( ("2000-01-19-04:52:01.920" "2000-01-19-05:02:06.720" TRUE FALSE) (439395.031 198861.609 443836.5 199941.047)) ( ("2000-01-19-05:02:06.720" "2000-01-19-05:12:02.880" TRUE FALSE) (443836.5000000009 199941.0469999999 448418.844 199467.734)) ( ("2000-01-19-05:12:02.880" "2000-01-19-05:15:29.159" TRUE TRUE) (448418.8439999996 199467.7339999999 449943.7551787846 199723.8932849899)))) ( ()) ( ()) ( ()) ( ()) ( ()) ( ( ( ("2000-01-22-01:37:47.596" "2000-01-22-01:46:24.960" TRUE FALSE) (468070.1501880075 136780.445383417 466985.719 132991.172)) ( ("2000-01-22-01:46:24.960" "2000-01-22-01:56:29.760" TRUE FALSE) (466985.7190000005 132991.172000001 464948.406 128854.43)) ( ("2000-01-22-01:56:29.760" "2000-01-22-02:06:25.920" TRUE FALSE) (464948.4060000001 128854.4300000001 463145.312 124697.383)) ( ("2000-01-22-02:06:25.920" "2000-01-22-02:16:30.720" TRUE FALSE) (463145.3119999997 124697.3829999991 461704.312 120460.695)) ( ("2000-01-22-02:16:30.720" "2000-01-22-02:26:26.880" TRUE FALSE) (461704.312 120460.6950000004 461227.781 116069.234)) ( ("2000-01-22-02:26:26.880" "2000-01-22-02:36:23.040" TRUE FALSE) (461227.781 116069.2339999994 460808.781 111750.016)) ( ("2000-01-22-02:36:23.040" "2000-01-22-02:46:27.840" TRUE FALSE) (460808.7810000001 111750.0160000005 460546.0 107364.141)) ( ("2000-01-22-02:46:27.840" "2000-01-22-02:56:24" TRUE FALSE) (460545.9999999999 107364.1409999996 459648.156 103011.508)) ( ("2000-01-22-02:56:24" "2000-01-22-03:06:28.800" TRUE FALSE) (459648.1560000001 103011.5080000008 458881.25 98653.383)) ( ("2000-01-22-03:06:28.800" "2000-01-22-03:08:56.842" TRUE TRUE) (458881.25 98653.3829999999 458666.067890988 97581.10000000001)) ( ("2000-01-23-00:42:39.659" "2000-01-23-00:46:30.720" TRUE FALSE) (483289.7672266903 97581.10000000001 483461.031 99362.06200000001)) ( ("2000-01-23-00:46:30.720" "2000-01-23-00:56:26.880" TRUE FALSE) (483461.031 99362.06199999954 483393.438 104083.898)) ( ("2000-01-23-00:56:26.880" "2000-01-23-01:06:23.040" TRUE FALSE) (483393.438 104083.8980000007 483363.219 108878.773)) ( ("2000-01-23-01:06:23.040" "2000-01-23-01:16:27.840" TRUE FALSE) (483363.2189999999 108878.7729999994 484424.406 113509.281)) ( ("2000-01-23-01:16:27.840" "2000-01-23-01:26:24" TRUE FALSE) (484424.4060000001 113509.2810000004 484998.031 118227.469)) ( ("2000-01-23-01:26:24" "2000-01-23-01:36:28.800" TRUE FALSE) (484998.031 118227.4689999992 485347.594 122879.445)) ( ("2000-01-23-01:36:28.800" "2000-01-23-01:46:24.960" TRUE FALSE) (485347.594 122879.4450000001 486033.25 127536.172)) ( ("2000-01-23-01:46:24.960" "2000-01-23-01:56:29.760" TRUE FALSE) (486033.2499999998 127536.1719999989 486697.844 132134.625)) ( ("2000-01-23-01:56:29.760" "2000-01-23-02:06:25.920" TRUE FALSE) (486697.8439999999 132134.6249999999 488003.125 136528.656)) ( ("2000-01-23-02:06:25.920" "2000-01-23-02:13:01.393" TRUE TRUE) (488003.1250000003 136528.6560000009 488994.5875287674 139420.4388190577)))) ( ( ( ("2000-01-12-02:42:55.537" "2000-01-12-02:48:40.896" TRUE FALSE) (410303.0 185794.4079195733 412456.0 186210.688)) ( ("2000-01-12-02:48:40.896" "2000-01-12-02:58:41.376" TRUE FALSE) (412455.9999999995 186210.6879999998 416030.469 187509.047)) ( ("2000-01-12-02:58:41.376" "2000-01-12-03:08:40.992" TRUE FALSE) (416030.4690000003 187509.0470000001 419667.469 188369.359)) ( ("2000-01-12-03:08:40.992" "2000-01-12-03:09:51.125" TRUE TRUE) (419667.4690000005 188369.3590000001 420077.3654586482 188504.5063483178)))) ( ()) ( ()) ( ()) ( ())))