:- 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.
:- dynamic 'manages'/4.
:- dynamic 'employees'/5.

manages(63641548800, 63802252800, 1, 2).
manages(63802252800, 63962956800, 1, 3).
manages(63705830400, 1000000000000, 4, 2).

employees(63641548800, 63962956800, [70,114,101,100], 1, 10000).
employees(63320140800, 1000000000000, [82,97,99,104,101,108], 2, 11000).
employees(63480844800, 1000000000000, [84,111,109], 3, 8000).
employees(63705830400, 1000000000000, [74,111,104,110], 4, 7000).

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).
table_view_schemes([109,97,110,97,103,101,115], [118,116,115,95,35,36], [105,110,116,101,114,118,97,108], [110,111,116,110,117,108,108], 45, 1).
table_view_schemes([109,97,110,97,103,101,115], [118,116,101,95,35,36], [105,110,116,101,114,118,97,108], [110,111,116,110,117,108,108], 45, 1).
table_view_schemes([109,97,110,97,103,101,115], [101,109,112,110,114], [110,117,109,98,101,114], [110,117,108,108], 10, 2).
table_view_schemes([109,97,110,97,103,101,115], [109,103,114,110,114], [110,117,109,98,101,114], [110,117,108,108], 10, 3).
table_view_schemes([101,109,112,108,111,121,101,101,115], [118,116,115,95,35,36], [105,110,116,101,114,118,97,108], [110,111,116,110,117,108,108], 45, 1).
table_view_schemes([101,109,112,108,111,121,101,101,115], [118,116,101,95,35,36], [105,110,116,101,114,118,97,108], [110,111,116,110,117,108,108], 45, 1).
table_view_schemes([101,109,112,108,111,121,101,101,115], [110,97,109,101], [99,104,97,114], [110,117,108,108], 10, 2).
table_view_schemes([101,109,112,108,111,121,101,101,115], [101,109,112,110,114], [110,117,109,98,101,114], [110,117,108,108], 10, 3).
table_view_schemes([101,109,112,108,111,121,101,101,115], [115,97,108,97,114,121], [110,117,109,98,101,114], [110,117,108,108], 10, 4).

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]).
table_types([109,97,110,97,103,101,115], [118,97,108,105,100]).
table_types([101,109,112,108,111,121,101,101,115], [118,97,108,105,100]).

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

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

tabs(A) :-
        user_tables(A).

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

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).
num_cols([109,97,110,97,103,101,115], 4).
num_cols([101,109,112,108,111,121,101,101,115], 5).

cat(A, B) :-
        user_catalog(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([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).
user_tab_columns([109,97,110,97,103,101,115], [118,116,115,95,35,36], [110,117,109], [110,111,116,95,110,117,108,108], 1).
user_tab_columns([109,97,110,97,103,101,115], [118,116,101,95,35,36], [110,117,109], [110,111,116,95,110,117,108,108], 2).
user_tab_columns([109,97,110,97,103,101,115], [101,109,112,110,114], [110,117,109], [110,117,108,108], 3).
user_tab_columns([109,97,110,97,103,101,115], [109,103,114,110,114], [110,117,109], [110,117,108,108], 4).
user_tab_columns([101,109,112,108,111,121,101,101,115], [118,116,115,95,35,36], [110,117,109], [110,111,116,95,110,117,108,108], 1).
user_tab_columns([101,109,112,108,111,121,101,101,115], [118,116,101,95,35,36], [110,117,109], [110,111,116,95,110,117,108,108], 2).
user_tab_columns([101,109,112,108,111,121,101,101,115], [110,97,109,101], [99,104,97,114], [110,117,108,108], 3).
user_tab_columns([101,109,112,108,111,121,101,101,115], [101,109,112,110,114], [110,117,109], [110,117,108,108], 4).
user_tab_columns([101,109,112,108,111,121,101,101,115], [115,97,108,97,114,121], [110,117,109], [110,117,108,108], 5).

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

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]).
user_tables([109,97,110,97,103,101,115]).
user_tables([101,109,112,108,111,121,101,101,115]).

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]).
user_catalog([109,97,110,97,103,101,115], [116,97,98,108,101]).
user_catalog([101,109,112,108,111,121,101,101,115], [116,97,98,108,101]).

dual([88]).
