أرسل هذا في رسالة قصيرة

رقم:

مقدم:

كابتشا:

 _    _    _    _     ______    ______    ______  
| || | || | || | ||  /_   _//  /_   _//  /_   _// 
| || | || | || | ||    | ||     -| ||-   `-| |,-  
| \\_/ || | \\_/ ||   _| ||     _| ||_     | ||   
 \____//   \____//   /__//     /_____//    |_||   
  `---`     `---`    `--`      `-----`     `-`'

يرجى إدخال ما تراه::

أرسل هذا في رسالة قصيرة: TRACER: A symbolic execution tool for verification