Logic_programming
eNpVkMFuwzAMQ3+Fxx2C/kOx6wYU2BcoseK6tSVDdlb072sna9PdDELkI/2lPkzIpt4opSAeoYDehQGOKo1UGCQOV9FbZOcZxtm4sFSqQQWZjFzwCf3UoSmzWqKI2BEHHLfHM3rjFK7QGT2FZeKCINtZ83X7sFN6tx1Ooy4VRRP3wDFygtNEQQ741JSXv1INktl6Uqs03kE5x3tPekKMqah0pSrqmerOGLpUNP6+EGu9euYX6psuav93rX8YSfxCreZMKcSw7pri4hgn03Y+4Cjlxoaftv/0Zvx4APnok7U=