/export/starexec/sandbox2/solver/bin/starexec_run_ttt2-1.17+nonreach-cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES activeU11ttNmarkNactiveU21ttMNmarksplusNMactiveandttXmarkXactiveisNat0markttactiveisNatplusV1V2markandisNatV1isNatV2activeisNatsV1markisNatV1activeplusN0markU11isNatNNactiveplusNsMmarkU21andisNatMisNatNMNmarkU11X1X2activeU11markX1X2markttactivettmarkU21X1X2X3activeU21markX1X2X3marksXactivesmarkXmarkplusX1X2activeplusmarkX1markX2markandX1X2activeandmarkX1X2markisNatXactiveisNatXmark0active0U11markX1X2U11X1X2U11X1markX2U11X1X2U11activeX1X2U11X1X2U11X1activeX2U11X1X2U21markX1X2X3U21X1X2X3U21X1markX2X3U21X1X2X3U21X1X2markX3U21X1X2X3U21activeX1X2X3U21X1X2X3U21X1activeX2X3U21X1X2X3U21X1X2activeX3U21X1X2X3smarkXsXsactiveXsXplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X2andmarkX1X2andX1X2andX1markX2andX1X2andactiveX1X2andX1X2andX1activeX2andX1X2isNatmarkXisNatXisNatactiveXisNatX2.1activeU11ttNmarkNactiveU21ttMNplusNMactiveU21ttMNsplusNMactiveU21ttMNmarksplusNMactiveandttXmarkXactiveisNat0markttactiveisNatplusV1V2isNatV2activeisNatplusV1V2isNatV1activeisNatplusV1V2andisNatV1isNatV2activeisNatplusV1V2markandisNatV1isNatV2activeisNatsV1isNatV1activeisNatsV1markisNatV1activeplusN0isNatNactiveplusN0U11isNatNNactiveplusN0markU11isNatNNactiveplusNsMisNatNactiveplusNsMisNatMactiveplusNsMandisNatMisNatNactiveplusNsMU21andisNatMisNatNMNactiveplusNsMmarkU21andisNatMisNatNMNmarkU11X1X2markX1markU11X1X2U11markX1X2markU11X1X2activeU11markX1X2markttactivettmarkU21X1X2X3markX1markU21X1X2X3U21markX1X2X3markU21X1X2X3activeU21markX1X2X3marksXmarkXmarksXsmarkXmarksXactivesmarkXmarkplusX1X2markX2markplusX1X2markX1markplusX1X2plusmarkX1markX2markplusX1X2activeplusmarkX1markX2markandX1X2markX1markandX1X2andmarkX1X2markandX1X2activeandmarkX1X2markisNatXactiveisNatXmark0active0U11markX1X2U11X1X2U11X1markX2U11X1X2U11activeX1X2U11X1X2U11X1activeX2U11X1X2U21markX1X2X3U21X1X2X3U21X1markX2X3U21X1X2X3U21X1X2markX3U21X1X2X3U21activeX1X2X3U21X1X2X3U21X1activeX2X3U21X1X2X3U21X1X2activeX3U21X1X2X3smarkXsXsactiveXsXplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X2andmarkX1X2andX1X2andX1markX2andX1X2andactiveX1X2andX1X2andX1activeX2andX1X2isNatmarkXisNatXisNatactiveXisNatXtruemarkisNatXactiveisNatXactiveisNatsV1markisNatV1activeisNatplusV1V2markandisNatV1isNatV2markandX1X2activeandmarkX1X2activeandttXmarkXmarkandX1X2markX1markplusX1X2activeplusmarkX1markX2activeplusNsMmarkU21andisNatMisNatNMNmarkU21X1X2X3activeU21markX1X2X3activeU21ttMNmarksplusNMmarksXmarkXmarkplusX1X2markX1markplusX1X2markX2markU21X1X2X3markX1markU11X1X2activeU11markX1X2activeU11ttNmarkNmarkU11X1X2markX1activeplusN0markU11isNatNNtrue1234567891011121314151617181920211mark101active1010isNat1010000and201020s101plus251020U2130102530mark101active101U11201020tt00markisNatXactiveisNatXactiveisNatsV1markisNatV1activeisNatplusV1V2markandisNatV1isNatV2markandX1X2activeandmarkX1X2activeandttXmarkXmarkandX1X2markX1markplusX1X2activeplusmarkX1markX2activeplusNsMmarkU21andisNatMisNatNMNmarkU21X1X2X3activeU21markX1X2X3activeU21ttMNmarksplusNMmarksXmarkXmarkplusX1X2markX2markU21X1X2X3markX1markU11X1X2activeU11markX1X2activeU11ttNmarkNmarkU11X1X2markX1activeplusN0markU11isNatNNactiveU11ttNmarkNactiveU21ttMNmarksplusNMactiveandttXmarkXactiveisNat0markttactiveisNatplusV1V2markandisNatV1isNatV2activeisNatsV1markisNatV1activeplusN0markU11isNatNNactiveplusNsMmarkU21andisNatMisNatNMNmarkU11X1X2activeU11markX1X2markttactivettmarkU21X1X2X3activeU21markX1X2X3marksXactivesmarkXmarkplusX1X2activeplusmarkX1markX2markandX1X2activeandmarkX1X2markisNatXactiveisNatXmark0active0U11markX1X2U11X1X2U11X1markX2U11X1X2U11activeX1X2U11X1X2U11X1activeX2U11X1X2U21markX1X2X3U21X1X2X3U21X1markX2X3U21X1X2X3U21X1X2markX3U21X1X2X3U21activeX1X2X3U21X1X2X3U21X1activeX2X3U21X1X2X3U21X1X2activeX3U21X1X2X3smarkXsXsactiveXsXplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X2andmarkX1X2andX1X2andX1markX2andX1X2andactiveX1X2andX1X2andX1activeX2andX1X2isNatmarkXisNatXisNatactiveXisNatX1mark1010active1010isNat101001and20102s1010plus251020U213010253mark101active101U1120102tt00markisNatXactiveisNatXactiveisNatsV1markisNatV1activeisNatplusV1V2markandisNatV1isNatV2markandX1X2activeandmarkX1X2activeandttXmarkXmarkandX1X2markX1markplusX1X2activeplusmarkX1markX2activeplusNsMmarkU21andisNatMisNatNMNmarkU21X1X2X3activeU21markX1X2X3activeU21ttMNmarksplusNMmarksXmarkXmarkplusX1X2markX2markU21X1X2X3markX1markU11X1X2activeU11markX1X2activeU11ttNmarkNmarkU11X1X2markX1activeU11ttNmarkNactiveU21ttMNmarksplusNMactiveandttXmarkXactiveisNat0markttactiveisNatplusV1V2markandisNatV1isNatV2activeisNatsV1markisNatV1activeplusN0markU11isNatNNactiveplusNsMmarkU21andisNatMisNatNMNmarkU11X1X2activeU11markX1X2markttactivettmarkU21X1X2X3activeU21markX1X2X3marksXactivesmarkXmarkplusX1X2activeplusmarkX1markX2markandX1X2activeandmarkX1X2markisNatXactiveisNatXmark0active0U11markX1X2U11X1X2U11X1markX2U11X1X2U11activeX1X2U11X1X2U11X1activeX2U11X1X2U21markX1X2X3U21X1X2X3U21X1markX2X3U21X1X2X3U21X1X2markX3U21X1X2X3U21activeX1X2X3U21X1X2X3U21X1activeX2X3U21X1X2X3U21X1X2activeX3U21X1X2X3smarkXsXsactiveXsXplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X2andmarkX1X2andX1X2andX1markX2andX1X2andactiveX1X2andX1X2andX1activeX2andX1X2isNatmarkXisNatXisNatactiveXisNatX1mark1010active1010isNat1010003and211122s1010plus211222U2130122132mark1010active1010U1120112tt00markisNatXactiveisNatXactiveisNatsV1markisNatV1activeisNatplusV1V2markandisNatV1isNatV2markandX1X2activeandmarkX1X2markplusX1X2activeplusmarkX1markX2activeplusNsMmarkU21andisNatMisNatNMNmarkU21X1X2X3activeU21markX1X2X3activeU21ttMNmarksplusNMmarksXmarkXmarkU21X1X2X3markX1markU11X1X2activeU11markX1X2activeU11ttNmarkNmarkU11X1X2markX1activeU11ttNmarkNactiveU21ttMNmarksplusNMactiveandttXmarkXactiveisNat0markttactiveisNatplusV1V2markandisNatV1isNatV2activeisNatsV1markisNatV1activeplusN0markU11isNatNNactiveplusNsMmarkU21andisNatMisNatNMNmarkU11X1X2activeU11markX1X2markttactivettmarkU21X1X2X3activeU21markX1X2X3marksXactivesmarkXmarkplusX1X2activeplusmarkX1markX2markandX1X2activeandmarkX1X2markisNatXactiveisNatXmark0active0U11markX1X2U11X1X2U11X1markX2U11X1X2U11activeX1X2U11X1X2U11X1activeX2U11X1X2U21markX1X2X3U21X1X2X3U21X1markX2X3U21X1X2X3U21X1X2markX3U21X1X2X3U21activeX1X2X3U21X1X2X3U21X1activeX2X3U21X1X2X3U21X1X2activeX3U21X1X2X3smarkXsXsactiveXsXplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X2andmarkX1X2andX1X2andX1markX2andX1X2andactiveX1X2andX1X2andX1activeX2andX1X2isNatmarkXisNatXisNatactiveXisNatXmarksXmarkXmarkplusX1X2activeplusmarkX1markX2activeplusNsMmarkU21andisNatMisNatNMNmarkU21X1X2X3activeU21markX1X2X3activeU21ttMNmarksplusNMmarkU21X1X2X3markX1markU11X1X2activeU11markX1X2activeU11ttNmarkNmarkU11X1X2markX1true131mark101active1010isNat111004and20112s101plus241120U2130112430mark101active101U11201420tt00marksXmarkXmarkplusX1X2activeplusmarkX1markX2activeplusNsMmarkU21andisNatMisNatNMNmarkU21X1X2X3activeU21markX1X2X3activeU21ttMNmarksplusNMmarkU21X1X2X3markX1markU11X1X2activeU11markX1X2markU11X1X2markX1activeU11ttNmarkNactiveU21ttMNmarksplusNMactiveandttXmarkXactiveisNat0markttactiveisNatplusV1V2markandisNatV1isNatV2activeisNatsV1markisNatV1activeplusN0markU11isNatNNactiveplusNsMmarkU21andisNatMisNatNMNmarkU11X1X2activeU11markX1X2markttactivettmarkU21X1X2X3activeU21markX1X2X3marksXactivesmarkXmarkplusX1X2activeplusmarkX1markX2markandX1X2activeandmarkX1X2markisNatXactiveisNatXmark0active0U11markX1X2U11X1X2U11X1markX2U11X1X2U11activeX1X2U11X1X2U11X1activeX2U11X1X2U21markX1X2X3U21X1X2X3U21X1markX2X3U21X1X2X3U21X1X2markX3U21X1X2X3U21activeX1X2X3U21X1X2X3U21X1activeX2X3U21X1X2X3U21X1X2activeX3U21X1X2X3smarkXsXsactiveXsXplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X2andmarkX1X2andX1X2andX1markX2andX1X2andactiveX1X2andX1X2andX1activeX2andX1X2isNatmarkXisNatXisNatactiveXisNatXmarksXmarkXmarkplusX1X2activeplusmarkX1markX2activeplusNsMmarkU21andisNatMisNatNMNmarkU21X1X2X3activeU21markX1X2X3activeU21ttMNmarksplusNMmarkU21X1X2X3markX1markU11X1X2markX1true11mark101active1010isNat1311004and21123s1010plus241320U2130132430mark101active1010U11211420tt00marksXmarkXmarkplusX1X2activeplusmarkX1markX2activeplusNsMmarkU21andisNatMisNatNMNmarkU21X1X2X3activeU21markX1X2X3activeU21ttMNmarksplusNMmarkU21X1X2X3markX1activeU11ttNmarkNactiveU21ttMNmarksplusNMactiveandttXmarkXactiveisNat0markttactiveisNatplusV1V2markandisNatV1isNatV2activeisNatsV1markisNatV1activeplusN0markU11isNatNNactiveplusNsMmarkU21andisNatMisNatNMNmarkU11X1X2activeU11markX1X2markttactivettmarkU21X1X2X3activeU21markX1X2X3marksXactivesmarkXmarkplusX1X2activeplusmarkX1markX2markandX1X2activeandmarkX1X2markisNatXactiveisNatXmark0active0U11markX1X2U11X1X2U11X1markX2U11X1X2U11activeX1X2U11X1X2U11X1activeX2U11X1X2U21markX1X2X3U21X1X2X3U21X1markX2X3U21X1X2X3U21X1X2markX3U21X1X2X3U21activeX1X2X3U21X1X2X3U21X1activeX2X3U21X1X2X3U21X1X2activeX3U21X1X2X3smarkXsXsactiveXsXplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X2andmarkX1X2andX1X2andX1markX2andX1X2andactiveX1X2andX1X2andX1activeX2andX1X2isNatmarkXisNatXisNatactiveXisNatX1mark1010active1010isNat101002and2102s1010plus241424U2134142434mark1010active1010U11201020tt00marksXmarkXmarkplusX1X2activeplusmarkX1markX2activeplusNsMmarkU21andisNatMisNatNMNmarkU21X1X2X3activeU21markX1X2X3activeU21ttMNmarksplusNMactiveU11ttNmarkNactiveU21ttMNmarksplusNMactiveandttXmarkXactiveisNat0markttactiveisNatplusV1V2markandisNatV1isNatV2activeisNatsV1markisNatV1activeplusN0markU11isNatNNactiveplusNsMmarkU21andisNatMisNatNMNmarkU11X1X2activeU11markX1X2markttactivettmarkU21X1X2X3activeU21markX1X2X3marksXactivesmarkXmarkplusX1X2activeplusmarkX1markX2markandX1X2activeandmarkX1X2markisNatXactiveisNatXmark0active0U11markX1X2U11X1X2U11X1markX2U11X1X2U11activeX1X2U11X1X2U11X1activeX2U11X1X2U21markX1X2X3U21X1X2X3U21X1markX2X3U21X1X2X3U21X1X2markX3U21X1X2X3U21activeX1X2X3U21X1X2X3U21X1activeX2X3U21X1X2X3U21X1X2activeX3U21X1X2X3smarkXsXsactiveXsXplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X2andmarkX1X2andX1X2andX1markX2andX1X2andactiveX1X2andX1X2andX1activeX2andX1X2isNatmarkXisNatXisNatactiveXisNatX1641mark1210active1210isNat1010000and201220s1112plus211120U2130112132mark1110active1110U11201120tt00markplusX1X2activeplusmarkX1markX2activeplusNsMmarkU21andisNatMisNatNMNmarkU21X1X2X3activeU21markX1X2X3activeU21ttMNmarksplusNMactiveU11ttNmarkNactiveU21ttMNmarksplusNMactiveandttXmarkXactiveisNat0markttactiveisNatplusV1V2markandisNatV1isNatV2activeisNatsV1markisNatV1activeplusN0markU11isNatNNactiveplusNsMmarkU21andisNatMisNatNMNmarkU11X1X2activeU11markX1X2markttactivettmarkU21X1X2X3activeU21markX1X2X3marksXactivesmarkXmarkplusX1X2activeplusmarkX1markX2markandX1X2activeandmarkX1X2markisNatXactiveisNatXmark0active0U11markX1X2U11X1X2U11X1markX2U11X1X2U11activeX1X2U11X1X2U11X1activeX2U11X1X2U21markX1X2X3U21X1X2X3U21X1markX2X3U21X1X2X3U21X1X2markX3U21X1X2X3U21activeX1X2X3U21X1X2X3U21X1activeX2X3U21X1X2X3U21X1X2activeX3U21X1X2X3smarkXsXsactiveXsXplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X2andmarkX1X2andX1X2andX1markX2andX1X2andactiveX1X2andX1X2andX1activeX2andX1X2isNatmarkXisNatXisNatactiveXisNatXmarkplusX1X2activeplusmarkX1markX2false1activeplusNsMmarkU21andisNatMisNatNMNfalse1markU21X1X2X3activeU21markX1X2X3false1activeU21ttMNmarksplusNMfalsemarkU11X1X2activeU11markX1X2falsemarkisNatXactiveisNatXactiveisNatsV1markisNatV1true1mark11active11isNat11activeisNatsV1markisNatV1markisNatXactiveisNatXfalseactiveisNatplusV1V2markandisNatV1isNatV2false1markandX1X2activeandmarkX1X2falseactiveisNat0markttfalse13activeisNatplusV1V2isNatV2false22activeisNatplusV1V2isNatV1false21activeisNatplusV1V2andisNatV1isNatV2falseactiveplusN0isNatNfalse19activeplusN0U11isNatNNfalse20activeplusNsMisNatNfalse17activeplusNsMisNatMfalse16activeplusNsMandisNatMisNatNfalseactiveplusNsMU21andisNatMisNatNMNfalse17activeU21ttMNplusNMfalse11activeU21ttMNsplusNMfalsemarkU11X1X2U11markX1X2false13markttactivettfalsemarkU21X1X2X3U21markX1X2X3false12markplusX1X2plusmarkX1markX2false6marksXsmarkXfalse6marksXactivesmarkXfalsemarkandX1X2andmarkX1X2false6mark0active0falseactiveisNatsV1isNatV1false3plusmarkX1X2plusX1X2plusX1activeX2plusX1X2plusactiveX1X2plusX1X2plusX1markX2plusX1X2trueplusmarkX1X2plusX1X22false21true1plusX1activeX2plusX1X22true21false1plusactiveX1X2plusX1X22false21true1plusX1markX2plusX1X22true21false1smarkXsXsactiveXsXtruesmarkXsX1true1sactiveXsX1true1isNatmarkXisNatXisNatactiveXisNatXtrueisNatmarkXisNatX1true1isNatactiveXisNatX1true1andmarkX1X2andX1X2andX1activeX2andX1X2andactiveX1X2andX1X2andX1markX2andX1X2trueandmarkX1X2andX1X22false21true1andX1activeX2andX1X22true21false1andactiveX1X2andX1X22false21true1andX1markX2andX1X22true21false1U11markX1X2U11X1X2U11X1activeX2U11X1X2U11activeX1X2U11X1X2U11X1markX2U11X1X2trueU11markX1X2U11X1X22false21true1U11X1activeX2U11X1X22true21false1U11activeX1X2U11X1X22false21true1U11X1markX2U11X1X22true21false1U21markX1X2X3U21X1X2X3U21X1X2activeX3U21X1X2X3U21X1activeX2X3U21X1X2X3U21activeX1X2X3U21X1X2X3U21X1X2markX3U21X1X2X3U21X1markX2X3U21X1X2X3trueU21markX1X2X3U21X1X2X33false32false21true1U21X1X2activeX3U21X1X2X33true32false21false1U21X1activeX2X3U21X1X2X33false32true21false1U21activeX1X2X3U21X1X2X33false32false21true1U21X1X2markX3U21X1X2X33true32false21false1U21X1markX2X3U21X1X2X33false32true21false1ttt2ttt2 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])))