IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1taWNyb3NvZnQtbXNzcWwKIyBWZXJzaW9uOiAyLjEuMwojIFRoZSByZW1haW5kZXIgb2YgdGhpcyBmaWxlIGlzIGNvbXByZXNzZWQgdXNpbmcgemxpYi4KeNrVl81u2zAMx+96CgHtVfZ6zXWXDVixDHkAQ5XpWKgsupLcJm8/O/J3g6WR++Gd4pAm/z+TislwaTKFL1Fp8FmmYGxUSGHQYuaiwtonRcvjpsC0UkC/0YSXMuY+JO5D4j4kPoXEUqdwiHJXqBsfym4pI/ySVJQjPtoQwVPgMtnwp/Xi7/Dk7fW93T2pH7WhgRGKW0vvFrIsgIgEap1oXkDCnTMNU/MpHyoHX8/ljiWsBymFjFfKJX3J1oO2B5fwyqHAopDudMzB5Zh+OVRTq5XgNNaVtc2usW22Kks0zs7IPrtiWILhDk3QxOiDg1/ZfYbwyTFALJseMxTfqt+tMWCK/IPrHYAiOIBojknAaf5gsuaFlLeTd2VoDopScQcJHEJ/bZ9FmElQqf0vIBMDdX4DZqW4lawHpELzMXTXb9fUunSToqDsLnQ3p28cOyR0hgQzzmtErxqQ5Jo/RwGM13CRsCkYQHVujtIrTj1ZcpIX8QZ0e/ZbJX73sWOM1uQzbrl45HugvOQiB9YKsF6A9QKsS6g1CCdRt3zT1DOnF7nf7f78ot97J9mDHqqj+AOoJrqz+qCfzSXJ8cVhPOTdDJp93HnVm1MoG5z+AV7DeImucF6g+zYVGoo7EuiMbBo4eUmSV2dh3NS3ll5q67hSUu9HN2UGC2axMgLsVODCzV2Vu9to46Stk9TL3ZkOlUfWOdrO+nXS92rYdkcc05rNyjLKd0Foe6xXHT3Vs8CNyKeB3uZjdt6/rc83+QvnffRh