213 lines
6.0 KiB
Plaintext
213 lines
6.0 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)
|
|
(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)
|
|
(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)
|
|
(3 563.6003861432591 894.9756577135364 TRUE
|
|
(
|
|
(
|
|
(9248.0 9350.0 9280.0 9476.0)
|
|
(9280.0 9476.0 9334.0 9670.0))
|
|
TRUE)
|
|
TRUE
|
|
3
|
|
6)
|
|
(3 894.9756577135364 1486.545481718601 TRUE
|
|
(
|
|
(
|
|
(9334.0 9670.0 9387.0 9804.0)
|
|
(9387.0 9804.0 9444.0 9919.0)
|
|
(9444.0 9919.0 9444.0 10000.0)
|
|
(9401.0 10199.0 9444.0 10000.0)
|
|
(9395.0 10233.0 9401.0 10199.0))
|
|
TRUE)
|
|
TRUE
|
|
3
|
|
7)
|
|
(4 0.0 288.0277764383151 TRUE
|
|
(
|
|
(
|
|
(8594.0 8773.0 8598.0 9061.0))
|
|
TRUE)
|
|
TRUE
|
|
4
|
|
8)
|
|
(4 288.0277764383151 483.0277764383551 TRUE
|
|
(
|
|
(
|
|
(8598.0 9061.0 8598.0 9256.0))
|
|
TRUE)
|
|
TRUE
|
|
4
|
|
9)
|
|
(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)
|
|
(6 620.9619328650768 658.1775209969339 TRUE
|
|
(
|
|
(
|
|
(9211.0 9354.0 9248.0 9350.0))
|
|
TRUE)
|
|
TRUE
|
|
6
|
|
13)
|
|
(7 0.0 681.3629228490081 TRUE
|
|
(
|
|
(
|
|
(7941.0 9686.0 8188.0 9610.0)
|
|
(8188.0 9610.0 8595.0 9495.0))
|
|
TRUE)
|
|
TRUE
|
|
7
|
|
14)
|
|
(7 681.3629228490081 1495.670864450336 TRUE
|
|
(
|
|
(
|
|
(8595.0 9495.0 8648.0 9526.0)
|
|
(8648.0 9526.0 8777.0 9601.0)
|
|
(8777.0 9601.0 9002.0 9731.0)
|
|
(9002.0 9731.0 9043.0 9745.0)
|
|
(9043.0 9745.0 9334.0 9670.0))
|
|
TRUE)
|
|
TRUE
|
|
7
|
|
15)
|
|
(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)
|
|
(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)
|
|
(9 0.0 611.410605303284 TRUE
|
|
(
|
|
(
|
|
(9334.0 9670.0 9532.0 9600.0)
|
|
(9532.0 9600.0 9665.0 9559.0)
|
|
(9665.0 9559.0 9784.0 9519.0)
|
|
(9784.0 9519.0 9915.0 9480.0))
|
|
TRUE)
|
|
TRUE
|
|
9
|
|
18)
|
|
(9 611.410605303284 1264.596299765073 TRUE
|
|
(
|
|
(
|
|
(9915.0 9480.0 10019.0 9451.0)
|
|
(10019.0 9451.0 10189.0 9403.0)
|
|
(10189.0 9403.0 10542.0 9297.0))
|
|
TRUE)
|
|
TRUE
|
|
9
|
|
19)
|
|
(10 0.0 195.8009193032556 TRUE
|
|
(
|
|
(
|
|
(9882.0 9287.0 9915.0 9480.0))
|
|
TRUE)
|
|
TRUE
|
|
10
|
|
20)
|
|
(10 195.8009193032556 673.1890703273963 TRUE
|
|
(
|
|
(
|
|
(9915.0 9480.0 9944.0 9691.0)
|
|
(9944.0 9691.0 9968.0 9847.0)
|
|
(9968.0 9847.0 10002.0 9948.0))
|
|
TRUE)
|
|
TRUE
|
|
10
|
|
21)))
|