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

رقم:

مقدم:

كابتشا:

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

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

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