with(LinearAlgebra): read(`murraymiller.txt`): tt;

LUknTWF0cml4RzYkJSpwcm90ZWN0ZWRHSShfc3lzbGliRzYiNiMvSSQlaWRHRiciNUVUcidmdVN1WSU9

ttF7:=ColumnOperation(RowOperation(tt,[1,7]),[1,7]);

LUknTWF0cml4RzYkJSpwcm90ZWN0ZWRHSShfc3lzbGliRzYiNiMvSSQlaWRHRiciNTFZcidmdVN1WSU9

mmttF7:=murraymiller(ttF7,2);

NyQiIiYtSSdNYXRyaXhHNiQlKnByb3RlY3RlZEdJKF9zeXNsaWJHNiI2Iy9JJCVpZEdGKSI1RSZHT2x1U3VZJT0=

ttF1:=ColumnOperation(RowOperation(tt,[1,2]),[1,2]);

LUknTWF0cml4RzYkJSpwcm90ZWN0ZWRHSShfc3lzbGliRzYiNiMvSSQlaWRHRiciNVkpSE9sdVN1WSU9

mmttF1:=murraymiller(ttF1,2);

NyQiIictSSdNYXRyaXhHNiQlKnByb3RlY3RlZEdJKF9zeXNsaWJHNiI2Iy9JJCVpZEdGKSI1QXUrXVkyV25XPQ==

mmrec(mmttF1[2][1..6,1..6],2,g);

LC4qKkkieEc2IiIiJCwqKiZJInFHRiUiIiNGJCIiIkYrKiRGKUYqISIiKiRGJEYqRi1GJEYrRitGKSEjOC1JImdHRiU2I0YkRitGKyoqRiRGJiwuKiRGKSIiJkYrKiZGKUYmRiRGK0YtKiRGKUYmRitGLEYrKiZGKUYrRiRGK0YtRiRGLUYrRikhIzstRjE2IyomRiRGK0YpISIjRitGLSoqRiRGKiwsKiRGKSIiKEYrRjVGLSokRikiIiVGK0YoRi1GJEYtRitGKUY6LUYxNiMqJkYkRitGKSEiJUYrRisqKkYkRissLCokRikiIidGK0Y1RitGQ0YtRihGK0YkRitGK0YpISM2LUYxNiMqJkYkRitGKSEiJ0YrRi0qKCwqKiRGKSIiKUYrRjdGK0YoRitGJEYrRitGKSEiKS1GMTYjKiZGJEYrRilGVkYrRistRjE2IyomRiRGK0YpISM1Ri0=

ttF5:=ColumnOperation(RowOperation(tt,[1,6]),[1,6]);

LUknTWF0cml4RzYkJSpwcm90ZWN0ZWRHSShfc3lzbGliRzYiNiMvSSQlaWRHRiciNXEjKSoqXFkyV25XPQ==

mmttF5:=murraymiller(ttF5,2);

NyQiIictSSdNYXRyaXhHNiQlKnByb3RlY3RlZEdJKF9zeXNsaWJHNiI2Iy9JJCVpZEdGKSI1bUJbWlkyV25XPQ==

mmrec(mmttF5[2][1..6,1..6],2,g);

LC4qKkkieEc2IiIiJCwqKiZJInFHRiUiIiNGJCIiIkYrKiRGKUYqISIiKiRGJEYqRi1GJEYrRitGKSEjPi1JImdHRiU2I0YkRitGKyoqRiRGJiwuKiRGKSIiJUYrKiRGKUYmRitGKEYtRixGKyomRilGK0YkRitGLUYkRi1GK0YpISNALUYxNiMqJkYkRitGKSEiI0YrRi0qKiwwKiRGKSIiKkYrKiRGKSIiKEYtKiZGKSIiJkYkRitGK0Y1RitGKEYtRjhGLUYkRi1GK0YkRipGKSEjPy1GMTYjKiZGJEYrRikhIiVGK0YrKipGJEYrLDAqJEYpIiM1RitGQEYrRkJGLUZERisqJkYpRjZGJEYrRisqJkYpRiZGJEYrRitGJEYtRitGKSEjOy1GMTYjKiZGJEYrRikhIidGK0YtKigsKiokRikiIilGK0YoRitGOEYrRiRGK0YrRikhIiktRjE2IyomRiRGK0YpRlpGK0YrLUYxNiMqJkYkRitGKSEjNUYt

TTdSMApJQVJUQUJMRV9TQVZFLzE4NDQ2NzQ0MDc0NTk2NzE0MTI2WCwlKWFueXRoaW5nRzYiRiVbZ2whIiUhISEjUiIoIigiIiIiIiFGJ0YnRidGJkYmKiYlInhHRiYlInFHIiIjRihGJ0YoRidGKEYoKiZGKUYrRioiIiVGJ0YnRidGJ0YsRiwqJkYpRiZGKkYmRidGJ0YuRidGLkYnKiZGKUYrRipGK0YnRidGJ0YoRidGJ0YnRiZGJ0YmRidGJ0YnRidGJ0YmRidGJkYnRidGJQ==TTdSMApJQVJUQUJMRV9TQVZFLzE4NDQ2NzQ0MDc0NTk2NzE0NjA2WCwlKWFueXRoaW5nRzYiRiVbZ2whIiUhISEjUiIoIigiIiFGJiIiIkYmRidGJkYmKiYlInhHRiclInFHIiIjRihGJkYoRiZGKEYoKiZGKUYrRioiIiVGJkYmRiZGJkYsRixGJkYmRiYqJkYpRidGKkYnRiZGLkYuRiZGJkYmRiZGKEYmKiZGKUYrRipGK0YmRidGJkYnRiZGJkYmRidGJkYmRiZGJkYnRidGJQ==TTdSMApJQVJUQUJMRV9TQVZFLzE4NDQ2NzQ0MDc0NjUzNjI4NTI2WCwlKWFueXRoaW5nRzYiRiVbZ2whIiUhISEjUiIoIigiIiEqJCUieEciIiMsJCooRihGKSwmRigiIiIhIiJGLUYtJSJxRyEiI0YuLCQqJkYoRilGLyEiJEYuLCQqJkYoIiIkRi8hIihGLkYmRiZGLSwmRihGLUYtRi0qJkYoRi1GL0YuLCQqKEYoRi16JzYkRi9GKFtbW1tbX1tbW1tzRi1cW1tbW1tbW1tbb0YuRi1GLyEiJUYuRiZGLUYtRiZGLSokRi9GLiwkKiZGPEYtRi9GPkYuRiZGJkYmRiZGJkYtLCQqJkYvRjNGPEYtRi5GJiomRi9GLUYsRi5GREYmRiZGJkYtKiZGKEYtRi9GPiwkKihGKEYuRi9GNkYsRi5GLiwkKiZGL0Y2RixGLkYuRiZGJkYmRiZGJkYmRiZGJkYmRiZGJkYmRiZGJkYlTTdSMApJQVJUQUJMRV9TQVZFLzE4NDQ2NzQ0MDc0NjUzNjI5ODQ2WCwlKWFueXRoaW5nRzYiRiVbZ2whIiUhISEjUiIoIigqJiUieEciIiIlInFHIiIjRiYiIiFGJkYrRiZGJkYrRihGK0YrRitGKEYoRisqJkYnRipGKSIiJUYrRitGK0YsRixGKyomRidGKEYpRihGK0YuRitGLkYrRisqJkYnRipGKUYqRitGK0YmRitGK0YoRitGK0YoRitGK0YrRitGK0YoRitGKEYrRitGJQ==TTdSMApJQVJUQUJMRV9TQVZFLzE4NDQ2NzQ0MDc0NjUwMDA3NDIyWCwlKWFueXRoaW5nRzYiRiVbZ2whIiUhISEjUiIoIigqJiUieEciIiIlInFHIiIjRiZ6JzYkRilGJ1xbW1tbX1tbW1t3RihdW1tbW11bW1tbd0YoLCQqJkYpISIjRiciIiRGKiomRidGMEYpISIlLCQqKEYnRjB6J0YsW1tbW1tfW1tbW3NGKFxbW1tbW1tbW1tvISIiRihGKSEiKkY2RiZGKCIiISomRidGKEYpRjYqJkYnRipGKUYyRjhGOEY4RjhGKEYoRjoqJkYnRipGKSEiJywkKihGJ0YqRjVGKEYpISM2RjZGKEY4RjhGKEY4LCQqJkYnRihGKSEiJkY2KihGJ0YoRjVGKEYpISM1RjhGOEY4RjhGKComLCZGKUYoRidGKEYoRilGMiwkKiZGNUYoRikhIilGNiomRidGNkYpRipGOEY4RjhGOEYoLCQqJkYpRkJGNUYoRjYsJCooRidGNkYpIiImLCZGJ0YoRjZGKEY2RjZGOEY4RjhGOEY4RjhGOEYlTTdSMApJQVJUQUJMRV9TQVZFLzE4NDQ2NzQ0MDc0NjQ5OTk4MjcwWCwlKWFueXRoaW5nRzYiRiVbZ2whIiUhISEjUiIoIigiIiEiIiJGJkYnRiZGJkYmKiYlInhHRiclInFHIiIjRihGJkYoRiZGKEYoKiZGKUYrRioiIiVGJkYmRiZGJkYsRiwqJkYpRidGKkYnRiZGJkYuRiZGLkYmRiZGJkYmRiZGKComRilGK0YqRitGJkYnRiZGJkYmRiZGJ0YnRiZGJkYnRiZGJ0YmRiZGJQ==TTdSMApJQVJUQUJMRV9TQVZFLzE4NDQ2NzQ0MDc0NjQ3NDgyMzY2WCwlKWFueXRoaW5nRzYiRiVbZ2whIiUhISEjUiIoIigiIiEqKCUieEciIiIlInFHISIiLCZGKkYpRilGKUYpLCQqJkYoIiIjRiohIiRGKywkKipGKCIiJEYqISIqeik2I0YqI0YpIkYpIUYpRilGLEYrRitGJkYmRiZGKSomRipGK3opNiRGKkYoXFtbW1tdW1tbW3NGKVtbW1tbXVtbW1tvRilcW1tbW1tbW1tbb0YpRiksJCooRihGKXorRjlbW1tbW19bW1tbc0YpXFtbW1tdW1tbW3NGKVtbW1tbXVtbW1tvRilcW1tbW1tbW1tbb0YrRilGKiEiJUYrKipGKEYvei1GOVtbW1tbY1tbW1tbbEYpW1tbW1thW1tbW3dGKVxbW1tbX1tbW1t3ISIjXFtbW1tdW1tbW3NGQFxbW1tbW1tbW1tvRkBGKUYqRjRGLEYrLCQqKkYoRi96LUY5W1tbW1tjW1tbW1tsRilbW1tbW2FbW1tbd0YpXFtbW1tfW1tbW3dGK1xbW1tbXVtbW1tzRitcW1tbW1tbW1tbb0YrRilGKiEjNkY1RitGKyooRihGM3onRjlbW1tbW19bW1tbc0YpXFtbW1tbW1tbW29GK0YpRiohIzxGKUYmRiksJCooRihGKUYqRkBGLEYrRissJCoqRihGL0YqISIpRjVGKUYsRkBGK0YmRiZGJkYmRiZGKSoqRiohIiZ6L0Y5W1tbW1tlW1tbW19sRilbW1tbW2NbW1tbW2xGL1tbW1tbYVtbW1t3RilcW1tbW19bW1tbd0YrXFtbW1tdW1tbW3NGK1xbW1tbW1tbW1tvRitGKUY1RitGLEYrLCQqKkZDRilGLEYpRiohIihGNUZARisqLEZGRilGKEYpRixGKUYqISM4RjVGK0YmRiZGJkYmRiksJCooRipGTnovRjlbW1tbW2NbW1tbW2xGKVxbW1tbYVtbW1tbbEYrW1tbW1thW1tbW3dGKVxbW1tbX1tbW1t3RkBcW1tbW11bW1tbc0ZAXFtbW1tbW1tbW29GK0YpRjVGK0YrKihGKEYpRkZGKUYqRkQqKEYoRitGKiIiJkY1RilGJkYmRiZGJkYpRiYqKkYoRkB6LUY5XFtbW1tfW1tbW3dGKVtbW1tbX1tbW1tzRitcW1tbW11bW1tbc0YpW1tbW1tdW1tbW29GK1xbW1tbW1tbW1tvRilGKSwmRihGKUYrRilGK0YqIiIqRiZGJkYmRiZGJkYmRiZGJQ==