Mercurial > repos > icfp2013
comparison data/train/wdThP1AgVrS2rp7q6qt9mLqp.json @ 4:59daef77c189
This is a training request I generated so we can test the evaluator.
author | William Morgan <bill@mrgn.org> |
---|---|
date | Thu, 08 Aug 2013 22:14:09 -0700 |
parents | |
children |
comparison
equal
deleted
inserted
replaced
3:dfc5f00c94bc | 4:59daef77c189 |
---|---|
1 { | |
2 "id": "wdThP1AgVrS2rp7q6qt9mLqp", | |
3 "size": 30, | |
4 "operators": [ | |
5 "and", | |
6 "fold", | |
7 "if0", | |
8 "not", | |
9 "or", | |
10 "plus", | |
11 "shl1", | |
12 "shr1", | |
13 "shr16", | |
14 "shr4", | |
15 "xor" | |
16 ], | |
17 "challenge": "(lambda (x_79346) (fold x_79346 x_79346 (lambda (x_79347 x_79348) (xor (shr1 (or (plus (not (shr16 (shl1 (and (shr4 (not (shr4 x_79347))) (if0 (and (xor (shr1 (not x_79348)) x_79347) x_79348) x_79347 x_79348))))) x_79347) x_79348)) x_79348))))" | |
18 } |