'), ('v1', 'v7'),('v1', 'v8'),('v1', 'v9'),
16 ('v2', 'v5'), ('v2', 'v6'), ('v2', 'v7'),(...v10'),('v6','v11'),('v6','v12'),('v6','v13'),('v6','v14'),('v6','v15'),
21 ('v7','v10'),(...'), ('v1', 'v7'),('v1', 'v8'),('v1', 'v9'),
16 ('v2', 'v5'), ('v2', 'v6'), ('v2', 'v7'),(...v10'),('v6','v11'),('v6','v12'),('v6','v13'),('v6','v14'),('v6','v15'),
21 ('v7','v10'),(...'v10'),('v6','v11'),('v6','v12'),('v6','v13'),('v6','v14'),('v6','v15'),
22 ('v7','v10')