> #include<stdio.h>
> using namespace std;
> int main()
> {
>     int caseNum=1;printf("%d\n",caseNum);
>     printf("12000\n");
>     for(int i=0;i<4000;i++)
>             printf("1 2 3 ");
>     
> }