#!/usr/bin/awk -f

BEGIN {
	ARGV[1]="/proc/cpuinfo"
	ARGC=2
}

/MHz/ {
	cpu[$4]++
}

END {
	for (i in cpu)
	       	printf " %s x %d", i, cpu[i]
       	printf "\n"
}