name "basic_1_sum"

table {
   class "gray"  [ "category"
      [ "objects" * ]
   ]
   class "water" [ "sizes"
      [ "files"      "120" ]
      [ "characters" "198089" ]
      [ "nodes"      "1449099" ]
   ]
   class "green"  [ "propositions"
      [ "theorems" "81" ]
      [ "lemmas"   "618" ]
      [ "total"    "699" ]
   ]
   class "grass"  [ "concepts"
      [ "declared" "39" ]
      [ "defined"  "47" ]
      [ "total"    "86" ]
   ]
}

class "capitalize italic" { 0 }

class "italic"            { 1 } { 3 } { 5 }

class "right italic"      { 2 } { 4 } { 6 }