import type.lang.*;
import java.util.*;

public class DemoHashSet
{
	public static void main(String[] args)
	{
		if (args.length != 1)
		{
			IO.println("----------------------------------------");
			IO.println("usage: java HashSet file\n");
			IO.println("where 'file' is any text file");
			IO.println("(NOTE: list elements are tokens in file)");
			IO.println("----------------------------------------");
			System.exit(0);
		}

		UniReader ur = new UniReader(args[0]);
		HashSet hs = new HashSet();
		String s;
		while ((s = ur.readLine()) != null)
		{	
			StringTokenizer st = new StringTokenizer(s);
			while (st.hasMoreTokens())
				hs.add(st.nextToken());
		}

		IO.println("Size = " + hs.size());
		IO.println("Elements: " + hs);
	}
}