Example 9.4. The continuum from b30 to b25