// phi-numbers.h
// Copyright (C) 2023 Mark Bowron

// Phi-number matrices.

// This program is free software: you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.

// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.

static const int phi_numbers[31][7][7] = {
{{0,0,0,0,0,0,0},{0,0,0,0,0,0,0},{0,0,0,0,0,0,0},{0,0,0,0,0,0,0},{0,0,0,0,0,0,0},{0,0,0,0,0,0,0},{0,0,0,0,0,0,0}},
{{1,0,0,0,0,0,0},{0,1,0,0,0,0,0},{0,0,1,0,0,0,0},{0,0,0,1,0,0,0},{0,0,0,0,1,0,0},{0,0,0,0,0,1,0},{0,0,0,0,0,0,1}},
{{1,0,0,0,0,0,0},{0,1,0,0,0,1,0},{0,0,1,0,0,0,0},{0,0,0,1,0,0,0},{0,0,0,0,1,0,0},{0,1,0,0,0,1,0},{0,0,0,0,0,0,1}},
{{1,0,0,0,0,0,0},{0,1,0,0,0,0,0},{0,0,1,0,0,0,1},{0,0,0,1,0,0,0},{0,0,0,0,1,0,0},{0,0,0,0,0,1,0},{0,0,1,0,0,0,1}},
{{1,0,0,0,0,0,0},{0,1,0,0,0,0,0},{0,0,1,0,0,0,0},{0,0,0,1,0,0,0},{0,0,0,0,1,1,0},{0,0,0,0,1,1,0},{0,0,0,0,0,0,1}},
{{1,0,0,0,0,0,0},{0,1,0,0,0,0,0},{0,0,1,0,0,0,0},{0,0,0,1,0,0,1},{0,0,0,0,1,0,0},{0,0,0,0,0,1,0},{0,0,0,1,0,0,1}},
{{1,0,0,0,0,0,0},{0,1,0,0,0,1,0},{0,0,1,0,0,0,1},{0,0,0,1,0,0,0},{0,0,0,0,1,0,0},{0,1,0,0,0,1,0},{0,0,1,0,0,0,1}},
{{1,0,0,0,0,0,0},{0,1,0,0,0,0,0},{0,0,1,0,0,0,1},{0,0,0,1,0,0,0},{0,0,0,0,1,1,0},{0,0,0,0,1,1,0},{0,0,1,0,0,0,1}},
{{1,0,0,0,0,0,0},{0,1,0,0,0,1,0},{0,0,1,0,0,0,0},{0,0,0,1,0,0,1},{0,0,0,0,1,0,0},{0,1,0,0,0,1,0},{0,0,0,1,0,0,1}},
{{1,0,0,0,0,0,0},{0,1,0,0,1,1,0},{0,0,1,0,0,0,0},{0,0,0,1,0,0,0},{0,1,0,0,1,1,0},{0,1,0,0,1,1,0},{0,0,0,0,0,0,1}},
{{1,0,0,0,0,0,0},{0,1,0,0,0,0,0},{0,0,1,1,0,0,1},{0,0,1,1,0,0,1},{0,0,0,0,1,0,0},{0,0,0,0,0,1,0},{0,0,1,1,0,0,1}},
{{1,0,0,0,0,0,0},{0,1,0,0,0,0,0},{0,0,1,0,0,0,0},{0,0,0,1,0,0,1},{0,0,0,0,1,1,0},{0,0,0,0,1,1,0},{0,0,0,1,0,0,1}},
{{1,0,0,0,0,0,0},{0,1,0,0,0,0,0},{0,0,1,0,0,0,0},{0,0,0,1,0,1,0},{0,0,0,0,1,0,1},{0,0,0,1,0,1,0},{0,0,0,0,1,0,1}},
{{1,0,0,0,0,0,0},{0,1,0,0,0,0,0},{0,0,1,0,0,0,0},{0,0,0,1,1,1,1},{0,0,0,1,1,1,1},{0,0,0,1,1,1,1},{0,0,0,1,1,1,1}},
{{1,0,0,0,0,0,0},{0,1,0,0,1,1,0},{0,0,1,0,0,0,1},{0,0,0,1,0,0,0},{0,1,0,0,1,1,0},{0,1,0,0,1,1,0},{0,0,1,0,0,0,1}},
{{1,0,0,0,0,0,0},{0,1,0,0,0,1,0},{0,0,1,1,0,0,1},{0,0,1,1,0,0,1},{0,0,0,0,1,0,0},{0,1,0,0,0,1,0},{0,0,1,1,0,0,1}},
{{1,0,0,0,0,0,0},{0,1,0,0,1,1,0},{0,0,1,0,0,0,0},{0,0,0,1,0,0,1},{0,1,0,0,1,1,0},{0,1,0,0,1,1,0},{0,0,0,1,0,0,1}},
{{1,0,0,0,0,0,0},{0,1,0,0,0,0,0},{0,0,1,1,0,0,1},{0,0,1,1,0,0,1},{0,0,0,0,1,1,0},{0,0,0,0,1,1,0},{0,0,1,1,0,0,1}},
{{1,0,0,0,0,0,0},{0,1,0,1,0,1,0},{0,0,1,0,0,0,0},{0,1,0,1,0,1,0},{0,0,0,0,1,0,1},{0,1,0,1,0,1,0},{0,0,0,0,1,0,1}},
{{1,0,0,0,0,0,0},{0,1,0,0,0,0,0},{0,0,1,0,1,0,1},{0,0,0,1,0,1,0},{0,0,1,0,1,0,1},{0,0,0,1,0,1,0},{0,0,1,0,1,0,1}},
{{1,0,1,0,0,0,0},{0,1,0,1,0,1,0},{1,0,1,0,0,0,0},{0,1,0,1,0,1,0},{0,0,0,0,1,0,1},{0,1,0,1,0,1,0},{0,0,0,0,1,0,1}},
{{1,1,0,0,0,0,0},{1,1,0,0,0,0,0},{0,0,1,0,1,0,1},{0,0,0,1,0,1,0},{0,0,1,0,1,0,1},{0,0,0,1,0,1,0},{0,0,1,0,1,0,1}},
{{1,0,0,0,0,0,0},{0,1,0,1,1,1,1},{0,0,1,0,0,0,0},{0,1,0,1,1,1,1},{0,1,0,1,1,1,1},{0,1,0,1,1,1,1},{0,1,0,1,1,1,1}},
{{1,0,0,0,0,0,0},{0,1,0,0,0,0,0},{0,0,1,1,1,1,1},{0,0,1,1,1,1,1},{0,0,1,1,1,1,1},{0,0,1,1,1,1,1},{0,0,1,1,1,1,1}},
{{1,0,0,0,0,0,0},{0,1,0,1,0,1,0},{0,0,1,0,1,0,1},{0,1,0,1,0,1,0},{0,0,1,0,1,0,1},{0,1,0,1,0,1,0},{0,0,1,0,1,0,1}},
{{1,0,0,0,0,0,0},{0,1,0,0,1,1,0},{0,0,1,1,0,0,1},{0,0,1,1,0,0,1},{0,1,0,0,1,1,0},{0,1,0,0,1,1,0},{0,0,1,1,0,0,1}},
{{1,1,0,1,0,1,0},{1,1,0,1,0,1,0},{0,0,1,0,1,0,1},{1,1,0,1,0,1,0},{0,0,1,0,1,0,1},{1,1,0,1,0,1,0},{0,0,1,0,1,0,1}},
{{1,0,1,0,1,0,1},{0,1,0,1,0,1,0},{1,0,1,0,1,0,1},{0,1,0,1,0,1,0},{1,0,1,0,1,0,1},{0,1,0,1,0,1,0},{1,0,1,0,1,0,1}},
{{1,0,1,0,0,0,0},{0,1,0,1,1,1,1},{1,0,1,0,0,0,0},{0,1,0,1,1,1,1},{0,1,0,1,1,1,1},{0,1,0,1,1,1,1},{0,1,0,1,1,1,1}},
{{1,1,0,0,0,0,0},{1,1,0,0,0,0,0},{0,0,1,1,1,1,1},{0,0,1,1,1,1,1},{0,0,1,1,1,1,1},{0,0,1,1,1,1,1},{0,0,1,1,1,1,1}},
{{1,1,1,1,1,1,1},{1,1,1,1,1,1,1},{1,1,1,1,1,1,1},{1,1,1,1,1,1,1},{1,1,1,1,1,1,1},{1,1,1,1,1,1,1},{1,1,1,1,1,1,1}}};