00001 :- mode force_tp_eval_loaded.
00002 :- mode eval_exp(?,?,?,?,?,?,?,?,?).
00003 :- mode eval_uniop(?,?,?,?,?,?,?,?,?,?).
00004 :- mode eval_relop(?,?,?,?,?,?,?,?,?,?,?).
00005 :- mode 'eval relop'(?,?,?,?,?,?,?,?,?,?,?).
00006 :- mode test_with_int(++,?,?,?,?,?,?,?,?,?,?).
00007 :- mode eval_binoptab(++,?,?,?).
00008 :- mode eval_binop(?,?,?,?,?,?,?,?,?,?,?).
00009 :- mode eval_binop(?).
00010 :- mode eval_numgetinst(?,?,?,?,?,?).
00011 :- mode arithrelop(?).
00012 :- mode eval_arithreloptab(++,?,?,?,?).
00013 :- mode eval_arithreloptab(?,?,?,?).
00014 :- mode int_eq(?,?,?).
00015 :- mode eval_var(?,?,?,?,?,?,?,?).
00016
00017 :- '_$mode_pattern'(force_tp_eval_loaded).
00018 :- '_$mode_pattern'(eval_relop(g,_5450808,g,_5450816,g,g,ng,_5450832,_5450836,_5450840,g)).
00019 :- '_$mode_pattern'(eval_relop(g,_5450808,g,_5450816,g,g,ng,_5450832,_5450836,_5450840,ng)).
00020 :- '_$mode_pattern'(eval_relop(g,_5450808,g,_5450816,g,ng,g,_5450832,_5450836,_5450840,g)).
00021 :- '_$mode_pattern'(eval_relop(g,_5450808,g,_5450816,g,ng,g,_5450832,_5450836,_5450840,ng)).
00022 :- '_$mode_pattern'(eval_relop(g,_5450808,g,_5450816,ng,g,g,_5450832,_5450836,_5450840,g)).
00023 :- '_$mode_pattern'(eval_relop(g,_5450808,g,_5450816,ng,g,g,_5450832,_5450836,_5450840,ng)).
00024 :- '_$mode_pattern'(eval_relop(g,_5450808,g,_5450816,ng,g,ng,_5450832,_5450836,_5450840,g)).
00025 :- '_$mode_pattern'(eval_relop(g,_5450808,g,_5450816,ng,g,ng,_5450832,_5450836,_5450840,ng)).
00026 :- '_$mode_pattern'(eval_relop(g,_5450808,ng,_5450816,ng,g,g,_5450832,_5450836,_5450840,g)).
00027 :- '_$mode_pattern'(eval_relop(g,_5450808,ng,_5450816,ng,g,g,_5450832,_5450836,_5450840,ng)).
00028 :- '_$mode_pattern'(eval_relop(g,_5450808,ng,_5450816,ng,g,ng,_5450832,_5450836,_5450840,g)).
00029 :- '_$mode_pattern'(eval_relop(g,_5450808,ng,_5450816,ng,g,ng,_5450832,_5450836,_5450840,ng)).
00030 :- '_$mode_pattern'(eval_relop(g,_5450808,ng,_5450816,g,ng,g,_5450832,_5450836,_5450840,ng)).
00031 :- '_$mode_pattern'(eval_relop(g,_5450808,ng,_5450816,g,ng,g,_5450832,_5450836,_5450840,g)).
00032 :- '_$mode_pattern'(eval_relop(g,_5450808,ng,_5450816,g,g,ng,_5450832,_5450836,_5450840,g)).
00033 :- '_$mode_pattern'(eval_relop(g,_5450808,ng,_5450816,g,g,ng,_5450832,_5450836,_5450840,ng)).
00034 :- '_$mode_pattern'(eval_relop(g,_5450808,_5450812,_5450816,g,g,g,_5450832,_5450836,_5450840,g)).
00035 :- '_$mode_pattern'(eval_relop(g,_5450808,_5450812,_5450816,g,g,g,_5450832,_5450836,_5450840,ng)).
00036 :- '_$mode_pattern'(eval_relop(g,_5450808,_5450812,_5450816,g,ng,ng,_5450832,_5450836,_5450840,g)).
00037 :- '_$mode_pattern'(eval_relop(g,_5450808,_5450812,_5450816,g,ng,ng,_5450832,_5450836,_5450840,ng)).
00038 :- '_$mode_pattern'(eval_relop(g,_5450808,_5450812,_5450816,ng,ng,g,_5450832,_5450836,_5450840,g)).
00039 :- '_$mode_pattern'(eval_relop(g,_5450808,_5450812,_5450816,ng,ng,g,_5450832,_5450836,_5450840,ng)).
00040 :- '_$mode_pattern'(eval_relop(g,_5450808,_5450812,_5450816,ng,ng,ng,_5450832,_5450836,_5450840,g)).
00041 :- '_$mode_pattern'(eval_relop(g,_5450808,_5450812,_5450816,ng,ng,ng,_5450832,_5450836,_5450840,ng)).
00042 :- '_$mode_pattern'(eval_relop(g,g,g,_5450816,g,_5450824,g,_5450832,_5450836,_5450840,_5450844)).
00043 :- '_$mode_pattern'(eval_relop(g,g,g,_5450816,g,_5450824,ng,_5450832,_5450836,_5450840,_5450844)).
00044 :- '_$mode_pattern'(eval_relop(g,g,g,_5450816,ng,_5450824,g,_5450832,_5450836,_5450840,_5450844)).
00045 :- '_$mode_pattern'(eval_relop(g,g,g,_5450816,ng,_5450824,ng,_5450832,_5450836,_5450840,_5450844)).
00046 :- '_$mode_pattern'(eval_relop(g,g,ng,_5450816,ng,_5450824,g,_5450832,_5450836,_5450840,_5450844)).
00047 :- '_$mode_pattern'(eval_relop(g,g,ng,_5450816,ng,_5450824,ng,_5450832,_5450836,_5450840,_5450844)).
00048 :- '_$mode_pattern'(eval_relop(g,g,ng,_5450816,g,_5450824,g,_5450832,_5450836,_5450840,_5450844)).
00049 :- '_$mode_pattern'(eval_relop(g,g,ng,_5450816,g,_5450824,ng,_5450832,_5450836,_5450840,_5450844)).
00050 :- '_$mode_pattern'(eval_relop(g,g,_5450812,_5450816,g,_5450824,g,_5450832,_5450836,_5450840,ng)).
00051 :- '_$mode_pattern'(eval_relop(g,g,_5450812,_5450816,g,_5450824,g,_5450832,_5450836,_5450840,g)).
00052 :- '_$mode_pattern'(eval_relop(g,g,_5450812,_5450816,g,_5450824,ng,_5450832,_5450836,_5450840,ng)).
00053 :- '_$mode_pattern'(eval_relop(g,g,_5450812,_5450816,g,_5450824,ng,_5450832,_5450836,_5450840,g)).
00054 :- '_$mode_pattern'(eval_relop(g,g,_5450812,_5450816,ng,_5450824,g,_5450832,_5450836,_5450840,ng)).
00055 :- '_$mode_pattern'(eval_relop(g,g,_5450812,_5450816,ng,_5450824,g,_5450832,_5450836,_5450840,g)).
00056 :- '_$mode_pattern'(eval_relop(g,g,_5450812,_5450816,ng,_5450824,ng,_5450832,_5450836,_5450840,ng)).
00057 :- '_$mode_pattern'(eval_relop(g,g,_5450812,_5450816,ng,_5450824,ng,_5450832,_5450836,_5450840,g)).
00058 :- '_$mode_pattern'(eval_relop(g,ng,g,_5450816,g,_5450824,g,_5450832,_5450836,_5450840,_5450844)).
00059 :- '_$mode_pattern'(eval_relop(g,ng,g,_5450816,g,_5450824,ng,_5450832,_5450836,_5450840,_5450844)).
00060 :- '_$mode_pattern'(eval_relop(g,ng,g,_5450816,ng,_5450824,g,_5450832,_5450836,_5450840,_5450844)).
00061 :- '_$mode_pattern'(eval_relop(g,ng,g,_5450816,ng,_5450824,ng,_5450832,_5450836,_5450840,_5450844)).
00062 :- '_$mode_pattern'(eval_relop(g,ng,ng,_5450816,g,_5450824,g,_5450832,_5450836,_5450840,_5450844)).
00063 :- '_$mode_pattern'(eval_relop(g,ng,ng,_5450816,g,_5450824,ng,_5450832,_5450836,_5450840,_5450844)).
00064 :- '_$mode_pattern'(eval_relop(g,ng,ng,_5450816,ng,_5450824,g,_5450832,_5450836,_5450840,_5450844)).
00065 :- '_$mode_pattern'(eval_relop(g,ng,ng,_5450816,ng,_5450824,ng,_5450832,_5450836,_5450840,_5450844)).
00066 :- '_$mode_pattern'(eval_relop(g,ng,_5450812,_5450816,g,_5450824,g,_5450832,_5450836,_5450840,ng)).
00067 :- '_$mode_pattern'(eval_relop(g,ng,_5450812,_5450816,g,_5450824,g,_5450832,_5450836,_5450840,g)).
00068 :- '_$mode_pattern'(eval_relop(g,ng,_5450812,_5450816,g,_5450824,ng,_5450832,_5450836,_5450840,ng)).
00069 :- '_$mode_pattern'(eval_relop(g,ng,_5450812,_5450816,g,_5450824,ng,_5450832,_5450836,_5450840,g)).
00070 :- '_$mode_pattern'(eval_relop(g,ng,_5450812,_5450816,ng,_5450824,g,_5450832,_5450836,_5450840,ng)).
00071 :- '_$mode_pattern'(eval_relop(g,ng,_5450812,_5450816,ng,_5450824,g,_5450832,_5450836,_5450840,g)).
00072 :- '_$mode_pattern'(eval_relop(g,ng,_5450812,_5450816,ng,_5450824,ng,_5450832,_5450836,_5450840,ng)).
00073 :- '_$mode_pattern'(eval_relop(g,ng,_5450812,_5450816,ng,_5450824,ng,_5450832,_5450836,_5450840,g)).
00074 :- '_$mode_pattern'(eval_exp(ng,_5450808,_5450812,_5450816,_5450820,_5450824,_5450828,_5450832,_5450836)).
00075 :- '_$mode_pattern'(eval_exp(g,_5450808,_5450812,_5450816,_5450820,_5450824,_5450828,_5450832,_5450836)).
00076 :- '_$mode_pattern'(eval_exp(_5450804,g,ng,ng,_5450820,_5450824,_5450824,_5450832,ng)).
00077 :- '_$mode_pattern'(eval_exp(_5450804,g,ng,ng,_5450820,_5450824,_5450824,_5450832,g)).
00078 :- '_$mode_pattern'(eval_exp(_5450804,g,g,g,_5450820,_5450824,_5450824,_5450832,ng)).
00079 :- '_$mode_pattern'(eval_exp(_5450804,g,g,g,_5450820,_5450824,_5450824,_5450832,g)).
00080 :- '_$mode_pattern'(arithrelop(g)).
