#include int main() { int x=12; while (x>=1) { printf("%d\t",x); x=x/2; } return 0; }