Files
secondo/Algebras/HierarchicalGeo/Selftest/result1_reduce_hierarchy_HierarchicalGeo

425 lines
15 KiB
Plaintext
Raw Permalink Normal View History

2026-01-23 17:03:45 +08:00
(hcmpoint
(
(20.0 3.0)
(1389.861161739539 485.200707612851 144.6929529377922 57.89852366561578 -1.0)
(
(
(-1 0 0 0 0)
(344.9794279792633
(
("2003-11-20-06:06" "2003-11-20-06:11:19.024" TRUE FALSE)
(16821.0 1252.0 13837.0 2806.0))))
(
(-1 0 1 1 2)
(670.1852354470175
(
("2003-11-20-06:11:19.024" "2003-11-20-06:22:50" TRUE FALSE)
(13837.0 2806.0 11837.0 8980.0))))
(
(-1 0 2 3 4)
(1389.861161739539
(
("2003-11-20-06:22:50" "2003-11-20-06:38:15.462" TRUE FALSE)
(11837.0 8980.0 4813.0 8864.0))))
(
(-1 0 3 5 6)
(543.5225068634451
(
("2003-11-20-06:38:15.462" "2003-11-20-06:50:09.600" TRUE FALSE)
(4813.0 8864.0 3166.0 14269.0))))
(
(-1 0 4 7 7)
(348.7817465908955
(
("2003-11-20-06:50:09.600" "2003-11-20-07:02" TRUE FALSE)
(3166.0 14269.0 -3560.0 14235.0))))
(
(0 1 0 0 2)
(344.9794279792633
(
("2003-11-20-06:06" "2003-11-20-06:11:19.024" TRUE FALSE)
(16821.0 1252.0 13837.0 2806.0))))
(
(1 1 1 3 5)
(219.4848939329405
(
("2003-11-20-06:11:19.024" "2003-11-20-06:19:20.226" TRUE FALSE)
(13837.0 2806.0 13029.0 7475.0))))
(
(1 1 2 6 7)
(261.8681503990948
(
("2003-11-20-06:19:20.226" "2003-11-20-06:22:50" TRUE FALSE)
(13029.0 7475.0 11837.0 8980.0))))
(
(2 1 3 8 10)
(438.2732127234368
(
("2003-11-20-06:22:50" "2003-11-20-06:29:50" TRUE FALSE)
(11837.0 8980.0 8988.0 10323.0))))
(
(2 1 4 11 12)
(485.200707612851
(
("2003-11-20-06:29:50" "2003-11-20-06:38:15.462" TRUE FALSE)
(8988.0 10323.0 4813.0 8864.0))))
(
(3 1 5 13 13)
(53.93590906418421
(
("2003-11-20-06:38:15.462" "2003-11-20-06:41:16.253" TRUE FALSE)
(4813.0 8864.0 3941.0 9861.0))))
(
(3 1 6 14 15)
(332.3510866082246
(
("2003-11-20-06:41:16.253" "2003-11-20-06:50:09.600" TRUE FALSE)
(3941.0 9861.0 3166.0 14269.0))))
(
(4 1 7 16 19)
(348.7817465908955
(
("2003-11-20-06:50:09.600" "2003-11-20-07:02" TRUE FALSE)
(3166.0 14269.0 -3560.0 14235.0))))
(
(0 2 0 0 0)
(42.12683135949258
(
("2003-11-20-06:06" "2003-11-20-06:06:46.096" TRUE FALSE)
(16821.0 1252.0 16097.0 2018.0))))
(
(0 2 1 1 2)
(66.13967988884521
(
("2003-11-20-06:06:46.096" "2003-11-20-06:09:50" TRUE FALSE)
(16097.0 2018.0 14600.0 2157.0))))
(
(0 2 2 3 4)
(76.00104594819555
(
("2003-11-20-06:09:50" "2003-11-20-06:11:19.024" TRUE FALSE)
(14600.0 2157.0 13837.0 2806.0))))
(
(1 2 3 5 5)
(44.38716316557004
(
("2003-11-20-06:11:19.024" "2003-11-20-06:13:20.222" TRUE FALSE)
(13837.0 2806.0 13491.0 3899.0))))
(
(1 2 4 6 7)
(142.3602234398385
(
("2003-11-20-06:13:20.222" "2003-11-20-06:16:20.430" TRUE FALSE)
(13491.0 3899.0 13552.0 5740.0))))
(
(1 2 5 8 9)
(144.6929529377922
(
("2003-11-20-06:16:20.430" "2003-11-20-06:19:20.226" TRUE FALSE)
(13552.0 5740.0 13029.0 7475.0))))
(
(2 2 6 10 10)
(37.5971701626658
(
("2003-11-20-06:19:20.226" "2003-11-20-06:21:10.297" TRUE FALSE)
(13029.0 7475.0 12693.0 8321.0))))
(
(2 2 7 11 11)
(36.23763903152665
(
("2003-11-20-06:21:10.297" "2003-11-20-06:22:50" TRUE FALSE)
(12693.0 8321.0 11837.0 8980.0))))
(
(3 2 8 12 12)
(45.65458164381693
(
("2003-11-20-06:22:50" "2003-11-20-06:27:35.899" TRUE FALSE)
(11837.0 8980.0 9356.0 9665.0))))
(
(3 2 9 13 14)
(64.43627583339881
(
("2003-11-20-06:27:35.899" "2003-11-20-06:28:48.607" TRUE FALSE)
(9356.0 9665.0 9357.0 10176.0))))
(
(3 2 10 15 15)
(29.7203403567062
(
("2003-11-20-06:28:48.607" "2003-11-20-06:29:50" TRUE FALSE)
(9357.0 10176.0 8988.0 10323.0))))
(
(4 2 11 16 19)
(131.5667106373864
(
("2003-11-20-06:29:50" "2003-11-20-06:32:28.383" TRUE FALSE)
(8988.0 10323.0 7829.0 9404.0))))
(
(4 2 12 20 20)
(55.98113331807905
(
("2003-11-20-06:32:28.383" "2003-11-20-06:38:15.462" TRUE FALSE)
(7829.0 9404.0 4813.0 8864.0))))
(
(5 2 13 21 21)
(53.93590906418421
(
("2003-11-20-06:38:15.462" "2003-11-20-06:41:16.253" TRUE FALSE)
(4813.0 8864.0 3941.0 9861.0))))
(
(6 2 14 22 25)
(134.8814334014371
(
("2003-11-20-06:41:16.253" "2003-11-20-06:47:27.123" TRUE FALSE)
(3941.0 9861.0 3719.0 13043.0))))
(
(6 2 15 26 28)
(79.24916325023756
(
("2003-11-20-06:47:27.123" "2003-11-20-06:50:09.600" TRUE FALSE)
(3719.0 13043.0 3166.0 14269.0))))
(
(7 2 16 29 31)
(72.695167958884
(
("2003-11-20-06:50:09.600" "2003-11-20-06:57:12.933" TRUE FALSE)
(3166.0 14269.0 -946.0 14597.0))))
(
(7 2 17 32 32)
(16.4182831268227
(
("2003-11-20-06:57:12.933" "2003-11-20-06:59:20.653" TRUE FALSE)
(-946.0 14597.0 -2051.0 14345.0))))
(
(7 2 18 33 34)
(60.01007580781495
(
("2003-11-20-06:59:20.653" "2003-11-20-07:01:18.469" TRUE FALSE)
(-2051.0 14345.0 -3278.0 14555.0))))
(
(7 2 19 35 36)
(69.11661828945606
(
("2003-11-20-07:01:18.469" "2003-11-20-07:02" TRUE FALSE)
(-3278.0 14555.0 -3560.0 14235.0))))
(
(0 3 0 -1 -1)
(42.12683135949258
(
("2003-11-20-06:06" "2003-11-20-06:06:46.096" TRUE FALSE)
(16821.0 1252.0 16097.0 2018.0))))
(
(1 3 1 -1 -1)
(57.89852366561578
(
("2003-11-20-06:06:46.096" "2003-11-20-06:08:27.402" TRUE FALSE)
(16097.0 2018.0 15177.0 2037.0))))
(
(1 3 2 -1 -1)
(18.69020128300255
(
("2003-11-20-06:08:27.402" "2003-11-20-06:09:50" TRUE FALSE)
(15177.0 2037.0 14600.0 2157.0))))
(
(2 3 3 -1 -1)
(10.8138430063653
(
("2003-11-20-06:09:50" "2003-11-20-06:10:26.136" TRUE FALSE)
(14600.0 2157.0 14217.0 2383.0))))
(
(2 3 4 -1 -1)
(19.50159145123311
(
("2003-11-20-06:10:26.136" "2003-11-20-06:11:19.024" TRUE FALSE)
(14217.0 2383.0 13837.0 2806.0))))
(
(3 3 5 -1 -1)
(44.38716316557004
(
("2003-11-20-06:11:19.024" "2003-11-20-06:13:20.222" TRUE FALSE)
(13837.0 2806.0 13491.0 3899.0))))
(
(4 3 6 -1 -1)
(49.6621819019075
(
("2003-11-20-06:13:20.222" "2003-11-20-06:14:45.524" TRUE FALSE)
(13491.0 3899.0 13662.0 4761.0))))
(
(4 3 7 -1 -1)
(36.71280357573778
(
("2003-11-20-06:14:45.524" "2003-11-20-06:16:20.430" TRUE FALSE)
(13662.0 4761.0 13552.0 5740.0))))
(
(5 3 8 -1 -1)
(20.57619472989401
(
("2003-11-20-06:16:20.430" "2003-11-20-06:17:47.323" TRUE FALSE)
(13552.0 5740.0 13113.0 6695.0))))
(
(5 3 9 -1 -1)
(15.98449910104948
(
("2003-11-20-06:17:47.323" "2003-11-20-06:19:20.226" TRUE FALSE)
(13113.0 6695.0 13029.0 7475.0))))
(
(6 3 10 -1 -1)
(37.5971701626658
(
("2003-11-20-06:19:20.226" "2003-11-20-06:21:10.297" TRUE FALSE)
(13029.0 7475.0 12693.0 8321.0))))
(
(7 3 11 -1 -1)
(36.23763903152665
(
("2003-11-20-06:21:10.297" "2003-11-20-06:22:50" TRUE FALSE)
(12693.0 8321.0 11837.0 8980.0))))
(
(8 3 12 -1 -1)
(45.65458164381693
(
("2003-11-20-06:22:50" "2003-11-20-06:27:35.899" TRUE FALSE)
(11837.0 8980.0 9356.0 9665.0))))
(
(9 3 13 -1 -1)
(23.21808662719284
(
("2003-11-20-06:27:35.899" "2003-11-20-06:28:12.989" TRUE FALSE)
(9356.0 9665.0 9421.0 9953.0))))
(
(9 3 14 -1 -1)
(18.80154948106668
(
("2003-11-20-06:28:12.989" "2003-11-20-06:28:48.607" TRUE FALSE)
(9421.0 9953.0 9357.0 10176.0))))
(
(10 3 15 -1 -1)
(29.7203403567062
(
("2003-11-20-06:28:48.607" "2003-11-20-06:29:50" TRUE FALSE)
(9357.0 10176.0 8988.0 10323.0))))
(
(11 3 16 -1 -1)
(21.30347707877237
(
("2003-11-20-06:29:50" "2003-11-20-06:30:33.783" TRUE FALSE)
(8988.0 10323.0 8664.0 10234.0))))
(
(11 3 17 -1 -1)
(41.29248078804144
(
("2003-11-20-06:30:33.783" "2003-11-20-06:31:27.240" TRUE FALSE)
(8664.0 10234.0 8434.0 9761.0))))
(
(11 3 18 -1 -1)
(40.16833088146199
(
("2003-11-20-06:31:27.240" "2003-11-20-06:32:12.509" TRUE FALSE)
(8434.0 9761.0 8023.0 9608.0))))
(
(11 3 19 -1 -1)
(11.87138336917626
(
("2003-11-20-06:32:12.509" "2003-11-20-06:32:28.383" TRUE FALSE)
(8023.0 9608.0 7829.0 9404.0))))
(
(12 3 20 -1 -1)
(55.98113331807905
(
("2003-11-20-06:32:28.383" "2003-11-20-06:38:15.462" TRUE FALSE)
(7829.0 9404.0 4813.0 8864.0))))
(
(13 3 21 -1 -1)
(53.93590906418421
(
("2003-11-20-06:38:15.462" "2003-11-20-06:41:16.253" TRUE FALSE)
(4813.0 8864.0 3941.0 9861.0))))
(
(14 3 22 -1 -1)
(51.83705744444836
(
("2003-11-20-06:41:16.253" "2003-11-20-06:42:48.942" TRUE FALSE)
(3941.0 9861.0 3883.0 10683.0))))
(
(14 3 23 -1 -1)
(1.447212737229324
(
("2003-11-20-06:42:48.942" "2003-11-20-06:44:50" TRUE FALSE)
(3883.0 10683.0 3683.0 11621.0))))
(
(14 3 24 -1 -1)
(30.97032115661151
(
("2003-11-20-06:44:50" "2003-11-20-06:45:42.743" TRUE FALSE)
(3683.0 11621.0 3779.0 12121.0))))
(
(14 3 25 -1 -1)
(26.90621160477461
(
("2003-11-20-06:45:42.743" "2003-11-20-06:47:27.123" TRUE FALSE)
(3779.0 12121.0 3719.0 13043.0))))
(
(15 3 26 -1 -1)
(42.66878840144004
(
("2003-11-20-06:47:27.123" "2003-11-20-06:48:37.170" TRUE FALSE)
(3719.0 13043.0 3393.0 13573.0))))
(
(15 3 27 -1 -1)
(18.29235292102378
(
("2003-11-20-06:48:37.170" "2003-11-20-06:49:34.594" TRUE FALSE)
(3393.0 13573.0 3324.0 14013.0))))
(
(15 3 28 -1 -1)
(33.02838156722591
(
("2003-11-20-06:49:34.594" "2003-11-20-06:50:09.600" TRUE FALSE)
(3324.0 14013.0 3166.0 14269.0))))
(
(16 3 29 -1 -1)
(22.34941332772556
(
("2003-11-20-06:50:09.600" "2003-11-20-06:51:21.123" TRUE FALSE)
(3166.0 14269.0 2626.0 14385.0))))
(
(16 3 30 -1 -1)
(7.133858143584146
(
("2003-11-20-06:51:21.123" "2003-11-20-06:54:50" TRUE FALSE)
(2626.0 14385.0 863.0 14383.0))))
(
(16 3 31 -1 -1)
(24.78736101284644
(
("2003-11-20-06:54:50" "2003-11-20-06:57:12.933" TRUE FALSE)
(863.0 14383.0 -946.0 14597.0))))
(
(17 3 32 -1 -1)
(16.4182831268227
(
("2003-11-20-06:57:12.933" "2003-11-20-06:59:20.653" TRUE FALSE)
(-946.0 14597.0 -2051.0 14345.0))))
(
(18 3 33 -1 -1)
(32.80719798626102
(
("2003-11-20-06:59:20.653" "2003-11-20-07:00:09.677" TRUE FALSE)
(-2051.0 14345.0 -2449.0 14474.0))))
(
(18 3 34 -1 -1)
(51.83638298538354
(
("2003-11-20-07:00:09.677" "2003-11-20-07:01:18.469" TRUE FALSE)
(-2449.0 14474.0 -3278.0 14555.0))))
(
(19 3 35 -1 -1)
(0.0
(
("2003-11-20-07:01:18.469" "2003-11-20-07:01:29.267" TRUE FALSE)
(-3278.0 14555.0 -3423.0 14495.0))))
(
(19 3 36 -1 -1)
(31.65512809905122
(
("2003-11-20-07:01:29.267" "2003-11-20-07:02" TRUE FALSE)
(-3423.0 14495.0 -3560.0 14235.0)))))) )