%------------------------------------------------------------------------------
% File : iProver---3.9.4
% Problem : ITP310_1 : TPTP v9.3.1. Released v8.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_iprover 300 /export/starexec/sandbox2/benchmark/theBenchmark.p THM
% Computer : n012.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8046.5625MB
% OS : Linux 6.8.0-71-generic
% CPULimit : 300s
% WCLimit : 300s
% DateTime : Fri Sep 25 01:49:24 PM UTC 2026
% Result : Theorem 3.22s 0.97s
% Output : CNFRefutation 3.22s
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.01 % Problem : ITP310_1 : TPTP v9.3.1. Released v8.0.0.
% 0.00/0.02 % Command : run_iprover 300 /export/starexec/sandbox2/benchmark/theBenchmark.p THM
% 0.03/0.29 % Computer : n012.cluster.edu
% 0.03/0.29 % Model : x86_64 x86_64
% 0.03/0.29 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.03/0.29 % Memory : 8046.5625MB
% 0.03/0.29 % OS : Linux 6.8.0-71-generic
% 0.03/0.29 % CPULimit : 300
% 0.03/0.29 % WCLimit : 300
% 0.03/0.29 % DateTime : Wed Sep 23 18:21:51 UTC 2026
% 0.03/0.30 % CPUTime :
% 0.03/0.30 Running run_iprover 300 /export/starexec/sandbox2/benchmark/theBenchmark.p THM
% 0.03/0.32 Running first-order theorem proving
% 0.03/0.32 Running: /export/starexec/sandbox2/solver/bin/iproveropt-multi-core.sh -d -n -l tptp -s fof_schedule -t 300 /export/starexec/sandbox2/benchmark/theBenchmark.p
% 0.03/0.32
% 0.03/0.32 % ======== iProver multi-core TPTP/SMT =========
% 0.03/0.32
% 0.03/0.32 % Detected problem language: tptp
% 0.07/0.33 % Proving...
% 3.22/0.97 % SZS status Started for theBenchmark.p
% 3.22/0.97 % SZS status Theorem for theBenchmark.p
% 3.22/0.97
% 3.22/0.97 %---------------- iProver v3.9.4 (pre CASC 2026/SMT-COMP 2026) ----------------%
% 3.22/0.97
% 3.22/0.97 % ------ iProver source info
% 3.22/0.97
% 3.22/0.97 % git: date: 2026-07-19 20:42:38 +0200
% 3.22/0.97 % git: sha1: 804e7d636a263075307957e923b7a22a4035de61
% 3.22/0.97 % git: non_committed_changes: false
% 3.22/0.97
% 3.22/0.97 % ------ Parsing...
% 3.22/0.97 % ------ Clausification by vclausify_rel & Parsing by iProver...
% 3.22/0.97 % ------ Proving...
% 3.22/0.97 % ------ Problem Properties
% 3.22/0.97
% 3.22/0.97 %
% 3.22/0.97 % clauses 1038
% 3.22/0.97 % conjectures 1
% 3.22/0.97 % EPR 30
% 3.22/0.97 % Horn 805
% 3.22/0.97 % unary 249
% 3.22/0.97 % binary 358
% 3.22/0.97 % lits 2422
% 3.22/0.97 % lits eq 466
% 3.22/0.97 % fd_pure 1
% 3.22/0.97 % fd_pseudo 0
% 3.22/0.97 % fd_cond 29
% 3.22/0.97 % fd_pseudo_cond 71
% 3.22/0.97 % AC symbols 0
% 3.22/0.97
% 3.22/0.97 % ------ Input Options Time Limit: Unbounded
% 3.22/0.97
% 3.22/0.97
% 3.22/0.97 % ------
% 3.22/0.97 % Current options:
% 3.22/0.97 % ------
% 3.22/0.97
% 3.22/0.97
% 3.22/0.97 %
% 3.22/0.97
% 3.22/0.97 % ------ Proving...
% 3.22/0.97 %
% 3.22/0.97
% 3.22/0.97 % SZS status Theorem for theBenchmark.p
% 3.22/0.97
% 3.22/0.97 % SZS output start CNFRefutation for theBenchmark.p
% 3.22/0.97
% 3.22/0.97 tff(func_def_0, type, 'a_known_ptrs$d': 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_bool_fun$').
% 3.22/0.97 tff(pred_def_1, type, 'fun_app$d': ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_bool_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$') > $o).
% 3.22/0.97 tff(pred_def_2, type, 'less_eq$a': ('Bool_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fun$' * 'Bool_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fun$') > $o).
% 3.22/0.97 tff(pred_def_3, type, 'l_get_O_b_j_e_c_t_lemmas$': 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_bool_fun$' > $o).
% 3.22/0.97 tff(pred_def_4, type, 'fun_app$e': ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_bool_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap$') > $o).
% 3.22/0.97 tff(pred_def_5, type, 'l_put_M$': ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_bool_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_RObject_ext_option_fun_fun$') > $o).
% 3.22/0.97 tff(pred_def_6, type, 'l_known_ptrs$': ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_bool_fun$') > $o).
% 3.22/0.97 tff(pred_def_7, type, 'l_get_M$': ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_RObject_ext_option_fun_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_bool_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun$') > $o).
% 3.22/0.97 tff(pred_def_8, type, 'less_eq$b': ('Bool_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_fun$' * 'Bool_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_fun$') > $o).
% 3.22/0.97 tff(pred_def_9, type, 'fun_app$a': ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_bool_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$') > $o).
% 3.22/0.97 tff(pred_def_10, type, 'less_eq$c': ('Bool_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun$' * 'Bool_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun$') > $o).
% 3.22/0.97 tff(pred_def_11, type, 'fun_app$': ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$') > $o).
% 3.22/0.97 tff(pred_def_12, type, sP0: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$' * tlbool * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$') > $o).
% 3.22/0.97 tff(pred_def_13, type, sP1: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$' * tlbool * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$') > $o).
% 3.22/0.97 tff(pred_def_14, type, sP2: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$') > $o).
% 3.22/0.97 tff(pred_def_15, type, sP3: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$') > $o).
% 3.22/0.97 tff(pred_def_16, type, sP4: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$') > $o).
% 3.22/0.97 tff(pred_def_17, type, sP5: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$') > $o).
% 3.22/0.97 tff(pred_def_18, type, sP6: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$') > $o).
% 3.22/0.97 tff(pred_def_19, type, sP7: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_bool_fun_fun$' > $o).
% 3.22/0.97 tff(pred_def_20, type, sP8: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_bool_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$') > $o).
% 3.22/0.97 tff(pred_def_21, type, sP9: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_bool_fun$' > $o).
% 3.22/0.97 tff(pred_def_22, type, sP10: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_bool_fun$' > $o).
% 3.22/0.97 tff(pred_def_23, type, sP11: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_bool_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$') > $o).
% 3.22/0.97 tff(pred_def_24, type, sP12: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_bool_fun$' > $o).
% 3.22/0.97 tff(pred_def_25, type, sP13: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_bool_fun$' > $o).
% 3.22/0.97 tff(pred_def_26, type, sP14: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$') > $o).
% 3.22/0.97 tff(pred_def_27, type, sP15: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$') > $o).
% 3.22/0.97 tff(pred_def_28, type, sP16: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$') > $o).
% 3.22/0.97 tff(func_def_29, type, 'fun_app$t': ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_RObject_ext_option_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap$') > 'Node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_RObject_ext_option$').
% 3.22/0.97 tff(func_def_30, type, 'fun_app$q': ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$').
% 3.22/0.97 tff(func_def_31, type, 'less$': 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_bool_fun_fun$').
% 3.22/0.97 tff(func_def_32, type, 'delete_O_b_j_e_c_t$': ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_option$').
% 3.22/0.97 tff(func_def_33, type, 'greatest$b': 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_34, type, tltrue: tlbool).
% 3.22/0.97 tff(func_def_35, type, 'a_known_ptr$c': 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$').
% 3.22/0.97 tff(func_def_36, type, 'less_eq$d': 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_bool_fun$').
% 3.22/0.97 tff(func_def_37, type, 'known_ptr$b': 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$').
% 3.22/0.97 tff(func_def_38, type, 'minus$': 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun_fun$').
% 3.22/0.97 tff(func_def_39, type, 'fun_app$l': ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_40, type, 'fun_app$s': ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_fun_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_fun$').
% 3.22/0.97 tff(func_def_41, type, 'put_O_b_j_e_c_t$': ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$' * 'Node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_RObject_ext$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap$').
% 3.22/0.97 tff(func_def_42, type, 'parent_ptr$': 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_43, type, 'heap_unchanged_except$': ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_bool_fun$').
% 3.22/0.97 tff(func_def_44, type, 'fun_app$n': ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$').
% 3.22/0.97 tff(func_def_45, type, 'fmember$': 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_bool_fun$').
% 3.22/0.97 tff(func_def_46, type, 'fun_app$r': ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_47, type, 'greatest$': 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_bool_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.97 tff(func_def_48, type, 'inf$a': 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun_fun$').
% 3.22/0.97 tff(func_def_49, type, 'known_ptrs$b': 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_bool_fun$').
% 3.22/0.97 tff(func_def_50, type, 'fun_app$f': ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_bool_fun_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_bool_fun$').
% 3.22/0.97 tff(func_def_51, type, 'a_known_ptr$d': 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$').
% 3.22/0.97 tff(func_def_52, type, 'known_ptr$c': 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$').
% 3.22/0.97 tff(func_def_53, type, 'fMin$': 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fun$').
% 3.22/0.97 tff(func_def_54, type, 'bot$': 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.97 tff(func_def_55, type, 'ffilter$': 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun$').
% 3.22/0.97 tff(func_def_56, type, tlfalse: tlbool).
% 3.22/0.97 tff(func_def_57, type, 'fun_app$v': ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun$').
% 3.22/0.97 tff(func_def_58, type, 'a_known_ptr$': 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$').
% 3.22/0.97 tff(func_def_59, type, 'less_eq$e': 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun_fun$').
% 3.22/0.97 tff(func_def_60, type, 'a_known_ptrs$b': 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_bool_fun$').
% 3.22/0.97 tff(func_def_61, type, 'fun_app$i': ('Bool_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_fun$' * tlbool) > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$').
% 3.22/0.97 tff(func_def_62, type, 'known_ptr$a': 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$').
% 3.22/0.97 tff(func_def_63, type, 'known_ptrs$': 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_bool_fun$').
% 3.22/0.97 tff(func_def_64, type, 'less$a': 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_bool_fun$').
% 3.22/0.97 tff(func_def_65, type, 'fun_app$c': ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.97 tff(func_def_66, type, 'known_ptrs$d': 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_bool_fun$').
% 3.22/0.97 tff(func_def_67, type, 'a_known_ptr$b': 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$').
% 3.22/0.97 tff(func_def_68, type, 'none$a': 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_option$').
% 3.22/0.97 tff(func_def_69, type, 'none$': 'Node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_RObject_ext_option$').
% 3.22/0.97 tff(func_def_70, type, 'h$': 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap$').
% 3.22/0.97 tff(func_def_71, type, 'minus$a': 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_fun_fun$').
% 3.22/0.97 tff(func_def_72, type, 'sup$a': 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_fun_fun$').
% 3.22/0.97 tff(func_def_73, type, 'finsert$': 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun$').
% 3.22/0.97 tff(func_def_74, type, 'known_ptr$d': 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$').
% 3.22/0.97 tff(func_def_75, type, 'member$': 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_bool_fun$').
% 3.22/0.97 tff(func_def_76, type, 'less_eq$': 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_bool_fun_fun$').
% 3.22/0.97 tff(func_def_77, type, 'bot$a': 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$').
% 3.22/0.97 tff(func_def_78, type, 'fun_app$k': ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.97 tff(func_def_79, type, 'filter$': 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_fun$').
% 3.22/0.97 tff(func_def_80, type, sK17: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_81, type, sK18: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_82, type, sK19: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_83, type, sK20: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_84, type, sK21: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_85, type, sK22: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_86, type, sK23: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_87, type, sK24: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_88, type, sK25: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_89, type, sK26: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_90, type, sK27: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_91, type, sK28: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.97 tff(func_def_92, type, sK29: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.97 tff(func_def_93, type, sK30: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.97 tff(func_def_94, type, sK31: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.97 tff(func_def_95, type, sK32: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.97 tff(func_def_96, type, sK33: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.97 tff(func_def_97, type, sK34: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$').
% 3.22/0.97 tff(func_def_98, type, sK35: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$').
% 3.22/0.97 tff(func_def_99, type, sK36: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$').
% 3.22/0.97 tff(func_def_100, type, sK37: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$').
% 3.22/0.97 tff(func_def_101, type, sK38: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$').
% 3.22/0.97 tff(func_def_102, type, sK39: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$').
% 3.22/0.97 tff(func_def_103, type, sK40: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_104, type, sK41: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_105, type, sK42: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_106, type, sK43: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_107, type, sK44: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_108, type, sK45: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_109, type, sK46: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.97 tff(func_def_110, type, sK47: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.97 tff(func_def_111, type, sK48: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.97 tff(func_def_112, type, sK49: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.97 tff(func_def_113, type, sK50: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.97 tff(func_def_114, type, sK51: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.97 tff(func_def_115, type, sK52: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$').
% 3.22/0.97 tff(func_def_116, type, sK53: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$').
% 3.22/0.97 tff(func_def_117, type, sK54: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$').
% 3.22/0.97 tff(func_def_118, type, sK55: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$').
% 3.22/0.97 tff(func_def_119, type, sK56: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$').
% 3.22/0.97 tff(func_def_120, type, sK57: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$').
% 3.22/0.97 tff(func_def_121, type, sK58: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_122, type, sK59: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_123, type, sK60: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_124, type, sK61: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_125, type, sK62: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_126, type, sK63: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_127, type, sK64: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_128, type, sK65: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_129, type, sK66: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_130, type, sK67: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_131, type, sK68: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.97 tff(func_def_132, type, sK69: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.97 tff(func_def_133, type, sK70: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$').
% 3.22/0.97 tff(func_def_134, type, sK71: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$').
% 3.22/0.97 tff(func_def_135, type, sK72: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_136, type, sK73: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_137, type, sK74: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.97 tff(func_def_138, type, sK75: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.97 tff(func_def_139, type, sK76: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$').
% 3.22/0.97 tff(func_def_140, type, sK77: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$').
% 3.22/0.97 tff(func_def_141, type, sK78: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_142, type, sK79: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_143, type, sK80: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.97 tff(func_def_144, type, sK81: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.97 tff(func_def_145, type, sK82: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$').
% 3.22/0.97 tff(func_def_146, type, sK83: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$').
% 3.22/0.97 tff(func_def_147, type, sK84: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_148, type, sK85: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_149, type, sK86: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.97 tff(func_def_150, type, sK87: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.97 tff(func_def_151, type, sK88: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.97 tff(func_def_152, type, sK89: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.97 tff(func_def_153, type, sK90: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.97 tff(func_def_154, type, sK91: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.97 tff(func_def_155, type, sK92: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$').
% 3.22/0.97 tff(func_def_156, type, sK93: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$').
% 3.22/0.97 tff(func_def_157, type, sK94: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$').
% 3.22/0.97 tff(func_def_158, type, sK95: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$').
% 3.22/0.97 tff(func_def_159, type, sK96: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$').
% 3.22/0.97 tff(func_def_160, type, sK97: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$').
% 3.22/0.97 tff(func_def_161, type, sK98: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_162, type, sK99: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_163, type, sK100: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_164, type, sK101: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_165, type, sK102: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_166, type, sK103: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_167, type, sK104: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_168, type, sK105: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_bool_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.97 tff(func_def_169, type, sK106: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_bool_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_bool_fun$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.97 tff(func_def_170, type, sK107: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_bool_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$').
% 3.22/0.97 tff(func_def_171, type, sK108: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_bool_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_bool_fun$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$').
% 3.22/0.97 tff(func_def_172, type, sK109: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_173, type, sK110: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_174, type, sK111: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_bool_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.97 tff(func_def_175, type, sK112: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_bool_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$').
% 3.22/0.97 tff(func_def_176, type, sK113: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_177, type, sK114: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_178, type, sK115: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_179, type, sK116: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_180, type, sK117: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_181, type, sK118: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_182, type, sK119: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_183, type, sK120: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_184, type, sK121: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_185, type, sK122: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_186, type, sK123: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.97 tff(func_def_187, type, sK124: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.97 tff(func_def_188, type, sK125: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.98 tff(func_def_189, type, sK126: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.98 tff(func_def_190, type, sK127: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.98 tff(func_def_191, type, sK128: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.98 tff(func_def_192, type, sK129: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.98 tff(func_def_193, type, sK130: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.98 tff(func_def_194, type, sK131: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.98 tff(func_def_195, type, sK132: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.98 tff(func_def_196, type, sK133: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.98 tff(func_def_197, type, sK134: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.98 tff(func_def_198, type, sK135: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_fun_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$').
% 3.22/0.98 tff(func_def_199, type, sK136: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_fun_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$').
% 3.22/0.98 tff(func_def_200, type, sK137: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_fun_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$').
% 3.22/0.98 tff(func_def_201, type, sK138: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_fun_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$').
% 3.22/0.98 tff(func_def_202, type, sK139: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_fun_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$').
% 3.22/0.98 tff(func_def_203, type, sK140: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_fun_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$').
% 3.22/0.98 tff(func_def_204, type, sK141: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_fun_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$').
% 3.22/0.98 tff(func_def_205, type, sK142: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.98 tff(func_def_206, type, sK143: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.98 tff(func_def_207, type, sK144: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.98 tff(func_def_208, type, sK145: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_RObject_ext_option_fun_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_bool_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap$').
% 3.22/0.98 tff(func_def_209, type, sK146: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_RObject_ext_option_fun_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_bool_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.98 tff(func_def_210, type, sK147: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_RObject_ext_option_fun_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.98 tff(func_def_211, type, sK148: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_RObject_ext_option_fun_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap$').
% 3.22/0.98 tff(func_def_212, type, sK149: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_bool_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_RObject_ext_option_fun_fun$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap$').
% 3.22/0.98 tff(func_def_213, type, sK150: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_bool_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_RObject_ext_option_fun_fun$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.98 tff(func_def_214, type, sK151: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_RObject_ext_option_fun_fun$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.98 tff(func_def_215, type, sK152: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_RObject_ext_option_fun_fun$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap$').
% 3.22/0.98 tff(func_def_216, type, sK153: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.98 tff(func_def_217, type, sK154: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.98 tff(func_def_218, type, sK155: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_bool_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.98 tff(func_def_219, type, sK156: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_bool_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.98 tff(func_def_220, type, sK157: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_bool_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.98 tff(func_def_221, type, sK158: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_bool_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.98 tff(func_def_222, type, sK159: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.98 tff(func_def_223, type, sK160: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.98 tff(func_def_224, type, sK161: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_bool_fun_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.98 tff(func_def_225, type, sK162: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_bool_fun_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.98 tff(func_def_226, type, sK163: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_bool_fun_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.98 tff(func_def_227, type, sK164: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_bool_fun_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.98 tff(func_def_228, type, sK165: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_bool_fun_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.98 tff(func_def_229, type, sK166: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_bool_fun_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.98 tff(func_def_230, type, sK167: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_bool_fun_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.98 tff(func_def_231, type, sK168: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_bool_fun_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.98 tff(func_def_232, type, sK169: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_bool_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap$').
% 3.22/0.98 tff(func_def_233, type, sK170: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_bool_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap$').
% 3.22/0.98 tff(func_def_234, type, sK171: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_bool_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap$').
% 3.22/0.98 tff(func_def_235, type, sK172: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_bool_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap$').
% 3.22/0.98 tff(func_def_236, type, sK173: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_bool_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap$').
% 3.22/0.98 tff(func_def_237, type, sK174: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_bool_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap$').
% 3.22/0.98 tff(func_def_238, type, sK175: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_bool_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.98 tff(func_def_239, type, sK176: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_bool_fun$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap$').
% 3.22/0.98 tff(func_def_240, type, sK177: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_bool_fun$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.98 tff(func_def_241, type, sK178: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_bool_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap$').
% 3.22/0.98 tff(func_def_242, type, sK179: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_bool_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap$').
% 3.22/0.98 tff(func_def_243, type, sK180: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_bool_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap$').
% 3.22/0.98 tff(func_def_244, type, sK181: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_bool_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap$').
% 3.22/0.98 tff(func_def_245, type, sK182: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_bool_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap$').
% 3.22/0.98 tff(func_def_246, type, sK183: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_bool_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap$').
% 3.22/0.98 tff(func_def_247, type, sK184: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_bool_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.98 tff(func_def_248, type, sK185: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_bool_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap$').
% 3.22/0.98 tff(func_def_249, type, sK186: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap_bool_fun$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.98 tff(func_def_250, type, sK187: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.98 tff(func_def_251, type, sK188: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.98 tff(func_def_252, type, sK189: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.98 tff(func_def_253, type, sK190: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.98 tff(func_def_254, type, sK191: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.98 tff(func_def_255, type, sK192: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.98 tff(func_def_256, type, sK193: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.98 tff(func_def_257, type, sK194: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.98 tff(func_def_258, type, sK195: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.98 tff(func_def_259, type, sK196: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.98 tff(func_def_260, type, sK197: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset_fun_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$').
% 3.22/0.98 tff(func_def_261, type, sK198: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_fun_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$').
% 3.22/0.98 tff(func_def_262, type, sK199: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_fun_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$').
% 3.22/0.98 tff(func_def_263, type, sK200: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_fun_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$').
% 3.22/0.98 tff(func_def_264, type, sK201: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_fun_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$').
% 3.22/0.98 tff(func_def_265, type, sK202: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_fun_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$').
% 3.22/0.98 tff(func_def_266, type, sK203: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_fun_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$').
% 3.22/0.98 tff(func_def_267, type, sK204: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set_fun_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$').
% 3.22/0.98 tff(func_def_268, type, sK205: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.98 tff(func_def_269, type, sK206: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.98 tff(func_def_270, type, sK207: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.98 tff(func_def_271, type, sK208: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.98 tff(func_def_272, type, sK209: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.98 tff(func_def_273, type, sK210: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$').
% 3.22/0.98 tff(func_def_274, type, sK211: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$').
% 3.22/0.98 tff(func_def_275, type, sK212: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_node_ptr_element_ptr_character_data_ptr_shadow_root_ptr_Element_option_RElement_ext_CharacterData_option_RCharacterData_ext_Node_sum_sum_RNode_ext_node_ptr_element_ptr_character_data_ptr_Document_option_RDocument_ext_Object_sum_sum_heap$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.98 tff(func_def_276, type, sK213: 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$' > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.98 tff(func_def_277, type, sK214: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.98 tff(func_def_278, type, sK215: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.98 tff(func_def_279, type, sK216: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.98 tff(func_def_280, type, sK217: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.98 tff(func_def_281, type, sK218: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.98 tff(func_def_282, type, sK219: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_set$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_bool_fun$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.98 tff(func_def_283, type, sK220: ('Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$' * 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$') > 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$').
% 3.22/0.98 tff(f2,conjecture,(
% 3.22/0.98 'fun_app$a'('member$'('parent_ptr$'),'fun_app$b'('fset$','fun_app$c'('object_ptr_kinds$','h$')))),
% 3.22/0.98 file('/export/starexec/sandbox2/benchmark/theBenchmark.p',conjecture1)).
% 3.22/0.98
% 3.22/0.98 tff(f3,negated_conjecture,(
% 3.22/0.98 ~ 'fun_app$a'('member$'('parent_ptr$'),'fun_app$b'('fset$','fun_app$c'('object_ptr_kinds$','h$')))),
% 3.22/0.98 inference(negated_conjecture,[status(cth)],[f2])).
% 3.22/0.98
% 3.22/0.98 tff(f4,axiom,(
% 3.22/0.98 'fun_app$d'('fmember$'('parent_ptr$'),'fun_app$c'('object_ptr_kinds$','h$'))),
% 3.22/0.98 file('/export/starexec/sandbox2/benchmark/theBenchmark.p',axiom2)).
% 3.22/0.98
% 3.22/0.98 tff(f13,axiom,(
% 3.22/0.98 ! [X0 : 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$',X1 : 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$'] : (~'fun_app$d'('fmember$'(X0),X1) <=> ~'fun_app$a'('member$'(X0),'fun_app$b'('fset$',X1)))),
% 3.22/0.98 file('/export/starexec/sandbox2/benchmark/theBenchmark.p',axiom11)).
% 3.22/0.98
% 3.22/0.98 tff(f644,plain,(
% 3.22/0.98 ~'fun_app$a'('member$'('parent_ptr$'),'fun_app$b'('fset$','fun_app$c'('object_ptr_kinds$','h$')))),
% 3.22/0.98 inference(flattening,[],[f3])).
% 3.22/0.98
% 3.22/0.98 tff(f1297,plain,(
% 3.22/0.98 ! [X0 : 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$',X1 : 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$'] : ((~'fun_app$d'('fmember$'(X0),X1) | 'fun_app$a'('member$'(X0),'fun_app$b'('fset$',X1))) & (~'fun_app$a'('member$'(X0),'fun_app$b'('fset$',X1)) | 'fun_app$d'('fmember$'(X0),X1)))),
% 3.22/0.98 inference(nnf_transformation,[],[f13])).
% 3.22/0.98
% 3.22/0.98 tff(f1630,plain,(
% 3.22/0.98 ~'fun_app$a'('member$'('parent_ptr$'),'fun_app$b'('fset$','fun_app$c'('object_ptr_kinds$','h$')))),
% 3.22/0.98 inference(cnf_transformation,[],[f644])).
% 3.22/0.98
% 3.22/0.98 tff(f1631,plain,(
% 3.22/0.98 'fun_app$d'('fmember$'('parent_ptr$'),'fun_app$c'('object_ptr_kinds$','h$'))),
% 3.22/0.98 inference(cnf_transformation,[],[f4])).
% 3.22/0.98
% 3.22/0.98 tff(f1654,plain,(
% 3.22/0.98 ( ! [X0 : 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$',X1 : 'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$'] : (~'fun_app$d'('fmember$'(X0),X1) | 'fun_app$a'('member$'(X0),'fun_app$b'('fset$',X1))) )),
% 3.22/0.98 inference(cnf_transformation,[],[f1297])).
% 3.22/0.98
% 3.22/0.98 tcf(c_51,negated_conjecture,
% 3.22/0.98 (~'fun_app$a'('member$'('parent_ptr$'),'fun_app$b'('fset$','fun_app$c'('object_ptr_kinds$','h$')))),
% 3.22/0.98 inference(cnf_transformation,[],[f1630])).
% 3.22/0.98
% 3.22/0.98 tcf(c_52,plain,
% 3.22/0.98 ('fun_app$d'('fmember$'('parent_ptr$'),'fun_app$c'('object_ptr_kinds$','h$'))),
% 3.22/0.98 inference(cnf_transformation,[],[f1631])).
% 3.22/0.98
% 3.22/0.98 tcf(c_73,plain,![X0_'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr':'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr$',X0_'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset':'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset$']:
% 3.22/0.98 (~'fun_app$d'('fmember$'(X0_'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr'),X0_'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset')|
% 3.22/0.98 'fun_app$a'('member$'(X0_'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr'),'fun_app$b'('fset$',X0_'Element_ptr_element_ptr_character_data_ptr_character_data_ptr_node_ptr_sum_sum_node_ptr_document_ptr_document_ptr_shadow_root_ptr_shadow_root_ptr_object_ptr_sum_sum_sum_object_ptr_fset'))),
% 3.22/0.98 inference(cnf_transformation,[],[f1654])).
% 3.22/0.98
% 3.22/0.98 tcf(c_1171,plain,
% 3.22/0.98 (~'fun_app$d'('fmember$'('parent_ptr$'),'fun_app$c'('object_ptr_kinds$','h$'))),
% 3.22/0.98 inference(superposition,[status(thm)],[c_73,c_51])).
% 3.22/0.98
% 3.22/0.98 tcf(c_1173,plain,
% 3.22/0.98 ($false),
% 3.22/0.98 inference(backward_subsumption_resolution,[status(thm)],[c_52,c_1171])).
% 3.22/0.98
% 3.22/0.98
% 3.22/0.98 % SZS output end CNFRefutation for theBenchmark.p
% 3.22/0.98
% 3.22/0.98
%------------------------------------------------------------------------------