[Strings] (0,"STR",257,"",0,"Dummy",0,"String Table",0,"")="%d x %d" [Checksum] (0,"STR",257,"",0,"Dummy",0,"String Table",0,"")=459 [Constraints] (0,"STR",257,"",0,"Dummy",0,"String Table",0,"")={Locked}