a__zeroscons0zerosa__U11ttV1a__U12a__isNatIListKindV1V1a__U12ttV1a__U13a__isNatListV1a__U13tttta__U21ttV1a__U22a__isNatKindV1V1a__U22ttV1a__U23a__isNatV1a__U23tttta__U31ttVa__U32a__isNatIListKindVVa__U32ttVa__U33a__isNatListVa__U33tttta__U41ttV1V2a__U42a__isNatKindV1V1V2a__U42ttV1V2a__U43a__isNatIListKindV2V1V2a__U43ttV1V2a__U44a__isNatIListKindV2V1V2a__U44ttV1V2a__U45a__isNatV1V2a__U45ttV2a__U46a__isNatIListV2a__U46tttta__U51ttV2a__U52a__isNatIListKindV2a__U52tttta__U61tttta__U71tttta__U81ttV1V2a__U82a__isNatKindV1V1V2a__U82ttV1V2a__U83a__isNatIListKindV2V1V2a__U83ttV1V2a__U84a__isNatIListKindV2V1V2a__U84ttV1V2a__U85a__isNatV1V2a__U85ttV2a__U86a__isNatListV2a__U86tttta__U91ttLNa__U92a__isNatIListKindLLNa__U92ttLNa__U93a__isNatNLNa__U93ttLNa__U94a__isNatKindNLa__U94ttLsa__lengthmarkLa__isNat0tta__isNatlengthV1a__U11a__isNatIListKindV1V1a__isNatsV1a__U21a__isNatKindV1V1a__isNatIListVa__U31a__isNatIListKindVVa__isNatIListzerostta__isNatIListconsV1V2a__U41a__isNatKindV1V1V2a__isNatIListKindniltta__isNatIListKindzerostta__isNatIListKindconsV1V2a__U51a__isNatKindV1V2a__isNatKind0tta__isNatKindlengthV1a__U61a__isNatIListKindV1a__isNatKindsV1a__U71a__isNatKindV1a__isNatListniltta__isNatListconsV1V2a__U81a__isNatKindV1V1V2a__lengthnil0a__lengthconsNLa__U91a__isNatListLLNmarkzerosa__zerosmarkU11X1X2a__U11markX1X2markU12X1X2a__U12markX1X2markisNatIListKindXa__isNatIListKindXmarkU13Xa__U13markXmarkisNatListXa__isNatListXmarkU21X1X2a__U21markX1X2markU22X1X2a__U22markX1X2markisNatKindXa__isNatKindXmarkU23Xa__U23markXmarkisNatXa__isNatXmarkU31X1X2a__U31markX1X2markU32X1X2a__U32markX1X2markU33Xa__U33markXmarkU41X1X2X3a__U41markX1X2X3markU42X1X2X3a__U42markX1X2X3markU43X1X2X3a__U43markX1X2X3markU44X1X2X3a__U44markX1X2X3markU45X1X2a__U45markX1X2markU46Xa__U46markXmarkisNatIListXa__isNatIListXmarkU51X1X2a__U51markX1X2markU52Xa__U52markXmarkU61Xa__U61markXmarkU71Xa__U71markXmarkU81X1X2X3a__U81markX1X2X3markU82X1X2X3a__U82markX1X2X3markU83X1X2X3a__U83markX1X2X3markU84X1X2X3a__U84markX1X2X3markU85X1X2a__U85markX1X2markU86Xa__U86markXmarkU91X1X2X3a__U91markX1X2X3markU92X1X2X3a__U92markX1X2X3markU93X1X2X3a__U93markX1X2X3markU94X1X2a__U94markX1X2marklengthXa__lengthmarkXmarkconsX1X2consmarkX1X2mark00markttttmarksXsmarkXmarknilnila__zeroszerosa__U11X1X2U11X1X2a__U12X1X2U12X1X2a__isNatIListKindXisNatIListKindXa__U13XU13Xa__isNatListXisNatListXa__U21X1X2U21X1X2a__U22X1X2U22X1X2a__isNatKindXisNatKindXa__U23XU23Xa__isNatXisNatXa__U31X1X2U31X1X2a__U32X1X2U32X1X2a__U33XU33Xa__U41X1X2X3U41X1X2X3a__U42X1X2X3U42X1X2X3a__U43X1X2X3U43X1X2X3a__U44X1X2X3U44X1X2X3a__U45X1X2U45X1X2a__U46XU46Xa__isNatIListXisNatIListXa__U51X1X2U51X1X2a__U52XU52Xa__U61XU61Xa__U71XU71Xa__U81X1X2X3U81X1X2X3a__U82X1X2X3U82X1X2X3a__U83X1X2X3U83X1X2X3a__U84X1X2X3U84X1X2X3a__U85X1X2U85X1X2a__U86XU86Xa__U91X1X2X3U91X1X2X3a__U92X1X2X3U92X1X2X3a__U93X1X2X3U93X1X2X3a__U94X1X2U94X1X2a__lengthXlengthX2.1a__zeroscons0zerosa__U11ttV1a__U12a__isNatIListKindV1V1a__U12ttV1a__U13a__isNatListV1a__U13tttta__U21ttV1a__U22a__isNatKindV1V1a__U22ttV1a__U23a__isNatV1a__U23tttta__U31ttVa__U32a__isNatIListKindVVa__U32ttVa__U33a__isNatListVa__U33tttta__U41ttV1V2a__U42a__isNatKindV1V1V2a__U42ttV1V2a__U43a__isNatIListKindV2V1V2a__U43ttV1V2a__U44a__isNatIListKindV2V1V2a__U44ttV1V2a__U45a__isNatV1V2a__U45ttV2a__U46a__isNatIListV2a__U46tttta__U51ttV2a__U52a__isNatIListKindV2a__U52tttta__U61tttta__U71tttta__U81ttV1V2a__U82a__isNatKindV1V1V2a__U82ttV1V2a__U83a__isNatIListKindV2V1V2a__U83ttV1V2a__U84a__isNatIListKindV2V1V2a__U84ttV1V2a__U85a__isNatV1V2a__U85ttV2a__U86a__isNatListV2a__U86tttta__U91ttLNa__U92a__isNatIListKindLLNa__U92ttLNa__U93a__isNatNLNa__U93ttLNa__U94a__isNatKindNLa__U94ttLsa__lengthmarkLa__isNat0tta__isNatlengthV1a__U11a__isNatIListKindV1V1a__isNatsV1a__U21a__isNatKindV1V1a__isNatIListVa__U31a__isNatIListKindVVa__isNatIListzerostta__isNatIListconsV1V2a__U41a__isNatKindV1V1V2a__isNatIListKindniltta__isNatIListKindzerostta__isNatIListKindconsV1V2a__U51a__isNatKindV1V2a__isNatKind0tta__isNatKindlengthV1a__U61a__isNatIListKindV1a__isNatKindsV1a__U71a__isNatKindV1a__isNatListniltta__isNatListconsV1V2a__U81a__isNatKindV1V1V2a__lengthnil0a__lengthconsNLa__U91a__isNatListLLNmarkzerosa__zerosmarkU11X1X2a__U11markX1X2markU12X1X2a__U12markX1X2markisNatIListKindXa__isNatIListKindXmarkU13Xa__U13markXmarkisNatListXa__isNatListXmarkU21X1X2a__U21markX1X2markU22X1X2a__U22markX1X2markisNatKindXa__isNatKindXmarkU23Xa__U23markXmarkisNatXa__isNatXmarkU31X1X2a__U31markX1X2markU32X1X2a__U32markX1X2markU33Xa__U33markXmarkU41X1X2X3a__U41markX1X2X3markU42X1X2X3a__U42markX1X2X3markU43X1X2X3a__U43markX1X2X3markU44X1X2X3a__U44markX1X2X3markU45X1X2a__U45markX1X2markU46Xa__U46markXmarkisNatIListXa__isNatIListXmarkU51X1X2a__U51markX1X2markU52Xa__U52markXmarkU61Xa__U61markXmarkU71Xa__U71markXmarkU81X1X2X3a__U81markX1X2X3markU82X1X2X3a__U82markX1X2X3markU83X1X2X3a__U83markX1X2X3markU84X1X2X3a__U84markX1X2X3markU85X1X2a__U85markX1X2markU86Xa__U86markXmarkU91X1X2X3a__U91markX1X2X3markU92X1X2X3a__U92markX1X2X3markU93X1X2X3a__U93markX1X2X3markU94X1X2a__U94markX1X2marklengthXa__lengthmarkXmarkconsX1X2consmarkX1X2mark00markttttmarksXsmarkXmarknilnila__zeroszerosa__U11X1X2U11X1X2a__U12X1X2U12X1X2a__isNatIListKindXisNatIListKindXa__U13XU13Xa__isNatListXisNatListXa__U21X1X2U21X1X2a__U22X1X2U22X1X2a__isNatKindXisNatKindXa__U23XU23Xa__isNatXisNatXa__U31X1X2U31X1X2a__U32X1X2U32X1X2a__U33XU33Xa__U41X1X2X3U41X1X2X3a__U42X1X2X3U42X1X2X3a__U43X1X2X3U43X1X2X3a__U44X1X2X3U44X1X2X3a__U45X1X2U45X1X2a__U46XU46Xa__isNatIListXisNatIListXa__U51X1X2U51X1X2a__U52XU52Xa__U61XU61Xa__U71XU71Xa__U81X1X2X3U81X1X2X3a__U82X1X2X3U82X1X2X3a__U83X1X2X3U83X1X2X3a__U84X1X2X3U84X1X2X3a__U85X1X2U85X1X2a__U86XU86Xa__U91X1X2X3U91X1X2X3a__U92X1X2X3U92X1X2X3a__U93X1X2X3U93X1X2X3a__U94X1X2U94X1X2a__lengthXlengthXttt2ttt2 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])))