a__U11ttV2a__U12a__isNatV2a__U12tttta__U21tttta__U31ttNmarkNa__U41ttMNa__U42a__isNatNMNa__U42ttMNsa__plusmarkNmarkMa__isNat0tta__isNatplusV1V2a__U11a__isNatV1V2a__isNatsV1a__U21a__isNatV1a__plusN0a__U31a__isNatNNa__plusNsMa__U41a__isNatMMNmarkU11X1X2a__U11markX1X2markU12Xa__U12markXmarkisNatXa__isNatXmarkU21Xa__U21markXmarkU31X1X2a__U31markX1X2markU41X1X2X3a__U41markX1X2X3markU42X1X2X3a__U42markX1X2X3markplusX1X2a__plusmarkX1markX2markttttmarksXsmarkXmark00a__U11X1X2U11X1X2a__U12XU12Xa__isNatXisNatXa__U21XU21Xa__U31X1X2U31X1X2a__U41X1X2X3U41X1X2X3a__U42X1X2X3U42X1X2X3a__plusX1X2plusX1X22.1a__U11ttV2a__isNatV2a__U11ttV2a__U12a__isNatV2a__U31ttNmarkNa__U41ttMNa__isNatNa__U41ttMNa__U42a__isNatNMNa__U42ttMNmarkMa__U42ttMNmarkNa__U42ttMNa__plusmarkNmarkMa__isNatplusV1V2a__isNatV1a__isNatplusV1V2a__U11a__isNatV1V2a__isNatsV1a__isNatV1a__isNatsV1a__U21a__isNatV1a__plusN0a__isNatNa__plusN0a__U31a__isNatNNa__plusNsMa__isNatMa__plusNsMa__U41a__isNatMMNmarkU11X1X2markX1markU11X1X2a__U11markX1X2markU12XmarkXmarkU12Xa__U12markXmarkisNatXa__isNatXmarkU21XmarkXmarkU21Xa__U21markXmarkU31X1X2markX1markU31X1X2a__U31markX1X2markU41X1X2X3markX1markU41X1X2X3a__U41markX1X2X3markU42X1X2X3markX1markU42X1X2X3a__U42markX1X2X3markplusX1X2markX2markplusX1X2markX1markplusX1X2a__plusmarkX1markX2marksXmarkXtruea__plusN0a__U31a__isNatNNa__U31ttNmarkNmarkU11X1X2markX1markU12XmarkXmarkU21XmarkXmarkU31X1X2markX1markU31X1X2a__U31markX1X2markU41X1X2X3markX1markU41X1X2X3a__U41markX1X2X3a__U41ttMNa__U42a__isNatNMNa__U42ttMNmarkMmarkU42X1X2X3markX1markU42X1X2X3a__U42markX1X2X3a__U42ttMNmarkNmarkplusX1X2markX2markplusX1X2markX1markplusX1X2a__plusmarkX1markX2a__plusNsMa__U41a__isNatMMNmarksXmarkXa__U42ttMNa__plusmarkNmarkMtrue12345671U4130102730a__U211010isNat101a__U423010273a__U1120102a__U121010U211010a__U413102030U423010273U31201020a__U423010203a__plus201020a__U31201020s1010tt00a__U4130102730mark101U121010plus271020a__U31201020004a__plus271020U1120102mark101a__isNat101a__plusN0a__U31a__isNatNNa__U31ttNmarkNmarkU11X1X2markX1markU12XmarkXmarkU21XmarkXmarkU31X1X2markX1markU31X1X2a__U31markX1X2markU41X1X2X3markX1markU41X1X2X3a__U41markX1X2X3a__U41ttMNa__U42a__isNatNMNa__U42ttMNmarkMmarkU42X1X2X3markX1markU42X1X2X3a__U42markX1X2X3a__U42ttMNmarkNmarkplusX1X2markX2markplusX1X2a__plusmarkX1markX2a__plusNsMa__U41a__isNatMMNmarksXmarkXa__U42ttMNa__plusmarkNmarkMa__U11ttV2a__U12a__isNatV2a__U12tttta__U21tttta__U31ttNmarkNa__U41ttMNa__U42a__isNatNMNa__U42ttMNsa__plusmarkNmarkMa__isNat0tta__isNatplusV1V2a__U11a__isNatV1V2a__isNatsV1a__U21a__isNatV1a__plusN0a__U31a__isNatNNa__plusNsMa__U41a__isNatMMNmarkU11X1X2a__U11markX1X2markU12Xa__U12markXmarkisNatXa__isNatXmarkU21Xa__U21markXmarkU31X1X2a__U31markX1X2markU41X1X2X3a__U41markX1X2X3markU42X1X2X3a__U42markX1X2X3markplusX1X2a__plusmarkX1markX2markttttmarksXsmarkXmark00a__U11X1X2U11X1X2a__U12XU12Xa__isNatXisNatXa__U21XU21Xa__U31X1X2U31X1X2a__U41X1X2X3U41X1X2X3a__U42X1X2X3U42X1X2X3a__plusX1X2plusX1X21U4130142730a__U211010isNat1010a__U4230142730a__U11201120a__U121010U211010a__U4130102230U4230142730U31221720a__U4230102230a__plus22102a__U31221720s1010tt00a__U4130142730mark101U121010plus27142a__U31221220002a__plus27142U11201120mark101a__isNat1010a__plusN0a__U31a__isNatNNmarkU11X1X2markX1markU12XmarkXmarkU21XmarkXmarkU31X1X2a__U31markX1X2markU41X1X2X3markX1markU41X1X2X3a__U41markX1X2X3a__U41ttMNa__U42a__isNatNMNa__U42ttMNmarkMmarkU42X1X2X3markX1markU42X1X2X3a__U42markX1X2X3a__plusNsMa__U41a__isNatMMNmarksXmarkXa__U42ttMNa__plusmarkNmarkMa__U11ttV2a__U12a__isNatV2a__U12tttta__U21tttta__U31ttNmarkNa__U41ttMNa__U42a__isNatNMNa__U42ttMNsa__plusmarkNmarkMa__isNat0tta__isNatplusV1V2a__U11a__isNatV1V2a__isNatsV1a__U21a__isNatV1a__plusN0a__U31a__isNatNNa__plusNsMa__U41a__isNatMMNmarkU11X1X2a__U11markX1X2markU12Xa__U12markXmarkisNatXa__isNatXmarkU21Xa__U21markXmarkU31X1X2a__U31markX1X2markU41X1X2X3a__U41markX1X2X3markU42X1X2X3a__U42markX1X2X3markplusX1X2a__plusmarkX1markX2markttttmarksXsmarkXmark00a__U11X1X2U11X1X2a__U12XU12Xa__isNatXisNatXa__U21XU21Xa__U31X1X2U31X1X2a__U41X1X2X3U41X1X2X3a__U42X1X2X3U42X1X2X3a__plusX1X2plusX1X2a__plusNsMa__U41a__isNatMMNa__U41ttMNa__U42a__isNatNMNa__U42ttMNmarkMmarkU11X1X2markX1markU12XmarkXmarkU21XmarkXmarkU41X1X2X3markX1markU41X1X2X3a__U41markX1X2X3markU42X1X2X3markX1markU42X1X2X3a__U42markX1X2X3a__U42ttMNa__plusmarkNmarkMmarksXmarkXtrue121U4130102032a__U21101isNat110a__U4231102032a__U1120120a__U121010U21101a__U4130102030U4231102032U31241025a__U4230102030a__plus201020a__U31241025s101tt00a__U4130102032mark1010U121010plus201022006a__plus201022U1120120mark101a__isNat110a__plusNsMa__U41a__isNatMMNa__U41ttMNa__U42a__isNatNMNa__U42ttMNmarkMmarkU11X1X2markX1markU12XmarkXmarkU21XmarkXmarkU41X1X2X3markX1markU41X1X2X3a__U41markX1X2X3markU42X1X2X3a__U42markX1X2X3a__U42ttMNa__plusmarkNmarkMmarksXmarkXa__U11ttV2a__U12a__isNatV2a__U12tttta__U21tttta__U31ttNmarkNa__U41ttMNa__U42a__isNatNMNa__U42ttMNsa__plusmarkNmarkMa__isNat0tta__isNatplusV1V2a__U11a__isNatV1V2a__isNatsV1a__U21a__isNatV1a__plusN0a__U31a__isNatNNa__plusNsMa__U41a__isNatMMNmarkU11X1X2a__U11markX1X2markU12Xa__U12markXmarkisNatXa__isNatXmarkU21Xa__U21markXmarkU31X1X2a__U31markX1X2markU41X1X2X3a__U41markX1X2X3markU42X1X2X3a__U42markX1X2X3markplusX1X2a__plusmarkX1markX2markttttmarksXsmarkXmark00a__U11X1X2U11X1X2a__U12XU12Xa__isNatXisNatXa__U21XU21Xa__U31X1X2U31X1X2a__U41X1X2X3U41X1X2X3a__U42X1X2X3U42X1X2X3a__plusX1X2plusX1X21U413011203a__U21101isNat101a__U4230112030a__U1120112a__U121110U21101a__U413010203U4230112030U312102a__U4230102030a__plus20102a__U312102s101tt00a__U413011203mark101U121110plus20112000a__plus20112U1120112mark101a__isNat101a__plusNsMa__U41a__isNatMMNa__U41ttMNa__U42a__isNatNMNa__U42ttMNmarkMmarkU11X1X2markX1markU21XmarkXmarkU41X1X2X3markX1markU41X1X2X3a__U41markX1X2X3markU42X1X2X3a__U42markX1X2X3a__U42ttMNa__plusmarkNmarkMmarksXmarkXa__U11ttV2a__U12a__isNatV2a__U12tttta__U21tttta__U31ttNmarkNa__U41ttMNa__U42a__isNatNMNa__U42ttMNsa__plusmarkNmarkMa__isNat0tta__isNatplusV1V2a__U11a__isNatV1V2a__isNatsV1a__U21a__isNatV1a__plusN0a__U31a__isNatNNa__plusNsMa__U41a__isNatMMNmarkU11X1X2a__U11markX1X2markU12Xa__U12markXmarkisNatXa__isNatXmarkU21Xa__U21markXmarkU31X1X2a__U31markX1X2markU41X1X2X3a__U41markX1X2X3markU42X1X2X3a__U42markX1X2X3markplusX1X2a__plusmarkX1markX2markttttmarksXsmarkXmark00a__U11X1X2U11X1X2a__U12XU12Xa__isNatXisNatXa__U21XU21Xa__U31X1X2U31X1X2a__U41X1X2X3U41X1X2X3a__U42X1X2X3U42X1X2X3a__plusX1X2plusX1X21U413014223a__U21101isNat101a__U423014223a__U1120142a__U12111U21101a__U4131023U423014223U31201120a__U4231023a__plus2102a__U31201120s101tt00a__U413014223mark101U12111plus22142001a__plus22142U1120142mark101a__isNat101a__plusNsMa__U41a__isNatMMNa__U41ttMNa__U42a__isNatNMNa__U42ttMNmarkMmarkU11X1X2markX1markU21XmarkXmarkU41X1X2X3markX1a__U42ttMNa__plusmarkNmarkMmarksXmarkXa__U11ttV2a__U12a__isNatV2a__U12tttta__U21tttta__U31ttNmarkNa__U41ttMNa__U42a__isNatNMNa__U42ttMNsa__plusmarkNmarkMa__isNat0tta__isNatplusV1V2a__U11a__isNatV1V2a__isNatsV1a__U21a__isNatV1a__plusN0a__U31a__isNatNNa__plusNsMa__U41a__isNatMMNmarkU11X1X2a__U11markX1X2markU12Xa__U12markXmarkisNatXa__isNatXmarkU21Xa__U21markXmarkU31X1X2a__U31markX1X2markU41X1X2X3a__U41markX1X2X3markU42X1X2X3a__U42markX1X2X3markplusX1X2a__plusmarkX1markX2markttttmarksXsmarkXmark00a__U11X1X2U11X1X2a__U12XU12Xa__isNatXisNatXa__U21XU21Xa__U31X1X2U31X1X2a__U41X1X2X3U41X1X2X3a__U42X1X2X3U42X1X2X3a__plusX1X2plusX1X2a__plusNsMa__U41a__isNatMMNa__U41ttMNa__U42a__isNatNMNa__U42ttMNa__plusmarkNmarkMtrue11U4130122131a__U211010isNat1010a__U4234122131a__U11201020a__U121010U211010a__U4130112030U4234122131U31201120a__U4230112030a__plus201120a__U31201120s1111tt00a__U4130122131U121010plus211220000a__plus211220U11201020mark1110a__isNat1010a__U41ttMNa__U42a__isNatNMNa__U42ttMNa__plusmarkNmarkMa__U11ttV2a__U12a__isNatV2a__U12tttta__U21tttta__U31ttNmarkNa__U41ttMNa__U42a__isNatNMNa__U42ttMNsa__plusmarkNmarkMa__isNat0tta__isNatplusV1V2a__U11a__isNatV1V2a__isNatsV1a__U21a__isNatV1a__plusN0a__U31a__isNatNNa__plusNsMa__U41a__isNatMMNmarkU11X1X2a__U11markX1X2markU12Xa__U12markXmarkisNatXa__isNatXmarkU21Xa__U21markXmarkU31X1X2a__U31markX1X2markU41X1X2X3a__U41markX1X2X3markU42X1X2X3a__U42markX1X2X3markplusX1X2a__plusmarkX1markX2markttttmarksXsmarkXmark00a__U11X1X2U11X1X2a__U12XU12Xa__isNatXisNatXa__U21XU21Xa__U31X1X2U31X1X2a__U41X1X2X3U41X1X2X3a__U42X1X2X3U42X1X2X3a__plusX1X2plusX1X2a__U41ttMNa__U42a__isNatNMNfalse1a__U42ttMNa__plusmarkNmarkMfalsea__U42ttMNmarkMfalse1markU11X1X2markX1markU21XmarkXmarkU41X1X2X3markX1marksXmarkXtruemarkU11X1X2markX11true1markU21XmarkX1true1markU41X1X2X3markX11true1marksXmarkX1true1markU31X1X2a__U31markX1X2falsea__plusN0a__U31a__isNatNNfalsea__plusNsMa__isNatMfalse78a__plusN0a__isNatNfalse67a__U41ttMNa__isNatNfalse56markU21Xa__U21markXfalsemarkisNatXa__isNatXfalse34markU12Xa__U12markXfalsemarkU11X1X2a__U11markX1X2false13a__U11ttV2a__isNatV2a__isNatplusV1V2a__isNatV1a__isNatplusV1V2a__U11a__isNatV1V2a__isNatsV1a__isNatV1true12a__U11ttV2a__isNatV22false1a__isNatplusV1V2a__isNatV11true1a__isNatplusV1V2a__U11a__isNatV1V21true2a__isNatsV1a__isNatV11true1a__isNatsV1a__U21a__isNatV1falsea__U11ttV2a__U12a__isNatV2falsettt2ttt2 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])))