
\pagestyle{empty}
\enlargethispage{100cm}
\hspace{2.5in}
% Start of code
\begin{tikzpicture}[anchor=base,>=latex',join=bevel,]
  \pgfsetlinewidth{1bp}
%%
%(0bp,0bp)(1879bp,1372bp)
\begin{scope}
  \pgfsetstrokecolor{black}
  \pgfsetstrokecolor{orange}
  \draw (81bp,16bp) -- (81bp,92bp) -- (431bp,92bp) -- (431bp,16bp) -- cycle;
  \pgfsetstrokecolor{black}
  \draw (256bp,74bp) node {Definitions};
\end{scope}
\begin{scope}
  \pgfsetstrokecolor{black}
  \pgfsetstrokecolor{blue}
  \draw (1107bp,16bp) -- (1107bp,92bp) -- (1525bp,92bp) -- (1525bp,16bp) -- cycle;
  \pgfsetstrokecolor{black}
  \draw (1316bp,74bp) node {Postulates};
\end{scope}
\begin{scope}
  \pgfsetstrokecolor{black}
  \pgfsetstrokecolor{red}
  \draw (510bp,100bp) -- (510bp,176bp) -- (1128bp,176bp) -- (1128bp,100bp) -- cycle;
  \pgfsetstrokecolor{black}
  \draw (819bp,158bp) node {Common Notions};
\end{scope}
  % Edge: Pr1_1 -> PO1_3
  \draw [->] (1344bp,109bp) .. controls (1349bp,104bp) and (1354bp,98bp)  .. (1358bp,92bp) .. controls (1365bp,84bp) and (1372bp,76bp)  .. (1385bp,60bp);
  % Edge: Pr1_1 -> PO1_1
  \draw [->] (1326bp,108bp) .. controls (1324bp,97bp) and (1322bp,82bp)  .. (1319bp,60bp);
  % Edge: Pr1_1 -> D1_15
  \draw [->] (1294bp,117bp) .. controls (1269bp,112bp) and (1232bp,104bp)  .. (1200bp,100bp) .. controls (1181bp,97bp) and (601bp,57bp)  .. (423bp,44bp);
  % Edge: Pr1_1 -> CN1_1
  \draw [->] (1317bp,143bp) .. controls (1306bp,157bp) and (1288bp,175bp)  .. (1267bp,180bp) .. controls (1254bp,182bp) and (780bp,182bp)  .. (766bp,180bp) .. controls (748bp,176bp) and (731bp,163bp)  .. (711bp,144bp);
  % Edge: Pr1_2 -> PO1_1
  \draw [->] (1494bp,185bp) .. controls (1491bp,182bp) and (1488bp,179bp)  .. (1486bp,176bp) .. controls (1465bp,144bp) and (1480bp,121bp)  .. (1448bp,100bp) .. controls (1432bp,88bp) and (1376bp,101bp)  .. (1358bp,92bp) .. controls (1348bp,87bp) and (1339bp,77bp)  .. (1327bp,60bp);
  % Edge: Pr1_2 -> Pr1_1
  \draw [->] (1480bp,190bp) .. controls (1473bp,188bp) and (1465bp,186bp)  .. (1457bp,184bp) .. controls (1425bp,176bp) and (1413bp,190bp)  .. (1382bp,176bp) .. controls (1369bp,170bp) and (1358bp,160bp)  .. (1342bp,143bp);
  % Edge: Pr1_2 -> PO1_2
  \draw [->] (1521bp,185bp) .. controls (1522bp,182bp) and (1523bp,179bp)  .. (1524bp,176bp) .. controls (1533bp,143bp) and (1535bp,132bp)  .. (1524bp,100bp) .. controls (1521bp,88bp) and (1514bp,77bp)  .. (1501bp,60bp);
  % Edge: Pr1_2 -> PO1_3
  \draw [->] (1511bp,184bp) .. controls (1512bp,161bp) and (1509bp,122bp)  .. (1486bp,100bp) .. controls (1472bp,86bp) and (1460bp,101bp)  .. (1442bp,92bp) .. controls (1432bp,86bp) and (1423bp,77bp)  .. (1411bp,60bp);
  % Edge: Pr1_2 -> D1_15
  \draw [->] (1477bp,192bp) .. controls (1466bp,188bp) and (1454bp,183bp)  .. (1444bp,176bp) .. controls (1408bp,150bp) and (1418bp,119bp)  .. (1377bp,100bp) .. controls (1364bp,93bp) and (1119bp,92bp)  .. (1103bp,92bp) .. controls (850bp,79bp) and (546bp,56bp)  .. (423bp,45bp);
  % Edge: Pr1_2 -> CN1_1
  \draw [->] (1471bp,201bp) .. controls (1321bp,199bp) and (791bp,188bp)  .. (757bp,176bp) .. controls (743bp,170bp) and (730bp,160bp)  .. (712bp,144bp);
  % Edge: Pr1_3 -> Pr1_2
  \draw [->] (1561bp,257bp) .. controls (1553bp,248bp) and (1542bp,237bp)  .. (1526bp,219bp);
  % Edge: Pr1_3 -> PO1_3
  \draw [->] (1577bp,256bp) .. controls (1575bp,219bp) and (1566bp,135bp)  .. (1514bp,100bp) .. controls (1488bp,81bp) and (1471bp,107bp)  .. (1442bp,92bp) .. controls (1432bp,87bp) and (1423bp,77bp)  .. (1411bp,60bp);
  % Edge: Pr1_3 -> D1_15
  \draw [->] (1544bp,265bp) .. controls (1488bp,249bp) and (1374bp,215bp)  .. (1281bp,176bp) .. controls (1213bp,147bp) and (1204bp,120bp)  .. (1132bp,100bp) .. controls (1000bp,63bp) and (574bp,48bp)  .. (423bp,43bp);
  % Edge: Pr1_3 -> CN1_1
  \draw [->] (1538bp,272bp) .. controls (1395bp,265bp) and (902bp,236bp)  .. (757bp,176bp) .. controls (743bp,170bp) and (730bp,160bp)  .. (712bp,144bp);
  % Edge: Pr1_4 -> PO1_1
  \draw [->] (1000bp,259bp) .. controls (1031bp,240bp) and (1086bp,206bp)  .. (1132bp,176bp) .. controls (1184bp,142bp) and (1193bp,126bp)  .. (1248bp,100bp) .. controls (1259bp,94bp) and (1264bp,98bp)  .. (1274bp,92bp) .. controls (1284bp,85bp) and (1292bp,77bp)  .. (1305bp,60bp);
  % Edge: Pr1_4 -> CN1_4
  \draw [->] (973bp,256bp) .. controls (968bp,230bp) and (957bp,184bp)  .. (947bp,144bp);
  % Edge: Pr1_5 -> Pr1_3
  \draw [->] (1321bp,334bp) .. controls (1327bp,332bp) and (1333bp,330bp)  .. (1339bp,328bp) .. controls (1404bp,308bp) and (1482bp,291bp)  .. (1540bp,281bp);
  % Edge: Pr1_5 -> PO1_1
  \draw [->] (1287bp,328bp) .. controls (1277bp,287bp) and (1258bp,182bp)  .. (1281bp,100bp) .. controls (1284bp,89bp) and (1290bp,78bp)  .. (1302bp,60bp);
  % Edge: Pr1_5 -> Pr1_4
  \draw [->] (1254bp,340bp) .. controls (1203bp,331bp) and (1109bp,313bp)  .. (1030bp,292bp) .. controls (1026bp,291bp) and (1022bp,289bp)  .. (1008bp,285bp);
  % Edge: Pr1_5 -> CN1_3
  \draw [->] (1258bp,336bp) .. controls (1187bp,313bp) and (1013bp,254bp)  .. (881bp,176bp) .. controls (869bp,169bp) and (857bp,159bp)  .. (839bp,144bp);
  % Edge: Pr1_6 -> PO1_1
  \draw [->] (1392bp,328bp) .. controls (1404bp,284bp) and (1427bp,171bp)  .. (1377bp,100bp) .. controls (1372bp,92bp) and (1366bp,97bp)  .. (1358bp,92bp) .. controls (1349bp,85bp) and (1341bp,77bp)  .. (1328bp,60bp);
  % Edge: Pr1_6 -> Pr1_3
  \draw [->] (1418bp,334bp) .. controls (1450bp,322bp) and (1501bp,303bp)  .. (1547bp,286bp);
  % Edge: Pr1_6 -> CN1_5
  \draw [->] (1363bp,332bp) .. controls (1316bp,304bp) and (1209bp,239bp)  .. (1124bp,176bp) .. controls (1114bp,168bp) and (1104bp,159bp)  .. (1087bp,144bp);
  % Edge: Pr1_6 -> Pr1_4
  \draw [->] (1358bp,334bp) .. controls (1352bp,331bp) and (1345bp,329bp)  .. (1339bp,328bp) .. controls (1230bp,299bp) and (1097bp,285bp)  .. (1016bp,277bp);
  % Edge: Pr1_7 -> PO1_1
  \draw [->] (716bp,403bp) .. controls (666bp,370bp) and (550bp,283bp)  .. (506bp,176bp) .. controls (494bp,144bp) and (483bp,124bp)  .. (506bp,100bp) .. controls (522bp,84bp) and (1255bp,101bp)  .. (1274bp,92bp) .. controls (1285bp,87bp) and (1293bp,77bp)  .. (1306bp,60bp);
  % Edge: Pr1_7 -> CN1_5
  \draw [->] (747bp,400bp) .. controls (757bp,381bp) and (773bp,350bp)  .. (792bp,328bp) .. controls (866bp,237bp) and (910bp,242bp)  .. (1005bp,176bp) .. controls (1017bp,168bp) and (1028bp,159bp)  .. (1046bp,144bp);
  % Edge: Pr1_7 -> Pr1_5
  \draw [->] (777bp,413bp) .. controls (875bp,400bp) and (1135bp,366bp)  .. (1253bp,351bp);
  % Edge: Pr1_8 -> Pr1_7
  \draw [->] (732bp,472bp) .. controls (733bp,464bp) and (734bp,455bp)  .. (737bp,436bp);
  % Edge: Pr1_8 -> CN1_4
  \draw [->] (714bp,474bp) .. controls (706bp,464bp) and (696bp,450bp)  .. (691bp,436bp) .. controls (687bp,420bp) and (686bp,414bp)  .. (691bp,400bp) .. controls (714bp,339bp) and (854bp,207bp)  .. (923bp,144bp);
  % Edge: Pr1_9 -> Pr1_3
  \draw [->] (1429bp,544bp) .. controls (1440bp,525bp) and (1461bp,493bp)  .. (1485bp,472bp) .. controls (1510bp,450bp) and (1531bp,462bp)  .. (1549bp,436bp) .. controls (1578bp,396bp) and (1581bp,337bp)  .. (1579bp,292bp);
  % Edge: Pr1_9 -> Pr1_1
  \draw [->] (1424bp,544bp) .. controls (1434bp,504bp) and (1454bp,407bp)  .. (1435bp,328bp) .. controls (1418bp,259bp) and (1374bp,188bp)  .. (1342bp,143bp);
  % Edge: Pr1_9 -> Pr1_8
  \draw [->] (1380bp,558bp) .. controls (1262bp,546bp) and (908bp,509bp)  .. (768bp,494bp);
  % Edge: Pr1_10 -> Pr1_1
  \draw [->] (1224bp,616bp) .. controls (1224bp,588bp) and (1224bp,535bp)  .. (1224bp,490bp) .. controls (1224bp,490bp) and (1224bp,490bp)  .. (1224bp,418bp) .. controls (1224bp,315bp) and (1283bp,202bp)  .. (1318bp,143bp);
  % Edge: Pr1_10 -> Pr1_9
  \draw [->] (1256bp,622bp) .. controls (1290bp,610bp) and (1343bp,591bp)  .. (1388bp,573bp);
  % Edge: Pr1_10 -> Pr1_4
  \draw [->] (1219bp,616bp) .. controls (1202bp,553bp) and (1145bp,349bp)  .. (1124bp,328bp) .. controls (1117bp,320bp) and (1060bp,300bp)  .. (1009bp,284bp);
  % Edge: Pr1_11 -> Pr1_3
  \draw [->] (954bp,551bp) .. controls (1038bp,525bp) and (1261bp,451bp)  .. (1435bp,364bp) .. controls (1476bp,343bp) and (1519bp,314bp)  .. (1556bp,289bp);
  % Edge: Pr1_11 -> Pr1_1
  \draw [->] (914bp,544bp) .. controls (899bp,493bp) and (863bp,344bp)  .. (929bp,256bp) .. controls (952bp,226bp) and (1186bp,163bp)  .. (1295bp,135bp);
  % Edge: Pr1_11 -> Pr1_8
  \draw [->] (888bp,550bp) .. controls (855bp,537bp) and (805bp,519bp)  .. (760bp,501bp);
  % Edge: Pr1_11 -> D1_10
  \draw [->] (898bp,546bp) .. controls (871bp,527bp) and (823bp,495bp)  .. (778bp,472bp) .. controls (741bp,452bp) and (726bp,459bp)  .. (691bp,436bp) .. controls (511bp,315bp) and (493bp,250bp)  .. (344bp,92bp) .. controls (336bp,85bp) and (329bp,76bp)  .. (316bp,60bp);
  % Edge: Pr1_12 -> PO1_3
  \draw [->] (657bp,688bp) .. controls (630bp,608bp) and (522bp,282bp)  .. (506bp,176bp) .. controls (502bp,142bp) and (483bp,123bp)  .. (506bp,100bp) .. controls (523bp,83bp) and (1337bp,102bp)  .. (1358bp,92bp) .. controls (1369bp,87bp) and (1377bp,77bp)  .. (1390bp,60bp);
  % Edge: Pr1_12 -> Pr1_10
  \draw [->] (703bp,701bp) .. controls (804bp,687bp) and (1063bp,654bp)  .. (1184bp,639bp);
  % Edge: Pr1_12 -> Pr1_8
  \draw [->] (669bp,688bp) .. controls (681bp,650bp) and (708bp,562bp)  .. (725bp,508bp);
  % Edge: Pr1_12 -> D1_10
  \draw [->] (651bp,688bp) .. controls (607bp,623bp) and (449bp,386bp)  .. (349bp,176bp) .. controls (332bp,140bp) and (318bp,97bp)  .. (306bp,60bp);
  % Edge: Pr1_13 -> D1_10
  \draw [->] (321bp,617bp) .. controls (299bp,591bp) and (262bp,540bp)  .. (262bp,490bp) .. controls (262bp,490bp) and (262bp,490bp)  .. (262bp,418bp) .. controls (262bp,276bp) and (194bp,230bp)  .. (248bp,100bp) .. controls (250bp,95bp) and (253bp,95bp)  .. (256bp,92bp) .. controls (264bp,84bp) and (271bp,76bp)  .. (285bp,60bp);
  % Edge: Pr1_13 -> Pr1_11
  \draw [->] (377bp,629bp) .. controls (481bp,616bp) and (755bp,582bp)  .. (879bp,567bp);
  % Edge: Pr1_13 -> CN1_2
  \draw [->] (329bp,616bp) .. controls (318bp,589bp) and (300bp,536bp)  .. (300bp,490bp) .. controls (300bp,490bp) and (300bp,490bp)  .. (300bp,346bp) .. controls (300bp,268bp) and (300bp,229bp)  .. (362bp,184bp) .. controls (376bp,174bp) and (499bp,182bp)  .. (514bp,176bp) .. controls (527bp,170bp) and (540bp,161bp)  .. (556bp,144bp);
  % Edge: Pr1_13 -> CN1_1
  \draw [->] (343bp,616bp) .. controls (352bp,589bp) and (368bp,536bp)  .. (368bp,490bp) .. controls (368bp,490bp) and (368bp,490bp)  .. (368bp,418bp) .. controls (368bp,344bp) and (359bp,316bp)  .. (400bp,256bp) .. controls (434bp,206bp) and (458bp,202bp)  .. (514bp,184bp) .. controls (565bp,167bp) and (584bp,195bp)  .. (633bp,176bp) .. controls (647bp,170bp) and (660bp,160bp)  .. (678bp,144bp);
  % Edge: Pr1_14 -> CN1_1
  \draw [->] (356bp,690bp) .. controls (367bp,680bp) and (379bp,667bp)  .. (387bp,652bp) .. controls (406bp,615bp) and (406bp,602bp)  .. (406bp,562bp) .. controls (406bp,562bp) and (406bp,562bp)  .. (406bp,418bp) .. controls (406bp,280bp) and (496bp,261bp)  .. (610bp,184bp) .. controls (619bp,177bp) and (624bp,181bp)  .. (633bp,176bp) .. controls (646bp,169bp) and (658bp,159bp)  .. (676bp,144bp);
  % Edge: Pr1_14 -> Pr1_13
  \draw [->] (336bp,688bp) .. controls (336bp,680bp) and (336bp,671bp)  .. (336bp,652bp);
  % Edge: Pr1_14 -> CN1_3
  \draw [->] (360bp,691bp) .. controls (376bp,681bp) and (395bp,667bp)  .. (409bp,652bp) .. controls (556bp,498bp) and (550bp,427bp)  .. (675bp,256bp) .. controls (700bp,223bp) and (699bp,207bp)  .. (732bp,184bp) .. controls (742bp,177bp) and (747bp,181bp)  .. (757bp,176bp) .. controls (770bp,169bp) and (782bp,160bp)  .. (801bp,144bp);
  % Edge: Pr1_15 -> Pr1_13
  \draw [->] (483bp,694bp) .. controls (454bp,682bp) and (409bp,664bp)  .. (367bp,646bp);
  % Edge: Pr1_15 -> CN1_1
  \draw [->] (499bp,689bp) .. controls (479bp,663bp) and (444bp,612bp)  .. (444bp,562bp) .. controls (444bp,562bp) and (444bp,562bp)  .. (444bp,490bp) .. controls (444bp,410bp) and (609bp,221bp)  .. (678bp,144bp);
  % Edge: Pr1_15 -> CN1_3
  \draw [->] (517bp,688bp) .. controls (527bp,640bp) and (552bp,511bp)  .. (570bp,472bp) .. controls (631bp,339bp) and (746bp,206bp)  .. (802bp,144bp);
  % Edge: Pr1_16 -> Pr1_10
  \draw [->] (943bp,761bp) .. controls (964bp,741bp) and (1003bp,707bp)  .. (1041bp,688bp) .. controls (1084bp,666bp) and (1137bp,652bp)  .. (1185bp,641bp);
  % Edge: Pr1_16 -> Pr1_3
  \draw [->] (966bp,772bp) .. controls (1110bp,749bp) and (1598bp,671bp)  .. (1625bp,652bp) .. controls (1665bp,625bp) and (1682bp,609bp)  .. (1682bp,562bp) .. controls (1682bp,562bp) and (1682bp,562bp)  .. (1682bp,418bp) .. controls (1682bp,366bp) and (1637bp,321bp)  .. (1599bp,289bp);
  % Edge: Pr1_16 -> Pr1_15
  \draw [->] (887bp,771bp) .. controls (828bp,761bp) and (711bp,741bp)  .. (612bp,724bp) .. controls (596bp,721bp) and (579bp,717bp)  .. (553bp,713bp);
  % Edge: Pr1_16 -> Pr1_4
  \draw [->] (917bp,760bp) .. controls (897bp,721bp) and (856bp,625bp)  .. (869bp,544bp) .. controls (886bp,443bp) and (901bp,419bp)  .. (944bp,328bp) .. controls (948bp,318bp) and (955bp,309bp)  .. (965bp,291bp);
  % Edge: Pr1_17 -> Pr1_16
  \draw [->] (701bp,840bp) .. controls (748bp,828bp) and (830bp,805bp)  .. (891bp,788bp);
  % Edge: Pr1_17 -> Pr1_13
  \draw [->] (640bp,836bp) .. controls (601bp,813bp) and (525bp,768bp)  .. (463bp,724bp) .. controls (443bp,709bp) and (441bp,702bp)  .. (420bp,688bp) .. controls (404bp,675bp) and (385bp,664bp)  .. (361bp,649bp);
  % Edge: Pr1_18 -> Pr1_3
  \draw [->] (1508bp,400bp) .. controls (1522bp,376bp) and (1546bp,330bp)  .. (1567bp,292bp);
  % Edge: Pr1_18 -> Pr1_5
  \draw [->] (1465bp,407bp) .. controls (1432bp,396bp) and (1383bp,379bp)  .. (1339bp,364bp) .. controls (1336bp,363bp) and (1333bp,362bp)  .. (1321bp,357bp);
  % Edge: Pr1_19 -> Pr1_5
  \draw [->] (1511bp,475bp) .. controls (1467bp,450bp) and (1374bp,395bp)  .. (1315bp,360bp);
  % Edge: Pr1_19 -> Pr1_18
  \draw [->] (1527bp,472bp) .. controls (1523bp,464bp) and (1517bp,454bp)  .. (1507bp,436bp);
  % Edge: Pr1_20 -> Pr1_3
  \draw [->] (1557bp,546bp) .. controls (1568bp,537bp) and (1581bp,523bp)  .. (1587bp,508bp) .. controls (1615bp,438bp) and (1597bp,347bp)  .. (1583bp,292bp);
  % Edge: Pr1_20 -> Pr1_5
  \draw [->] (1515bp,546bp) .. controls (1485bp,523bp) and (1427bp,477bp)  .. (1381bp,436bp) .. controls (1357bp,415bp) and (1331bp,389bp)  .. (1307bp,363bp);
  % Edge: Pr1_20 -> Pr1_19
  \draw [->] (1536bp,544bp) .. controls (1536bp,536bp) and (1536bp,527bp)  .. (1536bp,508bp);
  % Edge: Pr1_21 -> Pr1_20
  \draw [->] (957bp,838bp) .. controls (963bp,836bp) and (970bp,833bp)  .. (977bp,832bp) .. controls (1061bp,813bp) and (1285bp,837bp)  .. (1359bp,796bp) .. controls (1444bp,748bp) and (1501bp,641bp)  .. (1529bp,580bp);
  % Edge: Pr1_21 -> Pr1_16
  \draw [->] (926bp,832bp) .. controls (926bp,824bp) and (926bp,815bp)  .. (926bp,796bp);
  % Edge: Pr1_22 -> Pr1_20
  \draw [->] (1565bp,616bp) .. controls (1561bp,608bp) and (1555bp,598bp)  .. (1545bp,580bp);
  % Edge: Pr1_22 -> Pr1_3
  \draw [->] (1589bp,617bp) .. controls (1609bp,591bp) and (1644bp,540bp)  .. (1644bp,490bp) .. controls (1644bp,490bp) and (1644bp,490bp)  .. (1644bp,418bp) .. controls (1644bp,373bp) and (1617bp,327bp)  .. (1591bp,291bp);
  % Edge: Pr1_23 -> Pr1_22
  \draw [->] (1130bp,698bp) .. controls (1147bp,695bp) and (1168bp,691bp)  .. (1186bp,688bp) .. controls (1306bp,668bp) and (1449bp,650bp)  .. (1533bp,639bp);
  % Edge: Pr1_23 -> Pr1_8
  \draw [->] (1065bp,692bp) .. controls (1044bp,681bp) and (1014bp,666bp)  .. (988bp,652bp) .. controls (904bp,604bp) and (809bp,542bp)  .. (752bp,505bp);
  % Edge: Pr1_24 -> Pr1_23
  \draw [->] (1275bp,767bp) .. controls (1237bp,755bp) and (1176bp,734bp)  .. (1125bp,717bp);
  % Edge: Pr1_24 -> Pr1_3
  \draw [->] (1342bp,767bp) .. controls (1436bp,737bp) and (1694bp,655bp)  .. (1696bp,652bp) .. controls (1725bp,621bp) and (1720bp,603bp)  .. (1720bp,562bp) .. controls (1720bp,562bp) and (1720bp,562bp)  .. (1720bp,418bp) .. controls (1720bp,376bp) and (1723bp,359bp)  .. (1696bp,328bp) .. controls (1677bp,306bp) and (1648bp,292bp)  .. (1613bp,281bp);
  % Edge: Pr1_24 -> Pr1_4
  \draw [->] (1302bp,760bp) .. controls (1293bp,739bp) and (1277bp,706bp)  .. (1252bp,688bp) .. controls (1211bp,655bp) and (1177bp,689bp)  .. (1140bp,652bp) .. controls (1036bp,544bp) and (1133bp,451bp)  .. (1048bp,328bp) .. controls (1039bp,314bp) and (1025bp,302bp)  .. (1003bp,288bp);
  % Edge: Pr1_24 -> Pr1_5
  \draw [->] (1309bp,760bp) .. controls (1311bp,732bp) and (1314bp,679bp)  .. (1314bp,634bp) .. controls (1314bp,634bp) and (1314bp,634bp)  .. (1314bp,490bp) .. controls (1314bp,449bp) and (1305bp,403bp)  .. (1296bp,364bp);
  % Edge: Pr1_25 -> Pr1_19
  \draw [->] (1320bp,842bp) .. controls (1394bp,823bp) and (1560bp,770bp)  .. (1625bp,652bp) .. controls (1653bp,602bp) and (1600bp,544bp)  .. (1556bp,506bp);
  % Edge: Pr1_25 -> Pr1_4
  \draw [->] (1274bp,832bp) .. controls (1259bp,800bp) and (1224bp,731bp)  .. (1176bp,688bp) .. controls (1152bp,665bp) and (1133bp,677bp)  .. (1111bp,652bp) .. controls (1014bp,535bp) and (1057bp,469bp)  .. (1001bp,328bp) .. controls (997bp,319bp) and (993bp,310bp)  .. (986bp,292bp);
  % Edge: Pr1_25 -> Pr1_24
  \draw [->] (1288bp,832bp) .. controls (1291bp,824bp) and (1294bp,814bp)  .. (1301bp,796bp);
  % Edge: Pr1_26 -> Pr1_3
  \draw [->] (1070bp,847bp) .. controls (1139bp,842bp) and (1281bp,829bp)  .. (1396bp,796bp) .. controls (1581bp,742bp) and (1758bp,753bp)  .. (1758bp,562bp) .. controls (1758bp,562bp) and (1758bp,562bp)  .. (1758bp,418bp) .. controls (1758bp,374bp) and (1753bp,358bp)  .. (1722bp,328bp) .. controls (1696bp,302bp) and (1656bp,288bp)  .. (1615bp,279bp);
  % Edge: Pr1_26 -> Pr1_4
  \draw [->] (1027bp,832bp) .. controls (1024bp,785bp) and (1014bp,653bp)  .. (1004bp,544bp) .. controls (997bp,455bp) and (986bp,351bp)  .. (979bp,292bp);
  % Edge: Pr1_26 -> Pr1_16
  \draw [->] (1006bp,835bp) .. controls (992bp,824bp) and (972bp,811bp)  .. (948bp,794bp);
  % Edge: Pr1_27 -> D1_23
  \draw [->] (422bp,836bp) .. controls (385bp,817bp) and (319bp,777bp)  .. (285bp,724bp) .. controls (175bp,551bp) and (186bp,478bp)  .. (186bp,274bp) .. controls (186bp,274bp) and (186bp,274bp)  .. (186bp,202bp) .. controls (186bp,155bp) and (196bp,102bp)  .. (207bp,60bp);
  % Edge: Pr1_27 -> Pr1_16
  \draw [->] (490bp,844bp) .. controls (576bp,831bp) and (781bp,800bp)  .. (886bp,784bp);
  % Edge: Pr1_28 -> Pr1_13
  \draw [->] (565bp,905bp) .. controls (534bp,865bp) and (457bp,766bp)  .. (387bp,688bp) .. controls (378bp,678bp) and (369bp,667bp)  .. (353bp,651bp);
  % Edge: Pr1_28 -> Pr1_27
  \draw [->] (552bp,908bp) .. controls (533bp,897bp) and (506bp,882bp)  .. (476bp,865bp);
  % Edge: Pr1_28 -> Pr1_15
  \draw [->] (573bp,904bp) .. controls (561bp,866bp) and (535bp,779bp)  .. (519bp,724bp);
  % Edge: Pr1_29 -> Pr1_13
  \draw [->] (224bp,832bp) .. controls (233bp,801bp) and (254bp,736bp)  .. (285bp,688bp) .. controls (292bp,677bp) and (301bp,667bp)  .. (317bp,651bp);
  % Edge: Pr1_29 -> PO1_5
  \draw [->] (215bp,832bp) .. controls (205bp,787bp) and (182bp,665bp)  .. (182bp,562bp) .. controls (182bp,562bp) and (182bp,562bp)  .. (182bp,490bp) .. controls (182bp,268bp) and (279bp,159bp)  .. (492bp,100bp) .. controls (608bp,67bp) and (978bp,49bp)  .. (1115bp,43bp);
  % Edge: Pr1_29 -> D1_23
  \draw [->] (199bp,834bp) .. controls (187bp,824bp) and (173bp,811bp)  .. (164bp,796bp) .. controls (144bp,760bp) and (140bp,747bp)  .. (140bp,706bp) .. controls (140bp,706bp) and (140bp,706bp)  .. (140bp,202bp) .. controls (140bp,151bp) and (171bp,98bp)  .. (198bp,60bp);
  % Edge: Pr1_29 -> Pr1_15
  \draw [->] (247bp,836bp) .. controls (300bp,810bp) and (417bp,753bp)  .. (486bp,720bp);
  % Edge: Pr1_30 -> Pr1_29
  \draw [->] (221bp,904bp) .. controls (220bp,896bp) and (220bp,887bp)  .. (220bp,868bp);
  % Edge: Pr1_30 -> Pr1_27
  \draw [->] (256bp,911bp) .. controls (296bp,898bp) and (362bp,877bp)  .. (416bp,861bp);
  % Edge: Pr1_31 -> Pr1_23
  \draw [->] (796bp,916bp) .. controls (881bp,902bp) and (1077bp,870bp)  .. (1079bp,868bp) .. controls (1113bp,832bp) and (1107bp,770bp)  .. (1097bp,724bp);
  % Edge: Pr1_31 -> Pr1_27
  \draw [->] (719bp,913bp) .. controls (663bp,900bp) and (558bp,875bp)  .. (487bp,859bp);
  % Edge: Pr1_32 -> Pr1_31
  \draw [->] (225bp,989bp) .. controls (303bp,980bp) and (480bp,959bp)  .. (629bp,940bp) .. controls (654bp,937bp) and (683bp,932bp)  .. (716bp,928bp);
  % Edge: Pr1_32 -> Pr1_29
  \draw [->] (176bp,976bp) .. controls (170bp,957bp) and (162bp,927bp)  .. (171bp,904bp) .. controls (176bp,892bp) and (183bp,882bp)  .. (199bp,866bp);
  % Edge: Pr1_32 -> Pr1_13
  \draw [->] (162bp,979bp) .. controls (130bp,955bp) and (76bp,907bp)  .. (76bp,850bp) .. controls (76bp,850bp) and (76bp,850bp)  .. (76bp,778bp) .. controls (76bp,683bp) and (208bp,650bp)  .. (295bp,638bp);
  % Edge: Pr1_33 -> Pr1_29
  \draw [->] (404bp,911bp) .. controls (366bp,899bp) and (304bp,878bp)  .. (252bp,861bp);
  % Edge: Pr1_33 -> Pr1_4
  \draw [->] (422bp,905bp) .. controls (406bp,887bp) and (386bp,856bp)  .. (399bp,832bp) .. controls (441bp,754bp) and (516bp,796bp)  .. (565bp,724bp) .. controls (589bp,690bp) and (584bp,674bp)  .. (584bp,634bp) .. controls (584bp,634bp) and (584bp,634bp)  .. (584bp,562bp) .. controls (584bp,502bp) and (632bp,502bp)  .. (682bp,472bp) .. controls (725bp,446bp) and (752bp,470bp)  .. (787bp,436bp) .. controls (825bp,400bp) and (793bp,364bp)  .. (830bp,328bp) .. controls (857bp,302bp) and (898bp,288bp)  .. (939bp,279bp);
  % Edge: Pr1_33 -> Pr1_27
  \draw [->] (441bp,904bp) .. controls (442bp,896bp) and (444bp,887bp)  .. (447bp,868bp);
  % Edge: Pr1_34 -> Pr1_29
  \draw [->] (986bp,919bp) .. controls (886bp,910bp) and (621bp,888bp)  .. (399bp,868bp) .. controls (355bp,863bp) and (307bp,859bp)  .. (260bp,854bp);
  % Edge: Pr1_34 -> Pr1_26
  \draw [->] (1028bp,904bp) .. controls (1028bp,896bp) and (1028bp,887bp)  .. (1028bp,868bp);
  % Edge: Pr1_34 -> Pr1_4
  \draw [->] (990bp,914bp) .. controls (950bp,904bp) and (889bp,887bp)  .. (875bp,868bp) .. controls (798bp,757bp) and (937bp,710bp)  .. (971bp,580bp) .. controls (985bp,528bp) and (981bp,368bp)  .. (978bp,292bp);
  % Edge: Pr1_35 -> Pr1_34
  \draw [->] (960bp,978bp) .. controls (972bp,968bp) and (987bp,955bp)  .. (1008bp,938bp);
  % Edge: Pr1_35 -> Pr1_29
  \draw [->] (909bp,982bp) .. controls (903bp,979bp) and (896bp,977bp)  .. (889bp,976bp) .. controls (732bp,940bp) and (675bp,1007bp)  .. (527bp,940bp) .. controls (506bp,930bp) and (510bp,914bp)  .. (489bp,904bp) .. controls (452bp,884bp) and (337bp,866bp)  .. (259bp,855bp);
  % Edge: Pr1_35 -> Pr1_4
  \draw [->] (925bp,977bp) .. controls (905bp,954bp) and (871bp,911bp)  .. (855bp,868bp) .. controls (845bp,837bp) and (851bp,828bp)  .. (849bp,796bp) .. controls (842bp,619bp) and (836bp,567bp)  .. (893bp,400bp) .. controls (905bp,367bp) and (905bp,356bp)  .. (924bp,328bp) .. controls (932bp,317bp) and (941bp,306bp)  .. (958bp,290bp);
  % Edge: Pr1_36 -> Pr1_33
  \draw [->] (876bp,1056bp) .. controls (805bp,1034bp) and (636bp,984bp)  .. (494bp,940bp) .. controls (490bp,939bp) and (486bp,937bp)  .. (472bp,933bp);
  % Edge: Pr1_36 -> Pr1_34
  \draw [->] (939bp,1052bp) .. controls (956bp,1043bp) and (977bp,1029bp)  .. (991bp,1012bp) .. controls (1006bp,993bp) and (1016bp,968bp)  .. (1024bp,940bp);
  % Edge: Pr1_36 -> Pr1_35
  \draw [->] (918bp,1048bp) .. controls (922bp,1040bp) and (925bp,1030bp)  .. (933bp,1012bp);
  % Edge: Pr1_37 -> Pr1_31
  \draw [->] (982bp,1054bp) .. controls (975bp,1052bp) and (969bp,1050bp)  .. (962bp,1048bp) .. controls (886bp,1026bp) and (847bp,1064bp)  .. (787bp,1012bp) .. controls (770bp,997bp) and (762bp,970bp)  .. (757bp,940bp);
  % Edge: Pr1_37 -> Pr1_35
  \draw [->] (996bp,1049bp) .. controls (987bp,1040bp) and (975bp,1028bp)  .. (957bp,1011bp);
  % Edge: Pr1_37 -> Pr1_34
  \draw [->] (1018bp,1048bp) .. controls (1020bp,1038bp) and (1023bp,1024bp)  .. (1024bp,1012bp) .. controls (1026bp,991bp) and (1028bp,968bp)  .. (1028bp,940bp);
  % Edge: Pr1_38 -> Pr1_31
  \draw [->] (884bp,1124bp) .. controls (850bp,1104bp) and (790bp,1064bp)  .. (763bp,1012bp) .. controls (754bp,993bp) and (752bp,969bp)  .. (754bp,940bp);
  % Edge: Pr1_38 -> Pr1_36
  \draw [->] (911bp,1120bp) .. controls (911bp,1112bp) and (911bp,1103bp)  .. (911bp,1084bp);
  % Edge: Pr1_38 -> Pr1_34
  \draw [->] (946bp,1128bp) .. controls (989bp,1115bp) and (1057bp,1094bp)  .. (1064bp,1084bp) .. controls (1093bp,1043bp) and (1067bp,983bp)  .. (1040bp,940bp);
  % Edge: Pr1_39 -> Pr1_31
  \draw [->] (656bp,1120bp) .. controls (639bp,1089bp) and (611bp,1021bp)  .. (640bp,976bp) .. controls (649bp,963bp) and (684bp,947bp)  .. (723bp,933bp);
  % Edge: Pr1_39 -> Pr1_37
  \draw [->] (706bp,1133bp) .. controls (764bp,1125bp) and (872bp,1108bp)  .. (962bp,1084bp) .. controls (965bp,1083bp) and (968bp,1082bp)  .. (981bp,1078bp);
  % Edge: Pr1_40 -> Pr1_31
  \draw [->] (734bp,1192bp) .. controls (732bp,1173bp) and (726bp,1144bp)  .. (717bp,1120bp) .. controls (711bp,1102bp) and (703bp,1101bp)  .. (696bp,1084bp) .. controls (684bp,1053bp) and (683bp,1044bp)  .. (678bp,1012bp) .. controls (677bp,996bp) and (671bp,990bp)  .. (678bp,976bp) .. controls (686bp,960bp) and (701bp,948bp)  .. (725bp,934bp);
  % Edge: Pr1_40 -> Pr1_38
  \draw [->] (766bp,1197bp) .. controls (796bp,1185bp) and (840bp,1168bp)  .. (881bp,1151bp);
  % Edge: Pr1_41 -> Pr1_34
  \draw [->] (1055bp,1125bp) .. controls (1072bp,1116bp) and (1091bp,1102bp)  .. (1100bp,1084bp) .. controls (1122bp,1041bp) and (1122bp,1018bp)  .. (1100bp,976bp) .. controls (1093bp,961bp) and (1079bp,949bp)  .. (1057bp,935bp);
  % Edge: Pr1_41 -> Pr1_37
  \draw [->] (1023bp,1120bp) .. controls (1022bp,1112bp) and (1020bp,1103bp)  .. (1016bp,1084bp);
  % Edge: Pr1_42 -> Pr1_23
  \draw [->] (1065bp,1195bp) .. controls (1078bp,1185bp) and (1095bp,1171bp)  .. (1107bp,1156bp) .. controls (1129bp,1128bp) and (1134bp,1118bp)  .. (1142bp,1084bp) .. controls (1174bp,955bp) and (1126bp,797bp)  .. (1099bp,724bp);
  % Edge: Pr1_42 -> Pr1_41
  \draw [->] (1038bp,1192bp) .. controls (1036bp,1184bp) and (1034bp,1175bp)  .. (1030bp,1156bp);
  % Edge: Pr1_42 -> Pr1_10
  \draw [->] (1083bp,1206bp) .. controls (1183bp,1195bp) and (1428bp,1150bp)  .. (1428bp,994bp) .. controls (1428bp,994bp) and (1428bp,994bp)  .. (1428bp,778bp) .. controls (1428bp,701bp) and (1331bp,662bp)  .. (1261bp,642bp);
  % Edge: Pr1_42 -> Pr1_38
  \draw [->] (1016bp,1196bp) .. controls (996bp,1185bp) and (968bp,1169bp)  .. (937bp,1152bp);
  % Edge: Pr1_43 -> Pr1_34
  \draw [->] (972bp,1198bp) .. controls (1010bp,1185bp) and (1069bp,1163bp)  .. (1077bp,1156bp) .. controls (1107bp,1131bp) and (1112bp,1120bp)  .. (1122bp,1084bp) .. controls (1136bp,1037bp) and (1147bp,1017bp)  .. (1122bp,976bp) .. controls (1111bp,957bp) and (1091bp,944bp)  .. (1063bp,932bp);
  % Edge: Pr1_44 -> Pr1_42
  \draw [->] (720bp,1277bp) .. controls (780bp,1269bp) and (895bp,1253bp)  .. (991bp,1228bp) .. controls (994bp,1227bp) and (997bp,1226bp)  .. (1010bp,1222bp);
  % Edge: Pr1_44 -> Pr1_31
  \draw [->] (667bp,1265bp) .. controls (651bp,1241bp) and (625bp,1198bp)  .. (615bp,1156bp) .. controls (604bp,1106bp) and (593bp,1021bp)  .. (625bp,976bp) .. controls (631bp,968bp) and (678bp,950bp)  .. (723bp,933bp);
  % Edge: Pr1_44 -> Pr1_39
  \draw [->] (677bp,1264bp) .. controls (675bp,1239bp) and (671bp,1195bp)  .. (668bp,1156bp);
  % Edge: Pr1_44 -> Pr1_29
  \draw [->] (638bp,1277bp) .. controls (530bp,1262bp) and (238bp,1204bp)  .. (133bp,1012bp) .. controls (106bp,963bp) and (157bp,904bp)  .. (199bp,866bp);
  % Edge: Pr1_44 -> Pr1_15
  \draw [->] (642bp,1273bp) .. controls (585bp,1257bp) and (482bp,1216bp)  .. (482bp,1138bp) .. controls (482bp,1138bp) and (482bp,1138bp)  .. (482bp,1066bp) .. controls (482bp,1024bp) and (478bp,1005bp)  .. (506bp,976bp) .. controls (546bp,935bp) and (595bp,985bp)  .. (629bp,940bp) .. controls (639bp,927bp) and (633bp,919bp)  .. (629bp,904bp) .. controls (621bp,868bp) and (570bp,791bp)  .. (551bp,760bp) .. controls (545bp,751bp) and (539bp,741bp)  .. (527bp,724bp);
  % Edge: Pr1_44 -> Pr1_43
  \draw [->] (716bp,1273bp) .. controls (758bp,1264bp) and (829bp,1246bp)  .. (889bp,1228bp) .. controls (892bp,1227bp) and (895bp,1226bp)  .. (908bp,1222bp);
  % Edge: Pr1_44 -> PO1_5
  \draw [->] (721bp,1279bp) .. controls (828bp,1271bp) and (1111bp,1248bp)  .. (1203bp,1228bp) .. controls (1324bp,1201bp) and (1466bp,1261bp)  .. (1466bp,1138bp) .. controls (1466bp,1138bp) and (1466bp,1138bp)  .. (1466bp,778bp) .. controls (1466bp,549bp) and (1186bp,574bp)  .. (1186bp,346bp) .. controls (1186bp,346bp) and (1186bp,346bp)  .. (1186bp,274bp) .. controls (1186bp,199bp) and (1166bp,113bp)  .. (1153bp,60bp);
  % Edge: Pr1_44 -> Pr1_3
  \draw [->] (721bp,1279bp) .. controls (884bp,1269bp) and (1471bp,1231bp)  .. (1480bp,1228bp) .. controls (1570bp,1197bp) and (1834bp,1088bp)  .. (1834bp,994bp) .. controls (1834bp,994bp) and (1834bp,994bp)  .. (1834bp,418bp) .. controls (1834bp,372bp) and (1820bp,356bp)  .. (1783bp,328bp) .. controls (1759bp,309bp) and (1677bp,291bp)  .. (1614bp,280bp);
  % Edge: Pr1_44 -> Pr1_23
  \draw [->] (721bp,1280bp) .. controls (796bp,1276bp) and (960bp,1263bp)  .. (1093bp,1228bp) .. controls (1196bp,1200bp) and (1314bp,1244bp)  .. (1314bp,1138bp) .. controls (1314bp,1138bp) and (1314bp,1138bp)  .. (1314bp,1066bp) .. controls (1314bp,1061bp) and (1136bp,764bp)  .. (1133bp,760bp) .. controls (1127bp,750bp) and (1120bp,740bp)  .. (1106bp,723bp);
  % Edge: Pr1_45 -> Pr1_44
  \draw [->] (405bp,1345bp) .. controls (462bp,1332bp) and (570bp,1307bp)  .. (642bp,1291bp);
  % Edge: Pr1_45 -> Pr1_42
  \draw [->] (409bp,1349bp) .. controls (476bp,1342bp) and (615bp,1324bp)  .. (730bp,1300bp) .. controls (848bp,1275bp) and (877bp,1264bp)  .. (991bp,1228bp) .. controls (994bp,1227bp) and (997bp,1226bp)  .. (1009bp,1222bp);
  % Edge: Pr1_45 -> Pr1_29
  \draw [->] (329bp,1347bp) .. controls (234bp,1330bp) and (0bp,1279bp)  .. (0bp,1210bp) .. controls (0bp,1210bp) and (0bp,1210bp)  .. (0bp,994bp) .. controls (0bp,912bp) and (105bp,875bp)  .. (180bp,857bp);
  % Edge: Pr1_45 -> Pr1_14
  \draw [->] (352bp,1337bp) .. controls (330bp,1312bp) and (292bp,1261bp)  .. (292bp,1210bp) .. controls (292bp,1210bp) and (292bp,1210bp)  .. (292bp,850bp) .. controls (292bp,808bp) and (310bp,761bp)  .. (327bp,724bp);
  % Edge: Pr1_45 -> Pr1_34
  \draw [->] (410bp,1353bp) .. controls (519bp,1351bp) and (817bp,1342bp)  .. (1061bp,1300bp) .. controls (1183bp,1279bp) and (1254bp,1325bp)  .. (1328bp,1228bp) .. controls (1422bp,1106bp) and (1170bp,982bp)  .. (1059bp,934bp);
  % Edge: Pr1_45 -> Pr1_30
  \draw [->] (337bp,1341bp) .. controls (293bp,1321bp) and (216bp,1276bp)  .. (216bp,1210bp) .. controls (216bp,1210bp) and (216bp,1210bp)  .. (216bp,1138bp) .. controls (216bp,1065bp) and (244bp,1047bp)  .. (235bp,976bp) .. controls (234bp,968bp) and (233bp,958bp)  .. (228bp,940bp);
  % Edge: Pr1_45 -> Pr1_33
  \draw [->] (368bp,1336bp) .. controls (368bp,1308bp) and (368bp,1255bp)  .. (368bp,1210bp) .. controls (368bp,1210bp) and (368bp,1210bp)  .. (368bp,1066bp) .. controls (368bp,1020bp) and (396bp,975bp)  .. (423bp,939bp);
  % Edge: Pr1_46 -> Pr1_11
  \draw [->] (836bp,976bp) .. controls (833bp,936bp) and (826bp,839bp)  .. (842bp,760bp) .. controls (855bp,696bp) and (887bp,626bp)  .. (911bp,580bp);
  % Edge: Pr1_46 -> Pr1_3
  \draw [->] (857bp,978bp) .. controls (882bp,956bp) and (930bp,920bp)  .. (977bp,904bp) .. controls (1128bp,851bp) and (1180bp,908bp)  .. (1333bp,868bp) .. controls (1410bp,847bp) and (1426bp,830bp)  .. (1497bp,796bp) .. controls (1633bp,729bp) and (1796bp,785bp)  .. (1796bp,634bp) .. controls (1796bp,634bp) and (1796bp,634bp)  .. (1796bp,418bp) .. controls (1796bp,373bp) and (1786bp,356bp)  .. (1751bp,328bp) .. controls (1716bp,298bp) and (1664bp,284bp)  .. (1616bp,277bp);
  % Edge: Pr1_46 -> Pr1_31
  \draw [->] (819bp,978bp) .. controls (808bp,968bp) and (794bp,956bp)  .. (775bp,938bp);
  % Edge: Pr1_46 -> Pr1_34
  \draw [->] (870bp,982bp) .. controls (902bp,969bp) and (952bp,951bp)  .. (996bp,934bp);
  % Edge: Pr1_46 -> Pr1_29
  \draw [->] (796bp,991bp) .. controls (700bp,984bp) and (464bp,964bp)  .. (387bp,940bp) .. controls (337bp,923bp) and (283bp,892bp)  .. (241bp,865bp);
  % Edge: Pr1_46 -> D1_22
  \draw [->] (796bp,993bp) .. controls (669bp,991bp) and (288bp,981bp)  .. (171bp,940bp) .. controls (104bp,916bp) and (38bp,921bp)  .. (38bp,850bp) .. controls (38bp,850bp) and (38bp,850bp)  .. (38bp,202bp) .. controls (38bp,150bp) and (74bp,98bp)  .. (106bp,60bp);
  % Edge: Pr1_47 -> Pr1_46
  \draw [->] (838bp,1192bp) .. controls (838bp,1154bp) and (838bp,1067bp)  .. (838bp,1012bp);
  % Edge: Pr1_47 -> Pr1_31
  \draw [->] (827bp,1193bp) .. controls (808bp,1159bp) and (766bp,1083bp)  .. (751bp,1012bp) .. controls (747bp,991bp) and (748bp,968bp)  .. (752bp,940bp);
  % Edge: Pr1_47 -> Pr1_14
  \draw [->] (807bp,1198bp) .. controls (800bp,1196bp) and (794bp,1194bp)  .. (787bp,1192bp) .. controls (712bp,1170bp) and (685bp,1192bp)  .. (615bp,1156bp) .. controls (492bp,1091bp) and (460bp,1059bp)  .. (387bp,940bp) .. controls (347bp,874bp) and (338bp,781bp)  .. (336bp,724bp);
  % Edge: Pr1_47 -> Pr1_4
  \draw [->] (869bp,1198bp) .. controls (876bp,1196bp) and (883bp,1194bp)  .. (889bp,1192bp) .. controls (972bp,1169bp) and (1004bp,1198bp)  .. (1077bp,1156bp) .. controls (1254bp,1055bp) and (1324bp,996bp)  .. (1359bp,796bp) .. controls (1362bp,780bp) and (1366bp,774bp)  .. (1359bp,760bp) .. controls (1341bp,717bp) and (1323bp,711bp)  .. (1283bp,688bp) .. controls (1239bp,661bp) and (1210bp,688bp)  .. (1173bp,652bp) .. controls (1068bp,544bp) and (1169bp,444bp)  .. (1073bp,328bp) .. controls (1059bp,310bp) and (1038bp,297bp)  .. (1009bp,285bp);
  % Edge: Pr1_47 -> Pr1_41
  \draw [->] (869bp,1198bp) .. controls (901bp,1185bp) and (950bp,1167bp)  .. (994bp,1150bp);
  % Edge: Pr1_48 -> Pr1_3
  \draw [->] (1052bp,1279bp) .. controls (1224bp,1269bp) and (1872bp,1222bp)  .. (1872bp,1138bp) .. controls (1872bp,1138bp) and (1872bp,1138bp)  .. (1872bp,418bp) .. controls (1872bp,376bp) and (1879bp,356bp)  .. (1848bp,328bp) .. controls (1817bp,298bp) and (1696bp,283bp)  .. (1616bp,277bp);
  % Edge: Pr1_48 -> Pr1_11
  \draw [->] (1048bp,1274bp) .. controls (1088bp,1265bp) and (1151bp,1250bp)  .. (1203bp,1228bp) .. controls (1263bp,1203bp) and (1296bp,1211bp)  .. (1328bp,1156bp) .. controls (1353bp,1114bp) and (1340bp,1094bp)  .. (1328bp,1048bp) .. controls (1320bp,1012bp) and (1308bp,1007bp)  .. (1290bp,976bp) .. controls (1265bp,927bp) and (1257bp,916bp)  .. (1231bp,868bp) .. controls (1191bp,788bp) and (1205bp,752bp)  .. (1143bp,688bp) .. controls (1140bp,683bp) and (1017bp,615bp)  .. (946bp,576bp);
  % Edge: Pr1_48 -> Pr1_47
  \draw [->] (980bp,1269bp) .. controls (951bp,1257bp) and (908bp,1240bp)  .. (868bp,1223bp);
  % Edge: Pr1_48 -> Pr1_8
  \draw [->] (969bp,1278bp) .. controls (893bp,1271bp) and (734bp,1253bp)  .. (685bp,1228bp) .. controls (646bp,1207bp) and (632bp,1197bp)  .. (615bp,1156bp) .. controls (601bp,1121bp) and (584bp,1078bp)  .. (625bp,976bp) .. controls (649bp,917bp) and (690bp,924bp)  .. (717bp,868bp) .. controls (736bp,831bp) and (736bp,818bp)  .. (736bp,778bp) .. controls (736bp,778bp) and (736bp,778bp)  .. (736bp,634bp) .. controls (736bp,593bp) and (734bp,547bp)  .. (731bp,508bp);
  % Node: Pr1_1
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1329bp,126bp) ellipse (39bp and 18bp);
  \draw (1329bp,120bp) node {Prop. 1.1};
\end{scope}
  % Node: Pr1_2
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1510bp,202bp) ellipse (39bp and 18bp);
  \draw (1510bp,196bp) node {Prop. 1.2};
\end{scope}
  % Node: Pr1_3
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1577bp,274bp) ellipse (39bp and 18bp);
  \draw (1577bp,268bp) node {Prop. 1.3};
\end{scope}
  % Node: Pr1_4
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (977bp,274bp) ellipse (39bp and 18bp);
  \draw (977bp,268bp) node {Prop. 1.4};
\end{scope}
  % Node: Pr1_5
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1291bp,346bp) ellipse (39bp and 18bp);
  \draw (1291bp,340bp) node {Prop. 1.5};
\end{scope}
  % Node: Pr1_6
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1387bp,346bp) ellipse (39bp and 18bp);
  \draw (1387bp,340bp) node {Prop. 1.6};
\end{scope}
  % Node: Pr1_7
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (739bp,418bp) ellipse (39bp and 18bp);
  \draw (739bp,412bp) node {Prop. 1.7};
\end{scope}
  % Node: Pr1_8
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (730bp,490bp) ellipse (39bp and 18bp);
  \draw (730bp,484bp) node {Prop. 1.8};
\end{scope}
  % Node: Pr1_9
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1419bp,562bp) ellipse (39bp and 18bp);
  \draw (1419bp,556bp) node {Prop. 1.9};
\end{scope}
  % Node: Pr1_10
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1224bp,634bp) ellipse (42bp and 18bp);
  \draw (1224bp,628bp) node {Prop. 1.10};
\end{scope}
  % Node: Pr1_11
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (920bp,562bp) ellipse (42bp and 18bp);
  \draw (920bp,556bp) node {Prop. 1.11};
\end{scope}
  % Node: Pr1_12
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (663bp,706bp) ellipse (42bp and 18bp);
  \draw (663bp,700bp) node {Prop. 1.12};
\end{scope}
  % Node: Pr1_13
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (336bp,634bp) ellipse (42bp and 18bp);
  \draw (336bp,628bp) node {Prop. 1.13};
\end{scope}
  % Node: Pr1_14
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (336bp,706bp) ellipse (42bp and 18bp);
  \draw (336bp,700bp) node {Prop. 1.14};
\end{scope}
  % Node: Pr1_15
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (514bp,706bp) ellipse (42bp and 18bp);
  \draw (514bp,700bp) node {Prop. 1.15};
\end{scope}
  % Node: Pr1_16
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (926bp,778bp) ellipse (42bp and 18bp);
  \draw (926bp,772bp) node {Prop. 1.16};
\end{scope}
  % Node: Pr1_17
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (666bp,850bp) ellipse (42bp and 18bp);
  \draw (666bp,844bp) node {Prop. 1.17};
\end{scope}
  % Node: Pr1_18
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1498bp,418bp) ellipse (42bp and 18bp);
  \draw (1498bp,412bp) node {Prop. 1.18};
\end{scope}
  % Node: Pr1_19
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1536bp,490bp) ellipse (42bp and 18bp);
  \draw (1536bp,484bp) node {Prop. 1.19};
\end{scope}
  % Node: Pr1_20
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1536bp,562bp) ellipse (42bp and 18bp);
  \draw (1536bp,556bp) node {Prop. 1.20};
\end{scope}
  % Node: Pr1_21
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (926bp,850bp) ellipse (42bp and 18bp);
  \draw (926bp,844bp) node {Prop. 1.21};
\end{scope}
  % Node: Pr1_22
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1574bp,634bp) ellipse (42bp and 18bp);
  \draw (1574bp,628bp) node {Prop. 1.22};
\end{scope}
  % Node: Pr1_23
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1092bp,706bp) ellipse (42bp and 18bp);
  \draw (1092bp,700bp) node {Prop. 1.23};
\end{scope}
  % Node: Pr1_24
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1308bp,778bp) ellipse (42bp and 18bp);
  \draw (1308bp,772bp) node {Prop. 1.24};
\end{scope}
  % Node: Pr1_25
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1282bp,850bp) ellipse (42bp and 18bp);
  \draw (1282bp,844bp) node {Prop. 1.25};
\end{scope}
  % Node: Pr1_26
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1028bp,850bp) ellipse (42bp and 18bp);
  \draw (1028bp,844bp) node {Prop. 1.26};
\end{scope}
  % Node: Pr1_27
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (450bp,850bp) ellipse (42bp and 18bp);
  \draw (450bp,844bp) node {Prop. 1.27};
\end{scope}
  % Node: Pr1_28
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (578bp,922bp) ellipse (42bp and 18bp);
  \draw (578bp,916bp) node {Prop. 1.28};
\end{scope}
  % Node: Pr1_29
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (219bp,850bp) ellipse (42bp and 18bp);
  \draw (219bp,844bp) node {Prop. 1.29};
\end{scope}
  % Node: Pr1_30
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (222bp,922bp) ellipse (42bp and 18bp);
  \draw (222bp,916bp) node {Prop. 1.30};
\end{scope}
  % Node: Pr1_31
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (756bp,922bp) ellipse (42bp and 18bp);
  \draw (756bp,916bp) node {Prop. 1.31};
\end{scope}
  % Node: Pr1_32
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (184bp,994bp) ellipse (42bp and 18bp);
  \draw (184bp,988bp) node {Prop. 1.32};
\end{scope}
  % Node: Pr1_33
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (438bp,922bp) ellipse (42bp and 18bp);
  \draw (438bp,916bp) node {Prop. 1.33};
\end{scope}
  % Node: Pr1_34
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1028bp,922bp) ellipse (42bp and 18bp);
  \draw (1028bp,916bp) node {Prop. 1.34};
\end{scope}
  % Node: Pr1_35
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (940bp,994bp) ellipse (42bp and 18bp);
  \draw (940bp,988bp) node {Prop. 1.35};
\end{scope}
  % Node: Pr1_36
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (911bp,1066bp) ellipse (42bp and 18bp);
  \draw (911bp,1060bp) node {Prop. 1.36};
\end{scope}
  % Node: Pr1_37
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1013bp,1066bp) ellipse (42bp and 18bp);
  \draw (1013bp,1060bp) node {Prop. 1.37};
\end{scope}
  % Node: Pr1_38
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (911bp,1138bp) ellipse (42bp and 18bp);
  \draw (911bp,1132bp) node {Prop. 1.38};
\end{scope}
  % Node: Pr1_39
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (666bp,1138bp) ellipse (42bp and 18bp);
  \draw (666bp,1132bp) node {Prop. 1.39};
\end{scope}
  % Node: Pr1_40
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (736bp,1210bp) ellipse (42bp and 18bp);
  \draw (736bp,1204bp) node {Prop. 1.40};
\end{scope}
  % Node: Pr1_41
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1026bp,1138bp) ellipse (42bp and 18bp);
  \draw (1026bp,1132bp) node {Prop. 1.41};
\end{scope}
  % Node: Pr1_42
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1042bp,1210bp) ellipse (42bp and 18bp);
  \draw (1042bp,1204bp) node {Prop. 1.42};
\end{scope}
  % Node: Pr1_43
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (940bp,1210bp) ellipse (42bp and 18bp);
  \draw (940bp,1204bp) node {Prop. 1.43};
\end{scope}
  % Node: Pr1_44
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (679bp,1282bp) ellipse (42bp and 18bp);
  \draw (679bp,1276bp) node {Prop. 1.44};
\end{scope}
  % Node: Pr1_45
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (368bp,1354bp) ellipse (42bp and 18bp);
  \draw (368bp,1348bp) node {Prop. 1.45};
\end{scope}
  % Node: Pr1_46
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (838bp,994bp) ellipse (42bp and 18bp);
  \draw (838bp,988bp) node {Prop. 1.46};
\end{scope}
  % Node: Pr1_47
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (838bp,1210bp) ellipse (42bp and 18bp);
  \draw (838bp,1204bp) node {Prop. 1.47};
\end{scope}
  % Node: Pr1_48
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1010bp,1282bp) ellipse (42bp and 18bp);
  \draw (1010bp,1276bp) node {Prop. 1.48};
\end{scope}
  % Node: D1_22
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (159bp,60bp) -- (89bp,60bp) -- (89bp,24bp) -- (159bp,24bp) -- cycle;
  \draw (124bp,36bp) node {Def. 1.22};
\end{scope}
  % Node: D1_23
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (247bp,60bp) -- (177bp,60bp) -- (177bp,24bp) -- (247bp,24bp) -- cycle;
  \draw (212bp,36bp) node {Def. 1.23};
\end{scope}
  % Node: D1_10
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (335bp,60bp) -- (265bp,60bp) -- (265bp,24bp) -- (335bp,24bp) -- cycle;
  \draw (300bp,36bp) node {Def. 1.10};
\end{scope}
  % Node: D1_15
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (423bp,60bp) -- (353bp,60bp) -- (353bp,24bp) -- (423bp,24bp) -- cycle;
  \draw (388bp,36bp) node {Def. 1.15};
\end{scope}
  % Node: PO1_1
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1349bp,60bp) -- (1283bp,60bp) -- (1283bp,24bp) -- (1349bp,24bp) -- cycle;
  \draw (1316bp,36bp) node {Post. 1.1};
\end{scope}
  % Node: PO1_2
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1517bp,60bp) -- (1451bp,60bp) -- (1451bp,24bp) -- (1517bp,24bp) -- cycle;
  \draw (1484bp,36bp) node {Post. 1.2};
\end{scope}
  % Node: PO1_3
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1433bp,60bp) -- (1367bp,60bp) -- (1367bp,24bp) -- (1433bp,24bp) -- cycle;
  \draw (1400bp,36bp) node {Post. 1.3};
\end{scope}
  % Node: PO1_4
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1265bp,60bp) -- (1199bp,60bp) -- (1199bp,24bp) -- (1265bp,24bp) -- cycle;
  \draw (1232bp,36bp) node {Post. 1.4};
\end{scope}
  % Node: PO1_5
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1181bp,60bp) -- (1115bp,60bp) -- (1115bp,24bp) -- (1181bp,24bp) -- cycle;
  \draw (1148bp,36bp) node {Post. 1.5};
\end{scope}
  % Node: CN1_1
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (748bp,144bp) -- (642bp,144bp) -- (642bp,108bp) -- (748bp,108bp) -- cycle;
  \draw (695bp,120bp) node {Comm. Not. 1.1};
\end{scope}
  % Node: CN1_2
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (624bp,144bp) -- (518bp,144bp) -- (518bp,108bp) -- (624bp,108bp) -- cycle;
  \draw (571bp,120bp) node {Comm. Not. 1.2};
\end{scope}
  % Node: CN1_3
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (872bp,144bp) -- (766bp,144bp) -- (766bp,108bp) -- (872bp,108bp) -- cycle;
  \draw (819bp,120bp) node {Comm. Not. 1.3};
\end{scope}
  % Node: CN1_4
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (996bp,144bp) -- (890bp,144bp) -- (890bp,108bp) -- (996bp,108bp) -- cycle;
  \draw (943bp,120bp) node {Comm. Not. 1.4};
\end{scope}
  % Node: CN1_5
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1120bp,144bp) -- (1014bp,144bp) -- (1014bp,108bp) -- (1120bp,108bp) -- cycle;
  \draw (1067bp,120bp) node {Comm. Not. 1.5};
\end{scope}
%
\end{tikzpicture}
% End of code

\begin{center}
\Huge Figure 1: Dependency graph of Propositions from Book I of Euclid's \textit{Elements}.
\end{center}
\begin{flushright}
\Huge Thomson Nguyen\\
\texttt{thomson@ocf.berkeley.edu}
\end{flushright}