pmat 3.16.0

{
  "version": "1.0",
  "type": "naive_bayes",
  "vocabulary": {
    "claude": 0,
    "fix": 1,
    "add": 2,
    "code": 3,
    "tests": 4,
    "gpu": 5,
    "tok": 6,
    "cache": 7,
    "refs": 8,
    "gqa": 9,
    "test": 10,
    "performance": 11,
    "memory": 12,
    "dim": 13,
    "attention": 14,
    "trueno": 15,
    "kernel": 16,
    "brick": 17,
    "generated": 18,
    "https": 19,
    "com": 20,
    "heads": 21,
    "cuda": 22,
    "matmul": 23,
    "why": 24,
    "pass": 25,
    "pmat": 26,
    "token": 27,
    "per": 28,
    "cpu": 29,
    "use": 30,
    "debug": 31,
    "batch": 32,
    "forward": 33,
    "infrastructure": 34,
    "update": 35,
    "feat": 36,
    "ollama": 37,
    "now": 38,
    "error": 39,
    "showcase": 40,
    "apr": 41,
    "ptx": 42,
    "spec": 43,
    "par": 44,
    "added": 45,
    "graph": 46,
    "gguf": 47,
    "path": 48,
    "falsification": 49,
    "bandwidth": 50,
    "bug": 51,
    "format": 52,
    "simd": 53,
    "qkv": 54,
    "rope": 55,
    "perf": 56,
    "coalescedq": 57,
    "root": 58,
    "cause": 59,
    "safety": 60,
    "validation": 61,
    "output": 62,
    "skip": 63,
    "models": 64,
    "kernels": 65,
    "byte": 66,
    "five": 67,
    "whys": 68,
    "analysis": 69,
    "correctness": 70,
    "batched": 71,
    "ffn": 72,
    "scratch": 73,
    "detection": 74,
    "bench": 75,
    "coverage": 76,
    "parity": 77,
    "allocation": 78,
    "overhead": 79,
    "docs": 80,
    "fma": 81,
    "instead": 82,
    "examples": 83,
    "num": 84,
    "hidden": 85,
    "fixes": 86,
    "benchmark": 87,
    "barrier": 88,
    "reduction": 89,
    "fixed": 90,
    "optimization": 91,
    "clippy": 92,
    "avx": 93,
    "block": 94,
    "transformer": 95,
    "qwen": 96,
    "single": 97,
    "fused": 98,
    "tinyllama": 99,
    "weight": 100,
    "wrong": 101,
    "regression": 102,
    "loop": 103,
    "bytes": 104,
    "verification": 105,
    "calculation": 106,
    "mode": 107,
    "tracking": 108,
    "issue": 109,
    "new": 110,
    "throughput": 111,
    "gate": 112,
    "realizar": 113,
    "comparison": 114,
    "verified": 115,
    "gap": 116,
    "position": 117,
    "matrix": 118,
    "via": 119,
    "bounds": 120,
    "faster": 121,
    "pre": 122,
    "scale": 123,
    "loads": 124,
    "data": 125,
    "argmax": 126,
    "register": 127,
    "efficiency": 128,
    "tile": 129,
    "threshold": 130,
    "bound": 131,
    "complete": 132,
    "fkr": 133,
    "backend": 134,
    "testing": 135,
    "quality": 136,
    "example": 137,
    "using": 138,
    "patterns": 139,
    "zero": 140,
    "gemm": 141,
    "integration": 142,
    "into": 143,
    "correct": 144,
    "after": 145,
    "changes": 146,
    "cargo": 147,
    "run": 148,
    "capture": 149,
    "limit": 150,
    "llama": 151,
    "tokenizer": 152,
    "quantize": 153,
    "buf": 154,
    "neox": 155,
    "get": 156,
    "baseline": 157,
    "check": 158,
    "max": 159,
    "dimensions": 160,
    "style": 161,
    "cbtop": 162,
    "buffers": 163,
    "tiled": 164,
    "size": 165,
    "dot": 166,
    "critical": 167,
    "speedup": 168,
    "tickets": 169,
    "based": 170,
    "fusion": 171,
    "real": 172,
    "support": 173,
    "dimension": 174,
    "property": 175,
    "quantized": 176,
    "bugs": 177,
    "missing": 178,
    "task": 179,
    "current": 180,
    "ffndown": 181,
    "requires": 182,
    "true": 183,
    "parallel": 184,
    "unwrap": 185,
    "norm": 186,
    "targets": 187,
    "blocks": 188,
    "overall": 189,
    "aligned": 190,
    "across": 191,
    "tdg": 192,
    "fallback": 193,
    "elementwise": 194,
    "operations": 195,
    "results": 196,
    "vec": 197,
    "working": 198,
    "set": 199,
    "issues": 200,
    "uses": 201,
    "method": 202,
    "problem": 203,
    "full": 204,
    "implementation": 205,
    "file": 206,
    "cli": 207,
    "ratio": 208,
    "remove": 209,
    "log": 210,
    "expected": 211,
    "instruction": 212,
    "write": 213,
    "generation": 214,
    "whitelist": 215,
    "analyzer": 216,
    "false": 217,
    "done": 218,
    "high": 219,
    "workspace": 220,
    "weights": 221,
    "status": 222,
    "nibble": 223,
    "layers": 224,
    "improvement": 225,
    "speculative": 226,
    "model": 227,
    "range": 228,
    "quantizedgguftransformer": 229,
    "out": 230,
    "generate": 231,
    "iteration": 232,
    "convert": 233,
    "enable": 234,
    "bias": 235,
    "replay": 236,
    "extraction": 237,
    "src": 238,
    "convolve": 239,
    "direct": 240,
    "indexing": 241,
    "replace": 242,
    "redundant": 243,
    "checks": 244,
    "github": 245,
    "commit": 246,
    "hot": 247,
    "paths": 248,
    "documentation": 249,
    "improvements": 250,
    "alignment": 251,
    "compute": 252,
    "changed": 253,
    "warp": 254,
    "shared": 255,
    "layout": 256,
    "works": 257,
    "opt": 258,
    "result": 259,
    "correctly": 260,
    "bottleneck": 261,
    "headless": 262,
    "latency": 263,
    "stability": 264,
    "scores": 265,
    "improved": 266,
    "items": 267,
    "aware": 268,
    "citations": 269,
    "registry": 270,
    "splitting": 271,
    "coalescing": 272,
    "metal": 273,
    "suite": 274,
    "compliance": 275,
    "compress": 276,
    "build": 277,
    "allow": 278,
    "usize": 279,
    "int": 280,
    "release": 281,
    "tui": 282,
    "rotation": 283,
    "rust": 284,
    "removed": 285,
    "batchedgemmkernel": 286,
    "tensor": 287,
    "optimized": 288,
    "elements": 289,
    "pressure": 290,
    "unit": 291,
    "due": 292,
    "count": 293,
    "buffer": 294,
    "sec": 295,
    "documented": 296,
    "head": 297,
    "also": 298,
    "updated": 299,
    "book": 300,
    "api": 301,
    "default": 302,
    "empty": 303,
    "wgpu": 304,
    "softmax": 305,
    "structure": 306,
    "without": 307,
    "tokens": 308,
    "layer": 309,
    "timing": 310,
    "target": 311,
    "future": 312,
    "gemv": 313,
    "caused": 314,
    "findings": 315,
    "allocations": 316,
    "parallelism": 317,
    "allocating": 318,
    "threads": 319,
    "apply": 320,
    "swiglu": 321,
    "ownedquantizedlayer": 322,
    "causal": 323,
    "simplified": 324,
    "proper": 325,
    "slower": 326,
    "actual": 327,
    "first": 328,
    "logits": 329,
    "passes": 330,
    "quantization": 331,
    "expect": 332,
    "unsafe": 333,
    "handle": 334,
    "index": 335,
    "eprintln": 336,
    "resident": 337,
    "graphed": 338,
    "scatter": 339,
    "budget": 340,
    "handling": 341,
    "ready": 342,
    "activationquantbrick": 343,
    "type": 344,
    "half": 345,
    "sentencepiece": 346,
    "cpp": 347,
    "mut": 348,
    "inner": 349,
    "eliminates": 350,
    "prevention": 351,
    "make": 352,
    "builder": 353,
    "unknown": 354,
    "misaligned": 355,
    "super": 356,
    "scales": 357,
    "offset": 358,
    "global": 359,
    "shuffle": 360,
    "broadcast": 361,
    "matches": 362,
    "original": 363,
    "diff": 364,
    "enabled": 365,
    "element": 366,
    "cliff": 367,
    "simdloadbrick": 368,
    "tiling": 369,
    "thrashing": 370,
    "gflop": 371,
    "mul": 372,
    "identify": 373,
    "between": 374,
    "internal": 375,
    "history": 376,
    "match": 377,
    "slice": 378,
    "score": 379,
    "remaining": 380,
    "work": 381,
    "large": 382,
    "sizes": 383,
    "pending": 384,
    "entries": 385,
    "resolved": 386,
    "amd": 387,
    "req": 388,
    "equivalence": 389,
    "popperian": 390,
    "peer": 391,
    "reviewed": 392,
    "gates": 393,
    "pattern": 394,
    "includes": 395,
    "different": 396,
    "configuration": 397,
    "resolve": 398,
    "warnings": 399,
    "variables": 400,
    "constant": 401,
    "raw": 402,
    "string": 403,
    "logging": 404,
    "stress": 405,
    "monitor": 406,
    "unused": 407,
    "demo": 408,
    "integrate": 409,
    "returns": 410,
    "descriptive": 411,
    "errors": 412,
    "invalid": 413,
    "investigation": 414,
    "strategy": 415,
    "ptxas": 416,
    "already": 417,
    "prevent": 418,
    "available": 419,
    "benchmarks": 420,
    "validates": 421,
    "achieves": 422,
    "when": 423,
    "allocated": 424,
    "operand": 425,
    "impl": 426,
    "formatting": 427,
    "ptxbuganalyzer": 428,
    "split": 429,
    "ordering": 430,
    "just": 431,
    "end": 432,
    "explicit": 433,
    "production": 434,
    "tensors": 435,
    "accelerated": 436,
    "explain": 437,
    "modes": 438,
    "dead": 439,
    "compare": 440,
    "warning": 441,
    "invariants": 442,
    "consistency": 443,
    "sample": 444,
    "shows": 445,
    "needed": 446,
    "pixel": 447,
    "scalar": 448,
    "validate": 449,
    "captured": 450,
    "init": 451,
    "achieved": 452,
    "vectorizedq": 453,
    "kgemvkernel": 454,
    "sampling": 455,
    "time": 456,
    "brickprofiler": 457,
    "ffngateup": 458,
    "decoding": 459,
    "milestone": 460,
    "key": 461,
    "decode": 462,
    "apples": 463,
    "system": 464,
    "field": 465,
    "loading": 466,
    "profiling": 467,
    "identified": 468,
    "rev": 469,
    "non": 470,
    "compatibility": 471,
    "version": 472,
    "oom": 473,
    "multiple": 474,
    "flag": 475,
    "fast": 476,
    "nextest": 477,
    "reduce": 478,
    "fields": 479,
    "calls": 480,
    "return": 481,
    "limitation": 482,
    "panics": 483,
    "causes": 484,
    "runs": 485,
    "step": 486,
    "progress": 487,
    "clear": 488,
    "note": 489,
    "limited": 490,
    "fixing": 491,
    "matvec": 492,
    "matmuls": 493,
    "still": 494,
    "next": 495,
    "unexplained": 496,
    "estimated": 497,
    "rayon": 498,
    "inference": 499
  },
  "classes": [
    "ASTTransform",
    "ConcurrencyBugs",
    "ConfigurationErrors",
    "IntegrationFailures",
    "MemorySafety",
    "OwnershipBorrow",
    "StdlibMapping",
    "TraitBounds"
  ],
  "class_priors": {
    "ASTTransform": -0.587786664902119,
    "ConcurrencyBugs": -3.1135153092103742,
    "ConfigurationErrors": -2.70805020110221,
    "IntegrationFailures": -3.8066624897703196,
    "MemorySafety": -3.8066624897703196,
    "OwnershipBorrow": -2.4203681286504293,
    "StdlibMapping": -3.8066624897703196,
    "TraitBounds": -1.7272209480904839
  },
  "feature_log_probs": {
    "ASTTransform": [
      -4.350657371006236,
      -4.13934827733903,
      -4.380510334155917,
      -4.544813385447194,
      -4.698964065274452,
      -4.881285622068407,
      -4.741523679693248,
      -4.785975442264082,
      -5.237960566007139,
      -4.698964065274452,
      -5.312068538160861,
      -5.237960566007139,
      -5.479122622824027,
      -4.932578916455958,
      -4.698964065274452,
      -5.574432802628352,
      -5.1689676945201875,
      -5.392111245834397,
      -5.392111245834397,
      -5.392111245834397,
      -5.392111245834397,
      -4.881285622068407,
      -5.574432802628352,
      -5.312068538160861,
      -4.881285622068407,
      -5.574432802628352,
      -7.183870715062453,
      -5.104429173382616,
      -5.574432802628352,
      -5.574432802628352,
      -5.392111245834397,
      -5.479122622824027,
      -5.9311077465670845,
      -5.312068538160861,
      -5.679793318286179,
      -5.9311077465670845,
      -5.797576353942562,
      -5.237960566007139,
      -5.392111245834397,
      -5.679793318286179,
      -5.574432802628352,
      -5.392111245834397,
      -6.2675799831882975,
      -5.679793318286179,
      -5.574432802628352,
      -6.2675799831882975,
      -5.9311077465670845,
      -5.392111245834397,
      -5.574432802628352,
      -6.778405606954288,
      -6.2675799831882975,
      -6.085258426394343,
      -5.9311077465670845,
      -5.479122622824027,
      -5.797576353942562,
      -5.312068538160861,
      -6.490723534502507,
      -5.392111245834397,
      -5.479122622824027,
      -5.479122622824027,
      -5.679793318286179,
      -6.085258426394343,
      -5.797576353942562,
      -5.479122622824027,
      -5.392111245834397,
      -5.797576353942562,
      -5.574432802628352,
      -5.679793318286179,
      -5.679793318286179,
      -5.9311077465670845,
      -5.797576353942562,
      -5.9311077465670845,
      -6.085258426394343,
      -5.479122622824027,
      -6.490723534502507,
      -5.797576353942562,
      -6.085258426394343,
      -6.2675799831882975,
      -6.085258426394343,
      -5.9311077465670845,
      -6.2675799831882975,
      -6.490723534502507,
      -6.085258426394343,
      -6.085258426394343,
      -5.679793318286179,
      -5.679793318286179,
      -5.9311077465670845,
      -6.2675799831882975,
      -6.085258426394343,
      -6.490723534502507,
      -5.9311077465670845,
      -6.085258426394343,
      -6.085258426394343,
      -6.2675799831882975,
      -5.797576353942562,
      -5.679793318286179,
      -6.085258426394343,
      -5.679793318286179,
      -6.085258426394343,
      -5.679793318286179,
      -6.490723534502507,
      -5.679793318286179,
      -5.9311077465670845,
      -5.9311077465670845,
      -6.085258426394343,
      -6.778405606954288,
      -6.490723534502507,
      -6.778405606954288,
      -6.778405606954288,
      -6.490723534502507,
      -7.183870715062453,
      -6.085258426394343,
      -6.2675799831882975,
      -6.085258426394343,
      -6.490723534502507,
      -5.797576353942562,
      -6.085258426394343,
      -5.797576353942562,
      -5.9311077465670845,
      -6.490723534502507,
      -6.490723534502507,
      -5.9311077465670845,
      -6.490723534502507,
      -6.085258426394343,
      -5.9311077465670845,
      -6.778405606954288,
      -6.085258426394343,
      -7.877017895622398,
      -7.877017895622398,
      -7.877017895622398,
      -6.778405606954288,
      -7.877017895622398,
      -7.183870715062453,
      -6.778405606954288,
      -6.778405606954288,
      -6.490723534502507,
      -6.490723534502507,
      -6.2675799831882975,
      -6.490723534502507,
      -6.2675799831882975,
      -6.2675799831882975,
      -6.778405606954288,
      -6.778405606954288,
      -6.490723534502507,
      -6.085258426394343,
      -6.085258426394343,
      -6.085258426394343,
      -6.085258426394343,
      -6.085258426394343,
      -6.2675799831882975,
      -5.9311077465670845,
      -6.085258426394343,
      -6.2675799831882975,
      -6.085258426394343,
      -5.9311077465670845,
      -5.9311077465670845,
      -6.2675799831882975,
      -6.2675799831882975,
      -6.2675799831882975,
      -6.490723534502507,
      -6.085258426394343,
      -6.490723534502507,
      -7.877017895622398,
      -6.778405606954288,
      -6.778405606954288,
      -6.490723534502507,
      -6.2675799831882975,
      -6.490723534502507,
      -6.778405606954288,
      -7.877017895622398,
      -6.490723534502507,
      -7.877017895622398,
      -6.490723534502507,
      -6.2675799831882975,
      -6.490723534502507,
      -6.2675799831882975,
      -7.183870715062453,
      -6.2675799831882975,
      -6.778405606954288,
      -6.085258426394343,
      -6.490723534502507,
      -6.085258426394343,
      -6.085258426394343,
      -6.2675799831882975,
      -6.2675799831882975,
      -6.085258426394343,
      -6.490723534502507,
      -6.2675799831882975,
      -6.2675799831882975,
      -6.490723534502507,
      -6.2675799831882975,
      -6.490723534502507,
      -7.183870715062453,
      -6.490723534502507,
      -7.877017895622398,
      -6.778405606954288,
      -6.778405606954288,
      -7.183870715062453,
      -7.183870715062453,
      -7.183870715062453,
      -7.183870715062453,
      -6.778405606954288,
      -6.778405606954288,
      -6.490723534502507,
      -6.490723534502507,
      -6.778405606954288,
      -7.877017895622398,
      -7.877017895622398,
      -7.183870715062453,
      -6.778405606954288,
      -7.877017895622398,
      -6.490723534502507,
      -6.778405606954288,
      -6.2675799831882975,
      -6.2675799831882975,
      -6.778405606954288,
      -6.778405606954288,
      -6.490723534502507,
      -6.2675799831882975,
      -6.490723534502507,
      -6.778405606954288,
      -7.183870715062453,
      -6.490723534502507,
      -6.2675799831882975,
      -6.2675799831882975,
      -6.2675799831882975,
      -6.2675799831882975,
      -6.2675799831882975,
      -6.490723534502507,
      -6.2675799831882975,
      -6.490723534502507,
      -6.2675799831882975,
      -6.2675799831882975,
      -6.2675799831882975,
      -6.2675799831882975,
      -7.877017895622398,
      -6.490723534502507,
      -6.2675799831882975,
      -6.2675799831882975,
      -6.490723534502507,
      -6.490723534502507,
      -6.778405606954288,
      -6.778405606954288,
      -6.778405606954288,
      -7.183870715062453,
      -6.490723534502507,
      -6.490723534502507,
      -6.778405606954288,
      -6.778405606954288,
      -7.183870715062453,
      -7.183870715062453,
      -6.490723534502507,
      -6.778405606954288,
      -6.778405606954288,
      -6.490723534502507,
      -7.183870715062453,
      -6.778405606954288,
      -6.778405606954288,
      -7.877017895622398,
      -6.778405606954288,
      -7.183870715062453,
      -7.183870715062453,
      -7.877017895622398,
      -7.877017895622398,
      -7.183870715062453,
      -6.778405606954288,
      -7.877017895622398,
      -7.877017895622398,
      -6.778405606954288,
      -7.877017895622398,
      -7.877017895622398,
      -7.183870715062453,
      -7.877017895622398,
      -6.778405606954288,
      -7.183870715062453,
      -6.778405606954288,
      -7.877017895622398,
      -7.877017895622398,
      -7.183870715062453,
      -6.778405606954288,
      -7.877017895622398,
      -7.183870715062453,
      -7.183870715062453,
      -6.778405606954288,
      -7.183870715062453,
      -7.877017895622398,
      -7.877017895622398,
      -7.877017895622398,
      -7.183870715062453,
      -7.183870715062453,
      -7.877017895622398,
      -7.183870715062453,
      -6.490723534502507,
      -6.778405606954288,
      -6.490723534502507,
      -6.490723534502507,
      -6.490723534502507,
      -6.490723534502507,
      -6.778405606954288,
      -6.778405606954288,
      -7.183870715062453,
      -7.183870715062453,
      -6.778405606954288,
      -6.778405606954288,
      -7.183870715062453,
      -6.490723534502507,
      -6.490723534502507,
      -6.490723534502507,
      -6.490723534502507,
      -6.490723534502507,
      -6.490723534502507,
      -6.778405606954288,
      -6.490723534502507,
      -6.778405606954288,
      -6.490723534502507,
      -7.183870715062453,
      -6.778405606954288,
      -6.490723534502507,
      -6.490723534502507,
      -6.490723534502507,
      -6.490723534502507,
      -6.490723534502507,
      -7.183870715062453,
      -6.490723534502507,
      -6.490723534502507,
      -6.490723534502507,
      -6.490723534502507,
      -6.778405606954288,
      -6.490723534502507,
      -6.490723534502507,
      -6.490723534502507,
      -7.183870715062453,
      -6.490723534502507,
      -7.183870715062453,
      -6.778405606954288,
      -6.778405606954288,
      -7.877017895622398,
      -6.778405606954288,
      -6.490723534502507,
      -6.490723534502507,
      -6.490723534502507,
      -6.778405606954288,
      -7.877017895622398,
      -7.877017895622398,
      -6.490723534502507,
      -6.490723534502507,
      -7.183870715062453,
      -6.778405606954288,
      -6.778405606954288,
      -7.183870715062453,
      -7.183870715062453,
      -6.778405606954288,
      -6.778405606954288,
      -7.183870715062453,
      -6.778405606954288,
      -6.778405606954288,
      -6.778405606954288,
      -6.778405606954288,
      -7.183870715062453,
      -6.778405606954288,
      -6.778405606954288,
      -6.778405606954288,
      -6.778405606954288,
      -7.183870715062453,
      -6.778405606954288,
      -6.778405606954288,
      -7.877017895622398,
      -7.877017895622398,
      -7.877017895622398,
      -7.877017895622398,
      -7.183870715062453,
      -7.877017895622398,
      -7.877017895622398,
      -7.877017895622398,
      -7.183870715062453,
      -7.877017895622398,
      -7.877017895622398,
      -7.183870715062453,
      -7.183870715062453,
      -7.877017895622398,
      -7.183870715062453,
      -7.183870715062453,
      -7.183870715062453,
      -7.183870715062453,
      -7.877017895622398,
      -7.877017895622398,
      -7.877017895622398,
      -7.183870715062453,
      -7.877017895622398,
      -7.183870715062453,
      -7.877017895622398,
      -7.877017895622398,
      -7.877017895622398,
      -7.877017895622398,
      -7.183870715062453,
      -7.183870715062453,
      -7.183870715062453,
      -7.877017895622398,
      -7.877017895622398,
      -7.877017895622398,
      -7.877017895622398,
      -7.877017895622398,
      -7.877017895622398,
      -7.183870715062453,
      -7.877017895622398,
      -7.877017895622398,
      -7.877017895622398,
      -7.877017895622398,
      -7.183870715062453,
      -7.877017895622398,
      -7.183870715062453,
      -7.183870715062453,
      -7.183870715062453,
      -7.877017895622398,
      -7.183870715062453,
      -7.183870715062453,
      -7.877017895622398,
      -7.183870715062453,
      -7.183870715062453,
      -7.183870715062453,
      -6.778405606954288,
      -6.778405606954288,
      -6.778405606954288,
      -6.778405606954288,
      -6.778405606954288,
      -6.778405606954288,
      -6.778405606954288,
      -6.778405606954288,
      -7.183870715062453,
      -6.778405606954288,
      -6.778405606954288,
      -6.778405606954288,
      -6.778405606954288,
      -6.778405606954288,
      -6.778405606954288,
      -6.778405606954288,
      -6.778405606954288,
      -7.877017895622398,
      -7.877017895622398,
      -7.183870715062453,
      -7.877017895622398,
      -7.183870715062453,
      -6.778405606954288,
      -6.778405606954288,
      -6.778405606954288,
      -6.778405606954288,
      -6.778405606954288,
      -6.778405606954288,
      -6.778405606954288,
      -6.778405606954288,
      -7.877017895622398,
      -7.877017895622398,
      -6.778405606954288,
      -6.778405606954288,
      -6.778405606954288,
      -6.778405606954288,
      -6.778405606954288,
      -6.778405606954288,
      -6.778405606954288,
      -6.778405606954288,
      -6.778405606954288,
      -6.778405606954288,
      -6.778405606954288,
      -6.778405606954288,
      -7.183870715062453,
      -6.778405606954288,
      -6.778405606954288,
      -7.877017895622398,
      -7.183870715062453,
      -7.877017895622398,
      -7.183870715062453,
      -7.877017895622398,
      -7.183870715062453,
      -6.778405606954288,
      -6.778405606954288,
      -6.778405606954288,
      -6.778405606954288,
      -6.778405606954288,
      -6.778405606954288,
      -7.183870715062453,
      -6.778405606954288,
      -7.183870715062453,
      -6.778405606954288,
      -6.778405606954288,
      -6.778405606954288,
      -6.778405606954288,
      -6.778405606954288,
      -6.778405606954288,
      -6.778405606954288,
      -6.778405606954288,
      -6.778405606954288,
      -6.778405606954288,
      -7.183870715062453,
      -6.778405606954288,
      -6.778405606954288,
      -6.778405606954288,
      -6.778405606954288,
      -7.183870715062453,
      -6.778405606954288,
      -6.778405606954288
    ],
    "ConcurrencyBugs": [
      -6.519147287940395,
      -5.82600010738045,
      -5.420534999272286,
      -6.519147287940395,
      -6.519147287940395,
      -5.82600010738045,
      -6.519147287940395,
      -5.82600010738045,
      -5.420534999272286,
      -5.420534999272286,
      -5.82600010738045,
      -5.82600010738045,
      -5.82600010738045,
      -4.909709375506295,
      -6.519147287940395,
      -5.82600010738045,
      -5.82600010738045,
      -5.82600010738045,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -5.420534999272286,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -3.6859339438841796,
      -5.82600010738045,
      -6.519147287940395,
      -6.519147287940395,
      -5.82600010738045,
      -5.82600010738045,
      -4.727387818712341,
      -5.82600010738045,
      -6.519147287940395,
      -6.519147287940395,
      -5.82600010738045,
      -6.519147287940395,
      -6.519147287940395,
      -5.82600010738045,
      -5.82600010738045,
      -6.519147287940395,
      -5.420534999272286,
      -5.82600010738045,
      -5.82600010738045,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -5.420534999272286,
      -6.519147287940395,
      -5.82600010738045,
      -6.519147287940395,
      -6.519147287940395,
      -5.420534999272286,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -5.82600010738045,
      -6.519147287940395,
      -5.82600010738045,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -5.1328529268205045,
      -5.82600010738045,
      -5.82600010738045,
      -6.519147287940395,
      -6.519147287940395,
      -5.82600010738045,
      -5.82600010738045,
      -5.82600010738045,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -5.420534999272286,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -5.420534999272286,
      -6.519147287940395,
      -6.519147287940395,
      -5.82600010738045,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -5.82600010738045,
      -5.82600010738045,
      -6.519147287940395,
      -6.519147287940395,
      -5.82600010738045,
      -5.82600010738045,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -5.82600010738045,
      -6.519147287940395,
      -5.420534999272286,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -5.82600010738045,
      -4.909709375506295,
      -5.1328529268205045,
      -5.82600010738045,
      -5.82600010738045,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -4.727387818712341,
      -5.82600010738045,
      -5.82600010738045,
      -6.519147287940395,
      -6.519147287940395,
      -5.82600010738045,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -5.82600010738045,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -5.82600010738045,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -5.82600010738045,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -5.82600010738045,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -5.82600010738045,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -5.82600010738045,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -5.82600010738045,
      -6.519147287940395,
      -6.519147287940395,
      -5.420534999272286,
      -6.519147287940395,
      -5.420534999272286,
      -5.1328529268205045,
      -5.420534999272286,
      -5.82600010738045,
      -5.82600010738045,
      -5.82600010738045,
      -5.82600010738045,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -5.82600010738045,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -5.82600010738045,
      -5.82600010738045,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -5.420534999272286,
      -5.420534999272286,
      -5.82600010738045,
      -5.82600010738045,
      -5.420534999272286,
      -5.82600010738045,
      -5.82600010738045,
      -5.420534999272286,
      -5.420534999272286,
      -5.82600010738045,
      -5.82600010738045,
      -5.82600010738045,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -5.82600010738045,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395,
      -6.519147287940395
    ],
    "ConfigurationErrors": [
      -4.3254562831854875,
      -5.934894195619588,
      -4.68213122712422,
      -4.68213122712422,
      -4.430816798843313,
      -5.241747015059643,
      -6.628041376179533,
      -6.628041376179533,
      -5.529429087511423,
      -6.628041376179533,
      -5.529429087511423,
      -5.934894195619588,
      -6.628041376179533,
      -5.934894195619588,
      -6.628041376179533,
      -5.529429087511423,
      -5.241747015059643,
      -6.628041376179533,
      -5.241747015059643,
      -5.241747015059643,
      -5.241747015059643,
      -5.529429087511423,
      -6.628041376179533,
      -5.934894195619588,
      -6.628041376179533,
      -5.529429087511423,
      -6.628041376179533,
      -6.628041376179533,
      -5.934894195619588,
      -5.934894195619588,
      -6.628041376179533,
      -5.934894195619588,
      -4.68213122712422,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.241747015059643,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.241747015059643,
      -5.934894195619588,
      -6.628041376179533,
      -5.934894195619588,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.529429087511423,
      -5.018603463745433,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.529429087511423,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.018603463745433,
      -6.628041376179533,
      -6.628041376179533,
      -5.934894195619588,
      -5.934894195619588,
      -6.628041376179533,
      -5.934894195619588,
      -5.529429087511423,
      -6.628041376179533,
      -6.628041376179533,
      -4.836281906951478,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.934894195619588,
      -5.529429087511423,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.529429087511423,
      -6.628041376179533,
      -5.018603463745433,
      -5.529429087511423,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.529429087511423,
      -6.628041376179533,
      -5.241747015059643,
      -6.628041376179533,
      -4.836281906951478,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.529429087511423,
      -5.934894195619588,
      -5.529429087511423,
      -5.934894195619588,
      -5.241747015059643,
      -5.241747015059643,
      -5.934894195619588,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.529429087511423,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.934894195619588,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.934894195619588,
      -5.018603463745433,
      -6.628041376179533,
      -6.628041376179533,
      -5.934894195619588,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.934894195619588,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.934894195619588,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.018603463745433,
      -5.018603463745433,
      -5.241747015059643,
      -6.628041376179533,
      -6.628041376179533,
      -5.934894195619588,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.529429087511423,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.241747015059643,
      -5.241747015059643,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.241747015059643,
      -5.934894195619588,
      -5.529429087511423,
      -5.529429087511423,
      -5.934894195619588,
      -5.529429087511423,
      -6.628041376179533,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.529429087511423,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.934894195619588,
      -5.529429087511423,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.529429087511423,
      -5.934894195619588,
      -5.934894195619588,
      -5.934894195619588,
      -5.934894195619588,
      -5.934894195619588,
      -5.934894195619588,
      -5.529429087511423,
      -5.934894195619588,
      -5.934894195619588,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.529429087511423,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533
    ],
    "IntegrationFailures": [
      -4.894101477840304,
      -5.58724865840025,
      -6.280395838960195,
      -5.181783550292085,
      -5.58724865840025,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -5.181783550292085,
      -6.280395838960195,
      -6.280395838960195,
      -5.58724865840025,
      -5.58724865840025,
      -5.58724865840025,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -4.894101477840304,
      -5.58724865840025,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -4.894101477840304,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -4.894101477840304,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -5.58724865840025,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -5.58724865840025,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -5.58724865840025,
      -5.58724865840025,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195,
      -6.280395838960195
    ],
    "MemorySafety": [
      -6.359573868672378,
      -6.359573868672378,
      -5.666426688112432,
      -6.359573868672378,
      -5.666426688112432,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -5.666426688112432,
      -6.359573868672378,
      -5.260961580004268,
      -5.666426688112432,
      -4.973279507552487,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -5.260961580004268,
      -5.260961580004268,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -4.750135956238277,
      -6.359573868672378,
      -6.359573868672378,
      -5.666426688112432,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -4.162349291336158,
      -6.359573868672378,
      -5.666426688112432,
      -6.359573868672378,
      -6.359573868672378,
      -5.666426688112432,
      -5.666426688112432,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -4.973279507552487,
      -6.359573868672378,
      -6.359573868672378,
      -4.973279507552487,
      -5.666426688112432,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -5.666426688112432,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -5.666426688112432,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -5.666426688112432,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -5.666426688112432,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -5.666426688112432,
      -6.359573868672378,
      -6.359573868672378,
      -5.260961580004268,
      -5.666426688112432,
      -6.359573868672378,
      -4.973279507552487,
      -6.359573868672378,
      -6.359573868672378,
      -5.666426688112432,
      -6.359573868672378,
      -6.359573868672378,
      -5.260961580004268,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -5.666426688112432,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -5.666426688112432,
      -5.666426688112432,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -5.666426688112432,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -5.666426688112432,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -5.666426688112432,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -5.666426688112432,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -5.666426688112432,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -5.666426688112432,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -5.666426688112432,
      -6.359573868672378,
      -5.666426688112432,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -5.666426688112432,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -5.666426688112432,
      -4.973279507552487,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -5.666426688112432,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -5.666426688112432,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378,
      -6.359573868672378
    ],
    "OwnershipBorrow": [
      -4.3254562831854875,
      -4.836281906951478,
      -4.836281906951478,
      -4.68213122712422,
      -5.018603463745433,
      -4.836281906951478,
      -5.018603463745433,
      -6.628041376179533,
      -5.529429087511423,
      -6.628041376179533,
      -5.529429087511423,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.241747015059643,
      -5.934894195619588,
      -5.934894195619588,
      -5.241747015059643,
      -5.241747015059643,
      -5.241747015059643,
      -6.628041376179533,
      -5.241747015059643,
      -5.241747015059643,
      -6.628041376179533,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -5.934894195619588,
      -5.241747015059643,
      -5.529429087511423,
      -4.836281906951478,
      -6.628041376179533,
      -5.934894195619588,
      -6.628041376179533,
      -5.934894195619588,
      -6.628041376179533,
      -5.529429087511423,
      -6.628041376179533,
      -6.628041376179533,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -5.934894195619588,
      -5.934894195619588,
      -5.241747015059643,
      -6.628041376179533,
      -5.934894195619588,
      -5.529429087511423,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -5.934894195619588,
      -5.529429087511423,
      -5.529429087511423,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.529429087511423,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.529429087511423,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.241747015059643,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.934894195619588,
      -5.529429087511423,
      -6.628041376179533,
      -6.628041376179533,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.934894195619588,
      -6.628041376179533,
      -5.529429087511423,
      -5.018603463745433,
      -5.934894195619588,
      -6.628041376179533,
      -5.934894195619588,
      -6.628041376179533,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.934894195619588,
      -6.628041376179533,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.934894195619588,
      -5.529429087511423,
      -5.529429087511423,
      -6.628041376179533,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.934894195619588,
      -6.628041376179533,
      -5.934894195619588,
      -6.628041376179533,
      -5.934894195619588,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -5.934894195619588,
      -6.628041376179533,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.529429087511423,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.529429087511423,
      -5.018603463745433,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.529429087511423,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.934894195619588,
      -5.934894195619588,
      -5.934894195619588,
      -6.628041376179533,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.529429087511423,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.529429087511423,
      -5.934894195619588,
      -5.934894195619588,
      -5.934894195619588,
      -5.529429087511423,
      -5.934894195619588,
      -5.934894195619588,
      -5.241747015059643,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.934894195619588,
      -6.628041376179533,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.529429087511423,
      -6.628041376179533,
      -6.628041376179533,
      -5.241747015059643,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.934894195619588,
      -5.934894195619588,
      -5.934894195619588,
      -5.934894195619588,
      -5.529429087511423,
      -5.934894195619588,
      -5.529429087511423,
      -5.529429087511423,
      -5.529429087511423,
      -5.934894195619588,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -5.934894195619588,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533,
      -6.628041376179533
    ],
    "StdlibMapping": [
      -4.9505313700265505,
      -4.9505313700265505,
      -5.643678550586496,
      -5.238213442478331,
      -5.238213442478331,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -5.643678550586496,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -5.643678550586496,
      -5.643678550586496,
      -5.643678550586496,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -5.643678550586496,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -5.643678550586496,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -5.643678550586496,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -4.727387818712341,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -5.643678550586496,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -5.643678550586496,
      -5.643678550586496,
      -6.336825731146441,
      -6.336825731146441,
      -5.643678550586496,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -5.643678550586496,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -5.643678550586496,
      -6.336825731146441,
      -4.9505313700265505,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -5.643678550586496,
      -6.336825731146441,
      -5.238213442478331,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -5.643678550586496,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -5.643678550586496,
      -6.336825731146441,
      -5.643678550586496,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -5.643678550586496,
      -6.336825731146441,
      -5.643678550586496,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -5.238213442478331,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -5.238213442478331,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -5.643678550586496,
      -5.643678550586496,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -5.643678550586496,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -5.238213442478331,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -5.643678550586496,
      -5.643678550586496,
      -5.643678550586496,
      -5.643678550586496,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -5.643678550586496,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -5.643678550586496,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441,
      -6.336825731146441
    ],
    "TraitBounds": [
      -4.989460296959797,
      -4.855928904335275,
      -5.32593253358101,
      -4.989460296959797,
      -4.738145868678891,
      -5.32593253358101,
      -5.836758157347001,
      -5.32593253358101,
      -5.1436109767870555,
      -6.93537044601511,
      -5.1436109767870555,
      -4.989460296959797,
      -4.632785353021065,
      -6.93537044601511,
      -6.93537044601511,
      -5.1436109767870555,
      -6.2422232654551655,
      -4.989460296959797,
      -5.836758157347001,
      -5.836758157347001,
      -5.836758157347001,
      -6.93537044601511,
      -5.836758157347001,
      -5.54907608489522,
      -6.93537044601511,
      -5.1436109767870555,
      -6.2422232654551655,
      -5.836758157347001,
      -4.989460296959797,
      -5.32593253358101,
      -5.54907608489522,
      -6.93537044601511,
      -6.93537044601511,
      -5.54907608489522,
      -6.93537044601511,
      -5.1436109767870555,
      -5.54907608489522,
      -6.2422232654551655,
      -5.32593253358101,
      -5.1436109767870555,
      -5.54907608489522,
      -6.93537044601511,
      -5.1436109767870555,
      -5.54907608489522,
      -5.836758157347001,
      -5.1436109767870555,
      -5.54907608489522,
      -6.2422232654551655,
      -6.2422232654551655,
      -5.54907608489522,
      -4.855928904335275,
      -4.989460296959797,
      -6.2422232654551655,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -4.738145868678891,
      -6.93537044601511,
      -6.2422232654551655,
      -6.2422232654551655,
      -6.2422232654551655,
      -6.2422232654551655,
      -5.836758157347001,
      -6.2422232654551655,
      -6.93537044601511,
      -6.2422232654551655,
      -6.93537044601511,
      -5.836758157347001,
      -5.836758157347001,
      -5.32593253358101,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -5.32593253358101,
      -6.2422232654551655,
      -6.2422232654551655,
      -5.836758157347001,
      -5.836758157347001,
      -5.836758157347001,
      -5.836758157347001,
      -6.93537044601511,
      -5.836758157347001,
      -6.2422232654551655,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.2422232654551655,
      -6.2422232654551655,
      -5.32593253358101,
      -6.2422232654551655,
      -6.2422232654551655,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.2422232654551655,
      -6.93537044601511,
      -6.2422232654551655,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -5.836758157347001,
      -5.836758157347001,
      -5.54907608489522,
      -5.836758157347001,
      -6.2422232654551655,
      -6.93537044601511,
      -5.54907608489522,
      -6.93537044601511,
      -6.93537044601511,
      -5.836758157347001,
      -6.2422232654551655,
      -6.93537044601511,
      -6.2422232654551655,
      -6.93537044601511,
      -6.93537044601511,
      -6.2422232654551655,
      -5.836758157347001,
      -6.93537044601511,
      -6.2422232654551655,
      -6.93537044601511,
      -6.93537044601511,
      -6.2422232654551655,
      -6.2422232654551655,
      -5.836758157347001,
      -5.1436109767870555,
      -6.2422232654551655,
      -5.836758157347001,
      -4.989460296959797,
      -5.54907608489522,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.2422232654551655,
      -6.2422232654551655,
      -6.93537044601511,
      -6.2422232654551655,
      -6.93537044601511,
      -6.93537044601511,
      -6.2422232654551655,
      -6.93537044601511,
      -6.93537044601511,
      -6.2422232654551655,
      -6.93537044601511,
      -6.93537044601511,
      -5.836758157347001,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -5.836758157347001,
      -5.1436109767870555,
      -5.836758157347001,
      -5.836758157347001,
      -6.2422232654551655,
      -6.2422232654551655,
      -5.836758157347001,
      -5.54907608489522,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -5.836758157347001,
      -6.2422232654551655,
      -5.836758157347001,
      -6.93537044601511,
      -6.2422232654551655,
      -6.93537044601511,
      -6.93537044601511,
      -6.2422232654551655,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.2422232654551655,
      -6.2422232654551655,
      -6.2422232654551655,
      -5.32593253358101,
      -6.2422232654551655,
      -6.2422232654551655,
      -5.54907608489522,
      -5.54907608489522,
      -5.54907608489522,
      -5.54907608489522,
      -6.2422232654551655,
      -6.2422232654551655,
      -6.2422232654551655,
      -6.2422232654551655,
      -6.2422232654551655,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -5.836758157347001,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.2422232654551655,
      -5.836758157347001,
      -6.2422232654551655,
      -6.2422232654551655,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.2422232654551655,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -5.836758157347001,
      -6.93537044601511,
      -6.93537044601511,
      -6.2422232654551655,
      -6.93537044601511,
      -6.93537044601511,
      -6.2422232654551655,
      -6.93537044601511,
      -6.93537044601511,
      -6.2422232654551655,
      -6.93537044601511,
      -5.836758157347001,
      -6.2422232654551655,
      -6.2422232654551655,
      -5.54907608489522,
      -6.2422232654551655,
      -6.2422232654551655,
      -5.836758157347001,
      -5.54907608489522,
      -5.836758157347001,
      -6.2422232654551655,
      -6.2422232654551655,
      -6.2422232654551655,
      -6.2422232654551655,
      -6.2422232654551655,
      -6.2422232654551655,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.2422232654551655,
      -6.2422232654551655,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -5.836758157347001,
      -6.93537044601511,
      -6.93537044601511,
      -5.836758157347001,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.2422232654551655,
      -6.2422232654551655,
      -5.836758157347001,
      -6.2422232654551655,
      -6.2422232654551655,
      -6.2422232654551655,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -5.836758157347001,
      -6.2422232654551655,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -5.836758157347001,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -5.54907608489522,
      -6.93537044601511,
      -6.93537044601511,
      -5.836758157347001,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.2422232654551655,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -5.836758157347001,
      -5.836758157347001,
      -5.836758157347001,
      -5.836758157347001,
      -6.2422232654551655,
      -5.836758157347001,
      -6.2422232654551655,
      -5.836758157347001,
      -6.2422232654551655,
      -5.836758157347001,
      -5.836758157347001,
      -6.2422232654551655,
      -6.2422232654551655,
      -6.2422232654551655,
      -6.2422232654551655,
      -6.2422232654551655,
      -6.2422232654551655,
      -6.2422232654551655,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.2422232654551655,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -5.836758157347001,
      -5.836758157347001,
      -6.2422232654551655,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -5.836758157347001,
      -5.836758157347001,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.2422232654551655,
      -6.93537044601511,
      -6.93537044601511,
      -5.836758157347001,
      -6.2422232654551655,
      -5.836758157347001,
      -6.2422232654551655,
      -6.2422232654551655,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.93537044601511,
      -6.2422232654551655,
      -6.93537044601511,
      -6.93537044601511
    ]
  },
  "metadata": {
    "train_samples": 45,
    "vocab_size": 500,
    "alpha": 1.0
  }
}