{
  " <": 32101,
  " <=": 32100
}