/*  cladd4.lgc from cladd4.ntk, anamos Version 1.0
 * creation date Mon Feb 15 17:28:36 EST 1988
 * FORMULA-OPTIONS=b0208, GAUSS-OPTIONS=
 */

suffix H, L ;
prim id, and, or ;

/* Trans: 4    Nodes: 2   */
leaf sn_1283868940(n_4_0, n_4_1; n_6_0, n_6_1, n_5_0, n_5_1)
{
	and(n_4_0; n_5_1, n_6_1)
	or(n_4_1; n_5_0, n_6_0)
}
/* Trans: 6    Nodes: 3   */
leaf sn_1451552239(n_1_0, n_1_1; n_6_0, n_6_1, n_5_0, n_5_1, n_4_0, 
n_4_1)
{
	or(\0; n_4_1, n_5_1)
	and(n_1_0; n_6_1, \0)
	and(\1; n_4_0, n_5_0)
	or(n_1_1; n_6_0, \1)
}
/* Trans: 20    Nodes: 10   */
leaf sn_2976838768(n_1_0, n_1_1, n_19_0, n_11_0, n_16_0, n_5_0, n_10_0, 
n_8_0, n_17_0, n_18_0, n_13_0, n_19_1, n_11_1, n_16_1, n_5_1, n_10_1, 
n_8_1, n_17_1, n_18_1, n_13_1; n_4_0, n_4_1, n_9_0, n_9_1, n_7_0, 
n_7_1, n_12_0, n_12_1, n_6_0, n_6_1, n_14_0, n_14_1, n_15_0, n_15_1)
{
	and(\9; n_14_1, n_15_1)
	and(\8; n_12_1, \9)
	and(\7; n_9_1, \8)
	or(\6; n_4_1, \7)
	and(\11; n_6_1, n_12_1)
	and(\10; n_9_1, \11)
	or(\5; \6, \10)
	and(\12; n_7_1, n_9_1)
	or(\4; \5, \12)
	or(\15; n_7_0, n_9_0)
	or(\21; n_14_0, n_15_0)
	or(\20; n_12_0, \21)
	or(\19; n_9_0, \20)
	and(\18; n_4_0, \19)
	and(\26; n_6_1, n_9_1)
	and(\25; n_12_1, \26)
	and(\29; n_9_1, n_12_1)
	and(\28; n_15_1, \29)
	and(\27; n_14_1, \28)
	or(\24; \25, \27)
	or(\23; \12, \24)
	or(\22; n_4_1, \23)
	and(\17; \18, \22)
	or(\31; n_6_0, n_12_0)
	or(\30; n_9_0, \31)
	and(\16; \17, \30)
	and(\14; \15, \16)
	and(\13; n_1_0, \14)
	or(\3; \4, \13)
	and(\33; n_9_1, \14)
	and(\37; n_9_1, \4)
	or(\36; \8, \37)
	or(\40; n_9_0, \14)
	and(\39; \20, \40)
	and(\38; n_19_0, \39)
	or(\35; \36, \38)
	and(\42; n_12_1, \39)
	and(\46; n_12_1, \36)
	or(\45; \9, \46)
	or(\49; n_12_0, \39)
	and(\48; \21, \49)
	and(\47; n_11_0, \48)
	or(\44; \45, \47)
	and(\51; n_14_1, \48)
	and(\54; n_14_1, \45)
	or(\53; n_15_1, \54)
	or(\57; n_14_0, \48)
	and(\56; n_15_0, \57)
	and(\55; n_16_0, \56)
	or(\52; \53, \55)
	and(\50; \51, \52)
	or(\43; \44, \50)
	and(\41; \42, \43)
	or(\34; \35, \41)
	and(\32; \33, \34)
	or(\2; \3, \32)
	and(\59; n_4_0, \14)
	and(\62; n_4_0, \4)
	or(\65; n_4_1, \14)
	and(\64; \23, \65)
	and(\63; n_5_0, \64)
	or(\61; \62, \63)
	and(\67; \15, \64)
	and(\70; \15, \62)
	or(\73; \12, \64)
	and(\72; \24, \73)
	and(\71; n_10_0, \72)
	or(\69; \70, \71)
	or(\77; n_6_0, n_9_0)
	or(\76; n_12_0, \77)
	and(\75; \76, \72)
	and(\79; \76, \70)
	or(\82; \25, \72)
	and(\81; \27, \82)
	and(\80; n_8_0, \81)
	or(\78; \79, \80)
	and(\74; \75, \78)
	or(\68; \69, \74)
	and(\66; \67, \68)
	or(\60; \61, \66)
	and(\58; \59, \60)
	or(\1; \2, \58)
	or(\86; \11, \37)
	and(\88; \31, \40)
	and(\87; n_17_0, \88)
	or(\85; \86, \87)
	and(\90; n_12_1, \88)
	and(\93; n_12_1, \86)
	or(\92; n_6_1, \93)
	or(\96; n_12_0, \88)
	and(\95; n_6_0, \96)
	and(\94; n_18_0, \95)
	or(\91; \92, \94)
	and(\89; \90, \91)
	or(\84; \85, \89)
	and(\83; \33, \84)
	or(\0; \1, \83)
	or(\99; n_7_1, \37)
	and(\101; n_7_0, \40)
	and(\100; n_13_0, \101)
	or(\98; \99, \100)
	and(\97; \33, \98)
	or(n_1_0; \0, \97)
	or(\111; n_9_0, n_12_0)
	or(\110; n_15_0, \111)
	or(\109; n_14_0, \110)
	and(\108; \76, \109)
	and(\107; \15, \108)
	and(\106; n_4_0, \107)
	and(\112; n_1_1, \14)
	or(\105; \106, \112)
	and(\116; n_9_1, \106)
	and(\117; n_19_1, \39)
	or(\115; \116, \117)
	and(\121; n_12_1, \116)
	and(\122; n_11_1, \48)
	or(\120; \121, \122)
	and(\125; n_14_1, \121)
	and(\126; n_16_1, \56)
	or(\124; \125, \126)
	and(\123; \51, \124)
	or(\119; \120, \123)
	and(\118; \42, \119)
	or(\114; \115, \118)
	and(\113; \33, \114)
	or(\104; \105, \113)
	and(\130; n_5_1, \64)
	or(\129; \107, \130)
	and(\134; n_10_1, \72)
	or(\133; \108, \134)
	and(\137; n_8_1, \81)
	or(\136; \109, \137)
	and(\135; \75, \136)
	or(\132; \133, \135)
	and(\131; \67, \132)
	or(\128; \129, \131)
	and(\127; \59, \128)
	or(\103; \104, \127)
	and(\141; n_17_1, \88)
	or(\140; \116, \141)
	and(\144; n_18_1, \95)
	or(\143; \121, \144)
	and(\142; \90, \143)
	or(\139; \140, \142)
	and(\138; \33, \139)
	or(\102; \103, \138)
	and(\147; n_13_1, \101)
	or(\146; \116, \147)
	and(\145; \33, \146)
	or(n_1_1; \102, \145)
	and(\149; n_9_1, \39)
	and(\148; \149, %n_1_0)
	or(n_19_0; \34, \148)
	and(\151; n_12_1, \48)
	and(\150; \151, %n_19_0)
	or(n_11_0; \43, \150)
	and(\153; n_14_1, \56)
	and(\152; \153, %n_11_0)
	or(n_16_0; \52, \152)
	and(\155; n_4_0, \64)
	and(\154; \155, %n_1_0)
	or(n_5_0; \60, \154)
	and(\157; \15, \72)
	and(\156; \157, %n_5_0)
	or(n_10_0; \68, \156)
	and(\159; \76, \81)
	and(\158; \159, %n_10_0)
	or(n_8_0; \78, \158)
	and(\161; n_9_1, \88)
	and(\160; \161, %n_1_0)
	or(n_17_0; \84, \160)
	and(\163; n_12_1, \95)
	and(\162; \163, %n_17_0)
	or(n_18_0; \91, \162)
	and(\165; n_9_1, \101)
	and(\164; \165, %n_1_0)
	or(n_13_0; \98, \164)
	and(\166; \149, %n_1_1)
	or(n_19_1; \114, \166)
	and(\167; \151, %n_19_1)
	or(n_11_1; \119, \167)
	and(\168; \153, %n_11_1)
	or(n_16_1; \124, \168)
	and(\169; \155, %n_1_1)
	or(n_5_1; \128, \169)
	and(\170; \157, %n_5_1)
	or(n_10_1; \132, \170)
	and(\171; \159, %n_10_1)
	or(n_8_1; \136, \171)
	and(\172; \161, %n_1_1)
	or(n_17_1; \139, \172)
	and(\173; \163, %n_17_1)
	or(n_18_1; \143, \173)
	and(\174; \165, %n_1_1)
	or(n_13_1; \146, \174)
}
/* Trans: 12    Nodes: 6   */
leaf sn_2378444360(n_3_0, n_3_1; n_4_0, n_4_1, n_12_0, n_12_1, n_11_0, 
n_11_1, n_10_0, n_10_1, n_8_0, n_8_1)
{
	and(\3; n_10_1, n_11_1)
	and(\2; n_12_1, \3)
	or(\1; n_4_1, \2)
	and(\4; n_8_1, n_12_1)
	or(\0; \1, \4)
	or(\7; n_8_0, n_12_0)
	or(\11; n_10_0, n_11_0)
	or(\10; n_12_0, \11)
	and(\9; n_4_0, \10)
	and(\15; n_11_1, n_12_1)
	and(\14; n_10_1, \15)
	or(\13; \4, \14)
	or(\12; n_4_1, \13)
	and(\8; \9, \12)
	and(\6; \7, \8)
	and(\5; n_3_0, \6)
	or(n_3_0; \0, \5)
	or(\19; n_11_0, n_12_0)
	or(\18; n_10_0, \19)
	and(\17; \18, \7)
	and(\16; n_4_0, \17)
	and(\20; n_3_1, \6)
	or(n_3_1; \16, \20)
}
/* Trans: 6    Nodes: 3   */
leaf sn_2439122661(n_1_0, n_1_1; n_6_0, n_6_1, n_5_0, n_5_1, n_4_0, 
n_4_1)
{
	and(\0; n_4_1, n_5_1)
	or(n_1_0; n_6_1, \0)
	or(\1; n_4_0, n_5_0)
	and(n_1_1; n_6_0, \1)
}
/* Trans: 4    Nodes: 2   */
leaf sn_527303883(n_1_0, n_1_1; n_6_0, n_6_1, n_5_0, n_5_1)
{
	or(n_1_0; n_5_1, n_6_1)
	and(n_1_1; n_5_0, n_6_0)
}
/* Trans: 8    Nodes: 4   */
leaf sn_398042786(n_1_0, n_1_1; n_7_0, n_7_1, n_8_0, n_8_1, n_10_0, 
n_10_1, n_6_0, n_6_1)
{
	and(\2; n_6_1, n_10_1)
	and(\1; n_8_1, \2)
	and(\0; n_7_1, \1)
	and(\7; n_7_1, n_8_1)
	and(\6; n_10_1, \7)
	and(\5; n_6_1, \6)
	or(\10; n_6_0, n_10_0)
	or(\9; n_8_0, \10)
	or(\8; n_7_0, \9)
	and(\4; \5, \8)
	and(\3; n_1_0, \4)
	or(n_1_0; \0, \3)
	or(\13; n_7_0, n_8_0)
	or(\12; n_10_0, \13)
	or(\11; n_6_0, \12)
	and(\14; n_1_1, \4)
	or(n_1_1; \11, \14)
}
/* Trans: 4    Nodes: 1   */
leaf sn_2425639167(n_1_0, n_1_1; n_2_0, n_2_1)
{
	and(\2; n_2_0, n_2_1)
	and(\1; n_2_0, \2)
	and(\0; n_1_0, \1)
	or(n_1_0; n_2_1, \0)
	id(n_1_1; n_2_0)
}
/* Trans: 2    Nodes: 1   */
leaf sn_3708872735(n_1_0, n_1_1; n_2_0, n_2_1)
{
	id(n_1_0; n_2_1)
	id(n_1_1; n_2_0)
}

/* Final structure body */
{
I774, I227, c2, s3, I286, I265, I266, I391, I382, I371, I291, I292, I281, 
I172, I170, I115, I113, I58, I56, ci, I732, c1, s2, I690, c0, s1, I644, s0, I321, 
gpb, I333, I330, I327, I324, I431, I424, I412, I339, I336, I344, I229, ggb, I205, 
I212, I148, I91, I34, I155, I98, I41, b3, a3, b2, a2, b1, a1, b0, a0 ;
	sn_1283868940"0/"(I774:L, I774:H; I227:L, I227:H, c2:L, c2:H)
	sn_1451552239"1/"(s3:L, s3:H; I774:L, I774:H, I227:L, I227:H, 
c2:L, c2:H)
	sn_2976838768"2/"(c2:L, c2:H, I286:L, I265:L, I266:L, I391:L, 
I382:L, I371:L, I291:L, I292:L, I281:L, I286:H, I265:H, I266:H, I391:H, I382:H, 
I371:H, I291:H, I292:H, I281:H; I172:L, I172:H, I170:L, I170:H, I115:L, I115:H, 
I113:L, I113:H, I58:L, I58:H, I56:L, I56:H, ci:L, ci:H)
	sn_1283868940"3/"(I732:L, I732:H; I170:L, I170:H, c1:L, c1:H)
	sn_1451552239"4/"(s2:L, s2:H; I732:L, I732:H, I170:L, I170:H, 
c1:L, c1:H)
	sn_2378444360"5/"(c1:L, c1:H; I115:L, I115:H, I113:L, I113:H, 
ci:L, ci:H, I56:L, I56:H, I58:L, I58:H)
	sn_1283868940"6/"(I690:L, I690:H; I113:L, I113:H, c0:L, c0:H)
	sn_1451552239"7/"(s1:L, s1:H; I690:L, I690:H, I113:L, I113:H, 
c0:L, c0:H)
	sn_2439122661"8/"(c0:L, c0:H; I58:L, I58:H, I56:L, I56:H, ci:L, 
ci:H)
	sn_527303883"9/"(I644:L, I644:H; I56:L, I56:H, ci:L, ci:H)
	sn_2439122661"10/"(s0:L, s0:H; I644:L, I644:H, I56:L, I56:H, 
ci:L, ci:H)
	sn_398042786"11/"(I321:L, I321:H; I227:L, I227:H, I170:L, I170:H, 
I113:L, I113:H, I56:L, I56:H)
	sn_2425639167"12/"(gpb:L, gpb:H; I321:L, I321:H)
	sn_2976838768"13/"(I333:L, I333:H, I330:L, I327:L, I324:L, I431:L, 
I424:L, I412:L, I339:L, I336:L, I344:L, I330:H, I327:H, I324:H, I431:H, I424:H, 
I412:H, I339:H, I336:H, I344:H; I229:L, I229:H, I227:L, I227:H, I172:L, I172:H, 
I170:L, I170:H, I115:L, I115:H, I113:L, I113:H, I58:L, I58:H)
	sn_2425639167"14/"(ggb:L, ggb:H; I333:L, I333:H)
	sn_3708872735"15/"(I229:L, I229:H; I205:L, I205:H)
	sn_3708872735"16/"(I227:L, I227:H; I212:L, I212:H)
	sn_3708872735"17/"(I172:L, I172:H; I148:L, I148:H)
	sn_3708872735"18/"(I115:L, I115:H; I91:L, I91:H)
	sn_3708872735"19/"(I58:L, I58:H; I34:L, I34:H)
	sn_3708872735"20/"(I170:L, I170:H; I155:L, I155:H)
	sn_3708872735"21/"(I113:L, I113:H; I98:L, I98:H)
	sn_3708872735"22/"(I56:L, I56:H; I41:L, I41:H)
	sn_1451552239"23/"(I212:L, I212:H; I205:L, I205:H, b3:L, b3:H, 
a3:L, a3:H)
	sn_1283868940"24/"(I205:L, I205:H; b3:L, b3:H, a3:L, a3:H)
	sn_1451552239"25/"(I155:L, I155:H; I148:L, I148:H, b2:L, b2:H, 
a2:L, a2:H)
	sn_1283868940"26/"(I148:L, I148:H; b2:L, b2:H, a2:L, a2:H)
	sn_1451552239"27/"(I98:L, I98:H; I91:L, I91:H, b1:L, b1:H, a1:L, 
a1:H)
	sn_1283868940"28/"(I91:L, I91:H; b1:L, b1:H, a1:L, a1:H)
	sn_1451552239"29/"(I41:L, I41:H; I34:L, I34:H, b0:L, b0:H, a0:L, 
a0:H)
	sn_1283868940"30/"(I34:L, I34:H; b0:L, b0:H, a0:L, a0:H)
}