tree 5a66cdf84052b73ac6521bad9ec20dc875fb88b4
parent 4143a7a8b7b1a30e8273dca9e7060df7a0025a09
author AlexanderSaydakov <AlexanderSaydakov@users.noreply.github.com> 1626214742 -0700
committer AlexanderSaydakov <AlexanderSaydakov@users.noreply.github.com> 1626214742 -0700

use wrapped compact for a-not-b