==========================================
erewrite in RUSSIAN-DOLLS : <> < me : User | pending: predef,level: 0 >
    createInterpreter(interpreterManager, me, none) .
rewrites: 57
result Configuration: <> < me : User | pending: nil,level: 0 > erewroteTerm(me,
    interpreter(0), 1, 's_^4['0.Zero], 'NzNat)
==========================================
erewrite in RUSSIAN-DOLLS : <> < me : User | pending: predef,level: 1 >
    createInterpreter(interpreterManager, me, none) .
rewrites: 113
result Configuration: <> < me : User | pending: nil,level: 1 > erewroteTerm(me,
    interpreter(0), 56, '__['<>.Portal,'<_:_|_>['me.Oid,'User.Cid,'_`,_[
    'level:_['0.Zero],'pending:_['nil.Seq]]],'erewroteTerm['me.Oid,
    'interpreter['0.Zero],'s_['0.Zero],'_`[_`][''s_^4.Sort,''0.Zero.Constant],
    ''NzNat.Sort]], 'Configuration)
==========================================
erewrite in RUSSIAN-DOLLS : <> < me : User | pending: predef,level: 2 >
    createInterpreter(interpreterManager, me, none) .
rewrites: 169
result Configuration: <> < me : User | pending: nil,level: 2 > erewroteTerm(me,
    interpreter(0), 112, '__['<>.Portal,'<_:_|_>['me.Oid,'User.Cid,'_`,_[
    'level:_['s_['0.Zero]],'pending:_['nil.Seq]]],'erewroteTerm['me.Oid,
    'interpreter['0.Zero],'s_^56['0.Zero],'_`[_`][''__.Sort,'_`,_[
    ''<>.Portal.Constant,'_`[_`][''<_:_|_>.Variable,'_`,_[''me.Oid.Constant,
    ''User.Cid.Constant,'_`[_`][''_`,_.Qid,'_`,_['_`[_`][''level:_.Variable,
    ''0.Zero.Constant],'_`[_`][''pending:_.Variable,''nil.Seq.Constant]]]]],
    '_`[_`][''erewroteTerm.Sort,'_`,_[''me.Oid.Constant,'_`[_`][
    ''interpreter.Sort,''0.Zero.Constant],'_`[_`][''s_.Sort,''0.Zero.Constant],
    '_`[_`][''_`[_`].Qid,'_`,_['''s_^4.Sort.Constant,
    '''0.Zero.Constant.Constant]],'''NzNat.Sort.Constant]]]],
    ''Configuration.Sort]], 'Configuration)
==========================================
erewrite in RUSSIAN-DOLLS : <> < me : User | pending: predef,level: 3 >
    createInterpreter(interpreterManager, me, none) .
rewrites: 225
result Configuration: <> < me : User | pending: nil,level: 3 > erewroteTerm(me,
    interpreter(0), 168, '__['<>.Portal,'<_:_|_>['me.Oid,'User.Cid,'_`,_[
    'level:_['s_^2['0.Zero]],'pending:_['nil.Seq]]],'erewroteTerm['me.Oid,
    'interpreter['0.Zero],'s_^112['0.Zero],'_`[_`][''__.Sort,'_`,_[
    ''<>.Portal.Constant,'_`[_`][''<_:_|_>.Variable,'_`,_[''me.Oid.Constant,
    ''User.Cid.Constant,'_`[_`][''_`,_.Qid,'_`,_['_`[_`][''level:_.Variable,
    '_`[_`][''s_.Sort,''0.Zero.Constant]],'_`[_`][''pending:_.Variable,
    ''nil.Seq.Constant]]]]],'_`[_`][''erewroteTerm.Sort,'_`,_[
    ''me.Oid.Constant,'_`[_`][''interpreter.Sort,''0.Zero.Constant],'_`[_`][
    ''s_^56.Sort,''0.Zero.Constant],'_`[_`][''_`[_`].Qid,'_`,_[
    '''__.Sort.Constant,'_`[_`][''_`,_.Qid,'_`,_[
    '''<>.Portal.Constant.Constant,'_`[_`][''_`[_`].Qid,'_`,_[
    '''<_:_|_>.Variable.Constant,'_`[_`][''_`,_.Qid,'_`,_[
    '''me.Oid.Constant.Constant,'''User.Cid.Constant.Constant,'_`[_`][
    ''_`[_`].Qid,'_`,_['''_`,_.Qid.Constant,'_`[_`][''_`,_.Qid,'_`,_['_`[_`][
    ''_`[_`].Qid,'_`,_['''level:_.Variable.Constant,
    '''0.Zero.Constant.Constant]],'_`[_`][''_`[_`].Qid,'_`,_[
    '''pending:_.Variable.Constant,'''nil.Seq.Constant.Constant]]]]]]]]]],
    '_`[_`][''_`[_`].Qid,'_`,_['''erewroteTerm.Sort.Constant,'_`[_`][
    ''_`,_.Qid,'_`,_['''me.Oid.Constant.Constant,'_`[_`][''_`[_`].Qid,'_`,_[
    '''interpreter.Sort.Constant,'''0.Zero.Constant.Constant]],'_`[_`][
    ''_`[_`].Qid,'_`,_['''s_.Sort.Constant,'''0.Zero.Constant.Constant]],
    '_`[_`][''_`[_`].Qid,'_`,_['''_`[_`].Qid.Constant,'_`[_`][''_`,_.Qid,'_`,_[
    ''''s_^4.Sort.Constant.Constant,''''0.Zero.Constant.Constant.Constant]]]],
    ''''NzNat.Sort.Constant.Constant]]]]]]]],
    '''Configuration.Sort.Constant]]]],''Configuration.Sort]], 'Configuration)
==========================================
erewrite in RUSSIAN-DOLLS : <> < me : User | pending: predef,level: 4 >
    createInterpreter(interpreterManager, me, none) .
rewrites: 281
result Configuration: <> < me : User | pending: nil,level: 4 > erewroteTerm(me,
    interpreter(0), 224, '__['<>.Portal,'<_:_|_>['me.Oid,'User.Cid,'_`,_[
    'level:_['s_^3['0.Zero]],'pending:_['nil.Seq]]],'erewroteTerm['me.Oid,
    'interpreter['0.Zero],'s_^168['0.Zero],'_`[_`][''__.Sort,'_`,_[
    ''<>.Portal.Constant,'_`[_`][''<_:_|_>.Variable,'_`,_[''me.Oid.Constant,
    ''User.Cid.Constant,'_`[_`][''_`,_.Qid,'_`,_['_`[_`][''level:_.Variable,
    '_`[_`][''s_^2.Sort,''0.Zero.Constant]],'_`[_`][''pending:_.Variable,
    ''nil.Seq.Constant]]]]],'_`[_`][''erewroteTerm.Sort,'_`,_[
    ''me.Oid.Constant,'_`[_`][''interpreter.Sort,''0.Zero.Constant],'_`[_`][
    ''s_^112.Sort,''0.Zero.Constant],'_`[_`][''_`[_`].Qid,'_`,_[
    '''__.Sort.Constant,'_`[_`][''_`,_.Qid,'_`,_[
    '''<>.Portal.Constant.Constant,'_`[_`][''_`[_`].Qid,'_`,_[
    '''<_:_|_>.Variable.Constant,'_`[_`][''_`,_.Qid,'_`,_[
    '''me.Oid.Constant.Constant,'''User.Cid.Constant.Constant,'_`[_`][
    ''_`[_`].Qid,'_`,_['''_`,_.Qid.Constant,'_`[_`][''_`,_.Qid,'_`,_['_`[_`][
    ''_`[_`].Qid,'_`,_['''level:_.Variable.Constant,'_`[_`][''_`[_`].Qid,'_`,_[
    '''s_.Sort.Constant,'''0.Zero.Constant.Constant]]]],'_`[_`][''_`[_`].Qid,
    '_`,_['''pending:_.Variable.Constant,
    '''nil.Seq.Constant.Constant]]]]]]]]]],'_`[_`][''_`[_`].Qid,'_`,_[
    '''erewroteTerm.Sort.Constant,'_`[_`][''_`,_.Qid,'_`,_[
    '''me.Oid.Constant.Constant,'_`[_`][''_`[_`].Qid,'_`,_[
    '''interpreter.Sort.Constant,'''0.Zero.Constant.Constant]],'_`[_`][
    ''_`[_`].Qid,'_`,_['''s_^56.Sort.Constant,'''0.Zero.Constant.Constant]],
    '_`[_`][''_`[_`].Qid,'_`,_['''_`[_`].Qid.Constant,'_`[_`][''_`,_.Qid,'_`,_[
    ''''__.Sort.Constant.Constant,'_`[_`][''_`[_`].Qid,'_`,_[
    '''_`,_.Qid.Constant,'_`[_`][''_`,_.Qid,'_`,_[
    ''''<>.Portal.Constant.Constant.Constant,'_`[_`][''_`[_`].Qid,'_`,_[
    '''_`[_`].Qid.Constant,'_`[_`][''_`,_.Qid,'_`,_[
    ''''<_:_|_>.Variable.Constant.Constant,'_`[_`][''_`[_`].Qid,'_`,_[
    '''_`,_.Qid.Constant,'_`[_`][''_`,_.Qid,'_`,_[
    ''''me.Oid.Constant.Constant.Constant,
    ''''User.Cid.Constant.Constant.Constant,'_`[_`][''_`[_`].Qid,'_`,_[
    '''_`[_`].Qid.Constant,'_`[_`][''_`,_.Qid,'_`,_[
    ''''_`,_.Qid.Constant.Constant,'_`[_`][''_`[_`].Qid,'_`,_[
    '''_`,_.Qid.Constant,'_`[_`][''_`,_.Qid,'_`,_['_`[_`][''_`[_`].Qid,'_`,_[
    '''_`[_`].Qid.Constant,'_`[_`][''_`,_.Qid,'_`,_[
    ''''level:_.Variable.Constant.Constant,
    ''''0.Zero.Constant.Constant.Constant]]]],'_`[_`][''_`[_`].Qid,'_`,_[
    '''_`[_`].Qid.Constant,'_`[_`][''_`,_.Qid,'_`,_[
    ''''pending:_.Variable.Constant.Constant,
    ''''nil.Seq.Constant.Constant.Constant]]]]]]]]]]]]]]]]]]]],'_`[_`][
    ''_`[_`].Qid,'_`,_['''_`[_`].Qid.Constant,'_`[_`][''_`,_.Qid,'_`,_[
    ''''erewroteTerm.Sort.Constant.Constant,'_`[_`][''_`[_`].Qid,'_`,_[
    '''_`,_.Qid.Constant,'_`[_`][''_`,_.Qid,'_`,_[
    ''''me.Oid.Constant.Constant.Constant,'_`[_`][''_`[_`].Qid,'_`,_[
    '''_`[_`].Qid.Constant,'_`[_`][''_`,_.Qid,'_`,_[
    ''''interpreter.Sort.Constant.Constant,
    ''''0.Zero.Constant.Constant.Constant]]]],'_`[_`][''_`[_`].Qid,'_`,_[
    '''_`[_`].Qid.Constant,'_`[_`][''_`,_.Qid,'_`,_[
    ''''s_.Sort.Constant.Constant,''''0.Zero.Constant.Constant.Constant]]]],
    '_`[_`][''_`[_`].Qid,'_`,_['''_`[_`].Qid.Constant,'_`[_`][''_`,_.Qid,'_`,_[
    ''''_`[_`].Qid.Constant.Constant,'_`[_`][''_`[_`].Qid,'_`,_[
    '''_`,_.Qid.Constant,'_`[_`][''_`,_.Qid,'_`,_[
    '''''s_^4.Sort.Constant.Constant.Constant,
    '''''0.Zero.Constant.Constant.Constant.Constant]]]]]]]],
    '''''NzNat.Sort.Constant.Constant.Constant]]]]]]]]]]]]]]]],
    ''''Configuration.Sort.Constant.Constant]]]]]]]],
    '''Configuration.Sort.Constant]]]],''Configuration.Sort]], 'Configuration)
Bye.