#ifdef LOCAL_ENV #include #else #include #include #include #include #include #endif #pragma GCC target("avx2") #pragma GCC optimize("O3") #pragma GCC optimize("unroll-loops") using namespace std; using namespace atcoder; using namespace __gnu_pbds; #define ALL(a) (a).begin(), (a).end() #define RALL(a) (a).rbegin(), (a).rend() #define FOR(i, start, end) for (int i = start; i < (int)(end); ++i) #define RFOR(i, rstart, rend) for (int i = rstart; i >= (int)(rend); --i) #define REP(i, end) FOR(i, 0, end) #define BIT(x, i) (((x)>>(i))&1) using ll = long long; using ull = unsigned long long; using pii = pair; using pll = pair; using pli = pair; template void read(T& val) {cin >> val;} template void read(T& val, Args&... args) {cin >> val;read(args...);} #define DEF(type, ...) type __VA_ARGS__;read(__VA_ARGS__) constexpr ll LINF = 1LL << 60; constexpr int INF = 1 << 30; template using TREE = tree, rb_tree_tag, tree_order_statistics_node_update>; template using Graph = vector>; template using PQ = priority_queue, greater>; void yes(bool expr) {cout << (expr ? "Yes" : "No") << "\n";} template bool chmax(T &a, const T &b) { if (a bool chmin(T &a, const T &b) { if (b istream &operator>>(istream&is,vector&v){for(T &in:v){is>>in;}return is;} template ostream &operator<<(ostream&os,const vector&v){for(auto it=v.begin();it!=v.end();){os<<*it<<((++it)!=v.end()?" ":"\n");}return os;} template struct Binomial{ std::vector fact_vec, fact_inv_vec; void extend(int m = -1){ int n = fact_vec.size(); if (m == -1) m = n * 2; if (n >= m) return; fact_vec.resize(m); fact_inv_vec.resize(m); for (int i = n; i < m; i++){ fact_vec[i] = fact_vec[i - 1] * T(i); } fact_inv_vec[m - 1] = T(1) / fact_vec[m - 1]; for (int i = m - 1; i > n; i--){ fact_inv_vec[i - 1] = fact_inv_vec[i] * T(i); } } Binomial(int MAX = 2){ fact_vec.resize(1, T(1)); fact_inv_vec.resize(1, T(1)); extend(MAX + 1); } T fact(int i){ if (i < 0) return 0; while (int(fact_vec.size()) <= i) extend(); return fact_vec[i]; } T invfact(int i){ if (i < 0) return 0; while (int(fact_inv_vec.size()) <= i) extend(); return fact_inv_vec[i]; } T C(int a, int b){ if (a < b || b < 0) return 0; return fact(a) * invfact(b) * invfact(a - b); } T invC(int a, int b){ if (a < b || b < 0) return 0; return fact(b) * fact(a - b) *invfact(a); } T P(int a, int b){ if (a < b || b < 0) return 0; return fact(a) * invfact(a - b); } T inv(int a){ if (a < 0) return inv(-a) * T(-1); if (a == 0) return 1; return fact(a - 1) * invfact(a); } }; /* 文字列、数列が一様か判定 */ template struct UniformSegmentChecker { const T &v; const int n; vector diff; UniformSegmentChecker(const T &v) : v(v), n(v.size()), diff(v.size(),0) { REP(i,n-1){ diff[i+1] = diff[i] + (v[i] != v[i+1]);} } bool is_uniform(int l, int r) const { assert(0 <= l && l < r && r <= n); return diff[l] == diff[r-1]; } }; /* 回文判定 */ bool isPalindrome(const string &s){int sz=s.size(); REP(i,sz/2){if(s[i]!=s[sz-1-i])return false;} return true;} /* 座標圧縮 */ template vector compress(const vector&A){vector ret(A.size()); auto tmp = A; sort(ALL(tmp)); tmp.erase(unique(ALL(tmp)), tmp.end()); REP(i,A.size()) ret[i] = lower_bound(ALL(tmp), A[i]) - tmp.begin(); return ret;} /* 約数列挙 整数nの約数のvectorを返す */ vector enumdiv(ll n){vectors; for(ll i = 1;i*i<=n;i++){if(n%i==0){s.push_back(i);if(i*i!=n)s.push_back(n/i);}}return s;} /* 素因数分解 pair<素数、指数>のvectorを返す */ vector primeDecomposition(ll x){vector ret;int i=2,sq=99,d=2;while(i<=sq){int k=0;while(x%i==0){x/=i;++k;}if(k>0){ret.emplace_back(i,k);}if(k>0 || i==97) {sq = sqrt(x)+0.5;}if(i<4){i = (i<<1)-1;}else{i += d;d ^= 6;}}if(x>1) ret.emplace_back(x,1);return ret;} /* エラトステネスの篩 n未満の素数を列挙。isprimeには素数かどうかが入っている */ vector isprime;vector era(int n) {isprime.resize(n, true);vector res;isprime[0] = false; isprime[1] = false;for (int i = 2; i < n; ++i){if (isprime[i]) {res.push_back(i);for (int j = i*2; j < n; j += i) isprime[j] = false;}}return res;} /* トポロジカルソート */ vector topo_sort(const Graph &G){int n = G.size();vector deg(n), ret;for(const auto &v:G)for(const auto &to:v) ++deg[to];queue que;REP(i,n) if(deg[i]==0)que.push(i);while(!que.empty()){const int from = que.front();que.pop();ret.push_back(from);for(const auto &to:G[from])if(--deg[to]==0) que.push(to);}return ret;}; /* 拡張ユークリッドの互除法 [gcd,x,y] ax+by=gcd(a,b) */ tuple ex_gcd(ll a, ll b){if(b==0) return {a,1,0}; auto [g,x,y] = ex_gcd(b, a%b); return {g,y,x-a/b*y};} /* 辞書順で次の分割数を求める */ template bool next_partition(vector &a){const int n = a.size(); if(n<=1) {return false;} T sum=a[n-1]; a.pop_back(); while(true){T x = a.back(); a.pop_back(); sum += x; if(a.empty() || a.back() > x){a.push_back(x+1); a.resize(a.size()+sum-x-1, 1); break;}} return true;} /* iを中心として回文となる半径を全て求める O(n) */ template vector manachar(const T &s) {int n = s.size();vectorr(n);int i=0,j=0;while(i=0&&i+j>(istream&is,mint&p){ll x;cin >> x;p=x; return is;} ostream &operator<<(ostream&os,const mint&p){os << p.val();return os;} int main() { ios::sync_with_stdio(false); cin.tie(0); cout.tie(0); auto area = [](vector x, vector y){ int dx1 = x[1] - x[0]; int dy1 = y[1] - y[0]; int dx2 = x[2] - x[0]; int dy2 = y[2] - y[0]; return abs(dx1 * dy2 - dx2 * dy1); }; int ans=0; int x1, y1, x2, y2, x3, y3; cin >> x1 >> y1 >> x2 >> y2 >> x3 >> y3; int dx[4] = {0, 1, 0, -1}; int dy[4] = {1, 0, -1, 0}; REP(i1,4)REP(i2,4)REP(i3,4){ vector xs = {x1+dx[i1], x2 + dx[i2], x3 + dx[i3]}; vector ys = {y1+dy[i1], y2 + dy[i2], y3 + dy[i3]}; chmax(ans, area(xs, ys)); } cout << (double)ans/2.0 << endl; return 0; }