A = (0, -1)
B = (10, -1)
C = (10, 4)
k1, c, a, b = Polygon(A, B, C)
α = Angle(C, B, A)
piirto1: PolyLine[(1.8022E0,-7.2914E-2), (1.8728E0,-1.5230E-1), (1.9522E0,-2.5816E-1), (2.0139E0,-3.1991E-1), (2.0316E0,-3.9048E-1), (2.0757E0,-5.0515E-1), (2.0933E0,-6.2865E-1), (2.1021E0,-7.6097E-1), (2.0933E0,-8.9329E-1), (2.0492E0,-9.7268E-1), (�,�), true]
piirto2: PolyLine[(3.2665E0,-3.3755E-1), (3.2136E0,-3.5519E-1), (3.1166E0,-4.0812E-1), (3.0107E0,-4.6105E-1), (2.9137E0,-4.9633E-1), (2.8167E0,-5.0515E-1), (2.7020E0,-5.1397E-1), (2.6314E0,-5.1397E-1), (2.5432E0,-4.6987E-1), (2.4815E0,-3.6401E-1), (2.4726E0,-2.6698E-1), (2.4815E0,-1.6995E-1), (2.5609E0,-1.4348E-1), (2.6314E0,-1.6113E-1), (2.7020E0,-2.1405E-1), (2.7902E0,-2.3170E-1), (2.8608E0,-2.8462E-1), (2.9313E0,-3.0227E-1), (3.0019E0,-3.5519E-1), (3.0901E0,-4.2576E-1), (3.1607E0,-4.6105E-1), (3.2489E0,-5.3162E-1), (3.3371E0,-6.0219E-1), (�,�), true]
piirto3: PolyLine[(-3.8544E-1,-2.4017E0), (-4.7365E-1,-2.4017E0), (-7.2064E-1,-2.4017E0), (-8.7942E-1,-2.4017E0), (-1.0029E0,-2.4458E0), (-1.0029E0,-2.5252E0), (-9.6764E-1,-2.6222E0), (-8.5737E-1,-2.7590E0), (-8.2650E-1,-2.8604E0), (-9.1471E-1,-2.8781E0), (-1.0558E0,-2.8781E0), (-1.1793E0,-2.8781E0), (-1.2676E0,-2.8604E0), (-1.3558E0,-2.8604E0), (-1.4087E0,-2.8428E0), (�,�), (-1.5608E-1,-2.4723E0), (-1.5608E-1,-2.5429E0), (-1.5608E-1,-2.7722E0), (-1.5608E-1,-2.7546E0), (-1.3844E-1,-2.6840E0), (�,�), (2.6975E-3,-2.0489E0), (2.6975E-3,-2.0489E0), (�,�), (2.3205E-1,-2.5958E0), (2.3205E-1,-2.6664E0), (2.1441E-1,-2.7546E0), (1.9676E-1,-2.8251E0), (1.8794E-1,-2.9398E0), (1.6148E-1,-3.0192E0), (1.6148E-1,-2.8957E0), (1.6148E-1,-2.7546E0), (1.9676E-1,-2.6575E0), (2.9380E-1,-2.5693E0), (3.9083E-1,-2.5605E0), (4.7022E-1,-2.6575E0), (5.4961E-1,-2.7634E0), (6.0254E-1,-2.8604E0), (6.2018E-1,-2.9486E0), (6.5547E-1,-3.0368E0), (6.7311E-1,-2.9663E0), (�,�), (1.3082E0,-1.9430E0), (1.2288E0,-1.9959E0), (1.1318E0,-2.1283E0), (1.0789E0,-2.2253E0), (1.0436E0,-2.2959E0), (9.9067E-1,-2.4370E0), (9.5539E-1,-2.5429E0), (9.5539E-1,-2.8251E0), (9.6421E-1,-3.0104E0), (1.0348E0,-3.0986E0), (1.1142E0,-3.0898E0), (1.1671E0,-3.0368E0), (�,�), (1.9963E0,-2.5076E0), (1.9963E0,-2.5781E0), (1.9610E0,-2.6487E0), (1.8993E0,-2.7457E0), (1.7758E0,-2.8251E0), (1.6964E0,-2.8781E0), (1.5993E0,-2.8869E0), (1.4582E0,-2.8869E0), (1.3876E0,-2.7987E0), (1.3612E0,-2.7016E0), (1.3965E0,-2.6046E0), (1.4758E0,-2.5076E0), (1.5552E0,-2.4723E0), (1.6258E0,-2.4723E0), (1.7140E0,-2.4899E0), (1.8552E0,-2.7016E0), (1.9434E0,-2.8251E0), (2.0051E0,-2.9222E0), (2.0845E0,-2.9310E0), (�,�), (2.2433E0,-1.9607E0), (2.2609E0,-2.0136E0), (2.3491E0,-2.1018E0), (2.5256E0,-2.3488E0), (2.6755E0,-2.5340E0), (2.7637E0,-2.6664E0), (2.8255E0,-2.7722E0), (2.8961E0,-2.8604E0), (2.9137E0,-2.9839E0), (2.9490E0,-3.0898E0), (2.9490E0,-3.1603E0), (2.9490E0,-3.2309E0), (2.9313E0,-3.2838E0), (�,�), (3.3371E0,-2.3311E0), (3.4077E0,-2.3311E0), (3.5841E0,-2.3311E0), (3.7429E0,-2.3311E0), (�,�), (3.3195E0,-2.6311E0), (3.3900E0,-2.6311E0), (3.6723E0,-2.6311E0), (3.8135E0,-2.6311E0), (�,�), (4.7485E0,-1.5549E0), (4.7485E0,-1.6254E0), (4.7838E0,-1.7137E0), (4.7838E0,-1.8019E0), (4.8191E0,-1.8548E0), (4.8367E0,-1.9077E0), (4.8544E0,-1.9607E0), (�,�), (4.7309E0,-1.5020E0), (4.7485E0,-1.4490E0), (4.8191E0,-1.4314E0), (4.8897E0,-1.4137E0), (4.9955E0,-1.4137E0), (5.1278E0,-1.4314E0), (5.1984E0,-1.5284E0), (5.2072E0,-1.6254E0), (5.1366E0,-1.6431E0), (5.0484E0,-1.6431E0), (5.1543E0,-1.6960E0), (5.3043E0,-1.7666E0), (5.3395E0,-1.8636E0), (5.2601E0,-1.9430E0), (5.1719E0,-1.9607E0), (5.0837E0,-1.9783E0), (4.9779E0,-1.9783E0), (4.8455E0,-1.9695E0), (4.8014E0,-1.9077E0), (�,�), (5.7894E0,-1.4843E0), (5.7188E0,-1.4843E0), (5.6042E0,-1.5108E0), (5.5071E0,-1.5902E0), (5.4895E0,-1.6607E0), (5.4895E0,-1.7313E0), (5.5689E0,-1.8283E0), (5.6483E0,-1.9077E0), (5.7365E0,-1.9607E0), (5.8247E0,-1.9783E0), (5.9482E0,-2.0136E0), (6.0188E0,-2.0136E0), (6.0893E0,-2.0136E0), (�,�), (4.3957E0,-2.3135E0), (4.5192E0,-2.3135E0), (5.0837E0,-2.3135E0), (5.7365E0,-2.3135E0), (6.5833E0,-2.3135E0), (6.7774E0,-2.3135E0), (�,�), (4.5721E0,-3.3015E0), (4.6074E0,-3.2486E0), (4.8720E0,-2.9663E0), (5.0308E0,-2.8251E0), (5.1014E0,-2.7016E0), (5.1896E0,-2.5870E0), (5.3087E0,-2.5296E0), (5.3660E0,-2.6487E0), (5.3660E0,-2.7193E0), (5.3836E0,-2.8075E0), (5.4189E0,-2.8957E0), (5.4542E0,-2.9663E0), (5.4719E0,-3.0545E0), (5.4895E0,-3.1427E0), (5.5248E0,-3.2309E0), (�,�), (5.0837E0,-2.8251E0), (5.1543E0,-2.8251E0), (5.2601E0,-2.8251E0), (5.3660E0,-2.7898E0), (5.4895E0,-2.7722E0), (5.5954E0,-2.7722E0), (5.6659E0,-2.7722E0), (�,�), (6.1952E0,-2.5781E0), (6.0893E0,-2.5958E0), (6.0011E0,-2.6311E0), (5.9129E0,-2.6840E0), (5.8335E0,-2.7810E0), (5.7982E0,-2.9045E0), (5.8071E0,-3.0280E0), (5.8865E0,-3.1515E0), (5.9923E0,-3.2486E0), (6.0893E0,-3.3191E0), (6.1423E0,-3.3368E0), (�,�), true]
piirto4: PolyLine[(7.4478E0,-2.9663E0), (7.4478E0,-3.0368E0), (7.4654E0,-3.1427E0), (7.4654E0,-3.2133E0), (7.4654E0,-3.3015E0), (7.4125E0,-3.3368E0), (7.3243E0,-3.2838E0), (�,�), (8.5593E0,-2.2253E0), (8.4711E0,-2.2253E0), (8.3299E0,-2.3135E0), (8.2064E0,-2.4017E0), (8.1711E0,-2.4723E0), (8.1888E0,-2.5870E0), (8.2682E0,-2.6752E0), (8.3917E0,-2.7546E0), (8.4711E0,-2.7898E0), (8.5857E0,-2.7810E0), (8.6651E0,-2.7546E0), (�,�), (9.1415E0,-2.3488E0), (9.0444E0,-2.3841E0), (8.9474E0,-2.4546E0), (8.9033E0,-2.5693E0), (8.9033E0,-2.6928E0), (8.9915E0,-2.7546E0), (9.0709E0,-2.7898E0), (9.1679E0,-2.7810E0), (9.2738E0,-2.7105E0), (9.3708E0,-2.6222E0), (9.3620E0,-2.4899E0), (9.2826E0,-2.4546E0), (�,�), (9.9883E0,-2.3135E0), (9.9177E0,-2.3135E0), (9.8031E0,-2.3311E0), (9.7854E0,-2.4458E0), (9.8825E0,-2.5429E0), (1.0041E1,-2.6487E0), (1.0121E1,-2.7369E0), (1.0129E1,-2.8075E0), (1.0024E1,-2.8163E0), (9.7943E0,-2.8251E0), (9.6708E0,-2.8251E0), (9.6178E0,-2.7898E0), (�,�), (1.0553E1,-1.8372E0), (1.0482E1,-1.8901E0), (1.0412E1,-1.9783E0), (1.0359E1,-2.0665E0), (1.0306E1,-2.1547E0), (1.0288E1,-2.2518E0), (1.0253E1,-2.4370E0), (1.0253E1,-2.5958E0), (1.0253E1,-2.7193E0), (1.0315E1,-2.8163E0), (1.0403E1,-2.9045E0), (1.0500E1,-2.9133E0), (1.0553E1,-2.8781E0), (�,�), (1.1153E1,-2.3135E0), (1.1109E1,-2.4105E0), (1.1020E1,-2.4987E0), (1.0923E1,-2.5781E0), (1.0835E1,-2.6134E0), (1.0738E1,-2.6311E0), (1.0632E1,-2.5340E0), (1.0571E1,-2.4282E0), (1.0553E1,-2.3311E0), (1.0623E1,-2.3311E0), (1.0694E1,-2.3311E0), (1.0782E1,-2.3488E0), (1.0879E1,-2.4370E0), (1.0976E1,-2.5517E0), (1.1038E1,-2.6487E0), (1.1100E1,-2.6134E0), (�,�), (1.1135E1,-1.7842E0), (1.1188E1,-1.8901E0), (1.1206E1,-1.9607E0), (1.1276E1,-2.1106E0), (1.1312E1,-2.2253E0), (1.1347E1,-2.3135E0), (1.1364E1,-2.4017E0), (1.1364E1,-2.5252E0), (1.1356E1,-2.6752E0), (1.1312E1,-2.7722E0), (1.1250E1,-2.8692E0), (1.1223E1,-2.9486E0), (1.1276E1,-2.8604E0), (�,�), (1.1947E1,-2.2253E0), (1.2017E1,-2.2253E0), (1.2211E1,-2.2253E0), (1.2352E1,-2.2253E0), (�,�), (1.1947E1,-2.5076E0), (1.2035E1,-2.5076E0), (1.2370E1,-2.5076E0), (1.2529E1,-2.5076E0), (�,�), (1.3058E1,-1.7137E0), (1.3129E1,-1.6784E0), (1.3199E1,-1.6254E0), (1.3287E1,-1.5372E0), (1.3358E1,-1.4667E0), (1.3393E1,-1.3961E0), (1.3499E1,-1.2550E0), (1.3587E1,-1.1491E0), (1.3623E1,-1.2197E0), (1.3631E1,-1.3343E0), (1.3667E1,-1.5108E0), (1.3693E1,-1.6078E0), (1.3693E1,-1.7489E0), (1.3711E1,-1.8195E0), (�,�), (1.3393E1,-1.4667E0), (1.3464E1,-1.4667E0), (1.3711E1,-1.4667E0), (1.3852E1,-1.4667E0), (1.3905E1,-1.4314E0), (�,�), (1.4258E1,-1.1667E0), (1.4258E1,-1.2373E0), (1.4258E1,-1.4490E0), (1.4258E1,-1.6431E0), (1.4223E1,-1.7313E0), (�,�), (1.4293E1,-1.1138E0), (1.4364E1,-1.1138E0), (1.4452E1,-1.1138E0), (1.4549E1,-1.1579E0), (1.4619E1,-1.2109E0), (1.4487E1,-1.3079E0), (1.4390E1,-1.3873E0), (1.4443E1,-1.4755E0), (1.4549E1,-1.5461E0), (1.4646E1,-1.6166E0), (1.4584E1,-1.7137E0), (1.4505E1,-1.7489E0), (1.4434E1,-1.7666E0), (1.4337E1,-1.7754E0), (1.4240E1,-1.7842E0), (1.4187E1,-1.8019E0), (�,�), (1.2988E1,-2.0489E0), (1.3076E1,-2.0489E0), (1.3640E1,-2.0489E0), (1.4328E1,-2.0489E0), (1.4734E1,-2.0489E0), (1.4893E1,-2.0489E0), (�,�), (1.3235E1,-2.8957E0), (1.3367E1,-2.7810E0), (1.3464E1,-2.6840E0), (1.3534E1,-2.6311E0), (1.3587E1,-2.5605E0), (1.3711E1,-2.4194E0), (1.3817E1,-2.3223E0), (1.3905E1,-2.2694E0), (1.3940E1,-2.4370E0), (1.3984E1,-2.6222E0), (1.3993E1,-2.7193E0), (1.3993E1,-2.7898E0), (1.4011E1,-2.8604E0), (1.4028E1,-2.9133E0), (�,�), (1.3658E1,-2.5958E0), (1.3729E1,-2.5958E0), (1.3976E1,-2.5958E0), (1.4117E1,-2.5958E0), (�,�), (1.4787E1,-2.3841E0), (1.4716E1,-2.3841E0), (1.4628E1,-2.4017E0), (1.4522E1,-2.4194E0), (1.4408E1,-2.4987E0), (1.4346E1,-2.5781E0), (1.4311E1,-2.6487E0), (1.4346E1,-2.7634E0), (1.4434E1,-2.8692E0), (1.4522E1,-2.9133E0), (1.4628E1,-2.9133E0), (1.4734E1,-2.9133E0), (�,�), true]
piirto5: PolyLine[(8.9827E0,3.4203E0), (9.0268E0,3.3409E0), (9.0886E0,3.2615E0), (9.1591E0,3.1733E0), (9.2562E0,3.0586E0), (9.3620E0,2.9969E0), (9.4414E0,2.9263E0), (9.5296E0,2.9087E0), (9.6443E0,2.8646E0), (9.7413E0,2.8381E0), (9.8472E0,2.8381E0), (9.9530E0,2.8381E0), (�,�), (8.4887E0,2.7146E0), (8.5064E0,2.5911E0), (8.5064E0,2.1500E0), (8.5064E0,2.1147E0), (�,�), (8.5064E0,2.8204E0), (8.6122E0,2.8204E0), (8.8239E0,2.8204E0), (9.0092E0,2.7940E0), (9.0003E0,2.7146E0), (8.9298E0,2.7146E0), (8.8592E0,2.7146E0), (8.9210E0,2.6264E0), (8.9430E0,2.5073E0), (8.4534E0,2.4852E0), (8.3299E0,2.4852E0), (�,�), true]
piirto6: PolyLine[(1.1982E1,-3.8131E0), (1.2052E1,-3.8131E0), (1.2229E1,-3.8131E0), (1.2370E1,-3.8131E0), (�,�), (1.1982E1,-4.0425E0), (1.2052E1,-4.0425E0), (1.2282E1,-4.0425E0), (1.2423E1,-4.0425E0), (�,�), (1.3287E1,-3.7073E0), (1.3217E1,-3.7073E0), (1.3129E1,-3.6896E0), (1.2970E1,-3.6896E0), (1.2833E1,-3.7293E0), (1.2899E1,-3.8308E0), (1.2952E1,-3.9013E0), (1.3023E1,-3.9543E0), (1.3155E1,-4.0513E0), (1.3252E1,-4.1219E0), (1.3208E1,-4.2101E0), (1.3129E1,-4.2542E0), (1.2935E1,-4.2542E0), (1.2811E1,-4.2542E0), (�,�), (1.3781E1,-3.9719E0), (1.3764E1,-4.0425E0), (1.3729E1,-4.0954E0), (1.3711E1,-4.1660E0), (1.3711E1,-4.0954E0), (�,�), (1.3746E1,-3.6896E0), (1.3746E1,-3.6896E0), (�,�), (1.4011E1,-3.8837E0), (1.4028E1,-3.9366E0), (1.4028E1,-4.0072E0), (1.4011E1,-4.1042E0), (1.3967E1,-4.1836E0), (1.4037E1,-4.0513E0), (1.4117E1,-3.9895E0), (1.4205E1,-3.9366E0), (1.4293E1,-3.9190E0), (1.4390E1,-3.9101E0), (1.4469E1,-3.9984E0), (1.4505E1,-4.0954E0), (�,�), true]
piirto7: PolyLine[(1.5246E1,-3.2838E0), (1.5140E1,-3.3456E0), (1.5008E1,-3.4603E0), (1.4946E1,-3.5661E0), (1.4893E1,-3.6367E0), (1.4822E1,-3.7249E0), (1.4787E1,-3.8131E0), (1.4752E1,-3.8837E0), (1.4752E1,-4.1660E0), (1.4752E1,-4.3247E0), (1.4805E1,-4.4130E0), (1.4866E1,-4.5188E0), (1.4946E1,-4.5541E0), (1.5016E1,-4.5541E0), (1.5069E1,-4.5188E0), (�,�), (1.5546E1,-3.6896E0), (1.5493E1,-3.7866E0), (1.5457E1,-3.8660E0), (1.5405E1,-3.9895E0), (1.5352E1,-4.1307E0), (1.5299E1,-4.2189E0), (1.5246E1,-4.3247E0), (1.5210E1,-4.4306E0), (1.5175E1,-4.5365E0), (1.5122E1,-4.6599E0), (1.5131E1,-4.5365E0), (1.5175E1,-4.4306E0), (�,�), (1.5528E1,-3.6720E0), (1.5616E1,-3.6543E0), (1.5704E1,-3.6543E0), (1.5793E1,-3.6367E0), (1.5863E1,-3.6367E0), (1.5978E1,-3.6455E0), (1.5960E1,-3.7425E0), (1.5828E1,-3.7955E0), (1.5757E1,-3.8131E0), (1.5687E1,-3.8484E0), (1.5594E1,-3.8793E0), (1.5740E1,-3.9543E0), (1.5837E1,-4.0072E0), (1.5872E1,-4.1042E0), (1.5775E1,-4.1483E0), (1.5652E1,-4.1924E0), (1.5510E1,-4.2012E0), (1.5405E1,-4.2012E0), (1.5334E1,-4.1836E0), (1.5263E1,-4.1836E0), (1.5281E1,-4.1307E0), (�,�), (1.6269E1,-3.1780E0), (1.6269E1,-3.2486E0), (1.6304E1,-3.3368E0), (1.6340E1,-3.4073E0), (1.6410E1,-3.5661E0), (1.6428E1,-3.6543E0), (1.6481E1,-3.7249E0), (1.6481E1,-3.8484E0), (1.6481E1,-3.9895E0), (1.6437E1,-4.0866E0), (1.6357E1,-4.2101E0), (1.6295E1,-4.3159E0), (1.6198E1,-4.4394E0), (1.6110E1,-4.5276E0), (1.6040E1,-4.5894E0), (�,�), (3.3018E0,-4.1307E0), (3.3724E0,-4.1307E0), (3.4430E0,-4.1483E0), (3.5135E0,-4.1660E0), (3.6018E0,-4.1660E0), (3.6900E0,-4.1836E0), (�,�), (3.1431E0,-4.4306E0), (3.2313E0,-4.4306E0), (3.3018E0,-4.4306E0), (3.3900E0,-4.4306E0), (3.4606E0,-4.4482E0), (3.5135E0,-4.4659E0), (3.5841E0,-4.4659E0), (3.6547E0,-4.4659E0), (�,�), (4.6074E0,-4.0248E0), (4.5368E0,-4.0248E0), (4.4486E0,-4.0248E0), (4.3163E0,-4.0336E0), (4.2104E0,-4.0866E0), (4.1134E0,-4.1307E0), (4.0164E0,-4.2101E0), (3.9722E0,-4.2895E0), (3.9722E0,-4.3777E0), (4.0075E0,-4.4482E0), (4.0781E0,-4.4659E0), (4.1487E0,-4.5012E0), (4.2457E0,-4.5365E0), (4.3427E0,-4.5541E0), (4.4133E0,-4.5541E0), (�,�), (4.9249E0,-4.1307E0), (4.8279E0,-4.1571E0), (4.7221E0,-4.2365E0), (4.6250E0,-4.3336E0), (4.6162E0,-4.4571E0), (4.7221E0,-4.5276E0), (4.8367E0,-4.5365E0), (4.9426E0,-4.5365E0), (5.0837E0,-4.5012E0), (5.1808E0,-4.4218E0), (5.1631E0,-4.2983E0), (5.0573E0,-4.2277E0), (4.9602E0,-4.2189E0), (�,�), (5.6306E0,-4.1483E0), (5.5248E0,-4.1483E0), (5.4454E0,-4.1748E0), (5.5336E0,-4.2806E0), (5.6395E0,-4.3512E0), (5.7453E0,-4.4306E0), (5.8159E0,-4.5100E0), (5.7277E0,-4.5629E0), (5.5865E0,-4.5806E0), (5.3836E0,-4.5894E0), (5.2601E0,-4.5894E0), (�,�), (6.5128E0,-3.7778E0), (6.4422E0,-3.7778E0), (6.3363E0,-3.8308E0), (6.1864E0,-3.9454E0), (6.1070E0,-4.0072E0), (6.0717E0,-4.0777E0), (6.0541E0,-4.1660E0), (6.0541E0,-4.2365E0), (6.0893E0,-4.3600E0), (6.1423E0,-4.4835E0), (6.1776E0,-4.5717E0), (6.2481E0,-4.6688E0), (6.3187E0,-4.7129E0), (�,�), (6.7950E0,-4.1660E0), (6.7774E0,-4.2365E0), (6.7245E0,-4.3247E0), (6.6892E0,-4.4306E0), (6.6186E0,-4.5541E0), (6.5480E0,-4.7129E0), (6.4951E0,-4.8540E0), (6.4775E0,-4.9599E0), (6.4951E0,-4.8717E0), (�,�), (6.7950E0,-4.1483E0), (6.8744E0,-4.1042E0), (6.9715E0,-4.0777E0), (7.0597E0,-4.0777E0), (7.1082E0,-4.1527E0), (6.9891E0,-4.2012E0), (6.9715E0,-4.2718E0), (7.0597E0,-4.3247E0), (7.1302E0,-4.3953E0), (7.2008E0,-4.4791E0), (7.0773E0,-4.5012E0), (6.9538E0,-4.5012E0), (6.8303E0,-4.4659E0), (6.7245E0,-4.4482E0), (6.6186E0,-4.4482E0), (6.5480E0,-4.4306E0), (�,�), (7.3067E0,-3.8131E0), (7.3772E0,-3.8308E0), (7.4302E0,-3.9013E0), (7.5272E0,-4.0072E0), (7.5889E0,-4.1042E0), (7.6772E0,-4.2012E0), (7.7301E0,-4.2983E0), (7.7477E0,-4.3953E0), (7.7477E0,-4.4835E0), (7.7036E0,-4.5982E0), (7.6242E0,-4.6776E0), (7.5713E0,-4.6952E0), (�,�), true]
piirto8: PolyLine[(7.3420E0,-1.6960E0), (7.3772E0,-1.8019E0), (7.4478E0,-1.9518E0), (7.5713E0,-2.1018E0), (7.6419E0,-2.2253E0), (7.6948E0,-2.3311E0), (7.9418E0,-2.7546E0), (8.1006E0,-3.0016E0), (8.1711E0,-3.1780E0), (8.2594E0,-3.3544E0), (8.3476E0,-3.4955E0), (8.3829E0,-3.6014E0), (8.4711E0,-3.8484E0), (8.5416E0,-4.0425E0), (8.6828E0,-4.3600E0), (8.7533E0,-4.5365E0), (8.8063E0,-4.6247E0), (8.8857E0,-4.7658E0), (8.9298E0,-4.8364E0), (8.9827E0,-4.9069E0), (9.0003E0,-4.9775E0), (�,�), true]