1st revision

This commit is contained in:
Efi Fogel 2006-07-30 09:48:41 +00:00
parent ea1226ec06
commit a1b1c9ce54
3 changed files with 860 additions and 0 deletions

View File

@ -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))

View File

@ -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))

View File

@ -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))