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
}
} |