IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1vcHNnZW5pZQojIFZlcnNpb246IGRldmVsCiMgVGhlIHJlbWFpbmRlciBvZiB0aGlzIGZpbGUgaXMgY29tcHJlc3NlZCB1c2luZyB6bGliLgp42s2WzW7CMAzH732KSNu17bhy2207TEPaA1QmMTQibaIkbPTt15CSUY0K0laICyKJ7f8vH7YLXG+E/MmUlt+coTaZVGaLNUeimmUl2V4geSEFKJ6Dt82DbX6yzXnN8JCVthJP3id9JmkCg8GzUsqdiZI4eowUCsMCBGo7QrcfYB6M7LMbvrrRW2vhwKgAY8hiMtcsQFmxRetIih02x2NDW0r2MHh4QLq3+IBk7tyorOt7okmFGqzUcYkVvOJfdXCdkmB/+lOTbAinfz2fnVVMst3COCtcVqz3XLAi2CpohAQW9ZzuTz0mH+9PabFSAiwWG46CHbMFrNV87dDnA47oaMRYtmSSknQR3QjJtWKVjC878VyDR0Iia2py0zdHDOBNLElkuYwBuFRpyS3POpn2JMcxjrrJoUxMqKwqbs05SjflY66A7mCLBBTQEtNOIg0Sabgg9xt2JWCNwgU7zfpo7+5v8m/z53u4qtP2nAs6qklPCz7Qh+9zXvFs9YrbqmnLY933Ngialn1HP+d9vvz6qj2n5BeBiHOR