/************************************************************
;                                                           *
;  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,BC,BD,BE,BF,BG;
	double BH,BI,BJ,BK,BL,BM,CD,CE;
	double CF,CG,CH,CI,CJ,CK,CL,CM;
	double DE,DF,DG,DH,DI,DJ,DK,DL;
	double DM,EF,EG,EH,EI,EJ,EK,EL;
	double EM,FG,FH,FI,FJ,FK,FL,FM;
	double GH,GI,GJ,GK,GL,GM,HI,HJ;
	double HK,HL,HM,IJ,IK,IL,IM,JK;
	double JL,JM,KL,KM,LM,MA;
	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,T2051;
	double T2073,T2095,T2117,T2139,T2161,T2183,T2205,T2227;
	double T2249,T2271,T2272,T2294,T2316,T2338,T2360,T2382;
	double T2404,T2426,T2448,T2470,T2492,T2514,T2515,T2537;
	double T2559,T2581,T2603,T2625,T2647,T2669,T2691,T2713;
	double T2735,T2757,T2758,T2778,T2798,T2818,T2838,T2858;
	double T2878,T2898,T2918,T2938,T2958,T2959,T2977,T2995;
	double T3013,T3031,T3049,T3067,T3085,T3103,T3121,T3122;
	double T3138,T3154,T3170,T3186,T3202,T3218,T3234,T3250;
	double T3251,T3265,T3279,T3293,T3307,T3321,T3335,T3349;
	double T3350,T3362,T3374,T3386,T3398,T3410,T3422,T3423;
	double T3433,T3443,T3453,T3463,T3473,T3474,T3482,T3490;
	double T3498;
	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];
	BC = (double)c[i][12];
	BD = (double)c[i][13];
	BE = (double)c[i][14];
	BF = (double)c[i][15];
	BG = (double)c[i][16];
	BH = (double)c[i][17];
	BI = (double)c[i][18];
	BJ = (double)c[i][19];
	BK = (double)c[i][20];
	BL = (double)c[i][21];
	BM = (double)c[i][22];
	CD = (double)c[i][23];
	CE = (double)c[i][24];
	CF = (double)c[i][25];
	CG = (double)c[i][26];
	CH = (double)c[i][27];
	CI = (double)c[i][28];
	CJ = (double)c[i][29];
	CK = (double)c[i][30];
	CL = (double)c[i][31];
	CM = (double)c[i][32];
	DE = (double)c[i][33];
	DF = (double)c[i][34];
	DG = (double)c[i][35];
	DH = (double)c[i][36];
	DI = (double)c[i][37];
	DJ = (double)c[i][38];
	DK = (double)c[i][39];
	DL = (double)c[i][40];
	DM = (double)c[i][41];
	EF = (double)c[i][42];
	EG = (double)c[i][43];
	EH = (double)c[i][44];
	EI = (double)c[i][45];
	EJ = (double)c[i][46];
	EK = (double)c[i][47];
	EL = (double)c[i][48];
	EM = (double)c[i][49];
	FG = (double)c[i][50];
	FH = (double)c[i][51];
	FI = (double)c[i][52];
	FJ = (double)c[i][53];
	FK = (double)c[i][54];
	FL = (double)c[i][55];
	FM = (double)c[i][56];
	GH = (double)c[i][57];
	GI = (double)c[i][58];
	GJ = (double)c[i][59];
	GK = (double)c[i][60];
	GL = (double)c[i][61];
	GM = (double)c[i][62];
	HI = (double)c[i][63];
	HJ = (double)c[i][64];
	HK = (double)c[i][65];
	HL = (double)c[i][66];
	HM = (double)c[i][67];
	IJ = (double)c[i][68];
	IK = (double)c[i][69];
	IL = (double)c[i][70];
	IM = (double)c[i][71];
	JK = (double)c[i][72];
	JL = (double)c[i][73];
	JM = (double)c[i][74];
	KL = (double)c[i][75];
	KM = (double)c[i][76];
	LM = (double)c[i][77];
	MA = (double)c[i][78];
	T1037 = avep(4, IM, (1 - IL), (1 - IK), (1 - IJ));
	T1045 = avep(4, (1 - IM), IL, (1 - IK), (1 - IJ));
	T1053 = avep(4, (1 - IM), (1 - IL), IK, (1 - IJ));
	T1061 = avep(4, (1 - IM), (1 - IL), (1 - IK), IJ);
	T1036 = maxx(4, T1037, T1045, T1053, T1061);
	T1070 = avep(5, HM, (1 - HL), (1 - HK), (1 - HJ), (1 - HI));
	T1080 = avep(5, (1 - HM), HL, (1 - HK), (1 - HJ), (1 - HI));
	T1090 = avep(5, (1 - HM), (1 - HL), HK, (1 - HJ), (1 - HI));
	T1100 = avep(5, (1 - HM), (1 - HL), (1 - HK), HJ, (1 - HI));
	T1110 = avep(5, (1 - HM), (1 - HL), (1 - HK), (1 - HJ), HI);
	T1069 = maxx(5, T1070, T1080, T1090, T1100, T1110);
	T1121 = avep(6, GM, (1 - GL), (1 - GK), (1 - GJ), (1 - GI), (1 - GH));
	T1133 = avep(6, (1 - GM), GL, (1 - GK), (1 - GJ), (1 - GI), (1 - GH));
	T1145 = avep(6, (1 - GM), (1 - GL), GK, (1 - GJ), (1 - GI), (1 - GH));
	T1157 = avep(6, (1 - GM), (1 - GL), (1 - GK), GJ, (1 - GI), (1 - GH));
	T1169 = avep(6, (1 - GM), (1 - GL), (1 - GK), (1 - GJ), GI, (1 - GH));
	T1181 = avep(6, (1 - GM), (1 - GL), (1 - GK), (1 - GJ), (1 - GI), GH);
	T1120 = maxx(6, T1121, T1133, T1145, T1157, T1169, T1181);
	T1194 = avep(7, FM, (1 - FL), (1 - FK), (1 - FJ), (1 - FI), (1 - FH), (1 - FG));
	T1208 = avep(7, (1 - FM), FL, (1 - FK), (1 - FJ), (1 - FI), (1 - FH), (1 - FG));
	T1222 = avep(7, (1 - FM), (1 - FL), FK, (1 - FJ), (1 - FI), (1 - FH), (1 - FG));
	T1236 = avep(7, (1 - FM), (1 - FL), (1 - FK), FJ, (1 - FI), (1 - FH), (1 - FG));
	T1250 = avep(7, (1 - FM), (1 - FL), (1 - FK), (1 - FJ), FI, (1 - FH), (1 - FG));
	T1264 = avep(7, (1 - FM), (1 - FL), (1 - FK), (1 - FJ), (1 - FI), FH, (1 - FG));
	T1278 = avep(7, (1 - FM), (1 - FL), (1 - FK), (1 - FJ), (1 - FI), (1 - FH), FG);
	T1193 = maxx(7, T1194, T1208, T1222, T1236, T1250, T1264, T1278);
	T1293 = avep(8, EM, (1 - EL), (1 - EK), (1 - EJ), (1 - EI), (1 - EH), (1 - EG), (1 - EF));
	T1309 = avep(8, (1 - EM), EL, (1 - EK), (1 - EJ), (1 - EI), (1 - EH), (1 - EG), (1 - EF));
	T1325 = avep(8, (1 - EM), (1 - EL), EK, (1 - EJ), (1 - EI), (1 - EH), (1 - EG), (1 - EF));
	T1341 = avep(8, (1 - EM), (1 - EL), (1 - EK), EJ, (1 - EI), (1 - EH), (1 - EG), (1 - EF));
	T1357 = avep(8, (1 - EM), (1 - EL), (1 - EK), (1 - EJ), EI, (1 - EH), (1 - EG), (1 - EF));
	T1373 = avep(8, (1 - EM), (1 - EL), (1 - EK), (1 - EJ), (1 - EI), EH, (1 - EG), (1 - EF));
	T1389 = avep(8, (1 - EM), (1 - EL), (1 - EK), (1 - EJ), (1 - EI), (1 - EH), EG, (1 - EF));
	T1405 = avep(8, (1 - EM), (1 - EL), (1 - EK), (1 - EJ), (1 - EI), (1 - EH), (1 - EG), EF);
	T1292 = maxx(8, T1293, T1309, T1325, T1341, T1357, T1373, T1389, T1405);
	T1422 = avep(9, DM, (1 - DL), (1 - DK), (1 - DJ), (1 - DI), (1 - DH), (1 - DG), (1 - DF), (1 - DE));
	T1440 = avep(9, (1 - DM), DL, (1 - DK), (1 - DJ), (1 - DI), (1 - DH), (1 - DG), (1 - DF), (1 - DE));
	T1458 = avep(9, (1 - DM), (1 - DL), DK, (1 - DJ), (1 - DI), (1 - DH), (1 - DG), (1 - DF), (1 - DE));
	T1476 = avep(9, (1 - DM), (1 - DL), (1 - DK), DJ, (1 - DI), (1 - DH), (1 - DG), (1 - DF), (1 - DE));
	T1494 = avep(9, (1 - DM), (1 - DL), (1 - DK), (1 - DJ), DI, (1 - DH), (1 - DG), (1 - DF), (1 - DE));
	T1512 = avep(9, (1 - DM), (1 - DL), (1 - DK), (1 - DJ), (1 - DI), DH, (1 - DG), (1 - DF), (1 - DE));
	T1530 = avep(9, (1 - DM), (1 - DL), (1 - DK), (1 - DJ), (1 - DI), (1 - DH), DG, (1 - DF), (1 - DE));
	T1548 = avep(9, (1 - DM), (1 - DL), (1 - DK), (1 - DJ), (1 - DI), (1 - DH), (1 - DG), DF, (1 - DE));
	T1566 = avep(9, (1 - DM), (1 - DL), (1 - DK), (1 - DJ), (1 - DI), (1 - DH), (1 - DG), (1 - DF), DE);
	T1421 = maxx(9, T1422, T1440, T1458, T1476, T1494, T1512, T1530, T1548, T1566);
	T1585 = avep(10, CM, (1 - CL), (1 - CK), (1 - CJ), (1 - CI), (1 - CH), (1 - CG), (1 - CF), (1 - CE), (1 - CD));
	T1605 = avep(10, (1 - CM), CL, (1 - CK), (1 - CJ), (1 - CI), (1 - CH), (1 - CG), (1 - CF), (1 - CE), (1 - CD));
	T1625 = avep(10, (1 - CM), (1 - CL), CK, (1 - CJ), (1 - CI), (1 - CH), (1 - CG), (1 - CF), (1 - CE), (1 - CD));
	T1645 = avep(10, (1 - CM), (1 - CL), (1 - CK), CJ, (1 - CI), (1 - CH), (1 - CG), (1 - CF), (1 - CE), (1 - CD));
	T1665 = avep(10, (1 - CM), (1 - CL), (1 - CK), (1 - CJ), CI, (1 - CH), (1 - CG), (1 - CF), (1 - CE), (1 - CD));
	T1685 = avep(10, (1 - CM), (1 - CL), (1 - CK), (1 - CJ), (1 - CI), CH, (1 - CG), (1 - CF), (1 - CE), (1 - CD));
	T1705 = avep(10, (1 - CM), (1 - CL), (1 - CK), (1 - CJ), (1 - CI), (1 - CH), CG, (1 - CF), (1 - CE), (1 - CD));
	T1725 = avep(10, (1 - CM), (1 - CL), (1 - CK), (1 - CJ), (1 - CI), (1 - CH), (1 - CG), CF, (1 - CE), (1 - CD));
	T1745 = avep(10, (1 - CM), (1 - CL), (1 - CK), (1 - CJ), (1 - CI), (1 - CH), (1 - CG), (1 - CF), CE, (1 - CD));
	T1765 = avep(10, (1 - CM), (1 - CL), (1 - CK), (1 - CJ), (1 - CI), (1 - CH), (1 - CG), (1 - CF), (1 - CE), CD);
	T1584 = maxx(10, T1585, T1605, T1625, T1645, T1665, T1685, T1705, T1725, T1745, T1765);
	T1786 = avep(11, BM, (1 - BL), (1 - BK), (1 - BJ), (1 - BI), (1 - BH), (1 - BG), (1 - BF), (1 - BE), (1 - BD), (1 - BC));
	T1808 = avep(11, (1 - BM), BL, (1 - BK), (1 - BJ), (1 - BI), (1 - BH), (1 - BG), (1 - BF), (1 - BE), (1 - BD), (1 - BC));
	T1830 = avep(11, (1 - BM), (1 - BL), BK, (1 - BJ), (1 - BI), (1 - BH), (1 - BG), (1 - BF), (1 - BE), (1 - BD), (1 - BC));
	T1852 = avep(11, (1 - BM), (1 - BL), (1 - BK), BJ, (1 - BI), (1 - BH), (1 - BG), (1 - BF), (1 - BE), (1 - BD), (1 - BC));
	T1874 = avep(11, (1 - BM), (1 - BL), (1 - BK), (1 - BJ), BI, (1 - BH), (1 - BG), (1 - BF), (1 - BE), (1 - BD), (1 - BC));
	T1896 = avep(11, (1 - BM), (1 - BL), (1 - BK), (1 - BJ), (1 - BI), BH, (1 - BG), (1 - BF), (1 - BE), (1 - BD), (1 - BC));
	T1918 = avep(11, (1 - BM), (1 - BL), (1 - BK), (1 - BJ), (1 - BI), (1 - BH), BG, (1 - BF), (1 - BE), (1 - BD), (1 - BC));
	T1940 = avep(11, (1 - BM), (1 - BL), (1 - BK), (1 - BJ), (1 - BI), (1 - BH), (1 - BG), BF, (1 - BE), (1 - BD), (1 - BC));
	T1962 = avep(11, (1 - BM), (1 - BL), (1 - BK), (1 - BJ), (1 - BI), (1 - BH), (1 - BG), (1 - BF), BE, (1 - BD), (1 - BC));
	T1984 = avep(11, (1 - BM), (1 - BL), (1 - BK), (1 - BJ), (1 - BI), (1 - BH), (1 - BG), (1 - BF), (1 - BE), BD, (1 - BC));
	T2006 = avep(11, (1 - BM), (1 - BL), (1 - BK), (1 - BJ), (1 - BI), (1 - BH), (1 - BG), (1 - BF), (1 - BE), (1 - BD), BC);
	T1785 = maxx(11, T1786, T1808, T1830, T1852, T1874, T1896, T1918, T1940, T1962, T1984, T2006);
	T2029 = avep(11, AL, (1 - AK), (1 - AJ), (1 - AI), (1 - AH), (1 - AG), (1 - AF), (1 - AE), (1 - AD), (1 - AC), (1 - AB));
	T2051 = avep(11, (1 - AL), AK, (1 - AJ), (1 - AI), (1 - AH), (1 - AG), (1 - AF), (1 - AE), (1 - AD), (1 - AC), (1 - AB));
	T2073 = avep(11, (1 - AL), (1 - AK), AJ, (1 - AI), (1 - AH), (1 - AG), (1 - AF), (1 - AE), (1 - AD), (1 - AC), (1 - AB));
	T2095 = avep(11, (1 - AL), (1 - AK), (1 - AJ), AI, (1 - AH), (1 - AG), (1 - AF), (1 - AE), (1 - AD), (1 - AC), (1 - AB));
	T2117 = avep(11, (1 - AL), (1 - AK), (1 - AJ), (1 - AI), AH, (1 - AG), (1 - AF), (1 - AE), (1 - AD), (1 - AC), (1 - AB));
	T2139 = avep(11, (1 - AL), (1 - AK), (1 - AJ), (1 - AI), (1 - AH), AG, (1 - AF), (1 - AE), (1 - AD), (1 - AC), (1 - AB));
	T2161 = avep(11, (1 - AL), (1 - AK), (1 - AJ), (1 - AI), (1 - AH), (1 - AG), AF, (1 - AE), (1 - AD), (1 - AC), (1 - AB));
	T2183 = avep(11, (1 - AL), (1 - AK), (1 - AJ), (1 - AI), (1 - AH), (1 - AG), (1 - AF), AE, (1 - AD), (1 - AC), (1 - AB));
	T2205 = avep(11, (1 - AL), (1 - AK), (1 - AJ), (1 - AI), (1 - AH), (1 - AG), (1 - AF), (1 - AE), AD, (1 - AC), (1 - AB));
	T2227 = avep(11, (1 - AL), (1 - AK), (1 - AJ), (1 - AI), (1 - AH), (1 - AG), (1 - AF), (1 - AE), (1 - AD), AC, (1 - AB));
	T2249 = avep(11, (1 - AL), (1 - AK), (1 - AJ), (1 - AI), (1 - AH), (1 - AG), (1 - AF), (1 - AE), (1 - AD), (1 - AC), AB);
	T2028 = maxx(11, T2029, T2051, T2073, T2095, T2117, T2139, T2161, T2183, T2205, T2227, T2249);
	T2272 = avep(11, LM, (1 - KM), (1 - JM), (1 - IM), (1 - HM), (1 - GM), (1 - FM), (1 - EM), (1 - DM), (1 - CM), (1 - BM));
	T2294 = avep(11, (1 - LM), KM, (1 - JM), (1 - IM), (1 - HM), (1 - GM), (1 - FM), (1 - EM), (1 - DM), (1 - CM), (1 - BM));
	T2316 = avep(11, (1 - LM), (1 - KM), JM, (1 - IM), (1 - HM), (1 - GM), (1 - FM), (1 - EM), (1 - DM), (1 - CM), (1 - BM));
	T2338 = avep(11, (1 - LM), (1 - KM), (1 - JM), IM, (1 - HM), (1 - GM), (1 - FM), (1 - EM), (1 - DM), (1 - CM), (1 - BM));
	T2360 = avep(11, (1 - LM), (1 - KM), (1 - JM), (1 - IM), HM, (1 - GM), (1 - FM), (1 - EM), (1 - DM), (1 - CM), (1 - BM));
	T2382 = avep(11, (1 - LM), (1 - KM), (1 - JM), (1 - IM), (1 - HM), GM, (1 - FM), (1 - EM), (1 - DM), (1 - CM), (1 - BM));
	T2404 = avep(11, (1 - LM), (1 - KM), (1 - JM), (1 - IM), (1 - HM), (1 - GM), FM, (1 - EM), (1 - DM), (1 - CM), (1 - BM));
	T2426 = avep(11, (1 - LM), (1 - KM), (1 - JM), (1 - IM), (1 - HM), (1 - GM), (1 - FM), EM, (1 - DM), (1 - CM), (1 - BM));
	T2448 = avep(11, (1 - LM), (1 - KM), (1 - JM), (1 - IM), (1 - HM), (1 - GM), (1 - FM), (1 - EM), DM, (1 - CM), (1 - BM));
	T2470 = avep(11, (1 - LM), (1 - KM), (1 - JM), (1 - IM), (1 - HM), (1 - GM), (1 - FM), (1 - EM), (1 - DM), CM, (1 - BM));
	T2492 = avep(11, (1 - LM), (1 - KM), (1 - JM), (1 - IM), (1 - HM), (1 - GM), (1 - FM), (1 - EM), (1 - DM), (1 - CM), BM);
	T2271 = maxx(11, T2272, T2294, T2316, T2338, T2360, T2382, T2404, T2426, T2448, T2470, T2492);
	T2515 = avep(11, KL, (1 - JL), (1 - IL), (1 - HL), (1 - GL), (1 - FL), (1 - EL), (1 - DL), (1 - CL), (1 - BL), (1 - AL));
	T2537 = avep(11, (1 - KL), JL, (1 - IL), (1 - HL), (1 - GL), (1 - FL), (1 - EL), (1 - DL), (1 - CL), (1 - BL), (1 - AL));
	T2559 = avep(11, (1 - KL), (1 - JL), IL, (1 - HL), (1 - GL), (1 - FL), (1 - EL), (1 - DL), (1 - CL), (1 - BL), (1 - AL));
	T2581 = avep(11, (1 - KL), (1 - JL), (1 - IL), HL, (1 - GL), (1 - FL), (1 - EL), (1 - DL), (1 - CL), (1 - BL), (1 - AL));
	T2603 = avep(11, (1 - KL), (1 - JL), (1 - IL), (1 - HL), GL, (1 - FL), (1 - EL), (1 - DL), (1 - CL), (1 - BL), (1 - AL));
	T2625 = avep(11, (1 - KL), (1 - JL), (1 - IL), (1 - HL), (1 - GL), FL, (1 - EL), (1 - DL), (1 - CL), (1 - BL), (1 - AL));
	T2647 = avep(11, (1 - KL), (1 - JL), (1 - IL), (1 - HL), (1 - GL), (1 - FL), EL, (1 - DL), (1 - CL), (1 - BL), (1 - AL));
	T2669 = avep(11, (1 - KL), (1 - JL), (1 - IL), (1 - HL), (1 - GL), (1 - FL), (1 - EL), DL, (1 - CL), (1 - BL), (1 - AL));
	T2691 = avep(11, (1 - KL), (1 - JL), (1 - IL), (1 - HL), (1 - GL), (1 - FL), (1 - EL), (1 - DL), CL, (1 - BL), (1 - AL));
	T2713 = avep(11, (1 - KL), (1 - JL), (1 - IL), (1 - HL), (1 - GL), (1 - FL), (1 - EL), (1 - DL), (1 - CL), BL, (1 - AL));
	T2735 = avep(11, (1 - KL), (1 - JL), (1 - IL), (1 - HL), (1 - GL), (1 - FL), (1 - EL), (1 - DL), (1 - CL), (1 - BL), AL);
	T2514 = maxx(11, T2515, T2537, T2559, T2581, T2603, T2625, T2647, T2669, T2691, T2713, T2735);
	T2758 = avep(10, JK, (1 - IK), (1 - HK), (1 - GK), (1 - FK), (1 - EK), (1 - DK), (1 - CK), (1 - BK), (1 - AK));
	T2778 = avep(10, (1 - JK), IK, (1 - HK), (1 - GK), (1 - FK), (1 - EK), (1 - DK), (1 - CK), (1 - BK), (1 - AK));
	T2798 = avep(10, (1 - JK), (1 - IK), HK, (1 - GK), (1 - FK), (1 - EK), (1 - DK), (1 - CK), (1 - BK), (1 - AK));
	T2818 = avep(10, (1 - JK), (1 - IK), (1 - HK), GK, (1 - FK), (1 - EK), (1 - DK), (1 - CK), (1 - BK), (1 - AK));
	T2838 = avep(10, (1 - JK), (1 - IK), (1 - HK), (1 - GK), FK, (1 - EK), (1 - DK), (1 - CK), (1 - BK), (1 - AK));
	T2858 = avep(10, (1 - JK), (1 - IK), (1 - HK), (1 - GK), (1 - FK), EK, (1 - DK), (1 - CK), (1 - BK), (1 - AK));
	T2878 = avep(10, (1 - JK), (1 - IK), (1 - HK), (1 - GK), (1 - FK), (1 - EK), DK, (1 - CK), (1 - BK), (1 - AK));
	T2898 = avep(10, (1 - JK), (1 - IK), (1 - HK), (1 - GK), (1 - FK), (1 - EK), (1 - DK), CK, (1 - BK), (1 - AK));
	T2918 = avep(10, (1 - JK), (1 - IK), (1 - HK), (1 - GK), (1 - FK), (1 - EK), (1 - DK), (1 - CK), BK, (1 - AK));
	T2938 = avep(10, (1 - JK), (1 - IK), (1 - HK), (1 - GK), (1 - FK), (1 - EK), (1 - DK), (1 - CK), (1 - BK), AK);
	T2757 = maxx(10, T2758, T2778, T2798, T2818, T2838, T2858, T2878, T2898, T2918, T2938);
	T2959 = avep(9, IJ, (1 - HJ), (1 - GJ), (1 - FJ), (1 - EJ), (1 - DJ), (1 - CJ), (1 - BJ), (1 - AJ));
	T2977 = avep(9, (1 - IJ), HJ, (1 - GJ), (1 - FJ), (1 - EJ), (1 - DJ), (1 - CJ), (1 - BJ), (1 - AJ));
	T2995 = avep(9, (1 - IJ), (1 - HJ), GJ, (1 - FJ), (1 - EJ), (1 - DJ), (1 - CJ), (1 - BJ), (1 - AJ));
	T3013 = avep(9, (1 - IJ), (1 - HJ), (1 - GJ), FJ, (1 - EJ), (1 - DJ), (1 - CJ), (1 - BJ), (1 - AJ));
	T3031 = avep(9, (1 - IJ), (1 - HJ), (1 - GJ), (1 - FJ), EJ, (1 - DJ), (1 - CJ), (1 - BJ), (1 - AJ));
	T3049 = avep(9, (1 - IJ), (1 - HJ), (1 - GJ), (1 - FJ), (1 - EJ), DJ, (1 - CJ), (1 - BJ), (1 - AJ));
	T3067 = avep(9, (1 - IJ), (1 - HJ), (1 - GJ), (1 - FJ), (1 - EJ), (1 - DJ), CJ, (1 - BJ), (1 - AJ));
	T3085 = avep(9, (1 - IJ), (1 - HJ), (1 - GJ), (1 - FJ), (1 - EJ), (1 - DJ), (1 - CJ), BJ, (1 - AJ));
	T3103 = avep(9, (1 - IJ), (1 - HJ), (1 - GJ), (1 - FJ), (1 - EJ), (1 - DJ), (1 - CJ), (1 - BJ), AJ);
	T2958 = maxx(9, T2959, T2977, T2995, T3013, T3031, T3049, T3067, T3085, T3103);
	T3122 = avep(8, HI, (1 - GI), (1 - FI), (1 - EI), (1 - DI), (1 - CI), (1 - BI), (1 - AI));
	T3138 = avep(8, (1 - HI), GI, (1 - FI), (1 - EI), (1 - DI), (1 - CI), (1 - BI), (1 - AI));
	T3154 = avep(8, (1 - HI), (1 - GI), FI, (1 - EI), (1 - DI), (1 - CI), (1 - BI), (1 - AI));
	T3170 = avep(8, (1 - HI), (1 - GI), (1 - FI), EI, (1 - DI), (1 - CI), (1 - BI), (1 - AI));
	T3186 = avep(8, (1 - HI), (1 - GI), (1 - FI), (1 - EI), DI, (1 - CI), (1 - BI), (1 - AI));
	T3202 = avep(8, (1 - HI), (1 - GI), (1 - FI), (1 - EI), (1 - DI), CI, (1 - BI), (1 - AI));
	T3218 = avep(8, (1 - HI), (1 - GI), (1 - FI), (1 - EI), (1 - DI), (1 - CI), BI, (1 - AI));
	T3234 = avep(8, (1 - HI), (1 - GI), (1 - FI), (1 - EI), (1 - DI), (1 - CI), (1 - BI), AI);
	T3121 = maxx(8, T3122, T3138, T3154, T3170, T3186, T3202, T3218, T3234);
	T3251 = avep(7, GH, (1 - FH), (1 - EH), (1 - DH), (1 - CH), (1 - BH), (1 - AH));
	T3265 = avep(7, (1 - GH), FH, (1 - EH), (1 - DH), (1 - CH), (1 - BH), (1 - AH));
	T3279 = avep(7, (1 - GH), (1 - FH), EH, (1 - DH), (1 - CH), (1 - BH), (1 - AH));
	T3293 = avep(7, (1 - GH), (1 - FH), (1 - EH), DH, (1 - CH), (1 - BH), (1 - AH));
	T3307 = avep(7, (1 - GH), (1 - FH), (1 - EH), (1 - DH), CH, (1 - BH), (1 - AH));
	T3321 = avep(7, (1 - GH), (1 - FH), (1 - EH), (1 - DH), (1 - CH), BH, (1 - AH));
	T3335 = avep(7, (1 - GH), (1 - FH), (1 - EH), (1 - DH), (1 - CH), (1 - BH), AH);
	T3250 = maxx(7, T3251, T3265, T3279, T3293, T3307, T3321, T3335);
	T3350 = avep(6, FG, (1 - EG), (1 - DG), (1 - CG), (1 - BG), (1 - AG));
	T3362 = avep(6, (1 - FG), EG, (1 - DG), (1 - CG), (1 - BG), (1 - AG));
	T3374 = avep(6, (1 - FG), (1 - EG), DG, (1 - CG), (1 - BG), (1 - AG));
	T3386 = avep(6, (1 - FG), (1 - EG), (1 - DG), CG, (1 - BG), (1 - AG));
	T3398 = avep(6, (1 - FG), (1 - EG), (1 - DG), (1 - CG), BG, (1 - AG));
	T3410 = avep(6, (1 - FG), (1 - EG), (1 - DG), (1 - CG), (1 - BG), AG);
	T3349 = maxx(6, T3350, T3362, T3374, T3386, T3398, T3410);
	T3423 = avep(5, EF, (1 - DF), (1 - CF), (1 - BF), (1 - AF));
	T3433 = avep(5, (1 - EF), DF, (1 - CF), (1 - BF), (1 - AF));
	T3443 = avep(5, (1 - EF), (1 - DF), CF, (1 - BF), (1 - AF));
	T3453 = avep(5, (1 - EF), (1 - DF), (1 - CF), BF, (1 - AF));
	T3463 = avep(5, (1 - EF), (1 - DF), (1 - CF), (1 - BF), AF);
	T3422 = maxx(5, T3423, T3433, T3443, T3453, T3463);
	T3474 = avep(4, DE, (1 - CE), (1 - BE), (1 - AE));
	T3482 = avep(4, (1 - DE), CE, (1 - BE), (1 - AE));
	T3490 = avep(4, (1 - DE), (1 - CE), BE, (1 - AE));
	T3498 = avep(4, (1 - DE), (1 - CE), (1 - BE), AE);
	T3473 = maxx(4, T3474, T3482, T3490, T3498);
	T1005 = avep(25, MA, LM, maxx(2, avep(2, KM, (1 - KL)), avep(2, (1 - KM), KL)), maxx(3, avep(3, JM, (1 - JL), (1 - JK)), avep(3, (1 - JM), JL, (1 - JK)), avep(3, (1 - JM), (1 - JL), JK)), T1036, T1069, T1120, T1193, T1292, T1421, T1584, T1785, T2028, T2271, T2514, T2757, T2958, T3121, T3250, T3349, T3422, T3473, 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);
};