a__zeroscons0zerosa__U11ttV1a__U12a__isNatListV1a__U12tttta__U21ttV1a__U22a__isNatV1a__U22tttta__U31ttVa__U32a__isNatListVa__U32tttta__U41ttV1V2a__U42a__isNatV1V2a__U42ttV2a__U43a__isNatIListV2a__U43tttta__U51ttV1V2a__U52a__isNatV1V2a__U52ttV2a__U53a__isNatListV2a__U53tttta__U61ttLsa__lengthmarkLa__andttXmarkXa__isNat0tta__isNatlengthV1a__U11a__isNatIListKindV1V1a__isNatsV1a__U21a__isNatKindV1V1a__isNatIListVa__U31a__isNatIListKindVVa__isNatIListzerostta__isNatIListconsV1V2a__U41a__anda__isNatKindV1isNatIListKindV2V1V2a__isNatIListKindniltta__isNatIListKindzerostta__isNatIListKindconsV1V2a__anda__isNatKindV1isNatIListKindV2a__isNatKind0tta__isNatKindlengthV1a__isNatIListKindV1a__isNatKindsV1a__isNatKindV1a__isNatListniltta__isNatListconsV1V2a__U51a__anda__isNatKindV1isNatIListKindV2V1V2a__lengthnil0a__lengthconsNLa__U61a__anda__anda__isNatListLisNatIListKindLandisNatNisNatKindNLmarkzerosa__zerosmarkU11X1X2a__U11markX1X2markU12Xa__U12markXmarkisNatListXa__isNatListXmarkU21X1X2a__U21markX1X2markU22Xa__U22markXmarkisNatXa__isNatXmarkU31X1X2a__U31markX1X2markU32Xa__U32markXmarkU41X1X2X3a__U41markX1X2X3markU42X1X2a__U42markX1X2markU43Xa__U43markXmarkisNatIListXa__isNatIListXmarkU51X1X2X3a__U51markX1X2X3markU52X1X2a__U52markX1X2markU53Xa__U53markXmarkU61X1X2a__U61markX1X2marklengthXa__lengthmarkXmarkandX1X2a__andmarkX1X2markisNatIListKindXa__isNatIListKindXmarkisNatKindXa__isNatKindXmarkconsX1X2consmarkX1X2mark00markttttmarksXsmarkXmarknilnila__zeroszerosa__U11X1X2U11X1X2a__U12XU12Xa__isNatListXisNatListXa__U21X1X2U21X1X2a__U22XU22Xa__isNatXisNatXa__U31X1X2U31X1X2a__U32XU32Xa__U41X1X2X3U41X1X2X3a__U42X1X2U42X1X2a__U43XU43Xa__isNatIListXisNatIListXa__U51X1X2X3U51X1X2X3a__U52X1X2U52X1X2a__U53XU53Xa__U61X1X2U61X1X2a__lengthXlengthXa__andX1X2andX1X2a__isNatIListKindXisNatIListKindXa__isNatKindXisNatKindX2.1a__U11ttV1a__isNatListV1a__U11ttV1a__U12a__isNatListV1a__U21ttV1a__isNatV1a__U21ttV1a__U22a__isNatV1a__U31ttVa__isNatListVa__U31ttVa__U32a__isNatListVa__U41ttV1V2a__isNatV1a__U41ttV1V2a__U42a__isNatV1V2a__U42ttV2a__isNatIListV2a__U42ttV2a__U43a__isNatIListV2a__U51ttV1V2a__isNatV1a__U51ttV1V2a__U52a__isNatV1V2a__U52ttV2a__isNatListV2a__U52ttV2a__U53a__isNatListV2a__U61ttLmarkLa__U61ttLa__lengthmarkLa__andttXmarkXa__isNatlengthV1a__isNatIListKindV1a__isNatlengthV1a__U11a__isNatIListKindV1V1a__isNatsV1a__isNatKindV1a__isNatsV1a__U21a__isNatKindV1V1a__isNatIListVa__isNatIListKindVa__isNatIListVa__U31a__isNatIListKindVVa__isNatIListconsV1V2a__isNatKindV1a__isNatIListconsV1V2a__anda__isNatKindV1isNatIListKindV2a__isNatIListconsV1V2a__U41a__anda__isNatKindV1isNatIListKindV2V1V2a__isNatIListKindconsV1V2a__isNatKindV1a__isNatIListKindconsV1V2a__anda__isNatKindV1isNatIListKindV2a__isNatKindlengthV1a__isNatIListKindV1a__isNatKindsV1a__isNatKindV1a__isNatListconsV1V2a__isNatKindV1a__isNatListconsV1V2a__anda__isNatKindV1isNatIListKindV2a__isNatListconsV1V2a__U51a__anda__isNatKindV1isNatIListKindV2V1V2a__lengthconsNLa__isNatListLa__lengthconsNLa__anda__isNatListLisNatIListKindLa__lengthconsNLa__anda__anda__isNatListLisNatIListKindLandisNatNisNatKindNa__lengthconsNLa__U61a__anda__anda__isNatListLisNatIListKindLandisNatNisNatKindNLmarkzerosa__zerosmarkU11X1X2markX1markU11X1X2a__U11markX1X2markU12XmarkXmarkU12Xa__U12markXmarkisNatListXa__isNatListXmarkU21X1X2markX1markU21X1X2a__U21markX1X2markU22XmarkXmarkU22Xa__U22markXmarkisNatXa__isNatXmarkU31X1X2markX1markU31X1X2a__U31markX1X2markU32XmarkXmarkU32Xa__U32markXmarkU41X1X2X3markX1markU41X1X2X3a__U41markX1X2X3markU42X1X2markX1markU42X1X2a__U42markX1X2markU43XmarkXmarkU43Xa__U43markXmarkisNatIListXa__isNatIListXmarkU51X1X2X3markX1markU51X1X2X3a__U51markX1X2X3markU52X1X2markX1markU52X1X2a__U52markX1X2markU53XmarkXmarkU53Xa__U53markXmarkU61X1X2markX1markU61X1X2a__U61markX1X2marklengthXmarkXmarklengthXa__lengthmarkXmarkandX1X2markX1markandX1X2a__andmarkX1X2markisNatIListKindXa__isNatIListKindXmarkisNatKindXa__isNatKindXmarkconsX1X2markX1marksXmarkXtruea__isNatKindlengthV1a__isNatIListKindV1a__isNatIListKindconsV1V2a__isNatKindV1a__isNatKindsV1a__isNatKindV1a__isNatIListKindconsV1V2a__anda__isNatKindV1isNatIListKindV2a__andttXmarkXmarkU11X1X2markX1markU11X1X2a__U11markX1X2a__U11ttV1a__isNatListV1a__isNatListconsV1V2a__isNatKindV1a__isNatListconsV1V2a__anda__isNatKindV1isNatIListKindV2a__isNatListconsV1V2a__U51a__anda__isNatKindV1isNatIListKindV2V1V2a__U51ttV1V2a__isNatV1a__isNatlengthV1a__isNatIListKindV1a__isNatlengthV1a__U11a__isNatIListKindV1V1a__isNatsV1a__isNatKindV1a__isNatsV1a__U21a__isNatKindV1V1a__U21ttV1a__isNatV1a__U51ttV1V2a__U52a__isNatV1V2a__U52ttV2a__isNatListV2markU12XmarkXmarkisNatListXa__isNatListXmarkU21X1X2markX1markU21X1X2a__U21markX1X2markU22XmarkXmarkisNatXa__isNatXmarkU31X1X2markX1markU31X1X2a__U31markX1X2a__U31ttVa__isNatListVmarkU32XmarkXmarkU41X1X2X3markX1markU41X1X2X3a__U41markX1X2X3a__U41ttV1V2a__isNatV1a__U41ttV1V2a__U42a__isNatV1V2a__U42ttV2a__isNatIListV2a__isNatIListVa__isNatIListKindVa__isNatIListVa__U31a__isNatIListKindVVa__isNatIListconsV1V2a__isNatKindV1a__isNatIListconsV1V2a__anda__isNatKindV1isNatIListKindV2a__isNatIListconsV1V2a__U41a__anda__isNatKindV1isNatIListKindV2V1V2markU42X1X2markX1markU42X1X2a__U42markX1X2markU43XmarkXmarkisNatIListXa__isNatIListXmarkU51X1X2X3markX1markU51X1X2X3a__U51markX1X2X3markU52X1X2markX1markU52X1X2a__U52markX1X2markU53XmarkXmarkU61X1X2markX1markU61X1X2a__U61markX1X2a__U61ttLmarkLmarklengthXmarkXmarklengthXa__lengthmarkXa__lengthconsNLa__isNatListLa__lengthconsNLa__anda__isNatListLisNatIListKindLa__lengthconsNLa__anda__anda__isNatListLisNatIListKindLandisNatNisNatKindNa__lengthconsNLa__U61a__anda__anda__isNatListLisNatIListKindLandisNatNisNatKindNLa__U61ttLa__lengthmarkLmarkandX1X2markX1markandX1X2a__andmarkX1X2markisNatIListKindXa__isNatIListKindXmarkisNatKindXa__isNatKindXmarkconsX1X2markX1marksXmarkXtrue12345678910111a__U5220102a__isNatList101tt00a__isNatIList141a__U2120102000cons201020a__U43101mark101U2120102a__isNatIListKind101a__isNatIListKind101a__U531010and20102a__U5130102030a__isNatKind101U12101a__length161isNatIListKind101mark101U5130102030a__U1120142a__U612142U1120142a__U22101a__zeros00U321010a__U12101a__U61201620length161a__U2120102a__U1120142isNat101a__U5220102a__U42201420isNatKind101a__U321010a__isNatKind101U5220102s101a__and20102a__U413010203a__U3120142a__isNat101a__U4130142430U4130142430a__and20102a__U312102a__isNatIList101a__isNatList1010U3120142a__U513010203a__U422102a__isNat101U61201620U22101U42201420U43101U531010a__length141isNatList1010nil00isNatIList141zeros00a__isNatIListKindconsV1V2a__isNatKindV1a__isNatKindsV1a__isNatKindV1a__isNatIListKindconsV1V2a__anda__isNatKindV1isNatIListKindV2a__andttXmarkXmarkU11X1X2markX1markU11X1X2a__U11markX1X2a__isNatListconsV1V2a__isNatKindV1a__isNatListconsV1V2a__anda__isNatKindV1isNatIListKindV2a__isNatListconsV1V2a__U51a__anda__isNatKindV1isNatIListKindV2V1V2a__U51ttV1V2a__isNatV1a__isNatsV1a__isNatKindV1a__isNatsV1a__U21a__isNatKindV1V1a__U21ttV1a__isNatV1a__U51ttV1V2a__U52a__isNatV1V2a__U52ttV2a__isNatListV2markU12XmarkXmarkisNatListXa__isNatListXmarkU21X1X2markX1markU21X1X2a__U21markX1X2markU22XmarkXmarkisNatXa__isNatXmarkU31X1X2markX1a__U31ttVa__isNatListVmarkU32XmarkXmarkU41X1X2X3markX1markU41X1X2X3a__U41markX1X2X3a__U41ttV1V2a__isNatV1a__U41ttV1V2a__U42a__isNatV1V2a__U42ttV2a__isNatIListV2a__isNatIListVa__isNatIListKindVa__isNatIListVa__U31a__isNatIListKindVVa__isNatIListconsV1V2a__isNatKindV1a__isNatIListconsV1V2a__anda__isNatKindV1isNatIListKindV2a__isNatIListconsV1V2a__U41a__anda__isNatKindV1isNatIListKindV2V1V2markU42X1X2markX1markU43XmarkXmarkU51X1X2X3markX1markU51X1X2X3a__U51markX1X2X3markU52X1X2markX1markU52X1X2a__U52markX1X2markU53XmarkXmarkU61X1X2markX1a__lengthconsNLa__U61a__anda__anda__isNatListLisNatIListKindLandisNatNisNatKindNLa__U61ttLa__lengthmarkLmarkandX1X2markX1markandX1X2a__andmarkX1X2markisNatIListKindXa__isNatIListKindXmarkisNatKindXa__isNatKindXmarkconsX1X2markX1marksXmarkXa__zeroscons0zerosa__U11ttV1a__U12a__isNatListV1a__U12tttta__U21ttV1a__U22a__isNatV1a__U22tttta__U31ttVa__U32a__isNatListVa__U32tttta__U41ttV1V2a__U42a__isNatV1V2a__U42ttV2a__U43a__isNatIListV2a__U43tttta__U51ttV1V2a__U52a__isNatV1V2a__U52ttV2a__U53a__isNatListV2a__U53tttta__U61ttLsa__lengthmarkLa__andttXmarkXa__isNat0tta__isNatlengthV1a__U11a__isNatIListKindV1V1a__isNatsV1a__U21a__isNatKindV1V1a__isNatIListVa__U31a__isNatIListKindVVa__isNatIListzerostta__isNatIListconsV1V2a__U41a__anda__isNatKindV1isNatIListKindV2V1V2a__isNatIListKindniltta__isNatIListKindzerostta__isNatIListKindconsV1V2a__anda__isNatKindV1isNatIListKindV2a__isNatKind0tta__isNatKindlengthV1a__isNatIListKindV1a__isNatKindsV1a__isNatKindV1a__isNatListniltta__isNatListconsV1V2a__U51a__anda__isNatKindV1isNatIListKindV2V1V2a__lengthnil0a__lengthconsNLa__U61a__anda__anda__isNatListLisNatIListKindLandisNatNisNatKindNLmarkzerosa__zerosmarkU11X1X2a__U11markX1X2markU12Xa__U12markXmarkisNatListXa__isNatListXmarkU21X1X2a__U21markX1X2markU22Xa__U22markXmarkisNatXa__isNatXmarkU31X1X2a__U31markX1X2markU32Xa__U32markXmarkU41X1X2X3a__U41markX1X2X3markU42X1X2a__U42markX1X2markU43Xa__U43markXmarkisNatIListXa__isNatIListXmarkU51X1X2X3a__U51markX1X2X3markU52X1X2a__U52markX1X2markU53Xa__U53markXmarkU61X1X2a__U61markX1X2marklengthXa__lengthmarkXmarkandX1X2a__andmarkX1X2markisNatIListKindXa__isNatIListKindXmarkisNatKindXa__isNatKindXmarkconsX1X2consmarkX1X2mark00markttttmarksXsmarkXmarknilnila__zeroszerosa__U11X1X2U11X1X2a__U12XU12Xa__isNatListXisNatListXa__U21X1X2U21X1X2a__U22XU22Xa__isNatXisNatXa__U31X1X2U31X1X2a__U32XU32Xa__U41X1X2X3U41X1X2X3a__U42X1X2U42X1X2a__U43XU43Xa__isNatIListXisNatIListXa__U51X1X2X3U51X1X2X3a__U52X1X2U52X1X2a__U53XU53Xa__U61X1X2U61X1X2a__lengthXlengthXa__andX1X2andX1X2a__isNatIListKindXisNatIListKindXa__isNatKindXisNatKindXa__lengthconsNLa__U61a__anda__anda__isNatListLisNatIListKindLandisNatNisNatKindNLa__U61ttLa__lengthmarkLtrue1641a__U522011220tt012a__isNatIList1012a__U212010212000cons201320a__U4310112mark12112U212010212a__isNatIListKind10112a__U531110and211220a__U51301021230a__isNatKind10112U121010a__length1010isNatIListKind1010U51301021230a__U11211020U11211020a__U61221220a__U221110a__zeros012U3210112a__U1210112a__U61201020length1010isNat1010a__U42211020isNatKind1010a__U321011U522011220s1010a__and211220a__U312110212a__isNat10112a__U41301020312U41301020312a__isNatList11210U312110212U61201020U221110U42211020U4310112U531110a__length1110isNatList11210nil01isNatIList1012zeros00a__lengthconsNLa__U61a__anda__anda__isNatListLisNatIListKindLandisNatNisNatKindNLa__zeroscons0zerosa__U11ttV1a__U12a__isNatListV1a__U12tttta__U21ttV1a__U22a__isNatV1a__U22tttta__U31ttVa__U32a__isNatListVa__U32tttta__U41ttV1V2a__U42a__isNatV1V2a__U42ttV2a__U43a__isNatIListV2a__U43tttta__U51ttV1V2a__U52a__isNatV1V2a__U52ttV2a__U53a__isNatListV2a__U53tttta__U61ttLsa__lengthmarkLa__andttXmarkXa__isNat0tta__isNatlengthV1a__U11a__isNatIListKindV1V1a__isNatsV1a__U21a__isNatKindV1V1a__isNatIListVa__U31a__isNatIListKindVVa__isNatIListzerostta__isNatIListconsV1V2a__U41a__anda__isNatKindV1isNatIListKindV2V1V2a__isNatIListKindniltta__isNatIListKindzerostta__isNatIListKindconsV1V2a__anda__isNatKindV1isNatIListKindV2a__isNatKind0tta__isNatKindlengthV1a__isNatIListKindV1a__isNatKindsV1a__isNatKindV1a__isNatListniltta__isNatListconsV1V2a__U51a__anda__isNatKindV1isNatIListKindV2V1V2a__lengthnil0a__lengthconsNLa__U61a__anda__anda__isNatListLisNatIListKindLandisNatNisNatKindNLmarkzerosa__zerosmarkU11X1X2a__U11markX1X2markU12Xa__U12markXmarkisNatListXa__isNatListXmarkU21X1X2a__U21markX1X2markU22Xa__U22markXmarkisNatXa__isNatXmarkU31X1X2a__U31markX1X2markU32Xa__U32markXmarkU41X1X2X3a__U41markX1X2X3markU42X1X2a__U42markX1X2markU43Xa__U43markXmarkisNatIListXa__isNatIListXmarkU51X1X2X3a__U51markX1X2X3markU52X1X2a__U52markX1X2markU53Xa__U53markXmarkU61X1X2a__U61markX1X2marklengthXa__lengthmarkXmarkandX1X2a__andmarkX1X2markisNatIListKindXa__isNatIListKindXmarkisNatKindXa__isNatKindXmarkconsX1X2consmarkX1X2mark00markttttmarksXsmarkXmarknilnila__zeroszerosa__U11X1X2U11X1X2a__U12XU12Xa__isNatListXisNatListXa__U21X1X2U21X1X2a__U22XU22Xa__isNatXisNatXa__U31X1X2U31X1X2a__U32XU32Xa__U41X1X2X3U41X1X2X3a__U42X1X2U42X1X2a__U43XU43Xa__isNatIListXisNatIListXa__U51X1X2X3U51X1X2X3a__U52X1X2U52X1X2a__U53XU53Xa__U61X1X2U61X1X2a__lengthXlengthXa__andX1X2andX1X2a__isNatIListKindXisNatIListKindXa__isNatKindXisNatKindXa__lengthconsNLa__U61a__anda__anda__isNatListLisNatIListKindLandisNatNisNatKindNLfalsea__isNatIListKindconsV1V2a__anda__isNatKindV1isNatIListKindV2a__andttXmarkXmarkU11X1X2markX1markU12XmarkXmarkisNatListXa__isNatListXa__isNatListconsV1V2a__anda__isNatKindV1isNatIListKindV2a__isNatListconsV1V2a__U51a__anda__isNatKindV1isNatIListKindV2V1V2a__U51ttV1V2a__U52a__isNatV1V2a__U52ttV2a__isNatListV2markU21X1X2markX1markU22XmarkXmarkU31X1X2markX1markU32XmarkXmarkU41X1X2X3markX1markU41X1X2X3a__U41markX1X2X3a__U41ttV1V2a__U42a__isNatV1V2a__U42ttV2a__isNatIListV2a__isNatIListVa__isNatIListKindVa__isNatIListVa__U31a__isNatIListKindVVa__U31ttVa__isNatListVa__isNatIListconsV1V2a__anda__isNatKindV1isNatIListKindV2a__isNatIListconsV1V2a__U41a__anda__isNatKindV1isNatIListKindV2V1V2markU42X1X2markX1markU43XmarkXmarkU51X1X2X3markX1markU51X1X2X3a__U51markX1X2X3markU52X1X2markX1markU52X1X2a__U52markX1X2markU53XmarkXmarkU61X1X2markX1markandX1X2markX1markandX1X2a__andmarkX1X2markisNatIListKindXa__isNatIListKindXmarkconsX1X2markX1marksXmarkXtrue12345691011a__isNatIListKind11a__and22mark11a__U5222a__U5133a__isNatIList11a__U4222a__U4133a__U3122a__isNatList11U4221U3121U2121isNatIListKind11a__isNatIListKindconsV1V2a__anda__isNatKindV1isNatIListKindV2markU11X1X2markX1markU12XmarkXmarkisNatListXa__isNatListXa__isNatListconsV1V2a__anda__isNatKindV1isNatIListKindV2a__isNatListconsV1V2a__U51a__anda__isNatKindV1isNatIListKindV2V1V2markU22XmarkXmarkU32XmarkXmarkU41X1X2X3markX1markU41X1X2X3a__U41markX1X2X3a__isNatIListconsV1V2a__anda__isNatKindV1isNatIListKindV2a__isNatIListconsV1V2a__U41a__anda__isNatKindV1isNatIListKindV2V1V2markU43XmarkXmarkU51X1X2X3markX1markU51X1X2X3a__U51markX1X2X3markU52X1X2markX1markU52X1X2a__U52markX1X2markU53XmarkXmarkU61X1X2markX1markandX1X2markX1markandX1X2a__andmarkX1X2markconsX1X2markX1marksXmarkXa__U41ttV1V2a__U42a__isNatV1V2false1a__U42ttV2a__isNatIListV2false13a__isNatIListVa__U31a__isNatIListKindVVfalse1a__U31ttVa__isNatListVfalsea__isNatIListVa__isNatIListKindVfalsea__U51ttV1V2a__U52a__isNatV1V2false1a__U52ttV2a__isNatListV2falsea__andttXmarkXfalse12markU21X1X2markX1markU31X1X2markX1markU42X1X2markX1true1markU21X1X2markX11true1markU31X1X2markX11true1markU42X1X2markX11true1markisNatIListKindXa__isNatIListKindXfalsemarkisNatKindXa__isNatKindXfalse11a__isNatIListconsV1V2a__isNatKindV1false10a__U41ttV1V2a__isNatV1false45markisNatXa__isNatXfalse34markU21X1X2a__U21markX1X2false2a__U51ttV1V2a__isNatV1false12a__isNatsV1a__U21a__isNatKindV1V1a__U21ttV1a__isNatV1true1a__isNatsV1a__U21a__isNatKindV1V11true2a__U21ttV1a__isNatV12false1a__isNatsV1a__isNatKindV1false4a__isNatListconsV1V2a__isNatKindV1false3markU11X1X2a__U11markX1X2falsea__isNatIListKindconsV1V2a__isNatKindV1false1a__isNatKindsV1a__isNatKindV1truea__isNatKindsV1a__isNatKindV11true1markU53Xa__U53markXfalsemarkU43Xa__U43markXfalsea__U42ttV2a__U43a__isNatIListV2falsemarkU32Xa__U32markXfalsea__U31ttVa__U32a__isNatListVfalsemarkU22Xa__U22markXfalsemarkU12Xa__U12markXfalsea__U52ttV2a__U53a__isNatListV2falsea__U21ttV1a__U22a__isNatV1falsea__U11ttV1a__U12a__isNatListV1falsemarkzerosa__zerosfalsettt2ttt2 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])))