# set V:=1..n should be in the mod file param n:=44; set E:= (1,2) (2,3) (2,6) (2,39) (3,6) (3,11) (3,45) (4,5) (4,40) (5,7) (5,8) (5,9) (5,39) (6,7) (6,11) (6,41) (6,48) (7,8) (7,39) (8,9) (8,38) (9,38) (10,12) (10,15) (10,19) (10,41) (10,48) (11,12) (11,36) (11,41) (12,14) (12,37) (12,41) (12,46) (13,14) (13,46) (14,16) (14,37) (14,47) (15,19) (15,38) (16,17) (16,24) (17,18) (17,23) (17,26) (18,19) (18,22) (18,37) (19,22) (20,21) (20,22) (20,38) (21,33) (21,44) (21,49) (22,43) (22,44) (23,26) (23,27) (23,43) (24,25) (24,26) (25,26) (27,28) (27,29) (28,29) (28,30) (28,43) (28,50) (29,50) (30,31) (30,32) (30,44) (31,42) (31,50) (32,33) (32,42) (33,34) (33,35) (33,42) (33,49) (34,49) (36,45) (36,46) (39,40) (43,44);