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