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

len = 599;
stream = [
 202,
  204,
  195,
  202,
  191,
  188,
  164,
  164,
  205,
  253,
  205,
  179,
  164,
  199,
  164,
  226,
  164,
  202,
  164,
  164,
  161,
  163,
  10,
  144,
  86,
  146,
  122,
  130,
  204,
  147,
  241,
  138,
  75,
  130,
  169,
  130,
  231,
  142,
  241,
  130,
  240,
  143,
  111,
  130,
  181,
  130,
  196,
  130,
  162,
  130,
  189,
  130,
  231,
  129,
  65,
  147,
  175,
  139,
  137,
  144,
  182,
  130,
  204,
  136,
  234,
  144,
  108,
  130,
  170,
  143,
  231,
  146,
  107,
  130,
  201,
  129,
  65,
  130,
  162,
  130,
  173,
  130,
  231,
  136,
  208,
  146,
  163,
  130,
  193,
  130,
  196,
  130,
  224,
  129,
  65,
  130,
  187,
  130,
  177,
  130,
  169,
  130,
  231,
  148,
  242,
  130,
  209,
  141,
  126,
  130,
  232,
  130,
  233,
  142,
  150,
  130,
  205,
  143,
  111,
  151,
  136,
  130,
  220,
  130,
  162,
  129,
  66,
  10,
  188,
  229,
  195,
  238,
  164,
  228,
  161,
  188,
  164,
  164,
  161,
  163,
  164,
  200,
  211,
  242,
  164,
  183,
  164,
  191,
  164,
  171,
  164,
  233,
  164,
  199,
  164,
  162,
  164,
  235,
  161,
  163,
  190,
  174,
  187,
  200,
  164,
  203,
  201,
  233,
  164,
  214,
  164,
  181,
  164,
  195,
  164,
  198,
  181,
  162,
  164,
  195,
  164,
  198,
  205,
  232,
  164,
  191,
  187,
  254,
  161,
  162,
  164,
  170,
  164,
  228,
  164,
  184,
  164,
  172,
  194,
  231,
  164,
  173,
  164,
  202,
  180,
  227,
  164,
  242,
  164,
  183,
  164,
  198,
  198,
  243,
  179,
  172,
  164,
  176,
  164,
  233,
  164,
  164,
  164,
  171,
  164,
  233,
  200,
  244,
  164,
  211,
  185,
  223,
  164,
  234,
  164,
  198,
  185,
  248,
  164,
  242,
  200,
  180,
  164,
  171,
  164,
  185,
  197,
  219,
  164,
  172,
  164,
  162,
  164,
  235,
  164,
  171,
  164,
  200,
  177,
  190,
  164,
  195,
  164,
  191,
  164,
  171,
  164,
  233,
  161,
  162,
  164,
  179,
  164,
  206,
  188,
  161,
  164,
  207,
  200,
  180,
  164,
  171,
  164,
  181,
  164,
  186,
  164,
  203,
  200,
  244,
  164,
  243,
  164,
  199,
  184,
  171,
  164,
  187,
  164,
  222,
  164,
  185,
  164,
  200,
  197,
  250,
  164,
  168,
  164,
  191,
  161,
  163,
  10,
  191,
  198,
  190,
  249,
  164,
  234,
  164,
  206,
  204,
  181,
  197,
  180,
  203,
  164,
  164,
  199,
  190,
  174,
  182,
  161,
  164,
  206,
  187,
  254,
  164,
  171,
  164,
  233,
  194,
  187,
  164,
  208,
  164,
  171,
  164,
  234,
  164,
  183,
  164,
  198,
  164,
  164,
  164,
  235,
  161,
  163,
  10,
  229,
  136,
  165,
  230,
  174,
  181,
  230,
  183,
  177,
  227,
  129,
  132,
  231,
  144,
  134,
  231,
  148,
  177,
  227,
  129,
  167,
  227,
  130,
  130,
  227,
  129,
  170,
  227,
  129,
  132,
  227,
  128,
  130,
  10,
  230,
  151,
  167,
  232,
  168,
  152,
  227,
  129,
  171,
  227,
  130,
  136,
  227,
  130,
  139,
  227,
  129,
  168,
  227,
  128,
  129,
  228,
  187,
  143,
  229,
  131,
  143,
  227,
  130,
  132,
  228,
  187,
  143,
  229,
  133,
  183,
  227,
  130,
  146,
  230,
  137,
  147,
  231,
  160,
  149,
  227,
  129,
  132,
  227,
  129,
  166,
  227,
  128,
  129,
  227,
  129,
  157,
  227,
  129,
  174,
  228,
  184,
  185,
  227,
  129,
  140,
  227,
  129,
  164,
  227,
  129,
  132,
  227,
  129,
  159,
  227,
  130,
  138,
  227,
  128,
  129,
  233,
  135,
  145,
  233,
  138,
  128,
  227,
  129,
  174,
  231,
  174,
  148,
  227,
  129,
  140,
  227,
  129,
  164,
  227,
  129,
  132,
  227,
  129,
  159,
  227,
  130,
  138,
  227,
  129,
  151,
  227,
  129,
  159,
  230,
  156,
  168,
  227,
  130,
  146,
  227,
  128,
  129,
  232,
  183,
  175,
  227,
  129,
  176,
  227,
  129,
  159,
  227,
  129,
  171,
  227,
  129,
  164,
  227,
  129,
  191,
  233,
  135,
  141,
  227,
  129,
  173,
  227,
  129,
  166,
  227,
  128,
  129,
  232,
  150,
  170,
  227,
  129,
  174,
  230,
  150,
  153,
  227,
  129,
  171,
  229,
  163,
  178,
  227,
  129,
  163,
  227,
  129,
  166,
  227,
  129,
  132,
  227,
  129,
  159,
  227,
  129,
  168,
  228,
  186,
  145,
  227,
  129,
  134,
  228,
  186,
  139,
  227,
  129,
  167,
  227,
  129,
  130,
  227,
  130,
  139,
  227,
  128,
  130,
  10
];