#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */
typedef int ushort;
typedef int ulong;

/* Variables and functions */
int mpqs_powmod(int, int, int);
ushort mpqs_sqrt(ushort a, ushort p, ushort help) {
  ushort e, u, i, l;
  ulong b, g, r, k;
  if (p & 2)
    return mpqs_powmod(a, (p + 1) >> 2, p);
  if (p & 4) {
    b = mpqs_powmod(a, (p + 3) >> 3, p);
    g = b * b;
    g %= (ulong)p;
    if (g == a)
      return b;
    b *= (ulong)help;
    b %= (ulong)p;
    return b;
  }
  e = 0;
  u = p - 1;
  while (!(u & 1)) {
    e++;
    u >>= 1;
  }
  g = help;
  r = mpqs_powmod(a, u >> 1, p);
  k = r * r;
  k %= (ulong)p;
  k *= a;
  k %= (ulong)p;
  r *= a;
  r %= (ulong)p;
  while (k != 1) {
    b = k;
    for (i = 0; i < e && b != 1; i++) {
      b *= b;
      b %= (ulong)p;
    }
    for (l = i + 1; l < e; l++) {
      g *= g;
      g %= (ulong)p;
    }
    r *= g;
    r %= (ulong)p;
    g *= g;
    g %= (ulong)p;
    k *= g;
    k %= (ulong)p;
    e = i;
  }
  return (ushort)r;
}


x86 assembly (clang, -O0):
<mpqs_sqrt>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %edi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    -0xc(%rbp),%eax
and    $0x2,%eax
cmp    $0x0,%eax
je     114c <mpqs_sqrt+0x3c>
mov    -0x8(%rbp),%edi
mov    -0xc(%rbp),%esi
add    $0x1,%esi
sar    $0x2,%esi
mov    -0xc(%rbp),%edx
call   1030 <mpqs_powmod@plt>
mov    %eax,-0x4(%rbp)
jmp    1350 <mpqs_sqrt+0x240>
mov    -0xc(%rbp),%eax
and    $0x4,%eax
cmp    $0x0,%eax
je     11c0 <mpqs_sqrt+0xb0>
mov    -0x8(%rbp),%edi
mov    -0xc(%rbp),%esi
add    $0x3,%esi
sar    $0x3,%esi
mov    -0xc(%rbp),%edx
call   1030 <mpqs_powmod@plt>
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
imul   -0x24(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0xc(%rbp),%ecx
mov    -0x28(%rbp),%eax
cltd
idiv   %ecx
mov    %edx,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x8(%rbp),%eax
jne    119f <mpqs_sqrt+0x8f>
mov    -0x24(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1350 <mpqs_sqrt+0x240>
mov    -0x10(%rbp),%eax
imul   -0x24(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0xc(%rbp),%ecx
mov    -0x24(%rbp),%eax
cltd
idiv   %ecx
mov    %edx,-0x24(%rbp)
mov    -0x24(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1350 <mpqs_sqrt+0x240>
movl   $0x0,-0x14(%rbp)
mov    -0xc(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x18(%rbp)
mov    -0x18(%rbp),%eax
and    $0x1,%eax
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
test   $0x1,%al
jne    11eb <mpqs_sqrt+0xdb>
jmp    1202 <mpqs_sqrt+0xf2>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
mov    -0x18(%rbp),%eax
sar    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    11d0 <mpqs_sqrt+0xc0>
mov    -0x10(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x8(%rbp),%edi
mov    -0x18(%rbp),%esi
sar    $0x1,%esi
mov    -0xc(%rbp),%edx
call   1030 <mpqs_powmod@plt>
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
imul   -0x2c(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0xc(%rbp),%ecx
mov    -0x30(%rbp),%eax
cltd
idiv   %ecx
mov    %edx,-0x30(%rbp)
mov    -0x8(%rbp),%eax
imul   -0x30(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0xc(%rbp),%ecx
mov    -0x30(%rbp),%eax
cltd
idiv   %ecx
mov    %edx,-0x30(%rbp)
mov    -0x8(%rbp),%eax
imul   -0x2c(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0xc(%rbp),%ecx
mov    -0x2c(%rbp),%eax
cltd
idiv   %ecx
mov    %edx,-0x2c(%rbp)
cmpl   $0x1,-0x30(%rbp)
je     134a <mpqs_sqrt+0x23a>
mov    -0x30(%rbp),%eax
mov    %eax,-0x24(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%ecx
xor    %eax,%eax
cmp    -0x14(%rbp),%ecx
mov    %al,-0x31(%rbp)
jge    1290 <mpqs_sqrt+0x180>
cmpl   $0x1,-0x24(%rbp)
setne  %al
mov    %al,-0x31(%rbp)
mov    -0x31(%rbp),%al
test   $0x1,%al
jne    12a0 <mpqs_sqrt+0x190>
jmp    12c4 <mpqs_sqrt+0x1b4>
mov    -0x24(%rbp),%eax
imul   -0x24(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0xc(%rbp),%ecx
mov    -0x24(%rbp),%eax
cltd
idiv   %ecx
mov    %edx,-0x24(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1275 <mpqs_sqrt+0x165>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    12fd <mpqs_sqrt+0x1ed>
mov    -0x28(%rbp),%eax
imul   -0x28(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0xc(%rbp),%ecx
mov    -0x28(%rbp),%eax
cltd
idiv   %ecx
mov    %edx,-0x28(%rbp)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    12cd <mpqs_sqrt+0x1bd>
mov    -0x28(%rbp),%eax
imul   -0x2c(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0xc(%rbp),%ecx
mov    -0x2c(%rbp),%eax
cltd
idiv   %ecx
mov    %edx,-0x2c(%rbp)
mov    -0x28(%rbp),%eax
imul   -0x28(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0xc(%rbp),%ecx
mov    -0x28(%rbp),%eax
cltd
idiv   %ecx
mov    %edx,-0x28(%rbp)
mov    -0x28(%rbp),%eax
imul   -0x30(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0xc(%rbp),%ecx
mov    -0x30(%rbp),%eax
cltd
idiv   %ecx
mov    %edx,-0x30(%rbp)
mov    -0x1c(%rbp),%eax
mov    %eax,-0x14(%rbp)
jmp    125e <mpqs_sqrt+0x14e>
mov    -0x2c(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<mpqs_sqrt>:
push   %rbp
push   %r15
push   %r14
push   %rbx
push   %rax
mov    %esi,%r15d
mov    %edi,%r14d
test   $0x2,%r15b
jne    114d <mpqs_sqrt+0x3d>
mov    %edx,%ebp
test   $0x4,%r15b
jne    1169 <mpqs_sqrt+0x59>
lea    -0x1(%r15),%eax
xor    %ebx,%ebx
test   $0x1,%al
jne    11a6 <mpqs_sqrt+0x96>
xor    %ebx,%ebx
mov    %eax,%esi
nopl   0x0(%rax)
add    $0x1,%ebx
sar    %esi
test   $0x2,%al
mov    %esi,%eax
je     1140 <mpqs_sqrt+0x30>
jmp    11a8 <mpqs_sqrt+0x98>
lea    0x1(%r15),%esi
sar    $0x2,%esi
mov    %r14d,%edi
mov    %r15d,%edx
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
jmp    1030 <mpqs_powmod@plt>
lea    0x3(%r15),%esi
sar    $0x3,%esi
mov    %r14d,%edi
mov    %r15d,%edx
call   1030 <mpqs_powmod@plt>
mov    %eax,%r10d
imul   %eax,%eax
cltd
idiv   %r15d
cmp    %r14d,%edx
je     1198 <mpqs_sqrt+0x88>
imul   %ebp,%r10d
mov    %r10d,%eax
cltd
idiv   %r15d
mov    %edx,%r10d
mov    %r10d,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret
mov    %eax,%esi
sar    %esi
mov    %r14d,%edi
mov    %r15d,%edx
call   1030 <mpqs_powmod@plt>
mov    %eax,%ecx
imul   %eax,%eax
cltd
idiv   %r15d
mov    %edx,%eax
imul   %r14d,%eax
imul   %r14d,%ecx
cltd
idiv   %r15d
mov    %edx,%r11d
mov    %ecx,%eax
jmp    1200 <mpqs_sqrt+0xf0>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
imul   %ebp,%r10d
imul   %ebp,%ebp
mov    %ebp,%eax
cltd
idiv   %r15d
mov    %edx,%ebp
imul   %edx,%r11d
mov    %r11d,%eax
cltd
idiv   %r15d
mov    %edx,%r11d
mov    %r10d,%eax
cltd
idiv   %r15d
mov    %edx,%r10d
cmp    $0x1,%r11d
je     1198 <mpqs_sqrt+0x88>
mov    %ebx,%edi
xor    %ebx,%ebx
test   %edi,%edi
je     1235 <mpqs_sqrt+0x125>
cmp    $0x1,%r11d
je     1235 <mpqs_sqrt+0x125>
xor    %ebx,%ebx
mov    %r11d,%edx
imul   %edx,%edx
mov    %edx,%eax
cltd
idiv   %r15d
add    $0x1,%ebx
cmp    %edi,%ebx
jae    1235 <mpqs_sqrt+0x125>
cmp    $0x1,%edx
jne    1220 <mpqs_sqrt+0x110>
lea    0x1(%rbx),%r8d
cmp    %edi,%r8d
jae    11e0 <mpqs_sqrt+0xd0>
mov    %ebx,%ecx
not    %ecx
add    %edi,%ecx
mov    %edi,%r9d
sub    %ebx,%r9d
add    $0xfffffffe,%r9d
and    $0x3,%ecx
je     1275 <mpqs_sqrt+0x165>
neg    %ecx
xor    %esi,%esi
nopw   0x0(%rax,%rax,1)
imul   %ebp,%ebp
mov    %ebp,%eax
cltd
idiv   %r15d
add    $0xffffffff,%esi
mov    %edx,%ebp
cmp    %esi,%ecx
jne    1260 <mpqs_sqrt+0x150>
sub    %esi,%r8d
cmp    $0x3,%r9d
jb     11e0 <mpqs_sqrt+0xd0>
sub    %r8d,%edi
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
imul   %ebp,%ebp
mov    %ebp,%eax
cltd
idiv   %r15d
mov    %edx,%eax
imul   %edx,%eax
cltd
idiv   %r15d
mov    %edx,%eax
imul   %edx,%eax
cltd
idiv   %r15d
mov    %edx,%eax
imul   %edx,%eax
cltd
idiv   %r15d
mov    %edx,%ebp
add    $0xfffffffc,%edi
jne    1290 <mpqs_sqrt+0x180>
jmp    11e0 <mpqs_sqrt+0xd0>

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

LLVM IR (-O2):
define i32 @mpqs_sqrt(i32 %0, i32 %1, i32 %2) {
%4 = and i32 %1, 2
%5 = icmp eq i32 %4, 0
br i1 %5, label %10, label %6
6: ; preds = %3
%7 = add nsw i32 %1, 1
%8 = ashr i32 %7, 2
%9 = tail call i32 @mpqs_powmod(i32 %0, i32 %8, i32 %1)
br label %110
10: ; preds = %3
%11 = and i32 %1, 4
%12 = icmp eq i32 %11, 0
br i1 %12, label %23, label %13
13: ; preds = %10
%14 = add nsw i32 %1, 3
%15 = ashr i32 %14, 3
%16 = tail call i32 @mpqs_powmod(i32 %0, i32 %15, i32 %1)
%17 = mul nsw i32 %16, %16
%18 = srem i32 %17, %1
%19 = icmp eq i32 %18, %0
br i1 %19, label %110, label %20
20: ; preds = %13
%21 = mul nsw i32 %16, %2
%22 = srem i32 %21, %1
br label %110
23: ; preds = %10
%24 = add nsw i32 %1, -1
%25 = and i32 %24, 1
%26 = icmp eq i32 %25, 0
br i1 %26, label %27, label %34
27: ; preds = %23, %27
%28 = phi i32 [ %31, %27 ], [ %24, %23 ]
%29 = phi i32 [ %30, %27 ], [ 0, %23 ]
%30 = add nuw nsw i32 %29, 1
%31 = ashr i32 %28, 1
%32 = and i32 %28, 2
%33 = icmp eq i32 %32, 0
br i1 %33, label %27, label %34
34: ; preds = %27, %23
%35 = phi i32 [ 0, %23 ], [ %30, %27 ]
%36 = phi i32 [ %24, %23 ], [ %31, %27 ]
%37 = ashr i32 %36, 1
%38 = tail call i32 @mpqs_powmod(i32 %0, i32 %37, i32 %1)
%39 = mul nsw i32 %38, %38
%40 = srem i32 %39, %1
%41 = mul nsw i32 %40, %0
%42 = mul nsw i32 %38, %0
%43 = srem i32 %41, %1
%44 = srem i32 %42, %1
%45 = icmp eq i32 %43, 1
br i1 %45, label %110, label %46
46: ; preds = %34, %101
%47 = phi i32 [ %108, %101 ], [ %44, %34 ]
%48 = phi i32 [ %107, %101 ], [ %43, %34 ]
%49 = phi i32 [ %105, %101 ], [ %2, %34 ]
%50 = phi i32 [ %55, %101 ], [ %35, %34 ]
%51 = icmp ne i32 %50, 0
%52 = icmp ne i32 %48, 1
%53 = select i1 %51, i1 %52, i1 false
br i1 %53, label %79, label %54
54: ; preds = %79, %46
%55 = phi i32 [ 0, %46 ], [ %84, %79 ]
%56 = add nuw nsw i32 %55, 1
%57 = icmp ult i32 %56, %50
br i1 %57, label %58, label %101
58: ; preds = %54
%59 = xor i32 %55, -1
%60 = add i32 %50, %59
%61 = add i32 %50, -2
%62 = sub i32 %61, %55
%63 = and i32 %60, 3
%64 = icmp eq i32 %63, 0
br i1 %64, label %74, label %65
65: ; preds = %58, %65
%66 = phi i32 [ %71, %65 ], [ %56, %58 ]
%67 = phi i32 [ %70, %65 ], [ %49, %58 ]
%68 = phi i32 [ %72, %65 ], [ 0, %58 ]
%69 = mul nsw i32 %67, %67
%70 = srem i32 %69, %1
%71 = add nuw nsw i32 %66, 1
%72 = add i32 %68, 1
%73 = icmp eq i32 %72, %63
br i1 %73, label %74, label %65
74: ; preds = %65, %58
%75 = phi i32 [ undef, %58 ], [ %70, %65 ]
%76 = phi i32 [ %56, %58 ], [ %71, %65 ]
%77 = phi i32 [ %49, %58 ], [ %70, %65 ]
%78 = icmp ult i32 %62, 3
br i1 %78, label %101, label %88
79: ; preds = %46, %79
%80 = phi i32 [ %83, %79 ], [ %48, %46 ]
%81 = phi i32 [ %84, %79 ], [ 0, %46 ]
%82 = mul nsw i32 %80, %80
%83 = srem i32 %82, %1
%84 = add nuw nsw i32 %81, 1
%85 = icmp ult i32 %84, %50
%86 = icmp ne i32 %83, 1
%87 = select i1 %85, i1 %86, i1 false
br i1 %87, label %79, label %54
88: ; preds = %74, %88
%89 = phi i32 [ %99, %88 ], [ %76, %74 ]
%90 = phi i32 [ %98, %88 ], [ %77, %74 ]
%91 = mul nsw i32 %90, %90
%92 = srem i32 %91, %1
%93 = mul nsw i32 %92, %92
%94 = srem i32 %93, %1
%95 = mul nsw i32 %94, %94
%96 = srem i32 %95, %1
%97 = mul nsw i32 %96, %96
%98 = srem i32 %97, %1
%99 = add nuw nsw i32 %89, 4
%100 = icmp eq i32 %99, %50
br i1 %100, label %101, label %88
101: ; preds = %74, %88, %54
%102 = phi i32 [ %49, %54 ], [ %75, %74 ], [ %98, %88 ]
%103 = mul nsw i32 %102, %47
%104 = mul nsw i32 %102, %102
%105 = srem i32 %104, %1
%106 = mul nsw i32 %105, %48
%107 = srem i32 %106, %1
%108 = srem i32 %103, %1
%109 = icmp eq i32 %107, 1
br i1 %109, label %110, label %46
110: ; preds = %101, %34, %13, %20, %6
%111 = phi i32 [ %9, %6 ], [ %22, %20 ], [ %16, %13 ], [ %44, %34 ], [ %108, %101 ]
ret i32 %111
}