(Q108319332)
Statements
[$([#6]);!$([#6](~[#6])~C)]~[$([#6]);!$([#6](~[#6])(~[#6])~C)]~[$([#6]);!$([#6](~[#6])(~[#6])~C)]~[$([#6]);!$([#6](~[#6])(~[#6])~C)]~[$(C);!$(C(~C)(~C)(~C)~C)]1C([$(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)])~1
0 references