%
% This file is generated - do not edit
% bip(Name, Arity, Group, Library, Filename)
%

bip(!, 0, kernel, control, 'I-0').
bip(#, 2, lib, ic_hybrid_sets, 'H-2').
bip(#, 2, lib, conjunto, 'H-2').
bip(#, 2, lib, ic_sets, 'H-2').
bip(#, 2, lib, fd_sets, 'H-2').
bip(#, 2, lib_public, cardinal, 'H-2').
bip(#, 3, lib, fd, 'H-3').
bip(##, 2, lib, fd, 'HH-2').
bip(##, 3, lib, fd, 'HH-3').
bip(#/\, 2, lib, fd, 'HFR-2').
bip(#/\, 3, lib, fd, 'HFR-3').
bip(#::, 2, lib, suspend, 'HNN-2').
bip(#::, 2, lib, fd, 'HNN-2').
bip(#::, 2, lib, ic, 'HNN-2').
bip(#::, 3, lib, suspend, 'HNN-3').
bip(#::, 3, lib, fd, 'HNN-3').
bip(#::, 3, lib, ic, 'HNN-3').
bip(#<, 2, lib, suspend, 'HL-2').
bip(#<, 2, lib, fd, 'HL-2').
bip(#<, 2, lib, ic, 'HL-2').
bip(#<, 3, lib, suspend, 'HL-3').
bip(#<, 3, lib, fd, 'HL-3').
bip(#<, 3, lib, ic, 'HL-3').
bip(#<=, 2, lib, fd, 'HLE-2').
bip(#<=, 3, lib, fd, 'HLE-3').
bip(#<=>, 2, lib, fd, 'HLEG-2').
bip(#<=>, 3, lib, fd, 'HLEG-3').
bip(#=, 2, lib, suspend, 'HE-2').
bip(#=, 2, lib, fd, 'HE-2').
bip(#=, 2, lib, ic, 'HE-2').
bip(#=, 3, lib, suspend, 'HE-3').
bip(#=, 3, lib, fd, 'HE-3').
bip(#=, 3, lib, ic, 'HE-3').
bip(#=<, 2, lib, suspend, 'HEL-2').
bip(#=<, 2, lib, ic, 'HEL-2').
bip(#=<, 3, lib, suspend, 'HEL-3').
bip(#=<, 3, lib, ic, 'HEL-3').
bip(#=>, 2, lib, fd, 'HEG-2').
bip(#=>, 3, lib, fd, 'HEG-3').
bip(#>, 2, lib, suspend, 'HG-2').
bip(#>, 2, lib, fd, 'HG-2').
bip(#>, 2, lib, ic, 'HG-2').
bip(#>, 3, lib, suspend, 'HG-3').
bip(#>, 3, lib, fd, 'HG-3').
bip(#>, 3, lib, ic, 'HG-3').
bip(#>=, 2, lib, suspend, 'HGE-2').
bip(#>=, 2, lib, fd, 'HGE-2').
bip(#>=, 2, lib, ic, 'HGE-2').
bip(#>=, 3, lib, suspend, 'HGE-3').
bip(#>=, 3, lib, fd, 'HGE-3').
bip(#>=, 3, lib, ic, 'HGE-3').
bip(#\+, 1, lib, fd, 'HRP-1').
bip(#\+, 2, lib, fd, 'HRP-2').
bip(#\/, 2, lib, fd, 'HRF-2').
bip(#\/, 3, lib, fd, 'HRF-3').
bip(#\=, 2, lib, suspend, 'HRE-2').
bip(#\=, 2, lib, fd, 'HRE-2').
bip(#\=, 2, lib, ic, 'HRE-2').
bip(#\=, 3, lib, suspend, 'HRE-3').
bip(#\=, 3, lib, fd, 'HRE-3').
bip(#\=, 3, lib, ic, 'HRE-3').
bip($::, 2, lib, suspend, 'SNN-2').
bip($::, 2, lib, ic, 'SNN-2').
bip($::, 2, lib, eplex, 'SNN-2').
bip($::, 3, lib, suspend, 'SNN-3').
bip($::, 3, lib, ic, 'SNN-3').
bip($<, 2, lib, suspend, 'SL-2').
bip($<, 2, lib, ic, 'SL-2').
bip($<, 3, lib, suspend, 'SL-3').
bip($=, 2, lib, colgen, 'SE-2').
bip($=, 2, lib, suspend, 'SE-2').
bip($=, 2, lib, ic, 'SE-2').
bip($=, 2, lib, eplex, 'SE-2').
bip($=, 3, lib, suspend, 'SE-3').
bip($=<, 2, lib, colgen, 'SEL-2').
bip($=<, 2, lib, suspend, 'SEL-2').
bip($=<, 2, lib, ic, 'SEL-2').
bip($=<, 2, lib, eplex, 'SEL-2').
bip($=<, 3, lib, suspend, 'SEL-3').
bip($>, 2, lib, suspend, 'SG-2').
bip($>, 2, lib, ic, 'SG-2').
bip($>, 3, lib, suspend, 'SG-3').
bip($>=, 2, lib, colgen, 'SGE-2').
bip($>=, 2, lib, suspend, 'SGE-2').
bip($>=, 2, lib, ic, 'SGE-2').
bip($>=, 2, lib, eplex, 'SGE-2').
bip($>=, 3, lib, suspend, 'SGE-3').
bip($\=, 2, lib, suspend, 'SRE-2').
bip($\=, 2, lib, ic, 'SRE-2').
bip($\=, 3, lib, suspend, 'SRE-3').
bip('$VAR', index, kernel, env, 'get_flag-2').
bip(&, 2, lib, par_util, 'Y-2').
bip(&::, 2, lib, ic_symbolic, 'YNN-2').
bip(&::, 2, lib, sd, 'YNN-2').
bip(&<, 2, lib, ic_symbolic, 'YL-2').
bip(&<, 3, lib, ic_symbolic, 'YL-3').
bip(&=, 2, lib, ic_symbolic, 'YE-2').
bip(&=, 2, lib, sd, 'YE-2').
bip(&=, 3, lib, ic_symbolic, 'YE-3').
bip(&=, 3, lib, sd, 'YE-3').
bip(&=<, 2, lib, ic_symbolic, 'YEL-2').
bip(&=<, 3, lib, ic_symbolic, 'YEL-3').
bip(&>, 2, lib, ic_symbolic, 'YG-2').
bip(&>, 3, lib, ic_symbolic, 'YG-3').
bip(&>=, 2, lib, ic_symbolic, 'YGE-2').
bip(&>=, 3, lib, ic_symbolic, 'YGE-3').
bip(&\=, 2, lib, ic_symbolic, 'YRE-2').
bip(&\=, 2, lib, sd, 'YRE-2').
bip(&\=, 3, lib, ic_symbolic, 'YRE-3').
bip(&\=, 3, lib, sd, 'YRE-3').
bip(*, 3, kernel, arithmetic, 'X-3').
bip(**, 3, lib, iso, '').
bip(*->, 2, kernel, control, 'X-G-2').
bip(+, 2, kernel, arithmetic, 'P-2').
bip(+, 3, kernel, arithmetic, 'P-3').
bip(',', 2, kernel, control, 'C-2').
bip(-, 2, kernel, arithmetic, '--2').
bip(-, 3, kernel, arithmetic, '--3').
bip(->, 2, kernel, control, '-G-2').
bip(-?->, 1, kernel, control, '-Q-G-1').
bip(., 2, kernel, database, 'D-2').
bip(., 3, lib, cprolog, '').
bip(/, 3, kernel, arithmetic, 'F-3').
bip(//, 3, kernel, arithmetic, 'FF-3').
bip(/\, 3, kernel, arithmetic, 'FR-3').
bip(:, 2, kernel, control, 'N-2').
bip(::, 2, lib, ic_hybrid_sets, 'NN-2').
bip(::, 2, lib, suspend, 'NN-2').
bip(::, 2, lib, fd, 'NN-2').
bip(::, 2, lib, ic, 'NN-2').
bip(::, 2, lib, eplex, 'NN-2').
bip(::, 2, lib, ic_sets, 'NN-2').
bip(::, 2, lib, fd_sets, 'NN-2').
bip(::, 3, lib, suspend, 'NN-3').
bip(::, 3, lib, fd, 'NN-3').
bip(::, 3, lib, ic, 'NN-3').
bip(:~, 2, lib, tentative, 'NT-2').
bip(;, 2, kernel, control, 'O-2').
bip(<, 2, kernel, arithmetic, 'L-2').
bip(<, 2, lib, suspend, 'L-2').
bip(<, 2, lib, ic, 'L-2').
bip(<, 3, lib, suspend, 'L-3').
bip(<, 3, lib, ic, 'L-3').
bip(<<, 3, kernel, arithmetic, 'LL-3').
bip(=, 2, kernel, termcomp, 'E-2').
bip(=.., 2, kernel, termmanip, 'EDD-2').
bip(=:=, 2, kernel, arithmetic, 'ENE-2').
bip(=:=, 2, lib, colgen, 'ENE-2').
bip(=:=, 2, lib, suspend, 'ENE-2').
bip(=:=, 2, lib, ic, 'ENE-2').
bip(=:=, 2, lib, eplex, 'ENE-2').
bip(=:=, 3, lib, suspend, 'ENE-3').
bip(=:=, 3, lib, ic, 'ENE-3').
bip(=<, 2, kernel, arithmetic, 'EL-2').
bip(=<, 2, lib, colgen, 'EL-2').
bip(=<, 2, lib, suspend, 'EL-2').
bip(=<, 2, lib, ic, 'EL-2').
bip(=<, 2, lib, eplex, 'EL-2').
bip(=<, 3, lib, suspend, 'EL-3').
bip(=<, 3, lib, ic, 'EL-3').
bip(==, 2, kernel, termcomp, 'EE-2').
bip(=>, 2, lib, suspend, 'EG-2').
bip(=>, 2, lib, ic, 'EG-2').
bip(=>, 3, lib, suspend, 'EG-3').
bip(=>, 3, lib, ic, 'EG-3').
bip(=@=, 2, lib, swi, '').
bip(=\=, 2, kernel, arithmetic, 'ERE-2').
bip(=\=, 2, lib, suspend, 'ERE-2').
bip(=\=, 2, lib, ic, 'ERE-2').
bip(=\=, 3, lib, suspend, 'ERE-3').
bip(=\=, 3, lib, ic, 'ERE-3').
bip(>, 2, kernel, arithmetic, 'G-2').
bip(>, 2, lib, suspend, 'G-2').
bip(>, 2, lib, ic, 'G-2').
bip(>, 3, lib, suspend, 'G-3').
bip(>, 3, lib, ic, 'G-3').
bip(>=, 2, kernel, arithmetic, 'GE-2').
bip(>=, 2, lib, colgen, 'GE-2').
bip(>=, 2, lib, suspend, 'GE-2').
bip(>=, 2, lib, ic, 'GE-2').
bip(>=, 2, lib, eplex, 'GE-2').
bip(>=, 3, lib, suspend, 'GE-3').
bip(>=, 3, lib, ic, 'GE-3').
bip(>>, 3, kernel, arithmetic, 'GG-3').
bip(?=, 2, lib, swi, '').
bip(@, 2, kernel, control, 'A-2').
bip(@<, 2, kernel, termcomp, 'AL-2').
bip(@=<, 2, kernel, termcomp, 'AEL-2').
bip(@>, 2, kernel, termcomp, 'AG-2').
bip(@>=, 2, kernel, termcomp, 'AGE-2').
bip(\, 2, kernel, arithmetic, 'R-2').
bip(\+, 1, kernel, control, 'RP-1').
bip(\/, 3, kernel, arithmetic, 'RF-3').
bip(\=, 2, kernel, termcomp, 'RE-2').
bip(\==, 2, kernel, termcomp, 'REE-2').
bip(\=@=, 2, lib, swi, '').
bip(^, 2, kernel, control, 'U-2').
bip(^, 3, kernel, arithmetic, 'U-3').
bip(`$, 2, lib_public, cardinal, 'BS-2').
bip(`-@, 2, lib_public, cardinal, 'B-A-2').
bip(`/=, 2, lib_public, cardinal, 'BFE-2').
bip(`::, 2, lib, conjunto_fd_sets, '').
bip(`::, 2, lib, conjunto, 'BNN-2').
bip(`::, 2, lib_public, cardinal, 'BNN-2').
bip(`<, 2, lib, conjunto_fd_sets, '').
bip(`<, 2, lib, conjunto, 'BL-2').
bip(`<, 2, lib_public, cardinal, 'BL-2').
bip(`<>, 2, lib, conjunto_fd_sets, '').
bip(`<>, 2, lib, conjunto, 'BLG-2').
bip(`<>, 2, lib_public, cardinal, 'BLG-2').
bip(`=, 2, lib, conjunto_fd_sets, '').
bip(`=, 2, lib, conjunto, 'BE-2').
bip(`=, 2, lib_public, cardinal, 'BE-2').
bip(`>=, 2, lib_public, cardinal, 'BGE-2').
bip(`@, 2, lib_public, cardinal, 'BA-2').
bip(~, 1, kernel, control, 'T-1').
bip(~=, 2, kernel, termcomp, 'TE-2').
bip(~=, 2, lib, notinstance, 'TE-2').
bip(~=<, 2, lib, notinstance, 'TEL-2').
bip(abolish, 1, kernel, database, 'abolish-1').
bip(abolish, 1, lib, quintus, '').
bip(abolish, 1, lib, iso, '').
bip(abolish, 2, lib, quintus, '').
bip(abolish, 2, lib, cprolog, '').
bip(abolish, 2, lib, sepia, '').
bip(abolish_op, 2, kernel, obsolete, 'abolish_op-2').
bip(abolish_record, 1, kernel, obsolete, 'abolish_record-1').
bip(abort, 0, kernel, control, 'abort-0').
bip(abort_compile_file, 3, lib, scattered, '').
bip(abs, 2, kernel, arithmetic, 'abs-2').
bip(absolute_file_name, 2, lib, quintus, '').
bip(ac_eq, 3, lib, ic, 'ac_eq-3').
bip(accept, 3, kernel, iostream, 'accept-3').
bip(acos, 2, kernel, arithmetic, 'acos-2').
bip(acyclic_term, 1, kernel, typetest, 'acyclic_term-1').
bip(add_attribute, 2, kernel, termmanip, 'add_attribute-2').
bip(add_attribute, 3, kernel, termmanip, 'add_attribute-3').
bip(add_con, 3, lib, ic_probe, 'add_con-3').
bip(add_con, 3, lib, probe, 'add_con-3').
bip(add_path, 1, lib, util, 'add_path-1').
bip(add_suffix, 1, lib, util, 'add_suffix-1').
bip(add_to_heap, 4, lib, heaps, 'add_to_heap-4').
bip(after_event_timer, index, kernel, env, 'get_flag-2').
bip(aggregate_result, 1, lib, instprofile, 'aggregate_result-1').
bip(alarm, 1, kernel, opsys, 'alarm-1').
bip(all_different, 1, lib_public, fzn_fd, '').
bip(all_different, 1, lib_public, fzn_ic, '').
bip(all_disjoint, 1, lib, ic_hybrid_sets, 'all_disjoint-1').
bip(all_disjoint, 1, lib, conjunto, 'all_disjoint-1').
bip(all_disjoint, 1, lib, ic_sets, 'all_disjoint-1').
bip(all_disjoint, 1, lib, fd_sets, 'all_disjoint-1').
bip(all_disjoint, 1, lib_public, fzn_fd, '').
bip(all_disjoint, 1, lib_public, fzn_ic, '').
bip(all_disjoint, 1, lib_public, cardinal, 'all_disjoint-1').
bip(all_dynamic, index, kernel, env, 'get_flag-2').
bip(all_intersection, 2, lib, ic_hybrid_sets, 'all_intersection-2').
bip(all_intersection, 2, lib, ic_sets, 'all_intersection-2').
bip(all_intersection, 2, lib, fd_sets, 'all_intersection-2').
bip(all_ordered, 2, lib, ic_hybrid_sets, '').
bip(all_short_paths_as_edges, 6, lib, graph_algorithms, 'all_short_paths_as_edges-6').
bip(all_short_paths_as_graph, 6, lib, graph_algorithms, 'all_short_paths_as_graph-6').
bip(all_solutions, 1, lib, ic_gap_sbdd, 'all_solutions-1').
bip(all_solutions, 1, lib, ic_gap_sbds, 'all_solutions-1').
bip(all_solutions, 2, lib, ic_gap_sbdd, 'all_solutions-2').
bip(all_solutions, 2, lib, ic_gap_sbds, 'all_solutions-2').
bip(all_union, 2, lib, ic_hybrid_sets, 'all_union-2').
bip(all_union, 2, lib, conjunto, 'all_union-2').
bip(all_union, 2, lib, ic_sets, 'all_union-2').
bip(all_union, 2, lib, fd_sets, 'all_union-2').
bip(all_union, 2, lib_public, cardinal, 'all_union-2').
bip(all_union_lex, 2, lib, ic_hybrid_sets, '').
bip(alldifferent, 1, lib, ic_symbolic, 'alldifferent-1').
bip(alldifferent, 1, lib, ic_global, 'alldifferent-1').
bip(alldifferent, 1, lib, fd, 'alldifferent-1').
bip(alldifferent, 1, lib, ic, 'alldifferent-1').
bip(alldifferent, 1, lib, sd, 'alldifferent-1').
bip(alldifferent, 1, lib, fd_global, 'alldifferent-1').
bip(alldifferent, 2, lib, ic_symbolic, 'alldifferent-2').
bip(alldifferent, 2, lib, ic_global, 'alldifferent-2').
bip(alldifferent, 2, lib, fd_global, 'alldifferent-2').
bip(alldifferent_t, 2, lib, tentative_constraints, 'alldifferent_t-2').
bip(alldifferent_t, 3, lib, tentative_constraints, 'alldifferent_t-3').
bip(alldistinct, 1, lib, fd, 'alldistinct-1').
bip(allsols, index, kernel, allsols, '').
bip(als, 1, kernel, database, 'als-1').
bip(analyse, 1, lib, mode_analyser, 'analyse-1').
bip(and, 2, lib, suspend, 'and-2').
bip(and, 2, lib, ic, 'and-2').
bip(and, 3, lib, suspend, 'and-3').
bip(and, 3, lib, ic, 'and-3').
bip(and_to_list, 2, lib_public, flat, '').
bip(anti_unify, 3, lib, anti_unify, 'anti_unify-3').
bip(anti_unify, index, lib, anti_unify, '').
bip(append, 3, lib, lists, 'append-3').
bip(append, 3, lib_public, listut, '').
bip(append_strings, 3, kernel, stratom, 'append_strings-3').
bip(applic, index, lib_public, applic, '').
bip(appliedpos, 2, lib, ech, '').
bip(applist, 2, lib, apply_macros, 'applist-2').
bip(apply, 2, lib, apply, 'apply-2').
bip(apply, 2, lib_public, applic, '').
bip(apply, index, lib, apply, '').
bip(apply_macros, index, lib, apply_macros, '').
bip(apply_to_list, 3, lib_public, m_map, 'apply_to_list-3').
bip(appnodes, 2, lib, apply_macros, 'appnodes-2').
bip(aref, 3, lib_public, logarr, '').
bip(arefa, 3, lib_public, logarr, '').
bip(arefl, 3, lib_public, logarr, '').
bip(arg, 3, kernel, termmanip, 'arg-3').
bip(argc, 1, kernel, opsys, 'argc-1').
bip(argv, 2, kernel, opsys, 'argv-2').
bip(arith_exception_handler, 3, lib, quintus, '').
bip(arithmetic, index, kernel, arithmetic, '').
bip(array, 1, kernel, arrays, 'array-1').
bip(array, 2, kernel, arrays, 'array-2').
bip(array, 3, lib, sepia, '').
bip(array_bool_and, 2, lib_public, fzn_fd, '').
bip(array_bool_and, 2, lib_public, fzn_ic, '').
bip(array_bool_element, 3, lib_public, fzn_fd, '').
bip(array_bool_element, 3, lib_public, fzn_ic, '').
bip(array_bool_or, 2, lib_public, fzn_fd, '').
bip(array_bool_or, 2, lib_public, fzn_ic, '').
bip(array_float_element, 3, lib_public, fzn_ic, '').
bip(array_int_element, 3, lib_public, fzn_fd, '').
bip(array_int_element, 3, lib_public, fzn_ic, '').
bip(array_length, 2, lib_public, arrays, '').
bip(array_to_list, 2, lib_public, arrays, '').
bip(array_to_list, 2, lib_public, logarr, '').
bip(array_var_bool_element, 3, lib_public, fzn_fd, '').
bip(array_var_bool_element, 3, lib_public, fzn_ic, '').
bip(array_var_float_element, 3, lib_public, fzn_ic, '').
bip(array_var_int_element, 3, lib_public, fzn_fd, '').
bip(array_var_int_element, 3, lib_public, fzn_ic, '').
bip(arrays, index, kernel, arrays, '').
bip(arrays, index, lib_public, arrays, '').
bip(articulation_points, 2, lib, graph_algorithms, 'articulation_points-2').
bip(aset, 4, lib_public, logarr, '').
bip(asin, 2, kernel, arithmetic, 'asin-2').
bip(asm, 2, lib, asm, 'asm-2').
bip(asm, 3, lib, asm, 'asm-3').
bip(asm, index, lib, asm, '').
bip(assert, 1, kernel, dynamic, 'assert-1').
bip(asserta, 1, kernel, dynamic, 'asserta-1').
bip(assertz, 1, lib, cprolog, '').
bip(assertz, 1, lib, iso, '').
bip(assoc, index, lib_public, assoc, '').
bip(assoc_list_to_tree234, 2, lib_public, m_tree234, 'assoc_list_to_tree234-2').
bip(assoc_to_list, 2, lib_public, assoc, '').
bip(asymmetric, 1, lib_public, grasper, 'asymmetric-1').
bip(at, 2, kernel, iostream, 'at-2').
bip(at_end_of_stream, 0, lib, iso, '').
bip(at_end_of_stream, 1, lib, iso, '').
bip(at_eof, 1, kernel, iostream, 'at_eof-1').
bip(at_least, 3, lib_public, fzn_fd, '').
bip(at_least, 3, lib_public, fzn_ic, '').
bip(at_most, 3, lib_public, fzn_fd, '').
bip(at_most, 3, lib_public, fzn_ic, '').
bip(atan, 2, kernel, arithmetic, 'atan-2').
bip(atan, 3, kernel, arithmetic, 'atan-3').
bip(atmost, 3, lib, ic_symbolic, 'atmost-3').
bip(atmost, 3, lib, ic_global, 'atmost-3').
bip(atmost, 3, lib, fd, 'atmost-3').
bip(atmost, 3, lib, fd_global, 'atmost-3').
bip(atom, 1, kernel, typetest, 'atom-1').
bip(atom_chars, 2, lib, quintus, '').
bip(atom_chars, 2, lib, iso, '').
bip(atom_codes, 2, lib, iso, '').
bip(atom_concat, 3, lib, iso, '').
bip(atom_length, 2, kernel, stratom, 'atom_length-2').
bip(atom_string, 2, kernel, stratom, 'atom_string-2').
bip(atom_subscripts, index, kernel, env, 'get_flag-2').
bip(atomic, 1, kernel, typetest, 'atomic-1').
bip(attach_suspensions, 2, kernel, suspensions, 'attach_suspensions-2').
bip(attach_tools, 0, lib, remote_tools, 'attach_tools-0').
bip(attach_tools, 3, lib, remote_tools, 'attach_tools-3').
bip(attached, 1, lib, remote_tools, 'attached-1').
bip(attached_suspensions, 2, kernel, suspensions, 'attached_suspensions-2').
bip(attribute, 1, lib, atts, '').
bip('attribute declaration', index, kernel, termmanip, 'meta_attribute-2').
bip(atts, index, lib, atts, '').
bip(atts_subset, 3, lib, atts, '').
bip(autoload, 2, kernel, obsolete, 'autoload-2').
bip(autoload_tool, 2, kernel, obsolete, 'autoload_tool-2').
bip(b_external, 1, kernel, obsolete, 'b_external-1').
bip(b_external, 2, kernel, obsolete, 'b_external-2').
bip(bag_abolish, 1, kernel, arrays, 'bag_abolish-1').
bip(bag_count, 2, kernel, arrays, 'bag_count-2').
bip(bag_create, 1, kernel, arrays, 'bag_create-1').
bip(bag_dissolve, 2, kernel, arrays, 'bag_dissolve-2').
bip(bag_enter, 2, kernel, arrays, 'bag_enter-2').
bip(bag_erase, 1, kernel, arrays, 'bag_erase-1').
bip(bag_inter, 3, lib_public, bags, '').
bip(bag_retrieve, 2, kernel, arrays, 'bag_retrieve-2').
bip(bag_to_list, 2, lib_public, bags, '').
bip(bag_to_set, 2, lib_public, bags, '').
bip(bag_union, 3, lib_public, bags, '').
bip(bagmax, 2, lib_public, bags, '').
bip(bagmin, 2, lib_public, bags, '').
bip(bagof, 3, kernel, allsols, 'bagof-3').
bip(bags, index, lib_public, bags, '').
bip(bar_is_no_atom, index, kernel, env, 'get_flag-2').
bip(based_bignums, index, kernel, env, 'get_flag-2').
bip(bb_cost, 2, lib, branch_and_bound, 'bb_cost-2').
bip(bb_finish, 1, lib, branch_and_bound, 'bb_finish-1').
bip(bb_inf, 3, lib, mip, '').
bip(bb_inf, 4, lib, mip, '').
bip(bb_init, 2, lib, branch_and_bound, 'bb_init-2').
bip(bb_min, 3, lib, branch_and_bound, 'bb_min-3').
bip(bb_min, 6, lib, branch_and_bound, 'bb_min-6').
bip(bb_options, struct, lib, branch_and_bound, '').
bip(bb_probe, 7, lib, branch_and_bound, 'bb_probe-7').
bip(bb_solution, 2, lib, branch_and_bound, 'bb_solution-2').
bip(begin_module, 1, kernel, obsolete, 'begin_module-1').
bip(between, 3, lib, swi, '').
bip(between, 3, lib, util, 'between-3').
bip(between, 3, lib_public, between, '').
bip(between, 4, kernel, arithmetic, 'between-4').
bip(between, index, lib_public, between, '').
bip(bfs, index, lib, bfs, '').
bip(bfs_branch, 1, lib, bfs, 'bfs_branch-1').
bip(bfs_branch, 2, lib, bfs, '').
bip(bfs_branch, 3, lib, bfs, '').
bip(bfs_deg_est, 2, lib, bfs, '').
bip(bfs_enhanced, 2, lib, bfs, '').
bip(bfs_fracvar, 1, lib, bfs, '').
bip(bfs_get, 3, lib, bfs, '').
bip(bfs_global_cut, 2, lib, bfs, '').
bip(bfs_impose_node_state, 2, lib, bfs, '').
bip(bfs_instance, 1, lib, bfs, 'bfs_instance-1').
bip(bfs_integers, 2, lib, bfs, '').
bip(bfs_minimize_eplex_node, 2, lib, bfs, '').
bip(bfs_node_cost, 2, lib, bfs, '').
bip(bfs_node_info, 3, lib, bfs, '').
bip(bfs_node_info, 6, lib, bfs, '').
bip(bfs_set, 3, lib, bfs, '').
bip(bfs_solve, 2, lib, bfs, '').
bip(bfs_solver_setup, 3, lib, bfs, '').
bip(bfs_solver_setup, 4, lib, bfs, '').
bip(bfs_statistics, 1, lib, bfs, '').
bip(bfs_strong, 2, lib, bfs, '').
bip(bfs_update_pseudocosts, 1, lib, bfs, '').
bip(bfs_var_get, 4, lib, bfs, '').
bip(biconnected_components, 3, lib, graph_algorithms, 'biconnected_components-3').
bip(binary_to_list, 4, lib_public, flat, '').
bip(binary_to_list, 5, lib_public, flat, '').
bip(bind, 2, kernel, iostream, 'bind-2').
bip('bipartite matching', index, lib, graph_algorithms, 'maximum_matching_hopcroft_karp-4').
bip(blanks_after_sign, index, kernel, env, 'get_flag-2').
bip(blanks_in_nil, index, kernel, env, 'get_flag-2').
bip(block, 1, lib, sicstus, '').
bip(block, 3, kernel, control, 'block-3').
bip(bool_and, 3, lib_public, fzn_fd, '').
bip(bool_and, 3, lib_public, fzn_ic, '').
bip(bool_declare, 1, lib_public, fzn_fd, '').
bip(bool_declare, 1, lib_public, fzn_ic, '').
bip(bool_declare, 1, lib_public, fzn_eplex, '').
bip(bool_declare_array, 1, lib_public, fzn_fd, '').
bip(bool_declare_array, 1, lib_public, fzn_ic, '').
bip(bool_declare_array, 1, lib_public, fzn_eplex, '').
bip(bool_eq, 2, lib_public, fzn_fd, '').
bip(bool_eq, 2, lib_public, fzn_ic, '').
bip(bool_eq, 2, lib_public, fzn_eplex, '').
bip(bool_eq_reif, 3, lib_public, fzn_fd, '').
bip(bool_eq_reif, 3, lib_public, fzn_ic, '').
bip(bool_fzn_to_solver, 2, lib_public, fzn_fd, '').
bip(bool_fzn_to_solver, 2, lib_public, fzn_ic, '').
bip(bool_fzn_to_solver, 2, lib_public, fzn_eplex, '').
bip(bool_ge, 2, lib_public, fzn_fd, '').
bip(bool_ge, 2, lib_public, fzn_ic, '').
bip(bool_ge, 2, lib_public, fzn_eplex, '').
bip(bool_ge_reif, 3, lib_public, fzn_fd, '').
bip(bool_ge_reif, 3, lib_public, fzn_ic, '').
bip(bool_gt, 2, lib_public, fzn_fd, '').
bip(bool_gt, 2, lib_public, fzn_ic, '').
bip(bool_gt_reif, 3, lib_public, fzn_fd, '').
bip(bool_gt_reif, 3, lib_public, fzn_ic, '').
bip(bool_le, 2, lib_public, fzn_fd, '').
bip(bool_le, 2, lib_public, fzn_ic, '').
bip(bool_le, 2, lib_public, fzn_eplex, '').
bip(bool_le_reif, 3, lib_public, fzn_fd, '').
bip(bool_le_reif, 3, lib_public, fzn_ic, '').
bip(bool_left_imp, 3, lib_public, fzn_fd, '').
bip(bool_left_imp, 3, lib_public, fzn_ic, '').
bip(bool_lt, 2, lib_public, fzn_fd, '').
bip(bool_lt, 2, lib_public, fzn_ic, '').
bip(bool_lt_reif, 3, lib_public, fzn_fd, '').
bip(bool_lt_reif, 3, lib_public, fzn_ic, '').
bip(bool_ne, 2, lib_public, fzn_fd, '').
bip(bool_ne, 2, lib_public, fzn_ic, '').
bip(bool_ne_reif, 3, lib_public, fzn_fd, '').
bip(bool_ne_reif, 3, lib_public, fzn_ic, '').
bip(bool_not, 2, lib_public, fzn_fd, '').
bip(bool_not, 2, lib_public, fzn_ic, '').
bip(bool_or, 3, lib_public, fzn_fd, '').
bip(bool_or, 3, lib_public, fzn_ic, '').
bip(bool_right_imp, 3, lib_public, fzn_fd, '').
bip(bool_right_imp, 3, lib_public, fzn_ic, '').
bip(bool_solver_to_fzn, 2, lib_public, fzn_fd, '').
bip(bool_solver_to_fzn, 2, lib_public, fzn_ic, '').
bip(bool_solver_to_fzn, 2, lib_public, fzn_eplex, '').
bip(bool_xor, 3, lib_public, fzn_fd, '').
bip(bool_xor, 3, lib_public, fzn_ic, '').
bip(bool2int, 2, lib_public, fzn_fd, '').
bip(bool2int, 2, lib_public, fzn_ic, '').
bip(bool2int, 2, lib_public, fzn_eplex, '').
bip('branch-and-bound', index, lib, branch_and_bound, '').
bip(branch_and_bound, index, lib, branch_and_bound, '').
bip(break, 0, lib, toplevel, 'break-0').
bip(break_level, index, kernel, env, 'get_flag-2').
bip(breal, 1, kernel, typetest, 'breal-1').
bip(breal, 2, kernel, arithmetic, 'breal-2').
bip(breal_bounds, 3, kernel, arithmetic, 'breal_bounds-3').
bip(breal_from_bounds, 3, kernel, arithmetic, 'breal_from_bounds-3').
bip(breal_max, 2, kernel, arithmetic, 'breal_max-2').
bip(breal_min, 2, kernel, arithmetic, 'breal_min-2').
bip(bsi, 0, lib, sepia, '').
bip(byte_count, 2, lib, swi, '').
bip(bytes_to_term, 2, kernel, termmanip, 'bytes_to_term-2').
bip('C', 3, kernel, termmanip, 'C-3').
bip(c_compile_and_load, 1, lib, util, '').
bip(calendar, index, lib, calendar, '').
bip(call, 1, kernel, control, 'call-1').
bip(call, 2, kernel, obsolete, 'call-2').
bip(call, 2, lib, swi, '').
bip(call, 3, lib, swi, '').
bip(call, 4, lib, swi, '').
bip(call, 5, lib, swi, '').
bip(call, 6, lib, swi, '').
bip(call_c, 2, kernel, externals, 'call_c-2').
bip(call_explicit, 2, kernel, obsolete, 'call_explicit-2').
bip(call_graph, 3, lib, xref, 'call_graph-3').
bip(call_priority, 2, kernel, suspensions, 'call_priority-2').
bip(call_residue, 2, lib, sicstus, 'call_residue-2').
bip(call_satisfied_constraints, 0, lib, repair, '').
bip(call_timeout_safe, 1, lib, timeout, 'call_timeout_safe-1').
bip(callable, 1, lib, swi, '').
bip(callable, 1, lib_public, applic, '').
bip(cancel_after_event, 1, kernel, obsolete, 'cancel_after_event-1').
bip(cancel_after_event, 2, kernel, event, 'cancel_after_event-2').
bip(canonical_iset, 2, lib_public, intervals, '').
bip(canonical_path_name, 2, kernel, opsys, 'canonical_path_name-2').
bip(card_labeling, 1, lib_public, cardinal, 'card_labeling-1').
bip(cardinal, index, lib_public, cardinal, '').
bip(cardinal, struct, lib_public, cardinal, "cardinal-s").
bip(cardinality, 2, lib_public, cardinal, 'cardinality-2').
bip(catch, 3, lib, iso, '').
bip(ccompile, 1, lib, coverage, 'ccompile-1').
bip(ccompile, 2, lib, coverage, 'ccompile-2').
bip(cd, 1, kernel, opsys, 'cd-1').
bip(cdeletethreshold, 2, lib, ech, '').
bip(ceiling, 2, kernel, arithmetic, 'ceiling-2').
bip(ceiling, 2, lib, iso, '').
bip(cg_subproblem_solution, 1, lib, colgen, 'cg_subproblem_solution-1').
bip(cgi, index, lib, cgi, '').
bip(changeset, index, lib, changeset, '').
bip(char_code, 2, kernel, termmanip, 'char_code-2').
bip(char_conversion, 2, lib, iso, '').
bip(char_int, 2, kernel, obsolete, 'char_int-2').
bip(character_count, 2, lib, quintus, '').
bip(character_count, 2, lib, swi, '').
bip(check_pairapplied, 6, lib, ech, '').
bip(check_pairapplied_direct, 6, lib, ech, '').
bip(check_pairapplied_directmarked, 8, lib, ech, '').
bip(check_samepairapplied, 6, lib, ech, '').
bip(check_samepairapplied_direct, 6, lib, ech, '').
bip(check_samepairapplied_directmarked, 8, lib, ech, '').
bip(checkand, 2, lib_public, applic, '').
bip(checkbag, 2, lib_public, bags, '').
bip(checklist, 2, lib, lists, 'checklist-2').
bip(checklist, 2, lib, apply_macros, 'checklist-2').
bip(checklist, 2, lib_public, applic, '').
bip(chr, 1, lib, ech, '').
bip(chr, 1, lib, chr, 'chr-1').
bip(chr, index, lib, chr, '').
bip('CHR=', 2, lib, chr, '').
bip(chr_delayed_goals_handler, 3, lib, chr, '').
bip(chr_get_constraint, 1, lib, ech, '').
bip(chr_get_constraint, 1, lib, chr, 'chr_get_constraint-1').
bip(chr_get_constraint, 2, lib, ech, '').
bip(chr_get_constraint, 2, lib, chr, 'chr_get_constraint-2').
bip(chr_label_with, 1, lib, chr, 'chr_label_with-1').
bip(chr_labeling, 0, lib, chr, 'chr_labeling-0').
bip(chr_macro, 2, lib, chr, '').
bip(chr_notrace, 0, lib, chr, 'chr_notrace-0').
bip(chr_opium, 0, lib, chr, 'chr_opium-0').
bip(chr_resolve, 1, lib, chr, 'chr_resolve-1').
bip(chr_start_handler, 3, lib, chr, '').
bip(chr_trace, 0, lib, chr, 'chr_trace-0').
bip(chr2pl, 1, lib, chr, 'chr2pl-1').
bip('CHRalready_in', 1, lib, chr, '').
bip('CHRcheck_and_mark_applied', 2, lib, chr, '').
bip('CHRcheck_and_mark_applied', 5, lib, chr, '').
bip(chrcompile, 3, lib, ech, '').
bip('CHRdelay', 2, lib, chr, '').
bip('CHRfail', 0, lib, chr, '').
bip('CHRgen_num', 1, lib, chr, '').
bip('CHRget_delayed_goals', 2, lib, chr, '').
bip('CHRhead_not_kept', 1, lib, chr, '').
bip('CHRkeep_heads_checking', 4, lib, chr, '').
bip('CHRkeep_heads_checking', 6, lib, chr, '').
bip('CHRkill', 1, lib, chr, '').
bip('CHRnonvar', 1, lib, chr, '').
bip('CHRvar', 1, lib, chr, '').
bip(chtab, 2, kernel, modules, 'export-1').
bip(chtab, 2, kernel, modules, 'reexport-1').
bip(chtab, 2, kernel, modules, 'local-1').
bip(chtab, index, kernel, syntax, 'set_chtab-2').
bip(cio, index, lib, cio, '').
bip(clause, 1, kernel, dynamic, 'clause-1').
bip(clause, 2, kernel, dynamic, 'clause-2').
bip(close, 1, kernel, iostream, 'close-1').
bip(close, 2, lib, iso, '').
bip(close_delta_file, 0, lib, instprofile, 'close_delta_file-0').
bip(close_sender, 1, lib, notify_ports, 'close_sender-1').
bip(close_sender, 2, lib, notify_ports, 'close_sender-2').
bip(clrbit, 3, kernel, arithmetic, 'clrbit-3').
bip(coca, 1, lib, chr, '').
bip(colgen, index, lib, colgen, '').
bip(colgen_instance, 1, lib, colgen, 'colgen_instance-1').
bip(collate_time_logs, 4, lib, time_log, 'collate_time_logs-4').
bip(collect_all_pool_constraints, 2, lib, constraint_pools, 'collect_all_pool_constraints-2').
bip(collect_typed_pool_constraints, 3, lib, constraint_pools, 'collect_typed_pool_constraints-3').
bip(collection_to_list, 2, lib, lists, 'collection_to_list-2').
bip(comment, 2, kernel, directives, 'comment-2').
bip(comment_to_html, 2, lib, document, '').
bip(compare, 3, kernel, termcomp, 'compare-3').
bip(compare_ic_instances, 3, lib, ic_kernel, '').
bip(compare_instances, 3, kernel, termcomp, 'compare_instances-3').
bip(compare_instances_ic_symbolic, 3, lib, ic_symbolic, '').
bip(compare_instances_sd, 3, lib, sd, '').
bip(compare_instances_set, 3, lib, ic_hybrid_sets, '').
bip(compare_instances_set, 3, lib, ic_sets, '').
bip(compare_instances_set, 3, lib, fd_sets, '').
bip(compare_instances_suspend, 3, lib, suspend, '').
bip(compile, 1, kernel, database, 'compile-1').
bip(compile, 2, kernel, database, 'compile-2').
bip(compile_pattern, 3, lib, regex, 'compile_pattern-3').
bip(compile_selection, 0, lib, util, '').
bip(compile_stream, 1, kernel, database, 'compile_stream-1').
bip(compile_term, 1, kernel, database, 'compile_term-1').
bip(compiled, 0, lib, util, 'compiled-0').
bip(compiled_file, 2, lib, sepia, '').
bip(compiled_stream, 1, kernel, database, 'compiled_stream-1').
bip(complement, 2, lib_public, cardinal, 'complement-2').
bip(complement, 3, lib_public, cardinal, 'complement-3').
bip(complementary_graph, 2, lib_public, grasper, 'complementary_graph-2').
bip(compose, 3, lib_public, graphs, '').
bip(compound, 1, kernel, typetest, 'compound-1').
bip(concat, 2, lib, matrix_util, 'concat-2').
bip(concat_atom, 2, kernel, stratom, 'concat_atom-2').
bip(concat_atoms, 3, kernel, stratom, 'concat_atoms-3').
bip(concat_string, 2, kernel, stratom, 'concat_string-2').
bip(concat_strings, 3, kernel, stratom, 'concat_strings-3').
bip('Conditional', index, kernel, control, '-G-2').
bip('Conditional', index, kernel, control, 'X-G-2').
bip(config_opts, index, lib, config_opts, '').
bip(conflict_constraints, 1, lib, repair, 'conflict_constraints-1').
bip(conflict_constraints, 2, lib, repair, 'conflict_constraints-2').
bip(conflict_vars, 1, lib, repair, 'conflict_vars-1').
bip(conjunto, index, lib, conjunto, '').
bip(conjunto_fd_sets, index, lib, conjunto_fd_sets, '').
bip(connect, 2, kernel, iostream, 'connect-2').
bip(connected, 1, lib_public, grasper, 'connected-1').
bip(connected_components, 2, lib, graph_algorithms, 'connected_components-2').
bip(constraint_pools, index, lib, constraint_pools, '').
bip(constraintnumpos, 2, lib, ech, '').
bip(constraints, 1, lib, ech, 'constraints-1').
bip(constraints_number, 2, lib, fd, 'constraints_number-2').
bip(construct_group, 8, lib, sym_expr, 'construct_group-8').
bip(consult, 1, lib, cprolog, '').
bip(contains, 2, lib_public, m_map, 'contains-2').
bip(contains, 2, lib_public, occur, '').
bip(contigs, 5, lib, fd, 'contigs-5').
bip(contract_destroy_event_handler, 0, lib, vc_support, '').
bip(control, index, kernel, control, '').
bip(convert_time, 2, lib, swi, '').
bip(convlist, 3, lib_public, applic, '').
bip(copy, 2, lib_public, metutl, '').
bip(copy_ground, 3, lib_public, struct, '').
bip(copy_ic_term, 2, lib, ic_kernel, '').
bip(copy_term, 2, kernel, termmanip, 'copy_term-2').
bip(copy_term, 3, kernel, termmanip, 'copy_term-3').
bip('copy_term handler', index, kernel, termmanip, 'meta_attribute-2').
bip(copy_term_ic_symbolic, 2, lib, ic_symbolic, '').
bip(copy_term_sd, 2, lib, sd, '').
bip(copy_term_set, 2, lib, ic_hybrid_sets, '').
bip(copy_term_set, 2, lib, ic_sets, '').
bip(copy_term_set, 2, lib, fd_sets, '').
bip(copy_term_vars, 3, kernel, termmanip, 'copy_term_vars-3').
bip(coroutine, 0, kernel, obsolete, 'coroutine-0').
bip(coroutine, index, kernel, env, 'get_flag-2').
bip(correspond, 4, lib_public, listut, '').
bip(cos, 2, kernel, arithmetic, 'cos-2').
bip(count, 2, lib_public, m_map, 'count-2').
bip(count, 2, lib_public, m_tree234, 'count-2').
bip(count, 3, lib_public, fzn_fd, '').
bip(count, 3, lib_public, fzn_ic, '').
bip(count, index, kernel, control, 'do-2').
bip(coverage, index, lib, coverage, '').
bip(coverof, 3, kernel, allsols, 'coverof-3').
bip(cp_access_undefined, 2, lib, cprolog, '').
bip(cp_inst_fault, 2, lib, cprolog, '').
bip(cp_range_error, 2, lib, cprolog, '').
bip(cp_type_error, 2, lib, cprolog, '').
bip(cp_undef_dynamic_handler, 3, lib, cprolog, '').
bip(cprolog, 0, lib, sepia, '').
bip(cprolog, index, lib, cprolog, '').
bip(cputime, 1, kernel, opsys, 'cputime-1').
bip(create_applied, 2, lib, ech, '').
bip(create_constraint_pool, 3, lib, constraint_pools, 'create_constraint_pool-3').
bip(create_module, 1, kernel, modules, 'create_module-1').
bip(create_module, 3, kernel, modules, 'create_module-3').
bip(critical_links, 2, lib, graph_algorithms, 'critical_links-2').
bip(cs_all, 2, lib, tentative, 'cs_all-2').
bip(cs_all_violated, 2, lib, tentative, 'cs_all_violated-2').
bip(cs_all_worst, 2, lib, tentative, 'cs_all_worst-2').
bip(cs_clear_all, 1, lib, tentative, 'cs_clear_all-1').
bip(cs_clear_satisfied, 1, lib, tentative, 'cs_clear_satisfied-1').
bip(cs_create, 2, lib, tentative, 'cs_create-2').
bip(cs_current_violations, 2, lib, tentative, 'cs_current_violations-2').
bip(cs_random_violated, 2, lib, tentative, 'cs_random_violated-2').
bip(cs_random_worst, 2, lib, tentative, 'cs_random_worst-2').
bip(cs_violations, 2, lib, tentative, 'cs_violations-2').
bip(cumulative, 4, lib, ic_cumulative, 'cumulative-4').
bip(cumulative, 4, lib, ic_edge_finder, 'cumulative-4').
bip(cumulative, 4, lib, edge_finder3, 'cumulative-4').
bip(cumulative, 4, lib, edge_finder, 'cumulative-4').
bip(cumulative, 4, lib, ic_edge_finder3, 'cumulative-4').
bip(cumulative, 4, lib, cumulative, 'cumulative-4').
bip(cumulative, 5, lib, ic_edge_finder, 'cumulative-5').
bip(cumulative, 5, lib, edge_finder3, 'cumulative-5').
bip(cumulative, 5, lib, edge_finder, 'cumulative-5').
bip(cumulative, 5, lib, ic_edge_finder3, 'cumulative-5').
bip(cumulative, index, lib, cumulative, '').
bip(curly_args_as_list, index, kernel, env, 'get_flag-2').
bip(current_after_event, 1, kernel, obsolete, 'current_after_event-1').
bip(current_after_events, 1, kernel, event, 'current_after_events-1').
bip(current_array, 2, kernel, arrays, 'current_array-2').
bip(current_array, 3, lib, sepia, '').
bip(current_atom, 1, kernel, typetest, 'current_atom-1').
bip(current_built_in, 1, kernel, database, 'current_built_in-1').
bip(current_char_conversion, 2, lib, iso, '').
bip(current_compiled_file, 3, kernel, database, 'current_compiled_file-3').
bip(current_domain, 3, kernel, termcomp, 'current_domain-3').
bip(current_error, 1, kernel, event, 'current_error-1').
bip(current_flag, 1, lib, swi, '').
bip(current_functor, 1, kernel, typetest, 'current_functor-1').
bip(current_functor, 2, lib, cprolog, '').
bip(current_functor, 2, lib, swi, '').
bip(current_host, 1, lib, sockets, 'current_host-1').
bip(current_input, 1, lib, quintus, '').
bip(current_input, 1, lib, iso, '').
bip(current_interrupt, 2, kernel, event, 'current_interrupt-2').
bip(current_key, 2, lib, quintus, '').
bip(current_macro, 4, kernel, syntax, 'current_macro-4').
bip(current_module, 1, kernel, modules, 'current_module-1').
bip(current_module, 2, lib, quintus, '').
bip(current_module_predicate, 2, kernel, database, 'current_module_predicate-2').
bip(current_op, 3, kernel, syntax, 'current_op-3').
bip(current_output, 1, lib, quintus, '').
bip(current_output, 1, lib, iso, '').
bip(current_pragma, 1, kernel, database, 'current_pragma-1').
bip(current_predicate, 1, kernel, database, 'current_predicate-1').
bip(current_predicate, 2, lib, cprolog, '').
bip(current_predicate, 2, lib, swi, '').
bip(current_prolog_flag, 2, lib, iso, '').
bip(current_record, 1, kernel, record, 'current_record-1').
bip(current_signal, 3, lib, swi, '').
bip(current_store, 1, kernel, arrays, 'current_store-1').
bip(current_stream, 1, kernel, iostream, 'current_stream-1').
bip(current_stream, 3, kernel, obsolete, 'current_stream-3').
bip(current_struct, 1, kernel, obsolete, 'current_struct-1').
bip(current_struct, 2, kernel, syntax, 'current_struct-2').
bip(current_suspension, 1, kernel, suspensions, 'current_suspension-1').
bip(current_trigger, 1, kernel, suspensions, 'current_trigger-1').
bip(cursor, struct, lib, dbi, '').
bip(cursor_all_execute, 2, lib, dbi, 'cursor_all_execute-2').
bip(cursor_all_tuples, 2, lib, dbi, 'cursor_all_tuples-2').
bip(cursor_close, 1, lib, dbi, 'cursor_close-1').
bip(cursor_N_execute, 4, lib, dbi, 'cursor_N_execute-4').
bip(cursor_N_tuples, 4, lib, dbi, 'cursor_N_tuples-4').
bip(cursor_next_execute, 2, lib, dbi, 'cursor_next_execute-2').
bip(cursor_next_execute, 3, lib, dbi, 'cursor_next_execute-3').
bip(cursor_next_tuple, 2, lib, dbi, 'cursor_next_tuple-2').
bip('Cut', index, kernel, control, 'I-0').
bip(cwd, index, kernel, env, 'get_flag-2').
bip('cyclic term', index, kernel, typetest, 'acyclic_term-1').
bip(cyclic_term, 1, lib, swi, '').
bip(database, index, kernel, database, '').
bip(date, 1, kernel, opsys, 'date-1').
bip('date and time', index, lib, calendar, '').
bip(date_to_mjd, 2, lib, calendar, 'date_to_mjd-2').
bip(daVinci, index, lib, daVinci, '').
bip(daVinci_begin, 0, lib, daVinci, 'daVinci_begin-0').
bip(daVinci_draw_graph, 1, lib, daVinci, 'daVinci_draw_graph-1').
bip(daVinci_edge, 3, lib, daVinci, 'daVinci_edge-3').
bip(daVinci_edge_attribute, 3, lib, daVinci, 'daVinci_edge_attribute-3').
bip(daVinci_end, 0, lib, daVinci, 'daVinci_end-0').
bip(daVinci_exit, 0, lib, daVinci, 'daVinci_exit-0').
bip(daVinci_node, 1, lib, daVinci, 'daVinci_node-1').
bip(daVinci_node, 2, lib, daVinci, 'daVinci_node-2').
bip(daVinci_node_attribute, 3, lib, daVinci, 'daVinci_node_attribute-3').
bip(db_reference, 1, lib, cprolog, '').
bip(dbgcomp, 0, kernel, obsolete, 'dbgcomp-0').
bip(dbi, index, lib, dbi, '').
bip(debug, 0, kernel, debug, 'debug-0').
bip(debug, 1, kernel, debug, 'debug-1').
bip(debug, index, kernel, debug, '').
bip(debug_compile, index, kernel, env, 'get_flag-2').
bip(debug_reset, 0, kernel, debug, 'debug_reset-0').
bip(debugging, 0, kernel, debug, 'debugging-0').
bip(debugging, index, kernel, env, 'get_flag-2').
bip(declare_externals, 1, lib, foreign, '').
bip(decval, 1, kernel, arrays, 'decval-1').
bip(default_domain, 1, lib, fd, 'default_domain-1').
bip(default_language, index, kernel, env, 'get_flag-2').
bip(define_error, 2, kernel, obsolete, 'define_error-2').
bip(define_global_macro, 3, lib, sepia, '').
bip(define_local_macro, 3, lib, sepia, '').
bip(define_macro, 3, kernel, obsolete, 'define_macro-3').
bip(defined_modules, 2, lib, instrument, 'defined_modules-2').
bip(delay, 2, kernel, obsolete, 'delay-2').
bip(delay, 2, lib, sepia, '').
bip(delayed_goals, 1, kernel, suspensions, 'delayed_goals-1').
bip(delayed_goals, 2, kernel, suspensions, 'delayed_goals-2').
bip(delayed_goals_handler, 3, lib, toplevel, '').
bip(delayed_goals_number, 2, kernel, suspensions, 'delayed_goals_number-2').
bip(delayed_goals_number, 2, lib, ic_kernel, '').
bip(delayed_goals_number, 2, lib, ic, 'delayed_goals_number-2').
bip('delayed_goals_number handler', index, kernel, termmanip, 'meta_attribute-2').
bip(delayed_goals_number_sd, 2, lib, sd, '').
bip(delayed_goals_number_set, 2, lib, ic_hybrid_sets, '').
bip(delayed_goals_number_set, 2, lib, ic_sets, '').
bip(delayed_goals_number_set, 2, lib, fd_sets, '').
bip(delayed_goals_number_suspend, 2, lib, suspend, '').
bip(delete, 1, kernel, opsys, 'delete-1').
bip(delete, 3, lib, lists, 'delete-3').
bip(delete, 3, lib_public, m_map, 'delete-3').
bip(delete, 3, lib_public, listut, '').
bip(delete, 3, lib_public, m_tree234, 'delete-3').
bip(delete, 5, lib, ic, 'delete-5').
bip(delete, 5, lib, fd_search, 'delete-5').
bip(delete_list, 3, lib_public, m_map, 'delete_list-3').
bip(deleteff, 3, lib, fd, 'deleteff-3').
bip(deleteff, 3, lib, sd, 'deleteff-3').
bip(deleteffc, 3, lib, fd, 'deleteffc-3').
bip(deletemin, 3, lib, fd, 'deletemin-3').
bip(delinearize, 2, lib, linearize, 'delinearize-2').
bip(demon, 1, kernel, database, 'demon-1').
bip(demon_suspend, 4, lib, ic_probe_support, '').
bip(demon_suspend, 4, lib, probe_support, '').
bip(denominator, 2, kernel, arithmetic, 'denominator-2').
bip(deprecated, 2, kernel, database, 'deprecated-2').
bip(deprecated, index, kernel, database, 'set_flag-3').
bip(det_insert, 4, lib_public, m_map, 'det_insert-4').
bip(det_insert_from_assoc_list, 3, lib_public, m_map, 'det_insert_from_assoc_list-3').
bip(det_insert_from_corresponding_lists, 4, lib_public, m_map, 'det_insert_from_corresponding_lists-4').
bip(det_remove, 4, lib_public, m_map, 'det_remove-4').
bip(det_update, 4, lib_public, m_map, 'det_update-4').
bip('dichotomic search', index, lib, branch_and_bound, '').
bip(dif, 2, lib, sicstus, '').
bip(difference, 3, lib, ic_hybrid_sets, 'difference-3').
bip(difference, 3, lib, ic_sets, 'difference-3').
bip(difference, 3, lib, fd_sets, 'difference-3').
bip(difference_lex, 3, lib, ic_hybrid_sets, '').
bip(dim, 2, kernel, termmanip, 'dim-2').
bip(directives, index, kernel, directives, '').
bip(directory, index, kernel, opsys, 'read_directory-4').
bip(dirgraph, 3, lib_public, grasper, 'dirgraph-3').
bip(disasm, 2, lib, asm, 'disasm-2').
bip(disasm, 3, lib, asm, 'disasm-3').
bip(discontiguous, 1, kernel, database, 'discontiguous-1').
bip(disjoint, 2, lib, ic_hybrid_sets, 'disjoint-2').
bip(disjoint, 2, lib, ic_sets, 'disjoint-2').
bip(disjoint, 2, lib, fd_sets, 'disjoint-2').
bip(disjunction, 5, lib, fd, 'disjunction-5').
bip('Disjunction', index, kernel, control, 'O-2').
bip(disjunction_choose, 5, lib, fd, 'disjunction_choose-5').
bip(disjunctive, 2, lib, ic_edge_finder, 'disjunctive-2').
bip(disjunctive, 2, lib, edge_finder3, 'disjunctive-2').
bip(disjunctive, 2, lib, edge_finder, 'disjunctive-2').
bip(disjunctive, 2, lib, ic_edge_finder3, 'disjunctive-2').
bip(disjunctive, 3, lib, fd, 'disjunctive-3').
bip(disjunctive_bools, 3, lib, ic_edge_finder, 'disjunctive_bools-3').
bip(disjunctive_bools, 3, lib, edge_finder3, 'disjunctive_bools-3').
bip(disjunctive_bools, 3, lib, edge_finder, 'disjunctive_bools-3').
bip(disjunctive_bools, 3, lib, ic_edge_finder3, 'disjunctive_bools-3').
bip(display, 1, kernel, ioterm, 'display-1').
bip(display, 1, lib, quintus, '').
bip(display, 2, kernel, ioterm, 'display-2').
bip(distfix, index, lib_public, distfix, '').
bip(distfixop, 4, lib_public, distfix, '').
bip(div, 3, kernel, arithmetic, 'div-3').
bip(do, 2, kernel, control, 'do-2').
bip(document, index, lib, document, '').
bip(dom, 2, lib, fd, 'dom-2').
bip(dom_check_in, 2, lib, fd, 'dom_check_in-2').
bip(dom_compare, 3, lib, fd, 'dom_compare-3').
bip(dom_copy, 2, lib, fd, 'dom_copy-2').
bip(dom_difference, 4, lib, fd, 'dom_difference-4').
bip(dom_intersection, 4, lib, fd, 'dom_intersection-4').
bip(dom_member, 2, lib, fd, 'dom_member-2').
bip(dom_range, 3, lib, fd, 'dom_range-3').
bip(dom_size, 2, lib, fd, 'dom_size-2').
bip(dom_to_list, 2, lib, fd, 'dom_to_list-2').
bip(dom_union, 4, lib, fd, 'dom_union-4').
bip(domain, 1, kernel, termcomp, 'domain-1').
bip(domain, 2, lib_public, cardinal, 'domain-2').
bip(domain, 3, lib_public, cardinal, 'domain-3').
bip(domain_index, 3, kernel, termcomp, 'domain_index-3').
bip(doubled_quote_is_quote, index, kernel, env, 'get_flag-2').
bip(dvar_attribute, 2, lib, fd, 'dvar_attribute-2').
bip(dvar_domain, 2, lib, fd, 'dvar_domain-2').
bip(dvar_msg, 3, lib, fd, 'dvar_msg-3').
bip(dvar_range, 3, lib, fd, 'dvar_range-3').
bip(dvar_remove_element, 2, lib, fd, 'dvar_remove_element-2').
bip(dvar_remove_greater, 2, lib, fd, 'dvar_remove_greater-2').
bip(dvar_remove_smaller, 2, lib, fd, 'dvar_remove_smaller-2').
bip(dvar_replace, 2, lib, fd, 'dvar_replace-2').
bip(dvar_update, 2, lib, fd, 'dvar_update-2').
bip(dwy_to_mjd, 2, lib, calendar, 'dwy_to_mjd-2').
bip(dwy_to_mjd, 3, lib, calendar, 'dwy_to_mjd-3').
bip(dy_to_mjd, 2, lib, calendar, 'dy_to_mjd-2').
bip(dynamic, 1, kernel, dynamic, 'dynamic-1').
bip(dynamic, 1, lib, quintus, '').
bip(dynamic, index, kernel, dynamic, '').
bip(ech, index, lib, ech, '').
bip(eci_to_html, 3, lib, document, 'eci_to_html-3').
bip(ecis_to_htmls, 0, lib, document, 'ecis_to_htmls-0').
bip(ecis_to_htmls, 3, lib, document, 'ecis_to_htmls-3').
bip(ecis_to_htmls, 4, lib, document, 'ecis_to_htmls-4').
bip(eclipse_info_suffix, index, kernel, env, 'get_flag-2').
bip(eclipse_object_suffix, index, kernel, env, 'get_flag-2').
bip(edge_finder, index, lib, edge_finder, '').
bip(edge_finder3, index, lib, edge_finder3, '').
bip(edit, 1, lib, util, 'edit-1').
bip(el_weight, 2, lib, conjunto, 'el_weight-2').
bip(element, 3, lib, ic_symbolic, 'element-3').
bip(element, 3, lib, ic_global, 'element-3').
bip(element, 3, lib, fd, 'element-3').
bip(element, 3, lib, ic, 'element-3').
bip(empty_queue, 1, lib, queues, 'empty_queue-1').
bip(enable_interrupts, index, kernel, env, 'get_flag-2').
bip(end_break, 3, lib, toplevel, '').
bip(end_compile_file, 3, lib, scattered, '').
bip(end_compile_handler, 2, lib, quintus_util, '').
bip(ensure_loaded, 1, kernel, database, 'ensure_loaded-1').
bip(ensure_loaded, 1, lib, quintus, '').
bip(enter_suspension_list, 3, kernel, suspensions, 'enter_suspension_list-3').
bip(env, 0, kernel, env, 'env-0').
bip(env, index, kernel, env, '').
bip('environment variables', index, kernel, opsys, 'getenv-2').
bip('environment variables', index, kernel, opsys, 'setenv-2').
bip(eplex, index, lib, eplex, '').
bip(eplex_add_constraints, 2, lib, eplex, 'eplex_add_constraints-2').
bip(eplex_cleanup, 0, lib, eplex, 'eplex_cleanup-0').
bip(eplex_cplex, index, lib, eplex_cplex, '').
bip(eplex_get, 2, lib, eplex, 'eplex_get-2').
bip(eplex_instance, 1, lib, eplex, 'eplex_instance-1').
bip(eplex_osi, index, lib, eplex_osi, '').
bip(eplex_osi_clpcbc, index, lib, eplex_osi_clpcbc, '').
bip(eplex_osi_symclp, index, lib, eplex_osi_symclp, '').
bip(eplex_probe, 2, lib, eplex, 'eplex_probe-2').
bip(eplex_read, 2, lib, eplex, 'eplex_read-2').
bip(eplex_set, 2, lib, eplex, 'eplex_set-2').
bip(eplex_solve, 1, lib, eplex, 'eplex_solve-1').
bip(eplex_solver_setup, 1, lib, eplex, 'eplex_solver_setup-1').
bip(eplex_solver_setup, 4, lib, eplex, 'eplex_solver_setup-4').
bip(eplex_var_get, 3, lib, eplex, 'eplex_var_get-3').
bip(eplex_var_get_bounds, 3, lib, eplex, 'eplex_var_get_bounds-3').
bip(eplex_write, 2, lib, eplex, 'eplex_write-2').
bip(eplex_xpress, index, lib, eplex_xpress, '').
bip(eq_t, 3, lib, tentative_constraints, 'eq_t-3').
bip(erase, 1, kernel, record, 'erase-1').
bip(erase, 1, lib, quintus, '').
bip(erase, 2, kernel, record, 'erase-2').
bip(erase_all, 1, kernel, record, 'erase_all-1').
bip(erase_all_templates, 0, lib, instrument, 'erase_all_templates-0').
bip(erase_array, 1, kernel, arrays, 'erase_array-1').
bip(erase_file_templates, 1, lib, instrument, 'erase_file_templates-1').
bip(erase_macro, 1, kernel, obsolete, 'erase_macro-1').
bip(erase_macro, 2, kernel, syntax, 'erase_macro-2').
bip(erase_module, 1, kernel, modules, 'erase_module-1').
bip(erase_module_templates, 0, lib, instrument, 'erase_module_templates-0').
bip(erased, 1, lib, cprolog, '').
bip(err_msg, 2, lib, sepia, '').
bip(errno_id, 1, kernel, opsys, 'errno_id-1').
bip(errno_id, 2, kernel, obsolete, 'errno_id-2').
bip(error, 1, lib_public, mercury, 'error-1').
bip(error, 2, kernel, event, 'error-2').
bip(error, 3, kernel, event, 'error-3').
bip(error_id, 2, kernel, event, 'error_id-2').
bip(eval, 2, kernel, arithmetic, 'eval-2').
bip(event, 1, kernel, event, 'event-1').
bip(event, index, kernel, event, '').
bip(event_after, 2, kernel, event, 'event_after-2').
bip(event_after, 3, kernel, event, 'event_after-3').
bip(event_after_every, 2, kernel, event, 'event_after_every-2').
bip(event_create, 2, kernel, obsolete, 'event_create-2').
bip(event_create, 3, kernel, event, 'event_create-3').
bip(event_disable, 1, kernel, event, 'event_disable-1').
bip(event_enable, 1, kernel, event, 'event_enable-1').
bip(event_retrieve, 2, kernel, obsolete, 'event_retrieve-2').
bip(event_retrieve, 3, kernel, event, 'event_retrieve-3').
bip(events_after, 1, kernel, event, 'events_after-1').
bip(events_defer, 0, kernel, event, 'events_defer-0').
bip(events_nodefer, 0, kernel, event, 'events_nodefer-0').
bip(exactly, 3, lib_public, fzn_fd, '').
bip(exactly, 3, lib_public, fzn_ic, '').
bip(exclude, 2, lib, ic_kernel, 'exclude-2').
bip(exclude, 3, lib_public, applic, '').
bip(exclude_range, 3, lib, ic_kernel, 'exclude_range-3').
bip(exec, 2, kernel, opsys, 'exec-2').
bip(exec, 3, kernel, opsys, 'exec-3').
bip(exec_group, 3, kernel, opsys, 'exec_group-3').
bip('Existential quantification', index, kernel, control, 'U-2').
bip(existing_file, 4, kernel, opsys, 'existing_file-4').
bip(exists, 1, kernel, opsys, 'exists-1').
bip(exit, 1, kernel, opsys, 'exit-1').
bip(exit_block, 1, kernel, control, 'exit_block-1').
bip(exp, 2, kernel, arithmetic, 'exp-2').
bip(expand_clause, 2, kernel, database, 'expand_clause-2').
bip(expand_goal, 2, kernel, database, 'expand_goal-2').
bip(expand_macros, 2, kernel, ioterm, 'expand_macros-2').
bip(expand_term, 2, lib, quintus, '').
bip(export, 1, kernel, modules, 'export-1').
bip(export_graph, 2, lib_public, grasper, 'export_graph-2').
bip(extension, index, kernel, env, 'get_flag-2').
bip(external, 1, kernel, externals, 'external-1').
bip(external, 2, kernel, externals, 'external-2').
bip(externals, index, kernel, externals, '').
bip(fail, 0, kernel, control, 'fail-0').
bip(fail_if, 1, kernel, obsolete, 'fail_if-1').
bip(false, 0, kernel, control, 'false-0').
bip(fcompile, 1, lib, sicstus, '').
bip(fcompile, 1, lib, fcompile, 'fcompile-1').
bip(fcompile, 2, lib, fcompile, 'fcompile-2').
bip(fcompile, index, lib, fcompile, '').
bip(fd, index, lib, fd, '').
bip(fd_eval, 1, lib, fd, 'fd_eval-1').
bip(fd_global, index, lib, fd_global, '').
bip(fd_sbds, index, lib, fd_sbds, '').
bip(fd_search, index, lib, fd_search, '').
bip(fd_sets, index, lib, fd_sets, '').
bip(fetch, 3, lib_public, arrays, '').
bip(file_callsites, 3, lib, instrument, 'file_callsites-3').
bip(file_info, 1, lib, util, 'file_info-1').
bip(file_result, 1, lib, instrument, 'file_result-1').
bip(file_result, 2, lib, instrument, 'file_result-2').
bip(fileerrors, 0, lib, cprolog, '').
bip(finalization, 1, kernel, modules, 'local-1').
bip(find_java, 1, lib, java_vc, 'find_java-1').
bip(find_partner, 4, lib, ech, '').
bip(findall, 3, kernel, allsols, 'findall-3').
bip(first_solution, 1, lib, ic_gap_sbdd, 'first_solution-1').
bip(first_solution, 1, lib, ic_gap_sbds, 'first_solution-1').
bip(fix, 2, kernel, arithmetic, 'fix-2').
bip(flag, 3, lib, swi, '').
bip(flat, index, lib_public, flat, '').
bip(flatten, 2, lib, lists, 'flatten-2').
bip(flatten, 3, lib, lists, 'flatten-3').
bip(flatten_array, 2, kernel, termmanip, 'flatten_array-2').
bip(flatzinc, index, lib_public, flatzinc, '').
bip(flatzinc_parser, index, lib_public, flatzinc_parser, '').
bip(flexlm, index, lib, flexlm, '').
bip(float, 1, kernel, typetest, 'float-1').
bip(float, 2, kernel, arithmetic, 'float-2').
bip(float_abs, 2, lib_public, fzn_ic, '').
bip(float_declare, 1, lib_public, fzn_ic, '').
bip(float_declare, 1, lib_public, fzn_eplex, '').
bip(float_declare, 3, lib_public, fzn_ic, '').
bip(float_declare, 3, lib_public, fzn_eplex, '').
bip(float_declare_array, 1, lib_public, fzn_ic, '').
bip(float_declare_array, 1, lib_public, fzn_eplex, '').
bip(float_declare_array, 3, lib_public, fzn_ic, '').
bip(float_declare_array, 3, lib_public, fzn_eplex, '').
bip(float_div, 3, lib_public, fzn_ic, '').
bip(float_eq, 2, lib_public, fzn_ic, '').
bip(float_eq, 2, lib_public, fzn_eplex, '').
bip(float_eq_reif, 3, lib_public, fzn_ic, '').
bip(float_fractional_part, 2, lib, iso, '').
bip(float_fzn_to_solver, 2, lib_public, fzn_ic, '').
bip(float_fzn_to_solver, 2, lib_public, fzn_eplex, '').
bip(float_ge, 2, lib_public, fzn_ic, '').
bip(float_ge, 2, lib_public, fzn_eplex, '').
bip(float_ge_reif, 3, lib_public, fzn_ic, '').
bip(float_gt, 2, lib_public, fzn_ic, '').
bip(float_gt_reif, 3, lib_public, fzn_ic, '').
bip(float_integer_part, 2, lib, iso, '').
bip(float_le, 2, lib_public, fzn_ic, '').
bip(float_le, 2, lib_public, fzn_eplex, '').
bip(float_le_reif, 3, lib_public, fzn_ic, '').
bip(float_lin_eq, 3, lib_public, fzn_ic, '').
bip(float_lin_eq, 3, lib_public, fzn_eplex, '').
bip(float_lin_eq_reif, 4, lib_public, fzn_ic, '').
bip(float_lin_ge, 3, lib_public, fzn_ic, '').
bip(float_lin_ge, 3, lib_public, fzn_eplex, '').
bip(float_lin_ge_reif, 4, lib_public, fzn_ic, '').
bip(float_lin_gt, 3, lib_public, fzn_ic, '').
bip(float_lin_gt_reif, 4, lib_public, fzn_ic, '').
bip(float_lin_le, 3, lib_public, fzn_ic, '').
bip(float_lin_le, 3, lib_public, fzn_eplex, '').
bip(float_lin_le_reif, 4, lib_public, fzn_ic, '').
bip(float_lin_lt, 3, lib_public, fzn_ic, '').
bip(float_lin_lt_reif, 4, lib_public, fzn_ic, '').
bip(float_lin_ne, 3, lib_public, fzn_ic, '').
bip(float_lin_ne_reif, 4, lib_public, fzn_ic, '').
bip(float_lt, 2, lib_public, fzn_ic, '').
bip(float_lt_reif, 3, lib_public, fzn_ic, '').
bip(float_max, 3, lib_public, fzn_ic, '').
bip(float_min, 3, lib_public, fzn_ic, '').
bip(float_minus, 3, lib_public, fzn_ic, '').
bip(float_minus, 3, lib_public, fzn_eplex, '').
bip(float_ne, 2, lib_public, fzn_ic, '').
bip(float_ne_reif, 3, lib_public, fzn_ic, '').
bip(float_negate, 2, lib_public, fzn_ic, '').
bip(float_negate, 2, lib_public, fzn_eplex, '').
bip(float_plus, 3, lib_public, fzn_ic, '').
bip(float_plus, 3, lib_public, fzn_eplex, '').
bip(float_precision, index, kernel, env, 'get_flag-2').
bip(float_solver_to_fzn, 2, lib_public, fzn_fd, '').
bip(float_solver_to_fzn, 2, lib_public, fzn_ic, '').
bip(float_solver_to_fzn, 2, lib_public, fzn_eplex, '').
bip(float_times, 3, lib_public, fzn_ic, '').
bip(floor, 2, kernel, arithmetic, 'floor-2').
bip(floor, 2, lib, iso, '').
bip(flush, 1, kernel, iostream, 'flush-1').
bip(flush_output, 0, lib, iso, '').
bip(flush_output, 1, lib, quintus, '').
bip(flush_output, 1, lib, iso, '').
bip(folder, index, kernel, opsys, 'read_directory-4').
bip(for, index, kernel, control, 'do-2').
bip(forall, 2, lib, swi, '').
bip(foreach, index, kernel, control, 'do-2').
bip(foreacharg, index, kernel, control, 'do-2').
bip(foreachelem, index, kernel, control, 'do-2').
bip(foreachindex, index, kernel, control, 'do-2').
bip(foreachnotification, 6, lib, notify_ports, 'foreachnotification-6').
bip(foreachnotification, 7, lib, notify_ports, 'foreachnotification-7').
bip(foreign, index, lib, foreign, '').
bip(fork, 2, kernel, control, 'fork-2').
bip(format, 2, lib, quintus, '').
bip(format, 3, lib, quintus, '').
bip(frandom, 1, kernel, arithmetic, 'frandom-1').
bip(free, 1, kernel, typetest, 'free-1').
bip(freeof, 2, lib_public, occur, '').
bip(freeze, 2, lib, sicstus, '').
bip(from_assoc_list, 2, lib_public, m_map, 'from_assoc_list-2').
bip(from_corresponding_lists, 3, lib_public, m_map, 'from_corresponding_lists-3').
bip(from_file, 2, lib, fromonto, 'from_file-2').
bip(from_sorted_assoc_list, 2, lib_public, m_map, 'from_sorted_assoc_list-2').
bip(from_stream, 2, lib, fromonto, 'from_stream-2').
bip(from_string, 2, lib, fromonto, 'from_string-2').
bip(fromonto, index, lib, fromonto, '').
bip(fromto, 4, lib, apply_macros, 'fromto-4').
bip(fromto, index, kernel, control, 'do-2').
bip(frozen, 2, lib, sicstus, '').
bip(fun_to_cons_var, 3, lib, probing_for_scheduling, 'fun_to_cons_var-3').
bip(fun_to_cons_var, 3, lib, ic_probing_for_scheduling, 'fun_to_cons_var-3').
bip(functor, 3, kernel, termmanip, 'functor-3').
bip(fzn_eplex, index, lib_public, fzn_eplex, '').
bip(fzn_error, 2, lib_public, flatzinc, '').
bip(fzn_fd, index, lib_public, fzn_fd, '').
bip(fzn_ic, index, lib_public, fzn_ic, '').
bip(fzn_init, 2, lib_public, flatzinc, 'fzn_init-2').
bip(fzn_last, 1, lib_public, flatzinc, 'fzn_last-1').
bip(fzn_load_stream, 2, lib_public, flatzinc, 'fzn_load_stream-2').
bip(fzn_obj_lookup, 2, lib_public, flatzinc, 'fzn_obj_lookup-2').
bip(fzn_output, 1, lib_public, flatzinc, 'fzn_output-1').
bip(fzn_run, 1, lib_public, flatzinc, 'fzn_run-1').
bip(fzn_run, 2, lib_public, flatzinc, 'fzn_run-2').
bip(fzn_run_stream, 2, lib_public, flatzinc, 'fzn_run_stream-2').
bip(fzn_search, 1, lib_public, flatzinc, 'fzn_search-1').
bip(fzn_var_lookup, 3, lib_public, flatzinc, 'fzn_var_lookup-3').
bip(fzn_write, 2, lib_public, flatzinc, '').
bip(fzn_write, 4, lib_public, flatzinc, '').
bip(gap, index, lib, gap, '').
bip(gap_command, 2, lib, gap, 'gap_command-2').
bip(gap_ensure_started, 0, lib, gap, 'gap_ensure_started-0').
bip(gap_query, 3, lib, gap, 'gap_query-3').
bip(gap_query_string, 3, lib, gap, 'gap_query_string-3').
bip(gap_reporting_level, index, lib, gap, '').
bip(gap_reporting_stream, index, lib, gap, '').
bip(gap_restart, 0, lib, gap, 'gap_restart-0').
bip(gap_running, 0, lib, gap, 'gap_running-0').
bip(gap_shutdown, 0, lib, gap, 'gap_shutdown-0').
bip(garbage_collect, 0, kernel, env, 'garbage_collect-0').
bip(gc, 0, lib, quintus, '').
bip(gc, index, kernel, env, 'get_flag-2').
bip(gc_interval, index, kernel, env, 'get_flag-2').
bip(gc_interval_dict, index, kernel, env, 'get_flag-2').
bip(gc_policy, index, kernel, env, 'get_flag-2').
bip(gcd, 3, kernel, arithmetic, 'gcd-3').
bip(gen_arg, 3, lib_public, between, '').
bip(gen_int, 1, lib_public, between, '').
bip(gen_nat, 1, lib_public, between, '').
bip(gen_nat, 2, lib_public, between, '').
bip(general_subscripts, index, kernel, env, 'get_flag-2').
bip(generic_from_point, 6, lib, sym_expr, '').
bip(generic_to_point, 5, lib, sym_expr, '').
bip(get, 1, kernel, iochar, 'get-1').
bip(get, 1, lib, cprolog, '').
bip(get, 2, kernel, iochar, 'get-2').
bip(get, 2, lib, colgen, 'get-2').
bip(get, 2, lib, bfs, 'get-2').
bip(get_a_var_name, 2, lib, var_name, '').
bip(get_all_options, 1, lib, config_opts, 'get_all_options-1').
bip(get_all_pool_constraints, 2, lib, constraint_pools, 'get_all_pool_constraints-2').
bip(get_assoc, 3, lib_public, assoc, '').
bip(get_atts, 2, lib, atts, '').
bip(get_bounds, 3, lib, ic_kernel, '').
bip(get_bounds, 3, lib, ic, 'get_bounds-3').
bip('get_bounds handler', index, kernel, termmanip, 'meta_attribute-2').
bip(get_byte, 1, lib, iso, '').
bip(get_byte, 2, lib, iso, '').
bip(get_callsite_data, 2, lib, instrument, 'get_callsite_data-2').
bip(get_changeable_value, 2, lib, repair, '').
bip(get_changeable_value, 2, lib, tentative, '').
bip(get_changeable_value, 2, lib, eplex, 'get_changeable_value-2').
bip(get_char, 1, kernel, iochar, 'get_char-1').
bip(get_char, 1, lib, iso, '').
bip(get_char, 2, kernel, iochar, 'get_char-2').
bip(get_char, 2, lib, iso, '').
bip(get_chtab, 2, kernel, syntax, 'get_chtab-2').
bip(get_code, 1, lib, iso, '').
bip(get_code, 2, lib, iso, '').
bip(get_constraint_list, 3, lib, ech, '').
bip(get_delta, 2, lib, ic_kernel, '').
bip(get_delta, 2, lib, ic, 'get_delta-2').
bip(get_domain, 2, lib, ic_kernel, '').
bip(get_domain, 2, lib, ic, 'get_domain-2').
bip(get_domain_as_list, 2, lib, ic_symbolic, '').
bip(get_domain_as_list, 2, lib, ic_kernel, '').
bip(get_domain_as_list, 2, lib, ic, 'get_domain_as_list-2').
bip(get_domain_as_list, 2, lib, sd, 'get_domain_as_list-2').
bip(get_domain_size, 2, lib, ic_kernel, '').
bip(get_domain_size, 2, lib, ic, 'get_domain_size-2').
bip(get_domain_size, 2, lib, sd, 'get_domain_size-2').
bip(get_error_handler, 2, lib, sepia, '').
bip(get_error_handler, 3, kernel, obsolete, 'get_error_handler-3').
bip(get_error_output, 1, lib, cgi, 'get_error_output-1').
bip(get_event_handler, 3, kernel, event, 'get_event_handler-3').
bip(get_failed_test_count, 1, lib, test_util, 'get_failed_test_count-1').
bip(get_file_info, 3, kernel, opsys, 'get_file_info-3').
bip(get_finite_integer_bounds, 3, lib, ic_kernel, '').
bip(get_finite_integer_bounds, 3, lib, ic, 'get_finite_integer_bounds-3').
bip(get_flag, 2, kernel, env, 'get_flag-2').
bip(get_flag, 3, kernel, database, 'get_flag-3').
bip(get_float_bounds, 3, lib, ic_kernel, '').
bip(get_float_bounds, 3, lib, ic, 'get_float_bounds-3').
bip(get_from_heap, 4, lib, heaps, 'get_from_heap-4').
bip(get_global_constraint, 2, lib, ech, '').
bip(get_ic_attr, 2, lib, ic_kernel, 'get_ic_attr-2').
bip(get_integer_bounds, 3, lib, ic_kernel, '').
bip(get_integer_bounds, 3, lib, ic, 'get_integer_bounds-3').
bip(get_interrupt_handler, 2, lib, sepia, '').
bip(get_interrupt_handler, 3, kernel, event, 'get_interrupt_handler-3').
bip(get_label, 3, lib_public, trees, '').
bip(get_leash, 2, kernel, debug, 'get_leash-2').
bip(get_max, 2, lib, ic_kernel, '').
bip(get_max, 2, lib, ic, 'get_max-2').
bip(get_median, 2, lib, ic_kernel, '').
bip(get_median, 2, lib, ic, 'get_median-2').
bip(get_min, 2, lib, ic_kernel, '').
bip(get_min, 2, lib, ic, 'get_min-2').
bip(get_module_info, 3, kernel, modules, 'get_module_info-3').
bip(get_option, 2, lib, config_opts, 'get_option-2').
bip(get_options, 2, lib, module_options, 'get_options-2').
bip(get_param_value, 3, lib, cgi, 'get_param_value-3').
bip(get_pool_item, 2, lib, constraint_pools, 'get_pool_item-2').
bip(get_priority, 1, kernel, suspensions, 'get_priority-1').
bip(get_probect, 1, lib, ic_probe, '').
bip(get_probect, 1, lib, probe, '').
bip(get_prompt, 3, kernel, obsolete, 'get_prompt-3').
bip(get_set_attribute, 2, lib, ic_hybrid_sets, '').
bip(get_set_attribute, 2, lib, ic_sets, 'get_set_attribute-2').
bip(get_set_attribute, 2, lib, fd_sets, 'get_set_attribute-2').
bip(get_solver_type, 2, lib, ic_kernel, '').
bip(get_solver_type, 2, lib, ic, 'get_solver_type-2').
bip(get_stream, 2, kernel, iostream, 'get_stream-2').
bip(get_stream_info, 3, kernel, iostream, 'get_stream_info-3').
bip(get_suspension_data, 3, kernel, suspensions, 'get_suspension_data-3').
bip(get_threshold, 1, lib, ic_kernel, '').
bip(get_threshold, 1, lib, ic, 'get_threshold-1').
bip(get_time, 1, lib, swi, '').
bip(get_timer, 2, kernel, obsolete, 'get_timer-2').
bip(get_typed_pool_constraints, 3, lib, constraint_pools, 'get_typed_pool_constraints-3').
bip(get_var_bounds, 3, kernel, termmanip, 'get_var_bounds-3').
bip(get_var_info, 3, kernel, typetest, 'get_var_info-3').
bip(get_var_name, 2, lib, var_name, 'get_var_name-2').
bip(get0, 1, lib, cprolog, '').
bip(get0, 2, lib, quintus, '').
bip(getbit, 3, kernel, arithmetic, 'getbit-3').
bip(getcwd, 1, kernel, opsys, 'getcwd-1').
bip(getEdgeSet, 2, lib_public, grasper, 'getEdgeSet-2').
bip(getenv, 2, kernel, opsys, 'getenv-2').
bip(getval, 2, kernel, arrays, 'getval-2').
bip(getVertexSet, 2, lib_public, grasper, 'getVertexSet-2').
bip(glb, 2, lib, conjunto, 'glb-2').
bip(glb, 2, lib_public, cardinal, 'glb-2').
bip(glb_poss, 3, lib_public, cardinal, 'glb_poss-3').
bip(global, 1, kernel, obsolete, 'global-1').
bip(global_op, 3, kernel, obsolete, 'global_op-3').
bip(gnuplot, index, lib, gnuplot, '').
bip(goal_expansion, index, kernel, env, 'get_flag-2').
bip(graph_adjacent_edge, 3, lib, graph_algorithms, 'graph_adjacent_edge-3').
bip(graph_algorithms, index, lib, graph_algorithms, '').
bip(graph_cycles, 2, lib, graph_algorithms, 'graph_cycles-2').
bip(graph_edge, 2, lib, graph_algorithms, 'graph_edge-2').
bip(graph_get_adjacent_edges, 3, lib, graph_algorithms, 'graph_get_adjacent_edges-3').
bip(graph_get_all_edges, 2, lib, graph_algorithms, 'graph_get_all_edges-2').
bip(graph_get_edge, 4, lib, graph_algorithms, 'graph_get_edge-4').
bip(graph_get_edges, 4, lib, graph_algorithms, 'graph_get_edges-4').
bip(graph_get_incoming_edges, 3, lib, graph_algorithms, 'graph_get_incoming_edges-3').
bip(graph_get_maxnode, 2, lib, graph_algorithms, 'graph_get_maxnode-2').
bip(graph_get_nodenames, 2, lib, graph_algorithms, 'graph_get_nodenames-2').
bip(graph_is_acyclic, 1, lib, graph_algorithms, 'graph_is_acyclic-1').
bip(graph_is_bidirected, 1, lib, graph_algorithms, 'graph_is_bidirected-1').
bip(graph_labeling, 1, lib_public, grasper, 'graph_labeling-1').
bip(graph_labeling, 3, lib_public, grasper, 'graph_labeling-3').
bip(graph_node, 2, lib, graph_algorithms, 'graph_node-2').
bip(graph_reverse_edges, 2, lib, graph_algorithms, 'graph_reverse_edges-2').
bip(graph_set_nodenames, 2, lib, graph_algorithms, 'graph_set_nodenames-2').
bip(graph_set_random_weights, 3, lib, graph_algorithms, 'graph_set_random_weights-3').
bip(graphs, index, lib_public, graphs, '').
bip(graphviz, index, lib, graphviz, '').
bip(grasper, index, lib_public, grasper, '').
bip(ground, 1, kernel, typetest, 'ground-1').
bip(ground, 1, lib_public, metutl, '').
bip(halt, 0, kernel, opsys, 'halt-0').
bip(halt, 1, lib, iso, '').
bip(halve, 3, lib, lists, 'halve-3').
bip(handler, 1, lib, ech, '').
bip(has_tent_value, 1, lib, tentative, 'has_tent_value-1').
bip(hash, 1, lib, swi, '').
bip(hash, index, lib, hash, '').
bip(hash_add, 3, lib, hash, 'hash_add-3').
bip(hash_clone, 2, lib, hash, '').
bip(hash_contains, 2, lib, hash, 'hash_contains-2').
bip(hash_count, 2, lib, hash, 'hash_count-2').
bip(hash_create, 1, lib, hash, 'hash_create-1').
bip(hash_delete, 2, lib, hash, 'hash_delete-2').
bip(hash_display, 2, lib, hash, '').
bip(hash_entry, 3, lib, hash, 'hash_entry-3').
bip(hash_erase, 1, lib, hash, 'hash_erase-1').
bip(hash_find, 3, lib, hash, 'hash_find-3').
bip(hash_get, 3, lib, hash, 'hash_get-3').
bip(hash_insert_suspension, 3, lib, hash, 'hash_insert_suspension-3').
bip(hash_iter, 2, lib, hash, 'hash_iter-2').
bip(hash_last, 1, lib, hash, 'hash_last-1').
bip(hash_list, 3, lib, hash, 'hash_list-3').
bip(hash_next, 4, lib, hash, 'hash_next-4').
bip(hash_remove, 3, lib, hash, 'hash_remove-3').
bip(hash_set, 3, lib, hash, 'hash_set-3').
bip(hash_stat, 1, lib, hash, 'hash_stat-1').
bip(hash_term, 2, lib, swi, '').
bip(hash_terminate_suspensions, 1, lib, hash, 'hash_terminate_suspensions-1').
bip(head_queue, 2, lib, queues, 'head_queue-2').
bip(heap_size, 2, lib, heaps, 'heap_size-2').
bip(heap_to_list, 2, lib, heaps, 'heap_to_list-2').
bip(heaps, index, lib, heaps, '').
bip(heapused, 1, lib, cprolog, '').
bip(help, 1, kernel, env, 'help-1').
bip(hostarch, index, kernel, env, 'get_flag-2').
bip(hostid, index, kernel, env, 'get_flag-2').
bip(hostname, index, kernel, env, 'get_flag-2').
bip(htmlify_string, 2, lib, document, '').
bip(http, index, lib, http, '').
bip(http_client, 7, lib, http_client, 'http_client-7').
bip(http_client, index, lib, http_client, '').
bip(http_compile, 1, lib, http_client, 'http_compile-1').
bip(http_open, 2, lib, http_client, 'http_open-2').
bip(http_server, 1, lib, http_server, 'http_server-1').
bip(http_server, 2, lib, http_server, 'http_server-2').
bip(http_server, index, lib, http_server, '').
bip(ic, index, lib, ic, '').
bip(ic, struct, lib, ic_kernel, '').
bip(ic_cumulative, index, lib, ic_cumulative, '').
bip(ic_edge_finder, index, lib, ic_edge_finder, '').
bip(ic_edge_finder3, index, lib, ic_edge_finder3, '').
bip(ic_event, 1, lib, ic_kernel, 'ic_event-1').
bip(ic_gap_sbdd, index, lib, ic_gap_sbdd, '').
bip(ic_gap_sbds, index, lib, ic_gap_sbds, '').
bip(ic_global, index, lib, ic_global, '').
bip(ic_hybrid_sets, index, lib, ic_hybrid_sets, '').
bip(ic_kernel, index, lib, ic_kernel, '').
bip(ic_make_overlap_bivs, index, lib, ic_make_overlap_bivs, '').
bip(ic_probe, index, lib, ic_probe, '').
bip(ic_probe_search, index, lib, ic_probe_search, '').
bip(ic_probe_support, index, lib, ic_probe_support, '').
bip(ic_probing_for_scheduling, index, lib, ic_probing_for_scheduling, '').
bip(ic_sbds, index, lib, ic_sbds, '').
bip(ic_sets, index, lib, ic_sets, '').
bip(ic_stat, 1, lib, ic_kernel, 'ic_stat-1').
bip(ic_stat_get, 1, lib, ic_kernel, 'ic_stat_get-1').
bip(ic_stat_register_event, 2, lib, ic_kernel, 'ic_stat_register_event-2').
bip(ic_suspensions, 3, lib, ic_kernel, '').
bip(ic_symbolic, index, lib, ic_symbolic, '').
bip(icompile, 1, lib, document, 'icompile-1').
bip(icompile, 2, lib, document, 'icompile-2').
bip(iddiff, 3, lib, ic_probe_support, '').
bip(iddiff, 3, lib, probe_support, '').
bip(identified_constraint, 2, lib, colgen, 'identified_constraint-2').
bip(idmemb, 2, lib, ic_probe_support, '').
bip(idmemb, 2, lib, probe_support, '').
bip(if, 3, lib, sicstus, '').
bip(ignore, 1, lib, swi, '').
bip(ignore_eof, index, kernel, env, 'get_flag-2').
bip(ignore_handler, 2, lib, ech, '').
bip(import, 1, kernel, modules, 'import-1').
bip(impose_bounds, 3, lib, ic_kernel, 'impose_bounds-3').
bip(impose_domain, 2, lib, ic_kernel, 'impose_domain-2').
bip(impose_max, 2, lib, ic_kernel, 'impose_max-2').
bip(impose_min, 2, lib, ic_kernel, 'impose_min-2').
bip(in, 2, lib, ic_hybrid_sets, 'in-2').
bip(in, 2, lib, conjunto, 'in-2').
bip(in, 2, lib, ic_sets, 'in-2').
bip(in, 2, lib, fd_sets, 'in-2').
bip(in, 2, lib_public, cardinal, 'in-2').
bip(in, 3, lib, ic_hybrid_sets, 'in-3').
bip(in, 3, lib, ic_sets, 'in-3').
bip(in, 3, lib, fd_sets, 'in-3').
bip(in_chrstore, 1, lib, ech, 'in_chrstore-1').
bip(include, 1, kernel, directives, 'include-1').
bip(includes, 2, lib, ic_hybrid_sets, 'includes-2').
bip(includes, 2, lib, ic_sets, 'includes-2').
bip(includes, 2, lib, fd_sets, 'includes-2').
bip(incore, 1, lib, quintus, '').
bip(incremental_all_shortest_paths_as_edges, 6, lib, graph_algorithms, 'incremental_all_shortest_paths_as_edges-6').
bip(incremental_all_shortest_paths_as_graph, 6, lib, graph_algorithms, 'incremental_all_shortest_paths_as_graph-6').
bip(incremental_single_pair_all_shortest_paths_as_graph, 7, lib, graph_algorithms, 'incremental_single_pair_all_shortest_paths_as_graph-7').
bip(incremental_single_pair_shortest_path, 6, lib, graph_algorithms, 'incremental_single_pair_shortest_path-6').
bip(incval, 1, kernel, arrays, 'incval-1').
bip(index, 1, lib, swi, '').
bip(indomain, 1, lib, ic_symbolic, 'indomain-1').
bip(indomain, 1, lib, fd, 'indomain-1').
bip(indomain, 1, lib, ic, 'indomain-1').
bip(indomain, 1, lib, sd, 'indomain-1').
bip(indomain, 2, lib, ic, 'indomain-2').
bip(indomain, 2, lib, fd_search, 'indomain-2').
bip(infers, 2, lib, propia, 'infers-2').
bip(init, 1, lib_public, m_map, 'init-1').
bip(init, 1, lib_public, m_tree234, 'init-1').
bip(init_event_receiver, 4, lib, ic_hybrid_sets, '').
bip(init_suspension_list, 2, kernel, suspensions, 'init_suspension_list-2').
bip(initialise_time_logging, 1, lib, time_log, 'initialise_time_logging-1').
bip(initialization, 1, kernel, modules, 'export-1').
bip(initialization, 1, kernel, modules, 'reexport-1').
bip(initialization, 1, kernel, modules, 'local-1').
bip(initialization, 1, lib, iso, '').
bip(inline, 2, kernel, database, 'inline-2').
bip(insert, 4, lib_public, m_map, 'insert-4').
bip(insert, 4, lib_public, m_tree234, 'insert-4').
bip(insert_pairapplied, 6, lib, ech, '').
bip(insert_samepairapplied, 6, lib, ech, '').
bip(insert_suspension, 3, kernel, suspensions, 'insert_suspension-3').
bip(insert_suspension, 4, kernel, suspensions, 'insert_suspension-4').
bip(insetdomain, 4, lib, ic_hybrid_sets, 'insetdomain-4').
bip(insetdomain, 4, lib, ic_sets, 'insetdomain-4').
bip(insetdomain, 4, lib, fd_sets, 'insetdomain-4').
bip(installation_directory, index, kernel, env, 'get_flag-2').
bip(instance, 2, kernel, termcomp, 'instance-2').
bip(instance, 2, lib, quintus, '').
bip(instance, 2, lib, cprolog, '').
bip(instantiation_deviates, 1, lib, eplex, 'instantiation_deviates-1').
bip(instprofile, index, lib, instprofile, '').
bip(instrument, 2, lib, instrument, 'instrument-2').
bip(instrument, 3, lib, instrument, 'instrument-3').
bip(instrument, index, lib, instrument, '').
bip(instrument_control, 2, lib, instrument, 'instrument_control-2').
bip(int_abs, 2, lib_public, fzn_fd, '').
bip(int_abs, 2, lib_public, fzn_ic, '').
bip(int_declare, 1, lib_public, fzn_fd, '').
bip(int_declare, 1, lib_public, fzn_ic, '').
bip(int_declare, 1, lib_public, fzn_eplex, '').
bip(int_declare, 2, lib_public, fzn_fd, '').
bip(int_declare, 2, lib_public, fzn_ic, '').
bip(int_declare, 3, lib_public, fzn_fd, '').
bip(int_declare, 3, lib_public, fzn_ic, '').
bip(int_declare, 3, lib_public, fzn_eplex, '').
bip(int_declare_array, 1, lib_public, fzn_fd, '').
bip(int_declare_array, 1, lib_public, fzn_ic, '').
bip(int_declare_array, 1, lib_public, fzn_eplex, '').
bip(int_declare_array, 2, lib_public, fzn_fd, '').
bip(int_declare_array, 2, lib_public, fzn_ic, '').
bip(int_declare_array, 3, lib_public, fzn_fd, '').
bip(int_declare_array, 3, lib_public, fzn_ic, '').
bip(int_declare_array, 3, lib_public, fzn_eplex, '').
bip(int_div, 3, lib_public, fzn_fd, '').
bip(int_div, 3, lib_public, fzn_ic, '').
bip(int_eq, 2, lib_public, fzn_fd, '').
bip(int_eq, 2, lib_public, fzn_ic, '').
bip(int_eq, 2, lib_public, fzn_eplex, '').
bip(int_eq_reif, 3, lib_public, fzn_fd, '').
bip(int_eq_reif, 3, lib_public, fzn_ic, '').
bip(int_ge, 2, lib_public, fzn_fd, '').
bip(int_ge, 2, lib_public, fzn_ic, '').
bip(int_ge, 2, lib_public, fzn_eplex, '').
bip(int_ge_reif, 3, lib_public, fzn_fd, '').
bip(int_ge_reif, 3, lib_public, fzn_ic, '').
bip(int_geq_than, 10, lib, ic_hybrid_sets, '').
bip(int_gt, 2, lib_public, fzn_fd, '').
bip(int_gt, 2, lib_public, fzn_ic, '').
bip(int_gt_reif, 3, lib_public, fzn_fd, '').
bip(int_gt_reif, 3, lib_public, fzn_ic, '').
bip(int_le, 2, lib_public, fzn_fd, '').
bip(int_le, 2, lib_public, fzn_ic, '').
bip(int_le, 2, lib_public, fzn_eplex, '').
bip(int_le_reif, 3, lib_public, fzn_fd, '').
bip(int_le_reif, 3, lib_public, fzn_ic, '').
bip(int_leq_than, 10, lib, ic_hybrid_sets, '').
bip(int_lin_eq, 3, lib_public, fzn_fd, '').
bip(int_lin_eq, 3, lib_public, fzn_ic, '').
bip(int_lin_eq, 3, lib_public, fzn_eplex, '').
bip(int_lin_eq_reif, 4, lib_public, fzn_fd, '').
bip(int_lin_eq_reif, 4, lib_public, fzn_ic, '').
bip(int_lin_ge, 3, lib_public, fzn_fd, '').
bip(int_lin_ge, 3, lib_public, fzn_ic, '').
bip(int_lin_ge, 3, lib_public, fzn_eplex, '').
bip(int_lin_ge_reif, 4, lib_public, fzn_fd, '').
bip(int_lin_ge_reif, 4, lib_public, fzn_ic, '').
bip(int_lin_gt, 3, lib_public, fzn_fd, '').
bip(int_lin_gt, 3, lib_public, fzn_ic, '').
bip(int_lin_gt_reif, 4, lib_public, fzn_fd, '').
bip(int_lin_gt_reif, 4, lib_public, fzn_ic, '').
bip(int_lin_le, 3, lib_public, fzn_fd, '').
bip(int_lin_le, 3, lib_public, fzn_ic, '').
bip(int_lin_le, 3, lib_public, fzn_eplex, '').
bip(int_lin_le_reif, 4, lib_public, fzn_fd, '').
bip(int_lin_le_reif, 4, lib_public, fzn_ic, '').
bip(int_lin_lt, 3, lib_public, fzn_fd, '').
bip(int_lin_lt, 3, lib_public, fzn_ic, '').
bip(int_lin_lt_reif, 4, lib_public, fzn_fd, '').
bip(int_lin_lt_reif, 4, lib_public, fzn_ic, '').
bip(int_lin_ne, 3, lib_public, fzn_fd, '').
bip(int_lin_ne, 3, lib_public, fzn_ic, '').
bip(int_lin_ne_reif, 4, lib_public, fzn_fd, '').
bip(int_lin_ne_reif, 4, lib_public, fzn_ic, '').
bip(int_lt, 2, lib_public, fzn_fd, '').
bip(int_lt, 2, lib_public, fzn_ic, '').
bip(int_lt_reif, 3, lib_public, fzn_fd, '').
bip(int_lt_reif, 3, lib_public, fzn_ic, '').
bip(int_max, 3, lib_public, fzn_fd, '').
bip(int_max, 3, lib_public, fzn_ic, '').
bip(int_min, 3, lib_public, fzn_fd, '').
bip(int_min, 3, lib_public, fzn_ic, '').
bip(int_minus, 3, lib_public, fzn_fd, '').
bip(int_minus, 3, lib_public, fzn_ic, '').
bip(int_minus, 3, lib_public, fzn_eplex, '').
bip(int_mod, 3, lib_public, fzn_fd, '').
bip(int_mod, 3, lib_public, fzn_ic, '').
bip(int_ne, 2, lib_public, fzn_fd, '').
bip(int_ne, 2, lib_public, fzn_ic, '').
bip(int_ne_reif, 3, lib_public, fzn_fd, '').
bip(int_ne_reif, 3, lib_public, fzn_ic, '').
bip(int_negate, 2, lib_public, fzn_fd, '').
bip(int_negate, 2, lib_public, fzn_ic, '').
bip(int_negate, 2, lib_public, fzn_eplex, '').
bip(int_plus, 3, lib_public, fzn_fd, '').
bip(int_plus, 3, lib_public, fzn_ic, '').
bip(int_plus, 3, lib_public, fzn_eplex, '').
bip(int_sets, struct, lib, ic_hybrid_sets, '').
bip(int_sets, struct, lib, ic_sets, "int_sets-s").
bip(int_sets, struct, lib, fd_sets, "int_sets-s").
bip(int_times, 3, lib_public, fzn_fd, '').
bip(int_times, 3, lib_public, fzn_ic, '').
bip(int2float, 2, lib_public, fzn_ic, '').
bip(int2float, 2, lib_public, fzn_eplex, '').
bip(integer, 1, kernel, typetest, 'integer-1').
bip(integer, 2, kernel, arithmetic, 'integer-2').
bip(integer_atom, 2, kernel, stratom, 'integer_atom-2').
bip(integer_list_to_dom, 2, lib, fd, 'integer_list_to_dom-2').
bip(integers, 1, lib, ic_kernel, '').
bip(integers, 1, lib, suspend, 'integers-1').
bip(integers, 1, lib, fd, 'integers-1').
bip(integers, 1, lib, ic, 'integers-1').
bip(integers, 1, lib, eplex, 'integers-1').
bip(integers, 1, lib, bfs, 'integers-1').
bip(integral_t, 3, lib, tentative_constraints, 'integral_t-3').
bip(interface, 1, lib, util, 'interface-1').
bip(interrupt, 1, lib, sepia, '').
bip(intersect_atmost_n, 4, lib, ic_hybrid_sets, '').
bip(intersect_lex, 3, lib, ic_hybrid_sets, '').
bip(intersection, 3, lib, ic_hybrid_sets, 'intersection-3').
bip(intersection, 3, lib, lists, 'intersection-3').
bip(intersection, 3, lib, ic_sets, 'intersection-3').
bip(intersection, 3, lib, fd_sets, 'intersection-3').
bip(interval_alarm, 1, lib, sepia, '').
bip(interval_contains, 2, lib_public, intervals, '').
bip(interval_difference, 3, lib_public, intervals, '').
bip(interval_ends_first, 2, lib_public, intervals, '').
bip(interval_includes, 2, lib_public, intervals, '').
bip(interval_intersection, 3, lib_public, intervals, '').
bip(interval_is_less, 2, lib_public, intervals, '').
bip(interval_is_less_and_not_coalescable, 2, lib_public, intervals, '').
bip(interval_union, 3, lib_public, intervals, '').
bip(intervals, index, lib_public, intervals, '').
bip(intervals_are_coalescable, 2, lib_public, intervals, '').
bip(intervals_are_disjoint, 2, lib_public, intervals, '').
bip(intervals_are_not_coalescable, 2, lib_public, intervals, '').
bip(intervals_meet, 2, lib_public, intervals, '').
bip(intset, 3, lib, ic_hybrid_sets, 'intset-3').
bip(intset, 3, lib, ic_sets, 'intset-3').
bip(intset, 3, lib, fd_sets, 'intset-3').
bip(intsets, 4, lib, ic_hybrid_sets, 'intsets-4').
bip(intsets, 4, lib, ic_sets, 'intsets-4').
bip(intsets, 4, lib, fd_sets, 'intsets-4').
bip(inverse_search, 3, lib_public, m_map, 'inverse_search-3').
bip(iochar, index, kernel, iochar, '').
bip(iostream, index, kernel, iostream, '').
bip(ioterm, index, kernel, ioterm, '').
bip(is, 2, kernel, arithmetic, 'is-2').
bip(is_array, 1, lib_public, logarr, '').
bip(is_bag, 1, lib_public, bags, '').
bip(is_built_in, 1, kernel, obsolete, 'is_built_in-1').
bip(is_constraint_pool, 1, lib, constraint_pools, 'is_constraint_pool-1').
bip(is_digit, 1, lib, quintus, '').
bip(is_domain, 1, lib, fd, 'is_domain-1').
bip(is_dynamic, 1, kernel, dynamic, 'is_dynamic-1').
bip(is_empty, 1, lib_public, m_map, 'is_empty-1').
bip(is_empty, 1, lib_public, m_tree234, 'is_empty-1').
bip(is_event, 1, kernel, typetest, 'is_event-1').
bip(is_exact_solver_var, 1, lib, ic_symbolic, '').
bip(is_exact_solver_var, 1, lib, ic_kernel, '').
bip(is_exact_solver_var, 1, lib, fd, '').
bip(is_exact_solver_var, 1, lib, ic, 'is_exact_solver_var-1').
bip(is_exact_solver_var, 1, lib, sd, 'is_exact_solver_var-1').
bip(is_handle, 1, kernel, typetest, 'is_handle-1').
bip(is_in_domain, 2, lib, ic_kernel, '').
bip(is_in_domain, 2, lib, ic, 'is_in_domain-2').
bip(is_in_domain, 3, lib, ic_kernel, '').
bip(is_in_domain, 3, lib, ic, 'is_in_domain-3').
bip(is_in_store, 2, lib, ech, '').
bip(is_integer_domain, 1, lib, fd, 'is_integer_domain-1').
bip(is_list, 1, kernel, typetest, 'is_list-1').
bip(is_locked, 1, kernel, obsolete, 'is_locked-1').
bip(is_lower, 1, lib, quintus, '').
bip(is_map, 1, lib_public, map, '').
bip(is_module, 1, lib, sepia, '').
bip(is_ordset, 1, lib, ordset, 'is_ordset-1').
bip(is_predicate, 1, kernel, database, 'is_predicate-1').
bip(is_protected, 1, lib, sepia, '').
bip(is_record, 1, kernel, record, 'is_record-1').
bip(is_sbdd_var, 1, lib, ic_gap_sbdd, 'is_sbdd_var-1').
bip(is_sbds_var, 1, lib, ic_sbds, 'is_sbds_var-1').
bip(is_sbds_var, 1, lib, fd_sbds, 'is_sbds_var-1').
bip(is_sbds_var, 1, lib, ic_gap_sbds, 'is_sbds_var-1').
bip(is_solver_type, 1, lib, ic_kernel, '').
bip(is_solver_type, 1, lib, ic, 'is_solver_type-1').
bip(is_solver_type, 1, lib, sd, 'is_solver_type-1').
bip(is_solver_type, 1, lib, ic_sets, 'is_solver_type-1').
bip(is_solver_type, 1, lib, fd_sets, 'is_solver_type-1').
bip(is_solver_var, 1, lib, ic_symbolic, '').
bip(is_solver_var, 1, lib, ic_kernel, '').
bip(is_solver_var, 1, lib, fd, '').
bip(is_solver_var, 1, lib, ic, 'is_solver_var-1').
bip(is_solver_var, 1, lib, sd, 'is_solver_var-1').
bip(is_solver_var, 1, lib, ic_sets, 'is_solver_var-1').
bip(is_solver_var, 1, lib, fd_sets, 'is_solver_var-1').
bip(is_sub_graph, 2, lib, graph_algorithms, 'is_sub_graph-2').
bip(is_suspension, 1, kernel, typetest, 'is_suspension-1').
bip(is_upper, 1, lib, quintus, '').
bip(isd, 2, lib, fd, 'isd-2').
bip(iset_complement, 3, lib_public, intervals, '').
bip(iset_contains, 2, lib_public, intervals, '').
bip(iset_difference, 3, lib_public, intervals, '').
bip(iset_includes, 2, lib_public, intervals, '').
bip(iset_intersection, 3, lib_public, intervals, '').
bip(iset_union, 3, lib_public, intervals, '').
bip(iso, index, lib, iso, '').
bip('ISO 8601', index, lib, calendar, '').
bip(iso_base_prefix, index, kernel, env, 'get_flag-2').
bip(iso_escapes, index, kernel, env, 'get_flag-2').
bip(iso_recover, 4, lib, iso, '').
bip(itemplate, struct, lib, instrument, "itemplate-s").
bip('Iteration', index, kernel, control, 'do-2').
bip(java_vc, index, lib, java_vc, '').
bip(jd_to_mjd, 2, lib, calendar, 'jd_to_mjd-2').
bip(join_queue, 3, lib, queues, 'join_queue-3').
bip(join_string, 3, kernel, stratom, 'join_string-3').
bip('julian date', index, lib, calendar, '').
bip(jump_queue, 3, lib, queues, 'jump_queue-3').
bip(keys, 2, lib_public, m_map, 'keys-2').
bip(keys, 2, lib_public, m_tree234, 'keys-2').
bip(keys_and_values, 3, lib_public, project, '').
bip(keysort, 2, kernel, termcomp, 'keysort-2').
bip(kill, 2, kernel, opsys, 'kill-2').
bip(kill_constraint, 2, lib, ech, '').
bip(kill_display_matrix, 1, kernel, debug, 'kill_display_matrix-1').
bip(kill_suspension, 1, kernel, suspensions, 'kill_suspension-1').
bip(labeling, 1, lib, fd, 'labeling-1').
bip(labeling, 1, lib, ic, 'labeling-1').
bip(labeling, 1, lib, sd, 'labeling-1').
bip(labeling_ff, 4, lib, ic_hybrid_sets, '').
bip(labeling_lex, 1, lib, ic_hybrid_sets, '').
bip(labeling_lex, 4, lib, ic_hybrid_sets, '').
bip(labeling_smallest_glb, 1, lib, ic_hybrid_sets, '').
bip(last, 2, lib_public, listut, '').
bip(last_errno, index, kernel, env, 'get_flag-2').
bip(last_port_profile, 1, lib, port_profiler, 'last_port_profile-1').
bip(lcm, 3, kernel, arithmetic, 'lcm-3').
bip(leash, 1, lib, cprolog, '').
bip(leash, index, kernel, database, 'set_flag-3').
bip(length, 2, lib, lists, 'length-2').
bip(length, 3, lib_public, bags, '').
bip(length_queue, 2, lib, queues, 'length_queue-2').
bip(leq, 2, lib, ic_hybrid_sets, '').
bip(less, 2, lib, ic_hybrid_sets, '').
bip(lex_min_max, 3, lib, ic_hybrid_sets, '').
bip(lex_set_range, 3, lib, ic_hybrid_sets, '').
bip(lexico_le, 2, lib, ic_global, 'lexico_le-2').
bip(lexico_le, 2, lib, fd_global, 'lexico_le-2').
bip(lib, 1, kernel, database, 'lib-1').
bip(lib, 2, kernel, obsolete, 'lib-2').
bip(library_path, index, kernel, env, 'get_flag-2').
bip(licence_checkin, 1, lib, flexlm, 'licence_checkin-1').
bip(licence_checkout, 6, lib, flexlm, 'licence_checkout-6').
bip(licence_heartbeat, 4, lib, flexlm, 'licence_heartbeat-4').
bip(licence_held, 1, lib, flexlm, 'licence_held-1').
bip(limit_arg_precedence, index, kernel, env, 'get_flag-2').
bip(line_count, 2, lib, quintus, '').
bip(line_count, 2, lib, swi, '').
bip(linearize, 3, lib, linearize, 'linearize-3').
bip(linearize, index, lib, linearize, '').
bip(link_set_to_booleans, 2, lib_public, fzn_fd, '').
bip(link_set_to_booleans, 2, lib_public, fzn_ic, '').
bip(linrenorm, 2, lib, linearize, 'linrenorm-2').
bip(lint, 1, lib, lint, 'lint-1').
bip(lint, 2, lib, lint, 'lint-2').
bip(lint, index, lib, lint, '').
bip(lips, 0, lib, lips, 'lips-0').
bip(lips, 1, lib, lips, 'lips-1').
bip(lips, 2, lib, lips, 'lips-2').
bip(lips, index, lib, lips, '').
bip(list_error, 3, lib, util, 'list_error-3').
bip(list_join_queue, 3, lib, queues, 'list_join_queue-3').
bip(list_jump_queue, 3, lib, queues, 'list_jump_queue-3').
bip(list_to_and, 2, lib_public, flat, '').
bip(list_to_array, 2, lib_public, arrays, '').
bip(list_to_assoc, 2, lib_public, assoc, '').
bip(list_to_assoc, 4, lib_public, assoc, '').
bip(list_to_bag, 2, lib_public, bags, '').
bip(list_to_binary, 3, lib_public, flat, '').
bip(list_to_binary, 4, lib_public, flat, '').
bip(list_to_dom, 2, lib, fd, 'list_to_dom-2').
bip(list_to_heap, 2, lib, heaps, 'list_to_heap-2').
bip(list_to_map, 2, lib_public, map, '').
bip(list_to_or, 2, lib_public, flat, '').
bip(list_to_ord_set, 2, lib, ordset, 'list_to_ord_set-2').
bip(list_to_plus, 2, lib_public, flat, '').
bip(list_to_queue, 2, lib, queues, 'list_to_queue-2').
bip(list_to_times, 2, lib_public, flat, '').
bip(list_to_tree, 2, lib_public, trees, '').
bip(list2cols, 4, lib, matrix_util, 'list2cols-4').
bip(list2rows, 4, lib, matrix_util, 'list2rows-4').
bip(list2set, 2, lib, conjunto_fd_sets, '').
bip(list2set, 2, lib, conjunto, 'list2set-2').
bip(listen, 2, kernel, iostream, 'listen-2').
bip(listing, 0, kernel, dynamic, 'listing-0').
bip(listing, 1, kernel, dynamic, 'listing-1').
bip(lists, index, lib, lists, '').
bip(listut, index, lib_public, listut, '').
bip('Literate programming', index, kernel, directives, 'comment-2').
bip(ln, 2, kernel, arithmetic, 'ln-2').
bip(load, 1, kernel, externals, 'load-1').
bip(load, 1, lib, sicstus, '').
bip(load, 2, lib, sepia, '').
bip(load_foreign_files, 2, lib, foreign, '').
bip(loaded_library, index, kernel, env, 'get_flag-2').
bip(local, 1, kernel, modules, 'local-1').
bip('local search', index, lib, repair, '').
bip(local_intersect_atmost_n, 4, lib, ic_hybrid_sets, '').
bip(local_op, 3, lib, sepia, '').
bip(local_record, 1, kernel, obsolete, 'local_record-1').
bip(local_time, 8, kernel, opsys, 'local_time-8').
bip(local_time_string, 3, kernel, opsys, 'local_time_string-3').
bip(locate, 2, lib, ic, 'locate-2').
bip(locate, 3, lib, ic, 'locate-3').
bip(locate, 4, lib, ic, 'locate-4').
bip(lock, 1, kernel, modules, 'lock-1').
bip(lock, 2, kernel, modules, 'lock-2').
bip(log, 2, lib, cprolog, '').
bip(log, 2, lib, iso, '').
bip(log_time_local, 2, lib, time_log, 'log_time_local-2').
bip(log10, 2, lib, cprolog, '').
bip(logarr, index, lib_public, logarr, '').
bip(lookup, 3, lib_public, m_map, 'lookup-3').
bip(lookup, 3, lib_public, m_tree234, 'lookup-3').
bip('Loops', index, kernel, control, 'do-2').
bip(lower_bound_lookup, 4, lib_public, m_map, 'lower_bound_lookup-4').
bip(lower_bound_lookup, 4, lib_public, m_tree234, 'lower_bound_lookup-4').
bip(lower_bound_search, 4, lib_public, m_map, 'lower_bound_search-4').
bip(lower_bound_search, 4, lib_public, m_tree234, 'lower_bound_search-4').
bip(lp_add, 3, lib, eplex, 'lp_add-3').
bip(lp_add_columns, 2, lib, eplex, 'lp_add_columns-2').
bip(lp_add_constraints, 3, lib, eplex, 'lp_add_constraints-3').
bip(lp_add_constraints, 4, lib, eplex, 'lp_add_constraints-4').
bip(lp_add_cutpool_constraints, 4, lib, eplex, 'lp_add_cutpool_constraints-4').
bip(lp_add_vars, 2, lib, eplex, 'lp_add_vars-2').
bip(lp_cleanup, 1, lib, eplex, 'lp_cleanup-1').
bip(lp_demon_setup, 5, lib, eplex, 'lp_demon_setup-5').
bip(lp_get, 2, lib, eplex, 'lp_get-2').
bip(lp_get, 3, lib, eplex, 'lp_get-3').
bip(lp_get_changeable_value, 3, lib, eplex, 'lp_get_changeable_value-3').
bip(lp_get_license, 0, lib, eplex, 'lp_get_license-0').
bip(lp_get_license, 2, lib, eplex, 'lp_get_license-2').
bip(lp_get_license_challenge, 1, lib, eplex, 'lp_get_license_challenge-1').
bip(lp_probe, 3, lib, eplex, 'lp_probe-3').
bip(lp_read, 3, lib, eplex, 'lp_read-3').
bip(lp_release_license, 0, lib, eplex, 'lp_release_license-0').
bip(lp_set, 2, lib, eplex, 'lp_set-2').
bip(lp_set, 3, lib, eplex, 'lp_set-3').
bip(lp_setup, 4, lib, eplex, 'lp_setup-4').
bip(lp_solve, 2, lib, eplex, 'lp_solve-2').
bip(lp_suspend_on_change, 3, lib, eplex, 'lp_suspend_on_change-3').
bip(lp_var_get, 4, lib, eplex, 'lp_var_get-4').
bip(lp_var_get_bounds, 4, lib, eplex, 'lp_var_get_bounds-4').
bip(lp_var_occurrence, 3, lib, eplex, 'lp_var_occurrence-3').
bip(lp_var_set_bounds, 4, lib, eplex, 'lp_var_set_bounds-4').
bip(lp_write, 3, lib, eplex, 'lp_write-3').
bip(ls, 0, lib, sepia, '').
bip(ls, 1, lib, sepia, '').
bip(lub, 2, lib, conjunto, 'lub-2').
bip(lub, 2, lib_public, cardinal, 'lub-2').
bip(lub, 4, lib_public, cardinal, 'lub-4').
bip(m_map, index, lib_public, m_map, '').
bip(m_tree234, index, lib_public, m_tree234, '').
bip(macro, 3, kernel, syntax, 'macro-3').
bip(macro_expansion, index, kernel, syntax, 'macro-3').
bip(macro_expansion, index, kernel, env, 'get_flag-2').
bip(make, 0, kernel, env, 'make-0').
bip(make_array, 1, kernel, obsolete, 'make_array-1').
bip(make_array, 2, kernel, obsolete, 'make_array-2').
bip(make_atom, 1, lib, test_util, '').
bip(make_bignum, 1, lib, test_util, '').
bip(make_display_matrix, 2, kernel, debug, 'make_display_matrix-2').
bip(make_display_matrix, 5, kernel, debug, 'make_display_matrix-5').
bip(make_float, 1, lib, test_util, '').
bip(make_graph, 3, lib, graph_algorithms, 'make_graph-3').
bip(make_graph_symbolic, 3, lib, graph_algorithms, 'make_graph_symbolic-3').
bip(make_integer, 1, lib, test_util, '').
bip(make_interval, 1, lib, test_util, '').
bip(make_list, 1, lib, test_util, '').
bip(make_local_array, 1, kernel, obsolete, 'make_local_array-1').
bip(make_local_array, 2, kernel, obsolete, 'make_local_array-2').
bip(make_negbignum, 1, lib, test_util, '').
bip(make_negfloat, 1, lib, test_util, '').
bip(make_neginteger, 1, lib, test_util, '').
bip(make_neginterval, 1, lib, test_util, '').
bip(make_negrational, 1, lib, test_util, '').
bip(make_nil, 1, lib, test_util, '').
bip(make_overlap_bivs, 5, lib, ic_make_overlap_bivs, 'make_overlap_bivs-5').
bip(make_overlap_bivs, 5, lib, make_overlap_bivs, 'make_overlap_bivs-5').
bip(make_overlap_bivs, index, lib, make_overlap_bivs, '').
bip(make_queue, 1, lib, queues, 'make_queue-1').
bip(make_random_graph, 6, lib, graph_algorithms, 'make_random_graph-6').
bip(make_rational, 1, lib, test_util, '').
bip(make_simple_interface, 0, lib, foreign, '').
bip(make_simple_interface, 1, lib, foreign, '').
bip(make_string, 1, lib, test_util, '').
bip(make_struct, 1, lib, test_util, '').
bip(make_sub_bag, 2, lib_public, bags, '').
bip(make_sub_graph, 3, lib, graph_algorithms, 'make_sub_graph-3').
bip(make_suspension, 3, kernel, suspensions, 'make_suspension-3').
bip(make_suspension, 4, kernel, suspensions, 'make_suspension-4').
bip(make_undirected_graph, 2, lib, graph_algorithms, 'make_undirected_graph-2').
bip(make_var, 1, lib, test_util, '').
bip(manual, 0, lib, quintus, '').
bip(map, index, lib_public, map, '').
bip(map_agree, 2, lib_public, map, '').
bip(map_assoc, 3, lib_public, assoc, '').
bip(map_atts, 2, lib, atts, '').
bip(map_compose, 3, lib_public, map, '').
bip(map_disjoint, 2, lib_public, map, '').
bip(map_domain, 2, lib_public, map, '').
bip(map_exclude, 3, lib_public, map, '').
bip(map_include, 3, lib_public, map, '').
bip(map_invert, 2, lib_public, map, '').
bip(map_map, 3, lib_public, map, '').
bip(map_range, 2, lib_public, map, '').
bip(map_to_assoc, 2, lib_public, map, '').
bip(map_tree, 3, lib_public, trees, '').
bip(map_union, 3, lib_public, map, '').
bip(map_update, 3, lib_public, map, '').
bip(map_update, 4, lib_public, map, '').
bip(map_value, 3, lib_public, map, '').
bip(mapand, 3, lib_public, applic, '').
bip(mapargs, 3, lib, apply_macros, 'mapargs-3').
bip(mapbag, 3, lib_public, bags, '').
bip(maplist, 3, lib, lists, 'maplist-3').
bip(maplist, 3, lib, apply_macros, 'maplist-3').
bip(maplist, 3, lib_public, applic, '').
bip(mapstream, 3, lib, apply_macros, 'mapstream-3').
bip(match, 2, lib, regex, 'match-2').
bip(match, 3, lib, regex, 'match-3').
bip(match, 4, lib, regex, 'match-4').
bip(matchall, 4, lib, regex, 'matchall-4').
bip('Matching', index, kernel, control, '-Q-G-1').
bip(matching, index, lib, graph_algorithms, 'maximum_matching_hopcroft_karp-4').
bip(matchsub, 4, lib, regex, 'matchsub-4').
bip(matrix, 3, lib, matrix_util, 'matrix-3').
bip(matrix, 4, lib, matrix_util, 'matrix-4').
bip(matrix_util, index, lib, matrix_util, '').
bip(max, 2, kernel, arithmetic, 'max-2').
bip(max, 2, lib, ic, 'max-2').
bip(max, 3, kernel, arithmetic, 'max-3').
bip(max_global_trail, index, kernel, env, 'get_flag-2').
bip(max_local_control, index, kernel, env, 'get_flag-2').
bip(max_predicate_arity, index, kernel, env, 'get_flag-2').
bip(max_weight, 2, lib, conjunto, 'max_weight-2').
bip(maxdomain, 2, lib, fd, 'maxdomain-2').
bip(maximize, 3, lib_public, fzn_fd, '').
bip(maximize, 3, lib_public, fzn_ic, '').
bip(maximize, 3, lib_public, fzn_eplex, '').
bip(maximum, 2, lib_public, fzn_ic, '').
bip(maximum, 2, lib_public, cardinal, 'maximum-2').
bip(maximum_matching_hopcroft_karp, 4, lib, graph_algorithms, 'maximum_matching_hopcroft_karp-4').
bip(maxlist, 2, lib, ic_global, 'maxlist-2').
bip(maxlist, 2, lib, ic, 'maxlist-2').
bip(maxlist, 2, lib, fd_global, 'maxlist-2').
bip(member, 2, lib, lists, 'member-2').
bip(member, 3, lib_public, m_map, 'member-3').
bip(member, 3, lib_public, bags, '').
bip(member, 3, lib_public, m_tree234, 'member-3').
bip(memberchk, 2, lib, lists, 'memberchk-2').
bip(membership_booleans, 2, lib, ic_hybrid_sets, 'membership_booleans-2').
bip(membership_booleans, 2, lib, ic_sets, 'membership_booleans-2').
bip(membership_booleans, 2, lib, fd_sets, 'membership_booleans-2').
bip(mercury, index, lib_public, mercury, '').
bip(merge, 3, kernel, termcomp, 'merge-3').
bip(merge, 3, lib_public, m_map, 'merge-3').
bip(merge, 5, kernel, termcomp, 'merge-5').
bip(merge_set, 3, lib, swi, '').
bip(merge_suspension_lists, 4, kernel, suspensions, 'merge_suspension_lists-4').
bip(meta, 1, kernel, typetest, 'meta-1').
bip(meta_attribute, 2, kernel, termmanip, 'meta_attribute-2').
bip(meta_bind, 2, kernel, termmanip, 'meta_bind-2').
bip(meta_predicate, 1, lib, quintus, '').
bip(meta_predicate_pattern, 1, lib, source_processor, 'meta_predicate_pattern-1').
bip(metutl, index, lib_public, metutl, '').
bip(min, 2, kernel, arithmetic, 'min-2').
bip(min, 2, lib, ic, 'min-2').
bip(min, 3, kernel, arithmetic, 'min-3').
bip(min_max, 2, lib, fd, 'min_max-2').
bip(min_max, 4, lib, fd, 'min_max-4').
bip(min_max, 5, lib, fd, 'min_max-5').
bip(min_max, 6, lib, fd, 'min_max-6').
bip(min_max, 8, lib, fd, 'min_max-8').
bip(min_of_heap, 3, lib, heaps, 'min_of_heap-3').
bip(min_of_heap, 5, lib, heaps, 'min_of_heap-5').
bip(mindomain, 2, lib, fd, 'mindomain-2').
bip(minimize, 2, lib, fd, 'minimize-2').
bip(minimize, 2, lib, branch_and_bound, 'minimize-2').
bip(minimize, 3, lib, colgen, 'minimize-3').
bip(minimize, 3, lib_public, fzn_fd, '').
bip(minimize, 3, lib_public, fzn_ic, '').
bip(minimize, 3, lib_public, fzn_eplex, '').
bip(minimize, 4, lib, fd, 'minimize-4').
bip(minimize, 5, lib, fd, 'minimize-5').
bip(minimize, 6, lib, fd, 'minimize-6').
bip(minimize, 8, lib, fd, 'minimize-8').
bip(minimize_bound_check, 0, lib, fd, 'minimize_bound_check-0').
bip(minimum, 2, lib_public, fzn_ic, '').
bip(minimum, 2, lib_public, cardinal, 'minimum-2').
bip(minimum_spanning_forest, 5, lib, graph_algorithms, 'minimum_spanning_forest-5').
bip(minimum_spanning_tree, 4, lib, graph_algorithms, 'minimum_spanning_tree-4').
bip(minizinc, index, lib_public, minizinc, '').
bip(minlist, 2, lib, ic_global, 'minlist-2').
bip(minlist, 2, lib, ic, 'minlist-2').
bip(minlist, 2, lib, fd_global, 'minlist-2').
bip(mip, index, lib, mip, '').
bip(mjd_now, 1, lib, calendar, 'mjd_now-1').
bip(mjd_to_date, 2, lib, calendar, 'mjd_to_date-2').
bip(mjd_to_dow, 2, lib, calendar, '').
bip(mjd_to_dow, 3, lib, calendar, '').
bip(mjd_to_dwy, 2, lib, calendar, 'mjd_to_dwy-2').
bip(mjd_to_dwy, 3, lib, calendar, 'mjd_to_dwy-3').
bip(mjd_to_dy, 2, lib, calendar, 'mjd_to_dy-2').
bip(mjd_to_jd, 2, lib, calendar, 'mjd_to_jd-2').
bip(mjd_to_time, 2, lib, calendar, 'mjd_to_time-2').
bip(mjd_to_unix, 2, lib, calendar, 'mjd_to_unix-2').
bip(mjd_to_weekday, 2, lib, calendar, 'mjd_to_weekday-2').
bip(mjd_to_ymd, 2, lib, calendar, 'mjd_to_ymd-2').
bip(mjd_to_ywd, 2, lib, calendar, 'mjd_to_ywd-2').
bip(mkdir, 1, kernel, opsys, 'mkdir-1').
bip(mod, 3, kernel, arithmetic, 'mod-3').
bip(mode, 1, kernel, database, 'mode-1').
bip(mode_analyser, index, lib, mode_analyser, '').
bip(modify_bound, 3, lib, conjunto, 'modify_bound-3').
bip(module, 1, kernel, modules, 'module-1').
bip(module, 3, kernel, modules, 'module-3').
bip(module_callsites, 2, lib, instrument, 'module_callsites-2').
bip(module_interface, 1, kernel, obsolete, 'module_interface-1').
bip(module_options, index, lib, module_options, '').
bip(module_result, 0, lib, instrument, 'module_result-0').
bip(module_result, 1, lib, instrument, 'module_result-1').
bip(modules, index, kernel, modules, '').
bip(monitor_changes, 6, lib, changeset, 'monitor_changes-6').
bip(monitor_changes_arr, 5, lib, changeset, 'monitor_changes_arr-5').
bip(monitored_constraint, struct, lib, tentative, '').
bip(msg, 3, lib, ic_symbolic, 'msg-3').
bip(msg, 3, lib, ic_kernel, 'msg-3').
bip(msg, 3, lib, fd, '').
bip(msg, 3, lib, sd, 'msg-3').
bip(msort, 2, kernel, termcomp, 'msort-2').
bip(multifile, 1, lib, quintus, '').
bip(multifile, 1, lib, iso, '').
bip(multifor, index, kernel, control, 'do-2').
bip(mutex, 2, kernel, control, 'mutex-2').
bip(mutex_init, 1, kernel, control, 'mutex_init-1').
bip(my_tent_call, 4, lib, ic_probe_support, '').
bip(my_tent_call, 4, lib, probe_support, '').
bip(mzn_load, 5, lib_public, minizinc, 'mzn_load-5').
bip(mzn_load_string, 5, lib_public, minizinc, 'mzn_load_string-5').
bip(mzn_run, 2, lib_public, minizinc, 'mzn_run-2').
bip(mzn_run, 3, lib_public, minizinc, 'mzn_run-3').
bip(mzn_run_string, 2, lib_public, minizinc, 'mzn_run_string-2').
bip(mzn2fzn, 4, lib_public, minizinc, 'mzn2fzn-4').
bip(name, 2, kernel, obsolete, 'name-2').
bip('naming variable', index, lib, var_name, 'set_var_name-2').
bip(neg, 1, lib, suspend, 'neg-1').
bip(neg, 1, lib, ic, 'neg-1').
bip(neg, 2, lib, suspend, 'neg-2').
bip(neg, 2, lib, ic, 'neg-2').
bip('Negation', index, kernel, control, 'not-1').
bip('Negation', index, kernel, control, 'RP-1').
bip('Negation', index, kernel, control, 'T-1').
bip(neq_t, 3, lib, tentative_constraints, 'neq_t-3').
bip(nested_comments, index, kernel, env, 'get_flag-2').
bip(new_array, 1, lib_public, logarr, '').
bip(new_constraints, 3, lib, ech, '').
bip(new_domain_var, 1, lib, fd, 'new_domain_var-1').
bip(new_socket_server, 3, kernel, iostream, 'new_socket_server-3').
bip(next_lex_min, 3, lib, ic_hybrid_sets, '').
bip(nextto, 3, lib_public, listut, '').
bip(nl, 0, kernel, iochar, 'nl-0').
bip(nl, 1, kernel, iochar, 'nl-1').
bip(nl_in_quotes, index, kernel, env, 'get_flag-2').
bip(nmember, 3, lib_public, listut, '').
bip(nmembers, 3, lib_public, listut, '').
bip(no_array_subscripts, index, kernel, env, 'get_flag-2').
bip(no_attributes, index, kernel, env, 'get_flag-2').
bip(no_blanks, index, kernel, env, 'get_flag-2').
bip(no_curly_arguments, index, kernel, env, 'get_flag-2').
bip(no_delayed_goals, 0, lib, sepia, '').
bip('no_macro_expansion/1', index, kernel, syntax, 'macro-3').
bip(no_style_check, 1, lib, quintus, '').
bip(nodbgcomp, 0, kernel, obsolete, 'nodbgcomp-0').
bip(node_cost, 1, lib, bfs, 'node_cost-1').
bip(node_info, 5, lib, bfs, 'node_info-5').
bip(node_to_nodename, 3, lib, graph_algorithms, 'node_to_nodename-3').
bip(nodebug, 0, kernel, debug, 'nodebug-0').
bip(nodename_to_node, 3, lib, graph_algorithms, 'nodename_to_node-3').
bip(nodenames_to_nodes, 3, lib, graph_algorithms, 'nodenames_to_nodes-3').
bip(nodes_to_nodenames, 3, lib, graph_algorithms, 'nodes_to_nodenames-3').
bip(nofileerrors, 0, lib, cprolog, '').
bip(nogc, 0, lib, quintus, '').
bip(non_consecutive_handler, 3, lib, scattered, '').
bip(nonground, 1, kernel, typetest, 'nonground-1').
bip(nonground, 2, kernel, typetest, 'nonground-2').
bip(nonground, 3, kernel, typetest, 'nonground-3').
bip(nonmember, 2, lib, lists, 'nonmember-2').
bip(nonvar, 1, kernel, typetest, 'nonvar-1').
bip(normalise_cstrs, 3, lib, eplex, 'normalise_cstrs-3').
bip(normalize, 3, lib, linearize, '').
bip(nospy, 1, kernel, debug, 'nospy-1').
bip(nospyall, 0, lib, quintus, '').
bip(not, 1, kernel, control, 'not-1').
bip(not_unify, 2, kernel, termcomp, 'not_unify-2').
bip(notify_constrained, 1, kernel, suspensions, 'notify_constrained-1').
bip(notify_ports, index, lib, notify_ports, '').
bip(notin, 2, lib, ic_hybrid_sets, 'notin-2').
bip(notin, 2, lib, conjunto, 'notin-2').
bip(notin, 2, lib, ic_sets, 'notin-2').
bip(notin, 2, lib, fd_sets, 'notin-2').
bip(notin, 2, lib_public, cardinal, 'notin-2').
bip(notinstance, index, lib, notinstance, '').
bip(notrace, 0, kernel, debug, 'notrace-0').
bip(nth_value, 3, lib, ic, 'nth_value-3').
bip(nth_value, 3, lib, fd_search, 'nth_value-3').
bip(nth0, 3, lib_public, listut, 'nth0-3').
bip(nth0, 4, lib_public, listut, 'nth0-4').
bip(nth1, 3, lib_public, listut, 'nth1-3').
bip(nth1, 4, lib_public, listut, 'nth1-4').
bip(number, 1, kernel, typetest, 'number-1').
bip(number_chars, 2, lib, quintus, '').
bip(number_chars, 2, lib, iso, '').
bip(number_codes, 2, lib, iso, '').
bip(number_merge, 3, kernel, termcomp, 'number_merge-3').
bip(number_merge, 5, kernel, termcomp, 'number_merge-5').
bip(number_sort, 2, kernel, termcomp, 'number_sort-2').
bip(number_sort, 4, kernel, termcomp, 'number_sort-4').
bip(number_string, 2, kernel, stratom, 'number_string-2').
bip(numbervars, 3, lib, quintus, '').
bip(numbervars, 3, lib, numbervars, '').
bip(numbervars, index, lib, numbervars, '').
bip(numerator, 2, kernel, arithmetic, 'numerator-2').
bip(numlist, 3, lib_public, listut, '').
bip(object_spec_to_filename, 2, lib, document, '').
bip(object_suffix, index, kernel, env, 'get_flag-2').
bip(obsolete, index, kernel, obsolete, '').
bip(occ, 3, lib_public, struct, '').
bip(occur, index, lib_public, occur, '').
bip(occur_check, index, kernel, env, 'get_flag-2').
bip(occurrences, 3, lib, ic_symbolic, 'occurrences-3').
bip(occurrences, 3, lib, ic_global, 'occurrences-3').
bip(occurrences, 3, lib, fd_global, 'occurrences-3').
bip(occurs, 2, kernel, termcomp, 'occurs-2').
bip('occurs check', index, kernel, typetest, 'acyclic_term-1').
bip(occurs_check, 2, lib_public, metutl, '').
bip(occurs_in, 2, lib_public, metutl, '').
bip(of, index, kernel, syntax, 'struct-1').
bip(on_exception, 3, lib, sicstus, '').
bip(on_signal, 3, lib, swi, '').
bip(once, 1, kernel, control, 'once-1').
bip(onto_file, 2, lib, fromonto, 'onto_file-2').
bip(onto_stream, 2, lib, fromonto, 'onto_stream-2').
bip(onto_string, 2, lib, fromonto, 'onto_string-2').
bip(op, 3, kernel, syntax, 'op-3').
bip(op, 3, lib, quintus, '').
bip(open, 3, kernel, iostream, 'open-3').
bip(open, 4, kernel, iostream, 'open-4').
bip(open_delta_file, 1, lib, instprofile, 'open_delta_file-1').
bip(open_null_stream, 1, lib, quintus, '').
bip(open_null_stream, 1, lib, swi, '').
bip(open_receiver, 2, lib, notify_ports, 'open_receiver-2').
bip(open_receiver, 4, lib, notify_ports, 'open_receiver-4').
bip(open_receiver_init, 4, lib, notify_ports, 'open_receiver_init-4').
bip(open_receiver_init, 6, lib, notify_ports, 'open_receiver_init-6').
bip(open_sender, 1, lib, notify_ports, 'open_sender-1').
bip(open_sender, 2, lib, notify_ports, 'open_sender-2').
bip(open_tagged_receiver, 3, lib, notify_ports, 'open_tagged_receiver-3').
bip(open_tagging_sender, 1, lib, notify_ports, 'open_tagging_sender-1').
bip(opsys, index, kernel, opsys, '').
bip(optimize, 2, lib_public, m_map, 'optimize-2').
bip(option, 2, lib, ech, 'option-2').
bip(options, struct, lib, ic_probe_support, '').
bip(options, struct, lib, probe_support, '').
bip(or, 2, lib, suspend, 'or-2').
bip(or, 2, lib, ic, 'or-2').
bip(or, 3, lib, suspend, 'or-3').
bip(or, 3, lib, ic, 'or-3').
bip('Or', index, kernel, control, 'O-2').
bip(or_to_list, 2, lib_public, flat, '').
bip(ord_add_element, 3, lib, ordset, 'ord_add_element-3').
bip(ord_compare, 3, lib, ordset, 'ord_compare-3').
bip(ord_del_element, 3, lib, ordset, 'ord_del_element-3').
bip(ord_disjoint, 2, lib, ordset, 'ord_disjoint-2').
bip(ord_disjoint_union, 3, lib, ordset, 'ord_disjoint_union-3').
bip(ord_insert, 3, lib, ordset, 'ord_insert-3').
bip(ord_intersect, 2, lib, ordset, 'ord_intersect-2').
bip(ord_intersect, 3, lib, ordset, 'ord_intersect-3').
bip(ord_intersection, 2, lib, ordset, 'ord_intersection-2').
bip(ord_intersection, 3, lib, ordset, 'ord_intersection-3').
bip(ord_intersection, 5, lib, ordset, 'ord_intersection-5').
bip(ord_memberchk, 2, lib, ordset, 'ord_memberchk-2').
bip(ord_nonmember, 2, lib, ordset, 'ord_nonmember-2').
bip(ord_proper_subset, 2, lib, ordset, 'ord_proper_subset-2').
bip(ord_proper_superset, 2, lib, ordset, 'ord_proper_superset-2').
bip(ord_selectchk, 3, lib, ordset, 'ord_selectchk-3').
bip(ord_seteq, 2, lib, ordset, 'ord_seteq-2').
bip(ord_subset, 2, lib, ordset, 'ord_subset-2').
bip(ord_subtract, 3, lib, ordset, 'ord_subtract-3').
bip(ord_superset, 2, lib, ordset, 'ord_superset-2').
bip(ord_symdiff, 3, lib, ordset, 'ord_symdiff-3').
bip(ord_union, 2, lib, ordset, 'ord_union-2').
bip(ord_union, 3, lib, ordset, 'ord_union-3').
bip(ord_union, 4, lib, ordset, 'ord_union-4').
bip(order, 2, lib_public, grasper, 'order-2').
bip(order, index, lib_public, order, '').
bip(ordered, 1, lib_public, order, '').
bip(ordered, 2, lib, ic_global, 'ordered-2').
bip(ordered, 2, lib, fd_global, 'ordered-2').
bip(ordered, 2, lib_public, order, '').
bip(ordered_sum, 2, lib, ic_global, 'ordered_sum-2').
bip(ordered_sum, 2, lib, fd_global, 'ordered_sum-2').
bip(ordset, index, lib, ordset, '').
bip(oriented_graph, 2, lib_public, grasper, 'oriented_graph-2').
bip(os_file_name, 2, kernel, opsys, 'os_file_name-2').
bip(otherwise, 0, lib, quintus, '').
bip(output_mode, index, kernel, env, 'get_flag-2').
bip(output_options, index, kernel, env, 'get_flag-2').
bip(overlay, 3, lib_public, m_map, 'overlay-3').
bip(p_member, 3, lib_public, graphs, '').
bip(p_to_s_graph, 2, lib_public, graphs, '').
bip(p_transpose, 2, lib_public, graphs, '').
bip(par_between, 3, lib, par_util, 'par_between-3').
bip(par_delete, 3, lib, par_util, 'par_delete-3').
bip(par_indomain, 1, lib, fd, 'par_indomain-1').
bip(par_maplist, 3, lib, par_util, 'par_maplist-3').
bip(par_member, 2, lib, par_util, 'par_member-2').
bip(par_util, index, lib, par_util, '').
bip(parallel, 1, kernel, database, 'parallel-1').
bip(pasm, 3, lib, asm, 'pasm-3').
bip(path, 3, lib_public, grasper, 'path-3').
bip(patharg, 3, lib_public, occur, '').
bip(pathname, 2, kernel, obsolete, 'pathname-2').
bip(pathname, 3, kernel, opsys, 'pathname-3').
bip(pathname, 4, kernel, opsys, 'pathname-4').
bip(pause, 0, kernel, opsys, 'pause-0').
bip(peek_byte, 1, lib, iso, '').
bip(peek_byte, 2, lib, iso, '').
bip(peek_char, 1, lib, iso, '').
bip(peek_char, 2, lib, iso, '').
bip(peek_code, 1, lib, iso, '').
bip(peek_code, 2, lib, iso, '').
bip(peer, 1, kernel, externals, 'peer-1').
bip(peer_deregister_multitask, 1, kernel, externals, 'peer_deregister_multitask-1').
bip(peer_do_multitask, 1, kernel, externals, 'peer_do_multitask-1').
bip(peer_get_property, 3, kernel, externals, 'peer_get_property-3').
bip(peer_multitask_confirm, 0, kernel, externals, 'peer_multitask_confirm-0').
bip(peer_multitask_terminate, 0, kernel, externals, 'peer_multitask_terminate-0').
bip(peer_queue_close, 1, kernel, externals, 'peer_queue_close-1').
bip(peer_queue_create, 5, kernel, externals, 'peer_queue_create-5').
bip(peer_queue_get_property, 3, kernel, externals, 'peer_queue_get_property-3').
bip(peer_register_multitask, 2, kernel, externals, 'peer_register_multitask-2').
bip(perm, 2, lib_public, listut, '').
bip(perm2, 4, lib_public, listut, '').
bip(phrase, 2, kernel, control, 'phrase-2').
bip(phrase, 3, kernel, control, 'phrase-3').
bip(pid, index, kernel, env, 'get_flag-2').
bip(piecewise_linear, 3, lib, ic, 'piecewise_linear-3').
bip(piecewise_linear_hull, 3, lib, eplex, 'piecewise_linear_hull-3').
bip(pipe, 2, kernel, iostream, 'pipe-2').
bip(plot, 1, lib, gnuplot, 'plot-1').
bip(plot, 2, lib, gnuplot, 'plot-2').
bip(plot, 3, lib, gnuplot, 'plot-3').
bip(plot, 4, lib, gnuplot, 'plot-4').
bip(plus, 3, kernel, arithmetic, 'plus-3').
bip(plus_to_list, 2, lib_public, flat, '').
bip(point, 1, lib, coverage, '').
bip(polydenorm, 2, lib, linearize, 'polydenorm-2').
bip(polynorm, 3, lib, linearize, 'polynorm-3').
bip(polyrenorm, 2, lib, linearize, 'polyrenorm-2').
bip(pool_is_empty, 1, lib, constraint_pools, 'pool_is_empty-1').
bip(port_profile, 1, lib, port_profiler, '').
bip(port_profile, 2, lib, port_profiler, 'port_profile-2').
bip(port_profiler, index, lib, port_profiler, '').
bip(portray, 3, kernel, syntax, 'portray-3').
bip(portray_bag, 1, lib_public, bags, '').
bip(portray_clause, 1, lib, quintus, '').
bip(portray_delay_reified, 2, lib, suspend, '').
bip(portray_delayed_goals, 2, lib, suspend, '').
bip(portray_goal, 2, kernel, obsolete, 'portray_goal-2').
bip(portray_map, 1, lib_public, map, '').
bip(portray_term, 3, kernel, ioterm, 'portray_term-3').
bip(position, 3, lib_public, occur, '').
bip(poss, 2, lib_public, cardinal, 'poss-2').
bip(poss_conflict_vars, 1, lib, repair, '').
bip(poss_conflict_vars, 2, lib, repair, 'poss_conflict_vars-2').
bip(possible_path, 6, lib, graph_algorithms, 'possible_path-6').
bip(possible_path, 7, lib, graph_algorithms, 'possible_path-7').
bip(post_typed_pool_constraint, 3, lib, constraint_pools, 'post_typed_pool_constraint-3').
bip(posted_params, 1, lib, cgi, 'posted_params-1').
bip(potential_members, 2, lib, ic_hybrid_sets, 'potential_members-2').
bip(potential_members, 2, lib, ic_sets, 'potential_members-2').
bip(potential_members, 2, lib, fd_sets, 'potential_members-2').
bip(ppid, index, kernel, env, 'get_flag-2').
bip(pragma, 1, kernel, directives, 'pragma-1').
bip(pred, 1, kernel, env, 'pred-1').
bip(predecessors, 3, lib_public, grasper, 'predecessors-3').
bip(predicate_property, 1, lib, sepia, '').
bip(predicate_property, 2, lib, quintus, '').
bip(predicate_property, 2, lib, swi, '').
bip(predsort, 3, lib, swi, '').
bip(prefer_rationals, index, kernel, env, 'get_flag-2').
bip(pretty_print, 1, lib, pretty_printer, 'pretty_print-1').
bip(pretty_print, 2, lib, pretty_printer, 'pretty_print-2').
bip(pretty_print, 3, lib, pretty_print, 'pretty_print-3').
bip(pretty_print, 3, lib, pretty_printer, '').
bip(pretty_print, 4, lib, pretty_printer, '').
bip(pretty_print, index, lib, pretty_print, '').
bip(pretty_print_close, 1, lib, pretty_printer, '').
bip(pretty_print_open, 3, lib, pretty_printer, '').
bip(pretty_print_term, 5, lib, pretty_printer, '').
bip(pretty_printer, index, lib, pretty_printer, '').
bip(prev_lex_max, 3, lib, ic_hybrid_sets, '').
bip(primitive, 1, lib, cprolog, '').
bip(print, 1, kernel, ioterm, 'print-1').
bip(print, 2, kernel, ioterm, 'print-2').
bip('print handler', index, kernel, termmanip, 'meta_attribute-2').
bip(print_counters, 0, lib, coverage, '').
bip(print_default_options, 1, lib, module_options, 'print_default_options-1').
bip(print_depth, index, kernel, env, 'get_flag-2').
bip(print_LC, 2, lib, shadow_cons, '').
bip(print_list, 1, lib, lists, 'print_list-1').
bip(print_repair, 2, lib, repair, '').
bip(print_sbdd, 2, lib, ic_gap_sbdd, '').
bip(print_sbds, 2, lib, ic_sbds, '').
bip(print_sbds, 2, lib, fd_sbds, '').
bip(print_sbds, 2, lib, ic_gap_sbds, '').
bip(print_setvar, 2, lib, ic_hybrid_sets, '').
bip(print_setvar, 2, lib, ic_sets, '').
bip(print_setvar, 2, lib, fd_sets, '').
bip(print_solver_var, 2, lib, ic_kernel, '').
bip(print_solver_var, 2, lib, ic, 'print_solver_var-2').
bip(print_tentative, 2, lib, tentative, '').
bip(print_values, 3, lib, toplevel, '').
bip(print_wam, 1, lib, asm, '').
bip(printf, 2, kernel, ioterm, 'printf-2').
bip(printf, 3, kernel, ioterm, 'printf-3').
bip(priority, index, kernel, database, 'set_flag-3').
bip(probe, index, lib, probe, '').
bip(probe_cstr_sched, 7, lib, probing_for_scheduling, 'probe_cstr_sched-7').
bip(probe_cstr_sched, 7, lib, ic_probing_for_scheduling, 'probe_cstr_sched-7').
bip(probe_sched, 5, lib, probing_for_scheduling, 'probe_sched-5').
bip(probe_sched, 5, lib, ic_probing_for_scheduling, 'probe_sched-5').
bip(probe_search, 5, lib, probe_search, 'probe_search-5').
bip(probe_search, 5, lib, ic_probe_search, 'probe_search-5').
bip(probe_search, index, lib, probe_search, '').
bip(probe_support, index, lib, probe_support, '').
bip(probing_for_scheduling, index, lib, probing_for_scheduling, '').
bip(profile, 1, kernel, env, 'profile-1').
bip(profile, 1, lib, profile, 'profile-1').
bip(profile, 2, kernel, env, 'profile-2').
bip(profile, 2, lib, profile, 'profile-2').
bip(profile, 4, lib, ic_cumulative, 'profile-4').
bip(profile, 4, lib, cumulative, 'profile-4').
bip(profile, index, lib, profile, '').
bip(project, 3, lib_public, project, '').
bip(project, index, lib_public, project, '').
bip(prolog_flag, 2, lib, quintus, '').
bip(prolog_flag, 3, lib, quintus, '').
bip(prolog_suffix, index, kernel, env, 'get_flag-2').
bip(prompt, 2, lib, cprolog, '').
bip(proper_graph, 1, lib, graph_algorithms, 'proper_graph-1').
bip(propia, index, lib, propia, '').
bip(prune_instances, 2, kernel, termcomp, 'prune_instances-2').
bip(public, 1, lib, quintus, '').
bip(put, 1, kernel, iochar, 'put-1').
bip(put, 1, lib, cprolog, '').
bip(put, 2, kernel, iochar, 'put-2').
bip(put, 2, lib, quintus, '').
bip(put_assoc, 4, lib_public, assoc, '').
bip(put_atts, 2, lib, atts, '').
bip(put_byte, 1, lib, iso, '').
bip(put_byte, 2, lib, iso, '').
bip(put_char, 1, kernel, iochar, 'put_char-1').
bip(put_char, 2, kernel, iochar, 'put_char-2').
bip(put_code, 1, lib, iso, '').
bip(put_code, 2, lib, iso, '').
bip(put_label, 4, lib_public, trees, '').
bip(put_line, 1, lib, quintus, '').
bip(q_prompt, 2, lib, quintus_util, '').
bip(quadnorm, 6, lib, linearize, 'quadnorm-6').
bip(queue_to_list, 2, lib, queues, 'queue_to_list-2').
bip(queues, index, lib, queues, '').
bip(quintus, 0, lib, sepia, '').
bip(quintus, index, lib, quintus, '').
bip(quintus_util, index, lib, quintus_util, '').
bip(r, 1, lib, repair, 'r-1').
bip(r_conflict, 2, lib, repair, 'r_conflict-2').
bip(r_conflict_prop, 2, lib, repair, 'r_conflict_prop-2').
bip(r_no_prop, 1, lib, repair, 'r_no_prop-1').
bip(r_prop, 1, lib, repair, 'r_prop-1').
bip(raise_exception, 1, lib, sicstus, '').
bip(rand_perm, 2, lib_public, random, '').
bip(random, 1, kernel, arithmetic, 'random-1').
bip(random, 2, lib_public, random, '').
bip(random, 3, lib_public, random, '').
bip(random, index, lib_public, random, '').
bip(random_element, 2, lib, tentative, 'random_element-2').
bip(random_sample, 3, lib, tentative, 'random_sample-3').
bip(randomise, 0, lib_public, random, '').
bip(randomise, 1, lib_public, random, '').
bip(range_fzn_to_solver, 3, lib_public, fzn_fd, '').
bip(range_fzn_to_solver, 3, lib_public, fzn_ic, '').
bip(range_fzn_to_solver, 3, lib_public, fzn_eplex, '').
bip(rational, 1, kernel, typetest, 'rational-1').
bip(rational, 2, kernel, arithmetic, 'rational-2').
bip(rational, 3, lib, swi, '').
bip('rational tree', index, kernel, typetest, 'acyclic_term-1').
bip(rationalize, 2, kernel, arithmetic, 'rationalize-2').
bip(rdtok, index, lib_public, rdtok, '').
bip(reachables, 3, lib_public, grasper, 'reachables-3').
bip(read, 1, kernel, ioterm, 'read-1').
bip(read, 2, kernel, ioterm, 'read-2').
bip(read, 2, lib_public, distfix, '').
bip(read, 2, lib_public, read, '').
bip(read, index, lib_public, read, '').
bip(read_annotated, 2, kernel, ioterm, 'read_annotated-2').
bip(read_data, 3, lib, matrix_util, 'read_data-3').
bip(read_directory, 4, kernel, opsys, 'read_directory-4').
bip(read_exdr, 2, kernel, ioterm, 'read_exdr-2').
bip(read_floats_as_breals, index, kernel, env, 'get_flag-2').
bip(read_item, 2, lib_public, flatzinc_parser, 'read_item-2').
bip(read_line, 1, lib, util, 'read_line-1').
bip(read_line, 2, lib, util, 'read_line-2').
bip(read_string, 3, kernel, iochar, 'read_string-3').
bip(read_string, 4, kernel, iochar, 'read_string-4').
bip(read_term, 2, kernel, ioterm, 'read_term-2').
bip(read_term, 3, kernel, ioterm, 'read_term-3').
bip(read_token, 2, kernel, iochar, 'read_token-2').
bip(read_token, 3, kernel, iochar, 'read_token-3').
bip(read_tokens, 2, lib_public, rdtok, '').
bip(readvar, 3, kernel, ioterm, 'readvar-3').
bip(real, 1, kernel, typetest, 'real-1').
bip(reals, 1, lib, ic_kernel, '').
bip(reals, 1, lib, suspend, 'reals-1').
bip(reals, 1, lib, ic, 'reals-1').
bip(reals, 1, lib, eplex, 'reals-1').
bip(receive_events, 2, lib, ic_hybrid_sets, '').
bip(receive_notifications, 3, lib, notify_ports, 'receive_notifications-3').
bip(receive_notifications, 4, lib, notify_ports, 'receive_notifications-4').
bip(reconsult, 1, lib, cprolog, '').
bip(record, 1, kernel, modules, 'local-1').
bip(record, 2, kernel, record, 'record-2').
bip(record, index, kernel, record, '').
bip(record_chrprule, 3, lib, ech, '').
bip(record_chrrule, 3, lib, ech, '').
bip(record_namedrule, 3, lib, ech, '').
bip(recorda, 2, kernel, record, 'recorda-2').
bip(recorda, 3, kernel, record, 'recorda-3').
bip(recorda, 3, lib, quintus, '').
bip(recorded, 2, kernel, record, 'recorded-2').
bip(recorded, 3, kernel, record, 'recorded-3').
bip(recorded, 3, lib, quintus, '').
bip(recorded_list, 2, kernel, record, 'recorded_list-2').
bip(recordz, 2, kernel, record, 'recordz-2').
bip(recordz, 3, kernel, record, 'recordz-3').
bip(recordz, 3, lib, quintus, '').
bip(redef_handler, 2, lib, quintus_util, '').
bip(redefine_cdelete_count, 4, lib, ech, '').
bip(reduced_cost_pruning, 2, lib, eplex, 'reduced_cost_pruning-2').
bip(reexport, 1, kernel, modules, 'reexport-1').
bip(reference, 1, kernel, arrays, 'reference-1').
bip(reference, 2, kernel, arrays, 'reference-2').
bip(referenced_record, 2, kernel, record, 'referenced_record-2').
bip(refine, 1, lib, conjunto_fd_sets, 'refine-1').
bip(refine, 1, lib, conjunto, 'refine-1').
bip(refine, 2, lib_public, cardinal, 'refine-2').
bip(regex, index, lib, regex, '').
bip(register_for_notification, 3, lib, tentative, 'register_for_notification-3').
bip(register_option, 3, lib, config_opts, 'register_option-3').
bip(registry, index, kernel, opsys, 'getenv-2').
bip(rem, 3, kernel, arithmetic, 'rem-3').
bip(remote_connect, 3, kernel, externals, 'remote_connect-3').
bip(remote_connect_accept, 6, kernel, externals, 'remote_connect_accept-6').
bip(remote_connect_setup, 3, kernel, externals, 'remote_connect_setup-3').
bip(remote_disconnect, 1, kernel, externals, 'remote_disconnect-1').
bip(remote_protocol_version, index, kernel, env, 'get_flag-2').
bip(remote_tools, index, lib, remote_tools, '').
bip(remote_yield, 1, kernel, externals, 'remote_yield-1').
bip(remove, 4, lib_public, m_map, 'remove-4').
bip(remove, 4, lib_public, m_tree234, 'remove-4').
bip(remove_dups, 2, lib_public, listut, '').
bip(remove_smallest, 4, lib_public, m_map, 'remove_smallest-4').
bip(remove_smallest, 4, lib_public, m_tree234, 'remove_smallest-4').
bip(remove1, 3, lib, ic_probe_support, '').
bip(remove1, 3, lib, probe_support, '').
bip(rename, 2, kernel, opsys, 'rename-2').
bip(repair, 0, lib, repairfd, '').
bip(repair, 1, lib, repairfd, '').
bip(repair, index, lib, repair, '').
bip(repair, struct, lib, repair, '').
bip(repair_stat, 1, lib, repair, '').
bip(repair_suspensions_handler, 3, lib, repair, '').
bip(repair_unify_handler, 2, lib, repair, '').
bip(repairfd, index, lib, repairfd, '').
bip(repeat, 0, kernel, control, 'repeat-0').
bip(replace, 4, lib_public, occur, '').
bip(replace_list, 4, lib, ic_probe_support, '').
bip(replace_list, 4, lib, probe_support, '').
bip(report_lookup_error, 3, lib_public, mercury, 'report_lookup_error-3').
bip(request_notification, 2, lib, config_opts, 'request_notification-2').
bip(rerecord, 2, kernel, record, 'rerecord-2').
bip(reset, 0, lib, instprofile, 'reset-0').
bip(reset, 0, lib, mode_analyser, 'reset-0').
bip(reset_counters, 0, lib, coverage, 'reset_counters-0').
bip(reset_error_handler, 1, kernel, obsolete, 'reset_error_handler-1').
bip(reset_error_handlers, 0, kernel, event, 'reset_error_handlers-0').
bip(reset_event_handler, 1, kernel, event, 'reset_event_handler-1').
bip(result, 0, lib, coverage, 'result-0').
bip(result, 0, lib, instprofile, 'result-0').
bip(result, 0, lib, mode_analyser, 'result-0').
bip(result, 1, lib, coverage, 'result-1').
bip(result, 1, lib, mode_analyser, 'result-1').
bip(result, 2, lib, coverage, 'result-2').
bip(retract, 1, kernel, dynamic, 'retract-1').
bip(retract_all, 1, kernel, dynamic, 'retract_all-1').
bip(retractall, 1, lib, quintus, '').
bip(rev, 2, lib_public, listut, '').
bip(reverse, 2, lib, lists, 'reverse-2').
bip(reverse, 2, lib_public, listut, '').
bip(reverse_graph, 2, lib_public, grasper, 'reverse_graph-2').
bip(rotate, 3, lib, ic_symbolic, 'rotate-3').
bip(rotate, 4, lib, ic_symbolic, 'rotate-4').
bip(round, 2, kernel, arithmetic, 'round-2').
bip(round, 2, lib, iso, '').
bip(rtoken, 1, lib, sepia, '').
bip(rtoken, 2, lib, sepia, '').
bip(s_member, 3, lib_public, graphs, '').
bip(s_to_p_graph, 2, lib_public, graphs, '').
bip(s_to_p_trans, 2, lib_public, graphs, '').
bip(s_transpose, 2, lib_public, graphs, '').
bip(safe_set_range, 3, lib, ic_hybrid_sets, '').
bip(same_length, 2, lib_public, listut, '').
bip(sameset, 2, lib, ic_hybrid_sets, 'sameset-2').
bip(sameset, 2, lib, ic_sets, 'sameset-2').
bip(sameset, 2, lib, fd_sets, 'sameset-2').
bip(saros_lint, 1, lib, lint, '').
bip(saros_xref, 2, lib, xref, '').
bip(satisfies, 2, lib, ic_hybrid_sets, '').
bip(satisfy, 1, lib_public, fzn_fd, '').
bip(satisfy, 1, lib_public, fzn_ic, '').
bip(satisfy, 1, lib_public, fzn_eplex, '').
bip(sbdd_indomain, 1, lib, ic_gap_sbdd, 'sbdd_indomain-1').
bip(sbdd_initialise, 5, lib, ic_gap_sbdd, 'sbdd_initialise-5').
bip(sbdd_initialise_set, 5, lib, ic_gap_sbdd, 'sbdd_initialise_set-5').
bip(sbdd_labeling, 1, lib, ic_gap_sbdd, 'sbdd_labeling-1').
bip(sbdd_record, 3, lib, ic_gap_sbdd, '').
bip(sbdd_recorded_indomain, 3, lib, ic_gap_sbdd, '').
bip(sbdd_shared, struct, lib, ic_gap_sbdd, "sbdd_shared-s").
bip(sbdd_try, 2, lib, ic_gap_sbdd, 'sbdd_try-2').
bip(sbdd_try, 3, lib, ic_gap_sbdd, 'sbdd_try-3').
bip(sbdd_try_set, 3, lib, ic_gap_sbdd, 'sbdd_try_set-3').
bip(sbdd_try_set, 4, lib, ic_gap_sbdd, 'sbdd_try_set-4').
bip(sbds_get_index, 2, lib, ic_sbds, 'sbds_get_index-2').
bip(sbds_get_index, 2, lib, fd_sbds, 'sbds_get_index-2').
bip(sbds_get_matrix, 2, lib, ic_sbds, 'sbds_get_matrix-2').
bip(sbds_get_matrix, 2, lib, fd_sbds, 'sbds_get_matrix-2').
bip(sbds_indomain, 1, lib, ic_gap_sbds, 'sbds_indomain-1').
bip(sbds_initialise, 4, lib, ic_sbds, 'sbds_initialise-4').
bip(sbds_initialise, 4, lib, fd_sbds, 'sbds_initialise-4').
bip(sbds_initialise, 5, lib, ic_sbds, 'sbds_initialise-5').
bip(sbds_initialise, 5, lib, fd_sbds, 'sbds_initialise-5').
bip(sbds_initialise, 5, lib, ic_gap_sbds, 'sbds_initialise-5').
bip(sbds_initialise_set, 5, lib, ic_gap_sbds, 'sbds_initialise_set-5').
bip(sbds_labeling, 1, lib, ic_gap_sbds, 'sbds_labeling-1').
bip(sbds_record, 3, lib, ic_gap_sbds, '').
bip(sbds_try, 2, lib, ic_sbds, 'sbds_try-2').
bip(sbds_try, 2, lib, fd_sbds, 'sbds_try-2').
bip(sbds_try, 2, lib, ic_gap_sbds, 'sbds_try-2').
bip(sbds_try, 3, lib, ic_gap_sbds, 'sbds_try-3').
bip(sbds_try_set, 3, lib, ic_gap_sbds, 'sbds_try_set-3').
bip(sbds_try_set, 4, lib, ic_gap_sbds, 'sbds_try_set-4').
bip(scattered, 1, lib, scattered, 'scattered-1').
bip(scattered, index, lib, scattered, '').
bip(schedule_suspensions, 1, kernel, suspensions, 'schedule_suspensions-1').
bip(schedule_suspensions, 2, kernel, suspensions, 'schedule_suspensions-2').
bip(schedule_woken, 1, kernel, obsolete, 'schedule_woken-1').
bip(sd, index, lib, sd, '').
bip(search, 3, lib_public, m_map, 'search-3').
bip(search, 3, lib_public, m_tree234, 'search-3').
bip(search, 6, lib, ic, 'search-6').
bip(search, 6, lib, fd_search, 'search-6').
bip(see, 1, lib, cio, '').
bip(seed, 1, kernel, arithmetic, 'seed-1').
bip(seeing, 1, lib, cio, '').
bip(seek, 2, kernel, iostream, 'seek-2').
bip(seek, 4, lib, swi, '').
bip(seen, 0, lib, cio, '').
bip(select, 3, kernel, iostream, 'select-3').
bip(select, 3, lib, swi, '').
bip(select, 3, lib_public, m_map, 'select-3').
bip(select, 4, lib_public, listut, '').
bip(selectlist, 3, lib, apply_macros, 'selectlist-3').
bip(send_notification, 2, lib, notify_ports, 'send_notification-2').
bip(send_notification, 3, lib, notify_ports, 'send_notification-3').
bip(sepia, index, lib, sepia, '').
bip(sequence, 4, lib, fd, 'sequence-4').
bip(serve_queue, 3, lib, queues, 'serve_queue-3').
bip(session_close, 1, lib, dbi, 'session_close-1').
bip(session_commit, 1, lib, dbi, 'session_commit-1').
bip(session_rollback, 1, lib, dbi, 'session_rollback-1').
bip(session_sql, 3, lib, dbi, 'session_sql-3').
bip(session_sql_prepare, 4, lib, dbi, 'session_sql_prepare-4').
bip(session_sql_prepare_query, 5, lib, dbi, 'session_sql_prepare_query-5').
bip(session_sql_query, 4, lib, dbi, 'session_sql_query-4').
bip(session_sql_query, 5, lib, dbi, 'session_sql_query-5').
bip(session_start, 4, lib, dbi, 'session_start-4').
bip(session_transaction, 2, lib, dbi, 'session_transaction-2').
bip(set, 1, lib, conjunto, 'set-1').
bip(set, 4, lib_public, m_map, 'set-4').
bip(set, 4, lib_public, cardinal, 'set-4').
bip(set, 4, lib_public, m_tree234, 'set-4').
bip('set_bounds handler', index, kernel, termmanip, 'meta_attribute-2').
bip(set_callsite_data, 2, lib, instrument, 'set_callsite_data-2').
bip(set_card, 2, lib_public, fzn_fd, '').
bip(set_card, 2, lib_public, fzn_ic, '').
bip(set_chtab, 2, kernel, syntax, 'set_chtab-2').
bip(set_declare, 2, lib_public, fzn_fd, '').
bip(set_declare, 2, lib_public, fzn_ic, '').
bip(set_declare, 3, lib_public, fzn_fd, '').
bip(set_declare, 3, lib_public, fzn_ic, '').
bip(set_declare_array, 2, lib_public, fzn_fd, '').
bip(set_declare_array, 2, lib_public, fzn_ic, '').
bip(set_declare_array, 3, lib_public, fzn_fd, '').
bip(set_declare_array, 3, lib_public, fzn_ic, '').
bip(set_default_option, 2, lib, module_options, 'set_default_option-2').
bip(set_diff, 3, lib_public, fzn_fd, '').
bip(set_diff, 3, lib_public, fzn_ic, '').
bip(set_eq, 2, lib_public, fzn_fd, '').
bip(set_eq, 2, lib_public, fzn_ic, '').
bip(set_error_handler, 2, kernel, obsolete, 'set_error_handler-2').
bip(set_event_handler, 2, kernel, event, 'set_event_handler-2').
bip(set_flag, 2, kernel, env, 'set_flag-2').
bip(set_flag, 3, kernel, database, 'set_flag-3').
bip(set_fzn_to_solver, 2, lib_public, fzn_fd, '').
bip(set_fzn_to_solver, 2, lib_public, fzn_ic, '').
bip(set_fzn_to_solver, 2, lib_public, fzn_eplex, '').
bip(set_in, 2, lib_public, fzn_fd, '').
bip(set_in, 2, lib_public, fzn_ic, '').
bip(set_in_reif, 3, lib_public, fzn_fd, '').
bip(set_in_reif, 3, lib_public, fzn_ic, '').
bip(set_input, 1, lib, quintus, '').
bip(set_input, 1, lib, iso, '').
bip(set_interrupt_handler, 2, kernel, event, 'set_interrupt_handler-2').
bip(set_intersect, 3, lib_public, fzn_fd, '').
bip(set_intersect, 3, lib_public, fzn_ic, '').
bip(set_labeling, 1, lib_public, cardinal, 'set_labeling-1').
bip(set_labeling, 2, lib_public, cardinal, 'set_labeling-2').
bip(set_leash, 2, kernel, debug, 'set_leash-2').
bip(set_lex_max, 3, lib, ic_hybrid_sets, '').
bip(set_lex_min, 3, lib, ic_hybrid_sets, '').
bip(set_option, 2, lib, config_opts, 'set_option-2').
bip(set_output, 1, lib, quintus, '').
bip(set_output, 1, lib, iso, '').
bip(set_pool_item, 2, lib, constraint_pools, 'set_pool_item-2').
bip(set_probect, 1, lib, ic_probe, '').
bip(set_probect, 1, lib, probe, '').
bip(set_prolog_flag, 2, lib, iso, '').
bip(set_prompt, 3, kernel, obsolete, 'set_prompt-3').
bip(set_range, 3, lib, ic_hybrid_sets, 'set_range-3').
bip(set_range, 3, lib, conjunto, 'set_range-3').
bip(set_range, 3, lib, ic_sets, 'set_range-3').
bip(set_range, 3, lib, fd_sets, 'set_range-3').
bip(set_solver_to_fzn, 2, lib_public, fzn_fd, '').
bip(set_solver_to_fzn, 2, lib_public, fzn_ic, '').
bip(set_solver_to_fzn, 2, lib_public, fzn_eplex, '').
bip(set_stream, 2, kernel, iostream, 'set_stream-2').
bip(set_stream, 2, lib, swi, '').
bip(set_stream_position, 2, lib, iso, '').
bip(set_stream_property, 3, kernel, iostream, 'set_stream_property-3').
bip(set_subset, 2, lib_public, fzn_fd, '').
bip(set_subset, 2, lib_public, fzn_ic, '').
bip(set_suspension_data, 3, kernel, suspensions, 'set_suspension_data-3').
bip(set_suspension_priority, 2, kernel, obsolete, 'set_suspension_priority-2').
bip(set_symdiff, 3, lib_public, fzn_fd, '').
bip(set_symdiff, 3, lib_public, fzn_ic, '').
bip(set_threshold, 1, lib, ic_kernel, '').
bip(set_threshold, 1, lib, ic, 'set_threshold-1').
bip(set_threshold, 2, lib, ic_kernel, '').
bip(set_threshold, 2, lib, ic, 'set_threshold-2').
bip(set_timer, 2, kernel, obsolete, 'set_timer-2').
bip(set_to_min, 1, lib, ic_probe_support, '').
bip(set_to_min, 1, lib, probe_support, '').
bip(set_to_tent, 1, lib, ic_probe_support, '').
bip(set_to_tent, 1, lib, probe_support, '').
bip(set_typed_pool_constraints, 3, lib, constraint_pools, 'set_typed_pool_constraints-3').
bip(set_union, 3, lib_public, fzn_fd, '').
bip(set_union, 3, lib_public, fzn_ic, '').
bip(set_up_probe, 5, lib, ic_probe, 'set_up_probe-5').
bip(set_up_probe, 5, lib, probe, 'set_up_probe-5').
bip(set_var_bounds, 3, kernel, termmanip, 'set_var_bounds-3').
bip(set_var_name, 2, lib, var_name, 'set_var_name-2').
bip(set_var_name_counter, 2, lib, var_name, 'set_var_name_counter-2').
bip(set_var_type, 2, lib, ic_kernel, 'set_var_type-2').
bip(set_vars_type, 2, lib, ic_kernel, 'set_vars_type-2').
bip(set2list, 2, lib, conjunto_fd_sets, '').
bip(set2list, 2, lib, conjunto, 'set2list-2').
bip(setarg, 3, kernel, termmanip, 'setarg-3').
bip(setbit, 3, kernel, arithmetic, 'setbit-3').
bip(setenv, 2, kernel, opsys, 'setenv-2').
bip(setof, 3, kernel, allsols, 'setof-3').
bip(sets, 4, lib_public, cardinal, 'sets-4').
bip(setval, 2, kernel, arrays, 'setval-2').
bip(sformat, 2, lib, swi, '').
bip(sformat, 3, lib, swi, '').
bip(sgn, 2, kernel, arithmetic, 'sgn-2').
bip(sh, 0, lib, cprolog, '').
bip(sh, 1, kernel, opsys, 'sh-1').
bip(shadow_call, 2, lib, shadow_cons, 'shadow_call-2').
bip(shadow_cons, index, lib, shadow_cons, '').
bip(shadow_var, 3, lib, shadow_cons, 'shadow_var-3').
bip(shelf, 2, kernel, arrays, 'shelf-2').
bip(shelf_abolish, 1, kernel, arrays, 'shelf_abolish-1').
bip(shelf_create, 2, kernel, arrays, 'shelf_create-2').
bip(shelf_create, 3, kernel, arrays, 'shelf_create-3').
bip(shelf_dec, 2, kernel, arrays, 'shelf_dec-2').
bip(shelf_get, 3, kernel, arrays, 'shelf_get-3').
bip(shelf_inc, 2, kernel, arrays, 'shelf_inc-2').
bip(shelf_set, 3, kernel, arrays, 'shelf_set-3').
bip(shift, 3, lib, ic_symbolic, 'shift-3').
bip(shift, 4, lib, ic_symbolic, 'shift-4').
bip(shorter_list, 2, lib_public, listut, '').
bip(shortest_paths, 4, lib, graph_algorithms, 'shortest_paths-4').
bip(shortest_paths_bellman_ford, 4, lib, graph_algorithms, 'shortest_paths_bellman_ford-4').
bip(should_fail, 1, lib, test_util, 'should_fail-1').
bip(should_fail, 2, lib, test_util, 'should_fail-2').
bip(should_give, 2, lib, test_util, 'should_give-2').
bip(should_give, 3, lib, test_util, 'should_give-3').
bip(should_raise, 2, lib, test_util, 'should_raise-2').
bip(should_raise, 3, lib, test_util, 'should_raise-3').
bip(should_throw, 2, lib, test_util, 'should_throw-2').
bip(should_throw, 3, lib, test_util, 'should_throw-3').
bip(shuffle, 2, lib, lists, 'shuffle-2').
bip(sicstus, 0, lib, sepia, '').
bip(sicstus, index, lib, sicstus, '').
bip(sign, 2, lib, iso, '').
bip(simple, 1, lib_public, metutl, '').
bip(simplify, 2, lib, linearize, '').
bip(sin, 2, kernel, arithmetic, 'sin-2').
bip(single_pair_all_short_paths_as_graph, 7, lib, graph_algorithms, 'single_pair_all_short_paths_as_graph-7').
bip(single_pair_short_path, 6, lib, graph_algorithms, 'single_pair_short_path-6').
bip(single_pair_shortest_path, 5, lib, graph_algorithms, 'single_pair_shortest_path-5').
bip(single_pair_shortest_path_bellman_ford, 5, lib, graph_algorithms, 'single_pair_shortest_path_bellman_ford-5').
bip(size, 2, lib_public, grasper, 'size-2').
bip(skip, 1, lib, cio, '').
bip(skip, 2, lib, cio, '').
bip(skip, index, kernel, database, 'set_flag-3').
bip(skipped, 1, kernel, debug, 'skipped-1').
bip(sleep, 1, kernel, opsys, 'sleep-1').
bip(socket, 2, lib, sockets, 'socket-2').
bip(socket, 3, kernel, iostream, 'socket-3').
bip(socket_accept, 2, lib, sockets, 'socket_accept-2').
bip(socket_bind, 2, lib, sockets, 'socket_bind-2').
bip(socket_connect, 3, lib, sockets, 'socket_connect-3').
bip(socket_listen, 2, lib, sockets, 'socket_listen-2').
bip(socket_select, 5, lib, sockets, 'socket_select-5').
bip(sockets, index, lib, sockets, '').
bip('Soft cut', index, kernel, control, 'X-G-2').
bip(solution_out_of_range, 1, lib, eplex, 'solution_out_of_range-1').
bip(solve, 1, lib, bfs, 'solve-1').
bip(solver_setup, 2, lib, bfs, 'solver_setup-2').
bip(solver_setup, 3, lib, bfs, 'solver_setup-3').
bip(some, 2, lib_public, applic, '').
bip(somechk, 2, lib_public, applic, '').
bip(sort, 2, kernel, termcomp, 'sort-2').
bip(sort, 2, lib_public, fzn_fd, '').
bip(sort, 2, lib_public, fzn_ic, '').
bip(sort, 4, kernel, termcomp, 'sort-4').
bip(sorted, 2, lib, ic_global, 'sorted-2').
bip(sorted, 2, lib, fd_global, 'sorted-2').
bip(sorted, 3, lib, ic_global, 'sorted-3').
bip(sorted, 3, lib, fd_global, 'sorted-3').
bip(sorted_keys, 2, lib_public, m_map, 'sorted_keys-2').
bip(sorted_list_to_dom, 2, lib, fd, 'sorted_list_to_dom-2').
bip(source_close, 2, lib, source_processor, 'source_close-2').
bip(source_file, 1, lib, quintus, '').
bip(source_file, 2, lib, quintus, '').
bip(source_open, 3, lib, source_processor, 'source_open-3').
bip(source_position, struct, lib, source_processor, "source_position-s").
bip(source_processor, index, lib, source_processor, '').
bip(source_read, 4, lib, source_processor, 'source_read-4').
bip(source_term, struct, lib, source_processor, "source_term-s").
bip('spanning forest', index, lib, graph_algorithms, 'minimum_spanning_forest-5').
bip('spanning tree', index, lib, graph_algorithms, 'minimum_spanning_tree-4').
bip(spell, index, lib, spell, '').
bip(spell_handler, 3, lib, spell, '').
bip(splice, 3, lib, lists, 'splice-3').
bip(split, 4, lib, regex, 'split-4').
bip(split_string, 4, kernel, stratom, 'split_string-4').
bip(spy, 1, kernel, debug, 'spy-1').
bip(spy, index, kernel, database, 'set_flag-3').
bip(spy_term, 2, kernel, debug, 'spy_term-2').
bip(spy_var, 1, kernel, debug, 'spy_var-1').
bip(sqrt, 2, kernel, arithmetic, 'sqrt-2').
bip(squash, 3, lib, ic, 'squash-3').
bip('stable and unique names', index, lib, var_name, 'set_var_name-2').
bip(start_break, 3, lib, toplevel, '').
bip(start_compile_file, 3, lib, scattered, '').
bip(start_tracing, index, kernel, database, 'set_flag-3').
bip(start_tty_vc, 1, lib, tty_vc, 'start_tty_vc-1').
bip(start_tty_vc, 2, lib, tty_vc, 'start_tty_vc-2').
bip(start_tty_vc, 3, lib, tty_vc, 'start_tty_vc-3').
bip(start_vc, 1, lib, java_vc, 'start_vc-1').
bip(statistics, 0, kernel, env, 'statistics-0').
bip(statistics, 0, lib, bfs, 'statistics-0').
bip(statistics, 2, kernel, env, 'statistics-2').
bip(statistics_par, 0, lib, par_util, '').
bip(statistics_par_reset, 0, lib, par_util, '').
bip(statprofile, 2, lib, instprofile, 'statprofile-2').
bip(statprofile, 3, lib, instprofile, 'statprofile-3').
bip(statsample, 4, lib, instprofile, 'statsample-4').
bip(statsample_control, 2, lib, instprofile, 'statsample_control-2').
bip(stop_tty_vc, 0, lib, tty_vc, 'stop_tty_vc-0').
bip(stop_vc, 1, lib, java_vc, 'stop_vc-1').
bip(store, 1, kernel, arrays, 'store-1').
bip(store, 4, lib_public, arrays, '').
bip(store_contains, 2, kernel, arrays, 'store_contains-2').
bip(store_count, 2, kernel, arrays, 'store_count-2').
bip(store_create, 1, kernel, arrays, 'store_create-1').
bip(store_delete, 2, kernel, arrays, 'store_delete-2').
bip(store_erase, 1, kernel, arrays, 'store_erase-1').
bip(store_get, 3, kernel, arrays, 'store_get-3').
bip(store_inc, 2, kernel, arrays, 'store_inc-2').
bip(store_set, 3, kernel, arrays, 'store_set-3').
bip(stored_keys, 2, kernel, arrays, 'stored_keys-2').
bip(stored_keys_and_values, 2, kernel, arrays, 'stored_keys_and_values-2').
bip(stratom, index, kernel, stratom, '').
bip(stream, 1, lib, util, 'stream-1').
bip('stream redirection', index, kernel, iostream, 'set_stream-2').
bip(stream_code, 2, lib, quintus, '').
bip(stream_position, 2, lib, quintus, '').
bip(stream_position, 3, lib, quintus, '').
bip(stream_property, 2, lib, swi, '').
bip(stream_property, 2, lib, iso, '').
bip(stream_select, 3, lib, sockets, 'stream_select-3').
bip(stream_truncate, 1, kernel, iostream, 'stream_truncate-1').
bip(streams, 0, lib, util, 'streams-0').
bip(string, 1, kernel, typetest, 'string-1').
bip(string_code, 3, kernel, stratom, 'string_code-3').
bip(string_concat, 3, lib, swi, '').
bip(string_length, 2, kernel, stratom, 'string_length-2').
bip(string_list, 2, kernel, stratom, 'string_list-2').
bip(string_list, 3, kernel, stratom, 'string_list-3').
bip(string_to_atom, 2, lib, swi, '').
bip(string_to_list, 2, lib, swi, '').
bip(strong_components, 2, lib, graph_algorithms, 'strong_components-2').
bip(strongly_connected, 1, lib_public, grasper, 'strongly_connected-1').
bip(struct, 1, kernel, syntax, 'struct-1').
bip(struct, index, lib_public, struct, '').
bip(style_check, 1, lib, quintus, '').
bip(sub_atom, 5, lib, iso, '').
bip(sub_string, 5, lib, swi, '').
bip(subcall, 2, kernel, suspensions, 'subcall-2').
bip(subgraph, 2, lib_public, grasper, 'subgraph-2').
bip(sublist, 3, lib_public, applic, '').
bip(subscript, 3, kernel, termmanip, 'subscript-3').
bip(subseq, 3, lib_public, listut, '').
bip(subseq0, 2, lib_public, listut, '').
bip(subseq1, 2, lib_public, listut, '').
bip(subset, 2, lib, ic_hybrid_sets, 'subset-2').
bip(subset, 2, lib, lists, 'subset-2').
bip(subset, 2, lib, ic_sets, 'subset-2').
bip(subset, 2, lib, fd_sets, 'subset-2').
bip(subst, 3, lib_public, struct, '').
bip(substitute_placeholders, 3, lib, cgi, 'substitute_placeholders-3').
bip(substring, 3, kernel, stratom, 'substring-3').
bip(substring, 4, kernel, stratom, 'substring-4').
bip(substring, 5, kernel, stratom, 'substring-5').
bip(subsumes, 2, lib_public, metutl, '').
bip(subsumes_chk, 2, lib_public, metutl, '').
bip(subterm, 2, lib_public, metutl, '').
bip(subtract, 3, lib, lists, 'subtract-3').
bip(succ, 2, kernel, arithmetic, 'succ-2').
bip(successors, 3, lib_public, grasper, 'successors-3').
bip(suffix, 2, kernel, obsolete, 'suffix-2').
bip(sum, 2, kernel, arithmetic, 'sum-2').
bip(sum_ge_zero, 1, lib, ic_global, '').
bip(sum_ge_zero, 1, lib, fd_global, '').
bip(sum_weight, 2, lib, conjunto, 'sum_weight-2').
bip(sumargs, 4, lib, apply_macros, 'sumargs-4').
bip(sumlist, 2, lib, ic_global, 'sumlist-2').
bip(sumlist, 2, lib, fd_global, 'sumlist-2').
bip(sumlist, 2, lib_public, listut, '').
bip(sumlist, 4, lib, apply_macros, 'sumlist-4').
bip(sumnodes, 4, lib, apply_macros, 'sumnodes-4').
bip(suspend, 3, kernel, suspensions, 'suspend-3').
bip(suspend, 4, kernel, suspensions, 'suspend-4').
bip(suspend, index, lib, suspend, '').
bip(suspend_constraint, 4, lib, ech, '').
bip(suspend_on_change, 2, lib, repair, '').
bip(suspend_on_change, 2, lib, tentative, '').
bip(suspend_on_change, 2, lib, eplex, 'suspend_on_change-2').
bip(suspendindexpos, 2, lib, ech, '').
bip('suspension handler', index, kernel, termmanip, 'meta_attribute-2').
bip(suspension_to_goal, 3, kernel, obsolete, 'suspension_to_goal-3').
bip(suspensions, 1, kernel, suspensions, 'suspensions-1').
bip(suspensions, 2, kernel, suspensions, 'suspensions-2').
bip(suspensions, index, kernel, suspensions, '').
bip(suspensions_sd, 3, lib, sd, '').
bip(suspensions_set, 3, lib, ic_hybrid_sets, '').
bip(suspensions_set, 3, lib, ic_sets, '').
bip(suspensions_set, 3, lib, fd_sets, '').
bip(suspensions_suspend, 3, lib, suspend, '').
bip(swi, index, lib, swi, '').
bip(sym_expr, index, lib, sym_expr, '').
bip(symbol_domain_index, 3, lib, ic_symbolic, 'symbol_domain_index-3').
bip(symbols_domain_indices, 3, lib, ic_symbolic, 'symbols_domain_indices-3').
bip(symdiff, 3, lib, ic_hybrid_sets, 'symdiff-3').
bip(symdiff, 3, lib, ic_sets, 'symdiff-3').
bip(symdiff, 3, lib, fd_sets, 'symdiff-3').
bip(symmetric, 1, lib_public, grasper, 'symmetric-1').
bip(syntax, index, kernel, syntax, '').
bip(syntax_option, 1, kernel, modules, 'export-1').
bip(syntax_option, 1, kernel, modules, 'reexport-1').
bip(syntax_option, 1, kernel, modules, 'local-1').
bip(syntax_option, index, kernel, env, 'get_flag-2').
bip(system, 1, kernel, opsys, 'system-1').
bip(tab, 1, lib, cio, '').
bip(tab, 2, lib, cio, '').
bip(tan, 2, kernel, arithmetic, 'tan-2').
bip(task, struct, lib, ic_probe_support, '').
bip(task, struct, lib, probe_support, '').
bip(task_structure, 4, lib, ic_probe_support, '').
bip(task_structure, 4, lib, probe_support, '').
bip(tell, 1, lib, cio, '').
bip(telling, 1, lib, cio, '').
bip(tenable, 1, lib, repair, 'tenable-1').
bip(tent_call, 3, lib, repair, 'tent_call-3').
bip(tent_fix, 1, lib, tentative, 'tent_fix-1').
bip(tent_get, 2, lib, repair, 'tent_get-2').
bip(tent_get, 2, lib, tentative, 'tent_get-2').
bip(tent_implements, 2, lib, tentative, 'tent_implements-2').
bip(tent_is, 2, lib, repair, 'tent_is-2').
bip(tent_is, 2, lib, tentative, 'tent_is-2').
bip(tent_minimize_random, 3, lib, tentative, 'tent_minimize_random-3').
bip(tent_set, 2, lib, repair, 'tent_set-2').
bip(tent_set, 2, lib, tentative, 'tent_set-2').
bip(tent_set_all, 2, lib, tentative, 'tent_set_all-2').
bip(tent_set_attr, 2, lib, tentative, '').
bip(tent_set_random, 2, lib, tentative, 'tent_set_random-2').
bip(tent_trace_array, 3, lib, tentative, 'tent_trace_array-3').
bip(tentative, index, lib, tentative, '').
bip('tentative assignments', index, lib, repair, '').
bip(tentative_constraints, index, lib, tentative_constraints, '').
bip(tentative_ground, 2, lib, repair, '').
bip(term_expansion, 2, lib, quintus, '').
bip(term_hash, 4, kernel, termcomp, 'term_hash-4').
bip(term_string, 2, kernel, termmanip, 'term_string-2').
bip(term_to_bytes, 2, kernel, termmanip, 'term_to_bytes-2').
bip(term_variables, 2, kernel, termmanip, 'term_variables-2').
bip(termcomp, index, kernel, termcomp, '').
bip(termmanip, index, kernel, termmanip, '').
bip(test, 1, lib, test_util, 'test-1').
bip(test, 2, lib, test_util, 'test-2').
bip(test_and_setval, 3, kernel, arrays, 'test_and_setval-3').
bip(test_info, 2, lib, test_util, 'test_info-2').
bip(test_sub_bag, 2, lib_public, bags, '').
bip('test_unify handler', index, kernel, termmanip, 'meta_attribute-2').
bip(test_unify_ic, 2, lib, ic_kernel, '').
bip(test_unify_ic_symbolic, 2, lib, ic_symbolic, '').
bip(test_unify_sd, 2, lib, sd, '').
bip(test_unify_sets, 2, lib, ic_hybrid_sets, '').
bip(test_unify_sets, 2, lib, ic_sets, '').
bip(test_unify_sets, 2, lib, fd_sets, '').
bip(test_util, index, lib, test_util, '').
bip(throttle_default, 1, lib, ic_gap_sbdd, 'throttle_default-1').
bip(throttle_depth_mod_non_unique, 2, lib, ic_gap_sbdd, 'throttle_depth_mod_non_unique-2').
bip(throttle_depth_mod_unique, 2, lib, ic_gap_sbdd, 'throttle_depth_mod_unique-2').
bip(throttle_depth_non_unique, 2, lib, ic_gap_sbdd, 'throttle_depth_non_unique-2').
bip(throttle_depth_unique, 2, lib, ic_gap_sbdd, 'throttle_depth_unique-2').
bip(throw, 1, lib, iso, '').
bip(throw_handler, 2, lib, iso, '').
bip(tidy, 2, lib_public, tidy, '').
bip(tidy, index, lib_public, tidy, '').
bip(tidy_expr, 2, lib_public, tidy, '').
bip(tidy_stmt, 2, lib_public, tidy, '').
bip(tidy_withvars, 2, lib_public, tidy, '').
bip(time, 1, lib, util, 'time-1').
bip(time_log, index, lib, time_log, '').
bip(time_to_mjd, 2, lib, calendar, 'time_to_mjd-2').
bip(timeout, 3, lib, timeout, 'timeout-3').
bip(timeout, 7, lib, timeout, 'timeout-7').
bip(timeout, index, lib, timeout, '').
bip(times, 3, kernel, arithmetic, 'times-3').
bip(times_to_list, 2, lib_public, flat, '').
bip(tmp_dir, index, kernel, env, 'get_flag-2').
bip(to_assoc_list, 2, lib_public, m_map, 'to_assoc_list-2').
bip(to_sorted_assoc_list, 2, lib_public, m_map, 'to_sorted_assoc_list-2').
bip(told, 0, lib, cio, '').
bip(tool, 1, kernel, modules, 'tool-1').
bip(tool, 2, kernel, modules, 'tool-2').
bip(tool_body, 3, kernel, modules, 'tool_body-3').
bip(tools, 0, lib, remote_tools, 'tools-0').
bip(top_sort, 2, lib, graph_algorithms, 'top_sort-2').
bip(top_sort, 2, lib_public, graphs, '').
bip(toplevel, 0, lib, toplevel, 'toplevel-0').
bip(toplevel, index, lib, toplevel, '').
bip(toplevel_init, 1, lib, toplevel, 'toplevel_init-1').
bip(toplevel_module, index, kernel, env, 'get_flag-2').
bip(toplevel_prompt, 2, lib, toplevel, '').
bip(tr_chr, 2, lib, chr, '').
bip(tr_fd_out, 2, lib, fd, '').
bip(tr_foreign, 3, lib, foreign, '').
bip(tr_global_out, 2, lib, ic_global, '').
bip(tr_global_out, 2, lib, fd_global, '').
bip(tr_ic_c_constant, 2, lib, ic_kernel, '').
bip(tr_ic_kernel_out, 2, lib, ic_kernel, '').
bip(tr_if_suspend, 3, lib, suspend, '').
bip(tr_lib, 2, lib, quintus, '').
bip(tr_monitors, 2, lib, repair, '').
bip(tr_propia, 2, lib, propia, '').
bip(tr_ria_binop, 2, lib, ic_kernel, '').
bip(tr_ria_binop1, 2, lib, ic_kernel, '').
bip(tr_ria_binop7, 2, lib, ic_kernel, '').
bip(tr_ria_ternop, 2, lib, ic_kernel, '').
bip(tr_ria_ternop1, 2, lib, ic_kernel, '').
bip(tr_ria_ternop9, 2, lib, ic_kernel, '').
bip(tr_ria_unop, 2, lib, ic_kernel, '').
bip(tr_ria_unop1, 2, lib, ic_kernel, '').
bip(tr_ria_unop5, 2, lib, ic_kernel, '').
bip(tr_slists, 2, lib, conjunto_fd_sets, '').
bip(trace, 0, kernel, debug, 'trace-0').
bip(trace, 1, kernel, debug, 'trace-1').
bip(trace_call_port, 3, kernel, debug, 'trace_call_port-3').
bip(trace_exit_port, 0, kernel, debug, 'trace_exit_port-0').
bip(trace_parent_port, 1, kernel, debug, 'trace_parent_port-1').
bip(trace_point_port, 3, kernel, debug, 'trace_point_port-3').
bip(traceable, 1, kernel, debug, 'traceable-1').
bip(transpose, 2, lib, matrix_util, 'transpose-2').
bip(tree_size, 2, lib_public, trees, '').
bip(tree_to_list, 2, lib_public, trees, '').
bip(tree234_to_assoc_list, 2, lib_public, m_tree234, 'tree234_to_assoc_list-2').
bip(trees, index, lib_public, trees, '').
bip(trigger, 1, kernel, suspensions, 'trigger-1').
bip(trimcore, 0, kernel, env, 'trimcore-0').
bip(true, 0, kernel, control, 'true-0').
bip(truncate, 2, kernel, arithmetic, 'truncate-2').
bip(truncate, 2, lib, iso, '').
bip(tty_ask_more, 2, lib, toplevel, '').
bip(tty_banner, 2, lib, toplevel, '').
bip(tty_vc, index, lib, tty_vc, '').
bip(ttyflush, 0, lib, quintus, '').
bip(ttyget, 1, lib, quintus, '').
bip(ttyget0, 1, lib, quintus, '').
bip(ttynl, 0, lib, quintus, '').
bip(ttyput, 1, lib, quintus, '').
bip(ttyskip, 1, lib, quintus, '').
bip(ttytab, 1, lib, quintus, '').
bip(tyi, 1, kernel, iochar, 'tyi-1').
bip(tyi, 2, kernel, iochar, 'tyi-2').
bip(tyo, 1, kernel, iochar, 'tyo-1').
bip(tyo, 2, kernel, iochar, 'tyo-2').
bip(type_of, 2, kernel, typetest, 'type_of-2').
bip(typetest, index, kernel, typetest, '').
bip(underlying_graph, 2, lib_public, grasper, 'underlying_graph-2').
bip(undirgraph, 3, lib_public, grasper, 'undirgraph-3').
bip(unget, 1, kernel, iochar, 'unget-1').
bip(unicode, index, kernel, stratom, 'string_list-3').
bip(unifiable, 3, lib, swi, '').
bip(unify, 2, lib_public, metutl, '').
bip('unify handler', index, kernel, termmanip, 'meta_attribute-2').
bip(unify_bfs, 2, lib, bfs, '').
bip(unify_chr, 2, lib, chr, '').
bip(unify_ech, 2, lib, ech, '').
bip(unify_ic, 3, lib, ic_kernel, '').
bip(unify_ic_symbolic, 3, lib, ic_symbolic, '').
bip(unify_LC, 2, lib, shadow_cons, '').
bip(unify_sbdd, 2, lib, ic_gap_sbdd, '').
bip(unify_sbds, 2, lib, ic_sbds, '').
bip(unify_sbds, 2, lib, fd_sbds, '').
bip(unify_sbds, 2, lib, ic_gap_sbds, '').
bip(unify_sd, 3, lib, sd, '').
bip(unify_sets, 2, lib, ic_hybrid_sets, '').
bip(unify_sets, 3, lib, ic_sets, '').
bip(unify_sets, 3, lib, fd_sets, '').
bip(unify_suspend, 2, lib, suspend, '').
bip(unify_tentative, 2, lib, tentative, '').
bip(unify_with_occurs_check, 2, lib, iso, '').
bip(union, 3, lib, ic_hybrid_sets, 'union-3').
bip(union, 3, lib, lists, 'union-3').
bip(union, 3, lib, ic_sets, 'union-3').
bip(union, 3, lib, fd_sets, 'union-3').
bip(union_lex, 3, lib, ic_hybrid_sets, '').
bip(union_var, 2, lib_public, cardinal, 'union_var-2').
bip(unix, 1, lib, quintus, '').
bip(unix_time, index, kernel, env, 'get_flag-2').
bip(unix_to_mjd, 2, lib, calendar, 'unix_to_mjd-2').
bip(unknown, 2, lib, quintus, '').
bip(unlock, 2, kernel, modules, 'unlock-2').
bip(unskipped, 1, kernel, debug, 'unskipped-1').
bip(untraceable, 1, kernel, debug, 'untraceable-1').
bip(update, 4, lib_public, m_map, 'update-4').
bip(update, 4, lib_public, m_tree234, 'update-4').
bip(update_struct, 4, kernel, termmanip, 'update_struct-4').
bip(upper_bound_lookup, 4, lib_public, m_map, 'upper_bound_lookup-4').
bip(upper_bound_lookup, 4, lib_public, m_tree234, 'upper_bound_lookup-4').
bip(upper_bound_search, 4, lib_public, m_map, 'upper_bound_search-4').
bip(upper_bound_search, 4, lib_public, m_tree234, 'upper_bound_search-4').
bip(use_module, 1, kernel, modules, 'use_module-1').
bip(use_module, 1, lib, quintus, '').
bip(use_module, 2, lib, quintus, '').
bip(utf8, index, kernel, stratom, 'string_list-3').
bip(util, index, lib, util, '').
bip(value_spec_to_range, 3, lib, sym_expr, '').
bip(values, 2, lib_public, m_map, 'values-2').
bip(values, 2, lib_public, m_tree234, 'values-2').
bip(var, 1, kernel, typetest, 'var-1').
bip(var_fd, 2, lib, fd, 'var_fd-2').
bip(var_functor_is_apply, index, kernel, env, 'get_flag-2').
bip(var_get, 3, lib, colgen, 'var_get-3').
bip(var_get, 3, lib, bfs, 'var_get-3').
bip(var_get_violations, 2, lib, tentative, 'var_get_violations-2').
bip(var_inc_violations, 2, lib, tentative, 'var_inc_violations-2').
bip(var_member_chk, 2, lib_public, metutl, '').
bip(var_name, index, lib, var_name, '').
bip(variable, 1, kernel, arrays, 'variable-1').
bip(variable, 2, kernel, arrays, 'variable-2').
bip('variable name', index, lib, var_name, 'set_var_name-2').
bip(variable_names, index, kernel, env, 'get_flag-2').
bip(variables, 2, lib_public, struct, '').
bip(variables_of, 2, lib_public, metutl, '').
bip(variant, 2, kernel, termcomp, 'variant-2').
bip(variant, 2, lib_public, metutl, '').
bip(vc_support, index, lib, vc_support, '').
bip(version, 0, lib, quintus, '').
bip(version, index, kernel, env, 'get_flag-2').
bip(version_as_list, index, kernel, env, 'get_flag-2').
bip(vertices, 2, lib_public, graphs, '').
bip(view_graph, 1, lib, graphviz, 'view_graph-1').
bip(view_graph, 2, lib, graphviz, 'view_graph-2').
bip(view_graph, 3, lib, graphviz, 'view_graph-3').
bip(viewable, 1, lib, vc_support, '').
bip(viewable, 1, lib, viewable, 'viewable-1').
bip(viewable, index, lib, viewable, '').
bip(viewable_changeable_execute, 4, lib, vc_support, 'viewable_changeable_execute-4').
bip(viewable_create, 2, lib, vc_support, '').
bip(viewable_create, 2, lib, viewable, 'viewable_create-2').
bip(viewable_create, 3, lib, vc_support, '').
bip(viewable_create, 3, lib, viewable, 'viewable_create-3').
bip(viewable_create, 4, lib, vc_support, '').
bip(viewable_create, 4, lib, viewable, 'viewable_create-4').
bip(viewable_element, 3, lib, vc_support, 'viewable_element-3').
bip(viewable_element_execute, 3, lib, vc_support, 'viewable_element_execute-3').
bip(viewable_element_to_string, 2, lib, vc_support, 'viewable_element_to_string-2').
bip(viewable_expand, 3, lib, vc_support, '').
bip(viewable_expand, 3, lib, viewable, 'viewable_expand-3').
bip(viewable_expand, 4, lib, vc_support, '').
bip(viewable_expand, 4, lib, viewable, 'viewable_expand-4').
bip(viewable_get_location_name, 4, lib, vc_support, '').
bip(viewable_get_location_names, 3, lib, vc_support, '').
bip(viewable_size, 2, lib, vc_support, '').
bip(viewable_size, 2, lib, viewable, 'viewable_size-2').
bip(viewable_type, 2, lib, vc_support, '').
bip(viewable_type, 2, lib, viewable, 'viewable_type-2').
bip(vis_client_breakpoint, 0, lib, vc_support, '').
bip(vis_client_interest_modify, 5, lib, vc_support, '').
bip(vis_client_register, 4, lib, vc_support, '').
bip(vis_client_request_termination, 1, lib, vc_support, '').
bip(vis_client_unregister, 1, lib, vc_support, '').
bip(vs_all, 2, lib, tentative, 'vs_all-2').
bip(vs_all_violated, 2, lib, tentative, 'vs_all_violated-2').
bip(vs_all_violated_index, 2, lib, tentative, 'vs_all_violated_index-2').
bip(vs_all_worst, 2, lib, tentative, 'vs_all_worst-2').
bip(vs_all_worst_index, 2, lib, tentative, 'vs_all_worst_index-2').
bip(vs_create, 2, lib, tentative, 'vs_create-2').
bip(vs_element, 3, lib, tentative, 'vs_element-3').
bip(vs_member, 2, lib, tentative, 'vs_member-2').
bip(vs_random, 2, lib, tentative, 'vs_random-2').
bip(vs_random_index, 2, lib, tentative, 'vs_random_index-2').
bip(vs_random_violated, 2, lib, tentative, 'vs_random_violated-2').
bip(vs_random_violated_index, 2, lib, tentative, 'vs_random_violated_index-2').
bip(vs_random_worst, 2, lib, tentative, 'vs_random_worst-2').
bip(vs_random_worst_index, 2, lib, tentative, 'vs_random_worst_index-2').
bip(vs_size, 2, lib, tentative, 'vs_size-2').
bip(vs_violated, 2, lib, tentative, 'vs_violated-2').
bip(vs_violated_index, 2, lib, tentative, 'vs_violated_index-2').
bip(vs_worst, 2, lib, tentative, 'vs_worst-2').
bip(vs_worst_index, 2, lib, tentative, 'vs_worst_index-2').
bip(wait, 2, kernel, opsys, 'wait-2').
bip(wait_for_input, 3, lib, swi, '').
bip(wake, 0, kernel, suspensions, 'wake-0').
bip(wam, 1, lib, asm, 'wam-1').
bip(wam, 2, lib, asm, 'wam-2').
bip(warshall, 2, lib_public, graphs, '').
bip(watch, 1, lib, ic_hybrid_sets, '').
bip(watch, 1, lib, ic_sets, '').
bip(watch, 1, lib, fd_sets, '').
bip(weakly_connected, 1, lib_public, grasper, 'weakly_connected-1').
bip(weight, 3, lib, ic_hybrid_sets, 'weight-3').
bip(weight, 3, lib, ic_sets, 'weight-3').
bip(weight, 3, lib, fd_sets, 'weight-3').
bip(weight, 3, lib_public, grasper, 'weight-3').
bip(when, 2, lib, sicstus, '').
bip(with, index, kernel, syntax, 'struct-1').
bip(wm_get, 2, lib, sepia, '').
bip(wm_set, 2, lib, sepia, '').
bip(wm_window, index, kernel, env, 'get_flag-2').
bip(worker, index, kernel, env, 'get_flag-2').
bip(workerids, index, kernel, env, 'get_flag-2').
bip(workers, index, kernel, env, 'get_flag-2').
bip(wrapperinpos, 2, lib, ech, '').
bip(write, 1, kernel, ioterm, 'write-1').
bip(write, 2, kernel, ioterm, 'write-2').
bip(write_canonical, 1, kernel, ioterm, 'write_canonical-1').
bip(write_canonical, 2, kernel, ioterm, 'write_canonical-2').
bip(write_exdr, 2, kernel, ioterm, 'write_exdr-2').
bip(write_graph, 2, lib, graphviz, 'write_graph-2').
bip(write_graph, 3, lib, graphviz, 'write_graph-3').
bip(write_graph, 4, lib, graphviz, 'write_graph-4').
bip(write_history, 0, lib, toplevel, 'write_history-0').
bip(write_term, 2, kernel, ioterm, 'write_term-2').
bip(write_term, 3, kernel, ioterm, 'write_term-3').
bip(writeclause, 1, kernel, ioterm, 'writeclause-1').
bip(writeclause, 2, kernel, ioterm, 'writeclause-2').
bip(writeln, 1, kernel, ioterm, 'writeln-1').
bip(writeln, 2, kernel, ioterm, 'writeln-2').
bip(writeq, 1, kernel, ioterm, 'writeq-1').
bip(writeq, 2, kernel, ioterm, 'writeq-2').
bip(xget, 3, kernel, externals, 'xget-3').
bip(xml, index, lib_public, xml, '').
bip(xml_parse, 2, lib_public, xml, 'xml_parse-2').
bip(xml_parse, 3, lib_public, xml, 'xml_parse-3').
bip(xml_pp, 1, lib_public, xml, 'xml_pp-1').
bip(xml_subterm, 2, lib_public, xml, 'xml_subterm-2').
bip(xor, 3, kernel, arithmetic, 'xor-3').
bip(xref, 2, lib, xref, 'xref-2').
bip(xref, index, lib, xref, '').
bip(xset, 3, kernel, externals, 'xset-3').
bip(yield, 2, kernel, externals, 'yield-2').
bip(ymd_to_mjd, 2, lib, calendar, 'ymd_to_mjd-2').
bip(ywd_to_mjd, 2, lib, calendar, 'ywd_to_mjd-2').
bip(zn_options, 2, lib_public, flatzinc, '').
bip(zn_options, struct, lib_public, flatzinc, "zn_options-s").
bip(zn_var, struct, lib_public, flatzinc, "zn_var-s").
