cat 2017-11-16/measurements-krait.txt | grep -v "^#" | grep -o "[a-z0-9]*_2e.*_.*/[a-z]*\s.*" | sed "s/_[0-9]*limbs\//\t/g" | sed "s/montgomery[0-9][0-9]_\(.*\)fibe/\1fiat_montgomery/g" | sed "s/montgomery[0-9][0-9]_\(.*\)gmp/\1gmp/g" | sed "s/solinas[0-9][0-9]_\(.*\)fibe/\1fiat_solinas/g" | sed "s/gmp\([a-z]*\)\s*\([0-9]\)/gmp\1\t\2/g" | sed "s/fiat_\([a-z]*\)\s*\([0-9]\)/fiat_\1\t\2/g" > results-by-field-aggregate32.txt
cat 2017-11-16/measurements-haswell.txt | grep -v "^#" | grep -o "[a-z0-9]*_2e.*_.*/[a-z]*\s.*" | sed "s/_[0-9]*limbs\//\t/g" | sed "s/montgomery[0-9][0-9]_\(.*\)fibe/\1fiat_montgomery/g" | sed "s/montgomery[0-9][0-9]_\(.*\)gmp/\1gmp/g" | sed "s/solinas[0-9][0-9]_\(.*\)fibe/\1fiat_solinas/g" | sed "s/gmp\([a-z]*\)\s*\([0-9]\)/gmp\1\t\2/g" | sed "s/fiat_\([a-z]*\)\s*\([0-9]\)/fiat_\1\t\2/g" > results-by-field-aggregate64.txt