Appendix: Symbolic Distillation for Learned TCP Congestion Control S P Sharan