IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy10ZWxlZ3JhbQojIFZlcnNpb246IG1hc3RlcgojIFRoZSByZW1haW5kZXIgb2YgdGhpcyBmaWxlIGlzIGNvbXByZXNzZWQgdXNpbmcgemxpYi4KeNrNlsFygyAQhu88BTPtFW2ueYL20Glm2rtDZCNMUBwgTfL2VYkaa9oIaZPcFNj9vwV2Fyr0SqptVGr1KRhoE1mQkGma43I/zxXbSMBPOKGliKlbG3dr43ZtLAoGu4jbXD44G/KICaI/Oo+4UmvjJdFYBAqFBeUUL4yx//04fDxXwzVHKqkxeHYBRrh+lCQZ2CTl1CaCNbsClit2Wxyr1lDcHqbZGVXcAYmBgiU5GEMzuA6NKkFTq7RfbnZW/knSmYblaK8cnqdjhO4U3g5TPvn6O9LlLBHsIN1Yvwvx71AW8lJSC8lKgGTN9aHWarGsSe+AbyOqnJbuJP8WzKNxYWPZnKkUk5l3v8PnaggKKQr+RCe2AU8ub2jSQ8IHahIF8ixgPgCnah+ecllR6NULo/M8t3FOoQyKXl/SJciaoB11Hl/qT8TV1qpOe956aAeGDnqlJqUaW9IOkpHt98xGoz05DrCkKQdyiJN0cXZuUdUiTgRV7kk74Ry9uobkwuub5JHqMIwx5pHLM1qLfVXUi6GkAapTPjR0Y87m3c0vqocC+gLB03Y+