| blob | 71259e8be403bc742f7f5bca44c9429951f54d51 |
1 Input:
2 {[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not((((((((((((a and b) and c) and d) and e) and a) and b) and c) and d) and e) and(true or false)) and(a and b)) and(a or b)))}
3 {[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not((((((((((((a and b) and c) and d) and e) and a) and b) and c) and d) and e) and(true or false)) and(a and b)) and(a or b)))}
5 [Renaming phase]
7 {[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not((((((((((((a and b) and c) and d) and e) and a) and b) and c) and d) and e) and(true or false)) and(a and b)) and(a or b)))}
9 [DNF construction and simplification phase]
11 {[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (((not a) and(not a)) or(((not a) and(not b)) or(((not a) and(not c)) or(((not a) and(not d)) or(((not a) and(not e)) or(((not a) and(not a)) or(((not a) and(not b)) or(((not a) and(not c)) or(((not a) and(not d)) or(((not a) and(not e)) or(((not a) and(not a)) or(((not a) and(not b)) or(((not a) and(not b)) or(((not b) and(not a)) or(((not b) and(not b)) or(((not b) and(not c)) or(((not b) and(not d)) or(((not b) and(not e)) or(((not b) and(not a)) or(((not b) and(not b)) or(((not b) and(not c)) or(((not b) and(not d)) or(((not b) and(not e)) or(((not b) and(not a)) or(((not b) and(not b)) or(((not b) and(not b)) or(((not c) and(not a)) or(((not c) and(not b)) or(((not c) and(not c)) or(((not c) and(not d)) or(((not c) and(not e)) or(((not c) and(not a)) or(((not c) and(not b)) or(((not c) and(not c)) or(((not c) and(not d)) or(((not c) and(not e)) or(((not c) and(not a)) or(((not c) and(not b)) or(((not c) and(not b)) or(((not d) and(not a)) or(((not d) and(not b)) or(((not d) and(not c)) or(((not d) and(not d)) or(((not d) and(not e)) or(((not d) and(not a)) or(((not d) and(not b)) or(((not d) and(not c)) or(((not d) and(not d)) or(((not d) and(not e)) or(((not d) and(not a)) or(((not d) and(not b)) or(((not d) and(not b)) or(((not e) and(not a)) or(((not e) and(not b)) or(((not e) and(not c)) or(((not e) and(not d)) or(((not e) and(not e)) or(((not e) and(not a)) or(((not e) and(not b)) or(((not e) and(not c)) or(((not e) and(not d)) or(((not e) and(not e)) or(((not e) and(not a)) or(((not e) and(not b)) or(((not e) and(not b)) or(((not a) and(not a)) or(((not a) and(not b)) or(((not a) and(not c)) or(((not a) and(not d)) or(((not a) and(not e)) or(((not a) and(not a)) or(((not a) and(not b)) or(((not a) and(not c)) or(((not a) and(not d)) or(((not a) and(not e)) or(((not a) and(not a)) or(((not a) and(not b)) or(((not a) and(not b)) or(((not b) and(not a)) or(((not b) and(not b)) or(((not b) and(not c)) or(((not b) and(not d)) or(((not b) and(not e)) or(((not b) and(not a)) or(((not b) and(not b)) or(((not b) and(not c)) or(((not b) and(not d)) or(((not b) and(not e)) or(((not b) and(not a)) or(((not b) and(not b)) or(((not b) and(not b)) or(((not c) and(not a)) or(((not c) and(not b)) or(((not c) and(not c)) or(((not c) and(not d)) or(((not c) and(not e)) or(((not c) and(not a)) or(((not c) and(not b)) or(((not c) and(not c)) or(((not c) and(not d)) or(((not c) and(not e)) or(((not c) and(not a)) or(((not c) and(not b)) or(((not c) and(not b)) or(((not d) and(not a)) or(((not d) and(not b)) or(((not d) and(not c)) or(((not d) and(not d)) or(((not d) and(not e)) or(((not d) and(not a)) or(((not d) and(not b)) or(((not d) and(not c)) or(((not d) and(not d)) or(((not d) and(not e)) or(((not d) and(not a)) or(((not d) and(not b)) or(((not d) and(not b)) or(((not e) and(not a)) or(((not e) and(not b)) or(((not e) and(not c)) or(((not e) and(not d)) or(((not e) and(not e)) or(((not e) and(not a)) or(((not e) and(not b)) or(((not e) and(not c)) or(((not e) and(not d)) or(((not e) and(not e)) or(((not e) and(not a)) or(((not e) and(not b)) or(((not e) and(not b)) or(((not a) and(not a)) or(((not a) and(not b)) or(((not a) and(not c)) or(((not a) and(not d)) or(((not a) and(not e)) or(((not a) and(not a)) or(((not a) and(not b)) or(((not a) and(not c)) or(((not a) and(not d)) or(((not a) and(not e)) or(((not a) and(not a)) or(((not a) and(not b)) or(((not a) and(not b)) or(((not b) and(not a)) or(((not b) and(not b)) or(((not b) and(not c)) or(((not b) and(not d)) or(((not b) and(not e)) or(((not b) and(not a)) or(((not b) and(not b)) or(((not b) and(not c)) or(((not b) and(not d)) or(((not b) and(not e)) or(((not b) and(not a)) or(((not b) and(not b)) or(((not b) and(not b)) or(((not a) and(not a)) or(((not a) and(not b)) or(((not a) and(not c)) or(((not a) and(not d)) or(((not a) and(not e)) or(((not a) and(not a)) or(((not a) and(not b)) or(((not a) and(not c)) or(((not a) and(not d)) or(((not a) and(not e)) or(((not a) and(not a)) or(((not a) and(not b)) or((not a) and(not b))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))}
13 [Constructing the query graph]
15 [Query Graph]
16 {[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (((not a) and(not a)) or(((not a) and(not b)) or(((not a) and(not c)) or(((not a) and(not d)) or(((not a) and(not e)) or(((not a) and(not a)) or(((not a) and(not b)) or(((not a) and(not c)) or(((not a) and(not d)) or(((not a) and(not e)) or(((not a) and(not a)) or(((not a) and(not b)) or(((not a) and(not b)) or(((not b) and(not a)) or(((not b) and(not b)) or(((not b) and(not c)) or(((not b) and(not d)) or(((not b) and(not e)) or(((not b) and(not a)) or(((not b) and(not b)) or(((not b) and(not c)) or(((not b) and(not d)) or(((not b) and(not e)) or(((not b) and(not a)) or(((not b) and(not b)) or(((not b) and(not b)) or(((not c) and(not a)) or(((not c) and(not b)) or(((not c) and(not c)) or(((not c) and(not d)) or(((not c) and(not e)) or(((not c) and(not a)) or(((not c) and(not b)) or(((not c) and(not c)) or(((not c) and(not d)) or(((not c) and(not e)) or(((not c) and(not a)) or(((not c) and(not b)) or(((not c) and(not b)) or(((not d) and(not a)) or(((not d) and(not b)) or(((not d) and(not c)) or(((not d) and(not d)) or(((not d) and(not e)) or(((not d) and(not a)) or(((not d) and(not b)) or(((not d) and(not c)) or(((not d) and(not d)) or(((not d) and(not e)) or(((not d) and(not a)) or(((not d) and(not b)) or(((not d) and(not b)) or(((not e) and(not a)) or(((not e) and(not b)) or(((not e) and(not c)) or(((not e) and(not d)) or(((not e) and(not e)) or(((not e) and(not a)) or(((not e) and(not b)) or(((not e) and(not c)) or(((not e) and(not d)) or(((not e) and(not e)) or(((not e) and(not a)) or(((not e) and(not b)) or(((not e) and(not b)) or(((not a) and(not a)) or(((not a) and(not b)) or(((not a) and(not c)) or(((not a) and(not d)) or(((not a) and(not e)) or(((not a) and(not a)) or(((not a) and(not b)) or(((not a) and(not c)) or(((not a) and(not d)) or(((not a) and(not e)) or(((not a) and(not a)) or(((not a) and(not b)) or(((not a) and(not b)) or(((not b) and(not a)) or(((not b) and(not b)) or(((not b) and(not c)) or(((not b) and(not d)) or(((not b) and(not e)) or(((not b) and(not a)) or(((not b) and(not b)) or(((not b) and(not c)) or(((not b) and(not d)) or(((not b) and(not e)) or(((not b) and(not a)) or(((not b) and(not b)) or(((not b) and(not b)) or(((not c) and(not a)) or(((not c) and(not b)) or(((not c) and(not c)) or(((not c) and(not d)) or(((not c) and(not e)) or(((not c) and(not a)) or(((not c) and(not b)) or(((not c) and(not c)) or(((not c) and(not d)) or(((not c) and(not e)) or(((not c) and(not a)) or(((not c) and(not b)) or(((not c) and(not b)) or(((not d) and(not a)) or(((not d) and(not b)) or(((not d) and(not c)) or(((not d) and(not d)) or(((not d) and(not e)) or(((not d) and(not a)) or(((not d) and(not b)) or(((not d) and(not c)) or(((not d) and(not d)) or(((not d) and(not e)) or(((not d) and(not a)) or(((not d) and(not b)) or(((not d) and(not b)) or(((not e) and(not a)) or(((not e) and(not b)) or(((not e) and(not c)) or(((not e) and(not d)) or(((not e) and(not e)) or(((not e) and(not a)) or(((not e) and(not b)) or(((not e) and(not c)) or(((not e) and(not d)) or(((not e) and(not e)) or(((not e) and(not a)) or(((not e) and(not b)) or(((not e) and(not b)) or(((not a) and(not a)) or(((not a) and(not b)) or(((not a) and(not c)) or(((not a) and(not d)) or(((not a) and(not e)) or(((not a) and(not a)) or(((not a) and(not b)) or(((not a) and(not c)) or(((not a) and(not d)) or(((not a) and(not e)) or(((not a) and(not a)) or(((not a) and(not b)) or(((not a) and(not b)) or(((not b) and(not a)) or(((not b) and(not b)) or(((not b) and(not c)) or(((not b) and(not d)) or(((not b) and(not e)) or(((not b) and(not a)) or(((not b) and(not b)) or(((not b) and(not c)) or(((not b) and(not d)) or(((not b) and(not e)) or(((not b) and(not a)) or(((not b) and(not b)) or(((not b) and(not b)) or(((not a) and(not a)) or(((not a) and(not b)) or(((not a) and(not c)) or(((not a) and(not d)) or(((not a) and(not e)) or(((not a) and(not a)) or(((not a) and(not b)) or(((not a) and(not c)) or(((not a) and(not d)) or(((not a) and(not e)) or(((not a) and(not a)) or(((not a) and(not b)) or((not a) and(not b))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))}
18 [Quantifier elimination phase]
20 {[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (((not a) and(not a)) or(((not a) and(not b)) or(((not a) and(not c)) or(((not a) and(not d)) or(((not a) and(not e)) or(((not a) and(not a)) or(((not a) and(not b)) or(((not a) and(not c)) or(((not a) and(not d)) or(((not a) and(not e)) or(((not a) and(not a)) or(((not a) and(not b)) or(((not a) and(not b)) or(((not b) and(not a)) or(((not b) and(not b)) or(((not b) and(not c)) or(((not b) and(not d)) or(((not b) and(not e)) or(((not b) and(not a)) or(((not b) and(not b)) or(((not b) and(not c)) or(((not b) and(not d)) or(((not b) and(not e)) or(((not b) and(not a)) or(((not b) and(not b)) or(((not b) and(not b)) or(((not c) and(not a)) or(((not c) and(not b)) or(((not c) and(not c)) or(((not c) and(not d)) or(((not c) and(not e)) or(((not c) and(not a)) or(((not c) and(not b)) or(((not c) and(not c)) or(((not c) and(not d)) or(((not c) and(not e)) or(((not c) and(not a)) or(((not c) and(not b)) or(((not c) and(not b)) or(((not d) and(not a)) or(((not d) and(not b)) or(((not d) and(not c)) or(((not d) and(not d)) or(((not d) and(not e)) or(((not d) and(not a)) or(((not d) and(not b)) or(((not d) and(not c)) or(((not d) and(not d)) or(((not d) and(not e)) or(((not d) and(not a)) or(((not d) and(not b)) or(((not d) and(not b)) or(((not e) and(not a)) or(((not e) and(not b)) or(((not e) and(not c)) or(((not e) and(not d)) or(((not e) and(not e)) or(((not e) and(not a)) or(((not e) and(not b)) or(((not e) and(not c)) or(((not e) and(not d)) or(((not e) and(not e)) or(((not e) and(not a)) or(((not e) and(not b)) or(((not e) and(not b)) or(((not a) and(not a)) or(((not a) and(not b)) or(((not a) and(not c)) or(((not a) and(not d)) or(((not a) and(not e)) or(((not a) and(not a)) or(((not a) and(not b)) or(((not a) and(not c)) or(((not a) and(not d)) or(((not a) and(not e)) or(((not a) and(not a)) or(((not a) and(not b)) or(((not a) and(not b)) or(((not b) and(not a)) or(((not b) and(not b)) or(((not b) and(not c)) or(((not b) and(not d)) or(((not b) and(not e)) or(((not b) and(not a)) or(((not b) and(not b)) or(((not b) and(not c)) or(((not b) and(not d)) or(((not b) and(not e)) or(((not b) and(not a)) or(((not b) and(not b)) or(((not b) and(not b)) or(((not c) and(not a)) or(((not c) and(not b)) or(((not c) and(not c)) or(((not c) and(not d)) or(((not c) and(not e)) or(((not c) and(not a)) or(((not c) and(not b)) or(((not c) and(not c)) or(((not c) and(not d)) or(((not c) and(not e)) or(((not c) and(not a)) or(((not c) and(not b)) or(((not c) and(not b)) or(((not d) and(not a)) or(((not d) and(not b)) or(((not d) and(not c)) or(((not d) and(not d)) or(((not d) and(not e)) or(((not d) and(not a)) or(((not d) and(not b)) or(((not d) and(not c)) or(((not d) and(not d)) or(((not d) and(not e)) or(((not d) and(not a)) or(((not d) and(not b)) or(((not d) and(not b)) or(((not e) and(not a)) or(((not e) and(not b)) or(((not e) and(not c)) or(((not e) and(not d)) or(((not e) and(not e)) or(((not e) and(not a)) or(((not e) and(not b)) or(((not e) and(not c)) or(((not e) and(not d)) or(((not e) and(not e)) or(((not e) and(not a)) or(((not e) and(not b)) or(((not e) and(not b)) or(((not a) and(not a)) or(((not a) and(not b)) or(((not a) and(not c)) or(((not a) and(not d)) or(((not a) and(not e)) or(((not a) and(not a)) or(((not a) and(not b)) or(((not a) and(not c)) or(((not a) and(not d)) or(((not a) and(not e)) or(((not a) and(not a)) or(((not a) and(not b)) or(((not a) and(not b)) or(((not b) and(not a)) or(((not b) and(not b)) or(((not b) and(not c)) or(((not b) and(not d)) or(((not b) and(not e)) or(((not b) and(not a)) or(((not b) and(not b)) or(((not b) and(not c)) or(((not b) and(not d)) or(((not b) and(not e)) or(((not b) and(not a)) or(((not b) and(not b)) or(((not b) and(not b)) or(((not a) and(not a)) or(((not a) and(not b)) or(((not a) and(not c)) or(((not a) and(not d)) or(((not a) and(not e)) or(((not a) and(not a)) or(((not a) and(not b)) or(((not a) and(not c)) or(((not a) and(not d)) or(((not a) and(not e)) or(((not a) and(not a)) or(((not a) and(not b)) or((not a) and(not b))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))}
22 [Disjunction removal phase]
24 let
25 Q_1={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not a) and(not a))}
26 Q_2={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not a) and(not b))}
27 Q_3={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not a) and(not c))}
28 Q_4={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not a) and(not d))}
29 Q_5={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not a) and(not e))}
30 Q_6={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not a) and(not a))}
31 Q_7={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not a) and(not b))}
32 Q_8={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not a) and(not c))}
33 Q_9={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not a) and(not d))}
34 Q_10={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not a) and(not e))}
35 Q_11={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not a) and(not a))}
36 Q_12={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not a) and(not b))}
37 Q_13={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not a) and(not b))}
38 Q_14={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not b) and(not a))}
39 Q_15={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not b) and(not b))}
40 Q_16={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not b) and(not c))}
41 Q_17={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not b) and(not d))}
42 Q_18={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not b) and(not e))}
43 Q_19={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not b) and(not a))}
44 Q_20={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not b) and(not b))}
45 Q_21={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not b) and(not c))}
46 Q_22={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not b) and(not d))}
47 Q_23={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not b) and(not e))}
48 Q_24={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not b) and(not a))}
49 Q_25={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not b) and(not b))}
50 Q_26={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not b) and(not b))}
51 Q_27={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not c) and(not a))}
52 Q_28={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not c) and(not b))}
53 Q_29={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not c) and(not c))}
54 Q_30={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not c) and(not d))}
55 Q_31={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not c) and(not e))}
56 Q_32={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not c) and(not a))}
57 Q_33={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not c) and(not b))}
58 Q_34={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not c) and(not c))}
59 Q_35={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not c) and(not d))}
60 Q_36={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not c) and(not e))}
61 Q_37={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not c) and(not a))}
62 Q_38={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not c) and(not b))}
63 Q_39={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not c) and(not b))}
64 Q_40={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not d) and(not a))}
65 Q_41={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not d) and(not b))}
66 Q_42={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not d) and(not c))}
67 Q_43={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not d) and(not d))}
68 Q_44={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not d) and(not e))}
69 Q_45={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not d) and(not a))}
70 Q_46={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not d) and(not b))}
71 Q_47={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not d) and(not c))}
72 Q_48={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not d) and(not d))}
73 Q_49={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not d) and(not e))}
74 Q_50={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not d) and(not a))}
75 Q_51={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not d) and(not b))}
76 Q_52={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not d) and(not b))}
77 Q_53={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not e) and(not a))}
78 Q_54={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not e) and(not b))}
79 Q_55={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not e) and(not c))}
80 Q_56={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not e) and(not d))}
81 Q_57={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not e) and(not e))}
82 Q_58={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not e) and(not a))}
83 Q_59={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not e) and(not b))}
84 Q_60={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not e) and(not c))}
85 Q_61={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not e) and(not d))}
86 Q_62={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not e) and(not e))}
87 Q_63={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not e) and(not a))}
88 Q_64={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not e) and(not b))}
89 Q_65={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not e) and(not b))}
90 Q_66={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not a) and(not a))}
91 Q_67={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not a) and(not b))}
92 Q_68={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not a) and(not c))}
93 Q_69={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not a) and(not d))}
94 Q_70={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not a) and(not e))}
95 Q_71={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not a) and(not a))}
96 Q_72={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not a) and(not b))}
97 Q_73={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not a) and(not c))}
98 Q_74={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not a) and(not d))}
99 Q_75={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not a) and(not e))}
100 Q_76={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not a) and(not a))}
101 Q_77={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not a) and(not b))}
102 Q_78={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not a) and(not b))}
103 Q_79={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not b) and(not a))}
104 Q_80={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not b) and(not b))}
105 Q_81={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not b) and(not c))}
106 Q_82={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not b) and(not d))}
107 Q_83={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not b) and(not e))}
108 Q_84={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not b) and(not a))}
109 Q_85={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not b) and(not b))}
110 Q_86={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not b) and(not c))}
111 Q_87={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not b) and(not d))}
112 Q_88={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not b) and(not e))}
113 Q_89={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not b) and(not a))}
114 Q_90={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not b) and(not b))}
115 Q_91={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not b) and(not b))}
116 Q_92={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not c) and(not a))}
117 Q_93={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not c) and(not b))}
118 Q_94={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not c) and(not c))}
119 Q_95={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not c) and(not d))}
120 Q_96={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not c) and(not e))}
121 Q_97={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not c) and(not a))}
122 Q_98={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not c) and(not b))}
123 Q_99={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not c) and(not c))}
124 Q_100={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not c) and(not d))}
125 Q_101={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not c) and(not e))}
126 Q_102={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not c) and(not a))}
127 Q_103={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not c) and(not b))}
128 Q_104={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not c) and(not b))}
129 Q_105={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not d) and(not a))}
130 Q_106={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not d) and(not b))}
131 Q_107={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not d) and(not c))}
132 Q_108={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not d) and(not d))}
133 Q_109={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not d) and(not e))}
134 Q_110={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not d) and(not a))}
135 Q_111={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not d) and(not b))}
136 Q_112={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not d) and(not c))}
137 Q_113={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not d) and(not d))}
138 Q_114={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not d) and(not e))}
139 Q_115={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not d) and(not a))}
140 Q_116={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not d) and(not b))}
141 Q_117={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not d) and(not b))}
142 Q_118={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not e) and(not a))}
143 Q_119={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not e) and(not b))}
144 Q_120={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not e) and(not c))}
145 Q_121={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not e) and(not d))}
146 Q_122={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not e) and(not e))}
147 Q_123={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not e) and(not a))}
148 Q_124={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not e) and(not b))}
149 Q_125={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not e) and(not c))}
150 Q_126={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not e) and(not d))}
151 Q_127={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not e) and(not e))}
152 Q_128={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not e) and(not a))}
153 Q_129={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not e) and(not b))}
154 Q_130={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not e) and(not b))}
155 Q_131={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not a) and(not a))}
156 Q_132={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not a) and(not b))}
157 Q_133={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not a) and(not c))}
158 Q_134={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not a) and(not d))}
159 Q_135={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not a) and(not e))}
160 Q_136={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not a) and(not a))}
161 Q_137={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not a) and(not b))}
162 Q_138={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not a) and(not c))}
163 Q_139={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not a) and(not d))}
164 Q_140={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not a) and(not e))}
165 Q_141={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not a) and(not a))}
166 Q_142={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not a) and(not b))}
167 Q_143={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not a) and(not b))}
168 Q_144={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not b) and(not a))}
169 Q_145={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not b) and(not b))}
170 Q_146={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not b) and(not c))}
171 Q_147={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not b) and(not d))}
172 Q_148={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not b) and(not e))}
173 Q_149={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not b) and(not a))}
174 Q_150={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not b) and(not b))}
175 Q_151={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not b) and(not c))}
176 Q_152={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not b) and(not d))}
177 Q_153={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not b) and(not e))}
178 Q_154={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not b) and(not a))}
179 Q_155={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not b) and(not b))}
180 Q_156={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not b) and(not b))}
181 Q_157={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not a) and(not a))}
182 Q_158={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not a) and(not b))}
183 Q_159={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not a) and(not c))}
184 Q_160={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not a) and(not d))}
185 Q_161={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not a) and(not e))}
186 Q_162={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not a) and(not a))}
187 Q_163={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not a) and(not b))}
188 Q_164={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not a) and(not c))}
189 Q_165={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not a) and(not d))}
190 Q_166={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not a) and(not e))}
191 Q_167={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not a) and(not a))}
192 Q_168={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not a) and(not b))}
193 Q_169={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | ((not a) and(not b))}
194 in
195 union(Q_169,Q_168,Q_167,Q_166,Q_165,Q_164,Q_163,Q_162,Q_161,Q_160,Q_159,Q_158,Q_157,Q_156,Q_155,Q_154,Q_153,Q_152,Q_151,Q_150,Q_149,Q_148,Q_147,Q_146,Q_145,Q_144,Q_143,Q_142,Q_141,Q_140,Q_139,Q_138,Q_137,Q_136,Q_135,Q_134,Q_133,Q_132,Q_131,Q_130,Q_129,Q_128,Q_127,Q_126,Q_125,Q_124,Q_123,Q_122,Q_121,Q_120,Q_119,Q_118,Q_117,Q_116,Q_115,Q_114,Q_113,Q_112,Q_111,Q_110,Q_109,Q_108,Q_107,Q_106,Q_105,Q_104,Q_103,Q_102,Q_101,Q_100,Q_99,Q_98,Q_97,Q_96,Q_95,Q_94,Q_93,Q_92,Q_91,Q_90,Q_89,Q_88,Q_87,Q_86,Q_85,Q_84,Q_83,Q_82,Q_81,Q_80,Q_79,Q_78,Q_77,Q_76,Q_75,Q_74,Q_73,Q_72,Q_71,Q_70,Q_69,Q_68,Q_67,Q_66,Q_65,Q_64,Q_63,Q_62,Q_61,Q_60,Q_59,Q_58,Q_57,Q_56,Q_55,Q_54,Q_53,Q_52,Q_51,Q_50,Q_49,Q_48,Q_47,Q_46,Q_45,Q_44,Q_43,Q_42,Q_41,Q_40,Q_39,Q_38,Q_37,Q_36,Q_35,Q_34,Q_33,Q_32,Q_31,Q_30,Q_29,Q_28,Q_27,Q_26,Q_25,Q_24,Q_23,Q_22,Q_21,Q_20,Q_19,Q_18,Q_17,Q_16,Q_15,Q_14,Q_13,Q_12,Q_11,Q_10,Q_9,Q_8,Q_7,Q_6,Q_5,Q_4,Q_3,Q_2,Q_1)
196 end
199 [Conjunctive query decomposition phase]
201 [Query Graph]
202 let
203 Q_170={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
204 Q_171={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
205 Q_1=(Q_171 join Q_170)
206 Q_172={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
207 Q_173={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
208 Q_2=(Q_173 join Q_172)
209 Q_174={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
210 Q_175={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
211 Q_3=(Q_175 join Q_174)
212 Q_176={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
213 Q_177={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
214 Q_4=(Q_177 join Q_176)
215 Q_178={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
216 Q_179={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
217 Q_5=(Q_179 join Q_178)
218 Q_180={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
219 Q_181={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
220 Q_6=(Q_181 join Q_180)
221 Q_182={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
222 Q_183={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
223 Q_7=(Q_183 join Q_182)
224 Q_184={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
225 Q_185={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
226 Q_8=(Q_185 join Q_184)
227 Q_186={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
228 Q_187={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
229 Q_9=(Q_187 join Q_186)
230 Q_188={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
231 Q_189={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
232 Q_10=(Q_189 join Q_188)
233 Q_190={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
234 Q_191={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
235 Q_11=(Q_191 join Q_190)
236 Q_192={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
237 Q_193={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
238 Q_12=(Q_193 join Q_192)
239 Q_194={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
240 Q_195={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
241 Q_13=(Q_195 join Q_194)
242 Q_196={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
243 Q_197={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
244 Q_14=(Q_197 join Q_196)
245 Q_198={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
246 Q_199={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
247 Q_15=(Q_199 join Q_198)
248 Q_200={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
249 Q_201={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
250 Q_16=(Q_201 join Q_200)
251 Q_202={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
252 Q_203={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
253 Q_17=(Q_203 join Q_202)
254 Q_204={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
255 Q_205={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
256 Q_18=(Q_205 join Q_204)
257 Q_206={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
258 Q_207={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
259 Q_19=(Q_207 join Q_206)
260 Q_208={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
261 Q_209={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
262 Q_20=(Q_209 join Q_208)
263 Q_210={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
264 Q_211={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
265 Q_21=(Q_211 join Q_210)
266 Q_212={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
267 Q_213={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
268 Q_22=(Q_213 join Q_212)
269 Q_214={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
270 Q_215={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
271 Q_23=(Q_215 join Q_214)
272 Q_216={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
273 Q_217={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
274 Q_24=(Q_217 join Q_216)
275 Q_218={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
276 Q_219={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
277 Q_25=(Q_219 join Q_218)
278 Q_220={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
279 Q_221={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
280 Q_26=(Q_221 join Q_220)
281 Q_222={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
282 Q_223={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
283 Q_27=(Q_223 join Q_222)
284 Q_224={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
285 Q_225={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
286 Q_28=(Q_225 join Q_224)
287 Q_226={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
288 Q_227={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
289 Q_29=(Q_227 join Q_226)
290 Q_228={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
291 Q_229={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
292 Q_30=(Q_229 join Q_228)
293 Q_230={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
294 Q_231={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
295 Q_31=(Q_231 join Q_230)
296 Q_232={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
297 Q_233={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
298 Q_32=(Q_233 join Q_232)
299 Q_234={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
300 Q_235={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
301 Q_33=(Q_235 join Q_234)
302 Q_236={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
303 Q_237={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
304 Q_34=(Q_237 join Q_236)
305 Q_238={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
306 Q_239={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
307 Q_35=(Q_239 join Q_238)
308 Q_240={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
309 Q_241={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
310 Q_36=(Q_241 join Q_240)
311 Q_242={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
312 Q_243={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
313 Q_37=(Q_243 join Q_242)
314 Q_244={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
315 Q_245={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
316 Q_38=(Q_245 join Q_244)
317 Q_246={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
318 Q_247={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
319 Q_39=(Q_247 join Q_246)
320 Q_248={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
321 Q_249={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
322 Q_40=(Q_249 join Q_248)
323 Q_250={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
324 Q_251={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
325 Q_41=(Q_251 join Q_250)
326 Q_252={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
327 Q_253={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
328 Q_42=(Q_253 join Q_252)
329 Q_254={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
330 Q_255={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
331 Q_43=(Q_255 join Q_254)
332 Q_256={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
333 Q_257={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
334 Q_44=(Q_257 join Q_256)
335 Q_258={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
336 Q_259={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
337 Q_45=(Q_259 join Q_258)
338 Q_260={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
339 Q_261={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
340 Q_46=(Q_261 join Q_260)
341 Q_262={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
342 Q_263={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
343 Q_47=(Q_263 join Q_262)
344 Q_264={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
345 Q_265={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
346 Q_48=(Q_265 join Q_264)
347 Q_266={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
348 Q_267={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
349 Q_49=(Q_267 join Q_266)
350 Q_268={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
351 Q_269={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
352 Q_50=(Q_269 join Q_268)
353 Q_270={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
354 Q_271={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
355 Q_51=(Q_271 join Q_270)
356 Q_272={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
357 Q_273={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
358 Q_52=(Q_273 join Q_272)
359 Q_274={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
360 Q_275={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
361 Q_53=(Q_275 join Q_274)
362 Q_276={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
363 Q_277={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
364 Q_54=(Q_277 join Q_276)
365 Q_278={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
366 Q_279={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
367 Q_55=(Q_279 join Q_278)
368 Q_280={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
369 Q_281={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
370 Q_56=(Q_281 join Q_280)
371 Q_282={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
372 Q_283={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
373 Q_57=(Q_283 join Q_282)
374 Q_284={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
375 Q_285={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
376 Q_58=(Q_285 join Q_284)
377 Q_286={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
378 Q_287={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
379 Q_59=(Q_287 join Q_286)
380 Q_288={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
381 Q_289={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
382 Q_60=(Q_289 join Q_288)
383 Q_290={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
384 Q_291={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
385 Q_61=(Q_291 join Q_290)
386 Q_292={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
387 Q_293={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
388 Q_62=(Q_293 join Q_292)
389 Q_294={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
390 Q_295={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
391 Q_63=(Q_295 join Q_294)
392 Q_296={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
393 Q_297={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
394 Q_64=(Q_297 join Q_296)
395 Q_298={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
396 Q_299={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
397 Q_65=(Q_299 join Q_298)
398 Q_300={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
399 Q_301={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
400 Q_66=(Q_301 join Q_300)
401 Q_302={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
402 Q_303={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
403 Q_67=(Q_303 join Q_302)
404 Q_304={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
405 Q_305={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
406 Q_68=(Q_305 join Q_304)
407 Q_306={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
408 Q_307={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
409 Q_69=(Q_307 join Q_306)
410 Q_308={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
411 Q_309={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
412 Q_70=(Q_309 join Q_308)
413 Q_310={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
414 Q_311={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
415 Q_71=(Q_311 join Q_310)
416 Q_312={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
417 Q_313={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
418 Q_72=(Q_313 join Q_312)
419 Q_314={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
420 Q_315={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
421 Q_73=(Q_315 join Q_314)
422 Q_316={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
423 Q_317={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
424 Q_74=(Q_317 join Q_316)
425 Q_318={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
426 Q_319={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
427 Q_75=(Q_319 join Q_318)
428 Q_320={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
429 Q_321={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
430 Q_76=(Q_321 join Q_320)
431 Q_322={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
432 Q_323={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
433 Q_77=(Q_323 join Q_322)
434 Q_324={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
435 Q_325={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
436 Q_78=(Q_325 join Q_324)
437 Q_326={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
438 Q_327={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
439 Q_79=(Q_327 join Q_326)
440 Q_328={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
441 Q_329={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
442 Q_80=(Q_329 join Q_328)
443 Q_330={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
444 Q_331={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
445 Q_81=(Q_331 join Q_330)
446 Q_332={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
447 Q_333={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
448 Q_82=(Q_333 join Q_332)
449 Q_334={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
450 Q_335={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
451 Q_83=(Q_335 join Q_334)
452 Q_336={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
453 Q_337={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
454 Q_84=(Q_337 join Q_336)
455 Q_338={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
456 Q_339={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
457 Q_85=(Q_339 join Q_338)
458 Q_340={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
459 Q_341={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
460 Q_86=(Q_341 join Q_340)
461 Q_342={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
462 Q_343={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
463 Q_87=(Q_343 join Q_342)
464 Q_344={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
465 Q_345={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
466 Q_88=(Q_345 join Q_344)
467 Q_346={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
468 Q_347={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
469 Q_89=(Q_347 join Q_346)
470 Q_348={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
471 Q_349={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
472 Q_90=(Q_349 join Q_348)
473 Q_350={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
474 Q_351={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
475 Q_91=(Q_351 join Q_350)
476 Q_352={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
477 Q_353={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
478 Q_92=(Q_353 join Q_352)
479 Q_354={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
480 Q_355={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
481 Q_93=(Q_355 join Q_354)
482 Q_356={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
483 Q_357={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
484 Q_94=(Q_357 join Q_356)
485 Q_358={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
486 Q_359={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
487 Q_95=(Q_359 join Q_358)
488 Q_360={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
489 Q_361={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
490 Q_96=(Q_361 join Q_360)
491 Q_362={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
492 Q_363={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
493 Q_97=(Q_363 join Q_362)
494 Q_364={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
495 Q_365={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
496 Q_98=(Q_365 join Q_364)
497 Q_366={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
498 Q_367={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
499 Q_99=(Q_367 join Q_366)
500 Q_368={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
501 Q_369={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
502 Q_100=(Q_369 join Q_368)
503 Q_370={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
504 Q_371={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
505 Q_101=(Q_371 join Q_370)
506 Q_372={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
507 Q_373={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
508 Q_102=(Q_373 join Q_372)
509 Q_374={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
510 Q_375={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
511 Q_103=(Q_375 join Q_374)
512 Q_376={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
513 Q_377={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
514 Q_104=(Q_377 join Q_376)
515 Q_378={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
516 Q_379={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
517 Q_105=(Q_379 join Q_378)
518 Q_380={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
519 Q_381={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
520 Q_106=(Q_381 join Q_380)
521 Q_382={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
522 Q_383={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
523 Q_107=(Q_383 join Q_382)
524 Q_384={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
525 Q_385={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
526 Q_108=(Q_385 join Q_384)
527 Q_386={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
528 Q_387={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
529 Q_109=(Q_387 join Q_386)
530 Q_388={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
531 Q_389={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
532 Q_110=(Q_389 join Q_388)
533 Q_390={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
534 Q_391={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
535 Q_111=(Q_391 join Q_390)
536 Q_392={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
537 Q_393={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
538 Q_112=(Q_393 join Q_392)
539 Q_394={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
540 Q_395={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
541 Q_113=(Q_395 join Q_394)
542 Q_396={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
543 Q_397={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
544 Q_114=(Q_397 join Q_396)
545 Q_398={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
546 Q_399={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
547 Q_115=(Q_399 join Q_398)
548 Q_400={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
549 Q_401={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
550 Q_116=(Q_401 join Q_400)
551 Q_402={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
552 Q_403={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
553 Q_117=(Q_403 join Q_402)
554 Q_404={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
555 Q_405={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
556 Q_118=(Q_405 join Q_404)
557 Q_406={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
558 Q_407={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
559 Q_119=(Q_407 join Q_406)
560 Q_408={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
561 Q_409={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
562 Q_120=(Q_409 join Q_408)
563 Q_410={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
564 Q_411={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
565 Q_121=(Q_411 join Q_410)
566 Q_412={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
567 Q_413={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
568 Q_122=(Q_413 join Q_412)
569 Q_414={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
570 Q_415={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
571 Q_123=(Q_415 join Q_414)
572 Q_416={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
573 Q_417={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
574 Q_124=(Q_417 join Q_416)
575 Q_418={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
576 Q_419={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
577 Q_125=(Q_419 join Q_418)
578 Q_420={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
579 Q_421={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
580 Q_126=(Q_421 join Q_420)
581 Q_422={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
582 Q_423={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
583 Q_127=(Q_423 join Q_422)
584 Q_424={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
585 Q_425={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
586 Q_128=(Q_425 join Q_424)
587 Q_426={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
588 Q_427={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
589 Q_129=(Q_427 join Q_426)
590 Q_428={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
591 Q_429={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
592 Q_130=(Q_429 join Q_428)
593 Q_430={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
594 Q_431={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
595 Q_131=(Q_431 join Q_430)
596 Q_432={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
597 Q_433={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
598 Q_132=(Q_433 join Q_432)
599 Q_434={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
600 Q_435={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
601 Q_133=(Q_435 join Q_434)
602 Q_436={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
603 Q_437={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
604 Q_134=(Q_437 join Q_436)
605 Q_438={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
606 Q_439={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
607 Q_135=(Q_439 join Q_438)
608 Q_440={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
609 Q_441={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
610 Q_136=(Q_441 join Q_440)
611 Q_442={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
612 Q_443={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
613 Q_137=(Q_443 join Q_442)
614 Q_444={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
615 Q_445={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
616 Q_138=(Q_445 join Q_444)
617 Q_446={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
618 Q_447={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
619 Q_139=(Q_447 join Q_446)
620 Q_448={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
621 Q_449={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
622 Q_140=(Q_449 join Q_448)
623 Q_450={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
624 Q_451={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
625 Q_141=(Q_451 join Q_450)
626 Q_452={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
627 Q_453={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
628 Q_142=(Q_453 join Q_452)
629 Q_454={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
630 Q_455={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
631 Q_143=(Q_455 join Q_454)
632 Q_456={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
633 Q_457={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
634 Q_144=(Q_457 join Q_456)
635 Q_458={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
636 Q_459={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
637 Q_145=(Q_459 join Q_458)
638 Q_460={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
639 Q_461={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
640 Q_146=(Q_461 join Q_460)
641 Q_462={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
642 Q_463={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
643 Q_147=(Q_463 join Q_462)
644 Q_464={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
645 Q_465={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
646 Q_148=(Q_465 join Q_464)
647 Q_466={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
648 Q_467={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
649 Q_149=(Q_467 join Q_466)
650 Q_468={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
651 Q_469={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
652 Q_150=(Q_469 join Q_468)
653 Q_470={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
654 Q_471={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
655 Q_151=(Q_471 join Q_470)
656 Q_472={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
657 Q_473={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
658 Q_152=(Q_473 join Q_472)
659 Q_474={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
660 Q_475={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
661 Q_153=(Q_475 join Q_474)
662 Q_476={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
663 Q_477={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
664 Q_154=(Q_477 join Q_476)
665 Q_478={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
666 Q_479={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
667 Q_155=(Q_479 join Q_478)
668 Q_480={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
669 Q_481={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
670 Q_156=(Q_481 join Q_480)
671 Q_482={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
672 Q_483={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
673 Q_157=(Q_483 join Q_482)
674 Q_484={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
675 Q_485={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
676 Q_158=(Q_485 join Q_484)
677 Q_486={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
678 Q_487={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
679 Q_159=(Q_487 join Q_486)
680 Q_488={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
681 Q_489={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
682 Q_160=(Q_489 join Q_488)
683 Q_490={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
684 Q_491={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
685 Q_161=(Q_491 join Q_490)
686 Q_492={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
687 Q_493={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
688 Q_162=(Q_493 join Q_492)
689 Q_494={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
690 Q_495={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
691 Q_163=(Q_495 join Q_494)
692 Q_496={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
693 Q_497={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
694 Q_164=(Q_497 join Q_496)
695 Q_498={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
696 Q_499={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
697 Q_165=(Q_499 join Q_498)
698 Q_500={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
699 Q_501={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
700 Q_166=(Q_501 join Q_500)
701 Q_502={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
702 Q_503={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
703 Q_167=(Q_503 join Q_502)
704 Q_504={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
705 Q_505={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
706 Q_168=(Q_505 join Q_504)
707 Q_506={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
708 Q_507={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
709 Q_169=(Q_507 join Q_506)
710 in
711 union(Q_169,Q_168,Q_167,Q_166,Q_165,Q_164,Q_163,Q_162,Q_161,Q_160,Q_159,Q_158,Q_157,Q_156,Q_155,Q_154,Q_153,Q_152,Q_151,Q_150,Q_149,Q_148,Q_147,Q_146,Q_145,Q_144,Q_143,Q_142,Q_141,Q_140,Q_139,Q_138,Q_137,Q_136,Q_135,Q_134,Q_133,Q_132,Q_131,Q_130,Q_129,Q_128,Q_127,Q_126,Q_125,Q_124,Q_123,Q_122,Q_121,Q_120,Q_119,Q_118,Q_117,Q_116,Q_115,Q_114,Q_113,Q_112,Q_111,Q_110,Q_109,Q_108,Q_107,Q_106,Q_105,Q_104,Q_103,Q_102,Q_101,Q_100,Q_99,Q_98,Q_97,Q_96,Q_95,Q_94,Q_93,Q_92,Q_91,Q_90,Q_89,Q_88,Q_87,Q_86,Q_85,Q_84,Q_83,Q_82,Q_81,Q_80,Q_79,Q_78,Q_77,Q_76,Q_75,Q_74,Q_73,Q_72,Q_71,Q_70,Q_69,Q_68,Q_67,Q_66,Q_65,Q_64,Q_63,Q_62,Q_61,Q_60,Q_59,Q_58,Q_57,Q_56,Q_55,Q_54,Q_53,Q_52,Q_51,Q_50,Q_49,Q_48,Q_47,Q_46,Q_45,Q_44,Q_43,Q_42,Q_41,Q_40,Q_39,Q_38,Q_37,Q_36,Q_35,Q_34,Q_33,Q_32,Q_31,Q_30,Q_29,Q_28,Q_27,Q_26,Q_25,Q_24,Q_23,Q_22,Q_21,Q_20,Q_19,Q_18,Q_17,Q_16,Q_15,Q_14,Q_13,Q_12,Q_11,Q_10,Q_9,Q_8,Q_7,Q_6,Q_5,Q_4,Q_3,Q_2,Q_1)
712 end
715 [Projection recognition phase]
717 let
718 Q_170={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
719 Q_171={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
720 Q_1=(Q_171 join Q_170)
721 Q_172={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
722 Q_173={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
723 Q_2=(Q_173 join Q_172)
724 Q_174={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
725 Q_175={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
726 Q_3=(Q_175 join Q_174)
727 Q_176={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
728 Q_177={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
729 Q_4=(Q_177 join Q_176)
730 Q_178={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
731 Q_179={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
732 Q_5=(Q_179 join Q_178)
733 Q_180={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
734 Q_181={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
735 Q_6=(Q_181 join Q_180)
736 Q_182={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
737 Q_183={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
738 Q_7=(Q_183 join Q_182)
739 Q_184={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
740 Q_185={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
741 Q_8=(Q_185 join Q_184)
742 Q_186={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
743 Q_187={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
744 Q_9=(Q_187 join Q_186)
745 Q_188={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
746 Q_189={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
747 Q_10=(Q_189 join Q_188)
748 Q_190={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
749 Q_191={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
750 Q_11=(Q_191 join Q_190)
751 Q_192={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
752 Q_193={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
753 Q_12=(Q_193 join Q_192)
754 Q_194={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
755 Q_195={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
756 Q_13=(Q_195 join Q_194)
757 Q_196={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
758 Q_197={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
759 Q_14=(Q_197 join Q_196)
760 Q_198={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
761 Q_199={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
762 Q_15=(Q_199 join Q_198)
763 Q_200={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
764 Q_201={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
765 Q_16=(Q_201 join Q_200)
766 Q_202={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
767 Q_203={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
768 Q_17=(Q_203 join Q_202)
769 Q_204={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
770 Q_205={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
771 Q_18=(Q_205 join Q_204)
772 Q_206={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
773 Q_207={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
774 Q_19=(Q_207 join Q_206)
775 Q_208={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
776 Q_209={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
777 Q_20=(Q_209 join Q_208)
778 Q_210={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
779 Q_211={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
780 Q_21=(Q_211 join Q_210)
781 Q_212={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
782 Q_213={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
783 Q_22=(Q_213 join Q_212)
784 Q_214={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
785 Q_215={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
786 Q_23=(Q_215 join Q_214)
787 Q_216={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
788 Q_217={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
789 Q_24=(Q_217 join Q_216)
790 Q_218={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
791 Q_219={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
792 Q_25=(Q_219 join Q_218)
793 Q_220={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
794 Q_221={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
795 Q_26=(Q_221 join Q_220)
796 Q_222={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
797 Q_223={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
798 Q_27=(Q_223 join Q_222)
799 Q_224={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
800 Q_225={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
801 Q_28=(Q_225 join Q_224)
802 Q_226={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
803 Q_227={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
804 Q_29=(Q_227 join Q_226)
805 Q_228={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
806 Q_229={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
807 Q_30=(Q_229 join Q_228)
808 Q_230={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
809 Q_231={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
810 Q_31=(Q_231 join Q_230)
811 Q_232={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
812 Q_233={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
813 Q_32=(Q_233 join Q_232)
814 Q_234={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
815 Q_235={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
816 Q_33=(Q_235 join Q_234)
817 Q_236={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
818 Q_237={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
819 Q_34=(Q_237 join Q_236)
820 Q_238={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
821 Q_239={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
822 Q_35=(Q_239 join Q_238)
823 Q_240={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
824 Q_241={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
825 Q_36=(Q_241 join Q_240)
826 Q_242={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
827 Q_243={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
828 Q_37=(Q_243 join Q_242)
829 Q_244={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
830 Q_245={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
831 Q_38=(Q_245 join Q_244)
832 Q_246={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
833 Q_247={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
834 Q_39=(Q_247 join Q_246)
835 Q_248={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
836 Q_249={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
837 Q_40=(Q_249 join Q_248)
838 Q_250={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
839 Q_251={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
840 Q_41=(Q_251 join Q_250)
841 Q_252={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
842 Q_253={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
843 Q_42=(Q_253 join Q_252)
844 Q_254={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
845 Q_255={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
846 Q_43=(Q_255 join Q_254)
847 Q_256={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
848 Q_257={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
849 Q_44=(Q_257 join Q_256)
850 Q_258={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
851 Q_259={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
852 Q_45=(Q_259 join Q_258)
853 Q_260={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
854 Q_261={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
855 Q_46=(Q_261 join Q_260)
856 Q_262={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
857 Q_263={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
858 Q_47=(Q_263 join Q_262)
859 Q_264={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
860 Q_265={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
861 Q_48=(Q_265 join Q_264)
862 Q_266={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
863 Q_267={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
864 Q_49=(Q_267 join Q_266)
865 Q_268={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
866 Q_269={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
867 Q_50=(Q_269 join Q_268)
868 Q_270={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
869 Q_271={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
870 Q_51=(Q_271 join Q_270)
871 Q_272={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
872 Q_273={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
873 Q_52=(Q_273 join Q_272)
874 Q_274={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
875 Q_275={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
876 Q_53=(Q_275 join Q_274)
877 Q_276={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
878 Q_277={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
879 Q_54=(Q_277 join Q_276)
880 Q_278={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
881 Q_279={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
882 Q_55=(Q_279 join Q_278)
883 Q_280={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
884 Q_281={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
885 Q_56=(Q_281 join Q_280)
886 Q_282={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
887 Q_283={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
888 Q_57=(Q_283 join Q_282)
889 Q_284={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
890 Q_285={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
891 Q_58=(Q_285 join Q_284)
892 Q_286={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
893 Q_287={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
894 Q_59=(Q_287 join Q_286)
895 Q_288={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
896 Q_289={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
897 Q_60=(Q_289 join Q_288)
898 Q_290={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
899 Q_291={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
900 Q_61=(Q_291 join Q_290)
901 Q_292={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
902 Q_293={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
903 Q_62=(Q_293 join Q_292)
904 Q_294={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
905 Q_295={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
906 Q_63=(Q_295 join Q_294)
907 Q_296={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
908 Q_297={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
909 Q_64=(Q_297 join Q_296)
910 Q_298={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
911 Q_299={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
912 Q_65=(Q_299 join Q_298)
913 Q_300={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
914 Q_301={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
915 Q_66=(Q_301 join Q_300)
916 Q_302={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
917 Q_303={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
918 Q_67=(Q_303 join Q_302)
919 Q_304={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
920 Q_305={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
921 Q_68=(Q_305 join Q_304)
922 Q_306={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
923 Q_307={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
924 Q_69=(Q_307 join Q_306)
925 Q_308={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
926 Q_309={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
927 Q_70=(Q_309 join Q_308)
928 Q_310={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
929 Q_311={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
930 Q_71=(Q_311 join Q_310)
931 Q_312={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
932 Q_313={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
933 Q_72=(Q_313 join Q_312)
934 Q_314={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
935 Q_315={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
936 Q_73=(Q_315 join Q_314)
937 Q_316={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
938 Q_317={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
939 Q_74=(Q_317 join Q_316)
940 Q_318={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
941 Q_319={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
942 Q_75=(Q_319 join Q_318)
943 Q_320={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
944 Q_321={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
945 Q_76=(Q_321 join Q_320)
946 Q_322={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
947 Q_323={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
948 Q_77=(Q_323 join Q_322)
949 Q_324={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
950 Q_325={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
951 Q_78=(Q_325 join Q_324)
952 Q_326={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
953 Q_327={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
954 Q_79=(Q_327 join Q_326)
955 Q_328={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
956 Q_329={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
957 Q_80=(Q_329 join Q_328)
958 Q_330={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
959 Q_331={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
960 Q_81=(Q_331 join Q_330)
961 Q_332={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
962 Q_333={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
963 Q_82=(Q_333 join Q_332)
964 Q_334={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
965 Q_335={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
966 Q_83=(Q_335 join Q_334)
967 Q_336={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
968 Q_337={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
969 Q_84=(Q_337 join Q_336)
970 Q_338={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
971 Q_339={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
972 Q_85=(Q_339 join Q_338)
973 Q_340={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
974 Q_341={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
975 Q_86=(Q_341 join Q_340)
976 Q_342={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
977 Q_343={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
978 Q_87=(Q_343 join Q_342)
979 Q_344={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
980 Q_345={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
981 Q_88=(Q_345 join Q_344)
982 Q_346={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
983 Q_347={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
984 Q_89=(Q_347 join Q_346)
985 Q_348={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
986 Q_349={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
987 Q_90=(Q_349 join Q_348)
988 Q_350={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
989 Q_351={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
990 Q_91=(Q_351 join Q_350)
991 Q_352={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
992 Q_353={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
993 Q_92=(Q_353 join Q_352)
994 Q_354={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
995 Q_355={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
996 Q_93=(Q_355 join Q_354)
997 Q_356={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
998 Q_357={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
999 Q_94=(Q_357 join Q_356)
1000 Q_358={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1001 Q_359={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1002 Q_95=(Q_359 join Q_358)
1003 Q_360={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1004 Q_361={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1005 Q_96=(Q_361 join Q_360)
1006 Q_362={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1007 Q_363={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1008 Q_97=(Q_363 join Q_362)
1009 Q_364={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1010 Q_365={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1011 Q_98=(Q_365 join Q_364)
1012 Q_366={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1013 Q_367={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1014 Q_99=(Q_367 join Q_366)
1015 Q_368={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1016 Q_369={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1017 Q_100=(Q_369 join Q_368)
1018 Q_370={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1019 Q_371={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1020 Q_101=(Q_371 join Q_370)
1021 Q_372={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1022 Q_373={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1023 Q_102=(Q_373 join Q_372)
1024 Q_374={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1025 Q_375={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1026 Q_103=(Q_375 join Q_374)
1027 Q_376={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1028 Q_377={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1029 Q_104=(Q_377 join Q_376)
1030 Q_378={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1031 Q_379={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1032 Q_105=(Q_379 join Q_378)
1033 Q_380={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1034 Q_381={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1035 Q_106=(Q_381 join Q_380)
1036 Q_382={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1037 Q_383={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1038 Q_107=(Q_383 join Q_382)
1039 Q_384={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1040 Q_385={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1041 Q_108=(Q_385 join Q_384)
1042 Q_386={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1043 Q_387={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1044 Q_109=(Q_387 join Q_386)
1045 Q_388={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1046 Q_389={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1047 Q_110=(Q_389 join Q_388)
1048 Q_390={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1049 Q_391={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1050 Q_111=(Q_391 join Q_390)
1051 Q_392={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1052 Q_393={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1053 Q_112=(Q_393 join Q_392)
1054 Q_394={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1055 Q_395={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1056 Q_113=(Q_395 join Q_394)
1057 Q_396={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1058 Q_397={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1059 Q_114=(Q_397 join Q_396)
1060 Q_398={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1061 Q_399={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1062 Q_115=(Q_399 join Q_398)
1063 Q_400={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1064 Q_401={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1065 Q_116=(Q_401 join Q_400)
1066 Q_402={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1067 Q_403={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1068 Q_117=(Q_403 join Q_402)
1069 Q_404={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1070 Q_405={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1071 Q_118=(Q_405 join Q_404)
1072 Q_406={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1073 Q_407={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1074 Q_119=(Q_407 join Q_406)
1075 Q_408={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1076 Q_409={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1077 Q_120=(Q_409 join Q_408)
1078 Q_410={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1079 Q_411={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1080 Q_121=(Q_411 join Q_410)
1081 Q_412={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1082 Q_413={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1083 Q_122=(Q_413 join Q_412)
1084 Q_414={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1085 Q_415={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1086 Q_123=(Q_415 join Q_414)
1087 Q_416={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1088 Q_417={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1089 Q_124=(Q_417 join Q_416)
1090 Q_418={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1091 Q_419={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1092 Q_125=(Q_419 join Q_418)
1093 Q_420={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1094 Q_421={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1095 Q_126=(Q_421 join Q_420)
1096 Q_422={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1097 Q_423={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1098 Q_127=(Q_423 join Q_422)
1099 Q_424={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1100 Q_425={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1101 Q_128=(Q_425 join Q_424)
1102 Q_426={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1103 Q_427={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1104 Q_129=(Q_427 join Q_426)
1105 Q_428={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1106 Q_429={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1107 Q_130=(Q_429 join Q_428)
1108 Q_430={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1109 Q_431={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1110 Q_131=(Q_431 join Q_430)
1111 Q_432={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1112 Q_433={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1113 Q_132=(Q_433 join Q_432)
1114 Q_434={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1115 Q_435={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1116 Q_133=(Q_435 join Q_434)
1117 Q_436={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1118 Q_437={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1119 Q_134=(Q_437 join Q_436)
1120 Q_438={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1121 Q_439={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1122 Q_135=(Q_439 join Q_438)
1123 Q_440={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1124 Q_441={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1125 Q_136=(Q_441 join Q_440)
1126 Q_442={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1127 Q_443={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1128 Q_137=(Q_443 join Q_442)
1129 Q_444={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1130 Q_445={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1131 Q_138=(Q_445 join Q_444)
1132 Q_446={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1133 Q_447={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1134 Q_139=(Q_447 join Q_446)
1135 Q_448={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1136 Q_449={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1137 Q_140=(Q_449 join Q_448)
1138 Q_450={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1139 Q_451={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1140 Q_141=(Q_451 join Q_450)
1141 Q_452={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1142 Q_453={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1143 Q_142=(Q_453 join Q_452)
1144 Q_454={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1145 Q_455={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1146 Q_143=(Q_455 join Q_454)
1147 Q_456={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1148 Q_457={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1149 Q_144=(Q_457 join Q_456)
1150 Q_458={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1151 Q_459={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1152 Q_145=(Q_459 join Q_458)
1153 Q_460={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1154 Q_461={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1155 Q_146=(Q_461 join Q_460)
1156 Q_462={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1157 Q_463={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1158 Q_147=(Q_463 join Q_462)
1159 Q_464={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1160 Q_465={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1161 Q_148=(Q_465 join Q_464)
1162 Q_466={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1163 Q_467={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1164 Q_149=(Q_467 join Q_466)
1165 Q_468={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1166 Q_469={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1167 Q_150=(Q_469 join Q_468)
1168 Q_470={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1169 Q_471={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1170 Q_151=(Q_471 join Q_470)
1171 Q_472={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1172 Q_473={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1173 Q_152=(Q_473 join Q_472)
1174 Q_474={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1175 Q_475={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1176 Q_153=(Q_475 join Q_474)
1177 Q_476={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1178 Q_477={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1179 Q_154=(Q_477 join Q_476)
1180 Q_478={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1181 Q_479={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1182 Q_155=(Q_479 join Q_478)
1183 Q_480={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1184 Q_481={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1185 Q_156=(Q_481 join Q_480)
1186 Q_482={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1187 Q_483={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1188 Q_157=(Q_483 join Q_482)
1189 Q_484={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1190 Q_485={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1191 Q_158=(Q_485 join Q_484)
1192 Q_486={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1193 Q_487={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1194 Q_159=(Q_487 join Q_486)
1195 Q_488={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1196 Q_489={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1197 Q_160=(Q_489 join Q_488)
1198 Q_490={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1199 Q_491={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1200 Q_161=(Q_491 join Q_490)
1201 Q_492={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1202 Q_493={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1203 Q_162=(Q_493 join Q_492)
1204 Q_494={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1205 Q_495={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1206 Q_163=(Q_495 join Q_494)
1207 Q_496={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1208 Q_497={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1209 Q_164=(Q_497 join Q_496)
1210 Q_498={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1211 Q_499={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1212 Q_165=(Q_499 join Q_498)
1213 Q_500={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1214 Q_501={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1215 Q_166=(Q_501 join Q_500)
1216 Q_502={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1217 Q_503={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1218 Q_167=(Q_503 join Q_502)
1219 Q_504={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1220 Q_505={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1221 Q_168=(Q_505 join Q_504)
1222 Q_506={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1223 Q_507={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1224 Q_169=(Q_507 join Q_506)
1225 in
1226 union(Q_169,Q_168,Q_167,Q_166,Q_165,Q_164,Q_163,Q_162,Q_161,Q_160,Q_159,Q_158,Q_157,Q_156,Q_155,Q_154,Q_153,Q_152,Q_151,Q_150,Q_149,Q_148,Q_147,Q_146,Q_145,Q_144,Q_143,Q_142,Q_141,Q_140,Q_139,Q_138,Q_137,Q_136,Q_135,Q_134,Q_133,Q_132,Q_131,Q_130,Q_129,Q_128,Q_127,Q_126,Q_125,Q_124,Q_123,Q_122,Q_121,Q_120,Q_119,Q_118,Q_117,Q_116,Q_115,Q_114,Q_113,Q_112,Q_111,Q_110,Q_109,Q_108,Q_107,Q_106,Q_105,Q_104,Q_103,Q_102,Q_101,Q_100,Q_99,Q_98,Q_97,Q_96,Q_95,Q_94,Q_93,Q_92,Q_91,Q_90,Q_89,Q_88,Q_87,Q_86,Q_85,Q_84,Q_83,Q_82,Q_81,Q_80,Q_79,Q_78,Q_77,Q_76,Q_75,Q_74,Q_73,Q_72,Q_71,Q_70,Q_69,Q_68,Q_67,Q_66,Q_65,Q_64,Q_63,Q_62,Q_61,Q_60,Q_59,Q_58,Q_57,Q_56,Q_55,Q_54,Q_53,Q_52,Q_51,Q_50,Q_49,Q_48,Q_47,Q_46,Q_45,Q_44,Q_43,Q_42,Q_41,Q_40,Q_39,Q_38,Q_37,Q_36,Q_35,Q_34,Q_33,Q_32,Q_31,Q_30,Q_29,Q_28,Q_27,Q_26,Q_25,Q_24,Q_23,Q_22,Q_21,Q_20,Q_19,Q_18,Q_17,Q_16,Q_15,Q_14,Q_13,Q_12,Q_11,Q_10,Q_9,Q_8,Q_7,Q_6,Q_5,Q_4,Q_3,Q_2,Q_1)
1227 end
1230 [Simple find/count query decomposition phase]
1232 Output:
1233 let
1234 Q_170={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1235 Q_171={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1236 Q_1=(Q_171 join Q_170)
1237 Q_172={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1238 Q_173={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1239 Q_2=(Q_173 join Q_172)
1240 Q_174={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1241 Q_175={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1242 Q_3=(Q_175 join Q_174)
1243 Q_176={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1244 Q_177={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1245 Q_4=(Q_177 join Q_176)
1246 Q_178={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1247 Q_179={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1248 Q_5=(Q_179 join Q_178)
1249 Q_180={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1250 Q_181={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1251 Q_6=(Q_181 join Q_180)
1252 Q_182={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1253 Q_183={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1254 Q_7=(Q_183 join Q_182)
1255 Q_184={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1256 Q_185={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1257 Q_8=(Q_185 join Q_184)
1258 Q_186={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1259 Q_187={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1260 Q_9=(Q_187 join Q_186)
1261 Q_188={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1262 Q_189={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1263 Q_10=(Q_189 join Q_188)
1264 Q_190={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1265 Q_191={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1266 Q_11=(Q_191 join Q_190)
1267 Q_192={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1268 Q_193={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1269 Q_12=(Q_193 join Q_192)
1270 Q_194={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1271 Q_195={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1272 Q_13=(Q_195 join Q_194)
1273 Q_196={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1274 Q_197={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1275 Q_14=(Q_197 join Q_196)
1276 Q_198={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1277 Q_199={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1278 Q_15=(Q_199 join Q_198)
1279 Q_200={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1280 Q_201={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1281 Q_16=(Q_201 join Q_200)
1282 Q_202={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1283 Q_203={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1284 Q_17=(Q_203 join Q_202)
1285 Q_204={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1286 Q_205={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1287 Q_18=(Q_205 join Q_204)
1288 Q_206={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1289 Q_207={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1290 Q_19=(Q_207 join Q_206)
1291 Q_208={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1292 Q_209={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1293 Q_20=(Q_209 join Q_208)
1294 Q_210={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1295 Q_211={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1296 Q_21=(Q_211 join Q_210)
1297 Q_212={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1298 Q_213={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1299 Q_22=(Q_213 join Q_212)
1300 Q_214={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1301 Q_215={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1302 Q_23=(Q_215 join Q_214)
1303 Q_216={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1304 Q_217={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1305 Q_24=(Q_217 join Q_216)
1306 Q_218={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1307 Q_219={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1308 Q_25=(Q_219 join Q_218)
1309 Q_220={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1310 Q_221={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1311 Q_26=(Q_221 join Q_220)
1312 Q_222={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1313 Q_223={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1314 Q_27=(Q_223 join Q_222)
1315 Q_224={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1316 Q_225={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1317 Q_28=(Q_225 join Q_224)
1318 Q_226={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1319 Q_227={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1320 Q_29=(Q_227 join Q_226)
1321 Q_228={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1322 Q_229={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1323 Q_30=(Q_229 join Q_228)
1324 Q_230={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1325 Q_231={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1326 Q_31=(Q_231 join Q_230)
1327 Q_232={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1328 Q_233={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1329 Q_32=(Q_233 join Q_232)
1330 Q_234={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1331 Q_235={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1332 Q_33=(Q_235 join Q_234)
1333 Q_236={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1334 Q_237={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1335 Q_34=(Q_237 join Q_236)
1336 Q_238={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1337 Q_239={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1338 Q_35=(Q_239 join Q_238)
1339 Q_240={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1340 Q_241={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1341 Q_36=(Q_241 join Q_240)
1342 Q_242={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1343 Q_243={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1344 Q_37=(Q_243 join Q_242)
1345 Q_244={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1346 Q_245={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1347 Q_38=(Q_245 join Q_244)
1348 Q_246={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1349 Q_247={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1350 Q_39=(Q_247 join Q_246)
1351 Q_248={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1352 Q_249={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1353 Q_40=(Q_249 join Q_248)
1354 Q_250={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1355 Q_251={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1356 Q_41=(Q_251 join Q_250)
1357 Q_252={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1358 Q_253={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1359 Q_42=(Q_253 join Q_252)
1360 Q_254={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1361 Q_255={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1362 Q_43=(Q_255 join Q_254)
1363 Q_256={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1364 Q_257={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1365 Q_44=(Q_257 join Q_256)
1366 Q_258={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1367 Q_259={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1368 Q_45=(Q_259 join Q_258)
1369 Q_260={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1370 Q_261={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1371 Q_46=(Q_261 join Q_260)
1372 Q_262={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1373 Q_263={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1374 Q_47=(Q_263 join Q_262)
1375 Q_264={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1376 Q_265={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1377 Q_48=(Q_265 join Q_264)
1378 Q_266={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1379 Q_267={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1380 Q_49=(Q_267 join Q_266)
1381 Q_268={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1382 Q_269={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1383 Q_50=(Q_269 join Q_268)
1384 Q_270={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1385 Q_271={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1386 Q_51=(Q_271 join Q_270)
1387 Q_272={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1388 Q_273={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1389 Q_52=(Q_273 join Q_272)
1390 Q_274={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1391 Q_275={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1392 Q_53=(Q_275 join Q_274)
1393 Q_276={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1394 Q_277={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1395 Q_54=(Q_277 join Q_276)
1396 Q_278={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1397 Q_279={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1398 Q_55=(Q_279 join Q_278)
1399 Q_280={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1400 Q_281={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1401 Q_56=(Q_281 join Q_280)
1402 Q_282={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1403 Q_283={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1404 Q_57=(Q_283 join Q_282)
1405 Q_284={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1406 Q_285={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1407 Q_58=(Q_285 join Q_284)
1408 Q_286={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1409 Q_287={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1410 Q_59=(Q_287 join Q_286)
1411 Q_288={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1412 Q_289={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1413 Q_60=(Q_289 join Q_288)
1414 Q_290={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1415 Q_291={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1416 Q_61=(Q_291 join Q_290)
1417 Q_292={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1418 Q_293={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1419 Q_62=(Q_293 join Q_292)
1420 Q_294={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1421 Q_295={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1422 Q_63=(Q_295 join Q_294)
1423 Q_296={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1424 Q_297={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1425 Q_64=(Q_297 join Q_296)
1426 Q_298={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1427 Q_299={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1428 Q_65=(Q_299 join Q_298)
1429 Q_300={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1430 Q_301={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1431 Q_66=(Q_301 join Q_300)
1432 Q_302={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1433 Q_303={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1434 Q_67=(Q_303 join Q_302)
1435 Q_304={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1436 Q_305={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1437 Q_68=(Q_305 join Q_304)
1438 Q_306={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1439 Q_307={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1440 Q_69=(Q_307 join Q_306)
1441 Q_308={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1442 Q_309={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1443 Q_70=(Q_309 join Q_308)
1444 Q_310={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1445 Q_311={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1446 Q_71=(Q_311 join Q_310)
1447 Q_312={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1448 Q_313={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1449 Q_72=(Q_313 join Q_312)
1450 Q_314={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1451 Q_315={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1452 Q_73=(Q_315 join Q_314)
1453 Q_316={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1454 Q_317={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1455 Q_74=(Q_317 join Q_316)
1456 Q_318={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1457 Q_319={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1458 Q_75=(Q_319 join Q_318)
1459 Q_320={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1460 Q_321={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1461 Q_76=(Q_321 join Q_320)
1462 Q_322={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1463 Q_323={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1464 Q_77=(Q_323 join Q_322)
1465 Q_324={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1466 Q_325={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1467 Q_78=(Q_325 join Q_324)
1468 Q_326={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1469 Q_327={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1470 Q_79=(Q_327 join Q_326)
1471 Q_328={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1472 Q_329={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1473 Q_80=(Q_329 join Q_328)
1474 Q_330={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1475 Q_331={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1476 Q_81=(Q_331 join Q_330)
1477 Q_332={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1478 Q_333={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1479 Q_82=(Q_333 join Q_332)
1480 Q_334={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1481 Q_335={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1482 Q_83=(Q_335 join Q_334)
1483 Q_336={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1484 Q_337={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1485 Q_84=(Q_337 join Q_336)
1486 Q_338={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1487 Q_339={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1488 Q_85=(Q_339 join Q_338)
1489 Q_340={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1490 Q_341={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1491 Q_86=(Q_341 join Q_340)
1492 Q_342={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1493 Q_343={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1494 Q_87=(Q_343 join Q_342)
1495 Q_344={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1496 Q_345={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1497 Q_88=(Q_345 join Q_344)
1498 Q_346={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1499 Q_347={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1500 Q_89=(Q_347 join Q_346)
1501 Q_348={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1502 Q_349={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1503 Q_90=(Q_349 join Q_348)
1504 Q_350={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1505 Q_351={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1506 Q_91=(Q_351 join Q_350)
1507 Q_352={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1508 Q_353={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1509 Q_92=(Q_353 join Q_352)
1510 Q_354={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1511 Q_355={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1512 Q_93=(Q_355 join Q_354)
1513 Q_356={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1514 Q_357={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1515 Q_94=(Q_357 join Q_356)
1516 Q_358={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1517 Q_359={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1518 Q_95=(Q_359 join Q_358)
1519 Q_360={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1520 Q_361={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1521 Q_96=(Q_361 join Q_360)
1522 Q_362={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1523 Q_363={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1524 Q_97=(Q_363 join Q_362)
1525 Q_364={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1526 Q_365={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1527 Q_98=(Q_365 join Q_364)
1528 Q_366={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1529 Q_367={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1530 Q_99=(Q_367 join Q_366)
1531 Q_368={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1532 Q_369={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1533 Q_100=(Q_369 join Q_368)
1534 Q_370={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1535 Q_371={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1536 Q_101=(Q_371 join Q_370)
1537 Q_372={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1538 Q_373={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1539 Q_102=(Q_373 join Q_372)
1540 Q_374={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1541 Q_375={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1542 Q_103=(Q_375 join Q_374)
1543 Q_376={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1544 Q_377={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1545 Q_104=(Q_377 join Q_376)
1546 Q_378={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1547 Q_379={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1548 Q_105=(Q_379 join Q_378)
1549 Q_380={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1550 Q_381={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1551 Q_106=(Q_381 join Q_380)
1552 Q_382={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1553 Q_383={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1554 Q_107=(Q_383 join Q_382)
1555 Q_384={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1556 Q_385={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1557 Q_108=(Q_385 join Q_384)
1558 Q_386={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1559 Q_387={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1560 Q_109=(Q_387 join Q_386)
1561 Q_388={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1562 Q_389={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1563 Q_110=(Q_389 join Q_388)
1564 Q_390={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1565 Q_391={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1566 Q_111=(Q_391 join Q_390)
1567 Q_392={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1568 Q_393={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1569 Q_112=(Q_393 join Q_392)
1570 Q_394={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1571 Q_395={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1572 Q_113=(Q_395 join Q_394)
1573 Q_396={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1574 Q_397={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1575 Q_114=(Q_397 join Q_396)
1576 Q_398={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1577 Q_399={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1578 Q_115=(Q_399 join Q_398)
1579 Q_400={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1580 Q_401={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1581 Q_116=(Q_401 join Q_400)
1582 Q_402={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1583 Q_403={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1584 Q_117=(Q_403 join Q_402)
1585 Q_404={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1586 Q_405={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1587 Q_118=(Q_405 join Q_404)
1588 Q_406={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1589 Q_407={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1590 Q_119=(Q_407 join Q_406)
1591 Q_408={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1592 Q_409={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1593 Q_120=(Q_409 join Q_408)
1594 Q_410={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1595 Q_411={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1596 Q_121=(Q_411 join Q_410)
1597 Q_412={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1598 Q_413={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1599 Q_122=(Q_413 join Q_412)
1600 Q_414={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1601 Q_415={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1602 Q_123=(Q_415 join Q_414)
1603 Q_416={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1604 Q_417={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1605 Q_124=(Q_417 join Q_416)
1606 Q_418={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1607 Q_419={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1608 Q_125=(Q_419 join Q_418)
1609 Q_420={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1610 Q_421={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1611 Q_126=(Q_421 join Q_420)
1612 Q_422={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1613 Q_423={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1614 Q_127=(Q_423 join Q_422)
1615 Q_424={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1616 Q_425={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1617 Q_128=(Q_425 join Q_424)
1618 Q_426={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1619 Q_427={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1620 Q_129=(Q_427 join Q_426)
1621 Q_428={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1622 Q_429={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1623 Q_130=(Q_429 join Q_428)
1624 Q_430={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1625 Q_431={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1626 Q_131=(Q_431 join Q_430)
1627 Q_432={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1628 Q_433={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1629 Q_132=(Q_433 join Q_432)
1630 Q_434={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1631 Q_435={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1632 Q_133=(Q_435 join Q_434)
1633 Q_436={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1634 Q_437={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1635 Q_134=(Q_437 join Q_436)
1636 Q_438={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1637 Q_439={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1638 Q_135=(Q_439 join Q_438)
1639 Q_440={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1640 Q_441={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1641 Q_136=(Q_441 join Q_440)
1642 Q_442={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1643 Q_443={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1644 Q_137=(Q_443 join Q_442)
1645 Q_444={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1646 Q_445={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1647 Q_138=(Q_445 join Q_444)
1648 Q_446={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1649 Q_447={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1650 Q_139=(Q_447 join Q_446)
1651 Q_448={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1652 Q_449={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1653 Q_140=(Q_449 join Q_448)
1654 Q_450={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1655 Q_451={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1656 Q_141=(Q_451 join Q_450)
1657 Q_452={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1658 Q_453={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1659 Q_142=(Q_453 join Q_452)
1660 Q_454={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1661 Q_455={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1662 Q_143=(Q_455 join Q_454)
1663 Q_456={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1664 Q_457={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1665 Q_144=(Q_457 join Q_456)
1666 Q_458={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1667 Q_459={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1668 Q_145=(Q_459 join Q_458)
1669 Q_460={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1670 Q_461={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1671 Q_146=(Q_461 join Q_460)
1672 Q_462={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1673 Q_463={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1674 Q_147=(Q_463 join Q_462)
1675 Q_464={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1676 Q_465={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1677 Q_148=(Q_465 join Q_464)
1678 Q_466={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1679 Q_467={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1680 Q_149=(Q_467 join Q_466)
1681 Q_468={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1682 Q_469={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1683 Q_150=(Q_469 join Q_468)
1684 Q_470={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1685 Q_471={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1686 Q_151=(Q_471 join Q_470)
1687 Q_472={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1688 Q_473={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1689 Q_152=(Q_473 join Q_472)
1690 Q_474={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1691 Q_475={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1692 Q_153=(Q_475 join Q_474)
1693 Q_476={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1694 Q_477={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1695 Q_154=(Q_477 join Q_476)
1696 Q_478={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1697 Q_479={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1698 Q_155=(Q_479 join Q_478)
1699 Q_480={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1700 Q_481={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1701 Q_156=(Q_481 join Q_480)
1702 Q_482={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1703 Q_483={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1704 Q_157=(Q_483 join Q_482)
1705 Q_484={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1706 Q_485={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1707 Q_158=(Q_485 join Q_484)
1708 Q_486={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1709 Q_487={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1710 Q_159=(Q_487 join Q_486)
1711 Q_488={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1712 Q_489={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1713 Q_160=(Q_489 join Q_488)
1714 Q_490={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1715 Q_491={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1716 Q_161=(Q_491 join Q_490)
1717 Q_492={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1718 Q_493={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1719 Q_162=(Q_493 join Q_492)
1720 Q_494={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1721 Q_495={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1722 Q_163=(Q_495 join Q_494)
1723 Q_496={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1724 Q_497={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not c)}
1725 Q_164=(Q_497 join Q_496)
1726 Q_498={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1727 Q_499={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not d)}
1728 Q_165=(Q_499 join Q_498)
1729 Q_500={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1730 Q_501={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not e)}
1731 Q_166=(Q_501 join Q_500)
1732 Q_502={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1733 Q_503={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1734 Q_167=(Q_503 join Q_502)
1735 Q_504={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1736 Q_505={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1737 Q_168=(Q_505 join Q_504)
1738 Q_506={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not a)}
1739 Q_507={[a,b,c,d,e]:[a,b,c,d,e] in [X,Y,Z,W,U] | (not b)}
1740 Q_169=(Q_507 join Q_506)
1741 in
1742 union(Q_169,Q_168,Q_167,Q_166,Q_165,Q_164,Q_163,Q_162,Q_161,Q_160,Q_159,Q_158,Q_157,Q_156,Q_155,Q_154,Q_153,Q_152,Q_151,Q_150,Q_149,Q_148,Q_147,Q_146,Q_145,Q_144,Q_143,Q_142,Q_141,Q_140,Q_139,Q_138,Q_137,Q_136,Q_135,Q_134,Q_133,Q_132,Q_131,Q_130,Q_129,Q_128,Q_127,Q_126,Q_125,Q_124,Q_123,Q_122,Q_121,Q_120,Q_119,Q_118,Q_117,Q_116,Q_115,Q_114,Q_113,Q_112,Q_111,Q_110,Q_109,Q_108,Q_107,Q_106,Q_105,Q_104,Q_103,Q_102,Q_101,Q_100,Q_99,Q_98,Q_97,Q_96,Q_95,Q_94,Q_93,Q_92,Q_91,Q_90,Q_89,Q_88,Q_87,Q_86,Q_85,Q_84,Q_83,Q_82,Q_81,Q_80,Q_79,Q_78,Q_77,Q_76,Q_75,Q_74,Q_73,Q_72,Q_71,Q_70,Q_69,Q_68,Q_67,Q_66,Q_65,Q_64,Q_63,Q_62,Q_61,Q_60,Q_59,Q_58,Q_57,Q_56,Q_55,Q_54,Q_53,Q_52,Q_51,Q_50,Q_49,Q_48,Q_47,Q_46,Q_45,Q_44,Q_43,Q_42,Q_41,Q_40,Q_39,Q_38,Q_37,Q_36,Q_35,Q_34,Q_33,Q_32,Q_31,Q_30,Q_29,Q_28,Q_27,Q_26,Q_25,Q_24,Q_23,Q_22,Q_21,Q_20,Q_19,Q_18,Q_17,Q_16,Q_15,Q_14,Q_13,Q_12,Q_11,Q_10,Q_9,Q_8,Q_7,Q_6,Q_5,Q_4,Q_3,Q_2,Q_1)
1743 end