File size: 446 Bytes
d85d35d
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
{
  "alloc": false,
  "ws": true,
  "substitutions": 2463,
  "d_term_mean": 0.0,
  "d_log2_mean": 0.0124026386,
  "component_mean": 0.0038355487,
  "component_sum_abs": 0.575332311,
  "total_tokens": 276605,
  "total_chars": 977455,
  "min_log2": 0.293393,
  "gaining": 0,
  "losing": 0,
  "seed_mean": 0.0,
  "seed_stdev": 0.0,
  "seeds_gaining": 0,
  "seeds_losing": 0,
  "invariants": {
    "unbalanced": 0,
    "grew": 0,
    "empty": 0
  }
}