Problem:
Quick Sort

Let's arrange a deck of cards. Your task is to sort totally n cards. A card consists of a part of a suit (S, H, C or D) and an number. Write a program which sorts such cards based on the following pseudocode:

Partition(A, p, r)
1 x = A[r]
2 i = p-1
3 for j = p to r-1
4 do if A[j] <= x
5 then i = i+1
6 exchange A[i] and A[j]
7 exchange A[i+1] and A[r]
8 return i+1

Quicksort(A, p, r)
1 if p < r
2 then q = Partition(A, p, r)
3 run Quicksort(A, p, q-1)
4 run Quicksort(A, q+1, r)

Here, A is an array which represents a deck of cards and comparison operations are performed based on the numbers.

Your program should also report the stability of the output for the given input (instance). Here, 'stability of the output' means that: cards with the same value appear in the output in the same order as they do in the input (instance).

Input

The first line contains an integer n, the number of cards.

n cards are given in the following lines. Each card is given in a line and represented by a pair of a character and an integer separated by a single space.

Output

In the first line, print the stability ("Stable" or "Not stable") of this output.

In the following lines, print the arranged cards in the same manner of that of the input.

Constraints

1 ≤ n ≤ 100,000

1 ≤ the number of a card ≤ 109

There are no identical card in the input

Sample Input 1

6
D 3
H 2
D 1
S 3
D 2
C 1

Sample Output 1

Not stable
D 1
C 1
D 2
H 2
D 3
S 3

Sample Input 2

2
S 1
H 1

Sample Output 2

Stable
S 1
H 1

Solution in C (judge verdict: Accepted)

#include<stdio.h>
#define MAX 100000
#define SENTINEL 2000000000

struct Card{
    char suit;//絵柄
    int value;//数字
};

struct Card L[MAX/2+2], R[MAX/2+2];

void merge(struct Card Merge[], int n, int left, int mid, int right){
    int i, j, k;
    int n1 = mid - left;
    int n2 = right - mid;
    for(i=0; i<n1; i++){
        L[i] = Merge[left+i];
    }
    for(i=0; i<n2; i++){
        R[i] = Merge[mid+i];
    }
    L[n1].value = R[n2].value = SENTINEL;
    i=j=0;
    for(k = left; k< right; k++){
        if (L[i].value <= R[j].value){
            Merge[k] = L[i++];
        } else{
            Merge[k] = R[j++];
        }
    }
}

void mergeSort(struct Card Merge[], int n, int left, int right){
    int middle;
    if(left + 1 < right){
        middle = (left + right) / 2;
        mergeSort(Merge, n, left, middle);
        mergeSort(Merge, n, middle, right);
        merge(Merge, n, left, middle, right);
    }
}

int partition(struct Card Quick[], int n, int p,int r){
    int i,j;
    struct Card t, x;
    x = Quick[r];
    i = p-1;
    for(j=p; j<r; j++){
        if(Quick[j].value <= x.value){//基準の値より小さい場合は大きいと分類された先頭の値を入れ替える
            i++;
            t = Quick[i];
            Quick[i] = Quick[j];
            Quick[j] = t;
        }
    }
    //基準の値と大きいと分類された先頭の値を入れ替える
    t = Quick[i+1];
    Quick[i+1] = Quick[r];
    Quick[r] = t;
    return i+1;
}

void quickSort(struct Card Quick[], int n, int p, int r){//パーティションを繰り返してソートを行う
    int q;
    if(p < r){
        q = partition(Quick, n, p, r);
        quickSort(Quick, n, p, q-1);
        quickSort(Quick, n, q+1, r);
    }
}

int main(){
    int num,i,v;
    struct Card Merge[MAX], Quick[MAX];
    char design[10];
    int stable = 1;
    scanf("%d", &num);

    for(i=0; i<num; i++){
        scanf("%s %d", design, &v);//入力された絵柄と数字を入れていく
        Merge[i].suit = Quick[i].suit = design[0];
        Merge[i].value = Quick[i].value = v;
    }

    mergeSort(Merge, num, 0, num);
    quickSort(Quick, num, 0, num-1);

    for(i=0; i<num; i++){
        //マージソートは同じ数字の場合,絵柄は入力された順序で並ぶためマージソートと一致するときは,安定な出力となる
        if(Merge[i].suit != Quick[i].suit){
            stable = 0;
        }
    }
    if(stable ==1){
        printf("Stable\n");
    }
    else{
        printf("Not stable\n");
    }
    for(i=0; i<num; i++){
        printf("%c %d\n", Quick[i].suit, Quick[i].value);
    }
    return 0;
}