query(p57,p0,[p0,p1,p2,p3,p4,p5,p6,p7,p8,p9,p10,p11,p12,p13,p14,p15,p16,p17,p18],[],[p0,p1,p2,p3,p4,p5,p6,p7,p8,p9,p10,p11,p12,p13,p14,p15,p16,p17,p18]).
%-----------------------------------------------------------

:- table p0 / 0.
:- table p1 / 0.
:- table p10 / 0.
:- table p11 / 0.
:- table p12 / 0.
:- table p13 / 0.
:- table p14 / 0.
:- table p15 / 0.
:- table p16 / 0.
:- table p17 / 0.
:- table p18 / 0.
:- table p2 / 0.
:- table p3 / 0.
:- table p4 / 0.
:- table p5 / 0.
:- table p6 / 0.
:- table p7 / 0.
:- table p8 / 0.
:- table p9 / 0.

p0 :- tnot(p0), tnot(p1), tnot(p2), tnot(p3), tnot(p4), tnot(p5), tnot(p6), tnot(p7), tnot(p8), tnot(p9), tnot(p10), tnot(p11), tnot(p12), tnot(p13), tnot(p14), tnot(p15), tnot(p16), tnot(p17), tnot(p18).
p1 :- tnot(p0), tnot(p1), tnot(p2), tnot(p3), tnot(p4), tnot(p5), tnot(p6), tnot(p7), tnot(p8), tnot(p9), tnot(p10), tnot(p11), tnot(p12), tnot(p13), tnot(p14), tnot(p15), tnot(p16), tnot(p17), tnot(p18).
p2 :- tnot(p0), tnot(p1), tnot(p2), tnot(p3), tnot(p4), tnot(p5), tnot(p6), tnot(p7), tnot(p8), tnot(p9), tnot(p10), tnot(p11), tnot(p12), tnot(p13), tnot(p14), tnot(p15), tnot(p16), tnot(p17), tnot(p18).
p3 :- tnot(p0), tnot(p1), tnot(p2), tnot(p3), tnot(p4), tnot(p5), tnot(p6), tnot(p7), tnot(p8), tnot(p9), tnot(p10), tnot(p11), tnot(p12), tnot(p13), tnot(p14), tnot(p15), tnot(p16), tnot(p17), tnot(p18).
p4 :- tnot(p0), tnot(p1), tnot(p2), tnot(p3), tnot(p4), tnot(p5), tnot(p6), tnot(p7), tnot(p8), tnot(p9), tnot(p10), tnot(p11), tnot(p12), tnot(p13), tnot(p14), tnot(p15), tnot(p16), tnot(p17), tnot(p18).
p5 :- tnot(p0), tnot(p1), tnot(p2), tnot(p3), tnot(p4), tnot(p5), tnot(p6), tnot(p7), tnot(p8), tnot(p9), tnot(p10), tnot(p11), tnot(p12), tnot(p13), tnot(p14), tnot(p15), tnot(p16), tnot(p17), tnot(p18).
p6 :- tnot(p0), tnot(p1), tnot(p2), tnot(p3), tnot(p4), tnot(p5), tnot(p6), tnot(p7), tnot(p8), tnot(p9), tnot(p10), tnot(p11), tnot(p12), tnot(p13), tnot(p14), tnot(p15), tnot(p16), tnot(p17), tnot(p18).
p7 :- tnot(p0), tnot(p1), tnot(p2), tnot(p3), tnot(p4), tnot(p5), tnot(p6), tnot(p7), tnot(p8), tnot(p9), tnot(p10), tnot(p11), tnot(p12), tnot(p13), tnot(p14), tnot(p15), tnot(p16), tnot(p17), tnot(p18).
p8 :- tnot(p0), tnot(p1), tnot(p2), tnot(p3), tnot(p4), tnot(p5), tnot(p6), tnot(p7), tnot(p8), tnot(p9), tnot(p10), tnot(p11), tnot(p12), tnot(p13), tnot(p14), tnot(p15), tnot(p16), tnot(p17), tnot(p18).
p9 :- tnot(p0), tnot(p1), tnot(p2), tnot(p3), tnot(p4), tnot(p5), tnot(p6), tnot(p7), tnot(p8), tnot(p9), tnot(p10), tnot(p11), tnot(p12), tnot(p13), tnot(p14), tnot(p15), tnot(p16), tnot(p17), tnot(p18).
p10 :- tnot(p0), tnot(p1), tnot(p2), tnot(p3), tnot(p4), tnot(p5), tnot(p6), tnot(p7), tnot(p8), tnot(p9), tnot(p10), tnot(p11), tnot(p12), tnot(p13), tnot(p14), tnot(p15), tnot(p16), tnot(p17), tnot(p18).
p11 :- tnot(p0), tnot(p1), tnot(p2), tnot(p3), tnot(p4), tnot(p5), tnot(p6), tnot(p7), tnot(p8), tnot(p9), tnot(p10), tnot(p11), tnot(p12), tnot(p13), tnot(p14), tnot(p15), tnot(p16), tnot(p17), tnot(p18).
p12 :- tnot(p0), tnot(p1), tnot(p2), tnot(p3), tnot(p4), tnot(p5), tnot(p6), tnot(p7), tnot(p8), tnot(p9), tnot(p10), tnot(p11), tnot(p12), tnot(p13), tnot(p14), tnot(p15), tnot(p16), tnot(p17), tnot(p18).
p13 :- tnot(p0), tnot(p1), tnot(p2), tnot(p3), tnot(p4), tnot(p5), tnot(p6), tnot(p7), tnot(p8), tnot(p9), tnot(p10), tnot(p11), tnot(p12), tnot(p13), tnot(p14), tnot(p15), tnot(p16), tnot(p17), tnot(p18).
p14 :- tnot(p0), tnot(p1), tnot(p2), tnot(p3), tnot(p4), tnot(p5), tnot(p6), tnot(p7), tnot(p8), tnot(p9), tnot(p10), tnot(p11), tnot(p12), tnot(p13), tnot(p14), tnot(p15), tnot(p16), tnot(p17), tnot(p18).
p15 :- tnot(p0), tnot(p1), tnot(p2), tnot(p3), tnot(p4), tnot(p5), tnot(p6), tnot(p7), tnot(p8), tnot(p9), tnot(p10), tnot(p11), tnot(p12), tnot(p13), tnot(p14), tnot(p15), tnot(p16), tnot(p17), tnot(p18).
p16 :- tnot(p0), tnot(p1), tnot(p2), tnot(p3), tnot(p4), tnot(p5), tnot(p6), tnot(p7), tnot(p8), tnot(p9), tnot(p10), tnot(p11), tnot(p12), tnot(p13), tnot(p14), tnot(p15), tnot(p16), tnot(p17), tnot(p18).
p17 :- tnot(p0), tnot(p1), tnot(p2), tnot(p3), tnot(p4), tnot(p5), tnot(p6), tnot(p7), tnot(p8), tnot(p9), tnot(p10), tnot(p11), tnot(p12), tnot(p13), tnot(p14), tnot(p15), tnot(p16), tnot(p17), tnot(p18).
p18 :- tnot(p0), tnot(p1), tnot(p2), tnot(p3), tnot(p4), tnot(p5), tnot(p6), tnot(p7), tnot(p8), tnot(p9), tnot(p10), tnot(p11), tnot(p12), tnot(p13), tnot(p14), tnot(p15), tnot(p16), tnot(p17), tnot(p18).