succefully write Rabin results in proxy file