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

رقم:

مقدم:

كابتشا:

  ______    _____    __   __   __   __  __    __  
 /_   _//  |  ___||  \ \\/ //  \ \\/ // \ \\ / // 
   | ||    | ||__     \   //    \ ` //   \ \/ //  
  _| ||    | ||__     / . \\     | ||     \  //   
 /__//     |_____||  /_//\_\\    |_||      \//    
 `--`      `-----`   `-`  --`    `-`'       `

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

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