program prob2
    implicit none
    integer::A, B, i
    character(len=15)::S
    read(*,*) A, B
    read(*,*) S
    do i = 1, A+B+1
        if(i == A+1) then
            if(S(i:i) .ne. "-") then
                write(*,'(a)') "No"
                stop
            end if
        else if(ichar(S(i:i)) < ichar('0') .or. ichar(S(i:i)) > ichar('9')) then
            write(*,'(a)') "No"
            stop
        end if
    end do
    write(*,'(a)') "Yes"
    stop
end program
; ModuleID = 'FIRModule'
source_filename = "FIRModule"
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-pc-linux-gnu"

@_QQcl.608ca52593f5d3da5b5cd56c22e7128d = linkonce constant [73 x i8] c"/home/ubuntu/Downloads/TheStack_IR/Collated/Fortran/Source_6500/source.f\00"
@_QQcl.2D = linkonce constant [1 x i8] c"-"
@_QQcl.286129 = linkonce constant [3 x i8] c"(a)"
@_QQcl.4E6F = linkonce constant [2 x i8] c"No"
@_QQcl.596573 = linkonce constant [3 x i8] c"Yes"
@_QQEnvironmentDefaults = local_unnamed_addr constant ptr null

; Function Attrs: noreturn
define void @_QQmain() local_unnamed_addr #0 {
  %1 = alloca i32, align 4
  %2 = alloca i32, align 4
  %3 = alloca [15 x i8], align 1
  %4 = tail call ptr @_FortranAioBeginExternalListInput(i32 -1, ptr nonnull @_QQcl.608ca52593f5d3da5b5cd56c22e7128d, i32 5)
  %5 = call i1 @_FortranAioInputInteger(ptr %4, ptr nonnull %1, i32 4)
  %6 = call i1 @_FortranAioInputInteger(ptr %4, ptr nonnull %2, i32 4)
  %7 = call i32 @_FortranAioEndIoStatement(ptr %4)
  %8 = call ptr @_FortranAioBeginExternalListInput(i32 -1, ptr nonnull @_QQcl.608ca52593f5d3da5b5cd56c22e7128d, i32 6)
  %9 = call i1 @_FortranAioInputAscii(ptr %8, ptr nonnull %3, i64 15)
  %10 = call i32 @_FortranAioEndIoStatement(ptr %8)
  %11 = load i32, ptr %1, align 4, !tbaa !3
  %12 = load i32, ptr %2, align 4, !tbaa !3
  %13 = add i32 %11, 1
  %14 = add i32 %13, %12
  %15 = icmp sgt i32 %14, 0
  br i1 %15, label %.lr.ph.preheader, label %._crit_edge

.lr.ph.preheader:                                 ; preds = %0
  %16 = add i32 %11, %12
  %17 = add i32 %16, 2
  %wide.trip.count = zext i32 %17 to i64
  br label %.lr.ph

.lr.ph:                                           ; preds = %.lr.ph.preheader, %39
  %indvars.iv = phi i64 [ 1, %.lr.ph.preheader ], [ %indvars.iv.next, %39 ]
  %18 = load i32, ptr %1, align 4, !tbaa !3
  %19 = add i32 %18, 1
  %20 = zext i32 %19 to i64
  %21 = icmp eq i64 %indvars.iv, %20
  %22 = add nsw i64 %indvars.iv, -1
  %23 = getelementptr [15 x [1 x i8]], ptr %3, i64 0, i64 %22
  br i1 %21, label %24, label %31

24:                                               ; preds = %.lr.ph
  %25 = call i32 @_FortranACharacterCompareScalar1(ptr %23, ptr nonnull @_QQcl.2D, i64 1, i64 1)
  %.not = icmp eq i32 %25, 0
  br i1 %.not, label %39, label %26

26:                                               ; preds = %24
  %27 = call ptr @_FortranAioBeginExternalFormattedOutput(ptr nonnull @_QQcl.286129, i64 3, ptr null, i32 -1, ptr nonnull @_QQcl.608ca52593f5d3da5b5cd56c22e7128d, i32 10)
  %28 = call i1 @_FortranAioOutputAscii(ptr %27, ptr nonnull @_QQcl.4E6F, i64 2)
  %29 = call i32 @_FortranAioEndIoStatement(ptr %27)
  %30 = call {} @_FortranAStopStatement(i32 0, i1 false, i1 false)
  unreachable

31:                                               ; preds = %.lr.ph
  %.fca.0.load = load i8, ptr %23, align 1, !tbaa !3
  %32 = add i8 %.fca.0.load, -58
  %33 = icmp ult i8 %32, -10
  br i1 %33, label %34, label %39

34:                                               ; preds = %31
  %35 = call ptr @_FortranAioBeginExternalFormattedOutput(ptr nonnull @_QQcl.286129, i64 3, ptr null, i32 -1, ptr nonnull @_QQcl.608ca52593f5d3da5b5cd56c22e7128d, i32 14)
  %36 = call i1 @_FortranAioOutputAscii(ptr %35, ptr nonnull @_QQcl.4E6F, i64 2)
  %37 = call i32 @_FortranAioEndIoStatement(ptr %35)
  %38 = call {} @_FortranAStopStatement(i32 0, i1 false, i1 false)
  unreachable

39:                                               ; preds = %24, %31
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %exitcond.not = icmp eq i64 %indvars.iv.next, %wide.trip.count
  br i1 %exitcond.not, label %._crit_edge, label %.lr.ph

._crit_edge:                                      ; preds = %39, %0
  %40 = call ptr @_FortranAioBeginExternalFormattedOutput(ptr nonnull @_QQcl.286129, i64 3, ptr null, i32 -1, ptr nonnull @_QQcl.608ca52593f5d3da5b5cd56c22e7128d, i32 18)
  %41 = call i1 @_FortranAioOutputAscii(ptr %40, ptr nonnull @_QQcl.596573, i64 3)
  %42 = call i32 @_FortranAioEndIoStatement(ptr %40)
  %43 = call {} @_FortranAStopStatement(i32 0, i1 false, i1 false)
  unreachable
}

declare ptr @_FortranAioBeginExternalListInput(i32, ptr, i32) local_unnamed_addr

declare i1 @_FortranAioInputInteger(ptr, ptr, i32) local_unnamed_addr

declare i32 @_FortranAioEndIoStatement(ptr) local_unnamed_addr

declare i1 @_FortranAioInputAscii(ptr, ptr, i64) local_unnamed_addr

declare i32 @_FortranACharacterCompareScalar1(ptr, ptr, i64, i64) local_unnamed_addr

declare ptr @_FortranAioBeginExternalFormattedOutput(ptr, i64, ptr, i32, ptr, i32) local_unnamed_addr

declare i1 @_FortranAioOutputAscii(ptr, ptr, i64) local_unnamed_addr

declare {} @_FortranAStopStatement(i32, i1, i1) local_unnamed_addr

attributes #0 = { noreturn }

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

!0 = !{i32 2, !"Debug Info Version", i32 3}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{!4, !4, i64 0}
!4 = !{!"any data access", !5, i64 0}
!5 = !{!"any access", !6, i64 0}
!6 = !{!"Flang Type TBAA Root"}
