编写程序，求解鸡兔同笼问题。一个笼子中有鸡X只，兔Y只，每只鸡有2只脚，每只兔有4只脚。若鸡和兔的总头数为H，总脚数为F。输入总头数和总脚数，输出笼中鸡和兔的数。

编写一个求解“鸡兔同笼”问题的简单程序，通常会涉及到两个线性方程。我们可以用两个变量x代表鸡的数量，y代表兔的数量。根据题目描述，可以列出以下两个条件：

1. 鸡和兔的头数之和等于给定的总数H：
\( x + y = H \)

2. 鸡和兔的脚数之和等于给定的总数F，每只鸡有2只脚，每只兔有4只脚：
\( 2x + 4y = F \)

这是一个典型的代数问题，可以使用中国剩余定理或者直接通过解这个二元一次方程组的方式来找到x和y的值。下面是一个简单的Python示例：

def solve_chicken_rabbit(H, F):
    # 解方程组
    from sympy import symbols, Eq, solve

    x, y = symbols('x y')
    eq1 = Eq(x + y, H)       # 头部数量相等
    eq2 = Eq(2*x + 4*y, F)   # 脚步数量相等

    solutions = solve((eq1, eq2), (x, y))
    
    if solutions and solutions[0][0] > 0 and solutions[0][1] > 0:  # 检查解是否合理（非负）
        chicken = solutions[0][0]
        rabbit = solutions[0][1]
        return {"鸡": chicken, "兔": rabbit}
    else:
        return "无法确定具体的鸡和兔子数量"

# 示例输入
H = int(input("请输入总头数: "))
F = int(input("请输入总脚数: "))

result = solve_chicken_rabbit(H, F)
if result:
    print(f"鸡有{result['鸡']}只，兔有{result['兔']}只")
else:
    print("无解或者存在负数结果，可能是数据错误。")