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