T217

piirto1: PolyLine[(8.2200E0,2.0000E0), (8.3200E0,2.0800E0), (8.3400E0,2.1400E0), (8.4400E0,2.1800E0), (8.4800E0,2.2400E0), (8.5400E0,2.3200E0), (8.6000E0,2.4400E0), (8.6400E0,2.5000E0), (8.7000E0,2.6600E0), (8.7600E0,2.8200E0), (8.8600E0,3.0000E0), (8.9200E0,3.1200E0), (8.9600E0,3.1800E0), (8.9800E0,3.2600E0), (9.0200E0,3.3400E0), (9.0600E0,3.4200E0), (9.1000E0,3.4800E0), (9.1200E0,3.5800E0), (9.1600E0,3.6400E0), (9.1800E0,3.7200E0), (9.2400E0,3.7800E0), (9.2600E0,3.8400E0), (9.3200E0,3.8800E0), (9.3600E0,3.9400E0), (9.4000E0,4.0000E0), (9.4200E0,4.0600E0), (�,�), true]
piirto2: PolyLine[(9.5800E0,4.0400E0), (9.6600E0,4.0400E0), (1.0100E1,4.0400E0), (1.0280E1,4.0400E0), (1.0400E1,4.0200E0), (1.0520E1,4.0200E0), (1.0620E1,4.0000E0), (1.0740E1,4.0000E0), (1.0800E1,3.9600E0), (1.0840E1,3.9000E0), (1.0880E1,3.8200E0), (1.0920E1,3.7400E0), (1.0940E1,3.6400E0), (1.0980E1,3.5800E0), (1.1000E1,3.5000E0), (1.1040E1,3.4400E0), (1.1080E1,3.3600E0), (1.1140E1,3.2800E0), (1.1180E1,3.2200E0), (1.1200E1,3.1400E0), (1.1260E1,2.9800E0), (1.1300E1,2.8600E0), (1.1360E1,2.7600E0), (1.1420E1,2.6600E0), (1.1440E1,2.5800E0), (1.1460E1,2.5200E0), (1.1500E1,2.4600E0), (1.1520E1,2.4000E0), (1.1640E1,2.0800E0), (1.1680E1,1.9600E0), (�,�), true]
piirto3: PolyLine[(9.8000E0,4.7200E0), (9.8000E0,4.6400E0), (9.8000E0,4.2600E0), (9.8000E0,4.1000E0), (9.8600E0,4.1400E0), (�,�), (9.8200E0,4.7200E0), (9.9000E0,4.7200E0), (9.9800E0,4.7200E0), (1.0060E1,4.7200E0), (1.0080E1,4.6400E0), (1.0080E1,4.5400E0), (1.0060E1,4.4200E0), (1.0040E1,4.3400E0), (1.0020E1,4.2800E0), (1.0020E1,4.2000E0), (1.0000E1,4.1400E0), (1.0000E1,4.0600E0), (�,�), (9.7000E0,4.6000E0), (9.6000E0,4.6000E0), (9.5400E0,4.6200E0), (9.3000E0,4.6800E0), (9.1400E0,4.7000E0), (9.0400E0,4.7000E0), (8.9800E0,4.7400E0), (8.9000E0,4.7600E0), (8.7000E0,4.8600E0), (8.5600E0,4.9200E0), (8.4800E0,4.9400E0), (8.3800E0,5.0000E0), (8.3000E0,5.0200E0), (8.2000E0,5.0800E0), (8.1000E0,5.1200E0), (8.0200E0,5.1400E0), (7.9600E0,5.1800E0), (7.8800E0,5.2000E0), (7.7800E0,5.2000E0), (�,�), (9.7200E0,4.6000E0), (9.6400E0,4.5800E0), (9.5600E0,4.5400E0), (9.4200E0,4.4800E0), (9.2800E0,4.4200E0), (9.1800E0,4.4000E0), (9.0600E0,4.3600E0), (8.9400E0,4.3000E0), (8.8600E0,4.2800E0), (8.7800E0,4.2400E0), (8.6800E0,4.2000E0), (8.5800E0,4.1400E0), (8.5000E0,4.1000E0), (8.4400E0,4.0800E0), (8.3400E0,4.0400E0), (8.2200E0,3.9800E0), (8.1200E0,3.9600E0), (8.0200E0,3.9200E0), (7.9600E0,3.9000E0), (7.8600E0,3.8800E0), (�,�), true]
piirto4: PolyLine[(6.6800E0,2.0200E0), (6.7400E0,2.0000E0), (6.8000E0,1.9800E0), (6.8800E0,1.9800E0), (6.9400E0,2.0000E0), (7.0200E0,2.0000E0), (7.1000E0,2.0000E0), (7.1600E0,2.0200E0), (7.9000E0,2.0200E0), (8.0600E0,2.0200E0), (8.1200E0,2.0000E0), (8.2000E0,2.0000E0), (8.2600E0,1.9800E0), (8.3200E0,1.9600E0), (8.8800E0,1.9600E0), (9.0400E0,1.9600E0), (9.1000E0,1.9800E0), (9.1800E0,1.9800E0), (9.2600E0,1.9800E0), (9.3200E0,2.0000E0), (9.4000E0,2.0000E0), (9.4800E0,2.0000E0), (9.5400E0,2.0200E0), (9.6200E0,2.0200E0), (9.7000E0,2.0200E0), (9.7600E0,2.0400E0), (9.8200E0,2.0600E0), (1.0660E1,2.0600E0), (1.0860E1,2.0600E0), (1.1400E1,2.0400E0), (1.1560E1,2.0400E0), (1.1640E1,2.0200E0), (1.1720E1,2.0200E0), (1.2100E1,2.0000E0), (1.2280E1,2.0000E0), (1.2680E1,1.9800E0), (1.2840E1,1.9800E0), (1.3280E1,2.0000E0), (1.3440E1,2.0000E0), (�,�), true]
A = (3, 7)
B = (13, 7)
f = Line(A, B)
piirto5: PolyLine[(2.2400E0,9.2400E0), (2.2000E0,9.1800E0), (2.1400E0,9.1600E0), (2.0600E0,9.1400E0), (1.9800E0,9.1400E0), (1.9000E0,9.1600E0), (1.8400E0,9.2600E0), (1.7800E0,9.3400E0), (1.7800E0,9.4200E0), (1.8000E0,9.4800E0), (1.8600E0,9.5400E0), (1.9400E0,9.5400E0), (2.0200E0,9.5200E0), (2.0800E0,9.4800E0), (2.1200E0,9.4200E0), (2.1600E0,9.3600E0), (2.1800E0,9.3000E0), (2.2000E0,9.2400E0), (2.2000E0,9.1000E0), (2.2000E0,8.9800E0), (2.1800E0,8.8800E0), (2.1800E0,8.7200E0), (2.2400E0,8.7400E0), (�,�), (2.4600E0,9.1600E0), (2.4600E0,9.1600E0), (�,�), (2.4600E0,8.9800E0), (2.4600E0,8.9800E0), (�,�), (2.9000E0,9.3400E0), (2.8400E0,9.2800E0), (2.8200E0,9.2200E0), (2.7600E0,9.1200E0), (2.7000E0,9.0400E0), (2.6800E0,8.9600E0), (2.6800E0,8.8800E0), (2.7400E0,8.8400E0), (2.8000E0,8.8200E0), (2.8800E0,8.8200E0), (3.0000E0,8.8200E0), (3.0800E0,8.8400E0), (3.1400E0,8.8800E0), (3.1800E0,8.9400E0), (3.1800E0,9.0200E0), (3.1800E0,9.1000E0), (3.1600E0,9.1600E0), (3.1400E0,9.2200E0), (3.1000E0,9.2800E0), (3.0800E0,9.3400E0), (3.0200E0,9.3800E0), (�,�), (3.5000E0,9.3400E0), (3.4000E0,9.3000E0), (3.3400E0,9.2600E0), (3.3000E0,9.1800E0), (3.2600E0,9.1200E0), (3.2600E0,9.0200E0), (3.2600E0,8.9400E0), (3.2800E0,8.8800E0), (3.3600E0,8.8200E0), (3.4200E0,8.7800E0), (3.5400E0,8.7600E0), (3.6200E0,8.7400E0), (3.7200E0,8.7400E0), (3.7800E0,8.7800E0), (3.8400E0,8.8400E0), (3.8600E0,8.9000E0), (3.8800E0,8.9600E0), (3.8800E0,9.0400E0), (3.8600E0,9.1000E0), (3.8200E0,9.1600E0), (3.7600E0,9.2400E0), (3.6600E0,9.3000E0), (3.5800E0,9.3600E0), (3.5000E0,9.3600E0), (�,�), true]
piirto6: PolyLine[(2.0400E0,7.6400E0), (2.0600E0,7.5800E0), (2.0800E0,7.5200E0), (2.1400E0,7.4400E0), (2.1600E0,7.3800E0), (2.2000E0,7.3200E0), (2.2400E0,7.2600E0), (2.2800E0,7.1800E0), (2.3400E0,7.0800E0), (2.3600E0,7.0200E0), (2.4200E0,7.0400E0), (�,�), (3.4200E0,7.0600E0), (3.4200E0,7.1400E0), (3.4800E0,7.2400E0), (3.5400E0,7.3400E0), (3.6000E0,7.4000E0), (3.6400E0,7.4800E0), (3.7000E0,7.5400E0), (3.7200E0,7.6000E0), (3.7600E0,7.6600E0), (3.7800E0,7.7200E0), (3.6600E0,7.7200E0), (3.5200E0,7.7200E0), (3.4600E0,7.7400E0), (3.4000E0,7.7600E0), (3.3200E0,7.7600E0), (3.2400E0,7.7800E0), (3.1800E0,7.8000E0), (3.1000E0,7.8000E0), (3.0200E0,7.8000E0), (2.9600E0,7.8200E0), (2.5200E0,7.8200E0), (2.3800E0,7.8200E0), (2.3200E0,7.8000E0), (2.2600E0,7.7800E0), (2.1800E0,7.7800E0), (2.1200E0,7.7600E0), (�,�), (2.5800E0,7.8600E0), (2.6000E0,7.9200E0), (2.6200E0,7.9800E0), (2.6200E0,8.1600E0), (2.6200E0,8.3000E0), (2.6400E0,8.3600E0), (2.7200E0,8.3600E0), (2.8000E0,8.3400E0), (2.8800E0,8.3400E0), (2.9600E0,8.3200E0), (3.0200E0,8.3000E0), (3.1000E0,8.3000E0), (3.1800E0,8.3000E0), (3.2400E0,8.2800E0), (3.3200E0,8.2800E0), (3.3400E0,8.2200E0), (3.3200E0,8.1200E0), (3.2800E0,8.0400E0), (3.2400E0,7.9600E0), (3.2200E0,7.8800E0), (3.2000E0,7.8200E0), (�,�), (2.8800E0,8.4200E0), (2.8800E0,8.5000E0), (2.8000E0,8.5400E0), (2.7400E0,8.5200E0), (2.6800E0,8.5000E0), (2.6400E0,8.5800E0), (2.6000E0,8.6400E0), (2.5000E0,8.6400E0), (2.4200E0,8.6200E0), (2.3600E0,8.6000E0), (2.3000E0,8.6200E0), (2.2200E0,8.6200E0), (2.1400E0,8.6200E0), (2.0600E0,8.6000E0), (2.0000E0,8.5800E0), (1.9200E0,8.5800E0), (1.8600E0,8.5600E0), (�,�), (1.4000E0,7.3200E0), (1.4400E0,7.2600E0), (1.5000E0,7.2200E0), (1.6000E0,7.1600E0), (1.6600E0,7.1000E0), (1.7400E0,7.0400E0), (1.8200E0,7.0000E0), (1.8800E0,6.9400E0), (1.9400E0,6.9000E0), (1.8600E0,6.8600E0), (1.7200E0,6.8600E0), (1.6600E0,6.8400E0), (1.5800E0,6.8200E0), (1.4000E0,6.8000E0), (1.2800E0,6.7600E0), (1.2200E0,6.7200E0), (1.1600E0,6.7000E0), (1.1000E0,6.6800E0), (1.2200E0,6.6800E0), (�,�), true]
piirto7: PolyLine[(1.7900E1,7.2600E0), (1.8000E1,7.2600E0), (1.8060E1,7.2200E0), (1.8140E1,7.2000E0), (1.8200E1,7.1600E0), (1.8280E1,7.1200E0), (1.8360E1,7.1000E0), (1.8440E1,7.0600E0), (1.8540E1,7.0400E0), (1.8640E1,7.0000E0), (1.8600E1,6.9400E0), (1.8500E1,6.8800E0), (1.8420E1,6.8200E0), (1.8320E1,6.7800E0), (1.8240E1,6.7600E0), (1.8120E1,6.7200E0), (1.8060E1,6.6800E0), (1.7980E1,6.6400E0), (1.7900E1,6.6200E0), (1.7840E1,6.6000E0), (�,�), true]
piirto8: PolyLine[(1.7540E1,4.8600E0), (1.7540E1,4.7200E0), (1.7540E1,4.0200E0), (1.7540E1,3.5600E0), (1.7540E1,3.3600E0), (1.7600E1,3.1400E0), (1.7620E1,2.9200E0), (1.7620E1,2.4000E0), (1.7620E1,2.0400E0), (1.7660E1,1.9000E0), (1.7660E1,1.7400E0), (1.7660E1,1.5800E0), (1.7680E1,1.5200E0), (�,�), (1.7560E1,5.0400E0), (1.7500E1,4.9600E0), (1.7440E1,4.9000E0), (1.7300E1,4.7400E0), (1.7180E1,4.5600E0), (1.7060E1,4.4600E0), (1.6940E1,4.3400E0), (1.6840E1,4.2000E0), (1.6780E1,4.1000E0), (1.6760E1,4.0400E0), (1.6860E1,4.1600E0), (1.7000E1,4.2800E0), (1.7060E1,4.3600E0), (1.7120E1,4.3800E0), (1.7180E1,4.4600E0), (1.7240E1,4.5200E0), (1.7260E1,4.5800E0), (1.7300E1,4.6400E0), (1.7360E1,4.7200E0), (1.7400E1,4.8000E0), (1.7440E1,4.8600E0), (1.7500E1,4.9200E0), (1.7520E1,4.9800E0), (1.7560E1,5.0400E0), (1.7620E1,5.0600E0), (1.7680E1,5.1000E0), (1.7740E1,5.0800E0), (1.7760E1,5.0000E0), (1.7800E1,4.9400E0), (1.7820E1,4.8400E0), (1.7860E1,4.7600E0), (1.7900E1,4.6800E0), (1.7940E1,4.6200E0), (1.7960E1,4.5000E0), (1.8000E1,4.4400E0), (1.8040E1,4.3400E0), (1.8080E1,4.2800E0), (1.8100E1,4.2200E0), (1.8140E1,4.1200E0), (1.8180E1,4.0600E0), (�,�), (1.7120E1,2.4400E0), (1.7260E1,2.4400E0), (1.8080E1,2.4400E0), (1.8100E1,2.4400E0), (�,�), (1.6960E1,4.6000E-1), (1.6960E1,5.4000E-1), (1.6980E1,6.6000E-1), (1.7020E1,7.8000E-1), (1.7020E1,9.0000E-1), (1.7020E1,9.8000E-1), (1.7040E1,1.1400E0), (1.7080E1,1.3200E0), (1.7120E1,1.4200E0), (1.7120E1,1.5000E0), (1.7140E1,1.5600E0), (1.7200E1,1.5800E0), (1.7220E1,1.5200E0), (1.7260E1,1.4600E0), (1.7300E1,1.4000E0), (1.7320E1,1.3400E0), (1.7360E1,1.2200E0), (1.7520E1,8.8000E-1), (1.7600E1,7.0000E-1), (1.7620E1,6.4000E-1), (1.7640E1,5.8000E-1), (1.7680E1,5.2000E-1), (1.7700E1,4.6000E-1), (1.7700E1,5.6000E-1), (1.7720E1,6.4000E-1), (1.7740E1,7.0000E-1), (1.7760E1,8.2000E-1), (1.7800E1,9.4000E-1), (1.7840E1,1.0600E0), (1.7900E1,1.1600E0), (1.7940E1,1.3000E0), (1.8000E1,1.4200E0), (1.8040E1,1.4800E0), (1.8060E1,1.5600E0), (1.8060E1,1.6400E0), (1.8080E1,1.7000E0), (�,�), true]
piirto9: PolyLine[(9.8800E0,9.2000E0), (9.8200E0,9.1800E0), (9.7400E0,9.1400E0), (9.6800E0,9.1200E0), (9.6000E0,9.1200E0), (9.5400E0,9.1400E0), (9.4800E0,9.1800E0), (9.4400E0,9.2400E0), (9.4400E0,9.3200E0), (9.4800E0,9.4000E0), (9.5200E0,9.4600E0), (9.6000E0,9.4800E0), (9.6600E0,9.5000E0), (9.7400E0,9.5000E0), (9.8200E0,9.5000E0), (9.8800E0,9.4600E0), (9.9000E0,9.3800E0), (9.9400E0,9.3000E0), (9.9400E0,9.1200E0), (9.9400E0,8.9600E0), (9.9200E0,8.9000E0), (9.9200E0,8.8200E0), (9.8800E0,8.7600E0), (9.8600E0,8.6800E0), (9.8200E0,8.6200E0), (9.8200E0,8.5400E0), (�,�), (1.0340E1,9.1800E0), (1.0340E1,9.1800E0), (�,�), (1.0200E1,8.8800E0), (1.0200E1,8.8800E0), (�,�), (1.0660E1,9.3800E0), (1.0740E1,9.3800E0), (1.0820E1,9.3600E0), (1.0860E1,9.3000E0), (1.0860E1,9.2000E0), (1.0860E1,9.1200E0), (1.0820E1,9.0600E0), (1.0720E1,9.0400E0), (1.0620E1,9.0000E0), (1.0660E1,8.9400E0), (1.0740E1,8.9000E0), (1.0860E1,8.8600E0), (1.0920E1,8.8000E0), (1.0940E1,8.7400E0), (1.0860E1,8.7000E0), (1.0780E1,8.6600E0), (1.0700E1,8.6600E0), (1.0640E1,8.6400E0), (1.0540E1,8.6400E0), (1.0460E1,8.6400E0), (�,�), (1.1500E1,9.2800E0), (1.1420E1,9.2800E0), (1.1340E1,9.2400E0), (1.1280E1,9.2000E0), (1.1220E1,9.1800E0), (1.1160E1,9.1200E0), (1.1120E1,9.0600E0), (1.1080E1,9.0000E0), (1.1060E1,8.9400E0), (1.1060E1,8.8600E0), (1.1080E1,8.8000E0), (1.1100E1,8.7400E0), (1.1160E1,8.7000E0), (1.1200E1,8.6400E0), (1.1260E1,8.6200E0), (1.1360E1,8.6200E0), (1.1460E1,8.6400E0), (1.1540E1,8.6800E0), (1.1600E1,8.7400E0), (1.1620E1,8.8400E0), (1.1660E1,8.9400E0), (1.1660E1,9.0400E0), (1.1640E1,9.1000E0), (1.1600E1,9.1600E0), (1.1500E1,9.2400E0), (1.1440E1,9.2800E0), (1.1380E1,9.3000E0), (1.1320E1,9.3200E0), (�,�), (9.2000E0,7.5200E0), (9.2200E0,7.4600E0), (9.2600E0,7.4000E0), (9.3200E0,7.3400E0), (9.3600E0,7.2800E0), (9.3800E0,7.2200E0), (9.4400E0,7.1400E0), (9.5000E0,7.0400E0), (�,�), (1.0640E1,6.9800E0), (1.0680E1,7.0600E0), (1.0720E1,7.1400E0), (1.0760E1,7.2000E0), (1.0820E1,7.2800E0), (1.0840E1,7.3800E0), (1.0880E1,7.4600E0), (1.0900E1,7.5200E0), (1.0940E1,7.5800E0), (1.0880E1,7.6400E0), (1.0800E1,7.6400E0), (1.0720E1,7.6600E0), (1.0640E1,7.6800E0), (1.0560E1,7.6800E0), (1.0480E1,7.7000E0), (1.0380E1,7.7000E0), (1.0260E1,7.7200E0), (1.0200E1,7.7400E0), (1.0120E1,7.7400E0), (1.0020E1,7.7400E0), (9.9400E0,7.7200E0), (9.8600E0,7.7200E0), (9.8000E0,7.7000E0), (9.6800E0,7.7000E0), (9.5800E0,7.6800E0), (9.5000E0,7.6400E0), (9.4200E0,7.6000E0), (9.3600E0,7.5800E0), (9.3000E0,7.5600E0), (�,�), (9.7400E0,7.8200E0), (9.7800E0,7.9000E0), (9.8000E0,7.9800E0), (9.8200E0,8.0600E0), (9.8200E0,8.1400E0), (9.8800E0,8.1800E0), (9.9400E0,8.2000E0), (1.0160E1,8.2000E0), (1.0320E1,8.2000E0), (1.0340E1,8.1400E0), (1.0340E1,7.9600E0), (1.0340E1,7.8000E0), (�,�), (1.0120E1,8.2800E0), (1.0100E1,8.3600E0), (1.0100E1,8.4400E0), (1.0020E1,8.4400E0), (9.9600E0,8.4200E0), (9.9000E0,8.4400E0), (9.7800E0,8.4400E0), (9.6600E0,8.4400E0), (9.6000E0,8.4600E0), (9.5200E0,8.4600E0), (9.4400E0,8.4600E0), (9.3800E0,8.4400E0), (�,�), true]
piirto10: PolyLine[(1.6560E1,9.1600E0), (1.6620E1,9.2000E0), (1.6680E1,9.2400E0), (1.6740E1,9.3000E0), (1.6800E1,9.3200E0), (1.6800E1,9.2000E0), (1.6760E1,9.1200E0), (1.6720E1,9.0200E0), (1.6720E1,8.9400E0), (1.6700E1,8.8800E0), (1.6700E1,8.7800E0), (�,�), (1.7160E1,9.3400E0), (1.7120E1,9.2800E0), (1.7060E1,9.1800E0), (1.7020E1,9.1200E0), (1.6940E1,9.0200E0), (1.6920E1,8.9600E0), (1.6880E1,8.9000E0), (1.6860E1,8.8200E0), (1.6860E1,8.7400E0), (1.6880E1,8.6600E0), (1.6980E1,8.6400E0), (1.7080E1,8.6200E0), (1.7180E1,8.6200E0), (1.7280E1,8.6200E0), (1.7340E1,8.6600E0), (1.7380E1,8.7200E0), (1.7420E1,8.7800E0), (1.7440E1,8.8400E0), (1.7440E1,8.9800E0), (1.7440E1,9.1000E0), (1.7420E1,9.1600E0), (1.7360E1,9.2200E0), (1.7300E1,9.2800E0), (1.7240E1,9.3000E0), (�,�), (1.7560E1,9.3000E0), (1.7560E1,9.3000E0), (�,�), (1.7560E1,8.9800E0), (1.7560E1,8.9800E0), (�,�), (1.7880E1,9.2400E0), (1.7940E1,9.2800E0), (1.8000E1,9.3000E0), (1.8020E1,9.2400E0), (1.8020E1,9.1400E0), (1.7980E1,8.9800E0), (1.7960E1,8.8400E0), (1.7920E1,8.7600E0), (1.7900E1,8.6600E0), (1.7920E1,8.7200E0), (�,�), (1.8340E1,9.2600E0), (1.8320E1,9.1600E0), (1.8300E1,9.0600E0), (1.8240E1,8.9800E0), (1.8220E1,8.9200E0), (1.8320E1,8.9000E0), (1.8420E1,8.8600E0), (1.8480E1,8.8200E0), (1.8500E1,8.7600E0), (1.8500E1,8.6800E0), (1.8500E1,8.6000E0), (1.8440E1,8.5400E0), (1.8380E1,8.5200E0), (1.8300E1,8.5000E0), (1.8220E1,8.5000E0), (1.8120E1,8.5000E0), (1.8000E1,8.5200E0), (1.7900E1,8.5600E0), (1.7840E1,8.6000E0), (1.7780E1,8.6200E0), (�,�), (1.8340E1,9.2400E0), (1.8400E1,9.2600E0), (1.8520E1,9.2600E0), (1.8620E1,9.2800E0), (1.8700E1,9.2800E0), (�,�), (1.6420E1,7.5800E0), (1.6480E1,7.5000E0), (1.6520E1,7.4400E0), (1.6580E1,7.3800E0), (1.6620E1,7.3000E0), (1.6640E1,7.2400E0), (1.6680E1,7.1800E0), (1.6740E1,7.1400E0), (1.6780E1,7.0800E0), (1.6800E1,7.0200E0), (�,�), (1.7600E1,7.0600E0), (1.7640E1,7.1200E0), (1.7700E1,7.2000E0), (1.7740E1,7.2800E0), (1.7800E1,7.3200E0), (1.7860E1,7.4000E0), (1.7920E1,7.4400E0), (1.8000E1,7.5200E0), (1.8060E1,7.5800E0), (1.8080E1,7.6400E0), (1.8140E1,7.7000E0), (1.8180E1,7.7600E0), (1.8240E1,7.8000E0), (1.8280E1,7.8600E0), (1.8200E1,7.8400E0), (1.8120E1,7.8200E0), (1.7240E1,7.8200E0), (1.7080E1,7.8200E0), (1.7000E1,7.8400E0), (1.6900E1,7.8600E0), (1.6640E1,7.8600E0), (1.6500E1,7.8600E0), (1.6440E1,7.8400E0), (1.6360E1,7.8400E0), (1.6300E1,7.8200E0), (1.6240E1,7.7800E0), (1.6300E1,7.7200E0), (1.6360E1,7.6800E0), (1.6440E1,7.6400E0), (1.6500E1,7.6200E0), (�,�), (1.7560E1,7.9000E0), (1.7560E1,8.0000E0), (1.7560E1,8.0800E0), (1.7540E1,8.1400E0), (1.7520E1,8.2000E0), (1.7460E1,8.2400E0), (1.7360E1,8.2400E0), (1.7260E1,8.2200E0), (1.7180E1,8.2200E0), (1.7060E1,8.2000E0), (1.6960E1,8.1600E0), (1.6880E1,8.1600E0), (1.6840E1,8.1000E0), (1.6840E1,8.0000E0), (1.6840E1,7.9200E0), (�,�), (1.7240E1,8.2800E0), (1.7200E1,8.3400E0), (1.7120E1,8.3800E0), (1.7060E1,8.4000E0), (1.6980E1,8.4000E0), (1.6920E1,8.3600E0), (1.6860E1,8.4000E0), (1.6780E1,8.3600E0), (1.6720E1,8.3400E0), (1.6660E1,8.4000E0), (1.6600E1,8.4200E0), (1.6520E1,8.4200E0), (1.6460E1,8.4000E0), (1.6400E1,8.4400E0), (�,�), true]
C = Point(piirto6)
D = Point(piirto4)
g = Segment(C, D)
piirto11: PolyLine[(5.0400E0,7.0400E0), (5.0600E0,6.9800E0), (5.1000E0,6.9200E0), (5.1000E0,6.8000E0), (5.1000E0,6.6800E0), (5.0800E0,6.6000E0), (5.0400E0,6.5400E0), (5.0000E0,6.4600E0), (4.9400E0,6.4000E0), (4.8800E0,6.3600E0), (4.8400E0,6.3000E0), (4.8000E0,6.2400E0), (4.7400E0,6.1800E0), (4.6800E0,6.1600E0), (4.6200E0,6.1200E0), (4.5600E0,6.1000E0), (�,�), (5.4000E0,6.5800E0), (5.5200E0,6.5800E0), (5.5800E0,6.5600E0), (5.6600E0,6.5400E0), (5.7000E0,6.4800E0), (5.7000E0,6.4000E0), (5.6400E0,6.3600E0), (5.5400E0,6.3400E0), (5.4200E0,6.3200E0), (5.3000E0,6.2800E0), (5.3600E0,6.2600E0), (5.4200E0,6.2400E0), (5.4800E0,6.1400E0), (5.4800E0,6.0600E0), (5.4200E0,6.0400E0), (5.1200E0,6.0400E0), (4.9600E0,6.0400E0), (4.9400E0,6.1000E0), (�,�), (5.9600E0,6.5600E0), (5.9600E0,6.4800E0), (5.9400E0,6.4200E0), (5.9600E0,6.3600E0), (6.0600E0,6.3200E0), (6.1200E0,6.2800E0), (6.1800E0,6.2400E0), (6.2200E0,6.1800E0), (6.2000E0,6.1200E0), (6.1400E0,6.0800E0), (6.0600E0,6.0400E0), (5.9800E0,5.9800E0), (5.9200E0,5.9600E0), (5.8600E0,5.9200E0), (5.7600E0,5.9000E0), (5.7000E0,5.8800E0), (5.6200E0,5.8800E0), (5.5600E0,5.9000E0), (�,�), (5.9800E0,6.5800E0), (6.0400E0,6.6000E0), (6.1200E0,6.6000E0), (6.2000E0,6.6200E0), (�,�), (6.6000E0,6.6800E0), (6.5200E0,6.6800E0), (6.4600E0,6.6600E0), (6.4400E0,6.6000E0), (6.4600E0,6.5400E0), (6.5200E0,6.5200E0), (6.6000E0,6.5200E0), (6.7000E0,6.5400E0), (6.7400E0,6.6000E0), (6.7600E0,6.6600E0), (6.7000E0,6.7200E0), (6.5800E0,6.7200E0), (6.4600E0,6.7200E0), (�,�), true]
E = Point(f)
h = Segment(E, D)
F = Point(f)
i = Segment(D, F)
piirto12: PolyLine[(1.0220E1,5.8200E0), (1.0300E1,5.8200E0), (1.0380E1,5.8200E0), (1.0440E1,5.8000E0), (1.0480E1,5.7400E0), (1.0480E1,5.6600E0), (1.0420E1,5.6200E0), (1.0340E1,5.6200E0), (1.0280E1,5.6000E0), (1.0340E1,5.5800E0), (1.0420E1,5.5600E0), (1.0480E1,5.5200E0), (1.0480E1,5.4400E0), (1.0440E1,5.3800E0), (1.0380E1,5.3400E0), (1.0320E1,5.3200E0), (1.0240E1,5.3200E0), (�,�), (1.0840E1,5.8600E0), (1.0820E1,5.8000E0), (1.0820E1,5.7000E0), (1.0800E1,5.6200E0), (1.0780E1,5.5400E0), (1.0780E1,5.4600E0), (1.0760E1,5.3800E0), (1.0720E1,5.3000E0), (�,�), (1.1100E1,5.4800E0), (1.1020E1,5.4800E0), (1.0940E1,5.4800E0), (1.0860E1,5.4800E0), (1.0800E1,5.4600E0), (1.0760E1,5.4000E0), (1.0840E1,5.4000E0), (1.0920E1,5.3600E0), (1.1000E1,5.3600E0), (1.1060E1,5.3400E0), (�,�), (1.1220E1,5.5400E0), (1.1220E1,5.4600E0), (1.1200E1,5.3800E0), (1.1180E1,5.3200E0), (1.1200E1,5.4000E0), (1.1280E1,5.4600E0), (1.1340E1,5.4800E0), (1.1360E1,5.4200E0), (1.1360E1,5.3400E0), (1.1400E1,5.4000E0), (1.1420E1,5.4600E0), (1.1460E1,5.5200E0), (1.1520E1,5.5600E0), (1.1580E1,5.5400E0), (1.1600E1,5.4800E0), (1.1620E1,5.4200E0), (1.1620E1,5.3400E0), (�,�), true]
piirto13: PolyLine[(1.8180E1,8.2000E-1), (1.8120E1,8.4000E-1), (1.8040E1,8.4000E-1), (1.7980E1,8.0000E-1), (1.7960E1,7.4000E-1), (1.7960E1,6.6000E-1), (1.7980E1,6.0000E-1), (1.8040E1,5.6000E-1), (1.8100E1,5.4000E-1), (1.8180E1,5.4000E-1), (1.8260E1,5.6000E-1), (1.8320E1,6.0000E-1), (1.8320E1,6.8000E-1), (1.8300E1,7.4000E-1), (1.8260E1,8.0000E-1), (1.8180E1,8.0000E-1), (�,�), (1.8380E1,1.0000E0), (1.8400E1,9.4000E-1), (1.8420E1,8.8000E-1), (1.8420E1,8.0000E-1), (1.8420E1,7.2000E-1), (1.8400E1,6.6000E-1), (1.8400E1,7.6000E-1), (1.8420E1,8.2000E-1), (1.8480E1,9.0000E-1), (1.8540E1,9.4000E-1), (1.8600E1,9.8000E-1), (�,�), (1.8820E1,1.2200E0), (1.8820E1,1.1200E0), (1.8820E1,8.0000E-1), (1.8820E1,6.4000E-1), (�,�), (1.8700E1,1.0400E0), (1.8780E1,1.0400E0), (1.8880E1,1.0400E0), (1.9000E1,1.0600E0), (1.9100E1,1.0600E0), (�,�), (1.9300E1,1.4800E0), (1.9260E1,1.4200E0), (1.9240E1,1.3400E0), (1.9220E1,1.2600E0), (1.9160E1,1.1200E0), (1.9140E1,9.8000E-1), (1.9120E1,9.0000E-1), (1.9120E1,8.0000E-1), (1.9100E1,7.4000E-1), (1.9100E1,6.6000E-1), (1.9140E1,7.4000E-1), (1.9200E1,8.0000E-1), (1.9260E1,8.2000E-1), (1.9320E1,8.4000E-1), (1.9380E1,8.2000E-1), (1.9420E1,7.6000E-1), (1.9420E1,6.6000E-1), (1.9420E1,5.8000E-1), (�,�), true]
piirto14: PolyLine[(1.8960E1,7.0400E0), (1.8960E1,6.9600E0), (1.8940E1,6.9000E0), (1.8940E1,6.8200E0), (1.8900E1,6.7600E0), (1.8880E1,6.6800E0), (1.8860E1,6.6200E0), (1.8800E1,6.5800E0), (1.8780E1,6.5200E0), (1.8720E1,6.4400E0), (1.8660E1,6.4000E0), (1.8620E1,6.3400E0), (1.8560E1,6.2600E0), (1.8500E1,6.2000E0), (1.8440E1,6.1600E0), (1.8360E1,6.1200E0), (1.8280E1,6.0600E0), (1.8200E1,6.0000E0), (1.8120E1,5.9600E0), (1.8040E1,5.9200E0), (1.7960E1,5.9000E0), (1.7880E1,5.8800E0), (1.7800E1,5.8800E0), (1.7740E1,5.8600E0), (1.7640E1,5.8600E0), (1.7540E1,5.8600E0), (1.7480E1,5.8400E0), (1.7220E1,5.8400E0), (1.7080E1,5.8400E0), (1.7020E1,5.8600E0), (1.6940E1,5.8600E0), (1.6860E1,5.8800E0), (1.6780E1,5.9000E0), (1.6700E1,5.9000E0), (1.6600E1,5.9400E0), (1.6520E1,5.9600E0), (1.6440E1,5.9600E0), (1.6360E1,6.0000E0), (1.6300E1,6.0200E0), (1.6240E1,6.0400E0), (1.6180E1,6.0800E0), (1.6080E1,6.1200E0), (1.6000E1,6.1400E0), (�,�), (1.8520E1,5.9000E0), (1.8540E1,5.9800E0), (1.8600E1,6.0200E0), (1.8660E1,6.0400E0), (1.8740E1,6.0400E0), (1.8800E1,6.0200E0), (1.8840E1,5.9600E0), (1.8840E1,5.8800E0), (1.8820E1,5.8200E0), (1.8740E1,5.7600E0), (1.8640E1,5.7000E0), (1.8560E1,5.6200E0), (1.8540E1,5.5600E0), (1.8540E1,5.4800E0), (1.8580E1,5.4200E0), (1.8640E1,5.4000E0), (1.8700E1,5.3800E0), (1.8780E1,5.3800E0), (1.8840E1,5.3600E0), (1.8820E1,5.3000E0), (�,�), (1.8620E1,5.0400E0), (1.8620E1,5.0400E0), (�,�), true]
piirto15: PolyLine[(1.6740E1,5.5200E0), (1.6680E1,5.5000E0), (1.6620E1,5.4800E0), (1.6560E1,5.4400E0), (1.6500E1,5.4200E0), (1.6440E1,5.4000E0), (1.6380E1,5.3600E0), (1.6260E1,5.3600E0), (1.6140E1,5.3600E0), (1.6080E1,5.4000E0), (1.6040E1,5.4600E0), (1.6020E1,5.5200E0), (1.6020E1,5.6000E0), (1.6060E1,5.6600E0), (1.6140E1,5.6600E0), (1.6220E1,5.6600E0), (1.6280E1,5.6400E0), (1.6340E1,5.6200E0), (1.6380E1,5.5600E0), (1.6420E1,5.5000E0), (1.6480E1,5.4400E0), (1.6520E1,5.3800E0), (1.6580E1,5.3200E0), (1.6640E1,5.2800E0), (�,�), true]
piirto16: PolyLine[(1.5060E1,7.0000E0), (1.5080E1,6.9400E0), (1.5080E1,6.8600E0), (1.5100E1,6.8000E0), (1.5100E1,6.6200E0), (1.5100E1,6.4600E0), (1.5120E1,6.4000E0), (1.5120E1,6.3200E0), (1.5160E1,6.2400E0), (1.5200E1,6.1800E0), (1.5220E1,6.1200E0), (1.5240E1,6.0600E0), (1.5300E1,6.0000E0), (1.5340E1,5.9400E0), (1.5400E1,5.9000E0), (1.5460E1,5.8600E0), (1.5520E1,5.8400E0), (�,�), (1.4160E1,6.4200E0), (1.4100E1,6.3800E0), (1.4060E1,6.3200E0), (1.4040E1,6.2200E0), (1.4000E1,6.1400E0), (1.3960E1,6.0800E0), (1.3900E1,6.0000E0), (1.3860E1,5.9200E0), (1.3840E1,5.8200E0), (1.3800E1,5.7600E0), (�,�), (1.4100E1,6.4600E0), (1.4160E1,6.4800E0), (1.4240E1,6.5000E0), (1.4380E1,6.5000E0), (1.4500E1,6.5000E0), (1.4560E1,6.4600E0), (1.4580E1,6.4000E0), (1.4520E1,6.3400E0), (1.4440E1,6.3400E0), (1.4380E1,6.3200E0), (1.4300E1,6.3200E0), (1.4240E1,6.3000E0), (1.4160E1,6.3000E0), (1.4240E1,6.2400E0), (1.4300E1,6.2200E0), (1.4320E1,6.1600E0), (1.4260E1,6.1200E0), (1.4140E1,6.1200E0), (1.4020E1,6.1200E0), (�,�), true]
piirto17: PolyLine[(4.4200E0,9.0000E0), (4.5200E0,9.0000E0), (5.2200E0,9.0000E0), (5.4000E0,9.0000E0), (5.5000E0,8.9800E0), (5.6200E0,8.9400E0), (5.5800E0,9.0000E0), (5.5200E0,9.0400E0), (5.4400E0,9.0800E0), (5.3600E0,9.1000E0), (5.3000E0,9.1200E0), (5.3600E0,9.1400E0), (5.4400E0,9.1000E0), (5.5000E0,9.0800E0), (5.5600E0,9.0600E0), (5.6200E0,9.0200E0), (5.6400E0,8.9600E0), (5.6600E0,8.9000E0), (5.6400E0,8.8400E0), (5.5800E0,8.8000E0), (5.4800E0,8.7600E0), (5.3800E0,8.7200E0), (�,�), (5.9400E0,9.3000E0), (6.0200E0,9.3000E0), (6.1600E0,9.3000E0), (6.2800E0,9.3000E0), (6.3400E0,9.2600E0), (6.3200E0,9.2000E0), (6.2600E0,9.1400E0), (6.2000E0,9.1000E0), (6.1200E0,9.0600E0), (6.0800E0,9.0000E0), (6.1200E0,8.9400E0), (6.1200E0,8.8600E0), (6.1200E0,8.7800E0), (6.0600E0,8.7600E0), (6.0000E0,8.7200E0), (5.9200E0,8.7200E0), (5.8400E0,8.7000E0), (5.7800E0,8.6800E0), (5.7000E0,8.6800E0), (�,�), (6.5800E0,9.3000E0), (6.5400E0,9.2200E0), (6.4800E0,9.1400E0), (6.4400E0,9.0800E0), (6.4200E0,8.9800E0), (6.3800E0,8.9200E0), (6.3800E0,8.8400E0), (6.3800E0,8.7600E0), (6.4000E0,8.7000E0), (6.4600E0,8.6400E0), (6.5600E0,8.6400E0), (6.6400E0,8.6400E0), (6.7200E0,8.6600E0), (6.7800E0,8.7200E0), (6.8000E0,8.7800E0), (6.8200E0,8.8400E0), (6.8200E0,8.9200E0), (6.8200E0,9.0200E0), (6.7800E0,9.0800E0), (6.7600E0,9.1400E0), (6.7200E0,9.2000E0), (�,�), (7.0200E0,8.8000E0), (7.0200E0,8.7000E0), (7.0000E0,8.6200E0), (6.9800E0,8.5600E0), (7.0000E0,8.6200E0), (7.0600E0,8.6800E0), (7.1000E0,8.7400E0), (7.1400E0,8.8000E0), (7.2000E0,8.8200E0), (7.2400E0,8.7600E0), (7.2600E0,8.7000E0), (7.2800E0,8.6200E0), (7.2800E0,8.7000E0), (7.3400E0,8.7200E0), (7.4000E0,8.6400E0), (7.4600E0,8.5400E0), (7.5400E0,8.5600E0), (�,�), (7.7200E0,8.8000E0), (7.7200E0,8.7000E0), (7.7200E0,8.6200E0), (�,�), (7.6200E0,9.0400E0), (7.6200E0,9.0400E0), (�,�), (7.9400E0,8.8600E0), (7.9400E0,8.7600E0), (7.9400E0,8.6800E0), (7.9400E0,8.5800E0), (7.9600E0,8.6400E0), (8.0400E0,8.7000E0), (8.1200E0,8.7000E0), (8.1600E0,8.6400E0), (8.2000E0,8.5600E0), (8.2200E0,8.5000E0), (�,�), (8.3000E0,8.9600E0), (8.4000E0,8.9400E0), (8.7200E0,8.9400E0), (8.9200E0,8.9400E0), (9.0200E0,8.9600E0), (9.0800E0,8.9800E0), (9.0200E0,9.0400E0), (8.9400E0,9.1000E0), (8.8600E0,9.1400E0), (8.8400E0,9.1600E0), (8.9400E0,9.1000E0), (8.9800E0,9.0400E0), (9.0000E0,8.9800E0), (8.9400E0,8.9400E0), (8.8600E0,8.9200E0), (8.8000E0,8.9000E0), (8.7400E0,8.8600E0), (�,�), (1.1980E1,8.7800E0), (1.2080E1,8.7800E0), (1.2160E1,8.8000E0), (1.2240E1,8.8000E0), (1.2360E1,8.8200E0), (1.2980E1,8.8200E0), (1.3160E1,8.8200E0), (1.3100E1,8.8800E0), (1.3040E1,8.9000E0), (1.3020E1,8.9000E0), (1.3140E1,8.8400E0), (1.3200E1,8.8200E0), (1.3140E1,8.7400E0), (1.3080E1,8.6800E0), (1.3000E1,8.6200E0), (�,�), (1.3520E1,9.2200E0), (1.3480E1,9.1400E0), (1.3440E1,9.0800E0), (1.3420E1,9.0200E0), (1.3460E1,8.9600E0), (1.3540E1,8.9400E0), (1.3620E1,8.9200E0), (1.3700E1,8.9200E0), (1.3800E1,8.9200E0), (1.3900E1,8.9400E0), (1.3940E1,9.0000E0), (1.3980E1,9.0600E0), (1.3960E1,8.9800E0), (1.3920E1,8.9200E0), (1.3900E1,8.8600E0), (1.3840E1,8.8000E0), (1.3820E1,8.7200E0), (1.3760E1,8.6800E0), (1.3700E1,8.6000E0), (1.3680E1,8.5000E0), (1.3740E1,8.4800E0), (�,�), (1.4320E1,9.1200E0), (1.4300E1,9.0400E0), (1.4260E1,8.9800E0), (1.4240E1,8.9200E0), (1.4220E1,8.8600E0), (1.4280E1,8.8400E0), (1.4340E1,8.8000E0), (1.4380E1,8.7400E0), (1.4380E1,8.6600E0), (1.4360E1,8.6000E0), (1.4300E1,8.5600E0), (1.4180E1,8.5400E0), (1.4100E1,8.5000E0), (1.4020E1,8.5000E0), (�,�), (1.4320E1,9.1600E0), (1.4420E1,9.1600E0), (1.4480E1,9.1800E0), (1.4560E1,9.1800E0), (1.4620E1,9.2000E0), (1.4680E1,9.1800E0), (�,�), (1.4720E1,8.7000E0), (1.4700E1,8.6400E0), (1.4680E1,8.5800E0), (1.4720E1,8.6600E0), (1.4780E1,8.7000E0), (1.4840E1,8.6800E0), (1.4840E1,8.5800E0), (1.4840E1,8.5000E0), (1.4880E1,8.5800E0), (1.4920E1,8.6600E0), (1.5000E1,8.6600E0), (1.5060E1,8.5800E0), (1.5080E1,8.5200E0), (1.5140E1,8.5000E0), (�,�), (1.5280E1,8.5400E0), (1.5280E1,8.4600E0), (�,�), (1.5300E1,8.8000E0), (1.5300E1,8.8000E0), (�,�), (1.5460E1,8.5800E0), (1.5440E1,8.5200E0), (1.5400E1,8.4600E0), (1.5460E1,8.4800E0), (1.5520E1,8.5000E0), (1.5580E1,8.4600E0), (1.5600E1,8.4000E0), (�,�), (1.5720E1,8.8800E0), (1.5800E1,8.9000E0), (1.5920E1,8.9000E0), (1.6060E1,8.9000E0), (1.6080E1,8.9600E0), (1.5940E1,9.0400E0), (1.5820E1,9.1000E0), (1.5880E1,9.0800E0), (1.5940E1,9.0200E0), (1.6000E1,8.9800E0), (1.6020E1,8.9200E0), (1.6020E1,8.8400E0), (1.6000E1,8.7800E0), (1.5940E1,8.7400E0), (�,�), (1.5800E1,8.9000E0), (1.5720E1,8.9000E0), (1.5640E1,8.9000E0), (1.5560E1,8.9000E0), (�,�), (1.6140E1,8.9400E0), (1.6080E1,8.9200E0), (1.6040E1,8.8600E0), (1.5980E1,8.8000E0), (1.5920E1,8.7400E0), (1.5900E1,8.6800E0), (1.5840E1,8.6400E0), (�,�), true]
piirto18: PolyLine[(3.4600E0,7.0600E0), (3.5200E0,7.0800E0), (3.5800E0,7.1000E0), (3.6400E0,7.1400E0), (3.7000E0,7.1600E0), (4.6400E0,7.1600E0), (5.6600E0,7.1600E0), (5.8400E0,7.1600E0), (5.9200E0,7.1800E0), (5.9800E0,7.2200E0), (6.0600E0,7.2600E0), (6.1200E0,7.3200E0), (6.1600E0,7.3800E0), (6.1600E0,7.4600E0), (6.1800E0,7.5400E0), (6.1800E0,7.4600E0), (6.1800E0,7.3800E0), (6.2600E0,7.3600E0), (6.3800E0,7.3200E0), (6.4600E0,7.3200E0), (6.5400E0,7.3200E0), (6.6000E0,7.3000E0), (6.6800E0,7.2800E0), (7.7000E0,7.2800E0), (7.8800E0,7.2800E0), (7.9600E0,7.2800E0), (8.0200E0,7.3000E0), (8.1000E0,7.3200E0), (9.1000E0,7.3200E0), (9.3200E0,7.3200E0), (9.4600E0,7.3200E0), (9.5200E0,7.3000E0), (9.6000E0,7.3000E0), (9.6600E0,7.2800E0), (9.7200E0,7.2400E0), (9.7400E0,7.1800E0), (9.8200E0,7.1600E0), (9.9200E0,7.1200E0), (�,�), (6.5800E0,7.8800E0), (6.5200E0,7.9200E0), (6.4400E0,7.8800E0), (6.4200E0,7.8200E0), (6.4200E0,7.7400E0), (6.4400E0,7.6800E0), (6.5000E0,7.6400E0), (6.5600E0,7.6200E0), (6.6400E0,7.6200E0), (6.7000E0,7.6600E0), (6.7400E0,7.7200E0), (6.7400E0,7.8000E0), (6.7400E0,7.8800E0), (6.7600E0,7.8200E0), (6.8000E0,7.7600E0), (6.8400E0,7.7000E0), (6.9000E0,7.6600E0), (�,�), (1.0000E1,7.0000E0), (1.0020E1,7.0600E0), (1.0040E1,7.1200E0), (1.0080E1,7.1800E0), (1.0140E1,7.2200E0), (1.0260E1,7.2600E0), (1.0380E1,7.2800E0), (1.0460E1,7.3000E0), (1.0660E1,7.3000E0), (1.0840E1,7.3000E0), (1.0900E1,7.2800E0), (1.1000E1,7.2800E0), (1.1060E1,7.2600E0), (1.1460E1,7.2600E0), (1.2360E1,7.2600E0), (1.2560E1,7.2400E0), (1.2700E1,7.2400E0), (1.2840E1,7.2400E0), (1.2900E1,7.2600E0), (1.2980E1,7.2600E0), (1.3080E1,7.3200E0), (1.3180E1,7.3800E0), (1.3260E1,7.3800E0), (1.3340E1,7.4400E0), (1.3440E1,7.5000E0), (1.3500E1,7.5600E0), (1.3520E1,7.6200E0), (1.3460E1,7.6000E0), (1.3440E1,7.5400E0), (1.3460E1,7.4800E0), (1.3520E1,7.4400E0), (1.3580E1,7.4200E0), (1.3660E1,7.4200E0), (1.3720E1,7.4000E0), (1.3800E1,7.3800E0), (1.4260E1,7.3800E0), (1.4460E1,7.3800E0), (1.4540E1,7.3400E0), (1.4640E1,7.3200E0), (1.4760E1,7.3200E0), (1.4840E1,7.3200E0), (1.4920E1,7.3000E0), (1.5000E1,7.3000E0), (1.5080E1,7.2800E0), (1.6040E1,7.2800E0), (1.6800E1,7.2800E0), (1.6980E1,7.2800E0), (1.7040E1,7.2600E0), (1.7100E1,7.1800E0), (1.7160E1,7.0800E0), (�,�), (1.3980E1,8.1600E0), (1.3980E1,8.0800E0), (1.3980E1,7.9000E0), (1.3980E1,7.7600E0), (1.3960E1,7.7000E0), (1.3980E1,7.7800E0), (1.4040E1,7.8000E0), (1.4100E1,7.8400E0), (1.4160E1,7.8600E0), (1.4220E1,7.8800E0), (1.4300E1,7.8800E0), (1.4380E1,7.8800E0), (1.4440E1,7.8600E0), (1.4440E1,7.7800E0), (1.4420E1,7.7200E0), (1.4340E1,7.7200E0), (1.4280E1,7.6800E0), (1.4220E1,7.6600E0), (1.4100E1,7.6600E0), (1.3980E1,7.6600E0), (�,�), true]