prover(linker28_i,"/home/cactus/AB/beadando/bdp/linker28_i.po","/home/cactus/AB/beadando/bdp/linker28_i.pmi","/home/cactus/AB/beadando/linker28_i.pmm","/tmp/PRrd15278"|Util)
