(Q108688304)
Statements
[$(C);!$(C(~C)~C)]~[$(C);!$(C(~C)(~C)(~C)~C)](~[$(C);!$(C(~C)~C)])~[$(C);!$(C(~C)(~C)(~C)~C)](~[$(C);!$(C(~C)~C)])~[$(C);!$(C(~C)(~C)~C)]~[$(C);!$(C(~C)(~C)~C)]~[$(C);!$(C(~C)(~C)(~C)~C)](~[$(C);!$(C(~C)~C)])~[$(C);!$(C(~C)(~C)(~C)~C)]1C2([$(C);!$(C(~C)~C)])[$(C);!$(C(~C)(~C)~C)]~[$(C);!$(C(~C)(~[#6])~C)]~[$([#6]);!$([#6](~[#6])(~[#6])(~C)~C)]3~[$([#6]);!$([#6](~[#6])(~[#6])(~[#6])~C)]4~[$([#6]);!$([#6](~[#6])(~[#6])~C)]~[$([#6]);!$([#6](~[#6])(~[#6])~C)]~[$([#6]);!$([#6](~[#6])(~[#6])~C)]~[$([#6]);!$([#6](~[#6])(~[#6])~C)]~[$([#6]);!$([#6](~[#6])(~[#6])(~[#6])~C)]~4~[$([#6]);!$([#6](~[#6])(~[#6])~C)]~[$([#6]);!$([#6](~[#6])(~[#6])~C)]~[$([#6]);!$([#6](~[#6])(~[#6])(~C)~C)]~3~[$(C);!$(C(~C)(~C)(~[#6])~C)]2~[$(C);!$(C(~C)(~C)~C)]~[$(C);!$(C(~C)(~C)~C)]~1
0 references