__group__	ticket	summary	component	status	resolution	version	type	priority	owner	modified	_time	_reporter
	1	Lifting doesn't introduce capabilities.	SystemF2Effect	new			lemma	normal	benl	2013-01-28T10:27:59Z	10:20:49Z	benl