(Q108381958)
Statements
[$([#6]);!$([#6](~[#6])~C)]~[$([#6]);!$([#6](~[#6])(~[#6])~C)]~[$([#6]);!$([#6](~[#6])(~[#6])(~[#6])~C)](~[$(C);!$(C(~C)~C)])~[$([#6]);!$([#6](~[#6])(~[#6])~C)]~[$([#6]);!$([#6](~[#6])(~[#6])~C)]~[#6]1([$(C);!$(C(~C)~C)])[$([#6]);!$([#6](~[#6])(~[#6])(~[#6])~C)]2~[$([#6]);!$([#6](~[#6])(~[#6])~C)]~[$([#6]);!$([#6](~[#6])(~[#6])~C)]~[$([#6]);!$([#6](~[#6])(~[#6])~C)]~[$([#6]);!$([#6](~[#6])(~[#6])(~[#6])~C)](~[$([#6]);!$([#6](~[#6])~C)])[#6]2([$(C);!$(C(~C)~C)])[$([#6]);!$([#6](~[#6])(~[#6])~C)]~[$([#6]);!$([#6](~[#6])(~[#6])~C)]~[$([#6]);!$([#6](~[#6])(~[#6])(~[#6])~C)](~[$(C);!$(C(~C)~C)])~1
0 references