/*
#include <stdio.h>
int main()
{
int a,b;
scanf ("%d %d", &a, &b);
printf("%.1lf", ((double)a*b)/2);
return 0;
}
*/
/*
#include<stdio.h>
int main() {
int a, b;
scanf("%d %d", &a, &b);
printf("%d", a&&b);
return 0;
}
*/
/*
#include <stdio.h>
int main (){
int a;
scanf ("%d", &a);
printf ("%d", !a);
return 0;
}
*/
/*
#include <stdio.h>
int main () {
int a,b;
scanf ("%d %d", &a, &b);
printf ("%d", a&&b);
return 0;
}
*/
/*
#include<stdio.h>
int main () {
int a,b;
scanf ("%d %d", &a, &b);
printf ("%d", a||b);
return 0;
}
*/
/*
#include<stdio.h>
int main() {
int x;
scanf("%d", &x);
if(x > 50 && x < 100) {
printf("^^");
}
else if(x > 20) {
printf("!!");
}
else {
printf("##");
}
}
*/
/*
#include<stdio.h>
int main () {
int a;
scanf ("%d", &a);
if(a<10) {
printf("small");
}
}
*/
/*
#include<stdio.h>
int main () {
int a;
scanf ("%d", &a);
if(a<10) {
printf("small");
}
else {
printf("big");
}
}
*/