print(readLine()!.contains("7") ? "Yes" : "No" )

; ModuleID = '/data/TheStack_IR/OJ_Samples/Collated/Swift/Source_749/llvm_O3.ll'
source_filename = "/data/TheStack_IR/OJ_Samples/Collated/Swift/Source_749/llvm_O3.ll"
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

%swift.type_descriptor = type opaque
%swift.type = type { i64 }
%TSJ = type <{ %TSS }>
%TSS = type <{ %Ts11_StringGutsV }>
%Ts11_StringGutsV = type <{ %Ts13_StringObjectV }>
%Ts13_StringObjectV = type <{ %Ts6UInt64V, %swift.bridge* }>
%Ts6UInt64V = type <{ i64 }>
%swift.bridge = type opaque
%swift.error = type opaque
%swift.refcounted = type { %swift.type*, i64 }
%swift.opaque = type opaque
%Ts28__ContiguousArrayStorageBaseC = type <{ %swift.refcounted, %Ts10_ArrayBodyV }>
%Ts10_ArrayBodyV = type <{ %TSo22_SwiftArrayBodyStorageV }>
%TSo22_SwiftArrayBodyStorageV = type <{ %TSi, %TSu }>
%TSi = type <{ i64 }>
%TSu = type <{ i64 }>
%TSS8IteratorV = type <{ %Ts11_StringGutsV, %TSi, %TSi }>

@"$ss23_ContiguousArrayStorageCMn" = external global %swift.type_descriptor, align 4
@"got.$ss23_ContiguousArrayStorageCMn" = private unnamed_addr constant %swift.type_descriptor* @"$ss23_ContiguousArrayStorageCMn"
@"symbolic _____yypG s23_ContiguousArrayStorageC" = linkonce_odr hidden constant <{ i8, i32, [4 x i8], i8 }> <{ i8 2, i32 trunc (i64 sub (i64 ptrtoint (%swift.type_descriptor** @"got.$ss23_ContiguousArrayStorageCMn" to i64), i64 ptrtoint (i32* getelementptr inbounds (<{ i8, i32, [4 x i8], i8 }>, <{ i8, i32, [4 x i8], i8 }>* @"symbolic _____yypG s23_ContiguousArrayStorageC", i32 0, i32 1) to i64)) to i32), [4 x i8] c"yypG", i8 0 }>, section "swift5_typeref", no_sanitize_address, align 2
@"$ss23_ContiguousArrayStorageCyypGMD" = linkonce_odr hidden global { i32, i32 } { i32 trunc (i64 sub (i64 ptrtoint (<{ i8, i32, [4 x i8], i8 }>* @"symbolic _____yypG s23_ContiguousArrayStorageC" to i64), i64 ptrtoint ({ i32, i32 }* @"$ss23_ContiguousArrayStorageCyypGMD" to i64)) to i32), i32 -9 }, align 8
@"$sSSN" = external global %swift.type, align 8
@"\01l_entry_point" = private constant { i32, i32 } { i32 trunc (i64 sub (i64 ptrtoint (i32 (i32, i8**)* @main to i64), i64 ptrtoint ({ i32, i32 }* @"\01l_entry_point" to i64)) to i32), i32 0 }, section "swift5_entry", align 4
@__swift_reflection_version = linkonce_odr hidden constant i16 3
@_swift1_autolink_entries = private constant [77 x i8] c"-lswift_Concurrency\00-lswiftCore\00-lswift_StringProcessing\00-lswift_RegexParser\00", section ".swift1_autolink_entries", no_sanitize_address, align 8
@llvm.compiler.used = appending global [4 x i8*] [i8* bitcast ({ i32, i32 }* @"\01l_entry_point" to i8*), i8* bitcast (i16* @__swift_reflection_version to i8*), i8* getelementptr inbounds ([77 x i8], [77 x i8]* @_swift1_autolink_entries, i32 0, i32 0), i8* bitcast (i32 (i32, i8**)* @main to i8*)], section "llvm.metadata"

define protected i32 @main(i32 %0, i8** nocapture readnone %1) #0 {
entry:
  %2 = alloca %TSJ, align 8
  %swifterror = alloca swifterror %swift.error*, align 8
  store %swift.error* null, %swift.error** %swifterror, align 8
  %3 = tail call %swift.type* @__swift_instantiateConcreteTypeFromMangledName({ i32, i32 }* nonnull @"$ss23_ContiguousArrayStorageCyypGMD") #8
  %4 = tail call noalias %swift.refcounted* @swift_allocObject(%swift.type* %3, i64 64, i64 7) #3
  %5 = getelementptr inbounds %swift.refcounted, %swift.refcounted* %4, i64 1
  %._storage.count._value = bitcast %swift.refcounted* %5 to i64*
  store i64 1, i64* %._storage.count._value, align 8
  %._storage._capacityAndFlags = getelementptr inbounds %swift.refcounted, %swift.refcounted* %4, i64 1, i32 1
  store i64 2, i64* %._storage._capacityAndFlags, align 8
  %6 = tail call swiftcc { i64, i64 } @"$ss8readLine16strippingNewlineSSSgSb_tF"(i1 true)
  %7 = extractvalue { i64, i64 } %6, 1
  %8 = icmp eq i64 %7, 0
  br i1 %8, label %23, label %9

9:                                                ; preds = %entry
  %10 = extractvalue { i64, i64 } %6, 0
  %11 = inttoptr i64 %7 to %swift.bridge*
  %12 = bitcast %TSJ* %2 to i8*
  call void @llvm.lifetime.start.p0i8(i64 16, i8* nonnull %12)
  %._str._guts._object._countAndFlagsBits._value = getelementptr inbounds %TSJ, %TSJ* %2, i64 0, i32 0, i32 0, i32 0, i32 0, i32 0
  store i64 55, i64* %._str._guts._object._countAndFlagsBits._value, align 8
  %._str._guts._object._object = getelementptr inbounds %TSJ, %TSJ* %2, i64 0, i32 0, i32 0, i32 0, i32 1
  store %swift.bridge* inttoptr (i64 -2233785415175766016 to %swift.bridge*), %swift.bridge** %._str._guts._object._object, align 8
  %spsave = tail call i8* @llvm.stacksave()
  %13 = alloca [24 x i8], align 16
  %14 = bitcast [24 x i8]* %13 to %swift.opaque*
  %15 = getelementptr inbounds [24 x i8], [24 x i8]* %13, i64 0, i64 16
  %16 = bitcast i8* %15 to %TSJ**
  store %TSJ* %2, %TSJ** %16, align 16
  %17 = call swiftcc i1 @"$sSTsE8contains5whereS2b7ElementQzKXE_tKFSS_Tg5"(i8* nonnull bitcast (i1 (%TSJ*, %swift.refcounted*, %swift.error**)* @"$sSTsSQ7ElementRpzrlE8containsySbABFSbABXEfU_SS_TG5TA" to i8*), %swift.opaque* nonnull %14, i64 %10, %swift.bridge* nonnull %11, %swift.refcounted* swiftself undef, %swift.error** noalias nocapture nonnull swifterror dereferenceable(8) %swifterror)
  call void @swift_bridgeObjectRelease(%swift.bridge* nonnull %11) #3
  call void @llvm.stackrestore(i8* %spsave)
  call void @llvm.lifetime.end.p0i8(i64 16, i8* nonnull %12)
  %. = select i1 %17, i64 7562585, i64 28494
  %.6 = select i1 %17, %swift.bridge* inttoptr (i64 -2089670227099910144 to %swift.bridge*), %swift.bridge* inttoptr (i64 -2161727821137838080 to %swift.bridge*)
  %18 = bitcast %swift.refcounted* %4 to %Ts28__ContiguousArrayStorageBaseC*
  %19 = getelementptr inbounds %swift.refcounted, %swift.refcounted* %4, i64 2
  %20 = getelementptr inbounds %swift.refcounted, %swift.refcounted* %4, i64 3, i32 1
  %21 = bitcast i64* %20 to %swift.type**
  store %swift.type* @"$sSSN", %swift.type** %21, align 8
  %._guts._object._countAndFlagsBits._value = bitcast %swift.refcounted* %19 to i64*
  store i64 %., i64* %._guts._object._countAndFlagsBits._value, align 8
  %._guts._object._object = getelementptr inbounds %swift.refcounted, %swift.refcounted* %4, i64 2, i32 1
  %22 = bitcast i64* %._guts._object._object to %swift.bridge**
  store %swift.bridge* %.6, %swift.bridge** %22, align 8
  call swiftcc void @"$ss5print_9separator10terminatoryypd_S2StF"(%Ts28__ContiguousArrayStorageBaseC* %18, i64 32, %swift.bridge* nonnull inttoptr (i64 -2233785415175766016 to %swift.bridge*), i64 10, %swift.bridge* nonnull inttoptr (i64 -2233785415175766016 to %swift.bridge*))
  call void @swift_release(%swift.refcounted* nonnull %4) #3
  ret i32 0

23:                                               ; preds = %entry
  tail call void asm sideeffect "", "n"(i32 0) #3
  tail call void @llvm.trap()
  unreachable
}

; Function Attrs: mustprogress nofree noinline nounwind readonly willreturn
define linkonce_odr hidden %swift.type* @__swift_instantiateConcreteTypeFromMangledName({ i32, i32 }* %0) local_unnamed_addr #1 {
entry:
  %1 = bitcast { i32, i32 }* %0 to i64*
  %2 = load atomic i64, i64* %1 monotonic, align 8
  %3 = icmp slt i64 %2, 0
  br i1 %3, label %7, label %4, !prof !6

4:                                                ; preds = %7, %entry
  %5 = phi i64 [ %2, %entry ], [ %15, %7 ]
  %6 = inttoptr i64 %5 to %swift.type*
  ret %swift.type* %6

7:                                                ; preds = %entry
  %8 = ashr i64 %2, 32
  %9 = sub nsw i64 0, %8
  %sext = shl i64 %2, 32
  %10 = ashr exact i64 %sext, 32
  %11 = ptrtoint { i32, i32 }* %0 to i64
  %12 = add i64 %10, %11
  %13 = inttoptr i64 %12 to i8*
  %14 = tail call swiftcc %swift.type* @swift_getTypeByMangledNameInContext2(i8* %13, i64 %9, %swift.type_descriptor* null, i8** null) #9
  %15 = ptrtoint %swift.type* %14 to i64
  store atomic i64 %15, i64* %1 monotonic, align 8
  br label %4
}

; Function Attrs: argmemonly nounwind
declare swiftcc %swift.type* @swift_getTypeByMangledNameInContext2(i8*, i64, %swift.type_descriptor*, i8**) local_unnamed_addr #2

; Function Attrs: nounwind
declare %swift.refcounted* @swift_allocObject(%swift.type*, i64, i64) local_unnamed_addr #3

declare swiftcc { i64, i64 } @"$ss8readLine16strippingNewlineSSSgSb_tF"(i1) local_unnamed_addr #0

; Function Attrs: cold noreturn nounwind
declare void @llvm.trap() #4

; Function Attrs: argmemonly mustprogress nocallback nofree nosync nounwind willreturn
declare void @llvm.lifetime.start.p0i8(i64 immarg, i8* nocapture) #5

; Function Attrs: argmemonly mustprogress nocallback nofree nosync nounwind willreturn
declare void @llvm.lifetime.end.p0i8(i64 immarg, i8* nocapture) #5

define linkonce_odr hidden swiftcc i1 @"$sSTsE8contains5whereS2b7ElementQzKXE_tKFSS_Tg5"(i8* %0, %swift.opaque* %1, i64 %2, %swift.bridge* %3, %swift.refcounted* swiftself %4, %swift.error** noalias nocapture swifterror dereferenceable(8) %5) local_unnamed_addr #0 {
entry:
  %6 = alloca %TSS8IteratorV, align 8
  %7 = alloca %TSJ, align 8
  %8 = bitcast %TSS8IteratorV* %6 to i8*
  call void @llvm.lifetime.start.p0i8(i64 32, i8* nonnull %8)
  %9 = ptrtoint %swift.bridge* %3 to i64
  %10 = and i64 %9, 2305843009213693952
  %11 = icmp eq i64 %10, 0
  %12 = lshr i64 %9, 56
  %13 = and i64 %12, 15
  %14 = and i64 %2, 281474976710655
  %15 = select i1 %11, i64 %14, i64 %13
  %._guts._object._countAndFlagsBits._value = getelementptr inbounds %TSS8IteratorV, %TSS8IteratorV* %6, i64 0, i32 0, i32 0, i32 0, i32 0
  store i64 %2, i64* %._guts._object._countAndFlagsBits._value, align 8
  %._guts._object._object = getelementptr inbounds %TSS8IteratorV, %TSS8IteratorV* %6, i64 0, i32 0, i32 0, i32 1
  store %swift.bridge* %3, %swift.bridge** %._guts._object._object, align 8
  %._position._value = getelementptr inbounds %TSS8IteratorV, %TSS8IteratorV* %6, i64 0, i32 1, i32 0
  store i64 0, i64* %._position._value, align 8
  %._end._value = getelementptr inbounds %TSS8IteratorV, %TSS8IteratorV* %6, i64 0, i32 2, i32 0
  store i64 %15, i64* %._end._value, align 8
  %16 = tail call %swift.bridge* @swift_bridgeObjectRetain(%swift.bridge* returned %3) #3
  %17 = call swiftcc { i64, i64 } @"$sSS8IteratorV4nextSJSgyF"(%TSS8IteratorV* nocapture nonnull swiftself dereferenceable(32) %6)
  %18 = extractvalue { i64, i64 } %17, 1
  %19 = icmp eq i64 %18, 0
  br i1 %19, label %._crit_edge, label %.lr.ph

.lr.ph:                                           ; preds = %entry
  %20 = bitcast %TSJ* %7 to i8*
  %._str._guts._object._countAndFlagsBits._value = getelementptr inbounds %TSJ, %TSJ* %7, i64 0, i32 0, i32 0, i32 0, i32 0, i32 0
  %._str._guts._object._object = getelementptr inbounds %TSJ, %TSJ* %7, i64 0, i32 0, i32 0, i32 0, i32 1
  %21 = bitcast i8* %0 to i1 (%TSJ*, %swift.refcounted*, %swift.error**)*
  %22 = bitcast %swift.opaque* %1 to %swift.refcounted*
  br label %23

23:                                               ; preds = %.lr.ph, %38
  %24 = phi i64 [ %18, %.lr.ph ], [ %40, %38 ]
  %25 = phi { i64, i64 } [ %17, %.lr.ph ], [ %39, %38 ]
  %26 = extractvalue { i64, i64 } %25, 0
  call void @llvm.lifetime.start.p0i8(i64 16, i8* nonnull %20)
  %27 = inttoptr i64 %24 to %swift.bridge*
  store i64 %26, i64* %._str._guts._object._countAndFlagsBits._value, align 8
  store %swift.bridge* %27, %swift.bridge** %._str._guts._object._object, align 8
  %28 = call swiftcc i1 %21(%TSJ* noalias nocapture nonnull dereferenceable(16) %7, %swift.refcounted* swiftself %22, %swift.error** noalias nocapture nonnull swifterror dereferenceable(8) %5)
  %29 = load %swift.error*, %swift.error** %5, align 8
  %.not = icmp eq %swift.error* %29, null
  br i1 %.not, label %31, label %32

._crit_edge:                                      ; preds = %38, %entry
  %30 = load %swift.bridge*, %swift.bridge** %._guts._object._object, align 8
  tail call void @swift_bridgeObjectRelease(%swift.bridge* %30) #3
  br label %42

31:                                               ; preds = %23
  tail call void @swift_bridgeObjectRelease(%swift.bridge* nonnull %27) #3
  br i1 %28, label %36, label %38

common.ret:                                       ; preds = %42, %32
  %common.ret.op = phi i1 [ undef, %32 ], [ %43, %42 ]
  ret i1 %common.ret.op

32:                                               ; preds = %23
  %33 = extractvalue { i64, i64 } %25, 1
  %34 = inttoptr i64 %33 to %swift.bridge*
  tail call void @swift_bridgeObjectRelease(%swift.bridge* nonnull %34) #3
  %35 = load %swift.bridge*, %swift.bridge** %._guts._object._object, align 8
  tail call void @swift_bridgeObjectRelease(%swift.bridge* %35) #3
  call void @llvm.lifetime.end.p0i8(i64 16, i8* nonnull %20)
  call void @llvm.lifetime.end.p0i8(i64 32, i8* nonnull %8)
  br label %common.ret

36:                                               ; preds = %31
  %37 = load %swift.bridge*, %swift.bridge** %._guts._object._object, align 8
  tail call void @swift_bridgeObjectRelease(%swift.bridge* %37) #3
  call void @llvm.lifetime.end.p0i8(i64 16, i8* nonnull %20)
  br label %42

38:                                               ; preds = %31
  call void @llvm.lifetime.end.p0i8(i64 16, i8* nonnull %20)
  %39 = call swiftcc { i64, i64 } @"$sSS8IteratorV4nextSJSgyF"(%TSS8IteratorV* nocapture nonnull swiftself dereferenceable(32) %6)
  %40 = extractvalue { i64, i64 } %39, 1
  %41 = icmp eq i64 %40, 0
  br i1 %41, label %._crit_edge, label %23

42:                                               ; preds = %36, %._crit_edge
  %43 = phi i1 [ true, %36 ], [ false, %._crit_edge ]
  call void @llvm.lifetime.end.p0i8(i64 32, i8* nonnull %8)
  br label %common.ret
}

; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn
declare i8* @llvm.stacksave() #6

define internal swiftcc i1 @"$sSTsSQ7ElementRpzrlE8containsySbABFSbABXEfU_SS_TG5TA"(%TSJ* noalias nocapture readonly dereferenceable(16) %0, %swift.refcounted* nocapture readonly swiftself %1, %swift.error** noalias nocapture readnone swifterror dereferenceable(8) %2) #0 {
entry:
  %3 = getelementptr inbounds %swift.refcounted, %swift.refcounted* %1, i64 1
  %4 = bitcast %swift.refcounted* %3 to %TSJ**
  %5 = load %TSJ*, %TSJ** %4, align 8
  tail call void @llvm.experimental.noalias.scope.decl(metadata !7)
  tail call void @llvm.experimental.noalias.scope.decl(metadata !10)
  %._str._guts._object._countAndFlagsBits._value.i = getelementptr inbounds %TSJ, %TSJ* %0, i64 0, i32 0, i32 0, i32 0, i32 0, i32 0
  %6 = load i64, i64* %._str._guts._object._countAndFlagsBits._value.i, align 8, !alias.scope !7, !noalias !10
  %._str._guts._object._object.i = getelementptr inbounds %TSJ, %TSJ* %0, i64 0, i32 0, i32 0, i32 0, i32 1
  %7 = load %swift.bridge*, %swift.bridge** %._str._guts._object._object.i, align 8, !alias.scope !7, !noalias !10
  %._str1._guts._object._countAndFlagsBits._value.i = getelementptr inbounds %TSJ, %TSJ* %5, i64 0, i32 0, i32 0, i32 0, i32 0, i32 0
  %8 = load i64, i64* %._str1._guts._object._countAndFlagsBits._value.i, align 8, !alias.scope !10, !noalias !7
  %._str1._guts._object._object.i = getelementptr inbounds %TSJ, %TSJ* %5, i64 0, i32 0, i32 0, i32 0, i32 1
  %9 = load %swift.bridge*, %swift.bridge** %._str1._guts._object._object.i, align 8, !alias.scope !10, !noalias !7
  %10 = icmp eq i64 %6, %8
  %11 = icmp eq %swift.bridge* %7, %9
  %or.cond.i = select i1 %10, i1 %11, i1 false
  br i1 %or.cond.i, label %"$sSTsSQ7ElementRpzrlE8containsySbABFSbABXEfU_SS_TG5.exit", label %12

12:                                               ; preds = %entry
  %13 = tail call swiftcc i1 @"$ss27_stringCompareWithSmolCheck__9expectingSbs11_StringGutsV_ADs01_G16ComparisonResultOtF"(i64 %6, %swift.bridge* %7, i64 %8, %swift.bridge* %9, i8 0) #10, !noalias !12
  br label %"$sSTsSQ7ElementRpzrlE8containsySbABFSbABXEfU_SS_TG5.exit"

"$sSTsSQ7ElementRpzrlE8containsySbABFSbABXEfU_SS_TG5.exit": ; preds = %entry, %12
  %14 = phi i1 [ %13, %12 ], [ true, %entry ]
  ret i1 %14
}

; Function Attrs: nounwind
declare void @swift_bridgeObjectRelease(%swift.bridge*) local_unnamed_addr #3

; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn
declare void @llvm.stackrestore(i8*) #6

declare swiftcc void @"$ss5print_9separator10terminatoryypd_S2StF"(%Ts28__ContiguousArrayStorageBaseC*, i64, %swift.bridge*, i64, %swift.bridge*) local_unnamed_addr #0

; Function Attrs: nounwind
declare void @swift_release(%swift.refcounted*) local_unnamed_addr #3

declare swiftcc { i64, i64 } @"$sSS8IteratorV4nextSJSgyF"(%TSS8IteratorV* nocapture swiftself dereferenceable(32)) local_unnamed_addr #0

; Function Attrs: nounwind
declare %swift.bridge* @swift_bridgeObjectRetain(%swift.bridge* returned) local_unnamed_addr #3

declare swiftcc i1 @"$ss27_stringCompareWithSmolCheck__9expectingSbs11_StringGutsV_ADs01_G16ComparisonResultOtF"(i64, %swift.bridge*, i64, %swift.bridge*, i8) local_unnamed_addr #0

; Function Attrs: inaccessiblememonly nocallback nofree nosync nounwind willreturn
declare void @llvm.experimental.noalias.scope.decl(metadata) #7

attributes #0 = { "frame-pointer"="none" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cx16,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { mustprogress nofree noinline nounwind readonly willreturn "frame-pointer"="non-leaf" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cx16,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { argmemonly nounwind }
attributes #3 = { nounwind }
attributes #4 = { cold noreturn nounwind }
attributes #5 = { argmemonly mustprogress nocallback nofree nosync nounwind willreturn }
attributes #6 = { mustprogress nocallback nofree nosync nounwind willreturn }
attributes #7 = { inaccessiblememonly nocallback nofree nosync nounwind willreturn }
attributes #8 = { nounwind readonly }
attributes #9 = { argmemonly nounwind readonly }
attributes #10 = { noinline }

!swift.module.flags = !{!0}
!llvm.linker.options = !{}
!llvm.module.flags = !{!1, !2, !3, !4, !5}

!0 = !{!"standard-library", i1 false}
!1 = !{i32 1, !"wchar_size", i32 4}
!2 = !{i32 8, !"PIC Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{i32 4, !"Objective-C Garbage Collection", i32 84477696}
!5 = !{i32 1, !"Swift Version", i32 7}
!6 = !{!"branch_weights", i32 1, i32 2000}
!7 = !{!8}
!8 = distinct !{!8, !9, !"$sSTsSQ7ElementRpzrlE8containsySbABFSbABXEfU_SS_TG5: argument 0"}
!9 = distinct !{!9, !"$sSTsSQ7ElementRpzrlE8containsySbABFSbABXEfU_SS_TG5"}
!10 = !{!11}
!11 = distinct !{!11, !9, !"$sSTsSQ7ElementRpzrlE8containsySbABFSbABXEfU_SS_TG5: argument 1"}
!12 = !{!8, !11}
