c FILE:  MANN_a9.clq.b
c
c By: Carlo Mannino (mannino@iasi.rm.cnr.it)
c
c DESCRIPTION: Clique formulation of the Steiner Triple Problem,
c              translated from the set covering formulation
c
c Graph Size:45, Clique Size: 16
c
c Clique Elements are:
c    3    4    5    9   10   15   16   19   24   27   
c    28   33   36   38  42   45 *
c
c  EDGE DENSITY: 0.9273
c PSEUDOBOOLEAN 45
p wcnf 45 117 45
1 -1 0
1 -2 0
1 -3 0
1 -4 0
1 -5 0
1 -6 0
1 -7 0
1 -8 0
1 -9 0
1 -10 0
1 -11 0
1 -12 0
1 -13 0
1 -14 0
1 -15 0
1 -16 0
1 -17 0
1 -18 0
1 -19 0
1 -20 0
1 -21 0
1 -22 0
1 -23 0
1 -24 0
1 -25 0
1 -26 0
1 -27 0
1 -28 0
1 -29 0
1 -30 0
1 -31 0
1 -32 0
1 -33 0
1 -34 0
1 -35 0
1 -36 0
1 -37 0
1 -38 0
1 -39 0
1 -40 0
1 -41 0
1 -42 0
1 -43 0
1 -44 0
1 -45 0
45 1 10 0
45 1 19 0
45 1 22 0
45 1 25 0
45 2 11 0
45 2 28 0
45 2 31 0
45 2 34 0
45 3 12 0
45 3 37 0
45 3 40 0
45 3 43 0
45 4 13 0
45 4 23 0
45 4 29 0
45 4 44 0
45 5 14 0
45 5 20 0
45 5 32 0
45 5 41 0
45 6 15 0
45 6 26 0
45 6 35 0
45 6 38 0
45 7 16 0
45 7 27 0
45 7 33 0
45 7 45 0
45 8 17 0
45 8 24 0
45 8 36 0
45 8 42 0
45 9 18 0
45 9 21 0
45 9 30 0
45 9 39 0
45 10 11 0
45 10 12 0
45 11 12 0
45 13 14 0
45 13 15 0
45 14 15 0
45 16 17 0
45 16 18 0
45 17 18 0
45 19 20 0
45 19 21 0
45 20 21 0
45 22 23 0
45 22 24 0
45 23 24 0
45 25 26 0
45 25 27 0
45 26 27 0
45 28 29 0
45 28 30 0
45 29 30 0
45 31 32 0
45 31 33 0
45 32 33 0
45 34 35 0
45 34 36 0
45 35 36 0
45 37 38 0
45 37 39 0
45 38 39 0
45 40 41 0
45 40 42 0
45 41 42 0
45 43 44 0
45 43 45 0
45 44 45 0