210 lines
5.6 KiB
Plaintext
210 lines
5.6 KiB
Plaintext
|
|
(
|
|
(rel
|
|
(tuple
|
|
(
|
|
(Id int)
|
|
(Pos point)
|
|
(Listjuncpos listrloc)
|
|
(Listinsections listint)
|
|
(Listoutsections listint))))
|
|
(
|
|
(1
|
|
(7.4796806 51.359579)
|
|
(
|
|
(3 0.01072473178283396
|
|
(Both))
|
|
(4 0.01072473178283396
|
|
(Both))
|
|
(5 0.01072473178283396
|
|
(Both)))
|
|
(1)
|
|
(1))
|
|
(2
|
|
(7.4801436 51.3596479)
|
|
(
|
|
(1 0.0
|
|
(Both))
|
|
(2 0.0
|
|
(Both))
|
|
(3 0.01025262971283514
|
|
(Both))
|
|
(4 0.01025262971283514
|
|
(Both))
|
|
(5 0.01025262971283514
|
|
(Both)))
|
|
(1 2 7)
|
|
(1 2 7))
|
|
(3
|
|
(7.4822507 51.3575103)
|
|
(
|
|
(8 0.002080410994468193
|
|
(Both))
|
|
(9 0.002080410994468193
|
|
(Both)))
|
|
(3)
|
|
(3))
|
|
(4
|
|
(7.4825926 51.3603801)
|
|
(
|
|
(3 0.00768898003703103
|
|
(Both))
|
|
(4 0.00768898003703103
|
|
(Both))
|
|
(5 0.00768898003703103
|
|
(Both))
|
|
(10 0.0
|
|
(Both))
|
|
(11 0.0
|
|
(Both)))
|
|
(2 4 6)
|
|
(2 4 6))
|
|
(5
|
|
(7.4831082 51.3586911)
|
|
(
|
|
(6 0.0
|
|
(Both))
|
|
(7 0.0
|
|
(Both))
|
|
(8 0.0
|
|
(Both))
|
|
(9 0.0
|
|
(Both))
|
|
(12 0.0009410334719115398
|
|
(Both))
|
|
(13 0.0
|
|
(Both)))
|
|
(3 5 11)
|
|
(3 8 11))
|
|
(6
|
|
(7.4831173 51.3613056)
|
|
(
|
|
(10 0.001081408268866358
|
|
(Both))
|
|
(11 0.001081408268866358
|
|
(Both)))
|
|
(6)
|
|
(6))
|
|
(7
|
|
(7.483381 51.3595286)
|
|
(
|
|
(1 0.00333622640549804
|
|
(Both))
|
|
(2 0.00333622640549804
|
|
(Both))
|
|
(12 0.0
|
|
(Both))
|
|
(13 0.0009282805269771643
|
|
(Both)))
|
|
(7 8 12)
|
|
(5 7 12))
|
|
(8
|
|
(7.4843453 51.3613316)
|
|
(
|
|
(14 0.0008467358711228076
|
|
(Both))
|
|
(15 0.0008467358711228076
|
|
(Both)))
|
|
(9)
|
|
(9))
|
|
(9
|
|
(7.4844037 51.3604869)
|
|
(
|
|
(3 0.005874570069372247
|
|
(Both))
|
|
(4 0.005874570069372247
|
|
(Both))
|
|
(5 0.005874570069372247
|
|
(Both))
|
|
(14 0.0
|
|
(Both))
|
|
(15 0.0
|
|
(Both)))
|
|
(4 9 10)
|
|
(4 9 10))
|
|
(10
|
|
(7.4847015 51.3571064)
|
|
(
|
|
(6 0.002251502776166093
|
|
(Both))
|
|
(7 0.002251502776166093
|
|
(Both)))
|
|
(11)
|
|
(11))
|
|
(11
|
|
(7.4851134 51.3597148)
|
|
(
|
|
(1 0.005111846755521035
|
|
(Both))
|
|
(2 0.005111846755521035
|
|
(Both))
|
|
(18 0.0008174762031899241
|
|
(Both))
|
|
(19 0.0008174762031899241
|
|
(Both)))
|
|
(12 13 15)
|
|
(12 13 15))
|
|
(12
|
|
(7.4851513 51.3605308)
|
|
(
|
|
(3 0.005125680050541271
|
|
(Both))
|
|
(4 0.005125680050541271
|
|
(Both))
|
|
(5 0.005125680050541271
|
|
(Both))
|
|
(18 0.0
|
|
(Both))
|
|
(19 0.0
|
|
(Both)))
|
|
(10 13 14)
|
|
(10 13 14))
|
|
(13
|
|
(7.4868178 51.3597936)
|
|
(
|
|
(1 0.006819635228316332
|
|
(Both))
|
|
(2 0.006819635228316332
|
|
(Both))
|
|
(16 0.0008458556200651723
|
|
(Both))
|
|
(17 0.0008458556200651723
|
|
(Both)))
|
|
(15 16 18)
|
|
(15 16 18))
|
|
(14
|
|
(7.486994 51.3606209)
|
|
(
|
|
(3 0.003280775199192672
|
|
(Both))
|
|
(4 0.003280775199192672
|
|
(Both))
|
|
(5 0.003280775199192672
|
|
(Both))
|
|
(16 0.0
|
|
(Both))
|
|
(17 0.0
|
|
(Both)))
|
|
(14 16 17)
|
|
(14 16 17))
|
|
(15
|
|
(7.49027 51.3607948)
|
|
(
|
|
(3 0.0
|
|
(Both))
|
|
(4 0.0
|
|
(Both))
|
|
(5 0.0
|
|
(Both)))
|
|
(17)
|
|
(17))
|
|
(16
|
|
(7.492999 51.3605059)
|
|
(
|
|
(1 0.01306270890359256
|
|
(Both))
|
|
(2 0.01306270890359256
|
|
(Both)))
|
|
(18)
|
|
(18))))
|