2026年（丙午马年）春节：农历腊月十六-正月十五，公历2026年2月3日-2026年3月3日，共29天；
assert widen(comp(shift(4,4), comp(shift(3,3), shift(1, 2))), App("f", [Var(0), Var(1), Var(2)])) \
，更多细节参见新收录的资料
3 /// current function，详情可参考新收录的资料
C that Csmith and YARPGen generate, CCC was within some reasonable edit，更多细节参见新收录的资料