cases Counter({1: 2121, 2: 1286, 3: 593}) status Counter({'case1 (not filed)': 2121, 'ok': 1879})
leaf kinds Counter({'full': 1879}) distinct leaves 368
case 2: 1286 laws; max E|Z_K| 0.792190; max E h 0.802352; min U - E h 0.0385
case 3: 593 laws; max E|Z_K| 0.797880; max E h 0.797880; min U - E h 0.0392
NO VIOLATION

real	2m15.888s
user	11m4.336s
sys	0m4.439s
