Prims
Fundamental
plus_times
LagSemiring
pow2Bound
LagUtils