getGotoGotointintgetGotoFirstIfGotoi1i2i1getGotoSecondIfGotoi1i2i2getWriteWriteintintinstrConstrCheckGotogtNatGotogtNat2TrueinstrConstrCheckGotogtNatHaltFalseinstrConstrCheckGotogtNatIfGotoigtNat12igtNat22FalseinstrConstrCheckGotogtNatLeftFalseinstrConstrCheckGotogtNatRightFalseinstrConstrCheckGotogtNatWritewNat2FalseinstrConstrCheckHaltGotogtNat2FalseinstrConstrCheckHaltHaltTrueinstrConstrCheckHaltIfGotoigtNat12igtNat22FalseinstrConstrCheckHaltLeftFalseinstrConstrCheckHaltRightFalseinstrConstrCheckHaltWritewNat2FalseinstrConstrCheckIfGotoigtNat1igtNat2GotogtNat2FalseinstrConstrCheckIfGotoigtNat1igtNat2HaltFalseinstrConstrCheckIfGotoigtNat1igtNat2IfGotoigtNat12igtNat22TrueinstrConstrCheckIfGotoigtNat1igtNat2LeftFalseinstrConstrCheckIfGotoigtNat1igtNat2RightFalseinstrConstrCheckIfGotoigtNat1igtNat2WritewNat2FalseinstrConstrCheckLeftGotogtNat2FalseinstrConstrCheckLeftHaltFalseinstrConstrCheckLeftIfGotoigtNat12igtNat22FalseinstrConstrCheckLeftLeftTrueinstrConstrCheckLeftRightFalseinstrConstrCheckLeftWritewNat2FalseinstrConstrCheckRightGotogtNat2FalseinstrConstrCheckRightHaltFalseinstrConstrCheckRightIfGotoigtNat12igtNat22FalseinstrConstrCheckRightLeftFalseinstrConstrCheckRightRightTrueinstrConstrCheckRightWritewNat2FalseinstrConstrCheckWritewNatGotogtNat2FalseinstrConstrCheckWritewNatHaltFalseinstrConstrCheckWritewNatIfGotoigtNat12igtNat22FalseinstrConstrCheckWritewNatLeftFalseinstrConstrCheckWritewNatRightFalseinstrConstrCheckWritewNatWritewNat2TrueinstrsConstrCheckEmptyEmptyTrueinstrsConstrCheckEmptyIxyFalseinstrsConstrCheckIl1r1EmptyFalseinstrsConstrCheckIl1r1IxyTrueinstrsFirstIlrlinstrsSecondIlrrlookup0instrsinstrslookupSxIlrlookupxrnotEmptyConsxxsTruenotEmptyNilFalserunprogtapeinputturingprogNiltapeinputprogturingEmptyrevltapertapeprogrtapeturingIGotogtNatrrevltapertapeprogturing[Ite][True][Ite][False][Ite]FalseIGotogtNatrrevltapertapeprogturingIHaltrrevltapertapeprogrtapeturingIIfGotoigtNat1igtNat2rrevltapertapeprogturing[Ite][True][Ite][False][Ite]FalseIIfGotoigtNat1igtNat2rrevltapertapeprogturingILeftrrevltapertapeprogturing[Ite][True][Ite][False][Ite]FalseILeftrrevltapertapeprogturingIRightrrevltapertapeprogturing[Ite][True][Ite][False][Ite]FalseIRightrrevltapertapeprogturingIWritewNatrrevltapertapeprogturing[Ite][True][Ite][False][Ite]TrueIWritewNatrrevltapertapeprog00Cons2Empty0False0Goto1Halt0I2IfGoto2Left0Nil0Right0S1True0Write1turing[Ite][True][Ite][False][Ite]5getGoto1getGotoFirst1getGotoSecond1getWrite1instrConstrCheck2instrsConstrCheck2instrsFirst1instrsSecond1lookup2notEmpty1run2turing412.211001Cons210102Empty05False00Goto1211Halt00I241112IfGoto211112Left00Nil00Right04S1211True00Write1011getGoto1061getGotoFirst1431getGotoSecond1421getWrite1241instrConstrCheck200122instrsConstrCheck222102instrsFirst1511instrsSecond1411lookup211112notEmpty1051run260122turing4201121304turing[Ite][True][Ite][False][Ite]500102030405getGotoGotointintgetGotoFirstIfGotoi1i2i1getGotoSecondIfGotoi1i2i2getWriteWriteintintinstrConstrCheckGotogtNatGotogtNat2TrueinstrConstrCheckGotogtNatIfGotoigtNat12igtNat22FalseinstrConstrCheckGotogtNatRightFalseinstrConstrCheckHaltGotogtNat2FalseinstrConstrCheckHaltIfGotoigtNat12igtNat22FalseinstrConstrCheckHaltRightFalseinstrConstrCheckIfGotoigtNat1igtNat2GotogtNat2FalseinstrConstrCheckIfGotoigtNat1igtNat2IfGotoigtNat12igtNat22TrueinstrConstrCheckIfGotoigtNat1igtNat2RightFalseinstrConstrCheckLeftGotogtNat2FalseinstrConstrCheckLeftIfGotoigtNat12igtNat22FalseinstrConstrCheckLeftRightFalseinstrConstrCheckRightGotogtNat2FalseinstrConstrCheckRightIfGotoigtNat12igtNat22FalseinstrConstrCheckRightRightTrueinstrConstrCheckWritewNatGotogtNat2FalseinstrConstrCheckWritewNatIfGotoigtNat12igtNat22FalseinstrConstrCheckWritewNatRightFalseinstrsConstrCheckEmptyEmptyTrueinstrsConstrCheckEmptyIxyFalseinstrsConstrCheckIl1r1EmptyFalseinstrsConstrCheckIl1r1IxyTrueinstrsFirstIlrlinstrsSecondIlrrlookup0instrsinstrslookupSxIlrlookupxrnotEmptyConsxxsTruerunprogtapeinputturingprogNiltapeinputprogturingEmptyrevltapertapeprogrtapeturingIGotogtNatrrevltapertapeprogturing[Ite][True][Ite][False][Ite]FalseIGotogtNatrrevltapertapeprogturingIHaltrrevltapertapeprogrtapeturingIIfGotoigtNat1igtNat2rrevltapertapeprogturing[Ite][True][Ite][False][Ite]FalseIIfGotoigtNat1igtNat2rrevltapertapeprogturingILeftrrevltapertapeprogturing[Ite][True][Ite][False][Ite]FalseILeftrrevltapertapeprogturingIRightrrevltapertapeprogturing[Ite][True][Ite][False][Ite]FalseIRightrrevltapertapeprogturingIWritewNatrrevltapertapeprogturing[Ite][True][Ite][False][Ite]TrueIWritewNatrrevltapertapeproggetGotoGotointintgetGotoFirstIfGotoi1i2i1getGotoSecondIfGotoi1i2i2getWriteWriteintintinstrConstrCheckGotogtNatGotogtNat2TrueinstrConstrCheckGotogtNatHaltFalseinstrConstrCheckGotogtNatIfGotoigtNat12igtNat22FalseinstrConstrCheckGotogtNatLeftFalseinstrConstrCheckGotogtNatRightFalseinstrConstrCheckGotogtNatWritewNat2FalseinstrConstrCheckHaltGotogtNat2FalseinstrConstrCheckHaltHaltTrueinstrConstrCheckHaltIfGotoigtNat12igtNat22FalseinstrConstrCheckHaltLeftFalseinstrConstrCheckHaltRightFalseinstrConstrCheckHaltWritewNat2FalseinstrConstrCheckIfGotoigtNat1igtNat2GotogtNat2FalseinstrConstrCheckIfGotoigtNat1igtNat2HaltFalseinstrConstrCheckIfGotoigtNat1igtNat2IfGotoigtNat12igtNat22TrueinstrConstrCheckIfGotoigtNat1igtNat2LeftFalseinstrConstrCheckIfGotoigtNat1igtNat2RightFalseinstrConstrCheckIfGotoigtNat1igtNat2WritewNat2FalseinstrConstrCheckLeftGotogtNat2FalseinstrConstrCheckLeftHaltFalseinstrConstrCheckLeftIfGotoigtNat12igtNat22FalseinstrConstrCheckLeftLeftTrueinstrConstrCheckLeftRightFalseinstrConstrCheckLeftWritewNat2FalseinstrConstrCheckRightGotogtNat2FalseinstrConstrCheckRightHaltFalseinstrConstrCheckRightIfGotoigtNat12igtNat22FalseinstrConstrCheckRightLeftFalseinstrConstrCheckRightRightTrueinstrConstrCheckRightWritewNat2FalseinstrConstrCheckWritewNatGotogtNat2FalseinstrConstrCheckWritewNatHaltFalseinstrConstrCheckWritewNatIfGotoigtNat12igtNat22FalseinstrConstrCheckWritewNatLeftFalseinstrConstrCheckWritewNatRightFalseinstrConstrCheckWritewNatWritewNat2TrueinstrsConstrCheckEmptyEmptyTrueinstrsConstrCheckEmptyIxyFalseinstrsConstrCheckIl1r1EmptyFalseinstrsConstrCheckIl1r1IxyTrueinstrsFirstIlrlinstrsSecondIlrrlookup0instrsinstrslookupSxIlrlookupxrnotEmptyConsxxsTruenotEmptyNilFalserunprogtapeinputturingprogNiltapeinputprogturingEmptyrevltapertapeprogrtapeturingIGotogtNatrrevltapertapeprogturing[Ite][True][Ite][False][Ite]FalseIGotogtNatrrevltapertapeprogturingIHaltrrevltapertapeprogrtapeturingIIfGotoigtNat1igtNat2rrevltapertapeprogturing[Ite][True][Ite][False][Ite]FalseIIfGotoigtNat1igtNat2rrevltapertapeprogturingILeftrrevltapertapeprogturing[Ite][True][Ite][False][Ite]FalseILeftrrevltapertapeprogturingIRightrrevltapertapeprogturing[Ite][True][Ite][False][Ite]FalseIRightrrevltapertapeprogturingIWritewNatrrevltapertapeprogturing[Ite][True][Ite][False][Ite]TrueIWritewNatrrevltapertapeprog11002Cons200102Empty04False00Goto1111Halt02I201112IfGoto231112Left01Nil01Right04S1011True00Write1211getGoto1511getGotoFirst1011getGotoSecond1021getWrite1011instrConstrCheck213102instrsConstrCheck200112instrsFirst1541instrsSecond1211lookup244112notEmpty1021run211112turing4001121314turing[Ite][True][Ite][False][Ite]500102130415instrConstrCheckGotogtNatHaltFalseinstrConstrCheckGotogtNatLeftFalseinstrConstrCheckGotogtNatWritewNat2FalseinstrConstrCheckHaltHaltTrueinstrConstrCheckHaltLeftFalseinstrConstrCheckHaltWritewNat2FalseinstrConstrCheckIfGotoigtNat1igtNat2HaltFalseinstrConstrCheckIfGotoigtNat1igtNat2LeftFalseinstrConstrCheckIfGotoigtNat1igtNat2WritewNat2FalseinstrConstrCheckLeftHaltFalseinstrConstrCheckLeftLeftTrueinstrConstrCheckLeftWritewNat2FalseinstrConstrCheckRightHaltFalseinstrConstrCheckRightLeftFalseinstrConstrCheckRightWritewNat2FalseinstrConstrCheckWritewNatHaltFalseinstrConstrCheckWritewNatLeftFalseinstrConstrCheckWritewNatWritewNat2TruenotEmptyNilFalsegetGotoGotointintgetGotoFirstIfGotoi1i2i1getGotoSecondIfGotoi1i2i2getWriteWriteintintinstrConstrCheckGotogtNatGotogtNat2TrueinstrConstrCheckGotogtNatHaltFalseinstrConstrCheckGotogtNatIfGotoigtNat12igtNat22FalseinstrConstrCheckGotogtNatLeftFalseinstrConstrCheckGotogtNatRightFalseinstrConstrCheckGotogtNatWritewNat2FalseinstrConstrCheckHaltGotogtNat2FalseinstrConstrCheckHaltHaltTrueinstrConstrCheckHaltIfGotoigtNat12igtNat22FalseinstrConstrCheckHaltLeftFalseinstrConstrCheckHaltRightFalseinstrConstrCheckHaltWritewNat2FalseinstrConstrCheckIfGotoigtNat1igtNat2GotogtNat2FalseinstrConstrCheckIfGotoigtNat1igtNat2HaltFalseinstrConstrCheckIfGotoigtNat1igtNat2IfGotoigtNat12igtNat22TrueinstrConstrCheckIfGotoigtNat1igtNat2LeftFalseinstrConstrCheckIfGotoigtNat1igtNat2RightFalseinstrConstrCheckIfGotoigtNat1igtNat2WritewNat2FalseinstrConstrCheckLeftGotogtNat2FalseinstrConstrCheckLeftHaltFalseinstrConstrCheckLeftIfGotoigtNat12igtNat22FalseinstrConstrCheckLeftLeftTrueinstrConstrCheckLeftRightFalseinstrConstrCheckLeftWritewNat2FalseinstrConstrCheckRightGotogtNat2FalseinstrConstrCheckRightHaltFalseinstrConstrCheckRightIfGotoigtNat12igtNat22FalseinstrConstrCheckRightLeftFalseinstrConstrCheckRightRightTrueinstrConstrCheckRightWritewNat2FalseinstrConstrCheckWritewNatGotogtNat2FalseinstrConstrCheckWritewNatHaltFalseinstrConstrCheckWritewNatIfGotoigtNat12igtNat22FalseinstrConstrCheckWritewNatLeftFalseinstrConstrCheckWritewNatRightFalseinstrConstrCheckWritewNatWritewNat2TrueinstrsConstrCheckEmptyEmptyTrueinstrsConstrCheckEmptyIxyFalseinstrsConstrCheckIl1r1EmptyFalseinstrsConstrCheckIl1r1IxyTrueinstrsFirstIlrlinstrsSecondIlrrlookup0instrsinstrslookupSxIlrlookupxrnotEmptyConsxxsTruenotEmptyNilFalserunprogtapeinputturingprogNiltapeinputprogturingEmptyrevltapertapeprogrtapeturingIGotogtNatrrevltapertapeprogturing[Ite][True][Ite][False][Ite]FalseIGotogtNatrrevltapertapeprogturingIHaltrrevltapertapeprogrtapeturingIIfGotoigtNat1igtNat2rrevltapertapeprogturing[Ite][True][Ite][False][Ite]FalseIIfGotoigtNat1igtNat2rrevltapertapeprogturingILeftrrevltapertapeprogturing[Ite][True][Ite][False][Ite]FalseILeftrrevltapertapeprogturingIRightrrevltapertapeprogturing[Ite][True][Ite][False][Ite]FalseIRightrrevltapertapeprogturingIWritewNatrrevltapertapeprogturing[Ite][True][Ite][False][Ite]TrueIWritewNatrrevltapertapeprogTcT3.0.0