turingIIfGotoi1i2rrevltapeConsxxsprogturing[Ite]!EQxi1IIfGotoi1i2rrevltapeConsxxsprogturingIGotointrrevltapertapeprogturinglookupintprogrevltapertapeprogturingIRightrrevltapeConsxxsprogturingrConsxrevltapexsprogturingIRightrrevltapeNilprogturingrCons0revltapeNilprogturingILeftrConsxxsrtapeprogturingrxsConsxrtapeprogturingILeftrNilrtapeprogturingrNilCons0rtapeprogturingIWriteintrrevltapeConsxxsprogturingrrevltapeConsintxsprogturingIHaltrrevltapertapeprogrtapeturingEmptyrevltapertapeprogrtapelookupSxIlrlookupxrinstrsConstrCheckIl1r1IxyTrueinstrsConstrCheckIl1r1EmptyFalseinstrsConstrCheckEmptyIxyFalseinstrsConstrCheckEmptyEmptyTrueinstrConstrCheckIfGotoigtNat1igtNat2IfGotoigtNat12igtNat22TrueinstrConstrCheckIfGotoigtNat1igtNat2GotogtNat2FalseinstrConstrCheckIfGotoigtNat1igtNat2RightFalseinstrConstrCheckIfGotoigtNat1igtNat2LeftFalseinstrConstrCheckIfGotoigtNat1igtNat2WritewNat2FalseinstrConstrCheckIfGotoigtNat1igtNat2HaltFalseinstrConstrCheckGotogtNatIfGotoigtNat12igtNat22FalseinstrConstrCheckGotogtNatGotogtNat2TrueinstrConstrCheckGotogtNatRightFalseinstrConstrCheckGotogtNatLeftFalseinstrConstrCheckGotogtNatWritewNat2FalseinstrConstrCheckGotogtNatHaltFalseinstrConstrCheckRightIfGotoigtNat12igtNat22FalseinstrConstrCheckRightGotogtNat2FalseinstrConstrCheckRightRightTrueinstrConstrCheckRightLeftFalseinstrConstrCheckRightWritewNat2FalseinstrConstrCheckRightHaltFalseinstrConstrCheckLeftIfGotoigtNat12igtNat22FalseinstrConstrCheckLeftGotogtNat2FalseinstrConstrCheckLeftRightFalseinstrConstrCheckLeftLeftTrueinstrConstrCheckLeftWritewNat2FalseinstrConstrCheckLeftHaltFalseinstrConstrCheckWritewNatIfGotoigtNat12igtNat22FalseinstrConstrCheckWritewNatGotogtNat2FalseinstrConstrCheckWritewNatRightFalseinstrConstrCheckWritewNatLeftFalseinstrConstrCheckWritewNatWritewNat2TrueinstrConstrCheckWritewNatHaltFalseinstrConstrCheckHaltIfGotoigtNat12igtNat22FalseinstrConstrCheckHaltGotogtNat2FalseinstrConstrCheckHaltRightFalseinstrConstrCheckHaltLeftFalseinstrConstrCheckHaltWritewNat2FalseinstrConstrCheckHaltHaltTruenotEmptyConsxxsTruenotEmptyNilFalselookup0instrsinstrsinstrsSecondIlrrinstrsFirstIlrlgetWriteWriteintintgetGotoSecondIfGotoi1i2i2getGotoFirstIfGotoi1i2i1getGotoGotointintrunprogtapeinputturingprogNiltapeinputprog!EQSxSy!EQxy!EQ0SyFalse!EQSx0False!EQ00Trueturing[Ite]TrueIIfGotoi1i2rrevltapertapeprogturinglookupi2progrevltapertapeprogturing[Ite]FalseIlrrevltapertapeprogturingrrevltapertapeprogEmpty0getGoto1run2getGotoFirst1True0instrConstrCheck2Goto1Left0Right0!EQ2Cons2turing4I2instrsFirst1False0turing[Ite]5Nil0getGotoSecond1lookup2Write1Halt0S1instrsConstrCheck200getWrite1notEmpty1IfGoto2instrsSecond1INNERMOSTFrederiksen_Glenstrup/turing_typed.tml.trs