change in H1:(? ? ? %) with (\fst b);
change in a with (hos_carr (half_segment_ordered_set ? s));
change in b with (hos_carr (half_segment_ordered_set ? s));
change in H1:(? ? ? %) with (\fst b);
change in a with (hos_carr (half_segment_ordered_set ? s));
change in b with (hos_carr (half_segment_ordered_set ? s));
| right; change in H1:(? ? % ?) with (\fst b);
change in H1:(? ? ? %) with (\fst a);
change in a with (hos_carr (half_segment_ordered_set ? s));
change in b with (hos_carr (half_segment_ordered_set ? s));
| right; change in H1:(? ? % ?) with (\fst b);
change in H1:(? ? ? %) with (\fst a);
change in a with (hos_carr (half_segment_ordered_set ? s));
change in b with (hos_carr (half_segment_ordered_set ? s));