Sam Shih lytefast

## randomize_input.sh
#!/bin/bash

# Shuffle large input
USAGE_MSG="Usage: randomize_input {input_dir} {batch_size} {result_prefix}"

# Set parameters
if [[ $# -eq 0 ]] ; then
    echo $USAGE_MSG
    exit -1
fi
	#!/bin/bash

	# Shuffle large input
	USAGE_MSG="Usage: randomize_input {input_dir} {batch_size} {result_prefix}"

	# Set parameters
	if [[ $# -eq 0 ]] ; then
	echo $USAGE_MSG
	exit -1
	fi