IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1wb3N0Z3JlcwojIFZlcnNpb246IDMuMC4wCiMgVGhlIHJlbWFpbmRlciBvZiB0aGlzIGZpbGUgaXMgY29tcHJlc3NlZCB1c2luZyB6bGliLgp42s2XzZKbMAyA7zyFZ7ZXSPea6x66nWmn6WzvHgUU8MQgj2264e0LMX9psk1MtgsnwLKkz7KwZBB6J+k1Upp+iwS1iRQZm2o0TFXrnJJSIvvMOCixAjd31c9ddXNXokjwEGU2lw9OJ/zEwgDeNB5lRHs/F0eNiY6mLcp5vHONw+dTqQ3pX5XChiIBC+zxDgY/55v25bkebtzHEoyZyX+0LeWeJ2WujtuBNqNkVhRJkMyPElNR8AJy5GCtbniap9iWFmdFsm3GLoBGVRwPCrWdf7cS3EEpLe93bREhStERzR+fhkRAzi3tcSE4FrYSudIiB13xPVbLwCq1mB+kkS0njU2pFGlrOJSWYspzYT+Mi+rzBSxpv16h1/JvE3rVaV3K4Hl6p3KO0O/Hj1bk0zT8G+l+lggPGDdp4PPb/Hcoi7mSYLEuUd7Z+nFwO4EyMUvn4xpr8xr18khLUVdYSfr9wTxuQMzYZJ1QzMJH74sTu3YoB1POVn+iC2FgN9eL4KYbqQ/UTRSBZx3wAbhUQtgtyRpMTb1pdJ77dv5PBa6im7H7dshZ20C8hxQZKIgzDFvjYW88HFkqCoytoGLgOjV7Lm99uK+Xn9/YUz8pSLEYIiNhi7Kx0o06za/Na5DRq6XVYH994r5XfRPg4WggHOT9ot5AO9uxcfivBkoUxoKUokhH0p2mPDRU6vg0alcnd4HoprFGyFphUPccF4KoqrATOPXvrsNx4TxPL94N8WOkeFrWHGPKG1Wcs+c6LJbYl6ORXX16/32uByO+K+Cbqm45ilN+g6Dj7FTRjTmdFyff1Gkd/AEchW8Z