#include<stdio.h>
int main()
{
int i,j,k;
int t=0;
long s=0;
for(i=0;i<=100;i++){
for(j=0;j<=50;j++){
for(k=0;k<=20;k++){
if(100==i+j*2+k*5){
t++;
printf("%d:%5d %5d %5d \n",t,i,j,k);
}
s++;
printf("\n%1d",s);