MiniZinc-Auto-Tabling-Models/jp-encoding/instances/data100.dzn

len = 164;
stream = [
 227,
  129,
  157,
  227,
  129,
  147,
  227,
  129,
  167,
  230,
  180,
  155,
  228,
  184,
  173,
  227,
  129,
  174,
  227,
  129,
  149,
  227,
  129,
  179,
  227,
  130,
  140,
  230,
  150,
  185,
  227,
  129,
  175,
  228,
  184,
  128,
  233,
  128,
  154,
  227,
  130,
  138,
  227,
  129,
  167,
  227,
  129,
  175,
  227,
  129,
  170,
  227,
  129,
  132,
  227,
  128,
  130,
  10,
  227,
  129,
  130,
  227,
  130,
  139,
  230,
  151,
  165,
  227,
  129,
  174,
  230,
  154,
  174,
  230,
  150,
  185,
  227,
  129,
  174,
  228,
  186,
  139,
  227,
  129,
  167,
  227,
  129,
  130,
  227,
  130,
  139,
  227,
  128,
  130,
  228,
  184,
  128,
  228,
  186,
  186,
  227,
  129,
  174,
  228,
  184,
  139,
  228,
  186,
  186,
  227,
  129,
  140,
  227,
  128,
  129,
  231,
  190,
  133,
  231,
  148,
  159,
  233,
  150,
  128,
  227,
  129,
  174,
  228,
  184,
  139,
  227,
  129,
  167,
  233,
  155,
  168,
  227,
  130,
  132,
  227,
  129,
  191,
  227,
  130,
  146,
  229,
  190,
  133,
  227,
  129,
  163,
  227,
  129,
  166,
  227,
  129,
  132,
  227,
  129,
  159,
  227,
  128,
  130,
  10
];