{"[EXPL]": 32100, "[FACT]": 32101, "[CONCLUSIONS]": 32102, "[FACT_PATTERN]": 32103}