#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
scalar_t__ EOF;
int /*<<< orphan*/ floyd(double **, int **, int);
int /*<<< orphan*/ printf(char *, int);
scalar_t__ scanf(char *, ...);
scalar_t__ strcmp(char *, char *);
int main() {
  int i, j, k, u, m, n, x, y, path[31][31], (*pat)[31], doudou, cas = 0;
  double dist[31][31], temp, (*dis)[31];
  char ar[31][100], a[100], b[100];
  while (scanf("%d", &n) != EOF && n) {
    cas++;
    for (i = 1; i <= n; i++) {
      scanf("%s", ar[i]);
    }
    for (i = 0; i <= n; i++) {
      for (j = 0; j <= n; j++) {
        dist[i][j] = 0;
        if (i == j)
          dist[i][j] = 0;
        path[i][j] = j;
      }
    }
    scanf("%d", &m);
    for (i = 1; i <= m; i++) {
      scanf("%s %lf %s", a, &temp, b);
      for (j = 1; j <= n; j++) {
        if (strcmp(ar[j], a) == 0) {
          x = j;
          break;
        }
      }
      for (j = 1; j <= n; j++) {
        if (strcmp(ar[j], b) == 0) {
          y = j;
          break;
        }
      }
      dist[x][y] = temp;
    }
    dis = dist;
    pat = path;
    floyd(dis, pat, n);
    doudou = 0;
    for (i = 1; i <= n; i++)
      if (dist[i][i] > 1)
        doudou = 1;
    if (doudou)
      printf("Case %d: Yes\n", cas);
    else
      printf("Case %d: No\n", cas);
  }
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x3a70,%rsp
movl   $0x0,-0x4(%rbp)
movl   $0x0,-0xf40(%rbp)
lea    0xea5(%rip),%rdi
lea    -0x1c(%rbp),%rsi
mov    $0x0,%al
call   1060 <scanf@plt>
mov    %rax,%rcx
xor    %eax,%eax
mov    0x2e6e(%rip),%rdx
cmp    (%rdx),%rcx
mov    %al,-0x3a61(%rbp)
je     1196 <main+0x56>
cmpl   $0x0,-0x1c(%rbp)
setne  %al
mov    %al,-0x3a61(%rbp)
mov    -0x3a61(%rbp),%al
test   $0x1,%al
jne    11a9 <main+0x69>
jmp    14af <main+0x36f>
mov    -0xf40(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xf40(%rbp)
movl   $0x1,-0x8(%rbp)
mov    -0x8(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jg     11f9 <main+0xb9>
movslq -0x8(%rbp),%rax
lea    -0x3980(%rbp),%rsi
imul   $0x64,%rax,%rax
add    %rax,%rsi
lea    0xe2e(%rip),%rdi
mov    $0x0,%al
call   1060 <scanf@plt>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    11bf <main+0x7f>
movl   $0x0,-0x8(%rbp)
mov    -0x8(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jg     12aa <main+0x16a>
movl   $0x0,-0xc(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jg     1297 <main+0x157>
movslq -0x8(%rbp),%rcx
lea    -0x2d50(%rbp),%rax
imul   $0xf8,%rcx,%rcx
add    %rcx,%rax
movslq -0xc(%rbp),%rcx
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x8(%rbp),%eax
cmp    -0xc(%rbp),%eax
jne    126d <main+0x12d>
movslq -0x8(%rbp),%rcx
lea    -0x2d50(%rbp),%rax
imul   $0xf8,%rcx,%rcx
add    %rcx,%rax
movslq -0xc(%rbp),%rcx
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax,%rcx,8)
mov    -0xc(%rbp),%edx
movslq -0x8(%rbp),%rcx
lea    -0xf30(%rbp),%rax
imul   $0x7c,%rcx,%rcx
add    %rcx,%rax
movslq -0xc(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1213 <main+0xd3>
jmp    129c <main+0x15c>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    1200 <main+0xc0>
lea    0xd57(%rip),%rdi
lea    -0x18(%rbp),%rsi
mov    $0x0,%al
call   1060 <scanf@plt>
movl   $0x1,-0x8(%rbp)
mov    -0x8(%rbp),%eax
cmp    -0x18(%rbp),%eax
jg     13d8 <main+0x298>
lea    -0x39f0(%rbp),%rsi
lea    -0x3a60(%rbp),%rcx
lea    0xd27(%rip),%rdi
lea    -0x2d58(%rbp),%rdx
mov    $0x0,%al
call   1060 <scanf@plt>
movl   $0x1,-0xc(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jg     134b <main+0x20b>
movslq -0xc(%rbp),%rax
lea    -0x3980(%rbp),%rdi
imul   $0x64,%rax,%rax
add    %rax,%rdi
lea    -0x39f0(%rbp),%rsi
call   1040 <strcmp@plt>
cmp    $0x0,%rax
jne    1338 <main+0x1f8>
mov    -0xc(%rbp),%eax
mov    %eax,-0x20(%rbp)
jmp    134b <main+0x20b>
jmp    133d <main+0x1fd>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    12f9 <main+0x1b9>
movl   $0x1,-0xc(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jg     13a4 <main+0x264>
movslq -0xc(%rbp),%rax
lea    -0x3980(%rbp),%rdi
imul   $0x64,%rax,%rax
add    %rax,%rdi
lea    -0x3a60(%rbp),%rsi
call   1040 <strcmp@plt>
cmp    $0x0,%rax
jne    1391 <main+0x251>
mov    -0xc(%rbp),%eax
mov    %eax,-0x24(%rbp)
jmp    13a4 <main+0x264>
jmp    1396 <main+0x256>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1352 <main+0x212>
movsd  -0x2d58(%rbp),%xmm0
ff
movslq -0x20(%rbp),%rcx
lea    -0x2d50(%rbp),%rax
imul   $0xf8,%rcx,%rcx
add    %rcx,%rax
movslq -0x24(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    12c3 <main+0x183>
lea    -0x2d50(%rbp),%rax
mov    %rax,-0x2d60(%rbp)
lea    -0xf30(%rbp),%rax
mov    %rax,-0xf38(%rbp)
mov    -0x2d60(%rbp),%rdi
mov    -0xf38(%rbp),%rsi
mov    -0x1c(%rbp),%edx
call   1050 <floyd@plt>
movl   $0x0,-0xf3c(%rbp)
movl   $0x1,-0x8(%rbp)
mov    -0x8(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jg     1474 <main+0x334>
movslq -0x8(%rbp),%rcx
lea    -0x2d50(%rbp),%rax
imul   $0xf8,%rcx,%rcx
add    %rcx,%rax
movslq -0x8(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  0xbb3(%rip),%xmm1
ucomisd %xmm1,%xmm0
jbe    1461 <main+0x321>
movl   $0x1,-0xf3c(%rbp)
jmp    1466 <main+0x326>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    141b <main+0x2db>
cmpl   $0x0,-0xf3c(%rbp)
je     1498 <main+0x358>
mov    -0xf40(%rbp),%esi
lea    0xb87(%rip),%rdi
call   1030 <printf@plt>
jmp    14aa <main+0x36a>
mov    -0xf40(%rbp),%esi
lea    0xb7e(%rip),%rdi
call   1030 <printf@plt>
jmp    115c <main+0x1c>
xor    %eax,%eax
add    $0x3a70,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x3a78,%rsp
lea    0xf30(%rip),%rdi
lea    0x8(%rsp),%rsi
xor    %eax,%eax
call   1070 <scanf@plt>
mov    0x2e6d(%rip),%rcx
cmp    (%rcx),%rax
je     1679 <main+0x529>
mov    0x8(%rsp),%eax
test   %eax,%eax
je     1679 <main+0x529>
lea    0xc0(%rsp),%r14
xor    %r15d,%r15d
nopl   0x0(%rax,%rax,1)
mov    %r15d,0x10(%rsp)
test   %eax,%eax
jle    1400 <main+0x2b0>
lea    0x2eb4(%rsp),%rbx
xor    %ebp,%ebp
lea    0xee4(%rip),%r15
xchg   %ax,%ax
mov    %r15,%rdi
mov    %rbx,%rsi
xor    %eax,%eax
call   1070 <scanf@plt>
movslq 0x8(%rsp),%rax
add    $0x1,%rbp
add    $0x64,%rbx
cmp    %rax,%rbp
jl     11c0 <main+0x70>
mov    %eax,%ebp
test   %ebp,%ebp
js     1400 <main+0x2b0>
mov    %ebp,%eax
mov    %ebp,0x14(%rsp)
lea    0x8(,%rbp,8),%rax
mov    %rax,0x40(%rsp)
add    $0x1,%rbp
mov    %ebp,%eax
and    $0xfffffff8,%eax
mov    %rax,0x38(%rsp)
add    $0xfffffffffffffff8,%rax
mov    %rax,0x30(%rsp)
shr    $0x3,%rax
add    $0x1,%rax
mov    %eax,%r15d
and    $0x3,%r15d
and    $0xfffffffffffffffc,%rax
mov    %rax,0x20(%rsp)
mov    %r15,0x28(%rsp)
shl    $0x5,%r15
lea    0x130(%rsp),%rbx
lea    0x1a0(%rsp),%r12
xor    %r13d,%r13d
jmp    1265 <main+0x115>
nopl   0x0(%rax)
add    $0x1,%r13
add    $0x7c,%r12
add    $0x7c,%rbx
cmp    %rbp,%r13
je     1400 <main+0x2b0>
imul   $0xf8,%r13,%rax
lea    (%rsp,%rax,1),%rdi
add    $0x1040,%rdi
xor    %esi,%esi
mov    0x40(%rsp),%rdx
call   1040 <memset@plt>
cmpl   $0x7,0x14(%rsp)
jae    12a0 <main+0x150>
xor    %eax,%eax
jmp    13e0 <main+0x290>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
cmpq   $0x18,0x30(%rsp)
movdqa 0xd62(%rip),%xmm3
movdqa 0xd6a(%rip),%xmm4
movdqa 0xd71(%rip),%xmm8
movdqa 0xd78(%rip),%xmm9
movdqa 0xd7f(%rip),%xmm10
movdqa 0xd87(%rip),%xmm5
movdqa 0xd8f(%rip),%xmm6
movdqa 0xd97(%rip),%xmm7
jae    1300 <main+0x1b0>
xor    %eax,%eax
movdqa 0xd0b(%rip),%xmm0
jmp    1390 <main+0x240>
nopw   0x0(%rax,%rax,1)
mov    0x20(%rsp),%rcx
xor    %eax,%eax
movdqa 0xcf1(%rip),%xmm0
nop
movdqa %xmm0,%xmm1
paddd  %xmm3,%xmm1
movdqu %xmm0,-0x70(%r12,%rax,4)
movdqu %xmm1,-0x60(%r12,%rax,4)
movdqa %xmm0,%xmm1
paddd  %xmm4,%xmm1
movdqa %xmm0,%xmm2
paddd  %xmm8,%xmm2
movdqu %xmm1,-0x50(%r12,%rax,4)
movdqu %xmm2,-0x40(%r12,%rax,4)
movdqa %xmm0,%xmm1
paddd  %xmm9,%xmm1
movdqa %xmm0,%xmm2
paddd  %xmm10,%xmm2
movdqu %xmm1,-0x30(%r12,%rax,4)
movdqu %xmm2,-0x20(%r12,%rax,4)
movdqa %xmm0,%xmm1
paddd  %xmm5,%xmm1
movdqa %xmm0,%xmm2
paddd  %xmm6,%xmm2
movdqu %xmm1,-0x10(%r12,%rax,4)
movdqu %xmm2,(%r12,%rax,4)
add    $0x20,%rax
paddd  %xmm7,%xmm0
add    $0xfffffffffffffffc,%rcx
jne    1310 <main+0x1c0>
cmpq   $0x0,0x28(%rsp)
je     13c0 <main+0x270>
lea    (%rbx,%rax,4),%rax
xor    %ecx,%ecx
xchg   %ax,%ax
movdqa %xmm0,%xmm1
paddd  %xmm3,%xmm1
movdqu %xmm0,(%rax,%rcx,1)
movdqu %xmm1,0x10(%rax,%rcx,1)
paddd  %xmm4,%xmm0
add    $0x20,%rcx
cmp    %rcx,%r15
jne    13a0 <main+0x250>
mov    0x38(%rsp),%rcx
mov    %rcx,%rax
cmp    %rbp,%rcx
je     1250 <main+0x100>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    %eax,(%rbx,%rax,4)
add    $0x1,%rax
cmp    %rax,%rbp
jne    13e0 <main+0x290>
jmp    1250 <main+0x100>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
lea    0xc91(%rip),%r13
mov    %r13,%rdi
lea    0xc(%rsp),%rsi
xor    %eax,%eax
call   1070 <scanf@plt>
cmpl   $0x0,0xc(%rsp)
jle    1520 <main+0x3d0>
mov    $0x1,%r15d
lea    0x2eb4(%rsp),%r12
jmp    1477 <main+0x327>
add    $0x1,%ebp
mov    %ebp,%eax
mov    %ebp,0x18(%rsp)
nopw   0x0(%rax,%rax,1)
movq   0x48(%rsp),%xmm0
movslq 0x1c(%rsp),%rax
movslq 0x18(%rsp),%rcx
imul   $0xf8,%rax,%rax
add    %rsp,%rax
add    $0x1040,%rax
movq   %xmm0,(%rax,%rcx,8)
lea    0x1(%r15),%eax
cmp    0xc(%rsp),%r15d
mov    %eax,%r15d
jge    1520 <main+0x3d0>
lea    0xc1d(%rip),%rdi
mov    %r14,%rsi
lea    0x48(%rsp),%rdx
lea    0x50(%rsp),%rcx
xor    %eax,%eax
call   1070 <scanf@plt>
cmpl   $0x0,0x8(%rsp)
jle    1440 <main+0x2f0>
mov    %r12,%rbx
xor    %ebp,%ebp
xchg   %ax,%ax
mov    %rbx,%rdi
mov    %r14,%rsi
call   1050 <strcmp@plt>
test   %rax,%rax
je     14d0 <main+0x380>
movslq 0x8(%rsp),%rax
add    $0x1,%rbp
add    $0x64,%rbx
cmp    %rax,%rbp
jl     14a0 <main+0x350>
test   %eax,%eax
jg     14e5 <main+0x395>
jmp    1440 <main+0x2f0>
nopl   0x0(%rax,%rax,1)
add    $0x1,%ebp
mov    0x8(%rsp),%eax
mov    %ebp,%ecx
mov    %ebp,0x1c(%rsp)
test   %eax,%eax
jle    1440 <main+0x2f0>
mov    %r12,%rbx
xor    %ebp,%ebp
nopw   0x0(%rax,%rax,1)
mov    %rbx,%rdi
lea    0x50(%rsp),%rsi
call   1050 <strcmp@plt>
test   %rax,%rax
je     1431 <main+0x2e1>
movslq 0x8(%rsp),%rax
add    $0x1,%rbp
add    $0x64,%rbx
cmp    %rax,%rbp
jl     14f0 <main+0x3a0>
jmp    1440 <main+0x2f0>
nopl   (%rax)
mov    0x10(%rsp),%r15d
add    $0x1,%r15d
mov    0x8(%rsp),%edx
lea    0x1040(%rsp),%rdi
lea    0x130(%rsp),%rsi
call   1060 <floyd@plt>
mov    0x8(%rsp),%edx
test   %edx,%edx
jle    1643 <main+0x4f3>
lea    -0x1(%rdx),%rcx
mov    %edx,%eax
and    $0x3,%eax
cmp    $0x3,%rcx
jae    1580 <main+0x430>
xor    %ecx,%ecx
mov    $0x1,%esi
movsd  0xb24(%rip),%xmm1
mov    $0x1,%ebx
jmp    1601 <main+0x4b1>
cs nopw 0x0(%rax,%rax,1)
and    $0xfffffffc,%edx
neg    %rdx
xor    %ecx,%ecx
mov    $0x1,%esi
lea    0x1440(%rsp),%rdi
movsd  0xaf3(%rip),%xmm1
mov    $0x1,%ebx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movsd  -0x300(%rdi),%xmm0
ff
ucomisd %xmm1,%xmm0
cmova  %ebx,%ecx
movsd  -0x200(%rdi),%xmm0
ff
ucomisd %xmm1,%xmm0
cmova  %ebx,%ecx
movsd  -0x100(%rdi),%xmm0
ff
ucomisd %xmm1,%xmm0
cmova  %ebx,%ecx
movsd  (%rdi),%xmm0
ucomisd %xmm1,%xmm0
cmova  %ebx,%ecx
add    $0x400,%rdi
lea    (%rdx,%rsi,1),%rbp
add    $0x4,%rbp
add    $0x4,%rsi
cmp    $0x1,%rbp
jne    15b0 <main+0x460>
test   %rax,%rax
je     1638 <main+0x4e8>
shl    $0x8,%rsi
lea    (%rsp,%rsi,1),%rdx
add    $0x1040,%rdx
shl    $0x8,%rax
xor    %esi,%esi
nopl   0x0(%rax,%rax,1)
movsd  (%rdx,%rsi,1),%xmm0
ucomisd %xmm1,%xmm0
cmova  %ebx,%ecx
add    $0x100,%rsi
cmp    %rsi,%rax
jne    1620 <main+0x4d0>
lea    0xa66(%rip),%rdi
test   %ecx,%ecx
jne    164a <main+0x4fa>
lea    0xa69(%rip),%rdi
mov    %r15d,%esi
call   1030 <printf@plt>
mov    %r13,%rdi
lea    0x8(%rsp),%rsi
xor    %eax,%eax
call   1070 <scanf@plt>
mov    0x2980(%rip),%rcx
cmp    (%rcx),%rax
je     1679 <main+0x529>
mov    0x8(%rsp),%eax
test   %eax,%eax
jne    11a0 <main+0x50>
xor    %eax,%eax
add    $0x3a78,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [3 x i8] c"%d\00"
@EOF = global i64 0
@.str.1 = [3 x i8] c"%s\00"
@.str.2 = [10 x i8] c"%s %lf %s\00"
@.str.3 = [14 x i8] c"Case %d: Yes\0A\00"
@.str.4 = [13 x i8] c"Case %d: No\0A\00"
define i32 @main() {
%1 = alloca i32
%2 = alloca i32
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca [31 x [31 x i32]]
%11 = alloca [31 x i32]*
%12 = alloca i32
%13 = alloca i32
%14 = alloca [31 x [31 x double]]
%15 = alloca double
%16 = alloca [31 x double]*
%17 = alloca [31 x [100 x i8]]
%18 = alloca [100 x i8]
%19 = alloca [100 x i8]
store i32 0, i32* %1
store i32 0, i32* %13
br label %20
20: ; preds = %181, %0
%21 = call i64 (i8*, ...) @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32* %7)
%22 = load i64, i64* @EOF
%23 = icmp ne i64 %21, %22
br i1 %23, label %24, label %27
24: ; preds = %20
%25 = load i32, i32* %7
%26 = icmp ne i32 %25, 0
br label %27
27: ; preds = %24, %20
%28 = phi i1 [ false, %20 ], [ %26, %24 ]
br i1 %28, label %29, label %182
29: ; preds = %27
%30 = load i32, i32* %13
%31 = add nsw i32 %30, 1
store i32 %31, i32* %13
store i32 1, i32* %2
br label %32
32: ; preds = %42, %29
%33 = load i32, i32* %2
%34 = load i32, i32* %7
%35 = icmp sle i32 %33, %34
br i1 %35, label %36, label %45
36: ; preds = %32
%37 = load i32, i32* %2
%38 = sext i32 %37 to i64
%39 = getelementptr inbounds [31 x [100 x i8]], [31 x [100 x i8]]* %17, i64 0, i64 %38
%40 = getelementptr inbounds [100 x i8], [100 x i8]* %39, i64 0, i64 0
%41 = call i64 (i8*, ...) @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.1, i64 0, i64 0), i8* %40)
br label %42
42: ; preds = %36
%43 = load i32, i32* %2
%44 = add nsw i32 %43, 1
store i32 %44, i32* %2
br label %32
45: ; preds = %32
store i32 0, i32* %2
br label %46
46: ; preds = %84, %45
%47 = load i32, i32* %2
%48 = load i32, i32* %7
%49 = icmp sle i32 %47, %48
br i1 %49, label %50, label %87
50: ; preds = %46
store i32 0, i32* %3
br label %51
51: ; preds = %80, %50
%52 = load i32, i32* %3
%53 = load i32, i32* %7
%54 = icmp sle i32 %52, %53
br i1 %54, label %55, label %83
55: ; preds = %51
%56 = load i32, i32* %2
%57 = sext i32 %56 to i64
%58 = getelementptr inbounds [31 x [31 x double]], [31 x [31 x double]]* %14, i64 0, i64 %57
%59 = load i32, i32* %3
%60 = sext i32 %59 to i64
%61 = getelementptr inbounds [31 x double], [31 x double]* %58, i64 0, i64 %60
store double 0.000000e+00, double* %61
%62 = load i32, i32* %2
%63 = load i32, i32* %3
%64 = icmp eq i32 %62, %63
br i1 %64, label %65, label %72
65: ; preds = %55
%66 = load i32, i32* %2
%67 = sext i32 %66 to i64
%68 = getelementptr inbounds [31 x [31 x double]], [31 x [31 x double]]* %14, i64 0, i64 %67
%69 = load i32, i32* %3
%70 = sext i32 %69 to i64
%71 = getelementptr inbounds [31 x double], [31 x double]* %68, i64 0, i64 %70
store double 0.000000e+00, double* %71
br label %72
72: ; preds = %65, %55
%73 = load i32, i32* %3
%74 = load i32, i32* %2
%75 = sext i32 %74 to i64
%76 = getelementptr inbounds [31 x [31 x i32]], [31 x [31 x i32]]* %10, i64 0, i64 %75
%77 = load i32, i32* %3
%78 = sext i32 %77 to i64
%79 = getelementptr inbounds [31 x i32], [31 x i32]* %76, i64 0, i64 %78
store i32 %73, i32* %79
br label %80
80: ; preds = %72
%81 = load i32, i32* %3
%82 = add nsw i32 %81, 1
store i32 %82, i32* %3
br label %51
83: ; preds = %51
br label %84
84: ; preds = %83
%85 = load i32, i32* %2
%86 = add nsw i32 %85, 1
store i32 %86, i32* %2
br label %46
87: ; preds = %46
%88 = call i64 (i8*, ...) @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32* %6)
store i32 1, i32* %2
br label %89
89: ; preds = %142, %87
%90 = load i32, i32* %2
%91 = load i32, i32* %6
%92 = icmp sle i32 %90, %91
br i1 %92, label %93, label %145
93: ; preds = %89
%94 = getelementptr inbounds [100 x i8], [100 x i8]* %18, i64 0, i64 0
%95 = getelementptr inbounds [100 x i8], [100 x i8]* %19, i64 0, i64 0
%96 = call i64 (i8*, ...) @scanf(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.2, i64 0, i64 0), i8* %94, double* %15, i8* %95)
store i32 1, i32* %3
br label %97
97: ; preds = %112, %93
%98 = load i32, i32* %3
%99 = load i32, i32* %7
%100 = icmp sle i32 %98, %99
br i1 %100, label %101, label %115
101: ; preds = %97
%102 = load i32, i32* %3
%103 = sext i32 %102 to i64
%104 = getelementptr inbounds [31 x [100 x i8]], [31 x [100 x i8]]* %17, i64 0, i64 %103
%105 = getelementptr inbounds [100 x i8], [100 x i8]* %104, i64 0, i64 0
%106 = getelementptr inbounds [100 x i8], [100 x i8]* %18, i64 0, i64 0
%107 = call i64 @strcmp(i8* %105, i8* %106)
%108 = icmp eq i64 %107, 0
br i1 %108, label %109, label %111
109: ; preds = %101
%110 = load i32, i32* %3
store i32 %110, i32* %8
br label %115
111: ; preds = %101
br label %112
112: ; preds = %111
%113 = load i32, i32* %3
%114 = add nsw i32 %113, 1
store i32 %114, i32* %3
br label %97
115: ; preds = %109, %97
store i32 1, i32* %3
br label %116
116: ; preds = %131, %115
%117 = load i32, i32* %3
%118 = load i32, i32* %7
%119 = icmp sle i32 %117, %118
br i1 %119, label %120, label %134
120: ; preds = %116
%121 = load i32, i32* %3
%122 = sext i32 %121 to i64
%123 = getelementptr inbounds [31 x [100 x i8]], [31 x [100 x i8]]* %17, i64 0, i64 %122
%124 = getelementptr inbounds [100 x i8], [100 x i8]* %123, i64 0, i64 0
%125 = getelementptr inbounds [100 x i8], [100 x i8]* %19, i64 0, i64 0
%126 = call i64 @strcmp(i8* %124, i8* %125)
%127 = icmp eq i64 %126, 0
br i1 %127, label %128, label %130
128: ; preds = %120
%129 = load i32, i32* %3
store i32 %129, i32* %9
br label %134
130: ; preds = %120
br label %131
131: ; preds = %130
%132 = load i32, i32* %3
%133 = add nsw i32 %132, 1
store i32 %133, i32* %3
br label %116
134: ; preds = %128, %116
%135 = load double, double* %15
%136 = load i32, i32* %8
%137 = sext i32 %136 to i64
%138 = getelementptr inbounds [31 x [31 x double]], [31 x [31 x double]]* %14, i64 0, i64 %137
%139 = load i32, i32* %9
%140 = sext i32 %139 to i64
%141 = getelementptr inbounds [31 x double], [31 x double]* %138, i64 0, i64 %140
store double %135, double* %141
br label %142
142: ; preds = %134
%143 = load i32, i32* %2
%144 = add nsw i32 %143, 1
store i32 %144, i32* %2
br label %89
145: ; preds = %89
%146 = getelementptr inbounds [31 x [31 x double]], [31 x [31 x double]]* %14, i64 0, i64 0
store [31 x double]* %146, [31 x double]** %16
%147 = getelementptr inbounds [31 x [31 x i32]], [31 x [31 x i32]]* %10, i64 0, i64 0
store [31 x i32]* %147, [31 x i32]** %11
%148 = load [31 x double]*, [31 x double]** %16
%149 = bitcast [31 x double]* %148 to double**
%150 = load [31 x i32]*, [31 x i32]** %11
%151 = bitcast [31 x i32]* %150 to i32**
%152 = load i32, i32* %7
%153 = call i32 @floyd(double** %149, i32** %151, i32 %152)
store i32 0, i32* %12
store i32 1, i32* %2
br label %154
154: ; preds = %169, %145
%155 = load i32, i32* %2
%156 = load i32, i32* %7
%157 = icmp sle i32 %155, %156
br i1 %157, label %158, label %172
158: ; preds = %154
%159 = load i32, i32* %2
%160 = sext i32 %159 to i64
%161 = getelementptr inbounds [31 x [31 x double]], [31 x [31 x double]]* %14, i64 0, i64 %160
%162 = load i32, i32* %2
%163 = sext i32 %162 to i64
%164 = getelementptr inbounds [31 x double], [31 x double]* %161, i64 0, i64 %163
%165 = load double, double* %164
%166 = fcmp ogt double %165, 1.000000e+00
br i1 %166, label %167, label %168
167: ; preds = %158
store i32 1, i32* %12
br label %168
168: ; preds = %167, %158
br label %169
169: ; preds = %168
%170 = load i32, i32* %2
%171 = add nsw i32 %170, 1
store i32 %171, i32* %2
br label %154
172: ; preds = %154
%173 = load i32, i32* %12
%174 = icmp ne i32 %173, 0
br i1 %174, label %175, label %178
175: ; preds = %172
%176 = load i32, i32* %13
%177 = call i32 @printf(i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.3, i64 0, i64 0), i32 %176)
br label %181
178: ; preds = %172
%179 = load i32, i32* %13
%180 = call i32 @printf(i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.4, i64 0, i64 0), i32 %179)
br label %181
181: ; preds = %178, %175
br label %20
182: ; preds = %27
ret i32 0
}

LLVM IR (-O2):
@.str = [3 x i8] c"%d\00"
@EOF = global i64 0
@.str.1 = [3 x i8] c"%s\00"
@.str.2 = [10 x i8] c"%s %lf %s\00"
@.str.3 = [14 x i8] c"Case %d: Yes\0A\00"
@.str.4 = [13 x i8] c"Case %d: No\0A\00"
define i32 @main() {
%1 = alloca i32
%2 = alloca i32
%3 = alloca [31 x [31 x i32]]
%4 = alloca [31 x [31 x double]]
%5 = alloca double
%6 = alloca [31 x [100 x i8]]
%7 = alloca [100 x i8]
%8 = alloca [100 x i8]
%9 = bitcast i32* %1 to i8*
%10 = bitcast i32* %2 to i8*
%11 = bitcast [31 x [31 x i32]]* %3 to i8*
%12 = bitcast [31 x [31 x double]]* %4 to i8*
%13 = bitcast double* %5 to i8*
%14 = getelementptr inbounds [31 x [100 x i8]], [31 x [100 x i8]]* %6, i64 0, i64 0, i64 0
%15 = getelementptr inbounds [100 x i8], [100 x i8]* %7, i64 0, i64 0
%16 = getelementptr inbounds [100 x i8], [100 x i8]* %8, i64 0, i64 0
%17 = call i64 (i8*, ...) @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32* %2)
%18 = load i64, i64* @EOF
%19 = icmp ne i64 %17, %18
%20 = load i32, i32* %2
%21 = icmp ne i32 %20, 0
%22 = select i1 %19, i1 %21, i1 false
br i1 %22, label %23, label %248
23: ; preds = %0
%24 = bitcast [31 x [31 x double]]* %4 to double**
%25 = bitcast [31 x [31 x i32]]* %3 to i32**
br label %26
26: ; preds = %23, %239
%27 = phi i32 [ %20, %23 ], [ %245, %239 ]
%28 = phi i32 [ 0, %23 ], [ %31, %239 ]
%29 = phi i32 [ undef, %23 ], [ %179, %239 ]
%30 = phi i32 [ undef, %23 ], [ %178, %239 ]
%31 = add nuw nsw i32 %28, 1
%32 = icmp slt i32 %27, 1
br i1 %32, label %127, label %52
33: ; preds = %52
%34 = icmp slt i32 %57, 0
br i1 %34, label %127, label %35
35: ; preds = %33
%36 = zext i32 %57 to i64
%37 = shl nuw nsw i64 %36, 3
%38 = add nuw nsw i64 %37, 8
%39 = add nuw i32 %57, 1
%40 = zext i32 %39 to i64
%41 = and i64 %40, 4294967288
%42 = add nsw i64 %41, -8
%43 = lshr exact i64 %42, 3
%44 = add nuw nsw i64 %43, 1
%45 = icmp ult i32 %57, 7
%46 = and i64 %40, 4294967288
%47 = and i64 %44, 3
%48 = icmp ult i64 %42, 24
%49 = and i64 %44, 4611686018427387900
%50 = icmp eq i64 %47, 0
%51 = icmp eq i64 %46, %40
br label %60
52: ; preds = %26, %52
%53 = phi i64 [ %56, %52 ], [ 1, %26 ]
%54 = getelementptr inbounds [31 x [100 x i8]], [31 x [100 x i8]]* %6, i64 0, i64 %53, i64 0
%55 = call i64 (i8*, ...) @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.1, i64 0, i64 0), i8* %54)
%56 = add nuw nsw i64 %53, 1
%57 = load i32, i32* %2
%58 = sext i32 %57 to i64
%59 = icmp slt i64 %53, %58
br i1 %59, label %52, label %33
60: ; preds = %124, %35
%61 = phi i64 [ 0, %35 ], [ %125, %124 ]
%62 = getelementptr [31 x [31 x double]], [31 x [31 x double]]* %4, i64 0, i64 %61, i64 0
%63 = bitcast double* %62 to i8*
br i1 %45, label %116, label %64
64: ; preds = %60
br i1 %48, label %99, label %65
65: ; preds = %64, %65
%66 = phi i64 [ %95, %65 ], [ 0, %64 ]
%67 = phi <4 x i32> [ %96, %65 ], [ <i32 0, i32 1, i32 2, i32 3>, %64 ]
%68 = phi i64 [ %97, %65 ], [ 0, %64 ]
%69 = add <4 x i32> %67, <i32 4, i32 4, i32 4, i32 4>
%70 = getelementptr inbounds [31 x [31 x i32]], [31 x [31 x i32]]* %3, i64 0, i64 %61, i64 %66
%71 = bitcast i32* %70 to <4 x i32>*
store <4 x i32> %67, <4 x i32>* %71
%72 = getelementptr inbounds i32, i32* %70, i64 4
%73 = bitcast i32* %72 to <4 x i32>*
store <4 x i32> %69, <4 x i32>* %73
%74 = or i64 %66, 8
%75 = add <4 x i32> %67, <i32 8, i32 8, i32 8, i32 8>
%76 = add <4 x i32> %67, <i32 12, i32 12, i32 12, i32 12>
%77 = getelementptr inbounds [31 x [31 x i32]], [31 x [31 x i32]]* %3, i64 0, i64 %61, i64 %74
%78 = bitcast i32* %77 to <4 x i32>*
store <4 x i32> %75, <4 x i32>* %78
%79 = getelementptr inbounds i32, i32* %77, i64 4
%80 = bitcast i32* %79 to <4 x i32>*
store <4 x i32> %76, <4 x i32>* %80
%81 = or i64 %66, 16
%82 = add <4 x i32> %67, <i32 16, i32 16, i32 16, i32 16>
%83 = add <4 x i32> %67, <i32 20, i32 20, i32 20, i32 20>
%84 = getelementptr inbounds [31 x [31 x i32]], [31 x [31 x i32]]* %3, i64 0, i64 %61, i64 %81
%85 = bitcast i32* %84 to <4 x i32>*
store <4 x i32> %82, <4 x i32>* %85
%86 = getelementptr inbounds i32, i32* %84, i64 4
%87 = bitcast i32* %86 to <4 x i32>*
store <4 x i32> %83, <4 x i32>* %87
%88 = or i64 %66, 24
%89 = add <4 x i32> %67, <i32 24, i32 24, i32 24, i32 24>
%90 = add <4 x i32> %67, <i32 28, i32 28, i32 28, i32 28>
%91 = getelementptr inbounds [31 x [31 x i32]], [31 x [31 x i32]]* %3, i64 0, i64 %61, i64 %88
%92 = bitcast i32* %91 to <4 x i32>*
store <4 x i32> %89, <4 x i32>* %92
%93 = getelementptr inbounds i32, i32* %91, i64 4
%94 = bitcast i32* %93 to <4 x i32>*
store <4 x i32> %90, <4 x i32>* %94
%95 = add nuw i64 %66, 32
%96 = add <4 x i32> %67, <i32 32, i32 32, i32 32, i32 32>
%97 = add i64 %68, 4
%98 = icmp eq i64 %97, %49
br i1 %98, label %99, label %65
99: ; preds = %65, %64
%100 = phi i64 [ 0, %64 ], [ %95, %65 ]
%101 = phi <4 x i32> [ <i32 0, i32 1, i32 2, i32 3>, %64 ], [ %96, %65 ]
br i1 %50, label %115, label %102
102: ; preds = %99, %102
%103 = phi i64 [ %111, %102 ], [ %100, %99 ]
%104 = phi <4 x i32> [ %112, %102 ], [ %101, %99 ]
%105 = phi i64 [ %113, %102 ], [ 0, %99 ]
%106 = add <4 x i32> %104, <i32 4, i32 4, i32 4, i32 4>
%107 = getelementptr inbounds [31 x [31 x i32]], [31 x [31 x i32]]* %3, i64 0, i64 %61, i64 %103
%108 = bitcast i32* %107 to <4 x i32>*
store <4 x i32> %104, <4 x i32>* %108
%109 = getelementptr inbounds i32, i32* %107, i64 4
%110 = bitcast i32* %109 to <4 x i32>*
store <4 x i32> %106, <4 x i32>* %110
%111 = add nuw i64 %103, 8
%112 = add <4 x i32> %104, <i32 8, i32 8, i32 8, i32 8>
%113 = add i64 %105, 1
%114 = icmp eq i64 %113, %47
br i1 %114, label %115, label %102
115: ; preds = %102, %99
br i1 %51, label %124, label %116
116: ; preds = %60, %115
%117 = phi i64 [ 0, %60 ], [ %46, %115 ]
br label %118
118: ; preds = %116, %118
%119 = phi i64 [ %122, %118 ], [ %117, %116 ]
%120 = getelementptr inbounds [31 x [31 x i32]], [31 x [31 x i32]]* %3, i64 0, i64 %61, i64 %119
%121 = trunc i64 %119 to i32
store i32 %121, i32* %120
%122 = add nuw nsw i64 %119, 1
%123 = icmp eq i64 %122, %40
br i1 %123, label %124, label %118
124: ; preds = %118, %115
%125 = add nuw nsw i64 %61, 1
%126 = icmp eq i64 %125, %40
br i1 %126, label %127, label %60
127: ; preds = %124, %26, %33
%128 = call i64 (i8*, ...) @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32* %1)
%129 = load i32, i32* %1
%130 = icmp slt i32 %129, 1
br i1 %130, label %177, label %131
131: ; preds = %127, %167
%132 = phi i32 [ %174, %167 ], [ 1, %127 ]
%133 = phi i32 [ %169, %167 ], [ %29, %127 ]
%134 = phi i32 [ %168, %167 ], [ %30, %127 ]
%135 = call i64 (i8*, ...) @scanf(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.2, i64 0, i64 0), i8* %15, double* %5, i8* %16)
%136 = load i32, i32* %2
%137 = icmp slt i32 %136, 1
br i1 %137, label %167, label %138
138: ; preds = %131, %146
%139 = phi i64 [ %147, %146 ], [ 1, %131 ]
%140 = getelementptr inbounds [31 x [100 x i8]], [31 x [100 x i8]]* %6, i64 0, i64 %139, i64 0
%141 = call i64 @strcmp(i8* %140, i8* %15)
%142 = icmp eq i64 %141, 0
br i1 %142, label %143, label %146
143: ; preds = %138
%144 = trunc i64 %139 to i32
%145 = load i32, i32* %2
br label %151
146: ; preds = %138
%147 = add nuw nsw i64 %139, 1
%148 = load i32, i32* %2
%149 = sext i32 %148 to i64
%150 = icmp slt i64 %139, %149
br i1 %150, label %138, label %151
151: ; preds = %146, %143
%152 = phi i32 [ %145, %143 ], [ %148, %146 ]
%153 = phi i32 [ %144, %143 ], [ %134, %146 ]
%154 = icmp slt i32 %152, 1
br i1 %154, label %167, label %155
155: ; preds = %151, %160
%156 = phi i64 [ %161, %160 ], [ 1, %151 ]
%157 = getelementptr inbounds [31 x [100 x i8]], [31 x [100 x i8]]* %6, i64 0, i64 %156, i64 0
%158 = call i64 @strcmp(i8* %157, i8* %16)
%159 = icmp eq i64 %158, 0
br i1 %159, label %165, label %160
160: ; preds = %155
%161 = add nuw nsw i64 %156, 1
%162 = load i32, i32* %2
%163 = sext i32 %162 to i64
%164 = icmp slt i64 %156, %163
br i1 %164, label %155, label %167
165: ; preds = %155
%166 = trunc i64 %156 to i32
br label %167
167: ; preds = %160, %165, %131, %151
%168 = phi i32 [ %153, %151 ], [ %134, %131 ], [ %153, %165 ], [ %153, %160 ]
%169 = phi i32 [ %133, %151 ], [ %133, %131 ], [ %166, %165 ], [ %133, %160 ]
%170 = load double, double* %5
%171 = sext i32 %168 to i64
%172 = sext i32 %169 to i64
%173 = getelementptr inbounds [31 x [31 x double]], [31 x [31 x double]]* %4, i64 0, i64 %171, i64 %172
store double %170, double* %173
%174 = add nuw nsw i32 %132, 1
%175 = load i32, i32* %1
%176 = icmp slt i32 %132, %175
br i1 %176, label %131, label %177
177: ; preds = %167, %127
%178 = phi i32 [ %30, %127 ], [ %168, %167 ]
%179 = phi i32 [ %29, %127 ], [ %169, %167 ]
%180 = load i32, i32* %2
%181 = call i32 @floyd(double** %24, i32** %25, i32 %180)
%182 = load i32, i32* %2
%183 = icmp slt i32 %182, 1
br i1 %183, label %238, label %184
184: ; preds = %177
%185 = add nuw i32 %182, 1
%186 = zext i32 %185 to i64
%187 = add nsw i64 %186, -1
%188 = add nsw i64 %186, -2
%189 = and i64 %187, 3
%190 = icmp ult i64 %188, 3
br i1 %190, label %219, label %191
191: ; preds = %184
%192 = and i64 %187, -4
br label %193
193: ; preds = %193, %191
%194 = phi i64 [ 1, %191 ], [ %216, %193 ]
%195 = phi i32 [ 0, %191 ], [ %215, %193 ]
%196 = phi i64 [ 0, %191 ], [ %217, %193 ]
%197 = getelementptr inbounds [31 x [31 x double]], [31 x [31 x double]]* %4, i64 0, i64 %194, i64 %194
%198 = load double, double* %197
%199 = fcmp ogt double %198, 1.000000e+00
%200 = add nuw nsw i64 %194, 1
%201 = getelementptr inbounds [31 x [31 x double]], [31 x [31 x double]]* %4, i64 0, i64 %200, i64 %200
%202 = load double, double* %201
%203 = fcmp ogt double %202, 1.000000e+00
%204 = add nuw nsw i64 %194, 2
%205 = getelementptr inbounds [31 x [31 x double]], [31 x [31 x double]]* %4, i64 0, i64 %204, i64 %204
%206 = load double, double* %205
%207 = fcmp ogt double %206, 1.000000e+00
%208 = add nuw nsw i64 %194, 3
%209 = getelementptr inbounds [31 x [31 x double]], [31 x [31 x double]]* %4, i64 0, i64 %208, i64 %208
%210 = load double, double* %209
%211 = fcmp ogt double %210, 1.000000e+00
%212 = select i1 %211, i1 true, i1 %207
%213 = select i1 %212, i1 true, i1 %203
%214 = select i1 %213, i1 true, i1 %199
%215 = select i1 %214, i32 1, i32 %195
%216 = add nuw nsw i64 %194, 4
%217 = add i64 %196, 4
%218 = icmp eq i64 %217, %192
br i1 %218, label %219, label %193
219: ; preds = %193, %184
%220 = phi i32 [ undef, %184 ], [ %215, %193 ]
%221 = phi i64 [ 1, %184 ], [ %216, %193 ]
%222 = phi i32 [ 0, %184 ], [ %215, %193 ]
%223 = icmp eq i64 %189, 0
br i1 %223, label %235, label %224
224: ; preds = %219, %224
%225 = phi i64 [ %232, %224 ], [ %221, %219 ]
%226 = phi i32 [ %231, %224 ], [ %222, %219 ]
%227 = phi i64 [ %233, %224 ], [ 0, %219 ]
%228 = getelementptr inbounds [31 x [31 x double]], [31 x [31 x double]]* %4, i64 0, i64 %225, i64 %225
%229 = load double, double* %228
%230 = fcmp ogt double %229, 1.000000e+00
%231 = select i1 %230, i32 1, i32 %226
%232 = add nuw nsw i64 %225, 1
%233 = add i64 %227, 1
%234 = icmp eq i64 %233, %189
br i1 %234, label %235, label %224
235: ; preds = %224, %219
%236 = phi i32 [ %220, %219 ], [ %231, %224 ]
%237 = icmp eq i32 %236, 0
br i1 %237, label %238, label %239
238: ; preds = %177, %235
br label %239
239: ; preds = %235, %238
%240 = phi i8* [ getelementptr inbounds ([13 x i8], [13 x i8]* @.str.4, i64 0, i64 0), %238 ], [ getelementptr inbounds ([14 x i8], [14 x i8]* @.str.3, i64 0, i64 0), %235 ]
%241 = call i32 @printf(i8* %240, i32 %31)
%242 = call i64 (i8*, ...) @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32* %2)
%243 = load i64, i64* @EOF
%244 = icmp ne i64 %242, %243
%245 = load i32, i32* %2
%246 = icmp ne i32 %245, 0
%247 = select i1 %244, i1 %246, i1 false
br i1 %247, label %26, label %248
248: ; preds = %239, %0
ret i32 0
}