>>431
int main(int argc, char *argv[]){
printf("a b c\n");
printf("43 12 55\n");
printf("76 85 161\n");
printf("22 46 68\n");
printf("28 99 127\n");
printf("31 36 69\n");
printf("45 27 72\n");
printf("63 19 82\n");
printf("70 62 135\n");
printf("49 44 93\n");
printf("51 81 132\n");
return 0;
}