eNrFV21v2jAQ/t5fEeV73lgZdApUG2s3pFZjtGj7hkxyATNjp2eHl/36OYHyIoW1pLX4Eik+67nz+e65x+H1csasOaCkgrfswPVtC3gkYsrHLXvweOs07ev2RTglc7K/reH6w8u6bUWMSNmyc7M7AsKl+/v+7itoAEC7fWGFYjSFSB3syxRl7nciJ/ckzfdY4VzQ2JqBmoi4ZaeZKlatUCrUYbRTgYqwDlEwFrgKvc3y/pbxCId136/tG0Mvh30FPpW/BP6RKYmgh2JOY4hLnSSESajkIVnEPaImXZ6IUmQvRTG8qtU+1L0EvZofNINa0HQiMZtRmadcOjFIh9D8OxIZjsWYg5Mg4dEE8n2qWmCL54OXhjUdXlZM6EAC3hE+NpfPjuAKlipPayl4xcB7Ra0ZCjvLsyIiwsrTneDwtl8JGOHpAXDO4Hg+vJjKlJGVO5VpVR8/M8DVQ/Fb6oPGrW0hV/IxIhIGyErBJ0ql8pPnLRYLF0iGs8jVvVL1KEbKB0Hq3tQscgx1Gs3k2Xpd0xzlsVjId65q3TQEiTYDakI31DpRhghcmRwCvYMxY+gcVHb5Leri+5Ek9AjtKsyqgad793CI/JopfBR+v8EPYLWBIJLVAS7TtO+uScK2GPCxmmjB8Iy08aELEZYt298u785QRiDFhm0Wip/C8SbsnSX01ic9dVyhScrviIyrIzVbkfCp7KjlplQpSEPBkylZ9uGpW477WVt1FMrxnaARNBr+Vf1jvRn4b5EMxXA01nr9PX425uTLeoaZlBDkyPxNsBptFMT3P0qtJgOj/RJ9zyn7lF/gox6Ikmn88hR7JE0Z9ZSYRY6WDJ6kChzKpaJKM5/gHNjZJnGajUpjfpt4yk4STmeVIvoKNa9kINWg3zUjV/UT4ahc5Rlj3qloLwV87oSWPzBPP6oWQtmI0YjkXWJKzZlQ32tDKd63m8eqY3YXqbGJ0TnUtob8bBpq8058X+Gp2+PF92feH2+QBhsRZSg5fwUv1+LrXqgq9W9ODHMnX0MvF9Pti3+xoG83
Cilk2lRfhfb0gxB5