Python Analysis-by-synthesis Resources