; LLVM IR from jim-b/ECCSI-SAKKE :: src/sakke (sakke)

; Unoptimized IR (clang -disable-llvm-passes):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

@.str = external hidden unnamed_addr constant [34 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [35 x i8], align 1
@stdout = external global ptr, align 8
@.str.2 = external hidden unnamed_addr constant [14 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [28 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [29 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [23 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [31 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [32 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [25 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [19 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [53 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [63 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [18 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [20 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [14 x i8], align 1
@.str.16 = external hidden unnamed_addr constant [58 x i8], align 1
@.str.17 = external hidden unnamed_addr constant [65 x i8], align 1
@.str.18 = external hidden unnamed_addr constant [51 x i8], align 1
@.str.19 = external hidden unnamed_addr constant [48 x i8], align 1
@.str.20 = external hidden unnamed_addr constant [43 x i8], align 1
@.str.21 = external hidden unnamed_addr constant [31 x i8], align 1
@.str.22 = external hidden unnamed_addr constant [32 x i8], align 1
@.str.23 = external hidden unnamed_addr constant [44 x i8], align 1
@.str.24 = external hidden unnamed_addr constant [51 x i8], align 1
@.str.25 = external hidden unnamed_addr constant [32 x i8], align 1
@.str.26 = external hidden unnamed_addr constant [31 x i8], align 1
@.str.27 = external hidden unnamed_addr constant [34 x i8], align 1
@.str.28 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.29 = external hidden unnamed_addr constant [36 x i8], align 1
@.str.30 = external hidden unnamed_addr constant [41 x i8], align 1
@.str.31 = external hidden unnamed_addr constant [33 x i8], align 1
@.str.32 = external hidden unnamed_addr constant [33 x i8], align 1
@.str.33 = external hidden unnamed_addr constant [34 x i8], align 1
@.str.34 = external hidden unnamed_addr constant [40 x i8], align 1
@.str.35 = external hidden unnamed_addr constant [40 x i8], align 1
@.str.36 = external hidden unnamed_addr constant [28 x i8], align 1
@.str.37 = external hidden unnamed_addr constant [23 x i8], align 1
@.str.38 = external hidden unnamed_addr constant [45 x i8], align 1
@.str.39 = external hidden unnamed_addr constant [40 x i8], align 1
@.str.40 = external hidden unnamed_addr constant [44 x i8], align 1
@.str.41 = external hidden unnamed_addr constant [33 x i8], align 1
@.str.42 = external hidden unnamed_addr constant [33 x i8], align 1
@.str.43 = external hidden unnamed_addr constant [33 x i8], align 1
@.str.44 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.45 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.46 = external hidden unnamed_addr constant [29 x i8], align 1
@.str.47 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.48 = external hidden unnamed_addr constant [42 x i8], align 1
@.str.49 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.50 = external hidden unnamed_addr constant [87 x i8], align 1
@.str.51 = external hidden unnamed_addr constant [28 x i8], align 1
@.str.52 = external hidden unnamed_addr constant [29 x i8], align 1
@.str.53 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.54 = external hidden unnamed_addr constant [43 x i8], align 1
@.str.55 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.56 = external hidden unnamed_addr constant [37 x i8], align 1
@.str.57 = external hidden unnamed_addr constant [43 x i8], align 1
@.str.58 = external hidden unnamed_addr constant [28 x i8], align 1
@.str.59 = external hidden unnamed_addr constant [40 x i8], align 1
@.str.60 = external hidden unnamed_addr constant [72 x i8], align 1
@.str.61 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.62 = external hidden unnamed_addr constant [44 x i8], align 1
@.str.63 = external hidden unnamed_addr constant [44 x i8], align 1
@.str.64 = external hidden unnamed_addr constant [44 x i8], align 1
@.str.65 = external hidden unnamed_addr constant [23 x i8], align 1

; Function Attrs: nounwind uwtable
define dso_local zeroext i8 @sakke_generateSakkeEncapsulatedData(ptr noundef %0, ptr noundef %1, ptr noundef %2, i64 noundef %3, ptr noundef %4, ptr noundef %5, i64 noundef %6) #0 {
  %8 = alloca ptr, align 8
  %9 = alloca ptr, align 8
  %10 = alloca ptr, align 8
  %11 = alloca i64, align 8
  %12 = alloca ptr, align 8
  %13 = alloca ptr, align 8
  %14 = alloca i64, align 8
  %15 = alloca i16, align 2
  %16 = alloca i8, align 1
  %17 = alloca ptr, align 8
  %18 = alloca ptr, align 8
  %19 = alloca ptr, align 8
  %20 = alloca ptr, align 8
  %21 = alloca ptr, align 8
  %22 = alloca ptr, align 8
  %23 = alloca ptr, align 8
  %24 = alloca ptr, align 8
  %25 = alloca ptr, align 8
  %26 = alloca ptr, align 8
  %27 = alloca ptr, align 8
  %28 = alloca ptr, align 8
  %29 = alloca ptr, align 8
  %30 = alloca ptr, align 8
  %31 = alloca i8, align 1
  %32 = alloca ptr, align 8
  %33 = alloca i64, align 8
  %34 = alloca ptr, align 8
  %35 = alloca i64, align 8
  %36 = alloca i16, align 2
  %37 = alloca i32, align 4
  %38 = alloca ptr, align 8
  %39 = alloca [1200 x i8], align 16
  %40 = alloca [1200 x i8], align 16
  %41 = alloca [1200 x i8], align 16
  %42 = alloca [1200 x i8], align 16
  %43 = alloca [1200 x i8], align 16
  %44 = alloca [1200 x i8], align 16
  %45 = alloca [1200 x i8], align 16
  %46 = alloca [1200 x i8], align 16
  %47 = alloca [1200 x i8], align 16
  %48 = alloca [1200 x i8], align 16
  %49 = alloca [1200 x i8], align 16
  %50 = alloca [1200 x i8], align 16
  %51 = alloca [1200 x i8], align 16
  %52 = alloca [1200 x i8], align 16
  %53 = alloca [1200 x i8], align 16
  %54 = alloca [1200 x i8], align 16
  %55 = alloca [1200 x i8], align 16
  %56 = alloca [1200 x i8], align 16
  %57 = alloca [1200 x i8], align 16
  %58 = alloca [1200 x i8], align 16
  %59 = alloca [1200 x i8], align 16
  %60 = alloca [1200 x i8], align 16
  %61 = alloca [1200 x i8], align 16
  %62 = alloca [1200 x i8], align 16
  %63 = alloca [1200 x i8], align 16
  %64 = alloca [1200 x i8], align 16
  %65 = alloca [1200 x i8], align 16
  %66 = alloca [1200 x i8], align 16
  %67 = alloca [1200 x i8], align 16
  %68 = alloca [1200 x i8], align 16
  %69 = alloca [1200 x i8], align 16
  %70 = alloca [1200 x i8], align 16
  %71 = alloca [1200 x i8], align 16
  %72 = alloca [1200 x i8], align 16
  %73 = alloca [1200 x i8], align 16
  %74 = alloca [1200 x i8], align 16
  %75 = alloca [1200 x i8], align 16
  %76 = alloca [1200 x i8], align 16
  %77 = alloca [1200 x i8], align 16
  %78 = alloca [1200 x i8], align 16
  %79 = alloca [1200 x i8], align 16
  %80 = alloca [1200 x i8], align 16
  %81 = alloca [1200 x i8], align 16
  %82 = alloca [1200 x i8], align 16
  %83 = alloca [1200 x i8], align 16
  %84 = alloca [1200 x i8], align 16
  %85 = alloca [1200 x i8], align 16
  %86 = alloca [1200 x i8], align 16
  %87 = alloca [1200 x i8], align 16
  %88 = alloca [1200 x i8], align 16
  %89 = alloca [1200 x i8], align 16
  %90 = alloca [1200 x i8], align 16
  store ptr %0, ptr %8, align 8, !tbaa !5
  store ptr %1, ptr %9, align 8, !tbaa !5
  store ptr %2, ptr %10, align 8, !tbaa !5
  store i64 %3, ptr %11, align 8, !tbaa !9
  store ptr %4, ptr %12, align 8, !tbaa !5
  store ptr %5, ptr %13, align 8, !tbaa !5
  store i64 %6, ptr %14, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 2, ptr %15) #8
  store i16 0, ptr %15, align 2, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 1, ptr %16) #8
  store i8 1, ptr %16, align 1, !tbaa !13
  call void @llvm.lifetime.start.p0(i64 8, ptr %17) #8
  store ptr null, ptr %17, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %18) #8
  store ptr null, ptr %18, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %19) #8
  store ptr null, ptr %19, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %20) #8
  store ptr null, ptr %20, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %21) #8
  store ptr null, ptr %21, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %22) #8
  store ptr null, ptr %22, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %23) #8
  store ptr null, ptr %23, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %24) #8
  store ptr null, ptr %24, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %25) #8
  store ptr null, ptr %25, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %26) #8
  store ptr null, ptr %26, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %27) #8
  store ptr null, ptr %27, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %28) #8
  store ptr null, ptr %28, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %29) #8
  store ptr null, ptr %29, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %30) #8
  store ptr null, ptr %30, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 1, ptr %31) #8
  store i8 0, ptr %31, align 1, !tbaa !13
  call void @llvm.lifetime.start.p0(i64 8, ptr %32) #8
  store ptr null, ptr %32, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %33) #8
  store i64 0, ptr %33, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %34) #8
  store ptr null, ptr %34, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %35) #8
  store i64 0, ptr %35, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 2, ptr %36) #8
  store i16 1, ptr %36, align 2, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %37) #8
  store i32 0, ptr %37, align 4, !tbaa !14
  call void @llvm.lifetime.start.p0(i64 8, ptr %38) #8
  %91 = call ptr @BN_CTX_new()
  store ptr %91, ptr %38, align 8, !tbaa !5
  %92 = load ptr, ptr %8, align 8, !tbaa !5
  %93 = load ptr, ptr %92, align 8, !tbaa !5
  %94 = icmp ne ptr %93, null
  br i1 %94, label %95, label %101

95:                                               ; preds = %7
  call void @llvm.lifetime.start.p0(i64 1200, ptr %39) #8
  %96 = getelementptr inbounds [1200 x i8], ptr %39, i64 0, i64 0
  %97 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %96, i64 noundef 1200, ptr noundef @.str, ptr noundef @.str.1) #8
  %98 = load ptr, ptr @stdout, align 8, !tbaa !5
  %99 = getelementptr inbounds [1200 x i8], ptr %39, i64 0, i64 0
  %100 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %98, ptr noundef @.str.2, ptr noundef %99) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %39) #8
  store i16 1, ptr %15, align 2, !tbaa !11
  br label %101

101:                                              ; preds = %95, %7
  %102 = load ptr, ptr %9, align 8, !tbaa !5
  %103 = load i64, ptr %102, align 8, !tbaa !9
  %104 = icmp ne i64 %103, 0
  br i1 %104, label %105, label %111

105:                                              ; preds = %101
  call void @llvm.lifetime.start.p0(i64 1200, ptr %40) #8
  %106 = getelementptr inbounds [1200 x i8], ptr %40, i64 0, i64 0
  %107 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %106, i64 noundef 1200, ptr noundef @.str.3, ptr noundef @.str.1) #8
  %108 = load ptr, ptr @stdout, align 8, !tbaa !5
  %109 = getelementptr inbounds [1200 x i8], ptr %40, i64 0, i64 0
  %110 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %108, ptr noundef @.str.2, ptr noundef %109) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %40) #8
  store i16 1, ptr %15, align 2, !tbaa !11
  br label %111

111:                                              ; preds = %105, %101
  %112 = load ptr, ptr %10, align 8, !tbaa !5
  %113 = icmp eq ptr %112, null
  br i1 %113, label %114, label %120

114:                                              ; preds = %111
  call void @llvm.lifetime.start.p0(i64 1200, ptr %41) #8
  %115 = getelementptr inbounds [1200 x i8], ptr %41, i64 0, i64 0
  %116 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %115, i64 noundef 1200, ptr noundef @.str.4, ptr noundef @.str.1) #8
  %117 = load ptr, ptr @stdout, align 8, !tbaa !5
  %118 = getelementptr inbounds [1200 x i8], ptr %41, i64 0, i64 0
  %119 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %117, ptr noundef @.str.2, ptr noundef %118) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %41) #8
  store i16 1, ptr %15, align 2, !tbaa !11
  br label %120

120:                                              ; preds = %114, %111
  %121 = load i64, ptr %11, align 8, !tbaa !9
  %122 = icmp eq i64 %121, 0
  br i1 %122, label %123, label %129

123:                                              ; preds = %120
  call void @llvm.lifetime.start.p0(i64 1200, ptr %42) #8
  %124 = getelementptr inbounds [1200 x i8], ptr %42, i64 0, i64 0
  %125 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %124, i64 noundef 1200, ptr noundef @.str.5, ptr noundef @.str.1) #8
  %126 = load ptr, ptr @stdout, align 8, !tbaa !5
  %127 = getelementptr inbounds [1200 x i8], ptr %42, i64 0, i64 0
  %128 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %126, ptr noundef @.str.2, ptr noundef %127) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %42) #8
  store i16 1, ptr %15, align 2, !tbaa !11
  br label %129

129:                                              ; preds = %123, %120
  %130 = load ptr, ptr %12, align 8, !tbaa !5
  %131 = icmp eq ptr %130, null
  br i1 %131, label %132, label %138

132:                                              ; preds = %129
  call void @llvm.lifetime.start.p0(i64 1200, ptr %43) #8
  %133 = getelementptr inbounds [1200 x i8], ptr %43, i64 0, i64 0
  %134 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %133, i64 noundef 1200, ptr noundef @.str.6, ptr noundef @.str.1) #8
  %135 = load ptr, ptr @stdout, align 8, !tbaa !5
  %136 = getelementptr inbounds [1200 x i8], ptr %43, i64 0, i64 0
  %137 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %135, ptr noundef @.str.2, ptr noundef %136) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %43) #8
  store i16 1, ptr %15, align 2, !tbaa !11
  br label %138

138:                                              ; preds = %132, %129
  %139 = load ptr, ptr %12, align 8, !tbaa !5
  %140 = call signext i16 @community_exists(ptr noundef %139)
  %141 = icmp ne i16 %140, 0
  br i1 %141, label %149, label %142

142:                                              ; preds = %138
  call void @llvm.lifetime.start.p0(i64 1200, ptr %44) #8
  %143 = getelementptr inbounds [1200 x i8], ptr %44, i64 0, i64 0
  %144 = load ptr, ptr %12, align 8, !tbaa !5
  %145 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %143, i64 noundef 1200, ptr noundef @.str.7, ptr noundef @.str.1, ptr noundef %144) #8
  %146 = load ptr, ptr @stdout, align 8, !tbaa !5
  %147 = getelementptr inbounds [1200 x i8], ptr %44, i64 0, i64 0
  %148 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %146, ptr noundef @.str.2, ptr noundef %147) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %44) #8
  store i16 1, ptr %15, align 2, !tbaa !11
  br label %149

149:                                              ; preds = %142, %138
  %150 = load ptr, ptr %13, align 8, !tbaa !5
  %151 = icmp eq ptr %150, null
  br i1 %151, label %152, label %158

152:                                              ; preds = %149
  call void @llvm.lifetime.start.p0(i64 1200, ptr %45) #8
  %153 = getelementptr inbounds [1200 x i8], ptr %45, i64 0, i64 0
  %154 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %153, i64 noundef 1200, ptr noundef @.str.8, ptr noundef @.str.1) #8
  %155 = load ptr, ptr @stdout, align 8, !tbaa !5
  %156 = getelementptr inbounds [1200 x i8], ptr %45, i64 0, i64 0
  %157 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %155, ptr noundef @.str.2, ptr noundef %156) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %45) #8
  store i16 1, ptr %15, align 2, !tbaa !11
  br label %158

158:                                              ; preds = %152, %149
  %159 = load i64, ptr %14, align 8, !tbaa !9
  %160 = icmp eq i64 %159, 0
  br i1 %160, label %161, label %167

161:                                              ; preds = %158
  call void @llvm.lifetime.start.p0(i64 1200, ptr %46) #8
  %162 = getelementptr inbounds [1200 x i8], ptr %46, i64 0, i64 0
  %163 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %162, i64 noundef 1200, ptr noundef @.str.9, ptr noundef @.str.1) #8
  %164 = load ptr, ptr @stdout, align 8, !tbaa !5
  %165 = getelementptr inbounds [1200 x i8], ptr %46, i64 0, i64 0
  %166 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %164, ptr noundef @.str.2, ptr noundef %165) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %46) #8
  store i16 1, ptr %15, align 2, !tbaa !11
  br label %167

167:                                              ; preds = %161, %158
  %168 = load i16, ptr %15, align 2, !tbaa !11
  %169 = icmp ne i16 %168, 0
  br i1 %169, label %217, label %170

170:                                              ; preds = %167
  %171 = load ptr, ptr %12, align 8, !tbaa !5
  %172 = call zeroext i8 @community_get_paramSet(ptr noundef %171)
  store i8 %172, ptr %31, align 1, !tbaa !13
  %173 = zext i8 %172 to i32
  %174 = icmp ne i32 1, %173
  br i1 %174, label %175, label %183

175:                                              ; preds = %170
  call void @llvm.lifetime.start.p0(i64 1200, ptr %47) #8
  %176 = getelementptr inbounds [1200 x i8], ptr %47, i64 0, i64 0
  %177 = load i8, ptr %31, align 1, !tbaa !13
  %178 = zext i8 %177 to i32
  %179 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %176, i64 noundef 1200, ptr noundef @.str.10, ptr noundef @.str.1, i32 noundef %178) #8
  %180 = load ptr, ptr @stdout, align 8, !tbaa !5
  %181 = getelementptr inbounds [1200 x i8], ptr %47, i64 0, i64 0
  %182 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %180, ptr noundef @.str.2, ptr noundef %181) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %47) #8
  store i16 1, ptr %15, align 2, !tbaa !11
  br label %216

183:                                              ; preds = %170
  %184 = load i8, ptr %31, align 1, !tbaa !13
  %185 = call ptr @ms_getParameter_E(i8 noundef zeroext %184)
  store ptr %185, ptr %28, align 8, !tbaa !5
  %186 = icmp ne ptr %185, null
  br i1 %186, label %195, label %187

187:                                              ; preds = %183
  call void @llvm.lifetime.start.p0(i64 1200, ptr %48) #8
  %188 = getelementptr inbounds [1200 x i8], ptr %48, i64 0, i64 0
  %189 = load i8, ptr %31, align 1, !tbaa !13
  %190 = zext i8 %189 to i32
  %191 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %188, i64 noundef 1200, ptr noundef @.str.11, ptr noundef @.str.1, i32 noundef %190) #8
  %192 = load ptr, ptr @stdout, align 8, !tbaa !5
  %193 = getelementptr inbounds [1200 x i8], ptr %48, i64 0, i64 0
  %194 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %192, ptr noundef @.str.2, ptr noundef %193) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %48) #8
  store i16 1, ptr %15, align 2, !tbaa !11
  br label %215

195:                                              ; preds = %183
  %196 = load i64, ptr %14, align 8, !tbaa !9
  %197 = load i8, ptr %31, align 1, !tbaa !13
  %198 = call zeroext i16 @ms_getParameter_n(i8 noundef zeroext %197)
  %199 = zext i16 %198 to i32
  %200 = sdiv i32 %199, 8
  %201 = sext i32 %200 to i64
  %202 = icmp ne i64 %196, %201
  br i1 %202, label %203, label %214

203:                                              ; preds = %195
  call void @llvm.lifetime.start.p0(i64 1200, ptr %49) #8
  %204 = getelementptr inbounds [1200 x i8], ptr %49, i64 0, i64 0
  %205 = load i64, ptr %14, align 8, !tbaa !9
  %206 = load i8, ptr %31, align 1, !tbaa !13
  %207 = call zeroext i16 @ms_getParameter_n(i8 noundef zeroext %206)
  %208 = zext i16 %207 to i32
  %209 = sdiv i32 %208, 8
  %210 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %204, i64 noundef 1200, ptr noundef @.str.12, ptr noundef @.str.1, i64 noundef %205, i32 noundef %209) #8
  %211 = load ptr, ptr @stdout, align 8, !tbaa !5
  %212 = getelementptr inbounds [1200 x i8], ptr %49, i64 0, i64 0
  %213 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %211, ptr noundef @.str.2, ptr noundef %212) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %49) #8
  store i16 1, ptr %15, align 2, !tbaa !11
  br label %214

214:                                              ; preds = %203, %195
  br label %215

215:                                              ; preds = %214, %187
  br label %216

216:                                              ; preds = %215, %175
  br label %217

217:                                              ; preds = %216, %167
  %218 = load i16, ptr %15, align 2, !tbaa !11
  %219 = icmp ne i16 %218, 0
  br i1 %219, label %226, label %220

220:                                              ; preds = %217
  call void @llvm.lifetime.start.p0(i64 1200, ptr %50) #8
  %221 = getelementptr inbounds [1200 x i8], ptr %50, i64 0, i64 0
  %222 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %221, i64 noundef 1200, ptr noundef @.str.13, ptr noundef @.str.14) #8
  %223 = load ptr, ptr @stdout, align 8, !tbaa !5
  %224 = getelementptr inbounds [1200 x i8], ptr %50, i64 0, i64 0
  %225 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %223, ptr noundef @.str.15, ptr noundef %224) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %50) #8
  br label %226

226:                                              ; preds = %220, %217
  %227 = load i16, ptr %15, align 2, !tbaa !11
  %228 = icmp ne i16 %227, 0
  br i1 %228, label %235, label %229

229:                                              ; preds = %226
  call void @llvm.lifetime.start.p0(i64 1200, ptr %51) #8
  %230 = getelementptr inbounds [1200 x i8], ptr %51, i64 0, i64 0
  %231 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %230, i64 noundef 1200, ptr noundef @.str.16, ptr noundef @.str.14) #8
  %232 = load ptr, ptr @stdout, align 8, !tbaa !5
  %233 = getelementptr inbounds [1200 x i8], ptr %51, i64 0, i64 0
  %234 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %232, ptr noundef @.str.15, ptr noundef %233) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %51) #8
  br label %235

235:                                              ; preds = %229, %226
  %236 = load i16, ptr %15, align 2, !tbaa !11
  %237 = icmp ne i16 %236, 0
  br i1 %237, label %297, label %238

238:                                              ; preds = %235
  call void @llvm.lifetime.start.p0(i64 1200, ptr %52) #8
  %239 = getelementptr inbounds [1200 x i8], ptr %52, i64 0, i64 0
  %240 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %239, i64 noundef 1200, ptr noundef @.str.17, ptr noundef @.str.14) #8
  %241 = load ptr, ptr @stdout, align 8, !tbaa !5
  %242 = getelementptr inbounds [1200 x i8], ptr %52, i64 0, i64 0
  %243 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %241, ptr noundef @.str.15, ptr noundef %242) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %52) #8
  %244 = load ptr, ptr %10, align 8, !tbaa !5
  %245 = load i64, ptr %11, align 8, !tbaa !9
  call void @utils_printFormattedOctetString(i8 noundef zeroext 4, ptr noundef @.str.14, ptr noundef @.str.18, i8 noundef zeroext 6, ptr noundef %244, i64 noundef %245)
  %246 = load i64, ptr %14, align 8, !tbaa !9
  %247 = load i64, ptr %11, align 8, !tbaa !9
  %248 = add i64 %246, %247
  store i64 %248, ptr %35, align 8, !tbaa !9
  %249 = load i64, ptr %35, align 8, !tbaa !9
  %250 = add i64 %249, 1
  %251 = call noalias ptr @calloc(i64 noundef 1, i64 noundef %250) #9
  store ptr %251, ptr %34, align 8, !tbaa !5
  %252 = icmp ne ptr %251, null
  br i1 %252, label %259, label %253

253:                                              ; preds = %238
  call void @llvm.lifetime.start.p0(i64 1200, ptr %53) #8
  %254 = getelementptr inbounds [1200 x i8], ptr %53, i64 0, i64 0
  %255 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %254, i64 noundef 1200, ptr noundef @.str.19, ptr noundef @.str.1) #8
  %256 = load ptr, ptr @stdout, align 8, !tbaa !5
  %257 = getelementptr inbounds [1200 x i8], ptr %53, i64 0, i64 0
  %258 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %256, ptr noundef @.str.2, ptr noundef %257) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %53) #8
  store i16 1, ptr %15, align 2, !tbaa !11
  br label %296

259:                                              ; preds = %238
  %260 = load ptr, ptr %34, align 8, !tbaa !5
  %261 = load ptr, ptr %13, align 8, !tbaa !5
  %262 = load i64, ptr %14, align 8, !tbaa !9
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %260, ptr align 1 %261, i64 %262, i1 false)
  %263 = load ptr, ptr %34, align 8, !tbaa !5
  %264 = load i64, ptr %14, align 8, !tbaa !9
  %265 = getelementptr inbounds i8, ptr %263, i64 %264
  %266 = load ptr, ptr %10, align 8, !tbaa !5
  %267 = load i64, ptr %11, align 8, !tbaa !9
  call void @llvm.memcpy.p0.p0.i64(ptr align 1 %265, ptr align 1 %266, i64 %267, i1 false)
  %268 = load ptr, ptr %34, align 8, !tbaa !5
  %269 = load i64, ptr %35, align 8, !tbaa !9
  call void @utils_printFormattedOctetString(i8 noundef zeroext 4, ptr noundef @.str.14, ptr noundef @.str.20, i8 noundef zeroext 6, ptr noundef %268, i64 noundef %269)
  %270 = call ptr @BN_new()
  store ptr %270, ptr %22, align 8, !tbaa !5
  %271 = icmp ne ptr %270, null
  br i1 %271, label %278, label %272

272:                                              ; preds = %259
  call void @llvm.lifetime.start.p0(i64 1200, ptr %54) #8
  %273 = getelementptr inbounds [1200 x i8], ptr %54, i64 0, i64 0
  %274 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %273, i64 noundef 1200, ptr noundef @.str.21, ptr noundef @.str.1) #8
  %275 = load ptr, ptr @stdout, align 8, !tbaa !5
  %276 = getelementptr inbounds [1200 x i8], ptr %54, i64 0, i64 0
  %277 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %275, ptr noundef @.str.2, ptr noundef %276) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %54) #8
  store i16 1, ptr %15, align 2, !tbaa !11
  br label %295

278:                                              ; preds = %259
  %279 = load ptr, ptr %22, align 8, !tbaa !5
  %280 = load ptr, ptr %34, align 8, !tbaa !5
  %281 = load i64, ptr %35, align 8, !tbaa !9
  %282 = load i8, ptr %31, align 1, !tbaa !13
  %283 = call ptr @ms_getParameter_q(i8 noundef zeroext %282)
  %284 = call zeroext i8 @sakke_hashToIntegerRangeSHA256(ptr noundef %279, ptr noundef %280, i64 noundef %281, ptr noundef %283)
  %285 = icmp ne i8 %284, 0
  br i1 %285, label %286, label %292

286:                                              ; preds = %278
  call void @llvm.lifetime.start.p0(i64 1200, ptr %55) #8
  %287 = getelementptr inbounds [1200 x i8], ptr %55, i64 0, i64 0
  %288 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %287, i64 noundef 1200, ptr noundef @.str.22, ptr noundef @.str.1) #8
  %289 = load ptr, ptr @stdout, align 8, !tbaa !5
  %290 = getelementptr inbounds [1200 x i8], ptr %55, i64 0, i64 0
  %291 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %289, ptr noundef @.str.2, ptr noundef %290) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %55) #8
  store i16 1, ptr %15, align 2, !tbaa !11
  br label %294

292:                                              ; preds = %278
  %293 = load ptr, ptr %22, align 8, !tbaa !5
  call void @utils_BNdump(i8 noundef zeroext 4, ptr noundef @.str.14, ptr noundef @.str.23, i8 noundef zeroext 6, ptr noundef %293)
  br label %294

294:                                              ; preds = %292, %286
  br label %295

295:                                              ; preds = %294, %272
  br label %296

296:                                              ; preds = %295, %253
  br label %297

297:                                              ; preds = %296, %235
  %298 = load i16, ptr %15, align 2, !tbaa !11
  %299 = icmp ne i16 %298, 0
  br i1 %299, label %424, label %300

300:                                              ; preds = %297
  call void @llvm.lifetime.start.p0(i64 1200, ptr %56) #8
  %301 = getelementptr inbounds [1200 x i8], ptr %56, i64 0, i64 0
  %302 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %301, i64 noundef 1200, ptr noundef @.str.24, ptr noundef @.str.14) #8
  %303 = load ptr, ptr @stdout, align 8, !tbaa !5
  %304 = getelementptr inbounds [1200 x i8], ptr %56, i64 0, i64 0
  %305 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %303, ptr noundef @.str.15, ptr noundef %304) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %56) #8
  %306 = load ptr, ptr %28, align 8, !tbaa !5
  %307 = call ptr @EC_POINT_new(ptr noundef %306)
  store ptr %307, ptr %29, align 8, !tbaa !5
  %308 = icmp ne ptr %307, null
  br i1 %308, label %315, label %309

309:                                              ; preds = %300
  call void @llvm.lifetime.start.p0(i64 1200, ptr %57) #8
  %310 = getelementptr inbounds [1200 x i8], ptr %57, i64 0, i64 0
  %311 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %310, i64 noundef 1200, ptr noundef @.str.25, ptr noundef @.str.1) #8
  %312 = load ptr, ptr @stdout, align 8, !tbaa !5
  %313 = getelementptr inbounds [1200 x i8], ptr %57, i64 0, i64 0
  %314 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %312, ptr noundef @.str.2, ptr noundef %313) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %57) #8
  store i16 1, ptr %15, align 2, !tbaa !11
  br label %423

315:                                              ; preds = %300
  %316 = load ptr, ptr %10, align 8, !tbaa !5
  %317 = load i64, ptr %11, align 8, !tbaa !9
  %318 = trunc i64 %317 to i32
  %319 = call ptr @BN_bin2bn(ptr noundef %316, i32 noundef %318, ptr noundef null)
  store ptr %319, ptr %17, align 8, !tbaa !5
  %320 = icmp ne ptr %319, null
  br i1 %320, label %327, label %321

321:                                              ; preds = %315
  call void @llvm.lifetime.start.p0(i64 1200, ptr %58) #8
  %322 = getelementptr inbounds [1200 x i8], ptr %58, i64 0, i64 0
  %323 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %322, i64 noundef 1200, ptr noundef @.str.26, ptr noundef @.str.1) #8
  %324 = load ptr, ptr @stdout, align 8, !tbaa !5
  %325 = getelementptr inbounds [1200 x i8], ptr %58, i64 0, i64 0
  %326 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %324, ptr noundef @.str.2, ptr noundef %325) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %58) #8
  store i16 1, ptr %15, align 2, !tbaa !11
  br label %422

327:                                              ; preds = %315
  %328 = load ptr, ptr %12, align 8, !tbaa !5
  %329 = call ptr @community_getZ_point(ptr noundef %328)
  store ptr %329, ptr %30, align 8, !tbaa !5
  %330 = icmp ne ptr %329, null
  br i1 %330, label %337, label %331

331:                                              ; preds = %327
  call void @llvm.lifetime.start.p0(i64 1200, ptr %59) #8
  %332 = getelementptr inbounds [1200 x i8], ptr %59, i64 0, i64 0
  %333 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %332, i64 noundef 1200, ptr noundef @.str.27, ptr noundef @.str.1) #8
  %334 = load ptr, ptr @stdout, align 8, !tbaa !5
  %335 = getelementptr inbounds [1200 x i8], ptr %59, i64 0, i64 0
  %336 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %334, ptr noundef @.str.2, ptr noundef %335) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %59) #8
  store i16 1, ptr %15, align 2, !tbaa !11
  br label %421

337:                                              ; preds = %327
  %338 = load ptr, ptr %28, align 8, !tbaa !5
  %339 = load ptr, ptr %29, align 8, !tbaa !5
  %340 = load i8, ptr %31, align 1, !tbaa !13
  %341 = call ptr @ms_getParameter_P(i8 noundef zeroext %340)
  %342 = load ptr, ptr %17, align 8, !tbaa !5
  %343 = load ptr, ptr %38, align 8, !tbaa !5
  %344 = call i32 @EC_POINT_mul(ptr noundef %338, ptr noundef %339, ptr noundef null, ptr noundef %341, ptr noundef %342, ptr noundef %343)
  %345 = icmp ne i32 %344, 0
  br i1 %345, label %352, label %346

346:                                              ; preds = %337
  call void @llvm.lifetime.start.p0(i64 1200, ptr %60) #8
  %347 = getelementptr inbounds [1200 x i8], ptr %60, i64 0, i64 0
  %348 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %347, i64 noundef 1200, ptr noundef @.str.28, ptr noundef @.str.1) #8
  %349 = load ptr, ptr @stdout, align 8, !tbaa !5
  %350 = getelementptr inbounds [1200 x i8], ptr %60, i64 0, i64 0
  %351 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %349, ptr noundef @.str.2, ptr noundef %350) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %60) #8
  store i16 1, ptr %15, align 2, !tbaa !11
  br label %420

352:                                              ; preds = %337
  %353 = load ptr, ptr %28, align 8, !tbaa !5
  %354 = load ptr, ptr %29, align 8, !tbaa !5
  %355 = load ptr, ptr %29, align 8, !tbaa !5
  %356 = load ptr, ptr %30, align 8, !tbaa !5
  %357 = load ptr, ptr %38, align 8, !tbaa !5
  %358 = call i32 @EC_POINT_add(ptr noundef %353, ptr noundef %354, ptr noundef %355, ptr noundef %356, ptr noundef %357)
  %359 = icmp ne i32 %358, 0
  br i1 %359, label %366, label %360

360:                                              ; preds = %352
  call void @llvm.lifetime.start.p0(i64 1200, ptr %61) #8
  %361 = getelementptr inbounds [1200 x i8], ptr %61, i64 0, i64 0
  %362 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %361, i64 noundef 1200, ptr noundef @.str.29, ptr noundef @.str.1) #8
  %363 = load ptr, ptr @stdout, align 8, !tbaa !5
  %364 = getelementptr inbounds [1200 x i8], ptr %61, i64 0, i64 0
  %365 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %363, ptr noundef @.str.2, ptr noundef %364) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %61) #8
  store i16 1, ptr %15, align 2, !tbaa !11
  br label %419

366:                                              ; preds = %352
  %367 = load ptr, ptr %28, align 8, !tbaa !5
  %368 = load ptr, ptr %29, align 8, !tbaa !5
  %369 = load ptr, ptr %29, align 8, !tbaa !5
  %370 = load ptr, ptr %22, align 8, !tbaa !5
  %371 = load ptr, ptr %38, align 8, !tbaa !5
  %372 = call i32 @EC_POINT_mul(ptr noundef %367, ptr noundef %368, ptr noundef null, ptr noundef %369, ptr noundef %370, ptr noundef %371)
  %373 = icmp ne i32 %372, 0
  br i1 %373, label %380, label %374

374:                                              ; preds = %366
  call void @llvm.lifetime.start.p0(i64 1200, ptr %62) #8
  %375 = getelementptr inbounds [1200 x i8], ptr %62, i64 0, i64 0
  %376 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %375, i64 noundef 1200, ptr noundef @.str.30, ptr noundef @.str.1) #8
  %377 = load ptr, ptr @stdout, align 8, !tbaa !5
  %378 = getelementptr inbounds [1200 x i8], ptr %62, i64 0, i64 0
  %379 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %377, ptr noundef @.str.2, ptr noundef %378) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %62) #8
  store i16 1, ptr %15, align 2, !tbaa !11
  br label %418

380:                                              ; preds = %366
  %381 = call ptr @BN_new()
  store ptr %381, ptr %23, align 8, !tbaa !5
  %382 = icmp ne ptr %381, null
  br i1 %382, label %389, label %383

383:                                              ; preds = %380
  call void @llvm.lifetime.start.p0(i64 1200, ptr %63) #8
  %384 = getelementptr inbounds [1200 x i8], ptr %63, i64 0, i64 0
  %385 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %384, i64 noundef 1200, ptr noundef @.str.31, ptr noundef @.str.1) #8
  %386 = load ptr, ptr @stdout, align 8, !tbaa !5
  %387 = getelementptr inbounds [1200 x i8], ptr %63, i64 0, i64 0
  %388 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %386, ptr noundef @.str.2, ptr noundef %387) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %63) #8
  store i16 1, ptr %15, align 2, !tbaa !11
  br label %417

389:                                              ; preds = %380
  %390 = call ptr @BN_new()
  store ptr %390, ptr %24, align 8, !tbaa !5
  %391 = icmp ne ptr %390, null
  br i1 %391, label %398, label %392

392:                                              ; preds = %389
  call void @llvm.lifetime.start.p0(i64 1200, ptr %64) #8
  %393 = getelementptr inbounds [1200 x i8], ptr %64, i64 0, i64 0
  %394 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %393, i64 noundef 1200, ptr noundef @.str.32, ptr noundef @.str.1) #8
  %395 = load ptr, ptr @stdout, align 8, !tbaa !5
  %396 = getelementptr inbounds [1200 x i8], ptr %64, i64 0, i64 0
  %397 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %395, ptr noundef @.str.2, ptr noundef %396) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %64) #8
  store i16 1, ptr %15, align 2, !tbaa !11
  br label %416

398:                                              ; preds = %389
  %399 = load ptr, ptr %28, align 8, !tbaa !5
  %400 = load ptr, ptr %29, align 8, !tbaa !5
  %401 = load ptr, ptr %23, align 8, !tbaa !5
  %402 = load ptr, ptr %24, align 8, !tbaa !5
  %403 = load ptr, ptr %38, align 8, !tbaa !5
  %404 = call i32 @EC_POINT_get_affine_coordinates_GFp(ptr noundef %399, ptr noundef %400, ptr noundef %401, ptr noundef %402, ptr noundef %403)
  %405 = icmp ne i32 %404, 0
  br i1 %405, label %412, label %406

406:                                              ; preds = %398
  call void @llvm.lifetime.start.p0(i64 1200, ptr %65) #8
  %407 = getelementptr inbounds [1200 x i8], ptr %65, i64 0, i64 0
  %408 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %407, i64 noundef 1200, ptr noundef @.str.33, ptr noundef @.str.1) #8
  %409 = load ptr, ptr @stdout, align 8, !tbaa !5
  %410 = getelementptr inbounds [1200 x i8], ptr %65, i64 0, i64 0
  %411 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %409, ptr noundef @.str.2, ptr noundef %410) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %65) #8
  store i16 1, ptr %15, align 2, !tbaa !11
  br label %415

412:                                              ; preds = %398
  %413 = load ptr, ptr %23, align 8, !tbaa !5
  call void @utils_BNdump(i8 noundef zeroext 4, ptr noundef @.str.14, ptr noundef @.str.34, i8 noundef zeroext 6, ptr noundef %413)
  %414 = load ptr, ptr %24, align 8, !tbaa !5
  call void @utils_BNdump(i8 noundef zeroext 4, ptr noundef @.str.14, ptr noundef @.str.35, i8 noundef zeroext 6, ptr noundef %414)
  br label %415

415:                                              ; preds = %412, %406
  br label %416

416:                                              ; preds = %415, %392
  br label %417

417:                                              ; preds = %416, %383
  br label %418

418:                                              ; preds = %417, %374
  br label %419

419:                                              ; preds = %418, %360
  br label %420

420:                                              ; preds = %419, %346
  br label %421

421:                                              ; preds = %420, %331
  br label %422

422:                                              ; preds = %421, %321
  br label %423

423:                                              ; preds = %422, %309
  br label %424

424:                                              ; preds = %423, %297
  %425 = load i16, ptr %15, align 2, !tbaa !11
  %426 = icmp ne i16 %425, 0
  br i1 %426, label %433, label %427

427:                                              ; preds = %424
  call void @llvm.lifetime.start.p0(i64 1200, ptr %66) #8
  %428 = getelementptr inbounds [1200 x i8], ptr %66, i64 0, i64 0
  %429 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %428, i64 noundef 1200, ptr noundef @.str.36, ptr noundef @.str.14) #8
  %430 = load ptr, ptr @stdout, align 8, !tbaa !5
  %431 = getelementptr inbounds [1200 x i8], ptr %66, i64 0, i64 0
  %432 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %430, ptr noundef @.str.15, ptr noundef %431) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %66) #8
  br label %433

433:                                              ; preds = %427, %424
  %434 = load i16, ptr %15, align 2, !tbaa !11
  %435 = icmp ne i16 %434, 0
  br i1 %435, label %570, label %436

436:                                              ; preds = %433
  call void @llvm.lifetime.start.p0(i64 1200, ptr %67) #8
  %437 = getelementptr inbounds [1200 x i8], ptr %67, i64 0, i64 0
  %438 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %437, i64 noundef 1200, ptr noundef @.str.37, ptr noundef @.str.14) #8
  %439 = load ptr, ptr @stdout, align 8, !tbaa !5
  %440 = getelementptr inbounds [1200 x i8], ptr %67, i64 0, i64 0
  %441 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %439, ptr noundef @.str.15, ptr noundef %440) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %67) #8
  %442 = load ptr, ptr %22, align 8, !tbaa !5
  %443 = call i32 @BN_is_zero(ptr noundef %442)
  %444 = icmp ne i32 %443, 0
  br i1 %444, label %445, label %451

445:                                              ; preds = %436
  call void @llvm.lifetime.start.p0(i64 1200, ptr %68) #8
  %446 = getelementptr inbounds [1200 x i8], ptr %68, i64 0, i64 0
  %447 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %446, i64 noundef 1200, ptr noundef @.str.38, ptr noundef @.str.1) #8
  %448 = load ptr, ptr @stdout, align 8, !tbaa !5
  %449 = getelementptr inbounds [1200 x i8], ptr %68, i64 0, i64 0
  %450 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %448, ptr noundef @.str.2, ptr noundef %449) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %68) #8
  store i16 1, ptr %15, align 2, !tbaa !11
  br label %569

451:                                              ; preds = %436
  %452 = call ptr @BN_new()
  store ptr %452, ptr %18, align 8, !tbaa !5
  %453 = icmp ne ptr %452, null
  br i1 %453, label %460, label %454

454:                                              ; preds = %451
  call void @llvm.lifetime.start.p0(i64 1200, ptr %69) #8
  %455 = getelementptr inbounds [1200 x i8], ptr %69, i64 0, i64 0
  %456 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %455, i64 noundef 1200, ptr noundef @.str.39, ptr noundef @.str.1) #8
  %457 = load ptr, ptr @stdout, align 8, !tbaa !5
  %458 = getelementptr inbounds [1200 x i8], ptr %69, i64 0, i64 0
  %459 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %457, ptr noundef @.str.2, ptr noundef %458) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %69) #8
  store i16 1, ptr %15, align 2, !tbaa !11
  br label %568

460:                                              ; preds = %451
  %461 = load i8, ptr %31, align 1, !tbaa !13
  %462 = call ptr @ms_getParameter_p(i8 noundef zeroext %461)
  store ptr %462, ptr %21, align 8, !tbaa !5
  %463 = icmp ne ptr %462, null
  br i1 %463, label %472, label %464

464:                                              ; preds = %460
  call void @llvm.lifetime.start.p0(i64 1200, ptr %70) #8
  %465 = getelementptr inbounds [1200 x i8], ptr %70, i64 0, i64 0
  %466 = load i8, ptr %31, align 1, !tbaa !13
  %467 = zext i8 %466 to i32
  %468 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %465, i64 noundef 1200, ptr noundef @.str.40, ptr noundef @.str.1, i32 noundef %467) #8
  %469 = load ptr, ptr @stdout, align 8, !tbaa !5
  %470 = getelementptr inbounds [1200 x i8], ptr %70, i64 0, i64 0
  %471 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %469, ptr noundef @.str.2, ptr noundef %470) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %70) #8
  store i16 1, ptr %15, align 2, !tbaa !11
  br label %567

472:                                              ; preds = %460
  %473 = call ptr @BN_new()
  store ptr %473, ptr %25, align 8, !tbaa !5
  %474 = icmp ne ptr %473, null
  br i1 %474, label %481, label %475

475:                                              ; preds = %472
  call void @llvm.lifetime.start.p0(i64 1200, ptr %71) #8
  %476 = getelementptr inbounds [1200 x i8], ptr %71, i64 0, i64 0
  %477 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %476, i64 noundef 1200, ptr noundef @.str.41, ptr noundef @.str.1) #8
  %478 = load ptr, ptr @stdout, align 8, !tbaa !5
  %479 = getelementptr inbounds [1200 x i8], ptr %71, i64 0, i64 0
  %480 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %478, ptr noundef @.str.2, ptr noundef %479) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %71) #8
  store i16 1, ptr %15, align 2, !tbaa !11
  br label %566

481:                                              ; preds = %472
  %482 = call ptr @BN_new()
  store ptr %482, ptr %26, align 8, !tbaa !5
  %483 = icmp ne ptr %482, null
  br i1 %483, label %490, label %484

484:                                              ; preds = %481
  call void @llvm.lifetime.start.p0(i64 1200, ptr %72) #8
  %485 = getelementptr inbounds [1200 x i8], ptr %72, i64 0, i64 0
  %486 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %485, i64 noundef 1200, ptr noundef @.str.42, ptr noundef @.str.1) #8
  %487 = load ptr, ptr @stdout, align 8, !tbaa !5
  %488 = getelementptr inbounds [1200 x i8], ptr %72, i64 0, i64 0
  %489 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %487, ptr noundef @.str.2, ptr noundef %488) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %72) #8
  store i16 1, ptr %15, align 2, !tbaa !11
  br label %565

490:                                              ; preds = %481
  %491 = load ptr, ptr %21, align 8, !tbaa !5
  %492 = load ptr, ptr %25, align 8, !tbaa !5
  %493 = load ptr, ptr %26, align 8, !tbaa !5
  %494 = call ptr @BN_value_one()
  %495 = load i8, ptr %31, align 1, !tbaa !13
  %496 = call ptr @ms_getParameter_g(i8 noundef zeroext %495)
  %497 = load ptr, ptr %22, align 8, !tbaa !5
  %498 = call zeroext i8 @sakke_pointExponent(ptr noundef %491, ptr noundef %492, ptr noundef %493, ptr noundef %494, ptr noundef %496, ptr noundef %497)
  %499 = icmp ne i8 %498, 0
  br i1 %499, label %500, label %506

500:                                              ; preds = %490
  call void @llvm.lifetime.start.p0(i64 1200, ptr %73) #8
  %501 = getelementptr inbounds [1200 x i8], ptr %73, i64 0, i64 0
  %502 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %501, i64 noundef 1200, ptr noundef @.str.43, ptr noundef @.str.1) #8
  %503 = load ptr, ptr @stdout, align 8, !tbaa !5
  %504 = getelementptr inbounds [1200 x i8], ptr %73, i64 0, i64 0
  %505 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %503, ptr noundef @.str.2, ptr noundef %504) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %73) #8
  store i16 1, ptr %15, align 2, !tbaa !11
  br label %564

506:                                              ; preds = %490
  %507 = load ptr, ptr %18, align 8, !tbaa !5
  %508 = load ptr, ptr %25, align 8, !tbaa !5
  %509 = load ptr, ptr %21, align 8, !tbaa !5
  %510 = load ptr, ptr %38, align 8, !tbaa !5
  %511 = call i32 @BN_div(ptr noundef null, ptr noundef %507, ptr noundef %508, ptr noundef %509, ptr noundef %510)
  %512 = icmp ne i32 %511, 0
  br i1 %512, label %519, label %513

513:                                              ; preds = %506
  call void @llvm.lifetime.start.p0(i64 1200, ptr %74) #8
  %514 = getelementptr inbounds [1200 x i8], ptr %74, i64 0, i64 0
  %515 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %514, i64 noundef 1200, ptr noundef @.str.44, ptr noundef @.str.1) #8
  %516 = load ptr, ptr @stdout, align 8, !tbaa !5
  %517 = getelementptr inbounds [1200 x i8], ptr %74, i64 0, i64 0
  %518 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %516, ptr noundef @.str.2, ptr noundef %517) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %74) #8
  store i16 1, ptr %15, align 2, !tbaa !11
  br label %563

519:                                              ; preds = %506
  %520 = load ptr, ptr %18, align 8, !tbaa !5
  %521 = load ptr, ptr %18, align 8, !tbaa !5
  %522 = load ptr, ptr %21, align 8, !tbaa !5
  %523 = load ptr, ptr %38, align 8, !tbaa !5
  %524 = call ptr @BN_mod_inverse(ptr noundef %520, ptr noundef %521, ptr noundef %522, ptr noundef %523)
  %525 = icmp ne ptr %524, null
  br i1 %525, label %532, label %526

526:                                              ; preds = %519
  call void @llvm.lifetime.start.p0(i64 1200, ptr %75) #8
  %527 = getelementptr inbounds [1200 x i8], ptr %75, i64 0, i64 0
  %528 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %527, i64 noundef 1200, ptr noundef @.str.45, ptr noundef @.str.1) #8
  %529 = load ptr, ptr @stdout, align 8, !tbaa !5
  %530 = getelementptr inbounds [1200 x i8], ptr %75, i64 0, i64 0
  %531 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %529, ptr noundef @.str.2, ptr noundef %530) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %75) #8
  store i16 1, ptr %15, align 2, !tbaa !11
  br label %562

532:                                              ; preds = %519
  %533 = load ptr, ptr %18, align 8, !tbaa !5
  %534 = load ptr, ptr %18, align 8, !tbaa !5
  %535 = load ptr, ptr %26, align 8, !tbaa !5
  %536 = load ptr, ptr %38, align 8, !tbaa !5
  %537 = call i32 @BN_mul(ptr noundef %533, ptr noundef %534, ptr noundef %535, ptr noundef %536)
  %538 = icmp ne i32 %537, 0
  br i1 %538, label %545, label %539

539:                                              ; preds = %532
  call void @llvm.lifetime.start.p0(i64 1200, ptr %76) #8
  %540 = getelementptr inbounds [1200 x i8], ptr %76, i64 0, i64 0
  %541 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %540, i64 noundef 1200, ptr noundef @.str.46, ptr noundef @.str.1) #8
  %542 = load ptr, ptr @stdout, align 8, !tbaa !5
  %543 = getelementptr inbounds [1200 x i8], ptr %76, i64 0, i64 0
  %544 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %542, ptr noundef @.str.2, ptr noundef %543) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %76) #8
  store i16 1, ptr %15, align 2, !tbaa !11
  br label %561

545:                                              ; preds = %532
  %546 = load ptr, ptr %18, align 8, !tbaa !5
  %547 = load ptr, ptr %18, align 8, !tbaa !5
  %548 = load ptr, ptr %21, align 8, !tbaa !5
  %549 = load ptr, ptr %38, align 8, !tbaa !5
  %550 = call i32 @BN_div(ptr noundef null, ptr noundef %546, ptr noundef %547, ptr noundef %548, ptr noundef %549)
  %551 = icmp ne i32 %550, 0
  br i1 %551, label %558, label %552

552:                                              ; preds = %545
  call void @llvm.lifetime.start.p0(i64 1200, ptr %77) #8
  %553 = getelementptr inbounds [1200 x i8], ptr %77, i64 0, i64 0
  %554 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %553, i64 noundef 1200, ptr noundef @.str.47, ptr noundef @.str.1) #8
  %555 = load ptr, ptr @stdout, align 8, !tbaa !5
  %556 = getelementptr inbounds [1200 x i8], ptr %77, i64 0, i64 0
  %557 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %555, ptr noundef @.str.2, ptr noundef %556) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %77) #8
  store i16 1, ptr %15, align 2, !tbaa !11
  br label %560

558:                                              ; preds = %545
  %559 = load ptr, ptr %18, align 8, !tbaa !5
  call void @utils_BNdump(i8 noundef zeroext 4, ptr noundef @.str.14, ptr noundef @.str.48, i8 noundef zeroext 8, ptr noundef %559)
  br label %560

560:                                              ; preds = %558, %552
  br label %561

561:                                              ; preds = %560, %539
  br label %562

562:                                              ; preds = %561, %526
  br label %563

563:                                              ; preds = %562, %513
  br label %564

564:                                              ; preds = %563, %500
  br label %565

565:                                              ; preds = %564, %484
  br label %566

566:                                              ; preds = %565, %475
  br label %567

567:                                              ; preds = %566, %464
  br label %568

568:                                              ; preds = %567, %454
  br label %569

569:                                              ; preds = %568, %445
  br label %570

570:                                              ; preds = %569, %433
  %571 = load i16, ptr %15, align 2, !tbaa !11
  %572 = icmp ne i16 %571, 0
  br i1 %572, label %708, label %573

573:                                              ; preds = %570
  call void @llvm.lifetime.start.p0(i64 1200, ptr %78) #8
  %574 = getelementptr inbounds [1200 x i8], ptr %78, i64 0, i64 0
  %575 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %574, i64 noundef 1200, ptr noundef @.str.49, ptr noundef @.str.50) #8
  %576 = load ptr, ptr @stdout, align 8, !tbaa !5
  %577 = getelementptr inbounds [1200 x i8], ptr %78, i64 0, i64 0
  %578 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %576, ptr noundef @.str.15, ptr noundef %577) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %78) #8
  %579 = call ptr @BN_new()
  store ptr %579, ptr %27, align 8, !tbaa !5
  %580 = icmp ne ptr %579, null
  br i1 %580, label %587, label %581

581:                                              ; preds = %573
  call void @llvm.lifetime.start.p0(i64 1200, ptr %79) #8
  %582 = getelementptr inbounds [1200 x i8], ptr %79, i64 0, i64 0
  %583 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %582, i64 noundef 1200, ptr noundef @.str.51, ptr noundef @.str.1) #8
  %584 = load ptr, ptr @stdout, align 8, !tbaa !5
  %585 = getelementptr inbounds [1200 x i8], ptr %79, i64 0, i64 0
  %586 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %584, ptr noundef @.str.2, ptr noundef %585) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %79) #8
  store i16 1, ptr %15, align 2, !tbaa !11
  br label %707

587:                                              ; preds = %573
  %588 = load ptr, ptr %27, align 8, !tbaa !5
  %589 = load i8, ptr %31, align 1, !tbaa !13
  %590 = call zeroext i16 @ms_getParameter_n(i8 noundef zeroext %589)
  %591 = zext i16 %590 to i32
  %592 = call i32 @BN_set_bit(ptr noundef %588, i32 noundef %591)
  %593 = call ptr @BN_new()
  store ptr %593, ptr %20, align 8, !tbaa !5
  %594 = icmp ne ptr %593, null
  br i1 %594, label %601, label %595

595:                                              ; preds = %587
  call void @llvm.lifetime.start.p0(i64 1200, ptr %80) #8
  %596 = getelementptr inbounds [1200 x i8], ptr %80, i64 0, i64 0
  %597 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %596, i64 noundef 1200, ptr noundef @.str.52, ptr noundef @.str.1) #8
  %598 = load ptr, ptr @stdout, align 8, !tbaa !5
  %599 = getelementptr inbounds [1200 x i8], ptr %80, i64 0, i64 0
  %600 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %598, ptr noundef @.str.2, ptr noundef %599) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %80) #8
  store i16 1, ptr %15, align 2, !tbaa !11
  br label %706

601:                                              ; preds = %587
  %602 = load ptr, ptr %18, align 8, !tbaa !5
  %603 = call i32 @BN_num_bits(ptr noundef %602)
  %604 = add nsw i32 %603, 7
  %605 = sdiv i32 %604, 8
  %606 = sext i32 %605 to i64
  store i64 %606, ptr %33, align 8, !tbaa !9
  %607 = icmp ne i64 %606, 0
  br i1 %607, label %614, label %608

608:                                              ; preds = %601
  call void @llvm.lifetime.start.p0(i64 1200, ptr %81) #8
  %609 = getelementptr inbounds [1200 x i8], ptr %81, i64 0, i64 0
  %610 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %609, i64 noundef 1200, ptr noundef @.str.53, ptr noundef @.str.1) #8
  %611 = load ptr, ptr @stdout, align 8, !tbaa !5
  %612 = getelementptr inbounds [1200 x i8], ptr %81, i64 0, i64 0
  %613 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %611, ptr noundef @.str.2, ptr noundef %612) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %81) #8
  store i16 1, ptr %15, align 2, !tbaa !11
  br label %705

614:                                              ; preds = %601
  %615 = load i64, ptr %33, align 8, !tbaa !9
  %616 = call noalias ptr @calloc(i64 noundef 1, i64 noundef %615) #9
  store ptr %616, ptr %32, align 8, !tbaa !5
  %617 = icmp ne ptr %616, null
  br i1 %617, label %624, label %618

618:                                              ; preds = %614
  call void @llvm.lifetime.start.p0(i64 1200, ptr %82) #8
  %619 = getelementptr inbounds [1200 x i8], ptr %82, i64 0, i64 0
  %620 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %619, i64 noundef 1200, ptr noundef @.str.54, ptr noundef @.str.1) #8
  %621 = load ptr, ptr @stdout, align 8, !tbaa !5
  %622 = getelementptr inbounds [1200 x i8], ptr %82, i64 0, i64 0
  %623 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %621, ptr noundef @.str.2, ptr noundef %622) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %82) #8
  store i16 1, ptr %15, align 2, !tbaa !11
  br label %704

624:                                              ; preds = %614
  %625 = load ptr, ptr %18, align 8, !tbaa !5
  %626 = load ptr, ptr %32, align 8, !tbaa !5
  %627 = call i32 @BN_bn2bin(ptr noundef %625, ptr noundef %626)
  %628 = icmp ne i32 %627, 0
  br i1 %628, label %635, label %629

629:                                              ; preds = %624
  call void @llvm.lifetime.start.p0(i64 1200, ptr %83) #8
  %630 = getelementptr inbounds [1200 x i8], ptr %83, i64 0, i64 0
  %631 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %630, i64 noundef 1200, ptr noundef @.str.55, ptr noundef @.str.1) #8
  %632 = load ptr, ptr @stdout, align 8, !tbaa !5
  %633 = getelementptr inbounds [1200 x i8], ptr %83, i64 0, i64 0
  %634 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %632, ptr noundef @.str.2, ptr noundef %633) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %83) #8
  store i16 1, ptr %15, align 2, !tbaa !11
  br label %703

635:                                              ; preds = %624
  %636 = load ptr, ptr %20, align 8, !tbaa !5
  %637 = load ptr, ptr %32, align 8, !tbaa !5
  %638 = load i64, ptr %33, align 8, !tbaa !9
  %639 = load ptr, ptr %27, align 8, !tbaa !5
  %640 = call zeroext i8 @sakke_hashToIntegerRangeSHA256(ptr noundef %636, ptr noundef %637, i64 noundef %638, ptr noundef %639)
  %641 = icmp ne i8 %640, 0
  br i1 %641, label %642, label %648

642:                                              ; preds = %635
  call void @llvm.lifetime.start.p0(i64 1200, ptr %84) #8
  %643 = getelementptr inbounds [1200 x i8], ptr %84, i64 0, i64 0
  %644 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %643, i64 noundef 1200, ptr noundef @.str.56, ptr noundef @.str.1) #8
  %645 = load ptr, ptr @stdout, align 8, !tbaa !5
  %646 = getelementptr inbounds [1200 x i8], ptr %84, i64 0, i64 0
  %647 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %645, ptr noundef @.str.2, ptr noundef %646) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %84) #8
  store i16 1, ptr %15, align 2, !tbaa !11
  br label %702

648:                                              ; preds = %635
  %649 = load ptr, ptr %20, align 8, !tbaa !5
  call void @utils_BNdump(i8 noundef zeroext 4, ptr noundef @.str.14, ptr noundef @.str.57, i8 noundef zeroext 8, ptr noundef %649)
  %650 = load ptr, ptr %13, align 8, !tbaa !5
  %651 = load i64, ptr %14, align 8, !tbaa !9
  %652 = trunc i64 %651 to i32
  %653 = call ptr @BN_bin2bn(ptr noundef %650, i32 noundef %652, ptr noundef null)
  store ptr %653, ptr %19, align 8, !tbaa !5
  %654 = icmp ne ptr %653, null
  br i1 %654, label %661, label %655

655:                                              ; preds = %648
  call void @llvm.lifetime.start.p0(i64 1200, ptr %85) #8
  %656 = getelementptr inbounds [1200 x i8], ptr %85, i64 0, i64 0
  %657 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %656, i64 noundef 1200, ptr noundef @.str.58, ptr noundef @.str.1) #8
  %658 = load ptr, ptr @stdout, align 8, !tbaa !5
  %659 = getelementptr inbounds [1200 x i8], ptr %85, i64 0, i64 0
  %660 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %658, ptr noundef @.str.2, ptr noundef %659) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %85) #8
  store i16 1, ptr %15, align 2, !tbaa !11
  br label %701

661:                                              ; preds = %648
  %662 = load ptr, ptr %19, align 8, !tbaa !5
  %663 = call i32 @BN_num_bits(ptr noundef %662)
  %664 = load ptr, ptr %20, align 8, !tbaa !5
  %665 = call i32 @BN_num_bits(ptr noundef %664)
  %666 = icmp sgt i32 %663, %665
  br i1 %666, label %667, label %670

667:                                              ; preds = %661
  %668 = load ptr, ptr %19, align 8, !tbaa !5
  %669 = call i32 @BN_num_bits(ptr noundef %668)
  br label %673

670:                                              ; preds = %661
  %671 = load ptr, ptr %20, align 8, !tbaa !5
  %672 = call i32 @BN_num_bits(ptr noundef %671)
  br label %673

673:                                              ; preds = %670, %667
  %674 = phi i32 [ %669, %667 ], [ %672, %670 ]
  store i32 %674, ptr %37, align 4, !tbaa !14
  br label %675

675:                                              ; preds = %696, %673
  %676 = load i32, ptr %37, align 4, !tbaa !14
  %677 = icmp sge i32 %676, 0
  br i1 %677, label %678, label %699

678:                                              ; preds = %675
  %679 = load ptr, ptr %19, align 8, !tbaa !5
  %680 = load i32, ptr %37, align 4, !tbaa !14
  %681 = call i32 @BN_is_bit_set(ptr noundef %679, i32 noundef %680)
  %682 = load ptr, ptr %20, align 8, !tbaa !5
  %683 = load i32, ptr %37, align 4, !tbaa !14
  %684 = call i32 @BN_is_bit_set(ptr noundef %682, i32 noundef %683)
  %685 = xor i32 %681, %684
  %686 = icmp ne i32 %685, 0
  br i1 %686, label %687, label %691

687:                                              ; preds = %678
  %688 = load ptr, ptr %19, align 8, !tbaa !5
  %689 = load i32, ptr %37, align 4, !tbaa !14
  %690 = call i32 @BN_set_bit(ptr noundef %688, i32 noundef %689)
  br label %695

691:                                              ; preds = %678
  %692 = load ptr, ptr %19, align 8, !tbaa !5
  %693 = load i32, ptr %37, align 4, !tbaa !14
  %694 = call i32 @BN_clear_bit(ptr noundef %692, i32 noundef %693)
  br label %695

695:                                              ; preds = %691, %687
  br label %696

696:                                              ; preds = %695
  %697 = load i32, ptr %37, align 4, !tbaa !14
  %698 = add nsw i32 %697, -1
  store i32 %698, ptr %37, align 4, !tbaa !14
  br label %675, !llvm.loop !16

699:                                              ; preds = %675
  %700 = load ptr, ptr %19, align 8, !tbaa !5
  call void @utils_BNdump(i8 noundef zeroext 4, ptr noundef @.str.14, ptr noundef @.str.59, i8 noundef zeroext 8, ptr noundef %700)
  br label %701

701:                                              ; preds = %699, %655
  br label %702

702:                                              ; preds = %701, %642
  br label %703

703:                                              ; preds = %702, %629
  br label %704

704:                                              ; preds = %703, %618
  br label %705

705:                                              ; preds = %704, %608
  br label %706

706:                                              ; preds = %705, %595
  br label %707

707:                                              ; preds = %706, %581
  br label %708

708:                                              ; preds = %707, %570
  %709 = load i16, ptr %15, align 2, !tbaa !11
  %710 = icmp ne i16 %709, 0
  br i1 %710, label %816, label %711

711:                                              ; preds = %708
  call void @llvm.lifetime.start.p0(i64 1200, ptr %86) #8
  %712 = getelementptr inbounds [1200 x i8], ptr %86, i64 0, i64 0
  %713 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %712, i64 noundef 1200, ptr noundef @.str.60, ptr noundef @.str.14) #8
  %714 = load ptr, ptr @stdout, align 8, !tbaa !5
  %715 = getelementptr inbounds [1200 x i8], ptr %86, i64 0, i64 0
  %716 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %714, ptr noundef @.str.15, ptr noundef %715) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %86) #8
  %717 = load ptr, ptr %9, align 8, !tbaa !5
  store i64 273, ptr %717, align 8, !tbaa !9
  %718 = load ptr, ptr %9, align 8, !tbaa !5
  %719 = load i64, ptr %718, align 8, !tbaa !9
  %720 = call noalias ptr @calloc(i64 noundef 1, i64 noundef %719) #9
  %721 = load ptr, ptr %8, align 8, !tbaa !5
  store ptr %720, ptr %721, align 8, !tbaa !5
  %722 = icmp ne ptr %720, null
  br i1 %722, label %729, label %723

723:                                              ; preds = %711
  call void @llvm.lifetime.start.p0(i64 1200, ptr %87) #8
  %724 = getelementptr inbounds [1200 x i8], ptr %87, i64 0, i64 0
  %725 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %724, i64 noundef 1200, ptr noundef @.str.61, ptr noundef @.str.1) #8
  %726 = load ptr, ptr @stdout, align 8, !tbaa !5
  %727 = getelementptr inbounds [1200 x i8], ptr %87, i64 0, i64 0
  %728 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %726, ptr noundef @.str.2, ptr noundef %727) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %87) #8
  store i16 1, ptr %15, align 2, !tbaa !11
  br label %815

729:                                              ; preds = %711
  %730 = load i16, ptr %36, align 2, !tbaa !11
  %731 = zext i16 %730 to i32
  %732 = icmp eq i32 %731, 1
  br i1 %732, label %733, label %736

733:                                              ; preds = %729
  %734 = load ptr, ptr %8, align 8, !tbaa !5
  %735 = load ptr, ptr %734, align 8, !tbaa !5
  call void @llvm.memset.p0.i64(ptr align 1 %735, i8 4, i64 1, i1 false)
  br label %736

736:                                              ; preds = %733, %729
  %737 = load ptr, ptr %23, align 8, !tbaa !5
  %738 = call i32 @BN_num_bits(ptr noundef %737)
  %739 = add nsw i32 %738, 7
  %740 = sdiv i32 %739, 8
  %741 = sub nsw i32 128, %740
  %742 = add nsw i32 %741, 1
  %743 = trunc i32 %742 to i16
  store i16 %743, ptr %36, align 2, !tbaa !11
  %744 = load ptr, ptr %23, align 8, !tbaa !5
  %745 = load ptr, ptr %8, align 8, !tbaa !5
  %746 = load ptr, ptr %745, align 8, !tbaa !5
  %747 = load i16, ptr %36, align 2, !tbaa !11
  %748 = zext i16 %747 to i32
  %749 = sext i32 %748 to i64
  %750 = getelementptr inbounds i8, ptr %746, i64 %749
  %751 = call i32 @BN_bn2bin(ptr noundef %744, ptr noundef %750)
  %752 = icmp ne i32 %751, 0
  br i1 %752, label %759, label %753

753:                                              ; preds = %736
  call void @llvm.lifetime.start.p0(i64 1200, ptr %88) #8
  %754 = getelementptr inbounds [1200 x i8], ptr %88, i64 0, i64 0
  %755 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %754, i64 noundef 1200, ptr noundef @.str.62, ptr noundef @.str.1) #8
  %756 = load ptr, ptr @stdout, align 8, !tbaa !5
  %757 = getelementptr inbounds [1200 x i8], ptr %88, i64 0, i64 0
  %758 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %756, ptr noundef @.str.2, ptr noundef %757) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %88) #8
  store i16 1, ptr %15, align 2, !tbaa !11
  br label %814

759:                                              ; preds = %736
  %760 = load ptr, ptr %24, align 8, !tbaa !5
  %761 = call i32 @BN_num_bits(ptr noundef %760)
  %762 = add nsw i32 %761, 7
  %763 = sdiv i32 %762, 8
  %764 = sub nsw i32 128, %763
  %765 = add nsw i32 128, %764
  %766 = add nsw i32 %765, 1
  %767 = trunc i32 %766 to i16
  store i16 %767, ptr %36, align 2, !tbaa !11
  %768 = load ptr, ptr %24, align 8, !tbaa !5
  %769 = load ptr, ptr %8, align 8, !tbaa !5
  %770 = load ptr, ptr %769, align 8, !tbaa !5
  %771 = load i16, ptr %36, align 2, !tbaa !11
  %772 = zext i16 %771 to i32
  %773 = sext i32 %772 to i64
  %774 = getelementptr inbounds i8, ptr %770, i64 %773
  %775 = call i32 @BN_bn2bin(ptr noundef %768, ptr noundef %774)
  %776 = icmp ne i32 %775, 0
  br i1 %776, label %783, label %777

777:                                              ; preds = %759
  call void @llvm.lifetime.start.p0(i64 1200, ptr %89) #8
  %778 = getelementptr inbounds [1200 x i8], ptr %89, i64 0, i64 0
  %779 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %778, i64 noundef 1200, ptr noundef @.str.63, ptr noundef @.str.1) #8
  %780 = load ptr, ptr @stdout, align 8, !tbaa !5
  %781 = getelementptr inbounds [1200 x i8], ptr %89, i64 0, i64 0
  %782 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %780, ptr noundef @.str.2, ptr noundef %781) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %89) #8
  store i16 1, ptr %15, align 2, !tbaa !11
  br label %813

783:                                              ; preds = %759
  %784 = load ptr, ptr %19, align 8, !tbaa !5
  %785 = call i32 @BN_num_bits(ptr noundef %784)
  %786 = add nsw i32 %785, 7
  %787 = sdiv i32 %786, 8
  %788 = sub nsw i32 16, %787
  %789 = add nsw i32 256, %788
  %790 = add nsw i32 %789, 1
  %791 = trunc i32 %790 to i16
  store i16 %791, ptr %36, align 2, !tbaa !11
  %792 = load ptr, ptr %19, align 8, !tbaa !5
  %793 = load ptr, ptr %8, align 8, !tbaa !5
  %794 = load ptr, ptr %793, align 8, !tbaa !5
  %795 = load i16, ptr %36, align 2, !tbaa !11
  %796 = zext i16 %795 to i32
  %797 = sext i32 %796 to i64
  %798 = getelementptr inbounds i8, ptr %794, i64 %797
  %799 = call i32 @BN_bn2bin(ptr noundef %792, ptr noundef %798)
  %800 = icmp ne i32 %799, 0
  br i1 %800, label %807, label %801

801:                                              ; preds = %783
  call void @llvm.lifetime.start.p0(i64 1200, ptr %90) #8
  %802 = getelementptr inbounds [1200 x i8], ptr %90, i64 0, i64 0
  %803 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %802, i64 noundef 1200, ptr noundef @.str.64, ptr noundef @.str.1) #8
  %804 = load ptr, ptr @stdout, align 8, !tbaa !5
  %805 = getelementptr inbounds [1200 x i8], ptr %90, i64 0, i64 0
  %806 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %804, ptr noundef @.str.2, ptr noundef %805) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr %90) #8
  store i16 1, ptr %15, align 2, !tbaa !11
  br label %812

807:                                              ; preds = %783
  %808 = load ptr, ptr %8, align 8, !tbaa !5
  %809 = load ptr, ptr %808, align 8, !tbaa !5
  %810 = load ptr, ptr %9, align 8, !tbaa !5
  %811 = load i64, ptr %810, align 8, !tbaa !9
  call void @utils_printFormattedOctetString(i8 noundef zeroext 4, ptr noundef @.str.14, ptr noundef @.str.65, i8 noundef zeroext 6, ptr noundef %809, i64 noundef %811)
  store i8 0, ptr %16, align 1, !tbaa !13
  br label %812

812:                                              ; preds = %807, %801
  br label %813

813:                                              ; preds = %812, %777
  br label %814

814:                                              ; preds = %813, %753
  br label %815

815:                                              ; preds = %814, %723
  br label %816

816:                                              ; preds = %815, %708
  %817 = load ptr, ptr %17, align 8, !tbaa !5
  call void @BN_clear_free(ptr noundef %817)
  %818 = load ptr, ptr %18, align 8, !tbaa !5
  call void @BN_clear_free(ptr noundef %818)
  %819 = load ptr, ptr %19, align 8, !tbaa !5
  call void @BN_clear_free(ptr noundef %819)
  %820 = load ptr, ptr %20, align 8, !tbaa !5
  call void @BN_clear_free(ptr noundef %820)
  %821 = load ptr, ptr %22, align 8, !tbaa !5
  call void @BN_clear_free(ptr noundef %821)
  %822 = load ptr, ptr %23, align 8, !tbaa !5
  call void @BN_clear_free(ptr noundef %822)
  %823 = load ptr, ptr %24, align 8, !tbaa !5
  call void @BN_clear_free(ptr noundef %823)
  %824 = load ptr, ptr %25, align 8, !tbaa !5
  call void @BN_clear_free(ptr noundef %824)
  %825 = load ptr, ptr %26, align 8, !tbaa !5
  call void @BN_clear_free(ptr noundef %825)
  %826 = load ptr, ptr %27, align 8, !tbaa !5
  call void @BN_clear_free(ptr noundef %826)
  store ptr null, ptr %28, align 8, !tbaa !5
  %827 = load ptr, ptr %29, align 8, !tbaa !5
  call void @EC_POINT_clear_free(ptr noundef %827)
  %828 = load ptr, ptr %30, align 8, !tbaa !5
  call void @EC_POINT_clear_free(ptr noundef %828)
  %829 = load ptr, ptr %32, align 8, !tbaa !5
  %830 = icmp ne ptr %829, null
  br i1 %830, label %831, label %835

831:                                              ; preds = %816
  %832 = load ptr, ptr %32, align 8, !tbaa !5
  %833 = load i64, ptr %33, align 8, !tbaa !9
  call void @llvm.memset.p0.i64(ptr align 1 %832, i8 0, i64 %833, i1 false)
  %834 = load ptr, ptr %32, align 8, !tbaa !5
  call void @free(ptr noundef %834) #8
  br label %835

835:                                              ; preds = %831, %816
  %836 = load ptr, ptr %34, align 8, !tbaa !5
  %837 = icmp ne ptr %836, null
  br i1 %837, label %838, label %842

838:                                              ; preds = %835
  %839 = load ptr, ptr %34, align 8, !tbaa !5
  %840 = load i64, ptr %35, align 8, !tbaa !9
  call void @llvm.memset.p0.i64(ptr align 1 %839, i8 0, i64 %840, i1 false)
  %841 = load ptr, ptr %34, align 8, !tbaa !5
  call void @free(ptr noundef %841) #8
  br label %842

842:                                              ; preds = %838, %835
  %843 = load ptr, ptr %38, align 8, !tbaa !5
  call void @BN_CTX_free(ptr noundef %843)
  store ptr null, ptr %38, align 8, !tbaa !5
  %844 = load i8, ptr %16, align 1, !tbaa !13
  call void @llvm.lifetime.end.p0(i64 8, ptr %38) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %37) #8
  call void @llvm.lifetime.end.p0(i64 2, ptr %36) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %35) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %33) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %31) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %29) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %25) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr %16) #8
  call void @llvm.lifetime.end.p0(i64 2, ptr %15) #8
  ret i8 %844
}

; Function Attrs: nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture) #1

declare ptr @BN_CTX_new() #2

; Function Attrs: nounwind
declare i32 @snprintf(ptr noundef, i64 noundef, ptr noundef, ...) #3

; Function Attrs: nounwind
declare i32 @fprintf(ptr noundef, ptr noundef, ...) #3

; Function Attrs: nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #1

declare signext i16 @community_exists(ptr noundef) #2

declare zeroext i8 @community_get_paramSet(ptr noundef) #2

declare ptr @ms_getParameter_E(i8 noundef zeroext) #2

declare zeroext i16 @ms_getParameter_n(i8 noundef zeroext) #2

declare void @utils_printFormattedOctetString(i8 noundef zeroext, ptr noundef, ptr noundef, i8 noundef zeroext, ptr noundef, i64 noundef) #2

; Function Attrs: nounwind allocsize(0,1)
declare noalias ptr @calloc(i64 noundef, i64 noundef) #4

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: readwrite)
declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) #5

declare ptr @BN_new() #2

; Function Attrs: nounwind uwtable
declare hidden zeroext i8 @sakke_hashToIntegerRangeSHA256(ptr noundef, ptr noundef, i64 noundef, ptr noundef) #0

declare ptr @ms_getParameter_q(i8 noundef zeroext) #2

declare void @utils_BNdump(i8 noundef zeroext, ptr noundef, ptr noundef, i8 noundef zeroext, ptr noundef) #2

declare ptr @EC_POINT_new(ptr noundef) #2

declare ptr @BN_bin2bn(ptr noundef, i32 noundef, ptr noundef) #2

declare ptr @community_getZ_point(ptr noundef) #2

declare i32 @EC_POINT_mul(ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef) #2

declare ptr @ms_getParameter_P(i8 noundef zeroext) #2

declare i32 @EC_POINT_add(ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef) #2

declare i32 @EC_POINT_get_affine_coordinates_GFp(ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef) #2

declare i32 @BN_is_zero(ptr noundef) #2

declare ptr @ms_getParameter_p(i8 noundef zeroext) #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden zeroext i8 @sakke_pointExponent(ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef) #6

declare ptr @BN_value_one() #2

declare ptr @ms_getParameter_g(i8 noundef zeroext) #2

declare i32 @BN_div(ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef) #2

declare ptr @BN_mod_inverse(ptr noundef, ptr noundef, ptr noundef, ptr noundef) #2

declare i32 @BN_mul(ptr noundef, ptr noundef, ptr noundef, ptr noundef) #2

declare i32 @BN_set_bit(ptr noundef, i32 noundef) #2

declare i32 @BN_num_bits(ptr noundef) #2

declare i32 @BN_bn2bin(ptr noundef, ptr noundef) #2

declare i32 @BN_is_bit_set(ptr noundef, i32 noundef) #2

declare i32 @BN_clear_bit(ptr noundef, i32 noundef) #2

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: write)
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg) #7

declare void @BN_clear_free(ptr noundef) #2

declare void @EC_POINT_clear_free(ptr noundef) #2

; Function Attrs: nounwind
declare void @free(ptr noundef) #3

declare void @BN_CTX_free(ptr noundef) #2

attributes #0 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { nounwind allocsize(0,1) "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #6 = { inlinehint nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #7 = { nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #8 = { nounwind }
attributes #9 = { nounwind allocsize(0,1) }

!llvm.module.flags = !{!0, !1, !2, !3}
!llvm.ident = !{!4}

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"long", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"short", !7, i64 0}
!13 = !{!7, !7, i64 0}
!14 = !{!15, !15, i64 0}
!15 = !{!"int", !7, i64 0}
!16 = distinct !{!16, !17}
!17 = !{!"llvm.loop.mustprogress"}


; Optimized IR (opt -passes='default<O3>'):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

@.str = external hidden unnamed_addr constant [34 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [35 x i8], align 1
@stdout = external local_unnamed_addr global ptr, align 8
@.str.2 = external hidden unnamed_addr constant [14 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [28 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [29 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [23 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [31 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [32 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [25 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [19 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [53 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [63 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [18 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [20 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [14 x i8], align 1
@.str.16 = external hidden unnamed_addr constant [58 x i8], align 1
@.str.17 = external hidden unnamed_addr constant [65 x i8], align 1
@.str.18 = external hidden unnamed_addr constant [51 x i8], align 1
@.str.19 = external hidden unnamed_addr constant [48 x i8], align 1
@.str.20 = external hidden unnamed_addr constant [43 x i8], align 1
@.str.21 = external hidden unnamed_addr constant [31 x i8], align 1
@.str.22 = external hidden unnamed_addr constant [32 x i8], align 1
@.str.23 = external hidden unnamed_addr constant [44 x i8], align 1
@.str.24 = external hidden unnamed_addr constant [51 x i8], align 1
@.str.25 = external hidden unnamed_addr constant [32 x i8], align 1
@.str.26 = external hidden unnamed_addr constant [31 x i8], align 1
@.str.27 = external hidden unnamed_addr constant [34 x i8], align 1
@.str.28 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.29 = external hidden unnamed_addr constant [36 x i8], align 1
@.str.30 = external hidden unnamed_addr constant [41 x i8], align 1
@.str.31 = external hidden unnamed_addr constant [33 x i8], align 1
@.str.32 = external hidden unnamed_addr constant [33 x i8], align 1
@.str.33 = external hidden unnamed_addr constant [34 x i8], align 1
@.str.34 = external hidden unnamed_addr constant [40 x i8], align 1
@.str.35 = external hidden unnamed_addr constant [40 x i8], align 1
@.str.36 = external hidden unnamed_addr constant [28 x i8], align 1
@.str.37 = external hidden unnamed_addr constant [23 x i8], align 1
@.str.38 = external hidden unnamed_addr constant [45 x i8], align 1
@.str.39 = external hidden unnamed_addr constant [40 x i8], align 1
@.str.40 = external hidden unnamed_addr constant [44 x i8], align 1
@.str.41 = external hidden unnamed_addr constant [33 x i8], align 1
@.str.42 = external hidden unnamed_addr constant [33 x i8], align 1
@.str.43 = external hidden unnamed_addr constant [33 x i8], align 1
@.str.44 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.45 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.46 = external hidden unnamed_addr constant [29 x i8], align 1
@.str.47 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.48 = external hidden unnamed_addr constant [42 x i8], align 1
@.str.49 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.50 = external hidden unnamed_addr constant [87 x i8], align 1
@.str.51 = external hidden unnamed_addr constant [28 x i8], align 1
@.str.52 = external hidden unnamed_addr constant [29 x i8], align 1
@.str.53 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.54 = external hidden unnamed_addr constant [43 x i8], align 1
@.str.55 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.56 = external hidden unnamed_addr constant [37 x i8], align 1
@.str.57 = external hidden unnamed_addr constant [43 x i8], align 1
@.str.58 = external hidden unnamed_addr constant [28 x i8], align 1
@.str.59 = external hidden unnamed_addr constant [40 x i8], align 1
@.str.60 = external hidden unnamed_addr constant [72 x i8], align 1
@.str.61 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.62 = external hidden unnamed_addr constant [44 x i8], align 1
@.str.63 = external hidden unnamed_addr constant [44 x i8], align 1
@.str.64 = external hidden unnamed_addr constant [44 x i8], align 1
@.str.65 = external hidden unnamed_addr constant [23 x i8], align 1

; Function Attrs: nounwind uwtable
define dso_local zeroext range(i8 0, 2) i8 @sakke_generateSakkeEncapsulatedData(ptr nocapture noundef %0, ptr nocapture noundef %1, ptr noundef %2, i64 noundef %3, ptr noundef %4, ptr noundef %5, i64 noundef %6) local_unnamed_addr #0 {
  %8 = alloca [1200 x i8], align 16
  %9 = alloca [1200 x i8], align 16
  %10 = alloca [1200 x i8], align 16
  %11 = alloca [1200 x i8], align 16
  %12 = alloca [1200 x i8], align 16
  %13 = alloca [1200 x i8], align 16
  %14 = alloca [1200 x i8], align 16
  %15 = alloca [1200 x i8], align 16
  %16 = alloca [1200 x i8], align 16
  %17 = alloca [1200 x i8], align 16
  %18 = alloca [1200 x i8], align 16
  %19 = alloca [1200 x i8], align 16
  %20 = alloca [1200 x i8], align 16
  %21 = alloca [1200 x i8], align 16
  %22 = alloca [1200 x i8], align 16
  %23 = alloca [1200 x i8], align 16
  %24 = alloca [1200 x i8], align 16
  %25 = alloca [1200 x i8], align 16
  %26 = alloca [1200 x i8], align 16
  %27 = alloca [1200 x i8], align 16
  %28 = alloca [1200 x i8], align 16
  %29 = alloca [1200 x i8], align 16
  %30 = alloca [1200 x i8], align 16
  %31 = alloca [1200 x i8], align 16
  %32 = alloca [1200 x i8], align 16
  %33 = alloca [1200 x i8], align 16
  %34 = alloca [1200 x i8], align 16
  %35 = alloca [1200 x i8], align 16
  %36 = alloca [1200 x i8], align 16
  %37 = alloca [1200 x i8], align 16
  %38 = alloca [1200 x i8], align 16
  %39 = alloca [1200 x i8], align 16
  %40 = alloca [1200 x i8], align 16
  %41 = alloca [1200 x i8], align 16
  %42 = alloca [1200 x i8], align 16
  %43 = alloca [1200 x i8], align 16
  %44 = alloca [1200 x i8], align 16
  %45 = alloca [1200 x i8], align 16
  %46 = alloca [1200 x i8], align 16
  %47 = alloca [1200 x i8], align 16
  %48 = alloca [1200 x i8], align 16
  %49 = alloca [1200 x i8], align 16
  %50 = alloca [1200 x i8], align 16
  %51 = alloca [1200 x i8], align 16
  %52 = alloca [1200 x i8], align 16
  %53 = alloca [1200 x i8], align 16
  %54 = alloca [1200 x i8], align 16
  %55 = alloca [1200 x i8], align 16
  %56 = alloca [1200 x i8], align 16
  %57 = alloca [1200 x i8], align 16
  %58 = alloca [1200 x i8], align 16
  %59 = alloca [1200 x i8], align 16
  %60 = tail call ptr @BN_CTX_new() #8
  %61 = load ptr, ptr %0, align 8, !tbaa !5
  %.not = icmp eq ptr %61, null
  br i1 %.not, label %66, label %62

62:                                               ; preds = %7
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %8) #8
  %63 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %8, i64 noundef 1200, ptr noundef nonnull @.str, ptr noundef nonnull @.str.1) #8
  %64 = load ptr, ptr @stdout, align 8, !tbaa !5
  %65 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %64, ptr noundef nonnull @.str.2, ptr noundef nonnull %8) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %8) #8
  br label %66

66:                                               ; preds = %62, %7
  %.0183 = phi i16 [ 1, %62 ], [ 0, %7 ]
  %67 = load i64, ptr %1, align 8, !tbaa !9
  %.not221 = icmp eq i64 %67, 0
  br i1 %.not221, label %72, label %68

68:                                               ; preds = %66
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %9) #8
  %69 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %9, i64 noundef 1200, ptr noundef nonnull @.str.3, ptr noundef nonnull @.str.1) #8
  %70 = load ptr, ptr @stdout, align 8, !tbaa !5
  %71 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %70, ptr noundef nonnull @.str.2, ptr noundef nonnull %9) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %9) #8
  br label %72

72:                                               ; preds = %68, %66
  %.1 = phi i16 [ 1, %68 ], [ %.0183, %66 ]
  %73 = icmp eq ptr %2, null
  br i1 %73, label %74, label %78

74:                                               ; preds = %72
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %10) #8
  %75 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %10, i64 noundef 1200, ptr noundef nonnull @.str.4, ptr noundef nonnull @.str.1) #8
  %76 = load ptr, ptr @stdout, align 8, !tbaa !5
  %77 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %76, ptr noundef nonnull @.str.2, ptr noundef nonnull %10) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %10) #8
  br label %78

78:                                               ; preds = %74, %72
  %.2 = phi i16 [ 1, %74 ], [ %.1, %72 ]
  %79 = icmp eq i64 %3, 0
  br i1 %79, label %80, label %84

80:                                               ; preds = %78
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %11) #8
  %81 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %11, i64 noundef 1200, ptr noundef nonnull @.str.5, ptr noundef nonnull @.str.1) #8
  %82 = load ptr, ptr @stdout, align 8, !tbaa !5
  %83 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %82, ptr noundef nonnull @.str.2, ptr noundef nonnull %11) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %11) #8
  br label %84

84:                                               ; preds = %80, %78
  %.3 = phi i16 [ 1, %80 ], [ %.2, %78 ]
  %85 = icmp eq ptr %4, null
  br i1 %85, label %86, label %90

86:                                               ; preds = %84
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %12) #8
  %87 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %12, i64 noundef 1200, ptr noundef nonnull @.str.6, ptr noundef nonnull @.str.1) #8
  %88 = load ptr, ptr @stdout, align 8, !tbaa !5
  %89 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %88, ptr noundef nonnull @.str.2, ptr noundef nonnull %12) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %12) #8
  br label %90

90:                                               ; preds = %86, %84
  %.4 = phi i16 [ 1, %86 ], [ %.3, %84 ]
  %91 = call signext i16 @community_exists(ptr noundef %4) #8
  %.not222 = icmp eq i16 %91, 0
  br i1 %.not222, label %92, label %96

92:                                               ; preds = %90
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %13) #8
  %93 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %13, i64 noundef 1200, ptr noundef nonnull @.str.7, ptr noundef nonnull @.str.1, ptr noundef %4) #8
  %94 = load ptr, ptr @stdout, align 8, !tbaa !5
  %95 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %94, ptr noundef nonnull @.str.2, ptr noundef nonnull %13) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %13) #8
  br label %96

96:                                               ; preds = %92, %90
  %.5 = phi i16 [ %.4, %90 ], [ 1, %92 ]
  %97 = icmp eq ptr %5, null
  br i1 %97, label %.thread372, label %98

98:                                               ; preds = %96
  %99 = icmp eq i64 %6, 0
  br i1 %99, label %.thread, label %107

.thread372:                                       ; preds = %96
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %14) #8
  %100 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %14, i64 noundef 1200, ptr noundef nonnull @.str.8, ptr noundef nonnull @.str.1) #8
  %101 = load ptr, ptr @stdout, align 8, !tbaa !5
  %102 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %101, ptr noundef nonnull @.str.2, ptr noundef nonnull %14) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %14) #8
  %103 = icmp eq i64 %6, 0
  br i1 %103, label %.thread, label %.thread337

.thread:                                          ; preds = %.thread372, %98
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %15) #8
  %104 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %15, i64 noundef 1200, ptr noundef nonnull @.str.9, ptr noundef nonnull @.str.1) #8
  %105 = load ptr, ptr @stdout, align 8, !tbaa !5
  %106 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %105, ptr noundef nonnull @.str.2, ptr noundef nonnull %15) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %15) #8
  br label %.thread337

107:                                              ; preds = %98
  %.not223 = icmp eq i16 %.5, 0
  br i1 %.not223, label %108, label %.thread337

108:                                              ; preds = %107
  %109 = call zeroext i8 @community_get_paramSet(ptr noundef %4) #8
  %.not224 = icmp eq i8 %109, 1
  br i1 %.not224, label %115, label %110

110:                                              ; preds = %108
  %111 = zext i8 %109 to i32
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %16) #8
  %112 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %16, i64 noundef 1200, ptr noundef nonnull @.str.10, ptr noundef nonnull @.str.1, i32 noundef %111) #8
  %113 = load ptr, ptr @stdout, align 8, !tbaa !5
  %114 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %113, ptr noundef nonnull @.str.2, ptr noundef nonnull %16) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %16) #8
  br label %.thread337

115:                                              ; preds = %108
  %116 = call ptr @ms_getParameter_E(i8 noundef zeroext 1) #8
  %.not225 = icmp eq ptr %116, null
  br i1 %.not225, label %117, label %121

117:                                              ; preds = %115
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %17) #8
  %118 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %17, i64 noundef 1200, ptr noundef nonnull @.str.11, ptr noundef nonnull @.str.1, i32 noundef 1) #8
  %119 = load ptr, ptr @stdout, align 8, !tbaa !5
  %120 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %119, ptr noundef nonnull @.str.2, ptr noundef nonnull %17) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %17) #8
  br label %.thread337

121:                                              ; preds = %115
  %122 = call zeroext i16 @ms_getParameter_n(i8 noundef zeroext 1) #8
  %123 = lshr i16 %122, 3
  %124 = zext nneg i16 %123 to i64
  %.not226 = icmp eq i64 %124, %6
  br i1 %.not226, label %.critedge, label %125

125:                                              ; preds = %121
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %18) #8
  %126 = call zeroext i16 @ms_getParameter_n(i8 noundef zeroext 1) #8
  %127 = lshr i16 %126, 3
  %128 = zext nneg i16 %127 to i32
  %129 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %18, i64 noundef 1200, ptr noundef nonnull @.str.12, ptr noundef nonnull @.str.1, i64 noundef %6, i32 noundef %128) #8
  %130 = load ptr, ptr @stdout, align 8, !tbaa !5
  %131 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %130, ptr noundef nonnull @.str.2, ptr noundef nonnull %18) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %18) #8
  br label %.thread337

.critedge:                                        ; preds = %121
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %19) #8
  %132 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %19, i64 noundef 1200, ptr noundef nonnull @.str.13, ptr noundef nonnull @.str.14) #8
  %133 = load ptr, ptr @stdout, align 8, !tbaa !5
  %134 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %133, ptr noundef nonnull @.str.15, ptr noundef nonnull %19) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %19) #8
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %20) #8
  %135 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %20, i64 noundef 1200, ptr noundef nonnull @.str.16, ptr noundef nonnull @.str.14) #8
  %136 = load ptr, ptr @stdout, align 8, !tbaa !5
  %137 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %136, ptr noundef nonnull @.str.15, ptr noundef nonnull %20) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %20) #8
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %21) #8
  %138 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %21, i64 noundef 1200, ptr noundef nonnull @.str.17, ptr noundef nonnull @.str.14) #8
  %139 = load ptr, ptr @stdout, align 8, !tbaa !5
  %140 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %139, ptr noundef nonnull @.str.15, ptr noundef nonnull %21) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %21) #8
  call void @utils_printFormattedOctetString(i8 noundef zeroext 4, ptr noundef nonnull @.str.14, ptr noundef nonnull @.str.18, i8 noundef zeroext 6, ptr noundef %2, i64 noundef %3) #8
  %141 = add i64 %6, %3
  %142 = add i64 %141, 1
  %143 = call noalias ptr @calloc(i64 noundef 1, i64 noundef %142) #9
  %.not228 = icmp eq ptr %143, null
  br i1 %.not228, label %144, label %148

144:                                              ; preds = %.critedge
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %22) #8
  %145 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %22, i64 noundef 1200, ptr noundef nonnull @.str.19, ptr noundef nonnull @.str.1) #8
  %146 = load ptr, ptr @stdout, align 8, !tbaa !5
  %147 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %146, ptr noundef nonnull @.str.2, ptr noundef nonnull %22) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %22) #8
  br label %.thread337

148:                                              ; preds = %.critedge
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 1 %143, ptr nonnull align 1 %5, i64 %6, i1 false)
  %149 = getelementptr inbounds i8, ptr %143, i64 %6
  call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 1 %149, ptr align 1 %2, i64 %3, i1 false)
  call void @utils_printFormattedOctetString(i8 noundef zeroext 4, ptr noundef nonnull @.str.14, ptr noundef nonnull @.str.20, i8 noundef zeroext 6, ptr noundef nonnull %143, i64 noundef %141) #8
  %150 = call ptr @BN_new() #8
  %.not229 = icmp eq ptr %150, null
  br i1 %.not229, label %151, label %155

151:                                              ; preds = %148
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %23) #8
  %152 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %23, i64 noundef 1200, ptr noundef nonnull @.str.21, ptr noundef nonnull @.str.1) #8
  %153 = load ptr, ptr @stdout, align 8, !tbaa !5
  %154 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %153, ptr noundef nonnull @.str.2, ptr noundef nonnull %23) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %23) #8
  br label %.thread337

155:                                              ; preds = %148
  %156 = call ptr @ms_getParameter_q(i8 noundef zeroext 1) #8
  %157 = call zeroext i8 @sakke_hashToIntegerRangeSHA256(ptr noundef nonnull %150, ptr noundef nonnull %143, i64 noundef %141, ptr noundef %156)
  %.not230 = icmp eq i8 %157, 0
  br i1 %.not230, label %162, label %158

158:                                              ; preds = %155
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %24) #8
  %159 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %24, i64 noundef 1200, ptr noundef nonnull @.str.22, ptr noundef nonnull @.str.1) #8
  %160 = load ptr, ptr @stdout, align 8, !tbaa !5
  %161 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %160, ptr noundef nonnull @.str.2, ptr noundef nonnull %24) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %24) #8
  br label %.thread337

162:                                              ; preds = %155
  call void @utils_BNdump(i8 noundef zeroext 4, ptr noundef nonnull @.str.14, ptr noundef nonnull @.str.23, i8 noundef zeroext 6, ptr noundef nonnull %150) #8
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %25) #8
  %163 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %25, i64 noundef 1200, ptr noundef nonnull @.str.24, ptr noundef nonnull @.str.14) #8
  %164 = load ptr, ptr @stdout, align 8, !tbaa !5
  %165 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %164, ptr noundef nonnull @.str.15, ptr noundef nonnull %25) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %25) #8
  %166 = call ptr @EC_POINT_new(ptr noundef nonnull %116) #8
  %.not232 = icmp eq ptr %166, null
  br i1 %.not232, label %167, label %171

167:                                              ; preds = %162
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %26) #8
  %168 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %26, i64 noundef 1200, ptr noundef nonnull @.str.25, ptr noundef nonnull @.str.1) #8
  %169 = load ptr, ptr @stdout, align 8, !tbaa !5
  %170 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %169, ptr noundef nonnull @.str.2, ptr noundef nonnull %26) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %26) #8
  br label %.thread337

171:                                              ; preds = %162
  %172 = trunc i64 %3 to i32
  %173 = call ptr @BN_bin2bn(ptr noundef %2, i32 noundef %172, ptr noundef null) #8
  %.not233 = icmp eq ptr %173, null
  br i1 %.not233, label %174, label %178

174:                                              ; preds = %171
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %27) #8
  %175 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %27, i64 noundef 1200, ptr noundef nonnull @.str.26, ptr noundef nonnull @.str.1) #8
  %176 = load ptr, ptr @stdout, align 8, !tbaa !5
  %177 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %176, ptr noundef nonnull @.str.2, ptr noundef nonnull %27) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %27) #8
  br label %.thread337

178:                                              ; preds = %171
  %179 = call ptr @community_getZ_point(ptr noundef %4) #8
  %.not234 = icmp eq ptr %179, null
  br i1 %.not234, label %180, label %184

180:                                              ; preds = %178
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %28) #8
  %181 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %28, i64 noundef 1200, ptr noundef nonnull @.str.27, ptr noundef nonnull @.str.1) #8
  %182 = load ptr, ptr @stdout, align 8, !tbaa !5
  %183 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %182, ptr noundef nonnull @.str.2, ptr noundef nonnull %28) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %28) #8
  br label %.thread337

184:                                              ; preds = %178
  %185 = call ptr @ms_getParameter_P(i8 noundef zeroext 1) #8
  %186 = call i32 @EC_POINT_mul(ptr noundef nonnull %116, ptr noundef nonnull %166, ptr noundef null, ptr noundef %185, ptr noundef nonnull %173, ptr noundef %60) #8
  %.not235 = icmp eq i32 %186, 0
  br i1 %.not235, label %187, label %191

187:                                              ; preds = %184
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %29) #8
  %188 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %29, i64 noundef 1200, ptr noundef nonnull @.str.28, ptr noundef nonnull @.str.1) #8
  %189 = load ptr, ptr @stdout, align 8, !tbaa !5
  %190 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %189, ptr noundef nonnull @.str.2, ptr noundef nonnull %29) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %29) #8
  br label %.thread337

191:                                              ; preds = %184
  %192 = call i32 @EC_POINT_add(ptr noundef nonnull %116, ptr noundef nonnull %166, ptr noundef nonnull %166, ptr noundef nonnull %179, ptr noundef %60) #8
  %.not236 = icmp eq i32 %192, 0
  br i1 %.not236, label %193, label %197

193:                                              ; preds = %191
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %30) #8
  %194 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %30, i64 noundef 1200, ptr noundef nonnull @.str.29, ptr noundef nonnull @.str.1) #8
  %195 = load ptr, ptr @stdout, align 8, !tbaa !5
  %196 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %195, ptr noundef nonnull @.str.2, ptr noundef nonnull %30) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %30) #8
  br label %.thread337

197:                                              ; preds = %191
  %198 = call i32 @EC_POINT_mul(ptr noundef nonnull %116, ptr noundef nonnull %166, ptr noundef null, ptr noundef nonnull %166, ptr noundef nonnull %150, ptr noundef %60) #8
  %.not237 = icmp eq i32 %198, 0
  br i1 %.not237, label %199, label %203

199:                                              ; preds = %197
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %31) #8
  %200 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %31, i64 noundef 1200, ptr noundef nonnull @.str.30, ptr noundef nonnull @.str.1) #8
  %201 = load ptr, ptr @stdout, align 8, !tbaa !5
  %202 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %201, ptr noundef nonnull @.str.2, ptr noundef nonnull %31) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %31) #8
  br label %.thread337

203:                                              ; preds = %197
  %204 = call ptr @BN_new() #8
  %.not238 = icmp eq ptr %204, null
  br i1 %.not238, label %205, label %209

205:                                              ; preds = %203
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %32) #8
  %206 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %32, i64 noundef 1200, ptr noundef nonnull @.str.31, ptr noundef nonnull @.str.1) #8
  %207 = load ptr, ptr @stdout, align 8, !tbaa !5
  %208 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %207, ptr noundef nonnull @.str.2, ptr noundef nonnull %32) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %32) #8
  br label %.thread337

209:                                              ; preds = %203
  %210 = call ptr @BN_new() #8
  %.not239 = icmp eq ptr %210, null
  br i1 %.not239, label %211, label %215

211:                                              ; preds = %209
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %33) #8
  %212 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %33, i64 noundef 1200, ptr noundef nonnull @.str.32, ptr noundef nonnull @.str.1) #8
  %213 = load ptr, ptr @stdout, align 8, !tbaa !5
  %214 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %213, ptr noundef nonnull @.str.2, ptr noundef nonnull %33) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %33) #8
  br label %.thread337

215:                                              ; preds = %209
  %216 = call i32 @EC_POINT_get_affine_coordinates_GFp(ptr noundef nonnull %116, ptr noundef nonnull %166, ptr noundef nonnull %204, ptr noundef nonnull %210, ptr noundef %60) #8
  %.not240 = icmp eq i32 %216, 0
  br i1 %.not240, label %217, label %221

217:                                              ; preds = %215
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %34) #8
  %218 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %34, i64 noundef 1200, ptr noundef nonnull @.str.33, ptr noundef nonnull @.str.1) #8
  %219 = load ptr, ptr @stdout, align 8, !tbaa !5
  %220 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %219, ptr noundef nonnull @.str.2, ptr noundef nonnull %34) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %34) #8
  br label %.thread337

221:                                              ; preds = %215
  call void @utils_BNdump(i8 noundef zeroext 4, ptr noundef nonnull @.str.14, ptr noundef nonnull @.str.34, i8 noundef zeroext 6, ptr noundef nonnull %204) #8
  call void @utils_BNdump(i8 noundef zeroext 4, ptr noundef nonnull @.str.14, ptr noundef nonnull @.str.35, i8 noundef zeroext 6, ptr noundef nonnull %210) #8
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %35) #8
  %222 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %35, i64 noundef 1200, ptr noundef nonnull @.str.36, ptr noundef nonnull @.str.14) #8
  %223 = load ptr, ptr @stdout, align 8, !tbaa !5
  %224 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %223, ptr noundef nonnull @.str.15, ptr noundef nonnull %35) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %35) #8
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %36) #8
  %225 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %36, i64 noundef 1200, ptr noundef nonnull @.str.37, ptr noundef nonnull @.str.14) #8
  %226 = load ptr, ptr @stdout, align 8, !tbaa !5
  %227 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %226, ptr noundef nonnull @.str.15, ptr noundef nonnull %36) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %36) #8
  %228 = call i32 @BN_is_zero(ptr noundef nonnull %150) #8
  %.not242 = icmp eq i32 %228, 0
  br i1 %.not242, label %233, label %229

229:                                              ; preds = %221
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %37) #8
  %230 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %37, i64 noundef 1200, ptr noundef nonnull @.str.38, ptr noundef nonnull @.str.1) #8
  %231 = load ptr, ptr @stdout, align 8, !tbaa !5
  %232 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %231, ptr noundef nonnull @.str.2, ptr noundef nonnull %37) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %37) #8
  br label %.thread337

233:                                              ; preds = %221
  %234 = call ptr @BN_new() #8
  %.not243 = icmp eq ptr %234, null
  br i1 %.not243, label %235, label %239

235:                                              ; preds = %233
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %38) #8
  %236 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %38, i64 noundef 1200, ptr noundef nonnull @.str.39, ptr noundef nonnull @.str.1) #8
  %237 = load ptr, ptr @stdout, align 8, !tbaa !5
  %238 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %237, ptr noundef nonnull @.str.2, ptr noundef nonnull %38) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %38) #8
  br label %.thread337

239:                                              ; preds = %233
  %240 = call ptr @ms_getParameter_p(i8 noundef zeroext 1) #8
  %.not244 = icmp eq ptr %240, null
  br i1 %.not244, label %241, label %245

241:                                              ; preds = %239
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %39) #8
  %242 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %39, i64 noundef 1200, ptr noundef nonnull @.str.40, ptr noundef nonnull @.str.1, i32 noundef 1) #8
  %243 = load ptr, ptr @stdout, align 8, !tbaa !5
  %244 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %243, ptr noundef nonnull @.str.2, ptr noundef nonnull %39) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %39) #8
  br label %.thread337

245:                                              ; preds = %239
  %246 = call ptr @BN_new() #8
  %.not245 = icmp eq ptr %246, null
  br i1 %.not245, label %247, label %251

247:                                              ; preds = %245
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %40) #8
  %248 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %40, i64 noundef 1200, ptr noundef nonnull @.str.41, ptr noundef nonnull @.str.1) #8
  %249 = load ptr, ptr @stdout, align 8, !tbaa !5
  %250 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %249, ptr noundef nonnull @.str.2, ptr noundef nonnull %40) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %40) #8
  br label %.thread337

251:                                              ; preds = %245
  %252 = call ptr @BN_new() #8
  %.not246 = icmp eq ptr %252, null
  br i1 %.not246, label %253, label %257

253:                                              ; preds = %251
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %41) #8
  %254 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %41, i64 noundef 1200, ptr noundef nonnull @.str.42, ptr noundef nonnull @.str.1) #8
  %255 = load ptr, ptr @stdout, align 8, !tbaa !5
  %256 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %255, ptr noundef nonnull @.str.2, ptr noundef nonnull %41) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %41) #8
  br label %.thread337

257:                                              ; preds = %251
  %258 = call ptr @BN_value_one() #8
  %259 = call ptr @ms_getParameter_g(i8 noundef zeroext 1) #8
  %260 = call zeroext i8 @sakke_pointExponent(ptr noundef nonnull %240, ptr noundef nonnull %246, ptr noundef nonnull %252, ptr noundef %258, ptr noundef %259, ptr noundef nonnull %150)
  %.not247 = icmp eq i8 %260, 0
  br i1 %.not247, label %265, label %261

261:                                              ; preds = %257
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %42) #8
  %262 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %42, i64 noundef 1200, ptr noundef nonnull @.str.43, ptr noundef nonnull @.str.1) #8
  %263 = load ptr, ptr @stdout, align 8, !tbaa !5
  %264 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %263, ptr noundef nonnull @.str.2, ptr noundef nonnull %42) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %42) #8
  br label %.thread337

265:                                              ; preds = %257
  %266 = call i32 @BN_div(ptr noundef null, ptr noundef nonnull %234, ptr noundef nonnull %246, ptr noundef nonnull %240, ptr noundef %60) #8
  %.not248 = icmp eq i32 %266, 0
  br i1 %.not248, label %267, label %271

267:                                              ; preds = %265
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %43) #8
  %268 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %43, i64 noundef 1200, ptr noundef nonnull @.str.44, ptr noundef nonnull @.str.1) #8
  %269 = load ptr, ptr @stdout, align 8, !tbaa !5
  %270 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %269, ptr noundef nonnull @.str.2, ptr noundef nonnull %43) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %43) #8
  br label %.thread337

271:                                              ; preds = %265
  %272 = call ptr @BN_mod_inverse(ptr noundef nonnull %234, ptr noundef nonnull %234, ptr noundef nonnull %240, ptr noundef %60) #8
  %.not249 = icmp eq ptr %272, null
  br i1 %.not249, label %273, label %277

273:                                              ; preds = %271
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %44) #8
  %274 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %44, i64 noundef 1200, ptr noundef nonnull @.str.45, ptr noundef nonnull @.str.1) #8
  %275 = load ptr, ptr @stdout, align 8, !tbaa !5
  %276 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %275, ptr noundef nonnull @.str.2, ptr noundef nonnull %44) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %44) #8
  br label %.thread337

277:                                              ; preds = %271
  %278 = call i32 @BN_mul(ptr noundef nonnull %234, ptr noundef nonnull %234, ptr noundef nonnull %252, ptr noundef %60) #8
  %.not250 = icmp eq i32 %278, 0
  br i1 %.not250, label %279, label %283

279:                                              ; preds = %277
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %45) #8
  %280 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %45, i64 noundef 1200, ptr noundef nonnull @.str.46, ptr noundef nonnull @.str.1) #8
  %281 = load ptr, ptr @stdout, align 8, !tbaa !5
  %282 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %281, ptr noundef nonnull @.str.2, ptr noundef nonnull %45) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %45) #8
  br label %.thread337

283:                                              ; preds = %277
  %284 = call i32 @BN_div(ptr noundef null, ptr noundef nonnull %234, ptr noundef nonnull %234, ptr noundef nonnull %240, ptr noundef %60) #8
  %.not251 = icmp eq i32 %284, 0
  br i1 %.not251, label %285, label %289

285:                                              ; preds = %283
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %46) #8
  %286 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %46, i64 noundef 1200, ptr noundef nonnull @.str.47, ptr noundef nonnull @.str.1) #8
  %287 = load ptr, ptr @stdout, align 8, !tbaa !5
  %288 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %287, ptr noundef nonnull @.str.2, ptr noundef nonnull %46) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %46) #8
  br label %.thread337

289:                                              ; preds = %283
  call void @utils_BNdump(i8 noundef zeroext 4, ptr noundef nonnull @.str.14, ptr noundef nonnull @.str.48, i8 noundef zeroext 8, ptr noundef nonnull %234) #8
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %47) #8
  %290 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %47, i64 noundef 1200, ptr noundef nonnull @.str.49, ptr noundef nonnull @.str.50) #8
  %291 = load ptr, ptr @stdout, align 8, !tbaa !5
  %292 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %291, ptr noundef nonnull @.str.15, ptr noundef nonnull %47) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %47) #8
  %293 = call ptr @BN_new() #8
  %.not253 = icmp eq ptr %293, null
  br i1 %.not253, label %294, label %298

294:                                              ; preds = %289
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %48) #8
  %295 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %48, i64 noundef 1200, ptr noundef nonnull @.str.51, ptr noundef nonnull @.str.1) #8
  %296 = load ptr, ptr @stdout, align 8, !tbaa !5
  %297 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %296, ptr noundef nonnull @.str.2, ptr noundef nonnull %48) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %48) #8
  br label %.thread337

298:                                              ; preds = %289
  %299 = call zeroext i16 @ms_getParameter_n(i8 noundef zeroext 1) #8
  %300 = zext i16 %299 to i32
  %301 = call i32 @BN_set_bit(ptr noundef nonnull %293, i32 noundef %300) #8
  %302 = call ptr @BN_new() #8
  %.not254 = icmp eq ptr %302, null
  br i1 %.not254, label %303, label %307

303:                                              ; preds = %298
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %49) #8
  %304 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %49, i64 noundef 1200, ptr noundef nonnull @.str.52, ptr noundef nonnull @.str.1) #8
  %305 = load ptr, ptr @stdout, align 8, !tbaa !5
  %306 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %305, ptr noundef nonnull @.str.2, ptr noundef nonnull %49) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %49) #8
  br label %.thread337

307:                                              ; preds = %298
  %308 = call i32 @BN_num_bits(ptr noundef nonnull %234) #8
  %309 = add nsw i32 %308, 7
  %310 = sdiv i32 %309, 8
  %311 = sext i32 %310 to i64
  %.off = add i32 %308, 14
  %.not255 = icmp ult i32 %.off, 15
  br i1 %.not255, label %312, label %316

312:                                              ; preds = %307
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %50) #8
  %313 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %50, i64 noundef 1200, ptr noundef nonnull @.str.53, ptr noundef nonnull @.str.1) #8
  %314 = load ptr, ptr @stdout, align 8, !tbaa !5
  %315 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %314, ptr noundef nonnull @.str.2, ptr noundef nonnull %50) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %50) #8
  br label %.thread337

316:                                              ; preds = %307
  %317 = call noalias ptr @calloc(i64 noundef 1, i64 noundef %311) #9
  %.not256 = icmp eq ptr %317, null
  br i1 %.not256, label %318, label %322

318:                                              ; preds = %316
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %51) #8
  %319 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %51, i64 noundef 1200, ptr noundef nonnull @.str.54, ptr noundef nonnull @.str.1) #8
  %320 = load ptr, ptr @stdout, align 8, !tbaa !5
  %321 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %320, ptr noundef nonnull @.str.2, ptr noundef nonnull %51) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %51) #8
  br label %.thread337

322:                                              ; preds = %316
  %323 = call i32 @BN_bn2bin(ptr noundef nonnull %234, ptr noundef nonnull %317) #8
  %.not257 = icmp eq i32 %323, 0
  br i1 %.not257, label %324, label %328

324:                                              ; preds = %322
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %52) #8
  %325 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %52, i64 noundef 1200, ptr noundef nonnull @.str.55, ptr noundef nonnull @.str.1) #8
  %326 = load ptr, ptr @stdout, align 8, !tbaa !5
  %327 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %326, ptr noundef nonnull @.str.2, ptr noundef nonnull %52) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %52) #8
  br label %.thread337

328:                                              ; preds = %322
  %329 = call zeroext i8 @sakke_hashToIntegerRangeSHA256(ptr noundef nonnull %302, ptr noundef nonnull %317, i64 noundef %311, ptr noundef nonnull %293)
  %.not258 = icmp eq i8 %329, 0
  br i1 %.not258, label %334, label %330

330:                                              ; preds = %328
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %53) #8
  %331 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %53, i64 noundef 1200, ptr noundef nonnull @.str.56, ptr noundef nonnull @.str.1) #8
  %332 = load ptr, ptr @stdout, align 8, !tbaa !5
  %333 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %332, ptr noundef nonnull @.str.2, ptr noundef nonnull %53) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %53) #8
  br label %.thread337

334:                                              ; preds = %328
  call void @utils_BNdump(i8 noundef zeroext 4, ptr noundef nonnull @.str.14, ptr noundef nonnull @.str.57, i8 noundef zeroext 8, ptr noundef nonnull %302) #8
  %335 = trunc i64 %6 to i32
  %336 = call ptr @BN_bin2bn(ptr noundef nonnull %5, i32 noundef %335, ptr noundef null) #8
  %.not259 = icmp eq ptr %336, null
  br i1 %.not259, label %337, label %341

337:                                              ; preds = %334
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %54) #8
  %338 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %54, i64 noundef 1200, ptr noundef nonnull @.str.58, ptr noundef nonnull @.str.1) #8
  %339 = load ptr, ptr @stdout, align 8, !tbaa !5
  %340 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %339, ptr noundef nonnull @.str.2, ptr noundef nonnull %54) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %54) #8
  br label %.thread337

341:                                              ; preds = %334
  %342 = call i32 @BN_num_bits(ptr noundef nonnull %336) #8
  %343 = call i32 @BN_num_bits(ptr noundef nonnull %302) #8
  %344 = icmp sgt i32 %342, %343
  %. = select i1 %344, ptr %336, ptr %302
  %345 = call i32 @BN_num_bits(ptr noundef nonnull %.) #8
  %346 = icmp sgt i32 %345, -1
  br i1 %346, label %.lr.ph, label %._crit_edge

.lr.ph:                                           ; preds = %341, %353
  %.0371 = phi i32 [ %354, %353 ], [ %345, %341 ]
  %347 = call i32 @BN_is_bit_set(ptr noundef nonnull %336, i32 noundef %.0371) #8
  %348 = call i32 @BN_is_bit_set(ptr noundef nonnull %302, i32 noundef %.0371) #8
  %.not260 = icmp eq i32 %347, %348
  br i1 %.not260, label %351, label %349

349:                                              ; preds = %.lr.ph
  %350 = call i32 @BN_set_bit(ptr noundef nonnull %336, i32 noundef %.0371) #8
  br label %353

351:                                              ; preds = %.lr.ph
  %352 = call i32 @BN_clear_bit(ptr noundef nonnull %336, i32 noundef %.0371) #8
  br label %353

353:                                              ; preds = %349, %351
  %354 = add nsw i32 %.0371, -1
  %355 = icmp sgt i32 %.0371, 0
  br i1 %355, label %.lr.ph, label %._crit_edge, !llvm.loop !11

._crit_edge:                                      ; preds = %353, %341
  call void @utils_BNdump(i8 noundef zeroext 4, ptr noundef nonnull @.str.14, ptr noundef nonnull @.str.59, i8 noundef zeroext 8, ptr noundef nonnull %336) #8
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %55) #8
  %356 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %55, i64 noundef 1200, ptr noundef nonnull @.str.60, ptr noundef nonnull @.str.14) #8
  %357 = load ptr, ptr @stdout, align 8, !tbaa !5
  %358 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %357, ptr noundef nonnull @.str.15, ptr noundef nonnull %55) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %55) #8
  store i64 273, ptr %1, align 8, !tbaa !9
  %359 = call noalias dereferenceable_or_null(273) ptr @calloc(i64 noundef 1, i64 noundef 273) #9
  store ptr %359, ptr %0, align 8, !tbaa !5
  %.not262 = icmp eq ptr %359, null
  br i1 %.not262, label %360, label %364

360:                                              ; preds = %._crit_edge
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %56) #8
  %361 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %56, i64 noundef 1200, ptr noundef nonnull @.str.61, ptr noundef nonnull @.str.1) #8
  %362 = load ptr, ptr @stdout, align 8, !tbaa !5
  %363 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %362, ptr noundef nonnull @.str.2, ptr noundef nonnull %56) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %56) #8
  br label %.thread337

364:                                              ; preds = %._crit_edge
  store i8 4, ptr %359, align 1
  %365 = call i32 @BN_num_bits(ptr noundef %204) #8
  %366 = add nsw i32 %365, 7
  %.neg = sdiv i32 %366, -8
  %367 = add nsw i32 %.neg, 129
  %368 = load ptr, ptr %0, align 8, !tbaa !5
  %369 = and i32 %367, 65535
  %370 = zext nneg i32 %369 to i64
  %371 = getelementptr inbounds i8, ptr %368, i64 %370
  %372 = call i32 @BN_bn2bin(ptr noundef %204, ptr noundef %371) #8
  %.not263 = icmp eq i32 %372, 0
  br i1 %.not263, label %373, label %377

373:                                              ; preds = %364
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %57) #8
  %374 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %57, i64 noundef 1200, ptr noundef nonnull @.str.62, ptr noundef nonnull @.str.1) #8
  %375 = load ptr, ptr @stdout, align 8, !tbaa !5
  %376 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %375, ptr noundef nonnull @.str.2, ptr noundef nonnull %57) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %57) #8
  br label %.thread337

377:                                              ; preds = %364
  %378 = call i32 @BN_num_bits(ptr noundef %210) #8
  %379 = add nsw i32 %378, 7
  %.neg264 = sdiv i32 %379, -8
  %380 = add nsw i32 %.neg264, 257
  %381 = load ptr, ptr %0, align 8, !tbaa !5
  %382 = and i32 %380, 65535
  %383 = zext nneg i32 %382 to i64
  %384 = getelementptr inbounds i8, ptr %381, i64 %383
  %385 = call i32 @BN_bn2bin(ptr noundef %210, ptr noundef %384) #8
  %.not265 = icmp eq i32 %385, 0
  br i1 %.not265, label %386, label %390

386:                                              ; preds = %377
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %58) #8
  %387 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %58, i64 noundef 1200, ptr noundef nonnull @.str.63, ptr noundef nonnull @.str.1) #8
  %388 = load ptr, ptr @stdout, align 8, !tbaa !5
  %389 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %388, ptr noundef nonnull @.str.2, ptr noundef nonnull %58) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %58) #8
  br label %.thread337

390:                                              ; preds = %377
  %391 = call i32 @BN_num_bits(ptr noundef nonnull %336) #8
  %392 = add nsw i32 %391, 7
  %.neg266 = sdiv i32 %392, -8
  %393 = add nsw i32 %.neg266, 273
  %394 = load ptr, ptr %0, align 8, !tbaa !5
  %395 = and i32 %393, 65535
  %396 = zext nneg i32 %395 to i64
  %397 = getelementptr inbounds i8, ptr %394, i64 %396
  %398 = call i32 @BN_bn2bin(ptr noundef nonnull %336, ptr noundef %397) #8
  %.not267 = icmp eq i32 %398, 0
  br i1 %.not267, label %399, label %403

399:                                              ; preds = %390
  call void @llvm.lifetime.start.p0(i64 1200, ptr nonnull %59) #8
  %400 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %59, i64 noundef 1200, ptr noundef nonnull @.str.64, ptr noundef nonnull @.str.1) #8
  %401 = load ptr, ptr @stdout, align 8, !tbaa !5
  %402 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %401, ptr noundef nonnull @.str.2, ptr noundef nonnull %59) #8
  call void @llvm.lifetime.end.p0(i64 1200, ptr nonnull %59) #8
  br label %.thread337

403:                                              ; preds = %390
  %404 = load ptr, ptr %0, align 8, !tbaa !5
  %405 = load i64, ptr %1, align 8, !tbaa !9
  call void @utils_printFormattedOctetString(i8 noundef zeroext 4, ptr noundef nonnull @.str.14, ptr noundef nonnull @.str.65, i8 noundef zeroext 6, ptr noundef %404, i64 noundef %405) #8
  br label %.thread337

.thread337:                                       ; preds = %.thread372, %.thread, %117, %125, %110, %107, %144, %151, %158, %167, %174, %180, %187, %193, %199, %205, %211, %217, %235, %241, %247, %253, %267, %273, %279, %285, %261, %229, %294, %303, %312, %318, %324, %337, %330, %360, %386, %403, %399, %373
  %.0167369 = phi ptr [ %317, %403 ], [ %317, %399 ], [ %317, %386 ], [ %317, %373 ], [ %317, %360 ], [ null, %294 ], [ null, %303 ], [ null, %312 ], [ null, %318 ], [ %317, %324 ], [ %317, %337 ], [ %317, %330 ], [ null, %229 ], [ null, %261 ], [ null, %285 ], [ null, %279 ], [ null, %273 ], [ null, %267 ], [ null, %253 ], [ null, %247 ], [ null, %241 ], [ null, %235 ], [ null, %217 ], [ null, %211 ], [ null, %205 ], [ null, %199 ], [ null, %193 ], [ null, %187 ], [ null, %180 ], [ null, %174 ], [ null, %167 ], [ null, %158 ], [ null, %151 ], [ null, %144 ], [ null, %107 ], [ null, %110 ], [ null, %125 ], [ null, %117 ], [ null, %.thread ], [ null, %.thread372 ]
  %.0172368 = phi ptr [ %293, %403 ], [ %293, %399 ], [ %293, %386 ], [ %293, %373 ], [ %293, %360 ], [ null, %294 ], [ %293, %303 ], [ %293, %312 ], [ %293, %318 ], [ %293, %324 ], [ %293, %337 ], [ %293, %330 ], [ null, %229 ], [ null, %261 ], [ null, %285 ], [ null, %279 ], [ null, %273 ], [ null, %267 ], [ null, %253 ], [ null, %247 ], [ null, %241 ], [ null, %235 ], [ null, %217 ], [ null, %211 ], [ null, %205 ], [ null, %199 ], [ null, %193 ], [ null, %187 ], [ null, %180 ], [ null, %174 ], [ null, %167 ], [ null, %158 ], [ null, %151 ], [ null, %144 ], [ null, %107 ], [ null, %110 ], [ null, %125 ], [ null, %117 ], [ null, %.thread ], [ null, %.thread372 ]
  %.0178367 = phi ptr [ %302, %403 ], [ %302, %399 ], [ %302, %386 ], [ %302, %373 ], [ %302, %360 ], [ null, %294 ], [ null, %303 ], [ %302, %312 ], [ %302, %318 ], [ %302, %324 ], [ %302, %337 ], [ %302, %330 ], [ null, %229 ], [ null, %261 ], [ null, %285 ], [ null, %279 ], [ null, %273 ], [ null, %267 ], [ null, %253 ], [ null, %247 ], [ null, %241 ], [ null, %235 ], [ null, %217 ], [ null, %211 ], [ null, %205 ], [ null, %199 ], [ null, %193 ], [ null, %187 ], [ null, %180 ], [ null, %174 ], [ null, %167 ], [ null, %158 ], [ null, %151 ], [ null, %144 ], [ null, %107 ], [ null, %110 ], [ null, %125 ], [ null, %117 ], [ null, %.thread ], [ null, %.thread372 ]
  %.0179366 = phi ptr [ %336, %403 ], [ %336, %399 ], [ %336, %386 ], [ %336, %373 ], [ %336, %360 ], [ null, %294 ], [ null, %303 ], [ null, %312 ], [ null, %318 ], [ null, %324 ], [ null, %337 ], [ null, %330 ], [ null, %229 ], [ null, %261 ], [ null, %285 ], [ null, %279 ], [ null, %273 ], [ null, %267 ], [ null, %253 ], [ null, %247 ], [ null, %241 ], [ null, %235 ], [ null, %217 ], [ null, %211 ], [ null, %205 ], [ null, %199 ], [ null, %193 ], [ null, %187 ], [ null, %180 ], [ null, %174 ], [ null, %167 ], [ null, %158 ], [ null, %151 ], [ null, %144 ], [ null, %107 ], [ null, %110 ], [ null, %125 ], [ null, %117 ], [ null, %.thread ], [ null, %.thread372 ]
  %.0169311325365 = phi ptr [ %179, %403 ], [ %179, %399 ], [ %179, %386 ], [ %179, %373 ], [ %179, %360 ], [ %179, %294 ], [ %179, %303 ], [ %179, %312 ], [ %179, %318 ], [ %179, %324 ], [ %179, %337 ], [ %179, %330 ], [ %179, %229 ], [ %179, %261 ], [ %179, %285 ], [ %179, %279 ], [ %179, %273 ], [ %179, %267 ], [ %179, %253 ], [ %179, %247 ], [ %179, %241 ], [ %179, %235 ], [ %179, %217 ], [ %179, %211 ], [ %179, %205 ], [ %179, %199 ], [ %179, %193 ], [ %179, %187 ], [ null, %180 ], [ null, %174 ], [ null, %167 ], [ null, %158 ], [ null, %151 ], [ null, %144 ], [ null, %107 ], [ null, %110 ], [ null, %125 ], [ null, %117 ], [ null, %.thread ], [ null, %.thread372 ]
  %.0170310326364 = phi ptr [ %166, %403 ], [ %166, %399 ], [ %166, %386 ], [ %166, %373 ], [ %166, %360 ], [ %166, %294 ], [ %166, %303 ], [ %166, %312 ], [ %166, %318 ], [ %166, %324 ], [ %166, %337 ], [ %166, %330 ], [ %166, %229 ], [ %166, %261 ], [ %166, %285 ], [ %166, %279 ], [ %166, %273 ], [ %166, %267 ], [ %166, %253 ], [ %166, %247 ], [ %166, %241 ], [ %166, %235 ], [ %166, %217 ], [ %166, %211 ], [ %166, %205 ], [ %166, %199 ], [ %166, %193 ], [ %166, %187 ], [ %166, %180 ], [ %166, %174 ], [ null, %167 ], [ null, %158 ], [ null, %151 ], [ null, %144 ], [ null, %107 ], [ null, %110 ], [ null, %125 ], [ null, %117 ], [ null, %.thread ], [ null, %.thread372 ]
  %.0175309327363 = phi ptr [ %210, %403 ], [ %210, %399 ], [ %210, %386 ], [ %210, %373 ], [ %210, %360 ], [ %210, %294 ], [ %210, %303 ], [ %210, %312 ], [ %210, %318 ], [ %210, %324 ], [ %210, %337 ], [ %210, %330 ], [ %210, %229 ], [ %210, %261 ], [ %210, %285 ], [ %210, %279 ], [ %210, %273 ], [ %210, %267 ], [ %210, %253 ], [ %210, %247 ], [ %210, %241 ], [ %210, %235 ], [ %210, %217 ], [ null, %211 ], [ null, %205 ], [ null, %199 ], [ null, %193 ], [ null, %187 ], [ null, %180 ], [ null, %174 ], [ null, %167 ], [ null, %158 ], [ null, %151 ], [ null, %144 ], [ null, %107 ], [ null, %110 ], [ null, %125 ], [ null, %117 ], [ null, %.thread ], [ null, %.thread372 ]
  %.0176308328362 = phi ptr [ %204, %403 ], [ %204, %399 ], [ %204, %386 ], [ %204, %373 ], [ %204, %360 ], [ %204, %294 ], [ %204, %303 ], [ %204, %312 ], [ %204, %318 ], [ %204, %324 ], [ %204, %337 ], [ %204, %330 ], [ %204, %229 ], [ %204, %261 ], [ %204, %285 ], [ %204, %279 ], [ %204, %273 ], [ %204, %267 ], [ %204, %253 ], [ %204, %247 ], [ %204, %241 ], [ %204, %235 ], [ %204, %217 ], [ %204, %211 ], [ null, %205 ], [ null, %199 ], [ null, %193 ], [ null, %187 ], [ null, %180 ], [ null, %174 ], [ null, %167 ], [ null, %158 ], [ null, %151 ], [ null, %144 ], [ null, %107 ], [ null, %110 ], [ null, %125 ], [ null, %117 ], [ null, %.thread ], [ null, %.thread372 ]
  %.0181307329361 = phi ptr [ %173, %403 ], [ %173, %399 ], [ %173, %386 ], [ %173, %373 ], [ %173, %360 ], [ %173, %294 ], [ %173, %303 ], [ %173, %312 ], [ %173, %318 ], [ %173, %324 ], [ %173, %337 ], [ %173, %330 ], [ %173, %229 ], [ %173, %261 ], [ %173, %285 ], [ %173, %279 ], [ %173, %273 ], [ %173, %267 ], [ %173, %253 ], [ %173, %247 ], [ %173, %241 ], [ %173, %235 ], [ %173, %217 ], [ %173, %211 ], [ %173, %205 ], [ %173, %199 ], [ %173, %193 ], [ %173, %187 ], [ %173, %180 ], [ null, %174 ], [ null, %167 ], [ null, %158 ], [ null, %151 ], [ null, %144 ], [ null, %107 ], [ null, %110 ], [ null, %125 ], [ null, %117 ], [ null, %.thread ], [ null, %.thread372 ]
  %.0177288305330360 = phi ptr [ %150, %403 ], [ %150, %399 ], [ %150, %386 ], [ %150, %373 ], [ %150, %360 ], [ %150, %294 ], [ %150, %303 ], [ %150, %312 ], [ %150, %318 ], [ %150, %324 ], [ %150, %337 ], [ %150, %330 ], [ %150, %229 ], [ %150, %261 ], [ %150, %285 ], [ %150, %279 ], [ %150, %273 ], [ %150, %267 ], [ %150, %253 ], [ %150, %247 ], [ %150, %241 ], [ %150, %235 ], [ %150, %217 ], [ %150, %211 ], [ %150, %205 ], [ %150, %199 ], [ %150, %193 ], [ %150, %187 ], [ %150, %180 ], [ %150, %174 ], [ %150, %167 ], [ %150, %158 ], [ null, %151 ], [ null, %144 ], [ null, %107 ], [ null, %110 ], [ null, %125 ], [ null, %117 ], [ null, %.thread ], [ null, %.thread372 ]
  %.0165289304331359 = phi ptr [ %143, %403 ], [ %143, %399 ], [ %143, %386 ], [ %143, %373 ], [ %143, %360 ], [ %143, %294 ], [ %143, %303 ], [ %143, %312 ], [ %143, %318 ], [ %143, %324 ], [ %143, %337 ], [ %143, %330 ], [ %143, %229 ], [ %143, %261 ], [ %143, %285 ], [ %143, %279 ], [ %143, %273 ], [ %143, %267 ], [ %143, %253 ], [ %143, %247 ], [ %143, %241 ], [ %143, %235 ], [ %143, %217 ], [ %143, %211 ], [ %143, %205 ], [ %143, %199 ], [ %143, %193 ], [ %143, %187 ], [ %143, %180 ], [ %143, %174 ], [ %143, %167 ], [ %143, %158 ], [ %143, %151 ], [ null, %144 ], [ null, %107 ], [ null, %110 ], [ null, %125 ], [ null, %117 ], [ null, %.thread ], [ null, %.thread372 ]
  %.0180333357 = phi ptr [ %234, %403 ], [ %234, %399 ], [ %234, %386 ], [ %234, %373 ], [ %234, %360 ], [ %234, %294 ], [ %234, %303 ], [ %234, %312 ], [ %234, %318 ], [ %234, %324 ], [ %234, %337 ], [ %234, %330 ], [ null, %229 ], [ %234, %261 ], [ %234, %285 ], [ %234, %279 ], [ %234, %273 ], [ %234, %267 ], [ %234, %253 ], [ %234, %247 ], [ %234, %241 ], [ null, %235 ], [ null, %217 ], [ null, %211 ], [ null, %205 ], [ null, %199 ], [ null, %193 ], [ null, %187 ], [ null, %180 ], [ null, %174 ], [ null, %167 ], [ null, %158 ], [ null, %151 ], [ null, %144 ], [ null, %107 ], [ null, %110 ], [ null, %125 ], [ null, %117 ], [ null, %.thread ], [ null, %.thread372 ]
  %.0174334356 = phi ptr [ %246, %403 ], [ %246, %399 ], [ %246, %386 ], [ %246, %373 ], [ %246, %360 ], [ %246, %294 ], [ %246, %303 ], [ %246, %312 ], [ %246, %318 ], [ %246, %324 ], [ %246, %337 ], [ %246, %330 ], [ null, %229 ], [ %246, %261 ], [ %246, %285 ], [ %246, %279 ], [ %246, %273 ], [ %246, %267 ], [ %246, %253 ], [ null, %247 ], [ null, %241 ], [ null, %235 ], [ null, %217 ], [ null, %211 ], [ null, %205 ], [ null, %199 ], [ null, %193 ], [ null, %187 ], [ null, %180 ], [ null, %174 ], [ null, %167 ], [ null, %158 ], [ null, %151 ], [ null, %144 ], [ null, %107 ], [ null, %110 ], [ null, %125 ], [ null, %117 ], [ null, %.thread ], [ null, %.thread372 ]
  %.0173335355 = phi ptr [ %252, %403 ], [ %252, %399 ], [ %252, %386 ], [ %252, %373 ], [ %252, %360 ], [ %252, %294 ], [ %252, %303 ], [ %252, %312 ], [ %252, %318 ], [ %252, %324 ], [ %252, %337 ], [ %252, %330 ], [ null, %229 ], [ %252, %261 ], [ %252, %285 ], [ %252, %279 ], [ %252, %273 ], [ %252, %267 ], [ null, %253 ], [ null, %247 ], [ null, %241 ], [ null, %235 ], [ null, %217 ], [ null, %211 ], [ null, %205 ], [ null, %199 ], [ null, %193 ], [ null, %187 ], [ null, %180 ], [ null, %174 ], [ null, %167 ], [ null, %158 ], [ null, %151 ], [ null, %144 ], [ null, %107 ], [ null, %110 ], [ null, %125 ], [ null, %117 ], [ null, %.thread ], [ null, %.thread372 ]
  %.0182 = phi i8 [ 0, %403 ], [ 1, %399 ], [ 1, %386 ], [ 1, %373 ], [ 1, %360 ], [ 1, %294 ], [ 1, %303 ], [ 1, %312 ], [ 1, %318 ], [ 1, %324 ], [ 1, %337 ], [ 1, %330 ], [ 1, %229 ], [ 1, %261 ], [ 1, %285 ], [ 1, %279 ], [ 1, %273 ], [ 1, %267 ], [ 1, %253 ], [ 1, %247 ], [ 1, %241 ], [ 1, %235 ], [ 1, %217 ], [ 1, %211 ], [ 1, %205 ], [ 1, %199 ], [ 1, %193 ], [ 1, %187 ], [ 1, %180 ], [ 1, %174 ], [ 1, %167 ], [ 1, %158 ], [ 1, %151 ], [ 1, %144 ], [ 1, %107 ], [ 1, %110 ], [ 1, %125 ], [ 1, %117 ], [ 1, %.thread ], [ 1, %.thread372 ]
  call void @BN_clear_free(ptr noundef %.0181307329361) #8
  call void @BN_clear_free(ptr noundef %.0180333357) #8
  call void @BN_clear_free(ptr noundef %.0179366) #8
  call void @BN_clear_free(ptr noundef %.0178367) #8
  call void @BN_clear_free(ptr noundef %.0177288305330360) #8
  call void @BN_clear_free(ptr noundef %.0176308328362) #8
  call void @BN_clear_free(ptr noundef %.0175309327363) #8
  call void @BN_clear_free(ptr noundef %.0174334356) #8
  call void @BN_clear_free(ptr noundef %.0173335355) #8
  call void @BN_clear_free(ptr noundef %.0172368) #8
  call void @EC_POINT_clear_free(ptr noundef %.0170310326364) #8
  call void @EC_POINT_clear_free(ptr noundef %.0169311325365) #8
  %.not268 = icmp eq ptr %.0167369, null
  br i1 %.not268, label %407, label %406

406:                                              ; preds = %.thread337
  call void @free(ptr noundef nonnull %.0167369) #8
  br label %407

407:                                              ; preds = %406, %.thread337
  %.not269 = icmp eq ptr %.0165289304331359, null
  br i1 %.not269, label %409, label %408

408:                                              ; preds = %407
  call void @free(ptr noundef nonnull %.0165289304331359) #8
  br label %409

409:                                              ; preds = %408, %407
  call void @BN_CTX_free(ptr noundef %60) #8
  ret i8 %.0182
}

; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture) #1

declare ptr @BN_CTX_new() local_unnamed_addr #2

; Function Attrs: nofree nounwind
declare noundef i32 @snprintf(ptr noalias nocapture noundef writeonly, i64 noundef, ptr nocapture noundef readonly, ...) local_unnamed_addr #3

; Function Attrs: nofree nounwind
declare noundef i32 @fprintf(ptr nocapture noundef, ptr nocapture noundef readonly, ...) local_unnamed_addr #3

; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #1

declare signext i16 @community_exists(ptr noundef) local_unnamed_addr #2

declare zeroext i8 @community_get_paramSet(ptr noundef) local_unnamed_addr #2

declare ptr @ms_getParameter_E(i8 noundef zeroext) local_unnamed_addr #2

declare zeroext i16 @ms_getParameter_n(i8 noundef zeroext) local_unnamed_addr #2

declare void @utils_printFormattedOctetString(i8 noundef zeroext, ptr noundef, ptr noundef, i8 noundef zeroext, ptr noundef, i64 noundef) local_unnamed_addr #2

; Function Attrs: mustprogress nofree nounwind willreturn allockind("alloc,zeroed") allocsize(0,1) memory(inaccessiblemem: readwrite)
declare noalias noundef ptr @calloc(i64 noundef, i64 noundef) local_unnamed_addr #4

; Function Attrs: mustprogress nocallback nofree nounwind willreturn memory(argmem: readwrite)
declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) #5

declare ptr @BN_new() local_unnamed_addr #2

; Function Attrs: nounwind uwtable
declare hidden zeroext i8 @sakke_hashToIntegerRangeSHA256(ptr noundef, ptr noundef, i64 noundef, ptr noundef) local_unnamed_addr #0

declare ptr @ms_getParameter_q(i8 noundef zeroext) local_unnamed_addr #2

declare void @utils_BNdump(i8 noundef zeroext, ptr noundef, ptr noundef, i8 noundef zeroext, ptr noundef) local_unnamed_addr #2

declare ptr @EC_POINT_new(ptr noundef) local_unnamed_addr #2

declare ptr @BN_bin2bn(ptr noundef, i32 noundef, ptr noundef) local_unnamed_addr #2

declare ptr @community_getZ_point(ptr noundef) local_unnamed_addr #2

declare i32 @EC_POINT_mul(ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #2

declare ptr @ms_getParameter_P(i8 noundef zeroext) local_unnamed_addr #2

declare i32 @EC_POINT_add(ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #2

declare i32 @EC_POINT_get_affine_coordinates_GFp(ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #2

declare i32 @BN_is_zero(ptr noundef) local_unnamed_addr #2

declare ptr @ms_getParameter_p(i8 noundef zeroext) local_unnamed_addr #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden zeroext i8 @sakke_pointExponent(ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #6

declare ptr @BN_value_one() local_unnamed_addr #2

declare ptr @ms_getParameter_g(i8 noundef zeroext) local_unnamed_addr #2

declare i32 @BN_div(ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #2

declare ptr @BN_mod_inverse(ptr noundef, ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #2

declare i32 @BN_mul(ptr noundef, ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #2

declare i32 @BN_set_bit(ptr noundef, i32 noundef) local_unnamed_addr #2

declare i32 @BN_num_bits(ptr noundef) local_unnamed_addr #2

declare i32 @BN_bn2bin(ptr noundef, ptr noundef) local_unnamed_addr #2

declare i32 @BN_is_bit_set(ptr noundef, i32 noundef) local_unnamed_addr #2

declare i32 @BN_clear_bit(ptr noundef, i32 noundef) local_unnamed_addr #2

declare void @BN_clear_free(ptr noundef) local_unnamed_addr #2

declare void @EC_POINT_clear_free(ptr noundef) local_unnamed_addr #2

; Function Attrs: mustprogress nounwind willreturn allockind("free") memory(argmem: readwrite, inaccessiblemem: readwrite)
declare void @free(ptr allocptr nocapture noundef) local_unnamed_addr #7

declare void @BN_CTX_free(ptr noundef) local_unnamed_addr #2

attributes #0 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { nofree nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { mustprogress nofree nounwind willreturn allockind("alloc,zeroed") allocsize(0,1) memory(inaccessiblemem: readwrite) "alloc-family"="malloc" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #6 = { inlinehint nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #7 = { mustprogress nounwind willreturn allockind("free") memory(argmem: readwrite, inaccessiblemem: readwrite) "alloc-family"="malloc" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #8 = { nounwind }
attributes #9 = { nounwind allocsize(0,1) }

!llvm.module.flags = !{!0, !1, !2, !3}
!llvm.ident = !{!4}

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"long", !7, i64 0}
!11 = distinct !{!11, !12}
!12 = !{!"llvm.loop.mustprogress"}


; Effective O3 passes: CorrelatedValuePropagationPass,DSEPass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,InferFunctionAttrsPass,InstCombinePass,JumpThreadingPass,LoopRotatePass,LoopSimplifyPass,LoopUnrollPass,PostOrderFunctionAttrsPass,SROAPass,SimplifyCFGPass,TailCallElimPass