IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1hcGFjaGUta3lsaW4KIyBWZXJzaW9uOiBkZXZlbAojIFRoZSByZW1haW5kZXIgb2YgdGhpcyBmaWxlIGlzIGNvbXByZXNzZWQgdXNpbmcgemxpYi4KeNrNlsFSgzAQhu95iszoFbDXXr3oOI6d8QGYkGxLbCAMCVreXtKllGpHIdTKhQnZ7P5fwi4bJsu10h9hUep3KaA0ISsYTyHc1krmtKiXmRaVAnpHY1bIiOH6qFsf4fpovz6SuYBdmNpM3aBfcEsDwn4UCVOtt2a01N5rgqDnDlF26m7b8ZN7PjQTDoMrZgxdTKHwlQ95lUBcVngcYFMt/glkAzbmOp8HyJtOYmOZrcwVcXQBJbO6HF8RnadfYnbu+B67nJjAcAxyORz8PvfN6KW1ji2c3/guBhYmlVSiyeUsY7lwmMzaUiaVhdmhwg644xqb5NcjbCrRxJCLXjnO9zgtZIViFuK1BCVmDlvJJkcVFtJfUI5s5dRYsRSa02DhdQugQ372xOsP7of2tQXQ4d2IDL5xjUUbjEM8+s5YmHNtiw5NbjItT/1Zz2Y89ahJ4lqEtKaP0k5hzBXjW7YBipGCViLoJILWgB9sA/lxZ4oloFzAwyxGfHRD8u0A+vsYpNU08zNaRR0cDBjsGS8QqNqz/uK2qptWlJ96G2AlT08dcQ59XtG+as6LfAIditVl