ELF>0$@@UH-HH=H]H         rrcrirrnrcnrncipnnanpnanoortnrrnrrrnrrrrnrrrrrnaaadrdput_x_variableput_y_variableput_x_valueput_y_valueput_constantput_integerput_listput_structureput_x_object_variableput_y_object_variableput_x_object_valueput_y_object_valueput_quantifiercheck_binderput_substitutionput_x_term_substitutionput_y_term_substitutionget_x_variableget_y_variableget_x_valueget_y_valueget_constantget_integerget_listget_structureget_structure_frameget_x_object_variableget_y_object_variableget_x_object_valueget_y_object_valueunify_x_variableunify_y_variableunify_x_valueunify_y_valueunify_voidset_x_variableset_y_variableset_x_valueset_y_valueset_x_object_variableset_y_object_variableset_x_object_valueset_y_object_valueset_constantset_integerset_voidset_object_voidallocatedeallocatecall_predicatecall_addresscall_escapeexecute_predicateexecute_addressexecute_escapenoopjumpproceedfailhaltexittry_me_elseretry_me_elsetrust_me_else_failtryretrytrustneck_cutget_x_levelget_y_levelcutswitch_on_termswitch_on_constantswitch_on_structureswitch_on_quantifierpseudo_instr0pseudo_instr1pseudo_instr2pseudo_instr3pseudo_instr4pseudo_instr5unify_constantunify_integerunify_x_refunify_y_refdb_jumpdb_execute_predicatedb_execute_addressdb_proceedput_doubleget_doubleset_doubleunify_doubleput_stringget_stringset_stringunify_stringput_initial_empty_substitutionGCC: (Debian 11.2.0-16) 11.2.0zRx 'AZ'(  7Oe}   instructions.cc_GLOBAL__sub_I_opnames_ZStL8__ioinit_ZNSt8ios_base4InitC1Ev_GLOBAL_OFFSET_TABLE__ZNSt8ios_base4InitD1Ev__dso_handle__cxa_atexitopsizesoperands *  #  (08 @ HPX`h p x        ( 0 8 @ H P X ` hpx ###%(%( ((0 8 @ H P*X*`*hp x-16<  C #HHKK  (M0\8k@wHPX`hpx!2Jbq .(?0P8^@lHwPX`hpx !1:ETam (08@HPX`h!p0xCWlz%0;FQ^ i(t0 .symtab.strtab.shstrtab.text.data.bss.rela.text.startup.rela.ctors.rodata.rodata.str1.1.rela.data.rel.local.rodata.str1.8.comment.note.GNU-stack.rela.eh_frame@!@'@1@',@xxDh?@K S2 g8 b@` w2 0 8@h#P #