%G{for%FOR_LENGTH_SUC} %G{next} %G{for%FOR_LENGTH_ANT} %G{for%FOR_LENGTH_SUC}%G{next} %G{next}
Hopeful hyp: %G{v%SOL_COUNTHYPHOP}
Suc length %G{v%LENGTH_SUC}
A length %G{v%LENGTH_ANT}%G{v%COUNT_HYP_HOP}