#include <stdio.h>

main()
{
float x;
int bit, i, n;
int *pn;

while (scanf("%f", &x)==1){
	printf("x=%f \n", x); 
	pn=&x;
	n=*pn;
	for (i=31; i>=0; i--) {
            bit = ((n >> i) & 1);
            printf("%c",bit+'0');
            if (i==31 || i==23) printf(" | ");
            if (i%4==0) printf(" ");
            };        
	printf("\n"); 
	};
}