KernelValues30.lean`

2080 declarations, 0 contain sorry, 0 declared as axioms

Finite interval certificates for the planar Fourier construction

These rational enclosures certify the numerical bounds in the sharp planar Fourier construction of OpenAI. All interval endpoints are exact integers.

def OAI.SharpPlanar.CachedData.kernel21_0Expr line 15
def OAI.SharpPlanar.CachedData.kernel21_0_r0_0 line 16
lemma OAI.SharpPlanar.CachedData.kernel21_0_r0_0_eq line 17
def OAI.SharpPlanar.CachedData.kernel21_0_r0_1 line 18
lemma OAI.SharpPlanar.CachedData.kernel21_0_r0_1_eq line 19
def OAI.SharpPlanar.CachedData.kernel21_0_r0_2 line 20
lemma OAI.SharpPlanar.CachedData.kernel21_0_r0_2_eq line 21
def OAI.SharpPlanar.CachedData.kernel21_0_r0_3 line 22
lemma OAI.SharpPlanar.CachedData.kernel21_0_r0_3_eq line 23
def OAI.SharpPlanar.CachedData.kernel21_0_r0_4 line 24
lemma OAI.SharpPlanar.CachedData.kernel21_0_r0_4_eq line 25
def OAI.SharpPlanar.CachedData.kernel21_0_r0_5 line 26
lemma OAI.SharpPlanar.CachedData.kernel21_0_r0_5_eq line 27
def OAI.SharpPlanar.CachedData.kernel21_0_r0_6 line 28
lemma OAI.SharpPlanar.CachedData.kernel21_0_r0_6_eq line 29
def OAI.SharpPlanar.CachedData.kernel21_0_r0_7 line 30
lemma OAI.SharpPlanar.CachedData.kernel21_0_r0_7_eq line 31
def OAI.SharpPlanar.CachedData.kernel21_0_r0_8 line 32
lemma OAI.SharpPlanar.CachedData.kernel21_0_r0_8_eq line 33
def OAI.SharpPlanar.CachedData.kernel21_0_r0_9 line 34
lemma OAI.SharpPlanar.CachedData.kernel21_0_r0_9_eq line 35
def OAI.SharpPlanar.CachedData.kernel21_0_r0_10 line 36
lemma OAI.SharpPlanar.CachedData.kernel21_0_r0_10_eq line 37
def OAI.SharpPlanar.CachedData.kernel21_0_r0_11 line 38
lemma OAI.SharpPlanar.CachedData.kernel21_0_r0_11_eq line 39
def OAI.SharpPlanar.CachedData.kernel21_0_r0_12 line 40
lemma OAI.SharpPlanar.CachedData.kernel21_0_r0_12_eq line 41
def OAI.SharpPlanar.CachedData.kernel21_0_r0_13 line 42
lemma OAI.SharpPlanar.CachedData.kernel21_0_r0_13_eq line 43
def OAI.SharpPlanar.CachedData.kernel21_0_r0_14 line 44
lemma OAI.SharpPlanar.CachedData.kernel21_0_r0_14_eq line 45
def OAI.SharpPlanar.CachedData.kernel21_0_r0_15 line 46
lemma OAI.SharpPlanar.CachedData.kernel21_0_r0_15_eq line 47
def OAI.SharpPlanar.CachedData.kernel21_0_r0 line 48
lemma OAI.SharpPlanar.CachedData.kernel21_0_r0_eq line 49
def OAI.SharpPlanar.CachedData.kernel21_0_r1_0 line 67
lemma OAI.SharpPlanar.CachedData.kernel21_0_r1_0_eq line 68
def OAI.SharpPlanar.CachedData.kernel21_0_r1_1 line 69
lemma OAI.SharpPlanar.CachedData.kernel21_0_r1_1_eq line 70
def OAI.SharpPlanar.CachedData.kernel21_0_r1_2 line 71
lemma OAI.SharpPlanar.CachedData.kernel21_0_r1_2_eq line 72
def OAI.SharpPlanar.CachedData.kernel21_0_r1_3 line 73
lemma OAI.SharpPlanar.CachedData.kernel21_0_r1_3_eq line 74
def OAI.SharpPlanar.CachedData.kernel21_0_r1_4 line 75
lemma OAI.SharpPlanar.CachedData.kernel21_0_r1_4_eq line 76
def OAI.SharpPlanar.CachedData.kernel21_0_r1_5 line 77
lemma OAI.SharpPlanar.CachedData.kernel21_0_r1_5_eq line 78
def OAI.SharpPlanar.CachedData.kernel21_0_r1_6 line 79
lemma OAI.SharpPlanar.CachedData.kernel21_0_r1_6_eq line 80
def OAI.SharpPlanar.CachedData.kernel21_0_r1_7 line 81
lemma OAI.SharpPlanar.CachedData.kernel21_0_r1_7_eq line 82
def OAI.SharpPlanar.CachedData.kernel21_0_r1_8 line 83
lemma OAI.SharpPlanar.CachedData.kernel21_0_r1_8_eq line 84
def OAI.SharpPlanar.CachedData.kernel21_0_r1_9 line 85
lemma OAI.SharpPlanar.CachedData.kernel21_0_r1_9_eq line 86
def OAI.SharpPlanar.CachedData.kernel21_0_r1_10 line 87
lemma OAI.SharpPlanar.CachedData.kernel21_0_r1_10_eq line 88
def OAI.SharpPlanar.CachedData.kernel21_0_r1_11 line 89
lemma OAI.SharpPlanar.CachedData.kernel21_0_r1_11_eq line 90
def OAI.SharpPlanar.CachedData.kernel21_0_r1_12 line 91
lemma OAI.SharpPlanar.CachedData.kernel21_0_r1_12_eq line 92
def OAI.SharpPlanar.CachedData.kernel21_0_r1_13 line 93
lemma OAI.SharpPlanar.CachedData.kernel21_0_r1_13_eq line 94
def OAI.SharpPlanar.CachedData.kernel21_0_r1_14 line 95
lemma OAI.SharpPlanar.CachedData.kernel21_0_r1_14_eq line 96
def OAI.SharpPlanar.CachedData.kernel21_0_r1_15 line 97
lemma OAI.SharpPlanar.CachedData.kernel21_0_r1_15_eq line 98
def OAI.SharpPlanar.CachedData.kernel21_0_r1 line 99
lemma OAI.SharpPlanar.CachedData.kernel21_0_r1_eq line 100
def OAI.SharpPlanar.CachedData.kernel21_0_r2_0 line 118
lemma OAI.SharpPlanar.CachedData.kernel21_0_r2_0_eq line 119
def OAI.SharpPlanar.CachedData.kernel21_0_r2_1 line 120
lemma OAI.SharpPlanar.CachedData.kernel21_0_r2_1_eq line 121
def OAI.SharpPlanar.CachedData.kernel21_0_r2_2 line 122
lemma OAI.SharpPlanar.CachedData.kernel21_0_r2_2_eq line 123
def OAI.SharpPlanar.CachedData.kernel21_0_r2_3 line 124
lemma OAI.SharpPlanar.CachedData.kernel21_0_r2_3_eq line 125
def OAI.SharpPlanar.CachedData.kernel21_0_r2_4 line 126
lemma OAI.SharpPlanar.CachedData.kernel21_0_r2_4_eq line 127
def OAI.SharpPlanar.CachedData.kernel21_0_r2_5 line 128
lemma OAI.SharpPlanar.CachedData.kernel21_0_r2_5_eq line 129
def OAI.SharpPlanar.CachedData.kernel21_0_r2_6 line 130
lemma OAI.SharpPlanar.CachedData.kernel21_0_r2_6_eq line 131
def OAI.SharpPlanar.CachedData.kernel21_0_r2_7 line 132
lemma OAI.SharpPlanar.CachedData.kernel21_0_r2_7_eq line 133
def OAI.SharpPlanar.CachedData.kernel21_0_r2_8 line 134
lemma OAI.SharpPlanar.CachedData.kernel21_0_r2_8_eq line 135
def OAI.SharpPlanar.CachedData.kernel21_0_r2_9 line 136
lemma OAI.SharpPlanar.CachedData.kernel21_0_r2_9_eq line 137
def OAI.SharpPlanar.CachedData.kernel21_0_r2_10 line 138
lemma OAI.SharpPlanar.CachedData.kernel21_0_r2_10_eq line 139
def OAI.SharpPlanar.CachedData.kernel21_0_r2_11 line 140
lemma OAI.SharpPlanar.CachedData.kernel21_0_r2_11_eq line 141
def OAI.SharpPlanar.CachedData.kernel21_0_r2_12 line 142
lemma OAI.SharpPlanar.CachedData.kernel21_0_r2_12_eq line 143
def OAI.SharpPlanar.CachedData.kernel21_0_r2_13 line 144
lemma OAI.SharpPlanar.CachedData.kernel21_0_r2_13_eq line 145
def OAI.SharpPlanar.CachedData.kernel21_0_r2_14 line 146
lemma OAI.SharpPlanar.CachedData.kernel21_0_r2_14_eq line 147
def OAI.SharpPlanar.CachedData.kernel21_0_r2_15 line 148
lemma OAI.SharpPlanar.CachedData.kernel21_0_r2_15_eq line 149
def OAI.SharpPlanar.CachedData.kernel21_0_r2 line 150
lemma OAI.SharpPlanar.CachedData.kernel21_0_r2_eq line 151
def OAI.SharpPlanar.CachedData.kernel21_0_r3_0 line 169
lemma OAI.SharpPlanar.CachedData.kernel21_0_r3_0_eq line 170
def OAI.SharpPlanar.CachedData.kernel21_0_r3_1 line 171
lemma OAI.SharpPlanar.CachedData.kernel21_0_r3_1_eq line 172
def OAI.SharpPlanar.CachedData.kernel21_0_r3_2 line 173
lemma OAI.SharpPlanar.CachedData.kernel21_0_r3_2_eq line 174
def OAI.SharpPlanar.CachedData.kernel21_0_r3_3 line 175
lemma OAI.SharpPlanar.CachedData.kernel21_0_r3_3_eq line 176
def OAI.SharpPlanar.CachedData.kernel21_0_r3_4 line 177
lemma OAI.SharpPlanar.CachedData.kernel21_0_r3_4_eq line 178
def OAI.SharpPlanar.CachedData.kernel21_0_r3_5 line 179
lemma OAI.SharpPlanar.CachedData.kernel21_0_r3_5_eq line 180
def OAI.SharpPlanar.CachedData.kernel21_0_r3_6 line 181
lemma OAI.SharpPlanar.CachedData.kernel21_0_r3_6_eq line 182
def OAI.SharpPlanar.CachedData.kernel21_0_r3_7 line 183
lemma OAI.SharpPlanar.CachedData.kernel21_0_r3_7_eq line 184
def OAI.SharpPlanar.CachedData.kernel21_0_r3_8 line 185
lemma OAI.SharpPlanar.CachedData.kernel21_0_r3_8_eq line 186
def OAI.SharpPlanar.CachedData.kernel21_0_r3_9 line 187
lemma OAI.SharpPlanar.CachedData.kernel21_0_r3_9_eq line 188
def OAI.SharpPlanar.CachedData.kernel21_0_r3_10 line 189
lemma OAI.SharpPlanar.CachedData.kernel21_0_r3_10_eq line 190
def OAI.SharpPlanar.CachedData.kernel21_0_r3_11 line 191
lemma OAI.SharpPlanar.CachedData.kernel21_0_r3_11_eq line 192
def OAI.SharpPlanar.CachedData.kernel21_0_r3_12 line 193
lemma OAI.SharpPlanar.CachedData.kernel21_0_r3_12_eq line 194
def OAI.SharpPlanar.CachedData.kernel21_0_r3_13 line 195
lemma OAI.SharpPlanar.CachedData.kernel21_0_r3_13_eq line 196
def OAI.SharpPlanar.CachedData.kernel21_0_r3_14 line 197
lemma OAI.SharpPlanar.CachedData.kernel21_0_r3_14_eq line 198
def OAI.SharpPlanar.CachedData.kernel21_0_r3_15 line 199
lemma OAI.SharpPlanar.CachedData.kernel21_0_r3_15_eq line 200
def OAI.SharpPlanar.CachedData.kernel21_0_r3 line 201
lemma OAI.SharpPlanar.CachedData.kernel21_0_r3_eq line 202
def OAI.SharpPlanar.CachedData.kernel21_0_r4_0 line 220
lemma OAI.SharpPlanar.CachedData.kernel21_0_r4_0_eq line 221
def OAI.SharpPlanar.CachedData.kernel21_0_r4_1 line 222
lemma OAI.SharpPlanar.CachedData.kernel21_0_r4_1_eq line 223
def OAI.SharpPlanar.CachedData.kernel21_0_r4_2 line 224
lemma OAI.SharpPlanar.CachedData.kernel21_0_r4_2_eq line 225
def OAI.SharpPlanar.CachedData.kernel21_0_r4_3 line 226
lemma OAI.SharpPlanar.CachedData.kernel21_0_r4_3_eq line 227
def OAI.SharpPlanar.CachedData.kernel21_0_r4_4 line 228
lemma OAI.SharpPlanar.CachedData.kernel21_0_r4_4_eq line 229
def OAI.SharpPlanar.CachedData.kernel21_0_r4_5 line 230
lemma OAI.SharpPlanar.CachedData.kernel21_0_r4_5_eq line 231
def OAI.SharpPlanar.CachedData.kernel21_0_r4_6 line 232
lemma OAI.SharpPlanar.CachedData.kernel21_0_r4_6_eq line 233
def OAI.SharpPlanar.CachedData.kernel21_0_r4_7 line 234
lemma OAI.SharpPlanar.CachedData.kernel21_0_r4_7_eq line 235
def OAI.SharpPlanar.CachedData.kernel21_0_r4_8 line 236
lemma OAI.SharpPlanar.CachedData.kernel21_0_r4_8_eq line 237
def OAI.SharpPlanar.CachedData.kernel21_0_r4_9 line 238
lemma OAI.SharpPlanar.CachedData.kernel21_0_r4_9_eq line 239
def OAI.SharpPlanar.CachedData.kernel21_0_r4_10 line 240
lemma OAI.SharpPlanar.CachedData.kernel21_0_r4_10_eq line 241
def OAI.SharpPlanar.CachedData.kernel21_0_r4_11 line 242
lemma OAI.SharpPlanar.CachedData.kernel21_0_r4_11_eq line 243
def OAI.SharpPlanar.CachedData.kernel21_0_r4_12 line 244
lemma OAI.SharpPlanar.CachedData.kernel21_0_r4_12_eq line 245
def OAI.SharpPlanar.CachedData.kernel21_0_r4_13 line 246
lemma OAI.SharpPlanar.CachedData.kernel21_0_r4_13_eq line 247
def OAI.SharpPlanar.CachedData.kernel21_0_r4_14 line 248
lemma OAI.SharpPlanar.CachedData.kernel21_0_r4_14_eq line 249
def OAI.SharpPlanar.CachedData.kernel21_0_r4_15 line 250
lemma OAI.SharpPlanar.CachedData.kernel21_0_r4_15_eq line 251
def OAI.SharpPlanar.CachedData.kernel21_0_r4 line 252
lemma OAI.SharpPlanar.CachedData.kernel21_0_r4_eq line 253
def OAI.SharpPlanar.CachedData.kernel21_0_r5_0 line 271
lemma OAI.SharpPlanar.CachedData.kernel21_0_r5_0_eq line 272
def OAI.SharpPlanar.CachedData.kernel21_0_r5_1 line 273
lemma OAI.SharpPlanar.CachedData.kernel21_0_r5_1_eq line 274
def OAI.SharpPlanar.CachedData.kernel21_0_r5_2 line 275
lemma OAI.SharpPlanar.CachedData.kernel21_0_r5_2_eq line 276
def OAI.SharpPlanar.CachedData.kernel21_0_r5_3 line 277
lemma OAI.SharpPlanar.CachedData.kernel21_0_r5_3_eq line 278
def OAI.SharpPlanar.CachedData.kernel21_0_r5_4 line 279
lemma OAI.SharpPlanar.CachedData.kernel21_0_r5_4_eq line 280
def OAI.SharpPlanar.CachedData.kernel21_0_r5_5 line 281
lemma OAI.SharpPlanar.CachedData.kernel21_0_r5_5_eq line 282
def OAI.SharpPlanar.CachedData.kernel21_0_r5_6 line 283
lemma OAI.SharpPlanar.CachedData.kernel21_0_r5_6_eq line 284
def OAI.SharpPlanar.CachedData.kernel21_0_r5_7 line 285
lemma OAI.SharpPlanar.CachedData.kernel21_0_r5_7_eq line 286
def OAI.SharpPlanar.CachedData.kernel21_0_r5_8 line 287
lemma OAI.SharpPlanar.CachedData.kernel21_0_r5_8_eq line 288
def OAI.SharpPlanar.CachedData.kernel21_0_r5_9 line 289
lemma OAI.SharpPlanar.CachedData.kernel21_0_r5_9_eq line 290
def OAI.SharpPlanar.CachedData.kernel21_0_r5_10 line 291
lemma OAI.SharpPlanar.CachedData.kernel21_0_r5_10_eq line 292
def OAI.SharpPlanar.CachedData.kernel21_0_r5_11 line 293
lemma OAI.SharpPlanar.CachedData.kernel21_0_r5_11_eq line 294
def OAI.SharpPlanar.CachedData.kernel21_0_r5_12 line 295
lemma OAI.SharpPlanar.CachedData.kernel21_0_r5_12_eq line 296
def OAI.SharpPlanar.CachedData.kernel21_0_r5_13 line 297
lemma OAI.SharpPlanar.CachedData.kernel21_0_r5_13_eq line 298
def OAI.SharpPlanar.CachedData.kernel21_0_r5_14 line 299
lemma OAI.SharpPlanar.CachedData.kernel21_0_r5_14_eq line 300
def OAI.SharpPlanar.CachedData.kernel21_0_r5_15 line 301
lemma OAI.SharpPlanar.CachedData.kernel21_0_r5_15_eq line 302
def OAI.SharpPlanar.CachedData.kernel21_0_r5 line 303
lemma OAI.SharpPlanar.CachedData.kernel21_0_r5_eq line 304
def OAI.SharpPlanar.CachedData.kernel21_0 line 322
lemma OAI.SharpPlanar.CachedData.kernel21_0_eq line 323
lemma OAI.SharpPlanar.CachedData.kernel21_0_contains line 331
def OAI.SharpPlanar.CachedData.kernel21_1Expr line 341
def OAI.SharpPlanar.CachedData.kernel21_1_r0_0 line 342
lemma OAI.SharpPlanar.CachedData.kernel21_1_r0_0_eq line 343
def OAI.SharpPlanar.CachedData.kernel21_1_r0_1 line 344
lemma OAI.SharpPlanar.CachedData.kernel21_1_r0_1_eq line 345
def OAI.SharpPlanar.CachedData.kernel21_1_r0_2 line 346
lemma OAI.SharpPlanar.CachedData.kernel21_1_r0_2_eq line 347
def OAI.SharpPlanar.CachedData.kernel21_1_r0_3 line 348
lemma OAI.SharpPlanar.CachedData.kernel21_1_r0_3_eq line 349
def OAI.SharpPlanar.CachedData.kernel21_1_r0_4 line 350
lemma OAI.SharpPlanar.CachedData.kernel21_1_r0_4_eq line 351
def OAI.SharpPlanar.CachedData.kernel21_1_r0_5 line 352
lemma OAI.SharpPlanar.CachedData.kernel21_1_r0_5_eq line 353
def OAI.SharpPlanar.CachedData.kernel21_1_r0_6 line 354
lemma OAI.SharpPlanar.CachedData.kernel21_1_r0_6_eq line 355
def OAI.SharpPlanar.CachedData.kernel21_1_r0_7 line 356
lemma OAI.SharpPlanar.CachedData.kernel21_1_r0_7_eq line 357
def OAI.SharpPlanar.CachedData.kernel21_1_r0_8 line 358
lemma OAI.SharpPlanar.CachedData.kernel21_1_r0_8_eq line 359
def OAI.SharpPlanar.CachedData.kernel21_1_r0_9 line 360
lemma OAI.SharpPlanar.CachedData.kernel21_1_r0_9_eq line 361
def OAI.SharpPlanar.CachedData.kernel21_1_r0_10 line 362
lemma OAI.SharpPlanar.CachedData.kernel21_1_r0_10_eq line 363
def OAI.SharpPlanar.CachedData.kernel21_1_r0_11 line 364
lemma OAI.SharpPlanar.CachedData.kernel21_1_r0_11_eq line 365
def OAI.SharpPlanar.CachedData.kernel21_1_r0_12 line 366
lemma OAI.SharpPlanar.CachedData.kernel21_1_r0_12_eq line 367
def OAI.SharpPlanar.CachedData.kernel21_1_r0_13 line 368
lemma OAI.SharpPlanar.CachedData.kernel21_1_r0_13_eq line 369
def OAI.SharpPlanar.CachedData.kernel21_1_r0_14 line 370
lemma OAI.SharpPlanar.CachedData.kernel21_1_r0_14_eq line 371
def OAI.SharpPlanar.CachedData.kernel21_1_r0_15 line 372
lemma OAI.SharpPlanar.CachedData.kernel21_1_r0_15_eq line 373
def OAI.SharpPlanar.CachedData.kernel21_1_r0 line 374
lemma OAI.SharpPlanar.CachedData.kernel21_1_r0_eq line 375
def OAI.SharpPlanar.CachedData.kernel21_1_r1_0 line 393
lemma OAI.SharpPlanar.CachedData.kernel21_1_r1_0_eq line 394
def OAI.SharpPlanar.CachedData.kernel21_1_r1_1 line 395
lemma OAI.SharpPlanar.CachedData.kernel21_1_r1_1_eq line 396
def OAI.SharpPlanar.CachedData.kernel21_1_r1_2 line 397
lemma OAI.SharpPlanar.CachedData.kernel21_1_r1_2_eq line 398
def OAI.SharpPlanar.CachedData.kernel21_1_r1_3 line 399
lemma OAI.SharpPlanar.CachedData.kernel21_1_r1_3_eq line 400
def OAI.SharpPlanar.CachedData.kernel21_1_r1_4 line 401
lemma OAI.SharpPlanar.CachedData.kernel21_1_r1_4_eq line 402
def OAI.SharpPlanar.CachedData.kernel21_1_r1_5 line 403
lemma OAI.SharpPlanar.CachedData.kernel21_1_r1_5_eq line 404
def OAI.SharpPlanar.CachedData.kernel21_1_r1_6 line 405
lemma OAI.SharpPlanar.CachedData.kernel21_1_r1_6_eq line 406
def OAI.SharpPlanar.CachedData.kernel21_1_r1_7 line 407
lemma OAI.SharpPlanar.CachedData.kernel21_1_r1_7_eq line 408
def OAI.SharpPlanar.CachedData.kernel21_1_r1_8 line 409
lemma OAI.SharpPlanar.CachedData.kernel21_1_r1_8_eq line 410
def OAI.SharpPlanar.CachedData.kernel21_1_r1_9 line 411
lemma OAI.SharpPlanar.CachedData.kernel21_1_r1_9_eq line 412
def OAI.SharpPlanar.CachedData.kernel21_1_r1_10 line 413
lemma OAI.SharpPlanar.CachedData.kernel21_1_r1_10_eq line 414
def OAI.SharpPlanar.CachedData.kernel21_1_r1_11 line 415
lemma OAI.SharpPlanar.CachedData.kernel21_1_r1_11_eq line 416
def OAI.SharpPlanar.CachedData.kernel21_1_r1_12 line 417
lemma OAI.SharpPlanar.CachedData.kernel21_1_r1_12_eq line 418
def OAI.SharpPlanar.CachedData.kernel21_1_r1_13 line 419
lemma OAI.SharpPlanar.CachedData.kernel21_1_r1_13_eq line 420
def OAI.SharpPlanar.CachedData.kernel21_1_r1_14 line 421
lemma OAI.SharpPlanar.CachedData.kernel21_1_r1_14_eq line 422
def OAI.SharpPlanar.CachedData.kernel21_1_r1_15 line 423
lemma OAI.SharpPlanar.CachedData.kernel21_1_r1_15_eq line 424
def OAI.SharpPlanar.CachedData.kernel21_1_r1 line 425
lemma OAI.SharpPlanar.CachedData.kernel21_1_r1_eq line 426
def OAI.SharpPlanar.CachedData.kernel21_1_r2_0 line 444
lemma OAI.SharpPlanar.CachedData.kernel21_1_r2_0_eq line 445
def OAI.SharpPlanar.CachedData.kernel21_1_r2_1 line 446
lemma OAI.SharpPlanar.CachedData.kernel21_1_r2_1_eq line 447
def OAI.SharpPlanar.CachedData.kernel21_1_r2_2 line 448
lemma OAI.SharpPlanar.CachedData.kernel21_1_r2_2_eq line 449
def OAI.SharpPlanar.CachedData.kernel21_1_r2_3 line 450
lemma OAI.SharpPlanar.CachedData.kernel21_1_r2_3_eq line 451
def OAI.SharpPlanar.CachedData.kernel21_1_r2_4 line 452
lemma OAI.SharpPlanar.CachedData.kernel21_1_r2_4_eq line 453
def OAI.SharpPlanar.CachedData.kernel21_1_r2_5 line 454
lemma OAI.SharpPlanar.CachedData.kernel21_1_r2_5_eq line 455
def OAI.SharpPlanar.CachedData.kernel21_1_r2_6 line 456
lemma OAI.SharpPlanar.CachedData.kernel21_1_r2_6_eq line 457
def OAI.SharpPlanar.CachedData.kernel21_1_r2_7 line 458
lemma OAI.SharpPlanar.CachedData.kernel21_1_r2_7_eq line 459
def OAI.SharpPlanar.CachedData.kernel21_1_r2_8 line 460
lemma OAI.SharpPlanar.CachedData.kernel21_1_r2_8_eq line 461
def OAI.SharpPlanar.CachedData.kernel21_1_r2_9 line 462
lemma OAI.SharpPlanar.CachedData.kernel21_1_r2_9_eq line 463
def OAI.SharpPlanar.CachedData.kernel21_1_r2_10 line 464
lemma OAI.SharpPlanar.CachedData.kernel21_1_r2_10_eq line 465
def OAI.SharpPlanar.CachedData.kernel21_1_r2_11 line 466
lemma OAI.SharpPlanar.CachedData.kernel21_1_r2_11_eq line 467
def OAI.SharpPlanar.CachedData.kernel21_1_r2_12 line 468
lemma OAI.SharpPlanar.CachedData.kernel21_1_r2_12_eq line 469
def OAI.SharpPlanar.CachedData.kernel21_1_r2_13 line 470
lemma OAI.SharpPlanar.CachedData.kernel21_1_r2_13_eq line 471
def OAI.SharpPlanar.CachedData.kernel21_1_r2_14 line 472
lemma OAI.SharpPlanar.CachedData.kernel21_1_r2_14_eq line 473
def OAI.SharpPlanar.CachedData.kernel21_1_r2_15 line 474
lemma OAI.SharpPlanar.CachedData.kernel21_1_r2_15_eq line 475
def OAI.SharpPlanar.CachedData.kernel21_1_r2 line 476
lemma OAI.SharpPlanar.CachedData.kernel21_1_r2_eq line 477
def OAI.SharpPlanar.CachedData.kernel21_1_r3_0 line 495
lemma OAI.SharpPlanar.CachedData.kernel21_1_r3_0_eq line 496
def OAI.SharpPlanar.CachedData.kernel21_1_r3_1 line 497
lemma OAI.SharpPlanar.CachedData.kernel21_1_r3_1_eq line 498
def OAI.SharpPlanar.CachedData.kernel21_1_r3_2 line 499
lemma OAI.SharpPlanar.CachedData.kernel21_1_r3_2_eq line 500
def OAI.SharpPlanar.CachedData.kernel21_1_r3_3 line 501
lemma OAI.SharpPlanar.CachedData.kernel21_1_r3_3_eq line 502
def OAI.SharpPlanar.CachedData.kernel21_1_r3_4 line 503
lemma OAI.SharpPlanar.CachedData.kernel21_1_r3_4_eq line 504
def OAI.SharpPlanar.CachedData.kernel21_1_r3_5 line 505
lemma OAI.SharpPlanar.CachedData.kernel21_1_r3_5_eq line 506
def OAI.SharpPlanar.CachedData.kernel21_1_r3_6 line 507
lemma OAI.SharpPlanar.CachedData.kernel21_1_r3_6_eq line 508
def OAI.SharpPlanar.CachedData.kernel21_1_r3_7 line 509
lemma OAI.SharpPlanar.CachedData.kernel21_1_r3_7_eq line 510
def OAI.SharpPlanar.CachedData.kernel21_1_r3_8 line 511
lemma OAI.SharpPlanar.CachedData.kernel21_1_r3_8_eq line 512
def OAI.SharpPlanar.CachedData.kernel21_1_r3_9 line 513
lemma OAI.SharpPlanar.CachedData.kernel21_1_r3_9_eq line 514
def OAI.SharpPlanar.CachedData.kernel21_1_r3_10 line 515
lemma OAI.SharpPlanar.CachedData.kernel21_1_r3_10_eq line 516
def OAI.SharpPlanar.CachedData.kernel21_1_r3_11 line 517
lemma OAI.SharpPlanar.CachedData.kernel21_1_r3_11_eq line 518
def OAI.SharpPlanar.CachedData.kernel21_1_r3_12 line 519
lemma OAI.SharpPlanar.CachedData.kernel21_1_r3_12_eq line 520
def OAI.SharpPlanar.CachedData.kernel21_1_r3_13 line 521
lemma OAI.SharpPlanar.CachedData.kernel21_1_r3_13_eq line 522
def OAI.SharpPlanar.CachedData.kernel21_1_r3_14 line 523
lemma OAI.SharpPlanar.CachedData.kernel21_1_r3_14_eq line 524
def OAI.SharpPlanar.CachedData.kernel21_1_r3_15 line 525
lemma OAI.SharpPlanar.CachedData.kernel21_1_r3_15_eq line 526
def OAI.SharpPlanar.CachedData.kernel21_1_r3 line 527
lemma OAI.SharpPlanar.CachedData.kernel21_1_r3_eq line 528
def OAI.SharpPlanar.CachedData.kernel21_1_r4_0 line 546
lemma OAI.SharpPlanar.CachedData.kernel21_1_r4_0_eq line 547
def OAI.SharpPlanar.CachedData.kernel21_1_r4_1 line 548
lemma OAI.SharpPlanar.CachedData.kernel21_1_r4_1_eq line 549
def OAI.SharpPlanar.CachedData.kernel21_1_r4_2 line 550
lemma OAI.SharpPlanar.CachedData.kernel21_1_r4_2_eq line 551
def OAI.SharpPlanar.CachedData.kernel21_1_r4_3 line 552
lemma OAI.SharpPlanar.CachedData.kernel21_1_r4_3_eq line 553
def OAI.SharpPlanar.CachedData.kernel21_1_r4_4 line 554
lemma OAI.SharpPlanar.CachedData.kernel21_1_r4_4_eq line 555
def OAI.SharpPlanar.CachedData.kernel21_1_r4_5 line 556
lemma OAI.SharpPlanar.CachedData.kernel21_1_r4_5_eq line 557
def OAI.SharpPlanar.CachedData.kernel21_1_r4_6 line 558
lemma OAI.SharpPlanar.CachedData.kernel21_1_r4_6_eq line 559
def OAI.SharpPlanar.CachedData.kernel21_1_r4_7 line 560
lemma OAI.SharpPlanar.CachedData.kernel21_1_r4_7_eq line 561
def OAI.SharpPlanar.CachedData.kernel21_1_r4_8 line 562
lemma OAI.SharpPlanar.CachedData.kernel21_1_r4_8_eq line 563
def OAI.SharpPlanar.CachedData.kernel21_1_r4_9 line 564
lemma OAI.SharpPlanar.CachedData.kernel21_1_r4_9_eq line 565
def OAI.SharpPlanar.CachedData.kernel21_1_r4_10 line 566
lemma OAI.SharpPlanar.CachedData.kernel21_1_r4_10_eq line 567
def OAI.SharpPlanar.CachedData.kernel21_1_r4_11 line 568
lemma OAI.SharpPlanar.CachedData.kernel21_1_r4_11_eq line 569
def OAI.SharpPlanar.CachedData.kernel21_1_r4_12 line 570
lemma OAI.SharpPlanar.CachedData.kernel21_1_r4_12_eq line 571
def OAI.SharpPlanar.CachedData.kernel21_1_r4_13 line 572
lemma OAI.SharpPlanar.CachedData.kernel21_1_r4_13_eq line 573
def OAI.SharpPlanar.CachedData.kernel21_1_r4_14 line 574
lemma OAI.SharpPlanar.CachedData.kernel21_1_r4_14_eq line 575
def OAI.SharpPlanar.CachedData.kernel21_1_r4_15 line 576
lemma OAI.SharpPlanar.CachedData.kernel21_1_r4_15_eq line 577
def OAI.SharpPlanar.CachedData.kernel21_1_r4 line 578
lemma OAI.SharpPlanar.CachedData.kernel21_1_r4_eq line 579
def OAI.SharpPlanar.CachedData.kernel21_1_r5_0 line 597
lemma OAI.SharpPlanar.CachedData.kernel21_1_r5_0_eq line 598
def OAI.SharpPlanar.CachedData.kernel21_1_r5_1 line 599
lemma OAI.SharpPlanar.CachedData.kernel21_1_r5_1_eq line 600
def OAI.SharpPlanar.CachedData.kernel21_1_r5_2 line 601
lemma OAI.SharpPlanar.CachedData.kernel21_1_r5_2_eq line 602
def OAI.SharpPlanar.CachedData.kernel21_1_r5_3 line 603
lemma OAI.SharpPlanar.CachedData.kernel21_1_r5_3_eq line 604
def OAI.SharpPlanar.CachedData.kernel21_1_r5_4 line 605
lemma OAI.SharpPlanar.CachedData.kernel21_1_r5_4_eq line 606
def OAI.SharpPlanar.CachedData.kernel21_1_r5_5 line 607
lemma OAI.SharpPlanar.CachedData.kernel21_1_r5_5_eq line 608
def OAI.SharpPlanar.CachedData.kernel21_1_r5_6 line 609
lemma OAI.SharpPlanar.CachedData.kernel21_1_r5_6_eq line 610
def OAI.SharpPlanar.CachedData.kernel21_1_r5_7 line 611
lemma OAI.SharpPlanar.CachedData.kernel21_1_r5_7_eq line 612
def OAI.SharpPlanar.CachedData.kernel21_1_r5_8 line 613
lemma OAI.SharpPlanar.CachedData.kernel21_1_r5_8_eq line 614
def OAI.SharpPlanar.CachedData.kernel21_1_r5_9 line 615
lemma OAI.SharpPlanar.CachedData.kernel21_1_r5_9_eq line 616
def OAI.SharpPlanar.CachedData.kernel21_1_r5_10 line 617
lemma OAI.SharpPlanar.CachedData.kernel21_1_r5_10_eq line 618
def OAI.SharpPlanar.CachedData.kernel21_1_r5_11 line 619
lemma OAI.SharpPlanar.CachedData.kernel21_1_r5_11_eq line 620
def OAI.SharpPlanar.CachedData.kernel21_1_r5_12 line 621
lemma OAI.SharpPlanar.CachedData.kernel21_1_r5_12_eq line 622
def OAI.SharpPlanar.CachedData.kernel21_1_r5_13 line 623
lemma OAI.SharpPlanar.CachedData.kernel21_1_r5_13_eq line 624
def OAI.SharpPlanar.CachedData.kernel21_1_r5_14 line 625
lemma OAI.SharpPlanar.CachedData.kernel21_1_r5_14_eq line 626
def OAI.SharpPlanar.CachedData.kernel21_1_r5_15 line 627
lemma OAI.SharpPlanar.CachedData.kernel21_1_r5_15_eq line 628
def OAI.SharpPlanar.CachedData.kernel21_1_r5 line 629
lemma OAI.SharpPlanar.CachedData.kernel21_1_r5_eq line 630
def OAI.SharpPlanar.CachedData.kernel21_1 line 648
lemma OAI.SharpPlanar.CachedData.kernel21_1_eq line 649
lemma OAI.SharpPlanar.CachedData.kernel21_1_contains line 657
def OAI.SharpPlanar.CachedData.kernel24_0Expr line 669
def OAI.SharpPlanar.CachedData.kernel24_0_r0_0 line 670
lemma OAI.SharpPlanar.CachedData.kernel24_0_r0_0_eq line 671
def OAI.SharpPlanar.CachedData.kernel24_0_r0_1 line 672
lemma OAI.SharpPlanar.CachedData.kernel24_0_r0_1_eq line 673
def OAI.SharpPlanar.CachedData.kernel24_0_r0_2 line 674
lemma OAI.SharpPlanar.CachedData.kernel24_0_r0_2_eq line 675
def OAI.SharpPlanar.CachedData.kernel24_0_r0_3 line 676
lemma OAI.SharpPlanar.CachedData.kernel24_0_r0_3_eq line 677
def OAI.SharpPlanar.CachedData.kernel24_0_r0_4 line 678
lemma OAI.SharpPlanar.CachedData.kernel24_0_r0_4_eq line 679
def OAI.SharpPlanar.CachedData.kernel24_0_r0_5 line 680
lemma OAI.SharpPlanar.CachedData.kernel24_0_r0_5_eq line 681
def OAI.SharpPlanar.CachedData.kernel24_0_r0_6 line 682
lemma OAI.SharpPlanar.CachedData.kernel24_0_r0_6_eq line 683
def OAI.SharpPlanar.CachedData.kernel24_0_r0_7 line 684
lemma OAI.SharpPlanar.CachedData.kernel24_0_r0_7_eq line 685
def OAI.SharpPlanar.CachedData.kernel24_0_r0_8 line 686
lemma OAI.SharpPlanar.CachedData.kernel24_0_r0_8_eq line 687
def OAI.SharpPlanar.CachedData.kernel24_0_r0_9 line 688
lemma OAI.SharpPlanar.CachedData.kernel24_0_r0_9_eq line 689
def OAI.SharpPlanar.CachedData.kernel24_0_r0_10 line 690
lemma OAI.SharpPlanar.CachedData.kernel24_0_r0_10_eq line 691
def OAI.SharpPlanar.CachedData.kernel24_0_r0_11 line 692
lemma OAI.SharpPlanar.CachedData.kernel24_0_r0_11_eq line 693
def OAI.SharpPlanar.CachedData.kernel24_0_r0_12 line 694
lemma OAI.SharpPlanar.CachedData.kernel24_0_r0_12_eq line 695
def OAI.SharpPlanar.CachedData.kernel24_0_r0_13 line 696
lemma OAI.SharpPlanar.CachedData.kernel24_0_r0_13_eq line 697
def OAI.SharpPlanar.CachedData.kernel24_0_r0_14 line 698
lemma OAI.SharpPlanar.CachedData.kernel24_0_r0_14_eq line 699
def OAI.SharpPlanar.CachedData.kernel24_0_r0_15 line 700
lemma OAI.SharpPlanar.CachedData.kernel24_0_r0_15_eq line 701
def OAI.SharpPlanar.CachedData.kernel24_0_r0 line 702
lemma OAI.SharpPlanar.CachedData.kernel24_0_r0_eq line 703
def OAI.SharpPlanar.CachedData.kernel24_0_r1_0 line 721
lemma OAI.SharpPlanar.CachedData.kernel24_0_r1_0_eq line 722
def OAI.SharpPlanar.CachedData.kernel24_0_r1_1 line 723
lemma OAI.SharpPlanar.CachedData.kernel24_0_r1_1_eq line 724
def OAI.SharpPlanar.CachedData.kernel24_0_r1_2 line 725
lemma OAI.SharpPlanar.CachedData.kernel24_0_r1_2_eq line 726
def OAI.SharpPlanar.CachedData.kernel24_0_r1_3 line 727
lemma OAI.SharpPlanar.CachedData.kernel24_0_r1_3_eq line 728
def OAI.SharpPlanar.CachedData.kernel24_0_r1_4 line 729
lemma OAI.SharpPlanar.CachedData.kernel24_0_r1_4_eq line 730
def OAI.SharpPlanar.CachedData.kernel24_0_r1_5 line 731
lemma OAI.SharpPlanar.CachedData.kernel24_0_r1_5_eq line 732
def OAI.SharpPlanar.CachedData.kernel24_0_r1_6 line 733
lemma OAI.SharpPlanar.CachedData.kernel24_0_r1_6_eq line 734
def OAI.SharpPlanar.CachedData.kernel24_0_r1_7 line 735
lemma OAI.SharpPlanar.CachedData.kernel24_0_r1_7_eq line 736
def OAI.SharpPlanar.CachedData.kernel24_0_r1_8 line 737
lemma OAI.SharpPlanar.CachedData.kernel24_0_r1_8_eq line 738
def OAI.SharpPlanar.CachedData.kernel24_0_r1_9 line 739
lemma OAI.SharpPlanar.CachedData.kernel24_0_r1_9_eq line 740
def OAI.SharpPlanar.CachedData.kernel24_0_r1_10 line 741
lemma OAI.SharpPlanar.CachedData.kernel24_0_r1_10_eq line 742
def OAI.SharpPlanar.CachedData.kernel24_0_r1_11 line 743
lemma OAI.SharpPlanar.CachedData.kernel24_0_r1_11_eq line 744
def OAI.SharpPlanar.CachedData.kernel24_0_r1_12 line 745
lemma OAI.SharpPlanar.CachedData.kernel24_0_r1_12_eq line 746
def OAI.SharpPlanar.CachedData.kernel24_0_r1_13 line 747
lemma OAI.SharpPlanar.CachedData.kernel24_0_r1_13_eq line 748
def OAI.SharpPlanar.CachedData.kernel24_0_r1_14 line 749
lemma OAI.SharpPlanar.CachedData.kernel24_0_r1_14_eq line 750
def OAI.SharpPlanar.CachedData.kernel24_0_r1_15 line 751
lemma OAI.SharpPlanar.CachedData.kernel24_0_r1_15_eq line 752
def OAI.SharpPlanar.CachedData.kernel24_0_r1 line 753
lemma OAI.SharpPlanar.CachedData.kernel24_0_r1_eq line 754
def OAI.SharpPlanar.CachedData.kernel24_0_r2_0 line 772
lemma OAI.SharpPlanar.CachedData.kernel24_0_r2_0_eq line 773
def OAI.SharpPlanar.CachedData.kernel24_0_r2_1 line 774
lemma OAI.SharpPlanar.CachedData.kernel24_0_r2_1_eq line 775
def OAI.SharpPlanar.CachedData.kernel24_0_r2_2 line 776
lemma OAI.SharpPlanar.CachedData.kernel24_0_r2_2_eq line 777
def OAI.SharpPlanar.CachedData.kernel24_0_r2_3 line 778
lemma OAI.SharpPlanar.CachedData.kernel24_0_r2_3_eq line 779
def OAI.SharpPlanar.CachedData.kernel24_0_r2_4 line 780
lemma OAI.SharpPlanar.CachedData.kernel24_0_r2_4_eq line 781
def OAI.SharpPlanar.CachedData.kernel24_0_r2_5 line 782
lemma OAI.SharpPlanar.CachedData.kernel24_0_r2_5_eq line 783
def OAI.SharpPlanar.CachedData.kernel24_0_r2_6 line 784
lemma OAI.SharpPlanar.CachedData.kernel24_0_r2_6_eq line 785
def OAI.SharpPlanar.CachedData.kernel24_0_r2_7 line 786
lemma OAI.SharpPlanar.CachedData.kernel24_0_r2_7_eq line 787
def OAI.SharpPlanar.CachedData.kernel24_0_r2_8 line 788
lemma OAI.SharpPlanar.CachedData.kernel24_0_r2_8_eq line 789
def OAI.SharpPlanar.CachedData.kernel24_0_r2_9 line 790
lemma OAI.SharpPlanar.CachedData.kernel24_0_r2_9_eq line 791
def OAI.SharpPlanar.CachedData.kernel24_0_r2_10 line 792
lemma OAI.SharpPlanar.CachedData.kernel24_0_r2_10_eq line 793
def OAI.SharpPlanar.CachedData.kernel24_0_r2_11 line 794
lemma OAI.SharpPlanar.CachedData.kernel24_0_r2_11_eq line 795
def OAI.SharpPlanar.CachedData.kernel24_0_r2_12 line 796
lemma OAI.SharpPlanar.CachedData.kernel24_0_r2_12_eq line 797
def OAI.SharpPlanar.CachedData.kernel24_0_r2_13 line 798
lemma OAI.SharpPlanar.CachedData.kernel24_0_r2_13_eq line 799
def OAI.SharpPlanar.CachedData.kernel24_0_r2_14 line 800
lemma OAI.SharpPlanar.CachedData.kernel24_0_r2_14_eq line 801
def OAI.SharpPlanar.CachedData.kernel24_0_r2_15 line 802
lemma OAI.SharpPlanar.CachedData.kernel24_0_r2_15_eq line 803
def OAI.SharpPlanar.CachedData.kernel24_0_r2 line 804
lemma OAI.SharpPlanar.CachedData.kernel24_0_r2_eq line 805
def OAI.SharpPlanar.CachedData.kernel24_0_r3_0 line 823
lemma OAI.SharpPlanar.CachedData.kernel24_0_r3_0_eq line 824
def OAI.SharpPlanar.CachedData.kernel24_0_r3_1 line 825
lemma OAI.SharpPlanar.CachedData.kernel24_0_r3_1_eq line 826
def OAI.SharpPlanar.CachedData.kernel24_0_r3_2 line 827
lemma OAI.SharpPlanar.CachedData.kernel24_0_r3_2_eq line 828
def OAI.SharpPlanar.CachedData.kernel24_0_r3_3 line 829
lemma OAI.SharpPlanar.CachedData.kernel24_0_r3_3_eq line 830
def OAI.SharpPlanar.CachedData.kernel24_0_r3_4 line 831
lemma OAI.SharpPlanar.CachedData.kernel24_0_r3_4_eq line 832
def OAI.SharpPlanar.CachedData.kernel24_0_r3_5 line 833
lemma OAI.SharpPlanar.CachedData.kernel24_0_r3_5_eq line 834
def OAI.SharpPlanar.CachedData.kernel24_0_r3_6 line 835
lemma OAI.SharpPlanar.CachedData.kernel24_0_r3_6_eq line 836
def OAI.SharpPlanar.CachedData.kernel24_0_r3_7 line 837
lemma OAI.SharpPlanar.CachedData.kernel24_0_r3_7_eq line 838
def OAI.SharpPlanar.CachedData.kernel24_0_r3_8 line 839
lemma OAI.SharpPlanar.CachedData.kernel24_0_r3_8_eq line 840
def OAI.SharpPlanar.CachedData.kernel24_0_r3_9 line 841
lemma OAI.SharpPlanar.CachedData.kernel24_0_r3_9_eq line 842
def OAI.SharpPlanar.CachedData.kernel24_0_r3_10 line 843
lemma OAI.SharpPlanar.CachedData.kernel24_0_r3_10_eq line 844
def OAI.SharpPlanar.CachedData.kernel24_0_r3_11 line 845
lemma OAI.SharpPlanar.CachedData.kernel24_0_r3_11_eq line 846
def OAI.SharpPlanar.CachedData.kernel24_0_r3_12 line 847
lemma OAI.SharpPlanar.CachedData.kernel24_0_r3_12_eq line 848
def OAI.SharpPlanar.CachedData.kernel24_0_r3_13 line 849
lemma OAI.SharpPlanar.CachedData.kernel24_0_r3_13_eq line 850
def OAI.SharpPlanar.CachedData.kernel24_0_r3_14 line 851
lemma OAI.SharpPlanar.CachedData.kernel24_0_r3_14_eq line 852
def OAI.SharpPlanar.CachedData.kernel24_0_r3_15 line 853
lemma OAI.SharpPlanar.CachedData.kernel24_0_r3_15_eq line 854
def OAI.SharpPlanar.CachedData.kernel24_0_r3 line 855
lemma OAI.SharpPlanar.CachedData.kernel24_0_r3_eq line 856
def OAI.SharpPlanar.CachedData.kernel24_0_r4_0 line 874
lemma OAI.SharpPlanar.CachedData.kernel24_0_r4_0_eq line 875
def OAI.SharpPlanar.CachedData.kernel24_0_r4_1 line 876
lemma OAI.SharpPlanar.CachedData.kernel24_0_r4_1_eq line 877
def OAI.SharpPlanar.CachedData.kernel24_0_r4_2 line 878
lemma OAI.SharpPlanar.CachedData.kernel24_0_r4_2_eq line 879
def OAI.SharpPlanar.CachedData.kernel24_0_r4_3 line 880
lemma OAI.SharpPlanar.CachedData.kernel24_0_r4_3_eq line 881
def OAI.SharpPlanar.CachedData.kernel24_0_r4_4 line 882
lemma OAI.SharpPlanar.CachedData.kernel24_0_r4_4_eq line 883
def OAI.SharpPlanar.CachedData.kernel24_0_r4_5 line 884
lemma OAI.SharpPlanar.CachedData.kernel24_0_r4_5_eq line 885
def OAI.SharpPlanar.CachedData.kernel24_0_r4_6 line 886
lemma OAI.SharpPlanar.CachedData.kernel24_0_r4_6_eq line 887
def OAI.SharpPlanar.CachedData.kernel24_0_r4_7 line 888
lemma OAI.SharpPlanar.CachedData.kernel24_0_r4_7_eq line 889
def OAI.SharpPlanar.CachedData.kernel24_0_r4_8 line 890
lemma OAI.SharpPlanar.CachedData.kernel24_0_r4_8_eq line 891
def OAI.SharpPlanar.CachedData.kernel24_0_r4_9 line 892
lemma OAI.SharpPlanar.CachedData.kernel24_0_r4_9_eq line 893
def OAI.SharpPlanar.CachedData.kernel24_0_r4_10 line 894
lemma OAI.SharpPlanar.CachedData.kernel24_0_r4_10_eq line 895
def OAI.SharpPlanar.CachedData.kernel24_0_r4_11 line 896
lemma OAI.SharpPlanar.CachedData.kernel24_0_r4_11_eq line 897
def OAI.SharpPlanar.CachedData.kernel24_0_r4_12 line 898
lemma OAI.SharpPlanar.CachedData.kernel24_0_r4_12_eq line 899
def OAI.SharpPlanar.CachedData.kernel24_0_r4_13 line 900
lemma OAI.SharpPlanar.CachedData.kernel24_0_r4_13_eq line 901
def OAI.SharpPlanar.CachedData.kernel24_0_r4_14 line 902
lemma OAI.SharpPlanar.CachedData.kernel24_0_r4_14_eq line 903
def OAI.SharpPlanar.CachedData.kernel24_0_r4_15 line 904
lemma OAI.SharpPlanar.CachedData.kernel24_0_r4_15_eq line 905
def OAI.SharpPlanar.CachedData.kernel24_0_r4 line 906
lemma OAI.SharpPlanar.CachedData.kernel24_0_r4_eq line 907
def OAI.SharpPlanar.CachedData.kernel24_0_r5_0 line 925
lemma OAI.SharpPlanar.CachedData.kernel24_0_r5_0_eq line 926
def OAI.SharpPlanar.CachedData.kernel24_0_r5_1 line 927
lemma OAI.SharpPlanar.CachedData.kernel24_0_r5_1_eq line 928
def OAI.SharpPlanar.CachedData.kernel24_0_r5_2 line 929
lemma OAI.SharpPlanar.CachedData.kernel24_0_r5_2_eq line 930
def OAI.SharpPlanar.CachedData.kernel24_0_r5_3 line 931
lemma OAI.SharpPlanar.CachedData.kernel24_0_r5_3_eq line 932
def OAI.SharpPlanar.CachedData.kernel24_0_r5_4 line 933
lemma OAI.SharpPlanar.CachedData.kernel24_0_r5_4_eq line 934
def OAI.SharpPlanar.CachedData.kernel24_0_r5_5 line 935
lemma OAI.SharpPlanar.CachedData.kernel24_0_r5_5_eq line 936
def OAI.SharpPlanar.CachedData.kernel24_0_r5_6 line 937
lemma OAI.SharpPlanar.CachedData.kernel24_0_r5_6_eq line 938
def OAI.SharpPlanar.CachedData.kernel24_0_r5_7 line 939
lemma OAI.SharpPlanar.CachedData.kernel24_0_r5_7_eq line 940
def OAI.SharpPlanar.CachedData.kernel24_0_r5_8 line 941
lemma OAI.SharpPlanar.CachedData.kernel24_0_r5_8_eq line 942
def OAI.SharpPlanar.CachedData.kernel24_0_r5_9 line 943
lemma OAI.SharpPlanar.CachedData.kernel24_0_r5_9_eq line 944
def OAI.SharpPlanar.CachedData.kernel24_0_r5_10 line 945
lemma OAI.SharpPlanar.CachedData.kernel24_0_r5_10_eq line 946
def OAI.SharpPlanar.CachedData.kernel24_0_r5_11 line 947
lemma OAI.SharpPlanar.CachedData.kernel24_0_r5_11_eq line 948
def OAI.SharpPlanar.CachedData.kernel24_0_r5_12 line 949
lemma OAI.SharpPlanar.CachedData.kernel24_0_r5_12_eq line 950
def OAI.SharpPlanar.CachedData.kernel24_0_r5_13 line 951
lemma OAI.SharpPlanar.CachedData.kernel24_0_r5_13_eq line 952
def OAI.SharpPlanar.CachedData.kernel24_0_r5_14 line 953
lemma OAI.SharpPlanar.CachedData.kernel24_0_r5_14_eq line 954
def OAI.SharpPlanar.CachedData.kernel24_0_r5_15 line 955
lemma OAI.SharpPlanar.CachedData.kernel24_0_r5_15_eq line 956
def OAI.SharpPlanar.CachedData.kernel24_0_r5 line 957
lemma OAI.SharpPlanar.CachedData.kernel24_0_r5_eq line 958
def OAI.SharpPlanar.CachedData.kernel24_0 line 976
lemma OAI.SharpPlanar.CachedData.kernel24_0_eq line 977
lemma OAI.SharpPlanar.CachedData.kernel24_0_contains line 985
def OAI.SharpPlanar.CachedData.kernel24_1Expr line 995
def OAI.SharpPlanar.CachedData.kernel24_1_r0_0 line 996
lemma OAI.SharpPlanar.CachedData.kernel24_1_r0_0_eq line 997
def OAI.SharpPlanar.CachedData.kernel24_1_r0_1 line 998
lemma OAI.SharpPlanar.CachedData.kernel24_1_r0_1_eq line 999
def OAI.SharpPlanar.CachedData.kernel24_1_r0_2 line 1000
lemma OAI.SharpPlanar.CachedData.kernel24_1_r0_2_eq line 1001
def OAI.SharpPlanar.CachedData.kernel24_1_r0_3 line 1002
lemma OAI.SharpPlanar.CachedData.kernel24_1_r0_3_eq line 1003
def OAI.SharpPlanar.CachedData.kernel24_1_r0_4 line 1004
lemma OAI.SharpPlanar.CachedData.kernel24_1_r0_4_eq line 1005
def OAI.SharpPlanar.CachedData.kernel24_1_r0_5 line 1006
lemma OAI.SharpPlanar.CachedData.kernel24_1_r0_5_eq line 1007
def OAI.SharpPlanar.CachedData.kernel24_1_r0_6 line 1008
lemma OAI.SharpPlanar.CachedData.kernel24_1_r0_6_eq line 1009
def OAI.SharpPlanar.CachedData.kernel24_1_r0_7 line 1010
lemma OAI.SharpPlanar.CachedData.kernel24_1_r0_7_eq line 1011
def OAI.SharpPlanar.CachedData.kernel24_1_r0_8 line 1012
lemma OAI.SharpPlanar.CachedData.kernel24_1_r0_8_eq line 1013
def OAI.SharpPlanar.CachedData.kernel24_1_r0_9 line 1014
lemma OAI.SharpPlanar.CachedData.kernel24_1_r0_9_eq line 1015
def OAI.SharpPlanar.CachedData.kernel24_1_r0_10 line 1016
lemma OAI.SharpPlanar.CachedData.kernel24_1_r0_10_eq line 1017
def OAI.SharpPlanar.CachedData.kernel24_1_r0_11 line 1018
lemma OAI.SharpPlanar.CachedData.kernel24_1_r0_11_eq line 1019
def OAI.SharpPlanar.CachedData.kernel24_1_r0_12 line 1020
lemma OAI.SharpPlanar.CachedData.kernel24_1_r0_12_eq line 1021
def OAI.SharpPlanar.CachedData.kernel24_1_r0_13 line 1022
lemma OAI.SharpPlanar.CachedData.kernel24_1_r0_13_eq line 1023
def OAI.SharpPlanar.CachedData.kernel24_1_r0_14 line 1024
lemma OAI.SharpPlanar.CachedData.kernel24_1_r0_14_eq line 1025
def OAI.SharpPlanar.CachedData.kernel24_1_r0_15 line 1026
lemma OAI.SharpPlanar.CachedData.kernel24_1_r0_15_eq line 1027
def OAI.SharpPlanar.CachedData.kernel24_1_r0 line 1028
lemma OAI.SharpPlanar.CachedData.kernel24_1_r0_eq line 1029
def OAI.SharpPlanar.CachedData.kernel24_1_r1_0 line 1047
lemma OAI.SharpPlanar.CachedData.kernel24_1_r1_0_eq line 1048
def OAI.SharpPlanar.CachedData.kernel24_1_r1_1 line 1049
lemma OAI.SharpPlanar.CachedData.kernel24_1_r1_1_eq line 1050
def OAI.SharpPlanar.CachedData.kernel24_1_r1_2 line 1051
lemma OAI.SharpPlanar.CachedData.kernel24_1_r1_2_eq line 1052
def OAI.SharpPlanar.CachedData.kernel24_1_r1_3 line 1053
lemma OAI.SharpPlanar.CachedData.kernel24_1_r1_3_eq line 1054
def OAI.SharpPlanar.CachedData.kernel24_1_r1_4 line 1055
lemma OAI.SharpPlanar.CachedData.kernel24_1_r1_4_eq line 1056
def OAI.SharpPlanar.CachedData.kernel24_1_r1_5 line 1057
lemma OAI.SharpPlanar.CachedData.kernel24_1_r1_5_eq line 1058
def OAI.SharpPlanar.CachedData.kernel24_1_r1_6 line 1059
lemma OAI.SharpPlanar.CachedData.kernel24_1_r1_6_eq line 1060
def OAI.SharpPlanar.CachedData.kernel24_1_r1_7 line 1061
lemma OAI.SharpPlanar.CachedData.kernel24_1_r1_7_eq line 1062
def OAI.SharpPlanar.CachedData.kernel24_1_r1_8 line 1063
lemma OAI.SharpPlanar.CachedData.kernel24_1_r1_8_eq line 1064
def OAI.SharpPlanar.CachedData.kernel24_1_r1_9 line 1065
lemma OAI.SharpPlanar.CachedData.kernel24_1_r1_9_eq line 1066
def OAI.SharpPlanar.CachedData.kernel24_1_r1_10 line 1067
lemma OAI.SharpPlanar.CachedData.kernel24_1_r1_10_eq line 1068
def OAI.SharpPlanar.CachedData.kernel24_1_r1_11 line 1069
lemma OAI.SharpPlanar.CachedData.kernel24_1_r1_11_eq line 1070
def OAI.SharpPlanar.CachedData.kernel24_1_r1_12 line 1071
lemma OAI.SharpPlanar.CachedData.kernel24_1_r1_12_eq line 1072
def OAI.SharpPlanar.CachedData.kernel24_1_r1_13 line 1073
lemma OAI.SharpPlanar.CachedData.kernel24_1_r1_13_eq line 1074
def OAI.SharpPlanar.CachedData.kernel24_1_r1_14 line 1075
lemma OAI.SharpPlanar.CachedData.kernel24_1_r1_14_eq line 1076
def OAI.SharpPlanar.CachedData.kernel24_1_r1_15 line 1077
lemma OAI.SharpPlanar.CachedData.kernel24_1_r1_15_eq line 1078
def OAI.SharpPlanar.CachedData.kernel24_1_r1 line 1079
lemma OAI.SharpPlanar.CachedData.kernel24_1_r1_eq line 1080
def OAI.SharpPlanar.CachedData.kernel24_1_r2_0 line 1098
lemma OAI.SharpPlanar.CachedData.kernel24_1_r2_0_eq line 1099
def OAI.SharpPlanar.CachedData.kernel24_1_r2_1 line 1100
lemma OAI.SharpPlanar.CachedData.kernel24_1_r2_1_eq line 1101
def OAI.SharpPlanar.CachedData.kernel24_1_r2_2 line 1102
lemma OAI.SharpPlanar.CachedData.kernel24_1_r2_2_eq line 1103
def OAI.SharpPlanar.CachedData.kernel24_1_r2_3 line 1104
lemma OAI.SharpPlanar.CachedData.kernel24_1_r2_3_eq line 1105
def OAI.SharpPlanar.CachedData.kernel24_1_r2_4 line 1106
lemma OAI.SharpPlanar.CachedData.kernel24_1_r2_4_eq line 1107
def OAI.SharpPlanar.CachedData.kernel24_1_r2_5 line 1108
lemma OAI.SharpPlanar.CachedData.kernel24_1_r2_5_eq line 1109
def OAI.SharpPlanar.CachedData.kernel24_1_r2_6 line 1110
lemma OAI.SharpPlanar.CachedData.kernel24_1_r2_6_eq line 1111
def OAI.SharpPlanar.CachedData.kernel24_1_r2_7 line 1112
lemma OAI.SharpPlanar.CachedData.kernel24_1_r2_7_eq line 1113
def OAI.SharpPlanar.CachedData.kernel24_1_r2_8 line 1114
lemma OAI.SharpPlanar.CachedData.kernel24_1_r2_8_eq line 1115
def OAI.SharpPlanar.CachedData.kernel24_1_r2_9 line 1116
lemma OAI.SharpPlanar.CachedData.kernel24_1_r2_9_eq line 1117
def OAI.SharpPlanar.CachedData.kernel24_1_r2_10 line 1118
lemma OAI.SharpPlanar.CachedData.kernel24_1_r2_10_eq line 1119
def OAI.SharpPlanar.CachedData.kernel24_1_r2_11 line 1120
lemma OAI.SharpPlanar.CachedData.kernel24_1_r2_11_eq line 1121
def OAI.SharpPlanar.CachedData.kernel24_1_r2_12 line 1122
lemma OAI.SharpPlanar.CachedData.kernel24_1_r2_12_eq line 1123
def OAI.SharpPlanar.CachedData.kernel24_1_r2_13 line 1124
lemma OAI.SharpPlanar.CachedData.kernel24_1_r2_13_eq line 1125
def OAI.SharpPlanar.CachedData.kernel24_1_r2_14 line 1126
lemma OAI.SharpPlanar.CachedData.kernel24_1_r2_14_eq line 1127
def OAI.SharpPlanar.CachedData.kernel24_1_r2_15 line 1128
lemma OAI.SharpPlanar.CachedData.kernel24_1_r2_15_eq line 1129
def OAI.SharpPlanar.CachedData.kernel24_1_r2 line 1130
lemma OAI.SharpPlanar.CachedData.kernel24_1_r2_eq line 1131
def OAI.SharpPlanar.CachedData.kernel24_1_r3_0 line 1149
lemma OAI.SharpPlanar.CachedData.kernel24_1_r3_0_eq line 1150
def OAI.SharpPlanar.CachedData.kernel24_1_r3_1 line 1151
lemma OAI.SharpPlanar.CachedData.kernel24_1_r3_1_eq line 1152
def OAI.SharpPlanar.CachedData.kernel24_1_r3_2 line 1153
lemma OAI.SharpPlanar.CachedData.kernel24_1_r3_2_eq line 1154
def OAI.SharpPlanar.CachedData.kernel24_1_r3_3 line 1155
lemma OAI.SharpPlanar.CachedData.kernel24_1_r3_3_eq line 1156
def OAI.SharpPlanar.CachedData.kernel24_1_r3_4 line 1157
lemma OAI.SharpPlanar.CachedData.kernel24_1_r3_4_eq line 1158
def OAI.SharpPlanar.CachedData.kernel24_1_r3_5 line 1159
lemma OAI.SharpPlanar.CachedData.kernel24_1_r3_5_eq line 1160
def OAI.SharpPlanar.CachedData.kernel24_1_r3_6 line 1161
lemma OAI.SharpPlanar.CachedData.kernel24_1_r3_6_eq line 1162
def OAI.SharpPlanar.CachedData.kernel24_1_r3_7 line 1163
lemma OAI.SharpPlanar.CachedData.kernel24_1_r3_7_eq line 1164
def OAI.SharpPlanar.CachedData.kernel24_1_r3_8 line 1165
lemma OAI.SharpPlanar.CachedData.kernel24_1_r3_8_eq line 1166
def OAI.SharpPlanar.CachedData.kernel24_1_r3_9 line 1167
lemma OAI.SharpPlanar.CachedData.kernel24_1_r3_9_eq line 1168
def OAI.SharpPlanar.CachedData.kernel24_1_r3_10 line 1169
lemma OAI.SharpPlanar.CachedData.kernel24_1_r3_10_eq line 1170
def OAI.SharpPlanar.CachedData.kernel24_1_r3_11 line 1171
lemma OAI.SharpPlanar.CachedData.kernel24_1_r3_11_eq line 1172
def OAI.SharpPlanar.CachedData.kernel24_1_r3_12 line 1173
lemma OAI.SharpPlanar.CachedData.kernel24_1_r3_12_eq line 1174
def OAI.SharpPlanar.CachedData.kernel24_1_r3_13 line 1175
lemma OAI.SharpPlanar.CachedData.kernel24_1_r3_13_eq line 1176
def OAI.SharpPlanar.CachedData.kernel24_1_r3_14 line 1177
lemma OAI.SharpPlanar.CachedData.kernel24_1_r3_14_eq line 1178
def OAI.SharpPlanar.CachedData.kernel24_1_r3_15 line 1179
lemma OAI.SharpPlanar.CachedData.kernel24_1_r3_15_eq line 1180
def OAI.SharpPlanar.CachedData.kernel24_1_r3 line 1181
lemma OAI.SharpPlanar.CachedData.kernel24_1_r3_eq line 1182
def OAI.SharpPlanar.CachedData.kernel24_1_r4_0 line 1200
lemma OAI.SharpPlanar.CachedData.kernel24_1_r4_0_eq line 1201
def OAI.SharpPlanar.CachedData.kernel24_1_r4_1 line 1202
lemma OAI.SharpPlanar.CachedData.kernel24_1_r4_1_eq line 1203
def OAI.SharpPlanar.CachedData.kernel24_1_r4_2 line 1204
lemma OAI.SharpPlanar.CachedData.kernel24_1_r4_2_eq line 1205
def OAI.SharpPlanar.CachedData.kernel24_1_r4_3 line 1206
lemma OAI.SharpPlanar.CachedData.kernel24_1_r4_3_eq line 1207
def OAI.SharpPlanar.CachedData.kernel24_1_r4_4 line 1208
lemma OAI.SharpPlanar.CachedData.kernel24_1_r4_4_eq line 1209
def OAI.SharpPlanar.CachedData.kernel24_1_r4_5 line 1210
lemma OAI.SharpPlanar.CachedData.kernel24_1_r4_5_eq line 1211
def OAI.SharpPlanar.CachedData.kernel24_1_r4_6 line 1212
lemma OAI.SharpPlanar.CachedData.kernel24_1_r4_6_eq line 1213
def OAI.SharpPlanar.CachedData.kernel24_1_r4_7 line 1214
lemma OAI.SharpPlanar.CachedData.kernel24_1_r4_7_eq line 1215
def OAI.SharpPlanar.CachedData.kernel24_1_r4_8 line 1216
lemma OAI.SharpPlanar.CachedData.kernel24_1_r4_8_eq line 1217
def OAI.SharpPlanar.CachedData.kernel24_1_r4_9 line 1218
lemma OAI.SharpPlanar.CachedData.kernel24_1_r4_9_eq line 1219
def OAI.SharpPlanar.CachedData.kernel24_1_r4_10 line 1220
lemma OAI.SharpPlanar.CachedData.kernel24_1_r4_10_eq line 1221
def OAI.SharpPlanar.CachedData.kernel24_1_r4_11 line 1222
lemma OAI.SharpPlanar.CachedData.kernel24_1_r4_11_eq line 1223
def OAI.SharpPlanar.CachedData.kernel24_1_r4_12 line 1224
lemma OAI.SharpPlanar.CachedData.kernel24_1_r4_12_eq line 1225
def OAI.SharpPlanar.CachedData.kernel24_1_r4_13 line 1226
lemma OAI.SharpPlanar.CachedData.kernel24_1_r4_13_eq line 1227
def OAI.SharpPlanar.CachedData.kernel24_1_r4_14 line 1228
lemma OAI.SharpPlanar.CachedData.kernel24_1_r4_14_eq line 1229
def OAI.SharpPlanar.CachedData.kernel24_1_r4_15 line 1230
lemma OAI.SharpPlanar.CachedData.kernel24_1_r4_15_eq line 1231
def OAI.SharpPlanar.CachedData.kernel24_1_r4 line 1232
lemma OAI.SharpPlanar.CachedData.kernel24_1_r4_eq line 1233
def OAI.SharpPlanar.CachedData.kernel24_1_r5_0 line 1251
lemma OAI.SharpPlanar.CachedData.kernel24_1_r5_0_eq line 1252
def OAI.SharpPlanar.CachedData.kernel24_1_r5_1 line 1253
lemma OAI.SharpPlanar.CachedData.kernel24_1_r5_1_eq line 1254
def OAI.SharpPlanar.CachedData.kernel24_1_r5_2 line 1255
lemma OAI.SharpPlanar.CachedData.kernel24_1_r5_2_eq line 1256
def OAI.SharpPlanar.CachedData.kernel24_1_r5_3 line 1257
lemma OAI.SharpPlanar.CachedData.kernel24_1_r5_3_eq line 1258
def OAI.SharpPlanar.CachedData.kernel24_1_r5_4 line 1259
lemma OAI.SharpPlanar.CachedData.kernel24_1_r5_4_eq line 1260
def OAI.SharpPlanar.CachedData.kernel24_1_r5_5 line 1261
lemma OAI.SharpPlanar.CachedData.kernel24_1_r5_5_eq line 1262
def OAI.SharpPlanar.CachedData.kernel24_1_r5_6 line 1263
lemma OAI.SharpPlanar.CachedData.kernel24_1_r5_6_eq line 1264
def OAI.SharpPlanar.CachedData.kernel24_1_r5_7 line 1265
lemma OAI.SharpPlanar.CachedData.kernel24_1_r5_7_eq line 1266
def OAI.SharpPlanar.CachedData.kernel24_1_r5_8 line 1267
lemma OAI.SharpPlanar.CachedData.kernel24_1_r5_8_eq line 1268
def OAI.SharpPlanar.CachedData.kernel24_1_r5_9 line 1269
lemma OAI.SharpPlanar.CachedData.kernel24_1_r5_9_eq line 1270
def OAI.SharpPlanar.CachedData.kernel24_1_r5_10 line 1271
lemma OAI.SharpPlanar.CachedData.kernel24_1_r5_10_eq line 1272
def OAI.SharpPlanar.CachedData.kernel24_1_r5_11 line 1273
lemma OAI.SharpPlanar.CachedData.kernel24_1_r5_11_eq line 1274
def OAI.SharpPlanar.CachedData.kernel24_1_r5_12 line 1275
lemma OAI.SharpPlanar.CachedData.kernel24_1_r5_12_eq line 1276
def OAI.SharpPlanar.CachedData.kernel24_1_r5_13 line 1277
lemma OAI.SharpPlanar.CachedData.kernel24_1_r5_13_eq line 1278
def OAI.SharpPlanar.CachedData.kernel24_1_r5_14 line 1279
lemma OAI.SharpPlanar.CachedData.kernel24_1_r5_14_eq line 1280
def OAI.SharpPlanar.CachedData.kernel24_1_r5_15 line 1281
lemma OAI.SharpPlanar.CachedData.kernel24_1_r5_15_eq line 1282
def OAI.SharpPlanar.CachedData.kernel24_1_r5 line 1283
lemma OAI.SharpPlanar.CachedData.kernel24_1_r5_eq line 1284
def OAI.SharpPlanar.CachedData.kernel24_1 line 1302
lemma OAI.SharpPlanar.CachedData.kernel24_1_eq line 1303
lemma OAI.SharpPlanar.CachedData.kernel24_1_contains line 1311
def OAI.SharpPlanar.CachedData.kernel25_0Expr line 1323
def OAI.SharpPlanar.CachedData.kernel25_0_r0_0 line 1324
lemma OAI.SharpPlanar.CachedData.kernel25_0_r0_0_eq line 1325
def OAI.SharpPlanar.CachedData.kernel25_0_r0_1 line 1326
lemma OAI.SharpPlanar.CachedData.kernel25_0_r0_1_eq line 1327
def OAI.SharpPlanar.CachedData.kernel25_0_r0_2 line 1328
lemma OAI.SharpPlanar.CachedData.kernel25_0_r0_2_eq line 1329
def OAI.SharpPlanar.CachedData.kernel25_0_r0_3 line 1330
lemma OAI.SharpPlanar.CachedData.kernel25_0_r0_3_eq line 1331
def OAI.SharpPlanar.CachedData.kernel25_0_r0_4 line 1332
lemma OAI.SharpPlanar.CachedData.kernel25_0_r0_4_eq line 1333
def OAI.SharpPlanar.CachedData.kernel25_0_r0_5 line 1334
lemma OAI.SharpPlanar.CachedData.kernel25_0_r0_5_eq line 1335
def OAI.SharpPlanar.CachedData.kernel25_0_r0_6 line 1336
lemma OAI.SharpPlanar.CachedData.kernel25_0_r0_6_eq line 1337
def OAI.SharpPlanar.CachedData.kernel25_0_r0_7 line 1338
lemma OAI.SharpPlanar.CachedData.kernel25_0_r0_7_eq line 1339
def OAI.SharpPlanar.CachedData.kernel25_0_r0_8 line 1340
lemma OAI.SharpPlanar.CachedData.kernel25_0_r0_8_eq line 1341
def OAI.SharpPlanar.CachedData.kernel25_0_r0_9 line 1342
lemma OAI.SharpPlanar.CachedData.kernel25_0_r0_9_eq line 1343
def OAI.SharpPlanar.CachedData.kernel25_0_r0_10 line 1344
lemma OAI.SharpPlanar.CachedData.kernel25_0_r0_10_eq line 1345
def OAI.SharpPlanar.CachedData.kernel25_0_r0_11 line 1346
lemma OAI.SharpPlanar.CachedData.kernel25_0_r0_11_eq line 1347
def OAI.SharpPlanar.CachedData.kernel25_0_r0_12 line 1348
lemma OAI.SharpPlanar.CachedData.kernel25_0_r0_12_eq line 1349
def OAI.SharpPlanar.CachedData.kernel25_0_r0_13 line 1350
lemma OAI.SharpPlanar.CachedData.kernel25_0_r0_13_eq line 1351
def OAI.SharpPlanar.CachedData.kernel25_0_r0_14 line 1352
lemma OAI.SharpPlanar.CachedData.kernel25_0_r0_14_eq line 1353
def OAI.SharpPlanar.CachedData.kernel25_0_r0_15 line 1354
lemma OAI.SharpPlanar.CachedData.kernel25_0_r0_15_eq line 1355
def OAI.SharpPlanar.CachedData.kernel25_0_r0 line 1356
lemma OAI.SharpPlanar.CachedData.kernel25_0_r0_eq line 1357
def OAI.SharpPlanar.CachedData.kernel25_0_r1_0 line 1375
lemma OAI.SharpPlanar.CachedData.kernel25_0_r1_0_eq line 1376
def OAI.SharpPlanar.CachedData.kernel25_0_r1_1 line 1377
lemma OAI.SharpPlanar.CachedData.kernel25_0_r1_1_eq line 1378
def OAI.SharpPlanar.CachedData.kernel25_0_r1_2 line 1379
lemma OAI.SharpPlanar.CachedData.kernel25_0_r1_2_eq line 1380
def OAI.SharpPlanar.CachedData.kernel25_0_r1_3 line 1381
lemma OAI.SharpPlanar.CachedData.kernel25_0_r1_3_eq line 1382
def OAI.SharpPlanar.CachedData.kernel25_0_r1_4 line 1383
lemma OAI.SharpPlanar.CachedData.kernel25_0_r1_4_eq line 1384
def OAI.SharpPlanar.CachedData.kernel25_0_r1_5 line 1385
lemma OAI.SharpPlanar.CachedData.kernel25_0_r1_5_eq line 1386
def OAI.SharpPlanar.CachedData.kernel25_0_r1_6 line 1387
lemma OAI.SharpPlanar.CachedData.kernel25_0_r1_6_eq line 1388
def OAI.SharpPlanar.CachedData.kernel25_0_r1_7 line 1389
lemma OAI.SharpPlanar.CachedData.kernel25_0_r1_7_eq line 1390
def OAI.SharpPlanar.CachedData.kernel25_0_r1_8 line 1391
lemma OAI.SharpPlanar.CachedData.kernel25_0_r1_8_eq line 1392
def OAI.SharpPlanar.CachedData.kernel25_0_r1_9 line 1393
lemma OAI.SharpPlanar.CachedData.kernel25_0_r1_9_eq line 1394
def OAI.SharpPlanar.CachedData.kernel25_0_r1_10 line 1395
lemma OAI.SharpPlanar.CachedData.kernel25_0_r1_10_eq line 1396
def OAI.SharpPlanar.CachedData.kernel25_0_r1_11 line 1397
lemma OAI.SharpPlanar.CachedData.kernel25_0_r1_11_eq line 1398
def OAI.SharpPlanar.CachedData.kernel25_0_r1_12 line 1399
lemma OAI.SharpPlanar.CachedData.kernel25_0_r1_12_eq line 1400
def OAI.SharpPlanar.CachedData.kernel25_0_r1_13 line 1401
lemma OAI.SharpPlanar.CachedData.kernel25_0_r1_13_eq line 1402
def OAI.SharpPlanar.CachedData.kernel25_0_r1_14 line 1403
lemma OAI.SharpPlanar.CachedData.kernel25_0_r1_14_eq line 1404
def OAI.SharpPlanar.CachedData.kernel25_0_r1_15 line 1405
lemma OAI.SharpPlanar.CachedData.kernel25_0_r1_15_eq line 1406
def OAI.SharpPlanar.CachedData.kernel25_0_r1 line 1407
lemma OAI.SharpPlanar.CachedData.kernel25_0_r1_eq line 1408
def OAI.SharpPlanar.CachedData.kernel25_0_r2_0 line 1426
lemma OAI.SharpPlanar.CachedData.kernel25_0_r2_0_eq line 1427
def OAI.SharpPlanar.CachedData.kernel25_0_r2_1 line 1428
lemma OAI.SharpPlanar.CachedData.kernel25_0_r2_1_eq line 1429
def OAI.SharpPlanar.CachedData.kernel25_0_r2_2 line 1430
lemma OAI.SharpPlanar.CachedData.kernel25_0_r2_2_eq line 1431
def OAI.SharpPlanar.CachedData.kernel25_0_r2_3 line 1432
lemma OAI.SharpPlanar.CachedData.kernel25_0_r2_3_eq line 1433
def OAI.SharpPlanar.CachedData.kernel25_0_r2_4 line 1434
lemma OAI.SharpPlanar.CachedData.kernel25_0_r2_4_eq line 1435
def OAI.SharpPlanar.CachedData.kernel25_0_r2_5 line 1436
lemma OAI.SharpPlanar.CachedData.kernel25_0_r2_5_eq line 1437
def OAI.SharpPlanar.CachedData.kernel25_0_r2_6 line 1438
lemma OAI.SharpPlanar.CachedData.kernel25_0_r2_6_eq line 1439
def OAI.SharpPlanar.CachedData.kernel25_0_r2_7 line 1440
lemma OAI.SharpPlanar.CachedData.kernel25_0_r2_7_eq line 1441
def OAI.SharpPlanar.CachedData.kernel25_0_r2_8 line 1442
lemma OAI.SharpPlanar.CachedData.kernel25_0_r2_8_eq line 1443
def OAI.SharpPlanar.CachedData.kernel25_0_r2_9 line 1444
lemma OAI.SharpPlanar.CachedData.kernel25_0_r2_9_eq line 1445
def OAI.SharpPlanar.CachedData.kernel25_0_r2_10 line 1446
lemma OAI.SharpPlanar.CachedData.kernel25_0_r2_10_eq line 1447
def OAI.SharpPlanar.CachedData.kernel25_0_r2_11 line 1448
lemma OAI.SharpPlanar.CachedData.kernel25_0_r2_11_eq line 1449
def OAI.SharpPlanar.CachedData.kernel25_0_r2_12 line 1450
lemma OAI.SharpPlanar.CachedData.kernel25_0_r2_12_eq line 1451
def OAI.SharpPlanar.CachedData.kernel25_0_r2_13 line 1452
lemma OAI.SharpPlanar.CachedData.kernel25_0_r2_13_eq line 1453
def OAI.SharpPlanar.CachedData.kernel25_0_r2_14 line 1454
lemma OAI.SharpPlanar.CachedData.kernel25_0_r2_14_eq line 1455
def OAI.SharpPlanar.CachedData.kernel25_0_r2_15 line 1456
lemma OAI.SharpPlanar.CachedData.kernel25_0_r2_15_eq line 1457
def OAI.SharpPlanar.CachedData.kernel25_0_r2 line 1458
lemma OAI.SharpPlanar.CachedData.kernel25_0_r2_eq line 1459
def OAI.SharpPlanar.CachedData.kernel25_0_r3_0 line 1477
lemma OAI.SharpPlanar.CachedData.kernel25_0_r3_0_eq line 1478
def OAI.SharpPlanar.CachedData.kernel25_0_r3_1 line 1479
lemma OAI.SharpPlanar.CachedData.kernel25_0_r3_1_eq line 1480
def OAI.SharpPlanar.CachedData.kernel25_0_r3_2 line 1481
lemma OAI.SharpPlanar.CachedData.kernel25_0_r3_2_eq line 1482
def OAI.SharpPlanar.CachedData.kernel25_0_r3_3 line 1483
lemma OAI.SharpPlanar.CachedData.kernel25_0_r3_3_eq line 1484
def OAI.SharpPlanar.CachedData.kernel25_0_r3_4 line 1485
lemma OAI.SharpPlanar.CachedData.kernel25_0_r3_4_eq line 1486
def OAI.SharpPlanar.CachedData.kernel25_0_r3_5 line 1487
lemma OAI.SharpPlanar.CachedData.kernel25_0_r3_5_eq line 1488
def OAI.SharpPlanar.CachedData.kernel25_0_r3_6 line 1489
lemma OAI.SharpPlanar.CachedData.kernel25_0_r3_6_eq line 1490
def OAI.SharpPlanar.CachedData.kernel25_0_r3_7 line 1491
lemma OAI.SharpPlanar.CachedData.kernel25_0_r3_7_eq line 1492
def OAI.SharpPlanar.CachedData.kernel25_0_r3_8 line 1493
lemma OAI.SharpPlanar.CachedData.kernel25_0_r3_8_eq line 1494
def OAI.SharpPlanar.CachedData.kernel25_0_r3_9 line 1495
lemma OAI.SharpPlanar.CachedData.kernel25_0_r3_9_eq line 1496
def OAI.SharpPlanar.CachedData.kernel25_0_r3_10 line 1497
lemma OAI.SharpPlanar.CachedData.kernel25_0_r3_10_eq line 1498
def OAI.SharpPlanar.CachedData.kernel25_0_r3_11 line 1499
lemma OAI.SharpPlanar.CachedData.kernel25_0_r3_11_eq line 1500
def OAI.SharpPlanar.CachedData.kernel25_0_r3_12 line 1501
lemma OAI.SharpPlanar.CachedData.kernel25_0_r3_12_eq line 1502
def OAI.SharpPlanar.CachedData.kernel25_0_r3_13 line 1503
lemma OAI.SharpPlanar.CachedData.kernel25_0_r3_13_eq line 1504
def OAI.SharpPlanar.CachedData.kernel25_0_r3_14 line 1505
lemma OAI.SharpPlanar.CachedData.kernel25_0_r3_14_eq line 1506
def OAI.SharpPlanar.CachedData.kernel25_0_r3_15 line 1507
lemma OAI.SharpPlanar.CachedData.kernel25_0_r3_15_eq line 1508
def OAI.SharpPlanar.CachedData.kernel25_0_r3 line 1509
lemma OAI.SharpPlanar.CachedData.kernel25_0_r3_eq line 1510
def OAI.SharpPlanar.CachedData.kernel25_0_r4_0 line 1528
lemma OAI.SharpPlanar.CachedData.kernel25_0_r4_0_eq line 1529
def OAI.SharpPlanar.CachedData.kernel25_0_r4_1 line 1530
lemma OAI.SharpPlanar.CachedData.kernel25_0_r4_1_eq line 1531
def OAI.SharpPlanar.CachedData.kernel25_0_r4_2 line 1532
lemma OAI.SharpPlanar.CachedData.kernel25_0_r4_2_eq line 1533
def OAI.SharpPlanar.CachedData.kernel25_0_r4_3 line 1534
lemma OAI.SharpPlanar.CachedData.kernel25_0_r4_3_eq line 1535
def OAI.SharpPlanar.CachedData.kernel25_0_r4_4 line 1536
lemma OAI.SharpPlanar.CachedData.kernel25_0_r4_4_eq line 1537
def OAI.SharpPlanar.CachedData.kernel25_0_r4_5 line 1538
lemma OAI.SharpPlanar.CachedData.kernel25_0_r4_5_eq line 1539
def OAI.SharpPlanar.CachedData.kernel25_0_r4_6 line 1540
lemma OAI.SharpPlanar.CachedData.kernel25_0_r4_6_eq line 1541
def OAI.SharpPlanar.CachedData.kernel25_0_r4_7 line 1542
lemma OAI.SharpPlanar.CachedData.kernel25_0_r4_7_eq line 1543
def OAI.SharpPlanar.CachedData.kernel25_0_r4_8 line 1544
lemma OAI.SharpPlanar.CachedData.kernel25_0_r4_8_eq line 1545
def OAI.SharpPlanar.CachedData.kernel25_0_r4_9 line 1546
lemma OAI.SharpPlanar.CachedData.kernel25_0_r4_9_eq line 1547
def OAI.SharpPlanar.CachedData.kernel25_0_r4_10 line 1548
lemma OAI.SharpPlanar.CachedData.kernel25_0_r4_10_eq line 1549
def OAI.SharpPlanar.CachedData.kernel25_0_r4_11 line 1550
lemma OAI.SharpPlanar.CachedData.kernel25_0_r4_11_eq line 1551
def OAI.SharpPlanar.CachedData.kernel25_0_r4_12 line 1552
lemma OAI.SharpPlanar.CachedData.kernel25_0_r4_12_eq line 1553
def OAI.SharpPlanar.CachedData.kernel25_0_r4_13 line 1554
lemma OAI.SharpPlanar.CachedData.kernel25_0_r4_13_eq line 1555
def OAI.SharpPlanar.CachedData.kernel25_0_r4_14 line 1556
lemma OAI.SharpPlanar.CachedData.kernel25_0_r4_14_eq line 1557
def OAI.SharpPlanar.CachedData.kernel25_0_r4_15 line 1558
lemma OAI.SharpPlanar.CachedData.kernel25_0_r4_15_eq line 1559
def OAI.SharpPlanar.CachedData.kernel25_0_r4 line 1560
lemma OAI.SharpPlanar.CachedData.kernel25_0_r4_eq line 1561
def OAI.SharpPlanar.CachedData.kernel25_0_r5_0 line 1579
lemma OAI.SharpPlanar.CachedData.kernel25_0_r5_0_eq line 1580
def OAI.SharpPlanar.CachedData.kernel25_0_r5_1 line 1581
lemma OAI.SharpPlanar.CachedData.kernel25_0_r5_1_eq line 1582
def OAI.SharpPlanar.CachedData.kernel25_0_r5_2 line 1583
lemma OAI.SharpPlanar.CachedData.kernel25_0_r5_2_eq line 1584
def OAI.SharpPlanar.CachedData.kernel25_0_r5_3 line 1585
lemma OAI.SharpPlanar.CachedData.kernel25_0_r5_3_eq line 1586
def OAI.SharpPlanar.CachedData.kernel25_0_r5_4 line 1587
lemma OAI.SharpPlanar.CachedData.kernel25_0_r5_4_eq line 1588
def OAI.SharpPlanar.CachedData.kernel25_0_r5_5 line 1589
lemma OAI.SharpPlanar.CachedData.kernel25_0_r5_5_eq line 1590
def OAI.SharpPlanar.CachedData.kernel25_0_r5_6 line 1591
lemma OAI.SharpPlanar.CachedData.kernel25_0_r5_6_eq line 1592
def OAI.SharpPlanar.CachedData.kernel25_0_r5_7 line 1593
lemma OAI.SharpPlanar.CachedData.kernel25_0_r5_7_eq line 1594
def OAI.SharpPlanar.CachedData.kernel25_0_r5_8 line 1595
lemma OAI.SharpPlanar.CachedData.kernel25_0_r5_8_eq line 1596
def OAI.SharpPlanar.CachedData.kernel25_0_r5_9 line 1597
lemma OAI.SharpPlanar.CachedData.kernel25_0_r5_9_eq line 1598
def OAI.SharpPlanar.CachedData.kernel25_0_r5_10 line 1599
lemma OAI.SharpPlanar.CachedData.kernel25_0_r5_10_eq line 1600
def OAI.SharpPlanar.CachedData.kernel25_0_r5_11 line 1601
lemma OAI.SharpPlanar.CachedData.kernel25_0_r5_11_eq line 1602
def OAI.SharpPlanar.CachedData.kernel25_0_r5_12 line 1603
lemma OAI.SharpPlanar.CachedData.kernel25_0_r5_12_eq line 1604
def OAI.SharpPlanar.CachedData.kernel25_0_r5_13 line 1605
lemma OAI.SharpPlanar.CachedData.kernel25_0_r5_13_eq line 1606
def OAI.SharpPlanar.CachedData.kernel25_0_r5_14 line 1607
lemma OAI.SharpPlanar.CachedData.kernel25_0_r5_14_eq line 1608
def OAI.SharpPlanar.CachedData.kernel25_0_r5_15 line 1609
lemma OAI.SharpPlanar.CachedData.kernel25_0_r5_15_eq line 1610
def OAI.SharpPlanar.CachedData.kernel25_0_r5 line 1611
lemma OAI.SharpPlanar.CachedData.kernel25_0_r5_eq line 1612
def OAI.SharpPlanar.CachedData.kernel25_0 line 1630
lemma OAI.SharpPlanar.CachedData.kernel25_0_eq line 1631
lemma OAI.SharpPlanar.CachedData.kernel25_0_contains line 1639
def OAI.SharpPlanar.CachedData.kernel25_1Expr line 1649
def OAI.SharpPlanar.CachedData.kernel25_1_r0_0 line 1650
lemma OAI.SharpPlanar.CachedData.kernel25_1_r0_0_eq line 1651
def OAI.SharpPlanar.CachedData.kernel25_1_r0_1 line 1652
lemma OAI.SharpPlanar.CachedData.kernel25_1_r0_1_eq line 1653
def OAI.SharpPlanar.CachedData.kernel25_1_r0_2 line 1654
lemma OAI.SharpPlanar.CachedData.kernel25_1_r0_2_eq line 1655
def OAI.SharpPlanar.CachedData.kernel25_1_r0_3 line 1656
lemma OAI.SharpPlanar.CachedData.kernel25_1_r0_3_eq line 1657
def OAI.SharpPlanar.CachedData.kernel25_1_r0_4 line 1658
lemma OAI.SharpPlanar.CachedData.kernel25_1_r0_4_eq line 1659
def OAI.SharpPlanar.CachedData.kernel25_1_r0_5 line 1660
lemma OAI.SharpPlanar.CachedData.kernel25_1_r0_5_eq line 1661
def OAI.SharpPlanar.CachedData.kernel25_1_r0_6 line 1662
lemma OAI.SharpPlanar.CachedData.kernel25_1_r0_6_eq line 1663
def OAI.SharpPlanar.CachedData.kernel25_1_r0_7 line 1664
lemma OAI.SharpPlanar.CachedData.kernel25_1_r0_7_eq line 1665
def OAI.SharpPlanar.CachedData.kernel25_1_r0_8 line 1666
lemma OAI.SharpPlanar.CachedData.kernel25_1_r0_8_eq line 1667
def OAI.SharpPlanar.CachedData.kernel25_1_r0_9 line 1668
lemma OAI.SharpPlanar.CachedData.kernel25_1_r0_9_eq line 1669
def OAI.SharpPlanar.CachedData.kernel25_1_r0_10 line 1670
lemma OAI.SharpPlanar.CachedData.kernel25_1_r0_10_eq line 1671
def OAI.SharpPlanar.CachedData.kernel25_1_r0_11 line 1672
lemma OAI.SharpPlanar.CachedData.kernel25_1_r0_11_eq line 1673
def OAI.SharpPlanar.CachedData.kernel25_1_r0_12 line 1674
lemma OAI.SharpPlanar.CachedData.kernel25_1_r0_12_eq line 1675
def OAI.SharpPlanar.CachedData.kernel25_1_r0_13 line 1676
lemma OAI.SharpPlanar.CachedData.kernel25_1_r0_13_eq line 1677
def OAI.SharpPlanar.CachedData.kernel25_1_r0_14 line 1678
lemma OAI.SharpPlanar.CachedData.kernel25_1_r0_14_eq line 1679
def OAI.SharpPlanar.CachedData.kernel25_1_r0_15 line 1680
lemma OAI.SharpPlanar.CachedData.kernel25_1_r0_15_eq line 1681
def OAI.SharpPlanar.CachedData.kernel25_1_r0 line 1682
lemma OAI.SharpPlanar.CachedData.kernel25_1_r0_eq line 1683
def OAI.SharpPlanar.CachedData.kernel25_1_r1_0 line 1701
lemma OAI.SharpPlanar.CachedData.kernel25_1_r1_0_eq line 1702
def OAI.SharpPlanar.CachedData.kernel25_1_r1_1 line 1703
lemma OAI.SharpPlanar.CachedData.kernel25_1_r1_1_eq line 1704
def OAI.SharpPlanar.CachedData.kernel25_1_r1_2 line 1705
lemma OAI.SharpPlanar.CachedData.kernel25_1_r1_2_eq line 1706
def OAI.SharpPlanar.CachedData.kernel25_1_r1_3 line 1707
lemma OAI.SharpPlanar.CachedData.kernel25_1_r1_3_eq line 1708
def OAI.SharpPlanar.CachedData.kernel25_1_r1_4 line 1709
lemma OAI.SharpPlanar.CachedData.kernel25_1_r1_4_eq line 1710
def OAI.SharpPlanar.CachedData.kernel25_1_r1_5 line 1711
lemma OAI.SharpPlanar.CachedData.kernel25_1_r1_5_eq line 1712
def OAI.SharpPlanar.CachedData.kernel25_1_r1_6 line 1713
lemma OAI.SharpPlanar.CachedData.kernel25_1_r1_6_eq line 1714
def OAI.SharpPlanar.CachedData.kernel25_1_r1_7 line 1715
lemma OAI.SharpPlanar.CachedData.kernel25_1_r1_7_eq line 1716
def OAI.SharpPlanar.CachedData.kernel25_1_r1_8 line 1717
lemma OAI.SharpPlanar.CachedData.kernel25_1_r1_8_eq line 1718
def OAI.SharpPlanar.CachedData.kernel25_1_r1_9 line 1719
lemma OAI.SharpPlanar.CachedData.kernel25_1_r1_9_eq line 1720
def OAI.SharpPlanar.CachedData.kernel25_1_r1_10 line 1721
lemma OAI.SharpPlanar.CachedData.kernel25_1_r1_10_eq line 1722
def OAI.SharpPlanar.CachedData.kernel25_1_r1_11 line 1723
lemma OAI.SharpPlanar.CachedData.kernel25_1_r1_11_eq line 1724
def OAI.SharpPlanar.CachedData.kernel25_1_r1_12 line 1725
lemma OAI.SharpPlanar.CachedData.kernel25_1_r1_12_eq line 1726
def OAI.SharpPlanar.CachedData.kernel25_1_r1_13 line 1727
lemma OAI.SharpPlanar.CachedData.kernel25_1_r1_13_eq line 1728
def OAI.SharpPlanar.CachedData.kernel25_1_r1_14 line 1729
lemma OAI.SharpPlanar.CachedData.kernel25_1_r1_14_eq line 1730
def OAI.SharpPlanar.CachedData.kernel25_1_r1_15 line 1731
lemma OAI.SharpPlanar.CachedData.kernel25_1_r1_15_eq line 1732
def OAI.SharpPlanar.CachedData.kernel25_1_r1 line 1733
lemma OAI.SharpPlanar.CachedData.kernel25_1_r1_eq line 1734
def OAI.SharpPlanar.CachedData.kernel25_1_r2_0 line 1752
lemma OAI.SharpPlanar.CachedData.kernel25_1_r2_0_eq line 1753
def OAI.SharpPlanar.CachedData.kernel25_1_r2_1 line 1754
lemma OAI.SharpPlanar.CachedData.kernel25_1_r2_1_eq line 1755
def OAI.SharpPlanar.CachedData.kernel25_1_r2_2 line 1756
lemma OAI.SharpPlanar.CachedData.kernel25_1_r2_2_eq line 1757
def OAI.SharpPlanar.CachedData.kernel25_1_r2_3 line 1758
lemma OAI.SharpPlanar.CachedData.kernel25_1_r2_3_eq line 1759
def OAI.SharpPlanar.CachedData.kernel25_1_r2_4 line 1760
lemma OAI.SharpPlanar.CachedData.kernel25_1_r2_4_eq line 1761
def OAI.SharpPlanar.CachedData.kernel25_1_r2_5 line 1762
lemma OAI.SharpPlanar.CachedData.kernel25_1_r2_5_eq line 1763
def OAI.SharpPlanar.CachedData.kernel25_1_r2_6 line 1764
lemma OAI.SharpPlanar.CachedData.kernel25_1_r2_6_eq line 1765
def OAI.SharpPlanar.CachedData.kernel25_1_r2_7 line 1766
lemma OAI.SharpPlanar.CachedData.kernel25_1_r2_7_eq line 1767
def OAI.SharpPlanar.CachedData.kernel25_1_r2_8 line 1768
lemma OAI.SharpPlanar.CachedData.kernel25_1_r2_8_eq line 1769
def OAI.SharpPlanar.CachedData.kernel25_1_r2_9 line 1770
lemma OAI.SharpPlanar.CachedData.kernel25_1_r2_9_eq line 1771
def OAI.SharpPlanar.CachedData.kernel25_1_r2_10 line 1772
lemma OAI.SharpPlanar.CachedData.kernel25_1_r2_10_eq line 1773
def OAI.SharpPlanar.CachedData.kernel25_1_r2_11 line 1774
lemma OAI.SharpPlanar.CachedData.kernel25_1_r2_11_eq line 1775
def OAI.SharpPlanar.CachedData.kernel25_1_r2_12 line 1776
lemma OAI.SharpPlanar.CachedData.kernel25_1_r2_12_eq line 1777
def OAI.SharpPlanar.CachedData.kernel25_1_r2_13 line 1778
lemma OAI.SharpPlanar.CachedData.kernel25_1_r2_13_eq line 1779
def OAI.SharpPlanar.CachedData.kernel25_1_r2_14 line 1780
lemma OAI.SharpPlanar.CachedData.kernel25_1_r2_14_eq line 1781
def OAI.SharpPlanar.CachedData.kernel25_1_r2_15 line 1782
lemma OAI.SharpPlanar.CachedData.kernel25_1_r2_15_eq line 1783
def OAI.SharpPlanar.CachedData.kernel25_1_r2 line 1784
lemma OAI.SharpPlanar.CachedData.kernel25_1_r2_eq line 1785
def OAI.SharpPlanar.CachedData.kernel25_1_r3_0 line 1803
lemma OAI.SharpPlanar.CachedData.kernel25_1_r3_0_eq line 1804
def OAI.SharpPlanar.CachedData.kernel25_1_r3_1 line 1805
lemma OAI.SharpPlanar.CachedData.kernel25_1_r3_1_eq line 1806
def OAI.SharpPlanar.CachedData.kernel25_1_r3_2 line 1807
lemma OAI.SharpPlanar.CachedData.kernel25_1_r3_2_eq line 1808
def OAI.SharpPlanar.CachedData.kernel25_1_r3_3 line 1809
lemma OAI.SharpPlanar.CachedData.kernel25_1_r3_3_eq line 1810
def OAI.SharpPlanar.CachedData.kernel25_1_r3_4 line 1811
lemma OAI.SharpPlanar.CachedData.kernel25_1_r3_4_eq line 1812
def OAI.SharpPlanar.CachedData.kernel25_1_r3_5 line 1813
lemma OAI.SharpPlanar.CachedData.kernel25_1_r3_5_eq line 1814
def OAI.SharpPlanar.CachedData.kernel25_1_r3_6 line 1815
lemma OAI.SharpPlanar.CachedData.kernel25_1_r3_6_eq line 1816
def OAI.SharpPlanar.CachedData.kernel25_1_r3_7 line 1817
lemma OAI.SharpPlanar.CachedData.kernel25_1_r3_7_eq line 1818
def OAI.SharpPlanar.CachedData.kernel25_1_r3_8 line 1819
lemma OAI.SharpPlanar.CachedData.kernel25_1_r3_8_eq line 1820
def OAI.SharpPlanar.CachedData.kernel25_1_r3_9 line 1821
lemma OAI.SharpPlanar.CachedData.kernel25_1_r3_9_eq line 1822
def OAI.SharpPlanar.CachedData.kernel25_1_r3_10 line 1823
lemma OAI.SharpPlanar.CachedData.kernel25_1_r3_10_eq line 1824
def OAI.SharpPlanar.CachedData.kernel25_1_r3_11 line 1825
lemma OAI.SharpPlanar.CachedData.kernel25_1_r3_11_eq line 1826
def OAI.SharpPlanar.CachedData.kernel25_1_r3_12 line 1827
lemma OAI.SharpPlanar.CachedData.kernel25_1_r3_12_eq line 1828
def OAI.SharpPlanar.CachedData.kernel25_1_r3_13 line 1829
lemma OAI.SharpPlanar.CachedData.kernel25_1_r3_13_eq line 1830
def OAI.SharpPlanar.CachedData.kernel25_1_r3_14 line 1831
lemma OAI.SharpPlanar.CachedData.kernel25_1_r3_14_eq line 1832
def OAI.SharpPlanar.CachedData.kernel25_1_r3_15 line 1833
lemma OAI.SharpPlanar.CachedData.kernel25_1_r3_15_eq line 1834
def OAI.SharpPlanar.CachedData.kernel25_1_r3 line 1835
lemma OAI.SharpPlanar.CachedData.kernel25_1_r3_eq line 1836
def OAI.SharpPlanar.CachedData.kernel25_1_r4_0 line 1854
lemma OAI.SharpPlanar.CachedData.kernel25_1_r4_0_eq line 1855
def OAI.SharpPlanar.CachedData.kernel25_1_r4_1 line 1856
lemma OAI.SharpPlanar.CachedData.kernel25_1_r4_1_eq line 1857
def OAI.SharpPlanar.CachedData.kernel25_1_r4_2 line 1858
lemma OAI.SharpPlanar.CachedData.kernel25_1_r4_2_eq line 1859
def OAI.SharpPlanar.CachedData.kernel25_1_r4_3 line 1860
lemma OAI.SharpPlanar.CachedData.kernel25_1_r4_3_eq line 1861
def OAI.SharpPlanar.CachedData.kernel25_1_r4_4 line 1862
lemma OAI.SharpPlanar.CachedData.kernel25_1_r4_4_eq line 1863
def OAI.SharpPlanar.CachedData.kernel25_1_r4_5 line 1864
lemma OAI.SharpPlanar.CachedData.kernel25_1_r4_5_eq line 1865
def OAI.SharpPlanar.CachedData.kernel25_1_r4_6 line 1866
lemma OAI.SharpPlanar.CachedData.kernel25_1_r4_6_eq line 1867
def OAI.SharpPlanar.CachedData.kernel25_1_r4_7 line 1868
lemma OAI.SharpPlanar.CachedData.kernel25_1_r4_7_eq line 1869
def OAI.SharpPlanar.CachedData.kernel25_1_r4_8 line 1870
lemma OAI.SharpPlanar.CachedData.kernel25_1_r4_8_eq line 1871
def OAI.SharpPlanar.CachedData.kernel25_1_r4_9 line 1872
lemma OAI.SharpPlanar.CachedData.kernel25_1_r4_9_eq line 1873
def OAI.SharpPlanar.CachedData.kernel25_1_r4_10 line 1874
lemma OAI.SharpPlanar.CachedData.kernel25_1_r4_10_eq line 1875
def OAI.SharpPlanar.CachedData.kernel25_1_r4_11 line 1876
lemma OAI.SharpPlanar.CachedData.kernel25_1_r4_11_eq line 1877
def OAI.SharpPlanar.CachedData.kernel25_1_r4_12 line 1878
lemma OAI.SharpPlanar.CachedData.kernel25_1_r4_12_eq line 1879
def OAI.SharpPlanar.CachedData.kernel25_1_r4_13 line 1880
lemma OAI.SharpPlanar.CachedData.kernel25_1_r4_13_eq line 1881
def OAI.SharpPlanar.CachedData.kernel25_1_r4_14 line 1882
lemma OAI.SharpPlanar.CachedData.kernel25_1_r4_14_eq line 1883
def OAI.SharpPlanar.CachedData.kernel25_1_r4_15 line 1884
lemma OAI.SharpPlanar.CachedData.kernel25_1_r4_15_eq line 1885
def OAI.SharpPlanar.CachedData.kernel25_1_r4 line 1886
lemma OAI.SharpPlanar.CachedData.kernel25_1_r4_eq line 1887
def OAI.SharpPlanar.CachedData.kernel25_1_r5_0 line 1905
lemma OAI.SharpPlanar.CachedData.kernel25_1_r5_0_eq line 1906
def OAI.SharpPlanar.CachedData.kernel25_1_r5_1 line 1907
lemma OAI.SharpPlanar.CachedData.kernel25_1_r5_1_eq line 1908
def OAI.SharpPlanar.CachedData.kernel25_1_r5_2 line 1909
lemma OAI.SharpPlanar.CachedData.kernel25_1_r5_2_eq line 1910
def OAI.SharpPlanar.CachedData.kernel25_1_r5_3 line 1911
lemma OAI.SharpPlanar.CachedData.kernel25_1_r5_3_eq line 1912
def OAI.SharpPlanar.CachedData.kernel25_1_r5_4 line 1913
lemma OAI.SharpPlanar.CachedData.kernel25_1_r5_4_eq line 1914
def OAI.SharpPlanar.CachedData.kernel25_1_r5_5 line 1915
lemma OAI.SharpPlanar.CachedData.kernel25_1_r5_5_eq line 1916
def OAI.SharpPlanar.CachedData.kernel25_1_r5_6 line 1917
lemma OAI.SharpPlanar.CachedData.kernel25_1_r5_6_eq line 1918
def OAI.SharpPlanar.CachedData.kernel25_1_r5_7 line 1919
lemma OAI.SharpPlanar.CachedData.kernel25_1_r5_7_eq line 1920
def OAI.SharpPlanar.CachedData.kernel25_1_r5_8 line 1921
lemma OAI.SharpPlanar.CachedData.kernel25_1_r5_8_eq line 1922
def OAI.SharpPlanar.CachedData.kernel25_1_r5_9 line 1923
lemma OAI.SharpPlanar.CachedData.kernel25_1_r5_9_eq line 1924
def OAI.SharpPlanar.CachedData.kernel25_1_r5_10 line 1925
lemma OAI.SharpPlanar.CachedData.kernel25_1_r5_10_eq line 1926
def OAI.SharpPlanar.CachedData.kernel25_1_r5_11 line 1927
lemma OAI.SharpPlanar.CachedData.kernel25_1_r5_11_eq line 1928
def OAI.SharpPlanar.CachedData.kernel25_1_r5_12 line 1929
lemma OAI.SharpPlanar.CachedData.kernel25_1_r5_12_eq line 1930
def OAI.SharpPlanar.CachedData.kernel25_1_r5_13 line 1931
lemma OAI.SharpPlanar.CachedData.kernel25_1_r5_13_eq line 1932
def OAI.SharpPlanar.CachedData.kernel25_1_r5_14 line 1933
lemma OAI.SharpPlanar.CachedData.kernel25_1_r5_14_eq line 1934
def OAI.SharpPlanar.CachedData.kernel25_1_r5_15 line 1935
lemma OAI.SharpPlanar.CachedData.kernel25_1_r5_15_eq line 1936
def OAI.SharpPlanar.CachedData.kernel25_1_r5 line 1937
lemma OAI.SharpPlanar.CachedData.kernel25_1_r5_eq line 1938
def OAI.SharpPlanar.CachedData.kernel25_1 line 1956
lemma OAI.SharpPlanar.CachedData.kernel25_1_eq line 1957
lemma OAI.SharpPlanar.CachedData.kernel25_1_contains line 1965
def OAI.SharpPlanar.CachedData.kernel27_0Expr line 1977
def OAI.SharpPlanar.CachedData.kernel27_0_r0_0 line 1978
lemma OAI.SharpPlanar.CachedData.kernel27_0_r0_0_eq line 1979
def OAI.SharpPlanar.CachedData.kernel27_0_r0_1 line 1980
lemma OAI.SharpPlanar.CachedData.kernel27_0_r0_1_eq line 1981
def OAI.SharpPlanar.CachedData.kernel27_0_r0_2 line 1982
lemma OAI.SharpPlanar.CachedData.kernel27_0_r0_2_eq line 1983
def OAI.SharpPlanar.CachedData.kernel27_0_r0_3 line 1984
lemma OAI.SharpPlanar.CachedData.kernel27_0_r0_3_eq line 1985
def OAI.SharpPlanar.CachedData.kernel27_0_r0_4 line 1986
lemma OAI.SharpPlanar.CachedData.kernel27_0_r0_4_eq line 1987
def OAI.SharpPlanar.CachedData.kernel27_0_r0_5 line 1988
lemma OAI.SharpPlanar.CachedData.kernel27_0_r0_5_eq line 1989
def OAI.SharpPlanar.CachedData.kernel27_0_r0_6 line 1990
lemma OAI.SharpPlanar.CachedData.kernel27_0_r0_6_eq line 1991
def OAI.SharpPlanar.CachedData.kernel27_0_r0_7 line 1992
lemma OAI.SharpPlanar.CachedData.kernel27_0_r0_7_eq line 1993
def OAI.SharpPlanar.CachedData.kernel27_0_r0_8 line 1994
lemma OAI.SharpPlanar.CachedData.kernel27_0_r0_8_eq line 1995
def OAI.SharpPlanar.CachedData.kernel27_0_r0_9 line 1996
lemma OAI.SharpPlanar.CachedData.kernel27_0_r0_9_eq line 1997
def OAI.SharpPlanar.CachedData.kernel27_0_r0_10 line 1998
lemma OAI.SharpPlanar.CachedData.kernel27_0_r0_10_eq line 1999
def OAI.SharpPlanar.CachedData.kernel27_0_r0_11 line 2000
lemma OAI.SharpPlanar.CachedData.kernel27_0_r0_11_eq line 2001
def OAI.SharpPlanar.CachedData.kernel27_0_r0_12 line 2002
lemma OAI.SharpPlanar.CachedData.kernel27_0_r0_12_eq line 2003
def OAI.SharpPlanar.CachedData.kernel27_0_r0_13 line 2004
lemma OAI.SharpPlanar.CachedData.kernel27_0_r0_13_eq line 2005
def OAI.SharpPlanar.CachedData.kernel27_0_r0_14 line 2006
lemma OAI.SharpPlanar.CachedData.kernel27_0_r0_14_eq line 2007
def OAI.SharpPlanar.CachedData.kernel27_0_r0_15 line 2008
lemma OAI.SharpPlanar.CachedData.kernel27_0_r0_15_eq line 2009
def OAI.SharpPlanar.CachedData.kernel27_0_r0 line 2010
lemma OAI.SharpPlanar.CachedData.kernel27_0_r0_eq line 2011
def OAI.SharpPlanar.CachedData.kernel27_0_r1_0 line 2029
lemma OAI.SharpPlanar.CachedData.kernel27_0_r1_0_eq line 2030
def OAI.SharpPlanar.CachedData.kernel27_0_r1_1 line 2031
lemma OAI.SharpPlanar.CachedData.kernel27_0_r1_1_eq line 2032
def OAI.SharpPlanar.CachedData.kernel27_0_r1_2 line 2033
lemma OAI.SharpPlanar.CachedData.kernel27_0_r1_2_eq line 2034
def OAI.SharpPlanar.CachedData.kernel27_0_r1_3 line 2035
lemma OAI.SharpPlanar.CachedData.kernel27_0_r1_3_eq line 2036
def OAI.SharpPlanar.CachedData.kernel27_0_r1_4 line 2037
lemma OAI.SharpPlanar.CachedData.kernel27_0_r1_4_eq line 2038
def OAI.SharpPlanar.CachedData.kernel27_0_r1_5 line 2039
lemma OAI.SharpPlanar.CachedData.kernel27_0_r1_5_eq line 2040
def OAI.SharpPlanar.CachedData.kernel27_0_r1_6 line 2041
lemma OAI.SharpPlanar.CachedData.kernel27_0_r1_6_eq line 2042
def OAI.SharpPlanar.CachedData.kernel27_0_r1_7 line 2043
lemma OAI.SharpPlanar.CachedData.kernel27_0_r1_7_eq line 2044
def OAI.SharpPlanar.CachedData.kernel27_0_r1_8 line 2045
lemma OAI.SharpPlanar.CachedData.kernel27_0_r1_8_eq line 2046
def OAI.SharpPlanar.CachedData.kernel27_0_r1_9 line 2047
lemma OAI.SharpPlanar.CachedData.kernel27_0_r1_9_eq line 2048
def OAI.SharpPlanar.CachedData.kernel27_0_r1_10 line 2049
lemma OAI.SharpPlanar.CachedData.kernel27_0_r1_10_eq line 2050
def OAI.SharpPlanar.CachedData.kernel27_0_r1_11 line 2051
lemma OAI.SharpPlanar.CachedData.kernel27_0_r1_11_eq line 2052
def OAI.SharpPlanar.CachedData.kernel27_0_r1_12 line 2053
lemma OAI.SharpPlanar.CachedData.kernel27_0_r1_12_eq line 2054
def OAI.SharpPlanar.CachedData.kernel27_0_r1_13 line 2055
lemma OAI.SharpPlanar.CachedData.kernel27_0_r1_13_eq line 2056
def OAI.SharpPlanar.CachedData.kernel27_0_r1_14 line 2057
lemma OAI.SharpPlanar.CachedData.kernel27_0_r1_14_eq line 2058
def OAI.SharpPlanar.CachedData.kernel27_0_r1_15 line 2059
lemma OAI.SharpPlanar.CachedData.kernel27_0_r1_15_eq line 2060
def OAI.SharpPlanar.CachedData.kernel27_0_r1 line 2061
lemma OAI.SharpPlanar.CachedData.kernel27_0_r1_eq line 2062
def OAI.SharpPlanar.CachedData.kernel27_0_r2_0 line 2080
lemma OAI.SharpPlanar.CachedData.kernel27_0_r2_0_eq line 2081
def OAI.SharpPlanar.CachedData.kernel27_0_r2_1 line 2082
lemma OAI.SharpPlanar.CachedData.kernel27_0_r2_1_eq line 2083
def OAI.SharpPlanar.CachedData.kernel27_0_r2_2 line 2084
lemma OAI.SharpPlanar.CachedData.kernel27_0_r2_2_eq line 2085
def OAI.SharpPlanar.CachedData.kernel27_0_r2_3 line 2086
lemma OAI.SharpPlanar.CachedData.kernel27_0_r2_3_eq line 2087
def OAI.SharpPlanar.CachedData.kernel27_0_r2_4 line 2088
lemma OAI.SharpPlanar.CachedData.kernel27_0_r2_4_eq line 2089
def OAI.SharpPlanar.CachedData.kernel27_0_r2_5 line 2090
lemma OAI.SharpPlanar.CachedData.kernel27_0_r2_5_eq line 2091
def OAI.SharpPlanar.CachedData.kernel27_0_r2_6 line 2092
lemma OAI.SharpPlanar.CachedData.kernel27_0_r2_6_eq line 2093
def OAI.SharpPlanar.CachedData.kernel27_0_r2_7 line 2094
lemma OAI.SharpPlanar.CachedData.kernel27_0_r2_7_eq line 2095
def OAI.SharpPlanar.CachedData.kernel27_0_r2_8 line 2096
lemma OAI.SharpPlanar.CachedData.kernel27_0_r2_8_eq line 2097
def OAI.SharpPlanar.CachedData.kernel27_0_r2_9 line 2098
lemma OAI.SharpPlanar.CachedData.kernel27_0_r2_9_eq line 2099
def OAI.SharpPlanar.CachedData.kernel27_0_r2_10 line 2100
lemma OAI.SharpPlanar.CachedData.kernel27_0_r2_10_eq line 2101
def OAI.SharpPlanar.CachedData.kernel27_0_r2_11 line 2102
lemma OAI.SharpPlanar.CachedData.kernel27_0_r2_11_eq line 2103
def OAI.SharpPlanar.CachedData.kernel27_0_r2_12 line 2104
lemma OAI.SharpPlanar.CachedData.kernel27_0_r2_12_eq line 2105
def OAI.SharpPlanar.CachedData.kernel27_0_r2_13 line 2106
lemma OAI.SharpPlanar.CachedData.kernel27_0_r2_13_eq line 2107
def OAI.SharpPlanar.CachedData.kernel27_0_r2_14 line 2108
lemma OAI.SharpPlanar.CachedData.kernel27_0_r2_14_eq line 2109
def OAI.SharpPlanar.CachedData.kernel27_0_r2_15 line 2110
lemma OAI.SharpPlanar.CachedData.kernel27_0_r2_15_eq line 2111
def OAI.SharpPlanar.CachedData.kernel27_0_r2 line 2112
lemma OAI.SharpPlanar.CachedData.kernel27_0_r2_eq line 2113
def OAI.SharpPlanar.CachedData.kernel27_0_r3_0 line 2131
lemma OAI.SharpPlanar.CachedData.kernel27_0_r3_0_eq line 2132
def OAI.SharpPlanar.CachedData.kernel27_0_r3_1 line 2133
lemma OAI.SharpPlanar.CachedData.kernel27_0_r3_1_eq line 2134
def OAI.SharpPlanar.CachedData.kernel27_0_r3_2 line 2135
lemma OAI.SharpPlanar.CachedData.kernel27_0_r3_2_eq line 2136
def OAI.SharpPlanar.CachedData.kernel27_0_r3_3 line 2137
lemma OAI.SharpPlanar.CachedData.kernel27_0_r3_3_eq line 2138
def OAI.SharpPlanar.CachedData.kernel27_0_r3_4 line 2139
lemma OAI.SharpPlanar.CachedData.kernel27_0_r3_4_eq line 2140
def OAI.SharpPlanar.CachedData.kernel27_0_r3_5 line 2141
lemma OAI.SharpPlanar.CachedData.kernel27_0_r3_5_eq line 2142
def OAI.SharpPlanar.CachedData.kernel27_0_r3_6 line 2143
lemma OAI.SharpPlanar.CachedData.kernel27_0_r3_6_eq line 2144
def OAI.SharpPlanar.CachedData.kernel27_0_r3_7 line 2145
lemma OAI.SharpPlanar.CachedData.kernel27_0_r3_7_eq line 2146
def OAI.SharpPlanar.CachedData.kernel27_0_r3_8 line 2147
lemma OAI.SharpPlanar.CachedData.kernel27_0_r3_8_eq line 2148
def OAI.SharpPlanar.CachedData.kernel27_0_r3_9 line 2149
lemma OAI.SharpPlanar.CachedData.kernel27_0_r3_9_eq line 2150
def OAI.SharpPlanar.CachedData.kernel27_0_r3_10 line 2151
lemma OAI.SharpPlanar.CachedData.kernel27_0_r3_10_eq line 2152
def OAI.SharpPlanar.CachedData.kernel27_0_r3_11 line 2153
lemma OAI.SharpPlanar.CachedData.kernel27_0_r3_11_eq line 2154
def OAI.SharpPlanar.CachedData.kernel27_0_r3_12 line 2155
lemma OAI.SharpPlanar.CachedData.kernel27_0_r3_12_eq line 2156
def OAI.SharpPlanar.CachedData.kernel27_0_r3_13 line 2157
lemma OAI.SharpPlanar.CachedData.kernel27_0_r3_13_eq line 2158
def OAI.SharpPlanar.CachedData.kernel27_0_r3_14 line 2159
lemma OAI.SharpPlanar.CachedData.kernel27_0_r3_14_eq line 2160
def OAI.SharpPlanar.CachedData.kernel27_0_r3_15 line 2161
lemma OAI.SharpPlanar.CachedData.kernel27_0_r3_15_eq line 2162
def OAI.SharpPlanar.CachedData.kernel27_0_r3 line 2163
lemma OAI.SharpPlanar.CachedData.kernel27_0_r3_eq line 2164
def OAI.SharpPlanar.CachedData.kernel27_0_r4_0 line 2182
lemma OAI.SharpPlanar.CachedData.kernel27_0_r4_0_eq line 2183
def OAI.SharpPlanar.CachedData.kernel27_0_r4_1 line 2184
lemma OAI.SharpPlanar.CachedData.kernel27_0_r4_1_eq line 2185
def OAI.SharpPlanar.CachedData.kernel27_0_r4_2 line 2186
lemma OAI.SharpPlanar.CachedData.kernel27_0_r4_2_eq line 2187
def OAI.SharpPlanar.CachedData.kernel27_0_r4_3 line 2188
lemma OAI.SharpPlanar.CachedData.kernel27_0_r4_3_eq line 2189
def OAI.SharpPlanar.CachedData.kernel27_0_r4_4 line 2190
lemma OAI.SharpPlanar.CachedData.kernel27_0_r4_4_eq line 2191
def OAI.SharpPlanar.CachedData.kernel27_0_r4_5 line 2192
lemma OAI.SharpPlanar.CachedData.kernel27_0_r4_5_eq line 2193
def OAI.SharpPlanar.CachedData.kernel27_0_r4_6 line 2194
lemma OAI.SharpPlanar.CachedData.kernel27_0_r4_6_eq line 2195
def OAI.SharpPlanar.CachedData.kernel27_0_r4_7 line 2196
lemma OAI.SharpPlanar.CachedData.kernel27_0_r4_7_eq line 2197
def OAI.SharpPlanar.CachedData.kernel27_0_r4_8 line 2198
lemma OAI.SharpPlanar.CachedData.kernel27_0_r4_8_eq line 2199
def OAI.SharpPlanar.CachedData.kernel27_0_r4_9 line 2200
lemma OAI.SharpPlanar.CachedData.kernel27_0_r4_9_eq line 2201
def OAI.SharpPlanar.CachedData.kernel27_0_r4_10 line 2202
lemma OAI.SharpPlanar.CachedData.kernel27_0_r4_10_eq line 2203
def OAI.SharpPlanar.CachedData.kernel27_0_r4_11 line 2204
lemma OAI.SharpPlanar.CachedData.kernel27_0_r4_11_eq line 2205
def OAI.SharpPlanar.CachedData.kernel27_0_r4_12 line 2206
lemma OAI.SharpPlanar.CachedData.kernel27_0_r4_12_eq line 2207
def OAI.SharpPlanar.CachedData.kernel27_0_r4_13 line 2208
lemma OAI.SharpPlanar.CachedData.kernel27_0_r4_13_eq line 2209
def OAI.SharpPlanar.CachedData.kernel27_0_r4_14 line 2210
lemma OAI.SharpPlanar.CachedData.kernel27_0_r4_14_eq line 2211
def OAI.SharpPlanar.CachedData.kernel27_0_r4_15 line 2212
lemma OAI.SharpPlanar.CachedData.kernel27_0_r4_15_eq line 2213
def OAI.SharpPlanar.CachedData.kernel27_0_r4 line 2214
lemma OAI.SharpPlanar.CachedData.kernel27_0_r4_eq line 2215
def OAI.SharpPlanar.CachedData.kernel27_0_r5_0 line 2233
lemma OAI.SharpPlanar.CachedData.kernel27_0_r5_0_eq line 2234
def OAI.SharpPlanar.CachedData.kernel27_0_r5_1 line 2235
lemma OAI.SharpPlanar.CachedData.kernel27_0_r5_1_eq line 2236
def OAI.SharpPlanar.CachedData.kernel27_0_r5_2 line 2237
lemma OAI.SharpPlanar.CachedData.kernel27_0_r5_2_eq line 2238
def OAI.SharpPlanar.CachedData.kernel27_0_r5_3 line 2239
lemma OAI.SharpPlanar.CachedData.kernel27_0_r5_3_eq line 2240
def OAI.SharpPlanar.CachedData.kernel27_0_r5_4 line 2241
lemma OAI.SharpPlanar.CachedData.kernel27_0_r5_4_eq line 2242
def OAI.SharpPlanar.CachedData.kernel27_0_r5_5 line 2243
lemma OAI.SharpPlanar.CachedData.kernel27_0_r5_5_eq line 2244
def OAI.SharpPlanar.CachedData.kernel27_0_r5_6 line 2245
lemma OAI.SharpPlanar.CachedData.kernel27_0_r5_6_eq line 2246
def OAI.SharpPlanar.CachedData.kernel27_0_r5_7 line 2247
lemma OAI.SharpPlanar.CachedData.kernel27_0_r5_7_eq line 2248
def OAI.SharpPlanar.CachedData.kernel27_0_r5_8 line 2249
lemma OAI.SharpPlanar.CachedData.kernel27_0_r5_8_eq line 2250
def OAI.SharpPlanar.CachedData.kernel27_0_r5_9 line 2251
lemma OAI.SharpPlanar.CachedData.kernel27_0_r5_9_eq line 2252
def OAI.SharpPlanar.CachedData.kernel27_0_r5_10 line 2253
lemma OAI.SharpPlanar.CachedData.kernel27_0_r5_10_eq line 2254
def OAI.SharpPlanar.CachedData.kernel27_0_r5_11 line 2255
lemma OAI.SharpPlanar.CachedData.kernel27_0_r5_11_eq line 2256
def OAI.SharpPlanar.CachedData.kernel27_0_r5_12 line 2257
lemma OAI.SharpPlanar.CachedData.kernel27_0_r5_12_eq line 2258
def OAI.SharpPlanar.CachedData.kernel27_0_r5_13 line 2259
lemma OAI.SharpPlanar.CachedData.kernel27_0_r5_13_eq line 2260
def OAI.SharpPlanar.CachedData.kernel27_0_r5_14 line 2261
lemma OAI.SharpPlanar.CachedData.kernel27_0_r5_14_eq line 2262
def OAI.SharpPlanar.CachedData.kernel27_0_r5_15 line 2263
lemma OAI.SharpPlanar.CachedData.kernel27_0_r5_15_eq line 2264
def OAI.SharpPlanar.CachedData.kernel27_0_r5 line 2265
lemma OAI.SharpPlanar.CachedData.kernel27_0_r5_eq line 2266
def OAI.SharpPlanar.CachedData.kernel27_0 line 2284
lemma OAI.SharpPlanar.CachedData.kernel27_0_eq line 2285
lemma OAI.SharpPlanar.CachedData.kernel27_0_contains line 2293
def OAI.SharpPlanar.CachedData.kernel27_1Expr line 2303
def OAI.SharpPlanar.CachedData.kernel27_1_r0_0 line 2304
lemma OAI.SharpPlanar.CachedData.kernel27_1_r0_0_eq line 2305
def OAI.SharpPlanar.CachedData.kernel27_1_r0_1 line 2306
lemma OAI.SharpPlanar.CachedData.kernel27_1_r0_1_eq line 2307
def OAI.SharpPlanar.CachedData.kernel27_1_r0_2 line 2308
lemma OAI.SharpPlanar.CachedData.kernel27_1_r0_2_eq line 2309
def OAI.SharpPlanar.CachedData.kernel27_1_r0_3 line 2310
lemma OAI.SharpPlanar.CachedData.kernel27_1_r0_3_eq line 2311
def OAI.SharpPlanar.CachedData.kernel27_1_r0_4 line 2312
lemma OAI.SharpPlanar.CachedData.kernel27_1_r0_4_eq line 2313
def OAI.SharpPlanar.CachedData.kernel27_1_r0_5 line 2314
lemma OAI.SharpPlanar.CachedData.kernel27_1_r0_5_eq line 2315
def OAI.SharpPlanar.CachedData.kernel27_1_r0_6 line 2316
lemma OAI.SharpPlanar.CachedData.kernel27_1_r0_6_eq line 2317
def OAI.SharpPlanar.CachedData.kernel27_1_r0_7 line 2318
lemma OAI.SharpPlanar.CachedData.kernel27_1_r0_7_eq line 2319
def OAI.SharpPlanar.CachedData.kernel27_1_r0_8 line 2320
lemma OAI.SharpPlanar.CachedData.kernel27_1_r0_8_eq line 2321
def OAI.SharpPlanar.CachedData.kernel27_1_r0_9 line 2322
lemma OAI.SharpPlanar.CachedData.kernel27_1_r0_9_eq line 2323
def OAI.SharpPlanar.CachedData.kernel27_1_r0_10 line 2324
lemma OAI.SharpPlanar.CachedData.kernel27_1_r0_10_eq line 2325
def OAI.SharpPlanar.CachedData.kernel27_1_r0_11 line 2326
lemma OAI.SharpPlanar.CachedData.kernel27_1_r0_11_eq line 2327
def OAI.SharpPlanar.CachedData.kernel27_1_r0_12 line 2328
lemma OAI.SharpPlanar.CachedData.kernel27_1_r0_12_eq line 2329
def OAI.SharpPlanar.CachedData.kernel27_1_r0_13 line 2330
lemma OAI.SharpPlanar.CachedData.kernel27_1_r0_13_eq line 2331
def OAI.SharpPlanar.CachedData.kernel27_1_r0_14 line 2332
lemma OAI.SharpPlanar.CachedData.kernel27_1_r0_14_eq line 2333
def OAI.SharpPlanar.CachedData.kernel27_1_r0_15 line 2334
lemma OAI.SharpPlanar.CachedData.kernel27_1_r0_15_eq line 2335
def OAI.SharpPlanar.CachedData.kernel27_1_r0 line 2336
lemma OAI.SharpPlanar.CachedData.kernel27_1_r0_eq line 2337
def OAI.SharpPlanar.CachedData.kernel27_1_r1_0 line 2355
lemma OAI.SharpPlanar.CachedData.kernel27_1_r1_0_eq line 2356
def OAI.SharpPlanar.CachedData.kernel27_1_r1_1 line 2357
lemma OAI.SharpPlanar.CachedData.kernel27_1_r1_1_eq line 2358
def OAI.SharpPlanar.CachedData.kernel27_1_r1_2 line 2359
lemma OAI.SharpPlanar.CachedData.kernel27_1_r1_2_eq line 2360
def OAI.SharpPlanar.CachedData.kernel27_1_r1_3 line 2361
lemma OAI.SharpPlanar.CachedData.kernel27_1_r1_3_eq line 2362
def OAI.SharpPlanar.CachedData.kernel27_1_r1_4 line 2363
lemma OAI.SharpPlanar.CachedData.kernel27_1_r1_4_eq line 2364
def OAI.SharpPlanar.CachedData.kernel27_1_r1_5 line 2365
lemma OAI.SharpPlanar.CachedData.kernel27_1_r1_5_eq line 2366
def OAI.SharpPlanar.CachedData.kernel27_1_r1_6 line 2367
lemma OAI.SharpPlanar.CachedData.kernel27_1_r1_6_eq line 2368
def OAI.SharpPlanar.CachedData.kernel27_1_r1_7 line 2369
lemma OAI.SharpPlanar.CachedData.kernel27_1_r1_7_eq line 2370
def OAI.SharpPlanar.CachedData.kernel27_1_r1_8 line 2371
lemma OAI.SharpPlanar.CachedData.kernel27_1_r1_8_eq line 2372
def OAI.SharpPlanar.CachedData.kernel27_1_r1_9 line 2373
lemma OAI.SharpPlanar.CachedData.kernel27_1_r1_9_eq line 2374
def OAI.SharpPlanar.CachedData.kernel27_1_r1_10 line 2375
lemma OAI.SharpPlanar.CachedData.kernel27_1_r1_10_eq line 2376
def OAI.SharpPlanar.CachedData.kernel27_1_r1_11 line 2377
lemma OAI.SharpPlanar.CachedData.kernel27_1_r1_11_eq line 2378
def OAI.SharpPlanar.CachedData.kernel27_1_r1_12 line 2379
lemma OAI.SharpPlanar.CachedData.kernel27_1_r1_12_eq line 2380
def OAI.SharpPlanar.CachedData.kernel27_1_r1_13 line 2381
lemma OAI.SharpPlanar.CachedData.kernel27_1_r1_13_eq line 2382
def OAI.SharpPlanar.CachedData.kernel27_1_r1_14 line 2383
lemma OAI.SharpPlanar.CachedData.kernel27_1_r1_14_eq line 2384
def OAI.SharpPlanar.CachedData.kernel27_1_r1_15 line 2385
lemma OAI.SharpPlanar.CachedData.kernel27_1_r1_15_eq line 2386
def OAI.SharpPlanar.CachedData.kernel27_1_r1 line 2387
lemma OAI.SharpPlanar.CachedData.kernel27_1_r1_eq line 2388
def OAI.SharpPlanar.CachedData.kernel27_1_r2_0 line 2406
lemma OAI.SharpPlanar.CachedData.kernel27_1_r2_0_eq line 2407
def OAI.SharpPlanar.CachedData.kernel27_1_r2_1 line 2408
lemma OAI.SharpPlanar.CachedData.kernel27_1_r2_1_eq line 2409
def OAI.SharpPlanar.CachedData.kernel27_1_r2_2 line 2410
lemma OAI.SharpPlanar.CachedData.kernel27_1_r2_2_eq line 2411
def OAI.SharpPlanar.CachedData.kernel27_1_r2_3 line 2412
lemma OAI.SharpPlanar.CachedData.kernel27_1_r2_3_eq line 2413
def OAI.SharpPlanar.CachedData.kernel27_1_r2_4 line 2414
lemma OAI.SharpPlanar.CachedData.kernel27_1_r2_4_eq line 2415
def OAI.SharpPlanar.CachedData.kernel27_1_r2_5 line 2416
lemma OAI.SharpPlanar.CachedData.kernel27_1_r2_5_eq line 2417
def OAI.SharpPlanar.CachedData.kernel27_1_r2_6 line 2418
lemma OAI.SharpPlanar.CachedData.kernel27_1_r2_6_eq line 2419
def OAI.SharpPlanar.CachedData.kernel27_1_r2_7 line 2420
lemma OAI.SharpPlanar.CachedData.kernel27_1_r2_7_eq line 2421
def OAI.SharpPlanar.CachedData.kernel27_1_r2_8 line 2422
lemma OAI.SharpPlanar.CachedData.kernel27_1_r2_8_eq line 2423
def OAI.SharpPlanar.CachedData.kernel27_1_r2_9 line 2424
lemma OAI.SharpPlanar.CachedData.kernel27_1_r2_9_eq line 2425
def OAI.SharpPlanar.CachedData.kernel27_1_r2_10 line 2426
lemma OAI.SharpPlanar.CachedData.kernel27_1_r2_10_eq line 2427
def OAI.SharpPlanar.CachedData.kernel27_1_r2_11 line 2428
lemma OAI.SharpPlanar.CachedData.kernel27_1_r2_11_eq line 2429
def OAI.SharpPlanar.CachedData.kernel27_1_r2_12 line 2430
lemma OAI.SharpPlanar.CachedData.kernel27_1_r2_12_eq line 2431
def OAI.SharpPlanar.CachedData.kernel27_1_r2_13 line 2432
lemma OAI.SharpPlanar.CachedData.kernel27_1_r2_13_eq line 2433
def OAI.SharpPlanar.CachedData.kernel27_1_r2_14 line 2434
lemma OAI.SharpPlanar.CachedData.kernel27_1_r2_14_eq line 2435
def OAI.SharpPlanar.CachedData.kernel27_1_r2_15 line 2436
lemma OAI.SharpPlanar.CachedData.kernel27_1_r2_15_eq line 2437
def OAI.SharpPlanar.CachedData.kernel27_1_r2 line 2438
lemma OAI.SharpPlanar.CachedData.kernel27_1_r2_eq line 2439
def OAI.SharpPlanar.CachedData.kernel27_1_r3_0 line 2457
lemma OAI.SharpPlanar.CachedData.kernel27_1_r3_0_eq line 2458
def OAI.SharpPlanar.CachedData.kernel27_1_r3_1 line 2459
lemma OAI.SharpPlanar.CachedData.kernel27_1_r3_1_eq line 2460
def OAI.SharpPlanar.CachedData.kernel27_1_r3_2 line 2461
lemma OAI.SharpPlanar.CachedData.kernel27_1_r3_2_eq line 2462
def OAI.SharpPlanar.CachedData.kernel27_1_r3_3 line 2463
lemma OAI.SharpPlanar.CachedData.kernel27_1_r3_3_eq line 2464
def OAI.SharpPlanar.CachedData.kernel27_1_r3_4 line 2465
lemma OAI.SharpPlanar.CachedData.kernel27_1_r3_4_eq line 2466
def OAI.SharpPlanar.CachedData.kernel27_1_r3_5 line 2467
lemma OAI.SharpPlanar.CachedData.kernel27_1_r3_5_eq line 2468
def OAI.SharpPlanar.CachedData.kernel27_1_r3_6 line 2469
lemma OAI.SharpPlanar.CachedData.kernel27_1_r3_6_eq line 2470
def OAI.SharpPlanar.CachedData.kernel27_1_r3_7 line 2471
lemma OAI.SharpPlanar.CachedData.kernel27_1_r3_7_eq line 2472
def OAI.SharpPlanar.CachedData.kernel27_1_r3_8 line 2473
lemma OAI.SharpPlanar.CachedData.kernel27_1_r3_8_eq line 2474
def OAI.SharpPlanar.CachedData.kernel27_1_r3_9 line 2475
lemma OAI.SharpPlanar.CachedData.kernel27_1_r3_9_eq line 2476
def OAI.SharpPlanar.CachedData.kernel27_1_r3_10 line 2477
lemma OAI.SharpPlanar.CachedData.kernel27_1_r3_10_eq line 2478
def OAI.SharpPlanar.CachedData.kernel27_1_r3_11 line 2479
lemma OAI.SharpPlanar.CachedData.kernel27_1_r3_11_eq line 2480
def OAI.SharpPlanar.CachedData.kernel27_1_r3_12 line 2481
lemma OAI.SharpPlanar.CachedData.kernel27_1_r3_12_eq line 2482
def OAI.SharpPlanar.CachedData.kernel27_1_r3_13 line 2483
lemma OAI.SharpPlanar.CachedData.kernel27_1_r3_13_eq line 2484
def OAI.SharpPlanar.CachedData.kernel27_1_r3_14 line 2485
lemma OAI.SharpPlanar.CachedData.kernel27_1_r3_14_eq line 2486
def OAI.SharpPlanar.CachedData.kernel27_1_r3_15 line 2487
lemma OAI.SharpPlanar.CachedData.kernel27_1_r3_15_eq line 2488
def OAI.SharpPlanar.CachedData.kernel27_1_r3 line 2489
lemma OAI.SharpPlanar.CachedData.kernel27_1_r3_eq line 2490
def OAI.SharpPlanar.CachedData.kernel27_1_r4_0 line 2508
lemma OAI.SharpPlanar.CachedData.kernel27_1_r4_0_eq line 2509
def OAI.SharpPlanar.CachedData.kernel27_1_r4_1 line 2510
lemma OAI.SharpPlanar.CachedData.kernel27_1_r4_1_eq line 2511
def OAI.SharpPlanar.CachedData.kernel27_1_r4_2 line 2512
lemma OAI.SharpPlanar.CachedData.kernel27_1_r4_2_eq line 2513
def OAI.SharpPlanar.CachedData.kernel27_1_r4_3 line 2514
lemma OAI.SharpPlanar.CachedData.kernel27_1_r4_3_eq line 2515
def OAI.SharpPlanar.CachedData.kernel27_1_r4_4 line 2516
lemma OAI.SharpPlanar.CachedData.kernel27_1_r4_4_eq line 2517
def OAI.SharpPlanar.CachedData.kernel27_1_r4_5 line 2518
lemma OAI.SharpPlanar.CachedData.kernel27_1_r4_5_eq line 2519
def OAI.SharpPlanar.CachedData.kernel27_1_r4_6 line 2520
lemma OAI.SharpPlanar.CachedData.kernel27_1_r4_6_eq line 2521
def OAI.SharpPlanar.CachedData.kernel27_1_r4_7 line 2522
lemma OAI.SharpPlanar.CachedData.kernel27_1_r4_7_eq line 2523
def OAI.SharpPlanar.CachedData.kernel27_1_r4_8 line 2524
lemma OAI.SharpPlanar.CachedData.kernel27_1_r4_8_eq line 2525
def OAI.SharpPlanar.CachedData.kernel27_1_r4_9 line 2526
lemma OAI.SharpPlanar.CachedData.kernel27_1_r4_9_eq line 2527
def OAI.SharpPlanar.CachedData.kernel27_1_r4_10 line 2528
lemma OAI.SharpPlanar.CachedData.kernel27_1_r4_10_eq line 2529
def OAI.SharpPlanar.CachedData.kernel27_1_r4_11 line 2530
lemma OAI.SharpPlanar.CachedData.kernel27_1_r4_11_eq line 2531
def OAI.SharpPlanar.CachedData.kernel27_1_r4_12 line 2532
lemma OAI.SharpPlanar.CachedData.kernel27_1_r4_12_eq line 2533
def OAI.SharpPlanar.CachedData.kernel27_1_r4_13 line 2534
lemma OAI.SharpPlanar.CachedData.kernel27_1_r4_13_eq line 2535
def OAI.SharpPlanar.CachedData.kernel27_1_r4_14 line 2536
lemma OAI.SharpPlanar.CachedData.kernel27_1_r4_14_eq line 2537
def OAI.SharpPlanar.CachedData.kernel27_1_r4_15 line 2538
lemma OAI.SharpPlanar.CachedData.kernel27_1_r4_15_eq line 2539
def OAI.SharpPlanar.CachedData.kernel27_1_r4 line 2540
lemma OAI.SharpPlanar.CachedData.kernel27_1_r4_eq line 2541
def OAI.SharpPlanar.CachedData.kernel27_1_r5_0 line 2559
lemma OAI.SharpPlanar.CachedData.kernel27_1_r5_0_eq line 2560
def OAI.SharpPlanar.CachedData.kernel27_1_r5_1 line 2561
lemma OAI.SharpPlanar.CachedData.kernel27_1_r5_1_eq line 2562
def OAI.SharpPlanar.CachedData.kernel27_1_r5_2 line 2563
lemma OAI.SharpPlanar.CachedData.kernel27_1_r5_2_eq line 2564
def OAI.SharpPlanar.CachedData.kernel27_1_r5_3 line 2565
lemma OAI.SharpPlanar.CachedData.kernel27_1_r5_3_eq line 2566
def OAI.SharpPlanar.CachedData.kernel27_1_r5_4 line 2567
lemma OAI.SharpPlanar.CachedData.kernel27_1_r5_4_eq line 2568
def OAI.SharpPlanar.CachedData.kernel27_1_r5_5 line 2569
lemma OAI.SharpPlanar.CachedData.kernel27_1_r5_5_eq line 2570
def OAI.SharpPlanar.CachedData.kernel27_1_r5_6 line 2571
lemma OAI.SharpPlanar.CachedData.kernel27_1_r5_6_eq line 2572
def OAI.SharpPlanar.CachedData.kernel27_1_r5_7 line 2573
lemma OAI.SharpPlanar.CachedData.kernel27_1_r5_7_eq line 2574
def OAI.SharpPlanar.CachedData.kernel27_1_r5_8 line 2575
lemma OAI.SharpPlanar.CachedData.kernel27_1_r5_8_eq line 2576
def OAI.SharpPlanar.CachedData.kernel27_1_r5_9 line 2577
lemma OAI.SharpPlanar.CachedData.kernel27_1_r5_9_eq line 2578
def OAI.SharpPlanar.CachedData.kernel27_1_r5_10 line 2579
lemma OAI.SharpPlanar.CachedData.kernel27_1_r5_10_eq line 2580
def OAI.SharpPlanar.CachedData.kernel27_1_r5_11 line 2581
lemma OAI.SharpPlanar.CachedData.kernel27_1_r5_11_eq line 2582
def OAI.SharpPlanar.CachedData.kernel27_1_r5_12 line 2583
lemma OAI.SharpPlanar.CachedData.kernel27_1_r5_12_eq line 2584
def OAI.SharpPlanar.CachedData.kernel27_1_r5_13 line 2585
lemma OAI.SharpPlanar.CachedData.kernel27_1_r5_13_eq line 2586
def OAI.SharpPlanar.CachedData.kernel27_1_r5_14 line 2587
lemma OAI.SharpPlanar.CachedData.kernel27_1_r5_14_eq line 2588
def OAI.SharpPlanar.CachedData.kernel27_1_r5_15 line 2589
lemma OAI.SharpPlanar.CachedData.kernel27_1_r5_15_eq line 2590
def OAI.SharpPlanar.CachedData.kernel27_1_r5 line 2591
lemma OAI.SharpPlanar.CachedData.kernel27_1_r5_eq line 2592
def OAI.SharpPlanar.CachedData.kernel27_1 line 2610
lemma OAI.SharpPlanar.CachedData.kernel27_1_eq line 2611
lemma OAI.SharpPlanar.CachedData.kernel27_1_contains line 2619
def OAI.SharpPlanar.CachedData.kernel28_0Expr line 2631
def OAI.SharpPlanar.CachedData.kernel28_0_r0_0 line 2632
lemma OAI.SharpPlanar.CachedData.kernel28_0_r0_0_eq line 2633
def OAI.SharpPlanar.CachedData.kernel28_0_r0_1 line 2634
lemma OAI.SharpPlanar.CachedData.kernel28_0_r0_1_eq line 2635
def OAI.SharpPlanar.CachedData.kernel28_0_r0_2 line 2636
lemma OAI.SharpPlanar.CachedData.kernel28_0_r0_2_eq line 2637
def OAI.SharpPlanar.CachedData.kernel28_0_r0_3 line 2638
lemma OAI.SharpPlanar.CachedData.kernel28_0_r0_3_eq line 2639
def OAI.SharpPlanar.CachedData.kernel28_0_r0_4 line 2640
lemma OAI.SharpPlanar.CachedData.kernel28_0_r0_4_eq line 2641
def OAI.SharpPlanar.CachedData.kernel28_0_r0_5 line 2642
lemma OAI.SharpPlanar.CachedData.kernel28_0_r0_5_eq line 2643
def OAI.SharpPlanar.CachedData.kernel28_0_r0_6 line 2644
lemma OAI.SharpPlanar.CachedData.kernel28_0_r0_6_eq line 2645
def OAI.SharpPlanar.CachedData.kernel28_0_r0_7 line 2646
lemma OAI.SharpPlanar.CachedData.kernel28_0_r0_7_eq line 2647
def OAI.SharpPlanar.CachedData.kernel28_0_r0_8 line 2648
lemma OAI.SharpPlanar.CachedData.kernel28_0_r0_8_eq line 2649
def OAI.SharpPlanar.CachedData.kernel28_0_r0_9 line 2650
lemma OAI.SharpPlanar.CachedData.kernel28_0_r0_9_eq line 2651
def OAI.SharpPlanar.CachedData.kernel28_0_r0_10 line 2652
lemma OAI.SharpPlanar.CachedData.kernel28_0_r0_10_eq line 2653
def OAI.SharpPlanar.CachedData.kernel28_0_r0_11 line 2654
lemma OAI.SharpPlanar.CachedData.kernel28_0_r0_11_eq line 2655
def OAI.SharpPlanar.CachedData.kernel28_0_r0_12 line 2656
lemma OAI.SharpPlanar.CachedData.kernel28_0_r0_12_eq line 2657
def OAI.SharpPlanar.CachedData.kernel28_0_r0_13 line 2658
lemma OAI.SharpPlanar.CachedData.kernel28_0_r0_13_eq line 2659
def OAI.SharpPlanar.CachedData.kernel28_0_r0_14 line 2660
lemma OAI.SharpPlanar.CachedData.kernel28_0_r0_14_eq line 2661
def OAI.SharpPlanar.CachedData.kernel28_0_r0_15 line 2662
lemma OAI.SharpPlanar.CachedData.kernel28_0_r0_15_eq line 2663
def OAI.SharpPlanar.CachedData.kernel28_0_r0 line 2664
lemma OAI.SharpPlanar.CachedData.kernel28_0_r0_eq line 2665
def OAI.SharpPlanar.CachedData.kernel28_0_r1_0 line 2683
lemma OAI.SharpPlanar.CachedData.kernel28_0_r1_0_eq line 2684
def OAI.SharpPlanar.CachedData.kernel28_0_r1_1 line 2685
lemma OAI.SharpPlanar.CachedData.kernel28_0_r1_1_eq line 2686
def OAI.SharpPlanar.CachedData.kernel28_0_r1_2 line 2687
lemma OAI.SharpPlanar.CachedData.kernel28_0_r1_2_eq line 2688
def OAI.SharpPlanar.CachedData.kernel28_0_r1_3 line 2689
lemma OAI.SharpPlanar.CachedData.kernel28_0_r1_3_eq line 2690
def OAI.SharpPlanar.CachedData.kernel28_0_r1_4 line 2691
lemma OAI.SharpPlanar.CachedData.kernel28_0_r1_4_eq line 2692
def OAI.SharpPlanar.CachedData.kernel28_0_r1_5 line 2693
lemma OAI.SharpPlanar.CachedData.kernel28_0_r1_5_eq line 2694
def OAI.SharpPlanar.CachedData.kernel28_0_r1_6 line 2695
lemma OAI.SharpPlanar.CachedData.kernel28_0_r1_6_eq line 2696
def OAI.SharpPlanar.CachedData.kernel28_0_r1_7 line 2697
lemma OAI.SharpPlanar.CachedData.kernel28_0_r1_7_eq line 2698
def OAI.SharpPlanar.CachedData.kernel28_0_r1_8 line 2699
lemma OAI.SharpPlanar.CachedData.kernel28_0_r1_8_eq line 2700
def OAI.SharpPlanar.CachedData.kernel28_0_r1_9 line 2701
lemma OAI.SharpPlanar.CachedData.kernel28_0_r1_9_eq line 2702
def OAI.SharpPlanar.CachedData.kernel28_0_r1_10 line 2703
lemma OAI.SharpPlanar.CachedData.kernel28_0_r1_10_eq line 2704
def OAI.SharpPlanar.CachedData.kernel28_0_r1_11 line 2705
lemma OAI.SharpPlanar.CachedData.kernel28_0_r1_11_eq line 2706
def OAI.SharpPlanar.CachedData.kernel28_0_r1_12 line 2707
lemma OAI.SharpPlanar.CachedData.kernel28_0_r1_12_eq line 2708
def OAI.SharpPlanar.CachedData.kernel28_0_r1_13 line 2709
lemma OAI.SharpPlanar.CachedData.kernel28_0_r1_13_eq line 2710
def OAI.SharpPlanar.CachedData.kernel28_0_r1_14 line 2711
lemma OAI.SharpPlanar.CachedData.kernel28_0_r1_14_eq line 2712
def OAI.SharpPlanar.CachedData.kernel28_0_r1_15 line 2713
lemma OAI.SharpPlanar.CachedData.kernel28_0_r1_15_eq line 2714
def OAI.SharpPlanar.CachedData.kernel28_0_r1 line 2715
lemma OAI.SharpPlanar.CachedData.kernel28_0_r1_eq line 2716
def OAI.SharpPlanar.CachedData.kernel28_0_r2_0 line 2734
lemma OAI.SharpPlanar.CachedData.kernel28_0_r2_0_eq line 2735
def OAI.SharpPlanar.CachedData.kernel28_0_r2_1 line 2736
lemma OAI.SharpPlanar.CachedData.kernel28_0_r2_1_eq line 2737
def OAI.SharpPlanar.CachedData.kernel28_0_r2_2 line 2738
lemma OAI.SharpPlanar.CachedData.kernel28_0_r2_2_eq line 2739
def OAI.SharpPlanar.CachedData.kernel28_0_r2_3 line 2740
lemma OAI.SharpPlanar.CachedData.kernel28_0_r2_3_eq line 2741
def OAI.SharpPlanar.CachedData.kernel28_0_r2_4 line 2742
lemma OAI.SharpPlanar.CachedData.kernel28_0_r2_4_eq line 2743
def OAI.SharpPlanar.CachedData.kernel28_0_r2_5 line 2744
lemma OAI.SharpPlanar.CachedData.kernel28_0_r2_5_eq line 2745
def OAI.SharpPlanar.CachedData.kernel28_0_r2_6 line 2746
lemma OAI.SharpPlanar.CachedData.kernel28_0_r2_6_eq line 2747
def OAI.SharpPlanar.CachedData.kernel28_0_r2_7 line 2748
lemma OAI.SharpPlanar.CachedData.kernel28_0_r2_7_eq line 2749
def OAI.SharpPlanar.CachedData.kernel28_0_r2_8 line 2750
lemma OAI.SharpPlanar.CachedData.kernel28_0_r2_8_eq line 2751
def OAI.SharpPlanar.CachedData.kernel28_0_r2_9 line 2752
lemma OAI.SharpPlanar.CachedData.kernel28_0_r2_9_eq line 2753
def OAI.SharpPlanar.CachedData.kernel28_0_r2_10 line 2754
lemma OAI.SharpPlanar.CachedData.kernel28_0_r2_10_eq line 2755
def OAI.SharpPlanar.CachedData.kernel28_0_r2_11 line 2756
lemma OAI.SharpPlanar.CachedData.kernel28_0_r2_11_eq line 2757
def OAI.SharpPlanar.CachedData.kernel28_0_r2_12 line 2758
lemma OAI.SharpPlanar.CachedData.kernel28_0_r2_12_eq line 2759
def OAI.SharpPlanar.CachedData.kernel28_0_r2_13 line 2760
lemma OAI.SharpPlanar.CachedData.kernel28_0_r2_13_eq line 2761
def OAI.SharpPlanar.CachedData.kernel28_0_r2_14 line 2762
lemma OAI.SharpPlanar.CachedData.kernel28_0_r2_14_eq line 2763
def OAI.SharpPlanar.CachedData.kernel28_0_r2_15 line 2764
lemma OAI.SharpPlanar.CachedData.kernel28_0_r2_15_eq line 2765
def OAI.SharpPlanar.CachedData.kernel28_0_r2 line 2766
lemma OAI.SharpPlanar.CachedData.kernel28_0_r2_eq line 2767
def OAI.SharpPlanar.CachedData.kernel28_0_r3_0 line 2785
lemma OAI.SharpPlanar.CachedData.kernel28_0_r3_0_eq line 2786
def OAI.SharpPlanar.CachedData.kernel28_0_r3_1 line 2787
lemma OAI.SharpPlanar.CachedData.kernel28_0_r3_1_eq line 2788
def OAI.SharpPlanar.CachedData.kernel28_0_r3_2 line 2789
lemma OAI.SharpPlanar.CachedData.kernel28_0_r3_2_eq line 2790
def OAI.SharpPlanar.CachedData.kernel28_0_r3_3 line 2791
lemma OAI.SharpPlanar.CachedData.kernel28_0_r3_3_eq line 2792
def OAI.SharpPlanar.CachedData.kernel28_0_r3_4 line 2793
lemma OAI.SharpPlanar.CachedData.kernel28_0_r3_4_eq line 2794
def OAI.SharpPlanar.CachedData.kernel28_0_r3_5 line 2795
lemma OAI.SharpPlanar.CachedData.kernel28_0_r3_5_eq line 2796
def OAI.SharpPlanar.CachedData.kernel28_0_r3_6 line 2797
lemma OAI.SharpPlanar.CachedData.kernel28_0_r3_6_eq line 2798
def OAI.SharpPlanar.CachedData.kernel28_0_r3_7 line 2799
lemma OAI.SharpPlanar.CachedData.kernel28_0_r3_7_eq line 2800
def OAI.SharpPlanar.CachedData.kernel28_0_r3_8 line 2801
lemma OAI.SharpPlanar.CachedData.kernel28_0_r3_8_eq line 2802
def OAI.SharpPlanar.CachedData.kernel28_0_r3_9 line 2803
lemma OAI.SharpPlanar.CachedData.kernel28_0_r3_9_eq line 2804
def OAI.SharpPlanar.CachedData.kernel28_0_r3_10 line 2805
lemma OAI.SharpPlanar.CachedData.kernel28_0_r3_10_eq line 2806
def OAI.SharpPlanar.CachedData.kernel28_0_r3_11 line 2807
lemma OAI.SharpPlanar.CachedData.kernel28_0_r3_11_eq line 2808
def OAI.SharpPlanar.CachedData.kernel28_0_r3_12 line 2809
lemma OAI.SharpPlanar.CachedData.kernel28_0_r3_12_eq line 2810
def OAI.SharpPlanar.CachedData.kernel28_0_r3_13 line 2811
lemma OAI.SharpPlanar.CachedData.kernel28_0_r3_13_eq line 2812
def OAI.SharpPlanar.CachedData.kernel28_0_r3_14 line 2813
lemma OAI.SharpPlanar.CachedData.kernel28_0_r3_14_eq line 2814
def OAI.SharpPlanar.CachedData.kernel28_0_r3_15 line 2815
lemma OAI.SharpPlanar.CachedData.kernel28_0_r3_15_eq line 2816
def OAI.SharpPlanar.CachedData.kernel28_0_r3 line 2817
lemma OAI.SharpPlanar.CachedData.kernel28_0_r3_eq line 2818
def OAI.SharpPlanar.CachedData.kernel28_0_r4_0 line 2836
lemma OAI.SharpPlanar.CachedData.kernel28_0_r4_0_eq line 2837
def OAI.SharpPlanar.CachedData.kernel28_0_r4_1 line 2838
lemma OAI.SharpPlanar.CachedData.kernel28_0_r4_1_eq line 2839
def OAI.SharpPlanar.CachedData.kernel28_0_r4_2 line 2840
lemma OAI.SharpPlanar.CachedData.kernel28_0_r4_2_eq line 2841
def OAI.SharpPlanar.CachedData.kernel28_0_r4_3 line 2842
lemma OAI.SharpPlanar.CachedData.kernel28_0_r4_3_eq line 2843
def OAI.SharpPlanar.CachedData.kernel28_0_r4_4 line 2844
lemma OAI.SharpPlanar.CachedData.kernel28_0_r4_4_eq line 2845
def OAI.SharpPlanar.CachedData.kernel28_0_r4_5 line 2846
lemma OAI.SharpPlanar.CachedData.kernel28_0_r4_5_eq line 2847
def OAI.SharpPlanar.CachedData.kernel28_0_r4_6 line 2848
lemma OAI.SharpPlanar.CachedData.kernel28_0_r4_6_eq line 2849
def OAI.SharpPlanar.CachedData.kernel28_0_r4_7 line 2850
lemma OAI.SharpPlanar.CachedData.kernel28_0_r4_7_eq line 2851
def OAI.SharpPlanar.CachedData.kernel28_0_r4_8 line 2852
lemma OAI.SharpPlanar.CachedData.kernel28_0_r4_8_eq line 2853
def OAI.SharpPlanar.CachedData.kernel28_0_r4_9 line 2854
lemma OAI.SharpPlanar.CachedData.kernel28_0_r4_9_eq line 2855
def OAI.SharpPlanar.CachedData.kernel28_0_r4_10 line 2856
lemma OAI.SharpPlanar.CachedData.kernel28_0_r4_10_eq line 2857
def OAI.SharpPlanar.CachedData.kernel28_0_r4_11 line 2858
lemma OAI.SharpPlanar.CachedData.kernel28_0_r4_11_eq line 2859
def OAI.SharpPlanar.CachedData.kernel28_0_r4_12 line 2860
lemma OAI.SharpPlanar.CachedData.kernel28_0_r4_12_eq line 2861
def OAI.SharpPlanar.CachedData.kernel28_0_r4_13 line 2862
lemma OAI.SharpPlanar.CachedData.kernel28_0_r4_13_eq line 2863
def OAI.SharpPlanar.CachedData.kernel28_0_r4_14 line 2864
lemma OAI.SharpPlanar.CachedData.kernel28_0_r4_14_eq line 2865
def OAI.SharpPlanar.CachedData.kernel28_0_r4_15 line 2866
lemma OAI.SharpPlanar.CachedData.kernel28_0_r4_15_eq line 2867
def OAI.SharpPlanar.CachedData.kernel28_0_r4 line 2868
lemma OAI.SharpPlanar.CachedData.kernel28_0_r4_eq line 2869
def OAI.SharpPlanar.CachedData.kernel28_0_r5_0 line 2887
lemma OAI.SharpPlanar.CachedData.kernel28_0_r5_0_eq line 2888
def OAI.SharpPlanar.CachedData.kernel28_0_r5_1 line 2889
lemma OAI.SharpPlanar.CachedData.kernel28_0_r5_1_eq line 2890
def OAI.SharpPlanar.CachedData.kernel28_0_r5_2 line 2891
lemma OAI.SharpPlanar.CachedData.kernel28_0_r5_2_eq line 2892
def OAI.SharpPlanar.CachedData.kernel28_0_r5_3 line 2893
lemma OAI.SharpPlanar.CachedData.kernel28_0_r5_3_eq line 2894
def OAI.SharpPlanar.CachedData.kernel28_0_r5_4 line 2895
lemma OAI.SharpPlanar.CachedData.kernel28_0_r5_4_eq line 2896
def OAI.SharpPlanar.CachedData.kernel28_0_r5_5 line 2897
lemma OAI.SharpPlanar.CachedData.kernel28_0_r5_5_eq line 2898
def OAI.SharpPlanar.CachedData.kernel28_0_r5_6 line 2899
lemma OAI.SharpPlanar.CachedData.kernel28_0_r5_6_eq line 2900
def OAI.SharpPlanar.CachedData.kernel28_0_r5_7 line 2901
lemma OAI.SharpPlanar.CachedData.kernel28_0_r5_7_eq line 2902
def OAI.SharpPlanar.CachedData.kernel28_0_r5_8 line 2903
lemma OAI.SharpPlanar.CachedData.kernel28_0_r5_8_eq line 2904
def OAI.SharpPlanar.CachedData.kernel28_0_r5_9 line 2905
lemma OAI.SharpPlanar.CachedData.kernel28_0_r5_9_eq line 2906
def OAI.SharpPlanar.CachedData.kernel28_0_r5_10 line 2907
lemma OAI.SharpPlanar.CachedData.kernel28_0_r5_10_eq line 2908
def OAI.SharpPlanar.CachedData.kernel28_0_r5_11 line 2909
lemma OAI.SharpPlanar.CachedData.kernel28_0_r5_11_eq line 2910
def OAI.SharpPlanar.CachedData.kernel28_0_r5_12 line 2911
lemma OAI.SharpPlanar.CachedData.kernel28_0_r5_12_eq line 2912
def OAI.SharpPlanar.CachedData.kernel28_0_r5_13 line 2913
lemma OAI.SharpPlanar.CachedData.kernel28_0_r5_13_eq line 2914
def OAI.SharpPlanar.CachedData.kernel28_0_r5_14 line 2915
lemma OAI.SharpPlanar.CachedData.kernel28_0_r5_14_eq line 2916
def OAI.SharpPlanar.CachedData.kernel28_0_r5_15 line 2917
lemma OAI.SharpPlanar.CachedData.kernel28_0_r5_15_eq line 2918
def OAI.SharpPlanar.CachedData.kernel28_0_r5 line 2919
lemma OAI.SharpPlanar.CachedData.kernel28_0_r5_eq line 2920
def OAI.SharpPlanar.CachedData.kernel28_0 line 2938
lemma OAI.SharpPlanar.CachedData.kernel28_0_eq line 2939
lemma OAI.SharpPlanar.CachedData.kernel28_0_contains line 2947
def OAI.SharpPlanar.CachedData.kernel28_1Expr line 2957
def OAI.SharpPlanar.CachedData.kernel28_1_r0_0 line 2958
lemma OAI.SharpPlanar.CachedData.kernel28_1_r0_0_eq line 2959
def OAI.SharpPlanar.CachedData.kernel28_1_r0_1 line 2960
lemma OAI.SharpPlanar.CachedData.kernel28_1_r0_1_eq line 2961
def OAI.SharpPlanar.CachedData.kernel28_1_r0_2 line 2962
lemma OAI.SharpPlanar.CachedData.kernel28_1_r0_2_eq line 2963
def OAI.SharpPlanar.CachedData.kernel28_1_r0_3 line 2964
lemma OAI.SharpPlanar.CachedData.kernel28_1_r0_3_eq line 2965
def OAI.SharpPlanar.CachedData.kernel28_1_r0_4 line 2966
lemma OAI.SharpPlanar.CachedData.kernel28_1_r0_4_eq line 2967
def OAI.SharpPlanar.CachedData.kernel28_1_r0_5 line 2968
lemma OAI.SharpPlanar.CachedData.kernel28_1_r0_5_eq line 2969
def OAI.SharpPlanar.CachedData.kernel28_1_r0_6 line 2970
lemma OAI.SharpPlanar.CachedData.kernel28_1_r0_6_eq line 2971
def OAI.SharpPlanar.CachedData.kernel28_1_r0_7 line 2972
lemma OAI.SharpPlanar.CachedData.kernel28_1_r0_7_eq line 2973
def OAI.SharpPlanar.CachedData.kernel28_1_r0_8 line 2974
lemma OAI.SharpPlanar.CachedData.kernel28_1_r0_8_eq line 2975
def OAI.SharpPlanar.CachedData.kernel28_1_r0_9 line 2976
lemma OAI.SharpPlanar.CachedData.kernel28_1_r0_9_eq line 2977
def OAI.SharpPlanar.CachedData.kernel28_1_r0_10 line 2978
lemma OAI.SharpPlanar.CachedData.kernel28_1_r0_10_eq line 2979
def OAI.SharpPlanar.CachedData.kernel28_1_r0_11 line 2980
lemma OAI.SharpPlanar.CachedData.kernel28_1_r0_11_eq line 2981
def OAI.SharpPlanar.CachedData.kernel28_1_r0_12 line 2982
lemma OAI.SharpPlanar.CachedData.kernel28_1_r0_12_eq line 2983
def OAI.SharpPlanar.CachedData.kernel28_1_r0_13 line 2984
lemma OAI.SharpPlanar.CachedData.kernel28_1_r0_13_eq line 2985
def OAI.SharpPlanar.CachedData.kernel28_1_r0_14 line 2986
lemma OAI.SharpPlanar.CachedData.kernel28_1_r0_14_eq line 2987
def OAI.SharpPlanar.CachedData.kernel28_1_r0_15 line 2988
lemma OAI.SharpPlanar.CachedData.kernel28_1_r0_15_eq line 2989
def OAI.SharpPlanar.CachedData.kernel28_1_r0 line 2990
lemma OAI.SharpPlanar.CachedData.kernel28_1_r0_eq line 2991
def OAI.SharpPlanar.CachedData.kernel28_1_r1_0 line 3009
lemma OAI.SharpPlanar.CachedData.kernel28_1_r1_0_eq line 3010
def OAI.SharpPlanar.CachedData.kernel28_1_r1_1 line 3011
lemma OAI.SharpPlanar.CachedData.kernel28_1_r1_1_eq line 3012
def OAI.SharpPlanar.CachedData.kernel28_1_r1_2 line 3013
lemma OAI.SharpPlanar.CachedData.kernel28_1_r1_2_eq line 3014
def OAI.SharpPlanar.CachedData.kernel28_1_r1_3 line 3015
lemma OAI.SharpPlanar.CachedData.kernel28_1_r1_3_eq line 3016
def OAI.SharpPlanar.CachedData.kernel28_1_r1_4 line 3017
lemma OAI.SharpPlanar.CachedData.kernel28_1_r1_4_eq line 3018
def OAI.SharpPlanar.CachedData.kernel28_1_r1_5 line 3019
lemma OAI.SharpPlanar.CachedData.kernel28_1_r1_5_eq line 3020
def OAI.SharpPlanar.CachedData.kernel28_1_r1_6 line 3021
lemma OAI.SharpPlanar.CachedData.kernel28_1_r1_6_eq line 3022
def OAI.SharpPlanar.CachedData.kernel28_1_r1_7 line 3023
lemma OAI.SharpPlanar.CachedData.kernel28_1_r1_7_eq line 3024
def OAI.SharpPlanar.CachedData.kernel28_1_r1_8 line 3025
lemma OAI.SharpPlanar.CachedData.kernel28_1_r1_8_eq line 3026
def OAI.SharpPlanar.CachedData.kernel28_1_r1_9 line 3027
lemma OAI.SharpPlanar.CachedData.kernel28_1_r1_9_eq line 3028
def OAI.SharpPlanar.CachedData.kernel28_1_r1_10 line 3029
lemma OAI.SharpPlanar.CachedData.kernel28_1_r1_10_eq line 3030
def OAI.SharpPlanar.CachedData.kernel28_1_r1_11 line 3031
lemma OAI.SharpPlanar.CachedData.kernel28_1_r1_11_eq line 3032
def OAI.SharpPlanar.CachedData.kernel28_1_r1_12 line 3033
lemma OAI.SharpPlanar.CachedData.kernel28_1_r1_12_eq line 3034
def OAI.SharpPlanar.CachedData.kernel28_1_r1_13 line 3035
lemma OAI.SharpPlanar.CachedData.kernel28_1_r1_13_eq line 3036
def OAI.SharpPlanar.CachedData.kernel28_1_r1_14 line 3037
lemma OAI.SharpPlanar.CachedData.kernel28_1_r1_14_eq line 3038
def OAI.SharpPlanar.CachedData.kernel28_1_r1_15 line 3039
lemma OAI.SharpPlanar.CachedData.kernel28_1_r1_15_eq line 3040
def OAI.SharpPlanar.CachedData.kernel28_1_r1 line 3041
lemma OAI.SharpPlanar.CachedData.kernel28_1_r1_eq line 3042
def OAI.SharpPlanar.CachedData.kernel28_1_r2_0 line 3060
lemma OAI.SharpPlanar.CachedData.kernel28_1_r2_0_eq line 3061
def OAI.SharpPlanar.CachedData.kernel28_1_r2_1 line 3062
lemma OAI.SharpPlanar.CachedData.kernel28_1_r2_1_eq line 3063
def OAI.SharpPlanar.CachedData.kernel28_1_r2_2 line 3064
lemma OAI.SharpPlanar.CachedData.kernel28_1_r2_2_eq line 3065
def OAI.SharpPlanar.CachedData.kernel28_1_r2_3 line 3066
lemma OAI.SharpPlanar.CachedData.kernel28_1_r2_3_eq line 3067
def OAI.SharpPlanar.CachedData.kernel28_1_r2_4 line 3068
lemma OAI.SharpPlanar.CachedData.kernel28_1_r2_4_eq line 3069
def OAI.SharpPlanar.CachedData.kernel28_1_r2_5 line 3070
lemma OAI.SharpPlanar.CachedData.kernel28_1_r2_5_eq line 3071
def OAI.SharpPlanar.CachedData.kernel28_1_r2_6 line 3072
lemma OAI.SharpPlanar.CachedData.kernel28_1_r2_6_eq line 3073
def OAI.SharpPlanar.CachedData.kernel28_1_r2_7 line 3074
lemma OAI.SharpPlanar.CachedData.kernel28_1_r2_7_eq line 3075
def OAI.SharpPlanar.CachedData.kernel28_1_r2_8 line 3076
lemma OAI.SharpPlanar.CachedData.kernel28_1_r2_8_eq line 3077
def OAI.SharpPlanar.CachedData.kernel28_1_r2_9 line 3078
lemma OAI.SharpPlanar.CachedData.kernel28_1_r2_9_eq line 3079
def OAI.SharpPlanar.CachedData.kernel28_1_r2_10 line 3080
lemma OAI.SharpPlanar.CachedData.kernel28_1_r2_10_eq line 3081
def OAI.SharpPlanar.CachedData.kernel28_1_r2_11 line 3082
lemma OAI.SharpPlanar.CachedData.kernel28_1_r2_11_eq line 3083
def OAI.SharpPlanar.CachedData.kernel28_1_r2_12 line 3084
lemma OAI.SharpPlanar.CachedData.kernel28_1_r2_12_eq line 3085
def OAI.SharpPlanar.CachedData.kernel28_1_r2_13 line 3086
lemma OAI.SharpPlanar.CachedData.kernel28_1_r2_13_eq line 3087
def OAI.SharpPlanar.CachedData.kernel28_1_r2_14 line 3088
lemma OAI.SharpPlanar.CachedData.kernel28_1_r2_14_eq line 3089
def OAI.SharpPlanar.CachedData.kernel28_1_r2_15 line 3090
lemma OAI.SharpPlanar.CachedData.kernel28_1_r2_15_eq line 3091
def OAI.SharpPlanar.CachedData.kernel28_1_r2 line 3092
lemma OAI.SharpPlanar.CachedData.kernel28_1_r2_eq line 3093
def OAI.SharpPlanar.CachedData.kernel28_1_r3_0 line 3111
lemma OAI.SharpPlanar.CachedData.kernel28_1_r3_0_eq line 3112
def OAI.SharpPlanar.CachedData.kernel28_1_r3_1 line 3113
lemma OAI.SharpPlanar.CachedData.kernel28_1_r3_1_eq line 3114
def OAI.SharpPlanar.CachedData.kernel28_1_r3_2 line 3115
lemma OAI.SharpPlanar.CachedData.kernel28_1_r3_2_eq line 3116
def OAI.SharpPlanar.CachedData.kernel28_1_r3_3 line 3117
lemma OAI.SharpPlanar.CachedData.kernel28_1_r3_3_eq line 3118
def OAI.SharpPlanar.CachedData.kernel28_1_r3_4 line 3119
lemma OAI.SharpPlanar.CachedData.kernel28_1_r3_4_eq line 3120
def OAI.SharpPlanar.CachedData.kernel28_1_r3_5 line 3121
lemma OAI.SharpPlanar.CachedData.kernel28_1_r3_5_eq line 3122
def OAI.SharpPlanar.CachedData.kernel28_1_r3_6 line 3123
lemma OAI.SharpPlanar.CachedData.kernel28_1_r3_6_eq line 3124
def OAI.SharpPlanar.CachedData.kernel28_1_r3_7 line 3125
lemma OAI.SharpPlanar.CachedData.kernel28_1_r3_7_eq line 3126
def OAI.SharpPlanar.CachedData.kernel28_1_r3_8 line 3127
lemma OAI.SharpPlanar.CachedData.kernel28_1_r3_8_eq line 3128
def OAI.SharpPlanar.CachedData.kernel28_1_r3_9 line 3129
lemma OAI.SharpPlanar.CachedData.kernel28_1_r3_9_eq line 3130
def OAI.SharpPlanar.CachedData.kernel28_1_r3_10 line 3131
lemma OAI.SharpPlanar.CachedData.kernel28_1_r3_10_eq line 3132
def OAI.SharpPlanar.CachedData.kernel28_1_r3_11 line 3133
lemma OAI.SharpPlanar.CachedData.kernel28_1_r3_11_eq line 3134
def OAI.SharpPlanar.CachedData.kernel28_1_r3_12 line 3135
lemma OAI.SharpPlanar.CachedData.kernel28_1_r3_12_eq line 3136
def OAI.SharpPlanar.CachedData.kernel28_1_r3_13 line 3137
lemma OAI.SharpPlanar.CachedData.kernel28_1_r3_13_eq line 3138
def OAI.SharpPlanar.CachedData.kernel28_1_r3_14 line 3139
lemma OAI.SharpPlanar.CachedData.kernel28_1_r3_14_eq line 3140
def OAI.SharpPlanar.CachedData.kernel28_1_r3_15 line 3141
lemma OAI.SharpPlanar.CachedData.kernel28_1_r3_15_eq line 3142
def OAI.SharpPlanar.CachedData.kernel28_1_r3 line 3143
lemma OAI.SharpPlanar.CachedData.kernel28_1_r3_eq line 3144
def OAI.SharpPlanar.CachedData.kernel28_1_r4_0 line 3162
lemma OAI.SharpPlanar.CachedData.kernel28_1_r4_0_eq line 3163
def OAI.SharpPlanar.CachedData.kernel28_1_r4_1 line 3164
lemma OAI.SharpPlanar.CachedData.kernel28_1_r4_1_eq line 3165
def OAI.SharpPlanar.CachedData.kernel28_1_r4_2 line 3166
lemma OAI.SharpPlanar.CachedData.kernel28_1_r4_2_eq line 3167
def OAI.SharpPlanar.CachedData.kernel28_1_r4_3 line 3168
lemma OAI.SharpPlanar.CachedData.kernel28_1_r4_3_eq line 3169
def OAI.SharpPlanar.CachedData.kernel28_1_r4_4 line 3170
lemma OAI.SharpPlanar.CachedData.kernel28_1_r4_4_eq line 3171
def OAI.SharpPlanar.CachedData.kernel28_1_r4_5 line 3172
lemma OAI.SharpPlanar.CachedData.kernel28_1_r4_5_eq line 3173
def OAI.SharpPlanar.CachedData.kernel28_1_r4_6 line 3174
lemma OAI.SharpPlanar.CachedData.kernel28_1_r4_6_eq line 3175
def OAI.SharpPlanar.CachedData.kernel28_1_r4_7 line 3176
lemma OAI.SharpPlanar.CachedData.kernel28_1_r4_7_eq line 3177
def OAI.SharpPlanar.CachedData.kernel28_1_r4_8 line 3178
lemma OAI.SharpPlanar.CachedData.kernel28_1_r4_8_eq line 3179
def OAI.SharpPlanar.CachedData.kernel28_1_r4_9 line 3180
lemma OAI.SharpPlanar.CachedData.kernel28_1_r4_9_eq line 3181
def OAI.SharpPlanar.CachedData.kernel28_1_r4_10 line 3182
lemma OAI.SharpPlanar.CachedData.kernel28_1_r4_10_eq line 3183
def OAI.SharpPlanar.CachedData.kernel28_1_r4_11 line 3184
lemma OAI.SharpPlanar.CachedData.kernel28_1_r4_11_eq line 3185
def OAI.SharpPlanar.CachedData.kernel28_1_r4_12 line 3186
lemma OAI.SharpPlanar.CachedData.kernel28_1_r4_12_eq line 3187
def OAI.SharpPlanar.CachedData.kernel28_1_r4_13 line 3188
lemma OAI.SharpPlanar.CachedData.kernel28_1_r4_13_eq line 3189
def OAI.SharpPlanar.CachedData.kernel28_1_r4_14 line 3190
lemma OAI.SharpPlanar.CachedData.kernel28_1_r4_14_eq line 3191
def OAI.SharpPlanar.CachedData.kernel28_1_r4_15 line 3192
lemma OAI.SharpPlanar.CachedData.kernel28_1_r4_15_eq line 3193
def OAI.SharpPlanar.CachedData.kernel28_1_r4 line 3194
lemma OAI.SharpPlanar.CachedData.kernel28_1_r4_eq line 3195
def OAI.SharpPlanar.CachedData.kernel28_1_r5_0 line 3213
lemma OAI.SharpPlanar.CachedData.kernel28_1_r5_0_eq line 3214
def OAI.SharpPlanar.CachedData.kernel28_1_r5_1 line 3215
lemma OAI.SharpPlanar.CachedData.kernel28_1_r5_1_eq line 3216
def OAI.SharpPlanar.CachedData.kernel28_1_r5_2 line 3217
lemma OAI.SharpPlanar.CachedData.kernel28_1_r5_2_eq line 3218
def OAI.SharpPlanar.CachedData.kernel28_1_r5_3 line 3219
lemma OAI.SharpPlanar.CachedData.kernel28_1_r5_3_eq line 3220
def OAI.SharpPlanar.CachedData.kernel28_1_r5_4 line 3221
lemma OAI.SharpPlanar.CachedData.kernel28_1_r5_4_eq line 3222
def OAI.SharpPlanar.CachedData.kernel28_1_r5_5 line 3223
lemma OAI.SharpPlanar.CachedData.kernel28_1_r5_5_eq line 3224
def OAI.SharpPlanar.CachedData.kernel28_1_r5_6 line 3225
lemma OAI.SharpPlanar.CachedData.kernel28_1_r5_6_eq line 3226
def OAI.SharpPlanar.CachedData.kernel28_1_r5_7 line 3227
lemma OAI.SharpPlanar.CachedData.kernel28_1_r5_7_eq line 3228
def OAI.SharpPlanar.CachedData.kernel28_1_r5_8 line 3229
lemma OAI.SharpPlanar.CachedData.kernel28_1_r5_8_eq line 3230
def OAI.SharpPlanar.CachedData.kernel28_1_r5_9 line 3231
lemma OAI.SharpPlanar.CachedData.kernel28_1_r5_9_eq line 3232
def OAI.SharpPlanar.CachedData.kernel28_1_r5_10 line 3233
lemma OAI.SharpPlanar.CachedData.kernel28_1_r5_10_eq line 3234
def OAI.SharpPlanar.CachedData.kernel28_1_r5_11 line 3235
lemma OAI.SharpPlanar.CachedData.kernel28_1_r5_11_eq line 3236
def OAI.SharpPlanar.CachedData.kernel28_1_r5_12 line 3237
lemma OAI.SharpPlanar.CachedData.kernel28_1_r5_12_eq line 3238
def OAI.SharpPlanar.CachedData.kernel28_1_r5_13 line 3239
lemma OAI.SharpPlanar.CachedData.kernel28_1_r5_13_eq line 3240
def OAI.SharpPlanar.CachedData.kernel28_1_r5_14 line 3241
lemma OAI.SharpPlanar.CachedData.kernel28_1_r5_14_eq line 3242
def OAI.SharpPlanar.CachedData.kernel28_1_r5_15 line 3243
lemma OAI.SharpPlanar.CachedData.kernel28_1_r5_15_eq line 3244
def OAI.SharpPlanar.CachedData.kernel28_1_r5 line 3245
lemma OAI.SharpPlanar.CachedData.kernel28_1_r5_eq line 3246
def OAI.SharpPlanar.CachedData.kernel28_1 line 3264
lemma OAI.SharpPlanar.CachedData.kernel28_1_eq line 3265
lemma OAI.SharpPlanar.CachedData.kernel28_1_contains line 3273