#include using lint=long long; int main(){ std::cin.tie(nullptr);std::ios_base::sync_with_stdio(false); std::cout.setf(std::ios_base::fixed);std::cout.precision(15); lint n;std::cin>>n; lint N=1ll<a(n); for(lint&x:a)std::cin>>x; std::vectordp(N); for(lint bs=0;bs>i&1){ for(lint j=i+1;j>j&1){ for(lint k=j+1;k>k&1){ if(a.at(i)!=a.at(k) &&(a.at(i)-a.at(j))*(a.at(k)-a.at(j))>0 &&!dp.at(bs^1ll<>8&15; lint j=ans>>4&15; lint k=ans&15; std::cout<