-- Testbed line: result_type=set<bool>
-- Testbed line: result_elements=2
-- Testbed start block:
Element 1: F
Element 2: F
-- Testbed end block: