{0: '⌊.55555⌋',
1: '⌈.55555⌉',
2: '⌊5*.5555⌋',
3: '⌈5*.5555⌉',
4: '⌊5-.5555⌋',
5: '⌊5.5555⌋',
6: '⌈5.5555⌉',
7: '⌈.5+5.555⌉',
8: '⌈√55+.555⌉',
9: '⌊55/5.55⌋',
10: '⌊555/55⌋',
11: '⌈555/55⌉',
12: '⌈55.55/5⌉',
13: '⌈√5*5.555⌉',
14: '⌈√55/.555⌉',
15: '(5+(55/5.5))',
16: '(5+⌊55.5/5⌋)',
17: '(5+⌈55.5/5⌉)',
18: '⌊55/⌈5*.55⌉⌋',
19: '⌈55/⌈5*.55⌉⌉',
20: '(5*⌊5-.555⌋)',
21: '⌊5!/5.555⌋',
22: '⌈5!/5.555⌉',
23: '⌈555/(5*5)⌉',
24: '⌊5-.5555⌋!',
25: '(5*⌊5.555⌋)',
26: '(⌈.55*55⌉-5)',
27: '⌊5*5.555⌋',
28: '⌈5*5.555⌉',
29: '(5+⌊5-.555⌋!)',
30: '⌊55*.555⌋',
31: '⌈55*.555⌉',
32: '(5+⌊5*5.55⌋)',
33: '(5+⌈5*5.55⌉)',
34: '⌈⌈5.5⌉*5.55⌉',
35: '(5+⌊.55*55⌋)',
36: '(5+⌈.55*55⌉)',
37: '⌊5*(55/√55)⌋',
38: '⌊⌊√55⌋*5.55⌋',
39: '⌊√.5*55.55⌋',
40: '⌊5.5*√55.5⌋',
41: '⌊√55*5.55⌋',
42: '⌈√55*5.55⌉',
43: '(55-⌊5+√55⌋)',
44: '(55-(55/5))',
45: '(5*⌊5/.555⌋)',
46: '⌊5555/5!⌋',
47: '⌈5555/5!⌉',
48: '⌈55-√55.5⌉',
49: '⌊55-5.55⌋',
50: '⌊55.55-5⌋',
51: '⌈55.55-5⌉',
52: '(55-⌈5*.55⌉)',
53: '⌊55.55-√5⌋',
54: '⌊55-.555⌋',
55: '⌊55.555⌋',
56: '⌈55.555⌉',
57: '⌈.5+55.55⌉',
58: '⌈√5+55.55⌉',
59: '(5+⌊55-.55⌋)',
60: '⌊5+55.55⌋',
61: '⌈5+55.55⌉',
62: '⌊√55+55.5⌋',
63: '⌈√55+55.5⌉',
64: '⌊5!-55.55⌋',
65: '⌈5!-55.55⌉',
66: '⌊5!*.5555⌋',
67: '⌈5!*.5555⌉',
68: '(5+⌈55+√55⌉)',
69: '⌊555/⌈√55⌉⌋',
70: '⌈555/⌈√55⌉⌉',
71: '(5+⌊5!*.555⌋)',
72: '(5+⌈5!*.555⌉)',
73: '(5!-⌊55-√55⌋)',
74: '⌊555/√55⌋',
75: '⌈555/√55⌉',
76: '(55+⌊5!/5.5⌋)',
77: '(55+⌈5!/5.5⌉)',
78: '⌊55.55/√.5⌋',
79: '⌊555/⌊√55⌋⌋',
80: '⌊(5*5)+55.5⌋',
81: '⌈(5*5)+55.5⌉',
82: '(55+⌊.5*55⌋)',
83: '(55+⌈.5*55⌉)',
84: '(5+((5!/5)+55))',
85: '(5+(55+(5*5)))',
86: '⌊⌈5+55.5⌉/√.5⌋',
87: '((555-5!)/5)',
88: '⌈√5**5.555⌉',
89: '(5!-⌈.55*55⌉)',
90: '⌊(55-5)/.55⌋',
91: '⌈(55-5)/.55⌉',
92: '⌊555/⌈5.5⌉⌋',
93: '⌈555/⌈5.5⌉⌉',
94: '(⌊55/.55⌋-5)',
95: '(⌈55/.55⌉-5)',
96: '⌊.55*(5!+55)⌋',
97: '⌈.55*(5!+55)⌉',
98: '(⌊55-5.5⌋/.5)',
99: '⌊55/.555⌋',
100: '⌊555/5.5⌋',
101: '⌈555/5.5⌉',
102: '⌈⌈55.5⌉/.55⌉',
103: '⌊⌊√5+55⌋/.55⌋',
104: '(5+⌊55/.55⌋)',
105: '(55+(55-5))',
106: '((555/5)-5)',
107: '(55+⌊55-√5⌋)',
108: '(5!-⌈55.5/5⌉)',
109: '(55+⌊55-.5⌋)',
110: '⌊55+55.5⌋',
111: '⌈55+55.5⌉',
112: '⌈555.5/5⌉',
113: '(55+⌈√5+55⌉)',
114: '⌊5!-5.555⌋',
115: '⌈5!-5.555⌉',
116: '(5+(555/5))',
117: '(5!-⌈5*.555⌉)',
118: '(5!-⌈5.55/5⌉)',
119: '⌊5!-.5555⌋',
120: '⌊5.5555⌋!',
121: '⌈5!+.5555⌉',
122: '(5!+⌈5.55/5⌉)',
123: '⌊555/(5-.5)⌋',
124: '⌊√5*55.55⌋',
125: '⌊5!+5.555⌋',
126: '⌈5!+5.555⌉',
127: '⌊⌊5**5.5⌋/55⌋',
128: '⌈⌊5**5.5⌋/55⌉',
129: '(5!+⌊5/.555⌋)',
130: '⌊√5.5*55.5⌋',
131: '⌈√5.5*55.5⌉',
132: '(5!+⌈55.5/5⌉)',
133: '⌈55*(√55-5)⌉',
134: '⌊55*√⌈5.55⌉⌋',
135: '(5*⌊5*5.55⌋)',
136: '⌈√⌈5.5⌉*55.5⌉',
137: '⌊5.5*⌈55/√5⌉⌋',
138: '⌊5*(5*5.55)⌋',
139: '⌈5*(5*5.55)⌉',
140: '(5*⌈5*5.55⌉)',
141: '(5!+⌊5!/5.55⌋)',
142: '(5!+⌈5!/5.55⌉)',
143: '(5+⌈.5*(5*55)⌉)',
144: '(⌈5.555⌉!/5)',
145: '(5+(5*⌈.5*55⌉))',
146: '⌊55*(5-√5.5)⌋',
147: '(5!+⌊5*5.55⌋)',
148: '(5!+⌈5*5.55⌉)',
149: '⌈5.5*⌊.5*55⌋⌉',
150: '(5*⌊.55*55⌋)',
151: '⌊.55*(5*55)⌋',
152: '⌈.55*(5*55)⌉',
153: '⌊55*(√5+.55)⌋',
154: '(5.5*⌈.5*55⌉)',
155: '(5*⌈.55*55⌉)',
156: '⌈(55+55)/√.5⌉',
157: '(⌊.5*555⌋-5!)',
158: '(⌈.5*555⌉-5!)',
159: '(5!+⌊√.5*55.5⌋)',
160: '(5*(5+⌊.5*55⌋))',
161: '⌊(.5*5)**5.55⌋',
162: '⌈(.5*5)**5.55⌉',
163: '(⌊5!/.55⌋-55)',
164: '(⌈5!/.55⌉-55)',
165: '(55*⌈5*.55⌉)',
166: '⌊⌈.5*5⌉*55.5⌋',
167: '⌈⌈.5*5⌉*55.5⌉',
168: '(5!+⌈55-√55⌉)',
169: '(5!+⌊55-5.5⌋)',
170: '(5!+⌊55.5-5⌋)',
171: '(5!+⌈55.5-5⌉)',
172: '⌈5.555**⌈√5⌉⌉',
173: '⌊55*√⌊5+5.5⌋⌋',
174: '(5!+⌊55-.55⌋)',
175: '⌊5!+55.55⌋',
176: '⌈5!+55.55⌉',
177: '(55+⌊√5*55⌋)',
178: '(55+⌈√5*55⌉)',
179: '⌊55*(5.5-√5)⌋',
180: '(5+⌊5!+55.5⌋)',
181: '(5+⌈5!+55.5⌉)',
182: '(⌊5.5*55⌋-5!)',
183: '(⌈5.5*55⌉-5!)',
184: '(5!+⌊5!-55.5⌋)',
185: '(555/⌈.5*5⌉)',
186: '⌈555.5/⌈√5⌉⌉',
187: '(5!+⌈5!*.555⌉)',
188: '((⌈.5*5⌉**5)-55)',
189: '(⌊√55⌋*⌊.5*55⌋)',
190: '(5*⌈5*√55.5⌉)',
191: '⌈55*√⌊5+√55⌋⌉',
192: '(⌈5.55⌉/(.5**5))',
193: '⌊5!**(.55+.55)⌋',
194: '⌊(555-5!)/√5⌋',
195: '⌈(555-5!)/√5⌉',
196: '(.5*⌊√.5*555⌋)',
197: '⌈.5*⌈√.5*555⌉⌉',
198: '(⌊55/.55⌋/.5)',
199: '⌊55/(.5*.55)⌋',
200: '(⌈55/.55⌉/.5)',
201: '⌈555/(5-√5)⌉',
202: '⌊555/(.5+√5)⌋',
203: '⌊.5*⌊55*√55⌋⌋',
204: '(.5*⌈55*√55⌉)',
205: '(5*⌈5.5*√55⌉)',
206: '⌈⌈5!-√55⌉/.55⌉',
207: '⌊(5!-5)/.555⌋',
208: '⌈(5!-5)/.555⌉',
209: '(5.5*⌈5*√55⌉)',
210: '⌈⌈5!-5.5⌉/.55⌉',
211: '(⌊5!/.555⌋-5)',
212: '(⌈5!/.555⌉-5)',
213: '⌈⌊5!/.55⌋-5.5⌉',
214: '⌈⌈5!/.55⌉-5.5⌉',
215: '⌊⌊5!/.555⌋-.5⌋',
216: '⌊5!/.5555⌋',
217: '⌈5!/.5555⌉',
218: '⌈.5*(555-5!)⌉',
219: '(5!+⌊55/.55⌋)',
220: '((5*55)-55)',
221: '(5+⌊5!/.555⌋)',
222: '(555/(.5*5))',
223: '⌊5.5+⌊5!/.55⌋⌋',
224: '⌊5.5+⌈5!/.55⌉⌋',
225: '⌊(5+5!)/.555⌋',
226: '⌈(5+5!)/.555⌉',
227: '⌈555/√⌈5.5⌉⌉',
228: '(⌊5!-5.55⌋/.5)',
229: '⌈(5!-5.55)/.5⌉',
230: '(5!+(55+55))',
231: '(5!+(555/5))',
232: '⌈(5!+√55)/.55⌉',
233: '⌈⌈5!+√55⌉/.55⌉',
234: '(5!+⌊5!-5.55⌋)',
235: '(5*⌊55-√55⌋)',
236: '⌊555/√5.5⌋',
237: '⌈555/√5.5⌉',
238: '⌈5*(55-√55)⌉',
239: '(5!+⌊5!-.555⌋)',
240: '(5*⌈55-√55⌉)',
241: '(5!+⌈5!+.555⌉)',
242: '(⌈5!+.555⌉/.5)',
243: '(⌈5*.555⌉**5)',
244: '⌊55*(5-.55)⌋',
245: '(5*⌊55-5.5⌋)',
246: '⌈(555-5)/√5⌉',
247: '⌊5*(55-5.5)⌋',
248: '⌊555.5/√5⌋',
249: '⌈555.5/√5⌉',
250: '(5*⌊55.5-5⌋)',
251: '⌈(5+555)/√5⌉',
252: '⌊5*(55.5-5)⌋',
253: '⌈5*(55.5-5)⌉',
254: '(5+⌈555/√5⌉)',
255: '(5*⌈55.5-5⌉)',
256: '(⌊55*√5.5⌋/.5)',
257: '⌊55/(.5/√5.5)⌋',
258: '(⌈55*√5.5⌉/.5)',
259: '⌊5!/(55.5/5!)⌋',
260: '(5*⌊55-√5.5⌋)',
261: '⌈(5*.55)**5.5⌉',
262: '⌈555/√(5-.5)⌉',
263: '⌊5*(55-√5.5)⌋',
264: '⌈5*(55-√5.5)⌉',
265: '(5*⌈55-√5.5⌉)',
266: '⌊5*(55.5-√5)⌋',
267: '⌊(5*55)-√55⌋',
268: '⌈(5*55)-√55⌉',
269: '⌊(5*55)-5.5⌋',
270: '(5*⌊55-.55⌋)',
271: '(⌈.5-5⌉+(5*55))',
272: '(⌊.5*555⌋-5)',
273: '(⌈.5*555⌉-5)',
274: '⌊(5*55)-.55⌋',
275: '(5*⌊55.55⌋)',
276: '⌈.55+(5*55)⌉',
277: '⌊5*55.55⌋',
278: '⌈5*55.55⌉',
279: '⌈.5+⌈.5*555⌉⌉',
280: '(5*⌈55.55⌉)',
281: '⌈5.5+(5*55)⌉',
282: '(5+⌊.5*555⌋)',
283: '(5+⌈.5*555⌉)',
284: '⌊5*((5**5)/55)⌋',
285: '(5*⌊√5+55.5⌋)',
286: '(5.5*⌊55-√5⌋)',
287: '(555-⌊√5*5!⌋)',
288: '(⌈55*√55⌉-5!)',
289: '⌈55*√(.5*55)⌉',
290: '(5*⌈√5+55.5⌉)',
291: '⌊5.5*⌈55-√5⌉⌋',
292: '⌈5.5*⌈55-√5⌉⌉',
293: '⌊5!*√⌈5.555⌉⌋',
294: '⌈5!*√⌈5.555⌉⌉',
295: '(5!+⌊5!+55.5⌋)',
296: '(5!+⌈5!+55.5⌉)',
297: '(⌊5.5*55⌋-5)',
298: '(⌈5.5*55⌉-5)',
299: '⌊5.5*(55-.5)⌋',
300: '(5*⌊5+55.5⌋)',
301: '⌊⌊5.5*55⌋-.5⌋',
302: '⌊5*(5+55.5)⌋',
303: '⌈5*(5+55.5)⌉',
304: '⌈.5+⌈5.5*55⌉⌉',
305: '⌊.55*555⌋',
306: '⌈.55*555⌉',
307: '(5+⌊5.5*55⌋)',
308: '(5+⌈5.5*55⌉)',
309: '(⌈(√.5+5)*55⌉-5)',
310: '(5*⌊55+√55⌋)',
311: '⌈(√5**5)*5.55⌉',
312: '⌊5*(55+√55)⌋',
313: '⌈5*(55+√55)⌉',
314: '⌈5.5*⌊√5+55⌋⌉',
315: '(5*⌈55+√55⌉)',
316: '⌊√(55/5.5)**5⌋',
317: '⌈√(55/5.5)**5⌉',
318: '⌊(5!+55)/.55⌋',
319: '⌈(5!+55)/.55⌉',
320: '(5*⌊5!-55.5⌋)',
321: '⌊⌈5.555⌉!/√5⌋',
322: '⌊5*(5!-55.5)⌋',
323: '⌈5*(5!-55.5)⌉',
324: '(⌈5.5⌉*⌊55-.5⌋)',
325: '(5*⌈5!-55.5⌉)',
326: '⌈(5!/55)**√55⌉',
327: '(⌈5.5⌉*(55-.5))',
328: '⌈.5*(55+(5*5!))⌉',
329: '⌊(55*⌈5.5⌉)-.5⌋',
330: '(55*⌈5.55⌉)',
331: '⌈.5+(55*⌈5.5⌉)⌉',
332: '⌊.55*(5+(5*5!))⌋',
333: '(⌈5.5⌉*55.5)',
334: '⌈5*(5!*.555)⌉',
335: '(5*⌈5!*.555⌉)',
336: '(5!+⌊5!/.555⌋)',
337: '⌊.5*(5!+555)⌋',
338: '⌈.5*(5!+555)⌉',
339: '⌊55*√⌈5*√55⌉⌋',
340: '⌈55*√⌈5*√55⌉⌉',
341: '⌊55*(√.5+5.5)⌋',
342: '⌈55*(√.5+5.5)⌉',
343: '⌊5*(.55*(5+5!))⌋',
344: '⌈5*(.55*(5+5!))⌉',
345: '(5*⌈.55*(5+5!)⌉)',
346: '(⌊55*√(5+5)⌋/.5)',
347: '⌊5!*(.55+√5.5)⌋',
348: '(⌈5.5⌉*⌈√5+55⌉)',
349: '(⌊(5-.55)**5⌋/5)',
350: '(⌊5!+55.5⌋/.5)',
351: '((5!+55.5)/.5)',
352: '(⌈5!+55.5⌉/.5)',
353: '⌈⌈555/√5⌉/√.5⌉',
354: '⌊(.5*⌈5.5⌉!)-5.5⌋',
355: '(5*(5+(5!*.55)))',
356: '⌈(55/5)**√⌈5.5⌉⌉',
357: '⌊5.5*(5!-55)⌋',
358: '⌈5.5*(5!-55)⌉',
359: '⌊.5*⌊⌈5.55⌉!-.5⌋⌋',
360: '(.5*⌈5.555⌉!)',
361: '⌊(√5+5)*(55-5)⌋',
362: '⌊.5*(5+⌈5.55⌉!)⌋',
363: '(5.5*(5!*.55))',
364: '⌈5!*(.55*5.5)⌉',
365: '(5+(.5*⌈5.55⌉!))',
366: '(5!*(.55+(.5*5)))',
367: '(5!+⌊55*(5-.5)⌋)',
368: '(5!+⌊555/√5⌋)',
369: '(5!+⌈555/√5⌉)',
370: '⌊√55*(55-5)⌋',
371: '⌈√55*(55-5)⌉',
372: '(55+⌈√(5+5)**5⌉)',
373: '⌊55*√⌈5.5**√5⌉⌋',
374: '⌈55*√⌈5.5**√5⌉⌉',
375: '(5*⌈(5+5)*√55⌉)',
376: '(55+⌊⌈5.5⌉!/√5⌋)',
377: '(55+⌈⌈5.5⌉!/√5⌉)',
378: '(⌊√55⌋*⌊55-.5⌋)',
379: '⌊5!*√(55/5.5)⌋',
380: '⌊55*(√55-.5)⌋',
381: '⌈55*(√55-.5)⌉',
382: '⌈55**(√55/5)⌉',
383: '(5!+⌊5*(55-√5)⌋)',
384: '⌊(55*⌊√55⌋)-.5⌋',
385: '(55*⌊√55.5⌋)',
386: '(555-⌊5!/√.5⌋)',
387: '(⌊√.5*555⌋-5)',
388: '⌊⌊√55⌋*55.5⌋',
389: '⌈⌊√55⌋*55.5⌉',
390: '(5*⌊55.5/√.5⌋)',
391: '⌊⌊√.5*555⌋-.5⌋',
392: '⌊√.5*555.5⌋',
393: '⌈√.5*555.5⌉',
394: '⌈√.5*⌈555.5⌉⌉',
395: '⌊√.5*(5+555)⌋',
396: '⌊.55*⌈5.55⌉!⌋',
397: '(5!+⌊.5*555⌋)',
398: '(5!+⌈.5*555⌉)',
399: '⌊⌈5.5⌉!*.555⌋',
400: '⌈⌈5.5⌉!*.555⌉',
401: '⌊(√5+5)*55.5⌋',
402: '(⌊55*√55⌋-5)',
403: '(⌈55*√55⌉-5)',
404: '⌊√55*(55-.5)⌋',
405: '⌈√55*(55-.5)⌉',
406: '⌊⌊55*√55⌋-.5⌋',
407: '⌊55*√⌊55.5⌋⌋',
408: '⌈55*√⌊55.5⌋⌉',
409: '⌊55*√55.5⌋',
410: '⌈55*√55.5⌉',
411: '⌊√55*55.5⌋',
412: '⌈√55*55.5⌉',
413: '(5+⌈55*√55⌉)',
414: '⌈√55.5**⌈.5*5⌉⌉',
415: '⌊√55*⌈55.5⌉⌋',
416: '⌈√55*⌈55.5⌉⌉',
417: '⌊5*(5**(5*.55))⌋',
418: '⌊55*√⌈√5+55⌉⌋',
419: '⌊(5**5)/√55.5⌋',
420: '⌊⌈5*.55⌉**5.5⌋',
421: '⌈⌈5*.55⌉**5.5⌉',
422: '(5!+⌊5.5*55⌋)',
423: '(5!+⌈5.5*55⌉)',
424: '⌈5.5*⌊55/√.5⌋⌉',
425: '⌊55*(√5+5.5)⌋',
426: '⌊55*√(5+55)⌋',
427: '⌈55*√(5+55)⌉',
428: '⌊⌈5.5*55⌉/√.5⌋',
429: '(5.5*⌈55/√.5⌉)',
430: '(555-(5+5!))',
431: '⌈√55*⌈√5+55⌉⌉',
432: '(555-⌈√5+5!⌉)',
433: '(555-⌊√5+5!⌋)',
434: '(555-⌈.5+5!⌉)',
435: '⌊555.5-5!⌋',
436: '⌈555.5-5!⌉',
437: '(⌊√5-5!⌋+555)',
438: '(⌈√5-5!⌉+555)',
439: '⌊(⌈√55⌉*55)-.5⌋',
440: '(5+(555-5!))',
441: '⌈.5+(⌈√55⌉*55)⌉',
442: '(5+⌈5!/(.5*.55)⌉)',
443: '⌊55*√(5!-55)⌋',
444: '(⌈√55⌉*55.5)',
445: '⌈√55*(5+55)⌉',
446: '⌊55*√(5!*.55)⌋',
447: '⌊⌈√5⌉**5.555⌋',
448: '⌈⌈√5⌉**5.555⌉',
449: '⌈55*(5+√(5+5))⌉',
450: '(5!+(55*⌈5.5⌉))',
451: '⌊5!*(⌈5.55⌉-√5)⌋',
452: '⌊55*(√5+⌈5.5⌉)⌋',
453: '⌈55*(√5+⌈5.5⌉)⌉',
454: '(⌊(5+5!)/.55⌋/.5)',
455: '(⌊√55⌋*(5!-55))',
456: '⌊5.5*⌊√5**5.5⌋⌋',
457: '⌈5.5*⌊√5**5.5⌋⌉',
458: '(⌊5-.5⌋*(5!-5.5))',
459: '⌊555/(.5+√.5)⌋',
460: '⌈555/(.5+√.5)⌉',
461: '⌈55*√⌊√5.5**5⌋⌉',
462: '(5.5*⌈√5**5.5⌉)',
463: '⌈5*(5!-(.5*55))⌉',
464: '(⌈√55⌉*⌈√5+55⌉)',
465: '(5*(5!-⌊.5*55⌋))',
466: '⌊⌊√.5*5!⌋*5.55⌋',
467: '⌊55*(.5+⌈√55⌉)⌋',
468: '(5!*(5-(5.5/5)))',
469: '⌊55*(5+(√.5*5))⌋',
470: '(555-⌈√.5*5!⌉)',
471: '(555-⌊√.5*5!⌋)',
472: '⌈⌈√.5*5!⌉*5.55⌉',
473: '(5.5*⌈5**(5-√5)⌉)',
474: '(5!*(5-(.5+.55)))',
475: '((5!*⌊5-.55⌋)-5)',
476: '(55+⌈⌈√5⌉**5.5⌉)',
477: '⌊√.5*(5!+555)⌋',
478: '⌈√.5*(5!+555)⌉',
479: '((5*5!)-⌈5!+.55⌉)',
480: '(5!*⌊5-.555⌋)',
481: '((5*5!)-⌊5!-.55⌋)',
482: '⌊√55*(5!-55)⌋',
483: '⌈√55*(5!-55)⌉',
484: '⌈(√5*5!)/.555⌉',
485: '⌊√5*⌈5!/.555⌉⌋',
486: '⌈√5*⌈5!/.555⌉⌉',
487: '⌊5!/(.55**√5.5)⌋',
488: '⌊.55*⌊5!*√55⌋⌋',
489: '⌊.55*⌈5!*√55⌉⌋',
490: '⌈.55*⌈5!*√55⌉⌉',
491: '⌈5!*((5/.55)-5)⌉',
492: '(⌊5-.5⌋*⌈√5*55⌉)',
493: '⌈(⌊5/.55⌋**5)/5!⌉',
494: '(⌊55*(5-.5)⌋/.5)',
495: '(5*⌊55/.55⌋)',
496: '(⌊555/√5⌋/.5)',
497: '⌈555/(.5*√5)⌉',
498: '(⌈555/√5⌉/.5)',
499: '⌊5*(55/.55)⌋',
500: '(555-55)',
501: '(555-⌈5!/√5⌉)',
502: '(555-⌊5!/√5⌋)',
503: '⌊⌊5.5**5⌋/(5+5)⌋',
504: '⌈⌊5.5**5⌋/(5+5)⌉',
505: '(5!+(55*⌊√55⌋))',
506: '⌊(5-.5)*(5!-√55)⌋',
507: '(⌊5*(5!+5.5)⌋-5!)',
508: '(⌈5*(5!+5.5)⌉-5!)',
509: '⌊√.5*⌈5.555⌉!⌋',
510: '⌈√.5*⌈5.555⌉!⌉',
511: '⌈⌊5!*√5.5⌋/.55⌉',
512: '(5!+⌊√.5*555⌋)',
513: '(5!+⌈√.5*555⌉)',
514: '⌈√5.5*⌈5!/.55⌉⌉',
515: '(5!+(5!+(5*55)))',
516: '(5!+⌊.55*⌈5.5⌉!⌋)',
517: '(5!+⌈.55*⌈5.5⌉!⌉)',
518: '(555-⌈5**√5⌉)',
519: '(555-⌊5**√5⌋)',
520: '((5*(5!-5))-55)',
521: '⌈(5**5)/⌈5.55⌉⌉',
522: '⌊55*(5+(5-.5))⌋',
523: '⌈55*(5+(5-.5))⌉',
524: '(⌈5!*(5!/55)⌉/.5)',
525: '(5*((55/.5)-5))',
526: '(⌊5*(55-√5)⌋/.5)',
527: '(5!+⌊55*√55⌋)',
528: '(5!+⌈55*√55⌉)',
529: '((5!*(5-.55))-5)',
530: '(555-(5*5))',
531: '(555-(5!/5))',
532: '⌊5**(5-(5.5/5))⌋',
533: '⌊5!*(5-.555)⌋',
534: '⌈5!*(5-.555)⌉',
535: '(55+(5!*⌊5-.5⌋))',
536: '⌈(5-.5)*⌊5!-.55⌋⌉',
537: '⌊5.5*((.5*5)**5)⌋',
538: '⌈5.5*((.5*5)**5)⌉',
539: '(5+(5!*(5-.55)))',
540: '((5+5)*⌊55-.5⌋)',
541: '⌈.55+(5!*(5-.5))⌉',
542: '(⌊5*(5!-.5)⌋-55)',
543: '(555-⌈√5*5⌉)',
544: '(555-⌊√5*5⌋)',
545: '(555-(5+5))',
546: '((5!*5.55)-5!)',
547: '⌊555-√55⌋',
548: '⌈555-√55⌉',
549: '⌊555-5.5⌋',
550: '⌈555-5.5⌉',
551: '⌈555.5-5⌉',
552: '⌊555-√5.5⌋',
553: '⌊555.5-√5⌋',
554: '⌊555-.55⌋',
555: '⌊555.55⌋',
556: '⌈555.55⌉',
557: '⌊√5+555.5⌋',
558: '⌈√5+555.5⌉',
559: '(5+⌊555-.5⌋)',
560: '⌊5+555.5⌋',
561: '⌈5+555.5⌉',
562: '⌊√55+555⌋',
563: '⌈√55+555⌉',
564: '⌈(5**5)/5.55⌉',
565: '(5+(5+555))',
566: '(⌊√5*5⌋+555)',
567: '(⌈√5*5⌉+555)',
568: '(⌈5*(5!-5.5)⌉-5)',
569: '⌊(5*(5!-5))-5.5⌋',
570: '(5*⌊5!-5.55⌋)',
571: '⌊√55*⌊55/√.5⌋⌋',
572: '⌊5*(5!-5.55)⌋',
573: '⌈5*(5!-5.55)⌉',
574: '(5+⌈(5**5)/5.5⌉)',
575: '(5*⌈5!-5.55⌉)',
576: '⌈.55+(5*(5!-5))⌉',
577: '⌊55*(5+5.5)⌋',
578: '⌈55*(5+5.5)⌉',
579: '((5!/5)+555)',
580: '((5*5)+555)',
581: '⌈5.5+(5*(5!-5))⌉',
582: '⌈5!*(5.55-√.5)⌉',
583: '(55/(5/⌊5!/√5⌋))',
584: '⌈5*(5!-√(55/5))⌉',
585: '(5*(5!-⌈5*.55⌉))',
586: '⌊5*(5!-(5*.55))⌋',
587: '((⌊√5⌋**5)+555)',
588: '⌈5!*√⌊5-.555⌋!⌉',
589: '((5*5!)-(55/5))',
590: '⌈5!*(5-(5/55))⌉',
591: '(⌊5**√5⌋+555)',
592: '(⌈5**√5⌉+555)',
593: '⌈(5*5!)-√55.5⌉',
594: '⌊(5*5!)-5.55⌋',
595: '(5*⌊5!-.555⌋)',
596: '⌈√(5+5)**5.55⌉',
597: '⌊5*(5!-.555)⌋',
598: '⌈5*(5!-.555)⌉',
599: '⌊(5*5!)-.555⌋',
600: '(5*⌊5.555⌋!)',
601: '⌈(5*5!)+.555⌉',
602: '⌊5*(5!+.555)⌋',
603: '⌈5*(5!+.555)⌉',
604: '(⌊5.5*55⌋/.5)',
605: '(55*(55/5))',
606: '(⌈5.5*55⌉/.5)',
607: '⌊(5*5!)+√55.5⌋',
608: '(⌊5!/√5⌋+555)',
609: '(⌈5!/√5⌉+555)',
610: '(55+555)',
611: '(⌈√5**5⌉+555)',
612: '(5+⌊(5*5!)+√55⌋)',
613: '⌊5*(5!+(5*.55))⌋',
614: '(((5**5)-55)/5)',
615: '((.5*5!)+555)',
616: '(5.5*⌊5!-√55⌋)',
617: '⌊5*(.5+⌈√5*55⌉)⌋',
618: '⌈5*(.5+⌈√5*55⌉)⌉',
619: '⌊√5*⌊.5*555⌋⌋',
620: '(5*⌊√5*55.5⌋)',
621: '(.5*⌈√5*555⌉)',
622: '⌈√5*⌈.5*555⌉⌉',
623: '⌊5!*√⌊5*5.55⌋⌋',
624: '⌈5!*√⌊5*5.55⌋⌉',
625: '(5**⌊5-.555⌋)',
626: '(⌊5.5+(5**5)⌋/5)',
627: '⌊5*(5!+5.55)⌋',
628: '⌈5*(5!+5.55)⌉',
629: '⌊5.5*(5!-5.5)⌋',
630: '(5*⌈5!+5.55⌉)',
631: '⌈5.5+(5*(5+5!))⌉',
632: '⌊5.5*⌈5!-5.5⌉⌋',
633: '⌈5.5*⌈5!-5.5⌉⌉',
634: '⌊5!*√⌈5*5.55⌉⌋',
635: '(5*⌊5!+√55.5⌋)',
636: '(((5**5)+55)/5)',
637: '⌊5*(5!+√55.5)⌋',
638: '⌊(5!-5)*5.55⌋',
639: '⌈(5!-5)*5.55⌉',
640: '(5*⌊55*√5.5⌋)',
641: '⌈.5+(5*⌈5!+√55⌉)⌉',
642: '(5+⌊5*(5!+√55)⌋)',
643: '⌊5.5*⌊5!-√5.5⌋⌋',
644: '⌊5*(55*√5.5)⌋',
645: '(5*⌈55*√5.5⌉)',
646: '⌈5*(5!+(5/.55))⌉',
647: '⌊5.5*(5!-√5.5)⌋',
648: '(5!*(⌊.5*55⌋/5))',
649: '⌊⌊5!-√5⌋*5.55⌋',
650: '((5+5)*(5!-55))',
651: '(⌈√5⌉*⌈5!/.555⌉)',
652: '⌊(5!*5.5)-√55⌋',
653: '⌊(5!-√5)*5.55⌋',
654: '⌊5.5*⌊5!-.55⌋⌋',
655: '⌊(5*5!)+55.5⌋',
656: '⌈(5*5!)+55.5⌉',
657: '⌈5.5*(5!-.55)⌉',
658: '⌈5!*√⌊.55*55⌋⌉',
659: '⌊(5!*5.5)-.55⌋',
660: '(5.5*⌊5.55⌋!)',
661: '((5!*5.55)-5)',
662: '⌊(5!-√.5)*5.55⌋',
663: '⌊5.5*(5!+.55)⌋',
664: '⌊⌈5.5⌉!-55.5⌋',
665: '(⌈5.55⌉!-55)',
666: '⌊5!*5.555⌋',
667: '⌈5!*5.555⌉',
668: '⌊(.5+5!)*5.55⌋',
669: '⌈(.5+5!)*5.55⌉',
670: '(5!+(555-5))',
671: '(5+(5!*5.55))',
672: '(5!+⌊555-√5⌋)',
673: '(5!+⌈555-√5⌉)',
674: '(5!+⌊555-.5⌋)',
675: '⌊5!+555.5⌋',
676: '⌈5!+555.5⌉',
677: '(5!+⌊√5+555⌋)',
678: '(5!+⌈√5+555⌉)',
679: '⌈(5.5**5)/√55⌉',
680: '(5+(5!+555))',
681: '⌈5!*(5+(5/√55))⌉',
682: '⌊55*(5+√55)⌋',
683: '⌈55*(5+√55)⌉',
684: '(⌈5.5⌉*⌊5!-5.5⌋)',
685: '(5*⌊.5*(5*55)⌋)',
686: '⌊(√5-⌈.5⌉)*555⌋',
687: '⌊5.5*⌊5!+5.5⌋⌋',
688: '⌈5.5*⌊5!+5.5⌋⌉',
689: '(5!+⌈(5**5)/5.5⌉)',
690: '⌊5.5*(5!+5.5)⌋',
691: '⌈5.5*(5!+5.5)⌉',
692: '(5+⌊5.5*(5+5!)⌋)',
693: '⌊(5+5!)*5.55⌋',
694: '⌈(5+5!)*5.55⌉',
695: '(⌈5.55⌉!-(5*5))',
696: '(⌈5.55⌉!-(5!/5))',
697: '(⌈(.5*√55)**5⌉-5)',
698: '⌊5.5*⌊5!+√55⌋⌋',
699: '⌈5.5*⌊5!+√55⌋⌉',
700: '(5*(5*⌈.5*55⌉))',
701: '⌈5.5*(5!+√55)⌉',
702: '⌊(5**5)/(5-.55)⌋',
703: '⌈(5**5)/(5-.55)⌉',
704: '(5.5*⌈5!+√55⌉)',
705: '(5*(5!+⌊5!/5.5⌋))',
706: '⌊(5!-√5)*⌈5.55⌉⌋',
707: '(⌈5.5⌉!-⌈5+√55⌉)',
708: '(⌈5!-√5⌉*⌈5.55⌉)',
709: '(⌈5.5⌉!-(55/5))',
710: '(⌈5.55⌉!-(5+5))',
711: '(⌈5.5⌉!-⌊5/.55⌋)',
712: '⌊⌈5.55⌉!-√55⌋',
713: '⌈⌈5.55⌉!-√55⌉',
714: '⌊⌈5.55⌉!-5.5⌋',
715: '(⌈5.555⌉!-5)',
716: '(⌈5.5⌉!-⌊5-.55⌋)',
717: '⌊⌈5.555⌉!-√5⌋',
718: '⌈⌈5.555⌉!-√5⌉',
719: '⌊⌈5.555⌉!-.5⌋',
720: '⌈5.5555⌉!',
721: '⌈.5+⌈5.555⌉!⌉',
722: '⌊√5+⌈5.555⌉!⌋',
723: '⌈√5+⌈5.555⌉!⌉',
724: '(⌊5!/√.5⌋+555)',
725: '(5+⌈5.555⌉!)',
726: '⌈5.5+⌈5.55⌉!⌉',
727: '⌊√55+⌈5.55⌉!⌋',
728: '⌈√55+⌈5.55⌉!⌉',
729: '(⌈√5⌉**⌈5.555⌉)',
730: '(5+(5+⌈5.55⌉!))',
731: '(⌈5.5⌉!+(55/5))',
732: '(5!*(5+(5.5/5)))',
733: '(5+⌈⌈5.5⌉!+√55⌉)',
734: '(5!+⌊√5*(5*55)⌋)',
735: '(5*(5!+⌊.5*55⌋))',
736: '⌊√5.5**√(5+55)⌋',
737: '⌊5*(5!+(.5*55))⌋',
738: '(⌈5.5⌉*⌈√5*55⌉)',
739: '⌊5!*√⌈5*√55.5⌉⌋',
740: '(5*(5!+⌈.5*55⌉))',
741: '(⌈5.5⌉!+⌊5!/5.5⌋)',
742: '(⌈5.5⌉!+⌈5!/5.5⌉)',
743: '⌊⌊5!**√5⌋/(5+55)⌋',
744: '((5!/5)+⌈5.55⌉!)',
745: '((5*5)+⌈5.55⌉!)',
746: '(5!+((5+(5**5))/5))',
747: '(⌈5.5⌉!+⌊.5*55⌋)',
748: '(⌈5.5⌉!+⌈.5*55⌉)',
749: '⌈5!*(√5+⌊5-.55⌋)⌉',
750: '((5+5!)*⌈5.55⌉)',
751: '⌈5!*(√.5+5.55)⌉',
752: '(5!+⌊5.5*(5!-5)⌋)',
753: '(⌈5.5⌉*(5!+5.5))',
754: '(5!+⌊5!*√⌈.5*55⌉⌋)',
755: '((5*(5!+55))-5!)',
756: '(⌈5.5⌉*⌈5!+5.5⌉)',
757: '(⌈5.5⌉!+⌊5*√55⌋)',
758: '(⌈5.5⌉!+⌈5*√55⌉)',
759: '⌈5!*√⌊5.5*√55⌋⌉',
760: '(5*⌊55*(5-√5)⌋)',
761: '⌈5*(55*(5-√5))⌉',
762: '(⌈5.5⌉*⌊5!+√55⌋)',
763: '⌈5*(5!**(.5+.55))⌉',
764: '⌊⌈5.5⌉*(5!+√55)⌋',
765: '(5*⌈55*(5-√5)⌉)',
766: '⌈(⌈√5⌉**5.5)/.55⌉',
767: '⌈((5*5)-5.5)**√5⌉',
768: '⌊√⌈5.55⌉**√55⌋',
769: '⌊55**√(5*.55)⌋',
770: '(55*⌊√55/.5⌋)',
771: '⌈(5*5.55)**⌊√5⌋⌉',
772: '(55+⌊⌈5.5⌉!-√5⌋)',
773: '(⌊5!*√55.5⌋-5!)',
774: '(55+⌊⌈5.5⌉!-.5⌋)',
775: '(55+⌈5.55⌉!)',
776: '⌈⌈5.5⌉!+55.5⌉',
777: '⌊(555-5)/√.5⌋',
778: '⌈(555-5)/√.5⌉',
779: '(⌊555/√.5⌋-5)',
780: '(⌈555/√.5⌉-5)',
781: '⌊(5**5)/⌊5-.55⌋⌋',
782: '⌈(5**5)/⌊5-.55⌋⌉',
783: '⌊⌊555/√.5⌋-.5⌋',
784: '⌊√⌊.5*5⌋*555⌋',
785: '⌊555.5/√.5⌋',
786: '⌈555.5/√.5⌉',
787: '⌈⌈555.5⌉/√.5⌉',
788: '⌈(5-.5)*(5!+55)⌉',
789: '(5+⌊555/√.5⌋)',
790: '(5+⌈555/√.5⌉)',
791: '⌊(5+555)/√.5⌋',
792: '⌈(5+555)/√.5⌉',
793: '⌈⌈5.5⌉!*(5.5/5)⌉',
794: '(⌈.55*⌈5.5⌉!⌉/.5)',
795: '(5!+(5!+555))',
796: '⌈55**(5/⌈.5*5⌉)⌉',
797: '⌊5.5*(5!+(5*5))⌋',
798: '((⌈√5⌉**5)+555)',
799: '⌈5!*(5+√(5*.55))⌉',
800: '(5*((⌈√5⌉*55)-5))',
801: '⌊⌊√55⌋*(5!-5.5)⌋',
802: '⌈⌊√55⌋*(5!-5.5)⌉',
803: '⌊⌊5!**√5⌋/55.5⌋',
804: '⌈⌊5!**√5⌋/55.5⌉',
805: '((5!-5)*⌊√55.5⌋)',
806: '⌊(5-.5)**(5-.55)⌋',
807: '(5!+⌊5.5*(5+5!)⌋)',
808: '(5!+⌈5.5*(5+5!)⌉)',
809: '(⌊5!*√(5+55)⌋-5!)',
810: '(⌈√5⌉*((5*55)-5))',
811: '⌈(5+(5!**√5))/55⌉',
812: '⌈(5*⌊5-.55⌋)**√5⌉',
813: '(⌊5!*(√5+5)⌋-55)',
814: '(⌊55*√55⌋/.5)',
815: '⌊55/(.5/√55)⌋',
816: '(⌈55*√55⌉/.5)',
817: '⌊5**(5/(⌈5.5⌉/5))⌋',
818: '((5*5!)+⌊5!/.55⌋)',
819: '((5*5!)+⌈5!/.55⌉)',
820: '((⌈√5⌉*(5*55))-5)',
821: '⌊5!/(√.5**5.55)⌋',
822: '⌊5!*√⌊55-√55⌋⌋',
823: '(⌊√5*5!⌋+555)',
824: '(⌈√5*5!⌉+555)',
825: '(55*(5+(5+5)))',
826: '⌊(5*5!)**(.5+.55)⌋',
827: '⌊(5-.55)**(5-.5)⌋',
828: '⌈(5-.55)**(5-.5)⌉',
829: '⌈(√5+5)*(5!-5.5)⌉',
830: '(5*⌊⌈√5⌉*55.5⌋)',
831: '(⌈√5⌉*⌊.5*555⌋)',
832: '⌊(.5+⌈.5⌉)*555⌋',
833: '⌈(.5+⌈.5⌉)*555⌉',
834: '(⌊5!*√55⌋-55)',
835: '(⌈5!*√55⌉-55)',
836: '⌊⌊√55⌋*(5!-.55)⌋',
837: '⌈⌊√55⌋*(5!-.55)⌉',
838: '⌊(5.5**5)/⌈5.5⌉⌋',
839: '⌈(5.5**5)/⌈5.5⌉⌉',
840: '(5!+⌈5.555⌉!)',
841: '(5!+⌈.5+⌈5.55⌉!⌉)',
842: '(⌈5.5⌉!+⌊√5*55⌋)',
843: '(⌈5.5⌉!+⌈√5*55⌉)',
844: '⌊5!*√(55-5.5)⌋',
845: '⌊√55*⌊5!-5.5⌋⌋',
846: '⌈√55*⌊5!-5.5⌋⌉',
847: '(⌊√55⌋*⌈5!+.55⌉)',
848: '⌊5!*√⌊55.5-5⌋⌋',
849: '⌊√55*(5!-5.5)⌋',
850: '(5*(5!+(55-5)))',
851: '⌊⌊(5!-5)*√55⌋-.5⌋',
852: '⌊5!*√(55.5-5)⌋',
853: '⌈5!*√(55.5-5)⌉',
854: '(5+⌈5!*√(55-5)⌉)',
855: '(5*⌈5.55**⌈√5⌉⌉)',
856: '⌊(5!-5)*√55.5⌋',
857: '⌈(5!-5)*√55.5⌉',
858: '(5+⌈(5!-5)*√55⌉)',
859: '⌊55**(√5-.55)⌋',
860: '⌈55**(√5-.55)⌉',
861: '⌊5!*(5+(5!/55))⌋',
862: '⌈5!*(5+(5!/55))⌉',
863: '⌈5**(⌊5!/5.5⌋/5)⌉',
864: '(⌊.5*55⌋/(.5**5))',
865: '(5*⌊55*√(5+5)⌋)',
866: '⌈5!*√⌊55-√5.5⌋⌉',
867: '⌊√55*⌊5!-√5.5⌋⌋',
868: '⌈√55*⌊5!-√5.5⌋⌉',
869: '⌊5*(55*√(5+5))⌋',
870: '((555-5!)/.5)',
871: '⌊5!**√⌈5.55/5⌉⌋',
872: '⌊5*(5!+(55-.5))⌋',
873: '⌈5*(5!+(55-.5))⌉',
874: '⌊(5*(5!+55))-.5⌋',
875: '(5*⌊5!+55.5⌋)',
876: '⌈.5+(5*(5!+55))⌉',
877: '⌊5*(5!+55.5)⌋',
878: '⌈5*(5!+55.5)⌉',
879: '⌈√5*⌈√.5*555⌉⌉',
880: '(5*⌈5!+55.5⌉)',
881: '⌊5!*√⌊55-.55⌋⌋',
882: '⌊√55*⌊5!-.55⌋⌋',
883: '⌊⌊5!*√55⌋-5.5⌋',
884: '⌊⌈5!*√55⌉-5.5⌋',
885: '⌈⌈5!*√55⌉-5.5⌉',
886: '⌈√55*(5!-.55)⌉',
887: '⌈⌊5!-.5⌋*√55.5⌉',
888: '(⌊5!*√55.5⌋-5)',
889: '⌊5!*(55/√55)⌋',
890: '⌈5!*(55/√55)⌉',
891: '⌈.55+(5!*√55)⌉',
892: '⌊⌊5!*√55.5⌋-.5⌋',
893: '⌊⌊5.5⌋!*√55.5⌋',
894: '⌊5.5+⌊5!*√55⌋⌋',
895: '⌈5.5+⌊5!*√55⌋⌉',
896: '⌈5.5+⌈5!*√55⌉⌉',
897: '⌊5!*√⌈55.55⌉⌋',
898: '⌈5!*√⌈55.55⌉⌉',
899: '(5+⌈5!*√55.5⌉)',
900: '(5*(5+(5!+55)))',
901: '⌊⌈.5+5!⌉*√55.5⌋',
902: '⌊(5-(5.5/5))**5⌋',
903: '⌈(5-(5.5/5))**5⌉',
904: '(5!+⌊555/√.5⌋)',
905: '(5!+⌈555/√.5⌉)',
906: '(⌈√5⌉*⌊5.5*55⌋)',
907: '⌊⌈√5⌉*(5.5*55)⌋',
908: '⌈⌈√5⌉*(5.5*55)⌉',
909: '(⌈√5⌉*⌈5.5*55⌉)',
910: '⌊√5*⌊55*√55⌋⌋',
911: '⌈√5*⌊55*√55⌋⌉',
912: '⌊√5*⌈55*√55⌉⌋',
913: '⌈√5*⌈55*√55⌉⌉',
914: '⌊⌊5.5**5⌋/5.5⌋',
915: '⌊5.5**⌊5-.55⌋⌋',
916: '⌈5.5**⌊5-.55⌋⌉',
917: '⌈⌈√5+5!⌉*√55.5⌉',
918: '⌊5.5*⌈5.5**⌈√5⌉⌉⌋',
919: '⌈5.5*⌈5.5**⌈√5⌉⌉⌉',
920: '(5+⌊5.5**⌊5-.5⌋⌋)',
921: '⌊(.5*5)**√55.5⌋',
922: '⌈(.5*5)**√55.5⌉',
923: '(55+⌊5!*(√5+5)⌋)',
924: '(55+⌈5!*(√5+5)⌉)',
925: '(5*(555/⌈√5⌉))',
926: '⌊⌊(5+5!)*√55⌋-.5⌋',
927: '⌊√55*⌊5!+5.5⌋⌋',
928: '⌈√55*⌊5!+5.5⌋⌉',
929: '⌊5!*√⌊5+55.5⌋⌋',
930: '⌈5!*√⌊5+55.5⌋⌉',
931: '⌊(5+5!)*√55.5⌋',
932: '⌈(5+5!)*√55.5⌉',
933: '⌊5!*√(5+55.5)⌋',
934: '⌈5!*√(5+55.5)⌉',
935: '(55*⌈5!/√55⌉)',
936: '⌈(5+5!)*√⌈55.5⌉⌉',
937: '⌊5!*√⌈5+55.5⌉⌋',
938: '⌈5!*√⌈5+55.5⌉⌉',
939: '⌊5.5/(.5**√55)⌋',
940: '⌈5.5/(.5**√55)⌉',
941: '⌊√55*⌊5!+√55⌋⌋',
942: '⌊⌊5**5.5⌋/√55⌋',
943: '⌈⌊5**5.5⌋/√55⌉',
944: '(55+⌊5!*√55⌋)',
945: '(55+⌈5!*√55⌉)',
946: '(5.5*⌊(5+5)**√5⌋)',
947: '⌊(√.5+⌈.5⌉)*555⌋',
948: '⌊5.55**⌊5-.5⌋⌋',
949: '⌈5.55**⌊5-.5⌋⌉',
950: '(5*(5*⌈5*√55⌉))',
951: '⌊5.5*⌈(5+5)**√5⌉⌋',
952: '⌊5!*√⌈55+√55⌉⌋',
953: '⌈5!*√⌈55+√55⌉⌉',
954: '⌊(5!+555)/√.5⌋',
955: '⌊5!*(.55+√55)⌋',
956: '⌈5!*(.55+√55)⌉',
957: '⌊5!*(.5+√⌈55.5⌉)⌋',
958: '⌈5!*(.5+√⌈55.5⌉)⌉',
959: '⌊(5!*⌈√55⌉)-.55⌋',
960: '(5!*⌈55/√55⌉)',
961: '⌊√⌈.5*5⌉*555⌋',
962: '⌊5.5*(5!+55)⌋',
963: '⌈5.5*(5!+55)⌉',
964: '⌈(√5-.5)*555⌉',
965: '⌊(5!/5.55)**√5⌋',
966: '⌈(5!/5.55)**√5⌉',
967: '⌊5!*√⌈5!-55.5⌉⌋',
968: '⌈5!*√⌈5!-55.5⌉⌉',
969: '((⌊5-.5⌋**5)-55)',
970: '(5*⌈5!**(5.5/5)⌉)',
971: '(⌈5*(5!/.55)⌉-5!)',
972: '⌊√5*(555-5!)⌋',
973: '⌈√5*(555-5!)⌉',
974: '⌊5!*√⌊5!*.555⌋⌋',
975: '⌈5!*√⌊5!*.555⌋⌉',
976: '(⌈√55⌉*⌊√5*55⌋)',
977: '⌈(5+5)*((.5*5)**5)⌉',
978: '⌊5!*(√.5+√55.5)⌋',
979: '⌊5!*(5+√⌊5+5.5⌋)⌋',
980: '⌈5!*(5+√⌊5+5.5⌋)⌉',
981: '((5-.5)*⌊5!/.55⌋)',
982: '⌊5!*√⌈5!*.555⌉⌋',
983: '⌈5!*√⌈5!*.555⌉⌉',
984: '(⌈√55⌉*⌈√5*55⌉)',
985: '⌊(5-.5)*⌈5!/.55⌉⌋',
986: '⌈(5-.5)*⌈5!/.55⌉⌉',
987: '⌊√⌈√5*5⌉**5.55⌋',
988: '⌊5!*(√5+⌈5.55⌉)⌋',
989: '⌈5!*(√5+⌈5.55⌉)⌉',
990: '((555/.5)-5!)',
991: '⌊5!*(5-(√5-5.5))⌋',
992: '⌈5!*(5-(√5-5.5))⌉',
993: '⌈√5*⌊⌈√5⌉**5.55⌋⌉',
994: '⌊5!*(5*√(5*.55))⌋',
995: '(⌈5.5⌉!+(5*55))',
996: '⌊⌈5**(5-√.5)⌉-5.5⌋',
997: '⌊5!*(5+√(55/5))⌋',
998: '⌊⌊5**5.5⌋/⌊√55⌋⌋',
999: '⌈⌊5**5.5⌋/⌊√55⌋⌉',
...}