{
  "version": "1.0.0",
  "scope": "all equality patterns of ordered 5+5 positions, up to bijective letter renaming",
  "pairCount": 115975,
  "twoIndependentImplementationsDisagree": 0,
  "letterCountInvariantChecks": 405623,
  "naiveMembershipDisagreements": 55550,
  "probabilityInterpretation": false,
  "feedbackDistribution": {
    "bbbbb": 2704,
    "bbbbg": 1335,
    "bbbby": 1485,
    "bbbgb": 1335,
    "bbbgg": 670,
    "bbbgy": 640,
    "bbbyb": 1710,
    "bbbyg": 640,
    "bbbyy": 880,
    "bbgbb": 1335,
    "bbgbg": 670,
    "bbgby": 640,
    "bbggb": 670,
    "bbggg": 332,
    "bbggy": 255,
    "bbgyb": 750,
    "bbgyg": 255,
    "bbgyy": 334,
    "bbybb": 1995,
    "bbybg": 750,
    "bbyby": 1042,
    "bbygb": 750,
    "bbygg": 255,
    "bbygy": 334,
    "bbyyb": 1214,
    "bbyyg": 334,
    "bbyyy": 542,
    "bgbbb": 1335,
    "bgbbg": 670,
    "bgbby": 640,
    "bgbgb": 670,
    "bgbgg": 332,
    "bgbgy": 255,
    "bgbyb": 750,
    "bgbyg": 255,
    "bgbyy": 334,
    "bggbb": 670,
    "bggbg": 332,
    "bggby": 255,
    "bgggb": 332,
    "bgggg": 151,
    "bgggy": 77,
    "bggyb": 298,
    "bggyg": 77,
    "bggyy": 112,
    "bgybb": 885,
    "bgybg": 298,
    "bgyby": 413,
    "bgygb": 298,
    "bgygg": 77,
    "bgygy": 112,
    "bgyyb": 492,
    "bgyyg": 112,
    "bgyyy": 168,
    "bybbb": 2355,
    "bybbg": 885,
    "bybby": 1263,
    "bybgb": 885,
    "bybgg": 298,
    "bybgy": 413,
    "bybyb": 1475,
    "bybyg": 413,
    "bybyy": 666,
    "bygbb": 885,
    "bygbg": 298,
    "bygby": 413,
    "byggb": 298,
    "byggg": 77,
    "byggy": 112,
    "bygyb": 492,
    "bygyg": 112,
    "bygyy": 168,
    "byybb": 1746,
    "byybg": 492,
    "byyby": 800,
    "byygb": 492,
    "byygg": 112,
    "byygy": 168,
    "byyyb": 944,
    "byyyg": 168,
    "byyyy": 326,
    "gbbbb": 1335,
    "gbbbg": 670,
    "gbbby": 640,
    "gbbgb": 670,
    "gbbgg": 332,
    "gbbgy": 255,
    "gbbyb": 750,
    "gbbyg": 255,
    "gbbyy": 334,
    "gbgbb": 670,
    "gbgbg": 332,
    "gbgby": 255,
    "gbggb": 332,
    "gbggg": 151,
    "gbggy": 77,
    "gbgyb": 298,
    "gbgyg": 77,
    "gbgyy": 112,
    "gbybb": 885,
    "gbybg": 298,
    "gbyby": 413,
    "gbygb": 298,
    "gbygg": 77,
    "gbygy": 112,
    "gbyyb": 492,
    "gbyyg": 112,
    "gbyyy": 168,
    "ggbbb": 670,
    "ggbbg": 332,
    "ggbby": 255,
    "ggbgb": 332,
    "ggbgg": 151,
    "ggbgy": 77,
    "ggbyb": 298,
    "ggbyg": 77,
    "ggbyy": 112,
    "gggbb": 332,
    "gggbg": 151,
    "gggby": 77,
    "ggggb": 151,
    "ggggg": 52,
    "gggyb": 77,
    "gggyy": 37,
    "ggybb": 341,
    "ggybg": 77,
    "ggyby": 156,
    "ggygb": 77,
    "ggygy": 37,
    "ggyyb": 200,
    "ggyyg": 37,
    "ggyyy": 34,
    "gybbb": 1045,
    "gybbg": 341,
    "gybby": 534,
    "gybgb": 341,
    "gybgg": 77,
    "gybgy": 156,
    "gybyb": 649,
    "gybyg": 156,
    "gybyy": 240,
    "gygbb": 341,
    "gygbg": 77,
    "gygby": 156,
    "gyggb": 77,
    "gyggy": 37,
    "gygyb": 200,
    "gygyg": 37,
    "gygyy": 34,
    "gyybb": 806,
    "gyybg": 200,
    "gyyby": 312,
    "gyygb": 200,
    "gyygg": 37,
    "gyygy": 34,
    "gyyyb": 384,
    "gyyyg": 34,
    "gyyyy": 102,
    "ybbbb": 2805,
    "ybbbg": 1045,
    "ybbby": 1580,
    "ybbgb": 1045,
    "ybbgg": 341,
    "ybbgy": 534,
    "ybbyb": 1862,
    "ybbyg": 534,
    "ybbyy": 884,
    "ybgbb": 1045,
    "ybgbg": 341,
    "ybgby": 534,
    "ybggb": 341,
    "ybggg": 77,
    "ybggy": 156,
    "ybgyb": 649,
    "ybgyg": 156,
    "ybgyy": 240,
    "ybybb": 2233,
    "ybybg": 649,
    "ybyby": 1078,
    "ybygb": 649,
    "ybygg": 156,
    "ybygy": 240,
    "ybyyb": 1288,
    "ybyyg": 240,
    "ybyyy": 476,
    "ygbbb": 1045,
    "ygbbg": 341,
    "ygbby": 534,
    "ygbgb": 341,
    "ygbgg": 77,
    "ygbgy": 156,
    "ygbyb": 649,
    "ygbyg": 156,
    "ygbyy": 240,
    "yggbb": 341,
    "yggbg": 77,
    "yggby": 156,
    "ygggb": 77,
    "ygggy": 37,
    "yggyb": 200,
    "yggyg": 37,
    "yggyy": 34,
    "ygybb": 806,
    "ygybg": 200,
    "ygyby": 312,
    "ygygb": 200,
    "ygygg": 37,
    "ygygy": 34,
    "ygyyb": 384,
    "ygyyg": 34,
    "ygyyy": 102,
    "yybbb": 2730,
    "yybbg": 806,
    "yybby": 1366,
    "yybgb": 806,
    "yybgg": 200,
    "yybgy": 312,
    "yybyb": 1648,
    "yybyg": 312,
    "yybyy": 642,
    "yygbb": 806,
    "yygbg": 200,
    "yygby": 312,
    "yyggb": 200,
    "yyggg": 37,
    "yyggy": 34,
    "yygyb": 384,
    "yygyg": 34,
    "yygyy": 102,
    "yyybb": 2024,
    "yyybg": 384,
    "yyyby": 824,
    "yyygb": 384,
    "yyygg": 34,
    "yyygy": 102,
    "yyyyb": 1022,
    "yyyyg": 102,
    "yyyyy": 224
  },
  "examples": [
    {
      "guess": "eerie",
      "target": "erase",
      "pattern": "gbybg",
      "syntheticPair": true
    },
    {
      "guess": "allee",
      "target": "apple",
      "pattern": "gybbg",
      "syntheticPair": true
    },
    {
      "guess": "array",
      "target": "cigar",
      "pattern": "bybgb",
      "syntheticPair": true
    },
    {
      "guess": "belle",
      "target": "level",
      "pattern": "bgyyy",
      "syntheticPair": true
    },
    {
      "guess": "sassy",
      "target": "stand",
      "pattern": "gybbb",
      "syntheticPair": true
    },
    {
      "guess": "mamma",
      "target": "gamma",
      "pattern": "bgggg",
      "syntheticPair": true
    },
    {
      "guess": "hello",
      "target": "hello",
      "pattern": "ggggg",
      "syntheticPair": true
    },
    {
      "guess": "cigar",
      "target": "blunt",
      "pattern": "bbbbb",
      "syntheticPair": true
    },
    {
      "guess": "eagle",
      "target": "eerie",
      "pattern": "gbbbg",
      "syntheticPair": true
    },
    {
      "guess": "level",
      "target": "belle",
      "pattern": "ygbyy",
      "syntheticPair": true
    },
    {
      "guess": "babba",
      "target": "aaabb",
      "pattern": "ygbgy",
      "syntheticPair": true
    },
    {
      "guess": "aaaaa",
      "target": "abaca",
      "pattern": "gbgbg",
      "syntheticPair": true
    }
  ]
}