<s>[AVAILABLE_TOOLS] [{"type": "function", "function": {"name": "get_order_total", "description": "Calculate the total amount spent by a user.", "parameters": {"description": "Calculate the total amount spent by a user.", "properties": {"user_id": {"type": "integer"}}, "required": ["user_id"], "title": "get_order_total", "type": "object"}}}, {"type": "function", "function": {"name": "get_user_orders", "description": "Get all orders for a specific user ID.", "parameters": {"description": "Get all orders for a specific user ID.", "properties": {"user_id": {"type": "integer"}}, "required": ["user_id"], "title": "get_user_orders", "type": "object"}}}, {"type": "function", "function": {"name": "search_users", "description": "Search for users by city.", "parameters": {"description": "Search for users by city.", "properties": {"city": {"type": "string"}}, "required": ["city"], "title": "search_users", "type": "object"}}}][/AVAILABLE_TOOLS][INST] You are a database assistant. Use the provided functions to answer questions about users and orders.

Find all users in San Francisco and tell me their names and total order amounts.[/INST][TOOL_CALLS] [{"name": "search_users", "arguments": {"city": "San Francisco"}}]</s>