artkhyzha/jpf-abstraction archive