states=2058; transitions=4105; exact Fraction branch checks PASS
max amortized push=3; max amortized pop=2; initial potential=1/2
telescoping: actual=132; amortized=132; final_phi=1/2
nonempty initial state: one push from n=m=1024 costs 1025, amortized 3; initial credit must be included
