+++ /dev/null
-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 }