From a1b1c9ce544b4eea625ac3271fa18a6f8f64f77b Mon Sep 17 00:00:00 2001 From: Efi Fogel Date: Sun, 30 Jul 2006 09:48:41 +0000 Subject: [PATCH] 1st revision --- Arrangement_2/data/Benchmark/onebig_250_x.bff | 252 +++++++++ .../data/Benchmark/random_segments_100_x.bff | 104 ++++ .../data/Benchmark/random_segments_500_x.bff | 504 ++++++++++++++++++ 3 files changed, 860 insertions(+) create mode 100644 Arrangement_2/data/Benchmark/onebig_250_x.bff create mode 100644 Arrangement_2/data/Benchmark/random_segments_100_x.bff create mode 100644 Arrangement_2/data/Benchmark/random_segments_500_x.bff diff --git a/Arrangement_2/data/Benchmark/onebig_250_x.bff b/Arrangement_2/data/Benchmark/onebig_250_x.bff new file mode 100644 index 00000000000..8b0d57a10af --- /dev/null +++ b/Arrangement_2/data/Benchmark/onebig_250_x.bff @@ -0,0 +1,252 @@ +FileFormat( "AcsBenchmark", 0, 1 ) +BenchmarkName( "onebig_250_x" ) +Classification( "Arrangement", "Lines", "BoundedArcs", "Dgn", "O", "Jul-2006" ) + +LineSegment_2(Point_2(62,0), Point_2(0,1)) +LineSegment_2(Point_2(61,0), Point_2(0,2)) +LineSegment_2(Point_2(60,0), Point_2(0,3)) +LineSegment_2(Point_2(59,0), Point_2(0,4)) +LineSegment_2(Point_2(58,0), Point_2(0,5)) +LineSegment_2(Point_2(57,0), Point_2(0,6)) +LineSegment_2(Point_2(56,0), Point_2(0,7)) +LineSegment_2(Point_2(55,0), Point_2(0,8)) +LineSegment_2(Point_2(54,0), Point_2(0,9)) +LineSegment_2(Point_2(53,0), Point_2(0,10)) +LineSegment_2(Point_2(52,0), Point_2(0,11)) +LineSegment_2(Point_2(51,0), Point_2(0,12)) +LineSegment_2(Point_2(50,0), Point_2(0,13)) +LineSegment_2(Point_2(49,0), Point_2(0,14)) +LineSegment_2(Point_2(48,0), Point_2(0,15)) +LineSegment_2(Point_2(47,0), Point_2(0,16)) +LineSegment_2(Point_2(46,0), Point_2(0,17)) +LineSegment_2(Point_2(45,0), Point_2(0,18)) +LineSegment_2(Point_2(44,0), Point_2(0,19)) +LineSegment_2(Point_2(43,0), Point_2(0,20)) +LineSegment_2(Point_2(42,0), Point_2(0,21)) +LineSegment_2(Point_2(41,0), Point_2(0,22)) +LineSegment_2(Point_2(40,0), Point_2(0,23)) +LineSegment_2(Point_2(39,0), Point_2(0,24)) +LineSegment_2(Point_2(38,0), Point_2(0,25)) +LineSegment_2(Point_2(37,0), Point_2(0,26)) +LineSegment_2(Point_2(36,0), Point_2(0,27)) +LineSegment_2(Point_2(35,0), Point_2(0,28)) +LineSegment_2(Point_2(34,0), Point_2(0,29)) +LineSegment_2(Point_2(33,0), Point_2(0,30)) +LineSegment_2(Point_2(32,0), Point_2(0,31)) +LineSegment_2(Point_2(31,0), Point_2(0,32)) +LineSegment_2(Point_2(30,0), Point_2(0,33)) +LineSegment_2(Point_2(29,0), Point_2(0,34)) +LineSegment_2(Point_2(28,0), Point_2(0,35)) +LineSegment_2(Point_2(27,0), Point_2(0,36)) +LineSegment_2(Point_2(26,0), Point_2(0,37)) +LineSegment_2(Point_2(25,0), Point_2(0,38)) +LineSegment_2(Point_2(24,0), Point_2(0,39)) +LineSegment_2(Point_2(23,0), Point_2(0,40)) +LineSegment_2(Point_2(22,0), Point_2(0,41)) +LineSegment_2(Point_2(21,0), Point_2(0,42)) +LineSegment_2(Point_2(20,0), Point_2(0,43)) +LineSegment_2(Point_2(19,0), Point_2(0,44)) +LineSegment_2(Point_2(18,0), Point_2(0,45)) +LineSegment_2(Point_2(17,0), Point_2(0,46)) +LineSegment_2(Point_2(16,0), Point_2(0,47)) +LineSegment_2(Point_2(15,0), Point_2(0,48)) +LineSegment_2(Point_2(14,0), Point_2(0,49)) +LineSegment_2(Point_2(13,0), Point_2(0,50)) +LineSegment_2(Point_2(12,0), Point_2(0,51)) +LineSegment_2(Point_2(11,0), Point_2(0,52)) +LineSegment_2(Point_2(10,0), Point_2(0,53)) +LineSegment_2(Point_2(9,0), Point_2(0,54)) +LineSegment_2(Point_2(8,0), Point_2(0,55)) +LineSegment_2(Point_2(7,0), Point_2(0,56)) +LineSegment_2(Point_2(6,0), Point_2(0,57)) +LineSegment_2(Point_2(5,0), Point_2(0,58)) +LineSegment_2(Point_2(4,0), Point_2(0,59)) +LineSegment_2(Point_2(3,0), Point_2(0,60)) +LineSegment_2(Point_2(2,0), Point_2(0,61)) +LineSegment_2(Point_2(1,0), Point_2(0,62)) +LineSegment_2(Point_2(124,123), Point_2(62,124)) +LineSegment_2(Point_2(124,122), Point_2(63,124)) +LineSegment_2(Point_2(124,121), Point_2(64,124)) +LineSegment_2(Point_2(124,120), Point_2(65,124)) +LineSegment_2(Point_2(124,119), Point_2(66,124)) +LineSegment_2(Point_2(124,118), Point_2(67,124)) +LineSegment_2(Point_2(124,117), Point_2(68,124)) +LineSegment_2(Point_2(124,116), Point_2(69,124)) +LineSegment_2(Point_2(124,115), Point_2(70,124)) +LineSegment_2(Point_2(124,114), Point_2(71,124)) +LineSegment_2(Point_2(124,113), Point_2(72,124)) +LineSegment_2(Point_2(124,112), Point_2(73,124)) +LineSegment_2(Point_2(124,111), Point_2(74,124)) +LineSegment_2(Point_2(124,110), Point_2(75,124)) +LineSegment_2(Point_2(124,109), Point_2(76,124)) +LineSegment_2(Point_2(124,108), Point_2(77,124)) +LineSegment_2(Point_2(124,107), Point_2(78,124)) +LineSegment_2(Point_2(124,106), Point_2(79,124)) +LineSegment_2(Point_2(124,105), Point_2(80,124)) +LineSegment_2(Point_2(124,104), Point_2(81,124)) +LineSegment_2(Point_2(124,103), Point_2(82,124)) +LineSegment_2(Point_2(124,102), Point_2(83,124)) +LineSegment_2(Point_2(124,101), Point_2(84,124)) +LineSegment_2(Point_2(124,100), Point_2(85,124)) +LineSegment_2(Point_2(124,99), Point_2(86,124)) +LineSegment_2(Point_2(124,98), Point_2(87,124)) +LineSegment_2(Point_2(124,97), Point_2(88,124)) +LineSegment_2(Point_2(124,96), Point_2(89,124)) +LineSegment_2(Point_2(124,95), Point_2(90,124)) +LineSegment_2(Point_2(124,94), Point_2(91,124)) +LineSegment_2(Point_2(124,93), Point_2(92,124)) +LineSegment_2(Point_2(124,92), Point_2(93,124)) +LineSegment_2(Point_2(124,91), Point_2(94,124)) +LineSegment_2(Point_2(124,90), Point_2(95,124)) +LineSegment_2(Point_2(124,89), Point_2(96,124)) +LineSegment_2(Point_2(124,88), Point_2(97,124)) +LineSegment_2(Point_2(124,87), Point_2(98,124)) +LineSegment_2(Point_2(124,86), Point_2(99,124)) +LineSegment_2(Point_2(124,85), Point_2(100,124)) +LineSegment_2(Point_2(124,84), Point_2(101,124)) +LineSegment_2(Point_2(124,83), Point_2(102,124)) +LineSegment_2(Point_2(124,82), Point_2(103,124)) +LineSegment_2(Point_2(124,81), Point_2(104,124)) +LineSegment_2(Point_2(124,80), Point_2(105,124)) +LineSegment_2(Point_2(124,79), Point_2(106,124)) +LineSegment_2(Point_2(124,78), Point_2(107,124)) +LineSegment_2(Point_2(124,77), Point_2(108,124)) +LineSegment_2(Point_2(124,76), Point_2(109,124)) +LineSegment_2(Point_2(124,75), Point_2(110,124)) +LineSegment_2(Point_2(124,74), Point_2(111,124)) +LineSegment_2(Point_2(124,73), Point_2(112,124)) +LineSegment_2(Point_2(124,72), Point_2(113,124)) +LineSegment_2(Point_2(124,71), Point_2(114,124)) +LineSegment_2(Point_2(124,70), Point_2(115,124)) +LineSegment_2(Point_2(124,69), Point_2(116,124)) +LineSegment_2(Point_2(124,68), Point_2(117,124)) +LineSegment_2(Point_2(124,67), Point_2(118,124)) +LineSegment_2(Point_2(124,66), Point_2(119,124)) +LineSegment_2(Point_2(124,65), Point_2(120,124)) +LineSegment_2(Point_2(124,64), Point_2(121,124)) +LineSegment_2(Point_2(124,63), Point_2(122,124)) +LineSegment_2(Point_2(124,62), Point_2(123,124)) +LineSegment_2(Point_2(0,62), Point_2(1,124)) +LineSegment_2(Point_2(0,63), Point_2(2,124)) +LineSegment_2(Point_2(0,64), Point_2(3,124)) +LineSegment_2(Point_2(0,65), Point_2(4,124)) +LineSegment_2(Point_2(0,66), Point_2(5,124)) +LineSegment_2(Point_2(0,67), Point_2(6,124)) +LineSegment_2(Point_2(0,68), Point_2(7,124)) +LineSegment_2(Point_2(0,69), Point_2(8,124)) +LineSegment_2(Point_2(0,70), Point_2(9,124)) +LineSegment_2(Point_2(0,71), Point_2(10,124)) +LineSegment_2(Point_2(0,72), Point_2(11,124)) +LineSegment_2(Point_2(0,73), Point_2(12,124)) +LineSegment_2(Point_2(0,74), Point_2(13,124)) +LineSegment_2(Point_2(0,75), Point_2(14,124)) +LineSegment_2(Point_2(0,76), Point_2(15,124)) +LineSegment_2(Point_2(0,77), Point_2(16,124)) +LineSegment_2(Point_2(0,78), Point_2(17,124)) +LineSegment_2(Point_2(0,79), Point_2(18,124)) +LineSegment_2(Point_2(0,80), Point_2(19,124)) +LineSegment_2(Point_2(0,81), Point_2(20,124)) +LineSegment_2(Point_2(0,82), Point_2(21,124)) +LineSegment_2(Point_2(0,83), Point_2(22,124)) +LineSegment_2(Point_2(0,84), Point_2(23,124)) +LineSegment_2(Point_2(0,85), Point_2(24,124)) +LineSegment_2(Point_2(0,86), Point_2(25,124)) +LineSegment_2(Point_2(0,87), Point_2(26,124)) +LineSegment_2(Point_2(0,88), Point_2(27,124)) +LineSegment_2(Point_2(0,89), Point_2(28,124)) +LineSegment_2(Point_2(0,90), Point_2(29,124)) +LineSegment_2(Point_2(0,91), Point_2(30,124)) +LineSegment_2(Point_2(0,92), Point_2(31,124)) +LineSegment_2(Point_2(0,93), Point_2(32,124)) +LineSegment_2(Point_2(0,94), Point_2(33,124)) +LineSegment_2(Point_2(0,95), Point_2(34,124)) +LineSegment_2(Point_2(0,96), Point_2(35,124)) +LineSegment_2(Point_2(0,97), Point_2(36,124)) +LineSegment_2(Point_2(0,98), Point_2(37,124)) +LineSegment_2(Point_2(0,99), Point_2(38,124)) +LineSegment_2(Point_2(0,100), Point_2(39,124)) +LineSegment_2(Point_2(0,101), Point_2(40,124)) +LineSegment_2(Point_2(0,102), Point_2(41,124)) +LineSegment_2(Point_2(0,103), Point_2(42,124)) +LineSegment_2(Point_2(0,104), Point_2(43,124)) +LineSegment_2(Point_2(0,105), Point_2(44,124)) +LineSegment_2(Point_2(0,106), Point_2(45,124)) +LineSegment_2(Point_2(0,107), Point_2(46,124)) +LineSegment_2(Point_2(0,108), Point_2(47,124)) +LineSegment_2(Point_2(0,109), Point_2(48,124)) +LineSegment_2(Point_2(0,110), Point_2(49,124)) +LineSegment_2(Point_2(0,111), Point_2(50,124)) +LineSegment_2(Point_2(0,112), Point_2(51,124)) +LineSegment_2(Point_2(0,113), Point_2(52,124)) +LineSegment_2(Point_2(0,114), Point_2(53,124)) +LineSegment_2(Point_2(0,115), Point_2(54,124)) +LineSegment_2(Point_2(0,116), Point_2(55,124)) +LineSegment_2(Point_2(0,117), Point_2(56,124)) +LineSegment_2(Point_2(0,118), Point_2(57,124)) +LineSegment_2(Point_2(0,119), Point_2(58,124)) +LineSegment_2(Point_2(0,120), Point_2(59,124)) +LineSegment_2(Point_2(0,121), Point_2(60,124)) +LineSegment_2(Point_2(0,122), Point_2(61,124)) +LineSegment_2(Point_2(0,123), Point_2(62,124)) +LineSegment_2(Point_2(62,0), Point_2(124,1)) +LineSegment_2(Point_2(63,0), Point_2(124,2)) +LineSegment_2(Point_2(64,0), Point_2(124,3)) +LineSegment_2(Point_2(65,0), Point_2(124,4)) +LineSegment_2(Point_2(66,0), Point_2(124,5)) +LineSegment_2(Point_2(67,0), Point_2(124,6)) +LineSegment_2(Point_2(68,0), Point_2(124,7)) +LineSegment_2(Point_2(69,0), Point_2(124,8)) +LineSegment_2(Point_2(70,0), Point_2(124,9)) +LineSegment_2(Point_2(71,0), Point_2(124,10)) +LineSegment_2(Point_2(72,0), Point_2(124,11)) +LineSegment_2(Point_2(73,0), Point_2(124,12)) +LineSegment_2(Point_2(74,0), Point_2(124,13)) +LineSegment_2(Point_2(75,0), Point_2(124,14)) +LineSegment_2(Point_2(76,0), Point_2(124,15)) +LineSegment_2(Point_2(77,0), Point_2(124,16)) +LineSegment_2(Point_2(78,0), Point_2(124,17)) +LineSegment_2(Point_2(79,0), Point_2(124,18)) +LineSegment_2(Point_2(80,0), Point_2(124,19)) +LineSegment_2(Point_2(81,0), Point_2(124,20)) +LineSegment_2(Point_2(82,0), Point_2(124,21)) +LineSegment_2(Point_2(83,0), Point_2(124,22)) +LineSegment_2(Point_2(84,0), Point_2(124,23)) +LineSegment_2(Point_2(85,0), Point_2(124,24)) +LineSegment_2(Point_2(86,0), Point_2(124,25)) +LineSegment_2(Point_2(87,0), Point_2(124,26)) +LineSegment_2(Point_2(88,0), Point_2(124,27)) +LineSegment_2(Point_2(89,0), Point_2(124,28)) +LineSegment_2(Point_2(90,0), Point_2(124,29)) +LineSegment_2(Point_2(91,0), Point_2(124,30)) +LineSegment_2(Point_2(92,0), Point_2(124,31)) +LineSegment_2(Point_2(93,0), Point_2(124,32)) +LineSegment_2(Point_2(94,0), Point_2(124,33)) +LineSegment_2(Point_2(95,0), Point_2(124,34)) +LineSegment_2(Point_2(96,0), Point_2(124,35)) +LineSegment_2(Point_2(97,0), Point_2(124,36)) +LineSegment_2(Point_2(98,0), Point_2(124,37)) +LineSegment_2(Point_2(99,0), Point_2(124,38)) +LineSegment_2(Point_2(100,0), Point_2(124,39)) +LineSegment_2(Point_2(101,0), Point_2(124,40)) +LineSegment_2(Point_2(102,0), Point_2(124,41)) +LineSegment_2(Point_2(103,0), Point_2(124,42)) +LineSegment_2(Point_2(104,0), Point_2(124,43)) +LineSegment_2(Point_2(105,0), Point_2(124,44)) +LineSegment_2(Point_2(106,0), Point_2(124,45)) +LineSegment_2(Point_2(107,0), Point_2(124,46)) +LineSegment_2(Point_2(108,0), Point_2(124,47)) +LineSegment_2(Point_2(109,0), Point_2(124,48)) +LineSegment_2(Point_2(110,0), Point_2(124,49)) +LineSegment_2(Point_2(111,0), Point_2(124,50)) +LineSegment_2(Point_2(112,0), Point_2(124,51)) +LineSegment_2(Point_2(113,0), Point_2(124,52)) +LineSegment_2(Point_2(114,0), Point_2(124,53)) +LineSegment_2(Point_2(115,0), Point_2(124,54)) +LineSegment_2(Point_2(116,0), Point_2(124,55)) +LineSegment_2(Point_2(117,0), Point_2(124,56)) +LineSegment_2(Point_2(118,0), Point_2(124,57)) +LineSegment_2(Point_2(119,0), Point_2(124,58)) +LineSegment_2(Point_2(120,0), Point_2(124,59)) +LineSegment_2(Point_2(121,0), Point_2(124,60)) +LineSegment_2(Point_2(122,0), Point_2(124,61)) +LineSegment_2(Point_2(123,0), Point_2(124,62)) diff --git a/Arrangement_2/data/Benchmark/random_segments_100_x.bff b/Arrangement_2/data/Benchmark/random_segments_100_x.bff new file mode 100644 index 00000000000..3dc13aae7ee --- /dev/null +++ b/Arrangement_2/data/Benchmark/random_segments_100_x.bff @@ -0,0 +1,104 @@ +FileFormat( "AcsBenchmark", 0, 1 ) +BenchmarkName( "onebig_100_x" ) +Classification( "Arrangement", "Lines", "BoundedArcs", "Rnd", "O", "Jul-2006" ) + +LineSegment_2(Point_2(6600,1590), Point_2(5999,2291)) +LineSegment_2(Point_2(7177,1251), Point_2(8350,1577)) +LineSegment_2(Point_2(7618,4695), Point_2(2183,8406)) +LineSegment_2(Point_2(4096,9778), Point_2(5043,7420)) +LineSegment_2(Point_2(6880,4841), Point_2(2941,3991)) +LineSegment_2(Point_2(6006,3328), Point_2(2649,3235)) +LineSegment_2(Point_2(2357,4662), Point_2(1887,1906)) +LineSegment_2(Point_2(3989,9636), Point_2(2949,6941)) +LineSegment_2(Point_2(8948,5584), Point_2(7578,2477)) +LineSegment_2(Point_2(2280,4054), Point_2(6836,6251)) +LineSegment_2(Point_2(5371,4657), Point_2(8749,9467)) +LineSegment_2(Point_2(3793,3240), Point_2(787,7025)) +LineSegment_2(Point_2(81,1016), Point_2(8081,6087)) +LineSegment_2(Point_2(7082,5674), Point_2(697,9439)) +LineSegment_2(Point_2(8936,7698), Point_2(6688,9278)) +LineSegment_2(Point_2(9637,2571), Point_2(3686,8585)) +LineSegment_2(Point_2(1265,1063), Point_2(4508,9897)) +LineSegment_2(Point_2(1344,2500), Point_2(5117,3067)) +LineSegment_2(Point_2(219,2534), Point_2(7157,364)) +LineSegment_2(Point_2(4297,7389), Point_2(5774,4378)) +LineSegment_2(Point_2(3856,465), Point_2(4757,938)) +LineSegment_2(Point_2(5454,6730), Point_2(2491,743)) +LineSegment_2(Point_2(9180,21), Point_2(4428,8817)) +LineSegment_2(Point_2(8114,3755), Point_2(8944,5731)) +LineSegment_2(Point_2(3452,1981), Point_2(1170,1148)) +LineSegment_2(Point_2(2639,4215), Point_2(4481,2858)) +LineSegment_2(Point_2(7991,3222), Point_2(6750,2288)) +LineSegment_2(Point_2(8876,3018), Point_2(6963,2732)) +LineSegment_2(Point_2(1721,23), Point_2(9835,7175)) +LineSegment_2(Point_2(2326,4270), Point_2(3105,1506)) +LineSegment_2(Point_2(3885,324), Point_2(643,1999)) +LineSegment_2(Point_2(9588,4083), Point_2(4079,3040)) +LineSegment_2(Point_2(5249,4189), Point_2(2416,7888)) +LineSegment_2(Point_2(6897,7099), Point_2(8404,1240)) +LineSegment_2(Point_2(1506,3528), Point_2(321,383)) +LineSegment_2(Point_2(3637,9467), Point_2(2898,5358)) +LineSegment_2(Point_2(2733,8885), Point_2(5842,5060)) +LineSegment_2(Point_2(8947,6566), Point_2(3156,2832)) +LineSegment_2(Point_2(3799,1184), Point_2(3242,9739)) +LineSegment_2(Point_2(7321,2780), Point_2(1619,8922)) +LineSegment_2(Point_2(4035,3163), Point_2(3321,7284)) +LineSegment_2(Point_2(8077,8525), Point_2(262,9584)) +LineSegment_2(Point_2(6935,6319), Point_2(8405,572)) +LineSegment_2(Point_2(1304,5930), Point_2(5786,4037)) +LineSegment_2(Point_2(1629,5449), Point_2(1168,6928)) +LineSegment_2(Point_2(4324,9761), Point_2(2016,4475)) +LineSegment_2(Point_2(5258,4215), Point_2(7297,8932)) +LineSegment_2(Point_2(8916,7854), Point_2(3347,2951)) +LineSegment_2(Point_2(6668,6587), Point_2(7369,4745)) +LineSegment_2(Point_2(7631,681), Point_2(5112,4567)) +LineSegment_2(Point_2(3518,1491), Point_2(7000,1174)) +LineSegment_2(Point_2(9139,5211), Point_2(7422,768)) +LineSegment_2(Point_2(8590,4048), Point_2(661,9266)) +LineSegment_2(Point_2(9029,93), Point_2(161,639)) +LineSegment_2(Point_2(7458,9571), Point_2(4308,6374)) +LineSegment_2(Point_2(7655,5677), Point_2(3778,675)) +LineSegment_2(Point_2(1147,5421), Point_2(2265,5131)) +LineSegment_2(Point_2(7377,9698), Point_2(6102,7247)) +LineSegment_2(Point_2(9455,8421), Point_2(7541,8594)) +LineSegment_2(Point_2(4963,5714), Point_2(9985,9905)) +LineSegment_2(Point_2(6998,5523), Point_2(9762,6027)) +LineSegment_2(Point_2(9924,3018), Point_2(5617,3734)) +LineSegment_2(Point_2(6277,109), Point_2(2590,285)) +LineSegment_2(Point_2(2720,960), Point_2(2138,3867)) +LineSegment_2(Point_2(755,5350), Point_2(2733,4485)) +LineSegment_2(Point_2(5188,1732), Point_2(1400,4643)) +LineSegment_2(Point_2(8942,3237), Point_2(6506,3905)) +LineSegment_2(Point_2(6491,163), Point_2(5303,3489)) +LineSegment_2(Point_2(1417,5868), Point_2(2038,1341)) +LineSegment_2(Point_2(7655,5076), Point_2(8886,285)) +LineSegment_2(Point_2(7828,570), Point_2(1537,548)) +LineSegment_2(Point_2(27,768), Point_2(1530,783)) +LineSegment_2(Point_2(4264,5268), Point_2(6118,9452)) +LineSegment_2(Point_2(7519,447), Point_2(3352,6461)) +LineSegment_2(Point_2(9858,6718), Point_2(36,6349)) +LineSegment_2(Point_2(5339,6190), Point_2(3233,6756)) +LineSegment_2(Point_2(5272,4450), Point_2(8410,9279)) +LineSegment_2(Point_2(3649,9564), Point_2(5878,1477)) +LineSegment_2(Point_2(3767,8378), Point_2(6486,3794)) +LineSegment_2(Point_2(8017,4577), Point_2(5498,8633)) +LineSegment_2(Point_2(7968,4437), Point_2(6197,1839)) +LineSegment_2(Point_2(9550,8300), Point_2(4884,9408)) +LineSegment_2(Point_2(4920,2110), Point_2(1371,259)) +LineSegment_2(Point_2(956,3367), Point_2(4652,6228)) +LineSegment_2(Point_2(9415,1860), Point_2(7817,3064)) +LineSegment_2(Point_2(3695,893), Point_2(7776,7462)) +LineSegment_2(Point_2(4263,7609), Point_2(5623,8632)) +LineSegment_2(Point_2(1121,3617), Point_2(2186,9090)) +LineSegment_2(Point_2(4736,7281), Point_2(8054,4286)) +LineSegment_2(Point_2(2938,46), Point_2(5582,4210)) +LineSegment_2(Point_2(3305,4469), Point_2(8508,4261)) +LineSegment_2(Point_2(3161,6842), Point_2(4188,2576)) +LineSegment_2(Point_2(2006,1992), Point_2(5054,5701)) +LineSegment_2(Point_2(2830,9516), Point_2(2885,3445)) +LineSegment_2(Point_2(4861,8429), Point_2(7125,5982)) +LineSegment_2(Point_2(5663,1424), Point_2(2046,399)) +LineSegment_2(Point_2(100,1037), Point_2(8706,9390)) +LineSegment_2(Point_2(640,3600), Point_2(1084,297)) +LineSegment_2(Point_2(9592,910), Point_2(4421,9105)) +LineSegment_2(Point_2(8610,8033), Point_2(4104,6968)) diff --git a/Arrangement_2/data/Benchmark/random_segments_500_x.bff b/Arrangement_2/data/Benchmark/random_segments_500_x.bff new file mode 100644 index 00000000000..bf9e12a7d43 --- /dev/null +++ b/Arrangement_2/data/Benchmark/random_segments_500_x.bff @@ -0,0 +1,504 @@ +FileFormat( "AcsBenchmark", 0, 1 ) +BenchmarkName( "onebig_100_x" ) +Classification( "Arrangement", "Lines", "BoundedArcs", "Rnd", "O", "Jul-2006" ) + +LineSegment_2(Point_2(8388,6801), Point_2(2132,9119)) +LineSegment_2(Point_2(5780,7427), Point_2(3766,8919)) +LineSegment_2(Point_2(1212,4213), Point_2(5520,8407)) +LineSegment_2(Point_2(2362,6057), Point_2(3342,1176)) +LineSegment_2(Point_2(2651,5117), Point_2(84,9136)) +LineSegment_2(Point_2(190,7341), Point_2(7681,9741)) +LineSegment_2(Point_2(2384,3055), Point_2(4690,7988)) +LineSegment_2(Point_2(1733,9074), Point_2(8269,6473)) +LineSegment_2(Point_2(6753,1944), Point_2(5875,2533)) +LineSegment_2(Point_2(5993,1452), Point_2(9371,7205)) +LineSegment_2(Point_2(1244,1964), Point_2(2017,3606)) +LineSegment_2(Point_2(5359,1134), Point_2(4374,4362)) +LineSegment_2(Point_2(4458,3498), Point_2(2604,4648)) +LineSegment_2(Point_2(6637,4389), Point_2(7192,9021)) +LineSegment_2(Point_2(1882,3361), Point_2(7445,9967)) +LineSegment_2(Point_2(2066,6440), Point_2(2435,8819)) +LineSegment_2(Point_2(4662,7704), Point_2(8384,655)) +LineSegment_2(Point_2(4108,4213), Point_2(9156,1704)) +LineSegment_2(Point_2(1173,1662), Point_2(2529,2885)) +LineSegment_2(Point_2(6903,7247), Point_2(9148,1362)) +LineSegment_2(Point_2(1752,6010), Point_2(7098,8389)) +LineSegment_2(Point_2(642,3763), Point_2(6752,2524)) +LineSegment_2(Point_2(549,2492), Point_2(7124,2615)) +LineSegment_2(Point_2(5912,7786), Point_2(5284,6926)) +LineSegment_2(Point_2(21,7582), Point_2(5490,481)) +LineSegment_2(Point_2(998,2185), Point_2(8147,8523)) +LineSegment_2(Point_2(676,1408), Point_2(3847,7580)) +LineSegment_2(Point_2(2995,8942), Point_2(5008,1100)) +LineSegment_2(Point_2(8458,9489), Point_2(1304,9100)) +LineSegment_2(Point_2(4408,7976), Point_2(3252,4957)) +LineSegment_2(Point_2(6729,3924), Point_2(6820,8993)) +LineSegment_2(Point_2(2105,5919), Point_2(8062,8478)) +LineSegment_2(Point_2(9904,8959), Point_2(9853,902)) +LineSegment_2(Point_2(8000,5778), Point_2(7496,8677)) +LineSegment_2(Point_2(1343,6257), Point_2(7186,690)) +LineSegment_2(Point_2(8546,8142), Point_2(1551,7004)) +LineSegment_2(Point_2(2855,2456), Point_2(7632,3616)) +LineSegment_2(Point_2(7236,8573), Point_2(433,3965)) +LineSegment_2(Point_2(7253,9310), Point_2(8850,5710)) +LineSegment_2(Point_2(3264,4188), Point_2(5230,3169)) +LineSegment_2(Point_2(5083,423), Point_2(3147,9436)) +LineSegment_2(Point_2(643,8113), Point_2(6201,8338)) +LineSegment_2(Point_2(9740,5381), Point_2(722,8286)) +LineSegment_2(Point_2(8625,1643), Point_2(3523,1480)) +LineSegment_2(Point_2(7507,5096), Point_2(4099,4744)) +LineSegment_2(Point_2(884,5061), Point_2(22,4490)) +LineSegment_2(Point_2(5224,200), Point_2(4372,8488)) +LineSegment_2(Point_2(5954,1657), Point_2(4389,7389)) +LineSegment_2(Point_2(3888,6825), Point_2(2081,884)) +LineSegment_2(Point_2(4634,5574), Point_2(1290,4374)) +LineSegment_2(Point_2(2012,2661), Point_2(955,637)) +LineSegment_2(Point_2(831,8470), Point_2(656,8338)) +LineSegment_2(Point_2(1107,9434), Point_2(9918,1992)) +LineSegment_2(Point_2(6292,2834), Point_2(848,1516)) +LineSegment_2(Point_2(5220,5), Point_2(3034,7526)) +LineSegment_2(Point_2(3775,4915), Point_2(8014,4016)) +LineSegment_2(Point_2(6447,4900), Point_2(8093,1082)) +LineSegment_2(Point_2(9383,5456), Point_2(474,7748)) +LineSegment_2(Point_2(7782,4737), Point_2(4469,4965)) +LineSegment_2(Point_2(5125,9655), Point_2(3207,2585)) +LineSegment_2(Point_2(9478,929), Point_2(9090,5770)) +LineSegment_2(Point_2(9938,3639), Point_2(3763,1510)) +LineSegment_2(Point_2(6797,5388), Point_2(9996,573)) +LineSegment_2(Point_2(4362,4589), Point_2(303,810)) +LineSegment_2(Point_2(8396,1892), Point_2(5841,4132)) +LineSegment_2(Point_2(2667,1880), Point_2(3700,6801)) +LineSegment_2(Point_2(4522,1766), Point_2(6617,5999)) +LineSegment_2(Point_2(6177,8584), Point_2(7774,5655)) +LineSegment_2(Point_2(6864,7777), Point_2(9513,3154)) +LineSegment_2(Point_2(3276,1016), Point_2(7768,6426)) +LineSegment_2(Point_2(7764,3351), Point_2(6404,8479)) +LineSegment_2(Point_2(3059,9289), Point_2(4292,7808)) +LineSegment_2(Point_2(133,1940), Point_2(7533,9152)) +LineSegment_2(Point_2(7585,5954), Point_2(172,2107)) +LineSegment_2(Point_2(6789,8107), Point_2(4072,2966)) +LineSegment_2(Point_2(1846,4973), Point_2(6691,5062)) +LineSegment_2(Point_2(2557,8216), Point_2(9103,2185)) +LineSegment_2(Point_2(3223,8611), Point_2(5584,988)) +LineSegment_2(Point_2(1988,5819), Point_2(1962,1400)) +LineSegment_2(Point_2(6254,9208), Point_2(5108,2739)) +LineSegment_2(Point_2(8993,1892), Point_2(1148,6578)) +LineSegment_2(Point_2(1320,8686), Point_2(7846,4461)) +LineSegment_2(Point_2(1918,3780), Point_2(3145,3765)) +LineSegment_2(Point_2(6188,5179), Point_2(5105,8745)) +LineSegment_2(Point_2(4208,931), Point_2(9748,7432)) +LineSegment_2(Point_2(5332,4772), Point_2(9542,3673)) +LineSegment_2(Point_2(7857,5073), Point_2(591,463)) +LineSegment_2(Point_2(2051,3203), Point_2(4281,1044)) +LineSegment_2(Point_2(1781,7622), Point_2(5095,9453)) +LineSegment_2(Point_2(9293,3914), Point_2(2660,1211)) +LineSegment_2(Point_2(5805,1328), Point_2(4046,1994)) +LineSegment_2(Point_2(9152,7091), Point_2(6508,9712)) +LineSegment_2(Point_2(2608,3496), Point_2(8022,7940)) +LineSegment_2(Point_2(3917,7965), Point_2(8268,8126)) +LineSegment_2(Point_2(5211,8589), Point_2(3038,3614)) +LineSegment_2(Point_2(3671,4658), Point_2(1792,5452)) +LineSegment_2(Point_2(3239,1257), Point_2(8633,2532)) +LineSegment_2(Point_2(1293,96), Point_2(5172,3451)) +LineSegment_2(Point_2(9218,1797), Point_2(1424,4722)) +LineSegment_2(Point_2(4284,4435), Point_2(8888,6892)) +LineSegment_2(Point_2(3263,1185), Point_2(7931,7180)) +LineSegment_2(Point_2(2552,1658), Point_2(9150,4115)) +LineSegment_2(Point_2(8541,7730), Point_2(247,2212)) +LineSegment_2(Point_2(8392,4017), Point_2(8740,1631)) +LineSegment_2(Point_2(7373,4164), Point_2(5274,5019)) +LineSegment_2(Point_2(6798,4822), Point_2(4260,6017)) +LineSegment_2(Point_2(2036,7091), Point_2(6619,2673)) +LineSegment_2(Point_2(5507,5917), Point_2(1526,8770)) +LineSegment_2(Point_2(9458,2302), Point_2(3454,8362)) +LineSegment_2(Point_2(2605,2477), Point_2(3960,7498)) +LineSegment_2(Point_2(560,9710), Point_2(6559,8952)) +LineSegment_2(Point_2(5300,583), Point_2(3727,9025)) +LineSegment_2(Point_2(5354,396), Point_2(1099,2152)) +LineSegment_2(Point_2(1711,4521), Point_2(5218,3748)) +LineSegment_2(Point_2(1837,2773), Point_2(1613,3697)) +LineSegment_2(Point_2(3139,8819), Point_2(8690,8949)) +LineSegment_2(Point_2(2145,7311), Point_2(1122,1102)) +LineSegment_2(Point_2(1434,8600), Point_2(6141,1994)) +LineSegment_2(Point_2(2700,7298), Point_2(8310,4352)) +LineSegment_2(Point_2(8390,3378), Point_2(4234,3744)) +LineSegment_2(Point_2(5333,2248), Point_2(126,7045)) +LineSegment_2(Point_2(5345,7145), Point_2(6770,3534)) +LineSegment_2(Point_2(8383,3583), Point_2(9918,7874)) +LineSegment_2(Point_2(8608,6824), Point_2(2403,7105)) +LineSegment_2(Point_2(3525,8207), Point_2(487,1311)) +LineSegment_2(Point_2(6628,3306), Point_2(6807,5681)) +LineSegment_2(Point_2(1470,33), Point_2(6956,6212)) +LineSegment_2(Point_2(1190,6308), Point_2(9763,6524)) +LineSegment_2(Point_2(9890,3569), Point_2(8556,1587)) +LineSegment_2(Point_2(1678,5121), Point_2(714,61)) +LineSegment_2(Point_2(632,7936), Point_2(5057,5592)) +LineSegment_2(Point_2(7460,2698), Point_2(1112,7337)) +LineSegment_2(Point_2(1599,8648), Point_2(7257,4580)) +LineSegment_2(Point_2(4065,261), Point_2(8306,1887)) +LineSegment_2(Point_2(5263,4451), Point_2(294,6453)) +LineSegment_2(Point_2(58,2977), Point_2(759,6300)) +LineSegment_2(Point_2(5667,7887), Point_2(2898,7346)) +LineSegment_2(Point_2(9964,7407), Point_2(9360,6948)) +LineSegment_2(Point_2(4417,2541), Point_2(1695,1877)) +LineSegment_2(Point_2(2807,9214), Point_2(1591,759)) +LineSegment_2(Point_2(8848,5339), Point_2(4215,9265)) +LineSegment_2(Point_2(2521,1152), Point_2(5600,7784)) +LineSegment_2(Point_2(5894,4238), Point_2(5603,2304)) +LineSegment_2(Point_2(2714,8604), Point_2(3567,8382)) +LineSegment_2(Point_2(6466,5728), Point_2(6491,6430)) +LineSegment_2(Point_2(2204,9731), Point_2(9487,6621)) +LineSegment_2(Point_2(7535,4851), Point_2(2272,342)) +LineSegment_2(Point_2(215,7453), Point_2(417,9063)) +LineSegment_2(Point_2(4632,4681), Point_2(2792,7154)) +LineSegment_2(Point_2(8392,4938), Point_2(5833,639)) +LineSegment_2(Point_2(7789,9295), Point_2(5528,6855)) +LineSegment_2(Point_2(9096,5237), Point_2(4252,5562)) +LineSegment_2(Point_2(743,8344), Point_2(7317,9299)) +LineSegment_2(Point_2(3157,5921), Point_2(8075,692)) +LineSegment_2(Point_2(6699,7386), Point_2(7124,6914)) +LineSegment_2(Point_2(7541,2330), Point_2(4840,2174)) +LineSegment_2(Point_2(7632,5680), Point_2(7011,2377)) +LineSegment_2(Point_2(9196,9368), Point_2(6970,3337)) +LineSegment_2(Point_2(2499,193), Point_2(8663,1595)) +LineSegment_2(Point_2(2915,3509), Point_2(1782,11)) +LineSegment_2(Point_2(5452,9310), Point_2(8205,8609)) +LineSegment_2(Point_2(6281,5653), Point_2(1583,9332)) +LineSegment_2(Point_2(5059,2599), Point_2(3039,2601)) +LineSegment_2(Point_2(4231,1127), Point_2(1281,8216)) +LineSegment_2(Point_2(8292,593), Point_2(3159,3840)) +LineSegment_2(Point_2(129,3530), Point_2(6313,2628)) +LineSegment_2(Point_2(4976,575), Point_2(3723,4244)) +LineSegment_2(Point_2(1857,4255), Point_2(436,3661)) +LineSegment_2(Point_2(8642,2270), Point_2(9917,1275)) +LineSegment_2(Point_2(7853,607), Point_2(4275,2912)) +LineSegment_2(Point_2(3667,1865), Point_2(3206,7898)) +LineSegment_2(Point_2(4487,6114), Point_2(9344,9131)) +LineSegment_2(Point_2(2503,9324), Point_2(3059,2633)) +LineSegment_2(Point_2(9372,1613), Point_2(2854,701)) +LineSegment_2(Point_2(2929,4945), Point_2(8541,4786)) +LineSegment_2(Point_2(8977,8448), Point_2(5552,7619)) +LineSegment_2(Point_2(1821,8894), Point_2(7070,6026)) +LineSegment_2(Point_2(7698,8939), Point_2(5854,1365)) +LineSegment_2(Point_2(9060,9263), Point_2(7156,9900)) +LineSegment_2(Point_2(6501,5383), Point_2(1730,5356)) +LineSegment_2(Point_2(4789,7989), Point_2(4707,4162)) +LineSegment_2(Point_2(7561,4863), Point_2(5955,6842)) +LineSegment_2(Point_2(4496,1629), Point_2(6160,9825)) +LineSegment_2(Point_2(1712,3797), Point_2(6429,9885)) +LineSegment_2(Point_2(9851,5912), Point_2(9043,7549)) +LineSegment_2(Point_2(4897,5266), Point_2(1203,310)) +LineSegment_2(Point_2(8359,6562), Point_2(4530,1212)) +LineSegment_2(Point_2(6260,6569), Point_2(1945,1049)) +LineSegment_2(Point_2(3005,1563), Point_2(910,6918)) +LineSegment_2(Point_2(6865,3761), Point_2(2778,7713)) +LineSegment_2(Point_2(8938,3891), Point_2(1742,7002)) +LineSegment_2(Point_2(4523,3240), Point_2(7688,4374)) +LineSegment_2(Point_2(6731,8276), Point_2(9152,7981)) +LineSegment_2(Point_2(355,8291), Point_2(3542,5066)) +LineSegment_2(Point_2(4424,2631), Point_2(4853,684)) +LineSegment_2(Point_2(3150,8086), Point_2(9200,6155)) +LineSegment_2(Point_2(110,3074), Point_2(6001,3328)) +LineSegment_2(Point_2(8780,7393), Point_2(6835,4070)) +LineSegment_2(Point_2(8577,7425), Point_2(1284,3100)) +LineSegment_2(Point_2(5324,3826), Point_2(665,2056)) +LineSegment_2(Point_2(6169,37), Point_2(8454,2876)) +LineSegment_2(Point_2(1997,7942), Point_2(4680,2773)) +LineSegment_2(Point_2(9533,3458), Point_2(573,9035)) +LineSegment_2(Point_2(6125,5191), Point_2(7896,6236)) +LineSegment_2(Point_2(3897,5916), Point_2(8265,9029)) +LineSegment_2(Point_2(1452,9452), Point_2(3309,29)) +LineSegment_2(Point_2(946,9481), Point_2(6877,6270)) +LineSegment_2(Point_2(3894,4678), Point_2(3307,63)) +LineSegment_2(Point_2(8114,2939), Point_2(1067,6463)) +LineSegment_2(Point_2(2099,9236), Point_2(7233,1632)) +LineSegment_2(Point_2(7807,7020), Point_2(9046,3932)) +LineSegment_2(Point_2(6942,6520), Point_2(2211,7192)) +LineSegment_2(Point_2(6828,6221), Point_2(8788,8280)) +LineSegment_2(Point_2(8450,4661), Point_2(5673,9396)) +LineSegment_2(Point_2(8902,2018), Point_2(4142,2796)) +LineSegment_2(Point_2(3801,9211), Point_2(3049,1915)) +LineSegment_2(Point_2(468,8378), Point_2(2150,2568)) +LineSegment_2(Point_2(9384,552), Point_2(7615,3543)) +LineSegment_2(Point_2(3013,3827), Point_2(7572,9956)) +LineSegment_2(Point_2(9783,7148), Point_2(348,6611)) +LineSegment_2(Point_2(5488,1243), Point_2(9721,3938)) +LineSegment_2(Point_2(1747,9686), Point_2(5904,649)) +LineSegment_2(Point_2(46,9798), Point_2(8057,200)) +LineSegment_2(Point_2(7458,2115), Point_2(9009,7926)) +LineSegment_2(Point_2(7512,494), Point_2(6846,6896)) +LineSegment_2(Point_2(813,6791), Point_2(1047,3826)) +LineSegment_2(Point_2(8619,134), Point_2(618,4755)) +LineSegment_2(Point_2(7318,7718), Point_2(3634,2807)) +LineSegment_2(Point_2(9708,3097), Point_2(8962,1455)) +LineSegment_2(Point_2(4866,8456), Point_2(2784,1265)) +LineSegment_2(Point_2(7193,1465), Point_2(4606,4651)) +LineSegment_2(Point_2(3616,2577), Point_2(9932,1128)) +LineSegment_2(Point_2(6778,4376), Point_2(9424,3943)) +LineSegment_2(Point_2(471,4122), Point_2(1167,5442)) +LineSegment_2(Point_2(1785,6549), Point_2(4256,9104)) +LineSegment_2(Point_2(7891,8263), Point_2(4268,3951)) +LineSegment_2(Point_2(9582,5406), Point_2(1360,4448)) +LineSegment_2(Point_2(496,5713), Point_2(214,4041)) +LineSegment_2(Point_2(4821,8692), Point_2(7178,8437)) +LineSegment_2(Point_2(3463,5917), Point_2(7622,241)) +LineSegment_2(Point_2(7046,537), Point_2(293,3869)) +LineSegment_2(Point_2(7812,9311), Point_2(4659,9597)) +LineSegment_2(Point_2(8915,5053), Point_2(2213,3158)) +LineSegment_2(Point_2(6481,7109), Point_2(9668,6063)) +LineSegment_2(Point_2(7381,6863), Point_2(8867,7877)) +LineSegment_2(Point_2(9082,8271), Point_2(8929,3903)) +LineSegment_2(Point_2(2459,8692), Point_2(6963,5922)) +LineSegment_2(Point_2(937,6164), Point_2(4609,7983)) +LineSegment_2(Point_2(1254,1852), Point_2(3053,9066)) +LineSegment_2(Point_2(7712,5015), Point_2(7516,2979)) +LineSegment_2(Point_2(9729,6138), Point_2(69,2562)) +LineSegment_2(Point_2(6089,4977), Point_2(9599,3470)) +LineSegment_2(Point_2(4819,7700), Point_2(1840,3901)) +LineSegment_2(Point_2(7121,4156), Point_2(5971,9581)) +LineSegment_2(Point_2(9286,5503), Point_2(2848,224)) +LineSegment_2(Point_2(3809,8207), Point_2(8019,1415)) +LineSegment_2(Point_2(1072,481), Point_2(6412,5136)) +LineSegment_2(Point_2(3928,8116), Point_2(1848,3657)) +LineSegment_2(Point_2(8269,2571), Point_2(606,4359)) +LineSegment_2(Point_2(205,7829), Point_2(7548,1376)) +LineSegment_2(Point_2(5740,5277), Point_2(1881,9214)) +LineSegment_2(Point_2(7852,8795), Point_2(5785,7139)) +LineSegment_2(Point_2(4985,7363), Point_2(650,8794)) +LineSegment_2(Point_2(8670,6561), Point_2(1922,6094)) +LineSegment_2(Point_2(8334,1231), Point_2(3394,8614)) +LineSegment_2(Point_2(5243,8623), Point_2(5699,3512)) +LineSegment_2(Point_2(6305,4223), Point_2(1194,2862)) +LineSegment_2(Point_2(5094,4239), Point_2(8405,7187)) +LineSegment_2(Point_2(286,6401), Point_2(5868,8139)) +LineSegment_2(Point_2(1654,1630), Point_2(5196,6639)) +LineSegment_2(Point_2(5846,1786), Point_2(5345,868)) +LineSegment_2(Point_2(7267,6963), Point_2(8347,1954)) +LineSegment_2(Point_2(8094,568), Point_2(4546,3337)) +LineSegment_2(Point_2(245,3201), Point_2(9192,6550)) +LineSegment_2(Point_2(6738,5764), Point_2(3777,1833)) +LineSegment_2(Point_2(2182,9020), Point_2(3,2468)) +LineSegment_2(Point_2(5872,6959), Point_2(5421,3878)) +LineSegment_2(Point_2(6969,517), Point_2(4941,9167)) +LineSegment_2(Point_2(286,36), Point_2(2303,3906)) +LineSegment_2(Point_2(7003,2212), Point_2(3351,5097)) +LineSegment_2(Point_2(4249,4786), Point_2(2780,846)) +LineSegment_2(Point_2(8324,7396), Point_2(4339,5063)) +LineSegment_2(Point_2(8116,3248), Point_2(9512,6650)) +LineSegment_2(Point_2(9516,5471), Point_2(2268,1740)) +LineSegment_2(Point_2(4041,5618), Point_2(8782,7362)) +LineSegment_2(Point_2(3724,6529), Point_2(2487,362)) +LineSegment_2(Point_2(1143,620), Point_2(2917,8146)) +LineSegment_2(Point_2(2620,9595), Point_2(2832,6869)) +LineSegment_2(Point_2(1965,7715), Point_2(733,6641)) +LineSegment_2(Point_2(5072,1704), Point_2(1463,9541)) +LineSegment_2(Point_2(976,2543), Point_2(4952,6844)) +LineSegment_2(Point_2(3572,4936), Point_2(8014,3965)) +LineSegment_2(Point_2(3149,1327), Point_2(6906,6873)) +LineSegment_2(Point_2(9393,3587), Point_2(7857,536)) +LineSegment_2(Point_2(7126,5034), Point_2(4208,9747)) +LineSegment_2(Point_2(3392,2968), Point_2(4629,5357)) +LineSegment_2(Point_2(1714,1999), Point_2(684,3139)) +LineSegment_2(Point_2(8499,2680), Point_2(55,5827)) +LineSegment_2(Point_2(1360,9023), Point_2(1575,4932)) +LineSegment_2(Point_2(5942,8898), Point_2(3959,9091)) +LineSegment_2(Point_2(865,5964), Point_2(6577,6611)) +LineSegment_2(Point_2(4434,7147), Point_2(5903,7913)) +LineSegment_2(Point_2(111,7660), Point_2(2182,9856)) +LineSegment_2(Point_2(3163,5213), Point_2(628,4878)) +LineSegment_2(Point_2(7664,8017), Point_2(3564,2516)) +LineSegment_2(Point_2(3620,8343), Point_2(7049,4980)) +LineSegment_2(Point_2(8624,6264), Point_2(3719,4566)) +LineSegment_2(Point_2(4030,3657), Point_2(1514,1248)) +LineSegment_2(Point_2(8092,7859), Point_2(5973,8878)) +LineSegment_2(Point_2(8229,6791), Point_2(5006,8340)) +LineSegment_2(Point_2(3540,4548), Point_2(4451,6704)) +LineSegment_2(Point_2(1432,7934), Point_2(9762,5448)) +LineSegment_2(Point_2(9678,7964), Point_2(5951,3298)) +LineSegment_2(Point_2(9352,4630), Point_2(2660,7976)) +LineSegment_2(Point_2(6379,8895), Point_2(7247,6761)) +LineSegment_2(Point_2(8761,8009), Point_2(8904,3205)) +LineSegment_2(Point_2(1230,2084), Point_2(5868,9459)) +LineSegment_2(Point_2(7227,4151), Point_2(8875,7119)) +LineSegment_2(Point_2(9679,175), Point_2(8700,7463)) +LineSegment_2(Point_2(4814,2911), Point_2(8109,4492)) +LineSegment_2(Point_2(4060,4143), Point_2(876,9764)) +LineSegment_2(Point_2(9888,7741), Point_2(8773,2619)) +LineSegment_2(Point_2(2372,9380), Point_2(2988,1134)) +LineSegment_2(Point_2(1892,691), Point_2(3742,9474)) +LineSegment_2(Point_2(5962,8933), Point_2(2775,3189)) +LineSegment_2(Point_2(8003,6661), Point_2(3085,7682)) +LineSegment_2(Point_2(8137,1497), Point_2(6836,2951)) +LineSegment_2(Point_2(4946,7443), Point_2(4408,5358)) +LineSegment_2(Point_2(1636,5123), Point_2(1586,7876)) +LineSegment_2(Point_2(6712,495), Point_2(9216,5436)) +LineSegment_2(Point_2(2204,6570), Point_2(6228,448)) +LineSegment_2(Point_2(9970,9923), Point_2(3614,5932)) +LineSegment_2(Point_2(6389,5474), Point_2(8856,744)) +LineSegment_2(Point_2(8293,4778), Point_2(2135,6430)) +LineSegment_2(Point_2(8971,5733), Point_2(6275,269)) +LineSegment_2(Point_2(684,5628), Point_2(9529,8672)) +LineSegment_2(Point_2(1115,6549), Point_2(7103,4179)) +LineSegment_2(Point_2(6319,9616), Point_2(3396,8523)) +LineSegment_2(Point_2(9624,5323), Point_2(2538,9594)) +LineSegment_2(Point_2(6152,1879), Point_2(5246,8894)) +LineSegment_2(Point_2(455,9638), Point_2(7353,5100)) +LineSegment_2(Point_2(9488,1531), Point_2(4417,4811)) +LineSegment_2(Point_2(692,5081), Point_2(3616,7728)) +LineSegment_2(Point_2(3145,2753), Point_2(7061,613)) +LineSegment_2(Point_2(4164,4792), Point_2(5654,483)) +LineSegment_2(Point_2(9050,5358), Point_2(760,8675)) +LineSegment_2(Point_2(9651,4621), Point_2(7033,2155)) +LineSegment_2(Point_2(2280,1049), Point_2(2852,9087)) +LineSegment_2(Point_2(205,4187), Point_2(7040,6045)) +LineSegment_2(Point_2(1457,7209), Point_2(2070,8501)) +LineSegment_2(Point_2(5687,2582), Point_2(2290,8832)) +LineSegment_2(Point_2(5703,9445), Point_2(1687,9867)) +LineSegment_2(Point_2(7341,6702), Point_2(590,6391)) +LineSegment_2(Point_2(7702,1418), Point_2(8412,7353)) +LineSegment_2(Point_2(5445,9509), Point_2(2392,4077)) +LineSegment_2(Point_2(5244,3164), Point_2(6910,5450)) +LineSegment_2(Point_2(3950,7847), Point_2(3704,1759)) +LineSegment_2(Point_2(5774,261), Point_2(5056,1461)) +LineSegment_2(Point_2(3698,6646), Point_2(9195,9401)) +LineSegment_2(Point_2(882,5620), Point_2(6091,8223)) +LineSegment_2(Point_2(3033,4614), Point_2(8674,7088)) +LineSegment_2(Point_2(3438,4441), Point_2(2385,5236)) +LineSegment_2(Point_2(4777,9313), Point_2(302,21)) +LineSegment_2(Point_2(7213,1823), Point_2(8830,1163)) +LineSegment_2(Point_2(2534,2923), Point_2(6023,4660)) +LineSegment_2(Point_2(1079,6122), Point_2(9536,1130)) +LineSegment_2(Point_2(8731,6883), Point_2(2768,5965)) +LineSegment_2(Point_2(5211,4188), Point_2(2504,4597)) +LineSegment_2(Point_2(7530,1685), Point_2(5154,969)) +LineSegment_2(Point_2(3891,6205), Point_2(2478,8668)) +LineSegment_2(Point_2(2781,5042), Point_2(1870,9994)) +LineSegment_2(Point_2(7052,7509), Point_2(3217,5938)) +LineSegment_2(Point_2(9240,599), Point_2(432,6672)) +LineSegment_2(Point_2(6320,7802), Point_2(3073,5051)) +LineSegment_2(Point_2(5841,7368), Point_2(4685,7404)) +LineSegment_2(Point_2(3541,8353), Point_2(1556,1072)) +LineSegment_2(Point_2(3063,2041), Point_2(38,6954)) +LineSegment_2(Point_2(2517,1975), Point_2(4598,1650)) +LineSegment_2(Point_2(2820,1644), Point_2(7017,9873)) +LineSegment_2(Point_2(234,5811), Point_2(9153,9475)) +LineSegment_2(Point_2(5938,6147), Point_2(2762,2258)) +LineSegment_2(Point_2(5835,3662), Point_2(301,1676)) +LineSegment_2(Point_2(4986,5433), Point_2(1030,8528)) +LineSegment_2(Point_2(8939,5952), Point_2(3786,8354)) +LineSegment_2(Point_2(177,5308), Point_2(4345,2694)) +LineSegment_2(Point_2(8943,4344), Point_2(7283,1763)) +LineSegment_2(Point_2(652,7988), Point_2(2340,887)) +LineSegment_2(Point_2(7845,6714), Point_2(152,135)) +LineSegment_2(Point_2(2914,2394), Point_2(9213,8750)) +LineSegment_2(Point_2(9514,6778), Point_2(2408,852)) +LineSegment_2(Point_2(9790,5732), Point_2(8563,5081)) +LineSegment_2(Point_2(2350,3435), Point_2(1684,2527)) +LineSegment_2(Point_2(6029,1573), Point_2(8744,1324)) +LineSegment_2(Point_2(2379,9440), Point_2(2269,3032)) +LineSegment_2(Point_2(961,271), Point_2(3780,8806)) +LineSegment_2(Point_2(3932,8942), Point_2(3337,3199)) +LineSegment_2(Point_2(2550,1949), Point_2(7688,8416)) +LineSegment_2(Point_2(6448,9268), Point_2(5079,2590)) +LineSegment_2(Point_2(3643,7672), Point_2(1353,2345)) +LineSegment_2(Point_2(3037,1224), Point_2(1107,5419)) +LineSegment_2(Point_2(6203,3095), Point_2(2797,8583)) +LineSegment_2(Point_2(1418,7967), Point_2(8887,2379)) +LineSegment_2(Point_2(2668,7537), Point_2(4590,2952)) +LineSegment_2(Point_2(7927,6151), Point_2(2831,6829)) +LineSegment_2(Point_2(6871,5245), Point_2(4452,9671)) +LineSegment_2(Point_2(9532,2262), Point_2(865,9527)) +LineSegment_2(Point_2(2218,8224), Point_2(9934,1608)) +LineSegment_2(Point_2(1041,3379), Point_2(9448,7245)) +LineSegment_2(Point_2(8597,5828), Point_2(6474,15)) +LineSegment_2(Point_2(1714,8746), Point_2(147,4382)) +LineSegment_2(Point_2(4737,7334), Point_2(2635,9016)) +LineSegment_2(Point_2(5467,5845), Point_2(9838,2338)) +LineSegment_2(Point_2(4290,8362), Point_2(7442,174)) +LineSegment_2(Point_2(8307,9701), Point_2(624,6878)) +LineSegment_2(Point_2(558,8486), Point_2(7925,1599)) +LineSegment_2(Point_2(3725,8844), Point_2(8217,2322)) +LineSegment_2(Point_2(4691,8689), Point_2(1024,6405)) +LineSegment_2(Point_2(7523,7139), Point_2(3787,8612)) +LineSegment_2(Point_2(6423,7628), Point_2(826,8242)) +LineSegment_2(Point_2(664,6932), Point_2(9825,1306)) +LineSegment_2(Point_2(7267,1481), Point_2(5294,1927)) +LineSegment_2(Point_2(5918,8805), Point_2(7534,6476)) +LineSegment_2(Point_2(5460,4428), Point_2(3643,5537)) +LineSegment_2(Point_2(1860,4212), Point_2(3272,2903)) +LineSegment_2(Point_2(649,5661), Point_2(2901,4524)) +LineSegment_2(Point_2(3041,3137), Point_2(2800,5816)) +LineSegment_2(Point_2(9978,4058), Point_2(765,642)) +LineSegment_2(Point_2(591,1949), Point_2(990,4210)) +LineSegment_2(Point_2(6285,6137), Point_2(9782,8555)) +LineSegment_2(Point_2(7316,5032), Point_2(1294,9128)) +LineSegment_2(Point_2(1289,4666), Point_2(9460,3149)) +LineSegment_2(Point_2(9084,2405), Point_2(8878,6085)) +LineSegment_2(Point_2(8131,610), Point_2(8066,7524)) +LineSegment_2(Point_2(7218,3340), Point_2(3747,7197)) +LineSegment_2(Point_2(864,4191), Point_2(7398,7807)) +LineSegment_2(Point_2(4741,2018), Point_2(2492,7378)) +LineSegment_2(Point_2(2274,5933), Point_2(4507,9591)) +LineSegment_2(Point_2(2154,8719), Point_2(7317,3443)) +LineSegment_2(Point_2(3129,6593), Point_2(9737,2214)) +LineSegment_2(Point_2(4967,4651), Point_2(5350,3099)) +LineSegment_2(Point_2(3416,6975), Point_2(1613,634)) +LineSegment_2(Point_2(5360,7831), Point_2(316,2577)) +LineSegment_2(Point_2(4066,384), Point_2(8375,8807)) +LineSegment_2(Point_2(867,6185), Point_2(8754,3142)) +LineSegment_2(Point_2(9614,2733), Point_2(8471,1768)) +LineSegment_2(Point_2(5788,5211), Point_2(7804,8918)) +LineSegment_2(Point_2(7542,7484), Point_2(8156,2509)) +LineSegment_2(Point_2(3506,1960), Point_2(2135,6922)) +LineSegment_2(Point_2(3749,3909), Point_2(8936,5461)) +LineSegment_2(Point_2(5604,8038), Point_2(8092,9670)) +LineSegment_2(Point_2(6467,8478), Point_2(4775,7335)) +LineSegment_2(Point_2(9881,477), Point_2(4663,9495)) +LineSegment_2(Point_2(9486,1263), Point_2(9562,5275)) +LineSegment_2(Point_2(7366,4193), Point_2(6475,1260)) +LineSegment_2(Point_2(4631,122), Point_2(1677,4490)) +LineSegment_2(Point_2(164,7764), Point_2(8434,265)) +LineSegment_2(Point_2(7370,2079), Point_2(1673,2974)) +LineSegment_2(Point_2(6118,2645), Point_2(6469,2585)) +LineSegment_2(Point_2(1244,6272), Point_2(7475,1126)) +LineSegment_2(Point_2(8490,621), Point_2(6749,7977)) +LineSegment_2(Point_2(2663,3252), Point_2(8237,6382)) +LineSegment_2(Point_2(4712,7642), Point_2(3797,5695)) +LineSegment_2(Point_2(1826,185), Point_2(4116,1990)) +LineSegment_2(Point_2(2551,8608), Point_2(7950,6273)) +LineSegment_2(Point_2(5975,9248), Point_2(687,2093)) +LineSegment_2(Point_2(3508,4679), Point_2(8245,4753)) +LineSegment_2(Point_2(2072,2231), Point_2(7303,562)) +LineSegment_2(Point_2(405,8539), Point_2(9204,3068)) +LineSegment_2(Point_2(7441,9450), Point_2(8143,8505)) +LineSegment_2(Point_2(1940,4201), Point_2(3445,3766)) +LineSegment_2(Point_2(7561,2109), Point_2(738,6464)) +LineSegment_2(Point_2(8688,2738), Point_2(7069,1016)) +LineSegment_2(Point_2(7756,3109), Point_2(8338,1264)) +LineSegment_2(Point_2(6583,2369), Point_2(4140,8655)) +LineSegment_2(Point_2(1444,5569), Point_2(952,1849)) +LineSegment_2(Point_2(6509,1269), Point_2(4109,302)) +LineSegment_2(Point_2(2252,8808), Point_2(720,545)) +LineSegment_2(Point_2(517,4311), Point_2(9361,4430)) +LineSegment_2(Point_2(99,895), Point_2(2772,5140)) +LineSegment_2(Point_2(9841,6156), Point_2(3633,3949)) +LineSegment_2(Point_2(8323,5214), Point_2(5617,1258)) +LineSegment_2(Point_2(9758,6265), Point_2(3935,7554)) +LineSegment_2(Point_2(1240,5755), Point_2(1834,7749)) +LineSegment_2(Point_2(2295,8051), Point_2(7024,4548)) +LineSegment_2(Point_2(4096,1445), Point_2(6859,4613)) +LineSegment_2(Point_2(2572,9044), Point_2(5756,2672)) +LineSegment_2(Point_2(8529,4164), Point_2(6291,8370)) +LineSegment_2(Point_2(6276,2320), Point_2(6672,4599)) +LineSegment_2(Point_2(8641,5857), Point_2(3886,4751)) +LineSegment_2(Point_2(4173,2305), Point_2(2122,5413)) +LineSegment_2(Point_2(308,3162), Point_2(8060,2604)) +LineSegment_2(Point_2(1437,3504), Point_2(7566,5533)) +LineSegment_2(Point_2(4425,147), Point_2(4949,3350)) +LineSegment_2(Point_2(705,2374), Point_2(5543,5586)) +LineSegment_2(Point_2(8186,309), Point_2(6538,4462)) +LineSegment_2(Point_2(9562,5413), Point_2(8981,8203)) +LineSegment_2(Point_2(9219,2955), Point_2(7622,3392)) +LineSegment_2(Point_2(9744,5158), Point_2(1612,6404)) +LineSegment_2(Point_2(6025,9008), Point_2(4672,7462)) +LineSegment_2(Point_2(2238,2995), Point_2(2512,6664))