void main()
{
}
//TEST:SIMPLE: