char							    _3141592654[3141	  ],__3141[3141];_314159[31415],_3141[31415];main(){register char*      _3_141,*_3_1415, *_3__1415; register int _314,_31415,__31415,*_31,    _3_14159,__3_1415;*_3141592654=__31415=2,_3141592654[0][_3141592654   -1]=1[__3141]=5;__3_1415=1;do{_3_14159=_314=0,__31415++;for( _31415  =0;_31415<(3,14-4)*__31415;_31415++)_31415[_3141]=_314159[_31415]= -1;_3141[*_314159=_3_14159]=_314;_3_141=_3141592654+__3_1415;_3_1415=__3_1415    +__3141;for			(_31415 = 3141-	   __3_1415  ;			_31415;_31415--	   ,_3_141 ++,			_3_1415++){_314	   +=_314<<2 ;			_314<<=1;_314+=	  *_3_1415;_31			 =_314159+_314;	  if(!(*_31+1)			 )* _31 =_314 /	  __31415,_314			 [_3141]=_314 %	  __31415 ;* (			 _3__1415=_3_141	 )+= *_3_1415			  = *_31;while(*	 _3__1415 >=			  31415/3141 ) *	 _3__1415+= -			  10,(*--_3__1415	)++;_314=_314			  [_3141]; if ( !	_3_14159 && *			  _3_1415)_3_14159	=1,__3_1415 =			  3141-_31415;}if(	_314+(__31415			   >>1)>=__31415 )	while ( ++ *			   _3_141==3141/314       )*_3_141--=0			   ;}while(_3_14159       ) ; { char *			   __3_14= "3.1415";       write((3,1),			   (--*__3_14,__3_14       ),(_3_14159			    ++,++_3_14159))+      3.1415926; }			    for ( _31415 = 1;     _31415<3141-			    1;_31415++)write(    31415% 314-(			    3,14),_3141592654[  _31415    ] +				   "0123456789","314"  [ 3]+1)-_314;				   puts((*_3141592654=0,_3141592654))				    ;_314= *"3.141592";}