restart:F:=1/(1+(1-s)*(1+p^2*(1-p)^2*s^4)/p^3/(1-p)^2/s^5): # for SFFSS
solve({F0=p*s*F1+(1-p)*s*F0,
F1=p*s*F1+(1-p)*s*F2,
F2=p*s*F1+(1-p)*s*F3,
F3=p*s*F4+(1-p)*s*F0,
F4=p*s+(1-p)*s*F2},{F0,F1,F2,F3,F4}):
assign(%):
simplify(F0-F); # just checking
LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYtLUkjbWlHRiQ2JVEicEYnLyUnaXRhbGljR1EldHJ1ZUYnLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGJy1JI21vR0YkNi1RKiZjb2xvbmVxO0YnL0YzUSdub3JtYWxGJy8lJmZlbmNlR1EmZmFsc2VGJy8lKnNlcGFyYXRvckdGPS8lKXN0cmV0Y2h5R0Y9LyUqc3ltbWV0cmljR0Y9LyUobGFyZ2VvcEdGPS8lLm1vdmFibGVsaW1pdHNHRj0vJSdhY2NlbnRHRj0vJSdsc3BhY2VHUSwwLjI3Nzc3NzhlbUYnLyUncnNwYWNlR0ZMLUkmbWZyYWNHRiQ2KC1JI21uR0YkNiRRIjFGJ0Y5LUYjNiUtRlM2JFEiMkYnRjlGL0YyLyUubGluZXRoaWNrbmVzc0dGVS8lK2Rlbm9tYWxpZ25HUSdjZW50ZXJGJy8lKW51bWFsaWduR0Zpbi8lKWJldmVsbGVkR0Y9LUY2Ni1RIjpGJ0Y5RjtGPkZARkJGREZGRkhGSkZNLUY2Ni1RIn5GJ0Y5RjtGPkZARkJGREZGRkgvRktRJjAuMGVtRicvRk5GZW9GYW9GYW8tRjY2LVEiI0YnRjlGO0Y+RkBGQkZERkZGSEZkb0Zmby1GLDYlUS5mbGlwcGluZ35jb2luRidGL0YyLyUrZXhlY3V0YWJsZUdGPUY5
LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYmLUkjbW9HRiQ2LVEiI0YnLyUsbWF0aHZhcmlhbnRHUSdub3JtYWxGJy8lJmZlbmNlR1EmZmFsc2VGJy8lKnNlcGFyYXRvckdGNC8lKXN0cmV0Y2h5R0Y0LyUqc3ltbWV0cmljR0Y0LyUobGFyZ2VvcEdGNC8lLm1vdmFibGVsaW1pdHNHRjQvJSdhY2NlbnRHRjQvJSdsc3BhY2VHUSYwLjBlbUYnLyUncnNwYWNlR0ZDLUkjbWlHRiQ2JVFfb35+bm90fmFsbG93aW5nfm92ZXJsYXAsfn5+bnVtYmVyfm9mfmZsaXBzfnRvfmdlbmVyYXRlfjZ+c3VjaH5wYXR0ZXJuRicvJSdpdGFsaWNHUSV0cnVlRicvRjBRJ2l0YWxpY0YnLyUrZXhlY3V0YWJsZUdGNEYv
LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzY6LUkjbWlHRiQ2JVEnJiM5NTY7RicvJSdpdGFsaWNHUSZmYWxzZUYnLyUsbWF0aHZhcmlhbnRHUSdub3JtYWxGJy1JI21vR0YkNi1RKiZjb2xvbmVxO0YnRjIvJSZmZW5jZUdGMS8lKnNlcGFyYXRvckdGMS8lKXN0cmV0Y2h5R0YxLyUqc3ltbWV0cmljR0YxLyUobGFyZ2VvcEdGMS8lLm1vdmFibGVsaW1pdHNHRjEvJSdhY2NlbnRHRjEvJSdsc3BhY2VHUSwwLjI3Nzc3NzhlbUYnLyUncnNwYWNlR0ZJLUYsNiVRJWV2YWxGJy9GMFEldHJ1ZUYnL0YzUSdpdGFsaWNGJy1JKG1mZW5jZWRHRiQ2JC1GIzYqLUYsNiVRJWRpZmZGJ0ZPRlEtRlQ2JC1GIzYnLUYsNiVRIkZGJ0ZPRlEtRjY2LVEiLEYnRjJGOS9GPEZQRj1GP0ZBRkNGRS9GSFEmMC4wZW1GJy9GS1EsMC4zMzMzMzMzZW1GJy1GLDYlUSJzRidGT0ZRLyUrZXhlY3V0YWJsZUdGMUYyRjJGXG9GZG8tRjY2LVEiPUYnRjJGOUY7Rj1GP0ZBRkNGRUZHRkotSSNtbkdGJDYkUSIxRidGMkZnb0YyRjItRjY2LVEiOkYnRjJGOUY7Rj1GP0ZBRkNGRUZHRkotRjY2LVEifkYnRjJGOUY7Rj1GP0ZBRkNGRUZgby9GS0Zhb0ZjcEZjcC1GXXA2JFEiNkYnRjItRjY2LVEnJnNkb3Q7RidGMkY5RjtGPUY/RkFGQ0ZFRmBvRmZwRistRjY2LVEiO0YnRjJGOUZfb0Y9Rj9GQUZDRkVGYG9GSkZjcEZjcEZjcEZjcEZjcEZjcEZjcEZjcC1GNjYtUSIjRidGMkY5RjtGPUY/RkFGQ0ZFRmBvRmZwLUYsNiVRMn5+bWVhbn4jfm9mfmZsaXBzRidGT0ZRRmdvRjI=
LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzY5LUkjbWlHRiQ2I1EhRidGKy1GLDYlUSJWRicvJSdpdGFsaWNHUSV0cnVlRicvJSxtYXRodmFyaWFudEdRJ2l0YWxpY0YnLUkjbW9HRiQ2LVEqJmNvbG9uZXE7RicvRjZRJ25vcm1hbEYnLyUmZmVuY2VHUSZmYWxzZUYnLyUqc2VwYXJhdG9yR0ZALyUpc3RyZXRjaHlHRkAvJSpzeW1tZXRyaWNHRkAvJShsYXJnZW9wR0ZALyUubW92YWJsZWxpbWl0c0dGQC8lJ2FjY2VudEdGQC8lJ2xzcGFjZUdRLDAuMjc3Nzc3OGVtRicvJSdyc3BhY2VHRk8tRiw2JVElZXZhbEYnRjJGNS1JKG1mZW5jZWRHRiQ2JC1GIzYpLUYsNiVRJWRpZmZGJ0YyRjUtRlY2JC1GIzYoLUYsNiVRIkZGJ0YyRjUtRjk2LVEiLEYnRjxGPi9GQkY0RkNGRUZHRklGSy9GTlEmMC4wZW1GJy9GUVEsMC4zMzMzMzMzZW1GJy1GLDYlUSJzRidGMkY1Rl5vRmZvRjxGPEZeb0Zmby1GOTYtUSI9RidGPEY+RkFGQ0ZFRkdGSUZLRk1GUC1JI21uR0YkNiRRIjFGJ0Y8RjxGPC1GOTYtUSIrRidGPEY+RkFGQ0ZFRkdGSUZLL0ZOUSwwLjIyMjIyMjJlbUYnL0ZRRmRwLUYsNiVRJyYjOTU2O0YnL0YzRkBGPC1GOTYtUSgmbWludXM7RidGPEY+RkFGQ0ZFRkdGSUZLRmNwRmVwLUklbXN1cEdGJDYlRmZwLUYjNiUtRl1wNiRRIjJGJ0Y8RjJGNS8lMXN1cGVyc2NyaXB0c2hpZnRHUSIwRictRjk2LVEiOkYnRjxGPkZBRkNGRUZHRklGS0ZNRlAtRjk2LVEifkYnRjxGPkZBRkNGRUZHRklGS0Ziby9GUUZjb0ZbckZbci1JJm1zcXJ0R0YkNiMtRiM2Ji1GXXA2JFEjNi5GJ0Y8LUY5Ni1RJyZzZG90O0YnRjxGPkZBRkNGRUZHRklGS0Zib0ZeckYvRjwtRjk2LVEiO0YnRjxGPkZhb0ZDRkVGR0ZJRktGYm9GUEZbckZbckZbci1GOTYtUSIjRidGPEY+RkFGQ0ZFRkdGSUZLRmJvRl5yLUYsNiVRQn5jb3JyZXNwb25kaW5nfnN0YW5kYXJkfmRldmlhdGlvbkYnRjJGNS8lK2V4ZWN1dGFibGVHRkBGPA==
LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzY0LUkjbWlHRiQ2JVEkYXV4RicvJSdpdGFsaWNHUSV0cnVlRicvJSxtYXRodmFyaWFudEdRJ2l0YWxpY0YnLUkjbW9HRiQ2LVEqJmNvbG9uZXE7RicvRjNRJ25vcm1hbEYnLyUmZmVuY2VHUSZmYWxzZUYnLyUqc2VwYXJhdG9yR0Y9LyUpc3RyZXRjaHlHRj0vJSpzeW1tZXRyaWNHRj0vJShsYXJnZW9wR0Y9LyUubW92YWJsZWxpbWl0c0dGPS8lJ2FjY2VudEdGPS8lJ2xzcGFjZUdRLDAuMjc3Nzc3OGVtRicvJSdyc3BhY2VHRkwtRiw2JVEndGF5bG9yRidGL0YyLUkobWZlbmNlZEdGJDYkLUYjNiwtSSNtbkdGJDYkUSMxLkYnRjktRjY2LVEnJnNkb3Q7RidGOUY7Rj5GQEZCRkRGRkZIL0ZLUSYwLjBlbUYnL0ZORmluLUY2Ni1RIn5GJ0Y5RjtGPkZARkJGREZGRkhGaG5Gam4tSSVtc3VwR0YkNiUtRiw2JVEiRkYnRi9GMi1GIzYlLUZYNiRRIjZGJ0Y5Ri9GMi8lMXN1cGVyc2NyaXB0c2hpZnRHUSIwRictRjY2LVEiLEYnRjlGOy9GP0YxRkBGQkZERkZGSEZobi9GTlEsMC4zMzMzMzMzZW1GJy1GLDYlUSJzRidGL0YyRlxwLUZYNiRRJDIwMUYnRjkvJStleGVjdXRhYmxlR0Y9RjlGOS1GNjYtUSI6RidGOUY7Rj5GQEZCRkRGRkZIRkpGTUZbb0Zbb0Zbby1GLDYlUSRhZGRGJ0YvRjItRlM2JC1GIzYtRltvLUYsNiVRJmNvZWZmRidGL0YyLUZTNiQtRiM2KUYrRlxwRmJwRlxwLUYsNiVRImlGJ0YvRjJGaHBGOUY5RlxwRltyLUY2Ni1RIj1GJ0Y5RjtGPkZARkJGREZGRkhGSkZNLUZYNiRGW3BGOS1GNjYtUSMuLkYnRjlGO0Y+RkBGQkZERkZGSC9GS1EsMC4yMjIyMjIyZW1GJ0Zqbi1GWDYkUSQxOTlGJ0Y5RmhwRjlGOS1GNjYtUSI7RidGOUY7Rl9wRkBGQkZERkZGSEZobkZNRltvRltvRltvLUY2Ni1RIiNGJ0Y5RjtGPkZARkJGREZGRkhGaG5Gam4tRiw2JVFkb35+cHJvYi5+aXR+d2lsbH50YWtlfmZld2VyfnRoYW5+MjAwfmZsaXBzfnRvfmdldH4oYXR+bGVhc3QpfjZ+b2NjdXJyZW5jZXNGJ0YvRjJGaHBGOQ==
LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzY3LUkjbWlHRiQ2JVEkYXV4RicvJSdpdGFsaWNHUSV0cnVlRicvJSxtYXRodmFyaWFudEdRJ2l0YWxpY0YnLUkjbW9HRiQ2LVEqJmNvbG9uZXE7RicvRjNRJ25vcm1hbEYnLyUmZmVuY2VHUSZmYWxzZUYnLyUqc2VwYXJhdG9yR0Y9LyUpc3RyZXRjaHlHRj0vJSpzeW1tZXRyaWNHRj0vJShsYXJnZW9wR0Y9LyUubW92YWJsZWxpbWl0c0dGPS8lJ2FjY2VudEdGPS8lJ2xzcGFjZUdRLDAuMjc3Nzc3OGVtRicvJSdyc3BhY2VHRkwtRiw2JVEndGF5bG9yRidGL0YyLUkobWZlbmNlZEdGJDYkLUYjNistSSNtbkdGJDYkUSMxLkYnRjktRjY2LVEnJnNkb3Q7RidGOUY7Rj5GQEZCRkRGRkZIL0ZLUSYwLjBlbUYnL0ZORmluLUY2Ni1RIn5GJ0Y5RjtGPkZARkJGREZGRkhGaG5Gam4tSSZtZnJhY0dGJDYoLUYjNiQtSSVtc3VwR0YkNiUtRiw2JVEiRkYnRi9GMi1GIzYkLUZYNiRRIjZGJ0Y5RjkvJTFzdXBlcnNjcmlwdHNoaWZ0R1EiMEYnRjktRiM2Jy1GWDYkUSIxRidGOS1GNjYtUSgmbWludXM7RidGOUY7Rj5GQEZCRkRGRkZIL0ZLUSwwLjIyMjIyMjJlbUYnL0ZORmpwLUYsNiVRInNGJ0YvRjJGL0YyLyUubGluZXRoaWNrbmVzc0dGZXAvJStkZW5vbWFsaWduR1EnY2VudGVyRicvJSludW1hbGlnbkdGY3EvJSliZXZlbGxlZEdGPS1GNjYtUSIsRidGOUY7L0Y/RjFGQEZCRkRGRkZIRmhuL0ZOUSwwLjMzMzMzMzNlbUYnRlxxRmhxLUZYNiRRJDIwMUYnRjlGOUY5LUY2Ni1RIjpGJ0Y5RjtGPkZARkJGREZGRkhGSkZNRltvRltvRltvLUYsNiVRJmNvZWZmRidGL0YyLUZTNiQtRiM2KUYrRmhxRlxxRmhxLUZYNiRRJDE5OUYnRjkvJStleGVjdXRhYmxlR0Y9RjlGOS1GNjYtUSI7RidGOUY7RltyRkBGQkZERkZGSEZobkZNRltvRltvRltvRltvRltvRltvLUY2Ni1RIiNGJ0Y5RjtGPkZARkJGREZGRkhGaG5Gam4tRiw2JVFFfn5+c2FtZX5wcm9iYWJpbGl0eX5tb3JlfmVmZmljaWVudGx5RidGL0YyRl5zRjk=
LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzY9LUkjbWlHRiQ2JVEkYXV4RicvJSdpdGFsaWNHUSV0cnVlRicvJSxtYXRodmFyaWFudEdRJ2l0YWxpY0YnLUkjbW9HRiQ2LVEqJmNvbG9uZXE7RicvRjNRJ25vcm1hbEYnLyUmZmVuY2VHUSZmYWxzZUYnLyUqc2VwYXJhdG9yR0Y9LyUpc3RyZXRjaHlHRj0vJSpzeW1tZXRyaWNHRj0vJShsYXJnZW9wR0Y9LyUubW92YWJsZWxpbWl0c0dGPS8lJ2FjY2VudEdGPS8lJ2xzcGFjZUdRLDAuMjc3Nzc3OGVtRicvJSdyc3BhY2VHRkwtRiw2JVEndGF5bG9yRidGL0YyLUkobWZlbmNlZEdGJDYkLUYjNistSSZtZnJhY0dGJDYoLUYjNictSSNtbkdGJDYkUSMxLkYnRjktRjY2LVEoJm1pbnVzO0YnRjlGO0Y+RkBGQkZERkZGSC9GS1EsMC4yMjIyMjIyZW1GJy9GTkZeby1GLDYlUSJGRidGL0YyLyUrZXhlY3V0YWJsZUdGPUY5LUYjNictRmduNiRRIjFGJ0Y5RmpuLUYsNiVRInNGJ0YvRjJGL0YyLyUubGluZXRoaWNrbmVzc0dGaW8vJStkZW5vbWFsaWduR1EnY2VudGVyRicvJSludW1hbGlnbkdGYXAvJSliZXZlbGxlZEdGPS1GNjYtUScmc2RvdDtGJ0Y5RjtGPkZARkJGREZGRkgvRktRJjAuMGVtRicvRk5GanAtSSVtc3VwR0YkNiVGYG8tRiM2JS1GZ242JFEiNkYnRjlGL0YyLyUxc3VwZXJzY3JpcHRzaGlmdEdRIjBGJy1GNjYtUSIsRidGOUY7L0Y/RjFGQEZCRkRGRkZIRmlwL0ZOUSwwLjMzMzMzMzNlbUYnRmpvRmdxLUZnbjYkUSQyMDFGJ0Y5RmNvRjlGOS1GNjYtUSI6RidGOUY7Rj5GQEZCRkRGRkZIRkpGTS1GNjYtUSJ+RidGOUY7Rj5GQEZCRkRGRkZIRmlwRltxRmNyRmNyRmNyRmNyLUYsNiVRJmNvZWZmRidGL0YyLUZTNiQtRiM2KUYrRmdxRmpvRmdxLUZnbjYkUSQyMDBGJ0Y5RmNvRjlGOS1GNjYtUSI7RidGOUY7RmpxRkBGQkZERkZGSEZpcEZNRmNyRmNyRmNyRmNyRmNyRmNyRmNyRmNyRmNyRmNyLUY2Ni1RIiNGJ0Y5RjtGPkZARkJGREZGRkhGaXBGW3EtRiw2JVFLfnByb2J+b2Z+ZXhhY3RseX42fm9jY3VyZW5jZXN+aW5+MjAwfmZsaXBzRidGL0YyRmNvRjk=
LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzY/LUkjbWlHRiQ2JVEkYXV4RicvJSdpdGFsaWNHUSV0cnVlRicvJSxtYXRodmFyaWFudEdRJ2l0YWxpY0YnLUkjbW9HRiQ2LVEqJmNvbG9uZXE7RicvRjNRJ25vcm1hbEYnLyUmZmVuY2VHUSZmYWxzZUYnLyUqc2VwYXJhdG9yR0Y9LyUpc3RyZXRjaHlHRj0vJSpzeW1tZXRyaWNHRj0vJShsYXJnZW9wR0Y9LyUubW92YWJsZWxpbWl0c0dGPS8lJ2FjY2VudEdGPS8lJ2xzcGFjZUdRLDAuMjc3Nzc3OGVtRicvJSdyc3BhY2VHRkwtRiw2JVEndGF5bG9yRidGL0YyLUkobWZlbmNlZEdGJDYkLUYjNiotSSZtZnJhY0dGJDYoLUYjNiQtSSNtbkdGJDYkUSMxLkYnRjlGOS1GIzYmLUZnbjYkUSIxRidGOS1GNjYtUSgmbWludXM7RidGOUY7Rj5GQEZCRkRGRkZIL0ZLUSwwLjIyMjIyMjJlbUYnL0ZORmNvLUYsNiVRInNGJ0YvRjJGOS8lLmxpbmV0aGlja25lc3NHRl5vLyUrZGVub21hbGlnbkdRJ2NlbnRlckYnLyUpbnVtYWxpZ25HRlxwLyUpYmV2ZWxsZWRHRj0tRjY2LVEnJnNkb3Q7RidGOUY7Rj5GQEZCRkRGRkZIL0ZLUSYwLjBlbUYnL0ZORmVwLUZYNigtRiM2JC1JJW1zdXBHRiQ2JS1GLDYlUSJGRidGL0YyLUYjNiQtRiw2I1EhRidGOS8lMXN1cGVyc2NyaXB0c2hpZnRHUSIwRidGOS1GIzYnRlxvRl9vRl5xRi9GMkZob0Zqb0ZdcEZfcC1GNjYtUSIsRidGOUY7L0Y/RjFGQEZCRkRGRkZIRmRwL0ZOUSwwLjMzMzMzMzNlbUYnRmVvRltyLUZnbjYkUSQyMDFGJ0Y5RjlGOS1GNjYtUSI6RidGOUY7Rj5GQEZCRkRGRkZIRkpGTS1GNjYtUSJ+RidGOUY7Rj5GQEZCRkRGRkZIRmRwRmZwRmdyRmdyRmdyLUYsNiVRIk1GJ0YvRjJGNUZnci1GLDYlUSZjb2VmZkYnRi9GMi1GUzYkLUYjNihGK0ZbckZlb0Zbci1GZ242JFEkMjAwRidGOUY5RjktRjY2LVEiO0YnRjlGO0ZeckZARkJGREZGRkhGZHBGTUZnckZnckZnckZnckZnckZnckZnckZnckZnckZnci1GNjYtUSIjRidGOUY7Rj5GQEZCRkRGRkZIRmRwRmZwLUYsNiVRQ35tZWFufiN+b2Z+b2NjdXJlbmNlc35pbn4yMDB+ZmxpcHNGJ0YvRjIvJStleGVjdXRhYmxlR0Y9Rjk=
LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzY7LUkjbWlHRiQ2JVEkYXV4RicvJSdpdGFsaWNHUSV0cnVlRicvJSxtYXRodmFyaWFudEdRJ2l0YWxpY0YnLUkjbW9HRiQ2LVEqJmNvbG9uZXE7RicvRjNRJ25vcm1hbEYnLyUmZmVuY2VHUSZmYWxzZUYnLyUqc2VwYXJhdG9yR0Y9LyUpc3RyZXRjaHlHRj0vJSpzeW1tZXRyaWNHRj0vJShsYXJnZW9wR0Y9LyUubW92YWJsZWxpbWl0c0dGPS8lJ2FjY2VudEdGPS8lJ2xzcGFjZUdRLDAuMjc3Nzc3OGVtRicvJSdyc3BhY2VHRkwtRiw2JVEndGF5bG9yRidGL0YyLUkobWZlbmNlZEdGJDYkLUYjNiotSSZtZnJhY0dGJDYoLUYjNiQtRiw2JVEiRkYnRi9GMkY5LUYjNiYtSSNtbkdGJDYkUSIxRidGOS1GNjYtUSgmbWludXM7RidGOUY7Rj5GQEZCRkRGRkZIL0ZLUSwwLjIyMjIyMjJlbUYnL0ZORmNvLUYsNiVRInNGJ0YvRjJGOS8lLmxpbmV0aGlja25lc3NHRl5vLyUrZGVub21hbGlnbkdRJ2NlbnRlckYnLyUpbnVtYWxpZ25HRlxwLyUpYmV2ZWxsZWRHRj0tRjY2LVEnJnNkb3Q7RidGOUY7Rj5GQEZCRkRGRkZIL0ZLUSYwLjBlbUYnL0ZORmVwLUZYNigtRiM2Jy1GXG82JFEjMS5GJ0Y5LUY2Ni1RIitGJ0Y5RjtGPkZARkJGREZGRkhGYm9GZG8tRjY2LVEifkYnRjlGO0Y+RkBGQkZERkZGSEZkcEZmcEZmbkY5LUYjNiQtSSVtc3VwR0YkNiUtRlM2JC1GIzYmRltvRl9vRmZuRjlGOS1GIzYlLUZcbzYkUSIyRidGOUYvRjIvJTFzdXBlcnNjcmlwdHNoaWZ0R1EiMEYnRjlGaG9Gam9GXXBGX3AtRjY2LVEiLEYnRjlGOy9GP0YxRkBGQkZERkZGSEZkcC9GTlEsMC4zMzMzMzMzZW1GJ0Zlb0Zlci1GXG82JFEkMjAxRidGOUY5RjktRjY2LVEiOkYnRjlGO0Y+RkBGQkZERkZGSEZKRk1GYXFGYXFGYXFGYXEtRiM2JS1GLDYjUSFGJy1JJm1zcXJ0R0YkNiMtRiM2KEZhcS1GLDYlUSZjb2VmZkYnRi9GMi1GUzYkLUYjNihGK0ZlckZlb0Zlci1GXG82JFEkMjAwRidGOUY5RjlGX28tRmdxNiUtRiw2JVEiTUYnRi9GMkZdckZickY5RjktRjY2LVEiO0YnRjlGO0ZockZARkJGREZGRkhGZHBGTUZhcUZhcUZhcUZhcUZhcUZhcUZhcUZhcUZhcUZhcS1GNjYtUSIjRidGOUY7Rj5GQEZCRkRGRkZIRmRwRmZwLUYsNiVRNH5zdGFuZGFyZH5kZXZpYXRpb25GJ0YvRjIvJStleGVjdXRhYmxlR0Y9Rjk=
LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYmLUkjbW9HRiQ2LVEiI0YnLyUsbWF0aHZhcmlhbnRHUSdub3JtYWxGJy8lJmZlbmNlR1EmZmFsc2VGJy8lKnNlcGFyYXRvckdGNC8lKXN0cmV0Y2h5R0Y0LyUqc3ltbWV0cmljR0Y0LyUobGFyZ2VvcEdGNC8lLm1vdmFibGVsaW1pdHNHRjQvJSdhY2NlbnRHRjQvJSdsc3BhY2VHUSYwLjBlbUYnLyUncnNwYWNlR0ZDLUkjbWlHRiQ2JVEzfn5hbGxvd2luZ35vdmVybGFwRicvJSdpdGFsaWNHUSV0cnVlRicvRjBRJ2l0YWxpY0YnLyUrZXhlY3V0YWJsZUdGNEYv
LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzY9LUkjbWlHRiQ2JVEoJiM5NTY7MUYnLyUnaXRhbGljR1EldHJ1ZUYnLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGJy1JI21vR0YkNi1RKiZjb2xvbmVxO0YnL0YzUSdub3JtYWxGJy8lJmZlbmNlR1EmZmFsc2VGJy8lKnNlcGFyYXRvckdGPS8lKXN0cmV0Y2h5R0Y9LyUqc3ltbWV0cmljR0Y9LyUobGFyZ2VvcEdGPS8lLm1vdmFibGVsaW1pdHNHRj0vJSdhY2NlbnRHRj0vJSdsc3BhY2VHUSwwLjI3Nzc3NzhlbUYnLyUncnNwYWNlR0ZMLUYsNiVRJWV2YWxGJ0YvRjItSShtZmVuY2VkR0YkNiQtRiM2KS1GLDYlUSVkaWZmRidGL0YyLUZTNiQtRiM2Ji1GLDYlUSNGMUYnRi9GMi1GNjYtUSIsRidGOUY7L0Y/RjFGQEZCRkRGRkZIL0ZLUSYwLjBlbUYnL0ZOUSwwLjMzMzMzMzNlbUYnLUYsNiVRInNGJ0YvRjJGOUY5RltvRmNvLUY2Ni1RIj1GJ0Y5RjtGPkZARkJGREZGRkhGSkZNLUkjbW5HRiQ2JFEiMUYnRjlGOUY5LUY2Ni1RIjpGJ0Y5RjtGPkZARkJGREZGRkhGSkZNLUY2Ni1RIn5GJ0Y5RjtGPkZARkJGREZGRkhGX28vRk5GYG9GYHBGYHBGYHAtRiw2JVEnJiM5NTY7RicvRjBGPUY5LUY2Ni1RIitGJ0Y5RjtGPkZARkJGREZGRkgvRktRLDAuMjIyMjIyMmVtRicvRk5GXHEtRmpvNiRRIjVGJ0Y5LUY2Ni1RJyZzZG90O0YnRjlGO0Y+RkBGQkZERkZGSEZfb0ZjcEYrLUY2Ni1RIjtGJ0Y5RjtGXm9GQEZCRkRGRkZIRl9vRk1GYHBGYHBGYHBGYHBGYHBGYHBGYHBGYHAtRjY2LVEiI0YnRjlGO0Y+RkBGQkZERkZGSEZfb0ZjcC1GLDYlUTJ+fm1lYW5+I35vZn5mbGlwc0YnRi9GMi8lK2V4ZWN1dGFibGVHRj1GOQ==
LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzY3LUkjbWlHRiQ2JVEjVjFGJy8lJ2l0YWxpY0dRJXRydWVGJy8lLG1hdGh2YXJpYW50R1EnaXRhbGljRictSSNtb0dGJDYtUSomY29sb25lcTtGJy9GM1Enbm9ybWFsRicvJSZmZW5jZUdRJmZhbHNlRicvJSpzZXBhcmF0b3JHRj0vJSlzdHJldGNoeUdGPS8lKnN5bW1ldHJpY0dGPS8lKGxhcmdlb3BHRj0vJS5tb3ZhYmxlbGltaXRzR0Y9LyUnYWNjZW50R0Y9LyUnbHNwYWNlR1EsMC4yNzc3Nzc4ZW1GJy8lJ3JzcGFjZUdGTC1GLDYlUSVldmFsRidGL0YyLUkobWZlbmNlZEdGJDYkLUYjNiktRiw2JVElZGlmZkYnRi9GMi1GUzYkLUYjNigtRiw2JVEjRjFGJ0YvRjItRjY2LVEiLEYnRjlGOy9GP0YxRkBGQkZERkZGSC9GS1EmMC4wZW1GJy9GTlEsMC4zMzMzMzMzZW1GJy1GLDYlUSJzRidGL0YyRltvRmNvRjlGOUZbb0Zjby1GNjYtUSI9RidGOUY7Rj5GQEZCRkRGRkZIRkpGTS1JI21uR0YkNiRRIjFGJ0Y5RjlGOS1GNjYtUSIrRidGOUY7Rj5GQEZCRkRGRkZIL0ZLUSwwLjIyMjIyMjJlbUYnL0ZORmFwLUYsNiVRKCYjOTU2OzFGJ0YvRjItRjY2LVEoJm1pbnVzO0YnRjlGO0Y+RkBGQkZERkZGSEZgcEZicC1JJW1zdXBHRiQ2JUZjcC1GIzYkLUZqbzYkUSIyRidGOUY5LyUxc3VwZXJzY3JpcHRzaGlmdEdRIjBGJy1GNjYtUSI6RidGOUY7Rj5GQEZCRkRGRkZIRkpGTS1GNjYtUSJ+RidGOUY7Rj5GQEZCRkRGRkZIRl9vL0ZORmBvRmdxRmdxLUkmbXNxcnRHRiQ2Iy1GIzYoLUYsNiVRIlZGJ0YvRjJGXXAtRmpvNiRRIzUuRidGOS1GNjYtUScmc2RvdDtGJ0Y5RjtGPkZARkJGREZGRkhGX29GanFGK0Y5LUY2Ni1RIjtGJ0Y5RjtGXm9GQEZCRkRGRkZIRl9vRk1GZ3FGZ3FGZ3EtRjY2LVEiI0YnRjlGO0Y+RkBGQkZERkZGSEZfb0ZqcS1GLDYlUUJ+Y29ycmVzcG9uZGluZ35zdGFuZGFyZH5kZXZpYXRpb25GJ0YvRjIvJStleGVjdXRhYmxlR0Y9Rjk=
LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzY0LUkjbWlHRiQ2JVEkYXV4RicvJSdpdGFsaWNHUSV0cnVlRicvJSxtYXRodmFyaWFudEdRJ2l0YWxpY0YnLUkjbW9HRiQ2LVEqJmNvbG9uZXE7RicvRjNRJ25vcm1hbEYnLyUmZmVuY2VHUSZmYWxzZUYnLyUqc2VwYXJhdG9yR0Y9LyUpc3RyZXRjaHlHRj0vJSpzeW1tZXRyaWNHRj0vJShsYXJnZW9wR0Y9LyUubW92YWJsZWxpbWl0c0dGPS8lJ2FjY2VudEdGPS8lJ2xzcGFjZUdRLDAuMjc3Nzc3OGVtRicvJSdyc3BhY2VHRkwtRiw2JVEndGF5bG9yRidGL0YyLUkobWZlbmNlZEdGJDYkLUYjNiktSSZtZnJhY0dGJDYoLUYjNiotSSNtbkdGJDYkUSMxLkYnRjktRjY2LVEnJnNkb3Q7RidGOUY7Rj5GQEZCRkRGRkZIL0ZLUSYwLjBlbUYnL0ZORl5vLUY2Ni1RIn5GJ0Y5RjtGPkZARkJGREZGRkhGXW9GX28tSSVtc3VwR0YkNiUtRiw2JVEjRjFGJ0YvRjItRiM2JS1GZ242JFEiNUYnRjlGL0YyLyUxc3VwZXJzY3JpcHRzaGlmdEdRIjBGJ0Zqbi1GLDYlUSJGRidGL0YyLyUrZXhlY3V0YWJsZUdGPUY5LUYjNictRmduNiRRIjFGJ0Y5LUY2Ni1RKCZtaW51cztGJ0Y5RjtGPkZARkJGREZGRkgvRktRLDAuMjIyMjIyMmVtRicvRk5GX3EtRiw2JVEic0YnRi9GMkYvRjIvJS5saW5ldGhpY2tuZXNzR0ZqcC8lK2Rlbm9tYWxpZ25HUSdjZW50ZXJGJy8lKW51bWFsaWduR0ZocS8lKWJldmVsbGVkR0Y9LUY2Ni1RIixGJ0Y5RjsvRj9GMUZARkJGREZGRkhGXW8vRk5RLDAuMzMzMzMzM2VtRidGYXFGXXItRmduNiRRJDIwMUYnRjlGZHBGOUY5LUY2Ni1RIjpGJ0Y5RjtGPkZARkJGREZGRkhGSkZNRmBvRmBvRmBvLUYsNiVRJmNvZWZmRidGL0YyLUZTNiQtRiM2KUYrRl1yRmFxRl1yLUZnbjYkUSQxOTlGJ0Y5RmRwRjlGOS1GNjYtUSI7RidGOUY7RmByRkBGQkZERkZGSEZdb0ZNRmBvRmBvRmBvLUY2Ni1RIiNGJ0Y5RjtGPkZARkJGREZGRkhGXW9GX28tRiw2JVFjb35wcm9iLn5pdH53aWxsfnRha2V+ZmV3ZXJ+dGhhbn4yMDB+ZmxpcHN+dG9+Z2V0fmF0fmxlYXN0fjZ+c3VjaH5wYXR0ZXJuc0YnRi9GMkZkcEY5
LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzY9LUkjbWlHRiQ2JVEkYXV4RicvJSdpdGFsaWNHUSV0cnVlRicvJSxtYXRodmFyaWFudEdRJ2l0YWxpY0YnLUkjbW9HRiQ2LVEqJmNvbG9uZXE7RicvRjNRJ25vcm1hbEYnLyUmZmVuY2VHUSZmYWxzZUYnLyUqc2VwYXJhdG9yR0Y9LyUpc3RyZXRjaHlHRj0vJSpzeW1tZXRyaWNHRj0vJShsYXJnZW9wR0Y9LyUubW92YWJsZWxpbWl0c0dGPS8lJ2FjY2VudEdGPS8lJ2xzcGFjZUdRLDAuMjc3Nzc3OGVtRicvJSdyc3BhY2VHRkwtRiw2JVEndGF5bG9yRidGL0YyLUkobWZlbmNlZEdGJDYkLUYjNi0tSSZtZnJhY0dGJDYoLUYjNictSSNtbkdGJDYkUSMxLkYnRjktRjY2LVEoJm1pbnVzO0YnRjlGO0Y+RkBGQkZERkZGSC9GS1EsMC4yMjIyMjIyZW1GJy9GTkZeby1GLDYlUSNGMUYnRi9GMi8lK2V4ZWN1dGFibGVHRj1GOS1GIzYnLUZnbjYkUSIxRidGOUZqbi1GLDYlUSJzRidGL0YyRi9GMi8lLmxpbmV0aGlja25lc3NHRmlvLyUrZGVub21hbGlnbkdRJ2NlbnRlckYnLyUpbnVtYWxpZ25HRmFwLyUpYmV2ZWxsZWRHRj0tRjY2LVEnJnNkb3Q7RidGOUY7Rj5GQEZCRkRGRkZIL0ZLUSYwLjBlbUYnL0ZORmpwLUklbXN1cEdGJDYlRmBvLUYjNiUtRmduNiRRIjVGJ0Y5Ri9GMi8lMXN1cGVyc2NyaXB0c2hpZnRHUSIwRidGZnAtRiw2JVEiRkYnRi9GMi1GNjYtUSIsRidGOUY7L0Y/RjFGQEZCRkRGRkZIRmlwL0ZOUSwwLjMzMzMzMzNlbUYnRmpvRmpxLUZnbjYkUSQyMDFGJ0Y5RmNvRjlGOS1GNjYtUSI6RidGOUY7Rj5GQEZCRkRGRkZIRkpGTS1GNjYtUSJ+RidGOUY7Rj5GQEZCRkRGRkZIRmlwRltxRmZyRmZyRmZyRmZyLUYsNiVRJmNvZWZmRidGL0YyLUZTNiQtRiM2KUYrRmpxRmpvRmpxLUZnbjYkUSQyMDBGJ0Y5RmNvRjlGOS1GNjYtUSI7RidGOUY7Rl1yRkBGQkZERkZGSEZpcEZNRmZyRmZyRmZyRmZyRmZyRmZyRmZyRmZyRmZyRmZyLUY2Ni1RIiNGJ0Y5RjtGPkZARkJGREZGRkhGaXBGW3EtRiw2JVFLfnByb2J+b2Z+ZXhhY3RseX42fm9jY3VyZW5jZXN+aW5+MjAwfmZsaXBzRidGL0YyRmNvRjk=
LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzY/LUkjbWlHRiQ2JVEkYXV4RicvJSdpdGFsaWNHUSV0cnVlRicvJSxtYXRodmFyaWFudEdRJ2l0YWxpY0YnLUkjbW9HRiQ2LVEqJmNvbG9uZXE7RicvRjNRJ25vcm1hbEYnLyUmZmVuY2VHUSZmYWxzZUYnLyUqc2VwYXJhdG9yR0Y9LyUpc3RyZXRjaHlHRj0vJSpzeW1tZXRyaWNHRj0vJShsYXJnZW9wR0Y9LyUubW92YWJsZWxpbWl0c0dGPS8lJ2FjY2VudEdGPS8lJ2xzcGFjZUdRLDAuMjc3Nzc3OGVtRicvJSdyc3BhY2VHRkwtRiw2JVEndGF5bG9yRidGL0YyLUkobWZlbmNlZEdGJDYkLUYjNiotSSZtZnJhY0dGJDYoLUYjNiQtSSNtbkdGJDYkUSMxLkYnRjlGOS1GIzYmLUZnbjYkUSIxRidGOS1GNjYtUSgmbWludXM7RidGOUY7Rj5GQEZCRkRGRkZIL0ZLUSwwLjIyMjIyMjJlbUYnL0ZORmNvLUYsNiVRInNGJ0YvRjJGOS8lLmxpbmV0aGlja25lc3NHRl5vLyUrZGVub21hbGlnbkdRJ2NlbnRlckYnLyUpbnVtYWxpZ25HRlxwLyUpYmV2ZWxsZWRHRj0tRjY2LVEnJnNkb3Q7RidGOUY7Rj5GQEZCRkRGRkZIL0ZLUSYwLjBlbUYnL0ZORmVwLUZYNigtRiM2JC1JJW1zdXBHRiQ2JS1GLDYlUSJGRidGL0YyLUYjNiQtRiw2I1EhRidGOS8lMXN1cGVyc2NyaXB0c2hpZnRHUSIwRidGOS1GIzYnRlxvRl9vLUYsNiVRI0YxRidGL0YyRi9GMkZob0Zqb0ZdcEZfcC1GNjYtUSIsRidGOUY7L0Y/RjFGQEZCRkRGRkZIRmRwL0ZOUSwwLjMzMzMzMzNlbUYnRmVvRl5yLUZnbjYkUSQyMDFGJ0Y5RjlGOS1GNjYtUSI6RidGOUY7Rj5GQEZCRkRGRkZIRkpGTS1GNjYtUSJ+RidGOUY7Rj5GQEZCRkRGRkZIRmRwRmZwRmpyRmpyRmpyLUYsNiVRIk1GJ0YvRjJGNUZqci1GLDYlUSZjb2VmZkYnRi9GMi1GUzYkLUYjNihGK0ZeckZlb0Zeci1GZ242JFEkMjAwRidGOUY5RjktRjY2LVEiO0YnRjlGO0ZhckZARkJGREZGRkhGZHBGTUZqckZqckZqckZqckZqckZqckZqckZqckZqckZqci1GNjYtUSIjRidGOUY7Rj5GQEZCRkRGRkZIRmRwRmZwLUYsNiVRQ35tZWFufiN+b2Z+b2NjdXJlbmNlc35pbn4yMDB+ZmxpcHNGJ0YvRjIvJStleGVjdXRhYmxlR0Y9Rjk=
LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzY7LUkjbWlHRiQ2JVEkYXV4RicvJSdpdGFsaWNHUSV0cnVlRicvJSxtYXRodmFyaWFudEdRJ2l0YWxpY0YnLUkjbW9HRiQ2LVEqJmNvbG9uZXE7RicvRjNRJ25vcm1hbEYnLyUmZmVuY2VHUSZmYWxzZUYnLyUqc2VwYXJhdG9yR0Y9LyUpc3RyZXRjaHlHRj0vJSpzeW1tZXRyaWNHRj0vJShsYXJnZW9wR0Y9LyUubW92YWJsZWxpbWl0c0dGPS8lJ2FjY2VudEdGPS8lJ2xzcGFjZUdRLDAuMjc3Nzc3OGVtRicvJSdyc3BhY2VHRkwtRiw2JVEndGF5bG9yRidGL0YyLUkobWZlbmNlZEdGJDYkLUYjNiotSSZtZnJhY0dGJDYoLUYjNiQtRiw2JVEiRkYnRi9GMkY5LUYjNiYtSSNtbkdGJDYkUSIxRidGOS1GNjYtUSgmbWludXM7RidGOUY7Rj5GQEZCRkRGRkZIL0ZLUSwwLjIyMjIyMjJlbUYnL0ZORmNvLUYsNiVRInNGJ0YvRjJGOS8lLmxpbmV0aGlja25lc3NHRl5vLyUrZGVub21hbGlnbkdRJ2NlbnRlckYnLyUpbnVtYWxpZ25HRlxwLyUpYmV2ZWxsZWRHRj0tRjY2LVEnJnNkb3Q7RidGOUY7Rj5GQEZCRkRGRkZIL0ZLUSYwLjBlbUYnL0ZORmVwLUZYNigtRiM2Jy1GXG82JFEjMS5GJ0Y5LUY2Ni1RIitGJ0Y5RjtGPkZARkJGREZGRkhGYm9GZG8tRjY2LVEifkYnRjlGO0Y+RkBGQkZERkZGSEZkcEZmcC1GLDYlUSNGMUYnRi9GMkY5LUYjNiQtSSVtc3VwR0YkNiUtRlM2JC1GIzYmRltvRl9vRmRxRjlGOS1GIzYlLUZcbzYkUSIyRidGOUYvRjIvJTFzdXBlcnNjcmlwdHNoaWZ0R1EiMEYnRjlGaG9Gam9GXXBGX3AtRjY2LVEiLEYnRjlGOy9GP0YxRkBGQkZERkZGSEZkcC9GTlEsMC4zMzMzMzMzZW1GJ0Zlb0Zoci1GXG82JFEkMjAxRidGOUY5RjktRjY2LVEiOkYnRjlGO0Y+RkBGQkZERkZGSEZKRk1GYXFGYXFGYXFGYXEtRiM2JS1GLDYjUSFGJy1JJm1zcXJ0R0YkNiMtRiM2KEZhcS1GLDYlUSZjb2VmZkYnRi9GMi1GUzYkLUYjNihGK0ZockZlb0Zoci1GXG82JFEkMjAwRidGOUY5RjlGX28tRmpxNiUtRiw2JVEiTUYnRi9GMkZgckZlckY5RjktRjY2LVEiO0YnRjlGO0Zbc0ZARkJGREZGRkhGZHBGTUZhcUZhcUZhcUZhcUZhcUZhcUZhcUZhcUZhcUZhcS1GNjYtUSIjRidGOUY7Rj5GQEZCRkRGRkZIRmRwRmZwLUYsNiVRNH5zdGFuZGFyZH5kZXZpYXRpb25GJ0YvRjIvJStleGVjdXRhYmxlR0Y9Rjk=
G:=1/(1+(1-s)*(1+p^2*(1-p)^2*s^4)/p^2/(1-p)^3/s^5): # for FFSSF
solve({G0=p*s*G0+(1-p)*s*G1,
G1=p*s*G0+(1-p)*s*G2,
G2=p*s*G3+(1-p)*s*G2,
G3=p*s*G4+(1-p)*s*G1,
G4=p*s*G0+(1-p)*s},{G0,G1,G2,G3,G4}):
assign(%):
JSFH
simplify(G0-G); # just checking
JSFH