providers yt
res result.txt
in plato.PInput input1.txt
in banach.BInput input2.txt