1array [1..11] of int: X_INTRODUCED_23 = [1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1];
2var 1..5: Q1:: output_var;
3var 1..5: Q2:: output_var;
4var 1..5: Q3:: output_var;
5var 1..5: Q4:: output_var;
6var 1..5: Q5:: output_var;
7var 1..5: Q6:: output_var;
8var 1..5: Q7:: output_var;
9var 1..5: Q8:: output_var;
10var 1..5: Q9:: output_var;
11var 1..5: Q10:: output_var;
12var bool: BeforeQ4:: is_defined_var;
13var bool: AfterQ4:: is_defined_var;
14var bool: BCD1:: is_defined_var;
15var bool: BCD2:: is_defined_var;
16var bool: BCD3:: is_defined_var;
17var bool: BCD4:: is_defined_var;
18var bool: BCD5:: is_defined_var;
19var bool: BCD6:: is_defined_var;
20var bool: BCD7:: is_defined_var;
21var bool: BCD8:: is_defined_var;
22var bool: BCD9:: is_defined_var;
23var bool: BCD10:: is_defined_var;
24var 0..10: BCD:: is_defined_var;
25var 0..10: AE:: is_defined_var;
26var bool: X_INTRODUCED_0 ::var_is_introduced :: is_defined_var;
27var bool: X_INTRODUCED_1 ::var_is_introduced :: is_defined_var;
28var bool: X_INTRODUCED_2 ::var_is_introduced :: is_defined_var;
29var bool: X_INTRODUCED_3 ::var_is_introduced :: is_defined_var;
30var bool: X_INTRODUCED_4 ::var_is_introduced :: is_defined_var;
31var bool: X_INTRODUCED_5 ::var_is_introduced :: is_defined_var;
32var bool: X_INTRODUCED_6 ::var_is_introduced :: is_defined_var;
33var bool: X_INTRODUCED_7 ::var_is_introduced :: is_defined_var;
34var bool: X_INTRODUCED_8 ::var_is_introduced :: is_defined_var;
35var bool: X_INTRODUCED_9 ::var_is_introduced :: is_defined_var;
36var 0..1: X_INTRODUCED_10 ::var_is_introduced :: is_defined_var;
37var 0..1: X_INTRODUCED_11 ::var_is_introduced :: is_defined_var;
38var 0..1: X_INTRODUCED_12 ::var_is_introduced :: is_defined_var;
39var 0..1: X_INTRODUCED_13 ::var_is_introduced :: is_defined_var;
40var 0..1: X_INTRODUCED_14 ::var_is_introduced :: is_defined_var;
41var 0..1: X_INTRODUCED_15 ::var_is_introduced :: is_defined_var;
42var 0..1: X_INTRODUCED_16 ::var_is_introduced :: is_defined_var;
43var 0..1: X_INTRODUCED_17 ::var_is_introduced :: is_defined_var;
44var 0..1: X_INTRODUCED_18 ::var_is_introduced :: is_defined_var;
45var 0..1: X_INTRODUCED_19 ::var_is_introduced :: is_defined_var;
46var 0..1: X_INTRODUCED_24 ::var_is_introduced :: is_defined_var;
47var 0..1: X_INTRODUCED_25 ::var_is_introduced :: is_defined_var;
48var 0..1: X_INTRODUCED_26 ::var_is_introduced :: is_defined_var;
49var 0..1: X_INTRODUCED_27 ::var_is_introduced :: is_defined_var;
50var 0..1: X_INTRODUCED_28 ::var_is_introduced :: is_defined_var;
51var 0..1: X_INTRODUCED_29 ::var_is_introduced :: is_defined_var;
52var 0..1: X_INTRODUCED_30 ::var_is_introduced :: is_defined_var;
53var 0..1: X_INTRODUCED_31 ::var_is_introduced :: is_defined_var;
54var 0..1: X_INTRODUCED_32 ::var_is_introduced :: is_defined_var;
55var 0..1: X_INTRODUCED_33 ::var_is_introduced :: is_defined_var;
56var bool: X_INTRODUCED_36 ::var_is_introduced :: is_defined_var;
57var bool: X_INTRODUCED_37 ::var_is_introduced :: is_defined_var;
58var bool: X_INTRODUCED_38 ::var_is_introduced :: is_defined_var;
59var bool: X_INTRODUCED_39 ::var_is_introduced :: is_defined_var;
60var bool: X_INTRODUCED_40 ::var_is_introduced :: is_defined_var;
61var bool: X_INTRODUCED_41 ::var_is_introduced :: is_defined_var;
62var bool: X_INTRODUCED_42 ::var_is_introduced :: is_defined_var;
63var bool: X_INTRODUCED_43 ::var_is_introduced :: is_defined_var;
64var bool: X_INTRODUCED_44 ::var_is_introduced :: is_defined_var;
65var bool: X_INTRODUCED_45 ::var_is_introduced :: is_defined_var;
66var bool: X_INTRODUCED_46 ::var_is_introduced :: is_defined_var;
67var bool: X_INTRODUCED_47 ::var_is_introduced :: is_defined_var;
68var bool: X_INTRODUCED_48 ::var_is_introduced :: is_defined_var;
69var bool: X_INTRODUCED_49 ::var_is_introduced :: is_defined_var;
70var bool: X_INTRODUCED_50 ::var_is_introduced :: is_defined_var;
71var bool: X_INTRODUCED_51 ::var_is_introduced :: is_defined_var;
72var bool: X_INTRODUCED_52 ::var_is_introduced :: is_defined_var;
73var bool: X_INTRODUCED_53 ::var_is_introduced :: is_defined_var;
74var bool: X_INTRODUCED_54 ::var_is_introduced :: is_defined_var;
75var bool: X_INTRODUCED_55 ::var_is_introduced :: is_defined_var;
76var bool: X_INTRODUCED_56 ::var_is_introduced :: is_defined_var;
77var bool: X_INTRODUCED_57 ::var_is_introduced :: is_defined_var;
78var bool: X_INTRODUCED_58 ::var_is_introduced :: is_defined_var;
79var bool: X_INTRODUCED_59 ::var_is_introduced :: is_defined_var;
80var bool: X_INTRODUCED_60 ::var_is_introduced :: is_defined_var;
81var bool: X_INTRODUCED_61 ::var_is_introduced :: is_defined_var;
82var bool: X_INTRODUCED_62 ::var_is_introduced :: is_defined_var;
83var bool: X_INTRODUCED_63 ::var_is_introduced :: is_defined_var;
84var bool: X_INTRODUCED_64 ::var_is_introduced :: is_defined_var;
85var bool: X_INTRODUCED_65 ::var_is_introduced :: is_defined_var;
86var bool: X_INTRODUCED_66 ::var_is_introduced :: is_defined_var;
87var bool: X_INTRODUCED_67 ::var_is_introduced :: is_defined_var;
88var bool: X_INTRODUCED_68 ::var_is_introduced :: is_defined_var;
89var bool: X_INTRODUCED_69 ::var_is_introduced :: is_defined_var;
90var bool: X_INTRODUCED_70 ::var_is_introduced :: is_defined_var;
91var bool: X_INTRODUCED_71 ::var_is_introduced :: is_defined_var;
92var bool: X_INTRODUCED_72 ::var_is_introduced :: is_defined_var;
93var bool: X_INTRODUCED_73 ::var_is_introduced :: is_defined_var;
94var bool: X_INTRODUCED_74 ::var_is_introduced :: is_defined_var;
95var bool: X_INTRODUCED_75 ::var_is_introduced :: is_defined_var;
96var bool: X_INTRODUCED_76 ::var_is_introduced :: is_defined_var;
97var bool: X_INTRODUCED_77 ::var_is_introduced :: is_defined_var;
98var bool: X_INTRODUCED_78 ::var_is_introduced :: is_defined_var;
99var bool: X_INTRODUCED_79 ::var_is_introduced :: is_defined_var;
100var bool: X_INTRODUCED_80 ::var_is_introduced :: is_defined_var;
101var bool: X_INTRODUCED_81 ::var_is_introduced :: is_defined_var;
102var bool: X_INTRODUCED_82 ::var_is_introduced :: is_defined_var;
103var bool: X_INTRODUCED_83 ::var_is_introduced :: is_defined_var;
104var bool: X_INTRODUCED_84 ::var_is_introduced :: is_defined_var;
105var bool: X_INTRODUCED_85 ::var_is_introduced :: is_defined_var;
106var bool: X_INTRODUCED_86 ::var_is_introduced :: is_defined_var;
107var bool: X_INTRODUCED_87 ::var_is_introduced :: is_defined_var;
108var bool: X_INTRODUCED_88 ::var_is_introduced :: is_defined_var;
109var bool: X_INTRODUCED_89 ::var_is_introduced :: is_defined_var;
110var bool: X_INTRODUCED_90 ::var_is_introduced :: is_defined_var;
111var bool: X_INTRODUCED_91 ::var_is_introduced :: is_defined_var;
112var bool: X_INTRODUCED_92 ::var_is_introduced :: is_defined_var;
113var bool: X_INTRODUCED_93 ::var_is_introduced :: is_defined_var;
114var bool: X_INTRODUCED_94 ::var_is_introduced :: is_defined_var;
115var bool: X_INTRODUCED_95 ::var_is_introduced :: is_defined_var;
116var bool: X_INTRODUCED_96 ::var_is_introduced :: is_defined_var;
117var bool: X_INTRODUCED_97 ::var_is_introduced :: is_defined_var;
118var bool: X_INTRODUCED_98 ::var_is_introduced :: is_defined_var;
119var bool: X_INTRODUCED_99 ::var_is_introduced :: is_defined_var;
120var bool: X_INTRODUCED_100 ::var_is_introduced :: is_defined_var;
121var bool: X_INTRODUCED_101 ::var_is_introduced :: is_defined_var;
122var bool: X_INTRODUCED_102 ::var_is_introduced :: is_defined_var;
123var bool: X_INTRODUCED_103 ::var_is_introduced :: is_defined_var;
124var bool: X_INTRODUCED_104 ::var_is_introduced :: is_defined_var;
125var bool: X_INTRODUCED_105 ::var_is_introduced :: is_defined_var;
126var bool: X_INTRODUCED_106 ::var_is_introduced :: is_defined_var;
127var bool: X_INTRODUCED_107 ::var_is_introduced :: is_defined_var;
128var bool: X_INTRODUCED_108 ::var_is_introduced :: is_defined_var;
129var bool: X_INTRODUCED_109 ::var_is_introduced :: is_defined_var;
130var bool: X_INTRODUCED_110 ::var_is_introduced :: is_defined_var;
131var bool: X_INTRODUCED_111 ::var_is_introduced :: is_defined_var;
132var bool: X_INTRODUCED_112 ::var_is_introduced :: is_defined_var;
133var bool: X_INTRODUCED_113 ::var_is_introduced :: is_defined_var;
134var bool: X_INTRODUCED_114 ::var_is_introduced :: is_defined_var;
135var bool: X_INTRODUCED_115 ::var_is_introduced :: is_defined_var;
136var bool: X_INTRODUCED_116 ::var_is_introduced :: is_defined_var;
137var bool: X_INTRODUCED_117 ::var_is_introduced :: is_defined_var;
138var bool: X_INTRODUCED_118 ::var_is_introduced :: is_defined_var;
139var bool: X_INTRODUCED_119 ::var_is_introduced :: is_defined_var;
140var bool: X_INTRODUCED_120 ::var_is_introduced :: is_defined_var;
141var bool: X_INTRODUCED_121 ::var_is_introduced :: is_defined_var;
142var bool: X_INTRODUCED_122 ::var_is_introduced :: is_defined_var;
143var bool: X_INTRODUCED_123 ::var_is_introduced :: is_defined_var;
144var bool: X_INTRODUCED_124 ::var_is_introduced :: is_defined_var;
145var bool: X_INTRODUCED_125 ::var_is_introduced :: is_defined_var;
146var bool: X_INTRODUCED_126 ::var_is_introduced :: is_defined_var;
147var bool: X_INTRODUCED_127 ::var_is_introduced :: is_defined_var;
148var bool: X_INTRODUCED_128 ::var_is_introduced :: is_defined_var;
149var bool: X_INTRODUCED_129 ::var_is_introduced :: is_defined_var;
150var bool: X_INTRODUCED_130 ::var_is_introduced :: is_defined_var;
151var bool: X_INTRODUCED_131 ::var_is_introduced :: is_defined_var;
152var bool: X_INTRODUCED_132 ::var_is_introduced :: is_defined_var;
153var bool: X_INTRODUCED_133 ::var_is_introduced :: is_defined_var;
154array [1..10] of var int: LD = [Q1,Q2,Q3,Q4,Q5,Q6,Q7,Q8,Q9,Q10];
155array [1..11] of var int: X_INTRODUCED_22 ::var_is_introduced  = [AE,X_INTRODUCED_19,X_INTRODUCED_18,X_INTRODUCED_17,X_INTRODUCED_16,X_INTRODUCED_15,X_INTRODUCED_14,X_INTRODUCED_13,X_INTRODUCED_12,X_INTRODUCED_11,X_INTRODUCED_10];
156array [1..11] of var int: X_INTRODUCED_35 ::var_is_introduced  = [BCD,X_INTRODUCED_33,X_INTRODUCED_32,X_INTRODUCED_31,X_INTRODUCED_30,X_INTRODUCED_29,X_INTRODUCED_28,X_INTRODUCED_27,X_INTRODUCED_26,X_INTRODUCED_25,X_INTRODUCED_24];
157constraint int_eq_reif(AE,4,X_INTRODUCED_0):: defines_var(X_INTRODUCED_0);
158constraint int_eq_reif(AE,3,X_INTRODUCED_1):: defines_var(X_INTRODUCED_1);
159constraint int_eq_reif(AE,2,X_INTRODUCED_2):: defines_var(X_INTRODUCED_2);
160constraint int_eq_reif(AE,1,X_INTRODUCED_3):: defines_var(X_INTRODUCED_3);
161constraint int_eq_reif(AE,0,X_INTRODUCED_4):: defines_var(X_INTRODUCED_4);
162constraint int_eq_reif(BCD,3,X_INTRODUCED_5):: defines_var(X_INTRODUCED_5);
163constraint int_eq_reif(BCD,4,X_INTRODUCED_6):: defines_var(X_INTRODUCED_6);
164constraint int_eq_reif(BCD,5,X_INTRODUCED_7):: defines_var(X_INTRODUCED_7);
165constraint int_eq_reif(BCD,6,X_INTRODUCED_8):: defines_var(X_INTRODUCED_8);
166constraint int_eq_reif(BCD,7,X_INTRODUCED_9):: defines_var(X_INTRODUCED_9);
167constraint int_lin_eq(X_INTRODUCED_23,X_INTRODUCED_22,0):: defines_var(AE);
168constraint int_lin_eq(X_INTRODUCED_23,X_INTRODUCED_35,0):: defines_var(BCD);
169constraint array_bool_and([X_INTRODUCED_0,X_INTRODUCED_67],X_INTRODUCED_66):: defines_var(X_INTRODUCED_66);
170constraint array_bool_and([X_INTRODUCED_5,X_INTRODUCED_67,X_INTRODUCED_69],X_INTRODUCED_68):: defines_var(X_INTRODUCED_68);
171constraint array_bool_and([X_INTRODUCED_66,X_INTRODUCED_67,X_INTRODUCED_69,X_INTRODUCED_71],X_INTRODUCED_70):: defines_var(X_INTRODUCED_70);
172constraint array_bool_and([X_INTRODUCED_67,X_INTRODUCED_69,X_INTRODUCED_71,X_INTRODUCED_73,X_INTRODUCED_74],X_INTRODUCED_72):: defines_var(X_INTRODUCED_72);
173constraint array_bool_and([X_INTRODUCED_67,X_INTRODUCED_69,X_INTRODUCED_71,X_INTRODUCED_73,X_INTRODUCED_76,X_INTRODUCED_77],X_INTRODUCED_75):: defines_var(X_INTRODUCED_75);
174constraint array_bool_and([X_INTRODUCED_79,X_INTRODUCED_80,X_INTRODUCED_81,X_INTRODUCED_82,X_INTRODUCED_83,X_INTRODUCED_84,X_INTRODUCED_85,X_INTRODUCED_86,X_INTRODUCED_87,X_INTRODUCED_88],X_INTRODUCED_78):: defines_var(X_INTRODUCED_78);
175constraint array_bool_and([BeforeQ4,AfterQ4],X_INTRODUCED_89):: defines_var(X_INTRODUCED_89);
176constraint array_bool_and([AfterQ4,X_INTRODUCED_91],X_INTRODUCED_90):: defines_var(X_INTRODUCED_90);
177constraint array_bool_and([BeforeQ4,X_INTRODUCED_93],X_INTRODUCED_92):: defines_var(X_INTRODUCED_92);
178constraint array_bool_and([X_INTRODUCED_2,X_INTRODUCED_100,X_INTRODUCED_101,X_INTRODUCED_102,X_INTRODUCED_103],X_INTRODUCED_77):: defines_var(X_INTRODUCED_77);
179constraint array_bool_and([X_INTRODUCED_70,X_INTRODUCED_100,X_INTRODUCED_102,X_INTRODUCED_104,X_INTRODUCED_105],X_INTRODUCED_98):: defines_var(X_INTRODUCED_98);
180constraint array_bool_and([X_INTRODUCED_100,X_INTRODUCED_101,X_INTRODUCED_103,X_INTRODUCED_105,X_INTRODUCED_106],X_INTRODUCED_106):: defines_var(X_INTRODUCED_106);
181constraint array_bool_and([X_INTRODUCED_100,X_INTRODUCED_102,X_INTRODUCED_103,X_INTRODUCED_105,X_INTRODUCED_108],X_INTRODUCED_107):: defines_var(X_INTRODUCED_107);
182constraint array_bool_and([X_INTRODUCED_101,X_INTRODUCED_102,X_INTRODUCED_103,X_INTRODUCED_105,X_INTRODUCED_110],X_INTRODUCED_109):: defines_var(X_INTRODUCED_109);
183constraint array_bool_and([X_INTRODUCED_112,X_INTRODUCED_113,X_INTRODUCED_114,X_INTRODUCED_115,X_INTRODUCED_116],X_INTRODUCED_111):: defines_var(X_INTRODUCED_111);
184constraint array_bool_and([X_INTRODUCED_8,X_INTRODUCED_112,X_INTRODUCED_113,X_INTRODUCED_114],X_INTRODUCED_97):: defines_var(X_INTRODUCED_97);
185constraint array_bool_and([X_INTRODUCED_90,X_INTRODUCED_112,X_INTRODUCED_113],X_INTRODUCED_117):: defines_var(X_INTRODUCED_117);
186constraint array_bool_and([X_INTRODUCED_112,X_INTRODUCED_118],X_INTRODUCED_118):: defines_var(X_INTRODUCED_118);
187constraint int_eq_reif(Q2,2,X_INTRODUCED_119):: defines_var(X_INTRODUCED_119);
188constraint array_bool_and([X_INTRODUCED_9,X_INTRODUCED_121,X_INTRODUCED_122,X_INTRODUCED_123,X_INTRODUCED_124],X_INTRODUCED_120):: defines_var(X_INTRODUCED_120);
189constraint array_bool_and([X_INTRODUCED_75,X_INTRODUCED_121,X_INTRODUCED_122,X_INTRODUCED_123],X_INTRODUCED_96):: defines_var(X_INTRODUCED_96);
190constraint array_bool_and([X_INTRODUCED_92,X_INTRODUCED_121,X_INTRODUCED_122],X_INTRODUCED_108):: defines_var(X_INTRODUCED_108);
191constraint array_bool_and([X_INTRODUCED_109,X_INTRODUCED_121],X_INTRODUCED_125):: defines_var(X_INTRODUCED_125);
192constraint bool_eq(X_INTRODUCED_126,X_INTRODUCED_119);
193constraint int_eq_reif(Q7,Q8,X_INTRODUCED_127):: defines_var(X_INTRODUCED_127);
194constraint int_eq_reif(Q6,Q7,X_INTRODUCED_95):: defines_var(X_INTRODUCED_95);
195constraint int_eq_reif(Q5,Q6,X_INTRODUCED_128):: defines_var(X_INTRODUCED_128);
196constraint int_eq_reif(Q4,Q5,X_INTRODUCED_119):: defines_var(X_INTRODUCED_119);
197constraint int_eq_reif(Q3,Q4,X_INTRODUCED_129):: defines_var(X_INTRODUCED_129);
198constraint int_eq_reif(Q1,1,X_INTRODUCED_99):: defines_var(X_INTRODUCED_99);
199constraint array_bool_and([X_INTRODUCED_129,X_INTRODUCED_130],X_INTRODUCED_110):: defines_var(X_INTRODUCED_110);
200constraint array_bool_and([X_INTRODUCED_126,X_INTRODUCED_130,X_INTRODUCED_132],X_INTRODUCED_131):: defines_var(X_INTRODUCED_131);
201constraint array_bool_and([X_INTRODUCED_119,X_INTRODUCED_130,X_INTRODUCED_132,X_INTRODUCED_133],X_INTRODUCED_99):: defines_var(X_INTRODUCED_99);
202constraint array_bool_or([X_INTRODUCED_95,X_INTRODUCED_96,X_INTRODUCED_97,X_INTRODUCED_98,X_INTRODUCED_99],BeforeQ4):: defines_var(BeforeQ4);
203constraint array_bool_or([X_INTRODUCED_1,X_INTRODUCED_6,X_INTRODUCED_68,X_INTRODUCED_94],AfterQ4):: defines_var(AfterQ4);
204constraint array_bool_and([X_INTRODUCED_64,X_INTRODUCED_65],BCD1):: defines_var(BCD1);
205constraint array_bool_and([X_INTRODUCED_61,X_INTRODUCED_62],BCD2):: defines_var(BCD2);
206constraint array_bool_and([X_INTRODUCED_58,X_INTRODUCED_59],BCD3):: defines_var(BCD3);
207constraint array_bool_and([X_INTRODUCED_55,X_INTRODUCED_56],BCD4):: defines_var(BCD4);
208constraint array_bool_and([X_INTRODUCED_52,X_INTRODUCED_53],BCD5):: defines_var(BCD5);
209constraint array_bool_and([X_INTRODUCED_49,X_INTRODUCED_50],BCD6):: defines_var(BCD6);
210constraint array_bool_and([X_INTRODUCED_46,X_INTRODUCED_47],BCD7):: defines_var(BCD7);
211constraint array_bool_and([X_INTRODUCED_43,X_INTRODUCED_44],BCD8):: defines_var(BCD8);
212constraint array_bool_and([X_INTRODUCED_40,X_INTRODUCED_41],BCD9):: defines_var(BCD9);
213constraint array_bool_and([X_INTRODUCED_37,X_INTRODUCED_38],BCD10):: defines_var(BCD10);
214constraint int_eq_reif(Q9,5,X_INTRODUCED_0):: defines_var(X_INTRODUCED_0);
215constraint int_eq_reif(Q9,4,X_INTRODUCED_1):: defines_var(X_INTRODUCED_1);
216constraint int_eq_reif(Q9,3,X_INTRODUCED_2):: defines_var(X_INTRODUCED_2);
217constraint int_eq_reif(Q9,2,X_INTRODUCED_3):: defines_var(X_INTRODUCED_3);
218constraint int_eq_reif(Q9,1,X_INTRODUCED_4):: defines_var(X_INTRODUCED_4);
219constraint int_eq_reif(Q8,5,X_INTRODUCED_5):: defines_var(X_INTRODUCED_5);
220constraint int_eq_reif(Q8,4,X_INTRODUCED_6):: defines_var(X_INTRODUCED_6);
221constraint int_eq_reif(Q8,3,X_INTRODUCED_7):: defines_var(X_INTRODUCED_7);
222constraint int_eq_reif(Q8,2,X_INTRODUCED_8):: defines_var(X_INTRODUCED_8);
223constraint int_eq_reif(Q8,1,X_INTRODUCED_9):: defines_var(X_INTRODUCED_9);
224constraint bool2int(X_INTRODUCED_36,X_INTRODUCED_10):: defines_var(X_INTRODUCED_10);
225constraint bool2int(X_INTRODUCED_63,X_INTRODUCED_11):: defines_var(X_INTRODUCED_11);
226constraint bool2int(X_INTRODUCED_60,X_INTRODUCED_12):: defines_var(X_INTRODUCED_12);
227constraint bool2int(X_INTRODUCED_57,X_INTRODUCED_13):: defines_var(X_INTRODUCED_13);
228constraint bool2int(X_INTRODUCED_54,X_INTRODUCED_14):: defines_var(X_INTRODUCED_14);
229constraint bool2int(X_INTRODUCED_51,X_INTRODUCED_15):: defines_var(X_INTRODUCED_15);
230constraint bool2int(X_INTRODUCED_48,X_INTRODUCED_16):: defines_var(X_INTRODUCED_16);
231constraint bool2int(X_INTRODUCED_45,X_INTRODUCED_17):: defines_var(X_INTRODUCED_17);
232constraint bool2int(X_INTRODUCED_42,X_INTRODUCED_18):: defines_var(X_INTRODUCED_18);
233constraint bool2int(X_INTRODUCED_39,X_INTRODUCED_19):: defines_var(X_INTRODUCED_19);
234constraint bool2int(BCD10,X_INTRODUCED_24):: defines_var(X_INTRODUCED_24);
235constraint bool2int(BCD1,X_INTRODUCED_25):: defines_var(X_INTRODUCED_25);
236constraint bool2int(BCD2,X_INTRODUCED_26):: defines_var(X_INTRODUCED_26);
237constraint bool2int(BCD3,X_INTRODUCED_27):: defines_var(X_INTRODUCED_27);
238constraint bool2int(BCD4,X_INTRODUCED_28):: defines_var(X_INTRODUCED_28);
239constraint bool2int(BCD5,X_INTRODUCED_29):: defines_var(X_INTRODUCED_29);
240constraint bool2int(BCD6,X_INTRODUCED_30):: defines_var(X_INTRODUCED_30);
241constraint bool2int(BCD7,X_INTRODUCED_31):: defines_var(X_INTRODUCED_31);
242constraint bool2int(BCD8,X_INTRODUCED_32):: defines_var(X_INTRODUCED_32);
243constraint bool2int(BCD9,X_INTRODUCED_33):: defines_var(X_INTRODUCED_33);
244constraint bool_eq_reif(BCD10,false,X_INTRODUCED_36):: defines_var(X_INTRODUCED_36);
245constraint int_le_reif(Q10,4,X_INTRODUCED_37):: defines_var(X_INTRODUCED_37);
246constraint int_le_reif(2,Q10,X_INTRODUCED_38):: defines_var(X_INTRODUCED_38);
247constraint bool_eq_reif(BCD9,false,X_INTRODUCED_39):: defines_var(X_INTRODUCED_39);
248constraint int_le_reif(Q9,4,X_INTRODUCED_40):: defines_var(X_INTRODUCED_40);
249constraint int_le_reif(2,Q9,X_INTRODUCED_41):: defines_var(X_INTRODUCED_41);
250constraint bool_eq_reif(BCD8,false,X_INTRODUCED_42):: defines_var(X_INTRODUCED_42);
251constraint int_le_reif(Q8,4,X_INTRODUCED_43):: defines_var(X_INTRODUCED_43);
252constraint int_le_reif(2,Q8,X_INTRODUCED_44):: defines_var(X_INTRODUCED_44);
253constraint bool_eq_reif(BCD7,false,X_INTRODUCED_45):: defines_var(X_INTRODUCED_45);
254constraint int_le_reif(Q7,4,X_INTRODUCED_46):: defines_var(X_INTRODUCED_46);
255constraint int_le_reif(2,Q7,X_INTRODUCED_47):: defines_var(X_INTRODUCED_47);
256constraint bool_eq_reif(BCD6,false,X_INTRODUCED_48):: defines_var(X_INTRODUCED_48);
257constraint int_le_reif(Q6,4,X_INTRODUCED_49):: defines_var(X_INTRODUCED_49);
258constraint int_le_reif(2,Q6,X_INTRODUCED_50):: defines_var(X_INTRODUCED_50);
259constraint bool_eq_reif(BCD5,false,X_INTRODUCED_51):: defines_var(X_INTRODUCED_51);
260constraint int_le_reif(Q5,4,X_INTRODUCED_52):: defines_var(X_INTRODUCED_52);
261constraint int_le_reif(2,Q5,X_INTRODUCED_53):: defines_var(X_INTRODUCED_53);
262constraint bool_eq_reif(BCD4,false,X_INTRODUCED_54):: defines_var(X_INTRODUCED_54);
263constraint int_le_reif(Q4,4,X_INTRODUCED_55):: defines_var(X_INTRODUCED_55);
264constraint int_le_reif(2,Q4,X_INTRODUCED_56):: defines_var(X_INTRODUCED_56);
265constraint bool_eq_reif(BCD3,false,X_INTRODUCED_57):: defines_var(X_INTRODUCED_57);
266constraint int_le_reif(Q3,4,X_INTRODUCED_58):: defines_var(X_INTRODUCED_58);
267constraint int_le_reif(2,Q3,X_INTRODUCED_59):: defines_var(X_INTRODUCED_59);
268constraint bool_eq_reif(BCD2,false,X_INTRODUCED_60):: defines_var(X_INTRODUCED_60);
269constraint int_le_reif(Q2,4,X_INTRODUCED_61):: defines_var(X_INTRODUCED_61);
270constraint int_le_reif(2,Q2,X_INTRODUCED_62):: defines_var(X_INTRODUCED_62);
271constraint bool_eq_reif(BCD1,false,X_INTRODUCED_63):: defines_var(X_INTRODUCED_63);
272constraint int_le_reif(Q1,4,X_INTRODUCED_64):: defines_var(X_INTRODUCED_64);
273constraint int_le_reif(2,Q1,X_INTRODUCED_65):: defines_var(X_INTRODUCED_65);
274constraint int_eq_reif(Q7,5,X_INTRODUCED_66):: defines_var(X_INTRODUCED_66);
275constraint int_ne_reif(Q10,5,X_INTRODUCED_67):: defines_var(X_INTRODUCED_67);
276constraint int_eq_reif(Q7,4,X_INTRODUCED_68):: defines_var(X_INTRODUCED_68);
277constraint int_ne_reif(Q9,5,X_INTRODUCED_69):: defines_var(X_INTRODUCED_69);
278constraint int_eq_reif(Q7,3,X_INTRODUCED_70):: defines_var(X_INTRODUCED_70);
279constraint int_ne_reif(Q8,5,X_INTRODUCED_71):: defines_var(X_INTRODUCED_71);
280constraint int_eq_reif(Q7,2,X_INTRODUCED_72):: defines_var(X_INTRODUCED_72);
281constraint int_ne_reif(Q7,5,X_INTRODUCED_73):: defines_var(X_INTRODUCED_73);
282constraint int_eq_reif(Q6,5,X_INTRODUCED_74):: defines_var(X_INTRODUCED_74);
283constraint int_eq_reif(Q7,1,X_INTRODUCED_75):: defines_var(X_INTRODUCED_75);
284constraint int_ne_reif(Q6,5,X_INTRODUCED_76):: defines_var(X_INTRODUCED_76);
285constraint int_eq_reif(Q5,5,X_INTRODUCED_77):: defines_var(X_INTRODUCED_77);
286constraint int_eq_reif(Q6,4,X_INTRODUCED_78):: defines_var(X_INTRODUCED_78);
287constraint int_ne_reif(Q2,4,X_INTRODUCED_79):: defines_var(X_INTRODUCED_79);
288constraint int_ne_reif(Q3,4,X_INTRODUCED_80):: defines_var(X_INTRODUCED_80);
289constraint int_ne_reif(Q4,4,X_INTRODUCED_81):: defines_var(X_INTRODUCED_81);
290constraint int_ne_reif(Q5,4,X_INTRODUCED_82):: defines_var(X_INTRODUCED_82);
291constraint int_ne_reif(Q6,4,X_INTRODUCED_83):: defines_var(X_INTRODUCED_83);
292constraint int_ne_reif(Q7,4,X_INTRODUCED_84):: defines_var(X_INTRODUCED_84);
293constraint int_ne_reif(Q8,4,X_INTRODUCED_85):: defines_var(X_INTRODUCED_85);
294constraint int_ne_reif(Q9,4,X_INTRODUCED_86):: defines_var(X_INTRODUCED_86);
295constraint int_ne_reif(Q10,4,X_INTRODUCED_87):: defines_var(X_INTRODUCED_87);
296constraint int_ne_reif(Q1,4,X_INTRODUCED_88):: defines_var(X_INTRODUCED_88);
297constraint int_eq_reif(Q6,3,X_INTRODUCED_89):: defines_var(X_INTRODUCED_89);
298constraint int_eq_reif(Q6,2,X_INTRODUCED_90):: defines_var(X_INTRODUCED_90);
299constraint bool_eq_reif(BeforeQ4,false,X_INTRODUCED_91):: defines_var(X_INTRODUCED_91);
300constraint int_eq_reif(Q6,1,X_INTRODUCED_92):: defines_var(X_INTRODUCED_92);
301constraint bool_eq_reif(AfterQ4,false,X_INTRODUCED_93):: defines_var(X_INTRODUCED_93);
302constraint int_eq_reif(Q10,4,X_INTRODUCED_94):: defines_var(X_INTRODUCED_94);
303constraint int_eq_reif(Q2,4,X_INTRODUCED_95):: defines_var(X_INTRODUCED_95);
304constraint int_eq_reif(Q3,4,X_INTRODUCED_96):: defines_var(X_INTRODUCED_96);
305constraint int_eq_reif(Q4,4,X_INTRODUCED_97):: defines_var(X_INTRODUCED_97);
306constraint int_eq_reif(Q5,4,X_INTRODUCED_98):: defines_var(X_INTRODUCED_98);
307constraint int_eq_reif(Q1,4,X_INTRODUCED_99):: defines_var(X_INTRODUCED_99);
308constraint int_ne_reif(Q1,3,X_INTRODUCED_100):: defines_var(X_INTRODUCED_100);
309constraint int_ne_reif(Q3,3,X_INTRODUCED_101):: defines_var(X_INTRODUCED_101);
310constraint int_ne_reif(Q5,3,X_INTRODUCED_102):: defines_var(X_INTRODUCED_102);
311constraint int_ne_reif(Q7,3,X_INTRODUCED_103):: defines_var(X_INTRODUCED_103);
312constraint int_ne_reif(Q2,3,X_INTRODUCED_104):: defines_var(X_INTRODUCED_104);
313constraint int_ne_reif(Q9,3,X_INTRODUCED_105):: defines_var(X_INTRODUCED_105);
314constraint int_eq_reif(Q5,3,X_INTRODUCED_106):: defines_var(X_INTRODUCED_106);
315constraint int_eq_reif(Q5,2,X_INTRODUCED_107):: defines_var(X_INTRODUCED_107);
316constraint int_eq_reif(Q3,3,X_INTRODUCED_108):: defines_var(X_INTRODUCED_108);
317constraint int_eq_reif(Q5,1,X_INTRODUCED_109):: defines_var(X_INTRODUCED_109);
318constraint int_eq_reif(Q1,3,X_INTRODUCED_110):: defines_var(X_INTRODUCED_110);
319constraint int_eq_reif(Q4,5,X_INTRODUCED_111):: defines_var(X_INTRODUCED_111);
320constraint int_ne_reif(Q2,2,X_INTRODUCED_112):: defines_var(X_INTRODUCED_112);
321constraint int_ne_reif(Q4,2,X_INTRODUCED_113):: defines_var(X_INTRODUCED_113);
322constraint int_ne_reif(Q6,2,X_INTRODUCED_114):: defines_var(X_INTRODUCED_114);
323constraint int_ne_reif(Q8,2,X_INTRODUCED_115):: defines_var(X_INTRODUCED_115);
324constraint int_eq_reif(Q10,2,X_INTRODUCED_116):: defines_var(X_INTRODUCED_116);
325constraint int_eq_reif(Q4,3,X_INTRODUCED_117):: defines_var(X_INTRODUCED_117);
326constraint int_eq_reif(Q4,2,X_INTRODUCED_118):: defines_var(X_INTRODUCED_118);
327constraint int_eq_reif(Q4,1,X_INTRODUCED_119):: defines_var(X_INTRODUCED_119);
328constraint int_eq_reif(Q3,5,X_INTRODUCED_120):: defines_var(X_INTRODUCED_120);
329constraint int_ne_reif(Q4,1,X_INTRODUCED_121):: defines_var(X_INTRODUCED_121);
330constraint int_ne_reif(Q5,1,X_INTRODUCED_122):: defines_var(X_INTRODUCED_122);
331constraint int_ne_reif(Q6,1,X_INTRODUCED_123):: defines_var(X_INTRODUCED_123);
332constraint int_ne_reif(Q7,1,X_INTRODUCED_124):: defines_var(X_INTRODUCED_124);
333constraint int_eq_reif(Q3,2,X_INTRODUCED_125):: defines_var(X_INTRODUCED_125);
334constraint int_eq_reif(Q3,1,X_INTRODUCED_126):: defines_var(X_INTRODUCED_126);
335constraint int_eq_reif(Q2,5,X_INTRODUCED_127):: defines_var(X_INTRODUCED_127);
336constraint int_eq_reif(Q2,3,X_INTRODUCED_128):: defines_var(X_INTRODUCED_128);
337constraint int_eq_reif(Q2,1,X_INTRODUCED_129):: defines_var(X_INTRODUCED_129);
338constraint int_ne_reif(Q1,1,X_INTRODUCED_130):: defines_var(X_INTRODUCED_130);
339constraint int_eq_reif(Q1,2,X_INTRODUCED_131):: defines_var(X_INTRODUCED_131);
340constraint int_ne_reif(Q2,1,X_INTRODUCED_132):: defines_var(X_INTRODUCED_132);
341constraint int_ne_reif(Q3,1,X_INTRODUCED_133):: defines_var(X_INTRODUCED_133);
342solve :: int_search(LD,first_fail,indomain_min,complete) satisfy;
343