labeling.ipynb

{
 "cells": [
  {
   "cell_type": "code",
   "execution_count": 12,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": [
    "import ldfi_py.pilp\n",
    "import ldfi_py.psat\n",
    "from parsing import ZipkinParser\n",
    "import sys, re, os\n",
    "from IPython.display import Image\n",
    "from huawei_local import *\n"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Different possible labeling functions:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 13,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": [
    "# put this into a library later, or borrow tuan's function\n",
    "\n",
    "def get_label_3(data):\n",
    "    svcarr = data[9].split(\":\")[1].split(\"-\")\n",
    "    svcarr.pop()\n",
    "    return \"-\".join(svcarr)\n",
    "\n",
    "def get_label_2(data):\n",
    "    return data[9].split(\":\")[1]\n",
    "\n",
    "def get_label_1(data):\n",
    "    return data[9]\n",
    "\n",
    "def get_label(data):\n",
    "    return get_label_1(data)\n"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "# Parse the file and pick a bucket"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 18,
   "metadata": {
    "scrolled": true
   },
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "OK\n",
      "KEY 10.154.72.17:30000_images_Huawei%20Air.pngGET__images_Huawei Air.png_* -- 1 <type 'str'>\n",
      "KEY 10.154.72.17:30000_js_acmeair-common.jsGET__js_acmeair-common.js_* -- 1 <type 'str'>\n",
      "KEY 127.0.0.1:8081_atswebsite_websiteGET__atswebsite_website -- 359 <type 'str'>\n",
      "KEY api-gateway:8080_product_product_buy_34211223411POST__error -- 300 <type 'str'>\n",
      "KEY api-gateway:8080_product_product_buy_34211223411POST__product_product_* -- 202 <type 'str'>\n",
      "KEY api-gateway:8080_product_product_searchAllGET__error -- 1556 <type 'str'>\n",
      "KEY api-gateway:8080_product_product_searchAllGET__product_product_* -- 1406 <type 'str'>\n",
      "KEY api-gateway:8080_user_user_loginPOST__error -- 30 <type 'str'>\n",
      "KEY api-gateway:8080_user_user_loginPOST__user_user_* -- 170 <type 'str'>\n",
      "KEY http://10.154.72.17:30000/images/Huawei%20Air.png -- 1 <type 'str'>\n",
      "KEY http://10.154.72.17:30000/js/acmeair-common.js -- 1 <type 'str'>\n",
      "KEY http://127.0.0.1:8081/atswebsite/website -- 349 <type 'str'>\n",
      "KEY http://api-gateway:8080/product/product/buy/34211223411 -- 501 <type 'str'>\n",
      "KEY http://api-gateway:8080/product/product/searchAll -- 2954 <type 'str'>\n",
      "KEY http://api-gateway:8080/user/user/login -- 200 <type 'str'>\n",
      "KEY http://localhost:8080/product/product/buy/34211223411 -- 1 <type 'str'>\n",
      "KEY localhost:8080_product_product_buy_34211223411POST__product_product_* -- 1 <type 'str'>\n",
      "KEYo http://api-gateway:8080/product/product/buy/34211223411\n",
      "has True\n",
      "type <type 'dict'>\n",
      "UH set([<parsing.Trace object at 0x10ca28050>, <parsing.Trace object at 0x109ae8090>, <parsing.Trace object at 0x106467310>, <parsing.Trace object at 0x111a300d0>, <parsing.Trace object at 0x111308110>, <parsing.Trace object at 0x109940150>, <parsing.Trace object at 0x10502d590>, <parsing.Trace object at 0x111508190>, <parsing.Trace object at 0x1054281d0>, <parsing.Trace object at 0x105fd0210>, <parsing.Trace object at 0x10edbfa10>, <parsing.Trace object at 0x10f200290>, <parsing.Trace object at 0x107ea0310>, <parsing.Trace object at 0x107846110>, <parsing.Trace object at 0x10d680090>, <parsing.Trace object at 0x1054103d0>, <parsing.Trace object at 0x104f28410>, <parsing.Trace object at 0x10e480490>, <parsing.Trace object at 0x1056f84d0>, <parsing.Trace object at 0x1044c0510>, <parsing.Trace object at 0x107d78550>, <parsing.Trace object at 0x1042e05d0>, <parsing.Trace object at 0x109338610>, <parsing.Trace object at 0x105a58650>, <parsing.Trace object at 0x10a47a050>, <parsing.Trace object at 0x10a268750>, <parsing.Trace object at 0x10619f950>, <parsing.Trace object at 0x106658790>, <parsing.Trace object at 0x105566350>, <parsing.Trace object at 0x10b8a87d0>, <parsing.Trace object at 0x1075e0850>, <parsing.Trace object at 0x108d96c10>, <parsing.Trace object at 0x104940890>, <parsing.Trace object at 0x10a624190>, <parsing.Trace object at 0x109da09d0>, <parsing.Trace object at 0x1108b6c50>, <parsing.Trace object at 0x105710a10>, <parsing.Trace object at 0x104bf8a50>, <parsing.Trace object at 0x1097c8a90>, <parsing.Trace object at 0x1041d8ad0>, <parsing.Trace object at 0x10fff01d0>, <parsing.Trace object at 0x107ea0b50>, <parsing.Trace object at 0x107455cd0>, <parsing.Trace object at 0x109f90bd0>, <parsing.Trace object at 0x1097ed750>, <parsing.Trace object at 0x1041f0c10>, <parsing.Trace object at 0x10545c210>, <parsing.Trace object at 0x107810c90>, <parsing.Trace object at 0x10c8a0d10>, <parsing.Trace object at 0x10c490d50>, <parsing.Trace object at 0x103fb0d90>, <parsing.Trace object at 0x109ae8dd0>, <parsing.Trace object at 0x10723e5d0>, <parsing.Trace object at 0x111226d10>, <parsing.Trace object at 0x106818e90>, <parsing.Trace object at 0x10f498ed0>, <parsing.Trace object at 0x107748f10>, <parsing.Trace object at 0x10f498f50>, <parsing.Trace object at 0x10a7a4290>, <parsing.Trace object at 0x10d778f90>, <parsing.Trace object at 0x108450fd0>, <parsing.Trace object at 0x1090d5250>, <parsing.Trace object at 0x1070d4e10>, <parsing.Trace object at 0x104fd90d0>, <parsing.Trace object at 0x1082c9150>, <parsing.Trace object at 0x108f3ed90>, <parsing.Trace object at 0x1041a1190>, <parsing.Trace object at 0x1062411d0>, <parsing.Trace object at 0x105f69850>, <parsing.Trace object at 0x104271210>, <parsing.Trace object at 0x103dd9250>, <parsing.Trace object at 0x105535510>, <parsing.Trace object at 0x107839310>, <parsing.Trace object at 0x106621350>, <parsing.Trace object at 0x109349390>, <parsing.Trace object at 0x10e93f710>, <parsing.Trace object at 0x1052f9410>, <parsing.Trace object at 0x10a0514d0>, <parsing.Trace object at 0x109771510>, <parsing.Trace object at 0x107a69550>, <parsing.Trace object at 0x10ebb9590>, <parsing.Trace object at 0x1078fcd90>, <parsing.Trace object at 0x106356e50>, <parsing.Trace object at 0x106301610>, <parsing.Trace object at 0x108019650>, <parsing.Trace object at 0x111437fd0>, <parsing.Trace object at 0x106c496d0>, <parsing.Trace object at 0x10e8e1710>, <parsing.Trace object at 0x110ab9750>, <parsing.Trace object at 0x107e61790>, <parsing.Trace object at 0x10eff97d0>, <parsing.Trace object at 0x106291810>, <parsing.Trace object at 0x104db9850>, <parsing.Trace object at 0x105b99890>, <parsing.Trace object at 0x10c01b390>, <parsing.Trace object at 0x107410090>, <parsing.Trace object at 0x108029950>, <parsing.Trace object at 0x10ba01990>, <parsing.Trace object at 0x10cf51990>, <parsing.Trace object at 0x109d819d0>, <parsing.Trace object at 0x1070c9a50>, <parsing.Trace object at 0x1064959d0>, <parsing.Trace object at 0x104f19b50>, <parsing.Trace object at 0x105451b90>, <parsing.Trace object at 0x110b11bd0>, <parsing.Trace object at 0x10a0a2f50>, <parsing.Trace object at 0x10a251c50>, <parsing.Trace object at 0x10a60da10>, <parsing.Trace object at 0x105ab9c90>, <parsing.Trace object at 0x107f49510>, <parsing.Trace object at 0x1041d84d0>, <parsing.Trace object at 0x10b5d6c50>, <parsing.Trace object at 0x111191d50>, <parsing.Trace object at 0x1059e9a50>, <parsing.Trace object at 0x1073d1e10>, <parsing.Trace object at 0x105e41e50>, <parsing.Trace object at 0x10fd4c510>, <parsing.Trace object at 0x104db9e90>, <parsing.Trace object at 0x107631ed0>, <parsing.Trace object at 0x11193afd0>, <parsing.Trace object at 0x104359f10>, <parsing.Trace object at 0x10da21f50>, <parsing.Trace object at 0x10ba01f90>, <parsing.Trace object at 0x107b66350>, <parsing.Trace object at 0x109a21fd0>, <parsing.Trace object at 0x109442050>, <parsing.Trace object at 0x109e0a090>, <parsing.Trace object at 0x1110320d0>, <parsing.Trace object at 0x1082da110>, <parsing.Trace object at 0x1047f2150>, <parsing.Trace object at 0x1073359d0>, <parsing.Trace object at 0x1050f2190>, <parsing.Trace object at 0x10f2121d0>, <parsing.Trace object at 0x103fba210>, <parsing.Trace object at 0x109602250>, <parsing.Trace object at 0x107e122d0>, <parsing.Trace object at 0x104e4c5d0>, <parsing.Trace object at 0x10e96a310>, <parsing.Trace object at 0x105dc7090>, <parsing.Trace object at 0x107622390>, <parsing.Trace object at 0x105f9a410>, <parsing.Trace object at 0x106f2e290>, <parsing.Trace object at 0x1093524d0>, <parsing.Trace object at 0x106d630d0>, <parsing.Trace object at 0x106f8a510>, <parsing.Trace object at 0x105c3a550>, <parsing.Trace object at 0x107819b90>, <parsing.Trace object at 0x10f2d25d0>, <parsing.Trace object at 0x1094e4650>, <parsing.Trace object at 0x109d32610>, <parsing.Trace object at 0x106112650>, <parsing.Trace object at 0x10fc4b110>, <parsing.Trace object at 0x10f11a6d0>, <parsing.Trace object at 0x10fd25bd0>, <parsing.Trace object at 0x104ed2710>, <parsing.Trace object at 0x104a72750>, <parsing.Trace object at 0x10481f150>, <parsing.Trace object at 0x104fef910>, <parsing.Trace object at 0x1052f2810>, <parsing.Trace object at 0x10d8b2850>, <parsing.Trace object at 0x1081f2890>, <parsing.Trace object at 0x107602950>, <parsing.Trace object at 0x104af2990>, <parsing.Trace object at 0x10a00aa10>, <parsing.Trace object at 0x106d0ab10>, <parsing.Trace object at 0x10bf52b50>, <parsing.Trace object at 0x109b82b90>, <parsing.Trace object at 0x104ad2bd0>, <parsing.Trace object at 0x108790750>, <parsing.Trace object at 0x1083fac10>, <parsing.Trace object at 0x103fd2c50>, <parsing.Trace object at 0x1045b5cd0>, <parsing.Trace object at 0x104a8ad10>, <parsing.Trace object at 0x104dc2dd0>, <parsing.Trace object at 0x105db7250>, <parsing.Trace object at 0x103d32e10>, <parsing.Trace object at 0x111c16790>, <parsing.Trace object at 0x104a4af10>, <parsing.Trace object at 0x10a322f50>, <parsing.Trace object at 0x106e721d0>, <parsing.Trace object at 0x109a6e350>, <parsing.Trace object at 0x10e52b050>, <parsing.Trace object at 0x106223090>, <parsing.Trace object at 0x107c2b0d0>, <parsing.Trace object at 0x104a0b2d0>, <parsing.Trace object at 0x111b2b110>, <parsing.Trace object at 0x1054ab150>, <parsing.Trace object at 0x111915d90>, <parsing.Trace object at 0x104563190>, <parsing.Trace object at 0x1083d31d0>, <parsing.Trace object at 0x106cfc850>, <parsing.Trace object at 0x103ddb210>, <parsing.Trace object at 0x10808f310>, <parsing.Trace object at 0x108c53290>, <parsing.Trace object at 0x10a690c10>, <parsing.Trace object at 0x105b7b2d0>, <parsing.Trace object at 0x104cbb310>, <parsing.Trace object at 0x10477ff90>, <parsing.Trace object at 0x107d4b350>, <parsing.Trace object at 0x10948b390>, <parsing.Trace object at 0x107377350>, <parsing.Trace object at 0x105743450>, <parsing.Trace object at 0x11191b4d0>, <parsing.Trace object at 0x10a6dc8d0>, <parsing.Trace object at 0x104403390>, <parsing.Trace object at 0x1051fb590>, <parsing.Trace object at 0x1074835d0>, <parsing.Trace object at 0x106059e50>, <parsing.Trace object at 0x11145b610>, <parsing.Trace object at 0x10f8c3650>, <parsing.Trace object at 0x10a933690>, <parsing.Trace object at 0x110f83710>, <parsing.Trace object at 0x10d36b750>, <parsing.Trace object at 0x106971e90>, <parsing.Trace object at 0x106a6b790>, <parsing.Trace object at 0x1057737d0>, <parsing.Trace object at 0x10a3e7150>, <parsing.Trace object at 0x103f13810>, <parsing.Trace object at 0x10a396350>, <parsing.Trace object at 0x107693890>, <parsing.Trace object at 0x105d61ed0>, <parsing.Trace object at 0x104ea3910>, <parsing.Trace object at 0x104e7b950>, <parsing.Trace object at 0x10de74990>, <parsing.Trace object at 0x10948b9d0>, <parsing.Trace object at 0x111553450>, <parsing.Trace object at 0x10784f810>, <parsing.Trace object at 0x1067eba10>, <parsing.Trace object at 0x105503a50>, <parsing.Trace object at 0x111823b10>, <parsing.Trace object at 0x108fe7150>, <parsing.Trace object at 0x10aa954d0>, <parsing.Trace object at 0x106fd3b90>, <parsing.Trace object at 0x106969590>, <parsing.Trace object at 0x1047c5f50>, <parsing.Trace object at 0x105079550>, <parsing.Trace object at 0x110953c90>, <parsing.Trace object at 0x105fe3cd0>, <parsing.Trace object at 0x10c0bb4d0>, <parsing.Trace object at 0x108bfbd10>, <parsing.Trace object at 0x106635f90>, <parsing.Trace object at 0x107c93d90>, <parsing.Trace object at 0x11125ca50>, <parsing.Trace object at 0x1082f3e10>, <parsing.Trace object at 0x108febe50>, <parsing.Trace object at 0x10808f510>, <parsing.Trace object at 0x1053d3e90>, <parsing.Trace object at 0x10eb6bed0>, <parsing.Trace object at 0x1078bbf50>, <parsing.Trace object at 0x108a44a90>, <parsing.Trace object at 0x11196bf90>, <parsing.Trace object at 0x1089c3fd0>, <parsing.Trace object at 0x107f1f910>, <parsing.Trace object at 0x10832c050>, <parsing.Trace object at 0x106f54090>, <parsing.Trace object at 0x108bcc0d0>, <parsing.Trace object at 0x106510ad0>, <parsing.Trace object at 0x107bb4110>, <parsing.Trace object at 0x108847590>, <parsing.Trace object at 0x10a2d4190>, <parsing.Trace object at 0x108c8a050>, <parsing.Trace object at 0x106f1c210>, <parsing.Trace object at 0x109aac290>, <parsing.Trace object at 0x10c224c90>, <parsing.Trace object at 0x10b37b5d0>, <parsing.Trace object at 0x108dbc350>, <parsing.Trace object at 0x1088b43d0>, <parsing.Trace object at 0x104eec450>, <parsing.Trace object at 0x1070c3610>, <parsing.Trace object at 0x103dbc510>, <parsing.Trace object at 0x105acc550>, <parsing.Trace object at 0x10a304b90>, <parsing.Trace object at 0x110c2c590>, <parsing.Trace object at 0x10529e1d0>, <parsing.Trace object at 0x1061b45d0>, <parsing.Trace object at 0x1076e3650>, <parsing.Trace object at 0x108f34610>, <parsing.Trace object at 0x105e2c650>, <parsing.Trace object at 0x1098f2110>, <parsing.Trace object at 0x107288bd0>, <parsing.Trace object at 0x10d314710>, <parsing.Trace object at 0x10ff54750>, <parsing.Trace object at 0x10927b690>, <parsing.Trace object at 0x108bcc790>, <parsing.Trace object at 0x1060c47d0>, <parsing.Trace object at 0x10a6d2150>, <parsing.Trace object at 0x11031f0d0>, <parsing.Trace object at 0x109fdc850>, <parsing.Trace object at 0x107cf0c10>, <parsing.Trace object at 0x1098b48d0>, <parsing.Trace object at 0x10641e850>, <parsing.Trace object at 0x10a7c4990>, <parsing.Trace object at 0x105374a10>, <parsing.Trace object at 0x104c84a50>, <parsing.Trace object at 0x1040a7710>, <parsing.Trace object at 0x1083aca90>, <parsing.Trace object at 0x108c5a1d0>, <parsing.Trace object at 0x109748c90>, <parsing.Trace object at 0x106ab4b90>, <parsing.Trace object at 0x10d1ecbd0>, <parsing.Trace object at 0x10ab37910>, <parsing.Trace object at 0x109a6cc90>, <parsing.Trace object at 0x10da41f50>, <parsing.Trace object at 0x10950ccd0>, <parsing.Trace object at 0x105824cd0>, <parsing.Trace object at 0x10a2a4d10>, <parsing.Trace object at 0x1110e4b90>, <parsing.Trace object at 0x108264e10>, <parsing.Trace object at 0x106abce50>, <parsing.Trace object at 0x1057d6290>, <parsing.Trace object at 0x104674f90>, <parsing.Trace object at 0x10b8ecfd0>, <parsing.Trace object at 0x1071dc210>, <parsing.Trace object at 0x104ffd050>, <parsing.Trace object at 0x105f5b810>, <parsing.Trace object at 0x10a1ad090>, <parsing.Trace object at 0x106f3d0d0>, <parsing.Trace object at 0x10949d150>, <parsing.Trace object at 0x110df4d90>, <parsing.Trace object at 0x108fc51d0>, <parsing.Trace object at 0x1094f7850>, <parsing.Trace object at 0x10911d210>, <parsing.Trace object at 0x104795250>, <parsing.Trace object at 0x10d917590>, <parsing.Trace object at 0x10650d310>, <parsing.Trace object at 0x108225350>, <parsing.Trace object at 0x10efb5390>, <parsing.Trace object at 0x111826350>, <parsing.Trace object at 0x109331b90>, <parsing.Trace object at 0x109add450>, <parsing.Trace object at 0x111764e10>, <parsing.Trace object at 0x107ecd4d0>, <parsing.Trace object at 0x1043c5510>, <parsing.Trace object at 0x1084e2390>, <parsing.Trace object at 0x1081cd590>, <parsing.Trace object at 0x109bdd5d0>, <parsing.Trace object at 0x107f0d610>, <parsing.Trace object at 0x10563b0d0>, <parsing.Trace object at 0x1058cb910>, <parsing.Trace object at 0x105a25690>, <parsing.Trace object at 0x1085056d0>, <parsing.Trace object at 0x105caccd0>, <parsing.Trace object at 0x10f44d750>, <parsing.Trace object at 0x104efd790>, <parsing.Trace object at 0x1078bb950>, <parsing.Trace object at 0x106c96290>, <parsing.Trace object at 0x107182410>, <parsing.Trace object at 0x10a13d8d0>, <parsing.Trace object at 0x107c5d910>, <parsing.Trace object at 0x105d859d0>, <parsing.Trace object at 0x109a15250>, <parsing.Trace object at 0x107e0da10>, <parsing.Trace object at 0x111560f10>, <parsing.Trace object at 0x107915a90>, <parsing.Trace object at 0x108efbed0>, <parsing.Trace object at 0x106cddad0>, <parsing.Trace object at 0x10a1bdb10>, <parsing.Trace object at 0x106bedb50>, <parsing.Trace object at 0x10925db90>, <parsing.Trace object at 0x106e3dbd0>, <parsing.Trace object at 0x10c5d0f50>, <parsing.Trace object at 0x1085e7a10>, <parsing.Trace object at 0x1070c5c90>, <parsing.Trace object at 0x104ffdcd0>, <parsing.Trace object at 0x105534f90>, <parsing.Trace object at 0x109a15d90>, <parsing.Trace object at 0x10c39e510>, <parsing.Trace object at 0x109bdde90>, <parsing.Trace object at 0x109ddded0>, <parsing.Trace object at 0x1074a0fd0>, <parsing.Trace object at 0x10f24df50>, <parsing.Trace object at 0x1074bdf90>, <parsing.Trace object at 0x10641e050>, <parsing.Trace object at 0x1060e6090>, <parsing.Trace object at 0x104b66110>, <parsing.Trace object at 0x103d0e150>, <parsing.Trace object at 0x10a2ce590>, <parsing.Trace object at 0x10a14e190>, <parsing.Trace object at 0x107cce1d0>, <parsing.Trace object at 0x109ac5050>, <parsing.Trace object at 0x106fce250>, <parsing.Trace object at 0x108abbb10>, <parsing.Trace object at 0x1046b6290>, <parsing.Trace object at 0x1090e62d0>, <parsing.Trace object at 0x106eae5d0>, <parsing.Trace object at 0x111a1e350>, <parsing.Trace object at 0x1041eff50>, <parsing.Trace object at 0x1078de410>, <parsing.Trace object at 0x1118ea610>, <parsing.Trace object at 0x10637e490>, <parsing.Trace object at 0x105306510>, <parsing.Trace object at 0x107897850>, <parsing.Trace object at 0x109616590>, <parsing.Trace object at 0x1085f3f50>, <parsing.Trace object at 0x104ae65d0>, <parsing.Trace object at 0x1080bd590>, <parsing.Trace object at 0x10cb92650>, <parsing.Trace object at 0x10b376650>, <parsing.Trace object at 0x10a156690>, <parsing.Trace object at 0x104c8e6d0>, <parsing.Trace object at 0x109726710>, <parsing.Trace object at 0x1073de750>, <parsing.Trace object at 0x111946790>, <parsing.Trace object at 0x10896e7d0>, <parsing.Trace object at 0x1073ae850>, <parsing.Trace object at 0x10d867c10>, <parsing.Trace object at 0x107ea68d0>, <parsing.Trace object at 0x10439e6d0>, <parsing.Trace object at 0x109ce6950>, <parsing.Trace object at 0x104199190>, <parsing.Trace object at 0x10796e990>, <parsing.Trace object at 0x104dfbf50>, <parsing.Trace object at 0x10b4569d0>, <parsing.Trace object at 0x108036a10>, <parsing.Trace object at 0x105552710>, <parsing.Trace object at 0x109726ad0>, <parsing.Trace object at 0x108db11d0>, <parsing.Trace object at 0x1094d6b50>, <parsing.Trace object at 0x104e93450>, <parsing.Trace object at 0x111bf6b90>, <parsing.Trace object at 0x1097cebd0>, <parsing.Trace object at 0x10cd7e750>, <parsing.Trace object at 0x108096c10>, <parsing.Trace object at 0x10f46ec50>, <parsing.Trace object at 0x1071b6c90>, <parsing.Trace object at 0x110956cd0>, <parsing.Trace object at 0x10485ed10>, <parsing.Trace object at 0x107c06d50>, <parsing.Trace object at 0x105a96790>, <parsing.Trace object at 0x10591ed90>, <parsing.Trace object at 0x1084b5250>, <parsing.Trace object at 0x10cad6e50>, <parsing.Trace object at 0x104946e90>, <parsing.Trace object at 0x10c4ceed0>, <parsing.Trace object at 0x10432ef90>, <parsing.Trace object at 0x108a1efd0>, <parsing.Trace object at 0x109f8f050>, <parsing.Trace object at 0x108cda810>, <parsing.Trace object at 0x111c0f090>, <parsing.Trace object at 0x1082bf0d0>, <parsing.Trace object at 0x10572d410>, <parsing.Trace object at 0x10557ec50>, <parsing.Trace object at 0x108947150>, <parsing.Trace object at 0x1069671d0>, <parsing.Trace object at 0x10a48e850>, <parsing.Trace object at 0x10623f210>, <parsing.Trace object at 0x11117f250>, <parsing.Trace object at 0x109eff310>, <parsing.Trace object at 0x10995f350>, <parsing.Trace object at 0x107822890>, <parsing.Trace object at 0x1118b7390>, <parsing.Trace object at 0x106bbf3d0>, <parsing.Trace object at 0x1073c7450>, <parsing.Trace object at 0x11174f490>, <parsing.Trace object at 0x10894f4d0>, <parsing.Trace object at 0x104cb7510>, <parsing.Trace object at 0x107207550>, <parsing.Trace object at 0x105eaf590>, <parsing.Trace object at 0x1111bcd90>, <parsing.Trace object at 0x108fe7610>, <parsing.Trace object at 0x104887650>, <parsing.Trace object at 0x10478f690>, <parsing.Trace object at 0x1049ef6d0>, <parsing.Trace object at 0x110f5f590>, <parsing.Trace object at 0x10a3e7710>, <parsing.Trace object at 0x10a94fe90>, <parsing.Trace object at 0x106bc7790>, <parsing.Trace object at 0x1084277d0>, <parsing.Trace object at 0x10b082950>, <parsing.Trace object at 0x1119e7810>, <parsing.Trace object at 0x106c1f850>, <parsing.Trace object at 0x107765410>, <parsing.Trace object at 0x110f3f8d0>, <parsing.Trace object at 0x106223ed0>, <parsing.Trace object at 0x109df7910>, <parsing.Trace object at 0x106d4f950>, <parsing.Trace object at 0x10a6ad450>, <parsing.Trace object at 0x10607fa10>, <parsing.Trace object at 0x10c37e790>, <parsing.Trace object at 0x1061881d0>, <parsing.Trace object at 0x107c2b690>, <parsing.Trace object at 0x10d717b10>, <parsing.Trace object at 0x105dffb50>, <parsing.Trace object at 0x104b07bd0>, <parsing.Trace object at 0x10610f710>, <parsing.Trace object at 0x110f8fc10>, <parsing.Trace object at 0x10bcde290>, <parsing.Trace object at 0x10bcffc90>, <parsing.Trace object at 0x10516fcd0>, <parsing.Trace object at 0x1087894d0>, <parsing.Trace object at 0x1083c7d10>, <parsing.Trace object at 0x107f97f90>, <parsing.Trace object at 0x106dd7e10>, <parsing.Trace object at 0x107897e50>, <parsing.Trace object at 0x10eb85510>, <parsing.Trace object at 0x10a3e7e90>, <parsing.Trace object at 0x109bc7fd0>, <parsing.Trace object at 0x104847f50>, <parsing.Trace object at 0x10497ff90>, <parsing.Trace object at 0x1070a7fd0>, <parsing.Trace object at 0x1117f1550>])\n"
     ]
    }
   ],
   "source": [
    "trace_file = '1st_half_jan_26'\n",
    "buckets = get_all_buckets(trace_file)\n",
    "\n",
    "keys = buckets.keys()\n",
    "keys.sort()\n",
    "\n",
    "for key in keys:\n",
    "    print \"KEY \" + key + \" -- \" + str(len(buckets[key]))\n",
    "    \n",
    "        \n",
    "\n",
    "key = \"http://api-gateway:8080/product/product/buy/34211223411\"\n",
    "\n",
    "print \"KEYo \" +  key\n",
    "print \"has \" + str(key in buckets)\n",
    "print \"type \" + str(type(buckets))\n",
    "\n",
    "val = buckets[key]\n",
    "\n",
    "print \"UH \" + str(val)\n",
    "\n",
    "    "
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "# Hse a rich label (service, instance, method)\n",
    "# plot it"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 4,
   "metadata": {
    "scrolled": true
   },
   "outputs": [
    {
     "data": {
      "image/svg+xml": [
       "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
       "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
       " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
       "<!-- Generated by graphviz version 2.38.0 (20140413.2041)\n",
       " -->\n",
       "<!-- Title: %3 Pages: 1 -->\n",
       "<svg width=\"4959pt\" height=\"620pt\"\n",
       " viewBox=\"0.00 0.00 4958.91 620.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
       "<g id=\"graph0\" class=\"graph\" transform=\"scale(1 1) rotate(0) translate(4 616)\">\n",
       "<title>%3</title>\n",
       "<polygon fill=\"white\" stroke=\"none\" points=\"-4,4 -4,-616 4954.91,-616 4954.91,4 -4,4\"/>\n",
       "<!-- &#45;6603980474233083972 -->\n",
       "<g id=\"node1\" class=\"node\"><title>&#45;6603980474233083972</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"338.187\" cy=\"-18\" rx=\"338.375\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"338.187\" y=\"-13.8\" font-family=\"Times,serif\" font-size=\"14.00\">dao&#45;service:dao&#45;service&#45;196077397&#45;bpzbl:com.mysql.jdbc.connectionimpl.preparestatement</text>\n",
       "</g>\n",
       "<!-- 8137533863936841450 -->\n",
       "<g id=\"node2\" class=\"node\"><title>8137533863936841450</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"1321.19\" cy=\"-450\" rx=\"381.513\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"1321.19\" y=\"-445.8\" font-family=\"Times,serif\" font-size=\"14.00\">api&#45;gateway:api&#45;gateway&#45;1218544203&#45;x2gbp:org.springframework.web.servlet.frameworkservlet.dopost</text>\n",
       "</g>\n",
       "<!-- 5893088641216319427 -->\n",
       "<g id=\"node5\" class=\"node\"><title>5893088641216319427</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"1002.19\" cy=\"-378\" rx=\"325.398\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"1002.19\" y=\"-373.8\" font-family=\"Times,serif\" font-size=\"14.00\">api&#45;gateway:api&#45;gateway&#45;1218544203&#45;x2gbp:com.netflix.hystrix.hystrixcommand.queue</text>\n",
       "</g>\n",
       "<!-- 8137533863936841450&#45;&gt;5893088641216319427 -->\n",
       "<g id=\"edge5\" class=\"edge\"><title>8137533863936841450&#45;&gt;5893088641216319427</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M1245.18,-432.322C1197.77,-421.918 1136.65,-408.506 1087.57,-397.737\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"1088.13,-394.275 1077.61,-395.55 1086.63,-401.112 1088.13,-394.275\"/>\n",
       "</g>\n",
       "<!-- &#45;2584294106916895694 -->\n",
       "<g id=\"node3\" class=\"node\"><title>&#45;2584294106916895694</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"1016.19\" cy=\"-18\" rx=\"321.98\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"1016.19\" y=\"-13.8\" font-family=\"Times,serif\" font-size=\"14.00\">dao&#45;service:dao&#45;service&#45;196077397&#45;bpzbl:com.mysql.jdbc.nonregisteringdriver.connect</text>\n",
       "</g>\n",
       "<!-- 2856122000431575051 -->\n",
       "<g id=\"node4\" class=\"node\"><title>2856122000431575051</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"2121.19\" cy=\"-378\" rx=\"348.282\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"2121.19\" y=\"-373.8\" font-family=\"Times,serif\" font-size=\"14.00\">user&#45;service:user&#45;service&#45;3951109029&#45;43v9r:org.apache.catalina.core.standardhostvalve.invoke</text>\n",
       "</g>\n",
       "<!-- 5892648356923663587 -->\n",
       "<g id=\"node9\" class=\"node\"><title>5892648356923663587</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"1385.19\" cy=\"-306\" rx=\"339.949\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"1385.19\" y=\"-301.8\" font-family=\"Times,serif\" font-size=\"14.00\">dao&#45;service:dao&#45;service&#45;196077397&#45;bpzbl:org.apache.catalina.core.standardhostvalve.invoke</text>\n",
       "</g>\n",
       "<!-- 2856122000431575051&#45;&gt;5892648356923663587 -->\n",
       "<g id=\"edge9\" class=\"edge\"><title>2856122000431575051&#45;&gt;5892648356923663587</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M1962.84,-361.94C1842.03,-350.45 1675.97,-334.656 1552.9,-322.951\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"1552.91,-319.436 1542.62,-321.974 1552.25,-326.405 1552.91,-319.436\"/>\n",
       "</g>\n",
       "<!-- &#45;6101518111360183928 -->\n",
       "<g id=\"node25\" class=\"node\"><title>&#45;6101518111360183928</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"2121.19\" cy=\"-306\" rx=\"378.252\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"2121.19\" y=\"-301.8\" font-family=\"Times,serif\" font-size=\"14.00\">user&#45;service:user&#45;service&#45;3951109029&#45;43v9r:org.springframework.web.servlet.frameworkservlet.dopost</text>\n",
       "</g>\n",
       "<!-- 2856122000431575051&#45;&gt;&#45;6101518111360183928 -->\n",
       "<g id=\"edge25\" class=\"edge\"><title>2856122000431575051&#45;&gt;&#45;6101518111360183928</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M2121.19,-359.697C2121.19,-351.983 2121.19,-342.712 2121.19,-334.112\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"2124.69,-334.104 2121.19,-324.104 2117.69,-334.104 2124.69,-334.104\"/>\n",
       "</g>\n",
       "<!-- &#45;5953561977359037192 -->\n",
       "<g id=\"node17\" class=\"node\"><title>&#45;5953561977359037192</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"666.187\" cy=\"-306\" rx=\"325.882\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"666.187\" y=\"-301.8\" font-family=\"Times,serif\" font-size=\"14.00\">api&#45;gateway:api&#45;gateway&#45;1218544203&#45;x2gbp:com.netflix.hystrix.hystrixcommand$2.call</text>\n",
       "</g>\n",
       "<!-- 5893088641216319427&#45;&gt;&#45;5953561977359037192 -->\n",
       "<g id=\"edge17\" class=\"edge\"><title>5893088641216319427&#45;&gt;&#45;5953561977359037192</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M922.985,-360.5C872.679,-350.019 807.466,-336.433 755.346,-325.575\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"755.943,-322.124 745.439,-323.511 754.515,-328.977 755.943,-322.124\"/>\n",
       "</g>\n",
       "<!-- &#45;6312726245930526727 -->\n",
       "<g id=\"node6\" class=\"node\"><title>&#45;6312726245930526727</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"3126.19\" cy=\"-90\" rx=\"321.98\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"3126.19\" y=\"-85.8\" font-family=\"Times,serif\" font-size=\"14.00\">dao&#45;service:dao&#45;service&#45;196077397&#45;bpzbl:com.mysql.jdbc.nonregisteringdriver.connect</text>\n",
       "</g>\n",
       "<!-- 4539107004498419387 -->\n",
       "<g id=\"node7\" class=\"node\"><title>4539107004498419387</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"3465.19\" cy=\"-162\" rx=\"327.776\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"3465.19\" y=\"-157.8\" font-family=\"Times,serif\" font-size=\"14.00\">dao&#45;service:dao&#45;service&#45;196077397&#45;bpzbl:com.huawei.cloud.mysql.dbmanager.printtable</text>\n",
       "</g>\n",
       "<!-- 4539107004498419387&#45;&gt;&#45;6312726245930526727 -->\n",
       "<g id=\"edge6\" class=\"edge\"><title>4539107004498419387&#45;&gt;&#45;6312726245930526727</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M3385.28,-144.5C3334.43,-134 3268.49,-120.384 3215.86,-109.516\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"3216.35,-106.045 3205.85,-107.45 3214.94,-112.9 3216.35,-106.045\"/>\n",
       "</g>\n",
       "<!-- &#45;742682129741033083 -->\n",
       "<g id=\"node26\" class=\"node\"><title>&#45;742682129741033083</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"3804.19\" cy=\"-90\" rx=\"338.375\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"3804.19\" y=\"-85.8\" font-family=\"Times,serif\" font-size=\"14.00\">dao&#45;service:dao&#45;service&#45;196077397&#45;bpzbl:com.mysql.jdbc.connectionimpl.preparestatement</text>\n",
       "</g>\n",
       "<!-- 4539107004498419387&#45;&gt;&#45;742682129741033083 -->\n",
       "<g id=\"edge26\" class=\"edge\"><title>4539107004498419387&#45;&gt;&#45;742682129741033083</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M3545.1,-144.5C3595.85,-134.019 3661.65,-120.433 3714.23,-109.575\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"3715.14,-112.961 3724.23,-107.511 3713.73,-106.105 3715.14,-112.961\"/>\n",
       "</g>\n",
       "<!-- &#45;765290077513200240 -->\n",
       "<g id=\"node30\" class=\"node\"><title>&#45;765290077513200240</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"4475.19\" cy=\"-90\" rx=\"314.695\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"4475.19\" y=\"-85.8\" font-family=\"Times,serif\" font-size=\"14.00\">dao&#45;service:dao&#45;service&#45;196077397&#45;bpzbl:com.mysql.jdbc.preparedstatement.execute</text>\n",
       "</g>\n",
       "<!-- 4539107004498419387&#45;&gt;&#45;765290077513200240 -->\n",
       "<g id=\"edge30\" class=\"edge\"><title>4539107004498419387&#45;&gt;&#45;765290077513200240</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M3659.93,-147.503C3836.16,-135.289 4094.7,-117.371 4273.16,-105.002\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"4273.46,-108.49 4283.19,-104.307 4272.97,-101.507 4273.46,-108.49\"/>\n",
       "</g>\n",
       "<!-- &#45;7918559251971825225 -->\n",
       "<g id=\"node8\" class=\"node\"><title>&#45;7918559251971825225</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"2896.19\" cy=\"-234\" rx=\"327.776\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"2896.19\" y=\"-229.8\" font-family=\"Times,serif\" font-size=\"14.00\">dao&#45;service:dao&#45;service&#45;196077397&#45;bpzbl:com.huawei.cloud.mysql.dbmanager.printtable</text>\n",
       "</g>\n",
       "<!-- &#45;7918559251971825225&#45;&gt;4539107004498419387 -->\n",
       "<g id=\"edge7\" class=\"edge\"><title>&#45;7918559251971825225&#45;&gt;4539107004498419387</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M3023.17,-217.378C3113.71,-206.239 3235.33,-191.278 3328.08,-179.868\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"3328.6,-183.33 3338.1,-178.635 3327.75,-176.382 3328.6,-183.33\"/>\n",
       "</g>\n",
       "<!-- &#45;6220553711381301250 -->\n",
       "<g id=\"node29\" class=\"node\"><title>&#45;6220553711381301250</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"1385.19\" cy=\"-234\" rx=\"369.919\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"1385.19\" y=\"-229.8\" font-family=\"Times,serif\" font-size=\"14.00\">dao&#45;service:dao&#45;service&#45;196077397&#45;bpzbl:org.springframework.web.servlet.frameworkservlet.dopost</text>\n",
       "</g>\n",
       "<!-- 5892648356923663587&#45;&gt;&#45;6220553711381301250 -->\n",
       "<g id=\"edge29\" class=\"edge\"><title>5892648356923663587&#45;&gt;&#45;6220553711381301250</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M1385.19,-287.697C1385.19,-279.983 1385.19,-270.712 1385.19,-262.112\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"1388.69,-262.104 1385.19,-252.104 1381.69,-262.104 1388.69,-262.104\"/>\n",
       "</g>\n",
       "<!-- 3313427337504358607 -->\n",
       "<g id=\"node10\" class=\"node\"><title>3313427337504358607</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"2121.19\" cy=\"-162\" rx=\"319.704\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"2121.19\" y=\"-157.8\" font-family=\"Times,serif\" font-size=\"14.00\">user&#45;service:user&#45;service&#45;3951109029&#45;43v9r:com.huawei.cloud.api.usercontroller.login</text>\n",
       "</g>\n",
       "<!-- &#45;4844373458872789097 -->\n",
       "<g id=\"node18\" class=\"node\"><title>&#45;4844373458872789097</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"1745.19\" cy=\"-90\" rx=\"383.762\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"1745.19\" y=\"-85.8\" font-family=\"Times,serif\" font-size=\"14.00\">user&#45;service:user&#45;service&#45;3951109029&#45;43v9r:sun.net.www.protocol.http.httpurlconnection.getinputstream</text>\n",
       "</g>\n",
       "<!-- 3313427337504358607&#45;&gt;&#45;4844373458872789097 -->\n",
       "<g id=\"edge18\" class=\"edge\"><title>3313427337504358607&#45;&gt;&#45;4844373458872789097</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M2033.51,-144.676C1976.79,-134.117 1902.84,-120.35 1844.03,-109.402\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"1844.46,-105.921 1833.99,-107.532 1843.18,-112.803 1844.46,-105.921\"/>\n",
       "</g>\n",
       "<!-- &#45;2104549409767617703 -->\n",
       "<g id=\"node28\" class=\"node\"><title>&#45;2104549409767617703</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"2466.19\" cy=\"-90\" rx=\"319.704\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"2466.19\" y=\"-85.8\" font-family=\"Times,serif\" font-size=\"14.00\">user&#45;service:user&#45;service&#45;3951109029&#45;43v9r:com.huawei.cloud.api.usercontroller.login</text>\n",
       "</g>\n",
       "<!-- 3313427337504358607&#45;&gt;&#45;2104549409767617703 -->\n",
       "<g id=\"edge28\" class=\"edge\"><title>3313427337504358607&#45;&gt;&#45;2104549409767617703</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M2202.51,-144.5C2254.37,-133.978 2321.65,-120.327 2375.27,-109.448\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"2376.01,-112.869 2385.11,-107.45 2374.62,-106.009 2376.01,-112.869\"/>\n",
       "</g>\n",
       "<!-- 6348135842571530191 -->\n",
       "<g id=\"node11\" class=\"node\"><title>6348135842571530191</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"2855.19\" cy=\"-378\" rx=\"339.949\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"2855.19\" y=\"-373.8\" font-family=\"Times,serif\" font-size=\"14.00\">dao&#45;service:dao&#45;service&#45;196077397&#45;bpzbl:org.apache.catalina.core.standardhostvalve.invoke</text>\n",
       "</g>\n",
       "<!-- 3988258245340308269 -->\n",
       "<g id=\"node15\" class=\"node\"><title>3988258245340308269</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"2883.19\" cy=\"-306\" rx=\"365.543\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"2883.19\" y=\"-301.8\" font-family=\"Times,serif\" font-size=\"14.00\">dao&#45;service:dao&#45;service&#45;196077397&#45;bpzbl:org.springframework.web.servlet.frameworkservlet.doget</text>\n",
       "</g>\n",
       "<!-- 6348135842571530191&#45;&gt;3988258245340308269 -->\n",
       "<g id=\"edge15\" class=\"edge\"><title>6348135842571530191&#45;&gt;3988258245340308269</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M2862.11,-359.697C2865.26,-351.813 2869.07,-342.304 2872.57,-333.546\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"2875.88,-334.689 2876.35,-324.104 2869.38,-332.089 2875.88,-334.689\"/>\n",
       "</g>\n",
       "<!-- &#45;1526214369747409644 -->\n",
       "<g id=\"node12\" class=\"node\"><title>&#45;1526214369747409644</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"1671.19\" cy=\"-18\" rx=\"314.695\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"1671.19\" y=\"-13.8\" font-family=\"Times,serif\" font-size=\"14.00\">dao&#45;service:dao&#45;service&#45;196077397&#45;bpzbl:com.mysql.jdbc.preparedstatement.execute</text>\n",
       "</g>\n",
       "<!-- 4354362533477851389 -->\n",
       "<g id=\"node13\" class=\"node\"><title>4354362533477851389</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"3683.19\" cy=\"-234\" rx=\"416.95\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"3683.19\" y=\"-229.8\" font-family=\"Times,serif\" font-size=\"14.00\">products&#45;service:products&#45;service&#45;3673976318&#45;nzxn8:sun.net.www.protocol.http.httpurlconnection.getinputstream</text>\n",
       "</g>\n",
       "<!-- 7164453624277519513 -->\n",
       "<g id=\"node14\" class=\"node\"><title>7164453624277519513</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"631.187\" cy=\"-162\" rx=\"360.247\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"631.187\" y=\"-157.8\" font-family=\"Times,serif\" font-size=\"14.00\">api&#45;gateway:api&#45;gateway&#45;1218544203&#45;x2gbp:org.apache.http.protocol.httprequestexecutor.execute</text>\n",
       "</g>\n",
       "<!-- 3988258245340308269&#45;&gt;&#45;7918559251971825225 -->\n",
       "<g id=\"edge8\" class=\"edge\"><title>3988258245340308269&#45;&gt;&#45;7918559251971825225</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M2886.4,-287.697C2887.83,-279.983 2889.56,-270.712 2891.15,-262.112\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"2894.63,-262.575 2893.01,-252.104 2887.74,-261.297 2894.63,-262.575\"/>\n",
       "</g>\n",
       "<!-- 8257779354655162264 -->\n",
       "<g id=\"node16\" class=\"node\"><title>8257779354655162264</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"2474.19\" cy=\"-450\" rx=\"381.47\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"2474.19\" y=\"-445.8\" font-family=\"Times,serif\" font-size=\"14.00\">products&#45;service:products&#45;service&#45;3673976318&#45;nzxn8:org.apache.catalina.core.standardhostvalve.invoke</text>\n",
       "</g>\n",
       "<!-- 8257779354655162264&#45;&gt;2856122000431575051 -->\n",
       "<g id=\"edge4\" class=\"edge\"><title>8257779354655162264&#45;&gt;2856122000431575051</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M2390.53,-432.411C2337.65,-421.925 2269.23,-408.358 2214.59,-397.521\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"2215.04,-394.043 2204.55,-395.53 2213.68,-400.909 2215.04,-394.043\"/>\n",
       "</g>\n",
       "<!-- 8257779354655162264&#45;&gt;6348135842571530191 -->\n",
       "<g id=\"edge11\" class=\"edge\"><title>8257779354655162264&#45;&gt;6348135842571530191</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M2564,-432.5C2621.6,-421.916 2696.45,-408.164 2755.84,-397.254\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"2756.78,-400.639 2765.98,-395.39 2755.51,-393.754 2756.78,-400.639\"/>\n",
       "</g>\n",
       "<!-- 4775340225306558636 -->\n",
       "<g id=\"node27\" class=\"node\"><title>4775340225306558636</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"3659.19\" cy=\"-378\" rx=\"411.44\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"3659.19\" y=\"-373.8\" font-family=\"Times,serif\" font-size=\"14.00\">products&#45;service:products&#45;service&#45;3673976318&#45;nzxn8:org.springframework.web.servlet.frameworkservlet.dopost</text>\n",
       "</g>\n",
       "<!-- 8257779354655162264&#45;&gt;4775340225306558636 -->\n",
       "<g id=\"edge27\" class=\"edge\"><title>8257779354655162264&#45;&gt;4775340225306558636</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M2701.97,-435.545C2906.44,-423.466 3205.76,-405.784 3415.1,-393.419\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"3415.53,-396.899 3425.31,-392.816 3415.12,-389.911 3415.53,-396.899\"/>\n",
       "</g>\n",
       "<!-- 5232337649480475932 -->\n",
       "<g id=\"node31\" class=\"node\"><title>5232337649480475932</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"631.187\" cy=\"-234\" rx=\"366.035\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"631.187\" y=\"-229.8\" font-family=\"Times,serif\" font-size=\"14.00\">api&#45;gateway:api&#45;gateway&#45;1218544203&#45;x2gbp:org.apache.http.impl.client.closeablehttpclient.execute</text>\n",
       "</g>\n",
       "<!-- &#45;5953561977359037192&#45;&gt;5232337649480475932 -->\n",
       "<g id=\"edge31\" class=\"edge\"><title>&#45;5953561977359037192&#45;&gt;5232337649480475932</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M657.536,-287.697C653.552,-279.728 648.737,-270.1 644.319,-261.264\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"647.342,-259.483 639.739,-252.104 641.081,-262.614 647.342,-259.483\"/>\n",
       "</g>\n",
       "<!-- 232684142699520228 -->\n",
       "<g id=\"node19\" class=\"node\"><title>232684142699520228</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"3695.19\" cy=\"-306\" rx=\"427.688\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"3695.19\" y=\"-301.8\" font-family=\"Times,serif\" font-size=\"14.00\">products&#45;service:products&#45;service&#45;3673976318&#45;nzxn8:com.huawei.cloud.controller.productcontroller.getitemsbyname</text>\n",
       "</g>\n",
       "<!-- 232684142699520228&#45;&gt;4354362533477851389 -->\n",
       "<g id=\"edge13\" class=\"edge\"><title>232684142699520228&#45;&gt;4354362533477851389</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M3692.22,-287.697C3690.9,-279.983 3689.31,-270.712 3687.84,-262.112\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"3691.26,-261.369 3686.12,-252.104 3684.36,-262.552 3691.26,-261.369\"/>\n",
       "</g>\n",
       "<!-- &#45;4196863603158600831 -->\n",
       "<g id=\"node24\" class=\"node\"><title>&#45;4196863603158600831</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"4534.19\" cy=\"-234\" rx=\"416.95\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"4534.19\" y=\"-229.8\" font-family=\"Times,serif\" font-size=\"14.00\">products&#45;service:products&#45;service&#45;3673976318&#45;nzxn8:sun.net.www.protocol.http.httpurlconnection.getinputstream</text>\n",
       "</g>\n",
       "<!-- 232684142699520228&#45;&gt;&#45;4196863603158600831 -->\n",
       "<g id=\"edge24\" class=\"edge\"><title>232684142699520228&#45;&gt;&#45;4196863603158600831</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M3878.27,-289.725C4015.27,-278.294 4202.22,-262.697 4341.49,-251.077\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"4342.18,-254.532 4351.85,-250.213 4341.6,-247.556 4342.18,-254.532\"/>\n",
       "</g>\n",
       "<!-- &#45;7098463014301710795 -->\n",
       "<g id=\"node20\" class=\"node\"><title>&#45;7098463014301710795</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"1361.19\" cy=\"-162\" rx=\"327.776\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"1361.19\" y=\"-157.8\" font-family=\"Times,serif\" font-size=\"14.00\">dao&#45;service:dao&#45;service&#45;196077397&#45;bpzbl:com.huawei.cloud.mysql.dbmanager.printtable</text>\n",
       "</g>\n",
       "<!-- &#45;6839787481846431335 -->\n",
       "<g id=\"node23\" class=\"node\"><title>&#45;6839787481846431335</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"1016.19\" cy=\"-90\" rx=\"327.776\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"1016.19\" y=\"-85.8\" font-family=\"Times,serif\" font-size=\"14.00\">dao&#45;service:dao&#45;service&#45;196077397&#45;bpzbl:com.huawei.cloud.mysql.dbmanager.printtable</text>\n",
       "</g>\n",
       "<!-- &#45;7098463014301710795&#45;&gt;&#45;6839787481846431335 -->\n",
       "<g id=\"edge23\" class=\"edge\"><title>&#45;7098463014301710795&#45;&gt;&#45;6839787481846431335</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M1279.86,-144.5C1228.01,-133.978 1160.73,-120.327 1107.11,-109.448\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"1107.76,-106.009 1097.26,-107.45 1106.37,-112.869 1107.76,-106.009\"/>\n",
       "</g>\n",
       "<!-- 7971287710563872123 -->\n",
       "<g id=\"node21\" class=\"node\"><title>7971287710563872123</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"2031.19\" cy=\"-522\" rx=\"351.543\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"2031.19\" y=\"-517.8\" font-family=\"Times,serif\" font-size=\"14.00\">api&#45;gateway:api&#45;gateway&#45;1218544203&#45;x2gbp:org.apache.catalina.core.standardhostvalve.invoke</text>\n",
       "</g>\n",
       "<!-- 7971287710563872123&#45;&gt;8137533863936841450 -->\n",
       "<g id=\"edge2\" class=\"edge\"><title>7971287710563872123&#45;&gt;8137533863936841450</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M1877.13,-505.811C1762.3,-494.49 1605.65,-479.046 1487.9,-467.436\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"1488,-463.929 1477.71,-466.431 1487.31,-470.896 1488,-463.929\"/>\n",
       "</g>\n",
       "<!-- 7971287710563872123&#45;&gt;8257779354655162264 -->\n",
       "<g id=\"edge16\" class=\"edge\"><title>7971287710563872123&#45;&gt;8257779354655162264</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M2133.93,-504.765C2201.78,-494.044 2290.73,-479.988 2360.67,-468.937\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"2361.52,-472.347 2370.85,-467.329 2360.42,-465.433 2361.52,-472.347\"/>\n",
       "</g>\n",
       "<!-- &#45;4283877576424433174 -->\n",
       "<g id=\"node22\" class=\"node\"><title>&#45;4283877576424433174</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"2121.19\" cy=\"-234\" rx=\"319.704\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"2121.19\" y=\"-229.8\" font-family=\"Times,serif\" font-size=\"14.00\">user&#45;service:user&#45;service&#45;3951109029&#45;43v9r:com.huawei.cloud.api.usercontroller.login</text>\n",
       "</g>\n",
       "<!-- &#45;4283877576424433174&#45;&gt;3313427337504358607 -->\n",
       "<g id=\"edge10\" class=\"edge\"><title>&#45;4283877576424433174&#45;&gt;3313427337504358607</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M2121.19,-215.697C2121.19,-207.983 2121.19,-198.712 2121.19,-190.112\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"2124.69,-190.104 2121.19,-180.104 2117.69,-190.104 2124.69,-190.104\"/>\n",
       "</g>\n",
       "<!-- &#45;6839787481846431335&#45;&gt;&#45;6603980474233083972 -->\n",
       "<g id=\"edge1\" class=\"edge\"><title>&#45;6839787481846431335&#45;&gt;&#45;6603980474233083972</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M869.489,-73.8542C759.217,-62.4692 608.381,-46.8961 495.594,-35.2514\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"495.794,-31.7536 485.488,-34.208 495.076,-38.7166 495.794,-31.7536\"/>\n",
       "</g>\n",
       "<!-- &#45;6839787481846431335&#45;&gt;&#45;2584294106916895694 -->\n",
       "<g id=\"edge3\" class=\"edge\"><title>&#45;6839787481846431335&#45;&gt;&#45;2584294106916895694</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M1016.19,-71.6966C1016.19,-63.9827 1016.19,-54.7125 1016.19,-46.1124\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"1019.69,-46.1043 1016.19,-36.1043 1012.69,-46.1044 1019.69,-46.1043\"/>\n",
       "</g>\n",
       "<!-- &#45;6839787481846431335&#45;&gt;&#45;1526214369747409644 -->\n",
       "<g id=\"edge12\" class=\"edge\"><title>&#45;6839787481846431335&#45;&gt;&#45;1526214369747409644</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M1158.72,-73.7679C1265.37,-62.3697 1410.97,-46.8097 1519.72,-35.1874\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"1520.22,-38.6536 1529.79,-34.1107 1519.48,-31.6933 1520.22,-38.6536\"/>\n",
       "</g>\n",
       "<!-- &#45;6101518111360183928&#45;&gt;&#45;4283877576424433174 -->\n",
       "<g id=\"edge22\" class=\"edge\"><title>&#45;6101518111360183928&#45;&gt;&#45;4283877576424433174</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M2121.19,-287.697C2121.19,-279.983 2121.19,-270.712 2121.19,-262.112\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"2124.69,-262.104 2121.19,-252.104 2117.69,-262.104 2124.69,-262.104\"/>\n",
       "</g>\n",
       "<!-- 4775340225306558636&#45;&gt;232684142699520228 -->\n",
       "<g id=\"edge19\" class=\"edge\"><title>4775340225306558636&#45;&gt;232684142699520228</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M3668.09,-359.697C3672.18,-351.728 3677.14,-342.1 3681.68,-333.264\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"3684.93,-334.598 3686.39,-324.104 3678.7,-331.396 3684.93,-334.598\"/>\n",
       "</g>\n",
       "<!-- &#45;6220553711381301250&#45;&gt;&#45;7098463014301710795 -->\n",
       "<g id=\"edge20\" class=\"edge\"><title>&#45;6220553711381301250&#45;&gt;&#45;7098463014301710795</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M1379.25,-215.697C1376.58,-207.898 1373.36,-198.509 1370.39,-189.829\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"1373.61,-188.429 1367.05,-180.104 1366.98,-190.699 1373.61,-188.429\"/>\n",
       "</g>\n",
       "<!-- 5232337649480475932&#45;&gt;7164453624277519513 -->\n",
       "<g id=\"edge14\" class=\"edge\"><title>5232337649480475932&#45;&gt;7164453624277519513</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M631.187,-215.697C631.187,-207.983 631.187,-198.712 631.187,-190.112\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"634.687,-190.104 631.187,-180.104 627.687,-190.104 634.687,-190.104\"/>\n",
       "</g>\n",
       "<!-- 0 -->\n",
       "<g id=\"node32\" class=\"node\"><title>0</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"2031.19\" cy=\"-594\" rx=\"27\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"2031.19\" y=\"-589.8\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
       "</g>\n",
       "<!-- 0&#45;&gt;7971287710563872123 -->\n",
       "<g id=\"edge21\" class=\"edge\"><title>0&#45;&gt;7971287710563872123</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M2031.19,-575.697C2031.19,-567.983 2031.19,-558.712 2031.19,-550.112\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"2034.69,-550.104 2031.19,-540.104 2027.69,-550.104 2034.69,-550.104\"/>\n",
       "</g>\n",
       "</g>\n",
       "</svg>\n"
      ],
      "text/plain": [
       "<graphviz.dot.Digraph at 0x103d08290>"
      ]
     },
     "execution_count": 4,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "list(buckets[key])[1].to_dot(get_label_1)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "# convert to a boolean formula, normalize to CNF, and solve using ILP"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 14,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": [
    "formula = get_formula(buckets[key], get_label_1)\n",
    "cnf = CNFFormula(formula)\n",
    "s = ldfi_py.pilp.Solver(cnf)\n",
    "crs = s.solutions()\n"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "# Initial fault suggestions:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 15,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "[user_service:user_service_3951109029_43v9r:org.springframework.web.servlet.frameworkservlet.dopost,\n",
       " api_gateway:api_gateway_985328082_ph6p9:com.netflix.hystrix.hystrixcommand$2.call,\n",
       " api_gateway:api_gateway_985328082_m4rll:com.netflix.hystrix.hystrixcommand$2.call,\n",
       " api_gateway:api_gateway_985328082_f2jc1:com.netflix.hystrix.hystrixcommand$2.call,\n",
       " api_gateway:api_gateway_4025834462_lphbg:com.netflix.hystrix.hystrixcommand$2.call,\n",
       " dao_service:dao_service_196077397_4h984:com.huawei.cloud.mysql.dbmanager.printtable,\n",
       " dao_service:dao_service_196077397_x8zch:org.springframework.web.servlet.frameworkservlet.doget]"
      ]
     },
     "execution_count": 15,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "crs.next()"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Unsurprisingly, when we use the richest label, nodes occur less often across different graphs, and hence solutions (combinations of faults that affect *all* graphs) are larger.  The suggestion above indicates that we should inject faults simultaneously at 7 distinct call sites..."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "# use a less rich label (service, instance)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 16,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/svg+xml": [
       "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
       "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
       " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
       "<!-- Generated by graphviz version 2.38.0 (20140413.2041)\n",
       " -->\n",
       "<!-- Title: %3 Pages: 1 -->\n",
       "<svg width=\"1831pt\" height=\"620pt\"\n",
       " viewBox=\"0.00 0.00 1830.55 620.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
       "<g id=\"graph0\" class=\"graph\" transform=\"scale(1 1) rotate(0) translate(4 616)\">\n",
       "<title>%3</title>\n",
       "<polygon fill=\"white\" stroke=\"none\" points=\"-4,4 -4,-616 1826.55,-616 1826.55,4 -4,4\"/>\n",
       "<!-- 6472423363338062742 -->\n",
       "<g id=\"node1\" class=\"node\"><title>6472423363338062742</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"1553.08\" cy=\"-306\" rx=\"138.451\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"1553.08\" y=\"-301.8\" font-family=\"Times,serif\" font-size=\"14.00\">products&#45;service&#45;3656711515&#45;bq1j3</text>\n",
       "</g>\n",
       "<!-- 2290735060613038604 -->\n",
       "<g id=\"node2\" class=\"node\"><title>2290735060613038604</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"1389.08\" cy=\"-234\" rx=\"138.451\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"1389.08\" y=\"-229.8\" font-family=\"Times,serif\" font-size=\"14.00\">products&#45;service&#45;3656711515&#45;bq1j3</text>\n",
       "</g>\n",
       "<!-- 6472423363338062742&#45;&gt;2290735060613038604 -->\n",
       "<g id=\"edge2\" class=\"edge\"><title>6472423363338062742&#45;&gt;2290735060613038604</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M1514.63,-288.588C1491.29,-278.627 1461.32,-265.835 1436.52,-255.248\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"1437.86,-252.016 1427.29,-251.309 1435.11,-258.454 1437.86,-252.016\"/>\n",
       "</g>\n",
       "<!-- &#45;26941206602388379 -->\n",
       "<g id=\"node5\" class=\"node\"><title>&#45;26941206602388379</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"1684.08\" cy=\"-234\" rx=\"138.451\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"1684.08\" y=\"-229.8\" font-family=\"Times,serif\" font-size=\"14.00\">products&#45;service&#45;3656711515&#45;bq1j3</text>\n",
       "</g>\n",
       "<!-- 6472423363338062742&#45;&gt;&#45;26941206602388379 -->\n",
       "<g id=\"edge5\" class=\"edge\"><title>6472423363338062742&#45;&gt;&#45;26941206602388379</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M1584.12,-288.411C1602.02,-278.848 1624.71,-266.721 1643.95,-256.441\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"1645.63,-259.512 1652.8,-251.713 1642.33,-253.339 1645.63,-259.512\"/>\n",
       "</g>\n",
       "<!-- 5791504278805509071 -->\n",
       "<g id=\"node3\" class=\"node\"><title>5791504278805509071</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"1171.08\" cy=\"-90\" rx=\"123.154\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"1171.08\" y=\"-85.8\" font-family=\"Times,serif\" font-size=\"14.00\">dao&#45;service&#45;1547218744&#45;xphqb</text>\n",
       "</g>\n",
       "<!-- 8653136032207610436 -->\n",
       "<g id=\"node4\" class=\"node\"><title>8653136032207610436</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"747.077\" cy=\"-162\" rx=\"120.888\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"747.077\" y=\"-157.8\" font-family=\"Times,serif\" font-size=\"14.00\">user&#45;service&#45;4169250386&#45;h9flq</text>\n",
       "</g>\n",
       "<!-- &#45;3283010887757641176 -->\n",
       "<g id=\"node22\" class=\"node\"><title>&#45;3283010887757641176</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"649.077\" cy=\"-90\" rx=\"120.888\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"649.077\" y=\"-85.8\" font-family=\"Times,serif\" font-size=\"14.00\">user&#45;service&#45;4169250386&#45;h9flq</text>\n",
       "</g>\n",
       "<!-- 8653136032207610436&#45;&gt;&#45;3283010887757641176 -->\n",
       "<g id=\"edge22\" class=\"edge\"><title>8653136032207610436&#45;&gt;&#45;3283010887757641176</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M723.354,-144.055C710.594,-134.941 694.685,-123.577 680.868,-113.708\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"682.753,-110.753 672.582,-107.789 678.685,-116.449 682.753,-110.753\"/>\n",
       "</g>\n",
       "<!-- 4582324516736686013 -->\n",
       "<g id=\"node27\" class=\"node\"><title>4582324516736686013</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"909.077\" cy=\"-90\" rx=\"120.888\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"909.077\" y=\"-85.8\" font-family=\"Times,serif\" font-size=\"14.00\">user&#45;service&#45;4169250386&#45;h9flq</text>\n",
       "</g>\n",
       "<!-- 8653136032207610436&#45;&gt;4582324516736686013 -->\n",
       "<g id=\"edge27\" class=\"edge\"><title>8653136032207610436&#45;&gt;4582324516736686013</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M784.65,-144.765C807.857,-134.737 837.816,-121.792 862.521,-111.117\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"863.916,-114.327 871.707,-107.147 861.139,-107.901 863.916,-114.327\"/>\n",
       "</g>\n",
       "<!-- 5755972086978651926 -->\n",
       "<g id=\"node6\" class=\"node\"><title>5755972086978651926</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"123.077\" cy=\"-18\" rx=\"123.154\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"123.077\" y=\"-13.8\" font-family=\"Times,serif\" font-size=\"14.00\">dao&#45;service&#45;1547218744&#45;xphqb</text>\n",
       "</g>\n",
       "<!-- 8731828237295937589 -->\n",
       "<g id=\"node7\" class=\"node\"><title>8731828237295937589</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"329.077\" cy=\"-450\" rx=\"123.638\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"329.077\" y=\"-445.8\" font-family=\"Times,serif\" font-size=\"14.00\">api&#45;gateway&#45;4025834462&#45;lphbg</text>\n",
       "</g>\n",
       "<!-- &#45;1102906864830107834 -->\n",
       "<g id=\"node17\" class=\"node\"><title>&#45;1102906864830107834</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"190.077\" cy=\"-378\" rx=\"123.638\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"190.077\" y=\"-373.8\" font-family=\"Times,serif\" font-size=\"14.00\">api&#45;gateway&#45;4025834462&#45;lphbg</text>\n",
       "</g>\n",
       "<!-- 8731828237295937589&#45;&gt;&#45;1102906864830107834 -->\n",
       "<g id=\"edge17\" class=\"edge\"><title>8731828237295937589&#45;&gt;&#45;1102906864830107834</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M296.488,-432.588C277.282,-422.916 252.779,-410.577 232.128,-400.177\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"233.449,-396.923 222.944,-395.552 230.301,-403.175 233.449,-396.923\"/>\n",
       "</g>\n",
       "<!-- 7514638880951706256 -->\n",
       "<g id=\"node8\" class=\"node\"><title>7514638880951706256</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"1435.08\" cy=\"-90\" rx=\"123.154\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"1435.08\" y=\"-85.8\" font-family=\"Times,serif\" font-size=\"14.00\">dao&#45;service&#45;1547218744&#45;xphqb</text>\n",
       "</g>\n",
       "<!-- &#45;335220369072267935 -->\n",
       "<g id=\"node9\" class=\"node\"><title>&#45;335220369072267935</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"190.077\" cy=\"-162\" rx=\"123.638\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"190.077\" y=\"-157.8\" font-family=\"Times,serif\" font-size=\"14.00\">api&#45;gateway&#45;4025834462&#45;lphbg</text>\n",
       "</g>\n",
       "<!-- 1516761477448708856 -->\n",
       "<g id=\"node10\" class=\"node\"><title>1516761477448708856</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"1699.08\" cy=\"-90\" rx=\"123.154\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"1699.08\" y=\"-85.8\" font-family=\"Times,serif\" font-size=\"14.00\">dao&#45;service&#45;1547218744&#45;xphqb</text>\n",
       "</g>\n",
       "<!-- &#45;642482739040290114 -->\n",
       "<g id=\"node11\" class=\"node\"><title>&#45;642482739040290114</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"387.077\" cy=\"-18\" rx=\"123.154\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"387.077\" y=\"-13.8\" font-family=\"Times,serif\" font-size=\"14.00\">dao&#45;service&#45;1547218744&#45;xphqb</text>\n",
       "</g>\n",
       "<!-- &#45;8909302600091657367 -->\n",
       "<g id=\"node12\" class=\"node\"><title>&#45;8909302600091657367</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"1009.08\" cy=\"-306\" rx=\"123.154\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"1009.08\" y=\"-301.8\" font-family=\"Times,serif\" font-size=\"14.00\">dao&#45;service&#45;1547218744&#45;xphqb</text>\n",
       "</g>\n",
       "<!-- &#45;2152632466462919836 -->\n",
       "<g id=\"node33\" class=\"node\"><title>&#45;2152632466462919836</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"1107.08\" cy=\"-234\" rx=\"123.154\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"1107.08\" y=\"-229.8\" font-family=\"Times,serif\" font-size=\"14.00\">dao&#45;service&#45;1547218744&#45;xphqb</text>\n",
       "</g>\n",
       "<!-- &#45;8909302600091657367&#45;&gt;&#45;2152632466462919836 -->\n",
       "<g id=\"edge33\" class=\"edge\"><title>&#45;8909302600091657367&#45;&gt;&#45;2152632466462919836</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M1032.8,-288.055C1045.56,-278.941 1061.47,-267.577 1075.29,-257.708\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"1077.47,-260.449 1083.57,-251.789 1073.4,-254.753 1077.47,-260.449\"/>\n",
       "</g>\n",
       "<!-- &#45;6635599906803764207 -->\n",
       "<g id=\"node13\" class=\"node\"><title>&#45;6635599906803764207</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"485.077\" cy=\"-306\" rx=\"123.154\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"485.077\" y=\"-301.8\" font-family=\"Times,serif\" font-size=\"14.00\">dao&#45;service&#45;1547218744&#45;xphqb</text>\n",
       "</g>\n",
       "<!-- 9221983629553373437 -->\n",
       "<g id=\"node19\" class=\"node\"><title>9221983629553373437</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"485.077\" cy=\"-234\" rx=\"123.154\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"485.077\" y=\"-229.8\" font-family=\"Times,serif\" font-size=\"14.00\">dao&#45;service&#45;1547218744&#45;xphqb</text>\n",
       "</g>\n",
       "<!-- &#45;6635599906803764207&#45;&gt;9221983629553373437 -->\n",
       "<g id=\"edge19\" class=\"edge\"><title>&#45;6635599906803764207&#45;&gt;9221983629553373437</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M485.077,-287.697C485.077,-279.983 485.077,-270.712 485.077,-262.112\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"488.577,-262.104 485.077,-252.104 481.577,-262.104 488.577,-262.104\"/>\n",
       "</g>\n",
       "<!-- &#45;3927793468238017476 -->\n",
       "<g id=\"node14\" class=\"node\"><title>&#45;3927793468238017476</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"1273.08\" cy=\"-306\" rx=\"123.154\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"1273.08\" y=\"-301.8\" font-family=\"Times,serif\" font-size=\"14.00\">dao&#45;service&#45;1547218744&#45;xphqb</text>\n",
       "</g>\n",
       "<!-- &#45;5402447567077640135 -->\n",
       "<g id=\"node15\" class=\"node\"><title>&#45;5402447567077640135</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"190.077\" cy=\"-306\" rx=\"123.638\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"190.077\" y=\"-301.8\" font-family=\"Times,serif\" font-size=\"14.00\">api&#45;gateway&#45;4025834462&#45;lphbg</text>\n",
       "</g>\n",
       "<!-- &#45;3533677183143183231 -->\n",
       "<g id=\"node24\" class=\"node\"><title>&#45;3533677183143183231</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"190.077\" cy=\"-234\" rx=\"123.638\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"190.077\" y=\"-229.8\" font-family=\"Times,serif\" font-size=\"14.00\">api&#45;gateway&#45;4025834462&#45;lphbg</text>\n",
       "</g>\n",
       "<!-- &#45;5402447567077640135&#45;&gt;&#45;3533677183143183231 -->\n",
       "<g id=\"edge24\" class=\"edge\"><title>&#45;5402447567077640135&#45;&gt;&#45;3533677183143183231</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M190.077,-287.697C190.077,-279.983 190.077,-270.712 190.077,-262.112\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"193.577,-262.104 190.077,-252.104 186.577,-262.104 193.577,-262.104\"/>\n",
       "</g>\n",
       "<!-- 4800993618576515672 -->\n",
       "<g id=\"node16\" class=\"node\"><title>4800993618576515672</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"470.077\" cy=\"-378\" rx=\"138.451\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"470.077\" y=\"-373.8\" font-family=\"Times,serif\" font-size=\"14.00\">products&#45;service&#45;3656711515&#45;bq1j3</text>\n",
       "</g>\n",
       "<!-- &#45;1102906864830107834&#45;&gt;&#45;5402447567077640135 -->\n",
       "<g id=\"edge15\" class=\"edge\"><title>&#45;1102906864830107834&#45;&gt;&#45;5402447567077640135</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M190.077,-359.697C190.077,-351.983 190.077,-342.712 190.077,-334.112\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"193.577,-334.104 190.077,-324.104 186.577,-334.104 193.577,-334.104\"/>\n",
       "</g>\n",
       "<!-- &#45;7002250372566944897 -->\n",
       "<g id=\"node18\" class=\"node\"><title>&#45;7002250372566944897</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"747.077\" cy=\"-378\" rx=\"120.888\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"747.077\" y=\"-373.8\" font-family=\"Times,serif\" font-size=\"14.00\">user&#45;service&#45;4169250386&#45;h9flq</text>\n",
       "</g>\n",
       "<!-- &#45;7002250372566944897&#45;&gt;&#45;6635599906803764207 -->\n",
       "<g id=\"edge13\" class=\"edge\"><title>&#45;7002250372566944897&#45;&gt;&#45;6635599906803764207</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M690.871,-361.983C650,-351.063 594.52,-336.24 551.464,-324.737\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"552.206,-321.312 541.641,-322.113 550.399,-328.075 552.206,-321.312\"/>\n",
       "</g>\n",
       "<!-- 4425236533902786915 -->\n",
       "<g id=\"node25\" class=\"node\"><title>4425236533902786915</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"747.077\" cy=\"-306\" rx=\"120.888\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"747.077\" y=\"-301.8\" font-family=\"Times,serif\" font-size=\"14.00\">user&#45;service&#45;4169250386&#45;h9flq</text>\n",
       "</g>\n",
       "<!-- &#45;7002250372566944897&#45;&gt;4425236533902786915 -->\n",
       "<g id=\"edge25\" class=\"edge\"><title>&#45;7002250372566944897&#45;&gt;4425236533902786915</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M747.077,-359.697C747.077,-351.983 747.077,-342.712 747.077,-334.112\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"750.577,-334.104 747.077,-324.104 743.577,-334.104 750.577,-334.104\"/>\n",
       "</g>\n",
       "<!-- &#45;1758352659047667921 -->\n",
       "<g id=\"node26\" class=\"node\"><title>&#45;1758352659047667921</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"485.077\" cy=\"-162\" rx=\"123.154\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"485.077\" y=\"-157.8\" font-family=\"Times,serif\" font-size=\"14.00\">dao&#45;service&#45;1547218744&#45;xphqb</text>\n",
       "</g>\n",
       "<!-- 9221983629553373437&#45;&gt;&#45;1758352659047667921 -->\n",
       "<g id=\"edge26\" class=\"edge\"><title>9221983629553373437&#45;&gt;&#45;1758352659047667921</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M485.077,-215.697C485.077,-207.983 485.077,-198.712 485.077,-190.112\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"488.577,-190.104 485.077,-180.104 481.577,-190.104 488.577,-190.104\"/>\n",
       "</g>\n",
       "<!-- 442369632761597631 -->\n",
       "<g id=\"node20\" class=\"node\"><title>442369632761597631</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"651.077\" cy=\"-18\" rx=\"123.154\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"651.077\" y=\"-13.8\" font-family=\"Times,serif\" font-size=\"14.00\">dao&#45;service&#45;1547218744&#45;xphqb</text>\n",
       "</g>\n",
       "<!-- &#45;8662384413717122125 -->\n",
       "<g id=\"node21\" class=\"node\"><title>&#45;8662384413717122125</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"1009.08\" cy=\"-378\" rx=\"123.154\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"1009.08\" y=\"-373.8\" font-family=\"Times,serif\" font-size=\"14.00\">dao&#45;service&#45;1547218744&#45;xphqb</text>\n",
       "</g>\n",
       "<!-- &#45;8662384413717122125&#45;&gt;&#45;8909302600091657367 -->\n",
       "<g id=\"edge12\" class=\"edge\"><title>&#45;8662384413717122125&#45;&gt;&#45;8909302600091657367</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M1009.08,-359.697C1009.08,-351.983 1009.08,-342.712 1009.08,-334.112\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"1012.58,-334.104 1009.08,-324.104 1005.58,-334.104 1012.58,-334.104\"/>\n",
       "</g>\n",
       "<!-- &#45;8662384413717122125&#45;&gt;&#45;3927793468238017476 -->\n",
       "<g id=\"edge14\" class=\"edge\"><title>&#45;8662384413717122125&#45;&gt;&#45;3927793468238017476</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M1065.71,-361.983C1107.04,-351.026 1163.18,-336.139 1206.63,-324.619\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"1207.77,-327.938 1216.54,-321.992 1205.97,-321.172 1207.77,-327.938\"/>\n",
       "</g>\n",
       "<!-- 7546712060921269585 -->\n",
       "<g id=\"node23\" class=\"node\"><title>7546712060921269585</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"387.077\" cy=\"-90\" rx=\"123.154\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"387.077\" y=\"-85.8\" font-family=\"Times,serif\" font-size=\"14.00\">dao&#45;service&#45;1547218744&#45;xphqb</text>\n",
       "</g>\n",
       "<!-- 7546712060921269585&#45;&gt;5755972086978651926 -->\n",
       "<g id=\"edge6\" class=\"edge\"><title>7546712060921269585&#45;&gt;5755972086978651926</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M330.442,-73.9832C289.118,-63.026 232.974,-48.1393 189.527,-36.6192\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"190.181,-33.1718 179.618,-33.9919 188.387,-39.938 190.181,-33.1718\"/>\n",
       "</g>\n",
       "<!-- 7546712060921269585&#45;&gt;&#45;642482739040290114 -->\n",
       "<g id=\"edge11\" class=\"edge\"><title>7546712060921269585&#45;&gt;&#45;642482739040290114</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M387.077,-71.6966C387.077,-63.9827 387.077,-54.7125 387.077,-46.1124\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"390.577,-46.1043 387.077,-36.1043 383.577,-46.1044 390.577,-46.1043\"/>\n",
       "</g>\n",
       "<!-- 7546712060921269585&#45;&gt;442369632761597631 -->\n",
       "<g id=\"edge20\" class=\"edge\"><title>7546712060921269585&#45;&gt;442369632761597631</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M443.712,-73.9832C485.036,-63.026 541.18,-48.1393 584.627,-36.6192\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"585.767,-39.938 594.536,-33.9919 583.973,-33.1718 585.767,-39.938\"/>\n",
       "</g>\n",
       "<!-- &#45;3533677183143183231&#45;&gt;&#45;335220369072267935 -->\n",
       "<g id=\"edge9\" class=\"edge\"><title>&#45;3533677183143183231&#45;&gt;&#45;335220369072267935</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M190.077,-215.697C190.077,-207.983 190.077,-198.712 190.077,-190.112\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"193.577,-190.104 190.077,-180.104 186.577,-190.104 193.577,-190.104\"/>\n",
       "</g>\n",
       "<!-- &#45;2081655323412839881 -->\n",
       "<g id=\"node28\" class=\"node\"><title>&#45;2081655323412839881</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"747.077\" cy=\"-234\" rx=\"120.888\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"747.077\" y=\"-229.8\" font-family=\"Times,serif\" font-size=\"14.00\">user&#45;service&#45;4169250386&#45;h9flq</text>\n",
       "</g>\n",
       "<!-- 4425236533902786915&#45;&gt;&#45;2081655323412839881 -->\n",
       "<g id=\"edge28\" class=\"edge\"><title>4425236533902786915&#45;&gt;&#45;2081655323412839881</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M747.077,-287.697C747.077,-279.983 747.077,-270.712 747.077,-262.112\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"750.577,-262.104 747.077,-252.104 743.577,-262.104 750.577,-262.104\"/>\n",
       "</g>\n",
       "<!-- &#45;1758352659047667921&#45;&gt;7546712060921269585 -->\n",
       "<g id=\"edge23\" class=\"edge\"><title>&#45;1758352659047667921&#45;&gt;7546712060921269585</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M461.354,-144.055C448.594,-134.941 432.685,-123.577 418.868,-113.708\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"420.753,-110.753 410.582,-107.789 416.685,-116.449 420.753,-110.753\"/>\n",
       "</g>\n",
       "<!-- &#45;2081655323412839881&#45;&gt;8653136032207610436 -->\n",
       "<g id=\"edge4\" class=\"edge\"><title>&#45;2081655323412839881&#45;&gt;8653136032207610436</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M747.077,-215.697C747.077,-207.983 747.077,-198.712 747.077,-190.112\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"750.577,-190.104 747.077,-180.104 743.577,-190.104 750.577,-190.104\"/>\n",
       "</g>\n",
       "<!-- 627515971472463170 -->\n",
       "<g id=\"node29\" class=\"node\"><title>627515971472463170</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"469.077\" cy=\"-522\" rx=\"123.638\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"469.077\" y=\"-517.8\" font-family=\"Times,serif\" font-size=\"14.00\">api&#45;gateway&#45;4025834462&#45;lphbg</text>\n",
       "</g>\n",
       "<!-- 627515971472463170&#45;&gt;8731828237295937589 -->\n",
       "<g id=\"edge7\" class=\"edge\"><title>627515971472463170&#45;&gt;8731828237295937589</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M436.253,-504.588C416.822,-494.873 392.008,-482.465 371.15,-472.036\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"372.69,-468.893 362.18,-467.552 369.559,-475.154 372.69,-468.893\"/>\n",
       "</g>\n",
       "<!-- 3630476723786427343 -->\n",
       "<g id=\"node30\" class=\"node\"><title>3630476723786427343</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"747.077\" cy=\"-450\" rx=\"138.451\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"747.077\" y=\"-445.8\" font-family=\"Times,serif\" font-size=\"14.00\">products&#45;service&#45;3656711515&#45;bq1j3</text>\n",
       "</g>\n",
       "<!-- 627515971472463170&#45;&gt;3630476723786427343 -->\n",
       "<g id=\"edge30\" class=\"edge\"><title>627515971472463170&#45;&gt;3630476723786427343</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M528.034,-506.155C571.392,-495.237 630.513,-480.351 676.406,-468.795\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"677.441,-472.144 686.283,-466.308 675.731,-465.356 677.441,-472.144\"/>\n",
       "</g>\n",
       "<!-- 3630476723786427343&#45;&gt;4800993618576515672 -->\n",
       "<g id=\"edge16\" class=\"edge\"><title>3630476723786427343&#45;&gt;4800993618576515672</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M686.63,-433.725C643.473,-422.819 585.303,-408.119 540.12,-396.7\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"540.947,-393.3 530.395,-394.243 539.232,-400.086 540.947,-393.3\"/>\n",
       "</g>\n",
       "<!-- 3630476723786427343&#45;&gt;&#45;7002250372566944897 -->\n",
       "<g id=\"edge18\" class=\"edge\"><title>3630476723786427343&#45;&gt;&#45;7002250372566944897</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M747.077,-431.697C747.077,-423.983 747.077,-414.712 747.077,-406.112\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"750.577,-406.104 747.077,-396.104 743.577,-406.104 750.577,-406.104\"/>\n",
       "</g>\n",
       "<!-- 3630476723786427343&#45;&gt;&#45;8662384413717122125 -->\n",
       "<g id=\"edge21\" class=\"edge\"><title>3630476723786427343&#45;&gt;&#45;8662384413717122125</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M804.898,-433.552C845.722,-422.645 900.505,-408.008 943.047,-396.642\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"943.996,-400.011 952.753,-394.048 942.189,-393.248 943.996,-400.011\"/>\n",
       "</g>\n",
       "<!-- 5002626600313064154 -->\n",
       "<g id=\"node32\" class=\"node\"><title>5002626600313064154</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"1421.08\" cy=\"-378\" rx=\"138.451\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"1421.08\" y=\"-373.8\" font-family=\"Times,serif\" font-size=\"14.00\">products&#45;service&#45;3656711515&#45;bq1j3</text>\n",
       "</g>\n",
       "<!-- 3630476723786427343&#45;&gt;5002626600313064154 -->\n",
       "<g id=\"edge32\" class=\"edge\"><title>3630476723786427343&#45;&gt;5002626600313064154</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M851.65,-438.139C974.862,-425.343 1178.89,-404.153 1306.35,-390.915\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"1306.95,-394.372 1316.54,-389.857 1306.23,-387.409 1306.95,-394.372\"/>\n",
       "</g>\n",
       "<!-- &#45;6207813972657068975 -->\n",
       "<g id=\"node31\" class=\"node\"><title>&#45;6207813972657068975</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"1237.08\" cy=\"-162\" rx=\"123.154\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"1237.08\" y=\"-157.8\" font-family=\"Times,serif\" font-size=\"14.00\">dao&#45;service&#45;1547218744&#45;xphqb</text>\n",
       "</g>\n",
       "<!-- &#45;6207813972657068975&#45;&gt;5791504278805509071 -->\n",
       "<g id=\"edge3\" class=\"edge\"><title>&#45;6207813972657068975&#45;&gt;5791504278805509071</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M1221.1,-144.055C1213.11,-135.583 1203.29,-125.168 1194.47,-115.815\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"1196.77,-113.15 1187.37,-108.275 1191.68,-117.952 1196.77,-113.15\"/>\n",
       "</g>\n",
       "<!-- &#45;6207813972657068975&#45;&gt;7514638880951706256 -->\n",
       "<g id=\"edge8\" class=\"edge\"><title>&#45;6207813972657068975&#45;&gt;7514638880951706256</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M1282.01,-145.116C1311.25,-134.779 1349.56,-121.232 1380.54,-110.279\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"1382.06,-113.454 1390.33,-106.821 1379.73,-106.855 1382.06,-113.454\"/>\n",
       "</g>\n",
       "<!-- &#45;6207813972657068975&#45;&gt;1516761477448708856 -->\n",
       "<g id=\"edge10\" class=\"edge\"><title>&#45;6207813972657068975&#45;&gt;1516761477448708856</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M1319.14,-148.566C1399.87,-136.334 1522.91,-117.692 1606.95,-104.959\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"1607.64,-108.394 1617,-103.436 1606.59,-101.473 1607.64,-108.394\"/>\n",
       "</g>\n",
       "<!-- 5002626600313064154&#45;&gt;6472423363338062742 -->\n",
       "<g id=\"edge1\" class=\"edge\"><title>5002626600313064154&#45;&gt;6472423363338062742</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M1452.36,-360.411C1470.39,-350.848 1493.26,-338.721 1512.65,-328.441\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"1514.37,-331.49 1521.56,-323.713 1511.09,-325.305 1514.37,-331.49\"/>\n",
       "</g>\n",
       "<!-- &#45;2152632466462919836&#45;&gt;&#45;6207813972657068975 -->\n",
       "<g id=\"edge31\" class=\"edge\"><title>&#45;2152632466462919836&#45;&gt;&#45;6207813972657068975</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M1137.89,-216.411C1155.77,-206.778 1178.5,-194.544 1197.68,-184.216\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"1199.34,-187.293 1206.49,-179.47 1196.03,-181.129 1199.34,-187.293\"/>\n",
       "</g>\n",
       "<!-- 0 -->\n",
       "<g id=\"node34\" class=\"node\"><title>0</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"469.077\" cy=\"-594\" rx=\"27\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"469.077\" y=\"-589.8\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
       "</g>\n",
       "<!-- 0&#45;&gt;627515971472463170 -->\n",
       "<g id=\"edge29\" class=\"edge\"><title>0&#45;&gt;627515971472463170</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M469.077,-575.697C469.077,-567.983 469.077,-558.712 469.077,-550.112\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"472.577,-550.104 469.077,-540.104 465.577,-550.104 472.577,-550.104\"/>\n",
       "</g>\n",
       "</g>\n",
       "</svg>\n"
      ],
      "text/plain": [
       "<graphviz.dot.Digraph at 0x103253f50>"
      ]
     },
     "execution_count": 16,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "list(buckets[key])[1].to_dot(get_label_2)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 18,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "[api_gateway_985328082_f2jc1,\n",
       " user_service_3951109029_43v9r,\n",
       " user_service_4169250386_h9flq,\n",
       " api_gateway_985328082_ph6p9,\n",
       " user_service_3951109029_6cptx,\n",
       " user_service_3951109029_vz4xn,\n",
       " api_gateway_985328082_m4rll]"
      ]
     },
     "execution_count": 18,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "formula = get_formula(buckets[key], get_label_2)\n",
    "cnf = CNFFormula(formula)\n",
    "s = ldfi_py.pilp.Solver(cnf)\n",
    "crs = s.solutions()\n",
    "crs.next()"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Seven faults again.  This indicates to me that while including the method call in the label gives us interesting additional information that could be used to inject faults at a fine grain, it is the instance identifiers that cause nodes to differ most across graphs."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "collapsed": true
   },
   "source": [
    "# truncate the instance id (service, truncated_instance_id)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 19,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/svg+xml": [
       "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
       "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
       " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
       "<!-- Generated by graphviz version 2.38.0 (20140413.2041)\n",
       " -->\n",
       "<!-- Title: %3 Pages: 1 -->\n",
       "<svg width=\"1617pt\" height=\"620pt\"\n",
       " viewBox=\"0.00 0.00 1617.41 620.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
       "<g id=\"graph0\" class=\"graph\" transform=\"scale(1 1) rotate(0) translate(4 616)\">\n",
       "<title>%3</title>\n",
       "<polygon fill=\"white\" stroke=\"none\" points=\"-4,4 -4,-616 1613.41,-616 1613.41,4 -4,4\"/>\n",
       "<!-- 6472423363338062742 -->\n",
       "<g id=\"node1\" class=\"node\"><title>6472423363338062742</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"1298.02\" cy=\"-306\" rx=\"115.273\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"1298.02\" y=\"-301.8\" font-family=\"Times,serif\" font-size=\"14.00\">products&#45;service&#45;3656711515</text>\n",
       "</g>\n",
       "<!-- 2290735060613038604 -->\n",
       "<g id=\"node2\" class=\"node\"><title>2290735060613038604</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"1245.02\" cy=\"-234\" rx=\"115.273\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"1245.02\" y=\"-229.8\" font-family=\"Times,serif\" font-size=\"14.00\">products&#45;service&#45;3656711515</text>\n",
       "</g>\n",
       "<!-- 6472423363338062742&#45;&gt;2290735060613038604 -->\n",
       "<g id=\"edge2\" class=\"edge\"><title>6472423363338062742&#45;&gt;2290735060613038604</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M1285.19,-288.055C1278.91,-279.753 1271.21,-269.584 1264.24,-260.378\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"1266.93,-258.135 1258.1,-252.275 1261.35,-262.361 1266.93,-258.135\"/>\n",
       "</g>\n",
       "<!-- &#45;26941206602388379 -->\n",
       "<g id=\"node5\" class=\"node\"><title>&#45;26941206602388379</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"1494.02\" cy=\"-234\" rx=\"115.273\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"1494.02\" y=\"-229.8\" font-family=\"Times,serif\" font-size=\"14.00\">products&#45;service&#45;3656711515</text>\n",
       "</g>\n",
       "<!-- 6472423363338062742&#45;&gt;&#45;26941206602388379 -->\n",
       "<g id=\"edge5\" class=\"edge\"><title>6472423363338062742&#45;&gt;&#45;26941206602388379</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M1342.01,-289.291C1371.14,-278.888 1409.52,-265.179 1440.43,-254.14\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"1441.94,-257.316 1450.18,-250.657 1439.59,-250.724 1441.94,-257.316\"/>\n",
       "</g>\n",
       "<!-- 5791504278805509071 -->\n",
       "<g id=\"node3\" class=\"node\"><title>5791504278805509071</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"962.023\" cy=\"-90\" rx=\"98.0466\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"962.023\" y=\"-85.8\" font-family=\"Times,serif\" font-size=\"14.00\">dao&#45;service&#45;1547218744</text>\n",
       "</g>\n",
       "<!-- 8653136032207610436 -->\n",
       "<g id=\"node4\" class=\"node\"><title>8653136032207610436</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"637.023\" cy=\"-162\" rx=\"99.631\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"637.023\" y=\"-157.8\" font-family=\"Times,serif\" font-size=\"14.00\">user&#45;service&#45;4169250386</text>\n",
       "</g>\n",
       "<!-- &#45;3283010887757641176 -->\n",
       "<g id=\"node22\" class=\"node\"><title>&#45;3283010887757641176</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"528.023\" cy=\"-90\" rx=\"99.631\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"528.023\" y=\"-85.8\" font-family=\"Times,serif\" font-size=\"14.00\">user&#45;service&#45;4169250386</text>\n",
       "</g>\n",
       "<!-- 8653136032207610436&#45;&gt;&#45;3283010887757641176 -->\n",
       "<g id=\"edge22\" class=\"edge\"><title>8653136032207610436&#45;&gt;&#45;3283010887757641176</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M611.468,-144.588C596.814,-135.178 578.228,-123.242 562.318,-113.024\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"564.102,-110.01 553.797,-107.552 560.32,-115.9 564.102,-110.01\"/>\n",
       "</g>\n",
       "<!-- 4582324516736686013 -->\n",
       "<g id=\"node27\" class=\"node\"><title>4582324516736686013</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"746.023\" cy=\"-90\" rx=\"99.631\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"746.023\" y=\"-85.8\" font-family=\"Times,serif\" font-size=\"14.00\">user&#45;service&#45;4169250386</text>\n",
       "</g>\n",
       "<!-- 8653136032207610436&#45;&gt;4582324516736686013 -->\n",
       "<g id=\"edge27\" class=\"edge\"><title>8653136032207610436&#45;&gt;4582324516736686013</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M662.579,-144.588C677.232,-135.178 695.819,-123.242 711.729,-113.024\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"713.727,-115.9 720.25,-107.552 709.944,-110.01 713.727,-115.9\"/>\n",
       "</g>\n",
       "<!-- 5755972086978651926 -->\n",
       "<g id=\"node6\" class=\"node\"><title>5755972086978651926</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"98.0233\" cy=\"-18\" rx=\"98.0466\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"98.0233\" y=\"-13.8\" font-family=\"Times,serif\" font-size=\"14.00\">dao&#45;service&#45;1547218744</text>\n",
       "</g>\n",
       "<!-- 8731828237295937589 -->\n",
       "<g id=\"node7\" class=\"node\"><title>8731828237295937589</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"287.023\" cy=\"-450\" rx=\"100.461\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"287.023\" y=\"-445.8\" font-family=\"Times,serif\" font-size=\"14.00\">api&#45;gateway&#45;4025834462</text>\n",
       "</g>\n",
       "<!-- &#45;1102906864830107834 -->\n",
       "<g id=\"node17\" class=\"node\"><title>&#45;1102906864830107834</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"170.023\" cy=\"-378\" rx=\"100.461\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"170.023\" y=\"-373.8\" font-family=\"Times,serif\" font-size=\"14.00\">api&#45;gateway&#45;4025834462</text>\n",
       "</g>\n",
       "<!-- 8731828237295937589&#45;&gt;&#45;1102906864830107834 -->\n",
       "<g id=\"edge17\" class=\"edge\"><title>8731828237295937589&#45;&gt;&#45;1102906864830107834</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M259.592,-432.588C243.717,-423.091 223.543,-411.02 206.362,-400.741\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"208.067,-397.682 197.688,-395.552 204.473,-403.689 208.067,-397.682\"/>\n",
       "</g>\n",
       "<!-- 7514638880951706256 -->\n",
       "<g id=\"node8\" class=\"node\"><title>7514638880951706256</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"1176.02\" cy=\"-90\" rx=\"98.0466\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"1176.02\" y=\"-85.8\" font-family=\"Times,serif\" font-size=\"14.00\">dao&#45;service&#45;1547218744</text>\n",
       "</g>\n",
       "<!-- &#45;335220369072267935 -->\n",
       "<g id=\"node9\" class=\"node\"><title>&#45;335220369072267935</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"170.023\" cy=\"-162\" rx=\"100.461\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"170.023\" y=\"-157.8\" font-family=\"Times,serif\" font-size=\"14.00\">api&#45;gateway&#45;4025834462</text>\n",
       "</g>\n",
       "<!-- 1516761477448708856 -->\n",
       "<g id=\"node10\" class=\"node\"><title>1516761477448708856</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"1390.02\" cy=\"-90\" rx=\"98.0466\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"1390.02\" y=\"-85.8\" font-family=\"Times,serif\" font-size=\"14.00\">dao&#45;service&#45;1547218744</text>\n",
       "</g>\n",
       "<!-- &#45;642482739040290114 -->\n",
       "<g id=\"node11\" class=\"node\"><title>&#45;642482739040290114</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"312.023\" cy=\"-18\" rx=\"98.0466\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"312.023\" y=\"-13.8\" font-family=\"Times,serif\" font-size=\"14.00\">dao&#45;service&#45;1547218744</text>\n",
       "</g>\n",
       "<!-- &#45;8909302600091657367 -->\n",
       "<g id=\"node12\" class=\"node\"><title>&#45;8909302600091657367</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"853.023\" cy=\"-306\" rx=\"98.0466\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"853.023\" y=\"-301.8\" font-family=\"Times,serif\" font-size=\"14.00\">dao&#45;service&#45;1547218744</text>\n",
       "</g>\n",
       "<!-- &#45;2152632466462919836 -->\n",
       "<g id=\"node33\" class=\"node\"><title>&#45;2152632466462919836</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"907.023\" cy=\"-234\" rx=\"98.0466\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"907.023\" y=\"-229.8\" font-family=\"Times,serif\" font-size=\"14.00\">dao&#45;service&#45;1547218744</text>\n",
       "</g>\n",
       "<!-- &#45;8909302600091657367&#45;&gt;&#45;2152632466462919836 -->\n",
       "<g id=\"edge33\" class=\"edge\"><title>&#45;8909302600091657367&#45;&gt;&#45;2152632466462919836</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M866.095,-288.055C872.5,-279.753 880.344,-269.584 887.446,-260.378\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"890.36,-262.331 893.697,-252.275 884.817,-258.055 890.36,-262.331\"/>\n",
       "</g>\n",
       "<!-- &#45;6635599906803764207 -->\n",
       "<g id=\"node13\" class=\"node\"><title>&#45;6635599906803764207</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"421.023\" cy=\"-306\" rx=\"98.0466\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"421.023\" y=\"-301.8\" font-family=\"Times,serif\" font-size=\"14.00\">dao&#45;service&#45;1547218744</text>\n",
       "</g>\n",
       "<!-- 9221983629553373437 -->\n",
       "<g id=\"node19\" class=\"node\"><title>9221983629553373437</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"421.023\" cy=\"-234\" rx=\"98.0466\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"421.023\" y=\"-229.8\" font-family=\"Times,serif\" font-size=\"14.00\">dao&#45;service&#45;1547218744</text>\n",
       "</g>\n",
       "<!-- &#45;6635599906803764207&#45;&gt;9221983629553373437 -->\n",
       "<g id=\"edge19\" class=\"edge\"><title>&#45;6635599906803764207&#45;&gt;9221983629553373437</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M421.023,-287.697C421.023,-279.983 421.023,-270.712 421.023,-262.112\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"424.523,-262.104 421.023,-252.104 417.523,-262.104 424.523,-262.104\"/>\n",
       "</g>\n",
       "<!-- &#45;3927793468238017476 -->\n",
       "<g id=\"node14\" class=\"node\"><title>&#45;3927793468238017476</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"1067.02\" cy=\"-306\" rx=\"98.0466\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"1067.02\" y=\"-301.8\" font-family=\"Times,serif\" font-size=\"14.00\">dao&#45;service&#45;1547218744</text>\n",
       "</g>\n",
       "<!-- &#45;5402447567077640135 -->\n",
       "<g id=\"node15\" class=\"node\"><title>&#45;5402447567077640135</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"170.023\" cy=\"-306\" rx=\"100.461\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"170.023\" y=\"-301.8\" font-family=\"Times,serif\" font-size=\"14.00\">api&#45;gateway&#45;4025834462</text>\n",
       "</g>\n",
       "<!-- &#45;3533677183143183231 -->\n",
       "<g id=\"node24\" class=\"node\"><title>&#45;3533677183143183231</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"170.023\" cy=\"-234\" rx=\"100.461\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"170.023\" y=\"-229.8\" font-family=\"Times,serif\" font-size=\"14.00\">api&#45;gateway&#45;4025834462</text>\n",
       "</g>\n",
       "<!-- &#45;5402447567077640135&#45;&gt;&#45;3533677183143183231 -->\n",
       "<g id=\"edge24\" class=\"edge\"><title>&#45;5402447567077640135&#45;&gt;&#45;3533677183143183231</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M170.023,-287.697C170.023,-279.983 170.023,-270.712 170.023,-262.112\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"173.523,-262.104 170.023,-252.104 166.523,-262.104 173.523,-262.104\"/>\n",
       "</g>\n",
       "<!-- 4800993618576515672 -->\n",
       "<g id=\"node16\" class=\"node\"><title>4800993618576515672</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"404.023\" cy=\"-378\" rx=\"115.273\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"404.023\" y=\"-373.8\" font-family=\"Times,serif\" font-size=\"14.00\">products&#45;service&#45;3656711515</text>\n",
       "</g>\n",
       "<!-- &#45;1102906864830107834&#45;&gt;&#45;5402447567077640135 -->\n",
       "<g id=\"edge15\" class=\"edge\"><title>&#45;1102906864830107834&#45;&gt;&#45;5402447567077640135</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M170.023,-359.697C170.023,-351.983 170.023,-342.712 170.023,-334.112\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"173.523,-334.104 170.023,-324.104 166.523,-334.104 173.523,-334.104\"/>\n",
       "</g>\n",
       "<!-- &#45;7002250372566944897 -->\n",
       "<g id=\"node18\" class=\"node\"><title>&#45;7002250372566944897</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"637.023\" cy=\"-378\" rx=\"99.631\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"637.023\" y=\"-373.8\" font-family=\"Times,serif\" font-size=\"14.00\">user&#45;service&#45;4169250386</text>\n",
       "</g>\n",
       "<!-- &#45;7002250372566944897&#45;&gt;&#45;6635599906803764207 -->\n",
       "<g id=\"edge13\" class=\"edge\"><title>&#45;7002250372566944897&#45;&gt;&#45;6635599906803764207</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M590.686,-361.983C557.373,-351.188 512.29,-336.577 476.97,-325.131\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"477.876,-321.745 467.284,-321.992 475.718,-328.404 477.876,-321.745\"/>\n",
       "</g>\n",
       "<!-- 4425236533902786915 -->\n",
       "<g id=\"node25\" class=\"node\"><title>4425236533902786915</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"637.023\" cy=\"-306\" rx=\"99.631\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"637.023\" y=\"-301.8\" font-family=\"Times,serif\" font-size=\"14.00\">user&#45;service&#45;4169250386</text>\n",
       "</g>\n",
       "<!-- &#45;7002250372566944897&#45;&gt;4425236533902786915 -->\n",
       "<g id=\"edge25\" class=\"edge\"><title>&#45;7002250372566944897&#45;&gt;4425236533902786915</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M637.023,-359.697C637.023,-351.983 637.023,-342.712 637.023,-334.112\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"640.523,-334.104 637.023,-324.104 633.523,-334.104 640.523,-334.104\"/>\n",
       "</g>\n",
       "<!-- &#45;1758352659047667921 -->\n",
       "<g id=\"node26\" class=\"node\"><title>&#45;1758352659047667921</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"421.023\" cy=\"-162\" rx=\"98.0466\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"421.023\" y=\"-157.8\" font-family=\"Times,serif\" font-size=\"14.00\">dao&#45;service&#45;1547218744</text>\n",
       "</g>\n",
       "<!-- 9221983629553373437&#45;&gt;&#45;1758352659047667921 -->\n",
       "<g id=\"edge26\" class=\"edge\"><title>9221983629553373437&#45;&gt;&#45;1758352659047667921</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M421.023,-215.697C421.023,-207.983 421.023,-198.712 421.023,-190.112\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"424.523,-190.104 421.023,-180.104 417.523,-190.104 424.523,-190.104\"/>\n",
       "</g>\n",
       "<!-- 442369632761597631 -->\n",
       "<g id=\"node20\" class=\"node\"><title>442369632761597631</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"526.023\" cy=\"-18\" rx=\"98.0466\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"526.023\" y=\"-13.8\" font-family=\"Times,serif\" font-size=\"14.00\">dao&#45;service&#45;1547218744</text>\n",
       "</g>\n",
       "<!-- &#45;8662384413717122125 -->\n",
       "<g id=\"node21\" class=\"node\"><title>&#45;8662384413717122125</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"853.023\" cy=\"-378\" rx=\"98.0466\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"853.023\" y=\"-373.8\" font-family=\"Times,serif\" font-size=\"14.00\">dao&#45;service&#45;1547218744</text>\n",
       "</g>\n",
       "<!-- &#45;8662384413717122125&#45;&gt;&#45;8909302600091657367 -->\n",
       "<g id=\"edge12\" class=\"edge\"><title>&#45;8662384413717122125&#45;&gt;&#45;8909302600091657367</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M853.023,-359.697C853.023,-351.983 853.023,-342.712 853.023,-334.112\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"856.523,-334.104 853.023,-324.104 849.523,-334.104 856.523,-334.104\"/>\n",
       "</g>\n",
       "<!-- &#45;8662384413717122125&#45;&gt;&#45;3927793468238017476 -->\n",
       "<g id=\"edge14\" class=\"edge\"><title>&#45;8662384413717122125&#45;&gt;&#45;3927793468238017476</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M898.669,-362.069C931.657,-351.279 976.396,-336.644 1011.46,-325.174\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"1012.66,-328.464 1021.08,-322.029 1010.49,-321.811 1012.66,-328.464\"/>\n",
       "</g>\n",
       "<!-- 7546712060921269585 -->\n",
       "<g id=\"node23\" class=\"node\"><title>7546712060921269585</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"312.023\" cy=\"-90\" rx=\"98.0466\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"312.023\" y=\"-85.8\" font-family=\"Times,serif\" font-size=\"14.00\">dao&#45;service&#45;1547218744</text>\n",
       "</g>\n",
       "<!-- 7546712060921269585&#45;&gt;5755972086978651926 -->\n",
       "<g id=\"edge6\" class=\"edge\"><title>7546712060921269585&#45;&gt;5755972086978651926</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M266.377,-74.0691C233.39,-63.2787 188.651,-48.6444 153.584,-37.174\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"154.56,-33.8109 143.968,-34.0285 152.384,-40.4641 154.56,-33.8109\"/>\n",
       "</g>\n",
       "<!-- 7546712060921269585&#45;&gt;&#45;642482739040290114 -->\n",
       "<g id=\"edge11\" class=\"edge\"><title>7546712060921269585&#45;&gt;&#45;642482739040290114</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M312.023,-71.6966C312.023,-63.9827 312.023,-54.7125 312.023,-46.1124\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"315.523,-46.1043 312.023,-36.1043 308.523,-46.1044 315.523,-46.1043\"/>\n",
       "</g>\n",
       "<!-- 7546712060921269585&#45;&gt;442369632761597631 -->\n",
       "<g id=\"edge20\" class=\"edge\"><title>7546712060921269585&#45;&gt;442369632761597631</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M357.669,-74.0691C390.657,-63.2787 435.396,-48.6444 470.463,-37.174\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"471.663,-40.4641 480.079,-34.0285 469.486,-33.8109 471.663,-40.4641\"/>\n",
       "</g>\n",
       "<!-- &#45;3533677183143183231&#45;&gt;&#45;335220369072267935 -->\n",
       "<g id=\"edge9\" class=\"edge\"><title>&#45;3533677183143183231&#45;&gt;&#45;335220369072267935</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M170.023,-215.697C170.023,-207.983 170.023,-198.712 170.023,-190.112\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"173.523,-190.104 170.023,-180.104 166.523,-190.104 173.523,-190.104\"/>\n",
       "</g>\n",
       "<!-- &#45;2081655323412839881 -->\n",
       "<g id=\"node28\" class=\"node\"><title>&#45;2081655323412839881</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"637.023\" cy=\"-234\" rx=\"99.631\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"637.023\" y=\"-229.8\" font-family=\"Times,serif\" font-size=\"14.00\">user&#45;service&#45;4169250386</text>\n",
       "</g>\n",
       "<!-- 4425236533902786915&#45;&gt;&#45;2081655323412839881 -->\n",
       "<g id=\"edge28\" class=\"edge\"><title>4425236533902786915&#45;&gt;&#45;2081655323412839881</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M637.023,-287.697C637.023,-279.983 637.023,-270.712 637.023,-262.112\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"640.523,-262.104 637.023,-252.104 633.523,-262.104 640.523,-262.104\"/>\n",
       "</g>\n",
       "<!-- &#45;1758352659047667921&#45;&gt;7546712060921269585 -->\n",
       "<g id=\"edge23\" class=\"edge\"><title>&#45;1758352659047667921&#45;&gt;7546712060921269585</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M395.468,-144.588C380.814,-135.178 362.228,-123.242 346.318,-113.024\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"348.102,-110.01 337.797,-107.552 344.32,-115.9 348.102,-110.01\"/>\n",
       "</g>\n",
       "<!-- &#45;2081655323412839881&#45;&gt;8653136032207610436 -->\n",
       "<g id=\"edge4\" class=\"edge\"><title>&#45;2081655323412839881&#45;&gt;8653136032207610436</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M637.023,-215.697C637.023,-207.983 637.023,-198.712 637.023,-190.112\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"640.523,-190.104 637.023,-180.104 633.523,-190.104 640.523,-190.104\"/>\n",
       "</g>\n",
       "<!-- 627515971472463170 -->\n",
       "<g id=\"node29\" class=\"node\"><title>627515971472463170</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"404.023\" cy=\"-522\" rx=\"100.461\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"404.023\" y=\"-517.8\" font-family=\"Times,serif\" font-size=\"14.00\">api&#45;gateway&#45;4025834462</text>\n",
       "</g>\n",
       "<!-- 627515971472463170&#45;&gt;8731828237295937589 -->\n",
       "<g id=\"edge7\" class=\"edge\"><title>627515971472463170&#45;&gt;8731828237295937589</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M376.592,-504.588C360.717,-495.091 340.543,-483.02 323.362,-472.741\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"325.067,-469.682 314.688,-467.552 321.473,-475.689 325.067,-469.682\"/>\n",
       "</g>\n",
       "<!-- 3630476723786427343 -->\n",
       "<g id=\"node30\" class=\"node\"><title>3630476723786427343</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"637.023\" cy=\"-450\" rx=\"115.273\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"637.023\" y=\"-445.8\" font-family=\"Times,serif\" font-size=\"14.00\">products&#45;service&#45;3656711515</text>\n",
       "</g>\n",
       "<!-- 627515971472463170&#45;&gt;3630476723786427343 -->\n",
       "<g id=\"edge30\" class=\"edge\"><title>627515971472463170&#45;&gt;3630476723786427343</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M453.152,-506.24C489.063,-495.452 537.986,-480.754 576.34,-469.231\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"577.782,-472.452 586.352,-466.223 575.768,-465.748 577.782,-472.452\"/>\n",
       "</g>\n",
       "<!-- 3630476723786427343&#45;&gt;4800993618576515672 -->\n",
       "<g id=\"edge16\" class=\"edge\"><title>3630476723786427343&#45;&gt;4800993618576515672</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M586.466,-433.811C550.713,-423.07 502.605,-408.617 464.766,-397.249\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"465.468,-393.805 454.884,-394.28 463.454,-400.509 465.468,-393.805\"/>\n",
       "</g>\n",
       "<!-- 3630476723786427343&#45;&gt;&#45;7002250372566944897 -->\n",
       "<g id=\"edge18\" class=\"edge\"><title>3630476723786427343&#45;&gt;&#45;7002250372566944897</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M637.023,-431.697C637.023,-423.983 637.023,-414.712 637.023,-406.112\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"640.523,-406.104 637.023,-396.104 633.523,-406.104 640.523,-406.104\"/>\n",
       "</g>\n",
       "<!-- 3630476723786427343&#45;&gt;&#45;8662384413717122125 -->\n",
       "<g id=\"edge21\" class=\"edge\"><title>3630476723786427343&#45;&gt;&#45;8662384413717122125</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M684.693,-433.552C717.966,-422.769 762.488,-408.34 797.387,-397.03\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"798.524,-400.341 806.958,-393.929 796.366,-393.682 798.524,-400.341\"/>\n",
       "</g>\n",
       "<!-- 5002626600313064154 -->\n",
       "<g id=\"node32\" class=\"node\"><title>5002626600313064154</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"1191.02\" cy=\"-378\" rx=\"115.273\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"1191.02\" y=\"-373.8\" font-family=\"Times,serif\" font-size=\"14.00\">products&#45;service&#45;3656711515</text>\n",
       "</g>\n",
       "<!-- 3630476723786427343&#45;&gt;5002626600313064154 -->\n",
       "<g id=\"edge32\" class=\"edge\"><title>3630476723786427343&#45;&gt;5002626600313064154</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M723.586,-438.062C824.116,-425.36 989.51,-404.462 1094.22,-391.232\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"1094.67,-394.702 1104.16,-389.976 1093.8,-387.757 1094.67,-394.702\"/>\n",
       "</g>\n",
       "<!-- &#45;6207813972657068975 -->\n",
       "<g id=\"node31\" class=\"node\"><title>&#45;6207813972657068975</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"1069.02\" cy=\"-162\" rx=\"98.0466\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"1069.02\" y=\"-157.8\" font-family=\"Times,serif\" font-size=\"14.00\">dao&#45;service&#45;1547218744</text>\n",
       "</g>\n",
       "<!-- &#45;6207813972657068975&#45;&gt;5791504278805509071 -->\n",
       "<g id=\"edge3\" class=\"edge\"><title>&#45;6207813972657068975&#45;&gt;5791504278805509071</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M1043.94,-144.588C1029.69,-135.265 1011.64,-123.462 996.123,-113.308\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"997.608,-110.097 987.324,-107.552 993.776,-115.955 997.608,-110.097\"/>\n",
       "</g>\n",
       "<!-- &#45;6207813972657068975&#45;&gt;7514638880951706256 -->\n",
       "<g id=\"edge8\" class=\"edge\"><title>&#45;6207813972657068975&#45;&gt;7514638880951706256</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M1094.11,-144.588C1108.36,-135.265 1126.4,-123.462 1141.92,-113.308\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"1144.27,-115.955 1150.72,-107.552 1140.44,-110.097 1144.27,-115.955\"/>\n",
       "</g>\n",
       "<!-- &#45;6207813972657068975&#45;&gt;1516761477448708856 -->\n",
       "<g id=\"edge10\" class=\"edge\"><title>&#45;6207813972657068975&#45;&gt;1516761477448708856</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M1129.78,-147.751C1183.79,-135.973 1262.77,-118.75 1319.54,-106.37\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"1320.49,-109.745 1329.52,-104.195 1319,-102.906 1320.49,-109.745\"/>\n",
       "</g>\n",
       "<!-- 5002626600313064154&#45;&gt;6472423363338062742 -->\n",
       "<g id=\"edge1\" class=\"edge\"><title>5002626600313064154&#45;&gt;6472423363338062742</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M1216.38,-360.411C1230.54,-351.151 1248.37,-339.487 1263.75,-329.423\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"1266.02,-332.116 1272.48,-323.713 1262.19,-326.258 1266.02,-332.116\"/>\n",
       "</g>\n",
       "<!-- &#45;2152632466462919836&#45;&gt;&#45;6207813972657068975 -->\n",
       "<g id=\"edge31\" class=\"edge\"><title>&#45;2152632466462919836&#45;&gt;&#45;6207813972657068975</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M943.784,-217.116C967.293,-206.958 997.973,-193.701 1023.08,-182.85\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"1024.62,-186.001 1032.41,-178.821 1021.84,-179.575 1024.62,-186.001\"/>\n",
       "</g>\n",
       "<!-- 0 -->\n",
       "<g id=\"node34\" class=\"node\"><title>0</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"404.023\" cy=\"-594\" rx=\"27\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"404.023\" y=\"-589.8\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
       "</g>\n",
       "<!-- 0&#45;&gt;627515971472463170 -->\n",
       "<g id=\"edge29\" class=\"edge\"><title>0&#45;&gt;627515971472463170</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M404.023,-575.697C404.023,-567.983 404.023,-558.712 404.023,-550.112\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"407.523,-550.104 404.023,-540.104 400.523,-550.104 407.523,-550.104\"/>\n",
       "</g>\n",
       "</g>\n",
       "</svg>\n"
      ],
      "text/plain": [
       "<graphviz.dot.Digraph at 0x103253c10>"
      ]
     },
     "execution_count": 19,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "list(buckets[key])[1].to_dot(get_label_3)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 20,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "[user_service_4169250386, user_service_3951109029, api_gateway_985328082]"
      ]
     },
     "execution_count": 20,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "formula = get_formula(buckets[key], get_label_3)\n",
    "cnf = CNFFormula(formula)\n",
    "s = ldfi_py.pilp.Solver(cnf)\n",
    "crs = s.solutions()\n",
    "crs.next()"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "collapsed": true
   },
   "source": [
    "Now we are down to a more reasonable set of three concurrent faults to inject."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": []
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "Python 2",
   "language": "python",
   "name": "python2"
  },
  "language_info": {
   "codemirror_mode": {
    "name": "ipython",
    "version": 2
   },
   "file_extension": ".py",
   "mimetype": "text/x-python",
   "name": "python",
   "nbconvert_exporter": "python",
   "pygments_lexer": "ipython2",
   "version": "2.7.13"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 2
}