133 lines
3.4 KiB
Plaintext
133 lines
3.4 KiB
Plaintext
|
|
(
|
|
(rel
|
|
(tuple
|
|
(
|
|
(Rid int)
|
|
(Meas1 real)
|
|
(Meas2 real)
|
|
(Dual bool)
|
|
(Curve sline)
|
|
(CurveStartsSmaller bool)
|
|
(Rrc tid)
|
|
(Sid int))))
|
|
(
|
|
(1 0.0 385.0474775448921 TRUE
|
|
(
|
|
(
|
|
(8209.0 8769.0 8293.0 8768.0)
|
|
(8293.0 8768.0 8594.0 8773.0))
|
|
TRUE)
|
|
TRUE
|
|
1
|
|
1)
|
|
(1 385.0474775448921 773.1299430080975 TRUE
|
|
(
|
|
(
|
|
(8594.0 8773.0 8982.0 8781.0))
|
|
TRUE)
|
|
TRUE
|
|
1
|
|
2)
|
|
(4 0.0 288.0277764383151 TRUE
|
|
(
|
|
(
|
|
(8594.0 8773.0 8598.0 9061.0))
|
|
TRUE)
|
|
TRUE
|
|
4
|
|
8)
|
|
(1 773.1299430080975 1013.204931293008 TRUE
|
|
(
|
|
(
|
|
(8982.0 8781.0 9222.0 8787.0))
|
|
TRUE)
|
|
TRUE
|
|
1
|
|
3)
|
|
(2 0.0 618.3390984698034 TRUE
|
|
(
|
|
(
|
|
(8982.0 8781.0 9057.0 8936.0)
|
|
(9057.0 8936.0 9106.0 9038.0)
|
|
(9106.0 9038.0 9163.0 9209.0)
|
|
(9163.0 9209.0 9211.0 9354.0))
|
|
TRUE)
|
|
TRUE
|
|
2
|
|
4)
|
|
(4 288.0277764383151 483.0277764383551 TRUE
|
|
(
|
|
(
|
|
(8598.0 9061.0 8598.0 9256.0))
|
|
TRUE)
|
|
TRUE
|
|
4
|
|
9)
|
|
(8 672.2008223100993 870.0278231792203 TRUE
|
|
(
|
|
(
|
|
(8401.0 9079.0 8480.0 9071.0)
|
|
(8480.0 9071.0 8598.0 9061.0))
|
|
TRUE)
|
|
TRUE
|
|
8
|
|
17)
|
|
(4 483.0277764383551 722.0466041486023 TRUE
|
|
(
|
|
(
|
|
(8595.0 9495.0 8598.0 9256.0))
|
|
FALSE)
|
|
FALSE
|
|
4
|
|
10)
|
|
(5 0.0 296.5209133302397 TRUE
|
|
(
|
|
(
|
|
(8401.0 9079.0 8478.0 9236.0)
|
|
(8478.0 9236.0 8598.0 9256.0))
|
|
TRUE)
|
|
TRUE
|
|
5
|
|
11)
|
|
(6 0.0 620.9619328650768 TRUE
|
|
(
|
|
(
|
|
(8598.0 9256.0 8769.0 9290.0)
|
|
(8769.0 9290.0 8955.0 9318.0)
|
|
(8955.0 9318.0 9211.0 9354.0))
|
|
TRUE)
|
|
TRUE
|
|
6
|
|
12)
|
|
(5 0.0 296.5209133302397 TRUE
|
|
(
|
|
(
|
|
(8401.0 9079.0 8478.0 9236.0)
|
|
(8478.0 9236.0 8598.0 9256.0))
|
|
TRUE)
|
|
TRUE
|
|
5
|
|
11)
|
|
(8 0.0 672.2008223100993 TRUE
|
|
(
|
|
(
|
|
(7735.0 9121.0 7782.0 9115.0)
|
|
(7782.0 9115.0 7990.0 9129.0)
|
|
(7990.0 9129.0 8081.0 9129.0)
|
|
(8081.0 9129.0 8180.0 9099.0)
|
|
(8180.0 9099.0 8401.0 9079.0))
|
|
TRUE)
|
|
TRUE
|
|
8
|
|
16)
|
|
(3 0.0 563.6003861432591 TRUE
|
|
(
|
|
(
|
|
(9222.0 8787.0 9227.0 8890.0)
|
|
(9227.0 8890.0 9248.0 9350.0))
|
|
TRUE)
|
|
TRUE
|
|
3
|
|
5)))
|