H4sIAAAAAAAAA1WQz2rcMBCHX8XM2epKlvxPtz0kwbCH0l1yKaWMpdGuiCy7lpZSkrxWXqAvVrwpgRx/DPPNb75nWLxNoL/LVtR91/woIZnVL/mR1uTnCFpwzrnsS8h+ItCi7WXX9FI2qpUl2HlCH0FDIpPnFQOu05dEUMJ1DaDhkvOS9G73ebyDEn7TmHymoz9HDN/o15VSHixoULJWaNTITM0Ns7V1zDjkTDjFe9t1yqmNv+CZDjPa287oOPG+IlZVREyNpBi2vGGdMEZwN8rKcCjBp9OKMQXMZEE7DIlKCP4e3y/DFh48xvweJp8M6GdY0njMmAk0U68b5eDjE9kh7pflA7P1OfkcCDQccJ2K7EMoLjQVs7kU7u/bShnPxUtxvKko9psLKOFCE+h4DaGEdHNx+rNsjK/7h7ufj8NxOP1/dogpYzR0q9pgR6LGhommM0w5W7NKVsgEGmNdK8cGK3j9B19zHWPeAQAA