Spanning diagnostic: spanned (loading inside span = 1.0)
infl (rel. gap = 2.36e-16)
ygap (rel. gap = 1.52e-16)