[Strings] (1,"",0,"A",4,"",0,"Strings",0,"")="A" (1,"",0,"B",4,"",0,"Strings",0,"")="B" [Checksum] (1,"",0,"A",4,"",0,"Strings",0,"")=66 (1,"",0,"B",4,"",0,"Strings",0,"")=67 [Constraints] (1,"",0,"A",4,"",0,"Strings",0,"")={Locked} (1,"",0,"B",4,"",0,"Strings",0,"")={Locked}