{
  "[FOL_AND]": 100280,
  "[FOL_EXISTS]": 100279,
  "[FOL_FORALL]": 100278,
  "[FOL_IFF]": 100284,
  "[FOL_IMPLIES]": 100282,
  "[FOL_NOT]": 100285,
  "[FOL_OR]": 100281,
  "[FOL_XOR]": 100283
}