(Colab)1_Semanti_Legal_searcher(SLS).ipynb

{
  "nbformat": 4,
  "nbformat_minor": 0,
  "metadata": {
    "colab": {
      "provenance": [],
      "collapsed_sections": [
        "qdMKk4fSKB0h",
        "1EeY1elbK6w2"
      ]
    },
    "kernelspec": {
      "name": "python3",
      "display_name": "Python 3"
    },
    "language_info": {
      "name": "python"
    },
    "accelerator": "GPU",
    "gpuClass": "standard",
    "widgets": {
      "application/vnd.jupyter.widget-state+json": {
        "1ac046f6cc98439c87d4f355366c9be2": {
          "model_module": "@jupyter-widgets/controls",
          "model_name": "HBoxModel",
          "model_module_version": "1.5.0",
          "state": {
            "_dom_classes": [],
            "_model_module": "@jupyter-widgets/controls",
            "_model_module_version": "1.5.0",
            "_model_name": "HBoxModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/controls",
            "_view_module_version": "1.5.0",
            "_view_name": "HBoxView",
            "box_style": "",
            "children": [
              "IPY_MODEL_1fca570fa23f44a98e00b0eae1c0ef65",
              "IPY_MODEL_0fac85408b5445a6a5b7371116179b44",
              "IPY_MODEL_58d4cdf7167e47d6a99ee7ce04c0b2df"
            ],
            "layout": "IPY_MODEL_dc777f4aa79b435aaec4fb1e81b7b5ac"
          }
        },
        "1fca570fa23f44a98e00b0eae1c0ef65": {
          "model_module": "@jupyter-widgets/controls",
          "model_name": "HTMLModel",
          "model_module_version": "1.5.0",
          "state": {
            "_dom_classes": [],
            "_model_module": "@jupyter-widgets/controls",
            "_model_module_version": "1.5.0",
            "_model_name": "HTMLModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/controls",
            "_view_module_version": "1.5.0",
            "_view_name": "HTMLView",
            "description": "",
            "description_tooltip": null,
            "layout": "IPY_MODEL_d681e8ed5ac74db5a369417782e55f62",
            "placeholder": "​",
            "style": "IPY_MODEL_9955a814b67e41d3a54cbf72cb800681",
            "value": "Batches: 100%"
          }
        },
        "0fac85408b5445a6a5b7371116179b44": {
          "model_module": "@jupyter-widgets/controls",
          "model_name": "FloatProgressModel",
          "model_module_version": "1.5.0",
          "state": {
            "_dom_classes": [],
            "_model_module": "@jupyter-widgets/controls",
            "_model_module_version": "1.5.0",
            "_model_name": "FloatProgressModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/controls",
            "_view_module_version": "1.5.0",
            "_view_name": "ProgressView",
            "bar_style": "success",
            "description": "",
            "description_tooltip": null,
            "layout": "IPY_MODEL_60574ee10a114db9aadd72ae2902a6be",
            "max": 625,
            "min": 0,
            "orientation": "horizontal",
            "style": "IPY_MODEL_880475949ceb4f07976ba0bfbcef7841",
            "value": 625
          }
        },
        "58d4cdf7167e47d6a99ee7ce04c0b2df": {
          "model_module": "@jupyter-widgets/controls",
          "model_name": "HTMLModel",
          "model_module_version": "1.5.0",
          "state": {
            "_dom_classes": [],
            "_model_module": "@jupyter-widgets/controls",
            "_model_module_version": "1.5.0",
            "_model_name": "HTMLModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/controls",
            "_view_module_version": "1.5.0",
            "_view_name": "HTMLView",
            "description": "",
            "description_tooltip": null,
            "layout": "IPY_MODEL_4d803102d6db4bbfaf9cbb38e4ffdff4",
            "placeholder": "​",
            "style": "IPY_MODEL_31d0e2e4b58e42db83b5b869cb40382f",
            "value": " 625/625 [08:22&lt;00:00,  9.01it/s]"
          }
        },
        "dc777f4aa79b435aaec4fb1e81b7b5ac": {
          "model_module": "@jupyter-widgets/base",
          "model_name": "LayoutModel",
          "model_module_version": "1.2.0",
          "state": {
            "_model_module": "@jupyter-widgets/base",
            "_model_module_version": "1.2.0",
            "_model_name": "LayoutModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/base",
            "_view_module_version": "1.2.0",
            "_view_name": "LayoutView",
            "align_content": null,
            "align_items": null,
            "align_self": null,
            "border": null,
            "bottom": null,
            "display": null,
            "flex": null,
            "flex_flow": null,
            "grid_area": null,
            "grid_auto_columns": null,
            "grid_auto_flow": null,
            "grid_auto_rows": null,
            "grid_column": null,
            "grid_gap": null,
            "grid_row": null,
            "grid_template_areas": null,
            "grid_template_columns": null,
            "grid_template_rows": null,
            "height": null,
            "justify_content": null,
            "justify_items": null,
            "left": null,
            "margin": null,
            "max_height": null,
            "max_width": null,
            "min_height": null,
            "min_width": null,
            "object_fit": null,
            "object_position": null,
            "order": null,
            "overflow": null,
            "overflow_x": null,
            "overflow_y": null,
            "padding": null,
            "right": null,
            "top": null,
            "visibility": null,
            "width": null
          }
        },
        "d681e8ed5ac74db5a369417782e55f62": {
          "model_module": "@jupyter-widgets/base",
          "model_name": "LayoutModel",
          "model_module_version": "1.2.0",
          "state": {
            "_model_module": "@jupyter-widgets/base",
            "_model_module_version": "1.2.0",
            "_model_name": "LayoutModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/base",
            "_view_module_version": "1.2.0",
            "_view_name": "LayoutView",
            "align_content": null,
            "align_items": null,
            "align_self": null,
            "border": null,
            "bottom": null,
            "display": null,
            "flex": null,
            "flex_flow": null,
            "grid_area": null,
            "grid_auto_columns": null,
            "grid_auto_flow": null,
            "grid_auto_rows": null,
            "grid_column": null,
            "grid_gap": null,
            "grid_row": null,
            "grid_template_areas": null,
            "grid_template_columns": null,
            "grid_template_rows": null,
            "height": null,
            "justify_content": null,
            "justify_items": null,
            "left": null,
            "margin": null,
            "max_height": null,
            "max_width": null,
            "min_height": null,
            "min_width": null,
            "object_fit": null,
            "object_position": null,
            "order": null,
            "overflow": null,
            "overflow_x": null,
            "overflow_y": null,
            "padding": null,
            "right": null,
            "top": null,
            "visibility": null,
            "width": null
          }
        },
        "9955a814b67e41d3a54cbf72cb800681": {
          "model_module": "@jupyter-widgets/controls",
          "model_name": "DescriptionStyleModel",
          "model_module_version": "1.5.0",
          "state": {
            "_model_module": "@jupyter-widgets/controls",
            "_model_module_version": "1.5.0",
            "_model_name": "DescriptionStyleModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/base",
            "_view_module_version": "1.2.0",
            "_view_name": "StyleView",
            "description_width": ""
          }
        },
        "60574ee10a114db9aadd72ae2902a6be": {
          "model_module": "@jupyter-widgets/base",
          "model_name": "LayoutModel",
          "model_module_version": "1.2.0",
          "state": {
            "_model_module": "@jupyter-widgets/base",
            "_model_module_version": "1.2.0",
            "_model_name": "LayoutModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/base",
            "_view_module_version": "1.2.0",
            "_view_name": "LayoutView",
            "align_content": null,
            "align_items": null,
            "align_self": null,
            "border": null,
            "bottom": null,
            "display": null,
            "flex": null,
            "flex_flow": null,
            "grid_area": null,
            "grid_auto_columns": null,
            "grid_auto_flow": null,
            "grid_auto_rows": null,
            "grid_column": null,
            "grid_gap": null,
            "grid_row": null,
            "grid_template_areas": null,
            "grid_template_columns": null,
            "grid_template_rows": null,
            "height": null,
            "justify_content": null,
            "justify_items": null,
            "left": null,
            "margin": null,
            "max_height": null,
            "max_width": null,
            "min_height": null,
            "min_width": null,
            "object_fit": null,
            "object_position": null,
            "order": null,
            "overflow": null,
            "overflow_x": null,
            "overflow_y": null,
            "padding": null,
            "right": null,
            "top": null,
            "visibility": null,
            "width": null
          }
        },
        "880475949ceb4f07976ba0bfbcef7841": {
          "model_module": "@jupyter-widgets/controls",
          "model_name": "ProgressStyleModel",
          "model_module_version": "1.5.0",
          "state": {
            "_model_module": "@jupyter-widgets/controls",
            "_model_module_version": "1.5.0",
            "_model_name": "ProgressStyleModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/base",
            "_view_module_version": "1.2.0",
            "_view_name": "StyleView",
            "bar_color": null,
            "description_width": ""
          }
        },
        "4d803102d6db4bbfaf9cbb38e4ffdff4": {
          "model_module": "@jupyter-widgets/base",
          "model_name": "LayoutModel",
          "model_module_version": "1.2.0",
          "state": {
            "_model_module": "@jupyter-widgets/base",
            "_model_module_version": "1.2.0",
            "_model_name": "LayoutModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/base",
            "_view_module_version": "1.2.0",
            "_view_name": "LayoutView",
            "align_content": null,
            "align_items": null,
            "align_self": null,
            "border": null,
            "bottom": null,
            "display": null,
            "flex": null,
            "flex_flow": null,
            "grid_area": null,
            "grid_auto_columns": null,
            "grid_auto_flow": null,
            "grid_auto_rows": null,
            "grid_column": null,
            "grid_gap": null,
            "grid_row": null,
            "grid_template_areas": null,
            "grid_template_columns": null,
            "grid_template_rows": null,
            "height": null,
            "justify_content": null,
            "justify_items": null,
            "left": null,
            "margin": null,
            "max_height": null,
            "max_width": null,
            "min_height": null,
            "min_width": null,
            "object_fit": null,
            "object_position": null,
            "order": null,
            "overflow": null,
            "overflow_x": null,
            "overflow_y": null,
            "padding": null,
            "right": null,
            "top": null,
            "visibility": null,
            "width": null
          }
        },
        "31d0e2e4b58e42db83b5b869cb40382f": {
          "model_module": "@jupyter-widgets/controls",
          "model_name": "DescriptionStyleModel",
          "model_module_version": "1.5.0",
          "state": {
            "_model_module": "@jupyter-widgets/controls",
            "_model_module_version": "1.5.0",
            "_model_name": "DescriptionStyleModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/base",
            "_view_module_version": "1.2.0",
            "_view_name": "StyleView",
            "description_width": ""
          }
        },
        "fa4d0ac4c62f40bda3d3cd4bf3c18e20": {
          "model_module": "@jupyter-widgets/controls",
          "model_name": "HBoxModel",
          "model_module_version": "1.5.0",
          "state": {
            "_dom_classes": [],
            "_model_module": "@jupyter-widgets/controls",
            "_model_module_version": "1.5.0",
            "_model_name": "HBoxModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/controls",
            "_view_module_version": "1.5.0",
            "_view_name": "HBoxView",
            "box_style": "",
            "children": [
              "IPY_MODEL_b81197f3c69f4449b859b87189871616",
              "IPY_MODEL_82ca0a96432342d6b288b61da2fdda14",
              "IPY_MODEL_00c0049ebacc46d6a1b832c9eded26c3"
            ],
            "layout": "IPY_MODEL_2e6625e6db08467687615463693b044b"
          }
        },
        "b81197f3c69f4449b859b87189871616": {
          "model_module": "@jupyter-widgets/controls",
          "model_name": "HTMLModel",
          "model_module_version": "1.5.0",
          "state": {
            "_dom_classes": [],
            "_model_module": "@jupyter-widgets/controls",
            "_model_module_version": "1.5.0",
            "_model_name": "HTMLModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/controls",
            "_view_module_version": "1.5.0",
            "_view_name": "HTMLView",
            "description": "",
            "description_tooltip": null,
            "layout": "IPY_MODEL_2b82b565526e40f79d660c0c76cc471d",
            "placeholder": "​",
            "style": "IPY_MODEL_efca2b9a43eb4f7889d0a64bf116bd48",
            "value": "Batches: 100%"
          }
        },
        "82ca0a96432342d6b288b61da2fdda14": {
          "model_module": "@jupyter-widgets/controls",
          "model_name": "FloatProgressModel",
          "model_module_version": "1.5.0",
          "state": {
            "_dom_classes": [],
            "_model_module": "@jupyter-widgets/controls",
            "_model_module_version": "1.5.0",
            "_model_name": "FloatProgressModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/controls",
            "_view_module_version": "1.5.0",
            "_view_name": "ProgressView",
            "bar_style": "success",
            "description": "",
            "description_tooltip": null,
            "layout": "IPY_MODEL_e5e7ad5a79ba4e4da5636a46f39fbf0b",
            "max": 625,
            "min": 0,
            "orientation": "horizontal",
            "style": "IPY_MODEL_64e0189baddc4402ae9c5f6020fb0478",
            "value": 625
          }
        },
        "00c0049ebacc46d6a1b832c9eded26c3": {
          "model_module": "@jupyter-widgets/controls",
          "model_name": "HTMLModel",
          "model_module_version": "1.5.0",
          "state": {
            "_dom_classes": [],
            "_model_module": "@jupyter-widgets/controls",
            "_model_module_version": "1.5.0",
            "_model_name": "HTMLModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/controls",
            "_view_module_version": "1.5.0",
            "_view_name": "HTMLView",
            "description": "",
            "description_tooltip": null,
            "layout": "IPY_MODEL_87a48065f55c4f5cbc3d2a34cc50cca0",
            "placeholder": "​",
            "style": "IPY_MODEL_2952373dced946b6a02a38445e782f50",
            "value": " 625/625 [00:34&lt;00:00, 22.61it/s]"
          }
        },
        "2e6625e6db08467687615463693b044b": {
          "model_module": "@jupyter-widgets/base",
          "model_name": "LayoutModel",
          "model_module_version": "1.2.0",
          "state": {
            "_model_module": "@jupyter-widgets/base",
            "_model_module_version": "1.2.0",
            "_model_name": "LayoutModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/base",
            "_view_module_version": "1.2.0",
            "_view_name": "LayoutView",
            "align_content": null,
            "align_items": null,
            "align_self": null,
            "border": null,
            "bottom": null,
            "display": null,
            "flex": null,
            "flex_flow": null,
            "grid_area": null,
            "grid_auto_columns": null,
            "grid_auto_flow": null,
            "grid_auto_rows": null,
            "grid_column": null,
            "grid_gap": null,
            "grid_row": null,
            "grid_template_areas": null,
            "grid_template_columns": null,
            "grid_template_rows": null,
            "height": null,
            "justify_content": null,
            "justify_items": null,
            "left": null,
            "margin": null,
            "max_height": null,
            "max_width": null,
            "min_height": null,
            "min_width": null,
            "object_fit": null,
            "object_position": null,
            "order": null,
            "overflow": null,
            "overflow_x": null,
            "overflow_y": null,
            "padding": null,
            "right": null,
            "top": null,
            "visibility": null,
            "width": null
          }
        },
        "2b82b565526e40f79d660c0c76cc471d": {
          "model_module": "@jupyter-widgets/base",
          "model_name": "LayoutModel",
          "model_module_version": "1.2.0",
          "state": {
            "_model_module": "@jupyter-widgets/base",
            "_model_module_version": "1.2.0",
            "_model_name": "LayoutModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/base",
            "_view_module_version": "1.2.0",
            "_view_name": "LayoutView",
            "align_content": null,
            "align_items": null,
            "align_self": null,
            "border": null,
            "bottom": null,
            "display": null,
            "flex": null,
            "flex_flow": null,
            "grid_area": null,
            "grid_auto_columns": null,
            "grid_auto_flow": null,
            "grid_auto_rows": null,
            "grid_column": null,
            "grid_gap": null,
            "grid_row": null,
            "grid_template_areas": null,
            "grid_template_columns": null,
            "grid_template_rows": null,
            "height": null,
            "justify_content": null,
            "justify_items": null,
            "left": null,
            "margin": null,
            "max_height": null,
            "max_width": null,
            "min_height": null,
            "min_width": null,
            "object_fit": null,
            "object_position": null,
            "order": null,
            "overflow": null,
            "overflow_x": null,
            "overflow_y": null,
            "padding": null,
            "right": null,
            "top": null,
            "visibility": null,
            "width": null
          }
        },
        "efca2b9a43eb4f7889d0a64bf116bd48": {
          "model_module": "@jupyter-widgets/controls",
          "model_name": "DescriptionStyleModel",
          "model_module_version": "1.5.0",
          "state": {
            "_model_module": "@jupyter-widgets/controls",
            "_model_module_version": "1.5.0",
            "_model_name": "DescriptionStyleModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/base",
            "_view_module_version": "1.2.0",
            "_view_name": "StyleView",
            "description_width": ""
          }
        },
        "e5e7ad5a79ba4e4da5636a46f39fbf0b": {
          "model_module": "@jupyter-widgets/base",
          "model_name": "LayoutModel",
          "model_module_version": "1.2.0",
          "state": {
            "_model_module": "@jupyter-widgets/base",
            "_model_module_version": "1.2.0",
            "_model_name": "LayoutModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/base",
            "_view_module_version": "1.2.0",
            "_view_name": "LayoutView",
            "align_content": null,
            "align_items": null,
            "align_self": null,
            "border": null,
            "bottom": null,
            "display": null,
            "flex": null,
            "flex_flow": null,
            "grid_area": null,
            "grid_auto_columns": null,
            "grid_auto_flow": null,
            "grid_auto_rows": null,
            "grid_column": null,
            "grid_gap": null,
            "grid_row": null,
            "grid_template_areas": null,
            "grid_template_columns": null,
            "grid_template_rows": null,
            "height": null,
            "justify_content": null,
            "justify_items": null,
            "left": null,
            "margin": null,
            "max_height": null,
            "max_width": null,
            "min_height": null,
            "min_width": null,
            "object_fit": null,
            "object_position": null,
            "order": null,
            "overflow": null,
            "overflow_x": null,
            "overflow_y": null,
            "padding": null,
            "right": null,
            "top": null,
            "visibility": null,
            "width": null
          }
        },
        "64e0189baddc4402ae9c5f6020fb0478": {
          "model_module": "@jupyter-widgets/controls",
          "model_name": "ProgressStyleModel",
          "model_module_version": "1.5.0",
          "state": {
            "_model_module": "@jupyter-widgets/controls",
            "_model_module_version": "1.5.0",
            "_model_name": "ProgressStyleModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/base",
            "_view_module_version": "1.2.0",
            "_view_name": "StyleView",
            "bar_color": null,
            "description_width": ""
          }
        },
        "87a48065f55c4f5cbc3d2a34cc50cca0": {
          "model_module": "@jupyter-widgets/base",
          "model_name": "LayoutModel",
          "model_module_version": "1.2.0",
          "state": {
            "_model_module": "@jupyter-widgets/base",
            "_model_module_version": "1.2.0",
            "_model_name": "LayoutModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/base",
            "_view_module_version": "1.2.0",
            "_view_name": "LayoutView",
            "align_content": null,
            "align_items": null,
            "align_self": null,
            "border": null,
            "bottom": null,
            "display": null,
            "flex": null,
            "flex_flow": null,
            "grid_area": null,
            "grid_auto_columns": null,
            "grid_auto_flow": null,
            "grid_auto_rows": null,
            "grid_column": null,
            "grid_gap": null,
            "grid_row": null,
            "grid_template_areas": null,
            "grid_template_columns": null,
            "grid_template_rows": null,
            "height": null,
            "justify_content": null,
            "justify_items": null,
            "left": null,
            "margin": null,
            "max_height": null,
            "max_width": null,
            "min_height": null,
            "min_width": null,
            "object_fit": null,
            "object_position": null,
            "order": null,
            "overflow": null,
            "overflow_x": null,
            "overflow_y": null,
            "padding": null,
            "right": null,
            "top": null,
            "visibility": null,
            "width": null
          }
        },
        "2952373dced946b6a02a38445e782f50": {
          "model_module": "@jupyter-widgets/controls",
          "model_name": "DescriptionStyleModel",
          "model_module_version": "1.5.0",
          "state": {
            "_model_module": "@jupyter-widgets/controls",
            "_model_module_version": "1.5.0",
            "_model_name": "DescriptionStyleModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/base",
            "_view_module_version": "1.2.0",
            "_view_name": "StyleView",
            "description_width": ""
          }
        },
        "7741b8ee41724907b1722c97a1b4c1c0": {
          "model_module": "@jupyter-widgets/controls",
          "model_name": "HBoxModel",
          "model_module_version": "1.5.0",
          "state": {
            "_dom_classes": [],
            "_model_module": "@jupyter-widgets/controls",
            "_model_module_version": "1.5.0",
            "_model_name": "HBoxModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/controls",
            "_view_module_version": "1.5.0",
            "_view_name": "HBoxView",
            "box_style": "",
            "children": [
              "IPY_MODEL_06735d842421418d86134359168aa93a",
              "IPY_MODEL_b8c7dfe716da447bad5c5e870084049c",
              "IPY_MODEL_5222316ab3e54c699c6bdf2b16b80997"
            ],
            "layout": "IPY_MODEL_25c70533b4ef448f917581209a9c25c5"
          }
        },
        "06735d842421418d86134359168aa93a": {
          "model_module": "@jupyter-widgets/controls",
          "model_name": "HTMLModel",
          "model_module_version": "1.5.0",
          "state": {
            "_dom_classes": [],
            "_model_module": "@jupyter-widgets/controls",
            "_model_module_version": "1.5.0",
            "_model_name": "HTMLModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/controls",
            "_view_module_version": "1.5.0",
            "_view_name": "HTMLView",
            "description": "",
            "description_tooltip": null,
            "layout": "IPY_MODEL_166d53f076154c81b18bced749e8a5e9",
            "placeholder": "​",
            "style": "IPY_MODEL_a00d41fa07904c9bbde9747eb253793a",
            "value": "Batches: 100%"
          }
        },
        "b8c7dfe716da447bad5c5e870084049c": {
          "model_module": "@jupyter-widgets/controls",
          "model_name": "FloatProgressModel",
          "model_module_version": "1.5.0",
          "state": {
            "_dom_classes": [],
            "_model_module": "@jupyter-widgets/controls",
            "_model_module_version": "1.5.0",
            "_model_name": "FloatProgressModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/controls",
            "_view_module_version": "1.5.0",
            "_view_name": "ProgressView",
            "bar_style": "success",
            "description": "",
            "description_tooltip": null,
            "layout": "IPY_MODEL_c7fa6a8dba4f47839139eabe6415bcf3",
            "max": 625,
            "min": 0,
            "orientation": "horizontal",
            "style": "IPY_MODEL_976d606ffc4d4bd1b4ade1f270959b22",
            "value": 625
          }
        },
        "5222316ab3e54c699c6bdf2b16b80997": {
          "model_module": "@jupyter-widgets/controls",
          "model_name": "HTMLModel",
          "model_module_version": "1.5.0",
          "state": {
            "_dom_classes": [],
            "_model_module": "@jupyter-widgets/controls",
            "_model_module_version": "1.5.0",
            "_model_name": "HTMLModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/controls",
            "_view_module_version": "1.5.0",
            "_view_name": "HTMLView",
            "description": "",
            "description_tooltip": null,
            "layout": "IPY_MODEL_7bd68c43b5964eafb72b7f05b0267fa1",
            "placeholder": "​",
            "style": "IPY_MODEL_4e9a8f9cff2f4471bec2d54bd41ed80b",
            "value": " 625/625 [08:20&lt;00:00,  8.90it/s]"
          }
        },
        "25c70533b4ef448f917581209a9c25c5": {
          "model_module": "@jupyter-widgets/base",
          "model_name": "LayoutModel",
          "model_module_version": "1.2.0",
          "state": {
            "_model_module": "@jupyter-widgets/base",
            "_model_module_version": "1.2.0",
            "_model_name": "LayoutModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/base",
            "_view_module_version": "1.2.0",
            "_view_name": "LayoutView",
            "align_content": null,
            "align_items": null,
            "align_self": null,
            "border": null,
            "bottom": null,
            "display": null,
            "flex": null,
            "flex_flow": null,
            "grid_area": null,
            "grid_auto_columns": null,
            "grid_auto_flow": null,
            "grid_auto_rows": null,
            "grid_column": null,
            "grid_gap": null,
            "grid_row": null,
            "grid_template_areas": null,
            "grid_template_columns": null,
            "grid_template_rows": null,
            "height": null,
            "justify_content": null,
            "justify_items": null,
            "left": null,
            "margin": null,
            "max_height": null,
            "max_width": null,
            "min_height": null,
            "min_width": null,
            "object_fit": null,
            "object_position": null,
            "order": null,
            "overflow": null,
            "overflow_x": null,
            "overflow_y": null,
            "padding": null,
            "right": null,
            "top": null,
            "visibility": null,
            "width": null
          }
        },
        "166d53f076154c81b18bced749e8a5e9": {
          "model_module": "@jupyter-widgets/base",
          "model_name": "LayoutModel",
          "model_module_version": "1.2.0",
          "state": {
            "_model_module": "@jupyter-widgets/base",
            "_model_module_version": "1.2.0",
            "_model_name": "LayoutModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/base",
            "_view_module_version": "1.2.0",
            "_view_name": "LayoutView",
            "align_content": null,
            "align_items": null,
            "align_self": null,
            "border": null,
            "bottom": null,
            "display": null,
            "flex": null,
            "flex_flow": null,
            "grid_area": null,
            "grid_auto_columns": null,
            "grid_auto_flow": null,
            "grid_auto_rows": null,
            "grid_column": null,
            "grid_gap": null,
            "grid_row": null,
            "grid_template_areas": null,
            "grid_template_columns": null,
            "grid_template_rows": null,
            "height": null,
            "justify_content": null,
            "justify_items": null,
            "left": null,
            "margin": null,
            "max_height": null,
            "max_width": null,
            "min_height": null,
            "min_width": null,
            "object_fit": null,
            "object_position": null,
            "order": null,
            "overflow": null,
            "overflow_x": null,
            "overflow_y": null,
            "padding": null,
            "right": null,
            "top": null,
            "visibility": null,
            "width": null
          }
        },
        "a00d41fa07904c9bbde9747eb253793a": {
          "model_module": "@jupyter-widgets/controls",
          "model_name": "DescriptionStyleModel",
          "model_module_version": "1.5.0",
          "state": {
            "_model_module": "@jupyter-widgets/controls",
            "_model_module_version": "1.5.0",
            "_model_name": "DescriptionStyleModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/base",
            "_view_module_version": "1.2.0",
            "_view_name": "StyleView",
            "description_width": ""
          }
        },
        "c7fa6a8dba4f47839139eabe6415bcf3": {
          "model_module": "@jupyter-widgets/base",
          "model_name": "LayoutModel",
          "model_module_version": "1.2.0",
          "state": {
            "_model_module": "@jupyter-widgets/base",
            "_model_module_version": "1.2.0",
            "_model_name": "LayoutModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/base",
            "_view_module_version": "1.2.0",
            "_view_name": "LayoutView",
            "align_content": null,
            "align_items": null,
            "align_self": null,
            "border": null,
            "bottom": null,
            "display": null,
            "flex": null,
            "flex_flow": null,
            "grid_area": null,
            "grid_auto_columns": null,
            "grid_auto_flow": null,
            "grid_auto_rows": null,
            "grid_column": null,
            "grid_gap": null,
            "grid_row": null,
            "grid_template_areas": null,
            "grid_template_columns": null,
            "grid_template_rows": null,
            "height": null,
            "justify_content": null,
            "justify_items": null,
            "left": null,
            "margin": null,
            "max_height": null,
            "max_width": null,
            "min_height": null,
            "min_width": null,
            "object_fit": null,
            "object_position": null,
            "order": null,
            "overflow": null,
            "overflow_x": null,
            "overflow_y": null,
            "padding": null,
            "right": null,
            "top": null,
            "visibility": null,
            "width": null
          }
        },
        "976d606ffc4d4bd1b4ade1f270959b22": {
          "model_module": "@jupyter-widgets/controls",
          "model_name": "ProgressStyleModel",
          "model_module_version": "1.5.0",
          "state": {
            "_model_module": "@jupyter-widgets/controls",
            "_model_module_version": "1.5.0",
            "_model_name": "ProgressStyleModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/base",
            "_view_module_version": "1.2.0",
            "_view_name": "StyleView",
            "bar_color": null,
            "description_width": ""
          }
        },
        "7bd68c43b5964eafb72b7f05b0267fa1": {
          "model_module": "@jupyter-widgets/base",
          "model_name": "LayoutModel",
          "model_module_version": "1.2.0",
          "state": {
            "_model_module": "@jupyter-widgets/base",
            "_model_module_version": "1.2.0",
            "_model_name": "LayoutModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/base",
            "_view_module_version": "1.2.0",
            "_view_name": "LayoutView",
            "align_content": null,
            "align_items": null,
            "align_self": null,
            "border": null,
            "bottom": null,
            "display": null,
            "flex": null,
            "flex_flow": null,
            "grid_area": null,
            "grid_auto_columns": null,
            "grid_auto_flow": null,
            "grid_auto_rows": null,
            "grid_column": null,
            "grid_gap": null,
            "grid_row": null,
            "grid_template_areas": null,
            "grid_template_columns": null,
            "grid_template_rows": null,
            "height": null,
            "justify_content": null,
            "justify_items": null,
            "left": null,
            "margin": null,
            "max_height": null,
            "max_width": null,
            "min_height": null,
            "min_width": null,
            "object_fit": null,
            "object_position": null,
            "order": null,
            "overflow": null,
            "overflow_x": null,
            "overflow_y": null,
            "padding": null,
            "right": null,
            "top": null,
            "visibility": null,
            "width": null
          }
        },
        "4e9a8f9cff2f4471bec2d54bd41ed80b": {
          "model_module": "@jupyter-widgets/controls",
          "model_name": "DescriptionStyleModel",
          "model_module_version": "1.5.0",
          "state": {
            "_model_module": "@jupyter-widgets/controls",
            "_model_module_version": "1.5.0",
            "_model_name": "DescriptionStyleModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/base",
            "_view_module_version": "1.2.0",
            "_view_name": "StyleView",
            "description_width": ""
          }
        },
        "9963e613317e4c85a796aefbd59902a7": {
          "model_module": "@jupyter-widgets/controls",
          "model_name": "HBoxModel",
          "model_module_version": "1.5.0",
          "state": {
            "_dom_classes": [],
            "_model_module": "@jupyter-widgets/controls",
            "_model_module_version": "1.5.0",
            "_model_name": "HBoxModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/controls",
            "_view_module_version": "1.5.0",
            "_view_name": "HBoxView",
            "box_style": "",
            "children": [
              "IPY_MODEL_1cad91ecafd7494d80c669d4270113e6",
              "IPY_MODEL_771a3a601297439bb36649d797a36ed6",
              "IPY_MODEL_4cfc7bb6adc4404c903a8410901f513e"
            ],
            "layout": "IPY_MODEL_2ff27a8fd59e4d75b19598723c6f49d1"
          }
        },
        "1cad91ecafd7494d80c669d4270113e6": {
          "model_module": "@jupyter-widgets/controls",
          "model_name": "HTMLModel",
          "model_module_version": "1.5.0",
          "state": {
            "_dom_classes": [],
            "_model_module": "@jupyter-widgets/controls",
            "_model_module_version": "1.5.0",
            "_model_name": "HTMLModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/controls",
            "_view_module_version": "1.5.0",
            "_view_name": "HTMLView",
            "description": "",
            "description_tooltip": null,
            "layout": "IPY_MODEL_6fe8463be93242b4ace7a655f6f2ead4",
            "placeholder": "​",
            "style": "IPY_MODEL_e9d644c87d364d18801ed8fe5522c5b8",
            "value": "Batches: 100%"
          }
        },
        "771a3a601297439bb36649d797a36ed6": {
          "model_module": "@jupyter-widgets/controls",
          "model_name": "FloatProgressModel",
          "model_module_version": "1.5.0",
          "state": {
            "_dom_classes": [],
            "_model_module": "@jupyter-widgets/controls",
            "_model_module_version": "1.5.0",
            "_model_name": "FloatProgressModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/controls",
            "_view_module_version": "1.5.0",
            "_view_name": "ProgressView",
            "bar_style": "success",
            "description": "",
            "description_tooltip": null,
            "layout": "IPY_MODEL_fd5e4b6be2db470eb65490f18509fb4e",
            "max": 625,
            "min": 0,
            "orientation": "horizontal",
            "style": "IPY_MODEL_d2e0e846a5b64af09cf1f48c0c68ec2e",
            "value": 625
          }
        },
        "4cfc7bb6adc4404c903a8410901f513e": {
          "model_module": "@jupyter-widgets/controls",
          "model_name": "HTMLModel",
          "model_module_version": "1.5.0",
          "state": {
            "_dom_classes": [],
            "_model_module": "@jupyter-widgets/controls",
            "_model_module_version": "1.5.0",
            "_model_name": "HTMLModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/controls",
            "_view_module_version": "1.5.0",
            "_view_name": "HTMLView",
            "description": "",
            "description_tooltip": null,
            "layout": "IPY_MODEL_6b6b64cef4e14a15af31a16c04aef7a8",
            "placeholder": "​",
            "style": "IPY_MODEL_98f3404a8c244cc8a8476fe66e4547dc",
            "value": " 625/625 [00:34&lt;00:00, 22.49it/s]"
          }
        },
        "2ff27a8fd59e4d75b19598723c6f49d1": {
          "model_module": "@jupyter-widgets/base",
          "model_name": "LayoutModel",
          "model_module_version": "1.2.0",
          "state": {
            "_model_module": "@jupyter-widgets/base",
            "_model_module_version": "1.2.0",
            "_model_name": "LayoutModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/base",
            "_view_module_version": "1.2.0",
            "_view_name": "LayoutView",
            "align_content": null,
            "align_items": null,
            "align_self": null,
            "border": null,
            "bottom": null,
            "display": null,
            "flex": null,
            "flex_flow": null,
            "grid_area": null,
            "grid_auto_columns": null,
            "grid_auto_flow": null,
            "grid_auto_rows": null,
            "grid_column": null,
            "grid_gap": null,
            "grid_row": null,
            "grid_template_areas": null,
            "grid_template_columns": null,
            "grid_template_rows": null,
            "height": null,
            "justify_content": null,
            "justify_items": null,
            "left": null,
            "margin": null,
            "max_height": null,
            "max_width": null,
            "min_height": null,
            "min_width": null,
            "object_fit": null,
            "object_position": null,
            "order": null,
            "overflow": null,
            "overflow_x": null,
            "overflow_y": null,
            "padding": null,
            "right": null,
            "top": null,
            "visibility": null,
            "width": null
          }
        },
        "6fe8463be93242b4ace7a655f6f2ead4": {
          "model_module": "@jupyter-widgets/base",
          "model_name": "LayoutModel",
          "model_module_version": "1.2.0",
          "state": {
            "_model_module": "@jupyter-widgets/base",
            "_model_module_version": "1.2.0",
            "_model_name": "LayoutModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/base",
            "_view_module_version": "1.2.0",
            "_view_name": "LayoutView",
            "align_content": null,
            "align_items": null,
            "align_self": null,
            "border": null,
            "bottom": null,
            "display": null,
            "flex": null,
            "flex_flow": null,
            "grid_area": null,
            "grid_auto_columns": null,
            "grid_auto_flow": null,
            "grid_auto_rows": null,
            "grid_column": null,
            "grid_gap": null,
            "grid_row": null,
            "grid_template_areas": null,
            "grid_template_columns": null,
            "grid_template_rows": null,
            "height": null,
            "justify_content": null,
            "justify_items": null,
            "left": null,
            "margin": null,
            "max_height": null,
            "max_width": null,
            "min_height": null,
            "min_width": null,
            "object_fit": null,
            "object_position": null,
            "order": null,
            "overflow": null,
            "overflow_x": null,
            "overflow_y": null,
            "padding": null,
            "right": null,
            "top": null,
            "visibility": null,
            "width": null
          }
        },
        "e9d644c87d364d18801ed8fe5522c5b8": {
          "model_module": "@jupyter-widgets/controls",
          "model_name": "DescriptionStyleModel",
          "model_module_version": "1.5.0",
          "state": {
            "_model_module": "@jupyter-widgets/controls",
            "_model_module_version": "1.5.0",
            "_model_name": "DescriptionStyleModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/base",
            "_view_module_version": "1.2.0",
            "_view_name": "StyleView",
            "description_width": ""
          }
        },
        "fd5e4b6be2db470eb65490f18509fb4e": {
          "model_module": "@jupyter-widgets/base",
          "model_name": "LayoutModel",
          "model_module_version": "1.2.0",
          "state": {
            "_model_module": "@jupyter-widgets/base",
            "_model_module_version": "1.2.0",
            "_model_name": "LayoutModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/base",
            "_view_module_version": "1.2.0",
            "_view_name": "LayoutView",
            "align_content": null,
            "align_items": null,
            "align_self": null,
            "border": null,
            "bottom": null,
            "display": null,
            "flex": null,
            "flex_flow": null,
            "grid_area": null,
            "grid_auto_columns": null,
            "grid_auto_flow": null,
            "grid_auto_rows": null,
            "grid_column": null,
            "grid_gap": null,
            "grid_row": null,
            "grid_template_areas": null,
            "grid_template_columns": null,
            "grid_template_rows": null,
            "height": null,
            "justify_content": null,
            "justify_items": null,
            "left": null,
            "margin": null,
            "max_height": null,
            "max_width": null,
            "min_height": null,
            "min_width": null,
            "object_fit": null,
            "object_position": null,
            "order": null,
            "overflow": null,
            "overflow_x": null,
            "overflow_y": null,
            "padding": null,
            "right": null,
            "top": null,
            "visibility": null,
            "width": null
          }
        },
        "d2e0e846a5b64af09cf1f48c0c68ec2e": {
          "model_module": "@jupyter-widgets/controls",
          "model_name": "ProgressStyleModel",
          "model_module_version": "1.5.0",
          "state": {
            "_model_module": "@jupyter-widgets/controls",
            "_model_module_version": "1.5.0",
            "_model_name": "ProgressStyleModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/base",
            "_view_module_version": "1.2.0",
            "_view_name": "StyleView",
            "bar_color": null,
            "description_width": ""
          }
        },
        "6b6b64cef4e14a15af31a16c04aef7a8": {
          "model_module": "@jupyter-widgets/base",
          "model_name": "LayoutModel",
          "model_module_version": "1.2.0",
          "state": {
            "_model_module": "@jupyter-widgets/base",
            "_model_module_version": "1.2.0",
            "_model_name": "LayoutModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/base",
            "_view_module_version": "1.2.0",
            "_view_name": "LayoutView",
            "align_content": null,
            "align_items": null,
            "align_self": null,
            "border": null,
            "bottom": null,
            "display": null,
            "flex": null,
            "flex_flow": null,
            "grid_area": null,
            "grid_auto_columns": null,
            "grid_auto_flow": null,
            "grid_auto_rows": null,
            "grid_column": null,
            "grid_gap": null,
            "grid_row": null,
            "grid_template_areas": null,
            "grid_template_columns": null,
            "grid_template_rows": null,
            "height": null,
            "justify_content": null,
            "justify_items": null,
            "left": null,
            "margin": null,
            "max_height": null,
            "max_width": null,
            "min_height": null,
            "min_width": null,
            "object_fit": null,
            "object_position": null,
            "order": null,
            "overflow": null,
            "overflow_x": null,
            "overflow_y": null,
            "padding": null,
            "right": null,
            "top": null,
            "visibility": null,
            "width": null
          }
        },
        "98f3404a8c244cc8a8476fe66e4547dc": {
          "model_module": "@jupyter-widgets/controls",
          "model_name": "DescriptionStyleModel",
          "model_module_version": "1.5.0",
          "state": {
            "_model_module": "@jupyter-widgets/controls",
            "_model_module_version": "1.5.0",
            "_model_name": "DescriptionStyleModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/base",
            "_view_module_version": "1.2.0",
            "_view_name": "StyleView",
            "description_width": ""
          }
        },
        "cdbb56c51617489088ec04c80f1c5b02": {
          "model_module": "@jupyter-widgets/controls",
          "model_name": "HBoxModel",
          "model_module_version": "1.5.0",
          "state": {
            "_dom_classes": [],
            "_model_module": "@jupyter-widgets/controls",
            "_model_module_version": "1.5.0",
            "_model_name": "HBoxModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/controls",
            "_view_module_version": "1.5.0",
            "_view_name": "HBoxView",
            "box_style": "",
            "children": [
              "IPY_MODEL_dc1364a1e7ab471e82e048876da21666",
              "IPY_MODEL_f8bbedd9e7cf4984942da2ebc420e9fa",
              "IPY_MODEL_98a360e0a01d429aaeec8391c4ac40c1"
            ],
            "layout": "IPY_MODEL_555e67600bb8480ea2d1499950fe9b78"
          }
        },
        "dc1364a1e7ab471e82e048876da21666": {
          "model_module": "@jupyter-widgets/controls",
          "model_name": "HTMLModel",
          "model_module_version": "1.5.0",
          "state": {
            "_dom_classes": [],
            "_model_module": "@jupyter-widgets/controls",
            "_model_module_version": "1.5.0",
            "_model_name": "HTMLModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/controls",
            "_view_module_version": "1.5.0",
            "_view_name": "HTMLView",
            "description": "",
            "description_tooltip": null,
            "layout": "IPY_MODEL_9b2e159379cd4a598c8f70e7f02e5ec3",
            "placeholder": "​",
            "style": "IPY_MODEL_4c4432660c284751ba833f5ea4313fa4",
            "value": "Batches: 100%"
          }
        },
        "f8bbedd9e7cf4984942da2ebc420e9fa": {
          "model_module": "@jupyter-widgets/controls",
          "model_name": "FloatProgressModel",
          "model_module_version": "1.5.0",
          "state": {
            "_dom_classes": [],
            "_model_module": "@jupyter-widgets/controls",
            "_model_module_version": "1.5.0",
            "_model_name": "FloatProgressModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/controls",
            "_view_module_version": "1.5.0",
            "_view_name": "ProgressView",
            "bar_style": "success",
            "description": "",
            "description_tooltip": null,
            "layout": "IPY_MODEL_276429f5910a4ae49efb3090a0b8b725",
            "max": 625,
            "min": 0,
            "orientation": "horizontal",
            "style": "IPY_MODEL_c2e602ba6bc14ea1a4df808af175f204",
            "value": 625
          }
        },
        "98a360e0a01d429aaeec8391c4ac40c1": {
          "model_module": "@jupyter-widgets/controls",
          "model_name": "HTMLModel",
          "model_module_version": "1.5.0",
          "state": {
            "_dom_classes": [],
            "_model_module": "@jupyter-widgets/controls",
            "_model_module_version": "1.5.0",
            "_model_name": "HTMLModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/controls",
            "_view_module_version": "1.5.0",
            "_view_name": "HTMLView",
            "description": "",
            "description_tooltip": null,
            "layout": "IPY_MODEL_e79ca677510b4b40be1df31f5bdf050a",
            "placeholder": "​",
            "style": "IPY_MODEL_99c196edb9d345f19a335a9590414744",
            "value": " 625/625 [08:20&lt;00:00,  8.90it/s]"
          }
        },
        "555e67600bb8480ea2d1499950fe9b78": {
          "model_module": "@jupyter-widgets/base",
          "model_name": "LayoutModel",
          "model_module_version": "1.2.0",
          "state": {
            "_model_module": "@jupyter-widgets/base",
            "_model_module_version": "1.2.0",
            "_model_name": "LayoutModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/base",
            "_view_module_version": "1.2.0",
            "_view_name": "LayoutView",
            "align_content": null,
            "align_items": null,
            "align_self": null,
            "border": null,
            "bottom": null,
            "display": null,
            "flex": null,
            "flex_flow": null,
            "grid_area": null,
            "grid_auto_columns": null,
            "grid_auto_flow": null,
            "grid_auto_rows": null,
            "grid_column": null,
            "grid_gap": null,
            "grid_row": null,
            "grid_template_areas": null,
            "grid_template_columns": null,
            "grid_template_rows": null,
            "height": null,
            "justify_content": null,
            "justify_items": null,
            "left": null,
            "margin": null,
            "max_height": null,
            "max_width": null,
            "min_height": null,
            "min_width": null,
            "object_fit": null,
            "object_position": null,
            "order": null,
            "overflow": null,
            "overflow_x": null,
            "overflow_y": null,
            "padding": null,
            "right": null,
            "top": null,
            "visibility": null,
            "width": null
          }
        },
        "9b2e159379cd4a598c8f70e7f02e5ec3": {
          "model_module": "@jupyter-widgets/base",
          "model_name": "LayoutModel",
          "model_module_version": "1.2.0",
          "state": {
            "_model_module": "@jupyter-widgets/base",
            "_model_module_version": "1.2.0",
            "_model_name": "LayoutModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/base",
            "_view_module_version": "1.2.0",
            "_view_name": "LayoutView",
            "align_content": null,
            "align_items": null,
            "align_self": null,
            "border": null,
            "bottom": null,
            "display": null,
            "flex": null,
            "flex_flow": null,
            "grid_area": null,
            "grid_auto_columns": null,
            "grid_auto_flow": null,
            "grid_auto_rows": null,
            "grid_column": null,
            "grid_gap": null,
            "grid_row": null,
            "grid_template_areas": null,
            "grid_template_columns": null,
            "grid_template_rows": null,
            "height": null,
            "justify_content": null,
            "justify_items": null,
            "left": null,
            "margin": null,
            "max_height": null,
            "max_width": null,
            "min_height": null,
            "min_width": null,
            "object_fit": null,
            "object_position": null,
            "order": null,
            "overflow": null,
            "overflow_x": null,
            "overflow_y": null,
            "padding": null,
            "right": null,
            "top": null,
            "visibility": null,
            "width": null
          }
        },
        "4c4432660c284751ba833f5ea4313fa4": {
          "model_module": "@jupyter-widgets/controls",
          "model_name": "DescriptionStyleModel",
          "model_module_version": "1.5.0",
          "state": {
            "_model_module": "@jupyter-widgets/controls",
            "_model_module_version": "1.5.0",
            "_model_name": "DescriptionStyleModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/base",
            "_view_module_version": "1.2.0",
            "_view_name": "StyleView",
            "description_width": ""
          }
        },
        "276429f5910a4ae49efb3090a0b8b725": {
          "model_module": "@jupyter-widgets/base",
          "model_name": "LayoutModel",
          "model_module_version": "1.2.0",
          "state": {
            "_model_module": "@jupyter-widgets/base",
            "_model_module_version": "1.2.0",
            "_model_name": "LayoutModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/base",
            "_view_module_version": "1.2.0",
            "_view_name": "LayoutView",
            "align_content": null,
            "align_items": null,
            "align_self": null,
            "border": null,
            "bottom": null,
            "display": null,
            "flex": null,
            "flex_flow": null,
            "grid_area": null,
            "grid_auto_columns": null,
            "grid_auto_flow": null,
            "grid_auto_rows": null,
            "grid_column": null,
            "grid_gap": null,
            "grid_row": null,
            "grid_template_areas": null,
            "grid_template_columns": null,
            "grid_template_rows": null,
            "height": null,
            "justify_content": null,
            "justify_items": null,
            "left": null,
            "margin": null,
            "max_height": null,
            "max_width": null,
            "min_height": null,
            "min_width": null,
            "object_fit": null,
            "object_position": null,
            "order": null,
            "overflow": null,
            "overflow_x": null,
            "overflow_y": null,
            "padding": null,
            "right": null,
            "top": null,
            "visibility": null,
            "width": null
          }
        },
        "c2e602ba6bc14ea1a4df808af175f204": {
          "model_module": "@jupyter-widgets/controls",
          "model_name": "ProgressStyleModel",
          "model_module_version": "1.5.0",
          "state": {
            "_model_module": "@jupyter-widgets/controls",
            "_model_module_version": "1.5.0",
            "_model_name": "ProgressStyleModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/base",
            "_view_module_version": "1.2.0",
            "_view_name": "StyleView",
            "bar_color": null,
            "description_width": ""
          }
        },
        "e79ca677510b4b40be1df31f5bdf050a": {
          "model_module": "@jupyter-widgets/base",
          "model_name": "LayoutModel",
          "model_module_version": "1.2.0",
          "state": {
            "_model_module": "@jupyter-widgets/base",
            "_model_module_version": "1.2.0",
            "_model_name": "LayoutModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/base",
            "_view_module_version": "1.2.0",
            "_view_name": "LayoutView",
            "align_content": null,
            "align_items": null,
            "align_self": null,
            "border": null,
            "bottom": null,
            "display": null,
            "flex": null,
            "flex_flow": null,
            "grid_area": null,
            "grid_auto_columns": null,
            "grid_auto_flow": null,
            "grid_auto_rows": null,
            "grid_column": null,
            "grid_gap": null,
            "grid_row": null,
            "grid_template_areas": null,
            "grid_template_columns": null,
            "grid_template_rows": null,
            "height": null,
            "justify_content": null,
            "justify_items": null,
            "left": null,
            "margin": null,
            "max_height": null,
            "max_width": null,
            "min_height": null,
            "min_width": null,
            "object_fit": null,
            "object_position": null,
            "order": null,
            "overflow": null,
            "overflow_x": null,
            "overflow_y": null,
            "padding": null,
            "right": null,
            "top": null,
            "visibility": null,
            "width": null
          }
        },
        "99c196edb9d345f19a335a9590414744": {
          "model_module": "@jupyter-widgets/controls",
          "model_name": "DescriptionStyleModel",
          "model_module_version": "1.5.0",
          "state": {
            "_model_module": "@jupyter-widgets/controls",
            "_model_module_version": "1.5.0",
            "_model_name": "DescriptionStyleModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/base",
            "_view_module_version": "1.2.0",
            "_view_name": "StyleView",
            "description_width": ""
          }
        },
        "b9a3b707c66d42a49a7f129b2d4519b5": {
          "model_module": "@jupyter-widgets/controls",
          "model_name": "HBoxModel",
          "model_module_version": "1.5.0",
          "state": {
            "_dom_classes": [],
            "_model_module": "@jupyter-widgets/controls",
            "_model_module_version": "1.5.0",
            "_model_name": "HBoxModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/controls",
            "_view_module_version": "1.5.0",
            "_view_name": "HBoxView",
            "box_style": "",
            "children": [
              "IPY_MODEL_898774e89b1546b2a0f799962626ef33",
              "IPY_MODEL_325ae5a4233945f6bf4fab2a6d4f5bdb",
              "IPY_MODEL_c6510c818cac4523b580e587a6115bbb"
            ],
            "layout": "IPY_MODEL_90b01b6f4c164b898f63de55ab027388"
          }
        },
        "898774e89b1546b2a0f799962626ef33": {
          "model_module": "@jupyter-widgets/controls",
          "model_name": "HTMLModel",
          "model_module_version": "1.5.0",
          "state": {
            "_dom_classes": [],
            "_model_module": "@jupyter-widgets/controls",
            "_model_module_version": "1.5.0",
            "_model_name": "HTMLModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/controls",
            "_view_module_version": "1.5.0",
            "_view_name": "HTMLView",
            "description": "",
            "description_tooltip": null,
            "layout": "IPY_MODEL_68e54c8941784912a8da7a2e591ea65c",
            "placeholder": "​",
            "style": "IPY_MODEL_b13d0c26ef67450e95b0d207ff39a100",
            "value": "Batches: 100%"
          }
        },
        "325ae5a4233945f6bf4fab2a6d4f5bdb": {
          "model_module": "@jupyter-widgets/controls",
          "model_name": "FloatProgressModel",
          "model_module_version": "1.5.0",
          "state": {
            "_dom_classes": [],
            "_model_module": "@jupyter-widgets/controls",
            "_model_module_version": "1.5.0",
            "_model_name": "FloatProgressModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/controls",
            "_view_module_version": "1.5.0",
            "_view_name": "ProgressView",
            "bar_style": "success",
            "description": "",
            "description_tooltip": null,
            "layout": "IPY_MODEL_9cf2074b12d540b0a3498c69f11384d7",
            "max": 625,
            "min": 0,
            "orientation": "horizontal",
            "style": "IPY_MODEL_5ddfb9c4ce1f4af5beb097a852bddcfa",
            "value": 625
          }
        },
        "c6510c818cac4523b580e587a6115bbb": {
          "model_module": "@jupyter-widgets/controls",
          "model_name": "HTMLModel",
          "model_module_version": "1.5.0",
          "state": {
            "_dom_classes": [],
            "_model_module": "@jupyter-widgets/controls",
            "_model_module_version": "1.5.0",
            "_model_name": "HTMLModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/controls",
            "_view_module_version": "1.5.0",
            "_view_name": "HTMLView",
            "description": "",
            "description_tooltip": null,
            "layout": "IPY_MODEL_32c925a2617540f7b0d10d45896ac31a",
            "placeholder": "​",
            "style": "IPY_MODEL_f4a5291ce0724c3497b9e26b7035cfc3",
            "value": " 625/625 [00:34&lt;00:00, 22.15it/s]"
          }
        },
        "90b01b6f4c164b898f63de55ab027388": {
          "model_module": "@jupyter-widgets/base",
          "model_name": "LayoutModel",
          "model_module_version": "1.2.0",
          "state": {
            "_model_module": "@jupyter-widgets/base",
            "_model_module_version": "1.2.0",
            "_model_name": "LayoutModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/base",
            "_view_module_version": "1.2.0",
            "_view_name": "LayoutView",
            "align_content": null,
            "align_items": null,
            "align_self": null,
            "border": null,
            "bottom": null,
            "display": null,
            "flex": null,
            "flex_flow": null,
            "grid_area": null,
            "grid_auto_columns": null,
            "grid_auto_flow": null,
            "grid_auto_rows": null,
            "grid_column": null,
            "grid_gap": null,
            "grid_row": null,
            "grid_template_areas": null,
            "grid_template_columns": null,
            "grid_template_rows": null,
            "height": null,
            "justify_content": null,
            "justify_items": null,
            "left": null,
            "margin": null,
            "max_height": null,
            "max_width": null,
            "min_height": null,
            "min_width": null,
            "object_fit": null,
            "object_position": null,
            "order": null,
            "overflow": null,
            "overflow_x": null,
            "overflow_y": null,
            "padding": null,
            "right": null,
            "top": null,
            "visibility": null,
            "width": null
          }
        },
        "68e54c8941784912a8da7a2e591ea65c": {
          "model_module": "@jupyter-widgets/base",
          "model_name": "LayoutModel",
          "model_module_version": "1.2.0",
          "state": {
            "_model_module": "@jupyter-widgets/base",
            "_model_module_version": "1.2.0",
            "_model_name": "LayoutModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/base",
            "_view_module_version": "1.2.0",
            "_view_name": "LayoutView",
            "align_content": null,
            "align_items": null,
            "align_self": null,
            "border": null,
            "bottom": null,
            "display": null,
            "flex": null,
            "flex_flow": null,
            "grid_area": null,
            "grid_auto_columns": null,
            "grid_auto_flow": null,
            "grid_auto_rows": null,
            "grid_column": null,
            "grid_gap": null,
            "grid_row": null,
            "grid_template_areas": null,
            "grid_template_columns": null,
            "grid_template_rows": null,
            "height": null,
            "justify_content": null,
            "justify_items": null,
            "left": null,
            "margin": null,
            "max_height": null,
            "max_width": null,
            "min_height": null,
            "min_width": null,
            "object_fit": null,
            "object_position": null,
            "order": null,
            "overflow": null,
            "overflow_x": null,
            "overflow_y": null,
            "padding": null,
            "right": null,
            "top": null,
            "visibility": null,
            "width": null
          }
        },
        "b13d0c26ef67450e95b0d207ff39a100": {
          "model_module": "@jupyter-widgets/controls",
          "model_name": "DescriptionStyleModel",
          "model_module_version": "1.5.0",
          "state": {
            "_model_module": "@jupyter-widgets/controls",
            "_model_module_version": "1.5.0",
            "_model_name": "DescriptionStyleModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/base",
            "_view_module_version": "1.2.0",
            "_view_name": "StyleView",
            "description_width": ""
          }
        },
        "9cf2074b12d540b0a3498c69f11384d7": {
          "model_module": "@jupyter-widgets/base",
          "model_name": "LayoutModel",
          "model_module_version": "1.2.0",
          "state": {
            "_model_module": "@jupyter-widgets/base",
            "_model_module_version": "1.2.0",
            "_model_name": "LayoutModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/base",
            "_view_module_version": "1.2.0",
            "_view_name": "LayoutView",
            "align_content": null,
            "align_items": null,
            "align_self": null,
            "border": null,
            "bottom": null,
            "display": null,
            "flex": null,
            "flex_flow": null,
            "grid_area": null,
            "grid_auto_columns": null,
            "grid_auto_flow": null,
            "grid_auto_rows": null,
            "grid_column": null,
            "grid_gap": null,
            "grid_row": null,
            "grid_template_areas": null,
            "grid_template_columns": null,
            "grid_template_rows": null,
            "height": null,
            "justify_content": null,
            "justify_items": null,
            "left": null,
            "margin": null,
            "max_height": null,
            "max_width": null,
            "min_height": null,
            "min_width": null,
            "object_fit": null,
            "object_position": null,
            "order": null,
            "overflow": null,
            "overflow_x": null,
            "overflow_y": null,
            "padding": null,
            "right": null,
            "top": null,
            "visibility": null,
            "width": null
          }
        },
        "5ddfb9c4ce1f4af5beb097a852bddcfa": {
          "model_module": "@jupyter-widgets/controls",
          "model_name": "ProgressStyleModel",
          "model_module_version": "1.5.0",
          "state": {
            "_model_module": "@jupyter-widgets/controls",
            "_model_module_version": "1.5.0",
            "_model_name": "ProgressStyleModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/base",
            "_view_module_version": "1.2.0",
            "_view_name": "StyleView",
            "bar_color": null,
            "description_width": ""
          }
        },
        "32c925a2617540f7b0d10d45896ac31a": {
          "model_module": "@jupyter-widgets/base",
          "model_name": "LayoutModel",
          "model_module_version": "1.2.0",
          "state": {
            "_model_module": "@jupyter-widgets/base",
            "_model_module_version": "1.2.0",
            "_model_name": "LayoutModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/base",
            "_view_module_version": "1.2.0",
            "_view_name": "LayoutView",
            "align_content": null,
            "align_items": null,
            "align_self": null,
            "border": null,
            "bottom": null,
            "display": null,
            "flex": null,
            "flex_flow": null,
            "grid_area": null,
            "grid_auto_columns": null,
            "grid_auto_flow": null,
            "grid_auto_rows": null,
            "grid_column": null,
            "grid_gap": null,
            "grid_row": null,
            "grid_template_areas": null,
            "grid_template_columns": null,
            "grid_template_rows": null,
            "height": null,
            "justify_content": null,
            "justify_items": null,
            "left": null,
            "margin": null,
            "max_height": null,
            "max_width": null,
            "min_height": null,
            "min_width": null,
            "object_fit": null,
            "object_position": null,
            "order": null,
            "overflow": null,
            "overflow_x": null,
            "overflow_y": null,
            "padding": null,
            "right": null,
            "top": null,
            "visibility": null,
            "width": null
          }
        },
        "f4a5291ce0724c3497b9e26b7035cfc3": {
          "model_module": "@jupyter-widgets/controls",
          "model_name": "DescriptionStyleModel",
          "model_module_version": "1.5.0",
          "state": {
            "_model_module": "@jupyter-widgets/controls",
            "_model_module_version": "1.5.0",
            "_model_name": "DescriptionStyleModel",
            "_view_count": null,
            "_view_module": "@jupyter-widgets/base",
            "_view_module_version": "1.2.0",
            "_view_name": "StyleView",
            "description_width": ""
          }
        }
      }
    }
  },
  "cells": [
    {
      "cell_type": "markdown",
      "source": [
        "# ACL 2023\n",
        "## Semantic Legal Searcher(SLS) : Neural Information Retrieval-based Semantic Search for Case Law"
      ],
      "metadata": {
        "id": "3QViW5-T4QB_"
      }
    },
    {
      "cell_type": "code",
      "execution_count": null,
      "metadata": {
        "colab": {
          "base_uri": "https://localhost:8080/"
        },
        "id": "21wq6Xb0Jon7",
        "outputId": "b454ef6e-0e73-4914-ccc4-52b26a7f5fca"
      },
      "outputs": [
        {
          "output_type": "stream",
          "name": "stdout",
          "text": [
            "Mounted at /content/drive\n"
          ]
        }
      ],
      "source": [
        "from google.colab import drive\n",
        "drive.mount('/content/drive')"
      ]
    },
    {
      "cell_type": "code",
      "source": [
        "cd /content/drive/MyDrive/ACL_2023_SLS/"
      ],
      "metadata": {
        "colab": {
          "base_uri": "https://localhost:8080/"
        },
        "id": "_rUT5vYnJrMU",
        "outputId": "63dc5cd4-254a-49af-98c5-010867105fe9"
      },
      "execution_count": null,
      "outputs": [
        {
          "output_type": "stream",
          "name": "stdout",
          "text": [
            "/content/drive/MyDrive/ACL_2023_SLS\n"
          ]
        }
      ]
    },
    {
      "cell_type": "markdown",
      "source": [
        "## PIP"
      ],
      "metadata": {
        "id": "qdMKk4fSKB0h"
      }
    },
    {
      "cell_type": "code",
      "source": [
        "! pip install transformers\n",
        "! pip install -U sentence-transformers\n",
        "! pip install sentencepiece\n",
        "! pip install faiss-gpu\n",
        "! pip install funcy pickle5"
      ],
      "metadata": {
        "id": "b4ZhXm6rJrUI"
      },
      "execution_count": null,
      "outputs": []
    },
    {
      "cell_type": "markdown",
      "source": [
        "## STEP1. Load Dataframe & KRLawBERT"
      ],
      "metadata": {
        "id": "K3uSrHjMUXin"
      }
    },
    {
      "cell_type": "code",
      "source": [
        "import pandas as pd\n",
        "\n",
        "# 1. Load Legal Dataset(Get Only Judicial precedent data)\n",
        "df = pd.read_csv('./data/law_cases(20221020).csv')\n",
        "df = df.dropna(how = 'any')\n",
        "\n",
        "# 2. Make index for clustering\n",
        "print(\">> Law cases data size : \",len(df))\n",
        "df.head()"
      ],
      "metadata": {
        "colab": {
          "base_uri": "https://localhost:8080/"
        },
        "id": "HcnJeKCoJyv7",
        "outputId": "6161afa1-3748-4686-b372-f5122a1991bb"
      },
      "execution_count": null,
      "outputs": [
        {
          "output_type": "stream",
          "name": "stdout",
          "text": [
            ">> Law cases data size :  20000\n"
          ]
        },
        {
          "output_type": "execute_result",
          "data": {
            "text/plain": [
              "             case_name          case_number        date  case_code  \\\n",
              "1               지연이자청구          2015다223411  20170530.0   400101.0   \n",
              "3       손해배상(기)·매매대금반환  2014다233176, 233183  20170530.0   400101.0   \n",
              "4  숙박업영업신고증교부의무부작위위법확인           2017두34087  20170530.0   400107.0   \n",
              "5              손해배상(기)          2017다211146  20170530.0   400101.0   \n",
              "8               기타(금전)          2016다275402  20170530.0   400101.0   \n",
              "\n",
              "                                      judgment_issue  \\\n",
              "1   국가가 확정된 형사보상금의 지급을 지체하는 경우, 미지급 형사보상금에 대하여 지급...   \n",
              "3  영국 계약법상 이행거절의 의미 및 이행거절의 의사를 표시했는지 판단하는 방법 / 당...   \n",
              "4    숙박업을 하고자 하는 자가 법령이 정하는 시설과 설비를 갖추고 행정청에 신고를 ...   \n",
              "5  새로운 청구를 심리하기 위하여 종전의 소송자료를 대부분 이용할 수 없고 별도의 증거...   \n",
              "8  [1] 금전채무에 관하여 이행지체에 대비한 지연손해금 비율을 따로 약정한 경우, 민...   \n",
              "\n",
              "                                    judgment_summary  \\\n",
              "1  헌법 제28조, 형사보상 및 명예회복에 관한 법률(이하 ‘형사보상법’이라고 한다) ...   \n",
              "3    영국 계약법에서는 이행기 전 계약위반의 법리(doctrine of anticip...   \n",
              "4    숙박업은 손님이 잠을 자고 머물 수 있도록 시설과 설비 등의 서비스를 제공하는 ...   \n",
              "5  민사소송법 제1조 제1항은 “법원은 소송절차가 공정하고 신속하며 경제적으로 진행되도...   \n",
              "8  [1] 금전채무에 관하여 이행지체에 대비한 지연손해금 비율을 따로 약정한 경우에 이...   \n",
              "\n",
              "                                   judgment_contents  case_id  case_hits  \\\n",
              "1  【원고, 피상고인】 별지 원고 명단 기재와 같다. (소송대리인 동화법무법인 외 1인...    84878       8857   \n",
              "3  【원고(반소피고), 피상고인】 파산채무자 주식회사 21세기조선의 소송수계인 파산채무...    84876       3793   \n",
              "4  【원고, 상고인】 【피고, 피상고인】 속초시장【원심판결】 서울고법 2017. 1. ...    84875       7196   \n",
              "5  【원고, 상고인】 주식회사 메가럭 (소송대리인 법무법인(유한) 한동 담당변호사 고일...    84874       7832   \n",
              "8  【원고, 상고인】 현대건설 주식회사 (소송대리인 법무법인 가우 담당변호사 이경환 외...    84871       3410   \n",
              "\n",
              "   case_hits_norm  \n",
              "1        0.884545  \n",
              "3        0.373030  \n",
              "4        0.716768  \n",
              "5        0.781010  \n",
              "8        0.334343  "
            ],
            "text/html": [
              "\n",
              "  <div id=\"df-dec90a43-b744-4dbe-89d9-6b720e99f8a9\">\n",
              "    <div class=\"colab-df-container\">\n",
              "      <div>\n",
              "<style scoped>\n",
              "    .dataframe tbody tr th:only-of-type {\n",
              "        vertical-align: middle;\n",
              "    }\n",
              "\n",
              "    .dataframe tbody tr th {\n",
              "        vertical-align: top;\n",
              "    }\n",
              "\n",
              "    .dataframe thead th {\n",
              "        text-align: right;\n",
              "    }\n",
              "</style>\n",
              "<table border=\"1\" class=\"dataframe\">\n",
              "  <thead>\n",
              "    <tr style=\"text-align: right;\">\n",
              "      <th></th>\n",
              "      <th>case_name</th>\n",
              "      <th>case_number</th>\n",
              "      <th>date</th>\n",
              "      <th>case_code</th>\n",
              "      <th>judgment_issue</th>\n",
              "      <th>judgment_summary</th>\n",
              "      <th>judgment_contents</th>\n",
              "      <th>case_id</th>\n",
              "      <th>case_hits</th>\n",
              "      <th>case_hits_norm</th>\n",
              "    </tr>\n",
              "  </thead>\n",
              "  <tbody>\n",
              "    <tr>\n",
              "      <th>1</th>\n",
              "      <td>지연이자청구</td>\n",
              "      <td>2015다223411</td>\n",
              "      <td>20170530.0</td>\n",
              "      <td>400101.0</td>\n",
              "      <td>국가가 확정된 형사보상금의 지급을 지체하는 경우, 미지급 형사보상금에 대하여 지급...</td>\n",
              "      <td>헌법 제28조, 형사보상 및 명예회복에 관한 법률(이하 ‘형사보상법’이라고 한다) ...</td>\n",
              "      <td>【원고, 피상고인】 별지 원고 명단 기재와 같다. (소송대리인 동화법무법인 외 1인...</td>\n",
              "      <td>84878</td>\n",
              "      <td>8857</td>\n",
              "      <td>0.884545</td>\n",
              "    </tr>\n",
              "    <tr>\n",
              "      <th>3</th>\n",
              "      <td>손해배상(기)·매매대금반환</td>\n",
              "      <td>2014다233176, 233183</td>\n",
              "      <td>20170530.0</td>\n",
              "      <td>400101.0</td>\n",
              "      <td>영국 계약법상 이행거절의 의미 및 이행거절의 의사를 표시했는지 판단하는 방법 / 당...</td>\n",
              "      <td>영국 계약법에서는 이행기 전 계약위반의 법리(doctrine of anticip...</td>\n",
              "      <td>【원고(반소피고), 피상고인】 파산채무자 주식회사 21세기조선의 소송수계인 파산채무...</td>\n",
              "      <td>84876</td>\n",
              "      <td>3793</td>\n",
              "      <td>0.373030</td>\n",
              "    </tr>\n",
              "    <tr>\n",
              "      <th>4</th>\n",
              "      <td>숙박업영업신고증교부의무부작위위법확인</td>\n",
              "      <td>2017두34087</td>\n",
              "      <td>20170530.0</td>\n",
              "      <td>400107.0</td>\n",
              "      <td>숙박업을 하고자 하는 자가 법령이 정하는 시설과 설비를 갖추고 행정청에 신고를 ...</td>\n",
              "      <td>숙박업은 손님이 잠을 자고 머물 수 있도록 시설과 설비 등의 서비스를 제공하는 ...</td>\n",
              "      <td>【원고, 상고인】 【피고, 피상고인】 속초시장【원심판결】 서울고법 2017. 1. ...</td>\n",
              "      <td>84875</td>\n",
              "      <td>7196</td>\n",
              "      <td>0.716768</td>\n",
              "    </tr>\n",
              "    <tr>\n",
              "      <th>5</th>\n",
              "      <td>손해배상(기)</td>\n",
              "      <td>2017다211146</td>\n",
              "      <td>20170530.0</td>\n",
              "      <td>400101.0</td>\n",
              "      <td>새로운 청구를 심리하기 위하여 종전의 소송자료를 대부분 이용할 수 없고 별도의 증거...</td>\n",
              "      <td>민사소송법 제1조 제1항은 “법원은 소송절차가 공정하고 신속하며 경제적으로 진행되도...</td>\n",
              "      <td>【원고, 상고인】 주식회사 메가럭 (소송대리인 법무법인(유한) 한동 담당변호사 고일...</td>\n",
              "      <td>84874</td>\n",
              "      <td>7832</td>\n",
              "      <td>0.781010</td>\n",
              "    </tr>\n",
              "    <tr>\n",
              "      <th>8</th>\n",
              "      <td>기타(금전)</td>\n",
              "      <td>2016다275402</td>\n",
              "      <td>20170530.0</td>\n",
              "      <td>400101.0</td>\n",
              "      <td>[1] 금전채무에 관하여 이행지체에 대비한 지연손해금 비율을 따로 약정한 경우, 민...</td>\n",
              "      <td>[1] 금전채무에 관하여 이행지체에 대비한 지연손해금 비율을 따로 약정한 경우에 이...</td>\n",
              "      <td>【원고, 상고인】 현대건설 주식회사 (소송대리인 법무법인 가우 담당변호사 이경환 외...</td>\n",
              "      <td>84871</td>\n",
              "      <td>3410</td>\n",
              "      <td>0.334343</td>\n",
              "    </tr>\n",
              "  </tbody>\n",
              "</table>\n",
              "</div>\n",
              "      <button class=\"colab-df-convert\" onclick=\"convertToInteractive('df-dec90a43-b744-4dbe-89d9-6b720e99f8a9')\"\n",
              "              title=\"Convert this dataframe to an interactive table.\"\n",
              "              style=\"display:none;\">\n",
              "        \n",
              "  <svg xmlns=\"http://www.w3.org/2000/svg\" height=\"24px\"viewBox=\"0 0 24 24\"\n",
              "       width=\"24px\">\n",
              "    <path d=\"M0 0h24v24H0V0z\" fill=\"none\"/>\n",
              "    <path d=\"M18.56 5.44l.94 2.06.94-2.06 2.06-.94-2.06-.94-.94-2.06-.94 2.06-2.06.94zm-11 1L8.5 8.5l.94-2.06 2.06-.94-2.06-.94L8.5 2.5l-.94 2.06-2.06.94zm10 10l.94 2.06.94-2.06 2.06-.94-2.06-.94-.94-2.06-.94 2.06-2.06.94z\"/><path d=\"M17.41 7.96l-1.37-1.37c-.4-.4-.92-.59-1.43-.59-.52 0-1.04.2-1.43.59L10.3 9.45l-7.72 7.72c-.78.78-.78 2.05 0 2.83L4 21.41c.39.39.9.59 1.41.59.51 0 1.02-.2 1.41-.59l7.78-7.78 2.81-2.81c.8-.78.8-2.07 0-2.86zM5.41 20L4 18.59l7.72-7.72 1.47 1.35L5.41 20z\"/>\n",
              "  </svg>\n",
              "      </button>\n",
              "      \n",
              "  <style>\n",
              "    .colab-df-container {\n",
              "      display:flex;\n",
              "      flex-wrap:wrap;\n",
              "      gap: 12px;\n",
              "    }\n",
              "\n",
              "    .colab-df-convert {\n",
              "      background-color: #E8F0FE;\n",
              "      border: none;\n",
              "      border-radius: 50%;\n",
              "      cursor: pointer;\n",
              "      display: none;\n",
              "      fill: #1967D2;\n",
              "      height: 32px;\n",
              "      padding: 0 0 0 0;\n",
              "      width: 32px;\n",
              "    }\n",
              "\n",
              "    .colab-df-convert:hover {\n",
              "      background-color: #E2EBFA;\n",
              "      box-shadow: 0px 1px 2px rgba(60, 64, 67, 0.3), 0px 1px 3px 1px rgba(60, 64, 67, 0.15);\n",
              "      fill: #174EA6;\n",
              "    }\n",
              "\n",
              "    [theme=dark] .colab-df-convert {\n",
              "      background-color: #3B4455;\n",
              "      fill: #D2E3FC;\n",
              "    }\n",
              "\n",
              "    [theme=dark] .colab-df-convert:hover {\n",
              "      background-color: #434B5C;\n",
              "      box-shadow: 0px 1px 3px 1px rgba(0, 0, 0, 0.15);\n",
              "      filter: drop-shadow(0px 1px 2px rgba(0, 0, 0, 0.3));\n",
              "      fill: #FFFFFF;\n",
              "    }\n",
              "  </style>\n",
              "\n",
              "      <script>\n",
              "        const buttonEl =\n",
              "          document.querySelector('#df-dec90a43-b744-4dbe-89d9-6b720e99f8a9 button.colab-df-convert');\n",
              "        buttonEl.style.display =\n",
              "          google.colab.kernel.accessAllowed ? 'block' : 'none';\n",
              "\n",
              "        async function convertToInteractive(key) {\n",
              "          const element = document.querySelector('#df-dec90a43-b744-4dbe-89d9-6b720e99f8a9');\n",
              "          const dataTable =\n",
              "            await google.colab.kernel.invokeFunction('convertToInteractive',\n",
              "                                                     [key], {});\n",
              "          if (!dataTable) return;\n",
              "\n",
              "          const docLinkHtml = 'Like what you see? Visit the ' +\n",
              "            '<a target=\"_blank\" href=https://colab.research.google.com/notebooks/data_table.ipynb>data table notebook</a>'\n",
              "            + ' to learn more about interactive tables.';\n",
              "          element.innerHTML = '';\n",
              "          dataTable['output_type'] = 'display_data';\n",
              "          await google.colab.output.renderOutput(dataTable, element);\n",
              "          const docLink = document.createElement('div');\n",
              "          docLink.innerHTML = docLinkHtml;\n",
              "          element.appendChild(docLink);\n",
              "        }\n",
              "      </script>\n",
              "    </div>\n",
              "  </div>\n",
              "  "
            ]
          },
          "metadata": {},
          "execution_count": 11
        }
      ]
    },
    {
      "cell_type": "code",
      "source": [
        "# 3. Load pre-trained & fine-tuned models(KRLawBERT)\n",
        "my_plms = './output/tsdae-krlawbert'"
      ],
      "metadata": {
        "id": "Id3Bfa800oeE"
      },
      "execution_count": null,
      "outputs": []
    },
    {
      "cell_type": "markdown",
      "source": [
        "## STEP 2. Parallel clustering-based Topic Modeling"
      ],
      "metadata": {
        "id": "1EeY1elbK6w2"
      }
    },
    {
      "cell_type": "code",
      "source": [
        "from models.parallel_clustering_TM import *"
      ],
      "metadata": {
        "id": "Mtff6VyoJy08"
      },
      "execution_count": null,
      "outputs": []
    },
    {
      "cell_type": "code",
      "source": [
        "# 1. Obtain Legal Embeddings\n",
        "target_text = 'judgment_summary'\n",
        "\n",
        "cluster = ParallelCluster(\n",
        "    dataframe = df,\n",
        "    tgt_col = target_text,\n",
        "    model_name = my_plms,\n",
        "    use_sentence_bert = True\n",
        "    )"
      ],
      "metadata": {
        "id": "5p1A6Kt7LPpV",
        "colab": {
          "base_uri": "https://localhost:8080/",
          "height": 67,
          "referenced_widgets": [
            "1ac046f6cc98439c87d4f355366c9be2",
            "1fca570fa23f44a98e00b0eae1c0ef65",
            "0fac85408b5445a6a5b7371116179b44",
            "58d4cdf7167e47d6a99ee7ce04c0b2df",
            "dc777f4aa79b435aaec4fb1e81b7b5ac",
            "d681e8ed5ac74db5a369417782e55f62",
            "9955a814b67e41d3a54cbf72cb800681",
            "60574ee10a114db9aadd72ae2902a6be",
            "880475949ceb4f07976ba0bfbcef7841",
            "4d803102d6db4bbfaf9cbb38e4ffdff4",
            "31d0e2e4b58e42db83b5b869cb40382f"
          ]
        },
        "outputId": "a4cf8863-fbef-43d0-a94b-fe153b0c329c"
      },
      "execution_count": null,
      "outputs": [
        {
          "output_type": "display_data",
          "data": {
            "text/plain": [
              "Batches:   0%|          | 0/625 [00:00<?, ?it/s]"
            ],
            "application/vnd.jupyter.widget-view+json": {
              "version_major": 2,
              "version_minor": 0,
              "model_id": "1ac046f6cc98439c87d4f355366c9be2"
            }
          },
          "metadata": {}
        },
        {
          "output_type": "stream",
          "name": "stdout",
          "text": [
            ">> Data embeddings shape(Items x PLM_output) : (20000, 768)\n"
          ]
        }
      ]
    },
    {
      "cell_type": "code",
      "source": [
        "# 2. Parallel Clustering\n",
        "clusters, unclusters = cluster.parallel_cluster(\n",
        "    clusters = None,\n",
        "    threshold = 0.71,\n",
        "    page_size = 1000,\n",
        "    iterations = 20\n",
        "    )"
      ],
      "metadata": {
        "id": "Wfi9KSIWLty1",
        "colab": {
          "base_uri": "https://localhost:8080/"
        },
        "outputId": "daabd2e8-1dcb-4ea7-c9a0-b373170cee75"
      },
      "execution_count": null,
      "outputs": [
        {
          "output_type": "stream",
          "name": "stdout",
          "text": [
            "===== Iteration 1 / 20 =====\n",
            "\n",
            "\n",
            ">> Number of Total Clusters :  179\n",
            ">> Percentage clusted Doc Embeddings : 31.72%\n",
            "\n",
            "\n",
            "===== Iteration 2 / 20 =====\n",
            "\n",
            "\n",
            ">> Number of Total Clusters :  401\n",
            ">> Percentage clusted Doc Embeddings : 51.06%\n",
            "\n",
            "\n",
            "===== Iteration 3 / 20 =====\n",
            "\n",
            "\n",
            ">> Number of Total Clusters :  590\n",
            ">> Percentage clusted Doc Embeddings : 61.19%\n",
            "\n",
            "\n",
            "===== Iteration 4 / 20 =====\n",
            "\n",
            "\n",
            ">> Number of Total Clusters :  728\n",
            ">> Percentage clusted Doc Embeddings : 66.38%\n",
            "\n",
            "\n",
            "===== Iteration 5 / 20 =====\n",
            "\n",
            "\n",
            ">> Number of Total Clusters :  824\n",
            ">> Percentage clusted Doc Embeddings : 69.06%\n",
            "\n",
            "\n",
            "===== Iteration 6 / 20 =====\n",
            "\n",
            "\n",
            ">> Number of Total Clusters :  887\n",
            ">> Percentage clusted Doc Embeddings : 70.56%\n",
            "\n",
            "\n",
            "===== Iteration 7 / 20 =====\n",
            "\n",
            "\n",
            ">> Number of Total Clusters :  938\n",
            ">> Percentage clusted Doc Embeddings : 71.68%\n",
            "\n",
            "\n",
            "===== Iteration 8 / 20 =====\n",
            "\n",
            "\n",
            ">> Number of Total Clusters :  968\n",
            ">> Percentage clusted Doc Embeddings : 72.30%\n",
            "\n",
            "\n",
            "===== Iteration 9 / 20 =====\n",
            "\n",
            "\n",
            ">> Number of Total Clusters :  1006\n",
            ">> Percentage clusted Doc Embeddings : 73.03%\n",
            "\n",
            "\n",
            "===== Iteration 10 / 20 =====\n",
            "\n",
            "\n",
            ">> Number of Total Clusters :  1031\n",
            ">> Percentage clusted Doc Embeddings : 73.53%\n",
            "\n",
            "\n",
            "===== Iteration 11 / 20 =====\n",
            "\n",
            "\n",
            ">> Number of Total Clusters :  1046\n",
            ">> Percentage clusted Doc Embeddings : 73.82%\n",
            "\n",
            "\n",
            "===== Iteration 12 / 20 =====\n",
            "\n",
            "\n",
            ">> Number of Total Clusters :  1064\n",
            ">> Percentage clusted Doc Embeddings : 74.21%\n",
            "\n",
            "\n",
            "===== Iteration 13 / 20 =====\n",
            "\n",
            "\n",
            ">> Number of Total Clusters :  1086\n",
            ">> Percentage clusted Doc Embeddings : 74.60%\n",
            "\n",
            "\n",
            "===== Iteration 14 / 20 =====\n",
            "\n",
            "\n",
            ">> Number of Total Clusters :  1099\n",
            ">> Percentage clusted Doc Embeddings : 74.86%\n",
            "\n",
            "\n",
            "===== Iteration 15 / 20 =====\n",
            "\n",
            "\n",
            ">> Number of Total Clusters :  1116\n",
            ">> Percentage clusted Doc Embeddings : 75.17%\n",
            "\n",
            "\n",
            "===== Iteration 16 / 20 =====\n",
            "\n",
            "\n",
            ">> Number of Total Clusters :  1131\n",
            ">> Percentage clusted Doc Embeddings : 75.41%\n",
            "\n",
            "\n",
            "===== Iteration 17 / 20 =====\n",
            "\n",
            "\n",
            ">> Number of Total Clusters :  1143\n",
            ">> Percentage clusted Doc Embeddings : 75.61%\n",
            "\n",
            "\n",
            "===== Iteration 18 / 20 =====\n",
            "\n",
            "\n",
            ">> Number of Total Clusters :  1149\n",
            ">> Percentage clusted Doc Embeddings : 75.70%\n",
            "\n",
            "\n",
            "===== Iteration 19 / 20 =====\n",
            "\n",
            "\n",
            ">> Number of Total Clusters :  1165\n",
            ">> Percentage clusted Doc Embeddings : 75.95%\n",
            "\n",
            "\n",
            "===== Iteration 20 / 20 =====\n",
            "\n",
            "\n",
            ">> Number of Total Clusters :  1172\n",
            ">> Percentage clusted Doc Embeddings : 76.06%\n",
            "\n",
            "\n"
          ]
        }
      ]
    },
    {
      "cell_type": "code",
      "source": [
        "# 3. Stack : Stack the clustered results in order of cluster size\n",
        "col_list = ['case_name', 'case_number', 'date', 'judgment_issue', 'judgment_summary']\n",
        "new_df = cluster.cluster_stack(\n",
        "    col_list = col_list,\n",
        "    clusters = clusters,\n",
        "    unclusters = unclusters\n",
        "    )\n",
        "\n",
        "# 4. Extract Keywords from each documents\n",
        "top_n_words = cluster.extract_top_n_words_per_topic(\n",
        "    dataframe = new_df,\n",
        "    n = 10,\n",
        "    en = False\n",
        "    )\n",
        "new_df['keywords'] = [', '.join(top_n_words[i]) for i in new_df['Topic'].values]\n",
        "\n",
        "# 5. Save the Parallel Clusted Dataset \n",
        "new_df.to_csv(\"./data/clusted_df.csv\", sep=',', na_rep=\"NaN\")"
      ],
      "metadata": {
        "id": "0AfjMP1WOcU4"
      },
      "execution_count": null,
      "outputs": []
    },
    {
      "cell_type": "markdown",
      "source": [
        "## STEP 3. Embedding modelization(split-merge) and scoring(multi-interactions)"
      ],
      "metadata": {
        "id": "0i-Rujh7PCN_"
      }
    },
    {
      "cell_type": "code",
      "source": [
        "from models.semantic_legal_searcher import *"
      ],
      "metadata": {
        "id": "U6YILKX2Q5Nh"
      },
      "execution_count": null,
      "outputs": []
    },
    {
      "cell_type": "code",
      "source": [
        "# Dataframe with keyword extraction from Parallel clustering-based TM\n",
        "new_df = pd.read_csv('./data/clusted_df.csv')\n",
        "#new_df.head()"
      ],
      "metadata": {
        "colab": {
          "base_uri": "https://localhost:8080/",
          "height": 701
        },
        "id": "X1MPWlXe4bku",
        "outputId": "07296d27-5649-46e9-e2a6-d4fc40b88915"
      },
      "execution_count": null,
      "outputs": [
        {
          "output_type": "execute_result",
          "data": {
            "text/plain": [
              "   Unnamed: 0                                          case_name  \\\n",
              "0          82  업무상배임[역설계 등의 방법으로 입수 가능한 상태에 있는 회사의 정보를 무단으로 반...   \n",
              "1         118            영업양도무효확인·사해행위취소[주주가 영업양도의 무효확인을 구하는 사건]   \n",
              "2         134                                               사기미수   \n",
              "3         174                                              부당이득금   \n",
              "4         204                                        분양대금반환등청구의소   \n",
              "\n",
              "           case_number        date  \\\n",
              "0            2018도4794  20220630.0   \n",
              "1  2018다228462, 228479  20220609.0   \n",
              "2            2022도1227  20220526.0   \n",
              "3          2017다278187  20220512.0   \n",
              "4          2019다224726  20220428.0   \n",
              "\n",
              "                                      judgment_issue  \\\n",
              "0    회사 직원이 경쟁업체 또는 스스로의 이익을 위하여 이용할 의사로 무단으로 자료를...   \n",
              "1    [1] 주식회사의 주주가 직접 회사와 제3자의 거래관계에 개입하여 회사가 체결한...   \n",
              "2    [1] 소송사기를 인정할 때 유의할 사항 / 소송사기가 성립하기 위한 요건  [...   \n",
              "3    [1] 채무자가 아닌 위탁자가 타인의 채무를 담보하기 위하여 금전채권자를 우선수...   \n",
              "4    [1] 불법행위로 인한 손해배상사건에서 피해자에게 손해의 발생이나 확대에 관하여...   \n",
              "\n",
              "                                    judgment_summary  Topic  \\\n",
              "0    회사 직원이 경쟁업체 또는 스스로의 이익을 위하여 이용할 의사로 무단으로 자료를...      0   \n",
              "1    [1] 주식회사의 주주는 주식의 소유자로서 회사의 경영에 이해관계를 가지고 있기...      0   \n",
              "2    [1] 소송사기는 법원을 기망하여 자기에게 유리한 판결을 얻음으로써 상대방의 재...      0   \n",
              "3    [1] 위탁자가 금전채권을 담보하기 위하여 금전채권자를 우선수익자, 위탁자를 수...      0   \n",
              "4    [1] 불법행위로 인한 손해배상사건에서 피해자에게 손해의 발생이나 확대에 관하여...      0   \n",
              "\n",
              "                                            keywords  \n",
              "0  이익을, 회사의, 재산상, 사무를, 처리하는, 손해를, 타인의, 회사에, 재산상의,...  \n",
              "1  이익을, 회사의, 재산상, 사무를, 처리하는, 손해를, 타인의, 회사에, 재산상의,...  \n",
              "2  이익을, 회사의, 재산상, 사무를, 처리하는, 손해를, 타인의, 회사에, 재산상의,...  \n",
              "3  이익을, 회사의, 재산상, 사무를, 처리하는, 손해를, 타인의, 회사에, 재산상의,...  \n",
              "4  이익을, 회사의, 재산상, 사무를, 처리하는, 손해를, 타인의, 회사에, 재산상의,...  "
            ],
            "text/html": [
              "\n",
              "  <div id=\"df-7cdc49c9-759b-4d2c-ae20-458ec6a2eeda\">\n",
              "    <div class=\"colab-df-container\">\n",
              "      <div>\n",
              "<style scoped>\n",
              "    .dataframe tbody tr th:only-of-type {\n",
              "        vertical-align: middle;\n",
              "    }\n",
              "\n",
              "    .dataframe tbody tr th {\n",
              "        vertical-align: top;\n",
              "    }\n",
              "\n",
              "    .dataframe thead th {\n",
              "        text-align: right;\n",
              "    }\n",
              "</style>\n",
              "<table border=\"1\" class=\"dataframe\">\n",
              "  <thead>\n",
              "    <tr style=\"text-align: right;\">\n",
              "      <th></th>\n",
              "      <th>Unnamed: 0</th>\n",
              "      <th>case_name</th>\n",
              "      <th>case_number</th>\n",
              "      <th>date</th>\n",
              "      <th>judgment_issue</th>\n",
              "      <th>judgment_summary</th>\n",
              "      <th>Topic</th>\n",
              "      <th>keywords</th>\n",
              "    </tr>\n",
              "  </thead>\n",
              "  <tbody>\n",
              "    <tr>\n",
              "      <th>0</th>\n",
              "      <td>82</td>\n",
              "      <td>업무상배임[역설계 등의 방법으로 입수 가능한 상태에 있는 회사의 정보를 무단으로 반...</td>\n",
              "      <td>2018도4794</td>\n",
              "      <td>20220630.0</td>\n",
              "      <td>회사 직원이 경쟁업체 또는 스스로의 이익을 위하여 이용할 의사로 무단으로 자료를...</td>\n",
              "      <td>회사 직원이 경쟁업체 또는 스스로의 이익을 위하여 이용할 의사로 무단으로 자료를...</td>\n",
              "      <td>0</td>\n",
              "      <td>이익을, 회사의, 재산상, 사무를, 처리하는, 손해를, 타인의, 회사에, 재산상의,...</td>\n",
              "    </tr>\n",
              "    <tr>\n",
              "      <th>1</th>\n",
              "      <td>118</td>\n",
              "      <td>영업양도무효확인·사해행위취소[주주가 영업양도의 무효확인을 구하는 사건]</td>\n",
              "      <td>2018다228462, 228479</td>\n",
              "      <td>20220609.0</td>\n",
              "      <td>[1] 주식회사의 주주가 직접 회사와 제3자의 거래관계에 개입하여 회사가 체결한...</td>\n",
              "      <td>[1] 주식회사의 주주는 주식의 소유자로서 회사의 경영에 이해관계를 가지고 있기...</td>\n",
              "      <td>0</td>\n",
              "      <td>이익을, 회사의, 재산상, 사무를, 처리하는, 손해를, 타인의, 회사에, 재산상의,...</td>\n",
              "    </tr>\n",
              "    <tr>\n",
              "      <th>2</th>\n",
              "      <td>134</td>\n",
              "      <td>사기미수</td>\n",
              "      <td>2022도1227</td>\n",
              "      <td>20220526.0</td>\n",
              "      <td>[1] 소송사기를 인정할 때 유의할 사항 / 소송사기가 성립하기 위한 요건  [...</td>\n",
              "      <td>[1] 소송사기는 법원을 기망하여 자기에게 유리한 판결을 얻음으로써 상대방의 재...</td>\n",
              "      <td>0</td>\n",
              "      <td>이익을, 회사의, 재산상, 사무를, 처리하는, 손해를, 타인의, 회사에, 재산상의,...</td>\n",
              "    </tr>\n",
              "    <tr>\n",
              "      <th>3</th>\n",
              "      <td>174</td>\n",
              "      <td>부당이득금</td>\n",
              "      <td>2017다278187</td>\n",
              "      <td>20220512.0</td>\n",
              "      <td>[1] 채무자가 아닌 위탁자가 타인의 채무를 담보하기 위하여 금전채권자를 우선수...</td>\n",
              "      <td>[1] 위탁자가 금전채권을 담보하기 위하여 금전채권자를 우선수익자, 위탁자를 수...</td>\n",
              "      <td>0</td>\n",
              "      <td>이익을, 회사의, 재산상, 사무를, 처리하는, 손해를, 타인의, 회사에, 재산상의,...</td>\n",
              "    </tr>\n",
              "    <tr>\n",
              "      <th>4</th>\n",
              "      <td>204</td>\n",
              "      <td>분양대금반환등청구의소</td>\n",
              "      <td>2019다224726</td>\n",
              "      <td>20220428.0</td>\n",
              "      <td>[1] 불법행위로 인한 손해배상사건에서 피해자에게 손해의 발생이나 확대에 관하여...</td>\n",
              "      <td>[1] 불법행위로 인한 손해배상사건에서 피해자에게 손해의 발생이나 확대에 관하여...</td>\n",
              "      <td>0</td>\n",
              "      <td>이익을, 회사의, 재산상, 사무를, 처리하는, 손해를, 타인의, 회사에, 재산상의,...</td>\n",
              "    </tr>\n",
              "  </tbody>\n",
              "</table>\n",
              "</div>\n",
              "      <button class=\"colab-df-convert\" onclick=\"convertToInteractive('df-7cdc49c9-759b-4d2c-ae20-458ec6a2eeda')\"\n",
              "              title=\"Convert this dataframe to an interactive table.\"\n",
              "              style=\"display:none;\">\n",
              "        \n",
              "  <svg xmlns=\"http://www.w3.org/2000/svg\" height=\"24px\"viewBox=\"0 0 24 24\"\n",
              "       width=\"24px\">\n",
              "    <path d=\"M0 0h24v24H0V0z\" fill=\"none\"/>\n",
              "    <path d=\"M18.56 5.44l.94 2.06.94-2.06 2.06-.94-2.06-.94-.94-2.06-.94 2.06-2.06.94zm-11 1L8.5 8.5l.94-2.06 2.06-.94-2.06-.94L8.5 2.5l-.94 2.06-2.06.94zm10 10l.94 2.06.94-2.06 2.06-.94-2.06-.94-.94-2.06-.94 2.06-2.06.94z\"/><path d=\"M17.41 7.96l-1.37-1.37c-.4-.4-.92-.59-1.43-.59-.52 0-1.04.2-1.43.59L10.3 9.45l-7.72 7.72c-.78.78-.78 2.05 0 2.83L4 21.41c.39.39.9.59 1.41.59.51 0 1.02-.2 1.41-.59l7.78-7.78 2.81-2.81c.8-.78.8-2.07 0-2.86zM5.41 20L4 18.59l7.72-7.72 1.47 1.35L5.41 20z\"/>\n",
              "  </svg>\n",
              "      </button>\n",
              "      \n",
              "  <style>\n",
              "    .colab-df-container {\n",
              "      display:flex;\n",
              "      flex-wrap:wrap;\n",
              "      gap: 12px;\n",
              "    }\n",
              "\n",
              "    .colab-df-convert {\n",
              "      background-color: #E8F0FE;\n",
              "      border: none;\n",
              "      border-radius: 50%;\n",
              "      cursor: pointer;\n",
              "      display: none;\n",
              "      fill: #1967D2;\n",
              "      height: 32px;\n",
              "      padding: 0 0 0 0;\n",
              "      width: 32px;\n",
              "    }\n",
              "\n",
              "    .colab-df-convert:hover {\n",
              "      background-color: #E2EBFA;\n",
              "      box-shadow: 0px 1px 2px rgba(60, 64, 67, 0.3), 0px 1px 3px 1px rgba(60, 64, 67, 0.15);\n",
              "      fill: #174EA6;\n",
              "    }\n",
              "\n",
              "    [theme=dark] .colab-df-convert {\n",
              "      background-color: #3B4455;\n",
              "      fill: #D2E3FC;\n",
              "    }\n",
              "\n",
              "    [theme=dark] .colab-df-convert:hover {\n",
              "      background-color: #434B5C;\n",
              "      box-shadow: 0px 1px 3px 1px rgba(0, 0, 0, 0.15);\n",
              "      filter: drop-shadow(0px 1px 2px rgba(0, 0, 0, 0.3));\n",
              "      fill: #FFFFFF;\n",
              "    }\n",
              "  </style>\n",
              "\n",
              "      <script>\n",
              "        const buttonEl =\n",
              "          document.querySelector('#df-7cdc49c9-759b-4d2c-ae20-458ec6a2eeda button.colab-df-convert');\n",
              "        buttonEl.style.display =\n",
              "          google.colab.kernel.accessAllowed ? 'block' : 'none';\n",
              "\n",
              "        async function convertToInteractive(key) {\n",
              "          const element = document.querySelector('#df-7cdc49c9-759b-4d2c-ae20-458ec6a2eeda');\n",
              "          const dataTable =\n",
              "            await google.colab.kernel.invokeFunction('convertToInteractive',\n",
              "                                                     [key], {});\n",
              "          if (!dataTable) return;\n",
              "\n",
              "          const docLinkHtml = 'Like what you see? Visit the ' +\n",
              "            '<a target=\"_blank\" href=https://colab.research.google.com/notebooks/data_table.ipynb>data table notebook</a>'\n",
              "            + ' to learn more about interactive tables.';\n",
              "          element.innerHTML = '';\n",
              "          dataTable['output_type'] = 'display_data';\n",
              "          await google.colab.output.renderOutput(dataTable, element);\n",
              "          const docLink = document.createElement('div');\n",
              "          docLink.innerHTML = docLinkHtml;\n",
              "          element.appendChild(docLink);\n",
              "        }\n",
              "      </script>\n",
              "    </div>\n",
              "  </div>\n",
              "  "
            ]
          },
          "metadata": {},
          "execution_count": 19
        }
      ]
    },
    {
      "cell_type": "code",
      "source": [
        "# 1. Obtain query, documents, keywords embeddings from KRLawBERT\n",
        "my_plms = './output/tsdae-krlawbert'\n",
        "sls = SLS(\n",
        "    dataframe = new_df,\n",
        "    doc_col = 'judgment_summary',\n",
        "    key_col = 'keywords',\n",
        "    model_name = my_plms,\n",
        "    use_sentence_bert = True,\n",
        "    split_and_merge = True,\n",
        "    multi_inter = True,\n",
        "    )\n",
        "\n",
        "# 2. Build the Index\n",
        "# (Strategy 1) : All Distance Metric\n",
        "all_index = sls.all_distance_metric()\n",
        "# (Strategy 2) : Restricted Distance Metric\n",
        "restricted_index = sls.restricted_distance_metric(nlist = 200, nprobe = 6)"
      ],
      "metadata": {
        "id": "AS25HaURMaho",
        "colab": {
          "base_uri": "https://localhost:8080/",
          "height": 86,
          "referenced_widgets": [
            "fa4d0ac4c62f40bda3d3cd4bf3c18e20",
            "b81197f3c69f4449b859b87189871616",
            "82ca0a96432342d6b288b61da2fdda14",
            "00c0049ebacc46d6a1b832c9eded26c3",
            "2e6625e6db08467687615463693b044b",
            "2b82b565526e40f79d660c0c76cc471d",
            "efca2b9a43eb4f7889d0a64bf116bd48",
            "e5e7ad5a79ba4e4da5636a46f39fbf0b",
            "64e0189baddc4402ae9c5f6020fb0478",
            "87a48065f55c4f5cbc3d2a34cc50cca0",
            "2952373dced946b6a02a38445e782f50"
          ]
        },
        "outputId": "772d3146-4e79-4340-cc49-f4b0f4338420"
      },
      "execution_count": null,
      "outputs": [
        {
          "output_type": "stream",
          "name": "stdout",
          "text": [
            ">> Split and Merage embeddings shape(Items x PLMs_dim) : (20000, 768)\n"
          ]
        },
        {
          "output_type": "display_data",
          "data": {
            "text/plain": [
              "Batches:   0%|          | 0/625 [00:00<?, ?it/s]"
            ],
            "application/vnd.jupyter.widget-view+json": {
              "version_major": 2,
              "version_minor": 0,
              "model_id": "fa4d0ac4c62f40bda3d3cd4bf3c18e20"
            }
          },
          "metadata": {}
        },
        {
          "output_type": "stream",
          "name": "stdout",
          "text": [
            ">> Keywords embeddings shape(Items x PLMs_dim) : (20000, 768)\n"
          ]
        }
      ]
    },
    {
      "cell_type": "markdown",
      "source": [
        "## STEP 4. Semantic law case search with SLS"
      ],
      "metadata": {
        "id": "rC3AvlfYBILh"
      }
    },
    {
      "cell_type": "code",
      "source": [
        "# 3. Semantic case law search (Legal Question-Answering)\n",
        "my_query = \"마약 불법거래 및 운반에 관한 판례\"\n",
        "\n",
        "original_outputs, _ = sls.semantic_search(\n",
        "    user_query = my_query,\n",
        "    top_k = 5,\n",
        "    index = all_index,\n",
        "    print_results = True,\n",
        "    )"
      ],
      "metadata": {
        "colab": {
          "base_uri": "https://localhost:8080/"
        },
        "id": "z5PV9GkyI4Al",
        "outputId": "c7cca977-2034-45e8-ff01-b9a5b1f47df0"
      },
      "execution_count": null,
      "outputs": [
        {
          "output_type": "stream",
          "name": "stdout",
          "text": [
            "\n",
            " === Calculate run time : 43.5369 ms === \n",
            "\n",
            ">> Write your case : 마약 불법거래 및 운반에 관한 판례\n",
            "\n",
            " >> Top 1 - Case name (Number) : 압류처분무효확인 [검사가 전직 대통령(사망)에 대한 추징판결의 집행을 위하여 「공무원범죄에 관한 몰수 특례법」 제9조의2에 따라 신탁회사가 신탁 받은 부동산에 대해 한 압류처분의 항고소송 대상적격성, 위법성 등이 문제된 사안] (2019두63447)  \n",
            " | Cluster : 564 \n",
            " | Extracted keywords : 공무원범죄몰수법, 추징의, 불법재산, 재산형, 마약류, 추징을, 집행을, 제9조의2에, 마약거래방지법, 몰수 \n",
            " | Date : 20220728.0 | Judgment Issue :   [1] 공무원범죄에 관한 몰수 특례법 제9조의2에 의하여 제3자를 상대로 한 추징의 집행은 범인에 대한 추징의 집행을 전제로 하는지 여부(적극)  [2] 특정공무원범죄를 범한 범인이 사망한 경우, 범인에 대하여 재산형 등의 집행 및 공무원범죄에 관한 몰수 특례법 제9조의2에 따른 범인 외의 자를 상대로 한 추징의 집행을 할 수 있는지 여부(소극) / 이 경우 검사가 취할 조치  [3] 공무원범죄에 관한 몰수 특례법 제9조의2에 따라 추징의 집행을 받는 제3자가 검사의 처분이 부당함을 이유로 형사소송법 제489조에 따라 재판을 선고한 법원에 재판의 집행에 관한 이의를 신청할 수 있는지 여부(적극) 및 그와 별도로 행정소송법상 항고소송을 제기하여 처분의 위법성 여부를 다툴 수 있는지 여부(적극)  [4] 특정공무원범죄를 범한 범인이 그 정황을 아는 수탁자와 신탁계약을 체결하여 불법재산 등의 소유권을 신탁한 경우, 신탁법 제22조 제1항 본문의 적용이 배제되는지 여부(적극)  [5] 공무원범죄에 관한 몰수 특례법 제9조의2에서 정한 ‘범인 외의 자’, ‘취득’의 해석  \n",
            " | Judgment Summary :   [1] 공무원범죄에 관한 몰수 특례법(이하 ‘공무원범죄몰수법’이라 한다) 제6조는 \"불법재산을 몰수할 수 없거나 제3조 제2항에 따라 몰수하지 아니하는 경우에는 그 가액을 범인에게서 추징한다.\"라고 규정하고 있고, 같은 법 제9조의2는 \"제6조의 추징은 범인 외의 자가 그 정황을 알면서 취득한 불법재산 및 그로부터 유래한 재산(이하 ‘불법재산 등’이라 한다)에 대하여 그 범인 외의 자를 상대로 집행할 수 있다.\"라고 규정하고 있다. 공무원범죄몰수법 제9조의2에 의한 추징의 집행은 특정공무원범죄를 범한 범인에 대한 추징 규정인 제6조의 추징을 전제로 하는 형식을 취하고 있다. 공무원범죄몰수법 제9조의2는 국가형벌권의 실현을 보장하고 불법재산의 철저한 환수를 통해 공직사회의 부정부패 요인을 근원적으로 제거하기 위하여 제3자에게 범죄가 인정됨을 전제로 한 것이 아니라 특정공무원범죄를 범한 범인에 대한 추징판결의 집행 대상을 제3자가 취득한 불법재산 등에까지 확대하여 제3자에게 물적 유한책임을 부과한 것이다. 한편 형사법상 몰수를 갈음하는 추징은 공소사실에 관하여 형사재판을 받는 피고인에 대한 유죄의 판결에서 선고되는 부수처분으로서 형벌적 성격을 가진다. 이러한 공무원범죄몰수법 제9조의2의 규정 내용과 입법 목적, 규정의 성격 등을 종합하면 공무원범죄몰수법 제9조의2에 의하여 제3자를 상대로 한 추징의 집행은 범인에 대한 추징의 집행을 전제로 한다고 해석된다.   [2] 몰수나 추징을 포함한 재산형 등 재판의 집행은 재판을 받은 자에 대해서 하는 것이 원칙이므로 재판을 받은 자가 사망한 경우에는 상속재산에 대한 집행을 규정하고 있는 형사소송법 제478조 등 특별한 규정이 없는 한 재판의 집행을 할 수 없다. 이에 따라 재산형 등에 관한 검찰 집행사무규칙(이하 ‘집행사무규칙’이라 한다) 제25조 제1항 제2호는 납세의무자가 사망한 경우 형사소송법 제478조에 따라 상속재산에 관하여 집행할 수 있는 경우를 제외하고 재산형 등(벌금·과료·추징·과태료·소송비용 및 비용배상을 의미한다) 집행 불능 결정을 하여야 한다고 규정하고 있다.    그런데 공무원범죄에 관한 몰수 특례법(이하 ‘공무원범죄몰수법’이라 한다)은 특정공무원범죄를 범한 범인이 사망한 경우 범인에 대한 몰수·추징이나 범인 외의 자에 대한 추징의 집행에 관하여 별도의 규정을 두고 있지 않다. 따라서 특정공무원범죄를 범한 범인이 사망한 경우에는 몰수나 추징을 포함한 재산형 등 재판의 집행에 관한 일반원칙에 따라 범인에 대하여 재산형 등의 집행을 할 수 없고 공무원범죄몰수법 제9조의2에 따른 범인 외의 자를 상대로 한 추징의 집행도 할 수 없다. 이러한 경우 검사는 집행사무규칙 제25조 제1항 제2호에 따라 재산형 등 집행 불능 결정을 하여야 한다.  [3] 형사소송법은 재산형 등의 재판은 검사의 명령에 의하여 집행하고(제477조 제1항), 재판의 집행을 받은 자 또는 그 법정대리인이나 배우자는 집행에 관한 검사의 처분이 부당함을 이유로 재판을 선고한 법원에 이의신청을 할 수 있다고 규정하여(제489조) 재산형 등 재판의 집행에 관한 검사의 처분에 대한 불복방법과 절차를 마련해두었다. 재판의 효력은 특별한 사정이 없는 한 재판을 받은 자에게만 미치므로 재판의 집행은 판결의 선고를 받은 자에 대해서 함을 원칙으로 하고, 재산형 등 재판의 집행에 관한 검사의 처분에 대하여 이의신청을 할 수 있는 ‘재판의 집행을 받은 자’는 통상 판결의 선고를 받은 피고인이라고 보아야 한다.2013. 7. 12. 법률 제11883호로 개정되어 같은 날 시행된 공무원범죄에 관한 몰수 특례법(이하 ‘공무원범죄몰수법’이라 한다)은 제9조의2를 신설하여 범인 외의 자가 정황을 알면서 취득한 불법재산 등에 대하여 그 범인 외의 자를 상대로 추징의 집행을 할 수 있다고 규정하였다. 그런데 위와 같이 개정된 공무원범죄몰수법은 제9조의2에 의한 집행에 관한 검사의 처분에 대하여 제3자가 불복할 수 있는 방법과 절차를 별도로 마련해두지 않았고, 위 조항에 따라 제3자를 상대로 추징의 집행을 함에 있어 그에게 의견진술과 방어의 기회를 보장하는 규정도 마련해두지 않았다. 그렇다면 공무원범죄몰수법 제9조의2에 따라 추징의 집행을 받는 제3자도 검사의 처분이 부당함을 이유로 형사소송법 제489조에 따라 재판을 선고한 법원에 재판의 집행에 관한 이의를 신청할 수 있다고 보아야 한다.    나아가 형사소송법 제489조가 정한 집행에 관한 이의신청 절차는 공무원범죄몰수법 제9조의2에 따른 추징의 집행에 관한 검사의 처분의 근거 법률인 공무원범죄몰수법에서 예정하고 있는 불복방법이 아니고, 형의 선고를 받은 피고인이 아닌 제3자에 대하여 예정된 불복방법이라고 볼 수도 없다. 또한 형사소송법 제489조가 정한 재판에 관한 이의신청 절차는 통상의 재판절차와는 달리 법원이 신청인의 출석 없이 서면으로만 심리하여 결정할 수도 있어 재산형 등 재판의 집행을 받은 자가 피고인 이외의 제3자인 경우에는 그의 의견진술 기회를 충분히 보장할 수 없고, 위 이의신청은 재산형 등의 집행이 종료된 후에는 허용되지 않으며, 이의신청을 하더라도 집행정지의 효력도 없어 집행이 신속히 종결되는 경우에는 재판의 집행을 받은 제3자의 권리 구제에 한계가 있으므로 제3자의 권익보호에 미흡하다. 이러한 사정을 종합하면 공무원범죄몰수법 제9조의2에 따라 추징의 집행을 받은 제3자가 형사소송법 제489조에 따라 집행에 관한 검사의 처분에 대하여 이의신청을 할 수 있다고 하더라도 그와 별도로 행정소송법상 항고소송을 제기하여 처분의 위법성 여부를 다툴 수 있다고 보아야 한다.   [4] 공무원범죄에 관한 몰수 특례법(이하 ‘공무원범죄몰수법’이라 한다) 제9조의2에서 추징은 범인 외의 자가 그 정황을 알면서 취득한 불법재산 및 그로부터 유래한 재산에 대하여 그 범인 외의 자를 상대로 집행할 수 있다고 규정하고 있다. 한편 신탁법 제22조 제1항 본문은 \"신탁재산에 대하여는 강제집행, 담보권 실행 등을 위한 경매, 보전처분 또는 국세 등 체납처분을 할 수 없다.\"라고 규정하고 있다. 신탁법 제22조 제1항은 신탁의 목적을 원활하게 달성하기 위하여 신탁재산의 독립성을 보장하는 데 입법 취지가 있다.      한편 공무원범죄몰수법 제9조의2는 제3자가 정황을 알면서 불법재산 등을 취득한 사실이 확인된 때에는 제3자에게 귀속된 불법재산 등을 대상으로 범인에 대한 추징판결을 집행할 수 있도록 함으로써 국가형벌권의 실현을 보장하여 형사사법의 정의를 구현함과 동시에 불법재산을 철저하게 추적·환수하여 공무원범죄몰수법의 입법 목적을 달성하기 위하여 2013. 7. 12. 공무원범죄몰수법 개정 당시 신설되었다.    특정공무원범죄를 범한 범인이 위 범죄를 통하여 취득한 불법재산 등을 정황을 아는 수탁자에게 신탁계약을 통하여 이전하였는데도 신탁재산에 대하여는 강제집행이 금지된다는 이유로 이 사건 조항을 적용하여 추징의 집행을 하는 것을 허용하지 않게 되면, 공무원범죄몰수법의 입법 목적이나 이 사건 조항의 신설 취지를 몰각시키게 되고 특정공무원범죄를 범한 범인이 신탁의 방법으로 공무원범죄몰수법 제9조의2에 의한 추징의 집행을 면탈하려는 강력한 동기를 갖게 되며, 이러한 방식으로 신탁제도가 남용될 경우 신탁제도에 대한 신뢰를 떨어트려 궁극적으로 신탁제도의 발전을 저해하게 된다. 따라서 특정공무원범죄를 범한 범인이 그 정황을 아는 수탁자와 신탁계약을 체결하여 불법재산 등의 소유권을 신탁하였다면 이는 신탁제도를 남용한 경우에 해당하여 신탁재산의 독립성을 보호할 필요가 없으므로 신탁법 제22조 제1항 본문의 적용이 배제된다.  [5] 공무원범죄에 관한 몰수 특례법의 입법 목적과 제9조의2의 신설 취지 등에 비추어 보면, 국가형벌권의 실현을 보장하고 불법재산의 철저한 환수를 위해서는 제3자가 불법재산 등에 해당한다는 정황을 알면서 소유권을 이전받은 경우라면 제3자가 상당한 대가를 지급하였거나 재산이 종국적으로 귀속되지 않았더라도 불법재산 등에 대하여 추징의 집행을 할 필요성이 있다. 그러므로 제9조의2에서 정한 ‘범인 외의 자’를 상당한 대가를 지급하고 불법재산 등을 취득한 자를 제외하는 것으로 해석하고, ‘취득’을 재산이 종국적으로 귀속된 경우에 한정하는 것으로 해석할 수는 없다. \n",
            "\n",
            " >> Top 2 - Case name (Number) : 마약류불법거래방지에관한특례법위반(인정된 죄명: 마약류불법거래방지에관한특례법위반방조)ㆍ마약류관리에관한법률위반(향정) (2020도16369)  \n",
            " | Cluster : 564 \n",
            " | Extracted keywords : 공무원범죄몰수법, 추징의, 불법재산, 재산형, 마약류, 추징을, 집행을, 제9조의2에, 마약거래방지법, 몰수 \n",
            " | Date : 20210429.0 | Judgment Issue : 마약류 불법거래 방지에 관한 특례법 제6조를 위반하여 마약류를 수출입ㆍ제조ㆍ매매하는 행위 등을 업으로 하는 범죄행위의 정범이 그 범죄행위로 얻은 수익은 같은 법 제13조부터 제16조까지의 규정에 따라 몰수ㆍ추징의 대상이 되는지 여부(적극) / 위 정범으로부터 대가를 받고 판매할 마약을 공급하는 방법으로 위 범행을 용이하게 한 방조범이 정범의 위 범죄행위로 인한 수익을 정범과 공동으로 취득하였다고 평가할 수 없는 경우, 방조행위로 얻은 재산 등에 한하여 몰수, 추징할 수 있는지 여부(적극) \n",
            " | Judgment Summary : 마약류 불법거래 방지에 관한 특례법(이하 ‘마약거래방지법’이라고 한다) 제6조를 위반하여 마약류를 수출입ㆍ제조ㆍ매매하는 행위 등을 업으로 하는 범죄행위의 정범이 그 범죄행위로 얻은 수익은 마약거래방지법 제13조부터 제16조까지의 규정에 따라 몰수ㆍ추징의 대상이 된다. 그러나 위 정범으로부터 대가를 받고 판매할 마약을 공급하는 방법으로 위 범행을 용이하게 한 방조범은 정범의 위 범죄행위로 인한 수익을 정범과 공동으로 취득하였다고 평가할 수 없다면 위 몰수ㆍ추징 규정에 의하여 정범과 같이 추징할 수는 없고, 그 방조범으로부터는 방조행위로 얻은 재산 등에 한하여 몰수, 추징할 수 있다고 보아야 한다.\n",
            "\n",
            " >> Top 3 - Case name (Number) : 추징보전청구일부인용결정에대한재항고 (2018모3287)  \n",
            " | Cluster : 564 \n",
            " | Extracted keywords : 공무원범죄몰수법, 추징의, 불법재산, 재산형, 마약류, 추징을, 집행을, 제9조의2에, 마약거래방지법, 몰수 \n",
            " | Date : 20190628.0 | Judgment Issue :   마약류범죄에서 취급한 마약류 자체가 마약류 불법거래 방지에 관한 특례법에서 정한 ‘불법수익’에 해당하는지 여부(소극) 및 마약류 자체가 같은 법 제13조에서 정한 몰수 대상 재산에 포함되는 것을 전제로 그 가액의 추징을 보전하기 위한 추징보전명령을 할 수 있는지 여부(소극) \n",
            " | Judgment Summary :   마약류 불법거래 방지에 관한 특례법(이하 ‘마약거래방지법’이라 한다)에서 정한 추징보전명령을 하려면 해당 재산이 마약거래방지법 제13조에서 정한 몰수 대상 재산에 포함되어야 하는데(제52조 제1항, 제16조), 마약거래방지법 제13조는 몰수 대상 재산 중 하나로 ‘불법수익’을 들고 있다.  마약류 관리에 관한 법률(이하 ‘마약류관리법’이라 한다)은 마약류 자체의 취급·관리를 적정하게 함으로써 오용 또는 남용을 방지하기 위하여 제정되었다(제1조). 이와 달리 마약거래방지법은 마약류와 관련된 불법행위를 조장하는 행위 등을 방지함으로써 마약류범죄의 진압과 예방을 도모하고 마약류관리법의 특례를 규정하기 위하여 제정되었다(제1조).마약거래방지법 제2조는 제1항에서 ‘마약류’에 관하여 정의하면서 제3항에서 ‘불법수익’에 관하여 따로 정의하고 있다. 마약거래방지법은 불법수익에 초점을 두어 불법수익이 새로운 마약류범죄에 재투자되는 것을 방지하고 불법수익을 철저히 추적·환수하기 위한 각종 규정을 마련하고 있고(제5조, 제7조, 제8조, 제13조, 제16조), 이와 별도로 마약류에 관한 규정을 두고 있다(제3조, 제4조, 제6조, 제9조).  마약거래방지법은 마약거래방지법 외에 마약류관리법, 그 밖의 법령에 따라 몰수할 수 있는 재산에 대해서도 몰수보전명령을 할 수 있는 것으로 정하였지만(제33조 제1항), 추징보전명령의 경우에는 마약거래방지법에 따라 추징해야 할 경우로 한정하였다(제52조 제1항). 마약류관리법은 몰수할 수 있는 재산으로 ‘이 법에 규정된 죄에 제공한 마약류’와 ‘그로 인한 수익금’을 구분하여 정하고 있다(제67조 본문).  이러한 마약거래방지법의 입법 목적, 제정이유, 규정체계 등을 종합하면, 마약류범죄에서 취급한 마약류 자체는 마약거래방지법에서 정한 불법수익에 해당한다고 보기 어렵다. 따라서 마약류 자체가 마약거래방지법 제13조에서 정한 몰수 대상 재산에 포함되는 것을 전제로 그 가액의 추징을 보전하기 위한 추징보전명령을 할 수는 없다고 보아야 한다.\n",
            "\n",
            " >> Top 4 - Case name (Number) : 마약류관리에관한법률위반(향정) (2010노3608)  \n",
            " | Cluster : 564 \n",
            " | Extracted keywords : 공무원범죄몰수법, 추징의, 불법재산, 재산형, 마약류, 추징을, 집행을, 제9조의2에, 마약거래방지법, 몰수 \n",
            " | Date : 20110317.0 | Judgment Issue : [1] 마약류 매도의 대가로 받은 대금 등이 \n",
            "          마약류관리에 관한 법률 제67조에 의한 필요적 몰수·추징의 대상이 되는지 여부(적극) 및 마약류를 취급한 피고인이 이를 이용한 추가 범행으로 수익금을 얻은 경우, 마약류 자체의 가액 등과 별도로 위 수익금도 추징의 대상이 되는지 여부(적극)\n",
            "        [2] \n",
            "          마약류관리에 관한 법률 제67조에 의한 몰수·추징의 법적 성질(=징벌적 성질의 처분) 및 죄를 범한 자가 수인인 경우 위 조항에 의한 추징의 범위\n",
            "        [3] 마약류관리에 관한 법률 위반(향정)으로 기소된 피고인들 중 일부 피고인에 대하여 마약류를 이용한 추가 범행으로 인한 수익금을 추징 대상에서 제외하는 한편, 수익금 발생 관련 추가 범행에 관여하지 않은 일부 피고인에 대하여 위 수익금 전액의 추징을 명한 원심판결에 추징에 관한 법리오해의 위법이 있다는 이유로, 이를 직권파기하고 다시 판결한 사례 \n",
            " | Judgment Summary : [1] 마약류를 타인에게 매도한 경우 매도의 대가로 받은 대금 등은 \n",
            "          마약류관리에 관한 법률 제67조에 규정된 범죄행위로 인한 수익금으로서 필요적으로 몰수하여야 하고, 몰수가 불가능할 때에는 그 가액을 추징하여야 한다. 한편 \n",
            "          같은 법 제67조는 “이 법에 규정된 죄에 제공한 마약류 및 시설·장비·자금 또는 운반수단과 그로 인한 수익금은 몰수한다. 다만, 이를 몰수할 수 없는 때에는 그 가액을 추징한다.”고 규정하고 있으므로, 마약류를 취급한 피고인이 이를 이용한 추가 범행으로 수익금을 얻었다면 마약류 자체의 가액이나 범행자금과는 별도로 위 수익금 역시 추징하여야 한다.\n",
            "        [2] \n",
            "          마약류관리에 관한 법률 제67조에 의한 몰수나 추징은 범죄행위로 인한 이득의 박탈을 목적으로 하는 것이 아닌 징벌적 성질의 처분이므로 위 범행으로 이득을 취득하지 않았더라도 법원은 그 가액의 추징을 명하여야 하고, 추징의 범위에 관하여는 죄를 범한 자가 여러 사람일 때에는 각자에 대하여 그가 취급한 범위 내에서 마약류 가액 전액의 추징을 명하여야 한다. 그러나 위와 같은 법리는 추징 대상의 동일성이 인정되는 경우에 적용되는 것이므로, 마약류 관련 추가 범행으로 수익금이 발생하여 마약류 자체와는 별도로 위 수익금이 추징의 대상이 된 경우, 수익금 발생 관련 범행에 전혀 관여하지 않은 피고인에게까지 수익금 전액의 추징을 명하거나 중첩관계를 인정할 수는 없다.\n",
            "        [3] 피고인들이 필로폰을 국내로 밀수입 또는 투약·매수하거나 제3자에게 매도·교부하였다고 하여 마약류관리에 관한 법률 위반(향정)으로 기소된 사안에서, 피고인들 중 일부 피고인에 대하여 필로폰 자체의 가액만을 추징할 뿐 이를 이용하여 추가로 저지른 범행으로 인한 수익금을 추징 대상에서 제외하는 한편, 수익금 발생 관련 추가 범행에 관여하지 않은 일부 피고인에 대해서 수익금 전액의 추징을 명한 원심판결에 추징에 관한 법리오해의 위법이 있다는 이유로, 이를 직권파기하고 다시 판결한 사례.\n",
            "\n",
            " >> Top 5 - Case name (Number) : 마약류관리에관한법률위반(향정) (2010도7251)  \n",
            " | Cluster : 564 \n",
            " | Extracted keywords : 공무원범죄몰수법, 추징의, 불법재산, 재산형, 마약류, 추징을, 집행을, 제9조의2에, 마약거래방지법, 몰수 \n",
            " | Date : 20100826.0 | Judgment Issue : [1] \n",
            "          마약류관리에 관한 법률 제67조에 의한 몰수·추징의 법적 성질 및 추징의 범위\n",
            "        [2] 향정신성의약품의 매도의 대가로 받은 대금 등이 \n",
            "          마약류관리에 관한 법률 제67조에 의한 필요적 몰수·추징의 대상인지 여부(적극)\n",
            "        [3] 메스암페타민을 2회에 걸쳐 타인에게 매도한 행위를 유죄로 인정하고 그로 인한 수익금 전액의 추징을 명한 원심판단을 수긍한 사례 \n",
            " | Judgment Summary : [1] \n",
            "          마약류관리에 관한 법률 제67조에 의한 몰수나 추징은 범죄행위로 인한 이득의 박탈을 목적으로 하는 것이 아니라 징벌적 성질의 처분이므로, 그 범행으로 인하여 이득을 취득한 바 없다 하더라도 법원은 그 가액의 추징을 명하여야 하고, 그 추징의 범위에 관하여는 죄를 범한 자가 여러 사람일 때에는 각자에 대하여 그가 취급한 범위 내에서 의약품 가액 전액의 추징을 명하여야 한다.\n",
            "        [2] 향정신성의약품을 타인에게 매도한 경우 매도의 대가로 받은 대금 등은 \n",
            "          마약류관리에 관한 법률 제67조에 규정된 범죄행위로 인한 수익금으로서 필요적으로 몰수하여야 하고, 몰수가 불가능할 때에는 그 가액을 추징하여야 한다.\n",
            "        [3] 향정신성의약품인 메스암페타민을 2회에 걸쳐 타인에게 매도한 행위를 유죄로 인정하고 그로 인한 수익금 전액의 추징을 명한 원심판단을 수긍한 사례.\n"
          ]
        }
      ]
    },
    {
      "cell_type": "markdown",
      "source": [
        "## Compare Result\n",
        "### 1. Without Multi-interactions mechanism(Single-interaction)"
      ],
      "metadata": {
        "id": "XBcwgwx0IhcQ"
      }
    },
    {
      "cell_type": "code",
      "source": [
        "# 1. Obtain query, documents, keywords embeddings from KRLawBERT\n",
        "sls = SLS(\n",
        "    dataframe = new_df,\n",
        "    doc_col = 'judgment_summary',\n",
        "    key_col = 'keywords',\n",
        "    model_name = my_plms,\n",
        "    use_sentence_bert = True,\n",
        "    split_and_merge = False,\n",
        "    multi_inter = False,\n",
        "    )\n",
        "\n",
        "# 2. Build the Index\n",
        "all_index = sls.all_distance_metric()\n",
        "\n",
        "# 3. Semantic case law search (Legal Question-Answering)\n",
        "my_query = \"마약 불법거래 및 운반에 관한 판례\"\n",
        "original_outputs, _ = sls.semantic_search(\n",
        "    user_query = my_query,\n",
        "    top_k = 5,\n",
        "    index = all_index,\n",
        "    print_results = True,\n",
        "    )"
      ],
      "metadata": {
        "colab": {
          "base_uri": "https://localhost:8080/",
          "height": 821,
          "referenced_widgets": [
            "7741b8ee41724907b1722c97a1b4c1c0",
            "06735d842421418d86134359168aa93a",
            "b8c7dfe716da447bad5c5e870084049c",
            "5222316ab3e54c699c6bdf2b16b80997",
            "25c70533b4ef448f917581209a9c25c5",
            "166d53f076154c81b18bced749e8a5e9",
            "a00d41fa07904c9bbde9747eb253793a",
            "c7fa6a8dba4f47839139eabe6415bcf3",
            "976d606ffc4d4bd1b4ade1f270959b22",
            "7bd68c43b5964eafb72b7f05b0267fa1",
            "4e9a8f9cff2f4471bec2d54bd41ed80b",
            "9963e613317e4c85a796aefbd59902a7",
            "1cad91ecafd7494d80c669d4270113e6",
            "771a3a601297439bb36649d797a36ed6",
            "4cfc7bb6adc4404c903a8410901f513e",
            "2ff27a8fd59e4d75b19598723c6f49d1",
            "6fe8463be93242b4ace7a655f6f2ead4",
            "e9d644c87d364d18801ed8fe5522c5b8",
            "fd5e4b6be2db470eb65490f18509fb4e",
            "d2e0e846a5b64af09cf1f48c0c68ec2e",
            "6b6b64cef4e14a15af31a16c04aef7a8",
            "98f3404a8c244cc8a8476fe66e4547dc"
          ]
        },
        "id": "PG0ExB55E-Ru",
        "outputId": "e904d8be-e8cd-4870-aaec-317cb3911109"
      },
      "execution_count": null,
      "outputs": [
        {
          "output_type": "display_data",
          "data": {
            "text/plain": [
              "Batches:   0%|          | 0/625 [00:00<?, ?it/s]"
            ],
            "application/vnd.jupyter.widget-view+json": {
              "version_major": 2,
              "version_minor": 0,
              "model_id": "7741b8ee41724907b1722c97a1b4c1c0"
            }
          },
          "metadata": {}
        },
        {
          "output_type": "stream",
          "name": "stdout",
          "text": [
            ">> Documents embeddings shape(Items x PLMs_dim) : (20000, 768)\n"
          ]
        },
        {
          "output_type": "display_data",
          "data": {
            "text/plain": [
              "Batches:   0%|          | 0/625 [00:00<?, ?it/s]"
            ],
            "application/vnd.jupyter.widget-view+json": {
              "version_major": 2,
              "version_minor": 0,
              "model_id": "9963e613317e4c85a796aefbd59902a7"
            }
          },
          "metadata": {}
        },
        {
          "output_type": "stream",
          "name": "stdout",
          "text": [
            ">> Keywords embeddings shape(Items x PLMs_dim) : (20000, 768)\n",
            "\n",
            " === Calculate run time : 36.2847 ms === \n",
            "\n",
            ">> Write your case : 마약 불법거래 및 운반에 관한 판례\n",
            "\n",
            " >> Top 1 - Case name (Number) : 수뢰후부정처사(인정된 죄명 : 뇌물수수) (99도2530)  \n",
            " | Cluster : 242 \n",
            " | Extracted keywords : 피고인, 직무와, 직무, 뇌물을, 군사기밀의, 뇌물죄에서, 수수한, 수뢰자가, 군사상의, 공무원이 \n",
            " | Date : 19991109.0 | Judgment Issue : [1] 뇌물죄에 있어서 '직무'의 의미[2] 음주운전을 적발하여 단속에 관련된 제반 서류를 작성한 후 운전면허 취소업무를 담당하는 직원에게 이를 인계하는 업무를 담당하는 경찰관이 피단속자로부터 운전면허가 취소되지 않도록 하여 달라는 청탁을 받고 금원을 교부받은 경우, 뇌물수수죄가 성립한다고 한 사례[3] 법원이 공소장변경 없이 직권으로 공소장에 기재된 공소사실과 다른 범죄사실을 인정하기 위한 요건[4] 수뢰후부정처사죄로 기소된 공소사실을 공소장 변경 없이 뇌물수수죄로 인정할 수 있다고 한 사례 \n",
            " | Judgment Summary :   [1] 뇌물죄는 직무집행의 공정과 이에 대한 사회의 신뢰에 기하여 직무행위의 불가매수성을 그 직접의 보호법익으로 하고 있으므로 뇌물성은 의무위반 행위나 청탁의 유무 및 금품수수 시기와 직무집행 행위의 전후를 가리지 아니한다 할 것이고, 따라서 뇌물죄에서 말하는 '직무'에는 법령에 정하여진 직무뿐만 아니라 그와 관련 있는 직무, 과거에 담당하였거나 장래에 담당할 직무 외에 사무분장에 따라 현실적으로 담당하지 않는 직무라도 법령상 일반적인 직무권한에 속하는 직무 등 공무원이 그 직위에 따라 공무로 담당할 일체의 직무를 포함한다.  [2] 음주운전을 적발하여 단속에 관련된 제반 서류를 작성한 후 운전면허 취소업무를 담당하는 직원에게 이를 인계하는 업무를 담당하는 경찰관이 피단속자로부터 운전면허가 취소되지 않도록 하여 달라는 청탁을 받고 금원을 교부받은 경우, 뇌물수수죄가 성립한다고 한 사례.  [3] 법원은 공소사실의 동일성이 인정되는 범위 내에서 공소가 제기된 범죄사실에 포함된 보다 가벼운 범죄사실이 인정되는 경우에 심리의 경과에 비추어 피고인의 방어권 행사에 실질적 불이익을 초래할 염려가 없다고 인정되는 때에는 공소장이 변경되지 않았더라도 직권으로 공소장에 기재된 공소사실과 다른 공소사실을 인정할 수 있는 것이다.  [4] 수뢰후부정처사죄로 기소된 공소사실을 공소장 변경 없이 뇌물수수죄로 인정할 수 있다고 한 사례.\n",
            "\n",
            " >> Top 2 - Case name (Number) : 마약류불법거래방지에관한특례법위반(인정된 죄명: 마약류불법거래방지에관한특례법위반방조)ㆍ마약류관리에관한법률위반(향정) (2020도16369)  \n",
            " | Cluster : 564 \n",
            " | Extracted keywords : 공무원범죄몰수법, 추징의, 불법재산, 재산형, 마약류, 추징을, 집행을, 제9조의2에, 마약거래방지법, 몰수 \n",
            " | Date : 20210429.0 | Judgment Issue : 마약류 불법거래 방지에 관한 특례법 제6조를 위반하여 마약류를 수출입ㆍ제조ㆍ매매하는 행위 등을 업으로 하는 범죄행위의 정범이 그 범죄행위로 얻은 수익은 같은 법 제13조부터 제16조까지의 규정에 따라 몰수ㆍ추징의 대상이 되는지 여부(적극) / 위 정범으로부터 대가를 받고 판매할 마약을 공급하는 방법으로 위 범행을 용이하게 한 방조범이 정범의 위 범죄행위로 인한 수익을 정범과 공동으로 취득하였다고 평가할 수 없는 경우, 방조행위로 얻은 재산 등에 한하여 몰수, 추징할 수 있는지 여부(적극) \n",
            " | Judgment Summary : 마약류 불법거래 방지에 관한 특례법(이하 ‘마약거래방지법’이라고 한다) 제6조를 위반하여 마약류를 수출입ㆍ제조ㆍ매매하는 행위 등을 업으로 하는 범죄행위의 정범이 그 범죄행위로 얻은 수익은 마약거래방지법 제13조부터 제16조까지의 규정에 따라 몰수ㆍ추징의 대상이 된다. 그러나 위 정범으로부터 대가를 받고 판매할 마약을 공급하는 방법으로 위 범행을 용이하게 한 방조범은 정범의 위 범죄행위로 인한 수익을 정범과 공동으로 취득하였다고 평가할 수 없다면 위 몰수ㆍ추징 규정에 의하여 정범과 같이 추징할 수는 없고, 그 방조범으로부터는 방조행위로 얻은 재산 등에 한하여 몰수, 추징할 수 있다고 보아야 한다.\n",
            "\n",
            " >> Top 3 - Case name (Number) : 추징보전청구일부인용결정에대한재항고 (2018모3287)  \n",
            " | Cluster : 564 \n",
            " | Extracted keywords : 공무원범죄몰수법, 추징의, 불법재산, 재산형, 마약류, 추징을, 집행을, 제9조의2에, 마약거래방지법, 몰수 \n",
            " | Date : 20190628.0 | Judgment Issue :   마약류범죄에서 취급한 마약류 자체가 마약류 불법거래 방지에 관한 특례법에서 정한 ‘불법수익’에 해당하는지 여부(소극) 및 마약류 자체가 같은 법 제13조에서 정한 몰수 대상 재산에 포함되는 것을 전제로 그 가액의 추징을 보전하기 위한 추징보전명령을 할 수 있는지 여부(소극) \n",
            " | Judgment Summary :   마약류 불법거래 방지에 관한 특례법(이하 ‘마약거래방지법’이라 한다)에서 정한 추징보전명령을 하려면 해당 재산이 마약거래방지법 제13조에서 정한 몰수 대상 재산에 포함되어야 하는데(제52조 제1항, 제16조), 마약거래방지법 제13조는 몰수 대상 재산 중 하나로 ‘불법수익’을 들고 있다.  마약류 관리에 관한 법률(이하 ‘마약류관리법’이라 한다)은 마약류 자체의 취급·관리를 적정하게 함으로써 오용 또는 남용을 방지하기 위하여 제정되었다(제1조). 이와 달리 마약거래방지법은 마약류와 관련된 불법행위를 조장하는 행위 등을 방지함으로써 마약류범죄의 진압과 예방을 도모하고 마약류관리법의 특례를 규정하기 위하여 제정되었다(제1조).마약거래방지법 제2조는 제1항에서 ‘마약류’에 관하여 정의하면서 제3항에서 ‘불법수익’에 관하여 따로 정의하고 있다. 마약거래방지법은 불법수익에 초점을 두어 불법수익이 새로운 마약류범죄에 재투자되는 것을 방지하고 불법수익을 철저히 추적·환수하기 위한 각종 규정을 마련하고 있고(제5조, 제7조, 제8조, 제13조, 제16조), 이와 별도로 마약류에 관한 규정을 두고 있다(제3조, 제4조, 제6조, 제9조).  마약거래방지법은 마약거래방지법 외에 마약류관리법, 그 밖의 법령에 따라 몰수할 수 있는 재산에 대해서도 몰수보전명령을 할 수 있는 것으로 정하였지만(제33조 제1항), 추징보전명령의 경우에는 마약거래방지법에 따라 추징해야 할 경우로 한정하였다(제52조 제1항). 마약류관리법은 몰수할 수 있는 재산으로 ‘이 법에 규정된 죄에 제공한 마약류’와 ‘그로 인한 수익금’을 구분하여 정하고 있다(제67조 본문).  이러한 마약거래방지법의 입법 목적, 제정이유, 규정체계 등을 종합하면, 마약류범죄에서 취급한 마약류 자체는 마약거래방지법에서 정한 불법수익에 해당한다고 보기 어렵다. 따라서 마약류 자체가 마약거래방지법 제13조에서 정한 몰수 대상 재산에 포함되는 것을 전제로 그 가액의 추징을 보전하기 위한 추징보전명령을 할 수는 없다고 보아야 한다.\n",
            "\n",
            " >> Top 4 - Case name (Number) : 제3자이의 (2010다94823)  \n",
            " | Cluster : 564 \n",
            " | Extracted keywords : 공무원범죄몰수법, 추징의, 불법재산, 재산형, 마약류, 추징을, 집행을, 제9조의2에, 마약거래방지법, 몰수 \n",
            " | Date : 20110310.0 | Judgment Issue : 구 마약류 불법거래 방지에 관한 특례법 제52조에서 정한 추징보전명령을 발하여 처분을 금지할 수 있는 ‘피고인의 재산’의 의미와 판단 기준\n",
            "         \n",
            " | Judgment Summary : 범죄수익은닉의 규제 및 처벌 등에 관한 법률 제12조에 의하여 준용되는 \n",
            "          구 마약류 불법거래 방지에 관한 특례법(2009. 11. 2. 법률 제9809호로 개정되기 전의 것) 제52조에서 정한 추징보전명령을 발하여 처분을 금지할 수 있는 ‘피고인의 재산’이란, 누구의 명의로 하든지 실질적으로 피고인에게 귀속하는 재산을 의미하는데, 어느 재산이 실질적으로 피고인에게 귀속한다고 보기 위하여는 그 재산 명의인과 피고인의 관계, 그 재산을 보유하게 된 경위 및 자금의 출처 등을 종합적으로 고려하여 판단하여야 한다.\n",
            "        \n",
            "\n",
            " >> Top 5 - Case name (Number) : 마약류관리에관한법률위반(향정) (2015노1941)  \n",
            " | Cluster : -1 \n",
            " | Extracted keywords : 사안에서, 개정되기, 이하, 12, 시행령, 규정하고, 甲이, 없다고, 해당한다고, 이라 \n",
            " | Date : 20151001.0 | Judgment Issue : 피고인이 마약류취급자가 아님에도 필로폰을 매매하였다고 하여 마약류 관리에 관한 법률 위반(향정)으로 기소된 사안에서, 피고인이 자신 소유의 휴대전화를 이용하여 휴대전화 채팅앱을 통해 필로폰을 구입한 후 이를 甲 등에게 매도하면서 휴대전화로 甲 등과 연락을 주고받은 사실에 비추어, 휴대전화는 형법 제48조 제1항 제1호에서 정한 ‘범죄행위에 제공한 물건’이라고 한 사례 \n",
            " | Judgment Summary : 피고인이 마약류취급자가 아님에도 향정신성의약품인 필로폰을 매매하였다고 하여 마약류 관리에 관한 법률 위반(향정)으로 기소된 사안에서, 피고인이 자신 소유의 휴대전화를 이용하여 휴대전화 채팅앱을 통해 필로폰을 구입한 후 이를 甲 등에게 매도하면서 휴대전화로 甲 등과 연락을 주고받은 사실에 비추어, 휴대전화는 필로폰 매매 범행의 실행행위 내지 실행행위 착수 전의 행위에 사용된 물건으로 범죄행위의 수행에 실질적으로 기여하였으므로, 형법 제48조 제1항 제1호에서 정한 ‘범죄행위에 제공한 물건’으로서 몰수의 대상이라고 한 사례.\n"
          ]
        }
      ]
    },
    {
      "cell_type": "markdown",
      "source": [
        "### 2. Without Split-merge mechanism(Encoding documents-level)"
      ],
      "metadata": {
        "id": "k6hAcdJxIp7r"
      }
    },
    {
      "cell_type": "code",
      "source": [
        "# 1. Obtain query, documents, keywords embeddings from KRLawBERT\n",
        "\n",
        "my_plms = './output/tsdae-kolawbert'\n",
        "sls = SLS(\n",
        "    dataframe = new_df,\n",
        "    doc_col = 'judgment_summary',\n",
        "    key_col = 'keywords',\n",
        "    model_name = my_plms,\n",
        "    use_sentence_bert = True,\n",
        "    split_and_merge = False,\n",
        "    multi_inter = True,\n",
        "    )\n",
        "\n",
        "# 2. Build the Index\n",
        "all_index = sls.all_distance_metric()\n",
        "\n",
        "# 3. Semantic case law search (Legal Question-Answering)\n",
        "my_query = \"마약 불법거래 및 운반에 관한 판례\"\n",
        "original_outputs, _ = sls.semantic_search(\n",
        "    user_query = my_query,\n",
        "    top_k = 5,\n",
        "    index = all_index,\n",
        "    print_results = True,\n",
        "    )"
      ],
      "metadata": {
        "colab": {
          "base_uri": "https://localhost:8080/",
          "height": 987,
          "referenced_widgets": [
            "cdbb56c51617489088ec04c80f1c5b02",
            "dc1364a1e7ab471e82e048876da21666",
            "f8bbedd9e7cf4984942da2ebc420e9fa",
            "98a360e0a01d429aaeec8391c4ac40c1",
            "555e67600bb8480ea2d1499950fe9b78",
            "9b2e159379cd4a598c8f70e7f02e5ec3",
            "4c4432660c284751ba833f5ea4313fa4",
            "276429f5910a4ae49efb3090a0b8b725",
            "c2e602ba6bc14ea1a4df808af175f204",
            "e79ca677510b4b40be1df31f5bdf050a",
            "99c196edb9d345f19a335a9590414744",
            "b9a3b707c66d42a49a7f129b2d4519b5",
            "898774e89b1546b2a0f799962626ef33",
            "325ae5a4233945f6bf4fab2a6d4f5bdb",
            "c6510c818cac4523b580e587a6115bbb",
            "90b01b6f4c164b898f63de55ab027388",
            "68e54c8941784912a8da7a2e591ea65c",
            "b13d0c26ef67450e95b0d207ff39a100",
            "9cf2074b12d540b0a3498c69f11384d7",
            "5ddfb9c4ce1f4af5beb097a852bddcfa",
            "32c925a2617540f7b0d10d45896ac31a",
            "f4a5291ce0724c3497b9e26b7035cfc3"
          ]
        },
        "id": "Y587OH8xMRuo",
        "outputId": "86045ea7-f083-4547-9dce-b77c860d56a2"
      },
      "execution_count": null,
      "outputs": [
        {
          "output_type": "display_data",
          "data": {
            "text/plain": [
              "Batches:   0%|          | 0/625 [00:00<?, ?it/s]"
            ],
            "application/vnd.jupyter.widget-view+json": {
              "version_major": 2,
              "version_minor": 0,
              "model_id": "cdbb56c51617489088ec04c80f1c5b02"
            }
          },
          "metadata": {}
        },
        {
          "output_type": "stream",
          "name": "stdout",
          "text": [
            ">> Documents embeddings shape(Items x PLMs_dim) : (20000, 768)\n"
          ]
        },
        {
          "output_type": "display_data",
          "data": {
            "text/plain": [
              "Batches:   0%|          | 0/625 [00:00<?, ?it/s]"
            ],
            "application/vnd.jupyter.widget-view+json": {
              "version_major": 2,
              "version_minor": 0,
              "model_id": "b9a3b707c66d42a49a7f129b2d4519b5"
            }
          },
          "metadata": {}
        },
        {
          "output_type": "stream",
          "name": "stdout",
          "text": [
            ">> Keywords embeddings shape(Items x PLMs_dim) : (20000, 768)\n",
            "\n",
            " === Calculate run time : 35.3644 ms === \n",
            "\n",
            ">> Write your case : 마약 불법거래 및 운반에 관한 판례\n",
            "\n",
            " >> Top 1 - Case name (Number) : 마약류불법거래방지에관한특례법위반(인정된 죄명: 마약류불법거래방지에관한특례법위반방조)ㆍ마약류관리에관한법률위반(향정) (2020도16369)  \n",
            " | Cluster : 564 \n",
            " | Extracted keywords : 공무원범죄몰수법, 추징의, 불법재산, 재산형, 마약류, 추징을, 집행을, 제9조의2에, 마약거래방지법, 몰수 \n",
            " | Date : 20210429.0 | Judgment Issue : 마약류 불법거래 방지에 관한 특례법 제6조를 위반하여 마약류를 수출입ㆍ제조ㆍ매매하는 행위 등을 업으로 하는 범죄행위의 정범이 그 범죄행위로 얻은 수익은 같은 법 제13조부터 제16조까지의 규정에 따라 몰수ㆍ추징의 대상이 되는지 여부(적극) / 위 정범으로부터 대가를 받고 판매할 마약을 공급하는 방법으로 위 범행을 용이하게 한 방조범이 정범의 위 범죄행위로 인한 수익을 정범과 공동으로 취득하였다고 평가할 수 없는 경우, 방조행위로 얻은 재산 등에 한하여 몰수, 추징할 수 있는지 여부(적극) \n",
            " | Judgment Summary : 마약류 불법거래 방지에 관한 특례법(이하 ‘마약거래방지법’이라고 한다) 제6조를 위반하여 마약류를 수출입ㆍ제조ㆍ매매하는 행위 등을 업으로 하는 범죄행위의 정범이 그 범죄행위로 얻은 수익은 마약거래방지법 제13조부터 제16조까지의 규정에 따라 몰수ㆍ추징의 대상이 된다. 그러나 위 정범으로부터 대가를 받고 판매할 마약을 공급하는 방법으로 위 범행을 용이하게 한 방조범은 정범의 위 범죄행위로 인한 수익을 정범과 공동으로 취득하였다고 평가할 수 없다면 위 몰수ㆍ추징 규정에 의하여 정범과 같이 추징할 수는 없고, 그 방조범으로부터는 방조행위로 얻은 재산 등에 한하여 몰수, 추징할 수 있다고 보아야 한다.\n",
            "\n",
            " >> Top 2 - Case name (Number) : 추징보전청구일부인용결정에대한재항고 (2018모3287)  \n",
            " | Cluster : 564 \n",
            " | Extracted keywords : 공무원범죄몰수법, 추징의, 불법재산, 재산형, 마약류, 추징을, 집행을, 제9조의2에, 마약거래방지법, 몰수 \n",
            " | Date : 20190628.0 | Judgment Issue :   마약류범죄에서 취급한 마약류 자체가 마약류 불법거래 방지에 관한 특례법에서 정한 ‘불법수익’에 해당하는지 여부(소극) 및 마약류 자체가 같은 법 제13조에서 정한 몰수 대상 재산에 포함되는 것을 전제로 그 가액의 추징을 보전하기 위한 추징보전명령을 할 수 있는지 여부(소극) \n",
            " | Judgment Summary :   마약류 불법거래 방지에 관한 특례법(이하 ‘마약거래방지법’이라 한다)에서 정한 추징보전명령을 하려면 해당 재산이 마약거래방지법 제13조에서 정한 몰수 대상 재산에 포함되어야 하는데(제52조 제1항, 제16조), 마약거래방지법 제13조는 몰수 대상 재산 중 하나로 ‘불법수익’을 들고 있다.  마약류 관리에 관한 법률(이하 ‘마약류관리법’이라 한다)은 마약류 자체의 취급·관리를 적정하게 함으로써 오용 또는 남용을 방지하기 위하여 제정되었다(제1조). 이와 달리 마약거래방지법은 마약류와 관련된 불법행위를 조장하는 행위 등을 방지함으로써 마약류범죄의 진압과 예방을 도모하고 마약류관리법의 특례를 규정하기 위하여 제정되었다(제1조).마약거래방지법 제2조는 제1항에서 ‘마약류’에 관하여 정의하면서 제3항에서 ‘불법수익’에 관하여 따로 정의하고 있다. 마약거래방지법은 불법수익에 초점을 두어 불법수익이 새로운 마약류범죄에 재투자되는 것을 방지하고 불법수익을 철저히 추적·환수하기 위한 각종 규정을 마련하고 있고(제5조, 제7조, 제8조, 제13조, 제16조), 이와 별도로 마약류에 관한 규정을 두고 있다(제3조, 제4조, 제6조, 제9조).  마약거래방지법은 마약거래방지법 외에 마약류관리법, 그 밖의 법령에 따라 몰수할 수 있는 재산에 대해서도 몰수보전명령을 할 수 있는 것으로 정하였지만(제33조 제1항), 추징보전명령의 경우에는 마약거래방지법에 따라 추징해야 할 경우로 한정하였다(제52조 제1항). 마약류관리법은 몰수할 수 있는 재산으로 ‘이 법에 규정된 죄에 제공한 마약류’와 ‘그로 인한 수익금’을 구분하여 정하고 있다(제67조 본문).  이러한 마약거래방지법의 입법 목적, 제정이유, 규정체계 등을 종합하면, 마약류범죄에서 취급한 마약류 자체는 마약거래방지법에서 정한 불법수익에 해당한다고 보기 어렵다. 따라서 마약류 자체가 마약거래방지법 제13조에서 정한 몰수 대상 재산에 포함되는 것을 전제로 그 가액의 추징을 보전하기 위한 추징보전명령을 할 수는 없다고 보아야 한다.\n",
            "\n",
            " >> Top 3 - Case name (Number) : 마약류관리에관한법률위반(향정) (2010노3608)  \n",
            " | Cluster : 564 \n",
            " | Extracted keywords : 공무원범죄몰수법, 추징의, 불법재산, 재산형, 마약류, 추징을, 집행을, 제9조의2에, 마약거래방지법, 몰수 \n",
            " | Date : 20110317.0 | Judgment Issue : [1] 마약류 매도의 대가로 받은 대금 등이 \n",
            "          마약류관리에 관한 법률 제67조에 의한 필요적 몰수·추징의 대상이 되는지 여부(적극) 및 마약류를 취급한 피고인이 이를 이용한 추가 범행으로 수익금을 얻은 경우, 마약류 자체의 가액 등과 별도로 위 수익금도 추징의 대상이 되는지 여부(적극)\n",
            "        [2] \n",
            "          마약류관리에 관한 법률 제67조에 의한 몰수·추징의 법적 성질(=징벌적 성질의 처분) 및 죄를 범한 자가 수인인 경우 위 조항에 의한 추징의 범위\n",
            "        [3] 마약류관리에 관한 법률 위반(향정)으로 기소된 피고인들 중 일부 피고인에 대하여 마약류를 이용한 추가 범행으로 인한 수익금을 추징 대상에서 제외하는 한편, 수익금 발생 관련 추가 범행에 관여하지 않은 일부 피고인에 대하여 위 수익금 전액의 추징을 명한 원심판결에 추징에 관한 법리오해의 위법이 있다는 이유로, 이를 직권파기하고 다시 판결한 사례 \n",
            " | Judgment Summary : [1] 마약류를 타인에게 매도한 경우 매도의 대가로 받은 대금 등은 \n",
            "          마약류관리에 관한 법률 제67조에 규정된 범죄행위로 인한 수익금으로서 필요적으로 몰수하여야 하고, 몰수가 불가능할 때에는 그 가액을 추징하여야 한다. 한편 \n",
            "          같은 법 제67조는 “이 법에 규정된 죄에 제공한 마약류 및 시설·장비·자금 또는 운반수단과 그로 인한 수익금은 몰수한다. 다만, 이를 몰수할 수 없는 때에는 그 가액을 추징한다.”고 규정하고 있으므로, 마약류를 취급한 피고인이 이를 이용한 추가 범행으로 수익금을 얻었다면 마약류 자체의 가액이나 범행자금과는 별도로 위 수익금 역시 추징하여야 한다.\n",
            "        [2] \n",
            "          마약류관리에 관한 법률 제67조에 의한 몰수나 추징은 범죄행위로 인한 이득의 박탈을 목적으로 하는 것이 아닌 징벌적 성질의 처분이므로 위 범행으로 이득을 취득하지 않았더라도 법원은 그 가액의 추징을 명하여야 하고, 추징의 범위에 관하여는 죄를 범한 자가 여러 사람일 때에는 각자에 대하여 그가 취급한 범위 내에서 마약류 가액 전액의 추징을 명하여야 한다. 그러나 위와 같은 법리는 추징 대상의 동일성이 인정되는 경우에 적용되는 것이므로, 마약류 관련 추가 범행으로 수익금이 발생하여 마약류 자체와는 별도로 위 수익금이 추징의 대상이 된 경우, 수익금 발생 관련 범행에 전혀 관여하지 않은 피고인에게까지 수익금 전액의 추징을 명하거나 중첩관계를 인정할 수는 없다.\n",
            "        [3] 피고인들이 필로폰을 국내로 밀수입 또는 투약·매수하거나 제3자에게 매도·교부하였다고 하여 마약류관리에 관한 법률 위반(향정)으로 기소된 사안에서, 피고인들 중 일부 피고인에 대하여 필로폰 자체의 가액만을 추징할 뿐 이를 이용하여 추가로 저지른 범행으로 인한 수익금을 추징 대상에서 제외하는 한편, 수익금 발생 관련 추가 범행에 관여하지 않은 일부 피고인에 대해서 수익금 전액의 추징을 명한 원심판결에 추징에 관한 법리오해의 위법이 있다는 이유로, 이를 직권파기하고 다시 판결한 사례.\n",
            "\n",
            " >> Top 4 - Case name (Number) : 제3자이의 (2010다94823)  \n",
            " | Cluster : 564 \n",
            " | Extracted keywords : 공무원범죄몰수법, 추징의, 불법재산, 재산형, 마약류, 추징을, 집행을, 제9조의2에, 마약거래방지법, 몰수 \n",
            " | Date : 20110310.0 | Judgment Issue : 구 마약류 불법거래 방지에 관한 특례법 제52조에서 정한 추징보전명령을 발하여 처분을 금지할 수 있는 ‘피고인의 재산’의 의미와 판단 기준\n",
            "         \n",
            " | Judgment Summary : 범죄수익은닉의 규제 및 처벌 등에 관한 법률 제12조에 의하여 준용되는 \n",
            "          구 마약류 불법거래 방지에 관한 특례법(2009. 11. 2. 법률 제9809호로 개정되기 전의 것) 제52조에서 정한 추징보전명령을 발하여 처분을 금지할 수 있는 ‘피고인의 재산’이란, 누구의 명의로 하든지 실질적으로 피고인에게 귀속하는 재산을 의미하는데, 어느 재산이 실질적으로 피고인에게 귀속한다고 보기 위하여는 그 재산 명의인과 피고인의 관계, 그 재산을 보유하게 된 경위 및 자금의 출처 등을 종합적으로 고려하여 판단하여야 한다.\n",
            "        \n",
            "\n",
            " >> Top 5 - Case name (Number) : 마약류관리에관한법률위반(향정) (2015노1941)  \n",
            " | Cluster : -1 \n",
            " | Extracted keywords : 사안에서, 개정되기, 이하, 12, 시행령, 규정하고, 甲이, 없다고, 해당한다고, 이라 \n",
            " | Date : 20151001.0 | Judgment Issue : 피고인이 마약류취급자가 아님에도 필로폰을 매매하였다고 하여 마약류 관리에 관한 법률 위반(향정)으로 기소된 사안에서, 피고인이 자신 소유의 휴대전화를 이용하여 휴대전화 채팅앱을 통해 필로폰을 구입한 후 이를 甲 등에게 매도하면서 휴대전화로 甲 등과 연락을 주고받은 사실에 비추어, 휴대전화는 형법 제48조 제1항 제1호에서 정한 ‘범죄행위에 제공한 물건’이라고 한 사례 \n",
            " | Judgment Summary : 피고인이 마약류취급자가 아님에도 향정신성의약품인 필로폰을 매매하였다고 하여 마약류 관리에 관한 법률 위반(향정)으로 기소된 사안에서, 피고인이 자신 소유의 휴대전화를 이용하여 휴대전화 채팅앱을 통해 필로폰을 구입한 후 이를 甲 등에게 매도하면서 휴대전화로 甲 등과 연락을 주고받은 사실에 비추어, 휴대전화는 필로폰 매매 범행의 실행행위 내지 실행행위 착수 전의 행위에 사용된 물건으로 범죄행위의 수행에 실질적으로 기여하였으므로, 형법 제48조 제1항 제1호에서 정한 ‘범죄행위에 제공한 물건’으로서 몰수의 대상이라고 한 사례.\n"
          ]
        }
      ]
    }
  ]
}