#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(int **, int);
int /*<<< orphan*/ printf(char *, int);
scalar_t__ scanf(char *, int *, ...);
int main() {
  int i, j, k, u, n, m, a, b, c, ar[1002], sa[1002], dist[1002][1002], S, D, T,
      min, max;
  while (scanf("%d %d %d", &T, &S, &D) != EOF) {
    for (i = 1; i <= 1000; i++) {
      for (j = 1; j <= 1000; j++) {
        dist[i][j] = 100000000;
        if (i == j)
          dist[i][j] = 0;
      }
    }
    max = 0;
    for (u = 1; u <= T; u++) {
      scanf("%d %d %d", &a, &b, &c);
      if (dist[a][b] > c) {
        dist[a][b] = c;
        dist[b][a] = c;
      }
      max = (max > a) ? max : a;
      max = (max > b) ? max : b;
    }
    for (u = 1; u <= S; u++) {
      scanf("%d", &ar[u]);
    }
    for (u = 1; u <= D; u++)
      scanf("%d", &sa[u]);
    floyd(dist, max);
    min = 100000000;
    for (i = 1; i <= S; i++) {
      for (j = 1; j <= D; j++) {
        if (min > dist[ar[i]][sa[j]])
          min = dist[ar[i]][sa[j]];
      }
    }
    printf("%d\n", min);
  }
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x3d6730,%rsp
movl   $0x0,-0x4(%rbp)
lea    0xeb7(%rip),%rdi
lea    -0x3d671c(%rbp),%rsi
lea    -0x3d6714(%rbp),%rdx
lea    -0x3d6718(%rbp),%rcx
mov    $0x0,%al
call   1050 <scanf@plt>
mov    0x2e7c(%rip),%rcx
cmp    (%rcx),%rax
je     149b <main+0x36b>
movl   $0x1,-0x8(%rbp)
cmpl   $0x3e8,-0x8(%rbp)
jg     120f <main+0xdf>
movl   $0x1,-0xc(%rbp)
cmpl   $0x3e8,-0xc(%rbp)
jg     11fc <main+0xcc>
movslq -0x8(%rbp),%rcx
lea    -0x3d6710(%rbp),%rax
imul   $0xfa8,%rcx,%rcx
add    %rcx,%rax
movslq -0xc(%rbp),%rcx
movl   $0x5f5e100,(%rax,%rcx,4)
mov    -0x8(%rbp),%eax
cmp    -0xc(%rbp),%eax
jne    11e9 <main+0xb9>
movslq -0x8(%rbp),%rcx
lea    -0x3d6710(%rbp),%rax
imul   $0xfa8,%rcx,%rcx
add    %rcx,%rax
movslq -0xc(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
jmp    11ee <main+0xbe>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1190 <main+0x60>
jmp    1201 <main+0xd1>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    117c <main+0x4c>
movl   $0x0,-0x3d6724(%rbp)
movl   $0x1,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x3d671c(%rbp),%eax
jg     1324 <main+0x1f4>
lea    0xdca(%rip),%rdi
lea    -0x20(%rbp),%rsi
lea    -0x24(%rbp),%rdx
lea    -0x28(%rbp),%rcx
mov    $0x0,%al
call   1050 <scanf@plt>
movslq -0x20(%rbp),%rcx
lea    -0x3d6710(%rbp),%rax
imul   $0xfa8,%rcx,%rcx
add    %rcx,%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x28(%rbp),%eax
jle    12ac <main+0x17c>
mov    -0x28(%rbp),%edx
movslq -0x20(%rbp),%rcx
lea    -0x3d6710(%rbp),%rax
imul   $0xfa8,%rcx,%rcx
add    %rcx,%rax
movslq -0x24(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x28(%rbp),%edx
movslq -0x24(%rbp),%rcx
lea    -0x3d6710(%rbp),%rax
imul   $0xfa8,%rcx,%rcx
add    %rcx,%rax
movslq -0x20(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x3d6724(%rbp),%eax
cmp    -0x20(%rbp),%eax
jle    12cc <main+0x19c>
mov    -0x3d6724(%rbp),%eax
mov    %eax,-0x3d6728(%rbp)
jmp    12d5 <main+0x1a5>
mov    -0x20(%rbp),%eax
mov    %eax,-0x3d6728(%rbp)
mov    -0x3d6728(%rbp),%eax
mov    %eax,-0x3d6724(%rbp)
mov    -0x3d6724(%rbp),%eax
cmp    -0x24(%rbp),%eax
jle    1301 <main+0x1d1>
mov    -0x3d6724(%rbp),%eax
mov    %eax,-0x3d672c(%rbp)
jmp    130a <main+0x1da>
mov    -0x24(%rbp),%eax
mov    %eax,-0x3d672c(%rbp)
mov    -0x3d672c(%rbp),%eax
mov    %eax,-0x3d6724(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1220 <main+0xf0>
movl   $0x1,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x3d6714(%rbp),%eax
jg     1368 <main+0x238>
movslq -0x14(%rbp),%rax
lea    -0xfd0(%rbp),%rsi
shl    $0x2,%rax
add    %rax,%rsi
lea    0xcb3(%rip),%rdi
mov    $0x0,%al
call   1050 <scanf@plt>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    132b <main+0x1fb>
movl   $0x1,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x3d6718(%rbp),%eax
jg     13ac <main+0x27c>
movslq -0x14(%rbp),%rax
lea    -0x1f80(%rbp),%rsi
shl    $0x2,%rax
add    %rax,%rsi
lea    0xc6f(%rip),%rdi
mov    $0x0,%al
call   1050 <scanf@plt>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    136f <main+0x23f>
lea    -0x3d6710(%rbp),%rdi
mov    -0x3d6724(%rbp),%esi
call   1040 <floyd@plt>
movl   $0x5f5e100,-0x3d6720(%rbp)
e1 f5 05
movl   $0x1,-0x8(%rbp)
mov    -0x8(%rbp),%eax
cmp    -0x3d6714(%rbp),%eax
jg     1484 <main+0x354>
movl   $0x1,-0xc(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x3d6718(%rbp),%eax
jg     1471 <main+0x341>
mov    -0x3d6720(%rbp),%eax
movslq -0x8(%rbp),%rcx
movslq -0xfd0(%rbp,%rcx,4),%rdx
ff
lea    -0x3d6710(%rbp),%rcx
imul   $0xfa8,%rdx,%rdx
add    %rdx,%rcx
movslq -0xc(%rbp),%rdx
movslq -0x1f80(%rbp,%rdx,4),%rdx
ff
cmp    (%rcx,%rdx,4),%eax
jle    145e <main+0x32e>
movslq -0x8(%rbp),%rax
movslq -0xfd0(%rbp,%rax,4),%rcx
ff
lea    -0x3d6710(%rbp),%rax
imul   $0xfa8,%rcx,%rcx
add    %rcx,%rax
movslq -0xc(%rbp),%rcx
movslq -0x1f80(%rbp,%rcx,4),%rcx
ff
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x3d6720(%rbp)
jmp    1463 <main+0x333>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    13e5 <main+0x2b5>
jmp    1476 <main+0x346>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    13cf <main+0x29f>
mov    -0x3d6720(%rbp),%esi
lea    0xb78(%rip),%rdi
call   1030 <printf@plt>
jmp    1142 <main+0x12>
xor    %eax,%eax
add    $0x3d6730,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x3d6718,%rsp
lea    0xeb8(%rip),%rdi
xor    %r13d,%r13d
lea    0x10(%rsp),%rsi
lea    0xc(%rsp),%rdx
lea    0x8(%rsp),%rcx
xor    %eax,%eax
call   1050 <scanf@plt>
mov    0x2e80(%rip),%rcx
cmp    (%rcx),%rax
jne    1181 <main+0x51>
xor    %eax,%eax
add    $0x3d6718,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
lea    0x1f90(%rsp),%r12
mov    $0x1,%ecx
lea    0xe71(%rip),%r14
jmp    11de <main+0xae>
mov    $0x5f5e100,%esi
lea    0x1f90(%rsp),%r12
lea    0xe5e(%rip),%rdi
call   1030 <printf@plt>
lea    0xe49(%rip),%rdi
lea    0x10(%rsp),%rsi
lea    0xc(%rsp),%rdx
lea    0x8(%rsp),%rcx
xor    %eax,%eax
call   1050 <scanf@plt>
mov    $0x1,%ecx
mov    0x2e0f(%rip),%rdx
cmp    (%rdx),%rax
je     116d <main+0x3d>
imul   $0xfa8,%rcx,%rax
add    %r12,%rax
lea    -0x1(%rcx),%rdx
xor    %esi,%esi
mov    $0x1,%edi
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
cmp    %rsi,%rdx
mov    $0x5f5e100,%ebp
cmove  %r13d,%ebp
mov    %ebp,-0xc(%rax,%rsi,4)
lea    0x1(%rdi),%rbp
cmp    %rbp,%rcx
mov    $0x5f5e100,%ebp
cmove  %r13d,%ebp
mov    %ebp,-0x8(%rax,%rsi,4)
lea    0x2(%rdi),%rbp
cmp    %rbp,%rcx
mov    $0x5f5e100,%ebp
cmove  %r13d,%ebp
mov    %ebp,-0x4(%rax,%rsi,4)
lea    0x3(%rdi),%rbp
cmp    %rbp,%rcx
mov    $0x5f5e100,%ebp
cmove  %r13d,%ebp
mov    %ebp,(%rax,%rsi,4)
add    $0x4,%rdi
add    $0x4,%rsi
cmp    $0x3e9,%rdi
jne    1200 <main+0xd0>
add    $0x1,%rcx
cmp    $0x3e9,%rcx
jne    11de <main+0xae>
cmpl   $0x0,0x10(%rsp)
jle    1307 <main+0x1d7>
xor    %ebx,%ebx
xor    %r15d,%r15d
lea    0x1c(%rsp),%rbp
jmp    12aa <main+0x17a>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
cmp    %r12d,%r15d
cmovg  %r15d,%r12d
cmp    %eax,%r12d
cmovle %eax,%r12d
add    $0x1,%ebx
mov    %r12d,%r15d
cmp    0x10(%rsp),%ebx
jge    130a <main+0x1da>
lea    0xd4f(%rip),%rdi
mov    %rbp,%rsi
lea    0x18(%rsp),%rdx
lea    0x14(%rsp),%rcx
xor    %eax,%eax
call   1050 <scanf@plt>
movslq 0x1c(%rsp),%r12
movslq 0x18(%rsp),%rax
imul   $0xfa8,%r12,%rcx
lea    (%rsp,%rcx,1),%rdx
add    $0x1f80,%rdx
mov    0x14(%rsp),%ecx
cmp    %ecx,(%rdx,%rax,4)
jle    1290 <main+0x160>
lea    (%rdx,%rax,4),%rdx
mov    %ecx,(%rdx)
imul   $0xfa8,%rax,%rdx
add    %rsp,%rdx
add    $0x1f80,%rdx
mov    %ecx,(%rdx,%r12,4)
jmp    1290 <main+0x160>
xor    %r12d,%r12d
cmpl   $0x0,0xc(%rsp)
jle    133f <main+0x20f>
lea    0xfd4(%rsp),%r15
xor    %ebx,%ebx
nopl   0x0(%rax,%rax,1)
mov    %r14,%rdi
mov    %r15,%rsi
xor    %eax,%eax
call   1050 <scanf@plt>
movslq 0xc(%rsp),%rax
add    $0x1,%rbx
add    $0x4,%r15
cmp    %rax,%rbx
jl     1320 <main+0x1f0>
cmpl   $0x0,0x8(%rsp)
jle    136f <main+0x23f>
lea    0x24(%rsp),%rbx
xor    %ebp,%ebp
nopl   (%rax)
mov    %r14,%rdi
mov    %rbx,%rsi
xor    %eax,%eax
call   1050 <scanf@plt>
movslq 0x8(%rsp),%rax
add    $0x1,%rbp
add    $0x4,%rbx
cmp    %rax,%rbp
jl     1350 <main+0x220>
lea    0x1f80(%rsp),%rdi
mov    %r12d,%esi
call   1040 <floyd@plt>
mov    0xc(%rsp),%r10d
test   %r10d,%r10d
jle    1197 <main+0x67>
mov    0x8(%rsp),%r9d
lea    0x1(%r9),%r8d
add    $0x1,%r10
lea    -0x1(%r8),%r15
add    $0xfffffffffffffffe,%r8
mov    %r15d,%edi
and    $0x3,%edi
and    $0xfffffffffffffffc,%r15
mov    $0x5f5e100,%esi
mov    $0x1,%r11d
lea    0x1f90(%rsp),%r12
jmp    13dd <main+0x2ad>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
add    $0x1,%r11
cmp    %r10,%r11
je     11a4 <main+0x74>
test   %r9d,%r9d
jle    13d0 <main+0x2a0>
movslq 0xfd0(%rsp,%r11,4),%rdx
mov    $0x1,%ecx
cmp    $0x3,%r8
jb     1464 <main+0x334>
xor    %ecx,%ecx
jmp    1409 <main+0x2d9>
nopl   0x0(%rax)
add    $0x4,%rcx
cmp    %rcx,%r15
je     1460 <main+0x330>
movslq 0x24(%rsp,%rcx,4),%rbx
imul   $0xfa8,%rdx,%rax
add    %rsp,%rax
add    $0x1f80,%rax
mov    (%rax,%rbx,4),%ebx
cmp    %ebx,%esi
cmovg  %ebx,%esi
movslq 0x28(%rsp,%rcx,4),%rbx
mov    (%rax,%rbx,4),%ebx
cmp    %ebx,%esi
jg     1434 <main+0x304>
mov    %esi,%ebx
movslq 0x2c(%rsp,%rcx,4),%rsi
mov    (%rax,%rsi,4),%ebp
cmp    %ebp,%ebx
jg     1442 <main+0x312>
mov    %ebx,%ebp
movslq 0x30(%rsp,%rcx,4),%rsi
mov    (%rax,%rsi,4),%esi
cmp    %esi,%ebp
jg     1400 <main+0x2d0>
mov    %ebp,%esi
jmp    1400 <main+0x2d0>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
add    $0x1,%rcx
test   %rdi,%rdi
je     13d0 <main+0x2a0>
lea    (%rsp,%rcx,4),%rax
add    $0x20,%rax
xor    %ecx,%ecx
nopw   0x0(%rax,%rax,1)
movslq (%rax,%rcx,4),%rbx
imul   $0xfa8,%rdx,%rbp
add    %rsp,%rbp
add    $0x1f80,%rbp
mov    0x0(%rbp,%rbx,4),%ebx
cmp    %ebx,%esi
cmovg  %ebx,%esi
add    $0x1,%rcx
cmp    %rcx,%rdi
jne    1480 <main+0x350>
jmp    13d0 <main+0x2a0>

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

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