Create a gist now

Instantly share code, notes, and snippets.

@bloodyowl /README.md
Last active Dec 10, 2015

Embed
What would you like to do?
WTFJS

WTFJS

WTF?

Rules

A WTF expression :

  • is wrapped inside ()
  • starts with ([] + []) to define a new String
  • uses (+!![]) as 1
  • uses (+![]) as 0
  • has a + before every character-expression

Usage

WTF.encode(string)
WTF.decode(string)
;(function(){
var WTF = {
decode : function(string){
if(!/\d/.test(string) && !/[\w\d]/.test(string)) string = new Function("return " + string)()
return string.replace(/(\d{8})/g, function (a) {
return String.fromCharCode(parseInt(a, 2))
})
}
, encode : function(string){
var array = string.split("")
, i = 0
, l = array.length
, result = "([]+[])", byte, cache
for(;i < l; i++) {
cache = (byte = (array[i].charCodeAt(0)).toString(2)).length
result += (Math.pow(2, 8 - cache)).toString(2).slice(1) + byte
}
return "(" + result.replace(/1/g, "+(+!![])").replace(/0/g, "+(+![])") + ")"
}
}
window.WTF = WTF
})()
// helloworld
;("(([]+[])+(+!![])+(+!![])+(+![])+(+!![])+(+![])"
+"+(+![])+(+![])+(+!![])+(+!![])+(+![])+(+![])+(+!![])"
+"+(+![])+(+!![])+(+!![])+(+!![])+(+![])+(+!![])+(+!![])"
+"+(+![])+(+![])+(+!![])+(+!![])+(+![])+"
+ "(+!![])+(+!![])+(+![])+(+![])+(+!![])+"
+ "(+!![])+(+![])+(+!![])+(+!![])+(+!![])+(+!![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])+(+!![])+(+!![])+"
+ "(+!![])+(+!![])+(+!![])+(+![])+"
+ "(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+"
+ "(+!![])+(+![])+(+![])+(+!![])+(+![])+(+!![])+"
+"(+!![])+(+![])+(+!![])+(+!![])+(+![])+(+![])+"
+"(+!![])+(+!![])+(+![])+(+![])+(+!![])+(+![])+(+![]))")
// Lorem ipsum dolor sit amet, consectetuer adipiscing elit, sed diam nonummy nibh euismod tincidunt ut laoreet dolore magna aliquam erat volutpat. Ut wisi enim ad minim veniam, quis nostrud exerci tation ullamcorper suscipit lobortis nisl ut aliquip ex ea commodo consequat. Duis autem vel eum iriure dolor in hendrerit in vulputate velit esse molestie consequat, vel illum dolore eu feugiat nulla facilisis at vero eros et accumsan et iusto odio dignissim qui blandit praesent luptatum zzril delenit augue duis dolore te feugait nulla facilisi. Nam liber tempor cum soluta nobis eleifend option congue nihil imperdiet doming id quod mazim placerat facer possim assum. Typi non habent claritatem insitam; est usus legentis in iis qui facit eorum claritatem. Investigationes demonstraverunt lectores legere me lius quod ii legunt saepius. Claritas est etiam processus dynamicus, qui sequitur mutationem consuetudium lectorum. Mirum est notare quam littera gothica, quam nunc putamus parum claram, anteposuerit litterarum formas humanitatis per seacula quarta decima et quinta decima. Eodem modo typi, qui nunc nobis videntur parum clari, fiant sollemnes in futurum.
;("(([]+[])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+![])"
+ "+(+!![])+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "+(+![])"
+ "+(+!![])+(+!![])+(+![])"
+ "