//Input data for Online Solver at https://www.lutanho.net/plt/lotsize.html //The data (with 320 instead of 40 periods) is adapted from the article //Grigori German, Hadrien Cambazard, Jean-Philippe Gayon, Bernard Penz (2019): //A global constraint for the capacitated single-item lot-sizing problem //d_avg = 1000, delta = 500, theta ∈ [0.4, 0.6], lambda = 3, T = 40 (40->320) //I u_0 y_0 y_I 320; 0; 0; 0; startup x_min fix var x_max demand y_min fix var y_max 0; 0, 14189,4, 3000; 1486; 0, 0, 1, 3000; 0; 0, 17900,6, 3000; 708; 0, 0, 1, 3000; 0; 0, 17824,6, 3000; 1300; 0, 0, 1, 3000; 0; 0, 16183,4, 3000; 597; 0, 0, 1, 3000; 0; 0, 13106,6, 3000; 1315; 0, 0, 1, 3000; 0; 0, 17678,6, 3000; 1025; 0, 0, 1, 3000; 0; 0, 14551,5, 3000; 891; 0, 0, 1, 3000; 0; 0, 14200,4, 3000; 1055; 0, 0, 1, 3000; 0; 0, 15719,4, 3000; 1283; 0, 0, 1, 3000; 0; 0, 17951,4, 3000; 1352; 0, 0, 1, 3000; 0; 0, 14510,5, 3000; 766; 0, 0, 1, 3000; 0; 0, 14670,4, 3000; 654; 0, 0, 1, 3000; 0; 0, 14868,6, 3000; 879; 0, 0, 1, 3000; 0; 0, 16778,6, 3000; 882; 0, 0, 1, 3000; 0; 0, 12552,5, 3000; 1424; 0, 0, 1, 3000; 0; 0, 14000,5, 3000; 594; 0, 0, 1, 3000; 0; 0, 14098,5, 3000; 754; 0, 0, 1, 3000; 0; 0, 13112,6, 3000; 502; 0, 0, 1, 3000; 0; 0, 15809,5, 3000; 1210; 0, 0, 1, 3000; 0; 0, 16954,4, 3000; 866; 0, 0, 1, 3000; 0; 0, 13221,5, 3000; 563; 0, 0, 1, 3000; 0; 0, 14271,6, 3000; 1347; 0, 0, 1, 3000; 0; 0, 14202,5, 3000; 1168; 0, 0, 1, 3000; 0; 0, 12002,4, 3000; 1125; 0, 0, 1, 3000; 0; 0, 16960,4, 3000; 732; 0, 0, 1, 3000; 0; 0, 17067,5, 3000; 1012; 0, 0, 1, 3000; 0; 0, 12216,4, 3000; 746; 0, 0, 1, 3000; 0; 0, 13928,5, 3000; 1296; 0, 0, 1, 3000; 0; 0, 17805,5, 3000; 1473; 0, 0, 1, 3000; 0; 0, 13596,5, 3000; 649; 0, 0, 1, 3000; 0; 0, 14503,4, 3000; 1326; 0, 0, 1, 3000; 0; 0, 13065,6, 3000; 1216; 0, 0, 1, 3000; 0; 0, 16462,4, 3000; 908; 0, 0, 1, 3000; 0; 0, 12216,6, 3000; 1204; 0, 0, 1, 3000; 0; 0, 16157,5, 3000; 549; 0, 0, 1, 3000; 0; 0, 17932,4, 3000; 1290; 0, 0, 1, 3000; 0; 0, 12665,5, 3000; 929; 0, 0, 1, 3000; 0; 0, 12748,6, 3000; 1138; 0, 0, 1, 3000; 0; 0, 17045,4, 3000; 565; 0, 0, 1, 3000; 0; 0, 14719,6, 3000; 851; 0, 0, 1, 3000; 0; 0, 16492,4, 3000; 1131; 0, 0, 1, 3000; 0; 0, 17121,4, 3000; 842; 0, 0, 1, 3000; 0; 0, 14379,5, 3000; 916; 0, 0, 1, 3000; 0; 0, 12855,4, 3000; 878; 0, 0, 1, 3000; 0; 0, 17421,6, 3000; 1436; 0, 0, 1, 3000; 0; 0, 17863,4, 3000; 703; 0, 0, 1, 3000; 0; 0, 12662,5, 3000; 652; 0, 0, 1, 3000; 0; 0, 12656,4, 3000; 1364; 0, 0, 1, 3000; 0; 0, 17947,6, 3000; 1500; 0, 0, 1, 3000; 0; 0, 13604,4, 3000; 1032; 0, 0, 1, 3000; 0; 0, 12873,4, 3000; 1245; 0, 0, 1, 3000; 0; 0, 14736,5, 3000; 759; 0, 0, 1, 3000; 0; 0, 17987,4, 3000; 969; 0, 0, 1, 3000; 0; 0, 17509,5, 3000; 1004; 0, 0, 1, 3000; 0; 0, 14455,4, 3000; 649; 0, 0, 1, 3000; 0; 0, 15668,6, 3000; 1311; 0, 0, 1, 3000; 0; 0, 12083,5, 3000; 639; 0, 0, 1, 3000; 0; 0, 12360,5, 3000; 635; 0, 0, 1, 3000; 0; 0, 14504,5, 3000; 1359; 0, 0, 1, 3000; 0; 0, 17742,6, 3000; 1326; 0, 0, 1, 3000; 0; 0, 13604,6, 3000; 909; 0, 0, 1, 3000; 0; 0, 14115,5, 3000; 1352; 0, 0, 1, 3000; 0; 0, 12985,6, 3000; 963; 0, 0, 1, 3000; 0; 0, 13886,5, 3000; 1335; 0, 0, 1, 3000; 0; 0, 12895,6, 3000; 1250; 0, 0, 1, 3000; 0; 0, 12442,4, 3000; 657; 0, 0, 1, 3000; 0; 0, 13751,6, 3000; 774; 0, 0, 1, 3000; 0; 0, 13886,6, 3000; 873; 0, 0, 1, 3000; 0; 0, 13865,6, 3000; 717; 0, 0, 1, 3000; 0; 0, 12325,4, 3000; 1206; 0, 0, 1, 3000; 0; 0, 14043,4, 3000; 932; 0, 0, 1, 3000; 0; 0, 13104,6, 3000; 1322; 0, 0, 1, 3000; 0; 0, 12835,4, 3000; 724; 0, 0, 1, 3000; 0; 0, 17798,6, 3000; 857; 0, 0, 1, 3000; 0; 0, 15863,4, 3000; 1041; 0, 0, 1, 3000; 0; 0, 15002,5, 3000; 812; 0, 0, 1, 3000; 0; 0, 13792,6, 3000; 893; 0, 0, 1, 3000; 0; 0, 15258,4, 3000; 1460; 0, 0, 1, 3000; 0; 0, 15552,5, 3000; 569; 0, 0, 1, 3000; 0; 0, 15980,4, 3000; 1381; 0, 0, 1, 3000; 0; 0, 17814,5, 3000; 583; 0, 0, 1, 3000; 0; 0, 14477,6, 3000; 1368; 0, 0, 1, 3000; 0; 0, 14793,6, 3000; 1043; 0, 0, 1, 3000; 0; 0, 14661,4, 3000; 603; 0, 0, 1, 3000; 0; 0, 14206,4, 3000; 1336; 0, 0, 1, 3000; 0; 0, 12862,4, 3000; 1269; 0, 0, 1, 3000; 0; 0, 15240,4, 3000; 1037; 0, 0, 1, 3000; 0; 0, 14959,6, 3000; 1157; 0, 0, 1, 3000; 0; 0, 15166,6, 3000; 931; 0, 0, 1, 3000; 0; 0, 16011,6, 3000; 782; 0, 0, 1, 3000; 0; 0, 12554,4, 3000; 1051; 0, 0, 1, 3000; 0; 0, 12067,4, 3000; 693; 0, 0, 1, 3000; 0; 0, 17563,5, 3000; 1082; 0, 0, 1, 3000; 0; 0, 15422,5, 3000; 1083; 0, 0, 1, 3000; 0; 0, 17770,5, 3000; 751; 0, 0, 1, 3000; 0; 0, 17475,4, 3000; 1453; 0, 0, 1, 3000; 0; 0, 12167,5, 3000; 881; 0, 0, 1, 3000; 0; 0, 12438,4, 3000; 752; 0, 0, 1, 3000; 0; 0, 17136,4, 3000; 1078; 0, 0, 1, 3000; 0; 0, 17634,4, 3000; 1255; 0, 0, 1, 3000; 0; 0, 12139,5, 3000; 1148; 0, 0, 1, 3000; 0; 0, 16564,6, 3000; 1125; 0, 0, 1, 3000; 0; 0, 15107,5, 3000; 754; 0, 0, 1, 3000; 0; 0, 15344,6, 3000; 707; 0, 0, 1, 3000; 0; 0, 14369,6, 3000; 907; 0, 0, 1, 3000; 0; 0, 14969,5, 3000; 504; 0, 0, 1, 3000; 0; 0, 13982,6, 3000; 1275; 0, 0, 1, 3000; 0; 0, 17769,6, 3000; 1339; 0, 0, 1, 3000; 0; 0, 16897,6, 3000; 919; 0, 0, 1, 3000; 0; 0, 14430,5, 3000; 1447; 0, 0, 1, 3000; 0; 0, 14043,5, 3000; 1051; 0, 0, 1, 3000; 0; 0, 17529,6, 3000; 553; 0, 0, 1, 3000; 0; 0, 17808,6, 3000; 792; 0, 0, 1, 3000; 0; 0, 17036,6, 3000; 831; 0, 0, 1, 3000; 0; 0, 16850,6, 3000; 1052; 0, 0, 1, 3000; 0; 0, 13000,6, 3000; 782; 0, 0, 1, 3000; 0; 0, 17979,4, 3000; 507; 0, 0, 1, 3000; 0; 0, 16661,6, 3000; 1278; 0, 0, 1, 3000; 0; 0, 13020,6, 3000; 1382; 0, 0, 1, 3000; 0; 0, 17121,6, 3000; 1394; 0, 0, 1, 3000; 0; 0, 12102,4, 3000; 1373; 0, 0, 1, 3000; 0; 0, 17181,5, 3000; 1099; 0, 0, 1, 3000; 0; 0, 13157,6, 3000; 925; 0, 0, 1, 3000; 0; 0, 14241,6, 3000; 883; 0, 0, 1, 3000; 0; 0, 14112,4, 3000; 903; 0, 0, 1, 3000; 0; 0, 12414,6, 3000; 718; 0, 0, 1, 3000; 0; 0, 12479,4, 3000; 1010; 0, 0, 1, 3000; 0; 0, 12025,4, 3000; 690; 0, 0, 1, 3000; 0; 0, 12573,4, 3000; 801; 0, 0, 1, 3000; 0; 0, 13851,4, 3000; 1270; 0, 0, 1, 3000; 0; 0, 12681,6, 3000; 981; 0, 0, 1, 3000; 0; 0, 14383,4, 3000; 1366; 0, 0, 1, 3000; 0; 0, 15024,4, 3000; 718; 0, 0, 1, 3000; 0; 0, 14902,5, 3000; 1105; 0, 0, 1, 3000; 0; 0, 17811,6, 3000; 1441; 0, 0, 1, 3000; 0; 0, 15937,6, 3000; 1396; 0, 0, 1, 3000; 0; 0, 16194,6, 3000; 1252; 0, 0, 1, 3000; 0; 0, 12983,6, 3000; 1007; 0, 0, 1, 3000; 0; 0, 13908,5, 3000; 669; 0, 0, 1, 3000; 0; 0, 16038,6, 3000; 600; 0, 0, 1, 3000; 0; 0, 17479,6, 3000; 757; 0, 0, 1, 3000; 0; 0, 13338,6, 3000; 525; 0, 0, 1, 3000; 0; 0, 15399,6, 3000; 610; 0, 0, 1, 3000; 0; 0, 17256,4, 3000; 1413; 0, 0, 1, 3000; 0; 0, 14080,4, 3000; 878; 0, 0, 1, 3000; 0; 0, 15718,5, 3000; 530; 0, 0, 1, 3000; 0; 0, 17407,4, 3000; 1035; 0, 0, 1, 3000; 0; 0, 13944,4, 3000; 1440; 0, 0, 1, 3000; 0; 0, 16937,4, 3000; 1347; 0, 0, 1, 3000; 0; 0, 12283,6, 3000; 502; 0, 0, 1, 3000; 0; 0, 17029,4, 3000; 1116; 0, 0, 1, 3000; 0; 0, 17385,5, 3000; 1239; 0, 0, 1, 3000; 0; 0, 13940,4, 3000; 1220; 0, 0, 1, 3000; 0; 0, 13859,4, 3000; 1120; 0, 0, 1, 3000; 0; 0, 16303,5, 3000; 610; 0, 0, 1, 3000; 0; 0, 12943,6, 3000; 592; 0, 0, 1, 3000; 0; 0, 14636,5, 3000; 1286; 0, 0, 1, 3000; 0; 0, 14119,4, 3000; 744; 0, 0, 1, 3000; 0; 0, 16751,4, 3000; 937; 0, 0, 1, 3000; 0; 0, 12695,6, 3000; 1189; 0, 0, 1, 3000; 0; 0, 13703,6, 3000; 1207; 0, 0, 1, 3000; 0; 0, 14121,4, 3000; 735; 0, 0, 1, 3000; 0; 0, 15671,5, 3000; 1078; 0, 0, 1, 3000; 0; 0, 13607,4, 3000; 1409; 0, 0, 1, 3000; 0; 0, 17429,5, 3000; 1151; 0, 0, 1, 3000; 0; 0, 16135,6, 3000; 811; 0, 0, 1, 3000; 0; 0, 14594,6, 3000; 1364; 0, 0, 1, 3000; 0; 0, 12052,4, 3000; 615; 0, 0, 1, 3000; 0; 0, 17401,6, 3000; 530; 0, 0, 1, 3000; 0; 0, 15941,5, 3000; 1253; 0, 0, 1, 3000; 0; 0, 12999,6, 3000; 957; 0, 0, 1, 3000; 0; 0, 14828,4, 3000; 762; 0, 0, 1, 3000; 0; 0, 14870,4, 3000; 985; 0, 0, 1, 3000; 0; 0, 12277,6, 3000; 698; 0, 0, 1, 3000; 0; 0, 14534,5, 3000; 1480; 0, 0, 1, 3000; 0; 0, 13238,5, 3000; 1109; 0, 0, 1, 3000; 0; 0, 17537,6, 3000; 1025; 0, 0, 1, 3000; 0; 0, 13209,4, 3000; 946; 0, 0, 1, 3000; 0; 0, 13596,5, 3000; 637; 0, 0, 1, 3000; 0; 0, 16151,6, 3000; 1255; 0, 0, 1, 3000; 0; 0, 17185,6, 3000; 1377; 0, 0, 1, 3000; 0; 0, 12273,4, 3000; 1152; 0, 0, 1, 3000; 0; 0, 14118,6, 3000; 1360; 0, 0, 1, 3000; 0; 0, 14521,5, 3000; 812; 0, 0, 1, 3000; 0; 0, 13239,6, 3000; 648; 0, 0, 1, 3000; 0; 0, 17232,5, 3000; 526; 0, 0, 1, 3000; 0; 0, 13497,6, 3000; 1462; 0, 0, 1, 3000; 0; 0, 13474,6, 3000; 1228; 0, 0, 1, 3000; 0; 0, 14382,6, 3000; 1002; 0, 0, 1, 3000; 0; 0, 13759,5, 3000; 981; 0, 0, 1, 3000; 0; 0, 16912,5, 3000; 759; 0, 0, 1, 3000; 0; 0, 13856,4, 3000; 1175; 0, 0, 1, 3000; 0; 0, 12717,6, 3000; 1058; 0, 0, 1, 3000; 0; 0, 12955,6, 3000; 832; 0, 0, 1, 3000; 0; 0, 17517,6, 3000; 1084; 0, 0, 1, 3000; 0; 0, 14342,5, 3000; 1341; 0, 0, 1, 3000; 0; 0, 17307,6, 3000; 1340; 0, 0, 1, 3000; 0; 0, 13567,5, 3000; 1374; 0, 0, 1, 3000; 0; 0, 13377,4, 3000; 691; 0, 0, 1, 3000; 0; 0, 13244,4, 3000; 916; 0, 0, 1, 3000; 0; 0, 13177,6, 3000; 912; 0, 0, 1, 3000; 0; 0, 15643,5, 3000; 852; 0, 0, 1, 3000; 0; 0, 16170,6, 3000; 686; 0, 0, 1, 3000; 0; 0, 15302,5, 3000; 1170; 0, 0, 1, 3000; 0; 0, 13345,4, 3000; 731; 0, 0, 1, 3000; 0; 0, 17450,6, 3000; 630; 0, 0, 1, 3000; 0; 0, 17121,5, 3000; 1483; 0, 0, 1, 3000; 0; 0, 15810,5, 3000; 1261; 0, 0, 1, 3000; 0; 0, 17789,5, 3000; 1247; 0, 0, 1, 3000; 0; 0, 17127,4, 3000; 1409; 0, 0, 1, 3000; 0; 0, 17450,5, 3000; 1097; 0, 0, 1, 3000; 0; 0, 17001,5, 3000; 849; 0, 0, 1, 3000; 0; 0, 15981,4, 3000; 558; 0, 0, 1, 3000; 0; 0, 12741,6, 3000; 567; 0, 0, 1, 3000; 0; 0, 13274,4, 3000; 1017; 0, 0, 1, 3000; 0; 0, 15491,6, 3000; 508; 0, 0, 1, 3000; 0; 0, 12248,6, 3000; 1055; 0, 0, 1, 3000; 0; 0, 17715,4, 3000; 1010; 0, 0, 1, 3000; 0; 0, 15186,5, 3000; 935; 0, 0, 1, 3000; 0; 0, 14420,5, 3000; 867; 0, 0, 1, 3000; 0; 0, 13852,5, 3000; 704; 0, 0, 1, 3000; 0; 0, 17704,4, 3000; 656; 0, 0, 1, 3000; 0; 0, 13336,6, 3000; 1480; 0, 0, 1, 3000; 0; 0, 13837,6, 3000; 652; 0, 0, 1, 3000; 0; 0, 16177,4, 3000; 1297; 0, 0, 1, 3000; 0; 0, 15343,4, 3000; 987; 0, 0, 1, 3000; 0; 0, 15499,6, 3000; 905; 0, 0, 1, 3000; 0; 0, 14795,5, 3000; 1440; 0, 0, 1, 3000; 0; 0, 14692,4, 3000; 1276; 0, 0, 1, 3000; 0; 0, 16981,6, 3000; 723; 0, 0, 1, 3000; 0; 0, 13086,6, 3000; 563; 0, 0, 1, 3000; 0; 0, 13393,6, 3000; 549; 0, 0, 1, 3000; 0; 0, 15657,5, 3000; 778; 0, 0, 1, 3000; 0; 0, 14992,4, 3000; 641; 0, 0, 1, 3000; 0; 0, 14943,6, 3000; 1001; 0, 0, 1, 3000; 0; 0, 16029,6, 3000; 1421; 0, 0, 1, 3000; 0; 0, 15035,6, 3000; 1475; 0, 0, 1, 3000; 0; 0, 13387,6, 3000; 1254; 0, 0, 1, 3000; 0; 0, 13071,4, 3000; 648; 0, 0, 1, 3000; 0; 0, 17160,5, 3000; 1479; 0, 0, 1, 3000; 0; 0, 16844,6, 3000; 1237; 0, 0, 1, 3000; 0; 0, 13961,5, 3000; 1095; 0, 0, 1, 3000; 0; 0, 12749,4, 3000; 593; 0, 0, 1, 3000; 0; 0, 15548,4, 3000; 618; 0, 0, 1, 3000; 0; 0, 14788,4, 3000; 669; 0, 0, 1, 3000; 0; 0, 15244,5, 3000; 691; 0, 0, 1, 3000; 0; 0, 16000,4, 3000; 754; 0, 0, 1, 3000; 0; 0, 15712,5, 3000; 1263; 0, 0, 1, 3000; 0; 0, 13126,4, 3000; 1435; 0, 0, 1, 3000; 0; 0, 13251,4, 3000; 840; 0, 0, 1, 3000; 0; 0, 14992,5, 3000; 708; 0, 0, 1, 3000; 0; 0, 17246,5, 3000; 1250; 0, 0, 1, 3000; 0; 0, 15583,6, 3000; 1253; 0, 0, 1, 3000; 0; 0, 13321,4, 3000; 1004; 0, 0, 1, 3000; 0; 0, 13378,4, 3000; 536; 0, 0, 1, 3000; 0; 0, 12332,4, 3000; 1189; 0, 0, 1, 3000; 0; 0, 14649,4, 3000; 1246; 0, 0, 1, 3000; 0; 0, 17264,4, 3000; 965; 0, 0, 1, 3000; 0; 0, 15091,4, 3000; 840; 0, 0, 1, 3000; 0; 0, 15948,6, 3000; 1085; 0, 0, 1, 3000; 0; 0, 17356,5, 3000; 1476; 0, 0, 1, 3000; 0; 0, 15627,5, 3000; 873; 0, 0, 1, 3000; 0; 0, 12482,6, 3000; 988; 0, 0, 1, 3000; 0; 0, 14355,5, 3000; 939; 0, 0, 1, 3000; 0; 0, 17051,5, 3000; 1093; 0, 0, 1, 3000; 0; 0, 14110,4, 3000; 542; 0, 0, 1, 3000; 0; 0, 14547,6, 3000; 1252; 0, 0, 1, 3000; 0; 0, 17278,5, 3000; 1416; 0, 0, 1, 3000; 0; 0, 12398,6, 3000; 813; 0, 0, 1, 3000; 0; 0, 14592,6, 3000; 1396; 0, 0, 1, 3000; 0; 0, 16609,4, 3000; 1474; 0, 0, 1, 3000; 0; 0, 17872,4, 3000; 679; 0, 0, 1, 3000; 0; 0, 15026,5, 3000; 974; 0, 0, 1, 3000; 0; 0, 13607,5, 3000; 1298; 0, 0, 1, 3000; 0; 0, 14332,6, 3000; 1134; 0, 0, 1, 3000; 0; 0, 12245,4, 3000; 557; 0, 0, 1, 3000; 0; 0, 14747,5, 3000; 593; 0, 0, 1, 3000; 0; 0, 13361,5, 3000; 1382; 0, 0, 1, 3000; 0; 0, 13022,4, 3000; 868; 0, 0, 1, 3000; 0; 0, 17531,6, 3000; 742; 0, 0, 1, 3000; 0; 0, 17513,4, 3000; 523; 0, 0, 1, 3000; 0; 0, 16855,4, 3000; 818; 0, 0, 1, 3000; 0; 0, 13354,5, 3000; 1069; 0, 0, 1, 3000; 0; 0, 14892,4, 3000; 1200; 0, 0, 1, 3000; 0; 0, 17779,5, 3000; 1173; 0, 0, 1, 3000; 0; 0, 17338,6, 3000; 598; 0, 0, 1, 3000; 0; 0, 15086,5, 3000; 598; 0, 0, 1, 3000; 0; 0, 14082,5, 3000; 1245; 0, 0, 1, 3000; 0; 0, 14688,5, 3000; 1160; 0, 0, 1, 3000; 0; 0, 17437,5, 3000; 544; 0, 0, 1, 3000; 0; 0, 17978,6, 3000; 1246; 0, 0, 1, 3000; 0; 0, 15649,4, 3000; 707; 0, 0, 1, 3000; 0; 0, 13076,6, 3000; 728; 0, 0, 1, 3000; 0; 0, 12015,6, 3000; 1142; 0, 0, 1, 3000; 0; 0, 16775,5, 3000; 944; 0, 0, 1, 3000; 0; 0, 15649,5, 3000; 522; 0, 0, 1, 3000; 0; 0, 13773,6, 3000; 884; 0, 0, 1, 3000; 0; 0, 15972,4, 3000; 1232; 0, 0, 1, 3000; 0; 0, 15096,6, 3000; 799; 0, 0, 1, 3000; 0; 0, 12671,6, 3000; 701; 0, 0, 1, 3000; 0; 0, 13177,5, 3000; 1152; 0, 0, 1, 3000; 0; 0, 17351,4, 3000; 639; 0, 0, 1, 3000; 0; 0, 13231,5, 3000; 986; 0, 0, 1, 3000; 0; 0, 14590,6, 3000; 1202; 0, 0, 1, 3000; 0; 0, 13113,6, 3000; 523; 0, 0, 1, 3000; 0; 0, 15795,6, 3000; 646; 0, 0, 1, 3000; 0; 0, 14192,4, 3000; 1346; 0, 0, 1, 3000; 0; 0, 13782,5, 3000; 1228; 0, 0, 1, 3000; 0; 0, 17353,6, 3000; 657; 0, 0, 1, 3000; 0; 0, 14915,4, 3000; 1220; 0, 0, 1, 3000; 0; 0, 15713,4, 3000; 1023; 0, 0, 1, 3000; 0; 0, 14399,5, 3000; 1046; 0, 0, 1, 3000; 0; 0, 14693,6, 3000; 1456; 0, 0, 1, 3000; 0; 0, 17586,6, 3000; 1125; 0, 0, 1, 3000; 0; 0, 12724,6, 3000; 925; 0, 0, 1, 3000; 0; 0, 14334,4, 3000; 557; 0, 0, 1, 3000; 0; 0, 12366,6, 3000; 1228; 0, 0, 1, 3000; 0; 0, 12108,4, 3000; 524; 0, 0, 1, 3000; 0; 0, 13474,5, 3000; 739; 0, 0, 1, 3000; 0; 0, 15044,4, 3000; 1027; 0, 0, 1, 3000;