1		generated(1423573523097,'Tue Feb 10 14:05:23 CET 2015').
2		project_name('Test').
3		machine_name('DisproverDefSetTest4').
4		disprover_po('nothm2/WD',event_b_context(none,'DisproverContext',[axioms(none,[]),constants(none,[]),sets(none,[deferred_set(none,'DS')])]),forall(none,[identifier(none,cc)],implication(none,conjunct(none,member(none,identifier(none,cc),pow_subset(none,cartesian_product(none,identifier(none,'DS'),bool_set(none)))),member(none,identifier(none,cc),relations(none,identifier(none,'DS'),bool_set(none)))),finite(none,identifier(none,cc)))),[],[],unknown).
5		disprover_po('nothm2/THM',event_b_context(none,'DisproverContext',[axioms(none,[]),constants(none,[]),sets(none,[deferred_set(none,'DS')])]),forall(none,[identifier(none,cc)],implication(none,conjunct(none,member(none,identifier(none,cc),pow_subset(none,cartesian_product(none,identifier(none,'DS'),bool_set(none)))),member(none,identifier(none,cc),relations(none,identifier(none,'DS'),bool_set(none)))),less(none,card(none,identifier(none,cc)),integer(none,20)))),[],[],unknown).
6