#include <iostream>
#include <algorithm>
#include <vector>
using namespace std;
int skret(pair<int, int> a, pair<int, int> b, pair<int, int> c)
{
return a.first * b.second + a.second * c.first + b.first * c.second - c.first*b.second - c.second*a.first - b.first * a.second;
}
int main() {
vector< pair<int, int> > dane;
dane.push_back(make_pair(398, 91) );
dane.push_back(make_pair(524, 188) );
dane.push_back(make_pair(481, 327) );
dane.push_back(make_pair(320, 321) );
dane.push_back(make_pair(278, 172) );
int qq = 0;
for(int x = 5; x < 800; x++)
{
for(int y = 5; y < 500; y++)
{
for(int i = 0; i < dane.size(); i++)
{
for(int j = j+1; j < dane.size(); j++)
{
for(int k = k+1; k < dane.size(); k++)
{
pair<int, int> p = make_pair(x, y);
double a = skret(p, dane[i], dane[j]);
double b = skret(p, dane[j], dane[k]);
double c = skret(p, dane[k], dane[i]);
if((a > 0 && b > 0 && c > 0 )||(a < 0 && b< 0 && c < 0 ) )
{
cout<<x<<", "<<y<<", "<<x<<", "<<y<<", "<<endl;
qq++;
}
}
}
}
}
}
cout<<qq<<endl;
return 0;
}
I2luY2x1ZGUgPGlvc3RyZWFtPgojaW5jbHVkZSA8YWxnb3JpdGhtPgojaW5jbHVkZSA8dmVjdG9yPgoKdXNpbmcgbmFtZXNwYWNlIHN0ZDsKCmludCBza3JldChwYWlyPGludCwgaW50PiBhLCBwYWlyPGludCwgaW50PiBiLCBwYWlyPGludCwgaW50PiBjKSAKewoJcmV0dXJuIGEuZmlyc3QgKiBiLnNlY29uZCArIGEuc2Vjb25kICogYy5maXJzdCArIGIuZmlyc3QgKiBjLnNlY29uZCAtIGMuZmlyc3QqYi5zZWNvbmQgLSBjLnNlY29uZCphLmZpcnN0IC0gYi5maXJzdCAqIGEuc2Vjb25kOwoKfQoKaW50IG1haW4oKSB7CgkKCXZlY3RvcjwgcGFpcjxpbnQsIGludD4gPiBkYW5lOwoJZGFuZS5wdXNoX2JhY2sobWFrZV9wYWlyKDM5OCwgOTEpICApOwoJZGFuZS5wdXNoX2JhY2sobWFrZV9wYWlyKDUyNCwgMTg4KSAgKTsKCWRhbmUucHVzaF9iYWNrKG1ha2VfcGFpcig0ODEsIDMyNykgICk7CglkYW5lLnB1c2hfYmFjayhtYWtlX3BhaXIoMzIwLCAzMjEpICApOwoJZGFuZS5wdXNoX2JhY2sobWFrZV9wYWlyKDI3OCwgMTcyKSAgKTsKCWludCBxcSA9IDA7Cglmb3IoaW50IHggPSA1OyB4IDwgODAwOyB4KyspCgl7CgkJZm9yKGludCB5ID0gNTsgeSA8IDUwMDsgeSsrKQoJCXsKCQkJCgkJCQoJCQlmb3IoaW50IGkgPSAwOyBpIDwgZGFuZS5zaXplKCk7IGkrKykKCQkJewoJCQkJZm9yKGludCBqID0gaisxOyBqIDwgZGFuZS5zaXplKCk7IGorKykKCQkJCXsKCQkJCQlmb3IoaW50IGsgPSBrKzE7IGsgPCBkYW5lLnNpemUoKTsgaysrKQoJCQkJCXsKCQkJCQkJcGFpcjxpbnQsIGludD4gcCA9IG1ha2VfcGFpcih4LCB5KTsKCQkJCQkJCgkJCQkJCWRvdWJsZSBhID0gc2tyZXQocCwgZGFuZVtpXSwgZGFuZVtqXSk7CgkJCQkJCWRvdWJsZSBiID0gc2tyZXQocCwgZGFuZVtqXSwgZGFuZVtrXSk7CgkJCQkJCWRvdWJsZSBjID0gc2tyZXQocCwgZGFuZVtrXSwgZGFuZVtpXSk7CgkJCQkJCQoJCQkJCQlpZigoYSA+IDAgJiYgYiA+IDAgJiYgYyA+IDAgKXx8KGEgPCAwICYmIGI8IDAgJiYgYyA8IDAgKSApCgkJCQkJCXsKCQkJCQkJCWNvdXQ8PHg8PCIsICI8PHk8PCIsICI8PHg8PCIsICI8PHk8PCIsICI8PGVuZGw7CgkJCQkJCQlxcSsrOwoJCQkJCQl9CgkJCQkJfQkKCQkJCQkKCQkJCX0KCQkJCQoJCQl9CgkJCQoJCQkKCQl9CgkKCX0KCWNvdXQ8PHFxPDxlbmRsOwoJcmV0dXJuIDA7Cn0=