Complete noweb source for working solver