/export/starexec/sandbox/solver/bin/starexec_run_ttt2-1.17+nonreach-cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES activeU11ttV2markU12isNatV2activeU12ttmarkttactiveU21ttmarkttactiveU31ttNmarkNactiveU41ttMNmarkU42isNatNMNactiveU42ttMNmarksplusNMactiveisNat0markttactiveisNatplusV1V2markU11isNatV1V2activeisNatsV1markU21isNatV1activeplusN0markU31isNatNNactiveplusNsMmarkU41isNatMMNmarkU11X1X2activeU11markX1X2markttactivettmarkU12XactiveU12markXmarkisNatXactiveisNatXmarkU21XactiveU21markXmarkU31X1X2activeU31markX1X2markU41X1X2X3activeU41markX1X2X3markU42X1X2X3activeU42markX1X2X3marksXactivesmarkXmarkplusX1X2activeplusmarkX1markX2mark0active0U11markX1X2U11X1X2U11X1markX2U11X1X2U11activeX1X2U11X1X2U11X1activeX2U11X1X2U12markXU12XU12activeXU12XisNatmarkXisNatXisNatactiveXisNatXU21markXU21XU21activeXU21XU31markX1X2U31X1X2U31X1markX2U31X1X2U31activeX1X2U31X1X2U31X1activeX2U31X1X2U41markX1X2X3U41X1X2X3U41X1markX2X3U41X1X2X3U41X1X2markX3U41X1X2X3U41activeX1X2X3U41X1X2X3U41X1activeX2X3U41X1X2X3U41X1X2activeX3U41X1X2X3U42markX1X2X3U42X1X2X3U42X1markX2X3U42X1X2X3U42X1X2markX3U42X1X2X3U42activeX1X2X3U42X1X2X3U42X1activeX2X3U42X1X2X3U42X1X2activeX3U42X1X2X3smarkXsXsactiveXsXplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X22.1activeU11ttV2isNatV2activeU11ttV2U12isNatV2activeU11ttV2markU12isNatV2activeU12ttmarkttactiveU21ttmarkttactiveU31ttNmarkNactiveU41ttMNisNatNactiveU41ttMNU42isNatNMNactiveU41ttMNmarkU42isNatNMNactiveU42ttMNplusNMactiveU42ttMNsplusNMactiveU42ttMNmarksplusNMactiveisNat0markttactiveisNatplusV1V2isNatV1activeisNatplusV1V2U11isNatV1V2activeisNatplusV1V2markU11isNatV1V2activeisNatsV1isNatV1activeisNatsV1U21isNatV1activeisNatsV1markU21isNatV1activeplusN0isNatNactiveplusN0U31isNatNNactiveplusN0markU31isNatNNactiveplusNsMisNatMactiveplusNsMU41isNatMMNactiveplusNsMmarkU41isNatMMNmarkU11X1X2markX1markU11X1X2U11markX1X2markU11X1X2activeU11markX1X2markttactivettmarkU12XmarkXmarkU12XU12markXmarkU12XactiveU12markXmarkisNatXactiveisNatXmarkU21XmarkXmarkU21XU21markXmarkU21XactiveU21markXmarkU31X1X2markX1markU31X1X2U31markX1X2markU31X1X2activeU31markX1X2markU41X1X2X3markX1markU41X1X2X3U41markX1X2X3markU41X1X2X3activeU41markX1X2X3markU42X1X2X3markX1markU42X1X2X3U42markX1X2X3markU42X1X2X3activeU42markX1X2X3marksXmarkXmarksXsmarkXmarksXactivesmarkXmarkplusX1X2markX2markplusX1X2markX1markplusX1X2plusmarkX1markX2markplusX1X2activeplusmarkX1markX2mark0active0U11markX1X2U11X1X2U11X1markX2U11X1X2U11activeX1X2U11X1X2U11X1activeX2U11X1X2U12markXU12XU12activeXU12XisNatmarkXisNatXisNatactiveXisNatXU21markXU21XU21activeXU21XU31markX1X2U31X1X2U31X1markX2U31X1X2U31activeX1X2U31X1X2U31X1activeX2U31X1X2U41markX1X2X3U41X1X2X3U41X1markX2X3U41X1X2X3U41X1X2markX3U41X1X2X3U41activeX1X2X3U41X1X2X3U41X1activeX2X3U41X1X2X3U41X1X2activeX3U41X1X2X3U42markX1X2X3U42X1X2X3U42X1markX2X3U42X1X2X3U42X1X2markX3U42X1X2X3U42activeX1X2X3U42X1X2X3U42X1activeX2X3U42X1X2X3U42X1X2activeX3U42X1X2X3smarkXsXsactiveXsXplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X2truemarksXmarkXmarkplusX1X2activeplusmarkX1markX2activeplusNsMmarkU41isNatMMNmarkU41X1X2X3activeU41markX1X2X3activeU41ttMNmarkU42isNatNMNmarkU42X1X2X3activeU42markX1X2X3activeU42ttMNmarksplusNMmarkU42X1X2X3markX1markplusX1X2markX1markplusX1X2markX2markU41X1X2X3markX1markU31X1X2activeU31markX1X2activeU31ttNmarkNmarkU31X1X2markX1markU21XmarkXmarkisNatXactiveisNatXactiveisNatsV1markU21isNatV1activeisNatplusV1V2markU11isNatV1V2markU11X1X2activeU11markX1X2activeU11ttV2markU12isNatV2markU12XmarkXmarkU11X1X2markX1activeplusN0markU31isNatNNtrue123456789101112131517192021232425262728293031321mark101active101000s1010plus271020U4230102730U413010273U31201420U21101mark101U121010isNat101active101U1120102tt00marksXmarkXmarkplusX1X2activeplusmarkX1markX2activeplusNsMmarkU41isNatMMNmarkU41X1X2X3activeU41markX1X2X3activeU41ttMNmarkU42isNatNMNmarkU42X1X2X3activeU42markX1X2X3activeU42ttMNmarksplusNMmarkU42X1X2X3markX1markplusX1X2markX2markU41X1X2X3markX1markU31X1X2activeU31markX1X2markU31X1X2markX1markU21XmarkXmarkisNatXactiveisNatXactiveisNatsV1markU21isNatV1activeisNatplusV1V2markU11isNatV1V2markU11X1X2activeU11markX1X2activeU11ttV2markU12isNatV2markU12XmarkXmarkU11X1X2markX1activeplusN0markU31isNatNNactiveU11ttV2markU12isNatV2activeU12ttmarkttactiveU21ttmarkttactiveU31ttNmarkNactiveU41ttMNmarkU42isNatNMNactiveU42ttMNmarksplusNMactiveisNat0markttactiveisNatplusV1V2markU11isNatV1V2activeisNatsV1markU21isNatV1activeplusN0markU31isNatNNactiveplusNsMmarkU41isNatMMNmarkU11X1X2activeU11markX1X2markttactivettmarkU12XactiveU12markXmarkisNatXactiveisNatXmarkU21XactiveU21markXmarkU31X1X2activeU31markX1X2markU41X1X2X3activeU41markX1X2X3markU42X1X2X3activeU42markX1X2X3marksXactivesmarkXmarkplusX1X2activeplusmarkX1markX2mark0active0U11markX1X2U11X1X2U11X1markX2U11X1X2U11activeX1X2U11X1X2U11X1activeX2U11X1X2U12markXU12XU12activeXU12XisNatmarkXisNatXisNatactiveXisNatXU21markXU21XU21activeXU21XU31markX1X2U31X1X2U31X1markX2U31X1X2U31activeX1X2U31X1X2U31X1activeX2U31X1X2U41markX1X2X3U41X1X2X3U41X1markX2X3U41X1X2X3U41X1X2markX3U41X1X2X3U41activeX1X2X3U41X1X2X3U41X1activeX2X3U41X1X2X3U41X1X2activeX3U41X1X2X3U42markX1X2X3U42X1X2X3U42X1markX2X3U42X1X2X3U42X1X2markX3U42X1X2X3U42activeX1X2X3U42X1X2X3U42X1activeX2X3U42X1X2X3U42X1X2activeX3U42X1X2X3smarkXsXsactiveXsXplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X2marksXmarkXmarkplusX1X2activeplusmarkX1markX2activeplusNsMmarkU41isNatMMNmarkU41X1X2X3activeU41markX1X2X3activeU41ttMNmarkU42isNatNMNmarkU42X1X2X3activeU42markX1X2X3activeU42ttMNmarksplusNMmarkU42X1X2X3markX1markplusX1X2markX2markU41X1X2X3markX1markU31X1X2markX1markU21XmarkXmarkisNatXactiveisNatXactiveisNatsV1markU21isNatV1activeisNatplusV1V2markU11isNatV1V2markU11X1X2activeU11markX1X2activeU11ttV2markU12isNatV2markU12XmarkXmarkU11X1X2markX1activeplusN0markU31isNatNNtrue11mark101active101001s1017plus27102U4237102730U4130102730U3125162U211010mark101U121010isNat101active101U1120102tt00marksXmarkXmarkplusX1X2activeplusmarkX1markX2activeplusNsMmarkU41isNatMMNmarkU41X1X2X3activeU41markX1X2X3activeU41ttMNmarkU42isNatNMNmarkU42X1X2X3activeU42markX1X2X3activeU42ttMNmarksplusNMmarkplusX1X2markX2markU41X1X2X3markX1markU21XmarkXmarkisNatXactiveisNatXactiveisNatsV1markU21isNatV1activeisNatplusV1V2markU11isNatV1V2markU11X1X2activeU11markX1X2activeU11ttV2markU12isNatV2markU12XmarkXmarkU11X1X2markX1activeU11ttV2markU12isNatV2activeU12ttmarkttactiveU21ttmarkttactiveU31ttNmarkNactiveU41ttMNmarkU42isNatNMNactiveU42ttMNmarksplusNMactiveisNat0markttactiveisNatplusV1V2markU11isNatV1V2activeisNatsV1markU21isNatV1activeplusN0markU31isNatNNactiveplusNsMmarkU41isNatMMNmarkU11X1X2activeU11markX1X2markttactivettmarkU12XactiveU12markXmarkisNatXactiveisNatXmarkU21XactiveU21markXmarkU31X1X2activeU31markX1X2markU41X1X2X3activeU41markX1X2X3markU42X1X2X3activeU42markX1X2X3marksXactivesmarkXmarkplusX1X2activeplusmarkX1markX2mark0active0U11markX1X2U11X1X2U11X1markX2U11X1X2U11activeX1X2U11X1X2U11X1activeX2U11X1X2U12markXU12XU12activeXU12XisNatmarkXisNatXisNatactiveXisNatXU21markXU21XU21activeXU21XU31markX1X2U31X1X2U31X1markX2U31X1X2U31activeX1X2U31X1X2U31X1activeX2U31X1X2U41markX1X2X3U41X1X2X3U41X1markX2X3U41X1X2X3U41X1X2markX3U41X1X2X3U41activeX1X2X3U41X1X2X3U41X1activeX2X3U41X1X2X3U41X1X2activeX3U41X1X2X3U42markX1X2X3U42X1X2X3U42X1markX2X3U42X1X2X3U42X1X2markX3U42X1X2X3U42activeX1X2X3U42X1X2X3U42X1activeX2X3U42X1X2X3U42X1X2activeX3U42X1X2X3smarkXsXsactiveXsXplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X21mark1010active1010005s1011plus211220U423122132U4130122130U312112U211010mark101U12101isNat101active101U1121112tt05marksXmarkXmarkplusX1X2activeplusmarkX1markX2activeplusNsMmarkU41isNatMMNmarkU41X1X2X3activeU41markX1X2X3activeU41ttMNmarkU42isNatNMNmarkU42X1X2X3activeU42markX1X2X3activeU42ttMNmarksplusNMmarkplusX1X2markX2markU41X1X2X3markX1markU21XmarkXmarkisNatXactiveisNatXactiveisNatsV1markU21isNatV1activeisNatplusV1V2markU11isNatV1V2markU11X1X2activeU11markX1X2markU12XmarkXmarkU11X1X2markX1activeU11ttV2markU12isNatV2activeU12ttmarkttactiveU21ttmarkttactiveU31ttNmarkNactiveU41ttMNmarkU42isNatNMNactiveU42ttMNmarksplusNMactiveisNat0markttactiveisNatplusV1V2markU11isNatV1V2activeisNatsV1markU21isNatV1activeplusN0markU31isNatNNactiveplusNsMmarkU41isNatMMNmarkU11X1X2activeU11markX1X2markttactivettmarkU12XactiveU12markXmarkisNatXactiveisNatXmarkU21XactiveU21markXmarkU31X1X2activeU31markX1X2markU41X1X2X3activeU41markX1X2X3markU42X1X2X3activeU42markX1X2X3marksXactivesmarkXmarkplusX1X2activeplusmarkX1markX2mark0active0U11markX1X2U11X1X2U11X1markX2U11X1X2U11activeX1X2U11X1X2U11X1activeX2U11X1X2U12markXU12XU12activeXU12XisNatmarkXisNatXisNatactiveXisNatXU21markXU21XU21activeXU21XU31markX1X2U31X1X2U31X1markX2U31X1X2U31activeX1X2U31X1X2U31X1activeX2U31X1X2U41markX1X2X3U41X1X2X3U41X1markX2X3U41X1X2X3U41X1X2markX3U41X1X2X3U41activeX1X2X3U41X1X2X3U41X1activeX2X3U41X1X2X3U41X1X2activeX3U41X1X2X3U42markX1X2X3U42X1X2X3U42X1markX2X3U42X1X2X3U42X1X2markX3U42X1X2X3U42activeX1X2X3U42X1X2X3U42X1activeX2X3U42X1X2X3U42X1X2activeX3U42X1X2X3smarkXsXsactiveXsXplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X2marksXmarkXmarkplusX1X2activeplusmarkX1markX2activeplusNsMmarkU41isNatMMNmarkU41X1X2X3activeU41markX1X2X3activeU41ttMNmarkU42isNatNMNmarkU42X1X2X3activeU42markX1X2X3activeU42ttMNmarksplusNMmarkU41X1X2X3markX1markplusX1X2markX2markU21XmarkXmarkisNatXactiveisNatXactiveisNatsV1markU21isNatV1activeisNatplusV1V2markU11isNatV1V2markU11X1X2markX1markU12XmarkXtrue11mark1010active101001s1011plus22142U423142231U413414223U3121220U211011mark101U121111isNat1010active101U11201420tt01marksXmarkXmarkplusX1X2activeplusmarkX1markX2activeplusNsMmarkU41isNatMMNmarkU41X1X2X3activeU41markX1X2X3activeU41ttMNmarkU42isNatNMNmarkU42X1X2X3activeU42markX1X2X3activeU42ttMNmarksplusNMmarkU41X1X2X3markX1markplusX1X2markX2markU21XmarkXmarkisNatXactiveisNatXactiveisNatsV1markU21isNatV1activeisNatplusV1V2markU11isNatV1V2markU11X1X2markX1activeU11ttV2markU12isNatV2activeU12ttmarkttactiveU21ttmarkttactiveU31ttNmarkNactiveU41ttMNmarkU42isNatNMNactiveU42ttMNmarksplusNMactiveisNat0markttactiveisNatplusV1V2markU11isNatV1V2activeisNatsV1markU21isNatV1activeplusN0markU31isNatNNactiveplusNsMmarkU41isNatMMNmarkU11X1X2activeU11markX1X2markttactivettmarkU12XactiveU12markXmarkisNatXactiveisNatXmarkU21XactiveU21markXmarkU31X1X2activeU31markX1X2markU41X1X2X3activeU41markX1X2X3markU42X1X2X3activeU42markX1X2X3marksXactivesmarkXmarkplusX1X2activeplusmarkX1markX2mark0active0U11markX1X2U11X1X2U11X1markX2U11X1X2U11activeX1X2U11X1X2U11X1activeX2U11X1X2U12markXU12XU12activeXU12XisNatmarkXisNatXisNatactiveXisNatXU21markXU21XU21activeXU21XU31markX1X2U31X1X2U31X1markX2U31X1X2U31activeX1X2U31X1X2U31X1activeX2U31X1X2U41markX1X2X3U41X1X2X3U41X1markX2X3U41X1X2X3U41X1X2markX3U41X1X2X3U41activeX1X2X3U41X1X2X3U41X1activeX2X3U41X1X2X3U41X1X2activeX3U41X1X2X3U42markX1X2X3U42X1X2X3U42X1markX2X3U42X1X2X3U42X1X2markX3U42X1X2X3U42activeX1X2X3U42X1X2X3U42X1activeX2X3U42X1X2X3U42X1X2activeX3U42X1X2X3smarkXsXsactiveXsXplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X21mark1010active1010003s1012plus241420U423142432U4133142432U3121422U211012mark101U12110isNat1010active1010U11201020tt00marksXmarkXmarkplusX1X2activeplusmarkX1markX2activeplusNsMmarkU41isNatMMNmarkU41X1X2X3activeU41markX1X2X3activeU41ttMNmarkU42isNatNMNmarkU42X1X2X3activeU42markX1X2X3activeU42ttMNmarksplusNMmarkplusX1X2markX2markU21XmarkXmarkisNatXactiveisNatXactiveisNatsV1markU21isNatV1activeisNatplusV1V2markU11isNatV1V2markU11X1X2markX1activeU11ttV2markU12isNatV2activeU12ttmarkttactiveU21ttmarkttactiveU31ttNmarkNactiveU41ttMNmarkU42isNatNMNactiveU42ttMNmarksplusNMactiveisNat0markttactiveisNatplusV1V2markU11isNatV1V2activeisNatsV1markU21isNatV1activeplusN0markU31isNatNNactiveplusNsMmarkU41isNatMMNmarkU11X1X2activeU11markX1X2markttactivettmarkU12XactiveU12markXmarkisNatXactiveisNatXmarkU21XactiveU21markXmarkU31X1X2activeU31markX1X2markU41X1X2X3activeU41markX1X2X3markU42X1X2X3activeU42markX1X2X3marksXactivesmarkXmarkplusX1X2activeplusmarkX1markX2mark0active0U11markX1X2U11X1X2U11X1markX2U11X1X2U11activeX1X2U11X1X2U11X1activeX2U11X1X2U12markXU12XU12activeXU12XisNatmarkXisNatXisNatactiveXisNatXU21markXU21XU21activeXU21XU31markX1X2U31X1X2U31X1markX2U31X1X2U31activeX1X2U31X1X2U31X1activeX2U31X1X2U41markX1X2X3U41X1X2X3U41X1markX2X3U41X1X2X3U41X1X2markX3U41X1X2X3U41activeX1X2X3U41X1X2X3U41X1activeX2X3U41X1X2X3U41X1X2activeX3U41X1X2X3U42markX1X2X3U42X1X2X3U42X1markX2X3U42X1X2X3U42X1X2markX3U42X1X2X3U42activeX1X2X3U42X1X2X3U42X1activeX2X3U42X1X2X3U42X1X2activeX3U42X1X2X3smarkXsXsactiveXsXplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X21mark101active101006s1010plus211020U423010213U41310213U312102U211010mark101U12111isNat101active101U1121120tt00marksXmarkXmarkplusX1X2activeplusmarkX1markX2activeplusNsMmarkU41isNatMMNmarkU41X1X2X3activeU41markX1X2X3activeU41ttMNmarkU42isNatNMNmarkU42X1X2X3activeU42markX1X2X3activeU42ttMNmarksplusNMmarkplusX1X2markX2markU21XmarkXmarkisNatXactiveisNatXactiveisNatsV1markU21isNatV1activeisNatplusV1V2markU11isNatV1V2activeU11ttV2markU12isNatV2activeU12ttmarkttactiveU21ttmarkttactiveU31ttNmarkNactiveU41ttMNmarkU42isNatNMNactiveU42ttMNmarksplusNMactiveisNat0markttactiveisNatplusV1V2markU11isNatV1V2activeisNatsV1markU21isNatV1activeplusN0markU31isNatNNactiveplusNsMmarkU41isNatMMNmarkU11X1X2activeU11markX1X2markttactivettmarkU12XactiveU12markXmarkisNatXactiveisNatXmarkU21XactiveU21markXmarkU31X1X2activeU31markX1X2markU41X1X2X3activeU41markX1X2X3markU42X1X2X3activeU42markX1X2X3marksXactivesmarkXmarkplusX1X2activeplusmarkX1markX2mark0active0U11markX1X2U11X1X2U11X1markX2U11X1X2U11activeX1X2U11X1X2U11X1activeX2U11X1X2U12markXU12XU12activeXU12XisNatmarkXisNatXisNatactiveXisNatXU21markXU21XU21activeXU21XU31markX1X2U31X1X2U31X1markX2U31X1X2U31activeX1X2U31X1X2U31X1activeX2U31X1X2U41markX1X2X3U41X1X2X3U41X1markX2X3U41X1X2X3U41X1X2markX3U41X1X2X3U41activeX1X2X3U41X1X2X3U41X1activeX2X3U41X1X2X3U41X1X2activeX3U41X1X2X3U42markX1X2X3U42X1X2X3U42X1markX2X3U42X1X2X3U42X1X2markX3U42X1X2X3U42activeX1X2X3U42X1X2X3U42X1activeX2X3U42X1X2X3U42X1X2activeX3U42X1X2X3smarkXsXsactiveXsXplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X2marksXmarkXmarkplusX1X2activeplusmarkX1markX2activeplusNsMmarkU41isNatMMNmarkU41X1X2X3activeU41markX1X2X3activeU41ttMNmarkU42isNatNMNmarkU42X1X2X3activeU42markX1X2X3activeU42ttMNmarksplusNMmarkplusX1X2markX2markU21XmarkXmarkisNatXactiveisNatXactiveisNatsV1markU21isNatV1true11mark1010active1010002s101plus241424U4232142435U4134142434U3120132U21101mark1010U121010isNat1010active1010U11201320tt02marksXmarkXmarkplusX1X2activeplusmarkX1markX2activeplusNsMmarkU41isNatMMNmarkU41X1X2X3activeU41markX1X2X3activeU41ttMNmarkU42isNatNMNmarkU42X1X2X3activeU42markX1X2X3activeU42ttMNmarksplusNMmarkU21XmarkXmarkisNatXactiveisNatXactiveisNatsV1markU21isNatV1activeU11ttV2markU12isNatV2activeU12ttmarkttactiveU21ttmarkttactiveU31ttNmarkNactiveU41ttMNmarkU42isNatNMNactiveU42ttMNmarksplusNMactiveisNat0markttactiveisNatplusV1V2markU11isNatV1V2activeisNatsV1markU21isNatV1activeplusN0markU31isNatNNactiveplusNsMmarkU41isNatMMNmarkU11X1X2activeU11markX1X2markttactivettmarkU12XactiveU12markXmarkisNatXactiveisNatXmarkU21XactiveU21markXmarkU31X1X2activeU31markX1X2markU41X1X2X3activeU41markX1X2X3markU42X1X2X3activeU42markX1X2X3marksXactivesmarkXmarkplusX1X2activeplusmarkX1markX2mark0active0U11markX1X2U11X1X2U11X1markX2U11X1X2U11activeX1X2U11X1X2U11X1activeX2U11X1X2U12markXU12XU12activeXU12XisNatmarkXisNatXisNatactiveXisNatXU21markXU21XU21activeXU21XU31markX1X2U31X1X2U31X1markX2U31X1X2U31activeX1X2U31X1X2U31X1activeX2U31X1X2U41markX1X2X3U41X1X2X3U41X1markX2X3U41X1X2X3U41X1X2markX3U41X1X2X3U41activeX1X2X3U41X1X2X3U41X1activeX2X3U41X1X2X3U41X1X2activeX3U41X1X2X3U42markX1X2X3U42X1X2X3U42X1markX2X3U42X1X2X3U42X1X2markX3U42X1X2X3U42activeX1X2X3U42X1X2X3U42X1activeX2X3U42X1X2X3U42X1X2activeX3U42X1X2X3smarkXsXsactiveXsXplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X21mark1014active1014002s1111plus2120U4231234U4131234U31201425U21101mark1010U121010isNat141active1010U1121022tt00marksXmarkXmarkplusX1X2activeplusmarkX1markX2activeplusNsMmarkU41isNatMMNmarkU41X1X2X3activeU41markX1X2X3activeU41ttMNmarkU42isNatNMNmarkU42X1X2X3activeU42markX1X2X3activeU42ttMNmarksplusNMmarkU21XmarkXmarkisNatXactiveisNatXisNatmarkXisNatXisNatactiveXisNatXU21markXU21XU21activeXU21XU41markX1X2X3U41X1X2X3U41X1markX2X3U41X1X2X3U41X1X2markX3U41X1X2X3U41activeX1X2X3U41X1X2X3U41X1activeX2X3U41X1X2X3U41X1X2activeX3U41X1X2X3U42markX1X2X3U42X1X2X3U42X1markX2X3U42X1X2X3U42X1X2markX3U42X1X2X3U42activeX1X2X3U42X1X2X3U42X1activeX2X3U42X1X2X3U42X1X2activeX3U42X1X2X3smarkXsXsactiveXsXplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X2marksXmarkXmarkplusX1X2activeplusmarkX1markX2activeplusNsMmarkU41isNatMMNmarkU41X1X2X3activeU41markX1X2X3activeU41ttMNmarkU42isNatNMNmarkU42X1X2X3activeU42markX1X2X3activeU42ttMNmarksplusNMmarkU21XmarkXtrue11mark1014active114003s1011plus2120U42321230U41301230U3121020U211215mark1014U121013isNat110active1010U1121221tt00marksXmarkXmarkplusX1X2activeplusmarkX1markX2activeplusNsMmarkU41isNatMMNmarkU41X1X2X3activeU41markX1X2X3activeU41ttMNmarkU42isNatNMNmarkU42X1X2X3activeU42markX1X2X3activeU42ttMNmarksplusNMisNatmarkXisNatXisNatactiveXisNatXU41markX1X2X3U41X1X2X3U41X1markX2X3U41X1X2X3U41X1X2markX3U41X1X2X3U41activeX1X2X3U41X1X2X3U41X1activeX2X3U41X1X2X3U41X1X2activeX3U41X1X2X3U42markX1X2X3U42X1X2X3U42X1markX2X3U42X1X2X3U42X1X2markX3U42X1X2X3U42activeX1X2X3U42X1X2X3U42X1activeX2X3U42X1X2X3U42X1X2activeX3U42X1X2X3smarkXsXsactiveXsXplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X21mark1210active1210006s1116plus211122U4232112130U4132112130U31201127U211014mark1110U121110isNat1014active1110U11201024tt04markplusX1X2activeplusmarkX1markX2activeplusNsMmarkU41isNatMMNmarkU41X1X2X3activeU41markX1X2X3activeU41ttMNmarkU42isNatNMNmarkU42X1X2X3activeU42markX1X2X3activeU42ttMNmarksplusNMactiveU11ttV2markU12isNatV2activeU12ttmarkttactiveU21ttmarkttactiveU31ttNmarkNactiveU41ttMNmarkU42isNatNMNactiveU42ttMNmarksplusNMactiveisNat0markttactiveisNatplusV1V2markU11isNatV1V2activeisNatsV1markU21isNatV1activeplusN0markU31isNatNNactiveplusNsMmarkU41isNatMMNmarkU11X1X2activeU11markX1X2markttactivettmarkU12XactiveU12markXmarkisNatXactiveisNatXmarkU21XactiveU21markXmarkU31X1X2activeU31markX1X2markU41X1X2X3activeU41markX1X2X3markU42X1X2X3activeU42markX1X2X3marksXactivesmarkXmarkplusX1X2activeplusmarkX1markX2mark0active0U11markX1X2U11X1X2U11X1markX2U11X1X2U11activeX1X2U11X1X2U11X1activeX2U11X1X2U12markXU12XU12activeXU12XisNatmarkXisNatXisNatactiveXisNatXU21markXU21XU21activeXU21XU31markX1X2U31X1X2U31X1markX2U31X1X2U31activeX1X2U31X1X2U31X1activeX2U31X1X2U41markX1X2X3U41X1X2X3U41X1markX2X3U41X1X2X3U41X1X2markX3U41X1X2X3U41activeX1X2X3U41X1X2X3U41X1activeX2X3U41X1X2X3U41X1X2activeX3U41X1X2X3U42markX1X2X3U42X1X2X3U42X1markX2X3U42X1X2X3U42X1X2markX3U42X1X2X3U42activeX1X2X3U42X1X2X3U42X1activeX2X3U42X1X2X3U42X1X2activeX3U42X1X2X3smarkXsXsactiveXsXplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X2markplusX1X2activeplusmarkX1markX2false1activeplusNsMmarkU41isNatMMNfalse1markU41X1X2X3activeU41markX1X2X3false1activeU41ttMNmarkU42isNatNMNfalse1markU42X1X2X3activeU42markX1X2X3false1activeU42ttMNmarksplusNMfalsemarkisNatXactiveisNatXfalseactiveisNatplusV1V2markU11isNatV1V2falsemarkU11X1X2activeU11markX1X2falsemarkU31X1X2activeU31markX1X2falseactiveplusN0isNatNfalse17activeplusN0U31isNatNNfalse36activeplusNsMisNatMfalse15activeplusNsMU41isNatMMNfalse35activeU41ttMNisNatNfalse13activeU41ttMNU42isNatNMNfalse27activeisNat0markttfalse16activeisNatplusV1V2isNatV1false10activeisNatplusV1V2U11isNatV1V2false27activeU11ttV2isNatV2false8activeU11ttV2U12isNatV2falsemarkU11X1X2U11markX1X2false24markU12XU12markXfalse1U12activeXU12XU12markXU12XtrueU12activeXU12X1true1U12markXU12X1true1markU12XactiveU12markXfalse1activeU12ttmarkttfalse7activeisNatsV1isNatV1false1isNatactiveXisNatXisNatmarkXisNatXtrueisNatactiveXisNatX1true1isNatmarkXisNatX1true1activeisNatsV1U21isNatV1falsemarkU21XU21markXfalse17markU21XactiveU21markXfalse1activeU21ttmarkttfalse1markttactivettfalsemarkU31X1X2U31markX1X2false14markU41X1X2X3U41markX1X2X3false14markplusX1X2plusmarkX1markX2false8markU42X1X2X3U42markX1X2X3false6activeU42ttMNplusNMfalse6activeU42ttMNsplusNMfalsemarksXactivesmarkXfalsemarksXsmarkXfalse4mark0active0falseU42markX1X2X3U42X1X2X3U42X1X2activeX3U42X1X2X3U42X1activeX2X3U42X1X2X3U42activeX1X2X3U42X1X2X3U42X1X2markX3U42X1X2X3U42X1markX2X3U42X1X2X3trueU42markX1X2X3U42X1X2X33false32false21true1U42X1X2activeX3U42X1X2X33true32false21false1U42X1activeX2X3U42X1X2X33false32true21false1U42activeX1X2X3U42X1X2X33false32false21true1U42X1X2markX3U42X1X2X33true32false21false1U42X1markX2X3U42X1X2X33false32true21false1plusmarkX1X2plusX1X2plusX1activeX2plusX1X2plusactiveX1X2plusX1X2plusX1markX2plusX1X2trueplusmarkX1X2plusX1X22false21true1plusX1activeX2plusX1X22true21false1plusactiveX1X2plusX1X22false21true1plusX1markX2plusX1X22true21false1smarkXsXsactiveXsXtruesmarkXsX1true1sactiveXsX1true1U11markX1X2U11X1X2U11X1activeX2U11X1X2U11activeX1X2U11X1X2U11X1markX2U11X1X2trueU11markX1X2U11X1X22false21true1U11X1activeX2U11X1X22true21false1U11activeX1X2U11X1X22false21true1U11X1markX2U11X1X22true21false1U21markXU21XU21activeXU21XtrueU21markXU21X1true1U21activeXU21X1true1U31markX1X2U31X1X2U31X1activeX2U31X1X2U31activeX1X2U31X1X2U31X1markX2U31X1X2trueU31markX1X2U31X1X22false21true1U31X1activeX2U31X1X22true21false1U31activeX1X2U31X1X22false21true1U31X1markX2U31X1X22true21false1U41markX1X2X3U41X1X2X3U41X1X2activeX3U41X1X2X3U41X1activeX2X3U41X1X2X3U41activeX1X2X3U41X1X2X3U41X1X2markX3U41X1X2X3U41X1markX2X3U41X1X2X3trueU41markX1X2X3U41X1X2X33false32false21true1U41X1X2activeX3U41X1X2X33true32false21false1U41X1activeX2X3U41X1X2X33false32true21false1U41activeX1X2X3U41X1X2X33false32false21true1U41X1X2markX3U41X1X2X33true32false21false1U41X1markX2X3U41X1X2X33false32true21false1ttt2ttt2 1.17 [hg: a28b6edf8379]((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 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( 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[5] | arctic -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[42])! || ((((( (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 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( 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[5] | arctic -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[42])! || (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 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( 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[5] | arctic -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))![42])! ) 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 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( 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[5] | arctic -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[42])))