LUkjbWlHNiMvSSttb2R1bGVuYW1lRzYiSSxUeXBlc2V0dGluZ0dJKF9zeXNsaWJHRic2KFE/U3ltbWV0cmljflBvbHlub21pYWxzfmJ5fk1hcGxlRicvJSVzaXplR1EjMTRGJy8lJWJvbGRHUSV0cnVlRicvJSdpdGFsaWNHUSZmYWxzZUYnLyUsbWF0aHZhcmlhbnRHUSVib2xkRicvJStmb250d2VpZ2h0R0Y3 LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzY4LUkjbWlHRiQ2J1ErRGVwYXJ0bWVudEYnLyUlYm9sZEdRJXRydWVGJy8lJ2l0YWxpY0dRJmZhbHNlRicvJSxtYXRodmFyaWFudEdRJWJvbGRGJy8lK2ZvbnR3ZWlnaHRHRjctSSNtb0dGJDYvUSJ+RidGL0Y1RjgvJSZmZW5jZUdGNC8lKnNlcGFyYXRvckdGNC8lKXN0cmV0Y2h5R0Y0LyUqc3ltbWV0cmljR0Y0LyUobGFyZ2VvcEdGNC8lLm1vdmFibGVsaW1pdHNHRjQvJSdhY2NlbnRHRjQvJSdsc3BhY2VHUSYwLjBlbUYnLyUncnNwYWNlR0ZOLUYsNidRI29mRidGL0YyRjVGOEY6LUYsNidRLE1hdGhlbWF0aWNzRidGL0YyRjVGOC1GOzYvUSIsRidGL0Y1RjhGPi9GQUYxRkJGREZGRkhGSkZML0ZQUSwwLjMzMzMzMzNlbUYnLUYsNidRKEZhY3VsdHlGJ0YvRjJGNUY4RjpGUUY6LUYsNidRKFNjaWVuY2VGJ0YvRjJGNUY4RlctRiw2J1ErVW5pdmVyc2l0eUYnRi9GMkY1RjhGOkZRRjotRiw2J1EpQmVuZ2hhemlGJ0YvRjJGNUY4RlctRiw2J1EmTGlieWFGJ0YvRjJGNUY4LyUrZXhlY3V0YWJsZUdGMS8lMGZvbnRfc3R5bGVfbmFtZUdRKTJEfklucHV0RicvRjZRJ25vcm1hbEYn LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYnLUkjbW9HRiQ2LVEifkYnLyUsbWF0aHZhcmlhbnRHUSdub3JtYWxGJy8lJmZlbmNlR1EmZmFsc2VGJy8lKnNlcGFyYXRvckdGNC8lKXN0cmV0Y2h5R0Y0LyUqc3ltbWV0cmljR0Y0LyUobGFyZ2VvcEdGNC8lLm1vdmFibGVsaW1pdHNHRjQvJSdhY2NlbnRHRjQvJSdsc3BhY2VHUSYwLjBlbUYnLyUncnNwYWNlR0ZDLUkjbWlHRiQ2J1E0S2FodGFufkgufkFsenViYWlkeUYnLyUlYm9sZEdRJXRydWVGJy8lJ2l0YWxpY0dGNC9GMFElYm9sZEYnLyUrZm9udHdlaWdodEdGUC8lK2V4ZWN1dGFibGVHRkwvJTBmb250X3N0eWxlX25hbWVHUSkyRH5JbnB1dEYnRi8= LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYvLUkjbWlHRiQ2J1EiRUYnLyUlYm9sZEdRJXRydWVGJy8lJ2l0YWxpY0dRJmZhbHNlRicvJSxtYXRodmFyaWFudEdRJWJvbGRGJy8lK2ZvbnR3ZWlnaHRHRjctSSNtb0dGJDYvUSgmbWludXM7RidGL0Y1RjgvJSZmZW5jZUdGNC8lKnNlcGFyYXRvckdGNC8lKXN0cmV0Y2h5R0Y0LyUqc3ltbWV0cmljR0Y0LyUobGFyZ2VvcEdGNC8lLm1vdmFibGVsaW1pdHNHRjQvJSdhY2NlbnRHRjQvJSdsc3BhY2VHUSwwLjIyMjIyMjJlbUYnLyUncnNwYWNlR0ZOLUYsNidRJW1haWxGJ0YvRjJGNUY4LUY7Ni9RIjpGJ0YvRjVGOEY+RkBGQkZERkZGSEZKL0ZNUSwwLjI3Nzc3NzhlbUYnL0ZQRlgtRjs2L1EifkYnRi9GNUY4Rj5GQEZCRkRGRkZIRkovRk1RJjAuMGVtRicvRlBGaG4tRiw2J1Ewa2FodGFuYWx6dWJhaWR5RidGL0YyRjVGOC1GOzYvUSJARidGL0Y1RjhGPkZARkJGREZGRkhGSi9GTVEsMC4xMTExMTExZW1GJy9GUEZhby1GLDYnUSZ5YWhvb0YnRi9GMkY1RjgtRjs2L1EiLkYnRi9GNUY4Rj5GQEZCRkRGRkZIRkpGZ25GaW4tRiw2J1EkY29tRidGL0YyRjVGOC8lK2V4ZWN1dGFibGVHRjEvJTBmb250X3N0eWxlX25hbWVHUSkyRH5JbnB1dEYnL0Y2USdub3JtYWxGJw== LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzY1LUkjbWlHRiQ2J1EkS2V5RicvJSVib2xkR1EldHJ1ZUYnLyUnaXRhbGljR1EmZmFsc2VGJy8lLG1hdGh2YXJpYW50R1ElYm9sZEYnLyUrZm9udHdlaWdodEdGNy1JI21vR0YkNi9RIn5GJ0YvRjVGOC8lJmZlbmNlR0Y0LyUqc2VwYXJhdG9yR0Y0LyUpc3RyZXRjaHlHRjQvJSpzeW1tZXRyaWNHRjQvJShsYXJnZW9wR0Y0LyUubW92YWJsZWxpbWl0c0dGNC8lJ2FjY2VudEdGNC8lJ2xzcGFjZUdRJjAuMGVtRicvJSdyc3BhY2VHRk4tRiw2J1EmV29yZHNGJ0YvRjJGNUY4LUY7Ni9RIjpGJ0YvRjVGOEY+RkBGQkZERkZGSEZKL0ZNUSwwLjI3Nzc3NzhlbUYnL0ZQRlhGOi1GLDYnUSpTeW1tZXRyaWNGJ0YvRjJGNUY4RjotRiw2J1ErUG9seW5vbWlhbEYnRi9GMkY1RjgtRjs2L1EiLEYnRi9GNUY4Rj4vRkFGMUZCRkRGRkZIRkpGTC9GUFEsMC4zMzMzMzMzZW1GJy1GLDYnUSdOZXd0b25GJ0YvRjJGNUY4LUY7Ni9RIidGJ0YvRjVGOEY+RkBGQkZERkZGSEZKL0ZNUSwwLjExMTExMTFlbUYnRk8tRiw2J1Eic0YnRi9GMkY1RjhGOi1GLDYnUShGb3JtdWxhRidGL0YyRjVGOEZqbi1GLDYnUSlHcm9lYm5lckYnRi9GMkY1RjhGOi1GLDYnUSZCYXNpc0YnRi9GMkY1RjgvRjZRJ25vcm1hbEYn LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYnLUkjbWlHRiQ2KFEtSW50cm9kdWN0aW9uRicvJSVib2xkR1EldHJ1ZUYnLyUnaXRhbGljR1EmZmFsc2VGJy8lKnVuZGVybGluZUdGMS8lLG1hdGh2YXJpYW50R1ElYm9sZEYnLyUrZm9udHdlaWdodEdGOS1JI21vR0YkNi9RIi5GJ0YvRjdGOi8lJmZlbmNlR0Y0LyUqc2VwYXJhdG9yR0Y0LyUpc3RyZXRjaHlHRjQvJSpzeW1tZXRyaWNHRjQvJShsYXJnZW9wR0Y0LyUubW92YWJsZWxpbWl0c0dGNC8lJ2FjY2VudEdGNC8lJ2xzcGFjZUdRJjAuMGVtRicvJSdyc3BhY2VHRlAvJStleGVjdXRhYmxlR0YxLyUwZm9udF9zdHlsZV9uYW1lR1EpMkR+SW5wdXRGJy9GOFEnbm9ybWFsRic= ALUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzZKLUkjbWlHRiQ2I1EhRictSSNtb0dGJDYvUSJ+RicvJSVib2xkR1EldHJ1ZUYnLyUsbWF0aHZhcmlhbnRHUSVib2xkRicvJStmb250d2VpZ2h0R0Y4LyUmZmVuY2VHUSZmYWxzZUYnLyUqc2VwYXJhdG9yR0Y9LyUpc3RyZXRjaHlHRj0vJSpzeW1tZXRyaWNHRj0vJShsYXJnZW9wR0Y9LyUubW92YWJsZWxpbWl0c0dGPS8lJ2FjY2VudEdGPS8lJ2xzcGFjZUdRJjAuMGVtRicvJSdyc3BhY2VHRkwtRiw2J1EtbXVsdGl2YXJpYXRlRidGMy8lJ2l0YWxpY0dGPUY2RjlGLy1GLDYnUStwb2x5bm9taWFsRidGM0ZSRjZGOUYvRi8tRiw2J1EiZkYnRjNGUkY2RjktSShtZmVuY2VkR0YkNiYtRiM2Ky1JJW1zdWJHRiQ2JS1GLDYnUSJ4RidGM0ZSRjZGOS1GIzYmLUkjbW5HRiQ2JlEiMUYnRjNGNkY5LyUrZXhlY3V0YWJsZUdGNS8lMGZvbnRfc3R5bGVfbmFtZUdRKTJEfklucHV0RicvRjdRJ25vcm1hbEYnLyUvc3Vic2NyaXB0c2hpZnRHUSIwRictRjA2L1EiLEYnRjNGNkY5RjsvRj9GNUZARkJGREZGRkhGSi9GTlEsMC4zMzMzMzMzZW1GJy1GMDYvUSMuLkYnRjNGNkY5RjtGPkZARkJGREZGRkgvRktRLDAuMjIyMjIyMmVtRidGTS1GMDYvUSIuRidGM0Y2RjlGO0Y+RkBGQkZERkZGSEZKRk1GX3AtRmpuNiVGXG8tRiM2Ji1GLDYnUSJuRidGM0ZSRjZGOUZlb0Znb0Zqb0ZccEZlb0Znb0Zqb0YzRjZGOUYvLUYsNidRI2lzRidGM0ZSRjZGOUYvLUYsNidRKnN5bW1ldHJpY0YnRjNGUkY2RjlGLy1GMDYvUSNpZkYnRjNGNkY5RjtGPkZARkJGREZGRkhGSkZNLUYwNi1GMkZqb0Y7Rj5GQEZCRkRGRkZIRkpGTUZdckZXLUZlbjYmLUYjNiotRmpuNiVGXG8tRiM2Jy1GLDYnUSomZXBzaWxvbjtGJ0YzRlJGNkY5LUZlbjYmRl9vRjNGNkY5RmVvRmdvRmpvRlxwRl9wRmVwRl9wLUZqbjYlRlxvLUYjNidGZ3ItRmVuNiZGX3FGM0Y2RjlGZW9GZ29Gam9GXHBGZW9GZ29Gam9GM0Y2RjktRjA2L1EiPUYnRjNGNkY5RjtGPkZARkJGREZGRkgvRktRLDAuMjc3Nzc3OGVtRicvRk5GZnNGV0ZaRi8tRjA2L1EkZm9yRidGM0Y2RjlGO0Y+RkBGQkZERkZGSEZKRk1GLy1GLDYnUSRhbnlGJ0YzRlJGNkY5Ri8tRiw2J1EscGVybXV0YXRpb25GJ0YzRlJGNkY5Ri9GZ3JGLy1GLDYnUSNvZkYnRjNGUkY2RjlGLy1GLDYnUSdkZWdyZWVGJ0YzRlJGNkY5Ri9GYXFGanBGZW9GZ29Gam8= LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzY7LUkjbWlHRiQ2J1EjV2VGJy8lJWJvbGRHUSV0cnVlRicvJSdpdGFsaWNHUSZmYWxzZUYnLyUsbWF0aHZhcmlhbnRHUSVib2xkRicvJStmb250d2VpZ2h0R0Y3LUkjbW9HRiQ2L1EifkYnRi9GNUY4LyUmZmVuY2VHRjQvJSpzZXBhcmF0b3JHRjQvJSlzdHJldGNoeUdGNC8lKnN5bW1ldHJpY0dGNC8lKGxhcmdlb3BHRjQvJS5tb3ZhYmxlbGltaXRzR0Y0LyUnYWNjZW50R0Y0LyUnbHNwYWNlR1EmMC4wZW1GJy8lJ3JzcGFjZUdGTi1GLDYnUShjb25maW5lRidGL0YyRjVGOEY6LUYsNidRKm91cnNlbHZlc0YnRi9GMkY1RjhGOi1GOzYvUSN0b0YnRi9GNUY4Rj5GQEZCRkRGRkZIRkpGTEZPRjotRiw2J1EkdGhlRidGL0YyRjVGOEY6LUYsNidRLHBvbHlub21pYWxzRidGL0YyRjVGOEY6LUYsNidRKG92ZXJ0aGVGJ0YvRjJGNUY4RjotRiw2J1EmZmllbGRGJ0YvRjJGNUY4RjotRiw2J1Ejb2ZGJ0YvRjJGNUY4RjotRiw2J1EoY29tcGxleEYnRi9GMkY1RjhGOi1GLDYnUShudW1iZXJzRidGL0YyRjVGOC1GOzYvUSIuRidGL0Y1RjhGPkZARkJGREZGRkhGSkZMRk8vJStleGVjdXRhYmxlR0YxLyUwZm9udF9zdHlsZV9uYW1lR1EpMkR+SW5wdXRGJy9GNlEnbm9ybWFsRic= LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYxLUkjbWlHRiQ2J1EkVGhlRicvJSVib2xkR1EldHJ1ZUYnLyUnaXRhbGljR1EmZmFsc2VGJy8lLG1hdGh2YXJpYW50R1ElYm9sZEYnLyUrZm9udHdlaWdodEdGNy1JI21vR0YkNi9RIn5GJ0YvRjVGOC8lJmZlbmNlR0Y0LyUqc2VwYXJhdG9yR0Y0LyUpc3RyZXRjaHlHRjQvJSpzeW1tZXRyaWNHRjQvJShsYXJnZW9wR0Y0LyUubW92YWJsZWxpbWl0c0dGNC8lJ2FjY2VudEdGNC8lJ2xzcGFjZUdRJjAuMGVtRicvJSdyc3BhY2VHRk4tRiw2J1ElbW9zdEYnRi9GMkY1RjhGOi1GLDYnUSppbXBvcnRhbnRGJ0YvRjJGNUY4RjotRiw2J1Eqc3ltbWV0cmljRidGL0YyRjVGOEY6LUYsNidRLHBvbHlub21pYWxzRidGL0YyRjVGOEY6LUYsNidRJGFyZUYnRi9GMkY1RjhGOi8lK2V4ZWN1dGFibGVHRjEvJTBmb250X3N0eWxlX25hbWVHUSkyRH5JbnB1dEYnL0Y2USdub3JtYWxGJw== LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYtLUkjbWlHRiQ2J1EiaUYnLyUlYm9sZEdRJXRydWVGJy8lJ2l0YWxpY0dRJmZhbHNlRicvJSxtYXRodmFyaWFudEdRJWJvbGRGJy8lK2ZvbnR3ZWlnaHRHRjctSSNtb0dGJDYvUSIpRidGL0Y1RjgvJSZmZW5jZUdGMS8lKnNlcGFyYXRvckdGNC8lKXN0cmV0Y2h5R0YxLyUqc3ltbWV0cmljR0Y0LyUobGFyZ2VvcEdGNC8lLm1vdmFibGVsaW1pdHNHRjQvJSdhY2NlbnRHRjQvJSdsc3BhY2VHUSwwLjE2NjY2NjdlbUYnLyUncnNwYWNlR0ZOLUY7Ni9RIn5GJ0YvRjVGOC9GP0Y0RkAvRkNGNEZERkZGSEZKL0ZNUSYwLjBlbUYnL0ZQRlctRiw2J1ErZWxlbWVudGFyeUYnRi9GMkY1RjhGUS1GLDYnUSpzeW1tZXRyaWNGJ0YvRjJGNUY4RlEtRiw2J1EscG9seW5vbWlhbHNGJ0YvRjJGNUY4LyUrZXhlY3V0YWJsZUdGMS8lMGZvbnRfc3R5bGVfbmFtZUdRKTJEfklucHV0RicvRjZRJ25vcm1hbEYn JSFHLUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzZOLUkjbWlHRiQ2I1EhRictSSVtc3ViR0YkNiUtRiw2KFEoJnNpZ21hO0YnLyUlYm9sZEdRJXRydWVGJy8lJ2l0YWxpY0dRJmZhbHNlRicvJTZzZWxlY3Rpb24tcGxhY2Vob2xkZXJHRjcvJSxtYXRodmFyaWFudEdRJWJvbGRGJy8lK2ZvbnR3ZWlnaHRHRj8tRiM2Ji1JI21uR0YkNiZRIjFGJ0Y1Rj1GQC8lK2V4ZWN1dGFibGVHRjcvJTBmb250X3N0eWxlX25hbWVHUSkyRH5JbnB1dEYnL0Y+USdub3JtYWxGJy8lL3N1YnNjcmlwdHNoaWZ0R1EiMEYnLUkjbW9HRiQ2L1EiPUYnRjVGPUZALyUmZmVuY2VHRjovJSpzZXBhcmF0b3JHRjovJSlzdHJldGNoeUdGOi8lKnN5bW1ldHJpY0dGOi8lKGxhcmdlb3BHRjovJS5tb3ZhYmxlbGltaXRzR0Y6LyUnYWNjZW50R0Y6LyUnbHNwYWNlR1EsMC4yNzc3Nzc4ZW1GJy8lJ3JzcGFjZUdGYG8tSSttdW5kZXJvdmVyR0YkNictRlM2L1EmJlN1bTtGJ0Y1Rj1GQC9GV1EmdW5zZXRGJy9GWUZqby9GZW5GNy9GZ25Gam8vRmluRjcvRltvRjcvRl1vRmpvL0Zfb1EmMC4wZW1GJy9GYm9RLDAuMTY2NjY2N2VtRictRiM2KC1GLDYnUSJpRidGNUY4Rj1GQEZSRkRGSEZKRk0tRiM2Ji1GLDYnUSJuRidGNUY4Rj1GQEZIRkpGTUZcby8lLGFjY2VudHVuZGVyR0Y6LUYwNiUtRiw2J1EieEYnRjVGOEY9RkAtRiM2JkZncEZIRkpGTUZPLUZTNjBRIn5GJ0Y1RjtGPUZARlZGWEZaRmZuRmhuRmpuRlxvRmFwL0Zib0ZicC1GUzYwUSIsRidGNUY7Rj1GQEZWL0ZZRjdGWkZmbkZobkZqbkZcb0ZhcC9GYm9RLDAuMzMzMzMzM2VtRidGaHFGaHEtRjA2JUYyLUYjNiYtRkU2JlEiMkYnRjVGPUZARkhGSkZNRk9GUi1GZG82J0Zmby1GIzYoRmdwLUZTNi9RIjxGJ0Y1Rj1GQEZWRlhGWkZmbkZobkZqbkZcb0Zeb0Zhby1GLDYnUSJqRidGNUY4Rj1GQEZIRkpGTUYrRlxvRl9xRmFxLUYwNiVGY3EtRiM2JkZgc0ZIRkpGTUZPLUZTNi9GanFGNUY9RkBGVkZYRlpGZm5GaG5Gam5GXG9GYXBGW3JGZ3MtRlM2L0ZeckY1Rj1GQEZWRl9yRlpGZm5GaG5Gam5GXG9GYXBGYHJGZ3MtRjA2JUYyLUYjNiYtRkU2JlEiM0YnRjVGPUZARkhGSkZNRk9GUi1GZG82J0Zmby1GIzYqRmdwRl1zRmBzRl1zLUYsNidRImtGJ0Y1RjhGPUZARkhGSkZNRitGXG9GX3FGYXFGY3MtRjA2JUZjcS1GIzYmRmZ0RkhGSkZNRk9GZ3NGaXMtRlM2LkZqcUY7Rk1GVkZYRlpGZm5GaG5Gam5GXG9GYXBGW3ItRlM2MFEjLi5GJ0Y1RjtGPUZARlZGWEZaRmZuRmhuRmpuRlxvL0Zfb1EsMC4yMjIyMjIyZW1GJ0Zbci1GUzYwUSIuRidGNUY7Rj1GQEZWRlhGWkZmbkZobkZqbkZcb0ZhcEZbckZcci1GMDYlRjJGanBGT0ZSLUYwNiVGY3FGQkZPLUYwNiVGY3FGZHJGTy1GUzYvRmF1RjVGPUZARlZGWEZaRmZuRmhuRmpuRlxvRmJ1RltyLUZTNi9GZnVGNUY9RkBGVkZYRlpGZm5GaG5Gam5GXG9GYXBGW3ItRjA2JUZjcUZqcEZPRl92LUZTNi1GanFGTUZWRlhGWkZmbkZobkZqbkZcb0ZhcEZbckZjdkZjdkZIRkpGTQ== LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYpLUkjbWlHRiQ2J1EjaWlGJy8lJWJvbGRHUSV0cnVlRicvJSdpdGFsaWNHUSZmYWxzZUYnLyUsbWF0aHZhcmlhbnRHUSVib2xkRicvJStmb250d2VpZ2h0R0Y3LUkjbW9HRiQ2L1EiKUYnRi9GNUY4LyUmZmVuY2VHRjEvJSpzZXBhcmF0b3JHRjQvJSlzdHJldGNoeUdGMS8lKnN5bW1ldHJpY0dGNC8lKGxhcmdlb3BHRjQvJS5tb3ZhYmxlbGltaXRzR0Y0LyUnYWNjZW50R0Y0LyUnbHNwYWNlR1EsMC4xNjY2NjY3ZW1GJy8lJ3JzcGFjZUdGTi1GOzYvUSJ+RidGL0Y1RjgvRj9GNEZAL0ZDRjRGREZGRkhGSi9GTVEmMC4wZW1GJy9GUEZXLUYsNidRJnBvd2VyRidGL0YyRjVGOEZRLUYsNidRJXN1bXNGJ0YvRjJGNUY4L0Y2USdub3JtYWxGJw== LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzY8LUkjbW9HRiQ2L1EifkYnLyUlYm9sZEdRJXRydWVGJy8lLG1hdGh2YXJpYW50R1ElYm9sZEYnLyUrZm9udHdlaWdodEdGNC8lJmZlbmNlR1EmZmFsc2VGJy8lKnNlcGFyYXRvckdGOS8lKXN0cmV0Y2h5R0Y5LyUqc3ltbWV0cmljR0Y5LyUobGFyZ2VvcEdGOS8lLm1vdmFibGVsaW1pdHNHRjkvJSdhY2NlbnRHRjkvJSdsc3BhY2VHUSYwLjBlbUYnLyUncnNwYWNlR0ZIRitGK0YrRistSSVtc3ViR0YkNiUtSSNtaUdGJDYnUSJzRidGLy8lJ2l0YWxpY0dGOUYyRjUtRiM2Ji1GTzYnUSJyRidGL0ZSRjJGNS8lK2V4ZWN1dGFibGVHRjEvJTBmb250X3N0eWxlX25hbWVHUSkyRH5JbnB1dEYnL0YzUSdub3JtYWxGJy8lL3N1YnNjcmlwdHNoaWZ0R1EiMEYnLUYsNi9RIj1GJ0YvRjJGNUY3RjpGPEY+RkBGQkZEL0ZHUSwwLjI3Nzc3NzhlbUYnL0ZKRmFvLUkrbXVuZGVyb3ZlckdGJDYnLUYsNi9RJiZTdW07RidGL0YyRjUvRjhRJnVuc2V0RicvRjtGam8vRj1GMS9GP0Zqby9GQUYxL0ZDRjEvRkVGam9GRi9GSlEsMC4xNjY2NjY3ZW1GJy1GIzYoLUZPNidRImlGJ0YvRlJGMkY1Rl1vLUkjbW5HRiQ2JlEiMUYnRi9GMkY1RllGZW5GaG4tRiM2Ji1GTzYnUSJuRidGL0ZSRjJGNUZZRmVuRmhuRkQvJSxhY2NlbnR1bmRlckdGOS1JKG1zdWJzdXBHRiQ2KC1GTzYnUSJ4RidGL0ZSRjJGNS1GIzYmRmVwRllGZW5GaG5GVC8lMXN1cGVyc2NyaXB0c2hpZnRHRlxvRmpuL0krbXNlbWFudGljc0dGJFEsW25vbmUsbm9uZV1GJ0YrRistRiw2L1EiLEYnRi9GMkY1RjcvRjtGMUY8Rj5GQEZCRkRGRi9GSlEsMC4zMzMzMzMzZW1GJ0YrRitGVkZdb0ZocEZgci1GLDYvUSMuLkYnRi9GMkY1RjdGOkY8Rj5GQEZCRkQvRkdRLDAuMjIyMjIyMmVtRidGSS1GLDYvUSIuRidGL0YyRjVGN0Y6RjxGPkZARkJGREZGRklGYHJGXnFGW3NGWUZlbkZobg== LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYoLUkjbWlHRiQ2J1EoVGhlb3JlbUYnLyUlYm9sZEdRJXRydWVGJy8lJ2l0YWxpY0dRJmZhbHNlRicvJSxtYXRodmFyaWFudEdRJWJvbGRGJy8lK2ZvbnR3ZWlnaHRHRjctSSNtb0dGJDYvUSJ+RidGL0Y1RjgvJSZmZW5jZUdGNC8lKnNlcGFyYXRvckdGNC8lKXN0cmV0Y2h5R0Y0LyUqc3ltbWV0cmljR0Y0LyUobGFyZ2VvcEdGNC8lLm1vdmFibGVsaW1pdHNHRjQvJSdhY2NlbnRHRjQvJSdsc3BhY2VHUSYwLjBlbUYnLyUncnNwYWNlR0ZOLUkjbW5HRiQ2JlEiMUYnRi9GNUY4LyUrZXhlY3V0YWJsZUdGMS8lMGZvbnRfc3R5bGVfbmFtZUdRKTJEfklucHV0RicvRjZRJ25vcm1hbEYn LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYsLUkjbWlHRiQ2J1EsRnVuZGFtZW50YWxGJy8lJWJvbGRHUSV0cnVlRicvJSdpdGFsaWNHUSZmYWxzZUYnLyUsbWF0aHZhcmlhbnRHUSVib2xkRicvJStmb250d2VpZ2h0R0Y3LUkjbW9HRiQ2L1EifkYnRi9GNUY4LyUmZmVuY2VHRjQvJSpzZXBhcmF0b3JHRjQvJSlzdHJldGNoeUdGNC8lKnN5bW1ldHJpY0dGNC8lKGxhcmdlb3BHRjQvJS5tb3ZhYmxlbGltaXRzR0Y0LyUnYWNjZW50R0Y0LyUnbHNwYWNlR1EmMC4wZW1GJy8lJ3JzcGFjZUdGTi1GLDYnUSpUaGVvcmVtb2ZGJ0YvRjJGNUY4RjotRiw2J1EqU3ltbWV0cmljRidGL0YyRjVGOEY6LUYsNidRLFBvbHlub21pYWxzRidGL0YyRjVGOC8lK2V4ZWN1dGFibGVHRjEvJTBmb250X3N0eWxlX25hbWVHUSkyRH5JbnB1dEYnL0Y2USdub3JtYWxGJw== LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzZJLUkjbWlHRiQ2J1EmRXZlcnlGJy8lJWJvbGRHUSV0cnVlRicvJSdpdGFsaWNHUSZmYWxzZUYnLyUsbWF0aHZhcmlhbnRHUSVib2xkRicvJStmb250d2VpZ2h0R0Y3LUkjbW9HRiQ2L1EifkYnRi9GNUY4LyUmZmVuY2VHRjQvJSpzZXBhcmF0b3JHRjQvJSlzdHJldGNoeUdGNC8lKnN5bW1ldHJpY0dGNC8lKGxhcmdlb3BHRjQvJS5tb3ZhYmxlbGltaXRzR0Y0LyUnYWNjZW50R0Y0LyUnbHNwYWNlR1EmMC4wZW1GJy8lJ3JzcGFjZUdGTi1GLDYnUSpzeW1tZXRyaWNGJ0YvRjJGNUY4RjotRiw2J1ErcG9seW5vbWlhbEYnRi9GMkY1RjgtRjs2LUY9L0Y2USdub3JtYWxGJ0Y+RkBGQkZERkZGSEZKRkxGTy1GLDYnUSJmRidGL0YyRjVGOC1JKG1mZW5jZWRHRiQ2Ji1GIzYrLUklbXN1YkdGJDYlLUYsNidRInhGJ0YvRjJGNUY4LUYjNiYtSSNtbkdGJDYmUSIxRidGL0Y1RjgvJStleGVjdXRhYmxlR0YxLyUwZm9udF9zdHlsZV9uYW1lR1EpMkR+SW5wdXRGJ0ZZLyUvc3Vic2NyaXB0c2hpZnRHUSIwRictRjs2L1EiLEYnRi9GNUY4Rj4vRkFGMUZCRkRGRkZIRkpGTC9GUFEsMC4zMzMzMzMzZW1GJy1GOzYvUSMuLkYnRi9GNUY4Rj5GQEZCRkRGRkZIRkovRk1RLDAuMjIyMjIyMmVtRidGTy1GOzYvUSIuRidGL0Y1RjhGPkZARkJGREZGRkhGSkZMRk9GYXAtRl5vNiVGYG8tRiM2Ji1GLDYnUSJuRidGL0YyRjVGOEZpb0ZbcEZZRl5wRmlvRltwRllGL0Y1RjgtRjs2LkY9LyU2c2VsZWN0aW9uLXBsYWNlaG9sZGVyR0YxRllGPkZARkJGREZGRkhGSkZMRk8tRiw2KFEkY2FuRidGL0YyRmhxRjVGOC1GOzYwRj1GL0ZocUY1RjhGPkZARkJGREZGRkhGSkZMRk8tRiw2KFEjYmVGJ0YvRjJGaHFGNUY4Rl1yLUYsNihRKmV4cHJlc3NlZEYnRi9GMkZocUY1RjhGXXItRiw2KFEpdW5pcXVlbHlGJ0YvRjJGaHFGNUY4Rl1yLUYsNihRI2FzRidGL0YyRmhxRjVGOEZdci1GLDYoUSJhRidGL0YyRmhxRjVGOEZdci1GLDYoRlZGL0YyRmhxRjVGOEZdci1GOzYwUSNpbkYnRi9GaHFGNUY4Rj5GQEZCRkRGRkZIRkpGTEZPRl1yRmZxLUZebzYlLUYsNihRKCZzaWdtYTtGJ0YvRjJGaHFGNUY4RmNvRl5wLUY7NjBGY3BGL0ZocUY1RjhGPkZkcEZCRkRGRkZIRkpGTEZlcC1GXm82JUZlcy1GIzYmLUZmbzYmUSIyRidGL0Y1RjhGaW9GW3BGWUZecEZocy1GOzYwRmlwRi9GaHFGNUY4Rj5GQEZCRkRGRkZIRkpGanBGTy1GOzYwRl5xRi9GaHFGNUY4Rj5GQEZCRkRGRkZIRkpGTEZPRl1yRmhzLUZebzYlRmVzRmFxRl5wRlxxRmlvRltwRlk= LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYoLUkjbWlHRiQ2J1EoVGhlb3JlbUYnLyUlYm9sZEdRJXRydWVGJy8lJ2l0YWxpY0dRJmZhbHNlRicvJSxtYXRodmFyaWFudEdRJWJvbGRGJy8lK2ZvbnR3ZWlnaHRHRjctSSNtb0dGJDYvUSJ+RidGL0Y1RjgvJSZmZW5jZUdGNC8lKnNlcGFyYXRvckdGNC8lKXN0cmV0Y2h5R0Y0LyUqc3ltbWV0cmljR0Y0LyUobGFyZ2VvcEdGNC8lLm1vdmFibGVsaW1pdHNHRjQvJSdhY2NlbnRHRjQvJSdsc3BhY2VHUSYwLjBlbUYnLyUncnNwYWNlR0ZOLUkjbW5HRiQ2JlEiMkYnRi9GNUY4LyUrZXhlY3V0YWJsZUdGMS8lMGZvbnRfc3R5bGVfbmFtZUdRKTJEfklucHV0RicvRjZRJ25vcm1hbEYn LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzZILUkjbWlHRiQ2J1EmRXZlcnlGJy8lJWJvbGRHUSV0cnVlRicvJSdpdGFsaWNHUSZmYWxzZUYnLyUsbWF0aHZhcmlhbnRHUSVib2xkRicvJStmb250d2VpZ2h0R0Y3LUkjbW9HRiQ2L1EifkYnRi9GNUY4LyUmZmVuY2VHRjQvJSpzZXBhcmF0b3JHRjQvJSlzdHJldGNoeUdGNC8lKnN5bW1ldHJpY0dGNC8lKGxhcmdlb3BHRjQvJS5tb3ZhYmxlbGltaXRzR0Y0LyUnYWNjZW50R0Y0LyUnbHNwYWNlR1EmMC4wZW1GJy8lJ3JzcGFjZUdGTi1GLDYnUSpzeW1tZXRyaWNGJ0YvRjJGNUY4RjotRiw2J1ErcG9seW5vbWlhbEYnRi9GMkY1RjgtRjs2LUY9L0Y2USdub3JtYWxGJ0Y+RkBGQkZERkZGSEZKRkxGTy1GLDYnUSJmRidGL0YyRjVGOC1JKG1mZW5jZWRHRiQ2Ji1GIzYrLUklbXN1YkdGJDYlLUYsNidRInhGJ0YvRjJGNUY4LUYjNiYtSSNtbkdGJDYmUSIxRidGL0Y1RjgvJStleGVjdXRhYmxlR0YxLyUwZm9udF9zdHlsZV9uYW1lR1EpMkR+SW5wdXRGJ0ZZLyUvc3Vic2NyaXB0c2hpZnRHUSIwRictRjs2L1EiLEYnRi9GNUY4Rj4vRkFGMUZCRkRGRkZIRkpGTC9GUFEsMC4zMzMzMzMzZW1GJy1GOzYvUSMuLkYnRi9GNUY4Rj5GQEZCRkRGRkZIRkovRk1RLDAuMjIyMjIyMmVtRidGTy1GOzYvUSIuRidGL0Y1RjhGPkZARkJGREZGRkhGSkZMRk9GYXAtRl5vNiVGYG8tRiM2Ji1GLDYnUSJuRidGL0YyRjVGOEZpb0ZbcEZZRl5wRmlvRltwRllGL0Y1RjgtRjs2LkY9LyU2c2VsZWN0aW9uLXBsYWNlaG9sZGVyR0YxRllGPkZARkJGREZGRkhGSkZMRk8tRiw2KFEkY2FuRidGL0YyRmhxRjVGOC1GOzYwRj1GL0ZocUY1RjhGPkZARkJGREZGRkhGSkZMRk8tRiw2KFEjYmVGJ0YvRjJGaHFGNUY4Rl1yLUYsNihRKmV4cHJlc3NlZEYnRi9GMkZocUY1RjhGXXItRiw2KFEpdW5pcXVlbHlGJ0YvRjJGaHFGNUY4Rl1yLUYsNihRI2FzRidGL0YyRmhxRjVGOEZdci1GLDYoUSJhRidGL0YyRmhxRjVGOEZdci1GLDYoRlZGL0YyRmhxRjVGOEZdci1GOzYvUSNpbkYnRi9GNUY4Rj5GQEZCRkRGRkZIRkpGTEZPRldGVy1GXm82JS1GLDYnUSJzRidGL0YyRjVGOEZjb0ZecEZhcC1GXm82JUZlcy1GIzYmLUZmbzYmUSIyRidGL0Y1RjhGaW9GW3BGWUZecEZhcEZncEZccUZhcC1GXm82JUZlc0ZhcUZecEZccUZpb0ZbcEZZ LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYqLUkjbWlHRiQ2J1EnTmV3dG9uRicvJSVib2xkR1EldHJ1ZUYnLyUnaXRhbGljR1EmZmFsc2VGJy8lLG1hdGh2YXJpYW50R1ElYm9sZEYnLyUrZm9udHdlaWdodEdGNy1JI21vR0YkNi9RIidGJ0YvRjVGOC8lJmZlbmNlR0Y0LyUqc2VwYXJhdG9yR0Y0LyUpc3RyZXRjaHlHRjQvJSpzeW1tZXRyaWNHRjQvJShsYXJnZW9wR0Y0LyUubW92YWJsZWxpbWl0c0dGNC8lJ2FjY2VudEdGNC8lJ2xzcGFjZUdRLDAuMTExMTExMWVtRicvJSdyc3BhY2VHUSYwLjBlbUYnLUYsNidRInNGJ0YvRjJGNUY4LUY7Ni9RIn5GJ0YvRjVGOEY+RkBGQkZERkZGSEZKL0ZNRlFGTy1GLDYnUShGb3JtdWxhRidGL0YyRjVGOC8lK2V4ZWN1dGFibGVHRjEvJTBmb250X3N0eWxlX25hbWVHUSkyRH5JbnB1dEYnL0Y2USdub3JtYWxGJw== LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzZobi1JI21vR0YkNi1RIn5GJy8lLG1hdGh2YXJpYW50R1Enbm9ybWFsRicvJSZmZW5jZUdRJmZhbHNlRicvJSpzZXBhcmF0b3JHRjQvJSlzdHJldGNoeUdGNC8lKnN5bW1ldHJpY0dGNC8lKGxhcmdlb3BHRjQvJS5tb3ZhYmxlbGltaXRzR0Y0LyUnYWNjZW50R0Y0LyUnbHNwYWNlR1EmMC4wZW1GJy8lJ3JzcGFjZUdGQ0YrRitGKy1JJW1zdWJHRiQ2JS1JI21pR0YkNidRInNGJy8lJWJvbGRHUSV0cnVlRicvJSdpdGFsaWNHRjQvRjBRJWJvbGRGJy8lK2ZvbnR3ZWlnaHRHRlMtRiM2Ji1GSjYnUSJrRidGTUZQRlJGVC8lK2V4ZWN1dGFibGVHRk8vJTBmb250X3N0eWxlX25hbWVHUSkyRH5JbnB1dEYnRi8vJS9zdWJzY3JpcHRzaGlmdEdRIjBGJy1GLDYwUSgmbWludXM7RidGTS8lNnNlbGVjdGlvbi1wbGFjZWhvbGRlckdGT0ZSRlRGMkY1RjdGOUY7Rj1GPy9GQlEsMC4yMjIyMjIyZW1GJy9GRUZjby1GRzYlLUZKNihRKCZzaWdtYTtGJ0ZNRlBGYG9GUkZULUYjNiYtSSNtbkdGJDYmUSIxRidGTUZSRlRGZW5GZ25GL0Zqbi1GRzYlRkktRiM2KEZYLUYsNi9GX29GTUZSRlRGMkY1RjdGOUY7Rj1GP0Zib0Zkb0ZccEZlbkZnbkYvRmpuLUYsNi9RIitGJ0ZNRlJGVEYyRjVGN0Y5RjtGPUY/RmJvRmRvLUYsNi9RIy4uRidGTUZSRlRGMkY1RjdGOUY7Rj1GP0Zib0ZELUYsNi9RIi5GJ0ZNRlJGVEYyRjVGN0Y5RjtGPUY/RkFGREZmcC1JJW1zdXBHRiQ2JS1JKG1mZW5jZWRHRiQ2Ji1GIzYnLUYsNi9RKiZ1bWludXMwO0YnRk1GUkZURjJGNUY3RjlGO0Y9Rj9GYm9GZG9GXHBGZW5GZ25GL0ZNRlJGVEZicC8lMXN1cGVyc2NyaXB0c2hpZnRHRlxvLUZHNiVGZ29GYnBGam5GZW9GZnAtRmBxNiVGYnFGVkZqcS1GRzYlLUZKNihRKWsmc2lnbWE7RidGTUZQRmBvRlJGVEZWRmpuLUYsNi9RIj1GJ0ZNRlJGVEYyRjVGN0Y5RjtGPUY/L0ZCUSwwLjI3Nzc3NzhlbUYnL0ZFRmlyLUZdcDYmRlxvRk1GUkZULUYsNi9GLkZNRlJGVEYyRjVGN0Y5RjtGPUY/RkFGREYrRistRiw2L1EkZm9yRidGTUZSRlRGMkY1RjdGOUY7Rj1GP0ZBRkRGKy1GSjYnUSRhbGxGJ0ZNRlBGUkZURl1zRlgtRiw2L1EvJkdyZWF0ZXJFcXVhbDtGJ0ZNRlJGVEYyRjVGN0Y5RjtGPUY/RmhyRmpyRlxwLUYsNi9RIixGJ0ZNRlJGVEYyL0Y2Rk9GN0Y5RjtGPUY/RkEvRkVRLDAuMzMzMzMzM2VtRidGXXMtRko2J1Emd2hlcmVGJ0ZNRlBGUkZURl1zLUZHNiVGZ28tRiM2JkZbc0ZlbkZnbkYvRmpuLUYsNjBGZ3JGTUZgb0ZSRlRGMkY1RjdGOUY7Rj1GP0ZockZqci1GXXA2J0ZfcEZNRmBvRlJGVC1GLDYuRi5GYG9GL0YyRjVGN0Y5RjtGPUY/RkFGRC1GLDYwUSRhbmRGJ0ZNRmBvRlJGVEYyRjVGN0Y5RjtGPUY/RkFGREZpdC1GRzYlRmdvLUYjNiYtRko2J1EiaUYnRk1GUEZSRlRGZW5GZ25GL0Zqbi1GLDYtRmdyRi9GMkY1RjdGOUY7Rj1GP0ZockZqckZbc0Zdc0YrRl9zRitGYnUtRiw2L1EiPEYnRk1GUkZURjJGNUY3RjlGO0Y9Rj9GaHJGanJGW3NGKy1GLDYvUSNvckYnRk1GUkZURjJGNUY3RjlGO0Y9Rj9GQUZERl1zRmJ1LUYsNi9RIj5GJ0ZNRlJGVEYyRjVGN0Y5RjtGPUY/RmhyRmpyLUZKNidRIm5GJ0ZNRlBGUkZURlxxRmVuRmduRi8= LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzZgby1JI21pR0YkNidRJVRoaXNGJy8lJWJvbGRHUSV0cnVlRicvJSdpdGFsaWNHUSZmYWxzZUYnLyUsbWF0aHZhcmlhbnRHUSVib2xkRicvJStmb250d2VpZ2h0R0Y3LUkjbW9HRiQ2L1EifkYnRi9GNUY4LyUmZmVuY2VHRjQvJSpzZXBhcmF0b3JHRjQvJSlzdHJldGNoeUdGNC8lKnN5bW1ldHJpY0dGNC8lKGxhcmdlb3BHRjQvJS5tb3ZhYmxlbGltaXRzR0Y0LyUnYWNjZW50R0Y0LyUnbHNwYWNlR1EmMC4wZW1GJy8lJ3JzcGFjZUdGTi1GLDYnUSpyZWN1cnNpdmVGJ0YvRjJGNUY4RjotRiw2J1EoZm9ybXVsYUYnRi9GMkY1RjhGOi1GLDYnUShlbmFibGVzRidGL0YyRjVGOEY6LUYsNidRI3VzRidGL0YyRjVGOC1GOzYtRj0vRjZRJ25vcm1hbEYnRj5GQEZCRkRGRkZIRkpGTEZPLUY7Ni9RI3RvRidGL0Y1RjhGPkZARkJGREZGRkhGSkZMRk9GZ24tRiw2J1EoZXhwcmVzc0YnRi9GMkY1RjhGOi1JJW1zdWJHRiQ2JS1GLDYnUSJzRidGL0YyRjVGOC1GIzYmLUYsNidRImtGJ0YvRjJGNUY4LyUrZXhlY3V0YWJsZUdGMS8lMGZvbnRfc3R5bGVfbmFtZUdRKTJEfklucHV0RidGaW4vJS9zdWJzY3JpcHRzaGlmdEdRIjBGJ0Znbi1GOzYvUSNpbkYnRi9GNUY4Rj5GQEZCRkRGRkZIRkpGTEZPRmduLUYsNidRJnRlcm1zRidGL0YyRjVGOEY6LUYsNidRI29mRidGL0YyRjVGOEY6RmduLUZibzYlLUYsNihRKCZzaWdtYTtGJ0YvRjIvJTZzZWxlY3Rpb24tcGxhY2Vob2xkZXJHRjFGNUY4LUYjNiYtSSNtbkdGJDYmUSIxRidGL0Y1RjhGXHBGXnBGaW5GYXAtRjs2MFEiLEYnRi9GYnFGNUY4Rj4vRkFGMUZCRkRGRkZIRkpGTC9GUFEsMC4zMzMzMzMzZW1GJy1GYm82JUZfcS1GIzYmLUZncTYmUSIyRidGL0Y1RjhGXHBGXnBGaW5GYXBGanEtRjs2MFEjLi5GJ0YvRmJxRjVGOEY+RkBGQkZERkZGSEZKL0ZNUSwwLjIyMjIyMjJlbUYnRk8tRjs2MFEiLkYnRi9GYnFGNUY4Rj5GQEZCRkRGRkZIRkpGTEZPLUY7NjBGPUYvRmJxRjVGOEY+RkBGQkZERkZGSEZKRkxGT0ZqcS1GYm82JUZfcUZnb0ZhcEY6LUY7NjBRJGFuZEYnRi9GYnFGNUY4Rj5GQEZCRkRGRkZIRkpGTEZPLUY7Ni5GPUZicUZpbkY+RkBGQkZERkZGSEZKRkxGT0Zhc0ZnbkZnbkZkcEZnbkZncEY6RmpwRjotRmJvNiVGZG9GZHFGYXAtRjs2L0ZcckYvRjVGOEY+Rl1yRkJGREZGRkhGSkZMRl5yLUZibzYlRmRvRmJyRmFwRmpzLUY7Ni9GaXJGL0Y1RjhGPkZARkJGREZGRkhGSkZqckZPLUY7Ni9GXnNGL0Y1RjhGPkZARkJGREZGRkhGSkZMRk9GanNGYW9GOi1GOzYvUSNieUYnRi9GNUY4Rj5GQEZCRkRGRkZIRkpGTEZPRmduLUYsNidRJnVzaW5nRidGL0YyRjVGOEY6LUYsNidRJ2xpbmVhckYnRi9GMkY1RjhGOi1GLDYnUShzeXN0ZW1zRidGL0YyRjVGOEY6RmpwRjotRiw2J1EqZXF1YXRpb25zRidGL0YyRjVGOEZgdEZccEZecEZpbg== LUkjbWlHNiMvSSttb2R1bGVuYW1lRzYiSSxUeXBlc2V0dGluZ0dJKF9zeXNsaWJHRic2KFErUmVmZXJlbmNlc0YnLyUlYm9sZEdRJXRydWVGJy8lJ2l0YWxpY0dRJmZhbHNlRicvJSp1bmRlcmxpbmVHRi4vJSxtYXRodmFyaWFudEdRJWJvbGRGJy8lK2ZvbnR3ZWlnaHRHRjY= LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzZLLUkobWZlbmNlZEdGJDYoLUYjNiYtSSNtbkdGJDYmUSIxRicvJSVib2xkR1EldHJ1ZUYnLyUsbWF0aHZhcmlhbnRHUSVib2xkRicvJStmb250d2VpZ2h0R0Y5LyUrZXhlY3V0YWJsZUdGNi8lMGZvbnRfc3R5bGVfbmFtZUdRKTJEfklucHV0RicvRjhRJ25vcm1hbEYnRjRGN0Y6LyUlb3BlbkdRIltGJy8lJmNsb3NlR1EiXUYnLUkjbW9HRiQ2L1EifkYnRjRGN0Y6LyUmZmVuY2VHUSZmYWxzZUYnLyUqc2VwYXJhdG9yR0ZPLyUpc3RyZXRjaHlHRk8vJSpzeW1tZXRyaWNHRk8vJShsYXJnZW9wR0ZPLyUubW92YWJsZWxpbWl0c0dGTy8lJ2FjY2VudEdGTy8lJ2xzcGFjZUdRJjAuMGVtRicvJSdyc3BhY2VHRmhuRkktSSNtaUdGJDYnUSJDRidGNC8lJ2l0YWxpY0dGT0Y3RjotRko2L1EiLkYnRjRGN0Y6Rk1GUEZSRlRGVkZYRlpGZm5GaW4tRlxvNidRJkRhdmlkRidGNEZfb0Y3RjpGSS1GXG82J1EkQ294RidGNEZfb0Y3RjotRko2L1EiLEYnRjRGN0Y6Rk0vRlFGNkZSRlRGVkZYRlpGZm4vRmpuUSwwLjMzMzMzMzNlbUYnLUZcbzYnUSVKb2huRidGNEZfb0Y3RjpGSS1GXG82J1EnTGl0dGxlRidGNEZfb0Y3RjpGam8tRlxvNidRJkRvbmFsRidGNEZfb0Y3RjpGSS1GXG82J1EiT0YnRjRGX29GN0Y6LUZKNi9RIidGJ0Y0RjdGOkZNRlBGUkZURlZGWEZaL0ZnblEsMC4xMTExMTExZW1GJ0Zpbi1GXG82J1ElU2hlYUYnRjRGX29GN0Y6RmpvRkktRlxvNidRJ0lkZWFsc0YnRjRGX29GN0Y6RmpvLUZcbzYnUSpWYXJpZXRpZXNGJ0Y0Rl9vRjdGOkZqby1GXG82J1EkQW5kRidGNEZfb0Y3RjpGSS1GXG82J1ErQWxnb3JpdGhtc0YnRjRGX29GN0Y6RmFvRkktRjE2JlEiM0YnRjRGN0Y6RkktRlxvNidRI3JkRidGNEZfb0Y3RjpGSS1GXG82J1EoZWRpdGlvbkYnRjRGX29GN0Y6RkktRlxvNidRKVNwcmluZ2VyRidGNEZfb0Y3RjpGSS1GMTYmUSYyMDA3LkYnRjRGN0Y6RjxGPkZB LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzZGLUkobWZlbmNlZEdGJDYoLUYjNiYtSSNtbkdGJDYmUSIyRicvJSVib2xkR1EldHJ1ZUYnLyUsbWF0aHZhcmlhbnRHUSVib2xkRicvJStmb250d2VpZ2h0R0Y5LyUrZXhlY3V0YWJsZUdGNi8lMGZvbnRfc3R5bGVfbmFtZUdRKTJEfklucHV0RicvRjhRJ25vcm1hbEYnRjRGN0Y6LyUlb3BlbkdRIltGJy8lJmNsb3NlR1EiXUYnLUkjbW9HRiQ2L1EifkYnRjRGN0Y6LyUmZmVuY2VHUSZmYWxzZUYnLyUqc2VwYXJhdG9yR0ZPLyUpc3RyZXRjaHlHRk8vJSpzeW1tZXRyaWNHRk8vJShsYXJnZW9wR0ZPLyUubW92YWJsZWxpbWl0c0dGTy8lJ2FjY2VudEdGTy8lJ2xzcGFjZUdRJjAuMGVtRicvJSdyc3BhY2VHRmhuRkktSSNtaUdGJDYnUSZEYXZpZEYnRjQvJSdpdGFsaWNHRk9GN0Y6RkktRlxvNidRIlNGJ0Y0Rl9vRjdGOi1GSjYvUSIuRidGNEY3RjpGTUZQRlJGVEZWRlhGWkZmbkZpbkZJLUZcbzYnUSdEdW1taXRGJ0Y0Rl9vRjdGOi1GSjYvUSIsRidGNEY3RjpGTS9GUUY2RlJGVEZWRlhGWkZmbi9Gam5RLDAuMzMzMzMzM2VtRictRlxvNidRKFJpY2hhcmRGJ0Y0Rl9vRjdGOkZJLUZcbzYnUSJNRidGNEZfb0Y3RjpGZG9GSS1GXG82J1EmRm9vdGVGJ0Y0Rl9vRjdGOkZqb0ZJLUZcbzYnUSlBQlNUUkFDVEYnRjRGX29GN0Y6RkktRlxvNidRKEFMR0VCUkFGJ0Y0Rl9vRjdGOkZkb0ZJRjAtRlxvNidRI25kRidGNEZfb0Y3RjpGSS1GXG82J1EoZWRpdGlvbkYnRjRGX29GN0Y6RkktRlxvNidRKVByZW50aWNlRidGNEZfb0Y3RjotRko2L1EoJm1pbnVzO0YnRjRGN0Y6Rk1GUEZSRlRGVkZYRlovRmduUSwwLjIyMjIyMjJlbUYnL0ZqbkZcci1GXG82J1ElSGFsbEYnRjRGX29GN0Y6RkktRjE2JlEmMTk5OS5GJ0Y0RjdGOkY8Rj5GQQ== LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYnLUkjbWlHRiQ2KFErUHJvY2VkdXJlc0YnLyUlYm9sZEdRJXRydWVGJy8lJ2l0YWxpY0dRJmZhbHNlRicvJSp1bmRlcmxpbmVHRjEvJSxtYXRodmFyaWFudEdRJWJvbGRGJy8lK2ZvbnR3ZWlnaHRHRjktSSNtb0dGJDYvUSIuRidGL0Y3RjovJSZmZW5jZUdGNC8lKnNlcGFyYXRvckdGNC8lKXN0cmV0Y2h5R0Y0LyUqc3ltbWV0cmljR0Y0LyUobGFyZ2VvcEdGNC8lLm1vdmFibGVsaW1pdHNHRjQvJSdhY2NlbnRHRjQvJSdsc3BhY2VHUSYwLjBlbUYnLyUncnNwYWNlR0ZQLyUrZXhlY3V0YWJsZUdGMS8lMGZvbnRfc3R5bGVfbmFtZUdRKTJEfklucHV0RicvRjhRJ25vcm1hbEYn LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzZHLUkjbWlHRiQ2J1EkVGhlRicvJSVib2xkR1EldHJ1ZUYnLyUnaXRhbGljR1EmZmFsc2VGJy8lLG1hdGh2YXJpYW50R1ElYm9sZEYnLyUrZm9udHdlaWdodEdGNy1JI21vR0YkNi9RIn5GJ0YvRjVGOC8lJmZlbmNlR0Y0LyUqc2VwYXJhdG9yR0Y0LyUpc3RyZXRjaHlHRjQvJSpzeW1tZXRyaWNHRjQvJShsYXJnZW9wR0Y0LyUubW92YWJsZWxpbWl0c0dGNC8lJ2FjY2VudEdGNC8lJ2xzcGFjZUdRJjAuMGVtRicvJSdyc3BhY2VHRk4tRiw2J1EqZm9sbG93aW5nRidGL0YyRjVGOEY6LUYsNidRJHNpeEYnRi9GMkY1RjhGOi1GLDYnUStwcm9jZWR1cmVzRidGL0YyRjVGOEY6LUYsNidRKW9yZ2FuaXplRidGL0YyRjVGOEY6LUYsNidRJHRoZUYnRi9GMkY1RjhGOi1GLDYnUSZiYXNpY0YnRi9GMkY1RjhGOi1GLDYnUS1jb21wdXRhdGlvbnNGJ0YvRjJGNUY4RjotRiw2J1ErY29uY2VybmluZ0YnRi9GMkY1RjhGOi1GLDYnUSpzeW1tZXRyaWNGJ0YvRjJGNUY4RjotRiw2J1EscG9seW5vbWlhbHNGJ0YvRjJGNUY4LUY7Ni9RIi5GJ0YvRjVGOEY+RkBGQkZERkZGSEZKRkxGT0Y6LUYsNidRJVRoZXlGJ0YvRjJGNUY4RjotRiw2J1EkYXJlRidGL0YyRjVGOEY6LUYsNidRKHdyaXR0ZW5GJ0YvRjJGNUY4RjotRjs2L1EjaW5GJ0YvRjVGOEY+RkBGQkZERkZGSEZKRkxGT0Y6LUYsNidRJk1hcGxlRidGL0YyRjVGOEY6LUkjbW5HRiQ2JlEkMTMuRidGL0Y1RjgvJStleGVjdXRhYmxlR0YxLyUwZm9udF9zdHlsZV9uYW1lR1EpMkR+SW5wdXRGJy9GNlEnbm9ybWFsRic= LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYlLUkjbW9HRiQ2LVEiI0YnLyUsbWF0aHZhcmlhbnRHUSdub3JtYWxGJy8lJmZlbmNlR1EmZmFsc2VGJy8lKnNlcGFyYXRvckdGNC8lKXN0cmV0Y2h5R0Y0LyUqc3ltbWV0cmljR0Y0LyUobGFyZ2VvcEdGNC8lLm1vdmFibGVsaW1pdHNHRjQvJSdhY2NlbnRHRjQvJSdsc3BhY2VHUSYwLjBlbUYnLyUncnNwYWNlR0ZDLUkjbWlHRiQ2JVEkYH5gRicvJSdpdGFsaWNHUSV0cnVlRicvRjBRJ2l0YWxpY0YnLUZHNidRLFByb2NlZHVyZX4xRicvJSVib2xkR0ZML0ZLRjQvRjBRJWJvbGRGJy8lK2ZvbnR3ZWlnaHRHRlY= LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYlLUkjbW9HRiQ2LVEiI0YnLyUsbWF0aHZhcmlhbnRHUSdub3JtYWxGJy8lJmZlbmNlR1EmZmFsc2VGJy8lKnNlcGFyYXRvckdGNC8lKXN0cmV0Y2h5R0Y0LyUqc3ltbWV0cmljR0Y0LyUobGFyZ2VvcEdGNC8lLm1vdmFibGVsaW1pdHNHRjQvJSdhY2NlbnRHRjQvJSdsc3BhY2VHUSYwLjBlbUYnLyUncnNwYWNlR0ZDLUkjbWlHRiQ2JVEkYH5gRicvJSdpdGFsaWNHUSV0cnVlRicvRjBRJ2l0YWxpY0YnLUZHNidRWlRvfmNoZWNrfmlmfmF+Z2l2ZW5+bXVsdGl2YXJpYXRlfnBvbHlub21pYWx+aXN+c3ltbWV0cmljLkYnLyUlYm9sZEdGTC9GS0Y0L0YwUSVib2xkRicvJStmb250d2VpZ2h0R0ZW LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYnLUkjbW9HRiQ2LVEiI0YnLyUsbWF0aHZhcmlhbnRHUSdub3JtYWxGJy8lJmZlbmNlR1EmZmFsc2VGJy8lKnNlcGFyYXRvckdGNC8lKXN0cmV0Y2h5R0Y0LyUqc3ltbWV0cmljR0Y0LyUobGFyZ2VvcEdGNC8lLm1vdmFibGVsaW1pdHNHRjQvJSdhY2NlbnRHRjQvJSdsc3BhY2VHUSYwLjBlbUYnLyUncnNwYWNlR0ZDLUkjbWlHRiQ2JVEkYH5gRicvJSdpdGFsaWNHUSV0cnVlRicvRjBRJ2l0YWxpY0YnLUZHNidROFRoZX5hcmd1bWVudHN+aW5jbHVkZX5+RicvJSVib2xkR0ZML0ZLRjQvRjBRJWJvbGRGJy8lK2ZvbnR3ZWlnaHRHRlYtSShtZmVuY2VkR0YkNiYtRiM2Li1GRzYnUSVwb2x5RidGUkZURlVGVy1GLDYvUSIsRidGUkZVRldGMi9GNkZMRjdGOUY7Rj1GP0ZBL0ZFUSwwLjMzMzMzMzNlbUYnLUZHNidRJXZhcjFGJ0ZSRlRGVUZXRltvLUZHNidRJXZhcjJGJ0ZSRlRGVUZXRltvLUYsNi9RIy4uRidGUkZVRldGMkY1RjdGOUY7Rj1GPy9GQlEsMC4yMjIyMjIyZW1GJ0ZELUYsNi9RIi5GJ0ZSRlVGV0YyRjVGN0Y5RjtGPUY/RkFGREZbby1GRzYnUSR2YXJGJ0ZSRlRGVUZXLUYsNi9RIn5GJ0ZSRlVGV0YyRjVGN0Y5RjtGPUY/RkFGRC1GRzYnUSJuRidGUkZURlVGV0ZSRlVGVy1GLDYtRl5wRi9GMkY1RjdGOUY7Rj1GP0ZBRkQ= JSFH LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYkLUkjbWlHRiQ2JVEocmVzdGFydEYnLyUnaXRhbGljR1EldHJ1ZUYnLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGJy1JI21vR0YkNi1RIjtGJy9GM1Enbm9ybWFsRicvJSZmZW5jZUdRJmZhbHNlRicvJSpzZXBhcmF0b3JHRjEvJSlzdHJldGNoeUdGPS8lKnN5bW1ldHJpY0dGPS8lKGxhcmdlb3BHRj0vJS5tb3ZhYmxlbGltaXRzR0Y9LyUnYWNjZW50R0Y9LyUnbHNwYWNlR1EmMC4wZW1GJy8lJ3JzcGFjZUdRLDAuMjc3Nzc3OGVtRic= with(ListTools):with(combinat):with(PolynomialTools):with(Groebner): chk:=proc() local V, A, p, L, K, N, KK; V:=[seq(args[i],i=2..nargs)]; A:=[seq(sigma[i],i=1..nargs-1)]; p:=simplify(expand(mul(x_-args[i],i=2..nargs)),x_); L := Reverse([seq((-1)^(r+nargs-1)*coeff(p, x_, r), r = 0..nargs-2)])-A; K:=Basis(L,tdeg(V[])); N:=NormalForm(args[1],K,tdeg(V[])); KK:=Basis(A,tdeg(A[])); NormalForm(N,KK,tdeg(A[])); if is(NormalForm(N,KK,tdeg(A[]))=0) then print("symmetric")else print("not symmetric")fi; end proc;

Zio2IjYpSSJWR0YjSSJBR0YjSSJwR0YjSSJMR0YjSSJLR0YjSSJOR0YjSSNLS0dGI0YjRiNDKz44JDcjLUkkc2VxRyUqcHJvdGVjdGVkRzYkJjkiNiNJImlHRiMvRjc7IiIjOSM+OCU3Iy1GMTYkJkkmc2lnbWFHRiNGNi9GNzsiIiIsJkY7RkUhIiJGRT44Ji1JKXNpbXBsaWZ5R0YjNiQtSSdleHBhbmRHRjI2Iy1JJG11bEdGMjYkLCZJI3hfR0YjRkVGNEZHRjhGVD44JywmLV9JKkxpc3RUb29sc0c2JEYySShfc3lzbGliR0YjSShSZXZlcnNlR0YjNiM3Iy1GMTYkKiYpRkcsKEkickdGI0ZFRjtGRUZHRkVGRS1JJmNvZWZmR0YyNiVGSUZURl9vRkUvRl9vOyIiISwmRjtGRSEiI0ZFRkVGPUZHPjgoLV9JKUdyb2VibmVyR0ZlbkkmQmFzaXNHRiM2JEZWLUkldGRlZ0dGIzYjJkYuRiM+OCktX0ZccEkrTm9ybWFsRm9ybUdGIzYlJkY1NiNGRUZpb0ZfcD44Ki1GW3A2JEY9LUZgcDYjJkY9RiMtRmZwNiVGZHBGXHFGX3FAJS1JI2lzR0YjNiMvRmJxRmVvLUkmcHJpbnRHRjI2I1Eqc3ltbWV0cmljRiMtRmpxNiNRLm5vdH5zeW1tZXRyaWNGI0YjRiNGIw==

LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYkLUkjbW9HRiQ2L1EiI0YnLyUlYm9sZEdRJXRydWVGJy8lLG1hdGh2YXJpYW50R1ElYm9sZEYnLyUrZm9udHdlaWdodEdGNC8lJmZlbmNlR1EmZmFsc2VGJy8lKnNlcGFyYXRvckdGOS8lKXN0cmV0Y2h5R0Y5LyUqc3ltbWV0cmljR0Y5LyUobGFyZ2VvcEdGOS8lLm1vdmFibGVsaW1pdHNHRjkvJSdhY2NlbnRHRjkvJSdsc3BhY2VHUSYwLjBlbUYnLyUncnNwYWNlR0ZILUkjbWlHRiQ2J1EqfkV4YW1wbGVzRidGLy8lJ2l0YWxpY0dGOUYyRjU= LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYsLUkjbWlHRiQ2JVEiZkYnLyUnaXRhbGljR1EldHJ1ZUYnLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGJy1JI21vR0YkNi1RKiZjb2xvbmVxO0YnL0YzUSdub3JtYWxGJy8lJmZlbmNlR1EmZmFsc2VGJy8lKnNlcGFyYXRvckdGPS8lKXN0cmV0Y2h5R0Y9LyUqc3ltbWV0cmljR0Y9LyUobGFyZ2VvcEdGPS8lLm1vdmFibGVsaW1pdHNHRj0vJSdhY2NlbnRHRj0vJSdsc3BhY2VHUSwwLjI3Nzc3NzhlbUYnLyUncnNwYWNlR0ZMLUklbXN1cEdGJDYlLUYsNiVRInhGJ0YvRjItRiM2Iy1JI21uR0YkNiRRIjJGJ0Y5LyUxc3VwZXJzY3JpcHRzaGlmdEdRIjBGJy1GNjYtUSIrRidGOUY7Rj5GQEZCRkRGRkZIL0ZLUSwwLjIyMjIyMjJlbUYnL0ZORlxvLUZQNiUtRiw2JVEieUYnRi9GMkZVRmVuRmhuLUZQNiUtRiw2JVEiekYnRi9GMkZVRmVuRmhuLUZQNiUtRiw2JVEid0YnRi9GMkZVRmVuLUY2Ni1RIjtGJ0Y5RjsvRj9GMUZARkJGREZGRkgvRktRJjAuMGVtRidGTQ==

LCoqJEkid0c2IiIiIyIiIiokSSJ4R0YlRiZGJyokSSJ5R0YlRiZGJyokSSJ6R0YlRiZGJw==

LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYlLUkjbWlHRiQ2JVEkY2hrRicvJSdpdGFsaWNHUSV0cnVlRicvJSxtYXRodmFyaWFudEdRJ2l0YWxpY0YnLUkobWZlbmNlZEdGJDYkLUYjNistRiw2JVEiZkYnRi9GMi1JI21vR0YkNi1RIixGJy9GM1Enbm9ybWFsRicvJSZmZW5jZUdRJmZhbHNlRicvJSpzZXBhcmF0b3JHRjEvJSlzdHJldGNoeUdGRS8lKnN5bW1ldHJpY0dGRS8lKGxhcmdlb3BHRkUvJS5tb3ZhYmxlbGltaXRzR0ZFLyUnYWNjZW50R0ZFLyUnbHNwYWNlR1EmMC4wZW1GJy8lJ3JzcGFjZUdRLDAuMzMzMzMzM2VtRictRiw2JVEieEYnRi9GMkY9LUYsNiVRInlGJ0YvRjJGPS1GLDYlUSJ6RidGL0YyRj0tRiw2JVEid0YnRi9GMkZBLUY+Ni1RIjtGJ0ZBRkNGRkZIRkpGTEZORlBGUi9GVlEsMC4yNzc3Nzc4ZW1GJw==

USpzeW1tZXRyaWM2Ig==

JSFH LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYlLUkjbWlHRiQ2JVEkY2hrRicvJSdpdGFsaWNHUSV0cnVlRicvJSxtYXRodmFyaWFudEdRJ2l0YWxpY0YnLUkobWZlbmNlZEdGJDYkLUYjNi8tRiw2JVEieEYnRi9GMi1JI21vR0YkNi1RIitGJy9GM1Enbm9ybWFsRicvJSZmZW5jZUdRJmZhbHNlRicvJSpzZXBhcmF0b3JHRkUvJSlzdHJldGNoeUdGRS8lKnN5bW1ldHJpY0dGRS8lKGxhcmdlb3BHRkUvJS5tb3ZhYmxlbGltaXRzR0ZFLyUnYWNjZW50R0ZFLyUnbHNwYWNlR1EsMC4yMjIyMjIyZW1GJy8lJ3JzcGFjZUdGVC1JI21uR0YkNiRRIjNGJ0ZBLUY+Ni1RJyZzZG90O0YnRkFGQ0ZGRkhGSkZMRk5GUC9GU1EmMC4wZW1GJy9GVkZpbi1GLDYlUSJ5RidGL0YyRj0tRiw2JVEiekYnRi9GMi1GPjYtUSIsRidGQUZDL0ZHRjFGSEZKRkxGTkZQRmhuL0ZWUSwwLjMzMzMzMzNlbUYnRjpGYW9GW29GYW9GXm9GQS1GPjYtUSI7RidGQUZDRmRvRkhGSkZMRk5GUEZobi9GVlEsMC4yNzc3Nzc4ZW1GJw==

US5ub3R+c3ltbWV0cmljNiI=

LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYqLUkjbWlHRiQ2JVEoJkRlbHRhO0YnLyUnaXRhbGljR1EmZmFsc2VGJy8lLG1hdGh2YXJpYW50R1Enbm9ybWFsRictSSNtb0dGJDYtUSomY29sb25lcTtGJ0YyLyUmZmVuY2VHRjEvJSpzZXBhcmF0b3JHRjEvJSlzdHJldGNoeUdGMS8lKnN5bW1ldHJpY0dGMS8lKGxhcmdlb3BHRjEvJS5tb3ZhYmxlbGltaXRzR0YxLyUnYWNjZW50R0YxLyUnbHNwYWNlR1EsMC4yNzc3Nzc4ZW1GJy8lJ3JzcGFjZUdGSS1JJW1zdXBHRiQ2JS1JKG1mZW5jZWRHRiQ2JC1GIzYlLUYsNiVRImFGJ0YvRjItRjY2LVEoJm1pbnVzO0YnRjJGOUY7Rj1GP0ZBRkNGRS9GSFEsMC4yMjIyMjIyZW1GJy9GS0Zlbi1GLDYlUSJiRidGL0YyRjItRiM2Iy1JI21uR0YkNiRRIjJGJ0YyLyUxc3VwZXJzY3JpcHRzaGlmdEdRIjBGJy1GNjYtUScmc2RvdDtGJ0YyRjlGO0Y9Rj9GQUZDRkUvRkhRJjAuMGVtRicvRktGZ28tRk02JS1GUDYkLUYjNiVGZ25GVy1GLDYlUSJjRidGL0YyRjJGam5GYG9GY28tRk02JS1GUDYkLUYjNiVGX3BGV0ZURjJGam5GYG8tRjY2LVEiO0YnRjJGOS9GPFEldHJ1ZUYnRj1GP0ZBRkNGRUZmb0ZK

KigsJkkiYUc2IiIiIkkiYkdGJSEiIiIiIywmRidGJkkiY0dGJUYoRiksJkYrRiZGJEYoRik=

LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYlLUkjbWlHRiQ2JVEkY2hrRicvJSdpdGFsaWNHUSV0cnVlRicvJSxtYXRodmFyaWFudEdRJ2l0YWxpY0YnLUkobWZlbmNlZEdGJDYkLUYjNiktRiw2JVEoJkRlbHRhO0YnL0YwUSZmYWxzZUYnL0YzUSdub3JtYWxGJy1JI21vR0YkNi1RIixGJ0Y/LyUmZmVuY2VHRj4vJSpzZXBhcmF0b3JHRjEvJSlzdHJldGNoeUdGPi8lKnN5bW1ldHJpY0dGPi8lKGxhcmdlb3BHRj4vJS5tb3ZhYmxlbGltaXRzR0Y+LyUnYWNjZW50R0Y+LyUnbHNwYWNlR1EmMC4wZW1GJy8lJ3JzcGFjZUdRLDAuMzMzMzMzM2VtRictRiw2JVEiYUYnRi9GMkZBLUYsNiVRImJGJ0YvRjJGQS1GLDYlUSJjRidGL0YyRj8tRkI2LVEiO0YnRj9GRUZHRklGS0ZNRk9GUUZTL0ZXUSwwLjI3Nzc3NzhlbUYn

USpzeW1tZXRyaWM2Ig==

LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYjLUkjbWlHRiQ2I1EhRic= LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYkLUkjbWlHRiQ2JVEkY2hrRicvJSdpdGFsaWNHUSV0cnVlRicvJSxtYXRodmFyaWFudEdRJ2l0YWxpY0YnLUkobWZlbmNlZEdGJDYkLUYjNi0tSShtc3Vic3VwR0YkNigtRiw2JVEieEYnRi9GMi1GIzYjLUkjbW5HRiQ2JFEiMUYnL0YzUSdub3JtYWxGJy1GIzYjLUZDNiRRIjNGJ0ZGLyUxc3VwZXJzY3JpcHRzaGlmdEdRIjBGJy8lL3N1YnNjcmlwdHNoaWZ0R0ZPL0krbXNlbWFudGljc0dGJFEsW25vbmUsbm9uZV1GJy1JI21vR0YkNi1RIitGJ0ZGLyUmZmVuY2VHUSZmYWxzZUYnLyUqc2VwYXJhdG9yR0Zlbi8lKXN0cmV0Y2h5R0Zlbi8lKnN5bW1ldHJpY0dGZW4vJShsYXJnZW9wR0Zlbi8lLm1vdmFibGVsaW1pdHNHRmVuLyUnYWNjZW50R0Zlbi8lJ2xzcGFjZUdRLDAuMjIyMjIyMmVtRicvJSdyc3BhY2VHRmRvLUY7NihGPS1GIzYjLUZDNiRRIjJGJ0ZGRkhGTUZQRlJGVS1GOzYoRj1GSEZIRk1GUEZSLUZWNi1RIixGJ0ZGRlkvRmduRjFGaG5Gam5GXG9GXm9GYG8vRmNvUSYwLjBlbUYnL0Zmb1EsMC4zMzMzMzMzZW1GJy1JJW1zdWJHRiQ2JUY9RkBGUEZgcC1GaXA2JUY9RmlvRlBGYHAtRmlwNiVGPUZIRlBGRg==

USpzeW1tZXRyaWM2Ig==

LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYnLUkjbW9HRiQ2LVEiI0YnLyUsbWF0aHZhcmlhbnRHUSdub3JtYWxGJy8lJmZlbmNlR1EmZmFsc2VGJy8lKnNlcGFyYXRvckdGNC8lKXN0cmV0Y2h5R0Y0LyUqc3ltbWV0cmljR0Y0LyUobGFyZ2VvcEdGNC8lLm1vdmFibGVsaW1pdHNHRjQvJSdhY2NlbnRHRjQvJSdsc3BhY2VHUSYwLjBlbUYnLyUncnNwYWNlR0ZDLUkjbWlHRiQ2JVEkYH5gRicvJSdpdGFsaWNHUSV0cnVlRicvRjBRJ2l0YWxpY0YnLUZHNidRKlByb2NlZHVyZUYnLyUlYm9sZEdGTC9GS0Y0L0YwUSVib2xkRicvJStmb250d2VpZ2h0R0ZWLUYsNi9RIn5GJ0ZSRlVGV0YyRjVGN0Y5RjtGPUY/RkFGRC1JI21uR0YkNiZRIjJGJ0ZSRlVGVw== LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzZALUkjbW9HRiQ2LVEiI0YnLyUsbWF0aHZhcmlhbnRHUSdub3JtYWxGJy8lJmZlbmNlR1EmZmFsc2VGJy8lKnNlcGFyYXRvckdGNC8lKXN0cmV0Y2h5R0Y0LyUqc3ltbWV0cmljR0Y0LyUobGFyZ2VvcEdGNC8lLm1vdmFibGVsaW1pdHNHRjQvJSdhY2NlbnRHRjQvJSdsc3BhY2VHUSYwLjBlbUYnLyUncnNwYWNlR0ZDLUkjbWlHRiQ2JVEkYH5gRicvJSdpdGFsaWNHUSV0cnVlRicvRjBRJ2l0YWxpY0YnLUZHNidRI1RvRicvJSVib2xkR0ZML0ZLRjQvRjBRJWJvbGRGJy8lK2ZvbnR3ZWlnaHRHRlYtRiw2L1EifkYnRlJGVUZXRjJGNUY3RjlGO0Y9Rj9GQUZELUZHNidRKGV4cHJlc3NGJ0ZSRlRGVUZXRlktRkc2J1EiYUYnRlJGVEZVRldGWS1GRzYnUSpzeW1tZXRyaWNGJ0ZSRlRGVUZXRllGWS1GRzYnUStwb2x5bm9taWFsRidGUkZURlVGV0ZZLUYsNi9RI2luRidGUkZVRldGMkY1RjdGOUY7Rj1GP0ZBRkQtRiw2LUZlbkYvRjJGNUY3RjlGO0Y9Rj9GQUZELUZHNidRJnRlcm1zRidGUkZURlVGV0ZZLUZHNidRI29mRidGUkZURlVGV0ZZRlktSSVtc3ViR0YkNiUtRkc2KFEoJnNpZ21hO0YnRlJGVC8lNnNlbGVjdGlvbi1wbGFjZWhvbGRlckdGTEZVRlctRiM2Iy1JI21uR0YkNiZRIjFGJ0ZSRlVGVy8lL3N1YnNjcmlwdHNoaWZ0R1EiMEYnLUYsNjBRIixGJ0ZSRmNwRlVGV0YyL0Y2RkxGN0Y5RjtGPUY/RkEvRkVRLDAuMzMzMzMzM2VtRictRl5wNiVGYHAtRiM2Iy1GaHA2JlEiMkYnRlJGVUZXRltxRl5xLUYsNjBRIy4uRidGUkZjcEZVRldGMkY1RjdGOUY7Rj1GPy9GQlEsMC4yMjIyMjIyZW1GJ0ZELUYsNjBRIi5GJ0ZSRmNwRlVGV0YyRjVGN0Y5RjtGPUY/RkFGRC1GLDYwRmVuRlJGY3BGVUZXRjJGNUY3RjlGO0Y9Rj9GQUZERl5xLUZecDYlRmBwLUYjNiMtRkc2J1EibkYnRlJGVEZVRldGW3EtRiw2LUZickYvRjJGNUY3RjlGO0Y9Rj9GQUZE LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYnLUkjbW9HRiQ2LVEiI0YnLyUsbWF0aHZhcmlhbnRHUSdub3JtYWxGJy8lJmZlbmNlR1EmZmFsc2VGJy8lKnNlcGFyYXRvckdGNC8lKXN0cmV0Y2h5R0Y0LyUqc3ltbWV0cmljR0Y0LyUobGFyZ2VvcEdGNC8lLm1vdmFibGVsaW1pdHNHRjQvJSdhY2NlbnRHRjQvJSdsc3BhY2VHUSYwLjBlbUYnLyUncnNwYWNlR0ZDLUkjbWlHRiQ2JVEkYH5gRicvJSdpdGFsaWNHUSV0cnVlRicvRjBRJ2l0YWxpY0YnLUZHNidROFRoZX5hcmd1bWVudHN+aW5jbHVkZX5+RicvJSVib2xkR0ZML0ZLRjQvRjBRJWJvbGRGJy8lK2ZvbnR3ZWlnaHRHRlYtSShtZmVuY2VkR0YkNiYtRiM2Li1GRzYnUSVwb2x5RidGUkZURlVGVy1GLDYvUSIsRidGUkZVRldGMi9GNkZMRjdGOUY7Rj1GP0ZBL0ZFUSwwLjMzMzMzMzNlbUYnLUZHNidRJXZhcjFGJ0ZSRlRGVUZXRltvLUZHNidRJXZhcjJGJ0ZSRlRGVUZXRltvLUYsNi9RIy4uRidGUkZVRldGMkY1RjdGOUY7Rj1GPy9GQlEsMC4yMjIyMjIyZW1GJ0ZELUYsNi9RIi5GJ0ZSRlVGV0YyRjVGN0Y5RjtGPUY/RkFGREZbby1GRzYnUSR2YXJGJ0ZSRlRGVUZXLUYsNi9RIn5GJ0ZSRlVGV0YyRjVGN0Y5RjtGPUY/RkFGRC1GRzYnUSJuRidGUkZURlVGV0ZSRlVGVy1GLDYtRl5wRi9GMkY1RjdGOUY7Rj1GP0ZBRkQ= LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYjLUkjbWlHRiQ2I1EhRic= JSFH LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYkLUkjbWlHRiQ2JVEocmVzdGFydEYnLyUnaXRhbGljR1EldHJ1ZUYnLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGJy1JI21vR0YkNi1RIjtGJy9GM1Enbm9ybWFsRicvJSZmZW5jZUdRJmZhbHNlRicvJSpzZXBhcmF0b3JHRjEvJSlzdHJldGNoeUdGPS8lKnN5bW1ldHJpY0dGPS8lKGxhcmdlb3BHRj0vJS5tb3ZhYmxlbGltaXRzR0Y9LyUnYWNjZW50R0Y9LyUnbHNwYWNlR1EmMC4wZW1GJy8lJ3JzcGFjZUdRLDAuMjc3Nzc3OGVtRic= LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYuLUkjbWlHRiQ2JVEld2l0aEYnLyUnaXRhbGljR1EldHJ1ZUYnLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGJy1JKG1mZW5jZWRHRiQ2JC1GIzYjLUYsNiVRKkxpc3RUb29sc0YnRi9GMi9GM1Enbm9ybWFsRictSSNtb0dGJDYtUSI6RidGPS8lJmZlbmNlR1EmZmFsc2VGJy8lKnNlcGFyYXRvckdGRS8lKXN0cmV0Y2h5R0ZFLyUqc3ltbWV0cmljR0ZFLyUobGFyZ2VvcEdGRS8lLm1vdmFibGVsaW1pdHNHRkUvJSdhY2NlbnRHRkUvJSdsc3BhY2VHUSwwLjI3Nzc3NzhlbUYnLyUncnNwYWNlR0ZURistRjY2JC1GIzYjLUYsNiVRKWNvbWJpbmF0RidGL0YyRj1GP0YrLUY2NiQtRiM2Iy1GLDYlUTBQb2x5bm9taWFsVG9vbHNGJ0YvRjJGPUY/RistRjY2JC1GIzYjLUYsNiVRKUdyb2VibmVyRidGL0YyRj1GPw== LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYjLUkjbWlHRiQ2I1EhRic= es:=proc() local V, A, p, L, K; V:=[seq(args[i],i=2..nargs)];A:=[seq(sigma[i],i=1..nargs-1)]; p:=simplify(expand(mul(x_-args[i],i=2..nargs)),x_); L := Reverse([seq((-1)^(r+nargs-1)*coeff(p, x_, r), r = 0..nargs-2)])-A; K:=Basis(L,tdeg(V[])); NormalForm(args[1],K,tdeg(V[])); end proc;

Zio2IjYnSSJWR0YjSSJBR0YjSSJwR0YjSSJMR0YjSSJLR0YjRiNGI0MoPjgkNyMtSSRzZXFHJSpwcm90ZWN0ZWRHNiQmOSI2I0kiaUdGIy9GNTsiIiM5Iz44JTcjLUYvNiQmSSZzaWdtYUdGI0Y0L0Y1OyIiIiwmRjlGQyEiIkZDPjgmLUkpc2ltcGxpZnlHRiM2JC1JJ2V4cGFuZEdGMDYjLUkkbXVsR0YwNiQsJkkjeF9HRiNGQ0YyRkVGNkZSPjgnLCYtX0kqTGlzdFRvb2xzRzYkRjBJKF9zeXNsaWJHRiNJKFJldmVyc2VHRiM2IzcjLUYvNiQqJilGRSwoSSJyR0YjRkNGOUZDRkVGQ0ZDLUkmY29lZmZHRjA2JUZHRlJGXW9GQy9GXW87IiIhLCZGOUZDISIjRkNGQ0Y7RkU+OCgtX0kpR3JvZWJuZXJHRllJJkJhc2lzR0YjNiRGVC1JJXRkZWdHRiM2IyZGLEYjLV9Gam9JK05vcm1hbEZvcm1HRiM2JSZGMzYjRkNGZ29GXXBGI0YjRiM=

LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYlLUkjbW9HRiQ2LVEiI0YnLyUsbWF0aHZhcmlhbnRHUSdub3JtYWxGJy8lJmZlbmNlR1EmZmFsc2VGJy8lKnNlcGFyYXRvckdGNC8lKXN0cmV0Y2h5R0Y0LyUqc3ltbWV0cmljR0Y0LyUobGFyZ2VvcEdGNC8lLm1vdmFibGVsaW1pdHNHRjQvJSdhY2NlbnRHRjQvJSdsc3BhY2VHUSYwLjBlbUYnLyUncnNwYWNlR0ZDLUkjbWlHRiQ2JVEkYH5gRicvJSdpdGFsaWNHRjRGLy1GRzYnUSpFeGFtcGxlc35GJy8lJWJvbGRHUSV0cnVlRidGSi9GMFElYm9sZEYnLyUrZm9udHdlaWdodEdGUw== es(x*y*z+y*z*w+x*z*w+x*y*w,x,y,z,w);

Jkkmc2lnbWFHNiI2IyIiJA==

LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYmLUkjbW9HRiQ2LVEifkYnLyUsbWF0aHZhcmlhbnRHUSdub3JtYWxGJy8lJmZlbmNlR1EmZmFsc2VGJy8lKnNlcGFyYXRvckdGNC8lKXN0cmV0Y2h5R0Y0LyUqc3ltbWV0cmljR0Y0LyUobGFyZ2VvcEdGNC8lLm1vdmFibGVsaW1pdHNHRjQvJSdhY2NlbnRHRjQvJSdsc3BhY2VHUSYwLjBlbUYnLyUncnNwYWNlR0ZDLUkjbWlHRiQ2JVEjZXNGJy8lJ2l0YWxpY0dRJXRydWVGJy9GMFEnaXRhbGljRictSShtZmVuY2VkR0YkNiQtRiM2Ki1GRzYjUSFGJy1GIzYoRlQtSSVtc3VwR0YkNiUtRlA2JC1GIzYlLUZHNiVRImFGJy9GS0Y0Ri8tRiw2LVEoJm1pbnVzO0YnRi9GMkY1RjdGOUY7Rj1GPy9GQlEsMC4yMjIyMjIyZW1GJy9GRUZiby1GRzYlUSJiRidGXW9GL0YvLUYjNiMtSSNtbkdGJDYkUSIyRidGLy8lMXN1cGVyc2NyaXB0c2hpZnRHUSIwRictRiw2LVEnJnNkb3Q7RidGL0YyRjVGN0Y5RjtGPUY/RkFGRC1GWjYlLUZQNiQtRiM2JUZkb0Zeby1GRzYlUSJjRidGXW9GL0YvRmdvRl1wRmBwLUZaNiUtRlA2JC1GIzYlRmlwRl5vRmpuRi9GZ29GXXAtRiw2LVEiLEYnRi9GMi9GNkZMRjdGOUY7Rj1GP0ZBL0ZFUSwwLjMzMzMzMzNlbUYnLUZHNiVGXG9GSkZNRmJxLUZHNiVGZm9GSkZNRmJxLUZHNiVGW3FGSkZNRi8tRiw2LVEiO0YnRi9GMkZlcUY3RjlGO0Y9Rj9GQS9GRVEsMC4yNzc3Nzc4ZW1GJw==

LCwqJiZJJnNpZ21hRzYiNiMiIiIiIiQmRiU2I0YpRighIiUqJkYkIiIjJkYlNiNGLkYuRigqKEYkRihGL0YoRipGKCIjPSokRi9GKUYsKiRGKkYuISNG

LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYlLUkjbWlHRiQ2JVEjZXNGJy8lJ2l0YWxpY0dRJXRydWVGJy8lLG1hdGh2YXJpYW50R1EnaXRhbGljRictSShtZmVuY2VkR0YkNiQtRiM2My1JJW1zdXBHRiQ2JS1GLDYlUSJ4RicvRjBRJmZhbHNlRicvRjNRJ25vcm1hbEYnLUYjNiMtSSNtbkdGJDYkUSIyRidGQi8lMXN1cGVyc2NyaXB0c2hpZnRHUSIwRictSSNtb0dGJDYtUScmc2RvdDtGJ0ZCLyUmZmVuY2VHRkEvJSpzZXBhcmF0b3JHRkEvJSlzdHJldGNoeUdGQS8lKnN5bW1ldHJpY0dGQS8lKGxhcmdlb3BHRkEvJS5tb3ZhYmxlbGltaXRzR0ZBLyUnYWNjZW50R0ZBLyUnbHNwYWNlR1EmMC4wZW1GJy8lJ3JzcGFjZUdGW28tRjs2JS1GLDYlUSJ5RidGQEZCRkRGSi1GTjYtUSIrRidGQkZRRlNGVUZXRllGZW5GZ24vRmpuUSwwLjIyMjIyMjJlbUYnL0Zdb0Znb0Zeb0ZNLUY7NiUtRiw2JVEiekYnRkBGQkZERkpGY29GaW9GTUY6LUZONi1RIixGJ0ZCRlEvRlRGMUZVRldGWUZlbkZnbkZpbi9GXW9RLDAuMzMzMzMzM2VtRidGPUZecEZgb0ZecEZbcEZCLUZONi1RIjtGJ0ZCRlFGYXBGVUZXRllGZW5GZ25GaW4vRl1vUSwwLjI3Nzc3NzhlbUYn

LCYqJiZJJnNpZ21hRzYiNiMiIiJGKCZGJTYjIiIkRighIiMqJCZGJTYjIiIjRjBGKA==

LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYlLUkjbWlHRiQ2JVEjZXNGJy8lJ2l0YWxpY0dRJXRydWVGJy8lLG1hdGh2YXJpYW50R1EnaXRhbGljRictSShtZmVuY2VkR0YkNiQtRiM2My1JKG1zdWJzdXBHRiQ2KC1GLDYlUSJ4RidGL0YyLUYjNiMtSSNtbkdGJDYkUSIxRicvRjNRJ25vcm1hbEYnLUYjNiMtRiw2I1EhRicvJTFzdXBlcnNjcmlwdHNoaWZ0R1EiMEYnLyUvc3Vic2NyaXB0c2hpZnRHRk8vSSttc2VtYW50aWNzR0YkUSxbbm9uZSxub25lXUYnLUkjbW9HRiQ2LVEnJnNkb3Q7RidGRi8lJmZlbmNlR1EmZmFsc2VGJy8lKnNlcGFyYXRvckdGZW4vJSlzdHJldGNoeUdGZW4vJSpzeW1tZXRyaWNHRmVuLyUobGFyZ2VvcEdGZW4vJS5tb3ZhYmxlbGltaXRzR0Zlbi8lJ2FjY2VudEdGZW4vJSdsc3BhY2VHUSYwLjBlbUYnLyUncnNwYWNlR0Zkby1GOzYoRj0tRiM2Iy1GQzYkUSIyRidGRkZIRk1GUEZSLUZWNi1RIitGJ0ZGRllGZm5GaG5Gam5GXG9GXm9GYG8vRmNvUSwwLjIyMjIyMjJlbUYnL0Zmb0ZicC1JJW1zdWJHRiQ2JUY9RmlvRlBGVS1GOzYoRj0tRiM2Iy1GQzYkUSIzRidGRkZIRk1GUEZSRl5wLUZlcDYlRj1GaXBGUEZVLUZlcDYlRj1GQEZQLUZWNi1RIixGJ0ZGRlkvRmduRjFGaG5Gam5GXG9GXm9GYG9GYm8vRmZvUSwwLjMzMzMzMzNlbUYnRmBxRmJxRmRwRmJxRl5xRkYtRlY2LVEiO0YnRkZGWUZlcUZobkZqbkZcb0Zeb0Zgb0Ziby9GZm9RLDAuMjc3Nzc3OGVtRic=

Jkkmc2lnbWFHNiI2IyIiIw==

LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYnLUkjbW9HRiQ2LVEiI0YnLyUsbWF0aHZhcmlhbnRHUSdub3JtYWxGJy8lJmZlbmNlR1EmZmFsc2VGJy8lKnNlcGFyYXRvckdGNC8lKXN0cmV0Y2h5R0Y0LyUqc3ltbWV0cmljR0Y0LyUobGFyZ2VvcEdGNC8lLm1vdmFibGVsaW1pdHNHRjQvJSdhY2NlbnRHRjQvJSdsc3BhY2VHUSYwLjBlbUYnLyUncnNwYWNlR0ZDLUkjbWlHRiQ2JVEkYH5gRicvJSdpdGFsaWNHUSV0cnVlRicvRjBRJ2l0YWxpY0YnLUZHNidRKlByb2NlZHVyZUYnLyUlYm9sZEdGTC9GS0Y0L0YwUSVib2xkRicvJStmb250d2VpZ2h0R0ZWLUYsNi9RIn5GJ0ZSRlVGV0YyRjVGN0Y5RjtGPUY/RkFGRC1JI21uR0YkNiZRIjNGJ0ZSRlVGVw== LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzY/LUkjbW9HRiQ2LVEiI0YnLyUsbWF0aHZhcmlhbnRHUSdub3JtYWxGJy8lJmZlbmNlR1EmZmFsc2VGJy8lKnNlcGFyYXRvckdGNC8lKXN0cmV0Y2h5R0Y0LyUqc3ltbWV0cmljR0Y0LyUobGFyZ2VvcEdGNC8lLm1vdmFibGVsaW1pdHNHRjQvJSdhY2NlbnRHRjQvJSdsc3BhY2VHUSYwLjBlbUYnLyUncnNwYWNlR0ZDLUkjbWlHRiQ2JVEkYH5gRicvJSdpdGFsaWNHUSV0cnVlRicvRjBRJ2l0YWxpY0YnLUZHNidRI1RvRicvJSVib2xkR0ZML0ZLRjQvRjBRJWJvbGRGJy8lK2ZvbnR3ZWlnaHRHRlYtRiw2L1EifkYnRlJGVUZXRjJGNUY3RjlGO0Y9Rj9GQUZELUZHNidRKGV4cHJlc3NGJ0ZSRlRGVUZXRlktRkc2J1EiYUYnRlJGVEZVRldGWS1GRzYnUSpzeW1tZXRyaWNGJ0ZSRlRGVUZXRllGWS1GRzYnUStwb2x5bm9taWFsRidGUkZURlVGV0ZZLUYsNi9RI2luRidGUkZVRldGMkY1RjdGOUY7Rj1GP0ZBRkQtRiw2LUZlbkYvRjJGNUY3RjlGO0Y9Rj9GQUZELUZHNidRJnRlcm1zRidGUkZURlVGV0ZZLUZHNidRI29mRidGUkZURlVGV0ZZRlktSSVtc3ViR0YkNiUtRkc2J1Eic0YnRlJGVEZVRlctRiM2Iy1JI21uR0YkNiZRIjFGJ0ZSRlVGVy8lL3N1YnNjcmlwdHNoaWZ0R1EiMEYnLUYsNi9RIixGJ0ZSRlVGV0YyL0Y2RkxGN0Y5RjtGPUY/RkEvRkVRLDAuMzMzMzMzM2VtRictRl5wNiVGYHAtRiM2Iy1GZnA2JlEiMkYnRlJGVUZXRmlwRlxxLUYsNi9RIy4uRidGUkZVRldGMkY1RjdGOUY7Rj1GPy9GQlEsMC4yMjIyMjIyZW1GJ0ZELUYsNi9RIi5GJ0ZSRlVGV0YyRjVGN0Y5RjtGPUY/RkFGREZccS1GXnA2JUZgcC1GIzYjLUZHNidRIm5GJ0ZSRlRGVUZXRmlwRl5y LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYnLUkjbW9HRiQ2LVEiI0YnLyUsbWF0aHZhcmlhbnRHUSdub3JtYWxGJy8lJmZlbmNlR1EmZmFsc2VGJy8lKnNlcGFyYXRvckdGNC8lKXN0cmV0Y2h5R0Y0LyUqc3ltbWV0cmljR0Y0LyUobGFyZ2VvcEdGNC8lLm1vdmFibGVsaW1pdHNHRjQvJSdhY2NlbnRHRjQvJSdsc3BhY2VHUSYwLjBlbUYnLyUncnNwYWNlR0ZDLUkjbWlHRiQ2JVEkYH5gRicvJSdpdGFsaWNHUSV0cnVlRicvRjBRJ2l0YWxpY0YnLUZHNidROFRoZX5hcmd1bWVudHN+aW5jbHVkZX5+RicvJSVib2xkR0ZML0ZLRjQvRjBRJWJvbGRGJy8lK2ZvbnR3ZWlnaHRHRlYtSShtZmVuY2VkR0YkNiYtRiM2Li1GRzYnUSVwb2x5RidGUkZURlVGVy1GLDYvUSIsRidGUkZVRldGMi9GNkZMRjdGOUY7Rj1GP0ZBL0ZFUSwwLjMzMzMzMzNlbUYnLUZHNidRJXZhcjFGJ0ZSRlRGVUZXRltvLUZHNidRJXZhcjJGJ0ZSRlRGVUZXRltvLUYsNi9RIy4uRidGUkZVRldGMkY1RjdGOUY7Rj1GPy9GQlEsMC4yMjIyMjIyZW1GJ0ZELUYsNi9RIi5GJ0ZSRlVGV0YyRjVGN0Y5RjtGPUY/RkFGREZbby1GRzYnUSR2YXJGJ0ZSRlRGVUZXLUYsNi9RIn5GJ0ZSRlVGV0YyRjVGN0Y5RjtGPUY/RkFGRC1GRzYnUSJuRidGUkZURlVGV0ZSRlVGVy1GLDYtRl5wRi9GMkY1RjdGOUY7Rj1GP0ZBRkQ= JSFH LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYkLUkjbWlHRiQ2JVEocmVzdGFydEYnLyUnaXRhbGljR1EldHJ1ZUYnLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGJy1JI21vR0YkNi1RIjtGJy9GM1Enbm9ybWFsRicvJSZmZW5jZUdRJmZhbHNlRicvJSpzZXBhcmF0b3JHRjEvJSlzdHJldGNoeUdGPS8lKnN5bW1ldHJpY0dGPS8lKGxhcmdlb3BHRj0vJS5tb3ZhYmxlbGltaXRzR0Y9LyUnYWNjZW50R0Y9LyUnbHNwYWNlR1EmMC4wZW1GJy8lJ3JzcGFjZUdRLDAuMjc3Nzc3OGVtRic= LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYuLUkjbWlHRiQ2JVEld2l0aEYnLyUnaXRhbGljR1EldHJ1ZUYnLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGJy1JKG1mZW5jZWRHRiQ2JC1GIzYjLUYsNiVRKkxpc3RUb29sc0YnRi9GMi9GM1Enbm9ybWFsRictSSNtb0dGJDYtUSI6RidGPS8lJmZlbmNlR1EmZmFsc2VGJy8lKnNlcGFyYXRvckdGRS8lKXN0cmV0Y2h5R0ZFLyUqc3ltbWV0cmljR0ZFLyUobGFyZ2VvcEdGRS8lLm1vdmFibGVsaW1pdHNHRkUvJSdhY2NlbnRHRkUvJSdsc3BhY2VHUSwwLjI3Nzc3NzhlbUYnLyUncnNwYWNlR0ZURistRjY2JC1GIzYjLUYsNiVRKWNvbWJpbmF0RidGL0YyRj1GP0YrLUY2NiQtRiM2Iy1GLDYlUTBQb2x5bm9taWFsVG9vbHNGJ0YvRjJGPUY/RistRjY2JC1GIzYjLUYsNiVRKUdyb2VibmVyRidGL0YyRj1GPw== LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYjLUkjbWlHRiQ2I1EhRic= LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYjLUkjbWlHRiQ2I1EhRic= ss:=proc() local L, LL, t, LLL, H, K; L:=[seq(args[i],i=2..nargs)]; LL:=[seq(map(x->x^r,L),r=1..nargs-1)]; t:=seq(s[i],i=1..nargs-1); LLL:=[seq(add(i,i in LL[u]),u=1..nops(LL))]; H:=LLL-[t]; K:=Basis(H,grlex(L[])); NormalForm(args[1],K,grlex(L[])); end proc;

Zio2IjYoSSJMR0YjSSNMTEdGI0kidEdGI0kkTExMR0YjSSJIR0YjSSJLR0YjRiNGI0MpPjgkNyMtSSRzZXFHJSpwcm90ZWN0ZWRHNiQmOSI2I0kiaUdGIy9GNjsiIiM5Iz44JTcjLUYwNiQtSSRtYXBHRjE2JGYqNiNJInhHRiNGIzYkSSlvcGVyYXRvckdGI0kmYXJyb3dHRiNGIyk5JEkickdGI0YjRiNGI0YtL0ZLOyIiIiwmRjpGTiEiIkZOPjgmLUYwNiQmSSJzR0YjRjUvRjZGTT44JzcjLUYwNiQtSSRhZGRHRjE2JEY2LUkjaW5HRjE2JEY2JkY8NiNJInVHRiMvRl9vO0ZOLUklbm9wc0dGMTYjRjw+OCgsJkZZRk43IywkRlJGUEZOPjgpLV9JKUdyb2VibmVyRzYkRjFJKF9zeXNsaWJHRiNJJkJhc2lzR0YjNiRGZm8tSSZncmxleEdGIzYjJkYtRiMtX0ZecEkrTm9ybWFsRm9ybUdGIzYlJkY0NiNGTkZbcEZjcEYjRiNGIw==

LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYkLUkjbW9HRiQ2L1EiI0YnLyUlYm9sZEdRJXRydWVGJy8lLG1hdGh2YXJpYW50R1ElYm9sZEYnLyUrZm9udHdlaWdodEdGNC8lJmZlbmNlR1EmZmFsc2VGJy8lKnNlcGFyYXRvckdGOS8lKXN0cmV0Y2h5R0Y5LyUqc3ltbWV0cmljR0Y5LyUobGFyZ2VvcEdGOS8lLm1vdmFibGVsaW1pdHNHRjkvJSdhY2NlbnRHRjkvJSdsc3BhY2VHUSYwLjBlbUYnLyUncnNwYWNlR0ZILUkjbWlHRiQ2J1EqfkV4YW1wbGVzRidGLy8lJ2l0YWxpY0dGOUYyRjU= LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYlLUkjbWlHRiQ2J1Ejc3NGJy8lJWJvbGRHUSV0cnVlRicvJSdpdGFsaWNHRjEvJSxtYXRodmFyaWFudEdRLGJvbGQtaXRhbGljRicvJStmb250d2VpZ2h0R1ElYm9sZEYnLUkobWZlbmNlZEdGJDYkLUYjNjMtRiw2J1EieEYnRi9GMkY0RjctSSNtb0dGJDYvUScmc2RvdDtGJ0YvL0Y1RjlGNy8lJmZlbmNlR1EmZmFsc2VGJy8lKnNlcGFyYXRvckdGSS8lKXN0cmV0Y2h5R0ZJLyUqc3ltbWV0cmljR0ZJLyUobGFyZ2VvcEdGSS8lLm1vdmFibGVsaW1pdHNHRkkvJSdhY2NlbnRHRkkvJSdsc3BhY2VHUSYwLjBlbUYnLyUncnNwYWNlR0ZYLUYsNidRInlGJ0YvRjJGNEY3LUZDNi9RIitGJ0YvRkZGN0ZHRkpGTEZORlBGUkZUL0ZXUSwwLjIyMjIyMjJlbUYnL0ZaRlxvRmVuRkItRiw2J1EiekYnRi9GMkY0RjdGaG5GXm9GQkY/LUZDNi9RIixGJ0YvRkZGN0ZHL0ZLRjFGTEZORlBGUkZURlYvRlpRLDAuMzMzMzMzM2VtRidGP0Zhb0ZlbkZhb0Zeby9GNVEnbm9ybWFsRictRkM2LVEiO0YnRmdvRkdGZG9GTEZORlBGUkZURlYvRlpRLDAuMjc3Nzc3OGVtRic=

LCYqJCZJInNHNiI2IyIiIiIiIyNGKEYpJkYlNiNGKSMhIiJGKQ==

ss(x^5+y^5+z^5, x, y, z);

LCoqJCZJInNHNiI2IyIiIiIiJiNGKCIiJyomRiQiIiQmRiU2IyIiI0YoIyEiJkYrKiZGJEYwJkYlNiNGLUYoI0YpRisqJkYuRihGNEYoRjY=

LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYwLUkjbWlHRiQ2JVEicUYnLyUnaXRhbGljR1EldHJ1ZUYnLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGJy1JI21vR0YkNi1RKiZjb2xvbmVxO0YnL0YzUSdub3JtYWxGJy8lJmZlbmNlR1EmZmFsc2VGJy8lKnNlcGFyYXRvckdGPS8lKXN0cmV0Y2h5R0Y9LyUqc3ltbWV0cmljR0Y9LyUobGFyZ2VvcEdGPS8lLm1vdmFibGVsaW1pdHNHRj0vJSdhY2NlbnRHRj0vJSdsc3BhY2VHUSwwLjI3Nzc3NzhlbUYnLyUncnNwYWNlR0ZMLUklbXN1cEdGJDYlLUYsNiVRInhGJ0YvRjItRiM2Iy1JI21uR0YkNiRRIjJGJ0Y5LyUxc3VwZXJzY3JpcHRzaGlmdEdRIjBGJy1GNjYtUScmc2RvdDtGJ0Y5RjtGPkZARkJGREZGRkgvRktRJjAuMGVtRicvRk5GXG8tRlA2JS1GLDYlUSJ5RidGL0YyRlVGZW4tRjY2LVEiK0YnRjlGO0Y+RkBGQkZERkZGSC9GS1EsMC4yMjIyMjIyZW1GJy9GTkZnb0Zeb0Zobi1GUDYlLUYsNiVRInpGJ0YvRjJGVUZlbkZjb0Zpb0ZobkZPLUY2Ni1RIjtGJ0Y5RjsvRj9GMUZARkJGREZGRkhGW29GTQ==

LCgqJkkieEc2IiIiI0kieUdGJUYmIiIiKiZGJEYmSSJ6R0YlRiZGKComRidGJkYqRiZGKA==

LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYlLUkjbWlHRiQ2JVEjc3NGJy8lJ2l0YWxpY0dRJXRydWVGJy8lLG1hdGh2YXJpYW50R1EnaXRhbGljRictSShtZmVuY2VkR0YkNiQtRiM2KS1GLDYlUSJxRidGL0YyLUkjbW9HRiQ2LVEiLEYnL0YzUSdub3JtYWxGJy8lJmZlbmNlR1EmZmFsc2VGJy8lKnNlcGFyYXRvckdGMS8lKXN0cmV0Y2h5R0ZFLyUqc3ltbWV0cmljR0ZFLyUobGFyZ2VvcEdGRS8lLm1vdmFibGVsaW1pdHNHRkUvJSdhY2NlbnRHRkUvJSdsc3BhY2VHUSYwLjBlbUYnLyUncnNwYWNlR1EsMC4zMzMzMzMzZW1GJy1GLDYlUSJ4RidGL0YyRj0tRiw2JVEieUYnRi9GMkY9LUYsNiVRInpGJ0YvRjJGQS1GPjYtUSI7RidGQUZDRkZGSEZKRkxGTkZQRlIvRlZRLDAuMjc3Nzc3OGVtRic=

LCoqJCZJInNHNiI2IyIiIiIiJSMhIiIiIzcqJkYkIiIjJkYlNiNGLkYoI0YoRi4qJkYkRigmRiU2IyIiJEYoIyEiI0Y1KiRGL0YuI0YoRik=

LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYlLUkjbWlHRiQ2JVEjc3NGJy8lJ2l0YWxpY0dRJXRydWVGJy8lLG1hdGh2YXJpYW50R1EnaXRhbGljRictSShtZmVuY2VkR0YkNiQtRiM2OS1JJW1zdXBHRiQ2JS1GLDYlUSJ4RidGL0YyLUYjNiMtSSNtbkdGJDYkUSIzRicvRjNRJ25vcm1hbEYnLyUxc3VwZXJzY3JpcHRzaGlmdEdRIjBGJy1JI21vR0YkNi1RIitGJ0ZGLyUmZmVuY2VHUSZmYWxzZUYnLyUqc2VwYXJhdG9yR0ZRLyUpc3RyZXRjaHlHRlEvJSpzeW1tZXRyaWNHRlEvJShsYXJnZW9wR0ZRLyUubW92YWJsZWxpbWl0c0dGUS8lJ2FjY2VudEdGUS8lJ2xzcGFjZUdRLDAuMjIyMjIyMmVtRicvJSdyc3BhY2VHRmpuLUY7NiUtRiw2JVEieUYnRi9GMkZARkhGSy1GOzYlLUYsNiVRInpGJ0YvRjJGQEZIRktGPS1GTDYtUScmc2RvdDtGJ0ZGRk9GUkZURlZGWEZaRmZuL0ZpblEmMC4wZW1GJy9GXG9GW3BGX29GZ29GZG9GS0Y9RktGX29GS0Zkby1GTDYtUSIsRidGRkZPL0ZTRjFGVEZWRlhGWkZmbkZqby9GXG9RLDAuMzMzMzMzM2VtRidGPUZdcEZfb0ZdcEZkb0ZGLUZMNi1RIjtGJ0ZGRk9GYHBGVEZWRlhGWkZmbkZqby9GXG9RLDAuMjc3Nzc3OGVtRic=

LCoqJCZJInNHNiI2IyIiIiIiJCNGKCIiJyomRiRGKCZGJTYjIiIjRigjISIiRi9GJEYoJkYlNiNGKSMiIiVGKQ==

JSFH LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYnLUkjbW9HRiQ2LVEiI0YnLyUsbWF0aHZhcmlhbnRHUSdub3JtYWxGJy8lJmZlbmNlR1EmZmFsc2VGJy8lKnNlcGFyYXRvckdGNC8lKXN0cmV0Y2h5R0Y0LyUqc3ltbWV0cmljR0Y0LyUobGFyZ2VvcEdGNC8lLm1vdmFibGVsaW1pdHNHRjQvJSdhY2NlbnRHRjQvJSdsc3BhY2VHUSYwLjBlbUYnLyUncnNwYWNlR0ZDLUkjbWlHRiQ2JVEkYH5gRicvJSdpdGFsaWNHUSV0cnVlRicvRjBRJ2l0YWxpY0YnLUZHNidRKlByb2NlZHVyZUYnLyUlYm9sZEdGTC9GS0Y0L0YwUSVib2xkRicvJStmb250d2VpZ2h0R0ZWLUYsNi9RIn5GJ0ZSRlVGV0YyRjVGN0Y5RjtGPUY/RkFGRC1JI21uR0YkNiZRIjRGJ0ZSRlVGVw== LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzY7LUkjbW9HRiQ2LVEiI0YnLyUsbWF0aHZhcmlhbnRHUSdub3JtYWxGJy8lJmZlbmNlR1EmZmFsc2VGJy8lKnNlcGFyYXRvckdGNC8lKXN0cmV0Y2h5R0Y0LyUqc3ltbWV0cmljR0Y0LyUobGFyZ2VvcEdGNC8lLm1vdmFibGVsaW1pdHNHRjQvJSdhY2NlbnRHRjQvJSdsc3BhY2VHUSYwLjBlbUYnLyUncnNwYWNlR0ZDLUkjbWlHRiQ2JVEkYH5gRicvJSdpdGFsaWNHUSV0cnVlRicvRjBRJ2l0YWxpY0YnLUZHNidRI1RvRicvJSVib2xkR0ZML0ZLRjQvRjBRJWJvbGRGJy8lK2ZvbnR3ZWlnaHRHRlYtRiw2L1EifkYnRlJGVUZXRjJGNUY3RjlGO0Y9Rj9GQUZELUZHNidRKGV4cHJlc3NGJ0ZSRlRGVUZXRlktSSVtc3ViR0YkNiUtRkc2J1Eic0YnRlJGVEZVRlctRiM2Iy1GRzYnUSJrRidGUkZURlVGVy8lL3N1YnNjcmlwdHNoaWZ0R1EiMEYnRlktRiw2L1EjaW5GJ0ZSRlVGV0YyRjVGN0Y5RjtGPUY/RkFGRC1GLDYtRmVuRi9GMkY1RjdGOUY7Rj1GP0ZBRkQtRkc2J1EmdGVybXNGJ0ZSRlRGVUZXRlktRkc2J1Ejb2ZGJ0ZSRlRGVUZXRllGWS1Gam42JS1GRzYoUSgmc2lnbWE7RidGUkZULyU2c2VsZWN0aW9uLXBsYWNlaG9sZGVyR0ZMRlVGVy1GIzYjLUkjbW5HRiQ2JlEiMUYnRlJGVUZXRmRvLUYsNjBRIixGJ0ZSRmdwRlVGV0YyL0Y2RkxGN0Y5RjtGPUY/RkEvRkVRLDAuMzMzMzMzM2VtRictRmpuNiVGZHAtRiM2Iy1GXHE2JlEiMkYnRlJGVUZXRmRvRl9xLUYsNjBRIy4uRidGUkZncEZVRldGMkY1RjdGOUY7Rj1GPy9GQlEsMC4yMjIyMjIyZW1GJ0ZELUYsNjBRIi5GJ0ZSRmdwRlVGV0YyRjVGN0Y5RjtGPUY/RkFGRC1GLDYwRmVuRlJGZ3BGVUZXRjJGNUY3RjlGO0Y9Rj9GQUZERl9xLUZqbjYlRmRwLUYjNiMtRkc2J1EibkYnRlJGVEZVRldGZG8tRiw2LUZjckYvRjJGNUY3RjlGO0Y9Rj9GQUZE LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYuLUkjbW9HRiQ2LVEiI0YnLyUsbWF0aHZhcmlhbnRHUSdub3JtYWxGJy8lJmZlbmNlR1EmZmFsc2VGJy8lKnNlcGFyYXRvckdGNC8lKXN0cmV0Y2h5R0Y0LyUqc3ltbWV0cmljR0Y0LyUobGFyZ2VvcEdGNC8lLm1vdmFibGVsaW1pdHNHRjQvJSdhY2NlbnRHRjQvJSdsc3BhY2VHUSYwLjBlbUYnLyUncnNwYWNlR0ZDLUkjbWlHRiQ2JVEkYH5gRicvJSdpdGFsaWNHUSV0cnVlRicvRjBRJ2l0YWxpY0YnLUZHNidRJFRoZUYnLyUlYm9sZEdGTC9GS0Y0L0YwUSVib2xkRicvJStmb250d2VpZ2h0R0ZWLUYsNi9RIn5GJ0ZSRlVGV0YyRjVGN0Y5RjtGPUY/RkFGRC1GRzYnUSphcmd1bWVudHNGJ0ZSRlRGVUZXRlktRkc2J1EoaW5jbHVkZUYnRlJGVEZVRldGWS1GRzYnUSJuRidGUkZURlVGVy1GLDYvUSIsRidGUkZVRldGMi9GNkZMRjdGOUY7Rj1GP0ZBL0ZFUSwwLjMzMzMzMzNlbUYnLUZHNidRImtGJ0ZSRlRGVUZXLUYsNi9RIi5GJ0ZSRlVGV0YyRjVGN0Y5RjtGPUY/RkFGRA== JSFH JSFH LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYkLUkjbWlHRiQ2JVEocmVzdGFydEYnLyUnaXRhbGljR1EldHJ1ZUYnLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGJy1JI21vR0YkNi1RIjtGJy9GM1Enbm9ybWFsRicvJSZmZW5jZUdRJmZhbHNlRicvJSpzZXBhcmF0b3JHRjEvJSlzdHJldGNoeUdGPS8lKnN5bW1ldHJpY0dGPS8lKGxhcmdlb3BHRj0vJS5tb3ZhYmxlbGltaXRzR0Y9LyUnYWNjZW50R0Y9LyUnbHNwYWNlR1EmMC4wZW1GJy8lJ3JzcGFjZUdRLDAuMjc3Nzc3OGVtRic= LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYoLUkjbWlHRiQ2JVEld2l0aEYnLyUnaXRhbGljR1EldHJ1ZUYnLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGJy1JKG1mZW5jZWRHRiQ2JC1GIzYjLUYsNiVRKkxpc3RUb29sc0YnRi9GMi9GM1Enbm9ybWFsRictSSNtb0dGJDYtUSI6RidGPS8lJmZlbmNlR1EmZmFsc2VGJy8lKnNlcGFyYXRvckdGRS8lKXN0cmV0Y2h5R0ZFLyUqc3ltbWV0cmljR0ZFLyUobGFyZ2VvcEdGRS8lLm1vdmFibGVsaW1pdHNHRkUvJSdhY2NlbnRHRkUvJSdsc3BhY2VHUSwwLjI3Nzc3NzhlbUYnLyUncnNwYWNlR0ZURistRjY2JC1GIzYjLUYsNiVRLkxpbmVhckFsZ2VicmFGJ0YvRjJGPUY/ JSFH JSFH s:=proc() local n, k, L, M, f, N, Q; n:=args[1];k:=args[2];L := proc (k) options operator, arrow; [(-1)^k*k*sigma[k], Reverse([seq((-1)^i*sigma[i], i = 1 .. k-1)])[]] end proc; M := proc (k) options operator, arrow; Matrix([seq(L(i), i = 1 .. k)]) end proc; f := proc (i, j) options operator, arrow; piecewise(i+1 <> j, 0, i+1 = j, 1) end proc; N := proc (k) options operator, arrow; Matrix(k, k, f) end proc; Q:=(-1)^k * Determinant(MatrixAdd(M(k),N(k))) ; if is(k<=n) then sort(eval(Q))else sort(subs({seq(sigma[i]=0,i=n+1..k)},eval(Q))) fi; end proc;

Zio2IjYpSSJuR0YjSSJrR0YjSSJMR0YjSSJNR0YjSSJmR0YjSSJOR0YjSSJRR0YjRiNGI0MqPjgkJjkiNiMiIiI+OCUmRjA2IyIiIz44JmYqNiNGJkYjNiRJKW9wZXJhdG9yR0YjSSZhcnJvd0dGI0YjNyQqKCkhIiI5JEYyRkNGMiZJJnNpZ21hR0YjNiNGQ0YyJi1fSSpMaXN0VG9vbHNHNiQlKnByb3RlY3RlZEdJKF9zeXNsaWJHRiNJKFJldmVyc2VHRiM2IzcjLUkkc2VxR0ZMNiQqJilGQkkiaUdGI0YyJkZFNiNGVkYyL0ZWO0YyLCZGQ0YyRkJGMkYjRiNGI0YjPjgnZipGO0YjRjxGIy1JJ01hdHJpeEdGIzYjNyMtRlI2JC1UI0ZYL0ZWO0YyRkNGI0YjNiRGJ0Y5PjgoZio2JEZWSSJqR0YjRiNGPEYjLUkqcGllY2V3aXNlR0ZMNiYwLCZGQ0YyRjJGMjklIiIhL0ZdcEZecEYyRiNGI0YjPjgpZipGO0YjRjxGIy1Gam42JUZDRkNGYG9GI0YjNiRGKUZlbz44KiomKUZCRjRGMi1fSS5MaW5lYXJBbGdlYnJhR0ZLSSxEZXRlcm1pbmFudEdGIzYjLV9GXXFJKk1hdHJpeEFkZEdGIzYkLUZnbjYjRjQtRmJwRmVxRjJAJS1JI2lzR0YjNiMxRjRGLi1JJXNvcnRHRkw2Iy1JJWV2YWxHRkw2I0ZocC1GXXI2Iy1JJXN1YnNHRkw2JDwjLUZSNiQvRldGX3AvRlY7LCZGLkYyRjJGMkY0Rl9yRiNGI0Yj

LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYkLUkjbW9HRiQ2L1EiI0YnLyUlYm9sZEdRJXRydWVGJy8lLG1hdGh2YXJpYW50R1ElYm9sZEYnLyUrZm9udHdlaWdodEdGNC8lJmZlbmNlR1EmZmFsc2VGJy8lKnNlcGFyYXRvckdGOS8lKXN0cmV0Y2h5R0Y5LyUqc3ltbWV0cmljR0Y5LyUobGFyZ2VvcEdGOS8lLm1vdmFibGVsaW1pdHNHRjkvJSdhY2NlbnRHRjkvJSdsc3BhY2VHUSYwLjBlbUYnLyUncnNwYWNlR0ZILUkjbWlHRiQ2J1EqfkV4YW1wbGVzRidGLy8lJ2l0YWxpY0dGOUYyRjU= LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYlLUkjbWlHRiQ2JVEic0YnLyUnaXRhbGljR1EldHJ1ZUYnLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGJy1JKG1mZW5jZWRHRiQ2JC1GIzYlLUkjbW5HRiQ2JFEiM0YnL0YzUSdub3JtYWxGJy1JI21vR0YkNi1RIixGJ0Y+LyUmZmVuY2VHUSZmYWxzZUYnLyUqc2VwYXJhdG9yR0YxLyUpc3RyZXRjaHlHRkYvJSpzeW1tZXRyaWNHRkYvJShsYXJnZW9wR0ZGLyUubW92YWJsZWxpbWl0c0dGRi8lJ2FjY2VudEdGRi8lJ2xzcGFjZUdRJjAuMGVtRicvJSdyc3BhY2VHUSwwLjMzMzMzMzNlbUYnLUY7NiRRIjJGJ0Y+Rj4tRkE2LVEiO0YnRj5GREZHRklGS0ZNRk9GUUZTL0ZXUSwwLjI3Nzc3NzhlbUYn

LCYqJCZJJnNpZ21hRzYiNiMiIiIiIiNGKCZGJTYjRikhIiM=

LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYlLUkjbWlHRiQ2JVEic0YnLyUnaXRhbGljR1EldHJ1ZUYnLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGJy1JKG1mZW5jZWRHRiQ2JC1GIzYlLUkjbW5HRiQ2JFEiNEYnL0YzUSdub3JtYWxGJy1JI21vR0YkNi1RIixGJ0Y+LyUmZmVuY2VHUSZmYWxzZUYnLyUqc2VwYXJhdG9yR0YxLyUpc3RyZXRjaHlHRkYvJSpzeW1tZXRyaWNHRkYvJShsYXJnZW9wR0ZGLyUubW92YWJsZWxpbWl0c0dGRi8lJ2FjY2VudEdGRi8lJ2xzcGFjZUdRJjAuMGVtRicvJSdyc3BhY2VHUSwwLjMzMzMzMzNlbUYnRjpGPi1GQTYtUSI7RidGPkZERkdGSUZLRk1GT0ZRRlMvRldRLDAuMjc3Nzc3OGVtRic=

LCwqJCZJJnNpZ21hRzYiNiMiIiIiIiVGKComRiQiIiMmRiU2I0YrRighIiUqJkYkRigmRiU2IyIiJEYoRikqJEYsRitGKyZGJTYjRilGLg==

LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYlLUkjbWlHRiQ2JVEic0YnLyUnaXRhbGljR1EldHJ1ZUYnLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGJy1JKG1mZW5jZWRHRiQ2JC1GIzYlLUkjbW5HRiQ2JFEiM0YnL0YzUSdub3JtYWxGJy1JI21vR0YkNi1RIixGJ0Y+LyUmZmVuY2VHUSZmYWxzZUYnLyUqc2VwYXJhdG9yR0YxLyUpc3RyZXRjaHlHRkYvJSpzeW1tZXRyaWNHRkYvJShsYXJnZW9wR0ZGLyUubW92YWJsZWxpbWl0c0dGRi8lJ2FjY2VudEdGRi8lJ2xzcGFjZUdRJjAuMGVtRicvJSdyc3BhY2VHUSwwLjMzMzMzMzNlbUYnLUY7NiRRIjVGJ0Y+Rj4tRkE2LVEiO0YnRj5GREZHRklGS0ZNRk9GUUZTL0ZXUSwwLjI3Nzc3NzhlbUYn

LCwqJCZJJnNpZ21hRzYiNiMiIiIiIiZGKComRiQiIiQmRiU2IyIiI0YoISImKiZGJEYuJkYlNiNGK0YoRikqJkYkRihGLEYuRikqJkYsRihGMUYoRi8=

LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYlLUkjbWlHRiQ2JVEic0YnLyUnaXRhbGljR1EldHJ1ZUYnLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGJy1JKG1mZW5jZWRHRiQ2JC1GIzYlLUkjbW5HRiQ2JFEiMkYnL0YzUSdub3JtYWxGJy1JI21vR0YkNi1RIixGJ0Y+LyUmZmVuY2VHUSZmYWxzZUYnLyUqc2VwYXJhdG9yR0YxLyUpc3RyZXRjaHlHRkYvJSpzeW1tZXRyaWNHRkYvJShsYXJnZW9wR0ZGLyUubW92YWJsZWxpbWl0c0dGRi8lJ2FjY2VudEdGRi8lJ2xzcGFjZUdRJjAuMGVtRicvJSdyc3BhY2VHUSwwLjMzMzMzMzNlbUYnLUY7NiRRIjZGJ0Y+Rj4tRkE2LVEiO0YnRj5GREZHRklGS0ZNRk9GUUZTL0ZXUSwwLjI3Nzc3NzhlbUYn

LCoqJCZJJnNpZ21hRzYiNiMiIiIiIidGKComRiQiIiUmRiU2IyIiI0YoISInKiZGJEYuRixGLiIiKiokRiwiIiQhIiM=

LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYlLUkjbWlHRiQ2JVEic0YnLyUnaXRhbGljR1EldHJ1ZUYnLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGJy1JKG1mZW5jZWRHRiQ2JC1GIzYlLUkjbW5HRiQ2JFEiNkYnL0YzUSdub3JtYWxGJy1JI21vR0YkNi1RIixGJ0Y+LyUmZmVuY2VHUSZmYWxzZUYnLyUqc2VwYXJhdG9yR0YxLyUpc3RyZXRjaHlHRkYvJSpzeW1tZXRyaWNHRkYvJShsYXJnZW9wR0ZGLyUubW92YWJsZWxpbWl0c0dGRi8lJ2FjY2VudEdGRi8lJ2xzcGFjZUdRJjAuMGVtRicvJSdyc3BhY2VHUSwwLjMzMzMzMzNlbUYnLUY7NiRRIjNGJ0Y+Rj4tRkE2LVEiO0YnRj5GREZHRklGS0ZNRk9GUUZTL0ZXUSwwLjI3Nzc3NzhlbUYn

LCgqJCZJJnNpZ21hRzYiNiMiIiIiIiRGKComRiRGKCZGJTYjIiIjRighIiQmRiU2I0YpRik=

LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYnLUkjbW9HRiQ2LVEiI0YnLyUsbWF0aHZhcmlhbnRHUSdub3JtYWxGJy8lJmZlbmNlR1EmZmFsc2VGJy8lKnNlcGFyYXRvckdGNC8lKXN0cmV0Y2h5R0Y0LyUqc3ltbWV0cmljR0Y0LyUobGFyZ2VvcEdGNC8lLm1vdmFibGVsaW1pdHNHRjQvJSdhY2NlbnRHRjQvJSdsc3BhY2VHUSYwLjBlbUYnLyUncnNwYWNlR0ZDLUkjbWlHRiQ2JVEkYH5gRicvJSdpdGFsaWNHUSV0cnVlRicvRjBRJ2l0YWxpY0YnLUZHNidRKlByb2NlZHVyZUYnLyUlYm9sZEdGTC9GS0Y0L0YwUSVib2xkRicvJStmb250d2VpZ2h0R0ZWLUYsNi9RIn5GJ0ZSRlVGV0YyRjVGN0Y5RjtGPUY/RkFGRC1JI21uR0YkNiZRIjVGJ0ZSRlVGVw== LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzY9LUkjbW9HRiQ2LVEiI0YnLyUsbWF0aHZhcmlhbnRHUSdub3JtYWxGJy8lJmZlbmNlR1EmZmFsc2VGJy8lKnNlcGFyYXRvckdGNC8lKXN0cmV0Y2h5R0Y0LyUqc3ltbWV0cmljR0Y0LyUobGFyZ2VvcEdGNC8lLm1vdmFibGVsaW1pdHNHRjQvJSdhY2NlbnRHRjQvJSdsc3BhY2VHUSYwLjBlbUYnLyUncnNwYWNlR0ZDLUkjbWlHRiQ2JVEkYH5gRicvJSdpdGFsaWNHUSV0cnVlRicvRjBRJ2l0YWxpY0YnLUZHNidRI1RvRicvJSVib2xkR0ZML0ZLRjQvRjBRJWJvbGRGJy8lK2ZvbnR3ZWlnaHRHRlYtRiw2L1EifkYnRlJGVUZXRjJGNUY3RjlGO0Y9Rj9GQUZELUZHNidRKGV4cHJlc3NGJ0ZSRlRGVUZXRlktSSVtc3ViR0YkNiUtRkc2J1Eic0YnRlJGVEZVRlctRiM2Iy1GRzYnUSJrRidGUkZURlVGVy8lL3N1YnNjcmlwdHNoaWZ0R1EiMEYnRlktSShtZmVuY2VkR0YkNiYtRiM2JUZhby1GLDYvUSI8RidGUkZVRldGMkY1RjdGOUY7Rj1GPy9GQlEsMC4yNzc3Nzc4ZW1GJy9GRUZgcC1JI21uR0YkNiZGZm9GUkZVRldGUkZVRlctRiw2LUZlbkYvRjJGNUY3RjlGO0Y9Rj9GQUZELUYsNi9RI2luRidGUkZVRldGMkY1RjdGOUY7Rj1GP0ZBRkRGZXAtRkc2J1EmdGVybXNGJ0ZSRlRGVUZXRlktRkc2J1Ejb2ZGJ0ZSRlRGVUZXRllGWS1Gam42JS1GRzYoUSgmc2lnbWE7RidGUkZULyU2c2VsZWN0aW9uLXBsYWNlaG9sZGVyR0ZMRlVGVy1GIzYjLUZjcDYmUSIxRidGUkZVRldGZG8tRiw2MFEiLEYnRlJGZXFGVUZXRjIvRjZGTEY3RjlGO0Y9Rj9GQS9GRVEsMC4zMzMzMzMzZW1GJy1Gam42JUZicS1GIzYjLUZjcDYmUSIyRidGUkZVRldGZG9GXHItRiw2MFEjLi5GJ0ZSRmVxRlVGV0YyRjVGN0Y5RjtGPUY/L0ZCUSwwLjIyMjIyMjJlbUYnRkQtRiw2MFEiLkYnRlJGZXFGVUZXRjJGNUY3RjlGO0Y9Rj9GQUZELUYsNjBGZW5GUkZlcUZVRldGMkY1RjdGOUY7Rj1GP0ZBRkRGXHItRmpuNiVGYnEtRiM2Iy1GRzYnUSJuRidGUkZURlVGV0Zkby1GLDYtRmBzRi9GMkY1RjdGOUY7Rj1GP0ZBRkQ= LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYuLUkjbW9HRiQ2LVEiI0YnLyUsbWF0aHZhcmlhbnRHUSdub3JtYWxGJy8lJmZlbmNlR1EmZmFsc2VGJy8lKnNlcGFyYXRvckdGNC8lKXN0cmV0Y2h5R0Y0LyUqc3ltbWV0cmljR0Y0LyUobGFyZ2VvcEdGNC8lLm1vdmFibGVsaW1pdHNHRjQvJSdhY2NlbnRHRjQvJSdsc3BhY2VHUSYwLjBlbUYnLyUncnNwYWNlR0ZDLUkjbWlHRiQ2JVEkYH5gRicvJSdpdGFsaWNHUSV0cnVlRicvRjBRJ2l0YWxpY0YnLUZHNidRJFRoZUYnLyUlYm9sZEdGTC9GS0Y0L0YwUSVib2xkRicvJStmb250d2VpZ2h0R0ZWLUYsNi9RIn5GJ0ZSRlVGV0YyRjVGN0Y5RjtGPUY/RkFGRC1GRzYnUSphcmd1bWVudHNGJ0ZSRlRGVUZXRlktRkc2J1EoaW5jbHVkZUYnRlJGVEZVRldGWS1GRzYnUSJuRidGUkZURlVGVy1GLDYvUSIsRidGUkZVRldGMi9GNkZMRjdGOUY7Rj1GP0ZBL0ZFUSwwLjMzMzMzMzNlbUYnLUZHNidRImtGJ0ZSRlRGVUZXLUYsNi9RIi5GJ0ZSRlVGV0YyRjVGN0Y5RjtGPUY/RkFGRA== JSFH LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYoLUkjbWlHRiQ2JVEld2l0aEYnLyUnaXRhbGljR1EldHJ1ZUYnLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGJy1JKG1mZW5jZWRHRiQ2JC1GIzYjLUYsNiVRKkxpc3RUb29sc0YnRi9GMi9GM1Enbm9ybWFsRictSSNtb0dGJDYtUSI6RidGPS8lJmZlbmNlR1EmZmFsc2VGJy8lKnNlcGFyYXRvckdGRS8lKXN0cmV0Y2h5R0ZFLyUqc3ltbWV0cmljR0ZFLyUobGFyZ2VvcEdGRS8lLm1vdmFibGVsaW1pdHNHRkUvJSdhY2NlbnRHRkUvJSdsc3BhY2VHUSwwLjI3Nzc3NzhlbUYnLyUncnNwYWNlR0ZURistRjY2JC1GIzYjLUYsNiVRLkxpbmVhckFsZ2VicmFGJ0YvRjJGPUY/ JSFH ns:=proc() local n, k, q, A, qq; n:=args[1];k:=args[2];q:=s(n,abs(k)); A:=[seq(sigma[i]= sigma[n-i]/sigma[n],i=1..n)]; qq:=subs(A,q); subs(sigma[0]=1,qq); end proc;

Zio2IjYnSSJuR0YjSSJrR0YjSSJxR0YjSSJBR0YjSSNxcUdGI0YjRiNDKD44JCY5IjYjIiIiPjglJkYuNiMiIiM+OCYtSSJzR0YjNiRGLC1JJGFic0clKnByb3RlY3RlZEc2I0YyPjgnNyMtSSRzZXFHRj02JC8mSSZzaWdtYUdGIzYjSSJpR0YjKiYmRkc2IywmRixGMEZJISIiRjAmRkc2I0YsRk4vRkk7RjBGLD44KC1JJXN1YnNHRj02JEZARjctRlY2JC8mRkc2IyIiIUYwRlRGI0YjRiM=

JSFH LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYkLUkjbW9HRiQ2L1EiI0YnLyUlYm9sZEdRJXRydWVGJy8lLG1hdGh2YXJpYW50R1ElYm9sZEYnLyUrZm9udHdlaWdodEdGNC8lJmZlbmNlR1EmZmFsc2VGJy8lKnNlcGFyYXRvckdGOS8lKXN0cmV0Y2h5R0Y5LyUqc3ltbWV0cmljR0Y5LyUobGFyZ2VvcEdGOS8lLm1vdmFibGVsaW1pdHNHRjkvJSdhY2NlbnRHRjkvJSdsc3BhY2VHUSYwLjBlbUYnLyUncnNwYWNlR0ZILUkjbWlHRiQ2J1EqfkV4YW1wbGVzRidGLy8lJ2l0YWxpY0dGOUYyRjU= ns(5,-1);

KiYmSSZzaWdtYUc2IjYjIiIlIiIiJkYkNiMiIiYhIiI=

LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYlLUkjbWlHRiQ2JVEjbnNGJy8lJ2l0YWxpY0dRJXRydWVGJy8lLG1hdGh2YXJpYW50R1EnaXRhbGljRictSShtZmVuY2VkR0YkNiQtRiM2Ji1JI21uR0YkNiRRIjNGJy9GM1Enbm9ybWFsRictSSNtb0dGJDYtUSIsRidGPi8lJmZlbmNlR1EmZmFsc2VGJy8lKnNlcGFyYXRvckdGMS8lKXN0cmV0Y2h5R0ZGLyUqc3ltbWV0cmljR0ZGLyUobGFyZ2VvcEdGRi8lLm1vdmFibGVsaW1pdHNHRkYvJSdhY2NlbnRHRkYvJSdsc3BhY2VHUSYwLjBlbUYnLyUncnNwYWNlR1EsMC4zMzMzMzMzZW1GJy1GQTYtUSomdW1pbnVzMDtGJ0Y+RkQvRkhGRkZJRktGTUZPRlEvRlRRLDAuMjIyMjIyMmVtRicvRldGaG5GOkY+LUZBNi1RIjtGJ0Y+RkRGR0ZJRktGTUZPRlFGUy9GV1EsMC4yNzc3Nzc4ZW1GJw==

LCgqJiZJJnNpZ21hRzYiNiMiIiMiIiQmRiU2I0YpISIkIiIiKigmRiU2I0YtRi1GKiEiI0YkRi1GLCokRiohIiJGKQ==

LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYlLUkjbWlHRiQ2JVEjbnNGJy8lJ2l0YWxpY0dRJXRydWVGJy8lLG1hdGh2YXJpYW50R1EnaXRhbGljRictSShtZmVuY2VkR0YkNiQtRiM2Ji1JI21uR0YkNiRRIjNGJy9GM1Enbm9ybWFsRictSSNtb0dGJDYtUSIsRidGPi8lJmZlbmNlR1EmZmFsc2VGJy8lKnNlcGFyYXRvckdGMS8lKXN0cmV0Y2h5R0ZGLyUqc3ltbWV0cmljR0ZGLyUobGFyZ2VvcEdGRi8lLm1vdmFibGVsaW1pdHNHRkYvJSdhY2NlbnRHRkYvJSdsc3BhY2VHUSYwLjBlbUYnLyUncnNwYWNlR1EsMC4zMzMzMzMzZW1GJy1GQTYtUSomdW1pbnVzMDtGJ0Y+RkQvRkhGRkZJRktGTUZPRlEvRlRRLDAuMjIyMjIyMmVtRicvRldGaG4tRjs2JFEiNUYnRj5GPi1GQTYtUSI7RidGPkZERkdGSUZLRk1GT0ZRRlMvRldRLDAuMjc3Nzc3OGVtRic=

LCwqJiZJJnNpZ21hRzYiNiMiIiMiIiYmRiU2IyIiJCEiJiIiIiooRiRGLEYqISIlJkYlNiNGLkYuRi0qJkYkRihGKiEiJEYpKihGJEYuRipGNEYxRihGKSomRjFGLkYqISIjRi0=

LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYlLUkjbWlHRiQ2JVEjbnNGJy8lJ2l0YWxpY0dRJXRydWVGJy8lLG1hdGh2YXJpYW50R1EnaXRhbGljRictSShtZmVuY2VkR0YkNiQtRiM2Ji1JI21uR0YkNiRRIjJGJy9GM1Enbm9ybWFsRictSSNtb0dGJDYtUSIsRidGPi8lJmZlbmNlR1EmZmFsc2VGJy8lKnNlcGFyYXRvckdGMS8lKXN0cmV0Y2h5R0ZGLyUqc3ltbWV0cmljR0ZGLyUobGFyZ2VvcEdGRi8lLm1vdmFibGVsaW1pdHNHRkYvJSdhY2NlbnRHRkYvJSdsc3BhY2VHUSYwLjBlbUYnLyUncnNwYWNlR1EsMC4zMzMzMzMzZW1GJy1GQTYtUSomdW1pbnVzMDtGJ0Y+RkQvRkhGRkZJRktGTUZPRlEvRlRRLDAuMjIyMjIyMmVtRicvRldGaG5GOkY+LUZBNi1RIjtGJ0Y+RkRGR0ZJRktGTUZPRlFGUy9GV1EsMC4yNzc3Nzc4ZW1GJw==

LCYqJiZJJnNpZ21hRzYiNiMiIiIiIiMmRiU2I0YpISIjRigqJEYqISIiRiw=

LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYjLUkjbWlHRiQ2I1EhRic= JSFH LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYnLUkjbW9HRiQ2LVEiI0YnLyUsbWF0aHZhcmlhbnRHUSdub3JtYWxGJy8lJmZlbmNlR1EmZmFsc2VGJy8lKnNlcGFyYXRvckdGNC8lKXN0cmV0Y2h5R0Y0LyUqc3ltbWV0cmljR0Y0LyUobGFyZ2VvcEdGNC8lLm1vdmFibGVsaW1pdHNHRjQvJSdhY2NlbnRHRjQvJSdsc3BhY2VHUSYwLjBlbUYnLyUncnNwYWNlR0ZDLUkjbWlHRiQ2JVEkYH5gRicvJSdpdGFsaWNHUSV0cnVlRicvRjBRJ2l0YWxpY0YnLUZHNidRKlByb2NlZHVyZUYnLyUlYm9sZEdGTC9GS0Y0L0YwUSVib2xkRicvJStmb250d2VpZ2h0R0ZWLUYsNi9RIn5GJ0ZSRlVGV0YyRjVGN0Y5RjtGPUY/RkFGRC1JI21uR0YkNiZRIjZGJ0ZSRlVGVw== LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzY6LUkjbW9HRiQ2LVEiI0YnLyUsbWF0aHZhcmlhbnRHUSdub3JtYWxGJy8lJmZlbmNlR1EmZmFsc2VGJy8lKnNlcGFyYXRvckdGNC8lKXN0cmV0Y2h5R0Y0LyUqc3ltbWV0cmljR0Y0LyUobGFyZ2VvcEdGNC8lLm1vdmFibGVsaW1pdHNHRjQvJSdhY2NlbnRHRjQvJSdsc3BhY2VHUSYwLjBlbUYnLyUncnNwYWNlR0ZDLUkjbWlHRiQ2JVEkYH5gRicvJSdpdGFsaWNHUSV0cnVlRicvRjBRJ2l0YWxpY0YnLUZHNidRI1RvRicvJSVib2xkR0ZML0ZLRjQvRjBRJWJvbGRGJy8lK2ZvbnR3ZWlnaHRHRlYtRiw2L1EifkYnRlJGVUZXRjJGNUY3RjlGO0Y9Rj9GQUZELUZHNidRKGV4cHJlc3NGJ0ZSRlRGVUZXRlktSSVtc3ViR0YkNiUtRkc2J1EoJnNpZ21hO0YnRlJGVEZVRlctRiM2Iy1GRzYnUSJrRidGUkZURlVGVy8lL3N1YnNjcmlwdHNoaWZ0R1EiMEYnRlktRiw2L1EjaW5GJ0ZSRlVGV0YyRjVGN0Y5RjtGPUY/RkFGRC1GLDYtRmVuRi9GMkY1RjdGOUY7Rj1GP0ZBRkQtRkc2J1EmdGVybXNGJ0ZSRlRGVUZXRlktRkc2J1Ejb2ZGJ0ZSRlRGVUZXRllGWS1Gam42JS1GRzYnUSJzRidGUkZURlVGVy1GIzYjLUkjbW5HRiQ2JlEiMUYnRlJGVUZXRmRvLUYsNi9RIixGJ0ZSRlVGV0YyL0Y2RkxGN0Y5RjtGPUY/RkEvRkVRLDAuMzMzMzMzM2VtRictRmpuNiVGZHAtRiM2Iy1GanA2JlEiMkYnRlJGVUZXRmRvRl1xLUYsNi9RIy4uRidGUkZVRldGMkY1RjdGOUY7Rj1GPy9GQlEsMC4yMjIyMjIyZW1GJ0ZELUYsNi9RIi5GJ0ZSRlVGV0YyRjVGN0Y5RjtGPUY/RkFGREZdcS1Gam42JUZkcEZfb0Zkb0Zfcg== LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYsLUkjbW9HRiQ2LVEiI0YnLyUsbWF0aHZhcmlhbnRHUSdub3JtYWxGJy8lJmZlbmNlR1EmZmFsc2VGJy8lKnNlcGFyYXRvckdGNC8lKXN0cmV0Y2h5R0Y0LyUqc3ltbWV0cmljR0Y0LyUobGFyZ2VvcEdGNC8lLm1vdmFibGVsaW1pdHNHRjQvJSdhY2NlbnRHRjQvJSdsc3BhY2VHUSYwLjBlbUYnLyUncnNwYWNlR0ZDLUkjbWlHRiQ2JVEkYH5gRicvJSdpdGFsaWNHUSV0cnVlRicvRjBRJ2l0YWxpY0YnLUZHNidRJFRoZUYnLyUlYm9sZEdGTC9GS0Y0L0YwUSVib2xkRicvJStmb250d2VpZ2h0R0ZWLUYsNi9RIn5GJ0ZSRlVGV0YyRjVGN0Y5RjtGPUY/RkFGRC1GRzYnUSphcmd1bWVudHNGJ0ZSRlRGVUZXRlktRkc2J1EoaW5jbHVkZUYnRlJGVEZVRldGWS1GRzYnUSJrRidGUkZURlVGVy1GLDYvUSIuRidGUkZVRldGMkY1RjdGOUY7Rj1GP0ZBRkQ= LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYjLUkjbWlHRiQ2I1EhRic= LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYkLUkjbWlHRiQ2JVEocmVzdGFydEYnLyUnaXRhbGljR1EldHJ1ZUYnLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGJy1JI21vR0YkNi1RIjtGJy9GM1Enbm9ybWFsRicvJSZmZW5jZUdRJmZhbHNlRicvJSpzZXBhcmF0b3JHRjEvJSlzdHJldGNoeUdGPS8lKnN5bW1ldHJpY0dGPS8lKGxhcmdlb3BHRj0vJS5tb3ZhYmxlbGltaXRzR0Y9LyUnYWNjZW50R0Y9LyUnbHNwYWNlR1EmMC4wZW1GJy8lJ3JzcGFjZUdRLDAuMjc3Nzc3OGVtRic= QyYtSSV3aXRoRzYiNiNJKkxpc3RUb29sc0c2JCUqcHJvdGVjdGVkR0koX3N5c2xpYkdGJSEiIi1GJDYjSS5MaW5lYXJBbGdlYnJhR0YoRis= JSFH JSFH sigma:=proc() local k, L, M, f,N; k:=args;L := proc (k) options operator, arrow; Reverse([seq(s[i], i = 1 .. k)]) end proc; M := proc (k) options operator, arrow; Matrix([seq(L(i), i = 1 .. k)]) end proc; f := proc (i, j) options operator, arrow; piecewise(i+1 <> j, 0, i+1 = j, i) end proc; N := proc (k) options operator, arrow; Matrix(k, k, f) end proc; sort(1/k!* Determinant(MatrixAdd(M(k),N(k)))); end proc;

Zio2IjYnSSJrR0YjSSJMR0YjSSJNR0YjSSJmR0YjSSJOR0YjRiNGI0MoPjgkOSI+OCVmKjYjRiVGIzYkSSlvcGVyYXRvckdGI0kmYXJyb3dHRiNGIy1fSSpMaXN0VG9vbHNHNiQlKnByb3RlY3RlZEdJKF9zeXNsaWJHRiNJKFJldmVyc2VHRiM2IzcjLUkkc2VxR0Y5NiQmSSJzR0YjNiNJImlHRiMvRkQ7IiIiOSRGI0YjRiM+OCZmKkYxRiNGMkYjLUknTWF0cml4R0YjNiM3Iy1GPzYkLVQjRkNGRUYjRiM2JEYmRi8+OCdmKjYkRkRJImpHRiNGI0YyRiMtSSpwaWVjZXdpc2VHRjk2JjAsJkZIRkdGR0ZHOSUiIiEvRmhuRmluRkhGI0YjRiM+OChmKkYxRiNGMkYjLUZNNiVGSEZIRlNGI0YjNiRGKEZWLUklc29ydEdGOTYjKiYtSSpmYWN0b3JpYWxHRjk2I0YsISIiLV9JLkxpbmVhckFsZ2VicmFHRjhJLERldGVybWluYW50R0YjNiMtX0ZccEkqTWF0cml4QWRkR0YjNiQtRkpGaG8tRl1vRmhvRkdGI0YjRiM=

NiI= QyQtSSZzaWdtYUc2IjYjIiIiRic=

Jkkic0c2IjYjIiIi

QyQtSSZzaWdtYUc2IjYjIiIjIiIi

LCYqJCZJInNHNiI2IyIiIiIiIyNGKEYpJkYlNiNGKSMhIiJGKQ==

QyQtSSZzaWdtYUc2IjYjIiIkIiIi

LCgqJCZJInNHNiI2IyIiIiIiJCNGKCIiJyomRiRGKCZGJTYjIiIjRigjISIiRi8mRiU2I0YpI0YoRik=

QyQtSSZzaWdtYUc2IjYjIiIlIiIi

LCwqJCZJInNHNiI2IyIiIiIiJSNGKCIjQyomRiQiIiMmRiU2I0YtRigjISIiRikqJkYkRigmRiU2IyIiJEYoI0YoRjUqJEYuRi0jRigiIikmRiU2I0YpRjA=

QyQtSSZzaWdtYUc2IjYjIiImIiIi

LDAqJCZJInNHNiI2IyIiIiIiJiNGKCIkPyIqJkYkIiIkJkYlNiMiIiNGKCMhIiIiIzcqJkYkRjAmRiU2I0YtRigjRigiIicqJkYkRihGLkYwI0YoIiIpKiZGJEYoJkYlNiMiIiVGKCNGMkY/KiZGLkYoRjVGKCNGMkY4JkYlNiNGKSNGKEYp

LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYjLUkjbWlHRiQ2I1EhRic= JSFH NiI= NiI= NiI= NiI= QyQtSSVzdWJzRyUqcHJvdGVjdGVkRzYkPCUvJkkmc2lnbWFHNiI2IyIiIiwkSSJhR0YrISIiLyZGKjYjIiIjSSJiR0YrLyZGKjYjIiIkLCRJImNHRitGMC1JI2VzR0YrNiYsKCokJkkieEdGK0YsRjlGLSokJkZCRjNGOUYtKiQmRkJGOEY5Ri1GQUZERkZGLQ==

LUkjZXNHNiI2JiwoKiQmSSJ4R0YkNiMiIiIiIiRGKyokJkYpNiMiIiNGLEYrKiQmRik2I0YsRixGK0YoRi5GMg==

QyQtSSVzdWJzRyUqcHJvdGVjdGVkRzYkPCUvJkkmc2lnbWFHNiI2IyIiIiwkSSJhR0YrISIiLyZGKjYjIiIjSSJiR0YrLyZGKjYjIiIkLCRJImNHRitGMC1JI2VzR0YrNiYsKComJkkieEdGK0YsRjkmRkJGM0Y5Ri0qJkZBRjkmRkJGOEY5Ri0qJkZDRjlGRUY5Ri1GQUZDRkVGLQ==

LUkjZXNHNiI2JiwoKiYmSSJ4R0YkNiMiIiIiIiQmRik2IyIiI0YsRisqJkYoRiwmRik2I0YsRixGKyomRi1GLEYxRixGK0YoRi1GMQ==

QyQtSSVzdWJzRyUqcHJvdGVjdGVkRzYkPCUvJkkmc2lnbWFHNiI2IyIiIiwkSSJhR0YrISIiLyZGKjYjIiIjSSJiR0YrLyZGKjYjIiIkLCRJImNHRitGMC1JI2VzR0YrNiYqKCZJInhHRitGLEY5JkZBRjNGOSZGQUY4RjlGQEZCRkNGLQ==

LUkjZXNHNiI2JiooJkkieEdGJDYjIiIiIiIkJkYoNiMiIiNGKyZGKDYjRitGK0YnRixGLw==

NiI= JSFH