Exteor/test/Data/FileVers/oss/r1553/МО1-3.trs

<EFBFBD><EFBFBD><EFBFBD>
__@VERSION@__<00><><EFBFBD>Exteor 4.5 R1438 - 08/04/2016<00><><EFBFBD>'>AB0=>2:0 7040G8 2 >1CG5=88 A CG8B5;5<<04><><EFBFBD>1-3<00><><EFBFBD>
[1 + 1-2]Dp<00><><EFBFBD>X1<00><><EFBFBD>
<00><><EFBFBD>
<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>=>65AB2> ?@87=0:>2<04><><EFBFBD>=>65AB2> ?@87=0:>2<00><><EFBFBD>X2<00><><EFBFBD>
<00><><EFBFBD>
<00><><EFBFBD>=0G5=8O ?@87=0:>2<04><><EFBFBD>=0G5=8O @{X1|GENT|PLUR|0}<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>=>65AB2> 7=0G5=89 ?@87=0:>2<04><><EFBFBD>=>65AB2> 7=0G5=89 ?@87=0:>2
<00><><EFBFBD>X3<00><><EFBFBD>
<00><><EFBFBD>
<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><00><><EFBFBD>=>65AB2> >B25B>2<04><><EFBFBD>=>65AB2> @{X3|GENT|PLUR|0}<00><><EFBFBD>X4<00><><EFBFBD>
<00><><EFBFBD>
<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><00><><EFBFBD>=>65AB2> 7=0G5=89 @0AAB>O=89<04><><EFBFBD>=>65AB2> 7=0G5=89 @0AAB>O=89D<00><><EFBFBD>X5<00><><EFBFBD>
<00><><EFBFBD>
<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>!=>65AB2> 7=0G5=89 DC=:F88 ?>B5@L<04><><EFBFBD>!=>65AB2> 7=0G5=89 DC=:F88 ?>B5@LE<00><><EFBFBD>S1<00><><EFBFBD><00><><EFBFBD>	,!,!(X<00> <20>X<00> )
<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><00><><EFBFBD>=>65AB2> >1J5:B>2<04><><EFBFBD>=>65AB2> @{S1|GENT|PLUR|0}<00><><EFBFBD>S2<00><><EFBFBD><00><><EFBFBD>,!(,!(X<00> <20>X<00> )<00>X<00> )
<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><><EFBFBD>==>65AB2> >B25B>2 =0 >1J5:B0E ~ =>65AB2> ?0@ >1J5:B 8 >B25B
<00><><EFBFBD>P=>65AB2> @{X3|GENT|PLUR|0} =0 @{S1|LOCT|PLUR|0} ~ =>65AB2> ?0@ >1J5:B 8 >B25B
<00><><EFBFBD>S3<00><><EFBFBD><00><><EFBFBD>,!(X<00> <20>X<00> <20>X<00> )
<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><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<8G<00><><EFBFBD>S4<00><><EFBFBD><00><><EFBFBD>,!(,!(X<00> <20>X<00> )<00>X<00> )
<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><00><><EFBFBD>>;CG5==K5 >B25BK =0 >1J5:B0E<04><><EFBFBD>>;CG5==K5 >B25BK =0 >1J5:B0EH<00><><EFBFBD>S5<00><><EFBFBD><00><><EFBFBD>,!(X<00> <20>X<00> )
<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><><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=8OI<00><><EFBFBD>S6<00><><EFBFBD><00><><EFBFBD>,!(,!(,!(X<00> <20>X<00> )<00>X<00> )<00>X<00> )
<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><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<J<00><><EFBFBD>S7<00><><EFBFBD><00><><EFBFBD>,!(X<00> )
<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><><EFBFBD>>4<=>65AB2> >1H8E >H81>:<04><><EFBFBD>>4<=>65AB2> >1H8E >H81>:K<00><><EFBFBD>S8<00><><EFBFBD><00><><EFBFBD>,!(X<00> <20>X<00> )
<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>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@LL<00><><EFBFBD>D1<00><><EFBFBD><00><><EFBFBD>Pr<00> (S<00> )
<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>F=>65AB2> >1J5:B>2 A >B25B0<8 ~ =>65AB2> >1J5:B>2 2 >1CG0NI59 2K1>@:5<04><><EFBFBD>M=>65AB2> @{S1|GENT|PLUR|0} A @{X3|ABLT|PLUR|0} ~ =>65AB2> @{D1|GENT|PLUR|0}!<00><><EFBFBD>D2<00><><EFBFBD><00><><EFBFBD>Pr<00> (S<00> )
<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><><EFBFBD><00><><EFBFBD><00><><EFBFBD>%=>65AB2> >B25B>2 2 >1CG0NI59 2K1>@:5<04><><EFBFBD>%=>65AB2> >B25B>2 2 >1CG0NI59 2K1>@:5/<00><><EFBFBD>D3<00><><EFBFBD><00><><EFBFBD>S<00> \D<00> 
<00><><EFBFBD>1J5:BK 157 >B25B>2<04><><EFBFBD>1J5:BK 157 >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><00><><EFBFBD>=>65AB2> >1J5:B>2 157 >B25B>2<04><><EFBFBD>1=>65AB2> @{S1|GENT|PLUR|0} 157 @{X3|GENT|PLUR|0}"<00><><EFBFBD>D4<00><><EFBFBD><00><><EFBFBD>D<00> \S<00> 
<00><><EFBFBD>
A524>>1J5:BK<04><><EFBFBD>
A524>>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><00><><EFBFBD>Q=>65AB2> >1J5:B>2, :>B>@K5 5ABL 2 >1CG0NI59 2K1>@:5, => =5B 2 <=>65AB25 >1J5:B>2<04><><EFBFBD>Q=>65AB2> >1J5:B>2, :>B>@K5 5A
<00><><EFBFBD>1=>65AB2> 7=0G5=89 ?@87=0:>2 2 >1CG0NI59 2K1>@:5
3<00><><EFBFBD>A1<00><><EFBFBD><00><><EFBFBD>D<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>!0 =5:>B>@KE >1J5:B0E =5B >B25B>2<04><><EFBFBD>!0 =5:>B>@KE >1J5:B0E =5B >B25B>2#<00><><EFBFBD>A2<00><><EFBFBD>

<00><><EFBFBD>D<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>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>29<00><><EFBFBD>A3<00><><EFBFBD><00><><EFBFBD>
card(S<00> ) > 50
<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>3@0=8G5=85 =0 @07<5@ 2K1>@:8<04><><EFBFBD>3@0=8G5=85 =0 @07<5@ 2K1>@:8$<00><><EFBFBD>A4<00><><EFBFBD><00><><EFBFBD>D<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>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>@:50<00><><EFBFBD>A5<00><><EFBFBD><00><><EFBFBD>D<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>, >1CG0NI59 2K1>@:5 B>;L:> 7040==K5 ?@87=0:8<04><><EFBFBD>, >1CG0NI59 2K1>@:5 B>;L:> 7040==K5 ?@87=0:82<00><><EFBFBD>A6<00><><EFBFBD><00><><EFBFBD>D<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>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:>24<00><><EFBFBD>A7<00><><EFBFBD><00><><EFBFBD>"<22>",!(X<00> <20>X<00> )"<22>"X<00> (<00>,<00>)"S<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>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 >B25B5<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><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>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==K96<00><><EFBFBD>A9<00><><EFBFBD><00><><EFBFBD>$"<22>, <00>"S<00>  (<00>`"" & <00>`"" <00>! Pr<00> (<00>)=Pr<00> (<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>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>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><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>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>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>!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>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>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>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>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>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>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><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>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>&@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><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>2A<00><><EFBFBD>A11<00><><EFBFBD><00><><EFBFBD>
"<22>"X<00> (<00>,<00>)"S<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> 5D;5:A82=>ABL<04><><EFBFBD> 5D;5:A82=>ABLM<00><><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><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=78B82=>ABL<04><><EFBFBD>"@0=78B82=>ABLN<00><><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><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>=B8A8<<5B@8G=>ABL<04><><EFBFBD>=B8A8<<5B@8G=>ABLO<00><><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><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>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>2P<00><><EFBFBD>A15<00><><EFBFBD><00><><EFBFBD>0"<22>,<00>"X<00> "<22>,<00>"X<00>  (((<00>,<00>,<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>>@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><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=8Oi<00><><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>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><><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:0j<00><><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>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><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= k<00><><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>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><><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
l<00><><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>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><><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@C30m<00><><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>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><><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:5n<00><><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>/!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><><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:5o