Very familiar with the known proof. They've developed the program¼Æ"®·¢Õ¹ ÉõÖÁÒÑ¾­ÈÃËûÃÇ¸Ðµ½º¦ÅÂ to a degree that even they are scared of it.
Programmi on arendatud tasemeni, mis hirmutab isegi neid endid.