Graph[{<|"Book" -> 1, "Theorem" -> 1|>, <|"Common Notion" -> 1|>, <|"Postulate" -> 1|>, <|"Postulate" -> 3|>, <|"Book" -> 1, "Theorem" -> 2|>, <|"Common Notion" -> 3|>, <|"Postulate" -> 2|>, <|"Book" -> 1, "Theorem" -> 3|>, <|"Book" -> 1, "Theorem" -> 4|>, <|"Common Notion" -> 4|>, <|"Book" -> 1, "Theorem" -> 5|>, <|"Book" -> 1, "Theorem" -> 6|>, None, <|"Common Notion" -> 5|>, <|"Book" -> 1, "Theorem" -> 7|>, <|"Book" -> 1, "Theorem" -> 8|>, <|"Book" -> 1, "Theorem" -> 9|>, <|"Book" -> 1, "Theorem" -> 10|>, <|"Book" -> 1, "Theorem" -> 11|>, <|"Book" -> 1, "Theorem" -> 12|>, <|"Book" -> 1, "Theorem" -> 13|>, <|"Common Notion" -> 2|>, <|"Book" -> 1, "Theorem" -> 14|>, <|"Postulate" -> 4|>, <|"Book" -> 1, "Theorem" -> 15|>, <|"Book" -> 1, "Theorem" -> 16|>, <|"Book" -> 1, "Theorem" -> 17|>, <|"Book" -> 1, "Theorem" -> 18|>, <|"Book" -> 1, "Theorem" -> 19|>, <|"Book" -> 1, "Theorem" -> 20|>, <|"Book" -> 1, "Theorem" -> 21|>, <|"Book" -> 1, "Theorem" -> 22|>, <|"Book" -> 1, "Theorem" -> 23|>, <|"Book" -> 1, "Theorem" -> 24|>, <|"Book" -> 1, "Theorem" -> 25|>, <|"Book" -> 1, "Theorem" -> 26|>, <|"Book" -> 1, "Theorem" -> 27|>, <|"Book" -> 1, "Theorem" -> 28|>, <|"Book" -> 1, "Theorem" -> 29|>, <|"Postulate" -> 5|>, <|"Book" -> 1, "Theorem" -> 30|>, <|"Book" -> 1, "Theorem" -> 31|>, <|"Book" -> 1, "Theorem" -> 32|>, <|"Book" -> 1, "Theorem" -> 33|>, <|"Book" -> 1, "Theorem" -> 34|>, <|"Book" -> 1, "Theorem" -> 35|>, <|"Book" -> 1, "Theorem" -> 36|>, <|"Book" -> 1, "Theorem" -> 37|>, <|"Book" -> 1, "Theorem" -> 38|>, <|"Book" -> 1, "Theorem" -> 39|>, <|"Book" -> 1, "Theorem" -> 40|>, <|"Book" -> 1, "Theorem" -> 41|>, <|"Book" -> 1, "Theorem" -> 42|>, <|"Book" -> 1, "Theorem" -> 43|>, <|"Book" -> 1, "Theorem" -> 44|>, <|"Book" -> 1, "Theorem" -> 45|>, <|"Book" -> 1, "Theorem" -> 46|>, <|"Book" -> 1, "Theorem" -> 47|>, <|"Book" -> 1, "Theorem" -> 48|>, <|"Book" -> 2, "Theorem" -> 1|>, <|"Book" -> 2, "Theorem" -> 2|>, <|"Book" -> 2, "Theorem" -> 3|>, <|"Book" -> 2, "Theorem" -> 4|>, <|"Book" -> 2, "Theorem" -> 5|>, <|"Book" -> 2, "Theorem" -> 6|>, <|"Book" -> 2, "Theorem" -> 7|>, <|"Book" -> 2, "Theorem" -> 8|>, <|"Book" -> 2, "Theorem" -> 9|>, <|"Book" -> 2, "Theorem" -> 10|>, <|"Book" -> 2, "Theorem" -> 11|>, <|"Book" -> 2, "Theorem" -> 12|>, <|"Book" -> 2, "Theorem" -> 13|>, <|"Book" -> 2, "Theorem" -> 14|>, <|"Book" -> 3, "Theorem" -> 1|>, <|"Book" -> 3, "Theorem" -> 2|>, <|"Book" -> 3, "Theorem" -> 3|>, <|"Book" -> 3, "Theorem" -> 4|>, <|"Book" -> 3, "Theorem" -> 5|>, <|"Book" -> 3, "Theorem" -> 6|>, <|"Book" -> 3, "Theorem" -> 7|>, <|"Book" -> 3, "Theorem" -> 8|>, <|"Book" -> 3, "Theorem" -> 9|>, <|"Book" -> 3, "Theorem" -> 10|>, <|"Book" -> 3, "Theorem" -> 11|>, <|"Book" -> 3, "Theorem" -> 12|>, <|"Book" -> 3, "Theorem" -> 13|>, <|"Book" -> 3, "Theorem" -> 14|>, <|"Book" -> 3, "Theorem" -> 15|>, <|"Book" -> 3, "Theorem" -> 16|>, <|"Book" -> 3, "Theorem" -> 17|>, <|"Book" -> 3, "Theorem" -> 18|>, <|"Book" -> 3, "Theorem" -> 19|>, <|"Book" -> 3, "Theorem" -> 20|>, <|"Book" -> 3, "Theorem" -> 21|>, <|"Book" -> 3, "Theorem" -> 22|>, <|"Book" -> 3, "Theorem" -> 23|>, <|"Book" -> 3, "Theorem" -> 24|>, <|"Book" -> 3, "Theorem" -> 25|>, <|"Book" -> 3, "Theorem" -> 26|>, <|"Book" -> 3, "Theorem" -> 27|>, <|"Book" -> 3, "Theorem" -> 28|>, <|"Book" -> 3, "Theorem" -> 29|>, <|"Book" -> 3, "Theorem" -> 30|>, <|"Book" -> 3, "Theorem" -> 31|>, <|"Book" -> 3, "Theorem" -> 32|>, <|"Book" -> 3, "Theorem" -> 33|>, <|"Book" -> 3, "Theorem" -> 34|>, <|"Book" -> 3, "Theorem" -> 35|>, <|"Book" -> 3, "Theorem" -> 36|>, <|"Book" -> 3, "Theorem" -> 37|>, <|"Book" -> 4, "Theorem" -> 1|>, <|"Book" -> 4, "Theorem" -> 2|>, <|"Book" -> 4, "Theorem" -> 3|>, <|"Book" -> 4, "Theorem" -> 4|>, <|"Book" -> 4, "Theorem" -> 5|>, <|"Book" -> 4, "Theorem" -> 6|>, <|"Book" -> 4, "Theorem" -> 7|>, <|"Book" -> 4, "Theorem" -> 8|>, <|"Book" -> 4, "Theorem" -> 9|>, <|"Book" -> 4, "Theorem" -> 10|>, <|"Book" -> 4, "Theorem" -> 11|>, <|"Book" -> 4, "Theorem" -> 12|>, <|"Book" -> 4, "Theorem" -> 13|>, <|"Book" -> 4, "Theorem" -> 14|>, <|"Book" -> 4, "Theorem" -> 15|>, <|"Book" -> 4, "Theorem" -> 16|>, <|"Book" -> 5, "Theorem" -> 1|>, <|"Book" -> 5, "Theorem" -> 2|>, <|"Book" -> 5, "Theorem" -> 3|>, <|"Book" -> 5, "Theorem" -> 4|>, <|"Book" -> 5, "Theorem" -> 5|>, <|"Book" -> 5, "Theorem" -> 6|>, <|"Book" -> 5, "Theorem" -> 7|>, <|"Book" -> 5, "Theorem" -> 8|>, <|"Book" -> 5, "Theorem" -> 9|>, <|"Book" -> 5, "Theorem" -> 10|>, <|"Book" -> 5, "Theorem" -> 11|>, <|"Book" -> 5, "Theorem" -> 12|>, <|"Book" -> 5, "Theorem" -> 13|>, <|"Book" -> 5, "Theorem" -> 14|>, <|"Book" -> 5, "Theorem" -> 15|>, <|"Book" -> 5, "Theorem" -> 16|>, <|"Book" -> 5, "Theorem" -> 17|>, <|"Book" -> 5, "Theorem" -> 18|>, <|"Book" -> 5, "Theorem" -> 19|>, <|"Book" -> 5, "Theorem" -> 20|>, <|"Book" -> 5, "Theorem" -> 21|>, <|"Book" -> 5, "Theorem" -> 22|>, <|"Book" -> 5, "Theorem" -> 23|>, <|"Book" -> 5, "Theorem" -> 24|>, <|"Book" -> 5, "Theorem" -> 25|>, <|"Book" -> 6, "Theorem" -> 1|>, <|"Book" -> 6, "Theorem" -> 2|>, <|"Book" -> 6, "Theorem" -> 3|>, <|"Book" -> 6, "Theorem" -> 4|>, <|"Book" -> 6, "Theorem" -> 5|>, <|"Book" -> 6, "Theorem" -> 6|>, <|"Book" -> 6, "Theorem" -> 7|>, <|"Book" -> 6, "Theorem" -> 8|>, <|"Book" -> 6, "Theorem" -> 9|>, <|"Book" -> 6, "Theorem" -> 10|>, <|"Book" -> 6, "Theorem" -> 11|>, <|"Book" -> 6, "Theorem" -> 12|>, <|"Book" -> 6, "Theorem" -> 13|>, <|"Book" -> 6, "Theorem" -> 14|>, <|"Book" -> 6, "Theorem" -> 15|>, <|"Book" -> 6, "Theorem" -> 16|>, <|"Book" -> 6, "Theorem" -> 17|>, <|"Book" -> 6, "Theorem" -> 18|>, <|"Book" -> 6, "Theorem" -> 19|>, <|"Book" -> 6, "Theorem" -> 20|>, <|"Book" -> 6, "Theorem" -> 21|>, <|"Book" -> 6, "Theorem" -> 22|>, <|"Book" -> 6, "Theorem" -> 23|>, <|"Book" -> 6, "Theorem" -> 24|>, <|"Book" -> 6, "Theorem" -> 25|>, <|"Book" -> 6, "Theorem" -> 26|>, <|"Book" -> 6, "Theorem" -> 27|>, <|"Book" -> 6, "Theorem" -> 28|>, <|"Book" -> 6, "Theorem" -> 29|>, <|"Book" -> 6, "Theorem" -> 30|>, <|"Book" -> 6, "Theorem" -> 31|>, <|"Book" -> 6, "Theorem" -> 32|>, <|"Book" -> 6, "Theorem" -> 33|>, <|"Book" -> 7, "Theorem" -> 1|>, <|"Book" -> 7, "Theorem" -> 2|>, <|"Book" -> 7, "Theorem" -> 3|>, <|"Book" -> 7, "Theorem" -> 4|>, <|"Book" -> 7, "Theorem" -> 5|>, <|"Book" -> 7, "Theorem" -> 6|>, <|"Book" -> 7, "Theorem" -> 7|>, <|"Book" -> 7, "Theorem" -> 8|>, <|"Book" -> 7, "Theorem" -> 9|>, <|"Book" -> 7, "Theorem" -> 10|>, <|"Book" -> 7, "Theorem" -> 11|>, <|"Book" -> 7, "Theorem" -> 12|>, <|"Book" -> 7, "Theorem" -> 13|>, <|"Book" -> 7, "Theorem" -> 14|>, <|"Book" -> 7, "Theorem" -> 15|>, <|"Book" -> 7, "Theorem" -> 16|>, <|"Book" -> 7, "Theorem" -> 17|>, <|"Book" -> 7, "Theorem" -> 18|>, <|"Book" -> 7, "Theorem" -> 19|>, <|"Book" -> 7, "Theorem" -> 20|>, <|"Book" -> 7, "Theorem" -> 21|>, <|"Book" -> 7, "Theorem" -> 22|>, <|"Book" -> 7, "Theorem" -> 23|>, <|"Book" -> 7, "Theorem" -> 24|>, <|"Book" -> 7, "Theorem" -> 25|>, <|"Book" -> 7, "Theorem" -> 26|>, <|"Book" -> 7, "Theorem" -> 27|>, <|"Book" -> 7, "Theorem" -> 28|>, <|"Book" -> 7, "Theorem" -> 29|>, <|"Book" -> 7, "Theorem" -> 30|>, <|"Book" -> 7, "Theorem" -> 31|>, <|"Book" -> 7, "Theorem" -> 32|>, <|"Book" -> 7, "Theorem" -> 33|>, <|"Book" -> 7, "Theorem" -> 34|>, <|"Book" -> 7, "Theorem" -> 35|>, <|"Book" -> 7, "Theorem" -> 36|>, <|"Book" -> 7, "Theorem" -> 37|>, <|"Book" -> 7, "Theorem" -> 38|>, <|"Book" -> 7, "Theorem" -> 39|>, <|"Book" -> 8, "Theorem" -> 1|>, <|"Book" -> 8, "Theorem" -> 2|>, <|"Book" -> 8, "Theorem" -> 3|>, <|"Book" -> 8, "Theorem" -> 4|>, <|"Book" -> 8, "Theorem" -> 5|>, <|"Book" -> 8, "Theorem" -> 6|>, <|"Book" -> 8, "Theorem" -> 7|>, <|"Book" -> 8, "Theorem" -> 8|>, <|"Book" -> 8, "Theorem" -> 9|>, <|"Book" -> 8, "Theorem" -> 10|>, <|"Book" -> 8, "Theorem" -> 11|>, <|"Book" -> 8, "Theorem" -> 12|>, <|"Book" -> 8, "Theorem" -> 13|>, <|"Book" -> 8, "Theorem" -> 14|>, <|"Book" -> 8, "Theorem" -> 15|>, <|"Book" -> 8, "Theorem" -> 16|>, <|"Book" -> 8, "Theorem" -> 17|>, <|"Book" -> 8, "Theorem" -> 18|>, <|"Book" -> 8, "Theorem" -> 19|>, <|"Book" -> 8, "Theorem" -> 20|>, <|"Book" -> 8, "Theorem" -> 21|>, <|"Book" -> 8, "Theorem" -> 22|>, <|"Book" -> 8, "Theorem" -> 23|>, <|"Book" -> 8, "Theorem" -> 24|>, <|"Book" -> 8, "Theorem" -> 25|>, <|"Book" -> 8, "Theorem" -> 26|>, <|"Book" -> 8, "Theorem" -> 27|>, <|"Book" -> 9, "Theorem" -> 1|>, <|"Book" -> 9, "Theorem" -> 2|>, <|"Book" -> 9, "Theorem" -> 3|>, <|"Book" -> 9, "Theorem" -> 4|>, <|"Book" -> 9, "Theorem" -> 5|>, <|"Book" -> 9, "Theorem" -> 6|>, <|"Book" -> 9, "Theorem" -> 7|>, <|"Book" -> 9, "Theorem" -> 8|>, <|"Book" -> 9, "Theorem" -> 9|>, <|"Book" -> 9, "Theorem" -> 10|>, <|"Book" -> 9, "Theorem" -> 11|>, <|"Book" -> 9, "Theorem" -> 12|>, <|"Book" -> 9, "Theorem" -> 13|>, <|"Book" -> 9, "Theorem" -> 14|>, <|"Book" -> 9, "Theorem" -> 15|>, <|"Book" -> 9, "Theorem" -> 16|>, <|"Book" -> 9, "Theorem" -> 17|>, <|"Book" -> 9, "Theorem" -> 18|>, <|"Book" -> 9, "Theorem" -> 19|>, <|"Book" -> 9, "Theorem" -> 20|>, <|"Book" -> 9, "Theorem" -> 21|>, <|"Book" -> 9, "Theorem" -> 22|>, <|"Book" -> 9, "Theorem" -> 23|>, <|"Book" -> 9, "Theorem" -> 24|>, <|"Book" -> 9, "Theorem" -> 25|>, <|"Book" -> 9, "Theorem" -> 26|>, <|"Book" -> 9, "Theorem" -> 27|>, <|"Book" -> 9, "Theorem" -> 28|>, <|"Book" -> 9, "Theorem" -> 29|>, <|"Book" -> 9, "Theorem" -> 30|>, <|"Book" -> 9, "Theorem" -> 31|>, <|"Book" -> 9, "Theorem" -> 32|>, <|"Book" -> 9, "Theorem" -> 33|>, <|"Book" -> 9, "Theorem" -> 34|>, <|"Book" -> 9, "Theorem" -> 35|>, <|"Book" -> 9, "Theorem" -> 36|>, <|"Book" -> 10, "Theorem" -> 1|>, <|"Book" -> 10, "Theorem" -> 2|>, <|"Book" -> 10, "Theorem" -> 3|>, <|"Book" -> 10, "Theorem" -> 4|>, <|"Book" -> 10, "Theorem" -> 5|>, <|"Book" -> 10, "Theorem" -> 6|>, <|"Book" -> 10, "Theorem" -> 7|>, <|"Book" -> 10, "Theorem" -> 8|>, <|"Book" -> 10, "Theorem" -> 9|>, <|"Book" -> 10, "Theorem" -> 10|>, <|"Book" -> 10, "Theorem" -> 11|>, <|"Book" -> 10, "Theorem" -> 12|>, <|"Book" -> 10, "Theorem" -> 13|>, <|"Book" -> 10, "Theorem" -> 14|>, <|"Book" -> 10, "Theorem" -> 15|>, <|"Book" -> 10, "Theorem" -> 16|>, <|"Book" -> 10, "Theorem" -> 17|>, <|"Book" -> 10, "Theorem" -> 18|>, <|"Book" -> 10, "Theorem" -> 19|>, <|"Book" -> 10, "Theorem" -> 20|>, <|"Book" -> 10, "Theorem" -> 21|>, <|"Book" -> 10, "Theorem" -> 22|>, <|"Book" -> 10, "Theorem" -> 23|>, <|"Book" -> 10, "Theorem" -> 24|>, <|"Book" -> 10, "Theorem" -> 25|>, <|"Book" -> 10, "Theorem" -> 26|>, <|"Book" -> 10, "Theorem" -> 27|>, <|"Book" -> 10, "Theorem" -> 28|>, <|"Book" -> 10, "Theorem" -> 29|>, <|"Book" -> 10, "Theorem" -> 30|>, <|"Book" -> 10, "Theorem" -> 31|>, <|"Book" -> 10, "Theorem" -> 32|>, <|"Book" -> 10, "Theorem" -> 33|>, <|"Book" -> 10, "Theorem" -> 34|>, <|"Book" -> 10, "Theorem" -> 35|>, <|"Book" -> 10, "Theorem" -> 36|>, <|"Book" -> 10, "Theorem" -> 37|>, <|"Book" -> 10, "Theorem" -> 38|>, <|"Book" -> 10, "Theorem" -> 39|>, <|"Book" -> 10, "Theorem" -> 40|>, <|"Book" -> 10, "Theorem" -> 41|>, <|"Book" -> 10, "Theorem" -> 42|>, <|"Book" -> 10, "Theorem" -> 43|>, <|"Book" -> 10, "Theorem" -> 44|>, <|"Book" -> 10, "Theorem" -> 45|>, <|"Book" -> 10, "Theorem" -> 46|>, <|"Book" -> 10, "Theorem" -> 47|>, <|"Book" -> 10, "Theorem" -> 48|>, <|"Book" -> 10, "Theorem" -> 49|>, <|"Book" -> 10, "Theorem" -> 50|>, <|"Book" -> 10, "Theorem" -> 51|>, <|"Book" -> 10, "Theorem" -> 52|>, <|"Book" -> 10, "Theorem" -> 53|>, <|"Book" -> 10, "Theorem" -> 54|>, <|"Book" -> 10, "Theorem" -> 55|>, <|"Book" -> 10, "Theorem" -> 56|>, <|"Book" -> 10, "Theorem" -> 57|>, <|"Book" -> 10, "Theorem" -> 58|>, <|"Book" -> 10, "Theorem" -> 59|>, <|"Book" -> 10, "Theorem" -> 60|>, <|"Book" -> 10, "Theorem" -> 61|>, <|"Book" -> 10, "Theorem" -> 62|>, <|"Book" -> 10, "Theorem" -> 63|>, <|"Book" -> 10, "Theorem" -> 64|>, <|"Book" -> 10, "Theorem" -> 65|>, <|"Book" -> 10, "Theorem" -> 66|>, <|"Book" -> 10, "Theorem" -> 67|>, <|"Book" -> 10, "Theorem" -> 68|>, <|"Book" -> 10, "Theorem" -> 69|>, <|"Book" -> 10, "Theorem" -> 70|>, <|"Book" -> 10, "Theorem" -> 71|>, <|"Book" -> 10, "Theorem" -> 72|>, <|"Book" -> 10, "Theorem" -> 73|>, <|"Book" -> 10, "Theorem" -> 74|>, <|"Book" -> 10, "Theorem" -> 75|>, <|"Book" -> 10, "Theorem" -> 76|>, <|"Book" -> 10, "Theorem" -> 77|>, <|"Book" -> 10, "Theorem" -> 78|>, <|"Book" -> 10, "Theorem" -> 79|>, <|"Book" -> 10, "Theorem" -> 80|>, <|"Book" -> 10, "Theorem" -> 81|>, <|"Book" -> 10, "Theorem" -> 82|>, <|"Book" -> 10, "Theorem" -> 83|>, <|"Book" -> 10, "Theorem" -> 84|>, <|"Book" -> 10, "Theorem" -> 85|>, <|"Book" -> 10, "Theorem" -> 86|>, <|"Book" -> 10, "Theorem" -> 87|>, <|"Book" -> 10, "Theorem" -> 88|>, <|"Book" -> 10, "Theorem" -> 89|>, <|"Book" -> 10, "Theorem" -> 90|>, <|"Book" -> 10, "Theorem" -> 91|>, <|"Book" -> 10, "Theorem" -> 92|>, <|"Book" -> 10, "Theorem" -> 93|>, <|"Book" -> 10, "Theorem" -> 94|>, <|"Book" -> 10, "Theorem" -> 95|>, <|"Book" -> 10, "Theorem" -> 96|>, <|"Book" -> 10, "Theorem" -> 97|>, <|"Book" -> 10, "Theorem" -> 98|>, <|"Book" -> 10, "Theorem" -> 99|>, <|"Book" -> 10, "Theorem" -> 100|>, <|"Book" -> 10, "Theorem" -> 101|>, <|"Book" -> 10, "Theorem" -> 102|>, <|"Book" -> 10, "Theorem" -> 103|>, <|"Book" -> 10, "Theorem" -> 104|>, <|"Book" -> 10, "Theorem" -> 105|>, <|"Book" -> 10, "Theorem" -> 106|>, <|"Book" -> 10, "Theorem" -> 107|>, <|"Book" -> 10, "Theorem" -> 108|>, <|"Book" -> 10, "Theorem" -> 109|>, <|"Book" -> 10, "Theorem" -> 110|>, <|"Book" -> 10, "Theorem" -> 111|>, <|"Book" -> 10, "Theorem" -> 112|>, <|"Book" -> 10, "Theorem" -> 113|>, <|"Book" -> 10, "Theorem" -> 114|>, <|"Book" -> 10, "Theorem" -> 115|>, <|"Book" -> 11, "Theorem" -> 1|>, <|"Book" -> 11, "Theorem" -> 2|>, <|"Book" -> 11, "Theorem" -> 3|>, <|"Book" -> 11, "Theorem" -> 4|>, <|"Book" -> 11, "Theorem" -> 5|>, <|"Book" -> 11, "Theorem" -> 6|>, <|"Book" -> 11, "Theorem" -> 7|>, <|"Book" -> 11, "Theorem" -> 8|>, <|"Book" -> 11, "Theorem" -> 9|>, <|"Book" -> 11, "Theorem" -> 10|>, <|"Book" -> 11, "Theorem" -> 11|>, <|"Book" -> 11, "Theorem" -> 12|>, <|"Book" -> 11, "Theorem" -> 13|>, <|"Book" -> 11, "Theorem" -> 14|>, <|"Book" -> 11, "Theorem" -> 15|>, <|"Book" -> 11, "Theorem" -> 16|>, <|"Book" -> 11, "Theorem" -> 17|>, <|"Book" -> 11, "Theorem" -> 18|>, <|"Book" -> 11, "Theorem" -> 19|>, <|"Book" -> 11, "Theorem" -> 20|>, <|"Book" -> 11, "Theorem" -> 21|>, <|"Book" -> 11, "Theorem" -> 22|>, <|"Book" -> 11, "Theorem" -> 23|>, <|"Book" -> 11, "Theorem" -> 24|>, <|"Book" -> 11, "Theorem" -> 25|>, <|"Book" -> 11, "Theorem" -> 26|>, <|"Book" -> 11, "Theorem" -> 27|>, <|"Book" -> 11, "Theorem" -> 28|>, <|"Book" -> 11, "Theorem" -> 29|>, <|"Book" -> 11, "Theorem" -> 30|>, <|"Book" -> 11, "Theorem" -> 31|>, <|"Book" -> 11, "Theorem" -> 32|>, <|"Book" -> 11, "Theorem" -> 33|>, <|"Book" -> 11, "Theorem" -> 34|>, <|"Book" -> 11, "Theorem" -> 35|>, <|"Book" -> 11, "Theorem" -> 36|>, <|"Book" -> 11, "Theorem" -> 37|>, <|"Book" -> 11, "Theorem" -> 38|>, <|"Book" -> 11, "Theorem" -> 39|>, <|"Book" -> 12, "Theorem" -> 1|>, <|"Book" -> 12, "Theorem" -> 2|>, <|"Book" -> 12, "Theorem" -> 3|>, <|"Book" -> 12, "Theorem" -> 4|>, <|"Book" -> 12, "Theorem" -> 5|>, <|"Book" -> 12, "Theorem" -> 6|>, <|"Book" -> 12, "Theorem" -> 7|>, <|"Book" -> 12, "Theorem" -> 8|>, <|"Book" -> 12, "Theorem" -> 9|>, <|"Book" -> 12, "Theorem" -> 10|>, <|"Book" -> 12, "Theorem" -> 11|>, <|"Book" -> 12, "Theorem" -> 12|>, <|"Book" -> 12, "Theorem" -> 13|>, <|"Book" -> 12, "Theorem" -> 14|>, <|"Book" -> 12, "Theorem" -> 15|>, <|"Book" -> 12, "Theorem" -> 16|>, <|"Book" -> 12, "Theorem" -> 17|>, <|"Book" -> 12, "Theorem" -> 18|>, <|"Book" -> 13, "Theorem" -> 1|>, <|"Book" -> 13, "Theorem" -> 2|>, <|"Book" -> 13, "Theorem" -> 3|>, <|"Book" -> 13, "Theorem" -> 4|>, <|"Book" -> 13, "Theorem" -> 5|>, <|"Book" -> 13, "Theorem" -> 6|>, <|"Book" -> 13, "Theorem" -> 7|>, <|"Book" -> 13, "Theorem" -> 8|>, <|"Book" -> 13, "Theorem" -> 9|>, <|"Book" -> 13, "Theorem" -> 10|>, <|"Book" -> 13, "Theorem" -> 11|>, <|"Book" -> 13, "Theorem" -> 12|>, <|"Book" -> 13, "Theorem" -> 13|>, <|"Book" -> 13, "Theorem" -> 14|>, <|"Book" -> 13, "Theorem" -> 15|>, <|"Book" -> 13, "Theorem" -> 16|>, <|"Book" -> 13, "Theorem" -> 17|>, <|"Book" -> 13, "Theorem" -> 18|>}, {DirectedEdge[<|"Book" -> 1, "Theorem" -> 1|>, <|"Common Notion" -> 1|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 1|>, <|"Postulate" -> 1|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 1|>, <|"Postulate" -> 3|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 2|>, <|"Postulate" -> 1|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 2|>, <|"Common Notion" -> 1|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 2|>, <|"Common Notion" -> 3|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 2|>, <|"Book" -> 1, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 2|>, <|"Postulate" -> 2|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 2|>, <|"Postulate" -> 3|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 3|>, <|"Common Notion" -> 1|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 3|>, <|"Book" -> 1, "Theorem" -> 2|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 3|>, <|"Postulate" -> 3|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 4|>, <|"Common Notion" -> 4|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 5|>, <|"Postulate" -> 2|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 5|>, <|"Common Notion" -> 3|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 5|>, <|"Book" -> 1, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 5|>, <|"Book" -> 1, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 5|>, <|"Postulate" -> 1|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 6|>, None], DirectedEdge[<|"Book" -> 1, "Theorem" -> 6|>, <|"Common Notion" -> 5|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 6|>, <|"Book" -> 1, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 6|>, <|"Book" -> 1, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 6|>, <|"Postulate" -> 1|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 7|>, None], DirectedEdge[<|"Book" -> 1, "Theorem" -> 7|>, <|"Common Notion" -> 5|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 7|>, <|"Book" -> 1, "Theorem" -> 5|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 7|>, <|"Postulate" -> 1|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 8|>, <|"Common Notion" -> 4|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 8|>, <|"Book" -> 1, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 9|>, <|"Book" -> 1, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 9|>, <|"Book" -> 1, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 9|>, <|"Book" -> 1, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 9|>, <|"Postulate" -> 1|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 10|>, <|"Book" -> 1, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 10|>, <|"Book" -> 1, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 10|>, <|"Book" -> 1, "Theorem" -> 9|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 11|>, <|"Book" -> 1, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 11|>, <|"Book" -> 1, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 11|>, <|"Book" -> 1, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 11|>, <|"Postulate" -> 1|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 12|>, <|"Book" -> 1, "Theorem" -> 10|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 12|>, <|"Book" -> 1, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 12|>, <|"Postulate" -> 1|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 12|>, <|"Postulate" -> 3|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 13|>, <|"Common Notion" -> 1|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 13|>, <|"Common Notion" -> 2|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 13|>, <|"Book" -> 1, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 14|>, <|"Postulate" -> 4|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 14|>, <|"Common Notion" -> 1|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 14|>, <|"Common Notion" -> 3|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 14|>, <|"Book" -> 1, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 14|>, <|"Postulate" -> 2|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 15|>, <|"Common Notion" -> 1|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 15|>, <|"Common Notion" -> 3|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 15|>, <|"Book" -> 1, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 15|>, <|"Postulate" -> 4|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 16|>, <|"Common Notion" -> 5|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 16|>, <|"Book" -> 1, "Theorem" -> 10|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 16|>, <|"Book" -> 1, "Theorem" -> 15|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 16|>, <|"Book" -> 1, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 16|>, <|"Book" -> 1, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 16|>, <|"Postulate" -> 1|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 16|>, <|"Postulate" -> 2|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 17|>, None], DirectedEdge[<|"Book" -> 1, "Theorem" -> 17|>, <|"Book" -> 1, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 17|>, <|"Book" -> 1, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 17|>, <|"Postulate" -> 2|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 18|>, <|"Book" -> 1, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 18|>, <|"Book" -> 1, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 18|>, <|"Book" -> 1, "Theorem" -> 5|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 18|>, <|"Postulate" -> 1|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 19|>, <|"Book" -> 1, "Theorem" -> 18|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 19|>, <|"Book" -> 1, "Theorem" -> 5|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 20|>, <|"Common Notion" -> 5|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 20|>, <|"Book" -> 1, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 20|>, <|"Book" -> 1, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 20|>, <|"Book" -> 1, "Theorem" -> 5|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 20|>, <|"Postulate" -> 1|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 20|>, <|"Postulate" -> 2|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 21|>, None], DirectedEdge[<|"Book" -> 1, "Theorem" -> 21|>, <|"Book" -> 1, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 21|>, <|"Book" -> 1, "Theorem" -> 20|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 21|>, <|"Postulate" -> 2|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 22|>, <|"Common Notion" -> 1|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 22|>, <|"Book" -> 1, "Theorem" -> 20|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 22|>, <|"Book" -> 1, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 22|>, <|"Postulate" -> 1|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 22|>, <|"Postulate" -> 2|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 22|>, <|"Postulate" -> 3|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 23|>, <|"Book" -> 1, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 23|>, <|"Book" -> 1, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 23|>, <|"Postulate" -> 1|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 24|>, <|"Book" -> 1, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 24|>, <|"Book" -> 1, "Theorem" -> 23|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 24|>, <|"Book" -> 1, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 24|>, <|"Book" -> 1, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 24|>, <|"Book" -> 1, "Theorem" -> 5|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 24|>, <|"Postulate" -> 1|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 25|>, <|"Book" -> 1, "Theorem" -> 24|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 25|>, <|"Book" -> 1, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 26|>, <|"Common Notion" -> 1|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 26|>, <|"Book" -> 1, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 26|>, <|"Book" -> 1, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 26|>, <|"Book" -> 1, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 26|>, <|"Postulate" -> 1|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 27|>, <|"Book" -> 1, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 28|>, <|"Postulate" -> 4|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 28|>, <|"Common Notion" -> 1|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 28|>, <|"Common Notion" -> 3|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 28|>, <|"Book" -> 1, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 28|>, <|"Book" -> 1, "Theorem" -> 15|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 28|>, <|"Book" -> 1, "Theorem" -> 27|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 29|>, <|"Common Notion" -> 1|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 29|>, <|"Common Notion" -> 2|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 29|>, <|"Book" -> 1, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 29|>, <|"Book" -> 1, "Theorem" -> 15|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 29|>, <|"Postulate" -> 5|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 30|>, <|"Common Notion" -> 1|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 30|>, <|"Book" -> 1, "Theorem" -> 29|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 31|>, <|"Book" -> 1, "Theorem" -> 23|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 31|>, <|"Book" -> 1, "Theorem" -> 27|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 31|>, <|"Postulate" -> 1|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 31|>, <|"Postulate" -> 2|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 32|>, <|"Common Notion" -> 1|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 32|>, <|"Common Notion" -> 2|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 32|>, <|"Book" -> 1, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 32|>, <|"Book" -> 1, "Theorem" -> 29|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 32|>, <|"Book" -> 1, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 33|>, <|"Book" -> 1, "Theorem" -> 27|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 33|>, <|"Book" -> 1, "Theorem" -> 29|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 33|>, <|"Book" -> 1, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 33|>, <|"Postulate" -> 1|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 34|>, <|"Common Notion" -> 2|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 34|>, <|"Book" -> 1, "Theorem" -> 26|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 34|>, <|"Book" -> 1, "Theorem" -> 29|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 34|>, <|"Book" -> 1, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 35|>, <|"Common Notion" -> 1|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 35|>, <|"Common Notion" -> 2|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 35|>, <|"Common Notion" -> 3|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 35|>, <|"Book" -> 1, "Theorem" -> 29|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 35|>, <|"Book" -> 1, "Theorem" -> 34|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 35|>, <|"Book" -> 1, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 36|>, <|"Common Notion" -> 1|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 36|>, <|"Book" -> 1, "Theorem" -> 33|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 36|>, <|"Book" -> 1, "Theorem" -> 34|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 36|>, <|"Book" -> 1, "Theorem" -> 35|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 36|>, <|"Postulate" -> 1|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 37|>, None], DirectedEdge[<|"Book" -> 1, "Theorem" -> 37|>, <|"Book" -> 1, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 37|>, <|"Book" -> 1, "Theorem" -> 34|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 37|>, <|"Book" -> 1, "Theorem" -> 35|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 37|>, <|"Postulate" -> 2|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 38|>, None], DirectedEdge[<|"Book" -> 1, "Theorem" -> 38|>, <|"Book" -> 1, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 38|>, <|"Book" -> 1, "Theorem" -> 34|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 38|>, <|"Book" -> 1, "Theorem" -> 36|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 38|>, <|"Postulate" -> 2|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 39|>, <|"Common Notion" -> 1|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 39|>, <|"Book" -> 1, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 39|>, <|"Book" -> 1, "Theorem" -> 37|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 39|>, <|"Postulate" -> 1|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 40|>, <|"Common Notion" -> 1|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 40|>, <|"Book" -> 1, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 40|>, <|"Book" -> 1, "Theorem" -> 38|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 40|>, <|"Postulate" -> 1|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 41|>, <|"Book" -> 1, "Theorem" -> 34|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 41|>, <|"Book" -> 1, "Theorem" -> 37|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 41|>, <|"Postulate" -> 1|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 42|>, <|"Common Notion" -> 1|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 42|>, <|"Book" -> 1, "Theorem" -> 10|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 42|>, <|"Book" -> 1, "Theorem" -> 23|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 42|>, <|"Book" -> 1, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 42|>, <|"Book" -> 1, "Theorem" -> 38|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 42|>, <|"Book" -> 1, "Theorem" -> 41|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 42|>, <|"Postulate" -> 1|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 43|>, <|"Common Notion" -> 2|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 43|>, <|"Common Notion" -> 3|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 43|>, <|"Book" -> 1, "Theorem" -> 34|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 44|>, <|"Postulate" -> 2|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 44|>, <|"Common Notion" -> 1|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 44|>, <|"Book" -> 1, "Theorem" -> 15|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 44|>, <|"Book" -> 1, "Theorem" -> 29|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 44|>, <|"Book" -> 1, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 44|>, <|"Book" -> 1, "Theorem" -> 42|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 44|>, <|"Book" -> 1, "Theorem" -> 43|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 44|>, <|"Postulate" -> 1|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 44|>, <|"Postulate" -> 5|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 45|>, <|"Common Notion" -> 1|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 45|>, <|"Common Notion" -> 2|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 45|>, <|"Book" -> 1, "Theorem" -> 14|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 45|>, <|"Book" -> 1, "Theorem" -> 29|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 45|>, <|"Book" -> 1, "Theorem" -> 30|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 45|>, <|"Book" -> 1, "Theorem" -> 33|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 45|>, <|"Book" -> 1, "Theorem" -> 34|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 45|>, <|"Book" -> 1, "Theorem" -> 42|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 45|>, <|"Book" -> 1, "Theorem" -> 44|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 45|>, <|"Postulate" -> 1|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 46|>, <|"Book" -> 1, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 46|>, <|"Book" -> 1, "Theorem" -> 29|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 46|>, <|"Book" -> 1, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 46|>, <|"Book" -> 1, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 46|>, <|"Book" -> 1, "Theorem" -> 34|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 47|>, <|"Common Notion" -> 2|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 47|>, <|"Book" -> 1, "Theorem" -> 14|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 47|>, <|"Book" -> 1, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 47|>, <|"Book" -> 1, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 47|>, <|"Book" -> 1, "Theorem" -> 41|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 47|>, <|"Book" -> 1, "Theorem" -> 46|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 47|>, <|"Postulate" -> 1|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 47|>, <|"Postulate" -> 4|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 48|>, <|"Common Notion" -> 1|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 48|>, <|"Common Notion" -> 2|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 48|>, <|"Book" -> 1, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 48|>, <|"Book" -> 1, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 48|>, <|"Book" -> 1, "Theorem" -> 47|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 48|>, <|"Book" -> 1, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 1, "Theorem" -> 48|>, <|"Postulate" -> 1|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 1|>, <|"Book" -> 1, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 1|>, <|"Book" -> 1, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 1|>, <|"Book" -> 1, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 1|>, <|"Book" -> 1, "Theorem" -> 34|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 2|>, <|"Book" -> 1, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 2|>, <|"Book" -> 1, "Theorem" -> 46|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 3|>, <|"Book" -> 1, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 3|>, <|"Book" -> 1, "Theorem" -> 46|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 4|>, <|"Book" -> 1, "Theorem" -> 29|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 4|>, <|"Book" -> 1, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 4|>, <|"Book" -> 1, "Theorem" -> 34|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 4|>, <|"Book" -> 1, "Theorem" -> 43|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 4|>, <|"Book" -> 1, "Theorem" -> 46|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 4|>, <|"Book" -> 1, "Theorem" -> 5|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 4|>, <|"Book" -> 1, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 5|>, <|"Book" -> 1, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 5|>, <|"Book" -> 1, "Theorem" -> 36|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 5|>, <|"Book" -> 1, "Theorem" -> 43|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 5|>, <|"Book" -> 1, "Theorem" -> 46|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 6|>, <|"Book" -> 1, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 6|>, <|"Book" -> 1, "Theorem" -> 36|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 6|>, <|"Book" -> 1, "Theorem" -> 43|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 6|>, <|"Book" -> 1, "Theorem" -> 46|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 7|>, <|"Book" -> 1, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 7|>, <|"Book" -> 1, "Theorem" -> 43|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 7|>, <|"Book" -> 1, "Theorem" -> 46|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 8|>, <|"Book" -> 1, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 8|>, <|"Book" -> 1, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 8|>, <|"Book" -> 1, "Theorem" -> 34|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 8|>, <|"Book" -> 1, "Theorem" -> 36|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 8|>, <|"Book" -> 1, "Theorem" -> 43|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 8|>, <|"Book" -> 1, "Theorem" -> 46|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 9|>, <|"Book" -> 1, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 9|>, <|"Book" -> 1, "Theorem" -> 29|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 9|>, <|"Book" -> 1, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 9|>, <|"Book" -> 1, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 9|>, <|"Book" -> 1, "Theorem" -> 32|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 9|>, <|"Book" -> 1, "Theorem" -> 34|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 9|>, <|"Book" -> 1, "Theorem" -> 47|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 9|>, <|"Book" -> 1, "Theorem" -> 5|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 9|>, <|"Book" -> 1, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 10|>, <|"Book" -> 1, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 10|>, <|"Book" -> 1, "Theorem" -> 15|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 10|>, <|"Book" -> 1, "Theorem" -> 29|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 10|>, <|"Book" -> 1, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 10|>, <|"Book" -> 1, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 10|>, <|"Book" -> 1, "Theorem" -> 32|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 10|>, <|"Book" -> 1, "Theorem" -> 34|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 10|>, <|"Book" -> 1, "Theorem" -> 47|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 10|>, <|"Book" -> 1, "Theorem" -> 5|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 10|>, <|"Book" -> 1, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 10|>, <|"Postulate" -> 5|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 11|>, <|"Book" -> 1, "Theorem" -> 10|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 11|>, <|"Book" -> 1, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 11|>, <|"Book" -> 1, "Theorem" -> 46|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 11|>, <|"Book" -> 1, "Theorem" -> 47|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 11|>, <|"Book" -> 2, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 12|>, <|"Book" -> 1, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 12|>, <|"Book" -> 1, "Theorem" -> 47|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 12|>, <|"Book" -> 2, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 13|>, <|"Book" -> 1, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 13|>, <|"Book" -> 1, "Theorem" -> 47|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 13|>, <|"Book" -> 2, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 14|>, <|"Book" -> 1, "Theorem" -> 10|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 14|>, <|"Book" -> 1, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 14|>, <|"Book" -> 1, "Theorem" -> 45|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 14|>, <|"Book" -> 1, "Theorem" -> 47|>], DirectedEdge[<|"Book" -> 2, "Theorem" -> 14|>, <|"Book" -> 2, "Theorem" -> 5|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 1|>, <|"Book" -> 1, "Theorem" -> 10|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 1|>, <|"Book" -> 1, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 1|>, <|"Book" -> 1, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 2|>, <|"Book" -> 1, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 2|>, <|"Book" -> 1, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 2|>, <|"Book" -> 1, "Theorem" -> 5|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 2|>, <|"Book" -> 3, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 3|>, <|"Book" -> 1, "Theorem" -> 26|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 3|>, <|"Book" -> 1, "Theorem" -> 5|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 3|>, <|"Book" -> 1, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 3|>, <|"Book" -> 3, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 4|>, <|"Book" -> 3, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 4|>, <|"Book" -> 3, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 5|>, <|"Postulate" -> 3|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 6|>, <|"Postulate" -> 3|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 7|>, <|"Book" -> 1, "Theorem" -> 20|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 7|>, <|"Book" -> 1, "Theorem" -> 23|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 7|>, <|"Book" -> 1, "Theorem" -> 24|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 7|>, <|"Book" -> 1, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 8|>, <|"Book" -> 1, "Theorem" -> 20|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 8|>, <|"Book" -> 1, "Theorem" -> 21|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 8|>, <|"Book" -> 1, "Theorem" -> 23|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 8|>, <|"Book" -> 1, "Theorem" -> 24|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 8|>, <|"Book" -> 1, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 8|>, <|"Book" -> 3, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 9|>, <|"Book" -> 1, "Theorem" -> 10|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 9|>, <|"Book" -> 1, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 9|>, <|"Book" -> 3, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 10|>, <|"Book" -> 1, "Theorem" -> 10|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 10|>, <|"Book" -> 1, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 10|>, <|"Book" -> 3, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 10|>, <|"Book" -> 3, "Theorem" -> 5|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 11|>, <|"Book" -> 1, "Theorem" -> 20|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 11|>, <|"Book" -> 3, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 12|>, <|"Book" -> 1, "Theorem" -> 20|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 12|>, <|"Book" -> 3, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 13|>, <|"Book" -> 3, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 13|>, <|"Book" -> 3, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 13|>, <|"Book" -> 3, "Theorem" -> 2|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 14|>, <|"Book" -> 1, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 14|>, <|"Book" -> 1, "Theorem" -> 47|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 14|>, <|"Book" -> 3, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 14|>, <|"Book" -> 3, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 15|>, <|"Book" -> 1, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 15|>, <|"Book" -> 1, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 15|>, <|"Book" -> 1, "Theorem" -> 20|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 15|>, <|"Book" -> 1, "Theorem" -> 24|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 15|>, <|"Book" -> 1, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 15|>, <|"Book" -> 3, "Theorem" -> 14|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 16|>, <|"Book" -> 1, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 16|>, <|"Book" -> 1, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 16|>, <|"Book" -> 1, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 16|>, <|"Book" -> 1, "Theorem" -> 5|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 17|>, <|"Book" -> 1, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 17|>, <|"Book" -> 1, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 17|>, <|"Book" -> 3, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 17|>, <|"Book" -> 3, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 18|>, <|"Book" -> 1, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 18|>, <|"Book" -> 1, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 18|>, <|"Book" -> 1, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 18|>, <|"Book" -> 3, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 19|>, <|"Book" -> 1, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 19|>, <|"Book" -> 3, "Theorem" -> 18|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 20|>, <|"Book" -> 1, "Theorem" -> 32|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 20|>, <|"Book" -> 1, "Theorem" -> 5|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 21|>, <|"Book" -> 3, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 21|>, <|"Book" -> 3, "Theorem" -> 20|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 22|>, <|"Book" -> 1, "Theorem" -> 32|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 22|>, <|"Book" -> 3, "Theorem" -> 21|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 23|>, <|"Book" -> 1, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 24|>, <|"Common Notion" -> 4|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 24|>, <|"Book" -> 3, "Theorem" -> 10|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 24|>, <|"Book" -> 3, "Theorem" -> 23|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 25|>, <|"Book" -> 1, "Theorem" -> 10|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 25|>, <|"Book" -> 1, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 25|>, <|"Book" -> 1, "Theorem" -> 23|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 25|>, <|"Book" -> 1, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 25|>, <|"Book" -> 1, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 25|>, <|"Book" -> 3, "Theorem" -> 9|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 26|>, <|"Book" -> 1, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 26|>, <|"Book" -> 3, "Theorem" -> 24|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 27|>, <|"Book" -> 1, "Theorem" -> 23|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 27|>, <|"Book" -> 1, "Theorem" -> 26|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 27|>, <|"Book" -> 3, "Theorem" -> 20|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 28|>, <|"Book" -> 1, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 28|>, <|"Book" -> 3, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 28|>, <|"Book" -> 3, "Theorem" -> 26|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 29|>, <|"Book" -> 1, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 29|>, <|"Book" -> 3, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 29|>, <|"Book" -> 3, "Theorem" -> 27|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 30|>, <|"Book" -> 1, "Theorem" -> 10|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 30|>, <|"Book" -> 1, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 30|>, <|"Book" -> 1, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 30|>, <|"Book" -> 3, "Theorem" -> 28|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 31|>, <|"Book" -> 1, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 31|>, <|"Book" -> 1, "Theorem" -> 32|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 31|>, <|"Book" -> 1, "Theorem" -> 5|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 31|>, <|"Book" -> 3, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 32|>, <|"Book" -> 1, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 32|>, <|"Book" -> 1, "Theorem" -> 32|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 32|>, <|"Book" -> 3, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 32|>, <|"Book" -> 3, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 32|>, <|"Book" -> 3, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 33|>, <|"Book" -> 1, "Theorem" -> 10|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 33|>, <|"Book" -> 1, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 33|>, <|"Book" -> 1, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 33|>, <|"Book" -> 1, "Theorem" -> 23|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 33|>, <|"Book" -> 1, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 33|>, <|"Book" -> 3, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 33|>, <|"Book" -> 3, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 33|>, <|"Book" -> 3, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 33|>, <|"Book" -> 3, "Theorem" -> 32|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 34|>, <|"Book" -> 1, "Theorem" -> 23|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 34|>, <|"Book" -> 3, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 34|>, <|"Book" -> 3, "Theorem" -> 32|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 35|>, <|"Book" -> 1, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 35|>, <|"Book" -> 1, "Theorem" -> 47|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 35|>, <|"Book" -> 2, "Theorem" -> 5|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 35|>, <|"Book" -> 3, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 35|>, <|"Book" -> 3, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 36|>, <|"Book" -> 1, "Theorem" -> 47|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 36|>, <|"Book" -> 2, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 36|>, <|"Book" -> 3, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 36|>, <|"Book" -> 3, "Theorem" -> 18|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 36|>, <|"Book" -> 3, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 37|>, <|"Book" -> 1, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 37|>, <|"Book" -> 3, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 37|>, <|"Book" -> 3, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 37|>, <|"Book" -> 3, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 37|>, <|"Book" -> 3, "Theorem" -> 18|>], DirectedEdge[<|"Book" -> 3, "Theorem" -> 37|>, <|"Book" -> 3, "Theorem" -> 36|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 1|>, <|"Book" -> 1, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 2|>, <|"Book" -> 1, "Theorem" -> 23|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 2|>, <|"Book" -> 1, "Theorem" -> 32|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 2|>, <|"Book" -> 3, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 2|>, <|"Book" -> 3, "Theorem" -> 32|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 3|>, <|"Book" -> 1, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 3|>, <|"Book" -> 1, "Theorem" -> 23|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 3|>, <|"Book" -> 1, "Theorem" -> 32|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 3|>, <|"Book" -> 3, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 3|>, <|"Book" -> 3, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 3|>, <|"Book" -> 3, "Theorem" -> 18|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 4|>, <|"Book" -> 1, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 4|>, <|"Book" -> 1, "Theorem" -> 26|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 4|>, <|"Book" -> 1, "Theorem" -> 9|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 4|>, <|"Book" -> 3, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 5|>, <|"Book" -> 1, "Theorem" -> 10|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 5|>, <|"Book" -> 1, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 5|>, <|"Book" -> 1, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 5|>, <|"Book" -> 3, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 6|>, <|"Book" -> 1, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 6|>, <|"Book" -> 1, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 6|>, <|"Book" -> 3, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 6|>, <|"Book" -> 3, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 7|>, <|"Book" -> 1, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 7|>, <|"Book" -> 3, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 7|>, <|"Book" -> 3, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 8|>, <|"Book" -> 1, "Theorem" -> 10|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 8|>, <|"Book" -> 1, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 8|>, <|"Book" -> 1, "Theorem" -> 34|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 8|>, <|"Book" -> 3, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 9|>, <|"Book" -> 1, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 9|>, <|"Book" -> 1, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 10|>, <|"Book" -> 1, "Theorem" -> 5|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 10|>, <|"Book" -> 1, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 10|>, <|"Book" -> 2, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 10|>, <|"Book" -> 3, "Theorem" -> 32|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 10|>, <|"Book" -> 3, "Theorem" -> 37|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 10|>, <|"Book" -> 4, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 10|>, <|"Book" -> 4, "Theorem" -> 5|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 11|>, <|"Book" -> 1, "Theorem" -> 9|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 11|>, <|"Book" -> 3, "Theorem" -> 26|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 11|>, <|"Book" -> 3, "Theorem" -> 27|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 11|>, <|"Book" -> 3, "Theorem" -> 29|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 11|>, <|"Book" -> 4, "Theorem" -> 10|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 11|>, <|"Book" -> 4, "Theorem" -> 2|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 12|>, <|"Book" -> 1, "Theorem" -> 26|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 12|>, <|"Book" -> 1, "Theorem" -> 47|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 12|>, <|"Book" -> 1, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 12|>, <|"Book" -> 3, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 12|>, <|"Book" -> 3, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 12|>, <|"Book" -> 3, "Theorem" -> 18|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 12|>, <|"Book" -> 3, "Theorem" -> 27|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 12|>, <|"Book" -> 4, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 13|>, <|"Book" -> 1, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 13|>, <|"Book" -> 1, "Theorem" -> 26|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 13|>, <|"Book" -> 1, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 13|>, <|"Book" -> 1, "Theorem" -> 9|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 13|>, <|"Book" -> 3, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 14|>, <|"Book" -> 1, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 14|>, <|"Book" -> 1, "Theorem" -> 9|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 15|>, <|"Book" -> 1, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 15|>, <|"Book" -> 1, "Theorem" -> 15|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 15|>, <|"Book" -> 1, "Theorem" -> 32|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 15|>, <|"Book" -> 1, "Theorem" -> 5|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 15|>, <|"Book" -> 3, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 15|>, <|"Book" -> 3, "Theorem" -> 26|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 15|>, <|"Book" -> 3, "Theorem" -> 27|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 15|>, <|"Book" -> 3, "Theorem" -> 29|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 16|>, <|"Book" -> 3, "Theorem" -> 30|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 16|>, <|"Book" -> 4, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 16|>, <|"Book" -> 4, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 4, "Theorem" -> 16|>, <|"Book" -> 4, "Theorem" -> 2|>], DirectedEdge[<|"Book" -> 5, "Theorem" -> 1|>, <|"Common Notion" -> 1|>], DirectedEdge[<|"Book" -> 5, "Theorem" -> 2|>, <|"Common Notion" -> 1|>], DirectedEdge[<|"Book" -> 5, "Theorem" -> 3|>, <|"Book" -> 5, "Theorem" -> 2|>], DirectedEdge[<|"Book" -> 5, "Theorem" -> 4|>, <|"Book" -> 5, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 5, "Theorem" -> 5|>, <|"Book" -> 5, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 5, "Theorem" -> 6|>, <|"Book" -> 5, "Theorem" -> 2|>], DirectedEdge[<|"Book" -> 5, "Theorem" -> 7|>, <|"Common Notion" -> 1|>], DirectedEdge[<|"Book" -> 5, "Theorem" -> 8|>, <|"Book" -> 5, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 5, "Theorem" -> 9|>, <|"Book" -> 5, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 5, "Theorem" -> 10|>, <|"Book" -> 5, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 5, "Theorem" -> 10|>, <|"Book" -> 5, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 5, "Theorem" -> 11|>, <|"Common Notion" -> 1|>], DirectedEdge[<|"Book" -> 5, "Theorem" -> 12|>, <|"Book" -> 5, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 5, "Theorem" -> 13|>, <|"Common Notion" -> 1|>], DirectedEdge[<|"Book" -> 5, "Theorem" -> 14|>, <|"Book" -> 5, "Theorem" -> 10|>], DirectedEdge[<|"Book" -> 5, "Theorem" -> 14|>, <|"Book" -> 5, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 5, "Theorem" -> 14|>, <|"Book" -> 5, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 5, "Theorem" -> 15|>, <|"Book" -> 5, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 5, "Theorem" -> 15|>, <|"Book" -> 5, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 5, "Theorem" -> 16|>, <|"Book" -> 5, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 5, "Theorem" -> 16|>, <|"Book" -> 5, "Theorem" -> 14|>], DirectedEdge[<|"Book" -> 5, "Theorem" -> 16|>, <|"Book" -> 5, "Theorem" -> 15|>], DirectedEdge[<|"Book" -> 5, "Theorem" -> 17|>, <|"Book" -> 5, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 5, "Theorem" -> 17|>, <|"Book" -> 5, "Theorem" -> 2|>], DirectedEdge[<|"Book" -> 5, "Theorem" -> 18|>, <|"Book" -> 5, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 5, "Theorem" -> 18|>, <|"Book" -> 5, "Theorem" -> 14|>], DirectedEdge[<|"Book" -> 5, "Theorem" -> 18|>, <|"Book" -> 5, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 5, "Theorem" -> 19|>, <|"Book" -> 5, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 5, "Theorem" -> 19|>, <|"Book" -> 5, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 5, "Theorem" -> 19|>, <|"Book" -> 5, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 5, "Theorem" -> 20|>, <|"Book" -> 5, "Theorem" -> 10|>], DirectedEdge[<|"Book" -> 5, "Theorem" -> 20|>, <|"Book" -> 5, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 5, "Theorem" -> 20|>, <|"Book" -> 5, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 5, "Theorem" -> 20|>, <|"Book" -> 5, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 5, "Theorem" -> 21|>, <|"Book" -> 5, "Theorem" -> 10|>], DirectedEdge[<|"Book" -> 5, "Theorem" -> 21|>, <|"Book" -> 5, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 5, "Theorem" -> 21|>, <|"Book" -> 5, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 5, "Theorem" -> 21|>, <|"Book" -> 5, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 5, "Theorem" -> 22|>, <|"Book" -> 5, "Theorem" -> 20|>], DirectedEdge[<|"Book" -> 5, "Theorem" -> 22|>, <|"Book" -> 5, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 5, "Theorem" -> 23|>, <|"Book" -> 5, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 5, "Theorem" -> 23|>, <|"Book" -> 5, "Theorem" -> 15|>], DirectedEdge[<|"Book" -> 5, "Theorem" -> 23|>, <|"Book" -> 5, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 5, "Theorem" -> 23|>, <|"Book" -> 5, "Theorem" -> 21|>], DirectedEdge[<|"Book" -> 5, "Theorem" -> 24|>, <|"Book" -> 5, "Theorem" -> 18|>], DirectedEdge[<|"Book" -> 5, "Theorem" -> 24|>, <|"Book" -> 5, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 5, "Theorem" -> 24|>, <|"Book" -> 5, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 5, "Theorem" -> 25|>, <|"Book" -> 5, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 5, "Theorem" -> 25|>, <|"Book" -> 5, "Theorem" -> 14|>], DirectedEdge[<|"Book" -> 5, "Theorem" -> 25|>, <|"Book" -> 5, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 5, "Theorem" -> 25|>, <|"Book" -> 5, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 1|>, <|"Book" -> 1, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 1|>, <|"Book" -> 1, "Theorem" -> 38|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 1|>, <|"Book" -> 1, "Theorem" -> 41|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 1|>, <|"Book" -> 5, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 1|>, <|"Book" -> 5, "Theorem" -> 15|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 2|>, <|"Book" -> 1, "Theorem" -> 37|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 2|>, <|"Book" -> 1, "Theorem" -> 39|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 2|>, <|"Book" -> 5, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 2|>, <|"Book" -> 5, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 2|>, <|"Book" -> 5, "Theorem" -> 9|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 2|>, <|"Book" -> 6, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 3|>, <|"Book" -> 1, "Theorem" -> 29|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 3|>, <|"Book" -> 1, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 3|>, <|"Book" -> 1, "Theorem" -> 5|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 3|>, <|"Book" -> 1, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 3|>, <|"Book" -> 5, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 3|>, <|"Book" -> 5, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 3|>, <|"Book" -> 5, "Theorem" -> 9|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 3|>, <|"Book" -> 6, "Theorem" -> 2|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 4|>, <|"Book" -> 1, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 4|>, <|"Book" -> 1, "Theorem" -> 28|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 4|>, <|"Book" -> 1, "Theorem" -> 34|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 4|>, <|"Postulate" -> 5|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 4|>, <|"Book" -> 5, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 4|>, <|"Book" -> 5, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 4|>, <|"Book" -> 5, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 4|>, <|"Book" -> 6, "Theorem" -> 2|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 5|>, <|"Book" -> 1, "Theorem" -> 23|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 5|>, <|"Book" -> 1, "Theorem" -> 32|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 5|>, <|"Book" -> 1, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 5|>, <|"Book" -> 1, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 5|>, <|"Book" -> 5, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 5|>, <|"Book" -> 5, "Theorem" -> 9|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 5|>, <|"Book" -> 6, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 6|>, <|"Book" -> 1, "Theorem" -> 23|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 6|>, <|"Book" -> 1, "Theorem" -> 32|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 6|>, <|"Book" -> 1, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 6|>, <|"Book" -> 5, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 6|>, <|"Book" -> 5, "Theorem" -> 9|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 6|>, <|"Book" -> 6, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 7|>, <|"Book" -> 1, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 7|>, <|"Book" -> 1, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 7|>, <|"Book" -> 1, "Theorem" -> 23|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 7|>, <|"Book" -> 1, "Theorem" -> 32|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 7|>, <|"Book" -> 1, "Theorem" -> 5|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 7|>, <|"Book" -> 5, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 7|>, <|"Book" -> 5, "Theorem" -> 9|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 7|>, <|"Book" -> 6, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 8|>, <|"Book" -> 1, "Theorem" -> 32|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 8|>, <|"Book" -> 6, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 9|>, <|"Book" -> 1, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 9|>, <|"Book" -> 1, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 9|>, <|"Book" -> 6, "Theorem" -> 2|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 10|>, <|"Book" -> 1, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 10|>, <|"Book" -> 1, "Theorem" -> 34|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 10|>, <|"Book" -> 5, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 10|>, <|"Book" -> 6, "Theorem" -> 2|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 11|>, <|"Book" -> 1, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 11|>, <|"Book" -> 1, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 11|>, <|"Book" -> 5, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 11|>, <|"Book" -> 6, "Theorem" -> 2|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 12|>, <|"Book" -> 1, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 12|>, <|"Book" -> 1, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 12|>, <|"Book" -> 5, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 12|>, <|"Book" -> 6, "Theorem" -> 2|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 13|>, <|"Book" -> 1, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 13|>, <|"Book" -> 3, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 13|>, <|"Book" -> 6, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 14|>, <|"Book" -> 1, "Theorem" -> 14|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 14|>, <|"Book" -> 1, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 14|>, <|"Book" -> 5, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 14|>, <|"Book" -> 5, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 14|>, <|"Book" -> 5, "Theorem" -> 9|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 14|>, <|"Book" -> 6, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 15|>, <|"Book" -> 1, "Theorem" -> 14|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 15|>, <|"Book" -> 5, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 15|>, <|"Book" -> 5, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 15|>, <|"Book" -> 5, "Theorem" -> 9|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 15|>, <|"Book" -> 6, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 16|>, <|"Book" -> 1, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 16|>, <|"Book" -> 1, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 16|>, <|"Book" -> 1, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 16|>, <|"Book" -> 5, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 16|>, <|"Book" -> 6, "Theorem" -> 14|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 17|>, <|"Book" -> 1, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 17|>, <|"Book" -> 5, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 17|>, <|"Book" -> 5, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 17|>, <|"Book" -> 6, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 18|>, <|"Book" -> 1, "Theorem" -> 23|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 18|>, <|"Book" -> 1, "Theorem" -> 32|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 18|>, <|"Book" -> 5, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 18|>, <|"Book" -> 5, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 18|>, <|"Book" -> 6, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 19|>, <|"Book" -> 5, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 19|>, <|"Book" -> 5, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 19|>, <|"Book" -> 5, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 19|>, <|"Book" -> 6, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 19|>, <|"Book" -> 6, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 19|>, <|"Book" -> 6, "Theorem" -> 15|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 20|>, <|"Book" -> 1, "Theorem" -> 32|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 20|>, <|"Book" -> 5, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 20|>, <|"Book" -> 5, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 20|>, <|"Book" -> 5, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 20|>, <|"Book" -> 5, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 20|>, <|"Book" -> 6, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 20|>, <|"Book" -> 6, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 20|>, <|"Book" -> 6, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 20|>, <|"Book" -> 6, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 21|>, <|"Book" -> 5, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 22|>, <|"Book" -> 5, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 22|>, <|"Book" -> 5, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 22|>, <|"Book" -> 5, "Theorem" -> 9|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 22|>, <|"Book" -> 6, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 22|>, <|"Book" -> 6, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 22|>, <|"Book" -> 6, "Theorem" -> 18|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 22|>, <|"Book" -> 6, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 23|>, <|"Book" -> 1, "Theorem" -> 14|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 23|>, <|"Book" -> 1, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 23|>, <|"Book" -> 5, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 23|>, <|"Book" -> 5, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 23|>, <|"Book" -> 6, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 23|>, <|"Book" -> 6, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 24|>, <|"Book" -> 1, "Theorem" -> 29|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 24|>, <|"Book" -> 5, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 24|>, <|"Book" -> 5, "Theorem" -> 18|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 24|>, <|"Book" -> 5, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 24|>, <|"Book" -> 6, "Theorem" -> 2|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 24|>, <|"Book" -> 6, "Theorem" -> 21|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 25|>, <|"Book" -> 1, "Theorem" -> 44|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 25|>, <|"Book" -> 1, "Theorem" -> 45|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 25|>, <|"Book" -> 5, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 25|>, <|"Book" -> 5, "Theorem" -> 14|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 25|>, <|"Book" -> 5, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 25|>, <|"Book" -> 5, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 25|>, <|"Book" -> 6, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 25|>, <|"Book" -> 6, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 25|>, <|"Book" -> 6, "Theorem" -> 18|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 26|>, <|"Book" -> 1, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 26|>, <|"Book" -> 5, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 26|>, <|"Book" -> 5, "Theorem" -> 9|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 26|>, <|"Book" -> 6, "Theorem" -> 24|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 27|>, <|"Book" -> 1, "Theorem" -> 36|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 27|>, <|"Book" -> 1, "Theorem" -> 43|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 27|>, <|"Book" -> 6, "Theorem" -> 26|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 28|>, <|"Book" -> 1, "Theorem" -> 36|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 28|>, <|"Book" -> 1, "Theorem" -> 9|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 28|>, <|"Book" -> 6, "Theorem" -> 18|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 28|>, <|"Book" -> 6, "Theorem" -> 21|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 28|>, <|"Book" -> 6, "Theorem" -> 25|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 28|>, <|"Book" -> 6, "Theorem" -> 26|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 28|>, <|"Book" -> 6, "Theorem" -> 27|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 29|>, <|"Book" -> 1, "Theorem" -> 36|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 29|>, <|"Book" -> 1, "Theorem" -> 43|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 29|>, <|"Book" -> 6, "Theorem" -> 21|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 29|>, <|"Book" -> 6, "Theorem" -> 24|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 29|>, <|"Book" -> 6, "Theorem" -> 25|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 29|>, <|"Book" -> 6, "Theorem" -> 26|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 30|>, <|"Book" -> 1, "Theorem" -> 46|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 30|>, <|"Book" -> 5, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 30|>, <|"Book" -> 6, "Theorem" -> 14|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 30|>, <|"Book" -> 6, "Theorem" -> 29|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 31|>, <|"Book" -> 1, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 31|>, <|"Book" -> 5, "Theorem" -> 24|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 31|>, <|"Book" -> 6, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 31|>, <|"Book" -> 6, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 32|>, <|"Book" -> 1, "Theorem" -> 14|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 32|>, <|"Book" -> 1, "Theorem" -> 29|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 32|>, <|"Book" -> 1, "Theorem" -> 32|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 32|>, <|"Book" -> 6, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 33|>, <|"Book" -> 3, "Theorem" -> 20|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 33|>, <|"Book" -> 3, "Theorem" -> 27|>], DirectedEdge[<|"Book" -> 6, "Theorem" -> 33|>, <|"Book" -> 5, "Theorem" -> 15|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 1|>, <|"Common Notion" -> 3|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 2|>, <|"Book" -> 7, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 3|>, <|"Book" -> 7, "Theorem" -> 2|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 3|>, <|"Book" -> 7, "Theorem" -> 2|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 4|>, <|"Book" -> 7, "Theorem" -> 2|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 5|>, <|"Common Notion" -> 2|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 6|>, <|"Book" -> 7, "Theorem" -> 5|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 7|>, <|"Book" -> 7, "Theorem" -> 5|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 8|>, <|"Book" -> 7, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 9|>, <|"Book" -> 7, "Theorem" -> 5|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 9|>, <|"Book" -> 7, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 10|>, <|"Book" -> 7, "Theorem" -> 5|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 10|>, <|"Book" -> 7, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 10|>, <|"Book" -> 7, "Theorem" -> 9|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 11|>, <|"Book" -> 7, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 11|>, <|"Book" -> 7, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 12|>, <|"Book" -> 7, "Theorem" -> 5|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 12|>, <|"Book" -> 7, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 13|>, <|"Book" -> 7, "Theorem" -> 10|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 14|>, <|"Book" -> 5, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 14|>, <|"Book" -> 7, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 15|>, <|"Book" -> 7, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 16|>, <|"Book" -> 7, "Theorem" -> 15|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 17|>, <|"Book" -> 5, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 17|>, <|"Book" -> 7, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 18|>, <|"Book" -> 7, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 18|>, <|"Book" -> 7, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 19|>, <|"Book" -> 5, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 19|>, <|"Book" -> 5, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 19|>, <|"Book" -> 5, "Theorem" -> 9|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 19|>, <|"Book" -> 7, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 19|>, <|"Book" -> 7, "Theorem" -> 18|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 20|>, <|"Book" -> 7, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 20|>, <|"Book" -> 7, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 20|>, <|"Book" -> 7, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 21|>, <|"Book" -> 7, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 21|>, <|"Book" -> 7, "Theorem" -> 20|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 22|>, <|"Book" -> 7, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 23|>, <|"Common Notion" -> 5|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 24|>, <|"Book" -> 7, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 24|>, <|"Book" -> 7, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 24|>, <|"Book" -> 7, "Theorem" -> 20|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 24|>, <|"Book" -> 7, "Theorem" -> 21|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 24|>, <|"Book" -> 7, "Theorem" -> 23|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 25|>, <|"Book" -> 7, "Theorem" -> 24|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 26|>, <|"Book" -> 7, "Theorem" -> 24|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 27|>, <|"Book" -> 7, "Theorem" -> 25|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 27|>, <|"Book" -> 7, "Theorem" -> 26|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 28|>, <|"Common Notion" -> 3|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 29|>, <|"Common Notion" -> 1|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 30|>, <|"Book" -> 7, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 30|>, <|"Book" -> 7, "Theorem" -> 20|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 30|>, <|"Book" -> 7, "Theorem" -> 21|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 30|>, <|"Book" -> 7, "Theorem" -> 29|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 31|>, <|"Common Notion" -> 3|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 32|>, <|"Book" -> 7, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 33|>, <|"Book" -> 7, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 33|>, <|"Book" -> 7, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 33|>, <|"Book" -> 7, "Theorem" -> 21|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 33|>, <|"Book" -> 7, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 34|>, <|"Book" -> 7, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 34|>, <|"Book" -> 7, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 34|>, <|"Book" -> 7, "Theorem" -> 20|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 34|>, <|"Book" -> 7, "Theorem" -> 21|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 34|>, <|"Book" -> 7, "Theorem" -> 33|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 35|>, <|"Common Notion" -> 1|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 36|>, <|"Book" -> 7, "Theorem" -> 34|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 36|>, <|"Book" -> 7, "Theorem" -> 35|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 37|>, <|"Book" -> 7, "Theorem" -> 15|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 38|>, <|"Book" -> 7, "Theorem" -> 15|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 39|>, <|"Book" -> 7, "Theorem" -> 36|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 39|>, <|"Book" -> 7, "Theorem" -> 37|>], DirectedEdge[<|"Book" -> 7, "Theorem" -> 39|>, <|"Book" -> 7, "Theorem" -> 38|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 1|>, <|"Book" -> 7, "Theorem" -> 14|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 1|>, <|"Book" -> 7, "Theorem" -> 20|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 1|>, <|"Book" -> 7, "Theorem" -> 21|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 2|>, <|"Book" -> 7, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 2|>, <|"Book" -> 7, "Theorem" -> 18|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 2|>, <|"Book" -> 7, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 2|>, <|"Book" -> 7, "Theorem" -> 27|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 2|>, <|"Book" -> 8, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 3|>, <|"Book" -> 7, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 3|>, <|"Book" -> 7, "Theorem" -> 27|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 3|>, <|"Book" -> 7, "Theorem" -> 33|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 3|>, <|"Book" -> 8, "Theorem" -> 2|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 3|>, <|"Book" -> 8, "Theorem" -> 2|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 4|>, <|"Book" -> 7, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 4|>, <|"Book" -> 7, "Theorem" -> 20|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 4|>, <|"Book" -> 7, "Theorem" -> 34|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 4|>, <|"Book" -> 7, "Theorem" -> 35|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 5|>, <|"Book" -> 7, "Theorem" -> 14|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 5|>, <|"Book" -> 7, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 5|>, <|"Book" -> 8, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 6|>, <|"Book" -> 7, "Theorem" -> 14|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 6|>, <|"Book" -> 7, "Theorem" -> 33|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 6|>, <|"Book" -> 8, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 7|>, <|"Book" -> 8, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 8|>, <|"Book" -> 7, "Theorem" -> 14|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 8|>, <|"Book" -> 7, "Theorem" -> 20|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 8|>, <|"Book" -> 7, "Theorem" -> 21|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 8|>, <|"Book" -> 7, "Theorem" -> 33|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 8|>, <|"Book" -> 8, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 9|>, <|"Book" -> 8, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 9|>, <|"Book" -> 8, "Theorem" -> 2|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 9|>, <|"Book" -> 8, "Theorem" -> 2|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 10|>, <|"Book" -> 7, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 10|>, <|"Book" -> 7, "Theorem" -> 18|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 11|>, <|"Book" -> 7, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 11|>, <|"Book" -> 7, "Theorem" -> 18|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 12|>, <|"Book" -> 7, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 12|>, <|"Book" -> 7, "Theorem" -> 18|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 13|>, <|"Book" -> 7, "Theorem" -> 14|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 14|>, <|"Book" -> 8, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 14|>, <|"Book" -> 8, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 15|>, <|"Book" -> 8, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 15|>, <|"Book" -> 8, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 15|>, <|"Book" -> 8, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 16|>, <|"Book" -> 8, "Theorem" -> 14|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 17|>, <|"Book" -> 8, "Theorem" -> 15|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 18|>, <|"Book" -> 7, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 18|>, <|"Book" -> 7, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 19|>, <|"Book" -> 7, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 19|>, <|"Book" -> 7, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 19|>, <|"Book" -> 7, "Theorem" -> 18|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 19|>, <|"Book" -> 8, "Theorem" -> 18|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 20|>, <|"Book" -> 7, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 20|>, <|"Book" -> 7, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 20|>, <|"Book" -> 7, "Theorem" -> 20|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 20|>, <|"Book" -> 7, "Theorem" -> 33|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 21|>, <|"Book" -> 7, "Theorem" -> 14|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 21|>, <|"Book" -> 7, "Theorem" -> 18|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 21|>, <|"Book" -> 7, "Theorem" -> 20|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 21|>, <|"Book" -> 7, "Theorem" -> 21|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 21|>, <|"Book" -> 7, "Theorem" -> 33|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 21|>, <|"Book" -> 8, "Theorem" -> 2|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 21|>, <|"Book" -> 8, "Theorem" -> 20|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 21|>, <|"Book" -> 8, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 22|>, <|"Book" -> 8, "Theorem" -> 20|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 23|>, <|"Book" -> 8, "Theorem" -> 21|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 24|>, <|"Book" -> 8, "Theorem" -> 18|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 24|>, <|"Book" -> 8, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 25|>, <|"Book" -> 8, "Theorem" -> 18|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 25|>, <|"Book" -> 8, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 25|>, <|"Book" -> 8, "Theorem" -> 23|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 26|>, <|"Book" -> 7, "Theorem" -> 33|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 26|>, <|"Book" -> 8, "Theorem" -> 18|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 26|>, <|"Book" -> 8, "Theorem" -> 2|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 26|>, <|"Book" -> 8, "Theorem" -> 2|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 27|>, <|"Book" -> 7, "Theorem" -> 33|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 27|>, <|"Book" -> 8, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 27|>, <|"Book" -> 8, "Theorem" -> 2|>], DirectedEdge[<|"Book" -> 8, "Theorem" -> 27|>, <|"Book" -> 8, "Theorem" -> 2|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 1|>, <|"Book" -> 7, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 1|>, <|"Book" -> 8, "Theorem" -> 18|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 1|>, <|"Book" -> 8, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 1|>, <|"Book" -> 8, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 2|>, <|"Book" -> 7, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 2|>, <|"Book" -> 8, "Theorem" -> 18|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 2|>, <|"Book" -> 8, "Theorem" -> 20|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 2|>, <|"Book" -> 8, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 3|>, <|"Book" -> 8, "Theorem" -> 23|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 3|>, <|"Book" -> 8, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 4|>, <|"Book" -> 9, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 4|>, <|"Book" -> 7, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 4|>, <|"Book" -> 8, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 4|>, <|"Book" -> 8, "Theorem" -> 23|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 4|>, <|"Book" -> 8, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 5|>, <|"Book" -> 9, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 5|>, <|"Book" -> 7, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 5|>, <|"Book" -> 8, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 5|>, <|"Book" -> 8, "Theorem" -> 23|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 5|>, <|"Book" -> 8, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 6|>, <|"Book" -> 8, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 6|>, <|"Book" -> 8, "Theorem" -> 23|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 6|>, <|"Book" -> 8, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 7|>, <|"Common Notion" -> 1|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 8|>, <|"Book" -> 8, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 8|>, <|"Book" -> 8, "Theorem" -> 23|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 9|>, <|"Book" -> 9, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 9|>, <|"Book" -> 9, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 9|>, <|"Book" -> 8, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 9|>, <|"Book" -> 8, "Theorem" -> 23|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 10|>, <|"Book" -> 9, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 10|>, <|"Book" -> 9, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 10|>, <|"Book" -> 8, "Theorem" -> 25|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 10|>, <|"Book" -> 8, "Theorem" -> 26|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 11|>, <|"Book" -> 7, "Theorem" -> 15|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 12|>, <|"Book" -> 9, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 12|>, <|"Book" -> 9, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 12|>, <|"Book" -> 7, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 12|>, <|"Book" -> 7, "Theorem" -> 20|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 12|>, <|"Book" -> 7, "Theorem" -> 21|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 12|>, <|"Book" -> 7, "Theorem" -> 29|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 13|>, <|"Book" -> 9, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 13|>, <|"Book" -> 9, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 13|>, <|"Book" -> 9, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 13|>, <|"Book" -> 7, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 13|>, <|"Book" -> 7, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 14|>, <|"Book" -> 7, "Theorem" -> 30|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 15|>, <|"Book" -> 2, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 15|>, <|"Book" -> 2, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 15|>, <|"Book" -> 7, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 15|>, <|"Book" -> 7, "Theorem" -> 24|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 15|>, <|"Book" -> 7, "Theorem" -> 25|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 15|>, <|"Book" -> 7, "Theorem" -> 28|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 15|>, <|"Book" -> 8, "Theorem" -> 2|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 16|>, <|"Book" -> 7, "Theorem" -> 20|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 16|>, <|"Book" -> 7, "Theorem" -> 21|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 17|>, <|"Book" -> 7, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 17|>, <|"Book" -> 7, "Theorem" -> 20|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 17|>, <|"Book" -> 7, "Theorem" -> 21|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 18|>, <|"Book" -> 9, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 18|>, <|"Book" -> 7, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 19|>, <|"Book" -> 9, "Theorem" -> 18|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 20|>, <|"Book" -> 7, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 21|>, <|"Common Notion" -> 3|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 22|>, <|"Book" -> 9, "Theorem" -> 21|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 23|>, <|"Book" -> 9, "Theorem" -> 21|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 23|>, <|"Book" -> 9, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 24|>, <|"Common Notion" -> 3|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 25|>, <|"Book" -> 9, "Theorem" -> 24|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 26|>, <|"Book" -> 9, "Theorem" -> 24|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 27|>, <|"Book" -> 9, "Theorem" -> 24|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 28|>, <|"Book" -> 9, "Theorem" -> 21|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 29|>, <|"Book" -> 9, "Theorem" -> 23|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 30|>, <|"Book" -> 9, "Theorem" -> 23|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 31|>, <|"Book" -> 9, "Theorem" -> 30|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 32|>, <|"Book" -> 9, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 33|>, <|"Common Notion" -> 1|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 34|>, <|"Common Notion" -> 1|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 35|>, <|"Book" -> 7, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 35|>, <|"Book" -> 7, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 35|>, <|"Book" -> 7, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 36|>, <|"Book" -> 9, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 36|>, <|"Book" -> 9, "Theorem" -> 35|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 36|>, <|"Book" -> 7, "Theorem" -> 14|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 36|>, <|"Book" -> 7, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 36|>, <|"Book" -> 7, "Theorem" -> 20|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 36|>, <|"Book" -> 7, "Theorem" -> 21|>], DirectedEdge[<|"Book" -> 9, "Theorem" -> 36|>, <|"Book" -> 7, "Theorem" -> 29|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 1|>, <|"Common Notion" -> 3|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 2|>, <|"Common Notion" -> 3|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 3|>, <|"Book" -> 10, "Theorem" -> 2|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 4|>, <|"Book" -> 10, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 4|>, <|"Book" -> 10, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 4|>, <|"Book" -> 10, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 5|>, <|"Book" -> 5, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 5|>, <|"Book" -> 5, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 6|>, <|"Book" -> 5, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 6|>, <|"Book" -> 5, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 6|>, <|"Book" -> 5, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 6|>, <|"Book" -> 5, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 6|>, <|"Book" -> 5, "Theorem" -> 9|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 7|>, <|"Book" -> 10, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 8|>, <|"Book" -> 10, "Theorem" -> 5|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 9|>, <|"Book" -> 6, "Theorem" -> 20|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 9|>, <|"Book" -> 8, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 9|>, <|"Book" -> 8, "Theorem" -> 26|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 9|>, <|"Book" -> 10, "Theorem" -> 5|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 9|>, <|"Book" -> 10, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 10|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 10|>, <|"Book" -> 10, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 10|>, <|"Book" -> 10, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 10|>, <|"Book" -> 10, "Theorem" -> 9|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 11|>, <|"Book" -> 5, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 11|>, <|"Book" -> 10, "Theorem" -> 5|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 11|>, <|"Book" -> 10, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 11|>, <|"Book" -> 10, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 11|>, <|"Book" -> 10, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 12|>, <|"Book" -> 5, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 12|>, <|"Book" -> 5, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 12|>, <|"Book" -> 8, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 12|>, <|"Book" -> 10, "Theorem" -> 5|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 12|>, <|"Book" -> 10, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 13|>, <|"Book" -> 10, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 14|>, <|"Book" -> 1, "Theorem" -> 47|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 14|>, <|"Book" -> 3, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 14|>, <|"Book" -> 4, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 14|>, <|"Book" -> 5, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 14|>, <|"Book" -> 5, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 14|>, <|"Book" -> 5, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 14|>, <|"Book" -> 6, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 14|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 15|>, <|"Common Notion" -> 2|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 16|>, <|"Common Notion" -> 2|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 17|>, <|"Book" -> 1, "Theorem" -> 10|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 17|>, <|"Book" -> 1, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 17|>, <|"Book" -> 2, "Theorem" -> 5|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 17|>, <|"Book" -> 10, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 17|>, <|"Book" -> 10, "Theorem" -> 15|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 17|>, <|"Book" -> 10, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 18|>, <|"Book" -> 10, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 18|>, <|"Book" -> 10, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 18|>, <|"Book" -> 10, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 18|>, <|"Book" -> 10, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 19|>, <|"Book" -> 1, "Theorem" -> 46|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 19|>, <|"Book" -> 6, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 19|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 20|>, <|"Book" -> 1, "Theorem" -> 46|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 20|>, <|"Book" -> 6, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 20|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 21|>, <|"Book" -> 6, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 21|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 22|>, <|"Book" -> 6, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 22|>, <|"Book" -> 6, "Theorem" -> 14|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 22|>, <|"Book" -> 6, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 22|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 22|>, <|"Book" -> 10, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 22|>, <|"Book" -> 10, "Theorem" -> 21|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 23|>, <|"Book" -> 6, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 23|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 23|>, <|"Book" -> 10, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 23|>, <|"Book" -> 10, "Theorem" -> 18|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 23|>, <|"Book" -> 10, "Theorem" -> 21|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 23|>, <|"Book" -> 10, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 24|>, <|"Book" -> 6, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 24|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 24|>, <|"Book" -> 10, "Theorem" -> 23|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 25|>, <|"Book" -> 5, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 25|>, <|"Book" -> 6, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 25|>, <|"Book" -> 6, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 25|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 25|>, <|"Book" -> 10, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 25|>, <|"Book" -> 10, "Theorem" -> 21|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 25|>, <|"Book" -> 10, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 26|>, <|"Book" -> 2, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 26|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 26|>, <|"Book" -> 10, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 26|>, <|"Book" -> 10, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 26|>, <|"Book" -> 10, "Theorem" -> 20|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 26|>, <|"Book" -> 10, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 26|>, <|"Book" -> 10, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 27|>, <|"Book" -> 5, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 27|>, <|"Book" -> 6, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 27|>, <|"Book" -> 6, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 27|>, <|"Book" -> 6, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 27|>, <|"Book" -> 10, "Theorem" -> 10|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 27|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 27|>, <|"Book" -> 10, "Theorem" -> 21|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 27|>, <|"Book" -> 10, "Theorem" -> 23|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 28|>, <|"Book" -> 5, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 28|>, <|"Book" -> 6, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 28|>, <|"Book" -> 6, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 28|>, <|"Book" -> 6, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 28|>, <|"Book" -> 6, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 28|>, <|"Book" -> 10, "Theorem" -> 10|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 28|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 28|>, <|"Book" -> 10, "Theorem" -> 21|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 28|>, <|"Book" -> 10, "Theorem" -> 23|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 29|>, <|"Book" -> 1, "Theorem" -> 47|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 29|>, <|"Book" -> 2, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 29|>, <|"Book" -> 3, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 29|>, <|"Book" -> 9, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 29|>, <|"Book" -> 9, "Theorem" -> 24|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 29|>, <|"Book" -> 9, "Theorem" -> 26|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 29|>, <|"Book" -> 5, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 29|>, <|"Book" -> 10, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 29|>, <|"Book" -> 10, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 29|>, <|"Book" -> 10, "Theorem" -> 9|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 30|>, <|"Book" -> 1, "Theorem" -> 47|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 30|>, <|"Book" -> 3, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 30|>, <|"Book" -> 5, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 30|>, <|"Book" -> 10, "Theorem" -> 29|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 30|>, <|"Book" -> 10, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 30|>, <|"Book" -> 10, "Theorem" -> 9|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 31|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 31|>, <|"Book" -> 10, "Theorem" -> 14|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 31|>, <|"Book" -> 10, "Theorem" -> 21|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 31|>, <|"Book" -> 10, "Theorem" -> 23|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 31|>, <|"Book" -> 10, "Theorem" -> 29|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 31|>, <|"Book" -> 10, "Theorem" -> 30|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 32|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 32|>, <|"Book" -> 10, "Theorem" -> 14|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 32|>, <|"Book" -> 10, "Theorem" -> 21|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 32|>, <|"Book" -> 10, "Theorem" -> 23|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 32|>, <|"Book" -> 10, "Theorem" -> 29|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 32|>, <|"Book" -> 10, "Theorem" -> 30|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 33|>, <|"Book" -> 1, "Theorem" -> 47|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 33|>, <|"Book" -> 6, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 33|>, <|"Book" -> 6, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 33|>, <|"Book" -> 6, "Theorem" -> 28|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 33|>, <|"Book" -> 6, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 33|>, <|"Book" -> 6, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 33|>, <|"Book" -> 6, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 33|>, <|"Book" -> 10, "Theorem" -> 18|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 33|>, <|"Book" -> 10, "Theorem" -> 21|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 33|>, <|"Book" -> 10, "Theorem" -> 23|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 33|>, <|"Book" -> 10, "Theorem" -> 30|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 34|>, <|"Book" -> 1, "Theorem" -> 47|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 34|>, <|"Book" -> 3, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 34|>, <|"Book" -> 6, "Theorem" -> 28|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 34|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 34|>, <|"Book" -> 10, "Theorem" -> 18|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 34|>, <|"Book" -> 10, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 34|>, <|"Book" -> 10, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 35|>, <|"Book" -> 1, "Theorem" -> 47|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 35|>, <|"Book" -> 3, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 35|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 35|>, <|"Book" -> 10, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 35|>, <|"Book" -> 10, "Theorem" -> 18|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 35|>, <|"Book" -> 10, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 35|>, <|"Book" -> 10, "Theorem" -> 32|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 35|>, <|"Book" -> 10, "Theorem" -> 33|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 36|>, <|"Book" -> 2, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 36|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 36|>, <|"Book" -> 10, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 36|>, <|"Book" -> 10, "Theorem" -> 15|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 36|>, <|"Book" -> 10, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 36|>, <|"Book" -> 10, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 37|>, <|"Book" -> 2, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 37|>, <|"Book" -> 10, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 37|>, <|"Book" -> 10, "Theorem" -> 36|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 38|>, <|"Book" -> 1, "Theorem" -> 41|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 38|>, <|"Book" -> 2, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 38|>, <|"Book" -> 6, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 38|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 38|>, <|"Book" -> 10, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 38|>, <|"Book" -> 10, "Theorem" -> 15|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 38|>, <|"Book" -> 10, "Theorem" -> 20|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 38|>, <|"Book" -> 10, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 38|>, <|"Book" -> 10, "Theorem" -> 36|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 38|>, <|"Book" -> 10, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 39|>, <|"Book" -> 10, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 39|>, <|"Book" -> 10, "Theorem" -> 23|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 39|>, <|"Book" -> 10, "Theorem" -> 33|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 39|>, <|"Book" -> 10, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 40|>, <|"Book" -> 10, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 40|>, <|"Book" -> 10, "Theorem" -> 34|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 41|>, <|"Book" -> 2, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 41|>, <|"Book" -> 2, "Theorem" -> 5|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 41|>, <|"Book" -> 6, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 41|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 41|>, <|"Book" -> 10, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 41|>, <|"Book" -> 10, "Theorem" -> 35|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 41|>, <|"Book" -> 10, "Theorem" -> 36|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 42|>, <|"Book" -> 2, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 42|>, <|"Book" -> 10, "Theorem" -> 21|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 42|>, <|"Book" -> 10, "Theorem" -> 26|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 43|>, <|"Book" -> 10, "Theorem" -> 26|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 43|>, <|"Book" -> 10, "Theorem" -> 37|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 44|>, <|"Book" -> 2, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 44|>, <|"Book" -> 6, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 44|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 44|>, <|"Book" -> 10, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 44|>, <|"Book" -> 10, "Theorem" -> 15|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 44|>, <|"Book" -> 10, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 44|>, <|"Book" -> 10, "Theorem" -> 36|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 44|>, <|"Book" -> 10, "Theorem" -> 38|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 44|>, <|"Book" -> 10, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 45|>, <|"Book" -> 10, "Theorem" -> 26|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 46|>, <|"Book" -> 10, "Theorem" -> 26|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 46|>, <|"Book" -> 10, "Theorem" -> 40|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 47|>, <|"Book" -> 2, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 47|>, <|"Book" -> 6, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 47|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 47|>, <|"Book" -> 10, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 47|>, <|"Book" -> 10, "Theorem" -> 36|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 47|>, <|"Book" -> 10, "Theorem" -> 42|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 48|>, <|"Book" -> 5, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 48|>, <|"Book" -> 10, "Theorem" -> 28|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 48|>, <|"Book" -> 10, "Theorem" -> 36|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 48|>, <|"Book" -> 10, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 48|>, <|"Book" -> 10, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 48|>, <|"Book" -> 10, "Theorem" -> 9|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 49|>, <|"Book" -> 5, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 49|>, <|"Book" -> 5, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 49|>, <|"Book" -> 10, "Theorem" -> 36|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 49|>, <|"Book" -> 10, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 49|>, <|"Book" -> 10, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 49|>, <|"Book" -> 10, "Theorem" -> 9|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 50|>, <|"Book" -> 5, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 50|>, <|"Book" -> 5, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 50|>, <|"Book" -> 10, "Theorem" -> 36|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 50|>, <|"Book" -> 10, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 50|>, <|"Book" -> 10, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 50|>, <|"Book" -> 10, "Theorem" -> 9|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 51|>, <|"Book" -> 5, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 51|>, <|"Book" -> 10, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 51|>, <|"Book" -> 10, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 51|>, <|"Book" -> 10, "Theorem" -> 9|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 52|>, <|"Book" -> 5, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 52|>, <|"Book" -> 5, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 52|>, <|"Book" -> 10, "Theorem" -> 36|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 52|>, <|"Book" -> 10, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 52|>, <|"Book" -> 10, "Theorem" -> 9|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 53|>, <|"Book" -> 5, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 53|>, <|"Book" -> 5, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 53|>, <|"Book" -> 10, "Theorem" -> 36|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 53|>, <|"Book" -> 10, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 53|>, <|"Book" -> 10, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 53|>, <|"Book" -> 10, "Theorem" -> 9|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 54|>, <|"Book" -> 1, "Theorem" -> 34|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 54|>, <|"Book" -> 2, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 54|>, <|"Book" -> 5, "Theorem" -> 18|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 54|>, <|"Book" -> 6, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 54|>, <|"Book" -> 6, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 54|>, <|"Book" -> 6, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 54|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 54|>, <|"Book" -> 10, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 54|>, <|"Book" -> 10, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 54|>, <|"Book" -> 10, "Theorem" -> 15|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 54|>, <|"Book" -> 10, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 54|>, <|"Book" -> 10, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 54|>, <|"Book" -> 10, "Theorem" -> 36|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 55|>, <|"Book" -> 6, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 55|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 55|>, <|"Book" -> 10, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 55|>, <|"Book" -> 10, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 55|>, <|"Book" -> 10, "Theorem" -> 15|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 55|>, <|"Book" -> 10, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 55|>, <|"Book" -> 10, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 55|>, <|"Book" -> 10, "Theorem" -> 21|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 55|>, <|"Book" -> 10, "Theorem" -> 37|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 56|>, <|"Book" -> 10, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 56|>, <|"Book" -> 10, "Theorem" -> 21|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 56|>, <|"Book" -> 10, "Theorem" -> 38|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 57|>, <|"Book" -> 6, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 57|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 57|>, <|"Book" -> 10, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 57|>, <|"Book" -> 10, "Theorem" -> 18|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 57|>, <|"Book" -> 10, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 57|>, <|"Book" -> 10, "Theorem" -> 21|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 57|>, <|"Book" -> 10, "Theorem" -> 39|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 58|>, <|"Book" -> 6, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 58|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 58|>, <|"Book" -> 10, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 58|>, <|"Book" -> 10, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 58|>, <|"Book" -> 10, "Theorem" -> 18|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 58|>, <|"Book" -> 10, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 58|>, <|"Book" -> 10, "Theorem" -> 21|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 58|>, <|"Book" -> 10, "Theorem" -> 40|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 59|>, <|"Book" -> 6, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 59|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 59|>, <|"Book" -> 10, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 59|>, <|"Book" -> 10, "Theorem" -> 21|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 59|>, <|"Book" -> 10, "Theorem" -> 41|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 60|>, <|"Book" -> 2, "Theorem" -> 5|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 60|>, <|"Book" -> 2, "Theorem" -> 9|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 60|>, <|"Book" -> 6, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 60|>, <|"Book" -> 6, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 60|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 60|>, <|"Book" -> 10, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 60|>, <|"Book" -> 10, "Theorem" -> 15|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 60|>, <|"Book" -> 10, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 60|>, <|"Book" -> 10, "Theorem" -> 20|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 60|>, <|"Book" -> 10, "Theorem" -> 21|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 60|>, <|"Book" -> 10, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 60|>, <|"Book" -> 10, "Theorem" -> 36|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 60|>, <|"Book" -> 10, "Theorem" -> 54|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 61|>, <|"Book" -> 6, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 61|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 61|>, <|"Book" -> 10, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 61|>, <|"Book" -> 10, "Theorem" -> 15|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 61|>, <|"Book" -> 10, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 61|>, <|"Book" -> 10, "Theorem" -> 20|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 61|>, <|"Book" -> 10, "Theorem" -> 21|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 61|>, <|"Book" -> 10, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 61|>, <|"Book" -> 10, "Theorem" -> 23|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 61|>, <|"Book" -> 10, "Theorem" -> 36|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 61|>, <|"Book" -> 10, "Theorem" -> 37|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 62|>, <|"Book" -> 6, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 62|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 62|>, <|"Book" -> 10, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 62|>, <|"Book" -> 10, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 62|>, <|"Book" -> 10, "Theorem" -> 15|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 62|>, <|"Book" -> 10, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 62|>, <|"Book" -> 10, "Theorem" -> 23|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 62|>, <|"Book" -> 10, "Theorem" -> 36|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 62|>, <|"Book" -> 10, "Theorem" -> 38|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 63|>, <|"Book" -> 6, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 63|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 63|>, <|"Book" -> 10, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 63|>, <|"Book" -> 10, "Theorem" -> 18|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 63|>, <|"Book" -> 10, "Theorem" -> 20|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 63|>, <|"Book" -> 10, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 63|>, <|"Book" -> 10, "Theorem" -> 36|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 63|>, <|"Book" -> 10, "Theorem" -> 39|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 64|>, <|"Book" -> 10, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 64|>, <|"Book" -> 10, "Theorem" -> 18|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 64|>, <|"Book" -> 10, "Theorem" -> 20|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 64|>, <|"Book" -> 10, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 64|>, <|"Book" -> 10, "Theorem" -> 36|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 64|>, <|"Book" -> 10, "Theorem" -> 40|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 65|>, <|"Book" -> 6, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 65|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 65|>, <|"Book" -> 10, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 65|>, <|"Book" -> 10, "Theorem" -> 36|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 65|>, <|"Book" -> 10, "Theorem" -> 41|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 66|>, <|"Book" -> 5, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 66|>, <|"Book" -> 5, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 66|>, <|"Book" -> 5, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 66|>, <|"Book" -> 6, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 66|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 66|>, <|"Book" -> 10, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 66|>, <|"Book" -> 10, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 66|>, <|"Book" -> 10, "Theorem" -> 14|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 66|>, <|"Book" -> 10, "Theorem" -> 36|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 67|>, <|"Book" -> 5, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 67|>, <|"Book" -> 5, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 67|>, <|"Book" -> 5, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 67|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 67|>, <|"Book" -> 10, "Theorem" -> 23|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 67|>, <|"Book" -> 10, "Theorem" -> 23|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 67|>, <|"Book" -> 10, "Theorem" -> 37|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 67|>, <|"Book" -> 10, "Theorem" -> 38|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 68|>, <|"Book" -> 5, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 68|>, <|"Book" -> 5, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 68|>, <|"Book" -> 5, "Theorem" -> 18|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 68|>, <|"Book" -> 6, "Theorem" -> 20|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 68|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 68|>, <|"Book" -> 10, "Theorem" -> 23|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 68|>, <|"Book" -> 10, "Theorem" -> 39|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 69|>, <|"Book" -> 10, "Theorem" -> 40|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 70|>, <|"Book" -> 10, "Theorem" -> 41|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 71|>, <|"Book" -> 6, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 71|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 71|>, <|"Book" -> 10, "Theorem" -> 20|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 71|>, <|"Book" -> 10, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 71|>, <|"Book" -> 10, "Theorem" -> 36|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 71|>, <|"Book" -> 10, "Theorem" -> 54|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 71|>, <|"Book" -> 10, "Theorem" -> 55|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 71|>, <|"Book" -> 10, "Theorem" -> 57|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 71|>, <|"Book" -> 10, "Theorem" -> 58|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 72|>, <|"Book" -> 6, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 72|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 72|>, <|"Book" -> 10, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 72|>, <|"Book" -> 10, "Theorem" -> 36|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 72|>, <|"Book" -> 10, "Theorem" -> 56|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 72|>, <|"Book" -> 10, "Theorem" -> 59|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 72|>, <|"Book" -> 10, "Theorem" -> 60|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 72|>, <|"Book" -> 10, "Theorem" -> 61|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 72|>, <|"Book" -> 10, "Theorem" -> 62|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 72|>, <|"Book" -> 10, "Theorem" -> 63|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 72|>, <|"Book" -> 10, "Theorem" -> 64|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 72|>, <|"Book" -> 10, "Theorem" -> 65|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 73|>, <|"Book" -> 2, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 73|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 73|>, <|"Book" -> 10, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 73|>, <|"Book" -> 10, "Theorem" -> 15|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 73|>, <|"Book" -> 10, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 73|>, <|"Book" -> 10, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 74|>, <|"Book" -> 2, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 74|>, <|"Book" -> 10, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 75|>, <|"Book" -> 2, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 75|>, <|"Book" -> 6, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 75|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 75|>, <|"Book" -> 10, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 75|>, <|"Book" -> 10, "Theorem" -> 15|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 75|>, <|"Book" -> 10, "Theorem" -> 20|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 75|>, <|"Book" -> 10, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 75|>, <|"Book" -> 10, "Theorem" -> 23|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 75|>, <|"Book" -> 10, "Theorem" -> 28|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 75|>, <|"Book" -> 10, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 75|>, <|"Book" -> 10, "Theorem" -> 73|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 76|>, <|"Book" -> 2, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 76|>, <|"Book" -> 10, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 76|>, <|"Book" -> 10, "Theorem" -> 33|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 77|>, <|"Book" -> 2, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 77|>, <|"Book" -> 10, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 78|>, <|"Book" -> 2, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 78|>, <|"Book" -> 6, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 78|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 78|>, <|"Book" -> 10, "Theorem" -> 20|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 78|>, <|"Book" -> 10, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 78|>, <|"Book" -> 10, "Theorem" -> 35|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 78|>, <|"Book" -> 10, "Theorem" -> 73|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 79|>, <|"Book" -> 2, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 79|>, <|"Book" -> 10, "Theorem" -> 21|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 79|>, <|"Book" -> 10, "Theorem" -> 26|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 79|>, <|"Book" -> 10, "Theorem" -> 73|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 80|>, <|"Book" -> 2, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 80|>, <|"Book" -> 10, "Theorem" -> 15|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 80|>, <|"Book" -> 10, "Theorem" -> 23|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 80|>, <|"Book" -> 10, "Theorem" -> 26|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 80|>, <|"Book" -> 10, "Theorem" -> 74|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 81|>, <|"Book" -> 2, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 81|>, <|"Book" -> 6, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 81|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 81|>, <|"Book" -> 10, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 81|>, <|"Book" -> 10, "Theorem" -> 15|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 81|>, <|"Book" -> 10, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 81|>, <|"Book" -> 10, "Theorem" -> 23|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 81|>, <|"Book" -> 10, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 81|>, <|"Book" -> 10, "Theorem" -> 73|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 81|>, <|"Book" -> 10, "Theorem" -> 75|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 81|>, <|"Book" -> 10, "Theorem" -> 79|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 82|>, <|"Book" -> 10, "Theorem" -> 26|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 82|>, <|"Book" -> 10, "Theorem" -> 76|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 83|>, <|"Book" -> 10, "Theorem" -> 26|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 83|>, <|"Book" -> 10, "Theorem" -> 77|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 84|>, <|"Book" -> 2, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 84|>, <|"Book" -> 6, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 84|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 84|>, <|"Book" -> 10, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 84|>, <|"Book" -> 10, "Theorem" -> 73|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 84|>, <|"Book" -> 10, "Theorem" -> 78|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 84|>, <|"Book" -> 10, "Theorem" -> 79|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 85|>, <|"Book" -> 5, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 85|>, <|"Book" -> 10, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 85|>, <|"Book" -> 10, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 85|>, <|"Book" -> 10, "Theorem" -> 73|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 85|>, <|"Book" -> 10, "Theorem" -> 9|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 86|>, <|"Book" -> 5, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 86|>, <|"Book" -> 10, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 86|>, <|"Book" -> 10, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 86|>, <|"Book" -> 10, "Theorem" -> 73|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 86|>, <|"Book" -> 10, "Theorem" -> 9|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 87|>, <|"Book" -> 5, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 87|>, <|"Book" -> 5, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 87|>, <|"Book" -> 10, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 87|>, <|"Book" -> 10, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 87|>, <|"Book" -> 10, "Theorem" -> 73|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 87|>, <|"Book" -> 10, "Theorem" -> 9|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 88|>, <|"Book" -> 5, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 88|>, <|"Book" -> 10, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 88|>, <|"Book" -> 10, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 88|>, <|"Book" -> 10, "Theorem" -> 73|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 88|>, <|"Book" -> 10, "Theorem" -> 9|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 89|>, <|"Book" -> 5, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 89|>, <|"Book" -> 10, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 89|>, <|"Book" -> 10, "Theorem" -> 73|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 89|>, <|"Book" -> 10, "Theorem" -> 9|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 90|>, <|"Book" -> 5, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 90|>, <|"Book" -> 5, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 90|>, <|"Book" -> 10, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 90|>, <|"Book" -> 10, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 90|>, <|"Book" -> 10, "Theorem" -> 73|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 90|>, <|"Book" -> 10, "Theorem" -> 9|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 91|>, <|"Book" -> 5, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 91|>, <|"Book" -> 6, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 91|>, <|"Book" -> 6, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 91|>, <|"Book" -> 6, "Theorem" -> 26|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 91|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 91|>, <|"Book" -> 10, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 91|>, <|"Book" -> 10, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 91|>, <|"Book" -> 10, "Theorem" -> 15|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 91|>, <|"Book" -> 10, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 91|>, <|"Book" -> 10, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 91|>, <|"Book" -> 10, "Theorem" -> 21|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 91|>, <|"Book" -> 10, "Theorem" -> 54|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 91|>, <|"Book" -> 10, "Theorem" -> 73|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 92|>, <|"Book" -> 5, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 92|>, <|"Book" -> 6, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 92|>, <|"Book" -> 6, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 92|>, <|"Book" -> 6, "Theorem" -> 26|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 92|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 92|>, <|"Book" -> 10, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 92|>, <|"Book" -> 10, "Theorem" -> 15|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 92|>, <|"Book" -> 10, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 92|>, <|"Book" -> 10, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 92|>, <|"Book" -> 10, "Theorem" -> 21|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 92|>, <|"Book" -> 10, "Theorem" -> 73|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 92|>, <|"Book" -> 10, "Theorem" -> 74|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 93|>, <|"Book" -> 6, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 93|>, <|"Book" -> 6, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 93|>, <|"Book" -> 6, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 93|>, <|"Book" -> 6, "Theorem" -> 26|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 93|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 93|>, <|"Book" -> 10, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 93|>, <|"Book" -> 10, "Theorem" -> 15|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 93|>, <|"Book" -> 10, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 93|>, <|"Book" -> 10, "Theorem" -> 21|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 93|>, <|"Book" -> 10, "Theorem" -> 75|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 94|>, <|"Book" -> 5, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 94|>, <|"Book" -> 6, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 94|>, <|"Book" -> 6, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 94|>, <|"Book" -> 6, "Theorem" -> 26|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 94|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 94|>, <|"Book" -> 10, "Theorem" -> 18|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 94|>, <|"Book" -> 10, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 94|>, <|"Book" -> 10, "Theorem" -> 21|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 94|>, <|"Book" -> 10, "Theorem" -> 76|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 95|>, <|"Book" -> 6, "Theorem" -> 26|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 95|>, <|"Book" -> 10, "Theorem" -> 18|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 95|>, <|"Book" -> 10, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 95|>, <|"Book" -> 10, "Theorem" -> 21|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 95|>, <|"Book" -> 10, "Theorem" -> 77|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 96|>, <|"Book" -> 6, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 96|>, <|"Book" -> 6, "Theorem" -> 26|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 96|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 96|>, <|"Book" -> 10, "Theorem" -> 18|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 96|>, <|"Book" -> 10, "Theorem" -> 21|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 96|>, <|"Book" -> 10, "Theorem" -> 78|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 97|>, <|"Book" -> 2, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 97|>, <|"Book" -> 6, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 97|>, <|"Book" -> 6, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 97|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 97|>, <|"Book" -> 10, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 97|>, <|"Book" -> 10, "Theorem" -> 20|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 97|>, <|"Book" -> 10, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 97|>, <|"Book" -> 10, "Theorem" -> 73|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 98|>, <|"Book" -> 2, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 98|>, <|"Book" -> 5, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 98|>, <|"Book" -> 6, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 98|>, <|"Book" -> 6, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 98|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 98|>, <|"Book" -> 10, "Theorem" -> 15|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 98|>, <|"Book" -> 10, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 98|>, <|"Book" -> 10, "Theorem" -> 20|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 98|>, <|"Book" -> 10, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 98|>, <|"Book" -> 10, "Theorem" -> 23|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 98|>, <|"Book" -> 10, "Theorem" -> 73|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 98|>, <|"Book" -> 10, "Theorem" -> 74|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 99|>, <|"Book" -> 2, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 99|>, <|"Book" -> 5, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 99|>, <|"Book" -> 6, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 99|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 99|>, <|"Book" -> 10, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 99|>, <|"Book" -> 10, "Theorem" -> 15|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 99|>, <|"Book" -> 10, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 99|>, <|"Book" -> 10, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 99|>, <|"Book" -> 10, "Theorem" -> 23|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 99|>, <|"Book" -> 10, "Theorem" -> 73|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 99|>, <|"Book" -> 10, "Theorem" -> 75|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 100|>, <|"Book" -> 2, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 100|>, <|"Book" -> 5, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 100|>, <|"Book" -> 6, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 100|>, <|"Book" -> 6, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 100|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 100|>, <|"Book" -> 10, "Theorem" -> 18|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 100|>, <|"Book" -> 10, "Theorem" -> 20|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 100|>, <|"Book" -> 10, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 100|>, <|"Book" -> 10, "Theorem" -> 73|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 100|>, <|"Book" -> 10, "Theorem" -> 76|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 101|>, <|"Book" -> 2, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 101|>, <|"Book" -> 6, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 101|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 101|>, <|"Book" -> 10, "Theorem" -> 18|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 101|>, <|"Book" -> 10, "Theorem" -> 20|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 101|>, <|"Book" -> 10, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 101|>, <|"Book" -> 10, "Theorem" -> 73|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 101|>, <|"Book" -> 10, "Theorem" -> 77|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 102|>, <|"Book" -> 2, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 102|>, <|"Book" -> 6, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 102|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 102|>, <|"Book" -> 10, "Theorem" -> 18|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 102|>, <|"Book" -> 10, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 102|>, <|"Book" -> 10, "Theorem" -> 73|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 102|>, <|"Book" -> 10, "Theorem" -> 78|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 103|>, <|"Book" -> 5, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 103|>, <|"Book" -> 5, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 103|>, <|"Book" -> 6, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 103|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 103|>, <|"Book" -> 10, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 103|>, <|"Book" -> 10, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 103|>, <|"Book" -> 10, "Theorem" -> 14|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 103|>, <|"Book" -> 10, "Theorem" -> 73|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 104|>, <|"Book" -> 5, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 104|>, <|"Book" -> 5, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 104|>, <|"Book" -> 6, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 104|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 104|>, <|"Book" -> 10, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 104|>, <|"Book" -> 10, "Theorem" -> 23|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 104|>, <|"Book" -> 10, "Theorem" -> 23|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 104|>, <|"Book" -> 10, "Theorem" -> 74|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 104|>, <|"Book" -> 10, "Theorem" -> 75|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 105|>, <|"Book" -> 5, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 105|>, <|"Book" -> 5, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 105|>, <|"Book" -> 5, "Theorem" -> 18|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 105|>, <|"Book" -> 6, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 105|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 105|>, <|"Book" -> 10, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 105|>, <|"Book" -> 10, "Theorem" -> 76|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 106|>, <|"Book" -> 10, "Theorem" -> 77|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 107|>, <|"Book" -> 10, "Theorem" -> 78|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 108|>, <|"Book" -> 10, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 108|>, <|"Book" -> 10, "Theorem" -> 20|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 108|>, <|"Book" -> 10, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 108|>, <|"Book" -> 10, "Theorem" -> 73|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 108|>, <|"Book" -> 10, "Theorem" -> 91|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 108|>, <|"Book" -> 10, "Theorem" -> 94|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 109|>, <|"Book" -> 10, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 109|>, <|"Book" -> 10, "Theorem" -> 73|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 109|>, <|"Book" -> 10, "Theorem" -> 92|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 109|>, <|"Book" -> 10, "Theorem" -> 95|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 110|>, <|"Book" -> 6, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 110|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 110|>, <|"Book" -> 10, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 110|>, <|"Book" -> 10, "Theorem" -> 73|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 110|>, <|"Book" -> 10, "Theorem" -> 93|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 110|>, <|"Book" -> 10, "Theorem" -> 96|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 111|>, <|"Book" -> 10, "Theorem" -> 97|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 111|>, <|"Book" -> 10, "Theorem" -> 60|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 111|>, <|"Book" -> 10, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 111|>, <|"Book" -> 10, "Theorem" -> 15|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 111|>, <|"Book" -> 10, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 111|>, <|"Book" -> 10, "Theorem" -> 73|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 112|>, <|"Book" -> 5, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 112|>, <|"Book" -> 5, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 112|>, <|"Book" -> 5, "Theorem" -> 14|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 112|>, <|"Book" -> 5, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 112|>, <|"Book" -> 6, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 112|>, <|"Book" -> 6, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 112|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 112|>, <|"Book" -> 10, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 112|>, <|"Book" -> 10, "Theorem" -> 14|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 112|>, <|"Book" -> 10, "Theorem" -> 15|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 112|>, <|"Book" -> 10, "Theorem" -> 20|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 112|>, <|"Book" -> 10, "Theorem" -> 36|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 112|>, <|"Book" -> 10, "Theorem" -> 73|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 113|>, <|"Book" -> 5, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 113|>, <|"Book" -> 5, "Theorem" -> 14|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 113|>, <|"Book" -> 5, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 113|>, <|"Book" -> 5, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 113|>, <|"Book" -> 5, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 113|>, <|"Book" -> 6, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 113|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 113|>, <|"Book" -> 10, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 113|>, <|"Book" -> 10, "Theorem" -> 14|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 113|>, <|"Book" -> 10, "Theorem" -> 15|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 113|>, <|"Book" -> 10, "Theorem" -> 20|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 113|>, <|"Book" -> 10, "Theorem" -> 36|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 113|>, <|"Book" -> 10, "Theorem" -> 73|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 114|>, <|"Book" -> 5, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 114|>, <|"Book" -> 6, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 114|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 114|>, <|"Book" -> 10, "Theorem" -> 112|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 114|>, <|"Book" -> 10, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 10, "Theorem" -> 115|>, <|"Book" -> 10, "Theorem" -> 20|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 1|>, <|"Postulate" -> 5|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 2|>, <|"Book" -> 11, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 3|>, <|"Postulate" -> 5|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 4|>, <|"Book" -> 1, "Theorem" -> 15|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 4|>, <|"Book" -> 1, "Theorem" -> 26|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 4|>, <|"Book" -> 1, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 4|>, <|"Book" -> 1, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 4|>, <|"Book" -> 1, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 5|>, <|"Book" -> 11, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 5|>, <|"Book" -> 11, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 6|>, <|"Book" -> 1, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 6|>, <|"Book" -> 1, "Theorem" -> 28|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 6|>, <|"Book" -> 1, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 6|>, <|"Book" -> 1, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 6|>, <|"Book" -> 1, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 6|>, <|"Book" -> 11, "Theorem" -> 2|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 6|>, <|"Book" -> 11, "Theorem" -> 5|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 7|>, <|"Book" -> 11, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 8|>, <|"Book" -> 1, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 8|>, <|"Book" -> 1, "Theorem" -> 29|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 8|>, <|"Book" -> 1, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 8|>, <|"Book" -> 1, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 8|>, <|"Book" -> 1, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 8|>, <|"Book" -> 11, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 8|>, <|"Book" -> 11, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 9|>, <|"Book" -> 1, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 9|>, <|"Book" -> 11, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 9|>, <|"Book" -> 11, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 9|>, <|"Book" -> 11, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 10|>, <|"Book" -> 1, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 10|>, <|"Book" -> 1, "Theorem" -> 33|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 10|>, <|"Book" -> 1, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 10|>, <|"Book" -> 11, "Theorem" -> 9|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 11|>, <|"Book" -> 1, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 11|>, <|"Book" -> 1, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 11|>, <|"Book" -> 1, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 11|>, <|"Book" -> 11, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 11|>, <|"Book" -> 11, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 12|>, <|"Book" -> 1, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 12|>, <|"Book" -> 11, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 12|>, <|"Book" -> 11, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 13|>, <|"Book" -> 11, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 14|>, <|"Book" -> 1, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 14|>, <|"Book" -> 11, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 15|>, <|"Book" -> 1, "Theorem" -> 29|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 15|>, <|"Book" -> 1, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 15|>, <|"Book" -> 11, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 15|>, <|"Book" -> 11, "Theorem" -> 14|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 15|>, <|"Book" -> 11, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 15|>, <|"Book" -> 11, "Theorem" -> 9|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 16|>, <|"Book" -> 11, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 17|>, <|"Book" -> 5, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 17|>, <|"Book" -> 6, "Theorem" -> 2|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 17|>, <|"Book" -> 11, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 18|>, <|"Book" -> 1, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 18|>, <|"Book" -> 1, "Theorem" -> 28|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 18|>, <|"Book" -> 11, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 19|>, <|"Book" -> 1, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 19|>, <|"Book" -> 11, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 20|>, <|"Book" -> 1, "Theorem" -> 20|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 20|>, <|"Book" -> 1, "Theorem" -> 23|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 20|>, <|"Book" -> 1, "Theorem" -> 25|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 20|>, <|"Book" -> 1, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 20|>, <|"Book" -> 1, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 21|>, <|"Book" -> 1, "Theorem" -> 32|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 21|>, <|"Book" -> 11, "Theorem" -> 20|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 22|>, <|"Book" -> 1, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 22|>, <|"Book" -> 1, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 22|>, <|"Book" -> 1, "Theorem" -> 23|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 22|>, <|"Book" -> 1, "Theorem" -> 24|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 22|>, <|"Book" -> 1, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 22|>, <|"Book" -> 1, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 23|>, <|"Book" -> 1, "Theorem" -> 25|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 23|>, <|"Book" -> 1, "Theorem" -> 29|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 23|>, <|"Book" -> 1, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 23|>, <|"Book" -> 1, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 23|>, <|"Book" -> 1, "Theorem" -> 47|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 23|>, <|"Book" -> 1, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 23|>, <|"Book" -> 3, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 23|>, <|"Book" -> 3, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 23|>, <|"Book" -> 4, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 23|>, <|"Book" -> 4, "Theorem" -> 5|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 23|>, <|"Book" -> 5, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 23|>, <|"Book" -> 6, "Theorem" -> 2|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 23|>, <|"Book" -> 6, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 23|>, <|"Book" -> 11, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 23|>, <|"Book" -> 11, "Theorem" -> 20|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 23|>, <|"Book" -> 11, "Theorem" -> 21|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 23|>, <|"Book" -> 11, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 24|>, <|"Book" -> 1, "Theorem" -> 34|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 24|>, <|"Book" -> 1, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 24|>, <|"Book" -> 11, "Theorem" -> 10|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 24|>, <|"Book" -> 11, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 25|>, <|"Book" -> 1, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 25|>, <|"Book" -> 1, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 25|>, <|"Book" -> 11, "Theorem" -> 24|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 26|>, <|"Book" -> 1, "Theorem" -> 23|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 26|>, <|"Book" -> 1, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 26|>, <|"Book" -> 1, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 26|>, <|"Book" -> 11, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 26|>, <|"Book" -> 11, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 27|>, <|"Book" -> 5, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 27|>, <|"Book" -> 6, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 27|>, <|"Book" -> 11, "Theorem" -> 26|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 28|>, <|"Book" -> 1, "Theorem" -> 34|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 29|>, <|"Book" -> 1, "Theorem" -> 34|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 29|>, <|"Book" -> 1, "Theorem" -> 36|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 29|>, <|"Book" -> 1, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 29|>, <|"Book" -> 1, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 30|>, <|"Book" -> 11, "Theorem" -> 29|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 31|>, <|"Book" -> 1, "Theorem" -> 23|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 31|>, <|"Book" -> 1, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 31|>, <|"Book" -> 1, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 31|>, <|"Book" -> 1, "Theorem" -> 35|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 31|>, <|"Book" -> 5, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 31|>, <|"Book" -> 5, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 31|>, <|"Book" -> 5, "Theorem" -> 9|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 31|>, <|"Book" -> 11, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 31|>, <|"Book" -> 11, "Theorem" -> 24|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 31|>, <|"Book" -> 11, "Theorem" -> 25|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 31|>, <|"Book" -> 11, "Theorem" -> 29|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 31|>, <|"Book" -> 11, "Theorem" -> 30|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 32|>, <|"Book" -> 1, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 32|>, <|"Book" -> 1, "Theorem" -> 45|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 32|>, <|"Book" -> 11, "Theorem" -> 25|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 32|>, <|"Book" -> 11, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 33|>, <|"Book" -> 1, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 33|>, <|"Book" -> 1, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 33|>, <|"Book" -> 6, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 33|>, <|"Book" -> 11, "Theorem" -> 24|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 33|>, <|"Book" -> 11, "Theorem" -> 32|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 34|>, <|"Book" -> 1, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 34|>, <|"Book" -> 1, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 34|>, <|"Book" -> 5, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 34|>, <|"Book" -> 5, "Theorem" -> 9|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 34|>, <|"Book" -> 6, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 34|>, <|"Book" -> 10, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 34|>, <|"Book" -> 11, "Theorem" -> 25|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 34|>, <|"Book" -> 11, "Theorem" -> 29|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 34|>, <|"Book" -> 11, "Theorem" -> 30|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 34|>, <|"Book" -> 11, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 34|>, <|"Book" -> 11, "Theorem" -> 32|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 35|>, <|"Book" -> 1, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 35|>, <|"Book" -> 1, "Theorem" -> 26|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 35|>, <|"Book" -> 1, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 35|>, <|"Book" -> 1, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 35|>, <|"Book" -> 1, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 35|>, <|"Book" -> 1, "Theorem" -> 47|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 35|>, <|"Book" -> 1, "Theorem" -> 48|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 35|>, <|"Book" -> 1, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 35|>, <|"Book" -> 11, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 35|>, <|"Book" -> 11, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 36|>, <|"Book" -> 1, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 36|>, <|"Book" -> 6, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 36|>, <|"Book" -> 11, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 36|>, <|"Book" -> 11, "Theorem" -> 35|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 37|>, <|"Book" -> 11, "Theorem" -> 33|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 38|>, <|"Book" -> 1, "Theorem" -> 14|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 38|>, <|"Book" -> 1, "Theorem" -> 15|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 38|>, <|"Book" -> 1, "Theorem" -> 26|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 38|>, <|"Book" -> 1, "Theorem" -> 29|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 38|>, <|"Book" -> 1, "Theorem" -> 33|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 38|>, <|"Book" -> 1, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 38|>, <|"Book" -> 11, "Theorem" -> 9|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 39|>, <|"Book" -> 1, "Theorem" -> 34|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 39|>, <|"Book" -> 11, "Theorem" -> 28|>], DirectedEdge[<|"Book" -> 11, "Theorem" -> 39|>, <|"Book" -> 11, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 1|>, <|"Book" -> 1, "Theorem" -> 32|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 1|>, <|"Book" -> 3, "Theorem" -> 27|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 1|>, <|"Book" -> 3, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 1|>, <|"Book" -> 6, "Theorem" -> 20|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 1|>, <|"Book" -> 6, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 1|>, <|"Book" -> 6, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 2|>, <|"Book" -> 3, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 2|>, <|"Book" -> 4, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 2|>, <|"Book" -> 5, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 2|>, <|"Book" -> 5, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 2|>, <|"Book" -> 10, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 2|>, <|"Book" -> 12, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 3|>, <|"Book" -> 1, "Theorem" -> 29|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 3|>, <|"Book" -> 1, "Theorem" -> 34|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 3|>, <|"Book" -> 1, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 3|>, <|"Book" -> 6, "Theorem" -> 2|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 3|>, <|"Book" -> 11, "Theorem" -> 10|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 3|>, <|"Book" -> 11, "Theorem" -> 39|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 4|>, <|"Book" -> 5, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 4|>, <|"Book" -> 5, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 4|>, <|"Book" -> 6, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 4|>, <|"Book" -> 11, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 4|>, <|"Book" -> 11, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 4|>, <|"Book" -> 11, "Theorem" -> 28|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 4|>, <|"Book" -> 11, "Theorem" -> 32|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 4|>, <|"Book" -> 11, "Theorem" -> 39|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 4|>, <|"Book" -> 12, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 5|>, <|"Book" -> 5, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 5|>, <|"Book" -> 5, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 5|>, <|"Book" -> 10, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 5|>, <|"Book" -> 12, "Theorem" -> 2|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 5|>, <|"Book" -> 12, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 5|>, <|"Book" -> 12, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 6|>, <|"Book" -> 5, "Theorem" -> 18|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 6|>, <|"Book" -> 5, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 6|>, <|"Book" -> 12, "Theorem" -> 5|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 7|>, <|"Book" -> 1, "Theorem" -> 34|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 7|>, <|"Book" -> 12, "Theorem" -> 5|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 8|>, <|"Book" -> 5, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 8|>, <|"Book" -> 6, "Theorem" -> 20|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 8|>, <|"Book" -> 11, "Theorem" -> 24|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 8|>, <|"Book" -> 11, "Theorem" -> 28|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 8|>, <|"Book" -> 11, "Theorem" -> 33|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 8|>, <|"Book" -> 12, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 9|>, <|"Book" -> 1, "Theorem" -> 34|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 9|>, <|"Book" -> 5, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 9|>, <|"Book" -> 11, "Theorem" -> 34|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 9|>, <|"Book" -> 12, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 10|>, <|"Book" -> 1, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 10|>, <|"Book" -> 4, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 10|>, <|"Book" -> 4, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 10|>, <|"Book" -> 10, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 10|>, <|"Book" -> 11, "Theorem" -> 28|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 10|>, <|"Book" -> 11, "Theorem" -> 32|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 10|>, <|"Book" -> 12, "Theorem" -> 2|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 10|>, <|"Book" -> 12, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 10|>, <|"Book" -> 12, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 11|>, <|"Book" -> 4, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 11|>, <|"Book" -> 5, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 11|>, <|"Book" -> 5, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 11|>, <|"Book" -> 10, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 11|>, <|"Book" -> 12, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 11|>, <|"Book" -> 12, "Theorem" -> 10|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 11|>, <|"Book" -> 12, "Theorem" -> 2|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 11|>, <|"Book" -> 12, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 12|>, <|"Book" -> 4, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 12|>, <|"Book" -> 5, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 12|>, <|"Book" -> 5, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 12|>, <|"Book" -> 5, "Theorem" -> 22|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 12|>, <|"Book" -> 6, "Theorem" -> 5|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 12|>, <|"Book" -> 6, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 12|>, <|"Book" -> 10, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 12|>, <|"Book" -> 12, "Theorem" -> 10|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 12|>, <|"Book" -> 12, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 13|>, <|"Book" -> 12, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 14|>, <|"Book" -> 1, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 14|>, <|"Book" -> 12, "Theorem" -> 10|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 14|>, <|"Book" -> 12, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 14|>, <|"Book" -> 12, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 15|>, <|"Book" -> 5, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 15|>, <|"Book" -> 5, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 15|>, <|"Book" -> 5, "Theorem" -> 9|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 15|>, <|"Book" -> 12, "Theorem" -> 10|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 15|>, <|"Book" -> 12, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 15|>, <|"Book" -> 12, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 16|>, <|"Book" -> 1, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 16|>, <|"Book" -> 1, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 16|>, <|"Book" -> 1, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 16|>, <|"Book" -> 3, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 16|>, <|"Book" -> 3, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 16|>, <|"Book" -> 10, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 17|>, <|"Book" -> 1, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 17|>, <|"Book" -> 1, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 17|>, <|"Book" -> 1, "Theorem" -> 26|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 17|>, <|"Book" -> 1, "Theorem" -> 33|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 17|>, <|"Book" -> 1, "Theorem" -> 46|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 17|>, <|"Book" -> 1, "Theorem" -> 47|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 17|>, <|"Book" -> 3, "Theorem" -> 27|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 17|>, <|"Book" -> 3, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 17|>, <|"Book" -> 4, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 17|>, <|"Book" -> 5, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 17|>, <|"Book" -> 6, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 17|>, <|"Book" -> 6, "Theorem" -> 2|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 17|>, <|"Book" -> 11, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 17|>, <|"Book" -> 11, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 17|>, <|"Book" -> 11, "Theorem" -> 18|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 17|>, <|"Book" -> 11, "Theorem" -> 2|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 17|>, <|"Book" -> 11, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 17|>, <|"Book" -> 11, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 17|>, <|"Book" -> 11, "Theorem" -> 9|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 17|>, <|"Book" -> 12, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 17|>, <|"Book" -> 12, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 18|>, <|"Book" -> 5, "Theorem" -> 14|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 18|>, <|"Book" -> 5, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 18|>, <|"Book" -> 12, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 18|>, <|"Book" -> 12, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 12, "Theorem" -> 18|>, <|"Book" -> 12, "Theorem" -> 2|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 1|>, <|"Book" -> 1, "Theorem" -> 46|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 1|>, <|"Book" -> 6, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 1|>, <|"Book" -> 6, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 2|>, <|"Book" -> 1, "Theorem" -> 46|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 2|>, <|"Book" -> 2, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 2|>, <|"Book" -> 6, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 3|>, <|"Book" -> 1, "Theorem" -> 46|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 4|>, <|"Book" -> 1, "Theorem" -> 46|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 4|>, <|"Book" -> 6, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 5|>, <|"Book" -> 1, "Theorem" -> 46|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 5|>, <|"Book" -> 5, "Theorem" -> 14|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 5|>, <|"Book" -> 6, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 6|>, <|"Book" -> 6, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 6|>, <|"Book" -> 10, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 6|>, <|"Book" -> 10, "Theorem" -> 73|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 6|>, <|"Book" -> 10, "Theorem" -> 9|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 6|>, <|"Book" -> 10, "Theorem" -> 97|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 6|>, <|"Book" -> 13, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 7|>, <|"Book" -> 1, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 7|>, <|"Book" -> 1, "Theorem" -> 5|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 7|>, <|"Book" -> 1, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 7|>, <|"Book" -> 1, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 8|>, <|"Book" -> 1, "Theorem" -> 32|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 8|>, <|"Book" -> 1, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 8|>, <|"Book" -> 1, "Theorem" -> 5|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 8|>, <|"Book" -> 1, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 8|>, <|"Book" -> 3, "Theorem" -> 28|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 8|>, <|"Book" -> 4, "Theorem" -> 14|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 8|>, <|"Book" -> 6, "Theorem" -> 14|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 8|>, <|"Book" -> 6, "Theorem" -> 33|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 8|>, <|"Book" -> 6, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 9|>, <|"Book" -> 1, "Theorem" -> 32|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 9|>, <|"Book" -> 1, "Theorem" -> 5|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 9|>, <|"Book" -> 3, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 9|>, <|"Book" -> 4, "Theorem" -> 15|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 9|>, <|"Book" -> 6, "Theorem" -> 33|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 9|>, <|"Book" -> 6, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 10|>, <|"Book" -> 1, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 10|>, <|"Book" -> 1, "Theorem" -> 26|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 10|>, <|"Book" -> 1, "Theorem" -> 32|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 10|>, <|"Book" -> 1, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 10|>, <|"Book" -> 1, "Theorem" -> 5|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 10|>, <|"Book" -> 2, "Theorem" -> 2|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 10|>, <|"Book" -> 3, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 10|>, <|"Book" -> 3, "Theorem" -> 26|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 10|>, <|"Book" -> 4, "Theorem" -> 15|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 10|>, <|"Book" -> 6, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 10|>, <|"Book" -> 6, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 10|>, <|"Book" -> 6, "Theorem" -> 33|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 10|>, <|"Book" -> 6, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 11|>, <|"Book" -> 1, "Theorem" -> 32|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 11|>, <|"Book" -> 3, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 11|>, <|"Book" -> 5, "Theorem" -> 18|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 11|>, <|"Book" -> 5, "Theorem" -> 19|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 11|>, <|"Book" -> 6, "Theorem" -> 9|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 11|>, <|"Book" -> 10, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 11|>, <|"Book" -> 10, "Theorem" -> 15|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 11|>, <|"Book" -> 10, "Theorem" -> 73|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 11|>, <|"Book" -> 10, "Theorem" -> 9|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 11|>, <|"Book" -> 10, "Theorem" -> 94|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 11|>, <|"Book" -> 13, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 11|>, <|"Book" -> 13, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 12|>, <|"Book" -> 1, "Theorem" -> 47|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 12|>, <|"Book" -> 3, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 12|>, <|"Book" -> 3, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 12|>, <|"Book" -> 4, "Theorem" -> 15|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 13|>, <|"Book" -> 1, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 13|>, <|"Book" -> 1, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 13|>, <|"Book" -> 1, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 13|>, <|"Book" -> 1, "Theorem" -> 46|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 13|>, <|"Book" -> 3, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 13|>, <|"Book" -> 3, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 13|>, <|"Book" -> 4, "Theorem" -> 2|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 13|>, <|"Book" -> 6, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 13|>, <|"Book" -> 6, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 13|>, <|"Book" -> 6, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 13|>, <|"Book" -> 6, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 13|>, <|"Book" -> 6, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 13|>, <|"Book" -> 6, "Theorem" -> 9|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 13|>, <|"Book" -> 11, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 13|>, <|"Book" -> 13, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 14|>, <|"Book" -> 1, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 14|>, <|"Book" -> 1, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 14|>, <|"Book" -> 1, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 14|>, <|"Book" -> 1, "Theorem" -> 46|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 14|>, <|"Book" -> 1, "Theorem" -> 47|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 14|>, <|"Book" -> 3, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 14|>, <|"Book" -> 11, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 15|>, <|"Book" -> 1, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 15|>, <|"Book" -> 1, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 15|>, <|"Book" -> 1, "Theorem" -> 46|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 15|>, <|"Book" -> 1, "Theorem" -> 47|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 15|>, <|"Book" -> 6, "Theorem" -> 9|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 15|>, <|"Book" -> 11, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 16|>, <|"Book" -> 1, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 16|>, <|"Book" -> 1, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 16|>, <|"Book" -> 1, "Theorem" -> 33|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 16|>, <|"Book" -> 1, "Theorem" -> 9|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 16|>, <|"Book" -> 3, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 16|>, <|"Book" -> 3, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 16|>, <|"Book" -> 4, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 16|>, <|"Book" -> 4, "Theorem" -> 15|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 16|>, <|"Book" -> 6, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 16|>, <|"Book" -> 6, "Theorem" -> 9|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 16|>, <|"Book" -> 11, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 16|>, <|"Book" -> 11, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 16|>, <|"Book" -> 13, "Theorem" -> 10|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 16|>, <|"Book" -> 13, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 16|>, <|"Book" -> 13, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 16|>, <|"Book" -> 13, "Theorem" -> 9|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 17|>, <|"Book" -> 1, "Theorem" -> 10|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 17|>, <|"Book" -> 1, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 17|>, <|"Book" -> 1, "Theorem" -> 31|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 17|>, <|"Book" -> 1, "Theorem" -> 47|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 17|>, <|"Book" -> 1, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 17|>, <|"Book" -> 2, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 17|>, <|"Book" -> 5, "Theorem" -> 15|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 17|>, <|"Book" -> 6, "Theorem" -> 30|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 17|>, <|"Book" -> 6, "Theorem" -> 32|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 17|>, <|"Book" -> 11, "Theorem" -> 1|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 17|>, <|"Book" -> 11, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 17|>, <|"Book" -> 11, "Theorem" -> 38|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 17|>, <|"Book" -> 11, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 17|>, <|"Book" -> 13, "Theorem" -> 15|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 17|>, <|"Book" -> 13, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 17|>, <|"Book" -> 13, "Theorem" -> 5|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 17|>, <|"Book" -> 13, "Theorem" -> 6|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 17|>, <|"Book" -> 13, "Theorem" -> 7|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 18|>, <|"Book" -> 1, "Theorem" -> 11|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 18|>, <|"Book" -> 1, "Theorem" -> 12|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 18|>, <|"Book" -> 1, "Theorem" -> 3|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 18|>, <|"Book" -> 4, "Theorem" -> 14|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 18|>, <|"Book" -> 4, "Theorem" -> 15|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 18|>, <|"Book" -> 6, "Theorem" -> 20|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 18|>, <|"Book" -> 6, "Theorem" -> 4|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 18|>, <|"Book" -> 6, "Theorem" -> 8|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 18|>, <|"Book" -> 11, "Theorem" -> 21|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 18|>, <|"Book" -> 13, "Theorem" -> 10|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 18|>, <|"Book" -> 13, "Theorem" -> 13|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 18|>, <|"Book" -> 13, "Theorem" -> 14|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 18|>, <|"Book" -> 13, "Theorem" -> 15|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 18|>, <|"Book" -> 13, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 18|>, <|"Book" -> 13, "Theorem" -> 16|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 18|>, <|"Book" -> 13, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 18|>, <|"Book" -> 13, "Theorem" -> 17|>], DirectedEdge[<|"Book" -> 13, "Theorem" -> 18|>, <|"Book" -> 13, "Theorem" -> 9|>]}, {FormatType -> TraditionalForm}]