{"primitives": [{"name": "nand", "tp": "bool -> bool -> bool", "logp": 0.0}], "frontiers": [{"task_tp": "bool -> bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool -> bool", "solutions": [{"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $0 $1) (nand $3 $3))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $1 $0) (nand $3 $3))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $3 $3) (nand $0 $1))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $3 $3) (nand $1 $0))))))))", "loglikelihood": 0.0}]}, {"task_tp": "bool -> bool -> bool -> bool -> bool", "solutions": [{"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 $0) (nand $2 (nand $2 $3)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 $0) (nand $2 (nand $3 $2)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 $0) (nand $2 (nand $3 $3)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 $0) (nand (nand $2 $3) $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 $0) (nand (nand $3 $2) $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 $0) (nand (nand $3 $3) $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 (nand $2 $3)) (nand $0 $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 (nand $3 $2)) (nand $0 $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 (nand $3 $3)) (nand $0 $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $2 $3) $2) (nand $0 $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $3 $2) $2) (nand $0 $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $3 $3) $2) (nand $0 $0))))))", "loglikelihood": 0.0}]}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool -> bool", "solutions": [{"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $2 $5) (nand $4 $4))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $4 $4) (nand $2 $5))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $4 $4) (nand $5 $2))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $5 $2) (nand $4 $4))))))))", "loglikelihood": 0.0}]}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool -> bool", "solutions": [{"logprior": -10.39720770839918, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 $2) (nand $0 $2))))))", "loglikelihood": 0.0}, {"logprior": -10.39720770839918, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 $2) (nand $2 $0))))))", "loglikelihood": 0.0}, {"logprior": -10.39720770839918, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $0) (nand $0 $2))))))", "loglikelihood": 0.0}, {"logprior": -10.39720770839918, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $0) (nand $2 $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 $2) (nand $0 (nand $0 $0)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 $2) (nand $1 (nand $1 $1)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 $2) (nand $2 (nand $2 $2)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 $2) (nand $3 (nand $3 $3)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 $2) (nand (nand $0 $0) $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 $2) (nand (nand $1 $1) $1))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 $2) (nand (nand $2 $2) $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 $2) (nand (nand $3 $3) $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 (nand $0 $0)) (nand $0 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 (nand $0 $0)) (nand $2 $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $1 (nand $1 $1)) (nand $0 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $1 (nand $1 $1)) (nand $2 $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $0) (nand $0 (nand $0 $0)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $0) (nand $1 (nand $1 $1)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $0) (nand $2 (nand $2 $2)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $0) (nand $3 (nand $3 $3)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $0) (nand (nand $0 $0) $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $0) (nand (nand $1 $1) $1))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $0) (nand (nand $2 $2) $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $0) (nand (nand $3 $3) $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 (nand $2 $2)) (nand $0 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 (nand $2 $2)) (nand $2 $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 (nand $3 $3)) (nand $0 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 (nand $3 $3)) (nand $2 $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $0 $0) $0) (nand $0 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $0 $0) $0) (nand $2 $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $1 $1) $1) (nand $0 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $1 $1) $1) (nand $2 $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $2 $2) $2) (nand $0 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $2 $2) $2) (nand $2 $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $3 $3) $3) (nand $0 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $3 $3) $3) (nand $2 $0))))))", "loglikelihood": 0.0}]}, {"task_tp": "bool -> bool -> bool -> bool -> bool", "solutions": [{"logprior": -10.39720770839918, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 $3) (nand $1 $3))))))", "loglikelihood": 0.0}, {"logprior": -10.39720770839918, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 $3) (nand $3 $1))))))", "loglikelihood": 0.0}, {"logprior": -10.39720770839918, "expression": "(lambda (lambda (lambda (lambda (nand (nand $1 $3) (nand $0 $3))))))", "loglikelihood": 0.0}, {"logprior": -10.39720770839918, "expression": "(lambda (lambda (lambda (lambda (nand (nand $1 $3) (nand $3 $0))))))", "loglikelihood": 0.0}, {"logprior": -10.39720770839918, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $0) (nand $1 $3))))))", "loglikelihood": 0.0}, {"logprior": -10.39720770839918, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $0) (nand $3 $1))))))", "loglikelihood": 0.0}, {"logprior": -10.39720770839918, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $1) (nand $0 $3))))))", "loglikelihood": 0.0}, {"logprior": -10.39720770839918, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $1) (nand $3 $0))))))", "loglikelihood": 0.0}]}, {"task_tp": "bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool", "solutions": [{"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 (nand $0 $1)) (nand $1 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 (nand $0 $1)) (nand $2 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 (nand $1 $0)) (nand $1 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 (nand $1 $0)) (nand $2 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 (nand $1 $1)) (nand $1 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 (nand $1 $1)) (nand $2 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $2) (nand $0 (nand $0 $1))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $2) (nand $0 (nand $1 $0))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $2) (nand $0 (nand $1 $1))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $2) (nand (nand $0 $1) $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $2) (nand (nand $1 $0) $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $2) (nand (nand $1 $1) $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $1) (nand $0 (nand $0 $1))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $1) (nand $0 (nand $1 $0))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $1) (nand $0 (nand $1 $1))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $1) (nand (nand $0 $1) $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $1) (nand (nand $1 $0) $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $1) (nand (nand $1 $1) $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $0 $1) $0) (nand $1 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $0 $1) $0) (nand $2 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $1 $0) $0) (nand $1 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $1 $0) $0) (nand $2 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $1 $1) $0) (nand $1 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $1 $1) $0) (nand $2 $1)))))", "loglikelihood": 0.0}]}, {"task_tp": "bool -> bool -> bool -> bool -> bool", "solutions": [{"logprior": -10.39720770839918, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $2) (nand $3 $3))))))", "loglikelihood": 0.0}, {"logprior": -10.39720770839918, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $3) (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $2) (nand $3 (nand $0 $2)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $2) (nand $3 (nand $1 $2)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $2) (nand $3 (nand $2 $0)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $2) (nand $3 (nand $2 $1)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $2) (nand $3 (nand $2 $2)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $2) (nand $3 (nand $2 $3)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $2) (nand $3 (nand $3 $2)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $2) (nand (nand $0 $2) $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $2) (nand (nand $1 $2) $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $2) (nand (nand $2 $0) $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $2) (nand (nand $2 $1) $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $2) (nand (nand $2 $2) $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $2) (nand (nand $2 $3) $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $2) (nand (nand $3 $2) $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 (nand $0 $3)) (nand $3 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 (nand $1 $3)) (nand $3 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 (nand $2 $3)) (nand $3 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 (nand $3 $0)) (nand $3 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 (nand $3 $1)) (nand $3 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 (nand $3 $2)) (nand $3 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 (nand $3 $3)) (nand $3 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $3) (nand $2 (nand $0 $3)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $3) (nand $2 (nand $1 $3)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $3) (nand $2 (nand $2 $3)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $3) (nand $2 (nand $3 $0)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $3) (nand $2 (nand $3 $1)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $3) (nand $2 (nand $3 $2)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $3) (nand $2 (nand $3 $3)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $3) (nand (nand $0 $3) $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $3) (nand (nand $1 $3) $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $3) (nand (nand $2 $3) $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $3) (nand (nand $3 $0) $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $3) (nand (nand $3 $1) $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $3) (nand (nand $3 $2) $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $3) (nand (nand $3 $3) $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 (nand $0 $2)) (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 (nand $1 $2)) (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 (nand $2 $0)) (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 (nand $2 $1)) (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 (nand $2 $2)) (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 (nand $2 $3)) (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 (nand $3 $2)) (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $0 $2) $3) (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $0 $3) $2) (nand $3 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $1 $2) $3) (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $1 $3) $2) (nand $3 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $2 $0) $3) (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $2 $1) $3) (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $2 $2) $3) (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $2 $3) $2) (nand $3 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $2 $3) $3) (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $3 $0) $2) (nand $3 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $3 $1) $2) (nand $3 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $3 $2) $2) (nand $3 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $3 $2) $3) (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $3 $3) $2) (nand $3 $3))))))", "loglikelihood": 0.0}]}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool -> bool", "solutions": [{"logprior": -10.39720770839918, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $3) (nand $2 $3))))))", "loglikelihood": 0.0}, {"logprior": -10.39720770839918, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $3) (nand $3 $2))))))", "loglikelihood": 0.0}, {"logprior": -10.39720770839918, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $2) (nand $2 $3))))))", "loglikelihood": 0.0}, {"logprior": -10.39720770839918, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $2) (nand $3 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 (nand $0 $0)) (nand $2 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 (nand $0 $0)) (nand $3 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $1 (nand $1 $1)) (nand $2 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $1 (nand $1 $1)) (nand $3 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $3) (nand $0 (nand $0 $0)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $3) (nand $1 (nand $1 $1)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $3) (nand $2 (nand $2 $2)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $3) (nand $3 (nand $3 $3)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $3) (nand (nand $0 $0) $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $3) (nand (nand $1 $1) $1))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $3) (nand (nand $2 $2) $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $3) (nand (nand $3 $3) $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 (nand $2 $2)) (nand $2 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 (nand $2 $2)) (nand $3 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $2) (nand $0 (nand $0 $0)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $2) (nand $1 (nand $1 $1)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $2) (nand $2 (nand $2 $2)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $2) (nand $3 (nand $3 $3)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $2) (nand (nand $0 $0) $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $2) (nand (nand $1 $1) $1))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $2) (nand (nand $2 $2) $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $2) (nand (nand $3 $3) $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 (nand $3 $3)) (nand $2 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 (nand $3 $3)) (nand $3 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $0 $0) $0) (nand $2 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $0 $0) $0) (nand $3 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $1 $1) $1) (nand $2 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $1 $1) $1) (nand $3 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $2 $2) $2) (nand $2 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $2 $2) $2) (nand $3 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $3 $3) $3) (nand $2 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $3 $3) $3) (nand $3 $2))))))", "loglikelihood": 0.0}]}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool", "solutions": [{"logprior": -1.791759469228055, "expression": "(lambda (lambda (lambda $1)))", "loglikelihood": 0.0}, {"logprior": -9.246479418592056, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand $1 $1)))))", "loglikelihood": 0.0}, {"logprior": -9.246479418592056, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand $1 $1)))))", "loglikelihood": 0.0}, {"logprior": -9.246479418592056, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand $0 $1)))))", "loglikelihood": 0.0}, {"logprior": -9.246479418592056, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand $1 $0)))))", "loglikelihood": 0.0}, {"logprior": -9.246479418592056, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand $1 $1)))))", "loglikelihood": 0.0}, {"logprior": -9.246479418592056, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand $1 $2)))))", "loglikelihood": 0.0}, {"logprior": -9.246479418592056, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand $2 $1)))))", "loglikelihood": 0.0}, {"logprior": -9.246479418592056, "expression": "(lambda (lambda (lambda (nand (nand $1 $2) (nand $1 $1)))))", "loglikelihood": 0.0}, {"logprior": -9.246479418592056, "expression": "(lambda (lambda (lambda (nand (nand $2 $1) (nand $1 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand $1 (nand $0 $0))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand $1 (nand $0 $1))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand $1 (nand $0 $2))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand $1 (nand $1 $0))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand $1 (nand $2 $0))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand (nand $0 $0) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand (nand $0 $1) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand (nand $0 $2) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand (nand $1 $0) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand (nand $2 $0) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 (nand $0 $0)) (nand $1 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand $1 (nand $0 $0))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand $1 (nand $0 $1))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand $1 (nand $0 $2))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand $1 (nand $1 $0))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand $1 (nand $2 $0))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand (nand $0 $0) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand (nand $0 $1) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand (nand $0 $2) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand (nand $1 $0) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand (nand $2 $0) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand $0 (nand $0 $0))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand $1 (nand $0 $0))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand $1 (nand $0 $1))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand $1 (nand $0 $2))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand $1 (nand $1 $0))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand $1 (nand $1 $1))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand $1 (nand $1 $2))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand $1 (nand $2 $0))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand $1 (nand $2 $1))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand $1 (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand $2 (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand (nand $0 $0) $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand (nand $0 $0) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand (nand $0 $1) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand (nand $0 $2) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand (nand $1 $0) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand (nand $1 $1) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand (nand $1 $2) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand (nand $2 $0) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand (nand $2 $1) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand (nand $2 $2) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand (nand $2 $2) $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $2) (nand $1 (nand $0 $2))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $2) (nand $1 (nand $1 $2))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $2) (nand $1 (nand $2 $0))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $2) (nand $1 (nand $2 $1))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $2) (nand $1 (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $2) (nand (nand $0 $2) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $2) (nand (nand $1 $2) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $2) (nand (nand $2 $0) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $2) (nand (nand $2 $1) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $2) (nand (nand $2 $2) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $0 $0)) (nand $0 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $0 $0)) (nand $1 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $0 $0)) (nand $1 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $0 $1)) (nand $0 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $0 $1)) (nand $1 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $0 $1)) (nand $1 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $0 $2)) (nand $0 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $0 $2)) (nand $1 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $0 $2)) (nand $1 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $0 $2)) (nand $1 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $0 $2)) (nand $2 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $1 $0)) (nand $0 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $1 $0)) (nand $1 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $1 $0)) (nand $1 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $1 $1)) (nand $1 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $1 $2)) (nand $1 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $1 $2)) (nand $1 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $1 $2)) (nand $2 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $2 $0)) (nand $0 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $2 $0)) (nand $1 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $2 $0)) (nand $1 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $2 $0)) (nand $1 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $2 $0)) (nand $2 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $2 $1)) (nand $1 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $2 $1)) (nand $1 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $2 $1)) (nand $2 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $2 $2)) (nand $1 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $2 $2)) (nand $1 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $2 $2)) (nand $2 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $1) (nand $1 (nand $0 $2))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $1) (nand $1 (nand $1 $2))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $1) (nand $1 (nand $2 $0))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $1) (nand $1 (nand $2 $1))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $1) (nand $1 (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $1) (nand (nand $0 $2) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $1) (nand (nand $1 $2) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $1) (nand (nand $2 $0) $1)))))", "loglikelihood": 0.0}]}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool", "solutions": [{"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $1 $4) (nand $1 $4)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $1 $4) (nand $4 $1)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $4 $1) (nand $1 $4)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $4 $1) (nand $4 $1)))))))", "loglikelihood": 0.0}]}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool", "solutions": [{"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $0 $0) (nand $2 $2)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $2 $2) (nand $0 $0)))))))", "loglikelihood": 0.0}]}, {"task_tp": "bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool", "solutions": [{"logprior": -9.246479418592056, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -9.246479418592056, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand $1 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand $2 (nand $0 $1))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand $2 (nand $1 $0))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand $2 (nand $1 $1))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand $2 (nand $1 $2))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand $2 (nand $2 $1))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand (nand $0 $1) $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand (nand $1 $0) $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand (nand $1 $1) $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand (nand $1 $2) $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand (nand $2 $1) $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $0 $2)) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $1 $2)) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $2 $0)) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $2 $1)) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $2 $2)) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand $1 (nand $0 $2))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand $1 (nand $1 $2))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand $1 (nand $2 $0))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand $1 (nand $2 $1))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand $1 (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand (nand $0 $2) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand (nand $1 $2) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand (nand $2 $0) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand (nand $2 $1) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand (nand $2 $2) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 (nand $0 $1)) (nand $1 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 (nand $1 $0)) (nand $1 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 (nand $1 $1)) (nand $1 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 (nand $1 $2)) (nand $1 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 (nand $2 $1)) (nand $1 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $0 $1) $2) (nand $1 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $0 $2) $1) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $1 $0) $2) (nand $1 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $1 $1) $2) (nand $1 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $1 $2) $1) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $1 $2) $2) (nand $1 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $2 $0) $1) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $2 $1) $1) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $2 $1) $2) (nand $1 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $2 $2) $1) (nand $2 $2)))))", "loglikelihood": 0.0}]}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool", "solutions": [{"logprior": -2.3025850929940455, "expression": "(lambda (lambda (lambda (lambda (lambda $4)))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $0 $4) (nand $4 $4)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $1 $4) (nand $4 $4)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $2 $4) (nand $4 $4)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $3 $4) (nand $4 $4)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $4 $0) (nand $4 $4)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $4 $1) (nand $4 $4)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $4 $2) (nand $4 $4)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $4 $3) (nand $4 $4)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $4 $4) (nand $0 $4)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $4 $4) (nand $1 $4)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $4 $4) (nand $2 $4)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $4 $4) (nand $3 $4)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $4 $4) (nand $4 $0)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $4 $4) (nand $4 $1)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $4 $4) (nand $4 $2)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $4 $4) (nand $4 $3)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $4 $4) (nand $4 $4)))))))", "loglikelihood": 0.0}]}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool", "solutions": [{"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $1 $2) (nand $1 $4)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $1 $2) (nand $4 $1)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $1 $4) (nand $1 $2)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $1 $4) (nand $2 $1)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $2 $1) (nand $1 $4)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $2 $1) (nand $4 $1)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $4 $1) (nand $1 $2)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $4 $1) (nand $2 $1)))))))", "loglikelihood": 0.0}]}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool", "solutions": [{"logprior": -9.246479418592056, "expression": "(lambda (lambda (lambda (nand (nand $0 $2) (nand $0 $2)))))", "loglikelihood": 0.0}, {"logprior": -9.246479418592056, "expression": "(lambda (lambda (lambda (nand (nand $0 $2) (nand $2 $0)))))", "loglikelihood": 0.0}, {"logprior": -9.246479418592056, "expression": "(lambda (lambda (lambda (nand (nand $2 $0) (nand $0 $2)))))", "loglikelihood": 0.0}, {"logprior": -9.246479418592056, "expression": "(lambda (lambda (lambda (nand (nand $2 $0) (nand $2 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $2) (nand $0 (nand $0 $0))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $2) (nand $1 (nand $1 $1))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $2) (nand $2 (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $2) (nand (nand $0 $0) $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $2) (nand (nand $1 $1) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $2) (nand (nand $2 $2) $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 (nand $0 $0)) (nand $0 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 (nand $0 $0)) (nand $2 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $1 $1)) (nand $0 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $1 $1)) (nand $2 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $0) (nand $0 (nand $0 $0))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $0) (nand $1 (nand $1 $1))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $0) (nand $2 (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $0) (nand (nand $0 $0) $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $0) (nand (nand $1 $1) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $0) (nand (nand $2 $2) $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 (nand $2 $2)) (nand $0 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 (nand $2 $2)) (nand $2 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $0 $0) $0) (nand $0 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $0 $0) $0) (nand $2 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $1 $1) $1) (nand $0 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $1 $1) $1) (nand $2 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $2 $2) $2) (nand $0 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $2 $2) $2) (nand $2 $0)))))", "loglikelihood": 0.0}]}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool -> bool", "solutions": [{"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand $4 (nand $1 (nand $0 $0)))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand $4 (nand $1 (nand $0 $1)))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand $4 (nand $1 (nand $0 $4)))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand $4 (nand $1 (nand $1 $0)))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand $4 (nand $1 (nand $4 $0)))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand $4 (nand (nand $0 $0) $1))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand $4 (nand (nand $0 $1) $1))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand $4 (nand (nand $0 $4) $1))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand $4 (nand (nand $1 $0) $1))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand $4 (nand (nand $4 $0) $1))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $1 (nand $0 $0)) $4)))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $1 (nand $0 $1)) $4)))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $1 (nand $0 $4)) $4)))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $1 (nand $1 $0)) $4)))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $1 (nand $4 $0)) $4)))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand (nand $0 $0) $1) $4)))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand (nand $0 $1) $1) $4)))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand (nand $0 $4) $1) $4)))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand (nand $1 $0) $1) $4)))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand (nand $4 $0) $1) $4)))))))", "loglikelihood": 0.0}]}, {"task_tp": "bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool", "solutions": [{"logprior": -9.246479418592056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -9.246479418592056, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand $0 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand $2 (nand $0 $0))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand $2 (nand $0 $1))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand $2 (nand $0 $2))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand $2 (nand $1 $0))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand $2 (nand $2 $0))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand (nand $0 $0) $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand (nand $0 $1) $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand (nand $0 $2) $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand (nand $1 $0) $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand (nand $2 $0) $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 (nand $0 $2)) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 (nand $1 $2)) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 (nand $2 $0)) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 (nand $2 $1)) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 (nand $2 $2)) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand $0 (nand $0 $2))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand $0 (nand $1 $2))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand $0 (nand $2 $0))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand $0 (nand $2 $1))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand $0 (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand (nand $0 $2) $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand (nand $1 $2) $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand (nand $2 $0) $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand (nand $2 $1) $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand (nand $2 $2) $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 (nand $0 $0)) (nand $0 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 (nand $0 $1)) (nand $0 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 (nand $0 $2)) (nand $0 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 (nand $1 $0)) (nand $0 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 (nand $2 $0)) (nand $0 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $0 $0) $2) (nand $0 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $0 $1) $2) (nand $0 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $0 $2) $0) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $0 $2) $2) (nand $0 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $1 $0) $2) (nand $0 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $1 $2) $0) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $2 $0) $0) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $2 $0) $2) (nand $0 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $2 $1) $0) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $2 $2) $0) (nand $2 $2)))))", "loglikelihood": 0.0}]}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool", "solutions": [{"logprior": -9.246479418592056, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand $0 $1)))))", "loglikelihood": 0.0}, {"logprior": -9.246479418592056, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand $1 $0)))))", "loglikelihood": 0.0}, {"logprior": -9.246479418592056, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand $0 $1)))))", "loglikelihood": 0.0}, {"logprior": -9.246479418592056, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand $1 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand $0 (nand $0 $0))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand $1 (nand $1 $1))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand $2 (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand (nand $0 $0) $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand (nand $1 $1) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand (nand $2 $2) $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 (nand $0 $0)) (nand $0 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 (nand $0 $0)) (nand $1 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand $0 (nand $0 $0))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand $1 (nand $1 $1))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand $2 (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand (nand $0 $0) $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand (nand $1 $1) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand (nand $2 $2) $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $1 $1)) (nand $0 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $1 $1)) (nand $1 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 (nand $2 $2)) (nand $0 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 (nand $2 $2)) (nand $1 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $0 $0) $0) (nand $0 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $0 $0) $0) (nand $1 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $1 $1) $1) (nand $0 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $1 $1) $1) (nand $1 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $2 $2) $2) (nand $0 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $2 $2) $2) (nand $1 $0)))))", "loglikelihood": 0.0}]}, {"task_tp": "bool -> bool -> bool -> bool -> bool", "solutions": [{"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $1 (nand $1 $2)) (nand $3 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $1 (nand $2 $1)) (nand $3 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $1 (nand $2 $2)) (nand $3 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $3) (nand $1 (nand $1 $2)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $3) (nand $1 (nand $2 $1)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $3) (nand $1 (nand $2 $2)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $3) (nand (nand $1 $2) $1))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $3) (nand (nand $2 $1) $1))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $3) (nand (nand $2 $2) $1))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $1 $2) $1) (nand $3 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $2 $1) $1) (nand $3 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $2 $2) $1) (nand $3 $3))))))", "loglikelihood": 0.0}]}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool -> bool", "solutions": [{"logprior": -5.662960480135945, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand $5 $5)))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand $5 (nand $0 (nand $0 $0)))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand $5 (nand $0 (nand $0 $5)))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand $5 (nand $0 (nand $5 $0)))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand $5 (nand $0 (nand $5 $5)))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand $5 (nand $1 (nand $1 $1)))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand $5 (nand $1 (nand $1 $5)))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand $5 (nand $1 (nand $5 $1)))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand $5 (nand $1 (nand $5 $5)))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand $5 (nand $2 (nand $2 $2)))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand $5 (nand $2 (nand $2 $5)))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand $5 (nand $2 (nand $5 $2)))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand $5 (nand $2 (nand $5 $5)))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand $5 (nand $3 (nand $3 $3)))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand $5 (nand $3 (nand $3 $5)))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand $5 (nand $3 (nand $5 $3)))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand $5 (nand $3 (nand $5 $5)))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand $5 (nand $4 (nand $4 $4)))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand $5 (nand $4 (nand $4 $5)))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand $5 (nand $4 (nand $5 $4)))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand $5 (nand $4 (nand $5 $5)))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand $5 (nand $5 (nand $5 $5)))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand $5 (nand (nand $0 $0) $0))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand $5 (nand (nand $0 $5) $0))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand $5 (nand (nand $1 $1) $1))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand $5 (nand (nand $1 $5) $1))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand $5 (nand (nand $2 $2) $2))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand $5 (nand (nand $2 $5) $2))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand $5 (nand (nand $3 $3) $3))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand $5 (nand (nand $3 $5) $3))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand $5 (nand (nand $4 $4) $4))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand $5 (nand (nand $4 $5) $4))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand $5 (nand (nand $5 $0) $0))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand $5 (nand (nand $5 $1) $1))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand $5 (nand (nand $5 $2) $2))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand $5 (nand (nand $5 $3) $3))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand $5 (nand (nand $5 $4) $4))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand $5 (nand (nand $5 $5) $0))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand $5 (nand (nand $5 $5) $1))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand $5 (nand (nand $5 $5) $2))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand $5 (nand (nand $5 $5) $3))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand $5 (nand (nand $5 $5) $4))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand $5 (nand (nand $5 $5) $5))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $0 (nand $0 $0)) $5)))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $0 (nand $0 $5)) $5)))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $0 (nand $5 $0)) $5)))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $0 (nand $5 $5)) $5)))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $1 (nand $1 $1)) $5)))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $1 (nand $1 $5)) $5)))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $1 (nand $5 $1)) $5)))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $1 (nand $5 $5)) $5)))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $2 (nand $2 $2)) $5)))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $2 (nand $2 $5)) $5)))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $2 (nand $5 $2)) $5)))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $2 (nand $5 $5)) $5)))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $3 (nand $3 $3)) $5)))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $3 (nand $3 $5)) $5)))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $3 (nand $5 $3)) $5)))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $3 (nand $5 $5)) $5)))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $4 (nand $4 $4)) $5)))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $4 (nand $4 $5)) $5)))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $4 (nand $5 $4)) $5)))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $4 (nand $5 $5)) $5)))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $5 (nand $5 $5)) $5)))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand (nand $0 $0) $0) $5)))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand (nand $0 $5) $0) $5)))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand (nand $1 $1) $1) $5)))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand (nand $1 $5) $1) $5)))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand (nand $2 $2) $2) $5)))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand (nand $2 $5) $2) $5)))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand (nand $3 $3) $3) $5)))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand (nand $3 $5) $3) $5)))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand (nand $4 $4) $4) $5)))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand (nand $4 $5) $4) $5)))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand (nand $5 $0) $0) $5)))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand (nand $5 $1) $1) $5)))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand (nand $5 $2) $2) $5)))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand (nand $5 $3) $3) $5)))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand (nand $5 $4) $4) $5)))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand (nand $5 $5) $0) $5)))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand (nand $5 $5) $1) $5)))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand (nand $5 $5) $2) $5)))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand (nand $5 $5) $3) $5)))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand (nand $5 $5) $4) $5)))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand (nand $5 $5) $5) $5)))))))", "loglikelihood": 0.0}]}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool -> bool", "solutions": [{"logprior": -2.4849066497880004, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda $3))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $0 $3) (nand $3 $3))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $1 $3) (nand $3 $3))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $2 $3) (nand $3 $3))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $3 $0) (nand $3 $3))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $3 $1) (nand $3 $3))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $3 $2) (nand $3 $3))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $3 $3) (nand $0 $3))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $3 $3) (nand $1 $3))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $3 $3) (nand $2 $3))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $3 $3) (nand $3 $0))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $3 $3) (nand $3 $1))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $3 $3) (nand $3 $2))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $3 $3) (nand $3 $3))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $3 $3) (nand $3 $4))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $3 $3) (nand $3 $5))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $3 $3) (nand $4 $3))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $3 $3) (nand $5 $3))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $3 $4) (nand $3 $3))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $3 $5) (nand $3 $3))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $4 $3) (nand $3 $3))))))))", "loglikelihood": 0.0}, {"logprior": -12.019068140831838, "expression": "(lambda (lambda (lambda (lambda (lambda (lambda (nand (nand $5 $3) (nand $3 $3))))))))", "loglikelihood": 0.0}]}, {"task_tp": "bool -> bool -> bool -> bool", "solutions": [{"logprior": -9.246479418592056, "expression": "(lambda (lambda (lambda (nand (nand $0 $2) (nand $1 $2)))))", "loglikelihood": 0.0}, {"logprior": -9.246479418592056, "expression": "(lambda (lambda (lambda (nand (nand $0 $2) (nand $2 $1)))))", "loglikelihood": 0.0}, {"logprior": -9.246479418592056, "expression": "(lambda (lambda (lambda (nand (nand $1 $2) (nand $0 $2)))))", "loglikelihood": 0.0}, {"logprior": -9.246479418592056, "expression": "(lambda (lambda (lambda (nand (nand $1 $2) (nand $2 $0)))))", "loglikelihood": 0.0}, {"logprior": -9.246479418592056, "expression": "(lambda (lambda (lambda (nand (nand $2 $0) (nand $1 $2)))))", "loglikelihood": 0.0}, {"logprior": -9.246479418592056, "expression": "(lambda (lambda (lambda (nand (nand $2 $0) (nand $2 $1)))))", "loglikelihood": 0.0}, {"logprior": -9.246479418592056, "expression": "(lambda (lambda (lambda (nand (nand $2 $1) (nand $0 $2)))))", "loglikelihood": 0.0}, {"logprior": -9.246479418592056, "expression": "(lambda (lambda (lambda (nand (nand $2 $1) (nand $2 $0)))))", "loglikelihood": 0.0}]}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool -> bool", "solutions": [{"logprior": -10.39720770839918, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 $3) (nand $0 $3))))))", "loglikelihood": 0.0}, {"logprior": -10.39720770839918, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 $3) (nand $3 $0))))))", "loglikelihood": 0.0}, {"logprior": -10.39720770839918, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $0) (nand $0 $3))))))", "loglikelihood": 0.0}, {"logprior": -10.39720770839918, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $0) (nand $3 $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 $3) (nand $0 (nand $0 $0)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 $3) (nand $1 (nand $1 $1)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 $3) (nand $2 (nand $2 $2)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 $3) (nand $3 (nand $3 $3)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 $3) (nand (nand $0 $0) $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 $3) (nand (nand $1 $1) $1))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 $3) (nand (nand $2 $2) $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 $3) (nand (nand $3 $3) $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 (nand $0 $0)) (nand $0 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 (nand $0 $0)) (nand $3 $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $1 (nand $1 $1)) (nand $0 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $1 (nand $1 $1)) (nand $3 $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 (nand $2 $2)) (nand $0 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 (nand $2 $2)) (nand $3 $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $0) (nand $0 (nand $0 $0)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $0) (nand $1 (nand $1 $1)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $0) (nand $2 (nand $2 $2)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $0) (nand $3 (nand $3 $3)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $0) (nand (nand $0 $0) $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $0) (nand (nand $1 $1) $1))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $0) (nand (nand $2 $2) $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $0) (nand (nand $3 $3) $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 (nand $3 $3)) (nand $0 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 (nand $3 $3)) (nand $3 $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $0 $0) $0) (nand $0 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $0 $0) $0) (nand $3 $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $1 $1) $1) (nand $0 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $1 $1) $1) (nand $3 $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $2 $2) $2) (nand $0 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $2 $2) $2) (nand $3 $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $3 $3) $3) (nand $0 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $3 $3) $3) (nand $3 $0))))))", "loglikelihood": 0.0}]}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool", "solutions": [{"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $1 $1) (nand $4 $4)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $4 $4) (nand $1 $1)))))))", "loglikelihood": 0.0}]}, {"task_tp": "bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool -> bool", "solutions": [{"logprior": -10.39720770839918, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $2) (nand $3 $3))))))", "loglikelihood": 0.0}, {"logprior": -10.39720770839918, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $3) (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $2) (nand $3 (nand $0 $2)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $2) (nand $3 (nand $1 $2)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $2) (nand $3 (nand $2 $0)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $2) (nand $3 (nand $2 $1)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $2) (nand $3 (nand $2 $2)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $2) (nand $3 (nand $2 $3)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $2) (nand $3 (nand $3 $2)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $2) (nand (nand $0 $2) $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $2) (nand (nand $1 $2) $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $2) (nand (nand $2 $0) $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $2) (nand (nand $2 $1) $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $2) (nand (nand $2 $2) $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $2) (nand (nand $2 $3) $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $2) (nand (nand $3 $2) $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 (nand $0 $3)) (nand $3 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 (nand $1 $3)) (nand $3 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 (nand $2 $3)) (nand $3 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 (nand $3 $0)) (nand $3 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 (nand $3 $1)) (nand $3 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 (nand $3 $2)) (nand $3 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 (nand $3 $3)) (nand $3 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $3) (nand $2 (nand $0 $3)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $3) (nand $2 (nand $1 $3)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $3) (nand $2 (nand $2 $3)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $3) (nand $2 (nand $3 $0)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $3) (nand $2 (nand $3 $1)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $3) (nand $2 (nand $3 $2)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $3) (nand $2 (nand $3 $3)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $3) (nand (nand $0 $3) $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $3) (nand (nand $1 $3) $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $3) (nand (nand $2 $3) $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $3) (nand (nand $3 $0) $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $3) (nand (nand $3 $1) $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $3) (nand (nand $3 $2) $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $3) (nand (nand $3 $3) $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 (nand $0 $2)) (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 (nand $1 $2)) (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 (nand $2 $0)) (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 (nand $2 $1)) (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 (nand $2 $2)) (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 (nand $2 $3)) (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 (nand $3 $2)) (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $0 $2) $3) (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $0 $3) $2) (nand $3 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $1 $2) $3) (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $1 $3) $2) (nand $3 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $2 $0) $3) (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $2 $1) $3) (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $2 $2) $3) (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $2 $3) $2) (nand $3 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $2 $3) $3) (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $3 $0) $2) (nand $3 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $3 $1) $2) (nand $3 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $3 $2) $2) (nand $3 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $3 $2) $3) (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $3 $3) $2) (nand $3 $3))))))", "loglikelihood": 0.0}]}, {"task_tp": "bool -> bool -> bool -> bool -> bool", "solutions": [{"logprior": -10.39720770839918, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 $3) (nand $1 $1))))))", "loglikelihood": 0.0}, {"logprior": -10.39720770839918, "expression": "(lambda (lambda (lambda (lambda (nand (nand $1 $1) (nand $0 $3))))))", "loglikelihood": 0.0}, {"logprior": -10.39720770839918, "expression": "(lambda (lambda (lambda (lambda (nand (nand $1 $1) (nand $3 $0))))))", "loglikelihood": 0.0}, {"logprior": -10.39720770839918, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $0) (nand $1 $1))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 $3) (nand $1 (nand $0 $3)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 $3) (nand $1 (nand $3 $0)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 $3) (nand (nand $0 $3) $1))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 $3) (nand (nand $3 $0) $1))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $1 (nand $0 $3)) (nand $0 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $1 (nand $0 $3)) (nand $3 $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $1 (nand $3 $0)) (nand $0 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $1 (nand $3 $0)) (nand $3 $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $0) (nand $1 (nand $0 $3)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $0) (nand $1 (nand $3 $0)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $0) (nand (nand $0 $3) $1))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $0) (nand (nand $3 $0) $1))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $0 $3) $1) (nand $0 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $0 $3) $1) (nand $3 $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $3 $0) $1) (nand $0 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $3 $0) $1) (nand $3 $0))))))", "loglikelihood": 0.0}]}, {"task_tp": "bool -> bool -> bool -> bool", "solutions": [{"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $2) (nand $1 (nand $0 $0))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $2) (nand $1 (nand $0 $1))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $2) (nand $1 (nand $1 $0))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $2) (nand (nand $0 $0) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $2) (nand (nand $0 $1) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $2) (nand (nand $1 $0) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $0 $0)) (nand $1 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $0 $0)) (nand $2 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $0 $1)) (nand $1 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $0 $1)) (nand $2 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $1 $0)) (nand $1 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $1 $0)) (nand $2 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $1) (nand $1 (nand $0 $0))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $1) (nand $1 (nand $0 $1))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $1) (nand $1 (nand $1 $0))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $1) (nand (nand $0 $0) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $1) (nand (nand $0 $1) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $1) (nand (nand $1 $0) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $0 $0) $1) (nand $1 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $0 $0) $1) (nand $2 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $0 $1) $1) (nand $1 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $0 $1) $1) (nand $2 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $1 $0) $1) (nand $1 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $1 $0) $1) (nand $2 $1)))))", "loglikelihood": 0.0}]}, {"task_tp": "bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool", "solutions": [{"logprior": -9.246479418592056, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -9.246479418592056, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand $1 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand $2 (nand $0 $1))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand $2 (nand $1 $0))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand $2 (nand $1 $1))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand $2 (nand $1 $2))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand $2 (nand $2 $1))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand (nand $0 $1) $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand (nand $1 $0) $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand (nand $1 $1) $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand (nand $1 $2) $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand (nand $2 $1) $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $0 $2)) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $1 $2)) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $2 $0)) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $2 $1)) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $2 $2)) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand $1 (nand $0 $2))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand $1 (nand $1 $2))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand $1 (nand $2 $0))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand $1 (nand $2 $1))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand $1 (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand (nand $0 $2) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand (nand $1 $2) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand (nand $2 $0) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand (nand $2 $1) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand (nand $2 $2) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 (nand $0 $1)) (nand $1 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 (nand $1 $0)) (nand $1 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 (nand $1 $1)) (nand $1 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 (nand $1 $2)) (nand $1 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 (nand $2 $1)) (nand $1 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $0 $1) $2) (nand $1 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $0 $2) $1) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $1 $0) $2) (nand $1 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $1 $1) $2) (nand $1 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $1 $2) $1) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $1 $2) $2) (nand $1 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $2 $0) $1) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $2 $1) $1) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $2 $1) $2) (nand $1 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $2 $2) $1) (nand $2 $2)))))", "loglikelihood": 0.0}]}, {"task_tp": "bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool", "solutions": [{"logprior": -9.246479418592056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -9.246479418592056, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand $0 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand $2 (nand $0 $0))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand $2 (nand $0 $1))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand $2 (nand $0 $2))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand $2 (nand $1 $0))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand $2 (nand $2 $0))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand (nand $0 $0) $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand (nand $0 $1) $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand (nand $0 $2) $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand (nand $1 $0) $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand (nand $2 $0) $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 (nand $0 $2)) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 (nand $1 $2)) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 (nand $2 $0)) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 (nand $2 $1)) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 (nand $2 $2)) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand $0 (nand $0 $2))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand $0 (nand $1 $2))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand $0 (nand $2 $0))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand $0 (nand $2 $1))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand $0 (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand (nand $0 $2) $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand (nand $1 $2) $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand (nand $2 $0) $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand (nand $2 $1) $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand (nand $2 $2) $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 (nand $0 $0)) (nand $0 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 (nand $0 $1)) (nand $0 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 (nand $0 $2)) (nand $0 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 (nand $1 $0)) (nand $0 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 (nand $2 $0)) (nand $0 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $0 $0) $2) (nand $0 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $0 $1) $2) (nand $0 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $0 $2) $0) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $0 $2) $2) (nand $0 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $1 $0) $2) (nand $0 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $1 $2) $0) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $2 $0) $0) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $2 $0) $2) (nand $0 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $2 $1) $0) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $2 $2) $0) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand $2 (nand $0 (nand $0 $0)))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand $2 (nand $0 (nand $0 $1)))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand $2 (nand $0 (nand $0 $2)))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand $2 (nand $0 (nand $1 $0)))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand $2 (nand $0 (nand $1 $1)))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand $2 (nand $0 (nand $1 $2)))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand $2 (nand $0 (nand $2 $0)))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand $2 (nand $0 (nand $2 $1)))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand $2 (nand $0 (nand $2 $2)))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand $2 (nand $1 (nand $1 $1)))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand $2 (nand $1 (nand $1 $2)))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand $2 (nand $1 (nand $2 $1)))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand $2 (nand $1 (nand $2 $2)))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand $2 (nand $2 (nand $2 $2)))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand $2 (nand (nand $0 $0) $0))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand $2 (nand (nand $0 $1) $0))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand $2 (nand (nand $0 $2) $0))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand $2 (nand (nand $1 $0) $0))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand $2 (nand (nand $1 $1) $0))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand $2 (nand (nand $1 $1) $1))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand $2 (nand (nand $1 $2) $0))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand $2 (nand (nand $1 $2) $1))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand $2 (nand (nand $2 $0) $0))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand $2 (nand (nand $2 $1) $0))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand $2 (nand (nand $2 $1) $1))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand $2 (nand (nand $2 $2) $0))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand $2 (nand (nand $2 $2) $1))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand $2 (nand (nand $2 $2) $2))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand (nand $0 (nand $0 $0)) $2)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand (nand $0 (nand $0 $1)) $2)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand (nand $0 (nand $0 $2)) $2)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand (nand $0 (nand $1 $0)) $2)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand (nand $0 (nand $1 $1)) $2)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand (nand $0 (nand $1 $2)) $2)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand (nand $0 (nand $2 $0)) $2)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand (nand $0 (nand $2 $1)) $2)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand (nand $0 (nand $2 $2)) $2)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand (nand $1 (nand $1 $1)) $2)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand (nand $1 (nand $1 $2)) $2)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand (nand $1 (nand $2 $1)) $2)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand (nand $1 (nand $2 $2)) $2)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand (nand $2 (nand $2 $2)) $2)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand (nand (nand $0 $0) $0) $2)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand (nand (nand $0 $1) $0) $2)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand (nand (nand $0 $2) $0) $2)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand (nand (nand $1 $0) $0) $2)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand (nand (nand $1 $1) $0) $2)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand (nand (nand $1 $1) $1) $2)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand (nand (nand $1 $2) $0) $2)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand (nand (nand $1 $2) $1) $2)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand (nand (nand $2 $0) $0) $2)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand (nand (nand $2 $1) $0) $2)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand (nand (nand $2 $1) $1) $2)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand (nand (nand $2 $2) $0) $2)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand (nand (nand $2 $2) $1) $2)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $0) (nand (nand (nand $2 $2) $2) $2)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 (nand $0 (nand $0 $0))) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 (nand $1 (nand $0 $0))) (nand $2 $2)))))", "loglikelihood": 0.0}]}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool", "solutions": [{"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand $1 (nand $1 $2))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand $1 (nand $2 $1))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand $1 (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand (nand $1 $2) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand (nand $2 $1) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand (nand $2 $2) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand $1 (nand $1 $2))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand $1 (nand $2 $1))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand $1 (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand (nand $1 $2) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand (nand $2 $1) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand (nand $2 $2) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $1 $2)) (nand $0 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $1 $2)) (nand $1 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $2 $1)) (nand $0 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $2 $1)) (nand $1 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $2 $2)) (nand $0 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $2 $2)) (nand $1 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $1 $2) $1) (nand $0 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $1 $2) $1) (nand $1 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $2 $1) $1) (nand $0 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $2 $1) $1) (nand $1 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $2 $2) $1) (nand $0 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $2 $2) $1) (nand $1 $0)))))", "loglikelihood": 0.0}]}, {"task_tp": "bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool", "solutions": [{"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $1 $3) (nand $1 $3)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $1 $3) (nand $3 $1)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $3 $1) (nand $1 $3)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $3 $1) (nand $3 $1)))))))", "loglikelihood": 0.0}]}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool", "solutions": [{"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $2) (nand $1 (nand $0 $0))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $2) (nand $1 (nand $0 $1))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $2) (nand $1 (nand $1 $0))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $2) (nand (nand $0 $0) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $2) (nand (nand $0 $1) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $2) (nand (nand $1 $0) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $0 $0)) (nand $0 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $0 $0)) (nand $2 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $0 $1)) (nand $0 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $0 $1)) (nand $2 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $1 $0)) (nand $0 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $1 $0)) (nand $2 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $0) (nand $1 (nand $0 $0))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $0) (nand $1 (nand $0 $1))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $0) (nand $1 (nand $1 $0))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $0) (nand (nand $0 $0) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $0) (nand (nand $0 $1) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $0) (nand (nand $1 $0) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $0 $0) $1) (nand $0 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $0 $0) $1) (nand $2 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $0 $1) $1) (nand $0 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $0 $1) $1) (nand $2 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $1 $0) $1) (nand $0 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $1 $0) $1) (nand $2 $0)))))", "loglikelihood": 0.0}]}, {"task_tp": "bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool", "solutions": [{"logprior": -9.246479418592056, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -9.246479418592056, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -9.246479418592056, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand $0 $1)))))", "loglikelihood": 0.0}, {"logprior": -9.246479418592056, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand $1 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand $2 (nand $0 $1))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand $2 (nand $1 $0))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand (nand $0 $1) $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand (nand $1 $0) $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand $2 (nand $0 $1))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand $2 (nand $1 $0))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand (nand $0 $1) $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand (nand $1 $0) $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 (nand $0 $1)) (nand $0 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 (nand $0 $1)) (nand $1 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 (nand $1 $0)) (nand $0 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 (nand $1 $0)) (nand $1 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $0 $1) $2) (nand $0 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $0 $1) $2) (nand $1 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $1 $0) $2) (nand $0 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $1 $0) $2) (nand $1 $0)))))", "loglikelihood": 0.0}]}, {"task_tp": "bool -> bool -> bool -> bool", "solutions": [{"logprior": -9.246479418592056, "expression": "(lambda (lambda (lambda (nand (nand $0 $2) (nand $1 $1)))))", "loglikelihood": 0.0}, {"logprior": -9.246479418592056, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand $0 $2)))))", "loglikelihood": 0.0}, {"logprior": -9.246479418592056, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand $2 $0)))))", "loglikelihood": 0.0}, {"logprior": -9.246479418592056, "expression": "(lambda (lambda (lambda (nand (nand $2 $0) (nand $1 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $2) (nand $1 (nand $0 $2))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $2) (nand $1 (nand $2 $0))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $2) (nand (nand $0 $2) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $0 $2) (nand (nand $2 $0) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $0 $2)) (nand $0 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $0 $2)) (nand $2 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $2 $0)) (nand $0 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $2 $0)) (nand $2 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $0) (nand $1 (nand $0 $2))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $0) (nand $1 (nand $2 $0))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $0) (nand (nand $0 $2) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $0) (nand (nand $2 $0) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $0 $2) $1) (nand $0 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $0 $2) $1) (nand $2 $0)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $2 $0) $1) (nand $0 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $2 $0) $1) (nand $2 $0)))))", "loglikelihood": 0.0}]}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool", "solutions": [{"logprior": -2.3025850929940455, "expression": "(lambda (lambda (lambda (lambda (lambda $1)))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $0 $1) (nand $1 $1)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $1 $0) (nand $1 $1)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $1 $1) (nand $0 $1)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $1 $1) (nand $1 $0)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $1 $1) (nand $1 $1)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $1 $1) (nand $1 $2)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $1 $1) (nand $1 $3)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $1 $1) (nand $1 $4)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $1 $1) (nand $2 $1)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $1 $1) (nand $3 $1)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $1 $1) (nand $4 $1)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $1 $2) (nand $1 $1)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $1 $3) (nand $1 $1)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $1 $4) (nand $1 $1)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $2 $1) (nand $1 $1)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $3 $1) (nand $1 $1)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $4 $1) (nand $1 $1)))))))", "loglikelihood": 0.0}]}, {"task_tp": "bool -> bool -> bool -> bool -> bool", "solutions": [{"logprior": -10.39720770839918, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 $0) (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -10.39720770839918, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $2) (nand $0 $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 $0) (nand $2 (nand $0 $0)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 $0) (nand $2 (nand $0 $1)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 $0) (nand $2 (nand $0 $2)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 $0) (nand $2 (nand $0 $3)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 $0) (nand $2 (nand $1 $0)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 $0) (nand $2 (nand $2 $0)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 $0) (nand $2 (nand $3 $0)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 $0) (nand (nand $0 $0) $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 $0) (nand (nand $0 $1) $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 $0) (nand (nand $0 $2) $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 $0) (nand (nand $0 $3) $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 $0) (nand (nand $1 $0) $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 $0) (nand (nand $2 $0) $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 $0) (nand (nand $3 $0) $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 (nand $0 $2)) (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 (nand $1 $2)) (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 (nand $2 $0)) (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 (nand $2 $1)) (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 (nand $2 $2)) (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 (nand $2 $3)) (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 (nand $3 $2)) (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $2) (nand $0 (nand $0 $2)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $2) (nand $0 (nand $1 $2)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $2) (nand $0 (nand $2 $0)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $2) (nand $0 (nand $2 $1)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $2) (nand $0 (nand $2 $2)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $2) (nand $0 (nand $2 $3)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $2) (nand $0 (nand $3 $2)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $2) (nand (nand $0 $2) $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $2) (nand (nand $1 $2) $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $2) (nand (nand $2 $0) $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $2) (nand (nand $2 $1) $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $2) (nand (nand $2 $2) $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $2) (nand (nand $2 $3) $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $2) (nand (nand $3 $2) $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 (nand $0 $0)) (nand $0 $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 (nand $0 $1)) (nand $0 $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 (nand $0 $2)) (nand $0 $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 (nand $0 $3)) (nand $0 $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 (nand $1 $0)) (nand $0 $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 (nand $2 $0)) (nand $0 $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 (nand $3 $0)) (nand $0 $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $0 $0) $2) (nand $0 $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $0 $1) $2) (nand $0 $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $0 $2) $0) (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $0 $2) $2) (nand $0 $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $0 $3) $2) (nand $0 $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $1 $0) $2) (nand $0 $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $1 $2) $0) (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $2 $0) $0) (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $2 $0) $2) (nand $0 $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $2 $1) $0) (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $2 $2) $0) (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $2 $3) $0) (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $3 $0) $2) (nand $0 $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $3 $2) $0) (nand $2 $2))))))", "loglikelihood": 0.0}]}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool", "solutions": [{"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $0 $1) (nand $1 $3)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $0 $1) (nand $3 $1)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $1 $0) (nand $1 $3)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $1 $0) (nand $3 $1)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $1 $3) (nand $0 $1)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $1 $3) (nand $1 $0)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $3 $1) (nand $0 $1)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $3 $1) (nand $1 $0)))))))", "loglikelihood": 0.0}]}, {"task_tp": "bool -> bool -> bool -> bool", "solutions": [{"logprior": -9.246479418592056, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -9.246479418592056, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand $1 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand $2 (nand $0 $1))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand $2 (nand $1 $0))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand $2 (nand $1 $1))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand $2 (nand $1 $2))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand $2 (nand $2 $1))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand (nand $0 $1) $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand (nand $1 $0) $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand (nand $1 $1) $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand (nand $1 $2) $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 $1) (nand (nand $2 $1) $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $0 $2)) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $1 $2)) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $2 $0)) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $2 $1)) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $2 $2)) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand $1 (nand $0 $2))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand $1 (nand $1 $2))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand $1 (nand $2 $0))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand $1 (nand $2 $1))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand $1 (nand $2 $2))))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand (nand $0 $2) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand (nand $1 $2) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand (nand $2 $0) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand (nand $2 $1) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 $2) (nand (nand $2 $2) $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 (nand $0 $1)) (nand $1 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 (nand $1 $0)) (nand $1 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 (nand $1 $1)) (nand $1 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 (nand $1 $2)) (nand $1 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand $2 (nand $2 $1)) (nand $1 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $0 $1) $2) (nand $1 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $0 $2) $1) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $1 $0) $2) (nand $1 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $1 $1) $2) (nand $1 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $1 $2) $1) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $1 $2) $2) (nand $1 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $2 $0) $1) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $2 $1) $1) (nand $2 $2)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $2 $1) $2) (nand $1 $1)))))", "loglikelihood": 0.0}, {"logprior": -11.731386068380058, "expression": "(lambda (lambda (lambda (nand (nand (nand $2 $2) $1) (nand $2 $2)))))", "loglikelihood": 0.0}]}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool", "solutions": [{"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $1 $3) (nand $1 $3)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $1 $3) (nand $3 $1)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $3 $1) (nand $1 $3)))))))", "loglikelihood": 0.0}, {"logprior": -11.289781913656018, "expression": "(lambda (lambda (lambda (lambda (lambda (nand (nand $3 $1) (nand $3 $1)))))))", "loglikelihood": 0.0}]}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool", "solutions": [{"logprior": -9.246479418592056, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand $1 $2)))))", "loglikelihood": 0.0}, {"logprior": -9.246479418592056, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand $2 $1)))))", "loglikelihood": 0.0}, {"logprior": -9.246479418592056, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand $1 $2)))))", "loglikelihood": 0.0}, {"logprior": -9.246479418592056, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand $2 $1)))))", "loglikelihood": 0.0}, {"logprior": -9.246479418592056, "expression": "(lambda (lambda (lambda (nand (nand $1 $2) (nand $0 $1)))))", "loglikelihood": 0.0}, {"logprior": -9.246479418592056, "expression": "(lambda (lambda (lambda (nand (nand $1 $2) (nand $1 $0)))))", "loglikelihood": 0.0}, {"logprior": -9.246479418592056, "expression": "(lambda (lambda (lambda (nand (nand $2 $1) (nand $0 $1)))))", "loglikelihood": 0.0}, {"logprior": -9.246479418592056, "expression": "(lambda (lambda (lambda (nand (nand $2 $1) (nand $1 $0)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand $1 (nand $1 (nand $1 $2)))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand $1 (nand $1 (nand $2 $1)))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand $1 (nand $1 (nand $2 $2)))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand $1 (nand (nand $1 $2) $1))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand $1 (nand (nand $2 $1) $1))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand $1 (nand (nand $2 $2) $1))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand $2 (nand $2 (nand $1 $1)))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand $2 (nand $2 (nand $1 $2)))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand $2 (nand $2 (nand $2 $1)))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand $2 (nand (nand $1 $1) $2))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand $2 (nand (nand $1 $2) $2))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand $2 (nand (nand $2 $1) $2))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand (nand $1 (nand $1 $2)) $1)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand (nand $1 (nand $2 $1)) $1)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand (nand $1 (nand $2 $2)) $1)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand (nand $2 (nand $1 $1)) $2)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand (nand $2 (nand $1 $2)) $2)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand (nand $2 (nand $2 $1)) $2)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand (nand (nand $1 $1) $2) $2)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand (nand (nand $1 $2) $1) $1)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand (nand (nand $1 $2) $2) $2)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand (nand (nand $2 $1) $1) $1)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand (nand (nand $2 $1) $2) $2)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 $1) (nand (nand (nand $2 $2) $1) $1)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 (nand $0 (nand $0 $1))) (nand $1 $2)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 (nand $0 (nand $0 $1))) (nand $2 $1)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 (nand $0 (nand $1 $0))) (nand $1 $2)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 (nand $0 (nand $1 $0))) (nand $2 $1)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 (nand $0 (nand $1 $1))) (nand $1 $2)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 (nand $0 (nand $1 $1))) (nand $2 $1)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 (nand (nand $0 $1) $0)) (nand $1 $2)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 (nand (nand $0 $1) $0)) (nand $2 $1)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 (nand (nand $1 $0) $0)) (nand $1 $2)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 (nand (nand $1 $0) $0)) (nand $2 $1)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 (nand (nand $1 $1) $0)) (nand $1 $2)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $0 (nand (nand $1 $1) $0)) (nand $2 $1)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand $1 (nand $1 (nand $1 $2)))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand $1 (nand $1 (nand $2 $1)))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand $1 (nand $1 (nand $2 $2)))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand $1 (nand (nand $1 $2) $1))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand $1 (nand (nand $2 $1) $1))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand $1 (nand (nand $2 $2) $1))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand $2 (nand $2 (nand $1 $1)))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand $2 (nand $2 (nand $1 $2)))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand $2 (nand $2 (nand $2 $1)))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand $2 (nand (nand $1 $1) $2))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand $2 (nand (nand $1 $2) $2))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand $2 (nand (nand $2 $1) $2))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand (nand $1 (nand $1 $2)) $1)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand (nand $1 (nand $2 $1)) $1)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand (nand $1 (nand $2 $2)) $1)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand (nand $2 (nand $1 $1)) $2)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand (nand $2 (nand $1 $2)) $2)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand (nand $2 (nand $2 $1)) $2)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand (nand (nand $1 $1) $2) $2)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand (nand (nand $1 $2) $1) $1)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand (nand (nand $1 $2) $2) $2)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand (nand (nand $2 $1) $1) $1)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand (nand (nand $2 $1) $2) $2)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 $0) (nand (nand (nand $2 $2) $1) $1)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 $2) (nand $0 (nand $0 (nand $0 $1)))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 $2) (nand $0 (nand $0 (nand $1 $0)))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 $2) (nand $0 (nand $0 (nand $1 $1)))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 $2) (nand $0 (nand (nand $0 $1) $0))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 $2) (nand $0 (nand (nand $1 $0) $0))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 $2) (nand $0 (nand (nand $1 $1) $0))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 $2) (nand $1 (nand $1 (nand $0 $0)))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 $2) (nand $1 (nand $1 (nand $0 $1)))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 $2) (nand $1 (nand $1 (nand $1 $0)))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 $2) (nand $1 (nand (nand $0 $0) $1))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 $2) (nand $1 (nand (nand $0 $1) $1))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 $2) (nand $1 (nand (nand $1 $0) $1))))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 $2) (nand (nand $0 (nand $0 $1)) $0)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 $2) (nand (nand $0 (nand $1 $0)) $0)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 $2) (nand (nand $0 (nand $1 $1)) $0)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 $2) (nand (nand $1 (nand $0 $0)) $1)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 $2) (nand (nand $1 (nand $0 $1)) $1)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 $2) (nand (nand $1 (nand $1 $0)) $1)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 $2) (nand (nand (nand $0 $0) $1) $1)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 $2) (nand (nand (nand $0 $1) $0) $0)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 $2) (nand (nand (nand $0 $1) $1) $1)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 $2) (nand (nand (nand $1 $0) $0) $0)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 $2) (nand (nand (nand $1 $0) $1) $1)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 $2) (nand (nand (nand $1 $1) $0) $0)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $1 (nand $0 $0))) (nand $1 $2)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $1 (nand $0 $0))) (nand $2 $1)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $1 (nand $0 $1))) (nand $1 $2)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $1 (nand $0 $1))) (nand $2 $1)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $1 (nand $1 $0))) (nand $1 $2)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $1 (nand $1 $0))) (nand $2 $1)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $1 (nand $1 $2))) (nand $0 $1)))))", "loglikelihood": 0.0}, {"logprior": -14.216292718168056, "expression": "(lambda (lambda (lambda (nand (nand $1 (nand $1 (nand $1 $2))) (nand $1 $0)))))", "loglikelihood": 0.0}]}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool -> bool -> bool", "solutions": []}, {"task_tp": "bool -> bool -> bool -> bool -> bool", "solutions": [{"logprior": -10.39720770839918, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $3) (nand $2 $3))))))", "loglikelihood": 0.0}, {"logprior": -10.39720770839918, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $3) (nand $3 $2))))))", "loglikelihood": 0.0}, {"logprior": -10.39720770839918, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $2) (nand $2 $3))))))", "loglikelihood": 0.0}, {"logprior": -10.39720770839918, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $2) (nand $3 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 (nand $0 $0)) (nand $2 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $0 (nand $0 $0)) (nand $3 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $1 (nand $1 $1)) (nand $2 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $1 (nand $1 $1)) (nand $3 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $3) (nand $0 (nand $0 $0)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $3) (nand $1 (nand $1 $1)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $3) (nand $2 (nand $2 $2)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $3) (nand $3 (nand $3 $3)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $3) (nand (nand $0 $0) $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $3) (nand (nand $1 $1) $1))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $3) (nand (nand $2 $2) $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 $3) (nand (nand $3 $3) $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 (nand $2 $2)) (nand $2 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $2 (nand $2 $2)) (nand $3 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $2) (nand $0 (nand $0 $0)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $2) (nand $1 (nand $1 $1)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $2) (nand $2 (nand $2 $2)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $2) (nand $3 (nand $3 $3)))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $2) (nand (nand $0 $0) $0))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $2) (nand (nand $1 $1) $1))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $2) (nand (nand $2 $2) $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 $2) (nand (nand $3 $3) $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 (nand $3 $3)) (nand $2 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand $3 (nand $3 $3)) (nand $3 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $0 $0) $0) (nand $2 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $0 $0) $0) (nand $3 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $1 $1) $1) (nand $2 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $1 $1) $1) (nand $3 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $2 $2) $2) (nand $2 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $2 $2) $2) (nand $3 $2))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $3 $3) $3) (nand $2 $3))))))", "loglikelihood": 0.0}, {"logprior": -13.16979643063896, "expression": "(lambda (lambda (lambda (lambda (nand (nand (nand $3 $3) $3) (nand $3 $2))))))", "loglikelihood": 0.0}]}], "params": {"structure_penalty": 1, "pseudocounts": 5, "topk": 2, "arity": 2, "aic": 1.0}, "variable_logprob": 0.0, "inventions": []}