$ lmntal --slimcode t.lmn | src/slim --nd -
run_nd
>>>react_rule before_interpret current_state = 0
COMMIT
>>>react_rule after_interpret current_state = 0
do_mc
>>>>>>nd_exec current_state=14709664>>>>>>>>>>>>>>>>>>
no entry

>>>react_rule before_interpret current_state = 14709664
no entry

uniq
uniq break
COMMIT
copy_cell

COMMIT before interpret
global_root
9 entry->key = bbb(a)

tmp_global_root
9 entry->key = bbb(a)


COMMIT after interpret
global_root
9 entry->key = bbb(a)

tmp_global_root
9 entry->key = bbb(a)

COMMIT new_state=14695520
9 entry->key = bbb(a)

uniq
uniq FALSE
uniq
uniq break
COMMIT
copy_cell

COMMIT before interpret
global_root
9 entry->key = bbb(a)
10 entry->key = ccc(a)

tmp_global_root
9 entry->key = bbb(a)
10 entry->key = ccc(a)


COMMIT after interpret
global_root
9 entry->key = bbb(a)
10 entry->key = ccc(a)

tmp_global_root
9 entry->key = bbb(a)
10 entry->key = ccc(a)

COMMIT new_state=14788640
9 entry->key = bbb(a)
10 entry->key = ccc(a)

uniq
uniq FALSE
>>>react_rule after_interpret current_state = 14709664
9 entry->key = bbb(a)
10 entry->key = ccc(a)

>>>>>>nd_exec current_state=14695520>>>>>>>>>>>>>>>>>>
9 entry->key = bbb(a)

>>>react_rule before_interpret current_state = 14695520
9 entry->key = bbb(a)

uniq
uniq FALSE
uniq
uniq break
COMMIT
copy_cell

COMMIT before interpret
global_root
9 entry->key = bbb(a)
10 entry->key = ccc(a)

tmp_global_root
9 entry->key = bbb(a)
10 entry->key = ccc(a)


COMMIT after interpret
global_root
9 entry->key = bbb(a)
10 entry->key = ccc(a)

tmp_global_root
9 entry->key = bbb(a)
10 entry->key = ccc(a)

COMMIT new_state=14787816
9 entry->key = bbb(a)
10 entry->key = ccc(a)

uniq
uniq FALSE
>>>react_rule after_interpret current_state = 14695520
9 entry->key = bbb(a)
10 entry->key = ccc(a)

>>>>>>nd_exec current_state=14787816>>>>>>>>>>>>>>>>>>
9 entry->key = bbb(a)
10 entry->key = ccc(a)

>>>react_rule before_interpret current_state = 14787816
9 entry->key = bbb(a)
10 entry->key = ccc(a)

uniq
uniq FALSE
uniq
uniq FALSE
>>>react_rule after_interpret current_state = 14787816
9 entry->key = bbb(a)
10 entry->key = ccc(a)

>>>react_rule before_interpret current_state = 14787816
9 entry->key = bbb(a)
10 entry->key = ccc(a)

>>>react_rule after_interpret current_state = 14787816
9 entry->key = bbb(a)
10 entry->key = ccc(a)

>>>react_rule before_interpret current_state = 14787816
9 entry->key = bbb(a)
10 entry->key = ccc(a)

>>>react_rule after_interpret current_state = 14787816
9 entry->key = bbb(a)
10 entry->key = ccc(a)

>>>react_rule before_interpret current_state = 14787816
9 entry->key = bbb(a)
10 entry->key = ccc(a)

>>>react_rule after_interpret current_state = 14787816
9 entry->key = bbb(a)
10 entry->key = ccc(a)

>>>react_rule before_interpret current_state = 14787816
9 entry->key = bbb(a)
10 entry->key = ccc(a)

>>>react_rule after_interpret current_state = 14787816
9 entry->key = bbb(a)
10 entry->key = ccc(a)

>>>react_rule before_interpret current_state = 14787816
9 entry->key = bbb(a)
10 entry->key = ccc(a)

>>>react_rule after_interpret current_state = 14787816
9 entry->key = bbb(a)
10 entry->key = ccc(a)

>>>react_rule before_interpret current_state = 14787816
9 entry->key = bbb(a)
10 entry->key = ccc(a)

>>>react_rule after_interpret current_state = 14787816
9 entry->key = bbb(a)
10 entry->key = ccc(a)

>>>react_rule before_interpret current_state = 14787816
9 entry->key = bbb(a)
10 entry->key = ccc(a)

>>>react_rule after_interpret current_state = 14787816
9 entry->key = bbb(a)
10 entry->key = ccc(a)

>>>react_rule before_interpret current_state = 14787816
9 entry->key = bbb(a)
10 entry->key = ccc(a)

>>>react_rule after_interpret current_state = 14787816
9 entry->key = bbb(a)
10 entry->key = ccc(a)

>>>react_rule before_interpret current_state = 14787816
9 entry->key = bbb(a)
10 entry->key = ccc(a)

>>>react_rule after_interpret current_state = 14787816
9 entry->key = bbb(a)
10 entry->key = ccc(a)

>>>react_rule before_interpret current_state = 14787816
9 entry->key = bbb(a)
10 entry->key = ccc(a)

>>>react_rule after_interpret current_state = 14787816
9 entry->key = bbb(a)
10 entry->key = ccc(a)

>>>react_rule before_interpret current_state = 14787816
9 entry->key = bbb(a)
10 entry->key = ccc(a)

>>>react_rule after_interpret current_state = 14787816
9 entry->key = bbb(a)
10 entry->key = ccc(a)

>>>react_rule before_interpret current_state = 14787816
9 entry->key = bbb(a)
10 entry->key = ccc(a)

>>>react_rule after_interpret current_state = 14787816
9 entry->key = bbb(a)
10 entry->key = ccc(a)

>>>>>>nd_exec current_state=14788640>>>>>>>>>>>>>>>>>>
9 entry->key = bbb(a)
10 entry->key = ccc(a)

>>>react_rule before_interpret current_state = 14788640
9 entry->key = bbb(a)
10 entry->key = ccc(a)

uniq
uniq FALSE
uniq
uniq FALSE
uniq
uniq FALSE
>>>react_rule after_interpret current_state = 14788640
9 entry->key = bbb(a)
10 entry->key = ccc(a)

>>>react_rule before_interpret current_state = 14788640
9 entry->key = bbb(a)
10 entry->key = ccc(a)

>>>react_rule after_interpret current_state = 14788640
9 entry->key = bbb(a)
10 entry->key = ccc(a)

>>>react_rule before_interpret current_state = 14788640
9 entry->key = bbb(a)
10 entry->key = ccc(a)

>>>react_rule after_interpret current_state = 14788640
9 entry->key = bbb(a)
10 entry->key = ccc(a)

>>>react_rule before_interpret current_state = 14788640
9 entry->key = bbb(a)
10 entry->key = ccc(a)

>>>react_rule after_interpret current_state = 14788640
9 entry->key = bbb(a)
10 entry->key = ccc(a)

>>>react_rule before_interpret current_state = 14788640
9 entry->key = bbb(a)
10 entry->key = ccc(a)

>>>react_rule after_interpret current_state = 14788640
9 entry->key = bbb(a)
10 entry->key = ccc(a)

>>>react_rule before_interpret current_state = 14788640
9 entry->key = bbb(a)
10 entry->key = ccc(a)

>>>react_rule after_interpret current_state = 14788640
9 entry->key = bbb(a)
10 entry->key = ccc(a)

>>>react_rule before_interpret current_state = 14788640
9 entry->key = bbb(a)
10 entry->key = ccc(a)

>>>react_rule after_interpret current_state = 14788640
9 entry->key = bbb(a)
10 entry->key = ccc(a)

>>>react_rule before_interpret current_state = 14788640
9 entry->key = bbb(a)
10 entry->key = ccc(a)

>>>react_rule after_interpret current_state = 14788640
9 entry->key = bbb(a)
10 entry->key = ccc(a)

>>>react_rule before_interpret current_state = 14788640
9 entry->key = bbb(a)
10 entry->key = ccc(a)

>>>react_rule after_interpret current_state = 14788640
9 entry->key = bbb(a)
10 entry->key = ccc(a)

>>>react_rule before_interpret current_state = 14788640
9 entry->key = bbb(a)
10 entry->key = ccc(a)

>>>react_rule after_interpret current_state = 14788640
9 entry->key = bbb(a)
10 entry->key = ccc(a)

>>>react_rule before_interpret current_state = 14788640
9 entry->key = bbb(a)
10 entry->key = ccc(a)

>>>react_rule after_interpret current_state = 14788640
9 entry->key = bbb(a)
10 entry->key = ccc(a)

>>>react_rule before_interpret current_state = 14788640
9 entry->key = bbb(a)
10 entry->key = ccc(a)

>>>react_rule after_interpret current_state = 14788640
9 entry->key = bbb(a)
10 entry->key = ccc(a)

>>>react_rule before_interpret current_state = 14788640
9 entry->key = bbb(a)
10 entry->key = ccc(a)

>>>react_rule after_interpret current_state = 14788640
9 entry->key = bbb(a)
10 entry->key = ccc(a)

init:14709664
14787816::::bbb(a). bbb(ok). a(ccc). ccc(ok). @3
14788640::::bbb(a). bbb(a). a(ccc). ccc(ok). @3
14695520::14787816::bbb(a). bbb(ok). a(ccc). a(ccc). @3
14709664::14788640,14695520::bbb(a). bbb(a). a(ccc). a(ccc). @3

# of States = 4