// 29
1 4 4 @(a)+@(b)+@(c)+@(d)

// 16455
2 5 1 @(a)+@(a-8)+@(a-12)+@(a-13)+@(a-14)

// 16473
3 5 1 @(a)+@(a-8)+@(a-10)+@(a-11)+@(a-14)

// 1039
4 5 4 @(a)+@(b)+@(c)+@(d)+@(-b+c+d)

// 4171
5 5 1 @(a)+@(a-6)+@(a-9)+@(a-11)+@(a-12)

// 17569
6 5 3 @(a)+@(b)+@(c)+@(-a+b+c+2)+@(-2a+2b+c+1)

// 9025
7 5 3 @(a)+@(b)+@(c)+@(-a+b+c+2)+@(-2a+b+2c+1)

// 551
8 5 3 @(a)+@(b)+@(c)+@(c-1)+@(-a+b+c+2)

// 18705
9 5 3 @(a)+@(b)+@(c)+@(-a+b+c-1)+@(-a+2c-2)

// 33865
10 5 3 @(a)+@(b)+@(c)+@(-a+2b-2)+@(-a+b+c-1)

// 4297
11 5 3 @(a)+@(b)+@(b-1)+@(c)+@(-a+b+c+2)

// 2077
12 5 3 @(a)+@(b)+@(b-1)+@(c)+@(c-2), a-b >= 2

// 2071
13 5 3 @(a)+@(b)+@(b-2)+@(c)+@(c-1)

// 405
14 5 3 @(a)+@(b)+@(-a+2b-2)+@(c)+@(-a+b+c-1)

// 233
15 5 3 @(a)+@(a-1)+@(b)+@(c)+@(-a+b+c-1)

// 2339
16 5 3 @(a)+@(a-3)+@(b)+@(c)+@(c-1)

// 2497
17 5 3 @(a)+@(a-3)+@(b)+@(b-1)+@(c)

// 2123
18 5 2 @(a)+@(a-5)+@(b)+@(b-2)+@(b-3)

// 17281
19 5 2 @(a)+@(a-5)+@(a-6)+@(a-7)+@(b)

// 4173
20 5 2 @(a)+@(a-6)+@(b)+@(b-1)+@(b-3)

// 8341
21 5 2 @(a)+@(a-6)+@(b)+@(b-2)+@(b-4)

// 16538
22 5 2 @(a)+@(a-7)+@(b)+@(b-1)+@(b-3), b >= 4

// 1099
23 5 5 @(a)+@(b)+@(c)+@(d)+@(e), a-b-c+e >= 0, -a+b+c-e >= -1

// 203
24 5 5 @(a)+@(b)+@(c)+@(d)+@(e), a-b-d+e >= 0, -a+b+d-e >= -1

// 229
25 5 5 @(a)+@(b)+@(c)+@(d)+@(e), a-c-d+e >= 0, -a+c+d-e >= -1

// 241
26 5 5 @(a)+@(b)+@(c)+@(d)+@(e), a-b-c+d >= 0, -a+b+c-d >= -1

// 1063
27 5 3 @(a)+@(b)+@(c)+@(c-1)+@(c-2), a-b >= 5, -a+b >= -6

// 8295
28 6 1 @(a)+@(a-7)+@(a-8)+@(a-11)+@(a-12)+@(a-13)

// 8313
29 6 1 @(a)+@(a-7)+@(a-8)+@(a-9)+@(a-10)+@(a-13)

// 4206
30 6 1 @(a)+@(a-6)+@(a-7)+@(a-9)+@(a-10)+@(a-11), a >= 12

// 8775
31 6 1 @(a)+@(a-4)+@(a-7)+@(a-11)+@(a-12)+@(a-13)

// 2205
32 6 1 @(a)+@(a-4)+@(a-7)+@(a-8)+@(a-9)+@(a-11)

// 2467
33 6 3 @(a)+@(b)+@(c)+@(-a+b+c+1)+@(-a+2c-2)+@(-2a+b+2c)

// 69985
34 6 3 @(a)+@(b)+@(c)+@(-a+2b-2)+@(-a+b+c+1)+@(-2a+2b+c)

// 573
35 6 3 @(a)+@(b)+@(b-1)+@(c)+@(c-1)+@(-a+b+c+1)

// 8982
36 6 3 @(a)+@(b)+@(b-1)+@(c)+@(c-2)+@(-a+b+c+1), -a+b+c >= 0

// 33102
37 6 2 @(a)+@(a-7)+@(b)+@(b-3)+@(b-4)+@(b-5), b >= 6

// 8405
38 6 2 @(a)+@(a-6)+@(b)+@(b-2)+@(b-4)+@(b-6)

// 4205
39 6 2 @(a)+@(a-6)+@(b)+@(b-2)+@(b-3)+@(b-5)

// 4211
40 6 2 @(a)+@(a-6)+@(b)+@(b-1)+@(b-4)+@(b-5)

// 2155
41 6 2 @(a)+@(a-5)+@(b)+@(b-2)+@(b-4)+@(b-5)

// 17706
42 6 2 @(a)+@(a-4)+@(a-6)+@(b)+@(b-2)+@(b-4), b >= 5

// 567
43 6 2 @(a)+@(a-4)+@(a-5)+@(b)+@(b-1)+@(b-2)

// 4805
44 6 2 @(a)+@(a-3)+@(a-5)+@(a-6)+@(b)+@(b-2)

// 4750
45 6 3 @(a)+@(b)+@(b-2)+@(c)+@(c-1)+@(-a+b+c+1), -a+b+c >= 0

// 2617
46 6 3 @(a)+@(b)+@(-a+2b-2)+@(c)+@(-a+b+c+1)+@(-2a+2b+c)

// 74787
47 6 2 @(a)+@(a-3)+@(b)+@(b-5)+@(-a+2b-3)+@(-a+2b-4)

// 9483
48 6 2 @(a)+@(a-3)+@(b)+@(b-5)+@(-a+2b-2)+@(-a+2b-3)

// 1351
49 6 2 @(a)+@(a-2)+@(a-4)+@(b)+@(b-1)+@(b-2)

// 5395
50 6 2 @(a)+@(a-2)+@(b)+@(b-4)+@(-a+2b-3)+@(-a+2b-4)

// 10515
51 6 2 @(a)+@(a-2)+@(b)+@(b-4)+@(-a+2b-2)+@(-a+2b-3)

// 1251
52 6 3 @(a)+@(a-3)+@(b)+@(b-1)+@(c)+@(c-1)

// 4665
53 6 3 @(a)+@(a-3)+@(b)+@(b-1)+@(c)+@(c-3)

// 249
54 6 2 @(a)+@(a-1)+@(a-2)+@(a-3)+@(b)+@(b-3)

// 1191
55 6 3 @(a)+@(a-3)+@(b)+@(b-3)+@(c)+@(c-1)

// 459
56 6 2 @(a)+@(a-1)+@(b)+@(b-3)+@(-a+2b-3)+@(-a+2b-4)

// 843
57 6 2 @(a)+@(a-1)+@(b)+@(b-3)+@(-a+2b-2)+@(-a+2b-3)

// 9357
58 6 2 @(a)+@(b)+@(-a+2b)+@(-2a+3b-1)+@(-2a+3b-2)+@(-3a+4b-1)

// 36113
59 6 2 @(a)+@(b)+@(b-1)+@(-a+2b+1)+@(-2a+3b+1)+@(-3a+4b+1)

// 2529
60 6 2 @(a)+@(b)+@(b-1)+@(b-2)+@(-a+2b)+@(-2a+3b-2)

// 2251
61 6 2 @(a)+@(b)+@(b-1)+@(b-4)+@(-a+2b-2)+@(-a+2b-3)

// 2637
62 6 2 @(a)+@(b)+@(-a+2b-1)+@(-2a+3b-2)+@(-2a+3b-3)+@(-3a+4b-3)

// 69745
63 6 2 @(a)+@(b)+@(-a+2b-2)+@(-a+2b-3)+@(-a+2b-4)+@(-2a+3b-4)

// 8299
64 6 3 @(a)+@(a-7)+@(b)+@(c)+@(b-4)+@(b-5), -b+c >= -2

// 4151
65 6 3 @(a)+@(a-7)+@(b)+@(c)+@(b-3)+@(b-4)

// 2151
66 6 3 @(a)+@(b)+@(c)+@(c-3)+@(c-4)+@(c-5), a-b >= 5, -a+b >= -6

// 2107
67 6 3 @(a)+@(b)+@(c)+@(c-1)+@(c-3)+@(c-4), a-b >= 5, -a+b >= -6

// 1079
68 6 3 @(a)+@(a-5)+@(b)+@(c)+@(b-3)+@(b-4)

// 1117
69 6 3 @(a)+@(a-4)+@(a-6)+@(b)+@(b-1)+@(c), b >= 3, -b+c >= -3

// 1145
70 6 3 @(a)+@(a-4)+@(a-5)+@(b)+@(c)+@(b-4), -b+c >= -2

// 571
71 6 6 @(a)+@(b)+@(c)+@(d)+@(e)+@(f), a-b-c+e >= 0, a-b-d+f >= 0, -a+b+d-f >= -1, -a+b+c-e >= -1

// 2281
72 6 6 @(a)+@(b)+@(c)+@(d)+@(e)+@(f), a-b-c+e >= 0, a-c-d+f >= 0, -a+c+d-f >= -1, -a+b+c-e >= -1

// 119
73 6 6 @(a)+@(b)+@(c)+@(d)+@(e)+@(f), a-b-d+e >= 0, a-c-d+f >= 0, -a+c+d-f >= -1, -a+b+d-e >= -1

// 219
74 6 6 @(a)+@(b)+@(c)+@(d)+@(e)+@(f), a-b-c+d >= 0, a-b-e+f >= 0, -a+b+e-f >= -1, -a+b+c-d >= -1

// 125
75 6 6 @(a)+@(b)+@(c)+@(d)+@(e)+@(f), a-b-c+d >= 0, a-c-e+f >= 0, -a+c+e-f >= -1, -a+b+c-d >= -1

// 1085
76 6 3 @(a)+@(a-5)+@(a-6)+@(a-7)+@(b)+@(c), -b+c >= -3

// 559
77 6 3 @(a)+@(b)+@(c)+@(c-1)+@(c-2)+@(c-3), a-b >= 4, -a+b >= -7

// 2445
78 6 4 @(a)+@(a-3)+@(b)+@(c)+@(c-1)+@(d), a-b-c+d >= 0, -a+b+c-d >= -2

// 1253
79 6 4 @(a)+@(a-3)+@(b)+@(b-1)+@(c)+@(d), a-b-c+d >= 0, -a+b+c-d >= -2

// 4215
80 7 1 @(a)+@(a-6)+@(a-7)+@(a-8)+@(a-10)+@(a-11)+@(a-12)

// 2507
81 7 3 @(a)+@(b)+@(c)+@(-a+b+c+2)+@(-2a+2b+c+2)+@(-2a+b+2c+1)+@(-3a+2b+2c+3)

// 37653
82 7 3 @(a)+@(b)+@(c)+@(-a+b+c+2)+@(-2a+2b+c+1)+@(-2a+b+2c+2)+@(-3a+2b+2c+3)

// 747
83 7 3 @(a)+@(b)+@(c)+@(-a+b+c+1)+@(-2a+2b+c+1)+@(-2a+b+2c)+@(-3a+2b+2c+1)

// 1143
84 7 1 @(a)+@(a-4)+@(a-5)+@(a-6)+@(a-8)+@(a-9)+@(a-10)

// 2765
85 7 3 @(a)+@(b)+@(c)+@(-a+b+c+1)+@(-2a+2b+c)+@(-2a+b+2c+1)+@(-3a+2b+2c+1)

// 1245
86 7 1 @(a)+@(a-3)+@(a-4)+@(a-6)+@(a-7)+@(a-8)+@(a-10)

// 5525
87 7 3 @(a)+@(b)+@(c)+@(-a+b+c+1)+@(-2a+2b+c)+@(-2a+b+2c)+@(-3a+2b+2c)

// 367
88 7 3 @(a)+@(b)+@(c)+@(-a+b+c)+@(-a+b+c-1)+@(-a+2c-1)+@(-2a+b+2c)

// 731
89 7 3 @(a)+@(b)+@(c)+@(-a+b+c)+@(-a+b+c-1)+@(-a+2c-2)+@(-2a+b+2c-1)

// 4837
90 7 3 @(a)+@(b)+@(c)+@(c-1)+@(-a+b+c+1)+@(-a+2c)+@(-2a+b+2c+1)

// 2533
91 7 3 @(a)+@(b)+@(c)+@(c-1)+@(-a+b+c+1)+@(-a+2c-1)+@(-2a+b+2c)

// 2397
92 7 3 @(a)+@(b)+@(c)+@(-a+2b-1)+@(-a+b+c)+@(-a+b+c-1)+@(-2a+2b+c)

// 1341
93 7 3 @(a)+@(b)+@(c)+@(-a+2b-2)+@(-a+b+c)+@(-a+b+c-1)+@(-2a+2b+c-1)

// 17361
94 7 2 @(a)+@(a-5)+@(a-6)+@(a-7)+@(b)+@(b-2)+@(b-6)

// 4345
95 7 2 @(a)+@(a-5)+@(a-6)+@(a-7)+@(b)+@(b-1)+@(b-4)

// 4455
96 7 2 @(a)+@(a-4)+@(a-6)+@(b)+@(b-3)+@(b-4)+@(b-5)

// 2285
97 7 2 @(a)+@(a-4)+@(a-5)+@(b)+@(b-2)+@(b-3)+@(b-5)

// 1273
98 7 3 @(a)+@(b)+@(b-1)+@(c)+@(-a+2b)+@(-a+b+c+1)+@(-2a+2b+c+1)

// 2517
99 7 2 @(a)+@(a-3)+@(a-4)+@(a-5)+@(b)+@(b-2)+@(b-4)

// 4947
100 7 2 @(a)+@(a-3)+@(b)+@(b-2)+@(b-4)+@(-a+2b-3)+@(-a+2b-4)

// 2475
101 7 2 @(a)+@(a-3)+@(b)+@(b-2)+@(b-4)+@(-a+2b-2)+@(-a+2b-3)

// 1239
102 7 2 @(a)+@(a-3)+@(b)+@(b-2)+@(b-4)+@(-a+2b-1)+@(-a+2b-2)

// 623
103 7 3 @(a)+@(b)+@(b-1)+@(c)+@(c-1)+@(-a+b+c+1)+@(-a+b+c)

// 4977
104 7 3 @(a)+@(b)+@(b-1)+@(c)+@(-a+2b-1)+@(-a+b+c+1)+@(-2a+2b+c)

// 2619
105 7 2 @(a)+@(a-2)+@(a-6)+@(b)+@(b-1)+@(b-3)+@(b-4)

// 1311
106 7 2 @(a)+@(a-2)+@(a-6)+@(b)+@(b-1)+@(b-2)+@(b-3)

// 699
107 7 2 @(a)+@(a-2)+@(a-4)+@(b)+@(b-1)+@(b-3)+@(b-4)

// 687
108 7 2 @(a)+@(a-2)+@(a-4)+@(b)+@(b-1)+@(b-2)+@(b-3)

// 381
109 7 3 @(a)+@(b)+@(b-1)+@(-a+2b)+@(c)+@(-a+b+c+1)+@(-2a+2b+c+1)

// 1465
110 7 3 @(a)+@(b)+@(b-1)+@(-a+2b-1)+@(c)+@(-a+b+c+1)+@(-2a+2b+c)

// 1335
111 7 3 @(a)+@(b)+@(-a+2b-1)+@(c)+@(-a+b+c)+@(-a+b+c-1)+@(-2a+2b+c)

// 382
112 7 3 @(a)+@(a-2)+@(b)+@(b-1)+@(c)+@(c-1)+@(-a+b+c+1), -a+b+c >= 0

// 415
113 7 3 @(a)+@(b)+@(-a+2b-2)+@(c)+@(-a+b+c)+@(-a+b+c-1)+@(-2a+2b+c-1)

// 1207
114 7 3 @(a)+@(b)+@(b-2)+@(c)+@(c-2)+@(-a+b+c)+@(-a+b+c-1)

// 375
115 7 4 @(a)+@(b)+@(c)+@(d)+@(-2a+2b+c+1)+@(-2a+b+2c+1)+@(-3a+2b+2c+2), a-b-c+d >= 1, -a+b+c-d >= -2

// 2231
116 7 3 @(a)+@(a-4)+@(a-6)+@(b)+@(c)+@(b-3)+@(b-4)

// 575
117 7 3 @(a)+@(a-4)+@(b)+@(c)+@(c-1)+@(c-2)+@(c-3), -a+b >= -6

// 631
118 7 4 @(a)+@(a-3)+@(b)+@(b-1)+@(c)+@(c-1)+@(d), a-b-c+d >= 1, -a+b+c-d >= -2

// 32895
119 8 1 @(a)+@(a-9)+@(a-10)+@(a-11)+@(a-12)+@(a-13)+@(a-14)+@(a-15)

// 16575
120 8 1 @(a)+@(a-7)+@(a-9)+@(a-10)+@(a-11)+@(a-12)+@(a-13)+@(a-14)

// 8415
121 8 1 @(a)+@(a-6)+@(a-7)+@(a-9)+@(a-10)+@(a-11)+@(a-12)+@(a-13)

// 4971
122 8 4 @(a)+@(b)+@(c)+@(-a+b+c+1)+@(d)+@(-a+b+d+1)+@(-a+c+d)+@(-2a+b+c+d+2)

// 1399
123 8 4 @(a)+@(b)+@(c)+@(-a+b+c+1)+@(d)+@(-a+b+d)+@(-a+c+d+1)+@(-2a+b+c+d+2)

// 2295
124 8 1 @(a)+@(a-4)+@(a-5)+@(a-6)+@(a-7)+@(a-9)+@(a-10)+@(a-11)

// 759
125 8 4 @(a)+@(b)+@(c)+@(-a+b+c+1)+@(d)+@(-a+b+d)+@(-a+c+d)+@(-2a+b+c+d+1)

// 9141
126 8 4 @(a)+@(b)+@(c)+@(d)+@(-a+b+c+1)+@(-a+b+d+1)+@(-a+c+d)+@(-2a+b+c+d+2)

// 18901
127 8 4 @(a)+@(b)+@(c)+@(d)+@(-a+b+c+1)+@(-a+b+d)+@(-a+c+d+1)+@(-2a+b+c+d+2)

// 34695
128 8 2 @(a)+@(a-5)+@(a-6)+@(a-7)+@(b)+@(b-5)+@(b-6)+@(b-7)

// 17355
129 8 2 @(a)+@(a-5)+@(a-6)+@(a-7)+@(b)+@(b-3)+@(b-5)+@(b-6)

// 8685
130 8 2 @(a)+@(a-5)+@(a-6)+@(a-7)+@(b)+@(b-2)+@(b-3)+@(b-5)

// 4347
131 8 2 @(a)+@(a-5)+@(a-6)+@(a-7)+@(b)+@(b-1)+@(b-3)+@(b-4)

// 2175
132 8 2 @(a)+@(a-5)+@(a-6)+@(a-7)+@(b)+@(b-1)+@(b-2)+@(b-3)

// 9645
133 8 2 @(a)+@(a-3)+@(a-5)+@(a-6)+@(b)+@(b-2)+@(b-3)+@(b-5)

// 1215
134 8 2 @(a)+@(a-3)+@(a-5)+@(a-6)+@(b)+@(b-1)+@(b-2)+@(b-3)

// 2541
135 8 4 @(a)+@(b)+@(c)+@(d)+@(-a+b+c+1)+@(-a+b+d)+@(-a+c+d)+@(-2a+b+c+d+1)

// 2493
136 8 4 @(a)+@(b)+@(c)+@(d)+@(-a+b+c)+@(-a+b+d+1)+@(-a+c+d+1)+@(-2a+b+c+d+2)

// 4981
137 8 4 @(a)+@(b)+@(c)+@(d)+@(-a+b+c)+@(-a+b+d+1)+@(-a+c+d)+@(-2a+b+c+d+1)

// 9843
138 8 3 @(a)+@(a-3)+@(b)+@(b-3)+@(c)+@(c-1)+@(-a+b+c)+@(-a+b+c-1)

// 4923
139 8 3 @(a)+@(a-3)+@(b)+@(b-3)+@(c)+@(c-1)+@(-a+b+c+1)+@(-a+b+c)

// 2535
140 8 3 @(a)+@(a-3)+@(b)+@(b-1)+@(c)+@(c-3)+@(-a+b+c)+@(-a+b+c-1)

// 4839
141 8 3 @(a)+@(a-3)+@(b)+@(b-1)+@(c)+@(c-3)+@(-a+b+c+1)+@(-a+b+c)

// 2547
142 8 3 @(a)+@(a-3)+@(b)+@(b-1)+@(c)+@(c-1)+@(-a+b+c)+@(-a+b+c-1)

// 2523
143 8 3 @(a)+@(a-3)+@(b)+@(b-1)+@(c)+@(c-1)+@(-a+b+c+1)+@(-a+b+c)

// 639
144 8 3 @(a)+@(a-3)+@(b)+@(b-1)+@(c)+@(c-1)+@(-a+b+c+2)+@(-a+b+c+1)

// 1405
145 8 4 @(a)+@(b)+@(c)+@(d)+@(-a+b+c)+@(-a+b+d)+@(-a+c+d+1)+@(-2a+b+c+d+1)

// 255
146 8 4 @(a)+@(b)+@(c)+@(-a+b+c)+@(d)+@(-a+b+d)+@(-a+c+d)+@(-2a+b+c+d)

// 447
147 8 4 @(a)+@(b)+@(c)+@(-a+b+c)+@(d)+@(-a+b+d)+@(-a+c+d+1)+@(-2a+b+c+d+1)

// 1467
148 8 4 @(a)+@(b)+@(c)+@(-a+b+c)+@(d)+@(-a+b+d+1)+@(-a+c+d)+@(-2a+b+c+d+1)

// 735
149 8 4 @(a)+@(b)+@(c)+@(-a+b+c)+@(d)+@(-a+b+d+1)+@(-a+c+d+1)+@(-2a+b+c+d+2)

// 765
150 8 4 @(a)+@(b)+@(c)+@(d)+@(-a+b+c)+@(-a+b+d)+@(-a+c+d)+@(-2a+b+c+d)