IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1oYXNoaWNvcnAKIyBWZXJzaW9uOiAzLjAuMAojIFRoZSByZW1haW5kZXIgb2YgdGhpcyBmaWxlIGlzIGNvbXByZXNzZWQgdXNpbmcgemxpYi4KeNrNV8Fu2zAMvfsrBGxXOeu1x526w4AABXYVGJmxhcqSIclZ8/e1Itux0xW2tK3OJRFIPfKJpEgZhDlK/TtvjD6JAo3NK7CV4No0pDk/1rpoJZJvhEEjdhA278bNu3HzTqgCX/PK1fJLANGvhGbwsfm80vrFxjm5QFJd5SdopUtxeAH+ndv8l/996gSeAJdgLXlI9p/kOOdaKaagRgbOGc/D/4tD63AbLu7c4MY0DIJDpg1rm8KvLHaiUCToKl18OqMCj37NxmRtG6ASA5UNI+IpbJ6WKwkmFJdtIVTJOi7QVQ3cB687YOOln1q04eiRU6QHJTT0HpkySQanqbNk5jqE/DvwF1RF1ED5kEa6/6FHHEUZV3r/kYtirRH3wwa5E1rdBx+DttHK4n2wOYERcJD/kk3MK5JYVzwWmhP6EP/6JIsNMovvewmMbqNAVjbubN2jPorROhZZXI+OYvC+u5MV9Zml1FwSr6hszW5PxnVdi27aTdz2omBp310sKJFAA7xC2humo2F6TUCJ6noECQeU3togDeZ++GU2YtiFBBtG7gzYC+khXO3JuWm4+JfbeSOkg6mn8ZPz0h/Icy/vG0X2LtjT6C2fVSjrQMruxTZRH42uqdWt4Wjnphc2D7EZthGvJL0y66b5H+LanOmgCPCf4d0QIjzRLsD2565DqjnaIhhe3abDywLmOej3XWFkS2maBmJVShdT9wbp3Cyh