a__primesa__sievea__fromss0a__fromXconsmarkXfromsXa__headconsXYmarkXa__tailconsXYmarkYa__iftrueXYmarkXa__iffalseXYmarkYa__filterssXconsYZa__ifdividesssmarkXmarkYfilterssXZconsYfilterXsieveYa__sieveconsXYconsmarkXfilterXsieveYmarkprimesa__primesmarksieveXa__sievemarkXmarkfromXa__frommarkXmarkheadXa__headmarkXmarktailXa__tailmarkXmarkifX1X2X3a__ifmarkX1X2X3markfilterX1X2a__filtermarkX1markX2marksXsmarkXmark00markconsX1X2consmarkX1X2marktruetruemarkfalsefalsemarkdividesX1X2dividesmarkX1markX2a__primesprimesa__sieveXsieveXa__fromXfromXa__headXheadXa__tailXtailXa__ifX1X2X3ifX1X2X3a__filterX1X2filterX1X22.1a__primesa__fromss0a__primesa__sievea__fromss0a__fromXmarkXa__headconsXYmarkXa__tailconsXYmarkYa__iftrueXYmarkXa__iffalseXYmarkYa__filterssXconsYZmarkYa__filterssXconsYZmarkXa__filterssXconsYZa__ifdividesssmarkXmarkYfilterssXZconsYfilterXsieveYa__sieveconsXYmarkXmarkprimesa__primesmarksieveXmarkXmarksieveXa__sievemarkXmarkfromXmarkXmarkfromXa__frommarkXmarkheadXmarkXmarkheadXa__headmarkXmarktailXmarkXmarktailXa__tailmarkXmarkifX1X2X3markX1markifX1X2X3a__ifmarkX1X2X3markfilterX1X2markX2markfilterX1X2markX1markfilterX1X2a__filtermarkX1markX2marksXmarkXmarkconsX1X2markX1markdividesX1X2markX2markdividesX1X2markX1truea__filterssXconsYZmarkYmarkdividesX1X2markX1markdividesX1X2markX2markconsX1X2markX1marksXmarkXmarkfilterX1X2a__filtermarkX1markX2a__filterssXconsYZmarkXmarkfilterX1X2markX1markfilterX1X2markX2markifX1X2X3a__ifmarkX1X2X3a__iffalseXYmarkYmarkifX1X2X3markX1marktailXa__tailmarkXa__tailconsXYmarkYmarktailXmarkXmarkheadXa__headmarkXa__headconsXYmarkXmarkheadXmarkXmarkfromXa__frommarkXa__fromXmarkXmarkfromXmarkXmarksieveXa__sievemarkXa__sieveconsXYmarkXmarksieveXmarkXmarkprimesa__primesa__primesa__sievea__fromss0a__primesa__fromss0a__iftrueXYmarkXtrue11head1711a__sieve1010filter20102a__head1711000a__from1010sieve1010a__primes00a__tail101tail1010primes00a__if3010203a__from1010a__filter201020mark101true00a__primes00cons201020if3010203a__head1010divides20102false00a__sieve1010mark1010a__if3010203a__tail1010a__filter20102from1010s101a__filterssXconsYZmarkYmarkdividesX1X2markX1markdividesX1X2markX2markconsX1X2markX1marksXmarkXmarkfilterX1X2a__filtermarkX1markX2a__filterssXconsYZmarkXmarkfilterX1X2markX1markfilterX1X2markX2markifX1X2X3a__ifmarkX1X2X3a__iffalseXYmarkYmarkifX1X2X3markX1marktailXa__tailmarkXa__tailconsXYmarkYmarktailXmarkXa__headconsXYmarkXmarkfromXa__frommarkXa__fromXmarkXmarkfromXmarkXmarksieveXa__sievemarkXa__sieveconsXYmarkXmarksieveXmarkXmarkprimesa__primesa__primesa__sievea__fromss0a__primesa__fromss0a__iftrueXYmarkXa__primesa__sievea__fromss0a__fromXconsmarkXfromsXa__headconsXYmarkXa__tailconsXYmarkYa__iftrueXYmarkXa__iffalseXYmarkYa__filterssXconsYZa__ifdividesssmarkXmarkYfilterssXZconsYfilterXsieveYa__sieveconsXYconsmarkXfilterXsieveYmarkprimesa__primesmarksieveXa__sievemarkXmarkfromXa__frommarkXmarkheadXa__headmarkXmarktailXa__tailmarkXmarkifX1X2X3a__ifmarkX1X2X3markfilterX1X2a__filtermarkX1markX2marksXsmarkXmark00markconsX1X2consmarkX1X2marktruetruemarkfalsefalsemarkdividesX1X2dividesmarkX1markX2a__primesprimesa__sieveXsieveXa__fromXfromXa__headXheadXa__tailXtailXa__ifX1X2X3ifX1X2X3a__filterX1X2filterX1X2a__headconsXYmarkXfalse1a__filterssXconsYZmarkYmarkdividesX1X2markX1markdividesX1X2markX2markconsX1X2markX1marksXmarkXmarkfilterX1X2a__filtermarkX1markX2a__filterssXconsYZmarkXmarkfilterX1X2markX1markfilterX1X2markX2markifX1X2X3a__ifmarkX1X2X3a__iffalseXYmarkYmarkifX1X2X3markX1marktailXa__tailmarkXa__tailconsXYmarkYmarktailXmarkXmarkfromXa__frommarkXa__fromXmarkXmarkfromXmarkXmarksieveXa__sievemarkXa__sieveconsXYmarkXmarksieveXmarkXmarkprimesa__primesa__primesa__sievea__fromss0a__primesa__fromss0a__iftrueXYmarkXtrue1head101a__sieve1012filter201022a__head1010002a__from1112sieve1012a__primes03a__tail1010tail1114primes04a__if3102030a__from1112a__filter201022mark1010true00a__primes04cons201020if30102030divides20102false00a__sieve1012mark1010a__if30102030a__tail1114a__filter201022from1112s101a__filterssXconsYZmarkYmarkdividesX1X2markX1markdividesX1X2markX2markconsX1X2markX1marksXmarkXmarkfilterX1X2a__filtermarkX1markX2a__filterssXconsYZmarkXmarkfilterX1X2markX1markfilterX1X2markX2markifX1X2X3a__ifmarkX1X2X3a__iffalseXYmarkYmarkifX1X2X3markX1a__tailconsXYmarkYmarkfromXa__frommarkXmarksieveXa__sievemarkXa__sieveconsXYmarkXmarksieveXmarkXa__primesa__sievea__fromss0a__primesa__fromss0a__iftrueXYmarkXa__primesa__sievea__fromss0a__fromXconsmarkXfromsXa__headconsXYmarkXa__tailconsXYmarkYa__iftrueXYmarkXa__iffalseXYmarkYa__filterssXconsYZa__ifdividesssmarkXmarkYfilterssXZconsYfilterXsieveYa__sieveconsXYconsmarkXfilterXsieveYmarkprimesa__primesmarksieveXa__sievemarkXmarkfromXa__frommarkXmarkheadXa__headmarkXmarktailXa__tailmarkXmarkifX1X2X3a__ifmarkX1X2X3markfilterX1X2a__filtermarkX1markX2marksXsmarkXmark00markconsX1X2consmarkX1X2marktruetruemarkfalsefalsemarkdividesX1X2dividesmarkX1markX2a__primesprimesa__sieveXsieveXa__fromXfromXa__headXheadXa__tailXtailXa__ifX1X2X3ifX1X2X3a__filterX1X2filterX1X2a__primesa__fromss0falsea__primesa__sievea__fromss0false2a__tailconsXYmarkYfalse12a__filterssXconsYZmarkYmarkdividesX1X2markX1markdividesX1X2markX2markconsX1X2markX1marksXmarkXmarkfilterX1X2a__filtermarkX1markX2a__filterssXconsYZmarkXmarkfilterX1X2markX1markfilterX1X2markX2markifX1X2X3a__ifmarkX1X2X3a__iffalseXYmarkYmarkifX1X2X3markX1marksieveXa__sievemarkXa__sieveconsXYmarkXmarksieveXmarkXa__iftrueXYmarkXtrue11head101a__sieve1010filter20102a__head1010001a__from1111sieve101tail101primes03a__if32142430a__filter241420mark1010true02a__primes03cons211021if3010203divides201020false02a__sieve1410mark1414a__if30102030a__tail1010a__filter201020from1111s1010markdividesX1X2markX1markdividesX1X2markX2marksXmarkXmarkfilterX1X2a__filtermarkX1markX2a__filterssXconsYZmarkXmarkfilterX1X2markX1markfilterX1X2markX2markifX1X2X3a__ifmarkX1X2X3a__iffalseXYmarkYmarkifX1X2X3markX1marksieveXa__sievemarkXmarksieveXmarkXa__iftrueXYmarkXa__primesa__sievea__fromss0a__fromXconsmarkXfromsXa__headconsXYmarkXa__tailconsXYmarkYa__iftrueXYmarkXa__iffalseXYmarkYa__filterssXconsYZa__ifdividesssmarkXmarkYfilterssXZconsYfilterXsieveYa__sieveconsXYconsmarkXfilterXsieveYmarkprimesa__primesmarksieveXa__sievemarkXmarkfromXa__frommarkXmarkheadXa__headmarkXmarktailXa__tailmarkXmarkifX1X2X3a__ifmarkX1X2X3markfilterX1X2a__filtermarkX1markX2marksXsmarkXmark00markconsX1X2consmarkX1X2marktruetruemarkfalsefalsemarkdividesX1X2dividesmarkX1markX2a__primesprimesa__sieveXsieveXa__fromXfromXa__headXheadXa__tailXtailXa__ifX1X2X3ifX1X2X3a__filterX1X2filterX1X2a__filterssXconsYZmarkXmarkdividesX1X2markX1markdividesX1X2markX2marksXmarkXmarkfilterX1X2a__filtermarkX1markX2markfilterX1X2markX1markfilterX1X2markX2markifX1X2X3a__ifmarkX1X2X3a__iffalseXYmarkYmarkifX1X2X3markX1marksieveXmarkXa__iftrueXYmarkXtrue11head101a__sieve1111filter201020a__head1010002a__from1114sieve1111tail101primes05a__if30102030a__filter201020mark1010true00a__primes05cons211021if30102030divides201020false00mark1010a__if30102030a__tail1010a__filter201020from1114s1010a__filterssXconsYZmarkXmarkdividesX1X2markX1markdividesX1X2markX2marksXmarkXmarkfilterX1X2a__filtermarkX1markX2markfilterX1X2markX1markfilterX1X2markX2markifX1X2X3a__ifmarkX1X2X3a__iffalseXYmarkYmarkifX1X2X3markX1a__iftrueXYmarkXa__primesa__sievea__fromss0a__fromXconsmarkXfromsXa__headconsXYmarkXa__tailconsXYmarkYa__iftrueXYmarkXa__iffalseXYmarkYa__filterssXconsYZa__ifdividesssmarkXmarkYfilterssXZconsYfilterXsieveYa__sieveconsXYconsmarkXfilterXsieveYmarkprimesa__primesmarksieveXa__sievemarkXmarkfromXa__frommarkXmarkheadXa__headmarkXmarktailXa__tailmarkXmarkifX1X2X3a__ifmarkX1X2X3markfilterX1X2a__filtermarkX1markX2marksXsmarkXmark00markconsX1X2consmarkX1X2marktruetruemarkfalsefalsemarkdividesX1X2dividesmarkX1markX2a__primesprimesa__sieveXsieveXa__fromXfromXa__headXheadXa__tailXtailXa__ifX1X2X3ifX1X2X3a__filterX1X2filterX1X21head111a__sieve1010filter201020a__head111004a__from1217sieve1010tail131primes07a__if30102030a__filter201020mark101true00a__primes07cons22102if30102030divides201120false00mark101a__if30102030a__tail131a__filter201020from1217s101a__filterssXconsYZmarkXmarkdividesX1X2markX1marksXmarkXmarkfilterX1X2a__filtermarkX1markX2markfilterX1X2markX1markfilterX1X2markX2markifX1X2X3a__ifmarkX1X2X3a__iffalseXYmarkYmarkifX1X2X3markX1a__iftrueXYmarkXa__primesa__sievea__fromss0a__fromXconsmarkXfromsXa__headconsXYmarkXa__tailconsXYmarkYa__iftrueXYmarkXa__iffalseXYmarkYa__filterssXconsYZa__ifdividesssmarkXmarkYfilterssXZconsYfilterXsieveYa__sieveconsXYconsmarkXfilterXsieveYmarkprimesa__primesmarksieveXa__sievemarkXmarkfromXa__frommarkXmarkheadXa__headmarkXmarktailXa__tailmarkXmarkifX1X2X3a__ifmarkX1X2X3markfilterX1X2a__filtermarkX1markX2marksXsmarkXmark00markconsX1X2consmarkX1X2marktruetruemarkfalsefalsemarkdividesX1X2dividesmarkX1markX2a__primesprimesa__sieveXsieveXa__fromXfromXa__headXheadXa__tailXtailXa__ifX1X2X3ifX1X2X3a__filterX1X2filterX1X21head131a__sieve1110filter211020a__head131000a__from111sieve1110tail1010primes02a__if30102030a__filter2012mark101true00a__primes02cons21102if30102030divides201020false00mark101a__if30102030a__tail1010a__filter211020from111s101a__filterssXconsYZmarkXmarkdividesX1X2markX1marksXmarkXmarkfilterX1X2markX2markifX1X2X3a__ifmarkX1X2X3a__iffalseXYmarkYmarkifX1X2X3markX1a__iftrueXYmarkXa__primesa__sievea__fromss0a__fromXconsmarkXfromsXa__headconsXYmarkXa__tailconsXYmarkYa__iftrueXYmarkXa__iffalseXYmarkYa__filterssXconsYZa__ifdividesssmarkXmarkYfilterssXZconsYfilterXsieveYa__sieveconsXYconsmarkXfilterXsieveYmarkprimesa__primesmarksieveXa__sievemarkXmarkfromXa__frommarkXmarkheadXa__headmarkXmarktailXa__tailmarkXmarkifX1X2X3a__ifmarkX1X2X3markfilterX1X2a__filtermarkX1markX2marksXsmarkXmark00markconsX1X2consmarkX1X2marktruetruemarkfalsefalsemarkdividesX1X2dividesmarkX1markX2a__primesprimesa__sieveXsieveXa__fromXfromXa__headXheadXa__tailXtailXa__ifX1X2X3ifX1X2X3a__filterX1X2filterX1X2a__filterssXconsYZmarkXfalse1markdividesX1X2markX1marksXmarkXmarkfilterX1X2markX2markifX1X2X3a__ifmarkX1X2X3a__iffalseXYmarkYmarkifX1X2X3markX1a__iftrueXYmarkXtruemarkdividesX1X2markX11true1marksXmarkX1true1markfilterX1X2markX21true1markifX1X2X3a__ifmarkX1X2X31true31true2a__iffalseXYmarkY3false1markifX1X2X3markX11true1a__iftrueXYmarkX2false1marksieveXa__sievemarkXfalsemarkfromXa__frommarkXfalsea__filterssXconsYZa__ifdividesssmarkXmarkYfilterssXZconsYfilterXsieveYfalsettt2ttt2 1.20 [hg: unknown]((if standard then var else fail) | con | (if srs then ((sleep -t 25?;rlab;(((( (if srs then arctic -dim 1 -ib 4 -ob 5 else fail) || (if srs then arctic -dim 2 -ib 2 -ob 3 else fail) || (if srs then arctic -dim 3 -ib 1 -ob 2 else fail) || (if srs then arctic -dim 3 -ib 2 -ob 2 else fail) || matrix -dim 1 -ib 5 -ob 8 || matrix -dim 2 -ib 3 -ob 4 || matrix -dim 3 -ib 2 -ob 3 || matrix -dim 3 -ib 1 -ob 2 || matrix -dim 4 -ib 1 -ob 2 || matrix -dim 5 -ib 1 -ob 1 || kbo -ib 3 -ob 4 || wpo -msum -ib 3 -ob 4 -cpf || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( (wpo -cpf -dp -ur -sum -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -pol -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -max -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -msum -ib 3 -ob 3 [4] | wpo -cpf -dp -ur -mat -dim 2 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -mat -dim 3 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -ib 3 -ob 3 [9] | fail ) || matrix -dp -ur -dim 1 -ib 3 -ob 5 || matrix -dp -ur -dim 1 -ib 3 -ob 8 -rat 2 -db 1 || matrix -dp -ur -dim 1 -ib 4 -ob 10 -rat 4 -db 1 || matrix -dp -ur -dim 2 -ib 2 -ob 3 || matrix -dp -ur -dim 2 -ib 3 -ob 4 -rat 2 -db 0 || matrix -dp -ur -dim 3 -ib 1 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 -rat 2 -db 0 || matrix -dp -ur -dim 4 -ib 1 -ob 2 || lpo -ur -af || (arctic -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[299])! || ((((( (if srs then arctic -dim 1 -ib 4 -ob 5 else fail) || (if srs then arctic -dim 2 -ib 2 -ob 3 else fail) || (if srs then arctic -dim 3 -ib 1 -ob 2 else fail) || (if srs then arctic -dim 3 -ib 2 -ob 2 else fail) || matrix -dim 1 -ib 5 -ob 8 || matrix -dim 2 -ib 3 -ob 4 || matrix -dim 3 -ib 2 -ob 3 || matrix -dim 3 -ib 1 -ob 2 || matrix -dim 4 -ib 1 -ob 2 || matrix -dim 5 -ib 1 -ob 1 || kbo -ib 3 -ob 4 || wpo -msum -ib 3 -ob 4 -cpf || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( (wpo -cpf -dp -ur -sum -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -pol -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -max -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -msum -ib 3 -ob 3 [4] | wpo -cpf -dp -ur -mat -dim 2 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -mat -dim 3 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -ib 3 -ob 3 [9] | fail ) || matrix -dp -ur -dim 1 -ib 3 -ob 5 || matrix -dp -ur -dim 1 -ib 3 -ob 8 -rat 2 -db 1 || matrix -dp -ur -dim 1 -ib 4 -ob 10 -rat 4 -db 1 || matrix -dp -ur -dim 2 -ib 2 -ob 3 || matrix -dp -ur -dim 2 -ib 3 -ob 4 -rat 2 -db 0 || matrix -dp -ur -dim 3 -ib 1 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 -rat 2 -db 0 || matrix -dp -ur -dim 4 -ib 1 -ob 2 || lpo -ur -af || (arctic -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[299])! || (rev?;((( (if srs then arctic -dim 1 -ib 4 -ob 5 else fail) || (if srs then arctic -dim 2 -ib 2 -ob 3 else fail) || (if srs then arctic -dim 3 -ib 1 -ob 2 else fail) || (if srs then arctic -dim 3 -ib 2 -ob 2 else fail) || matrix -dim 1 -ib 5 -ob 8 || matrix -dim 2 -ib 3 -ob 4 || matrix -dim 3 -ib 2 -ob 3 || matrix -dim 3 -ib 1 -ob 2 || matrix -dim 4 -ib 1 -ob 2 || matrix -dim 5 -ib 1 -ob 1 || kbo -ib 3 -ob 4 || wpo -msum -ib 3 -ob 4 -cpf || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( (wpo -cpf -dp -ur -sum -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -pol -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -max -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -msum -ib 3 -ob 3 [4] | wpo -cpf -dp -ur -mat -dim 2 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -mat -dim 3 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -ib 3 -ob 3 [9] | fail ) || matrix -dp -ur -dim 1 -ib 3 -ob 5 || matrix -dp -ur -dim 1 -ib 3 -ob 8 -rat 2 -db 1 || matrix -dp -ur -dim 1 -ib 4 -ob 10 -rat 4 -db 1 || matrix -dp -ur -dim 2 -ib 2 -ob 3 || matrix -dp -ur -dim 2 -ib 3 -ob 4 -rat 2 -db 0 || matrix -dp -ur -dim 3 -ib 1 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 -rat 2 -db 0 || matrix -dp -ur -dim 4 -ib 1 -ob 2 || lpo -ur -af || (arctic -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))![299])! ) else ((((( (if srs then arctic -dim 1 -ib 4 -ob 5 else fail) || (if srs then arctic -dim 2 -ib 2 -ob 3 else fail) || (if srs then arctic -dim 3 -ib 1 -ob 2 else fail) || (if srs then arctic -dim 3 -ib 2 -ob 2 else fail) || matrix -dim 1 -ib 5 -ob 8 || matrix -dim 2 -ib 3 -ob 4 || matrix -dim 3 -ib 2 -ob 3 || matrix -dim 3 -ib 1 -ob 2 || matrix -dim 4 -ib 1 -ob 2 || matrix -dim 5 -ib 1 -ob 1 || kbo -ib 3 -ob 4 || wpo -msum -ib 3 -ob 4 -cpf || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( (wpo -cpf -dp -ur -sum -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -pol -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -max -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -msum -ib 3 -ob 3 [4] | wpo -cpf -dp -ur -mat -dim 2 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -mat -dim 3 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -ib 3 -ob 3 [9] | fail ) || matrix -dp -ur -dim 1 -ib 3 -ob 5 || matrix -dp -ur -dim 1 -ib 3 -ob 8 -rat 2 -db 1 || matrix -dp -ur -dim 1 -ib 4 -ob 10 -rat 4 -db 1 || matrix -dp -ur -dim 2 -ib 2 -ob 3 || matrix -dp -ur -dim 2 -ib 3 -ob 4 -rat 2 -db 0 || matrix -dp -ur -dim 3 -ib 1 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 -rat 2 -db 0 || matrix -dp -ur -dim 4 -ib 1 -ob 2 || lpo -ur -af || (arctic -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[299])))