eNrVmG1v2jAQx9/3U6BI3TtiQktLt9CqY+2G1GqsD9reIRMfYGbszHYo3affJaQ0dGG0af1iEgpJzvmfHy6/Oyc8WcxEbQ7acCU7XuA3vBrISDEuxx3v9ua83vZOjnfCKZ3TYrO23xjsB02vFglqTMdL7f4QqDT+j8uLT4AKoL3jnVqohlOI7Fq7xHLhf6FmcknjtE0tnCvOajOwE8U6XpzY7G4tNFZjP47vlP5pYhpBSPI7RauBQXC0F+wVjSFJFZ8hnRjQF1SOS5VHupJmlGgN0naphbHS96XS00GrkjY3V2BUoiPoUzvpazXnDFh576kwUMnJ6I5dg54LsKmTUnFiuK0mTqd0cQW/euWdPkVr1y5svVEPDpuHQSsI2q3DdrOSK12YqvLQwUEQRqNBq3F4cERipS3los5gRBNbnyXC8srj5KafyglHa8RNdz3MHPnR8GtrLDBuYkHv/amJq04V1RTNoJEI7gaSjuBGI6MEztkTfZkIQV7Y69scHo56nLKpqxJpNzDk/KrqRHSVtLDYvKLVsGcXeSxyMG8n+1vJcu73k6HgUVXAIYISMPb2qreZb+7Q8JEauNXu2PCdS6buzNszp7jGjnqfTbUoFc3WI2gfHFQTLkBmXf45NcpG+eKbxbhGoTVxNFOt6f2aukBq+NdZI68mQI7tBKuqB73cE64hLDpeY3V75WhibWzeEzJj8cTHx5Vm/kgvYzbWig1aB/vNJklioSgjTEWG8Bkdo1GOSbPRbNQbbTI1RPAhGSplUZbGdXsfA50APpGbQMAMM8y3BHQK9yfDKkx8dpGNMp+pgmXrrHHmfL5W77GjITxJfE7GMNIIbSLUmEv/b3/PG0lIlpFeJXH25Ei9NmUid8ulVpWEG+BmVb6KqIANdf6gYi5F0j7sTZyx3F2eWBpKRT+f3VQtLjJcLOO8VJqzTun7+PxCw0X1gqG5reMPeO9k+N3dO91tnuNvHcJ4Iw1T/HsEMV4sUYwnKYzxL8Nx2kiO8ZgjGc+mqRHZi8cSMK83eILnd3QWf0AydDJSpK3KWPHCNOxkE5vo8vT+r7S2nQwn/8P6vO0aYUH2+C64+xjgZLswXJbALwmEqkTaVuu/dv+aP5/vk0t9WJ1U5v8qeTlLMb2zt89aj5tXZ93uryHKnZtso0ktV9LVlicZvv5rRE+ep1D5OhrxDV9KNwbhY10YkrRWPd75A0F+Mhs=
xgcdWLTriZmsSvnw