michael@0: let ([] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1,
michael@0:      [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1,
michael@0:      [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1,
michael@0:      [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1,
michael@0:      [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1,
michael@0:      [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1,
michael@0:      [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1,
michael@0:      [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1,
michael@0:      [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1,
michael@0:      [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1,
michael@0:      [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1,
michael@0:      [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1,
michael@0:      [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1,
michael@0:      [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1,
michael@0:      [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1,
michael@0:      [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1,
michael@0:      [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1,
michael@0:      [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1,
michael@0:      [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1,
michael@0:      [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1,
michael@0:      [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1,
michael@0:      [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1,
michael@0:      [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1,
michael@0:      [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1,
michael@0:      [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1,
michael@0:      [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1,
michael@0:      [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1,
michael@0:      [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1,
michael@0:      [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1,
michael@0:      [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1,
michael@0:      [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1,
michael@0:      [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1,
michael@0:      [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1, [] = 1)
michael@0: {
michael@0:     print("ok");
michael@0: }