{
  " <": 250101,
  " <=": 250100
}