cm_sigma_k8.fix1: 960 assignments, 144 inside one cell, distinct K-classes of internal types: 10 ; loop/elliptic in program 1: 0 ; flagged in t5333.inadm of program 2: 0 -> PASS
cm_part45_sol2.p1: 960 assignments, 144 inside one cell, distinct K-classes of internal types: 10 ; loop/elliptic in program 1: 0 ; flagged in t5333.inadm of program 2: 0 -> PASS
