{
  "0-0-0-0": 16013,
  "1-0-0-1": 64429,
  "1-0-1-1": 54150,
  "1-1-0-1": 57900,
  "1-1-1-1": 63957,
  "2-0-0-2": 42640,
  "2-0-1-2": 16108,
  "2-0-2-2": 54996,
  "2-1-0-2": 63636,
  "2-1-0-3": 24954,
  "2-1-1-2": 13906,
  "2-1-1-3": 14183,
  "2-1-2-2": 19805,
  "2-1-2-3": 17318,
  "2-1-3-2": 25473,
  "2-2-0-2": 59911,
  "2-2-0-3": 46882,
  "2-2-1-2": 16719,
  "2-2-1-3": 57520,
  "2-2-2-2": 55664,
  "2-2-2-3": 55638,
  "2-3-2-3": 42095,
  "3-0-2-5": 50003,
  "3-0-3-5": 59122,
  "3-1-1-5": 27020,
  "3-1-2-5": 64642,
  "3-1-3-5": 26165,
  "3-1-4-5": 44218,
  "3-2-1-5": 26064,
  "3-2-2-5": 58282,
  "3-2-2-6": 43685,
  "3-2-3-5": 30040,
  "3-2-3-6": 60600,
  "3-2-4-5": 20698,
  "3-2-4-6": 49632,
  "3-2-5-5": 61235,
  "3-3-0-5": 40091,
  "3-3-1-5": 25132,
  "3-3-2-5": 56062,
  "3-3-2-6": 55261,
  "3-3-3-5": 21935,
  "3-3-3-6": 59887,
  "3-3-4-5": 22003,
  "3-3-5-5": 44628,
  "3-4-0-5": 51314,
  "3-4-1-5": 24916,
  "3-4-2-5": 37397,
  "3-4-2-6": 47032,
  "3-4-3-5": 20212,
  "3-4-3-6": 62512,
  "3-4-4-5": 39024,
  "3-5-1-5": 43296,
  "3-5-2-5": 43987,
  "3-5-2-6": 33633,
  "3-5-3-5": 56211,
  "3-5-5-6": 22045,
  "4-1-4-11": 37134,
  "4-1-6-11": 57297,
  "4-10-2-11": 55032,
  "4-10-4-11": 35559,
  "4-10-5-11": 33433,
  "4-10-6-11": 40180,
  "4-11-2-11": 32235,
  "4-11-3-11": 20330,
  "4-11-4-11": 35714,
  "4-2-3-11": 49331,
  "4-2-5-11": 70241,
  "4-2-6-11": 72123,
  "4-2-7-11": 48375,
  "4-2-8-11": 36867,
  "4-3-2-11": 31714,
  "4-3-3-11": 43634,
  "4-3-4-11": 32279,
  "4-3-5-11": 52062,
  "4-3-6-11": 71272,
  "4-3-7-11": 62912,
  "4-3-8-11": 54189,
  "4-3-9-11": 66812,
  "4-4-2-11": 60991,
  "4-4-3-11": 61451,
  "4-4-5-12": 50634,
  "4-4-6-11": 41549,
  "4-4-7-11": 38919,
  "4-4-8-11": 51854,
  "4-4-9-11": 65348,
  "4-5-2-11": 52387,
  "4-5-3-11": 59382,
  "4-5-4-11": 58835,
  "4-5-5-11": 24057,
  "4-5-6-12": 27649,
  "4-5-7-12": 49380,
  "4-5-8-11": 42222,
  "4-5-9-11": 49080,
  "4-6-1-11": 66755,
  "4-6-2-11": 44506,
  "4-6-3-11": 49648,
  "4-6-5-11": 31845,
  "4-6-6-11": 50818,
  "4-6-7-11": 45448,
  "4-6-8-11": 60418,
  "4-6-9-11": 73498,
  "4-7-1-11": 75002,
  "4-7-2-11": 57168,
  "4-7-3-11": 62452,
  "4-7-4-12": 49195,
  "4-7-5-12": 62646,
  "4-7-6-11": 47712,
  "4-7-7-11": 54526,
  "4-7-8-11": 64329,
  "4-7-9-11": 46708,
  "4-8-1-11": 63800,
  "4-8-2-11": 59015,
  "4-8-3-11": 44580,
  "4-8-4-11": 29325,
  "4-8-4-12": 54652,
  "4-8-5-12": 55571,
  "4-8-6-11": 36682,
  "4-8-7-11": 58878,
  "4-8-8-11": 46965,
  "4-9-1-11": 52085,
  "4-9-2-11": 59966,
  "4-9-3-11": 60735,
  "4-9-4-11": 62366,
  "4-9-5-11": 44020,
  "4-9-6-11": 46800,
  "4-9-7-11": 60343,
  "4-9-8-11": 47516,
  "5-10-18-23": 16633,
  "5-10-7-23": 22190,
  "5-10-8-23": 19237,
  "5-11-5-23": 19421,
  "5-11-7-23": 21546,
  "5-12-5-23": 25339,
  "5-12-6-23": 27083,
  "5-13-5-23": 21380,
  "5-13-6-23": 29279,
  "5-13-7-23": 27058,
  "5-14-14-23": 23866,
  "5-14-5-23": 17750,
  "5-14-6-23": 27587,
  "5-14-8-24": 23447,
  "5-15-10-24": 25826,
  "5-15-13-23": 28624,
  "5-15-14-23": 24658,
  "5-15-15-23": 21959,
  "5-15-16-23": 24128,
  "5-15-5-23": 26682,
  "5-15-6-23": 23758,
  "5-15-8-24": 25124,
  "5-15-9-24": 27269,
  "5-16-13-23": 32769,
  "5-16-14-23": 26188,
  "5-16-16-23": 22043,
  "5-16-5-23": 28799,
  "5-16-6-23": 22755,
  "5-17-12-23": 31143,
  "5-17-13-23": 33806,
  "5-17-14-23": 23801,
  "5-17-6-23": 22389,
  "5-18-13-23": 26674,
  "5-18-6-23": 22767,
  "5-7-15-23": 17139,
  "5-7-16-23": 19711,
  "5-7-17-23": 17668,
  "5-8-16-23": 19685,
  "5-8-17-23": 17761,
  "5-9-19-23": 18054,
  "5-9-7-23": 21050
}