program main
 implicit none
  integer a,b,c,d
  b=0
  read*,a,b
  c=0
  if(a==1.or.a==3.or.a==5.or.a==7.or.a==8.or.a==10.or.a==12)c=c+1
  if(b==1.or.b==3.or.b==5.or.b==7.or.b==8.or.b==10.or.b==12)c=c+1
  if(c==2)print*,'Yes'
  d=0
  if(a==4.or.a==6.or.a==9.or.a==11)d=d+1

  if(b==4.or.b==6.or.b==9.or.b==11)d=d+1
  if(d==2)print*,'Yes'
  if(a==2.or.b==2) then
    print*,'No'
  else if (c==1.and.d==1)then
  print*,'No'
  end if
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.9b4ed7e41d3f29602659426546bdfd32 = linkonce constant [73 x i8] c"/home/ubuntu/Downloads/TheStack_IR/Collated/Fortran/Source_7265/source.f\00"
@_QQcl.596573 = linkonce constant [3 x i8] c"Yes"
@_QQcl.4E6F = linkonce constant [2 x i8] c"No"
@_QQEnvironmentDefaults = local_unnamed_addr constant ptr null

define void @_QQmain() local_unnamed_addr {
  %1 = alloca i32, align 4
  %2 = alloca i32, align 4
  store i32 0, ptr %2, align 4, !tbaa !3
  %3 = tail call ptr @_FortranAioBeginExternalListInput(i32 -1, ptr nonnull @_QQcl.9b4ed7e41d3f29602659426546bdfd32, i32 5)
  %4 = call i1 @_FortranAioInputInteger(ptr %3, ptr nonnull %1, i32 4)
  %5 = call i1 @_FortranAioInputInteger(ptr %3, ptr nonnull %2, i32 4)
  %6 = call i32 @_FortranAioEndIoStatement(ptr %3)
  %7 = load i32, ptr %1, align 4, !tbaa !3
  switch i32 %7, label %9 [
    i32 12, label %8
    i32 10, label %8
    i32 8, label %8
    i32 7, label %8
    i32 5, label %8
    i32 3, label %8
    i32 1, label %8
  ]

8:                                                ; preds = %0, %0, %0, %0, %0, %0, %0
  br label %9

9:                                                ; preds = %0, %8
  %10 = phi i1 [ false, %0 ], [ true, %8 ]
  %.08 = phi i32 [ 0, %0 ], [ 1, %8 ]
  %11 = load i32, ptr %2, align 4, !tbaa !3
  switch i32 %11, label %.thread [
    i32 12, label %12
    i32 10, label %12
    i32 8, label %12
    i32 7, label %12
    i32 5, label %12
    i32 3, label %12
    i32 1, label %12
  ]

12:                                               ; preds = %9, %9, %9, %9, %9, %9, %9
  br i1 %10, label %13, label %.thread

13:                                               ; preds = %12
  %14 = call ptr @_FortranAioBeginExternalListOutput(i32 -1, ptr nonnull @_QQcl.9b4ed7e41d3f29602659426546bdfd32, i32 9)
  %15 = call i1 @_FortranAioOutputAscii(ptr %14, ptr nonnull @_QQcl.596573, i64 3)
  %16 = call i32 @_FortranAioEndIoStatement(ptr %14)
  %.pre = load i32, ptr %1, align 4, !tbaa !3
  br label %.thread

.thread:                                          ; preds = %9, %13, %12
  %17 = phi i32 [ %.pre, %13 ], [ %7, %12 ], [ %7, %9 ]
  %.1911 = phi i32 [ 2, %13 ], [ 1, %12 ], [ %.08, %9 ]
  switch i32 %17, label %19 [
    i32 11, label %18
    i32 9, label %18
    i32 6, label %18
    i32 4, label %18
  ]

18:                                               ; preds = %.thread, %.thread, %.thread, %.thread
  br label %19

19:                                               ; preds = %.thread, %18
  %20 = phi i1 [ false, %.thread ], [ true, %18 ]
  %.0 = phi i32 [ 0, %.thread ], [ 1, %18 ]
  %21 = load i32, ptr %2, align 4, !tbaa !3
  switch i32 %21, label %.thread12 [
    i32 11, label %22
    i32 9, label %22
    i32 6, label %22
    i32 4, label %22
  ]

22:                                               ; preds = %19, %19, %19, %19
  br i1 %20, label %23, label %.thread12

23:                                               ; preds = %22
  %24 = call ptr @_FortranAioBeginExternalListOutput(i32 -1, ptr nonnull @_QQcl.9b4ed7e41d3f29602659426546bdfd32, i32 14)
  %25 = call i1 @_FortranAioOutputAscii(ptr %24, ptr nonnull @_QQcl.596573, i64 3)
  %26 = call i32 @_FortranAioEndIoStatement(ptr %24)
  %.pre15 = load i32, ptr %1, align 4, !tbaa !3
  %.pre16 = load i32, ptr %2, align 4, !tbaa !3
  br label %.thread12

.thread12:                                        ; preds = %19, %23, %22
  %27 = phi i32 [ %.pre16, %23 ], [ %21, %22 ], [ %21, %19 ]
  %28 = phi i32 [ %.pre15, %23 ], [ %17, %22 ], [ %17, %19 ]
  %.114 = phi i32 [ 2, %23 ], [ 1, %22 ], [ %.0, %19 ]
  %29 = icmp eq i32 %28, 2
  %30 = icmp eq i32 %27, 2
  %31 = or i1 %29, %30
  br i1 %31, label %.sink.split, label %32

32:                                               ; preds = %.thread12
  %33 = icmp eq i32 %.1911, 1
  %34 = icmp eq i32 %.114, 1
  %35 = and i1 %33, %34
  br i1 %35, label %.sink.split, label %39

.sink.split:                                      ; preds = %32, %.thread12
  %.sink = phi i32 [ 16, %.thread12 ], [ 18, %32 ]
  %36 = call ptr @_FortranAioBeginExternalListOutput(i32 -1, ptr nonnull @_QQcl.9b4ed7e41d3f29602659426546bdfd32, i32 %.sink)
  %37 = call i1 @_FortranAioOutputAscii(ptr %36, ptr nonnull @_QQcl.4E6F, i64 2)
  %38 = call i32 @_FortranAioEndIoStatement(ptr %36)
  br label %39

39:                                               ; preds = %.sink.split, %32
  ret void
}

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 ptr @_FortranAioBeginExternalListOutput(i32, ptr, i32) local_unnamed_addr

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

!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"}
