Enter ``return'' at #23.5 to compute the exhaustive pairs (or ``s'' to compute and save). A horizontal red bar in the top right corner of the screen will show the proportion of state-space completed, with the following message below,
setting up exhaustive pairs, interrupt-q:
If ``q'' is entered above, the following prompt is presented,
setting up exhaustive pairs 56% complete, stop-q, options-o, cont-ret: (values shown are examples)
Enter ``q'' to abandon the exhaustive pairs computation, ``o'' for the ``options'' prompts (see #25.3) or return to continue.