1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
---
source: demystify/src/problem/solver.rs
expression: puz.get_literals_to_try_solving()
snapshot_kind: text
---
{
x0,
~x0,
x2,
~x2,
x3,
~x3,
x4,
~x4,
x5,
~x5,
x7,
~x7,
x8,
~x8,
x9,
~x9,
x10,
~x10,
x12,
~x12,
x13,
~x13,
x14,
~x14,
x15,
~x15,
x17,
~x17,
x18,
~x18,
x19,
~x19,
}