MaxMin_Main.ipynb

{
 "cells": [
  {
   "cell_type": "code",
   "execution_count": 10,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "application/javascript": [
       "/* Put everything inside the global mpl namespace */\n",
       "window.mpl = {};\n",
       "\n",
       "\n",
       "mpl.get_websocket_type = function() {\n",
       "    if (typeof(WebSocket) !== 'undefined') {\n",
       "        return WebSocket;\n",
       "    } else if (typeof(MozWebSocket) !== 'undefined') {\n",
       "        return MozWebSocket;\n",
       "    } else {\n",
       "        alert('Your browser does not have WebSocket support.' +\n",
       "              'Please try Chrome, Safari or Firefox ≥ 6. ' +\n",
       "              'Firefox 4 and 5 are also supported but you ' +\n",
       "              'have to enable WebSockets in about:config.');\n",
       "    };\n",
       "}\n",
       "\n",
       "mpl.figure = function(figure_id, websocket, ondownload, parent_element) {\n",
       "    this.id = figure_id;\n",
       "\n",
       "    this.ws = websocket;\n",
       "\n",
       "    this.supports_binary = (this.ws.binaryType != undefined);\n",
       "\n",
       "    if (!this.supports_binary) {\n",
       "        var warnings = document.getElementById(\"mpl-warnings\");\n",
       "        if (warnings) {\n",
       "            warnings.style.display = 'block';\n",
       "            warnings.textContent = (\n",
       "                \"This browser does not support binary websocket messages. \" +\n",
       "                    \"Performance may be slow.\");\n",
       "        }\n",
       "    }\n",
       "\n",
       "    this.imageObj = new Image();\n",
       "\n",
       "    this.context = undefined;\n",
       "    this.message = undefined;\n",
       "    this.canvas = undefined;\n",
       "    this.rubberband_canvas = undefined;\n",
       "    this.rubberband_context = undefined;\n",
       "    this.format_dropdown = undefined;\n",
       "\n",
       "    this.image_mode = 'full';\n",
       "\n",
       "    this.root = $('<div/>');\n",
       "    this._root_extra_style(this.root)\n",
       "    this.root.attr('style', 'display: inline-block');\n",
       "\n",
       "    $(parent_element).append(this.root);\n",
       "\n",
       "    this._init_header(this);\n",
       "    this._init_canvas(this);\n",
       "    this._init_toolbar(this);\n",
       "\n",
       "    var fig = this;\n",
       "\n",
       "    this.waiting = false;\n",
       "\n",
       "    this.ws.onopen =  function () {\n",
       "            fig.send_message(\"supports_binary\", {value: fig.supports_binary});\n",
       "            fig.send_message(\"send_image_mode\", {});\n",
       "            if (mpl.ratio != 1) {\n",
       "                fig.send_message(\"set_dpi_ratio\", {'dpi_ratio': mpl.ratio});\n",
       "            }\n",
       "            fig.send_message(\"refresh\", {});\n",
       "        }\n",
       "\n",
       "    this.imageObj.onload = function() {\n",
       "            if (fig.image_mode == 'full') {\n",
       "                // Full images could contain transparency (where diff images\n",
       "                // almost always do), so we need to clear the canvas so that\n",
       "                // there is no ghosting.\n",
       "                fig.context.clearRect(0, 0, fig.canvas.width, fig.canvas.height);\n",
       "            }\n",
       "            fig.context.drawImage(fig.imageObj, 0, 0);\n",
       "        };\n",
       "\n",
       "    this.imageObj.onunload = function() {\n",
       "        fig.ws.close();\n",
       "    }\n",
       "\n",
       "    this.ws.onmessage = this._make_on_message_function(this);\n",
       "\n",
       "    this.ondownload = ondownload;\n",
       "}\n",
       "\n",
       "mpl.figure.prototype._init_header = function() {\n",
       "    var titlebar = $(\n",
       "        '<div class=\"ui-dialog-titlebar ui-widget-header ui-corner-all ' +\n",
       "        'ui-helper-clearfix\"/>');\n",
       "    var titletext = $(\n",
       "        '<div class=\"ui-dialog-title\" style=\"width: 100%; ' +\n",
       "        'text-align: center; padding: 3px;\"/>');\n",
       "    titlebar.append(titletext)\n",
       "    this.root.append(titlebar);\n",
       "    this.header = titletext[0];\n",
       "}\n",
       "\n",
       "\n",
       "\n",
       "mpl.figure.prototype._canvas_extra_style = function(canvas_div) {\n",
       "\n",
       "}\n",
       "\n",
       "\n",
       "mpl.figure.prototype._root_extra_style = function(canvas_div) {\n",
       "\n",
       "}\n",
       "\n",
       "mpl.figure.prototype._init_canvas = function() {\n",
       "    var fig = this;\n",
       "\n",
       "    var canvas_div = $('<div/>');\n",
       "\n",
       "    canvas_div.attr('style', 'position: relative; clear: both; outline: 0');\n",
       "\n",
       "    function canvas_keyboard_event(event) {\n",
       "        return fig.key_event(event, event['data']);\n",
       "    }\n",
       "\n",
       "    canvas_div.keydown('key_press', canvas_keyboard_event);\n",
       "    canvas_div.keyup('key_release', canvas_keyboard_event);\n",
       "    this.canvas_div = canvas_div\n",
       "    this._canvas_extra_style(canvas_div)\n",
       "    this.root.append(canvas_div);\n",
       "\n",
       "    var canvas = $('<canvas/>');\n",
       "    canvas.addClass('mpl-canvas');\n",
       "    canvas.attr('style', \"left: 0; top: 0; z-index: 0; outline: 0\")\n",
       "\n",
       "    this.canvas = canvas[0];\n",
       "    this.context = canvas[0].getContext(\"2d\");\n",
       "\n",
       "    var backingStore = this.context.backingStorePixelRatio ||\n",
       "\tthis.context.webkitBackingStorePixelRatio ||\n",
       "\tthis.context.mozBackingStorePixelRatio ||\n",
       "\tthis.context.msBackingStorePixelRatio ||\n",
       "\tthis.context.oBackingStorePixelRatio ||\n",
       "\tthis.context.backingStorePixelRatio || 1;\n",
       "\n",
       "    mpl.ratio = (window.devicePixelRatio || 1) / backingStore;\n",
       "\n",
       "    var rubberband = $('<canvas/>');\n",
       "    rubberband.attr('style', \"position: absolute; left: 0; top: 0; z-index: 1;\")\n",
       "\n",
       "    var pass_mouse_events = true;\n",
       "\n",
       "    canvas_div.resizable({\n",
       "        start: function(event, ui) {\n",
       "            pass_mouse_events = false;\n",
       "        },\n",
       "        resize: function(event, ui) {\n",
       "            fig.request_resize(ui.size.width, ui.size.height);\n",
       "        },\n",
       "        stop: function(event, ui) {\n",
       "            pass_mouse_events = true;\n",
       "            fig.request_resize(ui.size.width, ui.size.height);\n",
       "        },\n",
       "    });\n",
       "\n",
       "    function mouse_event_fn(event) {\n",
       "        if (pass_mouse_events)\n",
       "            return fig.mouse_event(event, event['data']);\n",
       "    }\n",
       "\n",
       "    rubberband.mousedown('button_press', mouse_event_fn);\n",
       "    rubberband.mouseup('button_release', mouse_event_fn);\n",
       "    // Throttle sequential mouse events to 1 every 20ms.\n",
       "    rubberband.mousemove('motion_notify', mouse_event_fn);\n",
       "\n",
       "    rubberband.mouseenter('figure_enter', mouse_event_fn);\n",
       "    rubberband.mouseleave('figure_leave', mouse_event_fn);\n",
       "\n",
       "    canvas_div.on(\"wheel\", function (event) {\n",
       "        event = event.originalEvent;\n",
       "        event['data'] = 'scroll'\n",
       "        if (event.deltaY < 0) {\n",
       "            event.step = 1;\n",
       "        } else {\n",
       "            event.step = -1;\n",
       "        }\n",
       "        mouse_event_fn(event);\n",
       "    });\n",
       "\n",
       "    canvas_div.append(canvas);\n",
       "    canvas_div.append(rubberband);\n",
       "\n",
       "    this.rubberband = rubberband;\n",
       "    this.rubberband_canvas = rubberband[0];\n",
       "    this.rubberband_context = rubberband[0].getContext(\"2d\");\n",
       "    this.rubberband_context.strokeStyle = \"#000000\";\n",
       "\n",
       "    this._resize_canvas = function(width, height) {\n",
       "        // Keep the size of the canvas, canvas container, and rubber band\n",
       "        // canvas in synch.\n",
       "        canvas_div.css('width', width)\n",
       "        canvas_div.css('height', height)\n",
       "\n",
       "        canvas.attr('width', width * mpl.ratio);\n",
       "        canvas.attr('height', height * mpl.ratio);\n",
       "        canvas.attr('style', 'width: ' + width + 'px; height: ' + height + 'px;');\n",
       "\n",
       "        rubberband.attr('width', width);\n",
       "        rubberband.attr('height', height);\n",
       "    }\n",
       "\n",
       "    // Set the figure to an initial 600x600px, this will subsequently be updated\n",
       "    // upon first draw.\n",
       "    this._resize_canvas(600, 600);\n",
       "\n",
       "    // Disable right mouse context menu.\n",
       "    $(this.rubberband_canvas).bind(\"contextmenu\",function(e){\n",
       "        return false;\n",
       "    });\n",
       "\n",
       "    function set_focus () {\n",
       "        canvas.focus();\n",
       "        canvas_div.focus();\n",
       "    }\n",
       "\n",
       "    window.setTimeout(set_focus, 100);\n",
       "}\n",
       "\n",
       "mpl.figure.prototype._init_toolbar = function() {\n",
       "    var fig = this;\n",
       "\n",
       "    var nav_element = $('<div/>')\n",
       "    nav_element.attr('style', 'width: 100%');\n",
       "    this.root.append(nav_element);\n",
       "\n",
       "    // Define a callback function for later on.\n",
       "    function toolbar_event(event) {\n",
       "        return fig.toolbar_button_onclick(event['data']);\n",
       "    }\n",
       "    function toolbar_mouse_event(event) {\n",
       "        return fig.toolbar_button_onmouseover(event['data']);\n",
       "    }\n",
       "\n",
       "    for(var toolbar_ind in mpl.toolbar_items) {\n",
       "        var name = mpl.toolbar_items[toolbar_ind][0];\n",
       "        var tooltip = mpl.toolbar_items[toolbar_ind][1];\n",
       "        var image = mpl.toolbar_items[toolbar_ind][2];\n",
       "        var method_name = mpl.toolbar_items[toolbar_ind][3];\n",
       "\n",
       "        if (!name) {\n",
       "            // put a spacer in here.\n",
       "            continue;\n",
       "        }\n",
       "        var button = $('<button/>');\n",
       "        button.addClass('ui-button ui-widget ui-state-default ui-corner-all ' +\n",
       "                        'ui-button-icon-only');\n",
       "        button.attr('role', 'button');\n",
       "        button.attr('aria-disabled', 'false');\n",
       "        button.click(method_name, toolbar_event);\n",
       "        button.mouseover(tooltip, toolbar_mouse_event);\n",
       "\n",
       "        var icon_img = $('<span/>');\n",
       "        icon_img.addClass('ui-button-icon-primary ui-icon');\n",
       "        icon_img.addClass(image);\n",
       "        icon_img.addClass('ui-corner-all');\n",
       "\n",
       "        var tooltip_span = $('<span/>');\n",
       "        tooltip_span.addClass('ui-button-text');\n",
       "        tooltip_span.html(tooltip);\n",
       "\n",
       "        button.append(icon_img);\n",
       "        button.append(tooltip_span);\n",
       "\n",
       "        nav_element.append(button);\n",
       "    }\n",
       "\n",
       "    var fmt_picker_span = $('<span/>');\n",
       "\n",
       "    var fmt_picker = $('<select/>');\n",
       "    fmt_picker.addClass('mpl-toolbar-option ui-widget ui-widget-content');\n",
       "    fmt_picker_span.append(fmt_picker);\n",
       "    nav_element.append(fmt_picker_span);\n",
       "    this.format_dropdown = fmt_picker[0];\n",
       "\n",
       "    for (var ind in mpl.extensions) {\n",
       "        var fmt = mpl.extensions[ind];\n",
       "        var option = $(\n",
       "            '<option/>', {selected: fmt === mpl.default_extension}).html(fmt);\n",
       "        fmt_picker.append(option)\n",
       "    }\n",
       "\n",
       "    // Add hover states to the ui-buttons\n",
       "    $( \".ui-button\" ).hover(\n",
       "        function() { $(this).addClass(\"ui-state-hover\");},\n",
       "        function() { $(this).removeClass(\"ui-state-hover\");}\n",
       "    );\n",
       "\n",
       "    var status_bar = $('<span class=\"mpl-message\"/>');\n",
       "    nav_element.append(status_bar);\n",
       "    this.message = status_bar[0];\n",
       "}\n",
       "\n",
       "mpl.figure.prototype.request_resize = function(x_pixels, y_pixels) {\n",
       "    // Request matplotlib to resize the figure. Matplotlib will then trigger a resize in the client,\n",
       "    // which will in turn request a refresh of the image.\n",
       "    this.send_message('resize', {'width': x_pixels, 'height': y_pixels});\n",
       "}\n",
       "\n",
       "mpl.figure.prototype.send_message = function(type, properties) {\n",
       "    properties['type'] = type;\n",
       "    properties['figure_id'] = this.id;\n",
       "    this.ws.send(JSON.stringify(properties));\n",
       "}\n",
       "\n",
       "mpl.figure.prototype.send_draw_message = function() {\n",
       "    if (!this.waiting) {\n",
       "        this.waiting = true;\n",
       "        this.ws.send(JSON.stringify({type: \"draw\", figure_id: this.id}));\n",
       "    }\n",
       "}\n",
       "\n",
       "\n",
       "mpl.figure.prototype.handle_save = function(fig, msg) {\n",
       "    var format_dropdown = fig.format_dropdown;\n",
       "    var format = format_dropdown.options[format_dropdown.selectedIndex].value;\n",
       "    fig.ondownload(fig, format);\n",
       "}\n",
       "\n",
       "\n",
       "mpl.figure.prototype.handle_resize = function(fig, msg) {\n",
       "    var size = msg['size'];\n",
       "    if (size[0] != fig.canvas.width || size[1] != fig.canvas.height) {\n",
       "        fig._resize_canvas(size[0], size[1]);\n",
       "        fig.send_message(\"refresh\", {});\n",
       "    };\n",
       "}\n",
       "\n",
       "mpl.figure.prototype.handle_rubberband = function(fig, msg) {\n",
       "    var x0 = msg['x0'] / mpl.ratio;\n",
       "    var y0 = (fig.canvas.height - msg['y0']) / mpl.ratio;\n",
       "    var x1 = msg['x1'] / mpl.ratio;\n",
       "    var y1 = (fig.canvas.height - msg['y1']) / mpl.ratio;\n",
       "    x0 = Math.floor(x0) + 0.5;\n",
       "    y0 = Math.floor(y0) + 0.5;\n",
       "    x1 = Math.floor(x1) + 0.5;\n",
       "    y1 = Math.floor(y1) + 0.5;\n",
       "    var min_x = Math.min(x0, x1);\n",
       "    var min_y = Math.min(y0, y1);\n",
       "    var width = Math.abs(x1 - x0);\n",
       "    var height = Math.abs(y1 - y0);\n",
       "\n",
       "    fig.rubberband_context.clearRect(\n",
       "        0, 0, fig.canvas.width, fig.canvas.height);\n",
       "\n",
       "    fig.rubberband_context.strokeRect(min_x, min_y, width, height);\n",
       "}\n",
       "\n",
       "mpl.figure.prototype.handle_figure_label = function(fig, msg) {\n",
       "    // Updates the figure title.\n",
       "    fig.header.textContent = msg['label'];\n",
       "}\n",
       "\n",
       "mpl.figure.prototype.handle_cursor = function(fig, msg) {\n",
       "    var cursor = msg['cursor'];\n",
       "    switch(cursor)\n",
       "    {\n",
       "    case 0:\n",
       "        cursor = 'pointer';\n",
       "        break;\n",
       "    case 1:\n",
       "        cursor = 'default';\n",
       "        break;\n",
       "    case 2:\n",
       "        cursor = 'crosshair';\n",
       "        break;\n",
       "    case 3:\n",
       "        cursor = 'move';\n",
       "        break;\n",
       "    }\n",
       "    fig.rubberband_canvas.style.cursor = cursor;\n",
       "}\n",
       "\n",
       "mpl.figure.prototype.handle_message = function(fig, msg) {\n",
       "    fig.message.textContent = msg['message'];\n",
       "}\n",
       "\n",
       "mpl.figure.prototype.handle_draw = function(fig, msg) {\n",
       "    // Request the server to send over a new figure.\n",
       "    fig.send_draw_message();\n",
       "}\n",
       "\n",
       "mpl.figure.prototype.handle_image_mode = function(fig, msg) {\n",
       "    fig.image_mode = msg['mode'];\n",
       "}\n",
       "\n",
       "mpl.figure.prototype.updated_canvas_event = function() {\n",
       "    // Called whenever the canvas gets updated.\n",
       "    this.send_message(\"ack\", {});\n",
       "}\n",
       "\n",
       "// A function to construct a web socket function for onmessage handling.\n",
       "// Called in the figure constructor.\n",
       "mpl.figure.prototype._make_on_message_function = function(fig) {\n",
       "    return function socket_on_message(evt) {\n",
       "        if (evt.data instanceof Blob) {\n",
       "            /* FIXME: We get \"Resource interpreted as Image but\n",
       "             * transferred with MIME type text/plain:\" errors on\n",
       "             * Chrome.  But how to set the MIME type?  It doesn't seem\n",
       "             * to be part of the websocket stream */\n",
       "            evt.data.type = \"image/png\";\n",
       "\n",
       "            /* Free the memory for the previous frames */\n",
       "            if (fig.imageObj.src) {\n",
       "                (window.URL || window.webkitURL).revokeObjectURL(\n",
       "                    fig.imageObj.src);\n",
       "            }\n",
       "\n",
       "            fig.imageObj.src = (window.URL || window.webkitURL).createObjectURL(\n",
       "                evt.data);\n",
       "            fig.updated_canvas_event();\n",
       "            fig.waiting = false;\n",
       "            return;\n",
       "        }\n",
       "        else if (typeof evt.data === 'string' && evt.data.slice(0, 21) == \"data:image/png;base64\") {\n",
       "            fig.imageObj.src = evt.data;\n",
       "            fig.updated_canvas_event();\n",
       "            fig.waiting = false;\n",
       "            return;\n",
       "        }\n",
       "\n",
       "        var msg = JSON.parse(evt.data);\n",
       "        var msg_type = msg['type'];\n",
       "\n",
       "        // Call the  \"handle_{type}\" callback, which takes\n",
       "        // the figure and JSON message as its only arguments.\n",
       "        try {\n",
       "            var callback = fig[\"handle_\" + msg_type];\n",
       "        } catch (e) {\n",
       "            console.log(\"No handler for the '\" + msg_type + \"' message type: \", msg);\n",
       "            return;\n",
       "        }\n",
       "\n",
       "        if (callback) {\n",
       "            try {\n",
       "                // console.log(\"Handling '\" + msg_type + \"' message: \", msg);\n",
       "                callback(fig, msg);\n",
       "            } catch (e) {\n",
       "                console.log(\"Exception inside the 'handler_\" + msg_type + \"' callback:\", e, e.stack, msg);\n",
       "            }\n",
       "        }\n",
       "    };\n",
       "}\n",
       "\n",
       "// from http://stackoverflow.com/questions/1114465/getting-mouse-location-in-canvas\n",
       "mpl.findpos = function(e) {\n",
       "    //this section is from http://www.quirksmode.org/js/events_properties.html\n",
       "    var targ;\n",
       "    if (!e)\n",
       "        e = window.event;\n",
       "    if (e.target)\n",
       "        targ = e.target;\n",
       "    else if (e.srcElement)\n",
       "        targ = e.srcElement;\n",
       "    if (targ.nodeType == 3) // defeat Safari bug\n",
       "        targ = targ.parentNode;\n",
       "\n",
       "    // jQuery normalizes the pageX and pageY\n",
       "    // pageX,Y are the mouse positions relative to the document\n",
       "    // offset() returns the position of the element relative to the document\n",
       "    var x = e.pageX - $(targ).offset().left;\n",
       "    var y = e.pageY - $(targ).offset().top;\n",
       "\n",
       "    return {\"x\": x, \"y\": y};\n",
       "};\n",
       "\n",
       "/*\n",
       " * return a copy of an object with only non-object keys\n",
       " * we need this to avoid circular references\n",
       " * http://stackoverflow.com/a/24161582/3208463\n",
       " */\n",
       "function simpleKeys (original) {\n",
       "  return Object.keys(original).reduce(function (obj, key) {\n",
       "    if (typeof original[key] !== 'object')\n",
       "        obj[key] = original[key]\n",
       "    return obj;\n",
       "  }, {});\n",
       "}\n",
       "\n",
       "mpl.figure.prototype.mouse_event = function(event, name) {\n",
       "    var canvas_pos = mpl.findpos(event)\n",
       "\n",
       "    if (name === 'button_press')\n",
       "    {\n",
       "        this.canvas.focus();\n",
       "        this.canvas_div.focus();\n",
       "    }\n",
       "\n",
       "    var x = canvas_pos.x * mpl.ratio;\n",
       "    var y = canvas_pos.y * mpl.ratio;\n",
       "\n",
       "    this.send_message(name, {x: x, y: y, button: event.button,\n",
       "                             step: event.step,\n",
       "                             guiEvent: simpleKeys(event)});\n",
       "\n",
       "    /* This prevents the web browser from automatically changing to\n",
       "     * the text insertion cursor when the button is pressed.  We want\n",
       "     * to control all of the cursor setting manually through the\n",
       "     * 'cursor' event from matplotlib */\n",
       "    event.preventDefault();\n",
       "    return false;\n",
       "}\n",
       "\n",
       "mpl.figure.prototype._key_event_extra = function(event, name) {\n",
       "    // Handle any extra behaviour associated with a key event\n",
       "}\n",
       "\n",
       "mpl.figure.prototype.key_event = function(event, name) {\n",
       "\n",
       "    // Prevent repeat events\n",
       "    if (name == 'key_press')\n",
       "    {\n",
       "        if (event.which === this._key)\n",
       "            return;\n",
       "        else\n",
       "            this._key = event.which;\n",
       "    }\n",
       "    if (name == 'key_release')\n",
       "        this._key = null;\n",
       "\n",
       "    var value = '';\n",
       "    if (event.ctrlKey && event.which != 17)\n",
       "        value += \"ctrl+\";\n",
       "    if (event.altKey && event.which != 18)\n",
       "        value += \"alt+\";\n",
       "    if (event.shiftKey && event.which != 16)\n",
       "        value += \"shift+\";\n",
       "\n",
       "    value += 'k';\n",
       "    value += event.which.toString();\n",
       "\n",
       "    this._key_event_extra(event, name);\n",
       "\n",
       "    this.send_message(name, {key: value,\n",
       "                             guiEvent: simpleKeys(event)});\n",
       "    return false;\n",
       "}\n",
       "\n",
       "mpl.figure.prototype.toolbar_button_onclick = function(name) {\n",
       "    if (name == 'download') {\n",
       "        this.handle_save(this, null);\n",
       "    } else {\n",
       "        this.send_message(\"toolbar_button\", {name: name});\n",
       "    }\n",
       "};\n",
       "\n",
       "mpl.figure.prototype.toolbar_button_onmouseover = function(tooltip) {\n",
       "    this.message.textContent = tooltip;\n",
       "};\n",
       "mpl.toolbar_items = [[\"Home\", \"Reset original view\", \"fa fa-home icon-home\", \"home\"], [\"Back\", \"Back to  previous view\", \"fa fa-arrow-left icon-arrow-left\", \"back\"], [\"Forward\", \"Forward to next view\", \"fa fa-arrow-right icon-arrow-right\", \"forward\"], [\"\", \"\", \"\", \"\"], [\"Pan\", \"Pan axes with left mouse, zoom with right\", \"fa fa-arrows icon-move\", \"pan\"], [\"Zoom\", \"Zoom to rectangle\", \"fa fa-square-o icon-check-empty\", \"zoom\"], [\"\", \"\", \"\", \"\"], [\"Download\", \"Download plot\", \"fa fa-floppy-o icon-save\", \"download\"]];\n",
       "\n",
       "mpl.extensions = [\"eps\", \"jpeg\", \"pdf\", \"png\", \"ps\", \"raw\", \"svg\", \"tif\"];\n",
       "\n",
       "mpl.default_extension = \"png\";var comm_websocket_adapter = function(comm) {\n",
       "    // Create a \"websocket\"-like object which calls the given IPython comm\n",
       "    // object with the appropriate methods. Currently this is a non binary\n",
       "    // socket, so there is still some room for performance tuning.\n",
       "    var ws = {};\n",
       "\n",
       "    ws.close = function() {\n",
       "        comm.close()\n",
       "    };\n",
       "    ws.send = function(m) {\n",
       "        //console.log('sending', m);\n",
       "        comm.send(m);\n",
       "    };\n",
       "    // Register the callback with on_msg.\n",
       "    comm.on_msg(function(msg) {\n",
       "        //console.log('receiving', msg['content']['data'], msg);\n",
       "        // Pass the mpl event to the overriden (by mpl) onmessage function.\n",
       "        ws.onmessage(msg['content']['data'])\n",
       "    });\n",
       "    return ws;\n",
       "}\n",
       "\n",
       "mpl.mpl_figure_comm = function(comm, msg) {\n",
       "    // This is the function which gets called when the mpl process\n",
       "    // starts-up an IPython Comm through the \"matplotlib\" channel.\n",
       "\n",
       "    var id = msg.content.data.id;\n",
       "    // Get hold of the div created by the display call when the Comm\n",
       "    // socket was opened in Python.\n",
       "    var element = $(\"#\" + id);\n",
       "    var ws_proxy = comm_websocket_adapter(comm)\n",
       "\n",
       "    function ondownload(figure, format) {\n",
       "        window.open(figure.imageObj.src);\n",
       "    }\n",
       "\n",
       "    var fig = new mpl.figure(id, ws_proxy,\n",
       "                           ondownload,\n",
       "                           element.get(0));\n",
       "\n",
       "    // Call onopen now - mpl needs it, as it is assuming we've passed it a real\n",
       "    // web socket which is closed, not our websocket->open comm proxy.\n",
       "    ws_proxy.onopen();\n",
       "\n",
       "    fig.parent_element = element.get(0);\n",
       "    fig.cell_info = mpl.find_output_cell(\"<div id='\" + id + \"'></div>\");\n",
       "    if (!fig.cell_info) {\n",
       "        console.error(\"Failed to find cell for figure\", id, fig);\n",
       "        return;\n",
       "    }\n",
       "\n",
       "    var output_index = fig.cell_info[2]\n",
       "    var cell = fig.cell_info[0];\n",
       "\n",
       "};\n",
       "\n",
       "mpl.figure.prototype.handle_close = function(fig, msg) {\n",
       "    var width = fig.canvas.width/mpl.ratio\n",
       "    fig.root.unbind('remove')\n",
       "\n",
       "    // Update the output cell to use the data from the current canvas.\n",
       "    fig.push_to_output();\n",
       "    var dataURL = fig.canvas.toDataURL();\n",
       "    // Re-enable the keyboard manager in IPython - without this line, in FF,\n",
       "    // the notebook keyboard shortcuts fail.\n",
       "    IPython.keyboard_manager.enable()\n",
       "    $(fig.parent_element).html('<img src=\"' + dataURL + '\" width=\"' + width + '\">');\n",
       "    fig.close_ws(fig, msg);\n",
       "}\n",
       "\n",
       "mpl.figure.prototype.close_ws = function(fig, msg){\n",
       "    fig.send_message('closing', msg);\n",
       "    // fig.ws.close()\n",
       "}\n",
       "\n",
       "mpl.figure.prototype.push_to_output = function(remove_interactive) {\n",
       "    // Turn the data on the canvas into data in the output cell.\n",
       "    var width = this.canvas.width/mpl.ratio\n",
       "    var dataURL = this.canvas.toDataURL();\n",
       "    this.cell_info[1]['text/html'] = '<img src=\"' + dataURL + '\" width=\"' + width + '\">';\n",
       "}\n",
       "\n",
       "mpl.figure.prototype.updated_canvas_event = function() {\n",
       "    // Tell IPython that the notebook contents must change.\n",
       "    IPython.notebook.set_dirty(true);\n",
       "    this.send_message(\"ack\", {});\n",
       "    var fig = this;\n",
       "    // Wait a second, then push the new image to the DOM so\n",
       "    // that it is saved nicely (might be nice to debounce this).\n",
       "    setTimeout(function () { fig.push_to_output() }, 1000);\n",
       "}\n",
       "\n",
       "mpl.figure.prototype._init_toolbar = function() {\n",
       "    var fig = this;\n",
       "\n",
       "    var nav_element = $('<div/>')\n",
       "    nav_element.attr('style', 'width: 100%');\n",
       "    this.root.append(nav_element);\n",
       "\n",
       "    // Define a callback function for later on.\n",
       "    function toolbar_event(event) {\n",
       "        return fig.toolbar_button_onclick(event['data']);\n",
       "    }\n",
       "    function toolbar_mouse_event(event) {\n",
       "        return fig.toolbar_button_onmouseover(event['data']);\n",
       "    }\n",
       "\n",
       "    for(var toolbar_ind in mpl.toolbar_items){\n",
       "        var name = mpl.toolbar_items[toolbar_ind][0];\n",
       "        var tooltip = mpl.toolbar_items[toolbar_ind][1];\n",
       "        var image = mpl.toolbar_items[toolbar_ind][2];\n",
       "        var method_name = mpl.toolbar_items[toolbar_ind][3];\n",
       "\n",
       "        if (!name) { continue; };\n",
       "\n",
       "        var button = $('<button class=\"btn btn-default\" href=\"#\" title=\"' + name + '\"><i class=\"fa ' + image + ' fa-lg\"></i></button>');\n",
       "        button.click(method_name, toolbar_event);\n",
       "        button.mouseover(tooltip, toolbar_mouse_event);\n",
       "        nav_element.append(button);\n",
       "    }\n",
       "\n",
       "    // Add the status bar.\n",
       "    var status_bar = $('<span class=\"mpl-message\" style=\"text-align:right; float: right;\"/>');\n",
       "    nav_element.append(status_bar);\n",
       "    this.message = status_bar[0];\n",
       "\n",
       "    // Add the close button to the window.\n",
       "    var buttongrp = $('<div class=\"btn-group inline pull-right\"></div>');\n",
       "    var button = $('<button class=\"btn btn-mini btn-primary\" href=\"#\" title=\"Stop Interaction\"><i class=\"fa fa-power-off icon-remove icon-large\"></i></button>');\n",
       "    button.click(function (evt) { fig.handle_close(fig, {}); } );\n",
       "    button.mouseover('Stop Interaction', toolbar_mouse_event);\n",
       "    buttongrp.append(button);\n",
       "    var titlebar = this.root.find($('.ui-dialog-titlebar'));\n",
       "    titlebar.prepend(buttongrp);\n",
       "}\n",
       "\n",
       "mpl.figure.prototype._root_extra_style = function(el){\n",
       "    var fig = this\n",
       "    el.on(\"remove\", function(){\n",
       "\tfig.close_ws(fig, {});\n",
       "    });\n",
       "}\n",
       "\n",
       "mpl.figure.prototype._canvas_extra_style = function(el){\n",
       "    // this is important to make the div 'focusable\n",
       "    el.attr('tabindex', 0)\n",
       "    // reach out to IPython and tell the keyboard manager to turn it's self\n",
       "    // off when our div gets focus\n",
       "\n",
       "    // location in version 3\n",
       "    if (IPython.notebook.keyboard_manager) {\n",
       "        IPython.notebook.keyboard_manager.register_events(el);\n",
       "    }\n",
       "    else {\n",
       "        // location in version 2\n",
       "        IPython.keyboard_manager.register_events(el);\n",
       "    }\n",
       "\n",
       "}\n",
       "\n",
       "mpl.figure.prototype._key_event_extra = function(event, name) {\n",
       "    var manager = IPython.notebook.keyboard_manager;\n",
       "    if (!manager)\n",
       "        manager = IPython.keyboard_manager;\n",
       "\n",
       "    // Check for shift+enter\n",
       "    if (event.shiftKey && event.which == 13) {\n",
       "        this.canvas_div.blur();\n",
       "        event.shiftKey = false;\n",
       "        // Send a \"J\" for go to next cell\n",
       "        event.which = 74;\n",
       "        event.keyCode = 74;\n",
       "        manager.command_mode();\n",
       "        manager.handle_keydown(event);\n",
       "    }\n",
       "}\n",
       "\n",
       "mpl.figure.prototype.handle_save = function(fig, msg) {\n",
       "    fig.ondownload(fig, null);\n",
       "}\n",
       "\n",
       "\n",
       "mpl.find_output_cell = function(html_output) {\n",
       "    // Return the cell and output element which can be found *uniquely* in the notebook.\n",
       "    // Note - this is a bit hacky, but it is done because the \"notebook_saving.Notebook\"\n",
       "    // IPython event is triggered only after the cells have been serialised, which for\n",
       "    // our purposes (turning an active figure into a static one), is too late.\n",
       "    var cells = IPython.notebook.get_cells();\n",
       "    var ncells = cells.length;\n",
       "    for (var i=0; i<ncells; i++) {\n",
       "        var cell = cells[i];\n",
       "        if (cell.cell_type === 'code'){\n",
       "            for (var j=0; j<cell.output_area.outputs.length; j++) {\n",
       "                var data = cell.output_area.outputs[j];\n",
       "                if (data.data) {\n",
       "                    // IPython >= 3 moved mimebundle to data attribute of output\n",
       "                    data = data.data;\n",
       "                }\n",
       "                if (data['text/html'] == html_output) {\n",
       "                    return [cell, data, j];\n",
       "                }\n",
       "            }\n",
       "        }\n",
       "    }\n",
       "}\n",
       "\n",
       "// Register the function which deals with the matplotlib target/channel.\n",
       "// The kernel may be null if the page has been refreshed.\n",
       "if (IPython.notebook.kernel != null) {\n",
       "    IPython.notebook.kernel.comm_manager.register_target('matplotlib', mpl.mpl_figure_comm);\n",
       "}\n"
      ],
      "text/plain": [
       "<IPython.core.display.Javascript object>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    },
    {
     "data": {
      "text/html": [
       "<img src=\"data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAoAAAAHgCAYAAAA10dzkAAAgAElEQVR4Xu3dCbSt9Vnf8V9MBW3lxqG2gqHBJAoFrah1ApW0WmPEVk2laFoKrcxaBRVk0ELiUKLVBF1x1kRoHGpboDUOtQNCAVHBicEpFQg4G71RUWOjXU9898r2eA53n/2c87/77P1517or4Z73eYfv/3fO/Z7/tJ8VBwIIIIAAAggggMBGEXjWRr2tl0UAAQQQQAABBBAIARQCBBBAAAEEEEBgwwgQwA1rcK+LAAIIIIAAAggQQBlAAAEEEEAAAQQ2jAAB3LAG97oIIIAAAggggAABlAEEEEAAAQQQQGDDCBDADWtwr4sAAggggAACCBBAGUAAAQQQQAABBDaMAAHcsAb3uggggAACCCCAAAGUAQQQQAABBBBAYMMIEMANa3CviwACCCCAAAIIEEAZQAABBBBAAAEENowAAdywBve6CCCAAAIIIIAAAZQBBBBAAAEEEEBgwwgQwA1rcK+LAAIIIIAAAggQQBlAAAEEEEAAAQQ2jAAB3LAG97oIIIAAAggggAABlAEEEEAAAQQQQGDDCBDADWtwr4sAAggggAACCBBAGUAAAQQQQAABBDaMAAHcsAb3uggggAACCCCAAAGUAQQQQAABBBBAYMMIEMANa3CviwACCCCAAAIIEEAZQAABBBBAAAEENowAAdywBve6CCCAAAIIIIAAAZQBBBBAAAEEEEBgwwgQwA1rcK+LAAIIIIAAAggQQBlAAAEEEEAAAQQ2jAAB3LAG97oIIIAAAggggAABlAEEEEAAAQQQQGDDCBDADWtwr4sAAggggAACCBBAGUAAAQQQQAABBDaMAAHcsAb3uggggAACCCCAAAGUAQQQQAABBBBAYMMIEMANa3CviwACCCCAAAIIEEAZQAABBBBAAAEENowAAdywBve6a0fggiSvnXurtyX59SQ/kuRLkjw1fe1FSf733Hl/muRwkl9McmeSb0ny+BY6W689/+WvSfJFe0Tz3yT5/CR/J8k7J3mPJL/XvPaHJHl1ktOTHEpy5fTfH5/klUn+bpK/nuTTk7z7xPD9kjy2y/uelORXkvyrJK+bas9I8onT/brvscvH2dXpNya5IYl/B3aFzckIrAcB3/jr0Y7eYnMJzCStBOTnk7xrko9Lcm2SX03yQUn+MMlMAK+bRPDZSd4ryUcm+ddJnpPkoiSvn0O59drzlOvaT+wB9hK0n0rybUm+M8n/S/ITSUpkO0dd829MYvm7k9j9RpLfnqS35Li4/EKSv5bkBdNz/Mkub3pskpLNNyb5ram2xPirkywjlLu8fet0AtjCpxiBg02AAB7s9vP0CMwk7cOT/OQcjlck+dIk/2KSupkAnpPkP23B9p5J/sckix+a5Oemr+907b2k/s+T/IdJRH98Dy9cPZzfmuTyuWu+b5Ink3xxkq/aw3ttvRQB3Ee4Lo0AAntDgADuDUdXQeBoEdhJ0j45yRuSXJ/kK+d6ALcTwHr2EsgSsBpOrh7BOroCWNepod2Tkzyd5EeTVA/ko9P1a+j5rC3gqhew7rvd8cLpfT4mSclc9ew9OF1zq7RurX/5NNw5//c15F1DuLP3nO+xq2f7m9PQ7tcm+bBpaL2Gykse/2y60NYh4Fmv2tb7/4Mk501Dzs+deMyf87+S/O0kp+3w7jWcXT20xyd5y5Zzvndq37puie+5ST57Evoa3q5h7TuSfNnU6zkr364H8M+TFKv62vxR1ygm823zPtO5Zyf5W9N0gxoG/4qpJ3dWf1mSS6de1rp+TUv4L1O7Ha3vG/dFYOMJEMCNjwAAB5zATpL2eUluTnLx1BP2TD2AMwQ1rFuiVqI1L4AfleSBLZxqqPaZjhqCLvH87qmHr4abSyrqf0s2fynJqUk+a5qrOBvCrmHUGk7d7qih7X+S5L5puLV6Ls9P8uJpGLaGc997Eo06p3o6a65iHdXzV/ct8fj6JN+VpIZ7a6h4JwH8wCRvnq5Rz1TzBatHse55y3TdrQJYEnZ1kprX+NIkvzad98gkmz8ziVwNec+O4vBwks9J8g07vPvfS7JdbQlezfl8TZIvnGprePsPpqHuGuY+Zer1LIn7h3PX7whgyV/9wlAiXO1cfD56astq82rPOj5zykAx/2/T+ZWveuf65cCBAAJHiQABPErg3RaBPSIwk5eZpL3L1KtWPXn1/98/Sc19W0QAfyxJiUYtjqjjmRaB1GKNnSSwpKRkshadVO/Q7DhxEr//nKSGfufvsXUIexE8NY/xnSZ5+v4kXzBXVD1NJUWfO/d3M1m7Ksm/n/v7nQSweidrjuT80HSJ2puSfNJUv90ikGcaAq5etJpvWfMGZ0dJX/GoXs0St52OkvA/TnLm3AnVu1b1NdfzoW0K62d8caqFKdUD+8FJfnY6ryOA3zQ9c/VYzs8FLQkttvX3Jb0lfjUNoRb2OBBAYIUIEMAVagyPgsASBHaStBoSLTm4Z7rmIgJ4/yQSWwXwX84N284ecX6+4dbHfkmSH0jyz5J835Yv1t/XPMPqQapjN8PMtVijetdKKKoXqSR0dvxQkrrv7NgLAayh6xpynT+qd6sWrtQq4jp2K4DVi1i9kDWMXW1TK5RrSLSEvXptn+komS2hqh696u2sYyanHzFX+PwkXz719tXQ7PzP+eqRqyHjOjoCWD2qNfxevZzzxwdMQl49pd84DXtXb+n3TH/qnWshjgMBBI4yAQJ4lBvA7RFoEpgJ1EzSqleuevxmQ4+zyy8igFVTQ4Zbh4B32ztXgnZrko9N8n+2vF8NfdYQ6kzediOAXzcNk9Y2LtWbVXMAawiyrlnbrdQ7zo69EMCaA1jDwPNHzXGr+5T41bFbAaweyxourSHql03SV/P7SihnUrdTJKoXrdroVdMq79nQ8Uy2qu7dputUT+G/m4aBa1i/el9LPOe3q+kIYM01LCHf6fi305zD+nrds+YvlqTW+9cq7xqmrq2KHAggcJQIEMCjBN5tEdgjAosK1JEEsP5xrh7Ab09y4fRsi15766scqQewhj9nPWu7uUfNx6vFDLP5ZbP7Vm/ULx8QAaxnriHimjf3vGmYvIaU/9GCeajeu+o9rD0Tb5qGuIvlbL/BmiNZjKq9S5JnxydMwnUkASxxnAnm/CP9fpIaup8tAikRraHkWmS03VFTAOrP/FHb8tQ8zlpkUkPR1Vu4de/JBTE4DQEEugQIYJegegSOLoFFBWqRbWCqt6vkrOa51bHotbcSmM0BrB6eT537Yi2QKFGrxRnVS7jbe/zONKRcK0pnR80xrPl/JTur0gNYC0Cqt7J66GYrnucZFZ+S1hq+rdXBnzZJ2yJJqrmHPzgthqkVyTXPsnoSZ8c/TvJfpwUZNadzdtRQ/Gcs0ANYe0lWD+X83M1aOPI/p30aZwJYW+zUSvPKTPXE7uaoTNw+3aOmBDgQQOAoECCARwG6WyKwhwQWlbStG0HXUNxsI+jaMqTmotX/1lyt2bHotbd7ndkq4BoKrnlzda/61IlapTtbBVx1u7lHbRFTW5xcM/U+1dYstaCjVvOWtKyKAM5Yf/MkTTVcWsO71Ys2O2rhRs3RrB6wmrM321bmSNGodpv1mpVQ1yeOzA+lFudaYV0LM6qnre5dC0yKVS0IOlIPYPXo1XYxNYewpLoktuYe1hY1JW0zAaxexxrG/qNJduv9atFRDYmXGJakl+SWKNY5Nfeveg1r7mdlo7bcqeeZbZ59pPf2dQQQ2GMCBHCPgbocAoMJLCpQWz8KruYKzj4KrnqRnumj4HY7B3CGoISyFjbUooWSgFoBW/sA1urQZSSzes5qhWn1ctVct1qEUDJRslLHqghgPUsN8dZcxxKekrbq6av3nx21wrj+u2S25jTu5qh99opjDR2XcG2Vx9qOpba/qWHWmtNZQ8IlnMXrSAJ4zCSAtT1PzYGsXsrarqWusXUfwPp6bTZe7VEyWoJbH4tXC3Jq/mHdu+amVkZLJGsOYy0AqXmh1WazvRt38+7ORQCBPSJAAPcIpMsggAACuyBQglY9gLU4o4a2HQgggMBQAgRwKG43QwCBDSdQ+zXW4ocaHq4/V2w4D6+PAAJHiQABPErg3RYBBDaSQG1PU9uy1OKHGo59po2fNxKQl0YAgTEECOAYzu6CAAIIIIAAAgisDAECuDJN4UEQQAABBBBAAIExBAjgGM7uggACCCCAAAIIrAwBArgyTeFBEEAAAQQQQACBMQQI4BjO7oIAAggggAACCKwMAQLYa4rid8KWHf57V1SNAAIIIIAAAiMIHDd9ZnWtzt+4gwD2mvx9p4876l1FNQIIIIAAAggcDQL1KTZPHY0bH+17EsBeC9Tnpx5+05velEOH6v86EEAAAQQQQGDVCbzlLW/JiSfWB/HkOUnesurPux/PRwB7VN8ugIcPHyaAPY6qEUAAAQQQGEagBPA5zyn3I4DDoK/ZjQjgmjWo10EAAQQQWH8CBDDRA9jLOQHs8VONAAIIIIDAcAIEkAB2Q0cAuwTVI4AAAgggMJgAASSA3cgRwC5B9QgggAACCAwmQAAJYDdyBLBLUD0CCCCAAAKDCRBAAtiNHAHsElSPAAIIIIDAYAIEkAB2I0cAuwTVI4AAAgggMJgAASSA3cgRwC5B9QgggAACCAwmQAAJYDdyBLBLUD0CCCCAAAKDCRBAAtiNHAHsElSPAAIIIIDAYAIEkAB2I0cAuwTVI4AAAgggMJgAAVw/Abw8yVVJjk/ycJIrkty9Q67uTHLWNl/7gSRnL5hFArggKKchgAACCCCwKgQI4HoJ4LlJbk1SEnhPkkuSXJjk1CRPbBO690xyzNzfv1eSn5lqXrdgSAnggqCchgACCCCAwKoQIIDrJYD3J3kwyWVzAXs0ye1Jrl0gdNVb+Iqp9/APFzi/TiGAC4JyGgIIIIAAAqtCgACujwBWT97TSc5JcttcwG5OcvoOQ71bc/hzSe5LcvEuArqvAnjSNW/YxaOsxqmP3bTo6PlqPK+nQAABBBDYPAIEcH0E8IQkTyU5M8m9c1G+Lsn5SU4+Qrw/Ikn1IH5kkh9/hnOPTVJ/ZsdxSZ48fPhwDh0qF9zbgwDuLU9XQwABBBBAoAgQwPUTwDOmXrxZwq9Pcl6SU44Q+W9OUrUfdITzbkxyw9ZzCOA7iOgB9MMVAQQQQGDVCRDA9RHAzhDwX0/ya0n+bZIaMn6mQw/gEQARwFX/sef5EEAAAQQI4PoIYKW5hnAfmFYBz9L9SJI7jrAI5IIk35TkfZP8zi6/LcwB3AKMAO4yQU5HAAEEEBhOgACulwDOtoG5dG4xx0VJTkvyeJJbpnmCW1cE1z6BNX/wM5dIIAEkgEvERgkCCCCAwNEkQADXSwArS7UH4NXTVi4PJbkyyV1TyGrj58eSVI/f7PiAJL+Q5BOT/MgSYSSABHCJ2ChBAAEEEDiaBAjg+gng6DwRQAI4OnPuhwACCCDQJEAACWAzQvu7EbRtYLrNox4BBBBAAIG/SoAAEsDu94UeQD2A3QypRwABBBAYTIAAEsBu5AggAexmSD0CCCCAwGACBJAAdiNHAAlgN0PqEUAAAQQGEyCABLAbOQJIALsZUo8AAgggMJgAASSA3cgRQALYzZB6BBBAAIHBBAggAexGjgASwG6G1COAAAIIDCZAAAlgN3IEkAB2M6QeAQQQQGAwAQJIALuRI4AEsJsh9QgggAACgwkQQALYjRwBJIDdDKlHAAEEEBhMgAASwG7kCCAB7GZIPQIIIIDAYAIEkAB2I0cACWA3Q+oRQAABBAYTIIAEsBs5AkgAuxlSjwACCCAwmAABJIDdyBFAAtjNkHoEEEAAgcEECCAB7EaOABLAbobUI4AAAggMJkAACWA3cgSQAHYzpB4BBBBAYDABAkgAu5EjgASwmyH1CCCAAAKDCRBAAtiNHAEkgN0MqUcAAQQQGEyAABLAbuQIIAHsZkg9AggggMBgAgSQAHYjRwAJYDdD6hFAAAEEBhMggASwGzkCSAC7GVKPAAIIIDCYAAEkgN3IEUAC2M2QegQQQACBwQQIIAHsRo4AEsBuhtQjgAACCAwmQAAJYDdyBJAAdjOkHgEEEEBgMAECSAC7kSOABLCbIfUIIIAAAoMJEEAC2I0cASSA3QypRwABBBAYTIAAEsBu5AggAexmSD0CCCCAwGACBJAAdiNHAAlgN0PqEUAAAQQGEyCABLAbOQJIALsZUo8AAgggMJgAASSA3cgRQALYzZB6BBBAAIHBBAggAexGjgASwG6G1COAAAIIDCZAAAlgN3IEkAB2M6QeAQQQQGAwAQJIALuRI4AEsJsh9QgggAACgwkQQALYjRwBJIDdDKlHAAEEEBhMgAASwG7kCCAB7GZIPQIIIIDAYAIEkAB2I0cACWA3Q+oRQAABBAYTIIAEsBs5AkgAuxlSjwACCCAwmAABJIDdyBFAAtjNkHoEEEAAgcEECCAB7EaOABLAbobUI4AAAggMJkAA108AL09yVZLjkzyc5Iokdz9Drt49yVckeWmS90jyK0m+MMkPLJhFAkgAF4yK0xBAAAEEVoUAAVwvATw3ya1JSgLvSXJJkguTnJrkiW1Cd8x03m8m+cokTyY5McnvJ/mZBUNKAAngglFxGgIIIIDAqhAggOslgPcneTDJZXMBezTJ7Umu3SZ0l069hack+dMlQ0kACeCS0VGGAAIIIHC0CBDA9RHA6s17Osk5SW6bC9TNSU5PctY2Iath3jdPdZ+a5LeSfFeSVyZ524KhJIAEcMGoOA0BBBBAYFUIEMD1EcATkjyV5Mwk984F7Lok5yc5eZvQ/XySk5K8Psk3JHn/JK9JUtL4ih1CemyS+jM7jquh48OHD+fQoXLBvT1OuuYNe3vBAVd77KazB9zFLRBAAAEEEFieAAFcPwE8I8l9c5G4Psl5SWqYd+vxi0neJcn7zfX4fcHcIpLtknVjkhu2foEAvoMIAVz+B5JKBBBAAIExBAjg+gjgMkPAPzrN/fuEubi9ZFoBXL18b90mhnoAj/C9SQDH/PByFwQQQACB5QkQwPURwEpBLQJ5YFoFPEvFI0nu2GERSK38fVmS5yf5s6ng85N8cZIaUl7kMAdwCyUCuEhsnIMAAgggcDQJEMD1EsDZNjC1ureGgS9OclGS05I8nuSWaZ7gbEVwbflSgvi6JF8/zQH8jiRfN+0NuEg2CSABXCQnzkEAAQQQWCECBHC9BLCiVXsAXj1tBP1QkiuT3DVl7s4kjyW5YC6DH53kVdNK4VpE8u1WAfe+Q/UA9vipRgABBBDYfwIEcP0EcP9T85fvoAdQD+DozLkfAggggECTAAEkgM0IhQASwG6G1COAAAIIDCZAAAlgN3IEkAB2M6QeAQQQQGAwAQJIALuRI4AEsJsh9QgggAACgwkQQALYjRwBJIDdDKlHAAEEEBhMgAASwG7kCCAB7GZIPQIIIIDAYAIEkAB2I0cACWA3Q+oRQAABBAYTIIAEsBs5AkgAuxlSjwACCCAwmAABJIDdyBFAAtjNkHoEEEAAgcEECCAB7EaOABLAbobUI4AAAggMJkAACWA3cgSQAHYzpB4BBBBAYDABAkgAu5EjgASwmyH1CCCAAAKDCRBAAtiNHAEkgN0MqUcAAQQQGEyAABLAbuQIIAHsZkg9AggggMBgAgSQAHYjRwAJYDdD6hFAAAEEBhMggASwGzkCSAC7GVKPAAIIIDCYAAEkgN3IEUAC2M2QegQQQACBwQQIIAHsRo4AEsBuhtQjgAACCAwmQAAJYDdyBJAAdjOkHgEEEEBgMAECSAC7kSOABLCbIfUIIIAAAoMJEEAC2I0cASSA3QypRwABBBAYTIAAEsBu5AggAexmSD0CCCCAwGACBJAAdiNHAAlgN0PqEUAAAQQGEyCABLAbOQJIALsZUo8AAgggMJgAASSA3cgRQALYzZB6BBBAAIHBBAggAexGjgASwG6G1COAAAIIDCZAAAlgN3IEkAB2M6QeAQQQQGAwAQJIALuRI4AEsJsh9QgggAACgwkQQALYjRwBJIDdDKlHAAEEEBhMgAASwG7kCCAB7GZIPQIIIIDAYAIEkAB2I0cACWA3Q+oRQAABBAYTIIAEsBs5AkgAuxlSjwACCCAwmAABJIDdyBFAAtjNkHoEEEAAgcEECCAB7EaOABLAbobUI4AAAggMJkAACWA3cgSQAHYzpB4BBBBAYDABAkgAu5EjgASwmyH1CCCAAAKDCRBAAtiNHAEkgN0MqUcAAQQQGEyAABLAbuQIIAHsZkg9AggggMBgAgSQAHYjRwAJYDdD6hFAAAEEBhMggASwGzkCSAC7GVKPAAIIIDCYAAFcPwG8PMlVSY5P8nCSK5LcvUOuLkjy2m2+9q5J/njBLBJAArhgVJyGAAIIILAqBAjgegnguUluTVISeE+SS5JcmOTUJE9sE7oSwJuTnLzla7++i4ASQAK4i7g4FQEEEEBgFQgQwPUSwPuTPJjksrlwPZrk9iTX7iCAr07y7o0wEkAC2IiPUgQQQACBo0GAAK6PAB6T5Okk5yS5bS5M1cN3epKzdhDAb0vyVJJnJ/npJF+a5Kd2EUYCSAB3ERenIoAAAgisAgECuD4CeMIkcmcmuXcuXNclOX+bYd465aOSvDDJzyUpkfv8JJ+c5IOT/NIOAT02Sf2ZHcclefLw4cM5dKgusbfHSde8YW8vOOBqj9109oC7uAUCCCCAAALLEyCA6yeAZyS5by4S1yc5L8kpC8TknaYh5LuSfN4O59+Y5IatXyOA7yBCABdImlMQQAABBI4qAQK4PgK4zBDwduH71iTPTfISPYDLfW8SwOW4qUIAAQQQGEeAAK6PAFZqahHIA9Mq4FmKHklyxw6LQLYm7VlJfnwaEv7XC8bQHMAtoAjggslxGgIIIIDAUSNAANdLAGfbwFw6DQNfnOSiJKcleTzJLdM8wdmK4BrK/bFpvl+JXA371nBxzSMsEVzkIIAEcJGcOAcBBBBAYIUIEMD1EsCKVu0BePW0EfRDSa5MUnP66rgzyWNJav+/Ol6V5KVJ3ifJ4Wn1b83xm59DeKS4EkACeKSM+DoCCCCAwIoRIIDrJ4CjI0YACeDozLkfAggggECTAAEkgM0IvX37mMNWAb8DozmA3UipRwABBBDYbwIEkAB2M0YA9QB2M6QeAQQQQGAwAQJIALuRI4AEsJsh9QgggAACgwkQQALYjRwBJIDdDKlHAAEEEBhMgAASwG7kCCAB7GZIPQIIIIDAYAIEkAB2I0cACWA3Q+oRQAABBAYTIIAEsBs5AkgAuxlSjwACCCAwmAABJIDdyBFAAtjNkHoEEEAAgcEECCAB7EaOABLAbobUI4AAAggMJkAACWA3cgSQAHYzpB4BBBBAYDABAkgAu5EjgASwmyH1CCCAAAKDCRBAAtiNHAEkgN0MqUcAAQQQGEyAABLAbuQIIAHsZkg9AggggMBgAgSQAHYjRwAJYDdD6hFAAAEEBhMggASwGzkCSAC7GVKPAAIIIDCYAAEkgN3IEUAC2M2QegQQQACBwQQIIAHsRo4AEsBuhtQjgAACCAwmQAAJYDdyBJAAdjOkHgEEEEBgMAECSAC7kSOABLCbIfUIIIAAAoMJEEAC2I0cASSA3QypRwABBBAYTIAAEsBu5AggAexmSD0CCCCAwGACBJAAdiNHAAlgN0PqEUAAAQQGEyCABLAbOQJIALsZUo8AAgggMJgAASSA3cgRQALYzZB6BBBAAIHBBAggAexGjgASwG6G1COAAAIIDCZAAAlgN3IEkAB2M6QeAQQQQGAwAQJIALuRI4AEsJsh9QgggAACgwkQQALYjRwBJIDdDKlHAAEEEBhMgAASwG7kCCAB7GZIPQIIIIDAYAIEkAB2I0cACWA3Q+oRQAABBAYTIIAEsBs5AkgAuxlSjwACCCAwmAABJIDdyBFAAtjNkHoEEEAAgcEECCAB7EaOABLAbobUI4AAAggMJkAACWA3cgSQAHYzpB4BBBBAYDABAkgAu5EjgASwmyH1CCCAAAKDCRBAAtiNHAEkgN0MqUcAAQQQGEyAABLAbuQIIAHsZkg9AggggMBgAgSQAHYjRwAJYDdD6hFAAAEEBhMggASwGzkCSAC7GVKPAAIIIDCYAAFcPwG8PMlVSY5P8nCSK5LcvUCuPjPJdye5I8mnLXD+7BQCSAB3ERenIoAAAgisAgECuF4CeG6SW5OUBN6T5JIkFyY5NckTzxC4503n/98kbyaAvW/Nx246u3cB1QgggAACCOwzAQK4XgJ4f5IHk1w2l5tHk9ye5NodsvTsJD+a5LVJPjbJuxPA3ncdAezxU40AAgggsP8ECOD6COAxSZ5Ock6S2+aic3OS05OctUOcXp7k7yX59CSvI4D9bzoC2GfoCggggAAC+0uAAK6PAJ6Q5KkkZya5dy421yU5P8nJ20Spzv3eSRB/e0EBPDZJ/ZkdxyV58vDhwzl0qKYD7u1x0jVv2NsLDrgaARwA2S0QQAABBFoECOD6CeAZSe6bS8X1Sc5LcsqWpJS4/ew0X/AHp68t0gN4Y5IbtqaOAL6DCAFs/UxSjAACCCAwgAABXB8B3O0QcA0L/1SSt83l7J2m//9nU4/hG7fJoB7AI3xjEsABP7ncAgEEEECgRYAAro8AVhBqEcgDU6/eLBiPTFu7bF0E8i5JXrglPV+epHoGPz/JLyZ56wLpsg3MFkgEcIHUOAUBBBBA4KgSIIDrJYCzbWAunYaBL05yUZLTkjye5JZpnuBOK4IXGQLeGlgCSACP6g8xN0cAAQQQ2D0BArheAlgJqD0Ar542gn4oyZVJ7pqicWeSx5JcsENUCODuv4f+SoUewD2A6BIIIIAAAvtKgACunwDua2C2ubgeQD2AozPnfggggAACTQIEkAA2IxQCSAC7GVKPAAIIIDCYAAEkgN3IEUAC2M2QegQQQACBwQQIIAHsRo4AEsBuhtQjgAACCAwmQAAJYPz7g/EAAB2iSURBVDdyBJAAdjOkHgEEEEBgMAECSAC7kSOABLCbIfUIIIAAAoMJEEAC2I0cASSA3QypRwABBBAYTIAAEsBu5AggAexmSD0CCCCAwGACBJAAdiNHAAlgN0PqEUAAAQQGEyCABLAbOQJIALsZUo8AAgggMJgAASSA3cgRQALYzZB6BBBAAIHBBAggAexGjgASwG6G1COAAAIIDCZAAAlgN3IEkAB2M6QeAQQQQGAwAQJIALuRI4AEsJsh9QgggAACgwkQQALYjRwBJIDdDKlHAAEEEBhMgAASwG7kCCAB7GZIPQIIIIDAYAIEkAB2I0cACWA3Q+oRQAABBAYTIIAEsBs5AkgAuxlSjwACCCAwmAABJIDdyBFAAtjNkHoEEEAAgcEECCAB7EaOABLAbobUI4AAAggMJkAACWA3cgSQAHYzpB4BBBBAYDABAkgAu5EjgASwmyH1CCCAAAKDCRBAAtiNHAEkgN0MqUcAAQQQGEyAABLAbuQIIAHsZkg9AggggMBgAgSQAHYjRwAJYDdD6hFAAAEEBhMggASwGzkCSAC7GVKPAAIIIDCYAAEkgN3IEUAC2M2QegQQQACBwQQIIAHsRo4AEsBuhtQjgAACCAwmQAAJYDdyBJAAdjOkHgEEEEBgMAECSAC7kSOABLCbIfUIIIAAAoMJEEAC2I0cASSA3QypRwABBBAYTIAAEsBu5AggAexmSD0CCCCAwGACBJAAdiNHAAlgN0PqEUAAAQQGEyCABLAbOQJIALsZUo8AAgggMJgAASSA3cgRQALYzZB6BBBAAIHBBAggAexGjgASwG6G1COAAAIIDCZAAAlgN3IEkAB2M6QeAQQQQGAwAQJIALuRI4AEsJsh9QgggAACgwkQQALYjRwBJIDdDKlHAAEEEBhMgAASwG7kCCAB7GZIPQIIIIDAYAIEkAB2I0cACWA3Q+oRQAABBAYTIIDrJ4CXJ7kqyfFJHk5yRZK7d8jVS5Ncl+SFSd45yS8l+Zokt+4ihwSQAO4iLk5FAAEEEFgFAgRwvQTw3EneSgLvSXJJkguTnJrkiW0C96Ik75Hk55O8NcmnTAJ4dpIfXjCgBJAALhgVpyGAAAIIrAoBArheAnh/kgeTXDYXsEeT3J7k2gVDV/VvSPKlC55PAAngglFxGgIIIIDAqhAggOsjgMckeTrJOUlumwvYzUlOT3LWEUL3rCT/MMl/TfJpSX5kh/OPTVJ/ZsdxSZ48fPhwDh0qF9zb46RrykUP1vHYTdWB6kAAAQQQQGB1CRDA9RHAE5I8leTMJPfORa7m+J2f5OQdYvicqa6k7m1Javj4O54hsjcmuWHr1wngO4gQwNX9gefJEEAAAQT+ggABXD8BPCPJfXMBvz7JeUlO2SH075Tk+UneLcnHT0O/1QN45w7n6wE8wk8PAujHKwIIIIDAqhMggOsjgN0h4FlWvy3JiUlevGB4zQHcAooALpgcpyGAAAIIHDUCBHB9BLBCVItAHpiGcWeheiTJHbtYBPLtSV6QpFYIL3IQQAK4SE6cgwACCCCwQgQI4HoJ4GwbmEunYeCLk1yU5LQkjye5ZZrvN1sRXP/7k0nemKR6ED85ySunVcTVE7jIQQAJ4CI5cQ4CCCCAwAoRIIDrJYAVrVrEcfW0EfRDSa5McteUuZrX91iSC6b//vIkJY3PTfJH036AtWr4e3eRUQJIAHcRF6cigAACCKwCAQK4fgI4OlcEkACOzpz7IYAAAgg0CRBAAtiMUAggAexmSD0CCCCAwGACBJAAdiNHAAlgN0PqEUAAAQQGEyCABLAbOQJIALsZUo8AAgggMJgAASSA3cgRQALYzZB6BBBAAIHBBAggAexGjgASwG6G1COAAAIIDCZAAAlgN3IEkAB2M6QeAQQQQGAwAQJIALuRI4AEsJsh9QgggAACgwkQQALYjRwBJIDdDKlHAAEEEBhMgAASwG7kCCAB7GZIPQIIIIDAYAIEkAB2I0cACWA3Q+oRQAABBAYTIIAEsBs5AkgAuxlSjwACCCAwmAABJIDdyBFAAtjNkHoEEEAAgcEECCAB7EaOABLAbobUI4AAAggMJkAACWA3cgSQAHYzpB4BBBBAYDABAkgAu5EjgASwmyH1CCCAAAKDCRBAAtiNHAEkgN0MqUcAAQQQGEyAABLAbuQIIAHsZkg9AggggMBgAgSQAHYjRwAJYDdD6hFAAAEEBhMggASwGzkCSAC7GVKPAAIIIDCYAAEkgN3IEUAC2M2QegQQQACBwQQIIAHsRo4AEsBuhtQjgAACCAwmQAAJYDdyBJAAdjOkHgEEEEBgMAECSAC7kSOABLCbIfUIIIAAAoMJEEAC2I0cASSA3QypRwABBBAYTIAAEsBu5AggAexmSD0CCCCAwGACBJAAdiNHAAlgN0PqEUAAAQQGEyCABLAbOQJIALsZUo8AAgggMJgAASSA3cgRQALYzZB6BBBAAIHBBAggAexGjgASwG6G1COAAAIIDCZAAAlgN3IEkAB2M6QeAQQQQGAwAQJIALuRI4AEsJsh9QgggAACgwkQQALYjRwBJIDdDKlHAAEEEBhMgAASwG7kCCAB7GZIPQIIIIDAYAIEkAB2I0cACWA3Q+oRQAABBAYTIIAEsBs5AkgAuxlSjwACCCAwmAABJIDdyBFAAtjNkHoEEEAAgcEECCAB7EaOABLAbobUI4AAAggMJkAACWA3cgSQAHYzpB4BBBBAYDABAkgAu5EjgASwmyH1CCCAAAKDCRDA9RPAy5NcleT4JA8nuSLJ3Tvk6qIk/zLJB05ffyDJdUl+fBc5JIAEcBdxcSoCCCCAwCoQIIDrJYDnJrk1SUngPUkuSXJhklOTPLFN4F4/nXdvkj9OcnWSlyY5LclTCwaUABLABaPiNAQQQACBVSFAANdLAO9P8mCSy+YC9miS25Ncu0Donp3kd5N8bpJbFji/TiGABHDBqDgNAQQQQGBVCBDA9RHAY5I8neScJLfNBezmJKcnOWuB0B2X5Dena3z/Ducfm6T+zI6qefLw4cM5dKhccG+Pk655w95ecMDVHrvp7AF3cQsEEEAAAQSWJ0AA10cAT5iGbc9MUkO6s6Pm9J2f5OQFYvKaJC+e5gTWkPB2x41Jbtj6BQL4DiIEcIGkOQUBBBBA4KgSIIDrJ4BnJLlvLlXXJzkvySlHSFrN/7smyYuS/OwznKsH8AggCeBR/Znm5ggggAACCxAggOsjgJ0h4C9K8iVJPiHJTy6Qm/lTzAHcAowA7jJBTkcAAQQQGE6AAK6PAFZ4ahFIbeVSq4BnxyNJ7niGRSC1ZUzJXw39/tgSCSSABHCJ2ChBAAEEEDiaBAjgegngbBuYS6dh4IuT1F5/ta3L49PK3treZbYiuIZ9vyzJy6btYGZZ/IMk9WeRgwASwEVy4hwEEEAAgRUiQADXSwArWtX7V2JXG0E/lOTKJHdNmbszyWNJLpj+u/7/87bJ48uT1GKPRQ4CSAAXyYlzEEAAAQRWiAABXD8BHB0vAkgAR2fO/RBAAAEEmgQIIAFsRshG0FsBWgTSjZR6BBBAAIH9JkAACWA3Y3oA9QB2M6QeAQQQQGAwAQJIALuRI4AEsJsh9QgggAACgwkQQALYjRwBJIDdDKlHAAEEEBhMgAASwG7kCCAB7GZIPQIIIIDAYAIEkAB2I0cACWA3Q+oRQAABBAYTIIAEsBs5AkgAuxlSjwACCCAwmAABJIDdyBFAAtjNkHoEEEAAgcEECCAB7EaOABLAbobUI4AAAggMJkAACWA3cgSQAHYzpB4BBBBAYDABAkgAu5EjgASwmyH1CCCAAAKDCRBAAtiNHAEkgN0MqUcAAQQQGEyAABLAbuQIIAHsZkg9AggggMBgAgSQAHYjRwAJYDdD6hFAAAEEBhMggASwGzkCSAC7GVKPAAIIIDCYAAEkgN3IEUAC2M2QegQQQACBwQQIIAHsRo4AEsBuhtQjgAACCAwmQAAJYDdyBJAAdjOkHgEEEEBgMAECSAC7kSOABLCbIfUIIIAAAoMJEEAC2I0cASSA3QypRwABBBAYTIAAEsBu5AggAexmSD0CCCCAwGACBJAAdiNHAAlgN0PqEUAAAQQGEyCABLAbOQJIALsZUo8AAgggMJgAASSA3cgRQALYzZB6BBBAAIHBBAggAexGjgASwG6G1COAAAIIDCZAAAlgN3IEkAB2M6QeAQQQQGAwAQJIALuRI4AEsJsh9QgggAACgwkQQALYjRwBJIDdDKlHAAEEEBhMgAASwG7kCCAB7GZIPQIIIIDAYAIEkAB2I0cACWA3Q+oRQAABBAYTIIAEsBs5AkgAuxlSjwACCCAwmAABJIDdyBFAAtjNkHoEEEAAgcEECCAB7EaOABLAbobUI4AAAggMJkAACWA3cgSQAHYzpB4BBBBAYDABAkgAu5EjgASwmyH1CCCAAAKDCRBAAtiNHAEkgN0MqUcAAQQQGEyAABLAbuQIIAHsZkg9AggggMBgAgSQAHYjRwAJYDdD6hFAAAEEBhMggASwGzkCSAC7GVKPAAIIIDCYAAFcPwG8PMlVSY5P8nCSK5LcvUOuTkvyiiQfluR5Sa5M8updZpAAEsBdRsbpCCCAAAJHmwABXC8BPDfJrUlKAu9JckmSC5OcmuSJbcL24Un+WZIHkrwqySsJYP9b8rGbzu5fxBUQQAABBBDYRwIEcL0E8P4kDya5bC4zjya5Pcm1R8jRY5P86QFsfsMRwCZA5QgggAAC+06AAK6PAB6T5Okk5yS5bS45Nyc5PclZeySAxyapP7PjuCRPHj58OIcO1Wjw3h4nXfOGvb3ggKsRwAGQ3QIBBBBAoEWAAK6PAJ6Q5KkkZya5dy4V1yU5P8nJeySANya5Yeu1COA7iBDA1s8kxQgggAACAwgQwPUTwDOS3DeXneuTnJfklD0SQD2ARwJpDuCAH11ugQACCCDQIUAA10cARw0Bb82bVcBbiOgB7PxIWu9aUxrWu329HQIHiQABXB8BrNzVIpBa0VurgGfHI0nusAhk3LclARzH+qDdiQAetBbzvAisLwECuF4CONsG5tJpGPjiJBclqf3+Hk9yyzRPcLYiuHoNa4uYOn4gyeunP3+Q5JcXjL0eQD2AC0bFaQRQBhBAYFUIEMD1EsDKVfX+XT1tBP3QtLnzXVPg7kxS271cMP33SUl+ZZsw/miSFy0YUgJIABeMitMIoAwggMCqECCA6yeAo7NFAAng6Mwd2PsRwAPbdB4cgbUjQAAJYDfUBJAAdjO0MfUEcGOa2osisPIECCAB7IaUABLAboY2pp4AbkxTe1EEVp4AASSA3ZASQALYzdDG1BPAjWlqL4rAyhMggASwG1ICSAC7GdqYegK4MU3tRRFYeQIEkAB2Q0oACWA3QxtTTwA3pqm9KAIrT4AAEsBuSAkgAexmaGPqCeDGNLUXRWDlCRBAAtgNKQEkgN0MbUw9AdyYpvaiCKw8AQJIALshJYAEsJuhpeoPokwt9aJHuchHGx7lBnB7BPaJAAEkgN1oEUAC2M3QUvUEcClsuy4igLtGpgCBA0GAABLAblAJIAHsZmipegK4FLaNKCKtG9HMXrJJgAASwGaEQgAJYDdDS9UTwKWwbUQRAdyIZvaSTQIEkAA2I0QAtwL0j083UovVE8DFOG3iWb4HN7HVvfNuCRBAArjbzGw9Xw+gHsBuhpaqJ4BLYduIIgK4Ec3sJZsECCABbEZID6AewG6ElqsngMtx24QqArgJrewduwQIIAHsZkgPoB7AboaWqieAS2HbiCICuBHN7CWbBAggAWxGSA+gHsBuhJarJ4DLcduEKgK4Ca3sHbsECCAB7GZID6AewG6GlqongEth24giArgRzewlmwQIIAFsRkgPoB7AboSWqyeAy3HbhCoCuAmt7B27BAggAexmSA+gHsBuhpaqJ4BLYduIIgK4Ec3sJZsECCABbEZID6AewG6ElqsngMtx24QqArgJrewduwQIIAHsZkgPoB7AboaWqieAS2HbiCICuBHN7CWbBAggAWxGSA+gHsBuhJarJ4DLcduEKgK4Ca3sHbsECCAB7GZID6AewG6GlqongEth24giArgRzewlmwQIIAFsRkgPoB7AboSWqyeAy3HbhCoCuAmt7B27BAggAexmSA+gHsBuhpaqJ4BLYduIIgK4Ec3sJZsECCABbEZID6AewG6ElqsngMtx24QqArgJrewduwQIIAHsZkgPoB7AboaWqieAS2FTtKIESOuKNswaPxYBJIDdeBNAAtjN0FL1BHApbIpWlAABXNGGWePHIoAEsBtvAkgAuxlaqp4ALoVN0YoSIIAr2jBr/FgEkAB2400ACWA3Q0vVE8ClsClaUQIEcEUbZo0fiwASwG68CSAB7GZoqXoCuBQ2RStKgACuaMOs8WMRQALYjTcBJIDdDC1VTwCXwqZoRQkQwBVtmDV+LAJIALvxJoAEsJuhpeoJ4FLYFK0oAQK4og2zxo9FAAlgN94EkAB2M7RUPQFcCpuiFSVAAFe0Ydb4sQggAezGmwASwG6GlqongEthU7SiBAjgijbMGj8WASSA3XgTQALYzdBS9QRwKWyKVpQAAVzRhlnjxyKABLAbbwK4BgJIprrfBuoR6BEggD1+qndPgAASwN2n5i9XEEAC2M2QegQ2ngAB3PgIDAdAAAlgN3QEkAB2M6QeAQQOIAHSegAbbe6RCeD6CeDlSa5KcnySh5NckeTuZ4jpP03yZUlekOSNSa5PctsuYk0ACeAu4uJUBBBYFwIE8GC3JAFcLwE8N8mtSUoC70lySZILk5ya5IltovrRkxx+6SR9n57kFUk+Jsn9C0abABLABaPiNAQQWCcCBPBgtyYBXC8BLGl7MMllc7F8NMntSa7dJqrfm6QE7iVzX/uhJL+b5LMWjDYBJIALRsVpCCCwTgQI4MFuTQK4PgJ4TJKnk5yzZQj35iSnJzlrm6hWr+Crpj+zL185DRs/b4doH5uk/syO45I8+aY3vSmHDpUL7u3xgTf88N5ecMDVHnr5iwfcZW9vcRA57y0BV0MAgU0gcBB/Pu9Xu5QAnnjiiXX55yR5y37dZ5Wv+6xVfrhdPNsJSZ5KcmaSe+fqrktyfpKTt7nWW5NckOS75r72siSv3SJ586U3JrlhF8/lVAQQQAABBBBYXQLPnfxhdZ9wn55s3QTwjCT3zbGqRR3nJTllBwEsOfzuua/98yTfnuRdduC9tQewTnvPJG/eh/Z5e+9ikgrn7+/D9V3yLwjgPCYJOOM8hsCYu8jzenCudvzVJH8+5nVW6y7rIoCjhoBHtt7b5xducvf0INg4jwGNM85jCIy5izzjPIbAPt5lXQSwENUikAemVcAzZI8kueMZFoGU/X/yHN8fTPJ7u1gEso9N8/YFKgRwPwn/xbVx3n/GOI9hjDPO4wiMuZOfz/vIeZ0EcLYNzKXTMPDFSS5KclqSx5PcMo3zz1YE13DxXdPefyWJn5rky3e5Dcw+Ng0x2U+4c9f2A2YMaJxxHkNgzF3kGecxBPbxLuskgIWp9gC8etoI+qEktaq3JK+OO5M8Ni38mCH9jEn6nj+3EfR/2Ufeu7l0zTcsWf13Sf5kN4XO3RUBnHeFa+mTcV4a3a4Kcd4VrqVPxnlpdLsqxHlXuHZ38roJ4O7e3tkIIIAAAggggMAGEiCAG9joXhkBBBBAAAEENpsAAdzs9vf2CCCAAAIIILCBBAjgBja6V0YAAQQQQACBzSZAADe7/b09AggggAACCGwgAQK4mo1eq5mvmlYzPzx9PvHdq/moB/KpanX1S6dPiPmj6eMDvzjJLxzItzk4D13cvzJJfUb3FQfnsQ/Mk75vklcmeUmSd03yi0k+e9of9cC8xIo/6F9LUh8JWp8a9T5Jfi3J66bdJP5sxZ99lR/v46Z/8z5s+nfv05PcPvfA5Sr1May1vdt7TPv+fk6S+vfRsSQBArgkuH0sm+1nWBJ4T5JLklyY5NQkT+zjfTfp0j+U5HuS/ESS+oH+FUk+aGL8h5sEYuC7fniS/zh96Pr/JoB7Tr7+UfypJMX2G5P8ZpIXTFtfvXHP77a5F6yPF63txepjREs+/v70+fFfMv1is7lkem9ev7ScmeTBJP85yVYBrF/Qi/0F0y82xbuk8WQflbo8eAK4PLv9qqxPNKlvgsvmbvDo9NvQbBPr/br3pl73vad/MM+a2zdyU1nsx3u/25Tp+qWmfnD/NAHcc8w3Tf+AfuyeX9kF5wl8f5LfmHpWZ39fwvL09LnzaPUJ1OfyzgtgeUp9Xu+rpx7uukPtD1jtUGL4zf1bbuYVCOBqtfsyn2m8Wm9wMJ/mhUl+aeoFrA3EHXtL4DuTvHnqOakN2Qng3vKtq9XHXv5wkucmqV9knkryDUm+de9vtdFXvCZJfdrUJ049UR+c5L9Pv9B890aT2buX3yqAsw9q+NCpl3t2p/oEr/ro1uqNdSxBgAAuAW0fS06YfnBXV/i9c/e5bgp5dXc79pZAfQ/UD5IaQtN7srds62qfOfX61VDZH0+fyEMA955zsa3ja5N8X5KPmHpMagpJfQymY28I1M+LmsdaPU9vS/LsaWiyPrHJsTcEtgpgfWxrTYeqOa7VEzg7viXJ85K8eG9uu3lXIYCr1eYzAazA3zf3aDX34bxp0cJqPfHBf5rXJDl7+gzoJw/+66zUG5yY5Cen3pKfmZ5MD+D+NNFbJ9b1s2N2fF2Smnv50ftzy428av1C89XTgoWaA3j6JNpfkKR6uh19AjsJYP37WItuZkf1btfPmE/q33Izr0AAV6vdDQGPbY+vT/Jp02TiXxl76424W7G9beopmb1w9ZjUD/haMVnzeKoXxdEn8HiSH5kWjM2uVvOIa85l9Zw49obAm5LUfMv6xXF2FON/4Rf0vQE8/XyYnwNoCHjP0P7lCxHAfQLbuGwtAnkgSU2Ynx01v6eGKS0CaYCdK63cl/zVD5kXTfP/9ubKrjJP4LhpiGb+716b5OenydzmW+5dXr5r6g2Zn8bwqiQfmWS+V3Dv7riZV/qdSaprpfXsqJ/L/yrJB2wmkj1/650WgVSev2q6W3WW1Ep3i0Aa+AlgA94+lc62gamJxjUMXPseXZTktCT1W76jT6Amx78syadu2fvvcJLaF9CxfwQMAe8P2xrqrXnDtVdabbdTcwBriKx+frx+f265kVetPf8+Ydqeq4aAPyRJzUX7jklGNhLKHrx07RRQi/HqqO2Maki9tjSqxWO1/VmJ3ky0a8FezYuvX95tA9OATwAb8PaxtHr/rp42xKxektp36q59vN+mXbp+w9zuqN/i6we8Y/8IEMD9Y/spSWoxwvsnqSkNtSDEKuC95V292l82jR78rWlRQq3+fUWSmofpWI5AyVwJ39aj5lXW3n+zjaBrUdP8RtBGEZbj/fYqAtiApxQBBBBAAAEEEDiIBAjgQWw1z4wAAggggAACCDQIEMAGPKUIIIAAAggggMBBJEAAD2KreWYEEEAAAQQQQKBBgAA24ClFAAEEEEAAAQQOIgECeBBbzTMjgAACCCCAAAINAgSwAU8pAggggAACCCBwEAkQwIPYap4ZAQQQQAABBBBoECCADXhKEUAAAQQQQACBg0iAAB7EVvPMCCCAAAIIIIBAgwABbMBTigACCCCAAAIIHEQCBPAgtppnRgABBBBAAAEEGgQIYAOeUgQQQAABBBBA4CASIIAHsdU8MwIIIIAAAggg0CBAABvwlCKAAAIIIIAAAgeRAAE8iK3mmRFAAAEEEEAAgQYBAtiApxQBBBBAAAEEEDiIBAjgQWw1z4wAAggggAACCDQIEMAGPKUIIIAAAggggMBBJEAAD2KreWYEEEAAAQQQQKBBgAA24ClFAAEEEEAAAQQOIgECeBBbzTMjgAACCCCAAAINAgSwAU8pAggggAACCCBwEAkQwIPYap4ZAQQQQAABBBBoECCADXhKEUAAAQQQQACBg0iAAB7EVvPMCCCAAAIIIIBAgwABbMBTigACCCCAAAIIHEQCBPAgtppnRgABBBBAAAEEGgQIYAOeUgQQQAABBBBA4CASIIAHsdU8MwIIIIAAAggg0CBAABvwlCKAAAIIIIAAAgeRAAE8iK3mmRFAAAEEEEAAgQaB/w87SJ8c7C2Q5AAAAABJRU5ErkJggg==\" width=\"640\">"
      ],
      "text/plain": [
       "<IPython.core.display.HTML object>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    },
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "#tutors = 100\n",
      "#students = 100\n",
      "sparsity = 0.7032\n",
      "avg. #students per tutor = 3.06\n"
     ]
    }
   ],
   "source": [
    "import MaxMin_library as mm\n",
    "import numpy as np\n",
    "import warnings\n",
    "import pandas as pd\n",
    "import time\n",
    "%matplotlib notebook\n",
    "#import pdb; pdb.set_trace()\n",
    "\n",
    "np.random.seed(124)\n",
    "\n",
    "refine_flag = True\n",
    "\n",
    "S = 100 # n. students\n",
    "T = 100 # n. tutors\n",
    "n_subjects = 96\n",
    "n_different_values = 10\n",
    "sparsity = 0.7\n",
    "plot_affinity = True\n",
    "n_students_per_tutor = np.random.randint(low=S/T+1, high=2*(S/T+1)+1, size=T)\n",
    "\n",
    "mm.check_input_consistency(S, T, n_students_per_tutor, n_subjects)\n",
    "\n",
    "Affinity, n_students_per_tutor, T, S = mm.generateAffinity(S, T, n_students_per_tutor, \n",
    "                                                           n_subjects, n_different_values, sparsity, plot_affinity)\n",
    "\n",
    "print('#tutors = ' + str(T))\n",
    "print('#students = ' + str(S))\n",
    "print('sparsity = ' + str(len(np.where(Affinity==0)[0])/float(T*S)))\n",
    "print(\"avg. #students per tutor = \" + str(np.mean(n_students_per_tutor)))\n",
    "\n"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 11,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "Elapsed time = 0.196000099182 sec\n"
     ]
    }
   ],
   "source": [
    "\n",
    "start_time = time.time()\n",
    "final_assignment = mm.MaxMinStudentTutorAssignment(Affinity, n_students_per_tutor, refine_flag)\n",
    "end_time = time.time()\n",
    "\n",
    "print('Elapsed time = ' + str(end_time-start_time) + ' sec')\n"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 3,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "Iterative Max-Min student-tutor assignment\n",
      "student -> list of (tutor, affinity) assigned to her/him\n",
      "   0    -> [(204, 3.0), (74, 3.0), (388, 3.0)]\n",
      "   1    -> [(176, 5.0), (391, 4.0), (364, 3.0)]\n",
      "   2    -> [(89, 3.0), (279, 3.0), (324, 2.0)]\n",
      "   3    -> [(345, 6.0), (57, 5.0), (360, 4.0)]\n",
      "   4    -> [(379, 4.0), (424, 3.0), (37, 2.0)]\n",
      "   5    -> [(213, 4.0), (118, 3.0), (382, 2.0)]\n",
      "   6    -> [(148, 4.0), (211, 4.0), (393, 2.0)]\n",
      "   7    -> [(19, 5.0), (293, 4.0), (37, 2.0)]\n",
      "   8    -> [(29, 4.0), (185, 4.0), (436, 3.0)]\n",
      "   9    -> [(426, 4.0), (281, 4.0), (151, 3.0)]\n",
      "   10    -> [(264, 5.0), (104, 4.0), (484, 3.0)]\n",
      "   11    -> [(72, 6.0), (351, 4.0), (276, 4.0)]\n",
      "   12    -> [(74, 5.0), (121, 5.0), (356, 3.0)]\n",
      "   13    -> [(377, 3.0), (332, 2.0), (178, 2.0)]\n",
      "   14    -> [(193, 5.0), (293, 4.0), (28, 3.0)]\n",
      "   15    -> [(225, 5.0), (346, 4.0), (177, 3.0)]\n",
      "   16    -> [(107, 4.0), (12, 4.0), (153, 3.0)]\n",
      "   17    -> [(269, 3.0), (54, 2.0), (439, 2.0)]\n",
      "   18    -> [(46, 5.0), (404, 5.0), (227, 3.0)]\n",
      "   19    -> [(254, 4.0), (79, 3.0), (177, 2.0)]\n",
      "   20    -> [(450, 3.0), (281, 3.0), (360, 2.0)]\n",
      "   21    -> [(13, 4.0), (205, 4.0), (416, 3.0)]\n",
      "   22    -> [(366, 5.0), (419, 4.0), (361, 3.0)]\n",
      "   23    -> [(368, 5.0), (133, 5.0), (410, 4.0)]\n",
      "   24    -> [(405, 4.0), (482, 3.0), (409, 2.0)]\n",
      "   25    -> [(39, 4.0), (214, 3.0), (304, 2.0)]\n",
      "   26    -> [(272, 4.0), (216, 3.0), (276, 2.0)]\n",
      "   27    -> [(231, 4.0), (183, 3.0), (356, 2.0)]\n",
      "   28    -> [(241, 4.0), (462, 4.0), (360, 3.0)]\n",
      "   29    -> [(478, 5.0), (399, 4.0), (412, 3.0)]\n",
      "   30    -> [(466, 5.0), (140, 4.0), (141, 3.0)]\n",
      "   31    -> [(441, 6.0), (386, 5.0), (317, 4.0)]\n",
      "   32    -> [(421, 3.0), (276, 2.0), (151, 2.0)]\n",
      "   33    -> [(368, 6.0), (15, 5.0), (273, 4.0)]\n",
      "   34    -> [(198, 5.0), (429, 5.0), (414, 3.0)]\n",
      "   35    -> [(90, 5.0), (430, 4.0), (105, 3.0)]\n",
      "   36    -> [(244, 4.0), (14, 4.0), (378, 2.0)]\n",
      "   37    -> [(100, 3.0), (472, 3.0), (361, 2.0)]\n",
      "   38    -> [(40, 5.0), (200, 4.0), (440, 3.0)]\n",
      "   39    -> [(100, 4.0), (214, 3.0), (276, 2.0)]\n",
      "   40    -> [(374, 4.0), (82, 3.0), (378, 2.0)]\n",
      "   41    -> [(50, 4.0), (157, 3.0), (404, 3.0)]\n",
      "   42    -> [(396, 5.0), (257, 4.0), (373, 3.0)]\n",
      "   43    -> [(185, 5.0), (240, 5.0), (98, 3.0)]\n",
      "   44    -> [(295, 7.0), (203, 5.0), (393, 3.0)]\n",
      "   45    -> [(124, 3.0), (495, 3.0), (37, 2.0)]\n",
      "   46    -> [(0, 6.0), (351, 4.0), (304, 3.0)]\n",
      "   47    -> [(198, 5.0), (160, 4.0), (468, 3.0)]\n",
      "   48    -> [(473, 6.0), (138, 5.0), (376, 3.0)]\n",
      "   49    -> [(375, 5.0), (1, 4.0), (440, 3.0)]\n",
      "   50    -> [(333, 5.0), (48, 4.0), (291, 3.0)]\n",
      "   51    -> [(117, 4.0), (423, 4.0), (411, 3.0)]\n",
      "   52    -> [(168, 6.0), (192, 4.0), (171, 2.0)]\n",
      "   53    -> [(102, 4.0), (372, 4.0), (105, 3.0)]\n",
      "   54    -> [(232, 8.0), (471, 5.0), (417, 4.0)]\n",
      "   55    -> [(418, 6.0), (92, 4.0), (417, 3.0)]\n",
      "   56    -> [(49, 3.0), (369, 3.0), (317, 2.0)]\n",
      "   57    -> [(443, 8.0), (409, 5.0), (393, 3.0)]\n",
      "   58    -> [(62, 3.0), (499, 3.0), (373, 2.0)]\n",
      "   59    -> [(108, 4.0), (49, 3.0), (247, 2.0)]\n",
      "   60    -> [(467, 5.0), (285, 4.0), (440, 3.0)]\n",
      "   61    -> [(298, 4.0), (483, 3.0), (247, 2.0)]\n",
      "   62    -> [(119, 4.0), (482, 3.0), (436, 2.0)]\n",
      "   63    -> [(3, 4.0), (283, 3.0), (313, 2.0)]\n",
      "   64    -> [(232, 5.0), (498, 4.0), (317, 3.0)]\n",
      "   65    -> [(391, 4.0), (226, 4.0), (378, 2.0)]\n",
      "   66    -> [(10, 5.0), (351, 4.0), (276, 4.0)]\n",
      "   67    -> [(314, 5.0), (7, 4.0), (360, 3.0)]\n",
      "   68    -> [(173, 2.0), (82, 2.0), (111, 2.0)]\n",
      "   69    -> [(272, 3.0), (308, 3.0), (304, 2.0)]\n",
      "   70    -> [(326, 4.0), (482, 3.0), (390, 2.0)]\n",
      "   71    -> [(130, 4.0), (200, 4.0), (361, 3.0)]\n",
      "   72    -> [(13, 5.0), (327, 4.0), (390, 3.0)]\n",
      "   73    -> [(1, 6.0), (490, 5.0), (388, 4.0)]\n",
      "   74    -> [(219, 5.0), (164, 5.0), (337, 3.0)]\n",
      "   75    -> [(496, 4.0), (432, 4.0), (378, 2.0)]\n",
      "   76    -> [(32, 4.0), (243, 3.0), (348, 2.0)]\n",
      "   77    -> [(309, 6.0), (307, 5.0), (227, 4.0)]\n",
      "   78    -> [(381, 3.0), (113, 2.0), (31, 2.0)]\n",
      "   79    -> [(454, 3.0), (154, 2.0), (325, 2.0)]\n",
      "   80    -> [(455, 5.0), (323, 5.0), (190, 3.0)]\n",
      "   81    -> [(265, 6.0), (252, 4.0), (149, 3.0)]\n",
      "   82    -> [(130, 6.0), (23, 5.0), (453, 4.0)]\n",
      "   83    -> [(209, 4.0), (387, 4.0), (412, 3.0)]\n",
      "   84    -> [(101, 5.0), (157, 4.0), (382, 3.0)]\n",
      "   85    -> [(448, 5.0), (43, 4.0), (30, 3.0)]\n",
      "   86    -> [(467, 4.0), (12, 3.0), (98, 2.0)]\n",
      "   87    -> [(56, 5.0), (290, 4.0), (249, 3.0)]\n",
      "   88    -> [(241, 3.0), (422, 3.0), (411, 2.0)]\n",
      "   89    -> [(303, 5.0), (130, 4.0), (227, 2.0)]\n",
      "   90    -> [(293, 5.0), (67, 4.0), (436, 3.0)]\n",
      "   91    -> [(27, 5.0), (136, 4.0), (171, 2.0)]\n",
      "   92    -> [(116, 3.0), (487, 3.0), (416, 2.0)]\n",
      "   93    -> [(428, 4.0), (498, 3.0), (317, 2.0)]\n",
      "   94    -> [(334, 4.0), (477, 4.0), (263, 2.0)]\n",
      "   95    -> [(375, 5.0), (319, 4.0), (337, 3.0)]\n",
      "   96    -> [(5, 4.0), (117, 3.0), (313, 2.0)]\n",
      "   97    -> [(463, 5.0), (312, 5.0), (249, 3.0)]\n",
      "   98    -> [(240, 4.0), (99, 4.0), (402, 3.0)]\n",
      "   99    -> [(334, 5.0), (430, 4.0), (464, 3.0)]\n",
      "   100    -> [(420, 6.0), (160, 5.0), (273, 4.0)]\n",
      "   101    -> [(496, 5.0), (222, 4.0), (464, 3.0)]\n",
      "   102    -> [(343, 3.0), (75, 3.0), (291, 2.0)]\n",
      "   103    -> [(211, 6.0), (358, 5.0), (337, 3.0)]\n",
      "   104    -> [(208, 4.0), (320, 3.0), (190, 2.0)]\n",
      "   105    -> [(266, 3.0), (135, 3.0), (177, 2.0)]\n",
      "   106    -> [(168, 6.0), (410, 5.0), (313, 3.0)]\n",
      "   107    -> [(24, 4.0), (160, 3.0), (325, 2.0)]\n",
      "   108    -> [(338, 5.0), (374, 4.0), (382, 3.0)]\n",
      "   109    -> [(193, 5.0), (479, 4.0), (28, 3.0)]\n",
      "   110    -> [(53, 6.0), (92, 4.0), (227, 4.0)]\n",
      "   111    -> [(285, 7.0), (410, 5.0), (393, 3.0)]\n",
      "   112    -> [(100, 5.0), (362, 4.0), (417, 3.0)]\n",
      "   113    -> [(55, 6.0), (302, 5.0), (149, 3.0)]\n",
      "   114    -> [(144, 4.0), (133, 3.0), (388, 3.0)]\n",
      "   115    -> [(298, 4.0), (380, 3.0), (414, 3.0)]\n",
      "   116    -> [(354, 5.0), (226, 4.0), (273, 3.0)]\n",
      "   117    -> [(46, 4.0), (274, 4.0), (64, 3.0)]\n",
      "   118    -> [(188, 6.0), (79, 5.0), (361, 4.0)]\n",
      "   119    -> [(422, 6.0), (136, 5.0), (186, 4.0)]\n",
      "   120    -> [(225, 4.0), (372, 4.0), (2, 3.0)]\n",
      "   121    -> [(305, 4.0), (166, 3.0), (390, 2.0)]\n",
      "   122    -> [(303, 5.0), (118, 4.0), (154, 3.0)]\n",
      "   123    -> [(288, 6.0), (136, 5.0), (105, 3.0)]\n",
      "   124    -> [(279, 6.0), (440, 4.0), (105, 3.0)]\n",
      "   125    -> [(138, 4.0), (470, 4.0), (304, 2.0)]\n",
      "   126    -> [(106, 5.0), (33, 4.0), (297, 3.0)]\n",
      "   127    -> [(422, 5.0), (147, 4.0), (58, 2.0)]\n",
      "   128    -> [(174, 6.0), (320, 5.0), (153, 3.0)]\n",
      "   129    -> [(19, 4.0), (444, 3.0), (297, 2.0)]\n",
      "   130    -> [(274, 6.0), (141, 4.0), (313, 3.0)]\n",
      "   131    -> [(89, 5.0), (267, 4.0), (417, 3.0)]\n",
      "   132    -> [(13, 3.0), (194, 3.0), (105, 2.0)]\n",
      "   133    -> [(181, 6.0), (328, 5.0), (409, 4.0)]\n",
      "   134    -> [(422, 5.0), (344, 5.0), (307, 3.0)]\n",
      "   135    -> [(86, 6.0), (262, 5.0), (61, 3.0)]\n",
      "   136    -> [(377, 5.0), (218, 4.0), (173, 3.0)]\n",
      "   137    -> [(338, 3.0), (222, 2.0), (61, 2.0)]\n",
      "   138    -> [(19, 4.0), (339, 3.0), (464, 2.0)]\n",
      "   139    -> [(207, 4.0), (328, 4.0), (378, 2.0)]\n",
      "   140    -> [(309, 4.0), (30, 3.0), (227, 3.0)]\n",
      "   141    -> [(108, 5.0), (110, 4.0), (154, 3.0)]\n",
      "   142    -> [(194, 5.0), (94, 4.0), (151, 3.0)]\n",
      "   143    -> [(40, 5.0), (132, 3.0), (378, 2.0)]\n",
      "   144    -> [(241, 5.0), (395, 4.0), (373, 3.0)]\n",
      "   145    -> [(22, 3.0), (183, 2.0), (296, 2.0)]\n",
      "   146    -> [(392, 5.0), (33, 4.0), (376, 3.0)]\n",
      "   147    -> [(103, 3.0), (424, 3.0), (410, 2.0)]\n",
      "   148    -> [(134, 5.0), (486, 4.0), (356, 3.0)]\n",
      "   149    -> [(101, 4.0), (322, 3.0), (177, 2.0)]\n",
      "   150    -> [(232, 7.0), (406, 5.0), (409, 4.0)]\n",
      "   151    -> [(56, 4.0), (253, 4.0), (276, 3.0)]\n",
      "   152    -> [(246, 4.0), (239, 4.0), (410, 3.0)]\n",
      "   153    -> [(100, 4.0), (7, 3.0), (61, 2.0)]\n",
      "   154    -> [(359, 5.0), (255, 4.0), (31, 3.0)]\n",
      "   155    -> [(463, 6.0), (136, 5.0), (171, 2.0)]\n",
      "   156    -> [(253, 4.0), (166, 4.0), (178, 2.0)]\n",
      "   157    -> [(244, 4.0), (118, 3.0), (475, 3.0)]\n",
      "   158    -> [(398, 5.0), (64, 4.0), (98, 3.0)]\n",
      "   159    -> [(234, 3.0), (190, 2.0), (416, 2.0)]\n",
      "   160    -> [(207, 3.0), (223, 3.0), (37, 2.0)]\n",
      "   161    -> [(347, 6.0), (11, 4.0), (2, 4.0)]\n",
      "   162    -> [(478, 6.0), (262, 5.0), (350, 3.0)]\n",
      "   163    -> [(207, 5.0), (147, 4.0), (364, 3.0)]\n",
      "   164    -> [(272, 6.0), (226, 5.0), (58, 3.0)]\n",
      "   165    -> [(196, 7.0), (486, 5.0), (177, 4.0)]\n",
      "   166    -> [(83, 4.0), (336, 3.0), (271, 3.0)]\n",
      "   167    -> [(0, 4.0), (351, 3.0), (390, 2.0)]\n",
      "   168    -> [(68, 3.0), (492, 2.0), (51, 2.0)]\n",
      "   169    -> [(202, 5.0), (181, 4.0), (376, 3.0)]\n",
      "   170    -> [(35, 5.0), (70, 4.0), (459, 3.0)]\n",
      "   171    -> [(124, 5.0), (444, 4.0), (245, 3.0)]\n",
      "   172    -> [(41, 4.0), (142, 3.0), (58, 2.0)]\n",
      "   173    -> [(184, 3.0), (183, 2.0), (412, 2.0)]\n",
      "   174    -> [(253, 6.0), (243, 5.0), (304, 3.0)]\n",
      "   175    -> [(57, 5.0), (430, 4.0), (31, 3.0)]\n",
      "   176    -> [(72, 5.0), (66, 4.0), (177, 3.0)]\n",
      "   177    -> [(443, 6.0), (328, 5.0), (37, 3.0)]\n",
      "   178    -> [(40, 4.0), (324, 3.0), (364, 2.0)]\n",
      "   179    -> [(389, 4.0), (43, 3.0), (411, 2.0)]\n",
      "   180    -> [(333, 6.0), (152, 5.0), (416, 4.0)]\n",
      "   181    -> [(125, 4.0), (427, 3.0), (410, 2.0)]\n",
      "   182    -> [(310, 5.0), (372, 4.0), (98, 3.0)]\n",
      "   183    -> [(134, 4.0), (8, 3.0), (263, 2.0)]\n",
      "   184    -> [(261, 4.0), (301, 3.0), (178, 2.0)]\n",
      "   185    -> [(488, 5.0), (97, 3.0), (325, 3.0)]\n",
      "   186    -> [(26, 7.0), (456, 5.0), (313, 4.0)]\n",
      "   187    -> [(109, 5.0), (301, 3.0), (178, 2.0)]\n",
      "   188    -> [(457, 4.0), (438, 4.0), (2, 3.0)]\n",
      "   189    -> [(405, 4.0), (485, 3.0), (376, 2.0)]\n",
      "   190    -> [(448, 4.0), (110, 4.0), (115, 3.0)]\n",
      "   191    -> [(399, 2.0), (445, 2.0), (484, 2.0)]\n",
      "   192    -> [(142, 4.0), (270, 4.0), (58, 2.0)]\n",
      "   193    -> [(233, 4.0), (80, 3.0), (190, 3.0)]\n",
      "   194    -> [(62, 4.0), (386, 3.0), (373, 2.0)]\n",
      "   195    -> [(89, 5.0), (260, 4.0), (154, 3.0)]\n",
      "   196    -> [(286, 6.0), (285, 5.0), (440, 3.0)]\n",
      "   197    -> [(18, 3.0), (278, 3.0), (30, 2.0)]\n",
      "   198    -> [(311, 6.0), (427, 5.0), (149, 3.0)]\n",
      "   199    -> [(300, 5.0), (327, 4.0), (171, 2.0)]\n",
      "   200    -> [(349, 4.0), (490, 3.0), (252, 2.0)]\n",
      "   201    -> [(426, 6.0), (45, 5.0), (263, 3.0)]\n",
      "   202    -> [(310, 6.0), (95, 5.0), (390, 3.0)]\n",
      "   203    -> [(24, 4.0), (336, 3.0), (348, 2.0)]\n",
      "   204    -> [(284, 3.0), (102, 2.0), (417, 2.0)]\n",
      "   205    -> [(17, 5.0), (123, 4.0), (61, 3.0)]\n",
      "   206    -> [(27, 5.0), (47, 4.0), (171, 2.0)]\n",
      "   207    -> [(81, 5.0), (408, 4.0), (436, 3.0)]\n",
      "   208    -> [(300, 4.0), (175, 4.0), (171, 2.0)]\n",
      "   209    -> [(489, 6.0), (192, 5.0), (325, 4.0)]\n",
      "   210    -> [(95, 3.0), (445, 3.0), (484, 2.0)]\n",
      "   211    -> [(338, 5.0), (87, 4.0), (459, 3.0)]\n",
      "   212    -> [(181, 4.0), (165, 3.0), (350, 2.0)]\n",
      "   213    -> [(46, 6.0), (118, 5.0), (337, 3.0)]\n",
      "   214    -> [(223, 5.0), (165, 4.0), (227, 3.0)]\n",
      "   215    -> [(389, 4.0), (85, 3.0), (407, 2.0)]\n",
      "   216    -> [(316, 5.0), (86, 4.0), (252, 2.0)]\n",
      "   217    -> [(15, 6.0), (307, 5.0), (28, 4.0)]\n",
      "   218    -> [(181, 6.0), (80, 5.0), (153, 3.0)]\n",
      "   219    -> [(305, 4.0), (275, 3.0), (348, 2.0)]\n",
      "   220    -> [(16, 5.0), (142, 4.0), (297, 3.0)]\n",
      "   221    -> [(347, 3.0), (203, 2.0), (464, 2.0)]\n",
      "   222    -> [(269, 4.0), (415, 3.0), (436, 2.0)]\n",
      "   223    -> [(253, 6.0), (493, 5.0), (361, 3.0)]\n",
      "   224    -> [(213, 4.0), (352, 3.0), (51, 2.0)]\n",
      "   225    -> [(221, 5.0), (402, 4.0), (30, 3.0)]\n",
      "   226    -> [(269, 5.0), (191, 4.0), (98, 3.0)]\n",
      "   227    -> [(248, 4.0), (444, 4.0), (313, 2.0)]\n",
      "   228    -> [(184, 5.0), (452, 4.0), (98, 3.0)]\n",
      "   229    -> [(487, 4.0), (173, 3.0), (402, 3.0)]\n",
      "   230    -> [(359, 4.0), (15, 3.0), (390, 2.0)]\n",
      "   231    -> [(246, 4.0), (283, 3.0), (357, 3.0)]\n",
      "   232    -> [(334, 4.0), (453, 3.0), (436, 2.0)]\n",
      "   233    -> [(306, 5.0), (192, 5.0)]\n",
      "   234    -> [(134, 5.0), (287, 4.0), (58, 2.0)]\n",
      "   235    -> [(494, 5.0), (386, 4.0)]\n",
      "   236    -> [(488, 4.0), (419, 3.0), (414, 2.0)]\n",
      "   237    -> [(219, 5.0), (425, 4.0), (350, 3.0)]\n",
      "   238    -> [(415, 5.0), (150, 5.0), (348, 3.0)]\n",
      "   239    -> [(84, 5.0), (414, 4.0)]\n",
      "   240    -> [(96, 5.0), (9, 4.0)]\n",
      "   241    -> [(375, 4.0), (271, 3.0)]\n",
      "   242    -> [(259, 3.0), (33, 2.0)]\n",
      "   243    -> [(405, 3.0), (197, 3.0)]\n",
      "   244    -> [(289, 5.0), (427, 5.0)]\n",
      "   245    -> [(463, 4.0), (238, 4.0)]\n",
      "   246    -> [(16, 5.0), (399, 4.0)]\n",
      "   247    -> [(220, 5.0), (175, 5.0)]\n",
      "   248    -> [(285, 5.0), (244, 4.0)]\n",
      "   249    -> [(384, 5.0), (183, 4.0)]\n",
      "   250    -> [(10, 4.0), (169, 3.0)]\n",
      "   251    -> [(340, 6.0), (197, 5.0)]\n",
      "   252    -> [(389, 4.0), (104, 3.0)]\n",
      "   253    -> [(480, 6.0), (249, 4.0)]\n",
      "   254    -> [(85, 5.0), (242, 4.0)]\n",
      "   255    -> [(241, 6.0), (402, 5.0)]\n",
      "   256    -> [(24, 4.0), (77, 3.0)]\n",
      "   257    -> [(0, 4.0), (469, 3.0)]\n",
      "   258    -> [(90, 5.0), (362, 5.0)]\n",
      "   259    -> [(62, 5.0), (195, 4.0)]\n",
      "   260    -> [(119, 4.0), (120, 3.0)]\n",
      "   261    -> [(169, 5.0), (54, 4.0)]\n",
      "   262    -> [(433, 4.0), (187, 3.0)]\n",
      "   263    -> [(338, 5.0), (265, 4.0)]\n",
      "   264    -> [(377, 3.0), (257, 3.0)]\n",
      "   265    -> [(314, 4.0), (278, 3.0)]\n",
      "   266    -> [(193, 5.0), (238, 4.0)]\n",
      "   267    -> [(165, 4.0), (446, 4.0)]\n",
      "   268    -> [(155, 4.0), (148, 3.0)]\n",
      "   269    -> [(20, 5.0), (8, 4.0)]\n",
      "   270    -> [(326, 4.0), (290, 3.0)]\n",
      "   271    -> [(454, 4.0), (97, 3.0)]\n",
      "   272    -> [(24, 5.0), (339, 3.0)]\n",
      "   273    -> [(228, 3.0), (423, 3.0)]\n",
      "   274    -> [(161, 6.0), (402, 4.0)]\n",
      "   275    -> [(44, 6.0), (498, 4.0)]\n",
      "   276    -> [(199, 4.0), (493, 3.0)]\n",
      "   277    -> [(60, 5.0), (367, 4.0)]\n",
      "   278    -> [(204, 5.0), (133, 5.0)]\n",
      "   279    -> [(462, 5.0), (492, 5.0)]\n",
      "   280    -> [(443, 4.0), (397, 3.0)]\n",
      "   281    -> [(26, 5.0), (407, 4.0)]\n",
      "   282    -> [(5, 5.0), (235, 4.0)]\n",
      "   283    -> [(81, 4.0), (257, 4.0)]\n",
      "   284    -> [(311, 5.0), (74, 4.0)]\n",
      "   285    -> [(174, 4.0), (206, 3.0)]\n",
      "   286    -> [(56, 4.0), (102, 3.0)]\n",
      "   287    -> [(305, 5.0), (104, 4.0)]\n",
      "   288    -> [(174, 4.0), (431, 3.0)]\n",
      "   289    -> [(370, 5.0), (239, 4.0)]\n",
      "   290    -> [(66, 5.0), (64, 4.0)]\n",
      "   291    -> [(221, 5.0), (215, 4.0)]\n",
      "   292    -> [(137, 4.0), (301, 3.0)]\n",
      "   293    -> [(363, 5.0), (156, 4.0)]\n",
      "   294    -> [(343, 4.0), (365, 3.0)]\n",
      "   295    -> [(320, 4.0), (112, 3.0)]\n",
      "   296    -> [(450, 3.0), (162, 3.0)]\n",
      "   297    -> [(333, 6.0), (351, 4.0)]\n",
      "   298    -> [(298, 3.0), (391, 2.0)]\n",
      "   299    -> [(403, 5.0), (217, 4.0)]\n",
      "   300    -> [(52, 4.0), (45, 3.0)]\n",
      "   301    -> [(188, 6.0), (200, 5.0)]\n",
      "   302    -> [(394, 5.0), (138, 4.0)]\n",
      "   303    -> [(397, 6.0), (278, 5.0)]\n",
      "   304    -> [(84, 2.0), (132, 2.0)]\n",
      "   305    -> [(35, 4.0), (237, 3.0)]\n",
      "   306    -> [(69, 4.0), (282, 4.0)]\n",
      "   307    -> [(346, 5.0), (239, 4.0)]\n",
      "   308    -> [(294, 3.0), (460, 3.0)]\n",
      "   309    -> [(400, 5.0), (87, 4.0)]\n",
      "   310    -> [(318, 4.0), (278, 4.0)]\n",
      "   311    -> [(238, 3.0), (205, 2.0)]\n",
      "   312    -> [(112, 2.0), (31, 2.0)]\n",
      "   313    -> [(340, 8.0), (320, 5.0)]\n",
      "   314    -> [(126, 2.0), (93, 2.0)]\n",
      "   315    -> [(381, 5.0), (430, 4.0)]\n",
      "   316    -> [(90, 5.0), (248, 5.0)]\n",
      "   317    -> [(56, 4.0), (252, 3.0)]\n",
      "   318    -> [(22, 5.0), (101, 4.0)]\n",
      "   319    -> [(96, 5.0), (474, 4.0)]\n",
      "   320    -> [(91, 6.0), (160, 4.0)]\n",
      "   321    -> [(117, 3.0), (132, 3.0)]\n",
      "   322    -> [(473, 4.0), (254, 4.0)]\n",
      "   323    -> [(184, 5.0), (432, 4.0)]\n",
      "   324    -> [(55, 5.0), (102, 4.0)]\n",
      "   325    -> [(347, 5.0), (490, 4.0)]\n",
      "   326    -> [(216, 6.0), (146, 5.0)]\n",
      "   327    -> [(334, 5.0), (480, 5.0)]\n",
      "   328    -> [(398, 3.0), (492, 3.0)]\n",
      "   329    -> [(202, 3.0), (432, 2.0)]\n",
      "   330    -> [(163, 4.0), (18, 4.0)]\n",
      "   331    -> [(256, 5.0), (6, 5.0)]\n",
      "   332    -> [(274, 4.0), (409, 3.0)]\n",
      "   333    -> [(426, 6.0), (183, 5.0)]\n",
      "   334    -> [(191, 5.0), (275, 5.0)]\n",
      "   335    -> [(82, 4.0), (374, 3.0)]\n",
      "   336    -> [(389, 4.0), (319, 3.0)]\n",
      "   337    -> [(143, 4.0), (6, 3.0)]\n",
      "   338    -> [(134, 2.0), (413, 2.0)]\n",
      "   339    -> [(279, 6.0), (459, 4.0)]\n",
      "   340    -> [(106, 4.0), (475, 3.0)]\n",
      "   341    -> [(289, 5.0), (477, 5.0)]\n",
      "   342    -> [(129, 5.0), (111, 4.0)]\n",
      "   343    -> [(349, 6.0), (218, 4.0)]\n",
      "   344    -> [(1, 6.0), (243, 5.0)]\n",
      "   345    -> [(383, 5.0), (190, 4.0)]\n",
      "   346    -> [(22, 4.0), (497, 3.0)]\n",
      "   347    -> [(261, 4.0), (386, 3.0)]\n",
      "   348    -> [(208, 5.0), (278, 4.0)]\n",
      "   349    -> [(80, 4.0), (34, 4.0)]\n",
      "   350    -> [(35, 5.0), (183, 4.0)]\n",
      "   351    -> [(185, 6.0), (34, 5.0)]\n",
      "   352    -> [(332, 5.0), (499, 5.0)]\n",
      "   353    -> [(223, 4.0), (267, 3.0)]\n",
      "   354    -> [(196, 6.0), (239, 5.0)]\n",
      "   355    -> [(196, 4.0), (431, 3.0)]\n",
      "   356    -> [(474, 6.0), (92, 5.0)]\n",
      "   357    -> [(119, 5.0), (479, 4.0)]\n",
      "   358    -> [(349, 6.0), (122, 5.0)]\n",
      "   359    -> [(106, 4.0), (331, 3.0)]\n",
      "   360    -> [(433, 4.0), (445, 3.0)]\n",
      "   361    -> [(55, 4.0), (217, 4.0)]\n",
      "   362    -> [(295, 7.0), (352, 6.0)]\n",
      "   363    -> [(59, 5.0), (64, 4.0)]\n",
      "   364    -> [(59, 4.0), (21, 4.0)]\n",
      "   365    -> [(264, 4.0), (187, 3.0)]\n",
      "   366    -> [(161, 5.0), (491, 4.0)]\n",
      "   367    -> [(446, 3.0), (408, 3.0)]\n",
      "   368    -> [(50, 4.0), (80, 3.0)]\n",
      "   369    -> [(10, 5.0), (456, 4.0)]\n",
      "   370    -> [(4, 4.0), (435, 3.0)]\n",
      "   371    -> [(212, 5.0), (275, 4.0)]\n",
      "   372    -> [(29, 4.0), (439, 3.0)]\n",
      "   373    -> [(90, 3.0), (187, 3.0)]\n",
      "   374    -> [(213, 4.0), (493, 3.0)]\n",
      "   375    -> [(68, 4.0), (77, 4.0)]\n",
      "   376    -> [(437, 4.0), (169, 4.0)]\n",
      "   377    -> [(129, 5.0), (292, 5.0)]\n",
      "   378    -> [(201, 5.0), (367, 3.0)]\n",
      "   379    -> [(470, 6.0), (491, 5.0)]\n",
      "   380    -> [(216, 3.0), (23, 3.0)]\n",
      "   381    -> [(389, 5.0), (285, 4.0)]\n",
      "   382    -> [(433, 4.0), (33, 3.0)]\n",
      "   383    -> [(451, 5.0), (121, 4.0)]\n",
      "   384    -> [(383, 5.0), (226, 4.0)]\n",
      "   385    -> [(143, 5.0), (169, 4.0)]\n",
      "   386    -> [(454, 4.0), (490, 3.0)]\n",
      "   387    -> [(72, 5.0), (66, 4.0)]\n",
      "   388    -> [(457, 5.0), (470, 5.0)]\n",
      "   389    -> [(147, 4.0), (345, 4.0)]\n",
      "   390    -> [(343, 5.0), (462, 4.0)]\n",
      "   391    -> [(101, 5.0), (322, 4.0)]\n",
      "   392    -> [(266, 5.0), (493, 4.0)]\n",
      "   393    -> [(62, 5.0), (77, 4.0)]\n",
      "   394    -> [(368, 5.0), (406, 4.0)]\n",
      "   395    -> [(176, 4.0), (54, 3.0)]\n",
      "   396    -> [(24, 4.0), (280, 3.0)]\n",
      "   397    -> [(448, 4.0), (265, 4.0)]\n",
      "   398    -> [(116, 5.0), (70, 4.0)]\n",
      "   399    -> [(63, 6.0), (245, 3.0)]\n",
      "   400    -> [(343, 4.0), (413, 3.0)]\n",
      "   401    -> [(137, 7.0), (127, 5.0)]\n",
      "   402    -> [(90, 7.0), (486, 5.0)]\n",
      "   403    -> [(124, 3.0), (148, 3.0)]\n",
      "   404    -> [(17, 6.0), (425, 5.0)]\n",
      "   405    -> [(184, 5.0), (95, 4.0)]\n",
      "   406    -> [(4, 4.0), (93, 3.0)]\n",
      "   407    -> [(10, 6.0), (456, 5.0)]\n",
      "   408    -> [(394, 3.0), (60, 3.0)]\n",
      "   409    -> [(419, 3.0), (327, 3.0)]\n",
      "   410    -> [(234, 5.0), (398, 4.0)]\n",
      "   411    -> [(83, 4.0), (372, 4.0)]\n",
      "   412    -> [(355, 2.0), (92, 2.0)]\n",
      "   413    -> [(392, 5.0), (321, 4.0)]\n",
      "   414    -> [(55, 4.0), (255, 4.0)]\n",
      "   415    -> [(91, 4.0), (497, 3.0)]\n",
      "   416    -> [(84, 5.0), (47, 4.0)]\n",
      "   417    -> [(213, 4.0), (289, 3.0)]\n",
      "   418    -> [(329, 6.0), (142, 5.0)]\n",
      "   419    -> [(114, 4.0), (173, 3.0)]\n",
      "   420    -> [(318, 6.0), (352, 5.0)]\n",
      "   421    -> [(158, 3.0), (438, 2.0)]\n",
      "   422    -> [(179, 6.0), (157, 5.0)]\n",
      "   423    -> [(231, 6.0), (341, 4.0)]\n",
      "   424    -> [(451, 6.0), (121, 5.0)]\n",
      "   425    -> [(112, 3.0), (353, 3.0)]\n",
      "   426    -> [(161, 6.0), (149, 4.0)]\n",
      "   427    -> [(394, 7.0), (112, 5.0)]\n",
      "   428    -> [(392, 5.0), (215, 4.0)]\n",
      "   429    -> [(246, 5.0), (41, 4.0)]\n",
      "   430    -> [(3, 4.0), (283, 3.0)]\n",
      "   431    -> [(125, 5.0), (315, 3.0)]\n",
      "   432    -> [(479, 7.0), (25, 5.0)]\n",
      "   433    -> [(366, 6.0), (77, 5.0)]\n",
      "   434    -> [(321, 6.0), (107, 5.0)]\n",
      "   435    -> [(208, 4.0), (292, 3.0)]\n",
      "   436    -> [(52, 4.0), (138, 3.0)]\n",
      "   437    -> [(294, 6.0), (312, 4.0)]\n",
      "   438    -> [(354, 5.0), (206, 4.0)]\n",
      "   439    -> [(434, 3.0), (423, 3.0)]\n",
      "   440    -> [(100, 6.0), (247, 5.0)]\n",
      "   441    -> [(405, 3.0), (495, 3.0)]\n",
      "   442    -> [(176, 5.0), (404, 4.0)]\n",
      "   443    -> [(272, 4.0), (365, 3.0)]\n",
      "   444    -> [(310, 3.0), (499, 3.0)]\n",
      "   445    -> [(220, 5.0), (461, 4.0)]\n",
      "   446    -> [(354, 6.0), (136, 4.0)]\n",
      "   447    -> [(158, 4.0), (139, 3.0)]\n",
      "   448    -> [(370, 5.0), (223, 4.0)]\n",
      "   449    -> [(50, 5.0), (312, 4.0)]\n",
      "   450    -> [(206, 5.0), (48, 5.0)]\n",
      "   451    -> [(219, 4.0), (267, 3.0)]\n",
      "   452    -> [(144, 4.0), (497, 3.0)]\n",
      "   453    -> [(224, 5.0), (166, 4.0)]\n",
      "   454    -> [(355, 4.0), (480, 4.0)]\n",
      "   455    -> [(295, 4.0), (228, 3.0)]\n",
      "   456    -> [(489, 4.0), (97, 3.0)]\n",
      "   457    -> [(277, 4.0), (150, 3.0)]\n",
      "   458    -> [(233, 4.0), (93, 3.0)]\n",
      "   459    -> [(234, 5.0), (336, 3.0)]\n",
      "   460    -> [(261, 4.0), (217, 3.0)]\n",
      "   461    -> [(195, 4.0), (226, 4.0)]\n",
      "   462    -> [(131, 4.0), (251, 3.0)]\n",
      "   463    -> [(246, 4.0), (287, 4.0)]\n",
      "   464    -> [(355, 2.0), (369, 2.0)]\n",
      "   465    -> [(418, 2.0), (194, 2.0)]\n",
      "   466    -> [(0, 2.0), (415, 2.0)]\n",
      "   467    -> [(101, 5.0), (431, 4.0)]\n",
      "   468    -> [(420, 5.0), (308, 5.0)]\n",
      "   469    -> [(144, 6.0), (107, 5.0)]\n",
      "   470    -> [(478, 4.0), (399, 4.0)]\n",
      "   471    -> [(233, 4.0), (80, 3.0)]\n",
      "   472    -> [(485, 2.0), (112, 2.0)]\n",
      "   473    -> [(232, 5.0), (406, 4.0)]\n",
      "   474    -> [(265, 4.0), (151, 3.0)]\n",
      "   475    -> [(55, 3.0), (474, 3.0)]\n",
      "   476    -> [(448, 3.0), (107, 3.0)]\n",
      "   477    -> [(340, 5.0), (309, 4.0)]\n",
      "   478    -> [(180, 4.0), (288, 4.0)]\n",
      "   479    -> [(17, 5.0), (497, 5.0)]\n",
      "   480    -> [(196, 6.0), (339, 5.0)]\n",
      "   481    -> [(421, 6.0), (141, 5.0)]\n",
      "   482    -> [(159, 6.0), (495, 5.0)]\n",
      "   483    -> [(218, 6.0), (235, 5.0)]\n",
      "   484    -> [(259, 5.0), (197, 3.0)]\n",
      "   485    -> [(129, 5.0), (336, 4.0)]\n",
      "   486    -> [(233, 6.0), (380, 4.0)]\n",
      "   487    -> [(225, 4.0), (425, 3.0)]\n",
      "   488    -> [(477, 3.0), (452, 3.0)]\n",
      "   489    -> [(466, 5.0), (424, 4.0)]\n",
      "   490    -> [(250, 3.0), (435, 2.0)]\n",
      "   491    -> [(465, 4.0), (255, 3.0)]\n",
      "   492    -> [(281, 7.0), (115, 5.0)]\n",
      "   493    -> [(5, 6.0), (282, 5.0)]\n",
      "   494    -> [(369, 5.0), (336, 4.0)]\n",
      "   495    -> [(65, 5.0), (76, 4.0)]\n",
      "   496    -> [(277, 4.0), (292, 4.0)]\n",
      "   497    -> [(473, 5.0), (296, 4.0)]\n",
      "   498    -> [(209, 4.0), (237, 3.0)]\n",
      "   499    -> [(433, 4.0), (117, 3.0)]\n",
      "   500    -> [(264, 4.0), (302, 3.0)]\n",
      "   501    -> [(32, 6.0), (81, 5.0)]\n",
      "   502    -> [(60, 2.0), (156, 2.0)]\n",
      "   503    -> [(62, 5.0), (162, 4.0)]\n",
      "   504    -> [(211, 6.0), (484, 4.0)]\n",
      "   505    -> [(366, 4.0), (470, 4.0)]\n",
      "   506    -> [(46, 6.0), (461, 4.0)]\n",
      "   507    -> [(454, 3.0), (51, 2.0)]\n",
      "   508    -> [(391, 4.0), (330, 4.0)]\n",
      "   509    -> [(116, 3.0), (104, 3.0)]\n",
      "   510    -> [(437, 4.0), (321, 4.0)]\n",
      "   511    -> [(264, 4.0), (11, 3.0)]\n",
      "   512    -> [(316, 4.0), (8, 3.0)]\n",
      "   513    -> [(86, 6.0), (34, 5.0)]\n",
      "   514    -> [(124, 6.0), (151, 4.0)]\n",
      "   515    -> [(496, 5.0), (66, 4.0)]\n",
      "   516    -> [(381, 4.0), (129, 4.0)]\n",
      "   517    -> [(443, 3.0), (401, 3.0)]\n",
      "   518    -> [(316, 5.0), (113, 3.0)]\n",
      "   519    -> [(199, 6.0), (43, 5.0)]\n",
      "   520    -> [(418, 5.0), (358, 4.0)]\n",
      "   521    -> [(329, 5.0), (324, 4.0)]\n",
      "   522    -> [(158, 4.0), (243, 3.0)]\n",
      "   523    -> [(167, 4.0), (198, 4.0)]\n",
      "   524    -> [(300, 4.0), (127, 3.0)]\n",
      "   525    -> [(254, 6.0), (173, 4.0)]\n",
      "   526    -> [(465, 5.0), (380, 4.0)]\n",
      "   527    -> [(379, 4.0), (186, 3.0)]\n",
      "   528    -> [(434, 4.0), (277, 4.0)]\n",
      "   529    -> [(199, 5.0), (432, 4.0)]\n",
      "   530    -> [(16, 5.0), (41, 4.0)]\n",
      "   531    -> [(400, 5.0), (430, 4.0)]\n",
      "   532    -> [(457, 5.0), (265, 4.0)]\n",
      "   533    -> [(179, 6.0), (217, 5.0)]\n",
      "   534    -> [(180, 5.0), (344, 4.0)]\n",
      "   535    -> [(403, 5.0), (14, 4.0)]\n",
      "   536    -> [(79, 3.0), (397, 2.0)]\n",
      "   537    -> [(349, 3.0), (282, 3.0)]\n",
      "   538    -> [(272, 3.0), (440, 2.0)]\n",
      "   539    -> [(83, 6.0), (322, 5.0)]\n",
      "   540    -> [(232, 6.0), (160, 5.0)]\n",
      "   541    -> [(385, 6.0), (460, 5.0)]\n",
      "   542    -> [(342, 6.0), (255, 5.0)]\n",
      "   543    -> [(450, 6.0), (61, 4.0)]\n",
      "   544    -> [(369, 3.0), (69, 3.0)]\n",
      "   545    -> [(466, 5.0), (71, 4.0)]\n",
      "   546    -> [(239, 4.0), (483, 4.0)]\n",
      "   547    -> [(230, 5.0), (367, 4.0)]\n",
      "   548    -> [(22, 4.0), (262, 3.0)]\n",
      "   549    -> [(333, 3.0), (44, 3.0)]\n",
      "   550    -> [(62, 4.0), (123, 3.0)]\n",
      "   551    -> [(212, 4.0), (215, 3.0)]\n",
      "   552    -> [(241, 5.0), (7, 4.0)]\n",
      "   553    -> [(261, 5.0), (468, 4.0)]\n",
      "   554    -> [(176, 4.0), (237, 3.0)]\n",
      "   555    -> [(275, 5.0), (189, 5.0)]\n",
      "   556    -> [(143, 4.0), (386, 3.0)]\n",
      "   557    -> [(476, 5.0), (425, 3.0)]\n",
      "   558    -> [(457, 5.0), (452, 4.0)]\n",
      "   559    -> [(109, 4.0), (182, 3.0)]\n",
      "   560    -> [(465, 4.0), (408, 3.0)]\n",
      "   561    -> [(286, 5.0), (25, 4.0)]\n"
     ]
    },
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "   562    -> [(3, 5.0), (282, 4.0)]\n",
      "   563    -> [(193, 4.0), (9, 3.0)]\n",
      "   564    -> [(155, 5.0), (452, 3.0)]\n",
      "   565    -> [(24, 4.0), (87, 3.0)]\n",
      "   566    -> [(422, 4.0), (21, 4.0)]\n",
      "   567    -> [(143, 4.0), (444, 3.0)]\n",
      "   568    -> [(236, 5.0), (97, 4.0)]\n",
      "   569    -> [(204, 6.0), (28, 4.0)]\n",
      "   570    -> [(385, 5.0), (173, 4.0)]\n",
      "   571    -> [(17, 5.0), (186, 4.0)]\n",
      "   572    -> [(466, 5.0), (141, 4.0)]\n",
      "   573    -> [(55, 5.0), (150, 4.0)]\n",
      "   574    -> [(311, 4.0), (255, 3.0)]\n",
      "   575    -> [(20, 5.0), (57, 4.0)]\n",
      "   576    -> [(159, 4.0), (449, 3.0)]\n",
      "   577    -> [(75, 4.0), (256, 4.0)]\n",
      "   578    -> [(355, 5.0), (257, 4.0)]\n",
      "   579    -> [(19, 4.0), (292, 3.0)]\n",
      "   580    -> [(442, 4.0), (474, 4.0)]\n",
      "   581    -> [(259, 5.0), (332, 4.0)]\n",
      "   582    -> [(231, 4.0), (182, 3.0)]\n",
      "   583    -> [(286, 5.0), (122, 4.0)]\n",
      "   584    -> [(128, 4.0), (141, 3.0)]\n",
      "   585    -> [(444, 7.0), (222, 6.0)]\n",
      "   586    -> [(21, 4.0), (344, 4.0)]\n",
      "   587    -> [(421, 4.0), (287, 4.0)]\n",
      "   588    -> [(375, 4.0), (308, 3.0)]\n",
      "   589    -> [(480, 5.0), (498, 4.0)]\n",
      "   590    -> [(4, 4.0), (398, 4.0)]\n",
      "   591    -> [(78, 4.0), (11, 3.0)]\n",
      "   592    -> [(467, 5.0), (77, 4.0)]\n",
      "   593    -> [(340, 5.0), (47, 4.0)]\n",
      "   594    -> [(78, 5.0), (302, 4.0)]\n",
      "   595    -> [(385, 4.0), (280, 3.0)]\n",
      "   596    -> [(134, 4.0), (477, 3.0)]\n",
      "   597    -> [(269, 3.0), (328, 2.0)]\n",
      "   598    -> [(400, 5.0), (358, 4.0)]\n",
      "   599    -> [(334, 5.0), (87, 4.0)]\n",
      "   600    -> [(470, 4.0), (194, 4.0)]\n",
      "   601    -> [(466, 5.0), (162, 4.0)]\n",
      "   602    -> [(125, 5.0), (165, 4.0)]\n",
      "   603    -> [(288, 5.0), (157, 4.0)]\n",
      "   604    -> [(441, 4.0), (408, 3.0)]\n",
      "   605    -> [(69, 4.0), (75, 4.0)]\n",
      "   606    -> [(188, 7.0), (192, 6.0)]\n",
      "   607    -> [(369, 5.0), (431, 4.0)]\n",
      "   608    -> [(5, 4.0), (203, 3.0)]\n",
      "   609    -> [(250, 5.0), (214, 4.0)]\n",
      "   610    -> [(384, 4.0), (446, 3.0)]\n",
      "   611    -> [(108, 4.0), (270, 3.0)]\n",
      "   612    -> [(441, 6.0), (387, 5.0)]\n",
      "   613    -> [(279, 4.0), (430, 3.0)]\n",
      "   614    -> [(268, 5.0), (398, 5.0)]\n",
      "   615    -> [(114, 4.0), (418, 4.0)]\n",
      "   616    -> [(458, 4.0), (67, 3.0)]\n",
      "   617    -> [(281, 7.0), (431, 5.0)]\n",
      "   618    -> [(284, 5.0), (18, 4.0)]\n",
      "   619    -> [(74, 3.0), (23, 3.0)]\n",
      "   620    -> [(451, 5.0), (146, 4.0)]\n",
      "   621    -> [(257, 5.0), (353, 4.0)]\n",
      "   622    -> [(303, 3.0), (432, 2.0)]\n",
      "   623    -> [(303, 4.0), (260, 3.0)]\n",
      "   624    -> [(346, 5.0), (73, 4.0)]\n",
      "   625    -> [(124, 6.0), (245, 4.0)]\n",
      "   626    -> [(27, 4.0), (71, 3.0)]\n",
      "   627    -> [(449, 5.0), (312, 4.0)]\n",
      "   628    -> [(396, 3.0), (265, 3.0)]\n",
      "   629    -> [(266, 4.0), (319, 3.0)]\n",
      "   630    -> [(74, 5.0), (296, 4.0)]\n",
      "   631    -> [(310, 6.0), (70, 5.0)]\n",
      "   632    -> [(465, 5.0), (258, 4.0)]\n",
      "   633    -> [(394, 5.0), (200, 4.0)]\n",
      "   634    -> [(256, 7.0), (222, 5.0)]\n",
      "   635    -> [(87, 3.0), (270, 3.0)]\n",
      "   636    -> [(488, 4.0), (341, 3.0)]\n",
      "   637    -> [(375, 4.0), (133, 3.0)]\n",
      "   638    -> [(426, 5.0), (445, 4.0)]\n",
      "   639    -> [(256, 5.0), (319, 4.0)]\n",
      "   640    -> [(427, 5.0), (190, 4.0)]\n",
      "   641    -> [(126, 4.0), (408, 3.0)]\n",
      "   642    -> [(232, 5.0), (164, 4.0)]\n",
      "   643    -> [(384, 4.0), (128, 3.0)]\n",
      "   644    -> [(405, 6.0), (251, 5.0)]\n",
      "   645    -> [(395, 4.0), (342, 4.0)]\n",
      "   646    -> [(396, 5.0), (336, 4.0)]\n",
      "   647    -> [(300, 4.0), (471, 3.0)]\n",
      "   648    -> [(437, 5.0), (260, 4.0)]\n",
      "   649    -> [(454, 4.0), (302, 3.0)]\n",
      "   650    -> [(32, 5.0), (468, 4.0)]\n",
      "   651    -> [(78, 4.0), (211, 3.0)]\n",
      "   652    -> [(75, 4.0), (434, 4.0)]\n",
      "   653    -> [(331, 5.0), (76, 4.0)]\n",
      "   654    -> [(306, 5.0), (115, 4.0)]\n",
      "   655    -> [(272, 5.0), (15, 4.0)]\n",
      "   656    -> [(418, 5.0), (423, 5.0)]\n",
      "   657    -> [(230, 6.0), (75, 5.0)]\n",
      "   658    -> [(463, 4.0), (57, 4.0)]\n",
      "   659    -> [(321, 5.0), (470, 5.0)]\n",
      "   660    -> [(442, 4.0), (315, 3.0)]\n",
      "   661    -> [(59, 5.0), (416, 4.0)]\n",
      "   662    -> [(340, 7.0), (406, 5.0)]\n",
      "   663    -> [(115, 3.0), (107, 3.0)]\n",
      "   664    -> [(381, 5.0), (481, 5.0)]\n",
      "   665    -> [(168, 4.0), (147, 4.0)]\n",
      "   666    -> [(266, 5.0), (258, 4.0)]\n",
      "   667    -> [(441, 5.0), (245, 4.0)]\n",
      "   668    -> [(377, 4.0), (132, 3.0)]\n",
      "   669    -> [(109, 5.0), (71, 3.0)]\n",
      "   670    -> [(281, 6.0), (113, 5.0)]\n",
      "   671    -> [(83, 4.0), (123, 3.0)]\n",
      "   672    -> [(63, 5.0), (248, 4.0)]\n",
      "   673    -> [(94, 4.0), (299, 4.0)]\n",
      "   674    -> [(147, 5.0), (307, 4.0)]\n",
      "   675    -> [(363, 4.0), (481, 3.0)]\n",
      "   676    -> [(72, 5.0), (290, 4.0)]\n",
      "   677    -> [(303, 3.0), (429, 3.0)]\n",
      "   678    -> [(110, 5.0), (118, 5.0)]\n",
      "   679    -> [(289, 6.0), (15, 5.0)]\n",
      "   680    -> [(155, 5.0), (323, 4.0)]\n",
      "   681    -> [(185, 5.0), (111, 4.0)]\n",
      "   682    -> [(114, 6.0), (235, 5.0)]\n",
      "   683    -> [(42, 5.0), (243, 4.0)]\n",
      "   684    -> [(13, 5.0), (498, 5.0)]\n",
      "   685    -> [(476, 6.0), (156, 4.0)]\n",
      "   686    -> [(231, 5.0), (397, 4.0)]\n",
      "   687    -> [(394, 6.0), (71, 4.0)]\n",
      "   688    -> [(302, 4.0), (25, 3.0)]\n",
      "   689    -> [(201, 5.0), (290, 3.0)]\n",
      "   690    -> [(125, 4.0), (332, 3.0)]\n",
      "   691    -> [(167, 4.0), (95, 4.0)]\n",
      "   692    -> [(116, 4.0), (493, 3.0)]\n",
      "   693    -> [(0, 2.0), (238, 2.0)]\n",
      "   694    -> [(288, 5.0), (438, 5.0)]\n",
      "   695    -> [(241, 5.0), (157, 4.0)]\n",
      "   696    -> [(204, 5.0), (365, 4.0)]\n",
      "   697    -> [(213, 4.0), (491, 3.0)]\n",
      "   698    -> [(452, 6.0), (97, 5.0)]\n",
      "   699    -> [(492, 5.0), (335, 4.0)]\n",
      "   700    -> [(210, 3.0), (330, 2.0)]\n",
      "   701    -> [(131, 4.0), (164, 3.0)]\n",
      "   702    -> [(443, 5.0), (67, 5.0)]\n",
      "   703    -> [(120, 4.0), (280, 4.0)]\n",
      "   704    -> [(114, 4.0), (45, 4.0)]\n",
      "   705    -> [(35, 5.0), (73, 4.0)]\n",
      "   706    -> [(368, 6.0), (291, 5.0)]\n",
      "   707    -> [(269, 5.0), (14, 4.0)]\n",
      "   708    -> [(418, 3.0), (335, 3.0)]\n",
      "   709    -> [(145, 3.0), (374, 3.0)]\n",
      "   710    -> [(370, 4.0), (132, 3.0)]\n",
      "   711    -> [(170, 4.0), (342, 4.0)]\n",
      "   712    -> [(38, 2.0), (350, 2.0)]\n",
      "   713    -> [(103, 4.0), (93, 3.0)]\n",
      "   714    -> [(383, 5.0), (320, 4.0)]\n",
      "   715    -> [(145, 4.0), (220, 4.0)]\n",
      "   716    -> [(396, 5.0), (66, 4.0)]\n",
      "   717    -> [(188, 4.0), (170, 4.0)]\n",
      "   718    -> [(485, 4.0), (270, 3.0)]\n",
      "   719    -> [(3, 3.0), (411, 2.0)]\n",
      "   720    -> [(213, 4.0), (47, 3.0)]\n",
      "   721    -> [(134, 3.0), (195, 3.0)]\n",
      "   722    -> [(180, 6.0), (132, 5.0)]\n",
      "   723    -> [(433, 4.0), (308, 3.0)]\n",
      "   724    -> [(91, 5.0), (99, 4.0)]\n",
      "   725    -> [(127, 4.0), (243, 4.0)]\n",
      "   726    -> [(143, 3.0), (162, 3.0)]\n",
      "   727    -> [(184, 5.0), (346, 4.0)]\n",
      "   728    -> [(488, 5.0), (146, 3.0)]\n",
      "   729    -> [(268, 5.0), (425, 4.0)]\n",
      "   730    -> [(210, 5.0), (321, 4.0)]\n",
      "   731    -> [(39, 6.0), (290, 4.0)]\n",
      "   732    -> [(209, 5.0), (43, 4.0)]\n",
      "   733    -> [(53, 4.0), (138, 3.0)]\n",
      "   734    -> [(212, 3.0), (371, 2.0)]\n",
      "   735    -> [(69, 5.0), (371, 4.0)]\n",
      "   736    -> [(103, 4.0), (150, 3.0)]\n",
      "   737    -> [(181, 4.0), (222, 3.0)]\n",
      "   738    -> [(224, 5.0), (279, 4.0)]\n",
      "   739    -> [(39, 5.0), (86, 4.0)]\n",
      "   740    -> [(469, 5.0), (80, 5.0)]\n",
      "   741    -> [(194, 6.0), (156, 5.0)]\n",
      "   742    -> [(261, 5.0), (15, 4.0)]\n",
      "   743    -> [(230, 4.0), (199, 4.0)]\n",
      "   744    -> [(45, 3.0), (81, 3.0)]\n",
      "   745    -> [(211, 5.0), (162, 5.0)]\n",
      "   746    -> [(480, 4.0), (459, 3.0)]\n",
      "   747    -> [(246, 6.0), (387, 5.0)]\n",
      "   748    -> [(145, 5.0), (128, 4.0)]\n",
      "   749    -> [(196, 5.0), (102, 4.0)]\n",
      "   750    -> [(144, 4.0), (64, 3.0)]\n",
      "   751    -> [(476, 4.0), (335, 3.0)]\n",
      "   752    -> [(148, 5.0), (456, 4.0)]\n",
      "   753    -> [(295, 5.0), (494, 5.0)]\n",
      "   754    -> [(420, 4.0), (415, 4.0)]\n",
      "   755    -> [(429, 4.0), (43, 3.0)]\n",
      "   756    -> [(251, 4.0), (495, 4.0)]\n",
      "   757    -> [(168, 6.0), (452, 5.0)]\n",
      "   758    -> [(211, 4.0), (456, 3.0)]\n",
      "   759    -> [(230, 4.0), (299, 4.0)]\n",
      "   760    -> [(442, 5.0), (185, 4.0)]\n",
      "   761    -> [(202, 5.0), (353, 4.0)]\n",
      "   762    -> [(220, 3.0), (306, 3.0)]\n",
      "   763    -> [(94, 5.0), (152, 4.0)]\n",
      "   764    -> [(379, 5.0), (395, 3.0)]\n",
      "   765    -> [(185, 5.0), (93, 4.0)]\n",
      "   766    -> [(109, 5.0), (388, 3.0)]\n",
      "   767    -> [(363, 4.0), (260, 3.0)]\n",
      "   768    -> [(65, 5.0), (275, 4.0)]\n",
      "   769    -> [(106, 4.0), (490, 3.0)]\n",
      "   770    -> [(94, 3.0), (482, 3.0)]\n",
      "   771    -> [(52, 4.0), (331, 3.0)]\n",
      "   772    -> [(293, 4.0), (423, 3.0)]\n",
      "   773    -> [(434, 5.0), (160, 4.0)]\n",
      "   774    -> [(349, 4.0), (407, 3.0)]\n",
      "   775    -> [(110, 4.0), (460, 3.0)]\n",
      "   776    -> [(114, 4.0), (486, 4.0)]\n",
      "   777    -> [(4, 2.0), (445, 2.0)]\n",
      "   778    -> [(219, 6.0), (409, 4.0)]\n",
      "   779    -> [(476, 6.0), (123, 4.0)]\n",
      "   780    -> [(489, 4.0), (357, 3.0)]\n",
      "   781    -> [(88, 5.0), (12, 4.0)]\n",
      "   782    -> [(125, 4.0), (105, 3.0)]\n",
      "   783    -> [(266, 5.0), (387, 4.0)]\n",
      "   784    -> [(114, 4.0), (194, 4.0)]\n",
      "   785    -> [(42, 5.0), (330, 4.0)]\n",
      "   786    -> [(59, 6.0), (432, 5.0)]\n",
      "   787    -> [(455, 5.0), (169, 5.0)]\n",
      "   788    -> [(32, 5.0), (498, 4.0)]\n",
      "   789    -> [(277, 4.0), (163, 4.0)]\n",
      "   790    -> [(230, 3.0), (216, 3.0)]\n",
      "   791    -> [(209, 5.0), (257, 4.0)]\n",
      "   792    -> [(88, 5.0), (26, 4.0)]\n",
      "   793    -> [(428, 4.0), (127, 3.0)]\n",
      "   794    -> [(201, 3.0), (65, 3.0)]\n",
      "   795    -> [(221, 4.0), (79, 3.0)]\n",
      "   796    -> [(383, 3.0), (41, 3.0)]\n",
      "   797    -> [(362, 3.0), (352, 3.0)]\n",
      "   798    -> [(334, 7.0), (142, 5.0)]\n",
      "   799    -> [(354, 5.0), (111, 4.0)]\n",
      "   800    -> [(38, 2.0), (170, 2.0)]\n",
      "   801    -> [(174, 4.0), (475, 3.0)]\n",
      "   802    -> [(256, 6.0), (283, 4.0)]\n",
      "   803    -> [(426, 4.0), (214, 3.0)]\n",
      "   804    -> [(274, 6.0), (186, 4.0)]\n",
      "   805    -> [(4, 3.0), (223, 3.0)]\n",
      "   806    -> [(269, 4.0), (453, 3.0)]\n",
      "   807    -> [(366, 4.0), (18, 4.0)]\n",
      "   808    -> [(345, 5.0), (497, 5.0)]\n",
      "   809    -> [(184, 4.0), (404, 3.0)]\n",
      "   810    -> [(469, 6.0), (282, 5.0)]\n",
      "   811    -> [(294, 5.0), (292, 4.0)]\n",
      "   812    -> [(268, 4.0), (296, 3.0)]\n",
      "   813    -> [(458, 4.0), (495, 3.0)]\n",
      "   814    -> [(288, 5.0), (104, 4.0)]\n",
      "   815    -> [(202, 4.0), (242, 3.0)]\n",
      "   816    -> [(39, 5.0), (189, 4.0)]\n",
      "   817    -> [(96, 5.0), (9, 4.0)]\n",
      "   818    -> [(44, 6.0), (141, 5.0)]\n",
      "   819    -> [(57, 4.0), (18, 4.0)]\n",
      "   820    -> [(476, 4.0), (449, 4.0)]\n",
      "   821    -> [(251, 4.0), (396, 4.0)]\n",
      "   822    -> [(181, 5.0), (472, 4.0)]\n",
      "   823    -> [(408, 4.0), (59, 4.0)]\n",
      "   824    -> [(16, 4.0), (139, 3.0)]\n",
      "   825    -> [(128, 6.0), (460, 5.0)]\n",
      "   826    -> [(131, 6.0), (435, 4.0)]\n",
      "   827    -> [(229, 4.0), (242, 3.0)]\n",
      "   828    -> [(209, 5.0), (175, 4.0)]\n",
      "   829    -> [(329, 5.0), (48, 4.0)]\n",
      "   830    -> [(306, 6.0), (431, 4.0)]\n",
      "   831    -> [(27, 6.0), (222, 4.0)]\n",
      "   832    -> [(199, 4.0), (285, 4.0)]\n",
      "   833    -> [(274, 5.0), (461, 4.0)]\n",
      "   834    -> [(35, 5.0), (191, 4.0)]\n",
      "   835    -> [(229, 5.0), (372, 4.0)]\n",
      "   836    -> [(12, 4.0), (380, 4.0)]\n",
      "   837    -> [(246, 4.0), (262, 3.0)]\n",
      "   838    -> [(10, 4.0), (223, 4.0)]\n",
      "   839    -> [(326, 4.0), (203, 3.0)]\n",
      "   840    -> [(314, 5.0), (332, 3.0)]\n",
      "   841    -> [(329, 6.0), (331, 5.0)]\n",
      "   842    -> [(311, 5.0), (163, 4.0)]\n",
      "   843    -> [(401, 4.0), (479, 3.0)]\n",
      "   844    -> [(69, 5.0), (374, 5.0)]\n",
      "   845    -> [(294, 6.0), (312, 4.0)]\n",
      "   846    -> [(259, 3.0), (175, 2.0)]\n",
      "   847    -> [(363, 4.0), (156, 3.0)]\n",
      "   848    -> [(377, 4.0), (127, 3.0)]\n",
      "   849    -> [(53, 4.0), (135, 3.0)]\n",
      "   850    -> [(89, 3.0), (385, 3.0)]\n",
      "   851    -> [(46, 6.0), (66, 5.0)]\n",
      "   852    -> [(386, 6.0), (283, 5.0)]\n",
      "   853    -> [(428, 2.0), (135, 2.0)]\n",
      "   854    -> [(403, 4.0), (280, 3.0)]\n",
      "   855    -> [(381, 3.0), (479, 3.0)]\n",
      "   856    -> [(210, 4.0), (273, 3.0)]\n",
      "   857    -> [(38, 4.0), (289, 4.0)]\n",
      "   858    -> [(158, 4.0), (203, 3.0)]\n",
      "   859    -> [(224, 4.0), (45, 3.0)]\n",
      "   860    -> [(156, 3.0), (330, 3.0)]\n",
      "   861    -> [(383, 3.0), (215, 3.0)]\n",
      "   862    -> [(124, 4.0), (180, 4.0)]\n",
      "   863    -> [(487, 5.0), (182, 4.0)]\n",
      "   864    -> [(300, 6.0), (117, 5.0)]\n",
      "   865    -> [(448, 6.0), (226, 5.0)]\n",
      "   866    -> [(29, 4.0), (315, 3.0)]\n",
      "   867    -> [(377, 5.0), (494, 4.0)]\n",
      "   868    -> [(39, 4.0), (362, 3.0)]\n",
      "   869    -> [(294, 4.0), (397, 3.0)]\n",
      "   870    -> [(49, 5.0), (447, 5.0)]\n",
      "   871    -> [(210, 5.0), (327, 4.0)]\n",
      "   872    -> [(233, 3.0), (216, 2.0)]\n",
      "   873    -> [(423, 5.0), (296, 4.0)]\n",
      "   874    -> [(379, 4.0), (358, 3.0)]\n",
      "   875    -> [(338, 5.0), (121, 4.0)]\n",
      "   876    -> [(38, 4.0), (491, 3.0)]\n",
      "   877    -> [(49, 5.0), (271, 4.0)]\n",
      "   878    -> [(391, 4.0), (325, 3.0)]\n",
      "   879    -> [(179, 4.0), (427, 4.0)]\n",
      "   880    -> [(442, 4.0), (122, 3.0)]\n",
      "   881    -> [(236, 4.0), (357, 3.0)]\n",
      "   882    -> [(250, 5.0), (471, 3.0)]\n",
      "   883    -> [(489, 5.0), (48, 4.0)]\n",
      "   884    -> [(300, 6.0), (260, 5.0)]\n",
      "   885    -> [(126, 5.0), (164, 4.0)]\n",
      "   886    -> [(446, 4.0), (413, 4.0)]\n",
      "   887    -> [(3, 4.0), (239, 3.0)]\n",
      "   888    -> [(20, 4.0), (395, 3.0)]\n",
      "   889    -> [(394, 3.0), (71, 3.0)]\n",
      "   890    -> [(318, 6.0), (36, 5.0)]\n",
      "   891    -> [(229, 5.0), (81, 4.0)]\n",
      "   892    -> [(90, 5.0), (345, 5.0)]\n",
      "   893    -> [(83, 4.0), (260, 3.0)]\n",
      "   894    -> [(207, 4.0), (216, 4.0)]\n",
      "   895    -> [(27, 5.0), (353, 4.0)]\n",
      "   896    -> [(172, 4.0), (322, 3.0)]\n",
      "   897    -> [(256, 5.0), (122, 4.0)]\n",
      "   898    -> [(198, 6.0), (11, 5.0)]\n",
      "   899    -> [(264, 5.0), (139, 3.0)]\n",
      "   900    -> [(212, 4.0), (122, 3.0)]\n",
      "   901    -> [(119, 4.0), (122, 3.0)]\n",
      "   902    -> [(221, 5.0), (297, 4.0)]\n",
      "   903    -> [(72, 4.0), (332, 3.0)]\n",
      "   904    -> [(116, 4.0), (164, 3.0)]\n",
      "   905    -> [(169, 5.0), (123, 4.0)]\n",
      "   906    -> [(308, 4.0), (477, 4.0)]\n",
      "   907    -> [(172, 3.0), (292, 2.0)]\n",
      "   908    -> [(236, 5.0), (26, 4.0)]\n",
      "   909    -> [(375, 6.0), (133, 4.0)]\n",
      "   910    -> [(19, 4.0), (404, 3.0)]\n",
      "   911    -> [(13, 5.0), (115, 4.0)]\n",
      "   912    -> [(207, 4.0), (289, 4.0)]\n",
      "   913    -> [(359, 5.0), (484, 3.0)]\n",
      "   914    -> [(207, 6.0), (247, 4.0)]\n",
      "   915    -> [(137, 5.0), (48, 4.0)]\n",
      "   916    -> [(310, 6.0), (330, 5.0)]\n",
      "   917    -> [(451, 5.0), (482, 4.0)]\n",
      "   918    -> [(137, 4.0), (413, 3.0)]\n",
      "   919    -> [(83, 5.0), (371, 4.0)]\n",
      "   920    -> [(405, 4.0), (95, 3.0)]\n",
      "   921    -> [(196, 5.0), (128, 4.0)]\n",
      "   922    -> [(455, 5.0), (97, 4.0)]\n",
      "   923    -> [(143, 4.0), (6, 3.0)]\n"
     ]
    },
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "   924    -> [(110, 6.0), (26, 5.0)]\n",
      "   925    -> [(495, 5.0), (23, 4.0)]\n",
      "   926    -> [(478, 5.0), (218, 4.0)]\n",
      "   927    -> [(145, 5.0), (43, 4.0)]\n",
      "   928    -> [(191, 5.0), (182, 5.0)]\n",
      "   929    -> [(202, 5.0), (412, 3.0)]\n",
      "   930    -> [(391, 5.0), (330, 5.0)]\n",
      "   931    -> [(355, 5.0), (60, 4.0)]\n",
      "   932    -> [(140, 4.0), (345, 4.0)]\n",
      "   933    -> [(44, 5.0), (170, 5.0)]\n",
      "   934    -> [(29, 6.0), (439, 4.0)]\n",
      "   935    -> [(39, 5.0), (352, 4.0)]\n",
      "   936    -> [(63, 4.0), (447, 3.0)]\n",
      "   937    -> [(472, 3.0), (275, 3.0)]\n",
      "   938    -> [(121, 4.0), (117, 4.0)]\n",
      "   939    -> [(88, 5.0), (85, 4.0)]\n",
      "   940    -> [(480, 5.0), (459, 4.0)]\n",
      "   941    -> [(100, 5.0), (36, 4.0)]\n",
      "   942    -> [(17, 3.0), (396, 3.0)]\n",
      "   943    -> [(458, 6.0), (76, 4.0)]\n",
      "   944    -> [(179, 4.0), (32, 4.0)]\n",
      "   945    -> [(3, 6.0), (36, 4.0)]\n",
      "   946    -> [(167, 5.0), (34, 4.0)]\n",
      "   947    -> [(44, 5.0), (486, 4.0)]\n",
      "   948    -> [(355, 4.0), (341, 3.0)]\n",
      "   949    -> [(59, 5.0), (70, 5.0)]\n",
      "   950    -> [(477, 4.0), (299, 4.0)]\n",
      "   951    -> [(53, 5.0), (73, 4.0)]\n",
      "   952    -> [(403, 4.0), (483, 3.0)]\n",
      "   953    -> [(159, 5.0), (344, 4.0)]\n",
      "   954    -> [(215, 5.0), (45, 5.0)]\n",
      "   955    -> [(279, 4.0), (397, 3.0)]\n",
      "   956    -> [(401, 3.0), (429, 3.0)]\n",
      "   957    -> [(218, 4.0), (189, 4.0)]\n",
      "   958    -> [(46, 5.0), (152, 4.0)]\n",
      "   959    -> [(314, 5.0), (166, 4.0)]\n",
      "   960    -> [(443, 5.0), (319, 4.0)]\n",
      "   961    -> [(338, 5.0), (322, 4.0)]\n",
      "   962    -> [(201, 4.0), (362, 3.0)]\n",
      "   963    -> [(326, 3.0), (200, 2.0)]\n",
      "   964    -> [(369, 4.0), (166, 4.0)]\n",
      "   965    -> [(347, 5.0), (240, 4.0)]\n",
      "   966    -> [(40, 5.0), (195, 4.0)]\n",
      "   967    -> [(68, 4.0), (481, 3.0)]\n",
      "   968    -> [(284, 5.0), (458, 4.0)]\n",
      "   969    -> [(116, 6.0), (351, 5.0)]\n",
      "   970    -> [(137, 4.0), (278, 4.0)]\n",
      "   971    -> [(280, 5.0), (120, 5.0)]\n",
      "   972    -> [(475, 4.0), (401, 4.0)]\n",
      "   973    -> [(233, 5.0), (107, 4.0)]\n",
      "   974    -> [(44, 5.0), (99, 4.0)]\n",
      "   975    -> [(340, 5.0), (92, 4.0)]\n",
      "   976    -> [(303, 5.0), (474, 4.0)]\n",
      "   977    -> [(137, 7.0), (41, 5.0)]\n",
      "   978    -> [(103, 5.0), (460, 3.0)]\n",
      "   979    -> [(230, 4.0), (258, 4.0)]\n",
      "   980    -> [(198, 4.0), (182, 3.0)]\n",
      "   981    -> [(342, 4.0), (205, 4.0)]\n",
      "   982    -> [(321, 5.0), (445, 5.0)]\n",
      "   983    -> [(68, 3.0), (406, 2.0)]\n",
      "   984    -> [(218, 4.0), (358, 4.0)]\n",
      "   985    -> [(225, 4.0), (157, 3.0)]\n",
      "   986    -> [(32, 5.0), (142, 4.0)]\n",
      "   987    -> [(42, 4.0), (447, 3.0)]\n",
      "   988    -> [(2, 5.0), (371, 4.0)]\n",
      "   989    -> [(140, 4.0), (280, 4.0)]\n",
      "   990    -> [(131, 4.0), (270, 3.0)]\n",
      "   991    -> [(329, 7.0), (271, 4.0)]\n",
      "   992    -> [(478, 5.0), (228, 4.0)]\n",
      "   993    -> [(78, 3.0), (247, 2.0)]\n",
      "   994    -> [(110, 4.0), (312, 4.0)]\n",
      "   995    -> [(288, 7.0), (150, 5.0)]\n",
      "   996    -> [(172, 4.0), (247, 3.0)]\n",
      "   997    -> [(298, 5.0), (491, 4.0)]\n",
      "   998    -> [(455, 4.0), (323, 3.0)]\n",
      "   999    -> [(145, 4.0), (380, 3.0)]\n"
     ]
    },
    {
     "data": {
      "text/plain": [
       "0"
      ]
     },
     "execution_count": 3,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "mm.print_assignment(S,final_assignment)\n"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": []
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "Python 2",
   "language": "python",
   "name": "python2"
  },
  "language_info": {
   "codemirror_mode": {
    "name": "ipython",
    "version": 2
   },
   "file_extension": ".py",
   "mimetype": "text/x-python",
   "name": "python",
   "nbconvert_exporter": "python",
   "pygments_lexer": "ipython2",
   "version": "2.7.14"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 2
}