* For tests worth $20$ points, $1 ≤ k ≤ 10$
* For tests worth $30$ more points, there aren't any negated literals
* For tests worth another $20$ points, $1 ≤ k ≤ 12$

* The scores from the contest might be different than the scores you get here

h2. Exemplu
table(example). |_. bytes.in |_. bytes.out |
| 3
4

@(c&d)^(!a&b&!c)^(b)@

(c&d)^(!a&b&!c)^(b)

4

@(!c)@

(!c)

4

@(!c&!d)^(!a&c&!d)^(a&!b&c)@

(!c&!d)^(!a&c&!d)^(a&!b&c)

| 6
8
8