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