/************************************************************
;                                                           *
;  William M. Spears					    *
;  Navy Center for Applied Research in AI                   *
;  Naval Research Laboratory                                *
;                                                           *
;  Permission is hereby granted to copy all or any part of  *
;  this program for free distribution.			    *
;                                                           *
;************************************************************/
#include "header.h"
#include "stuff.h"
double myeval(i)
int i;
{
	double maxx();
	double avep();
	double AB,AC,AD,AE,AF,AG,AH,AI;
	double AJ,AK,AL,AM,AN,BC,BD,BE;
	double BF,BG,BH,BI,BJ,BK,BL,BM;
	double BN,BO,CD,CE,CF,CG,CH,CI;
	double CJ,CK,CL,CM,CN,CO,DE,DF;
	double DG,DH,DI,DJ,DK,DL,DM,DN;
	double DO,EF,EG,EH,EI,EJ,EK,EL;
	double EM,EN,EO,FG,FH,FI,FJ,FK;
	double FL,FM,FN,FO,GH,GI,GJ,GK;
	double GL,GM,GN,GO,HI,HJ,HK,HL;
	double HM,HN,HO,IJ,IK,IL,IM,IN;
	double IO,JK,JL,JM,JN,JO,KL,KM;
	double KN,KO,LM,LN,LO,MN,MO,NO;
	double OA;
	double T1005,T1036,T1037,T1045,T1053,T1061,T1069,T1070;
	double T1080,T1090,T1100,T1110,T1120,T1121,T1133,T1145;
	double T1157,T1169,T1181,T1193,T1194,T1208,T1222,T1236;
	double T1250,T1264,T1278,T1292,T1293,T1309,T1325,T1341;
	double T1357,T1373,T1389,T1405,T1421,T1422,T1440,T1458;
	double T1476,T1494,T1512,T1530,T1548,T1566,T1584,T1585;
	double T1605,T1625,T1645,T1665,T1685,T1705,T1725,T1745;
	double T1765,T1785,T1786,T1808,T1830,T1852,T1874,T1896;
	double T1918,T1940,T1962,T1984,T2006,T2028,T2029,T2053;
	double T2077,T2101,T2125,T2149,T2173,T2197,T2221,T2245;
	double T2269,T2293,T2317,T2318,T2344,T2370,T2396,T2422;
	double T2448,T2474,T2500,T2526,T2552,T2578,T2604,T2630;
	double T2656,T2657,T2683,T2709,T2735,T2761,T2787,T2813;
	double T2839,T2865,T2891,T2917,T2943,T2969,T2995,T2996;
	double T3022,T3048,T3074,T3100,T3126,T3152,T3178,T3204;
	double T3230,T3256,T3282,T3308,T3334,T3335,T3361,T3387;
	double T3413,T3439,T3465,T3491,T3517,T3543,T3569,T3595;
	double T3621,T3647,T3673,T3674,T3698,T3722,T3746,T3770;
	double T3794,T3818,T3842,T3866,T3890,T3914,T3938,T3962;
	double T3963,T3985,T4007,T4029,T4051,T4073,T4095,T4117;
	double T4139,T4161,T4183,T4205,T4206,T4226,T4246,T4266;
	double T4286,T4306,T4326,T4346,T4366,T4386,T4406,T4407;
	double T4425,T4443,T4461,T4479,T4497,T4515,T4533,T4551;
	double T4569,T4570,T4586,T4602,T4618,T4634,T4650,T4666;
	double T4682,T4698,T4699,T4713,T4727,T4741,T4755,T4769;
	double T4783,T4797,T4798,T4810,T4822,T4834,T4846,T4858;
	double T4870,T4871,T4881,T4891,T4901,T4911,T4921,T4922;
	double T4930,T4938,T4946;
	AB = (double)c[i][1];
	AC = (double)c[i][2];
	AD = (double)c[i][3];
	AE = (double)c[i][4];
	AF = (double)c[i][5];
	AG = (double)c[i][6];
	AH = (double)c[i][7];
	AI = (double)c[i][8];
	AJ = (double)c[i][9];
	AK = (double)c[i][10];
	AL = (double)c[i][11];
	AM = (double)c[i][12];
	AN = (double)c[i][13];
	BC = (double)c[i][14];
	BD = (double)c[i][15];
	BE = (double)c[i][16];
	BF = (double)c[i][17];
	BG = (double)c[i][18];
	BH = (double)c[i][19];
	BI = (double)c[i][20];
	BJ = (double)c[i][21];
	BK = (double)c[i][22];
	BL = (double)c[i][23];
	BM = (double)c[i][24];
	BN = (double)c[i][25];
	BO = (double)c[i][26];
	CD = (double)c[i][27];
	CE = (double)c[i][28];
	CF = (double)c[i][29];
	CG = (double)c[i][30];
	CH = (double)c[i][31];
	CI = (double)c[i][32];
	CJ = (double)c[i][33];
	CK = (double)c[i][34];
	CL = (double)c[i][35];
	CM = (double)c[i][36];
	CN = (double)c[i][37];
	CO = (double)c[i][38];
	DE = (double)c[i][39];
	DF = (double)c[i][40];
	DG = (double)c[i][41];
	DH = (double)c[i][42];
	DI = (double)c[i][43];
	DJ = (double)c[i][44];
	DK = (double)c[i][45];
	DL = (double)c[i][46];
	DM = (double)c[i][47];
	DN = (double)c[i][48];
	DO = (double)c[i][49];
	EF = (double)c[i][50];
	EG = (double)c[i][51];
	EH = (double)c[i][52];
	EI = (double)c[i][53];
	EJ = (double)c[i][54];
	EK = (double)c[i][55];
	EL = (double)c[i][56];
	EM = (double)c[i][57];
	EN = (double)c[i][58];
	EO = (double)c[i][59];
	FG = (double)c[i][60];
	FH = (double)c[i][61];
	FI = (double)c[i][62];
	FJ = (double)c[i][63];
	FK = (double)c[i][64];
	FL = (double)c[i][65];
	FM = (double)c[i][66];
	FN = (double)c[i][67];
	FO = (double)c[i][68];
	GH = (double)c[i][69];
	GI = (double)c[i][70];
	GJ = (double)c[i][71];
	GK = (double)c[i][72];
	GL = (double)c[i][73];
	GM = (double)c[i][74];
	GN = (double)c[i][75];
	GO = (double)c[i][76];
	HI = (double)c[i][77];
	HJ = (double)c[i][78];
	HK = (double)c[i][79];
	HL = (double)c[i][80];
	HM = (double)c[i][81];
	HN = (double)c[i][82];
	HO = (double)c[i][83];
	IJ = (double)c[i][84];
	IK = (double)c[i][85];
	IL = (double)c[i][86];
	IM = (double)c[i][87];
	IN = (double)c[i][88];
	IO = (double)c[i][89];
	JK = (double)c[i][90];
	JL = (double)c[i][91];
	JM = (double)c[i][92];
	JN = (double)c[i][93];
	JO = (double)c[i][94];
	KL = (double)c[i][95];
	KM = (double)c[i][96];
	KN = (double)c[i][97];
	KO = (double)c[i][98];
	LM = (double)c[i][99];
	LN = (double)c[i][100];
	LO = (double)c[i][101];
	MN = (double)c[i][102];
	MO = (double)c[i][103];
	NO = (double)c[i][104];
	OA = (double)c[i][105];
	T1037 = avep(4, KO, (1 - KN), (1 - KM), (1 - KL));
	T1045 = avep(4, (1 - KO), KN, (1 - KM), (1 - KL));
	T1053 = avep(4, (1 - KO), (1 - KN), KM, (1 - KL));
	T1061 = avep(4, (1 - KO), (1 - KN), (1 - KM), KL);
	T1036 = maxx(4, T1037, T1045, T1053, T1061);
	T1070 = avep(5, JO, (1 - JN), (1 - JM), (1 - JL), (1 - JK));
	T1080 = avep(5, (1 - JO), JN, (1 - JM), (1 - JL), (1 - JK));
	T1090 = avep(5, (1 - JO), (1 - JN), JM, (1 - JL), (1 - JK));
	T1100 = avep(5, (1 - JO), (1 - JN), (1 - JM), JL, (1 - JK));
	T1110 = avep(5, (1 - JO), (1 - JN), (1 - JM), (1 - JL), JK);
	T1069 = maxx(5, T1070, T1080, T1090, T1100, T1110);
	T1121 = avep(6, IO, (1 - IN), (1 - IM), (1 - IL), (1 - IK), (1 - IJ));
	T1133 = avep(6, (1 - IO), IN, (1 - IM), (1 - IL), (1 - IK), (1 - IJ));
	T1145 = avep(6, (1 - IO), (1 - IN), IM, (1 - IL), (1 - IK), (1 - IJ));
	T1157 = avep(6, (1 - IO), (1 - IN), (1 - IM), IL, (1 - IK), (1 - IJ));
	T1169 = avep(6, (1 - IO), (1 - IN), (1 - IM), (1 - IL), IK, (1 - IJ));
	T1181 = avep(6, (1 - IO), (1 - IN), (1 - IM), (1 - IL), (1 - IK), IJ);
	T1120 = maxx(6, T1121, T1133, T1145, T1157, T1169, T1181);
	T1194 = avep(7, HO, (1 - HN), (1 - HM), (1 - HL), (1 - HK), (1 - HJ), (1 - HI));
	T1208 = avep(7, (1 - HO), HN, (1 - HM), (1 - HL), (1 - HK), (1 - HJ), (1 - HI));
	T1222 = avep(7, (1 - HO), (1 - HN), HM, (1 - HL), (1 - HK), (1 - HJ), (1 - HI));
	T1236 = avep(7, (1 - HO), (1 - HN), (1 - HM), HL, (1 - HK), (1 - HJ), (1 - HI));
	T1250 = avep(7, (1 - HO), (1 - HN), (1 - HM), (1 - HL), HK, (1 - HJ), (1 - HI));
	T1264 = avep(7, (1 - HO), (1 - HN), (1 - HM), (1 - HL), (1 - HK), HJ, (1 - HI));
	T1278 = avep(7, (1 - HO), (1 - HN), (1 - HM), (1 - HL), (1 - HK), (1 - HJ), HI);
	T1193 = maxx(7, T1194, T1208, T1222, T1236, T1250, T1264, T1278);
	T1293 = avep(8, GO, (1 - GN), (1 - GM), (1 - GL), (1 - GK), (1 - GJ), (1 - GI), (1 - GH));
	T1309 = avep(8, (1 - GO), GN, (1 - GM), (1 - GL), (1 - GK), (1 - GJ), (1 - GI), (1 - GH));
	T1325 = avep(8, (1 - GO), (1 - GN), GM, (1 - GL), (1 - GK), (1 - GJ), (1 - GI), (1 - GH));
	T1341 = avep(8, (1 - GO), (1 - GN), (1 - GM), GL, (1 - GK), (1 - GJ), (1 - GI), (1 - GH));
	T1357 = avep(8, (1 - GO), (1 - GN), (1 - GM), (1 - GL), GK, (1 - GJ), (1 - GI), (1 - GH));
	T1373 = avep(8, (1 - GO), (1 - GN), (1 - GM), (1 - GL), (1 - GK), GJ, (1 - GI), (1 - GH));
	T1389 = avep(8, (1 - GO), (1 - GN), (1 - GM), (1 - GL), (1 - GK), (1 - GJ), GI, (1 - GH));
	T1405 = avep(8, (1 - GO), (1 - GN), (1 - GM), (1 - GL), (1 - GK), (1 - GJ), (1 - GI), GH);
	T1292 = maxx(8, T1293, T1309, T1325, T1341, T1357, T1373, T1389, T1405);
	T1422 = avep(9, FO, (1 - FN), (1 - FM), (1 - FL), (1 - FK), (1 - FJ), (1 - FI), (1 - FH), (1 - FG));
	T1440 = avep(9, (1 - FO), FN, (1 - FM), (1 - FL), (1 - FK), (1 - FJ), (1 - FI), (1 - FH), (1 - FG));
	T1458 = avep(9, (1 - FO), (1 - FN), FM, (1 - FL), (1 - FK), (1 - FJ), (1 - FI), (1 - FH), (1 - FG));
	T1476 = avep(9, (1 - FO), (1 - FN), (1 - FM), FL, (1 - FK), (1 - FJ), (1 - FI), (1 - FH), (1 - FG));
	T1494 = avep(9, (1 - FO), (1 - FN), (1 - FM), (1 - FL), FK, (1 - FJ), (1 - FI), (1 - FH), (1 - FG));
	T1512 = avep(9, (1 - FO), (1 - FN), (1 - FM), (1 - FL), (1 - FK), FJ, (1 - FI), (1 - FH), (1 - FG));
	T1530 = avep(9, (1 - FO), (1 - FN), (1 - FM), (1 - FL), (1 - FK), (1 - FJ), FI, (1 - FH), (1 - FG));
	T1548 = avep(9, (1 - FO), (1 - FN), (1 - FM), (1 - FL), (1 - FK), (1 - FJ), (1 - FI), FH, (1 - FG));
	T1566 = avep(9, (1 - FO), (1 - FN), (1 - FM), (1 - FL), (1 - FK), (1 - FJ), (1 - FI), (1 - FH), FG);
	T1421 = maxx(9, T1422, T1440, T1458, T1476, T1494, T1512, T1530, T1548, T1566);
	T1585 = avep(10, EO, (1 - EN), (1 - EM), (1 - EL), (1 - EK), (1 - EJ), (1 - EI), (1 - EH), (1 - EG), (1 - EF));
	T1605 = avep(10, (1 - EO), EN, (1 - EM), (1 - EL), (1 - EK), (1 - EJ), (1 - EI), (1 - EH), (1 - EG), (1 - EF));
	T1625 = avep(10, (1 - EO), (1 - EN), EM, (1 - EL), (1 - EK), (1 - EJ), (1 - EI), (1 - EH), (1 - EG), (1 - EF));
	T1645 = avep(10, (1 - EO), (1 - EN), (1 - EM), EL, (1 - EK), (1 - EJ), (1 - EI), (1 - EH), (1 - EG), (1 - EF));
	T1665 = avep(10, (1 - EO), (1 - EN), (1 - EM), (1 - EL), EK, (1 - EJ), (1 - EI), (1 - EH), (1 - EG), (1 - EF));
	T1685 = avep(10, (1 - EO), (1 - EN), (1 - EM), (1 - EL), (1 - EK), EJ, (1 - EI), (1 - EH), (1 - EG), (1 - EF));
	T1705 = avep(10, (1 - EO), (1 - EN), (1 - EM), (1 - EL), (1 - EK), (1 - EJ), EI, (1 - EH), (1 - EG), (1 - EF));
	T1725 = avep(10, (1 - EO), (1 - EN), (1 - EM), (1 - EL), (1 - EK), (1 - EJ), (1 - EI), EH, (1 - EG), (1 - EF));
	T1745 = avep(10, (1 - EO), (1 - EN), (1 - EM), (1 - EL), (1 - EK), (1 - EJ), (1 - EI), (1 - EH), EG, (1 - EF));
	T1765 = avep(10, (1 - EO), (1 - EN), (1 - EM), (1 - EL), (1 - EK), (1 - EJ), (1 - EI), (1 - EH), (1 - EG), EF);
	T1584 = maxx(10, T1585, T1605, T1625, T1645, T1665, T1685, T1705, T1725, T1745, T1765);
	T1786 = avep(11, DO, (1 - DN), (1 - DM), (1 - DL), (1 - DK), (1 - DJ), (1 - DI), (1 - DH), (1 - DG), (1 - DF), (1 - DE));
	T1808 = avep(11, (1 - DO), DN, (1 - DM), (1 - DL), (1 - DK), (1 - DJ), (1 - DI), (1 - DH), (1 - DG), (1 - DF), (1 - DE));
	T1830 = avep(11, (1 - DO), (1 - DN), DM, (1 - DL), (1 - DK), (1 - DJ), (1 - DI), (1 - DH), (1 - DG), (1 - DF), (1 - DE));
	T1852 = avep(11, (1 - DO), (1 - DN), (1 - DM), DL, (1 - DK), (1 - DJ), (1 - DI), (1 - DH), (1 - DG), (1 - DF), (1 - DE));
	T1874 = avep(11, (1 - DO), (1 - DN), (1 - DM), (1 - DL), DK, (1 - DJ), (1 - DI), (1 - DH), (1 - DG), (1 - DF), (1 - DE));
	T1896 = avep(11, (1 - DO), (1 - DN), (1 - DM), (1 - DL), (1 - DK), DJ, (1 - DI), (1 - DH), (1 - DG), (1 - DF), (1 - DE));
	T1918 = avep(11, (1 - DO), (1 - DN), (1 - DM), (1 - DL), (1 - DK), (1 - DJ), DI, (1 - DH), (1 - DG), (1 - DF), (1 - DE));
	T1940 = avep(11, (1 - DO), (1 - DN), (1 - DM), (1 - DL), (1 - DK), (1 - DJ), (1 - DI), DH, (1 - DG), (1 - DF), (1 - DE));
	T1962 = avep(11, (1 - DO), (1 - DN), (1 - DM), (1 - DL), (1 - DK), (1 - DJ), (1 - DI), (1 - DH), DG, (1 - DF), (1 - DE));
	T1984 = avep(11, (1 - DO), (1 - DN), (1 - DM), (1 - DL), (1 - DK), (1 - DJ), (1 - DI), (1 - DH), (1 - DG), DF, (1 - DE));
	T2006 = avep(11, (1 - DO), (1 - DN), (1 - DM), (1 - DL), (1 - DK), (1 - DJ), (1 - DI), (1 - DH), (1 - DG), (1 - DF), DE);
	T1785 = maxx(11, T1786, T1808, T1830, T1852, T1874, T1896, T1918, T1940, T1962, T1984, T2006);
	T2029 = avep(12, CO, (1 - CN), (1 - CM), (1 - CL), (1 - CK), (1 - CJ), (1 - CI), (1 - CH), (1 - CG), (1 - CF), (1 - CE), (1 - CD));
	T2053 = avep(12, (1 - CO), CN, (1 - CM), (1 - CL), (1 - CK), (1 - CJ), (1 - CI), (1 - CH), (1 - CG), (1 - CF), (1 - CE), (1 - CD));
	T2077 = avep(12, (1 - CO), (1 - CN), CM, (1 - CL), (1 - CK), (1 - CJ), (1 - CI), (1 - CH), (1 - CG), (1 - CF), (1 - CE), (1 - CD));
	T2101 = avep(12, (1 - CO), (1 - CN), (1 - CM), CL, (1 - CK), (1 - CJ), (1 - CI), (1 - CH), (1 - CG), (1 - CF), (1 - CE), (1 - CD));
	T2125 = avep(12, (1 - CO), (1 - CN), (1 - CM), (1 - CL), CK, (1 - CJ), (1 - CI), (1 - CH), (1 - CG), (1 - CF), (1 - CE), (1 - CD));
	T2149 = avep(12, (1 - CO), (1 - CN), (1 - CM), (1 - CL), (1 - CK), CJ, (1 - CI), (1 - CH), (1 - CG), (1 - CF), (1 - CE), (1 - CD));
	T2173 = avep(12, (1 - CO), (1 - CN), (1 - CM), (1 - CL), (1 - CK), (1 - CJ), CI, (1 - CH), (1 - CG), (1 - CF), (1 - CE), (1 - CD));
	T2197 = avep(12, (1 - CO), (1 - CN), (1 - CM), (1 - CL), (1 - CK), (1 - CJ), (1 - CI), CH, (1 - CG), (1 - CF), (1 - CE), (1 - CD));
	T2221 = avep(12, (1 - CO), (1 - CN), (1 - CM), (1 - CL), (1 - CK), (1 - CJ), (1 - CI), (1 - CH), CG, (1 - CF), (1 - CE), (1 - CD));
	T2245 = avep(12, (1 - CO), (1 - CN), (1 - CM), (1 - CL), (1 - CK), (1 - CJ), (1 - CI), (1 - CH), (1 - CG), CF, (1 - CE), (1 - CD));
	T2269 = avep(12, (1 - CO), (1 - CN), (1 - CM), (1 - CL), (1 - CK), (1 - CJ), (1 - CI), (1 - CH), (1 - CG), (1 - CF), CE, (1 - CD));
	T2293 = avep(12, (1 - CO), (1 - CN), (1 - CM), (1 - CL), (1 - CK), (1 - CJ), (1 - CI), (1 - CH), (1 - CG), (1 - CF), (1 - CE), CD);
	T2028 = maxx(12, T2029, T2053, T2077, T2101, T2125, T2149, T2173, T2197, T2221, T2245, T2269, T2293);
	T2318 = avep(13, BO, (1 - BN), (1 - BM), (1 - BL), (1 - BK), (1 - BJ), (1 - BI), (1 - BH), (1 - BG), (1 - BF), (1 - BE), (1 - BD), (1 - BC));
	T2344 = avep(13, (1 - BO), BN, (1 - BM), (1 - BL), (1 - BK), (1 - BJ), (1 - BI), (1 - BH), (1 - BG), (1 - BF), (1 - BE), (1 - BD), (1 - BC));
	T2370 = avep(13, (1 - BO), (1 - BN), BM, (1 - BL), (1 - BK), (1 - BJ), (1 - BI), (1 - BH), (1 - BG), (1 - BF), (1 - BE), (1 - BD), (1 - BC));
	T2396 = avep(13, (1 - BO), (1 - BN), (1 - BM), BL, (1 - BK), (1 - BJ), (1 - BI), (1 - BH), (1 - BG), (1 - BF), (1 - BE), (1 - BD), (1 - BC));
	T2422 = avep(13, (1 - BO), (1 - BN), (1 - BM), (1 - BL), BK, (1 - BJ), (1 - BI), (1 - BH), (1 - BG), (1 - BF), (1 - BE), (1 - BD), (1 - BC));
	T2448 = avep(13, (1 - BO), (1 - BN), (1 - BM), (1 - BL), (1 - BK), BJ, (1 - BI), (1 - BH), (1 - BG), (1 - BF), (1 - BE), (1 - BD), (1 - BC));
	T2474 = avep(13, (1 - BO), (1 - BN), (1 - BM), (1 - BL), (1 - BK), (1 - BJ), BI, (1 - BH), (1 - BG), (1 - BF), (1 - BE), (1 - BD), (1 - BC));
	T2500 = avep(13, (1 - BO), (1 - BN), (1 - BM), (1 - BL), (1 - BK), (1 - BJ), (1 - BI), BH, (1 - BG), (1 - BF), (1 - BE), (1 - BD), (1 - BC));
	T2526 = avep(13, (1 - BO), (1 - BN), (1 - BM), (1 - BL), (1 - BK), (1 - BJ), (1 - BI), (1 - BH), BG, (1 - BF), (1 - BE), (1 - BD), (1 - BC));
	T2552 = avep(13, (1 - BO), (1 - BN), (1 - BM), (1 - BL), (1 - BK), (1 - BJ), (1 - BI), (1 - BH), (1 - BG), BF, (1 - BE), (1 - BD), (1 - BC));
	T2578 = avep(13, (1 - BO), (1 - BN), (1 - BM), (1 - BL), (1 - BK), (1 - BJ), (1 - BI), (1 - BH), (1 - BG), (1 - BF), BE, (1 - BD), (1 - BC));
	T2604 = avep(13, (1 - BO), (1 - BN), (1 - BM), (1 - BL), (1 - BK), (1 - BJ), (1 - BI), (1 - BH), (1 - BG), (1 - BF), (1 - BE), BD, (1 - BC));
	T2630 = avep(13, (1 - BO), (1 - BN), (1 - BM), (1 - BL), (1 - BK), (1 - BJ), (1 - BI), (1 - BH), (1 - BG), (1 - BF), (1 - BE), (1 - BD), BC);
	T2317 = maxx(13, T2318, T2344, T2370, T2396, T2422, T2448, T2474, T2500, T2526, T2552, T2578, T2604, T2630);
	T2657 = avep(13, AN, (1 - AM), (1 - AL), (1 - AK), (1 - AJ), (1 - AI), (1 - AH), (1 - AG), (1 - AF), (1 - AE), (1 - AD), (1 - AC), (1 - AB));
	T2683 = avep(13, (1 - AN), AM, (1 - AL), (1 - AK), (1 - AJ), (1 - AI), (1 - AH), (1 - AG), (1 - AF), (1 - AE), (1 - AD), (1 - AC), (1 - AB));
	T2709 = avep(13, (1 - AN), (1 - AM), AL, (1 - AK), (1 - AJ), (1 - AI), (1 - AH), (1 - AG), (1 - AF), (1 - AE), (1 - AD), (1 - AC), (1 - AB));
	T2735 = avep(13, (1 - AN), (1 - AM), (1 - AL), AK, (1 - AJ), (1 - AI), (1 - AH), (1 - AG), (1 - AF), (1 - AE), (1 - AD), (1 - AC), (1 - AB));
	T2761 = avep(13, (1 - AN), (1 - AM), (1 - AL), (1 - AK), AJ, (1 - AI), (1 - AH), (1 - AG), (1 - AF), (1 - AE), (1 - AD), (1 - AC), (1 - AB));
	T2787 = avep(13, (1 - AN), (1 - AM), (1 - AL), (1 - AK), (1 - AJ), AI, (1 - AH), (1 - AG), (1 - AF), (1 - AE), (1 - AD), (1 - AC), (1 - AB));
	T2813 = avep(13, (1 - AN), (1 - AM), (1 - AL), (1 - AK), (1 - AJ), (1 - AI), AH, (1 - AG), (1 - AF), (1 - AE), (1 - AD), (1 - AC), (1 - AB));
	T2839 = avep(13, (1 - AN), (1 - AM), (1 - AL), (1 - AK), (1 - AJ), (1 - AI), (1 - AH), AG, (1 - AF), (1 - AE), (1 - AD), (1 - AC), (1 - AB));
	T2865 = avep(13, (1 - AN), (1 - AM), (1 - AL), (1 - AK), (1 - AJ), (1 - AI), (1 - AH), (1 - AG), AF, (1 - AE), (1 - AD), (1 - AC), (1 - AB));
	T2891 = avep(13, (1 - AN), (1 - AM), (1 - AL), (1 - AK), (1 - AJ), (1 - AI), (1 - AH), (1 - AG), (1 - AF), AE, (1 - AD), (1 - AC), (1 - AB));
	T2917 = avep(13, (1 - AN), (1 - AM), (1 - AL), (1 - AK), (1 - AJ), (1 - AI), (1 - AH), (1 - AG), (1 - AF), (1 - AE), AD, (1 - AC), (1 - AB));
	T2943 = avep(13, (1 - AN), (1 - AM), (1 - AL), (1 - AK), (1 - AJ), (1 - AI), (1 - AH), (1 - AG), (1 - AF), (1 - AE), (1 - AD), AC, (1 - AB));
	T2969 = avep(13, (1 - AN), (1 - AM), (1 - AL), (1 - AK), (1 - AJ), (1 - AI), (1 - AH), (1 - AG), (1 - AF), (1 - AE), (1 - AD), (1 - AC), AB);
	T2656 = maxx(13, T2657, T2683, T2709, T2735, T2761, T2787, T2813, T2839, T2865, T2891, T2917, T2943, T2969);
	T2996 = avep(13, NO, (1 - MO), (1 - LO), (1 - KO), (1 - JO), (1 - IO), (1 - HO), (1 - GO), (1 - FO), (1 - EO), (1 - DO), (1 - CO), (1 - BO));
	T3022 = avep(13, (1 - NO), MO, (1 - LO), (1 - KO), (1 - JO), (1 - IO), (1 - HO), (1 - GO), (1 - FO), (1 - EO), (1 - DO), (1 - CO), (1 - BO));
	T3048 = avep(13, (1 - NO), (1 - MO), LO, (1 - KO), (1 - JO), (1 - IO), (1 - HO), (1 - GO), (1 - FO), (1 - EO), (1 - DO), (1 - CO), (1 - BO));
	T3074 = avep(13, (1 - NO), (1 - MO), (1 - LO), KO, (1 - JO), (1 - IO), (1 - HO), (1 - GO), (1 - FO), (1 - EO), (1 - DO), (1 - CO), (1 - BO));
	T3100 = avep(13, (1 - NO), (1 - MO), (1 - LO), (1 - KO), JO, (1 - IO), (1 - HO), (1 - GO), (1 - FO), (1 - EO), (1 - DO), (1 - CO), (1 - BO));
	T3126 = avep(13, (1 - NO), (1 - MO), (1 - LO), (1 - KO), (1 - JO), IO, (1 - HO), (1 - GO), (1 - FO), (1 - EO), (1 - DO), (1 - CO), (1 - BO));
	T3152 = avep(13, (1 - NO), (1 - MO), (1 - LO), (1 - KO), (1 - JO), (1 - IO), HO, (1 - GO), (1 - FO), (1 - EO), (1 - DO), (1 - CO), (1 - BO));
	T3178 = avep(13, (1 - NO), (1 - MO), (1 - LO), (1 - KO), (1 - JO), (1 - IO), (1 - HO), GO, (1 - FO), (1 - EO), (1 - DO), (1 - CO), (1 - BO));
	T3204 = avep(13, (1 - NO), (1 - MO), (1 - LO), (1 - KO), (1 - JO), (1 - IO), (1 - HO), (1 - GO), FO, (1 - EO), (1 - DO), (1 - CO), (1 - BO));
	T3230 = avep(13, (1 - NO), (1 - MO), (1 - LO), (1 - KO), (1 - JO), (1 - IO), (1 - HO), (1 - GO), (1 - FO), EO, (1 - DO), (1 - CO), (1 - BO));
	T3256 = avep(13, (1 - NO), (1 - MO), (1 - LO), (1 - KO), (1 - JO), (1 - IO), (1 - HO), (1 - GO), (1 - FO), (1 - EO), DO, (1 - CO), (1 - BO));
	T3282 = avep(13, (1 - NO), (1 - MO), (1 - LO), (1 - KO), (1 - JO), (1 - IO), (1 - HO), (1 - GO), (1 - FO), (1 - EO), (1 - DO), CO, (1 - BO));
	T3308 = avep(13, (1 - NO), (1 - MO), (1 - LO), (1 - KO), (1 - JO), (1 - IO), (1 - HO), (1 - GO), (1 - FO), (1 - EO), (1 - DO), (1 - CO), BO);
	T2995 = maxx(13, T2996, T3022, T3048, T3074, T3100, T3126, T3152, T3178, T3204, T3230, T3256, T3282, T3308);
	T3335 = avep(13, MN, (1 - LN), (1 - KN), (1 - JN), (1 - IN), (1 - HN), (1 - GN), (1 - FN), (1 - EN), (1 - DN), (1 - CN), (1 - BN), (1 - AN));
	T3361 = avep(13, (1 - MN), LN, (1 - KN), (1 - JN), (1 - IN), (1 - HN), (1 - GN), (1 - FN), (1 - EN), (1 - DN), (1 - CN), (1 - BN), (1 - AN));
	T3387 = avep(13, (1 - MN), (1 - LN), KN, (1 - JN), (1 - IN), (1 - HN), (1 - GN), (1 - FN), (1 - EN), (1 - DN), (1 - CN), (1 - BN), (1 - AN));
	T3413 = avep(13, (1 - MN), (1 - LN), (1 - KN), JN, (1 - IN), (1 - HN), (1 - GN), (1 - FN), (1 - EN), (1 - DN), (1 - CN), (1 - BN), (1 - AN));
	T3439 = avep(13, (1 - MN), (1 - LN), (1 - KN), (1 - JN), IN, (1 - HN), (1 - GN), (1 - FN), (1 - EN), (1 - DN), (1 - CN), (1 - BN), (1 - AN));
	T3465 = avep(13, (1 - MN), (1 - LN), (1 - KN), (1 - JN), (1 - IN), HN, (1 - GN), (1 - FN), (1 - EN), (1 - DN), (1 - CN), (1 - BN), (1 - AN));
	T3491 = avep(13, (1 - MN), (1 - LN), (1 - KN), (1 - JN), (1 - IN), (1 - HN), GN, (1 - FN), (1 - EN), (1 - DN), (1 - CN), (1 - BN), (1 - AN));
	T3517 = avep(13, (1 - MN), (1 - LN), (1 - KN), (1 - JN), (1 - IN), (1 - HN), (1 - GN), FN, (1 - EN), (1 - DN), (1 - CN), (1 - BN), (1 - AN));
	T3543 = avep(13, (1 - MN), (1 - LN), (1 - KN), (1 - JN), (1 - IN), (1 - HN), (1 - GN), (1 - FN), EN, (1 - DN), (1 - CN), (1 - BN), (1 - AN));
	T3569 = avep(13, (1 - MN), (1 - LN), (1 - KN), (1 - JN), (1 - IN), (1 - HN), (1 - GN), (1 - FN), (1 - EN), DN, (1 - CN), (1 - BN), (1 - AN));
	T3595 = avep(13, (1 - MN), (1 - LN), (1 - KN), (1 - JN), (1 - IN), (1 - HN), (1 - GN), (1 - FN), (1 - EN), (1 - DN), CN, (1 - BN), (1 - AN));
	T3621 = avep(13, (1 - MN), (1 - LN), (1 - KN), (1 - JN), (1 - IN), (1 - HN), (1 - GN), (1 - FN), (1 - EN), (1 - DN), (1 - CN), BN, (1 - AN));
	T3647 = avep(13, (1 - MN), (1 - LN), (1 - KN), (1 - JN), (1 - IN), (1 - HN), (1 - GN), (1 - FN), (1 - EN), (1 - DN), (1 - CN), (1 - BN), AN);
	T3334 = maxx(13, T3335, T3361, T3387, T3413, T3439, T3465, T3491, T3517, T3543, T3569, T3595, T3621, T3647);
	T3674 = avep(12, LM, (1 - KM), (1 - JM), (1 - IM), (1 - HM), (1 - GM), (1 - FM), (1 - EM), (1 - DM), (1 - CM), (1 - BM), (1 - AM));
	T3698 = avep(12, (1 - LM), KM, (1 - JM), (1 - IM), (1 - HM), (1 - GM), (1 - FM), (1 - EM), (1 - DM), (1 - CM), (1 - BM), (1 - AM));
	T3722 = avep(12, (1 - LM), (1 - KM), JM, (1 - IM), (1 - HM), (1 - GM), (1 - FM), (1 - EM), (1 - DM), (1 - CM), (1 - BM), (1 - AM));
	T3746 = avep(12, (1 - LM), (1 - KM), (1 - JM), IM, (1 - HM), (1 - GM), (1 - FM), (1 - EM), (1 - DM), (1 - CM), (1 - BM), (1 - AM));
	T3770 = avep(12, (1 - LM), (1 - KM), (1 - JM), (1 - IM), HM, (1 - GM), (1 - FM), (1 - EM), (1 - DM), (1 - CM), (1 - BM), (1 - AM));
	T3794 = avep(12, (1 - LM), (1 - KM), (1 - JM), (1 - IM), (1 - HM), GM, (1 - FM), (1 - EM), (1 - DM), (1 - CM), (1 - BM), (1 - AM));
	T3818 = avep(12, (1 - LM), (1 - KM), (1 - JM), (1 - IM), (1 - HM), (1 - GM), FM, (1 - EM), (1 - DM), (1 - CM), (1 - BM), (1 - AM));
	T3842 = avep(12, (1 - LM), (1 - KM), (1 - JM), (1 - IM), (1 - HM), (1 - GM), (1 - FM), EM, (1 - DM), (1 - CM), (1 - BM), (1 - AM));
	T3866 = avep(12, (1 - LM), (1 - KM), (1 - JM), (1 - IM), (1 - HM), (1 - GM), (1 - FM), (1 - EM), DM, (1 - CM), (1 - BM), (1 - AM));
	T3890 = avep(12, (1 - LM), (1 - KM), (1 - JM), (1 - IM), (1 - HM), (1 - GM), (1 - FM), (1 - EM), (1 - DM), CM, (1 - BM), (1 - AM));
	T3914 = avep(12, (1 - LM), (1 - KM), (1 - JM), (1 - IM), (1 - HM), (1 - GM), (1 - FM), (1 - EM), (1 - DM), (1 - CM), BM, (1 - AM));
	T3938 = avep(12, (1 - LM), (1 - KM), (1 - JM), (1 - IM), (1 - HM), (1 - GM), (1 - FM), (1 - EM), (1 - DM), (1 - CM), (1 - BM), AM);
	T3673 = maxx(12, T3674, T3698, T3722, T3746, T3770, T3794, T3818, T3842, T3866, T3890, T3914, T3938);
	T3963 = avep(11, KL, (1 - JL), (1 - IL), (1 - HL), (1 - GL), (1 - FL), (1 - EL), (1 - DL), (1 - CL), (1 - BL), (1 - AL));
	T3985 = avep(11, (1 - KL), JL, (1 - IL), (1 - HL), (1 - GL), (1 - FL), (1 - EL), (1 - DL), (1 - CL), (1 - BL), (1 - AL));
	T4007 = avep(11, (1 - KL), (1 - JL), IL, (1 - HL), (1 - GL), (1 - FL), (1 - EL), (1 - DL), (1 - CL), (1 - BL), (1 - AL));
	T4029 = avep(11, (1 - KL), (1 - JL), (1 - IL), HL, (1 - GL), (1 - FL), (1 - EL), (1 - DL), (1 - CL), (1 - BL), (1 - AL));
	T4051 = avep(11, (1 - KL), (1 - JL), (1 - IL), (1 - HL), GL, (1 - FL), (1 - EL), (1 - DL), (1 - CL), (1 - BL), (1 - AL));
	T4073 = avep(11, (1 - KL), (1 - JL), (1 - IL), (1 - HL), (1 - GL), FL, (1 - EL), (1 - DL), (1 - CL), (1 - BL), (1 - AL));
	T4095 = avep(11, (1 - KL), (1 - JL), (1 - IL), (1 - HL), (1 - GL), (1 - FL), EL, (1 - DL), (1 - CL), (1 - BL), (1 - AL));
	T4117 = avep(11, (1 - KL), (1 - JL), (1 - IL), (1 - HL), (1 - GL), (1 - FL), (1 - EL), DL, (1 - CL), (1 - BL), (1 - AL));
	T4139 = avep(11, (1 - KL), (1 - JL), (1 - IL), (1 - HL), (1 - GL), (1 - FL), (1 - EL), (1 - DL), CL, (1 - BL), (1 - AL));
	T4161 = avep(11, (1 - KL), (1 - JL), (1 - IL), (1 - HL), (1 - GL), (1 - FL), (1 - EL), (1 - DL), (1 - CL), BL, (1 - AL));
	T4183 = avep(11, (1 - KL), (1 - JL), (1 - IL), (1 - HL), (1 - GL), (1 - FL), (1 - EL), (1 - DL), (1 - CL), (1 - BL), AL);
	T3962 = maxx(11, T3963, T3985, T4007, T4029, T4051, T4073, T4095, T4117, T4139, T4161, T4183);
	T4206 = avep(10, JK, (1 - IK), (1 - HK), (1 - GK), (1 - FK), (1 - EK), (1 - DK), (1 - CK), (1 - BK), (1 - AK));
	T4226 = avep(10, (1 - JK), IK, (1 - HK), (1 - GK), (1 - FK), (1 - EK), (1 - DK), (1 - CK), (1 - BK), (1 - AK));
	T4246 = avep(10, (1 - JK), (1 - IK), HK, (1 - GK), (1 - FK), (1 - EK), (1 - DK), (1 - CK), (1 - BK), (1 - AK));
	T4266 = avep(10, (1 - JK), (1 - IK), (1 - HK), GK, (1 - FK), (1 - EK), (1 - DK), (1 - CK), (1 - BK), (1 - AK));
	T4286 = avep(10, (1 - JK), (1 - IK), (1 - HK), (1 - GK), FK, (1 - EK), (1 - DK), (1 - CK), (1 - BK), (1 - AK));
	T4306 = avep(10, (1 - JK), (1 - IK), (1 - HK), (1 - GK), (1 - FK), EK, (1 - DK), (1 - CK), (1 - BK), (1 - AK));
	T4326 = avep(10, (1 - JK), (1 - IK), (1 - HK), (1 - GK), (1 - FK), (1 - EK), DK, (1 - CK), (1 - BK), (1 - AK));
	T4346 = avep(10, (1 - JK), (1 - IK), (1 - HK), (1 - GK), (1 - FK), (1 - EK), (1 - DK), CK, (1 - BK), (1 - AK));
	T4366 = avep(10, (1 - JK), (1 - IK), (1 - HK), (1 - GK), (1 - FK), (1 - EK), (1 - DK), (1 - CK), BK, (1 - AK));
	T4386 = avep(10, (1 - JK), (1 - IK), (1 - HK), (1 - GK), (1 - FK), (1 - EK), (1 - DK), (1 - CK), (1 - BK), AK);
	T4205 = maxx(10, T4206, T4226, T4246, T4266, T4286, T4306, T4326, T4346, T4366, T4386);
	T4407 = avep(9, IJ, (1 - HJ), (1 - GJ), (1 - FJ), (1 - EJ), (1 - DJ), (1 - CJ), (1 - BJ), (1 - AJ));
	T4425 = avep(9, (1 - IJ), HJ, (1 - GJ), (1 - FJ), (1 - EJ), (1 - DJ), (1 - CJ), (1 - BJ), (1 - AJ));
	T4443 = avep(9, (1 - IJ), (1 - HJ), GJ, (1 - FJ), (1 - EJ), (1 - DJ), (1 - CJ), (1 - BJ), (1 - AJ));
	T4461 = avep(9, (1 - IJ), (1 - HJ), (1 - GJ), FJ, (1 - EJ), (1 - DJ), (1 - CJ), (1 - BJ), (1 - AJ));
	T4479 = avep(9, (1 - IJ), (1 - HJ), (1 - GJ), (1 - FJ), EJ, (1 - DJ), (1 - CJ), (1 - BJ), (1 - AJ));
	T4497 = avep(9, (1 - IJ), (1 - HJ), (1 - GJ), (1 - FJ), (1 - EJ), DJ, (1 - CJ), (1 - BJ), (1 - AJ));
	T4515 = avep(9, (1 - IJ), (1 - HJ), (1 - GJ), (1 - FJ), (1 - EJ), (1 - DJ), CJ, (1 - BJ), (1 - AJ));
	T4533 = avep(9, (1 - IJ), (1 - HJ), (1 - GJ), (1 - FJ), (1 - EJ), (1 - DJ), (1 - CJ), BJ, (1 - AJ));
	T4551 = avep(9, (1 - IJ), (1 - HJ), (1 - GJ), (1 - FJ), (1 - EJ), (1 - DJ), (1 - CJ), (1 - BJ), AJ);
	T4406 = maxx(9, T4407, T4425, T4443, T4461, T4479, T4497, T4515, T4533, T4551);
	T4570 = avep(8, HI, (1 - GI), (1 - FI), (1 - EI), (1 - DI), (1 - CI), (1 - BI), (1 - AI));
	T4586 = avep(8, (1 - HI), GI, (1 - FI), (1 - EI), (1 - DI), (1 - CI), (1 - BI), (1 - AI));
	T4602 = avep(8, (1 - HI), (1 - GI), FI, (1 - EI), (1 - DI), (1 - CI), (1 - BI), (1 - AI));
	T4618 = avep(8, (1 - HI), (1 - GI), (1 - FI), EI, (1 - DI), (1 - CI), (1 - BI), (1 - AI));
	T4634 = avep(8, (1 - HI), (1 - GI), (1 - FI), (1 - EI), DI, (1 - CI), (1 - BI), (1 - AI));
	T4650 = avep(8, (1 - HI), (1 - GI), (1 - FI), (1 - EI), (1 - DI), CI, (1 - BI), (1 - AI));
	T4666 = avep(8, (1 - HI), (1 - GI), (1 - FI), (1 - EI), (1 - DI), (1 - CI), BI, (1 - AI));
	T4682 = avep(8, (1 - HI), (1 - GI), (1 - FI), (1 - EI), (1 - DI), (1 - CI), (1 - BI), AI);
	T4569 = maxx(8, T4570, T4586, T4602, T4618, T4634, T4650, T4666, T4682);
	T4699 = avep(7, GH, (1 - FH), (1 - EH), (1 - DH), (1 - CH), (1 - BH), (1 - AH));
	T4713 = avep(7, (1 - GH), FH, (1 - EH), (1 - DH), (1 - CH), (1 - BH), (1 - AH));
	T4727 = avep(7, (1 - GH), (1 - FH), EH, (1 - DH), (1 - CH), (1 - BH), (1 - AH));
	T4741 = avep(7, (1 - GH), (1 - FH), (1 - EH), DH, (1 - CH), (1 - BH), (1 - AH));
	T4755 = avep(7, (1 - GH), (1 - FH), (1 - EH), (1 - DH), CH, (1 - BH), (1 - AH));
	T4769 = avep(7, (1 - GH), (1 - FH), (1 - EH), (1 - DH), (1 - CH), BH, (1 - AH));
	T4783 = avep(7, (1 - GH), (1 - FH), (1 - EH), (1 - DH), (1 - CH), (1 - BH), AH);
	T4698 = maxx(7, T4699, T4713, T4727, T4741, T4755, T4769, T4783);
	T4798 = avep(6, FG, (1 - EG), (1 - DG), (1 - CG), (1 - BG), (1 - AG));
	T4810 = avep(6, (1 - FG), EG, (1 - DG), (1 - CG), (1 - BG), (1 - AG));
	T4822 = avep(6, (1 - FG), (1 - EG), DG, (1 - CG), (1 - BG), (1 - AG));
	T4834 = avep(6, (1 - FG), (1 - EG), (1 - DG), CG, (1 - BG), (1 - AG));
	T4846 = avep(6, (1 - FG), (1 - EG), (1 - DG), (1 - CG), BG, (1 - AG));
	T4858 = avep(6, (1 - FG), (1 - EG), (1 - DG), (1 - CG), (1 - BG), AG);
	T4797 = maxx(6, T4798, T4810, T4822, T4834, T4846, T4858);
	T4871 = avep(5, EF, (1 - DF), (1 - CF), (1 - BF), (1 - AF));
	T4881 = avep(5, (1 - EF), DF, (1 - CF), (1 - BF), (1 - AF));
	T4891 = avep(5, (1 - EF), (1 - DF), CF, (1 - BF), (1 - AF));
	T4901 = avep(5, (1 - EF), (1 - DF), (1 - CF), BF, (1 - AF));
	T4911 = avep(5, (1 - EF), (1 - DF), (1 - CF), (1 - BF), AF);
	T4870 = maxx(5, T4871, T4881, T4891, T4901, T4911);
	T4922 = avep(4, DE, (1 - CE), (1 - BE), (1 - AE));
	T4930 = avep(4, (1 - DE), CE, (1 - BE), (1 - AE));
	T4938 = avep(4, (1 - DE), (1 - CE), BE, (1 - AE));
	T4946 = avep(4, (1 - DE), (1 - CE), (1 - BE), AE);
	T4921 = maxx(4, T4922, T4930, T4938, T4946);
	T1005 = avep(29, OA, NO, maxx(2, avep(2, MO, (1 - MN)), avep(2, (1 - MO), MN)), maxx(3, avep(3, LO, (1 - LN), (1 - LM)), avep(3, (1 - LO), LN, (1 - LM)), avep(3, (1 - LO), (1 - LN), LM)), T1036, T1069, T1120, T1193, T1292, T1421, T1584, T1785, T2028, T2317, T2656, T2995, T3334, T3673, T3962, T4205, T4406, T4569, T4698, T4797, T4870, T4921, maxx(3, avep(3, CD, (1 - BD), (1 - AD)), avep(3, (1 - CD), BD, (1 - AD)), avep(3, (1 - CD), (1 - BD), AD)), maxx(2, avep(2, BC, (1 - AC)), avep(2, (1 - BC), AC)), AB);
	return(T1005);
};