IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1qZW5raW5zCiMgVmVyc2lvbjogbWFzdGVyCiMgVGhlIHJlbWFpbmRlciBvZiB0aGlzIGZpbGUgaXMgY29tcHJlc3NlZCB1c2luZyB6bGliLgp42tWXzVLDIBCA73kKZvSaVK8+gTrj2FHvzCZsE5QAAtH27Q0liTpWDfEn7SnJsj8fy0IW4GYl1HOmjXriDI3N7lE+cGmJ3pzVijUCyQmhoPkCgupiUF10qgsuGa6zytXiKJikxyRN4DPXWaXUQ1SArcG0MFPmE8L9aHbD12V4nrdCj1AIsJacTiaYGDorlJRUQo0UnDOexD953jici8ZtNM4NwnAFjXB0SM/cQCU62smpRfOE27Wq0VWKzYDjR/4xL0qjAadM1G4djKJ36mDZS+i9ymk7ybLs8h6NsMPR72L1y3Op8rsgue7UI46X0bx/AprlDRfM68bU9szMuMbCl/7hEPujpOp+OweCrJUQW1Uu6WODzSGl22GtBTikuHaRp+W+kK84CmYPC77h7c9bKLPH1DfY1rLdFgUDB3sCtwQD9V3Xg+0RVy8zIWv0mbuKVgjehUddNbJwXMlfxh1/AyHWsTOmCpKext5byDc9WBLfVkXTfGzKyMjOMBlzDYzgGUOQxDV/EdF3tY1kRNEmP6+6SZRf1zCZuN2SEuUrk4AchafqpcH3hX9NPqC/ja6hqDDtINIBIu2XsW18d4TRm7QfCH6uQsMdAr4Z/cZsuWlbBPne2iKYonpvGGTB5jaML6HE5AUE8X00