subcategories: BoolAlg, DistLat

This data as json