Problem:
Problem B: Independent Research

Problem

僕は夏休みの自由研究のテーマとして、生き物観察を選択し、生き物観察キットを購入した。

この生き物は3次元グリッド状の空間を好んで生息する。
各セルには最大1匹までしか入れない。
周囲の環境に合わせ1日が経過するごとに誕生と死滅を繰り返す。

誕生と死滅の条件は、セルに隣接する生き物の数に依存する。
ここで、あるセルに生き物が隣接するとは、あるセルと生き物が生息しているもう一つのセルが面、辺、または点を共有していることを言う。
誕生と死滅のルールは次のようになる。

生き物が生息していないセルにおいて、隣接する生き物の数が
ai (1 ≤ i ≤ M1 ) 匹であるような
i がある場合、そのセルに生き物が誕生する。

生き物が生息しているセルにおいて、隣接する生き物の数が
bj (1 ≤ j ≤ M2 ) 匹であるような
j がない場合、そのセルの生き物は死滅する。

今回購入した飼育箱はセルの数が5*5*5である立方体の飼育箱だ。
この飼育箱ではこの生き物はどのような振る舞いをするのだろうか…？　とても楽しみである。

〜数日後〜

とりあえず、飼育してみたが…　

毎日観察するなんて時間がかかるし、僕にはめんどくさくてやる気がおきない。

そうだ、コンピューターとプログラムを使ってシミュレートしよう。

Input

入力は複数のデータセットからなる。
各データセットは以下のフォーマットで与えられる。

N
(z = 0 の飼育箱の状態)
(空行)
(z = 1 の飼育箱の状態)
(空行)
(z = 2 の飼育箱の状態)
(空行)
(z = 3 の飼育箱の状態)
(空行)
(z = 4 の飼育箱の状態)
(空行)
M1 a1 a2 …　aM1
M2 b1 b2 …　bM2

最初にシミュレートする日数 N が与えられる。

次に飼育箱の初期状態の情報が与えられる。これは5つの5*5の2次元グリッドで与えられる。

各2次元グリッドは0と1から成り立ち、1は生き物がいることを示し、0は何もいないことを示す。

例えば、 z = 0のセルの状態の2次元グリッドの4行2列目の値が1だった場合、飼育箱の座標(1, 3, 0)の位置に生き物がいることを表す。

次に、整数 M1 が与えられ、そのあとに M1 個の数字 ai が与えられる。

次に、整数 M2 が与えられ、そのあとに M2 個の数字 bj が与えられる。

入力の終わりは N = 0で表される。

Constraints

入力は以下の条件を満たす。

1 ≤ N ≤ 100

0 ≤ M1 , M2 ≤ 27

0 ≤ ai , bj ≤ 26
(1 ≤ i ≤ M1 , 1 ≤ j ≤ M2 )

任意の i , j (1 ≤ i < j ≤ M1 )
において、 ai ≠ aj

任意の i , j (1 ≤ i < j ≤ M2 )
において、 bi ≠ bj

Output

各データセットに対し、 N 日経過後の状態を出力せよ。

出力は以下のフォーマットに従う。

Case (テストケースの番号):
(z = 0 の飼育箱の状態)
(空行)
(z = 1 の飼育箱の状態)
(空行)
(z = 2 の飼育箱の状態)
(空行)
(z = 3 の飼育箱の状態)
(空行)
(z = 4 の飼育箱の状態)

1行目にテストケース番号を出力し、次の行から N 日経過後の状態として、5*5の2次元グリッドを5つ出力せよ。

各テストケースの出力間には空行を出力しなさい。

Sample Input

5
00000
01010
00000
00100
00000

00000
01010
00000
01010
00000

00000
00100
00000
01010
00000

00000
01010
00000
00100
00000

00000
00000
00100
00000
00000

1 2
2 3 4
4
01110
00100
00100
00100
01110

01110
10001
10000
10001
01110

11111
10001
11111
10000
10000

01110
10001
10000
10001
01110

00000
00000
00000
00000
00000

2 3 4
1 2
100
00100
01010
01110
10001
10001

01110
00100
00100
00100
01110

00000
00000
00000
00000
00000

11111
00010
00100
01000
11111

10001
10001
10001
10001
01110

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

Sample Output

Case 1:
00000
00000
01010
01110
10101

00000
10001
00000
00000
00000

00000
00000
11111
10001
00000

00000
00000
00000
00000
01010

00000
00000
01110
00100
11111

Case 2:
00010
10110
00000
11000
10000

00001
00000
10101
00010
00100

10001
00000
00000
00000
00010

01110
10001
00000
00001
10000

00000
00000
00111
01001
01000

Case 3:
00000
00000
00000
00000
00000

00000
00000
00000
00000
00000

00000
00000
00000
00000
00000

00000
00000
00000
00000
00000

00000
00000
00000
00000
00000

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};
use std::collections::{BTreeMap, VecDeque, BinaryHeap, BTreeSet};
use std::fmt::{Display, Formatter, Error};

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();)*
    };
}

struct Coordinate {
    x: i32, y: i32, z: i32
}
impl Coordinate {
    fn neighbors(&self) -> Vec<Coordinate> {
        let mut result = Vec::with_capacity(26);
        for i in -1 .. 2 {
            for j in -1 .. 2 {
                for k in -1 .. 2 {
                    if i != 0 || j != 0 || k != 0 {
                        result.push(Coordinate{x: self.x + i, y: self.y + j, z: self.z + k});
                    }
                }
            }
        }
        result
    }
}
fn main() {
    let mut case = 1;
    loop {
        let_all!(n: usize);
        if n == 0 {
            return
        }
        if case != 1 {
            println!();
        }
        let mut state = Vec::with_capacity(5);
        for _ in 0 .. 5 {
            let mut square: Vec<Vec<bool>> = Vec::with_capacity(5);
            for _ in 0 .. 5 {
                square.push(read_line!().trim().chars().map(|x| x == '1').collect::<Vec<bool>>());
            }
            state.push(square);
            read_line!();
        }
        let a: Vec<i32> = read_line!(' '; i32);
        let b: Vec<i32> = read_line!(' '; i32);
        let mut state = vec![state, vec![vec![vec![false; 5]; 5]; 5]];
        for day in 0 .. n {
            for x in 0 .. 5 {
                for y in 0 .. 5 {
                    for z in 0 .. 5 {
                        if !state[day % 2][x][y][z] {
                            let mut count = 0;
                            for neighbor in (Coordinate{x: x as i32, y: y as i32, z: z as i32}).neighbors() {
                                if 0 <= neighbor.x && neighbor.x < 5 &&
                                    0 <= neighbor.y && neighbor.y < 5 &&
                                    0 <= neighbor.z && neighbor.z < 5 &&
                                    state[day % 2][neighbor.x as usize][neighbor.y as usize][neighbor.z as usize]{
                                    count += 1;
                                }
                            }
                            state[(day + 1) % 2][x][y][z] = false;
                            for i in 1 .. a.len() {
                                if count == a[i] {
                                    state[(day + 1) % 2][x][y][z] = true;
                                    break
                                }
                            }
                        }else {
                            let mut count = 0;
                            for neighbor in (Coordinate{x: x as i32, y: y as i32, z: z as i32}).neighbors() {
                                if 0 <= neighbor.x && neighbor.x < 5 &&
                                    0 <= neighbor.y && neighbor.y < 5 &&
                                    0 <= neighbor.z && neighbor.z < 5 &&
                                    state[day % 2][neighbor.x as usize][neighbor.y as usize][neighbor.z as usize]{
                                    count += 1;
                                }
                            }
                            state[(day + 1) % 2][x][y][z] = false;
                            for i in 1 .. b.len() {
                                if count == b[i] {
                                    state[(day + 1) % 2][x][y][z] = true;
                                    break
                                }
                            }
                        }
                    }
                }
            }
        }
        let result = &state[n as usize % 2];
        println!("Case {}:", case);
        case += 1;
        for i in 0 .. 5 {
            if i != 0 {
                println!();
            }
            for line in &result[i] {
                println!("{}", line.iter().map(|&x| if x {"1".to_string()} else {"0".to_string()}).collect::<Vec<_>>().connect(""));
            }
        }

    }
}