symbolic data lab