IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1hc2FuYQojIFZlcnNpb246IDEuMC4wCiMgVGhlIHJlbWFpbmRlciBvZiB0aGlzIGZpbGUgaXMgY29tcHJlc3NlZCB1c2luZyB6bGliLgp42s1YTY+bMBC98ysstVdIe82t2qpqD1UjtT2jCR6CN4ARmM3m39d4CEsSKB8iay4JsT3vvRmPPUNA5GEsT16WyxfBMS88KCAFlp23ieRljOwT8yETG6CFm2bhxizciJTjqxepJP5ABu5H5jrQDetFUh6L8eBm+RyKqV4Q0WyP6ucv1ed3PVARBzEUBfs8i3cyoRfEAlNlHEYVSf5+xDJN/RQS9EGpvBJQfYt9qfB9NahzhpbocwSFvl78jIGVPSABCoqjBXaOIZSx8ptMsLMLHGO0ugu1AEu7EGpri84bekuuH5CSzyK1DrqQqR/KPPFPguvhwpKaUvihwJj7e4zgRcgytyCkGrV4FZQZt3sh1wIefh5khjkomU9oqRqTiX1OY0e/jW+zaFvmS0igqD+ZCvhHD/yqF41uwQaVLSbJw1cMqnMwOiUepe2rKVWrCte9pPWE65uGWFWwbgWtJ1R/zc23qmDdS3pQuKbd7qxQfMtlwNxZdYGNqEjO2JfriVrGqnCG/zkYzTzM6czdwdEahrKATcpOZ0qdnqFxii4nkEkidNPaoqmHCGEHwREOyCCDIEK3BnQbQJe24K0XrvVcA95MErQ5pOypmXQOmL75HMMe48r6MkpGP6pHJ5InJRuXtwaUXoarCF/Gr3FuNpGOrwFyL1NuH1BPYe/UQa+DC+joAOqpmJ06qjezBVTcwXQWok4F1A0voKEDqOeGd+4OTfs0/D+HdSfakX7Z2b1MEMpP6nspEW9caBN3edebSC2WAfrdWdet9FpFgZAH0bUhjZHNb5rf6YPs/AN5HTnq