human: Given a node-centered hypergraph: <hypergraph>, where nodes represent papers and hyperedges represent sets of papers co-cited by a source paper.

Details of the hypergraph:
Center node: "pervasive parallelism in highly trustable interactive theorem proving systems"
  Abstract: This is an overview of the Paral-ITP project, which intents to make the proof assistants Isabelle and Coq fit for the multicore era.

Connected through hyperedge HE-1 (induced by source paper "interaction with formal mathematical documents in isabelle pide"):
  with members:
    - "isabelle jedit as ide for domain specific formal languages and informal text documents"
    - "system description isabelle jedit in 2014"
    - "pide for asynchronous interaction with coq"
    - "pide as front end technology for coq"
    - "read eval print in parallel and asynchronous proof checking"
    - "isabelle jedit a prover ide within the pide framework"

Connected through hyperedge HE-2 (induced by source paper "deeply integrating c11 code support into isabelle pide"):
  with members:
    - "system description isabelle jedit in 2014"

Connected through hyperedge HE-3 (induced by source paper "read eval print in parallel and asynchronous proof checking"):
  with members:
    - "isabelle jedit a prover ide within the pide framework"

Question: Please tell me which class the center node belongs to. The 40 classes are: cs.NA(Numerical Analysis), cs.MM(Multimedia), cs.LO(Logic in Computer Science), cs.CY(Computers and Society), cs.CR(Cryptography and Security), cs.DC(Distributed, Parallel, and Cluster Computing), cs.HC(Human-Computer Interaction), cs.CE(Computational Engineering, Finance, and Science), cs.NI(Networking and Internet Architecture), cs.CC(Computational Complexity), cs.AI(Artificial Intelligence), cs.MA(Multiagent Systems), cs.GL(General Literature), cs.NE(Neural and Evolutionary Computing), cs.SC(Symbolic Computation), cs.AR(Hardware Architecture), cs.CV(Computer Vision and Pattern Recognition), cs.GR(Graphics), cs.ET(Emerging Technologies), cs.SY(Systems and Control), cs.CG(Computational Geometry), cs.OH(Other Computer Science), cs.PL(Programming Languages), cs.SE(Software Engineering), cs.LG(Machine Learning), cs.SD(Sound), cs.SI(Social and Information Networks), cs.RO(Robotics), cs.IT(Information Theory), cs.PF(Performance), cs.CL(Computation and Language), cs.IR(Information Retrieval), cs.MS(Mathematical Software), cs.FL(Formal Languages and Automata Theory), cs.DS(Data Structures and Algorithms), cs.OS(Operating Systems), cs.GT(Computer Science and Game Theory), cs.DB(Databases), cs.DL(Digital Libraries), cs.DM(Discrete Mathematics). Directly output the class name.

gpt: cs.LO(Logic in Computer Science)