#include <stdio.h>
static void print_bit_u5(unsigned char u5[3])
{
int i,j, k;
for (i=0; i < 3; i++){
(i==0)? printf("{"):0;
k=0;
for (j=0; j<5; j++)
(1<<j)&u5[i]?printf("%cH%d", k++==0? '{': ',',j+1):0;
printf("}%c", i==2?'}':',');
}
printf("/n");
}
int main()
{
int i,j,k;
unsigned char u5[3];
for (i=1; i <32; i++) {
for (j=1; j< 32; j++)
for (k=1; k<32; k++) {
if (i+j+k != 31)
continue;
if (((i&j)|(i&k)|(j&k)))
continue;
else {
u5[0]=i;
u5[1]=j;
u5[2]=k;
print_bit_u5(u5);
}
}
}
}