{x, y, z} { -2310,  +8852,  +2446}
{x, y, z} { -2366,  +8852,  +2456}
{x, y, z} { -2358,  +8859,  +2491}
{x, y, z} { -2338,  +8851,  +2485}
{x, y, z} { -2355,  +8850,  +2456}
{x, y, z} { -2315,  +8872,  +2452}
{x, y, z} { -2327,  +8873,  +2440}
{x, y, z} { -2339,  +8860,  +2450}
{x, y, z} { -2364,  +8866,  +2440}
{x, y, z} { -2383,  +8868,  +2435}
{x, y, z} { -2344,  +8860,  +2479}
{x, y, z} { -2353,  +8833,  +2425}
{x, y, z} { -2375,  +8840,  +2478}
{x, y, z} { -2371,  +8862,  +2431}
{x, y, z} { -2358,  +8864,  +2436}
{x, y, z} { -2355,  +8862,  +2431}
{x, y, z} { -2352,  +8861,  +2413}
{x, y, z} { -2363,  +8822,  +2407}
{x, y, z} { -2338,  +8878,  +2427}
{x, y, z} { -2362,  +8881,  +2498}
{x, y, z} { -2358,  +8880,  +2450}
{x, y, z} { -2353,  +8848,  +2474}
{x, y, z} { -2351,  +8868,  +2511}
{x, y, z} { -2347,  +8846,  +2485}
{x, y, z} { -2378,  +8850,  +2506}
{x, y, z} { -2369,  +8826,  +2461}
{x, y, z} { -2368,  +8851,  +2434}
{x, y, z} { -2314,  +8866,  +2462}
{x, y, z} { -2363,  +8845,  +2443}
{x, y, z} { -2345,  +8850,  +2466}
{x, y, z} { -2372,  +8872,  +2455}
{x, y, z} { -2343,  +8861,  +2442}
{x, y, z} { -2351,  +8854,  +2466}
{x, y, z} { -2353,  +8841,  +2483}
{x, y, z} { -2347,  +8863,  +2467}
{x, y, z} { -2380,  +8853,  +2465}
{x, y, z} { -2357,  +8814,  +2447}
{x, y, z} { -2390,  +8855,  +2401}
{x, y, z} { -2368,  +8830,  +2433}
{x, y, z} { -2372,  +8844,  +2376}
{x, y, z} { -2296,  +8802,  +2437}
{x, y, z} { -2317,  +8836,  +2444}
{x, y, z} { -2353,  +8819,  +2470}
{x, y, z} { -2322,  +8834,  +2407}
{x, y, z} { -2330,  +8853,  +2459}
{x, y, z} { -2338,  +8857,  +2474}
{x, y, z} { -2336,  +8838,  +2486}
{x, y, z} { -2349,  +8823,  +2435}
{x, y, z} { -2328,  +8835,  +2419}
{x, y, z} { -2307,  +8812,  +2454}
{x, y, z} { -2318,  +8837,  +2412}
{x, y, z} { -2331,  +8850,  +2418}
{x, y, z} { -2330,  +8825,  +2483}
{x, y, z} { -2331,  +8786,  +2462}
{x, y, z} { -2325,  +8831,  +2463}
{x, y, z} { -2343,  +8853,  +2425}
{x, y, z} { -2356,  +8839,  +2482}
{x, y, z} { -2325,  +8838,  +2423}
{x, y, z} { -2322,  +8852,  +2463}
{x, y, z} { -2357,  +8832,  +2467}
{x, y, z} { -2372,  +8805,  +2489}
{x, y, z} { -2360,  +8807,  +2434}
{x, y, z} { -2335,  +8808,  +2453}
{x, y, z} { -2352,  +8786,  +2474}
{x, y, z} { -2336,  +8755,  +2462}
{x, y, z} { -2363,  +8806,  +2487}
{x, y, z} { -2394,  +8806,  +2436}
{x, y, z} { -2386,  +8836,  +2457}
{x, y, z} { -2371,  +8810,  +2489}
{x, y, z} { -2350,  +8841,  +2525}
{x, y, z} { -2352,  +8861,  +2547}
{x, y, z} { -2387,  +8873,  +2529}
{x, y, z} { -2372,  +8845,  +2469}
{x, y, z} { -2368,  +8837,  +2476}
{x, y, z} { -2332,  +8821,  +2457}
{x, y, z} { -2367,  +8802,  +2434}
{x, y, z} { -2368,  +8825,  +2475}
{x, y, z} { -2339,  +8815,  +2460}
{x, y, z} { -2351,  +8831,  +2501}
{x, y, z} { -2351,  +8835,  +2459}
{x, y, z} { -2370,  +8870,  +2418}
{x, y, z} { -2342,  +8849,  +2462}
{x, y, z} { -2341,  +8826,  +2506}
{x, y, z} { -2322,  +8837,  +2500}
{x, y, z} { -2359,  +8844,  +2514}
{x, y, z} { -2357,  +8844,  +2505}
{x, y, z} { -2365,  +8853,  +2466}
{x, y, z} { -2360,  +8827,  +2512}
{x, y, z} { -2373,  +8824,  +2460}
{x, y, z} { -2358,  +8833,  +2464}
{x, y, z} { -2379,  +8835,  +2445}
{x, y, z} { -2347,  +8828,  +2521}
{x, y, z} { -2365,  +8837,  +2483}
{x, y, z} { -2343,  +8845,  +2490}
{x, y, z} { -2332,  +8830,  +2543}
{x, y, z} { -2374,  +8841,  +2505}
{x, y, z} { -2370,  +8857,  +2475}
{x, y, z} { -2350,  +8848,  +2490}
{x, y, z} { -2380,  +8852,  +2452}
{x, y, z} { -2390,  +8821,  +2458}
{x, y, z} { -2385,  +8861,  +2502}
{x, y, z} { -2361,  +8807,  +2443}
{x, y, z} { -2339,  +8821,  +2502}
{x, y, z} { -2331,  +8813,  +2469}
{x, y, z} { -2367,  +8824,  +2471}
{x, y, z} { -2361,  +8824,  +2434}
{x, y, z} { -2351,  +8851,  +2518}
{x, y, z} { -2353,  +8831,  +2541}
{x, y, z} { -2372,  +8828,  +2537}
{x, y, z} { -2376,  +8811,  +2539}
{x, y, z} { -2351,  +8840,  +2479}
{x, y, z} { -2340,  +8883,  +2487}
{x, y, z} { -2346,  +8815,  +2430}
{x, y, z} { -2366,  +8802,  +2449}
{x, y, z} { -2356,  +8850,  +2439}
{x, y, z} { -2320,  +8828,  +2456}
{x, y, z} { -2325,  +8814,  +2499}
{x, y, z} { -2323,  +8789,  +2450}
{x, y, z} { -2298,  +8846,  +2477}
{x, y, z} { -2336,  +8869,  +2498}
{x, y, z} { -2337,  +8866,  +2468}
{x, y, z} { -2353,  +8880,  +2485}
{x, y, z} { -2338,  +8861,  +2468}
{x, y, z} { -2334,  +8867,  +2479}
{x, y, z} { -2367,  +8840,  +2486}
{x, y, z} { -2311,  +8811,  +2468}
{x, y, z} { -2337,  +8813,  +2448}
{x, y, z} { -2294,  +8831,  +2435}
{x, y, z} { -2300,  +8828,  +2420}
{x, y, z} { -2315,  +8843,  +2420}
{x, y, z} { -2302,  +8866,  +2420}
{x, y, z} { -2340,  +8844,  +2421}
{x, y, z} { -2323,  +8852,  +2458}
{x, y, z} { -2351,  +8869,  +2460}
{x, y, z} { -2366,  +8841,  +2452}
{x, y, z} { -2349,  +8827,  +2483}
{x, y, z} { -2334,  +8822,  +2489}
{x, y, z} { -2381,  +8822,  +2475}
{x, y, z} { -2351,  +8818,  +2443}
{x, y, z} { -2356,  +8832,  +2448}
{x, y, z} { -2322,  +8830,  +2454}
{x, y, z} { -2308,  +8833,  +2448}
{x, y, z} { -2312,  +8847,  +2437}
{x, y, z} { -2303,  +8850,  +2481}
{x, y, z} { -2330,  +8847,  +2478}
{x, y, z} { -2346,  +8844,  +2452}
{x, y, z} { -2339,  +8879,  +2445}
{x, y, z} { -2336,  +8855,  +2460}
{x, y, z} { -2382,  +8836,  +2486}
{x, y, z} { -2333,  +8847,  +2454}
{x, y, z} { -2344,  +8840,  +2448}
{x, y, z} { -2337,  +8851,  +2422}
{x, y, z} { -2350,  +8863,  +2458}
{x, y, z} { -2282,  +8860,  +2485}
{x, y, z} { -2301,  +8855,  +2448}
{x, y, z} { -2329,  +8839,  +2474}
{x, y, z} { -2292,  +8889,  +2488}
{x, y, z} { -2294,  +8865,  +2478}
{x, y, z} { -2331,  +8841,  +2456}
{x, y, z} { -2345,  +8881,  +2481}
{x, y, z} { -2354,  +8871,  +2424}
{x, y, z} { -2350,  +8845,  +2448}
{x, y, z} { -2299,  +8825,  +2477}
{x, y, z} { -2366,  +8843,  +2495}
{x, y, z} { -2313,  +8812,  +2483}
{x, y, z} { -2284,  +8857,  +2454}
{x, y, z} { -2297,  +8852,  +2439}
{x, y, z} { -2286,  +8847,  +2406}
{x, y, z} { -2311,  +8850,  +2493}
{x, y, z} { -2313,  +8872,  +2458}
{x, y, z} { -2351,  +8872,  +2492}
{x, y, z} { -2309,  +8827,  +2531}
{x, y, z} { -2327,  +8844,  +2508}
{x, y, z} { -2361,  +8812,  +2515}
{x, y, z} { -2345,  +8820,  +2483}
{x, y, z} { -2339,  +8828,  +2486}
{x, y, z} { -2322,  +8854,  +2462}
{x, y, z} { -2352,  +8799,  +2454}
{x, y, z} { -2315,  +8831,  +2410}
{x, y, z} { -2346,  +8844,  +2442}
{x, y, z} { -2375,  +8845,  +2446}
{x, y, z} { -2354,  +8860,  +2453}
{x, y, z} { -2334,  +8830,  +2484}
{x, y, z} { -2352,  +8844,  +2507}
{x, y, z} { -2319,  +8864,  +2466}
{x, y, z} { -2319,  +8858,  +2475}
{x, y, z} { -2330,  +8855,  +2461}
{x, y, z} { -2322,  +8818,  +2465}
{x, y, z} { -2354,  +8838,  +2465}
{x, y, z} { -2318,  +8850,  +2374}
{x, y, z} { -2331,  +8835,  +2404}
{x, y, z} { -2324,  +8815,  +2409}
{x, y, z} { -2350,  +8863,  +2452}
{x, y, z} { -2347,  +8846,  +2437}
{x, y, z} { -2358,  +8897,  +2414}
{x, y, z} { -2341,  +8863,  +2488}
{x, y, z} { -2329,  +8877,  +2490}
{x, y, z} { -2354,  +8838,  +2423}
{x, y, z} { -2335,  +8859,  +2456}
{x, y, z} { -2347,  +8856,  +2437}
{x, y, z} { -2322,  +8828,  +2450}
{x, y, z} { -2346,  +8839,  +2416}
{x, y, z} { -2311,  +8848,  +2439}
{x, y, z} { -2302,  +8839,  +2414}
{x, y, z} { -2308,  +8850,  +2443}
{x, y, z} { -2326,  +8829,  +2499}
{x, y, z} { -2318,  +8843,  +2501}
{x, y, z} { -2337,  +8845,  +2494}
{x, y, z} { -2334,  +8848,  +2483}
{x, y, z} { -2324,  +8851,  +2526}
{x, y, z} { -2316,  +8883,  +2498}
{x, y, z} { -2333,  +8863,  +2481}
{x, y, z} { -2331,  +8843,  +2470}
{x, y, z} { -2356,  +8852,  +2510}
{x, y, z} { -2332,  +8859,  +2478}
{x, y, z} { -2295,  +8831,  +2488}
{x, y, z} { -2309,  +8857,  +2405}
{x, y, z} { -2298,  +8856,  +2442}
{x, y, z} { -2311,  +8833,  +2472}
{x, y, z} { -2324,  +8848,  +2437}
{x, y, z} { -2310,  +8837,  +2506}
{x, y, z} { -2330,  +8870,  +2509}
{x, y, z} { -2335,  +8847,  +2514}
{x, y, z} { -2324,  +8821,  +2515}
{x, y, z} { -2350,  +8827,  +2441}
{x, y, z} { -2352,  +8846,  +2469}
{x, y, z} { -2338,  +8821,  +2480}
{x, y, z} { -2306,  +8844,  +2408}
{x, y, z} { -2323,  +8856,  +2426}
{x, y, z} { -2350,  +8820,  +2432}
{x, y, z} { -2305,  +8855,  +2491}
{x, y, z} { -2336,  +8849,  +2453}
{x, y, z} { -2327,  +8851,  +2510}
{x, y, z} { -2331,  +8861,  +2467}
{x, y, z} { -2319,  +8878,  +2554}
{x, y, z} { -2326,  +8865,  +2487}
{x, y, z} { -2337,  +8860,  +2512}
{x, y, z} { -2347,  +8883,  +2527}
{x, y, z} { -2332,  +8853,  +2483}
{x, y, z} { -2337,  +8824,  +2461}
{x, y, z} { -2350,  +8806,  +2472}
{x, y, z} { -2349,  +8840,  +2469}
{x, y, z} { -2306,  +8846,  +2465}
{x, y, z} { -2306,  +8846,  +2466}
{x, y, z} { -2334,  +8871,  +2466}
{x, y, z} { -2333,  +8884,  +2482}
{x, y, z} { -2317,  +8886,  +2498}
{x, y, z} { -2284,  +8880,  +2504}
{x, y, z} { -2321,  +8898,  +2506}
{x, y, z} { -2342,  +8884,  +2517}
{x, y, z} { -2307,  +8859,  +2515}
{x, y, z} { -2321,  +8885,  +2524}
{x, y, z} { -2302,  +8835,  +2468}
{x, y, z} { -2301,  +8833,  +2491}
{x, y, z} { -2345,  +8863,  +2487}
{x, y, z} { -2331,  +8836,  +2509}
{x, y, z} { -2334,  +8847,  +2485}
{x, y, z} { -2306,  +8883,  +2499}
{x, y, z} { -2323,  +8851,  +2477}
{x, y, z} { -2317,  +8850,  +2519}
{x, y, z} { -2334,  +8872,  +2519}
{x, y, z} { -2372,  +8849,  +2469}
{x, y, z} { -2373,  +8853,  +2479}
{x, y, z} { -2341,  +8831,  +2481}
{x, y, z} { -2342,  +8825,  +2504}
{x, y, z} { -2338,  +8814,  +2503}
{x, y, z} { -2339,  +8826,  +2490}
{x, y, z} { -2331,  +8861,  +2507}
{x, y, z} { -2353,  +8850,  +2496}
{x, y, z} { -2346,  +8858,  +2508}
{x, y, z} { -2341,  +8876,  +2534}
{x, y, z} { -2343,  +8867,  +2540}
{x, y, z} { -2352,  +8842,  +2497}
{x, y, z} { -2320,  +8864,  +2532}
{x, y, z} { -2333,  +8876,  +2504}
{x, y, z} { -2329,  +8873,  +2488}
{x, y, z} { -2299,  +8849,  +2511}
{x, y, z} { -2293,  +8832,  +2540}
{x, y, z} { -2328,  +8846,  +2459}
{x, y, z} { -2333,  +8854,  +2524}
{x, y, z} { -2370,  +8832,  +2481}
{x, y, z} { -2384,  +8851,  +2529}
{x, y, z} { -2339,  +8852,  +2507}
{x, y, z} { -2349,  +8857,  +2513}
{x, y, z} { -2343,  +8853,  +2507}
{x, y, z} { -2363,  +8849,  +2479}
{x, y, z} { -2337,  +8844,  +2563}
{x, y, z} { -2351,  +8839,  +2489}
{x, y, z} { -2344,  +8866,  +2470}
{x, y, z} { -2368,  +8833,  +2495}
{x, y, z} { -2351,  +8810,  +2417}
{x, y, z} { -2339,  +8864,  +2458}
{x, y, z} { -2313,  +8844,  +2468}
{x, y, z} { -2368,  +8874,  +2438}
{x, y, z} { -2338,  +8836,  +2498}
{x, y, z} { -2098,  +8545,  +2560}
{x, y, z} { -1763,  +8030,  +2731}
{x, y, z} { -1517,  +7689,  +2877}
{x, y, z} { -1217,  +7161,  +3085}
{x, y, z} {  -965,  +6824,  +3178}
{x, y, z} {  -992,  +6860,  +3158}
{x, y, z} {  -958,  +6808,  +3130}
{x, y, z} {  -474,  +6157,  +3346}
{x, y, z} {  -106,  +5649,  +3569}
{x, y, z} {  +126,  +5284,  +3601}
{x, y, z} {  +403,  +4908,  +3801}
{x, y, z} {  +700,  +4512,  +3941}
{x, y, z} {  +697,  +4515,  +3949}
{x, y, z} {  +697,  +4541,  +3970}
{x, y, z} {  +685,  +4518,  +3988}
{x, y, z} {  +664,  +4516,  +3970}
{x, y, z} {  +629,  +4458,  +3913}
{x, y, z} {  +658,  +4466,  +3943}
{x, y, z} {  +656,  +4467,  +3952}
{x, y, z} {  +679,  +4455,  +3952}
{x, y, z} {  +706,  +4483,  +3949}
{x, y, z} {  +658,  +4473,  +3946}
{x, y, z} {  +643,  +4477,  +3938}
{x, y, z} {  +663,  +4483,  +3913}
{x, y, z} {  +668,  +4445,  +3984}
{x, y, z} {  +634,  +4497,  +3959}
{x, y, z} {  +693,  +4481,  +3967}
{x, y, z} {  +680,  +4514,  +3998}
{x, y, z} {  +671,  +4526,  +3971}
{x, y, z} {  +708,  +4505,  +3987}
{x, y, z} {  +640,  +4454,  +3988}
{x, y, z} {  +670,  +4459,  +3881}
{x, y, z} {  +671,  +4458,  +3887}
{x, y, z} {  +676,  +4496,  +3962}
{x, y, z} {  +697,  +4483,  +3940}
{x, y, z} {  +712,  +4476,  +3879}
{x, y, z} {  +670,  +4566,  +3892}
{x, y, z} {  +673,  +4504,  +3960}
{x, y, z} {  +655,  +4526,  +3932}
{x, y, z} {  +663,  +4520,  +3896}
{x, y, z} {  +660,  +4473,  +3947}
{x, y, z} {  +666,  +4464,  +3952}
{x, y, z} {  +654,  +4466,  +3943}
{x, y, z} {  +662,  +4469,  +3932}
{x, y, z} {  +674,  +4453,  +3928}
{x, y, z} {  +684,  +4465,  +3923}
{x, y, z} {  +715,  +4490,  +3929}
{x, y, z} {  +680,  +4469,  +3953}
{x, y, z} {  +688,  +4498,  +3910}
{x, y, z} {  +677,  +4561,  +3896}
{x, y, z} {  +678,  +4523,  +3949}
{x, y, z} {  +667,  +4513,  +3941}
{x, y, z} {  +661,  +4535,  +3959}
{x, y, z} {  +705,  +4512,  +3945}
{x, y, z} {  +659,  +4500,  +3982}
{x, y, z} {  +633,  +4482,  +3945}
{x, y, z} {  +668,  +4497,  +3915}
{x, y, z} {  +663,  +4484,  +3845}
{x, y, z} {  +675,  +4512,  +3914}
{x, y, z} {  +686,  +4493,  +3929}
{x, y, z} {  +692,  +4520,  +3889}
{x, y, z} {  +673,  +4527,  +3883}
{x, y, z} {  +663,  +4504,  +3947}
{x, y, z} {  +680,  +4511,  +3946}
{x, y, z} {  +694,  +4509,  +3916}
{x, y, z} {  +650,  +4523,  +3978}
{x, y, z} {  +658,  +4507,  +3932}
{x, y, z} {  +647,  +4472,  +3952}
{x, y, z} {  +656,  +4474,  +3929}
{x, y, z} {  +666,  +4478,  +3962}
{x, y, z} {  +671,  +4486,  +3876}
{x, y, z} {  +679,  +4469,  +3923}
{x, y, z} {  +688,  +4488,  +3892}
{x, y, z} {  +702,  +4512,  +3908}
{x, y, z} {  +665,  +4535,  +3902}
{x, y, z} {  +680,  +4528,  +3944}
{x, y, z} {  +646,  +4498,  +3933}
{x, y, z} {  +684,  +4502,  +3920}
{x, y, z} {  +682,  +4500,  +3882}
{x, y, z} {  +632,  +4492,  +3918}
{x, y, z} {  +645,  +4479,  +3874}
{x, y, z} {  +674,  +4469,  +3907}
{x, y, z} {  +655,  +4473,  +3884}
{x, y, z} {  +652,  +4504,  +3921}
{x, y, z} {  +704,  +4538,  +3892}
{x, y, z} {  +702,  +4521,  +3896}
{x, y, z} {  +659,  +4513,  +3870}
{x, y, z} {  +686,  +4512,  +3933}
{x, y, z} {  +636,  +4546,  +3904}
{x, y, z} {  +676,  +4536,  +3919}
{x, y, z} {  +651,  +4508,  +3920}
{x, y, z} {  +672,  +4486,  +3895}
{x, y, z} {  +656,  +4506,  +3877}
{x, y, z} {  +673,  +4479,  +3863}
{x, y, z} {  +701,  +4468,  +3876}
{x, y, z} {  +682,  +4472,  +3892}
{x, y, z} {  +674,  +4487,  +3855}
{x, y, z} {  +667,  +4512,  +3879}
{x, y, z} {  +686,  +4528,  +3904}
{x, y, z} {  +680,  +4519,  +3907}
{x, y, z} {  +663,  +4521,  +3895}
{x, y, z} {  +623,  +4503,  +3954}
{x, y, z} {  +696,  +4463,  +3921}
{x, y, z} {  +652,  +4511,  +3900}
{x, y, z} {  +648,  +4465,  +3907}
{x, y, z} {  +680,  +4452,  +3911}
{x, y, z} {  +693,  +4502,  +3949}
{x, y, z} {  +683,  +4462,  +3875}
{x, y, z} {  +677,  +4482,  +3879}
{x, y, z} {  +675,  +4490,  +3890}
{x, y, z} {  +707,  +4459,  +3865}
{x, y, z} {  +663,  +4547,  +3868}
{x, y, z} {  +662,  +4521,  +3910}
{x, y, z} {  +661,  +4504,  +3933}
{x, y, z} {  +661,  +4474,  +3879}
{x, y, z} {  +653,  +4509,  +3915}
{x, y, z} {  +680,  +4495,  +3937}
{x, y, z} {  +662,  +4501,  +3920}
{x, y, z} {  +637,  +4487,  +3916}
{x, y, z} {  +634,  +4484,  +3904}
{x, y, z} {  +684,  +4498,  +3882}
{x, y, z} {  +724,  +4499,  +3914}
{x, y, z} {  +693,  +4476,  +3924}
{x, y, z} {  +715,  +4487,  +3973}
{x, y, z} {  +697,  +4516,  +3908}
{x, y, z} {  +639,  +4549,  +3922}
{x, y, z} {  +662,  +4536,  +3916}
{x, y, z} {  +662,  +4498,  +3966}
{x, y, z} {  +657,  +4500,  +3895}
{x, y, z} {  +668,  +4476,  +3882}
{x, y, z} {  +695,  +4505,  +3879}
{x, y, z} {  +671,  +4464,  +3904}
{x, y, z} {  +673,  +4469,  +3911}
{x, y, z} {  +678,  +4496,  +3852}
{x, y, z} {  +658,  +4478,  +3873}
{x, y, z} {  +714,  +4500,  +3898}
{x, y, z} {  +682,  +4526,  +3888}
{x, y, z} {  +680,  +4515,  +3898}
{x, y, z} {  +722,  +4509,  +3910}
{x, y, z} {  +688,  +4507,  +3929}
{x, y, z} {  +674,  +4485,  +3947}
{x, y, z} {  +702,  +4499,  +3956}
{x, y, z} {  +680,  +4477,  +3878}
{x, y, z} {  +692,  +4497,  +3864}
{x, y, z} {  +694,  +4483,  +3857}
{x, y, z} {  +699,  +4466,  +3825}
{x, y, z} {  +667,  +4451,  +3876}
{x, y, z} {  +690,  +4499,  +3920}
{x, y, z} {  +682,  +4500,  +3899}
{x, y, z} {  +676,  +4495,  +3938}
{x, y, z} {  +701,  +4488,  +3924}
{x, y, z} {  +674,  +4501,  +3936}
{x, y, z} {  +687,  +4464,  +3967}
{x, y, z} {  +678,  +4489,  +3944}
{x, y, z} {  +663,  +4450,  +3914}
{x, y, z} {  +687,  +4428,  +3940}
{x, y, z} {  +676,  +4469,  +3957}
{x, y, z} {  +634,  +4477,  +3883}
{x, y, z} {  +670,  +4458,  +3914}
{x, y, z} {  +687,  +4495,  +3933}
{x, y, z} {  +693,  +4488,  +3915}
{x, y, z} {  +679,  +4509,  +3947}
{x, y, z} {  +680,  +4489,  +3911}
{x, y, z} {  +676,  +4471,  +3901}
{x, y, z} {  +688,  +4491,  +3942}
{x, y, z} {  +656,  +4487,  +3897}
{x, y, z} {  +670,  +4458,  +3908}
{x, y, z} {  +657,  +4479,  +3879}
{x, y, z} {  +644,  +4445,  +3889}
{x, y, z} {  +677,  +4495,  +3908}
{x, y, z} {  +705,  +4476,  +3932}
{x, y, z} {  +663,  +4471,  +3950}
{x, y, z} {  +693,  +4505,  +3887}
{x, y, z} {  +686,  +4520,  +3934}
{x, y, z} {  +712,  +4507,  +3916}
{x, y, z} {  +697,  +4522,  +3909}
{x, y, z} {  +664,  +4492,  +3913}
{x, y, z} {  +619,  +4507,  +3945}
{x, y, z} {  +645,  +4461,  +3923}
{x, y, z} {  +675,  +4468,  +3968}
{x, y, z} {  +698,  +4479,  +3916}
{x, y, z} {  +681,  +4475,  +3890}
{x, y, z} {  +717,  +4489,  +3893}
{x, y, z} {  +698,  +4478,  +3890}
{x, y, z} {  +716,  +4507,  +3879}
{x, y, z} {  +690,  +4500,  +3889}
{x, y, z} {  +836,  +4260,  +4010}
{x, y, z} { +1067,  +3982,  +4113}
{x, y, z} { +1359,  +3520,  +4240}
{x, y, z} { +1592,  +1579,  +4478}
{x, y, z} { +2546,  +2558,  +4604}
{x, y, z} { +2533,  +3000,  +4707}
{x, y, z} { +1650,  +1953,  +4550}
{x, y, z} { +2133,  +2137,  +4534}
{x, y, z} { +2316,  +2753,  +4616}
{x, y, z} { +2337,  +2494,  +4629}
{x, y, z} { +2533,  +2525,  +4680}
{x, y, z} { +2354,  +2279,  +4635}
{x, y, z} { +2103,  +2043,  +4651}
{x, y, z} { +2122,  +1765,  +4688}
{x, y, z} { +2438,  +2053,  +4693}
{x, y, z} { +2474,  +2548,  +4793}
{x, y, z} { +2205,  +1961,  +4619}
{x, y, z} { +2512,  +2199,  +4711}
{x, y, z} { +2293,  +2231,  +4653}
{x, y, z} { +2180,  +1772,  +4637}
{x, y, z} { +2554,  +2238,  +4671}
{x, y, z} { +2079,  +1789,  +4610}
{x, y, z} { +2620,  +2154,  +4685}
{x, y, z} { +2454,  +2628,  +4712}
{x, y, z} { +2448,  +1957,  +4715}
{x, y, z} { +2725,  +1545,  +4883}
{x, y, z} { +2749,  +1512,  +4826}
{x, y, z} { +2718,  +1488,  +4904}
{x, y, z} { +2752,  +1487,  +4889}
{x, y, z} { +2718,  +1442,  +4860}
{x, y, z} { +2716,  +1488,  +4841}
{x, y, z} { +2716,  +1505,  +4853}
{x, y, z} { +2796,  +1505,  +4853}
{x, y, z} { +2800,  +1460,  +4848}
{x, y, z} { +2761,  +1490,  +4849}
{x, y, z} { +2712,  +1520,  +4844}
{x, y, z} { +2730,  +1479,  +4883}
{x, y, z} { +2775,  +1499,  +4881}
{x, y, z} { +2774,  +1543,  +4867}
{x, y, z} { +2770,  +1495,  +4845}
{x, y, z} { +2760,  +1497,  +4852}
{x, y, z} { +2763,  +1483,  +4856}
{x, y, z} { +2751,  +1487,  +4884}
{x, y, z} { +2787,  +1478,  +4903}
{x, y, z} { +2732,  +1485,  +4942}
{x, y, z} { +2773,  +1525,  +4863}
{x, y, z} { +2767,  +1516,  +4898}
{x, y, z} { +2769,  +1474,  +4872}
{x, y, z} { +2773,  +1514,  +4909}
{x, y, z} { +2762,  +1526,  +4898}
{x, y, z} { +2775,  +1526,  +4917}
{x, y, z} { +2764,  +1519,  +4902}
{x, y, z} { +2773,  +1536,  +4894}
{x, y, z} { +2755,  +1494,  +4905}
{x, y, z} { +2750,  +1539,  +4904}
{x, y, z} { +2735,  +1504,  +4886}
{x, y, z} { +2743,  +1517,  +4824}
{x, y, z} { +2776,  +1505,  +4891}
{x, y, z} { +2782,  +1502,  +4866}
{x, y, z} { +2753,  +1489,  +4879}
{x, y, z} { +2782,  +1482,  +4864}
{x, y, z} { +2772,  +1501,  +4868}
{x, y, z} { +2797,  +1513,  +4900}
{x, y, z} { +2774,  +1542,  +4898}
{x, y, z} { +2736,  +1520,  +4911}
{x, y, z} { +2750,  +1487,  +4912}
{x, y, z} { +2760,  +1500,  +4912}
{x, y, z} { +2787,  +1508,  +4868}
{x, y, z} { +2779,  +1487,  +4908}
{x, y, z} { +2760,  +1477,  +4891}
{x, y, z} { +2788,  +1515,  +4881}
{x, y, z} { +2801,  +1507,  +4847}
{x, y, z} { +2810,  +1500,  +4871}
{x, y, z} { +2789,  +1523,  +4871}
{x, y, z} { +2741,  +1506,  +4839}
{x, y, z} { +2746,  +1510,  +4837}
{x, y, z} { +2747,  +1507,  +4860}
{x, y, z} { +2749,  +1554,  +4874}
{x, y, z} { +2791,  +1507,  +4917}
{x, y, z} { +2765,  +1478,  +4865}
{x, y, z} { +2751,  +1493,  +4874}
{x, y, z} { +2737,  +1476,  +4850}
{x, y, z} { +2749,  +1499,  +4820}
{x, y, z} { +2782,  +1494,  +4862}
{x, y, z} { +2768,  +1512,  +4896}
{x, y, z} { +2766,  +1529,  +4879}
{x, y, z} { +2784,  +1514,  +4891}
{x, y, z} { +2769,  +1536,  +4858}
{x, y, z} { +2742,  +1528,  +4851}
{x, y, z} { +2727,  +1531,  +4879}
{x, y, z} { +2757,  +1521,  +4879}
{x, y, z} { +2719,  +1528,  +4880}
{x, y, z} { +2740,  +1500,  +4901}
{x, y, z} { +2780,  +1489,  +4900}
{x, y, z} { +2765,  +1476,  +4825}
{x, y, z} { +2754,  +1476,  +4855}
{x, y, z} { +2764,  +1508,  +4827}
{x, y, z} { +2781,  +1497,  +4845}
{x, y, z} { +2788,  +1529,  +4886}
{x, y, z} { +2763,  +1511,  +4848}
{x, y, z} { +2751,  +1522,  +4863}
{x, y, z} { +2746,  +1506,  +4880}
{x, y, z} { +2749,  +1491,  +4865}
{x, y, z} { +2720,  +1519,  +4897}
{x, y, z} { +2751,  +1510,  +4918}
{x, y, z} { +2766,  +1507,  +4855}
{x, y, z} { +2764,  +1481,  +4823}
{x, y, z} { +2776,  +1534,  +4836}
{x, y, z} { +2772,  +1524,  +4848}
{x, y, z} { +2781,  +1507,  +4911}
{x, y, z} { +2726,  +1517,  +4874}
{x, y, z} { +2731,  +1515,  +4855}
{x, y, z} { +2741,  +1524,  +4842}
{x, y, z} { +2739,  +1513,  +4885}
{x, y, z} { +2733,  +1502,  +4892}
{x, y, z} { +2729,  +1521,  +4861}
{x, y, z} { +2741,  +1501,  +4860}
{x, y, z} { +2769,  +1481,  +4883}
{x, y, z} { +2749,  +1477,  +4865}
{x, y, z} { +2779,  +1493,  +4899}
{x, y, z} { +2738,  +1486,  +4842}
{x, y, z} { +2775,  +1507,  +4846}
{x, y, z} { +2767,  +1507,  +4822}
{x, y, z} { +2730,  +1491,  +4846}
{x, y, z} { +2787,  +1506,  +4855}
{x, y, z} { +2749,  +1489,  +4903}
{x, y, z} { +2797,  +1492,  +4919}
{x, y, z} { +2747,  +1465,  +4923}
{x, y, z} { +2799,  +1456,  +4894}
{x, y, z} { +2770,  +1460,  +4854}
{x, y, z} { +2753,  +1419,  +4814}
{x, y, z} { +2747,  +1462,  +4857}
{x, y, z} { +2756,  +1471,  +4845}
{x, y, z} { +2752,  +1478,  +4861}
{x, y, z} { +2732,  +1512,  +4836}
{x, y, z} { +2775,  +1553,  +4888}
{x, y, z} { +2783,  +1554,  +4871}
{x, y, z} { +2760,  +1523,  +4881}
{x, y, z} { +2757,  +1507,  +4867}
{x, y, z} { +2738,  +1497,  +4927}
{x, y, z} { +2758,  +1480,  +4875}
{x, y, z} { +2744,  +1489,  +4880}
{x, y, z} { +2766,  +1477,  +4903}
{x, y, z} { +2784,  +1460,  +4839}
{x, y, z} { +2803,  +1476,  +4871}
{x, y, z} { +2824,  +1487,  +4903}
{x, y, z} { +2844,  +1485,  +4859}
{x, y, z} { +2826,  +1489,  +4906}
{x, y, z} { +2772,  +1522,  +4926}
{x, y, z} { +2765,  +1523,  +4865}
{x, y, z} { +2775,  +1512,  +4861}
{x, y, z} { +2749,  +1476,  +4884}
{x, y, z} { +2761,  +1456,  +4881}
{x, y, z} { +2778,  +1489,  +4885}
{x, y, z} { +2777,  +1484,  +4848}
{x, y, z} { +2778,  +1497,  +4829}
{x, y, z} { +2762,  +1519,  +4811}
{x, y, z} { +2803,  +1501,  +4816}
{x, y, z} { +2794,  +1485,  +4868}
{x, y, z} { +2790,  +1526,  +4815}
{x, y, z} { +2772,  +1522,  +4892}
{x, y, z} { +2762,  +1497,  +4899}
{x, y, z} { +2772,  +1460,  +4902}
{x, y, z} { +2763,  +1514,  +4894}
{x, y, z} { +2772,  +1496,  +4900}
{x, y, z} { +2753,  +1482,  +4883}
{x, y, z} { +2749,  +1485,  +4899}
{x, y, z} { +2769,  +1488,  +4873}
{x, y, z} { +2774,  +1470,  +4862}
{x, y, z} { +2787,  +1508,  +4865}
{x, y, z} { +2748,  +1482,  +4868}