IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1kYXRhZG9nCiMgVmVyc2lvbjogbWFzdGVyCiMgVGhlIHJlbWFpbmRlciBvZiB0aGlzIGZpbGUgaXMgY29tcHJlc3NlZCB1c2luZyB6bGliLgp42s2VwVLDIBCG7zwFM3ol0WvPHvTgTGf6AJltWBumNCCQaN5eEpLaqtVAR+spycLyf0v4FxDmSaqXTBvVCo7GZhwccLWhulvsFG8k0htagBY5hKn5fmo+Ts1FzfE1q9xOXoUUdk0ZgVNLZ5VSWxsjMCSkyaTUE+TOqm7/dRee9z7YI5QSrKW3yQSJ0plW1hXYYu2GjUBXKX4BjOcGTVd4eSPKi4JYrPl/4GhBCh/HwqDVqrb4BzS+dqtMlAHHlGgvjHkpJpwkU234QXra9dUQjrDiNxxnAHhDbqP+9S9hNKIolQwbAs7bYd04PJsm/txS6/iCq5Ky5FNPZ/qPzL9soqnm05A5d2qE/hxlkvJXIxhOnwo6+3ySmE6UwBbDRDZYv+tIWKPslaZoWOWhfyWfcA51NJQVslGO7eXYVLLvZ1/I6I5NA2Gdx9A5g+DB6A9py853mPo42yKYsjpODLGQswrjS9ggeQOikcgY