theorems (5674B)
1 T000001 -P000016 P000019 2 T000002 -P000019 P000021 3 T000003 -P000020 P000019 4 T000004 -P000019 P000022 5 T000005 -P000025 P000017 6 T000006 -P000016 P000024 7 T000007 -P000024 P000023 8 T000008 -P000025 P000023 9 T000009 -P000016 P000025 10 T000010 -P000049 -P000053 P000052 11 T000011 -P000034 P000013 12 T000012 -P000035 P000030 13 T000013 -P000016 P000030 14 T000014 -P000030 P000031 15 T000015 -P000030 P000032 16 T000016 -P000031 P000033 17 T000017 -P000019 P000032 18 T000018 -P000032 P000033 19 T000019 -P000002 -P000021 P000019 20 T000020 -P000053 P000005 21 T000020 -P000053 P000054 22 T000021 -P000026 P000029 23 T000022 -P000019 -P000028 P000020 24 T000023 -P000005 -P000054 P000053 25 T000024 -P000031 -P000026 P000018 26 T000025 -P000124 P000123 27 T000025 -P000124 P000003 28 T000025 -P000124 P000027 29 T000026 -P000003 -P000025 P000007 30 T000027 -P000003 -P000023 P000006 31 T000028 -P000003 -P000019 -P000028 P000005 32 T000029 -P000011 -P000027 P000014 33 T000030 -P000011 -P000018 P000034 34 T000031 -P000123 -P000003 -P000027 P000124 35 T000032 -P000004 P000003 36 T000033 -P000003 -P000011 P000004 37 T000034 -P000002 -P000013 P000006 38 T000035 -P000012 P000011 39 T000036 -P000014 P000013 40 T000037 -P000011 -P000013 P000012 41 T000038 -P000040 P000037 42 T000039 -P000038 P000037 43 T000040 -P000037 P000036 44 T000041 -P000039 P000036 45 T000042 -P000052 P000002 46 T000042 -P000052 P000051 47 T000043 -P000002 -P000051 P000047 48 T000044 -P000052 P000049 49 T000045 -P000049 P000048 50 T000046 -P000048 P000047 51 T000047 -P000047 P000046 52 T000048 -P000048 P000009 53 T000049 -P000047 P000002 54 T000050 -P000003 -P000026 P000059 55 T000051 -P000039 P000041 56 T000052 -P000047 P100052 -P000036 57 T000053 -P000018 -P000023 P000025 58 T000054 -P000050 P000011 59 T000055 -P000005 -P000018 P000035 60 T000056 -P000053 P000035 61 T000057 -P000053 P000028 62 T000058 -P000055 P000056 63 T000059 -P000003 -P000023 P000056 64 T000060 -P000020 -P000027 -P000002 P000016 65 T000061 -P000026 -P000053 P000027 66 T000061 -P000026 -P000053 P000005 67 T000062 -P000018 -P000053 P000027 68 T000063 -P000043 P000042 69 T000064 -P000042 P000041 70 T000065 -P000023 -P000053 P000055 71 T000066 -P000052 P000050 72 T000067 -P000057 P000058 73 T000068 -P000058 P000059 74 T000071 -P000039 P000060 75 T000072 -P000040 P000013 76 T000073 -P000001 -P000050 P000048 77 T000074 -P000057 P000017 78 T000075 -P000038 P100052 -P000058 79 T000076 -P000060 P000022 80 T000077 -P000055 P000053 81 T000078 -P000044 P000036 82 T000079 -P000060 P000036 83 T000080 -P000009 -P000060 84 T000081 -P000036 -P000005 P100052 -P000057 85 T000083 -P000043 P000052 P100052 -P000058 86 T000084 -P000052 P000043 87 T000085 -P000052 P000055 88 T000086 -P000009 P000004 89 T000087 -P000040 P000060 90 T000088 -P000037 P100052 -P000046 91 T000089 -P000042 P000052 -P000046 92 T000090 -P000027 P000054 93 T000091 -P000039 P000040 -P000013 94 T000092 -P000045 P000044 95 T000093 -P000057 P000026 96 T000095 -P000036 -P000042 P000037 97 T000098 -P000007 P000002 98 T000098 -P000007 P000013 99 T000099 -P000002 -P000013 P000007 100 T000100 -P000008 P000002 101 T000100 -P000008 P000014 102 T000101 -P000002 -P000014 P000008 103 T000104 -P000035 P000002 104 T000104 -P000035 P000034 105 T000105 -P000002 -P000034 P000035 106 T000106 -P000018 -P000019 P000016 107 T000107 -P000019 -P000031 P000016 108 T000108 -P000047 -P000041 P000052 109 T000109 -P000040 -P000002 110 T000110 -P000007 -P000022 P000021 111 T000112 -P000008 P000007 112 T000113 -P000007 P000006 113 T000114 -P000006 P000009 114 T000115 -P000006 P000005 115 T000116 -P000005 P000010 116 T000118 -P000003 P000002 117 T000119 -P000002 P000001 118 T000121 -P000016 P000017 119 T000122 -P000017 P000018 120 T000123 -P000018 -P000032 P000030 121 T000124 -P000018 -P000033 P000031 122 T000125 -P000027 P000018 123 T000125 -P000027 P000028 124 T000125 -P000027 P000026 125 T000126 -P000061 P000006 126 T000128 -P000018 P000062 127 T000129 -P000026 P000062 128 T000130 -P000054 P000028 129 T000132 -P000053 -P000063 P000055 130 T000133 -P000055 P000063 131 T000134 -P000064 P000056 132 T000135 -P000055 P000064 133 T000136 -P000023 -P000003 P000064 134 T000138 -P000065 -P000058 135 T000139 -P000065 P000059 136 T000140 -P000066 P000018 137 T000141 -P000017 P000066 138 T000142 -P000029 -P000006 P000061 139 T000146 -P000005 P000011 140 T000148 -P000011 -P000001 P000005 141 T000149 -P000006 P000012 142 T000151 -P000012 -P000001 P000006 143 T000152 -P000067 P000002 144 T000152 -P000067 P000015 145 T000153 -P000002 -P000015 P000067 146 T000154 -P000067 P000008 147 T000155 -P000011 P000010 148 T000156 -P000015 P000014 149 T000160 -P000068 P000066 150 T000161 -P000069 P000066 151 T000162 -P000070 P000072 152 T000163 -P000017 P000071 153 T000164 -P000011 -P000071 P000017 154 T000165 -P000070 P000071 155 T000166 -P000071 P000070 156 T000167 -P000027 -P000069 P000070 157 T000168 -P000072 P000069 158 T000169 -P000051 P000001 159 T000170 -P000003 -P000030 P000035 160 T000171 -P000035 P000003 161 T000171 -P000035 P000030 162 T000173 -P000003 P000073 163 T000174 -P000073 P000001 164 T000176 -P000075 P000073 165 T000176 -P000075 P000016 166 T000177 -P000053 P000076 167 T000178 -P000077 P000076 168 T000179 -P000076 -P000016 P000077 169 T000180 -P000015 P000061 170 T000181 -P000053 P000082 171 T000183 -P000028 P000080 172 T000184 -P000080 P000079 173 T000185 -P000079 P000081 174 T000186 -P000057 P000081 175 T000187 -P000078 P000057 176 T000188 -P000052 -P000016 P000078 177 T000189 -P000078 P000027 178 T000193 -P000003 P000084 179 T000195 -P000084 P000002 180 T000196 -P000023 -P000003 P000063 181 T000197 -P000078 -P000002 P000052 182 T000198 -P000078 P000016 183 T000202 -P000082 -P000003 -P000030 P000053 184 T000204 -P000052 P000086 185 T000209 -P000051 -P000086 P000052 186 T000212 -P000057 -P000028 P000027 187 T000213 -P000088 P000013 188 T000214 -P000035 P000088 189 T000215 -P000077 P000080 190 T000218 -P000052 P000090 191 T000219 -P000053 -P000016 P000091 192 T000220 -P000091 P000077 193 T000223 -P000079 -P000019 P000020 194 T000224 -P000023 -P000003 P000024 195 T000226 -P000099 P000002 196 T000227 -P000100 P000099 197 T000228 -P000003 P000100 198 T000232 -P000101 -P000003 199 T000234 -P000103 P000100 200 T000235 -P000079 -P000099 P000103 201 T000236 -P000023 -P000018 P000111 202 T000237 -P000111 P000017