$module Nub;

$use Convert StdIO System List;

$native "java.lang.Object[] Nub(java.lang.Object[])" = Nub;

$func Nub e.list = e.list;
Nub e.list = <NubAux () e.list>;

$func NubAux (e.nubbed) e.list = e.nubbed;
NubAux {
	(e.nubbed) /*empty*/ = e.nubbed;
	(e.nubbed) t1 e2 = {
		e.nubbed : e t1 e = <NubAux (e.nubbed) e2>;
		<NubAux (e.nubbed t1) e2>;
	};
};

$func Main = e;
Main =
	<Channel> :: s.in,
	<OpenFile s.in "strings.txt" R>,
	<PrintLn <Time>>,
	() $iter { e.list <ReadCh s.in> (); e.list (Stop); } :: e.list (e.stop), e.stop : v =
	<PrintLn <Time>>,
	{
		<ToInt <Arg 1>> : s.n = <WriteLn <JNub e.list s.n>>;
		<WriteLn <Nub e.list>>;
	},
	<PrintLn <Time>>;

$func JNub e.list s.n = e.list;
$native JNub = "static java.lang.Object[] ParNub.nub(java.lang.Object[], int)";