123 lines
4.0 KiB
Plaintext
123 lines
4.0 KiB
Plaintext
|
|
(
|
|
(rel
|
|
(tuple
|
|
(
|
|
(Id int)
|
|
(Length real)
|
|
(Curve sline)
|
|
(Dual bool)
|
|
(StartsSmaller bool))))
|
|
(
|
|
(1 1013.204931293008
|
|
(
|
|
(
|
|
(8209.0 8769.0 8293.0 8768.0)
|
|
(8293.0 8768.0 8594.0 8773.0)
|
|
(8594.0 8773.0 8982.0 8781.0)
|
|
(8982.0 8781.0 9222.0 8787.0))
|
|
TRUE)
|
|
TRUE
|
|
TRUE)
|
|
(2 618.3390984698034
|
|
(
|
|
(
|
|
(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
|
|
TRUE)
|
|
(3 1486.545481718601
|
|
(
|
|
(
|
|
(9222.0 8787.0 9227.0 8890.0)
|
|
(9227.0 8890.0 9248.0 9350.0)
|
|
(9248.0 9350.0 9280.0 9476.0)
|
|
(9280.0 9476.0 9334.0 9670.0)
|
|
(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
|
|
TRUE)
|
|
(4 722.0466041486023
|
|
(
|
|
(
|
|
(8594.0 8773.0 8598.0 9061.0)
|
|
(8598.0 9061.0 8598.0 9256.0)
|
|
(8595.0 9495.0 8598.0 9256.0))
|
|
TRUE)
|
|
TRUE
|
|
TRUE)
|
|
(5 296.5209133302397
|
|
(
|
|
(
|
|
(8401.0 9079.0 8478.0 9236.0)
|
|
(8478.0 9236.0 8598.0 9256.0))
|
|
TRUE)
|
|
TRUE
|
|
TRUE)
|
|
(6 658.1775209969339
|
|
(
|
|
(
|
|
(8598.0 9256.0 8769.0 9290.0)
|
|
(8769.0 9290.0 8955.0 9318.0)
|
|
(8955.0 9318.0 9211.0 9354.0)
|
|
(9211.0 9354.0 9248.0 9350.0))
|
|
TRUE)
|
|
TRUE
|
|
TRUE)
|
|
(7 1495.670864450336
|
|
(
|
|
(
|
|
(7941.0 9686.0 8188.0 9610.0)
|
|
(8188.0 9610.0 8595.0 9495.0)
|
|
(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
|
|
TRUE)
|
|
(8 870.0278231792203
|
|
(
|
|
(
|
|
(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)
|
|
(8401.0 9079.0 8480.0 9071.0)
|
|
(8480.0 9071.0 8598.0 9061.0))
|
|
TRUE)
|
|
TRUE
|
|
TRUE)
|
|
(9 1264.596299765073
|
|
(
|
|
(
|
|
(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)
|
|
(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
|
|
TRUE)
|
|
(10 673.1890703273963
|
|
(
|
|
(
|
|
(9882.0 9287.0 9915.0 9480.0)
|
|
(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
|
|
TRUE)))
|