Mercurial > repos > icfp2013
view data/myproblems.json @ 8:3f0172ceab81
Add support for generating programs with if0, thus allowing us to generate all programs up to size 5.
author | Mike Pavone <pavone@retrodev.com> |
---|---|
date | Fri, 09 Aug 2013 00:47:29 -0700 |
parents | cdfc5e2de435 |
children | c55d4271bb77 |
line wrap: on
line source
[ { "id":"01RAYkzfI84QsKhL0CDpkVUY", "size":26, "operators":[ "fold", "if0", "or", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"01vceDgZJNMBo4b8bbyBALEY", "size":15, "operators":[ "if0", "or", "shr1", "xor" ] }, { "id":"03Y6BUDx0L0OgbX1RRycpZ4K", "size":15, "operators":[ "fold", "or", "shr1", "shr16", "shr4", "xor" ] }, { "id":"06ehCwNKd69m6PbnpOwlvvQO", "size":13, "operators":[ "if0", "or", "shl1", "shr16", "shr4" ] }, { "id":"077po8lxAvI4yu7hejCJCHNP", "size":15, "operators":[ "if0", "plus", "shr1", "tfold", "xor" ] }, { "id":"0AH1GWVCyiaNHvcIxujyAJBB", "size":23, "operators":[ "and", "fold", "if0", "or", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"0CBXdzAqIg7CYcnxzAP2FqYN", "size":6, "operators":[ "plus", "shr16" ] }, { "id":"0DFGdCboAtLgUwZ4BjqhRxsl", "size":25, "operators":[ "if0", "not", "or", "shr16", "shr4", "tfold", "xor" ] }, { "id":"0Mz75j5QsIdsd9dHY4Ws8w8R", "size":9, "operators":[ "and", "if0", "shl1", "shr1" ] }, { "id":"0QTSEsXHJQTsAGt40XwRRioq", "size":14, "operators":[ "and", "fold", "if0" ] }, { "id":"0RQ1J0yD65VZy96Z7om5SBU0", "size":13, "operators":[ "fold", "if0", "plus", "xor" ] }, { "id":"0RSItpQ7c8LYdK02OUG8x3th", "size":20, "operators":[ "and", "fold", "if0", "not", "or", "shl1", "shr16" ] }, { "id":"0UvBIX39iBydMVOBfZGYwR5O", "size":30, "operators":[ "and", "fold", "if0", "not", "or", "plus", "shl1", "shr1", "shr4", "xor" ] }, { "id":"0VbOWUEyr7f3NATzB4K2rxRK", "size":3, "operators":[ "shl1" ] }, { "id":"0cYlGBmpSBC59Q5VMljvHoyU", "size":21, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "tfold", "xor" ] }, { "id":"0cmT1mOnqcBwqdhq8Ns4B5LN", "size":22, "operators":[ "and", "if0", "not", "plus", "shr1", "shr4", "tfold", "xor" ] }, { "id":"0esqjWLrkKRA4dtLyUjhwawb", "size":27, "operators":[ "and", "if0", "or", "plus", "shr1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"0h2lhJAeNBh4FKyN4UnzPqi7", "size":30, "operators":[ "and", "fold", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4" ] }, { "id":"0iEBhnEnXfoxZ7g3JWSGrNNt", "size":16, "operators":[ "fold", "if0", "plus", "shl1", "shr4" ] }, { "id":"0kpBINjV45BxKxqbsiuthXml", "size":11, "operators":[ "and", "if0", "not", "or", "shl1" ] }, { "id":"0qJ0urDcWUpFh6niYeZ4TkUL", "size":17, "operators":[ "and", "fold", "if0", "not", "or", "plus", "shr4" ] }, { "id":"0qgJxAL1EXXjVMVxR5zeLMJn", "size":12, "operators":[ "fold", "or", "shl1", "shr1", "shr4" ] }, { "id":"0s8yzpT4HIgwtFaBhsA6a7Ul", "size":16, "operators":[ "if0", "or", "shl1", "shr16", "shr4", "xor" ] }, { "id":"0wyeiD0QGHEJR4aVj2O3mbo7", "size":9, "operators":[ "and", "if0", "not" ] }, { "id":"11QLyo9iYTom33M7RQGMY2T5", "size":30, "operators":[ "fold", "if0", "not", "or", "shl1", "shr1", "shr16", "xor" ] }, { "id":"12e0BOB0i4UzxkxMF8d8SaFK", "size":15, "operators":[ "if0", "plus", "tfold", "xor" ] }, { "id":"1ARqHS7qWqdgw85RocvyUO0Z", "size":23, "operators":[ "and", "if0", "not", "shr1", "shr16", "xor" ] }, { "id":"1DCvU1O5lCsbt1JQnJ9RrLT0", "size":24, "operators":[ "and", "if0", "or", "plus", "shr1", "shr16", "shr4", "xor" ] }, { "id":"1FS0gi09Q8BmNj8ZmPttVOhH", "size":8, "operators":[ "plus", "tfold" ] }, { "id":"1FSoFCzYXqi4SfqdzSQvEeNn", "size":14, "operators":[ "if0", "shl1", "xor" ] }, { "id":"1GLePJPkRp5tiM7RXnAFl5Mj", "size":12, "operators":[ "if0", "plus", "shl1", "shr4", "xor" ] }, { "id":"1IbIao11tMqqSKrrhB4PCsmH", "size":21, "operators":[ "and", "fold", "if0", "or", "plus", "shr4" ] }, { "id":"1M9diTkGRKBjmbScqvQpMluA", "size":16, "operators":[ "and", "if0", "not", "or", "plus", "shr16", "shr4" ] }, { "id":"1NYEdnCJc8yvHktHwq3cWeKd", "size":21, "operators":[ "if0", "not", "or", "plus", "shl1", "shr16", "shr4", "xor" ] }, { "id":"1TaszCsPvYjqmEREYhG4PKs9", "size":10, "operators":[ "not", "plus", "shr1", "tfold" ] }, { "id":"1WQxqPTwsBfmISXYvA74xsON", "size":30, "operators":[ "and", "if0", "not", "or", "plus", "shr16", "shr4", "tfold", "xor" ] }, { "id":"1Y51fpPiwXxBnKlPhkQxG8bB", "size":24, "operators":[ "fold", "if0", "not", "plus", "shl1", "shr1", "shr16", "xor" ] }, { "id":"1aOYG33Z8epA0LQFhWIEqW3u", "size":20, "operators":[ "if0", "or", "shl1", "shr1", "shr4", "tfold", "xor" ] }, { "id":"1bdkdHBNm8hKZqeMcMGBXzZh", "size":25, "operators":[ "and", "if0", "not", "or", "plus", "shr4", "xor" ] }, { "id":"1ex55iTXxkcAIZw4BzHsPTkk", "size":25, "operators":[ "and", "fold", "if0", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"1fdiUByN3sAwMa2SsgqWe4It", "size":23, "operators":[ "fold", "if0", "not", "or", "shl1", "shr1", "xor" ] }, { "id":"1iDtwsZdLxF1zoFzIyzvP4rX", "size":15, "operators":[ "if0", "plus", "tfold", "xor" ] }, { "id":"1p8Zgk66h1eAgWV51iECjFik", "size":22, "operators":[ "and", "fold", "if0", "not", "or", "shl1", "shr1", "shr4", "xor" ] }, { "id":"1sj0vACahA7k4Yxj6FqQBi7M", "size":27, "operators":[ "and", "fold", "if0", "not", "or", "plus", "shr16", "xor" ] }, { "id":"28LvXqawAuT48AWecHBgZcMh", "size":20, "operators":[ "and", "if0", "or", "plus", "shr1", "tfold", "xor" ] }, { "id":"28NeNfUMFx9q8FJMrLH3b0HZ", "size":14, "operators":[ "and", "if0", "not", "or", "shr16", "shr4" ] }, { "id":"2AW688opne1lN37SUJJdJwqi", "size":12, "operators":[ "if0", "not", "plus", "shl1", "shr1", "shr16" ] }, { "id":"2BijUIzRLKAsZZaITQuOBMOy", "size":19, "operators":[ "and", "if0", "not", "plus", "shl1", "shr1", "shr4", "xor" ] }, { "id":"2IBLSweBiwO10mWGm6juqG2o", "size":21, "operators":[ "and", "if0", "not", "plus", "shl1", "shr1", "tfold", "xor" ] }, { "id":"2JEaHCnX8HAbwk3NqZQjA7SM", "size":30, "operators":[ "and", "if0", "not", "plus", "shl1", "shr1", "shr16", "xor" ] }, { "id":"2TUNLwqgRAalWXmMX6xtamHA", "size":18, "operators":[ "fold", "if0", "or", "plus", "shr1", "shr16", "xor" ] }, { "id":"2UFMMdlLyb8AyvWaLtRxIhzl", "size":18, "operators":[ "if0", "not", "or", "plus", "shl1", "shr1", "shr4", "tfold" ] }, { "id":"2Vvixv3LUO8x7fibLCSaO3Ty", "size":28, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr16", "shr4", "xor" ] }, { "id":"2XUQ2x68PxeoddGgA2qyH0hy", "size":20, "operators":[ "and", "if0", "not", "or", "plus", "shr16", "shr4", "tfold" ] }, { "id":"2ZhO9AkBA43BvFn4Urm5SbBb", "size":12, "operators":[ "and", "not", "shr4", "tfold", "xor" ] }, { "id":"2arOZJy37kMZa7gSoMcEbhc9", "size":10, "operators":[ "and", "if0", "or", "shr16" ] }, { "id":"2gAfGK57vEJMUJuunFSlEYJq", "size":12, "operators":[ "and", "if0", "shr16", "shr4", "xor" ] }, { "id":"2gMieUJGLoYcvfzbrIVGC8Of", "size":22, "operators":[ "and", "if0", "not", "plus", "shl1", "shr4", "tfold", "xor" ] }, { "id":"2lbZIqTrq034am5x5yG0fj8Q", "size":5, "operators":[ "or", "shr16" ] }, { "id":"2peAphjN3wHIt4mBdyBXSmoS", "size":24, "operators":[ "fold", "if0", "not", "or", "plus", "shr1", "shr16", "shr4" ] }, { "id":"2qzZzKF9wFNJvzqGVNKz34xA", "size":7, "operators":[ "plus", "shl1", "shr1" ] }, { "id":"2r0ayBvnKzwIYxR4gFW5XY0A", "size":25, "operators":[ "and", "fold", "if0", "not", "or", "plus", "shl1", "shr1", "shr4" ] }, { "id":"2scu4OgSEGZLYeSIu9ihZQ1B", "size":16, "operators":[ "fold", "if0", "not", "shr4" ] }, { "id":"2uGXWVQhnGj4StYaSTCifH47", "size":20, "operators":[ "if0", "not", "or", "plus", "shl1", "shr1", "shr4", "tfold" ] }, { "id":"2ynBACARNvXmPyFAYn8aqwXW", "size":13, "operators":[ "if0", "not", "or", "shr16", "shr4" ] }, { "id":"35muAKPRjnCNAqyBMlD03CpL", "size":13, "operators":[ "and", "fold", "or", "shr4", "xor" ] }, { "id":"385xj3PXcyX2LCffQi7l8jFG", "size":26, "operators":[ "if0", "not", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"38auyoPMArcrixabhX7M6uLb", "size":30, "operators":[ "and", "fold", "if0", "not", "or", "plus", "shr1", "shr16", "shr4", "xor" ] }, { "id":"3API1aBlJwQO5vvmNzOhdlmo", "size":27, "operators":[ "and", "fold", "if0", "or", "shl1", "shr16", "shr4", "xor" ] }, { "id":"3AdMosMJdU0W16eDuo4gN4rB", "size":23, "operators":[ "if0", "or", "plus", "shl1", "shr1", "shr16", "tfold", "xor" ] }, { "id":"3BH22S9T5I5A0Dy3aEuk7kFH", "size":15, "operators":[ "and", "if0", "shl1", "shr1", "tfold", "xor" ] }, { "id":"3By8qyTFiC2NjBw3VYvI4VSd", "size":4, "operators":[ "plus" ] }, { "id":"3FpM8ADdxQAlX6fT4OLYjEsR", "size":29, "operators":[ "if0", "not", "or", "plus", "shl1", "shr4", "tfold", "xor" ] }, { "id":"3IA6k1RHZ0ACgbu2sfzBW2L3", "size":23, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"3M8482raMb84NJiznI8Ffyxi", "size":11, "operators":[ "and", "fold", "or", "shl1" ] }, { "id":"3RNgu9xCBBEFFYTIo0HTaNxD", "size":16, "operators":[ "and", "if0", "or", "shr1", "tfold" ] }, { "id":"3UImmHC7AQBgOPSite16QnPG", "size":25, "operators":[ "and", "if0", "not", "plus", "shr16", "tfold", "xor" ] }, { "id":"3UrxXt4amPTIKUCA1mZsS82G", "size":27, "operators":[ "and", "if0", "plus", "shl1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"3ayAjlB5oAOadISkBIxGQETA", "size":17, "operators":[ "if0", "plus", "shr1", "shr16", "shr4", "xor" ] }, { "id":"3hrB0BH6bYeUtEAT3x6eCuK0", "size":29, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"3m9Oau4V63zIPUeJWADom5Ep", "size":26, "operators":[ "and", "if0", "or", "plus", "shl1", "shr1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"3q1moEmq8g2ADZQwogFcQ10Z", "size":29, "operators":[ "and", "if0", "not", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"3s5lGgAdwdLS4WqhzQ5sYARI", "size":28, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr4", "tfold", "xor" ] }, { "id":"3uFUnE8wlavCPbGBEbOKRzav", "size":16, "operators":[ "and", "fold", "if0", "not", "or" ] }, { "id":"3wm7AJB0r5tMb8q4JwqZnLBM", "size":12, "operators":[ "and", "if0", "plus", "shr16" ] }, { "id":"3x7ZGI8O8gARPeFMdTwA4KiI", "size":17, "operators":[ "and", "fold", "if0", "not", "plus", "shl1" ] }, { "id":"3yHX5i8gvejMiMHlg5OW8T5h", "size":6, "operators":[ "not", "plus", "shr4" ] }, { "id":"40Aa7jM83mfooRRsDgIxR4JE", "size":6, "operators":[ "or", "shr16", "shr4" ] }, { "id":"40u3i5lhQXQu3RJAHeBRY3cJ", "size":15, "operators":[ "and", "if0", "or", "plus", "tfold" ] }, { "id":"47QgY43zlUin6ZdQL7J7btA8", "size":19, "operators":[ "if0", "not", "plus", "shl1", "shr1", "shr4", "tfold", "xor" ] }, { "id":"4BJRMHXMRTSl01xnNyJLzGNg", "size":24, "operators":[ "and", "if0", "or", "plus", "shr1", "shr4", "tfold" ] }, { "id":"4BJzig2EHGjQ64vVpHEfWSZi", "size":28, "operators":[ "if0", "not", "or", "shl1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"4BszezEclTcaGRNIRyvNHEOe", "size":12, "operators":[ "fold", "not", "shr1", "shr16", "xor" ] }, { "id":"4Ca0VQLclBiCABAdBESe2DQn", "size":5, "operators":[ "shl1", "xor" ] }, { "id":"4DcXKgeTAmxUkc8KXwNA3kwO", "size":27, "operators":[ "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"4Dp3Xmhp4dROsvUKiAZ8wllU", "size":30, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr4", "tfold", "xor" ] }, { "id":"4ETl1J2DARB3a0YdgjAzKLCO", "size":23, "operators":[ "fold", "if0", "not", "or", "shr1", "shr16", "xor" ] }, { "id":"4Lnp3w74XhBqZLfFeBCFMNiY", "size":8, "operators":[ "and", "tfold" ] }, { "id":"4M8qvWUcxQLhascBoU6LTMvo", "size":27, "operators":[ "and", "if0", "or", "plus", "shr1", "shr16", "tfold", "xor" ] }, { "id":"4MJkNFBKwc14Z0oipUMxT77M", "size":13, "operators":[ "and", "fold", "not" ] }, { "id":"4PgLSWh3SSVWzBvBHQo7Y0Gp", "size":30, "operators":[ "and", "fold", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "xor" ] }, { "id":"4ci8AdZHp6z3ELrRELi3Px7W", "size":9, "operators":[ "shr1", "tfold", "xor" ] }, { "id":"4faqioyzmsGrcEESaKSRE4pN", "size":19, "operators":[ "if0", "not", "shl1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"4hI0qzGh2QvqkAhxAwl9ceJS", "size":5, "operators":[ "not", "or" ] }, { "id":"4ip5B5Du3BnA2qBMxqhjj3pO", "size":14, "operators":[ "and", "if0", "plus", "shr1", "shr4" ] }, { "id":"4kFrUtLyWfwjBq1ykoU6bBvc", "size":19, "operators":[ "and", "if0", "not", "or", "plus", "shr4", "tfold" ] }, { "id":"4lNOmXIYvApKSckvA9tdfnZ2", "size":24, "operators":[ "and", "if0", "or", "plus", "shl1", "shr16", "tfold", "xor" ] }, { "id":"4sx0lAwthUYCHG2wlBWL7zHL", "size":15, "operators":[ "if0", "not", "shr1", "xor" ] }, { "id":"50Fy11Vn9Yns9riZBgd3BsUf", "size":14, "operators":[ "if0", "plus", "shl1", "tfold" ] }, { "id":"50MJUCjDAcri5C8yAOj6GXu8", "size":17, "operators":[ "and", "if0", "not", "or", "plus", "shr1", "shr4", "xor" ] }, { "id":"53tOctY8KKdKH2A39QopFu7Z", "size":21, "operators":[ "fold", "if0", "not", "or", "shl1", "shr1", "xor" ] }, { "id":"55aYcMoYhzORrvGAFk8Nrdsy", "size":22, "operators":[ "fold", "if0", "not", "plus", "shl1", "shr1", "shr16", "xor" ] }, { "id":"56TCr5ViAt5pVAU4cmsUJv0j", "size":15, "operators":[ "and", "if0", "plus", "shl1", "xor" ] }, { "id":"5CTedroj4FB22HZioLBXfaFA", "size":29, "operators":[ "and", "fold", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"5Eew9dll2QvEE2aXB8ALBnIX", "size":13, "operators":[ "if0", "shr1", "shr4", "tfold" ] }, { "id":"5NJfEytjhQpOdpFO0ovxmAN5", "size":11, "operators":[ "plus", "shr1", "tfold", "xor" ] }, { "id":"5NxNBdMJh8O2ancuyPPDE1GV", "size":17, "operators":[ "and", "if0", "not", "or", "plus", "shr1", "shr16", "xor" ] }, { "id":"5OLzVqRz2JJbQ8QdJSblAxqq", "size":29, "operators":[ "and", "if0", "not", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"5QNiI6lIP8NBBSdh2AnggZVJ", "size":29, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "xor" ] }, { "id":"5Qj7N06iA8bZjlSEQyogBhdT", "size":17, "operators":[ "fold", "if0", "not", "plus", "shl1", "shr1", "xor" ] }, { "id":"5RXjhftQIfHutk07m6KmRnnx", "size":17, "operators":[ "if0", "not", "shl1", "shr4", "tfold", "xor" ] }, { "id":"5Ursj1vLB5MYvnNGdlMHGYAs", "size":16, "operators":[ "and", "if0", "shr1", "shr4", "tfold" ] }, { "id":"5V9I0xEqR8aA3BGIwnEY7fpp", "size":29, "operators":[ "and", "if0", "not", "or", "plus", "shr1", "shr4", "tfold", "xor" ] }, { "id":"5Vs2bkmZIdRrYNZVADkbml5B", "size":13, "operators":[ "and", "fold", "not", "plus", "xor" ] }, { "id":"5eQI839iPBJmW4BbeL2OkUzg", "size":29, "operators":[ "and", "fold", "if0", "or", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"5fUo0I55igaxAZxvHK3LJPAc", "size":25, "operators":[ "and", "if0", "not", "or", "shr1", "xor" ] }, { "id":"5kBCkn6ltIvWCvnsOqqNXjj3", "size":30, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"5ljyxZl5xSy4OTb5JZdOQUYa", "size":21, "operators":[ "and", "if0", "not", "or", "plus", "shr1", "shr16", "shr4" ] }, { "id":"5p27t6HOBQ615EAjaxq8VOo0", "size":28, "operators":[ "and", "fold", "if0", "not", "or", "plus", "shr1", "shr16", "shr4", "xor" ] }, { "id":"5q9twlvgNZkVquqQHZaE0Sjv", "size":16, "operators":[ "and", "if0", "not", "shl1", "shr16", "xor" ] }, { "id":"5rDCTlGyD04czBJPbwU1Wuw7", "size":27, "operators":[ "and", "fold", "if0", "not", "plus", "shr16", "shr4", "xor" ] }, { "id":"5t9AvK1Ud9g10UERvBlebe4P", "size":26, "operators":[ "and", "fold", "if0", "not", "or", "plus", "xor" ] }, { "id":"5tIbrN7lJQBLIBmkSBWR6AVn", "size":26, "operators":[ "and", "fold", "if0", "or", "plus", "shl1", "shr1", "shr16", "shr4" ] }, { "id":"5xqoS6mjXnWEP8Puh6PyKmYw", "size":19, "operators":[ "if0", "not", "or", "plus", "shr1", "shr4", "tfold" ] }, { "id":"62DGw4ktbOxBVYAvFPwhZVBg", "size":28, "operators":[ "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"65xzMjEfxvDpHa3vGwxDLFoT", "size":16, "operators":[ "and", "if0", "not", "plus", "shl1", "shr1", "shr16" ] }, { "id":"675LgRavTW7FlcAN6ZNY27Ny", "size":18, "operators":[ "and", "if0", "not", "plus", "shr1", "tfold", "xor" ] }, { "id":"69EnyRzMUcVWkKA9go0qM0jG", "size":10, "operators":[ "and", "if0", "or", "shr4" ] }, { "id":"6I9mgkngeoqGBRPzKsnurkDo", "size":23, "operators":[ "and", "fold", "if0", "or", "plus", "shl1", "shr4", "xor" ] }, { "id":"6MnBRszIQiYZJYx40luKx3bR", "size":17, "operators":[ "and", "if0", "not", "shr1", "shr16", "xor" ] }, { "id":"6Q3t23G6PHzofledxFKRrwqP", "size":26, "operators":[ "fold", "if0", "or", "plus", "shr1", "shr16", "shr4", "xor" ] }, { "id":"6RSfDpeYrbAGhEcKFXuD7gW6", "size":26, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr16", "shr4", "xor" ] }, { "id":"6VvWdHld9IgqRylSGskVJhnb", "size":19, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "xor" ] }, { "id":"6bW0A5pyAodEr97mGNniI6W5", "size":4, "operators":[ "plus" ] }, { "id":"6eQChvnzDae0BykvwYjoPePD", "size":12, "operators":[ "and", "not", "or", "tfold" ] }, { "id":"6iETCOpxkn9dr2fbBpQIDAOH", "size":11, "operators":[ "if0", "plus", "shr4" ] }, { "id":"6jJ8jxaeW9OEPAiXexb6OAZe", "size":30, "operators":[ "and", "fold", "if0", "or", "shr1", "shr16", "shr4", "xor" ] }, { "id":"6jKww6T1daBqIDk5jSmjDLQQ", "size":30, "operators":[ "fold", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4" ] }, { "id":"6m4VYcqnMNTcld0Mjpuz7kDz", "size":7, "operators":[ "and", "not", "xor" ] }, { "id":"6nIWoFnoEfB3kKU72HhUFJkq", "size":27, "operators":[ "if0", "or", "plus", "shl1", "tfold", "xor" ] }, { "id":"6tG7tPcpuaOYV1GkdGdbKyC1", "size":16, "operators":[ "fold", "if0", "not", "shl1", "shr1", "xor" ] }, { "id":"6urqEB3tlzNc4OEnjPYTe1q5", "size":27, "operators":[ "and", "if0", "or", "plus", "shl1", "shr1", "shr16", "tfold", "xor" ] }, { "id":"6vcZ5qIzxYaXQECsLpDs1bC4", "size":27, "operators":[ "if0", "or", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"6wxb6NDHaFJXTvHco6K0yf1B", "size":11, "operators":[ "not", "or", "shl1", "tfold" ] }, { "id":"6z0WVsgXRhcgdpjLRU3Twtej", "size":29, "operators":[ "and", "if0", "not", "plus", "shl1", "shr16", "shr4", "xor" ] }, { "id":"6z18pURo0S1j9WAzFGbWAXSP", "size":20, "operators":[ "and", "if0", "plus", "shl1", "shr1", "shr16", "shr4" ] }, { "id":"6zusuYJW1acLsjsc764QRysG", "size":27, "operators":[ "and", "if0", "or", "plus", "shr16", "shr4", "tfold", "xor" ] }, { "id":"70mRAYpbLW8uvOti9uYxoKd0", "size":26, "operators":[ "and", "fold", "if0", "not", "or", "plus", "shl1", "shr1", "shr4", "xor" ] }, { "id":"71QRpDINNlH7wSJ3RQbo3Spv", "size":17, "operators":[ "and", "fold", "if0", "not", "or", "shr4", "xor" ] }, { "id":"76yBjBMVGBvqtUatnNj5QcLD", "size":12, "operators":[ "fold", "plus", "shr16", "shr4" ] }, { "id":"7EViOA5onPydiATmHzPT6pgE", "size":9, "operators":[ "and", "if0" ] }, { "id":"7IB4l0KO0FGlIoRAQGmwXZBC", "size":21, "operators":[ "and", "if0", "not", "shr1", "shr16", "tfold", "xor" ] }, { "id":"7Np6eDvMFBEzZZ3hU2EyfdNQ", "size":27, "operators":[ "and", "if0", "not", "or", "plus", "shr1", "shr16", "shr4", "xor" ] }, { "id":"7Ot168srNujhaDsORKwMmFfY", "size":16, "operators":[ "fold", "if0", "shl1", "shr1", "shr4" ] }, { "id":"7PFQXVgASjcq3z8icsuURBv1", "size":9, "operators":[ "and", "if0", "shr1", "shr4" ] }, { "id":"7QfyEglt3H8yTpDc2qLHqagT", "size":5, "operators":[ "shl1", "shr16", "shr4" ] }, { "id":"7STEaZGVncg5aRzxULAIuCUp", "size":23, "operators":[ "and", "fold", "if0", "or", "plus", "shl1", "shr4", "xor" ] }, { "id":"7VOGBUUa46rG2eJ3AJ9hAHqu", "size":11, "operators":[ "if0", "plus", "shr16", "xor" ] }, { "id":"7YikF7x4BVguya3LvdiIz9Qs", "size":9, "operators":[ "or", "shl1", "tfold" ] }, { "id":"7bUNRBgJdCZ25A56ESbdMUR3", "size":10, "operators":[ "if0", "not", "plus", "xor" ] }, { "id":"7f5go0uGHwFD6QBVuIvkF9cB", "size":14, "operators":[ "if0", "plus", "shl1", "tfold" ] }, { "id":"7fR8TE4j3S0Eq4mMxXU8cK2N", "size":22, "operators":[ "if0", "not", "plus", "shl1", "shr1", "shr16" ] }, { "id":"7g2bI6Jwq9AKKsPOANsJBASU", "size":29, "operators":[ "and", "fold", "if0", "not", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"7g8R8UWTyA683u3WQwLAZBsD", "size":24, "operators":[ "and", "fold", "if0", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"7gvqVVj53ZG3LDl6A3fBLqqw", "size":13, "operators":[ "and", "fold", "if0", "shl1", "shr16" ] }, { "id":"7m0hqAdm4S7n0bFSWzRRP9Wd", "size":8, "operators":[ "tfold", "xor" ] }, { "id":"7mjULlfQkBVGnfBXAR1utU08", "size":21, "operators":[ "if0", "not", "plus", "shr1", "shr16", "tfold", "xor" ] }, { "id":"7mrsgfqNfxpVZqz8k5dEZI9A", "size":24, "operators":[ "fold", "if0", "or", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"7o2JhNWP6OoBLgE4fvTj4Fbf", "size":10, "operators":[ "not", "or", "shl1", "tfold" ] }, { "id":"7pUATlVYiuK3Ij5PbJxnb2yA", "size":9, "operators":[ "not", "shr1", "tfold" ] }, { "id":"7s069rInj36HbTRV9OfBNFxI", "size":17, "operators":[ "and", "if0", "not", "or", "shr4", "tfold", "xor" ] }, { "id":"7z0UYmAALipEHc7X4bIX0UYn", "size":19, "operators":[ "and", "fold", "if0", "not", "or", "shl1", "xor" ] }, { "id":"80WaUrrTAFHsePr7tn1Paoqp", "size":21, "operators":[ "and", "if0", "not", "or", "shl1", "shr1", "shr4", "xor" ] }, { "id":"81oXulOXcKo5GkakB1kPbPbp", "size":8, "operators":[ "if0", "shr16", "xor" ] }, { "id":"82mFncadiYn6rmzXs5ZH7T4s", "size":16, "operators":[ "and", "if0", "not", "plus", "shl1", "shr16", "xor" ] }, { "id":"85M6BFJ9bwBdW7IPnuB7689V", "size":25, "operators":[ "if0", "not", "plus", "shl1", "shr4", "tfold", "xor" ] }, { "id":"86yII04TAEwdlOfeEMM7PSHw", "size":13, "operators":[ "if0", "not", "or", "shl1", "tfold" ] }, { "id":"8ALdEVf5QiSw7I1Dezzng6dd", "size":19, "operators":[ "and", "if0", "plus", "shl1", "shr1", "tfold" ] }, { "id":"8AN3B3q1Wexto1hQSwNufBdk", "size":7, "operators":[ "shr16", "xor" ] }, { "id":"8B2Q2am7zZAHAiYgNHiUupAv", "size":28, "operators":[ "and", "fold", "if0", "not", "plus", "shl1", "shr4", "xor" ] }, { "id":"8B8dOsgjcklUZWrpiXaS3IqC", "size":8, "operators":[ "or", "shr1", "shr4", "xor" ] }, { "id":"8Hjzf4BF8Bh0ywvdXxKBvPry", "size":15, "operators":[ "if0", "or", "tfold", "xor" ] }, { "id":"8P1u6VgBGKeub9MyAwGqqNXA", "size":17, "operators":[ "and", "fold", "if0", "or", "plus", "shr1", "shr4" ] }, { "id":"8PpxkEVG8KNVYVvQkHmmVx4i", "size":23, "operators":[ "if0", "or", "plus", "shr4", "tfold" ] }, { "id":"8RddinRIfRnbdvL27wdswXRf", "size":23, "operators":[ "and", "if0", "or", "plus", "shl1", "shr4", "tfold" ] }, { "id":"8SXjpLHBckgIGVeedg66Rp9M", "size":14, "operators":[ "if0", "not", "plus", "tfold" ] }, { "id":"8TkVLnLqUgEoRYSKveSAwZhF", "size":22, "operators":[ "if0", "not", "plus", "shr16", "tfold", "xor" ] }, { "id":"8azkLVteSBEDH7P9SnsVMuay", "size":17, "operators":[ "and", "if0", "or", "shl1", "shr4" ] }, { "id":"8bTtqmBCyWQLnyic9W6NVqD4", "size":26, "operators":[ "if0", "or", "plus", "shr1", "shr16", "shr4", "xor" ] }, { "id":"8bvBSWBAsr0ag85Us58YZnk3", "size":22, "operators":[ "and", "if0", "not", "or", "shl1", "shr4", "tfold", "xor" ] }, { "id":"8dSEuhv9exXvL3MsZVuAkVlc", "size":27, "operators":[ "and", "fold", "if0", "not", "or", "plus", "shl1", "shr16", "shr4", "xor" ] }, { "id":"8ghTGheO49hb1H1JWcKw5JLQ", "size":23, "operators":[ "and", "if0", "or", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"8himTyI9lQPyH0rsuiqAg5w1", "size":26, "operators":[ "and", "if0", "not", "or", "shl1", "shr1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"8ikTQgtewbHB2DxoAbpRnT8e", "size":23, "operators":[ "fold", "if0", "not", "plus", "shl1", "shr4", "xor" ] }, { "id":"8m3JuGiImnMhAP3GevKdDuXt", "size":12, "operators":[ "if0", "shl1", "shr1", "xor" ] }, { "id":"8qSGbmYsiBQpHpuanwSLdN56", "size":11, "operators":[ "fold", "if0", "shl1" ] }, { "id":"8t25KEIHTXQK4ILcIIKk9piv", "size":28, "operators":[ "if0", "not", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"8xgfLNf0pmfNMAKbc8BGG3s3", "size":11, "operators":[ "fold", "or", "shr16", "shr4" ] }, { "id":"8yjidyVEk82kkv3lLxCgBxpm", "size":19, "operators":[ "if0", "not", "or", "plus", "shl1", "shr1", "xor" ] }, { "id":"8z7WXDwnM8PQOSv4KekH8THr", "size":22, "operators":[ "and", "if0", "not", "or", "plus", "shr1", "shr16", "xor" ] }, { "id":"95V9xaUukHByDQeR797eqRrV", "size":28, "operators":[ "and", "if0", "or", "plus", "shl1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"97AhBANJSiYsTB45flY5cABV", "size":19, "operators":[ "and", "fold", "if0", "not", "or", "shl1", "shr1", "shr16", "xor" ] }, { "id":"98GUpc0B4Yg2uWx3LZezjtHe", "size":13, "operators":[ "fold", "if0", "shr4" ] }, { "id":"9F2R9awHjyFpPScIg0bILuKA", "size":22, "operators":[ "and", "if0", "plus", "shl1", "shr1", "shr16", "shr4" ] }, { "id":"9GjIA39sdOhbODrd7A8YFAHJ", "size":13, "operators":[ "if0", "not", "plus", "shr16", "tfold" ] }, { "id":"9NWpFs2tFXnAtW61vLxVBe0V", "size":25, "operators":[ "and", "if0", "or", "plus", "shl1", "shr1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"9OMHA0UWTY717oegSmEdYjRl", "size":19, "operators":[ "and", "if0", "or", "plus", "shr1", "shr16", "xor" ] }, { "id":"9PVFudHkbCgo7XbT7be3rh3o", "size":30, "operators":[ "fold", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"9RM5KUniTGO7ZLFqYQp8pB2R", "size":21, "operators":[ "if0", "not", "or", "plus", "shl1", "shr1", "shr4", "xor" ] }, { "id":"9awzFXAuJzf4XK2DtG2IUPNw", "size":18, "operators":[ "and", "if0", "not", "or", "shl1", "shr1", "shr4", "tfold" ] }, { "id":"9bWvFPsjlY5ktBeyEY7BAETV", "size":17, "operators":[ "and", "if0", "or", "shl1", "shr1", "shr4", "tfold" ] }, { "id":"9i9frEDBYWgGmDXNxpdpi5P1", "size":27, "operators":[ "and", "fold", "if0", "not", "plus", "shl1", "shr4", "xor" ] }, { "id":"9o0RArxsLE8EAYwc8LnsDDe3", "size":26, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"9vaaqbJpSwLk8PvYWbQNMbzi", "size":25, "operators":[ "fold", "if0", "or", "plus", "shl1", "shr1", "shr16", "shr4" ] }, { "id":"9zPRc9CHX92sKJBfNWJcrCCk", "size":23, "operators":[ "if0", "or", "plus", "shl1", "shr1", "shr16", "shr4", "tfold" ] }, { "id":"9zwxK7W6gbiATunx3Wfpu9P8", "size":13, "operators":[ "and", "fold", "not", "shr1", "shr4", "xor" ] }, { "id":"A2peFgN7BhCA5BCsAA3Sp7je", "size":19, "operators":[ "if0", "not", "plus", "shl1", "shr16", "tfold", "xor" ] }, { "id":"A4jJJHghzWBUe2apuNQA185g", "size":20, "operators":[ "and", "if0", "or", "plus", "shr1", "shr16", "shr4", "xor" ] }, { "id":"A7Evn11QuDRx9Yl6KcLkml5C", "size":30, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr4", "xor" ] }, { "id":"A7Q0launthS8B0bM4GNiZODR", "size":20, "operators":[ "fold", "if0", "not", "or", "shr16", "shr4", "xor" ] }, { "id":"A7hPQiKzpDPSR5CObnNboedL", "size":6, "operators":[ "not", "shl1", "shr1" ] }, { "id":"A84ZPUg2cB4QJq09wEAqIqdq", "size":27, "operators":[ "and", "if0", "not", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"A8XLR0vVWHlkQSkJv3AAkLcp", "size":7, "operators":[ "or", "shr4", "xor" ] }, { "id":"AAOW1xA4fkdQnW9Xhx2ms5Ny", "size":23, "operators":[ "if0", "plus", "shl1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"AAzbhu1DkScatMWVFVclkbWG", "size":29, "operators":[ "and", "fold", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"ABapRj8Q1m8CfdYnN6sCa1KS", "size":12, "operators":[ "and", "if0", "or", "plus", "shl1" ] }, { "id":"ABjSaDzPs50Zg5M7SVVL8TO8", "size":14, "operators":[ "and", "if0", "plus", "shl1", "xor" ] }, { "id":"AERDETGSDy3gaconNHPHkr3G", "size":16, "operators":[ "if0", "not", "shl1", "shr1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"AFrDFZABBZZojj0YvEA2EJuK", "size":20, "operators":[ "if0", "or", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"AGdx5iwSriZnbs4z342zBGzd", "size":6, "operators":[ "or", "shr1", "shr16" ] }, { "id":"AHAXqfpeGknUZu3D2jvDBOtq", "size":16, "operators":[ "fold", "if0", "not", "or", "shr1", "shr16", "xor" ] }, { "id":"AHgkXNB3U5YVm23xHvtiStBc", "size":13, "operators":[ "if0", "or", "plus", "shr16", "xor" ] }, { "id":"AIaBPfaiBOpP2JkitgD6UDHf", "size":22, "operators":[ "and", "if0", "or", "plus", "shl1", "shr1", "shr4", "tfold", "xor" ] }, { "id":"AMkDN5deadYEXW9u1FZYZyV5", "size":22, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr16", "shr4", "xor" ] }, { "id":"AN8BJywabrayNMgMYe4bqu5I", "size":22, "operators":[ "and", "if0", "not", "plus", "shl1", "shr16", "shr4", "xor" ] }, { "id":"APuXnNWiJK80tmmJ0D3qsCOB", "size":17, "operators":[ "fold", "if0", "or", "shr1", "shr16", "xor" ] }, { "id":"AQuhIZCbvhtPjH5RTm1JO5AO", "size":9, "operators":[ "and", "not", "tfold" ] }, { "id":"AQygk4CjVXDomXqssEmkMzla", "size":27, "operators":[ "and", "fold", "if0", "not", "or", "shl1", "shr1", "xor" ] }, { "id":"ARrUnLSusJIq0y94Z9QfxcgN", "size":18, "operators":[ "fold", "if0", "not", "plus", "shr16", "shr4", "xor" ] }, { "id":"ARsgaZApRhOYSoDyXzOaa2P0", "size":18, "operators":[ "and", "if0", "not", "shr1", "xor" ] }, { "id":"ASMLtkd1b1DhYCFzNMSvAmW7", "size":18, "operators":[ "fold", "if0", "or", "plus", "shr16", "shr4" ] }, { "id":"ATc1TSL5wDlQ9akzEsZwEAIB", "size":30, "operators":[ "and", "fold", "if0", "or", "shr16", "shr4", "xor" ] }, { "id":"AXJDBcJQ5Gcyil9JZExSGPHs", "size":4, "operators":[ "shr1", "shr4" ] }, { "id":"AXxC919P5aMemvQxkHySxJ78", "size":28, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4" ] }, { "id":"AaPMzFzGtV44QrZZ8NOYj7d8", "size":3, "operators":[ "not" ] }, { "id":"AbYBZ1axKc0SDmenw6IS2TUB", "size":14, "operators":[ "and", "if0", "not", "tfold" ] }, { "id":"Ae8naStH61FL7aSiBxRIZuu4", "size":27, "operators":[ "if0", "not", "plus", "shl1", "shr1", "shr16", "tfold", "xor" ] }, { "id":"AeMD238shBVMEbfY3szyfB3V", "size":30, "operators":[ "and", "fold", "if0", "not", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"AfAm4ys4O6RHVQReqUaoZBgp", "size":27, "operators":[ "and", "fold", "if0", "or", "plus", "shl1", "shr1", "xor" ] }, { "id":"Afa1tWYt1aYSn5YtNMxMJ5UA", "size":8, "operators":[ "not", "plus", "shr1", "shr16", "shr4" ] }, { "id":"AhSIgMYWkuWERWcqJK7NQUd4", "size":22, "operators":[ "and", "if0", "plus", "shr16", "shr4", "tfold", "xor" ] }, { "id":"AktEz5F5A5EXiGbYOk4KB1BI", "size":28, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr16", "shr4", "xor" ] }, { "id":"AojJAMzP54RaO0lNqKu31nNZ", "size":19, "operators":[ "if0", "not", "or", "shr4", "tfold" ] }, { "id":"Ap260HPxBrCOFUcC5r1A3zRV", "size":28, "operators":[ "and", "fold", "if0", "not", "or", "plus", "shr1", "shr16", "shr4", "xor" ] }, { "id":"ApxvIvRUBOOQni4P8vclQwS4", "size":16, "operators":[ "and", "if0", "plus", "shl1", "shr1", "shr4", "xor" ] }, { "id":"Aq6svJUvKtULzffeJF4gWDSL", "size":28, "operators":[ "and", "fold", "if0", "not", "or", "plus", "shl1", "shr1", "shr4", "xor" ] }, { "id":"Asvyb37C4ZY7j3eZjcVwbLsY", "size":21, "operators":[ "and", "if0", "not", "or", "shl1", "shr16", "tfold" ] }, { "id":"AtO9e0NtDUBUaayQ0X1qpQiB", "size":13, "operators":[ "fold", "not", "or", "shl1", "shr16" ] }, { "id":"AvHjVMmjzsetHcVPhkGWBfZq", "size":23, "operators":[ "and", "fold", "if0", "not", "plus", "shl1", "shr1", "shr16" ] }, { "id":"AwebzBTQsAhxEcNHxeeYOSlL", "size":12, "operators":[ "fold", "plus", "shl1", "shr4", "xor" ] }, { "id":"AyF4QlAVxnka8PKdP7dg5UgW", "size":11, "operators":[ "fold", "if0", "not", "shr4" ] }, { "id":"AzgVpAT17nv1WJpAmkzqEE94", "size":10, "operators":[ "and", "if0", "shr16" ] }, { "id":"B0CQVrWsq55xa54lLS6AirkF", "size":19, "operators":[ "and", "fold", "if0", "not", "plus", "shr16", "shr4", "xor" ] }, { "id":"B1szFKURRzAnWu5Bp62vpqkH", "size":15, "operators":[ "if0", "or", "tfold", "xor" ] }, { "id":"B3enrKfkfeiYp19X4eOtvvRE", "size":24, "operators":[ "and", "if0", "not", "or", "plus", "shr16", "shr4", "tfold" ] }, { "id":"B4A754dXRVx5X5l6loIH4jqV", "size":15, "operators":[ "if0", "not", "or", "shr4", "tfold", "xor" ] }, { "id":"B4XoRRzZppxoy3WPfSIftdmu", "size":12, "operators":[ "or", "plus", "shr1", "shr4", "tfold" ] }, { "id":"B6K6SNkAy0gLSUI1yIiZL0nB", "size":25, "operators":[ "fold", "if0", "not", "or", "shr16", "shr4", "xor" ] }, { "id":"B6sb2z2B3IAwNYGuEJ8H4piI", "size":25, "operators":[ "and", "fold", "if0", "not", "plus", "shl1", "shr1", "shr16", "xor" ] }, { "id":"B91vSAdQxuzrreZHFiAwmmyE", "size":17, "operators":[ "and", "if0", "not", "plus", "shr1" ] }, { "id":"B9AwPHYxnJ1X9kvTKKG54KDq", "size":12, "operators":[ "and", "if0", "shl1", "tfold" ] }, { "id":"BAOhnFpBbSszGsJ0mlh0znNi", "size":18, "operators":[ "fold", "if0", "not", "or", "plus", "shl1", "shr1", "shr16" ] }, { "id":"BBSwWVcBwjGkCOjofByXNOIW", "size":20, "operators":[ "fold", "if0", "not", "or", "shl1", "shr1", "xor" ] }, { "id":"BBbV5zB784l837R0YERf3Uqe", "size":19, "operators":[ "fold", "if0", "not", "or", "shr1", "shr16", "xor" ] }, { "id":"BEqQo7BTdZXn2xHHJJl8VfoB", "size":20, "operators":[ "and", "fold", "if0", "not", "or", "shr1", "shr16", "xor" ] }, { "id":"BFtRypLFWYBuY5FQV7wLFCDB", "size":3, "operators":[ "shr16" ] }, { "id":"BKeWdgegNui5x1cy8NsEHc8p", "size":22, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4" ] }, { "id":"BOwRE6ctQ1EFD8iXl8m4dabc", "size":18, "operators":[ "if0", "plus", "shr16", "tfold", "xor" ] }, { "id":"BPIHANYaiumvAPAsQgFuVNBW", "size":28, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "tfold", "xor" ] }, { "id":"BPPko01pQQ6KRO7e7DzPRif9", "size":14, "operators":[ "and", "if0", "plus", "shl1", "tfold" ] }, { "id":"BQqumSlYt4C8p8GzKtcOjbBw", "size":5, "operators":[ "shl1", "xor" ] }, { "id":"BShKvQEjBhdi4RjfIGBOnniu", "size":29, "operators":[ "and", "fold", "if0", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"BTnOQDofX1ZeFffk6e6EYY4U", "size":12, "operators":[ "not", "or", "plus", "shr1", "tfold" ] }, { "id":"BUDBlinzIZVOX3U0Lq36n4dj", "size":25, "operators":[ "and", "if0", "not", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"BVK5rT0NDjJh5L2K9AjxWHqJ", "size":21, "operators":[ "and", "if0", "not", "plus", "shl1", "shr1", "shr4", "xor" ] }, { "id":"BXmwvEYLOBCoYueKXTe7AnRP", "size":15, "operators":[ "fold", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"BZATUAv6dwrjTsk8rVulpTA2", "size":11, "operators":[ "if0", "or", "plus", "shr16" ] }, { "id":"BZOrjxNocfKIqVfYMSYyg71w", "size":29, "operators":[ "if0", "not", "or", "plus", "shl1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"BaGeDDX1tYsSHxfBP9Or4chZ", "size":19, "operators":[ "and", "fold", "if0", "plus", "shl1", "shr4" ] }, { "id":"BbgdTN8QSAwvYMvW7AUyVgEk", "size":28, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"Bcr8xPlG4uxrpl9OdA5DoE1I", "size":19, "operators":[ "and", "fold", "if0", "not", "plus", "shl1", "shr1", "shr4" ] }, { "id":"BefkWoWO4fXbpJj6H81tRNAI", "size":21, "operators":[ "fold", "if0", "plus", "shl1", "shr1", "shr4", "xor" ] }, { "id":"BfGptpJN1aI3pZVQVjTjoCu3", "size":18, "operators":[ "and", "if0", "or", "plus", "shr16", "shr4", "xor" ] }, { "id":"BgT3VzXdF6JfEimuAsgC16OR", "size":24, "operators":[ "and", "if0", "or", "plus", "shl1", "shr1", "tfold", "xor" ] }, { "id":"BiIyIqDY0zuoA60nFfWLPbnN", "size":10, "operators":[ "and", "if0", "shl1" ] }, { "id":"BiRHiDFY4JCu7BVYNAjYlwEK", "size":24, "operators":[ "and", "fold", "if0", "or", "plus", "shr1", "shr16", "shr4" ] }, { "id":"BkFX7NDPZsb2agiv11B9ZdiA", "size":16, "operators":[ "if0", "not", "or", "shr16", "xor" ] }, { "id":"BlG3SB0cgr5DpStF8bNBZwS0", "size":13, "operators":[ "fold", "not", "or", "shr1", "shr16", "xor" ] }, { "id":"Blb3zKlOBTAetvfAIAdSMuEV", "size":23, "operators":[ "and", "fold", "if0", "not", "or", "plus", "shr4" ] }, { "id":"Blf594lBagmcFrqPQRQe8cB1", "size":4, "operators":[ "not", "shl1" ] }, { "id":"BoQWRN3cuxjegZGZIUldbACR", "size":15, "operators":[ "if0", "not", "plus", "shl1", "tfold", "xor" ] }, { "id":"Bq4HL0UFDcy72OdvAOBSltmf", "size":25, "operators":[ "and", "if0", "not", "or", "shl1", "shr1", "shr4", "tfold", "xor" ] }, { "id":"BrDEfgUYIn0BP0tCp9eboD3e", "size":12, "operators":[ "fold", "plus", "shl1", "shr1" ] }, { "id":"Bs6m9XEwJoIQH674qiATn9kv", "size":26, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "tfold", "xor" ] }, { "id":"BtRUzK1ywAMWdsnSQ6ApRoiX", "size":20, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr4", "xor" ] }, { "id":"BtkSDiS2Xnoxj7B2xeF9yLnB", "size":21, "operators":[ "and", "fold", "if0", "not", "or", "shr16", "shr4", "xor" ] }, { "id":"BuILej22JxSxuVdoaZMAyPuG", "size":27, "operators":[ "and", "if0", "or", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"Bv4AbUYCLI0PCCRtVu9G3VEJ", "size":10, "operators":[ "or", "tfold", "xor" ] }, { "id":"BvI653KSogXJoLSbzs6mlvAh", "size":5, "operators":[ "or", "shr16" ] }, { "id":"By0Rz2BL93ZVbkGLSYNz1JIe", "size":21, "operators":[ "if0", "not", "plus", "shr1", "shr16", "tfold", "xor" ] }, { "id":"ByLWuhgHl9swzSCWzuBUVkVQ", "size":26, "operators":[ "and", "if0", "or", "shl1", "shr1", "shr4", "xor" ] }, { "id":"BySD7mGQ4i3X3VPvEkQZCoER", "size":10, "operators":[ "if0", "shr4", "tfold" ] }, { "id":"Byeaoe5UB12Rb20T6zqtDKmu", "size":5, "operators":[ "plus", "shr4" ] }, { "id":"BymW8ahnsEBKBV96oQUEFkdo", "size":17, "operators":[ "and", "if0", "not", "or", "shl1", "shr16" ] }, { "id":"C0gnAbeJiL7CUbDqGrSHkCrZ", "size":24, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1" ] }, { "id":"C6BOqNSy5w8S7KQUJMrMODRa", "size":22, "operators":[ "if0", "not", "or", "plus", "shl1", "shr1", "shr4", "tfold", "xor" ] }, { "id":"C83RteBvCVXLYt9uuwiIfbnN", "size":25, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr4", "tfold", "xor" ] }, { "id":"CAuSKO61Lw53mA1oNBqJ9ck3", "size":24, "operators":[ "and", "fold", "if0", "or", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"CB1pVg61YJ8LBfO8YfdBNtBd", "size":26, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"CBY4X4SAoHc0SmXInirREcXM", "size":11, "operators":[ "and", "if0", "or", "shl1", "shr16" ] }, { "id":"CDA69SXIonVLORQ0FmJa3Bh3", "size":14, "operators":[ "fold", "if0", "or", "shl1", "shr1", "shr4" ] }, { "id":"CIO6sQv4Ejbx89i8Sj0AfKmY", "size":14, "operators":[ "if0", "or", "shl1", "shr16", "xor" ] }, { "id":"CJ0fE2g7r8jqG0MBSAZ5QQsD", "size":20, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr16", "tfold", "xor" ] }, { "id":"CNGGeaaHPwqZ4xfAj12SSzQF", "size":19, "operators":[ "if0", "not", "or", "shr1", "shr16", "xor" ] }, { "id":"CP9R6hat1uyAAOKAXUVQ85Te", "size":13, "operators":[ "and", "if0", "not", "shr4", "tfold" ] }, { "id":"CTJJzONEf2i5Qfn1lcd9PfwY", "size":17, "operators":[ "if0", "plus", "shl1", "xor" ] }, { "id":"CVBXh1TAWiEEEfzxyjKskgpW", "size":15, "operators":[ "and", "if0", "not", "or", "shr1", "shr16", "xor" ] }, { "id":"CVyBPPnkkX3BntTOxBrBUD0M", "size":22, "operators":[ "and", "if0", "not", "plus", "shl1", "shr4", "tfold", "xor" ] }, { "id":"CbNsEGjwftdiyWhk8uYNfcMs", "size":15, "operators":[ "fold", "or", "plus", "shr4", "xor" ] }, { "id":"CcRB3946PGUZypyeBJF3U9ye", "size":23, "operators":[ "and", "fold", "if0", "not", "or", "plus", "shl1", "shr1" ] }, { "id":"CdZyvuXp3Reb5EDAsRWRXiZY", "size":14, "operators":[ "and", "fold", "if0", "not", "xor" ] }, { "id":"CfBOEAeaFTMYpOZHaDR3gNss", "size":26, "operators":[ "if0", "not", "or", "plus", "shr1", "shr4", "tfold" ] }, { "id":"CgGgELPiUd1UiUKbgjmAMbSn", "size":25, "operators":[ "and", "if0", "not", "or", "plus", "shr1", "shr16", "shr4" ] }, { "id":"CgoD3RrcCREM9Y0MpDtIvWTZ", "size":11, "operators":[ "fold", "if0", "not" ] }, { "id":"CkVzdWIKQCqWPg0BnKyfcBKC", "size":26, "operators":[ "and", "if0", "or", "plus", "shr1", "shr16", "shr4" ] }, { "id":"CkgTc625fB9oVofeCPl10tmL", "size":18, "operators":[ "and", "fold", "if0", "not", "plus", "shr4", "xor" ] }, { "id":"ClKchRMTTmobzUgzHMqwKNAl", "size":5, "operators":[ "shl1", "xor" ] }, { "id":"CnFIoEgpocBUxTUy0lMPzoBQ", "size":12, "operators":[ "if0", "plus", "shl1", "shr1", "shr16", "shr4" ] }, { "id":"CpC8lObWl1hquKg7lDtCAb62", "size":23, "operators":[ "fold", "if0", "or", "plus", "shr4", "xor" ] }, { "id":"CtBPZPZtBfJsf5zt1Qo6NADs", "size":14, "operators":[ "if0", "plus", "shr1", "xor" ] }, { "id":"Cupcs5A8mNxTuhyMISoWGhGS", "size":8, "operators":[ "tfold", "xor" ] }, { "id":"Cv5ZWg8JXFwb0dUuJjBdcEMx", "size":24, "operators":[ "and", "fold", "if0", "not", "plus", "shr1", "shr16", "shr4", "xor" ] }, { "id":"CwKvbLHjOR4BEDBAtAXdffW8", "size":21, "operators":[ "and", "fold", "if0", "not", "or", "plus", "shl1", "shr16", "xor" ] }, { "id":"CzosY5h6ldpsFFsyjEeQtZ3i", "size":5, "operators":[ "or", "shr4" ] }, { "id":"D10sB9UiRu2GeRlBpWrRYhLT", "size":23, "operators":[ "and", "if0", "not", "or", "plus", "shr16" ] }, { "id":"D2r8KXkaP0mB1ouf6VdEidHD", "size":19, "operators":[ "and", "if0", "or", "plus", "shr4", "tfold", "xor" ] }, { "id":"D31ZeDmzth4YPKbnx0hp6NLF", "size":16, "operators":[ "and", "if0", "or", "shr1", "shr16", "tfold" ] }, { "id":"D5L5UA1nYXiVfWAz93mnP8iF", "size":14, "operators":[ "if0", "plus", "shl1", "shr1", "shr4", "tfold" ] }, { "id":"D7GnX9vnnJkiCQMnsLYCJSAg", "size":19, "operators":[ "if0", "or", "plus", "shl1", "shr4", "xor" ] }, { "id":"DAgoT5jic80zEtnnkv72aMcK", "size":17, "operators":[ "and", "if0", "not", "plus", "shl1", "tfold" ] }, { "id":"DAngu9CF2UVAEIok6mW9iM2D", "size":22, "operators":[ "and", "fold", "if0", "not", "plus", "shl1", "shr16", "shr4", "xor" ] }, { "id":"DEXGkpNKA6rA7A3AonjSO2u1", "size":11, "operators":[ "shl1", "tfold", "xor" ] }, { "id":"DEaPGRI8iGB0hUAEzlm1Di2W", "size":6, "operators":[ "shl1", "xor" ] }, { "id":"DFUJYF73sFzrevT3HtDJmLbm", "size":14, "operators":[ "if0", "plus", "shr1", "tfold", "xor" ] }, { "id":"DI3NVfNsJmbDv8hMNvg4JBV2", "size":17, "operators":[ "if0", "not", "or", "plus", "shl1", "tfold", "xor" ] }, { "id":"DIBb38tKYhW0qbUIPV2tLth6", "size":11, "operators":[ "or", "shl1", "shr1", "tfold" ] }, { "id":"DKPl1z8gGk4DM3vygVjv2MzC", "size":15, "operators":[ "if0", "or", "plus", "shr1", "shr4", "xor" ] }, { "id":"DOgumXGtjGaVphDPt2ZneNKs", "size":8, "operators":[ "and", "if0", "shr1" ] }, { "id":"DPv1cfmuleMaqXx5awgwWizc", "size":19, "operators":[ "and", "fold", "if0", "or", "plus", "shr1", "xor" ] }, { "id":"DTvKsqrdeOHE44uWJcqemXtA", "size":21, "operators":[ "and", "fold", "if0", "not", "plus", "shr1", "shr4", "xor" ] }, { "id":"DVvQeGmBAI1hBLArw0ocIiRd", "size":22, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "xor" ] }, { "id":"Db2ANPBC6hZXeDKB3B4Pvg8E", "size":20, "operators":[ "and", "fold", "if0", "not", "or", "plus", "shr1" ] }, { "id":"DepKjITReF8h7OFrBsMsiLou", "size":17, "operators":[ "and", "if0", "or", "shl1", "shr16" ] }, { "id":"DgLjZHAzCot9qsRt9PfX7R6P", "size":9, "operators":[ "if0", "or", "xor" ] }, { "id":"DizN3YYtYhYnEeZAYbuW7bBc", "size":17, "operators":[ "and", "if0", "not", "plus", "shl1", "shr1", "shr16", "xor" ] }, { "id":"DjBcFiZCUQ2MbnwPTQi25lWb", "size":25, "operators":[ "and", "if0", "not", "or", "shl1", "shr1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"Dm8lgSQXAriAS2C27fw0suyI", "size":22, "operators":[ "if0", "not", "or", "plus", "shl1", "shr16", "shr4", "xor" ] }, { "id":"DqV6lsHMn9F4HJmm4oZAamLa", "size":18, "operators":[ "if0", "not", "or", "plus", "shl1", "shr16", "shr4" ] }, { "id":"Du6Y4dcWOcLLgB98wHo4I43g", "size":21, "operators":[ "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "tfold", "xor" ] }, { "id":"DuUmULz6sYRols5ZfKgiGAFu", "size":4, "operators":[ "xor" ] }, { "id":"DyB3wqxteZxlqek4ImmM6Vqj", "size":25, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4" ] }, { "id":"DzAFjevezLFVqWKk1EvC9jxJ", "size":27, "operators":[ "fold", "if0", "not", "or", "plus", "shr1", "xor" ] }, { "id":"E3KmR6EELgbUXipVrp8K1owv", "size":19, "operators":[ "and", "if0", "not", "plus", "shr1", "shr16", "shr4", "xor" ] }, { "id":"E45bm8q9A1ueHDFZiECgWd1I", "size":11, "operators":[ "if0", "plus", "shr1", "shr16", "xor" ] }, { "id":"E6mHJO8OKavbJ6FcecezwXdB", "size":13, "operators":[ "if0", "shr1", "shr16", "tfold", "xor" ] }, { "id":"EAemopbUu5PoJMsbcSHnGwd0", "size":9, "operators":[ "if0", "shl1", "shr4" ] }, { "id":"ECbaa4bA3pTGAQZaRBS1CWnT", "size":27, "operators":[ "and", "if0", "or", "plus", "shl1", "shr1", "shr16", "xor" ] }, { "id":"ED7dAIuBFAVSxmZnAAzc2yBI", "size":24, "operators":[ "and", "if0", "not", "plus", "shl1", "shr16", "shr4", "xor" ] }, { "id":"EDMVGmktk1P9vBCIaDvW9f3E", "size":15, "operators":[ "and", "if0", "or", "plus", "tfold" ] }, { "id":"EDsSUI5fFbXuGkAAiL9pJDjF", "size":10, "operators":[ "not", "tfold", "xor" ] }, { "id":"EOkIGAAgH7zlPNzAH46C3n3i", "size":18, "operators":[ "if0", "plus", "shl1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"EPgVupCNfAJGVkqaZWBlYBXc", "size":5, "operators":[ "and", "shr1" ] }, { "id":"EUpPAsAm266M90xi0Fn6raBA", "size":18, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr4" ] }, { "id":"EZ1Ofc6AHM84h8OOCA2LGA4g", "size":8, "operators":[ "and", "not", "shl1", "shr16" ] }, { "id":"EaHSMwB2af7wSJEk99GhR9Oe", "size":13, "operators":[ "if0", "shr16", "shr4", "tfold", "xor" ] }, { "id":"EfwJL8axAc7GCGyNAb3VpuZc", "size":29, "operators":[ "and", "fold", "if0", "not", "or", "shl1", "shr4", "xor" ] }, { "id":"EiR84FU6eNvSkC1BOlPkq2Vx", "size":6, "operators":[ "not", "shr1", "shr4" ] }, { "id":"EinSPsKz7YsqKeexrlVsA77J", "size":26, "operators":[ "and", "fold", "if0", "or", "plus", "shl1", "shr1", "shr4", "xor" ] }, { "id":"EjWCuQ3VeztcwObk2BRgOxrq", "size":28, "operators":[ "and", "if0", "not", "or", "shl1", "shr16", "shr4", "xor" ] }, { "id":"EkA8WiMB8LoWPjbT00qNlXuW", "size":17, "operators":[ "and", "if0", "not", "shr1", "shr4", "tfold" ] }, { "id":"ElKGQN0YylMTgIdjJgtIFu5d", "size":3, "operators":[ "shr1" ] }, { "id":"ElnQGcRgG4MiMhvcvATGllsM", "size":21, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "tfold", "xor" ] }, { "id":"Emx8HdHE8cMhNkqe38STQyQc", "size":19, "operators":[ "fold", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "xor" ] }, { "id":"EosA8ukOZcOrHuIBT2o9Br1n", "size":16, "operators":[ "if0", "plus", "shr1", "shr4", "tfold" ] }, { "id":"EpIy1zjBcNQ6B1kEOt1r9TdY", "size":24, "operators":[ "and", "fold", "if0", "or", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"EqBikhniHvwR0UqVGv8nIeGA", "size":13, "operators":[ "and", "fold", "or", "shr4", "xor" ] }, { "id":"Er26QBb6su3Da71Hkg2ICY9d", "size":9, "operators":[ "and", "not", "tfold" ] }, { "id":"EraCSalaYIKbxOsE24DAXggv", "size":17, "operators":[ "and", "if0", "shl1", "tfold", "xor" ] }, { "id":"EuBkQO3pU2TTI6MrMcK54FAv", "size":12, "operators":[ "fold", "or", "plus", "shl1" ] }, { "id":"ExbBS4kbbwYexVRqeG8UkM7b", "size":15, "operators":[ "fold", "if0", "not", "plus", "shl1", "shr1" ] }, { "id":"F71Bh7tRIP6QWzn0igQj83xi", "size":26, "operators":[ "fold", "if0", "or", "shl1", "shr1", "shr16", "xor" ] }, { "id":"F8oZurAbaIXnYhHIRqvBOr5C", "size":28, "operators":[ "and", "if0", "not", "plus", "shl1", "shr1", "shr4", "xor" ] }, { "id":"F8xq2JtmFsAjr70WHVUGed0s", "size":14, "operators":[ "fold", "if0", "or", "shl1", "xor" ] }, { "id":"FACyAWHwqnqB2woABTXNyMIg", "size":12, "operators":[ "and", "or", "tfold", "xor" ] }, { "id":"FKB4RZfw7PPNjg9l0miygUBQ", "size":11, "operators":[ "fold", "plus", "shl1", "xor" ] }, { "id":"FURDgYpugcArxZhQtvV4VREo", "size":16, "operators":[ "and", "fold", "if0", "plus", "shl1", "shr4" ] }, { "id":"FVemcvkOtyFbaXQC9sWlpuqr", "size":23, "operators":[ "and", "if0", "not", "plus", "shl1", "shr1", "shr16", "tfold", "xor" ] }, { "id":"FWuAsbPVv8jvCZnUJ89benDA", "size":13, "operators":[ "if0", "or", "plus", "tfold" ] }, { "id":"FXPBJRyQRIjl6hCEq0QpSKFK", "size":3, "operators":[ "shr1" ] }, { "id":"FZmKPMxsrsMMfSHBELh9Jdeq", "size":26, "operators":[ "and", "if0", "or", "plus", "shl1", "tfold", "xor" ] }, { "id":"Fbkwf2429CCcmE1BEyRKw3BI", "size":27, "operators":[ "and", "fold", "if0", "not", "or", "plus", "shl1", "shr16", "xor" ] }, { "id":"Fhk3ET6uMdhTTstVWlbS4Jxl", "size":23, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "xor" ] }, { "id":"Fi9B9JtYf6WCAQy2Bk4BmP5Z", "size":17, "operators":[ "if0", "or", "shr16", "shr4", "tfold", "xor" ] }, { "id":"FiNFMcbCeRhEN4I36Hd7iC17", "size":30, "operators":[ "if0", "not", "or", "plus", "shl1", "tfold", "xor" ] }, { "id":"FkJt1mJhGvBEI5crJR5OY7oz", "size":30, "operators":[ "and", "if0", "or", "plus", "shl1", "shr1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"FnBPHQ2IB8fByLY91DtwPHxQ", "size":30, "operators":[ "if0", "not", "or", "plus", "shl1", "shr16", "shr4", "xor" ] }, { "id":"Fw3kbODkz24zoQW1kxHHMiHF", "size":6, "operators":[ "not", "shl1", "shr16", "shr4" ] }, { "id":"FxIAapL7dXoLBdoMl0vC7JeL", "size":28, "operators":[ "and", "fold", "if0", "not", "or", "plus", "shr1", "shr4", "xor" ] }, { "id":"FysxaJCIbTm2KVeDgIQd8aMq", "size":16, "operators":[ "and", "if0", "not", "plus", "shl1", "shr1", "tfold" ] }, { "id":"G8zmXL7YXbVQG4TrOXA4coWf", "size":25, "operators":[ "fold", "if0", "not", "plus", "shl1", "shr1", "xor" ] }, { "id":"GAO7AA2IeT3BfFQLixbt2TM8", "size":25, "operators":[ "and", "if0", "or", "plus", "shl1", "shr16", "shr4", "xor" ] }, { "id":"GCB8BzGwxAYAqaXVnCcVPMEg", "size":29, "operators":[ "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "xor" ] }, { "id":"GKUFqZh0VyvfygxOJGAkNFJG", "size":19, "operators":[ "and", "if0", "not", "plus", "shl1", "shr1", "shr16", "shr4" ] }, { "id":"GL2nQkQnp5Zkz3EuENjIMACW", "size":11, "operators":[ "or", "shr1", "tfold", "xor" ] }, { "id":"GLtAIUFo6As3KNVE9QU13abt", "size":22, "operators":[ "if0", "not", "or", "shl1", "shr16", "shr4", "xor" ] }, { "id":"GOIVSnKx31TQF0ZqkfaNkceZ", "size":9, "operators":[ "if0", "shr1", "xor" ] }, { "id":"GYFO32BcTN3S3Yko8zLZ6zzJ", "size":10, "operators":[ "and", "if0", "not", "shl1", "shr16" ] }, { "id":"GZYjGOyZxeNgWIW8lVs2oUAB", "size":20, "operators":[ "and", "fold", "if0", "not", "plus", "shl1", "shr1", "shr4" ] }, { "id":"Gc96Xe8K4JjogI89iLQaNeEw", "size":25, "operators":[ "and", "if0", "not", "or", "plus", "shr4", "tfold", "xor" ] }, { "id":"Gd0tBhSJXB2LtzM00THo2CA4", "size":28, "operators":[ "if0", "not", "or", "plus", "shl1", "shr1", "shr4", "tfold", "xor" ] }, { "id":"GdjSNVUNQT77JY2HrXDPXw8c", "size":20, "operators":[ "and", "if0", "or", "plus", "shr1", "tfold", "xor" ] }, { "id":"GeZZSmA5xchoX5sdS01HAiBG", "size":24, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr16", "shr4", "tfold" ] }, { "id":"GecG5LWJnBMWddz2BL9MLHLL", "size":28, "operators":[ "and", "fold", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "xor" ] }, { "id":"GlfgjCMzA8cfzXQ7uNly3ryo", "size":17, "operators":[ "and", "if0", "or", "plus", "shl1", "shr16", "xor" ] }, { "id":"GlzGdYrZMy2Zg6wo2BbKxxFM", "size":18, "operators":[ "and", "if0", "not", "plus", "shl1", "shr1", "shr16", "xor" ] }, { "id":"Gm3j1ABnU4MSkZtIaeIrl2RB", "size":21, "operators":[ "and", "if0", "not", "or", "plus", "shr1", "shr4" ] }, { "id":"GqsyNniqovapSdrBIIcvYS4a", "size":15, "operators":[ "if0", "or", "plus", "tfold" ] }, { "id":"GrXyC1rM8ENafbr29govCkra", "size":26, "operators":[ "and", "fold", "if0", "not", "or", "plus", "shr16", "shr4", "xor" ] }, { "id":"GsKMlgFCozB7aYoAxchaEnRW", "size":24, "operators":[ "and", "if0", "not", "or", "shl1", "shr1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"GtnC4iqar9LuKLYsczBN6UNl", "size":5, "operators":[ "not", "plus" ] }, { "id":"Gy6eLljAyZBdAAK9uKlvTmWG", "size":15, "operators":[ "fold", "if0", "plus", "shl1", "shr4", "xor" ] }, { "id":"Gywnj5RUMVDimegdMlohnLhN", "size":30, "operators":[ "and", "if0", "not", "or", "plus", "shr1", "shr4", "tfold", "xor" ] }, { "id":"GzMhRYhjIdyHTatM55z0zS6z", "size":29, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "tfold", "xor" ] }, { "id":"H0RN2VVn3H6Od3TDdnsZAxb1", "size":16, "operators":[ "fold", "if0", "or", "shl1", "shr16" ] }, { "id":"H2ro7llMJKmsauJumLUZrkoM", "size":18, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr4", "tfold" ] }, { "id":"H36xiZmWeTSGSSZrQT2o5N5W", "size":22, "operators":[ "and", "if0", "or", "plus", "shr1", "tfold", "xor" ] }, { "id":"H4LZ6NlBmZwTt5D36mvtgfMj", "size":19, "operators":[ "and", "if0", "or", "shl1", "shr1", "shr16", "shr4" ] }, { "id":"H7zn6gKAHMySY9MeGH6SKyGz", "size":23, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "xor" ] }, { "id":"H8iXBs6rHq9RGrxcvWVxiEBw", "size":4, "operators":[ "not", "shr16" ] }, { "id":"HEuG86ChvDi7IpjKt7HZoxio", "size":30, "operators":[ "and", "if0", "or", "plus", "shl1", "shr1", "shr16", "tfold" ] }, { "id":"HFKeBbbhw2QGsqJKGjjAERYa", "size":12, "operators":[ "or", "plus", "shr1", "tfold" ] }, { "id":"HHzOrNxs8DqQ3ZCX8230nQrc", "size":7, "operators":[ "or", "shr4", "xor" ] }, { "id":"HOb8ws9PlTHxsncLep6uOUWp", "size":8, "operators":[ "plus", "tfold" ] }, { "id":"HQuLDGgFyJrwMaL6krtuAFGj", "size":13, "operators":[ "fold", "or", "plus", "shr1", "shr4" ] }, { "id":"HShURitGAzNLLdC3owMYBOB6", "size":23, "operators":[ "and", "if0", "not", "or", "plus", "shr1", "shr16", "shr4" ] }, { "id":"HTzJ87Nux1u4Dlws3GhnN4DP", "size":16, "operators":[ "and", "if0", "not", "or", "plus", "shr16" ] }, { "id":"HUxKFRAAKxPCPieEwwYTUy8O", "size":21, "operators":[ "fold", "if0", "not", "or", "plus", "shl1", "shr16", "shr4", "xor" ] }, { "id":"HV6Aqk5hFr6xf4CSMP7yWeDw", "size":20, "operators":[ "and", "fold", "if0", "not", "plus", "shl1", "shr16", "shr4" ] }, { "id":"HVUQRAoLN6HHpnwb1hggjUzj", "size":17, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "xor" ] }, { "id":"HbaewB1xcm6uaz05CsfnAtys", "size":18, "operators":[ "and", "if0", "or", "plus", "shl1", "shr16", "shr4" ] }, { "id":"He8b6sBAZKeXgCZmUFHATkWK", "size":12, "operators":[ "plus", "shr4", "tfold", "xor" ] }, { "id":"HfAdMUApY3Fg1OxhuVjUQIfp", "size":25, "operators":[ "fold", "if0", "not", "or", "shl1", "shr1", "shr16", "xor" ] }, { "id":"HhxxfnWQ2GThEbA4EfiNc1Tt", "size":15, "operators":[ "and", "if0", "or", "plus", "shr1", "shr16", "shr4" ] }, { "id":"HmxCByvys51z1DL4OGa8MMJz", "size":29, "operators":[ "and", "fold", "if0", "not", "or", "plus", "shl1", "shr1", "shr4" ] }, { "id":"HtKYmkRT1yaeog3bYi5B4UtT", "size":18, "operators":[ "and", "fold", "if0", "not", "shr1", "shr16", "xor" ] }, { "id":"HwnTYIHXS0pa6rfqPjocNRmp", "size":11, "operators":[ "if0", "not", "or", "shl1", "shr16", "shr4" ] }, { "id":"I5lsOsWlx4FhtnoOgMqclHpD", "size":16, "operators":[ "if0", "not", "shl1", "tfold", "xor" ] }, { "id":"ICDAXMGLsXg0mG285ZEwQ4Oq", "size":25, "operators":[ "and", "fold", "if0", "or", "plus", "shl1", "shr16", "xor" ] }, { "id":"ICMqhG2vyzlrzngS9A9QT2sV", "size":25, "operators":[ "and", "fold", "if0", "not", "plus", "shl1", "shr16", "shr4", "xor" ] }, { "id":"IPC4y7L581zxKQaSOA4fF4AR", "size":18, "operators":[ "and", "if0", "or", "plus", "shr1", "shr16", "shr4" ] }, { "id":"IUwC4FBxZqiL3nRiQcyqC7HJ", "size":22, "operators":[ "and", "if0", "not", "or", "shl1", "shr4", "xor" ] }, { "id":"IY1weuww7SAbKjHSCztKCozK", "size":21, "operators":[ "fold", "if0", "or", "plus", "shl1", "shr16", "shr4", "xor" ] }, { "id":"IabZZzBHqMWhoVaj01MGiivY", "size":12, "operators":[ "and", "fold", "not", "plus", "shl1" ] }, { "id":"IckvBAXavjAhhA5JLpXT6kzM", "size":25, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "xor" ] }, { "id":"IjziH17eTYa1JkOrmdBxrCc6", "size":14, "operators":[ "fold", "shl1", "shr1", "xor" ] }, { "id":"IlQu0wm6GmOI2Akf5rMEDqQ2", "size":12, "operators":[ "and", "if0", "or", "shr1", "shr16", "shr4" ] }, { "id":"ImavvEfZ5purAE0LI9zFaIag", "size":30, "operators":[ "fold", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "xor" ] }, { "id":"IsbIQiEPQSA9jlmlYL23DiE0", "size":24, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr4", "tfold", "xor" ] }, { "id":"IvBK1okyolSeIhhDfOSXfBux", "size":6, "operators":[ "and", "not", "shr16" ] }, { "id":"IxMASHiaH6aRGUcPUKietGLr", "size":25, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr4", "tfold" ] }, { "id":"J1tpRJmZco5KbR3tIF0k9oAi", "size":26, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "xor" ] }, { "id":"J3ASvltzW8fiJAAUk8ILCnCi", "size":15, "operators":[ "and", "fold", "not", "or", "shl1", "shr16" ] }, { "id":"J5Vfrs68908nJ8DjEHcGYneu", "size":12, "operators":[ "fold", "not", "or", "shr1", "shr16", "shr4" ] }, { "id":"J9GnhcCUdT8QbMEHYtjMKTz5", "size":20, "operators":[ "fold", "if0", "or", "shl1", "shr1", "shr16", "xor" ] }, { "id":"JDLZd30a7SmcAUFvgM2LKuCB", "size":13, "operators":[ "fold", "not", "or", "shl1", "shr1", "shr16" ] }, { "id":"JKiJbSZVv7CTELbkJeMycr5p", "size":7, "operators":[ "not", "xor" ] }, { "id":"JNIZy7RqdVM8l3SmPM4CaNWS", "size":13, "operators":[ "and", "if0", "not", "shl1", "shr4" ] }, { "id":"JSIKns9c72ZfBVfTky6AeHJE", "size":20, "operators":[ "if0", "not", "plus", "shr16", "shr4", "tfold", "xor" ] }, { "id":"JSVYH9HeW9k5cHup5d53MaAH", "size":19, "operators":[ "fold", "if0", "or", "plus", "shr1", "shr16", "xor" ] }, { "id":"JVYEDnakDWoeGUv4y2FVF5VX", "size":26, "operators":[ "if0", "or", "plus", "shl1", "shr1", "shr4", "xor" ] }, { "id":"JX20nv1J0PX284F7s5DtjJZj", "size":20, "operators":[ "and", "fold", "if0", "plus", "shl1", "shr16" ] }, { "id":"JZ8X8AhvnphyiDuMewZH4EDh", "size":30, "operators":[ "and", "if0", "not", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"JahBcZnuu0lS1CaII5AbpsUi", "size":18, "operators":[ "and", "if0", "plus", "shl1", "tfold", "xor" ] }, { "id":"JctyNjl0ehCpTGpBNPIF4YHN", "size":21, "operators":[ "if0", "not", "or", "plus", "shl1", "shr16", "shr4", "xor" ] }, { "id":"JdD8AEEYkGFy6Pg92Mdbl0NZ", "size":15, "operators":[ "and", "if0", "shl1", "shr4", "tfold" ] }, { "id":"JtMToNpqEcl4dECvGL3x5WoB", "size":5, "operators":[ "not", "or" ] }, { "id":"JvBHCtGhgsca4mWQsoxliBca", "size":9, "operators":[ "if0", "shr1", "shr16", "shr4" ] }, { "id":"JwaT3WKU3x6tmlkgyXk3W741", "size":17, "operators":[ "if0", "not", "or", "plus", "shl1", "shr1", "shr16" ] }, { "id":"Jzy721sJsjMBTXzQeFeo3mp3", "size":29, "operators":[ "and", "fold", "if0", "not", "or", "plus", "shl1", "shr16", "shr4", "xor" ] }, { "id":"K7eJAZxvfjmmLRFGhzBiGGRh", "size":16, "operators":[ "and", "if0", "not", "shl1", "tfold" ] }, { "id":"KAXDMFAEbhAAEf7SnefgPuxj", "size":25, "operators":[ "and", "if0", "or", "shl1", "shr16", "tfold", "xor" ] }, { "id":"KB1zewzIKrS6LrAAFS6r6k1V", "size":18, "operators":[ "and", "if0", "or", "shr4", "tfold", "xor" ] }, { "id":"KBMRuTTAeDBiGrHWFuBXgbpx", "size":23, "operators":[ "and", "fold", "if0", "or", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"KBPHqqAAgT2LCkdv3VmRcGXP", "size":28, "operators":[ "and", "if0", "not", "plus", "shl1", "shr1", "shr16", "shr4", "tfold" ] }, { "id":"KFAQuU4WnBOgkxR3JehoPVEz", "size":3, "operators":[ "not" ] }, { "id":"KHL16k9lBRXVfAGBvZbDWvHP", "size":21, "operators":[ "fold", "if0", "not", "plus", "shl1", "shr1", "shr16" ] }, { "id":"KI3NaBBUWyebjN1VxGHZeOwQ", "size":20, "operators":[ "and", "if0", "or", "plus", "shr1", "shr4" ] }, { "id":"KJay8TYDtutI8kqtEilJiFFw", "size":20, "operators":[ "and", "fold", "if0", "or", "shr1", "shr4", "xor" ] }, { "id":"KLDKZpVEgpTA0l3wdx05Y2hN", "size":3, "operators":[ "shr1" ] }, { "id":"KPiyeTW7BWz9AnPHDBTK9o3l", "size":7, "operators":[ "or", "shr16", "xor" ] }, { "id":"KSbnxQ8CRDT8VN19IDtgmqhr", "size":18, "operators":[ "and", "if0", "not", "or", "shl1", "shr1", "shr16", "xor" ] }, { "id":"KU6S0tg5ikpLrPeNkrflJgft", "size":28, "operators":[ "and", "fold", "if0", "not", "or", "shl1", "shr1", "shr4", "xor" ] }, { "id":"KevN6TvH4la8JDiqZioQdAAY", "size":26, "operators":[ "and", "if0", "or", "plus", "shl1", "shr1", "shr4", "xor" ] }, { "id":"KhrHw7pAR9sqQAIzIaLz1FYw", "size":30, "operators":[ "and", "if0", "or", "plus", "shl1", "shr1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"KiTlK2xQu8Guq3DjPm9TWDvQ", "size":18, "operators":[ "and", "if0", "plus", "shr1", "tfold", "xor" ] }, { "id":"KpEkjgzdjcRt3AHz1MlgITIU", "size":14, "operators":[ "and", "if0", "shr16", "tfold", "xor" ] }, { "id":"KqLKKw9W1F9GhIBLpPPi7PDl", "size":15, "operators":[ "if0", "or", "shr1", "shr4", "tfold" ] }, { "id":"L5rzEEjDyIa0QXWGKYrKK2pA", "size":22, "operators":[ "if0", "not", "shl1", "shr1", "shr16", "tfold", "xor" ] }, { "id":"L9e5yCkKampByGBT6uV8SN9T", "size":10, "operators":[ "and", "if0", "shr1", "xor" ] }, { "id":"LCjQOQz1aY9Nf8OdSFAnYz3A", "size":22, "operators":[ "and", "fold", "if0", "not", "plus", "shl1", "shr16", "shr4" ] }, { "id":"LDKyaUEAe3TAUoVhW0CktBWA", "size":10, "operators":[ "or", "shr16", "shr4", "tfold" ] }, { "id":"LDeBuEKoiHjci6ANM9J2I7Ob", "size":30, "operators":[ "and", "fold", "if0", "or", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"LKb5QaJYzKG0riVpcgwMLvtx", "size":16, "operators":[ "if0", "or", "plus", "shr16", "tfold", "xor" ] }, { "id":"LKvl7FtDmPCXmDvkiTxy4Cv1", "size":15, "operators":[ "fold", "not", "plus", "shr4", "xor" ] }, { "id":"LQZhau2ojIWlzt0WEmgBeptA", "size":13, "operators":[ "if0", "or", "shl1", "shr16", "shr4", "xor" ] }, { "id":"LRuNd9BqOkiXjLz7SzvmwAbp", "size":5, "operators":[ "plus", "shr1" ] }, { "id":"LSOSiJbBEdaLFAPWBBZB0hn9", "size":25, "operators":[ "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"LVFl3zACNYANvWxU19egRn1H", "size":19, "operators":[ "fold", "if0", "or", "plus", "shr1", "shr16", "xor" ] }, { "id":"LbjCsE1bbe0T82cpQZGlTc7E", "size":14, "operators":[ "and", "if0", "not", "tfold", "xor" ] }, { "id":"Ldn1h1l5rBwqC36GiPegxT0M", "size":25, "operators":[ "and", "fold", "if0", "not", "or", "shl1", "shr4", "xor" ] }, { "id":"LkN26i9yRnoNyPrbwnUtY66K", "size":14, "operators":[ "fold", "or", "shr4", "xor" ] }, { "id":"LlW1cKkn7mNql9BIwZq8t5kG", "size":12, "operators":[ "and", "if0", "not", "shr16", "shr4", "xor" ] }, { "id":"Ln8W2f1eReKL1QAQV2qGreul", "size":26, "operators":[ "fold", "if0", "or", "shl1", "shr1", "shr16", "xor" ] }, { "id":"LpfRUkEB2iQ8YhPn5cNYZWQj", "size":19, "operators":[ "and", "if0", "or", "plus", "shr1", "tfold" ] }, { "id":"LrizEfqPwBJTtW912HSabA3L", "size":23, "operators":[ "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"LtG9ZsI51roN0pPJFHPQSnVc", "size":29, "operators":[ "and", "if0", "not", "or", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"M1djwi6PIyc7FibCcewK4eCa", "size":21, "operators":[ "if0", "not", "plus", "shr16", "tfold", "xor" ] }, { "id":"M357uaMB57qIrjWpCo3fc3MV", "size":28, "operators":[ "and", "if0", "not", "or", "plus", "shr1", "shr16", "tfold", "xor" ] }, { "id":"M3UCHepbJ33v4MmeYlSoIxg0", "size":27, "operators":[ "and", "if0", "or", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"M6GHAEQ7DnxhYShByGs1vgBq", "size":12, "operators":[ "and", "if0", "not", "shl1" ] }, { "id":"M6n7DVBBkApGMVBVG78U7nqT", "size":27, "operators":[ "and", "if0", "not", "or", "plus", "shr1", "shr4", "xor" ] }, { "id":"M7dIbukiOlvKRAYJoHHfkqkz", "size":15, "operators":[ "if0", "not", "or", "plus", "shr1", "shr16", "shr4", "xor" ] }, { "id":"M8Xb2Wco44j6DpdMXVfFNpWD", "size":20, "operators":[ "if0", "not", "plus", "shl1", "shr1", "tfold" ] }, { "id":"MAEkLn676xtMdtYB3CYx4mwJ", "size":13, "operators":[ "and", "fold", "if0", "shl1", "shr4" ] }, { "id":"MLqWdIYaB1Lhl3EADGOKMK8J", "size":16, "operators":[ "and", "fold", "if0", "not", "plus", "shr1", "shr16" ] }, { "id":"MPMCxM9S0n0TXZduUS05nkAk", "size":14, "operators":[ "if0", "plus", "shr1", "shr16", "tfold" ] }, { "id":"MSnJqPrBiMCyiUYl8BsApkqF", "size":16, "operators":[ "and", "fold", "if0", "or", "shl1", "shr16", "shr4" ] }, { "id":"MWdrXLMNWoh3yC45jWzDBPuO", "size":3, "operators":[ "shr1" ] }, { "id":"MXDYRQlrATjmBNlN5NgjEidW", "size":15, "operators":[ "fold", "if0", "shl1", "xor" ] }, { "id":"MZepIWy6FE0HWvXsk5m9N5xZ", "size":11, "operators":[ "and", "shl1", "tfold", "xor" ] }, { "id":"Mcf5EKt3T2BPcGPUPraplVBf", "size":16, "operators":[ "and", "if0", "not", "shr4", "xor" ] }, { "id":"MjUByVB7KSVuVhbJTIPyDjn6", "size":12, "operators":[ "fold", "plus", "shl1", "shr16", "xor" ] }, { "id":"MkPSOrcRz9DpPWAU0AdUzFx5", "size":26, "operators":[ "if0", "or", "plus", "shl1", "shr1", "shr4", "xor" ] }, { "id":"MkaJmA89kohmBYnRb1J4KVvO", "size":30, "operators":[ "and", "if0", "not", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"Ml9MKspDzU7rI3z0WE0oSmkj", "size":14, "operators":[ "fold", "or", "plus", "shr1", "shr4" ] }, { "id":"Mn7MIrAly3hBnfzJbF4JIZBF", "size":19, "operators":[ "and", "if0", "not", "shr1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"MoXoNc6yFBZHVi9K2Bylb8WP", "size":22, "operators":[ "and", "if0", "not", "shr1", "shr16", "shr4", "tfold" ] }, { "id":"Mzdj5U0qfNIOJDFbQ4axXFNu", "size":27, "operators":[ "and", "fold", "if0", "not", "or", "plus", "shl1", "shr1", "shr4" ] }, { "id":"N1apZmm7YybeYezoy5el3zh2", "size":12, "operators":[ "fold", "or", "shl1", "shr4", "xor" ] }, { "id":"N25IDbIm0k6ZUUdtHSkt7Xrf", "size":9, "operators":[ "if0", "tfold" ] }, { "id":"N8onfHOeyFedWMOcRFbQVzaA", "size":26, "operators":[ "and", "fold", "if0", "not", "plus", "shl1", "shr16", "xor" ] }, { "id":"N9BBdPPQnikTuDEYmJgiNIWx", "size":26, "operators":[ "and", "if0", "or", "plus", "shl1", "shr1", "shr16", "tfold", "xor" ] }, { "id":"NA8rJrGWpMKv8WzGQhijrtdG", "size":13, "operators":[ "and", "if0", "not", "or", "shr1", "shr16" ] }, { "id":"NASQ2LTsAQ9SmK6FhTj2dQyh", "size":8, "operators":[ "plus", "xor" ] }, { "id":"NC4hFOBwDYBZSLBKohEKDtu3", "size":15, "operators":[ "if0", "or", "shl1", "shr1", "xor" ] }, { "id":"NFEEVqzpJh8WcJFAGJT0JM7Z", "size":19, "operators":[ "if0", "plus", "shl1", "shr1", "shr16", "xor" ] }, { "id":"NIjpMPtZBYWgTOJWEPOagFw3", "size":11, "operators":[ "fold", "shr1", "shr16", "shr4", "xor" ] }, { "id":"NJAN2aEaPMCA2BLXZjQG9vhh", "size":22, "operators":[ "and", "if0", "not", "plus", "shl1", "shr1", "shr4", "xor" ] }, { "id":"NObD1OT92lFqRFBHVmuZAgFk", "size":24, "operators":[ "fold", "if0", "or", "plus", "shr1", "xor" ] }, { "id":"NThlKdWfQg8BpkzBNgb6JqDL", "size":15, "operators":[ "and", "if0", "not", "plus", "shl1", "xor" ] }, { "id":"NTt4AiHrY4aAKYidCgvKlBud", "size":10, "operators":[ "and", "if0", "shr16" ] }, { "id":"NUBJ9h6NNnK7tDUq6UdoaWiA", "size":9, "operators":[ "or", "shr4", "tfold" ] }, { "id":"NdU11mHgpOsBXGR8kllUGhOX", "size":21, "operators":[ "and", "if0", "not", "or", "plus", "shr4", "tfold" ] }, { "id":"NhFYhJAmi13guvtPxHMGQUdZ", "size":20, "operators":[ "and", "if0", "or", "plus", "shr1", "tfold", "xor" ] }, { "id":"NiYtB5xEmrCCOtDR3r2a8hNQ", "size":14, "operators":[ "if0", "or", "shl1", "shr1", "xor" ] }, { "id":"NkkqxUOukXrEWyqHqfUTKeX0", "size":13, "operators":[ "if0", "not", "shr1", "shr16", "tfold" ] }, { "id":"NnARbKbzfFkMikrB1ULIFmaj", "size":27, "operators":[ "fold", "if0", "not", "or", "shl1", "shr1", "shr16", "xor" ] }, { "id":"NnThilLPT9YScre1bHAA7nL8", "size":19, "operators":[ "fold", "if0", "plus", "shr1", "shr16", "shr4", "xor" ] }, { "id":"Nnf8uGCg7NJxDKS4KnyfJMM7", "size":12, "operators":[ "and", "not", "or", "shr16", "tfold" ] }, { "id":"NsJS60xClp06klkozUO6l9y8", "size":19, "operators":[ "and", "fold", "if0", "not", "plus", "shr1", "xor" ] }, { "id":"NsvA3osAlYx2sL8jmvWI2fQB", "size":4, "operators":[ "shl1", "shr4" ] }, { "id":"Nyg1OmQbstNd9WTWpckiFwGd", "size":17, "operators":[ "if0", "not", "or", "shl1", "shr1", "shr4", "tfold", "xor" ] }, { "id":"Nzr3lZ8MUvXyJtamoyNs8AvA", "size":16, "operators":[ "if0", "plus", "shl1", "shr4", "tfold", "xor" ] }, { "id":"O0HSaCE9n7Y8ll60Sg5tUOJ9", "size":27, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr4" ] }, { "id":"O32DPnl00CpTGiMWE8hMtHHl", "size":11, "operators":[ "and", "plus", "shr4", "tfold" ] }, { "id":"O4ozPGjfMMobTpTk5C4vDfGH", "size":30, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"ODAJ96DMyyvtNPxhFoMpesor", "size":16, "operators":[ "if0", "not", "or", "plus", "shl1", "shr4" ] }, { "id":"OG7ibBdbq171OaH5XA4gfcm7", "size":17, "operators":[ "if0", "not", "plus", "shl1", "tfold", "xor" ] }, { "id":"OGWM9237PNbFMGJ6zqDodIAI", "size":23, "operators":[ "and", "if0", "not", "plus", "shl1", "shr1", "shr16", "xor" ] }, { "id":"OR3S5bJvdgtOTfZAW5DPeMUQ", "size":24, "operators":[ "and", "if0", "not", "or", "plus", "shr1", "shr16", "shr4" ] }, { "id":"OUIdmkpXAdI2tc0FLfTYLYx1", "size":18, "operators":[ "if0", "or", "shr1", "shr16", "xor" ] }, { "id":"OUid0BT7V0msZm78PP6Zf6em", "size":27, "operators":[ "and", "if0", "not", "plus", "shl1", "shr1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"ObKucC0kAFUqkhp3dca6BswL", "size":29, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr4", "tfold" ] }, { "id":"Og14KhGw6J5J0E1BN1lBVLBS", "size":24, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"Oheo4MkRtXowEpiOWj5sIqBR", "size":30, "operators":[ "and", "fold", "if0", "or", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"OmA43Zt4Ysgs02VbyP6e1n9g", "size":14, "operators":[ "and", "if0", "not", "plus", "tfold" ] }, { "id":"OoKvmWMxBXAXuZzroQ19utYA", "size":24, "operators":[ "and", "fold", "if0", "or", "plus", "shr1", "shr16", "shr4" ] }, { "id":"OrPdhyZunKHewO1ySmdyf3SN", "size":13, "operators":[ "fold", "or", "plus", "shl1", "shr1" ] }, { "id":"OrvQskfmOZ9qcQXsiEU1hWOd", "size":24, "operators":[ "if0", "or", "plus", "shr1", "shr16", "shr4", "xor" ] }, { "id":"OzwaAlqe05sVOLeZQPsZS38a", "size":13, "operators":[ "if0", "or", "plus", "shr1" ] }, { "id":"P0EB3W1FFtb1B38CuImhDbdG", "size":22, "operators":[ "if0", "not", "or", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"P19buNWcN23P10m0gxP644qd", "size":25, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "tfold", "xor" ] }, { "id":"P33CFQBGiRtX83dfSgp1agAV", "size":4, "operators":[ "shl1", "shr1" ] }, { "id":"P5nMOJneAzmdizZOjqRBHTBb", "size":27, "operators":[ "and", "if0", "not", "shl1", "shr1", "shr16", "xor" ] }, { "id":"P6R5jfZLhznFODR7JWqr8JlO", "size":17, "operators":[ "if0", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"P7hLqTqpLAyOhzWwMVBakVXk", "size":3, "operators":[ "shl1" ] }, { "id":"PAObni2bq5Lz8vG7hrrmgwZa", "size":3, "operators":[ "shr4" ] }, { "id":"PDcKDTucVKUj0bn9SLjHBswP", "size":20, "operators":[ "and", "if0", "plus", "shl1", "xor" ] }, { "id":"PIid3DyBpZ6YXueltTAArzPV", "size":28, "operators":[ "if0", "not", "or", "plus", "shr1", "tfold", "xor" ] }, { "id":"POUfHBwqPAEPH5vQZ0KZg1Qo", "size":24, "operators":[ "and", "fold", "if0", "not", "or", "plus", "shl1", "shr4", "xor" ] }, { "id":"PPUqC9TZXQskj9sk7kE04YFA", "size":18, "operators":[ "fold", "if0", "shr1", "shr16", "shr4", "xor" ] }, { "id":"PXhy5gWdj13sK7hRAo04NyWU", "size":9, "operators":[ "if0", "or", "xor" ] }, { "id":"PelhssCMSLarUvo1URiwebpk", "size":10, "operators":[ "if0", "shl1", "tfold" ] }, { "id":"PfyoBM6SxmUkgK3uA2yRxiuV", "size":19, "operators":[ "and", "fold", "if0", "or", "plus", "shl1", "shr16", "shr4" ] }, { "id":"Pk4BHIBrbtkUcZucpAtTFBLA", "size":8, "operators":[ "plus", "tfold" ] }, { "id":"Pl3GHyLb7OhDsLuiB7Gn8tsp", "size":20, "operators":[ "and", "fold", "if0", "plus", "shl1", "shr1" ] }, { "id":"PmROPrNE115KgSYoqiQSzSKh", "size":26, "operators":[ "and", "fold", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "xor" ] }, { "id":"PotB4aNQOoOnub1WB3KEUZhB", "size":30, "operators":[ "and", "if0", "not", "or", "shl1", "shr1", "shr4", "xor" ] }, { "id":"PpPwGUTtZdiZ61KCRX3WOAeN", "size":29, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr4", "xor" ] }, { "id":"PqY2MyVLT1HmlmxWqCahXNqM", "size":16, "operators":[ "and", "if0", "not", "or", "shl1", "shr1", "shr4" ] }, { "id":"PquAl7Lr01HyAbtq9ZloAA2K", "size":10, "operators":[ "plus", "tfold", "xor" ] }, { "id":"Ps4qaX0TYwB2R4pTjhctkPFw", "size":20, "operators":[ "and", "if0", "not", "plus", "shl1", "tfold", "xor" ] }, { "id":"PtHL3ojBZ7lqpU3VxwPFZhW1", "size":7, "operators":[ "and", "plus", "shr4" ] }, { "id":"PvPbwqy4Xbxv1yCv1H6vUUEQ", "size":19, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr16" ] }, { "id":"PzOlk4lg0ymD8HBq5Thk4A9o", "size":26, "operators":[ "fold", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"Q08ix01f6W1IRVEAyeTtPCwc", "size":28, "operators":[ "and", "fold", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"Q7cZR65LCfH8kZS2a7WO0i1v", "size":17, "operators":[ "fold", "if0", "plus", "shr1", "shr4" ] }, { "id":"Q9wdxV7VrTBfetQaAkuJ7JBo", "size":24, "operators":[ "and", "if0", "or", "plus", "shl1", "shr1", "shr16", "shr4" ] }, { "id":"QHAA1vdpXOAgyqpvxZQKWowP", "size":12, "operators":[ "fold", "or", "shl1", "shr4" ] }, { "id":"QIjKVEHFOiYokL5J1RE1IoXa", "size":26, "operators":[ "and", "if0", "not", "or", "plus", "shr1", "shr16", "shr4", "xor" ] }, { "id":"QJ1a10oBpw3pQ2b7Vubqt0eY", "size":13, "operators":[ "if0", "plus", "shr1", "shr16", "tfold" ] }, { "id":"QLkWAahImvAzzsOSE3mYEQe7", "size":8, "operators":[ "or", "tfold" ] }, { "id":"QPro07YrQFTk2Rz4ScLu5q9D", "size":13, "operators":[ "if0", "plus", "tfold", "xor" ] }, { "id":"QR392zLDOA090t7wfRFUCvVs", "size":21, "operators":[ "and", "fold", "if0", "or", "shr4", "xor" ] }, { "id":"QVrfkfCJ60dyV1iwh1CEDDK1", "size":25, "operators":[ "and", "fold", "if0", "not", "plus", "shr1", "xor" ] }, { "id":"QXgr2jOtb4ToLICmAjvt6Kv8", "size":22, "operators":[ "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4" ] }, { "id":"QZH6dA8OJi52fhkG7BB5ED1z", "size":21, "operators":[ "fold", "if0", "plus", "shl1", "shr1", "shr16", "xor" ] }, { "id":"QgMClqop8a9t19UKpN0zPaa6", "size":8, "operators":[ "plus", "shr1", "shr16" ] }, { "id":"QiqD5Y9iDJfo7uGrKAbKXTdJ", "size":26, "operators":[ "and", "if0", "not", "or", "shl1", "shr1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"QoNkAfpdBAv9WAc67rqeAt45", "size":16, "operators":[ "if0", "not", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"QosAtJgQHez9TJNIii9N6M0o", "size":20, "operators":[ "if0", "not", "or", "shl1", "xor" ] }, { "id":"Qqp3jY83nAbuLi3RNxOmgG95", "size":28, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"Qslvb1i9XFfdD2SFxGtODaik", "size":24, "operators":[ "fold", "if0", "not", "or", "plus", "shl1", "shr1", "shr4", "xor" ] }, { "id":"QuIq2R3Dh6fx98tMODxkdukF", "size":17, "operators":[ "fold", "if0", "or", "plus", "shr4" ] }, { "id":"QuKsbWOiomyhl8dyMgKOARko", "size":3, "operators":[ "shr4" ] }, { "id":"R1vtz1xBADiAi0PXhJRJSNzu", "size":12, "operators":[ "and", "not", "or", "tfold" ] }, { "id":"R26v5O8Sul0x8fNMaWIvEFFb", "size":14, "operators":[ "and", "fold", "if0", "plus", "shl1" ] }, { "id":"R8b4kods4FG4GSPdIRDIQfaq", "size":4, "operators":[ "shr1", "shr16" ] }, { "id":"RACXV2rLyBw6fisyvEpVs9Ag", "size":25, "operators":[ "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"RAjjbzc6SwheBObCTxevAnyg", "size":26, "operators":[ "and", "fold", "if0", "plus", "shl1", "shr4", "xor" ] }, { "id":"RIJYRCIvuWgg6PT8BAagMBr5", "size":21, "operators":[ "and", "if0", "or", "shr16", "tfold", "xor" ] }, { "id":"RQS0Q5fAEC42loIgoDhs2DrZ", "size":7, "operators":[ "or", "shr4", "xor" ] }, { "id":"RR6gKpuvnSRp0ElMHkQnj2TA", "size":11, "operators":[ "fold", "not", "plus", "shl1", "shr16" ] }, { "id":"RRAgHIJBmx94rGgUmG6JCVMu", "size":30, "operators":[ "and", "if0", "or", "shl1", "shr1", "shr4", "tfold", "xor" ] }, { "id":"RT3nfBPBSQhR3cT2gvpX9hlZ", "size":12, "operators":[ "or", "plus", "tfold" ] }, { "id":"RTeR3ZgUWgAJy1tQSW0Z19dB", "size":8, "operators":[ "plus", "shl1", "xor" ] }, { "id":"RY1LO3ry5Mp90yvBILnNuaok", "size":22, "operators":[ "fold", "if0", "or", "shl1", "shr1", "shr16", "xor" ] }, { "id":"RcDhWmKQMNVvZLGzAvBzk9Ke", "size":11, "operators":[ "plus", "shr1", "tfold", "xor" ] }, { "id":"Ri9mtlJxjae174cv6pauw3a4", "size":22, "operators":[ "fold", "if0", "not", "or", "plus", "shr4", "xor" ] }, { "id":"RrBRbUr7XrsZn7uN9MKHAsya", "size":10, "operators":[ "and", "not", "tfold" ] }, { "id":"RsLhRpGm6gBEAAKaOPPb7JJu", "size":10, "operators":[ "and", "if0", "or", "shl1" ] }, { "id":"RvBdx8y0U0hZHdcvYutmp4R8", "size":26, "operators":[ "and", "if0", "not", "or", "plus", "shr1", "shr16", "shr4", "xor" ] }, { "id":"Rzetvh1Bw8ASvE3wlAj2KfeW", "size":13, "operators":[ "if0", "not", "shr1", "shr4", "tfold" ] }, { "id":"S7EhVYBIDD5szih0lTPeBwW7", "size":13, "operators":[ "if0", "or", "plus", "shl1", "shr1", "shr16", "shr4" ] }, { "id":"S7kEJbqqKXCfEISMkFfUsIgY", "size":20, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "tfold" ] }, { "id":"S88Hm8MPl4mhj9g7AnfHqoyV", "size":16, "operators":[ "and", "if0", "not", "or", "shl1", "shr16", "shr4" ] }, { "id":"SFnrUdRlgsXHi0MB8CFolUNL", "size":29, "operators":[ "fold", "if0", "not", "or", "plus", "shl1", "shr4", "xor" ] }, { "id":"SIBY2wF2PVgxjsQnvgLVUw0C", "size":30, "operators":[ "and", "fold", "if0", "not", "or", "shl1", "shr1", "xor" ] }, { "id":"SQfefEx2e7zFZegNhjBgcpDL", "size":24, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr16", "xor" ] }, { "id":"SThJA8tGVXZNgAR3VkNs56in", "size":26, "operators":[ "and", "fold", "if0", "not", "or", "plus", "shr4", "xor" ] }, { "id":"SYMBmXsyiBnBFphtjYSaiQD1", "size":11, "operators":[ "and", "fold", "shl1", "xor" ] }, { "id":"SYPe2PilhU1adEGUYMCQpEJP", "size":25, "operators":[ "fold", "if0", "not", "or", "shl1", "shr16", "shr4", "xor" ] }, { "id":"Sb6Bb46ZWaDMAHrINlHN9W27", "size":30, "operators":[ "and", "fold", "if0", "plus", "shr1", "shr16", "xor" ] }, { "id":"SdnbpAZjyUSXwu5mOm7XXJ4y", "size":29, "operators":[ "and", "if0", "not", "plus", "shl1", "shr1", "tfold", "xor" ] }, { "id":"SfghuqKlPbXBBw8V56wEfguq", "size":20, "operators":[ "and", "fold", "if0", "not", "plus", "shl1", "shr1" ] }, { "id":"Slw7UEV5AT0TsniAQUv3FK0f", "size":8, "operators":[ "or", "plus", "shr16" ] }, { "id":"SmdYCw9pek488dGg7yQwENwz", "size":14, "operators":[ "and", "if0", "not", "plus", "shl1", "shr1", "shr16" ] }, { "id":"SnIcJ2T9lLAgJ83CTWwS8eed", "size":23, "operators":[ "and", "fold", "if0", "or", "plus", "shl1", "shr4", "xor" ] }, { "id":"SobHOKiBozgtfh83XFJvvqE9", "size":12, "operators":[ "fold", "not", "plus", "shr1", "shr4" ] }, { "id":"SpWq1gMHtFpuJRG7yhC6Ak3A", "size":4, "operators":[ "not", "shr4" ] }, { "id":"SyoJGZFJGK09RsVx55bimE5S", "size":23, "operators":[ "if0", "plus", "shl1", "shr1", "shr4", "tfold", "xor" ] }, { "id":"T2W7P4EgG3BkxWsp7wjIpPwd", "size":12, "operators":[ "fold", "plus", "shr1", "shr4" ] }, { "id":"T7IMoTky6mWHW85YupDdkAhc", "size":15, "operators":[ "and", "if0", "not", "xor" ] }, { "id":"T7ZJoTA93FREIbA6iXRbMvCe", "size":11, "operators":[ "and", "if0", "xor" ] }, { "id":"TBEYemw5JWoVKSJlWFohITka", "size":29, "operators":[ "and", "fold", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "xor" ] }, { "id":"TBEfY1nJeIzFf1sjlh9mndGz", "size":8, "operators":[ "and", "not", "shl1", "xor" ] }, { "id":"TJ1j5PIXu8Syk52Gflu94MXP", "size":21, "operators":[ "and", "if0", "not", "or", "plus", "tfold", "xor" ] }, { "id":"TL0KUY0Wv8JR2F3iGdfkLECN", "size":26, "operators":[ "and", "if0", "or", "plus", "shl1", "shr1", "shr16", "xor" ] }, { "id":"TLqvBVU3T5zMYipeAAtFwQj4", "size":24, "operators":[ "and", "if0", "or", "shl1", "shr1", "xor" ] }, { "id":"TN8AEHfJA7Fo9AUUyvqEvTXF", "size":27, "operators":[ "and", "if0", "plus", "shl1", "shr1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"TPby0Z3sht1pi5ZcIC5bzPpN", "size":27, "operators":[ "and", "fold", "if0", "plus", "shr1", "xor" ] }, { "id":"TYSn4AGAqOkTvZPS0wWsn9ED", "size":20, "operators":[ "and", "if0", "not", "plus", "shl1", "shr1", "shr16", "tfold", "xor" ] }, { "id":"TZgGP0dkJPaeGisb8wu5ZL5V", "size":9, "operators":[ "shl1", "shr4", "tfold" ] }, { "id":"TakdxFAEDG9Ym7OBBMwSybN9", "size":30, "operators":[ "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"TbljRY0Ghbfp8uwtwcO0a2VE", "size":8, "operators":[ "plus", "tfold" ] }, { "id":"TcbE7EZtGu3RQblGoD0hZTX8", "size":25, "operators":[ "and", "if0", "not", "or", "plus", "shr16", "shr4", "tfold", "xor" ] }, { "id":"Td8hNHXLe7uVw1Ace0ifeAqe", "size":7, "operators":[ "not", "or", "xor" ] }, { "id":"TdABqk7mvyPAx0GecnzxSuGp", "size":29, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr4", "tfold", "xor" ] }, { "id":"TgkbHdIaFPWP3DvPU3ZIHvAb", "size":12, "operators":[ "fold", "not", "or", "shr1" ] }, { "id":"ThAI3QfVmLbpcNHSL6A7p465", "size":15, "operators":[ "and", "fold", "not", "or", "plus", "shr16" ] }, { "id":"Tko2bssrulPHBjJ8yWPArBTX", "size":14, "operators":[ "if0", "or", "shl1", "tfold", "xor" ] }, { "id":"TlCBMBcBxa25hXqQ4ZE5tOYu", "size":24, "operators":[ "and", "if0", "not", "or", "shr1", "shr16", "shr4", "xor" ] }, { "id":"TluMFEt9Mujp6Ew7rOuOr37D", "size":29, "operators":[ "and", "if0", "not", "or", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"TnF6J37vSaoWfLsuzJ5LwIku", "size":22, "operators":[ "if0", "or", "plus", "shr1", "shr16", "tfold" ] }, { "id":"TtHOs5eMkhGg4cIBTQjnRgiQ", "size":9, "operators":[ "if0", "tfold" ] }, { "id":"TwlGHRhQBFWaB1IyFNBuZ2Fq", "size":18, "operators":[ "and", "if0", "not", "or", "plus", "shr1", "shr16" ] }, { "id":"Txb0L7hNqxStOezDiP0Iyjpu", "size":8, "operators":[ "and", "tfold" ] }, { "id":"U2gyKcdpbTlsMRmcJ1kTzjoB", "size":27, "operators":[ "if0", "or", "plus", "shl1", "shr16", "shr4", "xor" ] }, { "id":"UAT1kBX58qdQBwv9qt6a8B42", "size":13, "operators":[ "fold", "or", "shl1", "shr16", "xor" ] }, { "id":"UAyyacYm9WOWM6tPlNROAqSR", "size":11, "operators":[ "and", "fold", "not", "or" ] }, { "id":"UHqj4K1f2qdlMGe7x4iQI8lT", "size":14, "operators":[ "and", "if0", "not", "plus", "shl1" ] }, { "id":"UJlfgHsARmacOjFeWtNNGjBA", "size":10, "operators":[ "and", "if0", "shr16", "xor" ] }, { "id":"ULc29v9Q8wtuIaKb7cNiT1At", "size":21, "operators":[ "and", "fold", "if0", "not", "plus", "shl1", "shr16", "shr4" ] }, { "id":"UQ0k7bE1VdjM3OcZn5cMGykG", "size":19, "operators":[ "if0", "not", "or", "shr1", "shr16", "shr4", "xor" ] }, { "id":"UYoxzHMXfoWrO07uASHAjQoC", "size":13, "operators":[ "if0", "not", "or", "plus", "shr16", "shr4" ] }, { "id":"UYyz22DAYqA6BHs87b4dZE9L", "size":25, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr16" ] }, { "id":"UZTfQMEtSBOzIoAFVxvs0s0n", "size":27, "operators":[ "and", "if0", "not", "or", "plus", "shr1", "shr4", "tfold", "xor" ] }, { "id":"UdANrIgfxbf2LRBgUKHZLUYl", "size":22, "operators":[ "and", "fold", "if0", "not", "plus", "shl1", "shr16", "shr4", "xor" ] }, { "id":"UeOJ5qKiu1OHBkG24asKlx0M", "size":4, "operators":[ "not", "shl1" ] }, { "id":"Uf81XWmBXGYyGc36ShDeAZgB", "size":27, "operators":[ "and", "if0", "or", "shr16", "shr4", "tfold", "xor" ] }, { "id":"Ug36NTYlE2nEgEJHzRuU9eyS", "size":9, "operators":[ "and", "if0", "shl1" ] }, { "id":"UlB9qv5LkALUQBFXJegBSCtA", "size":11, "operators":[ "and", "if0", "plus", "shr4" ] }, { "id":"UqP3QxoU2dAB7brwKGI0bhqB", "size":24, "operators":[ "and", "if0", "not", "plus", "shl1", "shr16", "shr4", "tfold" ] }, { "id":"Uv29lekxnqoWls3tCJJit9Kv", "size":14, "operators":[ "and", "fold", "if0", "plus", "shr4" ] }, { "id":"UvhXYYOXI0BKJADXtZLXhyVg", "size":10, "operators":[ "plus", "tfold", "xor" ] }, { "id":"Uw7ILoMi0gDQ3EBlntM6mAbE", "size":21, "operators":[ "fold", "if0", "not", "or", "plus", "shl1", "shr16", "xor" ] }, { "id":"UySPxOM166IUgP3KJviAdA65", "size":26, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr4", "tfold", "xor" ] }, { "id":"V0hcFIMqPBpZXPIe58xVWuDB", "size":17, "operators":[ "fold", "if0", "or", "plus", "shl1", "shr4", "xor" ] }, { "id":"V3qqx8LOb7jUB6XuWvdqSNzE", "size":22, "operators":[ "and", "fold", "if0", "or", "plus", "shl1", "shr1", "shr16", "xor" ] }, { "id":"V4K9eULNHBuqUVMuE2HiAtvc", "size":19, "operators":[ "and", "if0", "or", "plus", "shl1", "shr4", "tfold", "xor" ] }, { "id":"VArf3WSBrF5xXXCAUJr0MLWE", "size":13, "operators":[ "and", "if0", "not", "shr16", "xor" ] }, { "id":"VBRVBfS6H9ZKFqP2Ok1o3Mm2", "size":17, "operators":[ "if0", "not", "or", "shl1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"VBT2fvJKHLusnxglj5gQLMcO", "size":24, "operators":[ "and", "fold", "if0", "not", "or", "plus", "shr1", "shr16" ] }, { "id":"VCaq8FKXkHgBenoYygTIKqrY", "size":25, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr16" ] }, { "id":"VD7S0Yod9cYtPj6oZKvgdwBB", "size":30, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"VETikWca9MGPnPVFGBAfxTpo", "size":10, "operators":[ "and", "if0", "not" ] }, { "id":"VLhtBvt9jgTvVjmkOygk2qik", "size":29, "operators":[ "fold", "if0", "not", "or", "plus", "shr1", "shr16", "shr4", "xor" ] }, { "id":"VNqTIXfvw7cdU8OKpcma7Ujq", "size":30, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "xor" ] }, { "id":"VNz1lpuQJBljPlBXAopwsOBA", "size":9, "operators":[ "and", "if0", "or" ] }, { "id":"VPRzuDxeZwSHRqy51vhAJSUv", "size":17, "operators":[ "fold", "if0", "or", "plus", "shl1", "shr4" ] }, { "id":"VS1oNy4vadm4xsTvTmaN90aZ", "size":18, "operators":[ "if0", "not", "or", "shr1", "shr16", "shr4" ] }, { "id":"VYydmF3dgyK5qTHPfEsd5nVh", "size":26, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"VZCQkBZEqPg2VPNaZAZzrRvB", "size":23, "operators":[ "and", "fold", "if0", "or", "plus", "shr1", "shr4", "xor" ] }, { "id":"VZHSAyL2dksJQZXqo3hjQ4Cu", "size":18, "operators":[ "and", "if0", "plus", "shr1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"VcYNtZzCQF2NVXxRi0mFXHNZ", "size":18, "operators":[ "and", "if0", "shr4", "tfold", "xor" ] }, { "id":"VpvCxR3SeEBXZavZwzv5tQzC", "size":10, "operators":[ "and", "if0", "not", "shl1", "shr16" ] }, { "id":"VsGYlZrRqJUOqhw8rUsAxw5h", "size":25, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr4", "xor" ] }, { "id":"VtRS93hcIi9rdC59cj8YbcaA", "size":20, "operators":[ "and", "if0", "not", "or", "shl1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"VtiQhlMzMpwehnUebEEV45Cl", "size":30, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"Vw23SKzszdE5f1oXs7QfI4O9", "size":9, "operators":[ "if0", "tfold" ] }, { "id":"VwBmgR1kVf1eXIaR8AljlkIg", "size":16, "operators":[ "and", "if0", "or", "plus", "shr1", "shr16", "shr4" ] }, { "id":"W3kAolw6BIMqVH4hm4QVdeAt", "size":14, "operators":[ "if0", "not", "or", "shr1", "shr4", "xor" ] }, { "id":"W529TV6UhAejpBQr8sPBNXtP", "size":3, "operators":[ "shr1" ] }, { "id":"W5VFLEWcqBNY5J11yGgsYaoz", "size":25, "operators":[ "and", "fold", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"W8BMDmZK4pNLuDLWkwfwr0SV", "size":16, "operators":[ "if0", "plus", "shl1", "shr1", "shr4", "tfold", "xor" ] }, { "id":"W9atBN5l6buAIYQ15AsTFZP3", "size":30, "operators":[ "and", "fold", "if0", "or", "plus", "shl1", "shr1", "shr16", "shr4" ] }, { "id":"WA5ReVvAvM2Ufl4vssscA3aN", "size":24, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"WAmbmPMKrBROoZPBJDeBp85m", "size":20, "operators":[ "and", "if0", "plus", "shl1", "shr16", "tfold" ] }, { "id":"WB0LcnxLPLtVp4ZqzajAqhW1", "size":4, "operators":[ "shr1", "shr4" ] }, { "id":"WEm4zRzjTD8hn3tXXb4UzGX5", "size":28, "operators":[ "and", "if0", "not", "or", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"WLlBRBXVXGicADH2DIM3B7c2", "size":12, "operators":[ "plus", "shl1", "shr1", "shr4", "tfold" ] }, { "id":"WMgswh8GwWQQz1RKAk39dNNa", "size":20, "operators":[ "fold", "if0", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"WQFmLWjAZsnMVp9Y4X7wBPuV", "size":25, "operators":[ "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"WTIxk77lqV5sirmuFsaSp3OA", "size":19, "operators":[ "if0", "not", "or", "plus", "shl1", "shr4", "tfold" ] }, { "id":"WTPfK262J3fCTREukjGgDrJz", "size":16, "operators":[ "and", "fold", "if0", "plus", "shr1" ] }, { "id":"WZlgPMQcgmeJBDQSKAH8E3p6", "size":25, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "tfold", "xor" ] }, { "id":"WfAOukewuszg5BxLjsBgHEiW", "size":28, "operators":[ "fold", "if0", "not", "plus", "shl1", "shr16", "shr4", "xor" ] }, { "id":"WmWgvUFjAUEOoYqvG4dcEE4h", "size":19, "operators":[ "if0", "plus", "shl1", "tfold", "xor" ] }, { "id":"Wt9XONpHlTVI7ZzA7DGhcf2R", "size":18, "operators":[ "if0", "plus", "shl1", "tfold", "xor" ] }, { "id":"WvSEPkkjqOgcF0AGE6SDqLoY", "size":27, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"WwBpoI4MW8hwccG70DIsyY30", "size":23, "operators":[ "if0", "not", "or", "plus", "shl1", "xor" ] }, { "id":"WyNZtGoxDDzvidBjbBOq86Lw", "size":17, "operators":[ "and", "if0", "or", "shr16", "shr4", "tfold", "xor" ] }, { "id":"Wydcl61T6hDJ8jwH07LXls4I", "size":10, "operators":[ "if0", "not", "plus", "shl1", "shr4" ] }, { "id":"Wz5eK2utxZ00Nx3YEsHEijPd", "size":16, "operators":[ "if0", "or", "plus", "shl1", "tfold" ] }, { "id":"WzmSQrAiseAS1rmHCYvl4Ftg", "size":16, "operators":[ "and", "fold", "if0", "not", "or", "plus" ] }, { "id":"X7ndjvdN8RpwYMTHvcVmBjL1", "size":19, "operators":[ "if0", "or", "shr1", "shr16", "shr4", "xor" ] }, { "id":"XBQK4ZLPIBxMh6k6GjSAIAsF", "size":28, "operators":[ "and", "fold", "if0", "not", "or", "plus", "shl1", "shr1", "shr4" ] }, { "id":"XBQhXjR72N2tY1rNOawsjaiz", "size":28, "operators":[ "and", "fold", "if0", "not", "plus", "shl1", "shr1", "shr4", "xor" ] }, { "id":"XFY1hdMOSBP1pZhsqFvbcBnl", "size":8, "operators":[ "plus", "tfold" ] }, { "id":"XQBP93Rnx6tYaLCYhHNJL48p", "size":21, "operators":[ "and", "if0", "not", "or", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"XS3NrSnpUomZ6VjO2Dm8rQ8n", "size":13, "operators":[ "and", "if0", "not", "shl1", "shr1", "xor" ] }, { "id":"XYprHgjLWC4a3gnZgCLwNOFJ", "size":5, "operators":[ "and", "shr16" ] }, { "id":"XaZ3D6CgRy8G7BAAcsv5uDqf", "size":8, "operators":[ "shr1", "shr4", "tfold" ] }, { "id":"XcI0qC6urCVKfwcBSR7fUaiB", "size":22, "operators":[ "fold", "if0", "not", "or", "shl1", "shr1", "shr16", "xor" ] }, { "id":"XchjYs7AUrCwkMHBpwHXtHla", "size":13, "operators":[ "and", "if0", "or", "plus", "shl1", "shr16" ] }, { "id":"XpXzADa7SXznssEtMmFTq3AU", "size":16, "operators":[ "if0", "not", "or", "plus", "shl1", "shr4", "tfold" ] }, { "id":"XsBNxRBH99wLhQTTaZQRiqiz", "size":29, "operators":[ "and", "if0", "not", "shl1", "shr1", "tfold", "xor" ] }, { "id":"XuvTSJhIs9aV5Fx0AqsZpDyp", "size":18, "operators":[ "and", "if0", "or", "plus", "shl1" ] }, { "id":"XvPGKDnZ137G0YhdRk9VdWYe", "size":13, "operators":[ "and", "if0", "or", "plus", "shl1", "shr4" ] }, { "id":"XwfdcTeJgrI7BLp2wTOyUlm1", "size":26, "operators":[ "and", "if0", "not", "or", "shl1", "shr16", "xor" ] }, { "id":"XxGR7JQANAKZF7tdCJEgmowy", "size":24, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr4", "tfold" ] }, { "id":"XyxBIK1UNEPVUtfwBUgBXF2m", "size":11, "operators":[ "fold", "plus", "shr1", "shr4" ] }, { "id":"XzHL4uySAf4Gn1Y49jnYbmnA", "size":10, "operators":[ "if0", "shr4", "tfold" ] }, { "id":"Y27mPe0EBYLgCBCLlCtVLD9U", "size":15, "operators":[ "if0", "or", "shl1", "shr4", "xor" ] }, { "id":"Y4f18vz7Nepb8qqjRLnHnNIB", "size":22, "operators":[ "and", "if0", "not", "plus", "shr1", "shr16", "xor" ] }, { "id":"Y9e7Ey8LZOzftdN2wYqzq8re", "size":28, "operators":[ "and", "fold", "if0", "not", "or", "plus", "shl1", "shr16", "shr4", "xor" ] }, { "id":"YCVo7F2aZhPyfv2tfvHU7Q3b", "size":17, "operators":[ "and", "if0", "plus", "shl1", "shr4", "tfold", "xor" ] }, { "id":"YIFf3NhbBp7uvUfbdlMOJc8W", "size":4, "operators":[ "not", "shr4" ] }, { "id":"YKWBf4B94GVAhD6XAsORHVYZ", "size":19, "operators":[ "and", "if0", "not", "or", "plus", "shr4", "xor" ] }, { "id":"YPgy05dqVxJg10wK7IgpVUfI", "size":16, "operators":[ "and", "fold", "if0", "shr1", "shr4", "xor" ] }, { "id":"YUlto9Om01tHztkrTpEdVD6M", "size":12, "operators":[ "if0", "not", "plus", "tfold" ] }, { "id":"YYzfV3t23RnSWLwyOXUS1Jxs", "size":27, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr16", "shr4", "xor" ] }, { "id":"Ybin9UHlfumeNykGtV9bjAHS", "size":17, "operators":[ "and", "if0", "not", "or", "shr1", "shr16", "shr4" ] }, { "id":"YfZWj75142lmRYyQ47jqSSvn", "size":9, "operators":[ "plus", "shl1", "tfold" ] }, { "id":"YjorGOIN25k4bhkvXGwYPpBq", "size":10, "operators":[ "and", "if0", "plus", "shr1" ] }, { "id":"YkEnbIBYVIIF22IydHR3BV8M", "size":26, "operators":[ "and", "fold", "if0", "not", "plus", "shr1", "shr16", "shr4", "xor" ] }, { "id":"YlG8qBnqYPv0c4Z4nHgV6Bvt", "size":28, "operators":[ "and", "if0", "or", "plus", "shl1", "shr16", "shr4", "xor" ] }, { "id":"YqJGJhMsBRFCmD85q1Vm25ud", "size":14, "operators":[ "and", "if0", "not", "or", "tfold" ] }, { "id":"YrlxVoGB105afGA4qBOYDAGk", "size":17, "operators":[ "if0", "not", "or", "plus", "shr1", "tfold" ] }, { "id":"Z06ykC3RV8ROFfkOL1f7AaEf", "size":22, "operators":[ "and", "fold", "if0", "plus", "shl1", "xor" ] }, { "id":"Z1PSZCiBK6ptd0BTFkRkPJxD", "size":24, "operators":[ "and", "if0", "or", "plus", "shr16", "tfold", "xor" ] }, { "id":"Z4gTDsZzkSu5qoGwdBlFCKLj", "size":3, "operators":[ "not" ] }, { "id":"Z6DMzU10Sz7Iv5QhUoiHSfMO", "size":24, "operators":[ "and", "fold", "if0", "not", "or", "plus", "shr16" ] }, { "id":"Z7diIFGuVB7TZDry0P6DAOlu", "size":12, "operators":[ "if0", "not", "or", "shl1", "shr16", "shr4" ] }, { "id":"Z8siT5Rrj3faqB17JQCBTG6r", "size":22, "operators":[ "fold", "if0", "or", "plus", "shr1", "shr4", "xor" ] }, { "id":"ZB6IpBvHhF428dw0ZIci1HCO", "size":23, "operators":[ "and", "if0", "not", "or", "shl1", "shr1", "tfold", "xor" ] }, { "id":"ZFRzt9tI318cqLBAaYLnaZ0d", "size":5, "operators":[ "shl1", "shr1", "shr4" ] }, { "id":"ZFtWOMZ4h5oDXu0Lp199MSSR", "size":8, "operators":[ "plus", "tfold" ] }, { "id":"ZIflDGh54FmPSEHAbaE7m4MD", "size":18, "operators":[ "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "xor" ] }, { "id":"ZQHSCKnFS3P24yhyVGB1UmBN", "size":28, "operators":[ "if0", "not", "or", "plus", "shr1", "shr4", "tfold", "xor" ] }, { "id":"ZQzKltUsCU8noFzI2ZFBLlZ1", "size":6, "operators":[ "plus", "shr16" ] }, { "id":"ZUIAyiPGktt6yfidrggbS7sp", "size":28, "operators":[ "fold", "if0", "or", "plus", "shl1", "shr1", "shr16" ] }, { "id":"ZZAak8IsnxAlB7kbuk4kLz3Z", "size":28, "operators":[ "if0", "not", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"ZbNPAgrExdwwW8BbrTuxAq6U", "size":10, "operators":[ "and", "if0", "not", "xor" ] }, { "id":"ZdijhJ007733mE39ZbrZtmnA", "size":25, "operators":[ "and", "if0", "not", "or", "shr16", "shr4" ] }, { "id":"ZfhaTpF8y2Nf2AQodwA93355", "size":27, "operators":[ "fold", "if0", "not", "or", "plus", "shl1", "shr1", "shr4" ] }, { "id":"ZiLXnUxi2iHy0jYTzvEPbU8s", "size":15, "operators":[ "and", "fold", "if0", "not", "shl1", "xor" ] }, { "id":"ZlSpkyJNP0GgmMkmPybAtAqf", "size":20, "operators":[ "and", "if0", "plus", "shl1", "shr1", "shr4", "xor" ] }, { "id":"ZlkK6YBGTBvnZzmaAjQ5Cwok", "size":28, "operators":[ "if0", "or", "plus", "shl1", "shr1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"ZoE2pudQiOI33C8eGpaLn1Sh", "size":26, "operators":[ "and", "if0", "or", "plus", "shr1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"ZulDK4mo5soops3ML7YdA1xM", "size":17, "operators":[ "and", "fold", "if0", "shl1", "shr16", "shr4", "xor" ] }, { "id":"ZunoXkyJLGL6AICiaG31gVW4", "size":25, "operators":[ "fold", "if0", "or", "plus", "shl1", "shr16", "xor" ] }, { "id":"a5BVnRgFip2A68iyQm0rzqq3", "size":27, "operators":[ "if0", "or", "plus", "shl1", "shr16", "tfold", "xor" ] }, { "id":"a7EKevhOVUjiL3BNiW4So6o7", "size":10, "operators":[ "plus", "tfold" ] }, { "id":"a7Suu5dlu0admU6s4oSlmwKT", "size":10, "operators":[ "if0", "not", "plus" ] }, { "id":"aAAsmOeX7iJVZiozdoJNpluy", "size":23, "operators":[ "and", "fold", "if0", "or", "plus", "shl1", "shr4" ] }, { "id":"aCQ9Lo2GS83BNR88mWv7o1ts", "size":14, "operators":[ "fold", "or", "plus", "shl1", "shr1", "xor" ] }, { "id":"aLwV1ixxUmxS4iXUr3qMYEuq", "size":3, "operators":[ "shl1" ] }, { "id":"aQR99PahjsYjXaYSiChdx9gw", "size":12, "operators":[ "if0", "or", "plus", "shr16", "xor" ] }, { "id":"aUoHEUASPyNnJRfUucRwUjKK", "size":28, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "tfold", "xor" ] }, { "id":"aXFpyYnKNf7NwwO1miojz7NZ", "size":18, "operators":[ "and", "if0", "plus", "shr1", "tfold", "xor" ] }, { "id":"aXHSg1QvVodZipEILw3gSMJD", "size":21, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"aYqRAXNdn5KkRArZI65gkAlf", "size":16, "operators":[ "if0", "not", "or", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"aaBYCubEMZK5TBBaEZArQyup", "size":11, "operators":[ "if0", "plus", "tfold" ] }, { "id":"ac7cIbCBhNNiGL5PQBurTAhw", "size":24, "operators":[ "and", "fold", "if0", "not", "plus", "shr1", "xor" ] }, { "id":"afJNCeH3w7YL55o7sNnWinho", "size":19, "operators":[ "fold", "if0", "not", "or", "shr4", "xor" ] }, { "id":"afs69kKqnNt974DpBhH9F7JG", "size":6, "operators":[ "not", "plus", "shr16" ] }, { "id":"aiLvDiy1AYa9Z7twbhtUDfmB", "size":15, "operators":[ "and", "if0", "or", "shr1", "shr16", "tfold" ] }, { "id":"ak4F03sngbeA1R3JEs6BPrPY", "size":17, "operators":[ "fold", "if0", "or", "shl1", "shr4", "xor" ] }, { "id":"amNVNjvUFVhqr5hLKrPJDaAS", "size":8, "operators":[ "shl1", "shr4", "xor" ] }, { "id":"aoRCGnBQNWjzOzKKiAj3ZaBu", "size":19, "operators":[ "if0", "or", "shl1", "shr1", "tfold", "xor" ] }, { "id":"apCkIXprG9AFXv9cNuKq5LaQ", "size":25, "operators":[ "and", "if0", "not", "or", "plus", "shr1", "shr4", "tfold" ] }, { "id":"atEC2edVlfdqgR8Dwrw2u7Ad", "size":21, "operators":[ "and", "if0", "plus", "shl1", "shr4", "tfold", "xor" ] }, { "id":"auBmcadEaBl4vNvBu60LTcpG", "size":20, "operators":[ "and", "fold", "if0", "or", "shr16", "shr4", "xor" ] }, { "id":"b1LI5XniVD4bdy5NBOCskOBx", "size":9, "operators":[ "if0", "or", "xor" ] }, { "id":"bAxdE6TOi0XasokM6xklmzcQ", "size":18, "operators":[ "fold", "if0", "not", "or", "plus", "shl1", "shr1" ] }, { "id":"bDhhd8iNqpqhBzFb3qsxoozi", "size":12, "operators":[ "fold", "plus", "shl1", "shr4", "xor" ] }, { "id":"bF4WsMhDexKtz1nVnm9d9GOY", "size":18, "operators":[ "and", "if0", "or", "plus", "shl1", "shr1", "shr4", "tfold" ] }, { "id":"bFNL6eADBAyVzWqEsWLaBx0t", "size":21, "operators":[ "if0", "not", "or", "plus", "shr4", "tfold", "xor" ] }, { "id":"bIzEbndGlwLXZyqpTRZXXFax", "size":18, "operators":[ "if0", "not", "or", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"bMe3Ageees6jmzBb2voLti2n", "size":6, "operators":[ "not", "shl1", "shr16" ] }, { "id":"bMo9mCDp28J9PCZkTAPBDhHe", "size":10, "operators":[ "and", "not", "shr16", "tfold" ] }, { "id":"bQAsCeXmkxXG6bgdxIgAwq3j", "size":16, "operators":[ "fold", "if0", "or", "shr4", "xor" ] }, { "id":"bSVc1dA7ekDrY1QOC1469XYW", "size":21, "operators":[ "and", "fold", "if0", "not", "plus", "xor" ] }, { "id":"bTWId0BHYEaBbR7Bqn5qQvB7", "size":21, "operators":[ "and", "if0", "not", "or", "shr1", "shr16", "xor" ] }, { "id":"bYIPITnABOdEOU5fWqqyZHGh", "size":25, "operators":[ "and", "if0", "not", "or", "shl1", "shr1", "tfold", "xor" ] }, { "id":"bcNHav2CfRWhuxqVI9AEjAld", "size":28, "operators":[ "and", "if0", "or", "plus", "shl1", "shr1", "shr16", "xor" ] }, { "id":"be4dRM2qmfp5bmZkeUs5s2TO", "size":18, "operators":[ "and", "if0", "or", "shl1", "shr1", "xor" ] }, { "id":"bfmdam07QZSXqsS9J0lBL8Y7", "size":5, "operators":[ "and", "shr1" ] }, { "id":"bktAJYPKWpZuoEauG8pnyKc9", "size":7, "operators":[ "and", "not", "plus" ] }, { "id":"bmdVdFbNGegVaYw41FtpeDPg", "size":14, "operators":[ "and", "fold", "not", "plus", "shr16", "xor" ] }, { "id":"bnBSU7exPbyzCf9ATGG99COF", "size":4, "operators":[ "xor" ] }, { "id":"bpJtgmJj427soOIFeM6IrPWI", "size":15, "operators":[ "and", "if0", "or", "plus", "shr16", "shr4" ] }, { "id":"bsT6CaVE0cLFQ2og4B4vsRhT", "size":7, "operators":[ "plus", "shr4" ] }, { "id":"btkRHuGAB3ktcp8VSXuvjL5V", "size":18, "operators":[ "if0", "not", "or", "shl1", "shr4", "tfold" ] }, { "id":"buKATAmyZ3yAAZ2yURXBr6W0", "size":12, "operators":[ "if0", "not", "plus", "shr1", "shr16" ] }, { "id":"bvQBYPaYlYv7w9a8lK2CdkJL", "size":27, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"bzfjWR9ehOIuFHani91MG0Ok", "size":18, "operators":[ "and", "fold", "if0", "not", "shl1", "shr1", "shr4", "xor" ] }, { "id":"c0OpljsSAZisp42WVtQ4NIv8", "size":26, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"cDpMAvzJcatEKWmNLtAKLKPv", "size":22, "operators":[ "if0", "or", "plus", "shl1", "shr1", "shr16", "shr4" ] }, { "id":"cIMD5JjRhLOmeOXr2R5CDF7t", "size":18, "operators":[ "and", "if0", "not", "plus", "shr1", "shr4", "tfold", "xor" ] }, { "id":"cQBsuQ6tKoaAHA670v6ALAos", "size":19, "operators":[ "if0", "or", "plus", "tfold", "xor" ] }, { "id":"cSm6HBl69rqd1JaBjwjp0iEo", "size":20, "operators":[ "if0", "or", "plus", "shr16", "shr4", "tfold", "xor" ] }, { "id":"cXZd7d018zwrpTF5W77Zdb6Q", "size":26, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"cbOTENjLjwalJjY5KwtaX866", "size":13, "operators":[ "and", "if0", "plus", "shr1", "shr16", "xor" ] }, { "id":"ce00dfu3pPGizeiMMfFLdWjF", "size":21, "operators":[ "fold", "if0", "not", "or", "plus", "shr1", "shr4" ] }, { "id":"crNEUaDcjA955dDj75vKPzvt", "size":27, "operators":[ "and", "if0", "not", "plus", "shl1", "shr1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"cxCyKNtM5ElxLvI4GgNvZYmh", "size":26, "operators":[ "and", "if0", "plus", "shl1", "shr1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"d0erfDWiavYBaxY4h9nVbIAU", "size":28, "operators":[ "and", "if0", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"d1JdLwG4Y8ljpHBOJm9yOmEQ", "size":26, "operators":[ "if0", "not", "or", "plus", "shl1", "shr16", "shr4", "xor" ] }, { "id":"d1iD2e7SlA4jm6hVwRPp4Snl", "size":18, "operators":[ "and", "fold", "if0", "not", "shl1", "shr1", "shr16" ] }, { "id":"dABVBeIKSfj44net7XmaBErh", "size":8, "operators":[ "tfold", "xor" ] }, { "id":"dBV2dypBIlWXYEt64HZom56D", "size":17, "operators":[ "fold", "if0", "or", "plus", "shl1", "shr4" ] }, { "id":"dFeve7O5QpdysIgGaR3vqBx0", "size":30, "operators":[ "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "xor" ] }, { "id":"dFipAW2PSHoggdbhRaKtltow", "size":19, "operators":[ "and", "if0", "shl1", "shr1", "shr16", "xor" ] }, { "id":"dOlIP7YSPLQI0w5AMVdBHuT5", "size":18, "operators":[ "fold", "if0", "not", "or", "shl1", "shr16", "shr4", "xor" ] }, { "id":"dPGyvejLGUVSjOKUAaMCBntV", "size":8, "operators":[ "or", "plus", "xor" ] }, { "id":"dPcX0rs9b5LLwAy7M5LdiGQY", "size":22, "operators":[ "and", "fold", "if0", "plus", "shr1", "shr4", "xor" ] }, { "id":"dSprh4uJJybAvMalLhKuCrO8", "size":23, "operators":[ "and", "if0", "or", "shr1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"dTJkAfNp3g0jPISqb1WHNKRU", "size":9, "operators":[ "shl1", "tfold", "xor" ] }, { "id":"dUQEVAZAb7WOKtGnE3sPzZaZ", "size":15, "operators":[ "and", "if0", "not", "or", "shr1", "shr16", "shr4" ] }, { "id":"dVgRhcPgvxlNuyOPgoMcJ9rt", "size":21, "operators":[ "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "xor" ] }, { "id":"dWaXhuo9kPTB05Hb8V01xD8K", "size":27, "operators":[ "and", "fold", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4" ] }, { "id":"dYb3iX6ntaOzzSUefmdp5dZA", "size":29, "operators":[ "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"dbAAQFn9mWaPNRYMEyTtM5Nx", "size":11, "operators":[ "if0", "not", "shl1", "xor" ] }, { "id":"dkbBXrXD8bgZy9NQzaE3Aebd", "size":26, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"dlvZp1teRYJWJYQ2Ukxmxl2v", "size":30, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr4", "tfold", "xor" ] }, { "id":"dmLVEqLtwxWZT1pb8mbjcxQy", "size":23, "operators":[ "and", "fold", "if0", "not", "plus", "shr1", "shr4", "xor" ] }, { "id":"dnqed68qKqr6Gesv5FW46UvN", "size":8, "operators":[ "if0", "shl1", "xor" ] }, { "id":"dpZOhwBXYdF7WvYikAynYOPH", "size":12, "operators":[ "if0", "or", "plus", "shr4", "xor" ] }, { "id":"dqLFoeyk1xYCtAmHJEYBdvOA", "size":17, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "tfold" ] }, { "id":"drMeewF9r2KAA1g6MYnslcUC", "size":15, "operators":[ "if0", "or", "plus", "tfold", "xor" ] }, { "id":"dripSpEd0olpWQa53wQPrgQM", "size":23, "operators":[ "and", "if0", "or", "plus", "shl1", "shr1", "shr4" ] }, { "id":"dySJBhxju8nPVZzpPPzViu07", "size":11, "operators":[ "fold", "not", "or", "shr16" ] }, { "id":"e1ECmwcuwAnQS2AX2ZUWhDbs", "size":8, "operators":[ "or", "plus", "shl1", "shr1" ] }, { "id":"e5GlJAh1SShg6eXBBxOKWnlB", "size":5, "operators":[ "shl1", "xor" ] }, { "id":"e97qt1ncKQ6WjUdWhmgbIjSD", "size":29, "operators":[ "and", "if0", "not", "or", "plus", "shr1", "shr16", "shr4", "xor" ] }, { "id":"eB3a8hzOYquVqZTBEdWXzDUB", "size":27, "operators":[ "and", "fold", "if0", "or", "plus", "shl1", "shr1", "shr16" ] }, { "id":"eE7YBWCJUpSvMpce1fisSq8t", "size":6, "operators":[ "shl1", "shr1", "shr16", "shr4" ] }, { "id":"eIMyeFCG1XQPFGYLBTxwAAhg", "size":27, "operators":[ "if0", "not", "or", "plus", "shl1", "shr1", "shr4", "tfold", "xor" ] }, { "id":"eMNSGUbRWFaSQ55v7tH3yBa5", "size":22, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr16", "shr4", "xor" ] }, { "id":"eMb9A0boAlkFmIsSUyJBnxqv", "size":3, "operators":[ "shr4" ] }, { "id":"eNMuOtrlJd4o0ZBCV30y2kwn", "size":8, "operators":[ "plus", "tfold" ] }, { "id":"eNN25xlEN9QomqldDbZno28O", "size":29, "operators":[ "and", "if0", "not", "or", "plus", "shr1", "shr4" ] }, { "id":"eQIV9qB0E7ShfyocuvHl3GCA", "size":19, "operators":[ "and", "if0", "or", "plus", "tfold", "xor" ] }, { "id":"eSAw9jLp9j5dvvgWUD93tEBb", "size":22, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr4", "tfold" ] }, { "id":"eVUvwISIkhB4JRzSCi5FWOqA", "size":12, "operators":[ "or", "plus", "shr16", "shr4", "tfold" ] }, { "id":"eWBQW87chtlob6J4vh1E8zlQ", "size":24, "operators":[ "fold", "if0", "or", "plus", "shl1", "shr16", "xor" ] }, { "id":"eaQWtn56eL5UMMBBqyOGqGOk", "size":25, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr16", "shr4", "xor" ] }, { "id":"ef3wMr5xezclAU5YB1sRTBFc", "size":23, "operators":[ "if0", "or", "plus", "shl1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"ega7PMHO3JCLcHrQwFgzKQQ6", "size":29, "operators":[ "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"eilMJAPiIhGmd9dEQXfi3sUE", "size":22, "operators":[ "and", "fold", "if0", "or", "shr1", "shr4", "xor" ] }, { "id":"ejpLCOdSAQ7GQ397xgPiaeMy", "size":29, "operators":[ "and", "if0", "not", "or", "plus", "shr1", "shr4", "tfold", "xor" ] }, { "id":"ejyGIoYyTZ2nRbSHvQermbnb", "size":29, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"eoc6RArfxB8kwqNogSrdNdAJ", "size":7, "operators":[ "and", "not", "plus" ] }, { "id":"ev2HNB8j6u4PwvAHIAjbWMyG", "size":11, "operators":[ "and", "if0", "or", "shl1", "shr16" ] }, { "id":"f4LFuarxVwlfAmKHGed8Ntf5", "size":23, "operators":[ "and", "if0", "not", "or", "shl1", "shr16", "shr4", "xor" ] }, { "id":"f4acZkSndP9tyXeB3pS4By9I", "size":30, "operators":[ "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"f8g1X1328n2M8wZj34r1zLDT", "size":19, "operators":[ "fold", "if0", "plus", "shl1", "shr4", "xor" ] }, { "id":"f9ozeoCA8lBkegPKNP7I1oFg", "size":28, "operators":[ "and", "if0", "not", "or", "shl1", "shr16", "shr4", "xor" ] }, { "id":"fBtv66BXa4m2GEitEjNktSYT", "size":4, "operators":[ "xor" ] }, { "id":"fJBdUMaYRjDAHGE6WnecMPfu", "size":9, "operators":[ "and", "if0", "xor" ] }, { "id":"fSFcbHUPoa2vc6Ynu22aPw4g", "size":27, "operators":[ "and", "fold", "if0", "not", "or", "plus", "shr1", "shr16", "shr4", "xor" ] }, { "id":"fTeZBOFOaTcPceAAD13Wc8Xs", "size":24, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "xor" ] }, { "id":"fUtpeW3FZCXtQpYJtCmtgkLd", "size":18, "operators":[ "and", "fold", "if0", "shr16", "shr4" ] }, { "id":"fX2gBrVhIGxLAeNOCjYRk1sg", "size":29, "operators":[ "fold", "if0", "not", "or", "plus", "shl1", "shr1" ] }, { "id":"fYJnx56Lg9GdnSig62ojNxB5", "size":17, "operators":[ "and", "if0", "or", "shr1", "shr16" ] }, { "id":"fbBsYKOghpNlDTbAzALBdSJj", "size":25, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr16", "tfold" ] }, { "id":"fcJADRENMvDjsklSoU6eT3At", "size":21, "operators":[ "and", "if0", "not", "shl1", "shr4", "tfold", "xor" ] }, { "id":"fd3mECD00W9WZlOGQTnJzbPF", "size":15, "operators":[ "fold", "if0", "not", "plus", "shr1", "xor" ] }, { "id":"fdJ4ObRE4fHMWSNgw5qy5iHH", "size":21, "operators":[ "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"flvQMI0qZOpizTIcE4QvRMyt", "size":8, "operators":[ "plus", "tfold" ] }, { "id":"fq9jQ72Y5vOTk72rnfJ6808F", "size":28, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4" ] }, { "id":"fqI2YVUCNAxGD5BEv4k0Eiic", "size":30, "operators":[ "if0", "not", "or", "plus", "shl1", "shr4", "xor" ] }, { "id":"frAWUh0YRsgxqihAoQD5nV4S", "size":13, "operators":[ "if0", "not", "shl1", "shr1", "tfold" ] }, { "id":"fu2GHKYlx7ffaOPB8qB8HE3M", "size":23, "operators":[ "if0", "or", "plus", "shr1", "shr16", "tfold" ] }, { "id":"fzfTyAh2gnYX0pF6TjoTC0Iy", "size":15, "operators":[ "fold", "if0", "plus", "shr16" ] }, { "id":"g7fTjwm9ttjD4zOBAd3BJ8fS", "size":8, "operators":[ "or", "plus", "shl1", "shr1" ] }, { "id":"g9V4WNHAZ3PfuRfzkIv1fvmv", "size":8, "operators":[ "tfold", "xor" ] }, { "id":"g9zoQbRYVRbLfA4SMKKoyGrl", "size":11, "operators":[ "fold", "not", "or", "xor" ] }, { "id":"gGWzRjxDUy2LrFG99ZK9Qzn3", "size":24, "operators":[ "and", "if0", "or", "plus", "shl1", "shr1", "shr16", "shr4", "tfold" ] }, { "id":"gJjZ2cJVDdsjIqu1Nuqp8Q2j", "size":20, "operators":[ "and", "if0", "or", "plus", "shl1", "shr16" ] }, { "id":"gPKw8KRJsXLe8ZNGFDl7vC5H", "size":11, "operators":[ "if0", "shr1", "shr16", "tfold" ] }, { "id":"gPzTGWnAZ8i5V6dpXUYfubOp", "size":24, "operators":[ "and", "fold", "if0", "not", "or", "plus", "shl1", "shr4", "xor" ] }, { "id":"gSL1iB4MAWtKJXmAVBSiBTBG", "size":30, "operators":[ "and", "if0", "not", "or", "plus", "shr1", "shr16", "shr4" ] }, { "id":"gYUn9t8HUaTJFd8pGx9HcwTG", "size":29, "operators":[ "and", "if0", "not", "shl1", "shr4", "tfold", "xor" ] }, { "id":"gYo0iMMeSPwS31Eh1J6ZC1YJ", "size":21, "operators":[ "and", "fold", "if0", "not", "plus", "shl1", "shr4", "xor" ] }, { "id":"gcl7hFph7EfQuIqizdEYDBGo", "size":20, "operators":[ "and", "if0", "not", "plus", "shl1", "shr4", "tfold", "xor" ] }, { "id":"gd1ze4ODABhnLB8txHxayvnC", "size":25, "operators":[ "if0", "not", "or", "plus", "shl1", "shr1", "shr4" ] }, { "id":"geVhu8Cp6fEATRnEgvrIPD0d", "size":23, "operators":[ "and", "if0", "not", "or", "plus", "shr16", "shr4", "tfold", "xor" ] }, { "id":"gh4FarT4VYyNGkRgKeOefevo", "size":16, "operators":[ "and", "if0", "not", "or", "shr4", "tfold" ] }, { "id":"giTAlGSg9iXYAGUat0JuiYyr", "size":20, "operators":[ "fold", "if0", "or", "shr1", "shr16", "shr4", "xor" ] }, { "id":"gkdcRBkpa5NjHMY1mGJsbDy1", "size":15, "operators":[ "if0", "plus", "tfold", "xor" ] }, { "id":"gmJcwE7gaH4IlZPfefpgvwRW", "size":13, "operators":[ "fold", "if0", "or", "shl1", "shr16" ] }, { "id":"gttrnB1nman7yC1dkP2u7JW8", "size":23, "operators":[ "and", "if0", "not", "or", "plus", "shr1", "shr16", "xor" ] }, { "id":"gwseB7II5n1gussmAcuO0qro", "size":23, "operators":[ "and", "if0", "or", "plus", "shl1", "shr1", "shr16", "shr4" ] }, { "id":"h69ll8jSVqNbvfQlGHBynGFJ", "size":29, "operators":[ "and", "fold", "if0", "or", "plus", "shl1", "shr4", "xor" ] }, { "id":"h7AXuVegyqwAvoLOZre2T94X", "size":29, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"h7rHQklDVsTBeuWSwyBLXoQ8", "size":17, "operators":[ "and", "if0", "not", "or", "plus", "shr1", "shr16", "shr4" ] }, { "id":"h8hZz5AB709BnXrLJN5SIBq4", "size":25, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "xor" ] }, { "id":"h935EpEbF3QUEB9UhZH91tGv", "size":29, "operators":[ "and", "if0", "not", "or", "plus", "shr1", "shr16", "shr4", "xor" ] }, { "id":"hAMN4mTAq1vX0ZEA0DbEt52C", "size":29, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"hBrZv1pEueV3WX1hJg4K74Td", "size":14, "operators":[ "fold", "not", "or", "plus", "shr1", "xor" ] }, { "id":"hCMsfF1yNA67Z3vHJ12ceKWf", "size":22, "operators":[ "and", "if0", "not", "or", "plus", "shr1", "shr4", "tfold", "xor" ] }, { "id":"hKvEa5AJS2eGreJtIIlPLX57", "size":11, "operators":[ "and", "fold", "or", "shl1" ] }, { "id":"hOO2637hNAuZNlhvFDNJZ8Bd", "size":14, "operators":[ "and", "fold", "not", "or", "shr16" ] }, { "id":"hQ9mEIT2cjGraHS0w8HziwyG", "size":30, "operators":[ "and", "fold", "if0", "or", "plus", "shl1", "shr1", "shr16", "shr4" ] }, { "id":"hUTwdqzDq7T9b8APsweNFkHp", "size":8, "operators":[ "tfold", "xor" ] }, { "id":"hWXBDxuj71wPkiQTjqTJbuuy", "size":26, "operators":[ "and", "fold", "if0", "not", "plus", "shl1", "shr4", "xor" ] }, { "id":"hXxaVf8tF6Cz72NmMeW0G08B", "size":6, "operators":[ "plus", "shr1" ] }, { "id":"hfcfwCaXJg3AVBB4sJvAUmBf", "size":28, "operators":[ "fold", "if0", "not", "plus", "shl1", "shr1", "shr4", "xor" ] }, { "id":"hik9QGUhpH2AEoqKRJHaeeUy", "size":7, "operators":[ "plus", "shr4", "xor" ] }, { "id":"hluPCMezQePjilOF281TeHBZ", "size":23, "operators":[ "and", "if0", "not", "or", "shl1", "shr1", "shr4" ] }, { "id":"hnDvwcBQLPMaPiaSiH76psvT", "size":22, "operators":[ "and", "if0", "or", "plus", "shl1", "shr1", "shr16", "xor" ] }, { "id":"htfhQDMK0PkLGMPUr3nABLh9", "size":23, "operators":[ "and", "if0", "or", "plus", "shl1", "shr1", "shr16" ] }, { "id":"huWz3Lv7gp6jAOmSCPQUaGwk", "size":30, "operators":[ "and", "if0", "not", "or", "shr1", "shr16", "shr4", "xor" ] }, { "id":"i2h4urBS9Ky4hmoDqrArU2dC", "size":25, "operators":[ "if0", "not", "or", "shl1", "shr16", "shr4", "xor" ] }, { "id":"i30S3uBKKoX637N3r8mZeg9s", "size":22, "operators":[ "fold", "if0", "not", "or", "plus", "shl1", "shr16", "xor" ] }, { "id":"i6V8IqL2Dm7xfOgT1sBKUO5A", "size":18, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1" ] }, { "id":"iA5ZZKayFQKiLV8uuwd8CAmK", "size":28, "operators":[ "if0", "not", "or", "plus", "shl1", "shr4", "tfold" ] }, { "id":"iA804AvYIRfPFjwOT9KH9kGL", "size":16, "operators":[ "and", "if0", "not", "or", "plus" ] }, { "id":"iBYWQok0ZFqEVB2osp6fhdzK", "size":7, "operators":[ "shr16", "xor" ] }, { "id":"iBsAXdoGkLIYpgiV4kg7UBHq", "size":15, "operators":[ "and", "if0", "not", "shl1", "shr16", "xor" ] }, { "id":"iC5ANGB76QBqFyNxegjiYHwK", "size":14, "operators":[ "fold", "plus", "shr1", "shr4", "xor" ] }, { "id":"iFrcnQBWB6RYiikOXQfFMaYd", "size":20, "operators":[ "if0", "not", "or", "plus", "shl1", "tfold", "xor" ] }, { "id":"iGGZ4OW6v3dQbohoFIirQJ6Y", "size":14, "operators":[ "and", "if0", "not", "or", "shr16", "shr4" ] }, { "id":"iLY8Y0Ux6tyFhvho7crKIBgw", "size":19, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr16", "xor" ] }, { "id":"iLfnuF1DiBTDs6d4AvqJQ0mp", "size":11, "operators":[ "if0", "plus", "tfold" ] }, { "id":"ib7seQiYGUqVm2uzr9Bi9WiI", "size":15, "operators":[ "and", "fold", "or", "plus", "shr1", "shr16" ] }, { "id":"icD5HtSjjzl1neYJCI7IV6DF", "size":30, "operators":[ "and", "if0", "or", "plus", "shr16", "tfold", "xor" ] }, { "id":"icTv0vShyvcwjrwJP5UAUuoU", "size":25, "operators":[ "and", "fold", "if0", "not", "or", "plus", "shr1", "shr16", "shr4", "xor" ] }, { "id":"id8nytsFN3UELsY9lKk2VYYB", "size":26, "operators":[ "and", "if0", "not", "or", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"igdklbBKuha9Z3Tbk3Ts2Rzi", "size":20, "operators":[ "and", "if0", "not", "or", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"ihBPrfVAb0tAH2uMBZRAWU2m", "size":21, "operators":[ "if0", "or", "plus", "shl1", "shr16", "shr4", "xor" ] }, { "id":"iih7kmWrmFSZNbQCREsIi7je", "size":18, "operators":[ "and", "if0", "plus", "shr16", "shr4", "xor" ] }, { "id":"ijODWumDSpQfKmg8i73RNBXE", "size":11, "operators":[ "if0", "not", "shr16", "shr4", "xor" ] }, { "id":"ikL9VA6YGgAHZwNeAXMcBWi5", "size":23, "operators":[ "if0", "or", "plus", "shl1", "shr1", "shr4", "tfold", "xor" ] }, { "id":"ikPh5ftPNfB8QUXMSIShBa0f", "size":29, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4", "tfold" ] }, { "id":"inzpxZJ7F8IRsK7YfWoE4uHe", "size":20, "operators":[ "fold", "if0", "or", "plus", "shr1", "shr16", "xor" ] }, { "id":"iuLR9tzp3iMRiWtN0q1LRR7o", "size":29, "operators":[ "fold", "if0", "or", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"iuxz2OzYBPZMlDAa6Kj4b0ts", "size":21, "operators":[ "if0", "not", "or", "plus", "shl1", "shr16", "shr4", "xor" ] }, { "id":"iwUQ0Bq86mpMJfXMvBg2Aksk", "size":16, "operators":[ "and", "fold", "if0", "or", "shl1", "xor" ] }, { "id":"j4wrYzWwB8ufZYPP7MDMVoqn", "size":9, "operators":[ "and", "if0", "or" ] }, { "id":"jJfGL2OIvZSZ9sQ3BBSQNtt7", "size":29, "operators":[ "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"jJjkwouo1th2ZY5Ms15BcZAr", "size":21, "operators":[ "fold", "if0", "or", "plus", "shr1", "shr16", "shr4", "xor" ] }, { "id":"jLkxbgA06K5v2ANe0adHpNEd", "size":25, "operators":[ "and", "if0", "or", "shr1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"jRsi4iMGUUACVDJChdb1YIpv", "size":17, "operators":[ "if0", "not", "plus", "shr16", "shr4" ] }, { "id":"jSWie495vBIFz5ATjBPVlP7G", "size":28, "operators":[ "and", "if0", "not", "or", "plus", "shr1", "shr16", "shr4" ] }, { "id":"jUkJfpCLo0dbB2ecGozfAsSl", "size":21, "operators":[ "fold", "if0", "not", "plus", "shl1", "xor" ] }, { "id":"jVXmhWHrRfRu7LAThFoU8N0l", "size":6, "operators":[ "shr1", "shr16", "xor" ] }, { "id":"jX6zwxcypFXbKHj2Swsg9P1H", "size":28, "operators":[ "if0", "not", "or", "plus", "shr1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"jYNzBj3K11BFufQ8WuoBvmHj", "size":20, "operators":[ "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "xor" ] }, { "id":"jYhUVePnA2ml83NyjTNqWScO", "size":30, "operators":[ "and", "if0", "or", "plus", "shr1", "shr16", "shr4", "xor" ] }, { "id":"jgEcmzZwQk5ik8voo9l7eHO8", "size":9, "operators":[ "shr4", "tfold", "xor" ] }, { "id":"jhLV9qq0C0AKe9AQXmZF1AIb", "size":6, "operators":[ "not", "or", "shl1" ] }, { "id":"jkYwBuVK5PAfWwYMi3DyavhU", "size":4, "operators":[ "plus" ] }, { "id":"jmDJ7xbHmYIpIFqo4TogXIlf", "size":11, "operators":[ "fold", "not", "or", "shr4" ] }, { "id":"jnhFA1cP1tKiHJkbBykUVpJZ", "size":15, "operators":[ "fold", "or", "plus", "shl1", "shr1", "shr16", "xor" ] }, { "id":"joD27aIneCAjomBn2CBgmGda", "size":11, "operators":[ "not", "shl1", "shr1", "tfold", "xor" ] }, { "id":"jukkh7zS0I8QYVuBk0vARf36", "size":12, "operators":[ "or", "tfold", "xor" ] }, { "id":"jvFHzL0EVCuLD7KdXkpnhBXc", "size":4, "operators":[ "plus" ] }, { "id":"jvX95SslCLoMoypli4FhotVO", "size":13, "operators":[ "if0", "not", "or", "shr1", "tfold" ] }, { "id":"jz0TZxr1gRk7A8z1Tvwp9r6V", "size":14, "operators":[ "fold", "not", "or", "shr1", "shr4", "xor" ] }, { "id":"k2X6RG5IHicPlch0wDlEWwQh", "size":27, "operators":[ "and", "if0", "not", "plus", "shl1", "shr1", "shr16", "shr4" ] }, { "id":"kADCYp8lxHt6aRfUQQCZqSeV", "size":21, "operators":[ "and", "if0", "or", "plus", "shl1", "shr1", "xor" ] }, { "id":"kCF53EgqxUa4SwhVrEp8LbmT", "size":13, "operators":[ "and", "if0", "tfold", "xor" ] }, { "id":"kCsX2t0uk3TqGc5QXXhzwBC3", "size":23, "operators":[ "fold", "if0", "not", "plus", "shl1", "shr4", "xor" ] }, { "id":"kFoDAdLAxwooDkAQmHzBRqPa", "size":12, "operators":[ "and", "if0", "or", "shr1", "xor" ] }, { "id":"kHdmI63QAVSZwWVx4ZzXiVCw", "size":20, "operators":[ "and", "if0", "not", "plus", "shr1", "shr4", "xor" ] }, { "id":"kLL4nJUwpdPNzeJ7FNVOhoez", "size":17, "operators":[ "if0", "or", "plus", "shl1", "shr16", "tfold" ] }, { "id":"kLNIqDqT67Vw1u9HXTK75o64", "size":24, "operators":[ "and", "if0", "or", "plus", "shl1", "shr16", "tfold" ] }, { "id":"kLWsgwP5PSge5Pkl2ZJGVwQu", "size":12, "operators":[ "plus", "shl1", "shr1", "tfold", "xor" ] }, { "id":"kLqeyRt0wWOzX69HvWDuCuEE", "size":23, "operators":[ "and", "if0", "or", "plus", "shr16", "tfold", "xor" ] }, { "id":"kNgbFAEux1XBaO5cpFPv395x", "size":14, "operators":[ "and", "fold", "not", "plus", "shr1" ] }, { "id":"kOJC2BB5aM8elD6RNLFEIlew", "size":17, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr16" ] }, { "id":"kQPAlqgeYR4HL4nKBplDCbXT", "size":16, "operators":[ "if0", "not", "or", "shr16", "shr4", "xor" ] }, { "id":"kR8CKLOOu5Hr89CAAr8pFvq2", "size":27, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr16", "xor" ] }, { "id":"kRS7rRaNn13wedpIjxBGtGZH", "size":7, "operators":[ "plus", "shl1", "xor" ] }, { "id":"kRn2A15jZc4feKOHnhZVplQp", "size":24, "operators":[ "and", "if0", "or", "plus", "shl1", "shr16", "shr4" ] }, { "id":"kSeHBsAgfP5qBIP79JQBxijE", "size":24, "operators":[ "and", "fold", "if0", "or", "shl1", "shr4" ] }, { "id":"kYCoqpgRA6voXijbq2GiHNIT", "size":14, "operators":[ "if0", "or", "shr16", "tfold", "xor" ] }, { "id":"kYRjfi1YOjC6T9Mf3CDnjUmg", "size":25, "operators":[ "and", "if0", "not", "or", "plus", "shr16", "tfold", "xor" ] }, { "id":"kYfEu3ee6tJXBEKHPtk6iFN4", "size":22, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr16", "shr4", "tfold" ] }, { "id":"kZPv72ct1I5r5Y77BRUGQNB3", "size":22, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr16", "tfold" ] }, { "id":"kirEhK0m2odhfcA69dbcX3vj", "size":5, "operators":[ "plus", "shr16" ] }, { "id":"kpDQKADXaGszAScLvMmKbxc4", "size":15, "operators":[ "and", "fold", "or", "plus", "shl1" ] }, { "id":"ktTT1pVw0nbLqHdnjDAb7oIW", "size":30, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"ktvP14VABe0qLYf1UPQf4NyV", "size":3, "operators":[ "not" ] }, { "id":"kyyApXkI7zaodgcA0nlCAeEH", "size":15, "operators":[ "if0", "or", "plus", "shl1", "shr1", "tfold" ] }, { "id":"l0Sw9lSuxUcYMvxsZ27gGrZo", "size":15, "operators":[ "and", "if0", "not", "plus", "shl1", "shr1" ] }, { "id":"l0TcRgU4QgByYkQO1frlsyjI", "size":29, "operators":[ "if0", "not", "plus", "shl1", "shr16", "shr4", "xor" ] }, { "id":"l0zDYsH2ZazBVVawHQyA4bxI", "size":26, "operators":[ "if0", "not", "or", "plus", "shr1", "tfold", "xor" ] }, { "id":"l35FxHWxIBlQZ7g5XjCNSAEU", "size":11, "operators":[ "and", "if0", "not", "or", "shr16" ] }, { "id":"l7I9BxiG6dACw2FmVBE0hlaD", "size":14, "operators":[ "and", "if0", "or", "plus", "shr1", "shr16" ] }, { "id":"l7RZONBnFwBItzdFLenmtL2h", "size":20, "operators":[ "and", "if0", "not", "or", "shl1", "shr1", "shr16", "xor" ] }, { "id":"l9DTSecRjMa03plZAcoQiUb9", "size":3, "operators":[ "shr16" ] }, { "id":"lAt1Cjus97GHQOS5eYVoScV1", "size":17, "operators":[ "and", "if0", "or", "tfold", "xor" ] }, { "id":"lH3HfEOACejylNN4hmD0hErA", "size":11, "operators":[ "plus", "shl1", "shr4", "tfold" ] }, { "id":"lHq6DCxCL4ehhCrFqYTOBAw5", "size":30, "operators":[ "and", "if0", "or", "plus", "shl1", "shr4", "tfold", "xor" ] }, { "id":"lIa812RDPdveWeWkm5v44DPs", "size":14, "operators":[ "if0", "or", "shr1", "tfold", "xor" ] }, { "id":"lMBKTCogKOgA13Rkn7DAzM4l", "size":17, "operators":[ "fold", "if0", "not", "plus", "shl1", "shr1", "xor" ] }, { "id":"lNJXeBXBSWqOLL76WmfrpUJD", "size":19, "operators":[ "and", "fold", "if0", "not", "or", "plus", "shl1", "shr1" ] }, { "id":"lXgBNveoGIRlw8LnCFi9nce4", "size":20, "operators":[ "and", "if0", "or", "plus", "shl1", "shr1", "shr16" ] }, { "id":"lbftRzJKBm56jffXrAmjWmqO", "size":27, "operators":[ "and", "if0", "not", "or", "plus", "shr4", "tfold" ] }, { "id":"lf5mL4qXRGe9HyW9FRnn1U1d", "size":9, "operators":[ "not", "tfold", "xor" ] }, { "id":"lgJr5SaaAXNMTs0qZvlS67eq", "size":13, "operators":[ "if0", "not", "or", "plus", "xor" ] }, { "id":"lgUvvZ4VmUQKPHaoWgXtSc9C", "size":14, "operators":[ "if0", "plus", "shl1", "shr1", "shr16", "xor" ] }, { "id":"lhGJuf9Bd5KeSIe1bPwqONt4", "size":28, "operators":[ "and", "fold", "if0", "not", "or", "plus", "shr1", "shr16", "shr4", "xor" ] }, { "id":"liK4nCVtF09vN21vOv7IUWMf", "size":24, "operators":[ "if0", "not", "or", "plus", "shl1", "shr1", "shr4", "xor" ] }, { "id":"lksOJhOUQvMRL85hAiHA2Eiy", "size":26, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"lktCPKlqLxkA4KMAk4oBiVRM", "size":30, "operators":[ "and", "fold", "if0", "not", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"lnJFBgAB35FXZZJy4781ThKF", "size":15, "operators":[ "fold", "if0", "or", "plus", "shl1", "shr1" ] }, { "id":"lqbprgTvMoZcs5MHSGm2dB0z", "size":14, "operators":[ "and", "fold", "not", "plus", "shr1", "shr4" ] }, { "id":"lsREGB20A8MOg7amSzZNdyNb", "size":18, "operators":[ "and", "if0", "plus", "shr1", "xor" ] }, { "id":"m4VoBRbJpAQlvquo2pH80YBS", "size":20, "operators":[ "fold", "if0", "not", "or", "shl1", "shr4", "xor" ] }, { "id":"m4ovPtAbVueupT532zAYh3VA", "size":13, "operators":[ "and", "if0", "not", "shl1", "shr16", "xor" ] }, { "id":"m8w8nigAHnnJeTlBdwteIvrF", "size":12, "operators":[ "if0", "not", "or", "shr1" ] }, { "id":"m9qpRhXBqIVe5YzRAuzhq703", "size":26, "operators":[ "and", "fold", "if0", "not", "or", "plus", "shl1", "shr16", "shr4", "xor" ] }, { "id":"mAEnNXgNsm4BrIZl02fi0vkR", "size":11, "operators":[ "if0", "plus", "tfold" ] }, { "id":"mAFQYzgL6BgQBvzwirFGCbA3", "size":24, "operators":[ "and", "if0", "not", "or", "plus", "shr1", "shr16", "xor" ] }, { "id":"mE4ayQVBChhwqjit6gEAFAKq", "size":17, "operators":[ "fold", "if0", "not", "shl1", "xor" ] }, { "id":"mHBZFRnWCKXFyHHfoADHVrBC", "size":9, "operators":[ "and", "if0", "shl1" ] }, { "id":"mOz5SjTqfnR9da5JBiLSwh2S", "size":11, "operators":[ "and", "if0", "not", "shl1" ] }, { "id":"mPNABpgn0x0wtwaioIGADWnE", "size":10, "operators":[ "and", "if0", "plus", "shr4" ] }, { "id":"mSp8pVrslA68kWbXqvQaEHlZ", "size":27, "operators":[ "and", "fold", "if0", "not", "plus", "shr1", "xor" ] }, { "id":"mTbm3sVC6mCE4sSMgCOvASgZ", "size":21, "operators":[ "if0", "or", "plus", "shr1", "shr16", "shr4", "xor" ] }, { "id":"mVYqGQAD1H5iBO5ZAw1JArdQ", "size":8, "operators":[ "or", "shl1", "shr1" ] }, { "id":"mYSaHBlMd54tmliR9fw3oTlZ", "size":17, "operators":[ "if0", "not", "or", "plus", "shr1", "shr4", "tfold" ] }, { "id":"meTTCdrN30YWUGnPYef8fd0T", "size":18, "operators":[ "and", "fold", "if0", "or", "plus", "shl1", "shr1" ] }, { "id":"mgvqTc3wNwoxrEPg47qYt7Xt", "size":19, "operators":[ "if0", "not", "or", "plus", "shl1", "shr16", "tfold" ] }, { "id":"miDRKiXTVB3bvgWZtt2CwjcD", "size":12, "operators":[ "fold", "plus", "shl1", "shr1" ] }, { "id":"mj2Skiy2PKtAGKPNimzHsnNT", "size":15, "operators":[ "fold", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"mkEVtGE6fAViTNgscVdUDJvL", "size":15, "operators":[ "fold", "plus", "shl1", "shr16", "shr4", "xor" ] }, { "id":"mmbcKc3PyBhTosJuYBPiyBYT", "size":24, "operators":[ "fold", "if0", "or", "plus", "shl1", "shr1" ] }, { "id":"mqCU6MXI9K1DvXIDvImURvDq", "size":27, "operators":[ "fold", "if0", "or", "plus", "shl1", "shr1", "shr4", "xor" ] }, { "id":"mssma1g0epInzaTINATctVTe", "size":30, "operators":[ "if0", "not", "or", "plus", "shl1", "shr1", "shr4", "tfold" ] }, { "id":"mzuEtPhslhHas1FZlRVgdrXh", "size":30, "operators":[ "and", "fold", "if0", "or", "plus", "shl1", "shr1", "shr4", "xor" ] }, { "id":"n9uCSkgQPPctO5UeNJtcWBVY", "size":18, "operators":[ "and", "if0", "or", "shr4", "tfold", "xor" ] }, { "id":"nAB0bBZLO33o3dxDjMui3pNO", "size":8, "operators":[ "plus", "tfold" ] }, { "id":"nCnRkvnc9XuPAqvOnZ7beGwm", "size":22, "operators":[ "if0", "or", "plus", "shl1", "shr1", "shr16", "xor" ] }, { "id":"nEZBjBXDAf6BeDmyJDO57Rkt", "size":9, "operators":[ "if0", "not", "or" ] }, { "id":"nHzMOI99gSHBckSBLWbEZAcd", "size":24, "operators":[ "and", "if0", "not", "or", "plus", "shr16", "shr4", "tfold", "xor" ] }, { "id":"nI5RWOnERSW65WccJSVB8rWe", "size":9, "operators":[ "plus", "shr1", "tfold" ] }, { "id":"nJQURG4pxP3Afx3OkAOlcB0a", "size":11, "operators":[ "if0", "or", "plus", "shr1", "shr4" ] }, { "id":"nSLrBS6HhLkdT6XVPJNQBAbR", "size":13, "operators":[ "fold", "not", "or", "shl1", "shr4" ] }, { "id":"nXOal7XpTAwWfPZpq4okcwY3", "size":13, "operators":[ "if0", "or", "tfold", "xor" ] }, { "id":"nXj1cH4AA69Jus7IGPv8M9i0", "size":18, "operators":[ "fold", "if0", "not", "or", "plus", "shr1", "shr4" ] }, { "id":"nXnJ2bGL5gTqJMjE0QLfnBzX", "size":28, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"nZ8KulTs43AlDffsbPAR17x1", "size":11, "operators":[ "if0", "plus", "shr1", "shr16", "xor" ] }, { "id":"nbsaqA2OqIJn8r2DPACiF85E", "size":25, "operators":[ "and", "if0", "not", "or", "plus", "shr16", "xor" ] }, { "id":"nbw3m5M6lYY4HBmQw5e8ONo3", "size":21, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "tfold", "xor" ] }, { "id":"nf2STZgibfvjEHvJBZe5jDEH", "size":23, "operators":[ "and", "if0", "not", "plus", "shl1", "tfold", "xor" ] }, { "id":"ng6uUOAQNLXc04Yy8nwBnYkd", "size":23, "operators":[ "and", "if0", "not", "shr1", "shr4", "xor" ] }, { "id":"nphOicFoMLhpoo2O9EnrtrSW", "size":10, "operators":[ "or", "shl1", "shr1", "tfold" ] }, { "id":"nrEkIOngxRtVQw2UqLztjFJI", "size":11, "operators":[ "if0", "or", "plus" ] }, { "id":"nrPjPAfHD02v0dDfzOkSJMBH", "size":19, "operators":[ "if0", "or", "plus", "shr1", "tfold", "xor" ] }, { "id":"nsOo2ugObrOFIiHRCtIIciZ7", "size":19, "operators":[ "fold", "if0", "not", "or", "shr16", "shr4", "xor" ] }, { "id":"ntmsb9x3sGQoo1AP1zvkH2Sd", "size":28, "operators":[ "and", "fold", "if0", "not", "or", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"nv0YgE0MSA5Obhcqx6snEQbp", "size":16, "operators":[ "if0", "plus", "shr1", "tfold", "xor" ] }, { "id":"nwQqZbcrRoJGBFx2oYiWp38v", "size":24, "operators":[ "if0", "plus", "shl1", "shr1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"nzIOiYB5harwyPyqIdWDwaY2", "size":20, "operators":[ "and", "if0", "not", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"o8eFky3Ktzs7VK3LdkXZiEmZ", "size":29, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr16", "tfold", "xor" ] }, { "id":"oAL1qaluX11NwNA7i9wCKJBY", "size":28, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4" ] }, { "id":"oB2YP0ntPbN4JPB2XTzPrlwJ", "size":14, "operators":[ "fold", "or", "shl1", "shr16", "xor" ] }, { "id":"oBs2IlYY1D42x0KApJsodhlG", "size":16, "operators":[ "and", "fold", "if0", "not", "plus" ] }, { "id":"oGVeJNTS2xKrgy2Y1Kzina85", "size":27, "operators":[ "and", "fold", "if0", "not", "or", "plus", "shl1", "shr16", "shr4" ] }, { "id":"oGcYpXdjqY8mkI4iYHB70d3q", "size":18, "operators":[ "if0", "plus", "shr1", "shr16", "tfold", "xor" ] }, { "id":"oJAhdCq7n6xDBLW2KhaNsoTz", "size":29, "operators":[ "and", "fold", "if0", "not", "or", "plus", "shl1", "shr16", "shr4", "xor" ] }, { "id":"oMLOvbuaWnsJw1pYAJyFgSPb", "size":22, "operators":[ "if0", "not", "plus", "shr1", "shr16", "shr4", "xor" ] }, { "id":"oPw2Czne7UrrPd7CeWGMcQXA", "size":29, "operators":[ "and", "fold", "if0", "not", "or", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"oaN6Eoa03YsB55e3oJXNVscJ", "size":9, "operators":[ "and", "if0", "shl1", "shr16" ] }, { "id":"obqV2kpSAe8vTg5SF1vXQAHf", "size":24, "operators":[ "fold", "if0", "or", "plus", "shr1", "shr16", "shr4", "xor" ] }, { "id":"odAkRVdSC1cFqN3yln6Bs4P7", "size":9, "operators":[ "and", "if0", "or" ] }, { "id":"oeEz16uOXrFK0xXtO710w6lB", "size":10, "operators":[ "and", "if0", "shl1", "xor" ] }, { "id":"oeI1UkTfdxJPR3p1SJlBB5BA", "size":23, "operators":[ "and", "fold", "if0", "not", "or", "plus", "shl1", "shr16" ] }, { "id":"oebJAkBxgD1FvPqLNxf5Dq4j", "size":19, "operators":[ "and", "if0", "not", "or", "plus", "shr1" ] }, { "id":"ok2tr0PUky9hvj6Zl5SIZiWL", "size":17, "operators":[ "and", "fold", "if0", "plus", "shl1", "shr1", "xor" ] }, { "id":"omLHocyHAGopA6oH70f39AF8", "size":25, "operators":[ "and", "fold", "if0", "or", "plus", "shl1", "shr1", "shr16", "xor" ] }, { "id":"opSEb3O8PW1ynui8RhTH8vwz", "size":22, "operators":[ "if0", "not", "or", "shl1", "shr1", "shr4", "xor" ] }, { "id":"oq2iSqMTJAeEQnV4EafQUm9e", "size":30, "operators":[ "and", "if0", "or", "plus", "shl1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"owJnMW4sQY4YwgJrMyelr3Kj", "size":19, "operators":[ "if0", "not", "or", "plus", "shl1", "shr1", "shr16" ] }, { "id":"oy2ojA8cJXf5QElE5UVcFi8Y", "size":29, "operators":[ "and", "if0", "not", "plus", "shl1", "shr1", "shr4", "xor" ] }, { "id":"ozBoUFc4KALGDnUa0cjHC32s", "size":16, "operators":[ "if0", "not", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"p1CACjBEYucPHpP3lXdpQxbl", "size":21, "operators":[ "and", "if0", "not", "plus", "shr1", "shr4", "tfold", "xor" ] }, { "id":"p49rwR3A7e8qoeVjWk67BPBX", "size":13, "operators":[ "if0", "plus", "shr16", "shr4", "xor" ] }, { "id":"p4oBxCoQhPsP7ATVAcI6AQfW", "size":11, "operators":[ "fold", "plus", "shr1", "xor" ] }, { "id":"p6740EjlrZorAjyb6TYAmiF1", "size":20, "operators":[ "and", "if0", "plus", "shl1", "shr16", "tfold" ] }, { "id":"p8UqaNkY7rIQ5feWRu7DqmYr", "size":8, "operators":[ "or", "shr1", "shr4", "xor" ] }, { "id":"p8ksnupsvTVOQHRpenBBAdvr", "size":26, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr4", "tfold" ] }, { "id":"pA58RBG1A6UA3nMli536PcGh", "size":10, "operators":[ "plus", "shr1", "shr4", "tfold" ] }, { "id":"pBwEn9dAND6LjH8seInSIc8c", "size":5, "operators":[ "plus", "shr1" ] }, { "id":"pFM5u91tEapLheyFg1Xmqxh3", "size":25, "operators":[ "and", "fold", "if0", "not", "plus", "shl1", "shr1", "xor" ] }, { "id":"pHCMxaagquUtCEZGBUdYHrB7", "size":14, "operators":[ "and", "if0", "or", "shr16", "xor" ] }, { "id":"pImiUAIJ7BCs8CBA3uCfdJAi", "size":4, "operators":[ "shr16", "shr4" ] }, { "id":"pJYBiLrSiCKjP1wBVu6QAezT", "size":19, "operators":[ "and", "if0", "not", "or", "plus", "shr1", "shr4", "tfold" ] }, { "id":"pKRuzw5WyKQjA4IBjFyDJ5ks", "size":13, "operators":[ "and", "if0", "plus", "shr1", "shr16", "shr4" ] }, { "id":"pLGtyXGZYKQj9tHxm9Tk277p", "size":12, "operators":[ "and", "if0", "not", "plus", "shl1" ] }, { "id":"pLbg5KjbVxHtx2NEArkhBei2", "size":13, "operators":[ "and", "if0", "not", "or" ] }, { "id":"parX6Ky8FFR7FAt7Xbm8KBlR", "size":29, "operators":[ "and", "if0", "or", "shl1", "shr1", "shr16", "shr4" ] }, { "id":"pbIXX4dbBT6xdpp7Nfd4yw0m", "size":13, "operators":[ "and", "fold", "plus", "shl1", "shr16" ] }, { "id":"pbPQXVcWz8pJEySYtckPLuhx", "size":28, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "tfold", "xor" ] }, { "id":"pcr3A6jVrEz1BWBWDRuKaKM6", "size":10, "operators":[ "and", "if0", "not", "shr16", "shr4" ] }, { "id":"peCBQ6Z2bnmglPz7MCTLYWos", "size":30, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"pfi1QbVmdqXjEaYKPPvw7BmI", "size":30, "operators":[ "if0", "not", "or", "plus", "shl1", "shr1", "shr4", "tfold", "xor" ] }, { "id":"piPWSc69h0oTq8LCWkTAAsoB", "size":15, "operators":[ "if0", "or", "shr16" ] }, { "id":"plMxACwEU3ErYAIJZE8IyjhI", "size":15, "operators":[ "and", "if0", "not", "shl1", "shr16", "shr4" ] }, { "id":"pnnMQUGz8e7GsatFFacaZkvX", "size":8, "operators":[ "and", "shl1", "shr4", "xor" ] }, { "id":"poD2fvFPiAmGzaHL6BufbedD", "size":20, "operators":[ "and", "fold", "if0", "not", "plus", "shl1", "shr1", "xor" ] }, { "id":"pqRJQkBAqJxOEnBBTMRjBvZw", "size":28, "operators":[ "and", "if0", "not", "or", "shr1", "shr4", "tfold", "xor" ] }, { "id":"ptmusSqjGVEViJXXFMVo8lw9", "size":6, "operators":[ "not", "or", "shl1" ] }, { "id":"puAQ5OLbYxhzSzkA330omAbo", "size":29, "operators":[ "and", "if0", "or", "plus", "shl1", "shr1", "shr16", "xor" ] }, { "id":"puOPcnBcRxJBcjosEowJUoSS", "size":13, "operators":[ "and", "if0", "not", "tfold" ] }, { "id":"pzmkvTtt93NfTvtbeEVTcxoH", "size":22, "operators":[ "and", "fold", "if0", "or", "shl1", "shr1", "shr16", "xor" ] }, { "id":"q3jBbw7zcCr8ckvHfLIxBWD6", "size":27, "operators":[ "and", "if0", "or", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"q453JmikrMTZRZcBrFgUl4cj", "size":18, "operators":[ "and", "if0", "not", "plus", "shr1", "shr4", "xor" ] }, { "id":"qByBUGah1AuwnoMzzjWqcRuG", "size":17, "operators":[ "if0", "or", "shl1", "shr1", "shr4", "tfold" ] }, { "id":"qIrgv4L2dTrI7n85e1u1hTAX", "size":20, "operators":[ "and", "if0", "or", "tfold" ] }, { "id":"qKrefAAbdaUM8MPAEz6QgofM", "size":25, "operators":[ "and", "if0", "plus", "shl1", "shr1", "shr4", "tfold", "xor" ] }, { "id":"qLpPVruxRiHfANyzjxWucxNr", "size":14, "operators":[ "and", "if0", "plus", "shl1", "shr1" ] }, { "id":"qUUi18Ym8D3cAhMdUVelxEwE", "size":17, "operators":[ "fold", "if0", "or", "plus", "shr1", "shr4", "xor" ] }, { "id":"qUew3WBIer3yxabLTGeSc2ma", "size":28, "operators":[ "fold", "if0", "not", "or", "plus", "shl1", "shr16", "shr4", "xor" ] }, { "id":"qUl9vAyqEt0wb4uA70lDv2IT", "size":18, "operators":[ "fold", "if0", "or", "plus" ] }, { "id":"qV32QImn3gAj1B09BRbEk4Mr", "size":6, "operators":[ "not", "shl1", "shr4" ] }, { "id":"qYWZ7ovf19p7VmvD5FrHmxzc", "size":21, "operators":[ "and", "fold", "if0", "not", "or", "shl1", "shr1", "shr16", "xor" ] }, { "id":"qagRQBlISenAvAWdsqHYbeLG", "size":14, "operators":[ "if0", "or", "plus", "xor" ] }, { "id":"qdbRiWYdhXIBzW9CBSL3fmdE", "size":12, "operators":[ "fold", "if0", "or", "shr16" ] }, { "id":"qgRp0BAvaW5a2hx1rfUUffRo", "size":27, "operators":[ "and", "if0", "or", "plus", "shr1", "shr4", "tfold", "xor" ] }, { "id":"qnScj3FbthC2CPAt1r8bFhK6", "size":17, "operators":[ "fold", "if0", "plus", "shr1", "shr16", "xor" ] }, { "id":"qnr2FmZBNYO9fXgBKIh6xdmA", "size":24, "operators":[ "and", "if0", "or", "shr1", "shr16", "shr4", "xor" ] }, { "id":"qoA1JVmUeX4b5xy90ywm3ci3", "size":28, "operators":[ "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4", "tfold" ] }, { "id":"qobBb3QWSKaWAjEJ1PPzr0Le", "size":16, "operators":[ "fold", "if0", "not", "or", "shr1", "shr16", "xor" ] }, { "id":"qs1S1EGqg99CFsOD3DSHvPJl", "size":13, "operators":[ "and", "fold", "if0", "shl1", "shr1" ] }, { "id":"qxI7sLcaIUFdfWjQIbj45HVl", "size":25, "operators":[ "and", "fold", "if0", "not", "or", "plus", "shr4", "xor" ] }, { "id":"r2psBz1TvCDh3gdJvGJ1kvlT", "size":26, "operators":[ "and", "fold", "if0", "not", "or", "plus", "shl1", "shr1", "shr16" ] }, { "id":"rADkX6swRRsem5b2Y6Ff4Jo2", "size":29, "operators":[ "and", "fold", "if0", "not", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"rHlIOM7pc3YNbVS5osxVBz38", "size":22, "operators":[ "and", "fold", "if0", "not", "or", "plus", "shr16", "shr4" ] }, { "id":"rJlN3XV5JxoCbGb8Jj8LjXWH", "size":16, "operators":[ "fold", "if0", "not", "shr1", "xor" ] }, { "id":"rNKsXT5ncbFDTFocw3UfBokX", "size":11, "operators":[ "not", "tfold", "xor" ] }, { "id":"rNTxnsgaFH2ldwAt1hF19xqE", "size":26, "operators":[ "and", "if0", "or", "plus", "shl1", "shr1", "shr16", "xor" ] }, { "id":"rYespffW0xsynIRWqs1NRLzK", "size":24, "operators":[ "and", "if0", "or", "shl1", "shr1", "shr4", "tfold" ] }, { "id":"rZ8GlSKLUinTlqsA9hcrByTO", "size":13, "operators":[ "if0", "plus", "shr1" ] }, { "id":"rcoMJc6EZQ4eYaUCtz8SbUkv", "size":19, "operators":[ "and", "if0", "not", "plus", "shr1", "shr4", "xor" ] }, { "id":"ridkdW93qQAoKMOK2lq6tlJn", "size":23, "operators":[ "if0", "not", "or", "shl1", "shr1", "shr16", "shr4" ] }, { "id":"rjIrmf8mdjxU5yFKRBRrDQb6", "size":28, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr4", "xor" ] }, { "id":"roAa3vEQL0eO2drys3f43Yyn", "size":23, "operators":[ "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "tfold", "xor" ] }, { "id":"rokph0JAmSvMFBqSSXdbgISi", "size":13, "operators":[ "if0", "plus", "shl1", "tfold" ] }, { "id":"rw4WlPgJaBBT1AHt2gvFtPYt", "size":17, "operators":[ "if0", "not", "or", "plus", "shl1", "shr1", "xor" ] }, { "id":"ryQwENdCTfLW8qQfhZ8TiBAa", "size":23, "operators":[ "if0", "or", "plus", "shr4", "tfold", "xor" ] }, { "id":"s0AZQYnCPOoEXKHxUEuDSRUr", "size":28, "operators":[ "and", "if0", "not", "or", "shr1", "shr16", "shr4", "xor" ] }, { "id":"s37GUvsEw52H1VfXCBJ39jRv", "size":12, "operators":[ "or", "plus", "shl1", "shr1", "tfold" ] }, { "id":"s8MvgesgKrn7X0PEF1DRvKfj", "size":14, "operators":[ "if0", "or", "plus", "shr1", "tfold" ] }, { "id":"sAETV4EYHEWm6HCZBeXQxSBj", "size":10, "operators":[ "and", "if0", "shr1", "shr4" ] }, { "id":"sCj3c3nq6RZwH6WuE60IROYv", "size":20, "operators":[ "and", "if0", "not", "plus", "shl1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"sDyBHuuhN46NPNkeiQjEr36d", "size":18, "operators":[ "and", "if0", "not", "or", "shl1", "shr16", "xor" ] }, { "id":"sHt9vVNls96S2NXDFYPeaIv6", "size":15, "operators":[ "and", "if0", "plus", "shl1", "shr1", "shr4", "xor" ] }, { "id":"sIktqn1LadQ1BQAydLeiPUf6", "size":22, "operators":[ "fold", "if0", "or", "plus", "shl1", "shr16", "shr4", "xor" ] }, { "id":"sKWGLqRK78H8dSP1PtgDd72W", "size":6, "operators":[ "shr1", "shr16", "shr4" ] }, { "id":"sPCoF9DEeoQCdYWoabjbTGud", "size":30, "operators":[ "and", "if0", "not", "or", "plus", "shr1", "shr16", "shr4", "xor" ] }, { "id":"sPmeOokWDBFEFFAdEvhRnfFH", "size":11, "operators":[ "fold", "or", "shl1", "shr1", "shr16" ] }, { "id":"sUQYADUGe4A6i7hyD674tpTx", "size":21, "operators":[ "and", "if0", "not", "plus", "shl1", "shr1", "shr4", "xor" ] }, { "id":"sWhK1rrrCOITBBaCcIzXrAiN", "size":23, "operators":[ "and", "fold", "if0", "not", "or", "plus", "shl1", "shr4", "xor" ] }, { "id":"sXGVdldL2B3eo4kREqSYn5xD", "size":11, "operators":[ "plus", "shr4", "tfold", "xor" ] }, { "id":"sY6bwrUEZxryjREWBOsf5Z5Y", "size":25, "operators":[ "and", "fold", "if0", "not", "or", "shl1", "shr4", "xor" ] }, { "id":"sYqtnMEgaBl44S2J2FIQIgA8", "size":29, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"sYuSNoaZFv0K8Wj2AJoaqars", "size":16, "operators":[ "and", "if0", "or", "plus", "shl1", "shr1", "shr16", "xor" ] }, { "id":"sbNQwXbnVH4L2ylY5jA98IzU", "size":15, "operators":[ "and", "if0", "or", "plus", "shr1", "shr16" ] }, { "id":"sc4DobejtbSbcjS9KX98TdL6", "size":9, "operators":[ "shr4", "tfold", "xor" ] }, { "id":"sh0RXcl4uSSQF70QUuSqaJMI", "size":21, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "xor" ] }, { "id":"siuAtIpa0k06NQKKoNKc4GIA", "size":9, "operators":[ "plus", "shr1", "tfold" ] }, { "id":"sjFRaO1vmduBKrqUBtDUL8BE", "size":15, "operators":[ "fold", "if0", "not", "or", "shr16" ] }, { "id":"sq4smdJ3lonarXVGWOzYiB07", "size":13, "operators":[ "and", "if0", "tfold", "xor" ] }, { "id":"ssWKUyfD0Lr9bxupjnBumKiP", "size":14, "operators":[ "and", "if0", "not", "or", "plus", "shl1" ] }, { "id":"swBNfqvIscH5xly6Mx9AQPNc", "size":11, "operators":[ "if0", "not", "shr1", "shr16", "xor" ] }, { "id":"swwXX7nFSRkGENUkLJUU8JvH", "size":22, "operators":[ "and", "fold", "if0", "not", "or", "plus", "shr1", "shr16", "shr4", "xor" ] }, { "id":"sz83f2x3AD9VX8RCRDImffYL", "size":15, "operators":[ "if0", "or", "shl1", "shr1", "shr16", "shr4", "tfold" ] }, { "id":"t0v9fsmSf0ZfohmE6suvMIYr", "size":20, "operators":[ "if0", "not", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"t1xYRddGIjX4NGhz7tvllj2i", "size":18, "operators":[ "and", "fold", "if0", "not", "shr16", "xor" ] }, { "id":"t3AEwXIgBOAYztshMnAbxi0J", "size":22, "operators":[ "if0", "or", "plus", "shl1", "shr1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"t5tx0ZsbC1Hz1qVhcm5NlZad", "size":28, "operators":[ "and", "fold", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "xor" ] }, { "id":"t767I1kbFxTVtGQN8WMw3JcW", "size":8, "operators":[ "shr1", "tfold" ] }, { "id":"t86LtcjgiALxuBl1Ve1O5CFv", "size":23, "operators":[ "and", "if0", "or", "plus", "shr16", "shr4", "tfold", "xor" ] }, { "id":"t8UDKxcjA4MbKtkyFyBJLgaH", "size":18, "operators":[ "fold", "if0", "not", "or", "plus", "shr16", "shr4" ] }, { "id":"t9o6pHwGbhCnTsnO4Z0uF8k5", "size":22, "operators":[ "fold", "if0", "or", "shl1", "shr1", "shr16", "xor" ] }, { "id":"tAZRxSSAxgrNtx1d7BNQ8apq", "size":14, "operators":[ "if0", "not", "or", "plus", "shr1", "shr16" ] }, { "id":"tCaLqUrit4g0LBgyM2OeCuPy", "size":29, "operators":[ "and", "if0", "or", "plus", "shr1", "shr16", "xor" ] }, { "id":"tE7clYPzV9AbLyVZGJOoSlMG", "size":26, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr4", "tfold" ] }, { "id":"tEBw1mt2pwimu3fPk8biaXBj", "size":16, "operators":[ "fold", "if0", "not", "shl1", "shr1", "xor" ] }, { "id":"tEML2NUmJxYFTSITyPF882Q4", "size":10, "operators":[ "not", "plus", "shr1", "tfold" ] }, { "id":"tMmRP2jKLByz1AS3a8flRGLi", "size":20, "operators":[ "and", "if0", "not", "plus", "shr1", "shr16", "xor" ] }, { "id":"tNUF47yUA5nT0vMmBPAswLyk", "size":11, "operators":[ "or", "shr4", "tfold", "xor" ] }, { "id":"tT7FCp08uEjfPEqr3zM0nxIM", "size":11, "operators":[ "or", "plus", "shl1", "tfold" ] }, { "id":"tTEEOW3kJJvOsKGdqkKHBARi", "size":14, "operators":[ "if0", "not", "shr1", "shr4", "tfold", "xor" ] }, { "id":"tTHVAWDmSqJpcBP6rlixexBg", "size":14, "operators":[ "and", "if0", "not", "shl1", "shr16", "shr4", "xor" ] }, { "id":"tYudXlDpFQsPrnkc2LJCbWLu", "size":21, "operators":[ "and", "if0", "not", "plus", "shl1", "shr16", "xor" ] }, { "id":"tZwynrkWeP2vochngBPl2QiR", "size":5, "operators":[ "plus", "shr4" ] }, { "id":"tdo3B7J0fB78qaaXUV7GOKzO", "size":14, "operators":[ "and", "if0", "or", "shl1", "tfold" ] }, { "id":"toQ0D4oFrMblpVvubFX6ADfu", "size":11, "operators":[ "and", "if0", "shr16", "shr4", "xor" ] }, { "id":"tofyF0dofAh4YBopsh8kTlds", "size":29, "operators":[ "if0", "plus", "shl1", "shr1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"ttPxwOPomuMxRvxSZwKC2WKp", "size":19, "operators":[ "and", "fold", "if0", "not", "plus", "shr1", "shr4", "xor" ] }, { "id":"u2klBMM9E8u9Jqrf6iJM3uxh", "size":15, "operators":[ "fold", "if0", "not", "or", "plus", "shr4" ] }, { "id":"u5tn7rNrjwfpT71H7uO6j0Fg", "size":3, "operators":[ "not" ] }, { "id":"u6oIitXwwsPYJgRjFRHs3LWw", "size":12, "operators":[ "if0", "or", "shr1", "tfold" ] }, { "id":"u7cUCIe9JB6wicPCwvaTWyog", "size":25, "operators":[ "and", "fold", "if0", "or", "plus", "shl1", "shr1", "shr4", "xor" ] }, { "id":"uBOPvFHA9WEGGAXZFo00i8oi", "size":26, "operators":[ "and", "fold", "if0", "not", "or", "shl1", "shr1", "xor" ] }, { "id":"uDIBLNzC585crZA2DTG9uVuX", "size":10, "operators":[ "shr1", "tfold", "xor" ] }, { "id":"uDW2pjNpiYyiv6C3NmQQEQwc", "size":14, "operators":[ "if0", "plus", "shr4", "tfold" ] }, { "id":"uHgILm7rQQVb7TopA4a3omNO", "size":11, "operators":[ "and", "shr4", "tfold", "xor" ] }, { "id":"uHkkqdM9pYJj9TA3w31l24Nj", "size":13, "operators":[ "fold", "or", "plus", "shl1", "shr16", "shr4" ] }, { "id":"uI4AliBct6jZ37GeaWBApVQb", "size":20, "operators":[ "and", "if0", "not", "plus", "shl1", "shr16", "shr4", "xor" ] }, { "id":"uJseWXtahxJhXvnb9Ztre9EA", "size":22, "operators":[ "and", "if0", "not", "or", "shr1", "shr16", "tfold", "xor" ] }, { "id":"uQ9vrq0B1CHFq9fq8D6ATBI7", "size":9, "operators":[ "and", "not", "tfold" ] }, { "id":"ub50kAotCjrZ9MsphUFhsMvO", "size":24, "operators":[ "and", "if0", "or", "plus", "shl1", "shr16" ] }, { "id":"udv6H2FIoXOlhgPF8CnpN0S0", "size":28, "operators":[ "and", "fold", "if0", "not", "plus", "shl1", "xor" ] }, { "id":"ulz4mViLhsbrAHvdhyu7HHBV", "size":16, "operators":[ "and", "if0", "or", "shl1", "shr16", "tfold" ] }, { "id":"umDTzWcim1ijcn5vz8Hnv1bv", "size":29, "operators":[ "and", "if0", "not", "or", "plus", "shr1", "shr4", "tfold", "xor" ] }, { "id":"uuJrypwgcUmq1VzCY3vh0TMh", "size":24, "operators":[ "and", "if0", "not", "or", "shl1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"uwuzbQvfxkbK5TvjjsXACq88", "size":30, "operators":[ "and", "if0", "not", "plus", "shl1", "shr16", "tfold", "xor" ] }, { "id":"uzmLHdIYiIi8sE0QITJgDGV8", "size":19, "operators":[ "and", "if0", "not", "plus", "shr1", "shr16", "xor" ] }, { "id":"v1NXEvIErWqmsljexjmO9vDS", "size":23, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"v1zBxkY5t02g2rXaaxnVKm7j", "size":30, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"v3S0OpaEpMA0V2KRjdUnHX6p", "size":27, "operators":[ "and", "fold", "if0", "not", "plus", "shl1", "shr16", "shr4" ] }, { "id":"v66qOv71hn9FPRn0SV05sY0G", "size":14, "operators":[ "and", "fold", "shl1", "shr1", "xor" ] }, { "id":"v712Yo668advH0n0ajvB6FbE", "size":12, "operators":[ "fold", "plus", "shr1", "shr4", "xor" ] }, { "id":"v89vARCUZttC7mh97fiP1jLK", "size":22, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "tfold", "xor" ] }, { "id":"vBBGt0a4nC1gHAlzvdk4m9LL", "size":19, "operators":[ "fold", "if0", "not", "or", "plus", "shl1", "shr16", "shr4" ] }, { "id":"vDMDgdJa2tNFO5ueQiyKQD2r", "size":22, "operators":[ "if0", "not", "plus", "shr1", "tfold", "xor" ] }, { "id":"vDhtjdyZAW1s7BBjyGAptTwA", "size":27, "operators":[ "if0", "not", "or", "plus", "shl1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"vEHXe1vAnPXKYX1QfYh3CaNo", "size":7, "operators":[ "not", "plus" ] }, { "id":"vJSAOVFqhY5Oie873cpWqUvV", "size":19, "operators":[ "if0", "or", "plus", "shl1", "shr1", "tfold" ] }, { "id":"vNxcK0hlhQFLftTtDaAZO9jR", "size":28, "operators":[ "and", "if0", "or", "shl1", "shr1", "tfold", "xor" ] }, { "id":"vdVcNnLhnjNjJ9Jai1kEWdLx", "size":25, "operators":[ "and", "if0", "not", "or", "shr1", "shr4", "tfold", "xor" ] }, { "id":"vhPavKDra4TyNUHYrXKobGOp", "size":11, "operators":[ "and", "not", "plus", "tfold" ] }, { "id":"viIWEwnRnlwtbolZfQKASbAB", "size":23, "operators":[ "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"vlpsbgOv6CWSirsRAlcRhiDL", "size":21, "operators":[ "and", "if0", "not", "plus", "shl1", "shr1", "tfold" ] }, { "id":"vmFpVDZ6VAu5dFtRxqMJq1OW", "size":21, "operators":[ "and", "if0", "or", "plus", "shl1", "shr1", "shr16", "shr4" ] }, { "id":"vpA2ULzyfBGTa4PlAW6DAOIr", "size":21, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr4", "tfold" ] }, { "id":"vtULpP0UBgVgZdnFQizWe9AX", "size":4, "operators":[ "shr1", "shr4" ] }, { "id":"w2cFytglcHAbqWD0rdDMePYt", "size":27, "operators":[ "if0", "or", "plus", "shl1", "shr16", "shr4", "xor" ] }, { "id":"wBWrHFAJAExEo5doJ5q7Z0Tf", "size":21, "operators":[ "and", "if0", "not", "plus", "shl1", "shr16", "shr4", "tfold" ] }, { "id":"wCiNjVsDE8nx52AGd1AC9BVk", "size":23, "operators":[ "and", "fold", "if0", "not", "plus", "shr1", "shr16", "shr4", "xor" ] }, { "id":"wDtJcpTyGAbjgXNDazu2lANQ", "size":16, "operators":[ "and", "if0", "plus", "shr1", "tfold" ] }, { "id":"wJSDkcg3TjspFdlO1RcT0NhZ", "size":13, "operators":[ "if0", "not", "shr4", "tfold" ] }, { "id":"wQvl030BXVtyjD0xAYOd8tV2", "size":24, "operators":[ "and", "if0", "not", "plus", "shl1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"wSZxOgBvFHNO94wDBOLBdmxP", "size":14, "operators":[ "and", "if0", "plus", "shl1", "shr1", "shr16" ] }, { "id":"wUJKH5hMTw7PNPqBaqQGkGE7", "size":19, "operators":[ "and", "fold", "if0", "or", "plus", "shr1", "xor" ] }, { "id":"wUr5X1ZeaxzonnX5mfdaHjn5", "size":17, "operators":[ "fold", "if0", "not", "plus", "shr4", "xor" ] }, { "id":"wVzaAd7mxbmWrT55J4W0fI7q", "size":15, "operators":[ "and", "if0", "or", "plus", "shr16", "shr4" ] }, { "id":"wXZcLBkFfMfq4dvwYmsN3Zzh", "size":15, "operators":[ "if0", "shr1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"wXnFqVbUX9HO8hontXAD9jsQ", "size":7, "operators":[ "or", "plus", "shr16" ] }, { "id":"wb9Ul7vpEfipw2X0NmVN5vQj", "size":27, "operators":[ "and", "if0", "or", "shr1", "shr16", "xor" ] }, { "id":"weUYJcOswhIZhP5ov9QBy2Oc", "size":25, "operators":[ "if0", "or", "plus", "shr1", "shr16", "shr4", "xor" ] }, { "id":"wezYhY8G8c3oCfB0AU2BdNaT", "size":7, "operators":[ "plus", "shl1", "xor" ] }, { "id":"whItOQVubAH4FpTvXvaAIuBl", "size":21, "operators":[ "and", "fold", "if0", "not", "or", "shl1", "shr1", "xor" ] }, { "id":"wmukdSAxAJ0mLcesBImMWMZt", "size":20, "operators":[ "and", "fold", "if0", "not", "plus", "shl1", "shr1", "xor" ] }, { "id":"wrbvK3js56BXWWvEfokeVd13", "size":23, "operators":[ "and", "fold", "if0", "not", "plus", "shl1", "shr1", "xor" ] }, { "id":"wsd8qYDCeif0cBqfB3XKfpCe", "size":23, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "tfold", "xor" ] }, { "id":"wtlq3f2zO6APnuSsr9IA9ejB", "size":3, "operators":[ "shr4" ] }, { "id":"wv0diQG6A1ckBjxbHLMinAU5", "size":12, "operators":[ "and", "if0", "or", "shr16", "xor" ] }, { "id":"wvX8MyD5LN6dUvBex5AnA4bs", "size":18, "operators":[ "and", "if0", "shr1", "shr16", "shr4", "tfold" ] }, { "id":"wzwfByxtGjyC8pyTH8kdBW4M", "size":12, "operators":[ "shr1", "shr16", "tfold", "xor" ] }, { "id":"x0HNVJ8TWVdUWfCwQEJ4B3h0", "size":16, "operators":[ "and", "if0", "not", "or", "plus", "tfold" ] }, { "id":"x3DffFDFZZYYAPSr03AKUUIl", "size":24, "operators":[ "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"x8BWUi9FLGJVZI9Caxys5JZe", "size":11, "operators":[ "fold", "or", "shl1", "shr16" ] }, { "id":"x8rwdgvlJixAtVJdD2nwLYHA", "size":7, "operators":[ "plus", "shr1", "shr16" ] }, { "id":"xAMPCD2Aejsh9AbZ1bMmSjBx", "size":16, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1" ] }, { "id":"xAtMTB6j5IdMatVt7iDswCRu", "size":9, "operators":[ "not", "plus", "tfold" ] }, { "id":"xB4WTyYr7XvQ14cdH8Xr37Bf", "size":24, "operators":[ "if0", "not", "or", "plus", "shl1", "shr1", "shr4", "tfold", "xor" ] }, { "id":"xBLGX17CTqGDsdcislj6Owzx", "size":8, "operators":[ "and", "shr1", "xor" ] }, { "id":"xEpcDl80M8GuJRFHyuEWxtt4", "size":18, "operators":[ "and", "if0", "plus", "shr1", "tfold" ] }, { "id":"xGB6xVxRB6wjBOLTLv2NnpOr", "size":28, "operators":[ "and", "if0", "not", "or", "shl1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"xJhYWhxbfKnV5cFVxvXJTpOo", "size":16, "operators":[ "if0", "or", "shr1", "tfold" ] }, { "id":"xOh3Ne0DkOZz8Cg7TZxblPcj", "size":22, "operators":[ "fold", "if0", "not", "or", "plus", "shr16", "shr4", "xor" ] }, { "id":"xOrEgkOUo1OAuJLViTttymrY", "size":24, "operators":[ "if0", "not", "or", "plus", "shl1", "shr16", "shr4", "xor" ] }, { "id":"xRDAvnSTGoXIGTbDPnipGwaA", "size":3, "operators":[ "shl1" ] }, { "id":"xRgPMvvOmVS3p5CoGIwALkZ1", "size":11, "operators":[ "if0", "or", "plus", "shr1", "shr4" ] }, { "id":"xTLNrUrdQJZitLth8i9UEfJi", "size":9, "operators":[ "plus", "shr1", "tfold" ] }, { "id":"xYVjeL0GZKlDYXPHe3XAVhtN", "size":16, "operators":[ "fold", "if0", "not", "plus", "shr1", "xor" ] }, { "id":"xZzZLjErZNkBhaShlNuAYUZe", "size":24, "operators":[ "if0", "plus", "shl1", "shr1", "shr4", "tfold", "xor" ] }, { "id":"xbCsY1J3ksAjTxtRqzS5jyCO", "size":26, "operators":[ "if0", "not", "or", "plus", "shl1", "shr16", "shr4", "xor" ] }, { "id":"xeU9iuJRKjIBAG3lpdqwLCHV", "size":29, "operators":[ "fold", "if0", "not", "or", "plus", "shr16", "xor" ] }, { "id":"xf9aeEY95VxAVRSAnRcN9mmV", "size":6, "operators":[ "or", "shr16" ] }, { "id":"xg1L9MqHt5sWFYAAHcADeF0R", "size":27, "operators":[ "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4" ] }, { "id":"xhLomteweXG30BY8wYBBO6BX", "size":23, "operators":[ "and", "if0", "plus", "shr1", "shr16", "tfold" ] }, { "id":"xhOtckeIv0kpyWmsuqjVZ1aM", "size":11, "operators":[ "fold", "or", "plus", "shl1" ] }, { "id":"xoBQnLy73wWIBVlw633b68hI", "size":12, "operators":[ "if0", "plus", "shr16", "shr4", "xor" ] }, { "id":"xoTs8xZk2AAj5bMFEKbAjZ1J", "size":10, "operators":[ "or", "shl1", "shr16", "tfold" ] }, { "id":"xs7BJyVwjSEFhSBMYJtBfnHj", "size":30, "operators":[ "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"xwBk4NwTGeB2oEIM3PswU3d4", "size":12, "operators":[ "and", "plus", "shl1", "shr4", "tfold" ] }, { "id":"xyICA66hy8qByGSMB6DxDxEM", "size":24, "operators":[ "and", "if0", "not", "or", "plus", "shr1", "shr16", "tfold", "xor" ] }, { "id":"y3NBBTLAfOSz3fu8SjVGAF57", "size":28, "operators":[ "and", "fold", "if0", "or", "plus", "shl1", "shr1", "shr16", "xor" ] }, { "id":"y4zPBq2NTNNs4pJuwzOLVaWp", "size":26, "operators":[ "and", "if0", "not", "or", "shl1", "shr1", "shr16", "tfold", "xor" ] }, { "id":"y5taAYBF1z7EULV7kAkuCezl", "size":12, "operators":[ "fold", "not", "shr16", "shr4", "xor" ] }, { "id":"y6SKhA4qR5tbb8KNzfhYkp6T", "size":30, "operators":[ "and", "fold", "if0", "not", "shr1", "shr16", "shr4", "xor" ] }, { "id":"yCelcavvQZjgvODEmlpr0TrD", "size":26, "operators":[ "and", "if0", "not", "or", "plus", "shr16", "tfold", "xor" ] }, { "id":"yEHMnUGgU26sa7nmf84N44jD", "size":10, "operators":[ "not", "shr4", "tfold", "xor" ] }, { "id":"yIWfBSSA8WJLcN8bx3LU3Esh", "size":16, "operators":[ "and", "if0", "plus", "shr4", "tfold" ] }, { "id":"yLGHqnsz3g3MUUjqlBLwQ23z", "size":8, "operators":[ "not", "plus", "shl1" ] }, { "id":"yQbfESFKFSnItQ4OQ5pqY2n3", "size":12, "operators":[ "fold", "or", "shl1", "shr1", "shr16" ] }, { "id":"yYF6NJWmJKwHiVP6UHUKhM8V", "size":4, "operators":[ "shl1", "shr4" ] }, { "id":"yhLOs5rBy5C5bDA203iVhf6R", "size":13, "operators":[ "and", "if0", "tfold" ] }, { "id":"yo3J9YHcLDlVMsORrjBsBkzB", "size":15, "operators":[ "if0", "plus", "tfold", "xor" ] }, { "id":"yq98rPhAVbvBlvUfMlK20OE6", "size":24, "operators":[ "if0", "not", "or", "shr1", "xor" ] }, { "id":"yqXrI1MbeBprQUEh6WjFhuya", "size":29, "operators":[ "and", "fold", "if0", "not", "or", "shl1", "shr1", "shr16", "xor" ] }, { "id":"yrRuBXwARQqHqwZ7OWHYlhA7", "size":18, "operators":[ "and", "fold", "if0", "shr16", "shr4", "xor" ] }, { "id":"ywIavQxDaFos8voaAJaPA5nI", "size":27, "operators":[ "and", "if0", "or", "plus", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"z1HtU76LJxVsZCkxd41VBRcv", "size":18, "operators":[ "fold", "if0", "or", "plus", "xor" ] }, { "id":"z4zl2zfBXbfnycolc1VA2Aiz", "size":28, "operators":[ "if0", "not", "or", "plus", "shl1", "shr16", "shr4", "xor" ] }, { "id":"z5Kf5c5T52I7VJPGk2Cwws4I", "size":30, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr4" ] }, { "id":"z8yd6m4F10fJr69wczGcLku2", "size":26, "operators":[ "and", "if0", "not", "or", "plus", "shr1", "shr4", "tfold" ] }, { "id":"zBWhRQJKOVhirzmKeyemosrj", "size":11, "operators":[ "and", "fold", "or", "shl1" ] }, { "id":"zDAAUBFqkcnLIODI0t63yXxF", "size":29, "operators":[ "and", "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4", "tfold", "xor" ] }, { "id":"zLVfmW0nPo3faNBbDSf2gfYs", "size":26, "operators":[ "and", "fold", "if0", "not", "or", "shl1", "shr1", "xor" ] }, { "id":"zLz5QABvotpNyp4xID6HqiV2", "size":29, "operators":[ "and", "fold", "if0", "not", "or", "shl1", "shr1", "shr16", "shr4", "xor" ] }, { "id":"zPBaPr8RB6nishxUQaxm1kgL", "size":17, "operators":[ "fold", "if0", "plus", "shl1", "shr1", "shr4", "xor" ] }, { "id":"zPepij7Jp3Npq3PxYcBuK9Wu", "size":10, "operators":[ "not", "plus", "shl1", "tfold" ] }, { "id":"zQJBIkRmEXq6Cg54d3lENba8", "size":20, "operators":[ "fold", "if0", "not", "plus", "shl1", "xor" ] }, { "id":"zQriAHfWBsWLx46URMFVS64e", "size":14, "operators":[ "fold", "if0", "not", "shr16", "xor" ] }, { "id":"zV8JCKAjhIXVcXqOADiRFe37", "size":20, "operators":[ "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "xor" ] }, { "id":"zYUedZ2nMMOrNRfpbfFLMAev", "size":9, "operators":[ "if0", "not", "shr16", "shr4" ] }, { "id":"za4BRGeFopChq4qbkBSYAh1m", "size":8, "operators":[ "plus", "tfold" ] }, { "id":"zawKLAUscfdQ9voe8MF8PXFZ", "size":27, "operators":[ "and", "if0", "not", "or", "shl1", "shr16", "tfold", "xor" ] }, { "id":"zdX6sYOYjcDLavLgGbSd3gAP", "size":14, "operators":[ "and", "if0", "shl1", "shr4", "tfold" ] }, { "id":"ziWZg0FAAK5XMcCAY9YR7n18", "size":18, "operators":[ "and", "fold", "if0", "or", "plus", "shr1", "shr4" ] }, { "id":"zikAOKkXC5A5ti7qD1T3gR8j", "size":27, "operators":[ "and", "if0", "or", "plus", "shr1", "shr16", "shr4", "tfold" ] }, { "id":"zjJysBhOpemglvoggjgrzFm5", "size":30, "operators":[ "if0", "not", "or", "shl1", "shr1", "shr4", "tfold", "xor" ] }, { "id":"zl4MqQtUPTOpSs2ZdHrAh23d", "size":29, "operators":[ "and", "if0", "not", "or", "plus", "shr1", "shr16", "shr4", "xor" ] }, { "id":"zr9tswlo0j8GBbNaBZ1Sy5EV", "size":9, "operators":[ "and", "if0", "shl1", "shr1" ] }, { "id":"zsBeBslJCPgo18Ai68oXOUui", "size":17, "operators":[ "if0", "or", "shr4", "tfold", "xor" ] }, { "id":"zuAIjmi5dkOXKVqBjoHQmLih", "size":12, "operators":[ "if0", "or", "plus", "shr1", "shr16", "shr4" ] }, { "id":"zy2e0BKcB8u4HLFYUNbCPlnP", "size":20, "operators":[ "if0", "not", "or", "plus", "shl1", "shr1", "shr16", "shr4" ] } ]