ConceptProd/Exteor
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
main
Exteor/test/Data/FileVers/oss/r1800/МО1-3.trs

23 lines
29 KiB
Plaintext
Raw Permalink Normal View History

Initial commit
2024-06-07 20:30:06 +03:00
<EFBFBD><EFBFBD><EFBFBD> __@VERSION@__<00><><EFBFBD>Exteor 4.6 R1800 - 09/21/2018<00><><EFBFBD>'>AB0=>2:0 7040G8 2 >1CG5=88 A CG8B5;5<<04><><EFBFBD>1-3<00><><EFBFBD> [1 + 1-2]D<00><><EFBFBD>X1<00><><EFBFBD><00><><EFBFBD><00><><EFBFBD>=>65AB2> ?@87=0:>2<04><><EFBFBD>=>65AB2> ?@87=0:>2<00><><EFBFBD>@87=0:8<04><><EFBFBD>@87=0:8<04><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD>
<00><><EFBFBD>X2<00><><EFBFBD><00><><EFBFBD><00><><EFBFBD>=>65AB2> 7=0G5=89 ?@87=0:>2<04><><EFBFBD>=>65AB2> 7=0G5=89 ?@87=0:>2<00><><EFBFBD>=0G5=8O @{X1|GENT|PLUR|0}<00><><EFBFBD>=0G5=8O ?@87=0:>2<04><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><>>b<><62><EFBFBD>X3<00><><EFBFBD><00><><EFBFBD><00><><EFBFBD>=>65AB2> @{X3|GENT|PLUR|0}<00><><EFBFBD>=>65AB2> >B25B>2<00><><EFBFBD>B25BK<04><><EFBFBD>B25BK<04><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD>k<>BQ<42><51><EFBFBD>X4<00><><EFBFBD><00><><EFBFBD><00><><EFBFBD>=>65AB2> 7=0G5=89 @0AAB>O=89<04><><EFBFBD>=>65AB2> 7=0G5=89 @0AAB>O=89<00><><EFBFBD>=0G5=8O @0AAB>O=89<04><><EFBFBD>=0G5=8O @0AAB>O=89<04><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD>uB<75>
<EFBFBD><EFBFBD><EFBFBD>X5<00><><EFBFBD><00><><EFBFBD><00><><EFBFBD>!=>65AB2> 7=0G5=89 DC=:F88 ?>B5@L<04><><EFBFBD>!=>65AB2> 7=0G5=89 DC=:F88 ?>B5@L<00><><EFBFBD>=0G5=8O DC=:F88 ?>B5@L<04><><EFBFBD>=0G5=8O DC=:F88 ?>B5@L<04><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD>S1<00><><EFBFBD><00><><EFBFBD> ,!,!(X<00> <20>X<00> )<00><><EFBFBD>=>65AB2> @{S1|GENT|PLUR|0}<00><><EFBFBD>=>65AB2> >1J5:B>2<00><><EFBFBD>1J5:BK<04><><EFBFBD>1J5:BK<04><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD>Ύl<06><><EFBFBD>S2<00><><EFBFBD><00><><EFBFBD>,!(,!(X<00> <20>X<00> )<00>X<00> )<00><><EFBFBD>0=>65AB2> @{X3|GENT|PLUR|0} =0 @{S1|LOCT|PLUR|0}<00><><EFBFBD>=>65AB2> >B25B>2 =0 >1J5:B0E<00><><EFBFBD>1CG0NI0O 2K1>@:0<04><><EFBFBD>1CG0NI0O 2K1>@:0<04><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00>h<EFBFBD>D<EFBFBD><44><EFBFBD>S3<00><><EFBFBD><00><><EFBFBD> ,!(X<00> <20>X<00> <20>X<00> )<00><><EFBFBD>@=>65AB2> B@>5:: >48= >B25B, 4@C3>9 >B25B 8 @0AAB>=85 <564C =8<8<04><><EFBFBD>@=>65AB2> B@>5:: >48= >B25B, 4@C3>9 >B25B 8 @0AAB>=85 <564C =8<8<00><><EFBFBD>B=>H5=85 @07;8G8O >B25B>2<04><><EFBFBD>B=>H5=85 @07;8G8O >B25B>2<04><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD>+j<><16><><EFBFBD>S4<00><><EFBFBD><00><><EFBFBD>,!(,!(X<00> <20>X<00> )<00>X<00> )<00><><EFBFBD>>;CG5==K5 >B25BK =0 >1J5:B0E<04><><EFBFBD>>;CG5==K5 >B25BK =0 >1J5:B0E<00><><EFBFBD> 5H0NI0O DC=:F8O<04><><EFBFBD> 5H0NI0O DC=:F8O<04><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD>=<3D>@C<><43><EFBFBD>S5<00><><EFBFBD><00><><EFBFBD>,!(X<00> <20>X<00> )<00><><EFBFBD>D=>65AB2> ?0@: >4=> 7=0G5=8O @0AAB>O=8O 8 4@C3>5 7=0G5=85 @0AAB>O=8O<04><><EFBFBD>D=>65AB2> ?0@: >4=> 7=0G5=8O @0AAB>O=8O 8 4@C3>5 7=0G5=85 @0AAB>O=8O<00><><EFBFBD>>@O4>: =0 @0AAB>O=8OE<04><><EFBFBD>>@O4>: =0 @0AAB>O=8OE<04><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00>tEp<45><70><EFBFBD>S6<00><><EFBFBD><00><><EFBFBD>,!(,!(,!(X<00> <20>X<00> )<00>X<00> )<00>X<00> )<00><><EFBFBD>,#A@54=5==>5 7=0G5=85 >H81:8 ?> 2A5< >1J5:B0<<04><><EFBFBD>,#A@54=5==>5 7=0G5=85 >H81:8 ?> 2A5< >1J5:B0<<00><><EFBFBD>$C=:F8O ?>B5@L<04><><EFBFBD>$C=:F8O ?>B5@L<04><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD>#=<3D>D<EFBFBD><44><EFBFBD>S7<00><><EFBFBD><00><><EFBFBD>,!(X<00> )<00><><EFBFBD>>4<=>65AB2> >1H8E >H81>:<04><><EFBFBD>>4<=>65AB2> >1H8E >H81>:<00><><EFBFBD>"@8B5@89 ?@8=OB8O @5H0NI59 DC=:F88<04><><EFBFBD>"@8B5@89 ?@8=OB8O @5H0NI59 DC=:F88<04><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00>Ͳ<00><><EFBFBD>S8<00><><EFBFBD><00><><EFBFBD>,!(X<00> <20>X<00> )<00><><EFBFBD>L=>65AB2> ?0@: >4=> 7=0G5=85 DC=F:88 ?>B5@L 8 4@C3>5 7=0G5=85 DC=:F88 ?>B5@L<04><><EFBFBD>L=>65AB2> ?0@: >4=> 7=0G5=85 DC=F:88 ?>B5@L 8 4@C3>5 7=0G5=85 DC=:F88 ?>B5@L<00><><EFBFBD>#>@O4>: =0 7=0G5=8OE DC=:F88 ?>B5@L<04><><EFBFBD>#>@O4>: =0 7=0G5=8OE DC=:F88 ?>B5@L<04><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD>!<00><><EFBFBD>D1<00><><EFBFBD><00><><EFBFBD>Pr<00> (S<00> )<00><><EFBFBD>/=>65AB2> @{S1|GENT|PLUR|0} A @{X3|ABLT|PLUR|0}<00><><EFBFBD>=>65AB2> >1J5:B>2 A >B25B0<8<00><><EFBFBD>1J5:BK 2 >1CG0NI59 2K1>@:5<04><><EFBFBD>1J5:BK 2 >1CG0NI59 2K1>@:5<04><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD>/<00><><EFBFBD>D2<00><><EFBFBD><00><><EFBFBD>Pr<00> (S<00> )<00><><EFBFBD>%=>65AB2> >B25B>2 2 >1CG0NI59 2K1>@:5<04><><EFBFBD>%=>65AB2> >B25B>2 2 >1CG0NI59 2K1>@:5<00><><EFBFBD>B25BK 2 >1CG0NI59 2K1>@:5<04><><EFBFBD>B25BK 2 >1CG0NI59 2K1>@:5<04><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00>
<00><><EFBFBD>1=>65AB2> 7=0G5=89 ?@87=0:>2 2 >1CG0NI59 2K1>@:5
<00><><EFBFBD>&=0G5=8O ?@87=0:>2 2 >1CG0NI59 2K1>@:5<04><><EFBFBD>&=0G5=8O ?@87=0:>2 2 >1CG0NI59 2K1>@:5<04><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD>#<00><><EFBFBD>A1<00><><EFBFBD><00><><EFBFBD>D<00> `""<22><><EFBFBD>!0 =5:>B>@KE >1J5:B0E =5B >B25B>2<04><><EFBFBD>!0 =5:>B>@KE >1J5:B0E =5B >B25B>2<00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD>9<00><><EFBFBD>A2<00><><EFBFBD>
<00><><EFBFBD>D<00> ="<22><><EFBFBD>8 >1CG0NI59 2K1>@:5 >1J5:BK B>;L:> 87 <=>65AB20 >1J5:B>2<04><><EFBFBD>8 >1CG0NI59 2K1>@:5 >1J5:BK B>;L:> 87 <=>65AB20 >1J5:B>2<00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD>$<00><><EFBFBD>A3<00><><EFBFBD><00><><EFBFBD> card(S<00> ) > 50<00><><EFBFBD>3@0=8G5=85 =0 @07<5@ 2K1>@:8<04><><EFBFBD>3@0=8G5=85 =0 @07<5@ 2K1>@:8<00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD>0<00><><EFBFBD>A4<00><><EFBFBD><00><><EFBFBD>D<00> =X<00> <20><><EFBFBD>A>;CG05< ?@8 >1CG5=88 B>;L:> >B25BK, 7040==K5 2 >1CG0NI59 2K1>@:5<04><><EFBFBD>A>;CG05< ?@8 >1CG5=88 B>;L:> >B25BK, 7040==K5 2 >1CG0NI59 2K1>@:5<00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD>2<00><><EFBFBD>A5<00><><EFBFBD><00><><EFBFBD>D<00> =X<00> <20><><EFBFBD>, >1CG0NI59 2K1>@:5 B>;L:> 7040==K5 ?@87=0:8<04><><EFBFBD>, >1CG0NI59 2K1>@:5 B>;L:> 7040==K5 ?@87=0:8<00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD>4<00><><EFBFBD>A6<00><><EFBFBD><00><><EFBFBD>D<00> =X<00> <20><><EFBFBD>6 >1CG0NI59 2K1>@:5 B>;L:> 7040==K5 7=0G5=8O ?@87=0:>2<04><><EFBFBD>6 >1CG0NI59 2K1>@:5 B>;L:> 7040==K5 7=0G5=8O ?@87=0:>2<00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD>5<00><><EFBFBD>A7<00><><EFBFBD><00><><EFBFBD>"<22>",!(X<00> <20>X<00> )"<22>"X<00> (<00>,<00>)"S<00> <20><><EFBFBD>3;O :064>3> >1J5:B0 87 >1CG0NI59 2K1>@:8 5ABL >B25B<04><><EFBFBD>3;O :064>3> >1J5:B0 87 >1CG0NI59 2K1>@:8 5ABL >B25B<00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD>6<00><><EFBFBD>A8<00><><EFBFBD><00><><EFBFBD>/"<22>",!(X<00> <20>X<00> )"<22>"X<00> "<22>"X<00> ((<00>,<00>)"S<00> & (<00>,<00>)"S<00> <20>!<21>=<00>)<00><><EFBFBD>E;O :064>3> >1J5:B0 87 >1CG0NI59 2K1>@:8 5ABL >B25B 8 >= 548=AB25==K9<04><><EFBFBD>E;O :064>3> >1J5:B0 87 >1CG0NI59 2K1>@:8 5ABL >B25B 8 >= 548=AB25==K9<00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD>:<00><><EFBFBD>A9<00><><EFBFBD><00><><EFBFBD>$"<22>, <00>"S<00> (<00>`"" & <00>`"" <00>! Pr<00> (<00>)=Pr<00> (<00>))<00><><EFBFBD>9A5 >1J5:BK 4>;6=K 1KBL A >48=0:>2K<8 =01>@0<8 ?@87=0:>2 <00><><EFBFBD>9A5 >1J5:BK 4>;6=K 1KBL A >48=0:>2K<8 =01>@0<8 ?@87=0:>2 <00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD>;<00><><EFBFBD>A10<00><><EFBFBD><00><><EFBFBD>-"<22>"S<00> "<22>"X<00> "<22>,<00>"X<00> ((<00>,<00>)"<22> & (<00>,<00>)"<22> <00>! <00>=<00>)<00><><EFBFBD>1;O :064>3> ?@87=0:0 >1J5:B0 B>;L:> >4=> 7=0G5=85<04><><EFBFBD>1;O :064>3> ?@87=0:0 >1J5:B0 B>;L:> >4=> 7=0G5=85<00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD>><00><><EFBFBD>D7<00><><EFBFBD><00><><EFBFBD>`{(<00>;<00>)"X<00> <20>,!(S<00> ) |
"<22><03> ,<00><03> "<22> (<00><03> \({<00>}<00>X<00> )"<22><03> ) = <00><03> \({<00>}<00>X<00> )"<22><03> ) & Pr<00> ({<00>}<00>X<00> )"<22><03> ) `" Pr<00> ({<00>}<00>X<00> )"<22><03> ))}<00><><EFBFBD>Q=>65AB2> ?0@: ?@87=0: 8 >1J5:BK, @07;8G0NI85AO B>;L:> ?> 7=0G5=8N MB>3> ?@87=0:0<04><><EFBFBD>Q=>65AB2> ?0@: ?@87=0: 8 >1J5:BK, @07;8G0NI85AO B>;L:> ?> 7=0G5=8N MB>3> ?@87=0:0<00><><EFBFBD>!E>685 ?> ?@87=0:0< >1J5:BK <00><><EFBFBD>!E>685 ?> ?@87=0:0< >1J5:BK <00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD>@<00><><EFBFBD>D8<00><><EFBFBD><00><><EFBFBD>e{(<00>;<00>)"D<00> | "<22><03> , <00><03> " <00> (<00><03> " D<00> & <00><03> " D<00> & <00><03> `" <00><03> & Pr<00> ({<00><03> }<00>Pr<00> (S<00> ))"S<00> ) = Pr<00> ({<00><03> }<00>Pr<00> (S<00> ))"S<00> ))}<00><><EFBFBD>h=>65AB2> ?0@: ?@87=0: 8 >1J5:BK A >48=0:>2K<8 >B25B0<8, @07;8G0NI85AO B>;L:> ?> 7=0G5=8N MB>3> ?@87=0:0<04><><EFBFBD>h=>65AB2> ?0@: ?@87=0: 8 >1J5:BK A >48=0:>2K<8 >B25B0<8, @07;8G0NI85AO B>;L:> ?> 7=0G5=8N MB>3> ?@87=0:0<00><><EFBFBD>3!E>685 ?> ?@87=0:0< >1J5:BK A >48=0:>2K<8 >B25B0<8 <00><><EFBFBD>3!E>685 ?> ?@87=0:0< >1J5:BK A >48=0:>2K<8 >B25B0<8 <00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD>?<00><><EFBFBD>D9<00><><EFBFBD><00><><EFBFBD>4{<00>"X<00> | 3*card(debool(Pr<00> ({<00>}<00>Pr<00> (D<00> ))"D<00> )))>card(S<00> )}<00><><EFBFBD><EFBFBD>A;8 2 >1CG0NI59 2K1>@:5 B@5BL >1J5:B>2 @07;8G05BAO B>;L:> ?> >4=><C ?@87=0:C 8 >B25B =0 MB8E >1J5:B0E >48=0:>2K9, B> MB>B ?@87=0: 87;8H5= <00><><EFBFBD><EFBFBD>A;8 2 >1CG0NI59 2K1>@:5 B@5BL >1J5:B>2 @07;8G05BAO B>;L:> ?> >4=><C ?@87=0:C 8 >B25B =0 MB8E >1J5:B0E >48=0:>2K9, B> MB>B ?@87=0: 87;8H5= <00><><EFBFBD>8H=85 ?@87=0:8<04><><EFBFBD>8H=85 ?@87=0:8<04><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD>A<00><><EFBFBD>D10<00><><EFBFBD><00><><EFBFBD>,{<00>"X<00> | "<22>, <00>"S<00> {<00>}<00>Pr<00> (<00>))"<22> = {<00>}<00>Pr<00> (<00>))"<22>}<00><><EFBFBD><=>65AB2> ?@87=0:>2, 7=0G5=8O :>B>@KE >48=0:>2K 4;O >1J5:B>2<04><><EFBFBD><=>65AB2> ?@87=0:>2, 7=0G5=8O :>B>@KE >48=0:>2K 4;O >1J5:B>2<00><><EFBFBD>&@87=0:8, >48=0:>2K5 4;O 2A5E >1J5:B>2<04><><EFBFBD>&@87=0:8, >48=0:>2K5 4;O 2A5E >1J5:B>2<04><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD>+<2B>^<5E><><EFBFBD>A11<00><><EFBFBD><00><><EFBFBD> "<22>"X<00> (<00>,<00>)"S<00> <20><><EFBFBD> 5D;5:A82=>ABL<04><><EFBFBD> 5D;5:A82=>ABL<00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD>44/t<><74><EFBFBD>A12<00><><EFBFBD><00><><EFBFBD>0"<22>"X<00> "<22>"X<00> "<22>"X<00> ((<00>,<00>)"S<00> & (<00>,<00>)"S<00> <00>! (<00>,<00>)"S<00> )<00><><EFBFBD>"@0=78B82=>ABL<04><><EFBFBD>"@0=78B82=>ABL<00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><11><>.<2E><><EFBFBD>A13<00><><EFBFBD><00><><EFBFBD>$"<22>"X<00> "<22>"X<00> ((<00>,<00>)"S<00> & (<00>,<00>)"S<00> <20>!<21>=<00>)<00><><EFBFBD>=B8A8<<5B@8G=>ABL<04><><EFBFBD>=B8A8<<5B@8G=>ABL<00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00>0<EFBFBD>;<3B><><EFBFBD>A14<00><><EFBFBD><00><><EFBFBD>#"<22>,<00>"X<00> "(<00><03> ,<00><03> ,<00>)"S<00> (<00><03> =<00> & <00><03> =<00>)<00><><EFBFBD>8!CI5AB2>20=85 7=0G5=8O @0AAB>O=8O 4;O ;N1KE 42CE >B25B>2<04><><EFBFBD>8!CI5AB2>20=85 7=0G5=8O @0AAB>O=8O 4;O ;N1KE 42CE >B25B>2<00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00>2 +<2B><><EFBFBD>A15<00><><EFBFBD><00><><EFBFBD>0"<22>,<00>"X<00> "<22>,<00>"X<00> (((<00>,<00>,<00>)"S<00> & (
"(<00>,<00>)"<22> "<22><03> ,<00><03> "debool(Pr<00> ({<00>}<00>Pr<00> (D<00> ))"D<00> )) (
<00>" Pr<00> ({<00>}<00>Pr<00> (red(S<00> )) )" red(S<00> )) &
<00> " Pr<00> ({<00>}<00>Pr<00> (red(S<00> )) )" red(S<00> )) &
debool(Pr<00> ({<00><03> }<00>Pr<00> (D<00> <20> ))"D<00> <20> )) `" debool(Pr<00> ({<00><03> }<00>Pr<00> (D<00> <20> ))"D<00> <20> )) &
(<00>,<00>)"<22><03> & (<00>, <00>)"<22><03> &
(debool(Pr<00> ({<00><03> }<00>Pr<00> (D<00> <20> ))"D<00> <20> )), debool(Pr<00> ({<00><03> }<00>Pr<00> (D<00> <20> ))"D<00> <20> )))"S<00>
)}<00><><EFBFBD>M=>65AB2> ?0@: ?@87=0: 8 G0AB8G=K9 ?>@O4>: 8=4CF8@>20==K9 DC=:F859 @0AAB>O=8O<04><><EFBFBD>M=>65AB2> ?0@: ?@87=0: 8 G0AB8G=K9 ?>@O4>: 8=4CF8@>20==K9 DC=:F859 @0AAB>O=8O<00><><EFBFBD>>@O4:8 =0 7=0G5=8OE ?@87=0:>2<04><><EFBFBD>>@O4:8 =0 7=0G5=8OE ?@87=0:>2<04><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD>Dō!<21><><EFBFBD>D18<00><><EFBFBD><00><><EFBFBD>f{(<00>;<00>)"D<00> | "<22><03> , <00><03> " <00> (<00><03> " D<00> & <00><03> " D<00> & <00><03> `" <00><03> & Pr<00> ({<00><03> }<00>Pr<00> (S<00> ))"S<00> ) = Pr<00> ({<00><03> }<00>Pr<00> (S<00> ))"S<00> ))}
<00><><EFBFBD>{=>65AB2> ?0@: ?@87=0: 8 >1J5:BK A >48=0:>2K<8 7=0G5=8O<8 @5H0NI59 DC=:F88, @07;8G0NI85AO B>;L:> ?> MB><C 7=0G5=8N ?@87=0:0<04><><EFBFBD>{=>65AB2> ?0@: ?@87=0: 8 >1J5:BK A >48=0:>2K<8 7=0G5=8O<8 @5H0NI59 DC=:F88, @07;8G0NI85AO B>;L:> ?> MB><C 7=0G5=8N ?@87=0:0<00><><EFBFBD>E!E>685 >1J5:BK ?> ?@87=0:C A >48=0:>2K<8 7=0G5=8O<8 @5H0NI59 DC=:F88 <00><><EFBFBD>E!E>685 >1J5:BK ?> ?@87=0:C A >48=0:>2K<8 7=0G5=8O<8 @5H0NI59 DC=:F88 <00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><>'<27><><EFBFBD>D19<00><><EFBFBD><00><><EFBFBD>6{<00>"X<00> | 3*card(debool(Pr<00> ({<00>}<00>Pr<00> (D<00> <20> ))"D<00> <20> )))>card(S<00> )}<00><><EFBFBD><EFBFBD>A;8 2 >1CG0NI59 2K1>@:5 B@5BL >1J5:B>2 @07;8G05BAO B>;L:> ?> >4=><C ?@87=0:C 8 @5H0NI0O DC=:F8O =0 MB8E >1J5:B0E >48=0:>20O, B> MB>B ?@87=0: =58=D>@<0B825= <00><><EFBFBD><EFBFBD>A;8 2 >1CG0NI59 2K1>@:5 B@5BL >1J5:B>2 @07;8G05BAO B>;L:> ?> >4=><C ?@87=0:C 8 @5H0NI0O DC=:F8O =0 MB8E >1J5:B0E >48=0:>20O, B> MB>B ?@87=0: =58=D>@<0B825= <00><><EFBFBD>658=D>@<0B82=K5 ?@87=0:8 >B=>A8B5;L=> @5H0NI59 DC=:F88<04><><EFBFBD>658=D>@<0B82=K5 ?@87=0:8 >B=>A8B5;L=> @5H0NI59 DC=:F88<04><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD>pRg<16><><EFBFBD>D20<00><><EFBFBD><00><><EFBFBD>_{(<00>;<00>)"X<00> <20>X<00> |<00> = debool(Pr<00> (debool(Pr<00> ({<00>}<00>Pr<00> (D<00> <20> ))"D<00> <20> )))\Pr<00> (debool(Pr<00> ({<00>}<00>Pr<00> (D<00> <20> )"D<00> <20> )))))}<00><><EFBFBD>G=>65AB2> ?0@: ?@87=0: 8 <0:A8<0;L=>5 7=0G5=85 C40;5==K5 4@C3 >B 4@C30<04><><EFBFBD>G=>65AB2> ?0@: ?@87=0: 8 <0:A8<0;L=>5 7=0G5=85 C40;5==K5 4@C3 >B 4@C30<00><><EFBFBD>10:A8<0;L=K5 7=0G5=8O ?@87=0:>2 C AE>68E >1J5:B>2<04><><EFBFBD>10:A8<0;L=K5 7=0G5=8O ?@87=0:>2 C AE>68E >1J5:B>2<04><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00>}E <09><><EFBFBD>D21<00><><EFBFBD><00><><EFBFBD>_{(<00>;<00>)"X<00> <20>X<00> |<00> = debool(Pr<00> (debool(Pr<00> ({<00>}<00>Pr<00> (D<00> <20> ))"D<00> <20> )))\Pr<00> (debool(Pr<00> ({<00>}<00>Pr<00> (D<00> <20> )"D<00> <20> )))))}<00><><EFBFBD>F=>65AB2> ?0@: ?@87=0: 8 <8=8<0;L=>5 7=0G5=85 C40;5==K5 4@C3 >B 4@C30<04><><EFBFBD>F=>65AB2> ?0@: ?@87=0: 8 <8=8<0;L=>5 7=0G5=85 C40;5==K5 4@C3 >B 4@C30<00><><EFBFBD>08=8<0;L=K5 7=0G5=8O ?@87=0:>2 C AE>68E >1J5:B>2<04><><EFBFBD>08=8<0;L=K5 7=0G5=8O ?@87=0:>2 C AE>68E >1J5:B>2<04><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00>W1(<28><><EFBFBD>D22<00><><EFBFBD><00><><EFBFBD>h{(<00>; <00>)"X<00> <20>,!(S<00> )| "<22> " <00> (
<00> " debool(Pr<00> ({<00>}<00>Pr<00> (D<00> ))"D<00> )) &
(<00>, debool(Pr<00> ({<00>}<00>Pr<00> (D<00> <20> ))"D<00> <20> ))) " <00>
)}<00><><EFBFBD>Z=>65AB2> ?0@: ?@87=0: 8 AE>685 >1J5:BK A <0:A8<0;L=K< 7=0G5=85< ?@87=0:0 =0 MB>< ?@87=0:5<04><><EFBFBD>Z=>65AB2> ?0@: ?@87=0: 8 AE>685 >1J5:BK A <0:A8<0;L=K< 7=0G5=85< ?@87=0:0 =0 MB>< ?@87=0:5<00><><EFBFBD>0!E>685 >1J5:BK A <0:A8<0;L=K< 7=0G5=85< ?@87=0:0<04><><EFBFBD>0!E>685 >1J5:BK A <0:A8<0;L=K< 7=0G5=85< ?@87=0:0<04><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00>g14<31><34><EFBFBD>D23<00><><EFBFBD><00><><EFBFBD>h{(<00>; <00>)"X<00> <20>,!(S<00> )| "<22> " <00> (
<00> " debool(Pr<00> ({<00>}<00>Pr<00> (D<00> ))"D<00> )) &
(<00>, debool(Pr<00> ({<00>}<00>Pr<00> (D<00> <20> ))"D<00> <20> ))) " <00>
)}<00><><EFBFBD>Y=>65AB2> ?0@: ?@87=0: 8 AE>685 >1J5:BK A <8=8<0;L=K< 7=0G5=85< ?@87=0:0 =0 MB>< ?@87=0:5<04><><EFBFBD>Y=>65AB2> ?0@: ?@87=0: 8 AE>685 >1J5:BK A <8=8<0;L=K< 7=0G5=85< ?@87=0:0 =0 MB>< ?@87=0:5<00><><EFBFBD>/!E>685 >1J5:BK A <8=8<0;L=K< 7=0G5=85< ?@87=0:0<04><><EFBFBD>/!E>685 >1J5:BK A <8=8<0;L=K< 7=0G5=85< ?@87=0:0<04><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00>A=<3D><><EFBFBD>A29<00><><EFBFBD><00><><EFBFBD> S<00> ",!(D<00> <20>X<00> )<00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00>oDp<44><70><EFBFBD>A30<00><><EFBFBD><00><><EFBFBD>S<00> ",!(,!(D<00> <20>X<00> )<00>X<00> )<00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD> <20>;<3B><><EFBFBD>A31<00><><EFBFBD><00><><EFBFBD> S<00> ",!(D<00> <20>X<00> )<00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD><00><><EFBFBD>=
!"#$/012345679:;>?@A<00>Ͳ9y<39>Ύl<00>K<EFBFBD>uB<75>
rvp<14>?<17>+j<><00><19><00><>x<00><>C'=`<60>)<00>2 +<00>A]+<00>Z`.<11><>.F58<00>0<EFBFBD>; <20>;<00><>T<<00>A==<3D>@C<00>h<EFBFBD>D#=<3D>DM<>O<00><>hOk<>BQ<00><><EFBFBD>W+<2B>^<00><>>b<00><><EFBFBD>h<00><0F>n<00>oDp<00>tEp44/tߥZz
Reference in New Issue Copy Permalink