/export/starexec/sandbox2/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES a__U11ttV1V2a__U12a__isNatKindV1V1V2a__U12ttV1V2a__U13a__isNatKindV2V1V2a__U13ttV1V2a__U14a__isNatKindV2V1V2a__U14ttV1V2a__U15a__isNatV1V2a__U15ttV2a__U16a__isNatV2a__U16tttta__U21ttV1a__U22a__isNatKindV1V1a__U22ttV1a__U23a__isNatV1a__U23tttta__U31ttV2a__U32a__isNatKindV2a__U32tttta__U41tttta__U51ttNa__U52a__isNatKindNNa__U52ttNmarkNa__U61ttMNa__U62a__isNatKindMMNa__U62ttMNa__U63a__isNatNMNa__U63ttMNa__U64a__isNatKindNMNa__U64ttMNsa__plusmarkNmarkMa__isNat0tta__isNatplusV1V2a__U11a__isNatKindV1V1V2a__isNatsV1a__U21a__isNatKindV1V1a__isNatKind0tta__isNatKindplusV1V2a__U31a__isNatKindV1V2a__isNatKindsV1a__U41a__isNatKindV1a__plusN0a__U51a__isNatNNa__plusNsMa__U61a__isNatMMNmarkU11X1X2X3a__U11markX1X2X3markU12X1X2X3a__U12markX1X2X3markisNatKindXa__isNatKindXmarkU13X1X2X3a__U13markX1X2X3markU14X1X2X3a__U14markX1X2X3markU15X1X2a__U15markX1X2markisNatXa__isNatXmarkU16Xa__U16markXmarkU21X1X2a__U21markX1X2markU22X1X2a__U22markX1X2markU23Xa__U23markXmarkU31X1X2a__U31markX1X2markU32Xa__U32markXmarkU41Xa__U41markXmarkU51X1X2a__U51markX1X2markU52X1X2a__U52markX1X2markU61X1X2X3a__U61markX1X2X3markU62X1X2X3a__U62markX1X2X3markU63X1X2X3a__U63markX1X2X3markU64X1X2X3a__U64markX1X2X3markplusX1X2a__plusmarkX1markX2markttttmarksXsmarkXmark00a__U11X1X2X3U11X1X2X3a__U12X1X2X3U12X1X2X3a__isNatKindXisNatKindXa__U13X1X2X3U13X1X2X3a__U14X1X2X3U14X1X2X3a__U15X1X2U15X1X2a__isNatXisNatXa__U16XU16Xa__U21X1X2U21X1X2a__U22X1X2U22X1X2a__U23XU23Xa__U31X1X2U31X1X2a__U32XU32Xa__U41XU41Xa__U51X1X2U51X1X2a__U52X1X2U52X1X2a__U61X1X2X3U61X1X2X3a__U62X1X2X3U62X1X2X3a__U63X1X2X3U63X1X2X3a__U64X1X2X3U64X1X2X3a__plusX1X2plusX1X22.1a__U11ttV1V2a__isNatKindV1a__U11ttV1V2a__U12a__isNatKindV1V1V2a__U12ttV1V2a__isNatKindV2a__U12ttV1V2a__U13a__isNatKindV2V1V2a__U13ttV1V2a__isNatKindV2a__U13ttV1V2a__U14a__isNatKindV2V1V2a__U14ttV1V2a__isNatV1a__U14ttV1V2a__U15a__isNatV1V2a__U15ttV2a__isNatV2a__U15ttV2a__U16a__isNatV2a__U21ttV1a__isNatKindV1a__U21ttV1a__U22a__isNatKindV1V1a__U22ttV1a__isNatV1a__U22ttV1a__U23a__isNatV1a__U31ttV2a__isNatKindV2a__U31ttV2a__U32a__isNatKindV2a__U51ttNa__isNatKindNa__U51ttNa__U52a__isNatKindNNa__U52ttNmarkNa__U61ttMNa__isNatKindMa__U61ttMNa__U62a__isNatKindMMNa__U62ttMNa__isNatNa__U62ttMNa__U63a__isNatNMNa__U63ttMNa__isNatKindNa__U63ttMNa__U64a__isNatKindNMNa__U64ttMNmarkMa__U64ttMNmarkNa__U64ttMNa__plusmarkNmarkMa__isNatplusV1V2a__isNatKindV1a__isNatplusV1V2a__U11a__isNatKindV1V1V2a__isNatsV1a__isNatKindV1a__isNatsV1a__U21a__isNatKindV1V1a__isNatKindplusV1V2a__isNatKindV1a__isNatKindplusV1V2a__U31a__isNatKindV1V2a__isNatKindsV1a__isNatKindV1a__isNatKindsV1a__U41a__isNatKindV1a__plusN0a__isNatNa__plusN0a__U51a__isNatNNa__plusNsMa__isNatMa__plusNsMa__U61a__isNatMMNmarkU11X1X2X3markX1markU11X1X2X3a__U11markX1X2X3markU12X1X2X3markX1markU12X1X2X3a__U12markX1X2X3markisNatKindXa__isNatKindXmarkU13X1X2X3markX1markU13X1X2X3a__U13markX1X2X3markU14X1X2X3markX1markU14X1X2X3a__U14markX1X2X3markU15X1X2markX1markU15X1X2a__U15markX1X2markisNatXa__isNatXmarkU16XmarkXmarkU16Xa__U16markXmarkU21X1X2markX1markU21X1X2a__U21markX1X2markU22X1X2markX1markU22X1X2a__U22markX1X2markU23XmarkXmarkU23Xa__U23markXmarkU31X1X2markX1markU31X1X2a__U31markX1X2markU32XmarkXmarkU32Xa__U32markXmarkU41XmarkXmarkU41Xa__U41markXmarkU51X1X2markX1markU51X1X2a__U51markX1X2markU52X1X2markX1markU52X1X2a__U52markX1X2markU61X1X2X3markX1markU61X1X2X3a__U61markX1X2X3markU62X1X2X3markX1markU62X1X2X3a__U62markX1X2X3markU63X1X2X3markX1markU63X1X2X3a__U63markX1X2X3markU64X1X2X3markX1markU64X1X2X3a__U64markX1X2X3markplusX1X2markX2markplusX1X2markX1markplusX1X2a__plusmarkX1markX2marksXmarkXtruea__plusN0a__U51a__isNatNNa__U51ttNa__U52a__isNatKindNNa__U52ttNmarkNmarkU11X1X2X3markX1markU12X1X2X3markX1markU13X1X2X3markX1markU14X1X2X3markX1markU15X1X2markX1markU16XmarkXmarkU21X1X2markX1markU22X1X2markX1markU23XmarkXmarkU31X1X2markX1markU32XmarkXmarkU41XmarkXmarkU51X1X2markX1markU51X1X2a__U51markX1X2markU52X1X2markX1markU52X1X2a__U52markX1X2markU61X1X2X3markX1markU61X1X2X3a__U61markX1X2X3a__U61ttMNa__U62a__isNatKindMMNa__U62ttMNa__U63a__isNatNMNa__U63ttMNa__U64a__isNatKindNMNa__U64ttMNmarkMmarkU62X1X2X3markX1markU62X1X2X3a__U62markX1X2X3markU63X1X2X3markX1markU63X1X2X3a__U63markX1X2X3markU64X1X2X3markX1markU64X1X2X3a__U64markX1X2X3a__U64ttMNmarkNmarkplusX1X2markX2markplusX1X2markX1markplusX1X2a__plusmarkX1markX2a__plusNsMa__U61a__isNatMMNmarksXmarkXa__U64ttMNa__plusmarkNmarkMtrue12345678910111213141516171819291a__U613010263a__U1330102030a__U51261120a__U16101a__U113014203a__U123010203a__U5220112a__U643010263U231010U113014203a__U613010263isNat101a__U6230102630mark101a__U5120102U123010203U2120102a__plus26102isNatKind101a__U6330102630U6330102630a__U1430102030a__U6230102630U16101a__U2220102tt00U41101a__U1520102a__U6330102630plus26102U1430102030mark1010a__U41101U1520102a__U3124102U643010263s101000a__U231010a__U2120102a__U321010U51261120a__plus261020a__isNat101U321010a__U52201020U3124102U5220112U613010263a__U6430102630U2220102U1330102030U6230102630a__isNatKind101a__U51ttNa__U52a__isNatKindNNa__U52ttNmarkNmarkU11X1X2X3markX1markU12X1X2X3markX1markU13X1X2X3markX1markU14X1X2X3markX1markU15X1X2markX1markU16XmarkXmarkU21X1X2markX1markU22X1X2markX1markU23XmarkXmarkU31X1X2markX1markU32XmarkXmarkU41XmarkXmarkU51X1X2markX1markU52X1X2markX1markU52X1X2a__U52markX1X2markU61X1X2X3markX1markU61X1X2X3a__U61markX1X2X3a__U61ttMNa__U62a__isNatKindMMNa__U62ttMNa__U63a__isNatNMNa__U63ttMNa__U64a__isNatKindNMNa__U64ttMNmarkMmarkU62X1X2X3markX1markU62X1X2X3a__U62markX1X2X3markU63X1X2X3markX1markU63X1X2X3a__U63markX1X2X3markU64X1X2X3markX1markU64X1X2X3a__U64markX1X2X3a__U64ttMNmarkNmarkplusX1X2markX2markplusX1X2markX1markplusX1X2a__plusmarkX1markX2a__plusNsMa__U61a__isNatMMNmarksXmarkXa__U64ttMNa__plusmarkNmarkMa__U11ttV1V2a__U12a__isNatKindV1V1V2a__U12ttV1V2a__U13a__isNatKindV2V1V2a__U13ttV1V2a__U14a__isNatKindV2V1V2a__U14ttV1V2a__U15a__isNatV1V2a__U15ttV2a__U16a__isNatV2a__U16tttta__U21ttV1a__U22a__isNatKindV1V1a__U22ttV1a__U23a__isNatV1a__U23tttta__U31ttV2a__U32a__isNatKindV2a__U32tttta__U41tttta__U51ttNa__U52a__isNatKindNNa__U52ttNmarkNa__U61ttMNa__U62a__isNatKindMMNa__U62ttMNa__U63a__isNatNMNa__U63ttMNa__U64a__isNatKindNMNa__U64ttMNsa__plusmarkNmarkMa__isNat0tta__isNatplusV1V2a__U11a__isNatKindV1V1V2a__isNatsV1a__U21a__isNatKindV1V1a__isNatKind0tta__isNatKindplusV1V2a__U31a__isNatKindV1V2a__isNatKindsV1a__U41a__isNatKindV1a__plusN0a__U51a__isNatNNa__plusNsMa__U61a__isNatMMNmarkU11X1X2X3a__U11markX1X2X3markU12X1X2X3a__U12markX1X2X3markisNatKindXa__isNatKindXmarkU13X1X2X3a__U13markX1X2X3markU14X1X2X3a__U14markX1X2X3markU15X1X2a__U15markX1X2markisNatXa__isNatXmarkU16Xa__U16markXmarkU21X1X2a__U21markX1X2markU22X1X2a__U22markX1X2markU23Xa__U23markXmarkU31X1X2a__U31markX1X2markU32Xa__U32markXmarkU41Xa__U41markXmarkU51X1X2a__U51markX1X2markU52X1X2a__U52markX1X2markU61X1X2X3a__U61markX1X2X3markU62X1X2X3a__U62markX1X2X3markU63X1X2X3a__U63markX1X2X3markU64X1X2X3a__U64markX1X2X3markplusX1X2a__plusmarkX1markX2markttttmarksXsmarkXmark00a__U11X1X2X3U11X1X2X3a__U12X1X2X3U12X1X2X3a__isNatKindXisNatKindXa__U13X1X2X3U13X1X2X3a__U14X1X2X3U14X1X2X3a__U15X1X2U15X1X2a__isNatXisNatXa__U16XU16Xa__U21X1X2U21X1X2a__U22X1X2U22X1X2a__U23XU23Xa__U31X1X2U31X1X2a__U32XU32Xa__U41XU41Xa__U51X1X2U51X1X2a__U52X1X2U52X1X2a__U61X1X2X3U61X1X2X3a__U62X1X2X3U62X1X2X3a__U63X1X2X3U63X1X2X3a__U64X1X2X3U64X1X2X3a__plusX1X2plusX1X2a__U51ttNa__U52a__isNatKindNNfalse1a__plusNsMa__U61a__isNatMMNa__U61ttMNa__U62a__isNatKindMMNa__U62ttMNa__U63a__isNatNMNa__U63ttMNa__U64a__isNatKindNMNa__U64ttMNmarkMmarkU11X1X2X3markX1markU12X1X2X3markX1markU13X1X2X3markX1markU14X1X2X3markX1markU15X1X2markX1markU16XmarkXmarkU21X1X2markX1markU22X1X2markX1markU23XmarkXmarkU31X1X2markX1markU32XmarkXmarkU41XmarkXmarkU51X1X2markX1markU52X1X2markX1markU52X1X2a__U52markX1X2a__U52ttNmarkNmarkU61X1X2X3markX1markU61X1X2X3a__U61markX1X2X3markU62X1X2X3markX1markU62X1X2X3a__U62markX1X2X3markU63X1X2X3markX1markU63X1X2X3a__U63markX1X2X3markU64X1X2X3markX1markU64X1X2X3a__U64markX1X2X3a__U64ttMNmarkNmarkplusX1X2markX2markplusX1X2markX1markplusX1X2a__plusmarkX1markX2marksXmarkXa__U64ttMNa__plusmarkNmarkMtrue311a__U613000010000100001000020110110003010000000a__U133000010000100000000020000000003000000000a__U51200001001110000100012000000000a__U1610000100001000000000a__U113000010000100000000020000000003000000000a__U123000010000100000000020000000003000000000a__U52200001000010000100012000000000a__U643001010000100001000020010110003010000000U2310000100001000000000U113000010000100000000020000000003000000000a__U613000000000100010000020001000003100000000isNat10010000001000000000a__U623000010000100001000020110110003010000000mark10000100011000000000U123000010000100000000020000000003000000000U21200001000010000000002000000000a__plus201101100110000100002000000000isNatKind10000000001000000000a__U633000000000100010000020001000003100000000U633000010010100001000020010110003010000000a__U143000010000100000000020000000003000000000U1610000100001000000000a__U623000000000100010000020001000003100000000a__U22200001000010000000002000000000tt0000000000U4110000100001000000000a__U15200001000010000000002000000000a__U633000010010100001000020010110003010000000plus200001100110000100002000000000U143000010000100000000020000000003000000000mark10001000001100000000a__U4110000100001000000000U15200001000010000000002000000000a__U31200001000010000000002000000000U643001010000100001000020010110003010000000s1000010000101000000000000000000a__U2310000100001000000000a__U21200001000010000000002000000000a__U3210000100001000000000U51200001001110000100012000000000a__plus200010000010001000002100000000a__isNat10010000001000000000a__U52200000000010001000002100000000U3210000100001000000000U31200001000010000000002000000000U52200001000010000100012000000000U613000010000100001000020110110003010000000a__U643000000000100010000020001000003100000000U22200001000010000000002000000000U133000010000100000000020000000003000000000U623000010000100001000020110110003010000000a__isNatKind10000000001000000000a__U61ttMNa__U62a__isNatKindMMNa__U62ttMNa__U63a__isNatNMNa__U63ttMNa__U64a__isNatKindNMNa__U64ttMNmarkMmarkU11X1X2X3markX1markU12X1X2X3markX1markU13X1X2X3markX1markU14X1X2X3markX1markU15X1X2markX1markU16XmarkXmarkU21X1X2markX1markU22X1X2markX1markU23XmarkXmarkU31X1X2markX1markU32XmarkXmarkU41XmarkXmarkU51X1X2markX1markU52X1X2markX1markU52X1X2a__U52markX1X2a__U52ttNmarkNa__U64ttMNmarkNmarkplusX1X2markX2markplusX1X2markX1markplusX1X2a__plusmarkX1markX2a__U64ttMNa__plusmarkNmarkMa__U11ttV1V2a__U12a__isNatKindV1V1V2a__U12ttV1V2a__U13a__isNatKindV2V1V2a__U13ttV1V2a__U14a__isNatKindV2V1V2a__U14ttV1V2a__U15a__isNatV1V2a__U15ttV2a__U16a__isNatV2a__U16tttta__U21ttV1a__U22a__isNatKindV1V1a__U22ttV1a__U23a__isNatV1a__U23tttta__U31ttV2a__U32a__isNatKindV2a__U32tttta__U41tttta__U51ttNa__U52a__isNatKindNNa__U52ttNmarkNa__U61ttMNa__U62a__isNatKindMMNa__U62ttMNa__U63a__isNatNMNa__U63ttMNa__U64a__isNatKindNMNa__U64ttMNsa__plusmarkNmarkMa__isNat0tta__isNatplusV1V2a__U11a__isNatKindV1V1V2a__isNatsV1a__U21a__isNatKindV1V1a__isNatKind0tta__isNatKindplusV1V2a__U31a__isNatKindV1V2a__isNatKindsV1a__U41a__isNatKindV1a__plusN0a__U51a__isNatNNa__plusNsMa__U61a__isNatMMNmarkU11X1X2X3a__U11markX1X2X3markU12X1X2X3a__U12markX1X2X3markisNatKindXa__isNatKindXmarkU13X1X2X3a__U13markX1X2X3markU14X1X2X3a__U14markX1X2X3markU15X1X2a__U15markX1X2markisNatXa__isNatXmarkU16Xa__U16markXmarkU21X1X2a__U21markX1X2markU22X1X2a__U22markX1X2markU23Xa__U23markXmarkU31X1X2a__U31markX1X2markU32Xa__U32markXmarkU41Xa__U41markXmarkU51X1X2a__U51markX1X2markU52X1X2a__U52markX1X2markU61X1X2X3a__U61markX1X2X3markU62X1X2X3a__U62markX1X2X3markU63X1X2X3a__U63markX1X2X3markU64X1X2X3a__U64markX1X2X3markplusX1X2a__plusmarkX1markX2markttttmarksXsmarkXmark00a__U11X1X2X3U11X1X2X3a__U12X1X2X3U12X1X2X3a__isNatKindXisNatKindXa__U13X1X2X3U13X1X2X3a__U14X1X2X3U14X1X2X3a__U15X1X2U15X1X2a__isNatXisNatXa__U16XU16Xa__U21X1X2U21X1X2a__U22X1X2U22X1X2a__U23XU23Xa__U31X1X2U31X1X2a__U32XU32Xa__U41XU41Xa__U51X1X2U51X1X2a__U52X1X2U52X1X2a__U61X1X2X3U61X1X2X3a__U62X1X2X3U62X1X2X3a__U63X1X2X3U63X1X2X3a__U64X1X2X3U64X1X2X3a__plusX1X2plusX1X2a__U61ttMNa__U62a__isNatKindMMNfalse1a__U62ttMNa__U63a__isNatNMNfalse1a__U63ttMNa__U64a__isNatKindNMNfalse125a__U64ttMNmarkNfalse23a__U64ttMNmarkMfalse12markU11X1X2X3markX1markU12X1X2X3markX1markU13X1X2X3markX1markU14X1X2X3markX1markU15X1X2markX1markU16XmarkXmarkU21X1X2markX1markU22X1X2markX1markU23XmarkXmarkU31X1X2markX1markU32XmarkXmarkU41XmarkXmarkU51X1X2markX1markU52X1X2markX1markU52X1X2a__U52markX1X2a__U52ttNmarkNmarkplusX1X2markX2markplusX1X2markX1true1mark11a__U5222a__U52ttNmarkNa__U52ttNmarkNfalsemarkplusX1X2a__plusmarkX1markX2falsea__U64ttMNa__plusmarkNmarkMfalsea__plusNsMa__isNatMfalse192324a__plusN0a__isNatNfalse182223a__U63ttMNa__isNatKindNfalse2729a__U62ttMNa__isNatNfalse162021a__U61ttMNa__isNatKindMfalse2527markU41Xa__U41markXfalsemarkU32Xa__U32markXfalsemarkU31X1X2a__U31markX1X2false2223markU23Xa__U23markXfalsemarkU22X1X2a__U22markX1X2false1012markU21X1X2a__U21markX1X2false912markU16Xa__U16markXfalsemarkisNatXa__isNatXfalse71112markU15X1X2a__U15markX1X2false67markU14X1X2X3a__U14markX1X2X3false5markU13X1X2X3a__U13markX1X2X3false410markisNatKindXa__isNatKindXfalse1315markU12X1X2X3a__U12markX1X2X3false29markU11X1X2X3a__U11markX1X2X3false19a__U11ttV1V2a__U12a__isNatKindV1V1V2a__U12ttV1V2a__U13a__isNatKindV2V1V2a__U13ttV1V2a__U14a__isNatKindV2V1V2a__U14ttV1V2a__isNatV1a__isNatplusV1V2a__U11a__isNatKindV1V1V2a__isNatsV1a__U21a__isNatKindV1V1a__U21ttV1a__U22a__isNatKindV1V1a__U22ttV1a__isNatV1a__U14ttV1V2a__U15a__isNatV1V2a__U15ttV2a__isNatV2true12345678a__U11ttV1V2a__U12a__isNatKindV1V1V23false32false2a__U12ttV1V2a__U13a__isNatKindV2V1V23false32false2a__U13ttV1V2a__U14a__isNatKindV2V1V23false32false2a__U14ttV1V2a__isNatV12false1a__isNatplusV1V2a__U11a__isNatKindV1V1V21true31true2a__isNatsV1a__U21a__isNatKindV1V11true2a__U21ttV1a__U22a__isNatKindV1V12false2a__U22ttV1a__isNatV12false1a__U14ttV1V2a__U15a__isNatV1V23false2a__U15ttV2a__isNatV22false1a__U15ttV2a__U16a__isNatV2falsea__U22ttV1a__U23a__isNatV1falsea__U21ttV1a__isNatKindV1false79a__isNatsV1a__isNatKindV1false68a__isNatplusV1V2a__isNatKindV1false57a__U13ttV1V2a__isNatKindV2false46a__U12ttV1V2a__isNatKindV2false35a__U11ttV1V2a__isNatKindV1false24a__U51ttNa__isNatKindNfalse13a__isNatKindplusV1V2a__isNatKindV1a__isNatKindplusV1V2a__U31a__isNatKindV1V2a__U31ttV2a__isNatKindV2a__isNatKindsV1a__isNatKindV1true12a__isNatKindplusV1V2a__isNatKindV11true1a__isNatKindplusV1V2a__U31a__isNatKindV1V21true2a__U31ttV2a__isNatKindV22false1a__isNatKindsV1a__isNatKindV11true1a__U31ttV2a__U32a__isNatKindV2falsea__isNatKindsV1a__U41a__isNatKindV1falsettt2ttt2 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])))