{
  "0-0-0-0": 27034,
  "1-0-0-0": 8996,
  "1-0-1-0": 27058,
  "1-1-0-0": 15378,
  "1-1-1-0": 41572,
  "2-0-1-1": 60491,
  "2-0-2-1": 55095,
  "2-1-0-1": 15400,
  "2-1-1-1": 17123,
  "2-1-2-1": 56061,
  "2-2-0-1": 15286,
  "2-2-1-1": 17966,
  "2-2-2-1": 50260,
  "2-3-0-1": 25901,
  "2-3-1-1": 58750,
  "3-2-1-3": 40296,
  "3-2-2-3": 44482,
  "3-2-3-3": 59210,
  "3-3-0-3": 30716,
  "3-3-1-3": 19495,
  "3-3-2-3": 16405,
  "3-3-3-3": 19110,
  "3-3-4-3": 22726,
  "3-4-0-3": 60069,
  "3-4-1-3": 19930,
  "3-4-2-3": 16442,
  "3-4-3-3": 23689,
  "3-4-4-3": 19424,
  "3-5-0-3": 64416,
  "3-5-1-3": 18614,
  "3-5-2-3": 19488,
  "3-5-3-3": 60635,
  "3-6-0-3": 49172,
  "3-6-1-3": 22605,
  "3-6-2-3": 21118,
  "3-6-3-3": 42276,
  "3-7-1-3": 51297,
  "3-7-2-3": 49481,
  "4-10-1-7": 48540,
  "4-10-2-7": 55791,
  "4-10-3-7": 63815,
  "4-10-4-7": 64770,
  "4-10-5-7": 62579,
  "4-10-6-7": 61409,
  "4-10-7-7": 46042,
  "4-11-2-7": 61813,
  "4-11-3-7": 72378,
  "4-11-4-7": 77563,
  "4-11-5-7": 72066,
  "4-11-6-7": 58515,
  "4-12-1-7": 52733,
  "4-12-2-7": 60455,
  "4-12-3-7": 65438,
  "4-12-4-7": 67446,
  "4-12-5-7": 66404,
  "4-12-6-7": 59271,
  "4-12-7-7": 29091,
  "4-13-2-7": 56649,
  "4-13-3-7": 65049,
  "4-13-4-7": 66250,
  "4-13-5-7": 65709,
  "4-13-6-7": 53932,
  "4-14-3-7": 57071,
  "4-14-4-7": 61807,
  "4-14-5-7": 54720,
  "4-15-3-7": 32369,
  "4-4-4-7": 38728,
  "4-5-2-7": 49691,
  "4-5-3-7": 63480,
  "4-5-4-7": 60356,
  "4-5-5-7": 58565,
  "4-6-2-7": 58240,
  "4-6-3-7": 66232,
  "4-6-4-7": 72699,
  "4-6-5-7": 69349,
  "4-6-6-7": 46805,
  "4-6-7-7": 38182,
  "4-7-1-7": 41265,
  "4-7-2-7": 60789,
  "4-7-3-7": 68498,
  "4-7-4-7": 77903,
  "4-7-5-7": 73955,
  "4-7-6-7": 57945,
  "4-7-7-7": 50859,
  "4-8-2-7": 60533,
  "4-8-3-7": 62345,
  "4-8-4-7": 42044,
  "4-8-5-7": 53548,
  "4-8-6-7": 60910,
  "4-8-7-7": 52307,
  "4-9-1-7": 51645,
  "4-9-2-7": 56384,
  "4-9-3-7": 63686,
  "4-9-4-7": 62083,
  "4-9-5-7": 62205,
  "4-9-6-7": 59540,
  "4-9-7-7": 48966,
  "5-16-10-15": 20368,
  "5-16-7-15": 23338,
  "5-16-8-15": 23838,
  "5-16-9-15": 22850
}