:- 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 'cache'/1.
:- dynamic 'deps'/4.
:- dynamic 'pred'/4.
:- dynamic 'rule'/3.
:- dynamic 'trans'/5.
:- dynamic 'constraint'/4.
:- dynamic 'constr_deps'/3.
:- dynamic 'constr_trans'/3.
:- dynamic 'materialize'/3.

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

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]).

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([99,97,99,104,101], [116,97,98,108,101]).
user_catalog([100,101,112,115], [116,97,98,108,101]).
user_catalog([112,114,101,100], [116,97,98,108,101]).
user_catalog([114,117,108,101], [116,97,98,108,101]).
user_catalog([116,114,97,110,115], [116,97,98,108,101]).
user_catalog([99,111,110,115,116,114,97,105,110,116], [116,97,98,108,101]).
user_catalog([99,111,110,115,116,114,95,100,101,112,115], [116,97,98,108,101]).
user_catalog([99,111,110,115,116,114,95,116,114,97,110,115], [116,97,98,108,101]).
user_catalog([109,97,116,101,114,105,97,108,105,122,101], [116,97,98,108,101]).
user_catalog([107,101,121], [115,101,113,117,101,110,99,101]).
user_catalog([116,116,110,117,109,98,101,114], [115,101,113,117,101,110,99,101]).

user_sequences([107,101,121]).
user_sequences([116,116,110,117,109,98,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([99,97,99,104,101], 1).
num_cols([100,101,112,115], 4).
num_cols([112,114,101,100], 4).
num_cols([114,117,108,101], 3).
num_cols([116,114,97,110,115], 5).
num_cols([99,111,110,115,116,114,97,105,110,116], 4).
num_cols([99,111,110,115,116,114,95,100,101,112,115], 3).
num_cols([99,111,110,115,116,114,95,116,114,97,110,115], 3).
num_cols([109,97,116,101,114,105,97,108,105,122,101], 3).


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]).




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([99,97,99,104,101]).
user_tables([100,101,112,115]).
user_tables([112,114,101,100]).
user_tables([114,117,108,101]).
user_tables([116,114,97,110,115]).
user_tables([99,111,110,115,116,114,97,105,110,116]).
user_tables([99,111,110,115,116,114,95,100,101,112,115]).
user_tables([99,111,110,115,116,114,95,116,114,97,110,115]).
user_tables([109,97,116,101,114,105,97,108,105,122,101]).


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

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([99,97,99,104,101], [99,48], [99,104,97,114], [110,117,108,108], 1).
user_tab_columns([100,101,112,115], [99,48], [99,104,97,114], [110,117,108,108], 1).
user_tab_columns([100,101,112,115], [99,49], [110,117,109], [110,117,108,108], 2).
user_tab_columns([100,101,112,115], [99,50], [99,104,97,114], [110,117,108,108], 3).
user_tab_columns([100,101,112,115], [99,51], [110,117,109], [110,117,108,108], 4).
user_tab_columns([112,114,101,100], [99,48], [99,104,97,114], [110,117,108,108], 1).
user_tab_columns([112,114,101,100], [99,49], [99,104,97,114], [110,117,108,108], 2).
user_tab_columns([112,114,101,100], [99,50], [99,104,97,114], [110,117,108,108], 3).
user_tab_columns([112,114,101,100], [99,51], [99,104,97,114], [110,117,108,108], 4).
user_tab_columns([114,117,108,101], [99,48], [99,104,97,114], [110,117,108,108], 1).
user_tab_columns([114,117,108,101], [99,49], [110,117,109], [110,117,108,108], 2).
user_tab_columns([114,117,108,101], [99,50], [99,104,97,114], [110,117,108,108], 3).
user_tab_columns([116,114,97,110,115], [99,48], [99,104,97,114], [110,117,108,108], 1).
user_tab_columns([116,114,97,110,115], [99,49], [110,117,109], [110,117,108,108], 2).
user_tab_columns([116,114,97,110,115], [99,50], [110,117,109], [110,117,108,108], 3).
user_tab_columns([116,114,97,110,115], [99,51], [99,104,97,114], [110,117,108,108], 4).
user_tab_columns([116,114,97,110,115], [99,52], [99,104,97,114], [110,117,108,108], 5).
user_tab_columns([99,111,110,115,116,114,97,105,110,116], [99,48], [110,117,109], [110,117,108,108], 1).
user_tab_columns([99,111,110,115,116,114,97,105,110,116], [99,49], [99,104,97,114], [110,117,108,108], 2).
user_tab_columns([99,111,110,115,116,114,97,105,110,116], [99,50], [99,104,97,114], [110,117,108,108], 3).
user_tab_columns([99,111,110,115,116,114,97,105,110,116], [99,51], [99,104,97,114], [110,117,108,108], 4).
user_tab_columns([99,111,110,115,116,114,95,100,101,112,115], [99,48], [110,117,109], [110,117,108,108], 1).
user_tab_columns([99,111,110,115,116,114,95,100,101,112,115], [99,49], [99,104,97,114], [110,117,108,108], 2).
user_tab_columns([99,111,110,115,116,114,95,100,101,112,115], [99,50], [110,117,109], [110,117,108,108], 3).
user_tab_columns([99,111,110,115,116,114,95,116,114,97,110,115], [99,48], [110,117,109], [110,117,108,108], 1).
user_tab_columns([99,111,110,115,116,114,95,116,114,97,110,115], [99,49], [110,117,109], [110,117,108,108], 2).
user_tab_columns([99,111,110,115,116,114,95,116,114,97,110,115], [99,50], [99,104,97,114], [110,117,108,108], 3).
user_tab_columns([109,97,116,101,114,105,97,108,105,122,101], [99,48], [99,104,97,114], [110,117,108,108], 1).
user_tab_columns([109,97,116,101,114,105,97,108,105,122,101], [99,49], [99,104,97,114], [110,117,108,108], 2).
user_tab_columns([109,97,116,101,114,105,97,108,105,122,101], [99,50], [99,104,97,114], [110,117,108,108], 3).



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

sequence([107,101,121], 0, 1, undef).
sequence([116,116,110,117,109,98,101,114], 0, 31104000000.000000, undef).



tabs(A) :-
	user_tables(A).
