{
"arity": 3,
"topK": 2,
"pseudoCounts": 30.0,
"aic": 1.0,
"bs": 1000000,
"topI": 300,
"structurePenalty": 1.5,
"CPUs": 1,
"lc_score": 0.0,
"DSL": {
"logVariable": -0.5229609747639952,
"productions": [{
"expression": "#(lambda (#(lambda (logo_forLoop 5 (lambda (lambda (logo_forLoop 8 (lambda (lambda (logo_FWRT $4 logo_epsA $0))) $0))))) (logo_MULL logo_epsL $0)))",
"logProbability": -1.194253007668455
},
{
"expression": "#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) $0 (logo_DIVA logo_UA $0)))",
"logProbability": -1.2241947071035146
},
{
"expression": "#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA)",
"logProbability": -1.194294806228017
},
{
"expression": "#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY (logo_DIVA logo_epsA 2) logo_epsL)",
"logProbability": -1.2548761561124202
},
{
"expression": "#(lambda (lambda (lambda (logo_forLoop $0 (lambda (lambda (logo_FWRT (logo_MULL $4 $1) $3 $0)))))))",
"logProbability": -1.2241045210438752
},
{
"expression": "#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY (logo_SUBA logo_ZA logo_epsA) (logo_MULL logo_epsL $0)))",
"logProbability": -1.2241126972801237
},
{
"expression": "#(logo_DIVA logo_UA 4)",
"logProbability": -0.3416622335634898
},
{
"expression": "#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0)))))))",
"logProbability": -1.171622916115818
},
{
"expression": "#(lambda (logo_forLoop 5 (lambda (lambda (logo_forLoop 8 (lambda (lambda (logo_FWRT $4 logo_epsA $0))) $0)))))",
"logProbability": -1.2548877826398974
},
{
"expression": "logo_UA",
"logProbability": -0.44982253709538655
},
{
"expression": "logo_UL",
"logProbability": -0.3158216977040915
},
{
"expression": "logo_ZA",
"logProbability": -0.5284262929641756
},
{
"expression": "logo_ZL",
"logProbability": -0.6923460851099907
},
{
"expression": "logo_DIVA",
"logProbability": -0.5203525259837694
},
{
"expression": "logo_MULA",
"logProbability": -0.5378584310042998
},
{
"expression": "logo_DIVL",
"logProbability": -0.7045696594366047
},
{
"expression": "logo_MULL",
"logProbability": -0.6244218733654003
},
{
"expression": "logo_ADDA",
"logProbability": -0.6037185152027194
},
{
"expression": "logo_SUBA",
"logProbability": -0.5837589818955347
},
{
"expression": "logo_PT",
"logProbability": -1.253826147208239
},
{
"expression": "logo_FWRT",
"logProbability": -1.002277259608618
},
{
"expression": "logo_GETSET",
"logProbability": -1.2846644785784305
},
{
"expression": "logo_IFTY",
"logProbability": -0.77712850943526
},
{
"expression": "logo_epsA",
"logProbability": -0.5013542799922117
},
{
"expression": "logo_epsL",
"logProbability": -0.679779974067368
},
{
"expression": "logo_forLoop",
"logProbability": -1.164131943667301
},
{
"expression": "0",
"logProbability": -0.810254240210694
},
{
"expression": "1",
"logProbability": -0.810254240210694
},
{
"expression": "2",
"logProbability": -0.6571419724198981
},
{
"expression": "3",
"logProbability": -0.6491988550881267
},
{
"expression": "4",
"logProbability": -0.5585835541853199
},
{
"expression": "5",
"logProbability": -0.6333628016939432
},
{
"expression": "6",
"logProbability": -0.7456611706774665
},
{
"expression": "7",
"logProbability": -0.7090575095588703
},
{
"expression": "8",
"logProbability": -0.726663063119362
},
{
"expression": "9",
"logProbability": -0.7457121284222921
}
],
"continuationType": {
"constructor": "turtle",
"arguments": []
}
},
"iterations": 20,
"frontiers": [{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "3-gon (*d 1l 2)",
"programs": [{
"program": "(lambda (logo_forLoop 3 (lambda (lambda (logo_FWRT (logo_MULL logo_UL 2) (logo_MULA (logo_DIVA logo_UA 3) 4) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 3 (lambda (lambda (logo_FWRT (logo_MULL (logo_DIVL logo_UL 2) 4) (logo_DIVA logo_UA 3) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 3 (lambda (lambda (logo_FWRT (logo_MULL logo_UL 2) (logo_MULA (logo_DIVA logo_UA 9) 3) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 3 (lambda (lambda (logo_FWRT (logo_MULL (logo_DIVL logo_UL 4) 8) (logo_DIVA logo_UA 3) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 3 (lambda (lambda (logo_FWRT (logo_MULL logo_UL 2) (logo_DIVA logo_UA 3) $0))) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "4-gon (*d 1d 4)",
"programs": [{
"program": "(lambda (logo_forLoop 4 (lambda (lambda (logo_FWRT (logo_MULL logo_UL 4) (logo_ADDA (logo_DIVA logo_UA 4) logo_UA) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 4 (lambda (lambda (logo_FWRT (logo_MULL logo_UL 4) (logo_DIVA logo_UA 4) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 4 (lambda (lambda (logo_FWRT (logo_MULL logo_UL 4) (logo_MULA (logo_DIVA logo_UA 4) 9) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 4 (lambda (lambda (logo_FWRT (logo_MULL logo_UL 4) (logo_MULA (logo_DIVA logo_UA 4) 3) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 4 (lambda (lambda (logo_FWRT (logo_MULL logo_UL 4) (logo_MULA (logo_DIVA logo_UA 4) 7) $0))) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "5-gon (*d 1d 2)",
"programs": [{
"program": "(lambda (logo_forLoop 5 (lambda (lambda (logo_FWRT (logo_MULL logo_UL 2) (logo_DIVA logo_UA 5) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 5 (lambda (lambda (logo_FWRT (logo_MULL (logo_DIVL logo_UL 2) 4) (logo_DIVA logo_UA 5) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 5 (lambda (lambda (logo_FWRT (logo_MULL logo_UL 2) (logo_ADDA (logo_DIVA logo_UA 5) logo_UA) $0))) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "7-gon (*d 1d 3)",
"programs": [{
"program": "(lambda (logo_forLoop 7 (lambda (lambda (logo_FWRT (logo_MULL logo_UL 3) (logo_ADDA (logo_DIVA logo_UA 7) logo_UA) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 7 (lambda (lambda (logo_FWRT (logo_MULL logo_UL 3) (logo_MULA (logo_SUBA logo_UA (logo_DIVA logo_UA 7)) 6) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 7 (lambda (lambda (logo_FWRT (logo_MULL (logo_DIVL logo_UL 2) 6) (logo_DIVA logo_UA 7) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 7 (lambda (lambda (logo_FWRT (logo_MULL logo_UL 3) (logo_DIVA logo_UA 7) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 7 (lambda (lambda (logo_FWRT (logo_MULL logo_UL 3) (logo_SUBA (logo_DIVA logo_UA 7) logo_UA) $0))) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "Greek spiral 6",
"programs": [{
"program": "(lambda (logo_forLoop 6 (lambda (lambda (logo_FWRT (logo_MULL logo_UL $1) (logo_SUBA (logo_DIVA logo_UA 4) logo_UA) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 6 (lambda (lambda (logo_FWRT (logo_MULL logo_UL $1) (logo_MULA (logo_SUBA (logo_DIVA logo_UA 4) logo_UA) 9) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 6 (lambda (lambda (logo_FWRT (logo_MULL logo_UL $1) (logo_MULA (logo_DIVA logo_UA 4) 9) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 6 (lambda (lambda (logo_FWRT (logo_MULL logo_UL $1) (logo_DIVA logo_UA 4) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 6 (lambda (lambda (logo_FWRT (logo_MULL logo_UL $1) (logo_ADDA (logo_DIVA logo_UA 4) logo_UA) $0))) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "Greek spiral 9",
"programs": [{
"program": "(lambda (logo_forLoop 9 (lambda (lambda (logo_FWRT (logo_MULL logo_UL $1) (logo_ADDA (logo_DIVA logo_UA 4) logo_UA) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 9 (lambda (lambda (logo_FWRT (logo_MULL logo_UL $1) (logo_MULA (logo_ADDA (logo_DIVA logo_UA 4) logo_UA) 9) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 9 (lambda (lambda (logo_FWRT (logo_MULL logo_UL $1) (logo_DIVA logo_UA 4) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 9 (lambda (lambda (logo_FWRT (logo_MULL logo_UL $1) (logo_SUBA (logo_DIVA logo_UA 4) logo_UA) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 9 (lambda (lambda (logo_FWRT (logo_MULL logo_UL $1) (logo_MULA (logo_DIVA logo_UA 4) 9) $0))) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "smooth spiral 2",
"programs": [{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT (logo_MULL logo_epsL $1) (logo_DIVA logo_UA logo_IFTY) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT (logo_MULL logo_epsL $1) (logo_ADDA logo_epsA logo_epsA) $0))) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "smooth spiral 4",
"programs": [{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT (logo_MULL logo_epsL $1) (logo_MULA logo_epsA 4) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT (logo_MULL logo_epsL $1) (logo_MULA (logo_SUBA logo_epsA logo_UA) 4) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT (logo_MULL logo_epsL $1) (logo_SUBA (logo_DIVA logo_UA 8) logo_epsA) $0))) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "star 3",
"programs": [{
"program": "(lambda (logo_forLoop 3 (lambda (lambda (logo_FWRT (logo_MULL logo_UL 4) (logo_MULA (logo_DIVA logo_UA 3) 4) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 3 (lambda (lambda (logo_FWRT (logo_MULL logo_UL 4) (logo_MULA (logo_DIVA logo_UA 3) 7) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 3 (lambda (lambda (logo_FWRT (logo_MULL logo_UL 4) (logo_MULA (logo_DIVA logo_UA 6) 8) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 3 (lambda (lambda (logo_FWRT (logo_MULL logo_UL 4) (logo_DIVA logo_UA 3) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 3 (lambda (lambda (logo_FWRT (logo_MULL logo_UL 4) (logo_MULA (logo_DIVA logo_UA 9) 3) $0))) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "star 7",
"programs": [{
"program": "(lambda (logo_forLoop 7 (lambda (lambda (logo_FWRT (logo_MULL logo_UL 4) (logo_MULA (logo_SUBA logo_ZA (logo_DIVA logo_UA 7)) 4) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 7 (lambda (lambda (logo_FWRT (logo_MULL logo_UL 4) (logo_SUBA logo_UA (logo_MULA (logo_DIVA logo_UA 7) 4)) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 7 (lambda (lambda (logo_FWRT (logo_MULL logo_UL 4) (logo_SUBA logo_ZA (logo_MULA (logo_DIVA logo_UA 7) 4)) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 7 (lambda (lambda (logo_FWRT (logo_MULL logo_UL 4) (logo_MULA (logo_DIVA logo_UA 7) 3) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 7 (lambda (lambda (logo_FWRT (logo_MULL logo_UL 4) (logo_MULA (logo_SUBA logo_UA (logo_DIVA logo_UA 7)) 4) $0))) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "right semicircle of size 1",
"programs": [{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT logo_epsL (logo_SUBA logo_UA logo_epsA) $0))) (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT logo_ZL logo_epsA $0))) $0)))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT logo_ZL logo_epsA (logo_FWRT logo_epsL (logo_SUBA logo_epsA logo_epsA) $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT logo_epsL (logo_SUBA logo_ZA logo_epsA) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT logo_epsL (logo_SUBA logo_UA logo_epsA) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT logo_epsL (logo_SUBA logo_ZA logo_epsA) $0))) (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT logo_ZL logo_epsA $0))) $0)))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "left semicircle of size 2",
"programs": [{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT (logo_MULL logo_epsL 2) (logo_ADDA logo_epsA logo_UA) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT (logo_MULL logo_epsL 2) (logo_SUBA (logo_DIVA logo_UA logo_IFTY) logo_epsA) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT (logo_MULL logo_epsL 2) (logo_SUBA logo_epsA logo_UA) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT (logo_MULL logo_epsL 2) (logo_SUBA logo_ZA (logo_SUBA logo_ZA logo_epsA)) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT (logo_MULL logo_epsL 2) logo_epsA $0))) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "circle of size 2",
"programs": [{
"program": "(lambda (logo_forLoop 5 (lambda (lambda (logo_forLoop 8 (lambda (lambda (logo_FWRT (logo_MULL logo_epsL 2) logo_epsA $0))) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 8 (lambda (lambda (logo_forLoop 5 (lambda (lambda (logo_FWRT (logo_MULL logo_epsL 2) (logo_ADDA logo_epsA logo_UA) $0))) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 5 (lambda (lambda (logo_forLoop 8 (lambda (lambda (logo_FWRT (logo_MULL logo_epsL 2) (logo_ADDA logo_epsA logo_UA) $0))) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 5 (lambda (lambda (logo_forLoop 8 (lambda (lambda (logo_FWRT (logo_DIVL (logo_DIVL logo_UL 2) 5) logo_epsA $0))) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 8 (lambda (lambda (logo_forLoop 5 (lambda (lambda (logo_FWRT (logo_MULL logo_epsL 2) logo_epsA $0))) $0))) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "right semicircle of size 3",
"programs": [{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT (logo_MULL logo_epsL 3) (logo_SUBA logo_UA logo_epsA) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT (logo_MULL logo_epsL 3) (logo_SUBA (logo_MULA (logo_SUBA logo_epsA logo_epsA) 4) logo_epsA) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT (logo_MULL logo_epsL 3) (logo_SUBA logo_ZA (logo_ADDA logo_epsA logo_UA)) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT (logo_MULL logo_epsL 3) (logo_SUBA logo_ZA logo_epsA) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT (logo_MULL logo_epsL 3) (logo_SUBA logo_UA (logo_ADDA logo_epsA logo_UA)) $0))) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "left semicircle of size 4",
"programs": [{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT (logo_MULL logo_epsL 4) (logo_SUBA logo_epsA logo_UA) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT (logo_DIVL logo_UL 5) logo_epsA $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT (logo_MULL logo_epsL 4) (logo_SUBA (logo_DIVA logo_UA logo_IFTY) logo_epsA) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT (logo_MULL logo_epsL 4) logo_epsA $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT (logo_MULL logo_epsL 4) (logo_ADDA logo_epsA logo_UA) $0))) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "right semicircle of size 5",
"programs": [{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT (logo_DIVL logo_UL 4) (logo_SUBA logo_ZA (logo_ADDA logo_epsA logo_UA)) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT (logo_DIVL logo_UL 4) (logo_SUBA logo_ZA logo_epsA) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT (logo_DIVL logo_UL 4) (logo_SUBA logo_UA logo_epsA) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT (logo_MULL logo_epsL 5) (logo_SUBA logo_ZA logo_epsA) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT (logo_MULL logo_epsL 5) (logo_SUBA logo_UA logo_epsA) $0))) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "left semicircle of size 6",
"programs": [{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT (logo_MULL logo_epsL 6) (logo_SUBA logo_ZA (logo_SUBA logo_ZA logo_epsA)) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT (logo_MULL logo_epsL 6) (logo_SUBA (logo_DIVA logo_UA logo_IFTY) logo_epsA) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT (logo_MULL logo_epsL 6) logo_epsA $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT (logo_MULL logo_epsL 6) (logo_SUBA logo_epsA logo_UA) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT (logo_MULL logo_epsL 6) (logo_ADDA logo_epsA logo_UA) $0))) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "6 enclosed circles",
"programs": [{
"program": "(lambda (logo_forLoop 6 (lambda (lambda (logo_forLoop 8 (lambda (lambda (logo_forLoop 5 (lambda (lambda (logo_FWRT (logo_MULL logo_epsL $5) logo_epsA $0))) $0))) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 6 (lambda (lambda (logo_forLoop 5 (lambda (lambda (logo_forLoop 8 (lambda (lambda (logo_FWRT (logo_MULL logo_epsL $5) logo_epsA $0))) $0))) $0))) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "1-semicircle sequence L=1",
"programs": [{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT logo_epsL logo_epsA $0))) (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT logo_epsL (logo_SUBA logo_ZA logo_epsA) $0))) (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT logo_ZL logo_epsA $0))) $0))))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT logo_epsL logo_epsA $0))) (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT logo_epsL (logo_SUBA logo_UA logo_epsA) $0))) (logo_forLoop 5 (lambda (lambda (logo_FWRT logo_ZL logo_epsA $0))) $0))))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT logo_epsL logo_epsA $0))) (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT logo_epsL (logo_SUBA logo_UA logo_epsA) $0))) $0)))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT logo_epsL logo_epsA $0))) (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT logo_epsL (logo_SUBA logo_ZA logo_epsA) $0))) $0)))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT logo_epsL logo_epsA $0))) (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT logo_epsL (logo_SUBA logo_UA logo_epsA) $0))) (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT logo_ZL logo_epsA $0))) $0))))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "row of 3 lines",
"programs": [{
"program": "(lambda (logo_forLoop 3 (lambda (lambda (logo_FWRT logo_UL logo_UA (logo_PT (lambda (logo_FWRT logo_UL logo_UA $0)) $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 3 (lambda (lambda (logo_FWRT (logo_MULL logo_epsL logo_IFTY) logo_UA (logo_PT (lambda (logo_FWRT logo_UL logo_UA $0)) $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 3 (lambda (lambda (logo_FWRT (logo_DIVL logo_UL 2) logo_UA (logo_FWRT (logo_DIVL logo_UL 2) logo_UA (logo_PT (lambda (logo_FWRT logo_UL logo_UA $0)) $0))))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 3 (lambda (lambda (logo_FWRT logo_UL logo_UA (logo_PT (lambda (logo_FWRT (logo_DIVL logo_UL 2) logo_UA (logo_FWRT (logo_DIVL logo_UL 2) logo_UA $0))) $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 3 (lambda (lambda (logo_FWRT logo_UL logo_UA (logo_PT (lambda (logo_FWRT (logo_MULL logo_epsL logo_IFTY) logo_UA $0)) $0)))) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "4 dashed lines of size (/d 1d 3)",
"programs": [{
"program": "(lambda (logo_forLoop 4 (lambda (lambda (logo_FWRT (logo_DIVL logo_UL 3) logo_UA (logo_PT (lambda (logo_FWRT logo_UL logo_UA $0)) $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 4 (lambda (lambda (logo_FWRT (logo_MULL (logo_DIVL logo_UL 6) 2) logo_UA (logo_PT (lambda (logo_FWRT logo_UL logo_UA $0)) $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 4 (lambda (lambda (logo_FWRT (logo_DIVL logo_UL 3) logo_UA (logo_PT (lambda (logo_FWRT (logo_MULL logo_epsL logo_IFTY) logo_UA $0)) $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 4 (lambda (lambda (logo_FWRT (logo_DIVL logo_UL 3) logo_UA (logo_PT (lambda (logo_FWRT (logo_DIVL logo_UL 2) logo_UA (logo_FWRT (logo_DIVL logo_UL 2) logo_UA $0))) $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 4 (lambda (lambda (logo_FWRT (logo_DIVL logo_UL 3) logo_UA (logo_PT (lambda (logo_FWRT (logo_DIVL logo_UL 2) logo_UA (logo_PT (lambda (logo_FWRT (logo_DIVL logo_UL 2) logo_UA $0)) $0))) $0)))) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "3-empty snowflake",
"programs": [{
"program": "(lambda (logo_forLoop 3 (lambda (lambda (logo_GETSET (lambda (logo_FWRT logo_UL (logo_DIVA logo_UA 7) $0)) (logo_FWRT logo_ZL (logo_DIVA logo_UA 3) $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 3 (lambda (lambda (logo_GETSET (lambda (logo_FWRT logo_UL (logo_DIVA logo_UA 5) $0)) (logo_FWRT logo_ZL (logo_DIVA logo_UA 3) $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 3 (lambda (lambda (logo_GETSET (lambda (logo_FWRT logo_UL logo_epsA $0)) (logo_FWRT logo_ZL (logo_DIVA logo_UA 3) $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 3 (lambda (lambda (logo_GETSET (lambda (logo_FWRT logo_UL (logo_DIVA logo_UA 9) $0)) (logo_FWRT logo_ZL (logo_DIVA logo_UA 3) $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 3 (lambda (lambda (logo_GETSET (lambda (logo_FWRT logo_UL (logo_DIVA logo_UA 8) $0)) (logo_FWRT logo_ZL (logo_DIVA logo_UA 3) $0)))) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "5-empty snowflake",
"programs": [{
"program": "(lambda (logo_forLoop 5 (lambda (lambda (logo_GETSET (lambda (logo_FWRT logo_UL (logo_DIVA logo_UA 8) $0)) (logo_FWRT logo_ZL (logo_DIVA logo_UA 5) $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 5 (lambda (lambda (logo_GETSET (lambda (logo_FWRT logo_UL (logo_DIVA logo_UA 7) $0)) (logo_FWRT logo_ZL (logo_DIVA logo_UA 5) $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 5 (lambda (lambda (logo_GETSET (lambda (logo_FWRT logo_UL (logo_DIVA logo_UA 7) $0)) (logo_FWRT logo_ZL (logo_MULA logo_epsA 8) $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 5 (lambda (lambda (logo_GETSET (lambda (logo_FWRT logo_UL logo_epsA $0)) (logo_FWRT logo_ZL (logo_MULA logo_epsA 8) $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 5 (lambda (lambda (logo_GETSET (lambda (logo_FWRT logo_UL logo_epsA $0)) (logo_FWRT logo_ZL (logo_DIVA logo_UA 5) $0)))) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "6-empty snowflake",
"programs": [{
"program": "(lambda (logo_forLoop 6 (lambda (lambda (logo_GETSET (lambda (logo_FWRT logo_UL (logo_DIVA logo_UA 7) $0)) (logo_FWRT logo_ZL (logo_DIVA logo_UA 6) $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 6 (lambda (lambda (logo_GETSET (lambda (logo_FWRT logo_UL logo_epsA $0)) (logo_FWRT logo_ZL (logo_DIVA logo_UA 6) $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 6 (lambda (lambda (logo_GETSET (lambda (logo_FWRT logo_UL (logo_DIVA logo_UA 8) $0)) (logo_FWRT logo_ZL (logo_DIVA logo_UA 6) $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 6 (lambda (lambda (logo_GETSET (lambda (logo_FWRT logo_UL logo_UA $0)) (logo_FWRT logo_ZL (logo_DIVA logo_UA 6) $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 6 (lambda (lambda (logo_GETSET (lambda (logo_FWRT logo_UL (logo_DIVA logo_UA 5) $0)) (logo_FWRT logo_ZL (logo_DIVA logo_UA 6) $0)))) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "2x2 grid",
"programs": [{
"program": "(lambda (logo_forLoop 4 (lambda (lambda (logo_GETSET (lambda (logo_FWRT logo_UL (logo_DIVA logo_UA 4) (logo_FWRT (logo_MULL logo_UL 2) (logo_DIVA logo_UA 4) $0))) (logo_FWRT (logo_MULL logo_UL 2) (logo_DIVA logo_UA 4) $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 4 (lambda (lambda (logo_PT (lambda (logo_FWRT (logo_MULL logo_UL 2) (logo_DIVA logo_UA 4) $0)) (logo_forLoop 4 (lambda (lambda (logo_FWRT logo_UL (logo_DIVA logo_UA 4) $0))) $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 4 (lambda (lambda (logo_FWRT logo_ZL (logo_DIVA logo_UA 4) (logo_forLoop 4 (lambda (lambda (logo_FWRT logo_UL (logo_DIVA logo_UA 4) $0))) $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 4 (lambda (lambda (logo_FWRT logo_UL (logo_DIVA logo_UA 4) (logo_FWRT (logo_MULL logo_UL 2) (logo_DIVA logo_UA 4) (logo_FWRT logo_UL (logo_DIVA logo_UA 4) $0))))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 4 (lambda (lambda (logo_PT (lambda (logo_FWRT (logo_MULL logo_UL 2) (logo_DIVA logo_UA 4) $0)) (logo_forLoop 4 (lambda (lambda (logo_FWRT (logo_MULL (logo_DIVL logo_UL 2) 2) (logo_DIVA logo_UA 4) $0))) $0)))) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "square of size 4",
"programs": [{
"program": "(lambda (logo_forLoop 4 (lambda (lambda (logo_FWRT (logo_MULL logo_UL 4) (logo_ADDA (logo_DIVA logo_UA 4) logo_UA) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 4 (lambda (lambda (logo_FWRT (logo_MULL logo_UL 4) (logo_DIVA logo_UA 4) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 4 (lambda (lambda (logo_FWRT (logo_MULL logo_UL 4) (logo_MULA (logo_DIVA logo_UA 4) 9) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 4 (lambda (lambda (logo_FWRT (logo_MULL logo_UL 4) (logo_MULA (logo_DIVA logo_UA 4) 3) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 4 (lambda (lambda (logo_FWRT (logo_MULL logo_UL 4) (logo_MULA (logo_DIVA logo_UA 4) 7) $0))) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "square of size 5",
"programs": [{
"program": "(lambda (logo_forLoop 4 (lambda (lambda (logo_FWRT (logo_MULL logo_UL 5) (logo_DIVA logo_UA 4) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 4 (lambda (lambda (logo_FWRT (logo_MULL logo_UL 5) (logo_MULA (logo_DIVA logo_UA 4) 7) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 4 (lambda (lambda (logo_FWRT (logo_MULL logo_UL 5) (logo_MULA logo_epsA 9) (logo_FWRT logo_ZL logo_epsA $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 4 (lambda (lambda (logo_FWRT (logo_MULL logo_UL 5) (logo_MULA (logo_DIVA logo_UA 4) 9) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 4 (lambda (lambda (logo_FWRT (logo_MULL logo_UL 5) logo_epsA (logo_FWRT logo_ZL (logo_MULA logo_epsA 9) $0)))) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "7-concentric squares",
"programs": [{
"program": "(lambda (logo_forLoop 7 (lambda (lambda (logo_FWRT (logo_MULL logo_UL $1) (logo_DIVA logo_UA 4) (logo_forLoop 3 (lambda (lambda (logo_FWRT (logo_MULL logo_UL $3) (logo_DIVA logo_UA 4) $0))) $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 7 (lambda (lambda (logo_forLoop 4 (lambda (lambda (logo_FWRT (logo_MULL logo_UL $3) (logo_ADDA (logo_DIVA logo_UA 4) logo_UA) $0))) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 7 (lambda (lambda (logo_forLoop 4 (lambda (lambda (logo_FWRT (logo_MULL logo_UL $3) (logo_DIVA logo_UA 4) $0))) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 7 (lambda (lambda (logo_forLoop 4 (lambda (lambda (logo_FWRT (logo_MULL logo_UL $3) (logo_SUBA (logo_DIVA logo_UA 4) logo_UA) $0))) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 7 (lambda (lambda (logo_forLoop 4 (lambda (lambda (logo_FWRT (logo_MULL logo_UL $3) (logo_MULA (logo_DIVA logo_UA 4) 9) $0))) $0))) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "3-gon 1l slanted 8",
"programs": [{
"program": "(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) 5 logo_epsA logo_ZL (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) $0 (logo_DIVA logo_UA $0))) 3 logo_UL $0)))",
"logLikelihood": 0.0
}]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "4-gon (*d 1d 3)",
"programs": [{
"program": "(lambda (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) $0 (logo_DIVA logo_UA $0))) 4 (logo_MULL logo_UL 3) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) 4 #(logo_DIVA logo_UA 4) (logo_MULL logo_UL 3) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) $0 (logo_DIVA logo_UA $0))) 4 (logo_MULL (logo_MULL logo_UL 1) 3) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) $0 (logo_DIVA logo_UA $0))) 4 (logo_MULL (logo_MULL logo_UL 3) 1) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) $0 (logo_DIVA logo_UA $0))) 4 (logo_MULL (logo_DIVL logo_UL 3) 9) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "5-gon 1l",
"programs": [{
"program": "(lambda (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) $0 (logo_DIVA logo_UA $0))) 5 logo_UL $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) 5 (logo_MULA logo_epsA 8) logo_UL $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_GETSET (lambda $0) (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) 5 (logo_MULA logo_epsA 8) logo_UL $0)))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_GETSET (lambda (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) $0 (logo_DIVA logo_UA $0))) 5 logo_UL $0)) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_GETSET (lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) 5 (logo_MULA logo_epsA 8) logo_UL $0)) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "6-gon (*d 1d 2) slanted 5",
"programs": [{
"program": "(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) 8 logo_epsA logo_ZL (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) $0 (logo_DIVA logo_UA $0))) 6 (logo_MULL logo_UL 2) $0)))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (lambda (lambda (logo_forLoop $0 (lambda (lambda (logo_FWRT (logo_MULL $4 $1) $3 $0))))))) logo_ZL logo_epsA 8 (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) $0 (logo_DIVA logo_UA $0))) 6 (logo_MULL logo_UL 2) $0)))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_FWRT logo_epsL (logo_DIVA logo_UA 5) (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) $0 (logo_DIVA logo_UA $0))) 6 (logo_MULL logo_UL 2) $0)))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_FWRT logo_ZL (logo_DIVA logo_UA 5) (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) $0 (logo_DIVA logo_UA $0))) 6 (logo_MULL logo_UL 2) $0)))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_FWRT logo_epsL (logo_MULA logo_epsA 8) (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) $0 (logo_DIVA logo_UA $0))) 6 (logo_MULL logo_UL 2) $0)))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "7-gon 1l",
"programs": [{
"program": "(lambda (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) $0 (logo_DIVA logo_UA $0))) 7 logo_UL $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) $0 (logo_DIVA logo_UA $0))) 7 (logo_MULL logo_UL 1) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) $0 (logo_DIVA logo_UA $0))) 7 (logo_DIVL logo_UL 1) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) $0 (logo_DIVA logo_UA $0))) 7 logo_UL (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA) logo_ZL $0)))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) $0 (logo_DIVA logo_UA $0))) 7 logo_UL (#(lambda (logo_forLoop 5 (lambda (lambda (logo_forLoop 8 (lambda (lambda (logo_FWRT $4 logo_epsA $0))) $0))))) logo_ZL $0)))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "8-gon (/d 1d 2)",
"programs": [{
"program": "(lambda (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) $0 (logo_DIVA logo_UA $0))) 8 (logo_DIVL logo_UL 2) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) 8 (logo_MULA logo_epsA 5) (logo_DIVL logo_UL 2) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) $0 (logo_DIVA logo_UA $0))) 8 (logo_DIVL logo_UL 2) (logo_GETSET (lambda $0) $0)))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) $0 (logo_DIVA logo_UA $0))) 8 (logo_DIVL logo_UL 2) (logo_PT (lambda $0) $0)))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 8 (lambda (lambda (logo_FWRT (logo_DIVL logo_UL 2) (logo_DIVA logo_UA 8) (logo_PT (lambda $0) $0)))) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "upwards",
"programs": [{
"program": "(lambda (#(lambda (lambda (lambda (logo_forLoop $0 (lambda (lambda (logo_FWRT (logo_MULL $4 $1) $3 $0))))))) logo_UL #(logo_DIVA logo_UA 4) 2 $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_FWRT logo_ZL #(logo_DIVA logo_UA 4) (logo_FWRT logo_UL #(logo_DIVA logo_UA 4) $0)))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_FWRT logo_ZL #(logo_DIVA logo_UA 4) (logo_FWRT logo_UL logo_UA $0)))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_FWRT logo_ZL #(logo_DIVA logo_UA 4) (logo_FWRT logo_UL logo_epsA $0)))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_FWRT logo_ZL #(logo_DIVA logo_UA 4) (logo_FWRT logo_UL logo_ZA $0)))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "right angle",
"programs": [{
"program": "(lambda (logo_FWRT (logo_MULL logo_UL 2) #(logo_DIVA logo_UA 4) (logo_FWRT logo_UL logo_UA $0)))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_FWRT (logo_MULL logo_UL 2) #(logo_DIVA logo_UA 4) (logo_FWRT logo_UL logo_ZA $0)))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_FWRT (logo_MULL logo_UL 2) #(logo_DIVA logo_UA 4) (logo_FWRT logo_UL logo_epsA $0)))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 3 (lambda (lambda (logo_FWRT logo_UL (logo_DIVA (logo_MULA logo_UA $1) 4) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 3 (lambda (lambda (logo_FWRT logo_UL (logo_MULA #(logo_DIVA logo_UA 4) $1) $0))) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "right angle epsilon",
"programs": [{
"program": "(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) 2 #(logo_DIVA logo_UA 4) logo_epsL $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_FWRT logo_epsL #(logo_DIVA logo_UA 4) (logo_FWRT logo_epsL #(logo_DIVA logo_UA 4) $0)))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_FWRT logo_epsL #(logo_DIVA logo_UA 4) (logo_FWRT logo_epsL logo_UA $0)))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_FWRT logo_epsL #(logo_DIVA logo_UA 4) (logo_FWRT logo_epsL logo_epsA $0)))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_FWRT logo_epsL #(logo_DIVA logo_UA 4) (logo_FWRT logo_epsL logo_ZA $0)))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "line segment",
"programs": [{
"program": "(lambda (logo_FWRT logo_UL logo_UA $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_FWRT logo_UL logo_ZA $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_FWRT logo_UL logo_epsA $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_FWRT logo_UL logo_ZA (logo_GETSET (lambda $0) $0)))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_FWRT logo_UL logo_epsA (logo_GETSET (lambda $0) $0)))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "square slanted by 2pi/3",
"programs": [{
"program": "(lambda (logo_FWRT logo_ZL (logo_DIVA #(logo_DIVA logo_UA 4) 3) (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) $0 (logo_DIVA logo_UA $0))) 4 logo_UL $0)))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_FWRT logo_epsL (logo_DIVA logo_UA 3) (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) $0 (logo_DIVA logo_UA $0))) 4 logo_UL $0)))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_FWRT logo_ZL (logo_DIVA logo_UA 3) (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) $0 (logo_DIVA logo_UA $0))) 4 logo_UL $0)))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_FWRT logo_ZL (logo_DIVA #(logo_DIVA logo_UA 4) 3) (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) 4 #(logo_DIVA logo_UA 4) logo_UL $0)))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_FWRT logo_epsL (logo_DIVA logo_UA 3) (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) 4 #(logo_DIVA logo_UA 4) logo_UL $0)))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "semicircle slanted by 2pi/5",
"programs": [{
"program": "(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) 7 logo_epsA logo_ZL (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY (logo_SUBA logo_ZA logo_epsA) (logo_MULL logo_epsL $0))) 4 $0)))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (lambda (lambda (logo_forLoop $0 (lambda (lambda (logo_FWRT (logo_MULL $4 $1) $3 $0))))))) logo_ZL logo_epsA 7 (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY (logo_SUBA logo_ZA logo_epsA) (logo_MULL logo_epsL $0))) 4 $0)))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_FWRT logo_ZL (logo_MULA logo_epsA 7) (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY (logo_SUBA logo_ZA logo_epsA) (logo_MULL logo_epsL $0))) 4 $0)))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) 8 logo_epsA logo_ZL (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA) (logo_DIVL logo_UL 5) $0)))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (lambda (lambda (logo_forLoop $0 (lambda (lambda (logo_FWRT (logo_MULL $4 $1) $3 $0))))))) logo_ZL logo_epsA 8 (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA) (logo_DIVL logo_UL 5) $0)))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "slanted line",
"programs": [{
"program": "(lambda (#(lambda (lambda (lambda (logo_forLoop $0 (lambda (lambda (logo_FWRT (logo_MULL $4 $1) $3 $0))))))) (logo_MULL logo_UL 3) (logo_DIVA #(logo_DIVA logo_UA 4) 2) 2 $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (lambda (lambda (logo_forLoop $0 (lambda (lambda (logo_FWRT (logo_MULL $4 $1) $3 $0))))))) (logo_MULL logo_UL 3) (logo_MULA logo_epsA 5) 2 $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (lambda (lambda (logo_forLoop $0 (lambda (lambda (logo_FWRT (logo_MULL $4 $1) $3 $0))))))) (logo_MULL logo_UL 3) (logo_DIVA logo_UA 8) 2 $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) 5 logo_epsA logo_ZL (logo_FWRT (logo_MULL logo_UL 3) #(logo_DIVA logo_UA 4) $0)))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (lambda (lambda (logo_forLoop $0 (lambda (lambda (logo_FWRT (logo_MULL $4 $1) $3 $0))))))) logo_ZL logo_epsA 5 (logo_FWRT (logo_MULL logo_UL 3) #(logo_DIVA logo_UA 4) $0)))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "Greek spiral 7",
"programs": [{
"program": "(lambda (#(lambda (lambda (lambda (logo_forLoop $0 (lambda (lambda (logo_FWRT (logo_MULL $4 $1) $3 $0))))))) logo_UL #(logo_DIVA logo_UA 4) 7 $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (lambda (lambda (logo_forLoop $0 (lambda (lambda (logo_FWRT (logo_MULL $4 $1) $3 $0))))))) (logo_MULL logo_UL 1) #(logo_DIVA logo_UA 4) 7 $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (lambda (lambda (logo_forLoop $0 (lambda (lambda (logo_FWRT (logo_MULL $4 $1) $3 $0))))))) logo_UL (logo_SUBA #(logo_DIVA logo_UA 4) logo_UA) 7 $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (lambda (lambda (logo_forLoop $0 (lambda (lambda (logo_FWRT (logo_MULL $4 $1) $3 $0))))))) logo_UL (logo_ADDA #(logo_DIVA logo_UA 4) logo_UA) 7 $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (lambda (lambda (logo_forLoop $0 (lambda (lambda (logo_FWRT (logo_MULL $4 $1) $3 $0))))))) logo_UL (logo_ADDA logo_UA #(logo_DIVA logo_UA 4)) 7 $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "Greek spiral 8",
"programs": [{
"program": "(lambda (#(lambda (lambda (lambda (logo_forLoop $0 (lambda (lambda (logo_FWRT (logo_MULL $4 $1) $3 $0))))))) logo_UL #(logo_DIVA logo_UA 4) 8 $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (lambda (lambda (logo_forLoop $0 (lambda (lambda (logo_FWRT (logo_MULL $4 $1) $3 $0))))))) logo_UL #(logo_DIVA logo_UA 4) 8 (logo_GETSET (lambda $0) $0)))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (lambda (lambda (logo_forLoop $0 (lambda (lambda (logo_FWRT (logo_MULL $4 $1) $3 $0))))))) logo_UL #(logo_DIVA logo_UA 4) 8 (logo_PT (lambda $0) $0)))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 8 (lambda (lambda (logo_FWRT (logo_MULL logo_UL $1) #(logo_DIVA logo_UA 4) (logo_GETSET (lambda $0) $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 8 (lambda (lambda (logo_FWRT (logo_MULL logo_UL $1) #(logo_DIVA logo_UA 4) (logo_PT (lambda $0) $0)))) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "smooth spiral 3",
"programs": [{
"program": "(lambda (#(lambda (lambda (lambda (logo_forLoop $0 (lambda (lambda (logo_FWRT (logo_MULL $4 $1) $3 $0))))))) logo_epsL (logo_MULA logo_epsA 3) logo_IFTY $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (lambda (lambda (logo_forLoop $0 (lambda (lambda (logo_FWRT (logo_MULL $4 $1) $3 $0))))))) (logo_DIVL logo_UL logo_IFTY) (logo_MULA logo_epsA 3) logo_IFTY $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (lambda (lambda (logo_forLoop $0 (lambda (lambda (logo_FWRT (logo_MULL $4 $1) $3 $0))))))) logo_epsL (logo_ADDA (logo_ADDA logo_epsA logo_epsA) logo_epsA) logo_IFTY $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (lambda (lambda (logo_forLoop $0 (lambda (lambda (logo_FWRT (logo_MULL $4 $1) $3 $0))))))) logo_epsL (logo_ADDA logo_epsA (logo_ADDA logo_epsA logo_epsA)) logo_IFTY $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (lambda (lambda (logo_forLoop $0 (lambda (lambda (logo_FWRT (logo_MULL $4 $1) $3 $0))))))) logo_epsL (logo_DIVA (logo_SUBA #(logo_DIVA logo_UA 4) logo_epsA) 3) logo_IFTY $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "smooth spiral 5",
"programs": [{
"program": "(lambda (#(lambda (lambda (lambda (logo_forLoop $0 (lambda (lambda (logo_FWRT (logo_MULL $4 $1) $3 $0))))))) logo_epsL (logo_DIVA logo_UA 8) logo_IFTY $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (lambda (lambda (logo_forLoop $0 (lambda (lambda (logo_FWRT (logo_MULL $4 $1) $3 $0))))))) logo_epsL (logo_MULA logo_epsA 5) logo_IFTY $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_GETSET (lambda $0) (#(lambda (lambda (lambda (logo_forLoop $0 (lambda (lambda (logo_FWRT (logo_MULL $4 $1) $3 $0))))))) logo_epsL (logo_MULA logo_epsA 5) logo_IFTY $0)))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_GETSET (lambda (#(lambda (lambda (lambda (logo_forLoop $0 (lambda (lambda (logo_FWRT (logo_MULL $4 $1) $3 $0))))))) logo_epsL (logo_DIVA logo_UA 8) logo_IFTY $0)) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_GETSET (lambda (#(lambda (lambda (lambda (logo_forLoop $0 (lambda (lambda (logo_FWRT (logo_MULL $4 $1) $3 $0))))))) logo_epsL (logo_MULA logo_epsA 5) logo_IFTY $0)) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "star 5",
"programs": [{
"program": "(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) 5 (logo_DIVA (logo_ADDA logo_UA logo_UA) 5) (logo_MULL logo_UL 4) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) 5 (logo_ADDA #(logo_DIVA logo_UA 4) (logo_MULA logo_epsA 6)) (logo_MULL logo_UL 4) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) 5 (logo_ADDA (logo_MULA logo_epsA 6) #(logo_DIVA logo_UA 4)) (logo_MULL logo_UL 4) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) 5 (logo_MULA (logo_MULA logo_epsA 4) 4) (logo_MULL logo_UL 4) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) 5 (logo_MULA (logo_ADDA logo_epsA logo_epsA) 8) (logo_MULL logo_UL 4) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "star 9",
"programs": [{
"program": "(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) 9 (logo_DIVA (logo_MULA logo_UA 4) 9) (logo_MULL logo_UL 4) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) 9 (logo_MULA (logo_DIVA logo_UA 9) 4) (logo_MULL logo_UL 4) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) 9 (logo_MULA (logo_ADDA (logo_DIVA logo_UA 9) logo_UA) 4) (logo_MULL logo_UL 4) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) 9 (logo_MULA (logo_SUBA (logo_DIVA logo_UA 9) logo_UA) 4) (logo_MULL logo_UL 4) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) 9 (logo_SUBA (logo_MULA (logo_DIVA logo_UA 9) 4) logo_UA) (logo_MULL logo_UL 4) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "leaf iteration 1.1",
"programs": [{
"program": "(lambda (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY (logo_DIVA logo_epsA 2) logo_epsL) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY (logo_DIVA logo_epsA 2) logo_epsL) (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA) logo_ZL $0)))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY (logo_DIVA logo_epsA 2) logo_epsL) (#(lambda (logo_forLoop 5 (lambda (lambda (logo_forLoop 8 (lambda (lambda (logo_FWRT $4 logo_epsA $0))) $0))))) logo_ZL $0)))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (logo_forLoop 5 (lambda (lambda (logo_forLoop 8 (lambda (lambda (logo_FWRT $4 logo_epsA $0))) $0))))) logo_ZL (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY (logo_DIVA logo_epsA 2) logo_epsL) $0)))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_PT (lambda $0) (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY (logo_DIVA logo_epsA 2) logo_epsL) $0)))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "leaf iteration 1.2",
"programs": [{
"program": "(lambda (logo_FWRT logo_epsL (logo_DIVA logo_UA 2) (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY (logo_DIVA logo_epsA 2) logo_epsL) $0)))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA) logo_ZL (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY (logo_DIVA logo_epsA 2) logo_epsL) $0)))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT logo_ZL (logo_DIVA logo_UA 2) (logo_FWRT logo_epsL (logo_DIVA (logo_ADDA logo_UA logo_epsA) 2) $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT logo_ZL (logo_DIVA logo_UA 2) (logo_FWRT logo_epsL (logo_DIVA (logo_SUBA logo_epsA logo_UA) 2) $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY (logo_MULA logo_epsA 9) logo_ZL (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY (logo_DIVA logo_epsA 2) logo_epsL) $0)))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "leaf iteration 2.1",
"programs": [{
"program": "(lambda (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY (logo_DIVA logo_epsA 2) logo_epsL) (logo_FWRT logo_ZL #(logo_DIVA logo_UA 4) (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY (logo_DIVA logo_epsA 2) logo_epsL) $0))))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY (logo_DIVA logo_epsA 2) logo_epsL) (#(lambda (lambda (lambda (logo_forLoop $0 (lambda (lambda (logo_FWRT (logo_MULL $4 $1) $3 $0))))))) logo_UL #(logo_DIVA logo_UA 4) 1 (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY (logo_DIVA logo_epsA 2) logo_epsL) $0))))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY (logo_DIVA logo_epsA 2) logo_epsL) (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) 5 #(logo_DIVA logo_UA 4) logo_ZL (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY (logo_DIVA logo_epsA 2) logo_epsL) $0))))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY (logo_DIVA logo_epsA 2) logo_epsL) (#(lambda (lambda (lambda (logo_forLoop $0 (lambda (lambda (logo_FWRT (logo_MULL $4 $1) $3 $0))))))) logo_ZL #(logo_DIVA logo_UA 4) 5 (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY (logo_DIVA logo_epsA 2) logo_epsL) $0))))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY (logo_DIVA logo_epsA 2) logo_epsL) (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) 9 #(logo_DIVA logo_UA 4) logo_ZL (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY (logo_DIVA logo_epsA 2) logo_epsL) $0))))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "staircase 5",
"programs": [{
"program": "(lambda (logo_forLoop 5 (lambda (lambda (logo_FWRT logo_UL #(logo_DIVA logo_UA 4) (logo_FWRT logo_UL (logo_SUBA logo_UA #(logo_DIVA logo_UA 4)) $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 5 (lambda (lambda (logo_FWRT logo_UL #(logo_DIVA logo_UA 4) (logo_FWRT logo_UL (logo_SUBA logo_ZA #(logo_DIVA logo_UA 4)) $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 5 (lambda (lambda (logo_FWRT logo_UL #(logo_DIVA logo_UA 4) (logo_FWRT logo_UL (logo_MULA #(logo_DIVA logo_UA 4) 3) $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 5 (lambda (lambda (logo_FWRT logo_UL #(logo_DIVA logo_UA 4) (logo_FWRT logo_UL (logo_MULA #(logo_DIVA logo_UA 4) 7) $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 5 (lambda (lambda (logo_FWRT logo_UL #(logo_DIVA logo_UA 4) (logo_FWRT logo_UL (logo_MULA (logo_DIVA logo_UA 8) 6) $0)))) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "left semicircle of size 1",
"programs": [{
"program": "(lambda (logo_FWRT logo_ZL (logo_DIVA logo_UA 8) (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA) logo_epsL $0)))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_FWRT logo_ZL (logo_MULA logo_epsA 5) (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA) logo_epsL $0)))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) 5 logo_epsA logo_ZL (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA) logo_epsL $0)))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_FWRT logo_ZL (logo_MULA logo_epsA 5) (logo_GETSET (lambda $0) (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA) logo_epsL $0))))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_FWRT logo_ZL (logo_MULA logo_epsA 5) (logo_PT (lambda $0) (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA) logo_epsL $0))))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "circle of size 1",
"programs": [{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT logo_epsL logo_epsA (logo_FWRT logo_epsL logo_epsA $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (logo_forLoop 5 (lambda (lambda (logo_forLoop 8 (lambda (lambda (logo_FWRT $4 logo_epsA $0))) $0))))) logo_epsL $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 6 (lambda (lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) 7 logo_epsA logo_epsL $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 8 (lambda (lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) 5 logo_epsA logo_epsL $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) 2 logo_epsA logo_epsL $0))) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "right semicircle of size 2",
"programs": [{
"program": "(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY (logo_SUBA logo_UA logo_epsA) (logo_MULL logo_epsL 2) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY (logo_SUBA logo_ZA logo_epsA) (logo_MULL logo_epsL $0))) 2 $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_FWRT logo_ZL logo_epsA (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA) (logo_MULL logo_epsL 2) $0)))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT logo_ZL logo_epsA (logo_FWRT (logo_MULL logo_epsL 2) logo_UA $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT logo_ZL logo_epsA (logo_FWRT (logo_MULL logo_epsL 2) logo_ZA $0)))) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "left semicircle of size 3",
"programs": [{
"program": "(lambda (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA) (logo_MULL logo_epsL 3) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_GETSET (lambda $0) (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA) (logo_MULL logo_epsL 3) $0)))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_GETSET (lambda (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA) (logo_MULL logo_epsL 3) $0)) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (logo_GETSET (lambda $0) (logo_FWRT (logo_MULL logo_epsL 3) logo_epsA $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (logo_PT (lambda $0) (logo_FWRT (logo_MULL logo_epsL 3) logo_epsA $0)))) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "circle of size 3",
"programs": [{
"program": "(lambda (logo_forLoop 2 (lambda (lambda (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA) (logo_MULL logo_epsL 3) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (#(lambda (logo_forLoop 5 (lambda (lambda (logo_forLoop 8 (lambda (lambda (logo_FWRT $4 logo_epsA $0))) $0))))) (logo_MULL logo_epsL $0))) 3 $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 7 (lambda (lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) 6 logo_epsA (logo_MULL logo_epsL 3) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 8 (lambda (lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) 5 logo_epsA (logo_MULL logo_epsL 3) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) 2 logo_epsA (logo_MULL logo_epsL 3) $0))) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "right semicircle of size 4",
"programs": [{
"program": "(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY (logo_SUBA logo_UA logo_epsA) (logo_DIVL logo_UL 5) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY (logo_SUBA logo_ZA logo_epsA) (logo_DIVL logo_UL 5) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY (logo_SUBA logo_UA logo_epsA) (logo_MULL logo_epsL 4) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY (logo_SUBA logo_ZA logo_epsA) (logo_MULL logo_epsL $0))) 4 $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_FWRT logo_ZL logo_epsA (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA) (logo_DIVL logo_UL 5) $0)))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "circle of size 4",
"programs": [{
"program": "(lambda (logo_forLoop 2 (lambda (lambda (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA) (logo_MULL logo_epsL 4) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (#(lambda (logo_forLoop 5 (lambda (lambda (logo_forLoop 8 (lambda (lambda (logo_FWRT $4 logo_epsA $0))) $0))))) (logo_MULL logo_epsL $0))) 4 $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 8 (lambda (lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) 5 logo_epsA (logo_DIVL logo_UL 5) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 8 (lambda (lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) 5 logo_epsA (logo_MULL logo_epsL 4) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) 2 logo_epsA (logo_DIVL logo_UL 5) $0))) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "left semicircle of size 5",
"programs": [{
"program": "(lambda (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA) (logo_DIVL logo_UL 4) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA) (logo_MULL logo_epsL 5) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (logo_GETSET (lambda $0) (logo_FWRT (logo_MULL logo_epsL 5) logo_epsA $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (logo_PT (lambda $0) (logo_FWRT (logo_DIVL logo_UL 4) logo_epsA $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (logo_PT (lambda $0) (logo_FWRT (logo_MULL logo_epsL 5) logo_epsA $0)))) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "circle of size 5",
"programs": [{
"program": "(lambda (logo_forLoop 2 (lambda (lambda (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA) (logo_MULL logo_epsL 5) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (logo_forLoop 5 (lambda (lambda (logo_forLoop 8 (lambda (lambda (logo_FWRT $4 logo_epsA $0))) $0))))) (logo_DIVL logo_UL 4) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 8 (lambda (lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) 5 logo_epsA (logo_DIVL logo_UL 4) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 8 (lambda (lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) 5 logo_epsA (logo_MULL logo_epsL 5) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) 2 logo_epsA (logo_DIVL logo_UL 4) $0))) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "right semicircle of size 6",
"programs": [{
"program": "(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY (logo_SUBA logo_UA logo_epsA) (logo_MULL logo_epsL 6) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY (logo_SUBA logo_ZA logo_epsA) (logo_MULL logo_epsL $0))) 6 $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_FWRT logo_ZL logo_epsA (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA) (logo_MULL logo_epsL 6) $0)))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT logo_ZL logo_epsA (logo_FWRT (logo_MULL logo_epsL 6) logo_UA $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (logo_FWRT logo_ZL logo_epsA (logo_FWRT (logo_MULL logo_epsL 6) logo_ZA $0)))) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "circle of size 6",
"programs": [{
"program": "(lambda (logo_forLoop 2 (lambda (lambda (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA) (logo_MULL logo_epsL 6) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (#(lambda (logo_forLoop 5 (lambda (lambda (logo_forLoop 8 (lambda (lambda (logo_FWRT $4 logo_epsA $0))) $0))))) (logo_MULL logo_epsL $0))) 6 $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 7 (lambda (lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) 6 logo_epsA (logo_MULL logo_epsL 6) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 8 (lambda (lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) 5 logo_epsA (logo_MULL logo_epsL 6) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop logo_IFTY (lambda (lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) 2 logo_epsA (logo_MULL logo_epsL 6) $0))) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "5 enclosed circles",
"programs": [{
"program": "(lambda (logo_forLoop 5 (lambda (lambda (#(lambda (#(lambda (logo_forLoop 5 (lambda (lambda (logo_forLoop 8 (lambda (lambda (logo_FWRT $4 logo_epsA $0))) $0))))) (logo_MULL logo_epsL $0))) $1 $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 5 (lambda (lambda (logo_forLoop 8 (lambda (lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) 5 logo_epsA (logo_MULL logo_epsL $3) $0))) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 5 (lambda (lambda (logo_forLoop 5 (lambda (lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) 8 (logo_ADDA logo_epsA logo_UA) (logo_MULL logo_epsL $3) $0))) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 5 (lambda (lambda (logo_forLoop 5 (lambda (lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) 8 (logo_SUBA logo_epsA logo_UA) (logo_MULL logo_epsL $3) $0))) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 5 (lambda (lambda (logo_forLoop 8 (lambda (lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) 5 (logo_ADDA logo_epsA logo_UA) (logo_MULL logo_epsL $3) $0))) $0))) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "3-circle flower l=1",
"programs": [{
"program": "(lambda (logo_forLoop 3 (lambda (lambda (#(lambda (logo_forLoop 5 (lambda (lambda (logo_forLoop 8 (lambda (lambda (logo_FWRT $4 logo_epsA $0))) $0))))) logo_epsL (logo_FWRT logo_ZL (logo_DIVA logo_UA 3) $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 3 (lambda (lambda (logo_FWRT logo_ZL (logo_DIVA logo_UA 3) (#(lambda (logo_forLoop 5 (lambda (lambda (logo_forLoop 8 (lambda (lambda (logo_FWRT $4 logo_epsA $0))) $0))))) logo_epsL $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 3 (lambda (lambda (logo_FWRT logo_ZL (logo_MULA (logo_DIVA logo_UA 3) 4) (#(lambda (logo_forLoop 5 (lambda (lambda (logo_forLoop 8 (lambda (lambda (logo_FWRT $4 logo_epsA $0))) $0))))) logo_epsL $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 3 (lambda (lambda (logo_PT (lambda (logo_FWRT logo_ZL (logo_DIVA logo_UA 3) $0)) (#(lambda (logo_forLoop 5 (lambda (lambda (logo_forLoop 8 (lambda (lambda (logo_FWRT $4 logo_epsA $0))) $0))))) logo_epsL $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 3 (lambda (lambda (logo_PT (lambda (logo_FWRT logo_ZL (logo_DIVA logo_UA 3) (#(lambda (logo_forLoop 5 (lambda (lambda (logo_forLoop 8 (lambda (lambda (logo_FWRT $4 logo_epsA $0))) $0))))) logo_epsL $0))) (#(lambda (logo_forLoop 5 (lambda (lambda (logo_forLoop 8 (lambda (lambda (logo_FWRT $4 logo_epsA $0))) $0))))) logo_epsL $0)))) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "3-semicircle sequence L=1",
"programs": [{
"program": "(lambda (logo_forLoop 3 (lambda (lambda (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA) logo_epsL (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY (logo_SUBA logo_ZA logo_epsA) (logo_MULL logo_epsL $0))) 1 $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 3 (lambda (lambda (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA) (logo_DIVL logo_UL logo_IFTY) (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY (logo_SUBA logo_ZA logo_epsA) (logo_MULL logo_epsL $0))) 1 $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 3 (lambda (lambda (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA) (logo_MULL logo_epsL 1) (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY (logo_SUBA logo_ZA logo_epsA) (logo_MULL logo_epsL $0))) 1 $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 3 (lambda (lambda (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA) (logo_DIVL logo_epsL 1) (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY (logo_SUBA logo_ZA logo_epsA) (logo_MULL logo_epsL $0))) 1 $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 3 (lambda (lambda (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA) logo_epsL (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY (logo_SUBA logo_ZA logo_epsA) (logo_MULL logo_epsL $0))) 1 $0)))) (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA) logo_ZL $0)))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "2-semicircle sequence L=2",
"programs": [{
"program": "(lambda (logo_forLoop 2 (lambda (lambda (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA) (logo_MULL logo_epsL 2) (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY (logo_SUBA logo_ZA logo_epsA) (logo_MULL logo_epsL $0))) 2 $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 2 (lambda (lambda (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA) (logo_DIVL (logo_DIVL logo_UL 2) 5) (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY (logo_SUBA logo_ZA logo_epsA) (logo_MULL logo_epsL $0))) 2 $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 2 (lambda (lambda (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA) (logo_DIVL (logo_DIVL logo_UL 5) 2) (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY (logo_SUBA logo_ZA logo_epsA) (logo_MULL logo_epsL $0))) 2 $0)))) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "1-semicircle sequence L=3",
"programs": [{
"program": "(lambda (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA) (logo_MULL logo_epsL 3) (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY (logo_SUBA logo_ZA logo_epsA) (logo_MULL logo_epsL $0))) 3 $0)))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA) (logo_DIVL (logo_MULL logo_UL 3) logo_IFTY) (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY (logo_SUBA logo_ZA logo_epsA) (logo_MULL logo_epsL $0))) 3 $0)))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA) (logo_MULL (logo_DIVL logo_UL logo_IFTY) 3) (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY (logo_SUBA logo_ZA logo_epsA) (logo_MULL logo_epsL $0))) 3 $0)))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA) (logo_MULL (logo_MULL logo_epsL 1) 3) (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY (logo_SUBA logo_ZA logo_epsA) (logo_MULL logo_epsL $0))) 3 $0)))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA) (logo_MULL (logo_MULL logo_epsL 3) 1) (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY (logo_SUBA logo_ZA logo_epsA) (logo_MULL logo_epsL $0))) 3 $0)))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "row of 2 circles",
"programs": [{
"program": "(lambda (#(lambda (logo_forLoop 5 (lambda (lambda (logo_forLoop 8 (lambda (lambda (logo_FWRT $4 logo_epsA $0))) $0))))) logo_epsL (logo_PT (lambda (logo_FWRT logo_UL logo_UA $0)) (#(lambda (logo_forLoop 5 (lambda (lambda (logo_forLoop 8 (lambda (lambda (logo_FWRT $4 logo_epsA $0))) $0))))) logo_epsL $0))))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (logo_forLoop 5 (lambda (lambda (logo_forLoop 8 (lambda (lambda (logo_FWRT $4 logo_epsA $0))) $0))))) logo_epsL (logo_PT (lambda (logo_FWRT logo_UL logo_ZA $0)) (#(lambda (logo_forLoop 5 (lambda (lambda (logo_forLoop 8 (lambda (lambda (logo_FWRT $4 logo_epsA $0))) $0))))) logo_epsL $0))))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (logo_forLoop 5 (lambda (lambda (logo_forLoop 8 (lambda (lambda (logo_FWRT $4 logo_epsA $0))) $0))))) logo_epsL (logo_PT (lambda (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) $0 (logo_DIVA logo_UA $0))) 1 logo_UL $0)) (#(lambda (logo_forLoop 5 (lambda (lambda (logo_forLoop 8 (lambda (lambda (logo_FWRT $4 logo_epsA $0))) $0))))) logo_epsL $0))))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (logo_forLoop 5 (lambda (lambda (logo_forLoop 8 (lambda (lambda (logo_FWRT $4 logo_epsA $0))) $0))))) logo_epsL (logo_PT (lambda (logo_FWRT logo_UL logo_UA $0)) (#(lambda (#(lambda (logo_forLoop 5 (lambda (lambda (logo_forLoop 8 (lambda (lambda (logo_FWRT $4 logo_epsA $0))) $0))))) (logo_MULL logo_epsL $0))) 1 $0))))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (#(lambda (logo_forLoop 5 (lambda (lambda (logo_forLoop 8 (lambda (lambda (logo_FWRT $4 logo_epsA $0))) $0))))) (logo_MULL logo_epsL $0))) 1 (logo_PT (lambda (logo_FWRT logo_UL logo_UA $0)) (#(lambda (logo_forLoop 5 (lambda (lambda (logo_forLoop 8 (lambda (lambda (logo_FWRT $4 logo_epsA $0))) $0))))) logo_epsL $0))))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "row of 2 lines",
"programs": [{
"program": "(lambda (logo_FWRT logo_UL logo_UA (logo_PT (lambda (logo_FWRT logo_UL logo_UA $0)) (logo_FWRT logo_UL #(logo_DIVA logo_UA 4) $0))))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_FWRT logo_UL logo_UA (logo_PT (lambda (logo_FWRT logo_UL logo_ZA $0)) (logo_FWRT logo_UL #(logo_DIVA logo_UA 4) $0))))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_FWRT logo_UL logo_ZA (logo_PT (lambda (logo_FWRT logo_UL logo_UA $0)) (logo_FWRT logo_UL #(logo_DIVA logo_UA 4) $0))))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_FWRT logo_UL logo_UA (logo_PT (lambda (logo_FWRT logo_UL logo_UA $0)) (logo_FWRT logo_UL logo_UA $0))))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_FWRT logo_UL logo_ZA (logo_PT (lambda (logo_FWRT logo_UL logo_ZA $0)) (logo_FWRT logo_UL #(logo_DIVA logo_UA 4) $0))))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "3 dashed lines of size (/d 1d 2)",
"programs": [{
"program": "(lambda (logo_forLoop 3 (lambda (lambda (logo_FWRT (logo_DIVL logo_UL 2) logo_UA (logo_PT (lambda (logo_FWRT logo_UL logo_UA $0)) $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 3 (lambda (lambda (logo_FWRT (logo_DIVL logo_UL 2) logo_UA (logo_PT (lambda (logo_FWRT logo_UL logo_ZA $0)) $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 3 (lambda (lambda (logo_FWRT (logo_DIVL logo_UL 2) logo_ZA (logo_PT (lambda (logo_FWRT logo_UL logo_UA $0)) $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 3 (lambda (lambda (logo_FWRT (logo_DIVL logo_UL 2) logo_ZA (logo_PT (lambda (logo_FWRT logo_UL logo_ZA $0)) $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 3 (lambda (lambda (logo_PT (lambda (logo_FWRT logo_UL logo_ZA $0)) (logo_FWRT (logo_DIVL logo_UL 2) logo_ZA $0)))) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "broken circle",
"programs": [{
"program": "(lambda (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA) logo_epsL (logo_PT (lambda (logo_FWRT logo_UL logo_UA $0)) (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA) logo_epsL $0))))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA) logo_epsL (logo_PT (lambda (logo_FWRT logo_UL logo_ZA $0)) (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA) logo_epsL $0))))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA) logo_epsL (logo_PT (lambda (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) $0 (logo_DIVA logo_UA $0))) 1 logo_UL $0)) (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA) logo_epsL $0))))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA) logo_epsL (logo_PT (lambda (#(lambda (lambda (lambda (logo_forLoop $0 (lambda (lambda (logo_FWRT (logo_MULL $4 $1) $3 $0))))))) logo_UL logo_UA 2 $0)) (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA) logo_epsL $0))))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 2 (lambda (lambda (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA) logo_epsL (logo_PT (lambda (logo_FWRT logo_UL logo_UA $0)) $0)))) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "circle next to semicircle",
"programs": [{
"program": "(lambda (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA) logo_epsL (logo_PT (lambda (logo_FWRT logo_UL logo_UA $0)) (#(lambda (logo_forLoop 5 (lambda (lambda (logo_forLoop 8 (lambda (lambda (logo_FWRT $4 logo_epsA $0))) $0))))) logo_epsL $0))))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (logo_forLoop 5 (lambda (lambda (logo_forLoop 8 (lambda (lambda (logo_FWRT $4 logo_epsA $0))) $0))))) logo_epsL (logo_PT (lambda (logo_FWRT logo_UL logo_UA $0)) (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA) logo_epsL $0))))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA) logo_epsL (logo_PT (lambda (logo_FWRT logo_UL logo_ZA $0)) (#(lambda (logo_forLoop 5 (lambda (lambda (logo_forLoop 8 (lambda (lambda (logo_FWRT $4 logo_epsA $0))) $0))))) logo_epsL $0))))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (logo_forLoop 5 (lambda (lambda (logo_forLoop 8 (lambda (lambda (logo_FWRT $4 logo_epsA $0))) $0))))) logo_epsL (logo_PT (lambda (logo_FWRT logo_UL logo_ZA $0)) (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA) logo_epsL $0))))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (logo_forLoop 5 (lambda (lambda (logo_forLoop 8 (lambda (lambda (logo_FWRT $4 logo_epsA $0))) $0))))) logo_epsL (logo_PT (lambda (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) $0 (logo_DIVA logo_UA $0))) 1 logo_UL $0)) (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA) logo_epsL $0))))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "row of 4 dashes",
"programs": [{
"program": "(lambda (logo_forLoop 4 (lambda (lambda (logo_PT (lambda (logo_FWRT (logo_MULL logo_UL $2) #(logo_DIVA logo_UA 4) $0)) (logo_FWRT logo_UL #(logo_DIVA logo_UA 4) $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 4 (lambda (lambda (logo_PT (lambda (logo_FWRT (logo_MULL logo_UL $2) #(logo_DIVA logo_UA 4) $0)) (logo_FWRT (logo_MULL logo_epsL logo_IFTY) #(logo_DIVA logo_UA 4) $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 4 (lambda (lambda (logo_PT (lambda (logo_FWRT (logo_MULL logo_UL $2) #(logo_DIVA logo_UA 4) $0)) (logo_FWRT (logo_MULL (logo_DIVL logo_UL 2) 2) #(logo_DIVA logo_UA 4) $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 4 (lambda (lambda (logo_PT (lambda (logo_FWRT (logo_MULL logo_UL $2) #(logo_DIVA logo_UA 4) $0)) (logo_FWRT (logo_MULL (logo_DIVL logo_UL 3) 3) #(logo_DIVA logo_UA 4) $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 4 (lambda (lambda (logo_PT (lambda (logo_FWRT (logo_MULL logo_UL $2) #(logo_DIVA logo_UA 4) $0)) (logo_FWRT (logo_MULL (logo_DIVL logo_UL 4) 4) #(logo_DIVA logo_UA 4) $0)))) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "row of 5 semicircles",
"programs": [{
"program": "(lambda (logo_forLoop 5 (lambda (lambda (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA) logo_epsL (logo_PT (lambda (logo_FWRT logo_UL logo_UA (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA) logo_epsL $0))) $0)))) $0))",
"logLikelihood": 0.0
}]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "7-empty snowflake",
"programs": [{
"program": "(lambda (logo_forLoop 7 (lambda (lambda (logo_FWRT logo_ZL (logo_DIVA logo_UA 7) (logo_GETSET (lambda (logo_FWRT logo_UL logo_UA $0)) $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 7 (lambda (lambda (logo_FWRT logo_ZL (logo_DIVA logo_UA 7) (logo_GETSET (lambda (logo_FWRT logo_UL logo_ZA $0)) $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 7 (lambda (lambda (logo_FWRT logo_ZL (logo_DIVA logo_UA 7) (logo_GETSET (lambda (logo_FWRT logo_UL logo_epsA $0)) $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 7 (lambda (lambda (logo_GETSET (lambda (logo_FWRT logo_UL logo_UA $0)) (logo_FWRT logo_ZL (logo_DIVA logo_UA 7) $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 7 (lambda (lambda (logo_GETSET (lambda (logo_FWRT logo_UL logo_ZA $0)) (logo_FWRT logo_ZL (logo_DIVA logo_UA 7) $0)))) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "4-row of squares",
"programs": [{
"program": "(lambda (logo_forLoop 4 (lambda (lambda (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) $0 (logo_DIVA logo_UA $0))) 4 logo_UL (logo_FWRT logo_UL logo_UA $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 4 (lambda (lambda (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) $0 (logo_DIVA logo_UA $0))) 4 logo_UL (logo_FWRT logo_UL logo_ZA $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 4 (lambda (lambda (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) $0 (logo_DIVA logo_UA $0))) 4 logo_UL (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) $0 (logo_DIVA logo_UA $0))) 1 logo_UL $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 4 (lambda (lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) 4 #(logo_DIVA logo_UA 4) logo_UL (logo_FWRT logo_UL logo_UA $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 4 (lambda (lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) 4 #(logo_DIVA logo_UA 4) logo_UL (logo_FWRT logo_UL logo_ZA $0)))) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "square of size 1",
"programs": [{
"program": "(lambda (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) $0 (logo_DIVA logo_UA $0))) 4 logo_UL $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) 4 #(logo_DIVA logo_UA 4) logo_UL $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) $0 (logo_DIVA logo_UA $0))) 4 (logo_MULL logo_UL 1) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) $0 (logo_DIVA logo_UA $0))) 4 (logo_DIVL logo_UL 1) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) logo_IFTY logo_epsA) logo_ZL (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) $0 (logo_DIVA logo_UA $0))) 4 logo_UL $0)))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "square of size 2",
"programs": [{
"program": "(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) 4 #(logo_DIVA logo_UA 4) (logo_MULL logo_UL 2) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 4 (lambda (lambda (logo_FWRT logo_UL #(logo_DIVA logo_UA 4) (logo_FWRT logo_UL logo_UA $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 4 (lambda (lambda (logo_FWRT logo_UL #(logo_DIVA logo_UA 4) (logo_FWRT logo_UL logo_ZA $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 4 (lambda (lambda (logo_FWRT logo_UL logo_UA (logo_FWRT logo_UL #(logo_DIVA logo_UA 4) $0)))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 4 (lambda (lambda (logo_FWRT logo_UL logo_ZA (logo_FWRT logo_UL #(logo_DIVA logo_UA 4) $0)))) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "square of size 3",
"programs": [{
"program": "(lambda (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) $0 (logo_DIVA logo_UA $0))) 4 (logo_MULL logo_UL 3) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) 4 #(logo_DIVA logo_UA 4) (logo_MULL logo_UL 3) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) $0 (logo_DIVA logo_UA $0))) 4 (logo_MULL (logo_MULL logo_UL 1) 3) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) $0 (logo_DIVA logo_UA $0))) 4 (logo_MULL (logo_MULL logo_UL 3) 1) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) $0 (logo_DIVA logo_UA $0))) 4 (logo_MULL (logo_DIVL logo_UL 3) 9) $0))",
"logLikelihood": 0.0
}
]
},
{
"request": {
"constructor": "->",
"arguments": [{
"constructor": "turtle",
"arguments": []
},
{
"constructor": "turtle",
"arguments": []
}
]
},
"task": "5-concentric squares",
"programs": [{
"program": "(lambda (logo_forLoop 5 (lambda (lambda (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) $0 (logo_DIVA logo_UA $0))) 4 (logo_MULL logo_UL $1) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 5 (lambda (lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) 4 #(logo_DIVA logo_UA 4) (logo_MULL logo_UL $1) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 5 (lambda (lambda (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) $0 (logo_DIVA logo_UA $0))) 4 (logo_MULL (logo_MULL logo_UL $1) 1) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 5 (lambda (lambda (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) $0 (logo_DIVA logo_UA $0))) 4 (logo_MULL (logo_MULL logo_UL 1) $1) $0))) $0))",
"logLikelihood": 0.0
},
{
"program": "(lambda (logo_forLoop 5 (lambda (lambda (#(lambda (#(lambda (lambda (lambda (logo_forLoop $2 (lambda (lambda (logo_FWRT $2 $3 $0))))))) $0 (logo_DIVA logo_UA $0))) 4 (logo_MULL (logo_DIVL logo_UL 1) $1) $0))) $0))",
"logLikelihood": 0.0
}
]
}
]
}