Problem:
写真に写っている景色は?

A 君は会津に観光にやってきました。宿泊したホテルの窓からは会津盆地が一望できます。景色を眺めていると、床に写真の切れ端が落ちているのに気がつきました。どうやら窓から外の景色を撮ったようです。「どの辺りを撮ったのかな」と、A 君は窓の外の景色と写真が同じ大きさになるように写真をかざして、写真と窓の外の景色が一致する場所を探し始めました。

それでは、A 君がやっていることをコンピュータでやってみましょう。窓の外の景色を n × n マスの正方形に分割します (n を景色の大きさと呼びます)。各マスには、そのマスの画像の情報を表す 0 以上の整数が書かれています。マスの位置は座標 (x, y) で表します。各マスの座標は以下の通りになります。

写真の切れ端は、m × m マスの正方形で表されます (m を写真の切れ端の大きさと呼びます) 。この正方形の中で、切れ端の部分のマスには画像の情報が、切れ端に含まれない部分のマスには -1 が書かれています。たとえば、下図では、色が塗られている部分が実際の写真の切れ端の形を表しています。切れ端に穴が開いていることはありますが、必ず 1 つにつながっています。 (0 以上の値をもつマスが頂点だけで接しているときは、つながっていないものとみなします。) また、値 -1 のマスが縦または横 1 列に端から端まで並ぶことはありません。

窓から見える景色の中で、写真の切れ端を 0、90、180、270 度回転させたいずれかと一致する領域を探します。たとえば、景色が下図のように表わせるとき、上図の切れ端を反時計回りに90 度回転させると、色が塗られた領域に一致します。

窓から見える景色と写真の切れ端の情報を入力とし、景色の中で、切れ端を 0、90、180、270 度回転させたいずれかと一致する領域の最も上端に近いマスのうち、最も左端に近いマスの座標を出力するプログラムを作成してください。

一致する領域が複数ある場合は、それらの領域内にあるマスの中で、最も上端に近いマスのうち、最も左端に近いマスの座標を出力してください。一致する領域がないときは、NA と出力します。

Input

複数のデータセットの並びが入力として与えられます。入力の終わりはゼロふたつの行で示されます。各データセットは以下の形式で与えられます。

n m
w11 w12 ... w1n
w21 w22 ... w2n
:
wn1 wn2 ... wnn
p11 p12 ... p1m
p21 p22 ... p2m
:
pm1 pm2 ... pmm

1 行目にn, m (1 ≤ n ≤ 100, 1 ≤ m ≤ 50, m ≤ n) が与えられます。

続く n 行に窓から見える景色の情報 wij (0 ≤ wij ≤ 15)、続く m 行に写真の切れ端のデータの情報 pij (-1 ≤ pij ≤ 15) が与えられます。

データセットの数は 100 を超えません。

Output

入力データセットごとに、マスの位置の座標または NA を１行に出力します。

Sample Input

8 4
2 1 3 1 1 5 1 3
2 3 2 4 1 0 2 1
0 3 1 2 1 1 4 2
1 2 3 2 1 1 5 4
0 2 0 1 1 3 2 1
1 3 1 2 2 4 3 2
5 1 2 1 4 1 1 5
4 1 1 0 1 2 2 1
2 -1 -1 -1
0 3 -1 -1
-1 2 2 4
-1 1 -1 1
5 3
1 0 2 3 5
2 3 7 2 1
2 5 4 2 2
8 9 0 3 3
3 6 0 4 7
-1 -1 2
-1 3 5
0 4 -1
0 0

Output for the Sample Input

4 2
NA

Solution in Rust (judge verdict: Accepted)

extern crate core;

use std::fmt;
use std::cmp::{Ordering, min, max};
use std::f32::MAX;
use std::ops::{Add, Sub, Mul, Div, Neg, Index, IndexMut, SubAssign, Range};
use std::collections::{BTreeMap, VecDeque, BinaryHeap, BTreeSet, HashMap};
use std::fmt::Display;

fn show<T: Display>(vec: &Vec<T>) {
    if vec.is_empty() {
        println!("[]");
    }else {
        print!("[{}", vec[0]);
        for i in 1 .. vec.len() {
            print!(", {}", vec[i]);
        }
        println!("]");
    }
}
fn show2<T: Display>(vec: &Vec<Vec<T>>) {
    if vec.is_empty() {
        println!("[]");
    }else {
        for l in vec {
            show(l);
        }
    }
}

macro_rules! read_line{
    () => {{
        let mut line = String::new();
        std::io::stdin().read_line(&mut line).ok();
        line
    }};
    (delimiter: ' ') => {
        read_line!().split_whitespace().map(|x|x.to_string()).collect::<Vec<_>>()
    };
    (delimiter: $p:expr) => {
        read_line!().split($p).map(|x|x.to_string()).collect::<Vec<_>>()
    };
    (' ') => {
        read_line!(delimiter: ' ')
    };
    ($delimiter:expr) => {
        read_line!(delimiter: $delimiter)
    };
    (' '; $ty:ty) => {
        read_line!().split_whitespace().map(|x|x.parse::<$ty>().ok().unwrap()).collect::<Vec<$ty>>()
    };
    ($delimiter:expr; $ty:ty) => {
        read_line!($delimiter).into_iter().map(|x|x.parse::<$ty>().ok().unwrap()).collect::<Vec<$ty>>()
    };
}
macro_rules! read_value{
    () => {
        read_line!().trim().parse().ok().unwrap()
    }
}
macro_rules! let_all {
    ($($n:ident:$t:ty),*) => {
        let line = read_line!(delimiter: ' ');
        let mut iter = line.iter();
        $(let $n:$t = iter.next().unwrap().parse().ok().unwrap();)*
    };
}

macro_rules! let_mut_all {
    ($($n:ident:$t:ty),*) => {
        let line = read_line!(delimiter: ' ');
        let mut iter = line.iter();
        $(let mut $n:$t = iter.next().unwrap().parse().ok().unwrap();)*
    };
}

fn main() {
    loop {
        let_all!(n: usize, m: usize);
        if n == 0 && m == 0 {return}
        let mut picture: Vec<Vec<i32>> = Vec::with_capacity(n);
        for _ in 0 .. n {
            picture.push(read_line!(' '; i32));
        }
        let mut piece: Vec<Vec<i32>> = Vec::with_capacity(m);
        for _ in 0 .. m {
            piece.push(read_line!(' '; i32));
        }
        let picture = Picture{state: picture, height: n, width: n};
        let mut piece = Piece::read(&piece);
        let mut left_top = Point{x: n, y: n};
        'out: for _ in 0 .. 4 {
            piece = piece.rotate_right();
            for y in 0 .. n - m + 1 {
                for x in 0 .. n - m + 1 {
                    if let Some(p) = piece.is_match_at(&picture, Point{x: x, y: y}) {
                        if left_top.y > p.y || (left_top.y == p.y && left_top.x > p.x) {
                            left_top = p;
                        }
                        continue 'out;
                    }
                }
            }
        }
        if left_top.y == n {
            println!("NA");
        }else {
            println!("{} {}", left_top.x + 1, left_top.y + 1);
        }
    }
}
#[derive(Copy, Clone)]
struct Point {
    x: usize, y: usize
}
struct Piece {
    peaces: Vec<(Point, i32)>,
    height: usize, width: usize,
}
struct Picture {
    state: Vec<Vec<i32>>,
    height: usize, width: usize,
}

impl Piece {
    fn read(piece: &Vec<Vec<i32>>) -> Piece {
        //println!("create");
        //show2(&piece);
        let mut vec = Vec::new();
        for y in 0 .. piece.len() {
            for x in 0 .. piece[y].len() {
                if piece[y][x] != -1 {
                    vec.push((Point{x: x, y: y}, piece[y][x]));
                }
            }
        }
        Piece{peaces: vec, height: piece.len(), width: piece[0].len()}
    }
    fn is_match_at(&self, picture: &Picture, left_top: Point) -> Option<Point> {
        let left = left_top.x;
        let top = left_top.y;
        for &(p, n) in &self.peaces {
            if p.x + left >= picture.width || p.y + top >= picture.height || picture.state[p.y + top][p.x + left] != n{
                return None
            }
        }
        let (ret, _) = self.peaces[0];
        Some(Point{x: ret.x + left, y: ret.y + top})
    }
    fn rotate_right(&self) -> Piece {
        let mut vec = vec![vec![-1; self.height]; self.width];
        for &(p, n) in &self.peaces {
            vec[p.x][self.height - p.y - 1] = n;
        }
        Piece::read(&vec)
    }
}