"Source: Text/Code/CodeFld.text";
"Line: 3675";
"Date: Tue May 30 11:26:03 2023";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Code/CodeFld.text, line: 3675
// Example: H161E33 ()
print "Example: H161E33";
ei := GetEchoInput();
SetEchoInput(true);
C1 := ShortenCode( QRCode(GF(4),29) , {24..29} );
C1:Minimal;
C2 := ConcatenatedCode( C1 , CordaroWagnerCode(3) );
C2:Minimal;
res := C2 + RepetitionCode(GF(2),69);
res:Minimal;
MinimumWeight(res);
assert $1 eq 22;
res:Minimal;
SetEchoInput(ei);
