eNrNWFFP2zAQfu+vqCJtb43TlhbY0qLRwagEWgdUm/ZSucmldXDtYDtp2a+f0xYoUyKYgzceIiW28/l89/m7s/2j1YLWMxCScNZzmq7n1IEFPCRs1nPG16eNA+eoX/NjnOHdYQeuN2l5LaceUCxlz8n73SlgJt0fF+efQSOAcPq1us+nMQTqybhUEeqeYTm/wEk+pu5nnIT1Bag5D3tOkqp1a92XSmg7+ksubmSCA/DRtmW3N57s7bb7KAd7AWoqQZxjNisEjYQRZpAKAUwNsIIZF3cl9naNsIm8BMlTEcAIq/lI8IyEEBZbj6kEo0miZXgFIqOg8kkKwVEcLKQROI7x6hJuh8VGf9K9A7VSDa/R3G92Dva6h93WYbttNJXYcVVxFPQi0GzO6aTTancQsPWyUCQQwxmZYaWJjnCgUkyJAtmADBgsdGwlenhFsUSx7ucSBVzA9r2RCJ6AUET/FUs3lolhuEdcKEwtBZrIwVOuWppHwO2zhAqJTCi+q+IqLLDuBqEVxd5C8hVcC61xVPvsD3yWUor+0urxVoEsWZwL3ICnTJUI0eDM1BEDzhSsyiNqpp1qteWi3jmvB/uLs+K8MUqnlASmKql1LAWpxpfDcpF84/pyjCWMhT2B+U5YyJfy9YVrlyiWrE/W2lsImkw6XmffeEf+1HwsyYAnaR5ZdAyCElZFpIYs4lXlSXO8GOqe4W+Z3OvajgeYQkl1NzEUP83q+2LU2r6xtyc3HYWgX06uTRn3LQVxd7X+LIRmXLvrJiJCqvd4kXzMn6zndZvNVjvzvKZZtrCRgjTn/8tiNmrzzKmhY7YTRLGKzZVK5AeElsulm+9kN5j/05x1tOPI3oMn9fOufVzZnzpHPNLD3knJShm0KQs3WcKS6dNN4n8xL0yF4bkaqWrdv/1/e74onEOJFCqEYZNDrCn98OT1k8dj0W/N7NETubI3zbpAX6uOrSovnVY/xQ3ZqdBC8DWKSMkNVSkJfbS5HevXfJTfjPVrvwFy6YB1
0v7NHwBrx9yYMath