name "ground_1_sum" table { class "gray" [ "category" [ "objects" * ] ] class "water" [ "sizes" [ "files" "10" ] [ "characters" "15063" ] [ "nodes" "14881" ] ] class "green" [ "propositions" [ "theorems" "0" ] [ "lemmas" "50" ] [ "total" "50" ] ] class "grass" [ "concepts" [ "declared" "24" ] [ "defined" "4" ] [ "total" "28" ] ] } class "capitalize italic" { 0 } class "italic" { 1 } { 3 } { 5 } class "right italic" { 2 } { 4 } { 6 }