Testing For Linear Independence Worksheet by Michael K. May S.J., revised by Russell Blyth restart: with(LinearAlgebra): with(plots): with(plottools):

Warning, the name changecoords has been redefined

Warning, the assigned name arrow now has a global binding

The basic objectives are: 1) Use Gauss-Jordan elimination to test the linear independence of column vectors of a matrix. 2) Show that a set of real valued functions is linearly independent. 3) Show that a set of real valued functions is linearly dependent.

Given a set of vectors, S = {LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYlLUkjbWlHRiQ2OVEhRicvJSdmYW1pbHlHUTBUaW1lc35OZXd+Um9tYW5GJy8lJXNpemVHUSMxMkYnLyUlYm9sZEdRJmZhbHNlRicvJSdpdGFsaWNHUSV0cnVlRicvJSp1bmRlcmxpbmVHRjcvJSpzdWJzY3JpcHRHRjcvJSxzdXBlcnNjcmlwdEdGNy8lK2ZvcmVncm91bmRHUShbMCwwLDBdRicvJStiYWNrZ3JvdW5kR0ZDLyUnb3BhcXVlR0Y3LyUrZXhlY3V0YWJsZUdGNy8lKXJlYWRvbmx5R0Y3LyUpY29tcG9zZWRHRjcvJSpjb252ZXJ0ZWRHRjcvJStpbXNlbGVjdGVkR0Y3LyUscGxhY2Vob2xkZXJHRjcvJTBmb250X3N0eWxlX25hbWVHUSsyRH5Db21tZW50RicvJSptYXRoY29sb3JHRkMvJS9tYXRoYmFja2dyb3VuZEdGQy8lK2ZvbnRmYW1pbHlHRjEvJSxtYXRodmFyaWFudEdRJ2l0YWxpY0YnLyUpbWF0aHNpemVHRjQtSSVtc3ViR0YkNiYtRiw2OVEiVkYnRi9GMkY1RjhGO0Y9Rj9GQUZERkZGSEZKRkxGTkZQRlJGVEZXRllGZW5GZ25Gam4tRiM2Iy1JI21uR0YkNjlRIjFGJ0YvRjJGNS9GOUY3RjtGPUY/RkFGREZGRkhGSkZMRk5GUEZSRlRGV0ZZRmVuL0ZoblEnbm9ybWFsRidGam4vJS9zdWJzY3JpcHRzaGlmdEdRIjBGJy8lLHBsYWNlaG9sZGVyR0Y3Ris=, ... , LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYlLUkjbWlHRiQ2OVEhRicvJSdmYW1pbHlHUTBUaW1lc35OZXd+Um9tYW5GJy8lJXNpemVHUSMxMkYnLyUlYm9sZEdRJmZhbHNlRicvJSdpdGFsaWNHUSV0cnVlRicvJSp1bmRlcmxpbmVHRjcvJSpzdWJzY3JpcHRHRjcvJSxzdXBlcnNjcmlwdEdGNy8lK2ZvcmVncm91bmRHUShbMCwwLDBdRicvJStiYWNrZ3JvdW5kR0ZDLyUnb3BhcXVlR0Y3LyUrZXhlY3V0YWJsZUdGNy8lKXJlYWRvbmx5R0Y3LyUpY29tcG9zZWRHRjcvJSpjb252ZXJ0ZWRHRjcvJStpbXNlbGVjdGVkR0Y3LyUscGxhY2Vob2xkZXJHRjcvJTBmb250X3N0eWxlX25hbWVHUSsyRH5Db21tZW50RicvJSptYXRoY29sb3JHRkMvJS9tYXRoYmFja2dyb3VuZEdGQy8lK2ZvbnRmYW1pbHlHRjEvJSxtYXRodmFyaWFudEdRJ2l0YWxpY0YnLyUpbWF0aHNpemVHRjQtSSVtc3ViR0YkNiYtRiw2OVEiVkYnRi9GMkY1RjhGO0Y9Rj9GQUZERkZGSEZKRkxGTkZQRlJGVEZXRllGZW5GZ25Gam4tRiM2Iy1GLDY5USJtRidGL0YyRjVGOEY7Rj1GP0ZBRkRGRkZIRkpGTEZORlBGUkZURldGWUZlbkZnbkZqbi8lL3N1YnNjcmlwdHNoaWZ0R1EiMEYnLyUscGxhY2Vob2xkZXJHRjdGKw==}, there are a number of questions we might ask concerning linear independence: Is S a set of linearly independent vectors? Can we find a maximal linearly independent subset of S? Can we express the other vectors in S as linear combinations of our maximal linearly independent subset? We first look at the case where the vectors are in LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYlLUkjbWlHRiQ2OVEhRicvJSdmYW1pbHlHUTBUaW1lc35OZXd+Um9tYW5GJy8lJXNpemVHUSMxMkYnLyUlYm9sZEdRJmZhbHNlRicvJSdpdGFsaWNHUSV0cnVlRicvJSp1bmRlcmxpbmVHRjcvJSpzdWJzY3JpcHRHRjcvJSxzdXBlcnNjcmlwdEdGNy8lK2ZvcmVncm91bmRHUShbMCwwLDBdRicvJStiYWNrZ3JvdW5kR0ZDLyUnb3BhcXVlR0Y3LyUrZXhlY3V0YWJsZUdGNy8lKXJlYWRvbmx5R0Y3LyUpY29tcG9zZWRHRjcvJSpjb252ZXJ0ZWRHRjcvJStpbXNlbGVjdGVkR0Y3LyUscGxhY2Vob2xkZXJHRjcvJTBmb250X3N0eWxlX25hbWVHUSsyRH5Db21tZW50RicvJSptYXRoY29sb3JHRkMvJS9tYXRoYmFja2dyb3VuZEdGQy8lK2ZvbnRmYW1pbHlHRjEvJSxtYXRodmFyaWFudEdRJ2l0YWxpY0YnLyUpbWF0aHNpemVHRjQtSSVtc3VwR0YkNiUtRiw2OVEiUkYnRi9GMkY1RjhGO0Y9Rj9GQUZERkZGSEZKRkxGTkZQRlJGVEZXRllGZW5GZ25Gam4tRiw2OVEibkYnRi9GMkY1RjhGO0Y9Rj9GQUZERkZGSEZKRkxGTkZQRlJGVEZXRllGZW5GZ25Gam4vJTFzdXBlcnNjcmlwdHNoaWZ0R1EiMEYnRis=. For the first example, consider a set of 5 vectors in LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYlLUkjbWlHRiQ2OVEhRicvJSdmYW1pbHlHUTBUaW1lc35OZXd+Um9tYW5GJy8lJXNpemVHUSMxMkYnLyUlYm9sZEdRJmZhbHNlRicvJSdpdGFsaWNHUSV0cnVlRicvJSp1bmRlcmxpbmVHRjcvJSpzdWJzY3JpcHRHRjcvJSxzdXBlcnNjcmlwdEdGNy8lK2ZvcmVncm91bmRHUShbMCwwLDBdRicvJStiYWNrZ3JvdW5kR0ZDLyUnb3BhcXVlR0Y3LyUrZXhlY3V0YWJsZUdGNy8lKXJlYWRvbmx5R0Y3LyUpY29tcG9zZWRHRjcvJSpjb252ZXJ0ZWRHRjcvJStpbXNlbGVjdGVkR0Y3LyUscGxhY2Vob2xkZXJHRjcvJTBmb250X3N0eWxlX25hbWVHUSsyRH5Db21tZW50RicvJSptYXRoY29sb3JHRkMvJS9tYXRoYmFja2dyb3VuZEdGQy8lK2ZvbnRmYW1pbHlHRjEvJSxtYXRodmFyaWFudEdRJ2l0YWxpY0YnLyUpbWF0aHNpemVHRjQtRiM2JUYrLUklbXN1cEdGJDYlLUYsNjlRIlJGJ0YvRjJGNUY4RjtGPUY/RkFGREZGRkhGSkZMRk5GUEZSRlRGV0ZZRmVuRmduRmpuLUkjbW5HRiQ2OVEiM0YnRi9GMkY1L0Y5RjdGO0Y9Rj9GQUZERkZGSEZKRkxGTkZQRlJGVEZXRllGZW4vRmhuUSdub3JtYWxGJ0Zqbi8lMXN1cGVyc2NyaXB0c2hpZnRHUSIwRidGK0Yr v1 := Vector(3,[1,2,3]); v2 := Vector(3,[1,2,5]); v3 := Vector(3,[2,4,8]); v4 := Vector(3,[1,1,1]); v5 := Vector(3,[-4,14,-26]);

NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USN2MUYoLyUnZmFtaWx5R1EwVGltZXN+TmV3flJvbWFuRigvJSVzaXplR1EjMTJGKC8lJWJvbGRHUSZmYWxzZUYoLyUnaXRhbGljR1EldHJ1ZUYoLyUqdW5kZXJsaW5lR0Y4LyUqc3Vic2NyaXB0R0Y4LyUsc3VwZXJzY3JpcHRHRjgvJStmb3JlZ3JvdW5kR1EqWzAsMCwyNTVdRigvJStiYWNrZ3JvdW5kR1EuWzI1NSwyNTUsMjU1XUYoLyUnb3BhcXVlR0Y4LyUrZXhlY3V0YWJsZUdGOC8lKXJlYWRvbmx5R0Y7LyUpY29tcG9zZWRHRjgvJSpjb252ZXJ0ZWRHRjgvJStpbXNlbGVjdGVkR0Y4LyUscGxhY2Vob2xkZXJHRjgvJTBmb250X3N0eWxlX25hbWVHUSoyRH5PdXRwdXRGKC8lKm1hdGhjb2xvckdGRC8lL21hdGhiYWNrZ3JvdW5kR0ZHLyUrZm9udGZhbWlseUdGMi8lLG1hdGh2YXJpYW50R1EnaXRhbGljRigvJSltYXRoc2l6ZUdGNS1JI21vR0YlNjNRIzo9RigvJSVmb3JtR1EmaW5maXhGKC8lJmZlbmNlR0Y4LyUqc2VwYXJhdG9yR0Y4LyUnbHNwYWNlR1EvdGhpY2ttYXRoc3BhY2VGKC8lJ3JzcGFjZUdGW3AvJSlzdHJldGNoeUdGOC8lKnN5bW1ldHJpY0dGOC8lKG1heHNpemVHUSlpbmZpbml0eUYoLyUobWluc2l6ZUdRIjFGKC8lKGxhcmdlb3BHRjgvJS5tb3ZhYmxlbGltaXRzR0Y4LyUnYWNjZW50R0Y4LyUwZm9udF9zdHlsZV9uYW1lR0ZYLyUlc2l6ZUdGNS8lK2ZvcmVncm91bmRHRkQvJStiYWNrZ3JvdW5kR0ZHLUYkNiUtRl9vNjNRIltGKC9GY29RJ3ByZWZpeEYoL0Zmb0Y7RmdvL0Zqb1EudGhpbm1hdGhzcGFjZUYoL0ZdcEZfci9GX3BGO0ZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1GJDYjLUknbXRhYmxlR0YlNiUtSSRtdHJHRiU2Iy1JJG10ZEdGJTYjLUkjbW5HRiU2OUZncEYwRjNGNi9GOkY4RjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbi9Gam5RJ25vcm1hbEYoRlxvLUZocjYjLUZbczYjLUZeczY5USIyRihGMEYzRjZGYHNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmFzRlxvLUZocjYjLUZbczYjLUZeczY5USIzRihGMEYzRjZGYHNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmFzRlxvLUZfbzYzUSJdRigvRmNvUShwb3N0Zml4RihGXXJGZ29GXnIvRl1wUTJ2ZXJ5dGhpbm1hdGhzcGFjZUYoRmFyRmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxNyMtX0YpSSxtcHJpbnRzbGFzaEdGKDYkNyM+SSN2MUdGKC1JJ1JUQUJMRUdGKDYlIihPV08jLUknTUFUUklYR0YoNiM3JTcjIiIiNyMiIiM3IyIiJCZJJ1ZlY3Rvckc2JCUqcHJvdGVjdGVkR0YqNiNJJ2NvbHVtbkdGKDcjLUZedjYjL0kkJWlkR0YoRmN1

NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USN2MkYoLyUnZmFtaWx5R1EwVGltZXN+TmV3flJvbWFuRigvJSVzaXplR1EjMTJGKC8lJWJvbGRHUSZmYWxzZUYoLyUnaXRhbGljR1EldHJ1ZUYoLyUqdW5kZXJsaW5lR0Y4LyUqc3Vic2NyaXB0R0Y4LyUsc3VwZXJzY3JpcHRHRjgvJStmb3JlZ3JvdW5kR1EqWzAsMCwyNTVdRigvJStiYWNrZ3JvdW5kR1EuWzI1NSwyNTUsMjU1XUYoLyUnb3BhcXVlR0Y4LyUrZXhlY3V0YWJsZUdGOC8lKXJlYWRvbmx5R0Y7LyUpY29tcG9zZWRHRjgvJSpjb252ZXJ0ZWRHRjgvJStpbXNlbGVjdGVkR0Y4LyUscGxhY2Vob2xkZXJHRjgvJTBmb250X3N0eWxlX25hbWVHUSoyRH5PdXRwdXRGKC8lKm1hdGhjb2xvckdGRC8lL21hdGhiYWNrZ3JvdW5kR0ZHLyUrZm9udGZhbWlseUdGMi8lLG1hdGh2YXJpYW50R1EnaXRhbGljRigvJSltYXRoc2l6ZUdGNS1JI21vR0YlNjNRIzo9RigvJSVmb3JtR1EmaW5maXhGKC8lJmZlbmNlR0Y4LyUqc2VwYXJhdG9yR0Y4LyUnbHNwYWNlR1EvdGhpY2ttYXRoc3BhY2VGKC8lJ3JzcGFjZUdGW3AvJSlzdHJldGNoeUdGOC8lKnN5bW1ldHJpY0dGOC8lKG1heHNpemVHUSlpbmZpbml0eUYoLyUobWluc2l6ZUdRIjFGKC8lKGxhcmdlb3BHRjgvJS5tb3ZhYmxlbGltaXRzR0Y4LyUnYWNjZW50R0Y4LyUwZm9udF9zdHlsZV9uYW1lR0ZYLyUlc2l6ZUdGNS8lK2ZvcmVncm91bmRHRkQvJStiYWNrZ3JvdW5kR0ZHLUYkNiUtRl9vNjNRIltGKC9GY29RJ3ByZWZpeEYoL0Zmb0Y7RmdvL0Zqb1EudGhpbm1hdGhzcGFjZUYoL0ZdcEZfci9GX3BGO0ZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1GJDYjLUknbXRhYmxlR0YlNiUtSSRtdHJHRiU2Iy1JJG10ZEdGJTYjLUkjbW5HRiU2OUZncEYwRjNGNi9GOkY4RjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbi9Gam5RJ25vcm1hbEYoRlxvLUZocjYjLUZbczYjLUZeczY5USIyRihGMEYzRjZGYHNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmFzRlxvLUZocjYjLUZbczYjLUZeczY5USI1RihGMEYzRjZGYHNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmFzRlxvLUZfbzYzUSJdRigvRmNvUShwb3N0Zml4RihGXXJGZ29GXnIvRl1wUTJ2ZXJ5dGhpbm1hdGhzcGFjZUYoRmFyRmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxNyMtX0YpSSxtcHJpbnRzbGFzaEdGKDYkNyM+SSN2MkdGKC1JJ1JUQUJMRUdGKDYlIihXXSlHLUknTUFUUklYR0YoNiM3JTcjIiIiNyMiIiM3IyIiJiZJJ1ZlY3Rvckc2JCUqcHJvdGVjdGVkR0YqNiNJJ2NvbHVtbkdGKDcjLUZedjYjL0kkJWlkR0YoRmN1

NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USN2M0YoLyUnZmFtaWx5R1EwVGltZXN+TmV3flJvbWFuRigvJSVzaXplR1EjMTJGKC8lJWJvbGRHUSZmYWxzZUYoLyUnaXRhbGljR1EldHJ1ZUYoLyUqdW5kZXJsaW5lR0Y4LyUqc3Vic2NyaXB0R0Y4LyUsc3VwZXJzY3JpcHRHRjgvJStmb3JlZ3JvdW5kR1EqWzAsMCwyNTVdRigvJStiYWNrZ3JvdW5kR1EuWzI1NSwyNTUsMjU1XUYoLyUnb3BhcXVlR0Y4LyUrZXhlY3V0YWJsZUdGOC8lKXJlYWRvbmx5R0Y7LyUpY29tcG9zZWRHRjgvJSpjb252ZXJ0ZWRHRjgvJStpbXNlbGVjdGVkR0Y4LyUscGxhY2Vob2xkZXJHRjgvJTBmb250X3N0eWxlX25hbWVHUSoyRH5PdXRwdXRGKC8lKm1hdGhjb2xvckdGRC8lL21hdGhiYWNrZ3JvdW5kR0ZHLyUrZm9udGZhbWlseUdGMi8lLG1hdGh2YXJpYW50R1EnaXRhbGljRigvJSltYXRoc2l6ZUdGNS1JI21vR0YlNjNRIzo9RigvJSVmb3JtR1EmaW5maXhGKC8lJmZlbmNlR0Y4LyUqc2VwYXJhdG9yR0Y4LyUnbHNwYWNlR1EvdGhpY2ttYXRoc3BhY2VGKC8lJ3JzcGFjZUdGW3AvJSlzdHJldGNoeUdGOC8lKnN5bW1ldHJpY0dGOC8lKG1heHNpemVHUSlpbmZpbml0eUYoLyUobWluc2l6ZUdRIjFGKC8lKGxhcmdlb3BHRjgvJS5tb3ZhYmxlbGltaXRzR0Y4LyUnYWNjZW50R0Y4LyUwZm9udF9zdHlsZV9uYW1lR0ZYLyUlc2l6ZUdGNS8lK2ZvcmVncm91bmRHRkQvJStiYWNrZ3JvdW5kR0ZHLUYkNiUtRl9vNjNRIltGKC9GY29RJ3ByZWZpeEYoL0Zmb0Y7RmdvL0Zqb1EudGhpbm1hdGhzcGFjZUYoL0ZdcEZfci9GX3BGO0ZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1GJDYjLUknbXRhYmxlR0YlNiUtSSRtdHJHRiU2Iy1JJG10ZEdGJTYjLUkjbW5HRiU2OVEiMkYoRjBGM0Y2L0Y6RjhGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduL0ZqblEnbm9ybWFsRihGXG8tRmhyNiMtRltzNiMtRl5zNjlRIjRGKEYwRjNGNkZhc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GYnNGXG8tRmhyNiMtRltzNiMtRl5zNjlRIjhGKEYwRjNGNkZhc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GYnNGXG8tRl9vNjNRIl1GKC9GY29RKHBvc3RmaXhGKEZdckZnb0Zeci9GXXBRMnZlcnl0aGlubWF0aHNwYWNlRihGYXJGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHE3Iy1fRilJLG1wcmludHNsYXNoR0YoNiQ3Iz5JI3YzR0YoLUknUlRBQkxFR0YoNiUiKFdcTSUtSSdNQVRSSVhHRig2IzclNyMiIiM3IyIiJTcjIiIpJkknVmVjdG9yRzYkJSpwcm90ZWN0ZWRHRio2I0knY29sdW1uR0YoNyMtRl92NiMvSSQlaWRHRihGZHU=

NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USN2NEYoLyUnZmFtaWx5R1EwVGltZXN+TmV3flJvbWFuRigvJSVzaXplR1EjMTJGKC8lJWJvbGRHUSZmYWxzZUYoLyUnaXRhbGljR1EldHJ1ZUYoLyUqdW5kZXJsaW5lR0Y4LyUqc3Vic2NyaXB0R0Y4LyUsc3VwZXJzY3JpcHRHRjgvJStmb3JlZ3JvdW5kR1EqWzAsMCwyNTVdRigvJStiYWNrZ3JvdW5kR1EuWzI1NSwyNTUsMjU1XUYoLyUnb3BhcXVlR0Y4LyUrZXhlY3V0YWJsZUdGOC8lKXJlYWRvbmx5R0Y7LyUpY29tcG9zZWRHRjgvJSpjb252ZXJ0ZWRHRjgvJStpbXNlbGVjdGVkR0Y4LyUscGxhY2Vob2xkZXJHRjgvJTBmb250X3N0eWxlX25hbWVHUSoyRH5PdXRwdXRGKC8lKm1hdGhjb2xvckdGRC8lL21hdGhiYWNrZ3JvdW5kR0ZHLyUrZm9udGZhbWlseUdGMi8lLG1hdGh2YXJpYW50R1EnaXRhbGljRigvJSltYXRoc2l6ZUdGNS1JI21vR0YlNjNRIzo9RigvJSVmb3JtR1EmaW5maXhGKC8lJmZlbmNlR0Y4LyUqc2VwYXJhdG9yR0Y4LyUnbHNwYWNlR1EvdGhpY2ttYXRoc3BhY2VGKC8lJ3JzcGFjZUdGW3AvJSlzdHJldGNoeUdGOC8lKnN5bW1ldHJpY0dGOC8lKG1heHNpemVHUSlpbmZpbml0eUYoLyUobWluc2l6ZUdRIjFGKC8lKGxhcmdlb3BHRjgvJS5tb3ZhYmxlbGltaXRzR0Y4LyUnYWNjZW50R0Y4LyUwZm9udF9zdHlsZV9uYW1lR0ZYLyUlc2l6ZUdGNS8lK2ZvcmVncm91bmRHRkQvJStiYWNrZ3JvdW5kR0ZHLUYkNiUtRl9vNjNRIltGKC9GY29RJ3ByZWZpeEYoL0Zmb0Y7RmdvL0Zqb1EudGhpbm1hdGhzcGFjZUYoL0ZdcEZfci9GX3BGO0ZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1GJDYjLUknbXRhYmxlR0YlNiUtSSRtdHJHRiU2Iy1JJG10ZEdGJTYjLUkjbW5HRiU2OUZncEYwRjNGNi9GOkY4RjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbi9Gam5RJ25vcm1hbEYoRlxvRmdyRmdyLUZfbzYzUSJdRigvRmNvUShwb3N0Zml4RihGXXJGZ29GXnIvRl1wUTJ2ZXJ5dGhpbm1hdGhzcGFjZUYoRmFyRmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxNyMtX0YpSSxtcHJpbnRzbGFzaEdGKDYkNyM+SSN2NEdGKC1JJ1JUQUJMRUdGKDYlIiglKVxNJS1JJ01BVFJJWEdGKDYjNyU3IyIiIkZqdEZqdCZJJ1ZlY3Rvckc2JCUqcHJvdGVjdGVkR0YqNiNJJ2NvbHVtbkdGKDcjLUZcdTYjL0kkJWlkR0YoRmV0

NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USN2NUYoLyUnZmFtaWx5R1EwVGltZXN+TmV3flJvbWFuRigvJSVzaXplR1EjMTJGKC8lJWJvbGRHUSZmYWxzZUYoLyUnaXRhbGljR1EldHJ1ZUYoLyUqdW5kZXJsaW5lR0Y4LyUqc3Vic2NyaXB0R0Y4LyUsc3VwZXJzY3JpcHRHRjgvJStmb3JlZ3JvdW5kR1EqWzAsMCwyNTVdRigvJStiYWNrZ3JvdW5kR1EuWzI1NSwyNTUsMjU1XUYoLyUnb3BhcXVlR0Y4LyUrZXhlY3V0YWJsZUdGOC8lKXJlYWRvbmx5R0Y7LyUpY29tcG9zZWRHRjgvJSpjb252ZXJ0ZWRHRjgvJStpbXNlbGVjdGVkR0Y4LyUscGxhY2Vob2xkZXJHRjgvJTBmb250X3N0eWxlX25hbWVHUSoyRH5PdXRwdXRGKC8lKm1hdGhjb2xvckdGRC8lL21hdGhiYWNrZ3JvdW5kR0ZHLyUrZm9udGZhbWlseUdGMi8lLG1hdGh2YXJpYW50R1EnaXRhbGljRigvJSltYXRoc2l6ZUdGNS1JI21vR0YlNjNRIzo9RigvJSVmb3JtR1EmaW5maXhGKC8lJmZlbmNlR0Y4LyUqc2VwYXJhdG9yR0Y4LyUnbHNwYWNlR1EvdGhpY2ttYXRoc3BhY2VGKC8lJ3JzcGFjZUdGW3AvJSlzdHJldGNoeUdGOC8lKnN5bW1ldHJpY0dGOC8lKG1heHNpemVHUSlpbmZpbml0eUYoLyUobWluc2l6ZUdRIjFGKC8lKGxhcmdlb3BHRjgvJS5tb3ZhYmxlbGltaXRzR0Y4LyUnYWNjZW50R0Y4LyUwZm9udF9zdHlsZV9uYW1lR0ZYLyUlc2l6ZUdGNS8lK2ZvcmVncm91bmRHRkQvJStiYWNrZ3JvdW5kR0ZHLUYkNiUtRl9vNjNRIltGKC9GY29RJ3ByZWZpeEYoL0Zmb0Y7RmdvL0Zqb1EudGhpbm1hdGhzcGFjZUYoL0ZdcEZfci9GX3BGO0ZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1GJDYjLUknbXRhYmxlR0YlNiUtSSRtdHJHRiU2Iy1JJG10ZEdGJTYjLUkjbW5HRiU2OVEpJm1pbnVzOzRGKEYwRjNGNi9GOkY4RjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbi9Gam5RJ25vcm1hbEYoRlxvLUZocjYjLUZbczYjLUZeczY5USMxNEYoRjBGM0Y2RmFzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZic0Zcby1GaHI2Iy1GW3M2Iy1GXnM2OVEqJm1pbnVzOzI2RihGMEYzRjZGYXNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmJzRlxvLUZfbzYzUSJdRigvRmNvUShwb3N0Zml4RihGXXJGZ29GXnIvRl1wUTJ2ZXJ5dGhpbm1hdGhzcGFjZUYoRmFyRmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxNyMtX0YpSSxtcHJpbnRzbGFzaEdGKDYkNyM+SSN2NUdGKC1JJ1JUQUJMRUdGKDYlIihDXU0lLUknTUFUUklYR0YoNiM3JTcjISIlNyMiIzk3IyEjRSZJJ1ZlY3Rvckc2JCUqcHJvdGVjdGVkR0YqNiNJJ2NvbHVtbkdGKDcjLUZfdjYjL0kkJWlkR0YoRmR1

Put the vectors together into a matrix (as column vectors). MatOfVec := <v1 | v2 | v3 | v4 | v5>;

NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USlNYXRPZlZlY0YoLyUnZmFtaWx5R1EwVGltZXN+TmV3flJvbWFuRigvJSVzaXplR1EjMTJGKC8lJWJvbGRHUSZmYWxzZUYoLyUnaXRhbGljR1EldHJ1ZUYoLyUqdW5kZXJsaW5lR0Y4LyUqc3Vic2NyaXB0R0Y4LyUsc3VwZXJzY3JpcHRHRjgvJStmb3JlZ3JvdW5kR1EqWzAsMCwyNTVdRigvJStiYWNrZ3JvdW5kR1EuWzI1NSwyNTUsMjU1XUYoLyUnb3BhcXVlR0Y4LyUrZXhlY3V0YWJsZUdGOC8lKXJlYWRvbmx5R0Y7LyUpY29tcG9zZWRHRjgvJSpjb252ZXJ0ZWRHRjgvJStpbXNlbGVjdGVkR0Y4LyUscGxhY2Vob2xkZXJHRjgvJTBmb250X3N0eWxlX25hbWVHUSoyRH5PdXRwdXRGKC8lKm1hdGhjb2xvckdGRC8lL21hdGhiYWNrZ3JvdW5kR0ZHLyUrZm9udGZhbWlseUdGMi8lLG1hdGh2YXJpYW50R1EnaXRhbGljRigvJSltYXRoc2l6ZUdGNS1JI21vR0YlNjNRIzo9RigvJSVmb3JtR1EmaW5maXhGKC8lJmZlbmNlR0Y4LyUqc2VwYXJhdG9yR0Y4LyUnbHNwYWNlR1EvdGhpY2ttYXRoc3BhY2VGKC8lJ3JzcGFjZUdGW3AvJSlzdHJldGNoeUdGOC8lKnN5bW1ldHJpY0dGOC8lKG1heHNpemVHUSlpbmZpbml0eUYoLyUobWluc2l6ZUdRIjFGKC8lKGxhcmdlb3BHRjgvJS5tb3ZhYmxlbGltaXRzR0Y4LyUnYWNjZW50R0Y4LyUwZm9udF9zdHlsZV9uYW1lR0ZYLyUlc2l6ZUdGNS8lK2ZvcmVncm91bmRHRkQvJStiYWNrZ3JvdW5kR0ZHLUYkNiUtRl9vNjNRIltGKC9GY29RJ3ByZWZpeEYoL0Zmb0Y7RmdvL0Zqb1EudGhpbm1hdGhzcGFjZUYoL0ZdcEZfci9GX3BGO0ZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1GJDYjLUknbXRhYmxlR0YlNiUtSSRtdHJHRiU2Jy1JJG10ZEdGJTYjLUkjbW5HRiU2OUZncEYwRjNGNi9GOkY4RjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbi9Gam5RJ25vcm1hbEYoRlxvRmpyLUZbczYjLUZeczY5USIyRihGMEYzRjZGYHNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmFzRlxvRmpyLUZbczYjLUZeczY5USkmbWludXM7NEYoRjBGM0Y2RmBzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZhc0Zcby1GaHI2J0Zjc0Zjcy1GW3M2Iy1GXnM2OVEiNEYoRjBGM0Y2RmBzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZhc0Zcb0Zqci1GW3M2Iy1GXnM2OVEjMTRGKEYwRjNGNkZgc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GYXNGXG8tRmhyNictRltzNiMtRl5zNjlRIjNGKEYwRjNGNkZgc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GYXNGXG8tRltzNiMtRl5zNjlRIjVGKEYwRjNGNkZgc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GYXNGXG8tRltzNiMtRl5zNjlRIjhGKEYwRjNGNkZgc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GYXNGXG9GanItRltzNiMtRl5zNjlRKiZtaW51czsyNkYoRjBGM0Y2RmBzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZhc0Zcby1GX282M1EiXUYoL0Zjb1EocG9zdGZpeEYoRl1yRmdvRl5yL0ZdcFEydmVyeXRoaW5tYXRoc3BhY2VGKEZhckZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcTcjLV9GKUksbXByaW50c2xhc2hHRig2JDcjPkkpTWF0T2ZWZWNHRigtSSdSVEFCTEVHRig2JSIoXy9iJS1JJ01BVFJJWEdGKDYjNyU3JyIiIkZndyIiI0ZndyEiJTcnRmh3Rmh3IiIlRmd3IiM5NyciIiQiIiYiIilGZ3chI0VJJ01hdHJpeEc2JCUqcHJvdGVjdGVkR0YqNyMtRmJ4NiMvSSQlaWRHRihGYXc=

Next we compute the rank and row reduce the matrix to find a reduced echelon form. Rank(MatOfVec); RedMat := ReducedRowEchelonForm(MatOfVec);

NiQtSSNtbkc2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGKDY5USIzRigvJSdmYW1pbHlHUTBUaW1lc35OZXd+Um9tYW5GKC8lJXNpemVHUSMxMkYoLyUlYm9sZEdRJmZhbHNlRigvJSdpdGFsaWNHRjUvJSp1bmRlcmxpbmVHRjUvJSpzdWJzY3JpcHRHRjUvJSxzdXBlcnNjcmlwdEdGNS8lK2ZvcmVncm91bmRHUSpbMCwwLDI1NV1GKC8lK2JhY2tncm91bmRHUS5bMjU1LDI1NSwyNTVdRigvJSdvcGFxdWVHRjUvJStleGVjdXRhYmxlR0Y1LyUpcmVhZG9ubHlHUSV0cnVlRigvJSljb21wb3NlZEdGNS8lKmNvbnZlcnRlZEdGNS8lK2ltc2VsZWN0ZWRHRjUvJSxwbGFjZWhvbGRlckdGNS8lMGZvbnRfc3R5bGVfbmFtZUdRKjJEfk91dHB1dEYoLyUqbWF0aGNvbG9yR0ZALyUvbWF0aGJhY2tncm91bmRHRkMvJStmb250ZmFtaWx5R0YvLyUsbWF0aHZhcmlhbnRHUSdub3JtYWxGKC8lKW1hdGhzaXplR0YyNyMiIiQ=

NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USdSZWRNYXRGKC8lJ2ZhbWlseUdRMFRpbWVzfk5ld35Sb21hbkYoLyUlc2l6ZUdRIzEyRigvJSVib2xkR1EmZmFsc2VGKC8lJ2l0YWxpY0dRJXRydWVGKC8lKnVuZGVybGluZUdGOC8lKnN1YnNjcmlwdEdGOC8lLHN1cGVyc2NyaXB0R0Y4LyUrZm9yZWdyb3VuZEdRKlswLDAsMjU1XUYoLyUrYmFja2dyb3VuZEdRLlsyNTUsMjU1LDI1NV1GKC8lJ29wYXF1ZUdGOC8lK2V4ZWN1dGFibGVHRjgvJSlyZWFkb25seUdGOy8lKWNvbXBvc2VkR0Y4LyUqY29udmVydGVkR0Y4LyUraW1zZWxlY3RlZEdGOC8lLHBsYWNlaG9sZGVyR0Y4LyUwZm9udF9zdHlsZV9uYW1lR1EqMkR+T3V0cHV0RigvJSptYXRoY29sb3JHRkQvJS9tYXRoYmFja2dyb3VuZEdGRy8lK2ZvbnRmYW1pbHlHRjIvJSxtYXRodmFyaWFudEdRJ2l0YWxpY0YoLyUpbWF0aHNpemVHRjUtSSNtb0dGJTYzUSM6PUYoLyUlZm9ybUdRJmluZml4RigvJSZmZW5jZUdGOC8lKnNlcGFyYXRvckdGOC8lJ2xzcGFjZUdRL3RoaWNrbWF0aHNwYWNlRigvJSdyc3BhY2VHRltwLyUpc3RyZXRjaHlHRjgvJSpzeW1tZXRyaWNHRjgvJShtYXhzaXplR1EpaW5maW5pdHlGKC8lKG1pbnNpemVHUSIxRigvJShsYXJnZW9wR0Y4LyUubW92YWJsZWxpbWl0c0dGOC8lJ2FjY2VudEdGOC8lMGZvbnRfc3R5bGVfbmFtZUdGWC8lJXNpemVHRjUvJStmb3JlZ3JvdW5kR0ZELyUrYmFja2dyb3VuZEdGRy1GJDYlLUZfbzYzUSJbRigvRmNvUSdwcmVmaXhGKC9GZm9GO0Znby9Gam9RLnRoaW5tYXRoc3BhY2VGKC9GXXBGX3IvRl9wRjtGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHEtRiQ2Iy1JJ210YWJsZUdGJTYlLUkkbXRyR0YlNictSSRtdGRHRiU2Iy1JI21uR0YlNjlGZ3BGMEYzRjYvRjpGOEY8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ24vRmpuUSdub3JtYWxGKEZcby1GW3M2Iy1GXnM2OVEiMEYoRjBGM0Y2RmBzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZhc0Zcb0ZqckZjcy1GW3M2Iy1GXnM2OVEjNDdGKEYwRjNGNkZgc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GYXNGXG8tRmhyNidGY3NGanJGanJGY3MtRltzNiMtRl5zNjlRKiZtaW51czsyOUYoRjBGM0Y2RmBzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZhc0Zcby1GaHI2J0Zjc0Zjc0Zjc0Zqci1GW3M2Iy1GXnM2OVEqJm1pbnVzOzIyRihGMEYzRjZGYHNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmFzRlxvLUZfbzYzUSJdRigvRmNvUShwb3N0Zml4RihGXXJGZ29GXnIvRl1wUTJ2ZXJ5dGhpbm1hdGhzcGFjZUYoRmFyRmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxNyMtX0YpSSxtcHJpbnRzbGFzaEdGKDYkNyM+SSdSZWRNYXRHRigtSSdSVEFCTEVHRig2JSIobypRRS1JJ01BVFJJWEdGKDYjNyU3JyIiIiIiIUZjdkZkdiIjWjcnRmR2RmN2RmN2RmR2ISNINydGZHZGZHZGZHZGY3YhI0FJJ01hdHJpeEc2JCUqcHJvdGVjdGVkR0YqNyMtRmp2NiMvSSQlaWRHRihGXXY=

We conclude that: 1) The rank of the matrix is 3, so the set of 5 column vectors cannot be linearly independent. The biggest subset of linearly independent vectors has size 3. 2) The pivots of the reduced echelon form correspond to independent vectors. Thus {v1, v2, v4} is a linearly independent set. 3) Reading the coefficients from the reduced matrix, v3 is the sum of v1 and v2, while v5 is equal to 47 times v1 minus 29 times v2 minus 22 times v4. To see why 3) works, compute the general solution of k1v1 + ... + k5v5 = 0: B:= Vector(3,[0,0,0]); gensol := LinearSolve(MatOfVec,B);

NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USJCRigvJSdmYW1pbHlHUTBUaW1lc35OZXd+Um9tYW5GKC8lJXNpemVHUSMxMkYoLyUlYm9sZEdRJmZhbHNlRigvJSdpdGFsaWNHUSV0cnVlRigvJSp1bmRlcmxpbmVHRjgvJSpzdWJzY3JpcHRHRjgvJSxzdXBlcnNjcmlwdEdGOC8lK2ZvcmVncm91bmRHUSpbMCwwLDI1NV1GKC8lK2JhY2tncm91bmRHUS5bMjU1LDI1NSwyNTVdRigvJSdvcGFxdWVHRjgvJStleGVjdXRhYmxlR0Y4LyUpcmVhZG9ubHlHRjsvJSljb21wb3NlZEdGOC8lKmNvbnZlcnRlZEdGOC8lK2ltc2VsZWN0ZWRHRjgvJSxwbGFjZWhvbGRlckdGOC8lMGZvbnRfc3R5bGVfbmFtZUdRKjJEfk91dHB1dEYoLyUqbWF0aGNvbG9yR0ZELyUvbWF0aGJhY2tncm91bmRHRkcvJStmb250ZmFtaWx5R0YyLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGKC8lKW1hdGhzaXplR0Y1LUkjbW9HRiU2M1EjOj1GKC8lJWZvcm1HUSZpbmZpeEYoLyUmZmVuY2VHRjgvJSpzZXBhcmF0b3JHRjgvJSdsc3BhY2VHUS90aGlja21hdGhzcGFjZUYoLyUncnNwYWNlR0ZbcC8lKXN0cmV0Y2h5R0Y4LyUqc3ltbWV0cmljR0Y4LyUobWF4c2l6ZUdRKWluZmluaXR5RigvJShtaW5zaXplR1EiMUYoLyUobGFyZ2VvcEdGOC8lLm1vdmFibGVsaW1pdHNHRjgvJSdhY2NlbnRHRjgvJTBmb250X3N0eWxlX25hbWVHRlgvJSVzaXplR0Y1LyUrZm9yZWdyb3VuZEdGRC8lK2JhY2tncm91bmRHRkctRiQ2JS1GX282M1EiW0YoL0Zjb1EncHJlZml4RigvRmZvRjtGZ28vRmpvUS50aGlubWF0aHNwYWNlRigvRl1wRl9yL0ZfcEY7RmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxLUYkNiMtSSdtdGFibGVHRiU2JS1JJG10ckdGJTYjLUkkbXRkR0YlNiMtSSNtbkdGJTY5USIwRihGMEYzRjYvRjpGOEY8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ24vRmpuUSdub3JtYWxGKEZcb0ZnckZnci1GX282M1EiXUYoL0Zjb1EocG9zdGZpeEYoRl1yRmdvRl5yL0ZdcFEydmVyeXRoaW5tYXRoc3BhY2VGKEZhckZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcTcjLV9GKUksbXByaW50c2xhc2hHRig2JDcjPkkiQkdGKC1JJ1JUQUJMRUdGKDYlIigjZmBbLUknTUFUUklYR0YoNiM3JTcjIiIhRlt1Rlt1JkknVmVjdG9yRzYkJSpwcm90ZWN0ZWRHRio2I0knY29sdW1uR0YoNyMtRl11NiMvSSQlaWRHRihGZnQ=

NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USdnZW5zb2xGKC8lJ2ZhbWlseUdRMFRpbWVzfk5ld35Sb21hbkYoLyUlc2l6ZUdRIzEyRigvJSVib2xkR1EmZmFsc2VGKC8lJ2l0YWxpY0dRJXRydWVGKC8lKnVuZGVybGluZUdGOC8lKnN1YnNjcmlwdEdGOC8lLHN1cGVyc2NyaXB0R0Y4LyUrZm9yZWdyb3VuZEdRKlswLDAsMjU1XUYoLyUrYmFja2dyb3VuZEdRLlsyNTUsMjU1LDI1NV1GKC8lJ29wYXF1ZUdGOC8lK2V4ZWN1dGFibGVHRjgvJSlyZWFkb25seUdGOy8lKWNvbXBvc2VkR0Y4LyUqY29udmVydGVkR0Y4LyUraW1zZWxlY3RlZEdGOC8lLHBsYWNlaG9sZGVyR0Y4LyUwZm9udF9zdHlsZV9uYW1lR1EqMkR+T3V0cHV0RigvJSptYXRoY29sb3JHRkQvJS9tYXRoYmFja2dyb3VuZEdGRy8lK2ZvbnRmYW1pbHlHRjIvJSxtYXRodmFyaWFudEdRJ2l0YWxpY0YoLyUpbWF0aHNpemVHRjUtSSNtb0dGJTYzUSM6PUYoLyUlZm9ybUdRJmluZml4RigvJSZmZW5jZUdGOC8lKnNlcGFyYXRvckdGOC8lJ2xzcGFjZUdRL3RoaWNrbWF0aHNwYWNlRigvJSdyc3BhY2VHRltwLyUpc3RyZXRjaHlHRjgvJSpzeW1tZXRyaWNHRjgvJShtYXhzaXplR1EpaW5maW5pdHlGKC8lKG1pbnNpemVHUSIxRigvJShsYXJnZW9wR0Y4LyUubW92YWJsZWxpbWl0c0dGOC8lJ2FjY2VudEdGOC8lMGZvbnRfc3R5bGVfbmFtZUdGWC8lJXNpemVHRjUvJStmb3JlZ3JvdW5kR0ZELyUrYmFja2dyb3VuZEdGRy1GJDYlLUZfbzYzUSJbRigvRmNvUSdwcmVmaXhGKC9GZm9GO0Znby9Gam9RLnRoaW5tYXRoc3BhY2VGKC9GXXBGX3IvRl9wRjtGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHEtRiQ2Iy1JJ210YWJsZUdGJTYnLUkkbXRyR0YlNiMtSSRtdGRHRiU2Iy1GJDYmLUZfbzYzUSomdW1pbnVzMDtGKEZbckZlb0Znby9Gam9RJDBlbUYoL0ZdcEZjc0ZecEZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1JJW1zdWJHRiU2Ji1GLTY5USNfdEYoRjBGM0Y2RjlGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmluRlxvLUYkNiMtSSNtbkdGJTY5USIzRihGMEYzRjYvRjpGOEY8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ24vRmpuUSdub3JtYWxGKEZcby8lL3N1YnNjcmlwdHNoaWZ0R1EiMEYoLyUscGxhY2Vob2xkZXJHRjgtRl9vNjNRKCZtaW51cztGKEZib0Zlb0Znby9Gam9RMG1lZGl1bW1hdGhzcGFjZUYoL0ZdcEZddUZecEZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1GJDYlLUZedDY5USM0N0YoRjBGM0Y2RmF0RjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZidEZcby1GX282M1ExJkludmlzaWJsZVRpbWVzO0YoRmJvRmVvRmdvRmJzRmRzRl5wRmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxLUZmczYmRmhzLUYkNiMtRl50NjlRIjVGKEYwRjNGNkZhdEY8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GYnRGXG9GZHRGZ3QtRmhyNiMtRltzNiMtRiQ2JkZfc0Zlcy1GX282M1EiK0YoRmJvRmVvRmdvRlx1Rl51Rl5wRmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxLUYkNiUtRl50NjlRIzI5RihGMEYzRjZGYXRGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmJ0RlxvRmR1Rmd1LUZocjYjLUZbczYjRmVzLUZocjYjLUZbczYjLUYkNiUtRl50NjlRIzIyRihGMEYzRjZGYXRGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmJ0RlxvRmR1Rmd1LUZocjYjLUZbczYjRmd1LUZfbzYzUSJdRigvRmNvUShwb3N0Zml4RihGXXJGZ29GXnIvRl1wUTJ2ZXJ5dGhpbm1hdGhzcGFjZUYoRmFyRmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxNyMtX0YpSSxtcHJpbnRzbGFzaEdGKDYkNyM+SSdnZW5zb2xHRigtSSdSVEFCTEVHRig2JSIoN3IpWy1JJ01BVFJJWEdGKDYjNyc3IywmJkkjX3RHRig2IyIiJCEiIiomIiNaIiIiJkZneTYjIiImRl16Rmp5NyMsJkZmeUZqeSomIiNIRl16Rl56Rl16Rl16NyNGZnk3IywkKiYiI0FGXXpGXnpGXXpGXXo3I0ZeeiZJJ1ZlY3Rvckc2JCUqcHJvdGVjdGVkR0YqNiNJJ2NvbHVtbkdGKDcjLUZbW2w2Iy9JJCVpZEdGKEZfeQ==

eval(gensol,{_t[3]=1,_t[5]=0}); eval(gensol,{_t[3]=0,_t[5]=1});

NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtb0dGJTYzUSJbRigvJSVmb3JtR1EncHJlZml4RigvJSZmZW5jZUdRJXRydWVGKC8lKnNlcGFyYXRvckdRJmZhbHNlRigvJSdsc3BhY2VHUS50aGlubWF0aHNwYWNlRigvJSdyc3BhY2VHRjsvJSlzdHJldGNoeUdGNS8lKnN5bW1ldHJpY0dGOC8lKG1heHNpemVHUSlpbmZpbml0eUYoLyUobWluc2l6ZUdRIjFGKC8lKGxhcmdlb3BHRjgvJS5tb3ZhYmxlbGltaXRzR0Y4LyUnYWNjZW50R0Y4LyUwZm9udF9zdHlsZV9uYW1lR1EqMkR+T3V0cHV0RigvJSVzaXplR1EjMTJGKC8lK2ZvcmVncm91bmRHUSpbMCwwLDI1NV1GKC8lK2JhY2tncm91bmRHUS5bMjU1LDI1NSwyNTVdRigtRiQ2Iy1JJ210YWJsZUdGJTYnLUkkbXRyR0YlNiMtSSRtdGRHRiU2Iy1JI21uR0YlNjlRKSZtaW51czsxRigvJSdmYW1pbHlHUTBUaW1lc35OZXd+Um9tYW5GKC8lJXNpemVHRlMvJSVib2xkR0Y4LyUnaXRhbGljR0Y4LyUqdW5kZXJsaW5lR0Y4LyUqc3Vic2NyaXB0R0Y4LyUsc3VwZXJzY3JpcHRHRjgvJStmb3JlZ3JvdW5kR0ZWLyUrYmFja2dyb3VuZEdGWS8lJ29wYXF1ZUdGOC8lK2V4ZWN1dGFibGVHRjgvJSlyZWFkb25seUdGNS8lKWNvbXBvc2VkR0Y4LyUqY29udmVydGVkR0Y4LyUraW1zZWxlY3RlZEdGOC8lLHBsYWNlaG9sZGVyR0Y4LyUwZm9udF9zdHlsZV9uYW1lR0ZQLyUqbWF0aGNvbG9yR0ZWLyUvbWF0aGJhY2tncm91bmRHRlkvJStmb250ZmFtaWx5R0Zlby8lLG1hdGh2YXJpYW50R1Enbm9ybWFsRigvJSltYXRoc2l6ZUdGU0Zpbi1Gam42Iy1GXW82Iy1GYG82OUZHRmNvRmZvRmhvRmpvRlxwRl5wRmBwRmJwRmRwRmZwRmhwRmpwRlxxRl5xRmBxRmJxRmRxRmZxRmhxRmpxRlxyRl9yLUZqbjYjLUZdbzYjLUZgbzY5USIwRihGY29GZm9GaG9Gam9GXHBGXnBGYHBGYnBGZHBGZnBGaHBGanBGXHFGXnFGYHFGYnFGZHFGZnFGaHFGanFGXHJGX3JGZ3ItRi02M1EiXUYoL0YxUShwb3N0Zml4RihGM0Y2RjkvRj1RMnZlcnl0aGlubWF0aHNwYWNlRihGPkZARkJGRUZIRkpGTEZORlFGVEZXNyMtX0YpSSxtcHJpbnRzbGFzaEdGKDYkNyMtSSdSVEFCTEVHRig2JSIoOzYwJi1JJ01BVFJJWEdGKDYjNyc3IyEiIkZjdDcjIiIiNyMiIiFGZ3QmSSdWZWN0b3JHNiQlKnByb3RlY3RlZEdGKjYjSSdjb2x1bW5HRig3Iy1GaXQ2Iy9JJCVpZEdGKEZedA==

NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtb0dGJTYzUSJbRigvJSVmb3JtR1EncHJlZml4RigvJSZmZW5jZUdRJXRydWVGKC8lKnNlcGFyYXRvckdRJmZhbHNlRigvJSdsc3BhY2VHUS50aGlubWF0aHNwYWNlRigvJSdyc3BhY2VHRjsvJSlzdHJldGNoeUdGNS8lKnN5bW1ldHJpY0dGOC8lKG1heHNpemVHUSlpbmZpbml0eUYoLyUobWluc2l6ZUdRIjFGKC8lKGxhcmdlb3BHRjgvJS5tb3ZhYmxlbGltaXRzR0Y4LyUnYWNjZW50R0Y4LyUwZm9udF9zdHlsZV9uYW1lR1EqMkR+T3V0cHV0RigvJSVzaXplR1EjMTJGKC8lK2ZvcmVncm91bmRHUSpbMCwwLDI1NV1GKC8lK2JhY2tncm91bmRHUS5bMjU1LDI1NSwyNTVdRigtRiQ2Iy1JJ210YWJsZUdGJTYnLUkkbXRyR0YlNiMtSSRtdGRHRiU2Iy1JI21uR0YlNjlRKiZtaW51czs0N0YoLyUnZmFtaWx5R1EwVGltZXN+TmV3flJvbWFuRigvJSVzaXplR0ZTLyUlYm9sZEdGOC8lJ2l0YWxpY0dGOC8lKnVuZGVybGluZUdGOC8lKnN1YnNjcmlwdEdGOC8lLHN1cGVyc2NyaXB0R0Y4LyUrZm9yZWdyb3VuZEdGVi8lK2JhY2tncm91bmRHRlkvJSdvcGFxdWVHRjgvJStleGVjdXRhYmxlR0Y4LyUpcmVhZG9ubHlHRjUvJSljb21wb3NlZEdGOC8lKmNvbnZlcnRlZEdGOC8lK2ltc2VsZWN0ZWRHRjgvJSxwbGFjZWhvbGRlckdGOC8lMGZvbnRfc3R5bGVfbmFtZUdGUC8lKm1hdGhjb2xvckdGVi8lL21hdGhiYWNrZ3JvdW5kR0ZZLyUrZm9udGZhbWlseUdGZW8vJSxtYXRodmFyaWFudEdRJ25vcm1hbEYoLyUpbWF0aHNpemVHRlMtRmpuNiMtRl1vNiMtRmBvNjlRIzI5RihGY29GZm9GaG9Gam9GXHBGXnBGYHBGYnBGZHBGZnBGaHBGanBGXHFGXnFGYHFGYnFGZHFGZnFGaHFGanFGXHJGX3ItRmpuNiMtRl1vNiMtRmBvNjlRIjBGKEZjb0Zmb0Zob0Zqb0ZccEZecEZgcEZicEZkcEZmcEZocEZqcEZccUZecUZgcUZicUZkcUZmcUZocUZqcUZcckZfci1Gam42Iy1GXW82Iy1GYG82OVEjMjJGKEZjb0Zmb0Zob0Zqb0ZccEZecEZgcEZicEZkcEZmcEZocEZqcEZccUZecUZgcUZicUZkcUZmcUZocUZqcUZcckZfci1Gam42Iy1GXW82Iy1GYG82OUZHRmNvRmZvRmhvRmpvRlxwRl5wRmBwRmJwRmRwRmZwRmhwRmpwRlxxRl5xRmBxRmJxRmRxRmZxRmhxRmpxRlxyRl9yLUYtNjNRIl1GKC9GMVEocG9zdGZpeEYoRjNGNkY5L0Y9UTJ2ZXJ5dGhpbm1hdGhzcGFjZUYoRj5GQEZCRkVGSEZKRkxGTkZRRlRGVzcjLV9GKUksbXByaW50c2xhc2hHRig2JDcjLUknUlRBQkxFR0YoNiUiKF9yKVstSSdNQVRSSVhHRig2IzcnNyMhI1o3IyIjSDcjIiIhNyMiI0E3IyIiIiZJJ1ZlY3Rvckc2JCUqcHJvdGVjdGVkR0YqNiNJJ2NvbHVtbkdGKDcjLUZbdjYjL0kkJWlkR0YoRlx1

The first particular solution says that v3 = v1 + v2. The second particular solution says v5 = 47v1 - 29v2 - 22v4. Note that the reduced echelon matrix has the appropriate coefficients already computed in terms of the pivots.

1) Explain why we are justified in using the reduced form of the matrix to draw conclusions about the original set of vectors. (Your answer should connect equations of vectors to solutions of systems of equations.) 2) (Read carefully:) Use the phone numbers of 5 friends to produce 7 vectors in R5. Find a maximal linearly independent subset of the vectors. Express the other vectors as linear combinations of vectors in the subset. 3) Is the set S=LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYlLUkjbWlHRiQ2OVEhRicvJSdmYW1pbHlHUTBUaW1lc35OZXd+Um9tYW5GJy8lJXNpemVHUSMxMkYnLyUlYm9sZEdRJmZhbHNlRicvJSdpdGFsaWNHUSV0cnVlRicvJSp1bmRlcmxpbmVHRjcvJSpzdWJzY3JpcHRHRjcvJSxzdXBlcnNjcmlwdEdGNy8lK2ZvcmVncm91bmRHUShbMCwwLDBdRicvJStiYWNrZ3JvdW5kR0ZDLyUnb3BhcXVlR0Y3LyUrZXhlY3V0YWJsZUdGNy8lKXJlYWRvbmx5R0Y3LyUpY29tcG9zZWRHRjcvJSpjb252ZXJ0ZWRHRjcvJStpbXNlbGVjdGVkR0Y3LyUscGxhY2Vob2xkZXJHRjcvJTBmb250X3N0eWxlX25hbWVHUSgyRH5NYXRoRicvJSptYXRoY29sb3JHRkMvJS9tYXRoYmFja2dyb3VuZEdGQy8lK2ZvbnRmYW1pbHlHRjEvJSxtYXRodmFyaWFudEdRJ2l0YWxpY0YnLyUpbWF0aHNpemVHRjQtRiM2JS1JI21vR0YkNjNRInxmckYnLyUlZm9ybUdRJ3ByZWZpeEYnLyUmZmVuY2VHRjovJSpzZXBhcmF0b3JHRjcvJSdsc3BhY2VHUS50aGlubWF0aHNwYWNlRicvJSdyc3BhY2VHRltwLyUpc3RyZXRjaHlHRjovJSpzeW1tZXRyaWNHRjcvJShtYXhzaXplR1EpaW5maW5pdHlGJy8lKG1pbnNpemVHUSIxRicvJShsYXJnZW9wR0Y3LyUubW92YWJsZWxpbWl0c0dGNy8lJ2FjY2VudEdGNy8lMGZvbnRfc3R5bGVfbmFtZUdGVi8lJXNpemVHRjQvJStmb3JlZ3JvdW5kR0ZDLyUrYmFja2dyb3VuZEdGQy1GIzYrRistRiM2JS1GX282M1EiW0YnRmJvRmVvRmdvRmlvRlxwRl5wRmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxLUYjNiVGKy1JJ210YWJsZUdGJDYkLUkkbXRyR0YkNiQtSSRtdGRHRiQ2Iy1JI21uR0YkNjlGZ3BGL0YyRjUvRjlGN0Y7Rj1GP0ZBRkRGRkZIRkpGTEZORlBGUkZURldGWUZlbi9GaG5RJ25vcm1hbEYnRmpuLUZmcjYjLUZpcjY5USIwRidGL0YyRjVGW3NGO0Y9Rj9GQUZERkZGSEZKRkxGTkZQRlJGVEZXRllGZW5GXHNGam4tRmNyNiRGXnNGZXJGKy1GX282M1EiXUYnL0Zjb1EocG9zdGZpeEYnRmVvRmdvRmlvL0ZdcFEydmVyeXRoaW5tYXRoc3BhY2VGJ0ZecEZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1GX282M1EiLEYnL0Zjb1EmaW5maXhGJy9GZm9GNy9GaG9GOi9Gam9RJDBlbUYnL0ZdcFEzdmVyeXRoaWNrbWF0aHNwYWNlRicvRl9wRjdGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHEtRiM2JUZqcS1GIzYlRistRmByNiQtRmNyNiQtRmZyNiMtRmlyNjlRIjNGJ0YvRjJGNUZbc0Y7Rj1GP0ZBRkRGRkZIRkpGTEZORlBGUkZURldGWUZlbkZcc0Zqbi1GZnI2Iy1GaXI2OVEiMkYnRi9GMkY1RltzRjtGPUY/RkFGREZGRkhGSkZMRk5GUEZSRlRGV0ZZRmVuRlxzRmpuLUZjcjYkLUZmcjYjLUYjNiQtRl9vNjNRKiZ1bWludXMwO0YnRmJvRmF0RmdvRmN0L0ZdcEZkdEZndEZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcUZockZldUYrRmVzRlx0LUYjNiVGanEtRiM2JUYrLUZgcjYkLUZjcjYkLUZmcjYjLUYjNiRGYHZGZ3VGZXItRmNyNiQtRmZyNiMtRmlyNjlRIjZGJ0YvRjJGNUZbc0Y7Rj1GP0ZBRkRGRkZIRkpGTEZORlBGUkZURldGWUZlbkZcc0Zqbi1GZnI2Iy1GaXI2OVEiN0YnRi9GMkY1RltzRjtGPUY/RkFGREZGRkhGSkZMRk5GUEZSRlRGV0ZZRmVuRlxzRmpuRitGZXNGXHQtRiM2JUZqcS1GIzYlRistRmByNiQtRmNyNiQtRmZyNiMtRiM2JEZgdi1GaXI2OVEiNUYnRi9GMkY1RltzRjtGPUY/RkFGREZGRkhGSkZMRk5GUEZSRlRGV0ZZRmVuRlxzRmpuLUZmcjYjLUYjNiRGYHZGYnUtRmNyNiQtRmZyNiMtRmlyNjlRIjhGJ0YvRjJGNUZbc0Y7Rj1GP0ZBRkRGRkZIRkpGTEZORlBGUkZURldGWUZlbkZcc0ZqbkZid0YrRmVzRistRl9vNjNRInxockYnRmhzRmVvRmdvRmlvRmpzRl5wRmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxRis= of 2 x 2 matrices linearly independent? (Show the appropriate system of linear equations that you need to solve as part of your solution.)

Another vector space we are interested in is the space of real-valued functions with domain all reals. To show that the functions LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYlLUkjbWlHRiQ2OVEhRicvJSdmYW1pbHlHUTBUaW1lc35OZXd+Um9tYW5GJy8lJXNpemVHUSMxMkYnLyUlYm9sZEdRJmZhbHNlRicvJSdpdGFsaWNHUSV0cnVlRicvJSp1bmRlcmxpbmVHRjcvJSpzdWJzY3JpcHRHRjcvJSxzdXBlcnNjcmlwdEdGNy8lK2ZvcmVncm91bmRHUShbMCwwLDBdRicvJStiYWNrZ3JvdW5kR0ZDLyUnb3BhcXVlR0Y3LyUrZXhlY3V0YWJsZUdGNy8lKXJlYWRvbmx5R0Y3LyUpY29tcG9zZWRHRjcvJSpjb252ZXJ0ZWRHRjcvJStpbXNlbGVjdGVkR0Y3LyUscGxhY2Vob2xkZXJHRjcvJTBmb250X3N0eWxlX25hbWVHUSsyRH5Db21tZW50RicvJSptYXRoY29sb3JHRkMvJS9tYXRoYmFja2dyb3VuZEdGQy8lK2ZvbnRmYW1pbHlHRjEvJSxtYXRodmFyaWFudEdRJ2l0YWxpY0YnLyUpbWF0aHNpemVHRjQtRiM2JUYrLUklbXN1cEdGJDYlLUYsNjlRInhGJ0YvRjJGNUY4RjtGPUY/RkFGREZGRkhGSkZMRk5GUEZSRlRGV0ZZRmVuRmduRmpuLUkjbW5HRiQ2OVEiMkYnRi9GMkY1L0Y5RjdGO0Y9Rj9GQUZERkZGSEZKRkxGTkZQRlJGVEZXRllGZW4vRmhuUSdub3JtYWxGJ0Zqbi8lMXN1cGVyc2NyaXB0c2hpZnRHUSIwRidGK0Yr, sin(x), and sin(2x) are linearly independent, we need to show that the equation a1*x^2 + a2*sin(x) + a3*sin(2*x) = 0 has only the trivial solution (for unknowns a1, a2 and a3). Thus we need to show that the equation does not hold if any of the ai has a nonzero value. The trick is to note that any solution that works for all values of x must work for particular values of x. Plugging in some well chosen values for x gives us linear equations in a1, a2, and a3. Since there are three unknowns we want to use at least three equations. (We will try four equations just to be safe.) veceqn := a1*x^2 + a2*sin(x) + a3*sin(2*x) = 0; val1 := simplify(eval(veceqn,x=Pi/4)); val2 := simplify(eval(veceqn,x=Pi/2)); val3 := simplify(eval(veceqn,x=Pi)); val4 := simplify(eval(veceqn,x=3*Pi/4));

NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USd2ZWNlcW5GKC8lJ2ZhbWlseUdRMFRpbWVzfk5ld35Sb21hbkYoLyUlc2l6ZUdRIzEyRigvJSVib2xkR1EmZmFsc2VGKC8lJ2l0YWxpY0dRJXRydWVGKC8lKnVuZGVybGluZUdGOC8lKnN1YnNjcmlwdEdGOC8lLHN1cGVyc2NyaXB0R0Y4LyUrZm9yZWdyb3VuZEdRKlswLDAsMjU1XUYoLyUrYmFja2dyb3VuZEdRLlsyNTUsMjU1LDI1NV1GKC8lJ29wYXF1ZUdGOC8lK2V4ZWN1dGFibGVHRjgvJSlyZWFkb25seUdGOy8lKWNvbXBvc2VkR0Y4LyUqY29udmVydGVkR0Y4LyUraW1zZWxlY3RlZEdGOC8lLHBsYWNlaG9sZGVyR0Y4LyUwZm9udF9zdHlsZV9uYW1lR1EqMkR+T3V0cHV0RigvJSptYXRoY29sb3JHRkQvJS9tYXRoYmFja2dyb3VuZEdGRy8lK2ZvbnRmYW1pbHlHRjIvJSxtYXRodmFyaWFudEdRJ2l0YWxpY0YoLyUpbWF0aHNpemVHRjUtSSNtb0dGJTYzUSM6PUYoLyUlZm9ybUdRJmluZml4RigvJSZmZW5jZUdGOC8lKnNlcGFyYXRvckdGOC8lJ2xzcGFjZUdRL3RoaWNrbWF0aHNwYWNlRigvJSdyc3BhY2VHRltwLyUpc3RyZXRjaHlHRjgvJSpzeW1tZXRyaWNHRjgvJShtYXhzaXplR1EpaW5maW5pdHlGKC8lKG1pbnNpemVHUSIxRigvJShsYXJnZW9wR0Y4LyUubW92YWJsZWxpbWl0c0dGOC8lJ2FjY2VudEdGOC8lMGZvbnRfc3R5bGVfbmFtZUdGWC8lJXNpemVHRjUvJStmb3JlZ3JvdW5kR0ZELyUrYmFja2dyb3VuZEdGRy1GJDYlLUYkNictRiQ2JS1GLTY5USNhMUYoRjBGM0Y2RjlGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmluRlxvLUZfbzYzUTEmSW52aXNpYmxlVGltZXM7RihGYm9GZW9GZ28vRmpvUSQwZW1GKC9GXXBGY3JGXnBGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHEtSSVtc3VwR0YlNiUtRi02OVEieEYoRjBGM0Y2RjlGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmluRlxvLUkjbW5HRiU2OVEiMkYoRjBGM0Y2L0Y6RjhGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduL0ZqblEnbm9ybWFsRihGXG8vJTFzdXBlcnNjcmlwdHNoaWZ0R1EiMEYoLUZfbzYzUSIrRihGYm9GZW9GZ28vRmpvUTBtZWRpdW1tYXRoc3BhY2VGKC9GXXBGaXNGXnBGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHEtRiQ2JS1GLTY5USNhMkYoRjBGM0Y2RjlGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmluRlxvRl9yLUYkNiUtRi02OVEkc2luRihGMEYzRjZGX3NGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmBzRlxvLUZfbzYzUTAmQXBwbHlGdW5jdGlvbjtGKEZib0Zlb0Znb0ZickZkckZecEZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1GJDYlLUZfbzYzUSIoRigvRmNvUSdwcmVmaXhGKC9GZm9GO0Znby9Gam9RLnRoaW5tYXRoc3BhY2VGKC9GXXBGYXUvRl9wRjtGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHEtRiQ2I0Zoci1GX282M1EiKUYoL0Zjb1EocG9zdGZpeEYoRl91RmdvRmB1L0ZdcFEydmVyeXRoaW5tYXRoc3BhY2VGKEZjdUZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcUZlcy1GJDYlLUYtNjlRI2EzRihGMEYzRjZGOUY8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GaW5GXG9GX3ItRiQ2JUZidEZldC1GJDYlRmp0LUYkNiMtRiQ2JUZbc0ZfckZockZmdS1GX282M1EiPUYoRmJvRmVvRmdvRmlvRlxwRl5wRmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxLUZcczY5USIwRihGMEYzRjZGX3NGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmBzRlxvNyMtX0YpSSxtcHJpbnRzbGFzaEdGKDYkNyM+SSd2ZWNlcW5HRigvLCgqJkkjYTFHRigiIiIpSSJ4R0YoIiIjRlx4Rlx4KiZJI2EyR0YoRlx4LUkkc2luRzYkJSpwcm90ZWN0ZWRHRio2I0ZeeEZceEZceComSSNhM0dGKEZceC1GY3g2IywkKiZGX3hGXHhGXnhGXHhGXHhGXHhGXHgiIiE3I0Zodw==

NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USV2YWwxRigvJSdmYW1pbHlHUTBUaW1lc35OZXd+Um9tYW5GKC8lJXNpemVHUSMxMkYoLyUlYm9sZEdRJmZhbHNlRigvJSdpdGFsaWNHUSV0cnVlRigvJSp1bmRlcmxpbmVHRjgvJSpzdWJzY3JpcHRHRjgvJSxzdXBlcnNjcmlwdEdGOC8lK2ZvcmVncm91bmRHUSpbMCwwLDI1NV1GKC8lK2JhY2tncm91bmRHUS5bMjU1LDI1NSwyNTVdRigvJSdvcGFxdWVHRjgvJStleGVjdXRhYmxlR0Y4LyUpcmVhZG9ubHlHRjsvJSljb21wb3NlZEdGOC8lKmNvbnZlcnRlZEdGOC8lK2ltc2VsZWN0ZWRHRjgvJSxwbGFjZWhvbGRlckdGOC8lMGZvbnRfc3R5bGVfbmFtZUdRKjJEfk91dHB1dEYoLyUqbWF0aGNvbG9yR0ZELyUvbWF0aGJhY2tncm91bmRHRkcvJStmb250ZmFtaWx5R0YyLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGKC8lKW1hdGhzaXplR0Y1LUkjbW9HRiU2M1EjOj1GKC8lJWZvcm1HUSZpbmZpeEYoLyUmZmVuY2VHRjgvJSpzZXBhcmF0b3JHRjgvJSdsc3BhY2VHUS90aGlja21hdGhzcGFjZUYoLyUncnNwYWNlR0ZbcC8lKXN0cmV0Y2h5R0Y4LyUqc3ltbWV0cmljR0Y4LyUobWF4c2l6ZUdRKWluZmluaXR5RigvJShtaW5zaXplR1EiMUYoLyUobGFyZ2VvcEdGOC8lLm1vdmFibGVsaW1pdHNHRjgvJSdhY2NlbnRHRjgvJTBmb250X3N0eWxlX25hbWVHRlgvJSVzaXplR0Y1LyUrZm9yZWdyb3VuZEdGRC8lK2JhY2tncm91bmRHRkctRiQ2JS1GJDYnLUYkNiUtSSZtZnJhY0dGJTYqLUkjbW5HRiU2OUZncEYwRjNGNi9GOkY4RjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbi9Gam5RJ25vcm1hbEYoRlxvLUZgcjY5USMxNkYoRjBGM0Y2RmJyRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZjckZcby8lLmxpbmV0aGlja25lc3NHUSIxRigvJStkZW5vbWFsaWduR1EnY2VudGVyRigvJSludW1hbGlnbkdGXXMvJSliZXZlbGxlZEdGOEZicUZkcS1GX282M1ExJkludmlzaWJsZVRpbWVzO0YoRmJvRmVvRmdvL0Zqb1EkMGVtRigvRl1wRmZzRl5wRmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxLUYkNiUtRi02OVEjYTFGKEYwRjNGNkY5RjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZpbkZcb0Zicy1JJW1zdXBHRiU2JS1GLTY5USNQaUYoRjBGM0Y2RmJyRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZjckZcby1GYHI2OVEiMkYoRjBGM0Y2RmJyRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZjckZcby8lMXN1cGVyc2NyaXB0c2hpZnRHUSIwRigtRl9vNjNRIitGKEZib0Zlb0Znby9Gam9RMG1lZGl1bW1hdGhzcGFjZUYoL0ZdcEZddUZecEZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1GJDYlLUZdcjYqRl9yRmN0RmhyRltzRl5zRmBzRmJxRmRxRmJzLUYkNiUtRi02OVEjYTJGKEYwRjNGNkY5RjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZpbkZcb0Zicy1JJm1zcXJ0R0YlNiVGY3RGYnFGZHFGaXQtRi02OVEjYTNGKEYwRjNGNkY5RjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZpbkZcby1GX282M1EiPUYoRmJvRmVvRmdvRmlvRlxwRl5wRmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxLUZgcjY5USIwRihGMEYzRjZGYnJGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmNyRlxvNyMtX0YpSSxtcHJpbnRzbGFzaEdGKDYkNyM+SSV2YWwxR0YoLywoKigjIiIiIiM7RmB3SSNhMUdGKEZgdylJI1BpRyUqcHJvdGVjdGVkRyIiI0Zgd0ZgdyooI0Zgd0Zmd0Zgd0kjYTJHRihGYHcpRmZ3Rmh3RmB3RmB3SSNhM0dGKEZgdyIiITcjRlx3

NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USV2YWwyRigvJSdmYW1pbHlHUTBUaW1lc35OZXd+Um9tYW5GKC8lJXNpemVHUSMxMkYoLyUlYm9sZEdRJmZhbHNlRigvJSdpdGFsaWNHUSV0cnVlRigvJSp1bmRlcmxpbmVHRjgvJSpzdWJzY3JpcHRHRjgvJSxzdXBlcnNjcmlwdEdGOC8lK2ZvcmVncm91bmRHUSpbMCwwLDI1NV1GKC8lK2JhY2tncm91bmRHUS5bMjU1LDI1NSwyNTVdRigvJSdvcGFxdWVHRjgvJStleGVjdXRhYmxlR0Y4LyUpcmVhZG9ubHlHRjsvJSljb21wb3NlZEdGOC8lKmNvbnZlcnRlZEdGOC8lK2ltc2VsZWN0ZWRHRjgvJSxwbGFjZWhvbGRlckdGOC8lMGZvbnRfc3R5bGVfbmFtZUdRKjJEfk91dHB1dEYoLyUqbWF0aGNvbG9yR0ZELyUvbWF0aGJhY2tncm91bmRHRkcvJStmb250ZmFtaWx5R0YyLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGKC8lKW1hdGhzaXplR0Y1LUkjbW9HRiU2M1EjOj1GKC8lJWZvcm1HUSZpbmZpeEYoLyUmZmVuY2VHRjgvJSpzZXBhcmF0b3JHRjgvJSdsc3BhY2VHUS90aGlja21hdGhzcGFjZUYoLyUncnNwYWNlR0ZbcC8lKXN0cmV0Y2h5R0Y4LyUqc3ltbWV0cmljR0Y4LyUobWF4c2l6ZUdRKWluZmluaXR5RigvJShtaW5zaXplR1EiMUYoLyUobGFyZ2VvcEdGOC8lLm1vdmFibGVsaW1pdHNHRjgvJSdhY2NlbnRHRjgvJTBmb250X3N0eWxlX25hbWVHRlgvJSVzaXplR0Y1LyUrZm9yZWdyb3VuZEdGRC8lK2JhY2tncm91bmRHRkctRiQ2JS1GJDYlLUYkNiUtSSZtZnJhY0dGJTYqLUkjbW5HRiU2OUZncEYwRjNGNi9GOkY4RjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbi9Gam5RJ25vcm1hbEYoRlxvLUZgcjY5USI0RihGMEYzRjZGYnJGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmNyRlxvLyUubGluZXRoaWNrbmVzc0dRIjFGKC8lK2Rlbm9tYWxpZ25HUSdjZW50ZXJGKC8lKW51bWFsaWduR0Zdcy8lKWJldmVsbGVkR0Y4RmJxRmRxLUZfbzYzUTEmSW52aXNpYmxlVGltZXM7RihGYm9GZW9GZ28vRmpvUSQwZW1GKC9GXXBGZnNGXnBGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHEtRiQ2JS1GLTY5USNhMUYoRjBGM0Y2RjlGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmluRlxvRmJzLUklbXN1cEdGJTYlLUYtNjlRI1BpRihGMEYzRjZGYnJGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmNyRlxvLUZgcjY5USIyRihGMEYzRjZGYnJGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmNyRlxvLyUxc3VwZXJzY3JpcHRzaGlmdEdRIjBGKC1GX282M1EiK0YoRmJvRmVvRmdvL0Zqb1EwbWVkaXVtbWF0aHNwYWNlRigvRl1wRl11Rl5wRmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxLUYtNjlRI2EyRihGMEYzRjZGOUY8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GaW5GXG8tRl9vNjNRIj1GKEZib0Zlb0Znb0Zpb0ZccEZecEZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1GYHI2OVEiMEYoRjBGM0Y2RmJyRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZjckZcbzcjLV9GKUksbXByaW50c2xhc2hHRig2JDcjPkkldmFsMkdGKC8sJiooIyIiIiIiJUZkdkkjYTFHRihGZHYpSSNQaUclKnByb3RlY3RlZEciIiNGZHZGZHZJI2EyR0YoRmR2IiIhNyNGYHY=

NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USV2YWwzRigvJSdmYW1pbHlHUTBUaW1lc35OZXd+Um9tYW5GKC8lJXNpemVHUSMxMkYoLyUlYm9sZEdRJmZhbHNlRigvJSdpdGFsaWNHUSV0cnVlRigvJSp1bmRlcmxpbmVHRjgvJSpzdWJzY3JpcHRHRjgvJSxzdXBlcnNjcmlwdEdGOC8lK2ZvcmVncm91bmRHUSpbMCwwLDI1NV1GKC8lK2JhY2tncm91bmRHUS5bMjU1LDI1NSwyNTVdRigvJSdvcGFxdWVHRjgvJStleGVjdXRhYmxlR0Y4LyUpcmVhZG9ubHlHRjsvJSljb21wb3NlZEdGOC8lKmNvbnZlcnRlZEdGOC8lK2ltc2VsZWN0ZWRHRjgvJSxwbGFjZWhvbGRlckdGOC8lMGZvbnRfc3R5bGVfbmFtZUdRKjJEfk91dHB1dEYoLyUqbWF0aGNvbG9yR0ZELyUvbWF0aGJhY2tncm91bmRHRkcvJStmb250ZmFtaWx5R0YyLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGKC8lKW1hdGhzaXplR0Y1LUkjbW9HRiU2M1EjOj1GKC8lJWZvcm1HUSZpbmZpeEYoLyUmZmVuY2VHRjgvJSpzZXBhcmF0b3JHRjgvJSdsc3BhY2VHUS90aGlja21hdGhzcGFjZUYoLyUncnNwYWNlR0ZbcC8lKXN0cmV0Y2h5R0Y4LyUqc3ltbWV0cmljR0Y4LyUobWF4c2l6ZUdRKWluZmluaXR5RigvJShtaW5zaXplR1EiMUYoLyUobGFyZ2VvcEdGOC8lLm1vdmFibGVsaW1pdHNHRjgvJSdhY2NlbnRHRjgvJTBmb250X3N0eWxlX25hbWVHRlgvJSVzaXplR0Y1LyUrZm9yZWdyb3VuZEdGRC8lK2JhY2tncm91bmRHRkctRiQ2JS1GJDYlLUYtNjlRI2ExRihGMEYzRjZGOUY8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GaW5GXG8tRl9vNjNRMSZJbnZpc2libGVUaW1lcztGKEZib0Zlb0Znby9Gam9RJDBlbUYoL0ZdcEZhckZecEZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1JJW1zdXBHRiU2JS1GLTY5USNQaUYoRjBGM0Y2L0Y6RjhGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduL0ZqblEnbm9ybWFsRihGXG8tSSNtbkdGJTY5USIyRihGMEYzRjZGaXJGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmpyRlxvLyUxc3VwZXJzY3JpcHRzaGlmdEdRIjBGKC1GX282M1EiPUYoRmJvRmVvRmdvRmlvRlxwRl5wRmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxLUZdczY5USIwRihGMEYzRjZGaXJGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmpyRlxvNyMtX0YpSSxtcHJpbnRzbGFzaEdGKDYkNyM+SSV2YWwzR0YoLyomSSNhMUdGKCIiIilJI1BpRyUqcHJvdGVjdGVkRyIiI0ZkdCIiITcjRmF0

NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USV2YWw0RigvJSdmYW1pbHlHUTBUaW1lc35OZXd+Um9tYW5GKC8lJXNpemVHUSMxMkYoLyUlYm9sZEdRJmZhbHNlRigvJSdpdGFsaWNHUSV0cnVlRigvJSp1bmRlcmxpbmVHRjgvJSpzdWJzY3JpcHRHRjgvJSxzdXBlcnNjcmlwdEdGOC8lK2ZvcmVncm91bmRHUSpbMCwwLDI1NV1GKC8lK2JhY2tncm91bmRHUS5bMjU1LDI1NSwyNTVdRigvJSdvcGFxdWVHRjgvJStleGVjdXRhYmxlR0Y4LyUpcmVhZG9ubHlHRjsvJSljb21wb3NlZEdGOC8lKmNvbnZlcnRlZEdGOC8lK2ltc2VsZWN0ZWRHRjgvJSxwbGFjZWhvbGRlckdGOC8lMGZvbnRfc3R5bGVfbmFtZUdRKjJEfk91dHB1dEYoLyUqbWF0aGNvbG9yR0ZELyUvbWF0aGJhY2tncm91bmRHRkcvJStmb250ZmFtaWx5R0YyLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGKC8lKW1hdGhzaXplR0Y1LUkjbW9HRiU2M1EjOj1GKC8lJWZvcm1HUSZpbmZpeEYoLyUmZmVuY2VHRjgvJSpzZXBhcmF0b3JHRjgvJSdsc3BhY2VHUS90aGlja21hdGhzcGFjZUYoLyUncnNwYWNlR0ZbcC8lKXN0cmV0Y2h5R0Y4LyUqc3ltbWV0cmljR0Y4LyUobWF4c2l6ZUdRKWluZmluaXR5RigvJShtaW5zaXplR1EiMUYoLyUobGFyZ2VvcEdGOC8lLm1vdmFibGVsaW1pdHNHRjgvJSdhY2NlbnRHRjgvJTBmb250X3N0eWxlX25hbWVHRlgvJSVzaXplR0Y1LyUrZm9yZWdyb3VuZEdGRC8lK2JhY2tncm91bmRHRkctRiQ2JS1GJDYnLUYkNiUtSSZtZnJhY0dGJTYqLUkjbW5HRiU2OVEiOUYoRjBGM0Y2L0Y6RjhGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduL0ZqblEnbm9ybWFsRihGXG8tRmByNjlRIzE2RihGMEYzRjZGY3JGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmRyRlxvLyUubGluZXRoaWNrbmVzc0dRIjFGKC8lK2Rlbm9tYWxpZ25HUSdjZW50ZXJGKC8lKW51bWFsaWduR0Zecy8lKWJldmVsbGVkR0Y4RmJxRmRxLUZfbzYzUTEmSW52aXNpYmxlVGltZXM7RihGYm9GZW9GZ28vRmpvUSQwZW1GKC9GXXBGZ3NGXnBGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHEtRiQ2JS1GLTY5USNhMUYoRjBGM0Y2RjlGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmluRlxvRmNzLUklbXN1cEdGJTYlLUYtNjlRI1BpRihGMEYzRjZGY3JGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmRyRlxvLUZgcjY5USIyRihGMEYzRjZGY3JGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmRyRlxvLyUxc3VwZXJzY3JpcHRzaGlmdEdRIjBGKC1GX282M1EiK0YoRmJvRmVvRmdvL0Zqb1EwbWVkaXVtbWF0aHNwYWNlRigvRl1wRl51Rl5wRmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxLUYkNiUtRl1yNiotRmByNjlGZ3BGMEYzRjZGY3JGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmRyRlxvRmR0RmlyRlxzRl9zRmFzRmJxRmRxRmNzLUYkNiUtRi02OVEjYTJGKEYwRjNGNkY5RjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZpbkZcb0Zjcy1JJm1zcXJ0R0YlNiVGZHRGYnFGZHEtRl9vNjNRKCZtaW51cztGKEZib0Zlb0Znb0ZddUZfdUZecEZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1GLTY5USNhM0YoRjBGM0Y2RjlGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmluRlxvLUZfbzYzUSI9RihGYm9GZW9GZ29GaW9GXHBGXnBGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHEtRmByNjlRIjBGKEYwRjNGNkZjckY8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GZHJGXG83Iy1fRilJLG1wcmludHNsYXNoR0YoNiQ3Iz5JJXZhbDRHRigvLCgqKCMiIioiIzsiIiJJI2ExR0YoRmh3KUkjUGlHJSpwcm90ZWN0ZWRHIiIjRmh3Rmh3KigjRmh3Rl14Rmh3SSNhMkdGKEZodylGXXhGX3hGaHdGaHdJI2EzR0YoISIiIiIhNyNGYnc=

solve({val1, val2, val3, val4},{a1, a2, a3});

NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtb0dGJTYzUSJ8ZnJGKC8lJWZvcm1HUSdwcmVmaXhGKC8lJmZlbmNlR1EldHJ1ZUYoLyUqc2VwYXJhdG9yR1EmZmFsc2VGKC8lJ2xzcGFjZUdRLnRoaW5tYXRoc3BhY2VGKC8lJ3JzcGFjZUdGOy8lKXN0cmV0Y2h5R0Y1LyUqc3ltbWV0cmljR0Y4LyUobWF4c2l6ZUdRKWluZmluaXR5RigvJShtaW5zaXplR1EiMUYoLyUobGFyZ2VvcEdGOC8lLm1vdmFibGVsaW1pdHNHRjgvJSdhY2NlbnRHRjgvJTBmb250X3N0eWxlX25hbWVHUSoyRH5PdXRwdXRGKC8lJXNpemVHUSMxMkYoLyUrZm9yZWdyb3VuZEdRKlswLDAsMjU1XUYoLyUrYmFja2dyb3VuZEdRLlsyNTUsMjU1LDI1NV1GKC1GJDYnLUYkNiUtSSNtaUdGJTY5USNhMUYoLyUnZmFtaWx5R1EwVGltZXN+TmV3flJvbWFuRigvJSVzaXplR0ZTLyUlYm9sZEdGOC8lJ2l0YWxpY0dGNS8lKnVuZGVybGluZUdGOC8lKnN1YnNjcmlwdEdGOC8lLHN1cGVyc2NyaXB0R0Y4LyUrZm9yZWdyb3VuZEdGVi8lK2JhY2tncm91bmRHRlkvJSdvcGFxdWVHRjgvJStleGVjdXRhYmxlR0Y4LyUpcmVhZG9ubHlHRjUvJSljb21wb3NlZEdGOC8lKmNvbnZlcnRlZEdGOC8lK2ltc2VsZWN0ZWRHRjgvJSxwbGFjZWhvbGRlckdGOC8lMGZvbnRfc3R5bGVfbmFtZUdGUC8lKm1hdGhjb2xvckdGVi8lL21hdGhiYWNrZ3JvdW5kR0ZZLyUrZm9udGZhbWlseUdGXm8vJSxtYXRodmFyaWFudEdRJ2l0YWxpY0YoLyUpbWF0aHNpemVHRlMtRi02M1EiPUYoL0YxUSZpbmZpeEYoL0Y0RjhGNi9GOlEvdGhpY2ttYXRoc3BhY2VGKC9GPUZhci9GP0Y4RkBGQkZFRkhGSkZMRk5GUUZURlctSSNtbkdGJTY5USIwRihGXG9GX29GYW8vRmRvRjhGZW9GZ29GaW9GW3BGXXBGX3BGYXBGY3BGZXBGZ3BGaXBGW3FGXXFGX3FGYXFGY3EvRmZxUSdub3JtYWxGKEZocS1GLTYzUSIsRihGXXJGX3IvRjdGNS9GOlEkMGVtRigvRj1RM3Zlcnl0aGlja21hdGhzcGFjZUYoRmNyRkBGQkZFRkhGSkZMRk5GUUZURlctRiQ2JS1GaW42OVEjYTJGKEZcb0Zfb0Zhb0Zjb0Zlb0Znb0Zpb0ZbcEZdcEZfcEZhcEZjcEZlcEZncEZpcEZbcUZdcUZfcUZhcUZjcUZlcUZocUZqcUZkckZbcy1GJDYlLUZpbjY5USNhM0YoRlxvRl9vRmFvRmNvRmVvRmdvRmlvRltwRl1wRl9wRmFwRmNwRmVwRmdwRmlwRltxRl1xRl9xRmFxRmNxRmVxRmhxRmpxRmRyLUYtNjNRInxockYoL0YxUShwb3N0Zml4RihGM0Y2RjkvRj1RMnZlcnl0aGlubWF0aHNwYWNlRihGPkZARkJGRUZIRkpGTEZORlFGVEZXNyM8JS9JI2ExR0YoIiIhL0kjYTJHRihGaHQvSSNhM0dGKEZodA==

Since we have shown the system of equations obtained by using specific values of x only has the trivial solution, we have shown that veceqn can only have the trivial solution.

4) Show that the functions sin(x), sin(2x), and sin(3x) are linearly independent. 5) Show that the functions e^x, e^(2*x) and e^(-x) are linearly independent. (Recall that the function e^x is written exp(x) in Maple.)

If we show vectors are independent by showing that the vector equation has no nontrivial solutions, it follows that we show a set of vectors is dependent if we find a nontrivial solution to that equation. As an example, suppose we want to test the independence of the set of functions {LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYlLUkjbWlHRiQ2OVEhRicvJSdmYW1pbHlHUTBUaW1lc35OZXd+Um9tYW5GJy8lJXNpemVHUSMxMkYnLyUlYm9sZEdRJmZhbHNlRicvJSdpdGFsaWNHUSV0cnVlRicvJSp1bmRlcmxpbmVHRjcvJSpzdWJzY3JpcHRHRjcvJSxzdXBlcnNjcmlwdEdGNy8lK2ZvcmVncm91bmRHUShbMCwwLDBdRicvJStiYWNrZ3JvdW5kR0ZDLyUnb3BhcXVlR0Y3LyUrZXhlY3V0YWJsZUdGNy8lKXJlYWRvbmx5R0Y3LyUpY29tcG9zZWRHRjcvJSpjb252ZXJ0ZWRHRjcvJStpbXNlbGVjdGVkR0Y3LyUscGxhY2Vob2xkZXJHRjcvJTBmb250X3N0eWxlX25hbWVHUSsyRH5Db21tZW50RicvJSptYXRoY29sb3JHRkMvJS9tYXRoYmFja2dyb3VuZEdGQy8lK2ZvbnRmYW1pbHlHRjEvJSxtYXRodmFyaWFudEdRJ2l0YWxpY0YnLyUpbWF0aHNpemVHRjQtSSVtc3VwR0YkNiUtRiw2OVEiZUYnRi9GMkY1RjhGO0Y9Rj9GQUZERkZGSEZKRkxGTkZQRlJGVEZXRllGZW5GZ25Gam4tRiw2OVEieEYnRi9GMkY1RjhGO0Y9Rj9GQUZERkZGSEZKRkxGTkZQRlJGVEZXRllGZW5GZ25Gam4vJTFzdXBlcnNjcmlwdHNoaWZ0R1EiMEYnRis=, sinh(x), cos(x), cosh(x)}. (For the time being, pretend that you have forgotten the definitions of sinh(x) and cosh(x).) veceqn := a1*exp(x) + a2*sinh(x) + a3*cos(x) +a4*cosh(x) = 0; val1 := simplify(eval(veceqn, x=0)); val2 := simplify(eval(veceqn, x=Pi/2)); val3 := simplify(eval(veceqn, x=Pi)); val4 := simplify(eval(veceqn, x=1)); val5 := simplify(eval(veceqn, x=3*Pi/2)); sol1 :=solve({val1, val2, val3, val4, val5});

NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USd2ZWNlcW5GKC8lJ2ZhbWlseUdRMFRpbWVzfk5ld35Sb21hbkYoLyUlc2l6ZUdRIzEyRigvJSVib2xkR1EmZmFsc2VGKC8lJ2l0YWxpY0dRJXRydWVGKC8lKnVuZGVybGluZUdGOC8lKnN1YnNjcmlwdEdGOC8lLHN1cGVyc2NyaXB0R0Y4LyUrZm9yZWdyb3VuZEdRKlswLDAsMjU1XUYoLyUrYmFja2dyb3VuZEdRLlsyNTUsMjU1LDI1NV1GKC8lJ29wYXF1ZUdGOC8lK2V4ZWN1dGFibGVHRjgvJSlyZWFkb25seUdGOy8lKWNvbXBvc2VkR0Y4LyUqY29udmVydGVkR0Y4LyUraW1zZWxlY3RlZEdGOC8lLHBsYWNlaG9sZGVyR0Y4LyUwZm9udF9zdHlsZV9uYW1lR1EqMkR+T3V0cHV0RigvJSptYXRoY29sb3JHRkQvJS9tYXRoYmFja2dyb3VuZEdGRy8lK2ZvbnRmYW1pbHlHRjIvJSxtYXRodmFyaWFudEdRJ2l0YWxpY0YoLyUpbWF0aHNpemVHRjUtSSNtb0dGJTYzUSM6PUYoLyUlZm9ybUdRJmluZml4RigvJSZmZW5jZUdGOC8lKnNlcGFyYXRvckdGOC8lJ2xzcGFjZUdRL3RoaWNrbWF0aHNwYWNlRigvJSdyc3BhY2VHRltwLyUpc3RyZXRjaHlHRjgvJSpzeW1tZXRyaWNHRjgvJShtYXhzaXplR1EpaW5maW5pdHlGKC8lKG1pbnNpemVHUSIxRigvJShsYXJnZW9wR0Y4LyUubW92YWJsZWxpbWl0c0dGOC8lJ2FjY2VudEdGOC8lMGZvbnRfc3R5bGVfbmFtZUdGWC8lJXNpemVHRjUvJStmb3JlZ3JvdW5kR0ZELyUrYmFja2dyb3VuZEdGRy1GJDYlLUYkNiktRiQ2JS1GLTY5USNhMUYoRjBGM0Y2RjlGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmluRlxvLUZfbzYzUTEmSW52aXNpYmxlVGltZXM7RihGYm9GZW9GZ28vRmpvUSQwZW1GKC9GXXBGY3JGXnBGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHEtSSVtc3VwR0YlNiUtRl9vNjNRImVGKC9GY29RIUYoRmVvRmdvRmJyRmRyRl5wRmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxLUYtNjlRInhGKEYwRjNGNkY5RjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZpbkZcby8lMXN1cGVyc2NyaXB0c2hpZnRHUSIwRigtRl9vNjNRIitGKEZib0Zlb0Znby9Gam9RMG1lZGl1bW1hdGhzcGFjZUYoL0ZdcEZnc0ZecEZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1GJDYlLUYtNjlRI2EyRihGMEYzRjZGOUY8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GaW5GXG9GX3ItRiQ2JS1GLTY5USVzaW5oRihGMEYzRjYvRjpGOEY8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ24vRmpuUSdub3JtYWxGKEZcby1GX282M1EwJkFwcGx5RnVuY3Rpb247RihGYm9GZW9GZ29GYnJGZHJGXnBGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHEtRiQ2JS1GX282M1EiKEYoL0Zjb1EncHJlZml4RigvRmZvRjtGZ28vRmpvUS50aGlubWF0aHNwYWNlRigvRl1wRmJ1L0ZfcEY7RmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxLUYkNiNGXXMtRl9vNjNRIilGKC9GY29RKHBvc3RmaXhGKEZgdUZnb0ZhdS9GXXBRMnZlcnl0aGlubWF0aHNwYWNlRihGZHVGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHFGY3MtRiQ2JS1GLTY5USNhM0YoRjBGM0Y2RjlGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmluRlxvRl9yLUYkNiUtRi02OVEkY29zRihGMEYzRjZGY3RGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmR0RlxvRmZ0Rml0RmNzLUYkNiUtRi02OVEjYTRGKEYwRjNGNkY5RjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZpbkZcb0Zfci1GJDYlLUYtNjlRJWNvc2hGKEYwRjNGNkZjdEY8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GZHRGXG9GZnRGaXQtRl9vNjNRIj1GKEZib0Zlb0Znb0Zpb0ZccEZecEZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1JI21uR0YlNjlRIjBGKEYwRjNGNkZjdEY8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GZHRGXG83Iy1fRilJLG1wcmludHNsYXNoR0YoNiQ3Iz5JJ3ZlY2VxbkdGKC8sKiomSSNhMUdGKCIiIi1JJGV4cEc2JCUqcHJvdGVjdGVkR0YqNiNJInhHRihGZXhGZXgqJkkjYTJHRihGZXgtSSVzaW5oR0ZoeEZqeEZleEZleComSSNhM0dGKEZleC1JJGNvc0dGaHhGanhGZXhGZXgqJkkjYTRHRihGZXgtSSVjb3NoR0ZoeEZqeEZleEZleCIiITcjRmF4

NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USV2YWwxRigvJSdmYW1pbHlHUTBUaW1lc35OZXd+Um9tYW5GKC8lJXNpemVHUSMxMkYoLyUlYm9sZEdRJmZhbHNlRigvJSdpdGFsaWNHUSV0cnVlRigvJSp1bmRlcmxpbmVHRjgvJSpzdWJzY3JpcHRHRjgvJSxzdXBlcnNjcmlwdEdGOC8lK2ZvcmVncm91bmRHUSpbMCwwLDI1NV1GKC8lK2JhY2tncm91bmRHUS5bMjU1LDI1NSwyNTVdRigvJSdvcGFxdWVHRjgvJStleGVjdXRhYmxlR0Y4LyUpcmVhZG9ubHlHRjsvJSljb21wb3NlZEdGOC8lKmNvbnZlcnRlZEdGOC8lK2ltc2VsZWN0ZWRHRjgvJSxwbGFjZWhvbGRlckdGOC8lMGZvbnRfc3R5bGVfbmFtZUdRKjJEfk91dHB1dEYoLyUqbWF0aGNvbG9yR0ZELyUvbWF0aGJhY2tncm91bmRHRkcvJStmb250ZmFtaWx5R0YyLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGKC8lKW1hdGhzaXplR0Y1LUkjbW9HRiU2M1EjOj1GKC8lJWZvcm1HUSZpbmZpeEYoLyUmZmVuY2VHRjgvJSpzZXBhcmF0b3JHRjgvJSdsc3BhY2VHUS90aGlja21hdGhzcGFjZUYoLyUncnNwYWNlR0ZbcC8lKXN0cmV0Y2h5R0Y4LyUqc3ltbWV0cmljR0Y4LyUobWF4c2l6ZUdRKWluZmluaXR5RigvJShtaW5zaXplR1EiMUYoLyUobGFyZ2VvcEdGOC8lLm1vdmFibGVsaW1pdHNHRjgvJSdhY2NlbnRHRjgvJTBmb250X3N0eWxlX25hbWVHRlgvJSVzaXplR0Y1LyUrZm9yZWdyb3VuZEdGRC8lK2JhY2tncm91bmRHRkctRiQ2JS1GJDYnLUYtNjlRI2ExRihGMEYzRjZGOUY8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GaW5GXG8tRl9vNjNRIitGKEZib0Zlb0Znby9Gam9RMG1lZGl1bW1hdGhzcGFjZUYoL0ZdcEZhckZecEZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1GLTY5USNhM0YoRjBGM0Y2RjlGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmluRlxvRl1yLUYtNjlRI2E0RihGMEYzRjZGOUY8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GaW5GXG8tRl9vNjNRIj1GKEZib0Zlb0Znb0Zpb0ZccEZecEZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1JI21uR0YlNjlRIjBGKEYwRjNGNi9GOkY4RjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbi9Gam5RJ25vcm1hbEYoRlxvNyMtX0YpSSxtcHJpbnRzbGFzaEdGKDYkNyM+SSV2YWwxR0YoLywoSSNhMUdGKCIiIkkjYTNHRihGXnRJI2E0R0YoRl50IiIhNyNGW3Q=

NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USV2YWwyRigvJSdmYW1pbHlHUTBUaW1lc35OZXd+Um9tYW5GKC8lJXNpemVHUSMxMkYoLyUlYm9sZEdRJmZhbHNlRigvJSdpdGFsaWNHUSV0cnVlRigvJSp1bmRlcmxpbmVHRjgvJSpzdWJzY3JpcHRHRjgvJSxzdXBlcnNjcmlwdEdGOC8lK2ZvcmVncm91bmRHUSpbMCwwLDI1NV1GKC8lK2JhY2tncm91bmRHUS5bMjU1LDI1NSwyNTVdRigvJSdvcGFxdWVHRjgvJStleGVjdXRhYmxlR0Y4LyUpcmVhZG9ubHlHRjsvJSljb21wb3NlZEdGOC8lKmNvbnZlcnRlZEdGOC8lK2ltc2VsZWN0ZWRHRjgvJSxwbGFjZWhvbGRlckdGOC8lMGZvbnRfc3R5bGVfbmFtZUdRKjJEfk91dHB1dEYoLyUqbWF0aGNvbG9yR0ZELyUvbWF0aGJhY2tncm91bmRHRkcvJStmb250ZmFtaWx5R0YyLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGKC8lKW1hdGhzaXplR0Y1LUkjbW9HRiU2M1EjOj1GKC8lJWZvcm1HUSZpbmZpeEYoLyUmZmVuY2VHRjgvJSpzZXBhcmF0b3JHRjgvJSdsc3BhY2VHUS90aGlja21hdGhzcGFjZUYoLyUncnNwYWNlR0ZbcC8lKXN0cmV0Y2h5R0Y4LyUqc3ltbWV0cmljR0Y4LyUobWF4c2l6ZUdRKWluZmluaXR5RigvJShtaW5zaXplR1EiMUYoLyUobGFyZ2VvcEdGOC8lLm1vdmFibGVsaW1pdHNHRjgvJSdhY2NlbnRHRjgvJTBmb250X3N0eWxlX25hbWVHRlgvJSVzaXplR0Y1LyUrZm9yZWdyb3VuZEdGRC8lK2JhY2tncm91bmRHRkctRiQ2JS1GJDYnLUYkNiUtRi02OVEjYTFGKEYwRjNGNkY5RjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZpbkZcby1GX282M1ExJkludmlzaWJsZVRpbWVzO0YoRmJvRmVvRmdvL0Zqb1EkMGVtRigvRl1wRmNyRl5wRmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxLUklbXN1cEdGJTYlLUZfbzYzUSJlRigvRmNvUSFGKEZlb0Znb0ZickZkckZecEZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1GJDYlLUZfbzYzUSIoRigvRmNvUSdwcmVmaXhGKC9GZm9GO0Znby9Gam9RLnRoaW5tYXRoc3BhY2VGKC9GXXBGZnMvRl9wRjtGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHEtRiQ2JS1JJm1mcmFjR0YlNiotSSNtbkdGJTY5RmdwRjBGM0Y2L0Y6RjhGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduL0ZqblEnbm9ybWFsRihGXG8tRl90NjlRIjJGKEYwRjNGNkZhdEY8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GYnRGXG8vJS5saW5ldGhpY2tuZXNzR1EiMUYoLyUrZGVub21hbGlnbkdRJ2NlbnRlckYoLyUpbnVtYWxpZ25HRlx1LyUpYmV2ZWxsZWRHRjhGYnFGZHFGX3ItRiQ2Iy1GLTY5USNQaUYoRjBGM0Y2RmF0RjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZidEZcby1GX282M1EiKUYoL0Zjb1EocG9zdGZpeEYoRmRzRmdvRmVzL0ZdcFEydmVyeXRoaW5tYXRoc3BhY2VGKEZoc0ZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS8lMXN1cGVyc2NyaXB0c2hpZnRHUSIwRigtRl9vNjNRIitGKEZib0Zlb0Znby9Gam9RMG1lZGl1bW1hdGhzcGFjZUYoL0ZdcEZkdkZecEZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1GJDYlLUYtNjlRI2EyRihGMEYzRjZGOUY8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GaW5GXG9GX3ItRiQ2JS1GLTY5USVzaW5oRihGMEYzRjZGYXRGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmJ0RlxvLUZfbzYzUTAmQXBwbHlGdW5jdGlvbjtGKEZib0Zlb0Znb0ZickZkckZecEZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1GJDYlRl9zLUYkNiNGaXNGZnVGYHYtRiQ2JS1GLTY5USNhNEYoRjBGM0Y2RjlGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmluRlxvRl9yLUYkNiUtRi02OVElY29zaEYoRjBGM0Y2RmF0RjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZidEZcb0Zgd0Zjdy1GX282M1EiPUYoRmJvRmVvRmdvRmlvRlxwRl5wRmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxLUZfdDY5USIwRihGMEYzRjZGYXRGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmJ0RlxvNyMtX0YpSSxtcHJpbnRzbGFzaEdGKDYkNyM+SSV2YWwyR0YoLywoKiZJI2ExR0YoIiIiLUkkZXhwRzYkJSpwcm90ZWN0ZWRHRio2IywkKiYjRmN5IiIjRmN5SSNQaUdGZ3lGY3lGY3lGY3lGY3kqJkkjYTJHRihGY3ktSSVzaW5oR0ZmeUZoeUZjeUZjeSomSSNhNEdGKEZjeS1JJWNvc2hHRmZ5Rmh5RmN5RmN5IiIhNyNGX3k=

NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USV2YWwzRigvJSdmYW1pbHlHUTBUaW1lc35OZXd+Um9tYW5GKC8lJXNpemVHUSMxMkYoLyUlYm9sZEdRJmZhbHNlRigvJSdpdGFsaWNHUSV0cnVlRigvJSp1bmRlcmxpbmVHRjgvJSpzdWJzY3JpcHRHRjgvJSxzdXBlcnNjcmlwdEdGOC8lK2ZvcmVncm91bmRHUSpbMCwwLDI1NV1GKC8lK2JhY2tncm91bmRHUS5bMjU1LDI1NSwyNTVdRigvJSdvcGFxdWVHRjgvJStleGVjdXRhYmxlR0Y4LyUpcmVhZG9ubHlHRjsvJSljb21wb3NlZEdGOC8lKmNvbnZlcnRlZEdGOC8lK2ltc2VsZWN0ZWRHRjgvJSxwbGFjZWhvbGRlckdGOC8lMGZvbnRfc3R5bGVfbmFtZUdRKjJEfk91dHB1dEYoLyUqbWF0aGNvbG9yR0ZELyUvbWF0aGJhY2tncm91bmRHRkcvJStmb250ZmFtaWx5R0YyLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGKC8lKW1hdGhzaXplR0Y1LUkjbW9HRiU2M1EjOj1GKC8lJWZvcm1HUSZpbmZpeEYoLyUmZmVuY2VHRjgvJSpzZXBhcmF0b3JHRjgvJSdsc3BhY2VHUS90aGlja21hdGhzcGFjZUYoLyUncnNwYWNlR0ZbcC8lKXN0cmV0Y2h5R0Y4LyUqc3ltbWV0cmljR0Y4LyUobWF4c2l6ZUdRKWluZmluaXR5RigvJShtaW5zaXplR1EiMUYoLyUobGFyZ2VvcEdGOC8lLm1vdmFibGVsaW1pdHNHRjgvJSdhY2NlbnRHRjgvJTBmb250X3N0eWxlX25hbWVHRlgvJSVzaXplR0Y1LyUrZm9yZWdyb3VuZEdGRC8lK2JhY2tncm91bmRHRkctRiQ2JS1GJDYpLUYkNiUtRi02OVEjYTFGKEYwRjNGNkY5RjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZpbkZcby1GX282M1ExJkludmlzaWJsZVRpbWVzO0YoRmJvRmVvRmdvL0Zqb1EkMGVtRigvRl1wRmNyRl5wRmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxLUklbXN1cEdGJTYlLUZfbzYzUSJlRigvRmNvUSFGKEZlb0Znb0ZickZkckZecEZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1GLTY5USNQaUYoRjBGM0Y2L0Y6RjhGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduL0ZqblEnbm9ybWFsRihGXG8vJTFzdXBlcnNjcmlwdHNoaWZ0R1EiMEYoLUZfbzYzUSIrRihGYm9GZW9GZ28vRmpvUTBtZWRpdW1tYXRoc3BhY2VGKC9GXXBGanNGXnBGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHEtRiQ2JS1GLTY5USNhMkYoRjBGM0Y2RjlGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmluRlxvRl9yLUYkNiUtRi02OVElc2luaEYoRjBGM0Y2RmBzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZhc0Zcby1GX282M1EwJkFwcGx5RnVuY3Rpb247RihGYm9GZW9GZ29GYnJGZHJGXnBGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHEtRiQ2JS1GX282M1EiKEYoL0Zjb1EncHJlZml4RigvRmZvRjtGZ28vRmpvUS50aGlubWF0aHNwYWNlRigvRl1wRmJ1L0ZfcEY7RmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxLUYkNiNGXXMtRl9vNjNRIilGKC9GY29RKHBvc3RmaXhGKEZgdUZnb0ZhdS9GXXBRMnZlcnl0aGlubWF0aHNwYWNlRihGZHVGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHEtRl9vNjNRKCZtaW51cztGKEZib0Zlb0Znb0Zpc0ZbdEZecEZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1GLTY5USNhM0YoRjBGM0Y2RjlGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmluRlxvRmZzLUYkNiUtRi02OVEjYTRGKEYwRjNGNkY5RjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZpbkZcb0Zfci1GJDYlLUYtNjlRJWNvc2hGKEYwRjNGNkZgc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GYXNGXG9GZnRGaXQtRl9vNjNRIj1GKEZib0Zlb0Znb0Zpb0ZccEZecEZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1JI21uR0YlNjlRIjBGKEYwRjNGNkZgc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GYXNGXG83Iy1fRilJLG1wcmludHNsYXNoR0YoNiQ3Iz5JJXZhbDNHRigvLCoqJkkjYTFHRigiIiItSSRleHBHNiQlKnByb3RlY3RlZEdGKjYjSSNQaUdGZXhGYXhGYXgqJkkjYTJHRihGYXgtSSVzaW5oR0ZkeEZmeEZheEZheEkjYTNHRighIiIqJkkjYTRHRihGYXgtSSVjb3NoR0ZkeEZmeEZheEZheCIiITcjRl14

NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USV2YWw0RigvJSdmYW1pbHlHUTBUaW1lc35OZXd+Um9tYW5GKC8lJXNpemVHUSMxMkYoLyUlYm9sZEdRJmZhbHNlRigvJSdpdGFsaWNHUSV0cnVlRigvJSp1bmRlcmxpbmVHRjgvJSpzdWJzY3JpcHRHRjgvJSxzdXBlcnNjcmlwdEdGOC8lK2ZvcmVncm91bmRHUSpbMCwwLDI1NV1GKC8lK2JhY2tncm91bmRHUS5bMjU1LDI1NSwyNTVdRigvJSdvcGFxdWVHRjgvJStleGVjdXRhYmxlR0Y4LyUpcmVhZG9ubHlHRjsvJSljb21wb3NlZEdGOC8lKmNvbnZlcnRlZEdGOC8lK2ltc2VsZWN0ZWRHRjgvJSxwbGFjZWhvbGRlckdGOC8lMGZvbnRfc3R5bGVfbmFtZUdRKjJEfk91dHB1dEYoLyUqbWF0aGNvbG9yR0ZELyUvbWF0aGJhY2tncm91bmRHRkcvJStmb250ZmFtaWx5R0YyLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGKC8lKW1hdGhzaXplR0Y1LUkjbW9HRiU2M1EjOj1GKC8lJWZvcm1HUSZpbmZpeEYoLyUmZmVuY2VHRjgvJSpzZXBhcmF0b3JHRjgvJSdsc3BhY2VHUS90aGlja21hdGhzcGFjZUYoLyUncnNwYWNlR0ZbcC8lKXN0cmV0Y2h5R0Y4LyUqc3ltbWV0cmljR0Y4LyUobWF4c2l6ZUdRKWluZmluaXR5RigvJShtaW5zaXplR1EiMUYoLyUobGFyZ2VvcEdGOC8lLm1vdmFibGVsaW1pdHNHRjgvJSdhY2NlbnRHRjgvJTBmb250X3N0eWxlX25hbWVHRlgvJSVzaXplR0Y1LyUrZm9yZWdyb3VuZEdGRC8lK2JhY2tncm91bmRHRkctRiQ2JS1GJDYpLUYkNiUtRi02OVEjYTFGKEYwRjNGNkY5RjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZpbkZcby1GX282M1ExJkludmlzaWJsZVRpbWVzO0YoRmJvRmVvRmdvL0Zqb1EkMGVtRigvRl1wRmNyRl5wRmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxLUZfbzYzUSJlRigvRmNvUSFGKEZlb0Znb0ZickZkckZecEZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1GX282M1EiK0YoRmJvRmVvRmdvL0Zqb1EwbWVkaXVtbWF0aHNwYWNlRigvRl1wRl5zRl5wRmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxLUYkNiUtRi02OVEjYTJGKEYwRjNGNkY5RjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZpbkZcb0Zfci1GJDYlLUYtNjlRJXNpbmhGKEYwRjNGNi9GOkY4RjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbi9Gam5RJ25vcm1hbEYoRlxvLUZfbzYzUTAmQXBwbHlGdW5jdGlvbjtGKEZib0Zlb0Znb0ZickZkckZecEZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1GJDYlLUZfbzYzUSIoRigvRmNvUSdwcmVmaXhGKC9GZm9GO0Znby9Gam9RLnRoaW5tYXRoc3BhY2VGKC9GXXBGaXQvRl9wRjtGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHEtRiQ2Iy1JI21uR0YlNjlGZ3BGMEYzRjZGanNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRlt0RlxvLUZfbzYzUSIpRigvRmNvUShwb3N0Zml4RihGZ3RGZ29GaHQvRl1wUTJ2ZXJ5dGhpbm1hdGhzcGFjZUYoRlt1RmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxRmpyLUYkNiUtRi02OVEjYTNGKEYwRjNGNkY5RjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZpbkZcb0Zfci1GJDYlLUYtNjlRJGNvc0YoRjBGM0Y2RmpzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZbdEZcb0ZddEZgdEZqci1GJDYlLUYtNjlRI2E0RihGMEYzRjZGOUY8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GaW5GXG9GX3ItRiQ2JS1GLTY5USVjb3NoRihGMEYzRjZGanNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRlt0RlxvRl10RmB0LUZfbzYzUSI9RihGYm9GZW9GZ29GaW9GXHBGXnBGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHEtRl91NjlRIjBGKEYwRjNGNkZqc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GW3RGXG83Iy1fRilJLG1wcmludHNsYXNoR0YoNiQ3Iz5JJXZhbDRHRigvLCoqJkkjYTFHRigiIiItSSRleHBHNiQlKnByb3RlY3RlZEdGKjYjRl54Rl54Rl54KiZJI2EyR0YoRl54LUklc2luaEdGYXhGY3hGXnhGXngqJkkjYTNHRihGXngtSSRjb3NHRmF4RmN4Rl54Rl54KiZJI2E0R0YoRl54LUklY29zaEdGYXhGY3hGXnhGXngiIiE3I0Zqdw==

NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USV2YWw1RigvJSdmYW1pbHlHUTBUaW1lc35OZXd+Um9tYW5GKC8lJXNpemVHUSMxMkYoLyUlYm9sZEdRJmZhbHNlRigvJSdpdGFsaWNHUSV0cnVlRigvJSp1bmRlcmxpbmVHRjgvJSpzdWJzY3JpcHRHRjgvJSxzdXBlcnNjcmlwdEdGOC8lK2ZvcmVncm91bmRHUSpbMCwwLDI1NV1GKC8lK2JhY2tncm91bmRHUS5bMjU1LDI1NSwyNTVdRigvJSdvcGFxdWVHRjgvJStleGVjdXRhYmxlR0Y4LyUpcmVhZG9ubHlHRjsvJSljb21wb3NlZEdGOC8lKmNvbnZlcnRlZEdGOC8lK2ltc2VsZWN0ZWRHRjgvJSxwbGFjZWhvbGRlckdGOC8lMGZvbnRfc3R5bGVfbmFtZUdRKjJEfk91dHB1dEYoLyUqbWF0aGNvbG9yR0ZELyUvbWF0aGJhY2tncm91bmRHRkcvJStmb250ZmFtaWx5R0YyLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGKC8lKW1hdGhzaXplR0Y1LUkjbW9HRiU2M1EjOj1GKC8lJWZvcm1HUSZpbmZpeEYoLyUmZmVuY2VHRjgvJSpzZXBhcmF0b3JHRjgvJSdsc3BhY2VHUS90aGlja21hdGhzcGFjZUYoLyUncnNwYWNlR0ZbcC8lKXN0cmV0Y2h5R0Y4LyUqc3ltbWV0cmljR0Y4LyUobWF4c2l6ZUdRKWluZmluaXR5RigvJShtaW5zaXplR1EiMUYoLyUobGFyZ2VvcEdGOC8lLm1vdmFibGVsaW1pdHNHRjgvJSdhY2NlbnRHRjgvJTBmb250X3N0eWxlX25hbWVHRlgvJSVzaXplR0Y1LyUrZm9yZWdyb3VuZEdGRC8lK2JhY2tncm91bmRHRkctRiQ2JS1GJDYnLUYkNiUtRi02OVEjYTFGKEYwRjNGNkY5RjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZpbkZcby1GX282M1ExJkludmlzaWJsZVRpbWVzO0YoRmJvRmVvRmdvL0Zqb1EkMGVtRigvRl1wRmNyRl5wRmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxLUklbXN1cEdGJTYlLUZfbzYzUSJlRigvRmNvUSFGKEZlb0Znb0ZickZkckZecEZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1GJDYlLUZfbzYzUSIoRigvRmNvUSdwcmVmaXhGKC9GZm9GO0Znby9Gam9RLnRoaW5tYXRoc3BhY2VGKC9GXXBGZnMvRl9wRjtGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHEtRiQ2JS1JJm1mcmFjR0YlNiotSSNtbkdGJTY5USIzRihGMEYzRjYvRjpGOEY8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ24vRmpuUSdub3JtYWxGKEZcby1GX3Q2OVEiMkYoRjBGM0Y2RmJ0RjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZjdEZcby8lLmxpbmV0aGlja25lc3NHUSIxRigvJStkZW5vbWFsaWduR1EnY2VudGVyRigvJSludW1hbGlnbkdGXXUvJSliZXZlbGxlZEdGOEZicUZkcUZfci1GJDYjLUYtNjlRI1BpRihGMEYzRjZGYnRGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmN0RlxvLUZfbzYzUSIpRigvRmNvUShwb3N0Zml4RihGZHNGZ29GZXMvRl1wUTJ2ZXJ5dGhpbm1hdGhzcGFjZUYoRmhzRmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxLyUxc3VwZXJzY3JpcHRzaGlmdEdRIjBGKC1GX282M1EiK0YoRmJvRmVvRmdvL0Zqb1EwbWVkaXVtbWF0aHNwYWNlRigvRl1wRmV2Rl5wRmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxLUYkNiUtRi02OVEjYTJGKEYwRjNGNkY5RjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZpbkZcb0Zfci1GJDYlLUYtNjlRJXNpbmhGKEYwRjNGNkZidEY8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GY3RGXG8tRl9vNjNRMCZBcHBseUZ1bmN0aW9uO0YoRmJvRmVvRmdvRmJyRmRyRl5wRmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxLUYkNiVGX3MtRiQ2I0Zpc0ZndUZhdi1GJDYlLUYtNjlRI2E0RihGMEYzRjZGOUY8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GaW5GXG9GX3ItRiQ2JS1GLTY5USVjb3NoRihGMEYzRjZGYnRGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmN0RlxvRmF3RmR3LUZfbzYzUSI9RihGYm9GZW9GZ29GaW9GXHBGXnBGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHEtRl90NjlRIjBGKEYwRjNGNkZidEY8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GY3RGXG83Iy1fRilJLG1wcmludHNsYXNoR0YoNiQ3Iz5JJXZhbDVHRigvLCgqJkkjYTFHRigiIiItSSRleHBHNiQlKnByb3RlY3RlZEdGKjYjLCQqJiMiIiQiIiNGZHlJI1BpR0ZoeUZkeUZkeUZkeUZkeSomSSNhMkdGKEZkeS1JJXNpbmhHRmd5Rml5RmR5RmR5KiZJI2E0R0YoRmR5LUklY29zaEdGZ3lGaXlGZHlGZHkiIiE3I0ZgeQ==

NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USVzb2wxRigvJSdmYW1pbHlHUTBUaW1lc35OZXd+Um9tYW5GKC8lJXNpemVHUSMxMkYoLyUlYm9sZEdRJmZhbHNlRigvJSdpdGFsaWNHUSV0cnVlRigvJSp1bmRlcmxpbmVHRjgvJSpzdWJzY3JpcHRHRjgvJSxzdXBlcnNjcmlwdEdGOC8lK2ZvcmVncm91bmRHUSpbMCwwLDI1NV1GKC8lK2JhY2tncm91bmRHUS5bMjU1LDI1NSwyNTVdRigvJSdvcGFxdWVHRjgvJStleGVjdXRhYmxlR0Y4LyUpcmVhZG9ubHlHRjsvJSljb21wb3NlZEdGOC8lKmNvbnZlcnRlZEdGOC8lK2ltc2VsZWN0ZWRHRjgvJSxwbGFjZWhvbGRlckdGOC8lMGZvbnRfc3R5bGVfbmFtZUdRKjJEfk91dHB1dEYoLyUqbWF0aGNvbG9yR0ZELyUvbWF0aGJhY2tncm91bmRHRkcvJStmb250ZmFtaWx5R0YyLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGKC8lKW1hdGhzaXplR0Y1LUkjbW9HRiU2M1EjOj1GKC8lJWZvcm1HUSZpbmZpeEYoLyUmZmVuY2VHRjgvJSpzZXBhcmF0b3JHRjgvJSdsc3BhY2VHUS90aGlja21hdGhzcGFjZUYoLyUncnNwYWNlR0ZbcC8lKXN0cmV0Y2h5R0Y4LyUqc3ltbWV0cmljR0Y4LyUobWF4c2l6ZUdRKWluZmluaXR5RigvJShtaW5zaXplR1EiMUYoLyUobGFyZ2VvcEdGOC8lLm1vdmFibGVsaW1pdHNHRjgvJSdhY2NlbnRHRjgvJTBmb250X3N0eWxlX25hbWVHRlgvJSVzaXplR0Y1LyUrZm9yZWdyb3VuZEdGRC8lK2JhY2tncm91bmRHRkctRiQ2JS1GX282M1EifGZyRigvRmNvUSdwcmVmaXhGKC9GZm9GO0Znby9Gam9RLnRoaW5tYXRoc3BhY2VGKC9GXXBGX3IvRl9wRjtGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHEtRiQ2KS1GJDYlLUYtNjlRI2EzRihGMEYzRjZGOUY8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GaW5GXG8tRl9vNjNRIj1GKEZib0Zlb0Znb0Zpb0ZccEZecEZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1JI21uR0YlNjlRIjBGKEYwRjNGNi9GOkY4RjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbi9Gam5RJ25vcm1hbEYoRlxvLUZfbzYzUSIsRihGYm9GZW8vRmhvRjsvRmpvUSQwZW1GKC9GXXBRM3Zlcnl0aGlja21hdGhzcGFjZUYoRl5wRmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxLUYkNiUtRi02OVEjYTRGKEYwRjNGNkY5RjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZpbkZcb0Zpci1GLTY5USNhMkYoRjBGM0Y2RjlGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmluRlxvRmNzLUYkNiUtRi02OVEjYTFGKEYwRjNGNkY5RjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZpbkZcb0Zpci1GJDYkLUZfbzYzUSomdW1pbnVzMDtGKEZbckZlb0Znb0Zncy9GXXBGaHNGXnBGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHFGYHRGY3MtRiQ2JUZgdEZpckZgdC1GX282M1EifGhyRigvRmNvUShwb3N0Zml4RihGXXJGZ29GXnIvRl1wUTJ2ZXJ5dGhpbm1hdGhzcGFjZUYoRmFyRmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxNyMtX0YpSSxtcHJpbnRzbGFzaEdGKDYkNyM+SSVzb2wxR0YoPCYvSSNhM0dGKCIiIS9JI2E0R0YoSSNhMkdGKC9JI2ExR0YoLCRGZXYhIiIvRmV2RmV2NyNGX3Y=

Note that instead of finding only the trivial solution, we get a one parameter family of solutions. Setting a4 to 1, we get the equation -(LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYlLUkjbWlHRiQ2OVEhRicvJSdmYW1pbHlHUTBUaW1lc35OZXd+Um9tYW5GJy8lJXNpemVHUSMxMkYnLyUlYm9sZEdRJmZhbHNlRicvJSdpdGFsaWNHUSV0cnVlRicvJSp1bmRlcmxpbmVHRjcvJSpzdWJzY3JpcHRHRjcvJSxzdXBlcnNjcmlwdEdGNy8lK2ZvcmVncm91bmRHUShbMCwwLDBdRicvJStiYWNrZ3JvdW5kR0ZDLyUnb3BhcXVlR0Y3LyUrZXhlY3V0YWJsZUdGNy8lKXJlYWRvbmx5R0Y3LyUpY29tcG9zZWRHRjcvJSpjb252ZXJ0ZWRHRjcvJStpbXNlbGVjdGVkR0Y3LyUscGxhY2Vob2xkZXJHRjcvJTBmb250X3N0eWxlX25hbWVHUSsyRH5Db21tZW50RicvJSptYXRoY29sb3JHRkMvJS9tYXRoYmFja2dyb3VuZEdGQy8lK2ZvbnRmYW1pbHlHRjEvJSxtYXRodmFyaWFudEdRJ2l0YWxpY0YnLyUpbWF0aHNpemVHRjQtSSVtc3VwR0YkNiUtRiw2OVEiZUYnRi9GMkY1RjhGO0Y9Rj9GQUZERkZGSEZKRkxGTkZQRlJGVEZXRllGZW5GZ25Gam4tRiw2OVEieEYnRi9GMkY1RjhGO0Y9Rj9GQUZERkZGSEZKRkxGTkZQRlJGVEZXRllGZW5GZ25Gam4vJTFzdXBlcnNjcmlwdHNoaWZ0R1EiMEYnRis=) + sinh(x) + cosh(x) = 0 which is a dependency relation if it is true. (It follows easily from the definition of sinh(x) and cosh(x).) Now that we have a candidate nontrivial solution for the vector equation, we want to see if it works for all values of x, or perhaps only for the 5 values we chose. We can check intervals by plotting the graph. plot({-exp(x) + sinh(x) + cosh(x),x}, x=-10..10,axes=boxed);

NictSSdDVVJWRVNHNiI2JDdTNyQkISM1IiIhRik3JCQhMyFwbW1tInAwayYqISM8Ri03JCQhM3VLTCQzPFhaPSpGL0YxNyQkITNXbW1tVCVwImUoKUYvRjQ3JCQhMy9ubW0iNG0oRyQpRi9GNzckJCEzT0xMJDNpLjkhekYvRjo3JCQhM2ZtbTsvUj0wdkYvRj03JCQhM2srK11QOCNcNChGL0ZANyQkITNKbW07L3NpcW1GL0ZDNyQkITNQKioqKlwoeSRwWmlGL0ZGNyQkITNqS0xMJHlhRSJlRi9GSTckJCEzO21tbSI+cyVIYUYvRkw3JCQhM10qKioqKipcJCo0KSpcRi9GTzckJCEzbyoqKioqKlxfJlxjJUYvRlI3JCQhMyQpKioqKioqXDFhWlRGL0ZVNyQkITNJbW07LyMpW29QRi9GWDckJCEzJUhMTEw9ZXhKJEYvRmVuNyQkITNsS0xMTDIkZiRIRi9GaG43JCQhMyUpKioqKlxQWXgiXCNGL0ZbbzckJCEzZ0xMTEw3aSk0I0YvRl5vNyQkITNuKSoqKlxQJ3BzbSJGL0ZhbzckJCEzPyoqKipcNzRfYzdGL0ZkbzckJCEzTDpMTCQzeCV6IykhIz1GZ283JCQhMycpSExMM3MkUU0lRmlvRltwNyQkITNcXm9tbTt6cikqISM/Rl5wNyQkIjNlVkxMZXp3NVZGaW9GYnA3JCQiMy0uKyt2JFEjXCIpRmlvRmVwNyQkIjMlXExMJGUiKltIN0YvRmhwNyQkIjM9KysrK2R4ZDtGL0ZbcTckJCIzZSsrK0QweHc/Ri9GXnE3JCQiMzQsK11pJnBAWyNGL0ZhcTckJCIzKysrK3ZnSEtIRi9GZHE3JCQiM0VsbW1tWnZPTEYvRmdxNyQkIjMlNCsrK3YrJ29QRi9GanE3JCQiM1VLTCRlUjwqZlRGL0ZdcjckJCIzSy0rK10pSHhlJUYvRmByNyQkIjMhZm1tIkghby0qXEYvRmNyNyQkIjNYLCtdN2suNmFGL0ZmcjckJCIzI2VtbW1UOUMjZUYvRmlyNyQkIjMyKioqKlxpISozYGlGL0ZcczckJCIzO05MTEwqenltJ0YvRl9zNyQkIjMnZUxMJDNOMSM0KEYvRmJzNyQkIjMscG07SFl0N3ZGL0ZlczckJCIzNy0rKyt4RyoqeUYvRmhzNyQkIjNncG1tVDZLVSQpRi9GW3Q3JCQiM3FOTExMYmRRKClGL0ZedDckJCIzWisrXWlgMWgiKkYvRmF0NyQkIjNALStdUD9XbCYqRi9GZHQ3JCQiIzVGK0ZndC1JJ0NPTE9VUkdGJTYmSSRSR0JHRiUkRmh0ISIiJEYrRitGX3UtRiQ2JDddXWw3JEYpJCIzW2NlYS4lKikqPT0hI0g3JCQhMyZSJGVreW5QJykqKkYvRl91NyQkITM4bTtIZE52cyoqRi8kITNbY2VhLiUqKSo9PUZmdTckJCEzSSlcUGZMSSJmKipGL0ZfdTckJCEzREtMZTlyXVgqKkYvRl91NyQkITM/bSJISypRKT0kKipGL0ZfdTckJCEzOitdKD1uZyM9KipGL0ZkdTckJCEzNk0zX111ai8qKkYvRl12NyQkITNHbW07SFUsIiopKkYvRl91NyQkITNYKVw3eSsiUngpKkYvRmR1NyQkITNTSyRla3luUCcpKkYvRl91NyQkITNObVQ1bFg5XSkqRi9GX3U3JCQhM0krK3ZWOF9PKSpGL0ZkdTckJCEzRU1lUkEiKSpHIykqRi9GXXY3JCQhM1dtOy8sXEY0KSpGL0ZfdTckJCEzaSlcKG96O2wmeipGL0ZfdTckJCEzY0tMTGUlRz95KkYvRmR1NyQkITNfbSJ6cEIwJW8oKkYvRmR1NyQkITNaK11pOj95YSgqRi9GXXY3JCQhM1VNM0YlemU2dSpGL0ZfdTckJCEzZ21tIkhkTnZzKkYvRl91NyQkITN4KVxpOk43UnIqRi9GXXY3JCQhM3NLJDMtOCpHKygqRi9GX3U3JCQhM21tVCYpM2ZtJ28qRi8kITNPI0dIeCxaXDQqISNJNyQkITNoKytdKG9VSW4qRi8kIjNPI0dIeCxaXDQqRmB6NyQkITNkTWU5bSU+JWYnKkYvRmR6NyQkITN2bTt6V2l6WCcqRi9GXno3JCQhMyMqKVxQTS10QGoqRi9GXno3JCQhMylHTCQzLSlcJj0nKkYvRl91NyQkITMkbztIMmVFXGcqRi9GX3U3JCQhM3krXVBmTEkiZipGL0ZfdTckJCEzdE0zLVEsb3gmKkYvRl56NyRGLUZeejckJCEzKVFQNFlVLkFiKkYvRl91NyQkITNqIzNfRCQqXC5hKkYvRl56NyQkITNRInolXFNrXEcmKkYvRl91NyQkITM5K3ZWW0hrOyYqRi9GX3U3JCQhMyopMy1RYyUqeS8mKkYvRmR6NyQkITNrPEhLa2YkSFwqRi9GXno3JCQhM1JFY0VzQzMiWypGL0ZfdTckJCEzUEwkMy0pKkcjcCUqRi9GX3U3JCQhM2dtIno+LDo9VSpGL0ZfdTckJCEzIykqKipcUC8sV1AqRi9GX3U3JCQhMyFvcSNwXnZhaSQqRi9GXno3JCQhM2I6YWpmU3BdJCpGL0ZeejckJCEzSUMieXZjUylRJCpGL0ZeejckJCEzMUwzX3ZxKXBLKkYvRl56NyQkITMiPWFqTWVMXkoqRi9GXno3JCQhM2NdaVMiNCFHLiQqRi9GX3U3JCQhM0tmKlskKmZFOUgqRi9GX3U3JCQhM0htO0gySmR6IypGL0ZkejckJCEzRXRWQjonPnhFKkYvRl91NyQkITMtIzN4SjdtZUQqRi9GX3U3JCQhM3ghej42ajdTQypGL0ZkejckJCEzXypcaSFSImZAQipGL0ZfdTckJCEzRjNfK1pjST8jKkYvRl56NyQkITMtPHolXDpfJTMjKkYvRl56NyQkITN3RDEqR20pZic+KkYvRl56NyRGMUZkejckJCEzT3RvSHpZVHIiKkYvRl56NyQkITN4Oi93KD0lM2UiKkYvRl56NyQkITM8ZVJBJ3BgWjkqRi9GX3U3JCQhM2Qrdm8vS1VKIipGL0ZfdTckJCEzKEgvXkpyIzQ9IipGL0ZkejckJCEzZiRlOTtBaVo1KkYvRl91NyQkITNBQyJ5K3RKOTQqRi9GX3U3JCQhM2htO2FRNzV5ISpGL0ZkejckJCEzLDRfK1oyeGshKkYvRmR6NyQkITNrXChvYURTOTAqRi9GX3U3JCQhM0UhSEtSdzQiUSEqRi9GXno3JCQhM21LZVJzI3paLSpGL0ZfdTckJCEzMXYkZjN5WzksKkYvRl56NyQkITNvOkhLKkc9IikqKilGL0ZfdTckJCEzSmNreSh6KHklKSopRi9GX3U3JCQhM3IpKipcaUlkOSgqKUYvJCIzPVRZJykzTlpaWEZgejckJCEzNVROcjlvN2UqKUYvRl91NyQkITNzIjN4SksnelcqKUYvJCEzPVRZJykzTlpaWEZgejckJCEzTkExa0plWUoqKUYvRl91NyQkITN2a1Q1U2A4PSopRi9GX3U3JCQhMzoyeGNbWyFbISopRi9GX3U3JCQhM2FcNy5kVloiKikpRi9GX3U3JCQhMyU+eiVcbFE5eSkpRi9GX3U3JCQhM2RLJGVSUDhbJykpRi9GYGRsNyQkITM+dD1VIylHW14pKUYvRl91NyQkITNnOmEpM1JfIlEpKUYvRmhjbDckJCEzK2UqWyQqKj0jWyMpKUYvRl91NyQkITNTK0QieVMiXDYpKUYvRl91NyQkITMhRy93aSI0Oyl6KUYvRmhjbDckJCEzVSRlUlpVSVt5KUYvRl91NyQkITMvQ0o/TCoqXHIoKUYvRmBkbDckRjRGYGRsNyQkITNfbCJ6cGVdWnUpRi9GX3U3JCQhM1BtO0hLPExKKClGL0ZfdTckJCEzQW5UZ3hHInpyKUYvRmBkbDckJCEzSW1tIkgtJVwvKClGL0ZfdTckJCEzT2wiSCNvXjIicClGL0ZfdTckJCEzQG07YThqbHgnKUYvRmBkbDckJCEzMW5UJilldUJrJylGL0ZoY2w3JCQhMzptbTsvJz0zbClGL0ZfdTckJCEzQWwieiVcKCpSUCcpRi9GaGNsNyQkITMzbTt6JSozKVJpKUYvRl91NyQkITMjcDsvLC9pMGgpRi9GX3U3JCQhMyttbVQmPVZyZilGL0ZoY2w3JCQhMzJsIkgyTENQZSlGL0ZfdTckJCEzI2ZtVGdaMC5kKUYvRmhjbDckJCEzeG1UTkBtKW9iKUYvRl91NyQkITMmZW1tbXduTWEpRi9GX3U3JCQhM2NsbTtIcDZPJSlGL0ZfdTckRjdGX3U3JCQhM3grRCJHeVhgRilGL0ZfdTckJCEzdEskZVJaRD5BKUYvRl91NyQkITNoInpXblJxJjMjKUYvJCIzZj9CVmFudHRBRmB6NyQkITNbXTdgPmBAJj4pRi9GZ2psNyQkITNlMnhKVS0nPT0pRi8kITNmP0JWYW50dEFGYHo3JCQhM1ltVDVsXl1vIilGL0ZfdTckJCEzTUQxKnkzXV46KUYvRl9bbTckJCEzVyMzeDEsJnpUIilGL0ZfdTckJCEzS1ROWUwqUiVHIilGL0ZfdTckJCEzPysrRGNbMzoiKUYvRmdqbDckJCEzM2ZrLnooSDw1KUYvRl91NyQkITMmeiJIIz1xdSQpMylGL0Znamw3JCQhMzB2JDRZaT5dMilGL0ZfdTckJCEzJFIkZVJaWG1oISlGL0ZfdTckJCEzIkdIIz1xJTQkWyEpRi9GZ2psNyQkITMiKlwob0hSYVwuKUYvRl91NyQkITN6M192OiQqZkAhKUYvRl9bbTckJCEzbm47YVFVQzMhKUYvRmdqbDckJCEzbCRlOVQzTTopekYvRl91NyQkITNeK3ZvSFIjWyZ6Ri9GX1ttNyQkITNdZVJaXylvOSV6Ri9GZ2psNyQkITNRPC9FdlA2R3pGL0ZfdTckJCEzUHZvLylwZVoiekYvRl9bbTckRjpGX3U3JEY9Rl91NyQkITNZTCRlKik+akJcKEYvRl91NyQkITNaKioqXFBcVSZ6dUYvRl91NyQkITNObTthKXlAblkoRi8kITNJZ2hAeCRvbzgiRmB6NyQkITNCTExMJDMsUlgoRi9GYl9tNyQkITMrbm0iSG5mI0d1Ri9GX3U3JCQhM3grK11pIz1FUyhGLyQiM0lnaEB4JG9vOCJGYHo3JCQhM2tuO0hkdnoqUShGL0ZfdTckJCEzYE1MM19vKHBQKEYvRl91NyQkITNfK10obzljVE8oRi9GXWBtNyQkITNUbm1tVGFMXnRGL0ZdYG03JCQhM0hNJGVrdDkmUXRGL0ZfdTckJCEzSCsrREpTcER0Ri9GYl9tNyQkITM9bjsvRUwoR0ooRi9GX3U3JCQhMzFNTCQzaV8rSShGL0ZiX203JCQhMyU0K0RjIj5CKEcoRi9GX3U3JCQhMyR5bTsvQDZXRihGL0ZdYG03JCQhMyNRTDNfXSFmaHNGL0ZfdTckJCEzcisrKyspcChbc0YvRl1gbTckJCEzZm47eiU0XGZCKEYvRl1gbTckJCEzZUxMZSpRR0pBKEYvRl91NyQkITNaK11QJW8yLkAoRi9GXWBtNyQkITNNbm07enBbKD4oRi9GXWBtNyQkITNCTSRlUkZtWT0oRi9GXWBtNyQkITM2LCt2b2IlPTwoRi9GYl9tNyQkITM2bjthalstZnJGL0ZiX203JCQhMytNTExlVD9ZckYvRl91NyQkITMpMytESlgkUUxyRi9GX3U3JCQhMylvbTt6dWkwNyhGL0ZiX203JCQhM3dMJDNGL1V4NShGL0ZfdTckRkBGX3U3JCQhM0hubTsveSUpKSlwRi9GX3U3JCQhMyNSTEwzRnVGKW9GL0ZfdTckJCEzcW5tO3pdXnBvRi9GX3U3JCQhM2UrK10oKWVEY29GLyQiM1ssMzMnKT1NJW8mISNKNyQkITNaTEwkZXAnKkglb0YvRmFlbTckJCEzRG5tOy92dEhvRi9GX3U3JCQhMy0sK103JHlrIm9GL0ZhZW03JCQhMyJSTEwzNz5LIW9GLyQhM1ssMzMnKT1NJW8mRmNlbTckJCEzem1tO0gqZioqeSdGL0ZfdTckJCEzZCsrXVAycXduRi9GYGZtNyQkITNNTUwkZWFUTXcnRi9GYWVtNyQkITNCbm07YUI9XW5GL0ZhZW03JCQhMzcrK11pSiNwdCdGL0ZfdTckJCEzKlFMTDMoUm1CbkYvRl91NyQkITN5bW07elpTNW5GL0ZgZm03JCQhM20qKioqXChlWHJwJ0YvRl91NyQkITNWTEwkZVInKVFvJ0YvRmFlbTckRkNGYGZtNyQkITMsTGUqW2A1dWwnRi9GYGZtNyQkITMhKSkqXGlsUT5XbUYvRl91NyQkITNcbFROJz54NGonRi9GYWVtNyQkITM9S0wzRjB3PG1GL0ZfdTckJCEzJykpXDd5JlFhL21GL0ZhZW03JCQhM2FsO2EpPUY4ZidGL0ZfdTckJCEzQkszRj4wNnlsRi9GYWVtNyQkITMjKikqKioqKlxRKltjJ0YvRmBmbTckJCEzZ2wiSDI9eDtiJ0YvRmFlbTckJCEzSEskZTleZyVRbEYvRmFlbTckJCEzKSopXCg9VVFDRGxGL0ZfdTckJCEzbWxtIkg8Rj9eJ0YvRmFlbTckJCEzTUtlay4wIikpXCdGL0ZfdTckJCEzLioqXFBNUWYmWydGL0ZgZm03JCQhM3NsVDVsclBza0YvRl91NyQkITNTS0wkZVxnImZrRi9GYWVtNyQkITM0KlxpbCNRJWZXJ0YvRmFlbTckJCEzeGw7SGRyc0trRi9GYWVtNyQkITNZSzMtKVs1Jj5rRi9GYWVtNyQkITM6KioqXCg9UUgxa0YvRl91NyQkITNeSyQzLVtnKXpqRi9GX3U3JCQhMyllbW07OUZNTidGL0ZfdTckJCEzaktMZWsvYytqRi9GX3U3JEZGRl91NyQkITNmI2VSKFxRXT9pRi9GX3U3JCQhMyFlO3o+IlJKJD4nRi9GX3U3JCQhM1RkKik0Vio9KHpoRi8kIjN1Ky8vVjQ8VUdGY2VtNyQkITMtXCg9VShSN21oRi9GX3U3JCQhM2pTJlFgK0hEOidGL0ZfdTckJCEzQ0skZWsuTSpRaEYvJCEzdSsvL1Y0PFVHRmNlbTckJCEzWTp6cCk0Vzw2J0YvRl91NyQkITNuKVxQNDthWDMnRi9GXV1uNyQkITNHIUhkPz5mNDInRi9GX3U3JCQhMyo9M3hKQWt0MCdGL0ZoXW43JCQhM1J1b0hhI3BQLydGL0ZoXW43JCQhMyttbVQmR3UsLidGL0ZfdTckJCEzTExlKik0V3p2ZkYvRl91NyQkITN3KipcUE1YVEBmRi9GX3U3JCQhM1AieiVcbCY+eSFmRi9GX3U3JCQhMydIZTltZkNVKmVGL0ZfdTckJCEzZXVWdEYnSDEpZUYvRl91NyQkITM+bVQmKWVZLm5lRi9GXV1uNyQkITMheSZSKCoqb1JNJmVGL0ZfdTckJCEzVFxQNEBaJSlSZUYvRl91NyQkITMtVE5AXyhcaSNlRi9GX3U3JEZJRl1dbjckJCEzR1xQTUYubytlRi9GaF1uNyQkITMjZjthOChlcSl5JkYvRl91NyQkITNjI2VrYFRKbngmRi9GX3U3JCQhM0AqKlxQZnB2a2RGL0ZfdTckJCEzXUtlUlohMzN1JkYvRl91NyQkITN6bG1UTiJmb3ImRi9GX3U3JCQhM09LJGU5Smgqb2NGL0ZfdTckJCEzJyopKioqXChbajVpJkYvRl91NyQkITNnOi9eSiEqMzRjRi9GX3U3JCQhM0NLM192WDYoZiZGL0ZfdTckJCEzKilbN2A+LDkmZSZGL0ZfdTckJCEzYGw7YWpjO3RiRi9GaF1uNyQkITM9IzNfdj8iPmhiRi9GaF1uNyQkITMjKSlcaTp2OyNcYkYvRmhdbjckJCEzWjpIZCZIVXNgJkYvJCEzUCstX3JhM0A5RmNlbTckJCEzN0tMZVJ5RURiRi9GX3U3JCQhM3dbUGYkUSRIOGJGL0ZfdTckJCEzVGxUZ0YqPThdJkYvRmVjbjckJCEzMCNlOTtaVyQqWyZGLyQiM1ArLV9yYTNAOUZjZW03JCQhM3EpKlxpOitQeGFGL0ZfdTckJCEzTjphamZiUmxhRi9GX3U3JCQhMyo+JGVrLjZVYGFGL0ZfdTckJCEzX1xpbFptV1RhRi9GY2RuNyRGTEZjZG43JEZPRl91NyRGUiQhMyc9Kyx3TkZhNSghI0s3JEZVRl91NyRGWEZfdTckRmVuRl91NyRGaG4kIjNZXS1TUm9OdzxGZmVuNyRGW29GX3U3JEZeb0ZfdTckRmFvJCIzO0UxXSk0IyozVyUhI0w3JEZkbyQiMzM4LkRcZ1c/QUZiZm43JEZnb0ZfdTckRltwRl91NyRGXnBGZGZuNyRGYnBGX3U3JEZlcEZfdTckRmhwRl91NyRGW3FGX3U3JEZecUZfdTckRmFxRl91NyRGZHFGX3U3JEZncUZfdTckRmpxRl91NyRGXXJGX3U3JEZgckZfdTckRmNyRl91NyRGZnJGX3U3JEZpckZfdTckRlxzRl91NyRGX3NGX3U3JEZic0ZfdTckRmVzRl91NyRGaHNGX3U3JEZbdEZfdTckRl50Rl91NyRGYXRGX3U3JEZkdEZfdTckRmd0Rl91LUZqdDYmRlx1Rl91Rl11Rl91LUkqQVhFU1NUWUxFRzYkJSpwcm90ZWN0ZWRHSShfc3lzbGliR0YlNiNJJEJPWEdGZWhuLUkrQVhFU0xBQkVMU0dGZWhuNiRRInhGJVEhRiUtSSVWSUVXR0ZlaG42JDtGKUZndEkoREVGQVVMVEdGJQ==

(We plotted the function y=x as well to give a reasonable viewing window. If we plot just the linear combination we can get problems arising from cancellation errors.) Thus we see that we have found a dependency relationship between the functions, so they are linearly dependent. (Actually, we only showed the functions are dependent on the domain from -10 to 10. We rely on a theorem beyond the scope of this class to claim that we have shown enough.) The technique we used to find the coefficients of a dependence relationship can run into trouble if the values of x we choose fit too nicely. Consider a slight variation on the functions from exercise 4 above veceqn := a1*sin(x) + a2*sin(2*x) + a3*sin(4*x) = 0; val1 := simplify(eval(veceqn, x=0)); val2 := simplify(eval(veceqn, x=Pi/2)); val3 := simplify(eval(veceqn, x=Pi/4)); val4 := simplify(eval(veceqn, x=3*Pi/4)); val5 := simplify(eval(veceqn, x=Pi)); sol1 :=solve({val1, val2, val3, val4, val5},{a1,a2, a3});

NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USd2ZWNlcW5GKC8lJ2ZhbWlseUdRMFRpbWVzfk5ld35Sb21hbkYoLyUlc2l6ZUdRIzEyRigvJSVib2xkR1EmZmFsc2VGKC8lJ2l0YWxpY0dRJXRydWVGKC8lKnVuZGVybGluZUdGOC8lKnN1YnNjcmlwdEdGOC8lLHN1cGVyc2NyaXB0R0Y4LyUrZm9yZWdyb3VuZEdRKlswLDAsMjU1XUYoLyUrYmFja2dyb3VuZEdRLlsyNTUsMjU1LDI1NV1GKC8lJ29wYXF1ZUdGOC8lK2V4ZWN1dGFibGVHRjgvJSlyZWFkb25seUdGOy8lKWNvbXBvc2VkR0Y4LyUqY29udmVydGVkR0Y4LyUraW1zZWxlY3RlZEdGOC8lLHBsYWNlaG9sZGVyR0Y4LyUwZm9udF9zdHlsZV9uYW1lR1EqMkR+T3V0cHV0RigvJSptYXRoY29sb3JHRkQvJS9tYXRoYmFja2dyb3VuZEdGRy8lK2ZvbnRmYW1pbHlHRjIvJSxtYXRodmFyaWFudEdRJ2l0YWxpY0YoLyUpbWF0aHNpemVHRjUtSSNtb0dGJTYzUSM6PUYoLyUlZm9ybUdRJmluZml4RigvJSZmZW5jZUdGOC8lKnNlcGFyYXRvckdGOC8lJ2xzcGFjZUdRL3RoaWNrbWF0aHNwYWNlRigvJSdyc3BhY2VHRltwLyUpc3RyZXRjaHlHRjgvJSpzeW1tZXRyaWNHRjgvJShtYXhzaXplR1EpaW5maW5pdHlGKC8lKG1pbnNpemVHUSIxRigvJShsYXJnZW9wR0Y4LyUubW92YWJsZWxpbWl0c0dGOC8lJ2FjY2VudEdGOC8lMGZvbnRfc3R5bGVfbmFtZUdGWC8lJXNpemVHRjUvJStmb3JlZ3JvdW5kR0ZELyUrYmFja2dyb3VuZEdGRy1GJDYlLUYkNictRiQ2JS1GLTY5USNhMUYoRjBGM0Y2RjlGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmluRlxvLUZfbzYzUTEmSW52aXNpYmxlVGltZXM7RihGYm9GZW9GZ28vRmpvUSQwZW1GKC9GXXBGY3JGXnBGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHEtRiQ2JS1GLTY5USRzaW5GKEYwRjNGNi9GOkY4RjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbi9Gam5RJ25vcm1hbEYoRlxvLUZfbzYzUTAmQXBwbHlGdW5jdGlvbjtGKEZib0Zlb0Znb0ZickZkckZecEZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1GJDYlLUZfbzYzUSIoRigvRmNvUSdwcmVmaXhGKC9GZm9GO0Znby9Gam9RLnRoaW5tYXRoc3BhY2VGKC9GXXBGaXMvRl9wRjtGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHEtRiQ2Iy1GLTY5USJ4RihGMEYzRjZGOUY8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GaW5GXG8tRl9vNjNRIilGKC9GY29RKHBvc3RmaXhGKEZnc0Znb0Zocy9GXXBRMnZlcnl0aGlubWF0aHNwYWNlRihGW3RGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHEtRl9vNjNRIitGKEZib0Zlb0Znby9Gam9RMG1lZGl1bW1hdGhzcGFjZUYoL0ZdcEZcdUZecEZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1GJDYlLUYtNjlRI2EyRihGMEYzRjZGOUY8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GaW5GXG9GX3ItRiQ2JUZnckZdcy1GJDYlRmJzLUYkNiMtRiQ2JS1JI21uR0YlNjlRIjJGKEYwRjNGNkZqckY8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GW3NGXG9GX3JGXnRGYXRGaHQtRiQ2JS1GLTY5USNhM0YoRjBGM0Y2RjlGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmluRlxvRl9yLUYkNiVGZ3JGXXMtRiQ2JUZicy1GJDYjLUYkNiUtRlx2NjlRIjRGKEYwRjNGNkZqckY8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GW3NGXG9GX3JGXnRGYXQtRl9vNjNRIj1GKEZib0Zlb0Znb0Zpb0ZccEZecEZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1GXHY2OVEiMEYoRjBGM0Y2RmpyRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZbc0ZcbzcjLV9GKUksbXByaW50c2xhc2hHRig2JDcjPkkndmVjZXFuR0YoLywoKiZJI2ExR0YoIiIiLUkkc2luRzYkJSpwcm90ZWN0ZWRHRio2I0kieEdGKEZheEZheComSSNhMkdGKEZheC1GY3g2IywkKiYiIiNGYXhGZ3hGYXhGYXhGYXhGYXgqJkkjYTNHRihGYXgtRmN4NiMsJComIiIlRmF4Rmd4RmF4RmF4RmF4RmF4IiIhNyNGXXg=

NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USV2YWwxRigvJSdmYW1pbHlHUTBUaW1lc35OZXd+Um9tYW5GKC8lJXNpemVHUSMxMkYoLyUlYm9sZEdRJmZhbHNlRigvJSdpdGFsaWNHUSV0cnVlRigvJSp1bmRlcmxpbmVHRjgvJSpzdWJzY3JpcHRHRjgvJSxzdXBlcnNjcmlwdEdGOC8lK2ZvcmVncm91bmRHUSpbMCwwLDI1NV1GKC8lK2JhY2tncm91bmRHUS5bMjU1LDI1NSwyNTVdRigvJSdvcGFxdWVHRjgvJStleGVjdXRhYmxlR0Y4LyUpcmVhZG9ubHlHRjsvJSljb21wb3NlZEdGOC8lKmNvbnZlcnRlZEdGOC8lK2ltc2VsZWN0ZWRHRjgvJSxwbGFjZWhvbGRlckdGOC8lMGZvbnRfc3R5bGVfbmFtZUdRKjJEfk91dHB1dEYoLyUqbWF0aGNvbG9yR0ZELyUvbWF0aGJhY2tncm91bmRHRkcvJStmb250ZmFtaWx5R0YyLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGKC8lKW1hdGhzaXplR0Y1LUkjbW9HRiU2M1EjOj1GKC8lJWZvcm1HUSZpbmZpeEYoLyUmZmVuY2VHRjgvJSpzZXBhcmF0b3JHRjgvJSdsc3BhY2VHUS90aGlja21hdGhzcGFjZUYoLyUncnNwYWNlR0ZbcC8lKXN0cmV0Y2h5R0Y4LyUqc3ltbWV0cmljR0Y4LyUobWF4c2l6ZUdRKWluZmluaXR5RigvJShtaW5zaXplR1EiMUYoLyUobGFyZ2VvcEdGOC8lLm1vdmFibGVsaW1pdHNHRjgvJSdhY2NlbnRHRjgvJTBmb250X3N0eWxlX25hbWVHRlgvJSVzaXplR0Y1LyUrZm9yZWdyb3VuZEdGRC8lK2JhY2tncm91bmRHRkctRiQ2JS1JI21uR0YlNjlRIjBGKEYwRjNGNi9GOkY4RjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbi9Gam5RJ25vcm1hbEYoRlxvLUZfbzYzUSI9RihGYm9GZW9GZ29GaW9GXHBGXnBGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHFGaHE3Iy1fRilJLG1wcmludHNsYXNoR0YoNiQ3Iz5JJXZhbDFHRigvIiIhRltzNyNGanI=

NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USV2YWwyRigvJSdmYW1pbHlHUTBUaW1lc35OZXd+Um9tYW5GKC8lJXNpemVHUSMxMkYoLyUlYm9sZEdRJmZhbHNlRigvJSdpdGFsaWNHUSV0cnVlRigvJSp1bmRlcmxpbmVHRjgvJSpzdWJzY3JpcHRHRjgvJSxzdXBlcnNjcmlwdEdGOC8lK2ZvcmVncm91bmRHUSpbMCwwLDI1NV1GKC8lK2JhY2tncm91bmRHUS5bMjU1LDI1NSwyNTVdRigvJSdvcGFxdWVHRjgvJStleGVjdXRhYmxlR0Y4LyUpcmVhZG9ubHlHRjsvJSljb21wb3NlZEdGOC8lKmNvbnZlcnRlZEdGOC8lK2ltc2VsZWN0ZWRHRjgvJSxwbGFjZWhvbGRlckdGOC8lMGZvbnRfc3R5bGVfbmFtZUdRKjJEfk91dHB1dEYoLyUqbWF0aGNvbG9yR0ZELyUvbWF0aGJhY2tncm91bmRHRkcvJStmb250ZmFtaWx5R0YyLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGKC8lKW1hdGhzaXplR0Y1LUkjbW9HRiU2M1EjOj1GKC8lJWZvcm1HUSZpbmZpeEYoLyUmZmVuY2VHRjgvJSpzZXBhcmF0b3JHRjgvJSdsc3BhY2VHUS90aGlja21hdGhzcGFjZUYoLyUncnNwYWNlR0ZbcC8lKXN0cmV0Y2h5R0Y4LyUqc3ltbWV0cmljR0Y4LyUobWF4c2l6ZUdRKWluZmluaXR5RigvJShtaW5zaXplR1EiMUYoLyUobGFyZ2VvcEdGOC8lLm1vdmFibGVsaW1pdHNHRjgvJSdhY2NlbnRHRjgvJTBmb250X3N0eWxlX25hbWVHRlgvJSVzaXplR0Y1LyUrZm9yZWdyb3VuZEdGRC8lK2JhY2tncm91bmRHRkctRiQ2JS1GLTY5USNhMUYoRjBGM0Y2RjlGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmluRlxvLUZfbzYzUSI9RihGYm9GZW9GZ29GaW9GXHBGXnBGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHEtSSNtbkdGJTY5USIwRihGMEYzRjYvRjpGOEY8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ24vRmpuUSdub3JtYWxGKEZcbzcjLV9GKUksbXByaW50c2xhc2hHRig2JDcjPkkldmFsMkdGKC9JI2ExR0YoIiIhNyNGXXM=

NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USV2YWwzRigvJSdmYW1pbHlHUTBUaW1lc35OZXd+Um9tYW5GKC8lJXNpemVHUSMxMkYoLyUlYm9sZEdRJmZhbHNlRigvJSdpdGFsaWNHUSV0cnVlRigvJSp1bmRlcmxpbmVHRjgvJSpzdWJzY3JpcHRHRjgvJSxzdXBlcnNjcmlwdEdGOC8lK2ZvcmVncm91bmRHUSpbMCwwLDI1NV1GKC8lK2JhY2tncm91bmRHUS5bMjU1LDI1NSwyNTVdRigvJSdvcGFxdWVHRjgvJStleGVjdXRhYmxlR0Y4LyUpcmVhZG9ubHlHRjsvJSljb21wb3NlZEdGOC8lKmNvbnZlcnRlZEdGOC8lK2ltc2VsZWN0ZWRHRjgvJSxwbGFjZWhvbGRlckdGOC8lMGZvbnRfc3R5bGVfbmFtZUdRKjJEfk91dHB1dEYoLyUqbWF0aGNvbG9yR0ZELyUvbWF0aGJhY2tncm91bmRHRkcvJStmb250ZmFtaWx5R0YyLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGKC8lKW1hdGhzaXplR0Y1LUkjbW9HRiU2M1EjOj1GKC8lJWZvcm1HUSZpbmZpeEYoLyUmZmVuY2VHRjgvJSpzZXBhcmF0b3JHRjgvJSdsc3BhY2VHUS90aGlja21hdGhzcGFjZUYoLyUncnNwYWNlR0ZbcC8lKXN0cmV0Y2h5R0Y4LyUqc3ltbWV0cmljR0Y4LyUobWF4c2l6ZUdRKWluZmluaXR5RigvJShtaW5zaXplR1EiMUYoLyUobGFyZ2VvcEdGOC8lLm1vdmFibGVsaW1pdHNHRjgvJSdhY2NlbnRHRjgvJTBmb250X3N0eWxlX25hbWVHRlgvJSVzaXplR0Y1LyUrZm9yZWdyb3VuZEdGRC8lK2JhY2tncm91bmRHRkctRiQ2JS1GJDYlLUYkNiUtSSZtZnJhY0dGJTYqLUkjbW5HRiU2OUZncEYwRjNGNi9GOkY4RjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbi9Gam5RJ25vcm1hbEYoRlxvLUZgcjY5USIyRihGMEYzRjZGYnJGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmNyRlxvLyUubGluZXRoaWNrbmVzc0dRIjFGKC8lK2Rlbm9tYWxpZ25HUSdjZW50ZXJGKC8lKW51bWFsaWduR0Zdcy8lKWJldmVsbGVkR0Y4RmJxRmRxLUZfbzYzUTEmSW52aXNpYmxlVGltZXM7RihGYm9GZW9GZ28vRmpvUSQwZW1GKC9GXXBGZnNGXnBGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHEtRiQ2JS1GLTY5USNhMUYoRjBGM0Y2RjlGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmluRlxvRmJzLUkmbXNxcnRHRiU2JUZlckZicUZkcS1GX282M1EiK0YoRmJvRmVvRmdvL0Zqb1EwbWVkaXVtbWF0aHNwYWNlRigvRl1wRmR0Rl5wRmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxLUYtNjlRI2EyRihGMEYzRjZGOUY8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GaW5GXG8tRl9vNjNRIj1GKEZib0Zlb0Znb0Zpb0ZccEZecEZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1GYHI2OVEiMEYoRjBGM0Y2RmJyRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZjckZcbzcjLV9GKUksbXByaW50c2xhc2hHRig2JDcjPkkldmFsM0dGKC8sJiooIyIiIiIiI0ZbdkkjYTFHRihGW3YpRlx2Rmp1Rlt2Rlt2SSNhMkdGKEZbdiIiITcjRmd1

NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USV2YWw0RigvJSdmYW1pbHlHUTBUaW1lc35OZXd+Um9tYW5GKC8lJXNpemVHUSMxMkYoLyUlYm9sZEdRJmZhbHNlRigvJSdpdGFsaWNHUSV0cnVlRigvJSp1bmRlcmxpbmVHRjgvJSpzdWJzY3JpcHRHRjgvJSxzdXBlcnNjcmlwdEdGOC8lK2ZvcmVncm91bmRHUSpbMCwwLDI1NV1GKC8lK2JhY2tncm91bmRHUS5bMjU1LDI1NSwyNTVdRigvJSdvcGFxdWVHRjgvJStleGVjdXRhYmxlR0Y4LyUpcmVhZG9ubHlHRjsvJSljb21wb3NlZEdGOC8lKmNvbnZlcnRlZEdGOC8lK2ltc2VsZWN0ZWRHRjgvJSxwbGFjZWhvbGRlckdGOC8lMGZvbnRfc3R5bGVfbmFtZUdRKjJEfk91dHB1dEYoLyUqbWF0aGNvbG9yR0ZELyUvbWF0aGJhY2tncm91bmRHRkcvJStmb250ZmFtaWx5R0YyLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGKC8lKW1hdGhzaXplR0Y1LUkjbW9HRiU2M1EjOj1GKC8lJWZvcm1HUSZpbmZpeEYoLyUmZmVuY2VHRjgvJSpzZXBhcmF0b3JHRjgvJSdsc3BhY2VHUS90aGlja21hdGhzcGFjZUYoLyUncnNwYWNlR0ZbcC8lKXN0cmV0Y2h5R0Y4LyUqc3ltbWV0cmljR0Y4LyUobWF4c2l6ZUdRKWluZmluaXR5RigvJShtaW5zaXplR1EiMUYoLyUobGFyZ2VvcEdGOC8lLm1vdmFibGVsaW1pdHNHRjgvJSdhY2NlbnRHRjgvJTBmb250X3N0eWxlX25hbWVHRlgvJSVzaXplR0Y1LyUrZm9yZWdyb3VuZEdGRC8lK2JhY2tncm91bmRHRkctRiQ2JS1GJDYlLUYkNiUtSSZtZnJhY0dGJTYqLUkjbW5HRiU2OUZncEYwRjNGNi9GOkY4RjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbi9Gam5RJ25vcm1hbEYoRlxvLUZgcjY5USIyRihGMEYzRjZGYnJGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmNyRlxvLyUubGluZXRoaWNrbmVzc0dRIjFGKC8lK2Rlbm9tYWxpZ25HUSdjZW50ZXJGKC8lKW51bWFsaWduR0Zdcy8lKWJldmVsbGVkR0Y4RmJxRmRxLUZfbzYzUTEmSW52aXNpYmxlVGltZXM7RihGYm9GZW9GZ28vRmpvUSQwZW1GKC9GXXBGZnNGXnBGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHEtRiQ2JS1GLTY5USNhMUYoRjBGM0Y2RjlGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmluRlxvRmJzLUkmbXNxcnRHRiU2JUZlckZicUZkcS1GX282M1EoJm1pbnVzO0YoRmJvRmVvRmdvL0Zqb1EwbWVkaXVtbWF0aHNwYWNlRigvRl1wRmR0Rl5wRmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxLUYtNjlRI2EyRihGMEYzRjZGOUY8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GaW5GXG8tRl9vNjNRIj1GKEZib0Zlb0Znb0Zpb0ZccEZecEZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1GYHI2OVEiMEYoRjBGM0Y2RmJyRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZjckZcbzcjLV9GKUksbXByaW50c2xhc2hHRig2JDcjPkkldmFsNEdGKC8sJiooIyIiIiIiI0ZbdkkjYTFHRihGW3YpRlx2Rmp1Rlt2Rlt2SSNhMkdGKCEiIiIiITcjRmd1

NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USV2YWw1RigvJSdmYW1pbHlHUTBUaW1lc35OZXd+Um9tYW5GKC8lJXNpemVHUSMxMkYoLyUlYm9sZEdRJmZhbHNlRigvJSdpdGFsaWNHUSV0cnVlRigvJSp1bmRlcmxpbmVHRjgvJSpzdWJzY3JpcHRHRjgvJSxzdXBlcnNjcmlwdEdGOC8lK2ZvcmVncm91bmRHUSpbMCwwLDI1NV1GKC8lK2JhY2tncm91bmRHUS5bMjU1LDI1NSwyNTVdRigvJSdvcGFxdWVHRjgvJStleGVjdXRhYmxlR0Y4LyUpcmVhZG9ubHlHRjsvJSljb21wb3NlZEdGOC8lKmNvbnZlcnRlZEdGOC8lK2ltc2VsZWN0ZWRHRjgvJSxwbGFjZWhvbGRlckdGOC8lMGZvbnRfc3R5bGVfbmFtZUdRKjJEfk91dHB1dEYoLyUqbWF0aGNvbG9yR0ZELyUvbWF0aGJhY2tncm91bmRHRkcvJStmb250ZmFtaWx5R0YyLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGKC8lKW1hdGhzaXplR0Y1LUkjbW9HRiU2M1EjOj1GKC8lJWZvcm1HUSZpbmZpeEYoLyUmZmVuY2VHRjgvJSpzZXBhcmF0b3JHRjgvJSdsc3BhY2VHUS90aGlja21hdGhzcGFjZUYoLyUncnNwYWNlR0ZbcC8lKXN0cmV0Y2h5R0Y4LyUqc3ltbWV0cmljR0Y4LyUobWF4c2l6ZUdRKWluZmluaXR5RigvJShtaW5zaXplR1EiMUYoLyUobGFyZ2VvcEdGOC8lLm1vdmFibGVsaW1pdHNHRjgvJSdhY2NlbnRHRjgvJTBmb250X3N0eWxlX25hbWVHRlgvJSVzaXplR0Y1LyUrZm9yZWdyb3VuZEdGRC8lK2JhY2tncm91bmRHRkctRiQ2JS1JI21uR0YlNjlRIjBGKEYwRjNGNi9GOkY4RjxGPkZARkJGRUZIRkpGTEZORlB