activeU11ttV1V2markU12isNatV1V2activeU12ttV2markU13isNatV2activeU13ttmarkttactiveU21ttV1markU22isNatV1activeU22ttmarkttactiveU31ttV1V2markU32isNatV1V2activeU32ttV2markU33isNatV2activeU33ttmarkttactiveU41ttNmarkNactiveU51ttMNmarksplusNMactiveU61ttmark0activeU71ttMNmarkplusxNMNactiveandttXmarkXactiveisNat0markttactiveisNatplusV1V2markU11andisNatKindV1isNatKindV2V1V2activeisNatsV1markU21isNatKindV1V1activeisNatxV1V2markU31andisNatKindV1isNatKindV2V1V2activeisNatKind0markttactiveisNatKindplusV1V2markandisNatKindV1isNatKindV2activeisNatKindsV1markisNatKindV1activeisNatKindxV1V2markandisNatKindV1isNatKindV2activeplusN0markU41andisNatNisNatKindNNactiveplusNsMmarkU51andandisNatMisNatKindMandisNatNisNatKindNMNactivexN0markU61andisNatNisNatKindNactivexNsMmarkU71andandisNatMisNatKindMandisNatNisNatKindNMNactiveU11X1X2X3U11activeX1X2X3activeU12X1X2U12activeX1X2activeU13XU13activeXactiveU21X1X2U21activeX1X2activeU22XU22activeXactiveU31X1X2X3U31activeX1X2X3activeU32X1X2U32activeX1X2activeU33XU33activeXactiveU41X1X2U41activeX1X2activeU51X1X2X3U51activeX1X2X3activesXsactiveXactiveplusX1X2plusactiveX1X2activeplusX1X2plusX1activeX2activeU61XU61activeXactiveU71X1X2X3U71activeX1X2X3activexX1X2xactiveX1X2activexX1X2xX1activeX2activeandX1X2andactiveX1X2U11markX1X2X3markU11X1X2X3U12markX1X2markU12X1X2U13markXmarkU13XU21markX1X2markU21X1X2U22markXmarkU22XU31markX1X2X3markU31X1X2X3U32markX1X2markU32X1X2U33markXmarkU33XU41markX1X2markU41X1X2U51markX1X2X3markU51X1X2X3smarkXmarksXplusmarkX1X2markplusX1X2plusX1markX2markplusX1X2U61markXmarkU61XU71markX1X2X3markU71X1X2X3xmarkX1X2markxX1X2xX1markX2markxX1X2andmarkX1X2markandX1X2properU11X1X2X3U11properX1properX2properX3properttokttproperU12X1X2U12properX1properX2properisNatXisNatproperXproperU13XU13properXproperU21X1X2U21properX1properX2properU22XU22properXproperU31X1X2X3U31properX1properX2properX3properU32X1X2U32properX1properX2properU33XU33properXproperU41X1X2U41properX1properX2properU51X1X2X3U51properX1properX2properX3propersXsproperXproperplusX1X2plusproperX1properX2properU61XU61properXproper0ok0properU71X1X2X3U71properX1properX2properX3properxX1X2xproperX1properX2properandX1X2andproperX1properX2properisNatKindXisNatKindproperXU11okX1okX2okX3okU11X1X2X3U12okX1okX2okU12X1X2isNatokXokisNatXU13okXokU13XU21okX1okX2okU21X1X2U22okXokU22XU31okX1okX2okX3okU31X1X2X3U32okX1okX2okU32X1X2U33okXokU33XU41okX1okX2okU41X1X2U51okX1okX2okX3okU51X1X2X3sokXoksXplusokX1okX2okplusX1X2U61okXokU61XU71okX1okX2okX3okU71X1X2X3xokX1okX2okxX1X2andokX1okX2okandX1X2isNatKindokXokisNatKindXtopmarkXtopproperXtopokXtopactiveX2.1activeU11ttV1V2markU12isNatV1V2activeU12ttV2markU13isNatV2activeU13ttmarkttactiveU21ttV1markU22isNatV1activeU22ttmarkttactiveU31ttV1V2markU32isNatV1V2activeU32ttV2markU33isNatV2activeU33ttmarkttactiveU41ttNmarkNactiveU51ttMNmarksplusNMactiveU61ttmark0activeU71ttMNmarkplusxNMNactiveandttXmarkXactiveisNat0markttactiveisNatplusV1V2markU11andisNatKindV1isNatKindV2V1V2activeisNatsV1markU21isNatKindV1V1activeisNatxV1V2markU31andisNatKindV1isNatKindV2V1V2activeisNatKind0markttactiveisNatKindplusV1V2markandisNatKindV1isNatKindV2activeisNatKindsV1markisNatKindV1activeisNatKindxV1V2markandisNatKindV1isNatKindV2activeplusN0markU41andisNatNisNatKindNNactiveplusNsMmarkU51andandisNatMisNatKindMandisNatNisNatKindNMNactivexN0markU61andisNatNisNatKindNactivexNsMmarkU71andandisNatMisNatKindMandisNatNisNatKindNMNactiveU11X1X2X3U11activeX1X2X3activeU12X1X2U12activeX1X2activeU13XU13activeXactiveU21X1X2U21activeX1X2activeU22XU22activeXactiveU31X1X2X3U31activeX1X2X3activeU32X1X2U32activeX1X2activeU33XU33activeXactiveU41X1X2U41activeX1X2activeU51X1X2X3U51activeX1X2X3activesXsactiveXactiveplusX1X2plusactiveX1X2activeplusX1X2plusX1activeX2activeU61XU61activeXactiveU71X1X2X3U71activeX1X2X3activexX1X2xactiveX1X2activexX1X2xX1activeX2activeandX1X2andactiveX1X2U11markX1X2X3markU11X1X2X3U12markX1X2markU12X1X2U13markXmarkU13XU21markX1X2markU21X1X2U22markXmarkU22XU31markX1X2X3markU31X1X2X3U32markX1X2markU32X1X2U33markXmarkU33XU41markX1X2markU41X1X2U51markX1X2X3markU51X1X2X3smarkXmarksXplusmarkX1X2markplusX1X2plusX1markX2markplusX1X2U61markXmarkU61XU71markX1X2X3markU71X1X2X3xmarkX1X2markxX1X2xX1markX2markxX1X2andmarkX1X2markandX1X2properU11X1X2X3U11properX1properX2properX3properttokttproperU12X1X2U12properX1properX2properisNatXisNatproperXproperU13XU13properXproperU21X1X2U21properX1properX2properU22XU22properXproperU31X1X2X3U31properX1properX2properX3properU32X1X2U32properX1properX2properU33XU33properXproperU41X1X2U41properX1properX2properU51X1X2X3U51properX1properX2properX3propersXsproperXproperplusX1X2plusproperX1properX2properU61XU61properXproper0ok0properU71X1X2X3U71properX1properX2properX3properxX1X2xproperX1properX2properandX1X2andproperX1properX2properisNatKindXisNatKindproperXU11okX1okX2okX3okU11X1X2X3U12okX1okX2okU12X1X2isNatokXokisNatXU13okXokU13XU21okX1okX2okU21X1X2U22okXokU22XU31okX1okX2okX3okU31X1X2X3U32okX1okX2okU32X1X2U33okXokU33XU41okX1okX2okU41X1X2U51okX1okX2okX3okU51X1X2X3sokXoksXplusokX1okX2okplusX1X2U61okXokU61XU71okX1okX2okX3okU71X1X2X3xokX1okX2okxX1X2andokX1okX2okandX1X2isNatKindokXokisNatKindXtopmarkXtopproperXtopokXtopactiveXttt2ttt2 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])))