Skip to content

Instantly share code, notes, and snippets.

@kurubushi--rm

kurubushi--rm/エチカの命題関係をグラフ化.ipynb

Created May 21, 2017 04:38
Show Gist options
  • Save kurubushi--rm/04e2535dfbd6794639803048418cabe8 to your computer and use it in GitHub Desktop.
Save kurubushi--rm/04e2535dfbd6794639803048418cabe8 to your computer and use it in GitHub Desktop.
Download ZIP
Display the source blob
Display the rendered blob
Raw
エチカの命題関係をグラフ化.ipynb
{
"cells": [
{
"cell_type": "code",
"execution_count": 1,
"metadata": {
"collapsed": true
},
"outputs": [],
"source": [
"from graphviz import Digraph\n",
"dot = Digraph(comment='Ethica_1')"
]
},
{
"cell_type": "code",
"execution_count": 2,
"metadata": {
"collapsed": false
},
"outputs": [],
"source": [
"import requests\n",
"from bs4 import BeautifulSoup\n",
"url = 'https://en.wikisource.org/wiki/Ethics_(Spinoza)/Part_1'\n",
"r = requests.get(url)\n",
"soup = BeautifulSoup(r.text.encode(r.encoding),'lxml')"
]
},
{
"cell_type": "code",
"execution_count": 3,
"metadata": {
"collapsed": false
},
"outputs": [],
"source": [
"import re\n",
"#命題だけを抜き出し\n",
"all_props = soup.find_all(id=re.compile(\"prop_\"))"
]
},
{
"cell_type": "code",
"execution_count": 4,
"metadata": {
"collapsed": false
},
"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.40.1 (20161225.0304)\n",
" -->\n",
"<!-- Title: %3 Pages: 1 -->\n",
"<svg width=\"2240pt\" height=\"836pt\"\n",
" viewBox=\"0.00 0.00 2239.89 836.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 832)\">\n",
"<title>%3</title>\n",
"<polygon fill=\"#ffffff\" stroke=\"transparent\" points=\"-4,4 -4,-832 2235.8927,-832 2235.8927,4 -4,4\"/>\n",
"<!-- def_3 -->\n",
"<g id=\"node1\" class=\"node\">\n",
"<title>def_3</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"601.9464\" cy=\"-810\" rx=\"31.3957\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"601.9464\" y=\"-806.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">def_3</text>\n",
"</g>\n",
"<!-- prop_1 -->\n",
"<g id=\"node2\" class=\"node\">\n",
"<title>prop_1</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"904.9464\" cy=\"-594\" rx=\"36.2938\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"904.9464\" y=\"-590.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">prop_1</text>\n",
"</g>\n",
"<!-- def_3&#45;&gt;prop_1 -->\n",
"<g id=\"edge1\" class=\"edge\">\n",
"<title>def_3&#45;&gt;prop_1</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M628.1266,-800.1001C652.1516,-790.4696 688.2584,-774.5963 716.9464,-756 781.8166,-713.9494 848.1084,-651.2615 881.9611,-617.5232\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"884.4926,-619.9412 889.0706,-610.3865 879.5334,-615.0009 884.4926,-619.9412\"/>\n",
"</g>\n",
"<!-- prop_2 -->\n",
"<g id=\"node4\" class=\"node\">\n",
"<title>prop_2</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"257.9464\" cy=\"-738\" rx=\"36.2938\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"257.9464\" y=\"-734.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">prop_2</text>\n",
"</g>\n",
"<!-- def_3&#45;&gt;prop_2 -->\n",
"<g id=\"edge3\" class=\"edge\">\n",
"<title>def_3&#45;&gt;prop_2</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M572.6171,-803.8613C512.0661,-791.1878 372.9491,-762.0703 301.7185,-747.1616\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"302.2241,-743.6917 291.7191,-745.0687 300.79,-750.5432 302.2241,-743.6917\"/>\n",
"</g>\n",
"<!-- prop_4 -->\n",
"<g id=\"node9\" class=\"node\">\n",
"<title>prop_4</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"813.9464\" cy=\"-594\" rx=\"36.2938\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"813.9464\" y=\"-590.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">prop_4</text>\n",
"</g>\n",
"<!-- def_3&#45;&gt;prop_4 -->\n",
"<g id=\"edge7\" class=\"edge\">\n",
"<title>def_3&#45;&gt;prop_4</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M623.1112,-796.7195C655.4323,-775.7006 717.7737,-732.1799 759.9464,-684 776.7842,-664.7638 791.3851,-639.581 801.1437,-620.747\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"804.2765,-622.3077 805.6627,-611.8039 798.0288,-619.1507 804.2765,-622.3077\"/>\n",
"</g>\n",
"<!-- prop_5 -->\n",
"<g id=\"node10\" class=\"node\">\n",
"<title>prop_5</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"813.9464\" cy=\"-522\" rx=\"36.2938\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"813.9464\" y=\"-518.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">prop_5</text>\n",
"</g>\n",
"<!-- def_3&#45;&gt;prop_5 -->\n",
"<g id=\"edge12\" class=\"edge\">\n",
"<title>def_3&#45;&gt;prop_5</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M590.0847,-793.085C562.342,-751.2659 499.4821,-641.6582 552.9464,-576 566.5048,-559.3493 697.6206,-538.4546 768.6879,-528.2245\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"769.3108,-531.6712 778.7164,-526.7943 768.3224,-524.7413 769.3108,-531.6712\"/>\n",
"</g>\n",
"<!-- prop_6c -->\n",
"<g id=\"node13\" class=\"node\">\n",
"<title>prop_6c</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"601.9464\" cy=\"-594\" rx=\"40.0939\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"601.9464\" y=\"-590.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">prop_6c</text>\n",
"</g>\n",
"<!-- def_3&#45;&gt;prop_6c -->\n",
"<g id=\"edge18\" class=\"edge\">\n",
"<title>def_3&#45;&gt;prop_6c</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M598.0005,-791.9555C594.542,-754.3144 594.2827,-667.1867 597.2225,-622.1246\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"600.7128,-622.3844 597.9912,-612.1451 593.7334,-621.8467 600.7128,-622.3844\"/>\n",
"</g>\n",
"<!-- def_3&#45;&gt;prop_6c -->\n",
"<g id=\"edge22\" class=\"edge\">\n",
"<title>def_3&#45;&gt;prop_6c</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M605.8923,-791.9555C609.3507,-754.3144 609.61,-667.1867 606.6702,-622.1246\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"610.1593,-621.8467 605.9015,-612.1451 603.18,-622.3844 610.1593,-621.8467\"/>\n",
"</g>\n",
"<!-- prop_10 -->\n",
"<g id=\"node20\" class=\"node\">\n",
"<title>prop_10</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"40.9464\" cy=\"-450\" rx=\"40.8928\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"40.9464\" y=\"-446.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">prop_10</text>\n",
"</g>\n",
"<!-- def_3&#45;&gt;prop_10 -->\n",
"<g id=\"edge32\" class=\"edge\">\n",
"<title>def_3&#45;&gt;prop_10</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M570.4334,-809.7017C476.2529,-808.3119 198.6824,-800.451 121.9464,-756 79.0248,-731.1368 55.9464,-715.6029 55.9464,-666 55.9464,-666 55.9464,-666 55.9464,-594 55.9464,-553.6589 50.0506,-507.3012 45.6516,-478.327\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"49.0587,-477.4608 44.0544,-468.1223 42.1429,-478.5433 49.0587,-477.4608\"/>\n",
"</g>\n",
"<!-- prop_15 -->\n",
"<g id=\"node28\" class=\"node\">\n",
"<title>prop_15</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"1462.9464\" cy=\"-306\" rx=\"40.8928\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"1462.9464\" y=\"-302.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">prop_15</text>\n",
"</g>\n",
"<!-- def_3&#45;&gt;prop_15 -->\n",
"<g id=\"edge52\" class=\"edge\">\n",
"<title>def_3&#45;&gt;prop_15</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M632.5955,-805.4018C781.7327,-782.7301 1426.6138,-681.1657 1481.9464,-612 1547.9545,-529.4899 1500.1652,-390.9394 1475.3749,-332.8772\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1478.5458,-331.3926 1471.3299,-323.6349 1472.1331,-334.1992 1478.5458,-331.3926\"/>\n",
"</g>\n",
"<!-- prop_1&#45;&gt;prop_5 -->\n",
"<g id=\"edge11\" class=\"edge\">\n",
"<title>prop_1&#45;&gt;prop_5</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M885.6476,-578.7307C872.8254,-568.5856 855.7921,-555.1087 841.5448,-543.8361\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"843.545,-540.9556 833.531,-537.4956 839.2016,-546.4452 843.545,-540.9556\"/>\n",
"</g>\n",
"<!-- def_5 -->\n",
"<g id=\"node3\" class=\"node\">\n",
"<title>def_5</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"968.9464\" cy=\"-666\" rx=\"31.3957\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"968.9464\" y=\"-662.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">def_5</text>\n",
"</g>\n",
"<!-- def_5&#45;&gt;prop_1 -->\n",
"<g id=\"edge2\" class=\"edge\">\n",
"<title>def_5&#45;&gt;prop_1</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M954.4238,-649.6621C946.1949,-640.4046 935.7417,-628.6447 926.5657,-618.3217\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"929.1152,-615.9217 919.8556,-610.7729 923.8834,-620.5723 929.1152,-615.9217\"/>\n",
"</g>\n",
"<!-- def_5&#45;&gt;prop_4 -->\n",
"<g id=\"edge8\" class=\"edge\">\n",
"<title>def_5&#45;&gt;prop_4</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M944.3862,-654.5914C919.0007,-642.7994 879.0993,-624.2646 850.1085,-610.7979\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"851.2756,-607.4809 840.7318,-606.4423 848.3266,-613.8294 851.2756,-607.4809\"/>\n",
"</g>\n",
"<!-- def_5&#45;&gt;prop_6c -->\n",
"<g id=\"edge19\" class=\"edge\">\n",
"<title>def_5&#45;&gt;prop_6c</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M937.9597,-662.5687C880.7743,-655.8303 755.071,-639.118 651.9464,-612 648.7342,-611.1553 645.4367,-610.1923 642.1414,-609.1608\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"642.943,-605.7392 632.3495,-605.9113 640.7381,-612.3829 642.943,-605.7392\"/>\n",
"</g>\n",
"<!-- def_5&#45;&gt;prop_15 -->\n",
"<g id=\"edge53\" class=\"edge\">\n",
"<title>def_5&#45;&gt;prop_15</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1000.1221,-664.1371C1094.806,-658.2073 1374.4315,-638.5865 1404.9464,-612 1436.1591,-584.8055 1428.9464,-563.3978 1428.9464,-522 1428.9464,-522 1428.9464,-522 1428.9464,-450 1428.9464,-408.5911 1442.4281,-362.2334 1452.4127,-333.579\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1455.8153,-334.4595 1455.9015,-323.865 1449.2273,-332.0933 1455.8153,-334.4595\"/>\n",
"</g>\n",
"<!-- prop_23 -->\n",
"<g id=\"node41\" class=\"node\">\n",
"<title>prop_23</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"522.9464\" cy=\"-234\" rx=\"40.8928\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"522.9464\" y=\"-230.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">prop_23</text>\n",
"</g>\n",
"<!-- def_5&#45;&gt;prop_23 -->\n",
"<g id=\"edge79\" class=\"edge\">\n",
"<title>def_5&#45;&gt;prop_23</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M968.6741,-647.7573C967.6109,-628.5632 963.6572,-598.1265 949.9464,-576 922.7815,-532.1614 903.9386,-529.2082 858.9464,-504 818.4657,-481.3195 800.6871,-491.9532 760.9464,-468 740.462,-455.6533 742.186,-442.9966 720.9464,-432 656.6033,-398.6871 617.668,-442.3128 561.9464,-396 522.8665,-363.519 519.0552,-299.3382 520.5119,-262.2538\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"524.0147,-262.2973 521.0685,-252.1204 517.0253,-261.9134 524.0147,-262.2973\"/>\n",
"</g>\n",
"<!-- prop_25c -->\n",
"<g id=\"node48\" class=\"node\">\n",
"<title>prop_25c</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"1902.9464\" cy=\"-234\" rx=\"44.6926\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"1902.9464\" y=\"-230.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">prop_25c</text>\n",
"</g>\n",
"<!-- def_5&#45;&gt;prop_25c -->\n",
"<g id=\"edge90\" class=\"edge\">\n",
"<title>def_5&#45;&gt;prop_25c</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1000.1096,-664.5944C1090.7017,-660.1591 1352.5236,-644.7696 1430.9464,-612 1633.4017,-527.4023 1819.8881,-328.9857 1881.5349,-258.9867\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1884.4801,-260.9355 1888.4266,-251.1031 1879.2099,-256.3284 1884.4801,-260.9355\"/>\n",
"</g>\n",
"<!-- prop_31 -->\n",
"<g id=\"node58\" class=\"node\">\n",
"<title>prop_31</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"2190.9464\" cy=\"-234\" rx=\"40.8928\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"2190.9464\" y=\"-230.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">prop_31</text>\n",
"</g>\n",
"<!-- def_5&#45;&gt;prop_31 -->\n",
"<g id=\"edge110\" class=\"edge\">\n",
"<title>def_5&#45;&gt;prop_31</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1000.2935,-665.115C1175.5265,-659.7639 2025.9464,-628.3176 2025.9464,-522 2025.9464,-522 2025.9464,-522 2025.9464,-378 2025.9464,-312.5923 2100.4571,-270.0646 2149.3365,-249.2032\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"2150.8341,-252.3715 2158.741,-245.3194 2148.1622,-245.9015 2150.8341,-252.3715\"/>\n",
"</g>\n",
"<!-- prop_6 -->\n",
"<g id=\"node12\" class=\"node\">\n",
"<title>prop_6</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"166.9464\" cy=\"-666\" rx=\"36.2938\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"166.9464\" y=\"-662.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">prop_6</text>\n",
"</g>\n",
"<!-- prop_2&#45;&gt;prop_6 -->\n",
"<g id=\"edge15\" class=\"edge\">\n",
"<title>prop_2&#45;&gt;prop_6</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M238.6476,-722.7307C225.8254,-712.5856 208.7921,-699.1087 194.5448,-687.8361\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"196.545,-684.9556 186.531,-681.4956 192.2016,-690.4452 196.545,-684.9556\"/>\n",
"</g>\n",
"<!-- prop_12 -->\n",
"<g id=\"node22\" class=\"node\">\n",
"<title>prop_12</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"189.9464\" cy=\"-378\" rx=\"40.8928\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"189.9464\" y=\"-374.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">prop_12</text>\n",
"</g>\n",
"<!-- prop_2&#45;&gt;prop_12 -->\n",
"<g id=\"edge38\" class=\"edge\">\n",
"<title>prop_2&#45;&gt;prop_12</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M256.3614,-719.9428C252.704,-680.4691 242.6826,-583.6519 225.9464,-504 218.7511,-469.7558 207.2066,-431.1771 199.1365,-405.8339\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"202.4172,-404.6032 196.0191,-396.1583 195.7545,-406.7499 202.4172,-404.6032\"/>\n",
"</g>\n",
"<!-- ax_5 -->\n",
"<g id=\"node5\" class=\"node\">\n",
"<title>ax_5</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"166.9464\" cy=\"-810\" rx=\"28.6953\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"166.9464\" y=\"-806.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">ax_5</text>\n",
"</g>\n",
"<!-- prop_3 -->\n",
"<g id=\"node6\" class=\"node\">\n",
"<title>prop_3</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"166.9464\" cy=\"-738\" rx=\"36.2938\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"166.9464\" y=\"-734.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">prop_3</text>\n",
"</g>\n",
"<!-- ax_5&#45;&gt;prop_3 -->\n",
"<g id=\"edge4\" class=\"edge\">\n",
"<title>ax_5&#45;&gt;prop_3</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M166.9464,-791.8314C166.9464,-784.131 166.9464,-774.9743 166.9464,-766.4166\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"170.4465,-766.4132 166.9464,-756.4133 163.4465,-766.4133 170.4465,-766.4132\"/>\n",
"</g>\n",
"<!-- prop_3&#45;&gt;prop_6 -->\n",
"<g id=\"edge16\" class=\"edge\">\n",
"<title>prop_3&#45;&gt;prop_6</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M166.9464,-719.8314C166.9464,-712.131 166.9464,-702.9743 166.9464,-694.4166\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"170.4465,-694.4132 166.9464,-684.4133 163.4465,-694.4133 170.4465,-694.4132\"/>\n",
"</g>\n",
"<!-- ax_4 -->\n",
"<g id=\"node7\" class=\"node\">\n",
"<title>ax_4</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"830.9464\" cy=\"-810\" rx=\"28.6953\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"830.9464\" y=\"-806.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">ax_4</text>\n",
"</g>\n",
"<!-- ax_4&#45;&gt;prop_3 -->\n",
"<g id=\"edge5\" class=\"edge\">\n",
"<title>ax_4&#45;&gt;prop_3</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M802.4583,-807.1863C765.4706,-803.5563 698.9056,-797.1021 641.9464,-792 451.3726,-774.9295 399.3162,-799.3138 212.9464,-756 209.9523,-755.3042 206.8949,-754.4503 203.8505,-753.4963\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"204.8596,-750.1419 194.2649,-750.1791 202.5704,-756.757 204.8596,-750.1419\"/>\n",
"</g>\n",
"<!-- ax_4&#45;&gt;prop_4 -->\n",
"<g id=\"edge9\" class=\"edge\">\n",
"<title>ax_4&#45;&gt;prop_4</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M829.5262,-791.9555C826.5637,-754.3144 819.7064,-667.1867 816.1599,-622.1246\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"819.6484,-621.8396 815.3745,-612.1451 812.6699,-622.3889 819.6484,-621.8396\"/>\n",
"</g>\n",
"<!-- ax_4&#45;&gt;prop_6c -->\n",
"<g id=\"edge21\" class=\"edge\">\n",
"<title>ax_4&#45;&gt;prop_6c</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M812.6737,-795.5549C784.2424,-772.8136 728.0955,-726.8315 683.9464,-684 662.2726,-662.9731 639.2528,-637.3869 623.1387,-618.878\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"625.6548,-616.4368 616.4654,-611.1637 620.3608,-621.0165 625.6548,-616.4368\"/>\n",
"</g>\n",
"<!-- prop_25 -->\n",
"<g id=\"node46\" class=\"node\">\n",
"<title>prop_25</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"1270.9464\" cy=\"-234\" rx=\"40.8928\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"1270.9464\" y=\"-230.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">prop_25</text>\n",
"</g>\n",
"<!-- ax_4&#45;&gt;prop_25 -->\n",
"<g id=\"edge86\" class=\"edge\">\n",
"<title>ax_4&#45;&gt;prop_25</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M859.4572,-807.8775C1000.7295,-796.9889 1618.9464,-744.8359 1618.9464,-666 1618.9464,-666 1618.9464,-666 1618.9464,-522 1618.9464,-385.4716 1480.756,-419.6472 1357.9464,-360 1315.832,-339.5456 1285.8062,-362.3478 1258.9464,-324 1246.1627,-305.7488 1251.1559,-280.212 1258.1915,-261.0004\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1261.487,-262.1864 1261.9735,-251.6027 1254.9931,-259.5729 1261.487,-262.1864\"/>\n",
"</g>\n",
"<!-- ax_1 -->\n",
"<g id=\"node8\" class=\"node\">\n",
"<title>ax_1</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"721.9464\" cy=\"-666\" rx=\"28.6953\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"721.9464\" y=\"-662.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">ax_1</text>\n",
"</g>\n",
"<!-- ax_1&#45;&gt;prop_4 -->\n",
"<g id=\"edge6\" class=\"edge\">\n",
"<title>ax_1&#45;&gt;prop_4</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M740.1226,-651.7751C753.2895,-641.4706 771.3281,-627.3534 786.2781,-615.6534\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"788.4974,-618.3611 794.2154,-609.4417 784.1832,-612.8485 788.4974,-618.3611\"/>\n",
"</g>\n",
"<!-- ax_1&#45;&gt;prop_6c -->\n",
"<g id=\"edge17\" class=\"edge\">\n",
"<title>ax_1&#45;&gt;prop_6c</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M701.044,-653.4586C682.8295,-642.5299 656.1006,-626.4925 634.9912,-613.8269\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"636.7053,-610.7737 626.3296,-608.6299 633.1038,-616.7762 636.7053,-610.7737\"/>\n",
"</g>\n",
"<!-- prop_14c2 -->\n",
"<g id=\"node27\" class=\"node\">\n",
"<title>prop_14c2</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"709.9464\" cy=\"-594\" rx=\"49.2915\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"709.9464\" y=\"-590.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">prop_14c2</text>\n",
"</g>\n",
"<!-- ax_1&#45;&gt;prop_14c2 -->\n",
"<g id=\"edge50\" class=\"edge\">\n",
"<title>ax_1&#45;&gt;prop_14c2</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M718.9183,-647.8314C717.6349,-640.131 716.1088,-630.9743 714.6825,-622.4166\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"718.1117,-621.7018 713.0152,-612.4133 711.2069,-622.8526 718.1117,-621.7018\"/>\n",
"</g>\n",
"<!-- ax_1&#45;&gt;prop_15 -->\n",
"<g id=\"edge54\" class=\"edge\">\n",
"<title>ax_1&#45;&gt;prop_15</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M750.404,-663.4876C790.3041,-659.9737 865.1459,-653.4139 928.9464,-648 977.2713,-643.8993 1326.2643,-642.5316 1363.9464,-612 1396.3937,-585.7098 1390.9464,-563.7612 1390.9464,-522 1390.9464,-522 1390.9464,-522 1390.9464,-450 1390.9464,-404.1519 1420.5065,-357.9377 1441.7456,-330.6498\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1444.5057,-332.8024 1448.0279,-322.8101 1439.0432,-328.4249 1444.5057,-332.8024\"/>\n",
"</g>\n",
"<!-- prop_4&#45;&gt;prop_5 -->\n",
"<g id=\"edge10\" class=\"edge\">\n",
"<title>prop_4&#45;&gt;prop_5</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M808.0306,-576.2022C807.2409,-568.3271 807.0118,-558.875 807.3435,-550.0852\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"810.8533,-550.0532 808.0262,-539.8425 803.8688,-549.5876 810.8533,-550.0532\"/>\n",
"</g>\n",
"<!-- prop_4&#45;&gt;prop_5 -->\n",
"<g id=\"edge14\" class=\"edge\">\n",
"<title>prop_4&#45;&gt;prop_5</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M819.8621,-576.2022C820.6519,-568.3271 820.8809,-558.875 820.5492,-550.0852\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"824.0239,-549.5876 819.8666,-539.8425 817.0394,-550.0532 824.0239,-549.5876\"/>\n",
"</g>\n",
"<!-- prop_8 -->\n",
"<g id=\"node15\" class=\"node\">\n",
"<title>prop_8</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"421.9464\" cy=\"-450\" rx=\"36.2938\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"421.9464\" y=\"-446.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">prop_8</text>\n",
"</g>\n",
"<!-- prop_5&#45;&gt;prop_8 -->\n",
"<g id=\"edge27\" class=\"edge\">\n",
"<title>prop_5&#45;&gt;prop_8</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M778.0467,-518.9989C714.6004,-513.1223 578.8738,-497.9733 467.9464,-468 464.9789,-467.1982 461.9406,-466.268 458.9096,-465.2612\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"459.9428,-461.9137 449.3482,-461.8474 457.5891,-468.5062 459.9428,-461.9137\"/>\n",
"</g>\n",
"<!-- prop_5&#45;&gt;prop_12 -->\n",
"<g id=\"edge36\" class=\"edge\">\n",
"<title>prop_5&#45;&gt;prop_12</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M790.0171,-508.1725C772.4377,-497.7297 748.1917,-482.7257 727.9464,-468 707.7898,-453.3389 707.8758,-441.7713 684.9464,-432 605.8819,-398.307 351.0193,-384.3764 241.1414,-379.8351\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"241.1045,-376.3309 230.9714,-379.4246 240.8221,-383.3252 241.1045,-376.3309\"/>\n",
"</g>\n",
"<!-- prop_13 -->\n",
"<g id=\"node23\" class=\"node\">\n",
"<title>prop_13</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"1037.9464\" cy=\"-378\" rx=\"40.8928\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"1037.9464\" y=\"-374.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">prop_13</text>\n",
"</g>\n",
"<!-- prop_5&#45;&gt;prop_13 -->\n",
"<g id=\"edge42\" class=\"edge\">\n",
"<title>prop_5&#45;&gt;prop_13</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M850.515,-519.72C914.1352,-514.9079 1040.9941,-501.2846 1067.9464,-468 1083.0465,-449.3521 1071.244,-422.781 1058.2685,-403.3442\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1060.9628,-401.0934 1052.3167,-394.9699 1055.257,-405.1486 1060.9628,-401.0934\"/>\n",
"</g>\n",
"<!-- prop_14 -->\n",
"<g id=\"node24\" class=\"node\">\n",
"<title>prop_14</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"1283.9464\" cy=\"-378\" rx=\"40.8928\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"1283.9464\" y=\"-374.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">prop_14</text>\n",
"</g>\n",
"<!-- prop_5&#45;&gt;prop_14 -->\n",
"<g id=\"edge47\" class=\"edge\">\n",
"<title>prop_5&#45;&gt;prop_14</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M849.3811,-517.6253C901.9321,-510.5454 1003.2236,-494.6174 1085.9464,-468 1145.0949,-448.968 1210.0129,-417.2169 1248.8442,-396.9619\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1250.9143,-399.8277 1258.1352,-392.0747 1247.6555,-393.6325 1250.9143,-399.8277\"/>\n",
"</g>\n",
"<!-- def_6 -->\n",
"<g id=\"node11\" class=\"node\">\n",
"<title>def_6</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"1323.9464\" cy=\"-594\" rx=\"31.3957\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"1323.9464\" y=\"-590.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">def_6</text>\n",
"</g>\n",
"<!-- def_6&#45;&gt;prop_5 -->\n",
"<g id=\"edge13\" class=\"edge\">\n",
"<title>def_6&#45;&gt;prop_5</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1293.1208,-590.8516C1223.2707,-583.5436 1047.6743,-564.1933 901.9464,-540 887.3392,-537.575 871.4614,-534.4725 857.2651,-531.5288\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"857.7737,-528.0593 847.2673,-529.4254 856.3325,-534.9093 857.7737,-528.0593\"/>\n",
"</g>\n",
"<!-- def_6&#45;&gt;prop_14 -->\n",
"<g id=\"edge45\" class=\"edge\">\n",
"<title>def_6&#45;&gt;prop_14</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1320.6048,-575.9555C1313.6342,-538.3144 1297.4995,-451.1867 1289.1546,-406.1246\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1292.569,-405.3405 1287.3066,-396.1451 1285.686,-406.6152 1292.569,-405.3405\"/>\n",
"</g>\n",
"<!-- prop_14c1 -->\n",
"<g id=\"node25\" class=\"node\">\n",
"<title>prop_14c1</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"1045.9464\" cy=\"-306\" rx=\"49.2915\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"1045.9464\" y=\"-302.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">prop_14c1</text>\n",
"</g>\n",
"<!-- def_6&#45;&gt;prop_14c1 -->\n",
"<g id=\"edge48\" class=\"edge\">\n",
"<title>def_6&#45;&gt;prop_14c1</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1331.8232,-576.4452C1349.6926,-533.6524 1387.7436,-422.8727 1333.9464,-360 1300.3125,-320.6922 1154.3399,-335.6979 1103.9464,-324 1100.1272,-323.1134 1096.1936,-322.1046 1092.2596,-321.0278\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1093.1219,-317.634 1082.5445,-318.2418 1091.1922,-324.3628 1093.1219,-317.634\"/>\n",
"</g>\n",
"<!-- prop_16 -->\n",
"<g id=\"node30\" class=\"node\">\n",
"<title>prop_16</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"1716.9464\" cy=\"-306\" rx=\"40.8928\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"1716.9464\" y=\"-302.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">prop_16</text>\n",
"</g>\n",
"<!-- def_6&#45;&gt;prop_16 -->\n",
"<g id=\"edge58\" class=\"edge\">\n",
"<title>def_6&#45;&gt;prop_16</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1337.9441,-577.8476C1365.2373,-546.9729 1428.388,-478.5192 1490.9464,-432 1552.6621,-386.1074 1632.9098,-345.2441 1679.2997,-323.2088\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1680.8335,-326.3552 1688.3883,-318.9271 1677.8503,-320.0227 1680.8335,-326.3552\"/>\n",
"</g>\n",
"<!-- prop_19 -->\n",
"<g id=\"node36\" class=\"node\">\n",
"<title>prop_19</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"653.9464\" cy=\"-378\" rx=\"40.8928\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"653.9464\" y=\"-374.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">prop_19</text>\n",
"</g>\n",
"<!-- def_6&#45;&gt;prop_19 -->\n",
"<g id=\"edge67\" class=\"edge\">\n",
"<title>def_6&#45;&gt;prop_19</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1294.995,-586.546C1229.5089,-569.2731 1065.5423,-523.7002 934.9464,-468 903.8523,-454.7381 899.6477,-443.7363 867.9464,-432 797.9639,-406.0915 775.6475,-416.6817 703.9464,-396 700.8438,-395.1051 697.655,-394.1184 694.4615,-393.0818\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"695.5429,-389.7528 684.9486,-389.864 693.2998,-396.3838 695.5429,-389.7528\"/>\n",
"</g>\n",
"<!-- def_6&#45;&gt;prop_31 -->\n",
"<g id=\"edge112\" class=\"edge\">\n",
"<title>def_6&#45;&gt;prop_31</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1347.5637,-582.1873C1434.4438,-539.0163 1745.1138,-387.142 2011.9464,-288 2056.7245,-271.3626 2109.1733,-256.0085 2145.6762,-245.9603\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"2146.8042,-249.2805 2155.5294,-243.2703 2144.9606,-242.5277 2146.8042,-249.2805\"/>\n",
"</g>\n",
"<!-- prop_6&#45;&gt;prop_6c -->\n",
"<g id=\"edge20\" class=\"edge\">\n",
"<title>prop_6&#45;&gt;prop_6c</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M201.8089,-660.2296C279.2842,-647.4062 465.8716,-616.5227 554.1371,-601.9133\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"554.8519,-605.3427 564.1461,-600.2566 553.7088,-598.4366 554.8519,-605.3427\"/>\n",
"</g>\n",
"<!-- prop_6&#45;&gt;prop_12 -->\n",
"<g id=\"edge35\" class=\"edge\">\n",
"<title>prop_6&#45;&gt;prop_12</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M155.7674,-648.4332C143.3718,-618.6268 128.0794,-556.2873 136.9464,-504 143.0265,-468.1461 158.1897,-428.8953 171.0872,-403.8892\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"174.1967,-405.4974 175.8957,-395.0396 168.046,-402.1553 174.1967,-405.4974\"/>\n",
"</g>\n",
"<!-- prop_6&#45;&gt;prop_12 -->\n",
"<g id=\"edge37\" class=\"edge\">\n",
"<title>prop_6&#45;&gt;prop_12</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M166.6645,-647.9522C161.2089,-617.9604 146.1268,-556.0077 154.9464,-504 160.8708,-469.0643 175.419,-430.9036 184.2547,-405.8382\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"187.6041,-406.861 187.544,-396.2663 180.9841,-404.586 187.6041,-406.861\"/>\n",
"</g>\n",
"<!-- prop_7 -->\n",
"<g id=\"node14\" class=\"node\">\n",
"<title>prop_7</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"601.9464\" cy=\"-522\" rx=\"36.2938\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"601.9464\" y=\"-518.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">prop_7</text>\n",
"</g>\n",
"<!-- prop_6c&#45;&gt;prop_7 -->\n",
"<g id=\"edge23\" class=\"edge\">\n",
"<title>prop_6c&#45;&gt;prop_7</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M601.9464,-575.8314C601.9464,-568.131 601.9464,-558.9743 601.9464,-550.4166\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"605.4465,-550.4132 601.9464,-540.4133 598.4465,-550.4133 605.4465,-550.4132\"/>\n",
"</g>\n",
"<!-- prop_15n -->\n",
"<g id=\"node29\" class=\"node\">\n",
"<title>prop_15n</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"297.9464\" cy=\"-306\" rx=\"45.4919\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"297.9464\" y=\"-302.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">prop_15n</text>\n",
"</g>\n",
"<!-- prop_6c&#45;&gt;prop_15n -->\n",
"<g id=\"edge55\" class=\"edge\">\n",
"<title>prop_6c&#45;&gt;prop_15n</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M562.0952,-590.6456C498.8058,-584.4952 379.4414,-569.2725 349.9464,-540 294.1999,-484.6743 292.3864,-383.7472 295.2829,-334.5232\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"298.7927,-334.504 295.9996,-324.284 291.8098,-334.0152 298.7927,-334.504\"/>\n",
"</g>\n",
"<!-- prop_7&#45;&gt;prop_8 -->\n",
"<g id=\"edge24\" class=\"edge\">\n",
"<title>prop_7&#45;&gt;prop_8</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M571.6657,-511.8369C540.1489,-500.0884 491.0733,-480.5806 457.6965,-466.6168\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"458.8776,-463.3164 448.3033,-462.6564 456.158,-469.7665 458.8776,-463.3164\"/>\n",
"</g>\n",
"<!-- prop_7&#45;&gt;prop_8 -->\n",
"<g id=\"edge26\" class=\"edge\">\n",
"<title>prop_7&#45;&gt;prop_8</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M575.4718,-509.2936C545.4868,-496.5436 496.5862,-476.9621 461.968,-463.8284\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"462.7577,-460.386 452.1657,-460.1402 460.2926,-466.9376 462.7577,-460.386\"/>\n",
"</g>\n",
"<!-- prop_8n1 -->\n",
"<g id=\"node17\" class=\"node\">\n",
"<title>prop_8n1</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"630.9464\" cy=\"-450\" rx=\"45.4919\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"630.9464\" y=\"-446.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">prop_8n1</text>\n",
"</g>\n",
"<!-- prop_7&#45;&gt;prop_8n1 -->\n",
"<g id=\"edge28\" class=\"edge\">\n",
"<title>prop_7&#45;&gt;prop_8n1</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M609.1149,-504.2022C612.3914,-496.0675 616.3456,-486.2501 619.9835,-477.2181\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"623.2702,-478.4261 623.7598,-467.8425 616.7771,-475.8107 623.2702,-478.4261\"/>\n",
"</g>\n",
"<!-- prop_8n2 -->\n",
"<g id=\"node18\" class=\"node\">\n",
"<title>prop_8n2</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"521.9464\" cy=\"-450\" rx=\"45.4919\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"521.9464\" y=\"-446.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">prop_8n2</text>\n",
"</g>\n",
"<!-- prop_7&#45;&gt;prop_8n2 -->\n",
"<g id=\"edge29\" class=\"edge\">\n",
"<title>prop_7&#45;&gt;prop_8n2</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M580.2085,-507.4297C568.5395,-498.0147 554.3652,-485.5252 542.8382,-474.5984\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"544.9625,-471.7833 535.3443,-467.3403 540.0925,-476.8116 544.9625,-471.7833\"/>\n",
"</g>\n",
"<!-- prop_7&#45;&gt;prop_8n2 -->\n",
"<g id=\"edge30\" class=\"edge\">\n",
"<title>prop_7&#45;&gt;prop_8n2</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M588.8274,-504.937C579.0224,-495.1808 565.4521,-482.8307 553.034,-472.3123\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"555.0187,-469.4108 545.091,-465.7103 550.5442,-474.794 555.0187,-469.4108\"/>\n",
"</g>\n",
"<!-- prop_11 -->\n",
"<g id=\"node21\" class=\"node\">\n",
"<title>prop_11</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"984.9464\" cy=\"-450\" rx=\"40.8928\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"984.9464\" y=\"-446.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">prop_11</text>\n",
"</g>\n",
"<!-- prop_7&#45;&gt;prop_11 -->\n",
"<g id=\"edge33\" class=\"edge\">\n",
"<title>prop_7&#45;&gt;prop_11</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M636.3351,-515.6781C690.6512,-505.6744 799.6207,-485.5303 891.9464,-468 906.7803,-465.1834 922.9362,-462.0719 937.5578,-459.2392\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"938.2498,-462.6703 947.4002,-457.3298 936.9166,-455.7984 938.2498,-462.6703\"/>\n",
"</g>\n",
"<!-- prop_7&#45;&gt;prop_12 -->\n",
"<g id=\"edge41\" class=\"edge\">\n",
"<title>prop_7&#45;&gt;prop_12</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M567.3626,-516.074C522.6143,-507.8715 442.6066,-491.3783 376.9464,-468 321.562,-448.2804 260.8087,-417.135 224.0316,-397.1406\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"225.6677,-394.0462 215.2159,-392.3113 222.3046,-400.1854 225.6677,-394.0462\"/>\n",
"</g>\n",
"<!-- prop_7&#45;&gt;prop_13 -->\n",
"<g id=\"edge43\" class=\"edge\">\n",
"<title>prop_7&#45;&gt;prop_13</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M637.8474,-518.1469C740.4818,-507.0513 1028.2338,-475.3512 1034.9464,-468 1049.8693,-451.6574 1049.2059,-425.8694 1045.6305,-406.0789\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1049.0063,-405.1273 1043.4941,-396.0793 1042.1607,-406.5899 1049.0063,-405.1273\"/>\n",
"</g>\n",
"<!-- prop_7&#45;&gt;prop_19 -->\n",
"<g id=\"edge69\" class=\"edge\">\n",
"<title>prop_7&#45;&gt;prop_19</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M638.0046,-518.7005C696.5672,-512.8548 807.7113,-498.3217 831.9464,-468 841.9359,-455.5016 841.7172,-444.6701 831.9464,-432 793.5006,-382.1465 755.067,-414.6805 694.9464,-396 693.6826,-395.6073 692.4035,-395.2022 691.1163,-394.7871\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"691.805,-391.3261 681.211,-391.4556 689.5735,-397.9609 691.805,-391.3261\"/>\n",
"</g>\n",
"<!-- prop_7&#45;&gt;prop_19 -->\n",
"<g id=\"edge72\" class=\"edge\">\n",
"<title>prop_7&#45;&gt;prop_19</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M638.2457,-519.6644C700.8533,-514.5494 824.2505,-500.1493 849.9464,-468 859.9359,-455.5016 859.7172,-444.6701 849.9464,-432 811.5006,-382.1465 773.067,-414.6805 712.9464,-396 708.1144,-394.4986 703.058,-392.8144 698.0065,-391.0946\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"698.9535,-387.7192 688.3588,-387.7822 696.6803,-394.3399 698.9535,-387.7192\"/>\n",
"</g>\n",
"<!-- prop_8&#45;&gt;prop_12 -->\n",
"<g id=\"edge34\" class=\"edge\">\n",
"<title>prop_8&#45;&gt;prop_12</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M390.6578,-440.2898C350.0973,-427.702 279.1544,-405.6852 233.3888,-391.4821\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"234.3313,-388.11 223.7432,-388.4887 232.2564,-394.7955 234.3313,-388.11\"/>\n",
"</g>\n",
"<!-- def_2 -->\n",
"<g id=\"node16\" class=\"node\">\n",
"<title>def_2</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"389.9464\" cy=\"-522\" rx=\"31.3957\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"389.9464\" y=\"-518.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">def_2</text>\n",
"</g>\n",
"<!-- def_2&#45;&gt;prop_8 -->\n",
"<g id=\"edge25\" class=\"edge\">\n",
"<title>def_2&#45;&gt;prop_8</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M397.8565,-504.2022C401.4991,-496.0064 405.9009,-486.1024 409.9399,-477.0145\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"413.2641,-478.1527 414.1272,-467.593 406.8675,-475.3096 413.2641,-478.1527\"/>\n",
"</g>\n",
"<!-- prop_21 -->\n",
"<g id=\"node40\" class=\"node\">\n",
"<title>prop_21</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"753.9464\" cy=\"-378\" rx=\"40.8928\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"753.9464\" y=\"-374.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">prop_21</text>\n",
"</g>\n",
"<!-- def_2&#45;&gt;prop_21 -->\n",
"<g id=\"edge77\" class=\"edge\">\n",
"<title>def_2&#45;&gt;prop_21</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M380.294,-504.7667C370.5109,-484.7288 359.1427,-451.8713 376.9464,-432 425.7296,-377.5514 632.726,-412.4958 703.9464,-396 707.182,-395.2506 710.4965,-394.356 713.8035,-393.3718\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"715.1736,-396.6075 723.6162,-390.2065 713.0246,-389.9455 715.1736,-396.6075\"/>\n",
"</g>\n",
"<!-- prop_8n2&#45;&gt;prop_15n -->\n",
"<g id=\"edge56\" class=\"edge\">\n",
"<title>prop_8n2&#45;&gt;prop_15n</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M497.9744,-434.5895C457.6612,-408.6738 376.2438,-356.3341 330.6935,-327.0517\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"332.389,-323.9809 322.0845,-321.5174 328.6036,-329.8691 332.389,-323.9809\"/>\n",
"</g>\n",
"<!-- def_4 -->\n",
"<g id=\"node19\" class=\"node\">\n",
"<title>def_4</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"185.9464\" cy=\"-522\" rx=\"31.3957\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"185.9464\" y=\"-518.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">def_4</text>\n",
"</g>\n",
"<!-- def_4&#45;&gt;prop_10 -->\n",
"<g id=\"edge31\" class=\"edge\">\n",
"<title>def_4&#45;&gt;prop_10</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M162.0026,-510.1107C138.9053,-498.6417 103.6396,-481.1304 77.119,-467.9616\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"78.6505,-464.8144 68.1373,-463.5017 75.5373,-471.084 78.6505,-464.8144\"/>\n",
"</g>\n",
"<!-- def_4&#45;&gt;prop_12 -->\n",
"<g id=\"edge39\" class=\"edge\">\n",
"<title>def_4&#45;&gt;prop_12</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M186.453,-503.7623C187.1352,-479.201 188.3562,-435.2474 189.1588,-406.3541\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"192.6648,-406.183 189.4439,-396.0896 185.6675,-405.9885 192.6648,-406.183\"/>\n",
"</g>\n",
"<!-- def_4&#45;&gt;prop_19 -->\n",
"<g id=\"edge71\" class=\"edge\">\n",
"<title>def_4&#45;&gt;prop_19</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M207.2701,-508.6857C239.8202,-488.9586 304.4085,-452.1351 363.9464,-432 445.4091,-404.4501 544.7749,-389.8086 603.5086,-382.9947\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"604.0918,-386.4512 613.6358,-381.8509 603.3062,-379.4954 604.0918,-386.4512\"/>\n",
"</g>\n",
"<!-- prop_10&#45;&gt;prop_12 -->\n",
"<g id=\"edge40\" class=\"edge\">\n",
"<title>prop_10&#45;&gt;prop_12</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M68.6229,-436.6261C92.3835,-425.1445 126.8303,-408.4991 152.9532,-395.8759\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"154.6845,-398.9265 162.1656,-391.4243 151.6389,-392.6238 154.6845,-398.9265\"/>\n",
"</g>\n",
"<!-- prop_11&#45;&gt;prop_13 -->\n",
"<g id=\"edge44\" class=\"edge\">\n",
"<title>prop_11&#45;&gt;prop_13</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M997.7762,-432.5708C1004.2212,-423.8153 1012.1517,-413.0418 1019.2589,-403.3867\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1022.1252,-405.3969 1025.2347,-395.2687 1016.4878,-401.2472 1022.1252,-405.3969\"/>\n",
"</g>\n",
"<!-- prop_11&#45;&gt;prop_14 -->\n",
"<g id=\"edge46\" class=\"edge\">\n",
"<title>prop_11&#45;&gt;prop_14</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1022.8485,-442.816C1071.068,-433.4016 1156.7581,-415.7491 1228.9464,-396 1233.0892,-394.8666 1237.3822,-393.6098 1241.6596,-392.3024\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1243.0462,-395.5353 1251.534,-389.1942 1240.9445,-388.8582 1243.0462,-395.5353\"/>\n",
"</g>\n",
"<!-- prop_17c2 -->\n",
"<g id=\"node32\" class=\"node\">\n",
"<title>prop_17c2</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"840.9464\" cy=\"-234\" rx=\"49.2915\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"840.9464\" y=\"-230.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">prop_17c2</text>\n",
"</g>\n",
"<!-- prop_11&#45;&gt;prop_17c2 -->\n",
"<g id=\"edge61\" class=\"edge\">\n",
"<title>prop_11&#45;&gt;prop_17c2</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M978.6233,-432.0355C971.6685,-413.3387 959.5222,-383.5549 944.9464,-360 921.3779,-321.9127 887.3145,-282.8713 864.671,-258.5445\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"867.1487,-256.0702 857.7483,-251.1832 862.0493,-260.8657 867.1487,-256.0702\"/>\n",
"</g>\n",
"<!-- prop_11&#45;&gt;prop_19 -->\n",
"<g id=\"edge68\" class=\"edge\">\n",
"<title>prop_11&#45;&gt;prop_19</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M952.9098,-438.5712C945.438,-436.1698 937.4661,-433.8173 929.9464,-432 831.0817,-408.1072 802.4508,-421.3371 703.9464,-396 700.7744,-395.1841 697.5207,-394.2484 694.2689,-393.2417\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"695.1958,-389.8621 684.6028,-390.0579 693.0058,-396.5107 695.1958,-389.8621\"/>\n",
"</g>\n",
"<!-- prop_19n -->\n",
"<g id=\"node38\" class=\"node\">\n",
"<title>prop_19n</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"857.9464\" cy=\"-378\" rx=\"45.4919\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"857.9464\" y=\"-374.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">prop_19n</text>\n",
"</g>\n",
"<!-- prop_11&#45;&gt;prop_19n -->\n",
"<g id=\"edge73\" class=\"edge\">\n",
"<title>prop_11&#45;&gt;prop_19n</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M959.8553,-435.7751C940.753,-424.9455 914.2229,-409.9048 893.0204,-397.8845\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"894.7224,-394.8261 884.297,-392.9389 891.2701,-400.9156 894.7224,-394.8261\"/>\n",
"</g>\n",
"<!-- prop_11&#45;&gt;prop_21 -->\n",
"<g id=\"edge76\" class=\"edge\">\n",
"<title>prop_11&#45;&gt;prop_21</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M949.3357,-440.9142C939.9992,-437.9956 930.0723,-434.7959 920.9464,-432 865.2603,-414.9393 850.3768,-413.8738 794.9464,-396 793.7116,-395.6018 792.4616,-395.1931 791.2032,-394.7762\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"792.1025,-391.3847 781.5079,-391.4582 789.8359,-398.0076 792.1025,-391.3847\"/>\n",
"</g>\n",
"<!-- prop_11&#45;&gt;prop_21 -->\n",
"<g id=\"edge78\" class=\"edge\">\n",
"<title>prop_11&#45;&gt;prop_21</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M955.7388,-437.3208C950.1858,-435.5004 944.4219,-433.6776 938.9464,-432 883.2603,-414.9393 868.3768,-413.8738 812.9464,-396 808.1842,-394.4644 803.1957,-392.7716 798.2049,-391.0571\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"799.2583,-387.7181 788.6635,-387.7689 796.9775,-394.3362 799.2583,-387.7181\"/>\n",
"</g>\n",
"<!-- prop_29 -->\n",
"<g id=\"node54\" class=\"node\">\n",
"<title>prop_29</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"1378.9464\" cy=\"-90\" rx=\"40.8928\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"1378.9464\" y=\"-86.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">prop_29</text>\n",
"</g>\n",
"<!-- prop_11&#45;&gt;prop_29 -->\n",
"<g id=\"edge99\" class=\"edge\">\n",
"<title>prop_11&#45;&gt;prop_29</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1022.9401,-442.7197C1080.5691,-431.3191 1184.6142,-409.1957 1195.9464,-396 1269.2731,-310.6147 1151.039,-232.2066 1220.9464,-144 1235.002,-126.2651 1290.6803,-110.0773 1331.9845,-100.1459\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1332.9436,-103.5159 1341.8768,-97.8195 1331.3411,-96.7018 1332.9436,-103.5159\"/>\n",
"</g>\n",
"<!-- prop_33 -->\n",
"<g id=\"node61\" class=\"node\">\n",
"<title>prop_33</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"1113.9464\" cy=\"-18\" rx=\"40.8928\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"1113.9464\" y=\"-14.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">prop_33</text>\n",
"</g>\n",
"<!-- prop_11&#45;&gt;prop_33 -->\n",
"<g id=\"edge119\" class=\"edge\">\n",
"<title>prop_11&#45;&gt;prop_33</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M972.4078,-432.5933C958.5437,-413.8348 935.0951,-383.5113 911.9464,-360 859.4858,-306.7177 814.5847,-319.7505 782.9464,-252 776.1764,-237.5028 780.2852,-231.7771 782.9464,-216 788.5804,-182.5977 785.489,-169.3599 807.9464,-144 856.1765,-89.5363 887.6995,-99.7543 954.9464,-72 993.288,-56.1755 1038.125,-41.2606 1070.3936,-31.1323\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1071.4756,-34.4613 1079.9833,-28.1471 1069.3949,-27.7776 1071.4756,-34.4613\"/>\n",
"</g>\n",
"<!-- prop_34 -->\n",
"<g id=\"node62\" class=\"node\">\n",
"<title>prop_34</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"1760.9464\" cy=\"-234\" rx=\"40.8928\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"1760.9464\" y=\"-230.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">prop_34</text>\n",
"</g>\n",
"<!-- prop_11&#45;&gt;prop_34 -->\n",
"<g id=\"edge121\" class=\"edge\">\n",
"<title>prop_11&#45;&gt;prop_34</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1025.3507,-446.7732C1091.0169,-440.8591 1224.5687,-426.0324 1333.9464,-396 1416.6361,-373.2955 1440.772,-370.3027 1512.9464,-324 1532.5276,-311.4378 1530.4177,-298.9457 1550.9464,-288 1615.2639,-253.7065 1640.9657,-272.3838 1710.9464,-252 1714.0466,-251.097 1717.2337,-250.1044 1720.426,-249.0637\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1721.5906,-252.3646 1729.9367,-245.8383 1719.3424,-245.7354 1721.5906,-252.3646\"/>\n",
"</g>\n",
"<!-- prop_14&#45;&gt;prop_15 -->\n",
"<g id=\"edge51\" class=\"edge\">\n",
"<title>prop_14&#45;&gt;prop_15</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1314.3113,-365.7862C1344.3607,-353.6993 1390.5078,-335.1373 1423.4051,-321.9049\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1424.7603,-325.1324 1432.7317,-318.1534 1422.148,-318.638 1424.7603,-325.1324\"/>\n",
"</g>\n",
"<!-- prop_14&#45;&gt;prop_15n -->\n",
"<g id=\"edge57\" class=\"edge\">\n",
"<title>prop_14&#45;&gt;prop_15n</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1247.7655,-369.2648C1231.9504,-365.7937 1213.1246,-362.1271 1195.9464,-360 840.0848,-315.9351 745.9931,-366.543 389.9464,-324 376.1674,-322.3536 361.3611,-319.8071 347.7404,-317.1427\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"348.087,-313.6422 337.5923,-315.0952 346.7025,-320.5039 348.087,-313.6422\"/>\n",
"</g>\n",
"<!-- prop_18 -->\n",
"<g id=\"node34\" class=\"node\">\n",
"<title>prop_18</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"1370.9464\" cy=\"-234\" rx=\"40.8928\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"1370.9464\" y=\"-230.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">prop_18</text>\n",
"</g>\n",
"<!-- prop_14&#45;&gt;prop_18 -->\n",
"<g id=\"edge66\" class=\"edge\">\n",
"<title>prop_14&#45;&gt;prop_18</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1317.4931,-367.6568C1338.0395,-359.39 1362.6747,-345.5517 1374.9464,-324 1385.6553,-305.1927 1383.6186,-280.4219 1379.4862,-261.6293\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1382.8688,-260.7288 1377.0424,-251.8799 1376.0789,-262.4308 1382.8688,-260.7288\"/>\n",
"</g>\n",
"<!-- prop_14c1&#45;&gt;prop_17c2 -->\n",
"<g id=\"edge62\" class=\"edge\">\n",
"<title>prop_14c1&#45;&gt;prop_17c2</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1010.2381,-293.4586C975.8036,-281.3645 923.5558,-263.014 886.2179,-249.9003\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"887.1836,-246.5299 876.5888,-246.5183 884.8639,-253.1344 887.1836,-246.5299\"/>\n",
"</g>\n",
"<!-- prop_24c -->\n",
"<g id=\"node45\" class=\"node\">\n",
"<title>prop_24c</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"1028.9464\" cy=\"-234\" rx=\"44.6926\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"1028.9464\" y=\"-230.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">prop_24c</text>\n",
"</g>\n",
"<!-- prop_14c1&#45;&gt;prop_24c -->\n",
"<g id=\"edge85\" class=\"edge\">\n",
"<title>prop_14c1&#45;&gt;prop_24c</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1041.6565,-287.8314C1039.8384,-280.131 1037.6764,-270.9743 1035.6558,-262.4166\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1038.9983,-261.3414 1033.2939,-252.4133 1032.1856,-262.95 1038.9983,-261.3414\"/>\n",
"</g>\n",
"<!-- prop_29n -->\n",
"<g id=\"node55\" class=\"node\">\n",
"<title>prop_29n</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"861.9464\" cy=\"-162\" rx=\"45.4919\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"861.9464\" y=\"-158.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">prop_29n</text>\n",
"</g>\n",
"<!-- prop_14c1&#45;&gt;prop_29n -->\n",
"<g id=\"edge105\" class=\"edge\">\n",
"<title>prop_14c1&#45;&gt;prop_29n</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1012.732,-292.5208C991.3539,-282.9667 963.6176,-268.8725 941.9464,-252 918.0936,-233.429 895.6628,-207.1227 880.658,-187.7448\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"883.3405,-185.49 874.504,-179.6448 877.7667,-189.7247 883.3405,-185.49\"/>\n",
"</g>\n",
"<!-- prop_30 -->\n",
"<g id=\"node57\" class=\"node\">\n",
"<title>prop_30</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"1132.9464\" cy=\"-234\" rx=\"40.8928\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"1132.9464\" y=\"-230.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">prop_30</text>\n",
"</g>\n",
"<!-- prop_14c1&#45;&gt;prop_30 -->\n",
"<g id=\"edge108\" class=\"edge\">\n",
"<title>prop_14c1&#45;&gt;prop_30</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1066.1246,-289.3008C1077.8188,-279.6228 1092.7057,-267.3026 1105.4587,-256.7484\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1108.0036,-259.1855 1113.476,-250.1134 1103.5406,-253.7927 1108.0036,-259.1855\"/>\n",
"</g>\n",
"<!-- prop_14c1&#45;&gt;prop_33 -->\n",
"<g id=\"edge120\" class=\"edge\">\n",
"<title>prop_14c1&#45;&gt;prop_33</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1015.9536,-291.6754C1000.6745,-282.6245 983.5453,-269.3434 974.9464,-252 956.9451,-215.6927 912.6912,-166.9927 978.9464,-72 998.213,-44.3767 1034.0651,-30.8789 1063.9821,-24.286\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1064.7507,-27.7016 1073.8678,-22.3044 1063.3749,-20.8381 1064.7507,-27.7016\"/>\n",
"</g>\n",
"<!-- prop_10n -->\n",
"<g id=\"node26\" class=\"node\">\n",
"<title>prop_10n</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"1141.9464\" cy=\"-378\" rx=\"45.4919\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"1141.9464\" y=\"-374.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">prop_10n</text>\n",
"</g>\n",
"<!-- prop_10n&#45;&gt;prop_14c1 -->\n",
"<g id=\"edge49\" class=\"edge\">\n",
"<title>prop_10n&#45;&gt;prop_14c1</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1120.6409,-362.0209C1107.5268,-352.1853 1090.5147,-339.4263 1076.0392,-328.5696\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1077.9579,-325.6337 1067.8579,-322.4336 1073.7579,-331.2337 1077.9579,-325.6337\"/>\n",
"</g>\n",
"<!-- prop_17 -->\n",
"<g id=\"node31\" class=\"node\">\n",
"<title>prop_17</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"1546.9464\" cy=\"-234\" rx=\"40.8928\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"1546.9464\" y=\"-230.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">prop_17</text>\n",
"</g>\n",
"<!-- prop_15&#45;&gt;prop_17 -->\n",
"<g id=\"edge60\" class=\"edge\">\n",
"<title>prop_15&#45;&gt;prop_17</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1482.0073,-289.6621C1493.3636,-279.9281 1507.9476,-267.4275 1520.4168,-256.7397\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1522.9354,-259.1906 1528.2503,-250.0252 1518.3799,-253.8758 1522.9354,-259.1906\"/>\n",
"</g>\n",
"<!-- prop_15&#45;&gt;prop_18 -->\n",
"<g id=\"edge64\" class=\"edge\">\n",
"<title>prop_15&#45;&gt;prop_18</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1442.5286,-290.0209C1429.7839,-280.0468 1413.1977,-267.0663 1399.2006,-256.112\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1401.3392,-253.3413 1391.3071,-249.9345 1397.0251,-258.8539 1401.3392,-253.3413\"/>\n",
"</g>\n",
"<!-- prop_15&#45;&gt;prop_23 -->\n",
"<g id=\"edge80\" class=\"edge\">\n",
"<title>prop_15&#45;&gt;prop_23</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1426.7485,-297.3978C1410.9304,-293.9503 1392.1069,-290.2653 1374.9464,-288 1113.6164,-253.5023 1045.9881,-269.1029 782.9464,-252 710.1394,-247.2661 625.8966,-241.3543 573.5107,-237.6266\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"573.6946,-234.1309 563.4711,-236.9112 573.197,-241.1132 573.6946,-234.1309\"/>\n",
"</g>\n",
"<!-- prop_15&#45;&gt;prop_25 -->\n",
"<g id=\"edge87\" class=\"edge\">\n",
"<title>prop_15&#45;&gt;prop_25</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1431.6709,-294.2717C1399.0356,-282.0335 1347.7205,-262.7903 1311.8789,-249.3497\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1312.8007,-245.9574 1302.2084,-245.7233 1310.3428,-252.5117 1312.8007,-245.9574\"/>\n",
"</g>\n",
"<!-- prop_15&#45;&gt;prop_25c -->\n",
"<g id=\"edge89\" class=\"edge\">\n",
"<title>prop_15&#45;&gt;prop_25c</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1499.6689,-297.9405C1515.414,-294.6273 1534.0392,-290.8966 1550.9464,-288 1665.9291,-268.3009 1695.8804,-271.2073 1810.9464,-252 1824.5061,-249.7366 1839.1337,-247.0071 1852.6483,-244.3656\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1853.5988,-247.7455 1862.7298,-242.3719 1852.2408,-240.8785 1853.5988,-247.7455\"/>\n",
"</g>\n",
"<!-- prop_28n -->\n",
"<g id=\"node53\" class=\"node\">\n",
"<title>prop_28n</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"1274.9464\" cy=\"-162\" rx=\"45.4919\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"1274.9464\" y=\"-158.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">prop_28n</text>\n",
"</g>\n",
"<!-- prop_15&#45;&gt;prop_28n -->\n",
"<g id=\"edge96\" class=\"edge\">\n",
"<title>prop_15&#45;&gt;prop_28n</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1458.9276,-288.0026C1453.5479,-267.8623 1442.1287,-235.5057 1420.9464,-216 1416.9548,-212.3244 1360.4958,-192.0028 1318.9805,-177.3708\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1319.9135,-173.9888 1309.3186,-173.9729 1317.5911,-180.5923 1319.9135,-173.9888\"/>\n",
"</g>\n",
"<!-- prop_15&#45;&gt;prop_29 -->\n",
"<g id=\"edge98\" class=\"edge\">\n",
"<title>prop_15&#45;&gt;prop_29</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1462.5316,-287.8041C1461.1056,-256.5217 1454.9658,-191.3487 1428.9464,-144 1422.8546,-132.9146 1413.9969,-122.3273 1405.4235,-113.5107\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1407.6238,-110.7657 1398.0392,-106.2506 1402.7162,-115.7572 1407.6238,-110.7657\"/>\n",
"</g>\n",
"<!-- prop_15&#45;&gt;prop_30 -->\n",
"<g id=\"edge109\" class=\"edge\">\n",
"<title>prop_15&#45;&gt;prop_30</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1426.0517,-297.9503C1365.7849,-284.8011 1246.3096,-258.7338 1180.0207,-244.2708\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1180.3719,-240.7651 1169.8556,-242.0529 1178.8797,-247.6042 1180.3719,-240.7651\"/>\n",
"</g>\n",
"<!-- prop_15&#45;&gt;prop_31 -->\n",
"<g id=\"edge111\" class=\"edge\">\n",
"<title>prop_15&#45;&gt;prop_31</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1499.1545,-297.4737C1514.9743,-294.0395 1533.7964,-290.3442 1550.9464,-288 1777.8407,-256.9869 1837.2255,-276.2087 2064.9464,-252 2090.595,-249.2733 2119.0497,-245.2909 2142.4191,-241.7648\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"2143.0774,-245.205 2152.4342,-240.235 2142.0203,-238.2852 2143.0774,-245.205\"/>\n",
"</g>\n",
"<!-- prop_16&#45;&gt;prop_17 -->\n",
"<g id=\"edge59\" class=\"edge\">\n",
"<title>prop_16&#45;&gt;prop_17</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1687.3346,-293.4586C1659.2652,-281.5703 1616.9224,-263.6369 1586.0804,-250.5744\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1587.0767,-247.1954 1576.5035,-246.5183 1584.3467,-253.6412 1587.0767,-247.1954\"/>\n",
"</g>\n",
"<!-- prop_25n -->\n",
"<g id=\"node47\" class=\"node\">\n",
"<title>prop_25n</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"2010.9464\" cy=\"-234\" rx=\"45.4919\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"2010.9464\" y=\"-230.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">prop_25n</text>\n",
"</g>\n",
"<!-- prop_16&#45;&gt;prop_25n -->\n",
"<g id=\"edge88\" class=\"edge\">\n",
"<title>prop_16&#45;&gt;prop_25n</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1754.6509,-298.7373C1802.1657,-289.306 1886.1795,-271.7021 1956.9464,-252 1960.2843,-251.0707 1963.7209,-250.0583 1967.1665,-249.003\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1968.3467,-252.3006 1976.8263,-245.9486 1966.2363,-245.6263 1968.3467,-252.3006\"/>\n",
"</g>\n",
"<!-- prop_26 -->\n",
"<g id=\"node49\" class=\"node\">\n",
"<title>prop_26</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"1378.9464\" cy=\"-162\" rx=\"40.8928\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"1378.9464\" y=\"-158.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">prop_26</text>\n",
"</g>\n",
"<!-- prop_16&#45;&gt;prop_26 -->\n",
"<g id=\"edge92\" class=\"edge\">\n",
"<title>prop_16&#45;&gt;prop_26</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1692.49,-291.4726C1675.7672,-281.1643 1653.379,-266.6143 1634.9464,-252 1616.7165,-237.5464 1617.3562,-227.1658 1596.9464,-216 1543.9968,-187.0324 1475.3764,-173.3527 1429.3953,-167.064\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1429.7355,-163.5788 1419.3677,-165.7605 1428.8331,-170.5204 1429.7355,-163.5788\"/>\n",
"</g>\n",
"<!-- prop_16&#45;&gt;prop_29 -->\n",
"<g id=\"edge100\" class=\"edge\">\n",
"<title>prop_16&#45;&gt;prop_29</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1753.9642,-298.3059C1770.9753,-294.9066 1791.4414,-291.0081 1809.9464,-288 1933.8028,-267.8662 2146.6525,-324.1078 2082.9464,-216 2049.4147,-159.0975 2016.0479,-163.5055 1952.9464,-144 1855.8449,-113.9847 1551.5826,-97.6085 1429.9409,-92.1207\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1429.9257,-88.6166 1419.78,-91.6685 1429.6144,-95.6097 1429.9257,-88.6166\"/>\n",
"</g>\n",
"<!-- prop_16&#45;&gt;prop_33 -->\n",
"<g id=\"edge117\" class=\"edge\">\n",
"<title>prop_16&#45;&gt;prop_33</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1751.5645,-295.9506C1772.7741,-287.8044 1798.2187,-273.99 1810.9464,-252 1834.9913,-210.4568 1841.5834,-180.951 1810.9464,-144 1769.2755,-93.7413 1317.0747,-40.1571 1164.1494,-23.3524\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1164.4119,-19.8604 1154.0907,-22.2528 1163.6511,-26.8189 1164.4119,-19.8604\"/>\n",
"</g>\n",
"<!-- prop_16&#45;&gt;prop_34 -->\n",
"<g id=\"edge122\" class=\"edge\">\n",
"<title>prop_16&#45;&gt;prop_34</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1727.5975,-288.5708C1732.8015,-280.0553 1739.172,-269.6308 1744.9457,-260.183\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1748.0127,-261.8762 1750.2408,-251.5182 1742.0397,-258.226 1748.0127,-261.8762\"/>\n",
"</g>\n",
"<!-- prop_36 -->\n",
"<g id=\"node65\" class=\"node\">\n",
"<title>prop_36</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"1902.9464\" cy=\"-162\" rx=\"40.8928\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"1902.9464\" y=\"-158.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">prop_36</text>\n",
"</g>\n",
"<!-- prop_16&#45;&gt;prop_36 -->\n",
"<g id=\"edge127\" class=\"edge\">\n",
"<title>prop_16&#45;&gt;prop_36</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1754.4255,-298.2948C1771.3496,-294.9319 1791.6176,-291.0655 1809.9464,-288 1866.3909,-278.5596 2027.4145,-295.2027 2064.9464,-252 2102.0468,-209.294 2011.7631,-182.7954 1951.5759,-170.3866\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1951.9537,-166.8932 1941.4629,-168.3741 1950.5874,-173.7586 1951.9537,-166.8932\"/>\n",
"</g>\n",
"<!-- prop_17c2&#45;&gt;prop_29n -->\n",
"<g id=\"edge106\" class=\"edge\">\n",
"<title>prop_17c2&#45;&gt;prop_29n</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M846.2456,-215.8314C848.5511,-207.9266 851.3043,-198.4872 853.8566,-189.7365\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"857.2816,-190.4934 856.7216,-179.9134 850.5616,-188.5334 857.2816,-190.4934\"/>\n",
"</g>\n",
"<!-- def_7 -->\n",
"<g id=\"node33\" class=\"node\">\n",
"<title>def_7</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"605.9464\" cy=\"-306\" rx=\"31.3957\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"605.9464\" y=\"-302.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">def_7</text>\n",
"</g>\n",
"<!-- def_7&#45;&gt;prop_17c2 -->\n",
"<g id=\"edge63\" class=\"edge\">\n",
"<title>def_7&#45;&gt;prop_17c2</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M630.2415,-294.3564C635.369,-292.1005 640.7893,-289.8621 645.9464,-288 693.615,-270.7882 749.4883,-255.8256 789.1786,-246.0436\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"790.0205,-249.4409 798.9058,-243.6701 788.3611,-242.6405 790.0205,-249.4409\"/>\n",
"</g>\n",
"<!-- prop_32 -->\n",
"<g id=\"node59\" class=\"node\">\n",
"<title>prop_32</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"605.9464\" cy=\"-18\" rx=\"40.8928\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"605.9464\" y=\"-14.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">prop_32</text>\n",
"</g>\n",
"<!-- def_7&#45;&gt;prop_32 -->\n",
"<g id=\"edge115\" class=\"edge\">\n",
"<title>def_7&#45;&gt;prop_32</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M605.9464,-287.9843C605.9464,-239.2939 605.9464,-104.7961 605.9464,-46.0573\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"609.4465,-46.0088 605.9464,-36.0089 602.4465,-46.0089 609.4465,-46.0088\"/>\n",
"</g>\n",
"<!-- prop_16c1 -->\n",
"<g id=\"node35\" class=\"node\">\n",
"<title>prop_16c1</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"1316.9464\" cy=\"-306\" rx=\"49.2915\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"1316.9464\" y=\"-302.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">prop_16c1</text>\n",
"</g>\n",
"<!-- prop_16c1&#45;&gt;prop_18 -->\n",
"<g id=\"edge65\" class=\"edge\">\n",
"<title>prop_16c1&#45;&gt;prop_18</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1330.0183,-288.5708C1336.5849,-279.8153 1344.665,-269.0418 1351.9064,-259.3867\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1354.7948,-261.3687 1357.9949,-251.2687 1349.1948,-257.1687 1354.7948,-261.3687\"/>\n",
"</g>\n",
"<!-- prop_20 -->\n",
"<g id=\"node39\" class=\"node\">\n",
"<title>prop_20</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"695.9464\" cy=\"-306\" rx=\"40.8928\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"695.9464\" y=\"-302.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">prop_20</text>\n",
"</g>\n",
"<!-- prop_19&#45;&gt;prop_20 -->\n",
"<g id=\"edge74\" class=\"edge\">\n",
"<title>prop_19&#45;&gt;prop_20</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M664.3284,-360.2022C669.211,-351.832 675.1329,-341.6802 680.5256,-332.4356\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"683.6682,-333.9944 685.6838,-323.593 677.6218,-330.4673 683.6682,-333.9944\"/>\n",
"</g>\n",
"<!-- def_8 -->\n",
"<g id=\"node37\" class=\"node\">\n",
"<title>def_8</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"800.9464\" cy=\"-450\" rx=\"31.3957\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"800.9464\" y=\"-446.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">def_8</text>\n",
"</g>\n",
"<!-- def_8&#45;&gt;prop_19 -->\n",
"<g id=\"edge70\" class=\"edge\">\n",
"<title>def_8&#45;&gt;prop_19</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M777.0011,-438.2717C753.5675,-426.794 717.5544,-409.1549 690.5322,-395.9196\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"691.9047,-392.6946 681.3845,-391.4391 688.8256,-398.981 691.9047,-392.6946\"/>\n",
"</g>\n",
"<!-- def_8&#45;&gt;prop_20 -->\n",
"<g id=\"edge75\" class=\"edge\">\n",
"<title>def_8&#45;&gt;prop_20</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M775.4834,-439.055C769.1652,-436.5508 762.364,-434.0312 755.9464,-432 689.7581,-411.0509 647.0101,-450.4543 603.9464,-396 594.0216,-383.4501 595.9961,-373.885 603.9464,-360 610.1743,-349.123 635.5344,-334.6525 658.0548,-323.4289\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"659.6925,-326.5243 667.144,-318.9926 656.6221,-320.2336 659.6925,-326.5243\"/>\n",
"</g>\n",
"<!-- def_8&#45;&gt;prop_23 -->\n",
"<g id=\"edge81\" class=\"edge\">\n",
"<title>def_8&#45;&gt;prop_23</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M775.9762,-439.1795C769.5249,-436.6149 762.5388,-434.0363 755.9464,-432 685.4752,-410.2326 650.9149,-442.8464 593.9464,-396 552.3909,-361.8281 534.46,-298.5501 527.281,-262.0122\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"530.6971,-261.2355 525.457,-252.0273 523.8111,-262.4935 530.6971,-261.2355\"/>\n",
"</g>\n",
"<!-- prop_21&#45;&gt;prop_23 -->\n",
"<g id=\"edge82\" class=\"edge\">\n",
"<title>prop_21&#45;&gt;prop_23</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M723.6109,-365.8161C717.1991,-363.5994 710.4143,-361.5134 703.9464,-360 635.5587,-343.998 436.696,-376.4157 389.9464,-324 379.2965,-312.0593 381.0106,-301.2722 389.9464,-288 408.3724,-260.6319 443.3106,-247.1286 472.7544,-240.4692\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"473.8109,-243.8255 482.9038,-238.3876 472.4044,-236.9682 473.8109,-243.8255\"/>\n",
"</g>\n",
"<!-- prop_23&#45;&gt;prop_32 -->\n",
"<g id=\"edge114\" class=\"edge\">\n",
"<title>prop_23&#45;&gt;prop_32</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M529.8801,-215.9555C544.4413,-178.0613 578.2748,-90.0128 595.4863,-45.2213\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"598.7708,-46.4313 599.0907,-35.8413 592.2366,-43.9204 598.7708,-46.4313\"/>\n",
"</g>\n",
"<!-- prop_22 -->\n",
"<g id=\"node42\" class=\"node\">\n",
"<title>prop_22</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"439.9464\" cy=\"-306\" rx=\"40.8928\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"439.9464\" y=\"-302.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">prop_22</text>\n",
"</g>\n",
"<!-- prop_22&#45;&gt;prop_23 -->\n",
"<g id=\"edge83\" class=\"edge\">\n",
"<title>prop_22&#45;&gt;prop_23</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M458.7804,-289.6621C469.923,-279.9961 484.2105,-267.6022 496.4738,-256.9641\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"498.9265,-259.4699 504.1869,-250.2733 494.3395,-254.1822 498.9265,-259.4699\"/>\n",
"</g>\n",
"<!-- def_1 -->\n",
"<g id=\"node43\" class=\"node\">\n",
"<title>def_1</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"1687.9464\" cy=\"-810\" rx=\"31.3957\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"1687.9464\" y=\"-806.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">def_1</text>\n",
"</g>\n",
"<!-- prop_24 -->\n",
"<g id=\"node44\" class=\"node\">\n",
"<title>prop_24</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"1687.9464\" cy=\"-738\" rx=\"40.8928\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"1687.9464\" y=\"-734.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">prop_24</text>\n",
"</g>\n",
"<!-- def_1&#45;&gt;prop_24 -->\n",
"<g id=\"edge84\" class=\"edge\">\n",
"<title>def_1&#45;&gt;prop_24</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1687.9464,-791.8314C1687.9464,-784.131 1687.9464,-774.9743 1687.9464,-766.4166\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1691.4465,-766.4132 1687.9464,-756.4133 1684.4465,-766.4133 1691.4465,-766.4132\"/>\n",
"</g>\n",
"<!-- prop_28 -->\n",
"<g id=\"node52\" class=\"node\">\n",
"<title>prop_28</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"1028.9464\" cy=\"-90\" rx=\"40.8928\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"1028.9464\" y=\"-86.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">prop_28</text>\n",
"</g>\n",
"<!-- prop_24c&#45;&gt;prop_28 -->\n",
"<g id=\"edge95\" class=\"edge\">\n",
"<title>prop_24c&#45;&gt;prop_28</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1028.9464,-215.7623C1028.9464,-191.201 1028.9464,-147.2474 1028.9464,-118.3541\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1032.4465,-118.0896 1028.9464,-108.0896 1025.4465,-118.0897 1032.4465,-118.0896\"/>\n",
"</g>\n",
"<!-- prop_24c&#45;&gt;prop_28n -->\n",
"<g id=\"edge97\" class=\"edge\">\n",
"<title>prop_24c&#45;&gt;prop_28n</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1063.1472,-222.3271C1069.7014,-220.1675 1076.5226,-217.9727 1082.9464,-216 1131.7152,-201.023 1187.9444,-185.399 1226.8933,-174.8335\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1228.1638,-178.1157 1236.9032,-172.1263 1226.3362,-171.3584 1228.1638,-178.1157\"/>\n",
"</g>\n",
"<!-- prop_24c&#45;&gt;prop_29 -->\n",
"<g id=\"edge102\" class=\"edge\">\n",
"<title>prop_24c&#45;&gt;prop_29</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1052.2793,-218.4167C1082.4954,-198.8037 1137.3035,-165.1316 1187.9464,-144 1235.4863,-124.1632 1292.633,-109.0803 1331.9568,-99.9633\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1332.8308,-103.3539 1341.8028,-97.7188 1331.275,-96.529 1332.8308,-103.3539\"/>\n",
"</g>\n",
"<!-- prop_25&#45;&gt;prop_26 -->\n",
"<g id=\"edge91\" class=\"edge\">\n",
"<title>prop_25&#45;&gt;prop_26</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1293.5867,-218.9064C1309.283,-208.4422 1330.3891,-194.3715 1347.6864,-182.84\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1349.9568,-185.5329 1356.3358,-177.0737 1346.0738,-179.7086 1349.9568,-185.5329\"/>\n",
"</g>\n",
"<!-- prop_25c&#45;&gt;prop_36 -->\n",
"<g id=\"edge125\" class=\"edge\">\n",
"<title>prop_25c&#45;&gt;prop_36</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1902.9464,-215.8314C1902.9464,-208.131 1902.9464,-198.9743 1902.9464,-190.4166\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1906.4465,-190.4132 1902.9464,-180.4133 1899.4465,-190.4133 1906.4465,-190.4132\"/>\n",
"</g>\n",
"<!-- prop_26&#45;&gt;prop_28 -->\n",
"<g id=\"edge94\" class=\"edge\">\n",
"<title>prop_26&#45;&gt;prop_28</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1348.2637,-150.042C1341.9371,-147.8351 1335.2735,-145.6955 1328.9464,-144 1242.2095,-120.7566 1138.654,-104.6016 1078.6823,-96.3499\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1079.1034,-92.8751 1068.7233,-94.9974 1078.1613,-99.8114 1079.1034,-92.8751\"/>\n",
"</g>\n",
"<!-- prop_26&#45;&gt;prop_29 -->\n",
"<g id=\"edge103\" class=\"edge\">\n",
"<title>prop_26&#45;&gt;prop_29</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1372.994,-143.8314C1372.232,-136.0125 1372.016,-126.6923 1372.3459,-118.0221\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1375.8468,-118.1239 1373.0191,-107.9134 1368.8623,-117.6587 1375.8468,-118.1239\"/>\n",
"</g>\n",
"<!-- prop_26&#45;&gt;prop_29 -->\n",
"<g id=\"edge104\" class=\"edge\">\n",
"<title>prop_26&#45;&gt;prop_29</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1384.8988,-143.8314C1385.6607,-136.0125 1385.8768,-126.6923 1385.5468,-118.0221\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1389.0305,-117.6587 1384.8736,-107.9134 1382.046,-118.1239 1389.0305,-117.6587\"/>\n",
"</g>\n",
"<!-- ax_3 -->\n",
"<g id=\"node50\" class=\"node\">\n",
"<title>ax_3</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"1672.9464\" cy=\"-234\" rx=\"28.6953\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"1672.9464\" y=\"-230.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">ax_3</text>\n",
"</g>\n",
"<!-- prop_27 -->\n",
"<g id=\"node51\" class=\"node\">\n",
"<title>prop_27</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"1603.9464\" cy=\"-162\" rx=\"40.8928\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"1603.9464\" y=\"-158.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">prop_27</text>\n",
"</g>\n",
"<!-- ax_3&#45;&gt;prop_27 -->\n",
"<g id=\"edge93\" class=\"edge\">\n",
"<title>ax_3&#45;&gt;prop_27</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1657.9744,-218.3771C1648.9164,-208.9253 1637.1806,-196.6792 1626.962,-186.0163\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1629.2955,-183.3928 1619.8495,-178.5945 1624.2416,-188.2361 1629.2955,-183.3928\"/>\n",
"</g>\n",
"<!-- prop_27&#45;&gt;prop_29 -->\n",
"<g id=\"edge101\" class=\"edge\">\n",
"<title>prop_27&#45;&gt;prop_29</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1570.7468,-151.3762C1531.2811,-138.7471 1465.3238,-117.6408 1421.9768,-103.7697\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1422.8731,-100.3818 1412.2821,-100.6674 1420.7396,-107.0487 1422.8731,-100.3818\"/>\n",
"</g>\n",
"<!-- prop_28&#45;&gt;prop_32 -->\n",
"<g id=\"edge113\" class=\"edge\">\n",
"<title>prop_28&#45;&gt;prop_32</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M990.6619,-83.4835C913.3711,-70.3276 738.8499,-40.6219 654.0304,-26.1845\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"654.5894,-22.7294 644.1438,-24.5017 653.4147,-29.6301 654.5894,-22.7294\"/>\n",
"</g>\n",
"<!-- prop_32c2 -->\n",
"<g id=\"node60\" class=\"node\">\n",
"<title>prop_32c2</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"1378.9464\" cy=\"-18\" rx=\"49.2915\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"1378.9464\" y=\"-14.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">prop_32c2</text>\n",
"</g>\n",
"<!-- prop_29&#45;&gt;prop_32c2 -->\n",
"<g id=\"edge116\" class=\"edge\">\n",
"<title>prop_29&#45;&gt;prop_32c2</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1378.9464,-71.8314C1378.9464,-64.131 1378.9464,-54.9743 1378.9464,-46.4166\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1382.4465,-46.4132 1378.9464,-36.4133 1375.4465,-46.4133 1382.4465,-46.4132\"/>\n",
"</g>\n",
"<!-- prop_29&#45;&gt;prop_33 -->\n",
"<g id=\"edge118\" class=\"edge\">\n",
"<title>prop_29&#45;&gt;prop_33</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1344.0297,-80.5132C1296.365,-67.5628 1210.8945,-44.3406 1158.6157,-30.1366\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1159.5082,-26.7522 1148.9403,-27.5078 1157.6728,-33.5073 1159.5082,-26.7522\"/>\n",
"</g>\n",
"<!-- ax_6 -->\n",
"<g id=\"node56\" class=\"node\">\n",
"<title>ax_6</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"1141.9464\" cy=\"-306\" rx=\"28.6953\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"1141.9464\" y=\"-302.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">ax_6</text>\n",
"</g>\n",
"<!-- ax_6&#45;&gt;prop_30 -->\n",
"<g id=\"edge107\" class=\"edge\">\n",
"<title>ax_6&#45;&gt;prop_30</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1139.6753,-287.8314C1138.7127,-280.131 1137.5682,-270.9743 1136.4984,-262.4166\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1139.9614,-261.9019 1135.248,-252.4133 1133.0155,-262.7702 1139.9614,-261.9019\"/>\n",
"</g>\n",
"<!-- prop_35 -->\n",
"<g id=\"node64\" class=\"node\">\n",
"<title>prop_35</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"1760.9464\" cy=\"-162\" rx=\"40.8928\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"1760.9464\" y=\"-158.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">prop_35</text>\n",
"</g>\n",
"<!-- prop_34&#45;&gt;prop_35 -->\n",
"<g id=\"edge124\" class=\"edge\">\n",
"<title>prop_34&#45;&gt;prop_35</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1760.9464,-215.8314C1760.9464,-208.131 1760.9464,-198.9743 1760.9464,-190.4166\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1764.4465,-190.4132 1760.9464,-180.4133 1757.4465,-190.4133 1764.4465,-190.4132\"/>\n",
"</g>\n",
"<!-- prop_34&#45;&gt;prop_36 -->\n",
"<g id=\"edge126\" class=\"edge\">\n",
"<title>prop_34&#45;&gt;prop_36</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1787.9897,-220.2879C1810.3946,-208.9277 1842.4274,-192.6857 1866.9909,-180.231\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1868.6675,-183.3051 1876.0037,-175.6611 1865.5019,-177.0618 1868.6675,-183.3051\"/>\n",
"</g>\n",
"<!-- prop_16c2 -->\n",
"<g id=\"node63\" class=\"node\">\n",
"<title>prop_16c2</title>\n",
"<ellipse fill=\"none\" stroke=\"#000000\" cx=\"1608.9464\" cy=\"-306\" rx=\"49.2915\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"1608.9464\" y=\"-302.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">prop_16c2</text>\n",
"</g>\n",
"<!-- prop_16c2&#45;&gt;prop_34 -->\n",
"<g id=\"edge123\" class=\"edge\">\n",
"<title>prop_16c2&#45;&gt;prop_34</title>\n",
"<path fill=\"none\" stroke=\"#000000\" d=\"M1639.3405,-291.6028C1663.6459,-280.0897 1697.8265,-263.8989 1723.7627,-251.6133\"/>\n",
"<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1725.3725,-254.7237 1732.9116,-247.2796 1722.3758,-248.3975 1725.3725,-254.7237\"/>\n",
"</g>\n",
"</g>\n",
"</svg>\n"
],
"text/plain": [
"<graphviz.dot.Digraph at 0x110747668>"
]
},
"execution_count": 4,
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
"dot = Digraph(comment='Ethica_1')\n",
"for now_prop in all_props:\n",
" #命題本文\n",
" target_prop = now_prop.get('id')\n",
" #print (now_prop.get('id'))\n",
" \n",
" #命題の証明部\n",
" now_proof = now_prop.next_sibling.next_sibling\n",
" refs = now_proof.find_all('a')\n",
" for ref in refs:\n",
" #print ('\\t', ref.get('href')[1:])\n",
" ref_proof = ref.get('href')[1:]\n",
" dot.edge(ref_proof, target_prop)\n",
"dot"
]
},
{
"cell_type": "code",
"execution_count": 5,
"metadata": {
"collapsed": false
},
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"// Ethica_1\n",
"digraph {\n",
"\t\tdef_3 -> prop_1\n",
"\t\tdef_5 -> prop_1\n",
"\t\tdef_3 -> prop_2\n",
"\t\tax_5 -> prop_3\n",
"\t\tax_4 -> prop_3\n",
"\t\tax_1 -> prop_4\n",
"\t\tdef_3 -> prop_4\n",
"\t\tdef_5 -> prop_4\n",
"\t\tax_4 -> prop_4\n",
"\t\tprop_4 -> prop_5\n",
"\t\tprop_1 -> prop_5\n",
"\t\tdef_3 -> prop_5\n",
"\t\tdef_6 -> prop_5\n",
"\t\tprop_4 -> prop_5\n",
"\t\tprop_2 -> prop_6\n",
"\t\tprop_3 -> prop_6\n",
"\t\tax_1 -> prop_6c\n",
"\t\tdef_3 -> prop_6c\n",
"\t\tdef_5 -> prop_6c\n",
"\t\tprop_6 -> prop_6c\n",
"\t\tax_4 -> prop_6c\n",
"\t\tdef_3 -> prop_6c\n",
"\t\tprop_6c -> prop_7\n",
"\t\tprop_7 -> prop_8\n",
"\t\tdef_2 -> prop_8\n",
"\t\tprop_7 -> prop_8\n",
"\t\tprop_5 -> prop_8\n",
"\t\tprop_7 -> prop_8n1\n",
"\t\tprop_7 -> prop_8n2\n",
"\t\tprop_7 -> prop_8n2\n",
"\t\tdef_4 -> prop_10\n",
"\t\tdef_3 -> prop_10\n",
"\t\tprop_7 -> prop_11\n",
"\t\tprop_8 -> prop_12\n",
"\t\tprop_6 -> prop_12\n",
"\t\tprop_5 -> prop_12\n",
"\t\tprop_6 -> prop_12\n",
"\t\tprop_2 -> prop_12\n",
"\t\tdef_4 -> prop_12\n",
"\t\tprop_10 -> prop_12\n",
"\t\tprop_7 -> prop_12\n",
"\t\tprop_5 -> prop_13\n",
"\t\tprop_7 -> prop_13\n",
"\t\tprop_11 -> prop_13\n",
"\t\tdef_6 -> prop_14\n",
"\t\tprop_11 -> prop_14\n",
"\t\tprop_5 -> prop_14\n",
"\t\tdef_6 -> prop_14c1\n",
"\t\tprop_10n -> prop_14c1\n",
"\t\tax_1 -> prop_14c2\n",
"\t\tprop_14 -> prop_15\n",
"\t\tdef_3 -> prop_15\n",
"\t\tdef_5 -> prop_15\n",
"\t\tax_1 -> prop_15\n",
"\t\tprop_6c -> prop_15n\n",
"\t\tprop_8n2 -> prop_15n\n",
"\t\tprop_14 -> prop_15n\n",
"\t\tdef_6 -> prop_16\n",
"\t\tprop_16 -> prop_17\n",
"\t\tprop_15 -> prop_17\n",
"\t\tprop_11 -> prop_17c2\n",
"\t\tprop_14c1 -> prop_17c2\n",
"\t\tdef_7 -> prop_17c2\n",
"\t\tprop_15 -> prop_18\n",
"\t\tprop_16c1 -> prop_18\n",
"\t\tprop_14 -> prop_18\n",
"\t\tdef_6 -> prop_19\n",
"\t\tprop_11 -> prop_19\n",
"\t\tprop_7 -> prop_19\n",
"\t\tdef_8 -> prop_19\n",
"\t\tdef_4 -> prop_19\n",
"\t\tprop_7 -> prop_19\n",
"\t\tprop_11 -> prop_19n\n",
"\t\tprop_19 -> prop_20\n",
"\t\tdef_8 -> prop_20\n",
"\t\tprop_11 -> prop_21\n",
"\t\tdef_2 -> prop_21\n",
"\t\tprop_11 -> prop_21\n",
"\t\tdef_5 -> prop_23\n",
"\t\tprop_15 -> prop_23\n",
"\t\tdef_8 -> prop_23\n",
"\t\tprop_21 -> prop_23\n",
"\t\tprop_22 -> prop_23\n",
"\t\tdef_1 -> prop_24\n",
"\t\tprop_14c1 -> prop_24c\n",
"\t\tax_4 -> prop_25\n",
"\t\tprop_15 -> prop_25\n",
"\t\tprop_16 -> prop_25n\n",
"\t\tprop_15 -> prop_25c\n",
"\t\tdef_5 -> prop_25c\n",
"\t\tprop_25 -> prop_26\n",
"\t\tprop_16 -> prop_26\n",
"\t\tax_3 -> prop_27\n",
"\t\tprop_26 -> prop_28\n",
"\t\tprop_24c -> prop_28\n",
"\t\tprop_15 -> prop_28n\n",
"\t\tprop_24c -> prop_28n\n",
"\t\tprop_15 -> prop_29\n",
"\t\tprop_11 -> prop_29\n",
"\t\tprop_16 -> prop_29\n",
"\t\tprop_27 -> prop_29\n",
"\t\tprop_24c -> prop_29\n",
"\t\tprop_26 -> prop_29\n",
"\t\tprop_26 -> prop_29\n",
"\t\tprop_14c1 -> prop_29n\n",
"\t\tprop_17c2 -> prop_29n\n",
"\t\tax_6 -> prop_30\n",
"\t\tprop_14c1 -> prop_30\n",
"\t\tprop_15 -> prop_30\n",
"\t\tdef_5 -> prop_31\n",
"\t\tprop_15 -> prop_31\n",
"\t\tdef_6 -> prop_31\n",
"\t\tprop_28 -> prop_32\n",
"\t\tprop_23 -> prop_32\n",
"\t\tdef_7 -> prop_32\n",
"\t\tprop_29 -> prop_32c2\n",
"\t\tprop_16 -> prop_33\n",
"\t\tprop_29 -> prop_33\n",
"\t\tprop_11 -> prop_33\n",
"\t\tprop_14c1 -> prop_33\n",
"\t\tprop_11 -> prop_34\n",
"\t\tprop_16 -> prop_34\n",
"\t\tprop_16c2 -> prop_34\n",
"\t\tprop_34 -> prop_35\n",
"\t\tprop_25c -> prop_36\n",
"\t\tprop_34 -> prop_36\n",
"\t\tprop_16 -> prop_36\n",
"}\n"
]
}
],
"source": [
"print(dot.source)"
]
}
],
"metadata": {
"kernelspec": {
"display_name": "Python 3",
"language": "python",
"name": "python3"
},
"language_info": {
"codemirror_mode": {
"name": "ipython",
"version": 3
},
"file_extension": ".py",
"mimetype": "text/x-python",
"name": "python",
"nbconvert_exporter": "python",
"pygments_lexer": "ipython3",
"version": "3.4.3"
},
"widgets": {
"state": {},
"version": "1.1.1"
}
},
"nbformat": 4,
"nbformat_minor": 0
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment