diff --git a/lab14/typed-semantics.pdf b/lab14/typed-semantics.pdf index 43b21a7..adce838 100644 --- a/lab14/typed-semantics.pdf +++ b/lab14/typed-semantics.pdf @@ -4,8 +4,8 @@ 1 0 obj << /Type /Pages - /Count 3 - /Kids [193 0 R 195 0 R 197 0 R] + /Count 2 + /Kids [102 0 R 104 0 R] >> endobj @@ -22,8 +22,8 @@ endobj << /Parent 2 0 R /Next 4 0 R - /Title (Operational Semantics Rules) - /Dest 191 0 R + /Title (Evaluation Rules) + /Dest 100 0 R >> endobj @@ -32,7 +32,7 @@ endobj /Parent 2 0 R /Prev 3 0 R /Title (Typing Rules) - /Dest 192 0 R + /Dest 101 0 R >> endobj @@ -46,73 +46,98 @@ endobj /Strong /Span /Em /Span >> - /K [9 0 R] + /K [8 0 R] /ParentTree << - /Nums [0 6 0 R 1 7 0 R 2 8 0 R] + /Nums [0 6 0 R 1 7 0 R] >> - /ParentTreeNextKey 3 + /ParentTreeNextKey 2 >> endobj 6 0 obj -[164 0 R 163 0 R 161 0 R 161 0 R 161 0 R 161 0 R 161 0 R 161 0 R 161 0 R 161 0 R 161 0 R 161 0 R 158 0 R 156 0 R 156 0 R 156 0 R 156 0 R 156 0 R 156 0 R 153 0 R 151 0 R 151 0 R 151 0 R 151 0 R 151 0 R 151 0 R 151 0 R 151 0 R 151 0 R 151 0 R 148 0 R 146 0 R 146 0 R 146 0 R 146 0 R 146 0 R 146 0 R 143 0 R 141 0 R 141 0 R 141 0 R 141 0 R 141 0 R 141 0 R 141 0 R 141 0 R 141 0 R 141 0 R 138 0 R 136 0 R 136 0 R 136 0 R 136 0 R 133 0 R 131 0 R 131 0 R 131 0 R 131 0 R 131 0 R 131 0 R 131 0 R 131 0 R 128 0 R 126 0 R 126 0 R 126 0 R 126 0 R 126 0 R 126 0 R 126 0 R 126 0 R 126 0 R 126 0 R 126 0 R 126 0 R 126 0 R 126 0 R 126 0 R 126 0 R 126 0 R 126 0 R 126 0 R 126 0 R 126 0 R 126 0 R 126 0 R 126 0 R 126 0 R 126 0 R 123 0 R 121 0 R 121 0 R 121 0 R 121 0 R 121 0 R 121 0 R 121 0 R 121 0 R 121 0 R 121 0 R 121 0 R 118 0 R 116 0 R 116 0 R 116 0 R 116 0 R 116 0 R 116 0 R 116 0 R 116 0 R 116 0 R 116 0 R 116 0 R 113 0 R 111 0 R 111 0 R 111 0 R 111 0 R 111 0 R 111 0 R 111 0 R 111 0 R 111 0 R 111 0 R 111 0 R 111 0 R 111 0 R 111 0 R 111 0 R 111 0 R 111 0 R 111 0 R 108 0 R 106 0 R 106 0 R 106 0 R 106 0 R 106 0 R 106 0 R 106 0 R 106 0 R 106 0 R 106 0 R 106 0 R 106 0 R 106 0 R 106 0 R 106 0 R 106 0 R 106 0 R 106 0 R 103 0 R 101 0 R 101 0 R 101 0 R 101 0 R 101 0 R 101 0 R 101 0 R 101 0 R 101 0 R 101 0 R 101 0 R 101 0 R 101 0 R 101 0 R 101 0 R 101 0 R 98 0 R 96 0 R 96 0 R 96 0 R 96 0 R 96 0 R 96 0 R 96 0 R 96 0 R 96 0 R 96 0 R] +[73 0 R 72 0 R 71 0 R 71 0 R 71 0 R 71 0 R 71 0 R 71 0 R 71 0 R 71 0 R 71 0 R 71 0 R 70 0 R 69 0 R 69 0 R 69 0 R 69 0 R 69 0 R 69 0 R 68 0 R 67 0 R 67 0 R 67 0 R 67 0 R 67 0 R 67 0 R 67 0 R 67 0 R 67 0 R 67 0 R 66 0 R 65 0 R 65 0 R 65 0 R 65 0 R 65 0 R 65 0 R 64 0 R 63 0 R 63 0 R 63 0 R 63 0 R 63 0 R 63 0 R 63 0 R 63 0 R 63 0 R 63 0 R 62 0 R 61 0 R 61 0 R 61 0 R 61 0 R 60 0 R 59 0 R 59 0 R 59 0 R 59 0 R 59 0 R 59 0 R 59 0 R 59 0 R 58 0 R 57 0 R 57 0 R 57 0 R 57 0 R 57 0 R 57 0 R 57 0 R 57 0 R 57 0 R 57 0 R 57 0 R 57 0 R 57 0 R 57 0 R 57 0 R 57 0 R 57 0 R 57 0 R 57 0 R 57 0 R 57 0 R 57 0 R 57 0 R 57 0 R 57 0 R 57 0 R 56 0 R 55 0 R 55 0 R 55 0 R 55 0 R 55 0 R 55 0 R 55 0 R 55 0 R 55 0 R 55 0 R 55 0 R 54 0 R 53 0 R 53 0 R 53 0 R 53 0 R 53 0 R 53 0 R 53 0 R 53 0 R 53 0 R 53 0 R 53 0 R 52 0 R 51 0 R 51 0 R 51 0 R 51 0 R 51 0 R 51 0 R 51 0 R 51 0 R 51 0 R 51 0 R 51 0 R 51 0 R 51 0 R 51 0 R 51 0 R 51 0 R 51 0 R 51 0 R 50 0 R 49 0 R 49 0 R 49 0 R 49 0 R 49 0 R 49 0 R 49 0 R 49 0 R 49 0 R 49 0 R 49 0 R 49 0 R 49 0 R 49 0 R 49 0 R 49 0 R 49 0 R 49 0 R 48 0 R 47 0 R 47 0 R 47 0 R 47 0 R 47 0 R 47 0 R 47 0 R 47 0 R 47 0 R 47 0 R 47 0 R 47 0 R 47 0 R 47 0 R 47 0 R 47 0 R 46 0 R 45 0 R 45 0 R 45 0 R 45 0 R 45 0 R 45 0 R 45 0 R 45 0 R 45 0 R 45 0 R 44 0 R 42 0 R 43 0 R 42 0 R 42 0 R 41 0 R 39 0 R 39 0 R 40 0 R 39 0 R 39 0 R 39 0 R 39 0 R 38 0 R 37 0 R 37 0 R 37 0 R 37 0 R 37 0 R 37 0 R 37 0 R 37 0 R 37 0 R 37 0 R 36 0 R 34 0 R 35 0 R 34 0 R 34 0 R 33 0 R 32 0 R 32 0 R 32 0 R 32 0 R 32 0 R 32 0 R 32 0 R 32 0 R 32 0 R 32 0 R 32 0 R 32 0 R 32 0 R 32 0 R] endobj 7 0 obj -[93 0 R 90 0 R 91 0 R 90 0 R 90 0 R 87 0 R 84 0 R 84 0 R 85 0 R 84 0 R 84 0 R 84 0 R 84 0 R 81 0 R 79 0 R 79 0 R 79 0 R 79 0 R 79 0 R 79 0 R 79 0 R 79 0 R 79 0 R 79 0 R 76 0 R 73 0 R 74 0 R 73 0 R 73 0 R 70 0 R 68 0 R 68 0 R 68 0 R 68 0 R 68 0 R 68 0 R 68 0 R 68 0 R 68 0 R 68 0 R 68 0 R 68 0 R 68 0 R 68 0 R 65 0 R 64 0 R 62 0 R 62 0 R 62 0 R 59 0 R 57 0 R 57 0 R 57 0 R 54 0 R 52 0 R 52 0 R 52 0 R 49 0 R 47 0 R 47 0 R 47 0 R 44 0 R 42 0 R 42 0 R 42 0 R 42 0 R 42 0 R 42 0 R 42 0 R 39 0 R 37 0 R 37 0 R 37 0 R 37 0 R 37 0 R 37 0 R 37 0 R 34 0 R 32 0 R 32 0 R 32 0 R 32 0 R 32 0 R 32 0 R 32 0 R 29 0 R 27 0 R 27 0 R 27 0 R 27 0 R 27 0 R 27 0 R 27 0 R 27 0 R 27 0 R 27 0 R 27 0 R 27 0 R 27 0 R 27 0 R 27 0 R 27 0 R 27 0 R 27 0 R 27 0 R 27 0 R 27 0 R 27 0 R 27 0 R 27 0 R 27 0 R 24 0 R 22 0 R 22 0 R 22 0 R 22 0 R 22 0 R 22 0 R 22 0 R 22 0 R 22 0 R 22 0 R 22 0 R 22 0 R 22 0 R 22 0 R 22 0 R 22 0 R] +[31 0 R 30 0 R 29 0 R 29 0 R 29 0 R 28 0 R 27 0 R 27 0 R 27 0 R 26 0 R 25 0 R 25 0 R 25 0 R 24 0 R 23 0 R 23 0 R 23 0 R 22 0 R 21 0 R 21 0 R 21 0 R 21 0 R 21 0 R 21 0 R 21 0 R 20 0 R 19 0 R 19 0 R 19 0 R 19 0 R 19 0 R 19 0 R 19 0 R 18 0 R 17 0 R 17 0 R 17 0 R 17 0 R 17 0 R 17 0 R 17 0 R 16 0 R 15 0 R 15 0 R 15 0 R 15 0 R 15 0 R 15 0 R 15 0 R 15 0 R 15 0 R 15 0 R 15 0 R 15 0 R 15 0 R 15 0 R 15 0 R 15 0 R 15 0 R 15 0 R 15 0 R 15 0 R 15 0 R 15 0 R 15 0 R 15 0 R 15 0 R 14 0 R 13 0 R 13 0 R 13 0 R 13 0 R 13 0 R 13 0 R 13 0 R 13 0 R 13 0 R 13 0 R 13 0 R 13 0 R 13 0 R 13 0 R 13 0 R 13 0 R 12 0 R 11 0 R 11 0 R 11 0 R 11 0 R 11 0 R 11 0 R 11 0 R 10 0 R 9 0 R 9 0 R 9 0 R 9 0 R 9 0 R 9 0 R 9 0 R] endobj 8 0 obj -[19 0 R 17 0 R 17 0 R 17 0 R 17 0 R 17 0 R 17 0 R 17 0 R 14 0 R 12 0 R 12 0 R 12 0 R 12 0 R 12 0 R 12 0 R 12 0 R] +<< + /Type /StructElem + /S /Document + /P 5 0 R + /K [73 0 R 72 0 R 71 0 R 70 0 R 69 0 R 68 0 R 67 0 R 66 0 R 65 0 R 64 0 R 63 0 R 62 0 R 61 0 R 60 0 R 59 0 R 58 0 R 57 0 R 56 0 R 55 0 R 54 0 R 53 0 R 52 0 R 51 0 R 50 0 R 49 0 R 48 0 R 47 0 R 46 0 R 45 0 R 44 0 R 42 0 R 41 0 R 39 0 R 38 0 R 37 0 R 36 0 R 34 0 R 33 0 R 32 0 R 31 0 R 30 0 R 29 0 R 28 0 R 27 0 R 26 0 R 25 0 R 24 0 R 23 0 R 22 0 R 21 0 R 20 0 R 19 0 R 18 0 R 17 0 R 16 0 R 15 0 R 14 0 R 13 0 R 12 0 R 11 0 R 10 0 R 9 0 R] +>> endobj 9 0 obj << /Type /StructElem - /S /Document - /P 5 0 R - /K [164 0 R 159 0 R 154 0 R 149 0 R 144 0 R 139 0 R 134 0 R 129 0 R 124 0 R 119 0 R 114 0 R 109 0 R 104 0 R 99 0 R 94 0 R 88 0 R 82 0 R 77 0 R 71 0 R 66 0 R 65 0 R 60 0 R 55 0 R 50 0 R 45 0 R 40 0 R 35 0 R 30 0 R 25 0 R 20 0 R 15 0 R 10 0 R] + /S /Formula + /P 8 0 R + /A [<< + /O /Layout + /Placement /Block + >>] + /K [93 94 95 96 97 98 99] + /Pg 104 0 R >> endobj 10 0 obj << /Type /StructElem - /S /Div - /P 9 0 R - /K [13 0 R 11 0 R] + /S /Span + /P 8 0 R + /A [<< + /O /Layout + /Placement /Block + >>] + /K [92] + /Pg 104 0 R >> endobj 11 0 obj << /Type /StructElem - /S /Div - /P 10 0 R - /K [12 0 R] + /S /Formula + /P 8 0 R + /A [<< + /O /Layout + /Placement /Block + >>] + /K [85 86 87 88 89 90 91] + /Pg 104 0 R >> endobj 12 0 obj << /Type /StructElem - /S /Formula - /P 11 0 R + /S /Span + /P 8 0 R /A [<< /O /Layout /Placement /Block >>] - /K [9 10 11 12 13 14 15] - /Pg 197 0 R + /K [84] + /Pg 104 0 R >> endobj 13 0 obj << /Type /StructElem - /S /Div - /P 10 0 R - /K [14 0 R] + /S /Formula + /P 8 0 R + /A [<< + /O /Layout + /Placement /Block + >>] + /K [68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83] + /Pg 104 0 R >> endobj @@ -120,31 +145,41 @@ endobj << /Type /StructElem /S /Span - /P 13 0 R + /P 8 0 R /A [<< /O /Layout /Placement /Block >>] - /K [8] - /Pg 197 0 R + /K [67] + /Pg 104 0 R >> endobj 15 0 obj << /Type /StructElem - /S /Div - /P 9 0 R - /K [18 0 R 16 0 R] + /S /Formula + /P 8 0 R + /A [<< + /O /Layout + /Placement /Block + >>] + /K [42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66] + /Pg 104 0 R >> endobj 16 0 obj << /Type /StructElem - /S /Div - /P 15 0 R - /K [17 0 R] + /S /Span + /P 8 0 R + /A [<< + /O /Layout + /Placement /Block + >>] + /K [41] + /Pg 104 0 R >> endobj @@ -152,77 +187,97 @@ endobj << /Type /StructElem /S /Formula - /P 16 0 R + /P 8 0 R /A [<< /O /Layout /Placement /Block >>] - /K [1 2 3 4 5 6 7] - /Pg 197 0 R + /K [34 35 36 37 38 39 40] + /Pg 104 0 R >> endobj 18 0 obj << /Type /StructElem - /S /Div - /P 15 0 R - /K [19 0 R] + /S /Span + /P 8 0 R + /A [<< + /O /Layout + /Placement /Block + >>] + /K [33] + /Pg 104 0 R >> endobj 19 0 obj << /Type /StructElem - /S /Span - /P 18 0 R + /S /Formula + /P 8 0 R /A [<< /O /Layout /Placement /Block >>] - /K [0] - /Pg 197 0 R + /K [26 27 28 29 30 31 32] + /Pg 104 0 R >> endobj 20 0 obj << /Type /StructElem - /S /Div - /P 9 0 R - /K [23 0 R 21 0 R] + /S /Span + /P 8 0 R + /A [<< + /O /Layout + /Placement /Block + >>] + /K [25] + /Pg 104 0 R >> endobj 21 0 obj << /Type /StructElem - /S /Div - /P 20 0 R - /K [22 0 R] + /S /Formula + /P 8 0 R + /A [<< + /O /Layout + /Placement /Block + >>] + /K [18 19 20 21 22 23 24] + /Pg 104 0 R >> endobj 22 0 obj << /Type /StructElem - /S /Formula - /P 21 0 R + /S /Span + /P 8 0 R /A [<< /O /Layout /Placement /Block >>] - /K [112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127] - /Pg 195 0 R + /K [17] + /Pg 104 0 R >> endobj 23 0 obj << /Type /StructElem - /S /Div - /P 20 0 R - /K [24 0 R] + /S /Formula + /P 8 0 R + /A [<< + /O /Layout + /Placement /Block + >>] + /K [14 15 16] + /Pg 104 0 R >> endobj @@ -230,31 +285,41 @@ endobj << /Type /StructElem /S /Span - /P 23 0 R + /P 8 0 R /A [<< /O /Layout /Placement /Block >>] - /K [111] - /Pg 195 0 R + /K [13] + /Pg 104 0 R >> endobj 25 0 obj << /Type /StructElem - /S /Div - /P 9 0 R - /K [28 0 R 26 0 R] + /S /Formula + /P 8 0 R + /A [<< + /O /Layout + /Placement /Block + >>] + /K [10 11 12] + /Pg 104 0 R >> endobj 26 0 obj << /Type /StructElem - /S /Div - /P 25 0 R - /K [27 0 R] + /S /Span + /P 8 0 R + /A [<< + /O /Layout + /Placement /Block + >>] + /K [9] + /Pg 104 0 R >> endobj @@ -262,54 +327,66 @@ endobj << /Type /StructElem /S /Formula - /P 26 0 R + /P 8 0 R /A [<< /O /Layout /Placement /Block >>] - /K [86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110] - /Pg 195 0 R + /K [6 7 8] + /Pg 104 0 R >> endobj 28 0 obj << /Type /StructElem - /S /Div - /P 25 0 R - /K [29 0 R] + /S /Span + /P 8 0 R + /A [<< + /O /Layout + /Placement /Block + >>] + /K [5] + /Pg 104 0 R >> endobj 29 0 obj << /Type /StructElem - /S /Span - /P 28 0 R + /S /Formula + /P 8 0 R /A [<< /O /Layout /Placement /Block >>] - /K [85] - /Pg 195 0 R + /K [2 3 4] + /Pg 104 0 R >> endobj 30 0 obj << /Type /StructElem - /S /Div - /P 9 0 R - /K [33 0 R 31 0 R] + /S /Span + /P 8 0 R + /A [<< + /O /Layout + /Placement /Block + >>] + /K [1] + /Pg 104 0 R >> endobj 31 0 obj << /Type /StructElem - /S /Div - /P 30 0 R - /K [32 0 R] + /S /H1 + /P 8 0 R + /T (Typing Rules) + /K [0] + /Pg 104 0 R >> endobj @@ -317,54 +394,65 @@ endobj << /Type /StructElem /S /Formula - /P 31 0 R + /P 8 0 R /A [<< /O /Layout /Placement /Block >>] - /K [78 79 80 81 82 83 84] - /Pg 195 0 R + /K [209 210 211 212 213 214 215 216 217 218 219 220 221 222] + /Pg 102 0 R >> endobj 33 0 obj << /Type /StructElem - /S /Div - /P 30 0 R - /K [34 0 R] + /S /Span + /P 8 0 R + /A [<< + /O /Layout + /Placement /Block + >>] + /K [208] + /Pg 102 0 R >> endobj 34 0 obj << /Type /StructElem - /S /Span - /P 33 0 R + /S /Formula + /P 8 0 R /A [<< /O /Layout /Placement /Block >>] - /K [77] - /Pg 195 0 R + /K [204 35 0 R 206 207] + /Pg 102 0 R >> endobj 35 0 obj << /Type /StructElem - /S /Div - /P 9 0 R - /K [38 0 R 36 0 R] + /S /Code + /P 34 0 R + /K [205] + /Pg 102 0 R >> endobj 36 0 obj << /Type /StructElem - /S /Div - /P 35 0 R - /K [37 0 R] + /S /Span + /P 8 0 R + /A [<< + /O /Layout + /Placement /Block + >>] + /K [203] + /Pg 102 0 R >> endobj @@ -372,54 +460,65 @@ endobj << /Type /StructElem /S /Formula - /P 36 0 R + /P 8 0 R /A [<< /O /Layout /Placement /Block >>] - /K [70 71 72 73 74 75 76] - /Pg 195 0 R + /K [193 194 195 196 197 198 199 200 201 202] + /Pg 102 0 R >> endobj 38 0 obj << /Type /StructElem - /S /Div - /P 35 0 R - /K [39 0 R] + /S /Span + /P 8 0 R + /A [<< + /O /Layout + /Placement /Block + >>] + /K [192] + /Pg 102 0 R >> endobj 39 0 obj << /Type /StructElem - /S /Span - /P 38 0 R + /S /Formula + /P 8 0 R /A [<< /O /Layout /Placement /Block >>] - /K [69] - /Pg 195 0 R + /K [185 186 40 0 R 188 189 190 191] + /Pg 102 0 R >> endobj 40 0 obj << /Type /StructElem - /S /Div - /P 9 0 R - /K [43 0 R 41 0 R] + /S /Code + /P 39 0 R + /K [187] + /Pg 102 0 R >> endobj 41 0 obj << /Type /StructElem - /S /Div - /P 40 0 R - /K [42 0 R] + /S /Span + /P 8 0 R + /A [<< + /O /Layout + /Placement /Block + >>] + /K [184] + /Pg 102 0 R >> endobj @@ -427,22 +526,23 @@ endobj << /Type /StructElem /S /Formula - /P 41 0 R + /P 8 0 R /A [<< /O /Layout /Placement /Block >>] - /K [62 63 64 65 66 67 68] - /Pg 195 0 R + /K [180 43 0 R 182 183] + /Pg 102 0 R >> endobj 43 0 obj << /Type /StructElem - /S /Div - /P 40 0 R - /K [44 0 R] + /S /Code + /P 42 0 R + /K [181] + /Pg 102 0 R >> endobj @@ -450,31 +550,41 @@ endobj << /Type /StructElem /S /Span - /P 43 0 R + /P 8 0 R /A [<< /O /Layout /Placement /Block >>] - /K [61] - /Pg 195 0 R + /K [179] + /Pg 102 0 R >> endobj 45 0 obj << /Type /StructElem - /S /Div - /P 9 0 R - /K [48 0 R 46 0 R] + /S /Formula + /P 8 0 R + /A [<< + /O /Layout + /Placement /Block + >>] + /K [169 170 171 172 173 174 175 176 177 178] + /Pg 102 0 R >> endobj 46 0 obj << /Type /StructElem - /S /Div - /P 45 0 R - /K [47 0 R] + /S /Span + /P 8 0 R + /A [<< + /O /Layout + /Placement /Block + >>] + /K [168] + /Pg 102 0 R >> endobj @@ -482,77 +592,97 @@ endobj << /Type /StructElem /S /Formula - /P 46 0 R + /P 8 0 R /A [<< /O /Layout /Placement /Block >>] - /K [58 59 60] - /Pg 195 0 R + /K [152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167] + /Pg 102 0 R >> endobj 48 0 obj << /Type /StructElem - /S /Div - /P 45 0 R - /K [49 0 R] + /S /Span + /P 8 0 R + /A [<< + /O /Layout + /Placement /Block + >>] + /K [151] + /Pg 102 0 R >> endobj 49 0 obj << /Type /StructElem - /S /Span - /P 48 0 R + /S /Formula + /P 8 0 R /A [<< /O /Layout /Placement /Block >>] - /K [57] - /Pg 195 0 R + /K [133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150] + /Pg 102 0 R >> endobj 50 0 obj << /Type /StructElem - /S /Div - /P 9 0 R - /K [53 0 R 51 0 R] + /S /Span + /P 8 0 R + /A [<< + /O /Layout + /Placement /Block + >>] + /K [132] + /Pg 102 0 R >> endobj 51 0 obj << /Type /StructElem - /S /Div - /P 50 0 R - /K [52 0 R] + /S /Formula + /P 8 0 R + /A [<< + /O /Layout + /Placement /Block + >>] + /K [114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131] + /Pg 102 0 R >> endobj 52 0 obj << /Type /StructElem - /S /Formula - /P 51 0 R + /S /Span + /P 8 0 R /A [<< /O /Layout /Placement /Block >>] - /K [54 55 56] - /Pg 195 0 R + /K [113] + /Pg 102 0 R >> endobj 53 0 obj << /Type /StructElem - /S /Div - /P 50 0 R - /K [54 0 R] + /S /Formula + /P 8 0 R + /A [<< + /O /Layout + /Placement /Block + >>] + /K [102 103 104 105 106 107 108 109 110 111 112] + /Pg 102 0 R >> endobj @@ -560,31 +690,41 @@ endobj << /Type /StructElem /S /Span - /P 53 0 R + /P 8 0 R /A [<< /O /Layout /Placement /Block >>] - /K [53] - /Pg 195 0 R + /K [101] + /Pg 102 0 R >> endobj 55 0 obj << /Type /StructElem - /S /Div - /P 9 0 R - /K [58 0 R 56 0 R] + /S /Formula + /P 8 0 R + /A [<< + /O /Layout + /Placement /Block + >>] + /K [90 91 92 93 94 95 96 97 98 99 100] + /Pg 102 0 R >> endobj 56 0 obj << /Type /StructElem - /S /Div - /P 55 0 R - /K [57 0 R] + /S /Span + /P 8 0 R + /A [<< + /O /Layout + /Placement /Block + >>] + /K [89] + /Pg 102 0 R >> endobj @@ -592,77 +732,97 @@ endobj << /Type /StructElem /S /Formula - /P 56 0 R + /P 8 0 R /A [<< /O /Layout /Placement /Block >>] - /K [50 51 52] - /Pg 195 0 R + /K [63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88] + /Pg 102 0 R >> endobj 58 0 obj << /Type /StructElem - /S /Div - /P 55 0 R - /K [59 0 R] + /S /Span + /P 8 0 R + /A [<< + /O /Layout + /Placement /Block + >>] + /K [62] + /Pg 102 0 R >> endobj 59 0 obj << /Type /StructElem - /S /Span - /P 58 0 R + /S /Formula + /P 8 0 R /A [<< /O /Layout /Placement /Block >>] - /K [49] - /Pg 195 0 R + /K [54 55 56 57 58 59 60 61] + /Pg 102 0 R >> endobj 60 0 obj << /Type /StructElem - /S /Div - /P 9 0 R - /K [63 0 R 61 0 R] + /S /Span + /P 8 0 R + /A [<< + /O /Layout + /Placement /Block + >>] + /K [53] + /Pg 102 0 R >> endobj 61 0 obj << /Type /StructElem - /S /Div - /P 60 0 R - /K [62 0 R] + /S /Formula + /P 8 0 R + /A [<< + /O /Layout + /Placement /Block + >>] + /K [49 50 51 52] + /Pg 102 0 R >> endobj 62 0 obj << /Type /StructElem - /S /Formula - /P 61 0 R + /S /Span + /P 8 0 R /A [<< /O /Layout /Placement /Block >>] - /K [46 47 48] - /Pg 195 0 R + /K [48] + /Pg 102 0 R >> endobj 63 0 obj << /Type /StructElem - /S /Div - /P 60 0 R - /K [64 0 R] + /S /Formula + /P 8 0 R + /A [<< + /O /Layout + /Placement /Block + >>] + /K [38 39 40 41 42 43 44 45 46 47] + /Pg 102 0 R >> endobj @@ -670,65 +830,83 @@ endobj << /Type /StructElem /S /Span - /P 63 0 R + /P 8 0 R /A [<< /O /Layout /Placement /Block >>] - /K [45] - /Pg 195 0 R + /K [37] + /Pg 102 0 R >> endobj 65 0 obj << /Type /StructElem - /S /H2 - /P 9 0 R - /T (Typing Rules) - /K [44] - /Pg 195 0 R + /S /Formula + /P 8 0 R + /A [<< + /O /Layout + /Placement /Block + >>] + /K [31 32 33 34 35 36] + /Pg 102 0 R >> endobj 66 0 obj << /Type /StructElem - /S /Div - /P 9 0 R - /K [69 0 R 67 0 R] + /S /Span + /P 8 0 R + /A [<< + /O /Layout + /Placement /Block + >>] + /K [30] + /Pg 102 0 R >> endobj 67 0 obj << /Type /StructElem - /S /Div - /P 66 0 R - /K [68 0 R] + /S /Formula + /P 8 0 R + /A [<< + /O /Layout + /Placement /Block + >>] + /K [20 21 22 23 24 25 26 27 28 29] + /Pg 102 0 R >> endobj 68 0 obj << /Type /StructElem - /S /Formula - /P 67 0 R + /S /Span + /P 8 0 R /A [<< /O /Layout /Placement /Block >>] - /K [30 31 32 33 34 35 36 37 38 39 40 41 42 43] - /Pg 195 0 R + /K [19] + /Pg 102 0 R >> endobj 69 0 obj << /Type /StructElem - /S /Div - /P 66 0 R - /K [70 0 R] + /S /Formula + /P 8 0 R + /A [<< + /O /Layout + /Placement /Block + >>] + /K [13 14 15 16 17 18] + /Pg 102 0 R >> endobj @@ -736,1103 +914,111 @@ endobj << /Type /StructElem /S /Span - /P 69 0 R + /P 8 0 R /A [<< /O /Layout /Placement /Block >>] - /K [29] - /Pg 195 0 R + /K [12] + /Pg 102 0 R >> endobj 71 0 obj << /Type /StructElem - /S /Div - /P 9 0 R - /K [75 0 R 72 0 R] + /S /Formula + /P 8 0 R + /A [<< + /O /Layout + /Placement /Block + >>] + /K [2 3 4 5 6 7 8 9 10 11] + /Pg 102 0 R >> endobj 72 0 obj << /Type /StructElem - /S /Div - /P 71 0 R - /K [73 0 R] + /S /Span + /P 8 0 R + /A [<< + /O /Layout + /Placement /Block + >>] + /K [1] + /Pg 102 0 R >> endobj 73 0 obj << /Type /StructElem - /S /Formula - /P 72 0 R - /A [<< - /O /Layout - /Placement /Block - >>] - /K [25 74 0 R 27 28] - /Pg 195 0 R + /S /H1 + /P 8 0 R + /T (Evaluation Rules) + /K [0] + /Pg 102 0 R >> endobj 74 0 obj << - /Type /StructElem - /S /Code - /P 73 0 R - /K [26] - /Pg 195 0 R + /Type /Font + /Subtype /Type0 + /BaseFont /EBRFUL+LibertinusSerif-Bold-Identity-H + /Encoding /Identity-H + /DescendantFonts [75 0 R] + /ToUnicode 78 0 R >> endobj 75 0 obj -<< - /Type /StructElem - /S /Div - /P 71 0 R - /K [76 0 R] ->> -endobj - -76 0 obj -<< - /Type /StructElem - /S /Span - /P 75 0 R - /A [<< - /O /Layout - /Placement /Block - >>] - /K [24] - /Pg 195 0 R ->> -endobj - -77 0 obj -<< - /Type /StructElem - /S /Div - /P 9 0 R - /K [80 0 R 78 0 R] ->> -endobj - -78 0 obj -<< - /Type /StructElem - /S /Div - /P 77 0 R - /K [79 0 R] ->> -endobj - -79 0 obj -<< - /Type /StructElem - /S /Formula - /P 78 0 R - /A [<< - /O /Layout - /Placement /Block - >>] - /K [14 15 16 17 18 19 20 21 22 23] - /Pg 195 0 R ->> -endobj - -80 0 obj -<< - /Type /StructElem - /S /Div - /P 77 0 R - /K [81 0 R] ->> -endobj - -81 0 obj -<< - /Type /StructElem - /S /Span - /P 80 0 R - /A [<< - /O /Layout - /Placement /Block - >>] - /K [13] - /Pg 195 0 R ->> -endobj - -82 0 obj -<< - /Type /StructElem - /S /Div - /P 9 0 R - /K [86 0 R 83 0 R] ->> -endobj - -83 0 obj -<< - /Type /StructElem - /S /Div - /P 82 0 R - /K [84 0 R] ->> -endobj - -84 0 obj -<< - /Type /StructElem - /S /Formula - /P 83 0 R - /A [<< - /O /Layout - /Placement /Block - >>] - /K [6 7 85 0 R 9 10 11 12] - /Pg 195 0 R ->> -endobj - -85 0 obj -<< - /Type /StructElem - /S /Code - /P 84 0 R - /K [8] - /Pg 195 0 R ->> -endobj - -86 0 obj -<< - /Type /StructElem - /S /Div - /P 82 0 R - /K [87 0 R] ->> -endobj - -87 0 obj -<< - /Type /StructElem - /S /Span - /P 86 0 R - /A [<< - /O /Layout - /Placement /Block - >>] - /K [5] - /Pg 195 0 R ->> -endobj - -88 0 obj -<< - /Type /StructElem - /S /Div - /P 9 0 R - /K [92 0 R 89 0 R] ->> -endobj - -89 0 obj -<< - /Type /StructElem - /S /Div - /P 88 0 R - /K [90 0 R] ->> -endobj - -90 0 obj -<< - /Type /StructElem - /S /Formula - /P 89 0 R - /A [<< - /O /Layout - /Placement /Block - >>] - /K [1 91 0 R 3 4] - /Pg 195 0 R ->> -endobj - -91 0 obj -<< - /Type /StructElem - /S /Code - /P 90 0 R - /K [2] - /Pg 195 0 R ->> -endobj - -92 0 obj -<< - /Type /StructElem - /S /Div - /P 88 0 R - /K [93 0 R] ->> -endobj - -93 0 obj -<< - /Type /StructElem - /S /Span - /P 92 0 R - /A [<< - /O /Layout - /Placement /Block - >>] - /K [0] - /Pg 195 0 R ->> -endobj - -94 0 obj -<< - /Type /StructElem - /S /Div - /P 9 0 R - /K [97 0 R 95 0 R] ->> -endobj - -95 0 obj -<< - /Type /StructElem - /S /Div - /P 94 0 R - /K [96 0 R] ->> -endobj - -96 0 obj -<< - /Type /StructElem - /S /Formula - /P 95 0 R - /A [<< - /O /Layout - /Placement /Block - >>] - /K [169 170 171 172 173 174 175 176 177 178] - /Pg 193 0 R ->> -endobj - -97 0 obj -<< - /Type /StructElem - /S /Div - /P 94 0 R - /K [98 0 R] ->> -endobj - -98 0 obj -<< - /Type /StructElem - /S /Span - /P 97 0 R - /A [<< - /O /Layout - /Placement /Block - >>] - /K [168] - /Pg 193 0 R ->> -endobj - -99 0 obj -<< - /Type /StructElem - /S /Div - /P 9 0 R - /K [102 0 R 100 0 R] ->> -endobj - -100 0 obj -<< - /Type /StructElem - /S /Div - /P 99 0 R - /K [101 0 R] ->> -endobj - -101 0 obj -<< - /Type /StructElem - /S /Formula - /P 100 0 R - /A [<< - /O /Layout - /Placement /Block - >>] - /K [152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167] - /Pg 193 0 R ->> -endobj - -102 0 obj -<< - /Type /StructElem - /S /Div - /P 99 0 R - /K [103 0 R] ->> -endobj - -103 0 obj -<< - /Type /StructElem - /S /Span - /P 102 0 R - /A [<< - /O /Layout - /Placement /Block - >>] - /K [151] - /Pg 193 0 R ->> -endobj - -104 0 obj -<< - /Type /StructElem - /S /Div - /P 9 0 R - /K [107 0 R 105 0 R] ->> -endobj - -105 0 obj -<< - /Type /StructElem - /S /Div - /P 104 0 R - /K [106 0 R] ->> -endobj - -106 0 obj -<< - /Type /StructElem - /S /Formula - /P 105 0 R - /A [<< - /O /Layout - /Placement /Block - >>] - /K [133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150] - /Pg 193 0 R ->> -endobj - -107 0 obj -<< - /Type /StructElem - /S /Div - /P 104 0 R - /K [108 0 R] ->> -endobj - -108 0 obj -<< - /Type /StructElem - /S /Span - /P 107 0 R - /A [<< - /O /Layout - /Placement /Block - >>] - /K [132] - /Pg 193 0 R ->> -endobj - -109 0 obj -<< - /Type /StructElem - /S /Div - /P 9 0 R - /K [112 0 R 110 0 R] ->> -endobj - -110 0 obj -<< - /Type /StructElem - /S /Div - /P 109 0 R - /K [111 0 R] ->> -endobj - -111 0 obj -<< - /Type /StructElem - /S /Formula - /P 110 0 R - /A [<< - /O /Layout - /Placement /Block - >>] - /K [114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131] - /Pg 193 0 R ->> -endobj - -112 0 obj -<< - /Type /StructElem - /S /Div - /P 109 0 R - /K [113 0 R] ->> -endobj - -113 0 obj -<< - /Type /StructElem - /S /Span - /P 112 0 R - /A [<< - /O /Layout - /Placement /Block - >>] - /K [113] - /Pg 193 0 R ->> -endobj - -114 0 obj -<< - /Type /StructElem - /S /Div - /P 9 0 R - /K [117 0 R 115 0 R] ->> -endobj - -115 0 obj -<< - /Type /StructElem - /S /Div - /P 114 0 R - /K [116 0 R] ->> -endobj - -116 0 obj -<< - /Type /StructElem - /S /Formula - /P 115 0 R - /A [<< - /O /Layout - /Placement /Block - >>] - /K [102 103 104 105 106 107 108 109 110 111 112] - /Pg 193 0 R ->> -endobj - -117 0 obj -<< - /Type /StructElem - /S /Div - /P 114 0 R - /K [118 0 R] ->> -endobj - -118 0 obj -<< - /Type /StructElem - /S /Span - /P 117 0 R - /A [<< - /O /Layout - /Placement /Block - >>] - /K [101] - /Pg 193 0 R ->> -endobj - -119 0 obj -<< - /Type /StructElem - /S /Div - /P 9 0 R - /K [122 0 R 120 0 R] ->> -endobj - -120 0 obj -<< - /Type /StructElem - /S /Div - /P 119 0 R - /K [121 0 R] ->> -endobj - -121 0 obj -<< - /Type /StructElem - /S /Formula - /P 120 0 R - /A [<< - /O /Layout - /Placement /Block - >>] - /K [90 91 92 93 94 95 96 97 98 99 100] - /Pg 193 0 R ->> -endobj - -122 0 obj -<< - /Type /StructElem - /S /Div - /P 119 0 R - /K [123 0 R] ->> -endobj - -123 0 obj -<< - /Type /StructElem - /S /Span - /P 122 0 R - /A [<< - /O /Layout - /Placement /Block - >>] - /K [89] - /Pg 193 0 R ->> -endobj - -124 0 obj -<< - /Type /StructElem - /S /Div - /P 9 0 R - /K [127 0 R 125 0 R] ->> -endobj - -125 0 obj -<< - /Type /StructElem - /S /Div - /P 124 0 R - /K [126 0 R] ->> -endobj - -126 0 obj -<< - /Type /StructElem - /S /Formula - /P 125 0 R - /A [<< - /O /Layout - /Placement /Block - >>] - /K [63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88] - /Pg 193 0 R ->> -endobj - -127 0 obj -<< - /Type /StructElem - /S /Div - /P 124 0 R - /K [128 0 R] ->> -endobj - -128 0 obj -<< - /Type /StructElem - /S /Span - /P 127 0 R - /A [<< - /O /Layout - /Placement /Block - >>] - /K [62] - /Pg 193 0 R ->> -endobj - -129 0 obj -<< - /Type /StructElem - /S /Div - /P 9 0 R - /K [132 0 R 130 0 R] ->> -endobj - -130 0 obj -<< - /Type /StructElem - /S /Div - /P 129 0 R - /K [131 0 R] ->> -endobj - -131 0 obj -<< - /Type /StructElem - /S /Formula - /P 130 0 R - /A [<< - /O /Layout - /Placement /Block - >>] - /K [54 55 56 57 58 59 60 61] - /Pg 193 0 R ->> -endobj - -132 0 obj -<< - /Type /StructElem - /S /Div - /P 129 0 R - /K [133 0 R] ->> -endobj - -133 0 obj -<< - /Type /StructElem - /S /Span - /P 132 0 R - /A [<< - /O /Layout - /Placement /Block - >>] - /K [53] - /Pg 193 0 R ->> -endobj - -134 0 obj -<< - /Type /StructElem - /S /Div - /P 9 0 R - /K [137 0 R 135 0 R] ->> -endobj - -135 0 obj -<< - /Type /StructElem - /S /Div - /P 134 0 R - /K [136 0 R] ->> -endobj - -136 0 obj -<< - /Type /StructElem - /S /Formula - /P 135 0 R - /A [<< - /O /Layout - /Placement /Block - >>] - /K [49 50 51 52] - /Pg 193 0 R ->> -endobj - -137 0 obj -<< - /Type /StructElem - /S /Div - /P 134 0 R - /K [138 0 R] ->> -endobj - -138 0 obj -<< - /Type /StructElem - /S /Span - /P 137 0 R - /A [<< - /O /Layout - /Placement /Block - >>] - /K [48] - /Pg 193 0 R ->> -endobj - -139 0 obj -<< - /Type /StructElem - /S /Div - /P 9 0 R - /K [142 0 R 140 0 R] ->> -endobj - -140 0 obj -<< - /Type /StructElem - /S /Div - /P 139 0 R - /K [141 0 R] ->> -endobj - -141 0 obj -<< - /Type /StructElem - /S /Formula - /P 140 0 R - /A [<< - /O /Layout - /Placement /Block - >>] - /K [38 39 40 41 42 43 44 45 46 47] - /Pg 193 0 R ->> -endobj - -142 0 obj -<< - /Type /StructElem - /S /Div - /P 139 0 R - /K [143 0 R] ->> -endobj - -143 0 obj -<< - /Type /StructElem - /S /Span - /P 142 0 R - /A [<< - /O /Layout - /Placement /Block - >>] - /K [37] - /Pg 193 0 R ->> -endobj - -144 0 obj -<< - /Type /StructElem - /S /Div - /P 9 0 R - /K [147 0 R 145 0 R] ->> -endobj - -145 0 obj -<< - /Type /StructElem - /S /Div - /P 144 0 R - /K [146 0 R] ->> -endobj - -146 0 obj -<< - /Type /StructElem - /S /Formula - /P 145 0 R - /A [<< - /O /Layout - /Placement /Block - >>] - /K [31 32 33 34 35 36] - /Pg 193 0 R ->> -endobj - -147 0 obj -<< - /Type /StructElem - /S /Div - /P 144 0 R - /K [148 0 R] ->> -endobj - -148 0 obj -<< - /Type /StructElem - /S /Span - /P 147 0 R - /A [<< - /O /Layout - /Placement /Block - >>] - /K [30] - /Pg 193 0 R ->> -endobj - -149 0 obj -<< - /Type /StructElem - /S /Div - /P 9 0 R - /K [152 0 R 150 0 R] ->> -endobj - -150 0 obj -<< - /Type /StructElem - /S /Div - /P 149 0 R - /K [151 0 R] ->> -endobj - -151 0 obj -<< - /Type /StructElem - /S /Formula - /P 150 0 R - /A [<< - /O /Layout - /Placement /Block - >>] - /K [20 21 22 23 24 25 26 27 28 29] - /Pg 193 0 R ->> -endobj - -152 0 obj -<< - /Type /StructElem - /S /Div - /P 149 0 R - /K [153 0 R] ->> -endobj - -153 0 obj -<< - /Type /StructElem - /S /Span - /P 152 0 R - /A [<< - /O /Layout - /Placement /Block - >>] - /K [19] - /Pg 193 0 R ->> -endobj - -154 0 obj -<< - /Type /StructElem - /S /Div - /P 9 0 R - /K [157 0 R 155 0 R] ->> -endobj - -155 0 obj -<< - /Type /StructElem - /S /Div - /P 154 0 R - /K [156 0 R] ->> -endobj - -156 0 obj -<< - /Type /StructElem - /S /Formula - /P 155 0 R - /A [<< - /O /Layout - /Placement /Block - >>] - /K [13 14 15 16 17 18] - /Pg 193 0 R ->> -endobj - -157 0 obj -<< - /Type /StructElem - /S /Div - /P 154 0 R - /K [158 0 R] ->> -endobj - -158 0 obj -<< - /Type /StructElem - /S /Span - /P 157 0 R - /A [<< - /O /Layout - /Placement /Block - >>] - /K [12] - /Pg 193 0 R ->> -endobj - -159 0 obj -<< - /Type /StructElem - /S /Div - /P 9 0 R - /K [162 0 R 160 0 R] ->> -endobj - -160 0 obj -<< - /Type /StructElem - /S /Div - /P 159 0 R - /K [161 0 R] ->> -endobj - -161 0 obj -<< - /Type /StructElem - /S /Formula - /P 160 0 R - /A [<< - /O /Layout - /Placement /Block - >>] - /K [2 3 4 5 6 7 8 9 10 11] - /Pg 193 0 R ->> -endobj - -162 0 obj -<< - /Type /StructElem - /S /Div - /P 159 0 R - /K [163 0 R] ->> -endobj - -163 0 obj -<< - /Type /StructElem - /S /Span - /P 162 0 R - /A [<< - /O /Layout - /Placement /Block - >>] - /K [1] - /Pg 193 0 R ->> -endobj - -164 0 obj -<< - /Type /StructElem - /S /H2 - /P 9 0 R - /T (Operational Semantics Rules) - /K [0] - /Pg 193 0 R ->> -endobj - -165 0 obj -<< - /Type /Font - /Subtype /Type0 - /BaseFont /PKDHDI+LibertinusSerif-Bold-Identity-H - /Encoding /Identity-H - /DescendantFonts [166 0 R] - /ToUnicode 169 0 R ->> -endobj - -166 0 obj << /Type /Font /Subtype /CIDFontType0 - /BaseFont /PKDHDI+LibertinusSerif-Bold + /BaseFont /EBRFUL+LibertinusSerif-Bold /CIDSystemInfo << /Registry (Adobe) /Ordering (Identity) /Supplement 0 >> - /FontDescriptor 168 0 R + /FontDescriptor 77 0 R /DW 0 - /W [0 0 500 1 1 730 2 2 581 3 3 489 4 4 428 5 5 505.99997 6 6 358 7 7 322 8 8 551 9 9 616 10 10 325 11 11 250 12 12 504 13 13 905 14 14 456 15 15 427 16 16 716 17 17 598 18 18 652 19 19 558 20 20 521] + /W [0 0 500 1 1 609 2 2 529 3 3 505.99997 4 4 325 5 5 598 6 6 358 7 7 322 8 8 551 9 9 616 10 10 250 11 11 716 12 12 489 13 13 427 14 14 652 15 15 558 16 16 581 17 17 521] >> endobj -167 0 obj +76 0 obj << /Length 11 /Filter /FlateDecode >> stream -x +x endstream endobj -168 0 obj +77 0 obj << /Type /FontDescriptor - /FontName /PKDHDI+LibertinusSerif-Bold + /FontName /EBRFUL+LibertinusSerif-Bold /Flags 131078 - /FontBBox [0 -238 893 700] + /FontBBox [0 -238 711 700] /ItalicAngle 0 /Ascent 894 /Descent -246 /CapHeight 645 /StemV 168.6 - /CIDSet 167 0 R - /FontFile3 170 0 R + /CIDSet 76 0 R + /FontFile3 79 0 R >> endobj -169 0 obj +78 0 obj << - /Length 886 + /Length 844 /Type /CMap /WMode 0 >> @@ -1859,27 +1045,24 @@ end def 1 begincodespacerange <0000> endcodespacerange -20 beginbfchar -<0001> <004F> -<0002> <0070> -<0003> <0065> -<0004> <0072> -<0005> <0061> +17 beginbfchar +<0001> <0045> +<0002> <0076> +<0003> <0061> +<0004> <006C> +<0005> <0075> <0006> <0074> <0007> <0069> <0008> <006F> <0009> <006E> -<000A> <006C> -<000B> <0020> -<000C> <0053> -<000D> <006D> -<000E> <0063> -<000F> <0073> -<0010> <0052> -<0011> <0075> -<0012> <0054> -<0013> <0079> -<0014> <0067> +<000A> <0020> +<000B> <0052> +<000C> <0065> +<000D> <0073> +<000E> <0054> +<000F> <0079> +<0010> <0070> +<0011> <0067> endbfchar endcmap CMapName currentdict /CMap defineresource pop @@ -1890,35 +1073,43 @@ end endstream endobj -170 0 obj +79 0 obj << - /Length 2703 + /Length 2488 /Filter /FlateDecode /Subtype /CIDFontType0C >> stream -xyTSw$j[:{ԡjZk@ձZ-"V@D @$%d! &(([QkU9],ӺNo3Xg9=3{{٬YXl6M'ez])|Qr0& |ʽϢh.]]+㳈bb}lŞk,o6#xuK$N=A%Βm2ʼnIY?֬~v5׬Og$Y%;+IyhbJ*uִ8K?gs\sq,6bឬ ' =ӄ/ au_cz#Y̺gw>»5[='rnRa}cmsyfuwvq>&&dqO l?-hđ9xIr_uVxy>! --?ҵ=!iA(E?<{:M} h.y6+3_Ђv$B n^`~ _Yn 7HPj!۪湌.s`V^Ya!`6Wؠn&[aIل7i=d$Zѷ DSb) EzuiN7qt8عVJv8+ȡ{ԕkֶLZ3xn0HD?Pa7[VIE ߤˌf *NZun,FUh宆У T~{y*)TKpc\('ۜԆBp o7BW~0b.))i";;]Ih-Gߩ5vV@FElWեR.#Ў_W\A̎+1? ^0cCpb+k#z4vP_xB6V׎ҥk::]R=la;Rh8Bze_`Cm$?8z2&-dfedl~Gu=1Xj! 0s` _(Ӹ#c0h^".nQM}tZ䠔5cmlf]¾@9 aՙ4v]%Rt*M*橊Ia9o=ACw|@[ (b}ɿ:tɃí}Y}RR)^rs<{ 8zu@\z9D\]ZpN]8 6s}ܶZrSF @yqgSVl?%`5o/ t_hđ0+=NDu;[+ 9s >f8jfw4~4PvmPl銌 -K1tRte |1x|awpi*2fg-J$Tj$dF|472:+}9x9+ʵZ0 Q.SȷGkCt_WYb"7pz^|Sɞk훶RUC7RO`j|=hbWZ  <L'*L)^VT+u]dVaJ:uM#_|{>׀}HKMS׽#?I~󞒶Z}e_=/hI mjuFGO_MUd:Ɉ9))tVBNVR]⩤ޠ<5rYJM%\@U(~ gl+qx<2IڐPt \0H QW3ШM UYU46ы>1]Cϐ&61uZ/&%Bķ`'( -/L^G;p4oKn  QM /BJ0尿g?ow-OKmJɘ&W1p븦ZHҠ4*̸dOGÆ)edo~Z}µݧ\QdiHLմԪ[y-S==dZǦO<(jޕ.34Th&aQ_PشN5IsnBs,&!ZPDĦ?j9OrQ(}i6oPoZ-,tQe L M;Z{r؎:H{Zm ͵ ?eDy\|C/$njiR@bÓ -IQFHɕ+m6Rq +xUyTSgOXχ=}/uPk[{ZT[kc[օaU! !, d}e# +$Y2֩tLQ[vnL0jg̙.{yQQ<>=)+򋔥/J9ϞsbFDx|0?"+x x{~{97h/ݐ-˔>--R+4ey~nBrGJX˄U I%wr^X$x1s ΑD /fr3_D0D.<2<^}AIpV,Dalˬ#N )tv#*P)GC|BOqQ5( 9i"^EYwëD_á&U4:`C: 6?UMzjL6v&M 8YggX5D +5;ۑր>V mdbW)&1x56ocsYVͩ;[\̽N +O̟ CPC:N*+̺*Hhbi< Yvh8N?`tU{I}|Yʦ j +P=Bf"ϸy/v>.DW 9:*7 5\9m*U, Pb v ' Y_$e)5VMm3"'Mڭ8&LYSMwbnCgsD+h+ihV KW V}(, B-f o#MqXp[(#)<v~t->^ .}~sL*\nCCCfb[⒅ښ̻FBHXii7w3x]$r[* [KF;/bnZ P +C0<\vCTqzslImɽ[pP`ԹRNL  Pzx#`ؾm:)~#_PuÉAl}\p[AחrGU/RfSڷ'FS`9;}~`$*s1#y!1X9v9RvxZӾaJֻ~$ ?WzlԳ:dg> endobj -172 0 obj +81 0 obj << /Type /Font /Subtype /CIDFontType0 @@ -1928,13 +1119,13 @@ endobj /Ordering (Identity) /Supplement 0 >> - /FontDescriptor 174 0 R + /FontDescriptor 83 0 R /DW 0 /W [0 0 500 1 1 356 2 2 557 3 3 338 4 4 485 5 5 576 6 6 492 7 7 646 8 8 529 9 9 532 10 10 356 11 11 541 12 12 510.99997 13 13 477 14 14 565 15 15 297 16 16 412 17 17 604 18 18 563 19 19 699 20 20 602 21 21 458 22 22 597 23 23 485 24 24 556 25 25 431 26 27 465 28 28 667 29 29 461 30 30 489 31 31 528 32 32 311 33 33 541] >> endobj -173 0 obj +82 0 obj << /Length 13 /Filter /FlateDecode @@ -1944,7 +1135,7 @@ x endstream endobj -174 0 obj +83 0 obj << /Type /FontDescriptor /FontName /MEKHZM+LibertinusSerif-Regular @@ -1955,12 +1146,12 @@ endobj /Descent -246 /CapHeight 658 /StemV 95.4 - /CIDSet 173 0 R - /FontFile3 176 0 R + /CIDSet 82 0 R + /FontFile3 85 0 R >> endobj -175 0 obj +84 0 obj << /Length 1068 /Type /CMap @@ -2033,7 +1224,7 @@ end endstream endobj -176 0 obj +85 0 obj << /Length 3755 /Filter /FlateDecode @@ -2060,18 +1251,18 @@ U endstream endobj -177 0 obj +86 0 obj << /Type /Font /Subtype /Type0 /BaseFont /FEOAPH+NewCMMath-Book-Identity-H /Encoding /Identity-H - /DescendantFonts [178 0 R] - /ToUnicode 181 0 R + /DescendantFonts [87 0 R] + /ToUnicode 90 0 R >> endobj -178 0 obj +87 0 obj << /Type /Font /Subtype /CIDFontType0 @@ -2081,13 +1272,13 @@ endobj /Ordering (Identity) /Supplement 0 >> - /FontDescriptor 180 0 R + /FontDescriptor 89 0 R /DW 0 /W [0 0 500 1 1 466 2 2 1000 3 3 407 4 4 345 5 5 778 6 6 500 7 7 778 8 8 500 9 9 389 10 10 392 11 11 556 12 12 444 13 13 778 14 14 306 15 15 500 16 16 278 17 17 394 18 20 569 21 21 469 22 22 778 23 23 444 24 24 332 25 25 278 26 26 556 27 27 500 28 28 556 29 29 278 30 30 433 31 31 278 32 32 584 33 33 722] >> endobj -179 0 obj +88 0 obj << /Length 13 /Filter /FlateDecode @@ -2097,7 +1288,7 @@ x endstream endobj -180 0 obj +89 0 obj << /Type /FontDescriptor /FontName /FEOAPH+NewCMMath-Book @@ -2108,12 +1299,12 @@ endobj /Descent -194 /CapHeight 683 /StemV 95.4 - /CIDSet 179 0 R - /FontFile3 182 0 R + /CIDSet 88 0 R + /FontFile3 91 0 R >> endobj -181 0 obj +90 0 obj << /Length 1088 /Type /CMap @@ -2186,7 +1377,7 @@ end endstream endobj -182 0 obj +91 0 obj << /Length 3945 /Filter /FlateDecode @@ -2214,18 +1405,18 @@ F'< endstream endobj -183 0 obj +92 0 obj << /Type /Font /Subtype /Type0 /BaseFont /NSZRHE+DejaVuSansMono /Encoding /Identity-H - /DescendantFonts [184 0 R] - /ToUnicode 187 0 R + /DescendantFonts [93 0 R] + /ToUnicode 96 0 R >> endobj -184 0 obj +93 0 obj << /Type /Font /Subtype /CIDFontType2 @@ -2235,14 +1426,14 @@ endobj /Ordering (Identity) /Supplement 0 >> - /FontDescriptor 186 0 R + /FontDescriptor 95 0 R /DW 0 /CIDToGIDMap /Identity /W [0 23 602.0508] >> endobj -185 0 obj +94 0 obj << /Length 11 /Filter /FlateDecode @@ -2252,7 +1443,7 @@ x endstream endobj -186 0 obj +95 0 obj << /Type /FontDescriptor /FontName /NSZRHE+DejaVuSansMono @@ -2263,12 +1454,12 @@ endobj /Descent -240.23438 /CapHeight 759.7656 /StemV 95.4 - /CIDSet 185 0 R - /FontFile2 188 0 R + /CIDSet 94 0 R + /FontFile2 97 0 R >> endobj -187 0 obj +96 0 obj << /Length 928 /Type /CMap @@ -2331,7 +1522,7 @@ end endstream endobj -188 0 obj +97 0 obj << /Length 6767 /Filter /FlateDecode @@ -2361,11 +1552,11 @@ y\ endstream endobj -189 0 obj -[/ICCBased 190 0 R] +98 0 obj +[/ICCBased 99 0 R] endobj -190 0 obj +99 0 obj << /Length 258 /N 1 @@ -2380,157 +1571,127 @@ F endstream endobj -191 0 obj -[193 0 R /XYZ 70.86614 781.0236 0] +100 0 obj +[102 0 R /XYZ 70.86614 781.0236 0] endobj -192 0 obj -[195 0 R /XYZ 70.86614 546.5515 0] +101 0 obj +[104 0 R /XYZ 70.86614 781.0236 0] endobj -193 0 obj +102 0 obj << /Type /Page /Resources << /ProcSet [/PDF /Text /ImageC /ImageB] /ColorSpace << - /c0 189 0 R + /c0 98 0 R >> /Font << - /f0 165 0 R - /f1 171 0 R - /f2 177 0 R - /f3 183 0 R + /f0 74 0 R + /f1 80 0 R + /f2 86 0 R + /f3 92 0 R >> >> /MediaBox [0 0 595.2756 841.8898] /StructParents 0 /Parent 1 0 R - /Contents 194 0 R + /Contents 103 0 R >> endobj -194 0 obj +103 0 obj << - /Length 3271 + /Length 3923 /Filter /FlateDecode >> stream -x]K$Gnׯȣ  =؀ ׇBYFT׫[ɬEUb} 9:izÇӄ?qOs ');`ӧ_?8}rx'A+U9N~zO{~}z;+''YOt9gI)_xßpxR4Ln1Kr**_|?ꟿ6?pÿl߃N?rH7T o@7&`OfHDK0UH=Te Թ `mV2}-afg[E$z/oO#8TֱM޺^ڬ~3Axg{62$4k(?;̀&A^ m4}cY+ RHwl~<7XΗOog0S^(AP{ &H(itE]"2`p%u*8Yk ؓ$HRfDoί_ɺau4Hh. J{RILT46L43^z9J ld_F_hn,k?k:^TW lydkȹʪ4 \$Z?Ħـ/ZT,]xg|Kջ-@Q)RO佻gJ 01a1 ūڤl qew%L˃(`ӭ 6x܅5I_#D'A0 Ai[q\?/COzm - %(bK mZ%Vdra)PӸReV!v2У{ҧ0[leٽUU4@2RZ#3MUlv%3mflX!Klnqsi,q^ؠvԝ%]~Iia#P-)~'TICUWC K+4dY.AsZZwLB֭Ի -TȺ?PU;wB#ʟu-l%wK=@X>k |I sp% ܟLٝB -|.]& 7΋ qyL@B/@}~z%P@$GsԄuKtwel}{ imh+q,dHlkmaC7il=my웊2Fd}ܦL}Nvq]9[O_~PR}lcdr}SطwOyjF36Z}>]<w!q%=!5Pހ~'~Mr,{k:Q_;gO 9F]Ξ.96R V'x?eHRqȍFrVN> -C^/*azW_X$ۘbb=7͔ IxSQ62\)ޢ;Qr޹[J{QW۬6V ))s>4|޴Yf{f%6;o=p ɛn{KN ;٢ni}6XqI@3^ξ0T -D;ucEˉ*69W?o%?lb -ڵ~D;'%Wmgr8{ofw8&| ѬڧaL4EK e/l$dsSDk,6hbELフ E9B}q_ޖ6ҫ%;:CÀ[.lٻ[[F׭?^C<]t +x]K ϯu0g +0 IJ usI`, ?yt9Uu؞̰XEӯW_o퀧'pK!D:x"I^o'~{雷'~<zy_?"׫\zڣߧw矟?;/ oroszR9ii(P6y*S}=7?p_O6_NE *gwB j ý`p H4,@X?<E;HBJ4ĩX:d ,/U,8xKH"'3( DB! ĞeCo*(7tzFZ:F5D/!bCTDOop"›:]L2(N;tP= >\S#$7Д>>`J%<2,P0n|٠9XfTS2tiۮޣM["^{=!am zG b1;fBqQ!(gSQ,%IX*)rMcDg0PI0v\ߥW×;X2\]+6 t +N# ͨ>agXmEֱ޽{4ѾpZ&&m͐f@o.Zqy^)=3s= Isȥ<3W('abpT?H;DѬH+B‰cCFZ1xOԌ1IT%b(8S.q:2^4 !~!=]#J@ݳ2$A=7T ն9b1pnI X|_Ü5ly {q~;9m ]-X2tM֚&r cNSg=:PPt9 nx5B]A¨3ϥPN?}(%oXn 08p +>+fCjc5>TZ8*+hʇŦ;Z 9H@MmZTusq!vihp^?uT{% Jt'd&S=5¨dLH69<kYųغH7cO0v$@.˛2$Ƀ@=-B+N٤%ʋ[k)$5Mj[HcZQV^7\s #&@Hq"Zjn#B`mY1C&F &GrN0uu|Nj>\خ˸yD +)䒤ĵ#AʹLx~wA$(\o ș.K6F5qrOك]DF~Eϑ!llׯ%[Fu5Z5P+IֈEOə]Z~M<5{~9p3o *:NF-I3k/|;H8}A _f s\AY-B$ +$| ΪGUw@nhNKx [wYve #5koS8/>L}tP]3spA}Ur-D]KY7-(V M= kQ;bHɐRmfD9숡 {MD-#R-u2H_(f8xqn_-^Wď1#kځv9,`Ȼkb5)¶u_,Yk,$F&gY/@?;:3J[g0Xb/˘n88Db%/ +! s\CID endstream endobj -195 0 obj +104 0 obj << /Type /Page /Resources << /ProcSet [/PDF /Text /ImageC /ImageB] /ColorSpace << - /c0 189 0 R + /c0 98 0 R >> /Font << - /f0 171 0 R - /f1 183 0 R - /f2 177 0 R - /f3 165 0 R + /f0 74 0 R + /f1 80 0 R + /f2 86 0 R + /f3 92 0 R >> >> /MediaBox [0 0 595.2756 841.8898] /StructParents 1 /Parent 1 0 R - /Contents 196 0 R + /Contents 105 0 R >> endobj -196 0 obj +105 0 obj << - /Length 2852 + /Length 2102 /Filter /FlateDecode >> stream -x\KWo!zW7`e@ $-$>vӳ;CB9,vU}__/o oÀ?;p4Bq' ~۽Çw8w?POnv?gD'O9<)O˿O?ߏ+K~çWaݏo^~×@Cwͻu`w:ݵ# -Pj>D ~w$UCjTƀ3ʡ،v?Ѹ<|y ]=߃JP.ʜh,=a$ e0<eLίH^*rq՟Srivՠmk@wb U&b h̬L4z=f 3[lVeoaxKP+9o /mo]5m$P爯( :ؖ}FEP[eJY0*&"oTbN831"+e%82 njz J];OW|y&k<*EH@D#O+!5q@\0T ̴ > z? -!.]KٌRdFCWy2 9'CFhd -6!'|p Cwyl_Ե -clif&mqhFTE]yr K1ҿɥQb9,iިh|IܸA%7 t/V8BiZ ! -԰špuE"#Ș ]f'ИǿOϩ65/7jzxױ(^Z7|?F"%h '@@t@JV+b :] #DhѠ`QbL$AjS9Be_E )ar]"jMhVf¤Q RA^VF˚4`An;f,{vBG'H ׼8fPf2j:["1YnGu6;0PNbq$ZzjqCyZ=GkAIŨ4 -( 6@G:-\\@@knz9KR\hn)S} (_8/g~ -/- hqu-iC?r{:|=({A)~`F#\*YǴVs3ih#N$H@,Dm{{\.}JYZ[uH9k0CvnYеWs[$jISps(}I[Xln՜lEZzX| @lmߝoul{ڡgn%FvO\LmgvfW3)V:pE7C3ٶBRhcorpP%Z9v-xV[QX&ję"-'e аb){4b%hCٜEZ6(30 !v\?#REAp\+6-|*.[?h >URNvHp,a{4.)KI1ۛ  ЗGl%?32/XȹւJ[*nH7 -X0me,l>"U)^*%dz޳2_٫ښaF T>( ,IJ:ӏ3[R"'B -GT햞撌Pe(FTzED"61^y}o^4 E"lO:No&L -"~C9mT`i&>vZspR֋0>?? Hy}1?/Q@1$ƨ=Os 1sQ Sh -(}g!2u+Ä)JX ꃪ$RBjܔ SҮԱR.ʟ8)|JBp6uuc - ԶRI-jr|v~nj*N䲉zOx `C%V}jY:}BP쟛v)Ӕ]b!V䔿q=]tz\ht"Waՠ}( 076nrJ~Aԣ@z;[ZT"7eXM?:S^u|ڧKKH]"dڦ݊ߔ =C;>,鼋λ/V4OeMjv/J$u_;YnFLn7jHo`,E,7؃Iad26qXrQK - EM9 "YW[xzH6>,pK9CpFbЂ(1#yo +x[nWw" E(@ ,,DXBB yjMLQ!T9>~<|f߽n~axͿ74it' uismp͛ OG@OgDa?qyY}vO}~>>tO6hrjR:55 +jjfEw!;'pxN5?<}/ oޝl |܊78 n3ʧhxM*_7bs+ȭ4- rhb46U Nn$NB6 bSb=YlI1>,#lJSה=d8.Gg%{u˧%y; +-,U0fJ@|heGv@ u,Ia>x.(%Kd4V6h5X`ZcWWXm ]aq+6 +°<6}'+JǚX\iOqWܖ.V0'd ќo)qX|}4KnrP2[i'5ZE> #%5W&lmH@Jf]LV"&P[Cfp]k,hC>sBt8WX@u#ۥKxvE#mqtYF8v`m SALL@L5{xmFVZc m!+a-~X u4OofpX҃ .*L&75cibCdMhZu5`kAC}nLxl3+ d]ly.AԛCWZ̳]f +Wn;&<3 ?-F!l)x -dʋ?w2):NY#a@%;4]~L}*yH Z(ek`' V6'+ +rUz|^5^f=nO&םF`՜i,] tԠ +؂[c#: Bw(8ĚoLy=a(qL/޷9WHH,cǑ 0od4a> - /Font << - /f0 171 0 R - /f1 177 0 R - /f2 183 0 R - >> - >> - /MediaBox [0 0 595.2756 841.8898] - /StructParents 2 - /Parent 1 0 R - /Contents 198 0 R ->> -endobj - -198 0 obj -<< - /Length 597 - /Filter /FlateDecode ->> -stream -xAkA +t%HhZpط`ڒ6 ή vzYӛ7v^K߁=f3NIa s x^<̟xIP|zS["%MvT^MڧRr}]S/f: O/?wdH$ڶ,&Ÿ`waQU* -RbVlcrXήD`X\s|g?;F 2rяUquQN ^ ~dPeduW𔰈$Hh+{9o=kXZiCSƩ# yM(bv}$Ԫs%Lz *HN5(IaJM>xHLo -)n7o]sƘggT,ڭU$)BaxguQ53xks Ǣv GW:f,$/suň$(YNlGV:AbONWu5Gf}b xj36:׎vڐ .9N2+]Vw -endstream -endobj - -199 0 obj +106 0 obj << /Creator (Typst 0.14.2) - /ModDate (D:20260414154049-07'00) - /CreationDate (D:20260414154049-07'00) + /ModDate (D:20260414234905-07'00) + /CreationDate (D:20260414234905-07'00) >> endobj -200 0 obj +107 0 obj << /Length 996 /Type /Metadata /Subtype /XML >> stream -Typst 0.14.2en2026-04-14T15:40:49-07:002026-04-14T15:40:49-07:003application/pdf1/4QCpIepgqX5A0CauPvsw==1/4QCpIepgqX5A0CauPvsw==proof1.7 +Typst 0.14.2en2026-04-14T23:49:05-07:002026-04-14T23:49:05-07:002application/pdfQF60vUQJD35tNMjeUD/NAA==QF60vUQJD35tNMjeUD/NAA==proof1.7 endstream endobj -201 0 obj +108 0 obj << /Type /Catalog /Pages 1 0 R - /Metadata 200 0 R + /Metadata 107 0 R /Lang (en) /StructTreeRoot 5 0 R /MarkInfo << @@ -2545,216 +1706,123 @@ endobj endobj xref -0 202 +0 109 0000000000 65535 f 0000000016 00000 n -0000000098 00000 n -0000000178 00000 n -0000000285 00000 n -0000000377 00000 n -0000000619 00000 n -0000002058 00000 n -0000002972 00000 n -0000003102 00000 n -0000003414 00000 n -0000003499 00000 n -0000003578 00000 n -0000003740 00000 n -0000003819 00000 n -0000003960 00000 n -0000004045 00000 n -0000004124 00000 n -0000004280 00000 n -0000004359 00000 n -0000004500 00000 n -0000004585 00000 n -0000004664 00000 n -0000004870 00000 n -0000004949 00000 n -0000005092 00000 n -0000005177 00000 n -0000005256 00000 n -0000005484 00000 n -0000005563 00000 n -0000005705 00000 n -0000005790 00000 n -0000005869 00000 n +0000000090 00000 n +0000000170 00000 n +0000000266 00000 n +0000000358 00000 n +0000000592 00000 n +0000002171 00000 n +0000002882 00000 n +0000003390 00000 n +0000003551 00000 n +0000003692 00000 n +0000003854 00000 n +0000003995 00000 n +0000004184 00000 n +0000004325 00000 n +0000004541 00000 n +0000004682 00000 n +0000004844 00000 n +0000004985 00000 n +0000005147 00000 n +0000005288 00000 n +0000005450 00000 n +0000005591 00000 n +0000005741 00000 n +0000005882 00000 n 0000006032 00000 n -0000006111 00000 n -0000006253 00000 n -0000006338 00000 n -0000006417 00000 n -0000006580 00000 n -0000006659 00000 n -0000006801 00000 n -0000006886 00000 n -0000006965 00000 n -0000007128 00000 n -0000007207 00000 n -0000007349 00000 n -0000007434 00000 n -0000007513 00000 n -0000007664 00000 n -0000007743 00000 n -0000007885 00000 n -0000007970 00000 n -0000008049 00000 n -0000008200 00000 n -0000008279 00000 n -0000008421 00000 n -0000008506 00000 n -0000008585 00000 n -0000008736 00000 n -0000008815 00000 n -0000008957 00000 n -0000009042 00000 n -0000009121 00000 n -0000009272 00000 n -0000009351 00000 n -0000009493 00000 n -0000009600 00000 n -0000009685 00000 n -0000009764 00000 n -0000009948 00000 n -0000010027 00000 n -0000010169 00000 n -0000010254 00000 n -0000010333 00000 n -0000010491 00000 n -0000010581 00000 n -0000010660 00000 n -0000010802 00000 n -0000010887 00000 n -0000010966 00000 n -0000011138 00000 n -0000011217 00000 n -0000011359 00000 n -0000011444 00000 n -0000011523 00000 n -0000011687 00000 n -0000011776 00000 n -0000011855 00000 n -0000011996 00000 n -0000012081 00000 n -0000012160 00000 n -0000012315 00000 n -0000012404 00000 n -0000012483 00000 n -0000012624 00000 n -0000012709 00000 n -0000012788 00000 n -0000012970 00000 n -0000013049 00000 n -0000013192 00000 n -0000013279 00000 n -0000013360 00000 n -0000013568 00000 n -0000013649 00000 n -0000013794 00000 n -0000013882 00000 n -0000013964 00000 n -0000014180 00000 n -0000014262 00000 n -0000014407 00000 n -0000014495 00000 n -0000014577 00000 n -0000014793 00000 n -0000014875 00000 n -0000015020 00000 n -0000015108 00000 n -0000015190 00000 n -0000015378 00000 n -0000015460 00000 n -0000015605 00000 n -0000015693 00000 n -0000015775 00000 n -0000015953 00000 n -0000016035 00000 n -0000016179 00000 n -0000016267 00000 n -0000016349 00000 n -0000016571 00000 n -0000016653 00000 n -0000016797 00000 n -0000016885 00000 n -0000016967 00000 n -0000017135 00000 n -0000017217 00000 n -0000017361 00000 n -0000017449 00000 n -0000017531 00000 n -0000017687 00000 n -0000017769 00000 n -0000017913 00000 n -0000018001 00000 n -0000018083 00000 n -0000018257 00000 n -0000018339 00000 n -0000018483 00000 n -0000018571 00000 n -0000018653 00000 n -0000018815 00000 n -0000018897 00000 n -0000019041 00000 n -0000019129 00000 n -0000019211 00000 n -0000019385 00000 n -0000019467 00000 n -0000019611 00000 n -0000019699 00000 n -0000019781 00000 n -0000019943 00000 n -0000020025 00000 n -0000020169 00000 n -0000020257 00000 n -0000020339 00000 n -0000020505 00000 n -0000020587 00000 n -0000020730 00000 n -0000020852 00000 n -0000021034 00000 n -0000021465 00000 n -0000021554 00000 n -0000021806 00000 n -0000022773 00000 n -0000025582 00000 n -0000025767 00000 n -0000026321 00000 n -0000026412 00000 n -0000026666 00000 n -0000027816 00000 n -0000031677 00000 n -0000031853 00000 n -0000032383 00000 n -0000032474 00000 n -0000032720 00000 n -0000033890 00000 n -0000037941 00000 n -0000038106 00000 n -0000038374 00000 n -0000038463 00000 n -0000038748 00000 n -0000039757 00000 n -0000046604 00000 n -0000046642 00000 n -0000047001 00000 n -0000047054 00000 n -0000047107 00000 n -0000047435 00000 n -0000050786 00000 n -0000051114 00000 n -0000054046 00000 n -0000054356 00000 n -0000055032 00000 n -0000055159 00000 n -0000056245 00000 n +0000006172 00000 n +0000006319 00000 n +0000006459 00000 n +0000006606 00000 n +0000006746 00000 n +0000006852 00000 n +0000007049 00000 n +0000007191 00000 n +0000007351 00000 n +0000007442 00000 n +0000007584 00000 n +0000007765 00000 n +0000007907 00000 n +0000008079 00000 n +0000008170 00000 n +0000008312 00000 n +0000008472 00000 n +0000008563 00000 n +0000008705 00000 n +0000008886 00000 n +0000009028 00000 n +0000009233 00000 n +0000009375 00000 n +0000009588 00000 n +0000009730 00000 n +0000009943 00000 n +0000010085 00000 n +0000010270 00000 n +0000010412 00000 n +0000010587 00000 n +0000010728 00000 n +0000010947 00000 n +0000011088 00000 n +0000011253 00000 n +0000011394 00000 n +0000011547 00000 n +0000011688 00000 n +0000011859 00000 n +0000012000 00000 n +0000012159 00000 n +0000012300 00000 n +0000012471 00000 n +0000012612 00000 n +0000012771 00000 n +0000012912 00000 n +0000013075 00000 n +0000013215 00000 n +0000013325 00000 n +0000013504 00000 n +0000013903 00000 n +0000013991 00000 n +0000014240 00000 n +0000015164 00000 n +0000017757 00000 n +0000017939 00000 n +0000018491 00000 n +0000018581 00000 n +0000018832 00000 n +0000019981 00000 n +0000023841 00000 n +0000024014 00000 n +0000024542 00000 n +0000024632 00000 n +0000024875 00000 n +0000026044 00000 n +0000030094 00000 n +0000030256 00000 n +0000030522 00000 n +0000030610 00000 n +0000030892 00000 n +0000031900 00000 n +0000038746 00000 n +0000038782 00000 n +0000039140 00000 n +0000039193 00000 n +0000039246 00000 n +0000039569 00000 n +0000043572 00000 n +0000043895 00000 n +0000046077 00000 n +0000046204 00000 n +0000047290 00000 n trailer << - /Size 202 - /Root 201 0 R - /Info 199 0 R - /ID [(1/4QCpIepgqX5A0CauPvsw==) (1/4QCpIepgqX5A0CauPvsw==)] + /Size 109 + /Root 108 0 R + /Info 106 0 R + /ID [(QF60vUQJD35tNMjeUD/NAA==) (QF60vUQJD35tNMjeUD/NAA==)] >> startxref -56482 +47527 %%EOF \ No newline at end of file diff --git a/lab14/typed-semantics.typ b/lab14/typed-semantics.typ index 313d307..8498374 100644 --- a/lab14/typed-semantics.typ +++ b/lab14/typed-semantics.typ @@ -26,6 +26,8 @@ First, write the evaluation order rules (using small-step semantics) for the exp Next, define the typing rules for these expressions. Be sure that your typing rules guarantee both progress and preservation. (For ways of formally guaranteeing these properties, see Chapter 8 of Ben Pierce's "Types and Programming Languages"). */ +#set page(columns: 2) + // Language keywords rendered in monospace #let kw(body) = text(font: "DejaVu Sans Mono", size: 0.85em, body) @@ -56,23 +58,20 @@ Next, define the typing rules for these expressions. Be sure that your typing ru // Rule: fraction with name on the left // premises (content), conclusion (content) #let rule(name, premises, conclusion) = { - grid( - columns: (auto, auto), - column-gutter: 1em, - align: (right + horizon, left + horizon), + stack( + dir: ttb, + spacing: 0.4em, rel(name), box(stroke: 0.5pt, inset: 4pt, math.equation( block: true, numbering: none, - // if premises != "" { math.frac(premises, conclusion), - // } else { conclusion }, )), ) - v(0.4em) + v(0.8em) } -== Operational Semantics Rules += Evaluation Rules #v(0.6em) @@ -102,7 +101,8 @@ Next, define the typing rules for these expressions. Be sure that your typing ru #rule("E-StrLen-Zero", "", $#sstep[#strlen[`""`]][0]$) #rule("E-StrLen-NonZero", [c is a single char, $s = c + s'$], $#sstep[#strlen[$s$]][#suc[#strlen[$s'$]]]$) -== Typing Rules +#pagebreak() += Typing Rules #v(0.6em)