A = (-6.97, -2.2)
B = (4, -2)
C = (-1.38, 2.56)
k1, c, a, b = Polygon(A, B, C)
f = Line(A, B)
g = Line(B, C)
h = Line(C, A)
piirto1: PenStroke[(4.1299E-1,5.8295E-1), (3.7324E-1,7.0220E-1), (2.5399E-1,8.3469E-1), (1.0824E-1,9.5394E-1), (-5.0753E-2,1.0864E0), (-2.2300E-1,1.1659E0), (-3.6875E-1,1.2322E0), (-5.9399E-1,1.2984E0), (-7.5299E-1,1.3249E0), (-8.8548E-1,1.3249E0), (-1.0312E0,1.3647E0), (-2.1045E0,1.3779E0), (-2.3827E0,1.3647E0), (-2.5019E0,1.3249E0), (-2.6079E0,1.3249E0), (-2.7139E0,1.2719E0), (-2.8464E0,1.2454E0), (-3.0187E0,1.1659E0), (-3.1777E0,1.0732E0), (-3.3367E0,9.9369E-1), (-3.4957E0,8.7444E-1), (-3.6414E0,7.5519E-1), (-3.7209E0,5.8295E-1), (-3.7739E0,4.5045E-1), (-3.7872E0,3.0470E-1), (-3.8269E0,1.8546E-1), (-3.8269E0,-3.4453E-1), (-3.8269E0,-5.8303E-1), (-3.8004E0,-6.8902E-1), (-3.7739E0,-8.3477E-1), (-3.7342E0,-1.0203E0), (-3.6547E0,-1.1925E0), (-3.5354E0,-1.3250E0), (-3.4162E0,-1.4973E0), (-3.2704E0,-1.6563E0), (-3.1247E0,-1.8020E0), (-2.9657E0,-1.8815E0), (-2.8199E0,-1.9345E0), (-2.6477E0,-2.0007E0), (-2.4622E0,-2.0272E0), (-1.6805E0,-2.0405E0), (-1.4420E0,-2.0405E0), (-1.2697E0,-1.9875E0), (-1.1107E0,-1.9212E0), (-9.2523E-1,-1.8020E0), (-8.0599E-1,-1.6960E0), (-6.7349E-1,-1.6695E0), (-5.2774E-1,-1.5635E0), (-4.0849E-1,-1.4575E0), (-2.4950E-1,-1.3648E0), (-3.7503E-2,-1.1660E0), (9.4994E-2,-1.0865E0), (2.8049E-1,-7.6852E-1), (4.6599E-1,-5.1678E-1), (5.4548E-1,-3.7103E-1), (5.7198E-1,-2.3853E-1), (6.6473E-1,-6.6287E-2), (7.3098E-1,5.2960E-2), (7.3098E-1,1.5896E-1), (7.8398E-1,2.6496E-1), (7.8398E-1,3.7095E-1), (7.4423E-1,5.1670E-1), (6.5148E-1,6.3595E-1), (5.1898E-1,7.1545E-1), (3.7324E-1,8.0819E-1), (2.2749E-1,8.2144E-1), (1.4799E-1,8.4794E-1), (NaN,NaN)]
piirto2: PenStroke[(-1.3420E1,-2.0140E0), (-1.3340E1,-1.9875E0), (-1.3181E1,-1.8550E0), (-1.2996E1,-1.7225E0), (-1.2850E1,-1.6828E0), (-1.2837E1,-1.8550E0), (-1.2837E1,-1.9875E0), (-1.2916E1,-2.1597E0), (-1.2969E1,-2.3055E0), (-1.3049E1,-2.4380E0), (-1.3141E1,-2.6367E0), (-1.3234E1,-2.8222E0), (-1.3287E1,-2.9415E0), (NaN,NaN), (-1.2519E1,-2.9680E0), (-1.2519E1,-2.9680E0), (NaN,NaN)]
piirto3: PenStroke[(5.0239E0,-3.0475E0), (5.1431E0,-2.9945E0), (5.3154E0,-2.9680E0), (5.4214E0,-2.9415E0), (5.6069E0,-2.9415E0), (5.7659E0,-2.9415E0), (5.8984E0,-2.9680E0), (6.0441E0,-3.0342E0), (6.0839E0,-3.1800E0), (6.0441E0,-3.3522E0), (5.9249E0,-3.4715E0), (5.8189E0,-3.5510E0), (5.6864E0,-3.6305E0), (5.5539E0,-3.7232E0), (5.5539E0,-3.8690E0), (5.6599E0,-3.9485E0), (5.7924E0,-4.0014E0), (5.9911E0,-4.0942E0), (6.1104E0,-4.1604E0), (6.2164E0,-4.2134E0), (6.3489E0,-4.2399E0), (6.4814E0,-4.2929E0), (6.5873E0,-4.3459E0), (6.6668E0,-4.3724E0), (NaN,NaN), (7.1703E0,-4.3989E0), (7.1703E0,-4.3989E0), (NaN,NaN), (-4.4099E0,4.8494E0), (-4.3569E0,4.9289E0), (-4.2509E0,4.9819E0), (-4.1184E0,5.0083E0), (-4.0124E0,5.0348E0), (-3.8004E0,5.0348E0), (-3.6017E0,4.9951E0), (-3.5354E0,4.8494E0), (-3.5354E0,4.7169E0), (-3.5619E0,4.5446E0), (-3.6944E0,4.3724E0), (-3.8004E0,4.2664E0), (-3.9329E0,4.1869E0), (-4.0389E0,4.1074E0), (-4.0654E0,4.0014E0), (-4.0654E0,3.8954E0), (-3.9594E0,3.8689E0), (-3.7474E0,3.7894E0), (-3.4692E0,3.6834E0), (-3.2439E0,3.6304E0), (-3.0849E0,3.6039E0), (NaN,NaN), (-2.8199E0,3.6039E0), (-2.8199E0,3.6039E0), (NaN,NaN), (-3.2900E-1,5.0083E0), (-1.7000E-1,5.0083E0), (4.1995E-2,4.9819E0), (2.2749E-1,4.9554E0), (4.3949E-1,4.9024E0), (5.1898E-1,4.7831E0), (3.2024E-1,4.5976E0), (2.1424E-1,4.4386E0), (2.1424E-1,4.2531E0), (2.6724E-1,4.0941E0), (1.4799E-1,4.0279E0), (-3.5550E-1,4.0279E0), (-6.4699E-1,4.0279E0), (-7.2649E-1,4.0014E0), (NaN,NaN), (7.0448E-1,3.9219E0), (7.0448E-1,3.9219E0), (NaN,NaN), (7.6208E0,-1.4840E0), (7.7268E0,-1.4840E0), (7.9388E0,-1.3250E0), (8.4953E0,-9.0102E-1), (8.7073E0,-7.6852E-1), (8.7073E0,-9.2752E-1), (8.7073E0,-1.2190E0), (8.6676E0,-1.4178E0), (8.6013E0,-1.6165E0), (8.5483E0,-1.8152E0), (8.4953E0,-1.9610E0), (8.4953E0,-2.0670E0), (NaN,NaN), (8.5218E0,-2.0935E0), (8.5218E0,-2.0935E0), (NaN,NaN), (9.1578E0,-2.0140E0), (9.1578E0,-2.0140E0), (NaN,NaN)]
piirto4: PenStroke[(-9.2593E0,-3.6040E0), (-9.1268E0,-3.6040E0), (-8.8618E0,-3.6040E0), (-8.5306E0,-3.6172E0), (-8.3981E0,-3.6967E0), (-8.5041E0,-3.8027E0), (-8.7558E0,-3.8955E0), (-8.8883E0,-3.9750E0), (-8.9943E0,-4.0544E0), (-9.0871E0,-4.2002E0), (-9.0738E0,-4.3724E0), (-9.0208E0,-4.5049E0), (-9.0208E0,-4.6109E0), (-9.0473E0,-4.7434E0), (-9.2328E0,-4.8494E0), (-9.4183E0,-4.9554E0), (-9.5773E0,-4.9554E0), (-9.6833E0,-4.9819E0), (-1.0001E1,-5.0084E0), (-1.0346E1,-5.0614E0), (-1.0770E1,-5.0614E0), (-1.1008E1,-5.0614E0), (NaN,NaN), (-8.6233E0,-5.3529E0), (-8.7028E0,-5.3264E0), (-8.7823E0,-5.2999E0), (NaN,NaN)]
piirto5: PenStroke[(-1.4162E1,1.2984E0), (-1.4069E1,1.1792E0), (-1.3950E1,1.0334E0), (-1.3870E1,9.0094E-1), (-1.3817E1,7.9494E-1), (-1.3764E1,6.8895E-1), (-1.3685E1,5.2995E-1), (-1.3658E1,4.2395E-1), (-1.3565E1,2.7821E-1), (-1.3406E1,9.2709E-2), (-1.3287E1,-7.9537E-2), (-1.3208E1,-2.1203E-1), (-1.3102E1,-2.9153E-1), (-1.2982E1,-4.3728E-1), (-1.2850E1,-5.8303E-1), (-1.2704E1,-7.4202E-1), (-1.2532E1,-8.8777E-1), (-1.2360E1,-1.0070E0), (-1.2227E1,-1.1130E0), (-1.2042E1,-1.2455E0), (-1.1618E1,-1.5370E0), (-1.1432E1,-1.6960E0), (-1.1260E1,-1.8417E0), (-1.1088E1,-1.9477E0), (-1.0942E1,-2.0405E0), (-1.0783E1,-2.1067E0), (-1.0664E1,-2.1730E0), (-1.0518E1,-2.1862E0), (-1.0028E1,-2.1995E0), (-9.7893E0,-2.1995E0), (-9.6833E0,-2.1730E0), (-9.5110E0,-2.1597E0), (-9.3918E0,-2.1200E0), (-9.2328E0,-2.1067E0), (-9.0473E0,-2.0670E0), (-8.6233E0,-1.9875E0), (-8.4113E0,-1.9610E0), (-8.2656E0,-1.9477E0), (-8.0801E0,-1.9212E0), (-7.9608E0,-1.8815E0), (-7.8151E0,-1.8550E0), (-7.5633E0,-1.7490E0), (-7.3646E0,-1.6960E0), (-7.2056E0,-1.6033E0), (-6.9803E0,-1.5105E0), (-6.7816E0,-1.4310E0), (-6.6094E0,-1.3515E0), (-6.4371E0,-1.2720E0), (-6.2781E0,-1.1528E0), (-6.1324E0,-1.0600E0), (-5.9999E0,-9.5402E-1), (-5.8144E0,-7.9502E-1), (-5.6024E0,-6.3602E-1), (-5.4036E0,-5.3003E-1), (-5.2446E0,-4.3728E-1), (-5.0856E0,-3.3128E-1), (-4.9531E0,-2.2528E-1), (-4.7941E0,-1.4579E-1), (-4.6484E0,-2.6538E-2), (-4.4894E0,9.2709E-2), (-4.4099E0,2.1196E-1), (-4.3437E0,3.5770E-1), (-4.2509E0,5.6970E-1), (-4.1714E0,7.5519E-1), (-4.1184E0,9.2744E-1), (-4.0389E0,1.0997E0), (-3.9992E0,1.3117E0), (-3.9727E0,1.4972E0), (-3.9462E0,1.7092E0), (-3.9064E0,1.8284E0), (-3.9064E0,1.9874E0), (-3.8667E0,2.1332E0), (-3.8402E0,2.3187E0), (-3.8269E0,2.4909E0), (-3.8269E0,2.6234E0), (-3.8004E0,2.7294E0), (-3.7739E0,2.8619E0), (-3.7739E0,3.3124E0), (-3.7739E0,3.5244E0), (-3.8004E0,3.6569E0), (-3.8004E0,3.7629E0), (-3.8269E0,3.8689E0), (-3.8932E0,4.0146E0), (-3.9329E0,4.1604E0), (-4.0389E0,4.3194E0), (-4.1184E0,4.4916E0), (-4.2112E0,4.6506E0), (-4.3304E0,4.8096E0), (-4.4762E0,4.9421E0), (-4.6219E0,5.0348E0), (-4.7676E0,5.1276E0), (-4.9929E0,5.2203E0), (-5.3904E0,5.4058E0), (-5.6024E0,5.4853E0), (-5.7879E0,5.5383E0), (-5.8939E0,5.5913E0), (-6.0396E0,5.6046E0), (-6.2119E0,5.6443E0), (-6.3709E0,5.6708E0), (-6.7419E0,5.7503E0), (-6.9273E0,5.7768E0), (-7.2718E0,5.8298E0), (-7.4838E0,5.8563E0), (-8.6498E0,5.8563E0), (-8.9281E0,5.8431E0), (-9.0738E0,5.8033E0), (-9.2460E0,5.7901E0), (-9.4183E0,5.7238E0), (-9.6038E0,5.6576E0), (-9.8158E0,5.5648E0), (-9.9880E0,5.5118E0), (-1.0107E1,5.4323E0), (-1.0293E1,5.3793E0), (-1.0478E1,5.2998E0), (-1.0664E1,5.1938E0), (-1.0849E1,5.0878E0), (-1.0955E1,5.0613E0), (-1.1114E1,4.9819E0), (-1.1326E1,4.9024E0), (-1.1604E1,4.7301E0), (-1.1830E1,4.5844E0), (-1.2042E1,4.4121E0), (-1.2267E1,4.2796E0), (-1.2413E1,4.1869E0), (-1.2545E1,4.1074E0), (-1.2704E1,4.0014E0), (-1.2837E1,3.8689E0), (-1.3049E1,3.7364E0), (-1.3261E1,3.5774E0), (-1.3406E1,3.4316E0), (-1.3539E1,3.2461E0), (-1.3711E1,3.0209E0), (-1.3817E1,2.8354E0), (-1.3950E1,2.6632E0), (-1.4029E1,2.5174E0), (-1.4056E1,2.4114E0), (-1.4082E1,2.3054E0), (-1.4135E1,2.1994E0), (-1.4162E1,2.0934E0), (-1.4162E1,1.8019E0), (-1.4162E1,1.5899E0), (-1.4135E1,1.4574E0), (-1.4109E1,1.3249E0), (-1.4109E1,1.2189E0), (-1.4095E1,1.0732E0), (-1.4082E1,9.2744E-1), (-1.4082E1,8.2144E-1), (-1.4056E1,6.8895E-1), (-1.4056E1,5.8295E-1), (-1.4029E1,4.7695E-1), (-1.3950E1,3.3120E-1), (-1.3711E1,1.3246E-1), (-1.3552E1,2.6461E-2), (NaN,NaN)]
piirto6: PenStroke[(1.9765E0,5.8828E0), (1.9500E0,5.8033E0), (1.8307E0,5.6576E0), (1.7380E0,5.4588E0), (1.6320E0,5.2733E0), (1.5260E0,5.0613E0), (1.4730E0,4.9024E0), (1.4465E0,4.7964E0), (1.3935E0,4.6904E0), (1.2875E0,4.5579E0), (1.2080E0,4.3591E0), (1.1417E0,4.1736E0), (1.0490E0,4.0279E0), (1.0225E0,3.8954E0), (9.4298E-1,3.7629E0), (8.8998E-1,3.5774E0), (8.6348E-1,3.4184E0), (8.6348E-1,3.2859E0), (8.1048E-1,3.1269E0), (7.8398E-1,2.8354E0), (7.4423E-1,2.5837E0), (7.3098E-1,2.1994E0), (7.3098E-1,1.9609E0), (7.5748E-1,1.8549E0), (7.5748E-1,1.7489E0), (7.8398E-1,1.6429E0), (7.9723E-1,1.4972E0), (8.2373E-1,1.3117E0), (8.8998E-1,1.1924E0), (9.4298E-1,1.0467E0), (1.0357E0,8.6119E-1), (1.1285E0,7.6844E-1), (1.2345E0,6.0945E-1), (1.3405E0,4.5045E-1), (1.4730E0,2.9145E-1), (1.6187E0,9.2709E-2), (1.7645E0,-3.9788E-2), (1.8440E0,-1.5904E-1), (1.9897E0,-2.7828E-1), (2.1354E0,-3.9753E-1), (2.2944E0,-5.1678E-1), (2.4004E0,-5.8303E-1), (2.5859E0,-7.4202E-1), (2.8112E0,-8.8777E-1), (2.9569E0,-1.0070E0), (3.1027E0,-1.0468E0), (3.2219E0,-1.1130E0), (3.4074E0,-1.1660E0), (3.6062E0,-1.2455E0), (3.7254E0,-1.2985E0), (3.8712E0,-1.3118E0), (4.0169E0,-1.3515E0), (4.1229E0,-1.3515E0), (4.2554E0,-1.3780E0), (4.3879E0,-1.4045E0), (4.5469E0,-1.4575E0), (4.7854E0,-1.5370E0), (4.9709E0,-1.5900E0), (5.1166E0,-1.6033E0), (5.2624E0,-1.6165E0), (5.4081E0,-1.6563E0), (5.5804E0,-1.6695E0), (5.7129E0,-1.6960E0), (5.8189E0,-1.7225E0), (5.9646E0,-1.7358E0), (6.8788E0,-1.7490E0), (7.1836E0,-1.7358E0), (7.3823E0,-1.6695E0), (7.5678E0,-1.6430E0), (7.7268E0,-1.6165E0), (7.8328E0,-1.5635E0), (7.9653E0,-1.5370E0), (8.1243E0,-1.4575E0), (8.2966E0,-1.3780E0), (8.4556E0,-1.2588E0), (8.6013E0,-1.1660E0), (8.7073E0,-1.0600E0), (8.8133E0,-9.8052E-1), (8.9458E0,-8.7452E-1), (9.0518E0,-8.2152E-1), (9.1313E0,-7.1552E-1), (9.2373E0,-6.0953E-1), (9.3433E0,-5.0353E-1), (9.3963E0,-3.9753E-1), (9.5288E0,-2.3853E-1), (9.6083E0,-1.3254E-1), (9.6878E0,1.3211E-2), (9.7673E0,2.6496E-1), (9.8468E0,4.5045E-1), (1.0059E1,8.7444E-1), (1.0191E1,1.0864E0), (1.0191E1,1.1924E0), (1.0271E1,1.3779E0), (1.0350E1,1.5369E0), (1.0403E1,1.6959E0), (1.0430E1,1.8549E0), (1.0430E1,1.9609E0), (1.0456E1,2.0669E0), (1.0509E1,2.4114E0), (1.0562E1,2.7559E0), (1.0562E1,2.9944E0), (1.0562E1,3.2329E0), (1.0523E1,3.3786E0), (1.0509E1,3.5774E0), (1.0417E1,3.7761E0), (1.0350E1,3.9484E0), (1.0244E1,4.1074E0), (1.0138E1,4.2134E0), (1.0032E1,4.3194E0), (9.9528E0,4.4254E0), (9.7805E0,4.5314E0), (9.5685E0,4.6771E0), (9.4493E0,4.7699E0), (9.3433E0,4.8759E0), (9.2373E0,4.9024E0), (9.1048E0,5.0083E0), (8.9193E0,5.1143E0), (8.7073E0,5.2203E0), (8.5218E0,5.2998E0), (7.9388E0,5.5118E0), (7.7003E0,5.5913E0), (7.4353E0,5.7238E0), (7.2233E0,5.8033E0), (7.1173E0,5.8033E0), (7.0113E0,5.8033E0), (6.8391E0,5.8431E0), (6.7198E0,5.8828E0), (6.5079E0,5.9093E0), (6.2031E0,5.9491E0), (6.0574E0,5.9888E0), (5.9249E0,6.0153E0), (5.7394E0,6.0153E0), (5.4611E0,6.0816E0), (5.2491E0,6.1081E0), (4.2024E0,6.1213E0), (3.9639E0,6.1213E0), (3.8579E0,6.0948E0), (3.7254E0,6.0683E0), (3.5929E0,6.0683E0), (3.4869E0,6.0418E0), (3.1689E0,5.9623E0), (2.8244E0,5.9093E0), (2.6124E0,5.8828E0), (2.4799E0,5.8828E0), (2.3474E0,5.8563E0), (2.0560E0,5.7503E0), (1.8837E0,5.6576E0), (1.7645E0,5.4721E0), (1.6850E0,5.3528E0), (1.6585E0,5.2468E0), (1.5790E0,5.1011E0), (1.5525E0,4.9554E0), (1.4995E0,4.8759E0), (NaN,NaN)]
piirto7: PenStroke[(8.9193E0,-7.5524E0), (8.8928E0,-7.4464E0), (8.8398E0,-7.2609E0), (8.8001E0,-7.0356E0), (8.7073E0,-6.7971E0), (8.6278E0,-6.6779E0), (8.4423E0,-6.4659E0), (8.3231E0,-6.3069E0), (8.2038E0,-6.1479E0), (8.1243E0,-6.0419E0), (7.8593E0,-5.7504E0), (7.6208E0,-5.4854E0), (7.4486E0,-5.3264E0), (7.3293E0,-5.2204E0), (7.2233E0,-5.1674E0), (7.0908E0,-5.0879E0), (6.9053E0,-4.9289E0), (6.7728E0,-4.8229E0), (6.5873E0,-4.7434E0), (6.4284E0,-4.6904E0), (6.2694E0,-4.5579E0), (5.9779E0,-4.3724E0), (5.7924E0,-4.2399E0), (5.6599E0,-4.1869E0), (5.5009E0,-4.1074E0), (5.2094E0,-3.9750E0), (5.0371E0,-3.9087E0), (4.7324E0,-3.7630E0), (4.5071E0,-3.6967E0), (4.3349E0,-3.6305E0), (4.2024E0,-3.6040E0), (4.0699E0,-3.6040E0), (3.9109E0,-3.5775E0), (3.5134E0,-3.4715E0), (3.1954E0,-3.4450E0), (3.0894E0,-3.3920E0), (2.9569E0,-3.3655E0), (2.8509E0,-3.3655E0), (2.6919E0,-3.3390E0), (2.5594E0,-3.2860E0), (2.2149E0,-3.2065E0), (1.9235E0,-3.1800E0), (1.6452E0,-3.1402E0), (1.4995E0,-3.1005E0), (1.3670E0,-3.0740E0), (1.2610E0,-3.0740E0), (1.1285E0,-3.0210E0), (1.0225E0,-2.9945E0), (9.1648E-1,-2.9415E0), (8.1048E-1,-2.8885E0), (6.5148E-1,-2.8355E0), (4.9249E-1,-2.7560E0), (1.2149E-1,-2.5970E0), (-9.0502E-2,-2.5175E0), (-2.2300E-1,-2.4380E0), (-5.6749E-1,-2.3055E0), (-7.7949E-1,-2.2260E0), (-9.1198E-1,-2.1995E0), (-1.0180E0,-2.1730E0), (-1.1240E0,-2.1200E0), (-1.7070E0,-2.1200E0), (-1.9190E0,-2.1200E0), (-2.0250E0,-2.1465E0), (-2.1575E0,-2.1465E0), (-2.3032E0,-2.1862E0), (-2.4489E0,-2.1995E0), (-2.5549E0,-2.2260E0), (-2.6609E0,-2.2260E0), (-2.7934E0,-2.2525E0), (-2.9789E0,-2.2790E0), (-3.1644E0,-2.3055E0), (-3.2969E0,-2.3585E0), (-3.6414E0,-2.3850E0), (-3.9329E0,-2.4380E0), (-4.1184E0,-2.4645E0), (-4.4894E0,-2.5440E0), (-4.7544E0,-2.5970E0), (-4.9001E0,-2.6235E0), (-5.0724E0,-2.7030E0), (-5.1784E0,-2.7295E0), (-5.3771E0,-2.8090E0), (-5.6024E0,-2.9150E0), (-5.8276E0,-3.0210E0), (-6.1324E0,-3.1270E0), (-6.3576E0,-3.2330E0), (-6.5166E0,-3.3522E0), (-6.6889E0,-3.4582E0), (-6.8876E0,-3.6172E0), (-7.0068E0,-3.6835E0), (-7.1658E0,-3.7895E0), (-7.3116E0,-3.9220E0), (-7.4838E0,-4.0544E0), (-7.6561E0,-4.2002E0), (-7.7753E0,-4.2929E0), (-7.9476E0,-4.4122E0), (-8.0668E0,-4.5314E0), (-8.3053E0,-4.6639E0), (-8.5703E0,-4.8759E0), (-8.7293E0,-4.9289E0), (-8.8883E0,-5.0084E0), (-9.0606E0,-5.1012E0), (-9.2328E0,-5.1674E0), (-9.3653E0,-5.2469E0), (-9.4713E0,-5.2734E0), (-9.7098E0,-5.3529E0), (-1.0160E1,-5.5384E0), (-1.0346E1,-5.6444E0), (-1.0492E1,-5.7239E0), (-1.0664E1,-5.7769E0), (-1.0770E1,-5.8299E0), (-1.0942E1,-5.8962E0), (-1.1128E1,-6.0154E0), (-1.1247E1,-6.1214E0), (-1.1406E1,-6.2009E0), (-1.1512E1,-6.3069E0), (-1.1565E1,-6.4129E0), (-1.1644E1,-6.5851E0), (-1.1697E1,-6.7839E0), (-1.1750E1,-6.8899E0), (-1.1777E1,-7.0489E0), (-1.1777E1,-7.2874E0), (-1.1777E1,-7.4729E0), (-1.1750E1,-7.6584E0), (-1.1657E1,-7.8041E0), (-1.1591E1,-7.9499E0), (-1.1512E1,-8.1619E0), (-1.1406E1,-8.3739E0), (-1.1379E1,-8.5328E0), (-1.1326E1,-8.7448E0), (-1.1273E1,-8.8773E0), (-1.1220E1,-8.9568E0), (NaN,NaN)]
i, j = AngularBisector(f, h)
k, l = AngularBisector(f, g)
m, n = AngularBisector(h, g)
D = Intersect(i, l)
E = Intersect(i, n)
F = Intersect(k, j)
G = Intersect(l, j)
p = OrthogonalLine(G, h)
q = OrthogonalLine(D, f)
r = OrthogonalLine(F, f)
s = OrthogonalLine(E, g)
H = Intersect(h, p)
I = Intersect(q, f)
J = Intersect(r, f)
K = Intersect(g, s)
d = Circle(G, H)
e = Circle(D, I)
t = Circle(F, J)
c_1 = Circle(E, K)