#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 */
int /*<<< orphan*/ free(int *);
int *malloc(int);
int /*<<< orphan*/ memset(char *, int /*<<< orphan*/, int);
int /*<<< orphan*/ printf(char *, char *);
int /*<<< orphan*/ scanf(char *, int *);
int /*<<< orphan*/ strcpy(char *, char *);
int main() {
  int q;
  scanf("%d", &q);
  char output[10][4];
  for (int a0 = 0; a0 < q; a0++) {
    memset(output[a0], 0, 4);
    int n;
    scanf("%d", &n);
    int *a = malloc(sizeof(int) * n);
    for (int a_i = 0; a_i < n; a_i++) {
      scanf("%d", &a[a_i]);
    }
    for (int a_i = 0; a_i < n; a_i++) {
      if (a[a_i] == a_i ||
          (a[a_i] == (a_i + 1) || (0 <= (a_i - 1) && a[a_i] == (a_i - 1)))) {
        if (a_i == n - 1) {
          strcpy(output[a0], "Yes");
        }
      } else {
        strcpy(output[a0], "No");
        break;
      }
    }
    free(a);
  }
  for (int a0 = 0; a0 < q; a0++) {
    printf("%s\n", output[a0]);
  }
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
movl   $0x0,-0x4(%rbp)
lea    0xe8a(%rip),%rdi
lea    -0x8(%rbp),%rsi
call   1080 <scanf@plt>
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    12f0 <main+0x190>
movslq -0x34(%rbp),%rax
lea    -0x30(%rbp),%rdi
shl    $0x2,%rax
add    %rax,%rdi
xor    %esi,%esi
mov    $0x4,%edx
call   1060 <memset@plt>
lea    0xe4c(%rip),%rdi
lea    -0x38(%rbp),%rsi
call   1080 <scanf@plt>
movslq -0x38(%rbp),%rax
shl    $0x2,%rax
mov    %eax,%edi
call   1070 <malloc@plt>
mov    %rax,-0x40(%rbp)
movl   $0x0,-0x44(%rbp)
mov    -0x44(%rbp),%eax
cmp    -0x38(%rbp),%eax
jge    120c <main+0xac>
mov    -0x40(%rbp),%rsi
movslq -0x44(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rsi
lea    0xe07(%rip),%rdi
call   1080 <scanf@plt>
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    11d7 <main+0x77>
movl   $0x0,-0x48(%rbp)
mov    -0x48(%rbp),%eax
cmp    -0x38(%rbp),%eax
jge    12d9 <main+0x179>
mov    -0x40(%rbp),%rax
movslq -0x48(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x48(%rbp),%eax
je     1275 <main+0x115>
mov    -0x40(%rbp),%rax
movslq -0x48(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x48(%rbp),%ecx
add    $0x1,%ecx
cmp    %ecx,%eax
je     1275 <main+0x115>
mov    -0x48(%rbp),%ecx
sub    $0x1,%ecx
xor    %eax,%eax
cmp    %ecx,%eax
jg     12a6 <main+0x146>
mov    -0x40(%rbp),%rax
movslq -0x48(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x48(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jne    12a6 <main+0x146>
mov    -0x48(%rbp),%eax
mov    -0x38(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jne    12a1 <main+0x141>
movslq -0x34(%rbp),%rax
lea    -0x30(%rbp),%rdi
shl    $0x2,%rax
add    %rax,%rdi
lea    0xd67(%rip),%rsi
call   1040 <strcpy@plt>
jmp    12c6 <main+0x166>
movslq -0x34(%rbp),%rax
lea    -0x30(%rbp),%rdi
shl    $0x2,%rax
add    %rax,%rdi
lea    0xd4b(%rip),%rsi
call   1040 <strcpy@plt>
jmp    12d9 <main+0x179>
jmp    12cb <main+0x16b>
mov    -0x48(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x48(%rbp)
jmp    1213 <main+0xb3>
mov    -0x40(%rbp),%rdi
call   1030 <free@plt>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1186 <main+0x26>
movl   $0x0,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    132c <main+0x1cc>
movslq -0x4c(%rbp),%rax
lea    -0x30(%rbp),%rsi
shl    $0x2,%rax
add    %rax,%rsi
lea    0xcf1(%rip),%rdi
call   1050 <printf@plt>
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
jmp    12f7 <main+0x197>
xor    %eax,%eax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
lea    0xe8b(%rip),%rdi
lea    0xc(%rsp),%rsi
call   1080 <scanf@plt>
cmpl   $0x0,0xc(%rsp)
jle    12cd <main+0x16d>
xor    %r14d,%r14d
lea    0xe6c(%rip),%rbx
jmp    11ca <main+0x6a>
mov    %r13,%rdi
lea    0xe67(%rip),%rsi
call   1040 <strcpy@plt>
cs nopw 0x0(%rax,%rax,1)
nop
mov    %r12,%rdi
call   1030 <free@plt>
add    $0x1,%r14
movslq 0xc(%rsp),%rax
cmp    %rax,%r14
jge    128f <main+0x12f>
lea    (%rsp,%r14,4),%r13
add    $0x10,%r13
mov    %r13,%rdi
xor    %esi,%esi
mov    $0x4,%edx
call   1060 <memset@plt>
mov    %rbx,%rdi
lea    0x8(%rsp),%rsi
call   1080 <scanf@plt>
mov    0x8(%rsp),%ebp
lea    0x0(,%rbp,4),%edi
call   1070 <malloc@plt>
mov    %rax,%r12
test   %ebp,%ebp
jle    11b0 <main+0x50>
mov    %r12,%rbp
xor    %r15d,%r15d
nopl   0x0(%rax,%rax,1)
mov    %rbx,%rdi
mov    %rbp,%rsi
call   1080 <scanf@plt>
add    $0x1,%r15
movslq 0x8(%rsp),%rax
add    $0x4,%rbp
cmp    %rax,%r15
jl     1210 <main+0xb0>
test   %eax,%eax
lea    0xdcd(%rip),%r15
jle    11b0 <main+0x50>
xor    %ecx,%ecx
jmp    124f <main+0xef>
movslq %eax,%rdx
mov    %rbp,%rcx
cmp    %rdx,%rbp
jge    11b0 <main+0x50>
mov    (%r12,%rcx,4),%edx
lea    0x1(%rcx),%rbp
cmp    %rdx,%rcx
je     1276 <main+0x116>
cmp    %rdx,%rbp
je     1276 <main+0x116>
mov    %rcx,%rsi
add    $0xffffffffffffffff,%rsi
jae    1196 <main+0x36>
cmp    %edx,%esi
jne    1196 <main+0x36>
lea    -0x1(%rax),%edx
cmp    %rdx,%rcx
jne    1240 <main+0xe0>
mov    %r13,%rdi
mov    %r15,%rsi
call   1040 <strcpy@plt>
mov    0x8(%rsp),%eax
jmp    1240 <main+0xe0>
test   %eax,%eax
jle    12cd <main+0x16d>
lea    0x10(%rsp),%rbx
xor    %ebp,%ebp
lea    0xd69(%rip),%r14
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    %r14,%rdi
mov    %rbx,%rsi
call   1050 <printf@plt>
add    $0x1,%rbp
movslq 0xc(%rsp),%rax
add    $0x4,%rbx
cmp    %rax,%rbp
jl     12b0 <main+0x150>
xor    %eax,%eax
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [3 x i8] c"%d\00"
@.str.1 = [4 x i8] c"Yes\00"
@.str.2 = [3 x i8] c"No\00"
@.str.3 = [4 x i8] c"%s\0A\00"
define i32 @main() {
%1 = alloca i32
%2 = alloca i32
%3 = alloca [10 x [4 x i8]]
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32*
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
store i32 0, i32* %1
%10 = call i32 @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32* %2)
store i32 0, i32* %4
br label %11
11: ; preds = %100, %0
%12 = load i32, i32* %4
%13 = load i32, i32* %2
%14 = icmp slt i32 %12, %13
br i1 %14, label %15, label %103
15: ; preds = %11
%16 = load i32, i32* %4
%17 = sext i32 %16 to i64
%18 = getelementptr inbounds [10 x [4 x i8]], [10 x [4 x i8]]* %3, i64 0, i64 %17
%19 = getelementptr inbounds [4 x i8], [4 x i8]* %18, i64 0, i64 0
%20 = call i32 @memset(i8* %19, i32 0, i32 4)
%21 = call i32 @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32* %5)
%22 = load i32, i32* %5
%23 = sext i32 %22 to i64
%24 = mul i64 4, %23
%25 = trunc i64 %24 to i32
%26 = call i32* @malloc(i32 %25)
store i32* %26, i32** %6
store i32 0, i32* %7
br label %27
27: ; preds = %37, %15
%28 = load i32, i32* %7
%29 = load i32, i32* %5
%30 = icmp slt i32 %28, %29
br i1 %30, label %31, label %40
31: ; preds = %27
%32 = load i32*, i32** %6
%33 = load i32, i32* %7
%34 = sext i32 %33 to i64
%35 = getelementptr inbounds i32, i32* %32, i64 %34
%36 = call i32 @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32* %35)
br label %37
37: ; preds = %31
%38 = load i32, i32* %7
%39 = add nsw i32 %38, 1
store i32 %39, i32* %7
br label %27
40: ; preds = %27
store i32 0, i32* %8
br label %41
41: ; preds = %94, %40
%42 = load i32, i32* %8
%43 = load i32, i32* %5
%44 = icmp slt i32 %42, %43
br i1 %44, label %45, label %97
45: ; preds = %41
%46 = load i32*, i32** %6
%47 = load i32, i32* %8
%48 = sext i32 %47 to i64
%49 = getelementptr inbounds i32, i32* %46, i64 %48
%50 = load i32, i32* %49
%51 = load i32, i32* %8
%52 = icmp eq i32 %50, %51
br i1 %52, label %75, label %53
53: ; preds = %45
%54 = load i32*, i32** %6
%55 = load i32, i32* %8
%56 = sext i32 %55 to i64
%57 = getelementptr inbounds i32, i32* %54, i64 %56
%58 = load i32, i32* %57
%59 = load i32, i32* %8
%60 = add nsw i32 %59, 1
%61 = icmp eq i32 %58, %60
br i1 %61, label %75, label %62
62: ; preds = %53
%63 = load i32, i32* %8
%64 = sub nsw i32 %63, 1
%65 = icmp sle i32 0, %64
br i1 %65, label %66, label %87
66: ; preds = %62
%67 = load i32*, i32** %6
%68 = load i32, i32* %8
%69 = sext i32 %68 to i64
%70 = getelementptr inbounds i32, i32* %67, i64 %69
%71 = load i32, i32* %70
%72 = load i32, i32* %8
%73 = sub nsw i32 %72, 1
%74 = icmp eq i32 %71, %73
br i1 %74, label %75, label %87
75: ; preds = %66, %53, %45
%76 = load i32, i32* %8
%77 = load i32, i32* %5
%78 = sub nsw i32 %77, 1
%79 = icmp eq i32 %76, %78
br i1 %79, label %80, label %86
80: ; preds = %75
%81 = load i32, i32* %4
%82 = sext i32 %81 to i64
%83 = getelementptr inbounds [10 x [4 x i8]], [10 x [4 x i8]]* %3, i64 0, i64 %82
%84 = getelementptr inbounds [4 x i8], [4 x i8]* %83, i64 0, i64 0
%85 = call i32 @strcpy(i8* %84, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.1, i64 0, i64 0))
br label %86
86: ; preds = %80, %75
br label %93
87: ; preds = %66, %62
%88 = load i32, i32* %4
%89 = sext i32 %88 to i64
%90 = getelementptr inbounds [10 x [4 x i8]], [10 x [4 x i8]]* %3, i64 0, i64 %89
%91 = getelementptr inbounds [4 x i8], [4 x i8]* %90, i64 0, i64 0
%92 = call i32 @strcpy(i8* %91, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0))
br label %97
93: ; preds = %86
br label %94
94: ; preds = %93
%95 = load i32, i32* %8
%96 = add nsw i32 %95, 1
store i32 %96, i32* %8
br label %41
97: ; preds = %87, %41
%98 = load i32*, i32** %6
%99 = call i32 @free(i32* %98)
br label %100
100: ; preds = %97
%101 = load i32, i32* %4
%102 = add nsw i32 %101, 1
store i32 %102, i32* %4
br label %11
103: ; preds = %11
store i32 0, i32* %9
br label %104
104: ; preds = %114, %103
%105 = load i32, i32* %9
%106 = load i32, i32* %2
%107 = icmp slt i32 %105, %106
br i1 %107, label %108, label %117
108: ; preds = %104
%109 = load i32, i32* %9
%110 = sext i32 %109 to i64
%111 = getelementptr inbounds [10 x [4 x i8]], [10 x [4 x i8]]* %3, i64 0, i64 %110
%112 = getelementptr inbounds [4 x i8], [4 x i8]* %111, i64 0, i64 0
%113 = call i32 @printf(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0), i8* %112)
br label %114
114: ; preds = %108
%115 = load i32, i32* %9
%116 = add nsw i32 %115, 1
store i32 %116, i32* %9
br label %104
117: ; preds = %104
ret i32 0
}

LLVM IR (-O2):
@.str = [3 x i8] c"%d\00"
@.str.1 = [4 x i8] c"Yes\00"
@.str.2 = [3 x i8] c"No\00"
@.str.3 = [4 x i8] c"%s\0A\00"
define i32 @main() {
%1 = alloca i32
%2 = alloca [10 x [4 x i8]]
%3 = alloca i32
%4 = bitcast i32* %1 to i8*
%5 = call i32 @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32* %1)
%6 = getelementptr inbounds [10 x [4 x i8]], [10 x [4 x i8]]* %2, i64 0, i64 0, i64 0
%7 = load i32, i32* %1
%8 = icmp sgt i32 %7, 0
br i1 %8, label %9, label %67
9: ; preds = %0
%10 = bitcast i32* %3 to i8*
br label %13
11: ; preds = %61
%12 = icmp sgt i32 %64, 0
br i1 %12, label %68, label %67
13: ; preds = %9, %61
%14 = phi i64 [ 0, %9 ], [ %63, %61 ]
%15 = getelementptr inbounds [10 x [4 x i8]], [10 x [4 x i8]]* %2, i64 0, i64 %14, i64 0
%16 = call i32 @memset(i8* %15, i32 0, i32 4)
%17 = call i32 @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32* %3)
%18 = load i32, i32* %3
%19 = shl i32 %18, 2
%20 = call i32* @malloc(i32 %19)
%21 = icmp sgt i32 %18, 0
br i1 %21, label %24, label %61
22: ; preds = %24
%23 = icmp sgt i32 %29, 0
br i1 %23, label %32, label %61
24: ; preds = %13, %24
%25 = phi i64 [ %28, %24 ], [ 0, %13 ]
%26 = getelementptr inbounds i32, i32* %20, i64 %25
%27 = call i32 @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32* %26)
%28 = add nuw nsw i64 %25, 1
%29 = load i32, i32* %3
%30 = sext i32 %29 to i64
%31 = icmp slt i64 %28, %30
br i1 %31, label %24, label %22
32: ; preds = %22, %57
%33 = phi i32 [ %58, %57 ], [ %29, %22 ]
%34 = phi i64 [ %39, %57 ], [ 0, %22 ]
%35 = getelementptr inbounds i32, i32* %20, i64 %34
%36 = load i32, i32* %35
%37 = zext i32 %36 to i64
%38 = icmp eq i64 %34, %37
%39 = add nuw nsw i64 %34, 1
%40 = icmp eq i64 %39, %37
%41 = select i1 %38, i1 true, i1 %40
br i1 %41, label %48, label %42
42: ; preds = %32
%43 = icmp ne i64 %34, 0
%44 = trunc i64 %34 to i32
%45 = add i32 %44, -1
%46 = icmp eq i32 %36, %45
%47 = select i1 %43, i1 %46, i1 false
br i1 %47, label %48, label %55
48: ; preds = %42, %32
%49 = add nsw i32 %33, -1
%50 = zext i32 %49 to i64
%51 = icmp eq i64 %34, %50
br i1 %51, label %52, label %57
52: ; preds = %48
%53 = call i32 @strcpy(i8* %15, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.1, i64 0, i64 0))
%54 = load i32, i32* %3
br label %57
55: ; preds = %42
%56 = call i32 @strcpy(i8* %15, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0))
br label %61
57: ; preds = %52, %48
%58 = phi i32 [ %54, %52 ], [ %33, %48 ]
%59 = sext i32 %58 to i64
%60 = icmp slt i64 %39, %59
br i1 %60, label %32, label %61
61: ; preds = %57, %13, %22, %55
%62 = call i32 @free(i32* %20)
%63 = add nuw nsw i64 %14, 1
%64 = load i32, i32* %1
%65 = sext i32 %64 to i64
%66 = icmp slt i64 %63, %65
br i1 %66, label %13, label %11
67: ; preds = %68, %0, %11
ret i32 0
68: ; preds = %11, %68
%69 = phi i64 [ %72, %68 ], [ 0, %11 ]
%70 = getelementptr inbounds [10 x [4 x i8]], [10 x [4 x i8]]* %2, i64 0, i64 %69, i64 0
%71 = call i32 @printf(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0), i8* %70)
%72 = add nuw nsw i64 %69, 1
%73 = load i32, i32* %1
%74 = sext i32 %73 to i64
%75 = icmp slt i64 %72, %74
br i1 %75, label %68, label %67
}