hello

my line is :

G: { read the rules { **** 5555 { B9FF4E12 { A5 A5 }}}}

local canalsat