/* 1933131 :
 * Series Trigonomtric :
 * sin(x+2*pi) and cos(x-3*pi/2) are out of phase.
 * Max difference : 2* No. of iterations.
 * */
#include<math.h>

extern void abort(void);
#include <assert.h>
void reach_error() { assert(0); }
extern void abort(void);
void assume_abort_if_not(int cond) {
  if(!cond) {abort();}
}
void __VERIFIER_assert(int cond) { if(!(cond)) { ERROR: {reach_error();abort();} } }

float pi = 3.14159 ;
extern float __VERIFIER_nondet_float() ;
extern int __VERIFIER_nondet_int() ;


double diff(double x1,double x2)
{
	if(x1 > x2)
		return (x1-x2) ;
	else
		return (x2-x1) ;
}

double radianMeasure(int degrees)
{
	return (degrees * (pi/180)) ;
}
int main()
{
	int x ;
	float angleInRadian ;
	float phaseLag = pi/2, phaseLead=pi ;
	double sum1=0.0, sum2 = 0.0 ;
	int temp;
	double count=0.0 ;
	
	

	while(1)
	{
		x = __VERIFIER_nondet_int() ;
		assume_abort_if_not(x > -180 && x < 180) ;
		angleInRadian = radianMeasure(x) ;
		sum2 = sum2 + sin(angleInRadian+2*phaseLead);
		sum1 = sum1 + cos(angleInRadian+3*phaseLag) ;
		
		temp = __VERIFIER_nondet_int() ;
		count++ ;
		if(temp == 0) break ;
	}

	__VERIFIER_assert(diff(sum1,sum2) <= count*2) ;
	return 0 ;
}