/************************************************************
;                                                           *
;  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,BC,BD,BE,BF;
	double BG,BH,BI,BJ,BK,BL,BM,BN;
	double CD,CE,CF,CG,CH,CI,CJ,CK;
	double CL,CM,CN,DE,DF,DG,DH,DI;
	double DJ,DK,DL,DM,DN,EF,EG,EH;
	double EI,EJ,EK,EL,EM,EN,FG,FH;
	double FI,FJ,FK,FL,FM,FN,GH,GI;
	double GJ,GK,GL,GM,GN,HI,HJ,HK;
	double HL,HM,HN,IJ,IK,IL,IM,IN;
	double JK,JL,JM,JN,KL,KM,KN,LM;
	double LN,MN,NA;
	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,T2342,T2366,T2390,T2414;
	double T2438,T2462,T2486,T2510,T2534,T2558,T2582,T2606;
	double T2607,T2631,T2655,T2679,T2703,T2727,T2751,T2775;
	double T2799,T2823,T2847,T2871,T2895,T2896,T2920,T2944;
	double T2968,T2992,T3016,T3040,T3064,T3088,T3112,T3136;
	double T3160,T3184,T3185,T3207,T3229,T3251,T3273,T3295;
	double T3317,T3339,T3361,T3383,T3405,T3427,T3428,T3448;
	double T3468,T3488,T3508,T3528,T3548,T3568,T3588,T3608;
	double T3628,T3629,T3647,T3665,T3683,T3701,T3719,T3737;
	double T3755,T3773,T3791,T3792,T3808,T3824,T3840,T3856;
	double T3872,T3888,T3904,T3920,T3921,T3935,T3949,T3963;
	double T3977,T3991,T4005,T4019,T4020,T4032,T4044,T4056;
	double T4068,T4080,T4092,T4093,T4103,T4113,T4123,T4133;
	double T4143,T4144,T4152,T4160,T4168;
	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];
	BC = (double)c[i][13];
	BD = (double)c[i][14];
	BE = (double)c[i][15];
	BF = (double)c[i][16];
	BG = (double)c[i][17];
	BH = (double)c[i][18];
	BI = (double)c[i][19];
	BJ = (double)c[i][20];
	BK = (double)c[i][21];
	BL = (double)c[i][22];
	BM = (double)c[i][23];
	BN = (double)c[i][24];
	CD = (double)c[i][25];
	CE = (double)c[i][26];
	CF = (double)c[i][27];
	CG = (double)c[i][28];
	CH = (double)c[i][29];
	CI = (double)c[i][30];
	CJ = (double)c[i][31];
	CK = (double)c[i][32];
	CL = (double)c[i][33];
	CM = (double)c[i][34];
	CN = (double)c[i][35];
	DE = (double)c[i][36];
	DF = (double)c[i][37];
	DG = (double)c[i][38];
	DH = (double)c[i][39];
	DI = (double)c[i][40];
	DJ = (double)c[i][41];
	DK = (double)c[i][42];
	DL = (double)c[i][43];
	DM = (double)c[i][44];
	DN = (double)c[i][45];
	EF = (double)c[i][46];
	EG = (double)c[i][47];
	EH = (double)c[i][48];
	EI = (double)c[i][49];
	EJ = (double)c[i][50];
	EK = (double)c[i][51];
	EL = (double)c[i][52];
	EM = (double)c[i][53];
	EN = (double)c[i][54];
	FG = (double)c[i][55];
	FH = (double)c[i][56];
	FI = (double)c[i][57];
	FJ = (double)c[i][58];
	FK = (double)c[i][59];
	FL = (double)c[i][60];
	FM = (double)c[i][61];
	FN = (double)c[i][62];
	GH = (double)c[i][63];
	GI = (double)c[i][64];
	GJ = (double)c[i][65];
	GK = (double)c[i][66];
	GL = (double)c[i][67];
	GM = (double)c[i][68];
	GN = (double)c[i][69];
	HI = (double)c[i][70];
	HJ = (double)c[i][71];
	HK = (double)c[i][72];
	HL = (double)c[i][73];
	HM = (double)c[i][74];
	HN = (double)c[i][75];
	IJ = (double)c[i][76];
	IK = (double)c[i][77];
	IL = (double)c[i][78];
	IM = (double)c[i][79];
	IN = (double)c[i][80];
	JK = (double)c[i][81];
	JL = (double)c[i][82];
	JM = (double)c[i][83];
	JN = (double)c[i][84];
	KL = (double)c[i][85];
	KM = (double)c[i][86];
	KN = (double)c[i][87];
	LM = (double)c[i][88];
	LN = (double)c[i][89];
	MN = (double)c[i][90];
	NA = (double)c[i][91];
	T1037 = avep(4, JN, (1 - JM), (1 - JL), (1 - JK));
	T1045 = avep(4, (1 - JN), JM, (1 - JL), (1 - JK));
	T1053 = avep(4, (1 - JN), (1 - JM), JL, (1 - JK));
	T1061 = avep(4, (1 - JN), (1 - JM), (1 - JL), JK);
	T1036 = maxx(4, T1037, T1045, T1053, T1061);
	T1070 = avep(5, IN, (1 - IM), (1 - IL), (1 - IK), (1 - IJ));
	T1080 = avep(5, (1 - IN), IM, (1 - IL), (1 - IK), (1 - IJ));
	T1090 = avep(5, (1 - IN), (1 - IM), IL, (1 - IK), (1 - IJ));
	T1100 = avep(5, (1 - IN), (1 - IM), (1 - IL), IK, (1 - IJ));
	T1110 = avep(5, (1 - IN), (1 - IM), (1 - IL), (1 - IK), IJ);
	T1069 = maxx(5, T1070, T1080, T1090, T1100, T1110);
	T1121 = avep(6, HN, (1 - HM), (1 - HL), (1 - HK), (1 - HJ), (1 - HI));
	T1133 = avep(6, (1 - HN), HM, (1 - HL), (1 - HK), (1 - HJ), (1 - HI));
	T1145 = avep(6, (1 - HN), (1 - HM), HL, (1 - HK), (1 - HJ), (1 - HI));
	T1157 = avep(6, (1 - HN), (1 - HM), (1 - HL), HK, (1 - HJ), (1 - HI));
	T1169 = avep(6, (1 - HN), (1 - HM), (1 - HL), (1 - HK), HJ, (1 - HI));
	T1181 = avep(6, (1 - HN), (1 - HM), (1 - HL), (1 - HK), (1 - HJ), HI);
	T1120 = maxx(6, T1121, T1133, T1145, T1157, T1169, T1181);
	T1194 = avep(7, GN, (1 - GM), (1 - GL), (1 - GK), (1 - GJ), (1 - GI), (1 - GH));
	T1208 = avep(7, (1 - GN), GM, (1 - GL), (1 - GK), (1 - GJ), (1 - GI), (1 - GH));
	T1222 = avep(7, (1 - GN), (1 - GM), GL, (1 - GK), (1 - GJ), (1 - GI), (1 - GH));
	T1236 = avep(7, (1 - GN), (1 - GM), (1 - GL), GK, (1 - GJ), (1 - GI), (1 - GH));
	T1250 = avep(7, (1 - GN), (1 - GM), (1 - GL), (1 - GK), GJ, (1 - GI), (1 - GH));
	T1264 = avep(7, (1 - GN), (1 - GM), (1 - GL), (1 - GK), (1 - GJ), GI, (1 - GH));
	T1278 = avep(7, (1 - GN), (1 - GM), (1 - GL), (1 - GK), (1 - GJ), (1 - GI), GH);
	T1193 = maxx(7, T1194, T1208, T1222, T1236, T1250, T1264, T1278);
	T1293 = avep(8, FN, (1 - FM), (1 - FL), (1 - FK), (1 - FJ), (1 - FI), (1 - FH), (1 - FG));
	T1309 = avep(8, (1 - FN), FM, (1 - FL), (1 - FK), (1 - FJ), (1 - FI), (1 - FH), (1 - FG));
	T1325 = avep(8, (1 - FN), (1 - FM), FL, (1 - FK), (1 - FJ), (1 - FI), (1 - FH), (1 - FG));
	T1341 = avep(8, (1 - FN), (1 - FM), (1 - FL), FK, (1 - FJ), (1 - FI), (1 - FH), (1 - FG));
	T1357 = avep(8, (1 - FN), (1 - FM), (1 - FL), (1 - FK), FJ, (1 - FI), (1 - FH), (1 - FG));
	T1373 = avep(8, (1 - FN), (1 - FM), (1 - FL), (1 - FK), (1 - FJ), FI, (1 - FH), (1 - FG));
	T1389 = avep(8, (1 - FN), (1 - FM), (1 - FL), (1 - FK), (1 - FJ), (1 - FI), FH, (1 - FG));
	T1405 = avep(8, (1 - FN), (1 - FM), (1 - FL), (1 - FK), (1 - FJ), (1 - FI), (1 - FH), FG);
	T1292 = maxx(8, T1293, T1309, T1325, T1341, T1357, T1373, T1389, T1405);
	T1422 = avep(9, EN, (1 - EM), (1 - EL), (1 - EK), (1 - EJ), (1 - EI), (1 - EH), (1 - EG), (1 - EF));
	T1440 = avep(9, (1 - EN), EM, (1 - EL), (1 - EK), (1 - EJ), (1 - EI), (1 - EH), (1 - EG), (1 - EF));
	T1458 = avep(9, (1 - EN), (1 - EM), EL, (1 - EK), (1 - EJ), (1 - EI), (1 - EH), (1 - EG), (1 - EF));
	T1476 = avep(9, (1 - EN), (1 - EM), (1 - EL), EK, (1 - EJ), (1 - EI), (1 - EH), (1 - EG), (1 - EF));
	T1494 = avep(9, (1 - EN), (1 - EM), (1 - EL), (1 - EK), EJ, (1 - EI), (1 - EH), (1 - EG), (1 - EF));
	T1512 = avep(9, (1 - EN), (1 - EM), (1 - EL), (1 - EK), (1 - EJ), EI, (1 - EH), (1 - EG), (1 - EF));
	T1530 = avep(9, (1 - EN), (1 - EM), (1 - EL), (1 - EK), (1 - EJ), (1 - EI), EH, (1 - EG), (1 - EF));
	T1548 = avep(9, (1 - EN), (1 - EM), (1 - EL), (1 - EK), (1 - EJ), (1 - EI), (1 - EH), EG, (1 - EF));
	T1566 = avep(9, (1 - EN), (1 - EM), (1 - EL), (1 - EK), (1 - EJ), (1 - EI), (1 - EH), (1 - EG), EF);
	T1421 = maxx(9, T1422, T1440, T1458, T1476, T1494, T1512, T1530, T1548, T1566);
	T1585 = avep(10, DN, (1 - DM), (1 - DL), (1 - DK), (1 - DJ), (1 - DI), (1 - DH), (1 - DG), (1 - DF), (1 - DE));
	T1605 = avep(10, (1 - DN), DM, (1 - DL), (1 - DK), (1 - DJ), (1 - DI), (1 - DH), (1 - DG), (1 - DF), (1 - DE));
	T1625 = avep(10, (1 - DN), (1 - DM), DL, (1 - DK), (1 - DJ), (1 - DI), (1 - DH), (1 - DG), (1 - DF), (1 - DE));
	T1645 = avep(10, (1 - DN), (1 - DM), (1 - DL), DK, (1 - DJ), (1 - DI), (1 - DH), (1 - DG), (1 - DF), (1 - DE));
	T1665 = avep(10, (1 - DN), (1 - DM), (1 - DL), (1 - DK), DJ, (1 - DI), (1 - DH), (1 - DG), (1 - DF), (1 - DE));
	T1685 = avep(10, (1 - DN), (1 - DM), (1 - DL), (1 - DK), (1 - DJ), DI, (1 - DH), (1 - DG), (1 - DF), (1 - DE));
	T1705 = avep(10, (1 - DN), (1 - DM), (1 - DL), (1 - DK), (1 - DJ), (1 - DI), DH, (1 - DG), (1 - DF), (1 - DE));
	T1725 = avep(10, (1 - DN), (1 - DM), (1 - DL), (1 - DK), (1 - DJ), (1 - DI), (1 - DH), DG, (1 - DF), (1 - DE));
	T1745 = avep(10, (1 - DN), (1 - DM), (1 - DL), (1 - DK), (1 - DJ), (1 - DI), (1 - DH), (1 - DG), DF, (1 - DE));
	T1765 = avep(10, (1 - DN), (1 - DM), (1 - DL), (1 - DK), (1 - DJ), (1 - DI), (1 - DH), (1 - DG), (1 - DF), DE);
	T1584 = maxx(10, T1585, T1605, T1625, T1645, T1665, T1685, T1705, T1725, T1745, T1765);
	T1786 = avep(11, CN, (1 - CM), (1 - CL), (1 - CK), (1 - CJ), (1 - CI), (1 - CH), (1 - CG), (1 - CF), (1 - CE), (1 - CD));
	T1808 = avep(11, (1 - CN), CM, (1 - CL), (1 - CK), (1 - CJ), (1 - CI), (1 - CH), (1 - CG), (1 - CF), (1 - CE), (1 - CD));
	T1830 = avep(11, (1 - CN), (1 - CM), CL, (1 - CK), (1 - CJ), (1 - CI), (1 - CH), (1 - CG), (1 - CF), (1 - CE), (1 - CD));
	T1852 = avep(11, (1 - CN), (1 - CM), (1 - CL), CK, (1 - CJ), (1 - CI), (1 - CH), (1 - CG), (1 - CF), (1 - CE), (1 - CD));
	T1874 = avep(11, (1 - CN), (1 - CM), (1 - CL), (1 - CK), CJ, (1 - CI), (1 - CH), (1 - CG), (1 - CF), (1 - CE), (1 - CD));
	T1896 = avep(11, (1 - CN), (1 - CM), (1 - CL), (1 - CK), (1 - CJ), CI, (1 - CH), (1 - CG), (1 - CF), (1 - CE), (1 - CD));
	T1918 = avep(11, (1 - CN), (1 - CM), (1 - CL), (1 - CK), (1 - CJ), (1 - CI), CH, (1 - CG), (1 - CF), (1 - CE), (1 - CD));
	T1940 = avep(11, (1 - CN), (1 - CM), (1 - CL), (1 - CK), (1 - CJ), (1 - CI), (1 - CH), CG, (1 - CF), (1 - CE), (1 - CD));
	T1962 = avep(11, (1 - CN), (1 - CM), (1 - CL), (1 - CK), (1 - CJ), (1 - CI), (1 - CH), (1 - CG), CF, (1 - CE), (1 - CD));
	T1984 = avep(11, (1 - CN), (1 - CM), (1 - CL), (1 - CK), (1 - CJ), (1 - CI), (1 - CH), (1 - CG), (1 - CF), CE, (1 - CD));
	T2006 = avep(11, (1 - CN), (1 - CM), (1 - CL), (1 - CK), (1 - CJ), (1 - CI), (1 - CH), (1 - CG), (1 - CF), (1 - CE), CD);
	T1785 = maxx(11, T1786, T1808, T1830, T1852, T1874, T1896, T1918, T1940, T1962, T1984, T2006);
	T2029 = avep(12, BN, (1 - BM), (1 - BL), (1 - BK), (1 - BJ), (1 - BI), (1 - BH), (1 - BG), (1 - BF), (1 - BE), (1 - BD), (1 - BC));
	T2053 = avep(12, (1 - BN), BM, (1 - BL), (1 - BK), (1 - BJ), (1 - BI), (1 - BH), (1 - BG), (1 - BF), (1 - BE), (1 - BD), (1 - BC));
	T2077 = avep(12, (1 - BN), (1 - BM), BL, (1 - BK), (1 - BJ), (1 - BI), (1 - BH), (1 - BG), (1 - BF), (1 - BE), (1 - BD), (1 - BC));
	T2101 = avep(12, (1 - BN), (1 - BM), (1 - BL), BK, (1 - BJ), (1 - BI), (1 - BH), (1 - BG), (1 - BF), (1 - BE), (1 - BD), (1 - BC));
	T2125 = avep(12, (1 - BN), (1 - BM), (1 - BL), (1 - BK), BJ, (1 - BI), (1 - BH), (1 - BG), (1 - BF), (1 - BE), (1 - BD), (1 - BC));
	T2149 = avep(12, (1 - BN), (1 - BM), (1 - BL), (1 - BK), (1 - BJ), BI, (1 - BH), (1 - BG), (1 - BF), (1 - BE), (1 - BD), (1 - BC));
	T2173 = avep(12, (1 - BN), (1 - BM), (1 - BL), (1 - BK), (1 - BJ), (1 - BI), BH, (1 - BG), (1 - BF), (1 - BE), (1 - BD), (1 - BC));
	T2197 = avep(12, (1 - BN), (1 - BM), (1 - BL), (1 - BK), (1 - BJ), (1 - BI), (1 - BH), BG, (1 - BF), (1 - BE), (1 - BD), (1 - BC));
	T2221 = avep(12, (1 - BN), (1 - BM), (1 - BL), (1 - BK), (1 - BJ), (1 - BI), (1 - BH), (1 - BG), BF, (1 - BE), (1 - BD), (1 - BC));
	T2245 = avep(12, (1 - BN), (1 - BM), (1 - BL), (1 - BK), (1 - BJ), (1 - BI), (1 - BH), (1 - BG), (1 - BF), BE, (1 - BD), (1 - BC));
	T2269 = avep(12, (1 - BN), (1 - BM), (1 - BL), (1 - BK), (1 - BJ), (1 - BI), (1 - BH), (1 - BG), (1 - BF), (1 - BE), BD, (1 - BC));
	T2293 = avep(12, (1 - BN), (1 - BM), (1 - BL), (1 - BK), (1 - BJ), (1 - BI), (1 - BH), (1 - BG), (1 - BF), (1 - BE), (1 - BD), BC);
	T2028 = maxx(12, T2029, T2053, T2077, T2101, T2125, T2149, T2173, T2197, T2221, T2245, T2269, T2293);
	T2318 = avep(12, AM, (1 - AL), (1 - AK), (1 - AJ), (1 - AI), (1 - AH), (1 - AG), (1 - AF), (1 - AE), (1 - AD), (1 - AC), (1 - AB));
	T2342 = avep(12, (1 - AM), AL, (1 - AK), (1 - AJ), (1 - AI), (1 - AH), (1 - AG), (1 - AF), (1 - AE), (1 - AD), (1 - AC), (1 - AB));
	T2366 = avep(12, (1 - AM), (1 - AL), AK, (1 - AJ), (1 - AI), (1 - AH), (1 - AG), (1 - AF), (1 - AE), (1 - AD), (1 - AC), (1 - AB));
	T2390 = avep(12, (1 - AM), (1 - AL), (1 - AK), AJ, (1 - AI), (1 - AH), (1 - AG), (1 - AF), (1 - AE), (1 - AD), (1 - AC), (1 - AB));
	T2414 = avep(12, (1 - AM), (1 - AL), (1 - AK), (1 - AJ), AI, (1 - AH), (1 - AG), (1 - AF), (1 - AE), (1 - AD), (1 - AC), (1 - AB));
	T2438 = avep(12, (1 - AM), (1 - AL), (1 - AK), (1 - AJ), (1 - AI), AH, (1 - AG), (1 - AF), (1 - AE), (1 - AD), (1 - AC), (1 - AB));
	T2462 = avep(12, (1 - AM), (1 - AL), (1 - AK), (1 - AJ), (1 - AI), (1 - AH), AG, (1 - AF), (1 - AE), (1 - AD), (1 - AC), (1 - AB));
	T2486 = avep(12, (1 - AM), (1 - AL), (1 - AK), (1 - AJ), (1 - AI), (1 - AH), (1 - AG), AF, (1 - AE), (1 - AD), (1 - AC), (1 - AB));
	T2510 = avep(12, (1 - AM), (1 - AL), (1 - AK), (1 - AJ), (1 - AI), (1 - AH), (1 - AG), (1 - AF), AE, (1 - AD), (1 - AC), (1 - AB));
	T2534 = avep(12, (1 - AM), (1 - AL), (1 - AK), (1 - AJ), (1 - AI), (1 - AH), (1 - AG), (1 - AF), (1 - AE), AD, (1 - AC), (1 - AB));
	T2558 = avep(12, (1 - AM), (1 - AL), (1 - AK), (1 - AJ), (1 - AI), (1 - AH), (1 - AG), (1 - AF), (1 - AE), (1 - AD), AC, (1 - AB));
	T2582 = avep(12, (1 - AM), (1 - AL), (1 - AK), (1 - AJ), (1 - AI), (1 - AH), (1 - AG), (1 - AF), (1 - AE), (1 - AD), (1 - AC), AB);
	T2317 = maxx(12, T2318, T2342, T2366, T2390, T2414, T2438, T2462, T2486, T2510, T2534, T2558, T2582);
	T2607 = avep(12, MN, (1 - LN), (1 - KN), (1 - JN), (1 - IN), (1 - HN), (1 - GN), (1 - FN), (1 - EN), (1 - DN), (1 - CN), (1 - BN));
	T2631 = avep(12, (1 - MN), LN, (1 - KN), (1 - JN), (1 - IN), (1 - HN), (1 - GN), (1 - FN), (1 - EN), (1 - DN), (1 - CN), (1 - BN));
	T2655 = avep(12, (1 - MN), (1 - LN), KN, (1 - JN), (1 - IN), (1 - HN), (1 - GN), (1 - FN), (1 - EN), (1 - DN), (1 - CN), (1 - BN));
	T2679 = avep(12, (1 - MN), (1 - LN), (1 - KN), JN, (1 - IN), (1 - HN), (1 - GN), (1 - FN), (1 - EN), (1 - DN), (1 - CN), (1 - BN));
	T2703 = avep(12, (1 - MN), (1 - LN), (1 - KN), (1 - JN), IN, (1 - HN), (1 - GN), (1 - FN), (1 - EN), (1 - DN), (1 - CN), (1 - BN));
	T2727 = avep(12, (1 - MN), (1 - LN), (1 - KN), (1 - JN), (1 - IN), HN, (1 - GN), (1 - FN), (1 - EN), (1 - DN), (1 - CN), (1 - BN));
	T2751 = avep(12, (1 - MN), (1 - LN), (1 - KN), (1 - JN), (1 - IN), (1 - HN), GN, (1 - FN), (1 - EN), (1 - DN), (1 - CN), (1 - BN));
	T2775 = avep(12, (1 - MN), (1 - LN), (1 - KN), (1 - JN), (1 - IN), (1 - HN), (1 - GN), FN, (1 - EN), (1 - DN), (1 - CN), (1 - BN));
	T2799 = avep(12, (1 - MN), (1 - LN), (1 - KN), (1 - JN), (1 - IN), (1 - HN), (1 - GN), (1 - FN), EN, (1 - DN), (1 - CN), (1 - BN));
	T2823 = avep(12, (1 - MN), (1 - LN), (1 - KN), (1 - JN), (1 - IN), (1 - HN), (1 - GN), (1 - FN), (1 - EN), DN, (1 - CN), (1 - BN));
	T2847 = avep(12, (1 - MN), (1 - LN), (1 - KN), (1 - JN), (1 - IN), (1 - HN), (1 - GN), (1 - FN), (1 - EN), (1 - DN), CN, (1 - BN));
	T2871 = avep(12, (1 - MN), (1 - LN), (1 - KN), (1 - JN), (1 - IN), (1 - HN), (1 - GN), (1 - FN), (1 - EN), (1 - DN), (1 - CN), BN);
	T2606 = maxx(12, T2607, T2631, T2655, T2679, T2703, T2727, T2751, T2775, T2799, T2823, T2847, T2871);
	T2896 = 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));
	T2920 = 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));
	T2944 = 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));
	T2968 = 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));
	T2992 = 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));
	T3016 = 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));
	T3040 = 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));
	T3064 = 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));
	T3088 = 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));
	T3112 = 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));
	T3136 = 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));
	T3160 = 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);
	T2895 = maxx(12, T2896, T2920, T2944, T2968, T2992, T3016, T3040, T3064, T3088, T3112, T3136, T3160);
	T3185 = avep(11, KL, (1 - JL), (1 - IL), (1 - HL), (1 - GL), (1 - FL), (1 - EL), (1 - DL), (1 - CL), (1 - BL), (1 - AL));
	T3207 = avep(11, (1 - KL), JL, (1 - IL), (1 - HL), (1 - GL), (1 - FL), (1 - EL), (1 - DL), (1 - CL), (1 - BL), (1 - AL));
	T3229 = avep(11, (1 - KL), (1 - JL), IL, (1 - HL), (1 - GL), (1 - FL), (1 - EL), (1 - DL), (1 - CL), (1 - BL), (1 - AL));
	T3251 = avep(11, (1 - KL), (1 - JL), (1 - IL), HL, (1 - GL), (1 - FL), (1 - EL), (1 - DL), (1 - CL), (1 - BL), (1 - AL));
	T3273 = avep(11, (1 - KL), (1 - JL), (1 - IL), (1 - HL), GL, (1 - FL), (1 - EL), (1 - DL), (1 - CL), (1 - BL), (1 - AL));
	T3295 = avep(11, (1 - KL), (1 - JL), (1 - IL), (1 - HL), (1 - GL), FL, (1 - EL), (1 - DL), (1 - CL), (1 - BL), (1 - AL));
	T3317 = avep(11, (1 - KL), (1 - JL), (1 - IL), (1 - HL), (1 - GL), (1 - FL), EL, (1 - DL), (1 - CL), (1 - BL), (1 - AL));
	T3339 = avep(11, (1 - KL), (1 - JL), (1 - IL), (1 - HL), (1 - GL), (1 - FL), (1 - EL), DL, (1 - CL), (1 - BL), (1 - AL));
	T3361 = avep(11, (1 - KL), (1 - JL), (1 - IL), (1 - HL), (1 - GL), (1 - FL), (1 - EL), (1 - DL), CL, (1 - BL), (1 - AL));
	T3383 = avep(11, (1 - KL), (1 - JL), (1 - IL), (1 - HL), (1 - GL), (1 - FL), (1 - EL), (1 - DL), (1 - CL), BL, (1 - AL));
	T3405 = avep(11, (1 - KL), (1 - JL), (1 - IL), (1 - HL), (1 - GL), (1 - FL), (1 - EL), (1 - DL), (1 - CL), (1 - BL), AL);
	T3184 = maxx(11, T3185, T3207, T3229, T3251, T3273, T3295, T3317, T3339, T3361, T3383, T3405);
	T3428 = avep(10, JK, (1 - IK), (1 - HK), (1 - GK), (1 - FK), (1 - EK), (1 - DK), (1 - CK), (1 - BK), (1 - AK));
	T3448 = avep(10, (1 - JK), IK, (1 - HK), (1 - GK), (1 - FK), (1 - EK), (1 - DK), (1 - CK), (1 - BK), (1 - AK));
	T3468 = avep(10, (1 - JK), (1 - IK), HK, (1 - GK), (1 - FK), (1 - EK), (1 - DK), (1 - CK), (1 - BK), (1 - AK));
	T3488 = avep(10, (1 - JK), (1 - IK), (1 - HK), GK, (1 - FK), (1 - EK), (1 - DK), (1 - CK), (1 - BK), (1 - AK));
	T3508 = avep(10, (1 - JK), (1 - IK), (1 - HK), (1 - GK), FK, (1 - EK), (1 - DK), (1 - CK), (1 - BK), (1 - AK));
	T3528 = avep(10, (1 - JK), (1 - IK), (1 - HK), (1 - GK), (1 - FK), EK, (1 - DK), (1 - CK), (1 - BK), (1 - AK));
	T3548 = avep(10, (1 - JK), (1 - IK), (1 - HK), (1 - GK), (1 - FK), (1 - EK), DK, (1 - CK), (1 - BK), (1 - AK));
	T3568 = avep(10, (1 - JK), (1 - IK), (1 - HK), (1 - GK), (1 - FK), (1 - EK), (1 - DK), CK, (1 - BK), (1 - AK));
	T3588 = avep(10, (1 - JK), (1 - IK), (1 - HK), (1 - GK), (1 - FK), (1 - EK), (1 - DK), (1 - CK), BK, (1 - AK));
	T3608 = avep(10, (1 - JK), (1 - IK), (1 - HK), (1 - GK), (1 - FK), (1 - EK), (1 - DK), (1 - CK), (1 - BK), AK);
	T3427 = maxx(10, T3428, T3448, T3468, T3488, T3508, T3528, T3548, T3568, T3588, T3608);
	T3629 = avep(9, IJ, (1 - HJ), (1 - GJ), (1 - FJ), (1 - EJ), (1 - DJ), (1 - CJ), (1 - BJ), (1 - AJ));
	T3647 = avep(9, (1 - IJ), HJ, (1 - GJ), (1 - FJ), (1 - EJ), (1 - DJ), (1 - CJ), (1 - BJ), (1 - AJ));
	T3665 = avep(9, (1 - IJ), (1 - HJ), GJ, (1 - FJ), (1 - EJ), (1 - DJ), (1 - CJ), (1 - BJ), (1 - AJ));
	T3683 = avep(9, (1 - IJ), (1 - HJ), (1 - GJ), FJ, (1 - EJ), (1 - DJ), (1 - CJ), (1 - BJ), (1 - AJ));
	T3701 = avep(9, (1 - IJ), (1 - HJ), (1 - GJ), (1 - FJ), EJ, (1 - DJ), (1 - CJ), (1 - BJ), (1 - AJ));
	T3719 = avep(9, (1 - IJ), (1 - HJ), (1 - GJ), (1 - FJ), (1 - EJ), DJ, (1 - CJ), (1 - BJ), (1 - AJ));
	T3737 = avep(9, (1 - IJ), (1 - HJ), (1 - GJ), (1 - FJ), (1 - EJ), (1 - DJ), CJ, (1 - BJ), (1 - AJ));
	T3755 = avep(9, (1 - IJ), (1 - HJ), (1 - GJ), (1 - FJ), (1 - EJ), (1 - DJ), (1 - CJ), BJ, (1 - AJ));
	T3773 = avep(9, (1 - IJ), (1 - HJ), (1 - GJ), (1 - FJ), (1 - EJ), (1 - DJ), (1 - CJ), (1 - BJ), AJ);
	T3628 = maxx(9, T3629, T3647, T3665, T3683, T3701, T3719, T3737, T3755, T3773);
	T3792 = avep(8, HI, (1 - GI), (1 - FI), (1 - EI), (1 - DI), (1 - CI), (1 - BI), (1 - AI));
	T3808 = avep(8, (1 - HI), GI, (1 - FI), (1 - EI), (1 - DI), (1 - CI), (1 - BI), (1 - AI));
	T3824 = avep(8, (1 - HI), (1 - GI), FI, (1 - EI), (1 - DI), (1 - CI), (1 - BI), (1 - AI));
	T3840 = avep(8, (1 - HI), (1 - GI), (1 - FI), EI, (1 - DI), (1 - CI), (1 - BI), (1 - AI));
	T3856 = avep(8, (1 - HI), (1 - GI), (1 - FI), (1 - EI), DI, (1 - CI), (1 - BI), (1 - AI));
	T3872 = avep(8, (1 - HI), (1 - GI), (1 - FI), (1 - EI), (1 - DI), CI, (1 - BI), (1 - AI));
	T3888 = avep(8, (1 - HI), (1 - GI), (1 - FI), (1 - EI), (1 - DI), (1 - CI), BI, (1 - AI));
	T3904 = avep(8, (1 - HI), (1 - GI), (1 - FI), (1 - EI), (1 - DI), (1 - CI), (1 - BI), AI);
	T3791 = maxx(8, T3792, T3808, T3824, T3840, T3856, T3872, T3888, T3904);
	T3921 = avep(7, GH, (1 - FH), (1 - EH), (1 - DH), (1 - CH), (1 - BH), (1 - AH));
	T3935 = avep(7, (1 - GH), FH, (1 - EH), (1 - DH), (1 - CH), (1 - BH), (1 - AH));
	T3949 = avep(7, (1 - GH), (1 - FH), EH, (1 - DH), (1 - CH), (1 - BH), (1 - AH));
	T3963 = avep(7, (1 - GH), (1 - FH), (1 - EH), DH, (1 - CH), (1 - BH), (1 - AH));
	T3977 = avep(7, (1 - GH), (1 - FH), (1 - EH), (1 - DH), CH, (1 - BH), (1 - AH));
	T3991 = avep(7, (1 - GH), (1 - FH), (1 - EH), (1 - DH), (1 - CH), BH, (1 - AH));
	T4005 = avep(7, (1 - GH), (1 - FH), (1 - EH), (1 - DH), (1 - CH), (1 - BH), AH);
	T3920 = maxx(7, T3921, T3935, T3949, T3963, T3977, T3991, T4005);
	T4020 = avep(6, FG, (1 - EG), (1 - DG), (1 - CG), (1 - BG), (1 - AG));
	T4032 = avep(6, (1 - FG), EG, (1 - DG), (1 - CG), (1 - BG), (1 - AG));
	T4044 = avep(6, (1 - FG), (1 - EG), DG, (1 - CG), (1 - BG), (1 - AG));
	T4056 = avep(6, (1 - FG), (1 - EG), (1 - DG), CG, (1 - BG), (1 - AG));
	T4068 = avep(6, (1 - FG), (1 - EG), (1 - DG), (1 - CG), BG, (1 - AG));
	T4080 = avep(6, (1 - FG), (1 - EG), (1 - DG), (1 - CG), (1 - BG), AG);
	T4019 = maxx(6, T4020, T4032, T4044, T4056, T4068, T4080);
	T4093 = avep(5, EF, (1 - DF), (1 - CF), (1 - BF), (1 - AF));
	T4103 = avep(5, (1 - EF), DF, (1 - CF), (1 - BF), (1 - AF));
	T4113 = avep(5, (1 - EF), (1 - DF), CF, (1 - BF), (1 - AF));
	T4123 = avep(5, (1 - EF), (1 - DF), (1 - CF), BF, (1 - AF));
	T4133 = avep(5, (1 - EF), (1 - DF), (1 - CF), (1 - BF), AF);
	T4092 = maxx(5, T4093, T4103, T4113, T4123, T4133);
	T4144 = avep(4, DE, (1 - CE), (1 - BE), (1 - AE));
	T4152 = avep(4, (1 - DE), CE, (1 - BE), (1 - AE));
	T4160 = avep(4, (1 - DE), (1 - CE), BE, (1 - AE));
	T4168 = avep(4, (1 - DE), (1 - CE), (1 - BE), AE);
	T4143 = maxx(4, T4144, T4152, T4160, T4168);
	T1005 = avep(27, NA, MN, maxx(2, avep(2, LN, (1 - LM)), avep(2, (1 - LN), LM)), maxx(3, avep(3, KN, (1 - KM), (1 - KL)), avep(3, (1 - KN), KM, (1 - KL)), avep(3, (1 - KN), (1 - KM), KL)), T1036, T1069, T1120, T1193, T1292, T1421, T1584, T1785, T2028, T2317, T2606, T2895, T3184, T3427, T3628, T3791, T3920, T4019, T4092, T4143, 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);
};