Farkas_lemma loading ...