IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1kb2NrZXIKIyBWZXJzaW9uOiAyLjQuMAojIFRoZSByZW1haW5kZXIgb2YgdGhpcyBmaWxlIGlzIGNvbXByZXNzZWQgdXNpbmcgemxpYi4KeNrNmMFuozAQhu9+CkvdK2T3muv2sHuoGql7RxMYghVjI2ya5O0XYyCkSVobktAT0Yxn/s+DPdgBVqZc7sKilO8swVKFiYy3WNLisMxlUnGkP2kEBVuAHbnoRy7syAUTCe7DTOf8yUYEP2hA4EriMMFYlqBlqTw0jkHj5fxnNlCdOtfO8tw8njv7C9szYYhiDkrRX1OAbkAyLBHqTCYPJfpndBPQ8FBV+4g0qK3RTysRaybFHRkyKbc+i78Z77v0miD/JW+1xq32oWS7vP7UJvflfU18jGoYSyEiATlGoHVTAvNk60rjDCD6UOCMDAmmUHEd9UWZkWWDlsOjy9xcv2JRypAn0RozeGeyKueiMfZHvRFZoPeXt4/x7QZ9oH8TOmqOa0Qfpdt6v7Zm94b0GcgUghD3GJvX7L7o7oaSyjIHsyPzHETyHYjMBs3aD8fcLFJEW8b5d0DRmBccNEa4137N4v5ITTNVM1FFagdlPqG/2ARTu4zN0pbozfye3nDOyW6EdIMOdD+26ZvuMtuoAz1VOlnWBhpMuRFQ9xsJ8bsKj+LzAyO+ZxF3pivnGOp0jiLO9yZfIGcS4vDfiLu4gywZ01TdCT5pytR5a5Pxm3U86dmWp56tiHgdhMeAerERcyJjWg2FWpNNsYJ4CxukUECcYdBmDPqMQfsyzF0Lm/80OqTTlB+9Nrvty/R37yYbFMeZc1gjN/Gd1Ub9NT9JJndaLo6ZlwPZPvCK8FMTHBy97TQuAJ29h2F9vygKE0oD50xsBr60lHmg6stgjOo07xeDu8l3w6hx0tZJ6sPEhcIVh6Bz2PAXe3ixJRx4vwhbHeovpDiNVghlnJ0GWpuNebP+Vb18yH8EAUiK