set(hyper_res).
clear(back_sub).
assign(pick_given_ratio, 2).

assign(max_weight, 48).

clear(print_kept).

list(demodulators).
e(x,x) = junk.
e(junk,x) = junk.
e(x,junk) = junk.
P(junk) = $T.
end_of_list.

list(usable).
-P(e(x,y)) | -P(x) | P(y).
end_of_list.
  
list(sos).
P(e(x,e(e(e(x,y),e(z,y)),z))) # label(XCB).
end_of_list.
  
list(passive).
-P(e(e(e(a,b),c),e(b,e(c,a)))) | $Answer(UM).
-P(e(e(a,b),e(e(c,b),e(a,c)))) | $Answer(YQL).
-P(e(e(a,b),e(e(a,c),e(c,b)))) | $Answer(YQF).
-P(e(e(a,b),e(e(c,a),e(b,c)))) | $Answer(YQJ).
-P(e(a,e(e(b,e(a,c)),e(c,b)))) | $Answer(XGF).
-P(e(e(a,e(b,c)),e(c,e(a,b)))) | $Answer(WN).
-P(e(e(a,b),e(c,e(e(b,c),a)))) | $Answer(YRM).
-P(e(e(a,b),e(c,e(e(c,b),a)))) | $Answer(YRO).
-P(e(e(e(a,e(b,c)),c),e(b,a))) | $Answer(PYO).
-P(e(e(e(a,e(b,c)),b),e(c,a))) | $Answer(PYM).
-P(e(a,e(e(b,e(c,a)),e(c,b)))) | $Answer(XGK).
-P(e(a,e(e(b,c),e(e(a,c),b)))) | $Answer(XHK).
-P(e(a,e(e(b,c),e(e(c,a),b)))) | $Answer(XHN).
end_of_list.