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