user_defined_symbols: "\342\226\201\342\226\201\342\226\201\342\226\201\342\226\201\342\226\201\342\226\201\342\226\201\342\226\201\342\226\201\342\226\201\342\226\201\342\226\201\342\226\201\342\226\201\342\226\201\342\226\201\342\226\201\342\226\201\342\226\201\342\226\201\342\226\201\342\226\201"