matita/matita/contribs/BTM/web/chc_45.tbl

   1 name "chc_45"
   2
   3 table {
   4    class "grey"
   5    [ [ "class" ] "contents" * ]
   6    class "orange"
   7    [ [ "p" ] 1 "1"  "4"  "7" "10" "13" "16" "19" "22" "25" "28" "31" "34" "37" "40" "43" * ]
   8    class "green"
   9    [ [ "q" ] 1 "5" "11" "15" "17" "23" "29" "33" "35" "41" "45" * ]
  10    class "sky"
  11    [ [ "s" ] 1 "2"  "6"  "8" "14" "18" "20" "24" "26" "32" "38" "42" "44" * ]
  12    class "magenta"
  13    [ [ "t" ] 1 "3"  "9" "12" "21" "27" "30" "36" "39" * ]
  14 }
  15
  16
  17 class "capitalize italic" { 0 }
  18
  19 class "right italic" { 2 * }