k	prime
1	GFN
2	TRIV
3	1
4	1
5	TRIV