IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1hcGFjaGUtc3Fvb3AKIyBWZXJzaW9uOiAyLjAuMgojIFRoZSByZW1haW5kZXIgb2YgdGhpcyBmaWxlIGlzIGNvbXByZXNzZWQgdXNpbmcgemxpYi4KeNrNl81uozAQgO88haX2CrTXPsHuYbWR+gDWBE+CFZtxbdOWt1+ICU2yVQtGKVySaH6/sYcZAtLuFL1lxtKrFGhdBgaKEjP3QmSYaZ40iVohe2AcjMwh2OeDfR7s86N9LiuB71nptboLfuk9SxP4MklWEh3c5FRHrxkJIysMaedW2/9+7j5/tYIOo1DgHHucQxGbPiu04BrcgZuW4Y2sOJ4L+pLEUkRUVbwCjRy8tx1O9y23tccliXxjcA0wAndQK8+HY1oDFL4bsp572CpcvIH2GE5ncZBOuporkvp4RS812mbxk+lh1tEvhgz+ZLO06Sx4stM33+AZt4AG98gN+JF+xha8ggj38LcXTt2GXxDNRWlnGhbd4zq1MW7JRBU/SKVWxeRRGwUe+U6iEi5m1t0Sr5btMlBkb8A18WWVOS+eBBUsfYx6z2VjplsSNbvi0K4PhY0fv8no/xRT0UbjJBETdyrMZwObjW3nJLpF4zGnXunVs5cUpLX07hygF4VwGygOsEcWgqR99HSInvaKEG2P1Uc9CraouoAnaYj4u/uZ/Ff2eQmjcsnKeVBKVvszi50lnTqqbYHuMvo3xie2kxnrlKxXJu22/KQu06QnRXD/E5ZzqPBM+43bpmk3Q3Xp7RBsUV46BlnweQ76TXs3yT96RhAt