u = Vector((-9, 17, sqrt(3)))
v = UnitVector(u)
eq1: x^(2) + y^(2) + z^(2) = 1
piirto1: PolyLine[(-5.3200E0,3.3400E0), (-5.4000E0,3.3000E0), (-5.4000E0,3.3800E0), (�,�), (-6.0400E0,3.7400E0), (-5.9600E0,3.8400E0), (-5.8700E0,3.9400E0), (-5.7700E0,4.0700E0), (-5.5400E0,4.4000E0), (-5.4400E0,4.5200E0), (-5.4000E0,4.6600E0), (-5.3150E0,4.7750E0), (-5.2600E0,4.6000E0), (-5.2200E0,4.4600E0), (-5.1800E0,4.1800E0), (-5.1400E0,3.9400E0), (-5.1200E0,3.8800E0), (�,�), (-5.6000E0,4.1800E0), (-5.5400E0,4.2000E0), (-5.4300E0,4.2100E0), (-5.3000E0,4.2200E0), (-5.2000E0,4.2600E0), (-5.1000E0,4.2800E0), (-4.9800E0,4.3000E0), (-4.8600E0,4.3000E0), (�,�), (4.4000E-1,3.5800E0), (3.8000E-1,3.5600E0), (3.6000E-1,3.5000E0), (3.8000E-1,3.4400E0), (4.6000E-1,3.4400E0), (4.8000E-1,3.5000E0), (3.8000E-1,3.5000E0), (3.0000E-1,3.5000E0), (3.6000E-1,3.5600E0), (�,�), (9.6000E-1,5.2000E0), (9.6000E-1,5.1000E0), (9.6000E-1,4.7000E0), (9.6000E-1,4.4800E0), (9.8000E-1,4.4200E0), (9.8000E-1,4.3400E0), (9.8000E-1,4.2600E0), (�,�), (9.2000E-1,5.2400E0), (9.8000E-1,5.2600E0), (1.0600E0,5.2800E0), (1.1400E0,5.3200E0), (1.2700E0,5.3500E0), (1.3800E0,5.3400E0), (1.4400E0,5.2300E0), (1.4700E0,5.0900E0), (1.4800E0,4.9800E0), (1.4100E0,4.8800E0), (1.2900E0,4.8200E0), (1.1700E0,4.7600E0), (1.0800E0,4.7200E0), (1.1600E0,4.7200E0), (1.2900E0,4.7100E0), (1.4000E0,4.6100E0), (1.4800E0,4.4800E0), (1.4300E0,4.3400E0), (1.3100E0,4.2900E0), (1.1600E0,4.2800E0), (1.0400E0,4.2800E0), (�,�), true]
piirto2: PolyLine[(-5.4200E0,3.3400E0), (-5.3400E0,3.3800E0), (-5.2000E0,3.3800E0), (-5.0200E0,3.3900E0), (-4.8800E0,3.4000E0), (-4.7600E0,3.4400E0), (-4.6000E0,3.4600E0), (-4.5000E0,3.4800E0), (-4.4200E0,3.4800E0), (-4.3400E0,3.4800E0), (-4.2200E0,3.5000E0), (-4.0800E0,3.5000E0), (-4.0000E0,3.5200E0), (-3.8900E0,3.5300E0), (-3.2800E0,3.5400E0), (-3.0700E0,3.5300E0), (-2.8000E0,3.5200E0), (-2.6400E0,3.5200E0), (-2.5400E0,3.5400E0), (-2.4600E0,3.5600E0), (-2.3200E0,3.5600E0), (-2.1700E0,3.5700E0), (-2.0800E0,3.6000E0), (-1.9500E0,3.6100E0), (-1.8200E0,3.6200E0), (-1.7400E0,3.6400E0), (-1.4600E0,3.6400E0), (-1.2800E0,3.6400E0), (-1.1800E0,3.6200E0), (-1.0400E0,3.5800E0), (-7.6000E-1,3.4800E0), (-6.2000E-1,3.4400E0), (-5.2000E-1,3.4400E0), (-4.1000E-1,3.4300E0), (-2.7000E-1,3.4100E0), (0.0000E0,3.4000E0), (1.9000E-1,3.4100E0), (2.8000E-1,3.4400E0), (3.4000E-1,3.4000E0), (�,�), true]
piirto3: PolyLine[(-1.9600E0,3.8200E0), (-1.9400E0,3.7400E0), (-1.9200E0,3.6600E0), (-1.9200E0,3.5800E0), (-1.9200E0,3.5000E0), (�,�), (-1.9800E0,5.1600E0), (-1.9800E0,5.0600E0), (-1.9800E0,4.6200E0), (-1.9800E0,4.4400E0), (�,�), (-1.9400E0,5.2200E0), (-1.8800E0,5.2800E0), (-1.7700E0,5.2700E0), (-1.6500E0,5.1900E0), (-1.5600E0,5.1000E0), (-1.5900E0,4.9900E0), (-1.7100E0,4.9100E0), (-1.8300E0,4.8400E0), (-1.9200E0,4.8000E0), (-1.9800E0,4.7800E0), (�,�), (-3.9200E0,4.4200E0), (-3.9800E0,4.3800E0), (-4.0400E0,4.3000E0), (-4.1000E0,4.2200E0), (-4.1400E0,4.1400E0), (-4.1800E0,4.0200E0), (-4.2300E0,3.8900E0), (-4.2400E0,3.7800E0), (-4.2300E0,3.6700E0), (-4.1600E0,3.6000E0), (�,�), (-3.4200E0,4.2600E0), (-3.5400E0,4.2600E0), (-3.6300E0,4.2300E0), (-3.5500E0,4.1300E0), (-3.4700E0,4.0100E0), (-3.4800E0,3.9200E0), (-3.5900E0,3.8900E0), (-3.7000E0,3.8800E0), (-3.7800E0,3.8800E0), (�,�), (-3.2600E0,4.4800E0), (-3.1700E0,4.4200E0), (-3.0800E0,4.3400E0), (-3.0500E0,4.2300E0), (-3.0400E0,4.1200E0), (-3.0800E0,4.0100E0), (-3.1800E0,3.9100E0), (-3.2600E0,3.8400E0), (-3.3200E0,3.7800E0), (�,�), (-9.8000E-1,4.6200E0), (-1.0700E0,4.5200E0), (-1.1600E0,4.4000E0), (-1.2200E0,4.3000E0), (-1.2600E0,4.1800E0), (-1.2800E0,4.1000E0), (-1.3000E0,4.0000E0), (-1.3000E0,3.9200E0), (-1.2700E0,3.8100E0), (-1.1600E0,3.7000E0), (-1.0150E0,3.6100E0), (-9.6000E-1,3.7400E0), (�,�), (-7.2000E-1,4.4200E0), (-6.8000E-1,4.3600E0), (-6.8000E-1,4.2800E0), (-6.9000E-1,4.1300E0), (-7.2000E-1,4.0000E0), (-7.2000E-1,3.9200E0), (-7.2000E-1,3.8400E0), (-7.4000E-1,3.9400E0), (-7.6000E-1,4.0000E0), (�,�), (-8.0000E-1,4.2600E0), (-7.4000E-1,4.2400E0), (-6.8000E-1,4.2200E0), (-6.0000E-1,4.2000E0), (�,�), (-4.6000E-1,4.4800E0), (-3.9000E-1,4.3800E0), (-3.3000E-1,4.2700E0), (-3.2000E-1,4.1200E0), (-3.2000E-1,4.0000E0), (-4.2000E-1,3.8800E0), (-4.8000E-1,3.7600E0), (-5.4000E-1,3.7000E0), (�,�), (-2.3600E0,-1.0000E0), (-2.3800E0,-9.4000E-1), (-2.3200E0,-9.6000E-1), (�,�), (-1.3000E0,-1.4400E0), (-1.3600E0,-1.4200E0), (-1.4600E0,-1.4200E0), (-1.5800E0,-1.4200E0), (-1.7200E0,-1.4400E0), (-1.8500E0,-1.5000E0), (-1.9600E0,-1.6600E0), (-2.0000E0,-1.7800E0), (-2.0200E0,-1.9000E0), (-2.0200E0,-1.9800E0), (-2.0000E0,-2.1100E0), (-1.8900E0,-2.2100E0), (-1.7400E0,-2.2200E0), (-1.6600E0,-2.1800E0), (-1.5300E0,-2.0700E0), (-1.4800E0,-1.9800E0), (-1.4100E0,-1.8700E0), (-1.3600E0,-1.7600E0), (-1.3100E0,-1.6500E0), (-1.2600E0,-1.5200E0), (-1.2600E0,-1.4000E0), (-1.3500E0,-1.3300E0), (-1.4000E0,-1.4300E0), (-1.2600E0,-1.4600E0), (-1.1200E0,-1.4600E0), (-1.0400E0,-1.4200E0), (-9.4000E-1,-1.4200E0), (�,�), true]
piirto4: PolyLine[(-2.4000E0,-9.6000E-1), (-2.4500E0,-8.8000E-1), (-2.5600E0,-7.6000E-1), (-2.6400E0,-6.3000E-1), (-2.7500E0,-5.3000E-1), (-2.8300E0,-4.1000E-1), (-2.9400E0,-2.4000E-1), (-3.1800E0,1.4000E-1), (-3.2700E0,2.9000E-1), (-3.3200E0,3.8000E-1), (-3.4800E0,6.0000E-1), (-3.6200E0,8.2000E-1), (-3.7300E0,9.6000E-1), (-3.7800E0,1.0400E0), (-3.8700E0,1.1400E0), (-3.9400E0,1.2200E0), (-4.0100E0,1.3200E0), (-4.1000E0,1.4000E0), (-4.1900E0,1.5300E0), (-4.2900E0,1.6500E0), (-4.3800E0,1.7700E0), (-4.5050E0,1.8850E0), (-4.6200E0,2.0300E0), (-4.7450E0,2.1650E0), (-4.8400E0,2.3000E0), (-4.9400E0,2.4100E0), (-5.0400E0,2.5300E0), (-5.1100E0,2.6500E0), (-5.1900E0,2.7500E0), (-5.2800E0,2.8700E0), (-5.3400E0,3.0000E0), (-5.3800E0,3.1200E0), (-5.4000E0,3.2000E0), (-5.4400E0,3.1000E0), (-5.4700E0,2.9700E0), (-5.5200E0,2.8500E0), (-5.5600E0,2.7400E0), (-5.5600E0,2.8400E0), (-5.5400E0,2.9600E0), (-5.5000E0,3.0400E0), (-5.4800E0,3.1400E0), (-5.3700E0,3.1900E0), (-5.2500E0,3.1200E0), (-5.1400E0,3.0200E0), (-5.0100E0,2.9500E0), (-4.9200E0,2.9000E0), (�,�), (-5.3400E0,5.8000E-1), (-5.4000E0,6.2000E-1), (-5.4800E0,6.2000E-1), (-5.5600E0,5.8000E-1), (-5.6600E0,5.6000E-1), (-5.7700E0,4.9000E-1), (-5.8400E0,4.0000E-1), (-5.8800E0,3.2000E-1), (-5.9000E0,2.2000E-1), (-5.9200E0,1.4000E-1), (-5.9200E0,6.0000E-2), (-5.8900E0,-5.0000E-2), (-5.7900E0,-1.4000E-1), (-5.6800E0,-1.6000E-1), (-5.6000E0,-1.2000E-1), (-5.4900E0,-9.0000E-2), (-5.3800E0,-1.0000E-2), (-5.3600E0,2.8000E-1), (-5.3800E0,4.5000E-1), (-5.4700E0,5.5000E-1), (-5.4500E0,4.7000E-1), (-5.3600E0,4.4000E-1), (-5.2800E0,4.4000E-1), (�,�), (-5.2000E0,-2.0000E-1), (-5.1800E0,-1.4000E-1), (-5.0900E0,-3.0000E-2), (-4.9900E0,9.0000E-2), (-4.9200E0,2.0000E-1), (-4.8900E0,3.3000E-1), (-4.8200E0,4.5000E-1), (-4.7400E0,4.2000E-1), (-4.7000E0,3.4000E-1), (-4.6600E0,2.6000E-1), (-4.6400E0,1.6000E-1), (-4.6000E0,6.0000E-2), (-4.5600E0,-2.0000E-2), (-4.5500E0,-1.3000E-1), (-4.5800E0,-1.0000E-1), (�,�), (-4.8800E0,1.2000E-1), (-4.8200E0,1.6000E-1), (-4.7400E0,1.6000E-1), (-4.6600E0,1.6000E-1), (-4.7200E0,2.0000E-1), (�,�), (-5.6600E0,9.0000E-1), (-5.6000E0,9.4000E-1), (-5.2600E0,9.4000E-1), (-5.1000E0,9.4000E-1), (-5.0200E0,9.2000E-1), (-4.8600E0,8.6000E-1), (-4.7200E0,8.5000E-1), (-4.7400E0,9.7000E-1), (-4.8600E0,1.1050E0), (-4.8200E0,1.0100E0), (-4.7200E0,9.0000E-1), (-4.6400E0,7.7000E-1), (-4.7200E0,6.8000E-1), (-4.8000E0,6.2000E-1), (�,�), (-2.5000E0,-1.0400E0), (-2.4900E0,-9.3000E-1), (-2.4400E0,-8.0000E-1), (-2.4200E0,-7.2000E-1), (-2.3300E0,-5.8000E-1), (-2.2100E0,-4.5000E-1), (-2.1100E0,-3.3000E-1), (-2.0300E0,-2.2000E-1), (-1.9800E0,-1.4000E-1), (-1.9400E0,-6.0000E-2), (-1.8800E0,4.0000E-2), (-1.8200E0,1.2000E-1), (-1.7600E0,2.5000E-1), (-1.6800E0,3.6000E-1), (-1.5600E0,4.7000E-1), (-1.4800E0,5.6000E-1), (-1.4100E0,6.7000E-1), (-1.3400E0,7.8000E-1), (-1.2600E0,8.9000E-1), (-1.2200E0,1.0000E0), (-1.2000E0,1.0800E0), (-1.1400E0,1.1900E0), (-1.0600E0,1.3200E0), (-1.0200E0,1.4200E0), (-9.8000E-1,1.5000E0), (-9.4000E-1,1.6100E0), (-8.8000E-1,1.7800E0), (-7.8000E-1,2.0000E0), (-6.9000E-1,2.1500E0), (-5.9000E-1,2.2700E0), (-4.7000E-1,2.3700E0), (-3.6000E-1,2.4900E0), (-2.6000E-1,2.6100E0), (-1.6000E-1,2.7300E0), (-8.0000E-2,2.8200E0), (-2.0000E-2,2.9200E0), (1.0000E-1,3.0200E0), (2.2000E-1,3.1100E0), (2.8500E-1,3.2150E0), (1.8000E-1,3.1800E0), (1.0000E-1,3.1200E0), (2.0000E-2,3.0600E0), (-8.0000E-2,3.0200E0), (-2.0000E-1,2.9800E0), (-3.3500E-1,2.9400E0), (-2.2000E-1,3.0200E0), (-5.0000E-2,3.0800E0), (5.0000E-2,3.1700E0), (1.5000E-1,3.2600E0), (2.7000E-1,3.3500E0), (3.6000E-1,3.3800E0), (4.4000E-1,3.3800E0), (4.6000E-1,3.3000E0), (4.6000E-1,3.1600E0), (4.7000E-1,2.9900E0), (4.9000E-1,2.8500E0), (5.2000E-1,2.7600E0), (�,�), (1.6000E-1,1.5600E0), (1.0000E-1,1.5800E0), (0.0000E0,1.5800E0), (-1.0000E-1,1.5800E0), (-2.0000E-1,1.5400E0), (-3.6000E-1,1.4800E0), (-4.8000E-1,1.3800E0), (-6.0000E-1,1.2400E0), (-6.2000E-1,1.1400E0), (-6.2000E-1,1.0600E0), (-6.2000E-1,9.8000E-1), (-5.8000E-1,8.8000E-1), (-5.4000E-1,8.0000E-1), (-4.4000E-1,7.2000E-1), (-3.4000E-1,6.6000E-1), (-2.6000E-1,6.4000E-1), (-1.8000E-1,6.6000E-1), (-7.0000E-2,7.5000E-1), (4.0000E-2,8.9000E-1), (8.0000E-2,1.0000E0), (1.2000E-1,1.0800E0), (1.2000E-1,1.1800E0), (1.2000E-1,1.2600E0), (1.0000E-1,1.3600E0), (6.0000E-2,1.4800E0), (-3.0000E-2,1.6000E0), (-1.3000E-1,1.6100E0), (1.0000E-2,1.4900E0), (1.0000E-1,1.4600E0), (1.6000E-1,1.4800E0), (�,�), (5.2000E-1,1.6200E0), (5.0000E-1,1.5400E0), (4.6000E-1,1.4600E0), (4.2000E-1,1.3600E0), (4.0000E-1,1.2400E0), (3.6000E-1,1.1600E0), (3.3000E-1,9.7000E-1), (3.0000E-1,8.8000E-1), (3.0000E-1,7.8000E-1), (2.6000E-1,8.6000E-1), (2.6000E-1,9.4000E-1), (�,�), (4.8000E-1,1.6600E0), (5.6000E-1,1.6800E0), (6.9000E-1,1.6700E0), (7.9000E-1,1.5700E0), (7.7000E-1,1.4100E0), (6.5000E-1,1.3200E0), (5.7000E-1,1.2800E0), (6.8000E-1,1.2200E0), (7.8000E-1,1.1500E0), (8.4000E-1,1.0600E0), (8.6000E-1,9.8000E-1), (8.6000E-1,9.0000E-1), (8.2000E-1,7.9000E-1), (7.1000E-1,6.7000E-1), (5.8000E-1,6.4000E-1), (4.5000E-1,6.5000E-1), (3.1000E-1,7.4000E-1), (2.2000E-1,8.2000E-1), (�,�), (-1.8000E-1,2.0000E0), (-8.0000E-2,2.0000E0), (6.0000E-2,2.0400E0), (2.4000E-1,2.0600E0), (3.2000E-1,2.0600E0), (4.0000E-1,2.1000E0), (5.0000E-1,2.1200E0), (6.1000E-1,2.1300E0), (7.0000E-1,2.1600E0), (7.8000E-1,2.1600E0), (7.0000E-1,2.2800E0), (6.1500E-1,2.3250E0), (7.5000E-1,2.2400E0), (8.7000E-1,2.1900E0), (8.3000E-1,2.0900E0), (7.4000E-1,2.0400E0), (�,�), true]
piirto5: PolyLine[(-2.4600E0,-9.8000E-1), (-2.4600E0,-8.8000E-1), (-2.4600E0,-7.4000E-1), (-2.4500E0,-5.3000E-1), (-2.4400E0,-4.2000E-1), (-2.4300E0,-3.1000E-1), (-2.4200E0,-2.0000E-1), (-2.4000E0,-1.2000E-1), (-2.4000E0,-4.0000E-2), (-2.3800E0,4.0000E-2), (-2.3200E0,2.4000E-1), (-2.2800E0,3.6000E-1), (-2.2600E0,4.6000E-1), (-2.2600E0,5.6000E-1), (-2.2600E0,6.4000E-1), (-2.2400E0,7.8000E-1), (-2.2400E0,1.1200E0), (-2.2200E0,1.3200E0), (-2.2000E0,1.4400E0), (-2.1800E0,1.5400E0), (-2.1300E0,1.6700E0), (-2.0800E0,1.8100E0), (-2.0400E0,1.9600E0), (-1.9800E0,2.0700E0), (-1.9000E0,2.3000E0), (-1.8600E0,2.4000E0), (-1.8600E0,2.4800E0), (-1.8400E0,2.5600E0), (-1.8400E0,2.7400E0), (-1.8300E0,2.9100E0), (-1.8200E0,3.0600E0), (-1.8300E0,3.2100E0), (-1.8500E0,3.3500E0), (-1.9100E0,3.4200E0), (-2.0000E0,3.3100E0), (-2.0600E0,3.1900E0), (-2.1400E0,3.1200E0), (-2.0900E0,3.2300E0), (-2.0300E0,3.3500E0), (-1.9400E0,3.4700E0), (-1.8300E0,3.5600E0), (-1.7600E0,3.4900E0), (-1.7000E0,3.3600E0), (-1.6600E0,3.2600E0), (-1.6200E0,3.2000E0), (�,�), true]