NFE Home New Foundations Explorer < Previous   Next >
Nearby theorems
Mirrors  >  Home  >  NFE Home  >  Th. List  >  dfswap2 Unicode version

Theorem dfswap2 4741
Description: Express the Swap function via set construction operators. (Contributed by SF, 6-Jan-2015.)
Assertion
Ref Expression
dfswap2 Swap Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1ck1 1 1 1 1ck1 1ck

Proof of Theorem dfswap2
Dummy variables are mutually distinct and distinct from all other variables.
StepHypRef Expression
1 opkex 4113 . . . . . . 7
21elimak 4259 . . . . . 6 Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1ck1 1 1 1 1ck1 1c 1 1c Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1ck1 1 1 1 1c
3 df-rex 2620 . . . . . 6 1 1c Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1ck1 1 1 1 1c 1 1c Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1ck1 1 1 1 1c
4 elpw11c 4147 . . . . . . . . . 10 1 1c
54anbi1i 676 . . . . . . . . 9 1 1c Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1ck1 1 1 1 1c Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1ck1 1 1 1 1c
6 19.41v 1901 . . . . . . . . 9 Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1ck1 1 1 1 1c Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1ck1 1 1 1 1c
75, 6bitr4i 243 . . . . . . . 8 1 1c Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1ck1 1 1 1 1c Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1ck1 1 1 1 1c
87exbii 1582 . . . . . . 7 1 1c Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1ck1 1 1 1 1c Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1ck1 1 1 1 1c
9 excom 1741 . . . . . . 7 Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1ck1 1 1 1 1c Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1ck1 1 1 1 1c
108, 9bitr4i 243 . . . . . 6 1 1c Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1ck1 1 1 1 1c Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1ck1 1 1 1 1c
112, 3, 103bitri 262 . . . . 5 Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1ck1 1 1 1 1ck1 1c Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1ck1 1 1 1 1c
12 snex 4111 . . . . . . . 8
13 opkeq1 4059 . . . . . . . . 9
1413eleq1d 2419 . . . . . . . 8 Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1ck1 1 1 1 1c Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1ck1 1 1 1 1c
1512, 14ceqsexv 2894 . . . . . . 7 Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1ck1 1 1 1 1c Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1ck1 1 1 1 1c
16 opkex 4113 . . . . . . . . . . . 12
1716elimak 4259 . . . . . . . . . . 11 Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1ck1 1 1 1 1c 1 1 1 1 1c Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1c
18 df-rex 2620 . . . . . . . . . . 11 1 1 1 1 1c Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1c 1 1 1 1 1c Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1c
19 elpw141c 4150 . . . . . . . . . . . . . . 15 1 1 1 1 1c
2019anbi1i 676 . . . . . . . . . . . . . 14 1 1 1 1 1c Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1c Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1c
21 19.41v 1901 . . . . . . . . . . . . . 14 Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1c Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1c
2220, 21bitr4i 243 . . . . . . . . . . . . 13 1 1 1 1 1c Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1c Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1c
2322exbii 1582 . . . . . . . . . . . 12 1 1 1 1 1c Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1c Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1c
24 excom 1741 . . . . . . . . . . . 12 Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1c Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1c
2523, 24bitr4i 243 . . . . . . . . . . 11 1 1 1 1 1c Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1c Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1c
2617, 18, 253bitri 262 . . . . . . . . . 10 Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1ck1 1 1 1 1c Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1c
27 snex 4111 . . . . . . . . . . . . 13
28 opkeq1 4059 . . . . . . . . . . . . . 14
2928eleq1d 2419 . . . . . . . . . . . . 13 Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1c Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1c
3027, 29ceqsexv 2894 . . . . . . . . . . . 12 Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1c Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1c
31 elsymdif 3223 . . . . . . . . . . . 12 Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1c Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1c
32 snex 4111 . . . . . . . . . . . . . . . 16
3332, 12, 1otkelins2k 4255 . . . . . . . . . . . . . . 15 Ins2k Ins2k Sk Ins2k Sk
34 snex 4111 . . . . . . . . . . . . . . . 16
35 vex 2862 . . . . . . . . . . . . . . . 16
36 vex 2862 . . . . . . . . . . . . . . . 16
3734, 35, 36otkelins2k 4255 . . . . . . . . . . . . . . 15 Ins2k Sk Sk
38 vex 2862 . . . . . . . . . . . . . . . 16
3938, 36elssetk 4270 . . . . . . . . . . . . . . 15 Sk
4033, 37, 393bitri 262 . . . . . . . . . . . . . 14 Ins2k Ins2k Sk
41 opkex 4113 . . . . . . . . . . . . . . . . . . 19
4241elimak 4259 . . . . . . . . . . . . . . . . . 18 Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c 1 1 1 1 1 1 1c Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k
43 elpw161c 4152 . . . . . . . . . . . . . . . . . . . . . 22 1 1 1 1 1 1 1c
4443anbi1i 676 . . . . . . . . . . . . . . . . . . . . 21 1 1 1 1 1 1 1c Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k
45 19.41v 1901 . . . . . . . . . . . . . . . . . . . . 21 Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k
4644, 45bitr4i 243 . . . . . . . . . . . . . . . . . . . 20 1 1 1 1 1 1 1c Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k
4746exbii 1582 . . . . . . . . . . . . . . . . . . 19 1 1 1 1 1 1 1c Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k
48 df-rex 2620 . . . . . . . . . . . . . . . . . . 19 1 1 1 1 1 1 1c Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k 1 1 1 1 1 1 1c Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k
49 excom 1741 . . . . . . . . . . . . . . . . . . 19 Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k
5047, 48, 493bitr4i 268 . . . . . . . . . . . . . . . . . 18 1 1 1 1 1 1 1c Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k
51 snex 4111 . . . . . . . . . . . . . . . . . . . . 21
52 opkeq1 4059 . . . . . . . . . . . . . . . . . . . . . 22
5352eleq1d 2419 . . . . . . . . . . . . . . . . . . . . 21 Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k
5451, 53ceqsexv 2894 . . . . . . . . . . . . . . . . . . . 20 Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k
55 elin 3219 . . . . . . . . . . . . . . . . . . . 20 Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k
56 elun 3220 . . . . . . . . . . . . . . . . . . . . . . 23 Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c
57 snex 4111 . . . . . . . . . . . . . . . . . . . . . . . . . 26
5857, 12, 1otkelins2k 4255 . . . . . . . . . . . . . . . . . . . . . . . . 25 Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k
59 snex 4111 . . . . . . . . . . . . . . . . . . . . . . . . . 26
6059, 35, 36otkelins3k 4256 . . . . . . . . . . . . . . . . . . . . . . . . 25 Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k
61 vex 2862 . . . . . . . . . . . . . . . . . . . . . . . . . 26
6261, 35setconslem1 4731 . . . . . . . . . . . . . . . . . . . . . . . . 25 Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Phi
6358, 60, 623bitri 262 . . . . . . . . . . . . . . . . . . . . . . . 24 Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Phi
6457, 12, 1otkelins3k 4256 . . . . . . . . . . . . . . . . . . . . . . . . 25 Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c
65 snex 4111 . . . . . . . . . . . . . . . . . . . . . . . . . 26
66 snex 4111 . . . . . . . . . . . . . . . . . . . . . . . . . 26
6765, 66opksnelsik 4265 . . . . . . . . . . . . . . . . . . . . . . . . 25 SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c
68 vex 2862 . . . . . . . . . . . . . . . . . . . . . . . . . . 27
6959, 68opksnelsik 4265 . . . . . . . . . . . . . . . . . . . . . . . . . 26 SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c
7061, 68setconslem2 4732 . . . . . . . . . . . . . . . . . . . . . . . . . 26 Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Phi 0c
7169, 70bitri 240 . . . . . . . . . . . . . . . . . . . . . . . . 25 SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Phi 0c
7264, 67, 713bitri 262 . . . . . . . . . . . . . . . . . . . . . . . 24 Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Phi 0c
7363, 72orbi12i 507 . . . . . . . . . . . . . . . . . . . . . . 23 Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Phi Phi 0c
7456, 73bitri 240 . . . . . . . . . . . . . . . . . . . . . 22 Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Phi Phi 0c
75 snex 4111 . . . . . . . . . . . . . . . . . . . . . . 23
7675, 27, 16otkelins2k 4255 . . . . . . . . . . . . . . . . . . . . . 22 Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c
77 df-op 4566 . . . . . . . . . . . . . . . . . . . . . . . 24 Phi Phi 0c
7877eleq2i 2417 . . . . . . . . . . . . . . . . . . . . . . 23 Phi Phi 0c
79 elun 3220 . . . . . . . . . . . . . . . . . . . . . . 23 Phi Phi 0c Phi Phi 0c
80 abid 2341 . . . . . . . . . . . . . . . . . . . . . . . 24 Phi Phi
81 abid 2341 . . . . . . . . . . . . . . . . . . . . . . . 24 Phi 0c Phi 0c
8280, 81orbi12i 507 . . . . . . . . . . . . . . . . . . . . . . 23 Phi Phi 0c Phi Phi 0c
8378, 79, 823bitri 262 . . . . . . . . . . . . . . . . . . . . . 22 Phi Phi 0c
8474, 76, 833bitr4i 268 . . . . . . . . . . . . . . . . . . . . 21 Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c
8575, 27, 16otkelins3k 4256 . . . . . . . . . . . . . . . . . . . . . 22 Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k
86 snex 4111 . . . . . . . . . . . . . . . . . . . . . . 23
87 snex 4111 . . . . . . . . . . . . . . . . . . . . . . 23
8886, 87opksnelsik 4265 . . . . . . . . . . . . . . . . . . . . . 22 SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k
8957, 32opksnelsik 4265 . . . . . . . . . . . . . . . . . . . . . . 23 SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k
90 snex 4111 . . . . . . . . . . . . . . . . . . . . . . . 24
9165, 90opksnelsik 4265 . . . . . . . . . . . . . . . . . . . . . . 23 SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k
9259, 34opksnelsik 4265 . . . . . . . . . . . . . . . . . . . . . . . 24 SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k
9361, 38opksnelsik 4265 . . . . . . . . . . . . . . . . . . . . . . . 24 SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k
9461, 38opkelimagek 4272 . . . . . . . . . . . . . . . . . . . . . . . . 25 ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Imagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k
95 dfphi2 4569 . . . . . . . . . . . . . . . . . . . . . . . . . 26 Phi Imagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k
9695eqeq2i 2363 . . . . . . . . . . . . . . . . . . . . . . . . 25 Phi Imagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k
9794, 96bitr4i 243 . . . . . . . . . . . . . . . . . . . . . . . 24 ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Phi
9892, 93, 973bitri 262 . . . . . . . . . . . . . . . . . . . . . . 23 SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Phi
9989, 91, 983bitri 262 . . . . . . . . . . . . . . . . . . . . . 22 SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Phi
10085, 88, 993bitri 262 . . . . . . . . . . . . . . . . . . . . 21 Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Phi
10184, 100anbi12i 678 . . . . . . . . . . . . . . . . . . . 20 Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Phi
10254, 55, 1013bitri 262 . . . . . . . . . . . . . . . . . . 19 Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Phi
103102exbii 1582 . . . . . . . . . . . . . . . . . 18 Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Phi
10442, 50, 1033bitri 262 . . . . . . . . . . . . . . . . 17 Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Phi
105 df-rex 2620 . . . . . . . . . . . . . . . . 17 Phi Phi
106104, 105bitr4i 243 . . . . . . . . . . . . . . . 16 Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Phi
10752eleq1d 2419 . . . . . . . . . . . . . . . . . . . 20 Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1c
10851, 107ceqsexv 2894 . . . . . . . . . . . . . . . . . . 19 Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1c
109 elin 3219 . . . . . . . . . . . . . . . . . . 19 Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1c
11075, 27, 16otkelins2k 4255 . . . . . . . . . . . . . . . . . . . . . 22 Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c
111 elun 3220 . . . . . . . . . . . . . . . . . . . . . 22 Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c
11257, 12, 1otkelins3k 4256 . . . . . . . . . . . . . . . . . . . . . . . 24 Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k
11365, 66opksnelsik 4265 . . . . . . . . . . . . . . . . . . . . . . . 24 SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k
11459, 68opksnelsik 4265 . . . . . . . . . . . . . . . . . . . . . . . . 25 SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k
11561, 68setconslem1 4731 . . . . . . . . . . . . . . . . . . . . . . . . 25 Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Phi
116114, 115bitri 240 . . . . . . . . . . . . . . . . . . . . . . . 24 SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Phi
117112, 113, 1163bitri 262 . . . . . . . . . . . . . . . . . . . . . . 23 Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Phi
11857, 12, 1otkelins2k 4255 . . . . . . . . . . . . . . . . . . . . . . . 24 Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c
11959, 35, 36otkelins3k 4256 . . . . . . . . . . . . . . . . . . . . . . . 24 Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c
12061, 35setconslem2 4732 . . . . . . . . . . . . . . . . . . . . . . . 24 Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Phi 0c
121118, 119, 1203bitri 262 . . . . . . . . . . . . . . . . . . . . . . 23 Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Phi 0c
122117, 121orbi12i 507 . . . . . . . . . . . . . . . . . . . . . 22 Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Phi Phi 0c
123110, 111, 1223bitri 262 . . . . . . . . . . . . . . . . . . . . 21 Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Phi Phi 0c
124 df-op 4566 . . . . . . . . . . . . . . . . . . . . . . 23 Phi Phi 0c
125124eleq2i 2417 . . . . . . . . . . . . . . . . . . . . . 22 Phi Phi 0c
126 elun 3220 . . . . . . . . . . . . . . . . . . . . . 22 Phi Phi 0c Phi Phi 0c
127 abid 2341 . . . . . . . . . . . . . . . . . . . . . . 23 Phi Phi
128 abid 2341 . . . . . . . . . . . . . . . . . . . . . . 23 Phi 0c Phi 0c
129127, 128orbi12i 507 . . . . . . . . . . . . . . . . . . . . . 22 Phi Phi 0c Phi Phi 0c
130125, 126, 1293bitri 262 . . . . . . . . . . . . . . . . . . . . 21 Phi Phi 0c
131123, 130bitr4i 243 . . . . . . . . . . . . . . . . . . . 20 Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c
13275, 27, 16otkelins3k 4256 . . . . . . . . . . . . . . . . . . . . 21 Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1c SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1c
13386, 87opksnelsik 4265 . . . . . . . . . . . . . . . . . . . . 21 SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1c SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1c
13457, 32opksnelsik 4265 . . . . . . . . . . . . . . . . . . . . . 22 SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1c SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1c
13565, 90opksnelsik 4265 . . . . . . . . . . . . . . . . . . . . . 22 SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1c SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1c
13659, 34opksnelsik 4265 . . . . . . . . . . . . . . . . . . . . . . 23 SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1c SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1c
13761, 38opksnelsik 4265 . . . . . . . . . . . . . . . . . . . . . . 23 SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1c Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1c
138 dfop2lem1 4573 . . . . . . . . . . . . . . . . . . . . . . 23 Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1c Phi 0c
139136, 137, 1383bitri 262 . . . . . . . . . . . . . . . . . . . . . 22 SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1c Phi 0c
140134, 135, 1393bitri 262 . . . . . . . . . . . . . . . . . . . . 21 SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1c Phi 0c
141132, 133, 1403bitri 262 . . . . . . . . . . . . . . . . . . . 20 Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1c Phi 0c
142131, 141anbi12i 678 . . . . . . . . . . . . . . . . . . 19 Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1c Phi 0c
143108, 109, 1423bitri 262 . . . . . . . . . . . . . . . . . 18 Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1c Phi 0c
144143exbii 1582 . . . . . . . . . . . . . . . . 17 Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1c Phi 0c
14541elimak 4259 . . . . . . . . . . . . . . . . . 18 Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1c 1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1c
146 df-rex 2620 . . . . . . . . . . . . . . . . . . 19 1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1c 1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1c
14743anbi1i 676 . . . . . . . . . . . . . . . . . . . . 21 1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1c
148 19.41v 1901 . . . . . . . . . . . . . . . . . . . . 21 Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1c
149147, 148bitr4i 243 . . . . . . . . . . . . . . . . . . . 20 1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1c
150149exbii 1582 . . . . . . . . . . . . . . . . . . 19 1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1c
151146, 150bitri 240 . . . . . . . . . . . . . . . . . 18 1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1c
152 excom 1741 . . . . . . . . . . . . . . . . . 18 Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1c
153145, 151, 1523bitri 262 . . . . . . . . . . . . . . . . 17 Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1c
154 df-rex 2620 . . . . . . . . . . . . . . . . 17 Phi 0c Phi 0c
155144, 153, 1543bitr4i 268 . . . . . . . . . . . . . . . 16 Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1c Phi 0c
156106, 155orbi12i 507 . . . . . . . . . . . . . . 15 Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1c Phi Phi 0c
157 elun 3220 . . . . . . . . . . . . . . 15 Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1c Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1c
158 df-op 4566 . . . . . . . . . . . . . . . . 17 Phi Phi 0c
159158eleq2i 2417 . . . . . . . . . . . . . . . 16 Phi Phi 0c
160 elun 3220 . . . . . . . . . . . . . . . 16 Phi Phi 0c Phi Phi 0c
161 abid 2341 . . . . . . . . . . . . . . . . 17 Phi Phi
162 abid 2341 . . . . . . . . . . . . . . . . 17 Phi 0c Phi 0c
163161, 162orbi12i 507 . . . . . . . . . . . . . . . 16 Phi Phi 0c Phi Phi 0c
164159, 160, 1633bitri 262 . . . . . . . . . . . . . . 15 Phi Phi 0c
165156, 157, 1643bitr4i 268 . . . . . . . . . . . . . 14 Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1c
16640, 165bibi12i 306 . . . . . . . . . . . . 13 Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1c
167166notbii 287 . . . . . . . . . . . 12 Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1c
16830, 31, 1673bitri 262 . . . . . . . . . . 11 Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1c
169168exbii 1582 . . . . . . . . . 10 Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1c
170 exnal 1574 . . . . . . . . . 10
17126, 169, 1703bitri 262 . . . . . . . . 9 Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1ck1 1 1 1 1c
172171con2bii 322 . . . . . . . 8 Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1ck1 1 1 1 1c
173 dfcleq 2347 . . . . . . . 8
17416elcompl 3225 . . . . . . . 8 Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1ck1 1 1 1 1c Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1ck1 1 1 1 1c
175172, 173, 1743bitr4ri 269 . . . . . . 7 Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1ck1 1 1 1 1c
17615, 175bitri 240 . . . . . 6 Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1ck1 1 1 1 1c
177176exbii 1582 . . . . 5 Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1ck1 1 1 1 1c
17811, 177bitr2i 241 . . . 4 Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1ck1 1 1 1 1ck1 1c
179178exbii 1582 . . 3 Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1ck1 1 1 1 1ck1 1c
180 elswap 4740 . . 3 Swap
18136elimakv 4260 . . 3 Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1ck1 1 1 1 1ck1 1ck Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1ck1 1 1 1 1ck1 1c
182179, 180, 1813bitr4i 268 . 2 Swap Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1ck1 1 1 1 1ck1 1ck
183182eqriv 2350 1 Swap Ins2k Ins2k Sk Ins2k Ins2k Ins3k Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins3k SIk SIk Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk ImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k1 1 1 1 1 1 1c Ins2k Ins3k SIk SIk Sk k SIk kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k Ins2k Ins3k Ins2k Sk Ins3k SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1c Ins3k SIk SIk SIk SIk SIk Ins2k Sk Ins3k kImagekImagek Ins3k Ins3k Sk Ins2k Sk k1 1 1c Ins2k Ins2k Sk Ins2k Ins3k Sk Ins3k SIk SIk Sk k1 1 1 1 1ck1 1 1c Nn k k Nn k k Sk 0c k k1 1 1ck1 1 1 1 1 1 1ck1 1 1 1 1ck1 1ck
Colors of variables: wff setvar class
Syntax hints:   wn 3   wb 176   wo 357   wa 358  wal 1540  wex 1541   wceq 1642   wcel 1710  cab 2339  wrex 2615  cvv 2859   ∼ ccompl 3205   cdif 3206   cun 3207   cin 3208   csymdif 3209  csn 3737  copk 4057  1cc1c 4134  1 cpw1 4135   k cxpk 4174  kccnvk 4175   Ins2k cins2k 4176   Ins3k cins3k 4177  kcimak 4179   k ccomk 4180   SIk csik 4181  Imagekcimagek 4182   Sk cssetk 4183   k cidk 4184   Nn cnnc 4373  0cc0c 4374  cop 4561   Phi cphi 4562   Swap cswap 4718
This theorem was proved from axioms:  ax-mp 5  ax-1 6  ax-2 7  ax-3 8  ax-gen 1546  ax-5 1557  ax-17 1616  ax-9 1654  ax-8 1675  ax-6 1729  ax-7 1734  ax-11 1746  ax-12 1925  ax-ext 2334  ax-nin 4078  ax-xp 4079  ax-cnv 4080  ax-1c 4081  ax-sset 4082  ax-si 4083  ax-ins2 4084  ax-ins3 4085  ax-typlower 4086  ax-sn 4087
This theorem depends on definitions:  df-bi 177  df-or 359  df-an 360  df-3an 936  df-nan 1288  df-tru 1319  df-ex 1542  df-nf 1545  df-sb 1649  df-clab 2340  df-cleq 2346  df-clel 2349  df-nfc 2478  df-ne 2518  df-ral 2619  df-rex 2620  df-v 2861  df-sbc 3047  df-nin 3211  df-compl 3212  df-in 3213  df-un 3214  df-dif 3215  df-symdif 3216  df-ss 3259  df-nul 3551  df-if 3663  df-pw 3724  df-sn 3741  df-pr 3742  df-uni 3892  df-int 3927  df-opk 4058  df-1c 4136  df-pw1 4137  df-uni1 4138  df-xpk 4185  df-cnvk 4186  df-ins2k 4187  df-ins3k 4188  df-imak 4189  df-cok 4190  df-p6 4191  df-sik 4192  df-ssetk 4193  df-imagek 4194  df-idk 4195  df-addc 4378  df-nnc 4379  df-phi 4565  df-op 4566  df-opab 4623  df-swap 4724
This theorem is referenced by:  swapex  4742
  Copyright terms: Public domain W3C validator