PROGRAM ATCODER

implicit none
integer(16) :: h,w,a,b,i,j,c1,c2,ans
integer(16),parameter :: intm = 1000000007
integer(16),allocatable :: k(:),k_r(:)

read(*,*) h,w,a,b
allocate(k(0:h+w-2),k_r(0:h+w-2))

k(0) = 1
k_r = 1

do i = 1, h+w-2
  k(i) = mod(k(i-1)*i,intm)
end do

do i = 1, h+w-2
  k_r(i) = pow(k(i),intm-int(2,16))
end do

ans = 0
do i = b, w-1
  c1 = mod(k(h-a-1+i)*k_r(i)*k_r(h-a-1),intm)
  c2 = mod(k(a+w-i-2)*k_r(w-1-i)*k_r(a-1),intm)
  ans = mod(ans+c1*c2,intm)
end do

print'(i0)', ans

contains
recursive integer(16) function pow(x,n) result(ret)
  implicit none
  integer(16) :: x,n
  if ( n == 0 ) then
    ret = 1
  else if ( n == 1 ) then
    ret = mod(x,10**9+7)
  else if ( mod(n,2) == 0 ) then
    ret = mod((pow(x,n/2))**2,10**9+7)
  else
    ret = mod((pow(x,n/2))**2*x,10**9+7)
  end if
end function pow

END PROGRAM ATCODER

; 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"

@_QFEk.0 = internal unnamed_addr global ptr null
@_QFEk.7 = internal unnamed_addr global i64 1
@_QFEk_r.0 = internal unnamed_addr global ptr null
@_QFEk_r.7 = internal unnamed_addr global i64 1
@_QQcl.85af38e28ff9987952d9d873eacb9f99 = linkonce constant [73 x i8] c"/home/ubuntu/Downloads/TheStack_IR/Collated/Fortran/Source_8017/source.f\00"
@_QQcl.16373402fa3425c6e46827601abb88fa = linkonce constant [76 x i8] c"array left hand side must be allocated when the right hand side is a scalar\00"
@_QQcl.28693029 = linkonce constant [4 x i8] c"(i0)"
@_QQEnvironmentDefaults = local_unnamed_addr constant ptr null

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

define void @_QQmain() local_unnamed_addr {
  %1 = alloca i128, align 8
  %2 = alloca i128, align 8
  %3 = alloca i128, align 8
  %4 = alloca i128, align 8
  %5 = alloca i128, align 8
  %6 = tail call ptr @_FortranAioBeginExternalListInput(i32 -1, ptr nonnull @_QQcl.85af38e28ff9987952d9d873eacb9f99, i32 8)
  %7 = call i1 @_FortranAioInputInteger(ptr %6, ptr nonnull %4, i32 16)
  %8 = call i1 @_FortranAioInputInteger(ptr %6, ptr nonnull %5, i32 16)
  %9 = call i1 @_FortranAioInputInteger(ptr %6, ptr nonnull %2, i32 16)
  %10 = call i1 @_FortranAioInputInteger(ptr %6, ptr nonnull %3, i32 16)
  %11 = call i32 @_FortranAioEndIoStatement(ptr %6)
  %12 = load i128, ptr %4, align 8, !tbaa !3
  %13 = load i128, ptr %5, align 8, !tbaa !3
  %14 = add i128 %13, %12
  %15 = trunc i128 %14 to i64
  %16 = add i64 %15, -1
  %17 = call i64 @llvm.smax.i64(i64 %16, i64 0)
  %18 = shl i64 %17, 4
  %19 = call ptr @malloc(i64 %18)
  %20 = icmp slt i64 %16, 1
  %.neg = sext i1 %20 to i64
  %21 = zext i1 %20 to i64
  store ptr %19, ptr @_QFEk.0, align 8, !tbaa !7
  store i64 %21, ptr @_QFEk.7, align 8, !tbaa !7
  %22 = call ptr @malloc(i64 %18)
  store ptr %22, ptr @_QFEk_r.0, align 8, !tbaa !7
  store i64 %21, ptr @_QFEk_r.7, align 8, !tbaa !7
  %23 = getelementptr i128, ptr %19, i64 %.neg
  store i128 1, ptr %23, align 8, !tbaa !3
  %.not = icmp eq ptr %22, null
  br i1 %.not, label %35, label %.preheader

.preheader:                                       ; preds = %0
  br i1 %20, label %.loopexit, label %.lr.ph.preheader

.lr.ph.preheader:                                 ; preds = %.preheader
  %24 = add nsw i64 %17, -1
  %xtraiter = and i64 %17, 3
  %25 = icmp ult i64 %24, 3
  br i1 %25, label %.loopexit.loopexit.unr-lcssa, label %.lr.ph.preheader.new

.lr.ph.preheader.new:                             ; preds = %.lr.ph.preheader
  %unroll_iter = and i64 %17, 9223372036854775804
  br label %.lr.ph

.lr.ph:                                           ; preds = %.lr.ph, %.lr.ph.preheader.new
  %26 = phi i64 [ 0, %.lr.ph.preheader.new ], [ %33, %.lr.ph ]
  %niter = phi i64 [ 0, %.lr.ph.preheader.new ], [ %niter.next.3, %.lr.ph ]
  %27 = or i64 %26, 1
  %28 = getelementptr i128, ptr %22, i64 %26
  store i128 1, ptr %28, align 8, !tbaa !3
  %29 = or i64 %26, 2
  %30 = getelementptr i128, ptr %22, i64 %27
  store i128 1, ptr %30, align 8, !tbaa !3
  %31 = or i64 %26, 3
  %32 = getelementptr i128, ptr %22, i64 %29
  store i128 1, ptr %32, align 8, !tbaa !3
  %33 = add nuw nsw i64 %26, 4
  %34 = getelementptr i128, ptr %22, i64 %31
  store i128 1, ptr %34, align 8, !tbaa !3
  %niter.next.3 = add i64 %niter, 4
  %niter.ncmp.3 = icmp eq i64 %niter.next.3, %unroll_iter
  br i1 %niter.ncmp.3, label %.loopexit.loopexit.unr-lcssa, label %.lr.ph

35:                                               ; preds = %0
  %36 = call {} @_FortranAReportFatalUserError(ptr nonnull @_QQcl.16373402fa3425c6e46827601abb88fa, ptr nonnull @_QQcl.85af38e28ff9987952d9d873eacb9f99, i32 12)
  %.unpack411.unpack.unpack = load i64, ptr @_QFEk_r.7, align 8, !tbaa !7
  %37 = select i1 %20, i64 1, i64 %.unpack411.unpack.unpack
  store i64 %37, ptr @_QFEk_r.7, align 8, !tbaa !7
  %.pre = load i128, ptr %4, align 8, !tbaa !3
  %.pre436 = load i128, ptr %5, align 8, !tbaa !3
  %.pre441 = add i128 %.pre436, %.pre
  %.pre442 = trunc i128 %.pre441 to i64
  br label %.loopexit

.loopexit.loopexit.unr-lcssa:                     ; preds = %.lr.ph, %.lr.ph.preheader
  %.unr = phi i64 [ 0, %.lr.ph.preheader ], [ %33, %.lr.ph ]
  %lcmp.mod.not = icmp eq i64 %xtraiter, 0
  br i1 %lcmp.mod.not, label %.loopexit, label %.lr.ph.epil

.lr.ph.epil:                                      ; preds = %.loopexit.loopexit.unr-lcssa, %.lr.ph.epil
  %38 = phi i64 [ %39, %.lr.ph.epil ], [ %.unr, %.loopexit.loopexit.unr-lcssa ]
  %epil.iter = phi i64 [ %epil.iter.next, %.lr.ph.epil ], [ 0, %.loopexit.loopexit.unr-lcssa ]
  %39 = add nuw nsw i64 %38, 1
  %40 = getelementptr i128, ptr %22, i64 %38
  store i128 1, ptr %40, align 8, !tbaa !3
  %epil.iter.next = add i64 %epil.iter, 1
  %epil.iter.cmp.not = icmp eq i64 %epil.iter.next, %xtraiter
  br i1 %epil.iter.cmp.not, label %.loopexit, label %.lr.ph.epil, !llvm.loop !9

.loopexit:                                        ; preds = %.loopexit.loopexit.unr-lcssa, %.lr.ph.epil, %.preheader, %35
  %.pre-phi443 = phi i64 [ %15, %.preheader ], [ %.pre442, %35 ], [ %15, %.lr.ph.epil ], [ %15, %.loopexit.loopexit.unr-lcssa ]
  %.unpack363.unpack.unpack = phi i64 [ 1, %.preheader ], [ %37, %35 ], [ %21, %.lr.ph.epil ], [ %21, %.loopexit.loopexit.unr-lcssa ]
  %41 = phi i128 [ %13, %.preheader ], [ %.pre436, %35 ], [ %13, %.lr.ph.epil ], [ %13, %.loopexit.loopexit.unr-lcssa ]
  %42 = phi i128 [ %12, %.preheader ], [ %.pre, %35 ], [ %12, %.lr.ph.epil ], [ %12, %.loopexit.loopexit.unr-lcssa ]
  %43 = add i64 %.pre-phi443, -2
  %44 = icmp sgt i64 %43, 0
  br i1 %44, label %.lr.ph426, label %._crit_edge429

.lr.ph426:                                        ; preds = %.loopexit
  %.unpack392 = load ptr, ptr @_QFEk.0, align 8, !tbaa !7
  %.unpack399.unpack.unpack = load i64, ptr @_QFEk.7, align 8, !tbaa !7
  %45 = mul i64 %.unpack399.unpack.unpack, -16
  %uglygep = getelementptr i8, ptr %.unpack392, i64 %45
  %load_initial = load i128, ptr %uglygep, align 8
  %xtraiter452 = and i64 %.pre-phi443, 1
  %46 = icmp eq i64 %.pre-phi443, 3
  br i1 %46, label %._crit_edge.unr-lcssa, label %.lr.ph426.new

.lr.ph426.new:                                    ; preds = %.lr.ph426
  %unroll_iter457 = and i64 %43, -2
  br label %47

47:                                               ; preds = %47, %.lr.ph426.new
  %store_forwarded = phi i128 [ %load_initial, %.lr.ph426.new ], [ %57, %47 ]
  %48 = phi i128 [ 1, %.lr.ph426.new ], [ %60, %47 ]
  %niter458 = phi i64 [ 0, %.lr.ph426.new ], [ %niter458.next.1, %47 ]
  %49 = trunc i128 %48 to i64
  %50 = mul i128 %store_forwarded, %48
  %51 = srem i128 %50, 1000000007
  %52 = sub i64 %49, %.unpack399.unpack.unpack
  %53 = getelementptr i128, ptr %.unpack392, i64 %52
  store i128 %51, ptr %53, align 8, !tbaa !3
  %54 = add nuw nsw i128 %48, 1
  %55 = trunc i128 %54 to i64
  %56 = mul i128 %51, %54
  %57 = srem i128 %56, 1000000007
  %58 = sub i64 %55, %.unpack399.unpack.unpack
  %59 = getelementptr i128, ptr %.unpack392, i64 %58
  store i128 %57, ptr %59, align 8, !tbaa !3
  %60 = add nuw nsw i128 %48, 2
  %niter458.next.1 = add i64 %niter458, 2
  %niter458.ncmp.1.not = icmp eq i64 %niter458.next.1, %unroll_iter457
  br i1 %niter458.ncmp.1.not, label %._crit_edge.unr-lcssa, label %47

._crit_edge.unr-lcssa:                            ; preds = %47, %.lr.ph426
  %store_forwarded.unr = phi i128 [ %load_initial, %.lr.ph426 ], [ %57, %47 ]
  %.unr455 = phi i128 [ 1, %.lr.ph426 ], [ %60, %47 ]
  %lcmp.mod456.not = icmp eq i64 %xtraiter452, 0
  br i1 %lcmp.mod456.not, label %._crit_edge, label %._crit_edge.epilog-lcssa

._crit_edge.epilog-lcssa:                         ; preds = %._crit_edge.unr-lcssa
  %61 = trunc i128 %.unr455 to i64
  %62 = mul i128 %store_forwarded.unr, %.unr455
  %63 = srem i128 %62, 1000000007
  %64 = sub i64 %61, %.unpack399.unpack.unpack
  %65 = getelementptr i128, ptr %.unpack392, i64 %64
  store i128 %63, ptr %65, align 8, !tbaa !3
  br label %._crit_edge

._crit_edge:                                      ; preds = %._crit_edge.unr-lcssa, %._crit_edge.epilog-lcssa
  %.pre437 = load i128, ptr %4, align 8, !tbaa !3
  %.pre438 = load i128, ptr %5, align 8, !tbaa !3
  %.pre444 = add i128 %.pre438, %.pre437
  %.pre446 = trunc i128 %.pre444 to i64
  %.pre448 = add i64 %.pre446, -2
  %66 = icmp sgt i64 %.pre448, 0
  br i1 %66, label %.lr.ph428, label %._crit_edge429

.lr.ph428:                                        ; preds = %._crit_edge
  %.unpack368 = load ptr, ptr @_QFEk.0, align 8, !tbaa !7
  %.unpack375.unpack.unpack = load i64, ptr @_QFEk.7, align 8, !tbaa !7
  %67 = add i64 %.pre446, -2
  br label %68

68:                                               ; preds = %.lr.ph428, %68
  %69 = phi i64 [ 1, %.lr.ph428 ], [ %75, %68 ]
  %70 = sub i64 %69, %.unpack375.unpack.unpack
  %71 = getelementptr i128, ptr %.unpack368, i64 %70
  store i128 1000000005, ptr %1, align 8, !tbaa !3
  %72 = call i128 @_QFPpow(ptr %71, ptr nonnull %1)
  %73 = sub i64 %69, %.unpack363.unpack.unpack
  %74 = getelementptr i128, ptr %22, i64 %73
  store i128 %72, ptr %74, align 8, !tbaa !3
  %75 = add nuw i64 %69, 1
  %exitcond435.not = icmp eq i64 %69, %67
  br i1 %exitcond435.not, label %._crit_edge429, label %68

._crit_edge429:                                   ; preds = %68, %.loopexit, %._crit_edge
  %76 = phi i128 [ %.pre437, %._crit_edge ], [ %42, %.loopexit ], [ %.pre437, %68 ]
  %77 = phi i128 [ %.pre438, %._crit_edge ], [ %41, %.loopexit ], [ %.pre438, %68 ]
  %78 = load i128, ptr %3, align 8, !tbaa !3
  %79 = trunc i128 %78 to i64
  %80 = trunc i128 %77 to i64
  %81 = sub i64 %80, %79
  %82 = icmp sgt i64 %81, 0
  br i1 %82, label %.lr.ph432, label %._crit_edge433

.lr.ph432:                                        ; preds = %._crit_edge429
  %83 = and i128 %78, 18446744073709551615
  %.unpack344 = load ptr, ptr @_QFEk.0, align 8, !tbaa !7
  %.unpack351.unpack.unpack = load i64, ptr @_QFEk.7, align 8, !tbaa !7
  %84 = load i128, ptr %2, align 8, !tbaa !3
  %85 = xor i128 %84, -1
  %86 = add i128 %76, %85
  %87 = trunc i128 %86 to i64
  %88 = sub i64 %87, %.unpack363.unpack.unpack
  %89 = getelementptr i128, ptr %22, i64 %88
  %90 = load i128, ptr %89, align 8, !tbaa !3
  %91 = sub i64 -2, %.unpack351.unpack.unpack
  %92 = trunc i128 %84 to i64
  %93 = xor i64 %.unpack363.unpack.unpack, -1
  %94 = add i64 %93, %92
  %95 = getelementptr i128, ptr %22, i64 %94
  %96 = load i128, ptr %95, align 8, !tbaa !3
  br label %97

97:                                               ; preds = %.lr.ph432, %97
  %98 = phi i64 [ %81, %.lr.ph432 ], [ %131, %97 ]
  %99 = phi i128 [ %83, %.lr.ph432 ], [ %130, %97 ]
  %.0430 = phi i128 [ 0, %.lr.ph432 ], [ %129, %97 ]
  %100 = add i128 %86, %99
  %101 = trunc i128 %100 to i64
  %102 = sub i64 %101, %.unpack351.unpack.unpack
  %103 = getelementptr i128, ptr %.unpack344, i64 %102
  %104 = load i128, ptr %103, align 8, !tbaa !3
  %105 = trunc i128 %99 to i64
  %106 = sub i64 %105, %.unpack363.unpack.unpack
  %107 = getelementptr i128, ptr %22, i64 %106
  %108 = load i128, ptr %107, align 8, !tbaa !3
  %109 = mul i128 %108, %104
  %110 = mul i128 %109, %90
  %111 = srem i128 %110, 1000000007
  %112 = sub i128 %77, %99
  %113 = add i128 %112, %84
  %114 = trunc i128 %113 to i64
  %115 = add i64 %91, %114
  %116 = getelementptr i128, ptr %.unpack344, i64 %115
  %117 = load i128, ptr %116, align 8, !tbaa !3
  %118 = xor i128 %99, -1
  %119 = add i128 %77, %118
  %120 = trunc i128 %119 to i64
  %121 = sub i64 %120, %.unpack363.unpack.unpack
  %122 = getelementptr i128, ptr %22, i64 %121
  %123 = load i128, ptr %122, align 8, !tbaa !3
  %124 = mul i128 %123, %117
  %125 = mul i128 %124, %96
  %126 = srem i128 %125, 1000000007
  %127 = mul nsw i128 %126, %111
  %128 = add nsw i128 %127, %.0430
  %129 = srem i128 %128, 1000000007
  %130 = add i128 %99, 1
  %131 = add nsw i64 %98, -1
  %132 = icmp ugt i64 %98, 1
  br i1 %132, label %97, label %._crit_edge433

._crit_edge433:                                   ; preds = %97, %._crit_edge429
  %.0.lcssa = phi i128 [ 0, %._crit_edge429 ], [ %129, %97 ]
  %133 = call ptr @_FortranAioBeginExternalFormattedOutput(ptr nonnull @_QQcl.28693029, i64 4, ptr null, i32 -1, ptr nonnull @_QQcl.85af38e28ff9987952d9d873eacb9f99, i32 29)
  %134 = call i1 @_FortranAioOutputInteger128(ptr %133, i128 %.0.lcssa)
  %135 = call i32 @_FortranAioEndIoStatement(ptr %133)
  ret void
}

; Function Attrs: nofree nosync nounwind memory(argmem: read)
define i128 @_QFPpow(ptr %0, ptr nocapture readonly %1) local_unnamed_addr #1 {
  %3 = alloca i128, align 8
  %4 = alloca i128, align 8
  %5 = load i128, ptr %1, align 8, !tbaa !3
  switch i128 %5, label %9 [
    i128 0, label %24
    i128 1, label %6
  ]

6:                                                ; preds = %2
  %7 = load i128, ptr %0, align 8, !tbaa !3
  %8 = srem i128 %7, 1000000007
  br label %24

9:                                                ; preds = %2
  %10 = and i128 %5, 1
  %11 = icmp eq i128 %10, 0
  %12 = sdiv i128 %5, 2
  br i1 %11, label %.lr.ph.i, label %.lr.ph.i5

.lr.ph.i:                                         ; preds = %9
  store i128 %12, ptr %4, align 8, !tbaa !3
  %13 = call i128 @_QFPpow(ptr %0, ptr nonnull %4)
  %14 = trunc i128 %13 to i8
  %15 = mul i8 %14, %14
  %16 = sext i8 %15 to i128
  br label %24

.lr.ph.i5:                                        ; preds = %9
  store i128 %12, ptr %3, align 8, !tbaa !3
  %17 = call i128 @_QFPpow(ptr %0, ptr nonnull %3)
  %18 = trunc i128 %17 to i8
  %19 = mul i8 %18, %18
  %20 = sext i8 %19 to i128
  %21 = load i128, ptr %0, align 8, !tbaa !3
  %22 = mul i128 %21, %20
  %23 = srem i128 %22, 1000000007
  br label %24

24:                                               ; preds = %2, %6, %.lr.ph.i, %.lr.ph.i5
  %.0 = phi i128 [ %8, %6 ], [ %16, %.lr.ph.i ], [ %23, %.lr.ph.i5 ], [ 1, %2 ]
  ret i128 %.0
}

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 {} @_FortranAReportFatalUserError(ptr, ptr, i32) local_unnamed_addr

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

declare i1 @_FortranAioOutputInteger128(ptr, i128) local_unnamed_addr

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare i64 @llvm.smax.i64(i64, i64) #2

attributes #0 = { mustprogress nofree nounwind willreturn allockind("alloc,uninitialized") allocsize(0) memory(inaccessiblemem: readwrite) "alloc-family"="malloc" }
attributes #1 = { nofree nosync nounwind memory(argmem: read) }
attributes #2 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }

!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"}
!7 = !{!8, !8, i64 0}
!8 = !{!"descriptor member", !5, i64 0}
!9 = distinct !{!9, !10}
!10 = !{!"llvm.loop.unroll.disable"}
