Consider two processes, A and B, each of which is reading and writing a shared variable C. Each process is in an infinite loop, repeatedly executing: C = C + C; By this we mean read the value of C, read the value of C again, add the two results and store the sum in C. The two reads store the values in local registers of the process. Reads and writes are atomic but there is no synchronization between the two processes. The initial value of C is 1. It turns out that given an arbitrary positive integer n there is always an execution that assigns C the value n. Use clingo to find solutions when n = 7 and n = 19.