#include<stdio.h>
#include<stdlib.h>

typedef struct chainon *lsom;
struct chainon {lsom suite; int s;};

void setpredsucc(int n, int a, int ar[2*a],   // données qui représentent un graphe
                 lsom pred[n], lsom succ[n])  // résultat
{ int s,i;
  for(s=0;s<n;++s) pred[s]=succ[s]=0;
  for(i=0;i<2*a;i+=2)
  { int x=ar[i], y=ar[i+1];
    lsom p=malloc(sizeof(*p));
    p->suite=pred[y];
    p->s=x;
    pred[y]=p;
    p=malloc(sizeof(*p));
    p->suite=succ[x];
    p->s=y;
    succ[x]=p;
  }
}
#define inconnu -1
int cherchecfc(int n, lsom pred[], lsom succ[], int cfc[])
{ int finvisite[n],nbcfc=0,i=0;
  void avant(int s)
  { lsom p;
    cfc[s]=inconnu;
    for(p=succ[s];p;p=p->suite) if(!cfc[p->s]) avant(p->s);
    finvisite[i++]=s;
  }
  void arriere(int s)
  { lsom p;
    cfc[s]=nbcfc;
    for(p=pred[s];p;p=p->suite) if(cfc[p->s]==inconnu) arriere(p->s);
  }
  int s;
  for(s=0;s<n;s++) cfc[s]=0;
  for(s=0;s<n;s++) if(!cfc[s]) avant(s);
  for(i=n;i--;) if(cfc[s=finvisite[i]]==inconnu) arriere(s), nbcfc++;
  return nbcfc;
}
int main()
{ const int c1=10, // capacité du premier seau
	    c2=7,  // capacité du deuxième seau
	    n=(c1+1)*(c2+1), a=6*n;
  int ar[2*a], cfc[n], pere[n], fils[n], nbcfc;
  lsom succ[n], pred[n];
  { int k=0, a,b,c;
#define ajoute(a,b) ar[k++]=a+(b)*(c1+1)
    for(a=0;a<=c1;a++)
    for(b=0;b<=c2;b++)
    ajoute(a,b), ajoute(a,0), // on vide le deuxième seau dans la mare
    ajoute(a,b), ajoute(0,b), // on vide le premier seau dans la mare
    ajoute(a,b), ajoute(a,c2), // on remplit le deuxième seau dans la mare
    ajoute(a,b), ajoute(c1,b), // on remplit le premier seau dans la mare
    c=a+b<c1?a+b:c1, ajoute(a,b), ajoute(c,a+b-c), // on verse le deuxième dans le premier
    c=a+b<c2?a+b:c2, ajoute(a,b), ajoute(a+b-c,c); // on verse le premier dans le deuxième
  }
  setpredsucc(n,a,ar,pred,succ);
  nbcfc=cherchecfc(n,pred,succ,cfc);
  printf("Il y a %d composantes fortement connexes.\n",nbcfc);
  { void visite(int s)
    { lsom p;
      for(p=succ[s];p;p=p->suite) if(pere[p->s]<0) pere[p->s]=s, visite(p->s);
    }
    int s;
    for(s=0;s<n;s++) pere[s]=fils[s]=-1;
    visite(pere[0]=0);
    for(s=4*(c1+1);s>0;s=pere[s]) fils[pere[s]]=s;
    for(s=0;s>=0;s=fils[s]) printf("%2d %2d\n",s%(c1+1),s/(c1+1));
  }
  return 0;
}