(Q108285784)
Statements
[$(C);!$(C(~C)~C)]~[$(C);!$(C(~C)(~C)(~C)~C)](~[$(C);!$(C(~C)~C)])~[$(C);!$(C(~C)(~C)(~C)~C)]1~[$(C);!$(C(~C)(~C)~C)]~[$(C);!$(C(~C)(~C)~C)]~[$(C);!$(C(~C)(~C)(~C)~C)](~[$(C);!$(C(~C)~C)])C23[$(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)]2[$(C);!$(C(~C)(~C)(~C)~C)]31
0 references
[$(C);!$(C(~C)~C)]~[$(C);!$(C(~C)(~C)(~C)~C)](~[$(C);!$(C(~C)~C)])~[$(C);!$(C(~C)(~C)(~C)~C)]1[$(C);!$(C(~C)(~C)(~C)~C)]3[$(C);!$(C(~C)(~C)~C)]C([$(C);!$(C(~C)~C)])3[$(C);!$(C(~C)(~C)(~C)~C)]2~[$(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)]2~[$(C);!$(C(~C)(~C)~C)]~1
0 references
[$(C);!$(C(~C)~C)]C([$(C);!$(C(~C)~C)])([$(C);!$(C(~C)(~C)(~C)~C)]1~[$(C);!$(C(~C)(~C)~C)]~[$(C);!$(C(~C)(~C)~C)]~[$(C);!$(C(~C)(~C)(~C)~C)](~[$(C);!$(C(~C)~C)])C23[$(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)]2~[$(C);!$(C(~C)(~C)~C)]1)3
0 references
[$(C);!$(C(~C)~C)]C([$(C);!$(C(~C)~C)])([$(C);!$(C(~C)(~C)(~C)~C)]1~[$(C);!$(C(~C)(~C)~C)]~[$(C);!$(C(~C)(~C)~C)]~C3([$(C);!$(C(~C)~C)])[$(C);!$(C(~C)(~C)(~C)~C)]2~[$(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)]2~[$(C);!$(C(~C)(~C)~C)]1)3
0 references
[$(C);!$(C(~C)~C)]C([$(C);!$(C(~C)~C)])([$(C);!$(C(~C)(~C)(~C)~C)]1~[$(C);!$(C(~C)(~C)~C)]~[$(C);!$(C(~C)(~C)~C)]C([$(C);!$(C(~C)~C)])4C23[$(C);!$(C(~C)(~C)~C)]~[$(C);!$(C(~C)(~C)~C)]~[$(C);!$(C(~C)(~C)(~C)~C)](~[$(C);!$(C(~C)~C)])C42[$(C);!$(C(~C)(~C)~C)]1)3
0 references