Python UFlex V93K  Datalog