"Source: Text/Code/CodeFld.text";
"Line: 3675";
"Date: Thu Sep 25 14:47:47 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Code/CodeFld.text, line: 3675
// Example: H165E33 ()
print "Example: H165E33";
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);
