include<stdio.h>
int main()
{
   int num;
   printf("3");
   printf("3");
   printf("0 1 4");
   printf("1 2 -2");
   printf("0 2 5");
   printf("0");
   printf("0:0");
   printf("1:4");
   printf("2:2");
}