Guo and Liu's explicit constants conjecture for central-binomial congruences

Let $a_{2r-1}$ and $b_r$ be the integers occurring in the divisibility assertion for $S_n^{(r)}$. Guo and Liu's explicit constants conjecture. The listed values

$$a_3=3,\ a_5=15,\ a_7=21,\ a_9=15,\ a_{11}=33,\ a_{13}=1365,\ a_{15}=3,$$ $$b_2=12,\ b_3=4,\ b_4=60,\ b_5=20,\ b_6=84,\ b_7=28,\ b_8=60,\ b_9=20$$

satisfy the preceding existence conjecture. The paper proves the underlying existence statement, but the supplied excerpt does not state whether every displayed proposed value is separately established; this row records the conjecture as presented.