#include <stdio.h>
int main (int argc, char *argv[]) { 
  int aux1, aux2, aux3, aux4; int aux10, aux20, aux30, aux40; 
  int aux11, aux21, aux31, aux41; int aux101, aux201, aux301, aux401; 
  aux1=0; aux2=1000; aux3=0; aux4=100; aux10=0; aux20=1000; aux30=0; aux40=100; aux1=0; aux2=1000; aux3=0; aux4=100; aux10=0; aux20=1000; aux30=0; aux40=100; 
  aux1=0; aux2=1000; aux3=0; aux4=100; aux10=0; aux20=1000; aux30=0; aux40=100; aux1=0; aux2=1000; aux3=0; aux4=100; aux10=0; aux20=1000; aux30=0; aux40=100; 
  for ( aux1=1; aux1<=aux2; aux1++) for ( aux3=1; aux3<=aux4; aux3++) for (; aux20>=aux10; aux20--) printf("%d %d %d\n", aux1*aux2+aux3*aux4+aux20*aux10); 
  for ( aux1=1; aux1<=aux2; aux1++) for ( aux3=1; aux3<=aux4; aux3++) for (; aux20>=aux10; aux20--) printf("%d %d %d\n", aux1*aux2+aux3*aux4+aux20*aux10); 
  for ( aux1=1; aux1<=aux2; aux1++) for ( aux3=1; aux3<=aux4; aux3++) for (; aux20>=aux10; aux20--) printf("%d %d %d\n", aux1*aux2+aux3*aux4+aux20*aux10); 
  for ( aux1=1; aux1<=aux2; aux1++) for ( aux3=1; aux3<=aux4; aux3++) for (; aux20>=aux10; aux20--) printf("%d %d %d\n", aux1*aux2+aux3*aux4+aux20*aux10);
}
