/************************************************************
;                                                           *
;  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,BC,BD,BE,BF,BG,BH;
	double BI,BJ,BK,BL,CD,CE,CF,CG;
	double CH,CI,CJ,CK,CL,DE,DF,DG;
	double DH,DI,DJ,DK,DL,EF,EG,EH;
	double EI,EJ,EK,EL,FG,FH,FI,FJ;
	double FK,FL,GH,GI,GJ,GK,GL,HI;
	double HJ,HK,HL,IJ,IK,IL,JK,JL;
	double KL,LA;
	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,T1806,T1826,T1846,T1866,T1886;
	double T1906,T1926,T1946,T1966,T1986,T1987,T2007,T2027;
	double T2047,T2067,T2087,T2107,T2127,T2147,T2167,T2187;
	double T2188,T2208,T2228,T2248,T2268,T2288,T2308,T2328;
	double T2348,T2368,T2388,T2389,T2407,T2425,T2443,T2461;
	double T2479,T2497,T2515,T2533,T2551,T2552,T2568,T2584;
	double T2600,T2616,T2632,T2648,T2664,T2680,T2681,T2695;
	double T2709,T2723,T2737,T2751,T2765,T2779,T2780,T2792;
	double T2804,T2816,T2828,T2840,T2852,T2853,T2863,T2873;
	double T2883,T2893,T2903,T2904,T2912,T2920,T2928;
	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];
	BC = (double)c[i][11];
	BD = (double)c[i][12];
	BE = (double)c[i][13];
	BF = (double)c[i][14];
	BG = (double)c[i][15];
	BH = (double)c[i][16];
	BI = (double)c[i][17];
	BJ = (double)c[i][18];
	BK = (double)c[i][19];
	BL = (double)c[i][20];
	CD = (double)c[i][21];
	CE = (double)c[i][22];
	CF = (double)c[i][23];
	CG = (double)c[i][24];
	CH = (double)c[i][25];
	CI = (double)c[i][26];
	CJ = (double)c[i][27];
	CK = (double)c[i][28];
	CL = (double)c[i][29];
	DE = (double)c[i][30];
	DF = (double)c[i][31];
	DG = (double)c[i][32];
	DH = (double)c[i][33];
	DI = (double)c[i][34];
	DJ = (double)c[i][35];
	DK = (double)c[i][36];
	DL = (double)c[i][37];
	EF = (double)c[i][38];
	EG = (double)c[i][39];
	EH = (double)c[i][40];
	EI = (double)c[i][41];
	EJ = (double)c[i][42];
	EK = (double)c[i][43];
	EL = (double)c[i][44];
	FG = (double)c[i][45];
	FH = (double)c[i][46];
	FI = (double)c[i][47];
	FJ = (double)c[i][48];
	FK = (double)c[i][49];
	FL = (double)c[i][50];
	GH = (double)c[i][51];
	GI = (double)c[i][52];
	GJ = (double)c[i][53];
	GK = (double)c[i][54];
	GL = (double)c[i][55];
	HI = (double)c[i][56];
	HJ = (double)c[i][57];
	HK = (double)c[i][58];
	HL = (double)c[i][59];
	IJ = (double)c[i][60];
	IK = (double)c[i][61];
	IL = (double)c[i][62];
	JK = (double)c[i][63];
	JL = (double)c[i][64];
	KL = (double)c[i][65];
	LA = (double)c[i][66];
	T1037 = avep(4, HL, (1 - HK), (1 - HJ), (1 - HI));
	T1045 = avep(4, (1 - HL), HK, (1 - HJ), (1 - HI));
	T1053 = avep(4, (1 - HL), (1 - HK), HJ, (1 - HI));
	T1061 = avep(4, (1 - HL), (1 - HK), (1 - HJ), HI);
	T1036 = maxx(4, T1037, T1045, T1053, T1061);
	T1070 = avep(5, GL, (1 - GK), (1 - GJ), (1 - GI), (1 - GH));
	T1080 = avep(5, (1 - GL), GK, (1 - GJ), (1 - GI), (1 - GH));
	T1090 = avep(5, (1 - GL), (1 - GK), GJ, (1 - GI), (1 - GH));
	T1100 = avep(5, (1 - GL), (1 - GK), (1 - GJ), GI, (1 - GH));
	T1110 = avep(5, (1 - GL), (1 - GK), (1 - GJ), (1 - GI), GH);
	T1069 = maxx(5, T1070, T1080, T1090, T1100, T1110);
	T1121 = avep(6, FL, (1 - FK), (1 - FJ), (1 - FI), (1 - FH), (1 - FG));
	T1133 = avep(6, (1 - FL), FK, (1 - FJ), (1 - FI), (1 - FH), (1 - FG));
	T1145 = avep(6, (1 - FL), (1 - FK), FJ, (1 - FI), (1 - FH), (1 - FG));
	T1157 = avep(6, (1 - FL), (1 - FK), (1 - FJ), FI, (1 - FH), (1 - FG));
	T1169 = avep(6, (1 - FL), (1 - FK), (1 - FJ), (1 - FI), FH, (1 - FG));
	T1181 = avep(6, (1 - FL), (1 - FK), (1 - FJ), (1 - FI), (1 - FH), FG);
	T1120 = maxx(6, T1121, T1133, T1145, T1157, T1169, T1181);
	T1194 = avep(7, EL, (1 - EK), (1 - EJ), (1 - EI), (1 - EH), (1 - EG), (1 - EF));
	T1208 = avep(7, (1 - EL), EK, (1 - EJ), (1 - EI), (1 - EH), (1 - EG), (1 - EF));
	T1222 = avep(7, (1 - EL), (1 - EK), EJ, (1 - EI), (1 - EH), (1 - EG), (1 - EF));
	T1236 = avep(7, (1 - EL), (1 - EK), (1 - EJ), EI, (1 - EH), (1 - EG), (1 - EF));
	T1250 = avep(7, (1 - EL), (1 - EK), (1 - EJ), (1 - EI), EH, (1 - EG), (1 - EF));
	T1264 = avep(7, (1 - EL), (1 - EK), (1 - EJ), (1 - EI), (1 - EH), EG, (1 - EF));
	T1278 = avep(7, (1 - EL), (1 - EK), (1 - EJ), (1 - EI), (1 - EH), (1 - EG), EF);
	T1193 = maxx(7, T1194, T1208, T1222, T1236, T1250, T1264, T1278);
	T1293 = avep(8, DL, (1 - DK), (1 - DJ), (1 - DI), (1 - DH), (1 - DG), (1 - DF), (1 - DE));
	T1309 = avep(8, (1 - DL), DK, (1 - DJ), (1 - DI), (1 - DH), (1 - DG), (1 - DF), (1 - DE));
	T1325 = avep(8, (1 - DL), (1 - DK), DJ, (1 - DI), (1 - DH), (1 - DG), (1 - DF), (1 - DE));
	T1341 = avep(8, (1 - DL), (1 - DK), (1 - DJ), DI, (1 - DH), (1 - DG), (1 - DF), (1 - DE));
	T1357 = avep(8, (1 - DL), (1 - DK), (1 - DJ), (1 - DI), DH, (1 - DG), (1 - DF), (1 - DE));
	T1373 = avep(8, (1 - DL), (1 - DK), (1 - DJ), (1 - DI), (1 - DH), DG, (1 - DF), (1 - DE));
	T1389 = avep(8, (1 - DL), (1 - DK), (1 - DJ), (1 - DI), (1 - DH), (1 - DG), DF, (1 - DE));
	T1405 = avep(8, (1 - DL), (1 - DK), (1 - DJ), (1 - DI), (1 - DH), (1 - DG), (1 - DF), DE);
	T1292 = maxx(8, T1293, T1309, T1325, T1341, T1357, T1373, T1389, T1405);
	T1422 = avep(9, CL, (1 - CK), (1 - CJ), (1 - CI), (1 - CH), (1 - CG), (1 - CF), (1 - CE), (1 - CD));
	T1440 = avep(9, (1 - CL), CK, (1 - CJ), (1 - CI), (1 - CH), (1 - CG), (1 - CF), (1 - CE), (1 - CD));
	T1458 = avep(9, (1 - CL), (1 - CK), CJ, (1 - CI), (1 - CH), (1 - CG), (1 - CF), (1 - CE), (1 - CD));
	T1476 = avep(9, (1 - CL), (1 - CK), (1 - CJ), CI, (1 - CH), (1 - CG), (1 - CF), (1 - CE), (1 - CD));
	T1494 = avep(9, (1 - CL), (1 - CK), (1 - CJ), (1 - CI), CH, (1 - CG), (1 - CF), (1 - CE), (1 - CD));
	T1512 = avep(9, (1 - CL), (1 - CK), (1 - CJ), (1 - CI), (1 - CH), CG, (1 - CF), (1 - CE), (1 - CD));
	T1530 = avep(9, (1 - CL), (1 - CK), (1 - CJ), (1 - CI), (1 - CH), (1 - CG), CF, (1 - CE), (1 - CD));
	T1548 = avep(9, (1 - CL), (1 - CK), (1 - CJ), (1 - CI), (1 - CH), (1 - CG), (1 - CF), CE, (1 - CD));
	T1566 = avep(9, (1 - CL), (1 - CK), (1 - CJ), (1 - CI), (1 - CH), (1 - CG), (1 - CF), (1 - CE), CD);
	T1421 = maxx(9, T1422, T1440, T1458, T1476, T1494, T1512, T1530, T1548, T1566);
	T1585 = avep(10, BL, (1 - BK), (1 - BJ), (1 - BI), (1 - BH), (1 - BG), (1 - BF), (1 - BE), (1 - BD), (1 - BC));
	T1605 = avep(10, (1 - BL), BK, (1 - BJ), (1 - BI), (1 - BH), (1 - BG), (1 - BF), (1 - BE), (1 - BD), (1 - BC));
	T1625 = avep(10, (1 - BL), (1 - BK), BJ, (1 - BI), (1 - BH), (1 - BG), (1 - BF), (1 - BE), (1 - BD), (1 - BC));
	T1645 = avep(10, (1 - BL), (1 - BK), (1 - BJ), BI, (1 - BH), (1 - BG), (1 - BF), (1 - BE), (1 - BD), (1 - BC));
	T1665 = avep(10, (1 - BL), (1 - BK), (1 - BJ), (1 - BI), BH, (1 - BG), (1 - BF), (1 - BE), (1 - BD), (1 - BC));
	T1685 = avep(10, (1 - BL), (1 - BK), (1 - BJ), (1 - BI), (1 - BH), BG, (1 - BF), (1 - BE), (1 - BD), (1 - BC));
	T1705 = avep(10, (1 - BL), (1 - BK), (1 - BJ), (1 - BI), (1 - BH), (1 - BG), BF, (1 - BE), (1 - BD), (1 - BC));
	T1725 = avep(10, (1 - BL), (1 - BK), (1 - BJ), (1 - BI), (1 - BH), (1 - BG), (1 - BF), BE, (1 - BD), (1 - BC));
	T1745 = avep(10, (1 - BL), (1 - BK), (1 - BJ), (1 - BI), (1 - BH), (1 - BG), (1 - BF), (1 - BE), BD, (1 - BC));
	T1765 = avep(10, (1 - BL), (1 - BK), (1 - BJ), (1 - BI), (1 - BH), (1 - BG), (1 - BF), (1 - BE), (1 - BD), BC);
	T1584 = maxx(10, T1585, T1605, T1625, T1645, T1665, T1685, T1705, T1725, T1745, T1765);
	T1786 = avep(10, AK, (1 - AJ), (1 - AI), (1 - AH), (1 - AG), (1 - AF), (1 - AE), (1 - AD), (1 - AC), (1 - AB));
	T1806 = avep(10, (1 - AK), AJ, (1 - AI), (1 - AH), (1 - AG), (1 - AF), (1 - AE), (1 - AD), (1 - AC), (1 - AB));
	T1826 = avep(10, (1 - AK), (1 - AJ), AI, (1 - AH), (1 - AG), (1 - AF), (1 - AE), (1 - AD), (1 - AC), (1 - AB));
	T1846 = avep(10, (1 - AK), (1 - AJ), (1 - AI), AH, (1 - AG), (1 - AF), (1 - AE), (1 - AD), (1 - AC), (1 - AB));
	T1866 = avep(10, (1 - AK), (1 - AJ), (1 - AI), (1 - AH), AG, (1 - AF), (1 - AE), (1 - AD), (1 - AC), (1 - AB));
	T1886 = avep(10, (1 - AK), (1 - AJ), (1 - AI), (1 - AH), (1 - AG), AF, (1 - AE), (1 - AD), (1 - AC), (1 - AB));
	T1906 = avep(10, (1 - AK), (1 - AJ), (1 - AI), (1 - AH), (1 - AG), (1 - AF), AE, (1 - AD), (1 - AC), (1 - AB));
	T1926 = avep(10, (1 - AK), (1 - AJ), (1 - AI), (1 - AH), (1 - AG), (1 - AF), (1 - AE), AD, (1 - AC), (1 - AB));
	T1946 = avep(10, (1 - AK), (1 - AJ), (1 - AI), (1 - AH), (1 - AG), (1 - AF), (1 - AE), (1 - AD), AC, (1 - AB));
	T1966 = avep(10, (1 - AK), (1 - AJ), (1 - AI), (1 - AH), (1 - AG), (1 - AF), (1 - AE), (1 - AD), (1 - AC), AB);
	T1785 = maxx(10, T1786, T1806, T1826, T1846, T1866, T1886, T1906, T1926, T1946, T1966);
	T1987 = avep(10, KL, (1 - JL), (1 - IL), (1 - HL), (1 - GL), (1 - FL), (1 - EL), (1 - DL), (1 - CL), (1 - BL));
	T2007 = avep(10, (1 - KL), JL, (1 - IL), (1 - HL), (1 - GL), (1 - FL), (1 - EL), (1 - DL), (1 - CL), (1 - BL));
	T2027 = avep(10, (1 - KL), (1 - JL), IL, (1 - HL), (1 - GL), (1 - FL), (1 - EL), (1 - DL), (1 - CL), (1 - BL));
	T2047 = avep(10, (1 - KL), (1 - JL), (1 - IL), HL, (1 - GL), (1 - FL), (1 - EL), (1 - DL), (1 - CL), (1 - BL));
	T2067 = avep(10, (1 - KL), (1 - JL), (1 - IL), (1 - HL), GL, (1 - FL), (1 - EL), (1 - DL), (1 - CL), (1 - BL));
	T2087 = avep(10, (1 - KL), (1 - JL), (1 - IL), (1 - HL), (1 - GL), FL, (1 - EL), (1 - DL), (1 - CL), (1 - BL));
	T2107 = avep(10, (1 - KL), (1 - JL), (1 - IL), (1 - HL), (1 - GL), (1 - FL), EL, (1 - DL), (1 - CL), (1 - BL));
	T2127 = avep(10, (1 - KL), (1 - JL), (1 - IL), (1 - HL), (1 - GL), (1 - FL), (1 - EL), DL, (1 - CL), (1 - BL));
	T2147 = avep(10, (1 - KL), (1 - JL), (1 - IL), (1 - HL), (1 - GL), (1 - FL), (1 - EL), (1 - DL), CL, (1 - BL));
	T2167 = avep(10, (1 - KL), (1 - JL), (1 - IL), (1 - HL), (1 - GL), (1 - FL), (1 - EL), (1 - DL), (1 - CL), BL);
	T1986 = maxx(10, T1987, T2007, T2027, T2047, T2067, T2087, T2107, T2127, T2147, T2167);
	T2188 = avep(10, JK, (1 - IK), (1 - HK), (1 - GK), (1 - FK), (1 - EK), (1 - DK), (1 - CK), (1 - BK), (1 - AK));
	T2208 = avep(10, (1 - JK), IK, (1 - HK), (1 - GK), (1 - FK), (1 - EK), (1 - DK), (1 - CK), (1 - BK), (1 - AK));
	T2228 = avep(10, (1 - JK), (1 - IK), HK, (1 - GK), (1 - FK), (1 - EK), (1 - DK), (1 - CK), (1 - BK), (1 - AK));
	T2248 = avep(10, (1 - JK), (1 - IK), (1 - HK), GK, (1 - FK), (1 - EK), (1 - DK), (1 - CK), (1 - BK), (1 - AK));
	T2268 = avep(10, (1 - JK), (1 - IK), (1 - HK), (1 - GK), FK, (1 - EK), (1 - DK), (1 - CK), (1 - BK), (1 - AK));
	T2288 = avep(10, (1 - JK), (1 - IK), (1 - HK), (1 - GK), (1 - FK), EK, (1 - DK), (1 - CK), (1 - BK), (1 - AK));
	T2308 = avep(10, (1 - JK), (1 - IK), (1 - HK), (1 - GK), (1 - FK), (1 - EK), DK, (1 - CK), (1 - BK), (1 - AK));
	T2328 = avep(10, (1 - JK), (1 - IK), (1 - HK), (1 - GK), (1 - FK), (1 - EK), (1 - DK), CK, (1 - BK), (1 - AK));
	T2348 = avep(10, (1 - JK), (1 - IK), (1 - HK), (1 - GK), (1 - FK), (1 - EK), (1 - DK), (1 - CK), BK, (1 - AK));
	T2368 = avep(10, (1 - JK), (1 - IK), (1 - HK), (1 - GK), (1 - FK), (1 - EK), (1 - DK), (1 - CK), (1 - BK), AK);
	T2187 = maxx(10, T2188, T2208, T2228, T2248, T2268, T2288, T2308, T2328, T2348, T2368);
	T2389 = avep(9, IJ, (1 - HJ), (1 - GJ), (1 - FJ), (1 - EJ), (1 - DJ), (1 - CJ), (1 - BJ), (1 - AJ));
	T2407 = avep(9, (1 - IJ), HJ, (1 - GJ), (1 - FJ), (1 - EJ), (1 - DJ), (1 - CJ), (1 - BJ), (1 - AJ));
	T2425 = avep(9, (1 - IJ), (1 - HJ), GJ, (1 - FJ), (1 - EJ), (1 - DJ), (1 - CJ), (1 - BJ), (1 - AJ));
	T2443 = avep(9, (1 - IJ), (1 - HJ), (1 - GJ), FJ, (1 - EJ), (1 - DJ), (1 - CJ), (1 - BJ), (1 - AJ));
	T2461 = avep(9, (1 - IJ), (1 - HJ), (1 - GJ), (1 - FJ), EJ, (1 - DJ), (1 - CJ), (1 - BJ), (1 - AJ));
	T2479 = avep(9, (1 - IJ), (1 - HJ), (1 - GJ), (1 - FJ), (1 - EJ), DJ, (1 - CJ), (1 - BJ), (1 - AJ));
	T2497 = avep(9, (1 - IJ), (1 - HJ), (1 - GJ), (1 - FJ), (1 - EJ), (1 - DJ), CJ, (1 - BJ), (1 - AJ));
	T2515 = avep(9, (1 - IJ), (1 - HJ), (1 - GJ), (1 - FJ), (1 - EJ), (1 - DJ), (1 - CJ), BJ, (1 - AJ));
	T2533 = avep(9, (1 - IJ), (1 - HJ), (1 - GJ), (1 - FJ), (1 - EJ), (1 - DJ), (1 - CJ), (1 - BJ), AJ);
	T2388 = maxx(9, T2389, T2407, T2425, T2443, T2461, T2479, T2497, T2515, T2533);
	T2552 = avep(8, HI, (1 - GI), (1 - FI), (1 - EI), (1 - DI), (1 - CI), (1 - BI), (1 - AI));
	T2568 = avep(8, (1 - HI), GI, (1 - FI), (1 - EI), (1 - DI), (1 - CI), (1 - BI), (1 - AI));
	T2584 = avep(8, (1 - HI), (1 - GI), FI, (1 - EI), (1 - DI), (1 - CI), (1 - BI), (1 - AI));
	T2600 = avep(8, (1 - HI), (1 - GI), (1 - FI), EI, (1 - DI), (1 - CI), (1 - BI), (1 - AI));
	T2616 = avep(8, (1 - HI), (1 - GI), (1 - FI), (1 - EI), DI, (1 - CI), (1 - BI), (1 - AI));
	T2632 = avep(8, (1 - HI), (1 - GI), (1 - FI), (1 - EI), (1 - DI), CI, (1 - BI), (1 - AI));
	T2648 = avep(8, (1 - HI), (1 - GI), (1 - FI), (1 - EI), (1 - DI), (1 - CI), BI, (1 - AI));
	T2664 = avep(8, (1 - HI), (1 - GI), (1 - FI), (1 - EI), (1 - DI), (1 - CI), (1 - BI), AI);
	T2551 = maxx(8, T2552, T2568, T2584, T2600, T2616, T2632, T2648, T2664);
	T2681 = avep(7, GH, (1 - FH), (1 - EH), (1 - DH), (1 - CH), (1 - BH), (1 - AH));
	T2695 = avep(7, (1 - GH), FH, (1 - EH), (1 - DH), (1 - CH), (1 - BH), (1 - AH));
	T2709 = avep(7, (1 - GH), (1 - FH), EH, (1 - DH), (1 - CH), (1 - BH), (1 - AH));
	T2723 = avep(7, (1 - GH), (1 - FH), (1 - EH), DH, (1 - CH), (1 - BH), (1 - AH));
	T2737 = avep(7, (1 - GH), (1 - FH), (1 - EH), (1 - DH), CH, (1 - BH), (1 - AH));
	T2751 = avep(7, (1 - GH), (1 - FH), (1 - EH), (1 - DH), (1 - CH), BH, (1 - AH));
	T2765 = avep(7, (1 - GH), (1 - FH), (1 - EH), (1 - DH), (1 - CH), (1 - BH), AH);
	T2680 = maxx(7, T2681, T2695, T2709, T2723, T2737, T2751, T2765);
	T2780 = avep(6, FG, (1 - EG), (1 - DG), (1 - CG), (1 - BG), (1 - AG));
	T2792 = avep(6, (1 - FG), EG, (1 - DG), (1 - CG), (1 - BG), (1 - AG));
	T2804 = avep(6, (1 - FG), (1 - EG), DG, (1 - CG), (1 - BG), (1 - AG));
	T2816 = avep(6, (1 - FG), (1 - EG), (1 - DG), CG, (1 - BG), (1 - AG));
	T2828 = avep(6, (1 - FG), (1 - EG), (1 - DG), (1 - CG), BG, (1 - AG));
	T2840 = avep(6, (1 - FG), (1 - EG), (1 - DG), (1 - CG), (1 - BG), AG);
	T2779 = maxx(6, T2780, T2792, T2804, T2816, T2828, T2840);
	T2853 = avep(5, EF, (1 - DF), (1 - CF), (1 - BF), (1 - AF));
	T2863 = avep(5, (1 - EF), DF, (1 - CF), (1 - BF), (1 - AF));
	T2873 = avep(5, (1 - EF), (1 - DF), CF, (1 - BF), (1 - AF));
	T2883 = avep(5, (1 - EF), (1 - DF), (1 - CF), BF, (1 - AF));
	T2893 = avep(5, (1 - EF), (1 - DF), (1 - CF), (1 - BF), AF);
	T2852 = maxx(5, T2853, T2863, T2873, T2883, T2893);
	T2904 = avep(4, DE, (1 - CE), (1 - BE), (1 - AE));
	T2912 = avep(4, (1 - DE), CE, (1 - BE), (1 - AE));
	T2920 = avep(4, (1 - DE), (1 - CE), BE, (1 - AE));
	T2928 = avep(4, (1 - DE), (1 - CE), (1 - BE), AE);
	T2903 = maxx(4, T2904, T2912, T2920, T2928);
	T1005 = avep(23, LA, KL, maxx(2, avep(2, JL, (1 - JK)), avep(2, (1 - JL), JK)), maxx(3, avep(3, IL, (1 - IK), (1 - IJ)), avep(3, (1 - IL), IK, (1 - IJ)), avep(3, (1 - IL), (1 - IK), IJ)), T1036, T1069, T1120, T1193, T1292, T1421, T1584, T1785, T1986, T2187, T2388, T2551, T2680, T2779, T2852, T2903, 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);
};