--- /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 }