%************************************
%* PARSING FIRST FILEcom_3.c
%************************************
%***********************************
%* READING DWARF INFO...           *
%***********************************
%***********************************
%* MAPPING DONE.                   *
%***********************************
%BEGIN-C-HEADER
pc1 : BOOLEAN;
Ppc1 : BOOLEAN;
pc2 : BOOLEAN;
Ppc2 : BOOLEAN;
pc3 : BOOLEAN;
Ppc3 : BOOLEAN;
pc4 : BOOLEAN;
Ppc4 : BOOLEAN;
pc5 : BOOLEAN;
Ppc5 : BOOLEAN;
pc6 : BOOLEAN;
Ppc6 : BOOLEAN;
pc7 : BOOLEAN;
Ppc7 : BOOLEAN;
pc8 : BOOLEAN;
Ppc8 : BOOLEAN;
pc9 : BOOLEAN;
Ppc9 : BOOLEAN;
pc10 : BOOLEAN;
Ppc10 : BOOLEAN;
pc11 : BOOLEAN;
Ppc11 : BOOLEAN;
pc12 : BOOLEAN;
Ppc12 : BOOLEAN;
%END-C-HEADER
%BEGIN-TVC-ASSERTS
ASSERT pc1=( NOT MEM[48+C_]=0);
ASSERT pc2=( NOT 1=0);
ASSERT pc3=(( NOT 1=0) OR (( NOT MEM[4+C_]=0) AND (( NOT MEM[4+C_]=0) AND ( (IF (pc1) THEN 
0 ELSE 
MEM[40+C_] ENDIF) =0))));
ASSERT pc4=( NOT MEM[48+C_]=0);
ASSERT pc5=( NOT  (IF (((( NOT MEM[8+C_]=0) AND ( (IF (pc3) THEN 
 (IF (pc2) THEN 
0 ELSE 
1 ENDIF)  ELSE 
 (IF (pc1) THEN 
0 ELSE 
MEM[40+C_] ENDIF)  ENDIF) =1)) AND ((( NOT MEM[8+C_]=0) AND ( (IF (pc3) THEN 
 (IF (pc2) THEN 
0 ELSE 
1 ENDIF)  ELSE 
 (IF (pc1) THEN 
0 ELSE 
MEM[40+C_] ENDIF)  ENDIF) =1)) AND ( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =1)))) THEN 
1 ELSE 
0 ENDIF) =0);
ASSERT pc6=( NOT  (IF (((( NOT MEM[0+C_]=0) AND (MEM[12+C_]=0)) AND ((( NOT MEM[0+C_]=0) AND (MEM[12+C_]=0)) AND ( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =3)))) THEN 
1 ELSE 
0 ENDIF) =0);
ASSERT pc7=( NOT  (IF ((((((( NOT MEM[8+C_]=0) AND ( (IF (pc3) THEN 
 (IF (pc2) THEN 
0 ELSE 
1 ENDIF)  ELSE 
 (IF (pc1) THEN 
0 ELSE 
MEM[40+C_] ENDIF)  ENDIF) =1)) AND ((( NOT MEM[8+C_]=0) AND ( (IF (pc3) THEN 
 (IF (pc2) THEN 
0 ELSE 
1 ENDIF)  ELSE 
 (IF (pc1) THEN 
0 ELSE 
MEM[40+C_] ENDIF)  ENDIF) =1)) AND ( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =1))) OR (( NOT MEM[8+C_]=0) AND ( (IF (pc3) THEN 
 (IF (pc2) THEN 
0 ELSE 
1 ENDIF)  ELSE 
 (IF (pc1) THEN 
0 ELSE 
MEM[40+C_] ENDIF)  ENDIF) =0))) AND ((((( NOT MEM[8+C_]=0) AND ( (IF (pc3) THEN 
 (IF (pc2) THEN 
0 ELSE 
1 ENDIF)  ELSE 
 (IF (pc1) THEN 
0 ELSE 
MEM[40+C_] ENDIF)  ENDIF) =1)) AND ((( NOT MEM[8+C_]=0) AND ( (IF (pc3) THEN 
 (IF (pc2) THEN 
0 ELSE 
1 ENDIF)  ELSE 
 (IF (pc1) THEN 
0 ELSE 
MEM[40+C_] ENDIF)  ENDIF) =1)) AND ( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =1))) OR (( NOT MEM[8+C_]=0) AND ( (IF (pc3) THEN 
 (IF (pc2) THEN 
0 ELSE 
1 ENDIF)  ELSE 
 (IF (pc1) THEN 
0 ELSE 
MEM[40+C_] ENDIF)  ENDIF) =0))) AND ( NOT  (IF (pc5) THEN 
0 ELSE 
 (IF (( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =1)) THEN 
1 ELSE 
0 ENDIF)  ENDIF) =0))) OR ((((( NOT MEM[0+C_]=0) AND (MEM[12+C_]=0)) AND ((( NOT MEM[0+C_]=0) AND (MEM[12+C_]=0)) AND ( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =3))) OR ( NOT MEM[12+C_]=0)) AND ((((( NOT MEM[0+C_]=0) AND (MEM[12+C_]=0)) AND ((( NOT MEM[0+C_]=0) AND (MEM[12+C_]=0)) AND ( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =3))) OR ( NOT MEM[12+C_]=0)) AND ( NOT  (IF (pc6) THEN 
0 ELSE 
 (IF (( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =3)) THEN 
1 ELSE 
0 ENDIF)  ENDIF) =0))))) THEN 
1 ELSE 
0 ENDIF) =0);
ASSERT pc8=( NOT  (IF (((((((( NOT MEM[8+C_]=0) AND ( (IF (pc3) THEN 
 (IF (pc2) THEN 
0 ELSE 
1 ENDIF)  ELSE 
 (IF (pc1) THEN 
0 ELSE 
MEM[40+C_] ENDIF)  ENDIF) =1)) AND ((( NOT MEM[8+C_]=0) AND ( (IF (pc3) THEN 
 (IF (pc2) THEN 
0 ELSE 
1 ENDIF)  ELSE 
 (IF (pc1) THEN 
0 ELSE 
MEM[40+C_] ENDIF)  ENDIF) =1)) AND ( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =1))) OR (( NOT MEM[8+C_]=0) AND ( (IF (pc3) THEN 
 (IF (pc2) THEN 
0 ELSE 
1 ENDIF)  ELSE 
 (IF (pc1) THEN 
0 ELSE 
MEM[40+C_] ENDIF)  ENDIF) =0))) AND ((((( NOT MEM[8+C_]=0) AND ( (IF (pc3) THEN 
 (IF (pc2) THEN 
0 ELSE 
1 ENDIF)  ELSE 
 (IF (pc1) THEN 
0 ELSE 
MEM[40+C_] ENDIF)  ENDIF) =1)) AND ((( NOT MEM[8+C_]=0) AND ( (IF (pc3) THEN 
 (IF (pc2) THEN 
0 ELSE 
1 ENDIF)  ELSE 
 (IF (pc1) THEN 
0 ELSE 
MEM[40+C_] ENDIF)  ENDIF) =1)) AND ( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =1))) OR (( NOT MEM[8+C_]=0) AND ( (IF (pc3) THEN 
 (IF (pc2) THEN 
0 ELSE 
1 ENDIF)  ELSE 
 (IF (pc1) THEN 
0 ELSE 
MEM[40+C_] ENDIF)  ENDIF) =0))) AND ( NOT  (IF (pc5) THEN 
0 ELSE 
 (IF (( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =1)) THEN 
1 ELSE 
0 ENDIF)  ENDIF) =0))) OR ((((( NOT MEM[0+C_]=0) AND (MEM[12+C_]=0)) AND ((( NOT MEM[0+C_]=0) AND (MEM[12+C_]=0)) AND ( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =3))) OR ( NOT MEM[12+C_]=0)) AND ((((( NOT MEM[0+C_]=0) AND (MEM[12+C_]=0)) AND ((( NOT MEM[0+C_]=0) AND (MEM[12+C_]=0)) AND ( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =3))) OR ( NOT MEM[12+C_]=0)) AND ( NOT  (IF (pc6) THEN 
0 ELSE 
 (IF (( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =3)) THEN 
1 ELSE 
0 ENDIF)  ENDIF) =0)))) OR ((( NOT MEM[0+C_]=0) AND (( NOT MEM[0+C_]=0) AND ( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =0))) OR ((( NOT MEM[0+C_]=0) AND (MEM[12+C_]=0)) AND ((( NOT MEM[0+C_]=0) AND (MEM[12+C_]=0)) AND ( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =3)))))) THEN 
1 ELSE 
0 ENDIF) =0);
ASSERT pc9=( NOT  (IF ((( NOT MEM[0+C_]=0) AND (( NOT MEM[0+C_]=0) AND ( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =0)))) THEN 
1 ELSE 
0 ENDIF) =0);
ASSERT pc10=(((((((( NOT MEM[8+C_]=0) AND ( (IF (pc3) THEN 
 (IF (pc2) THEN 
0 ELSE 
1 ENDIF)  ELSE 
 (IF (pc1) THEN 
0 ELSE 
MEM[40+C_] ENDIF)  ENDIF) =1)) AND ((( NOT MEM[8+C_]=0) AND ( (IF (pc3) THEN 
 (IF (pc2) THEN 
0 ELSE 
1 ENDIF)  ELSE 
 (IF (pc1) THEN 
0 ELSE 
MEM[40+C_] ENDIF)  ENDIF) =1)) AND ( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =1))) OR (( NOT MEM[8+C_]=0) AND ( (IF (pc3) THEN 
 (IF (pc2) THEN 
0 ELSE 
1 ENDIF)  ELSE 
 (IF (pc1) THEN 
0 ELSE 
MEM[40+C_] ENDIF)  ENDIF) =0))) AND ((((( NOT MEM[8+C_]=0) AND ( (IF (pc3) THEN 
 (IF (pc2) THEN 
0 ELSE 
1 ENDIF)  ELSE 
 (IF (pc1) THEN 
0 ELSE 
MEM[40+C_] ENDIF)  ENDIF) =1)) AND ((( NOT MEM[8+C_]=0) AND ( (IF (pc3) THEN 
 (IF (pc2) THEN 
0 ELSE 
1 ENDIF)  ELSE 
 (IF (pc1) THEN 
0 ELSE 
MEM[40+C_] ENDIF)  ENDIF) =1)) AND ( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =1))) OR (( NOT MEM[8+C_]=0) AND ( (IF (pc3) THEN 
 (IF (pc2) THEN 
0 ELSE 
1 ENDIF)  ELSE 
 (IF (pc1) THEN 
0 ELSE 
MEM[40+C_] ENDIF)  ENDIF) =0))) AND ( NOT  (IF (pc5) THEN 
0 ELSE 
 (IF (( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =1)) THEN 
1 ELSE 
0 ENDIF)  ENDIF) =0))) OR ((((( NOT MEM[0+C_]=0) AND (MEM[12+C_]=0)) AND ((( NOT MEM[0+C_]=0) AND (MEM[12+C_]=0)) AND ( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =3))) OR ( NOT MEM[12+C_]=0)) AND ((((( NOT MEM[0+C_]=0) AND (MEM[12+C_]=0)) AND ((( NOT MEM[0+C_]=0) AND (MEM[12+C_]=0)) AND ( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =3))) OR ( NOT MEM[12+C_]=0)) AND ( NOT  (IF (pc6) THEN 
0 ELSE 
 (IF (( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =3)) THEN 
1 ELSE 
0 ENDIF)  ENDIF) =0)))) OR ((( NOT MEM[0+C_]=0) AND (( NOT MEM[0+C_]=0) AND ( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =0))) OR ((( NOT MEM[0+C_]=0) AND (MEM[12+C_]=0)) AND ((( NOT MEM[0+C_]=0) AND (MEM[12+C_]=0)) AND ( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =3))))) OR ((((( NOT MEM[0+C_]=0) AND (( NOT MEM[0+C_]=0) AND ( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =0))) OR ( NOT MEM[4+C_]=0)) AND (((( NOT MEM[0+C_]=0) AND (( NOT MEM[0+C_]=0) AND ( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =0))) OR ( NOT MEM[4+C_]=0)) AND ( NOT  (IF (pc9) THEN 
0 ELSE 
 (IF (( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =0)) THEN 
1 ELSE 
0 ENDIF)  ENDIF) =0))) OR ((( NOT MEM[8+C_]=0) AND ( (IF (pc3) THEN 
 (IF (pc2) THEN 
0 ELSE 
1 ENDIF)  ELSE 
 (IF (pc1) THEN 
0 ELSE 
MEM[40+C_] ENDIF)  ENDIF) =1)) AND ((( NOT MEM[8+C_]=0) AND ( (IF (pc3) THEN 
 (IF (pc2) THEN 
0 ELSE 
1 ENDIF)  ELSE 
 (IF (pc1) THEN 
0 ELSE 
MEM[40+C_] ENDIF)  ENDIF) =1)) AND ( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =1)))));
ASSERT pc11=( NOT  (IF ((((( NOT MEM[0+C_]=0) AND (( NOT MEM[0+C_]=0) AND ( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =0))) OR ( NOT MEM[4+C_]=0)) AND (((( NOT MEM[0+C_]=0) AND (( NOT MEM[0+C_]=0) AND ( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =0))) OR ( NOT MEM[4+C_]=0)) AND ( NOT  (IF (pc9) THEN 
0 ELSE 
 (IF (( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =0)) THEN 
1 ELSE 
0 ENDIF)  ENDIF) =0)))) THEN 
1 ELSE 
0 ENDIF) =0);
ASSERT pc12=( NOT  (IF (((( NOT MEM[0+C_]=0) AND (( NOT MEM[0+C_]=0) AND ( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =0))) OR ((( NOT MEM[0+C_]=0) AND (MEM[12+C_]=0)) AND ((( NOT MEM[0+C_]=0) AND (MEM[12+C_]=0)) AND ( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =3))))) THEN 
1 ELSE 
0 ENDIF) =0);
%END-TVC-ASSERTS
%BEGIN-QUERIES 
QUERY Psand61= (IF ((( NOT MEM[8+C_]=0) AND ( (IF (pc3) THEN 
 (IF (pc2) THEN 
0 ELSE 
1 ENDIF)  ELSE 
 (IF (pc1) THEN 
0 ELSE 
MEM[40+C_] ENDIF)  ENDIF) =1))) THEN 
1 ELSE 
0 ENDIF) 

;
QUERY PMEM[0+C_]=MEM[0+C_]

;
QUERY Pzstatus= (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) 

;
QUERY PL257_comunication_3= (IF (pc9) THEN 
0 ELSE 
 (IF (( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =0)) THEN 
1 ELSE 
0 ENDIF)  ENDIF) 

;
QUERY PMEM[28+C_]= (IF (pc3) THEN 
 (IF (pc2) THEN 
0 ELSE 
1 ENDIF)  ELSE 
 (IF (pc1) THEN 
0 ELSE 
MEM[40+C_] ENDIF)  ENDIF) 

;
QUERY Pcondition99= (IF (pc7) THEN 
0 ELSE 
2 ENDIF) 

;
QUERY PMEM[24+C_]= (IF (pc12) THEN 
1 ELSE 
MEM[24+C_] ENDIF) 

;
QUERY PL259_comunication_3= (IF (pc6) THEN 
0 ELSE 
 (IF (( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =3)) THEN 
1 ELSE 
0 ENDIF)  ENDIF) 

;
QUERY PMEM[20+C_]= (IF (pc11) THEN 
1 ELSE 
MEM[20+C_] ENDIF) 

;
QUERY Pck_ck_START_N_MSG= (IF (((( NOT MEM[0+C_]=0) AND (( NOT MEM[0+C_]=0) AND ( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =0))) OR ( NOT MEM[4+C_]=0))) THEN 
1 ELSE 
0 ENDIF) 

;
QUERY PisEqual15= (IF (( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =1)) THEN 
1 ELSE 
0 ENDIF) 

;
QUERY Pevent1= (IF ((( NOT MEM[0+C_]=0) AND (( NOT MEM[0+C_]=0) AND ( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =0)))) THEN 
1 ELSE 
0 ENDIF) 

;
QUERY PisEqual21= (IF (( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =0)) THEN 
1 ELSE 
0 ENDIF) 

;
QUERY Pevent5= (IF (((( NOT MEM[0+C_]=0) AND (MEM[12+C_]=0)) AND ((( NOT MEM[0+C_]=0) AND (MEM[12+C_]=0)) AND ( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =3)))) THEN 
1 ELSE 
0 ENDIF) 

;
QUERY Pevent6= (IF (((( NOT MEM[8+C_]=0) AND ( (IF (pc3) THEN 
 (IF (pc2) THEN 
0 ELSE 
1 ENDIF)  ELSE 
 (IF (pc1) THEN 
0 ELSE 
MEM[40+C_] ENDIF)  ENDIF) =1)) AND ((( NOT MEM[8+C_]=0) AND ( (IF (pc3) THEN 
 (IF (pc2) THEN 
0 ELSE 
1 ENDIF)  ELSE 
 (IF (pc1) THEN 
0 ELSE 
MEM[40+C_] ENDIF)  ENDIF) =1)) AND ( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =1)))) THEN 
1 ELSE 
0 ENDIF) 

;
QUERY PisEqual27= (IF (( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =3)) THEN 
1 ELSE 
0 ENDIF) 

;
QUERY Pcondition100= (IF (pc8) THEN 
 (IF (pc7) THEN 
0 ELSE 
2 ENDIF)  ELSE 
3 ENDIF) 

;
QUERY Pcondition106= (IF (pc2) THEN 
0 ELSE 
1 ENDIF) 

;
QUERY PMEM[16+C_]= (IF (pc10) THEN 
 (IF (pc8) THEN 
 (IF (pc7) THEN 
0 ELSE 
2 ENDIF)  ELSE 
3 ENDIF)  ELSE 
 (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF)  ENDIF) 

;
QUERY PMEM[48+C_]=0

;
QUERY PMEM[44+C_]= (IF (pc10) THEN 
 (IF (pc8) THEN 
 (IF (pc7) THEN 
0 ELSE 
2 ENDIF)  ELSE 
3 ENDIF)  ELSE 
 (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF)  ENDIF) 

;
QUERY PMEM[40+C_]= (IF (pc3) THEN 
 (IF (pc2) THEN 
0 ELSE 
1 ENDIF)  ELSE 
 (IF (pc1) THEN 
0 ELSE 
MEM[40+C_] ENDIF)  ENDIF) 

;
QUERY Psor55= (IF ((((( NOT MEM[0+C_]=0) AND (MEM[12+C_]=0)) AND ((( NOT MEM[0+C_]=0) AND (MEM[12+C_]=0)) AND ( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =3))) OR ( NOT MEM[12+C_]=0))) THEN 
1 ELSE 
0 ENDIF) 

;
QUERY PL258_comunication_3= (IF (pc5) THEN 
0 ELSE 
 (IF (( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =1)) THEN 
1 ELSE 
0 ENDIF)  ENDIF) 

;
QUERY Pevent2_45=1

;
QUERY Psor81= (IF ((((( NOT MEM[8+C_]=0) AND ( (IF (pc3) THEN 
 (IF (pc2) THEN 
0 ELSE 
1 ENDIF)  ELSE 
 (IF (pc1) THEN 
0 ELSE 
MEM[40+C_] ENDIF)  ENDIF) =1)) AND ((( NOT MEM[8+C_]=0) AND ( (IF (pc3) THEN 
 (IF (pc2) THEN 
0 ELSE 
1 ENDIF)  ELSE 
 (IF (pc1) THEN 
0 ELSE 
MEM[40+C_] ENDIF)  ENDIF) =1)) AND ( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =1))) OR (( NOT MEM[8+C_]=0) AND ( (IF (pc3) THEN 
 (IF (pc2) THEN 
0 ELSE 
1 ENDIF)  ELSE 
 (IF (pc1) THEN 
0 ELSE 
MEM[40+C_] ENDIF)  ENDIF) =0)))) THEN 
1 ELSE 
0 ENDIF) 

;
QUERY Psor91= (IF (((((((( NOT MEM[8+C_]=0) AND ( (IF (pc3) THEN 
 (IF (pc2) THEN 
0 ELSE 
1 ENDIF)  ELSE 
 (IF (pc1) THEN 
0 ELSE 
MEM[40+C_] ENDIF)  ENDIF) =1)) AND ((( NOT MEM[8+C_]=0) AND ( (IF (pc3) THEN 
 (IF (pc2) THEN 
0 ELSE 
1 ENDIF)  ELSE 
 (IF (pc1) THEN 
0 ELSE 
MEM[40+C_] ENDIF)  ENDIF) =1)) AND ( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =1))) OR (( NOT MEM[8+C_]=0) AND ( (IF (pc3) THEN 
 (IF (pc2) THEN 
0 ELSE 
1 ENDIF)  ELSE 
 (IF (pc1) THEN 
0 ELSE 
MEM[40+C_] ENDIF)  ENDIF) =0))) AND ((((( NOT MEM[8+C_]=0) AND ( (IF (pc3) THEN 
 (IF (pc2) THEN 
0 ELSE 
1 ENDIF)  ELSE 
 (IF (pc1) THEN 
0 ELSE 
MEM[40+C_] ENDIF)  ENDIF) =1)) AND ((( NOT MEM[8+C_]=0) AND ( (IF (pc3) THEN 
 (IF (pc2) THEN 
0 ELSE 
1 ENDIF)  ELSE 
 (IF (pc1) THEN 
0 ELSE 
MEM[40+C_] ENDIF)  ENDIF) =1)) AND ( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =1))) OR (( NOT MEM[8+C_]=0) AND ( (IF (pc3) THEN 
 (IF (pc2) THEN 
0 ELSE 
1 ENDIF)  ELSE 
 (IF (pc1) THEN 
0 ELSE 
MEM[40+C_] ENDIF)  ENDIF) =0))) AND ( NOT  (IF (pc5) THEN 
0 ELSE 
 (IF (( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =1)) THEN 
1 ELSE 
0 ENDIF)  ENDIF) =0))) OR ((((( NOT MEM[0+C_]=0) AND (MEM[12+C_]=0)) AND ((( NOT MEM[0+C_]=0) AND (MEM[12+C_]=0)) AND ( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =3))) OR ( NOT MEM[12+C_]=0)) AND ((((( NOT MEM[0+C_]=0) AND (MEM[12+C_]=0)) AND ((( NOT MEM[0+C_]=0) AND (MEM[12+C_]=0)) AND ( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =3))) OR ( NOT MEM[12+C_]=0)) AND ( NOT  (IF (pc6) THEN 
0 ELSE 
 (IF (( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =3)) THEN 
1 ELSE 
0 ENDIF)  ENDIF) =0)))) OR ((( NOT MEM[0+C_]=0) AND (( NOT MEM[0+C_]=0) AND ( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =0))) OR ((( NOT MEM[0+C_]=0) AND (MEM[12+C_]=0)) AND ((( NOT MEM[0+C_]=0) AND (MEM[12+C_]=0)) AND ( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =3)))))) THEN 
1 ELSE 
0 ENDIF) 

;
QUERY Psor89= (IF ((((((( NOT MEM[8+C_]=0) AND ( (IF (pc3) THEN 
 (IF (pc2) THEN 
0 ELSE 
1 ENDIF)  ELSE 
 (IF (pc1) THEN 
0 ELSE 
MEM[40+C_] ENDIF)  ENDIF) =1)) AND ((( NOT MEM[8+C_]=0) AND ( (IF (pc3) THEN 
 (IF (pc2) THEN 
0 ELSE 
1 ENDIF)  ELSE 
 (IF (pc1) THEN 
0 ELSE 
MEM[40+C_] ENDIF)  ENDIF) =1)) AND ( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =1))) OR (( NOT MEM[8+C_]=0) AND ( (IF (pc3) THEN 
 (IF (pc2) THEN 
0 ELSE 
1 ENDIF)  ELSE 
 (IF (pc1) THEN 
0 ELSE 
MEM[40+C_] ENDIF)  ENDIF) =0))) AND ((((( NOT MEM[8+C_]=0) AND ( (IF (pc3) THEN 
 (IF (pc2) THEN 
0 ELSE 
1 ENDIF)  ELSE 
 (IF (pc1) THEN 
0 ELSE 
MEM[40+C_] ENDIF)  ENDIF) =1)) AND ((( NOT MEM[8+C_]=0) AND ( (IF (pc3) THEN 
 (IF (pc2) THEN 
0 ELSE 
1 ENDIF)  ELSE 
 (IF (pc1) THEN 
0 ELSE 
MEM[40+C_] ENDIF)  ENDIF) =1)) AND ( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =1))) OR (( NOT MEM[8+C_]=0) AND ( (IF (pc3) THEN 
 (IF (pc2) THEN 
0 ELSE 
1 ENDIF)  ELSE 
 (IF (pc1) THEN 
0 ELSE 
MEM[40+C_] ENDIF)  ENDIF) =0))) AND ( NOT  (IF (pc5) THEN 
0 ELSE 
 (IF (( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =1)) THEN 
1 ELSE 
0 ENDIF)  ENDIF) =0))) OR ((((( NOT MEM[0+C_]=0) AND (MEM[12+C_]=0)) AND ((( NOT MEM[0+C_]=0) AND (MEM[12+C_]=0)) AND ( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =3))) OR ( NOT MEM[12+C_]=0)) AND ((((( NOT MEM[0+C_]=0) AND (MEM[12+C_]=0)) AND ((( NOT MEM[0+C_]=0) AND (MEM[12+C_]=0)) AND ( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =3))) OR ( NOT MEM[12+C_]=0)) AND ( NOT  (IF (pc6) THEN 
0 ELSE 
 (IF (( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =3)) THEN 
1 ELSE 
0 ENDIF)  ENDIF) =0))))) THEN 
1 ELSE 
0 ENDIF) 

;
QUERY PzN_STATE= (IF (pc1) THEN 
0 ELSE 
MEM[40+C_] ENDIF) 

;
QUERY PMEM[36+C_]= (IF (((( NOT MEM[0+C_]=0) AND (( NOT MEM[0+C_]=0) AND ( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =0))) OR ((( NOT MEM[0+C_]=0) AND (MEM[12+C_]=0)) AND ((( NOT MEM[0+C_]=0) AND (MEM[12+C_]=0)) AND ( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =3))))) THEN 
1 ELSE 
0 ENDIF) 

;
QUERY Psand25= (IF ((( NOT MEM[0+C_]=0) AND (MEM[12+C_]=0))) THEN 
1 ELSE 
0 ENDIF) 

;
QUERY PMEM[32+C_]= (IF ((((( NOT MEM[0+C_]=0) AND (( NOT MEM[0+C_]=0) AND ( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =0))) OR ( NOT MEM[4+C_]=0)) AND (((( NOT MEM[0+C_]=0) AND (( NOT MEM[0+C_]=0) AND ( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =0))) OR ( NOT MEM[4+C_]=0)) AND ( NOT  (IF (pc9) THEN 
0 ELSE 
 (IF (( (IF (pc4) THEN 
0 ELSE 
MEM[44+C_] ENDIF) =0)) THEN 
1 ELSE 
0 ENDIF)  ENDIF) =0)))) THEN 
1 ELSE 
0 ENDIF) 

;
%***********************************
%* DONE PARSING. NOW PROCESSING... *
%***********************************
%********************************
%* DONE PROCESSING. CLEANING... *
%********************************
%*************
%* ALL DONE! *
%*************
