/export/starexec/sandbox/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES activeU11ttV2markU12isNatV2activeU12ttmarkttactiveU21ttmarkttactiveU31ttNmarkNactiveU41ttMNmarkU42isNatNMNactiveU42ttMNmarksplusNMactiveisNat0markttactiveisNatplusV1V2markU11isNatV1V2activeisNatsV1markU21isNatV1activeplusN0markU31isNatNNactiveplusNsMmarkU41isNatMMNmarkU11X1X2activeU11markX1X2markttactivettmarkU12XactiveU12markXmarkisNatXactiveisNatXmarkU21XactiveU21markXmarkU31X1X2activeU31markX1X2markU41X1X2X3activeU41markX1X2X3markU42X1X2X3activeU42markX1X2X3marksXactivesmarkXmarkplusX1X2activeplusmarkX1markX2mark0active0U11markX1X2U11X1X2U11X1markX2U11X1X2U11activeX1X2U11X1X2U11X1activeX2U11X1X2U12markXU12XU12activeXU12XisNatmarkXisNatXisNatactiveXisNatXU21markXU21XU21activeXU21XU31markX1X2U31X1X2U31X1markX2U31X1X2U31activeX1X2U31X1X2U31X1activeX2U31X1X2U41markX1X2X3U41X1X2X3U41X1markX2X3U41X1X2X3U41X1X2markX3U41X1X2X3U41activeX1X2X3U41X1X2X3U41X1activeX2X3U41X1X2X3U41X1X2activeX3U41X1X2X3U42markX1X2X3U42X1X2X3U42X1markX2X3U42X1X2X3U42X1X2markX3U42X1X2X3U42activeX1X2X3U42X1X2X3U42X1activeX2X3U42X1X2X3U42X1X2activeX3U42X1X2X3smarkXsXsactiveXsXplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X22.1activeU11ttV2isNatV2activeU11ttV2U12isNatV2activeU11ttV2markU12isNatV2activeU12ttmarkttactiveU21ttmarkttactiveU31ttNmarkNactiveU41ttMNisNatNactiveU41ttMNU42isNatNMNactiveU41ttMNmarkU42isNatNMNactiveU42ttMNplusNMactiveU42ttMNsplusNMactiveU42ttMNmarksplusNMactiveisNat0markttactiveisNatplusV1V2isNatV1activeisNatplusV1V2U11isNatV1V2activeisNatplusV1V2markU11isNatV1V2activeisNatsV1isNatV1activeisNatsV1U21isNatV1activeisNatsV1markU21isNatV1activeplusN0isNatNactiveplusN0U31isNatNNactiveplusN0markU31isNatNNactiveplusNsMisNatMactiveplusNsMU41isNatMMNactiveplusNsMmarkU41isNatMMNmarkU11X1X2markX1markU11X1X2U11markX1X2markU11X1X2activeU11markX1X2markttactivettmarkU12XmarkXmarkU12XU12markXmarkU12XactiveU12markXmarkisNatXactiveisNatXmarkU21XmarkXmarkU21XU21markXmarkU21XactiveU21markXmarkU31X1X2markX1markU31X1X2U31markX1X2markU31X1X2activeU31markX1X2markU41X1X2X3markX1markU41X1X2X3U41markX1X2X3markU41X1X2X3activeU41markX1X2X3markU42X1X2X3markX1markU42X1X2X3U42markX1X2X3markU42X1X2X3activeU42markX1X2X3marksXmarkXmarksXsmarkXmarksXactivesmarkXmarkplusX1X2markX2markplusX1X2markX1markplusX1X2plusmarkX1markX2markplusX1X2activeplusmarkX1markX2mark0active0U11markX1X2U11X1X2U11X1markX2U11X1X2U11activeX1X2U11X1X2U11X1activeX2U11X1X2U12markXU12XU12activeXU12XisNatmarkXisNatXisNatactiveXisNatXU21markXU21XU21activeXU21XU31markX1X2U31X1X2U31X1markX2U31X1X2U31activeX1X2U31X1X2U31X1activeX2U31X1X2U41markX1X2X3U41X1X2X3U41X1markX2X3U41X1X2X3U41X1X2markX3U41X1X2X3U41activeX1X2X3U41X1X2X3U41X1activeX2X3U41X1X2X3U41X1X2activeX3U41X1X2X3U42markX1X2X3U42X1X2X3U42X1markX2X3U42X1X2X3U42X1X2markX3U42X1X2X3U42activeX1X2X3U42X1X2X3U42X1activeX2X3U42X1X2X3U42X1X2activeX3U42X1X2X3smarkXsXsactiveXsXplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X2truemarksXmarkXmarkplusX1X2activeplusmarkX1markX2activeplusNsMmarkU41isNatMMNmarkU41X1X2X3activeU41markX1X2X3activeU41ttMNmarkU42isNatNMNmarkU42X1X2X3activeU42markX1X2X3activeU42ttMNmarksplusNMmarkU42X1X2X3markX1markplusX1X2markX1markplusX1X2markX2markU41X1X2X3markX1markU31X1X2activeU31markX1X2activeU31ttNmarkNmarkU31X1X2markX1markU21XmarkXmarkisNatXactiveisNatXactiveisNatsV1markU21isNatV1activeisNatplusV1V2markU11isNatV1V2markU11X1X2activeU11markX1X2activeU11ttV2markU12isNatV2markU12XmarkXmarkU11X1X2markX1activeplusN0markU31isNatNNtrue123456789101112131517192021232425262728293031321U12101U413010213U112012isNat110mark101-16mark101plus211020tt00U3120102002s101U4230102130active101-16U21101active101marksXmarkXmarkplusX1X2activeplusmarkX1markX2activeplusNsMmarkU41isNatMMNmarkU41X1X2X3activeU41markX1X2X3activeU41ttMNmarkU42isNatNMNmarkU42X1X2X3activeU42markX1X2X3activeU42ttMNmarksplusNMmarkU42X1X2X3markX1markplusX1X2markX2markU41X1X2X3markX1markU31X1X2activeU31markX1X2activeU31ttNmarkNmarkU31X1X2markX1markU21XmarkXmarkisNatXactiveisNatXactiveisNatsV1markU21isNatV1activeisNatplusV1V2markU11isNatV1V2markU11X1X2activeU11markX1X2activeU11ttV2markU12isNatV2markU12XmarkXmarkU11X1X2markX1activeU11ttV2markU12isNatV2activeU12ttmarkttactiveU21ttmarkttactiveU31ttNmarkNactiveU41ttMNmarkU42isNatNMNactiveU42ttMNmarksplusNMactiveisNat0markttactiveisNatplusV1V2markU11isNatV1V2activeisNatsV1markU21isNatV1activeplusN0markU31isNatNNactiveplusNsMmarkU41isNatMMNmarkU11X1X2activeU11markX1X2markttactivettmarkU12XactiveU12markXmarkisNatXactiveisNatXmarkU21XactiveU21markXmarkU31X1X2activeU31markX1X2markU41X1X2X3activeU41markX1X2X3markU42X1X2X3activeU42markX1X2X3marksXactivesmarkXmarkplusX1X2activeplusmarkX1markX2mark0active0U11markX1X2U11X1X2U11X1markX2U11X1X2U11activeX1X2U11X1X2U11X1activeX2U11X1X2U12markXU12XU12activeXU12XisNatmarkXisNatXisNatactiveXisNatXU21markXU21XU21activeXU21XU31markX1X2U31X1X2U31X1markX2U31X1X2U31activeX1X2U31X1X2U31X1activeX2U31X1X2U41markX1X2X3U41X1X2X3U41X1markX2X3U41X1X2X3U41X1X2markX3U41X1X2X3U41activeX1X2X3U41X1X2X3U41X1activeX2X3U41X1X2X3U41X1X2activeX3U41X1X2X3U42markX1X2X3U42X1X2X3U42X1markX2X3U42X1X2X3U42X1X2markX3U42X1X2X3U42activeX1X2X3U42X1X2X3U42X1activeX2X3U42X1X2X3U42X1X2activeX3U42X1X2X3smarkXsXsactiveXsXplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X21U121010U4130112534U11241024isNat101mark1010mark101plus251124tt00U31201420000s1015U423511253active1010U211014active101marksXmarkXmarkplusX1X2activeplusmarkX1markX2activeplusNsMmarkU41isNatMMNmarkU41X1X2X3activeU41markX1X2X3activeU41ttMNmarkU42isNatNMNmarkU42X1X2X3activeU42markX1X2X3activeU42ttMNmarksplusNMmarkU42X1X2X3markX1markU41X1X2X3markX1markU31X1X2activeU31markX1X2activeU31ttNmarkNmarkU31X1X2markX1markU21XmarkXmarkisNatXactiveisNatXactiveisNatsV1markU21isNatV1activeisNatplusV1V2markU11isNatV1V2markU11X1X2activeU11markX1X2activeU11ttV2markU12isNatV2markU12XmarkXactiveU11ttV2markU12isNatV2activeU12ttmarkttactiveU21ttmarkttactiveU31ttNmarkNactiveU41ttMNmarkU42isNatNMNactiveU42ttMNmarksplusNMactiveisNat0markttactiveisNatplusV1V2markU11isNatV1V2activeisNatsV1markU21isNatV1activeplusN0markU31isNatNNactiveplusNsMmarkU41isNatMMNmarkU11X1X2activeU11markX1X2markttactivettmarkU12XactiveU12markXmarkisNatXactiveisNatXmarkU21XactiveU21markXmarkU31X1X2activeU31markX1X2markU41X1X2X3activeU41markX1X2X3markU42X1X2X3activeU42markX1X2X3marksXactivesmarkXmarkplusX1X2activeplusmarkX1markX2mark0active0U11markX1X2U11X1X2U11X1markX2U11X1X2U11activeX1X2U11X1X2U11X1activeX2U11X1X2U12markXU12XU12activeXU12XisNatmarkXisNatXisNatactiveXisNatXU21markXU21XU21activeXU21XU31markX1X2U31X1X2U31X1markX2U31X1X2U31activeX1X2U31X1X2U31X1activeX2U31X1X2U41markX1X2X3U41X1X2X3U41X1markX2X3U41X1X2X3U41X1X2markX3U41X1X2X3U41activeX1X2X3U41X1X2X3U41X1activeX2X3U41X1X2X3U41X1X2activeX3U41X1X2X3U42markX1X2X3U42X1X2X3U42X1markX2X3U42X1X2X3U42X1X2markX3U42X1X2X3U42activeX1X2X3U42X1X2X3U42X1activeX2X3U42X1X2X3U42X1X2activeX3U42X1X2X3smarkXsXsactiveXsXplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X21U121011U4130102130U11201020isNat101mark1010mark101plus211020tt01U31211124004s1011U4230102131active1010U211011active101marksXmarkXmarkplusX1X2activeplusmarkX1markX2activeplusNsMmarkU41isNatMMNmarkU41X1X2X3activeU41markX1X2X3activeU41ttMNmarkU42isNatNMNmarkU42X1X2X3activeU42markX1X2X3activeU42ttMNmarksplusNMmarkU42X1X2X3markX1markU41X1X2X3markX1markU31X1X2activeU31markX1X2markU21XmarkXmarkisNatXactiveisNatXactiveisNatsV1markU21isNatV1activeisNatplusV1V2markU11isNatV1V2markU11X1X2activeU11markX1X2activeU11ttV2markU12isNatV2markU12XmarkXactiveU11ttV2markU12isNatV2activeU12ttmarkttactiveU21ttmarkttactiveU31ttNmarkNactiveU41ttMNmarkU42isNatNMNactiveU42ttMNmarksplusNMactiveisNat0markttactiveisNatplusV1V2markU11isNatV1V2activeisNatsV1markU21isNatV1activeplusN0markU31isNatNNactiveplusNsMmarkU41isNatMMNmarkU11X1X2activeU11markX1X2markttactivettmarkU12XactiveU12markXmarkisNatXactiveisNatXmarkU21XactiveU21markXmarkU31X1X2activeU31markX1X2markU41X1X2X3activeU41markX1X2X3markU42X1X2X3activeU42markX1X2X3marksXactivesmarkXmarkplusX1X2activeplusmarkX1markX2mark0active0U11markX1X2U11X1X2U11X1markX2U11X1X2U11activeX1X2U11X1X2U11X1activeX2U11X1X2U12markXU12XU12activeXU12XisNatmarkXisNatXisNatactiveXisNatXU21markXU21XU21activeXU21XU31markX1X2U31X1X2U31X1markX2U31X1X2U31activeX1X2U31X1X2U31X1activeX2U31X1X2U41markX1X2X3U41X1X2X3U41X1markX2X3U41X1X2X3U41X1X2markX3U41X1X2X3U41activeX1X2X3U41X1X2X3U41X1activeX2X3U41X1X2X3U41X1X2activeX3U41X1X2X3U42markX1X2X3U42X1X2X3U42X1markX2X3U42X1X2X3U42X1X2markX3U42X1X2X3U42activeX1X2X3U42X1X2X3U42X1activeX2X3U42X1X2X3U42X1X2activeX3U42X1X2X3smarkXsXsactiveXsXplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X2marksXmarkXmarkplusX1X2activeplusmarkX1markX2activeplusNsMmarkU41isNatMMNmarkU41X1X2X3activeU41markX1X2X3activeU41ttMNmarkU42isNatNMNmarkU42X1X2X3activeU42markX1X2X3activeU42ttMNmarksplusNMmarkU42X1X2X3markX1markU41X1X2X3markX1markU21XmarkXmarkisNatXactiveisNatXactiveisNatsV1markU21isNatV1activeisNatplusV1V2markU11isNatV1V2markU11X1X2activeU11markX1X2activeU11ttV2markU12isNatV2markU12XmarkXtrue11U121010U413013223U1120102isNat101mark101mark101plus22132tt00U312102001s101U4230132230active101U21101active101marksXmarkXmarkplusX1X2activeplusmarkX1markX2activeplusNsMmarkU41isNatMMNmarkU41X1X2X3activeU41markX1X2X3activeU41ttMNmarkU42isNatNMNmarkU42X1X2X3activeU42markX1X2X3activeU42ttMNmarksplusNMmarkU42X1X2X3markX1markU41X1X2X3markX1markU21XmarkXmarkisNatXactiveisNatXactiveisNatsV1markU21isNatV1markU11X1X2activeU11markX1X2activeU11ttV2markU12isNatV2markU12XmarkXactiveU11ttV2markU12isNatV2activeU12ttmarkttactiveU21ttmarkttactiveU31ttNmarkNactiveU41ttMNmarkU42isNatNMNactiveU42ttMNmarksplusNMactiveisNat0markttactiveisNatplusV1V2markU11isNatV1V2activeisNatsV1markU21isNatV1activeplusN0markU31isNatNNactiveplusNsMmarkU41isNatMMNmarkU11X1X2activeU11markX1X2markttactivettmarkU12XactiveU12markXmarkisNatXactiveisNatXmarkU21XactiveU21markXmarkU31X1X2activeU31markX1X2markU41X1X2X3activeU41markX1X2X3markU42X1X2X3activeU42markX1X2X3marksXactivesmarkXmarkplusX1X2activeplusmarkX1markX2mark0active0U11markX1X2U11X1X2U11X1markX2U11X1X2U11activeX1X2U11X1X2U11X1activeX2U11X1X2U12markXU12XU12activeXU12XisNatmarkXisNatXisNatactiveXisNatXU21markXU21XU21activeXU21XU31markX1X2U31X1X2U31X1markX2U31X1X2U31activeX1X2U31X1X2U31X1activeX2U31X1X2U41markX1X2X3U41X1X2X3U41X1markX2X3U41X1X2X3U41X1X2markX3U41X1X2X3U41activeX1X2X3U41X1X2X3U41X1activeX2X3U41X1X2X3U41X1X2activeX3U41X1X2X3U42markX1X2X3U42X1X2X3U42X1markX2X3U42X1X2X3U42X1X2markX3U42X1X2X3U42activeX1X2X3U42X1X2X3U42X1activeX2X3U42X1X2X3U42X1X2activeX3U42X1X2X3smarkXsXsactiveXsXplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X21U121710U4137172734U11271720isNat1010mark1010mark101plus271727tt00U3121027000s101U423717273active1010U211010active101marksXmarkXmarkplusX1X2activeplusmarkX1markX2activeplusNsMmarkU41isNatMMNmarkU41X1X2X3activeU41markX1X2X3activeU41ttMNmarkU42isNatNMNmarkU42X1X2X3activeU42markX1X2X3activeU42ttMNmarksplusNMmarkU42X1X2X3markX1markU21XmarkXmarkisNatXactiveisNatXactiveisNatsV1markU21isNatV1markU11X1X2activeU11markX1X2activeU11ttV2markU12isNatV2markU12XmarkXactiveU11ttV2markU12isNatV2activeU12ttmarkttactiveU21ttmarkttactiveU31ttNmarkNactiveU41ttMNmarkU42isNatNMNactiveU42ttMNmarksplusNMactiveisNat0markttactiveisNatplusV1V2markU11isNatV1V2activeisNatsV1markU21isNatV1activeplusN0markU31isNatNNactiveplusNsMmarkU41isNatMMNmarkU11X1X2activeU11markX1X2markttactivettmarkU12XactiveU12markXmarkisNatXactiveisNatXmarkU21XactiveU21markXmarkU31X1X2activeU31markX1X2markU41X1X2X3activeU41markX1X2X3markU42X1X2X3activeU42markX1X2X3marksXactivesmarkXmarkplusX1X2activeplusmarkX1markX2mark0active0U11markX1X2U11X1X2U11X1markX2U11X1X2U11activeX1X2U11X1X2U11X1activeX2U11X1X2U12markXU12XU12activeXU12XisNatmarkXisNatXisNatactiveXisNatXU21markXU21XU21activeXU21XU31markX1X2U31X1X2U31X1markX2U31X1X2U31activeX1X2U31X1X2U31X1activeX2U31X1X2U41markX1X2X3U41X1X2X3U41X1markX2X3U41X1X2X3U41X1X2markX3U41X1X2X3U41activeX1X2X3U41X1X2X3U41X1activeX2X3U41X1X2X3U41X1X2activeX3U41X1X2X3U42markX1X2X3U42X1X2X3U42X1markX2X3U42X1X2X3U42X1X2markX3U42X1X2X3U42activeX1X2X3U42X1X2X3U42X1activeX2X3U42X1X2X3U42X1X2activeX3U42X1X2X3smarkXsXsactiveXsXplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X21U121414U4134152430U1122152isNat101mark101mark101plus241520tt02U31221220002s1010U4234152436active101U211010active101marksXmarkXmarkplusX1X2activeplusmarkX1markX2activeplusNsMmarkU41isNatMMNmarkU41X1X2X3activeU41markX1X2X3activeU41ttMNmarkU42isNatNMNmarkU42X1X2X3activeU42markX1X2X3activeU42ttMNmarksplusNMmarkU21XmarkXmarkisNatXactiveisNatXactiveisNatsV1markU21isNatV1markU11X1X2activeU11markX1X2activeU11ttV2markU12isNatV2activeU11ttV2markU12isNatV2activeU12ttmarkttactiveU21ttmarkttactiveU31ttNmarkNactiveU41ttMNmarkU42isNatNMNactiveU42ttMNmarksplusNMactiveisNat0markttactiveisNatplusV1V2markU11isNatV1V2activeisNatsV1markU21isNatV1activeplusN0markU31isNatNNactiveplusNsMmarkU41isNatMMNmarkU11X1X2activeU11markX1X2markttactivettmarkU12XactiveU12markXmarkisNatXactiveisNatXmarkU21XactiveU21markXmarkU31X1X2activeU31markX1X2markU41X1X2X3activeU41markX1X2X3markU42X1X2X3activeU42markX1X2X3marksXactivesmarkXmarkplusX1X2activeplusmarkX1markX2mark0active0U11markX1X2U11X1X2U11X1markX2U11X1X2U11activeX1X2U11X1X2U11X1activeX2U11X1X2U12markXU12XU12activeXU12XisNatmarkXisNatXisNatactiveXisNatXU21markXU21XU21activeXU21XU31markX1X2U31X1X2U31X1markX2U31X1X2U31activeX1X2U31X1X2U31X1activeX2U31X1X2U41markX1X2X3U41X1X2X3U41X1markX2X3U41X1X2X3U41X1X2markX3U41X1X2X3U41activeX1X2X3U41X1X2X3U41X1activeX2X3U41X1X2X3U41X1X2activeX3U41X1X2X3U42markX1X2X3U42X1X2X3U42X1markX2X3U42X1X2X3U42X1X2markX3U42X1X2X3U42activeX1X2X3U42X1X2X3U42X1activeX2X3U42X1X2X3U42X1X2activeX3U42X1X2X3smarkXsXsactiveXsXplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X2marksXmarkXmarkplusX1X2activeplusmarkX1markX2activeplusNsMmarkU41isNatMMNmarkU41X1X2X3activeU41markX1X2X3activeU41ttMNmarkU42isNatNMNmarkU42X1X2X3activeU42markX1X2X3activeU42ttMNmarksplusNMmarkU21XmarkXmarkisNatXactiveisNatXactiveisNatsV1markU21isNatV1true11U12101U4131230U11211625isNat1116mark1016mark1010plus2122tt06U3121420001s1416U4231236active1016U211014active1010marksXmarkXmarkplusX1X2activeplusmarkX1markX2activeplusNsMmarkU41isNatMMNmarkU41X1X2X3activeU41markX1X2X3activeU41ttMNmarkU42isNatNMNmarkU42X1X2X3activeU42markX1X2X3activeU42ttMNmarksplusNMmarkU21XmarkXmarkisNatXactiveisNatXisNatmarkXisNatXisNatactiveXisNatXU21markXU21XU21activeXU21XU41markX1X2X3U41X1X2X3U41X1markX2X3U41X1X2X3U41X1X2markX3U41X1X2X3U41activeX1X2X3U41X1X2X3U41X1activeX2X3U41X1X2X3U41X1X2activeX3U41X1X2X3U42markX1X2X3U42X1X2X3U42X1markX2X3U42X1X2X3U42X1X2markX3U42X1X2X3U42activeX1X2X3U42X1X2X3U42X1activeX2X3U42X1X2X3U42X1X2activeX3U42X1X2X3smarkXsXsactiveXsXplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X2marksXmarkXmarkplusX1X2activeplusmarkX1markX2activeplusNsMmarkU41isNatMMNmarkU41X1X2X3activeU41markX1X2X3activeU41ttMNmarkU42isNatNMNmarkU42X1X2X3activeU42markX1X2X3activeU42ttMNmarksplusNMmarkU21XmarkXtrue11U121011U4130102030U11201420isNat1010mark1110mark1110plus201020tt00U31201224002s1210U4230102030active1010U211414active1210marksXmarkXmarkplusX1X2activeplusmarkX1markX2activeplusNsMmarkU41isNatMMNmarkU41X1X2X3activeU41markX1X2X3activeU41ttMNmarkU42isNatNMNmarkU42X1X2X3activeU42markX1X2X3activeU42ttMNmarksplusNMU41markX1X2X3U41X1X2X3U41X1markX2X3U41X1X2X3U41X1X2markX3U41X1X2X3U41activeX1X2X3U41X1X2X3U41X1activeX2X3U41X1X2X3U41X1X2activeX3U41X1X2X3U42markX1X2X3U42X1X2X3U42X1markX2X3U42X1X2X3U42X1X2markX3U42X1X2X3U42activeX1X2X3U42X1X2X3U42X1activeX2X3U42X1X2X3U42X1X2activeX3U42X1X2X3smarkXsXsactiveXsXplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X21641U121010U4130122333U11231220isNat1110mark11210mark1110plus231220tt00U31211220000s1113U4230122333active11210U211011active1110markplusX1X2activeplusmarkX1markX2markU41X1X2X3activeU41markX1X2X3activeU41ttMNmarkU42isNatNMNmarkU42X1X2X3activeU42markX1X2X3activeU42ttMNmarksplusNMactiveU11ttV2markU12isNatV2activeU12ttmarkttactiveU21ttmarkttactiveU31ttNmarkNactiveU41ttMNmarkU42isNatNMNactiveU42ttMNmarksplusNMactiveisNat0markttactiveisNatplusV1V2markU11isNatV1V2activeisNatsV1markU21isNatV1activeplusN0markU31isNatNNactiveplusNsMmarkU41isNatMMNmarkU11X1X2activeU11markX1X2markttactivettmarkU12XactiveU12markXmarkisNatXactiveisNatXmarkU21XactiveU21markXmarkU31X1X2activeU31markX1X2markU41X1X2X3activeU41markX1X2X3markU42X1X2X3activeU42markX1X2X3marksXactivesmarkXmarkplusX1X2activeplusmarkX1markX2mark0active0U11markX1X2U11X1X2U11X1markX2U11X1X2U11activeX1X2U11X1X2U11X1activeX2U11X1X2U12markXU12XU12activeXU12XisNatmarkXisNatXisNatactiveXisNatXU21markXU21XU21activeXU21XU31markX1X2U31X1X2U31X1markX2U31X1X2U31activeX1X2U31X1X2U31X1activeX2U31X1X2U41markX1X2X3U41X1X2X3U41X1markX2X3U41X1X2X3U41X1X2markX3U41X1X2X3U41activeX1X2X3U41X1X2X3U41X1activeX2X3U41X1X2X3U41X1X2activeX3U41X1X2X3U42markX1X2X3U42X1X2X3U42X1markX2X3U42X1X2X3U42X1X2markX3U42X1X2X3U42activeX1X2X3U42X1X2X3U42X1activeX2X3U42X1X2X3U42X1X2activeX3U42X1X2X3smarkXsXsactiveXsXplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X2markU41X1X2X3activeU41markX1X2X3false1activeU41ttMNmarkU42isNatNMNfalse1markU42X1X2X3activeU42markX1X2X3false1activeU42ttMNmarksplusNMfalsemarkplusX1X2activeplusmarkX1markX2falsemarkisNatXactiveisNatXfalsemarkU11X1X2activeU11markX1X2false1activeU11ttV2markU12isNatV2falsemarkU31X1X2activeU31markX1X2falseactiveplusN0isNatNfalse17activeplusN0U31isNatNNfalse36activeplusNsMisNatMfalse15activeplusNsMU41isNatMMNfalse35activeU41ttMNisNatNfalse13activeU41ttMNU42isNatNMNfalse27activeisNat0markttfalse16activeisNatplusV1V2isNatV1false10activeisNatplusV1V2U11isNatV1V2false27activeU11ttV2isNatV2false8activeU11ttV2U12isNatV2falsemarkU11X1X2U11markX1X2false24markU12XU12markXfalse1U12activeXU12XU12markXU12XtrueU12activeXU12X1true1U12markXU12X1true1markU12XactiveU12markXfalse1activeU12ttmarkttfalse7activeisNatsV1isNatV1false1isNatactiveXisNatXisNatmarkXisNatXtrueisNatactiveXisNatX1true1isNatmarkXisNatX1true1activeisNatsV1U21isNatV1falsemarkU21XU21markXfalse17markU21XactiveU21markXfalse1activeU21ttmarkttfalse1markttactivettfalsemarkU31X1X2U31markX1X2false14markU41X1X2X3U41markX1X2X3false14markplusX1X2plusmarkX1markX2false8markU42X1X2X3U42markX1X2X3false6activeU42ttMNplusNMfalse6activeU42ttMNsplusNMfalsemarksXactivesmarkXfalsemarksXsmarkXfalse4mark0active0falseU42markX1X2X3U42X1X2X3U42X1X2activeX3U42X1X2X3U42X1activeX2X3U42X1X2X3U42activeX1X2X3U42X1X2X3U42X1X2markX3U42X1X2X3U42X1markX2X3U42X1X2X3trueU42markX1X2X3U42X1X2X33false32false21true1U42X1X2activeX3U42X1X2X33true32false21false1U42X1activeX2X3U42X1X2X33false32true21false1U42activeX1X2X3U42X1X2X33false32false21true1U42X1X2markX3U42X1X2X33true32false21false1U42X1markX2X3U42X1X2X33false32true21false1plusmarkX1X2plusX1X2plusX1activeX2plusX1X2plusactiveX1X2plusX1X2plusX1markX2plusX1X2trueplusmarkX1X2plusX1X22false21true1plusX1activeX2plusX1X22true21false1plusactiveX1X2plusX1X22false21true1plusX1markX2plusX1X22true21false1smarkXsXsactiveXsXtruesmarkXsX1true1sactiveXsX1true1U11markX1X2U11X1X2U11X1activeX2U11X1X2U11activeX1X2U11X1X2U11X1markX2U11X1X2trueU11markX1X2U11X1X22false21true1U11X1activeX2U11X1X22true21false1U11activeX1X2U11X1X22false21true1U11X1markX2U11X1X22true21false1U21markXU21XU21activeXU21XtrueU21markXU21X1true1U21activeXU21X1true1U31markX1X2U31X1X2U31X1activeX2U31X1X2U31activeX1X2U31X1X2U31X1markX2U31X1X2trueU31markX1X2U31X1X22false21true1U31X1activeX2U31X1X22true21false1U31activeX1X2U31X1X22false21true1U31X1markX2U31X1X22true21false1U41markX1X2X3U41X1X2X3U41X1X2activeX3U41X1X2X3U41X1activeX2X3U41X1X2X3U41activeX1X2X3U41X1X2X3U41X1X2markX3U41X1X2X3U41X1markX2X3U41X1X2X3trueU41markX1X2X3U41X1X2X33false32false21true1U41X1X2activeX3U41X1X2X33true32false21false1U41X1activeX2X3U41X1X2X33false32true21false1U41activeX1X2X3U41X1X2X33false32false21true1U41X1X2markX3U41X1X2X33true32false21false1U41X1markX2X3U41X1X2X33false32true21false1ttt2ttt2 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])))