xref: /dports/math/py-or-tools/or-tools-9.2/examples/notebook/examples/bus_driver_scheduling_flow_sat.ipynb

{
 "cells": [
  {
   "cell_type": "markdown",
   "id": "google",
   "metadata": {},
   "source": [
    "##### Copyright 2021 Google LLC."
   ]
  },
  {
   "cell_type": "markdown",
   "id": "apache",
   "metadata": {},
   "source": [
    "Licensed under the Apache License, Version 2.0 (the \"License\");\n",
    "you may not use this file except in compliance with the License.\n",
    "You may obtain a copy of the License at\n",
    "\n",
    "    http://www.apache.org/licenses/LICENSE-2.0\n",
    "\n",
    "Unless required by applicable law or agreed to in writing, software\n",
    "distributed under the License is distributed on an \"AS IS\" BASIS,\n",
    "WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.\n",
    "See the License for the specific language governing permissions and\n",
    "limitations under the License.\n"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "basename",
   "metadata": {},
   "source": [
    "# bus_driver_scheduling_flow_sat"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "link",
   "metadata": {},
   "source": [
    "<table align=\"left\">\n",
    "<td>\n",
    "<a href=\"https://colab.research.google.com/github/google/or-tools/blob/master/examples/notebook/examples/bus_driver_scheduling_flow_sat.ipynb\"><img src=\"https://raw.githubusercontent.com/google/or-tools/master/tools/colab_32px.png\"/>Run in Google Colab</a>\n",
    "</td>\n",
    "<td>\n",
    "<a href=\"https://github.com/google/or-tools/blob/master/examples/python/bus_driver_scheduling_flow_sat.py\"><img src=\"https://raw.githubusercontent.com/google/or-tools/master/tools/github_32px.png\"/>View source on GitHub</a>\n",
    "</td>\n",
    "</table>"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "doc",
   "metadata": {},
   "source": [
    "First, you must install [ortools](https://pypi.org/project/ortools/) package in this colab."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "id": "install",
   "metadata": {},
   "outputs": [],
   "source": [
    "!pip install ortools"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "id": "code",
   "metadata": {},
   "outputs": [],
   "source": [
    "# Copyright 2010-2021 Google LLC\n",
    "# Licensed under the Apache License, Version 2.0 (the \"License\");\n",
    "# you may not use this file except in compliance with the License.\n",
    "# You may obtain a copy of the License at\n",
    "#\n",
    "#     http://www.apache.org/licenses/LICENSE-2.0\n",
    "#\n",
    "# Unless required by applicable law or agreed to in writing, software\n",
    "# distributed under the License is distributed on an \"AS IS\" BASIS,\n",
    "# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.\n",
    "# See the License for the specific language governing permissions and\n",
    "# limitations under the License.\n",
    "\"\"\"This model implements a bus driver scheduling problem.\n",
    "\n",
    "Constraints:\n",
    "- max driving time per driver <= 9h\n",
    "- max working time per driver <= 12h\n",
    "- min working time per driver >= 6.5h (soft)\n",
    "- 30 min break after each 4h of driving time per driver\n",
    "- 10 min preparation time before the first shift\n",
    "- 15 min cleaning time after the last shift\n",
    "- 2 min waiting time after each shift for passenger boarding and alighting\n",
    "\"\"\"\n",
    "\n",
    "import argparse\n",
    "import collections\n",
    "import math\n",
    "\n",
    "from ortools.sat.python import cp_model\n",
    "\n",
    "PARSER = argparse.ArgumentParser()\n",
    "PARSER.add_argument(\n",
    "    '--instance', default=1, type=int, help='Instance number (1..3).')\n",
    "PARSER.add_argument(\n",
    "    '--output_proto_file',\n",
    "    default=\"\",\n",
    "    help='Output file to write the cp_model'\n",
    "    'proto to.')\n",
    "PARSER.add_argument('--params', default=\"\", help='Sat solver parameters.')\n",
    "\n",
    "SAMPLE_SHIFTS_SMALL = [\n",
    "    #\n",
    "    # column description:\n",
    "    # - shift id\n",
    "    # - shift start time as hh:mm string (for logging and readability purposes)\n",
    "    # - shift end time as hh:mm string (for logging and readability purposes)\n",
    "    # - shift start minute\n",
    "    # - shift end minute\n",
    "    # - shift duration in minutes\n",
    "    #\n",
    "    [0, '05:18', '06:00', 318, 360, 42],\n",
    "    [1, '05:26', '06:08', 326, 368, 42],\n",
    "    [2, '05:40', '05:56', 340, 356, 16],\n",
    "    [3, '06:06', '06:51', 366, 411, 45],\n",
    "    [4, '06:40', '07:52', 400, 472, 72],\n",
    "    [5, '06:42', '07:13', 402, 433, 31],\n",
    "    [6, '06:48', '08:15', 408, 495, 87],\n",
    "    [7, '06:59', '08:07', 419, 487, 68],\n",
    "    [8, '07:20', '07:36', 440, 456, 16],\n",
    "    [9, '07:35', '08:22', 455, 502, 47],\n",
    "    [10, '07:50', '08:55', 470, 535, 65],\n",
    "    [11, '08:00', '09:05', 480, 545, 65],\n",
    "    [12, '08:00', '08:35', 480, 515, 35],\n",
    "    [13, '08:11', '09:41', 491, 581, 90],\n",
    "    [14, '08:28', '08:50', 508, 530, 22],\n",
    "    [15, '08:35', '08:45', 515, 525, 10],\n",
    "    [16, '08:40', '08:50', 520, 530, 10],\n",
    "    [17, '09:03', '10:28', 543, 628, 85],\n",
    "    [18, '09:23', '09:49', 563, 589, 26],\n",
    "    [19, '09:30', '09:40', 570, 580, 10],\n",
    "    [20, '09:57', '10:20', 597, 620, 23],\n",
    "    [21, '10:09', '11:03', 609, 663, 54],\n",
    "    [22, '10:20', '10:30', 620, 630, 10],\n",
    "    [23, '11:00', '11:10', 660, 670, 10],\n",
    "    [24, '11:45', '12:24', 705, 744, 39],\n",
    "    [25, '12:18', '13:00', 738, 780, 42],\n",
    "    [26, '13:18', '14:44', 798, 884, 86],\n",
    "    [27, '13:53', '14:49', 833, 889, 56],\n",
    "    [28, '14:03', '14:50', 843, 890, 47],\n",
    "    [29, '14:28', '15:15', 868, 915, 47],\n",
    "    [30, '14:30', '15:41', 870, 941, 71],\n",
    "    [31, '14:48', '15:35', 888, 935, 47],\n",
    "    [32, '15:03', '15:50', 903, 950, 47],\n",
    "    [33, '15:28', '16:54', 928, 1014, 86],\n",
    "    [34, '15:38', '16:25', 938, 985, 47],\n",
    "    [35, '15:40', '15:56', 940, 956, 16],\n",
    "    [36, '15:58', '16:45', 958, 1005, 47],\n",
    "    [37, '16:04', '17:30', 964, 1050, 86],\n",
    "    [38, '16:28', '17:15', 988, 1035, 47],\n",
    "    [39, '16:36', '17:21', 996, 1041, 45],\n",
    "    [40, '16:50', '17:00', 1010, 1020, 10],\n",
    "    [41, '16:54', '18:20', 1014, 1100, 86],\n",
    "    [42, '17:01', '17:13', 1021, 1033, 12],\n",
    "    [43, '17:19', '18:31', 1039, 1111, 72],\n",
    "    [44, '17:23', '18:10', 1043, 1090, 47],\n",
    "    [45, '17:34', '18:15', 1054, 1095, 41],\n",
    "    [46, '18:04', '19:29', 1084, 1169, 85],\n",
    "    [47, '18:34', '19:58', 1114, 1198, 84],\n",
    "    [48, '19:56', '20:34', 1196, 1234, 38],\n",
    "    [49, '20:05', '20:48', 1205, 1248, 43]\n",
    "]  # yapf:disable\n",
    "\n",
    "SAMPLE_SHIFTS_MEDIUM = [\n",
    "    [0, '04:30', '04:53', 270, 293, 23],\n",
    "    [1, '04:46', '04:56', 286, 296, 10],\n",
    "    [2, '04:52', '05:56', 292, 356, 64],\n",
    "    [3, '04:53', '05:23', 293, 323, 30],\n",
    "    [4, '05:07', '05:44', 307, 344, 37],\n",
    "    [5, '05:10', '06:06', 310, 366, 56],\n",
    "    [6, '05:18', '06:03', 318, 363, 45],\n",
    "    [7, '05:30', '05:40', 330, 340, 10],\n",
    "    [8, '05:30', '05:40', 330, 340, 10],\n",
    "    [9, '05:33', '06:15', 333, 375, 42],\n",
    "    [10, '05:40', '05:50', 340, 350, 10],\n",
    "    [11, '05:43', '06:08', 343, 368, 25],\n",
    "    [12, '05:54', '07:20', 354, 440, 86],\n",
    "    [13, '06:04', '06:37', 364, 397, 33],\n",
    "    [14, '06:13', '06:58', 373, 418, 45],\n",
    "    [15, '06:14', '07:40', 374, 460, 86],\n",
    "    [16, '06:15', '07:15', 375, 435, 60],\n",
    "    [17, '06:16', '06:26', 376, 386, 10],\n",
    "    [18, '06:17', '06:34', 377, 394, 17],\n",
    "    [19, '06:20', '06:36', 380, 396, 16],\n",
    "    [20, '06:22', '07:06', 382, 426, 44],\n",
    "    [21, '06:24', '07:50', 384, 470, 86],\n",
    "    [22, '06:27', '06:44', 387, 404, 17],\n",
    "    [23, '06:30', '06:40', 390, 400, 10],\n",
    "    [24, '06:31', '06:43', 391, 403, 12],\n",
    "    [25, '06:33', '07:53', 393, 473, 80],\n",
    "    [26, '06:34', '07:09', 394, 429, 35],\n",
    "    [27, '06:40', '06:56', 400, 416, 16],\n",
    "    [28, '06:44', '07:17', 404, 437, 33],\n",
    "    [29, '06:46', '06:58', 406, 418, 12],\n",
    "    [30, '06:49', '07:43', 409, 463, 54],\n",
    "    [31, '06:50', '07:05', 410, 425, 15],\n",
    "    [32, '06:52', '07:36', 412, 456, 44],\n",
    "    [33, '06:54', '07:27', 414, 447, 33],\n",
    "    [34, '06:56', '08:23', 416, 503, 87],\n",
    "    [35, '07:04', '07:44', 424, 464, 40],\n",
    "    [36, '07:11', '08:36', 431, 516, 85],\n",
    "    [37, '07:17', '07:35', 437, 455, 18],\n",
    "    [38, '07:22', '08:06', 442, 486, 44],\n",
    "    [39, '07:27', '08:15', 447, 495, 48],\n",
    "    [40, '07:35', '07:45', 455, 465, 10],\n",
    "    [41, '07:43', '08:08', 463, 488, 25],\n",
    "    [42, '07:50', '08:37', 470, 517, 47],\n",
    "    [43, '07:58', '08:45', 478, 525, 47],\n",
    "    [44, '08:00', '08:35', 480, 515, 35],\n",
    "    [45, '08:06', '08:51', 486, 531, 45],\n",
    "    [46, '08:10', '08:45', 490, 525, 35],\n",
    "    [47, '08:15', '08:30', 495, 510, 15],\n",
    "    [48, '08:16', '09:00', 496, 540, 44],\n",
    "    [49, '08:18', '09:16', 498, 556, 58],\n",
    "    [50, '08:20', '08:36', 500, 516, 16],\n",
    "    [51, '08:27', '09:07', 507, 547, 40],\n",
    "    [52, '08:30', '08:45', 510, 525, 15],\n",
    "    [53, '08:35', '09:15', 515, 555, 40],\n",
    "    [54, '08:46', '09:30', 526, 570, 44],\n",
    "    [55, '08:51', '09:17', 531, 557, 26],\n",
    "    [56, '08:55', '09:15', 535, 555, 20],\n",
    "    [57, '08:58', '09:38', 538, 578, 40],\n",
    "    [58, '09:00', '09:35', 540, 575, 35],\n",
    "    [59, '09:00', '09:16', 540, 556, 16],\n",
    "    [60, '09:20', '09:36', 560, 576, 16],\n",
    "    [61, '09:31', '09:43', 571, 583, 12],\n",
    "    [62, '09:33', '10:15', 573, 615, 42],\n",
    "    [63, '09:54', '10:05', 594, 605, 11],\n",
    "    [64, '10:11', '10:38', 611, 638, 27],\n",
    "    [65, '10:18', '11:00', 618, 660, 42],\n",
    "    [66, '10:21', '10:47', 621, 647, 26],\n",
    "    [67, '10:25', '11:04', 625, 664, 39],\n",
    "    [68, '10:26', '11:08', 626, 668, 42],\n",
    "    [69, '10:44', '12:11', 644, 731, 87],\n",
    "    [70, '11:00', '11:16', 660, 676, 16],\n",
    "    [71, '11:15', '11:54', 675, 714, 39],\n",
    "    [72, '11:16', '11:28', 676, 688, 12],\n",
    "    [73, '11:20', '11:30', 680, 690, 10],\n",
    "    [74, '11:21', '11:47', 681, 707, 26],\n",
    "    [75, '11:25', '12:04', 685, 724, 39],\n",
    "    [76, '11:34', '11:45', 694, 705, 11],\n",
    "    [77, '11:35', '12:14', 695, 734, 39],\n",
    "    [78, '11:41', '12:23', 701, 743, 42],\n",
    "    [79, '11:44', '12:35', 704, 755, 51],\n",
    "    [80, '11:46', '11:58', 706, 718, 12],\n",
    "    [81, '12:00', '12:10', 720, 730, 10],\n",
    "    [82, '12:04', '12:15', 724, 735, 11],\n",
    "    [83, '12:04', '13:04', 724, 784, 60],\n",
    "    [84, '12:11', '12:38', 731, 758, 27],\n",
    "    [85, '12:15', '12:54', 735, 774, 39],\n",
    "    [86, '12:25', '13:10', 745, 790, 45],\n",
    "    [87, '12:30', '12:40', 750, 760, 10],\n",
    "    [88, '12:34', '13:58', 754, 838, 84],\n",
    "    [89, '12:38', '13:25', 758, 805, 47],\n",
    "    [90, '12:48', '13:35', 768, 815, 47],\n",
    "    [91, '13:00', '13:16', 780, 796, 16],\n",
    "    [92, '13:05', '13:44', 785, 824, 39],\n",
    "    [93, '13:08', '13:55', 788, 835, 47],\n",
    "    [94, '13:14', '14:38', 794, 878, 84],\n",
    "    [95, '13:23', '13:49', 803, 829, 26],\n",
    "    [96, '13:25', '14:04', 805, 844, 39],\n",
    "    [97, '13:28', '14:54', 808, 894, 86],\n",
    "    [98, '13:31', '13:43', 811, 823, 12],\n",
    "    [99, '13:34', '14:58', 814, 898, 84],\n",
    "    [100, '13:38', '14:25', 818, 865, 47],\n",
    "    [101, '13:38', '15:04', 818, 904, 86],\n",
    "    [102, '13:39', '14:33', 819, 873, 54],\n",
    "    [103, '13:40', '13:50', 820, 830, 10],\n",
    "    [104, '13:43', '14:10', 823, 850, 27],\n",
    "    [105, '13:48', '14:35', 828, 875, 47],\n",
    "    [106, '13:48', '14:35', 828, 875, 47],\n",
    "    [107, '13:53', '14:40', 833, 880, 47],\n",
    "    [108, '13:58', '15:24', 838, 924, 86],\n",
    "    [109, '13:58', '14:25', 838, 865, 27],\n",
    "    [110, '14:00', '14:16', 840, 856, 16],\n",
    "    [111, '14:13', '15:00', 853, 900, 47],\n",
    "    [112, '14:20', '15:31', 860, 931, 71],\n",
    "    [113, '14:25', '15:02', 865, 902, 37],\n",
    "    [114, '14:34', '14:45', 874, 885, 11],\n",
    "    [115, '14:40', '15:51', 880, 951, 71],\n",
    "    [116, '14:40', '14:56', 880, 896, 16],\n",
    "    [117, '14:46', '14:58', 886, 898, 12],\n",
    "    [118, '14:49', '15:43', 889, 943, 54],\n",
    "    [119, '14:52', '15:21', 892, 921, 29],\n",
    "    [120, '14:58', '16:24', 898, 984, 86],\n",
    "    [121, '14:59', '15:53', 899, 953, 54],\n",
    "    [122, '15:00', '15:10', 900, 910, 10],\n",
    "    [123, '15:00', '15:35', 900, 935, 35],\n",
    "    [124, '15:08', '15:45', 908, 945, 37],\n",
    "    [125, '15:12', '15:36', 912, 936, 24],\n",
    "    [126, '15:18', '16:05', 918, 965, 47],\n",
    "    [127, '15:24', '16:05', 924, 965, 41],\n",
    "    [128, '15:31', '15:43', 931, 943, 12],\n",
    "    [129, '15:35', '15:54', 935, 954, 19],\n",
    "    [130, '15:36', '16:21', 936, 981, 45],\n",
    "    [131, '15:39', '16:33', 939, 993, 54],\n",
    "    [132, '15:48', '16:35', 948, 995, 47],\n",
    "    [133, '15:50', '17:01', 950, 1021, 71],\n",
    "    [134, '16:03', '16:50', 963, 1010, 47],\n",
    "    [135, '16:18', '17:44', 978, 1064, 86],\n",
    "    [136, '16:24', '17:05', 984, 1025, 41],\n",
    "    [137, '16:28', '17:15', 988, 1035, 47],\n",
    "    [138, '16:34', '17:15', 994, 1035, 41],\n",
    "    [139, '16:38', '17:25', 998, 1045, 47],\n",
    "    [140, '16:40', '16:56', 1000, 1016, 16],\n",
    "    [141, '16:45', '17:04', 1005, 1024, 19],\n",
    "    [142, '16:52', '17:36', 1012, 1056, 44],\n",
    "    [143, '16:58', '17:45', 1018, 1065, 47],\n",
    "    [144, '17:04', '18:30', 1024, 1110, 86],\n",
    "    [145, '17:04', '17:45', 1024, 1065, 41],\n",
    "    [146, '17:09', '18:03', 1029, 1083, 54],\n",
    "    [147, '17:18', '18:44', 1038, 1124, 86],\n",
    "    [148, '17:28', '18:15', 1048, 1095, 47],\n",
    "    [149, '17:29', '18:41', 1049, 1121, 72],\n",
    "    [150, '17:36', '18:21', 1056, 1101, 45],\n",
    "    [151, '17:38', '18:25', 1058, 1105, 47],\n",
    "    [152, '17:40', '17:56', 1060, 1076, 16],\n",
    "    [153, '17:45', '18:04', 1065, 1084, 19],\n",
    "    [154, '17:46', '17:58', 1066, 1078, 12],\n",
    "    [155, '17:48', '18:35', 1068, 1115, 47],\n",
    "    [156, '17:49', '18:43', 1069, 1123, 54],\n",
    "    [157, '17:55', '18:14', 1075, 1094, 19],\n",
    "    [158, '17:58', '18:45', 1078, 1125, 47],\n",
    "    [159, '18:00', '19:11', 1080, 1151, 71],\n",
    "    [160, '18:04', '18:45', 1084, 1125, 41],\n",
    "    [161, '18:09', '19:03', 1089, 1143, 54],\n",
    "    [162, '18:13', '19:00', 1093, 1140, 47],\n",
    "    [163, '18:13', '18:40', 1093, 1120, 27],\n",
    "    [164, '18:19', '19:13', 1099, 1153, 54],\n",
    "    [165, '18:28', '19:25', 1108, 1165, 57],\n",
    "    [166, '18:48', '19:28', 1128, 1168, 40],\n",
    "    [167, '19:03', '19:45', 1143, 1185, 42],\n",
    "    [168, '19:20', '19:36', 1160, 1176, 16],\n",
    "    [169, '19:21', '19:31', 1161, 1171, 10],\n",
    "    [170, '19:25', '20:04', 1165, 1204, 39],\n",
    "    [171, '19:26', '20:08', 1166, 1208, 42],\n",
    "    [172, '19:30', '19:40', 1170, 1180, 10],\n",
    "    [173, '19:44', '20:33', 1184, 1233, 49],\n",
    "    [174, '19:48', '21:09', 1188, 1269, 81],\n",
    "    [175, '19:53', '21:02', 1193, 1262, 69],\n",
    "    [176, '20:04', '20:29', 1204, 1229, 25],\n",
    "    [177, '20:17', '21:03', 1217, 1263, 46],\n",
    "    [178, '20:20', '20:57', 1220, 1257, 37],\n",
    "    [179, '20:29', '21:18', 1229, 1278, 49],\n",
    "    [180, '20:35', '21:54', 1235, 1314, 79],\n",
    "    [181, '20:40', '20:50', 1240, 1250, 10],\n",
    "    [182, '20:47', '21:42', 1247, 1302, 55],\n",
    "    [183, '21:00', '21:10', 1260, 1270, 10],\n",
    "    [184, '21:07', '21:44', 1267, 1304, 37],\n",
    "    [185, '21:14', '22:03', 1274, 1323, 49],\n",
    "    [186, '21:39', '21:55', 1299, 1315, 16],\n",
    "    [187, '21:40', '22:17', 1300, 1337, 37],\n",
    "    [188, '21:40', '21:50', 1300, 1310, 10],\n",
    "    [189, '21:48', '22:03', 1308, 1323, 15],\n",
    "    [190, '22:17', '23:03', 1337, 1383, 46],\n",
    "    [191, '22:43', '23:08', 1363, 1388, 25],\n",
    "    [192, '23:35', '01:05', 1415, 1505, 90],\n",
    "    [193, '23:46', '00:01', 1426, 1441, 15],\n",
    "    [194, '23:47', '00:33', 1427, 1473, 46],\n",
    "    [195, '23:52', '00:24', 1432, 1464, 32],\n",
    "    [196, '23:58', '00:38', 1438, 1478, 40],\n",
    "    [197, '00:02', '00:12', 1442, 1452, 10],\n",
    "    [198, '00:07', '00:39', 1447, 1479, 32],\n",
    "    [199, '00:25', '01:12', 1465, 1512, 47]\n",
    "]  # yapf:disable\n",
    "\n",
    "SAMPLE_SHIFTS_LARGE = [\n",
    "    [0, '04:18', '05:00', 258, 300, 42],\n",
    "    [1, '04:27', '05:08', 267, 308, 41],\n",
    "    [2, '04:29', '05:26', 269, 326, 57],\n",
    "    [3, '04:29', '04:55', 269, 295, 26],\n",
    "    [4, '04:30', '04:53', 270, 293, 23],\n",
    "    [5, '04:30', '04:51', 270, 291, 21],\n",
    "    [6, '04:31', '04:53', 271, 293, 22],\n",
    "    [7, '04:33', '05:15', 273, 315, 42],\n",
    "    [8, '04:34', '04:44', 274, 284, 10],\n",
    "    [9, '04:34', '05:03', 274, 303, 29],\n",
    "    [10, '04:35', '04:50', 275, 290, 15],\n",
    "    [11, '04:36', '04:46', 276, 286, 10],\n",
    "    [12, '04:37', '05:18', 277, 318, 41],\n",
    "    [13, '04:41', '05:13', 281, 313, 32],\n",
    "    [14, '04:42', '05:23', 282, 323, 41],\n",
    "    [15, '04:43', '04:53', 283, 293, 10],\n",
    "    [16, '04:44', '05:45', 284, 345, 61],\n",
    "    [17, '04:45', '05:11', 285, 311, 26],\n",
    "    [18, '04:46', '05:01', 286, 301, 15],\n",
    "    [19, '04:46', '04:56', 286, 296, 10],\n",
    "    [20, '04:47', '05:14', 287, 314, 27],\n",
    "    [21, '04:48', '05:30', 288, 330, 42],\n",
    "    [22, '04:49', '05:41', 289, 341, 52],\n",
    "    [23, '04:49', '05:18', 289, 318, 29],\n",
    "    [24, '04:50', '05:33', 290, 333, 43],\n",
    "    [25, '04:52', '05:56', 292, 356, 64],\n",
    "    [26, '04:52', '05:07', 292, 307, 15],\n",
    "    [27, '04:53', '05:19', 293, 319, 26],\n",
    "    [28, '04:53', '05:23', 293, 323, 30],\n",
    "    [29, '04:55', '05:27', 295, 327, 32],\n",
    "    [30, '04:57', '05:38', 297, 338, 41],\n",
    "    [31, '05:00', '06:00', 300, 360, 60],\n",
    "    [32, '05:00', '05:54', 300, 354, 54],\n",
    "    [33, '05:01', '05:33', 301, 333, 32],\n",
    "    [34, '05:01', '05:26', 301, 326, 25],\n",
    "    [35, '05:02', '05:29', 302, 329, 27],\n",
    "    [36, '05:02', '05:12', 302, 312, 10],\n",
    "    [37, '05:03', '05:45', 303, 345, 42],\n",
    "    [38, '05:03', '05:18', 303, 318, 15],\n",
    "    [39, '05:03', '06:28', 303, 388, 85],\n",
    "    [40, '05:03', '05:13', 303, 313, 10],\n",
    "    [41, '05:04', '06:24', 304, 384, 80],\n",
    "    [42, '05:07', '05:44', 307, 344, 37],\n",
    "    [43, '05:08', '05:48', 308, 348, 40],\n",
    "    [44, '05:10', '06:06', 310, 366, 56],\n",
    "    [45, '05:11', '05:37', 311, 337, 26],\n",
    "    [46, '05:11', '05:53', 311, 353, 42],\n",
    "    [47, '05:13', '06:15', 313, 375, 62],\n",
    "    [48, '05:13', '05:38', 313, 338, 25],\n",
    "    [49, '05:16', '05:44', 316, 344, 28],\n",
    "    [50, '05:17', '05:27', 317, 327, 10],\n",
    "    [51, '05:18', '06:40', 318, 400, 82],\n",
    "    [52, '05:18', '06:03', 318, 363, 45],\n",
    "    [53, '05:18', '06:11', 318, 371, 53],\n",
    "    [54, '05:18', '06:00', 318, 360, 42],\n",
    "    [55, '05:19', '06:34', 319, 394, 75],\n",
    "    [56, '05:20', '06:17', 320, 377, 57],\n",
    "    [57, '05:22', '05:59', 322, 359, 37],\n",
    "    [58, '05:24', '05:48', 324, 348, 24],\n",
    "    [59, '05:25', '05:40', 325, 340, 15],\n",
    "    [60, '05:26', '06:08', 326, 368, 42],\n",
    "    [61, '05:27', '06:30', 327, 390, 63],\n",
    "    [62, '05:27', '05:54', 327, 354, 27],\n",
    "    [63, '05:28', '05:53', 328, 353, 25],\n",
    "    [64, '05:29', '05:44', 329, 344, 15],\n",
    "    [65, '05:30', '05:40', 330, 340, 10],\n",
    "    [66, '05:30', '05:40', 330, 340, 10],\n",
    "    [67, '05:30', '05:40', 330, 340, 10],\n",
    "    [68, '05:32', '06:53', 332, 413, 81],\n",
    "    [69, '05:33', '07:00', 333, 420, 87],\n",
    "    [70, '05:33', '06:15', 333, 375, 42],\n",
    "    [71, '05:33', '05:47', 333, 347, 14],\n",
    "    [72, '05:37', '06:13', 337, 373, 36],\n",
    "    [73, '05:37', '06:05', 337, 365, 28],\n",
    "    [74, '05:38', '06:33', 338, 393, 55],\n",
    "    [75, '05:38', '06:04', 338, 364, 26],\n",
    "    [76, '05:38', '06:18', 338, 378, 40],\n",
    "    [77, '05:39', '05:54', 339, 354, 15],\n",
    "    [78, '05:40', '05:56', 340, 356, 16],\n",
    "    [79, '05:40', '06:41', 340, 401, 61],\n",
    "    [80, '05:40', '05:50', 340, 350, 10],\n",
    "    [81, '05:41', '06:23', 341, 383, 42],\n",
    "    [82, '05:41', '06:01', 341, 361, 20],\n",
    "    [83, '05:43', '06:08', 343, 368, 25],\n",
    "    [84, '05:44', '07:10', 344, 430, 86],\n",
    "    [85, '05:44', '05:55', 344, 355, 11],\n",
    "    [86, '05:45', '06:44', 345, 404, 59],\n",
    "    [87, '05:47', '06:17', 347, 377, 30],\n",
    "    [88, '05:48', '07:08', 348, 428, 80],\n",
    "    [89, '05:48', '06:30', 348, 390, 42],\n",
    "    [90, '05:50', '06:50', 350, 410, 60],\n",
    "    [91, '05:50', '06:00', 350, 360, 10],\n",
    "    [92, '05:50', '06:00', 350, 360, 10],\n",
    "    [93, '05:50', '06:51', 350, 411, 61],\n",
    "    [94, '05:52', '06:33', 352, 393, 41],\n",
    "    [95, '05:52', '06:36', 352, 396, 44],\n",
    "    [96, '05:52', '06:23', 352, 383, 31],\n",
    "    [97, '05:54', '06:14', 354, 374, 20],\n",
    "    [98, '05:54', '07:20', 354, 440, 86],\n",
    "    [99, '05:55', '06:40', 355, 400, 45],\n",
    "    [100, '05:55', '06:27', 355, 387, 32],\n",
    "    [101, '05:56', '06:35', 356, 395, 39],\n",
    "    [102, '05:56', '06:06', 356, 366, 10],\n",
    "    [103, '05:57', '06:21', 357, 381, 24],\n",
    "    [104, '05:58', '07:23', 358, 443, 85],\n",
    "    [105, '05:58', '06:23', 358, 383, 25],\n",
    "    [106, '05:58', '06:08', 358, 368, 10],\n",
    "    [107, '05:58', '06:43', 358, 403, 45],\n",
    "    [108, '06:00', '06:10', 360, 370, 10],\n",
    "    [109, '06:00', '06:16', 360, 376, 16],\n",
    "    [110, '06:00', '07:01', 360, 421, 61],\n",
    "    [111, '06:01', '07:00', 361, 420, 59],\n",
    "    [112, '06:01', '06:13', 361, 373, 12],\n",
    "    [113, '06:01', '06:45', 361, 405, 44],\n",
    "    [114, '06:03', '06:50', 363, 410, 47],\n",
    "    [115, '06:04', '06:37', 364, 397, 33],\n",
    "    [116, '06:04', '07:30', 364, 450, 86],\n",
    "    [117, '06:05', '06:24', 365, 384, 19],\n",
    "    [118, '06:06', '06:51', 366, 411, 45],\n",
    "    [119, '06:07', '06:43', 367, 403, 36],\n",
    "    [120, '06:08', '07:30', 368, 450, 82],\n",
    "    [121, '06:10', '06:20', 370, 380, 10],\n",
    "    [122, '06:10', '07:17', 370, 437, 67],\n",
    "    [123, '06:11', '06:54', 371, 414, 43],\n",
    "    [124, '06:11', '06:21', 371, 381, 10],\n",
    "    [125, '06:13', '06:38', 373, 398, 25],\n",
    "    [126, '06:13', '06:58', 373, 418, 45],\n",
    "    [127, '06:13', '06:53', 373, 413, 40],\n",
    "    [128, '06:14', '07:03', 374, 423, 49],\n",
    "    [129, '06:14', '06:47', 374, 407, 33],\n",
    "    [130, '06:14', '07:40', 374, 460, 86],\n",
    "    [131, '06:15', '07:15', 375, 435, 60],\n",
    "    [132, '06:16', '06:28', 376, 388, 12],\n",
    "    [133, '06:16', '06:26', 376, 386, 10],\n",
    "    [134, '06:17', '06:34', 377, 394, 17],\n",
    "    [135, '06:18', '07:06', 378, 426, 48],\n",
    "    [136, '06:18', '07:38', 378, 458, 80],\n",
    "    [137, '06:18', '07:02', 378, 422, 44],\n",
    "    [138, '06:19', '06:53', 379, 413, 34],\n",
    "    [139, '06:20', '07:25', 380, 445, 65],\n",
    "    [140, '06:20', '06:36', 380, 396, 16],\n",
    "    [141, '06:20', '06:30', 380, 390, 10],\n",
    "    [142, '06:20', '06:30', 380, 390, 10],\n",
    "    [143, '06:21', '06:49', 381, 409, 28],\n",
    "    [144, '06:22', '07:06', 382, 426, 44],\n",
    "    [145, '06:24', '07:50', 384, 470, 86],\n",
    "    [146, '06:24', '06:57', 384, 417, 33],\n",
    "    [147, '06:26', '07:45', 386, 465, 79],\n",
    "    [148, '06:26', '07:10', 386, 430, 44],\n",
    "    [149, '06:27', '06:44', 387, 404, 17],\n",
    "    [150, '06:28', '06:53', 388, 413, 25],\n",
    "    [151, '06:28', '07:14', 388, 434, 46],\n",
    "    [152, '06:29', '07:03', 389, 423, 34],\n",
    "    [153, '06:30', '06:40', 390, 400, 10],\n",
    "    [154, '06:30', '07:37', 390, 457, 67],\n",
    "    [155, '06:31', '06:43', 391, 403, 12],\n",
    "    [156, '06:33', '07:14', 393, 434, 41],\n",
    "    [157, '06:33', '07:53', 393, 473, 80],\n",
    "    [158, '06:34', '08:16', 394, 496, 102],\n",
    "    [159, '06:34', '07:09', 394, 429, 35],\n",
    "    [160, '06:34', '07:07', 394, 427, 33],\n",
    "    [161, '06:36', '07:21', 396, 441, 45],\n",
    "    [162, '06:37', '07:22', 397, 442, 45],\n",
    "    [163, '06:37', '06:54', 397, 414, 17],\n",
    "    [164, '06:38', '07:30', 398, 450, 52],\n",
    "    [165, '06:38', '07:18', 398, 438, 40],\n",
    "    [166, '06:39', '07:33', 399, 453, 54],\n",
    "    [167, '06:40', '07:52', 400, 472, 72],\n",
    "    [168, '06:40', '06:50', 400, 410, 10],\n",
    "    [169, '06:40', '07:22', 400, 442, 42],\n",
    "    [170, '06:40', '06:56', 400, 416, 16],\n",
    "    [171, '06:41', '08:00', 401, 480, 79],\n",
    "    [172, '06:42', '07:26', 402, 446, 44],\n",
    "    [173, '06:42', '07:13', 402, 433, 31],\n",
    "    [174, '06:43', '07:08', 403, 428, 25],\n",
    "    [175, '06:43', '07:30', 403, 450, 47],\n",
    "    [176, '06:43', '07:23', 403, 443, 40],\n",
    "    [177, '06:44', '07:17', 404, 437, 33],\n",
    "    [178, '06:44', '08:13', 404, 493, 89],\n",
    "    [179, '06:46', '07:01', 406, 421, 15],\n",
    "    [180, '06:46', '06:58', 406, 418, 12],\n",
    "    [181, '06:47', '07:04', 407, 424, 17],\n",
    "    [182, '06:48', '08:15', 408, 495, 87],\n",
    "    [183, '06:48', '07:34', 408, 454, 46],\n",
    "    [184, '06:48', '07:37', 408, 457, 49],\n",
    "    [185, '06:49', '07:43', 409, 463, 54],\n",
    "    [186, '06:50', '08:00', 410, 480, 70],\n",
    "    [187, '06:50', '07:00', 410, 420, 10],\n",
    "    [188, '06:50', '07:05', 410, 425, 15],\n",
    "    [189, '06:51', '07:18', 411, 438, 27],\n",
    "    [190, '06:52', '07:36', 412, 456, 44],\n",
    "    [191, '06:53', '07:37', 413, 457, 44],\n",
    "    [192, '06:54', '08:20', 414, 500, 86],\n",
    "    [193, '06:54', '07:27', 414, 447, 33],\n",
    "    [194, '06:54', '07:20', 414, 440, 26],\n",
    "    [195, '06:56', '08:23', 416, 503, 87],\n",
    "    [196, '06:57', '07:12', 417, 432, 15],\n",
    "    [197, '06:57', '07:58', 417, 478, 61],\n",
    "    [198, '06:57', '07:45', 417, 465, 48],\n",
    "    [199, '06:57', '07:40', 417, 460, 43],\n",
    "    [200, '06:58', '07:23', 418, 443, 25],\n",
    "    [201, '06:59', '07:53', 419, 473, 54],\n",
    "    [202, '06:59', '08:07', 419, 487, 68],\n",
    "    [203, '07:00', '07:10', 420, 430, 10],\n",
    "    [204, '07:00', '07:16', 420, 436, 16],\n",
    "    [205, '07:01', '08:30', 421, 510, 89],\n",
    "    [206, '07:01', '07:13', 421, 433, 12],\n",
    "    [207, '07:01', '07:43', 421, 463, 42],\n",
    "    [208, '07:03', '08:30', 423, 510, 87],\n",
    "    [209, '07:04', '07:37', 424, 457, 33],\n",
    "    [210, '07:04', '07:44', 424, 464, 40],\n",
    "    [211, '07:05', '07:52', 425, 472, 47],\n",
    "    [212, '07:05', '08:05', 425, 485, 60],\n",
    "    [213, '07:05', '07:46', 425, 466, 41],\n",
    "    [214, '07:06', '07:51', 426, 471, 45],\n",
    "    [215, '07:07', '08:08', 427, 488, 61],\n",
    "    [216, '07:07', '07:52', 427, 472, 45],\n",
    "    [217, '07:07', '08:16', 427, 496, 69],\n",
    "    [218, '07:07', '07:27', 427, 447, 20],\n",
    "    [219, '07:09', '07:50', 429, 470, 41],\n",
    "    [220, '07:09', '08:40', 429, 520, 91],\n",
    "    [221, '07:09', '08:03', 429, 483, 54],\n",
    "    [222, '07:10', '07:20', 430, 440, 10],\n",
    "    [223, '07:11', '08:36', 431, 516, 85],\n",
    "    [224, '07:12', '08:00', 432, 480, 48],\n",
    "    [225, '07:12', '07:47', 432, 467, 35],\n",
    "    [226, '07:13', '07:54', 433, 474, 41],\n",
    "    [227, '07:13', '07:38', 433, 458, 25],\n",
    "    [228, '07:14', '07:59', 434, 479, 45],\n",
    "    [229, '07:16', '08:50', 436, 530, 94],\n",
    "    [230, '07:16', '07:28', 436, 448, 12],\n",
    "    [231, '07:17', '07:35', 437, 455, 18],\n",
    "    [232, '07:17', '07:58', 437, 478, 41],\n",
    "    [233, '07:18', '08:06', 438, 486, 48],\n",
    "    [234, '07:18', '08:44', 438, 524, 86],\n",
    "    [235, '07:19', '08:13', 439, 493, 54],\n",
    "    [236, '07:20', '08:02', 440, 482, 42],\n",
    "    [237, '07:20', '08:07', 440, 487, 47],\n",
    "    [238, '07:20', '07:30', 440, 450, 10],\n",
    "    [239, '07:20', '07:57', 440, 477, 37],\n",
    "    [240, '07:20', '07:36', 440, 456, 16],\n",
    "    [241, '07:21', '07:48', 441, 468, 27],\n",
    "    [242, '07:22', '08:06', 442, 486, 44],\n",
    "    [243, '07:22', '08:25', 442, 505, 63],\n",
    "    [244, '07:24', '08:27', 444, 507, 63],\n",
    "    [245, '07:24', '08:05', 444, 485, 41],\n",
    "    [246, '07:26', '08:23', 446, 503, 57],\n",
    "    [247, '07:26', '08:52', 446, 532, 86],\n",
    "    [248, '07:27', '08:07', 447, 487, 40],\n",
    "    [249, '07:27', '07:42', 447, 462, 15],\n",
    "    [250, '07:27', '08:15', 447, 495, 48],\n",
    "    [251, '07:28', '07:53', 448, 473, 25],\n",
    "    [252, '07:28', '08:09', 448, 489, 41],\n",
    "    [253, '07:28', '07:38', 448, 458, 10],\n",
    "    [254, '07:30', '08:35', 450, 515, 65],\n",
    "    [255, '07:31', '07:43', 451, 463, 12],\n",
    "    [256, '07:32', '08:13', 452, 493, 41],\n",
    "    [257, '07:34', '09:00', 454, 540, 86],\n",
    "    [258, '07:34', '08:33', 454, 513, 59],\n",
    "    [259, '07:34', '09:04', 454, 544, 90],\n",
    "    [260, '07:35', '08:22', 455, 502, 47],\n",
    "    [261, '07:35', '07:45', 455, 465, 10],\n",
    "    [262, '07:35', '08:16', 455, 496, 41],\n",
    "    [263, '07:36', '08:17', 456, 497, 41],\n",
    "    [264, '07:36', '08:36', 456, 516, 60],\n",
    "    [265, '07:37', '07:50', 457, 470, 13],\n",
    "    [266, '07:40', '07:56', 460, 476, 16],\n",
    "    [267, '07:40', '08:20', 460, 500, 40],\n",
    "    [268, '07:40', '08:45', 460, 525, 65],\n",
    "    [269, '07:41', '08:39', 461, 519, 58],\n",
    "    [270, '07:41', '07:51', 461, 471, 10],\n",
    "    [271, '07:42', '08:30', 462, 510, 48],\n",
    "    [272, '07:42', '08:21', 462, 501, 39],\n",
    "    [273, '07:43', '08:08', 463, 488, 25],\n",
    "    [274, '07:43', '08:24', 463, 504, 41],\n",
    "    [275, '07:44', '09:10', 464, 550, 86],\n",
    "    [276, '07:44', '08:43', 464, 523, 59],\n",
    "    [277, '07:46', '08:28', 466, 508, 42],\n",
    "    [278, '07:46', '07:58', 466, 478, 12],\n",
    "    [279, '07:47', '08:00', 467, 480, 13],\n",
    "    [280, '07:48', '09:14', 468, 554, 86],\n",
    "    [281, '07:49', '08:32', 469, 512, 43],\n",
    "    [282, '07:50', '08:55', 470, 535, 65],\n",
    "    [283, '07:50', '08:00', 470, 480, 10],\n",
    "    [284, '07:50', '08:37', 470, 517, 47],\n",
    "    [285, '07:50', '08:26', 470, 506, 36],\n",
    "    [286, '07:51', '08:18', 471, 498, 27],\n",
    "    [287, '07:52', '08:21', 472, 501, 29],\n",
    "    [288, '07:53', '08:35', 473, 515, 42],\n",
    "    [289, '07:54', '09:19', 474, 559, 85],\n",
    "    [290, '07:55', '08:53', 475, 533, 58],\n",
    "    [291, '07:56', '08:54', 476, 534, 58],\n",
    "    [292, '07:57', '08:39', 477, 519, 42],\n",
    "    [293, '07:57', '08:10', 477, 490, 13],\n",
    "    [294, '07:58', '08:45', 478, 525, 47],\n",
    "    [295, '07:58', '08:23', 478, 503, 25],\n",
    "    [296, '08:00', '08:10', 480, 490, 10],\n",
    "    [297, '08:00', '09:05', 480, 545, 65],\n",
    "    [298, '08:00', '08:16', 480, 496, 16],\n",
    "    [299, '08:00', '08:35', 480, 515, 35],\n",
    "    [300, '08:01', '08:13', 481, 493, 12],\n",
    "    [301, '08:01', '08:43', 481, 523, 42],\n",
    "    [302, '08:03', '09:26', 483, 566, 83],\n",
    "    [303, '08:04', '09:29', 484, 569, 85],\n",
    "    [304, '08:05', '08:21', 485, 501, 16],\n",
    "    [305, '08:05', '08:47', 485, 527, 42],\n",
    "    [306, '08:06', '08:51', 486, 531, 45],\n",
    "    [307, '08:06', '09:03', 486, 543, 57],\n",
    "    [308, '08:07', '08:20', 487, 500, 13],\n",
    "    [309, '08:08', '08:55', 488, 535, 47],\n",
    "    [310, '08:08', '08:50', 488, 530, 42],\n",
    "    [311, '08:10', '08:45', 490, 525, 35],\n",
    "    [312, '08:10', '09:15', 490, 555, 65],\n",
    "    [313, '08:10', '08:20', 490, 500, 10],\n",
    "    [314, '08:11', '09:41', 491, 581, 90],\n",
    "    [315, '08:12', '08:55', 492, 535, 43],\n",
    "    [316, '08:13', '08:38', 493, 518, 25],\n",
    "    [317, '08:14', '09:38', 494, 578, 84],\n",
    "    [318, '08:15', '08:30', 495, 510, 15],\n",
    "    [319, '08:16', '08:30', 496, 510, 14],\n",
    "    [320, '08:16', '08:28', 496, 508, 12],\n",
    "    [321, '08:16', '09:00', 496, 540, 44],\n",
    "    [322, '08:17', '09:13', 497, 553, 56],\n",
    "    [323, '08:18', '09:16', 498, 556, 58],\n",
    "    [324, '08:18', '09:05', 498, 545, 47],\n",
    "    [325, '08:20', '08:36', 500, 516, 16],\n",
    "    [326, '08:20', '08:55', 500, 535, 35],\n",
    "    [327, '08:20', '09:05', 500, 545, 45],\n",
    "    [328, '08:20', '08:30', 500, 510, 10],\n",
    "    [329, '08:20', '09:25', 500, 565, 65],\n",
    "    [330, '08:21', '08:38', 501, 518, 17],\n",
    "    [331, '08:21', '08:47', 501, 527, 26],\n",
    "    [332, '08:22', '08:45', 502, 525, 23],\n",
    "    [333, '08:23', '09:10', 503, 550, 47],\n",
    "    [334, '08:24', '09:48', 504, 588, 84],\n",
    "    [335, '08:26', '08:46', 506, 526, 20],\n",
    "    [336, '08:27', '09:07', 507, 547, 40],\n",
    "    [337, '08:28', '08:50', 508, 530, 22],\n",
    "    [338, '08:28', '09:56', 508, 596, 88],\n",
    "    [339, '08:28', '09:23', 508, 563, 55],\n",
    "    [340, '08:29', '09:20', 509, 560, 51],\n",
    "    [341, '08:30', '09:05', 510, 545, 35],\n",
    "    [342, '08:30', '08:45', 510, 525, 15],\n",
    "    [343, '08:30', '08:40', 510, 520, 10],\n",
    "    [344, '08:30', '09:35', 510, 575, 65],\n",
    "    [345, '08:31', '08:43', 511, 523, 12],\n",
    "    [346, '08:31', '09:13', 511, 553, 42],\n",
    "    [347, '08:34', '09:58', 514, 598, 84],\n",
    "    [348, '08:35', '08:55', 515, 535, 20],\n",
    "    [349, '08:35', '09:15', 515, 555, 40],\n",
    "    [350, '08:35', '08:45', 515, 525, 10],\n",
    "    [351, '08:36', '08:46', 516, 526, 10],\n",
    "    [352, '08:36', '09:00', 516, 540, 24],\n",
    "    [353, '08:38', '09:20', 518, 560, 42],\n",
    "    [354, '08:38', '09:35', 518, 575, 57],\n",
    "    [355, '08:38', '09:14', 518, 554, 36],\n",
    "    [356, '08:39', '09:33', 519, 573, 54],\n",
    "    [357, '08:40', '09:45', 520, 585, 65],\n",
    "    [358, '08:40', '08:50', 520, 530, 10],\n",
    "    [359, '08:40', '08:56', 520, 536, 16],\n",
    "    [360, '08:42', '09:25', 522, 565, 43],\n",
    "    [361, '08:43', '09:08', 523, 548, 25],\n",
    "    [362, '08:44', '09:35', 524, 575, 51],\n",
    "    [363, '08:45', '09:00', 525, 540, 15],\n",
    "    [364, '08:45', '09:05', 525, 545, 20],\n",
    "    [365, '08:46', '09:24', 526, 564, 38],\n",
    "    [366, '08:46', '08:58', 526, 538, 12],\n",
    "    [367, '08:46', '09:30', 526, 570, 44],\n",
    "    [368, '08:48', '10:11', 528, 611, 83],\n",
    "    [369, '08:48', '10:13', 528, 613, 85],\n",
    "    [370, '08:49', '09:43', 529, 583, 54],\n",
    "    [371, '08:50', '09:30', 530, 570, 40],\n",
    "    [372, '08:50', '10:00', 530, 600, 70],\n",
    "    [373, '08:50', '09:00', 530, 540, 10],\n",
    "    [374, '08:51', '09:17', 531, 557, 26],\n",
    "    [375, '08:53', '09:20', 533, 560, 27],\n",
    "    [376, '08:53', '09:35', 533, 575, 42],\n",
    "    [377, '08:55', '09:34', 535, 574, 39],\n",
    "    [378, '08:55', '09:15', 535, 555, 20],\n",
    "    [379, '08:58', '09:38', 538, 578, 40],\n",
    "    [380, '08:58', '10:26', 538, 626, 88],\n",
    "    [381, '08:59', '09:53', 539, 593, 54],\n",
    "    [382, '08:59', '09:50', 539, 590, 51],\n",
    "    [383, '09:00', '09:35', 540, 575, 35],\n",
    "    [384, '09:00', '09:16', 540, 556, 16],\n",
    "    [385, '09:00', '09:10', 540, 550, 10],\n",
    "    [386, '09:00', '09:16', 540, 556, 16],\n",
    "    [387, '09:01', '09:13', 541, 553, 12],\n",
    "    [388, '09:03', '09:45', 543, 585, 42],\n",
    "    [389, '09:03', '10:28', 543, 628, 85],\n",
    "    [390, '09:05', '09:44', 545, 584, 39],\n",
    "    [391, '09:05', '09:25', 545, 565, 20],\n",
    "    [392, '09:08', '09:53', 548, 593, 45],\n",
    "    [393, '09:08', '10:04', 548, 604, 56],\n",
    "    [394, '09:09', '10:03', 549, 603, 54],\n",
    "    [395, '09:10', '10:15', 550, 615, 65],\n",
    "    [396, '09:10', '09:20', 550, 560, 10],\n",
    "    [397, '09:11', '09:38', 551, 578, 27],\n",
    "    [398, '09:13', '10:00', 553, 600, 47],\n",
    "    [399, '09:14', '09:39', 554, 579, 25],\n",
    "    [400, '09:14', '10:05', 554, 605, 51],\n",
    "    [401, '09:15', '09:54', 555, 594, 39],\n",
    "    [402, '09:16', '09:28', 556, 568, 12],\n",
    "    [403, '09:18', '10:43', 558, 643, 85],\n",
    "    [404, '09:18', '10:41', 558, 641, 83],\n",
    "    [405, '09:18', '09:58', 558, 598, 40],\n",
    "    [406, '09:19', '10:13', 559, 613, 54],\n",
    "    [407, '09:20', '09:30', 560, 570, 10],\n",
    "    [408, '09:20', '09:36', 560, 576, 16],\n",
    "    [409, '09:21', '09:47', 561, 587, 26],\n",
    "    [410, '09:23', '10:30', 563, 630, 67],\n",
    "    [411, '09:23', '10:05', 563, 605, 42],\n",
    "    [412, '09:23', '09:49', 563, 589, 26],\n",
    "    [413, '09:24', '09:35', 564, 575, 11],\n",
    "    [414, '09:25', '09:35', 565, 575, 10],\n",
    "    [415, '09:25', '10:04', 565, 604, 39],\n",
    "    [416, '09:28', '10:08', 568, 608, 40],\n",
    "    [417, '09:29', '09:45', 569, 585, 16],\n",
    "    [418, '09:29', '10:20', 569, 620, 51],\n",
    "    [419, '09:29', '10:56', 569, 656, 87],\n",
    "    [420, '09:29', '10:23', 569, 623, 54],\n",
    "    [421, '09:30', '09:40', 570, 580, 10],\n",
    "    [422, '09:31', '09:43', 571, 583, 12],\n",
    "    [423, '09:33', '10:58', 573, 658, 85],\n",
    "    [424, '09:33', '10:15', 573, 615, 42],\n",
    "    [425, '09:34', '09:45', 574, 585, 11],\n",
    "    [426, '09:35', '10:14', 575, 614, 39],\n",
    "    [427, '09:38', '10:45', 578, 645, 67],\n",
    "    [428, '09:39', '10:33', 579, 633, 54],\n",
    "    [429, '09:40', '09:56', 580, 596, 16],\n",
    "    [430, '09:40', '09:50', 580, 590, 10],\n",
    "    [431, '09:41', '10:08', 581, 608, 27],\n",
    "    [432, '09:41', '10:23', 581, 623, 42],\n",
    "    [433, '09:44', '10:35', 584, 635, 51],\n",
    "    [434, '09:44', '11:11', 584, 671, 87],\n",
    "    [435, '09:44', '09:55', 584, 595, 11],\n",
    "    [436, '09:45', '10:24', 585, 624, 39],\n",
    "    [437, '09:46', '09:58', 586, 598, 12],\n",
    "    [438, '09:48', '10:30', 588, 630, 42],\n",
    "    [439, '09:48', '11:13', 588, 673, 85],\n",
    "    [440, '09:48', '10:04', 588, 604, 16],\n",
    "    [441, '09:49', '10:43', 589, 643, 54],\n",
    "    [442, '09:50', '10:00', 590, 600, 10],\n",
    "    [443, '09:51', '10:17', 591, 617, 26],\n",
    "    [444, '09:53', '10:49', 593, 649, 56],\n",
    "    [445, '09:53', '11:00', 593, 660, 67],\n",
    "    [446, '09:54', '10:05', 594, 605, 11],\n",
    "    [447, '09:55', '10:34', 595, 634, 39],\n",
    "    [448, '09:56', '10:38', 596, 638, 42],\n",
    "    [449, '09:57', '10:20', 597, 620, 23],\n",
    "    [450, '09:59', '11:26', 599, 686, 87],\n",
    "    [451, '09:59', '10:50', 599, 650, 51],\n",
    "    [452, '09:59', '10:53', 599, 653, 54],\n",
    "    [453, '10:00', '10:16', 600, 616, 16],\n",
    "    [454, '10:00', '10:10', 600, 610, 10],\n",
    "    [455, '10:01', '10:13', 601, 613, 12],\n",
    "    [456, '10:03', '11:28', 603, 688, 85],\n",
    "    [457, '10:03', '10:45', 603, 645, 42],\n",
    "    [458, '10:04', '10:15', 604, 615, 11],\n",
    "    [459, '10:05', '10:44', 605, 644, 39],\n",
    "    [460, '10:08', '11:15', 608, 675, 67],\n",
    "    [461, '10:09', '11:03', 609, 663, 54],\n",
    "    [462, '10:10', '10:20', 610, 620, 10],\n",
    "    [463, '10:11', '10:38', 611, 638, 27],\n",
    "    [464, '10:11', '10:53', 611, 653, 42],\n",
    "    [465, '10:14', '11:05', 614, 665, 51],\n",
    "    [466, '10:14', '11:41', 614, 701, 87],\n",
    "    [467, '10:14', '10:25', 614, 625, 11],\n",
    "    [468, '10:15', '10:54', 615, 654, 39],\n",
    "    [469, '10:16', '10:28', 616, 628, 12],\n",
    "    [470, '10:18', '11:43', 618, 703, 85],\n",
    "    [471, '10:18', '11:00', 618, 660, 42],\n",
    "    [472, '10:19', '11:13', 619, 673, 54],\n",
    "    [473, '10:20', '10:30', 620, 630, 10],\n",
    "    [474, '10:20', '10:36', 620, 636, 16],\n",
    "    [475, '10:21', '10:47', 621, 647, 26],\n",
    "    [476, '10:23', '11:30', 623, 690, 67],\n",
    "    [477, '10:23', '10:45', 623, 645, 22],\n",
    "    [478, '10:24', '10:35', 624, 635, 11],\n",
    "    [479, '10:25', '11:04', 625, 664, 39],\n",
    "    [480, '10:26', '11:08', 626, 668, 42],\n",
    "    [481, '10:29', '11:20', 629, 680, 51],\n",
    "    [482, '10:29', '11:23', 629, 683, 54],\n",
    "    [483, '10:29', '11:56', 629, 716, 87],\n",
    "    [484, '10:30', '10:40', 630, 640, 10],\n",
    "    [485, '10:31', '10:43', 631, 643, 12],\n",
    "    [486, '10:33', '11:15', 633, 675, 42],\n",
    "    [487, '10:33', '11:58', 633, 718, 85],\n",
    "    [488, '10:34', '10:45', 634, 645, 11],\n",
    "    [489, '10:35', '11:14', 635, 674, 39],\n",
    "    [490, '10:38', '11:45', 638, 705, 67],\n",
    "    [491, '10:39', '11:33', 639, 693, 54],\n",
    "    [492, '10:40', '10:50', 640, 650, 10],\n",
    "    [493, '10:40', '10:56', 640, 656, 16],\n",
    "    [494, '10:41', '11:23', 641, 683, 42],\n",
    "    [495, '10:41', '11:08', 641, 668, 27],\n",
    "    [496, '10:44', '12:11', 644, 731, 87],\n",
    "    [497, '10:44', '11:35', 644, 695, 51],\n",
    "    [498, '10:44', '10:55', 644, 655, 11],\n",
    "    [499, '10:45', '11:24', 645, 684, 39],\n",
    "    [500, '10:46', '10:58', 646, 658, 12],\n",
    "    [501, '10:48', '12:13', 648, 733, 85],\n",
    "    [502, '10:48', '11:30', 648, 690, 42],\n",
    "    [503, '10:49', '11:43', 649, 703, 54],\n",
    "    [504, '10:50', '11:00', 650, 660, 10],\n",
    "    [505, '10:51', '11:17', 651, 677, 26],\n",
    "    [506, '10:53', '12:00', 653, 720, 67],\n",
    "    [507, '10:53', '11:20', 653, 680, 27],\n",
    "    [508, '10:54', '11:05', 654, 665, 11],\n",
    "    [509, '10:55', '11:34', 655, 694, 39],\n",
    "    [510, '10:56', '11:38', 656, 698, 42],\n",
    "    [511, '10:59', '11:14', 659, 674, 15],\n",
    "    [512, '10:59', '12:26', 659, 746, 87],\n",
    "    [513, '10:59', '11:53', 659, 713, 54],\n",
    "    [514, '10:59', '11:50', 659, 710, 51],\n",
    "    [515, '11:00', '11:16', 660, 676, 16],\n",
    "    [516, '11:00', '11:10', 660, 670, 10],\n",
    "    [517, '11:01', '11:13', 661, 673, 12],\n",
    "    [518, '11:03', '11:45', 663, 705, 42],\n",
    "    [519, '11:03', '12:28', 663, 748, 85],\n",
    "    [520, '11:04', '11:15', 664, 675, 11],\n",
    "    [521, '11:05', '11:44', 665, 704, 39],\n",
    "    [522, '11:08', '12:15', 668, 735, 67],\n",
    "    [523, '11:09', '12:03', 669, 723, 54],\n",
    "    [524, '11:10', '11:20', 670, 680, 10],\n",
    "    [525, '11:11', '11:38', 671, 698, 27],\n",
    "    [526, '11:11', '11:53', 671, 713, 42],\n",
    "    [527, '11:14', '11:25', 674, 685, 11],\n",
    "    [528, '11:14', '12:05', 674, 725, 51],\n",
    "    [529, '11:14', '12:38', 674, 758, 84],\n",
    "    [530, '11:14', '12:41', 674, 761, 87],\n",
    "    [531, '11:15', '11:54', 675, 714, 39],\n",
    "    [532, '11:16', '11:28', 676, 688, 12],\n",
    "    [533, '11:18', '12:00', 678, 720, 42],\n",
    "    [534, '11:19', '12:13', 679, 733, 54],\n",
    "    [535, '11:20', '11:30', 680, 690, 10],\n",
    "    [536, '11:20', '11:36', 680, 696, 16],\n",
    "    [537, '11:21', '11:47', 681, 707, 26],\n",
    "    [538, '11:23', '12:30', 683, 750, 67],\n",
    "    [539, '11:23', '11:49', 683, 709, 26],\n",
    "    [540, '11:24', '12:48', 684, 768, 84],\n",
    "    [541, '11:24', '11:35', 684, 695, 11],\n",
    "    [542, '11:25', '12:04', 685, 724, 39],\n",
    "    [543, '11:26', '12:08', 686, 728, 42],\n",
    "    [544, '11:29', '11:44', 689, 704, 15],\n",
    "    [545, '11:29', '12:23', 689, 743, 54],\n",
    "    [546, '11:29', '12:20', 689, 740, 51],\n",
    "    [547, '11:29', '12:54', 689, 774, 85],\n",
    "    [548, '11:30', '11:40', 690, 700, 10],\n",
    "    [549, '11:31', '11:43', 691, 703, 12],\n",
    "    [550, '11:33', '12:15', 693, 735, 42],\n",
    "    [551, '11:34', '12:58', 694, 778, 84],\n",
    "    [552, '11:34', '11:45', 694, 705, 11],\n",
    "    [553, '11:35', '12:14', 695, 734, 39],\n",
    "    [554, '11:38', '12:45', 698, 765, 67],\n",
    "    [555, '11:39', '12:33', 699, 753, 54],\n",
    "    [556, '11:40', '11:56', 700, 716, 16],\n",
    "    [557, '11:40', '11:50', 700, 710, 10],\n",
    "    [558, '11:41', '12:08', 701, 728, 27],\n",
    "    [559, '11:41', '12:23', 701, 743, 42],\n",
    "    [560, '11:44', '11:55', 704, 715, 11],\n",
    "    [561, '11:44', '13:14', 704, 794, 90],\n",
    "    [562, '11:44', '13:08', 704, 788, 84],\n",
    "    [563, '11:44', '12:35', 704, 755, 51],\n",
    "    [564, '11:45', '12:24', 705, 744, 39],\n",
    "    [565, '11:46', '11:58', 706, 718, 12],\n",
    "    [566, '11:48', '12:30', 708, 750, 42],\n",
    "    [567, '11:49', '12:43', 709, 763, 54],\n",
    "    [568, '11:50', '12:00', 710, 720, 10],\n",
    "    [569, '11:51', '12:17', 711, 737, 26],\n",
    "    [570, '11:53', '12:49', 713, 769, 56],\n",
    "    [571, '11:53', '13:00', 713, 780, 67],\n",
    "    [572, '11:54', '13:18', 714, 798, 84],\n",
    "    [573, '11:54', '12:05', 714, 725, 11],\n",
    "    [574, '11:55', '12:40', 715, 760, 45],\n",
    "    [575, '11:55', '12:34', 715, 754, 39],\n",
    "    [576, '11:56', '12:35', 716, 755, 39],\n",
    "    [577, '11:57', '12:20', 717, 740, 23],\n",
    "    [578, '11:58', '12:29', 718, 749, 31],\n",
    "    [579, '11:59', '12:50', 719, 770, 51],\n",
    "    [580, '11:59', '12:53', 719, 773, 54],\n",
    "    [581, '11:59', '13:24', 719, 804, 85],\n",
    "    [582, '11:59', '12:14', 719, 734, 15],\n",
    "    [583, '12:00', '12:16', 720, 736, 16],\n",
    "    [584, '12:00', '12:10', 720, 730, 10],\n",
    "    [585, '12:01', '12:45', 721, 765, 44],\n",
    "    [586, '12:01', '12:13', 721, 733, 12],\n",
    "    [587, '12:03', '12:50', 723, 770, 47],\n",
    "    [588, '12:04', '12:15', 724, 735, 11],\n",
    "    [589, '12:04', '13:04', 724, 784, 60],\n",
    "    [590, '12:04', '13:28', 724, 808, 84],\n",
    "    [591, '12:05', '12:44', 725, 764, 39],\n",
    "    [592, '12:08', '13:11', 728, 791, 63],\n",
    "    [593, '12:08', '12:39', 728, 759, 31],\n",
    "    [594, '12:09', '13:03', 729, 783, 54],\n",
    "    [595, '12:10', '12:20', 730, 740, 10],\n",
    "    [596, '12:11', '12:55', 731, 775, 44],\n",
    "    [597, '12:11', '12:38', 731, 758, 27],\n",
    "    [598, '12:14', '13:05', 734, 785, 51],\n",
    "    [599, '12:14', '12:25', 734, 745, 11],\n",
    "    [600, '12:14', '13:44', 734, 824, 90],\n",
    "    [601, '12:14', '13:38', 734, 818, 84],\n",
    "    [602, '12:15', '12:54', 735, 774, 39],\n",
    "    [603, '12:16', '12:28', 736, 748, 12],\n",
    "    [604, '12:18', '13:00', 738, 780, 42],\n",
    "    [605, '12:19', '13:13', 739, 793, 54],\n",
    "    [606, '12:20', '12:30', 740, 750, 10],\n",
    "    [607, '12:20', '13:31', 740, 811, 71],\n",
    "    [608, '12:20', '12:30', 740, 750, 10],\n",
    "    [609, '12:20', '12:36', 740, 756, 16],\n",
    "    [610, '12:21', '12:47', 741, 767, 26],\n",
    "    [611, '12:23', '12:45', 743, 765, 22],\n",
    "    [612, '12:24', '12:35', 744, 755, 11],\n",
    "    [613, '12:24', '13:48', 744, 828, 84],\n",
    "    [614, '12:25', '13:10', 745, 790, 45],\n",
    "    [615, '12:25', '13:04', 745, 784, 39],\n",
    "    [616, '12:26', '13:05', 746, 785, 39],\n",
    "    [617, '12:28', '13:54', 748, 834, 86],\n",
    "    [618, '12:28', '12:38', 748, 758, 10],\n",
    "    [619, '12:28', '13:15', 748, 795, 47],\n",
    "    [620, '12:29', '13:23', 749, 803, 54],\n",
    "    [621, '12:30', '13:41', 750, 821, 71],\n",
    "    [622, '12:30', '12:40', 750, 760, 10],\n",
    "    [623, '12:31', '13:15', 751, 795, 44],\n",
    "    [624, '12:31', '12:43', 751, 763, 12],\n",
    "    [625, '12:33', '12:48', 753, 768, 15],\n",
    "    [626, '12:33', '13:20', 753, 800, 47],\n",
    "    [627, '12:34', '13:58', 754, 838, 84],\n",
    "    [628, '12:34', '13:34', 754, 814, 60],\n",
    "    [629, '12:34', '12:45', 754, 765, 11],\n",
    "    [630, '12:35', '13:14', 755, 794, 39],\n",
    "    [631, '12:38', '13:25', 758, 805, 47],\n",
    "    [632, '12:38', '13:25', 758, 805, 47],\n",
    "    [633, '12:38', '14:04', 758, 844, 86],\n",
    "    [634, '12:39', '13:33', 759, 813, 54],\n",
    "    [635, '12:40', '13:51', 760, 831, 71],\n",
    "    [636, '12:40', '12:50', 760, 770, 10],\n",
    "    [637, '12:40', '12:56', 760, 776, 16],\n",
    "    [638, '12:41', '13:08', 761, 788, 27],\n",
    "    [639, '12:43', '13:30', 763, 810, 47],\n",
    "    [640, '12:44', '12:55', 764, 775, 11],\n",
    "    [641, '12:44', '14:08', 764, 848, 84],\n",
    "    [642, '12:45', '13:24', 765, 804, 39],\n",
    "    [643, '12:46', '12:58', 766, 778, 12],\n",
    "    [644, '12:46', '13:21', 766, 801, 35],\n",
    "    [645, '12:48', '14:14', 768, 854, 86],\n",
    "    [646, '12:48', '13:35', 768, 815, 47],\n",
    "    [647, '12:48', '12:58', 768, 778, 10],\n",
    "    [648, '12:48', '13:35', 768, 815, 47],\n",
    "    [649, '12:49', '13:43', 769, 823, 54],\n",
    "    [650, '12:50', '14:01', 770, 841, 71],\n",
    "    [651, '12:50', '13:00', 770, 780, 10],\n",
    "    [652, '12:50', '13:00', 770, 780, 10],\n",
    "    [653, '12:51', '13:17', 771, 797, 26],\n",
    "    [654, '12:53', '13:20', 773, 800, 27],\n",
    "    [655, '12:53', '13:24', 773, 804, 31],\n",
    "    [656, '12:53', '13:40', 773, 820, 47],\n",
    "    [657, '12:54', '14:18', 774, 858, 84],\n",
    "    [658, '12:54', '13:05', 774, 785, 11],\n",
    "    [659, '12:55', '13:34', 775, 814, 39],\n",
    "    [660, '12:58', '14:24', 778, 864, 86],\n",
    "    [661, '12:58', '13:25', 778, 805, 27],\n",
    "    [662, '12:58', '13:45', 778, 825, 47],\n",
    "    [663, '12:58', '13:45', 778, 825, 47],\n",
    "    [664, '12:59', '13:53', 779, 833, 54],\n",
    "    [665, '13:00', '13:10', 780, 790, 10],\n",
    "    [666, '13:00', '13:16', 780, 796, 16],\n",
    "    [667, '13:00', '14:11', 780, 851, 71],\n",
    "    [668, '13:01', '13:13', 781, 793, 12],\n",
    "    [669, '13:03', '13:34', 783, 814, 31],\n",
    "    [670, '13:03', '13:50', 783, 830, 47],\n",
    "    [671, '13:04', '13:15', 784, 795, 11],\n",
    "    [672, '13:04', '14:28', 784, 868, 84],\n",
    "    [673, '13:05', '13:44', 785, 824, 39],\n",
    "    [674, '13:08', '13:55', 788, 835, 47],\n",
    "    [675, '13:08', '14:34', 788, 874, 86],\n",
    "    [676, '13:08', '13:55', 788, 835, 47],\n",
    "    [677, '13:09', '14:03', 789, 843, 54],\n",
    "    [678, '13:10', '13:20', 790, 800, 10],\n",
    "    [679, '13:10', '14:21', 790, 861, 71],\n",
    "    [680, '13:13', '14:00', 793, 840, 47],\n",
    "    [681, '13:13', '13:40', 793, 820, 27],\n",
    "    [682, '13:14', '14:38', 794, 878, 84],\n",
    "    [683, '13:14', '13:25', 794, 805, 11],\n",
    "    [684, '13:15', '13:54', 795, 834, 39],\n",
    "    [685, '13:16', '13:28', 796, 808, 12],\n",
    "    [686, '13:18', '14:05', 798, 845, 47],\n",
    "    [687, '13:18', '14:44', 798, 884, 86],\n",
    "    [688, '13:18', '14:05', 798, 845, 47],\n",
    "    [689, '13:19', '14:13', 799, 853, 54],\n",
    "    [690, '13:20', '13:36', 800, 816, 16],\n",
    "    [691, '13:20', '14:31', 800, 871, 71],\n",
    "    [692, '13:20', '13:30', 800, 810, 10],\n",
    "    [693, '13:21', '13:47', 801, 827, 26],\n",
    "    [694, '13:23', '14:10', 803, 850, 47],\n",
    "    [695, '13:23', '13:49', 803, 829, 26],\n",
    "    [696, '13:24', '14:48', 804, 888, 84],\n",
    "    [697, '13:24', '13:35', 804, 815, 11],\n",
    "    [698, '13:25', '14:04', 805, 844, 39],\n",
    "    [699, '13:28', '14:15', 808, 855, 47],\n",
    "    [700, '13:28', '14:54', 808, 894, 86],\n",
    "    [701, '13:28', '13:55', 808, 835, 27],\n",
    "    [702, '13:28', '14:15', 808, 855, 47],\n",
    "    [703, '13:29', '14:23', 809, 863, 54],\n",
    "    [704, '13:30', '13:40', 810, 820, 10],\n",
    "    [705, '13:30', '14:41', 810, 881, 71],\n",
    "    [706, '13:31', '13:43', 811, 823, 12],\n",
    "    [707, '13:33', '14:20', 813, 860, 47],\n",
    "    [708, '13:34', '14:58', 814, 898, 84],\n",
    "    [709, '13:34', '13:45', 814, 825, 11],\n",
    "    [710, '13:35', '14:14', 815, 854, 39],\n",
    "    [711, '13:38', '14:25', 818, 865, 47],\n",
    "    [712, '13:38', '14:25', 818, 865, 47],\n",
    "    [713, '13:38', '15:04', 818, 904, 86],\n",
    "    [714, '13:39', '14:33', 819, 873, 54],\n",
    "    [715, '13:40', '13:50', 820, 830, 10],\n",
    "    [716, '13:40', '13:56', 820, 836, 16],\n",
    "    [717, '13:40', '14:51', 820, 891, 71],\n",
    "    [718, '13:43', '14:30', 823, 870, 47],\n",
    "    [719, '13:43', '14:10', 823, 850, 27],\n",
    "    [720, '13:44', '15:09', 824, 909, 85],\n",
    "    [721, '13:44', '13:55', 824, 835, 11],\n",
    "    [722, '13:45', '14:24', 825, 864, 39],\n",
    "    [723, '13:46', '13:58', 826, 838, 12],\n",
    "    [724, '13:48', '14:35', 828, 875, 47],\n",
    "    [725, '13:48', '15:14', 828, 914, 86],\n",
    "    [726, '13:48', '14:35', 828, 875, 47],\n",
    "    [727, '13:49', '14:43', 829, 883, 54],\n",
    "    [728, '13:50', '14:00', 830, 840, 10],\n",
    "    [729, '13:50', '15:01', 830, 901, 71],\n",
    "    [730, '13:51', '14:17', 831, 857, 26],\n",
    "    [731, '13:53', '14:40', 833, 880, 47],\n",
    "    [732, '13:53', '14:49', 833, 889, 56],\n",
    "    [733, '13:54', '14:05', 834, 845, 11],\n",
    "    [734, '13:54', '15:19', 834, 919, 85],\n",
    "    [735, '13:55', '14:34', 835, 874, 39],\n",
    "    [736, '13:57', '14:20', 837, 860, 23],\n",
    "    [737, '13:58', '15:24', 838, 924, 86],\n",
    "    [738, '13:58', '14:45', 838, 885, 47],\n",
    "    [739, '13:58', '14:45', 838, 885, 47],\n",
    "    [740, '13:58', '14:25', 838, 865, 27],\n",
    "    [741, '13:59', '14:53', 839, 893, 54],\n",
    "    [742, '14:00', '14:16', 840, 856, 16],\n",
    "    [743, '14:00', '14:10', 840, 850, 10],\n",
    "    [744, '14:00', '15:11', 840, 911, 71],\n",
    "    [745, '14:01', '14:13', 841, 853, 12],\n",
    "    [746, '14:03', '14:50', 843, 890, 47],\n",
    "    [747, '14:04', '14:15', 844, 855, 11],\n",
    "    [748, '14:04', '15:29', 844, 929, 85],\n",
    "    [749, '14:05', '14:44', 845, 884, 39],\n",
    "    [750, '14:08', '14:55', 848, 895, 47],\n",
    "    [751, '14:08', '14:55', 848, 895, 47],\n",
    "    [752, '14:08', '15:34', 848, 934, 86],\n",
    "    [753, '14:09', '15:03', 849, 903, 54],\n",
    "    [754, '14:10', '15:21', 850, 921, 71],\n",
    "    [755, '14:10', '14:20', 850, 860, 10],\n",
    "    [756, '14:13', '15:00', 853, 900, 47],\n",
    "    [757, '14:13', '14:40', 853, 880, 27],\n",
    "    [758, '14:14', '15:40', 854, 940, 86],\n",
    "    [759, '14:14', '14:25', 854, 865, 11],\n",
    "    [760, '14:15', '14:54', 855, 894, 39],\n",
    "    [761, '14:16', '14:28', 856, 868, 12],\n",
    "    [762, '14:18', '15:05', 858, 905, 47],\n",
    "    [763, '14:18', '15:44', 858, 944, 86],\n",
    "    [764, '14:18', '15:05', 858, 905, 47],\n",
    "    [765, '14:19', '15:13', 859, 913, 54],\n",
    "    [766, '14:20', '15:31', 860, 931, 71],\n",
    "    [767, '14:20', '14:30', 860, 870, 10],\n",
    "    [768, '14:20', '14:36', 860, 876, 16],\n",
    "    [769, '14:21', '14:47', 861, 887, 26],\n",
    "    [770, '14:23', '15:10', 863, 910, 47],\n",
    "    [771, '14:23', '14:45', 863, 885, 22],\n",
    "    [772, '14:24', '15:50', 864, 950, 86],\n",
    "    [773, '14:24', '14:35', 864, 875, 11],\n",
    "    [774, '14:25', '15:02', 865, 902, 37],\n",
    "    [775, '14:26', '14:52', 866, 892, 26],\n",
    "    [776, '14:28', '15:15', 868, 915, 47],\n",
    "    [777, '14:28', '14:55', 868, 895, 27],\n",
    "    [778, '14:28', '15:54', 868, 954, 86],\n",
    "    [779, '14:28', '15:15', 868, 915, 47],\n",
    "    [780, '14:29', '15:23', 869, 923, 54],\n",
    "    [781, '14:30', '15:41', 870, 941, 71],\n",
    "    [782, '14:30', '14:40', 870, 880, 10],\n",
    "    [783, '14:31', '14:43', 871, 883, 12],\n",
    "    [784, '14:33', '15:20', 873, 920, 47],\n",
    "    [785, '14:34', '16:00', 874, 960, 86],\n",
    "    [786, '14:34', '14:45', 874, 885, 11],\n",
    "    [787, '14:35', '15:11', 875, 911, 36],\n",
    "    [788, '14:38', '15:25', 878, 925, 47],\n",
    "    [789, '14:38', '15:25', 878, 925, 47],\n",
    "    [790, '14:38', '16:04', 878, 964, 86],\n",
    "    [791, '14:39', '15:33', 879, 933, 54],\n",
    "    [792, '14:40', '14:50', 880, 890, 10],\n",
    "    [793, '14:40', '15:51', 880, 951, 71],\n",
    "    [794, '14:40', '14:56', 880, 896, 16],\n",
    "    [795, '14:43', '15:30', 883, 930, 47],\n",
    "    [796, '14:43', '15:10', 883, 910, 27],\n",
    "    [797, '14:44', '15:00', 884, 900, 16],\n",
    "    [798, '14:44', '16:10', 884, 970, 86],\n",
    "    [799, '14:45', '15:19', 885, 919, 34],\n",
    "    [800, '14:46', '14:58', 886, 898, 12],\n",
    "    [801, '14:48', '15:35', 888, 935, 47],\n",
    "    [802, '14:48', '15:35', 888, 935, 47],\n",
    "    [803, '14:48', '17:04', 888, 1024, 136],\n",
    "    [804, '14:49', '15:43', 889, 943, 54],\n",
    "    [805, '14:50', '16:01', 890, 961, 71],\n",
    "    [806, '14:50', '15:00', 890, 900, 10],\n",
    "    [807, '14:51', '15:17', 891, 917, 26],\n",
    "    [808, '14:52', '15:27', 892, 927, 35],\n",
    "    [809, '14:52', '15:21', 892, 921, 29],\n",
    "    [810, '14:53', '15:40', 893, 940, 47],\n",
    "    [811, '14:54', '15:08', 894, 908, 14],\n",
    "    [812, '14:54', '16:20', 894, 980, 86],\n",
    "    [813, '14:58', '16:24', 898, 984, 86],\n",
    "    [814, '14:58', '15:45', 898, 945, 47],\n",
    "    [815, '14:58', '15:25', 898, 925, 27],\n",
    "    [816, '14:58', '15:45', 898, 945, 47],\n",
    "    [817, '14:59', '15:53', 899, 953, 54],\n",
    "    [818, '15:00', '15:10', 900, 910, 10],\n",
    "    [819, '15:00', '15:35', 900, 935, 35],\n",
    "    [820, '15:00', '16:11', 900, 971, 71],\n",
    "    [821, '15:00', '15:16', 900, 916, 16],\n",
    "    [822, '15:01', '15:13', 901, 913, 12],\n",
    "    [823, '15:02', '15:16', 902, 916, 14],\n",
    "    [824, '15:03', '15:50', 903, 950, 47],\n",
    "    [825, '15:04', '16:30', 904, 990, 86],\n",
    "    [826, '15:08', '16:34', 908, 994, 86],\n",
    "    [827, '15:08', '15:55', 908, 955, 47],\n",
    "    [828, '15:08', '15:55', 908, 955, 47],\n",
    "    [829, '15:08', '15:45', 908, 945, 37],\n",
    "    [830, '15:09', '16:14', 909, 974, 65],\n",
    "    [831, '15:09', '16:03', 909, 963, 54],\n",
    "    [832, '15:10', '16:21', 910, 981, 71],\n",
    "    [833, '15:10', '15:20', 910, 920, 10],\n",
    "    [834, '15:11', '15:24', 911, 924, 13],\n",
    "    [835, '15:12', '15:36', 912, 936, 24],\n",
    "    [836, '15:13', '16:00', 913, 960, 47],\n",
    "    [837, '15:13', '15:40', 913, 940, 27],\n",
    "    [838, '15:14', '16:40', 914, 1000, 86],\n",
    "    [839, '15:16', '15:28', 916, 928, 12],\n",
    "    [840, '15:16', '15:55', 916, 955, 39],\n",
    "    [841, '15:18', '16:05', 918, 965, 47],\n",
    "    [842, '15:18', '16:44', 918, 1004, 86],\n",
    "    [843, '15:18', '16:05', 918, 965, 47],\n",
    "    [844, '15:19', '16:13', 919, 973, 54],\n",
    "    [845, '15:19', '15:34', 919, 934, 15],\n",
    "    [846, '15:20', '15:30', 920, 930, 10],\n",
    "    [847, '15:20', '16:31', 920, 991, 71],\n",
    "    [848, '15:20', '15:36', 920, 936, 16],\n",
    "    [849, '15:21', '15:47', 921, 947, 26],\n",
    "    [850, '15:21', '16:06', 921, 966, 45],\n",
    "    [851, '15:23', '16:10', 923, 970, 47],\n",
    "    [852, '15:24', '16:50', 924, 1010, 86],\n",
    "    [853, '15:24', '16:05', 924, 965, 41],\n",
    "    [854, '15:27', '15:51', 927, 951, 24],\n",
    "    [855, '15:27', '15:44', 927, 944, 17],\n",
    "    [856, '15:28', '16:15', 928, 975, 47],\n",
    "    [857, '15:28', '16:54', 928, 1014, 86],\n",
    "    [858, '15:28', '16:15', 928, 975, 47],\n",
    "    [859, '15:28', '15:55', 928, 955, 27],\n",
    "    [860, '15:29', '16:23', 929, 983, 54],\n",
    "    [861, '15:30', '16:41', 930, 1001, 71],\n",
    "    [862, '15:30', '15:40', 930, 940, 10],\n",
    "    [863, '15:31', '15:43', 931, 943, 12],\n",
    "    [864, '15:33', '16:20', 933, 980, 47],\n",
    "    [865, '15:34', '17:00', 934, 1020, 86],\n",
    "    [866, '15:34', '16:15', 934, 975, 41],\n",
    "    [867, '15:35', '15:54', 935, 954, 19],\n",
    "    [868, '15:36', '16:21', 936, 981, 45],\n",
    "    [869, '15:38', '16:25', 938, 985, 47],\n",
    "    [870, '15:38', '16:25', 938, 985, 47],\n",
    "    [871, '15:38', '16:39', 938, 999, 61],\n",
    "    [872, '15:39', '16:33', 939, 993, 54],\n",
    "    [873, '15:40', '15:50', 940, 950, 10],\n",
    "    [874, '15:40', '16:51', 940, 1011, 71],\n",
    "    [875, '15:40', '15:56', 940, 956, 16],\n",
    "    [876, '15:43', '16:10', 943, 970, 27],\n",
    "    [877, '15:43', '16:30', 943, 990, 47],\n",
    "    [878, '15:44', '17:10', 944, 1030, 86],\n",
    "    [879, '15:44', '16:25', 944, 985, 41],\n",
    "    [880, '15:45', '16:04', 945, 964, 19],\n",
    "    [881, '15:46', '15:58', 946, 958, 12],\n",
    "    [882, '15:48', '16:35', 948, 995, 47],\n",
    "    [883, '15:48', '16:35', 948, 995, 47],\n",
    "    [884, '15:48', '17:14', 948, 1034, 86],\n",
    "    [885, '15:49', '16:43', 949, 1003, 54],\n",
    "    [886, '15:50', '16:00', 950, 960, 10],\n",
    "    [887, '15:50', '17:01', 950, 1021, 71],\n",
    "    [888, '15:51', '16:18', 951, 978, 27],\n",
    "    [889, '15:52', '16:36', 952, 996, 44],\n",
    "    [890, '15:53', '16:40', 953, 1000, 47],\n",
    "    [891, '15:54', '17:20', 954, 1040, 86],\n",
    "    [892, '15:54', '16:35', 954, 995, 41],\n",
    "    [893, '15:55', '16:14', 955, 974, 19],\n",
    "    [894, '15:58', '16:25', 958, 985, 27],\n",
    "    [895, '15:58', '16:45', 958, 1005, 47],\n",
    "    [896, '15:58', '16:45', 958, 1005, 47],\n",
    "    [897, '15:58', '17:24', 958, 1044, 86],\n",
    "    [898, '15:59', '17:11', 959, 1031, 72],\n",
    "    [899, '15:59', '16:53', 959, 1013, 54],\n",
    "    [900, '16:00', '16:10', 960, 970, 10],\n",
    "    [901, '16:00', '16:16', 960, 976, 16],\n",
    "    [902, '16:01', '16:13', 961, 973, 12],\n",
    "    [903, '16:03', '16:50', 963, 1010, 47],\n",
    "    [904, '16:04', '17:30', 964, 1050, 86],\n",
    "    [905, '16:04', '16:45', 964, 1005, 41],\n",
    "    [906, '16:05', '16:24', 965, 984, 19],\n",
    "    [907, '16:06', '16:51', 966, 1011, 45],\n",
    "    [908, '16:08', '16:55', 968, 1015, 47],\n",
    "    [909, '16:08', '17:34', 968, 1054, 86],\n",
    "    [910, '16:08', '16:55', 968, 1015, 47],\n",
    "    [911, '16:09', '17:03', 969, 1023, 54],\n",
    "    [912, '16:09', '17:21', 969, 1041, 72],\n",
    "    [913, '16:10', '16:20', 970, 980, 10],\n",
    "    [914, '16:13', '16:40', 973, 1000, 27],\n",
    "    [915, '16:13', '17:00', 973, 1020, 47],\n",
    "    [916, '16:14', '16:55', 974, 1015, 41],\n",
    "    [917, '16:14', '17:40', 974, 1060, 86],\n",
    "    [918, '16:15', '16:34', 975, 994, 19],\n",
    "    [919, '16:16', '16:28', 976, 988, 12],\n",
    "    [920, '16:18', '17:05', 978, 1025, 47],\n",
    "    [921, '16:18', '17:05', 978, 1025, 47],\n",
    "    [922, '16:18', '17:44', 978, 1064, 86],\n",
    "    [923, '16:19', '17:31', 979, 1051, 72],\n",
    "    [924, '16:19', '17:13', 979, 1033, 54],\n",
    "    [925, '16:20', '16:30', 980, 990, 10],\n",
    "    [926, '16:20', '16:36', 980, 996, 16],\n",
    "    [927, '16:21', '16:48', 981, 1008, 27],\n",
    "    [928, '16:22', '17:06', 982, 1026, 44],\n",
    "    [929, '16:23', '17:10', 983, 1030, 47],\n",
    "    [930, '16:24', '17:05', 984, 1025, 41],\n",
    "    [931, '16:24', '17:50', 984, 1070, 86],\n",
    "    [932, '16:25', '16:44', 985, 1004, 19],\n",
    "    [933, '16:28', '17:15', 988, 1035, 47],\n",
    "    [934, '16:28', '17:15', 988, 1035, 47],\n",
    "    [935, '16:28', '16:55', 988, 1015, 27],\n",
    "    [936, '16:28', '17:54', 988, 1074, 86],\n",
    "    [937, '16:29', '17:23', 989, 1043, 54],\n",
    "    [938, '16:29', '17:41', 989, 1061, 72],\n",
    "    [939, '16:30', '16:40', 990, 1000, 10],\n",
    "    [940, '16:31', '16:43', 991, 1003, 12],\n",
    "    [941, '16:33', '17:20', 993, 1040, 47],\n",
    "    [942, '16:34', '17:15', 994, 1035, 41],\n",
    "    [943, '16:34', '18:00', 994, 1080, 86],\n",
    "    [944, '16:35', '16:54', 995, 1014, 19],\n",
    "    [945, '16:36', '17:21', 996, 1041, 45],\n",
    "    [946, '16:38', '17:25', 998, 1045, 47],\n",
    "    [947, '16:38', '17:25', 998, 1045, 47],\n",
    "    [948, '16:38', '18:04', 998, 1084, 86],\n",
    "    [949, '16:39', '17:33', 999, 1053, 54],\n",
    "    [950, '16:39', '17:51', 999, 1071, 72],\n",
    "    [951, '16:40', '16:56', 1000, 1016, 16],\n",
    "    [952, '16:40', '16:50', 1000, 1010, 10],\n",
    "    [953, '16:43', '17:10', 1003, 1030, 27],\n",
    "    [954, '16:43', '17:30', 1003, 1050, 47],\n",
    "    [955, '16:44', '17:25', 1004, 1045, 41],\n",
    "    [956, '16:44', '18:10', 1004, 1090, 86],\n",
    "    [957, '16:45', '17:04', 1005, 1024, 19],\n",
    "    [958, '16:46', '16:58', 1006, 1018, 12],\n",
    "    [959, '16:48', '18:14', 1008, 1094, 86],\n",
    "    [960, '16:48', '17:35', 1008, 1055, 47],\n",
    "    [961, '16:48', '17:35', 1008, 1055, 47],\n",
    "    [962, '16:49', '18:01', 1009, 1081, 72],\n",
    "    [963, '16:49', '17:43', 1009, 1063, 54],\n",
    "    [964, '16:50', '17:00', 1010, 1020, 10],\n",
    "    [965, '16:51', '17:18', 1011, 1038, 27],\n",
    "    [966, '16:52', '17:36', 1012, 1056, 44],\n",
    "    [967, '16:53', '17:40', 1013, 1060, 47],\n",
    "    [968, '16:54', '18:20', 1014, 1100, 86],\n",
    "    [969, '16:54', '17:35', 1014, 1055, 41],\n",
    "    [970, '16:55', '17:14', 1015, 1034, 19],\n",
    "    [971, '16:58', '17:25', 1018, 1045, 27],\n",
    "    [972, '16:58', '17:45', 1018, 1065, 47],\n",
    "    [973, '16:58', '17:45', 1018, 1065, 47],\n",
    "    [974, '16:58', '18:24', 1018, 1104, 86],\n",
    "    [975, '16:59', '18:11', 1019, 1091, 72],\n",
    "    [976, '16:59', '17:53', 1019, 1073, 54],\n",
    "    [977, '17:00', '17:16', 1020, 1036, 16],\n",
    "    [978, '17:00', '17:10', 1020, 1030, 10],\n",
    "    [979, '17:01', '17:13', 1021, 1033, 12],\n",
    "    [980, '17:03', '17:50', 1023, 1070, 47],\n",
    "    [981, '17:04', '18:30', 1024, 1110, 86],\n",
    "    [982, '17:04', '17:45', 1024, 1065, 41],\n",
    "    [983, '17:05', '17:24', 1025, 1044, 19],\n",
    "    [984, '17:06', '17:51', 1026, 1071, 45],\n",
    "    [985, '17:08', '17:55', 1028, 1075, 47],\n",
    "    [986, '17:08', '17:55', 1028, 1075, 47],\n",
    "    [987, '17:08', '18:34', 1028, 1114, 86],\n",
    "    [988, '17:09', '18:03', 1029, 1083, 54],\n",
    "    [989, '17:09', '18:21', 1029, 1101, 72],\n",
    "    [990, '17:10', '17:20', 1030, 1040, 10],\n",
    "    [991, '17:13', '17:40', 1033, 1060, 27],\n",
    "    [992, '17:13', '18:00', 1033, 1080, 47],\n",
    "    [993, '17:14', '17:55', 1034, 1075, 41],\n",
    "    [994, '17:14', '18:40', 1034, 1120, 86],\n",
    "    [995, '17:15', '17:34', 1035, 1054, 19],\n",
    "    [996, '17:16', '17:28', 1036, 1048, 12],\n",
    "    [997, '17:18', '18:05', 1038, 1085, 47],\n",
    "    [998, '17:18', '18:05', 1038, 1085, 47],\n",
    "    [999, '17:18', '18:44', 1038, 1124, 86],\n",
    "    [1000, '17:19', '18:31', 1039, 1111, 72],\n",
    "    [1001, '17:19', '18:13', 1039, 1093, 54],\n",
    "    [1002, '17:20', '17:36', 1040, 1056, 16],\n",
    "    [1003, '17:20', '17:30', 1040, 1050, 10],\n",
    "    [1004, '17:21', '17:47', 1041, 1067, 26],\n",
    "    [1005, '17:22', '18:06', 1042, 1086, 44],\n",
    "    [1006, '17:23', '18:10', 1043, 1090, 47],\n",
    "    [1007, '17:24', '18:50', 1044, 1130, 86],\n",
    "    [1008, '17:24', '18:05', 1044, 1085, 41],\n",
    "    [1009, '17:25', '17:44', 1045, 1064, 19],\n",
    "    [1010, '17:28', '17:55', 1048, 1075, 27],\n",
    "    [1011, '17:28', '18:15', 1048, 1095, 47],\n",
    "    [1012, '17:28', '18:15', 1048, 1095, 47],\n",
    "    [1013, '17:28', '18:54', 1048, 1134, 86],\n",
    "    [1014, '17:29', '18:41', 1049, 1121, 72],\n",
    "    [1015, '17:29', '18:23', 1049, 1103, 54],\n",
    "    [1016, '17:30', '17:40', 1050, 1060, 10],\n",
    "    [1017, '17:31', '17:43', 1051, 1063, 12],\n",
    "    [1018, '17:33', '18:20', 1053, 1100, 47],\n",
    "    [1019, '17:34', '18:15', 1054, 1095, 41],\n",
    "    [1020, '17:34', '19:00', 1054, 1140, 86],\n",
    "    [1021, '17:35', '17:54', 1055, 1074, 19],\n",
    "    [1022, '17:36', '18:21', 1056, 1101, 45],\n",
    "    [1023, '17:38', '18:25', 1058, 1105, 47],\n",
    "    [1024, '17:38', '19:04', 1058, 1144, 86],\n",
    "    [1025, '17:38', '18:25', 1058, 1105, 47],\n",
    "    [1026, '17:39', '18:51', 1059, 1131, 72],\n",
    "    [1027, '17:39', '18:33', 1059, 1113, 54],\n",
    "    [1028, '17:40', '17:56', 1060, 1076, 16],\n",
    "    [1029, '17:40', '17:50', 1060, 1070, 10],\n",
    "    [1030, '17:43', '18:10', 1063, 1090, 27],\n",
    "    [1031, '17:43', '18:30', 1063, 1110, 47],\n",
    "    [1032, '17:44', '18:25', 1064, 1105, 41],\n",
    "    [1033, '17:44', '19:14', 1064, 1154, 90],\n",
    "    [1034, '17:45', '18:04', 1065, 1084, 19],\n",
    "    [1035, '17:46', '17:58', 1066, 1078, 12],\n",
    "    [1036, '17:48', '18:35', 1068, 1115, 47],\n",
    "    [1037, '17:48', '18:35', 1068, 1115, 47],\n",
    "    [1038, '17:48', '19:14', 1068, 1154, 86],\n",
    "    [1039, '17:49', '19:01', 1069, 1141, 72],\n",
    "    [1040, '17:49', '18:43', 1069, 1123, 54],\n",
    "    [1041, '17:50', '18:00', 1070, 1080, 10],\n",
    "    [1042, '17:51', '18:17', 1071, 1097, 26],\n",
    "    [1043, '17:52', '18:36', 1072, 1116, 44],\n",
    "    [1044, '17:53', '18:40', 1073, 1120, 47],\n",
    "    [1045, '17:54', '18:35', 1074, 1115, 41],\n",
    "    [1046, '17:54', '18:57', 1074, 1137, 63],\n",
    "    [1047, '17:55', '18:14', 1075, 1094, 19],\n",
    "    [1048, '17:58', '18:45', 1078, 1125, 47],\n",
    "    [1049, '17:58', '18:45', 1078, 1125, 47],\n",
    "    [1050, '17:58', '18:25', 1078, 1105, 27],\n",
    "    [1051, '17:58', '19:26', 1078, 1166, 88],\n",
    "    [1052, '17:59', '18:53', 1079, 1133, 54],\n",
    "    [1053, '18:00', '19:11', 1080, 1151, 71],\n",
    "    [1054, '18:00', '18:10', 1080, 1090, 10],\n",
    "    [1055, '18:00', '18:16', 1080, 1096, 16],\n",
    "    [1056, '18:01', '18:13', 1081, 1093, 12],\n",
    "    [1057, '18:03', '18:50', 1083, 1130, 47],\n",
    "    [1058, '18:04', '18:45', 1084, 1125, 41],\n",
    "    [1059, '18:04', '19:29', 1084, 1169, 85],\n",
    "    [1060, '18:05', '18:24', 1085, 1104, 19],\n",
    "    [1061, '18:06', '18:51', 1086, 1131, 45],\n",
    "    [1062, '18:08', '18:55', 1088, 1135, 47],\n",
    "    [1063, '18:08', '19:06', 1088, 1146, 58],\n",
    "    [1064, '18:08', '18:55', 1088, 1135, 47],\n",
    "    [1065, '18:09', '19:03', 1089, 1143, 54],\n",
    "    [1066, '18:10', '18:20', 1090, 1100, 10],\n",
    "    [1067, '18:10', '19:21', 1090, 1161, 71],\n",
    "    [1068, '18:13', '19:00', 1093, 1140, 47],\n",
    "    [1069, '18:13', '18:40', 1093, 1120, 27],\n",
    "    [1070, '18:14', '19:43', 1094, 1183, 89],\n",
    "    [1071, '18:14', '18:55', 1094, 1135, 41],\n",
    "    [1072, '18:15', '18:34', 1095, 1114, 19],\n",
    "    [1073, '18:16', '18:28', 1096, 1108, 12],\n",
    "    [1074, '18:17', '18:27', 1097, 1107, 10],\n",
    "    [1075, '18:18', '19:41', 1098, 1181, 83],\n",
    "    [1076, '18:18', '18:58', 1098, 1138, 40],\n",
    "    [1077, '18:18', '19:05', 1098, 1145, 47],\n",
    "    [1078, '18:19', '19:13', 1099, 1153, 54],\n",
    "    [1079, '18:20', '19:31', 1100, 1171, 71],\n",
    "    [1080, '18:20', '18:36', 1100, 1116, 16],\n",
    "    [1081, '18:20', '18:30', 1100, 1110, 10],\n",
    "    [1082, '18:22', '19:05', 1102, 1145, 43],\n",
    "    [1083, '18:23', '19:05', 1103, 1145, 42],\n",
    "    [1084, '18:24', '19:27', 1104, 1167, 63],\n",
    "    [1085, '18:24', '19:05', 1104, 1145, 41],\n",
    "    [1086, '18:25', '18:44', 1105, 1124, 19],\n",
    "    [1087, '18:28', '19:25', 1108, 1165, 57],\n",
    "    [1088, '18:28', '18:55', 1108, 1135, 27],\n",
    "    [1089, '18:28', '19:08', 1108, 1148, 40],\n",
    "    [1090, '18:28', '19:15', 1108, 1155, 47],\n",
    "    [1091, '18:29', '19:23', 1109, 1163, 54],\n",
    "    [1092, '18:30', '19:05', 1110, 1145, 35],\n",
    "    [1093, '18:30', '18:40', 1110, 1120, 10],\n",
    "    [1094, '18:31', '18:43', 1111, 1123, 12],\n",
    "    [1095, '18:33', '19:15', 1113, 1155, 42],\n",
    "    [1096, '18:34', '19:58', 1114, 1198, 84],\n",
    "    [1097, '18:34', '19:14', 1114, 1154, 40],\n",
    "    [1098, '18:35', '18:55', 1115, 1135, 20],\n",
    "    [1099, '18:36', '19:20', 1116, 1160, 44],\n",
    "    [1100, '18:38', '19:25', 1118, 1165, 47],\n",
    "    [1101, '18:38', '19:23', 1118, 1163, 45],\n",
    "    [1102, '18:38', '19:56', 1118, 1196, 78],\n",
    "    [1103, '18:39', '19:33', 1119, 1173, 54],\n",
    "    [1104, '18:40', '18:50', 1120, 1130, 10],\n",
    "    [1105, '18:40', '19:45', 1120, 1185, 65],\n",
    "    [1106, '18:40', '18:56', 1120, 1136, 16],\n",
    "    [1107, '18:43', '19:10', 1123, 1150, 27],\n",
    "    [1108, '18:43', '19:30', 1123, 1170, 47],\n",
    "    [1109, '18:44', '19:24', 1124, 1164, 40],\n",
    "    [1110, '18:45', '19:05', 1125, 1145, 20],\n",
    "    [1111, '18:46', '18:58', 1126, 1138, 12],\n",
    "    [1112, '18:48', '19:35', 1128, 1175, 47],\n",
    "    [1113, '18:48', '20:12', 1128, 1212, 84],\n",
    "    [1114, '18:48', '20:11', 1128, 1211, 83],\n",
    "    [1115, '18:48', '19:28', 1128, 1168, 40],\n",
    "    [1116, '18:49', '19:43', 1129, 1183, 54],\n",
    "    [1117, '18:50', '19:00', 1130, 1140, 10],\n",
    "    [1118, '18:51', '19:01', 1131, 1141, 10],\n",
    "    [1119, '18:53', '19:35', 1133, 1175, 42],\n",
    "    [1120, '18:53', '19:15', 1133, 1155, 22],\n",
    "    [1121, '18:53', '20:00', 1133, 1200, 67],\n",
    "    [1122, '18:55', '19:15', 1135, 1155, 20],\n",
    "    [1123, '18:55', '19:34', 1135, 1174, 39],\n",
    "    [1124, '18:58', '19:38', 1138, 1178, 40],\n",
    "    [1125, '18:59', '19:53', 1139, 1193, 54],\n",
    "    [1126, '18:59', '19:50', 1139, 1190, 51],\n",
    "    [1127, '18:59', '19:53', 1139, 1193, 54],\n",
    "    [1128, '19:00', '19:16', 1140, 1156, 16],\n",
    "    [1129, '19:00', '19:10', 1140, 1150, 10],\n",
    "    [1130, '19:00', '19:16', 1140, 1156, 16],\n",
    "    [1131, '19:01', '19:13', 1141, 1153, 12],\n",
    "    [1132, '19:03', '20:26', 1143, 1226, 83],\n",
    "    [1133, '19:03', '19:45', 1143, 1185, 42],\n",
    "    [1134, '19:05', '19:44', 1145, 1184, 39],\n",
    "    [1135, '19:05', '19:25', 1145, 1165, 20],\n",
    "    [1136, '19:08', '20:15', 1148, 1215, 67],\n",
    "    [1137, '19:08', '19:35', 1148, 1175, 27],\n",
    "    [1138, '19:09', '19:49', 1149, 1189, 40],\n",
    "    [1139, '19:09', '20:03', 1149, 1203, 54],\n",
    "    [1140, '19:10', '19:20', 1150, 1160, 10],\n",
    "    [1141, '19:10', '19:20', 1150, 1160, 10],\n",
    "    [1142, '19:11', '19:53', 1151, 1193, 42],\n",
    "    [1143, '19:14', '20:26', 1154, 1226, 72],\n",
    "    [1144, '19:14', '19:35', 1154, 1175, 21],\n",
    "    [1145, '19:14', '19:24', 1154, 1164, 10],\n",
    "    [1146, '19:14', '20:05', 1154, 1205, 51],\n",
    "    [1147, '19:15', '19:30', 1155, 1170, 15],\n",
    "    [1148, '19:15', '19:54', 1155, 1194, 39],\n",
    "    [1149, '19:18', '20:39', 1158, 1239, 81],\n",
    "    [1150, '19:18', '20:00', 1158, 1200, 42],\n",
    "    [1151, '19:19', '20:14', 1159, 1214, 55],\n",
    "    [1152, '19:20', '19:30', 1160, 1170, 10],\n",
    "    [1153, '19:20', '19:36', 1160, 1176, 16],\n",
    "    [1154, '19:21', '19:31', 1161, 1171, 10],\n",
    "    [1155, '19:23', '20:30', 1163, 1230, 67],\n",
    "    [1156, '19:23', '19:35', 1163, 1175, 12],\n",
    "    [1157, '19:24', '19:45', 1164, 1185, 21],\n",
    "    [1158, '19:24', '19:45', 1164, 1185, 21],\n",
    "    [1159, '19:25', '20:04', 1165, 1204, 39],\n",
    "    [1160, '19:26', '20:08', 1166, 1208, 42],\n",
    "    [1161, '19:29', '20:02', 1169, 1202, 33],\n",
    "    [1162, '19:29', '20:18', 1169, 1218, 49],\n",
    "    [1163, '19:29', '20:41', 1169, 1241, 72],\n",
    "    [1164, '19:30', '19:40', 1170, 1180, 10],\n",
    "    [1165, '19:33', '20:54', 1173, 1254, 81],\n",
    "    [1166, '19:33', '20:17', 1173, 1217, 44],\n",
    "    [1167, '19:34', '19:55', 1174, 1195, 21],\n",
    "    [1168, '19:35', '20:14', 1175, 1214, 39],\n",
    "    [1169, '19:38', '20:05', 1178, 1205, 27],\n",
    "    [1170, '19:38', '20:45', 1178, 1245, 67],\n",
    "    [1171, '19:39', '20:12', 1179, 1212, 33],\n",
    "    [1172, '19:40', '19:50', 1180, 1190, 10],\n",
    "    [1173, '19:40', '19:56', 1180, 1196, 16],\n",
    "    [1174, '19:41', '20:27', 1181, 1227, 46],\n",
    "    [1175, '19:43', '19:55', 1183, 1195, 12],\n",
    "    [1176, '19:44', '20:05', 1184, 1205, 21],\n",
    "    [1177, '19:44', '20:33', 1184, 1233, 49],\n",
    "    [1178, '19:44', '21:00', 1184, 1260, 76],\n",
    "    [1179, '19:45', '20:24', 1185, 1224, 39],\n",
    "    [1180, '19:48', '20:37', 1188, 1237, 49],\n",
    "    [1181, '19:48', '21:09', 1188, 1269, 81],\n",
    "    [1182, '19:50', '20:00', 1190, 1200, 10],\n",
    "    [1183, '19:52', '20:29', 1192, 1229, 37],\n",
    "    [1184, '19:53', '20:08', 1193, 1208, 15],\n",
    "    [1185, '19:53', '21:02', 1193, 1262, 69],\n",
    "    [1186, '19:53', '20:20', 1193, 1220, 27],\n",
    "    [1187, '19:54', '20:19', 1194, 1219, 25],\n",
    "    [1188, '19:55', '20:34', 1195, 1234, 39],\n",
    "    [1189, '19:56', '20:34', 1196, 1234, 38],\n",
    "    [1190, '19:59', '20:48', 1199, 1248, 49],\n",
    "    [1191, '19:59', '21:20', 1199, 1280, 81],\n",
    "    [1192, '20:00', '20:16', 1200, 1216, 16],\n",
    "    [1193, '20:00', '20:10', 1200, 1210, 10],\n",
    "    [1194, '20:03', '20:42', 1203, 1242, 39],\n",
    "    [1195, '20:03', '21:24', 1203, 1284, 81],\n",
    "    [1196, '20:04', '20:29', 1204, 1229, 25],\n",
    "    [1197, '20:05', '20:48', 1205, 1248, 43],\n",
    "    [1198, '20:07', '20:44', 1207, 1244, 37],\n",
    "    [1199, '20:08', '20:40', 1208, 1240, 32],\n",
    "    [1200, '20:08', '20:35', 1208, 1235, 27],\n",
    "    [1201, '20:10', '20:20', 1210, 1220, 10],\n",
    "    [1202, '20:10', '20:22', 1210, 1222, 12],\n",
    "    [1203, '20:11', '20:47', 1211, 1247, 36],\n",
    "    [1204, '20:14', '21:04', 1214, 1264, 50],\n",
    "    [1205, '20:14', '21:03', 1214, 1263, 49],\n",
    "    [1206, '20:17', '21:03', 1217, 1263, 46],\n",
    "    [1207, '20:18', '21:39', 1218, 1299, 81],\n",
    "    [1208, '20:20', '20:30', 1220, 1230, 10],\n",
    "    [1209, '20:20', '20:57', 1220, 1257, 37],\n",
    "    [1210, '20:20', '20:36', 1220, 1236, 16],\n",
    "    [1211, '20:22', '20:59', 1222, 1259, 37],\n",
    "    [1212, '20:22', '20:42', 1222, 1242, 20],\n",
    "    [1213, '20:24', '20:49', 1224, 1249, 25],\n",
    "    [1214, '20:27', '21:22', 1227, 1282, 55],\n",
    "    [1215, '20:29', '21:18', 1229, 1278, 49],\n",
    "    [1216, '20:30', '21:07', 1230, 1267, 37],\n",
    "    [1217, '20:30', '20:40', 1230, 1240, 10],\n",
    "    [1218, '20:30', '20:40', 1230, 1240, 10],\n",
    "    [1219, '20:30', '21:40', 1230, 1300, 70],\n",
    "    [1220, '20:32', '21:18', 1232, 1278, 46],\n",
    "    [1221, '20:35', '21:54', 1235, 1314, 79],\n",
    "    [1222, '20:37', '21:14', 1237, 1274, 37],\n",
    "    [1223, '20:38', '21:08', 1238, 1268, 30],\n",
    "    [1224, '20:40', '20:50', 1240, 1250, 10],\n",
    "    [1225, '20:40', '21:17', 1240, 1277, 37],\n",
    "    [1226, '20:40', '20:56', 1240, 1256, 16],\n",
    "    [1227, '20:44', '21:33', 1244, 1293, 49],\n",
    "    [1228, '20:47', '21:33', 1247, 1293, 46],\n",
    "    [1229, '20:47', '21:42', 1247, 1302, 55],\n",
    "    [1230, '20:50', '21:00', 1250, 1260, 10],\n",
    "    [1231, '20:50', '22:00', 1250, 1320, 70],\n",
    "    [1232, '20:50', '22:09', 1250, 1329, 79],\n",
    "    [1233, '20:50', '21:27', 1250, 1287, 37],\n",
    "    [1234, '20:52', '21:29', 1252, 1289, 37],\n",
    "    [1235, '20:53', '21:20', 1253, 1280, 27],\n",
    "    [1236, '20:56', '21:11', 1256, 1271, 15],\n",
    "    [1237, '20:59', '21:48', 1259, 1308, 49],\n",
    "    [1238, '21:00', '21:10', 1260, 1270, 10],\n",
    "    [1239, '21:00', '21:37', 1260, 1297, 37],\n",
    "    [1240, '21:02', '21:48', 1262, 1308, 46],\n",
    "    [1241, '21:05', '22:24', 1265, 1344, 79],\n",
    "    [1242, '21:07', '21:44', 1267, 1304, 37],\n",
    "    [1243, '21:07', '22:02', 1267, 1322, 55],\n",
    "    [1244, '21:08', '21:38', 1268, 1298, 30],\n",
    "    [1245, '21:10', '22:25', 1270, 1345, 75],\n",
    "    [1246, '21:10', '21:20', 1270, 1280, 10],\n",
    "    [1247, '21:10', '21:47', 1270, 1307, 37],\n",
    "    [1248, '21:14', '22:03', 1274, 1323, 49],\n",
    "    [1249, '21:17', '22:03', 1277, 1323, 46],\n",
    "    [1250, '21:20', '22:18', 1280, 1338, 58],\n",
    "    [1251, '21:20', '21:57', 1280, 1317, 37],\n",
    "    [1252, '21:20', '21:30', 1280, 1290, 10],\n",
    "    [1253, '21:22', '21:59', 1282, 1319, 37],\n",
    "    [1254, '21:24', '21:49', 1284, 1309, 25],\n",
    "    [1255, '21:27', '22:21', 1287, 1341, 54],\n",
    "    [1256, '21:30', '22:07', 1290, 1327, 37],\n",
    "    [1257, '21:30', '22:20', 1290, 1340, 50],\n",
    "    [1258, '21:30', '21:40', 1290, 1300, 10],\n",
    "    [1259, '21:32', '22:18', 1292, 1338, 46],\n",
    "    [1260, '21:32', '22:01', 1292, 1321, 29],\n",
    "    [1261, '21:35', '22:54', 1295, 1374, 79],\n",
    "    [1262, '21:37', '22:14', 1297, 1334, 37],\n",
    "    [1263, '21:39', '21:55', 1299, 1315, 16],\n",
    "    [1264, '21:40', '22:17', 1300, 1337, 37],\n",
    "    [1265, '21:40', '21:50', 1300, 1310, 10],\n",
    "    [1266, '21:41', '22:08', 1301, 1328, 27],\n",
    "    [1267, '21:47', '22:16', 1307, 1336, 29],\n",
    "    [1268, '21:47', '22:51', 1307, 1371, 64],\n",
    "    [1269, '21:47', '22:33', 1307, 1353, 46],\n",
    "    [1270, '21:48', '22:03', 1308, 1323, 15],\n",
    "    [1271, '21:50', '22:55', 1310, 1375, 65],\n",
    "    [1272, '21:50', '22:27', 1310, 1347, 37],\n",
    "    [1273, '21:50', '22:00', 1310, 1320, 10],\n",
    "    [1274, '21:52', '22:29', 1312, 1349, 37],\n",
    "    [1275, '21:53', '22:19', 1313, 1339, 26],\n",
    "    [1276, '22:00', '22:38', 1320, 1358, 38],\n",
    "    [1277, '22:00', '22:10', 1320, 1330, 10],\n",
    "    [1278, '22:02', '22:12', 1322, 1332, 10],\n",
    "    [1279, '22:02', '22:48', 1322, 1368, 46],\n",
    "    [1280, '22:04', '22:31', 1324, 1351, 27],\n",
    "    [1281, '22:05', '23:24', 1325, 1404, 79],\n",
    "    [1282, '22:07', '22:44', 1327, 1364, 37],\n",
    "    [1283, '22:07', '22:39', 1327, 1359, 32],\n",
    "    [1284, '22:09', '22:25', 1329, 1345, 16],\n",
    "    [1285, '22:10', '23:25', 1330, 1405, 75],\n",
    "    [1286, '22:13', '22:38', 1333, 1358, 25],\n",
    "    [1287, '22:13', '22:53', 1333, 1373, 40],\n",
    "    [1288, '22:17', '22:27', 1337, 1347, 10],\n",
    "    [1289, '22:17', '23:03', 1337, 1383, 46],\n",
    "    [1290, '22:19', '22:46', 1339, 1366, 27],\n",
    "    [1291, '22:22', '22:59', 1342, 1379, 37],\n",
    "    [1292, '22:24', '22:48', 1344, 1368, 24],\n",
    "    [1293, '22:27', '22:52', 1347, 1372, 25],\n",
    "    [1294, '22:27', '23:21', 1347, 1401, 54],\n",
    "    [1295, '22:28', '23:08', 1348, 1388, 40],\n",
    "    [1296, '22:30', '23:17', 1350, 1397, 47],\n",
    "    [1297, '22:32', '22:42', 1352, 1362, 10],\n",
    "    [1298, '22:32', '23:11', 1352, 1391, 39],\n",
    "    [1299, '22:34', '23:01', 1354, 1381, 27],\n",
    "    [1300, '22:35', '23:54', 1355, 1434, 79],\n",
    "    [1301, '22:37', '23:14', 1357, 1394, 37],\n",
    "    [1302, '22:43', '23:23', 1363, 1403, 40],\n",
    "    [1303, '22:43', '23:08', 1363, 1388, 25],\n",
    "    [1304, '22:47', '23:33', 1367, 1413, 46],\n",
    "    [1305, '22:47', '22:57', 1367, 1377, 10],\n",
    "    [1306, '22:49', '23:16', 1369, 1396, 27],\n",
    "    [1307, '22:52', '23:29', 1372, 1409, 37],\n",
    "    [1308, '22:53', '23:15', 1373, 1395, 22],\n",
    "    [1309, '22:55', '23:55', 1375, 1435, 60],\n",
    "    [1310, '22:57', '23:51', 1377, 1431, 54],\n",
    "    [1311, '22:58', '23:38', 1378, 1418, 40],\n",
    "    [1312, '23:02', '23:41', 1382, 1421, 39],\n",
    "    [1313, '23:02', '23:12', 1382, 1392, 10],\n",
    "    [1314, '23:04', '23:31', 1384, 1411, 27],\n",
    "    [1315, '23:05', '00:24', 1385, 1464, 79],\n",
    "    [1316, '23:07', '23:44', 1387, 1424, 37],\n",
    "    [1317, '23:13', '23:53', 1393, 1433, 40],\n",
    "    [1318, '23:13', '23:38', 1393, 1418, 25],\n",
    "    [1319, '23:17', '00:03', 1397, 1443, 46],\n",
    "    [1320, '23:17', '23:27', 1397, 1407, 10],\n",
    "    [1321, '23:19', '23:46', 1399, 1426, 27],\n",
    "    [1322, '23:22', '23:59', 1402, 1439, 37],\n",
    "    [1323, '23:25', '00:25', 1405, 1465, 60],\n",
    "    [1324, '23:27', '00:21', 1407, 1461, 54],\n",
    "    [1325, '23:28', '00:08', 1408, 1448, 40],\n",
    "    [1326, '23:32', '23:42', 1412, 1422, 10],\n",
    "    [1327, '23:34', '00:01', 1414, 1441, 27],\n",
    "    [1328, '23:35', '01:05', 1415, 1505, 90],\n",
    "    [1329, '23:37', '00:09', 1417, 1449, 32],\n",
    "    [1330, '23:43', '00:23', 1423, 1463, 40],\n",
    "    [1331, '23:43', '00:08', 1423, 1448, 25],\n",
    "    [1332, '23:46', '00:01', 1426, 1441, 15],\n",
    "    [1333, '23:47', '23:57', 1427, 1437, 10],\n",
    "    [1334, '23:47', '00:33', 1427, 1473, 46],\n",
    "    [1335, '23:52', '00:24', 1432, 1464, 32],\n",
    "    [1336, '23:55', '00:49', 1435, 1489, 54],\n",
    "    [1337, '23:57', '00:57', 1437, 1497, 60],\n",
    "    [1338, '23:58', '00:38', 1438, 1478, 40],\n",
    "    [1339, '00:02', '00:12', 1442, 1452, 10],\n",
    "    [1340, '00:07', '00:39', 1447, 1479, 32],\n",
    "    [1341, '00:13', '00:38', 1453, 1478, 25],\n",
    "    [1342, '00:13', '00:51', 1453, 1491, 38],\n",
    "    [1343, '00:15', '01:14', 1455, 1514, 59],\n",
    "    [1344, '00:17', '01:23', 1457, 1523, 66],\n",
    "    [1345, '00:23', '00:33', 1463, 1473, 10],\n",
    "    [1346, '00:24', '00:40', 1464, 1480, 16],\n",
    "    [1347, '00:25', '01:12', 1465, 1512, 47],\n",
    "    [1348, '00:28', '01:07', 1468, 1507, 39],\n",
    "    [1349, '00:33', '01:05', 1473, 1505, 32],\n",
    "    [1350, '00:43', '01:21', 1483, 1521, 38],\n",
    "    [1351, '00:44', '00:54', 1484, 1494, 10],\n",
    "    [1352, '00:47', '01:09', 1487, 1509, 22],\n",
    "    [1353, '00:47', '01:26', 1487, 1526, 39],\n",
    "    [1354, '00:54', '01:04', 1494, 1504, 10],\n",
    "    [1355, '00:57', '01:07', 1497, 1507, 10]\n",
    "]  # yapf:disable\n",
    "\n",
    "\n",
    "def find_minimum_number_of_drivers(shifts, params):\n",
    "    \"\"\"Minimize the number of needed drivers.\"\"\"\n",
    "\n",
    "    num_shifts = len(shifts)\n",
    "\n",
    "    # All durations are in minutes.\n",
    "    max_driving_time = 540  # 8 hours.\n",
    "    max_driving_time_without_pauses = 240  # 4 hours\n",
    "    min_pause_after_4h = 30\n",
    "    min_delay_between_shifts = 2\n",
    "    max_working_time = 720\n",
    "    min_working_time = 390  # 6.5 hours\n",
    "    extra_time = 10 + 25\n",
    "    max_break = 180\n",
    "\n",
    "    # Computed data.\n",
    "    total_driving_time = sum(shift[5] for shift in shifts)\n",
    "    min_num_drivers = int(\n",
    "        math.ceil(total_driving_time * 1.0 / max_driving_time))\n",
    "    min_start_time = min(shift[3] for shift in shifts)\n",
    "    max_end_time = max(shift[4] for shift in shifts)\n",
    "\n",
    "    print('Bus driver scheduling')\n",
    "    print('  num shifts =', num_shifts)\n",
    "    print('  total driving time =', total_driving_time, 'minutes')\n",
    "    print('  min num drivers =', min_num_drivers)\n",
    "    print('  min start time =', min_start_time)\n",
    "    print('  max end time =', max_end_time)\n",
    "\n",
    "    # We are going to build a flow from a the start of the day to the end\n",
    "    # of the day.\n",
    "    #\n",
    "    # Along the path, we will accumulate driving time, accrued time since the\n",
    "    # last break, and total working time.\n",
    "\n",
    "    model = cp_model.CpModel()\n",
    "\n",
    "    # Per node info\n",
    "    driving_time = {}\n",
    "    working_time = {}\n",
    "    no_break_driving_time = {}\n",
    "\n",
    "    incoming_literals = collections.defaultdict(list)\n",
    "    outgoing_literals = collections.defaultdict(list)\n",
    "    outgoing_source_literals = []\n",
    "    incoming_sink_literals = []\n",
    "\n",
    "    all_literals = []\n",
    "\n",
    "    # Create all the shift variables before iterating on the transitions\n",
    "    # between these shifts.\n",
    "    for shift in range(num_shifts):\n",
    "        driving_time[shift] = model.NewIntVar(0, max_driving_time, 'dt_%i' % shift)\n",
    "        no_break_driving_time[shift] = model.NewIntVar(\n",
    "            0, max_driving_time_without_pauses, 'nbdt_%i' % shift)\n",
    "        working_time[shift] = model.NewIntVar(\n",
    "            0, max_working_time, 'wt_%i' % shift)\n",
    "\n",
    "    for shift in range(num_shifts):\n",
    "        duration = shifts[shift][5]\n",
    "\n",
    "        # Arc from source to shift.\n",
    "        #    - set the working time of the driver\n",
    "        #    - increase driving time and driving time since the last break\n",
    "        source_lit = model.NewBoolVar('from source to %i' % shift)\n",
    "        all_literals.append(source_lit)\n",
    "        outgoing_source_literals.append(source_lit)\n",
    "        incoming_literals[shift].append(source_lit)\n",
    "        model.Add(driving_time[shift] == duration).OnlyEnforceIf(source_lit)\n",
    "        model.Add(no_break_driving_time[shift] == duration).OnlyEnforceIf(\n",
    "            source_lit)\n",
    "        model.Add(working_time[shift] == duration + extra_time).OnlyEnforceIf(\n",
    "            source_lit)\n",
    "\n",
    "        # Arc from shift to sink\n",
    "        #     - checks that working time is greater than min_working_time\n",
    "        sink_lit = model.NewBoolVar('from %i to sink' % shift)\n",
    "        all_literals.append(sink_lit)\n",
    "        outgoing_literals[shift].append(sink_lit)\n",
    "        incoming_sink_literals.append(sink_lit)\n",
    "        model.Add(working_time[shift] >= min_working_time).OnlyEnforceIf(sink_lit)\n",
    "\n",
    "        for other in range(num_shifts):\n",
    "            delay = shifts[other][3] - shifts[shift][4]\n",
    "            if delay < min_delay_between_shifts:\n",
    "                continue\n",
    "            if delay > max_break:\n",
    "                break  # Assumes start times are sorted.\n",
    "            other_duration = shifts[other][5]\n",
    "            lit = model.NewBoolVar('from %i to %i' % (shift, other))\n",
    "            all_literals.append(lit)\n",
    "\n",
    "            # Increase driving time\n",
    "            model.Add(driving_time[other] ==\n",
    "                      driving_time[shift] + other_duration).OnlyEnforceIf(lit)\n",
    "\n",
    "            # Increase no_break_driving or reset it to 0 depending on the delay\n",
    "            if delay >= min_pause_after_4h:\n",
    "                model.Add(no_break_driving_time[other] ==\n",
    "                          other_duration).OnlyEnforceIf(lit)\n",
    "            else:\n",
    "                model.Add(\n",
    "                    no_break_driving_time[other] ==\n",
    "                    no_break_driving_time[shift] + other_duration).OnlyEnforceIf(lit)\n",
    "\n",
    "            # Increase working time\n",
    "            model.Add(working_time[other] == working_time[shift] + delay +\n",
    "                      other_duration).OnlyEnforceIf(lit)\n",
    "\n",
    "            # Add arc\n",
    "            outgoing_literals[shift].append(lit)\n",
    "            incoming_literals[other].append(lit)\n",
    "\n",
    "    # Create dag constraint.\n",
    "    for shift in range(num_shifts):\n",
    "        model.Add(sum(outgoing_literals[shift]) == 1)\n",
    "        model.Add(sum(incoming_literals[shift]) == 1)\n",
    "\n",
    "    # Num drivers\n",
    "    num_drivers = model.NewIntVar(min_num_drivers, min_num_drivers * 3, 'num_drivers')\n",
    "    model.Add(sum(incoming_sink_literals) == num_drivers)\n",
    "    model.Add(sum(outgoing_source_literals) == num_drivers)\n",
    "\n",
    "    model.Minimize(num_drivers)      \n",
    "\n",
    "    # Solve model.\n",
    "    solver = cp_model.CpSolver()\n",
    "    solver.parameters.log_search_progress = True\n",
    "    #solver.parameters.num_search_workers = 16\n",
    "    # solver.parameters.boolean_encoding_level = 0\n",
    "    # solver.parameters.lns_focus_on_decision_variables = True\n",
    "    status = solver.Solve(model)\n",
    "\n",
    "    if status != cp_model.OPTIMAL and status != cp_model.FEASIBLE:\n",
    "        return -1\n",
    "\n",
    "    # Display solution\n",
    "    optimal_num_drivers = int(solver.ObjectiveValue())\n",
    "    print('minimal number of drivers =', optimal_num_drivers)\n",
    "    return optimal_num_drivers\n",
    "\n",
    "\n",
    "\"\"\"Optimize the bus driver allocation in two passes.\"\"\"\n",
    "print('----------- first pass: minimize the number of drivers')\n",
    "shifts = []\n",
    "if args.instance == 1:\n",
    "    shifts = SAMPLE_SHIFTS_SMALL\n",
    "elif args.instance == 2:\n",
    "    shifts = SAMPLE_SHIFTS_MEDIUM\n",
    "elif args.instance == 3:\n",
    "    shifts = SAMPLE_SHIFTS_LARGE\n",
    "num_drivers = find_minimum_number_of_drivers(shifts, args.params)\n",
    "\n",
    "print('----------- second pass: minimize the sum of working times')\n",
    "#bus_driver_scheduling(False, num_drivers)\n",
    "\n"
   ]
  }
 ],
 "metadata": {},
 "nbformat": 4,
 "nbformat_minor": 5
}