%------------------Annotation id 0
%c0true
%------------------end print annotation 
%c0true
%***********************************
%* READING DWARF INFO...           *
%***********************************
%***********************************
%* MAPPING DONE.                   *
%***********************************
%***********************************
%* PARSING ASSEMBLY FILE com_3.dis
%***********************************
% Annotations  id01,2 
%c0true
%c0true
%------------------Annotation id 0
%c0true
%------------------end print annotation 
%c0true
% Annotations  id41,2 
%c0false
%c0true
%------------------Annotation id 4
%c0true
%------------------end print annotation 
%c0true
% Annotations  id81,2 
%c0false
%c0true
%------------------Annotation id 8
%c0true
%------------------end print annotation 
%c0true
% Annotations  id121,2 
%c0false
%c0true
%------------------Annotation id 12
%c0true
%------------------end print annotation 
%c0true
% Annotations  id161,2 
%c0false
%c0true
%------------------Annotation id 16
%c0true
%------------------end print annotation 
%c0true
PPPPPPPPPPPPPP proposition index = 0(PMEM[48+r3]=0)PPPPPPPPPPPPPP 
%------------------Annotation id 20
%c0= ~p1
%------------------end print annotation 
%------------------Annotation id 32
%c0=  p1
%------------------end print annotation 
%c0= ~p1
%c0=  p1
% Annotations  id241,2 
%c0false
%c0= ~p1
%------------------Annotation id 24
%c0= ~p1
%------------------end print annotation 
%c0= ~p1
%------------------Annotation id 36
%c0= ~p1
%------------------end print annotation 
%------------------Annotation id 28
%c0false
%------------------end print annotation 
%c0= ~p1
%c0false
% Annotations  id321,2 
%c0=  p1
%c0false
%------------------Annotation id 32
%c0=  p1
%------------------end print annotation 
%c0=  p1
% Annotations  id361,2 
%c0= ~p1
%c0=  p1
%------------------Annotation id 36
%c0true
%------------------end print annotation 
%c0true
% Annotations  id401,2 
%c0false
%c0true
%------------------Annotation id 40
%c0true
%------------------end print annotation 
%c0true
PPPPPPPPPPPPPP proposition index = 1(PMEM[12+r3]=0)PPPPPPPPPPPPPP 
%------------------Annotation id 44
%c0= ~p2
%------------------end print annotation 
%------------------Annotation id 52
%c0=  p2
%------------------end print annotation 
%c0= ~p2
%c0=  p2
% Annotations  id481,2 
%c0false
%c0= ~p2
%------------------Annotation id 48
%c0= ~p2
%------------------end print annotation 
%c0= ~p2
% Annotations  id521,2 
%c0=  p2
%c0= ~p2
%------------------Annotation id 52
%c0true
%------------------end print annotation 
%c0true
% Annotations  id561,2 
%c0false
%c0true
%------------------Annotation id 56
%c0true
%------------------end print annotation 
%c0true
% Annotations  id601,2 
%c0false
%c0true
%------------------Annotation id 60
%c0true
%------------------end print annotation 
%c0true
% Annotations  id641,2 
%c0false
%c0true
%------------------Annotation id 64
%c0true
%------------------end print annotation 
%c0true
PPPPPPPPPPPPPP proposition index = 2(PMEM[8+r3]=0)PPPPPPPPPPPPPP 
%------------------Annotation id 68
%c0= ~p3
%------------------end print annotation 
%------------------Annotation id 80
%c0=  p3
%------------------end print annotation 
%c0= ~p3
%c0=  p3
% Annotations  id721,2 
%c0false
%c0= ~p3
%------------------Annotation id 72
%c0= ~p3
%------------------end print annotation 
%c0= ~p3
PPPPPPPPPPPPPP proposition index = 3 (IF ( NOT Pp3) THEN 
(0=1) ELSE 
(PMEM[8+r3]=0) ENDIF) PPPPPPPPPPPPPP 
%------------------Annotation id 76
%c0= ~p3~p4
%------------------end print annotation 
%------------------Annotation id 88
%c0= ~p3 p4
%------------------end print annotation 
%c0= ~p3~p4
%c0= ~p3 p4
% Annotations  id801,2 
%c0=  p3
%c0= ~p3~p4
%------------------Annotation id 80
%c0= ~p3~p4
%c1=  p3
%------------------end print annotation 
%c0= ~p3~p4
%c1=  p3
%------------------Annotation id 92
%c0= ~p3~p4
%c1=  p3
%------------------end print annotation 
%------------------Annotation id 84
%c0false
%------------------end print annotation 
%c0= ~p3~p4
%c1=  p3
%c0false
% Annotations  id881,2 
%c0= ~p3 p4
%c0false
%------------------Annotation id 88
%c0= ~p3 p4
%------------------end print annotation 
%c0= ~p3 p4
% Annotations  id921,2 
%c0= ~p3~p4
%c1=  p3
%c0= ~p3 p4
%------------------Annotation id 92
%c0true
%------------------end print annotation 
%c0true
PPPPPPPPPPPPPP proposition index = 4(PMEM[48+r3]=0)PPPPPPPPPPPPPP 
%------------------Annotation id 96
%c0= ~p5
%------------------end print annotation 
%------------------Annotation id 108
%c0=  p5
%------------------end print annotation 
%c0= ~p5
%c0=  p5
% Annotations  id1001,2 
%c0false
%c0= ~p5
%------------------Annotation id 100
%c0= ~p5
%------------------end print annotation 
%c0= ~p5
%------------------Annotation id 112
%c0= ~p5
%------------------end print annotation 
%------------------Annotation id 104
%c0false
%------------------end print annotation 
%c0= ~p5
%c0false
% Annotations  id1081,2 
%c0=  p5
%c0false
%------------------Annotation id 108
%c0=  p5
%------------------end print annotation 
%c0=  p5
% Annotations  id1121,2 
%c0= ~p5
%c0=  p5
%------------------Annotation id 112
%c0true
%------------------end print annotation 
%c0true
% EXpression of cmpi 5 (IF (Pp5) THEN 
PMEM[44+r3] ELSE 
0 ENDIF) % Annotations  id1161,2 
%c0false
%c0true
%------------------Annotation id 116
%c0true
%------------------end print annotation 
%c0true
% Annotations  id1201,2 
%c0false
%c0true
%------------------Annotation id 120
%c0true
%------------------end print annotation 
%c0true
% Annotations  id1241,2 
%c0false
%c0true
%------------------Annotation id 124
%c0true
%------------------end print annotation 
%c0true
%in rotateAndMask
%rotation amount = 23
%from_idx = 31
%to_idx = 31
PPPPPPPPPPPPPP proposition index = 5( (IF (( NOT Pp3 AND Pp4)) THEN 
1 ELSE 
 (IF ((Pp3 OR ( NOT Pp3 AND  NOT Pp4))) THEN 
0 ELSE 
Pr5 ENDIF)  ENDIF) =0)PPPPPPPPPPPPPP 
%------------------Annotation id 128
%c0= ~p6
%------------------end print annotation 
%------------------Annotation id 140
%c0=  p6
%------------------end print annotation 
%c0= ~p6
%c0=  p6
% Annotations  id1321,2 
%c0false
%c0= ~p6
%------------------Annotation id 132
%c0= ~p6
%------------------end print annotation 
%c0= ~p6
PPPPPPPPPPPPPP proposition index = 6 (IF ( NOT Pp6) THEN 
( (IF (( (IF (Pp5) THEN 
PMEM[44+r3] ELSE 
0 ENDIF) =1)) THEN 
1 ELSE 
0 ENDIF) =0) ELSE 
( (IF (( NOT Pp3 AND Pp4)) THEN 
1 ELSE 
 (IF ((Pp3 OR ( NOT Pp3 AND  NOT Pp4))) THEN 
0 ELSE 
Pr5 ENDIF)  ENDIF) =0) ENDIF) PPPPPPPPPPPPPP 
%------------------Annotation id 136
%c0= ~p6 p7
%------------------end print annotation 
%------------------Annotation id 148
%c0= ~p6~p7
%------------------end print annotation 
%c0= ~p6 p7
%c0= ~p6~p7
% Annotations  id1401,2 
%c0=  p6
%c0= ~p6 p7
%------------------Annotation id 140
%c0= ~p6 p7
%c1=  p6
%------------------end print annotation 
%c0= ~p6 p7
%c1=  p6
%------------------Annotation id 156
%c0= ~p6 p7
%c1=  p6
%------------------end print annotation 
%------------------Annotation id 144
%c0false
%------------------end print annotation 
%c0= ~p6 p7
%c1=  p6
%c0false
% Annotations  id1481,2 
%c0= ~p6~p7
%c0false
%------------------Annotation id 148
%c0= ~p6~p7
%------------------end print annotation 
%c0= ~p6~p7
%------------------Annotation id 180
%c0= ~p6~p7
%------------------end print annotation 
%------------------Annotation id 152
%c0false
%------------------end print annotation 
%c0= ~p6~p7
%c0false
% Annotations  id1561,2 
%c0= ~p6 p7
%c1=  p6
%c0false
%------------------Annotation id 156
%c0= ~p6 p7
%c1=  p6
%------------------end print annotation 
%c0= ~p6 p7
%c1=  p6
PPPPPPPPPPPPPP proposition index = 7 (IF ((Pp6 OR ( NOT Pp6 AND Pp7))) THEN 
(PMEM[8+r3]=0) ELSE 
 (IF ( NOT Pp6) THEN 
( (IF (( (IF (Pp5) THEN 
PMEM[44+r3] ELSE 
0 ENDIF) =1)) THEN 
1 ELSE 
0 ENDIF) =0) ELSE 
( (IF (( NOT Pp3 AND Pp4)) THEN 
1 ELSE 
 (IF ((Pp3 OR ( NOT Pp3 AND  NOT Pp4))) THEN 
0 ELSE 
Pr5 ENDIF)  ENDIF) =0) ENDIF)  ENDIF) PPPPPPPPPPPPPP 
%------------------Annotation id 160
%c0= ~p6 p7~p8
%c1=  p6~p8
%------------------end print annotation 
%------------------Annotation id 172
%c0= ~p6 p7 p8
%c1=  p6 p8
%------------------end print annotation 
%c0= ~p6 p7~p8
%c1=  p6~p8
%c0= ~p6 p7 p8
%c1=  p6 p8
% Annotations  id1641,2 
%c0false
%c0= ~p6 p7~p8
%c1=  p6~p8
%------------------Annotation id 164
%c0= ~p6 p7~p8
%c1=  p6~p8
%------------------end print annotation 
%c0= ~p6 p7~p8
%c1=  p6~p8
PPPPPPPPPPPPPP proposition index = 8 (IF (((Pp6 AND  NOT Pp8) OR (( NOT Pp6 AND Pp7) AND  NOT Pp8))) THEN 
(0=0) ELSE 
 (IF ((Pp6 OR ( NOT Pp6 AND Pp7))) THEN 
(PMEM[8+r3]=0) ELSE 
 (IF ( NOT Pp6) THEN 
( (IF (( (IF (Pp5) THEN 
PMEM[44+r3] ELSE 
0 ENDIF) =1)) THEN 
1 ELSE 
0 ENDIF) =0) ELSE 
( (IF (( NOT Pp3 AND Pp4)) THEN 
1 ELSE 
 (IF ((Pp3 OR ( NOT Pp3 AND  NOT Pp4))) THEN 
0 ELSE 
Pr5 ENDIF)  ENDIF) =0) ENDIF)  ENDIF)  ENDIF) PPPPPPPPPPPPPP 
%------------------Annotation id 168
%c0= ~p6 p7~p8~p9
%c1=  p6~p8~p9
%------------------end print annotation 
%------------------Annotation id 180
%c0=  p6~p8 p9
%c1= ~p6 p7~p8 p9
%c2= ~p6~p7
%------------------end print annotation 
%c0= ~p6 p7~p8~p9
%c1=  p6~p8~p9
%c0=  p6~p8 p9
%c1= ~p6 p7~p8 p9
%c2= ~p6~p7
% Annotations  id1721,2 
%c0= ~p6 p7 p8
%c1=  p6 p8
%c0= ~p6 p7~p8~p9
%c1=  p6~p8~p9
%------------------Annotation id 172
%c0=  p6~p8~p9
%c1= ~p6 p7~p8~p9
%c2= ~p6 p7 p8
%c3=  p6 p8
%------------------end print annotation 
%c0=  p6~p8~p9
%c1= ~p6 p7~p8~p9
%c2= ~p6 p7 p8
%c3=  p6 p8
%------------------Annotation id 184
%c0=  p6~p8~p9
%c1= ~p6 p7~p8~p9
%c2= ~p6 p7 p8
%c3=  p6 p8
%------------------end print annotation 
%------------------Annotation id 176
%c0false
%------------------end print annotation 
%c0=  p6~p8~p9
%c1= ~p6 p7~p8~p9
%c2= ~p6 p7 p8
%c3=  p6 p8
%c0false
% Annotations  id1801,2 
%c0=  p6~p8 p9
%c1= ~p6 p7~p8 p9
%c2= ~p6~p7
%c0false
%------------------Annotation id 180
%c0=  p6~p8 p9
%c1= ~p6 p7~p8 p9
%c2= ~p6~p7
%------------------end print annotation 
%c0=  p6~p8 p9
%c1= ~p6 p7~p8 p9
%c2= ~p6~p7
% Annotations  id1841,2 
%c0=  p6~p8~p9
%c1= ~p6 p7~p8~p9
%c2= ~p6 p7 p8
%c3=  p6 p8
%c0=  p6~p8 p9
%c1= ~p6 p7~p8 p9
%c2= ~p6~p7
%------------------Annotation id 184
%c0true
%------------------end print annotation 
%c0true
PPPPPPPPPPPPPP proposition index = 9( (IF (( NOT Pp6 AND  NOT Pp7)) THEN 
1 ELSE 
 (IF ((Pp6 OR ( NOT Pp6 AND Pp7))) THEN 
0 ELSE 
 (IF (( NOT Pp3 AND Pp4)) THEN 
1 ELSE 
 (IF ((Pp3 OR ( NOT Pp3 AND  NOT Pp4))) THEN 
0 ELSE 
Pr5 ENDIF)  ENDIF)  ENDIF)  ENDIF) =0)PPPPPPPPPPPPPP 
%------------------Annotation id 188
%c0= ~p10
%------------------end print annotation 
%------------------Annotation id 200
%c0=  p10
%------------------end print annotation 
%c0= ~p10
%c0=  p10
% Annotations  id1921,2 
%c0false
%c0= ~p10
%------------------Annotation id 192
%c0= ~p10
%------------------end print annotation 
%c0= ~p10
%------------------Annotation id 204
%c0= ~p10
%------------------end print annotation 
%------------------Annotation id 196
%c0false
%------------------end print annotation 
%c0= ~p10
%c0false
% Annotations  id2001,2 
%c0=  p10
%c0false
%------------------Annotation id 200
%c0=  p10
%------------------end print annotation 
%c0=  p10
% Annotations  id2041,2 
%c0= ~p10
%c0=  p10
%------------------Annotation id 204
%c0true
%------------------end print annotation 
%c0true
% Annotations  id2081,2 
%c0false
%c0true
%------------------Annotation id 208
%c0true
%------------------end print annotation 
%c0true
PPPPPPPPPPPPPP proposition index = 10(PMEM[0+r3]=0)PPPPPPPPPPPPPP 
%------------------Annotation id 212
%c0= ~p11
%------------------end print annotation 
%------------------Annotation id 220
%c0=  p11
%------------------end print annotation 
%c0= ~p11
%c0=  p11
% Annotations  id2161,2 
%c0false
%c0= ~p11
%------------------Annotation id 216
%c0= ~p11
%------------------end print annotation 
%c0= ~p11
% Annotations  id2201,2 
%c0=  p11
%c0= ~p11
%------------------Annotation id 220
%c0true
%------------------end print annotation 
%c0true
PPPPPPPPPPPPPP proposition index = 11(PMEM[0+r3]=0)PPPPPPPPPPPPPP 
%------------------Annotation id 224
%c0= ~p12
%------------------end print annotation 
%------------------Annotation id 236
%c0=  p12
%------------------end print annotation 
%c0= ~p12
%c0=  p12
% Annotations  id2281,2 
%c0false
%c0= ~p12
%------------------Annotation id 228
%c0= ~p12
%------------------end print annotation 
%c0= ~p12
PPPPPPPPPPPPPP proposition index = 12 (IF ( NOT Pp12) THEN 
(PMEM[12+r3]=0) ELSE 
(PMEM[0+r3]=0) ENDIF) PPPPPPPPPPPPPP 
%------------------Annotation id 232
%c0= ~p12~p13
%------------------end print annotation 
%------------------Annotation id 244
%c0= ~p12 p13
%------------------end print annotation 
%c0= ~p12~p13
%c0= ~p12 p13
% Annotations  id2361,2 
%c0=  p12
%c0= ~p12~p13
%------------------Annotation id 236
%c0= ~p12~p13
%c1=  p12
%------------------end print annotation 
%c0= ~p12~p13
%c1=  p12
%------------------Annotation id 248
%c0= ~p12~p13
%c1=  p12
%------------------end print annotation 
%------------------Annotation id 240
%c0false
%------------------end print annotation 
%c0= ~p12~p13
%c1=  p12
%c0false
% Annotations  id2441,2 
%c0= ~p12 p13
%c0false
%------------------Annotation id 244
%c0= ~p12 p13
%------------------end print annotation 
%c0= ~p12 p13
% Annotations  id2481,2 
%c0= ~p12~p13
%c1=  p12
%c0= ~p12 p13
%------------------Annotation id 248
%c0true
%------------------end print annotation 
%c0true
% EXpression of cmpi 5 (IF (Pp5) THEN 
PMEM[44+r3] ELSE 
0 ENDIF) % Annotations  id2521,2 
%c0false
%c0true
%------------------Annotation id 252
%c0true
%------------------end print annotation 
%c0true
% Annotations  id2561,2 
%c0false
%c0true
%------------------Annotation id 256
%c0true
%------------------end print annotation 
%c0true
% Annotations  id2601,2 
%c0false
%c0true
%------------------Annotation id 260
%c0true
%------------------end print annotation 
%c0true
%in rotateAndMask
%rotation amount = 23
%from_idx = 31
%to_idx = 31
PPPPPPPPPPPPPP proposition index = 13( (IF (( NOT Pp12 AND Pp13)) THEN 
1 ELSE 
 (IF ((Pp12 OR ( NOT Pp12 AND  NOT Pp13))) THEN 
0 ELSE 
PMEM[8+r3] ENDIF)  ENDIF) =0)PPPPPPPPPPPPPP 
%------------------Annotation id 264
%c0= ~p14
%------------------end print annotation 
%------------------Annotation id 276
%c0=  p14
%------------------end print annotation 
%c0= ~p14
%c0=  p14
% Annotations  id2681,2 
%c0false
%c0= ~p14
%------------------Annotation id 268
%c0= ~p14
%------------------end print annotation 
%c0= ~p14
PPPPPPPPPPPPPP proposition index = 14 (IF ( NOT Pp14) THEN 
( (IF (( (IF (Pp5) THEN 
PMEM[44+r3] ELSE 
0 ENDIF) =3)) THEN 
1 ELSE 
0 ENDIF) =0) ELSE 
( (IF (( NOT Pp12 AND Pp13)) THEN 
1 ELSE 
 (IF ((Pp12 OR ( NOT Pp12 AND  NOT Pp13))) THEN 
0 ELSE 
PMEM[8+r3] ENDIF)  ENDIF) =0) ENDIF) PPPPPPPPPPPPPP 
%------------------Annotation id 272
%c0= ~p14 p15
%------------------end print annotation 
%------------------Annotation id 284
%c0= ~p14~p15
%------------------end print annotation 
%c0= ~p14 p15
%c0= ~p14~p15
% Annotations  id2761,2 
%c0=  p14
%c0= ~p14 p15
%------------------Annotation id 276
%c0= ~p14 p15
%c1=  p14
%------------------end print annotation 
%c0= ~p14 p15
%c1=  p14
%------------------Annotation id 292
%c0= ~p14 p15
%c1=  p14
%------------------end print annotation 
%------------------Annotation id 280
%c0false
%------------------end print annotation 
%c0= ~p14 p15
%c1=  p14
%c0false
% Annotations  id2841,2 
%c0= ~p14~p15
%c0false
%------------------Annotation id 284
%c0= ~p14~p15
%------------------end print annotation 
%c0= ~p14~p15
%------------------Annotation id 308
%c0= ~p14~p15
%------------------end print annotation 
%------------------Annotation id 288
%c0false
%------------------end print annotation 
%c0= ~p14~p15
%c0false
% Annotations  id2921,2 
%c0= ~p14 p15
%c1=  p14
%c0false
%------------------Annotation id 292
%c0= ~p14 p15
%c1=  p14
%------------------end print annotation 
%c0= ~p14 p15
%c1=  p14
PPPPPPPPPPPPPP proposition index = 15 (IF ((Pp14 OR ( NOT Pp14 AND Pp15))) THEN 
(PMEM[12+r3]=0) ELSE 
 (IF ( NOT Pp14) THEN 
( (IF (( (IF (Pp5) THEN 
PMEM[44+r3] ELSE 
0 ENDIF) =3)) THEN 
1 ELSE 
0 ENDIF) =0) ELSE 
( (IF (( NOT Pp12 AND Pp13)) THEN 
1 ELSE 
 (IF ((Pp12 OR ( NOT Pp12 AND  NOT Pp13))) THEN 
0 ELSE 
PMEM[8+r3] ENDIF)  ENDIF) =0) ENDIF)  ENDIF) PPPPPPPPPPPPPP 
%------------------Annotation id 296
%c0= ~p14 p15 p16
%c1=  p14 p16
%------------------end print annotation 
%------------------Annotation id 308
%c0=  p14~p16
%c1= ~p14 p15~p16
%c2= ~p14~p15
%------------------end print annotation 
%c0= ~p14 p15 p16
%c1=  p14 p16
%c0=  p14~p16
%c1= ~p14 p15~p16
%c2= ~p14~p15
% Annotations  id3001,2 
%c0false
%c0= ~p14 p15 p16
%c1=  p14 p16
%------------------Annotation id 300
%c0= ~p14 p15 p16
%c1=  p14 p16
%------------------end print annotation 
%c0= ~p14 p15 p16
%c1=  p14 p16
%------------------Annotation id 328
%c0= ~p14 p15 p16
%c1=  p14 p16
%------------------end print annotation 
%------------------Annotation id 304
%c0false
%------------------end print annotation 
%c0= ~p14 p15 p16
%c1=  p14 p16
%c0false
% Annotations  id3081,2 
%c0=  p14~p16
%c1= ~p14 p15~p16
%c2= ~p14~p15
%c0false
%------------------Annotation id 308
%c0=  p14~p16
%c1= ~p14 p15~p16
%c2= ~p14~p15
%------------------end print annotation 
%c0=  p14~p16
%c1= ~p14 p15~p16
%c2= ~p14~p15
% Annotations  id3121,2 
%c0false
%c0=  p14~p16
%c1= ~p14 p15~p16
%c2= ~p14~p15
%------------------Annotation id 312
%c0=  p14~p16
%c1= ~p14 p15~p16
%c2= ~p14~p15
%------------------end print annotation 
%c0=  p14~p16
%c1= ~p14 p15~p16
%c2= ~p14~p15
PPPPPPPPPPPPPP proposition index = 16 (IF ((( NOT Pp14 AND  NOT Pp15) OR ((( NOT Pp14 AND Pp15) AND  NOT Pp16) OR (Pp14 AND  NOT Pp16)))) THEN 
( (IF (( NOT Pp14 AND  NOT Pp15)) THEN 
1 ELSE 
 (IF ((Pp14 OR ( NOT Pp14 AND Pp15))) THEN 
0 ELSE 
 (IF (( NOT Pp12 AND Pp13)) THEN 
1 ELSE 
 (IF ((Pp12 OR ( NOT Pp12 AND  NOT Pp13))) THEN 
0 ELSE 
PMEM[8+r3] ENDIF)  ENDIF)  ENDIF)  ENDIF) =0) ELSE 
 (IF ((Pp14 OR ( NOT Pp14 AND Pp15))) THEN 
(PMEM[12+r3]=0) ELSE 
 (IF ( NOT Pp14) THEN 
( (IF (( (IF (Pp5) THEN 
PMEM[44+r3] ELSE 
0 ENDIF) =3)) THEN 
1 ELSE 
0 ENDIF) =0) ELSE 
( (IF (( NOT Pp12 AND Pp13)) THEN 
1 ELSE 
 (IF ((Pp12 OR ( NOT Pp12 AND  NOT Pp13))) THEN 
0 ELSE 
PMEM[8+r3] ENDIF)  ENDIF) =0) ENDIF)  ENDIF)  ENDIF) PPPPPPPPPPPPPP 
%------------------Annotation id 316
%c0=  p14~p16~p17
%c1= ~p14 p15~p16~p17
%c2= ~p14~p15~p17
%------------------end print annotation 
%------------------Annotation id 328
%c0= ~p14~p15 p17
%c1= ~p14 p15~p16 p17
%c2=  p14~p16 p17
%c3= ~p14 p15 p16
%c4=  p14 p16
%------------------end print annotation 
%c0=  p14~p16~p17
%c1= ~p14 p15~p16~p17
%c2= ~p14~p15~p17
%c0= ~p14~p15 p17
%c1= ~p14 p15~p16 p17
%c2=  p14~p16 p17
%c3= ~p14 p15 p16
%c4=  p14 p16
% Annotations  id3201,2 
%c0false
%c0=  p14~p16~p17
%c1= ~p14 p15~p16~p17
%c2= ~p14~p15~p17
%------------------Annotation id 320
%c0=  p14~p16~p17
%c1= ~p14 p15~p16~p17
%c2= ~p14~p15~p17
%------------------end print annotation 
%c0=  p14~p16~p17
%c1= ~p14 p15~p16~p17
%c2= ~p14~p15~p17
%------------------Annotation id 332
%c0=  p14~p16~p17
%c1= ~p14 p15~p16~p17
%c2= ~p14~p15~p17
%------------------end print annotation 
%------------------Annotation id 324
%c0false
%------------------end print annotation 
%c0=  p14~p16~p17
%c1= ~p14 p15~p16~p17
%c2= ~p14~p15~p17
%c0false
% Annotations  id3281,2 
%c0= ~p14~p15 p17
%c1= ~p14 p15~p16 p17
%c2=  p14~p16 p17
%c3= ~p14 p15 p16
%c4=  p14 p16
%c0false
%------------------Annotation id 328
%c0= ~p14~p15 p17
%c1= ~p14 p15~p16 p17
%c2=  p14~p16 p17
%c3= ~p14 p15 p16
%c4=  p14 p16
%------------------end print annotation 
%c0= ~p14~p15 p17
%c1= ~p14 p15~p16 p17
%c2=  p14~p16 p17
%c3= ~p14 p15 p16
%c4=  p14 p16
% Annotations  id3321,2 
%c0=  p14~p16~p17
%c1= ~p14 p15~p16~p17
%c2= ~p14~p15~p17
%c0= ~p14~p15 p17
%c1= ~p14 p15~p16 p17
%c2=  p14~p16 p17
%c3= ~p14 p15 p16
%c4=  p14 p16
%------------------Annotation id 332
%c0true
%------------------end print annotation 
%c0true
PPPPPPPPPPPPPP proposition index = 17( (IF ((( NOT Pp6 AND  NOT Pp7) OR (((( NOT Pp6 AND Pp7) AND  NOT Pp8) AND Pp9) OR ((Pp6 AND  NOT Pp8) AND Pp9)))) THEN 
1 ELSE 
 (IF (((Pp6 AND Pp8) OR ((( NOT Pp6 AND Pp7) AND Pp8) OR (((( NOT Pp6 AND Pp7) AND  NOT Pp8) AND  NOT Pp9) OR ((Pp6 AND  NOT Pp8) AND  NOT Pp9))))) THEN 
 (IF (( NOT Pp6 AND  NOT Pp7)) THEN 
1 ELSE 
 (IF ((Pp6 OR ( NOT Pp6 AND Pp7))) THEN 
0 ELSE 
 (IF (( NOT Pp3 AND Pp4)) THEN 
1 ELSE 
 (IF ((Pp3 OR ( NOT Pp3 AND  NOT Pp4))) THEN 
0 ELSE 
Pr5 ENDIF)  ENDIF)  ENDIF)  ENDIF)  ELSE 
Pr9 ENDIF)  ENDIF) =0)PPPPPPPPPPPPPP 
%------------------Annotation id 336
%c0= ~p18
%------------------end print annotation 
%------------------Annotation id 348
%c0=  p18
%------------------end print annotation 
%c0= ~p18
%c0=  p18
% Annotations  id3401,2 
%c0false
%c0= ~p18
%------------------Annotation id 340
%c0= ~p18
%------------------end print annotation 
%c0= ~p18
PPPPPPPPPPPPPP proposition index = 18 (IF ( NOT Pp18) THEN 
( (IF (Pp10) THEN 
 (IF (( (IF (Pp5) THEN 
PMEM[44+r3] ELSE 
0 ENDIF) =1)) THEN 
1 ELSE 
0 ENDIF)  ELSE 
0 ENDIF) =0) ELSE 
( (IF ((( NOT Pp6 AND  NOT Pp7) OR (((( NOT Pp6 AND Pp7) AND  NOT Pp8) AND Pp9) OR ((Pp6 AND  NOT Pp8) AND Pp9)))) THEN 
1 ELSE 
 (IF (((Pp6 AND Pp8) OR ((( NOT Pp6 AND Pp7) AND Pp8) OR (((( NOT Pp6 AND Pp7) AND  NOT Pp8) AND  NOT Pp9) OR ((Pp6 AND  NOT Pp8) AND  NOT Pp9))))) THEN 
 (IF (( NOT Pp6 AND  NOT Pp7)) THEN 
1 ELSE 
 (IF ((Pp6 OR ( NOT Pp6 AND Pp7))) THEN 
0 ELSE 
 (IF (( NOT Pp3 AND Pp4)) THEN 
1 ELSE 
 (IF ((Pp3 OR ( NOT Pp3 AND  NOT Pp4))) THEN 
0 ELSE 
Pr5 ENDIF)  ENDIF)  ENDIF)  ENDIF)  ELSE 
Pr9 ENDIF)  ENDIF) =0) ENDIF) PPPPPPPPPPPPPP 
%------------------Annotation id 344
%c0= ~p18 p19
%------------------end print annotation 
%------------------Annotation id 372
%c0= ~p18~p19
%------------------end print annotation 
%c0= ~p18 p19
%c0= ~p18~p19
% Annotations  id3481,2 
%c0=  p18
%c0= ~p18 p19
%------------------Annotation id 348
%c0= ~p18 p19
%c1=  p18
%------------------end print annotation 
%c0= ~p18 p19
%c1=  p18
PPPPPPPPPPPPPP proposition index = 19 (IF ((Pp18 OR ( NOT Pp18 AND Pp19))) THEN 
( (IF ((( NOT Pp14 AND  NOT Pp15) OR ((( NOT Pp14 AND Pp15) AND  NOT Pp16) OR (Pp14 AND  NOT Pp16)))) THEN 
1 ELSE 
 (IF (((Pp14 AND Pp16) OR (( NOT Pp14 AND Pp15) AND Pp16))) THEN 
 (IF (( NOT Pp14 AND  NOT Pp15)) THEN 
1 ELSE 
 (IF ((Pp14 OR ( NOT Pp14 AND Pp15))) THEN 
0 ELSE 
 (IF (( NOT Pp12 AND Pp13)) THEN 
1 ELSE 
 (IF ((Pp12 OR ( NOT Pp12 AND  NOT Pp13))) THEN 
0 ELSE 
PMEM[8+r3] ENDIF)  ENDIF)  ENDIF)  ENDIF)  ELSE 
PMEM[12+r3] ENDIF)  ENDIF) =0) ELSE 
 (IF ( NOT Pp18) THEN 
( (IF (Pp10) THEN 
 (IF (( (IF (Pp5) THEN 
PMEM[44+r3] ELSE 
0 ENDIF) =1)) THEN 
1 ELSE 
0 ENDIF)  ELSE 
0 ENDIF) =0) ELSE 
( (IF ((( NOT Pp6 AND  NOT Pp7) OR (((( NOT Pp6 AND Pp7) AND  NOT Pp8) AND Pp9) OR ((Pp6 AND  NOT Pp8) AND Pp9)))) THEN 
1 ELSE 
 (IF (((Pp6 AND Pp8) OR ((( NOT Pp6 AND Pp7) AND Pp8) OR (((( NOT Pp6 AND Pp7) AND  NOT Pp8) AND  NOT Pp9) OR ((Pp6 AND  NOT Pp8) AND  NOT Pp9))))) THEN 
 (IF (( NOT Pp6 AND  NOT Pp7)) THEN 
1 ELSE 
 (IF ((Pp6 OR ( NOT Pp6 AND Pp7))) THEN 
0 ELSE 
 (IF (( NOT Pp3 AND Pp4)) THEN 
1 ELSE 
 (IF ((Pp3 OR ( NOT Pp3 AND  NOT Pp4))) THEN 
0 ELSE 
Pr5 ENDIF)  ENDIF)  ENDIF)  ENDIF)  ELSE 
Pr9 ENDIF)  ENDIF) =0) ENDIF)  ENDIF) PPPPPPPPPPPPPP 
%------------------Annotation id 352
%c0= ~p18 p19~p20
%c1=  p18~p20
%------------------end print annotation 
%------------------Annotation id 364
%c0= ~p18 p19 p20
%c1=  p18 p20
%------------------end print annotation 
%c0= ~p18 p19~p20
%c1=  p18~p20
%c0= ~p18 p19 p20
%c1=  p18 p20
% Annotations  id3561,2 
%c0false
%c0= ~p18 p19~p20
%c1=  p18~p20
%------------------Annotation id 356
%c0= ~p18 p19~p20
%c1=  p18~p20
%------------------end print annotation 
%c0= ~p18 p19~p20
%c1=  p18~p20
PPPPPPPPPPPPPP proposition index = 20 (IF (((Pp18 AND  NOT Pp20) OR (( NOT Pp18 AND Pp19) AND  NOT Pp20))) THEN 
( (IF (((Pp14 AND Pp16) OR ((( NOT Pp14 AND Pp15) AND Pp16) OR (((Pp14 AND  NOT Pp16) AND Pp17) OR (((( NOT Pp14 AND Pp15) AND  NOT Pp16) AND Pp17) OR (( NOT Pp14 AND  NOT Pp15) AND Pp17)))))) THEN 
 (IF (( (IF (Pp5) THEN 
PMEM[44+r3] ELSE 
0 ENDIF) =3)) THEN 
1 ELSE 
0 ENDIF)  ELSE 
 (IF (((( NOT Pp14 AND  NOT Pp15) AND  NOT Pp17) OR (((( NOT Pp14 AND Pp15) AND  NOT Pp16) AND  NOT Pp17) OR ((Pp14 AND  NOT Pp16) AND  NOT Pp17)))) THEN 
0 ELSE 
Pr4 ENDIF)  ENDIF) =0) ELSE 
 (IF ((Pp18 OR ( NOT Pp18 AND Pp19))) THEN 
( (IF ((( NOT Pp14 AND  NOT Pp15) OR ((( NOT Pp14 AND Pp15) AND  NOT Pp16) OR (Pp14 AND  NOT Pp16)))) THEN 
1 ELSE 
 (IF (((Pp14 AND Pp16) OR (( NOT Pp14 AND Pp15) AND Pp16))) THEN 
 (IF (( NOT Pp14 AND  NOT Pp15)) THEN 
1 ELSE 
 (IF ((Pp14 OR ( NOT Pp14 AND Pp15))) THEN 
0 ELSE 
 (IF (( NOT Pp12 AND Pp13)) THEN 
1 ELSE 
 (IF ((Pp12 OR ( NOT Pp12 AND  NOT Pp13))) THEN 
0 ELSE 
PMEM[8+r3] ENDIF)  ENDIF)  ENDIF)  ENDIF)  ELSE 
PMEM[12+r3] ENDIF)  ENDIF) =0) ELSE 
 (IF ( NOT Pp18) THEN 
( (IF (Pp10) THEN 
 (IF (( (IF (Pp5) THEN 
PMEM[44+r3] ELSE 
0 ENDIF) =1)) THEN 
1 ELSE 
0 ENDIF)  ELSE 
0 ENDIF) =0) ELSE 
( (IF ((( NOT Pp6 AND  NOT Pp7) OR (((( NOT Pp6 AND Pp7) AND  NOT Pp8) AND Pp9) OR ((Pp6 AND  NOT Pp8) AND Pp9)))) THEN 
1 ELSE 
 (IF (((Pp6 AND Pp8) OR ((( NOT Pp6 AND Pp7) AND Pp8) OR (((( NOT Pp6 AND Pp7) AND  NOT Pp8) AND  NOT Pp9) OR ((Pp6 AND  NOT Pp8) AND  NOT Pp9))))) THEN 
 (IF (( NOT Pp6 AND  NOT Pp7)) THEN 
1 ELSE 
 (IF ((Pp6 OR ( NOT Pp6 AND Pp7))) THEN 
0 ELSE 
 (IF (( NOT Pp3 AND Pp4)) THEN 
1 ELSE 
 (IF ((Pp3 OR ( NOT Pp3 AND  NOT Pp4))) THEN 
0 ELSE 
Pr5 ENDIF)  ENDIF)  ENDIF)  ENDIF)  ELSE 
Pr9 ENDIF)  ENDIF) =0) ENDIF)  ENDIF)  ENDIF) PPPPPPPPPPPPPP 
%------------------Annotation id 360
%c0= ~p18 p19~p20 p21
%c1=  p18~p20 p21
%------------------end print annotation 
%------------------Annotation id 372
%c0=  p18~p20~p21
%c1= ~p18 p19~p20~p21
%c2= ~p18~p19
%------------------end print annotation 
%c0= ~p18 p19~p20 p21
%c1=  p18~p20 p21
%c0=  p18~p20~p21
%c1= ~p18 p19~p20~p21
%c2= ~p18~p19
% Annotations  id3641,2 
%c0= ~p18 p19 p20
%c1=  p18 p20
%c0= ~p18 p19~p20 p21
%c1=  p18~p20 p21
%------------------Annotation id 364
%c0=  p18~p20 p21
%c1= ~p18 p19~p20 p21
%c2= ~p18 p19 p20
%c3=  p18 p20
%------------------end print annotation 
%c0=  p18~p20 p21
%c1= ~p18 p19~p20 p21
%c2= ~p18 p19 p20
%c3=  p18 p20
%------------------Annotation id 384
%c0=  p18~p20 p21
%c1= ~p18 p19~p20 p21
%c2= ~p18 p19 p20
%c3=  p18 p20
%------------------end print annotation 
%------------------Annotation id 368
%c0false
%------------------end print annotation 
%c0=  p18~p20 p21
%c1= ~p18 p19~p20 p21
%c2= ~p18 p19 p20
%c3=  p18 p20
%c0false
% Annotations  id3721,2 
%c0=  p18~p20~p21
%c1= ~p18 p19~p20~p21
%c2= ~p18~p19
%c0false
%------------------Annotation id 372
%c0=  p18~p20~p21
%c1= ~p18 p19~p20~p21
%c2= ~p18~p19
%------------------end print annotation 
%c0=  p18~p20~p21
%c1= ~p18 p19~p20~p21
%c2= ~p18~p19
% Annotations  id3761,2 
%c0false
%c0=  p18~p20~p21
%c1= ~p18 p19~p20~p21
%c2= ~p18~p19
%------------------Annotation id 376
%c0=  p18~p20~p21
%c1= ~p18 p19~p20~p21
%c2= ~p18~p19
%------------------end print annotation 
%c0=  p18~p20~p21
%c1= ~p18 p19~p20~p21
%c2= ~p18~p19
%------------------Annotation id 388
%c0=  p18~p20~p21
%c1= ~p18 p19~p20~p21
%c2= ~p18~p19
%------------------end print annotation 
%------------------Annotation id 380
%c0false
%------------------end print annotation 
%c0=  p18~p20~p21
%c1= ~p18 p19~p20~p21
%c2= ~p18~p19
%c0false
% Annotations  id3841,2 
%c0=  p18~p20 p21
%c1= ~p18 p19~p20 p21
%c2= ~p18 p19 p20
%c3=  p18 p20
%c0false
%------------------Annotation id 384
%c0=  p18~p20 p21
%c1= ~p18 p19~p20 p21
%c2= ~p18 p19 p20
%c3=  p18 p20
%------------------end print annotation 
%c0=  p18~p20 p21
%c1= ~p18 p19~p20 p21
%c2= ~p18 p19 p20
%c3=  p18 p20
% Annotations  id3881,2 
%c0=  p18~p20~p21
%c1= ~p18 p19~p20~p21
%c2= ~p18~p19
%c0=  p18~p20 p21
%c1= ~p18 p19~p20 p21
%c2= ~p18 p19 p20
%c3=  p18 p20
%------------------Annotation id 388
%c0true
%------------------end print annotation 
%c0true
% Annotations  id3921,2 
%c0false
%c0true
%------------------Annotation id 392
%c0true
%------------------end print annotation 
%c0true
% Annotations  id3961,2 
%c0false
%c0true
%------------------Annotation id 396
%c0true
%------------------end print annotation 
%c0true
%in rotateAndMask
%rotation amount = 27
%from_idx = 5
%to_idx = 31
PPPPPPPPPPPPPP proposition index = 21(PMEM[0+r3]=0)PPPPPPPPPPPPPP 
%------------------Annotation id 400
%c0= ~p22
%------------------end print annotation 
%------------------Annotation id 412
%c0=  p22
%------------------end print annotation 
%c0= ~p22
%c0=  p22
% Annotations  id4041,2 
%c0false
%c0= ~p22
%------------------Annotation id 404
%c0= ~p22
%------------------end print annotation 
%c0= ~p22
PPPPPPPPPPPPPP proposition index = 22 (IF ( NOT Pp22) THEN 
( (IF (( (IF (Pp5) THEN 
PMEM[44+r3] ELSE 
0 ENDIF) =0)) THEN 
1 ELSE 
0 ENDIF) =0) ELSE 
(PMEM[0+r3]=0) ENDIF) PPPPPPPPPPPPPP 
%------------------Annotation id 408
%c0= ~p22 p23
%------------------end print annotation 
%------------------Annotation id 420
%c0= ~p22~p23
%------------------end print annotation 
%c0= ~p22 p23
%c0= ~p22~p23
% Annotations  id4121,2 
%c0=  p22
%c0= ~p22 p23
%------------------Annotation id 412
%c0= ~p22 p23
%c1=  p22
%------------------end print annotation 
%c0= ~p22 p23
%c1=  p22
%------------------Annotation id 428
%c0= ~p22 p23
%c1=  p22
%------------------end print annotation 
%------------------Annotation id 416
%c0false
%------------------end print annotation 
%c0= ~p22 p23
%c1=  p22
%c0false
% Annotations  id4201,2 
%c0= ~p22~p23
%c0false
%------------------Annotation id 420
%c0= ~p22~p23
%------------------end print annotation 
%c0= ~p22~p23
%------------------Annotation id 444
%c0= ~p22~p23
%------------------end print annotation 
%------------------Annotation id 424
%c0false
%------------------end print annotation 
%c0= ~p22~p23
%c0false
% Annotations  id4281,2 
%c0= ~p22 p23
%c1=  p22
%c0false
%------------------Annotation id 428
%c0= ~p22 p23
%c1=  p22
%------------------end print annotation 
%c0= ~p22 p23
%c1=  p22
PPPPPPPPPPPPPP proposition index = 23 (IF ((Pp22 OR ( NOT Pp22 AND Pp23))) THEN 
( (IF (( NOT Pp14 AND  NOT Pp15)) THEN 
1 ELSE 
 (IF ((Pp14 OR ( NOT Pp14 AND Pp15))) THEN 
0 ELSE 
 (IF (( NOT Pp12 AND Pp13)) THEN 
1 ELSE 
 (IF ((Pp12 OR ( NOT Pp12 AND  NOT Pp13))) THEN 
0 ELSE 
PMEM[8+r3] ENDIF)  ENDIF)  ENDIF)  ENDIF) =0) ELSE 
 (IF ( NOT Pp22) THEN 
( (IF (( (IF (Pp5) THEN 
PMEM[44+r3] ELSE 
0 ENDIF) =0)) THEN 
1 ELSE 
0 ENDIF) =0) ELSE 
(PMEM[0+r3]=0) ENDIF)  ENDIF) PPPPPPPPPPPPPP 
%------------------Annotation id 432
%c0= ~p22 p23 p24
%c1=  p22 p24
%------------------end print annotation 
%------------------Annotation id 444
%c0=  p22~p24
%c1= ~p22 p23~p24
%c2= ~p22~p23
%------------------end print annotation 
%c0= ~p22 p23 p24
%c1=  p22 p24
%c0=  p22~p24
%c1= ~p22 p23~p24
%c2= ~p22~p23
% Annotations  id4361,2 
%c0false
%c0= ~p22 p23 p24
%c1=  p22 p24
%------------------Annotation id 436
%c0= ~p22 p23 p24
%c1=  p22 p24
%------------------end print annotation 
%c0= ~p22 p23 p24
%c1=  p22 p24
%------------------Annotation id 448
%c0= ~p22 p23 p24
%c1=  p22 p24
%------------------end print annotation 
%------------------Annotation id 440
%c0false
%------------------end print annotation 
%c0= ~p22 p23 p24
%c1=  p22 p24
%c0false
% Annotations  id4441,2 
%c0=  p22~p24
%c1= ~p22 p23~p24
%c2= ~p22~p23
%c0false
%------------------Annotation id 444
%c0=  p22~p24
%c1= ~p22 p23~p24
%c2= ~p22~p23
%------------------end print annotation 
%c0=  p22~p24
%c1= ~p22 p23~p24
%c2= ~p22~p23
% Annotations  id4481,2 
%c0= ~p22 p23 p24
%c1=  p22 p24
%c0=  p22~p24
%c1= ~p22 p23~p24
%c2= ~p22~p23
%------------------Annotation id 448
%c0true
%------------------end print annotation 
%c0true
% Annotations  id4521,2 
%c0false
%c0true
%------------------Annotation id 452
%c0true
%------------------end print annotation 
%c0true
% Annotations  id4561,2 
%c0false
%c0true
%------------------Annotation id 456
%c0true
%------------------end print annotation 
%c0true
PPPPPPPPPPPPPP proposition index = 24( (IF ((( NOT Pp18 AND  NOT Pp19) OR (((( NOT Pp18 AND Pp19) AND  NOT Pp20) AND  NOT Pp21) OR ((Pp18 AND  NOT Pp20) AND  NOT Pp21)))) THEN 
1 ELSE 
 (IF (((Pp18 AND Pp20) OR ((( NOT Pp18 AND Pp19) AND Pp20) OR (((( NOT Pp18 AND Pp19) AND  NOT Pp20) AND Pp21) OR ((Pp18 AND  NOT Pp20) AND Pp21))))) THEN 
0 ELSE 
 (IF (( (IF (Pp5) THEN 
PMEM[44+r3] ELSE 
0 ENDIF) =3)) THEN 
1 ELSE 
0 ENDIF)  ENDIF)  ENDIF) =0)PPPPPPPPPPPPPP 
%------------------Annotation id 460
%c0=  p25
%------------------end print annotation 
%------------------Annotation id 480
%c0= ~p25
%------------------end print annotation 
%c0=  p25
%c0= ~p25
% Annotations  id4641,2 
%c0false
%c0=  p25
%------------------Annotation id 464
%c0=  p25
%------------------end print annotation 
%c0=  p25
PPPPPPPPPPPPPP proposition index = 25 (IF (Pp25) THEN 
( (IF ((( NOT Pp22 AND  NOT Pp23) OR ((( NOT Pp22 AND Pp23) AND  NOT Pp24) OR (Pp22 AND  NOT Pp24)))) THEN 
1 ELSE 
 (IF (((Pp22 AND Pp24) OR (( NOT Pp22 AND Pp23) AND Pp24))) THEN 
 (IF (( NOT Pp22 AND  NOT Pp23)) THEN 
1 ELSE 
 (IF ((Pp22 OR ( NOT Pp22 AND Pp23))) THEN 
0 ELSE 
 (IF (Pp10) THEN 
 (IF (( (IF (Pp5) THEN 
PMEM[44+r3] ELSE 
0 ENDIF) =1)) THEN 
1 ELSE 
0 ENDIF)  ELSE 
0 ENDIF)  ENDIF)  ENDIF)  ELSE 
Pr12 ENDIF)  ENDIF) =0) ELSE 
( (IF ((( NOT Pp18 AND  NOT Pp19) OR (((( NOT Pp18 AND Pp19) AND  NOT Pp20) AND  NOT Pp21) OR ((Pp18 AND  NOT Pp20) AND  NOT Pp21)))) THEN 
1 ELSE 
 (IF (((Pp18 AND Pp20) OR ((( NOT Pp18 AND Pp19) AND Pp20) OR (((( NOT Pp18 AND Pp19) AND  NOT Pp20) AND Pp21) OR ((Pp18 AND  NOT Pp20) AND Pp21))))) THEN 
0 ELSE 
 (IF (( (IF (Pp5) THEN 
PMEM[44+r3] ELSE 
0 ENDIF) =3)) THEN 
1 ELSE 
0 ENDIF)  ENDIF)  ENDIF) =0) ENDIF) PPPPPPPPPPPPPP 
%------------------Annotation id 468
%c0=  p25 p26
%------------------end print annotation 
%------------------Annotation id 480
%c0=  p25~p26
%c1= ~p25
%------------------end print annotation 
%c0=  p25 p26
%c0=  p25~p26
%c1= ~p25
% Annotations  id4721,2 
%c0false
%c0=  p25 p26
%------------------Annotation id 472
%c0=  p25 p26
%------------------end print annotation 
%c0=  p25 p26
%------------------Annotation id 492
%c0=  p25 p26
%------------------end print annotation 
%------------------Annotation id 476
%c0false
%------------------end print annotation 
%c0=  p25 p26
%c0false
% Annotations  id4801,2 
%c0=  p25~p26
%c1= ~p25
%c0false
%------------------Annotation id 480
%c0=  p25~p26
%c1= ~p25
%------------------end print annotation 
%c0=  p25~p26
%c1= ~p25
% Annotations  id4841,2 
%c0false
%c0=  p25~p26
%c1= ~p25
%------------------Annotation id 484
%c0=  p25~p26
%c1= ~p25
%------------------end print annotation 
%c0=  p25~p26
%c1= ~p25
%------------------Annotation id 496
%c0=  p25~p26
%c1= ~p25
%------------------end print annotation 
%------------------Annotation id 488
%c0false
%------------------end print annotation 
%c0=  p25~p26
%c1= ~p25
%c0false
% Annotations  id4921,2 
%c0=  p25 p26
%c0false
%------------------Annotation id 492
%c0=  p25 p26
%------------------end print annotation 
%c0=  p25 p26
% Annotations  id4961,2 
%c0=  p25~p26
%c1= ~p25
%c0=  p25 p26
%------------------Annotation id 496
%c0true
%------------------end print annotation 
%c0true
PPPPPPPPPPPPPP proposition index = 26( (IF (( NOT Pp22 AND  NOT Pp23)) THEN 
1 ELSE 
 (IF ((Pp22 OR ( NOT Pp22 AND Pp23))) THEN 
0 ELSE 
 (IF (Pp10) THEN 
 (IF (( (IF (Pp5) THEN 
PMEM[44+r3] ELSE 
0 ENDIF) =1)) THEN 
1 ELSE 
0 ENDIF)  ELSE 
0 ENDIF)  ENDIF)  ENDIF) =0)PPPPPPPPPPPPPP 
%------------------Annotation id 500
%c0=  p27
%------------------end print annotation 
%------------------Annotation id 524
%c0= ~p27
%------------------end print annotation 
%c0=  p27
%c0= ~p27
% Annotations  id5041,2 
%c0false
%c0=  p27
%------------------Annotation id 504
%c0=  p27
%------------------end print annotation 
%c0=  p27
% Annotations  id5081,2 
%c0false
%c0=  p27
%------------------Annotation id 508
%c0=  p27
%------------------end print annotation 
%c0=  p27
PPPPPPPPPPPPPP proposition index = 27 (IF (Pp27) THEN 
( (IF (Pp27) THEN 
PMEM[4+r3] ELSE 
 (IF ((( NOT Pp22 AND  NOT Pp23) OR ((( NOT Pp22 AND Pp23) AND  NOT Pp24) OR (Pp22 AND  NOT Pp24)))) THEN 
1 ELSE 
 (IF (((Pp22 AND Pp24) OR (( NOT Pp22 AND Pp23) AND Pp24))) THEN 
 (IF (( NOT Pp22 AND  NOT Pp23)) THEN 
1 ELSE 
 (IF ((Pp22 OR ( NOT Pp22 AND Pp23))) THEN 
0 ELSE 
 (IF (Pp10) THEN 
 (IF (( (IF (Pp5) THEN 
PMEM[44+r3] ELSE 
0 ENDIF) =1)) THEN 
1 ELSE 
0 ENDIF)  ELSE 
0 ENDIF)  ENDIF)  ENDIF)  ELSE 
Pr12 ENDIF)  ENDIF)  ENDIF) =0) ELSE 
( (IF (( NOT Pp22 AND  NOT Pp23)) THEN 
1 ELSE 
 (IF ((Pp22 OR ( NOT Pp22 AND Pp23))) THEN 
0 ELSE 
 (IF (Pp10) THEN 
 (IF (( (IF (Pp5) THEN 
PMEM[44+r3] ELSE 
0 ENDIF) =1)) THEN 
1 ELSE 
0 ENDIF)  ELSE 
0 ENDIF)  ENDIF)  ENDIF) =0) ENDIF) PPPPPPPPPPPPPP 
%------------------Annotation id 512
%c0=  p27 p28
%------------------end print annotation 
%------------------Annotation id 524
%c0=  p27~p28
%c1= ~p27
%------------------end print annotation 
%c0=  p27 p28
%c0=  p27~p28
%c1= ~p27
% Annotations  id5161,2 
%c0false
%c0=  p27 p28
%------------------Annotation id 516
%c0=  p27 p28
%------------------end print annotation 
%c0=  p27 p28
%------------------Annotation id 544
%c0=  p27 p28
%------------------end print annotation 
%------------------Annotation id 520
%c0false
%------------------end print annotation 
%c0=  p27 p28
%c0false
% Annotations  id5241,2 
%c0=  p27~p28
%c1= ~p27
%c0false
%------------------Annotation id 524
%c0=  p27~p28
%c1= ~p27
%------------------end print annotation 
%c0=  p27~p28
%c1= ~p27
% Annotations  id5281,2 
%c0false
%c0=  p27~p28
%c1= ~p27
%------------------Annotation id 528
%c0=  p27~p28
%c1= ~p27
%------------------end print annotation 
%c0=  p27~p28
%c1= ~p27
PPPPPPPPPPPPPP proposition index = 28 (IF (( NOT Pp27 OR (Pp27 AND  NOT Pp28))) THEN 
( (IF (( NOT Pp22 AND  NOT Pp23)) THEN 
1 ELSE 
 (IF ((Pp22 OR ( NOT Pp22 AND Pp23))) THEN 
0 ELSE 
 (IF (Pp10) THEN 
 (IF (( (IF (Pp5) THEN 
PMEM[44+r3] ELSE 
0 ENDIF) =1)) THEN 
1 ELSE 
0 ENDIF)  ELSE 
0 ENDIF)  ENDIF)  ENDIF) =0) ELSE 
 (IF (Pp27) THEN 
( (IF (Pp27) THEN 
PMEM[4+r3] ELSE 
 (IF ((( NOT Pp22 AND  NOT Pp23) OR ((( NOT Pp22 AND Pp23) AND  NOT Pp24) OR (Pp22 AND  NOT Pp24)))) THEN 
1 ELSE 
 (IF (((Pp22 AND Pp24) OR (( NOT Pp22 AND Pp23) AND Pp24))) THEN 
 (IF (( NOT Pp22 AND  NOT Pp23)) THEN 
1 ELSE 
 (IF ((Pp22 OR ( NOT Pp22 AND Pp23))) THEN 
0 ELSE 
 (IF (Pp10) THEN 
 (IF (( (IF (Pp5) THEN 
PMEM[44+r3] ELSE 
0 ENDIF) =1)) THEN 
1 ELSE 
0 ENDIF)  ELSE 
0 ENDIF)  ENDIF)  ENDIF)  ELSE 
Pr12 ENDIF)  ENDIF)  ENDIF) =0) ELSE 
( (IF (( NOT Pp22 AND  NOT Pp23)) THEN 
1 ELSE 
 (IF ((Pp22 OR ( NOT Pp22 AND Pp23))) THEN 
0 ELSE 
 (IF (Pp10) THEN 
 (IF (( (IF (Pp5) THEN 
PMEM[44+r3] ELSE 
0 ENDIF) =1)) THEN 
1 ELSE 
0 ENDIF)  ELSE 
0 ENDIF)  ENDIF)  ENDIF) =0) ENDIF)  ENDIF) PPPPPPPPPPPPPP 
%------------------Annotation id 532
%c0=  p27~p28~p29
%c1= ~p27~p29
%------------------end print annotation 
%------------------Annotation id 544
%c0= ~p27 p29
%c1=  p27~p28 p29
%c2=  p27 p28
%------------------end print annotation 
%c0=  p27~p28~p29
%c1= ~p27~p29
%c0= ~p27 p29
%c1=  p27~p28 p29
%c2=  p27 p28
% Annotations  id5361,2 
%c0false
%c0=  p27~p28~p29
%c1= ~p27~p29
%------------------Annotation id 536
%c0=  p27~p28~p29
%c1= ~p27~p29
%------------------end print annotation 
%c0=  p27~p28~p29
%c1= ~p27~p29
%------------------Annotation id 548
%c0=  p27~p28~p29
%c1= ~p27~p29
%------------------end print annotation 
%------------------Annotation id 540
%c0false
%------------------end print annotation 
%c0=  p27~p28~p29
%c1= ~p27~p29
%c0false
% Annotations  id5441,2 
%c0= ~p27 p29
%c1=  p27~p28 p29
%c2=  p27 p28
%c0false
%------------------Annotation id 544
%c0= ~p27 p29
%c1=  p27~p28 p29
%c2=  p27 p28
%------------------end print annotation 
%c0= ~p27 p29
%c1=  p27~p28 p29
%c2=  p27 p28
% Annotations  id5481,2 
%c0=  p27~p28~p29
%c1= ~p27~p29
%c0= ~p27 p29
%c1=  p27~p28 p29
%c2=  p27 p28
%------------------Annotation id 548
%c0true
%------------------end print annotation 
%c0true
PPPPPPPPPPPPPP proposition index = 29( (IF (( NOT Pp27 OR (Pp27 AND  NOT Pp28))) THEN 
1 ELSE 
 (IF ((Pp27 AND Pp28)) THEN 
0 ELSE 
 (IF (((Pp18 AND Pp20) OR ((( NOT Pp18 AND Pp19) AND Pp20) OR (((( NOT Pp18 AND Pp19) AND  NOT Pp20) AND Pp21) OR ((Pp18 AND  NOT Pp20) AND Pp21))))) THEN 
2 ELSE 
 (IF ((( NOT Pp18 AND  NOT Pp19) OR (((( NOT Pp18 AND Pp19) AND  NOT Pp20) AND  NOT Pp21) OR ((Pp18 AND  NOT Pp20) AND  NOT Pp21)))) THEN 
0 ELSE 
 (IF ((( NOT Pp6 AND  NOT Pp7) OR (((( NOT Pp6 AND Pp7) AND  NOT Pp8) AND Pp9) OR ((Pp6 AND  NOT Pp8) AND Pp9)))) THEN 
1 ELSE 
 (IF (((Pp6 AND Pp8) OR ((( NOT Pp6 AND Pp7) AND Pp8) OR (((( NOT Pp6 AND Pp7) AND  NOT Pp8) AND  NOT Pp9) OR ((Pp6 AND  NOT Pp8) AND  NOT Pp9))))) THEN 
 (IF (( NOT Pp6 AND  NOT Pp7)) THEN 
1 ELSE 
 (IF ((Pp6 OR ( NOT Pp6 AND Pp7))) THEN 
0 ELSE 
 (IF (( NOT Pp3 AND Pp4)) THEN 
1 ELSE 
 (IF ((Pp3 OR ( NOT Pp3 AND  NOT Pp4))) THEN 
0 ELSE 
Pr5 ENDIF)  ENDIF)  ENDIF)  ENDIF)  ELSE 
Pr9 ENDIF)  ENDIF)  ENDIF)  ENDIF)  ENDIF)  ENDIF) =0)PPPPPPPPPPPPPP 
%------------------Annotation id 552
%c0= ~p30
%------------------end print annotation 
%------------------Annotation id 564
%c0=  p30
%------------------end print annotation 
%c0= ~p30
%c0=  p30
% Annotations  id5561,2 
%c0false
%c0= ~p30
%------------------Annotation id 556
%c0= ~p30
%------------------end print annotation 
%c0= ~p30
PPPPPPPPPPPPPP proposition index = 30 (IF ( NOT Pp30) THEN 
( (IF (((Pp27 AND Pp28) OR (((Pp27 AND  NOT Pp28) AND Pp29) OR ( NOT Pp27 AND Pp29)))) THEN 
 (IF (( (IF (Pp5) THEN 
PMEM[44+r3] ELSE 
0 ENDIF) =0)) THEN 
1 ELSE 
0 ENDIF)  ELSE 
 (IF ((( NOT Pp27 AND  NOT Pp29) OR ((Pp27 AND  NOT Pp28) AND  NOT Pp29))) THEN 
0 ELSE 
 (IF (( NOT Pp22 AND  NOT Pp23)) THEN 
1 ELSE 
 (IF ((Pp22 OR ( NOT Pp22 AND Pp23))) THEN 
0 ELSE 
 (IF (Pp10) THEN 
 (IF (( (IF (Pp5) THEN 
PMEM[44+r3] ELSE 
0 ENDIF) =1)) THEN 
1 ELSE 
0 ENDIF)  ELSE 
0 ENDIF)  ENDIF)  ENDIF)  ENDIF)  ENDIF) =0) ELSE 
( (IF (( NOT Pp27 OR (Pp27 AND  NOT Pp28))) THEN 
1 ELSE 
 (IF ((Pp27 AND Pp28)) THEN 
0 ELSE 
 (IF (((Pp18 AND Pp20) OR ((( NOT Pp18 AND Pp19) AND Pp20) OR (((( NOT Pp18 AND Pp19) AND  NOT Pp20) AND Pp21) OR ((Pp18 AND  NOT Pp20) AND Pp21))))) THEN 
2 ELSE 
 (IF ((( NOT Pp18 AND  NOT Pp19) OR (((( NOT Pp18 AND Pp19) AND  NOT Pp20) AND  NOT Pp21) OR ((Pp18 AND  NOT Pp20) AND  NOT Pp21)))) THEN 
0 ELSE 
 (IF ((( NOT Pp6 AND  NOT Pp7) OR (((( NOT Pp6 AND Pp7) AND  NOT Pp8) AND Pp9) OR ((Pp6 AND  NOT Pp8) AND Pp9)))) THEN 
1 ELSE 
 (IF (((Pp6 AND Pp8) OR ((( NOT Pp6 AND Pp7) AND Pp8) OR (((( NOT Pp6 AND Pp7) AND  NOT Pp8) AND  NOT Pp9) OR ((Pp6 AND  NOT Pp8) AND  NOT Pp9))))) THEN 
 (IF (( NOT Pp6 AND  NOT Pp7)) THEN 
1 ELSE 
 (IF ((Pp6 OR ( NOT Pp6 AND Pp7))) THEN 
0 ELSE 
 (IF (( NOT Pp3 AND Pp4)) THEN 
1 ELSE 
 (IF ((Pp3 OR ( NOT Pp3 AND  NOT Pp4))) THEN 
0 ELSE 
Pr5 ENDIF)  ENDIF)  ENDIF)  ENDIF)  ELSE 
Pr9 ENDIF)  ENDIF)  ENDIF)  ENDIF)  ENDIF)  ENDIF) =0) ENDIF) PPPPPPPPPPPPPP 
%------------------Annotation id 560
%c0= ~p30 p31
%------------------end print annotation 
%------------------Annotation id 572
%c0= ~p30~p31
%------------------end print annotation 
%c0= ~p30 p31
%c0= ~p30~p31
% Annotations  id5641,2 
%c0=  p30
%c0= ~p30 p31
%------------------Annotation id 564
%c0= ~p30 p31
%c1=  p30
%------------------end print annotation 
%c0= ~p30 p31
%c1=  p30
%------------------Annotation id 576
%c0= ~p30 p31
%c1=  p30
%------------------end print annotation 
%------------------Annotation id 568
%c0false
%------------------end print annotation 
%c0= ~p30 p31
%c1=  p30
%c0false
% Annotations  id5721,2 
%c0= ~p30~p31
%c0false
%------------------Annotation id 572
%c0= ~p30~p31
%------------------end print annotation 
%c0= ~p30~p31
% Annotations  id5761,2 
%c0= ~p30 p31
%c1=  p30
%c0= ~p30~p31
%------------------Annotation id 576
%c0true
%------------------end print annotation 
%c0true
% Annotations  id5801,2 
%c0false
%c0true
%------------------Annotation id 580
%c0true
%------------------end print annotation 
%c0true
% Annotations  id5841,2 
%c0false
%c0true
%------------------Annotation id 584
%c0true
%------------------end print annotation 
%c0true
PPPPPPPPPPPPPP proposition index = 31( (IF (( NOT Pp25 OR (Pp25 AND  NOT Pp26))) THEN 
1 ELSE 
 (IF ((Pp25 AND Pp26)) THEN 
0 ELSE 
 (IF (( NOT Pp14 AND  NOT Pp15)) THEN 
1 ELSE 
 (IF ((Pp14 OR ( NOT Pp14 AND Pp15))) THEN 
0 ELSE 
 (IF (( NOT Pp12 AND Pp13)) THEN 
1 ELSE 
 (IF ((Pp12 OR ( NOT Pp12 AND  NOT Pp13))) THEN 
0 ELSE 
PMEM[8+r3] ENDIF)  ENDIF)  ENDIF)  ENDIF)  ENDIF)  ENDIF) =0)PPPPPPPPPPPPPP 
%------------------Annotation id 588
%c0=  p32
%------------------end print annotation 
%------------------Annotation id 608
%c0= ~p32
%------------------end print annotation 
%c0=  p32
%c0= ~p32
% Annotations  id5921,2 
%c0false
%c0=  p32
%------------------Annotation id 592
%c0=  p32
%------------------end print annotation 
%c0=  p32
PPPPPPPPPPPPPP proposition index = 32 (IF (Pp32) THEN 
( (IF (( NOT Pp30 AND  NOT Pp31)) THEN 
1 ELSE 
 (IF ((Pp30 OR ( NOT Pp30 AND Pp31))) THEN 
0 ELSE 
 (IF (Pp27) THEN 
PMEM[4+r3] ELSE 
 (IF ((( NOT Pp22 AND  NOT Pp23) OR ((( NOT Pp22 AND Pp23) AND  NOT Pp24) OR (Pp22 AND  NOT Pp24)))) THEN 
1 ELSE 
 (IF (((Pp22 AND Pp24) OR (( NOT Pp22 AND Pp23) AND Pp24))) THEN 
 (IF (( NOT Pp22 AND  NOT Pp23)) THEN 
1 ELSE 
 (IF ((Pp22 OR ( NOT Pp22 AND Pp23))) THEN 
0 ELSE 
 (IF (Pp10) THEN 
 (IF (( (IF (Pp5) THEN 
PMEM[44+r3] ELSE 
0 ENDIF) =1)) THEN 
1 ELSE 
0 ENDIF)  ELSE 
0 ENDIF)  ENDIF)  ENDIF)  ELSE 
Pr12 ENDIF)  ENDIF)  ENDIF)  ENDIF)  ENDIF) =0) ELSE 
( (IF (( NOT Pp25 OR (Pp25 AND  NOT Pp26))) THEN 
1 ELSE 
 (IF ((Pp25 AND Pp26)) THEN 
0 ELSE 
 (IF (( NOT Pp14 AND  NOT Pp15)) THEN 
1 ELSE 
 (IF ((Pp14 OR ( NOT Pp14 AND Pp15))) THEN 
0 ELSE 
 (IF (( NOT Pp12 AND Pp13)) THEN 
1 ELSE 
 (IF ((Pp12 OR ( NOT Pp12 AND  NOT Pp13))) THEN 
0 ELSE 
PMEM[8+r3] ENDIF)  ENDIF)  ENDIF)  ENDIF)  ENDIF)  ENDIF) =0) ENDIF) PPPPPPPPPPPPPP 
%------------------Annotation id 596
%c0=  p32 p33
%------------------end print annotation 
%------------------Annotation id 608
%c0=  p32~p33
%c1= ~p32
%------------------end print annotation 
%c0=  p32 p33
%c0=  p32~p33
%c1= ~p32
% Annotations  id6001,2 
%c0false
%c0=  p32 p33
%------------------Annotation id 600
%c0=  p32 p33
%------------------end print annotation 
%c0=  p32 p33
PPPPPPPPPPPPPP proposition index = 33 (IF ((Pp32 AND Pp33)) THEN 
( (IF (( NOT Pp6 AND  NOT Pp7)) THEN 
1 ELSE 
 (IF ((Pp6 OR ( NOT Pp6 AND Pp7))) THEN 
0 ELSE 
 (IF (( NOT Pp3 AND Pp4)) THEN 
1 ELSE 
 (IF ((Pp3 OR ( NOT Pp3 AND  NOT Pp4))) THEN 
0 ELSE 
Pr5 ENDIF)  ENDIF)  ENDIF)  ENDIF) =0) ELSE 
 (IF (Pp32) THEN 
( (IF (( NOT Pp30 AND  NOT Pp31)) THEN 
1 ELSE 
 (IF ((Pp30 OR ( NOT Pp30 AND Pp31))) THEN 
0 ELSE 
 (IF (Pp27) THEN 
PMEM[4+r3] ELSE 
 (IF ((( NOT Pp22 AND  NOT Pp23) OR ((( NOT Pp22 AND Pp23) AND  NOT Pp24) OR (Pp22 AND  NOT Pp24)))) THEN 
1 ELSE 
 (IF (((Pp22 AND Pp24) OR (( NOT Pp22 AND Pp23) AND Pp24))) THEN 
 (IF (( NOT Pp22 AND  NOT Pp23)) THEN 
1 ELSE 
 (IF ((Pp22 OR ( NOT Pp22 AND Pp23))) THEN 
0 ELSE 
 (IF (Pp10) THEN 
 (IF (( (IF (Pp5) THEN 
PMEM[44+r3] ELSE 
0 ENDIF) =1)) THEN 
1 ELSE 
0 ENDIF)  ELSE 
0 ENDIF)  ENDIF)  ENDIF)  ELSE 
Pr12 ENDIF)  ENDIF)  ENDIF)  ENDIF)  ENDIF) =0) ELSE 
( (IF (( NOT Pp25 OR (Pp25 AND  NOT Pp26))) THEN 
1 ELSE 
 (IF ((Pp25 AND Pp26)) THEN 
0 ELSE 
 (IF (( NOT Pp14 AND  NOT Pp15)) THEN 
1 ELSE 
 (IF ((Pp14 OR ( NOT Pp14 AND Pp15))) THEN 
0 ELSE 
 (IF (( NOT Pp12 AND Pp13)) THEN 
1 ELSE 
 (IF ((Pp12 OR ( NOT Pp12 AND  NOT Pp13))) THEN 
0 ELSE 
PMEM[8+r3] ENDIF)  ENDIF)  ENDIF)  ENDIF)  ENDIF)  ENDIF) =0) ENDIF)  ENDIF) PPPPPPPPPPPPPP 
%------------------Annotation id 604
%c0=  p32 p33~p34
%------------------end print annotation 
%------------------Annotation id 616
%c0=  p32 p33 p34
%------------------end print annotation 
%c0=  p32 p33~p34
%c0=  p32 p33 p34
% Annotations  id6081,2 
%c0=  p32~p33
%c1= ~p32
%c0=  p32 p33~p34
%------------------Annotation id 608
%c0=  p32 p33~p34
%c1=  p32~p33
%c2= ~p32
%------------------end print annotation 
%c0=  p32 p33~p34
%c1=  p32~p33
%c2= ~p32
%------------------Annotation id 620
%c0=  p32 p33~p34
%c1=  p32~p33
%c2= ~p32
%------------------end print annotation 
%------------------Annotation id 612
%c0false
%------------------end print annotation 
%c0=  p32 p33~p34
%c1=  p32~p33
%c2= ~p32
%c0false
% Annotations  id6161,2 
%c0=  p32 p33 p34
%c0false
%------------------Annotation id 616
%c0=  p32 p33 p34
%------------------end print annotation 
%c0=  p32 p33 p34
% Annotations  id6201,2 
%c0=  p32 p33~p34
%c1=  p32~p33
%c2= ~p32
%c0=  p32 p33 p34
%------------------Annotation id 620
%c0true
%------------------end print annotation 
%c0true
% Annotations  id6241,2 
%c0false
%c0true
%------------------Annotation id 624
%c0true
%------------------end print annotation 
%c0true
% Annotations  id6281,2 
%c0false
%c0true
%------------------Annotation id 628
%c0true
%------------------end print annotation 
%c0true
PPPPPPPPPPPPPP proposition index = 34( (IF (( NOT Pp30 AND  NOT Pp31)) THEN 
1 ELSE 
 (IF ((Pp30 OR ( NOT Pp30 AND Pp31))) THEN 
0 ELSE 
 (IF (Pp27) THEN 
PMEM[4+r3] ELSE 
 (IF ((( NOT Pp22 AND  NOT Pp23) OR ((( NOT Pp22 AND Pp23) AND  NOT Pp24) OR (Pp22 AND  NOT Pp24)))) THEN 
1 ELSE 
 (IF (((Pp22 AND Pp24) OR (( NOT Pp22 AND Pp23) AND Pp24))) THEN 
 (IF (( NOT Pp22 AND  NOT Pp23)) THEN 
1 ELSE 
 (IF ((Pp22 OR ( NOT Pp22 AND Pp23))) THEN 
0 ELSE 
 (IF (Pp10) THEN 
 (IF (( (IF (Pp5) THEN 
PMEM[44+r3] ELSE 
0 ENDIF) =1)) THEN 
1 ELSE 
0 ENDIF)  ELSE 
0 ENDIF)  ENDIF)  ENDIF)  ELSE 
Pr12 ENDIF)  ENDIF)  ENDIF)  ENDIF)  ENDIF) =0)PPPPPPPPPPPPPP 
%------------------Annotation id 632
%c0= ~p35
%------------------end print annotation 
%------------------Annotation id 644
%c0=  p35
%------------------end print annotation 
%c0= ~p35
%c0=  p35
% Annotations  id6361,2 
%c0false
%c0= ~p35
%------------------Annotation id 636
%c0= ~p35
%------------------end print annotation 
%c0= ~p35
% Annotations  id6401,2 
%c0false
%c0= ~p35
%------------------Annotation id 640
%c0= ~p35
%------------------end print annotation 
%c0= ~p35
% Annotations  id6441,2 
%c0=  p35
%c0= ~p35
%------------------Annotation id 644
%c0true
%------------------end print annotation 
%c0true
PPPPPPPPPPPPPP proposition index = 35( (IF ((( NOT Pp22 AND  NOT Pp23) OR ((( NOT Pp22 AND Pp23) AND  NOT Pp24) OR (Pp22 AND  NOT Pp24)))) THEN 
1 ELSE 
 (IF (((Pp22 AND Pp24) OR (( NOT Pp22 AND Pp23) AND Pp24))) THEN 
 (IF (( NOT Pp22 AND  NOT Pp23)) THEN 
1 ELSE 
 (IF ((Pp22 OR ( NOT Pp22 AND Pp23))) THEN 
0 ELSE 
 (IF (Pp10) THEN 
 (IF (( (IF (Pp5) THEN 
PMEM[44+r3] ELSE 
0 ENDIF) =1)) THEN 
1 ELSE 
0 ENDIF)  ELSE 
0 ENDIF)  ENDIF)  ENDIF)  ELSE 
Pr12 ENDIF)  ENDIF) =0)PPPPPPPPPPPPPP 
%------------------Annotation id 648
%c0= ~p36
%------------------end print annotation 
%------------------Annotation id 660
%c0=  p36
%------------------end print annotation 
%c0= ~p36
%c0=  p36
% Annotations  id6521,2 
%c0false
%c0= ~p36
%------------------Annotation id 652
%c0= ~p36
%------------------end print annotation 
%c0= ~p36
% Annotations  id6561,2 
%c0false
%c0= ~p36
%------------------Annotation id 656
%c0= ~p36
%------------------end print annotation 
%c0= ~p36
% Annotations  id6601,2 
%c0=  p36
%c0= ~p36
%------------------Annotation id 660
%c0true
%------------------end print annotation 
%c0true
% Annotations  id6641,2 
%c0false
%c0true
%------------------Annotation id 664
%c0true
%------------------end print annotation 
%c0true
% Annotations  id6681,2 
%c0false
%c0true
%------------------Annotation id 668
%c0true
%------------------end print annotation 
%c0true
% Annotations  id6721,2 
%c0false
%c0true
%------------------Annotation id 672
%c0true
%------------------end print annotation 
%c0true
% Annotations  id6761,2 
%c0false
%c0true
%------------------Annotation id 676
%c0true
%------------------end print annotation 
%c0true
% Annotations  id6801,2 
%c0false
%c0true
%------------------Annotation id 680
%c0true
%------------------end print annotation 
%c0true
%------------------Annotation id 684
%c0false
%------------------end print annotation 
%c0false
%**************************************
%* PARSING DONE. NOW PRINTING SYMBOLS *
%**************************************
%BEGIN-COMMON-HEADER
MUL:[[REAL,REAL]->REAL];
ANDC:[[REAL,REAL]->REAL];
CNTLZW:[REAL->REAL];
SELECT_BIT:[[REAL,REAL]->REAL];
BitArray:[[REAL,REAL,REAL,REAL,
                               REAL,REAL,REAL,REAL,
                               REAL,REAL,REAL,REAL,
                               REAL,REAL,REAL,REAL,
                               REAL,REAL,REAL,REAL,
                               REAL,REAL,REAL,REAL,
                               REAL,REAL,REAL,REAL,
                               REAL,REAL,REAL,REAL]->REAL];
MEM:ARRAY REAL OF REAL;
PMEM:ARRAY REAL OF REAL;
p10 : BOOLEAN;
Pp10 : BOOLEAN;
p11 : BOOLEAN;
Pp11 : BOOLEAN;
p12 : BOOLEAN;
Pp12 : BOOLEAN;
p13 : BOOLEAN;
Pp13 : BOOLEAN;
p14 : BOOLEAN;
Pp14 : BOOLEAN;
p20 : BOOLEAN;
Pp20 : BOOLEAN;
p15 : BOOLEAN;
Pp15 : BOOLEAN;
p21 : BOOLEAN;
Pp21 : BOOLEAN;
p16 : BOOLEAN;
Pp16 : BOOLEAN;
p22 : BOOLEAN;
Pp22 : BOOLEAN;
p17 : BOOLEAN;
Pp17 : BOOLEAN;
p23 : BOOLEAN;
Pp23 : BOOLEAN;
p18 : BOOLEAN;
Pp18 : BOOLEAN;
p24 : BOOLEAN;
Pp24 : BOOLEAN;
p19 : BOOLEAN;
Pp19 : BOOLEAN;
p30 : BOOLEAN;
Pp30 : BOOLEAN;
p25 : BOOLEAN;
Pp25 : BOOLEAN;
p31 : BOOLEAN;
Pp31 : BOOLEAN;
p26 : BOOLEAN;
Pp26 : BOOLEAN;
p32 : BOOLEAN;
Pp32 : BOOLEAN;
p27 : BOOLEAN;
Pp27 : BOOLEAN;
p33 : BOOLEAN;
Pp33 : BOOLEAN;
p28 : BOOLEAN;
Pp28 : BOOLEAN;
p34 : BOOLEAN;
Pp34 : BOOLEAN;
p29 : BOOLEAN;
Pp29 : BOOLEAN;
p35 : BOOLEAN;
Pp35 : BOOLEAN;
p36 : BOOLEAN;
Pp36 : BOOLEAN;
p1 : BOOLEAN;
Pp1 : BOOLEAN;
p2 : BOOLEAN;
Pp2 : BOOLEAN;
p3 : BOOLEAN;
Pp3 : BOOLEAN;
p4 : BOOLEAN;
Pp4 : BOOLEAN;
p5 : BOOLEAN;
Pp5 : BOOLEAN;
p6 : BOOLEAN;
Pp6 : BOOLEAN;
p7 : BOOLEAN;
Pp7 : BOOLEAN;
p8 : BOOLEAN;
Pp8 : BOOLEAN;
p9 : BOOLEAN;
Pp9 : BOOLEAN;
r0 :  REAL;
Pr0 :  REAL;
r1 :  REAL;
Pr1 :  REAL;
r3 :  REAL;
Pr3 :  REAL;
r4 :  REAL;
Pr4 :  REAL;
r5 :  REAL;
Pr5 :  REAL;
r6 :  REAL;
Pr6 :  REAL;
r7 :  REAL;
Pr7 :  REAL;
r8 :  REAL;
Pr8 :  REAL;
r9 :  REAL;
Pr9 :  REAL;
r10 :  REAL;
Pr10 :  REAL;
r11 :  REAL;
Pr11 :  REAL;
r12 :  REAL;
Pr12 :  REAL;
r30 :  REAL;
Pr30 :  REAL;
r31 :  REAL;
Pr31 :  REAL;
cr00 : BOOLEAN;
Pcr00 : BOOLEAN;
cr01 : BOOLEAN;
Pcr01 : BOOLEAN;
cr02 : BOOLEAN;
Pcr02 : BOOLEAN;
cr03 : BOOLEAN;
Pcr03 : BOOLEAN;
cr04 : BOOLEAN;
Pcr04 : BOOLEAN;
cr10 : BOOLEAN;
Pcr10 : BOOLEAN;
cr05 : BOOLEAN;
Pcr05 : BOOLEAN;
cr11 : BOOLEAN;
Pcr11 : BOOLEAN;
cr06 : BOOLEAN;
Pcr06 : BOOLEAN;
cr12 : BOOLEAN;
Pcr12 : BOOLEAN;
cr07 : BOOLEAN;
Pcr07 : BOOLEAN;
cr13 : BOOLEAN;
Pcr13 : BOOLEAN;
cr08 : BOOLEAN;
Pcr08 : BOOLEAN;
cr14 : BOOLEAN;
Pcr14 : BOOLEAN;
cr09 : BOOLEAN;
Pcr09 : BOOLEAN;
cr20 : BOOLEAN;
Pcr20 : BOOLEAN;
cr15 : BOOLEAN;
Pcr15 : BOOLEAN;
cr21 : BOOLEAN;
Pcr21 : BOOLEAN;
cr16 : BOOLEAN;
Pcr16 : BOOLEAN;
cr22 : BOOLEAN;
Pcr22 : BOOLEAN;
cr17 : BOOLEAN;
Pcr17 : BOOLEAN;
cr23 : BOOLEAN;
Pcr23 : BOOLEAN;
cr18 : BOOLEAN;
Pcr18 : BOOLEAN;
cr24 : BOOLEAN;
Pcr24 : BOOLEAN;
cr19 : BOOLEAN;
Pcr19 : BOOLEAN;
true :  REAL;
Ptrue :  REAL;
cr30 : BOOLEAN;
Pcr30 : BOOLEAN;
cr25 : BOOLEAN;
Pcr25 : BOOLEAN;
cr31 : BOOLEAN;
Pcr31 : BOOLEAN;
cr26 : BOOLEAN;
Pcr26 : BOOLEAN;
cr27 : BOOLEAN;
Pcr27 : BOOLEAN;
cr28 : BOOLEAN;
Pcr28 : BOOLEAN;
cr29 : BOOLEAN;
Pcr29 : BOOLEAN;
STACK12 :  REAL;
PSTACK12 :  REAL;
oldSP :  REAL;
PoldSP :  REAL;
STACK8 :  REAL;
PSTACK8 :  REAL;
C_ : REAL;
%END-COMMON-HEADER
%BEGIN-ASSERTS
%---Target Transition 
%***********************************
%* NOW PRINTING TRANSITION ....... *
%***********************************
 %FORM addVARS
ASSERT PMEM[4+r3]=MEM[4+r3];
 %FORM addVARS
ASSERT PMEM[0+r3]=MEM[0+r3];
 %FORM addVARS
ASSERT PMEM[12+r3]=MEM[12+r3];
 %FORM addVARS
ASSERT PMEM[8+r3]=MEM[8+r3];
ASSERT PMEM[28+r3]=0
;

ASSERT PMEM[24+r3] = (IF ( NOT p36) THEN 
1 ELSE 
MEM[24+r3] ENDIF) ;

ASSERT PMEM[20+r3] = (IF ( NOT p35) THEN 
1 ELSE 
MEM[20+r3] ENDIF) ;

ASSERT PMEM[16+r3] = (IF (((p32 AND p33) AND p34)) THEN 
 (IF (p5) THEN 
MEM[44+r3] ELSE 
0 ENDIF)  ELSE 
 (IF (( NOT p32 OR ((p32 AND  NOT p33) OR ((p32 AND p33) AND  NOT p34)))) THEN 
 (IF ((p25 AND p26)) THEN 
3 ELSE 
 (IF (( NOT p25 OR (p25 AND  NOT p26))) THEN 
 (IF (((p18 AND p20) OR ((( NOT p18 AND p19) AND p20) OR (((( NOT p18 AND p19) AND  NOT p20) AND p21) OR ((p18 AND  NOT p20) AND p21))))) THEN 
2 ELSE 
 (IF ((( NOT p18 AND  NOT p19) OR (((( NOT p18 AND p19) AND  NOT p20) AND  NOT p21) OR ((p18 AND  NOT p20) AND  NOT p21)))) THEN 
0 ELSE 
 (IF ((( NOT p6 AND  NOT p7) OR (((( NOT p6 AND p7) AND  NOT p8) AND p9) OR ((p6 AND  NOT p8) AND p9)))) THEN 
1 ELSE 
 (IF (((p6 AND p8) OR ((( NOT p6 AND p7) AND p8) OR (((( NOT p6 AND p7) AND  NOT p8) AND  NOT p9) OR ((p6 AND  NOT p8) AND  NOT p9))))) THEN 
 (IF (( NOT p6 AND  NOT p7)) THEN 
1 ELSE 
 (IF ((p6 OR ( NOT p6 AND p7))) THEN 
0 ELSE 
 (IF (( NOT p3 AND p4)) THEN 
1 ELSE 
 (IF ((p3 OR ( NOT p3 AND  NOT p4))) THEN 
0 ELSE 
r5 ENDIF)  ENDIF)  ENDIF)  ENDIF)  ELSE 
r9 ENDIF)  ENDIF)  ENDIF)  ENDIF)  ELSE 
 (IF ((( NOT p18 AND  NOT p19) OR (((( NOT p18 AND p19) AND  NOT p20) AND  NOT p21) OR ((p18 AND  NOT p20) AND  NOT p21)))) THEN 
1 ELSE 
 (IF (((p18 AND p20) OR ((( NOT p18 AND p19) AND p20) OR (((( NOT p18 AND p19) AND  NOT p20) AND p21) OR ((p18 AND  NOT p20) AND p21))))) THEN 
0 ELSE 
 (IF (( (IF (p5) THEN 
MEM[44+r3] ELSE 
0 ENDIF) =3)) THEN 
1 ELSE 
0 ENDIF)  ENDIF)  ENDIF)  ENDIF)  ENDIF)  ELSE 
MEM[44+r3] ENDIF)  ENDIF) ;

ASSERT PMEM[48+r3]=0
;

ASSERT PMEM[44+r3] = (IF (((p32 AND p33) AND p34)) THEN 
 (IF (p5) THEN 
MEM[44+r3] ELSE 
0 ENDIF)  ELSE 
 (IF (( NOT p32 OR ((p32 AND  NOT p33) OR ((p32 AND p33) AND  NOT p34)))) THEN 
 (IF ((p25 AND p26)) THEN 
3 ELSE 
 (IF (( NOT p25 OR (p25 AND  NOT p26))) THEN 
 (IF (((p18 AND p20) OR ((( NOT p18 AND p19) AND p20) OR (((( NOT p18 AND p19) AND  NOT p20) AND p21) OR ((p18 AND  NOT p20) AND p21))))) THEN 
2 ELSE 
 (IF ((( NOT p18 AND  NOT p19) OR (((( NOT p18 AND p19) AND  NOT p20) AND  NOT p21) OR ((p18 AND  NOT p20) AND  NOT p21)))) THEN 
0 ELSE 
 (IF ((( NOT p6 AND  NOT p7) OR (((( NOT p6 AND p7) AND  NOT p8) AND p9) OR ((p6 AND  NOT p8) AND p9)))) THEN 
1 ELSE 
 (IF (((p6 AND p8) OR ((( NOT p6 AND p7) AND p8) OR (((( NOT p6 AND p7) AND  NOT p8) AND  NOT p9) OR ((p6 AND  NOT p8) AND  NOT p9))))) THEN 
 (IF (( NOT p6 AND  NOT p7)) THEN 
1 ELSE 
 (IF ((p6 OR ( NOT p6 AND p7))) THEN 
0 ELSE 
 (IF (( NOT p3 AND p4)) THEN 
1 ELSE 
 (IF ((p3 OR ( NOT p3 AND  NOT p4))) THEN 
0 ELSE 
r5 ENDIF)  ENDIF)  ENDIF)  ENDIF)  ELSE 
r9 ENDIF)  ENDIF)  ENDIF)  ENDIF)  ELSE 
 (IF ((( NOT p18 AND  NOT p19) OR (((( NOT p18 AND p19) AND  NOT p20) AND  NOT p21) OR ((p18 AND  NOT p20) AND  NOT p21)))) THEN 
1 ELSE 
 (IF (((p18 AND p20) OR ((( NOT p18 AND p19) AND p20) OR (((( NOT p18 AND p19) AND  NOT p20) AND p21) OR ((p18 AND  NOT p20) AND p21))))) THEN 
0 ELSE 
 (IF (( (IF (p5) THEN 
MEM[44+r3] ELSE 
0 ENDIF) =3)) THEN 
1 ELSE 
0 ENDIF)  ENDIF)  ENDIF)  ENDIF)  ENDIF)  ELSE 
MEM[44+r3] ENDIF)  ENDIF) ;

ASSERT PMEM[40+r3]=0
;

ASSERT PMEM[36+r3] = (IF ((( NOT p22 AND  NOT p23) OR ((( NOT p22 AND p23) AND  NOT p24) OR (p22 AND  NOT p24)))) THEN 
1 ELSE 
 (IF (((p22 AND p24) OR (( NOT p22 AND p23) AND p24))) THEN 
 (IF (( NOT p22 AND  NOT p23)) THEN 
1 ELSE 
 (IF ((p22 OR ( NOT p22 AND p23))) THEN 
0 ELSE 
 (IF (p10) THEN 
 (IF (( (IF (p5) THEN 
MEM[44+r3] ELSE 
0 ENDIF) =1)) THEN 
1 ELSE 
0 ENDIF)  ELSE 
0 ENDIF)  ENDIF)  ENDIF)  ELSE 
r12 ENDIF)  ENDIF) ;

ASSERT PMEM[32+r3] = (IF (( NOT p30 AND  NOT p31)) THEN 
1 ELSE 
 (IF ((p30 OR ( NOT p30 AND p31))) THEN 
0 ELSE 
 (IF (p27) THEN 
MEM[4+r3] ELSE 
 (IF ((( NOT p22 AND  NOT p23) OR ((( NOT p22 AND p23) AND  NOT p24) OR (p22 AND  NOT p24)))) THEN 
1 ELSE 
 (IF (((p22 AND p24) OR (( NOT p22 AND p23) AND p24))) THEN 
 (IF (( NOT p22 AND  NOT p23)) THEN 
1 ELSE 
 (IF ((p22 OR ( NOT p22 AND p23))) THEN 
0 ELSE 
 (IF (p10) THEN 
 (IF (( (IF (p5) THEN 
MEM[44+r3] ELSE 
0 ENDIF) =1)) THEN 
1 ELSE 
0 ENDIF)  ELSE 
0 ENDIF)  ENDIF)  ENDIF)  ELSE 
r12 ENDIF)  ENDIF)  ENDIF)  ENDIF)  ENDIF) ;
%***********************************
%* NOW PRINTING PROPOSITIONS ..... *
%***********************************
%----------------Proposition Values 
ASSERT p1=(MEM[48+r3]=0);
ASSERT p2=(MEM[12+r3]=0);
ASSERT p3=(MEM[8+r3]=0);
ASSERT p4= (IF ( NOT p3) THEN 
(0=1) ELSE 
(MEM[8+r3]=0) ENDIF) ;
ASSERT p5=(MEM[48+r3]=0);
ASSERT p6=( (IF (( NOT p3 AND p4)) THEN 
1 ELSE 
 (IF ((p3 OR ( NOT p3 AND  NOT p4))) THEN 
0 ELSE 
r5 ENDIF)  ENDIF) =0);
ASSERT p7= (IF ( NOT p6) THEN 
( (IF (( (IF (p5) THEN 
MEM[44+r3] ELSE 
0 ENDIF) =1)) THEN 
1 ELSE 
0 ENDIF) =0) ELSE 
( (IF (( NOT p3 AND p4)) THEN 
1 ELSE 
 (IF ((p3 OR ( NOT p3 AND  NOT p4))) THEN 
0 ELSE 
r5 ENDIF)  ENDIF) =0) ENDIF) ;
ASSERT p8= (IF ((p6 OR ( NOT p6 AND p7))) THEN 
(MEM[8+r3]=0) ELSE 
 (IF ( NOT p6) THEN 
( (IF (( (IF (p5) THEN 
MEM[44+r3] ELSE 
0 ENDIF) =1)) THEN 
1 ELSE 
0 ENDIF) =0) ELSE 
( (IF (( NOT p3 AND p4)) THEN 
1 ELSE 
 (IF ((p3 OR ( NOT p3 AND  NOT p4))) THEN 
0 ELSE 
r5 ENDIF)  ENDIF) =0) ENDIF)  ENDIF) ;
ASSERT p9= (IF (((p6 AND  NOT p8) OR (( NOT p6 AND p7) AND  NOT p8))) THEN 
(0=0) ELSE 
 (IF ((p6 OR ( NOT p6 AND p7))) THEN 
(MEM[8+r3]=0) ELSE 
 (IF ( NOT p6) THEN 
( (IF (( (IF (p5) THEN 
MEM[44+r3] ELSE 
0 ENDIF) =1)) THEN 
1 ELSE 
0 ENDIF) =0) ELSE 
( (IF (( NOT p3 AND p4)) THEN 
1 ELSE 
 (IF ((p3 OR ( NOT p3 AND  NOT p4))) THEN 
0 ELSE 
r5 ENDIF)  ENDIF) =0) ENDIF)  ENDIF)  ENDIF) ;
ASSERT p10=( (IF (( NOT p6 AND  NOT p7)) THEN 
1 ELSE 
 (IF ((p6 OR ( NOT p6 AND p7))) THEN 
0 ELSE 
 (IF (( NOT p3 AND p4)) THEN 
1 ELSE 
 (IF ((p3 OR ( NOT p3 AND  NOT p4))) THEN 
0 ELSE 
r5 ENDIF)  ENDIF)  ENDIF)  ENDIF) =0);
ASSERT p11=(MEM[0+r3]=0);
ASSERT p12=(MEM[0+r3]=0);
ASSERT p13= (IF ( NOT p12) THEN 
(MEM[12+r3]=0) ELSE 
(MEM[0+r3]=0) ENDIF) ;
ASSERT p14=( (IF (( NOT p12 AND p13)) THEN 
1 ELSE 
 (IF ((p12 OR ( NOT p12 AND  NOT p13))) THEN 
0 ELSE 
MEM[8+r3] ENDIF)  ENDIF) =0);
ASSERT p15= (IF ( NOT p14) THEN 
( (IF (( (IF (p5) THEN 
MEM[44+r3] ELSE 
0 ENDIF) =3)) THEN 
1 ELSE 
0 ENDIF) =0) ELSE 
( (IF (( NOT p12 AND p13)) THEN 
1 ELSE 
 (IF ((p12 OR ( NOT p12 AND  NOT p13))) THEN 
0 ELSE 
MEM[8+r3] ENDIF)  ENDIF) =0) ENDIF) ;
ASSERT p16= (IF ((p14 OR ( NOT p14 AND p15))) THEN 
(MEM[12+r3]=0) ELSE 
 (IF ( NOT p14) THEN 
( (IF (( (IF (p5) THEN 
MEM[44+r3] ELSE 
0 ENDIF) =3)) THEN 
1 ELSE 
0 ENDIF) =0) ELSE 
( (IF (( NOT p12 AND p13)) THEN 
1 ELSE 
 (IF ((p12 OR ( NOT p12 AND  NOT p13))) THEN 
0 ELSE 
MEM[8+r3] ENDIF)  ENDIF) =0) ENDIF)  ENDIF) ;
ASSERT p17= (IF ((( NOT p14 AND  NOT p15) OR ((( NOT p14 AND p15) AND  NOT p16) OR (p14 AND  NOT p16)))) THEN 
( (IF (( NOT p14 AND  NOT p15)) THEN 
1 ELSE 
 (IF ((p14 OR ( NOT p14 AND p15))) THEN 
0 ELSE 
 (IF (( NOT p12 AND p13)) THEN 
1 ELSE 
 (IF ((p12 OR ( NOT p12 AND  NOT p13))) THEN 
0 ELSE 
MEM[8+r3] ENDIF)  ENDIF)  ENDIF)  ENDIF) =0) ELSE 
 (IF ((p14 OR ( NOT p14 AND p15))) THEN 
(MEM[12+r3]=0) ELSE 
 (IF ( NOT p14) THEN 
( (IF (( (IF (p5) THEN 
MEM[44+r3] ELSE 
0 ENDIF) =3)) THEN 
1 ELSE 
0 ENDIF) =0) ELSE 
( (IF (( NOT p12 AND p13)) THEN 
1 ELSE 
 (IF ((p12 OR ( NOT p12 AND  NOT p13))) THEN 
0 ELSE 
MEM[8+r3] ENDIF)  ENDIF) =0) ENDIF)  ENDIF)  ENDIF) ;
ASSERT p18=( (IF ((( NOT p6 AND  NOT p7) OR (((( NOT p6 AND p7) AND  NOT p8) AND p9) OR ((p6 AND  NOT p8) AND p9)))) THEN 
1 ELSE 
 (IF (((p6 AND p8) OR ((( NOT p6 AND p7) AND p8) OR (((( NOT p6 AND p7) AND  NOT p8) AND  NOT p9) OR ((p6 AND  NOT p8) AND  NOT p9))))) THEN 
 (IF (( NOT p6 AND  NOT p7)) THEN 
1 ELSE 
 (IF ((p6 OR ( NOT p6 AND p7))) THEN 
0 ELSE 
 (IF (( NOT p3 AND p4)) THEN 
1 ELSE 
 (IF ((p3 OR ( NOT p3 AND  NOT p4))) THEN 
0 ELSE 
r5 ENDIF)  ENDIF)  ENDIF)  ENDIF)  ELSE 
r9 ENDIF)  ENDIF) =0);
ASSERT p19= (IF ( NOT p18) THEN 
( (IF (p10) THEN 
 (IF (( (IF (p5) THEN 
MEM[44+r3] ELSE 
0 ENDIF) =1)) THEN 
1 ELSE 
0 ENDIF)  ELSE 
0 ENDIF) =0) ELSE 
( (IF ((( NOT p6 AND  NOT p7) OR (((( NOT p6 AND p7) AND  NOT p8) AND p9) OR ((p6 AND  NOT p8) AND p9)))) THEN 
1 ELSE 
 (IF (((p6 AND p8) OR ((( NOT p6 AND p7) AND p8) OR (((( NOT p6 AND p7) AND  NOT p8) AND  NOT p9) OR ((p6 AND  NOT p8) AND  NOT p9))))) THEN 
 (IF (( NOT p6 AND  NOT p7)) THEN 
1 ELSE 
 (IF ((p6 OR ( NOT p6 AND p7))) THEN 
0 ELSE 
 (IF (( NOT p3 AND p4)) THEN 
1 ELSE 
 (IF ((p3 OR ( NOT p3 AND  NOT p4))) THEN 
0 ELSE 
r5 ENDIF)  ENDIF)  ENDIF)  ENDIF)  ELSE 
r9 ENDIF)  ENDIF) =0) ENDIF) ;
ASSERT p20= (IF ((p18 OR ( NOT p18 AND p19))) THEN 
( (IF ((( NOT p14 AND  NOT p15) OR ((( NOT p14 AND p15) AND  NOT p16) OR (p14 AND  NOT p16)))) THEN 
1 ELSE 
 (IF (((p14 AND p16) OR (( NOT p14 AND p15) AND p16))) THEN 
 (IF (( NOT p14 AND  NOT p15)) THEN 
1 ELSE 
 (IF ((p14 OR ( NOT p14 AND p15))) THEN 
0 ELSE 
 (IF (( NOT p12 AND p13)) THEN 
1 ELSE 
 (IF ((p12 OR ( NOT p12 AND  NOT p13))) THEN 
0 ELSE 
MEM[8+r3] ENDIF)  ENDIF)  ENDIF)  ENDIF)  ELSE 
MEM[12+r3] ENDIF)  ENDIF) =0) ELSE 
 (IF ( NOT p18) THEN 
( (IF (p10) THEN 
 (IF (( (IF (p5) THEN 
MEM[44+r3] ELSE 
0 ENDIF) =1)) THEN 
1 ELSE 
0 ENDIF)  ELSE 
0 ENDIF) =0) ELSE 
( (IF ((( NOT p6 AND  NOT p7) OR (((( NOT p6 AND p7) AND  NOT p8) AND p9) OR ((p6 AND  NOT p8) AND p9)))) THEN 
1 ELSE 
 (IF (((p6 AND p8) OR ((( NOT p6 AND p7) AND p8) OR (((( NOT p6 AND p7) AND  NOT p8) AND  NOT p9) OR ((p6 AND  NOT p8) AND  NOT p9))))) THEN 
 (IF (( NOT p6 AND  NOT p7)) THEN 
1 ELSE 
 (IF ((p6 OR ( NOT p6 AND p7))) THEN 
0 ELSE 
 (IF (( NOT p3 AND p4)) THEN 
1 ELSE 
 (IF ((p3 OR ( NOT p3 AND  NOT p4))) THEN 
0 ELSE 
r5 ENDIF)  ENDIF)  ENDIF)  ENDIF)  ELSE 
r9 ENDIF)  ENDIF) =0) ENDIF)  ENDIF) ;
ASSERT p21= (IF (((p18 AND  NOT p20) OR (( NOT p18 AND p19) AND  NOT p20))) THEN 
( (IF (((p14 AND p16) OR ((( NOT p14 AND p15) AND p16) OR (((p14 AND  NOT p16) AND p17) OR (((( NOT p14 AND p15) AND  NOT p16) AND p17) OR (( NOT p14 AND  NOT p15) AND p17)))))) THEN 
 (IF (( (IF (p5) THEN 
MEM[44+r3] ELSE 
0 ENDIF) =3)) THEN 
1 ELSE 
0 ENDIF)  ELSE 
 (IF (((( NOT p14 AND  NOT p15) AND  NOT p17) OR (((( NOT p14 AND p15) AND  NOT p16) AND  NOT p17) OR ((p14 AND  NOT p16) AND  NOT p17)))) THEN 
0 ELSE 
r4 ENDIF)  ENDIF) =0) ELSE 
 (IF ((p18 OR ( NOT p18 AND p19))) THEN 
( (IF ((( NOT p14 AND  NOT p15) OR ((( NOT p14 AND p15) AND  NOT p16) OR (p14 AND  NOT p16)))) THEN 
1 ELSE 
 (IF (((p14 AND p16) OR (( NOT p14 AND p15) AND p16))) THEN 
 (IF (( NOT p14 AND  NOT p15)) THEN 
1 ELSE 
 (IF ((p14 OR ( NOT p14 AND p15))) THEN 
0 ELSE 
 (IF (( NOT p12 AND p13)) THEN 
1 ELSE 
 (IF ((p12 OR ( NOT p12 AND  NOT p13))) THEN 
0 ELSE 
MEM[8+r3] ENDIF)  ENDIF)  ENDIF)  ENDIF)  ELSE 
MEM[12+r3] ENDIF)  ENDIF) =0) ELSE 
 (IF ( NOT p18) THEN 
( (IF (p10) THEN 
 (IF (( (IF (p5) THEN 
MEM[44+r3] ELSE 
0 ENDIF) =1)) THEN 
1 ELSE 
0 ENDIF)  ELSE 
0 ENDIF) =0) ELSE 
( (IF ((( NOT p6 AND  NOT p7) OR (((( NOT p6 AND p7) AND  NOT p8) AND p9) OR ((p6 AND  NOT p8) AND p9)))) THEN 
1 ELSE 
 (IF (((p6 AND p8) OR ((( NOT p6 AND p7) AND p8) OR (((( NOT p6 AND p7) AND  NOT p8) AND  NOT p9) OR ((p6 AND  NOT p8) AND  NOT p9))))) THEN 
 (IF (( NOT p6 AND  NOT p7)) THEN 
1 ELSE 
 (IF ((p6 OR ( NOT p6 AND p7))) THEN 
0 ELSE 
 (IF (( NOT p3 AND p4)) THEN 
1 ELSE 
 (IF ((p3 OR ( NOT p3 AND  NOT p4))) THEN 
0 ELSE 
r5 ENDIF)  ENDIF)  ENDIF)  ENDIF)  ELSE 
r9 ENDIF)  ENDIF) =0) ENDIF)  ENDIF)  ENDIF) ;
ASSERT p22=(MEM[0+r3]=0);
ASSERT p23= (IF ( NOT p22) THEN 
( (IF (( (IF (p5) THEN 
MEM[44+r3] ELSE 
0 ENDIF) =0)) THEN 
1 ELSE 
0 ENDIF) =0) ELSE 
(MEM[0+r3]=0) ENDIF) ;
ASSERT p24= (IF ((p22 OR ( NOT p22 AND p23))) THEN 
( (IF (( NOT p14 AND  NOT p15)) THEN 
1 ELSE 
 (IF ((p14 OR ( NOT p14 AND p15))) THEN 
0 ELSE 
 (IF (( NOT p12 AND p13)) THEN 
1 ELSE 
 (IF ((p12 OR ( NOT p12 AND  NOT p13))) THEN 
0 ELSE 
MEM[8+r3] ENDIF)  ENDIF)  ENDIF)  ENDIF) =0) ELSE 
 (IF ( NOT p22) THEN 
( (IF (( (IF (p5) THEN 
MEM[44+r3] ELSE 
0 ENDIF) =0)) THEN 
1 ELSE 
0 ENDIF) =0) ELSE 
(MEM[0+r3]=0) ENDIF)  ENDIF) ;
ASSERT p25=( (IF ((( NOT p18 AND  NOT p19) OR (((( NOT p18 AND p19) AND  NOT p20) AND  NOT p21) OR ((p18 AND  NOT p20) AND  NOT p21)))) THEN 
1 ELSE 
 (IF (((p18 AND p20) OR ((( NOT p18 AND p19) AND p20) OR (((( NOT p18 AND p19) AND  NOT p20) AND p21) OR ((p18 AND  NOT p20) AND p21))))) THEN 
0 ELSE 
 (IF (( (IF (p5) THEN 
MEM[44+r3] ELSE 
0 ENDIF) =3)) THEN 
1 ELSE 
0 ENDIF)  ENDIF)  ENDIF) =0);
ASSERT p26= (IF (p25) THEN 
( (IF ((( NOT p22 AND  NOT p23) OR ((( NOT p22 AND p23) AND  NOT p24) OR (p22 AND  NOT p24)))) THEN 
1 ELSE 
 (IF (((p22 AND p24) OR (( NOT p22 AND p23) AND p24))) THEN 
 (IF (( NOT p22 AND  NOT p23)) THEN 
1 ELSE 
 (IF ((p22 OR ( NOT p22 AND p23))) THEN 
0 ELSE 
 (IF (p10) THEN 
 (IF (( (IF (p5) THEN 
MEM[44+r3] ELSE 
0 ENDIF) =1)) THEN 
1 ELSE 
0 ENDIF)  ELSE 
0 ENDIF)  ENDIF)  ENDIF)  ELSE 
r12 ENDIF)  ENDIF) =0) ELSE 
( (IF ((( NOT p18 AND  NOT p19) OR (((( NOT p18 AND p19) AND  NOT p20) AND  NOT p21) OR ((p18 AND  NOT p20) AND  NOT p21)))) THEN 
1 ELSE 
 (IF (((p18 AND p20) OR ((( NOT p18 AND p19) AND p20) OR (((( NOT p18 AND p19) AND  NOT p20) AND p21) OR ((p18 AND  NOT p20) AND p21))))) THEN 
0 ELSE 
 (IF (( (IF (p5) THEN 
MEM[44+r3] ELSE 
0 ENDIF) =3)) THEN 
1 ELSE 
0 ENDIF)  ENDIF)  ENDIF) =0) ENDIF) ;
ASSERT p27=( (IF (( NOT p22 AND  NOT p23)) THEN 
1 ELSE 
 (IF ((p22 OR ( NOT p22 AND p23))) THEN 
0 ELSE 
 (IF (p10) THEN 
 (IF (( (IF (p5) THEN 
MEM[44+r3] ELSE 
0 ENDIF) =1)) THEN 
1 ELSE 
0 ENDIF)  ELSE 
0 ENDIF)  ENDIF)  ENDIF) =0);
ASSERT p28= (IF (p27) THEN 
( (IF (p27) THEN 
MEM[4+r3] ELSE 
 (IF ((( NOT p22 AND  NOT p23) OR ((( NOT p22 AND p23) AND  NOT p24) OR (p22 AND  NOT p24)))) THEN 
1 ELSE 
 (IF (((p22 AND p24) OR (( NOT p22 AND p23) AND p24))) THEN 
 (IF (( NOT p22 AND  NOT p23)) THEN 
1 ELSE 
 (IF ((p22 OR ( NOT p22 AND p23))) THEN 
0 ELSE 
 (IF (p10) THEN 
 (IF (( (IF (p5) THEN 
MEM[44+r3] ELSE 
0 ENDIF) =1)) THEN 
1 ELSE 
0 ENDIF)  ELSE 
0 ENDIF)  ENDIF)  ENDIF)  ELSE 
r12 ENDIF)  ENDIF)  ENDIF) =0) ELSE 
( (IF (( NOT p22 AND  NOT p23)) THEN 
1 ELSE 
 (IF ((p22 OR ( NOT p22 AND p23))) THEN 
0 ELSE 
 (IF (p10) THEN 
 (IF (( (IF (p5) THEN 
MEM[44+r3] ELSE 
0 ENDIF) =1)) THEN 
1 ELSE 
0 ENDIF)  ELSE 
0 ENDIF)  ENDIF)  ENDIF) =0) ENDIF) ;
ASSERT p29= (IF (( NOT p27 OR (p27 AND  NOT p28))) THEN 
( (IF (( NOT p22 AND  NOT p23)) THEN 
1 ELSE 
 (IF ((p22 OR ( NOT p22 AND p23))) THEN 
0 ELSE 
 (IF (p10) THEN 
 (IF (( (IF (p5) THEN 
MEM[44+r3] ELSE 
0 ENDIF) =1)) THEN 
1 ELSE 
0 ENDIF)  ELSE 
0 ENDIF)  ENDIF)  ENDIF) =0) ELSE 
 (IF (p27) THEN 
( (IF (p27) THEN 
MEM[4+r3] ELSE 
 (IF ((( NOT p22 AND  NOT p23) OR ((( NOT p22 AND p23) AND  NOT p24) OR (p22 AND  NOT p24)))) THEN 
1 ELSE 
 (IF (((p22 AND p24) OR (( NOT p22 AND p23) AND p24))) THEN 
 (IF (( NOT p22 AND  NOT p23)) THEN 
1 ELSE 
 (IF ((p22 OR ( NOT p22 AND p23))) THEN 
0 ELSE 
 (IF (p10) THEN 
 (IF (( (IF (p5) THEN 
MEM[44+r3] ELSE 
0 ENDIF) =1)) THEN 
1 ELSE 
0 ENDIF)  ELSE 
0 ENDIF)  ENDIF)  ENDIF)  ELSE 
r12 ENDIF)  ENDIF)  ENDIF) =0) ELSE 
( (IF (( NOT p22 AND  NOT p23)) THEN 
1 ELSE 
 (IF ((p22 OR ( NOT p22 AND p23))) THEN 
0 ELSE 
 (IF (p10) THEN 
 (IF (( (IF (p5) THEN 
MEM[44+r3] ELSE 
0 ENDIF) =1)) THEN 
1 ELSE 
0 ENDIF)  ELSE 
0 ENDIF)  ENDIF)  ENDIF) =0) ENDIF)  ENDIF) ;
ASSERT p30=( (IF (( NOT p27 OR (p27 AND  NOT p28))) THEN 
1 ELSE 
 (IF ((p27 AND p28)) THEN 
0 ELSE 
 (IF (((p18 AND p20) OR ((( NOT p18 AND p19) AND p20) OR (((( NOT p18 AND p19) AND  NOT p20) AND p21) OR ((p18 AND  NOT p20) AND p21))))) THEN 
2 ELSE 
 (IF ((( NOT p18 AND  NOT p19) OR (((( NOT p18 AND p19) AND  NOT p20) AND  NOT p21) OR ((p18 AND  NOT p20) AND  NOT p21)))) THEN 
0 ELSE 
 (IF ((( NOT p6 AND  NOT p7) OR (((( NOT p6 AND p7) AND  NOT p8) AND p9) OR ((p6 AND  NOT p8) AND p9)))) THEN 
1 ELSE 
 (IF (((p6 AND p8) OR ((( NOT p6 AND p7) AND p8) OR (((( NOT p6 AND p7) AND  NOT p8) AND  NOT p9) OR ((p6 AND  NOT p8) AND  NOT p9))))) THEN 
 (IF (( NOT p6 AND  NOT p7)) THEN 
1 ELSE 
 (IF ((p6 OR ( NOT p6 AND p7))) THEN 
0 ELSE 
 (IF (( NOT p3 AND p4)) THEN 
1 ELSE 
 (IF ((p3 OR ( NOT p3 AND  NOT p4))) THEN 
0 ELSE 
r5 ENDIF)  ENDIF)  ENDIF)  ENDIF)  ELSE 
r9 ENDIF)  ENDIF)  ENDIF)  ENDIF)  ENDIF)  ENDIF) =0);
ASSERT p31= (IF ( NOT p30) THEN 
( (IF (((p27 AND p28) OR (((p27 AND  NOT p28) AND p29) OR ( NOT p27 AND p29)))) THEN 
 (IF (( (IF (p5) THEN 
MEM[44+r3] ELSE 
0 ENDIF) =0)) THEN 
1 ELSE 
0 ENDIF)  ELSE 
 (IF ((( NOT p27 AND  NOT p29) OR ((p27 AND  NOT p28) AND  NOT p29))) THEN 
0 ELSE 
 (IF (( NOT p22 AND  NOT p23)) THEN 
1 ELSE 
 (IF ((p22 OR ( NOT p22 AND p23))) THEN 
0 ELSE 
 (IF (p10) THEN 
 (IF (( (IF (p5) THEN 
MEM[44+r3] ELSE 
0 ENDIF) =1)) THEN 
1 ELSE 
0 ENDIF)  ELSE 
0 ENDIF)  ENDIF)  ENDIF)  ENDIF)  ENDIF) =0) ELSE 
( (IF (( NOT p27 OR (p27 AND  NOT p28))) THEN 
1 ELSE 
 (IF ((p27 AND p28)) THEN 
0 ELSE 
 (IF (((p18 AND p20) OR ((( NOT p18 AND p19) AND p20) OR (((( NOT p18 AND p19) AND  NOT p20) AND p21) OR ((p18 AND  NOT p20) AND p21))))) THEN 
2 ELSE 
 (IF ((( NOT p18 AND  NOT p19) OR (((( NOT p18 AND p19) AND  NOT p20) AND  NOT p21) OR ((p18 AND  NOT p20) AND  NOT p21)))) THEN 
0 ELSE 
 (IF ((( NOT p6 AND  NOT p7) OR (((( NOT p6 AND p7) AND  NOT p8) AND p9) OR ((p6 AND  NOT p8) AND p9)))) THEN 
1 ELSE 
 (IF (((p6 AND p8) OR ((( NOT p6 AND p7) AND p8) OR (((( NOT p6 AND p7) AND  NOT p8) AND  NOT p9) OR ((p6 AND  NOT p8) AND  NOT p9))))) THEN 
 (IF (( NOT p6 AND  NOT p7)) THEN 
1 ELSE 
 (IF ((p6 OR ( NOT p6 AND p7))) THEN 
0 ELSE 
 (IF (( NOT p3 AND p4)) THEN 
1 ELSE 
 (IF ((p3 OR ( NOT p3 AND  NOT p4))) THEN 
0 ELSE 
r5 ENDIF)  ENDIF)  ENDIF)  ENDIF)  ELSE 
r9 ENDIF)  ENDIF)  ENDIF)  ENDIF)  ENDIF)  ENDIF) =0) ENDIF) ;
ASSERT p32=( (IF (( NOT p25 OR (p25 AND  NOT p26))) THEN 
1 ELSE 
 (IF ((p25 AND p26)) THEN 
0 ELSE 
 (IF (( NOT p14 AND  NOT p15)) THEN 
1 ELSE 
 (IF ((p14 OR ( NOT p14 AND p15))) THEN 
0 ELSE 
 (IF (( NOT p12 AND p13)) THEN 
1 ELSE 
 (IF ((p12 OR ( NOT p12 AND  NOT p13))) THEN 
0 ELSE 
MEM[8+r3] ENDIF)  ENDIF)  ENDIF)  ENDIF)  ENDIF)  ENDIF) =0);
ASSERT p33= (IF (p32) THEN 
( (IF (( NOT p30 AND  NOT p31)) THEN 
1 ELSE 
 (IF ((p30 OR ( NOT p30 AND p31))) THEN 
0 ELSE 
 (IF (p27) THEN 
MEM[4+r3] ELSE 
 (IF ((( NOT p22 AND  NOT p23) OR ((( NOT p22 AND p23) AND  NOT p24) OR (p22 AND  NOT p24)))) THEN 
1 ELSE 
 (IF (((p22 AND p24) OR (( NOT p22 AND p23) AND p24))) THEN 
 (IF (( NOT p22 AND  NOT p23)) THEN 
1 ELSE 
 (IF ((p22 OR ( NOT p22 AND p23))) THEN 
0 ELSE 
 (IF (p10) THEN 
 (IF (( (IF (p5) THEN 
MEM[44+r3] ELSE 
0 ENDIF) =1)) THEN 
1 ELSE 
0 ENDIF)  ELSE 
0 ENDIF)  ENDIF)  ENDIF)  ELSE 
r12 ENDIF)  ENDIF)  ENDIF)  ENDIF)  ENDIF) =0) ELSE 
( (IF (( NOT p25 OR (p25 AND  NOT p26))) THEN 
1 ELSE 
 (IF ((p25 AND p26)) THEN 
0 ELSE 
 (IF (( NOT p14 AND  NOT p15)) THEN 
1 ELSE 
 (IF ((p14 OR ( NOT p14 AND p15))) THEN 
0 ELSE 
 (IF (( NOT p12 AND p13)) THEN 
1 ELSE 
 (IF ((p12 OR ( NOT p12 AND  NOT p13))) THEN 
0 ELSE 
MEM[8+r3] ENDIF)  ENDIF)  ENDIF)  ENDIF)  ENDIF)  ENDIF) =0) ENDIF) ;
ASSERT p34= (IF ((p32 AND p33)) THEN 
( (IF (( NOT p6 AND  NOT p7)) THEN 
1 ELSE 
 (IF ((p6 OR ( NOT p6 AND p7))) THEN 
0 ELSE 
 (IF (( NOT p3 AND p4)) THEN 
1 ELSE 
 (IF ((p3 OR ( NOT p3 AND  NOT p4))) THEN 
0 ELSE 
r5 ENDIF)  ENDIF)  ENDIF)  ENDIF) =0) ELSE 
 (IF (p32) THEN 
( (IF (( NOT p30 AND  NOT p31)) THEN 
1 ELSE 
 (IF ((p30 OR ( NOT p30 AND p31))) THEN 
0 ELSE 
 (IF (p27) THEN 
MEM[4+r3] ELSE 
 (IF ((( NOT p22 AND  NOT p23) OR ((( NOT p22 AND p23) AND  NOT p24) OR (p22 AND  NOT p24)))) THEN 
1 ELSE 
 (IF (((p22 AND p24) OR (( NOT p22 AND p23) AND p24))) THEN 
 (IF (( NOT p22 AND  NOT p23)) THEN 
1 ELSE 
 (IF ((p22 OR ( NOT p22 AND p23))) THEN 
0 ELSE 
 (IF (p10) THEN 
 (IF (( (IF (p5) THEN 
MEM[44+r3] ELSE 
0 ENDIF) =1)) THEN 
1 ELSE 
0 ENDIF)  ELSE 
0 ENDIF)  ENDIF)  ENDIF)  ELSE 
r12 ENDIF)  ENDIF)  ENDIF)  ENDIF)  ENDIF) =0) ELSE 
( (IF (( NOT p25 OR (p25 AND  NOT p26))) THEN 
1 ELSE 
 (IF ((p25 AND p26)) THEN 
0 ELSE 
 (IF (( NOT p14 AND  NOT p15)) THEN 
1 ELSE 
 (IF ((p14 OR ( NOT p14 AND p15))) THEN 
0 ELSE 
 (IF (( NOT p12 AND p13)) THEN 
1 ELSE 
 (IF ((p12 OR ( NOT p12 AND  NOT p13))) THEN 
0 ELSE 
MEM[8+r3] ENDIF)  ENDIF)  ENDIF)  ENDIF)  ENDIF)  ENDIF) =0) ENDIF)  ENDIF) ;
ASSERT p35=( (IF (( NOT p30 AND  NOT p31)) THEN 
1 ELSE 
 (IF ((p30 OR ( NOT p30 AND p31))) THEN 
0 ELSE 
 (IF (p27) THEN 
MEM[4+r3] ELSE 
 (IF ((( NOT p22 AND  NOT p23) OR ((( NOT p22 AND p23) AND  NOT p24) OR (p22 AND  NOT p24)))) THEN 
1 ELSE 
 (IF (((p22 AND p24) OR (( NOT p22 AND p23) AND p24))) THEN 
 (IF (( NOT p22 AND  NOT p23)) THEN 
1 ELSE 
 (IF ((p22 OR ( NOT p22 AND p23))) THEN 
0 ELSE 
 (IF (p10) THEN 
 (IF (( (IF (p5) THEN 
MEM[44+r3] ELSE 
0 ENDIF) =1)) THEN 
1 ELSE 
0 ENDIF)  ELSE 
0 ENDIF)  ENDIF)  ENDIF)  ELSE 
r12 ENDIF)  ENDIF)  ENDIF)  ENDIF)  ENDIF) =0);
ASSERT p36=( (IF ((( NOT p22 AND  NOT p23) OR ((( NOT p22 AND p23) AND  NOT p24) OR (p22 AND  NOT p24)))) THEN 
1 ELSE 
 (IF (((p22 AND p24) OR (( NOT p22 AND p23) AND p24))) THEN 
 (IF (( NOT p22 AND  NOT p23)) THEN 
1 ELSE 
 (IF ((p22 OR ( NOT p22 AND p23))) THEN 
0 ELSE 
 (IF (p10) THEN 
 (IF (( (IF (p5) THEN 
MEM[44+r3] ELSE 
0 ENDIF) =1)) THEN 
1 ELSE 
0 ENDIF)  ELSE 
0 ENDIF)  ENDIF)  ENDIF)  ELSE 
r12 ENDIF)  ENDIF) =0);
%END-ASSERTS
%***********************************
%* NOW PRINTING UNEQUALITIES ..... *
%***********************************
%BEGIN-UNEQUALITIES
%END-UNEQUALITIES
%***********************************
%* NOW PRINTING MAPPING........... *
%***********************************
%BEGIN-MAPPING
ASSERT MEM[4+C_]=MEM[4+r3];
ASSERT PMEM[4+C_]=PMEM[4+r3];
ASSERT MEM[0+C_]=MEM[0+r3];
ASSERT PMEM[0+C_]=PMEM[0+r3];
ASSERT MEM[28+C_]=MEM[28+r3];
ASSERT PMEM[28+C_]=PMEM[28+r3];
ASSERT MEM[24+C_]=MEM[24+r3];
ASSERT PMEM[24+C_]=PMEM[24+r3];
ASSERT MEM[20+C_]=MEM[20+r3];
ASSERT PMEM[20+C_]=PMEM[20+r3];
ASSERT MEM[16+C_]=MEM[16+r3];
ASSERT PMEM[16+C_]=PMEM[16+r3];
ASSERT MEM[12+C_]=MEM[12+r3];
ASSERT PMEM[12+C_]=PMEM[12+r3];
ASSERT MEM[48+C_]=MEM[48+r3];
ASSERT PMEM[48+C_]=PMEM[48+r3];
ASSERT MEM[44+C_]=MEM[44+r3];
ASSERT PMEM[44+C_]=PMEM[44+r3];
ASSERT MEM[40+C_]=MEM[40+r3];
ASSERT PMEM[40+C_]=PMEM[40+r3];
ASSERT MEM[36+C_]=MEM[36+r3];
ASSERT PMEM[36+C_]=PMEM[36+r3];
ASSERT MEM[32+C_]=MEM[32+r3];
ASSERT PMEM[32+C_]=PMEM[32+r3];
ASSERT MEM[8+C_]=MEM[8+r3];
ASSERT PMEM[8+C_]=PMEM[8+r3];
ASSERT r3=C_;
%END-MAPPING
%********************************
%* DONE PROCESSING. CLEANING-should be done... *
%********************************
%*************
%* ALL DONE! *
%*************
