l {
  style = "invis"
  
  subgraph clusterThis {
  style="invis"
  node0 [URL="#inheritance-diagram-container", label="Elementary[R]", id="graph1_0", class="this class", tooltip="provingground.learning.GlobalProver.Elementary (this class)"] ;
}
  
  
  
}
  
  
  node1 [URL="GlobalProver.html#inheritance-diagram-container", label="GlobalProver[R]", id="graph1_1", class="default", tooltip="provingground.learning.GlobalProver"] ;
  node2 [label="Product", id="graph1_2", class="default", tooltip="scala.Produc