// relations_408.h
// Copyright (C) 2023 Mark Bowron

// Equivalence classes of the 408 representative relations in KF(A).

// 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 inequality_classes[34][34] = {
{0,0,0,42,22,2,51,46,61,60,54,61,72,72,72,72,0,0,0,0,0,0,0,0,0,0,26,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,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},
{20,0,0,0,10,0,0,46,46,0,46,46,46,0,0,46,0,46,0,0,0,46,0,0,35,35,0,11,10,10,0,0,11,0},
{41,0,0,26,0,0,0,46,61,0,46,0,0,61,61,61,0,61,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},
{45,0,0,0,0,0,0,46,61,0,0,61,0,0,0,0,0,61,0,0,0,0,0,0,55,47,0,0,24,0,0,0,0,0},
{8,0,0,0,0,0,0,46,46,0,0,0,0,46,0,0,0,46,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},
{53,0,0,42,39,2,56,0,0,0,0,0,0,0,0,0,0,58,0,0,0,41,0,8,0,0,0,0,0,0,0,0,0,0},
{38,0,0,23,39,2,49,0,0,0,48,0,0,0,0,0,0,36,0,0,0,19,0,8,0,0,0,0,0,0,0,0,0,0},
{26,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},
{26,0,0,26,17,0,0,0,26,0,0,26,26,26,26,0,0,26,0,0,0,26,0,0,0,21,0,0,17,17,11,11,0,0},
{25,0,0,23,0,2,0,0,0,0,31,0,0,23,23,31,0,22,0,0,0,0,0,0,0,0,0,0,0,0,10,10,17,0},
{13,0,0,6,0,0,0,0,0,0,5,0,0,6,6,5,0,9,0,0,0,0,0,0,0,0,0,0,0,0,0,0,17,0},
{20,0,0,0,10,0,18,0,0,0,33,19,19,0,0,33,0,27,0,0,0,19,0,8,0,0,0,0,0,10,0,0,11,0},
{1,0,0,0,10,0,0,0,0,0,5,4,4,0,0,5,0,15,0,0,0,4,0,0,0,0,0,0,0,10,0,0,11,0},
{7,0,0,6,17,0,0,0,0,0,0,4,4,6,6,0,0,3,0,0,0,4,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,65,50,50,65,50,65,66,57,74,74,65,74,74,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,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,50,0,0,50,65,0,50,65,65,0,0,65,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,50,50,0,50,0,0,50,50,50,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,50,50,0,0,50,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,50,65,0,0,0,0,65,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,0,0,0,0,0},
{0,0,0,0,0,0,0,0,0,0,73,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,0,0,0,0,0,0,0,0},
{0,0,0,0,0,0,0,0,0,0,0,73,73,73,73,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,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,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,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,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}};

static const int equation_classes[34][34] = {
{0,53,58,62,64,62,64,67,67,72,72,67,72,72,72,72,72,0,0,0,0,0,0,0,71,71,74,74,74,74,71,74,74,74},
{53,0,69,42,39,2,56,46,61,68,54,61,72,72,72,72,72,0,0,73,73,0,0,73,74,70,65,65,50,50,70,59,59,50},
{58,69,0,35,41,55,8,72,68,61,61,68,52,46,46,52,46,0,0,0,0,73,73,0,50,65,70,57,74,74,65,74,74,74},
{62,42,35,0,32,26,18,72,68,61,61,68,52,46,46,52,46,0,0,0,0,73,73,0,70,74,50,59,65,65,74,65,65,65},
{64,39,41,32,0,24,26,68,72,46,52,72,61,61,61,61,61,0,0,0,0,0,0,73,74,70,65,65,50,50,70,59,59,50},
{62,2,55,26,24,0,32,54,72,52,46,72,61,61,61,61,61,0,0,0,0,0,0,73,74,70,65,65,50,50,70,59,59,50},
{64,56,8,18,26,32,0,72,68,61,61,68,52,46,46,52,46,0,0,0,0,0,0,0,57,74,59,50,65,65,74,65,65,65},
{67,46,72,72,68,54,72,0,26,63,48,41,44,42,44,69,69,0,0,0,0,0,0,0,0,73,0,0,73,73,73,73,73,73},
{67,61,68,68,72,72,68,26,0,69,69,19,28,23,29,48,63,0,0,0,0,0,0,0,0,0,73,73,0,0,0,0,0,0},
{72,68,61,61,46,52,61,63,69,0,21,56,32,55,32,26,26,0,0,0,0,0,0,0,0,0,0,0,73,73,73,73,73,73},
{72,54,61,61,52,46,61,48,69,21,0,56,32,55,32,26,26,0,0,0,0,0,0,0,0,0,0,0,73,73,73,73,73,73},
{67,61,68,68,72,72,68,41,19,56,56,0,2,37,34,40,39,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},
{72,72,52,52,61,61,52,44,28,32,32,2,0,30,14,12,24,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},
{72,72,46,46,61,61,46,42,23,55,55,37,30,0,8,43,35,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},
{72,72,46,46,61,61,46,44,29,32,32,34,14,8,0,16,18,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},
{72,72,52,52,61,61,52,69,48,26,26,40,12,43,16,0,21,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},
{72,72,46,46,61,61,46,69,63,26,26,39,24,35,18,21,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,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,73,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,73,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,73,73,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,73,73,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,73,0,0,73,73,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},
{71,74,50,70,74,74,57,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},
{71,70,65,74,70,70,74,73,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},
{74,65,70,50,65,65,59,0,73,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},
{74,65,57,59,65,65,50,0,73,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},
{74,50,74,65,50,50,65,73,0,73,73,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},
{74,50,74,65,50,50,65,73,0,73,73,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},
{71,70,65,74,70,70,74,73,0,73,73,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},
{74,59,74,65,59,59,65,73,0,73,73,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},
{74,59,74,65,59,59,65,73,0,73,73,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},
{74,50,74,65,50,50,65,73,0,73,73,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}};