말씀하신대로 효율이 너무 좋아서 아마도 눈으로 확인 못하는 손실압축이 아닐까 생각이 드네요.

비손실 PNG 압축 도구만 비교해 놓은 "Comparison of lossless PNG compression tools" http://www.olegkikin.com/png_optimizers/ 가 있는데,
여기 Pic4 를 가져다 해보니, 위 사이트의 결과물이 31KB 로 가장 작네요.
전 예전에 https://pngquant.org/ 기반 도구를 사용했었는데 얘는 36KB 가 나옵니다.

참고로 PNG의 압축이 어찌 되는지를 정리해 놓은 문서 하나
A guide to PNG optimization http://optipng.sourceforge.net/pngtech/optipng.html