Update logbook: Repro - Branch-and-Cut Instability

Update logbook: Repro - Branch-and-Cut Instability

Add Claim 4 (Thm 4.4: k deviations -> 2^Omega(k) tree blowup) and Claim 5 (Prop 4.2: tie-breaking exponential gap 2n+1 vs 2^(n+1)-1)

Update logbook: Repro - Branch-and-Cut Instability

Update logbook: Repro - Branch-and-Cut Instability