bruce@ic.cmc.ca (Bruce Keats) (10/23/89)
I think I have found a bug in the GNU C compiler, V1.36.
I compiled the enclosed C source on a SUN4/260 running SUNOs 4.0.3
and discovered that whenever the last case in the switch statement
was executed (case 2253 before the default action) the program
got a segmentation violation. The problem appears to be with the
assembler code produced for the case. The following is what the
compiler produces for that case in the switch.
L747:
.stabn 68,0,8904,LM6641
LM6641:
sethi %hi(_temp_cin),%o0
or %lo(_temp_cin),%o0,%o0
ld [%o2+2296],%l3
st %l3,[%o0]
.stabn 68,0,8905,LM6642
LM6642:
ld [%l1+2296],%l3
st %l3,[%o0+4]
.stabn 68,0,8906,LM6643
LM6643:
sethi %hi(8448),%o0
or %lo(8448),%o0,%o0
ld [%o2+%o0],%l3
st %l3,[%o0+8]
.stabn 68,0,8907,LM6644
LM6644:
ld [%l1+%o0],%l3
st %l3,[%o0+12]
.stabn 68,0,8908,LM6645
LM6645:
sethi %hi(_temp_cout),%o0
or %lo(_temp_cout),%o0,%o0
sethi %hi(9012),%l0
or %lo(9012),%l0,%l0
ld [%o2+%l0],%l3
st %l3,[%o0]
.stabn 68,0,8909,LM6646
LM6646:
mov %o4,%o0
mov %o5,%o1
sethi %hi(_cin_ptr),%o2
or %lo(_cin_ptr),%o2,%o2
sethi %hi(_cout_ptr),%o3
call _nand_2_inject,0
or %o3,%lo(_cout_ptr),%o3
.stabn 68,0,8910,LM6647
LM6647:
sethi %hi(_cout_ptr),%g1
ld [%g1+%lo(_cout_ptr)],%o0
ld [%o0],%l3
st %l3,[%l1+%l0]
.stabn 68,0,8911,LM6648
LM6648:
mov %l2,%o0
ld [%o0],%o1
add %o1,1,%o1
st %o1,[%o0]
.stabn 68,0,8912,LM6649
LM6649:
Notice the code produced for line 8904 (label LM6641)
and line 8906 (label LM6643). After line 8904 is executed,
register %o0 contains the base address of the array "temp_cin".
In calculating "prev_out[2112] as part of line 8906, register
%o0 is used as a scratch register - holding the offset into
the array "prev_out" (base address stored in register %o2).
The problem is that once the value is fetched from
"prev_out[2112]", GCC assumes that register %o0 still contains
the base address for the array "temp_cin" (from line 8904).
I tried to find a simpler case which would uncover
the problem, but to no avail. Every time I tried commenting
out a single line, GCC would use register %o1 to hold the
offset into the array "prev_out" (which is ok).
Bruce Keats
Dept. of Electrical Engineering
Queen's University at Kingston
Kingston, Ontario
bruce@eleceng.ee.queensu.ca
OR: bruce@ic.cmc.ca (prefered)
------------------------ test.c ----------------------------------
# 1 "test.c"
# 1 "../../cscan/library.h" 1
# 1 "../../cscan/defs.h" 1
# 1 "/usr/include/sys/types.h" 1
# 1 "/usr/include/sys/sysmacros.h" 1
# 16 "/usr/include/sys/types.h" 2
typedef unsigned char u_char;
typedef unsigned short u_short;
typedef unsigned int u_int;
typedef unsigned long u_long;
typedef unsigned short ushort;
typedef unsigned int uint;
typedef struct _physadr { int r[1]; } *physadr;
typedef struct label_t {
int val[2];
} label_t;
typedef struct _quad { long val[2]; } quad;
typedef long daddr_t;
typedef char * caddr_t;
typedef u_long ino_t;
typedef long swblk_t;
typedef int size_t;
typedef long time_t;
typedef short dev_t;
typedef long off_t;
typedef u_short uid_t;
typedef u_short gid_t;
typedef long key_t;
typedef long fd_mask;
typedef struct fd_set {
fd_mask fds_bits[(((256 )+(( (sizeof(fd_mask) * 8 ) )-1))/( (sizeof(fd_mask) * 8 ) )) ];
} fd_set;
typedef char * addr_t;
# 107 "/usr/include/sys/types.h"
# 8 "../../cscan/defs.h" 2
typedef enum bool Bool;
typedef enum state Sigstate;
typedef u_char *Bitfield;
enum bool
{
TRUE = 1,
FALSE = 0
};
enum state
{
STA_0 = 0,
STA_X = 1,
STA_Z = 2,
STA_1 = 3,
STA_REP = 4
};
# 1 "../../cscan/library.h" 2
# 1 "../../cscan/vector.h" 1
typedef int Tvec;
typedef struct vector_head Vheader;
typedef struct test_sequence Tseq;
struct vector_head
{
u_short vh_magic;
u_short vh_vecnt;
};
struct test_sequence
{
Vheader ts_rec;
Tvec **ts_prim,
**ts_scan;
};
extern Tseq *alloc_tseqarray(),
*realloc_tseqarray();
extern Tvec *alloc_tvecarray(),
**alloc_tveclist();
extern void free_tseqarray(),
free_tvecarray(),
free_tveclist(),
finis_write_vector(),
cache_testseq();
# 2 "../../cscan/library.h" 2
# 1 "../../cscan/glob.h" 1
# 3 "../../cscan/library.h" 2
typedef struct call_seq Callseq;
typedef struct cir_desc Cdesc;
struct call_seq
{
int cs_startflt;
};
struct cir_desc
{
char *cd_name;
int cd_paramcnt,
cd_incnt,
cd_outcnt,
cd_scancnt,
cd_faultcnt,
cd_symbolcnt,
cd_outputsize;
};
extern Callseq symbols[];
# 1 "test.c" 2
# 1 "c7552_3_defs.h" 1
extern void not_inject();
extern void nxor_2_inject();
extern void nxor_3_inject();
extern void nxor_4_inject();
extern void nxor_5_inject();
extern void nxor_6_inject();
extern void nxor_7_inject();
extern void nxor_8_inject();
extern void nxor_9_inject();
extern void or_2_inject();
extern void or_3_inject();
extern void or_4_inject();
extern void or_5_inject();
extern void or_6_inject();
extern void or_7_inject();
extern void or_8_inject();
extern void or_9_inject();
extern void and_2_inject();
extern void and_3_inject();
extern void and_4_inject();
extern void and_5_inject();
extern void and_6_inject();
extern void and_7_inject();
extern void and_8_inject();
extern void and_9_inject();
extern void nor_2_inject();
extern void nor_3_inject();
extern void nor_4_inject();
extern void nor_5_inject();
extern void nor_6_inject();
extern void nor_7_inject();
extern void nor_8_inject();
extern void nor_9_inject();
extern void xor_2_inject();
extern void xor_3_inject();
extern void xor_4_inject();
extern void xor_5_inject();
extern void xor_6_inject();
extern void xor_7_inject();
extern void xor_8_inject();
extern void xor_9_inject();
extern void nand_2_inject();
extern void nand_3_inject();
extern void nand_4_inject();
extern void nand_5_inject();
extern void nand_6_inject();
extern void nand_7_inject();
extern void nand_8_inject();
extern void nand_9_inject();
extern void wire_inject();
extern Cdesc cd_c7552_3;
extern void first_time_c7552_3();
extern Callseq symbols [];
extern void c7552_3();
# 2 "test.c" 2
static Tvec temp_cin[9][2],
temp_cout[1][2];
static Tvec *cin_ptr[9] = {
& temp_cin[0][1],
& temp_cin[1][1],
& temp_cin[2][1],
& temp_cin[3][1],
& temp_cin[4][1],
& temp_cin[5][1],
& temp_cin[6][1],
& temp_cin[7][1],
& temp_cin[8][1],
},
*cout_ptr[1] = {
& temp_cout[0][1],
};
fault_c7552_3_1510(outputs, seq_num, fault_no, sym, vecnt,
in_params, scan_in, out_params, scan_out)
int seq_num,
fault_no,
vecnt,
*sym;
Tvec **outputs,
**in_params,
**scan_in,
**out_params,
**scan_out;
{
register Tvec *out = outputs[seq_num],
*prev_out = outputs[seq_num - 1];
if (*sym < 2265)
switch (*sym)
{
case 1510:
temp_cin[0][0] = prev_out[78];
temp_cin[0][1] = out[78];
temp_cout[0][0] = prev_out[1510];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1510] = *(cout_ptr[0]);
(*sym)++;
break;
case 1511:
temp_cin[0][0] = prev_out[578];
temp_cin[0][1] = out[578];
temp_cout[0][0] = prev_out[1511];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1511] = *(cout_ptr[0]);
(*sym)++;
break;
case 1512:
temp_cin[0][0] = prev_out[630];
temp_cin[0][1] = out[630];
temp_cout[0][0] = prev_out[1512];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1512] = *(cout_ptr[0]);
(*sym)++;
break;
case 1513:
temp_cin[0][0] = prev_out[46];
temp_cin[0][1] = out[46];
temp_cout[0][0] = prev_out[1513];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1513] = *(cout_ptr[0]);
(*sym)++;
break;
case 1514:
temp_cin[0][0] = prev_out[81];
temp_cin[0][1] = out[81];
temp_cout[0][0] = prev_out[1514];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1514] = *(cout_ptr[0]);
(*sym)++;
break;
case 1515:
temp_cin[0][0] = prev_out[44];
temp_cin[0][1] = out[44];
temp_cout[0][0] = prev_out[1515];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1515] = *(cout_ptr[0]);
(*sym)++;
break;
case 1516:
temp_cin[0][0] = prev_out[75];
temp_cin[0][1] = out[75];
temp_cout[0][0] = prev_out[1516];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1516] = *(cout_ptr[0]);
(*sym)++;
break;
case 1517:
temp_cin[0][0] = prev_out[174];
temp_cin[0][1] = out[174];
temp_cout[0][0] = prev_out[1517];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1517] = *(cout_ptr[0]);
(*sym)++;
break;
case 1518:
temp_cin[0][0] = prev_out[208];
temp_cin[0][1] = out[208];
temp_cout[0][0] = prev_out[1518];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1518] = *(cout_ptr[0]);
(*sym)++;
break;
case 1519:
temp_cin[0][0] = prev_out[249];
temp_cin[0][1] = out[249];
temp_cin[1][0] = prev_out[1289];
temp_cin[1][1] = out[1289];
temp_cout[0][0] = prev_out[1519];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1519] = *(cout_ptr[0]);
(*sym)++;
break;
case 1520:
temp_cin[0][0] = prev_out[199];
temp_cin[0][1] = out[199];
temp_cin[1][0] = prev_out[1290];
temp_cin[1][1] = out[1290];
temp_cout[0][0] = prev_out[1520];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1520] = *(cout_ptr[0]);
(*sym)++;
break;
case 1521:
temp_cin[0][0] = prev_out[57];
temp_cin[0][1] = out[57];
temp_cin[1][0] = prev_out[38];
temp_cin[1][1] = out[38];
temp_cout[0][0] = prev_out[1521];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1521] = *(cout_ptr[0]);
(*sym)++;
break;
case 1522:
temp_cin[0][0] = prev_out[1292];
temp_cin[0][1] = out[1292];
temp_cin[1][0] = prev_out[1291];
temp_cin[1][1] = out[1291];
temp_cout[0][0] = prev_out[1522];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1522] = *(cout_ptr[0]);
(*sym)++;
break;
case 1523:
temp_cin[0][0] = prev_out[60];
temp_cin[0][1] = out[60];
temp_cin[1][0] = prev_out[39];
temp_cin[1][1] = out[39];
temp_cout[0][0] = prev_out[1523];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1523] = *(cout_ptr[0]);
(*sym)++;
break;
case 1524:
temp_cin[0][0] = prev_out[1294];
temp_cin[0][1] = out[1294];
temp_cin[1][0] = prev_out[1293];
temp_cin[1][1] = out[1293];
temp_cout[0][0] = prev_out[1524];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1524] = *(cout_ptr[0]);
(*sym)++;
break;
case 1525:
temp_cin[0][0] = prev_out[63];
temp_cin[0][1] = out[63];
temp_cin[1][0] = prev_out[40];
temp_cin[1][1] = out[40];
temp_cout[0][0] = prev_out[1525];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1525] = *(cout_ptr[0]);
(*sym)++;
break;
case 1526:
temp_cin[0][0] = prev_out[1296];
temp_cin[0][1] = out[1296];
temp_cin[1][0] = prev_out[1295];
temp_cin[1][1] = out[1295];
temp_cout[0][0] = prev_out[1526];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1526] = *(cout_ptr[0]);
(*sym)++;
break;
case 1527:
temp_cin[0][0] = prev_out[192];
temp_cin[0][1] = out[192];
temp_cin[1][0] = prev_out[158];
temp_cin[1][1] = out[158];
temp_cout[0][0] = prev_out[1527];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1527] = *(cout_ptr[0]);
(*sym)++;
break;
case 1528:
temp_cin[0][0] = prev_out[1298];
temp_cin[0][1] = out[1298];
temp_cin[1][0] = prev_out[1297];
temp_cin[1][1] = out[1297];
temp_cout[0][0] = prev_out[1528];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1528] = *(cout_ptr[0]);
(*sym)++;
break;
case 1529:
temp_cin[0][0] = prev_out[246];
temp_cin[0][1] = out[246];
temp_cin[1][0] = prev_out[1299];
temp_cin[1][1] = out[1299];
temp_cout[0][0] = prev_out[1529];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1529] = *(cout_ptr[0]);
(*sym)++;
break;
case 1530:
temp_cin[0][0] = prev_out[198];
temp_cin[0][1] = out[198];
temp_cin[1][0] = prev_out[1300];
temp_cin[1][1] = out[1300];
temp_cout[0][0] = prev_out[1530];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1530] = *(cout_ptr[0]);
(*sym)++;
break;
case 1531:
temp_cin[0][0] = prev_out[370];
temp_cin[0][1] = out[370];
temp_cin[1][0] = prev_out[1301];
temp_cin[1][1] = out[1301];
temp_cout[0][0] = prev_out[1531];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1531] = *(cout_ptr[0]);
(*sym)++;
break;
case 1532:
temp_cin[0][0] = prev_out[310];
temp_cin[0][1] = out[310];
temp_cin[1][0] = prev_out[1302];
temp_cin[1][1] = out[1302];
temp_cout[0][0] = prev_out[1532];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1532] = *(cout_ptr[0]);
(*sym)++;
break;
case 1533:
temp_cin[0][0] = prev_out[906];
temp_cin[0][1] = out[906];
temp_cin[1][0] = prev_out[1303];
temp_cin[1][1] = out[1303];
temp_cout[0][0] = prev_out[1533];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1533] = *(cout_ptr[0]);
(*sym)++;
break;
case 1534:
temp_cin[0][0] = prev_out[756];
temp_cin[0][1] = out[756];
temp_cin[1][0] = prev_out[1304];
temp_cin[1][1] = out[1304];
temp_cout[0][0] = prev_out[1534];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1534] = *(cout_ptr[0]);
(*sym)++;
break;
case 1535:
temp_cin[0][0] = prev_out[215];
temp_cin[0][1] = out[215];
temp_cout[0][0] = prev_out[1535];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1535] = *(cout_ptr[0]);
(*sym)++;
break;
case 1536:
temp_cin[0][0] = prev_out[277];
temp_cin[0][1] = out[277];
temp_cout[0][0] = prev_out[1536];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1536] = *(cout_ptr[0]);
(*sym)++;
break;
case 1537:
temp_cin[0][0] = prev_out[783];
temp_cin[0][1] = out[783];
temp_cout[0][0] = prev_out[1537];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1537] = *(cout_ptr[0]);
(*sym)++;
break;
case 1538:
temp_cin[0][0] = prev_out[929];
temp_cin[0][1] = out[929];
temp_cout[0][0] = prev_out[1538];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1538] = *(cout_ptr[0]);
(*sym)++;
break;
case 1539:
temp_cin[0][0] = prev_out[38];
temp_cin[0][1] = out[38];
temp_cout[0][0] = prev_out[1539];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1539] = *(cout_ptr[0]);
(*sym)++;
break;
case 1540:
temp_cin[0][0] = prev_out[57];
temp_cin[0][1] = out[57];
temp_cout[0][0] = prev_out[1540];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1540] = *(cout_ptr[0]);
(*sym)++;
break;
case 1541:
temp_cin[0][0] = prev_out[231];
temp_cin[0][1] = out[231];
temp_cin[1][0] = prev_out[1305];
temp_cin[1][1] = out[1305];
temp_cout[0][0] = prev_out[1541];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1541] = *(cout_ptr[0]);
(*sym)++;
break;
case 1542:
temp_cin[0][0] = prev_out[190];
temp_cin[0][1] = out[190];
temp_cin[1][0] = prev_out[1306];
temp_cin[1][1] = out[1306];
temp_cout[0][0] = prev_out[1542];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1542] = *(cout_ptr[0]);
(*sym)++;
break;
case 1543:
temp_cin[0][0] = prev_out[1205];
temp_cin[0][1] = out[1205];
temp_cin[1][0] = prev_out[1307];
temp_cin[1][1] = out[1307];
temp_cout[0][0] = prev_out[1543];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1543] = *(cout_ptr[0]);
(*sym)++;
break;
case 1544:
temp_cin[0][0] = prev_out[1156];
temp_cin[0][1] = out[1156];
temp_cin[1][0] = prev_out[1308];
temp_cin[1][1] = out[1308];
temp_cout[0][0] = prev_out[1544];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1544] = *(cout_ptr[0]);
(*sym)++;
break;
case 1545:
temp_cin[0][0] = prev_out[1048];
temp_cin[0][1] = out[1048];
temp_cin[1][0] = prev_out[1309];
temp_cin[1][1] = out[1309];
temp_cout[0][0] = prev_out[1545];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1545] = *(cout_ptr[0]);
(*sym)++;
break;
case 1546:
temp_cin[0][0] = prev_out[1047];
temp_cin[0][1] = out[1047];
temp_cin[1][0] = prev_out[1310];
temp_cin[1][1] = out[1310];
temp_cout[0][0] = prev_out[1546];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1546] = *(cout_ptr[0]);
(*sym)++;
break;
case 1547:
temp_cin[0][0] = prev_out[1211];
temp_cin[0][1] = out[1211];
temp_cin[1][0] = prev_out[1311];
temp_cin[1][1] = out[1311];
temp_cout[0][0] = prev_out[1547];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1547] = *(cout_ptr[0]);
(*sym)++;
break;
case 1548:
temp_cin[0][0] = prev_out[1161];
temp_cin[0][1] = out[1161];
temp_cin[1][0] = prev_out[1312];
temp_cin[1][1] = out[1312];
temp_cout[0][0] = prev_out[1548];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1548] = *(cout_ptr[0]);
(*sym)++;
break;
case 1549:
temp_cin[0][0] = prev_out[1050];
temp_cin[0][1] = out[1050];
temp_cin[1][0] = prev_out[1313];
temp_cin[1][1] = out[1313];
temp_cout[0][0] = prev_out[1549];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1549] = *(cout_ptr[0]);
(*sym)++;
break;
case 1550:
temp_cin[0][0] = prev_out[1049];
temp_cin[0][1] = out[1049];
temp_cin[1][0] = prev_out[1314];
temp_cin[1][1] = out[1314];
temp_cout[0][0] = prev_out[1550];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1550] = *(cout_ptr[0]);
(*sym)++;
break;
case 1551:
temp_cin[0][0] = prev_out[1316];
temp_cin[0][1] = out[1316];
temp_cin[1][0] = prev_out[1315];
temp_cin[1][1] = out[1315];
temp_cout[0][0] = prev_out[1551];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1551] = *(cout_ptr[0]);
(*sym)++;
break;
case 1552:
temp_cin[0][0] = prev_out[1051];
temp_cin[0][1] = out[1051];
temp_cin[1][0] = prev_out[1317];
temp_cin[1][1] = out[1317];
temp_cout[0][0] = prev_out[1552];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1552] = *(cout_ptr[0]);
(*sym)++;
break;
case 1553:
temp_cin[0][0] = prev_out[829];
temp_cin[0][1] = out[829];
temp_cin[1][0] = prev_out[787];
temp_cin[1][1] = out[787];
temp_cout[0][0] = prev_out[1553];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1553] = *(cout_ptr[0]);
(*sym)++;
break;
case 1554:
temp_cin[0][0] = prev_out[1319];
temp_cin[0][1] = out[1319];
temp_cin[1][0] = prev_out[1318];
temp_cin[1][1] = out[1318];
temp_cout[0][0] = prev_out[1554];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1554] = *(cout_ptr[0]);
(*sym)++;
break;
case 1555:
temp_cin[0][0] = prev_out[985];
temp_cin[0][1] = out[985];
temp_cin[1][0] = prev_out[940];
temp_cin[1][1] = out[940];
temp_cout[0][0] = prev_out[1555];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1555] = *(cout_ptr[0]);
(*sym)++;
break;
case 1556:
temp_cin[0][0] = prev_out[1321];
temp_cin[0][1] = out[1321];
temp_cin[1][0] = prev_out[1320];
temp_cin[1][1] = out[1320];
temp_cout[0][0] = prev_out[1556];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1556] = *(cout_ptr[0]);
(*sym)++;
break;
case 1557:
temp_cin[0][0] = prev_out[1056];
temp_cin[0][1] = out[1056];
temp_cin[1][0] = prev_out[942];
temp_cin[1][1] = out[942];
temp_cout[0][0] = prev_out[1557];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1557] = *(cout_ptr[0]);
(*sym)++;
break;
case 1558:
temp_cin[0][0] = prev_out[1323];
temp_cin[0][1] = out[1323];
temp_cin[1][0] = prev_out[1322];
temp_cin[1][1] = out[1322];
temp_cout[0][0] = prev_out[1558];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1558] = *(cout_ptr[0]);
(*sym)++;
break;
case 1559:
temp_cin[0][0] = prev_out[1171];
temp_cin[0][1] = out[1171];
temp_cout[0][0] = prev_out[1559];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1559] = *(cout_ptr[0]);
(*sym)++;
break;
case 1560:
temp_cin[0][0] = prev_out[1221];
temp_cin[0][1] = out[1221];
temp_cout[0][0] = prev_out[1560];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1560] = *(cout_ptr[0]);
(*sym)++;
break;
case 1561:
temp_cin[0][0] = prev_out[1166];
temp_cin[0][1] = out[1166];
temp_cout[0][0] = prev_out[1561];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1561] = *(cout_ptr[0]);
(*sym)++;
break;
case 1562:
temp_cin[0][0] = prev_out[1216];
temp_cin[0][1] = out[1216];
temp_cout[0][0] = prev_out[1562];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1562] = *(cout_ptr[0]);
(*sym)++;
break;
case 1563:
temp_cin[0][0] = prev_out[953];
temp_cin[0][1] = out[953];
temp_cout[0][0] = prev_out[1563];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1563] = *(cout_ptr[0]);
(*sym)++;
break;
case 1564:
temp_cin[0][0] = prev_out[997];
temp_cin[0][1] = out[997];
temp_cout[0][0] = prev_out[1564];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1564] = *(cout_ptr[0]);
(*sym)++;
break;
case 1565:
temp_cin[0][0] = prev_out[951];
temp_cin[0][1] = out[951];
temp_cout[0][0] = prev_out[1565];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1565] = *(cout_ptr[0]);
(*sym)++;
break;
case 1566:
temp_cin[0][0] = prev_out[995];
temp_cin[0][1] = out[995];
temp_cout[0][0] = prev_out[1566];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1566] = *(cout_ptr[0]);
(*sym)++;
break;
case 1567:
temp_cin[0][0] = prev_out[798];
temp_cin[0][1] = out[798];
temp_cout[0][0] = prev_out[1567];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1567] = *(cout_ptr[0]);
(*sym)++;
break;
case 1568:
temp_cin[0][0] = prev_out[834];
temp_cin[0][1] = out[834];
temp_cout[0][0] = prev_out[1568];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1568] = *(cout_ptr[0]);
(*sym)++;
break;
case 1569:
temp_cin[0][0] = prev_out[1316];
temp_cin[0][1] = out[1316];
temp_cin[1][0] = prev_out[1051];
temp_cin[1][1] = out[1051];
temp_cout[0][0] = prev_out[1569];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1569] = *(cout_ptr[0]);
(*sym)++;
break;
case 1570:
temp_cin[0][0] = prev_out[1050];
temp_cin[0][1] = out[1050];
temp_cin[1][0] = prev_out[1049];
temp_cin[1][1] = out[1049];
temp_cout[0][0] = prev_out[1570];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1570] = *(cout_ptr[0]);
(*sym)++;
break;
case 1571:
temp_cin[0][0] = prev_out[1211];
temp_cin[0][1] = out[1211];
temp_cin[1][0] = prev_out[1161];
temp_cin[1][1] = out[1161];
temp_cout[0][0] = prev_out[1571];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1571] = *(cout_ptr[0]);
(*sym)++;
break;
case 1572:
temp_cin[0][0] = prev_out[1048];
temp_cin[0][1] = out[1048];
temp_cin[1][0] = prev_out[1047];
temp_cin[1][1] = out[1047];
temp_cout[0][0] = prev_out[1572];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1572] = *(cout_ptr[0]);
(*sym)++;
break;
case 1573:
temp_cin[0][0] = prev_out[829];
temp_cin[0][1] = out[829];
temp_cin[1][0] = prev_out[1324];
temp_cin[1][1] = out[1324];
temp_cout[0][0] = prev_out[1573];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1573] = *(cout_ptr[0]);
(*sym)++;
break;
case 1574:
temp_cin[0][0] = prev_out[787];
temp_cin[0][1] = out[787];
temp_cin[1][0] = prev_out[1325];
temp_cin[1][1] = out[1325];
temp_cout[0][0] = prev_out[1574];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1574] = *(cout_ptr[0]);
(*sym)++;
break;
case 1575:
temp_cin[0][0] = prev_out[1181];
temp_cin[0][1] = out[1181];
temp_cout[0][0] = prev_out[1575];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1575] = *(cout_ptr[0]);
(*sym)++;
break;
case 1576:
temp_cin[0][0] = prev_out[1231];
temp_cin[0][1] = out[1231];
temp_cout[0][0] = prev_out[1576];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1576] = *(cout_ptr[0]);
(*sym)++;
break;
case 1577:
temp_cin[0][0] = prev_out[968];
temp_cin[0][1] = out[968];
temp_cout[0][0] = prev_out[1577];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1577] = *(cout_ptr[0]);
(*sym)++;
break;
case 1578:
temp_cin[0][0] = prev_out[1009];
temp_cin[0][1] = out[1009];
temp_cout[0][0] = prev_out[1578];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1578] = *(cout_ptr[0]);
(*sym)++;
break;
case 1579:
temp_cin[0][0] = prev_out[1187];
temp_cin[0][1] = out[1187];
temp_cout[0][0] = prev_out[1579];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1579] = *(cout_ptr[0]);
(*sym)++;
break;
case 1580:
temp_cin[0][0] = prev_out[1237];
temp_cin[0][1] = out[1237];
temp_cout[0][0] = prev_out[1580];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1580] = *(cout_ptr[0]);
(*sym)++;
break;
case 1581:
temp_cin[0][0] = prev_out[973];
temp_cin[0][1] = out[973];
temp_cout[0][0] = prev_out[1581];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1581] = *(cout_ptr[0]);
(*sym)++;
break;
case 1582:
temp_cin[0][0] = prev_out[1015];
temp_cin[0][1] = out[1015];
temp_cout[0][0] = prev_out[1582];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1582] = *(cout_ptr[0]);
(*sym)++;
break;
case 1583:
temp_cin[0][0] = prev_out[1184];
temp_cin[0][1] = out[1184];
temp_cout[0][0] = prev_out[1583];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1583] = *(cout_ptr[0]);
(*sym)++;
break;
case 1584:
temp_cin[0][0] = prev_out[1234];
temp_cin[0][1] = out[1234];
temp_cout[0][0] = prev_out[1584];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1584] = *(cout_ptr[0]);
(*sym)++;
break;
case 1585:
temp_cin[0][0] = prev_out[1221];
temp_cin[0][1] = out[1221];
temp_cin[1][0] = prev_out[1171];
temp_cin[1][1] = out[1171];
temp_cout[0][0] = prev_out[1585];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1585] = *(cout_ptr[0]);
(*sym)++;
break;
case 1586:
temp_cin[0][0] = prev_out[1327];
temp_cin[0][1] = out[1327];
temp_cin[1][0] = prev_out[1326];
temp_cin[1][1] = out[1326];
temp_cout[0][0] = prev_out[1586];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1586] = *(cout_ptr[0]);
(*sym)++;
break;
case 1587:
temp_cin[0][0] = prev_out[1062];
temp_cin[0][1] = out[1062];
temp_cin[1][0] = prev_out[961];
temp_cin[1][1] = out[961];
temp_cout[0][0] = prev_out[1587];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1587] = *(cout_ptr[0]);
(*sym)++;
break;
case 1588:
temp_cin[0][0] = prev_out[1329];
temp_cin[0][1] = out[1329];
temp_cin[1][0] = prev_out[1328];
temp_cin[1][1] = out[1328];
temp_cout[0][0] = prev_out[1588];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1588] = *(cout_ptr[0]);
(*sym)++;
break;
case 1589:
temp_cin[0][0] = prev_out[1065];
temp_cin[0][1] = out[1065];
temp_cin[1][0] = prev_out[962];
temp_cin[1][1] = out[962];
temp_cout[0][0] = prev_out[1589];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1589] = *(cout_ptr[0]);
(*sym)++;
break;
case 1590:
temp_cin[0][0] = prev_out[1331];
temp_cin[0][1] = out[1331];
temp_cin[1][0] = prev_out[1330];
temp_cin[1][1] = out[1330];
temp_cout[0][0] = prev_out[1590];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1590] = *(cout_ptr[0]);
(*sym)++;
break;
case 1591:
temp_cin[0][0] = prev_out[1068];
temp_cin[0][1] = out[1068];
temp_cin[1][0] = prev_out[956];
temp_cin[1][1] = out[956];
temp_cout[0][0] = prev_out[1591];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1591] = *(cout_ptr[0]);
(*sym)++;
break;
case 1592:
temp_cin[0][0] = prev_out[1333];
temp_cin[0][1] = out[1333];
temp_cin[1][0] = prev_out[1332];
temp_cin[1][1] = out[1332];
temp_cout[0][0] = prev_out[1592];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1592] = *(cout_ptr[0]);
(*sym)++;
break;
case 1593:
temp_cin[0][0] = prev_out[813];
temp_cin[0][1] = out[813];
temp_cout[0][0] = prev_out[1593];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1593] = *(cout_ptr[0]);
(*sym)++;
break;
case 1594:
temp_cin[0][0] = prev_out[841];
temp_cin[0][1] = out[841];
temp_cout[0][0] = prev_out[1594];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1594] = *(cout_ptr[0]);
(*sym)++;
break;
case 1595:
temp_cin[0][0] = prev_out[964];
temp_cin[0][1] = out[964];
temp_cout[0][0] = prev_out[1595];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1595] = *(cout_ptr[0]);
(*sym)++;
break;
case 1596:
temp_cin[0][0] = prev_out[1004];
temp_cin[0][1] = out[1004];
temp_cout[0][0] = prev_out[1596];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1596] = *(cout_ptr[0]);
(*sym)++;
break;
case 1597:
temp_cin[0][0] = prev_out[966];
temp_cin[0][1] = out[966];
temp_cout[0][0] = prev_out[1597];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1597] = *(cout_ptr[0]);
(*sym)++;
break;
case 1598:
temp_cin[0][0] = prev_out[1006];
temp_cin[0][1] = out[1006];
temp_cout[0][0] = prev_out[1598];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1598] = *(cout_ptr[0]);
(*sym)++;
break;
case 1599:
temp_cin[0][0] = prev_out[1178];
temp_cin[0][1] = out[1178];
temp_cout[0][0] = prev_out[1599];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1599] = *(cout_ptr[0]);
(*sym)++;
break;
case 1600:
temp_cin[0][0] = prev_out[1228];
temp_cin[0][1] = out[1228];
temp_cout[0][0] = prev_out[1600];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1600] = *(cout_ptr[0]);
(*sym)++;
break;
case 1601:
temp_cin[0][0] = prev_out[1335];
temp_cin[0][1] = out[1335];
temp_cin[1][0] = prev_out[1334];
temp_cin[1][1] = out[1334];
temp_cout[0][0] = prev_out[1601];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1601] = *(cout_ptr[0]);
(*sym)++;
break;
case 1602:
temp_cin[0][0] = prev_out[114];
temp_cin[0][1] = out[114];
temp_cin[1][0] = prev_out[1336];
temp_cin[1][1] = out[1336];
temp_cout[0][0] = prev_out[1602];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1602] = *(cout_ptr[0]);
(*sym)++;
break;
case 1603:
temp_cin[0][0] = prev_out[280];
temp_cin[0][1] = out[280];
temp_cout[0][0] = prev_out[1603];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1603] = *(cout_ptr[0]);
(*sym)++;
break;
case 1604:
temp_cin[0][0] = prev_out[1338];
temp_cin[0][1] = out[1338];
temp_cin[1][0] = prev_out[1337];
temp_cin[1][1] = out[1337];
temp_cout[0][0] = prev_out[1604];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1604] = *(cout_ptr[0]);
(*sym)++;
break;
case 1605:
temp_cin[0][0] = prev_out[1604];
temp_cin[0][1] = out[1604];
temp_cout[0][0] = prev_out[1605];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1605] = *(cout_ptr[0]);
(*sym)++;
break;
case 1606:
temp_cin[0][0] = prev_out[900];
temp_cin[0][1] = out[900];
temp_cout[0][0] = prev_out[1606];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1606] = *(cout_ptr[0]);
(*sym)++;
break;
case 1607:
temp_cin[0][0] = prev_out[1340];
temp_cin[0][1] = out[1340];
temp_cin[1][0] = prev_out[1339];
temp_cin[1][1] = out[1339];
temp_cout[0][0] = prev_out[1607];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1607] = *(cout_ptr[0]);
(*sym)++;
break;
case 1608:
temp_cin[0][0] = prev_out[1607];
temp_cin[0][1] = out[1607];
temp_cout[0][0] = prev_out[1608];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1608] = *(cout_ptr[0]);
(*sym)++;
break;
case 1609:
temp_cin[0][0] = prev_out[900];
temp_cin[0][1] = out[900];
temp_cout[0][0] = prev_out[1609];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1609] = *(cout_ptr[0]);
(*sym)++;
break;
case 1610:
temp_cin[0][0] = prev_out[1342];
temp_cin[0][1] = out[1342];
temp_cin[1][0] = prev_out[1341];
temp_cin[1][1] = out[1341];
temp_cout[0][0] = prev_out[1610];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1610] = *(cout_ptr[0]);
(*sym)++;
break;
case 1611:
temp_cin[0][0] = prev_out[1610];
temp_cin[0][1] = out[1610];
temp_cout[0][0] = prev_out[1611];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1611] = *(cout_ptr[0]);
(*sym)++;
break;
case 1612:
temp_cin[0][0] = prev_out[1344];
temp_cin[0][1] = out[1344];
temp_cin[1][0] = prev_out[1343];
temp_cin[1][1] = out[1343];
temp_cout[0][0] = prev_out[1612];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1612] = *(cout_ptr[0]);
(*sym)++;
break;
case 1613:
temp_cin[0][0] = prev_out[124];
temp_cin[0][1] = out[124];
temp_cin[1][0] = prev_out[1345];
temp_cin[1][1] = out[1345];
temp_cout[0][0] = prev_out[1613];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1613] = *(cout_ptr[0]);
(*sym)++;
break;
case 1614:
temp_cin[0][0] = prev_out[1346];
temp_cin[0][1] = out[1346];
temp_cin[1][0] = in_params[205][-1];
temp_cin[1][1] = in_params[205][0];
temp_cout[0][0] = prev_out[1614];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1614] = *(cout_ptr[0]);
(*sym)++;
break;
case 1615:
temp_cin[0][0] = prev_out[1378];
temp_cin[0][1] = out[1378];
temp_cout[0][0] = prev_out[1615];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1615] = *(cout_ptr[0]);
(*sym)++;
break;
case 1616:
temp_cin[0][0] = prev_out[1379];
temp_cin[0][1] = out[1379];
temp_cout[0][0] = prev_out[1616];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1616] = *(cout_ptr[0]);
(*sym)++;
break;
case 1617:
temp_cin[0][0] = prev_out[1347];
temp_cin[0][1] = out[1347];
temp_cout[0][0] = prev_out[1617];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1617] = *(cout_ptr[0]);
(*sym)++;
break;
case 1618:
temp_cin[0][0] = prev_out[296];
temp_cin[0][1] = out[296];
temp_cout[0][0] = prev_out[1618];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1618] = *(cout_ptr[0]);
(*sym)++;
break;
case 1619:
temp_cin[0][0] = prev_out[1349];
temp_cin[0][1] = out[1349];
temp_cin[1][0] = prev_out[1348];
temp_cin[1][1] = out[1348];
temp_cout[0][0] = prev_out[1619];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1619] = *(cout_ptr[0]);
(*sym)++;
break;
case 1620:
temp_cin[0][0] = prev_out[1619];
temp_cin[0][1] = out[1619];
temp_cout[0][0] = prev_out[1620];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1620] = *(cout_ptr[0]);
(*sym)++;
break;
case 1621:
temp_cin[0][0] = prev_out[1352];
temp_cin[0][1] = out[1352];
temp_cout[0][0] = prev_out[1621];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1621] = *(cout_ptr[0]);
(*sym)++;
break;
case 1622:
temp_cin[0][0] = prev_out[1351];
temp_cin[0][1] = out[1351];
temp_cin[1][0] = prev_out[1350];
temp_cin[1][1] = out[1350];
temp_cout[0][0] = prev_out[1622];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1622] = *(cout_ptr[0]);
(*sym)++;
break;
case 1623:
temp_cin[0][0] = prev_out[1622];
temp_cin[0][1] = out[1622];
temp_cout[0][0] = prev_out[1623];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1623] = *(cout_ptr[0]);
(*sym)++;
break;
case 1624:
temp_cin[0][0] = prev_out[1352];
temp_cin[0][1] = out[1352];
temp_cout[0][0] = prev_out[1624];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1624] = *(cout_ptr[0]);
(*sym)++;
break;
case 1625:
temp_cin[0][0] = prev_out[1354];
temp_cin[0][1] = out[1354];
temp_cin[1][0] = prev_out[1353];
temp_cin[1][1] = out[1353];
temp_cout[0][0] = prev_out[1625];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1625] = *(cout_ptr[0]);
(*sym)++;
break;
case 1626:
temp_cin[0][0] = prev_out[1625];
temp_cin[0][1] = out[1625];
temp_cout[0][0] = prev_out[1626];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1626] = *(cout_ptr[0]);
(*sym)++;
break;
case 1627:
temp_cin[0][0] = prev_out[1356];
temp_cin[0][1] = out[1356];
temp_cin[1][0] = prev_out[1355];
temp_cin[1][1] = out[1355];
temp_cout[0][0] = prev_out[1627];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1627] = *(cout_ptr[0]);
(*sym)++;
break;
case 1628:
temp_cin[0][0] = prev_out[133];
temp_cin[0][1] = out[133];
temp_cin[1][0] = prev_out[1357];
temp_cin[1][1] = out[1357];
temp_cout[0][0] = prev_out[1628];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1628] = *(cout_ptr[0]);
(*sym)++;
break;
case 1629:
temp_cin[0][0] = prev_out[138];
temp_cin[0][1] = out[138];
temp_cin[1][0] = prev_out[140];
temp_cin[1][1] = out[140];
temp_cin[2][0] = prev_out[142];
temp_cin[2][1] = out[142];
temp_cin[3][0] = prev_out[322];
temp_cin[3][1] = out[322];
temp_cin[4][0] = prev_out[774];
temp_cin[4][1] = out[774];
temp_cout[0][0] = prev_out[1629];
and_5_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1629] = *(cout_ptr[0]);
(*sym)++;
break;
case 1630:
temp_cin[0][0] = prev_out[1359];
temp_cin[0][1] = out[1359];
temp_cin[1][0] = prev_out[1358];
temp_cin[1][1] = out[1358];
temp_cout[0][0] = prev_out[1630];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1630] = *(cout_ptr[0]);
(*sym)++;
break;
case 1631:
temp_cin[0][0] = prev_out[1363];
temp_cin[0][1] = out[1363];
temp_cin[1][0] = prev_out[1362];
temp_cin[1][1] = out[1362];
temp_cin[2][0] = prev_out[1361];
temp_cin[2][1] = out[1361];
temp_cin[3][0] = prev_out[1360];
temp_cin[3][1] = out[1360];
temp_cout[0][0] = prev_out[1631];
or_4_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1631] = *(cout_ptr[0]);
(*sym)++;
break;
case 1632:
temp_cin[0][0] = prev_out[1368];
temp_cin[0][1] = out[1368];
temp_cin[1][0] = prev_out[1367];
temp_cin[1][1] = out[1367];
temp_cin[2][0] = prev_out[1366];
temp_cin[2][1] = out[1366];
temp_cin[3][0] = prev_out[1365];
temp_cin[3][1] = out[1365];
temp_cin[4][0] = prev_out[1364];
temp_cin[4][1] = out[1364];
temp_cout[0][0] = prev_out[1632];
or_5_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1632] = *(cout_ptr[0]);
(*sym)++;
break;
case 1633:
temp_cin[0][0] = prev_out[397];
temp_cin[0][1] = out[397];
temp_cin[1][0] = prev_out[396];
temp_cin[1][1] = out[396];
temp_cin[2][0] = prev_out[476];
temp_cin[2][1] = out[476];
temp_cin[3][0] = prev_out[1384];
temp_cin[3][1] = out[1384];
temp_cout[0][0] = prev_out[1633];
and_4_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1633] = *(cout_ptr[0]);
(*sym)++;
break;
case 1634:
temp_cin[0][0] = prev_out[396];
temp_cin[0][1] = out[396];
temp_cin[1][0] = prev_out[1384];
temp_cin[1][1] = out[1384];
temp_cin[2][0] = prev_out[337];
temp_cin[2][1] = out[337];
temp_cin[3][0] = prev_out[476];
temp_cin[3][1] = out[476];
temp_cout[0][0] = prev_out[1634];
and_4_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1634] = *(cout_ptr[0]);
(*sym)++;
break;
case 1635:
temp_cin[0][0] = prev_out[476];
temp_cin[0][1] = out[476];
temp_cin[1][0] = prev_out[1384];
temp_cin[1][1] = out[1384];
temp_cin[2][0] = prev_out[402];
temp_cin[2][1] = out[402];
temp_cout[0][0] = prev_out[1635];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1635] = *(cout_ptr[0]);
(*sym)++;
break;
case 1636:
temp_cin[0][0] = prev_out[1384];
temp_cin[0][1] = out[1384];
temp_cin[1][0] = prev_out[539];
temp_cin[1][1] = out[539];
temp_cout[0][0] = prev_out[1636];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1636] = *(cout_ptr[0]);
(*sym)++;
break;
case 1637:
temp_cin[0][0] = prev_out[929];
temp_cin[0][1] = out[929];
temp_cin[1][0] = prev_out[783];
temp_cin[1][1] = out[783];
temp_cout[0][0] = prev_out[1637];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1637] = *(cout_ptr[0]);
(*sym)++;
break;
case 1638:
temp_cin[0][0] = prev_out[312];
temp_cin[0][1] = out[312];
temp_cout[0][0] = prev_out[1638];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1638] = *(cout_ptr[0]);
(*sym)++;
break;
case 1639:
temp_cin[0][0] = prev_out[1370];
temp_cin[0][1] = out[1370];
temp_cin[1][0] = prev_out[1369];
temp_cin[1][1] = out[1369];
temp_cout[0][0] = prev_out[1639];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1639] = *(cout_ptr[0]);
(*sym)++;
break;
case 1640:
temp_cin[0][0] = prev_out[1639];
temp_cin[0][1] = out[1639];
temp_cout[0][0] = prev_out[1640];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1640] = *(cout_ptr[0]);
(*sym)++;
break;
case 1641:
temp_cin[0][0] = prev_out[131];
temp_cin[0][1] = out[131];
temp_cin[1][0] = prev_out[133];
temp_cin[1][1] = out[133];
temp_cin[2][0] = prev_out[760];
temp_cin[2][1] = out[760];
temp_cin[3][0] = prev_out[130];
temp_cin[3][1] = out[130];
temp_cin[4][0] = prev_out[312];
temp_cin[4][1] = out[312];
temp_cout[0][0] = prev_out[1641];
and_5_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1641] = *(cout_ptr[0]);
(*sym)++;
break;
case 1642:
temp_cin[0][0] = prev_out[133];
temp_cin[0][1] = out[133];
temp_cin[1][0] = prev_out[760];
temp_cin[1][1] = out[760];
temp_cin[2][0] = prev_out[132];
temp_cin[2][1] = out[132];
temp_cin[3][0] = prev_out[312];
temp_cin[3][1] = out[312];
temp_cout[0][0] = prev_out[1642];
and_4_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1642] = *(cout_ptr[0]);
(*sym)++;
break;
case 1643:
temp_cin[0][0] = prev_out[312];
temp_cin[0][1] = out[312];
temp_cin[1][0] = prev_out[760];
temp_cin[1][1] = out[760];
temp_cin[2][0] = prev_out[172];
temp_cin[2][1] = out[172];
temp_cout[0][0] = prev_out[1643];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1643] = *(cout_ptr[0]);
(*sym)++;
break;
case 1644:
temp_cin[0][0] = prev_out[760];
temp_cin[0][1] = out[760];
temp_cin[1][0] = prev_out[378];
temp_cin[1][1] = out[378];
temp_cout[0][0] = prev_out[1644];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1644] = *(cout_ptr[0]);
(*sym)++;
break;
case 1645:
temp_cin[0][0] = prev_out[620];
temp_cin[0][1] = out[620];
temp_cin[1][0] = prev_out[568];
temp_cin[1][1] = out[568];
temp_cout[0][0] = prev_out[1645];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1645] = *(cout_ptr[0]);
(*sym)++;
break;
case 1646:
temp_cin[0][0] = prev_out[575];
temp_cin[0][1] = out[575];
temp_cout[0][0] = prev_out[1646];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1646] = *(cout_ptr[0]);
(*sym)++;
break;
case 1647:
temp_cin[0][0] = prev_out[1372];
temp_cin[0][1] = out[1372];
temp_cin[1][0] = prev_out[1371];
temp_cin[1][1] = out[1371];
temp_cout[0][0] = prev_out[1647];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1647] = *(cout_ptr[0]);
(*sym)++;
break;
case 1648:
temp_cin[0][0] = prev_out[1647];
temp_cin[0][1] = out[1647];
temp_cout[0][0] = prev_out[1648];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1648] = *(cout_ptr[0]);
(*sym)++;
break;
case 1649:
temp_cin[0][0] = prev_out[575];
temp_cin[0][1] = out[575];
temp_cout[0][0] = prev_out[1649];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1649] = *(cout_ptr[0]);
(*sym)++;
break;
case 1650:
temp_cin[0][0] = prev_out[1374];
temp_cin[0][1] = out[1374];
temp_cin[1][0] = prev_out[1373];
temp_cin[1][1] = out[1373];
temp_cout[0][0] = prev_out[1650];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1650] = *(cout_ptr[0]);
(*sym)++;
break;
case 1651:
temp_cin[0][0] = prev_out[1650];
temp_cin[0][1] = out[1650];
temp_cout[0][0] = prev_out[1651];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1651] = *(cout_ptr[0]);
(*sym)++;
break;
case 1652:
temp_cin[0][0] = prev_out[1376];
temp_cin[0][1] = out[1376];
temp_cin[1][0] = prev_out[1375];
temp_cin[1][1] = out[1375];
temp_cout[0][0] = prev_out[1652];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1652] = *(cout_ptr[0]);
(*sym)++;
break;
case 1653:
temp_cin[0][0] = prev_out[142];
temp_cin[0][1] = out[142];
temp_cin[1][0] = prev_out[1377];
temp_cin[1][1] = out[1377];
temp_cout[0][0] = prev_out[1653];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1653] = *(cout_ptr[0]);
(*sym)++;
break;
case 1654:
temp_cin[0][0] = prev_out[1379];
temp_cin[0][1] = out[1379];
temp_cin[1][0] = prev_out[1378];
temp_cin[1][1] = out[1378];
temp_cout[0][0] = prev_out[1654];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1654] = *(cout_ptr[0]);
(*sym)++;
break;
case 1655:
temp_cin[0][0] = prev_out[322];
temp_cin[0][1] = out[322];
temp_cout[0][0] = prev_out[1655];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1655] = *(cout_ptr[0]);
(*sym)++;
break;
case 1656:
temp_cin[0][0] = prev_out[1381];
temp_cin[0][1] = out[1381];
temp_cin[1][0] = prev_out[1380];
temp_cin[1][1] = out[1380];
temp_cout[0][0] = prev_out[1656];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1656] = *(cout_ptr[0]);
(*sym)++;
break;
case 1657:
temp_cin[0][0] = prev_out[1656];
temp_cin[0][1] = out[1656];
temp_cout[0][0] = prev_out[1657];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1657] = *(cout_ptr[0]);
(*sym)++;
break;
case 1658:
temp_cin[0][0] = prev_out[1384];
temp_cin[0][1] = out[1384];
temp_cout[0][0] = prev_out[1658];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1658] = *(cout_ptr[0]);
(*sym)++;
break;
case 1659:
temp_cin[0][0] = prev_out[1383];
temp_cin[0][1] = out[1383];
temp_cin[1][0] = prev_out[1382];
temp_cin[1][1] = out[1382];
temp_cout[0][0] = prev_out[1659];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1659] = *(cout_ptr[0]);
(*sym)++;
break;
case 1660:
temp_cin[0][0] = prev_out[1659];
temp_cin[0][1] = out[1659];
temp_cout[0][0] = prev_out[1660];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1660] = *(cout_ptr[0]);
(*sym)++;
break;
case 1661:
temp_cin[0][0] = prev_out[1384];
temp_cin[0][1] = out[1384];
temp_cout[0][0] = prev_out[1661];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1661] = *(cout_ptr[0]);
(*sym)++;
break;
case 1662:
temp_cin[0][0] = prev_out[1386];
temp_cin[0][1] = out[1386];
temp_cin[1][0] = prev_out[1385];
temp_cin[1][1] = out[1385];
temp_cout[0][0] = prev_out[1662];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1662] = *(cout_ptr[0]);
(*sym)++;
break;
case 1663:
temp_cin[0][0] = prev_out[1662];
temp_cin[0][1] = out[1662];
temp_cout[0][0] = prev_out[1663];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1663] = *(cout_ptr[0]);
(*sym)++;
break;
case 1664:
temp_cin[0][0] = prev_out[1388];
temp_cin[0][1] = out[1388];
temp_cin[1][0] = prev_out[1387];
temp_cin[1][1] = out[1387];
temp_cout[0][0] = prev_out[1664];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1664] = *(cout_ptr[0]);
(*sym)++;
break;
case 1665:
temp_cin[0][0] = prev_out[48];
temp_cin[0][1] = out[48];
temp_cin[1][0] = prev_out[34];
temp_cin[1][1] = out[34];
temp_cout[0][0] = prev_out[1665];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1665] = *(cout_ptr[0]);
(*sym)++;
break;
case 1666:
temp_cin[0][0] = prev_out[1390];
temp_cin[0][1] = out[1390];
temp_cin[1][0] = prev_out[1389];
temp_cin[1][1] = out[1389];
temp_cout[0][0] = prev_out[1666];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1666] = *(cout_ptr[0]);
(*sym)++;
break;
case 1667:
temp_cin[0][0] = prev_out[51];
temp_cin[0][1] = out[51];
temp_cin[1][0] = prev_out[36];
temp_cin[1][1] = out[36];
temp_cout[0][0] = prev_out[1667];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1667] = *(cout_ptr[0]);
(*sym)++;
break;
case 1668:
temp_cin[0][0] = prev_out[1392];
temp_cin[0][1] = out[1392];
temp_cin[1][0] = prev_out[1391];
temp_cin[1][1] = out[1391];
temp_cout[0][0] = prev_out[1668];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1668] = *(cout_ptr[0]);
(*sym)++;
break;
case 1669:
temp_cin[0][0] = prev_out[54];
temp_cin[0][1] = out[54];
temp_cin[1][0] = prev_out[37];
temp_cin[1][1] = out[37];
temp_cout[0][0] = prev_out[1669];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1669] = *(cout_ptr[0]);
(*sym)++;
break;
case 1670:
temp_cin[0][0] = prev_out[1394];
temp_cin[0][1] = out[1394];
temp_cin[1][0] = prev_out[1393];
temp_cin[1][1] = out[1393];
temp_cout[0][0] = prev_out[1670];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1670] = *(cout_ptr[0]);
(*sym)++;
break;
case 1671:
temp_cin[0][0] = prev_out[183];
temp_cin[0][1] = out[183];
temp_cin[1][0] = prev_out[148];
temp_cin[1][1] = out[148];
temp_cout[0][0] = prev_out[1671];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1671] = *(cout_ptr[0]);
(*sym)++;
break;
case 1672:
temp_cin[0][0] = prev_out[1396];
temp_cin[0][1] = out[1396];
temp_cin[1][0] = prev_out[1395];
temp_cin[1][1] = out[1395];
temp_cout[0][0] = prev_out[1672];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1672] = *(cout_ptr[0]);
(*sym)++;
break;
case 1673:
temp_cin[0][0] = prev_out[1398];
temp_cin[0][1] = out[1398];
temp_cin[1][0] = prev_out[1402];
temp_cin[1][1] = out[1402];
temp_cin[2][0] = prev_out[1397];
temp_cin[2][1] = out[1397];
temp_cin[3][0] = prev_out[1400];
temp_cin[3][1] = out[1400];
temp_cout[0][0] = prev_out[1673];
and_4_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1673] = *(cout_ptr[0]);
(*sym)++;
break;
case 1674:
temp_cin[0][0] = prev_out[1400];
temp_cin[0][1] = out[1400];
temp_cin[1][0] = prev_out[1402];
temp_cin[1][1] = out[1402];
temp_cin[2][0] = prev_out[1399];
temp_cin[2][1] = out[1399];
temp_cout[0][0] = prev_out[1674];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1674] = *(cout_ptr[0]);
(*sym)++;
break;
case 1675:
temp_cin[0][0] = prev_out[1402];
temp_cin[0][1] = out[1402];
temp_cin[1][0] = prev_out[1401];
temp_cin[1][1] = out[1401];
temp_cout[0][0] = prev_out[1675];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1675] = *(cout_ptr[0]);
(*sym)++;
break;
case 1676:
temp_cin[0][0] = prev_out[671];
temp_cin[0][1] = out[671];
temp_cin[1][0] = prev_out[609];
temp_cin[1][1] = out[609];
temp_cout[0][0] = prev_out[1676];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1676] = *(cout_ptr[0]);
(*sym)++;
break;
case 1677:
temp_cin[0][0] = prev_out[214];
temp_cin[0][1] = out[214];
temp_cout[0][0] = prev_out[1677];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1677] = *(cout_ptr[0]);
(*sym)++;
break;
case 1678:
temp_cin[0][0] = prev_out[274];
temp_cin[0][1] = out[274];
temp_cout[0][0] = prev_out[1678];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1678] = *(cout_ptr[0]);
(*sym)++;
break;
case 1679:
temp_cin[0][0] = prev_out[336];
temp_cin[0][1] = out[336];
temp_cout[0][0] = prev_out[1679];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1679] = *(cout_ptr[0]);
(*sym)++;
break;
case 1680:
temp_cin[0][0] = prev_out[399];
temp_cin[0][1] = out[399];
temp_cout[0][0] = prev_out[1680];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1680] = *(cout_ptr[0]);
(*sym)++;
break;
case 1681:
temp_cin[0][0] = prev_out[1403];
temp_cin[0][1] = out[1403];
temp_cout[0][0] = prev_out[1681];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1681] = *(cout_ptr[0]);
(*sym)++;
break;
case 1682:
temp_cin[0][0] = prev_out[1405];
temp_cin[0][1] = out[1405];
temp_cin[1][0] = prev_out[1404];
temp_cin[1][1] = out[1404];
temp_cout[0][0] = prev_out[1682];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1682] = *(cout_ptr[0]);
(*sym)++;
break;
case 1683:
temp_cin[0][0] = prev_out[1682];
temp_cin[0][1] = out[1682];
temp_cout[0][0] = prev_out[1683];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1683] = *(cout_ptr[0]);
(*sym)++;
break;
case 1684:
temp_cin[0][0] = prev_out[1407];
temp_cin[0][1] = out[1407];
temp_cin[1][0] = prev_out[1406];
temp_cin[1][1] = out[1406];
temp_cout[0][0] = prev_out[1684];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1684] = *(cout_ptr[0]);
(*sym)++;
break;
case 1685:
temp_cin[0][0] = prev_out[1409];
temp_cin[0][1] = out[1409];
temp_cin[1][0] = prev_out[1408];
temp_cin[1][1] = out[1408];
temp_cout[0][0] = prev_out[1685];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1685] = *(cout_ptr[0]);
(*sym)++;
break;
case 1686:
temp_cin[0][0] = prev_out[1684];
temp_cin[0][1] = out[1684];
temp_cout[0][0] = prev_out[1686];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1686] = *(cout_ptr[0]);
(*sym)++;
break;
case 1687:
temp_cin[0][0] = prev_out[1411];
temp_cin[0][1] = out[1411];
temp_cin[1][0] = prev_out[1410];
temp_cin[1][1] = out[1410];
temp_cout[0][0] = prev_out[1687];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1687] = *(cout_ptr[0]);
(*sym)++;
break;
case 1688:
temp_cin[0][0] = prev_out[1685];
temp_cin[0][1] = out[1685];
temp_cout[0][0] = prev_out[1688];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1688] = *(cout_ptr[0]);
(*sym)++;
break;
case 1689:
temp_cin[0][0] = prev_out[1684];
temp_cin[0][1] = out[1684];
temp_cout[0][0] = prev_out[1689];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1689] = *(cout_ptr[0]);
(*sym)++;
break;
case 1690:
temp_cin[0][0] = prev_out[1687];
temp_cin[0][1] = out[1687];
temp_cout[0][0] = prev_out[1690];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1690] = *(cout_ptr[0]);
(*sym)++;
break;
case 1691:
temp_cin[0][0] = prev_out[1412];
temp_cin[0][1] = out[1412];
temp_cout[0][0] = prev_out[1691];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1691] = *(cout_ptr[0]);
(*sym)++;
break;
case 1692:
temp_cin[0][0] = prev_out[1414];
temp_cin[0][1] = out[1414];
temp_cin[1][0] = prev_out[1413];
temp_cin[1][1] = out[1413];
temp_cout[0][0] = prev_out[1692];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1692] = *(cout_ptr[0]);
(*sym)++;
break;
case 1693:
temp_cin[0][0] = prev_out[1692];
temp_cin[0][1] = out[1692];
temp_cout[0][0] = prev_out[1693];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1693] = *(cout_ptr[0]);
(*sym)++;
break;
case 1694:
temp_cin[0][0] = prev_out[1416];
temp_cin[0][1] = out[1416];
temp_cin[1][0] = prev_out[1415];
temp_cin[1][1] = out[1415];
temp_cout[0][0] = prev_out[1694];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1694] = *(cout_ptr[0]);
(*sym)++;
break;
case 1695:
temp_cin[0][0] = prev_out[1418];
temp_cin[0][1] = out[1418];
temp_cin[1][0] = prev_out[1417];
temp_cin[1][1] = out[1417];
temp_cout[0][0] = prev_out[1695];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1695] = *(cout_ptr[0]);
(*sym)++;
break;
case 1696:
temp_cin[0][0] = prev_out[1694];
temp_cin[0][1] = out[1694];
temp_cout[0][0] = prev_out[1696];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1696] = *(cout_ptr[0]);
(*sym)++;
break;
case 1697:
temp_cin[0][0] = prev_out[1420];
temp_cin[0][1] = out[1420];
temp_cin[1][0] = prev_out[1419];
temp_cin[1][1] = out[1419];
temp_cout[0][0] = prev_out[1697];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1697] = *(cout_ptr[0]);
(*sym)++;
break;
case 1698:
temp_cin[0][0] = prev_out[1695];
temp_cin[0][1] = out[1695];
temp_cout[0][0] = prev_out[1698];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1698] = *(cout_ptr[0]);
(*sym)++;
break;
case 1699:
temp_cin[0][0] = prev_out[1694];
temp_cin[0][1] = out[1694];
temp_cout[0][0] = prev_out[1699];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1699] = *(cout_ptr[0]);
(*sym)++;
break;
case 1700:
temp_cin[0][0] = prev_out[1697];
temp_cin[0][1] = out[1697];
temp_cout[0][0] = prev_out[1700];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1700] = *(cout_ptr[0]);
(*sym)++;
break;
case 1701:
temp_cin[0][0] = prev_out[1421];
temp_cin[0][1] = out[1421];
temp_cout[0][0] = prev_out[1701];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1701] = *(cout_ptr[0]);
(*sym)++;
break;
case 1702:
temp_cin[0][0] = prev_out[1423];
temp_cin[0][1] = out[1423];
temp_cin[1][0] = prev_out[1422];
temp_cin[1][1] = out[1422];
temp_cout[0][0] = prev_out[1702];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1702] = *(cout_ptr[0]);
(*sym)++;
break;
case 1703:
temp_cin[0][0] = prev_out[1702];
temp_cin[0][1] = out[1702];
temp_cout[0][0] = prev_out[1703];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1703] = *(cout_ptr[0]);
(*sym)++;
break;
case 1704:
temp_cin[0][0] = prev_out[1425];
temp_cin[0][1] = out[1425];
temp_cin[1][0] = prev_out[1424];
temp_cin[1][1] = out[1424];
temp_cout[0][0] = prev_out[1704];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1704] = *(cout_ptr[0]);
(*sym)++;
break;
case 1705:
temp_cin[0][0] = prev_out[1427];
temp_cin[0][1] = out[1427];
temp_cin[1][0] = prev_out[1426];
temp_cin[1][1] = out[1426];
temp_cout[0][0] = prev_out[1705];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1705] = *(cout_ptr[0]);
(*sym)++;
break;
case 1706:
temp_cin[0][0] = prev_out[1704];
temp_cin[0][1] = out[1704];
temp_cout[0][0] = prev_out[1706];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1706] = *(cout_ptr[0]);
(*sym)++;
break;
case 1707:
temp_cin[0][0] = prev_out[1429];
temp_cin[0][1] = out[1429];
temp_cin[1][0] = prev_out[1428];
temp_cin[1][1] = out[1428];
temp_cout[0][0] = prev_out[1707];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1707] = *(cout_ptr[0]);
(*sym)++;
break;
case 1708:
temp_cin[0][0] = prev_out[1705];
temp_cin[0][1] = out[1705];
temp_cout[0][0] = prev_out[1708];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1708] = *(cout_ptr[0]);
(*sym)++;
break;
case 1709:
temp_cin[0][0] = prev_out[1704];
temp_cin[0][1] = out[1704];
temp_cout[0][0] = prev_out[1709];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1709] = *(cout_ptr[0]);
(*sym)++;
break;
case 1710:
temp_cin[0][0] = prev_out[1707];
temp_cin[0][1] = out[1707];
temp_cout[0][0] = prev_out[1710];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1710] = *(cout_ptr[0]);
(*sym)++;
break;
case 1711:
temp_cin[0][0] = prev_out[1430];
temp_cin[0][1] = out[1430];
temp_cout[0][0] = prev_out[1711];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1711] = *(cout_ptr[0]);
(*sym)++;
break;
case 1712:
temp_cin[0][0] = prev_out[1431];
temp_cin[0][1] = out[1431];
temp_cin[1][0] = prev_out[713];
temp_cin[1][1] = out[713];
temp_cout[0][0] = prev_out[1712];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1712] = *(cout_ptr[0]);
(*sym)++;
break;
case 1713:
temp_cin[0][0] = prev_out[1712];
temp_cin[0][1] = out[1712];
temp_cout[0][0] = prev_out[1713];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1713] = *(cout_ptr[0]);
(*sym)++;
break;
case 1714:
temp_cin[0][0] = prev_out[1433];
temp_cin[0][1] = out[1433];
temp_cin[1][0] = prev_out[1432];
temp_cin[1][1] = out[1432];
temp_cout[0][0] = prev_out[1714];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1714] = *(cout_ptr[0]);
(*sym)++;
break;
case 1715:
temp_cin[0][0] = prev_out[1435];
temp_cin[0][1] = out[1435];
temp_cin[1][0] = prev_out[1434];
temp_cin[1][1] = out[1434];
temp_cout[0][0] = prev_out[1715];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1715] = *(cout_ptr[0]);
(*sym)++;
break;
case 1716:
temp_cin[0][0] = prev_out[1714];
temp_cin[0][1] = out[1714];
temp_cout[0][0] = prev_out[1716];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1716] = *(cout_ptr[0]);
(*sym)++;
break;
case 1717:
temp_cin[0][0] = prev_out[1437];
temp_cin[0][1] = out[1437];
temp_cin[1][0] = prev_out[1436];
temp_cin[1][1] = out[1436];
temp_cout[0][0] = prev_out[1717];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1717] = *(cout_ptr[0]);
(*sym)++;
break;
case 1718:
temp_cin[0][0] = prev_out[1715];
temp_cin[0][1] = out[1715];
temp_cout[0][0] = prev_out[1718];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1718] = *(cout_ptr[0]);
(*sym)++;
break;
case 1719:
temp_cin[0][0] = prev_out[1714];
temp_cin[0][1] = out[1714];
temp_cout[0][0] = prev_out[1719];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1719] = *(cout_ptr[0]);
(*sym)++;
break;
case 1720:
temp_cin[0][0] = prev_out[1717];
temp_cin[0][1] = out[1717];
temp_cout[0][0] = prev_out[1720];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1720] = *(cout_ptr[0]);
(*sym)++;
break;
case 1721:
temp_cin[0][0] = prev_out[1438];
temp_cin[0][1] = out[1438];
temp_cout[0][0] = prev_out[1721];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1721] = *(cout_ptr[0]);
(*sym)++;
break;
case 1722:
temp_cin[0][0] = prev_out[1440];
temp_cin[0][1] = out[1440];
temp_cin[1][0] = prev_out[1439];
temp_cin[1][1] = out[1439];
temp_cout[0][0] = prev_out[1722];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1722] = *(cout_ptr[0]);
(*sym)++;
break;
case 1723:
temp_cin[0][0] = prev_out[1722];
temp_cin[0][1] = out[1722];
temp_cout[0][0] = prev_out[1723];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1723] = *(cout_ptr[0]);
(*sym)++;
break;
case 1724:
temp_cin[0][0] = prev_out[1442];
temp_cin[0][1] = out[1442];
temp_cin[1][0] = prev_out[1441];
temp_cin[1][1] = out[1441];
temp_cout[0][0] = prev_out[1724];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1724] = *(cout_ptr[0]);
(*sym)++;
break;
case 1725:
temp_cin[0][0] = prev_out[1444];
temp_cin[0][1] = out[1444];
temp_cin[1][0] = prev_out[1443];
temp_cin[1][1] = out[1443];
temp_cout[0][0] = prev_out[1725];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1725] = *(cout_ptr[0]);
(*sym)++;
break;
case 1726:
temp_cin[0][0] = prev_out[1724];
temp_cin[0][1] = out[1724];
temp_cout[0][0] = prev_out[1726];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1726] = *(cout_ptr[0]);
(*sym)++;
break;
case 1727:
temp_cin[0][0] = prev_out[1446];
temp_cin[0][1] = out[1446];
temp_cin[1][0] = prev_out[1445];
temp_cin[1][1] = out[1445];
temp_cout[0][0] = prev_out[1727];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1727] = *(cout_ptr[0]);
(*sym)++;
break;
case 1728:
temp_cin[0][0] = prev_out[1725];
temp_cin[0][1] = out[1725];
temp_cout[0][0] = prev_out[1728];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1728] = *(cout_ptr[0]);
(*sym)++;
break;
case 1729:
temp_cin[0][0] = prev_out[1724];
temp_cin[0][1] = out[1724];
temp_cout[0][0] = prev_out[1729];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1729] = *(cout_ptr[0]);
(*sym)++;
break;
case 1730:
temp_cin[0][0] = prev_out[1727];
temp_cin[0][1] = out[1727];
temp_cout[0][0] = prev_out[1730];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1730] = *(cout_ptr[0]);
(*sym)++;
break;
case 1731:
temp_cin[0][0] = prev_out[1447];
temp_cin[0][1] = out[1447];
temp_cout[0][0] = prev_out[1731];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1731] = *(cout_ptr[0]);
(*sym)++;
break;
case 1732:
temp_cin[0][0] = prev_out[1449];
temp_cin[0][1] = out[1449];
temp_cin[1][0] = prev_out[1448];
temp_cin[1][1] = out[1448];
temp_cout[0][0] = prev_out[1732];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1732] = *(cout_ptr[0]);
(*sym)++;
break;
case 1733:
temp_cin[0][0] = prev_out[1732];
temp_cin[0][1] = out[1732];
temp_cout[0][0] = prev_out[1733];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1733] = *(cout_ptr[0]);
(*sym)++;
break;
case 1734:
temp_cin[0][0] = prev_out[1451];
temp_cin[0][1] = out[1451];
temp_cin[1][0] = prev_out[1450];
temp_cin[1][1] = out[1450];
temp_cout[0][0] = prev_out[1734];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1734] = *(cout_ptr[0]);
(*sym)++;
break;
case 1735:
temp_cin[0][0] = prev_out[1453];
temp_cin[0][1] = out[1453];
temp_cin[1][0] = prev_out[1452];
temp_cin[1][1] = out[1452];
temp_cout[0][0] = prev_out[1735];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1735] = *(cout_ptr[0]);
(*sym)++;
break;
case 1736:
temp_cin[0][0] = prev_out[1734];
temp_cin[0][1] = out[1734];
temp_cout[0][0] = prev_out[1736];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1736] = *(cout_ptr[0]);
(*sym)++;
break;
case 1737:
temp_cin[0][0] = prev_out[1455];
temp_cin[0][1] = out[1455];
temp_cin[1][0] = prev_out[1454];
temp_cin[1][1] = out[1454];
temp_cout[0][0] = prev_out[1737];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1737] = *(cout_ptr[0]);
(*sym)++;
break;
case 1738:
temp_cin[0][0] = prev_out[1735];
temp_cin[0][1] = out[1735];
temp_cout[0][0] = prev_out[1738];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1738] = *(cout_ptr[0]);
(*sym)++;
break;
case 1739:
temp_cin[0][0] = prev_out[1734];
temp_cin[0][1] = out[1734];
temp_cout[0][0] = prev_out[1739];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1739] = *(cout_ptr[0]);
(*sym)++;
break;
case 1740:
temp_cin[0][0] = prev_out[1737];
temp_cin[0][1] = out[1737];
temp_cout[0][0] = prev_out[1740];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1740] = *(cout_ptr[0]);
(*sym)++;
break;
case 1741:
temp_cin[0][0] = prev_out[1456];
temp_cin[0][1] = out[1456];
temp_cout[0][0] = prev_out[1741];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1741] = *(cout_ptr[0]);
(*sym)++;
break;
case 1742:
temp_cin[0][0] = prev_out[1458];
temp_cin[0][1] = out[1458];
temp_cin[1][0] = prev_out[1457];
temp_cin[1][1] = out[1457];
temp_cout[0][0] = prev_out[1742];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1742] = *(cout_ptr[0]);
(*sym)++;
break;
case 1743:
temp_cin[0][0] = prev_out[1742];
temp_cin[0][1] = out[1742];
temp_cout[0][0] = prev_out[1743];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1743] = *(cout_ptr[0]);
(*sym)++;
break;
case 1744:
temp_cin[0][0] = prev_out[1460];
temp_cin[0][1] = out[1460];
temp_cin[1][0] = prev_out[1459];
temp_cin[1][1] = out[1459];
temp_cout[0][0] = prev_out[1744];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1744] = *(cout_ptr[0]);
(*sym)++;
break;
case 1745:
temp_cin[0][0] = prev_out[1462];
temp_cin[0][1] = out[1462];
temp_cin[1][0] = prev_out[1461];
temp_cin[1][1] = out[1461];
temp_cout[0][0] = prev_out[1745];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1745] = *(cout_ptr[0]);
(*sym)++;
break;
case 1746:
temp_cin[0][0] = prev_out[1744];
temp_cin[0][1] = out[1744];
temp_cout[0][0] = prev_out[1746];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1746] = *(cout_ptr[0]);
(*sym)++;
break;
case 1747:
temp_cin[0][0] = prev_out[1464];
temp_cin[0][1] = out[1464];
temp_cin[1][0] = prev_out[1463];
temp_cin[1][1] = out[1463];
temp_cout[0][0] = prev_out[1747];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1747] = *(cout_ptr[0]);
(*sym)++;
break;
case 1748:
temp_cin[0][0] = prev_out[1745];
temp_cin[0][1] = out[1745];
temp_cout[0][0] = prev_out[1748];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1748] = *(cout_ptr[0]);
(*sym)++;
break;
case 1749:
temp_cin[0][0] = prev_out[1744];
temp_cin[0][1] = out[1744];
temp_cout[0][0] = prev_out[1749];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1749] = *(cout_ptr[0]);
(*sym)++;
break;
case 1750:
temp_cin[0][0] = prev_out[1747];
temp_cin[0][1] = out[1747];
temp_cout[0][0] = prev_out[1750];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1750] = *(cout_ptr[0]);
(*sym)++;
break;
case 1751:
temp_cin[0][0] = prev_out[1465];
temp_cin[0][1] = out[1465];
temp_cout[0][0] = prev_out[1751];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1751] = *(cout_ptr[0]);
(*sym)++;
break;
case 1752:
temp_cin[0][0] = prev_out[1467];
temp_cin[0][1] = out[1467];
temp_cin[1][0] = prev_out[1466];
temp_cin[1][1] = out[1466];
temp_cout[0][0] = prev_out[1752];
or_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1752] = *(cout_ptr[0]);
(*sym)++;
break;
case 1753:
temp_cin[0][0] = prev_out[1752];
temp_cin[0][1] = out[1752];
temp_cout[0][0] = prev_out[1753];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1753] = *(cout_ptr[0]);
(*sym)++;
break;
case 1754:
temp_cin[0][0] = prev_out[1469];
temp_cin[0][1] = out[1469];
temp_cin[1][0] = prev_out[1468];
temp_cin[1][1] = out[1468];
temp_cout[0][0] = prev_out[1754];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1754] = *(cout_ptr[0]);
(*sym)++;
break;
case 1755:
temp_cin[0][0] = prev_out[1471];
temp_cin[0][1] = out[1471];
temp_cin[1][0] = prev_out[1470];
temp_cin[1][1] = out[1470];
temp_cout[0][0] = prev_out[1755];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1755] = *(cout_ptr[0]);
(*sym)++;
break;
case 1756:
temp_cin[0][0] = prev_out[1754];
temp_cin[0][1] = out[1754];
temp_cout[0][0] = prev_out[1756];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1756] = *(cout_ptr[0]);
(*sym)++;
break;
case 1757:
temp_cin[0][0] = prev_out[1473];
temp_cin[0][1] = out[1473];
temp_cin[1][0] = prev_out[1472];
temp_cin[1][1] = out[1472];
temp_cout[0][0] = prev_out[1757];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1757] = *(cout_ptr[0]);
(*sym)++;
break;
case 1758:
temp_cin[0][0] = prev_out[1755];
temp_cin[0][1] = out[1755];
temp_cout[0][0] = prev_out[1758];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1758] = *(cout_ptr[0]);
(*sym)++;
break;
case 1759:
temp_cin[0][0] = prev_out[1754];
temp_cin[0][1] = out[1754];
temp_cout[0][0] = prev_out[1759];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1759] = *(cout_ptr[0]);
(*sym)++;
break;
case 1760:
temp_cin[0][0] = prev_out[1757];
temp_cin[0][1] = out[1757];
temp_cout[0][0] = prev_out[1760];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1760] = *(cout_ptr[0]);
(*sym)++;
break;
case 1761:
temp_cin[0][0] = prev_out[1474];
temp_cin[0][1] = out[1474];
temp_cout[0][0] = prev_out[1761];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1761] = *(cout_ptr[0]);
(*sym)++;
break;
case 1762:
temp_cin[0][0] = prev_out[1476];
temp_cin[0][1] = out[1476];
temp_cin[1][0] = prev_out[1475];
temp_cin[1][1] = out[1475];
temp_cout[0][0] = prev_out[1762];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1762] = *(cout_ptr[0]);
(*sym)++;
break;
case 1763:
temp_cin[0][0] = prev_out[1762];
temp_cin[0][1] = out[1762];
temp_cout[0][0] = prev_out[1763];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1763] = *(cout_ptr[0]);
(*sym)++;
break;
case 1764:
temp_cin[0][0] = prev_out[1478];
temp_cin[0][1] = out[1478];
temp_cin[1][0] = prev_out[1477];
temp_cin[1][1] = out[1477];
temp_cout[0][0] = prev_out[1764];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1764] = *(cout_ptr[0]);
(*sym)++;
break;
case 1765:
temp_cin[0][0] = prev_out[1480];
temp_cin[0][1] = out[1480];
temp_cin[1][0] = prev_out[1479];
temp_cin[1][1] = out[1479];
temp_cout[0][0] = prev_out[1765];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1765] = *(cout_ptr[0]);
(*sym)++;
break;
case 1766:
temp_cin[0][0] = prev_out[1764];
temp_cin[0][1] = out[1764];
temp_cout[0][0] = prev_out[1766];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1766] = *(cout_ptr[0]);
(*sym)++;
break;
case 1767:
temp_cin[0][0] = prev_out[1482];
temp_cin[0][1] = out[1482];
temp_cin[1][0] = prev_out[1481];
temp_cin[1][1] = out[1481];
temp_cout[0][0] = prev_out[1767];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1767] = *(cout_ptr[0]);
(*sym)++;
break;
case 1768:
temp_cin[0][0] = prev_out[1765];
temp_cin[0][1] = out[1765];
temp_cout[0][0] = prev_out[1768];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1768] = *(cout_ptr[0]);
(*sym)++;
break;
case 1769:
temp_cin[0][0] = prev_out[1764];
temp_cin[0][1] = out[1764];
temp_cout[0][0] = prev_out[1769];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1769] = *(cout_ptr[0]);
(*sym)++;
break;
case 1770:
temp_cin[0][0] = prev_out[1767];
temp_cin[0][1] = out[1767];
temp_cout[0][0] = prev_out[1770];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1770] = *(cout_ptr[0]);
(*sym)++;
break;
case 1771:
temp_cin[0][0] = prev_out[1483];
temp_cin[0][1] = out[1483];
temp_cout[0][0] = prev_out[1771];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1771] = *(cout_ptr[0]);
(*sym)++;
break;
case 1772:
temp_cin[0][0] = prev_out[1485];
temp_cin[0][1] = out[1485];
temp_cin[1][0] = prev_out[1484];
temp_cin[1][1] = out[1484];
temp_cout[0][0] = prev_out[1772];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1772] = *(cout_ptr[0]);
(*sym)++;
break;
case 1773:
temp_cin[0][0] = prev_out[1772];
temp_cin[0][1] = out[1772];
temp_cout[0][0] = prev_out[1773];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1773] = *(cout_ptr[0]);
(*sym)++;
break;
case 1774:
temp_cin[0][0] = prev_out[1487];
temp_cin[0][1] = out[1487];
temp_cin[1][0] = prev_out[1486];
temp_cin[1][1] = out[1486];
temp_cout[0][0] = prev_out[1774];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1774] = *(cout_ptr[0]);
(*sym)++;
break;
case 1775:
temp_cin[0][0] = prev_out[1489];
temp_cin[0][1] = out[1489];
temp_cin[1][0] = prev_out[1488];
temp_cin[1][1] = out[1488];
temp_cout[0][0] = prev_out[1775];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1775] = *(cout_ptr[0]);
(*sym)++;
break;
case 1776:
temp_cin[0][0] = prev_out[1774];
temp_cin[0][1] = out[1774];
temp_cout[0][0] = prev_out[1776];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1776] = *(cout_ptr[0]);
(*sym)++;
break;
case 1777:
temp_cin[0][0] = prev_out[1491];
temp_cin[0][1] = out[1491];
temp_cin[1][0] = prev_out[1490];
temp_cin[1][1] = out[1490];
temp_cout[0][0] = prev_out[1777];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1777] = *(cout_ptr[0]);
(*sym)++;
break;
case 1778:
temp_cin[0][0] = prev_out[1775];
temp_cin[0][1] = out[1775];
temp_cout[0][0] = prev_out[1778];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1778] = *(cout_ptr[0]);
(*sym)++;
break;
case 1779:
temp_cin[0][0] = prev_out[1774];
temp_cin[0][1] = out[1774];
temp_cout[0][0] = prev_out[1779];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1779] = *(cout_ptr[0]);
(*sym)++;
break;
case 1780:
temp_cin[0][0] = prev_out[1777];
temp_cin[0][1] = out[1777];
temp_cout[0][0] = prev_out[1780];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1780] = *(cout_ptr[0]);
(*sym)++;
break;
case 1781:
temp_cin[0][0] = prev_out[1492];
temp_cin[0][1] = out[1492];
temp_cout[0][0] = prev_out[1781];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1781] = *(cout_ptr[0]);
(*sym)++;
break;
case 1782:
temp_cin[0][0] = prev_out[1494];
temp_cin[0][1] = out[1494];
temp_cin[1][0] = prev_out[1493];
temp_cin[1][1] = out[1493];
temp_cout[0][0] = prev_out[1782];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1782] = *(cout_ptr[0]);
(*sym)++;
break;
case 1783:
temp_cin[0][0] = prev_out[1782];
temp_cin[0][1] = out[1782];
temp_cout[0][0] = prev_out[1783];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1783] = *(cout_ptr[0]);
(*sym)++;
break;
case 1784:
temp_cin[0][0] = prev_out[1496];
temp_cin[0][1] = out[1496];
temp_cin[1][0] = prev_out[1495];
temp_cin[1][1] = out[1495];
temp_cout[0][0] = prev_out[1784];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1784] = *(cout_ptr[0]);
(*sym)++;
break;
case 1785:
temp_cin[0][0] = prev_out[1498];
temp_cin[0][1] = out[1498];
temp_cin[1][0] = prev_out[1497];
temp_cin[1][1] = out[1497];
temp_cout[0][0] = prev_out[1785];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1785] = *(cout_ptr[0]);
(*sym)++;
break;
case 1786:
temp_cin[0][0] = prev_out[1784];
temp_cin[0][1] = out[1784];
temp_cout[0][0] = prev_out[1786];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1786] = *(cout_ptr[0]);
(*sym)++;
break;
case 1787:
temp_cin[0][0] = prev_out[1500];
temp_cin[0][1] = out[1500];
temp_cin[1][0] = prev_out[1499];
temp_cin[1][1] = out[1499];
temp_cout[0][0] = prev_out[1787];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1787] = *(cout_ptr[0]);
(*sym)++;
break;
case 1788:
temp_cin[0][0] = prev_out[1785];
temp_cin[0][1] = out[1785];
temp_cout[0][0] = prev_out[1788];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1788] = *(cout_ptr[0]);
(*sym)++;
break;
case 1789:
temp_cin[0][0] = prev_out[1784];
temp_cin[0][1] = out[1784];
temp_cout[0][0] = prev_out[1789];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1789] = *(cout_ptr[0]);
(*sym)++;
break;
case 1790:
temp_cin[0][0] = prev_out[1787];
temp_cin[0][1] = out[1787];
temp_cout[0][0] = prev_out[1790];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1790] = *(cout_ptr[0]);
(*sym)++;
break;
case 1791:
temp_cin[0][0] = prev_out[1501];
temp_cin[0][1] = out[1501];
temp_cout[0][0] = prev_out[1791];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1791] = *(cout_ptr[0]);
(*sym)++;
break;
case 1792:
temp_cin[0][0] = prev_out[1502];
temp_cin[0][1] = out[1502];
temp_cin[1][0] = prev_out[26];
temp_cin[1][1] = out[26];
temp_cout[0][0] = prev_out[1792];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1792] = *(cout_ptr[0]);
(*sym)++;
break;
case 1793:
temp_cin[0][0] = prev_out[1792];
temp_cin[0][1] = out[1792];
temp_cout[0][0] = prev_out[1793];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1793] = *(cout_ptr[0]);
(*sym)++;
break;
case 1794:
temp_cin[0][0] = prev_out[1504];
temp_cin[0][1] = out[1504];
temp_cin[1][0] = prev_out[1503];
temp_cin[1][1] = out[1503];
temp_cout[0][0] = prev_out[1794];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1794] = *(cout_ptr[0]);
(*sym)++;
break;
case 1795:
temp_cin[0][0] = prev_out[1506];
temp_cin[0][1] = out[1506];
temp_cin[1][0] = prev_out[1505];
temp_cin[1][1] = out[1505];
temp_cout[0][0] = prev_out[1795];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1795] = *(cout_ptr[0]);
(*sym)++;
break;
case 1796:
temp_cin[0][0] = prev_out[1794];
temp_cin[0][1] = out[1794];
temp_cout[0][0] = prev_out[1796];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1796] = *(cout_ptr[0]);
(*sym)++;
break;
case 1797:
temp_cin[0][0] = prev_out[1508];
temp_cin[0][1] = out[1508];
temp_cin[1][0] = prev_out[1507];
temp_cin[1][1] = out[1507];
temp_cout[0][0] = prev_out[1797];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1797] = *(cout_ptr[0]);
(*sym)++;
break;
case 1798:
temp_cin[0][0] = prev_out[1795];
temp_cin[0][1] = out[1795];
temp_cout[0][0] = prev_out[1798];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1798] = *(cout_ptr[0]);
(*sym)++;
break;
case 1799:
temp_cin[0][0] = prev_out[1794];
temp_cin[0][1] = out[1794];
temp_cout[0][0] = prev_out[1799];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1799] = *(cout_ptr[0]);
(*sym)++;
break;
case 1800:
temp_cin[0][0] = prev_out[1797];
temp_cin[0][1] = out[1797];
temp_cout[0][0] = prev_out[1800];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1800] = *(cout_ptr[0]);
(*sym)++;
break;
case 1801:
temp_cin[0][0] = prev_out[78];
temp_cin[0][1] = out[78];
temp_cin[1][0] = prev_out[1509];
temp_cin[1][1] = out[1509];
temp_cout[0][0] = prev_out[1801];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1801] = *(cout_ptr[0]);
(*sym)++;
break;
case 1802:
temp_cin[0][0] = prev_out[45];
temp_cin[0][1] = out[45];
temp_cin[1][0] = prev_out[1510];
temp_cin[1][1] = out[1510];
temp_cout[0][0] = prev_out[1802];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1802] = *(cout_ptr[0]);
(*sym)++;
break;
case 1803:
temp_cin[0][0] = prev_out[630];
temp_cin[0][1] = out[630];
temp_cin[1][0] = prev_out[1511];
temp_cin[1][1] = out[1511];
temp_cout[0][0] = prev_out[1803];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1803] = *(cout_ptr[0]);
(*sym)++;
break;
case 1804:
temp_cin[0][0] = prev_out[578];
temp_cin[0][1] = out[578];
temp_cin[1][0] = prev_out[1512];
temp_cin[1][1] = out[1512];
temp_cout[0][0] = prev_out[1804];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1804] = *(cout_ptr[0]);
(*sym)++;
break;
case 1805:
temp_cin[0][0] = prev_out[81];
temp_cin[0][1] = out[81];
temp_cin[1][0] = prev_out[1513];
temp_cin[1][1] = out[1513];
temp_cout[0][0] = prev_out[1805];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1805] = *(cout_ptr[0]);
(*sym)++;
break;
case 1806:
temp_cin[0][0] = prev_out[46];
temp_cin[0][1] = out[46];
temp_cin[1][0] = prev_out[1514];
temp_cin[1][1] = out[1514];
temp_cout[0][0] = prev_out[1806];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1806] = *(cout_ptr[0]);
(*sym)++;
break;
case 1807:
temp_cin[0][0] = prev_out[75];
temp_cin[0][1] = out[75];
temp_cin[1][0] = prev_out[1515];
temp_cin[1][1] = out[1515];
temp_cout[0][0] = prev_out[1807];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1807] = *(cout_ptr[0]);
(*sym)++;
break;
case 1808:
temp_cin[0][0] = prev_out[44];
temp_cin[0][1] = out[44];
temp_cin[1][0] = prev_out[1516];
temp_cin[1][1] = out[1516];
temp_cout[0][0] = prev_out[1808];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1808] = *(cout_ptr[0]);
(*sym)++;
break;
case 1809:
temp_cin[0][0] = prev_out[208];
temp_cin[0][1] = out[208];
temp_cin[1][0] = prev_out[1517];
temp_cin[1][1] = out[1517];
temp_cout[0][0] = prev_out[1809];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1809] = *(cout_ptr[0]);
(*sym)++;
break;
case 1810:
temp_cin[0][0] = prev_out[174];
temp_cin[0][1] = out[174];
temp_cin[1][0] = prev_out[1518];
temp_cin[1][1] = out[1518];
temp_cout[0][0] = prev_out[1810];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1810] = *(cout_ptr[0]);
(*sym)++;
break;
case 1811:
temp_cin[0][0] = prev_out[1520];
temp_cin[0][1] = out[1520];
temp_cin[1][0] = prev_out[1519];
temp_cin[1][1] = out[1519];
temp_cout[0][0] = prev_out[1811];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1811] = *(cout_ptr[0]);
(*sym)++;
break;
case 1812:
temp_cin[0][0] = prev_out[1522];
temp_cin[0][1] = out[1522];
temp_cin[1][0] = prev_out[1524];
temp_cin[1][1] = out[1524];
temp_cin[2][0] = prev_out[1528];
temp_cin[2][1] = out[1528];
temp_cin[3][0] = prev_out[1521];
temp_cin[3][1] = out[1521];
temp_cin[4][0] = prev_out[1526];
temp_cin[4][1] = out[1526];
temp_cout[0][0] = prev_out[1812];
and_5_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1812] = *(cout_ptr[0]);
(*sym)++;
break;
case 1813:
temp_cin[0][0] = prev_out[1524];
temp_cin[0][1] = out[1524];
temp_cin[1][0] = prev_out[1528];
temp_cin[1][1] = out[1528];
temp_cin[2][0] = prev_out[1523];
temp_cin[2][1] = out[1523];
temp_cin[3][0] = prev_out[1526];
temp_cin[3][1] = out[1526];
temp_cout[0][0] = prev_out[1813];
and_4_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1813] = *(cout_ptr[0]);
(*sym)++;
break;
case 1814:
temp_cin[0][0] = prev_out[1526];
temp_cin[0][1] = out[1526];
temp_cin[1][0] = prev_out[1528];
temp_cin[1][1] = out[1528];
temp_cin[2][0] = prev_out[1525];
temp_cin[2][1] = out[1525];
temp_cout[0][0] = prev_out[1814];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1814] = *(cout_ptr[0]);
(*sym)++;
break;
case 1815:
temp_cin[0][0] = prev_out[1528];
temp_cin[0][1] = out[1528];
temp_cin[1][0] = prev_out[1527];
temp_cin[1][1] = out[1527];
temp_cout[0][0] = prev_out[1815];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1815] = *(cout_ptr[0]);
(*sym)++;
break;
case 1816:
temp_cin[0][0] = prev_out[605];
temp_cin[0][1] = out[605];
temp_cin[1][0] = prev_out[554];
temp_cin[1][1] = out[554];
temp_cout[0][0] = prev_out[1816];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1816] = *(cout_ptr[0]);
(*sym)++;
break;
case 1817:
temp_cin[0][0] = prev_out[199];
temp_cin[0][1] = out[199];
temp_cin[1][0] = prev_out[249];
temp_cin[1][1] = out[249];
temp_cout[0][0] = prev_out[1817];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1817] = *(cout_ptr[0]);
(*sym)++;
break;
case 1818:
temp_cin[0][0] = prev_out[1530];
temp_cin[0][1] = out[1530];
temp_cin[1][0] = prev_out[1529];
temp_cin[1][1] = out[1529];
temp_cout[0][0] = prev_out[1818];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1818] = *(cout_ptr[0]);
(*sym)++;
break;
case 1819:
temp_cin[0][0] = prev_out[246];
temp_cin[0][1] = out[246];
temp_cin[1][0] = prev_out[198];
temp_cin[1][1] = out[198];
temp_cout[0][0] = prev_out[1819];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1819] = *(cout_ptr[0]);
(*sym)++;
break;
case 1820:
temp_cin[0][0] = prev_out[1532];
temp_cin[0][1] = out[1532];
temp_cin[1][0] = prev_out[1531];
temp_cin[1][1] = out[1531];
temp_cout[0][0] = prev_out[1820];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1820] = *(cout_ptr[0]);
(*sym)++;
break;
case 1821:
temp_cin[0][0] = prev_out[370];
temp_cin[0][1] = out[370];
temp_cin[1][0] = prev_out[310];
temp_cin[1][1] = out[310];
temp_cout[0][0] = prev_out[1821];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1821] = *(cout_ptr[0]);
(*sym)++;
break;
case 1822:
temp_cin[0][0] = prev_out[1534];
temp_cin[0][1] = out[1534];
temp_cin[1][0] = prev_out[1533];
temp_cin[1][1] = out[1533];
temp_cout[0][0] = prev_out[1822];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1822] = *(cout_ptr[0]);
(*sym)++;
break;
case 1823:
temp_cin[0][0] = prev_out[277];
temp_cin[0][1] = out[277];
temp_cin[1][0] = prev_out[1535];
temp_cin[1][1] = out[1535];
temp_cout[0][0] = prev_out[1823];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1823] = *(cout_ptr[0]);
(*sym)++;
break;
case 1824:
temp_cin[0][0] = prev_out[215];
temp_cin[0][1] = out[215];
temp_cin[1][0] = prev_out[1536];
temp_cin[1][1] = out[1536];
temp_cout[0][0] = prev_out[1824];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1824] = *(cout_ptr[0]);
(*sym)++;
break;
case 1825:
temp_cin[0][0] = prev_out[75];
temp_cin[0][1] = out[75];
temp_cin[1][0] = prev_out[44];
temp_cin[1][1] = out[44];
temp_cout[0][0] = prev_out[1825];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1825] = *(cout_ptr[0]);
(*sym)++;
break;
case 1826:
temp_cin[0][0] = prev_out[78];
temp_cin[0][1] = out[78];
temp_cin[1][0] = prev_out[45];
temp_cin[1][1] = out[45];
temp_cout[0][0] = prev_out[1826];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1826] = *(cout_ptr[0]);
(*sym)++;
break;
case 1827:
temp_cin[0][0] = prev_out[81];
temp_cin[0][1] = out[81];
temp_cin[1][0] = prev_out[46];
temp_cin[1][1] = out[46];
temp_cout[0][0] = prev_out[1827];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1827] = *(cout_ptr[0]);
(*sym)++;
break;
case 1828:
temp_cin[0][0] = prev_out[208];
temp_cin[0][1] = out[208];
temp_cin[1][0] = prev_out[174];
temp_cin[1][1] = out[174];
temp_cout[0][0] = prev_out[1828];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1828] = *(cout_ptr[0]);
(*sym)++;
break;
case 1829:
temp_cin[0][0] = prev_out[929];
temp_cin[0][1] = out[929];
temp_cin[1][0] = prev_out[1537];
temp_cin[1][1] = out[1537];
temp_cout[0][0] = prev_out[1829];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1829] = *(cout_ptr[0]);
(*sym)++;
break;
case 1830:
temp_cin[0][0] = prev_out[783];
temp_cin[0][1] = out[783];
temp_cin[1][0] = prev_out[1538];
temp_cin[1][1] = out[1538];
temp_cout[0][0] = prev_out[1830];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1830] = *(cout_ptr[0]);
(*sym)++;
break;
case 1831:
temp_cin[0][0] = prev_out[57];
temp_cin[0][1] = out[57];
temp_cin[1][0] = prev_out[1539];
temp_cin[1][1] = out[1539];
temp_cout[0][0] = prev_out[1831];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1831] = *(cout_ptr[0]);
(*sym)++;
break;
case 1832:
temp_cin[0][0] = prev_out[38];
temp_cin[0][1] = out[38];
temp_cin[1][0] = prev_out[1540];
temp_cin[1][1] = out[1540];
temp_cout[0][0] = prev_out[1832];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1832] = *(cout_ptr[0]);
(*sym)++;
break;
case 1833:
temp_cin[0][0] = prev_out[1542];
temp_cin[0][1] = out[1542];
temp_cin[1][0] = prev_out[1541];
temp_cin[1][1] = out[1541];
temp_cout[0][0] = prev_out[1833];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1833] = *(cout_ptr[0]);
(*sym)++;
break;
case 1834:
temp_cin[0][0] = prev_out[1544];
temp_cin[0][1] = out[1544];
temp_cin[1][0] = prev_out[1543];
temp_cin[1][1] = out[1543];
temp_cout[0][0] = prev_out[1834];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1834] = *(cout_ptr[0]);
(*sym)++;
break;
case 1835:
temp_cin[0][0] = prev_out[1546];
temp_cin[0][1] = out[1546];
temp_cin[1][0] = prev_out[1545];
temp_cin[1][1] = out[1545];
temp_cout[0][0] = prev_out[1835];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1835] = *(cout_ptr[0]);
(*sym)++;
break;
case 1836:
temp_cin[0][0] = prev_out[1548];
temp_cin[0][1] = out[1548];
temp_cin[1][0] = prev_out[1547];
temp_cin[1][1] = out[1547];
temp_cout[0][0] = prev_out[1836];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1836] = *(cout_ptr[0]);
(*sym)++;
break;
case 1837:
temp_cin[0][0] = prev_out[1550];
temp_cin[0][1] = out[1550];
temp_cin[1][0] = prev_out[1549];
temp_cin[1][1] = out[1549];
temp_cout[0][0] = prev_out[1837];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1837] = *(cout_ptr[0]);
(*sym)++;
break;
case 1838:
temp_cin[0][0] = prev_out[1552];
temp_cin[0][1] = out[1552];
temp_cin[1][0] = prev_out[1551];
temp_cin[1][1] = out[1551];
temp_cout[0][0] = prev_out[1838];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1838] = *(cout_ptr[0]);
(*sym)++;
break;
case 1839:
temp_cin[0][0] = prev_out[1554];
temp_cin[0][1] = out[1554];
temp_cin[1][0] = prev_out[1558];
temp_cin[1][1] = out[1558];
temp_cin[2][0] = prev_out[1553];
temp_cin[2][1] = out[1553];
temp_cin[3][0] = prev_out[1556];
temp_cin[3][1] = out[1556];
temp_cout[0][0] = prev_out[1839];
and_4_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1839] = *(cout_ptr[0]);
(*sym)++;
break;
case 1840:
temp_cin[0][0] = prev_out[1556];
temp_cin[0][1] = out[1556];
temp_cin[1][0] = prev_out[1558];
temp_cin[1][1] = out[1558];
temp_cin[2][0] = prev_out[1555];
temp_cin[2][1] = out[1555];
temp_cout[0][0] = prev_out[1840];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1840] = *(cout_ptr[0]);
(*sym)++;
break;
case 1841:
temp_cin[0][0] = prev_out[1558];
temp_cin[0][1] = out[1558];
temp_cin[1][0] = prev_out[1557];
temp_cin[1][1] = out[1557];
temp_cout[0][0] = prev_out[1841];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1841] = *(cout_ptr[0]);
(*sym)++;
break;
case 1842:
temp_cin[0][0] = prev_out[1059];
temp_cin[0][1] = out[1059];
temp_cin[1][0] = prev_out[943];
temp_cin[1][1] = out[943];
temp_cout[0][0] = prev_out[1842];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1842] = *(cout_ptr[0]);
(*sym)++;
break;
case 1843:
temp_cin[0][0] = prev_out[1221];
temp_cin[0][1] = out[1221];
temp_cin[1][0] = prev_out[1559];
temp_cin[1][1] = out[1559];
temp_cout[0][0] = prev_out[1843];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1843] = *(cout_ptr[0]);
(*sym)++;
break;
case 1844:
temp_cin[0][0] = prev_out[1171];
temp_cin[0][1] = out[1171];
temp_cin[1][0] = prev_out[1560];
temp_cin[1][1] = out[1560];
temp_cout[0][0] = prev_out[1844];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1844] = *(cout_ptr[0]);
(*sym)++;
break;
case 1845:
temp_cin[0][0] = prev_out[1216];
temp_cin[0][1] = out[1216];
temp_cin[1][0] = prev_out[1561];
temp_cin[1][1] = out[1561];
temp_cout[0][0] = prev_out[1845];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1845] = *(cout_ptr[0]);
(*sym)++;
break;
case 1846:
temp_cin[0][0] = prev_out[1166];
temp_cin[0][1] = out[1166];
temp_cin[1][0] = prev_out[1562];
temp_cin[1][1] = out[1562];
temp_cout[0][0] = prev_out[1846];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1846] = *(cout_ptr[0]);
(*sym)++;
break;
case 1847:
temp_cin[0][0] = prev_out[997];
temp_cin[0][1] = out[997];
temp_cin[1][0] = prev_out[1563];
temp_cin[1][1] = out[1563];
temp_cout[0][0] = prev_out[1847];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1847] = *(cout_ptr[0]);
(*sym)++;
break;
case 1848:
temp_cin[0][0] = prev_out[953];
temp_cin[0][1] = out[953];
temp_cin[1][0] = prev_out[1564];
temp_cin[1][1] = out[1564];
temp_cout[0][0] = prev_out[1848];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1848] = *(cout_ptr[0]);
(*sym)++;
break;
case 1849:
temp_cin[0][0] = prev_out[995];
temp_cin[0][1] = out[995];
temp_cin[1][0] = prev_out[1565];
temp_cin[1][1] = out[1565];
temp_cout[0][0] = prev_out[1849];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1849] = *(cout_ptr[0]);
(*sym)++;
break;
case 1850:
temp_cin[0][0] = prev_out[951];
temp_cin[0][1] = out[951];
temp_cin[1][0] = prev_out[1566];
temp_cin[1][1] = out[1566];
temp_cout[0][0] = prev_out[1850];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1850] = *(cout_ptr[0]);
(*sym)++;
break;
case 1851:
temp_cin[0][0] = prev_out[834];
temp_cin[0][1] = out[834];
temp_cin[1][0] = prev_out[1567];
temp_cin[1][1] = out[1567];
temp_cout[0][0] = prev_out[1851];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1851] = *(cout_ptr[0]);
(*sym)++;
break;
case 1852:
temp_cin[0][0] = prev_out[798];
temp_cin[0][1] = out[798];
temp_cin[1][0] = prev_out[1568];
temp_cin[1][1] = out[1568];
temp_cout[0][0] = prev_out[1852];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1852] = *(cout_ptr[0]);
(*sym)++;
break;
case 1853:
temp_cin[0][0] = prev_out[1837];
temp_cin[0][1] = out[1837];
temp_cin[1][0] = prev_out[1836];
temp_cin[1][1] = out[1836];
temp_cin[2][0] = prev_out[1834];
temp_cin[2][1] = out[1834];
temp_cin[3][0] = prev_out[1569];
temp_cin[3][1] = out[1569];
temp_cin[4][0] = prev_out[1835];
temp_cin[4][1] = out[1835];
temp_cout[0][0] = prev_out[1853];
and_5_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1853] = *(cout_ptr[0]);
(*sym)++;
break;
case 1854:
temp_cin[0][0] = prev_out[1836];
temp_cin[0][1] = out[1836];
temp_cin[1][0] = prev_out[1834];
temp_cin[1][1] = out[1834];
temp_cin[2][0] = prev_out[1570];
temp_cin[2][1] = out[1570];
temp_cin[3][0] = prev_out[1835];
temp_cin[3][1] = out[1835];
temp_cout[0][0] = prev_out[1854];
and_4_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1854] = *(cout_ptr[0]);
(*sym)++;
break;
case 1855:
temp_cin[0][0] = prev_out[1835];
temp_cin[0][1] = out[1835];
temp_cin[1][0] = prev_out[1834];
temp_cin[1][1] = out[1834];
temp_cin[2][0] = prev_out[1571];
temp_cin[2][1] = out[1571];
temp_cout[0][0] = prev_out[1855];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1855] = *(cout_ptr[0]);
(*sym)++;
break;
case 1856:
temp_cin[0][0] = prev_out[1834];
temp_cin[0][1] = out[1834];
temp_cin[1][0] = prev_out[1572];
temp_cin[1][1] = out[1572];
temp_cout[0][0] = prev_out[1856];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1856] = *(cout_ptr[0]);
(*sym)++;
break;
case 1857:
temp_cin[0][0] = prev_out[1205];
temp_cin[0][1] = out[1205];
temp_cin[1][0] = prev_out[1156];
temp_cin[1][1] = out[1156];
temp_cout[0][0] = prev_out[1857];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1857] = *(cout_ptr[0]);
(*sym)++;
break;
case 1858:
temp_cin[0][0] = prev_out[1574];
temp_cin[0][1] = out[1574];
temp_cin[1][0] = prev_out[1573];
temp_cin[1][1] = out[1573];
temp_cout[0][0] = prev_out[1858];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1858] = *(cout_ptr[0]);
(*sym)++;
break;
case 1859:
temp_cin[0][0] = prev_out[1231];
temp_cin[0][1] = out[1231];
temp_cin[1][0] = prev_out[1575];
temp_cin[1][1] = out[1575];
temp_cout[0][0] = prev_out[1859];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1859] = *(cout_ptr[0]);
(*sym)++;
break;
case 1860:
temp_cin[0][0] = prev_out[1181];
temp_cin[0][1] = out[1181];
temp_cin[1][0] = prev_out[1576];
temp_cin[1][1] = out[1576];
temp_cout[0][0] = prev_out[1860];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1860] = *(cout_ptr[0]);
(*sym)++;
break;
case 1861:
temp_cin[0][0] = prev_out[1009];
temp_cin[0][1] = out[1009];
temp_cin[1][0] = prev_out[1577];
temp_cin[1][1] = out[1577];
temp_cout[0][0] = prev_out[1861];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1861] = *(cout_ptr[0]);
(*sym)++;
break;
case 1862:
temp_cin[0][0] = prev_out[968];
temp_cin[0][1] = out[968];
temp_cin[1][0] = prev_out[1578];
temp_cin[1][1] = out[1578];
temp_cout[0][0] = prev_out[1862];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1862] = *(cout_ptr[0]);
(*sym)++;
break;
case 1863:
temp_cin[0][0] = prev_out[1237];
temp_cin[0][1] = out[1237];
temp_cin[1][0] = prev_out[1579];
temp_cin[1][1] = out[1579];
temp_cout[0][0] = prev_out[1863];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1863] = *(cout_ptr[0]);
(*sym)++;
break;
case 1864:
temp_cin[0][0] = prev_out[1187];
temp_cin[0][1] = out[1187];
temp_cin[1][0] = prev_out[1580];
temp_cin[1][1] = out[1580];
temp_cout[0][0] = prev_out[1864];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1864] = *(cout_ptr[0]);
(*sym)++;
break;
case 1865:
temp_cin[0][0] = prev_out[1015];
temp_cin[0][1] = out[1015];
temp_cin[1][0] = prev_out[1581];
temp_cin[1][1] = out[1581];
temp_cout[0][0] = prev_out[1865];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1865] = *(cout_ptr[0]);
(*sym)++;
break;
case 1866:
temp_cin[0][0] = prev_out[973];
temp_cin[0][1] = out[973];
temp_cin[1][0] = prev_out[1582];
temp_cin[1][1] = out[1582];
temp_cout[0][0] = prev_out[1866];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1866] = *(cout_ptr[0]);
(*sym)++;
break;
case 1867:
temp_cin[0][0] = prev_out[1234];
temp_cin[0][1] = out[1234];
temp_cin[1][0] = prev_out[1583];
temp_cin[1][1] = out[1583];
temp_cout[0][0] = prev_out[1867];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1867] = *(cout_ptr[0]);
(*sym)++;
break;
case 1868:
temp_cin[0][0] = prev_out[1184];
temp_cin[0][1] = out[1184];
temp_cin[1][0] = prev_out[1584];
temp_cin[1][1] = out[1584];
temp_cout[0][0] = prev_out[1868];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1868] = *(cout_ptr[0]);
(*sym)++;
break;
case 1869:
temp_cin[0][0] = prev_out[1586];
temp_cin[0][1] = out[1586];
temp_cin[1][0] = prev_out[1588];
temp_cin[1][1] = out[1588];
temp_cin[2][0] = prev_out[1592];
temp_cin[2][1] = out[1592];
temp_cin[3][0] = prev_out[1585];
temp_cin[3][1] = out[1585];
temp_cin[4][0] = prev_out[1590];
temp_cin[4][1] = out[1590];
temp_cout[0][0] = prev_out[1869];
and_5_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1869] = *(cout_ptr[0]);
(*sym)++;
break;
case 1870:
temp_cin[0][0] = prev_out[1588];
temp_cin[0][1] = out[1588];
temp_cin[1][0] = prev_out[1592];
temp_cin[1][1] = out[1592];
temp_cin[2][0] = prev_out[1587];
temp_cin[2][1] = out[1587];
temp_cin[3][0] = prev_out[1590];
temp_cin[3][1] = out[1590];
temp_cout[0][0] = prev_out[1870];
and_4_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1870] = *(cout_ptr[0]);
(*sym)++;
break;
case 1871:
temp_cin[0][0] = prev_out[1590];
temp_cin[0][1] = out[1590];
temp_cin[1][0] = prev_out[1592];
temp_cin[1][1] = out[1592];
temp_cin[2][0] = prev_out[1589];
temp_cin[2][1] = out[1589];
temp_cout[0][0] = prev_out[1871];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1871] = *(cout_ptr[0]);
(*sym)++;
break;
case 1872:
temp_cin[0][0] = prev_out[1592];
temp_cin[0][1] = out[1592];
temp_cin[1][0] = prev_out[1591];
temp_cin[1][1] = out[1591];
temp_cout[0][0] = prev_out[1872];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1872] = *(cout_ptr[0]);
(*sym)++;
break;
case 1873:
temp_cin[0][0] = prev_out[1071];
temp_cin[0][1] = out[1071];
temp_cin[1][0] = prev_out[957];
temp_cin[1][1] = out[957];
temp_cout[0][0] = prev_out[1873];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1873] = *(cout_ptr[0]);
(*sym)++;
break;
case 1874:
temp_cin[0][0] = prev_out[834];
temp_cin[0][1] = out[834];
temp_cin[1][0] = prev_out[798];
temp_cin[1][1] = out[798];
temp_cout[0][0] = prev_out[1874];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1874] = *(cout_ptr[0]);
(*sym)++;
break;
case 1875:
temp_cin[0][0] = prev_out[995];
temp_cin[0][1] = out[995];
temp_cin[1][0] = prev_out[951];
temp_cin[1][1] = out[951];
temp_cout[0][0] = prev_out[1875];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1875] = *(cout_ptr[0]);
(*sym)++;
break;
case 1876:
temp_cin[0][0] = prev_out[997];
temp_cin[0][1] = out[997];
temp_cin[1][0] = prev_out[953];
temp_cin[1][1] = out[953];
temp_cout[0][0] = prev_out[1876];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1876] = *(cout_ptr[0]);
(*sym)++;
break;
case 1877:
temp_cin[0][0] = prev_out[1234];
temp_cin[0][1] = out[1234];
temp_cin[1][0] = prev_out[1184];
temp_cin[1][1] = out[1184];
temp_cout[0][0] = prev_out[1877];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1877] = *(cout_ptr[0]);
(*sym)++;
break;
case 1878:
temp_cin[0][0] = prev_out[1015];
temp_cin[0][1] = out[1015];
temp_cin[1][0] = prev_out[973];
temp_cin[1][1] = out[973];
temp_cout[0][0] = prev_out[1878];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1878] = *(cout_ptr[0]);
(*sym)++;
break;
case 1879:
temp_cin[0][0] = prev_out[1237];
temp_cin[0][1] = out[1237];
temp_cin[1][0] = prev_out[1187];
temp_cin[1][1] = out[1187];
temp_cout[0][0] = prev_out[1879];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1879] = *(cout_ptr[0]);
(*sym)++;
break;
case 1880:
temp_cin[0][0] = prev_out[1009];
temp_cin[0][1] = out[1009];
temp_cin[1][0] = prev_out[968];
temp_cin[1][1] = out[968];
temp_cout[0][0] = prev_out[1880];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1880] = *(cout_ptr[0]);
(*sym)++;
break;
case 1881:
temp_cin[0][0] = prev_out[841];
temp_cin[0][1] = out[841];
temp_cin[1][0] = prev_out[1593];
temp_cin[1][1] = out[1593];
temp_cout[0][0] = prev_out[1881];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1881] = *(cout_ptr[0]);
(*sym)++;
break;
case 1882:
temp_cin[0][0] = prev_out[813];
temp_cin[0][1] = out[813];
temp_cin[1][0] = prev_out[1594];
temp_cin[1][1] = out[1594];
temp_cout[0][0] = prev_out[1882];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1882] = *(cout_ptr[0]);
(*sym)++;
break;
case 1883:
temp_cin[0][0] = prev_out[1004];
temp_cin[0][1] = out[1004];
temp_cin[1][0] = prev_out[1595];
temp_cin[1][1] = out[1595];
temp_cout[0][0] = prev_out[1883];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1883] = *(cout_ptr[0]);
(*sym)++;
break;
case 1884:
temp_cin[0][0] = prev_out[964];
temp_cin[0][1] = out[964];
temp_cin[1][0] = prev_out[1596];
temp_cin[1][1] = out[1596];
temp_cout[0][0] = prev_out[1884];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1884] = *(cout_ptr[0]);
(*sym)++;
break;
case 1885:
temp_cin[0][0] = prev_out[1006];
temp_cin[0][1] = out[1006];
temp_cin[1][0] = prev_out[1597];
temp_cin[1][1] = out[1597];
temp_cout[0][0] = prev_out[1885];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1885] = *(cout_ptr[0]);
(*sym)++;
break;
case 1886:
temp_cin[0][0] = prev_out[966];
temp_cin[0][1] = out[966];
temp_cin[1][0] = prev_out[1598];
temp_cin[1][1] = out[1598];
temp_cout[0][0] = prev_out[1886];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1886] = *(cout_ptr[0]);
(*sym)++;
break;
case 1887:
temp_cin[0][0] = prev_out[1228];
temp_cin[0][1] = out[1228];
temp_cin[1][0] = prev_out[1599];
temp_cin[1][1] = out[1599];
temp_cout[0][0] = prev_out[1887];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1887] = *(cout_ptr[0]);
(*sym)++;
break;
case 1888:
temp_cin[0][0] = prev_out[1178];
temp_cin[0][1] = out[1178];
temp_cin[1][0] = prev_out[1600];
temp_cin[1][1] = out[1600];
temp_cout[0][0] = prev_out[1888];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1888] = *(cout_ptr[0]);
(*sym)++;
break;
case 1889:
temp_cin[0][0] = in_params[166][-1];
temp_cin[0][1] = in_params[166][0];
temp_cout[0][0] = prev_out[1889];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1889] = *(cout_ptr[0]);
(*sym)++;
break;
case 1890:
temp_cin[0][0] = prev_out[280];
temp_cin[0][1] = out[280];
temp_cout[0][0] = prev_out[1890];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1890] = *(cout_ptr[0]);
(*sym)++;
break;
case 1891:
temp_cin[0][0] = prev_out[1602];
temp_cin[0][1] = out[1602];
temp_cin[1][0] = prev_out[1601];
temp_cin[1][1] = out[1601];
temp_cout[0][0] = prev_out[1891];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1891] = *(cout_ptr[0]);
(*sym)++;
break;
case 1892:
temp_cin[0][0] = prev_out[1891];
temp_cin[0][1] = out[1891];
temp_cout[0][0] = prev_out[1892];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1892] = *(cout_ptr[0]);
(*sym)++;
break;
case 1893:
temp_cin[0][0] = prev_out[1604];
temp_cin[0][1] = out[1604];
temp_cin[1][0] = prev_out[1603];
temp_cin[1][1] = out[1603];
temp_cout[0][0] = prev_out[1893];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1893] = *(cout_ptr[0]);
(*sym)++;
break;
case 1894:
temp_cin[0][0] = prev_out[280];
temp_cin[0][1] = out[280];
temp_cin[1][0] = prev_out[1605];
temp_cin[1][1] = out[1605];
temp_cout[0][0] = prev_out[1894];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1894] = *(cout_ptr[0]);
(*sym)++;
break;
case 1895:
temp_cin[0][0] = prev_out[1607];
temp_cin[0][1] = out[1607];
temp_cin[1][0] = prev_out[1606];
temp_cin[1][1] = out[1606];
temp_cout[0][0] = prev_out[1895];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1895] = *(cout_ptr[0]);
(*sym)++;
break;
case 1896:
temp_cin[0][0] = prev_out[900];
temp_cin[0][1] = out[900];
temp_cin[1][0] = prev_out[1608];
temp_cin[1][1] = out[1608];
temp_cout[0][0] = prev_out[1896];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1896] = *(cout_ptr[0]);
(*sym)++;
break;
case 1897:
temp_cin[0][0] = prev_out[1610];
temp_cin[0][1] = out[1610];
temp_cin[1][0] = prev_out[1609];
temp_cin[1][1] = out[1609];
temp_cout[0][0] = prev_out[1897];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1897] = *(cout_ptr[0]);
(*sym)++;
break;
case 1898:
temp_cin[0][0] = prev_out[900];
temp_cin[0][1] = out[900];
temp_cin[1][0] = prev_out[1611];
temp_cin[1][1] = out[1611];
temp_cout[0][0] = prev_out[1898];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1898] = *(cout_ptr[0]);
(*sym)++;
break;
case 1899:
temp_cin[0][0] = prev_out[296];
temp_cin[0][1] = out[296];
temp_cout[0][0] = prev_out[1899];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1899] = *(cout_ptr[0]);
(*sym)++;
break;
case 1900:
temp_cin[0][0] = prev_out[1613];
temp_cin[0][1] = out[1613];
temp_cin[1][0] = prev_out[1612];
temp_cin[1][1] = out[1612];
temp_cout[0][0] = prev_out[1900];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1900] = *(cout_ptr[0]);
(*sym)++;
break;
case 1901:
temp_cin[0][0] = prev_out[1900];
temp_cin[0][1] = out[1900];
temp_cout[0][0] = prev_out[1901];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1901] = *(cout_ptr[0]);
(*sym)++;
break;
case 1902:
temp_cin[0][0] = prev_out[1615];
temp_cin[0][1] = out[1615];
temp_cin[1][0] = prev_out[1614];
temp_cin[1][1] = out[1614];
temp_cout[0][0] = prev_out[1902];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1902] = *(cout_ptr[0]);
(*sym)++;
break;
case 1903:
temp_cin[0][0] = prev_out[1902];
temp_cin[0][1] = out[1902];
temp_cout[0][0] = prev_out[1903];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1903] = *(cout_ptr[0]);
(*sym)++;
break;
case 1904:
temp_cin[0][0] = prev_out[1617];
temp_cin[0][1] = out[1617];
temp_cin[1][0] = prev_out[1616];
temp_cin[1][1] = out[1616];
temp_cout[0][0] = prev_out[1904];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1904] = *(cout_ptr[0]);
(*sym)++;
break;
case 1905:
temp_cin[0][0] = prev_out[1619];
temp_cin[0][1] = out[1619];
temp_cin[1][0] = prev_out[1618];
temp_cin[1][1] = out[1618];
temp_cout[0][0] = prev_out[1905];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1905] = *(cout_ptr[0]);
(*sym)++;
break;
case 1906:
temp_cin[0][0] = prev_out[296];
temp_cin[0][1] = out[296];
temp_cin[1][0] = prev_out[1620];
temp_cin[1][1] = out[1620];
temp_cout[0][0] = prev_out[1906];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1906] = *(cout_ptr[0]);
(*sym)++;
break;
case 1907:
temp_cin[0][0] = prev_out[120];
temp_cin[0][1] = out[120];
temp_cin[1][0] = prev_out[122];
temp_cin[1][1] = out[122];
temp_cin[2][0] = prev_out[124];
temp_cin[2][1] = out[124];
temp_cin[3][0] = prev_out[296];
temp_cin[3][1] = out[296];
temp_cin[4][0] = prev_out[745];
temp_cin[4][1] = out[745];
temp_cout[0][0] = prev_out[1907];
and_5_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1907] = *(cout_ptr[0]);
(*sym)++;
break;
case 1908:
temp_cin[0][0] = prev_out[1622];
temp_cin[0][1] = out[1622];
temp_cin[1][0] = prev_out[1621];
temp_cin[1][1] = out[1621];
temp_cout[0][0] = prev_out[1908];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1908] = *(cout_ptr[0]);
(*sym)++;
break;
case 1909:
temp_cin[0][0] = prev_out[1352];
temp_cin[0][1] = out[1352];
temp_cin[1][0] = prev_out[1623];
temp_cin[1][1] = out[1623];
temp_cout[0][0] = prev_out[1909];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1909] = *(cout_ptr[0]);
(*sym)++;
break;
case 1910:
temp_cin[0][0] = prev_out[1625];
temp_cin[0][1] = out[1625];
temp_cin[1][0] = prev_out[1624];
temp_cin[1][1] = out[1624];
temp_cout[0][0] = prev_out[1910];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1910] = *(cout_ptr[0]);
(*sym)++;
break;
case 1911:
temp_cin[0][0] = prev_out[1352];
temp_cin[0][1] = out[1352];
temp_cin[1][0] = prev_out[1626];
temp_cin[1][1] = out[1626];
temp_cout[0][0] = prev_out[1911];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1911] = *(cout_ptr[0]);
(*sym)++;
break;
case 1912:
temp_cin[0][0] = prev_out[312];
temp_cin[0][1] = out[312];
temp_cout[0][0] = prev_out[1912];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1912] = *(cout_ptr[0]);
(*sym)++;
break;
case 1913:
temp_cin[0][0] = prev_out[1628];
temp_cin[0][1] = out[1628];
temp_cin[1][0] = prev_out[1627];
temp_cin[1][1] = out[1627];
temp_cout[0][0] = prev_out[1913];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1913] = *(cout_ptr[0]);
(*sym)++;
break;
case 1914:
temp_cin[0][0] = prev_out[1913];
temp_cin[0][1] = out[1913];
temp_cout[0][0] = prev_out[1914];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1914] = *(cout_ptr[0]);
(*sym)++;
break;
case 1915:
temp_cin[0][0] = prev_out[1633];
temp_cin[0][1] = out[1633];
temp_cin[1][0] = prev_out[1629];
temp_cin[1][1] = out[1629];
temp_cout[0][0] = prev_out[1915];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1915] = *(cout_ptr[0]);
(*sym)++;
break;
case 1916:
temp_cin[0][0] = prev_out[1631];
temp_cin[0][1] = out[1631];
temp_cin[1][0] = prev_out[1630];
temp_cin[1][1] = out[1630];
temp_cout[0][0] = prev_out[1916];
or_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1916] = *(cout_ptr[0]);
(*sym)++;
break;
case 1917:
temp_cin[0][0] = prev_out[1633];
temp_cin[0][1] = out[1633];
temp_cin[1][0] = prev_out[1632];
temp_cin[1][1] = out[1632];
temp_cout[0][0] = prev_out[1917];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1917] = *(cout_ptr[0]);
(*sym)++;
break;
case 1918:
temp_cin[0][0] = prev_out[1637];
temp_cin[0][1] = out[1637];
temp_cin[1][0] = prev_out[1636];
temp_cin[1][1] = out[1636];
temp_cin[2][0] = prev_out[1635];
temp_cin[2][1] = out[1635];
temp_cin[3][0] = prev_out[1634];
temp_cin[3][1] = out[1634];
temp_cout[0][0] = prev_out[1918];
or_4_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1918] = *(cout_ptr[0]);
(*sym)++;
break;
case 1919:
temp_cin[0][0] = prev_out[1639];
temp_cin[0][1] = out[1639];
temp_cin[1][0] = prev_out[1638];
temp_cin[1][1] = out[1638];
temp_cout[0][0] = prev_out[1919];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1919] = *(cout_ptr[0]);
(*sym)++;
break;
case 1920:
temp_cin[0][0] = prev_out[312];
temp_cin[0][1] = out[312];
temp_cin[1][0] = prev_out[1640];
temp_cin[1][1] = out[1640];
temp_cout[0][0] = prev_out[1920];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1920] = *(cout_ptr[0]);
(*sym)++;
break;
case 1921:
temp_cin[0][0] = prev_out[129];
temp_cin[0][1] = out[129];
temp_cin[1][0] = prev_out[131];
temp_cin[1][1] = out[131];
temp_cin[2][0] = prev_out[133];
temp_cin[2][1] = out[133];
temp_cin[3][0] = prev_out[312];
temp_cin[3][1] = out[312];
temp_cin[4][0] = prev_out[760];
temp_cin[4][1] = out[760];
temp_cout[0][0] = prev_out[1921];
and_5_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1921] = *(cout_ptr[0]);
(*sym)++;
break;
case 1922:
temp_cin[0][0] = prev_out[1645];
temp_cin[0][1] = out[1645];
temp_cin[1][0] = prev_out[1644];
temp_cin[1][1] = out[1644];
temp_cin[2][0] = prev_out[1643];
temp_cin[2][1] = out[1643];
temp_cin[3][0] = prev_out[1642];
temp_cin[3][1] = out[1642];
temp_cin[4][0] = prev_out[1641];
temp_cin[4][1] = out[1641];
temp_cout[0][0] = prev_out[1922];
or_5_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1922] = *(cout_ptr[0]);
(*sym)++;
break;
case 1923:
temp_cin[0][0] = prev_out[1647];
temp_cin[0][1] = out[1647];
temp_cin[1][0] = prev_out[1646];
temp_cin[1][1] = out[1646];
temp_cout[0][0] = prev_out[1923];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1923] = *(cout_ptr[0]);
(*sym)++;
break;
case 1924:
temp_cin[0][0] = prev_out[575];
temp_cin[0][1] = out[575];
temp_cin[1][0] = prev_out[1648];
temp_cin[1][1] = out[1648];
temp_cout[0][0] = prev_out[1924];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1924] = *(cout_ptr[0]);
(*sym)++;
break;
case 1925:
temp_cin[0][0] = prev_out[1650];
temp_cin[0][1] = out[1650];
temp_cin[1][0] = prev_out[1649];
temp_cin[1][1] = out[1649];
temp_cout[0][0] = prev_out[1925];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1925] = *(cout_ptr[0]);
(*sym)++;
break;
case 1926:
temp_cin[0][0] = prev_out[575];
temp_cin[0][1] = out[575];
temp_cin[1][0] = prev_out[1651];
temp_cin[1][1] = out[1651];
temp_cout[0][0] = prev_out[1926];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1926] = *(cout_ptr[0]);
(*sym)++;
break;
case 1927:
temp_cin[0][0] = prev_out[322];
temp_cin[0][1] = out[322];
temp_cout[0][0] = prev_out[1927];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1927] = *(cout_ptr[0]);
(*sym)++;
break;
case 1928:
temp_cin[0][0] = prev_out[1653];
temp_cin[0][1] = out[1653];
temp_cin[1][0] = prev_out[1652];
temp_cin[1][1] = out[1652];
temp_cout[0][0] = prev_out[1928];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1928] = *(cout_ptr[0]);
(*sym)++;
break;
case 1929:
temp_cin[0][0] = prev_out[1928];
temp_cin[0][1] = out[1928];
temp_cout[0][0] = prev_out[1929];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1929] = *(cout_ptr[0]);
(*sym)++;
break;
case 1930:
temp_cin[0][0] = prev_out[1379];
temp_cin[0][1] = out[1379];
temp_cin[1][0] = prev_out[1346];
temp_cin[1][1] = out[1346];
temp_cout[0][0] = prev_out[1930];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1930] = *(cout_ptr[0]);
(*sym)++;
break;
case 1931:
temp_cin[0][0] = prev_out[1359];
temp_cin[0][1] = out[1359];
temp_cin[1][0] = prev_out[1907];
temp_cin[1][1] = out[1907];
temp_cout[0][0] = prev_out[1931];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1931] = *(cout_ptr[0]);
(*sym)++;
break;
case 1932:
temp_cin[0][0] = prev_out[1347];
temp_cin[0][1] = out[1347];
temp_cin[1][0] = prev_out[1654];
temp_cin[1][1] = out[1654];
temp_cout[0][0] = prev_out[1932];
or_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1932] = *(cout_ptr[0]);
(*sym)++;
break;
case 1933:
temp_cin[0][0] = prev_out[1656];
temp_cin[0][1] = out[1656];
temp_cin[1][0] = prev_out[1655];
temp_cin[1][1] = out[1655];
temp_cout[0][0] = prev_out[1933];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1933] = *(cout_ptr[0]);
(*sym)++;
break;
case 1934:
temp_cin[0][0] = prev_out[322];
temp_cin[0][1] = out[322];
temp_cin[1][0] = prev_out[1657];
temp_cin[1][1] = out[1657];
temp_cout[0][0] = prev_out[1934];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1934] = *(cout_ptr[0]);
(*sym)++;
break;
case 1935:
temp_cin[0][0] = prev_out[1659];
temp_cin[0][1] = out[1659];
temp_cin[1][0] = prev_out[1658];
temp_cin[1][1] = out[1658];
temp_cout[0][0] = prev_out[1935];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1935] = *(cout_ptr[0]);
(*sym)++;
break;
case 1936:
temp_cin[0][0] = prev_out[1384];
temp_cin[0][1] = out[1384];
temp_cin[1][0] = prev_out[1660];
temp_cin[1][1] = out[1660];
temp_cout[0][0] = prev_out[1936];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1936] = *(cout_ptr[0]);
(*sym)++;
break;
case 1937:
temp_cin[0][0] = prev_out[1662];
temp_cin[0][1] = out[1662];
temp_cin[1][0] = prev_out[1661];
temp_cin[1][1] = out[1661];
temp_cout[0][0] = prev_out[1937];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1937] = *(cout_ptr[0]);
(*sym)++;
break;
case 1938:
temp_cin[0][0] = prev_out[1384];
temp_cin[0][1] = out[1384];
temp_cin[1][0] = prev_out[1663];
temp_cin[1][1] = out[1663];
temp_cout[0][0] = prev_out[1938];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1938] = *(cout_ptr[0]);
(*sym)++;
break;
case 1939:
temp_cin[0][0] = prev_out[1670];
temp_cin[0][1] = out[1670];
temp_cin[1][0] = prev_out[1664];
temp_cin[1][1] = out[1664];
temp_cin[2][0] = prev_out[1668];
temp_cin[2][1] = out[1668];
temp_cin[3][0] = prev_out[1672];
temp_cin[3][1] = out[1672];
temp_cin[4][0] = prev_out[1666];
temp_cin[4][1] = out[1666];
temp_cout[0][0] = prev_out[1939];
and_5_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1939] = *(cout_ptr[0]);
(*sym)++;
break;
case 1940:
temp_cin[0][0] = prev_out[1666];
temp_cin[0][1] = out[1666];
temp_cin[1][0] = prev_out[1668];
temp_cin[1][1] = out[1668];
temp_cin[2][0] = prev_out[1672];
temp_cin[2][1] = out[1672];
temp_cin[3][0] = prev_out[1665];
temp_cin[3][1] = out[1665];
temp_cin[4][0] = prev_out[1670];
temp_cin[4][1] = out[1670];
temp_cout[0][0] = prev_out[1940];
and_5_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1940] = *(cout_ptr[0]);
(*sym)++;
break;
case 1941:
temp_cin[0][0] = prev_out[1668];
temp_cin[0][1] = out[1668];
temp_cin[1][0] = prev_out[1672];
temp_cin[1][1] = out[1672];
temp_cin[2][0] = prev_out[1667];
temp_cin[2][1] = out[1667];
temp_cin[3][0] = prev_out[1670];
temp_cin[3][1] = out[1670];
temp_cout[0][0] = prev_out[1941];
and_4_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1941] = *(cout_ptr[0]);
(*sym)++;
break;
case 1942:
temp_cin[0][0] = prev_out[1670];
temp_cin[0][1] = out[1670];
temp_cin[1][0] = prev_out[1672];
temp_cin[1][1] = out[1672];
temp_cin[2][0] = prev_out[1669];
temp_cin[2][1] = out[1669];
temp_cout[0][0] = prev_out[1942];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1942] = *(cout_ptr[0]);
(*sym)++;
break;
case 1943:
temp_cin[0][0] = prev_out[1672];
temp_cin[0][1] = out[1672];
temp_cin[1][0] = prev_out[1671];
temp_cin[1][1] = out[1671];
temp_cout[0][0] = prev_out[1943];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1943] = *(cout_ptr[0]);
(*sym)++;
break;
case 1944:
temp_cin[0][0] = prev_out[591];
temp_cin[0][1] = out[591];
temp_cin[1][0] = prev_out[542];
temp_cin[1][1] = out[542];
temp_cout[0][0] = prev_out[1944];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1944] = *(cout_ptr[0]);
(*sym)++;
break;
case 1945:
temp_cin[0][0] = prev_out[1676];
temp_cin[0][1] = out[1676];
temp_cin[1][0] = prev_out[1675];
temp_cin[1][1] = out[1675];
temp_cin[2][0] = prev_out[1674];
temp_cin[2][1] = out[1674];
temp_cin[3][0] = prev_out[1673];
temp_cin[3][1] = out[1673];
temp_cout[0][0] = prev_out[1945];
or_4_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1945] = *(cout_ptr[0]);
(*sym)++;
break;
case 1946:
temp_cin[0][0] = prev_out[274];
temp_cin[0][1] = out[274];
temp_cin[1][0] = prev_out[1677];
temp_cin[1][1] = out[1677];
temp_cout[0][0] = prev_out[1946];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1946] = *(cout_ptr[0]);
(*sym)++;
break;
case 1947:
temp_cin[0][0] = prev_out[214];
temp_cin[0][1] = out[214];
temp_cin[1][0] = prev_out[1678];
temp_cin[1][1] = out[1678];
temp_cout[0][0] = prev_out[1947];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1947] = *(cout_ptr[0]);
(*sym)++;
break;
case 1948:
temp_cin[0][0] = prev_out[399];
temp_cin[0][1] = out[399];
temp_cin[1][0] = prev_out[1679];
temp_cin[1][1] = out[1679];
temp_cout[0][0] = prev_out[1948];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1948] = *(cout_ptr[0]);
(*sym)++;
break;
case 1949:
temp_cin[0][0] = prev_out[336];
temp_cin[0][1] = out[336];
temp_cin[1][0] = prev_out[1680];
temp_cin[1][1] = out[1680];
temp_cout[0][0] = prev_out[1949];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1949] = *(cout_ptr[0]);
(*sym)++;
break;
case 1950:
temp_cin[0][0] = in_params[11][-1];
temp_cin[0][1] = in_params[11][0];
temp_cout[0][0] = prev_out[1950];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1950] = *(cout_ptr[0]);
(*sym)++;
break;
case 1951:
temp_cin[0][0] = prev_out[464];
temp_cin[0][1] = out[464];
temp_cout[0][0] = prev_out[1951];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1951] = *(cout_ptr[0]);
(*sym)++;
break;
case 1952:
temp_cin[0][0] = prev_out[1682];
temp_cin[0][1] = out[1682];
temp_cin[1][0] = prev_out[1681];
temp_cin[1][1] = out[1681];
temp_cout[0][0] = prev_out[1952];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1952] = *(cout_ptr[0]);
(*sym)++;
break;
case 1953:
temp_cin[0][0] = prev_out[1403];
temp_cin[0][1] = out[1403];
temp_cin[1][0] = prev_out[1683];
temp_cin[1][1] = out[1683];
temp_cout[0][0] = prev_out[1953];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1953] = *(cout_ptr[0]);
(*sym)++;
break;
case 1954:
temp_cin[0][0] = prev_out[1687];
temp_cin[0][1] = out[1687];
temp_cin[1][0] = prev_out[1685];
temp_cin[1][1] = out[1685];
temp_cin[2][0] = prev_out[1684];
temp_cin[2][1] = out[1684];
temp_cout[0][0] = prev_out[1954];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1954] = *(cout_ptr[0]);
(*sym)++;
break;
case 1955:
temp_cin[0][0] = prev_out[1688];
temp_cin[0][1] = out[1688];
temp_cin[1][0] = prev_out[1687];
temp_cin[1][1] = out[1687];
temp_cin[2][0] = prev_out[1686];
temp_cin[2][1] = out[1686];
temp_cout[0][0] = prev_out[1955];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1955] = *(cout_ptr[0]);
(*sym)++;
break;
case 1956:
temp_cin[0][0] = prev_out[1690];
temp_cin[0][1] = out[1690];
temp_cin[1][0] = prev_out[1688];
temp_cin[1][1] = out[1688];
temp_cin[2][0] = prev_out[1684];
temp_cin[2][1] = out[1684];
temp_cout[0][0] = prev_out[1956];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1956] = *(cout_ptr[0]);
(*sym)++;
break;
case 1957:
temp_cin[0][0] = prev_out[1685];
temp_cin[0][1] = out[1685];
temp_cin[1][0] = prev_out[1690];
temp_cin[1][1] = out[1690];
temp_cin[2][0] = prev_out[1689];
temp_cin[2][1] = out[1689];
temp_cout[0][0] = prev_out[1957];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1957] = *(cout_ptr[0]);
(*sym)++;
break;
case 1958:
temp_cin[0][0] = prev_out[1692];
temp_cin[0][1] = out[1692];
temp_cin[1][0] = prev_out[1691];
temp_cin[1][1] = out[1691];
temp_cout[0][0] = prev_out[1958];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1958] = *(cout_ptr[0]);
(*sym)++;
break;
case 1959:
temp_cin[0][0] = prev_out[1412];
temp_cin[0][1] = out[1412];
temp_cin[1][0] = prev_out[1693];
temp_cin[1][1] = out[1693];
temp_cout[0][0] = prev_out[1959];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1959] = *(cout_ptr[0]);
(*sym)++;
break;
case 1960:
temp_cin[0][0] = prev_out[1697];
temp_cin[0][1] = out[1697];
temp_cin[1][0] = prev_out[1695];
temp_cin[1][1] = out[1695];
temp_cin[2][0] = prev_out[1694];
temp_cin[2][1] = out[1694];
temp_cout[0][0] = prev_out[1960];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1960] = *(cout_ptr[0]);
(*sym)++;
break;
case 1961:
temp_cin[0][0] = prev_out[1698];
temp_cin[0][1] = out[1698];
temp_cin[1][0] = prev_out[1697];
temp_cin[1][1] = out[1697];
temp_cin[2][0] = prev_out[1696];
temp_cin[2][1] = out[1696];
temp_cout[0][0] = prev_out[1961];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1961] = *(cout_ptr[0]);
(*sym)++;
break;
case 1962:
temp_cin[0][0] = prev_out[1700];
temp_cin[0][1] = out[1700];
temp_cin[1][0] = prev_out[1698];
temp_cin[1][1] = out[1698];
temp_cin[2][0] = prev_out[1694];
temp_cin[2][1] = out[1694];
temp_cout[0][0] = prev_out[1962];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1962] = *(cout_ptr[0]);
(*sym)++;
break;
case 1963:
temp_cin[0][0] = prev_out[1695];
temp_cin[0][1] = out[1695];
temp_cin[1][0] = prev_out[1700];
temp_cin[1][1] = out[1700];
temp_cin[2][0] = prev_out[1699];
temp_cin[2][1] = out[1699];
temp_cout[0][0] = prev_out[1963];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1963] = *(cout_ptr[0]);
(*sym)++;
break;
case 1964:
temp_cin[0][0] = prev_out[1702];
temp_cin[0][1] = out[1702];
temp_cin[1][0] = prev_out[1701];
temp_cin[1][1] = out[1701];
temp_cout[0][0] = prev_out[1964];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1964] = *(cout_ptr[0]);
(*sym)++;
break;
case 1965:
temp_cin[0][0] = prev_out[1421];
temp_cin[0][1] = out[1421];
temp_cin[1][0] = prev_out[1703];
temp_cin[1][1] = out[1703];
temp_cout[0][0] = prev_out[1965];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1965] = *(cout_ptr[0]);
(*sym)++;
break;
case 1966:
temp_cin[0][0] = prev_out[1707];
temp_cin[0][1] = out[1707];
temp_cin[1][0] = prev_out[1705];
temp_cin[1][1] = out[1705];
temp_cin[2][0] = prev_out[1704];
temp_cin[2][1] = out[1704];
temp_cout[0][0] = prev_out[1966];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1966] = *(cout_ptr[0]);
(*sym)++;
break;
case 1967:
temp_cin[0][0] = prev_out[1708];
temp_cin[0][1] = out[1708];
temp_cin[1][0] = prev_out[1707];
temp_cin[1][1] = out[1707];
temp_cin[2][0] = prev_out[1706];
temp_cin[2][1] = out[1706];
temp_cout[0][0] = prev_out[1967];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1967] = *(cout_ptr[0]);
(*sym)++;
break;
case 1968:
temp_cin[0][0] = prev_out[1710];
temp_cin[0][1] = out[1710];
temp_cin[1][0] = prev_out[1708];
temp_cin[1][1] = out[1708];
temp_cin[2][0] = prev_out[1704];
temp_cin[2][1] = out[1704];
temp_cout[0][0] = prev_out[1968];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1968] = *(cout_ptr[0]);
(*sym)++;
break;
case 1969:
temp_cin[0][0] = prev_out[1705];
temp_cin[0][1] = out[1705];
temp_cin[1][0] = prev_out[1710];
temp_cin[1][1] = out[1710];
temp_cin[2][0] = prev_out[1709];
temp_cin[2][1] = out[1709];
temp_cout[0][0] = prev_out[1969];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1969] = *(cout_ptr[0]);
(*sym)++;
break;
case 1970:
temp_cin[0][0] = prev_out[1712];
temp_cin[0][1] = out[1712];
temp_cin[1][0] = prev_out[1711];
temp_cin[1][1] = out[1711];
temp_cout[0][0] = prev_out[1970];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1970] = *(cout_ptr[0]);
(*sym)++;
break;
case 1971:
temp_cin[0][0] = prev_out[1430];
temp_cin[0][1] = out[1430];
temp_cin[1][0] = prev_out[1713];
temp_cin[1][1] = out[1713];
temp_cout[0][0] = prev_out[1971];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1971] = *(cout_ptr[0]);
(*sym)++;
break;
case 1972:
temp_cin[0][0] = prev_out[1717];
temp_cin[0][1] = out[1717];
temp_cin[1][0] = prev_out[1715];
temp_cin[1][1] = out[1715];
temp_cin[2][0] = prev_out[1714];
temp_cin[2][1] = out[1714];
temp_cout[0][0] = prev_out[1972];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1972] = *(cout_ptr[0]);
(*sym)++;
break;
case 1973:
temp_cin[0][0] = prev_out[1718];
temp_cin[0][1] = out[1718];
temp_cin[1][0] = prev_out[1717];
temp_cin[1][1] = out[1717];
temp_cin[2][0] = prev_out[1716];
temp_cin[2][1] = out[1716];
temp_cout[0][0] = prev_out[1973];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1973] = *(cout_ptr[0]);
(*sym)++;
break;
case 1974:
temp_cin[0][0] = prev_out[1720];
temp_cin[0][1] = out[1720];
temp_cin[1][0] = prev_out[1718];
temp_cin[1][1] = out[1718];
temp_cin[2][0] = prev_out[1714];
temp_cin[2][1] = out[1714];
temp_cout[0][0] = prev_out[1974];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1974] = *(cout_ptr[0]);
(*sym)++;
break;
case 1975:
temp_cin[0][0] = prev_out[1715];
temp_cin[0][1] = out[1715];
temp_cin[1][0] = prev_out[1720];
temp_cin[1][1] = out[1720];
temp_cin[2][0] = prev_out[1719];
temp_cin[2][1] = out[1719];
temp_cout[0][0] = prev_out[1975];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1975] = *(cout_ptr[0]);
(*sym)++;
break;
case 1976:
temp_cin[0][0] = prev_out[1722];
temp_cin[0][1] = out[1722];
temp_cin[1][0] = prev_out[1721];
temp_cin[1][1] = out[1721];
temp_cout[0][0] = prev_out[1976];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1976] = *(cout_ptr[0]);
(*sym)++;
break;
case 1977:
temp_cin[0][0] = prev_out[1438];
temp_cin[0][1] = out[1438];
temp_cin[1][0] = prev_out[1723];
temp_cin[1][1] = out[1723];
temp_cout[0][0] = prev_out[1977];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1977] = *(cout_ptr[0]);
(*sym)++;
break;
case 1978:
temp_cin[0][0] = prev_out[1727];
temp_cin[0][1] = out[1727];
temp_cin[1][0] = prev_out[1725];
temp_cin[1][1] = out[1725];
temp_cin[2][0] = prev_out[1724];
temp_cin[2][1] = out[1724];
temp_cout[0][0] = prev_out[1978];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1978] = *(cout_ptr[0]);
(*sym)++;
break;
case 1979:
temp_cin[0][0] = prev_out[1728];
temp_cin[0][1] = out[1728];
temp_cin[1][0] = prev_out[1727];
temp_cin[1][1] = out[1727];
temp_cin[2][0] = prev_out[1726];
temp_cin[2][1] = out[1726];
temp_cout[0][0] = prev_out[1979];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1979] = *(cout_ptr[0]);
(*sym)++;
break;
case 1980:
temp_cin[0][0] = prev_out[1730];
temp_cin[0][1] = out[1730];
temp_cin[1][0] = prev_out[1728];
temp_cin[1][1] = out[1728];
temp_cin[2][0] = prev_out[1724];
temp_cin[2][1] = out[1724];
temp_cout[0][0] = prev_out[1980];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1980] = *(cout_ptr[0]);
(*sym)++;
break;
case 1981:
temp_cin[0][0] = prev_out[1725];
temp_cin[0][1] = out[1725];
temp_cin[1][0] = prev_out[1730];
temp_cin[1][1] = out[1730];
temp_cin[2][0] = prev_out[1729];
temp_cin[2][1] = out[1729];
temp_cout[0][0] = prev_out[1981];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1981] = *(cout_ptr[0]);
(*sym)++;
break;
case 1982:
temp_cin[0][0] = prev_out[1732];
temp_cin[0][1] = out[1732];
temp_cin[1][0] = prev_out[1731];
temp_cin[1][1] = out[1731];
temp_cout[0][0] = prev_out[1982];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1982] = *(cout_ptr[0]);
(*sym)++;
break;
case 1983:
temp_cin[0][0] = prev_out[1447];
temp_cin[0][1] = out[1447];
temp_cin[1][0] = prev_out[1733];
temp_cin[1][1] = out[1733];
temp_cout[0][0] = prev_out[1983];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1983] = *(cout_ptr[0]);
(*sym)++;
break;
case 1984:
temp_cin[0][0] = prev_out[1737];
temp_cin[0][1] = out[1737];
temp_cin[1][0] = prev_out[1735];
temp_cin[1][1] = out[1735];
temp_cin[2][0] = prev_out[1734];
temp_cin[2][1] = out[1734];
temp_cout[0][0] = prev_out[1984];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1984] = *(cout_ptr[0]);
(*sym)++;
break;
case 1985:
temp_cin[0][0] = prev_out[1738];
temp_cin[0][1] = out[1738];
temp_cin[1][0] = prev_out[1737];
temp_cin[1][1] = out[1737];
temp_cin[2][0] = prev_out[1736];
temp_cin[2][1] = out[1736];
temp_cout[0][0] = prev_out[1985];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1985] = *(cout_ptr[0]);
(*sym)++;
break;
case 1986:
temp_cin[0][0] = prev_out[1740];
temp_cin[0][1] = out[1740];
temp_cin[1][0] = prev_out[1738];
temp_cin[1][1] = out[1738];
temp_cin[2][0] = prev_out[1734];
temp_cin[2][1] = out[1734];
temp_cout[0][0] = prev_out[1986];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1986] = *(cout_ptr[0]);
(*sym)++;
break;
case 1987:
temp_cin[0][0] = prev_out[1735];
temp_cin[0][1] = out[1735];
temp_cin[1][0] = prev_out[1740];
temp_cin[1][1] = out[1740];
temp_cin[2][0] = prev_out[1739];
temp_cin[2][1] = out[1739];
temp_cout[0][0] = prev_out[1987];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1987] = *(cout_ptr[0]);
(*sym)++;
break;
case 1988:
temp_cin[0][0] = prev_out[1742];
temp_cin[0][1] = out[1742];
temp_cin[1][0] = prev_out[1741];
temp_cin[1][1] = out[1741];
temp_cout[0][0] = prev_out[1988];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1988] = *(cout_ptr[0]);
(*sym)++;
break;
case 1989:
temp_cin[0][0] = prev_out[1456];
temp_cin[0][1] = out[1456];
temp_cin[1][0] = prev_out[1743];
temp_cin[1][1] = out[1743];
temp_cout[0][0] = prev_out[1989];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1989] = *(cout_ptr[0]);
(*sym)++;
break;
case 1990:
temp_cin[0][0] = prev_out[1747];
temp_cin[0][1] = out[1747];
temp_cin[1][0] = prev_out[1745];
temp_cin[1][1] = out[1745];
temp_cin[2][0] = prev_out[1744];
temp_cin[2][1] = out[1744];
temp_cout[0][0] = prev_out[1990];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1990] = *(cout_ptr[0]);
(*sym)++;
break;
case 1991:
temp_cin[0][0] = prev_out[1748];
temp_cin[0][1] = out[1748];
temp_cin[1][0] = prev_out[1747];
temp_cin[1][1] = out[1747];
temp_cin[2][0] = prev_out[1746];
temp_cin[2][1] = out[1746];
temp_cout[0][0] = prev_out[1991];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1991] = *(cout_ptr[0]);
(*sym)++;
break;
case 1992:
temp_cin[0][0] = prev_out[1750];
temp_cin[0][1] = out[1750];
temp_cin[1][0] = prev_out[1748];
temp_cin[1][1] = out[1748];
temp_cin[2][0] = prev_out[1744];
temp_cin[2][1] = out[1744];
temp_cout[0][0] = prev_out[1992];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1992] = *(cout_ptr[0]);
(*sym)++;
break;
case 1993:
temp_cin[0][0] = prev_out[1745];
temp_cin[0][1] = out[1745];
temp_cin[1][0] = prev_out[1750];
temp_cin[1][1] = out[1750];
temp_cin[2][0] = prev_out[1749];
temp_cin[2][1] = out[1749];
temp_cout[0][0] = prev_out[1993];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1993] = *(cout_ptr[0]);
(*sym)++;
break;
case 1994:
temp_cin[0][0] = prev_out[1752];
temp_cin[0][1] = out[1752];
temp_cin[1][0] = prev_out[1751];
temp_cin[1][1] = out[1751];
temp_cout[0][0] = prev_out[1994];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1994] = *(cout_ptr[0]);
(*sym)++;
break;
case 1995:
temp_cin[0][0] = prev_out[1465];
temp_cin[0][1] = out[1465];
temp_cin[1][0] = prev_out[1753];
temp_cin[1][1] = out[1753];
temp_cout[0][0] = prev_out[1995];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1995] = *(cout_ptr[0]);
(*sym)++;
break;
case 1996:
temp_cin[0][0] = prev_out[1757];
temp_cin[0][1] = out[1757];
temp_cin[1][0] = prev_out[1755];
temp_cin[1][1] = out[1755];
temp_cin[2][0] = prev_out[1754];
temp_cin[2][1] = out[1754];
temp_cout[0][0] = prev_out[1996];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1996] = *(cout_ptr[0]);
(*sym)++;
break;
case 1997:
temp_cin[0][0] = prev_out[1758];
temp_cin[0][1] = out[1758];
temp_cin[1][0] = prev_out[1757];
temp_cin[1][1] = out[1757];
temp_cin[2][0] = prev_out[1756];
temp_cin[2][1] = out[1756];
temp_cout[0][0] = prev_out[1997];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1997] = *(cout_ptr[0]);
(*sym)++;
break;
case 1998:
temp_cin[0][0] = prev_out[1760];
temp_cin[0][1] = out[1760];
temp_cin[1][0] = prev_out[1758];
temp_cin[1][1] = out[1758];
temp_cin[2][0] = prev_out[1754];
temp_cin[2][1] = out[1754];
temp_cout[0][0] = prev_out[1998];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1998] = *(cout_ptr[0]);
(*sym)++;
break;
case 1999:
temp_cin[0][0] = prev_out[1755];
temp_cin[0][1] = out[1755];
temp_cin[1][0] = prev_out[1760];
temp_cin[1][1] = out[1760];
temp_cin[2][0] = prev_out[1759];
temp_cin[2][1] = out[1759];
temp_cout[0][0] = prev_out[1999];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[1999] = *(cout_ptr[0]);
(*sym)++;
break;
case 2000:
temp_cin[0][0] = prev_out[1762];
temp_cin[0][1] = out[1762];
temp_cin[1][0] = prev_out[1761];
temp_cin[1][1] = out[1761];
temp_cout[0][0] = prev_out[2000];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2000] = *(cout_ptr[0]);
(*sym)++;
break;
case 2001:
temp_cin[0][0] = prev_out[1474];
temp_cin[0][1] = out[1474];
temp_cin[1][0] = prev_out[1763];
temp_cin[1][1] = out[1763];
temp_cout[0][0] = prev_out[2001];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2001] = *(cout_ptr[0]);
(*sym)++;
break;
case 2002:
temp_cin[0][0] = prev_out[1767];
temp_cin[0][1] = out[1767];
temp_cin[1][0] = prev_out[1765];
temp_cin[1][1] = out[1765];
temp_cin[2][0] = prev_out[1764];
temp_cin[2][1] = out[1764];
temp_cout[0][0] = prev_out[2002];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2002] = *(cout_ptr[0]);
(*sym)++;
break;
case 2003:
temp_cin[0][0] = prev_out[1768];
temp_cin[0][1] = out[1768];
temp_cin[1][0] = prev_out[1767];
temp_cin[1][1] = out[1767];
temp_cin[2][0] = prev_out[1766];
temp_cin[2][1] = out[1766];
temp_cout[0][0] = prev_out[2003];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2003] = *(cout_ptr[0]);
(*sym)++;
break;
case 2004:
temp_cin[0][0] = prev_out[1770];
temp_cin[0][1] = out[1770];
temp_cin[1][0] = prev_out[1768];
temp_cin[1][1] = out[1768];
temp_cin[2][0] = prev_out[1764];
temp_cin[2][1] = out[1764];
temp_cout[0][0] = prev_out[2004];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2004] = *(cout_ptr[0]);
(*sym)++;
break;
case 2005:
temp_cin[0][0] = prev_out[1765];
temp_cin[0][1] = out[1765];
temp_cin[1][0] = prev_out[1770];
temp_cin[1][1] = out[1770];
temp_cin[2][0] = prev_out[1769];
temp_cin[2][1] = out[1769];
temp_cout[0][0] = prev_out[2005];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2005] = *(cout_ptr[0]);
(*sym)++;
break;
case 2006:
temp_cin[0][0] = prev_out[1772];
temp_cin[0][1] = out[1772];
temp_cin[1][0] = prev_out[1771];
temp_cin[1][1] = out[1771];
temp_cout[0][0] = prev_out[2006];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2006] = *(cout_ptr[0]);
(*sym)++;
break;
case 2007:
temp_cin[0][0] = prev_out[1483];
temp_cin[0][1] = out[1483];
temp_cin[1][0] = prev_out[1773];
temp_cin[1][1] = out[1773];
temp_cout[0][0] = prev_out[2007];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2007] = *(cout_ptr[0]);
(*sym)++;
break;
case 2008:
temp_cin[0][0] = prev_out[1777];
temp_cin[0][1] = out[1777];
temp_cin[1][0] = prev_out[1775];
temp_cin[1][1] = out[1775];
temp_cin[2][0] = prev_out[1774];
temp_cin[2][1] = out[1774];
temp_cout[0][0] = prev_out[2008];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2008] = *(cout_ptr[0]);
(*sym)++;
break;
case 2009:
temp_cin[0][0] = prev_out[1778];
temp_cin[0][1] = out[1778];
temp_cin[1][0] = prev_out[1777];
temp_cin[1][1] = out[1777];
temp_cin[2][0] = prev_out[1776];
temp_cin[2][1] = out[1776];
temp_cout[0][0] = prev_out[2009];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2009] = *(cout_ptr[0]);
(*sym)++;
break;
case 2010:
temp_cin[0][0] = prev_out[1780];
temp_cin[0][1] = out[1780];
temp_cin[1][0] = prev_out[1778];
temp_cin[1][1] = out[1778];
temp_cin[2][0] = prev_out[1774];
temp_cin[2][1] = out[1774];
temp_cout[0][0] = prev_out[2010];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2010] = *(cout_ptr[0]);
(*sym)++;
break;
case 2011:
temp_cin[0][0] = prev_out[1775];
temp_cin[0][1] = out[1775];
temp_cin[1][0] = prev_out[1780];
temp_cin[1][1] = out[1780];
temp_cin[2][0] = prev_out[1779];
temp_cin[2][1] = out[1779];
temp_cout[0][0] = prev_out[2011];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2011] = *(cout_ptr[0]);
(*sym)++;
break;
case 2012:
temp_cin[0][0] = prev_out[1782];
temp_cin[0][1] = out[1782];
temp_cin[1][0] = prev_out[1781];
temp_cin[1][1] = out[1781];
temp_cout[0][0] = prev_out[2012];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2012] = *(cout_ptr[0]);
(*sym)++;
break;
case 2013:
temp_cin[0][0] = prev_out[1492];
temp_cin[0][1] = out[1492];
temp_cin[1][0] = prev_out[1783];
temp_cin[1][1] = out[1783];
temp_cout[0][0] = prev_out[2013];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2013] = *(cout_ptr[0]);
(*sym)++;
break;
case 2014:
temp_cin[0][0] = prev_out[1787];
temp_cin[0][1] = out[1787];
temp_cin[1][0] = prev_out[1785];
temp_cin[1][1] = out[1785];
temp_cin[2][0] = prev_out[1784];
temp_cin[2][1] = out[1784];
temp_cout[0][0] = prev_out[2014];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2014] = *(cout_ptr[0]);
(*sym)++;
break;
case 2015:
temp_cin[0][0] = prev_out[1788];
temp_cin[0][1] = out[1788];
temp_cin[1][0] = prev_out[1787];
temp_cin[1][1] = out[1787];
temp_cin[2][0] = prev_out[1786];
temp_cin[2][1] = out[1786];
temp_cout[0][0] = prev_out[2015];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2015] = *(cout_ptr[0]);
(*sym)++;
break;
case 2016:
temp_cin[0][0] = prev_out[1790];
temp_cin[0][1] = out[1790];
temp_cin[1][0] = prev_out[1788];
temp_cin[1][1] = out[1788];
temp_cin[2][0] = prev_out[1784];
temp_cin[2][1] = out[1784];
temp_cout[0][0] = prev_out[2016];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2016] = *(cout_ptr[0]);
(*sym)++;
break;
case 2017:
temp_cin[0][0] = prev_out[1785];
temp_cin[0][1] = out[1785];
temp_cin[1][0] = prev_out[1790];
temp_cin[1][1] = out[1790];
temp_cin[2][0] = prev_out[1789];
temp_cin[2][1] = out[1789];
temp_cout[0][0] = prev_out[2017];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2017] = *(cout_ptr[0]);
(*sym)++;
break;
case 2018:
temp_cin[0][0] = prev_out[1792];
temp_cin[0][1] = out[1792];
temp_cin[1][0] = prev_out[1791];
temp_cin[1][1] = out[1791];
temp_cout[0][0] = prev_out[2018];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2018] = *(cout_ptr[0]);
(*sym)++;
break;
case 2019:
temp_cin[0][0] = prev_out[1501];
temp_cin[0][1] = out[1501];
temp_cin[1][0] = prev_out[1793];
temp_cin[1][1] = out[1793];
temp_cout[0][0] = prev_out[2019];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2019] = *(cout_ptr[0]);
(*sym)++;
break;
case 2020:
temp_cin[0][0] = prev_out[1797];
temp_cin[0][1] = out[1797];
temp_cin[1][0] = prev_out[1795];
temp_cin[1][1] = out[1795];
temp_cin[2][0] = prev_out[1794];
temp_cin[2][1] = out[1794];
temp_cout[0][0] = prev_out[2020];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2020] = *(cout_ptr[0]);
(*sym)++;
break;
case 2021:
temp_cin[0][0] = prev_out[1798];
temp_cin[0][1] = out[1798];
temp_cin[1][0] = prev_out[1797];
temp_cin[1][1] = out[1797];
temp_cin[2][0] = prev_out[1796];
temp_cin[2][1] = out[1796];
temp_cout[0][0] = prev_out[2021];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2021] = *(cout_ptr[0]);
(*sym)++;
break;
case 2022:
temp_cin[0][0] = prev_out[1800];
temp_cin[0][1] = out[1800];
temp_cin[1][0] = prev_out[1798];
temp_cin[1][1] = out[1798];
temp_cin[2][0] = prev_out[1794];
temp_cin[2][1] = out[1794];
temp_cout[0][0] = prev_out[2022];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2022] = *(cout_ptr[0]);
(*sym)++;
break;
case 2023:
temp_cin[0][0] = prev_out[1795];
temp_cin[0][1] = out[1795];
temp_cin[1][0] = prev_out[1800];
temp_cin[1][1] = out[1800];
temp_cin[2][0] = prev_out[1799];
temp_cin[2][1] = out[1799];
temp_cout[0][0] = prev_out[2023];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2023] = *(cout_ptr[0]);
(*sym)++;
break;
case 2024:
temp_cin[0][0] = prev_out[1802];
temp_cin[0][1] = out[1802];
temp_cin[1][0] = prev_out[1801];
temp_cin[1][1] = out[1801];
temp_cout[0][0] = prev_out[2024];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2024] = *(cout_ptr[0]);
(*sym)++;
break;
case 2025:
temp_cin[0][0] = prev_out[1804];
temp_cin[0][1] = out[1804];
temp_cin[1][0] = prev_out[1803];
temp_cin[1][1] = out[1803];
temp_cout[0][0] = prev_out[2025];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2025] = *(cout_ptr[0]);
(*sym)++;
break;
case 2026:
temp_cin[0][0] = prev_out[1806];
temp_cin[0][1] = out[1806];
temp_cin[1][0] = prev_out[1805];
temp_cin[1][1] = out[1805];
temp_cout[0][0] = prev_out[2026];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2026] = *(cout_ptr[0]);
(*sym)++;
break;
case 2027:
temp_cin[0][0] = prev_out[1808];
temp_cin[0][1] = out[1808];
temp_cin[1][0] = prev_out[1807];
temp_cin[1][1] = out[1807];
temp_cout[0][0] = prev_out[2027];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2027] = *(cout_ptr[0]);
(*sym)++;
break;
case 2028:
temp_cin[0][0] = prev_out[1810];
temp_cin[0][1] = out[1810];
temp_cin[1][0] = prev_out[1809];
temp_cin[1][1] = out[1809];
temp_cout[0][0] = prev_out[2028];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2028] = *(cout_ptr[0]);
(*sym)++;
break;
case 2029:
temp_cin[0][0] = prev_out[1820];
temp_cin[0][1] = out[1820];
temp_cin[1][0] = prev_out[1811];
temp_cin[1][1] = out[1811];
temp_cin[2][0] = prev_out[1818];
temp_cin[2][1] = out[1818];
temp_cin[3][0] = prev_out[1822];
temp_cin[3][1] = out[1822];
temp_cout[0][0] = prev_out[2029];
and_4_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2029] = *(cout_ptr[0]);
(*sym)++;
break;
case 2030:
temp_cin[0][0] = prev_out[1816];
temp_cin[0][1] = out[1816];
temp_cin[1][0] = prev_out[1815];
temp_cin[1][1] = out[1815];
temp_cin[2][0] = prev_out[1814];
temp_cin[2][1] = out[1814];
temp_cin[3][0] = prev_out[1813];
temp_cin[3][1] = out[1813];
temp_cin[4][0] = prev_out[1812];
temp_cin[4][1] = out[1812];
temp_cout[0][0] = prev_out[2030];
or_5_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2030] = *(cout_ptr[0]);
(*sym)++;
break;
case 2031:
temp_cin[0][0] = prev_out[1818];
temp_cin[0][1] = out[1818];
temp_cin[1][0] = prev_out[1822];
temp_cin[1][1] = out[1822];
temp_cin[2][0] = prev_out[1817];
temp_cin[2][1] = out[1817];
temp_cin[3][0] = prev_out[1820];
temp_cin[3][1] = out[1820];
temp_cout[0][0] = prev_out[2031];
and_4_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2031] = *(cout_ptr[0]);
(*sym)++;
break;
case 2032:
temp_cin[0][0] = prev_out[1820];
temp_cin[0][1] = out[1820];
temp_cin[1][0] = prev_out[1822];
temp_cin[1][1] = out[1822];
temp_cin[2][0] = prev_out[1819];
temp_cin[2][1] = out[1819];
temp_cout[0][0] = prev_out[2032];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2032] = *(cout_ptr[0]);
(*sym)++;
break;
case 2033:
temp_cin[0][0] = prev_out[1822];
temp_cin[0][1] = out[1822];
temp_cin[1][0] = prev_out[1821];
temp_cin[1][1] = out[1821];
temp_cout[0][0] = prev_out[2033];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2033] = *(cout_ptr[0]);
(*sym)++;
break;
case 2034:
temp_cin[0][0] = prev_out[906];
temp_cin[0][1] = out[906];
temp_cin[1][0] = prev_out[756];
temp_cin[1][1] = out[756];
temp_cout[0][0] = prev_out[2034];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2034] = *(cout_ptr[0]);
(*sym)++;
break;
case 2035:
temp_cin[0][0] = prev_out[1824];
temp_cin[0][1] = out[1824];
temp_cin[1][0] = prev_out[1823];
temp_cin[1][1] = out[1823];
temp_cout[0][0] = prev_out[2035];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2035] = *(cout_ptr[0]);
(*sym)++;
break;
case 2036:
temp_cin[0][0] = prev_out[2024];
temp_cin[0][1] = out[2024];
temp_cin[1][0] = prev_out[2026];
temp_cin[1][1] = out[2026];
temp_cin[2][0] = prev_out[2025];
temp_cin[2][1] = out[2025];
temp_cin[3][0] = prev_out[1825];
temp_cin[3][1] = out[1825];
temp_cin[4][0] = prev_out[2028];
temp_cin[4][1] = out[2028];
temp_cout[0][0] = prev_out[2036];
and_5_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2036] = *(cout_ptr[0]);
(*sym)++;
break;
case 2037:
temp_cin[0][0] = prev_out[2026];
temp_cin[0][1] = out[2026];
temp_cin[1][0] = prev_out[2025];
temp_cin[1][1] = out[2025];
temp_cin[2][0] = prev_out[1826];
temp_cin[2][1] = out[1826];
temp_cin[3][0] = prev_out[2028];
temp_cin[3][1] = out[2028];
temp_cout[0][0] = prev_out[2037];
and_4_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2037] = *(cout_ptr[0]);
(*sym)++;
break;
case 2038:
temp_cin[0][0] = prev_out[2028];
temp_cin[0][1] = out[2028];
temp_cin[1][0] = prev_out[2025];
temp_cin[1][1] = out[2025];
temp_cin[2][0] = prev_out[1827];
temp_cin[2][1] = out[1827];
temp_cout[0][0] = prev_out[2038];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2038] = *(cout_ptr[0]);
(*sym)++;
break;
case 2039:
temp_cin[0][0] = prev_out[2025];
temp_cin[0][1] = out[2025];
temp_cin[1][0] = prev_out[1828];
temp_cin[1][1] = out[1828];
temp_cout[0][0] = prev_out[2039];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2039] = *(cout_ptr[0]);
(*sym)++;
break;
case 2040:
temp_cin[0][0] = prev_out[630];
temp_cin[0][1] = out[630];
temp_cin[1][0] = prev_out[578];
temp_cin[1][1] = out[578];
temp_cout[0][0] = prev_out[2040];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2040] = *(cout_ptr[0]);
(*sym)++;
break;
case 2041:
temp_cin[0][0] = prev_out[399];
temp_cin[0][1] = out[399];
temp_cin[1][0] = prev_out[336];
temp_cin[1][1] = out[336];
temp_cout[0][0] = prev_out[2041];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2041] = *(cout_ptr[0]);
(*sym)++;
break;
case 2042:
temp_cin[0][0] = prev_out[1830];
temp_cin[0][1] = out[1830];
temp_cin[1][0] = prev_out[1829];
temp_cin[1][1] = out[1829];
temp_cout[0][0] = prev_out[2042];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2042] = *(cout_ptr[0]);
(*sym)++;
break;
case 2043:
temp_cin[0][0] = prev_out[1832];
temp_cin[0][1] = out[1832];
temp_cin[1][0] = prev_out[1831];
temp_cin[1][1] = out[1831];
temp_cout[0][0] = prev_out[2043];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2043] = *(cout_ptr[0]);
(*sym)++;
break;
case 2044:
temp_cin[0][0] = prev_out[1400];
temp_cin[0][1] = out[1400];
temp_cin[1][0] = prev_out[1833];
temp_cin[1][1] = out[1833];
temp_cin[2][0] = prev_out[1398];
temp_cin[2][1] = out[1398];
temp_cin[3][0] = prev_out[1402];
temp_cin[3][1] = out[1402];
temp_cout[0][0] = prev_out[2044];
and_4_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2044] = *(cout_ptr[0]);
(*sym)++;
break;
case 2045:
temp_cin[0][0] = prev_out[1838];
temp_cin[0][1] = out[1838];
temp_cin[1][0] = prev_out[1837];
temp_cin[1][1] = out[1837];
temp_cin[2][0] = prev_out[1836];
temp_cin[2][1] = out[1836];
temp_cin[3][0] = prev_out[1835];
temp_cin[3][1] = out[1835];
temp_cin[4][0] = prev_out[1834];
temp_cin[4][1] = out[1834];
temp_cout[0][0] = prev_out[2045];
and_5_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2045] = *(cout_ptr[0]);
(*sym)++;
break;
case 2046:
temp_cin[0][0] = prev_out[1842];
temp_cin[0][1] = out[1842];
temp_cin[1][0] = prev_out[1841];
temp_cin[1][1] = out[1841];
temp_cin[2][0] = prev_out[1840];
temp_cin[2][1] = out[1840];
temp_cin[3][0] = prev_out[1839];
temp_cin[3][1] = out[1839];
temp_cout[0][0] = prev_out[2046];
or_4_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2046] = *(cout_ptr[0]);
(*sym)++;
break;
case 2047:
temp_cin[0][0] = prev_out[1844];
temp_cin[0][1] = out[1844];
temp_cin[1][0] = prev_out[1843];
temp_cin[1][1] = out[1843];
temp_cout[0][0] = prev_out[2047];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2047] = *(cout_ptr[0]);
(*sym)++;
break;
case 2048:
temp_cin[0][0] = prev_out[1846];
temp_cin[0][1] = out[1846];
temp_cin[1][0] = prev_out[1845];
temp_cin[1][1] = out[1845];
temp_cout[0][0] = prev_out[2048];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2048] = *(cout_ptr[0]);
(*sym)++;
break;
case 2049:
temp_cin[0][0] = prev_out[1848];
temp_cin[0][1] = out[1848];
temp_cin[1][0] = prev_out[1847];
temp_cin[1][1] = out[1847];
temp_cout[0][0] = prev_out[2049];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2049] = *(cout_ptr[0]);
(*sym)++;
break;
case 2050:
temp_cin[0][0] = prev_out[1850];
temp_cin[0][1] = out[1850];
temp_cin[1][0] = prev_out[1849];
temp_cin[1][1] = out[1849];
temp_cout[0][0] = prev_out[2050];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2050] = *(cout_ptr[0]);
(*sym)++;
break;
case 2051:
temp_cin[0][0] = prev_out[1852];
temp_cin[0][1] = out[1852];
temp_cin[1][0] = prev_out[1851];
temp_cin[1][1] = out[1851];
temp_cout[0][0] = prev_out[2051];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2051] = *(cout_ptr[0]);
(*sym)++;
break;
case 2052:
temp_cin[0][0] = prev_out[1857];
temp_cin[0][1] = out[1857];
temp_cin[1][0] = prev_out[1856];
temp_cin[1][1] = out[1856];
temp_cin[2][0] = prev_out[1855];
temp_cin[2][1] = out[1855];
temp_cin[3][0] = prev_out[1854];
temp_cin[3][1] = out[1854];
temp_cin[4][0] = prev_out[1853];
temp_cin[4][1] = out[1853];
temp_cout[0][0] = prev_out[2052];
or_5_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2052] = *(cout_ptr[0]);
(*sym)++;
break;
case 2053:
temp_cin[0][0] = prev_out[1858];
temp_cin[0][1] = out[1858];
temp_cin[1][0] = prev_out[1554];
temp_cin[1][1] = out[1554];
temp_cin[2][0] = prev_out[1556];
temp_cin[2][1] = out[1556];
temp_cin[3][0] = prev_out[1558];
temp_cin[3][1] = out[1558];
temp_cout[0][0] = prev_out[2053];
and_4_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2053] = *(cout_ptr[0]);
(*sym)++;
break;
case 2054:
temp_cin[0][0] = prev_out[1860];
temp_cin[0][1] = out[1860];
temp_cin[1][0] = prev_out[1859];
temp_cin[1][1] = out[1859];
temp_cout[0][0] = prev_out[2054];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2054] = *(cout_ptr[0]);
(*sym)++;
break;
case 2055:
temp_cin[0][0] = prev_out[1862];
temp_cin[0][1] = out[1862];
temp_cin[1][0] = prev_out[1861];
temp_cin[1][1] = out[1861];
temp_cout[0][0] = prev_out[2055];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2055] = *(cout_ptr[0]);
(*sym)++;
break;
case 2056:
temp_cin[0][0] = prev_out[1864];
temp_cin[0][1] = out[1864];
temp_cin[1][0] = prev_out[1863];
temp_cin[1][1] = out[1863];
temp_cout[0][0] = prev_out[2056];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2056] = *(cout_ptr[0]);
(*sym)++;
break;
case 2057:
temp_cin[0][0] = prev_out[1866];
temp_cin[0][1] = out[1866];
temp_cin[1][0] = prev_out[1865];
temp_cin[1][1] = out[1865];
temp_cout[0][0] = prev_out[2057];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2057] = *(cout_ptr[0]);
(*sym)++;
break;
case 2058:
temp_cin[0][0] = prev_out[1868];
temp_cin[0][1] = out[1868];
temp_cin[1][0] = prev_out[1867];
temp_cin[1][1] = out[1867];
temp_cout[0][0] = prev_out[2058];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2058] = *(cout_ptr[0]);
(*sym)++;
break;
case 2059:
temp_cin[0][0] = prev_out[1873];
temp_cin[0][1] = out[1873];
temp_cin[1][0] = prev_out[1872];
temp_cin[1][1] = out[1872];
temp_cin[2][0] = prev_out[1871];
temp_cin[2][1] = out[1871];
temp_cin[3][0] = prev_out[1870];
temp_cin[3][1] = out[1870];
temp_cin[4][0] = prev_out[1869];
temp_cin[4][1] = out[1869];
temp_cout[0][0] = prev_out[2059];
or_5_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2059] = *(cout_ptr[0]);
(*sym)++;
break;
case 2060:
temp_cin[0][0] = prev_out[2050];
temp_cin[0][1] = out[2050];
temp_cin[1][0] = prev_out[2048];
temp_cin[1][1] = out[2048];
temp_cin[2][0] = prev_out[1874];
temp_cin[2][1] = out[1874];
temp_cin[3][0] = prev_out[2049];
temp_cin[3][1] = out[2049];
temp_cout[0][0] = prev_out[2060];
and_4_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2060] = *(cout_ptr[0]);
(*sym)++;
break;
case 2061:
temp_cin[0][0] = prev_out[2049];
temp_cin[0][1] = out[2049];
temp_cin[1][0] = prev_out[2048];
temp_cin[1][1] = out[2048];
temp_cin[2][0] = prev_out[1875];
temp_cin[2][1] = out[1875];
temp_cout[0][0] = prev_out[2061];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2061] = *(cout_ptr[0]);
(*sym)++;
break;
case 2062:
temp_cin[0][0] = prev_out[2048];
temp_cin[0][1] = out[2048];
temp_cin[1][0] = prev_out[1876];
temp_cin[1][1] = out[1876];
temp_cout[0][0] = prev_out[2062];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2062] = *(cout_ptr[0]);
(*sym)++;
break;
case 2063:
temp_cin[0][0] = prev_out[1216];
temp_cin[0][1] = out[1216];
temp_cin[1][0] = prev_out[1166];
temp_cin[1][1] = out[1166];
temp_cout[0][0] = prev_out[2063];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2063] = *(cout_ptr[0]);
(*sym)++;
break;
case 2064:
temp_cin[0][0] = prev_out[2057];
temp_cin[0][1] = out[2057];
temp_cin[1][0] = prev_out[2056];
temp_cin[1][1] = out[2056];
temp_cin[2][0] = prev_out[2054];
temp_cin[2][1] = out[2054];
temp_cin[3][0] = prev_out[1877];
temp_cin[3][1] = out[1877];
temp_cin[4][0] = prev_out[2055];
temp_cin[4][1] = out[2055];
temp_cout[0][0] = prev_out[2064];
and_5_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2064] = *(cout_ptr[0]);
(*sym)++;
break;
case 2065:
temp_cin[0][0] = prev_out[2056];
temp_cin[0][1] = out[2056];
temp_cin[1][0] = prev_out[2054];
temp_cin[1][1] = out[2054];
temp_cin[2][0] = prev_out[1878];
temp_cin[2][1] = out[1878];
temp_cin[3][0] = prev_out[2055];
temp_cin[3][1] = out[2055];
temp_cout[0][0] = prev_out[2065];
and_4_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2065] = *(cout_ptr[0]);
(*sym)++;
break;
case 2066:
temp_cin[0][0] = prev_out[2055];
temp_cin[0][1] = out[2055];
temp_cin[1][0] = prev_out[2054];
temp_cin[1][1] = out[2054];
temp_cin[2][0] = prev_out[1879];
temp_cin[2][1] = out[1879];
temp_cout[0][0] = prev_out[2066];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2066] = *(cout_ptr[0]);
(*sym)++;
break;
case 2067:
temp_cin[0][0] = prev_out[2054];
temp_cin[0][1] = out[2054];
temp_cin[1][0] = prev_out[1880];
temp_cin[1][1] = out[1880];
temp_cout[0][0] = prev_out[2067];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2067] = *(cout_ptr[0]);
(*sym)++;
break;
case 2068:
temp_cin[0][0] = prev_out[1231];
temp_cin[0][1] = out[1231];
temp_cin[1][0] = prev_out[1181];
temp_cin[1][1] = out[1181];
temp_cout[0][0] = prev_out[2068];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2068] = *(cout_ptr[0]);
(*sym)++;
break;
case 2069:
temp_cin[0][0] = prev_out[1882];
temp_cin[0][1] = out[1882];
temp_cin[1][0] = prev_out[1881];
temp_cin[1][1] = out[1881];
temp_cout[0][0] = prev_out[2069];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2069] = *(cout_ptr[0]);
(*sym)++;
break;
case 2070:
temp_cin[0][0] = prev_out[841];
temp_cin[0][1] = out[841];
temp_cin[1][0] = prev_out[813];
temp_cin[1][1] = out[813];
temp_cout[0][0] = prev_out[2070];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2070] = *(cout_ptr[0]);
(*sym)++;
break;
case 2071:
temp_cin[0][0] = prev_out[1884];
temp_cin[0][1] = out[1884];
temp_cin[1][0] = prev_out[1883];
temp_cin[1][1] = out[1883];
temp_cout[0][0] = prev_out[2071];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2071] = *(cout_ptr[0]);
(*sym)++;
break;
case 2072:
temp_cin[0][0] = prev_out[1004];
temp_cin[0][1] = out[1004];
temp_cin[1][0] = prev_out[964];
temp_cin[1][1] = out[964];
temp_cout[0][0] = prev_out[2072];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2072] = *(cout_ptr[0]);
(*sym)++;
break;
case 2073:
temp_cin[0][0] = prev_out[1886];
temp_cin[0][1] = out[1886];
temp_cin[1][0] = prev_out[1885];
temp_cin[1][1] = out[1885];
temp_cout[0][0] = prev_out[2073];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2073] = *(cout_ptr[0]);
(*sym)++;
break;
case 2074:
temp_cin[0][0] = prev_out[1006];
temp_cin[0][1] = out[1006];
temp_cin[1][0] = prev_out[966];
temp_cin[1][1] = out[966];
temp_cout[0][0] = prev_out[2074];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2074] = *(cout_ptr[0]);
(*sym)++;
break;
case 2075:
temp_cin[0][0] = prev_out[1888];
temp_cin[0][1] = out[1888];
temp_cin[1][0] = prev_out[1887];
temp_cin[1][1] = out[1887];
temp_cout[0][0] = prev_out[2075];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2075] = *(cout_ptr[0]);
(*sym)++;
break;
case 2076:
temp_cin[0][0] = in_params[174][-1];
temp_cin[0][1] = in_params[174][0];
temp_cout[0][0] = prev_out[2076];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2076] = *(cout_ptr[0]);
(*sym)++;
break;
case 2077:
temp_cin[0][0] = in_params[206][-1];
temp_cin[0][1] = in_params[206][0];
temp_cin[1][0] = prev_out[1889];
temp_cin[1][1] = out[1889];
temp_cout[0][0] = prev_out[2077];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2077] = *(cout_ptr[0]);
(*sym)++;
break;
case 2078:
temp_cin[0][0] = prev_out[1891];
temp_cin[0][1] = out[1891];
temp_cin[1][0] = prev_out[1890];
temp_cin[1][1] = out[1890];
temp_cout[0][0] = prev_out[2078];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2078] = *(cout_ptr[0]);
(*sym)++;
break;
case 2079:
temp_cin[0][0] = prev_out[280];
temp_cin[0][1] = out[280];
temp_cin[1][0] = prev_out[1892];
temp_cin[1][1] = out[1892];
temp_cout[0][0] = prev_out[2079];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2079] = *(cout_ptr[0]);
(*sym)++;
break;
case 2080:
temp_cin[0][0] = prev_out[1894];
temp_cin[0][1] = out[1894];
temp_cin[1][0] = prev_out[1893];
temp_cin[1][1] = out[1893];
temp_cout[0][0] = prev_out[2080];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2080] = *(cout_ptr[0]);
(*sym)++;
break;
case 2081:
temp_cin[0][0] = prev_out[1346];
temp_cin[0][1] = out[1346];
temp_cout[0][0] = prev_out[2081];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2081] = *(cout_ptr[0]);
(*sym)++;
break;
case 2082:
temp_cin[0][0] = prev_out[446];
temp_cin[0][1] = out[446];
temp_cout[0][0] = prev_out[2082];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2082] = *(cout_ptr[0]);
(*sym)++;
break;
case 2083:
temp_cin[0][0] = prev_out[1896];
temp_cin[0][1] = out[1896];
temp_cin[1][0] = prev_out[1895];
temp_cin[1][1] = out[1895];
temp_cout[0][0] = prev_out[2083];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2083] = *(cout_ptr[0]);
(*sym)++;
break;
case 2084:
temp_cin[0][0] = prev_out[2083];
temp_cin[0][1] = out[2083];
temp_cout[0][0] = prev_out[2084];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2084] = *(cout_ptr[0]);
(*sym)++;
break;
case 2085:
temp_cin[0][0] = prev_out[446];
temp_cin[0][1] = out[446];
temp_cout[0][0] = prev_out[2085];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2085] = *(cout_ptr[0]);
(*sym)++;
break;
case 2086:
temp_cin[0][0] = prev_out[1898];
temp_cin[0][1] = out[1898];
temp_cin[1][0] = prev_out[1897];
temp_cin[1][1] = out[1897];
temp_cout[0][0] = prev_out[2086];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2086] = *(cout_ptr[0]);
(*sym)++;
break;
case 2087:
temp_cin[0][0] = prev_out[2086];
temp_cin[0][1] = out[2086];
temp_cout[0][0] = prev_out[2087];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2087] = *(cout_ptr[0]);
(*sym)++;
break;
case 2088:
temp_cin[0][0] = prev_out[1900];
temp_cin[0][1] = out[1900];
temp_cin[1][0] = prev_out[1899];
temp_cin[1][1] = out[1899];
temp_cout[0][0] = prev_out[2088];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2088] = *(cout_ptr[0]);
(*sym)++;
break;
case 2089:
temp_cin[0][0] = prev_out[296];
temp_cin[0][1] = out[296];
temp_cin[1][0] = prev_out[1901];
temp_cin[1][1] = out[1901];
temp_cout[0][0] = prev_out[2089];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2089] = *(cout_ptr[0]);
(*sym)++;
break;
case 2090:
temp_cin[0][0] = prev_out[1902];
temp_cin[0][1] = out[1902];
temp_cin[1][0] = prev_out[1347];
temp_cin[1][1] = out[1347];
temp_cout[0][0] = prev_out[2090];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2090] = *(cout_ptr[0]);
(*sym)++;
break;
case 2091:
temp_cin[0][0] = prev_out[1904];
temp_cin[0][1] = out[1904];
temp_cin[1][0] = prev_out[1903];
temp_cin[1][1] = out[1903];
temp_cout[0][0] = prev_out[2091];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2091] = *(cout_ptr[0]);
(*sym)++;
break;
case 2092:
temp_cin[0][0] = prev_out[1906];
temp_cin[0][1] = out[1906];
temp_cin[1][0] = prev_out[1905];
temp_cin[1][1] = out[1905];
temp_cout[0][0] = prev_out[2092];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2092] = *(cout_ptr[0]);
(*sym)++;
break;
case 2093:
temp_cin[0][0] = prev_out[1907];
temp_cin[0][1] = out[1907];
temp_cout[0][0] = prev_out[2093];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2093] = *(cout_ptr[0]);
(*sym)++;
break;
case 2094:
temp_cin[0][0] = prev_out[1358];
temp_cin[0][1] = out[1358];
temp_cout[0][0] = prev_out[2094];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2094] = *(cout_ptr[0]);
(*sym)++;
break;
case 2095:
temp_cin[0][0] = prev_out[454];
temp_cin[0][1] = out[454];
temp_cout[0][0] = prev_out[2095];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2095] = *(cout_ptr[0]);
(*sym)++;
break;
case 2096:
temp_cin[0][0] = prev_out[1909];
temp_cin[0][1] = out[1909];
temp_cin[1][0] = prev_out[1908];
temp_cin[1][1] = out[1908];
temp_cout[0][0] = prev_out[2096];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2096] = *(cout_ptr[0]);
(*sym)++;
break;
case 2097:
temp_cin[0][0] = prev_out[2096];
temp_cin[0][1] = out[2096];
temp_cout[0][0] = prev_out[2097];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2097] = *(cout_ptr[0]);
(*sym)++;
break;
case 2098:
temp_cin[0][0] = prev_out[454];
temp_cin[0][1] = out[454];
temp_cout[0][0] = prev_out[2098];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2098] = *(cout_ptr[0]);
(*sym)++;
break;
case 2099:
temp_cin[0][0] = prev_out[1911];
temp_cin[0][1] = out[1911];
temp_cin[1][0] = prev_out[1910];
temp_cin[1][1] = out[1910];
temp_cout[0][0] = prev_out[2099];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2099] = *(cout_ptr[0]);
(*sym)++;
break;
case 2100:
temp_cin[0][0] = prev_out[2099];
temp_cin[0][1] = out[2099];
temp_cout[0][0] = prev_out[2100];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2100] = *(cout_ptr[0]);
(*sym)++;
break;
case 2101:
temp_cin[0][0] = prev_out[1913];
temp_cin[0][1] = out[1913];
temp_cin[1][0] = prev_out[1912];
temp_cin[1][1] = out[1912];
temp_cout[0][0] = prev_out[2101];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2101] = *(cout_ptr[0]);
(*sym)++;
break;
case 2102:
temp_cin[0][0] = prev_out[312];
temp_cin[0][1] = out[312];
temp_cin[1][0] = prev_out[1914];
temp_cin[1][1] = out[1914];
temp_cout[0][0] = prev_out[2102];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2102] = *(cout_ptr[0]);
(*sym)++;
break;
case 2103:
temp_cin[0][0] = in_params[205][-1];
temp_cin[0][1] = in_params[205][0];
temp_cin[1][0] = prev_out[1930];
temp_cin[1][1] = out[1930];
temp_cin[2][0] = prev_out[1931];
temp_cin[2][1] = out[1931];
temp_cin[3][0] = prev_out[1915];
temp_cin[3][1] = out[1915];
temp_cout[0][0] = prev_out[2103];
and_4_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2103] = *(cout_ptr[0]);
(*sym)++;
break;
case 2104:
temp_cin[0][0] = prev_out[1932];
temp_cin[0][1] = out[1932];
temp_cin[1][0] = prev_out[1931];
temp_cin[1][1] = out[1931];
temp_cin[2][0] = prev_out[1915];
temp_cin[2][1] = out[1915];
temp_cout[0][0] = prev_out[2104];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2104] = *(cout_ptr[0]);
(*sym)++;
break;
case 2105:
temp_cin[0][0] = prev_out[1916];
temp_cin[0][1] = out[1916];
temp_cin[1][0] = prev_out[1915];
temp_cin[1][1] = out[1915];
temp_cout[0][0] = prev_out[2105];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2105] = *(cout_ptr[0]);
(*sym)++;
break;
case 2106:
temp_cin[0][0] = prev_out[1918];
temp_cin[0][1] = out[1918];
temp_cin[1][0] = prev_out[1917];
temp_cin[1][1] = out[1917];
temp_cout[0][0] = prev_out[2106];
or_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2106] = *(cout_ptr[0]);
(*sym)++;
break;
case 2107:
temp_cin[0][0] = prev_out[1920];
temp_cin[0][1] = out[1920];
temp_cin[1][0] = prev_out[1919];
temp_cin[1][1] = out[1919];
temp_cout[0][0] = prev_out[2107];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2107] = *(cout_ptr[0]);
(*sym)++;
break;
case 2108:
temp_cin[0][0] = prev_out[1921];
temp_cin[0][1] = out[1921];
temp_cout[0][0] = prev_out[2108];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2108] = *(cout_ptr[0]);
(*sym)++;
break;
case 2109:
temp_cin[0][0] = prev_out[1922];
temp_cin[0][1] = out[1922];
temp_cout[0][0] = prev_out[2109];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2109] = *(cout_ptr[0]);
(*sym)++;
break;
case 2110:
temp_cin[0][0] = prev_out[574];
temp_cin[0][1] = out[574];
temp_cout[0][0] = prev_out[2110];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2110] = *(cout_ptr[0]);
(*sym)++;
break;
case 2111:
temp_cin[0][0] = prev_out[1924];
temp_cin[0][1] = out[1924];
temp_cin[1][0] = prev_out[1923];
temp_cin[1][1] = out[1923];
temp_cout[0][0] = prev_out[2111];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2111] = *(cout_ptr[0]);
(*sym)++;
break;
case 2112:
temp_cin[0][0] = prev_out[2111];
temp_cin[0][1] = out[2111];
temp_cout[0][0] = prev_out[2112];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2112] = *(cout_ptr[0]);
(*sym)++;
break;
case 2113:
temp_cin[0][0] = prev_out[574];
temp_cin[0][1] = out[574];
temp_cout[0][0] = prev_out[2113];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2113] = *(cout_ptr[0]);
(*sym)++;
break;
case 2114:
temp_cin[0][0] = prev_out[1926];
temp_cin[0][1] = out[1926];
temp_cin[1][0] = prev_out[1925];
temp_cin[1][1] = out[1925];
temp_cout[0][0] = prev_out[2114];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2114] = *(cout_ptr[0]);
(*sym)++;
break;
case 2115:
temp_cin[0][0] = prev_out[2114];
temp_cin[0][1] = out[2114];
temp_cout[0][0] = prev_out[2115];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2115] = *(cout_ptr[0]);
(*sym)++;
break;
case 2116:
temp_cin[0][0] = prev_out[1928];
temp_cin[0][1] = out[1928];
temp_cin[1][0] = prev_out[1927];
temp_cin[1][1] = out[1927];
temp_cout[0][0] = prev_out[2116];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2116] = *(cout_ptr[0]);
(*sym)++;
break;
case 2117:
temp_cin[0][0] = prev_out[322];
temp_cin[0][1] = out[322];
temp_cin[1][0] = prev_out[1929];
temp_cin[1][1] = out[1929];
temp_cout[0][0] = prev_out[2117];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2117] = *(cout_ptr[0]);
(*sym)++;
break;
case 2118:
temp_cin[0][0] = in_params[205][-1];
temp_cin[0][1] = in_params[205][0];
temp_cin[1][0] = prev_out[1930];
temp_cin[1][1] = out[1930];
temp_cin[2][0] = prev_out[1931];
temp_cin[2][1] = out[1931];
temp_cout[0][0] = prev_out[2118];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2118] = *(cout_ptr[0]);
(*sym)++;
break;
case 2119:
temp_cin[0][0] = prev_out[1932];
temp_cin[0][1] = out[1932];
temp_cin[1][0] = prev_out[1931];
temp_cin[1][1] = out[1931];
temp_cout[0][0] = prev_out[2119];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2119] = *(cout_ptr[0]);
(*sym)++;
break;
case 2120:
temp_cin[0][0] = prev_out[1934];
temp_cin[0][1] = out[1934];
temp_cin[1][0] = prev_out[1933];
temp_cin[1][1] = out[1933];
temp_cout[0][0] = prev_out[2120];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2120] = *(cout_ptr[0]);
(*sym)++;
break;
case 2121:
temp_cin[0][0] = prev_out[1629];
temp_cin[0][1] = out[1629];
temp_cout[0][0] = prev_out[2121];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2121] = *(cout_ptr[0]);
(*sym)++;
break;
case 2122:
temp_cin[0][0] = prev_out[1632];
temp_cin[0][1] = out[1632];
temp_cout[0][0] = prev_out[2122];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2122] = *(cout_ptr[0]);
(*sym)++;
break;
case 2123:
temp_cin[0][0] = prev_out[476];
temp_cin[0][1] = out[476];
temp_cout[0][0] = prev_out[2123];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2123] = *(cout_ptr[0]);
(*sym)++;
break;
case 2124:
temp_cin[0][0] = prev_out[1936];
temp_cin[0][1] = out[1936];
temp_cin[1][0] = prev_out[1935];
temp_cin[1][1] = out[1935];
temp_cout[0][0] = prev_out[2124];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2124] = *(cout_ptr[0]);
(*sym)++;
break;
case 2125:
temp_cin[0][0] = prev_out[2124];
temp_cin[0][1] = out[2124];
temp_cout[0][0] = prev_out[2125];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2125] = *(cout_ptr[0]);
(*sym)++;
break;
case 2126:
temp_cin[0][0] = prev_out[476];
temp_cin[0][1] = out[476];
temp_cout[0][0] = prev_out[2126];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2126] = *(cout_ptr[0]);
(*sym)++;
break;
case 2127:
temp_cin[0][0] = prev_out[1938];
temp_cin[0][1] = out[1938];
temp_cin[1][0] = prev_out[1937];
temp_cin[1][1] = out[1937];
temp_cout[0][0] = prev_out[2127];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2127] = *(cout_ptr[0]);
(*sym)++;
break;
case 2128:
temp_cin[0][0] = prev_out[2127];
temp_cin[0][1] = out[2127];
temp_cout[0][0] = prev_out[2128];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2128] = *(cout_ptr[0]);
(*sym)++;
break;
case 2129:
temp_cin[0][0] = prev_out[1939];
temp_cin[0][1] = out[1939];
temp_cin[1][0] = in_params[205][-1];
temp_cin[1][1] = in_params[205][0];
temp_cout[0][0] = prev_out[2129];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2129] = *(cout_ptr[0]);
(*sym)++;
break;
case 2130:
temp_cin[0][0] = prev_out[1944];
temp_cin[0][1] = out[1944];
temp_cin[1][0] = prev_out[1943];
temp_cin[1][1] = out[1943];
temp_cin[2][0] = prev_out[1942];
temp_cin[2][1] = out[1942];
temp_cin[3][0] = prev_out[1941];
temp_cin[3][1] = out[1941];
temp_cin[4][0] = prev_out[1940];
temp_cin[4][1] = out[1940];
temp_cout[0][0] = prev_out[2130];
or_5_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2130] = *(cout_ptr[0]);
(*sym)++;
break;
case 2131:
temp_cin[0][0] = prev_out[2044];
temp_cin[0][1] = out[2044];
temp_cout[0][0] = prev_out[2131];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2131] = *(cout_ptr[0]);
(*sym)++;
break;
case 2132:
temp_cin[0][0] = prev_out[1945];
temp_cin[0][1] = out[1945];
temp_cout[0][0] = prev_out[2132];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2132] = *(cout_ptr[0]);
(*sym)++;
break;
case 2133:
temp_cin[0][0] = prev_out[1947];
temp_cin[0][1] = out[1947];
temp_cin[1][0] = prev_out[1946];
temp_cin[1][1] = out[1946];
temp_cout[0][0] = prev_out[2133];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2133] = *(cout_ptr[0]);
(*sym)++;
break;
case 2134:
temp_cin[0][0] = prev_out[215];
temp_cin[0][1] = out[215];
temp_cin[1][0] = prev_out[277];
temp_cin[1][1] = out[277];
temp_cout[0][0] = prev_out[2134];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2134] = *(cout_ptr[0]);
(*sym)++;
break;
case 2135:
temp_cin[0][0] = prev_out[274];
temp_cin[0][1] = out[274];
temp_cin[1][0] = prev_out[214];
temp_cin[1][1] = out[214];
temp_cout[0][0] = prev_out[2135];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2135] = *(cout_ptr[0]);
(*sym)++;
break;
case 2136:
temp_cin[0][0] = prev_out[1949];
temp_cin[0][1] = out[1949];
temp_cin[1][0] = prev_out[1948];
temp_cin[1][1] = out[1948];
temp_cout[0][0] = prev_out[2136];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2136] = *(cout_ptr[0]);
(*sym)++;
break;
case 2137:
temp_cin[0][0] = prev_out[41];
temp_cin[0][1] = out[41];
temp_cout[0][0] = prev_out[2137];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2137] = *(cout_ptr[0]);
(*sym)++;
break;
case 2138:
temp_cin[0][0] = prev_out[66];
temp_cin[0][1] = out[66];
temp_cout[0][0] = prev_out[2138];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2138] = *(cout_ptr[0]);
(*sym)++;
break;
case 2139:
temp_cin[0][0] = in_params[11][-1];
temp_cin[0][1] = in_params[11][0];
temp_cout[0][0] = prev_out[2139];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2139] = *(cout_ptr[0]);
(*sym)++;
break;
case 2140:
temp_cin[0][0] = prev_out[467];
temp_cin[0][1] = out[467];
temp_cout[0][0] = prev_out[2140];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2140] = *(cout_ptr[0]);
(*sym)++;
break;
case 2141:
temp_cin[0][0] = prev_out[464];
temp_cin[0][1] = out[464];
temp_cin[1][0] = prev_out[1950];
temp_cin[1][1] = out[1950];
temp_cout[0][0] = prev_out[2141];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2141] = *(cout_ptr[0]);
(*sym)++;
break;
case 2142:
temp_cin[0][0] = in_params[11][-1];
temp_cin[0][1] = in_params[11][0];
temp_cin[1][0] = prev_out[1951];
temp_cin[1][1] = out[1951];
temp_cout[0][0] = prev_out[2142];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2142] = *(cout_ptr[0]);
(*sym)++;
break;
case 2143:
temp_cin[0][0] = prev_out[1953];
temp_cin[0][1] = out[1953];
temp_cin[1][0] = prev_out[1952];
temp_cin[1][1] = out[1952];
temp_cout[0][0] = prev_out[2143];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2143] = *(cout_ptr[0]);
(*sym)++;
break;
case 2144:
temp_cin[0][0] = prev_out[1955];
temp_cin[0][1] = out[1955];
temp_cin[1][0] = prev_out[1954];
temp_cin[1][1] = out[1954];
temp_cout[0][0] = prev_out[2144];
nor_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2144] = *(cout_ptr[0]);
(*sym)++;
break;
case 2145:
temp_cin[0][0] = prev_out[1957];
temp_cin[0][1] = out[1957];
temp_cin[1][0] = prev_out[1956];
temp_cin[1][1] = out[1956];
temp_cout[0][0] = prev_out[2145];
nor_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2145] = *(cout_ptr[0]);
(*sym)++;
break;
case 2146:
temp_cin[0][0] = prev_out[1959];
temp_cin[0][1] = out[1959];
temp_cin[1][0] = prev_out[1958];
temp_cin[1][1] = out[1958];
temp_cout[0][0] = prev_out[2146];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2146] = *(cout_ptr[0]);
(*sym)++;
break;
case 2147:
temp_cin[0][0] = prev_out[1961];
temp_cin[0][1] = out[1961];
temp_cin[1][0] = prev_out[1960];
temp_cin[1][1] = out[1960];
temp_cout[0][0] = prev_out[2147];
nor_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2147] = *(cout_ptr[0]);
(*sym)++;
break;
case 2148:
temp_cin[0][0] = prev_out[1963];
temp_cin[0][1] = out[1963];
temp_cin[1][0] = prev_out[1962];
temp_cin[1][1] = out[1962];
temp_cout[0][0] = prev_out[2148];
nor_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2148] = *(cout_ptr[0]);
(*sym)++;
break;
case 2149:
temp_cin[0][0] = prev_out[1965];
temp_cin[0][1] = out[1965];
temp_cin[1][0] = prev_out[1964];
temp_cin[1][1] = out[1964];
temp_cout[0][0] = prev_out[2149];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2149] = *(cout_ptr[0]);
(*sym)++;
break;
case 2150:
temp_cin[0][0] = prev_out[1967];
temp_cin[0][1] = out[1967];
temp_cin[1][0] = prev_out[1966];
temp_cin[1][1] = out[1966];
temp_cout[0][0] = prev_out[2150];
nor_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2150] = *(cout_ptr[0]);
(*sym)++;
break;
case 2151:
temp_cin[0][0] = prev_out[1969];
temp_cin[0][1] = out[1969];
temp_cin[1][0] = prev_out[1968];
temp_cin[1][1] = out[1968];
temp_cout[0][0] = prev_out[2151];
nor_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2151] = *(cout_ptr[0]);
(*sym)++;
break;
case 2152:
temp_cin[0][0] = prev_out[1971];
temp_cin[0][1] = out[1971];
temp_cin[1][0] = prev_out[1970];
temp_cin[1][1] = out[1970];
temp_cout[0][0] = prev_out[2152];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2152] = *(cout_ptr[0]);
(*sym)++;
break;
case 2153:
temp_cin[0][0] = prev_out[1973];
temp_cin[0][1] = out[1973];
temp_cin[1][0] = prev_out[1972];
temp_cin[1][1] = out[1972];
temp_cout[0][0] = prev_out[2153];
nor_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2153] = *(cout_ptr[0]);
(*sym)++;
break;
case 2154:
temp_cin[0][0] = prev_out[1975];
temp_cin[0][1] = out[1975];
temp_cin[1][0] = prev_out[1974];
temp_cin[1][1] = out[1974];
temp_cout[0][0] = prev_out[2154];
nor_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2154] = *(cout_ptr[0]);
(*sym)++;
break;
case 2155:
temp_cin[0][0] = prev_out[1977];
temp_cin[0][1] = out[1977];
temp_cin[1][0] = prev_out[1976];
temp_cin[1][1] = out[1976];
temp_cout[0][0] = prev_out[2155];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2155] = *(cout_ptr[0]);
(*sym)++;
break;
case 2156:
temp_cin[0][0] = prev_out[1979];
temp_cin[0][1] = out[1979];
temp_cin[1][0] = prev_out[1978];
temp_cin[1][1] = out[1978];
temp_cout[0][0] = prev_out[2156];
nor_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2156] = *(cout_ptr[0]);
(*sym)++;
break;
case 2157:
temp_cin[0][0] = prev_out[1981];
temp_cin[0][1] = out[1981];
temp_cin[1][0] = prev_out[1980];
temp_cin[1][1] = out[1980];
temp_cout[0][0] = prev_out[2157];
nor_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2157] = *(cout_ptr[0]);
(*sym)++;
break;
case 2158:
temp_cin[0][0] = prev_out[1983];
temp_cin[0][1] = out[1983];
temp_cin[1][0] = prev_out[1982];
temp_cin[1][1] = out[1982];
temp_cout[0][0] = prev_out[2158];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2158] = *(cout_ptr[0]);
(*sym)++;
break;
case 2159:
temp_cin[0][0] = prev_out[1985];
temp_cin[0][1] = out[1985];
temp_cin[1][0] = prev_out[1984];
temp_cin[1][1] = out[1984];
temp_cout[0][0] = prev_out[2159];
nor_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2159] = *(cout_ptr[0]);
(*sym)++;
break;
case 2160:
temp_cin[0][0] = prev_out[1987];
temp_cin[0][1] = out[1987];
temp_cin[1][0] = prev_out[1986];
temp_cin[1][1] = out[1986];
temp_cout[0][0] = prev_out[2160];
nor_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2160] = *(cout_ptr[0]);
(*sym)++;
break;
case 2161:
temp_cin[0][0] = prev_out[1989];
temp_cin[0][1] = out[1989];
temp_cin[1][0] = prev_out[1988];
temp_cin[1][1] = out[1988];
temp_cout[0][0] = prev_out[2161];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2161] = *(cout_ptr[0]);
(*sym)++;
break;
case 2162:
temp_cin[0][0] = prev_out[1991];
temp_cin[0][1] = out[1991];
temp_cin[1][0] = prev_out[1990];
temp_cin[1][1] = out[1990];
temp_cout[0][0] = prev_out[2162];
nor_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2162] = *(cout_ptr[0]);
(*sym)++;
break;
case 2163:
temp_cin[0][0] = prev_out[1993];
temp_cin[0][1] = out[1993];
temp_cin[1][0] = prev_out[1992];
temp_cin[1][1] = out[1992];
temp_cout[0][0] = prev_out[2163];
nor_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2163] = *(cout_ptr[0]);
(*sym)++;
break;
case 2164:
temp_cin[0][0] = prev_out[1995];
temp_cin[0][1] = out[1995];
temp_cin[1][0] = prev_out[1994];
temp_cin[1][1] = out[1994];
temp_cout[0][0] = prev_out[2164];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2164] = *(cout_ptr[0]);
(*sym)++;
break;
case 2165:
temp_cin[0][0] = prev_out[1997];
temp_cin[0][1] = out[1997];
temp_cin[1][0] = prev_out[1996];
temp_cin[1][1] = out[1996];
temp_cout[0][0] = prev_out[2165];
nor_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2165] = *(cout_ptr[0]);
(*sym)++;
break;
case 2166:
temp_cin[0][0] = prev_out[1999];
temp_cin[0][1] = out[1999];
temp_cin[1][0] = prev_out[1998];
temp_cin[1][1] = out[1998];
temp_cout[0][0] = prev_out[2166];
nor_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2166] = *(cout_ptr[0]);
(*sym)++;
break;
case 2167:
temp_cin[0][0] = prev_out[2001];
temp_cin[0][1] = out[2001];
temp_cin[1][0] = prev_out[2000];
temp_cin[1][1] = out[2000];
temp_cout[0][0] = prev_out[2167];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2167] = *(cout_ptr[0]);
(*sym)++;
break;
case 2168:
temp_cin[0][0] = prev_out[2003];
temp_cin[0][1] = out[2003];
temp_cin[1][0] = prev_out[2002];
temp_cin[1][1] = out[2002];
temp_cout[0][0] = prev_out[2168];
nor_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2168] = *(cout_ptr[0]);
(*sym)++;
break;
case 2169:
temp_cin[0][0] = prev_out[2005];
temp_cin[0][1] = out[2005];
temp_cin[1][0] = prev_out[2004];
temp_cin[1][1] = out[2004];
temp_cout[0][0] = prev_out[2169];
nor_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2169] = *(cout_ptr[0]);
(*sym)++;
break;
case 2170:
temp_cin[0][0] = prev_out[2007];
temp_cin[0][1] = out[2007];
temp_cin[1][0] = prev_out[2006];
temp_cin[1][1] = out[2006];
temp_cout[0][0] = prev_out[2170];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2170] = *(cout_ptr[0]);
(*sym)++;
break;
case 2171:
temp_cin[0][0] = prev_out[2009];
temp_cin[0][1] = out[2009];
temp_cin[1][0] = prev_out[2008];
temp_cin[1][1] = out[2008];
temp_cout[0][0] = prev_out[2171];
nor_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2171] = *(cout_ptr[0]);
(*sym)++;
break;
case 2172:
temp_cin[0][0] = prev_out[2011];
temp_cin[0][1] = out[2011];
temp_cin[1][0] = prev_out[2010];
temp_cin[1][1] = out[2010];
temp_cout[0][0] = prev_out[2172];
nor_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2172] = *(cout_ptr[0]);
(*sym)++;
break;
case 2173:
temp_cin[0][0] = prev_out[2013];
temp_cin[0][1] = out[2013];
temp_cin[1][0] = prev_out[2012];
temp_cin[1][1] = out[2012];
temp_cout[0][0] = prev_out[2173];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2173] = *(cout_ptr[0]);
(*sym)++;
break;
case 2174:
temp_cin[0][0] = prev_out[2015];
temp_cin[0][1] = out[2015];
temp_cin[1][0] = prev_out[2014];
temp_cin[1][1] = out[2014];
temp_cout[0][0] = prev_out[2174];
nor_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2174] = *(cout_ptr[0]);
(*sym)++;
break;
case 2175:
temp_cin[0][0] = prev_out[2017];
temp_cin[0][1] = out[2017];
temp_cin[1][0] = prev_out[2016];
temp_cin[1][1] = out[2016];
temp_cout[0][0] = prev_out[2175];
nor_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2175] = *(cout_ptr[0]);
(*sym)++;
break;
case 2176:
temp_cin[0][0] = prev_out[2019];
temp_cin[0][1] = out[2019];
temp_cin[1][0] = prev_out[2018];
temp_cin[1][1] = out[2018];
temp_cout[0][0] = prev_out[2176];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2176] = *(cout_ptr[0]);
(*sym)++;
break;
case 2177:
temp_cin[0][0] = prev_out[2021];
temp_cin[0][1] = out[2021];
temp_cin[1][0] = prev_out[2020];
temp_cin[1][1] = out[2020];
temp_cout[0][0] = prev_out[2177];
nor_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2177] = *(cout_ptr[0]);
(*sym)++;
break;
case 2178:
temp_cin[0][0] = prev_out[2023];
temp_cin[0][1] = out[2023];
temp_cin[1][0] = prev_out[2022];
temp_cin[1][1] = out[2022];
temp_cout[0][0] = prev_out[2178];
nor_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2178] = *(cout_ptr[0]);
(*sym)++;
break;
case 2179:
temp_cin[0][0] = prev_out[2028];
temp_cin[0][1] = out[2028];
temp_cin[1][0] = prev_out[2027];
temp_cin[1][1] = out[2027];
temp_cin[2][0] = prev_out[2026];
temp_cin[2][1] = out[2026];
temp_cin[3][0] = prev_out[2025];
temp_cin[3][1] = out[2025];
temp_cin[4][0] = prev_out[2024];
temp_cin[4][1] = out[2024];
temp_cout[0][0] = prev_out[2179];
and_5_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2179] = *(cout_ptr[0]);
(*sym)++;
break;
case 2180:
temp_cin[0][0] = prev_out[2030];
temp_cin[0][1] = out[2030];
temp_cin[1][0] = prev_out[2029];
temp_cin[1][1] = out[2029];
temp_cout[0][0] = prev_out[2180];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2180] = *(cout_ptr[0]);
(*sym)++;
break;
case 2181:
temp_cin[0][0] = prev_out[2034];
temp_cin[0][1] = out[2034];
temp_cin[1][0] = prev_out[2033];
temp_cin[1][1] = out[2033];
temp_cin[2][0] = prev_out[2032];
temp_cin[2][1] = out[2032];
temp_cin[3][0] = prev_out[2031];
temp_cin[3][1] = out[2031];
temp_cout[0][0] = prev_out[2181];
or_4_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2181] = *(cout_ptr[0]);
(*sym)++;
break;
case 2182:
temp_cin[0][0] = prev_out[2136];
temp_cin[0][1] = out[2136];
temp_cin[1][0] = prev_out[2035];
temp_cin[1][1] = out[2035];
temp_cin[2][0] = prev_out[2133];
temp_cin[2][1] = out[2133];
temp_cin[3][0] = prev_out[2042];
temp_cin[3][1] = out[2042];
temp_cout[0][0] = prev_out[2182];
and_4_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2182] = *(cout_ptr[0]);
(*sym)++;
break;
case 2183:
temp_cin[0][0] = prev_out[2040];
temp_cin[0][1] = out[2040];
temp_cin[1][0] = prev_out[2039];
temp_cin[1][1] = out[2039];
temp_cin[2][0] = prev_out[2038];
temp_cin[2][1] = out[2038];
temp_cin[3][0] = prev_out[2037];
temp_cin[3][1] = out[2037];
temp_cin[4][0] = prev_out[2036];
temp_cin[4][1] = out[2036];
temp_cout[0][0] = prev_out[2183];
or_5_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2183] = *(cout_ptr[0]);
(*sym)++;
break;
case 2184:
temp_cin[0][0] = prev_out[2133];
temp_cin[0][1] = out[2133];
temp_cin[1][0] = prev_out[2042];
temp_cin[1][1] = out[2042];
temp_cin[2][0] = prev_out[2134];
temp_cin[2][1] = out[2134];
temp_cin[3][0] = prev_out[2136];
temp_cin[3][1] = out[2136];
temp_cout[0][0] = prev_out[2184];
and_4_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2184] = *(cout_ptr[0]);
(*sym)++;
break;
case 2185:
temp_cin[0][0] = prev_out[2136];
temp_cin[0][1] = out[2136];
temp_cin[1][0] = prev_out[2042];
temp_cin[1][1] = out[2042];
temp_cin[2][0] = prev_out[2135];
temp_cin[2][1] = out[2135];
temp_cout[0][0] = prev_out[2185];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2185] = *(cout_ptr[0]);
(*sym)++;
break;
case 2186:
temp_cin[0][0] = prev_out[2042];
temp_cin[0][1] = out[2042];
temp_cin[1][0] = prev_out[2041];
temp_cin[1][1] = out[2041];
temp_cout[0][0] = prev_out[2186];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2186] = *(cout_ptr[0]);
(*sym)++;
break;
case 2187:
temp_cin[0][0] = prev_out[929];
temp_cin[0][1] = out[929];
temp_cin[1][0] = prev_out[783];
temp_cin[1][1] = out[783];
temp_cout[0][0] = prev_out[2187];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2187] = *(cout_ptr[0]);
(*sym)++;
break;
case 2188:
temp_cin[0][0] = prev_out[1526];
temp_cin[0][1] = out[1526];
temp_cin[1][0] = prev_out[2043];
temp_cin[1][1] = out[2043];
temp_cin[2][0] = prev_out[1524];
temp_cin[2][1] = out[1524];
temp_cin[3][0] = prev_out[1528];
temp_cin[3][1] = out[1528];
temp_cin[4][0] = prev_out[1522];
temp_cin[4][1] = out[1522];
temp_cout[0][0] = prev_out[2188];
and_5_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2188] = *(cout_ptr[0]);
(*sym)++;
break;
case 2189:
temp_cin[0][0] = prev_out[2130];
temp_cin[0][1] = out[2130];
temp_cin[1][0] = prev_out[2044];
temp_cin[1][1] = out[2044];
temp_cout[0][0] = prev_out[2189];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2189] = *(cout_ptr[0]);
(*sym)++;
break;
case 2190:
temp_cin[0][0] = prev_out[2045];
temp_cin[0][1] = out[2045];
temp_cin[1][0] = in_params[48][-1];
temp_cin[1][1] = in_params[48][0];
temp_cout[0][0] = prev_out[2190];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2190] = *(cout_ptr[0]);
(*sym)++;
break;
case 2191:
temp_cin[0][0] = prev_out[2052];
temp_cin[0][1] = out[2052];
temp_cout[0][0] = prev_out[2191];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2191] = *(cout_ptr[0]);
(*sym)++;
break;
case 2192:
temp_cin[0][0] = prev_out[2053];
temp_cin[0][1] = out[2053];
temp_cout[0][0] = prev_out[2192];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2192] = *(cout_ptr[0]);
(*sym)++;
break;
case 2193:
temp_cin[0][0] = prev_out[2046];
temp_cin[0][1] = out[2046];
temp_cout[0][0] = prev_out[2193];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2193] = *(cout_ptr[0]);
(*sym)++;
break;
case 2194:
temp_cin[0][0] = prev_out[2047];
temp_cin[0][1] = out[2047];
temp_cin[1][0] = prev_out[1586];
temp_cin[1][1] = out[1586];
temp_cin[2][0] = prev_out[1588];
temp_cin[2][1] = out[1588];
temp_cin[3][0] = prev_out[1590];
temp_cin[3][1] = out[1590];
temp_cin[4][0] = prev_out[1592];
temp_cin[4][1] = out[1592];
temp_cout[0][0] = prev_out[2194];
and_5_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2194] = *(cout_ptr[0]);
(*sym)++;
break;
case 2195:
temp_cin[0][0] = prev_out[2051];
temp_cin[0][1] = out[2051];
temp_cin[1][0] = prev_out[2050];
temp_cin[1][1] = out[2050];
temp_cin[2][0] = prev_out[2049];
temp_cin[2][1] = out[2049];
temp_cin[3][0] = prev_out[2048];
temp_cin[3][1] = out[2048];
temp_cout[0][0] = prev_out[2195];
and_4_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2195] = *(cout_ptr[0]);
(*sym)++;
break;
case 2196:
temp_cin[0][0] = prev_out[2053];
temp_cin[0][1] = out[2053];
temp_cin[1][0] = prev_out[2052];
temp_cin[1][1] = out[2052];
temp_cout[0][0] = prev_out[2196];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2196] = *(cout_ptr[0]);
(*sym)++;
break;
case 2197:
temp_cin[0][0] = prev_out[2058];
temp_cin[0][1] = out[2058];
temp_cin[1][0] = prev_out[2057];
temp_cin[1][1] = out[2057];
temp_cin[2][0] = prev_out[2056];
temp_cin[2][1] = out[2056];
temp_cin[3][0] = prev_out[2055];
temp_cin[3][1] = out[2055];
temp_cin[4][0] = prev_out[2054];
temp_cin[4][1] = out[2054];
temp_cout[0][0] = prev_out[2197];
and_5_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2197] = *(cout_ptr[0]);
(*sym)++;
break;
case 2198:
temp_cin[0][0] = prev_out[2195];
temp_cin[0][1] = out[2195];
temp_cin[1][0] = prev_out[2059];
temp_cin[1][1] = out[2059];
temp_cout[0][0] = prev_out[2198];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2198] = *(cout_ptr[0]);
(*sym)++;
break;
case 2199:
temp_cin[0][0] = prev_out[2063];
temp_cin[0][1] = out[2063];
temp_cin[1][0] = prev_out[2062];
temp_cin[1][1] = out[2062];
temp_cin[2][0] = prev_out[2061];
temp_cin[2][1] = out[2061];
temp_cin[3][0] = prev_out[2060];
temp_cin[3][1] = out[2060];
temp_cout[0][0] = prev_out[2199];
or_4_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2199] = *(cout_ptr[0]);
(*sym)++;
break;
case 2200:
temp_cin[0][0] = prev_out[2068];
temp_cin[0][1] = out[2068];
temp_cin[1][0] = prev_out[2067];
temp_cin[1][1] = out[2067];
temp_cin[2][0] = prev_out[2066];
temp_cin[2][1] = out[2066];
temp_cin[3][0] = prev_out[2065];
temp_cin[3][1] = out[2065];
temp_cin[4][0] = prev_out[2064];
temp_cin[4][1] = out[2064];
temp_cout[0][0] = prev_out[2200];
or_5_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2200] = *(cout_ptr[0]);
(*sym)++;
break;
case 2201:
temp_cin[0][0] = prev_out[2069];
temp_cin[0][1] = out[2069];
temp_cin[1][0] = prev_out[2071];
temp_cin[1][1] = out[2071];
temp_cin[2][0] = prev_out[2073];
temp_cin[2][1] = out[2073];
temp_cin[3][0] = prev_out[2075];
temp_cin[3][1] = out[2075];
temp_cout[0][0] = prev_out[2201];
and_4_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2201] = *(cout_ptr[0]);
(*sym)++;
break;
case 2202:
temp_cin[0][0] = prev_out[2071];
temp_cin[0][1] = out[2071];
temp_cin[1][0] = prev_out[2075];
temp_cin[1][1] = out[2075];
temp_cin[2][0] = prev_out[2070];
temp_cin[2][1] = out[2070];
temp_cin[3][0] = prev_out[2073];
temp_cin[3][1] = out[2073];
temp_cout[0][0] = prev_out[2202];
and_4_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2202] = *(cout_ptr[0]);
(*sym)++;
break;
case 2203:
temp_cin[0][0] = prev_out[2073];
temp_cin[0][1] = out[2073];
temp_cin[1][0] = prev_out[2075];
temp_cin[1][1] = out[2075];
temp_cin[2][0] = prev_out[2072];
temp_cin[2][1] = out[2072];
temp_cout[0][0] = prev_out[2203];
and_3_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2203] = *(cout_ptr[0]);
(*sym)++;
break;
case 2204:
temp_cin[0][0] = prev_out[2075];
temp_cin[0][1] = out[2075];
temp_cin[1][0] = prev_out[2074];
temp_cin[1][1] = out[2074];
temp_cout[0][0] = prev_out[2204];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2204] = *(cout_ptr[0]);
(*sym)++;
break;
case 2205:
temp_cin[0][0] = prev_out[1228];
temp_cin[0][1] = out[1228];
temp_cin[1][0] = prev_out[1178];
temp_cin[1][1] = out[1178];
temp_cout[0][0] = prev_out[2205];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2205] = *(cout_ptr[0]);
(*sym)++;
break;
case 2206:
temp_cin[0][0] = prev_out[1192];
temp_cin[0][1] = out[1192];
temp_cout[0][0] = prev_out[2206];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2206] = *(cout_ptr[0]);
(*sym)++;
break;
case 2207:
temp_cin[0][0] = prev_out[1243];
temp_cin[0][1] = out[1243];
temp_cout[0][0] = prev_out[2207];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2207] = *(cout_ptr[0]);
(*sym)++;
break;
case 2208:
temp_cin[0][0] = prev_out[978];
temp_cin[0][1] = out[978];
temp_cout[0][0] = prev_out[2208];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2208] = *(cout_ptr[0]);
(*sym)++;
break;
case 2209:
temp_cin[0][0] = prev_out[1019];
temp_cin[0][1] = out[1019];
temp_cout[0][0] = prev_out[2209];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2209] = *(cout_ptr[0]);
(*sym)++;
break;
case 2210:
temp_cin[0][0] = prev_out[1198];
temp_cin[0][1] = out[1198];
temp_cout[0][0] = prev_out[2210];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2210] = *(cout_ptr[0]);
(*sym)++;
break;
case 2211:
temp_cin[0][0] = prev_out[1249];
temp_cin[0][1] = out[1249];
temp_cout[0][0] = prev_out[2211];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2211] = *(cout_ptr[0]);
(*sym)++;
break;
case 2212:
temp_cin[0][0] = prev_out[982];
temp_cin[0][1] = out[982];
temp_cout[0][0] = prev_out[2212];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2212] = *(cout_ptr[0]);
(*sym)++;
break;
case 2213:
temp_cin[0][0] = prev_out[1025];
temp_cin[0][1] = out[1025];
temp_cout[0][0] = prev_out[2213];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2213] = *(cout_ptr[0]);
(*sym)++;
break;
case 2214:
temp_cin[0][0] = prev_out[1195];
temp_cin[0][1] = out[1195];
temp_cout[0][0] = prev_out[2214];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2214] = *(cout_ptr[0]);
(*sym)++;
break;
case 2215:
temp_cin[0][0] = prev_out[1246];
temp_cin[0][1] = out[1246];
temp_cout[0][0] = prev_out[2215];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2215] = *(cout_ptr[0]);
(*sym)++;
break;
case 2216:
temp_cin[0][0] = in_params[11][-1];
temp_cin[0][1] = in_params[11][0];
temp_cout[0][0] = prev_out[2216];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2216] = *(cout_ptr[0]);
(*sym)++;
break;
case 2217:
temp_cin[0][0] = in_params[206][-1];
temp_cin[0][1] = in_params[206][0];
temp_cin[1][0] = prev_out[2076];
temp_cin[1][1] = out[2076];
temp_cout[0][0] = prev_out[2217];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2217] = *(cout_ptr[0]);
(*sym)++;
break;
case 2218:
temp_cin[0][0] = prev_out[2217];
temp_cin[0][1] = out[2217];
temp_cout[0][0] = prev_out[2218];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2218] = *(cout_ptr[0]);
(*sym)++;
break;
case 2219:
temp_cin[0][0] = in_params[11][-1];
temp_cin[0][1] = in_params[11][0];
temp_cout[0][0] = prev_out[2219];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2219] = *(cout_ptr[0]);
(*sym)++;
break;
case 2220:
temp_cin[0][0] = prev_out[2077];
temp_cin[0][1] = out[2077];
temp_cout[0][0] = prev_out[2220];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2220] = *(cout_ptr[0]);
(*sym)++;
break;
case 2221:
temp_cin[0][0] = prev_out[2220];
temp_cin[0][1] = out[2220];
temp_cout[0][0] = prev_out[2221];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2221] = *(cout_ptr[0]);
(*sym)++;
break;
case 2222:
temp_cin[0][0] = prev_out[42];
temp_cin[0][1] = out[42];
temp_cout[0][0] = prev_out[2222];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2222] = *(cout_ptr[0]);
(*sym)++;
break;
case 2223:
temp_cin[0][0] = prev_out[69];
temp_cin[0][1] = out[69];
temp_cout[0][0] = prev_out[2223];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2223] = *(cout_ptr[0]);
(*sym)++;
break;
case 2224:
temp_cin[0][0] = prev_out[43];
temp_cin[0][1] = out[43];
temp_cout[0][0] = prev_out[2224];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2224] = *(cout_ptr[0]);
(*sym)++;
break;
case 2225:
temp_cin[0][0] = prev_out[72];
temp_cin[0][1] = out[72];
temp_cout[0][0] = prev_out[2225];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2225] = *(cout_ptr[0]);
(*sym)++;
break;
case 2226:
temp_cin[0][0] = prev_out[168];
temp_cin[0][1] = out[168];
temp_cout[0][0] = prev_out[2226];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2226] = *(cout_ptr[0]);
(*sym)++;
break;
case 2227:
temp_cin[0][0] = prev_out[201];
temp_cin[0][1] = out[201];
temp_cout[0][0] = prev_out[2227];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2227] = *(cout_ptr[0]);
(*sym)++;
break;
case 2228:
temp_cin[0][0] = prev_out[568];
temp_cin[0][1] = out[568];
temp_cout[0][0] = prev_out[2228];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2228] = *(cout_ptr[0]);
(*sym)++;
break;
case 2229:
temp_cin[0][0] = prev_out[620];
temp_cin[0][1] = out[620];
temp_cout[0][0] = prev_out[2229];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2229] = *(cout_ptr[0]);
(*sym)++;
break;
case 2230:
temp_cin[0][0] = prev_out[2079];
temp_cin[0][1] = out[2079];
temp_cin[1][0] = prev_out[2078];
temp_cin[1][1] = out[2078];
temp_cout[0][0] = prev_out[2230];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2230] = *(cout_ptr[0]);
(*sym)++;
break;
case 2231:
temp_cin[0][0] = in_params[205][-1];
temp_cin[0][1] = in_params[205][0];
temp_cout[0][0] = prev_out[2231];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2231] = *(cout_ptr[0]);
(*sym)++;
break;
case 2232:
temp_cin[0][0] = prev_out[2080];
temp_cin[0][1] = out[2080];
temp_cout[0][0] = prev_out[2232];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2232] = *(cout_ptr[0]);
(*sym)++;
break;
case 2233:
temp_cin[0][0] = prev_out[1615];
temp_cin[0][1] = out[1615];
temp_cin[1][0] = prev_out[2081];
temp_cin[1][1] = out[2081];
temp_cout[0][0] = prev_out[2233];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2233] = *(cout_ptr[0]);
(*sym)++;
break;
case 2234:
temp_cin[0][0] = prev_out[2083];
temp_cin[0][1] = out[2083];
temp_cin[1][0] = prev_out[2082];
temp_cin[1][1] = out[2082];
temp_cout[0][0] = prev_out[2234];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2234] = *(cout_ptr[0]);
(*sym)++;
break;
case 2235:
temp_cin[0][0] = prev_out[446];
temp_cin[0][1] = out[446];
temp_cin[1][0] = prev_out[2084];
temp_cin[1][1] = out[2084];
temp_cout[0][0] = prev_out[2235];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2235] = *(cout_ptr[0]);
(*sym)++;
break;
case 2236:
temp_cin[0][0] = prev_out[2086];
temp_cin[0][1] = out[2086];
temp_cin[1][0] = prev_out[2085];
temp_cin[1][1] = out[2085];
temp_cout[0][0] = prev_out[2236];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2236] = *(cout_ptr[0]);
(*sym)++;
break;
case 2237:
temp_cin[0][0] = prev_out[446];
temp_cin[0][1] = out[446];
temp_cin[1][0] = prev_out[2087];
temp_cin[1][1] = out[2087];
temp_cout[0][0] = prev_out[2237];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2237] = *(cout_ptr[0]);
(*sym)++;
break;
case 2238:
temp_cin[0][0] = prev_out[2089];
temp_cin[0][1] = out[2089];
temp_cin[1][0] = prev_out[2088];
temp_cin[1][1] = out[2088];
temp_cout[0][0] = prev_out[2238];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2238] = *(cout_ptr[0]);
(*sym)++;
break;
case 2239:
temp_cin[0][0] = prev_out[2091];
temp_cin[0][1] = out[2091];
temp_cin[1][0] = prev_out[2090];
temp_cin[1][1] = out[2090];
temp_cout[0][0] = prev_out[2239];
or_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2239] = *(cout_ptr[0]);
(*sym)++;
break;
case 2240:
temp_cin[0][0] = prev_out[2239];
temp_cin[0][1] = out[2239];
temp_cout[0][0] = prev_out[2240];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2240] = *(cout_ptr[0]);
(*sym)++;
break;
case 2241:
temp_cin[0][0] = prev_out[2092];
temp_cin[0][1] = out[2092];
temp_cout[0][0] = prev_out[2241];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2241] = *(cout_ptr[0]);
(*sym)++;
break;
case 2242:
temp_cin[0][0] = prev_out[2094];
temp_cin[0][1] = out[2094];
temp_cin[1][0] = prev_out[2093];
temp_cin[1][1] = out[2093];
temp_cout[0][0] = prev_out[2242];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2242] = *(cout_ptr[0]);
(*sym)++;
break;
case 2243:
temp_cin[0][0] = prev_out[2096];
temp_cin[0][1] = out[2096];
temp_cin[1][0] = prev_out[2095];
temp_cin[1][1] = out[2095];
temp_cout[0][0] = prev_out[2243];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2243] = *(cout_ptr[0]);
(*sym)++;
break;
case 2244:
temp_cin[0][0] = prev_out[454];
temp_cin[0][1] = out[454];
temp_cin[1][0] = prev_out[2097];
temp_cin[1][1] = out[2097];
temp_cout[0][0] = prev_out[2244];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2244] = *(cout_ptr[0]);
(*sym)++;
break;
case 2245:
temp_cin[0][0] = prev_out[2099];
temp_cin[0][1] = out[2099];
temp_cin[1][0] = prev_out[2098];
temp_cin[1][1] = out[2098];
temp_cout[0][0] = prev_out[2245];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2245] = *(cout_ptr[0]);
(*sym)++;
break;
case 2246:
temp_cin[0][0] = prev_out[454];
temp_cin[0][1] = out[454];
temp_cin[1][0] = prev_out[2100];
temp_cin[1][1] = out[2100];
temp_cout[0][0] = prev_out[2246];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2246] = *(cout_ptr[0]);
(*sym)++;
break;
case 2247:
temp_cin[0][0] = prev_out[2102];
temp_cin[0][1] = out[2102];
temp_cin[1][0] = prev_out[2101];
temp_cin[1][1] = out[2101];
temp_cout[0][0] = prev_out[2247];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2247] = *(cout_ptr[0]);
(*sym)++;
break;
case 2248:
temp_cin[0][0] = prev_out[2106];
temp_cin[0][1] = out[2106];
temp_cin[1][0] = prev_out[2105];
temp_cin[1][1] = out[2105];
temp_cin[2][0] = prev_out[2104];
temp_cin[2][1] = out[2104];
temp_cin[3][0] = prev_out[2103];
temp_cin[3][1] = out[2103];
temp_cout[0][0] = prev_out[2248];
or_4_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2248] = *(cout_ptr[0]);
(*sym)++;
break;
case 2249:
temp_cin[0][0] = prev_out[2248];
temp_cin[0][1] = out[2248];
temp_cout[0][0] = prev_out[2249];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2249] = *(cout_ptr[0]);
(*sym)++;
break;
case 2250:
temp_cin[0][0] = prev_out[2107];
temp_cin[0][1] = out[2107];
temp_cout[0][0] = prev_out[2250];
not_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2250] = *(cout_ptr[0]);
(*sym)++;
break;
case 2251:
temp_cin[0][0] = prev_out[2109];
temp_cin[0][1] = out[2109];
temp_cin[1][0] = prev_out[2108];
temp_cin[1][1] = out[2108];
temp_cout[0][0] = prev_out[2251];
and_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2251] = *(cout_ptr[0]);
(*sym)++;
break;
case 2252:
temp_cin[0][0] = prev_out[2111];
temp_cin[0][1] = out[2111];
temp_cin[1][0] = prev_out[2110];
temp_cin[1][1] = out[2110];
temp_cout[0][0] = prev_out[2252];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2252] = *(cout_ptr[0]);
(*sym)++;
break;
case 2253:
temp_cin[0][0] = prev_out[574];
temp_cin[0][1] = out[574];
temp_cin[1][0] = prev_out[2112];
temp_cin[1][1] = out[2112];
temp_cout[0][0] = prev_out[2253];
nand_2_inject(fault_no, vecnt, cin_ptr, cout_ptr);
out[2253] = *(cout_ptr[0]);
(*sym)++;
break;
default:
;
}
}