:- dynamic 'dictionary'/2.
:- dynamic 'dict_columns'/3.
:- dynamic 'user_tables'/1.
:- dynamic 'user_catalog'/2.
:- dynamic 'user_views'/2.
:- dynamic 'user_tab_columns'/5.
:- dynamic 'dict'/2.
:- dynamic 'cat'/2.
:- dynamic 'tabs'/1.
:- dynamic 'cols'/5.
:- dynamic 'dual'/1.
:- dynamic 'user_sequences'/1.
:- dynamic 'num_cols'/2.
:- dynamic 'sequence'/4.
:- dynamic 'views'/3.
:- dynamic 'refint'/5.
:- dynamic 'keys'/2.
:- dynamic 'table_column_constraints'/2.
:- dynamic 'assertions'/3.
:- dynamic 'table_types'/2.
:- dynamic 'table_view_schemes'/6.

dual([88]).

user_tables([100,117,97,108]).
user_tables([100,105,99,116,105,111,110,97,114,121]).
user_tables([100,105,99,116,95,99,111,108,117,109,110,115]).
user_tables([117,115,101,114,95,99,97,116,97,108,111,103]).
user_tables([117,115,101,114,95,116,97,98,108,101,115]).
user_tables([117,115,101,114,95,118,105,101,119,115]).
user_tables([117,115,101,114,95,116,97,98,95,99,111,108,117,109,110,115]).
user_tables([118,105,101,119,115]).
user_tables([114,101,102,105,110,116]).
user_tables([107,101,121,115]).
user_tables([116,97,98,108,101,95,99,111,108,117,109,110,95,99,111,110,115,116,114,97,105,110,116,115]).
user_tables([97,115,115,101,114,116,105,111,110,115]).
user_tables([116,97,98,108,101,95,116,121,112,101,115]).
user_tables([116,97,98,108,101,95,118,105,101,119,95,115,99,104,101,109,101,115]).

table_types([100,117,97,108], [115,110,97,112,115,104,111,116]).
table_types([100,105,99,116,105,111,110,97,114,121], [115,110,97,112,115,104,111,116]).
table_types([100,105,99,116], [115,110,97,112,115,104,111,116]).
table_types([100,105,99,116,95,99,111,108,117,109,110,115], [115,110,97,112,115,104,111,116]).
table_types([117,115,101,114,95,99,97,116,97,108,111,103], [115,110,97,112,115,104,111,116]).
table_types([99,97,116], [115,110,97,112,115,104,111,116]).
table_types([117,115,101,114,95,116,97,98,108,101,115], [115,110,97,112,115,104,111,116]).
table_types([116,97,98,115], [115,110,97,112,115,104,111,116]).
table_types([117,115,101,114,95,118,105,101,119,115], [115,110,97,112,115,104,111,116]).
table_types([117,115,101,114,95,116,97,98,95,99,111,108,117,109,110,115], [115,110,97,112,115,104,111,116]).
table_types([99,111,108,115], [115,110,97,112,115,104,111,116]).
table_types([117,115,101,114,95,115,101,113,117,101,110,99,101,115], [115,110,97,112,115,104,111,116]).
table_types([118,105,101,119,115], [115,110,97,112,115,104,111,116]).
table_types([114,101,102,105,110,116], [115,110,97,112,115,104,111,116]).
table_types([107,101,121,115], [115,110,97,112,115,104,111,116]).
table_types([116,97,98,108,101,95,99,111,108,117,109,110,95,99,111,110,115,116,114,97,105,110,116,115], [115,110,97,112,115,104,111,116]).
table_types([97,115,115,101,114,116,105,111,110,115], [115,110,97,112,115,104,111,116]).
table_types([116,97,98,108,101,95,116,121,112,101,115], [115,110,97,112,115,104,111,116]).
table_types([116,97,98,108,101,95,118,105,101,119,95,115,99,104,101,109,101,115], [115,110,97,112,115,104,111,116]).

dictionary([99,97,116], [83,121,110,111,110,121,109,32,102,111,114,32,85,83,69,82,95,67,65,84,65,76,79,71]).
dictionary([99,111,108,115], [83,121,110,111,110,121,109,32,102,111,114,32,85,83,69,82,95,84,65,66,95,67,79,76,85,77,78,83]).
dictionary([100,105,99,116], [83,121,110,111,110,121,109,32,102,111,114,32,68,73,67,84,73,79,78,65,82,89]).
dictionary([100,105,99,116,105,111,110,97,114,121], [68,101,115,99,114,105,112,116,105,111,110,32,111,102,32,100,97,116,97,32,100,105,99,116,105,111,110,97,114,121,32,116,97,98,108,101,115,32,97,110,100,32,118,105,101,119,115]).
dictionary([100,105,99,116,95,99,111,108,117,109,110,115], [67,111,108,117,109,110,32,100,101,115,99,114,105,112,116,105,111,110,32,111,102,32,68,68,45,116,97,98,108,101,115,32,97,110,100,32,68,68,45,118,105,101,119,115]).
dictionary([116,97,98,115], [83,121,110,111,110,121,109,32,102,111,114,32,85,83,69,82,95,84,65,66,76,69,83]).
dictionary([117,115,101,114,95,99,97,116,97,108,111,103], [85,115,101,114,32,97,99,99,101,115,115,105,98,108,101,32,84,97,98,108,101,115,44,32,86,105,101,119,115,44,32,83,121,110,111,110,121,109,115,44,32,83,101,113,117,101,110,99,101,115]).
dictionary([117,115,101,114,95,116,97,98,108,101,115], [68,101,115,99,114,105,112,116,105,111,110,32,111,102,32,116,104,101,32,117,115,101,114,96,115,32,111,119,110,32,116,97,98,108,101,115]).
dictionary([117,115,101,114,95,116,97,98,95,99,111,108,117,109,110,115], [67,111,108,117,109,110,115,32,111,102,32,117,115,101,114,96,115,32,116,97,98,108,101,115,44,32,118,105,101,119,115,32,97,110,100,32,99,108,117,115,116,101,114,115]).
dictionary([117,115,101,114,95,118,105,101,119,115], [84,101,120,116,32,111,102,32,118,105,101,119,115,32,111,119,110,101,100,32,98,121,32,116,104,101,32,117,115,101,114]).

num_cols([100,105,99,116,105,111,110,97,114,121], 2).
num_cols([100,105,99,116,95,99,111,108,117,109,110,115], 3).
num_cols([117,115,101,114,95,116,97,98,108,101,115], 1).
num_cols([117,115,101,114,95,99,97,116,97,108,111,103], 2).
num_cols([117,115,101,114,95,118,105,101,119,115], 2).
num_cols([117,115,101,114,95,116,97,98,95,99,111,108,117,109,110,115], 5).
num_cols([100,105,99,116], 2).
num_cols([99,97,116], 2).
num_cols([116,97,98,115], 1).
num_cols([99,111,108,115], 5).
num_cols([100,117,97,108], 1).
num_cols([117,115,101,114,95,115,101,113,117,101,110,99,101,115], 1).
num_cols([110,117,109,95,99,111,108,115], 2).
num_cols([115,101,113,117,101,110,99,101], 4).
num_cols([118,105,101,119,115], 3).
num_cols([114,101,102,105,110,116], 5).
num_cols([107,101,121,115], 2).
num_cols([116,97,98,108,101,95,99,111,108,117,109,110,95,99,111,110,115,116,114,97,105,110,116,115], 2).
num_cols([97,115,115,101,114,116,105,111,110,115], 3).
num_cols([116,97,98,108,101,95,116,121,112,101,115], 2).
num_cols([116,97,98,108,101,95,118,105,101,119,95,115,99,104,101,109,101,115], 6).



user_catalog([100,105,99,116,105,111,110,97,114,121], [116,97,98,108,101]).
user_catalog([100,105,99,116,95,99,111,108,117,109,110,115], [116,97,98,108,101]).
user_catalog([117,115,101,114,95,99,97,116,97,108,111,103], [116,97,98,108,101]).
user_catalog([117,115,101,114,95,116,97,98,108,101,115], [116,97,98,108,101]).
user_catalog([117,115,101,114,95,118,105,101,119,115], [116,97,98,108,101]).
user_catalog([117,115,101,114,95,116,97,98,95,99,111,108,117,109,110,115], [116,97,98,108,101]).
user_catalog([100,117,97,108], [116,97,98,108,101]).
user_catalog([117,115,101,114,95,115,101,113,117,101,110,99,101,115], [116,97,98,108,101]).
user_catalog([100,105,99,116], [118,105,101,119]).
user_catalog([99,97,116], [118,105,101,119]).
user_catalog([116,97,98,115], [118,105,101,119]).
user_catalog([99,111,108,115], [118,105,101,119]).
user_catalog([118,105,101,119,115], [116,97,98,108,101]).
user_catalog([114,101,102,105,110,116], [116,97,98,108,101]).
user_catalog([107,101,121,115], [116,97,98,108,101]).
user_catalog([116,97,98,108,101,95,99,111,108,117,109,110,95,99,111,110,115,116,114,97,105,110,116,115], [116,97,98,108,101]).
user_catalog([97,115,115,101,114,116,105,111,110,115], [116,97,98,108,101]).
user_catalog([116,97,98,108,101,95,116,121,112,101,115], [116,97,98,108,101]).
user_catalog([116,97,98,108,101,95,118,105,101,119,95,115,99,104,101,109,101,115], [116,97,98,108,101]).

tabs(A) :-
	user_tables(A).


dict(A, B) :-
	dictionary(A, B).




dict_columns([99,97,116], [116,97,98,108,101,95,110,97,109,101], [78,97,109,101,32,111,102,32,116,104,101,32,111,98,106,101,99,116]).
dict_columns([99,97,116], [116,97,98,108,101,95,116,121,112,101], [84,121,112,101,32,111,102,32,116,104,101,32,111,98,106,101,99,116]).
dict_columns([99,111,108,115], [99,111,108,117,109,110,95,105,100], [83,101,113,117,101,110,99,101,32,110,117,109,98,101,114,32,111,102,32,116,104,101,32,99,111,108,117,109,110,32,97,115,32,99,114,101,97,116,101,100]).
dict_columns([99,111,108,115], [99,111,108,117,109,110,95,110,97,109,101], [67,111,108,117,109,110,32,110,97,109,101]).
dict_columns([99,111,108,115], [100,97,116,97,95,116,121,112,101], [68,97,116,97,116,121,112,101,32,111,102,32,116,104,101,32,99,111,108,117,109,110]).
dict_columns([99,111,108,115], [110,117,108,108,97,98,108,101], [68,111,101,115,32,99,111,108,117,109,110,32,97,108,108,111,119,32,78,85,76,76,32,118,97,108,117,101,115,63]).
dict_columns([99,111,108,115], [116,97,98,108,101,95,110,97,109,101], [84,97,98,108,101,44,32,118,105,101,119,32,111,114,32,99,108,117,115,116,101,114,32,110,97,109,101]).
dict_columns([100,105,99,116], [99,111,109,109,101,110,116,115], [84,101,120,116,32,99,111,109,109,101,110,116,32,111,110,32,116,104,101,32,111,98,106,101,99,116]).
dict_columns([100,105,99,116], [116,97,98,108,101,95,110,97,109,101], [78,97,109,101,32,111,102,32,116,104,101,32,111,98,106,101,99,116]).
dict_columns([100,105,99,116,105,111,110,97,114,121], [99,111,109,109,101,110,116,115], [84,101,120,116,32,99,111,109,109,101,110,116,32,111,110,32,116,104,101,32,111,98,106,101,99,116]).
dict_columns([100,105,99,116,105,111,110,97,114,121], [116,97,98,108,101,95,110,97,109,101], [78,97,109,101,32,111,102,32,116,104,101,32,111,98,106,101,99,116]).
dict_columns([100,105,99,116,95,99,111,108,117,109,110,115], [99,111,108,117,109,110,95,110,97,109,101], [78,97,109,101,32,111,102,32,116,104,101,32,99,111,108,117,109,110]).
dict_columns([100,105,99,116,95,99,111,108,117,109,110,115], [99,111,109,109,101,110,116,115], [84,101,120,116,32,99,111,109,109,101,110,116,32,111,110,32,116,104,101,32,111,98,106,101,99,116]).
dict_columns([100,105,99,116,95,99,111,108,117,109,110,115], [116,97,98,108,101,95,110,97,109,101], [78,97,109,101,32,111,102,32,111,98,106,101,99,116,32,99,111,110,116,97,105,110,105,110,103,32,116,104,101,32,99,111,108,117,109,110]).
dict_columns([116,97,98,115], [116,97,98,108,101,95,110,97,109,101], [78,97,109,101,32,111,102,32,116,104,101,32,116,97,98,108,101]).
dict_columns([117,115,101,114,95,99,97,116,97,108,111,103], [116,97,98,108,101,95,110,97,109,101], [78,97,109,101,32,111,102,32,116,104,101,32,111,98,106,101,99,116]).
dict_columns([117,115,101,114,95,99,97,116,97,108,111,103], [116,97,98,108,101,45,116,121,112,101], [84,121,112,101,32,111,102,32,116,104,101,32,111,98,106,101,99,116]).
dict_columns([117,115,101,114,95,116,97,98,108,101,115], [116,97,98,108,101,95,110,97,109,101], [78,97,109,101,32,111,102,32,116,104,101,32,116,97,98,108,101]).
dict_columns([117,115,101,114,95,116,97,98,95,99,111,108,117,109,110,115], [99,111,108,117,109,110,95,105,100], [83,101,113,117,101,110,99,101,32,110,117,109,98,101,114,32,111,102,32,116,104,101,32,99,111,108,117,109,110]).
dict_columns([117,115,101,114,95,116,97,98,95,99,111,108,117,109,110,115], [99,111,108,117,109,110,95,110,97,109,101], [67,111,108,117,109,110,32,110,97,109,101]).
dict_columns([117,115,101,114,95,116,97,98,95,99,111,108,117,109,110,115], [100,97,116,97,95,116,121,112,101], [68,97,116,97,116,121,112,101,32,111,102,32,116,104,101,32,99,111,108,117,109,110]).
dict_columns([117,115,101,114,95,116,97,98,95,99,111,108,117,109,110,115], [110,117,108,108,97,98,108,101], [68,111,101,115,32,99,111,108,117,109,110,32,97,108,108,111,119,32,78,85,76,76,32,118,97,108,117,101,115,63]).
dict_columns([117,115,101,114,95,116,97,98,95,99,111,108,117,109,110,115], [116,97,98,108,101,95,110,97,109,101], [84,97,98,108,101,44,32,118,105,101,119,32,111,114,32,99,108,117,115,116,101,114,32,110,97,109,101]).
dict_columns([117,115,101,114,95,118,105,101,119,115], [116,101,120,116], [86,105,101,119,32,116,101,120,116]).
dict_columns([117,115,101,114,95,118,105,101,119,115], [118,105,101,119,95,110,97,109,101], [78,97,109,101,32,111,102,32,116,104,101,32,118,105,101,119]).
dict_columns([117,115,101,114,95,115,101,113,117,101,110,99,101,115], [115,101,113,117,101,110,99,101,95,110,97,109,101], [78,97,109,101,32,111,102,32,115,101,113,117,101,110,99,101]).


user_tab_columns([100,117,97,108], [100,117,109,109,121], [99,104,97,114], [110,117,108,108], 1).
user_tab_columns([100,105,99,116,105,111,110,97,114,121], [116,97,98,108,101,95,110,97,109,101], [99,104,97,114], [110,117,108,108], 1).
user_tab_columns([100,105,99,116,105,111,110,97,114,121], [99,111,109,109,101,110,116,115], [99,104,97,114], [110,117,108,108], 2).
user_tab_columns([100,105,99,116], [116,97,98,108,101,95,110,97,109,101], [99,104,97,114], [110,117,108,108], 1).
user_tab_columns([100,105,99,116], [99,111,109,109,101,110,116,115], [99,104,97,114], [110,117,108,108], 2).
user_tab_columns([100,105,99,116,95,99,111,108,117,109,110,115], [116,97,98,108,101,95,110,97,109,101], [99,104,97,114], [110,117,108,108], 1).
user_tab_columns([100,105,99,116,95,99,111,108,117,109,110,115], [99,111,108,117,109,110,95,110,97,109,101], [99,104,97,114], [110,117,108,108], 2).
user_tab_columns([100,105,99,116,95,99,111,108,117,109,110,115], [99,111,109,109,101,110,116,115], [99,104,97,114], [110,117,108,108], 3).
user_tab_columns([117,115,101,114,95,99,97,116,97,108,111,103], [116,97,98,108,101,95,110,97,109,101], [99,104,97,114], [110,111,116,95,110,117,108,108], 1).
user_tab_columns([117,115,101,114,95,99,97,116,97,108,111,103], [116,97,98,108,101,95,116,121,112,101], [99,104,97,114], [110,117,108,108], 2).
user_tab_columns([99,97,116], [116,97,98,108,101,95,110,97,109,101], [99,104,97,114], [110,111,116,95,110,117,108,108], 1).
user_tab_columns([99,97,116], [116,97,98,108,101,95,116,121,112,101], [99,104,97,114], [110,117,108,108], 2).
user_tab_columns([117,115,101,114,95,116,97,98,108,101,115], [116,97,98,108,101,95,110,97,109,101], [99,104,97,114], [110,111,116,95,110,117,108,108], 1).
user_tab_columns([116,97,98,115], [116,97,98,108,101,95,110,97,109,101], [99,104,97,114], [110,111,116,95,110,117,108,108], 1).
user_tab_columns([117,115,101,114,95,118,105,101,119,115], [118,105,101,119,95,110,97,109,101], [99,104,97,114], [110,111,116,95,110,117,108,108], 1).
user_tab_columns([117,115,101,114,95,118,105,101,119,115], [116,101,120,116], [99,104,97,114], [110,117,108,108], 2).
user_tab_columns([117,115,101,114,95,116,97,98,95,99,111,108,117,109,110,115], [116,97,98,108,101,95,110,97,109,101], [99,104,97,114], [110,111,116,95,110,117,108,108], 1).
user_tab_columns([117,115,101,114,95,116,97,98,95,99,111,108,117,109,110,115], [99,111,108,117,109,110,95,110,97,109,101], [99,104,97,114], [110,111,116,95,110,117,108,108], 2).
user_tab_columns([117,115,101,114,95,116,97,98,95,99,111,108,117,109,110,115], [100,97,116,97,95,116,121,112,101], [99,104,97,114], [110,117,108,108], 3).
user_tab_columns([117,115,101,114,95,116,97,98,95,99,111,108,117,109,110,115], [110,117,108,108,97,98,108,101], [99,104,97,114], [110,117,108,108], 4).
user_tab_columns([117,115,101,114,95,116,97,98,95,99,111,108,117,109,110,115], [99,111,108,117,109,110,95,105,100], [110,117,109], [110,111,116,95,110,117,108,108], 5).
user_tab_columns([99,111,108,115], [116,97,98,108,101,95,110,97,109,101], [99,104,97,114], [110,111,116,95,110,117,108,108], 1).
user_tab_columns([99,111,108,115], [99,111,108,117,109,110,95,110,97,109,101], [99,104,97,114], [110,111,116,95,110,117,108,108], 2).
user_tab_columns([99,111,108,115], [100,97,116,97,95,116,121,112,101], [99,104,97,114], [110,117,108,108], 3).
user_tab_columns([99,111,108,115], [110,117,108,108,97,98,108,101], [99,104,97,114], [110,117,108,108], 4).
user_tab_columns([99,111,108,115], [99,111,108,117,109,110,95,105,100], [110,117,109], [110,111,116,95,110,117,108,108], 5).
user_tab_columns([117,115,101,114,95,115,101,113,117,101,110,99,101,115], [115,101,113,117,101,110,99,101,95,110,97,109,101], [99,104,97,114], [110,111,116,95,110,117,108,108], 1).
user_tab_columns([118,105,101,119,115], [110,97,109,101], [99,104,97,114], [110,111,116,95,110,117,108,108], 1).
user_tab_columns([118,105,101,119,115], [99,111,108,115], [99,104,97,114], [110,111,116,95,110,117,108,108], 2).
user_tab_columns([118,105,101,119,115], [99,97,108,99,115], [99,104,97,114], [110,111,116,95,110,117,108,108], 3).
user_tab_columns([114,101,102,105,110,116], [111,114,105,103,105,110], [99,104,97,114], [110,111,116,95,110,117,108,108], 1).
user_tab_columns([114,101,102,105,110,116], [99,111,108], [99,104,97,114], [110,111,116,95,110,117,108,108], 2).
user_tab_columns([114,101,102,105,110,116], [114,101,102,116,97,98,108,101], [99,104,97,114], [110,111,116,95,110,117,108,108], 3).
user_tab_columns([114,101,102,105,110,116], [114,101,102,99,111,108], [99,104,97,114], [110,111,116,95,110,117,108,108], 4).
user_tab_columns([114,101,102,105,110,116], [116,105,109,101,116,121,112,101], [99,104,97,114], [110,111,116,95,110,117,108,108], 5).
user_tab_columns([107,101,121,115], [116,97,98,108,101,110,97,109,101], [99,104,97,114], [110,111,116,95,110,117,108,108], 1).
user_tab_columns([107,101,121,115], [97,116,116,114,105,98,117,116,101], [99,104,97,114], [110,111,116,95,110,117,108,108], 2).
user_tab_columns([116,97,98,108,101,95,99,111,108,117,109,110,95,99,111,110,115,116,114,97,105,110,116,115], [116,97,98,108,101,95,110,97,109,101], [99,104,97,114], [110,111,116,95,110,117,108,108], 1).
user_tab_columns([116,97,98,108,101,95,99,111,108,117,109,110,95,99,111,110,115,116,114,97,105,110,116,115], [113,117,101,114,121], [99,104,97,114], [110,111,116,95,110,117,108,108], 2).
user_tab_columns([97,115,115,101,114,116,105,111,110,115], [110,97,109,101], [99,104,97,114], [110,111,116,95,110,117,108,108], 1).
user_tab_columns([97,115,115,101,114,116,105,111,110,115], [116,121,112,101], [99,104,97,114], [110,111,116,95,110,117,108,108], 2).
user_tab_columns([97,115,115,101,114,116,105,111,110,115], [113,117,101,114,121], [99,104,97,114], [110,111,116,95,110,117,108,108], 3).
user_tab_columns([116,97,98,108,101,95,116,121,112,101,115], [116,97,98,108,101,95,110,97,109,101], [99,104,97,114], [110,111,116,95,110,117,108,108], 1).
user_tab_columns([116,97,98,108,101,95,116,121,112,101,115], [116,97,98,108,101,95,116,121,112,101], [99,104,97,114], [110,117,108,108], 2).
user_tab_columns([116,97,98,108,101,95,118,105,101,119,95,115,99,104,101,109,101,115], [116,97,98,108,101,95,110,97,109,101], [99,104,97,114], [110,111,116,95,110,117,108,108], 1).
user_tab_columns([116,97,98,108,101,95,118,105,101,119,95,115,99,104,101,109,101,115], [99,111,108,117,109,110,95,110,97,109,101], [99,104,97,114], [110,111,116,95,110,117,108,108], 2).
user_tab_columns([116,97,98,108,101,95,118,105,101,119,95,115,99,104,101,109,101,115], [100,97,116,97,95,116,121,112,101], [99,104,97,114], [110,117,108,108], 3).
user_tab_columns([116,97,98,108,101,95,118,105,101,119,95,115,99,104,101,109,101,115], [110,117,108,108,97,98,108,101], [99,104,97,114], [110,117,108,108], 4).
user_tab_columns([116,97,98,108,101,95,118,105,101,119,95,115,99,104,101,109,101,115], [99,111,108,117,109,110,95,108,101,110,103,116,104], [110,117,109], [110,117,108,108], 5).
user_tab_columns([116,97,98,108,101,95,118,105,101,119,95,115,99,104,101,109,101,115], [99,111,108,117,109,110,95,105,100], [110,117,109], [110,111,116,95,110,117,108,108], 6).

cols(A, B, C, D, E) :-
	user_tab_columns(A, B, C, D, E).

table_view_schemes([100,117,97,108], [100,117,109,109,121], [99,104,97,114], [110,117,108,108], 30, 1).
table_view_schemes([100,105,99,116,105,111,110,97,114,121], [116,97,98,108,101,95,110,97,109,101], [99,104,97,114], [110,117,108,108], 30, 1).
table_view_schemes([100,105,99,116,105,111,110,97,114,121], [99,111,109,109,101,110,116,115], [99,104,97,114], [110,117,108,108], 30, 2).
table_view_schemes([100,105,99,116], [116,97,98,108,101,95,110,97,109,101], [99,104,97,114], [110,117,108,108], 30, 1).
table_view_schemes([100,105,99,116], [99,111,109,109,101,110,116,115], [99,104,97,114], [110,117,108,108], 30, 2).
table_view_schemes([100,105,99,116,95,99,111,108,117,109,110,115], [116,97,98,108,101,95,110,97,109,101], [99,104,97,114], [110,117,108,108], 30, 1).
table_view_schemes([100,105,99,116,95,99,111,108,117,109,110,115], [99,111,108,117,109,110,95,110,97,109,101], [99,104,97,114], [110,117,108,108], 30, 2).
table_view_schemes([100,105,99,116,95,99,111,108,117,109,110,115], [99,111,109,109,101,110,116,115], [99,104,97,114], [110,117,108,108], 30, 3).
table_view_schemes([117,115,101,114,95,99,97,116,97,108,111,103], [116,97,98,108,101,95,110,97,109,101], [99,104,97,114], [110,111,116,95,110,117,108,108], 30, 1).
table_view_schemes([117,115,101,114,95,99,97,116,97,108,111,103], [116,97,98,108,101,95,116,121,112,101], [99,104,97,114], [110,117,108,108], 30, 2).
table_view_schemes([99,97,116], [116,97,98,108,101,95,110,97,109,101], [99,104,97,114], [110,111,116,95,110,117,108,108], 30, 1).
table_view_schemes([99,97,116], [116,97,98,108,101,95,116,121,112,101], [99,104,97,114], [110,117,108,108], 30, 2).
table_view_schemes([117,115,101,114,95,116,97,98,108,101,115], [116,97,98,108,101,95,110,97,109,101], [99,104,97,114], [110,111,116,95,110,117,108,108], 30, 1).
table_view_schemes([116,97,98,115], [116,97,98,108,101,95,110,97,109,101], [99,104,97,114], [110,111,116,95,110,117,108,108], 30, 1).
table_view_schemes([117,115,101,114,95,118,105,101,119,115], [118,105,101,119,95,110,97,109,101], [99,104,97,114], [110,111,116,95,110,117,108,108], 30, 1).
table_view_schemes([117,115,101,114,95,118,105,101,119,115], [116,101,120,116], [99,104,97,114], [110,117,108,108], 30, 2).
table_view_schemes([117,115,101,114,95,116,97,98,95,99,111,108,117,109,110,115], [116,97,98,108,101,95,110,97,109,101], [99,104,97,114], [110,111,116,95,110,117,108,108], 30, 1).
table_view_schemes([117,115,101,114,95,116,97,98,95,99,111,108,117,109,110,115], [99,111,108,117,109,110,95,110,97,109,101], [99,104,97,114], [110,111,116,95,110,117,108,108], 30, 2).
table_view_schemes([117,115,101,114,95,116,97,98,95,99,111,108,117,109,110,115], [100,97,116,97,95,116,121,112,101], [99,104,97,114], [110,117,108,108], 30, 3).
table_view_schemes([117,115,101,114,95,116,97,98,95,99,111,108,117,109,110,115], [110,117,108,108,97,98,108,101], [99,104,97,114], [110,117,108,108], 30, 4).
table_view_schemes([117,115,101,114,95,116,97,98,95,99,111,108,117,109,110,115], [99,111,108,117,109,110,95,105,100], [110,117,109], [110,117,108,108], 30, 5).
table_view_schemes([99,111,108,115], [116,97,98,108,101,95,110,97,109,101], [99,104,97,114], [110,111,116,95,110,117,108,108], 30, 1).
table_view_schemes([99,111,108,115], [99,111,108,117,109,110,95,110,97,109,101], [99,104,97,114], [110,111,116,95,110,117,108,108], 30, 2).
table_view_schemes([99,111,108,115], [100,97,116,97,95,116,121,112,101], [99,104,97,114], [110,117,108,108], 30, 3).
table_view_schemes([99,111,108,115], [110,117,108,108,97,98,108,101], [99,104,97,114], [110,117,108,108], 30, 4).
table_view_schemes([99,111,108,115], [99,111,108,117,109,110,95,105,100], [110,117,109], [110,111,116,95,110,117,108,108], 30, 5).
table_view_schemes([117,115,101,114,95,115,101,113,117,101,110,99,101,115], [115,101,113,117,101,110,99,101,95,110,97,109,101], [99,104,97,114], [110,111,116,95,110,117,108,108], 30, 1).
table_view_schemes([118,105,101,119,115], [110,97,109,101], [99,104,97,114], [110,111,116,95,110,117,108,108], 32, 1).
table_view_schemes([118,105,101,119,115], [99,111,108,115], [99,104,97,114], [110,111,116,95,110,117,108,108], 240, 2).
table_view_schemes([118,105,101,119,115], [99,97,108,99,115], [108,111,110,103], [110,111,116,95,110,117,108,108], -1, 3).
table_view_schemes([114,101,102,105,110,116], [111,114,105,103,105,110], [99,104,97,114], [110,111,116,95,110,117,108,108], 32, 1).
table_view_schemes([114,101,102,105,110,116], [99,111,108], [99,104,97,114], [110,111,116,95,110,117,108,108], 32, 2).
table_view_schemes([114,101,102,105,110,116], [114,101,102,116,97,98,108,101], [99,104,97,114], [110,111,116,95,110,117,108,108], 32, 3).
table_view_schemes([114,101,102,105,110,116], [114,101,102,99,111,108], [99,104,97,114], [110,111,116,95,110,117,108,108], 32, 4).
table_view_schemes([114,101,102,105,110,116], [116,105,109,101,116,121,112,101], [99,104,97,114], [110,111,116,95,110,117,108,108], 32, 5).
table_view_schemes([107,101,121,115], [116,97,98,108,101,110,97,109,101], [99,104,97,114], [110,111,116,95,110,117,108,108], 32, 1).
table_view_schemes([107,101,121,115], [97,116,116,114,105,98,117,116,101], [99,104,97,114], [110,111,116,95,110,117,108,108], 32, 2).
table_view_schemes([116,97,98,108,101,95,99,111,108,117,109,110,95,99,111,110,115,116,114,97,105,110,116,115], [116,97,98,108,101,95,110,97,109,101], [99,104,97,114], [110,111,116,95,110,117,108,108], 32, 1).
table_view_schemes([116,97,98,108,101,95,99,111,108,117,109,110,95,99,111,110,115,116,114,97,105,110,116,115], [113,117,101,114,121], [108,111,110,103], [110,111,116,95,110,117,108,108], -1, 2).
table_view_schemes([97,115,115,101,114,116,105,111,110,115], [110,97,109,101], [99,104,97,114], [110,111,116,95,110,117,108,108], 32, 1).
table_view_schemes([97,115,115,101,114,116,105,111,110,115], [116,121,112,101], [99,104,97,114], [110,111,116,95,110,117,108,108], 10, 2).
table_view_schemes([97,115,115,101,114,116,105,111,110,115], [113,117,101,114,121], [108,111,110,103], [110,111,116,95,110,117,108,108], -1, 3).
table_view_schemes([116,97,98,108,101,95,116,121,112,101,115], [116,97,98,108,101,95,110,97,109,101], [99,104,97,114], [110,111,116,95,110,117,108,108], 30, 1).
table_view_schemes([116,97,98,108,101,95,116,121,112,101,115], [116,97,98,108,101,95,116,121,112,101], [99,104,97,114], [110,111,116,95,110,117,108,108], 16, 2).
table_view_schemes([116,97,98,108,101,95,118,105,101,119,95,115,99,104,101,109,101,115], [116,97,98,108,101,95,110,97,109,101], [99,104,97,114], [110,111,116,95,110,117,108,108], 30, 1).
table_view_schemes([116,97,98,108,101,95,118,105,101,119,95,115,99,104,101,109,101,115], [99,111,108,117,109,110,95,110,97,109,101], [99,104,97,114], [110,111,116,95,110,117,108,108], 30, 2).
table_view_schemes([116,97,98,108,101,95,118,105,101,119,95,115,99,104,101,109,101,115], [100,97,116,97,95,116,121,112,101], [99,104,97,114], [110,117,108,108], 9, 3).
table_view_schemes([116,97,98,108,101,95,118,105,101,119,95,115,99,104,101,109,101,115], [110,117,108,108,97,98,108,101], [99,104,97,114], [110,117,108,108], 12, 4).
table_view_schemes([116,97,98,108,101,95,118,105,101,119,95,115,99,104,101,109,101,115], [99,111,108,117,109,110,95,108,101,110,103,116,104], [110,117,109], [110,117,108,108], 32, 5).
table_view_schemes([116,97,98,108,101,95,118,105,101,119,95,115,99,104,101,109,101,115], [99,111,108,117,109,110,95,105,100], [110,117,109], [110,111,116,95,110,117,108,108], 32, 6).


cat(A, B) :-
	user_catalog(A, B).
