a__zeroscons0zerosa__U11tttta__U21tttta__U31tttta__U41ttV2a__U42a__isNatIListV2a__U42tttta__U51ttV2a__U52a__isNatListV2a__U52tttta__U61ttLNa__U62a__isNatNLa__U62ttLsa__lengthmarkLa__isNat0tta__isNatlengthV1a__U11a__isNatListV1a__isNatsV1a__U21a__isNatV1a__isNatIListVa__U31a__isNatListVa__isNatIListzerostta__isNatIListconsV1V2a__U41a__isNatV1V2a__isNatListniltta__isNatListconsV1V2a__U51a__isNatV1V2a__lengthnil0a__lengthconsNLa__U61a__isNatListLLNmarkzerosa__zerosmarkU11Xa__U11markXmarkU21Xa__U21markXmarkU31Xa__U31markXmarkU41X1X2a__U41markX1X2markU42Xa__U42markXmarkisNatIListXa__isNatIListXmarkU51X1X2a__U51markX1X2markU52Xa__U52markXmarkisNatListXa__isNatListXmarkU61X1X2X3a__U61markX1X2X3markU62X1X2a__U62markX1X2markisNatXa__isNatXmarklengthXa__lengthmarkXmarkconsX1X2consmarkX1X2mark00markttttmarksXsmarkXmarknilnila__zeroszerosa__U11XU11Xa__U21XU21Xa__U31XU31Xa__U41X1X2U41X1X2a__U42XU42Xa__isNatIListXisNatIListXa__U51X1X2U51X1X2a__U52XU52Xa__isNatListXisNatListXa__U61X1X2X3U61X1X2X3a__U62X1X2U62X1X2a__isNatXisNatXa__lengthXlengthX2.1311a__length11001101011000000000tt0000000000a__isNat11000000001000000000a__U4121000000001100100000210000000000000000000cons210000000011110110112000000000a__U62210001000111111111112000000000nil0000000000U4211000000001000000000U62210001000111111111112000000000s11110000001000000000mark11000010101000000000isNatIList11001000001111000000U1111000000001000000000U51210010010011000000112000000000a__U1111000000001000000000isNat11000000001000000000a__U4211000000001000000000a__zeros0000000000a__U3111000000001111000000length11001101011000000000U41210000000011001000002100000000isNatList11000110001000000000a__U613100000000111111111121000000003000000000U613100000000111111111121000000003000000000a__isNatList11000110001000000000U2111000000001000000000U3111000000001111000000a__U51210010010011000000112000000000a__isNatIList11001000001111000000a__U5211000000001000000000a__U2111000000001000000000U5211000000001000000000zeros0000000000a__zeroscons0zerosa__U11tttta__U21tttta__U41ttV2a__U42a__isNatIListV2a__U42tttta__U51ttV2a__U52a__isNatListV2a__U52tttta__U61ttLNa__U62a__isNatNLa__U62ttLsa__lengthmarkLa__isNat0tta__isNatlengthV1a__U11a__isNatListV1a__isNatsV1a__U21a__isNatV1a__isNatIListVa__U31a__isNatListVa__isNatIListconsV1V2a__U41a__isNatV1V2a__isNatListniltta__isNatListconsV1V2a__U51a__isNatV1V2a__lengthnil0a__lengthconsNLa__U61a__isNatListLLNmarkzerosa__zerosmarkU11Xa__U11markXmarkU21Xa__U21markXmarkU31Xa__U31markXmarkU41X1X2a__U41markX1X2markU42Xa__U42markXmarkisNatIListXa__isNatIListXmarkU51X1X2a__U51markX1X2markU52Xa__U52markXmarkisNatListXa__isNatListXmarkU61X1X2X3a__U61markX1X2X3markU62X1X2a__U62markX1X2markisNatXa__isNatXmarklengthXa__lengthmarkXmarkconsX1X2consmarkX1X2mark00markttttmarksXsmarkXmarknilnila__zeroszerosa__U11XU11Xa__U21XU21Xa__U31XU31Xa__U41X1X2U41X1X2a__U42XU42Xa__isNatIListXisNatIListXa__U51X1X2U51X1X2a__U52XU52Xa__isNatListXisNatListXa__U61X1X2X3U61X1X2X3a__U62X1X2U62X1X2a__isNatXisNatXa__lengthXlengthX311a__length11101101011000000000tt0000000000a__isNat11100100001000000000a__U4121100000101100100100200000000000010000000cons210000000111101101002000000000a__U62210000001011101101102000000000nil0010000000U4211000000001000000000U62210000000011101101102000000000s11100000001000000000mark11000100101000000000isNatIList11101101001000000000U1111000000001000000000U51210000000011001001002000000000a__U1111000000011000000000isNat11100100001000000000a__U4211000000011000000000a__zeros0000000000a__U3111001001001000000000length11101101011000000000U41211000001011001001002000000000isNatList11001000101000000000a__U613100000010111011011021000001003000000000U613100000010111011011021000001003000000000a__isNatList11001000101000000000U2111000000001000000000U3111001001001000000000a__U51210000001011001001002000000000a__isNatIList11101101001000000000a__U5211000000101000000000a__U2111000000001000000000U5211000000001000000000zeros0000000000a__zeroscons0zerosa__U11tttta__U21tttta__U41ttV2a__U42a__isNatIListV2a__U42tttta__U51ttV2a__U52a__isNatListV2a__U52tttta__U61ttLNa__U62a__isNatNLa__U62ttLsa__lengthmarkLa__isNat0tta__isNatlengthV1a__U11a__isNatListV1a__isNatsV1a__U21a__isNatV1a__isNatIListVa__U31a__isNatListVa__isNatIListconsV1V2a__U41a__isNatV1V2a__isNatListconsV1V2a__U51a__isNatV1V2a__lengthconsNLa__U61a__isNatListLLNmarkzerosa__zerosmarkU11Xa__U11markXmarkU21Xa__U21markXmarkU31Xa__U31markXmarkU41X1X2a__U41markX1X2markU42Xa__U42markXmarkisNatIListXa__isNatIListXmarkU51X1X2a__U51markX1X2markU52Xa__U52markXmarkisNatListXa__isNatListXmarkU61X1X2X3a__U61markX1X2X3markU62X1X2a__U62markX1X2markisNatXa__isNatXmarklengthXa__lengthmarkXmarkconsX1X2consmarkX1X2mark00markttttmarksXsmarkXmarknilnila__zeroszerosa__U11XU11Xa__U21XU21Xa__U31XU31Xa__U41X1X2U41X1X2a__U42XU42Xa__isNatIListXisNatIListXa__U51X1X2U51X1X2a__U52XU52Xa__isNatListXisNatListXa__U61X1X2X3U61X1X2X3a__U62X1X2U62X1X2a__isNatXisNatXa__lengthXlengthX311a__length11000011101100000000tt0100000000a__isNat11000000001100000000a__U4121000100011100100100201100000000000000000cons210011010111111111112000000000a__U62210001000111001111112000000000nil0011000000U4211000100011000000000U62210001000111000110112000000000s11000100011000000000mark11000011101000000000isNatIList11001001001011000000U1111000100011000000000U51210000111011000001002000000000a__U1111000100011000000000isNat11000000001100000000a__U4211000100011000000000a__zeros0000000000a__U3111000011101000000000length11000011101100000000U41210001000111001001002011000000isNatList11000001001100000000a__U613100010001111111111121000000003000000000U613100010001111101101121000000003000000000a__isNatList11000001001100000000U2111000110111000000000U3111000011101000000000a__U51210000111011000001002000000000a__isNatIList11001001001111000000a__U5211000100011000000000a__U2111000110111000000000U5211000100011000000000zeros0000000000a__zeroscons0zerosa__U11tttta__U21tttta__U41ttV2a__U42a__isNatIListV2a__U42tttta__U51ttV2a__U52a__isNatListV2a__U52tttta__U61ttLNa__U62a__isNatNLa__U62ttLsa__lengthmarkLa__isNat0tta__isNatsV1a__U21a__isNatV1a__isNatIListVa__U31a__isNatListVa__isNatIListconsV1V2a__U41a__isNatV1V2a__isNatListconsV1V2a__U51a__isNatV1V2a__lengthconsNLa__U61a__isNatListLLNmarkzerosa__zerosmarkU11Xa__U11markXmarkU21Xa__U21markXmarkU31Xa__U31markXmarkU42Xa__U42markXmarkisNatIListXa__isNatIListXmarkU51X1X2a__U51markX1X2markU52Xa__U52markXmarkisNatListXa__isNatListXmarkU61X1X2X3a__U61markX1X2X3markU62X1X2a__U62markX1X2markisNatXa__isNatXmarklengthXa__lengthmarkXmarkconsX1X2consmarkX1X2mark00markttttmarksXsmarkXa__zeroszerosa__U11XU11Xa__U21XU21Xa__U31XU31Xa__U41X1X2U41X1X2a__U42XU42Xa__U51X1X2U51X1X2a__U52XU52Xa__isNatListXisNatListXa__U61X1X2X3U61X1X2X3a__U62X1X2U62X1X2a__isNatXisNatXa__lengthXlengthXa__U41ttV2a__isNatIListV2a__U41ttV2a__U42a__isNatIListV2a__U51ttV2a__isNatListV2a__U51ttV2a__U52a__isNatListV2a__U61ttLNa__isNatNa__U61ttLNa__U62a__isNatNLa__U62ttLmarkLa__U62ttLa__lengthmarkLa__isNatsV1a__isNatV1a__isNatsV1a__U21a__isNatV1a__isNatIListVa__isNatListVa__isNatIListVa__U31a__isNatListVa__isNatIListconsV1V2a__isNatV1a__isNatIListconsV1V2a__U41a__isNatV1V2a__isNatListconsV1V2a__isNatV1a__isNatListconsV1V2a__U51a__isNatV1V2a__lengthconsNLa__isNatListLa__lengthconsNLa__U61a__isNatListLLNmarkzerosa__zerosmarkU11XmarkXmarkU11Xa__U11markXmarkU21XmarkXmarkU21Xa__U21markXmarkU31XmarkXmarkU31Xa__U31markXmarkU42XmarkXmarkU42Xa__U42markXmarkisNatIListXa__isNatIListXmarkU51X1X2markX1markU51X1X2a__U51markX1X2markU52XmarkXmarkU52Xa__U52markXmarkisNatListXa__isNatListXmarkU61X1X2X3markX1markU61X1X2X3a__U61markX1X2X3markU62X1X2markX1markU62X1X2a__U62markX1X2markisNatXa__isNatXmarklengthXmarkXmarklengthXa__lengthmarkXmarkconsX1X2markX1marksXmarkXtruea__lengthconsNLa__U61a__isNatListLLNa__U61ttLNa__U62a__isNatNLa__U62ttLmarkLmarkU11XmarkXmarkU21XmarkXmarkU31XmarkXmarkU42XmarkXmarkU51X1X2markX1markU52XmarkXmarkU61X1X2X3markX1markU61X1X2X3a__U61markX1X2X3markU62X1X2markX1markU62X1X2a__U62markX1X2a__U62ttLa__lengthmarkLmarklengthXmarkXmarklengthXa__lengthmarkXmarkconsX1X2markX1marksXmarkXtrue1234561516171819201a__length1010tt00a__isNat101a__U41201020000cons20102a__U62201020U421010s1010U62201020mark101isNatIList1415U11171U5120102a__U11171isNat101a__U421010a__zeros01a__U31101length1010U41201020isNatList1010a__U6130102030U6130102030a__isNatList1010a__U62201020U211010U31101a__U5120102a__isNatIList1010a__U52101a__U211010a__length1010mark101U52101a__U613010203zeros01a__lengthconsNLa__U61a__isNatListLLNa__U61ttLNa__U62a__isNatNLa__U62ttLmarkLmarkU21XmarkXmarkU31XmarkXmarkU42XmarkXmarkU51X1X2markX1markU52XmarkXmarkU61X1X2X3markX1markU61X1X2X3a__U61markX1X2X3markU62X1X2markX1markU62X1X2a__U62markX1X2a__U62ttLa__lengthmarkLmarklengthXmarkXmarklengthXa__lengthmarkXmarkconsX1X2markX1marksXmarkXa__zeroscons0zerosa__U11tttta__U21tttta__U41ttV2a__U42a__isNatIListV2a__U42tttta__U51ttV2a__U52a__isNatListV2a__U52tttta__U61ttLNa__U62a__isNatNLa__U62ttLsa__lengthmarkLa__isNat0tta__isNatsV1a__U21a__isNatV1a__isNatIListVa__U31a__isNatListVa__isNatIListconsV1V2a__U41a__isNatV1V2a__isNatListconsV1V2a__U51a__isNatV1V2a__lengthconsNLa__U61a__isNatListLLNmarkzerosa__zerosmarkU11Xa__U11markXmarkU21Xa__U21markXmarkU31Xa__U31markXmarkU42Xa__U42markXmarkisNatIListXa__isNatIListXmarkU51X1X2a__U51markX1X2markU52Xa__U52markXmarkisNatListXa__isNatListXmarkU61X1X2X3a__U61markX1X2X3markU62X1X2a__U62markX1X2markisNatXa__isNatXmarklengthXa__lengthmarkXmarkconsX1X2consmarkX1X2mark00markttttmarksXsmarkXa__zeroszerosa__U11XU11Xa__U21XU21Xa__U31XU31Xa__U41X1X2U41X1X2a__U42XU42Xa__U51X1X2U51X1X2a__U52XU52Xa__isNatListXisNatListXa__U61X1X2X3U61X1X2X3a__U62X1X2U62X1X2a__isNatXisNatXa__lengthXlengthX1641a__length1010tt012a__isNat10112a__U41201020000cons2010212a__U62201020U421110s1010U62201020mark10112isNatIList1010U1110112U51201020a__U1110112isNat10112a__U421110a__zeros012a__U311110length1010U41201020isNatList1010a__U6130102030U6130102030a__isNatList1010a__U62201021U211110U311110a__U51201020a__isNatIList1010a__U521110a__U211110a__length1011mark1011U521110a__U6132102030zeros00a__U61ttLNa__U62a__isNatNLa__U62ttLmarkLmarkU21XmarkXmarkU31XmarkXmarkU42XmarkXmarkU51X1X2markX1markU52XmarkXmarkU61X1X2X3markX1markU61X1X2X3a__U61markX1X2X3markU62X1X2markX1markU62X1X2a__U62markX1X2a__U62ttLa__lengthmarkLmarklengthXmarkXmarklengthXa__lengthmarkXmarkconsX1X2markX1marksXmarkXa__zeroscons0zerosa__U11tttta__U21tttta__U41ttV2a__U42a__isNatIListV2a__U42tttta__U51ttV2a__U52a__isNatListV2a__U52tttta__U61ttLNa__U62a__isNatNLa__U62ttLsa__lengthmarkLa__isNat0tta__isNatsV1a__U21a__isNatV1a__isNatIListVa__U31a__isNatListVa__isNatIListconsV1V2a__U41a__isNatV1V2a__isNatListconsV1V2a__U51a__isNatV1V2a__lengthconsNLa__U61a__isNatListLLNmarkzerosa__zerosmarkU11Xa__U11markXmarkU21Xa__U21markXmarkU31Xa__U31markXmarkU42Xa__U42markXmarkisNatIListXa__isNatIListXmarkU51X1X2a__U51markX1X2markU52Xa__U52markXmarkisNatListXa__isNatListXmarkU61X1X2X3a__U61markX1X2X3markU62X1X2a__U62markX1X2markisNatXa__isNatXmarklengthXa__lengthmarkXmarkconsX1X2consmarkX1X2mark00markttttmarksXsmarkXa__zeroszerosa__U11XU11Xa__U21XU21Xa__U31XU31Xa__U41X1X2U41X1X2a__U42XU42Xa__U51X1X2U51X1X2a__U52XU52Xa__isNatListXisNatListXa__U61X1X2X3U61X1X2X3a__U62X1X2U62X1X2a__isNatXisNatXa__lengthXlengthXmarkU62X1X2markX1markU21XmarkXmarkU31XmarkXmarkU42XmarkXmarkU51X1X2markX1markU52XmarkXmarkU61X1X2X3markX1markU61X1X2X3a__U61markX1X2X3a__U61ttLNa__U62a__isNatNLa__U62ttLmarkLmarkU62X1X2a__U62markX1X2marklengthXmarkXmarkconsX1X2markX1marksXmarkXtrue12mark11a__U6222a__U6132a__U61ttLNa__U62a__isNatNLa__U62ttLmarkLa__U61ttLNa__U62a__isNatNLfalse1a__U62ttLmarkLfalsemarklengthXa__lengthmarkXfalsea__U62ttLa__lengthmarkLfalsemarkisNatXa__isNatXfalse2021a__lengthconsNLa__isNatListLfalse1012markisNatListXa__isNatListXfalse911markU52Xa__U52markXfalsemarkU51X1X2a__U51markX1X2false78markisNatIListXa__isNatIListXfalse1345a__isNatIListconsV1V2a__U41a__isNatV1V2a__U41ttV2a__isNatIListV2true1234a__isNatIListconsV1V2a__U41a__isNatV1V21true2a__U41ttV2a__isNatIListV22false1a__U41ttV2a__U42a__isNatIListV2falsea__isNatIListconsV1V2a__isNatV1false1213a__isNatIListVa__U31a__isNatListVfalsea__isNatIListVa__isNatListVfalse13a__isNatListconsV1V2a__U51a__isNatV1V2a__U51ttV2a__isNatListV2true12a__isNatListconsV1V2a__U51a__isNatV1V21true2a__U51ttV2a__isNatListV22false1a__U51ttV2a__U52a__isNatListV2falsea__isNatListconsV1V2a__isNatV1false78markU42Xa__U42markXfalsemarkU31Xa__U31markXfalsemarkU21Xa__U21markXfalsemarkU11Xa__U11markXfalsemarkzerosa__zerosfalsea__U61ttLNa__isNatNfalse12a__isNatsV1a__isNatV1true1a__isNatsV1a__isNatV11true1a__isNatsV1a__U21a__isNatV1falsettt2ttt2 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])))