int validation(char *EGN) {
  int counter = 0, cont = 0, chisla[12];
  int weights[9] = {2, 4, 8, 5, 10, 9, 7, 3, 6};
  for (counter = 0; counter < 10; counter++) {
    if (EGN[counter] < '0' || EGN[counter] > '9') {
      return 0;
    }
  }
  if (EGN[4] == 3 && EGN[5] > '1') {
    return 0;
  }
  if (EGN[4] > '3' || counter == 0 || EGN[2] >= '6') {
    return 0;
  }
  if (EGN[2] == '1' || EGN[2] == '3' || EGN[2] == '5')
    if (EGN[3] > '2') {
      return 0;
    }
  counter = 0;
  while (counter < 10) {
    chisla[counter] = EGN[counter] - 48;
    if (counter < 10) {
      cont = cont + (weights[counter] * chisla[counter]);
    }
    counter++;
  }
  cont = cont % 11;
  if (cont < 10)
    if (chisla[9] != cont) {
      return 0;
    }
  if (cont == 10)
    if (chisla[9] != 0) {
      return 0;
    }
  return 1;
}


x86 assembly (clang, -O0):
<validation>:
push   %rbp
mov    %rsp,%rbp
sub    $0x80,%rsp
mov    %rdi,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
lea    -0x80(%rbp),%rdi
lea    0xec8(%rip),%rsi
mov    $0x24,%edx
call   1030 <memcpy@plt>
movl   $0x0,-0x14(%rbp)
cmpl   $0xa,-0x14(%rbp)
jge    119c <validation+0x8c>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x30,%eax
jl     117d <validation+0x6d>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x39,%eax
jle    1189 <validation+0x79>
movl   $0x0,-0x4(%rbp)
jmp    1311 <validation+0x201>
jmp    118e <validation+0x7e>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1149 <validation+0x39>
mov    -0x10(%rbp),%rax
movsbl 0x4(%rax),%eax
cmp    $0x3,%eax
jne    11ca <validation+0xba>
mov    -0x10(%rbp),%rax
movsbl 0x5(%rax),%eax
cmp    $0x31,%eax
jle    11ca <validation+0xba>
movl   $0x0,-0x4(%rbp)
jmp    1311 <validation+0x201>
mov    -0x10(%rbp),%rax
movsbl 0x4(%rax),%eax
cmp    $0x33,%eax
jg     11f6 <validation+0xe6>
cmpl   $0x0,-0x14(%rbp)
je     11f6 <validation+0xe6>
mov    -0x10(%rbp),%rax
movsbl 0x2(%rax),%eax
cmp    $0x36,%eax
jl     1202 <validation+0xf2>
movl   $0x0,-0x4(%rbp)
jmp    1311 <validation+0x201>
mov    -0x10(%rbp),%rax
movsbl 0x2(%rax),%eax
cmp    $0x31,%eax
je     1235 <validation+0x125>
mov    -0x10(%rbp),%rax
movsbl 0x2(%rax),%eax
cmp    $0x33,%eax
je     1235 <validation+0x125>
mov    -0x10(%rbp),%rax
movsbl 0x2(%rax),%eax
cmp    $0x35,%eax
jne    1257 <validation+0x147>
mov    -0x10(%rbp),%rax
movsbl 0x3(%rax),%eax
cmp    $0x32,%eax
jle    1252 <validation+0x142>
movl   $0x0,-0x4(%rbp)
jmp    1311 <validation+0x201>
jmp    1257 <validation+0x147>
movl   $0x0,-0x14(%rbp)
cmpl   $0xa,-0x14(%rbp)
jge    12b0 <validation+0x1a0>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%ecx
sub    $0x30,%ecx
movslq -0x14(%rbp),%rax
mov    %ecx,-0x50(%rbp,%rax,4)
cmpl   $0xa,-0x14(%rbp)
jge    12a2 <validation+0x192>
mov    -0x18(%rbp),%eax
movslq -0x14(%rbp),%rcx
mov    -0x80(%rbp,%rcx,4),%ecx
movslq -0x14(%rbp),%rdx
imul   -0x50(%rbp,%rdx,4),%ecx
add    %ecx,%eax
mov    %eax,-0x18(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    125e <validation+0x14e>
mov    -0x18(%rbp),%eax
mov    $0xb,%ecx
cltd
idiv   %ecx
mov    %edx,-0x18(%rbp)
cmpl   $0xa,-0x18(%rbp)
jge    12e5 <validation+0x1d5>
mov    -0x2c(%rbp),%eax
cmp    -0x18(%rbp),%eax
je     12e0 <validation+0x1d0>
movl   $0x0,-0x4(%rbp)
jmp    1311 <validation+0x201>
jmp    12e5 <validation+0x1d5>
cmpl   $0xa,-0x18(%rbp)
jne    130a <validation+0x1fa>
cmpl   $0x0,-0x2c(%rbp)
je     1305 <validation+0x1f5>
movl   $0x0,-0x4(%rbp)
jmp    1311 <validation+0x201>
jmp    130a <validation+0x1fa>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x80,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<validation>:
push   %rbp
push   %r15
push   %r14
push   %rbx
movzbl (%rdi),%ecx
lea    -0x3a(%rcx),%edx
xor    %eax,%eax
cmp    $0xf6,%dl
jb     1180 <validation+0x80>
movzbl 0x1(%rdi),%edx
lea    -0x3a(%rdx),%esi
cmp    $0xf6,%sil
jb     1180 <validation+0x80>
movzbl 0x2(%rdi),%esi
lea    -0x3a(%rsi),%ebx
cmp    $0xf6,%bl
jb     1180 <validation+0x80>
movzbl 0x3(%rdi),%r10d
lea    -0x3a(%r10),%ebx
cmp    $0xf6,%bl
jb     1180 <validation+0x80>
movzbl 0x4(%rdi),%r8d
lea    -0x3a(%r8),%ebx
cmp    $0xf6,%bl
jb     1180 <validation+0x80>
movzbl 0x5(%rdi),%r9d
lea    -0x3a(%r9),%ebx
cmp    $0xf6,%bl
jb     1180 <validation+0x80>
movzbl 0x6(%rdi),%r11d
lea    -0x3a(%r11),%ebx
cmp    $0xf6,%bl
jb     1180 <validation+0x80>
movzbl 0x7(%rdi),%ebx
lea    -0x3a(%rbx),%ebp
cmp    $0xf6,%bpl
jb     1180 <validation+0x80>
movzbl 0x8(%rdi),%r14d
lea    -0x3a(%r14),%ebp
cmp    $0xf6,%bpl
jae    1187 <validation+0x87>
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret
movzbl 0x9(%rdi),%r15d
lea    -0x3a(%r15),%edi
cmp    $0xf6,%dil
jb     1180 <validation+0x80>
cmp    $0x33,%r8b
ja     1180 <validation+0x80>
cmp    $0x35,%sil
ja     1180 <validation+0x80>
movzwl %si,%edi
cmp    $0x35,%sil
ja     11c1 <validation+0xc1>
movabs $0x2a000000000000,%rsi
bt     %rdi,%rsi
jae    11c1 <validation+0xc1>
cmp    $0x32,%r10b
ja     1180 <validation+0x80>
movzwl %cx,%ecx
add    %ecx,%ecx
movzwl %dx,%edx
lea    (%rcx,%rdx,4),%ecx
lea    (%rcx,%rdi,8),%ecx
movzwl %r10w,%edx
lea    (%rdx,%rdx,4),%edx
add    %ecx,%edx
movzwl %r8w,%ecx
lea    (%rcx,%rcx,4),%ecx
lea    (%rdx,%rcx,2),%ecx
movzwl %r9w,%edx
lea    (%rdx,%rdx,8),%edx
add    %ecx,%edx
movzwl %r11w,%ecx
lea    0x0(,%rcx,8),%esi
sub    %ecx,%esi
add    %edx,%esi
movzwl %bx,%ecx
lea    (%rcx,%rcx,2),%ecx
add    %esi,%ecx
movzwl %r14w,%edx
lea    (%rdx,%rdx,2),%edx
lea    (%rcx,%rdx,2),%ecx
add    $0xfffff5e0,%ecx
add    $0xffffffd0,%r15d
movzwl %cx,%edx
imul   $0xba2f,%edx,%edx
shr    $0x13,%edx
lea    (%rdx,%rdx,4),%esi
lea    (%rdx,%rsi,2),%edx
sub    %edx,%ecx
cmp    $0x9,%cx
ja     123c <validation+0x13c>
movzwl %cx,%edx
cmp    %edx,%r15d
jne    1180 <validation+0x80>
cmp    $0xa,%cx
setne  %al
test   %r15d,%r15d
sete   %cl
or     %al,%cl
movzbl %cl,%eax
jmp    1180 <validation+0x80>

LLVM IR (-O0):
@__const.validation.weights = [9 x i32] [i32 2, i32 4, i32 8, i32 5, i32 10, i32 9, i32 7, i32 3, i32 6]
define i32 @validation(i8* %0) {
%2 = alloca i32
%3 = alloca i8*
%4 = alloca i32
%5 = alloca i32
%6 = alloca [12 x i32]
%7 = alloca [9 x i32]
store i8* %0, i8** %3
store i32 0, i32* %4
store i32 0, i32* %5
%8 = bitcast [9 x i32]* %7 to i8*
store i32 0, i32* %4
br label %9
9: ; preds = %30, %1
%10 = load i32, i32* %4
%11 = icmp slt i32 %10, 10
br i1 %11, label %12, label %33
12: ; preds = %9
%13 = load i8*, i8** %3
%14 = load i32, i32* %4
%15 = sext i32 %14 to i64
%16 = getelementptr inbounds i8, i8* %13, i64 %15
%17 = load i8, i8* %16
%18 = sext i8 %17 to i32
%19 = icmp slt i32 %18, 48
br i1 %19, label %28, label %20
20: ; preds = %12
%21 = load i8*, i8** %3
%22 = load i32, i32* %4
%23 = sext i32 %22 to i64
%24 = getelementptr inbounds i8, i8* %21, i64 %23
%25 = load i8, i8* %24
%26 = sext i8 %25 to i32
%27 = icmp sgt i32 %26, 57
br i1 %27, label %28, label %29
28: ; preds = %20, %12
store i32 0, i32* %2
br label %142
29: ; preds = %20
br label %30
30: ; preds = %29
%31 = load i32, i32* %4
%32 = add nsw i32 %31, 1
store i32 %32, i32* %4
br label %9
33: ; preds = %9
%34 = load i8*, i8** %3
%35 = getelementptr inbounds i8, i8* %34, i64 4
%36 = load i8, i8* %35
%37 = sext i8 %36 to i32
%38 = icmp eq i32 %37, 3
br i1 %38, label %39, label %46
39: ; preds = %33
%40 = load i8*, i8** %3
%41 = getelementptr inbounds i8, i8* %40, i64 5
%42 = load i8, i8* %41
%43 = sext i8 %42 to i32
%44 = icmp sgt i32 %43, 49
br i1 %44, label %45, label %46
45: ; preds = %39
store i32 0, i32* %2
br label %142
46: ; preds = %39, %33
%47 = load i8*, i8** %3
%48 = getelementptr inbounds i8, i8* %47, i64 4
%49 = load i8, i8* %48
%50 = sext i8 %49 to i32
%51 = icmp sgt i32 %50, 51
br i1 %51, label %61, label %52
52: ; preds = %46
%53 = load i32, i32* %4
%54 = icmp eq i32 %53, 0
br i1 %54, label %61, label %55
55: ; preds = %52
%56 = load i8*, i8** %3
%57 = getelementptr inbounds i8, i8* %56, i64 2
%58 = load i8, i8* %57
%59 = sext i8 %58 to i32
%60 = icmp sge i32 %59, 54
br i1 %60, label %61, label %62
61: ; preds = %55, %52, %46
store i32 0, i32* %2
br label %142
62: ; preds = %55
%63 = load i8*, i8** %3
%64 = getelementptr inbounds i8, i8* %63, i64 2
%65 = load i8, i8* %64
%66 = sext i8 %65 to i32
%67 = icmp eq i32 %66, 49
br i1 %67, label %80, label %68
68: ; preds = %62
%69 = load i8*, i8** %3
%70 = getelementptr inbounds i8, i8* %69, i64 2
%71 = load i8, i8* %70
%72 = sext i8 %71 to i32
%73 = icmp eq i32 %72, 51
br i1 %73, label %80, label %74
74: ; preds = %68
%75 = load i8*, i8** %3
%76 = getelementptr inbounds i8, i8* %75, i64 2
%77 = load i8, i8* %76
%78 = sext i8 %77 to i32
%79 = icmp eq i32 %78, 53
br i1 %79, label %80, label %88
80: ; preds = %74, %68, %62
%81 = load i8*, i8** %3
%82 = getelementptr inbounds i8, i8* %81, i64 3
%83 = load i8, i8* %82
%84 = sext i8 %83 to i32
%85 = icmp sgt i32 %84, 50
br i1 %85, label %86, label %87
86: ; preds = %80
store i32 0, i32* %2
br label %142
87: ; preds = %80
br label %88
88: ; preds = %87, %74
store i32 0, i32* %4
br label %89
89: ; preds = %117, %88
%90 = load i32, i32* %4
%91 = icmp slt i32 %90, 10
br i1 %91, label %92, label %120
92: ; preds = %89
%93 = load i8*, i8** %3
%94 = load i32, i32* %4
%95 = sext i32 %94 to i64
%96 = getelementptr inbounds i8, i8* %93, i64 %95
%97 = load i8, i8* %96
%98 = sext i8 %97 to i32
%99 = sub nsw i32 %98, 48
%100 = load i32, i32* %4
%101 = sext i32 %100 to i64
%102 = getelementptr inbounds [12 x i32], [12 x i32]* %6, i64 0, i64 %101
store i32 %99, i32* %102
%103 = load i32, i32* %4
%104 = icmp slt i32 %103, 10
br i1 %104, label %105, label %117
105: ; preds = %92
%106 = load i32, i32* %5
%107 = load i32, i32* %4
%108 = sext i32 %107 to i64
%109 = getelementptr inbounds [9 x i32], [9 x i32]* %7, i64 0, i64 %108
%110 = load i32, i32* %109
%111 = load i32, i32* %4
%112 = sext i32 %111 to i64
%113 = getelementptr inbounds [12 x i32], [12 x i32]* %6, i64 0, i64 %112
%114 = load i32, i32* %113
%115 = mul nsw i32 %110, %114
%116 = add nsw i32 %106, %115
store i32 %116, i32* %5
br label %117
117: ; preds = %105, %92
%118 = load i32, i32* %4
%119 = add nsw i32 %118, 1
store i32 %119, i32* %4
br label %89
120: ; preds = %89
%121 = load i32, i32* %5
%122 = srem i32 %121, 11
store i32 %122, i32* %5
%123 = load i32, i32* %5
%124 = icmp slt i32 %123, 10
br i1 %124, label %125, label %132
125: ; preds = %120
%126 = getelementptr inbounds [12 x i32], [12 x i32]* %6, i64 0, i64 9
%127 = load i32, i32* %126
%128 = load i32, i32* %5
%129 = icmp ne i32 %127, %128
br i1 %129, label %130, label %131
130: ; preds = %125
store i32 0, i32* %2
br label %142
131: ; preds = %125
br label %132
132: ; preds = %131, %120
%133 = load i32, i32* %5
%134 = icmp eq i32 %133, 10
br i1 %134, label %135, label %141
135: ; preds = %132
%136 = getelementptr inbounds [12 x i32], [12 x i32]* %6, i64 0, i64 9
%137 = load i32, i32* %136
%138 = icmp ne i32 %137, 0
br i1 %138, label %139, label %140
139: ; preds = %135
store i32 0, i32* %2
br label %142
140: ; preds = %135
br label %141
141: ; preds = %140, %132
store i32 1, i32* %2
br label %142
142: ; preds = %141, %139, %130, %86, %61, %45, %28
%143 = load i32, i32* %2
ret i32 %143
}

LLVM IR (-O2):
define i32 @validation(i8* nocapture %0) {
%2 = load i8, i8* %0
%3 = add i8 %2, -58
%4 = icmp ult i8 %3, -10
br i1 %4, label %97, label %5
5: ; preds = %1
%6 = getelementptr inbounds i8, i8* %0, i64 1
%7 = load i8, i8* %6
%8 = add i8 %7, -58
%9 = icmp ult i8 %8, -10
br i1 %9, label %97, label %10
10: ; preds = %5
%11 = getelementptr inbounds i8, i8* %0, i64 2
%12 = load i8, i8* %11
%13 = add i8 %12, -58
%14 = icmp ult i8 %13, -10
br i1 %14, label %97, label %15
15: ; preds = %10
%16 = getelementptr inbounds i8, i8* %0, i64 3
%17 = load i8, i8* %16
%18 = add i8 %17, -58
%19 = icmp ult i8 %18, -10
br i1 %19, label %97, label %20
20: ; preds = %15
%21 = getelementptr inbounds i8, i8* %0, i64 4
%22 = load i8, i8* %21
%23 = add i8 %22, -58
%24 = icmp ult i8 %23, -10
br i1 %24, label %97, label %25
25: ; preds = %20
%26 = getelementptr inbounds i8, i8* %0, i64 5
%27 = load i8, i8* %26
%28 = add i8 %27, -58
%29 = icmp ult i8 %28, -10
br i1 %29, label %97, label %30
30: ; preds = %25
%31 = getelementptr inbounds i8, i8* %0, i64 6
%32 = load i8, i8* %31
%33 = add i8 %32, -58
%34 = icmp ult i8 %33, -10
br i1 %34, label %97, label %35
35: ; preds = %30
%36 = getelementptr inbounds i8, i8* %0, i64 7
%37 = load i8, i8* %36
%38 = add i8 %37, -58
%39 = icmp ult i8 %38, -10
br i1 %39, label %97, label %40
40: ; preds = %35
%41 = getelementptr inbounds i8, i8* %0, i64 8
%42 = load i8, i8* %41
%43 = add i8 %42, -58
%44 = icmp ult i8 %43, -10
br i1 %44, label %97, label %45
45: ; preds = %40
%46 = getelementptr inbounds i8, i8* %0, i64 9
%47 = load i8, i8* %46
%48 = add i8 %47, -58
%49 = icmp ult i8 %48, -10
%50 = icmp ugt i8 %22, 51
%51 = select i1 %49, i1 true, i1 %50
%52 = icmp ugt i8 %12, 53
%53 = select i1 %51, i1 true, i1 %52
br i1 %53, label %97, label %54
54: ; preds = %45
switch i8 %12, label %57 [
i8 49, label %55
i8 51, label %55
i8 53, label %55
]
55: ; preds = %54, %54, %54
%56 = icmp ugt i8 %17, 50
br i1 %56, label %97, label %57
57: ; preds = %54, %55
%58 = zext i8 %2 to i16
%59 = shl nuw nsw i16 %58, 1
%60 = zext i8 %7 to i16
%61 = shl nuw nsw i16 %60, 2
%62 = add nuw nsw i16 %61, %59
%63 = zext i8 %12 to i16
%64 = shl nuw nsw i16 %63, 3
%65 = add nuw nsw i16 %64, %62
%66 = zext i8 %17 to i16
%67 = mul nuw nsw i16 %66, 5
%68 = add nuw nsw i16 %67, %65
%69 = zext i8 %22 to i16
%70 = mul nuw nsw i16 %69, 10
%71 = add nuw nsw i16 %70, %68
%72 = zext i8 %27 to i16
%73 = mul nuw nsw i16 %72, 9
%74 = add nuw nsw i16 %73, %71
%75 = zext i8 %32 to i16
%76 = mul nuw nsw i16 %75, 7
%77 = add i16 %76, %74
%78 = zext i8 %37 to i16
%79 = mul nuw nsw i16 %78, 3
%80 = add i16 %79, %77
%81 = zext i8 %42 to i16
%82 = mul nuw nsw i16 %81, 6
%83 = add i16 %82, %80
%84 = add i16 %83, -2592
%85 = zext i8 %47 to i32
%86 = add nsw i32 %85, -48
%87 = urem i16 %84, 11
%88 = zext i16 %87 to i32
%89 = icmp ugt i16 %87, 9
%90 = icmp eq i32 %86, %88
%91 = select i1 %89, i1 true, i1 %90
br i1 %91, label %92, label %97
92: ; preds = %57
%93 = icmp ne i16 %87, 10
%94 = icmp eq i32 %86, 0
%95 = select i1 %93, i1 true, i1 %94
%96 = zext i1 %95 to i32
br label %97
97: ; preds = %1, %5, %10, %15, %20, %25, %30, %35, %40, %45, %92, %57, %55
%98 = phi i32 [ 0, %55 ], [ 0, %57 ], [ %96, %92 ], [ 0, %45 ], [ 0, %40 ], [ 0, %35 ], [ 0, %30 ], [ 0, %25 ], [ 0, %20 ], [ 0, %15 ], [ 0, %10 ], [ 0, %5 ], [ 0, %1 ]
ret i32 %98
}