test1
test2
test3
the (Fin 3) 2
the (Fin 3) 6
:q
