IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy10ZWxlZ3JhbQojIFZlcnNpb246IDIuMC40CiMgVGhlIHJlbWFpbmRlciBvZiB0aGlzIGZpbGUgaXMgY29tcHJlc3NlZCB1c2luZyB6bGliLgp42s1Vy3KDMAy8+ys8014NzTVf0B46zUx7ZxyjgKcGM7Zpkr8vYJ4lLdjp6waStVrJa4lydRDyGBRKvvEYlA4MCEgUzXBx3mYyLgXgOxzRgofUng37s2F3NuR5DKcgNZm4sTHkFhNEPwUPUilftVOKJsIzkV9RNuOVNQ6/L+3HfWWueTBBtcabK2j45w8SMBGTed40BEwq479ioiGPowy0pgn8DhtZgKJGKjf99VHuQuhD/XQ4ZPbX4pxCfwtPrctFk19Tup5LACdgpXETxI+TMpAVghqIDhxE3MiHGqP4vmb6D/iVvHrTwt7k9xJzGM5Ym3gbS4bJxnmm46UZgnyGgjujC23Aq8cbWrUsXUitYoEcB5gLgUuzD68RK/KVnh87x3ubvynEZJZxo8fpW5NF21H2Wi8qWlCWAmnBSQ9OeqQE8qESQfcgarDOatEe6k+UyqORfRXbDqEzTAEGzs3jbGJJZySz2I8zAs26O27VYlE814YKwfNk5D0omREtS8VAT5EXDndN6I7h2olbJ6oW24UGFmfSOWz4o12jtpXDah/xmLZs3pIR5EKu3blaRfk0pQaqWDoNtDYb82z9u0o16B14alAW