main stxtree = ConsNode__state DUMP OF TREE ROOT NODE cn_hd_field = ApplicationNode__state cn_tl_field = null Unique Id = 164 END DUMP OF TREE ROOT NODE DUMP OF TREE Begin Subtree ConsNode__state Begin Subtree ApplicationNode__state kind = 13 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 162 Begin Subtree LetterId__state kind = 32 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 49 signature = null sig_done = null sel_type = null id_str_table_index = 0 id_use_list = null id_last_definition = null id_def_found = null sel_index = null id_appl = null id_forward_ref = null End Subtree LetterId__state Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 160 Begin Subtree ConsNode__state Begin Subtree ApplicationNode__state kind = 13 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 159 Begin Subtree OpridNode__state kind = 31 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 52 signature = null sig_done = null sel_type = null id_str_table_index = 0 id_use_list = null id_last_definition = null id_def_found = null sel_index = null id_appl = null id_forward_ref = null End Subtree OpridNode__state Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 157 Begin Subtree ConsNode__state Begin Subtree ApplicationNode__state kind = 13 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 156 Begin Subtree LetterId__state kind = 32 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 54 signature = null sig_done = null sel_type = null id_str_table_index = 0 id_use_list = null id_last_definition = null id_def_found = null sel_index = null id_appl = null id_forward_ref = null End Subtree LetterId__state Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 154 Begin Subtree ConsNode__state Begin Subtree ApplicationNode__state kind = 13 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 153 Begin Subtree LetterId__state kind = 32 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 56 signature = null sig_done = null sel_type = null id_str_table_index = 0 id_use_list = null id_last_definition = null id_def_found = null sel_index = null id_appl = null id_forward_ref = null End Subtree LetterId__state Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 151 Begin Subtree ConsNode__state Begin Subtree ApplicationNode__state kind = 13 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 150 Begin Subtree OpridNode__state kind = 31 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 58 signature = null sig_done = null sel_type = null id_str_table_index = 0 id_use_list = null id_last_definition = null id_def_found = null sel_index = null id_appl = null id_forward_ref = null End Subtree OpridNode__state Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 148 Begin Subtree ConsNode__state Begin Subtree ApplicationNode__state kind = 13 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 147 Begin Subtree LetterId__state kind = 32 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 62 signature = null sig_done = null sel_type = null id_str_table_index = 0 id_use_list = null id_last_definition = null id_def_found = null sel_index = null id_appl = null id_forward_ref = null End Subtree LetterId__state Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 101 Begin Subtree ConsNode__state Begin Subtree QStrNode__state kind = 33 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 60 signature = Bertrand Russell sig_done = null sel_type = null str_string = null str_use_list = null str_expansion = null End Subtree QStrNode__state Begin Subtree ConsNode__state Begin Subtree ApplicationNode__state kind = 13 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 144 Begin Subtree OpridNode__state kind = 31 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 64 signature = null sig_done = null sel_type = null id_str_table_index = 0 id_use_list = null id_last_definition = null id_def_found = null sel_index = null id_appl = null id_forward_ref = null End Subtree OpridNode__state Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 142 Begin Subtree ConsNode__state Begin Subtree ApplicationNode__state kind = 13 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 141 Begin Subtree OpridNode__state kind = 31 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 68 signature = null sig_done = null sel_type = null id_str_table_index = 0 id_use_list = null id_last_definition = null id_def_found = null sel_index = null id_appl = null id_forward_ref = null End Subtree OpridNode__state Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 104 Begin Subtree ConsNode__state Begin Subtree UQStrNode__state kind = 34 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 66 signature = 1872 sig_done = null sel_type = null str_string = null str_use_list = null str_expansion = null End Subtree UQStrNode__state Begin Subtree ConsNode__state Begin Subtree ApplicationNode__state kind = 13 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 138 Begin Subtree OpridNode__state kind = 31 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 72 signature = null sig_done = null sel_type = null id_str_table_index = 0 id_use_list = null id_last_definition = null id_def_found = null sel_index = null id_appl = null id_forward_ref = null End Subtree OpridNode__state Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 106 Begin Subtree ConsNode__state Begin Subtree UQStrNode__state kind = 34 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 70 signature = 5 sig_done = null sel_type = null str_string = null str_use_list = null str_expansion = null End Subtree UQStrNode__state Begin Subtree ConsNode__state Begin Subtree ApplicationNode__state kind = 13 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 135 Begin Subtree OpridNode__state kind = 31 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 76 signature = null sig_done = null sel_type = null id_str_table_index = 0 id_use_list = null id_last_definition = null id_def_found = null sel_index = null id_appl = null id_forward_ref = null End Subtree OpridNode__state Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 108 Begin Subtree ConsNode__state Begin Subtree UQStrNode__state kind = 34 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 74 signature = 18 sig_done = null sel_type = null str_string = null str_use_list = null str_expansion = null End Subtree UQStrNode__state Begin Subtree ConsNode__state Begin Subtree ApplicationNode__state kind = 13 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 132 Begin Subtree OpridNode__state kind = 31 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 80 signature = null sig_done = null sel_type = null id_str_table_index = 0 id_use_list = null id_last_definition = null id_def_found = null sel_index = null id_appl = null id_forward_ref = null End Subtree OpridNode__state Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 110 Begin Subtree ConsNode__state Begin Subtree UQStrNode__state kind = 34 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 78 signature = 6 sig_done = null sel_type = null str_string = null str_use_list = null str_expansion = null End Subtree UQStrNode__state Begin Subtree ConsNode__state Begin Subtree ApplicationNode__state kind = 13 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 129 Begin Subtree OpridNode__state kind = 31 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 84 signature = null sig_done = null sel_type = null id_str_table_index = 0 id_use_list = null id_last_definition = null id_def_found = null sel_index = null id_appl = null id_forward_ref = null End Subtree OpridNode__state Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 112 Begin Subtree ConsNode__state Begin Subtree UQStrNode__state kind = 34 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 82 signature = 4 sig_done = null sel_type = null str_string = null str_use_list = null str_expansion = null End Subtree UQStrNode__state Begin Subtree ConsNode__state Begin Subtree ApplicationNode__state kind = 13 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 126 Begin Subtree LetterId__state kind = 32 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 86 signature = null sig_done = null sel_type = null id_str_table_index = 0 id_use_list = null id_last_definition = null id_def_found = null sel_index = null id_appl = null id_forward_ref = null End Subtree LetterId__state Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 124 Begin Subtree ConsNode__state Begin Subtree ApplicationNode__state kind = 13 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 123 Begin Subtree OpridNode__state kind = 31 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 88 signature = null sig_done = null sel_type = null id_str_table_index = 0 id_use_list = null id_last_definition = null id_def_found = null sel_index = null id_appl = null id_forward_ref = null End Subtree OpridNode__state Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 121 Begin Subtree ConsNode__state Begin Subtree ApplicationNode__state kind = 13 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 120 Begin Subtree OpridNode__state kind = 31 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 92 signature = null sig_done = null sel_type = null id_str_table_index = 0 id_use_list = null id_last_definition = null id_def_found = null sel_index = null id_appl = null id_forward_ref = null End Subtree OpridNode__state Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 116 Begin Subtree ConsNode__state Begin Subtree UQStrNode__state kind = 34 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 90 signature = 6 sig_done = null sel_type = null str_string = null str_use_list = null str_expansion = null End Subtree UQStrNode__state Begin Subtree ConsNode__state Begin Subtree LetterId__state kind = 32 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 94 signature = null sig_done = null sel_type = null id_str_table_index = 0 id_use_list = null id_last_definition = null id_def_found = null sel_index = null id_appl = null id_forward_ref = null End Subtree LetterId__state cn_tl_field = null Unique Id = 119 End Subtree ConsNode__state Unique Id = 117 End Subtree ConsNode__state End Subtree already visited ConsNode__state cn_hd_field = LetterId__state cn_tl_field = null Unique Id = 119 End Subtree already visited ConsNode__state End Subtree ListHeaderNode__state ap_operator = null ap_args = null ap_void_decl = null End Subtree ApplicationNode__state cn_tl_field = null Unique Id = 122 End Subtree ConsNode__state End Subtree already visited ConsNode__state cn_hd_field = ApplicationNode__state cn_tl_field = null Unique Id = 122 End Subtree already visited ConsNode__state End Subtree ListHeaderNode__state ap_operator = null ap_args = null ap_void_decl = null End Subtree ApplicationNode__state cn_tl_field = null Unique Id = 125 End Subtree ConsNode__state End Subtree already visited ConsNode__state cn_hd_field = ApplicationNode__state cn_tl_field = null Unique Id = 125 End Subtree already visited ConsNode__state End Subtree ListHeaderNode__state ap_operator = null ap_args = null ap_void_decl = null End Subtree ApplicationNode__state cn_tl_field = null Unique Id = 128 End Subtree ConsNode__state Unique Id = 113 End Subtree ConsNode__state End Subtree already visited ConsNode__state cn_hd_field = ApplicationNode__state cn_tl_field = null Unique Id = 128 End Subtree already visited ConsNode__state End Subtree ListHeaderNode__state ap_operator = null ap_args = null ap_void_decl = null End Subtree ApplicationNode__state cn_tl_field = null Unique Id = 131 End Subtree ConsNode__state Unique Id = 111 End Subtree ConsNode__state End Subtree already visited ConsNode__state cn_hd_field = ApplicationNode__state cn_tl_field = null Unique Id = 131 End Subtree already visited ConsNode__state End Subtree ListHeaderNode__state ap_operator = null ap_args = null ap_void_decl = null End Subtree ApplicationNode__state cn_tl_field = null Unique Id = 134 End Subtree ConsNode__state Unique Id = 109 End Subtree ConsNode__state End Subtree already visited ConsNode__state cn_hd_field = ApplicationNode__state cn_tl_field = null Unique Id = 134 End Subtree already visited ConsNode__state End Subtree ListHeaderNode__state ap_operator = null ap_args = null ap_void_decl = null End Subtree ApplicationNode__state cn_tl_field = null Unique Id = 137 End Subtree ConsNode__state Unique Id = 107 End Subtree ConsNode__state End Subtree already visited ConsNode__state cn_hd_field = ApplicationNode__state cn_tl_field = null Unique Id = 137 End Subtree already visited ConsNode__state End Subtree ListHeaderNode__state ap_operator = null ap_args = null ap_void_decl = null End Subtree ApplicationNode__state cn_tl_field = null Unique Id = 140 End Subtree ConsNode__state Unique Id = 105 End Subtree ConsNode__state End Subtree already visited ConsNode__state cn_hd_field = ApplicationNode__state cn_tl_field = null Unique Id = 140 End Subtree already visited ConsNode__state End Subtree ListHeaderNode__state ap_operator = null ap_args = null ap_void_decl = null End Subtree ApplicationNode__state cn_tl_field = null Unique Id = 143 End Subtree ConsNode__state End Subtree already visited ConsNode__state cn_hd_field = ApplicationNode__state cn_tl_field = null Unique Id = 143 End Subtree already visited ConsNode__state End Subtree ListHeaderNode__state ap_operator = null ap_args = null ap_void_decl = null End Subtree ApplicationNode__state cn_tl_field = null Unique Id = 146 End Subtree ConsNode__state Unique Id = 102 End Subtree ConsNode__state End Subtree already visited ConsNode__state cn_hd_field = ApplicationNode__state cn_tl_field = null Unique Id = 146 End Subtree already visited ConsNode__state End Subtree ListHeaderNode__state ap_operator = null ap_args = null ap_void_decl = null End Subtree ApplicationNode__state cn_tl_field = null Unique Id = 149 End Subtree ConsNode__state End Subtree already visited ConsNode__state cn_hd_field = ApplicationNode__state cn_tl_field = null Unique Id = 149 End Subtree already visited ConsNode__state End Subtree ListHeaderNode__state ap_operator = null ap_args = null ap_void_decl = null End Subtree ApplicationNode__state cn_tl_field = null Unique Id = 152 End Subtree ConsNode__state End Subtree already visited ConsNode__state cn_hd_field = ApplicationNode__state cn_tl_field = null Unique Id = 152 End Subtree already visited ConsNode__state End Subtree ListHeaderNode__state ap_operator = null ap_args = null ap_void_decl = null End Subtree ApplicationNode__state cn_tl_field = null Unique Id = 155 End Subtree ConsNode__state End Subtree already visited ConsNode__state cn_hd_field = ApplicationNode__state cn_tl_field = null Unique Id = 155 End Subtree already visited ConsNode__state End Subtree ListHeaderNode__state ap_operator = null ap_args = null ap_void_decl = null End Subtree ApplicationNode__state cn_tl_field = null Unique Id = 158 End Subtree ConsNode__state End Subtree already visitedConsNode__state cn_hd_field = ApplicationNode__state cn_tl_field = null Unique Id = 158 End Subtree already visitedConsNode__state End Subtree ListHeaderNode__state ap_operator = null ap_args = null ap_void_decl = null End Subtree ApplicationNode__state cn_tl_field = null Unique Id = 161 End Subtree ConsNode__state End Subtree already visiConsNode__state cn_hd_field = ApplicationNode__state cn_tl_field = null Unique Id = 161 End Subtree already visiConsNode__state End Subtree ListHeaderNode__state ap_operator = null ap_args = null ap_void_decl = null End Subtree ApplicationNode__state cn_tl_field = null Unique Id = 164 End Subtree ConsNode__state END DUMP OF TREE