#include <stdio.h>

int main()

{
int x;

for(x=12;x>=1;x=x/2)

printf("%d\t",x);

return 0;
}