#
#**************************
# SET UP THE INITIAL DATA *
#**************************
#   Problem :
#   *********
#   A dual quadratic program from Antonio Frangioni (frangio@DI.UniPi.IT)
#   This is the dual of PRIMAL4.SIF
#   SIF input: Irv Lustig and Nick Gould, June 1996.
#   classification QLR2-MN-75-1
#   Solution
	param n := 75;
	param ip1 := 1 + (75);

	var x1 >= 0.0 ,  <= 1.0;
	var x2 >= 0.0 ,  <= 1.0;
	var x3 >= 0.0 ,  <= 1.0;
	var x4 >= 0.0 ,  <= 1.0;
	var x5 >= 0.0 ,  <= 1.0;
	var x6 >= 0.0 ,  <= 1.0;
	var x7 >= 0.0 ,  <= 1.0;
	var x8 >= 0.0 ,  <= 1.0;
	var x9 >= 0.0 ,  <= 1.0;
	var x10 >= 0.0 ,  <= 1.0;
	var x11 >= 0.0 ,  <= 1.0;
	var x12 >= 0.0 ,  <= 1.0;
	var x13 >= 0.0 ,  <= 1.0;
	var x14 >= 0.0 ,  <= 1.0;
	var x15 >= 0.0 ,  <= 1.0;
	var x16 >= 0.0 ,  <= 1.0;
	var x17 >= 0.0 ,  <= 1.0;
	var x18 >= 0.0 ,  <= 1.0;
	var x19 >= 0.0 ,  <= 1.0;
	var x20 >= 0.0 ,  <= 1.0;
	var x21 >= 0.0 ,  <= 1.0;
	var x22 >= 0.0 ,  <= 1.0;
	var x23 >= 0.0 ,  <= 1.0;
	var x24 >= 0.0 ,  <= 1.0;
	var x25 >= 0.0 ,  <= 1.0;
	var x26 >= 0.0 ,  <= 1.0;
	var x27 >= 0.0 ,  <= 1.0;
	var x28 >= 0.0 ,  <= 1.0;
	var x29 >= 0.0 ,  <= 1.0;
	var x30 >= 0.0 ,  <= 1.0;
	var x31 >= 0.0 ,  <= 1.0;
	var x32 >= 0.0 ,  <= 1.0;
	var x33 >= 0.0 ,  <= 1.0;
	var x34 >= 0.0 ,  <= 1.0;
	var x35 >= 0.0 ,  <= 1.0;
	var x36 >= 0.0 ,  <= 1.0;
	var x37 >= 0.0 ,  <= 1.0;
	var x38 >= 0.0 ,  <= 1.0;
	var x39 >= 0.0 ,  <= 1.0;
	var x40 >= 0.0 ,  <= 1.0;
	var x41 >= 0.0 ,  <= 1.0;
	var x42 >= 0.0 ,  <= 1.0;
	var x43 >= 0.0 ,  <= 1.0;
	var x44 >= 0.0 ,  <= 1.0;
	var x45 >= 0.0 ,  <= 1.0;
	var x46 >= 0.0 ,  <= 1.0;
	var x47 >= 0.0 ,  <= 1.0;
	var x48 >= 0.0 ,  <= 1.0;
	var x49 >= 0.0 ,  <= 1.0;
	var x50 >= 0.0 ,  <= 1.0;
	var x51 >= 0.0 ,  <= 1.0;
	var x52 >= 0.0 ,  <= 1.0;
	var x53 >= 0.0 ,  <= 1.0;
	var x54 >= 0.0 ,  <= 1.0;
	var x55 >= 0.0 ,  <= 1.0;
	var x56 >= 0.0 ,  <= 1.0;
	var x57 >= 0.0 ,  <= 1.0;
	var x58 >= 0.0 ,  <= 1.0;
	var x59 >= 0.0 ,  <= 1.0;
	var x60 >= 0.0 ,  <= 1.0;
	var x61 >= 0.0 ,  <= 1.0;
	var x62 >= 0.0 ,  <= 1.0;
	var x63 >= 0.0 ,  <= 1.0;
	var x64 >= 0.0 ,  <= 1.0;
	var x65 >= 0.0 ,  <= 1.0;
	var x66 >= 0.0 ,  <= 1.0;
	var x67 >= 0.0 ,  <= 1.0;
	var x68 >= 0.0 ,  <= 1.0;
	var x69 >= 0.0 ,  <= 1.0;
	var x70 >= 0.0 ,  <= 1.0;
	var x71 >= 0.0 ,  <= 1.0;
	var x72 >= 0.0 ,  <= 1.0;
	var x73 >= 0.0 ,  <= 1.0;
	var x74 >= 0.0 ,  <= 1.0;
	var x75 >= 0.0 ,  <= 1.0;

minimize obj:
	226.0*0.5 * x1 * x1 - 36.0*x1 * x2 - 8.0*x1 * x3 - 16.0*x1 * x4 - 5.0*x1 * x5 + 
	28.0*x1 * x6 + 22.0*x1 * x7 - 26.0*x1 * x8 + 24.0*x1 * x9 - 16.0*x1 * x10 - 
	14.0*x1 * x11 - 28.0*x1 * x12 - 8.0*x1 * x13 + 26.0*x1 * x14 - 4.0*x1 * x15 + 
	19.0*x1 * x16 - 9.0*x1 * x17 + 10.0*x1 * x18 - 4.0*x1 * x21 + 20.0*x1 * x22 - 
	19.0*x1 * x23 + 12.0*x1 * x24 - 21.0*x1 * x25 - 13.0*x1 * x26 - 17.0*x1 * x27 + 
	23.0*x1 * x28 + 48.0*x1 * x29 - 32.0*x1 * x30 + 31.0*x1 * x31 + 30.0*x1 * x32 - 
	37.0*x1 * x33 + 22.0*x1 * x34 - 13.0*x1 * x35 - 21.0*x1 * x36 - 9.0*x1 * x37 - 
	3.0*x1 * x38 + 16.0*x1 * x39 - 4.0*x1 * x40 + 16.0*x1 * x41 + 11.0*x1 * x42 - 
	29.0*x1 * x43 - 32.0*x1 * x44 - 11.0*x1 * x45 + 34.0*x1 * x46 + 11.0*x1 * x47 - 
	32.0*x1 * x48 + 35.0*x1 * x49 - 26.0*x1 * x50 + 16.0*x1 * x51 + 6.0*x1 * x52 + 
	7.0*x1 * x53 + x1 * x54 - 16.0*x1 * x55 - 32.0*x1 * x56 + 4.0*x1 * x57 + 9.0*x1 
	* x58 - 9.0*x1 * x59 + 44.0*x1 * x60 + 2.0*x1 * x61 - 19.0*x1 * x62 - 5.0*x1 * 
	x63 + 44.0*x1 * x64 + 19.0*x1 * x65 + 31.0*x1 * x66 - x1 * x67 - x1 * x68 + 
	31.0*x1 * x69 + 6.0*x1 * x70 - 24.0*x1 * x71 - 6.0*x1 * x72 + 5.0*x1 * x73 - 
	25.0*x1 * x74 - 20.0*x1 * x75 + 204.0*0.5 * x2 * x2 - 27.0*x2 * x3 - 15.0*x2 * 
	x4 - 8.0*x2 * x5 - 36.0*x2 * x6 - 21.0*x2 * x7 + 4.0*x2 * x8 + 14.0*x2 * x9 - 
	2.0*x2 * x10 - x2 * x11 - 3.0*x2 * x12 + 5.0*x2 * x13 - 4.0*x2 * x14 + 11.0*x2 
	* x15 - 2.0*x2 * x16 + 14.0*x2 * x17 - 33.0*x2 * x18 + 32.0*x2 * x19 - 18.0*x2 
	* x20 + 15.0*x2 * x21 - 5.0*x2 * x22 - 20.0*x2 * x23 - 2.0*x2 * x24 + 30.0*x2 * 
	x25 - 16.0*x2 * x26 - 15.0*x2 * x27 - 36.0*x2 * x28 - 21.0*x2 * x29 + 40.0*x2 * 
	x30 - 17.0*x2 * x31 - 7.0*x2 * x32 + 20.0*x2 * x33 - 12.0*x2 * x34 + 11.0*x2 * 
	x35 + 9.0*x2 * x36 + 12.0*x2 * x37 - 20.0*x2 * x38 + 9.0*x2 * x39 + 8.0*x2 * 
	x40 + 32.0*x2 * x41 - 35.0*x2 * x42 - 7.0*x2 * x43 + 9.0*x2 * x44 + 15.0*x2 * 
	x45 - 27.0*x2 * x46 - 14.0*x2 * x47 + 11.0*x2 * x48 + 4.0*x2 * x49 + 5.0*x2 * 
	x50 - 6.0*x2 * x51 - 23.0*x2 * x52 + 25.0*x2 * x53 + 22.0*x2 * x54 - 4.0*x2 * 
	x55 + 25.0*x2 * x56 + 26.0*x2 * x57 - 5.0*x2 * x58 + 16.0*x2 * x59 - 11.0*x2 * 
	x60 - 29.0*x2 * x61 + 28.0*x2 * x62 - 6.0*x2 * x63 + 12.0*x2 * x64 + 8.0*x2 * 
	x65 - x2 * x66 - 23.0*x2 * x67 - 7.0*x2 * x68 + 12.0*x2 * x69 + 5.0*x2 * x70 - 
	27.0*x2 * x71 + 29.0*x2 * x72 + 8.0*x2 * x73 - 6.0*x2 * x74 + 29.0*x2 * x75 + 
	222.0*0.5 * x3 * x3 - 32.0*x3 * x4 - 10.0*x3 * x5 - 10.0*x3 * x6 - 3.0*x3 * x7 
	- x3 * x8 - 25.0*x3 * x9 + 31.0*x3 * x10 - 17.0*x3 * x11 - 13.0*x3 * x12 + 
	2.0*x3 * x13 + 10.0*x3 * x14 - 22.0*x3 * x15 + 16.0*x3 * x16 + x3 * x17 + 
	40.0*x3 * x18 - 6.0*x3 * x19 + 18.0*x3 * x20 + 12.0*x3 * x21 + 18.0*x3 * x22 - 
	20.0*x3 * x23 - 21.0*x3 * x24 - 12.0*x3 * x25 - 22.0*x3 * x26 + 4.0*x3 * x27 + 
	20.0*x3 * x28 + 25.0*x3 * x29 - 19.0*x3 * x30 + 9.0*x3 * x31 - 13.0*x3 * x32 - 
	10.0*x3 * x33 + x3 * x34 + 2.0*x3 * x35 + 5.0*x3 * x36 + 8.0*x3 * x37 + 20.0*x3 
	* x38 - 18.0*x3 * x39 + 2.0*x3 * x40 + 3.0*x3 * x41 - 8.0*x3 * x42 - 21.0*x3 * 
	x43 - 14.0*x3 * x45 + 8.0*x3 * x46 + 7.0*x3 * x47 + 7.0*x3 * x48 - 2.0*x3 * x49 
	- 2.0*x3 * x50 - x3 * x51 + 10.0*x3 * x52 + 9.0*x3 * x53 - 12.0*x3 * x54 - 
	9.0*x3 * x55 - 9.0*x3 * x56 - 2.0*x3 * x57 + 48.0*x3 * x58 - x3 * x59 + 37.0*x3 
	* x60 - 13.0*x3 * x61 - 9.0*x3 * x62 - 24.0*x3 * x63 - 17.0*x3 * x64 + 20.0*x3 
	* x65 + 24.0*x3 * x66 + x3 * x67 - 8.0*x3 * x68 - 9.0*x3 * x69 + 10.0*x3 * x70 
	+ 13.0*x3 * x71 + 8.0*x3 * x72 + 11.0*x3 * x73 + 3.0*x3 * x74 - 15.0*x3 * x75 + 
	206.0*0.5 * x4 * x4 - 40.0*x4 * x5 - 11.0*x4 * x6 - 5.0*x4 * x7 - 5.0*x4 * x8 - 
	6.0*x4 * x9 - 17.0*x4 * x10 - 33.0*x4 * x11 + 36.0*x4 * x12 - 2.0*x4 * x13 - 
	31.0*x4 * x14 + 14.0*x4 * x15 - 23.0*x4 * x16 + 8.0*x4 * x17 + 14.0*x4 * x18 + 
	8.0*x4 * x19 + 2.0*x4 * x20 - 16.0*x4 * x21 + 16.0*x4 * x22 - 20.0*x4 * x23 - 
	19.0*x4 * x24 - 10.0*x4 * x25 + 23.0*x4 * x26 + 27.0*x4 * x27 - 19.0*x4 * x28 + 
	24.0*x4 * x29 - 31.0*x4 * x30 + 23.0*x4 * x31 + 4.0*x4 * x32 - 3.0*x4 * x33 + 
	15.0*x4 * x34 - 16.0*x4 * x35 - 19.0*x4 * x36 - 25.0*x4 * x37 + 50.0*x4 * x38 - 
	6.0*x4 * x39 + 19.0*x4 * x40 - 13.0*x4 * x41 - 2.0*x4 * x42 + 10.0*x4 * x43 - 
	12.0*x4 * x44 - 2.0*x4 * x45 - 18.0*x4 * x46 - 4.0*x4 * x47 - 21.0*x4 * x48 + 
	25.0*x4 * x49 - 19.0*x4 * x50 + 13.0*x4 * x51 - 13.0*x4 * x52 - 30.0*x4 * x53 - 
	20.0*x4 * x54 + 63.0*x4 * x55 - 11.0*x4 * x56 - 19.0*x4 * x57 + x4 * x58 - 
	6.0*x4 * x59 + 2.0*x4 * x60 + 17.0*x4 * x61 + 2.0*x4 * x62 + 15.0*x4 * x63 + 
	7.0*x4 * x64 - 31.0*x4 * x65 - 12.0*x4 * x66 - 25.0*x4 * x67 - 12.0*x4 * x68 - 
	24.0*x4 * x69 - 20.0*x4 * x71 - 43.0*x4 * x72 - 36.0*x4 * x73 + 25.0*x4 * x74 - 
	36.0*x4 * x75 + 234.0*0.5 * x5 * x5 - 32.0*x5 * x6 + 13.0*x5 * x7 - 31.0*x5 * 
	x8 + 13.0*x5 * x9 - 25.0*x5 * x10 + 19.0*x5 * x11 - 27.0*x5 * x12 - 15.0*x5 * 
	x13 - 17.0*x5 * x14 + 34.0*x5 * x15 - 27.0*x5 * x16 - 20.0*x5 * x17 + 22.0*x5 * 
	x18 + 9.0*x5 * x19 - 13.0*x5 * x20 - 16.0*x5 * x21 - 14.0*x5 * x22 + 5.0*x5 * 
	x23 + 25.0*x5 * x24 - 9.0*x5 * x25 - 3.0*x5 * x26 - 10.0*x5 * x27 + 5.0*x5 * 
	x28 - 16.0*x5 * x29 + 6.0*x5 * x30 - 20.0*x5 * x31 + 31.0*x5 * x32 - 10.0*x5 * 
	x33 - 29.0*x5 * x34 + 6.0*x5 * x35 + 25.0*x5 * x36 + 16.0*x5 * x37 + 7.0*x5 * 
	x38 - 21.0*x5 * x39 + 11.0*x5 * x41 + 16.0*x5 * x42 - 2.0*x5 * x43 - 6.0*x5 * 
	x44 - 5.0*x5 * x45 + 46.0*x5 * x46 - 23.0*x5 * x47 + x5 * x48 - 5.0*x5 * x49 + 
	13.0*x5 * x50 - 12.0*x5 * x51 - 6.0*x5 * x52 + 30.0*x5 * x53 - 23.0*x5 * x54 - 
	33.0*x5 * x55 - 9.0*x5 * x56 - 14.0*x5 * x57 - 40.0*x5 * x58 - 6.0*x5 * x59 - 
	10.0*x5 * x60 + 28.0*x5 * x61 - 19.0*x5 * x62 - 26.0*x5 * x64 + 21.0*x5 * x65 + 
	16.0*x5 * x66 - 23.0*x5 * x67 + 47.0*x5 * x68 - 5.0*x5 * x69 + 20.0*x5 * x70 + 
	28.0*x5 * x71 + 28.0*x5 * x72 + 2.0*x5 * x73 - 12.0*x5 * x74 + 18.0*x5 * x75 + 
	230.0*0.5 * x6 * x6 - 21.0*x6 * x7 - 24.0*x6 * x8 + 13.0*x6 * x9 - 25.0*x6 * 
	x10 + 4.0*x6 * x11 - 23.0*x6 * x12 + 15.0*x6 * x13 + 12.0*x6 * x14 - 22.0*x6 * 
	x15 + 9.0*x6 * x17 - 14.0*x6 * x18 + 4.0*x6 * x19 + 48.0*x6 * x20 - 13.0*x6 * 
	x21 - 6.0*x6 * x23 - 6.0*x6 * x24 - 17.0*x6 * x25 + 8.0*x6 * x26 - 2.0*x6 * x27 
	+ 36.0*x6 * x28 + 21.0*x6 * x29 - 42.0*x6 * x30 + 7.0*x6 * x31 + 22.0*x6 * x32 
	- 16.0*x6 * x33 + 17.0*x6 * x34 - 29.0*x6 * x35 - 16.0*x6 * x37 + 14.0*x6 * x38 
	+ x6 * x39 - 19.0*x6 * x40 - 9.0*x6 * x41 + 59.0*x6 * x42 - 14.0*x6 * x43 - 
	13.0*x6 * x44 - 17.0*x6 * x45 + 9.0*x6 * x46 + 8.0*x6 * x47 - 8.0*x6 * x48 - 
	19.0*x6 * x49 - 27.0*x6 * x50 - 2.0*x6 * x51 + 37.0*x6 * x52 - 9.0*x6 * x53 + 
	6.0*x6 * x54 + 10.0*x6 * x55 - 20.0*x6 * x56 + 2.0*x6 * x57 + 18.0*x6 * x58 + 
	4.0*x6 * x59 - 6.0*x6 * x60 - x6 * x61 - 3.0*x6 * x62 - 8.0*x6 * x63 - 15.0*x6 
	* x64 + 3.0*x6 * x65 + 8.0*x6 * x66 + 3.0*x6 * x67 - 14.0*x6 * x68 + 15.0*x6 * 
	x69 - x6 * x70 - 6.0*x6 * x71 - 30.0*x6 * x72 + 11.0*x6 * x73 - 14.0*x6 * x74 - 
	45.0*x6 * x75 + 214.0*0.5 * x7 * x7 - 28.0*x7 * x8 + 14.0*x7 * x9 - 20.0*x7 * 
	x10 - 15.0*x7 * x11 - 9.0*x7 * x12 - 18.0*x7 * x13 - 3.0*x7 * x14 - 19.0*x7 * 
	x16 + 7.0*x7 * x17 + 21.0*x7 * x18 - 22.0*x7 * x19 + 3.0*x7 * x20 - 27.0*x7 * 
	x21 + 20.0*x7 * x22 - 5.0*x7 * x23 + 16.0*x7 * x24 - 2.0*x7 * x25 - 18.0*x7 * 
	x26 - 2.0*x7 * x27 + 12.0*x7 * x28 + 10.0*x7 * x29 + 7.0*x7 * x30 - 13.0*x7 * 
	x31 + 24.0*x7 * x32 - 16.0*x7 * x33 - 19.0*x7 * x34 + 14.0*x7 * x35 - 10.0*x7 * 
	x36 - 3.0*x7 * x37 - 23.0*x7 * x38 + 12.0*x7 * x39 + 31.0*x7 * x40 - 7.0*x7 * 
	x41 - 8.0*x7 * x42 - 21.0*x7 * x43 - 13.0*x7 * x44 + 29.0*x7 * x45 + 7.0*x7 * 
	x46 + 7.0*x7 * x47 - 31.0*x7 * x48 + 44.0*x7 * x49 - 10.0*x7 * x50 + 15.0*x7 * 
	x51 - 10.0*x7 * x52 + 18.0*x7 * x53 - 9.0*x7 * x54 - 26.0*x7 * x55 + 2.0*x7 * 
	x56 + 2.0*x7 * x57 - 9.0*x7 * x58 - 14.0*x7 * x59 + 12.0*x7 * x60 + 44.0*x7 * 
	x61 + 3.0*x7 * x62 + 3.0*x7 * x63 + 41.0*x7 * x64 - x7 * x65 + 24.0*x7 * x66 - 
	15.0*x7 * x67 + 14.0*x7 * x68 - 2.0*x7 * x69 + 7.0*x7 * x70 - 20.0*x7 * x71 + 
	21.0*x7 * x72 - 3.0*x7 * x73 - 18.0*x7 * x74 + 17.0*x7 * x75 + 212.0*0.5 * x8 * 
	x8 - 36.0*x8 * x9 - 16.0*x8 * x10 + 5.0*x8 * x11 - 4.0*x8 * x12 + 3.0*x8 * x13 
	- 7.0*x8 * x14 + 8.0*x8 * x15 - x8 * x16 + 32.0*x8 * x17 - 24.0*x8 * x18 + 
	16.0*x8 * x19 - 17.0*x8 * x20 + 28.0*x8 * x21 - 12.0*x8 * x22 - 15.0*x8 * x23 - 
	15.0*x8 * x24 + 20.0*x8 * x25 - 3.0*x8 * x26 + 21.0*x8 * x27 - 22.0*x8 * x28 - 
	19.0*x8 * x29 + 22.0*x8 * x30 + 20.0*x8 * x31 - 42.0*x8 * x32 + 19.0*x8 * x33 - 
	5.0*x8 * x34 - 16.0*x8 * x35 + 2.0*x8 * x36 - 11.0*x8 * x37 - 26.0*x8 * x38 + 
	44.0*x8 * x39 + 21.0*x8 * x40 - 8.0*x8 * x41 + 21.0*x8 * x43 + 7.0*x8 * x44 + 
	10.0*x8 * x45 - 16.0*x8 * x46 - 5.0*x8 * x47 + 4.0*x8 * x48 + 8.0*x8 * x49 + 
	2.0*x8 * x50 - 25.0*x8 * x51 - 5.0*x8 * x52 - 7.0*x8 * x53 + 21.0*x8 * x54 + 
	3.0*x8 * x55 + 7.0*x8 * x56 - 3.0*x8 * x57 + 2.0*x8 * x58 + 8.0*x8 * x59 - 
	2.0*x8 * x60 - 26.0*x8 * x61 + 15.0*x8 * x62 - 23.0*x8 * x63 - 6.0*x8 * x64 - 
	14.0*x8 * x65 - 14.0*x8 * x66 - 8.0*x8 * x67 - 38.0*x8 * x68 - 11.0*x8 * x69 - 
	7.0*x8 * x70 + 5.0*x8 * x71 + 6.0*x8 * x72 + 21.0*x8 * x73 + 10.0*x8 * x74 + 
	3.0*x8 * x75 + 220.0*0.5 * x9 * x9 - 8.0*x9 * x10 - 38.0*x9 * x11 - 24.0*x9 * 
	x12 - 7.0*x9 * x13 - 8.0*x9 * x14 - 9.0*x9 * x15 - 4.0*x9 * x16 + 5.0*x9 * x17 
	+ x9 * x18 - 22.0*x9 * x19 + 20.0*x9 * x20 - 17.0*x9 * x21 + 10.0*x9 * x22 - 
	17.0*x9 * x23 + 15.0*x9 * x24 - 33.0*x9 * x25 - 10.0*x9 * x26 - 26.0*x9 * x27 + 
	20.0*x9 * x28 + 8.0*x9 * x29 + 4.0*x9 * x30 - 13.0*x9 * x31 + 35.0*x9 * x32 - 
	11.0*x9 * x33 - 4.0*x9 * x34 + 13.0*x9 * x35 - 30.0*x9 * x36 + 30.0*x9 * x37 + 
	16.0*x9 * x40 - 2.0*x9 * x41 - x9 * x42 - 27.0*x9 * x43 - 11.0*x9 * x44 - 
	7.0*x9 * x45 + 19.0*x9 * x46 - 3.0*x9 * x47 - 12.0*x9 * x48 + 21.0*x9 * x49 - 
	15.0*x9 * x50 + 10.0*x9 * x51 - 25.0*x9 * x52 + 12.0*x9 * x53 - 10.0*x9 * x54 + 
	7.0*x9 * x55 - 23.0*x9 * x56 + 20.0*x9 * x57 - 7.0*x9 * x58 + 18.0*x9 * x59 - 
	2.0*x9 * x60 + 5.0*x9 * x61 - 14.0*x9 * x62 + 21.0*x9 * x63 + 26.0*x9 * x64 + 
	x9 * x65 + 36.0*x9 * x66 + 7.0*x9 * x67 + 31.0*x9 * x68 + 5.0*x9 * x69 + 3.0*x9 
	* x70 - 29.0*x9 * x71 + 32.0*x9 * x72 - 16.0*x9 * x73 - 4.0*x9 * x74 + 22.0*x9 
	* x75 + 224.0*0.5 * x10 * x10 - 29.0*x10 * x11 - 13.0*x10 * x12 - 10.0*x10 * 
	x13 - x10 * x14 - 29.0*x10 * x15 + 28.0*x10 * x16 + 5.0*x10 * x17 + 10.0*x10 * 
	x18 - 33.0*x10 * x19 + 40.0*x10 * x20 - 4.0*x10 * x21 - 14.0*x10 * x22 - 
	12.0*x10 * x23 + 6.0*x10 * x24 - 9.0*x10 * x25 - 31.0*x10 * x26 + 23.0*x10 * 
	x27 + 28.0*x10 * x28 - 13.0*x10 * x29 - 4.0*x10 * x30 - 9.0*x10 * x31 - 
	33.0*x10 * x32 - 3.0*x10 * x33 - 5.0*x10 * x34 + 28.0*x10 * x35 + 2.0*x10 * x37 
	- 10.0*x10 * x38 - 6.0*x10 * x39 - 5.0*x10 * x40 + 27.0*x10 * x41 - 24.0*x10 * 
	x42 - 23.0*x10 * x43 + 37.0*x10 * x44 - 7.0*x10 * x45 - 22.0*x10 * x46 + 
	6.0*x10 * x47 + 29.0*x10 * x48 - 3.0*x10 * x49 + 16.0*x10 * x50 - 11.0*x10 * 
	x51 - 28.0*x10 * x52 - 17.0*x10 * x53 + 2.0*x10 * x54 + 19.0*x10 * x55 + 
	28.0*x10 * x56 + 14.0*x10 * x57 + 24.0*x10 * x58 - 4.0*x10 * x59 + 18.0*x10 * 
	x60 - 14.0*x10 * x61 - 18.0*x10 * x62 + x10 * x63 - 6.0*x10 * x64 + 6.0*x10 * 
	x65 + 17.0*x10 * x66 + 35.0*x10 * x67 - 21.0*x10 * x68 - 11.0*x10 * x69 - 
	17.0*x10 * x70 + 27.0*x10 * x71 - x10 * x72 - 11.0*x10 * x73 + 11.0*x10 * x75 + 
	220.0*0.5 * x11 * x11 - 30.0*x11 * x12 - 12.0*x11 * x13 - 13.0*x11 * x14 + 
	43.0*x11 * x15 - 21.0*x11 * x16 - 22.0*x11 * x17 - 29.0*x11 * x18 - 27.0*x11 * 
	x20 + 18.0*x11 * x21 - 22.0*x11 * x22 + 27.0*x11 * x23 - x11 * x24 + 40.0*x11 * 
	x25 + 3.0*x11 * x26 + 26.0*x11 * x27 - 13.0*x11 * x28 - 5.0*x11 * x29 - 4.0*x11 
	* x30 - 10.0*x11 * x31 - 15.0*x11 * x32 + 27.0*x11 * x33 - 19.0*x11 * x34 - 
	10.0*x11 * x35 + 22.0*x11 * x36 + 8.0*x11 * x37 - 17.0*x11 * x38 + 8.0*x11 * 
	x39 - 32.0*x11 * x40 - 9.0*x11 * x41 + 2.0*x11 * x42 + 40.0*x11 * x43 + 
	13.0*x11 * x44 + x11 * x45 + 3.0*x11 * x46 - 13.0*x11 * x47 + 4.0*x11 * x48 - 
	30.0*x11 * x49 + 55.0*x11 * x50 - 37.0*x11 * x51 + 35.0*x11 * x52 - 12.0*x11 * 
	x53 + 26.0*x11 * x54 - 28.0*x11 * x55 - 10.0*x11 * x56 + 11.0*x11 * x57 - 
	32.0*x11 * x58 + 9.0*x11 * x59 - 19.0*x11 * x60 - 9.0*x11 * x61 + 16.0*x11 * 
	x62 - 7.0*x11 * x63 - 37.0*x11 * x64 - 2.0*x11 * x65 - 15.0*x11 * x66 + 
	19.0*x11 * x67 + 4.0*x11 * x68 + 24.0*x11 * x69 + 2.0*x11 * x70 + 6.0*x11 * x71 
	- 10.0*x11 * x72 + 37.0*x11 * x73 - 4.0*x11 * x74 + 9.0*x11 * x75 + 216.0*0.5 * 
	x12 * x12 - 55.0*x12 * x13 - 27.0*x12 * x14 - 2.0*x12 * x15 + 8.0*x12 * x16 - 
	6.0*x12 * x17 - 12.0*x12 * x18 + 25.0*x12 * x19 - 22.0*x12 * x20 + 27.0*x12 * 
	x21 + 3.0*x12 * x22 - 12.0*x12 * x23 - 14.0*x12 * x24 - 2.0*x12 * x25 + 3.0*x12 
	* x26 + 52.0*x12 * x27 - 18.0*x12 * x28 - x12 * x29 - 28.0*x12 * x30 + 19.0*x12 
	* x31 + 3.0*x12 * x32 - 26.0*x12 * x33 - 3.0*x12 * x34 - 15.0*x12 * x35 - 
	11.0*x12 * x36 + 17.0*x12 * x38 - 11.0*x12 * x39 - 2.0*x12 * x40 - x12 * x41 + 
	x12 * x42 + 18.0*x12 * x43 + 3.0*x12 * x44 - x12 * x45 - 4.0*x12 * x46 + 
	21.0*x12 * x47 + 24.0*x12 * x48 - 9.0*x12 * x49 - 29.0*x12 * x50 - 4.0*x12 * 
	x51 - 17.0*x12 * x52 - 18.0*x12 * x53 + 18.0*x12 * x54 + 26.0*x12 * x55 + 
	35.0*x12 * x56 - 10.0*x12 * x57 + 10.0*x12 * x58 - 4.0*x12 * x59 - 13.0*x12 * 
	x60 + 8.0*x12 * x61 + 15.0*x12 * x62 - 15.0*x12 * x63 - 9.0*x12 * x64 - 6.0*x12 
	* x65 - 25.0*x12 * x66 - 9.0*x12 * x67 - 31.0*x12 * x68 - 32.0*x12 * x69 - 
	9.0*x12 * x70 - 7.0*x12 * x71 - 10.0*x12 * x72 - 21.0*x12 * x73 - 19.0*x12 * 
	x74 - 11.0*x12 * x75 + 188.0*0.5 * x13 * x13 - 17.0*x13 * x14 - 3.0*x13 * x15 - 
	31.0*x13 * x16 + 4.0*x13 * x17 - 19.0*x13 * x18 - 11.0*x13 * x19 + 46.0*x13 * 
	x20 - 10.0*x13 * x21 - x13 * x22 + 13.0*x13 * x23 - 16.0*x13 * x24 + 21.0*x13 * 
	x25 - 25.0*x13 * x26 - 12.0*x13 * x27 + 5.0*x13 * x28 + 6.0*x13 * x29 + 
	25.0*x13 * x30 - 27.0*x13 * x31 - 20.0*x13 * x32 + 27.0*x13 * x33 + 10.0*x13 * 
	x34 - 6.0*x13 * x35 + 12.0*x13 * x36 - 25.0*x13 * x37 - 14.0*x13 * x38 + 
	26.0*x13 * x39 - 15.0*x13 * x40 - 8.0*x13 * x41 + 11.0*x13 * x42 + 15.0*x13 * 
	x43 - 19.0*x13 * x44 + 5.0*x13 * x45 - 2.0*x13 * x46 - x13 * x47 + 2.0*x13 * 
	x48 - 5.0*x13 * x49 + 10.0*x13 * x50 - 16.0*x13 * x51 + 24.0*x13 * x52 + 
	2.0*x13 * x53 - 11.0*x13 * x54 - 9.0*x13 * x55 - 6.0*x13 * x56 + 17.0*x13 * x57 
	+ 4.0*x13 * x58 + 3.0*x13 * x59 - 8.0*x13 * x60 - 27.0*x13 * x61 - 4.0*x13 * 
	x62 + 7.0*x13 * x63 + 3.0*x13 * x64 - 19.0*x13 * x65 + 12.0*x13 * x66 - 9.0*x13 
	* x67 - x13 * x68 + 37.0*x13 * x69 + 9.0*x13 * x70 + 4.0*x13 * x71 - 5.0*x13 * 
	x72 + 29.0*x13 * x73 + 40.0*x13 * x74 + 7.0*x13 * x75 + 178.0*0.5 * x14 * x14 - 
	34.0*x14 * x15 - 5.0*x14 * x16 - 9.0*x14 * x17 - 2.0*x14 * x18 + 10.0*x14 * x19 
	+ 6.0*x14 * x20 + 7.0*x14 * x21 - 2.0*x14 * x22 - 4.0*x14 * x23 - 16.0*x14 * 
	x24 - 7.0*x14 * x25 + 7.0*x14 * x26 - 22.0*x14 * x27 - 6.0*x14 * x29 - 5.0*x14 
	* x30 + 6.0*x14 * x31 + 19.0*x14 * x33 + 14.0*x14 * x34 - 9.0*x14 * x35 - 
	5.0*x14 * x36 - 7.0*x14 * x37 - 11.0*x14 * x38 + 10.0*x14 * x39 - 13.0*x14 * 
	x40 + 8.0*x14 * x41 + 10.0*x14 * x42 - 27.0*x14 * x43 - 2.0*x14 * x44 + 3.0*x14 
	* x45 - 10.0*x14 * x46 + 12.0*x14 * x47 + 6.0*x14 * x48 + 18.0*x14 * x49 + 
	3.0*x14 * x50 - 16.0*x14 * x51 + 18.0*x14 * x52 + 17.0*x14 * x53 - 6.0*x14 * 
	x54 - 24.0*x14 * x55 - 7.0*x14 * x56 - x14 * x57 + 24.0*x14 * x58 - 21.0*x14 * 
	x59 + 38.0*x14 * x60 - 10.0*x14 * x61 + 27.0*x14 * x62 + 4.0*x14 * x63 + 
	21.0*x14 * x64 + 7.0*x14 * x65 + 16.0*x14 * x66 + 11.0*x14 * x67 + 2.0*x14 * 
	x68 + 10.0*x14 * x69 - 17.0*x14 * x70 - 18.0*x14 * x71 - 14.0*x14 * x72 + 
	9.0*x14 * x73 - 22.0*x14 * x74 - 4.0*x14 * x75 + 218.0*0.5 * x15 * x15 - 
	43.0*x15 * x16 - 9.0*x15 * x18 - 35.0*x15 * x20 - 9.0*x15 * x21 + 11.0*x15 * 
	x22 + 4.0*x15 * x23 - 7.0*x15 * x24 + 2.0*x15 * x26 + 28.0*x15 * x27 - 17.0*x15 
	* x28 - 5.0*x15 * x29 + 2.0*x15 * x30 - 7.0*x15 * x31 + 9.0*x15 * x32 + 
	25.0*x15 * x33 - 20.0*x15 * x34 - 19.0*x15 * x35 + 3.0*x15 * x36 + 9.0*x15 * 
	x37 - 7.0*x15 * x38 - 14.0*x15 * x39 + 13.0*x15 * x40 + 19.0*x15 * x41 - 
	27.0*x15 * x42 + 38.0*x15 * x43 - 15.0*x15 * x44 + 2.0*x15 * x45 + 28.0*x15 * 
	x46 - 23.0*x15 * x47 - 24.0*x15 * x48 - 3.0*x15 * x49 + 5.0*x15 * x50 - 
	17.0*x15 * x51 + 26.0*x15 * x52 - x15 * x53 + 12.0*x15 * x54 + 8.0*x15 * x55 - 
	17.0*x15 * x56 + 10.0*x15 * x57 - 28.0*x15 * x58 + 5.0*x15 * x59 - 7.0*x15 * 
	x60 - 15.0*x15 * x61 + 14.0*x15 * x62 - 26.0*x15 * x63 - 11.0*x15 * x64 - 
	14.0*x15 * x65 - 15.0*x15 * x66 - 34.0*x15 * x67 + 27.0*x15 * x68 - 32.0*x15 * 
	x69 + 45.0*x15 * x70 + 3.0*x15 * x71 - 10.0*x15 * x72 + 10.0*x15 * x73 + 
	24.0*x15 * x74 - 4.0*x15 * x75 + 210.0*0.5 * x16 * x16 - 29.0*x16 * x17 - 
	10.0*x16 * x18 - 15.0*x16 * x19 - 7.0*x16 * x20 + 24.0*x16 * x21 + 4.0*x16 * 
	x22 - 19.0*x16 * x23 + 3.0*x16 * x24 - 8.0*x16 * x25 - 3.0*x16 * x26 - 8.0*x16 
	* x27 + 10.0*x16 * x28 + 4.0*x16 * x29 - 26.0*x16 * x30 + 4.0*x16 * x31 - 
	22.0*x16 * x32 - 24.0*x16 * x33 + 36.0*x16 * x34 + 33.0*x16 * x35 - 19.0*x16 * 
	x36 + x16 * x37 - 6.0*x16 * x38 - 2.0*x16 * x39 - 12.0*x16 * x40 + 6.0*x16 * 
	x41 - 23.0*x16 * x42 - 17.0*x16 * x43 + 8.0*x16 * x44 - 15.0*x16 * x45 - 
	6.0*x16 * x46 + 44.0*x16 * x47 + 26.0*x16 * x48 - 15.0*x16 * x49 + 5.0*x16 * 
	x50 + 7.0*x16 * x51 - 26.0*x16 * x52 - 31.0*x16 * x53 + 40.0*x16 * x54 + 
	6.0*x16 * x55 - 6.0*x16 * x56 + 13.0*x16 * x57 + 10.0*x16 * x58 - 6.0*x16 * x59 
	+ 25.0*x16 * x60 - 9.0*x16 * x61 - 14.0*x16 * x62 - 21.0*x16 * x63 - 8.0*x16 * 
	x64 + 21.0*x16 * x65 - 11.0*x16 * x66 + 43.0*x16 * x67 - 33.0*x16 * x68 - 
	18.0*x16 * x69 - 21.0*x16 * x70 + 20.0*x16 * x71 - 12.0*x16 * x72 - 24.0*x16 * 
	x73 - 23.0*x16 * x74 + 13.0*x16 * x75 + 192.0*0.5 * x17 * x17 - 17.0*x17 * x18 
	- 2.0*x17 * x19 - 3.0*x17 * x20 + 13.0*x17 * x21 + 11.0*x17 * x22 - 19.0*x17 * 
	x23 - x17 * x24 - 11.0*x17 * x25 - 17.0*x17 * x26 - 7.0*x17 * x27 + 23.0*x17 * 
	x28 + 4.0*x17 * x29 + 5.0*x17 * x30 + x17 * x31 - 14.0*x17 * x32 + 2.0*x17 * 
	x33 + 5.0*x17 * x34 - 18.0*x17 * x35 + 7.0*x17 * x36 - 6.0*x17 * x37 - 18.0*x17 
	* x38 + x17 * x39 + 36.0*x17 * x40 - 3.0*x17 * x41 - 3.0*x17 * x42 - x17 * x43 
	+ 7.0*x17 * x44 - 10.0*x17 * x45 + 19.0*x17 * x46 - 8.0*x17 * x47 - 18.0*x17 * 
	x48 + 20.0*x17 * x49 - 31.0*x17 * x50 - 7.0*x17 * x51 + 17.0*x17 * x52 - 
	10.0*x17 * x53 + 17.0*x17 * x54 + 9.0*x17 * x55 - 9.0*x17 * x56 + 6.0*x17 * x57 
	+ 23.0*x17 * x58 + 2.0*x17 * x59 + 26.0*x17 * x60 - 12.0*x17 * x61 - 9.0*x17 * 
	x62 - 4.0*x17 * x63 - x17 * x64 - 31.0*x17 * x65 + 18.0*x17 * x66 + 7.0*x17 * 
	x67 - 13.0*x17 * x68 - 9.0*x17 * x69 + 5.0*x17 * x70 - 8.0*x17 * x71 - 6.0*x17 
	* x72 + 4.0*x17 * x73 + 8.0*x17 * x74 - 12.0*x17 * x75 + 208.0*0.5 * x18 * x18 
	- 20.0*x18 * x19 - 10.0*x18 * x20 - 4.0*x18 * x21 + 11.0*x18 * x22 - 34.0*x18 * 
	x23 + x18 * x24 - 24.0*x18 * x25 - 2.0*x18 * x26 - 6.0*x18 * x27 + 22.0*x18 * 
	x28 + 31.0*x18 * x29 - 28.0*x18 * x30 - 8.0*x18 * x31 + 9.0*x18 * x32 - 
	14.0*x18 * x33 - 10.0*x18 * x34 + 19.0*x18 * x35 - 21.0*x18 * x36 + 12.0*x18 * 
	x37 + 32.0*x18 * x38 - 29.0*x18 * x39 + 19.0*x18 * x40 - 4.0*x18 * x41 - 
	11.0*x18 * x42 - 9.0*x18 * x43 - 13.0*x18 * x44 - 3.0*x18 * x45 + 26.0*x18 * 
	x46 - 7.0*x18 * x47 - 22.0*x18 * x48 + 16.0*x18 * x49 - 11.0*x18 * x50 + 
	28.0*x18 * x51 - 6.0*x18 * x52 + 4.0*x18 * x53 - 33.0*x18 * x54 - 3.0*x18 * x55 
	- 10.0*x18 * x56 + x18 * x57 + 12.0*x18 * x58 + 20.0*x18 * x59 + 12.0*x18 * x60 
	+ 54.0*x18 * x61 - 23.0*x18 * x62 + 15.0*x18 * x63 + 19.0*x18 * x64 + 3.0*x18 * 
	x65 + 33.0*x18 * x66 - 10.0*x18 * x67 + 20.0*x18 * x68 - 17.0*x18 * x69 + 
	26.0*x18 * x70 + 3.0*x18 * x71 - 3.0*x18 * x72 - 16.0*x18 * x73 + 36.0*x18 * 
	x74 - 27.0*x18 * x75 + 208.0*0.5 * x19 * x19 - 7.0*x19 * x20 - 22.0*x19 * x21 - 
	22.0*x19 * x22 - 30.0*x19 * x23 - 22.0*x19 * x24 - 7.0*x19 * x25 + 8.0*x19 * 
	x26 + 13.0*x19 * x27 - 4.0*x19 * x28 - 8.0*x19 * x29 - 14.0*x19 * x30 + 
	22.0*x19 * x31 + x19 * x32 - 17.0*x19 * x33 + 9.0*x19 * x34 - 20.0*x19 * x35 + 
	12.0*x19 * x36 - x19 * x37 + 19.0*x19 * x38 + 21.0*x19 * x39 - 44.0*x19 * x40 - 
	5.0*x19 * x41 + 26.0*x19 * x42 + 7.0*x19 * x43 - 4.0*x19 * x44 - 15.0*x19 * x45 
	- 16.0*x19 * x46 + 9.0*x19 * x47 + 15.0*x19 * x48 + 10.0*x19 * x49 - 27.0*x19 * 
	x50 - 23.0*x19 * x51 + 7.0*x19 * x52 + 29.0*x19 * x53 - 8.0*x19 * x54 - 4.0*x19 
	* x55 - 10.0*x19 * x56 - 3.0*x19 * x57 + 2.0*x19 * x58 - 18.0*x19 * x59 + 
	3.0*x19 * x60 - 3.0*x19 * x61 + 5.0*x19 * x62 + 7.0*x19 * x63 - 9.0*x19 * x64 - 
	11.0*x19 * x65 - 8.0*x19 * x66 - 33.0*x19 * x67 - 8.0*x19 * x68 - 7.0*x19 * x69 
	- 25.0*x19 * x70 - 4.0*x19 * x71 - 13.0*x19 * x72 + 41.0*x19 * x73 - 21.0*x19 * 
	x74 - 23.0*x19 * x75 + 232.0*0.5 * x20 * x20 - 14.0*x20 * x21 - 29.0*x20 * x22 
	- 22.0*x20 * x23 + x20 * x24 - 14.0*x20 * x25 - 7.0*x20 * x26 - 12.0*x20 * x27 
	+ 48.0*x20 * x28 + 11.0*x20 * x29 - 35.0*x20 * x30 - x20 * x31 - 4.0*x20 * x32 
	- 11.0*x20 * x33 + 11.0*x20 * x34 - 13.0*x20 * x35 - 7.0*x20 * x36 - 6.0*x20 * 
	x37 + 24.0*x20 * x38 + 5.0*x20 * x39 - 24.0*x20 * x40 - 35.0*x20 * x41 + 
	32.0*x20 * x42 - 9.0*x20 * x43 - 6.0*x20 * x44 + 5.0*x20 * x45 - 10.0*x20 * x46 
	+ 29.0*x20 * x47 - 19.0*x20 * x50 + 9.0*x20 * x51 + 10.0*x20 * x52 - 22.0*x20 * 
	x53 - 33.0*x20 * x54 + 5.0*x20 * x55 + 10.0*x20 * x56 - 13.0*x20 * x57 + 
	54.0*x20 * x58 - 18.0*x20 * x59 + 17.0*x20 * x60 + 6.0*x20 * x61 - 10.0*x20 * 
	x62 + 2.0*x20 * x63 - 15.0*x20 * x64 - 12.0*x20 * x65 + 12.0*x20 * x66 - 
	4.0*x20 * x67 + 15.0*x20 * x68 + 8.0*x20 * x69 - 11.0*x20 * x70 + 12.0*x20 * 
	x71 - 15.0*x20 * x72 + 9.0*x20 * x73 - 7.0*x20 * x74 - 29.0*x20 * x75 + 
	222.0*0.5 * x21 * x21 - 34.0*x21 * x22 - 6.0*x21 * x23 - 27.0*x21 * x24 + 
	21.0*x21 * x25 - 10.0*x21 * x26 - 4.0*x21 * x27 - 9.0*x21 * x28 + 8.0*x21 * x29 
	- 20.0*x21 * x30 - 2.0*x21 * x31 - 16.0*x21 * x32 + 17.0*x21 * x33 + 11.0*x21 * 
	x34 - 11.0*x21 * x35 + 4.0*x21 * x36 + 7.0*x21 * x37 - 14.0*x21 * x38 - 7.0*x21 
	* x39 - 10.0*x21 * x40 + x21 * x41 - 3.0*x21 * x42 - 4.0*x21 * x43 + 47.0*x21 * 
	x44 - 3.0*x21 * x45 - 11.0*x21 * x46 - x21 * x47 - 6.0*x21 * x48 - 18.0*x21 * 
	x49 + 43.0*x21 * x50 - 10.0*x21 * x51 + 4.0*x21 * x52 - 20.0*x21 * x53 + 
	32.0*x21 * x54 - 15.0*x21 * x55 - 7.0*x21 * x56 + 28.0*x21 * x57 + 8.0*x21 * 
	x58 - 4.0*x21 * x59 + 6.0*x21 * x60 - 14.0*x21 * x61 - 24.0*x21 * x62 - 
	15.0*x21 * x63 - 27.0*x21 * x64 - 5.0*x21 * x65 + 7.0*x21 * x66 + 15.0*x21 * 
	x67 - 16.0*x21 * x68 + 11.0*x21 * x69 + 17.0*x21 * x70 + 7.0*x21 * x71 - 
	20.0*x21 * x72 - 8.0*x21 * x73 + 12.0*x21 * x74 - 17.0*x21 * x75 + 218.0*0.5 * 
	x22 * x22 - 25.0*x22 * x23 - 10.0*x22 * x24 - 19.0*x22 * x25 - 6.0*x22 * x26 - 
	23.0*x22 * x27 - 6.0*x22 * x28 + 12.0*x22 * x29 - 8.0*x22 * x30 - 15.0*x22 * 
	x31 + 13.0*x22 * x32 + 2.0*x22 * x33 + 5.0*x22 * x34 + 16.0*x22 * x35 - 
	14.0*x22 * x36 + 2.0*x22 * x37 - 7.0*x22 * x38 - 10.0*x22 * x39 + 27.0*x22 * 
	x40 - x22 * x41 - 19.0*x22 * x42 - 8.0*x22 * x43 - 17.0*x22 * x44 - 4.0*x22 * 
	x45 + 28.0*x22 * x46 + 8.0*x22 * x47 - 23.0*x22 * x48 + 38.0*x22 * x49 - 
	37.0*x22 * x50 + 11.0*x22 * x51 - 13.0*x22 * x52 + x22 * x53 + 12.0*x22 * x54 - 
	5.0*x22 * x55 - 16.0*x22 * x56 - 20.0*x22 * x57 - 4.0*x22 * x58 + 43.0*x22 * 
	x59 + 18.0*x22 * x60 - 17.0*x22 * x61 - 5.0*x22 * x62 - 9.0*x22 * x63 + 
	58.0*x22 * x64 + 18.0*x22 * x65 + 29.0*x22 * x66 + 12.0*x22 * x67 - 21.0*x22 * 
	x68 - 12.0*x22 * x69 + 28.0*x22 * x70 + 12.0*x22 * x71 + 9.0*x22 * x72 - 
	23.0*x22 * x73 + 9.0*x22 * x74 - x22 * x75 + 206.0*0.5 * x23 * x23 - 26.0*x23 * 
	x24 + 3.0*x23 * x25 - 11.0*x23 * x26 + 7.0*x23 * x27 - 13.0*x23 * x28 - 
	23.0*x23 * x29 + 16.0*x23 * x30 - 3.0*x23 * x31 - 24.0*x23 * x32 + 7.0*x23 * 
	x33 + 3.0*x23 * x34 - 7.0*x23 * x35 - 3.0*x23 * x36 - 3.0*x23 * x37 - 18.0*x23 
	* x38 + 4.0*x23 * x39 - 2.0*x23 * x40 - 8.0*x23 * x41 + 30.0*x23 * x43 + 
	5.0*x23 * x44 - 2.0*x23 * x45 + 15.0*x23 * x46 - 26.0*x23 * x47 + 8.0*x23 * x48 
	- 10.0*x23 * x49 + 28.0*x23 * x50 - 18.0*x23 * x51 - 5.0*x23 * x52 - 9.0*x23 * 
	x53 + 18.0*x23 * x54 - 4.0*x23 * x55 + 6.0*x23 * x56 - 12.0*x23 * x57 - 
	14.0*x23 * x58 - 17.0*x23 * x59 - 11.0*x23 * x60 + 8.0*x23 * x61 + 19.0*x23 * 
	x62 + 11.0*x23 * x63 - 18.0*x23 * x64 + x23 * x65 - 30.0*x23 * x66 - 11.0*x23 * 
	x68 + 27.0*x23 * x69 - 22.0*x23 * x70 - 22.0*x23 * x71 - 4.0*x23 * x72 + 
	6.0*x23 * x73 + 14.0*x23 * x74 + 2.0*x23 * x75 + 202.0*0.5 * x24 * x24 - 
	5.0*x24 * x25 - 24.0*x24 * x26 - 12.0*x24 * x27 - 4.0*x24 * x28 - 22.0*x24 * 
	x29 - 14.0*x24 * x30 - 14.0*x24 * x31 + 12.0*x24 * x32 - 13.0*x24 * x33 - 
	20.0*x24 * x34 + 31.0*x24 * x35 - 9.0*x24 * x36 - 14.0*x24 * x37 - 7.0*x24 * 
	x38 - 14.0*x24 * x39 + 25.0*x24 * x40 + x24 * x41 - 14.0*x24 * x42 + 18.0*x24 * 
	x43 - 17.0*x24 * x44 + 24.0*x24 * x45 + x24 * x46 + 13.0*x24 * x47 - 5.0*x24 * 
	x48 + 19.0*x24 * x49 - 8.0*x24 * x50 - 5.0*x24 * x51 - 27.0*x24 * x52 - x24 * 
	x53 + 19.0*x24 * x54 - 10.0*x24 * x55 + 10.0*x24 * x56 - 16.0*x24 * x57 - 
	25.0*x24 * x58 + 33.0*x24 * x59 - 28.0*x24 * x60 + 23.0*x24 * x61 - 29.0*x24 * 
	x62 + 3.0*x24 * x63 + 32.0*x24 * x64 + 4.0*x24 * x65 + 16.0*x24 * x66 + 
	16.0*x24 * x67 + 23.0*x24 * x68 + 18.0*x24 * x69 - 9.0*x24 * x70 + 18.0*x24 * 
	x71 + 33.0*x24 * x72 - 11.0*x24 * x73 - 16.0*x24 * x74 + 40.0*x24 * x75 + 
	206.0*0.5 * x25 * x25 - 26.0*x25 * x26 - 7.0*x25 * x27 - 36.0*x25 * x28 - 
	30.0*x25 * x29 + 23.0*x25 * x30 - 16.0*x25 * x31 - 17.0*x25 * x32 + 33.0*x25 * 
	x33 - 14.0*x25 * x34 - 4.0*x25 * x35 + 17.0*x25 * x36 - 18.0*x25 * x37 - 
	2.0*x25 * x38 + 10.0*x25 * x39 - 7.0*x25 * x40 + 7.0*x25 * x41 - 17.0*x25 * x42 
	+ 20.0*x25 * x43 - 5.0*x25 * x44 + 22.0*x25 * x45 - 9.0*x25 * x46 - 10.0*x25 * 
	x47 + 12.0*x25 * x48 - 29.0*x25 * x49 + 18.0*x25 * x50 - 15.0*x25 * x51 + 
	14.0*x25 * x52 + 4.0*x25 * x53 + 21.0*x25 * x54 - 29.0*x25 * x55 + 43.0*x25 * 
	x56 - 2.0*x25 * x57 - 4.0*x25 * x58 + 9.0*x25 * x59 - 26.0*x25 * x60 - 20.0*x25 
	* x61 + 39.0*x25 * x62 - 6.0*x25 * x63 - 21.0*x25 * x64 + 3.0*x25 * x65 - 
	22.0*x25 * x66 + 8.0*x25 * x67 - 17.0*x25 * x68 + 12.0*x25 * x69 - 13.0*x25 * 
	x70 - x25 * x71 + 17.0*x25 * x72 + 27.0*x25 * x73 + 7.0*x25 * x74 + 23.0*x25 * 
	x75 + 210.0*0.5 * x26 * x26 - 30.0*x26 * x27 - 7.0*x26 * x28 - 12.0*x26 * x29 - 
	45.0*x26 * x30 + 6.0*x26 * x31 + x26 * x32 + 32.0*x26 * x33 - 6.0*x26 * x34 - 
	23.0*x26 * x35 + 7.0*x26 * x36 - 12.0*x26 * x37 + 33.0*x26 * x38 - 29.0*x26 * 
	x39 - 22.0*x26 * x40 - 13.0*x26 * x41 + 4.0*x26 * x42 + 6.0*x26 * x43 + 
	15.0*x26 * x44 + 18.0*x26 * x45 + 15.0*x26 * x46 - 2.0*x26 * x47 - 14.0*x26 * 
	x48 - 15.0*x26 * x49 + 6.0*x26 * x50 + x26 * x51 - 3.0*x26 * x52 - 14.0*x26 * 
	x53 - 3.0*x26 * x54 + 2.0*x26 * x55 + x26 * x56 + 3.0*x26 * x57 - 9.0*x26 * x58 
	- 18.0*x26 * x59 - 15.0*x26 * x60 + 34.0*x26 * x61 + 34.0*x26 * x62 + 25.0*x26 
	* x63 - 16.0*x26 * x64 - 16.0*x26 * x65 - 32.0*x26 * x66 - 8.0*x26 * x67 + 
	36.0*x26 * x68 - 26.0*x26 * x69 + 15.0*x26 * x70 + 10.0*x26 * x71 - 34.0*x26 * 
	x72 - 46.0*x26 * x73 - 16.0*x26 * x74 - 24.0*x26 * x75 + 198.0*0.5 * x27 * x27 
	- 23.0*x27 * x28 - 13.0*x27 * x29 - 20.0*x27 * x30 + 3.0*x27 * x31 - 16.0*x27 * 
	x32 - 28.0*x27 * x33 - x27 * x35 - 15.0*x27 * x36 - 22.0*x27 * x37 + 4.0*x27 * 
	x38 + 12.0*x27 * x39 - 12.0*x27 * x40 - 21.0*x27 * x41 + 7.0*x27 * x42 + 
	41.0*x27 * x43 - 22.0*x27 * x44 + 2.0*x27 * x45 - 4.0*x27 * x46 + 10.0*x27 * 
	x47 + 8.0*x27 * x48 - 13.0*x27 * x49 + 6.0*x27 * x50 - 4.0*x27 * x51 - 7.0*x27 
	* x52 - 31.0*x27 * x53 + 13.0*x27 * x54 + 29.0*x27 * x55 + 5.0*x27 * x56 - 
	7.0*x27 * x57 - 4.0*x27 * x58 + 8.0*x27 * x59 - 18.0*x27 * x60 - 12.0*x27 * x61 
	- 8.0*x27 * x62 - 15.0*x27 * x63 - 18.0*x27 * x64 - 28.0*x27 * x65 - 19.0*x27 * 
	x66 - 14.0*x27 * x67 - 26.0*x27 * x68 - 10.0*x27 * x69 + 9.0*x27 * x71 - 
	15.0*x27 * x72 + 3.0*x27 * x74 - 16.0*x27 * x75 + 216.0*0.5 * x28 * x28 + 
	7.0*x28 * x29 - 44.0*x28 * x30 - 2.0*x28 * x32 - 19.0*x28 * x33 - 8.0*x28 * x34 
	- 16.0*x28 * x35 + 6.0*x28 * x36 + 11.0*x28 * x37 - x28 * x38 - 3.0*x28 * x39 - 
	2.0*x28 * x40 + 3.0*x28 * x41 + 30.0*x28 * x42 - 32.0*x28 * x43 - 4.0*x28 * x44 
	- 7.0*x28 * x45 - 2.0*x28 * x46 + 6.0*x28 * x47 - 8.0*x28 * x48 + 5.0*x28 * x49 
	- 10.0*x28 * x50 + 8.0*x28 * x51 + 25.0*x28 * x52 - 20.0*x28 * x53 - 6.0*x28 * 
	x54 - 21.0*x28 * x55 + 2.0*x28 * x56 - 3.0*x28 * x57 + 8.0*x28 * x58 - 13.0*x28 
	* x59 + 31.0*x28 * x60 + 20.0*x28 * x61 - 25.0*x28 * x62 + 8.0*x28 * x63 - 
	22.0*x28 * x64 + 4.0*x28 * x65 + 22.0*x28 * x66 + 10.0*x28 * x67 + 5.0*x28 * 
	x68 - 2.0*x28 * x69 - 3.0*x28 * x70 + 11.0*x28 * x71 - 7.0*x28 * x72 + 15.0*x28 
	* x73 - 17.0*x28 * x74 - 24.0*x28 * x75 + 224.0*0.5 * x29 * x29 - 58.0*x29 * 
	x30 - 16.0*x29 * x31 - 3.0*x29 * x32 - 35.0*x29 * x33 + x29 * x34 - 24.0*x29 * 
	x35 - x29 * x36 + 17.0*x29 * x37 + 29.0*x29 * x38 + 3.0*x29 * x39 - 14.0*x29 * 
	x40 - 14.0*x29 * x41 - 3.0*x29 * x42 - 25.0*x29 * x43 + 8.0*x29 * x44 - 
	16.0*x29 * x45 - 7.0*x29 * x46 + 16.0*x29 * x47 - 43.0*x29 * x48 + 43.0*x29 * 
	x49 - 16.0*x29 * x50 + 19.0*x29 * x51 + 28.0*x29 * x52 - 23.0*x29 * x53 - 
	12.0*x29 * x54 - 2.0*x29 * x55 - 35.0*x29 * x56 + 12.0*x29 * x57 - 10.0*x29 * 
	x59 + 56.0*x29 * x60 - 2.0*x29 * x61 - 26.0*x29 * x62 + 23.0*x29 * x63 + 
	15.0*x29 * x64 + 8.0*x29 * x65 + 61.0*x29 * x66 + 9.0*x29 * x67 - 20.0*x29 * 
	x68 + 3.0*x29 * x69 + 44.0*x29 * x70 - 16.0*x29 * x71 - 32.0*x29 * x72 - x29 * 
	x73 + 3.0*x29 * x74 - 34.0*x29 * x75 + 222.0*0.5 * x30 * x30 - 33.0*x30 * x31 - 
	42.0*x30 * x32 + 38.0*x30 * x33 - 25.0*x30 * x34 - 7.0*x30 * x36 + 28.0*x30 * 
	x37 - 58.0*x30 * x38 + 30.0*x30 * x39 + 36.0*x30 * x40 + 19.0*x30 * x41 - 
	21.0*x30 * x42 - 12.0*x30 * x43 - 29.0*x30 * x44 + 7.0*x30 * x45 + 11.0*x30 * 
	x46 - 33.0*x30 * x47 + 12.0*x30 * x48 - 5.0*x30 * x49 + 14.0*x30 * x50 - 
	11.0*x30 * x51 + 29.0*x30 * x53 - 5.0*x30 * x54 - 18.0*x30 * x55 + 22.0*x30 * 
	x56 + 29.0*x30 * x57 - 31.0*x30 * x58 - 2.0*x30 * x59 - 28.0*x30 * x60 - 
	6.0*x30 * x61 + 24.0*x30 * x62 - 18.0*x30 * x63 + 17.0*x30 * x64 + x30 * x65 - 
	16.0*x30 * x66 - 22.0*x30 * x67 - x30 * x68 + 16.0*x30 * x69 + 15.0*x30 * x70 - 
	15.0*x30 * x71 + 44.0*x30 * x72 + 41.0*x30 * x73 + 34.0*x30 * x74 + 69.0*x30 * 
	x75 + 198.0*0.5 * x31 * x31 - 21.0*x31 * x32 - 39.0*x31 * x33 + 18.0*x31 * x34 
	- 33.0*x31 * x35 - 16.0*x31 * x36 - 18.0*x31 * x37 + 13.0*x31 * x38 + 4.0*x31 * 
	x39 + 8.0*x31 * x40 + 8.0*x31 * x41 + 8.0*x31 * x42 - 7.0*x31 * x43 - 6.0*x31 * 
	x44 + x31 * x45 - 11.0*x31 * x46 - 21.0*x31 * x47 + 22.0*x31 * x48 - 30.0*x31 * 
	x50 - 4.0*x31 * x51 + 12.0*x31 * x52 + 2.0*x31 * x53 + 5.0*x31 * x54 + 9.0*x31 
	* x55 - 13.0*x31 * x56 + 40.0*x31 * x58 - 18.0*x31 * x59 + 24.0*x31 * x60 - 
	10.0*x31 * x61 + 6.0*x31 * x62 - 27.0*x31 * x63 + 14.0*x31 * x64 - 10.0*x31 * 
	x65 - 8.0*x31 * x66 - 14.0*x31 * x67 - 16.0*x31 * x68 + 23.0*x31 * x69 - 
	30.0*x31 * x70 - 28.0*x31 * x71 - 19.0*x31 * x72 - x31 * x73 - 35.0*x31 * x74 - 
	49.0*x31 * x75 + 216.0*0.5 * x32 * x32 - 35.0*x32 * x33 - 22.0*x32 * x34 - 
	8.0*x32 * x35 - 10.0*x32 * x36 - 26.0*x32 * x37 + 9.0*x32 * x38 - 11.0*x32 * 
	x39 + 10.0*x32 * x40 + 19.0*x32 * x42 - 4.0*x32 * x43 - 22.0*x32 * x44 - 
	15.0*x32 * x45 + 3.0*x32 * x46 + 16.0*x32 * x47 - 40.0*x32 * x48 + 15.0*x32 * 
	x49 - 24.0*x32 * x50 + 38.0*x32 * x51 - 15.0*x32 * x52 + 24.0*x32 * x53 - 
	34.0*x32 * x54 - 15.0*x32 * x55 - 13.0*x32 * x56 - 19.0*x32 * x57 + 5.0*x32 * 
	x58 + 8.0*x32 * x59 - 7.0*x32 * x60 + 23.0*x32 * x61 - 33.0*x32 * x62 + 2.0*x32 
	* x63 + 16.0*x32 * x64 + 16.0*x32 * x65 + 7.0*x32 * x66 - 10.0*x32 * x67 + 
	44.0*x32 * x68 - 11.0*x32 * x69 + 19.0*x32 * x70 + 10.0*x32 * x71 - 9.0*x32 * 
	x72 - 24.0*x32 * x73 + 3.0*x32 * x74 - 3.0*x32 * x75 + 230.0*0.5 * x33 * x33 - 
	28.0*x33 * x34 - 4.0*x33 * x35 - 5.0*x33 * x36 - 22.0*x33 * x38 + 3.0*x33 * x39 
	+ 15.0*x33 * x40 + 5.0*x33 * x41 - 27.0*x33 * x42 + 5.0*x33 * x43 + 10.0*x33 * 
	x44 + 35.0*x33 * x45 - x33 * x46 - 13.0*x33 * x47 - 10.0*x33 * x48 - 30.0*x33 * 
	x49 + 18.0*x33 * x50 - 29.0*x33 * x51 + 17.0*x33 * x52 + 16.0*x33 * x53 + 
	8.0*x33 * x54 - 21.0*x33 * x55 + 3.0*x33 * x56 + 8.0*x33 * x57 - 30.0*x33 * x58 
	- x33 * x59 - 35.0*x33 * x60 - 5.0*x33 * x61 + 61.0*x33 * x62 + 14.0*x33 * x63 
	- 18.0*x33 * x64 + 3.0*x33 * x65 - 16.0*x33 * x66 - 14.0*x33 * x67 + 25.0*x33 * 
	x68 - 20.0*x33 * x69 + 8.0*x33 * x70 - 4.0*x33 * x71 + 13.0*x33 * x72 + 
	14.0*x33 * x73 + 23.0*x33 * x74 + 17.0*x33 * x75 + 214.0*0.5 * x34 * x34 - 
	17.0*x34 * x35 - 16.0*x34 * x36 - 37.0*x34 * x37 + 6.0*x34 * x38 + 11.0*x34 * 
	x39 - 9.0*x34 * x40 - 15.0*x34 * x41 - 11.0*x34 * x42 - 4.0*x34 * x43 - 7.0*x34 
	* x44 - 27.0*x34 * x45 - 11.0*x34 * x46 + 31.0*x34 * x47 + 7.0*x34 * x48 - 
	12.0*x34 * x49 - 2.0*x34 * x50 + 7.0*x34 * x51 - x34 * x52 - 22.0*x34 * x53 + 
	13.0*x34 * x55 + 2.0*x34 * x56 - 14.0*x34 * x57 + 47.0*x34 * x58 - 4.0*x34 * 
	x59 + 24.0*x34 * x60 - 7.0*x34 * x61 - 4.0*x34 * x62 - 3.0*x34 * x63 - x34 * 
	x64 - 4.0*x34 * x65 - 13.0*x34 * x66 + 21.0*x34 * x67 - 26.0*x34 * x68 + 
	3.0*x34 * x69 - 32.0*x34 * x70 - 18.0*x34 * x71 - 33.0*x34 * x72 + 10.0*x34 * 
	x73 - 16.0*x34 * x74 - 37.0*x34 * x75 + 192.0*0.5 * x35 * x35 - 36.0*x35 * x36 
	+ 4.0*x35 * x37 - 31.0*x35 * x38 - 19.0*x35 * x39 + 14.0*x35 * x40 - 8.0*x35 * 
	x41 - 7.0*x35 * x42 - 5.0*x35 * x43 + 17.0*x35 * x44 - 11.0*x35 * x45 - 
	12.0*x35 * x46 + 25.0*x35 * x47 + 7.0*x35 * x48 + 9.0*x35 * x49 - 18.0*x35 * 
	x51 - 23.0*x35 * x52 + 9.0*x35 * x53 + 7.0*x35 * x54 - 3.0*x35 * x55 + 4.0*x35 
	* x56 - 7.0*x35 * x57 - 25.0*x35 * x58 + 39.0*x35 * x59 - 22.0*x35 * x60 - 
	3.0*x35 * x61 - 9.0*x35 * x62 + x35 * x63 + 23.0*x35 * x64 + 9.0*x35 * x65 + 
	x35 * x66 + 27.0*x35 * x67 + 22.0*x35 * x68 + 3.0*x35 * x69 - 7.0*x35 * x70 + 
	27.0*x35 * x71 + 39.0*x35 * x72 - 25.0*x35 * x73 + 11.0*x35 * x74 + 48.0*x35 * 
	x75 + 224.0*0.5 * x36 * x36 - 34.0*x36 * x37 - 16.0*x36 * x38 + 7.0*x36 * x39 - 
	24.0*x36 * x40 + 10.0*x36 * x41 - 12.0*x36 * x42 + 25.0*x36 * x44 + 9.0*x36 * 
	x45 - 4.0*x36 * x46 - 26.0*x36 * x47 + 5.0*x36 * x48 - 33.0*x36 * x49 + 
	10.0*x36 * x50 - 9.0*x36 * x51 + 16.0*x36 * x52 + 19.0*x36 * x53 - 4.0*x36 * 
	x54 - 18.0*x36 * x55 + 34.0*x36 * x56 - 5.0*x36 * x57 - 8.0*x36 * x58 - 
	19.0*x36 * x59 - 18.0*x36 * x60 - 9.0*x36 * x61 + 7.0*x36 * x63 - 22.0*x36 * 
	x64 + 11.0*x36 * x65 + x36 * x66 - 3.0*x36 * x67 - 8.0*x36 * x68 + 12.0*x36 * 
	x69 - 16.0*x36 * x70 + 66.0*x36 * x71 + 8.0*x36 * x72 + 29.0*x36 * x73 - 
	21.0*x36 * x74 - 7.0*x36 * x75 + 224.0*0.5 * x37 * x37 - 14.0*x37 * x38 - 
	34.0*x37 * x39 - 15.0*x37 * x40 + 3.0*x37 * x41 + 7.0*x37 * x42 - 41.0*x37 * 
	x43 + 18.0*x37 * x44 + 15.0*x37 * x45 + 8.0*x37 * x46 - 16.0*x37 * x47 - 
	2.0*x37 * x48 + 6.0*x37 * x49 + 18.0*x37 * x50 - 25.0*x37 * x51 + x37 * x52 + 
	22.0*x37 * x53 - 15.0*x37 * x54 - 20.0*x37 * x55 - 27.0*x37 * x56 + 47.0*x37 * 
	x57 - 37.0*x37 * x58 + 25.0*x37 * x59 + 31.0*x37 * x60 - 6.0*x37 * x61 - 
	8.0*x37 * x62 - 7.0*x37 * x63 - 22.0*x37 * x64 + 24.0*x37 * x65 + 45.0*x37 * 
	x66 - 17.0*x37 * x67 + 22.0*x37 * x68 - 7.0*x37 * x69 + 14.0*x37 * x70 - 
	9.0*x37 * x71 + 21.0*x37 * x72 - 12.0*x37 * x73 + 6.0*x37 * x74 + 21.0*x37 * 
	x75 + 222.0*0.5 * x38 * x38 - 31.0*x38 * x39 - 35.0*x38 * x40 - 5.0*x38 * x41 + 
	13.0*x38 * x42 - 3.0*x38 * x43 - 14.0*x38 * x44 - 18.0*x38 * x45 + 7.0*x38 * 
	x46 + 14.0*x38 * x47 - 11.0*x38 * x48 - 8.0*x38 * x49 - 16.0*x38 * x50 + 
	7.0*x38 * x51 + 5.0*x38 * x52 - 16.0*x38 * x53 - 15.0*x38 * x54 + 10.0*x38 * 
	x55 - 26.0*x38 * x56 - 7.0*x38 * x57 + 29.0*x38 * x58 - 25.0*x38 * x59 + 
	24.0*x38 * x60 + 24.0*x38 * x61 - 4.0*x38 * x62 + 23.0*x38 * x63 - 20.0*x38 * 
	x64 - x38 * x65 + x38 * x66 - 15.0*x38 * x67 + 6.0*x38 * x68 - 21.0*x38 * x69 + 
	19.0*x38 * x70 + x38 * x71 - 21.0*x38 * x72 - 26.0*x38 * x73 + 25.0*x38 * x74 - 
	58.0*x38 * x75 + 202.0*0.5 * x39 * x39 - 19.0*x39 * x40 - 14.0*x39 * x41 - 
	18.0*x39 * x42 + 15.0*x39 * x43 - 29.0*x39 * x44 - 19.0*x39 * x45 - 8.0*x39 * 
	x46 - 4.0*x39 * x47 - 4.0*x39 * x48 + 19.0*x39 * x49 - 8.0*x39 * x50 - 16.0*x39 
	* x51 - 5.0*x39 * x52 + 7.0*x39 * x53 + 20.0*x39 * x54 - 20.0*x39 * x55 + 
	20.0*x39 * x56 - 4.0*x39 * x57 + 11.0*x39 * x58 - 6.0*x39 * x59 - x39 * x60 - 
	10.0*x39 * x61 - x39 * x62 + 7.0*x39 * x63 + 21.0*x39 * x64 - 14.0*x39 * x65 - 
	3.0*x39 * x66 + x39 * x67 - 27.0*x39 * x68 + 14.0*x39 * x69 - 7.0*x39 * x70 - 
	14.0*x39 * x71 + 23.0*x39 * x72 + 50.0*x39 * x73 - 26.0*x39 * x74 + 12.0*x39 * 
	x75 + 234.0*0.5 * x40 * x40 - 11.0*x40 * x41 - 32.0*x40 * x42 - 34.0*x40 * x43 
	+ 4.0*x40 * x46 - 16.0*x40 * x47 - 25.0*x40 * x48 + 21.0*x40 * x49 - 20.0*x40 * 
	x50 + 12.0*x40 * x51 - 20.0*x40 * x52 + 6.0*x40 * x53 + 10.0*x40 * x54 - 
	15.0*x40 * x55 + 17.0*x40 * x56 - 7.0*x40 * x57 + 20.0*x40 * x59 - 5.0*x40 * 
	x60 + 15.0*x40 * x61 + 3.0*x40 * x62 - 10.0*x40 * x63 + 38.0*x40 * x64 - x40 * 
	x65 + 22.0*x40 * x66 - 3.0*x40 * x67 + 22.0*x40 * x68 - 11.0*x40 * x69 - 
	6.0*x40 * x70 - 3.0*x40 * x71 + 43.0*x40 * x72 - 24.0*x40 * x73 + 3.0*x40 * x74 
	+ 28.0*x40 * x75 + 200.0*0.5 * x41 * x41 - 39.0*x41 * x42 - 31.0*x41 * x43 - 
	11.0*x41 * x44 + 2.0*x41 * x45 + 22.0*x41 * x46 - 38.0*x41 * x47 + 12.0*x41 * 
	x48 - 23.0*x41 * x49 + 4.0*x41 * x50 - 11.0*x41 * x51 - 9.0*x41 * x52 + 3.0*x41 
	* x53 + 9.0*x41 * x54 - 5.0*x41 * x55 + 15.0*x41 * x56 + 17.0*x41 * x57 + 
	10.0*x41 * x58 - 5.0*x41 * x59 + 10.0*x41 * x60 - 27.0*x41 * x61 + 18.0*x41 * 
	x62 - 21.0*x41 * x63 - 6.0*x41 * x64 + 44.0*x41 * x65 - 9.0*x41 * x66 - 6.0*x41 
	* x68 - 4.0*x41 * x69 + 15.0*x41 * x70 - 35.0*x41 * x71 - 2.0*x41 * x72 - 
	7.0*x41 * x73 + 7.0*x41 * x74 + 13.0*x41 * x75 + 214.0*0.5 * x42 * x42 - 
	17.0*x42 * x43 - 11.0*x42 * x44 - 21.0*x42 * x45 - 16.0*x42 * x46 + 14.0*x42 * 
	x47 - 5.0*x42 * x48 - 20.0*x42 * x49 - 2.0*x42 * x50 - 28.0*x42 * x51 + 
	30.0*x42 * x52 + 3.0*x42 * x53 - 12.0*x42 * x54 - 6.0*x42 * x55 - 47.0*x42 * 
	x56 - 2.0*x42 * x57 - 13.0*x42 * x58 + 6.0*x42 * x59 + 11.0*x42 * x60 + 8.0*x42 
	* x61 - 16.0*x42 * x62 - 7.0*x42 * x63 - 18.0*x42 * x64 - 16.0*x42 * x65 - 
	2.0*x42 * x66 - 22.0*x42 * x67 - 14.0*x42 * x68 + 3.0*x42 * x69 + 5.0*x42 * x70 
	- x42 * x71 - 26.0*x42 * x72 + 22.0*x42 * x73 - 6.0*x42 * x74 - 24.0*x42 * x75 
	+ 202.0*0.5 * x43 * x43 - 17.0*x43 * x44 - 2.0*x43 * x45 - 6.0*x43 * x46 + 
	2.0*x43 * x47 - x43 * x48 - 15.0*x43 * x49 + 11.0*x43 * x50 - 27.0*x43 * x51 - 
	16.0*x43 * x52 - 24.0*x43 * x53 + 4.0*x43 * x54 + 36.0*x43 * x55 + 22.0*x43 * 
	x56 - 28.0*x43 * x57 - 10.0*x43 * x58 + 6.0*x43 * x59 - 41.0*x43 * x60 - 
	4.0*x43 * x61 - 7.0*x43 * x62 - 3.0*x43 * x63 + 2.0*x43 * x64 - 39.0*x43 * x65 
	- 38.0*x43 * x66 + 4.0*x43 * x67 - 4.0*x43 * x68 + 21.0*x43 * x69 + 4.0*x43 * 
	x70 + 16.0*x43 * x71 - 11.0*x43 * x72 + 16.0*x43 * x73 + 13.0*x43 * x74 + x43 * 
	x75 + 212.0*0.5 * x44 * x44 - 15.0*x44 * x45 - 24.0*x44 * x46 - 13.0*x44 * x47 
	+ 3.0*x44 * x48 - 12.0*x44 * x49 + 9.0*x44 * x50 - 28.0*x44 * x51 - x44 * x52 + 
	10.0*x44 * x54 - 2.0*x44 * x55 + 22.0*x44 * x56 + 36.0*x44 * x57 - 12.0*x44 * 
	x58 - 13.0*x44 * x59 - 3.0*x44 * x60 - 16.0*x44 * x61 + 11.0*x44 * x62 + 
	17.0*x44 * x63 - 30.0*x44 * x64 + 5.0*x44 * x65 + 19.0*x44 * x66 + 28.0*x44 * 
	x67 - 2.0*x44 * x68 + 5.0*x44 * x69 - 26.0*x44 * x70 + 8.0*x44 * x71 - 4.0*x44 
	* x72 - 13.0*x44 * x73 - 20.0*x44 * x74 + 15.0*x44 * x75 + 196.0*0.5 * x45 * 
	x45 - 22.0*x45 * x46 - 22.0*x45 * x47 - 15.0*x45 * x48 - 17.0*x45 * x49 + 
	6.0*x45 * x50 - 3.0*x45 * x51 - 6.0*x45 * x52 + 11.0*x45 * x53 + 11.0*x45 * x54 
	- 15.0*x45 * x55 + 13.0*x45 * x56 + 22.0*x45 * x57 - 28.0*x45 * x58 - 3.0*x45 * 
	x59 - 13.0*x45 * x60 - x45 * x61 + 26.0*x45 * x62 - 11.0*x45 * x63 + 19.0*x45 * 
	x65 - 12.0*x45 * x66 - 10.0*x45 * x67 + 13.0*x45 * x68 + 7.0*x45 * x69 + 
	7.0*x45 * x70 - 16.0*x45 * x71 + 14.0*x45 * x72 - 4.0*x45 * x73 + 3.0*x45 * x74 
	+ 10.0*x45 * x75 + 214.0*0.5 * x46 * x46 - 48.0*x46 * x47 - 13.0*x46 * x48 - 
	8.0*x46 * x49 - 14.0*x46 * x50 - 9.0*x46 * x51 - 2.0*x46 * x52 - 14.0*x46 * x53 
	+ 27.0*x46 * x54 - 8.0*x46 * x55 - 27.0*x46 * x56 + 19.0*x46 * x57 - 7.0*x46 * 
	x58 + 3.0*x46 * x59 + 2.0*x46 * x60 + 8.0*x46 * x61 + 3.0*x46 * x63 - 4.0*x46 * 
	x64 + 18.0*x46 * x65 + 2.0*x46 * x66 + x46 * x67 + 12.0*x46 * x68 - 25.0*x46 * 
	x69 + 31.0*x46 * x70 + 8.0*x46 * x71 + 14.0*x46 * x72 - 16.0*x46 * x73 + 
	16.0*x46 * x74 - 2.0*x46 * x75 + 210.0*0.5 * x47 * x47 - 34.0*x47 * x48 + 
	4.0*x47 * x49 - 12.0*x47 * x50 - 3.0*x47 * x51 - 23.0*x47 * x52 - 4.0*x47 * x53 
	- 15.0*x47 * x54 - 5.0*x47 * x55 + 4.0*x47 * x56 - 14.0*x47 * x57 - 3.0*x47 * 
	x58 + x47 * x59 + 7.0*x47 * x60 + 3.0*x47 * x61 - 21.0*x47 * x62 - 4.0*x47 * 
	x63 + 23.0*x47 * x64 - 10.0*x47 * x65 + 11.0*x47 * x66 + 22.0*x47 * x67 - 
	10.0*x47 * x68 + 5.0*x47 * x69 - 16.0*x47 * x70 + 36.0*x47 * x71 - 14.0*x47 * 
	x72 - 16.0*x47 * x73 + 7.0*x47 * x74 - 21.0*x47 * x75 + 188.0*0.5 * x48 * x48 - 
	43.0*x48 * x49 + 2.0*x48 * x50 - 33.0*x48 * x51 - 26.0*x48 * x52 - 7.0*x48 * 
	x53 - 2.0*x48 * x54 + 3.0*x48 * x55 + 24.0*x48 * x56 - 22.0*x48 * x57 + 
	19.0*x48 * x58 - 9.0*x48 * x59 - 5.0*x48 * x60 - 14.0*x48 * x61 + 17.0*x48 * 
	x62 - 2.0*x48 * x63 - 26.0*x48 * x64 + 5.0*x48 * x65 - 42.0*x48 * x66 + 
	16.0*x48 * x67 - 29.0*x48 * x68 - 6.0*x48 * x69 - 24.0*x48 * x70 - 15.0*x48 * 
	x71 + 11.0*x48 * x72 - 2.0*x48 * x73 - 33.0*x48 * x74 + 38.0*x48 * x75 + 
	208.0*0.5 * x49 * x49 - 44.0*x49 * x50 + 3.0*x49 * x51 - 15.0*x49 * x52 - 
	2.0*x49 * x53 + 5.0*x49 * x54 - 21.0*x49 * x55 - 5.0*x49 * x56 - 10.0*x49 * x57 
	- 2.0*x49 * x58 + 9.0*x49 * x59 + 59.0*x49 * x60 + 32.0*x49 * x61 - 26.0*x49 * 
	x62 + 19.0*x49 * x63 + 44.0*x49 * x64 - 22.0*x49 * x65 + 60.0*x49 * x66 - 
	21.0*x49 * x67 + 7.0*x49 * x68 - 14.0*x49 * x69 - 8.0*x49 * x71 - 2.0*x49 * x72 
	- 4.0*x49 * x73 - 4.0*x49 * x74 - x49 * x75 + 204.0*0.5 * x50 * x50 - 47.0*x50 
	* x51 - 10.0*x50 * x52 - 14.0*x50 * x53 - x50 * x54 + 3.0*x50 * x55 + 6.0*x50 * 
	x56 + 8.0*x50 * x57 - 16.0*x50 * x58 - x50 * x59 - 24.0*x50 * x60 - 6.0*x50 * 
	x61 - 20.0*x50 * x62 - x50 * x63 - 28.0*x50 * x64 + 11.0*x50 * x65 - 19.0*x50 * 
	x66 + 8.0*x50 * x67 - 8.0*x50 * x68 + 15.0*x50 * x69 - 11.0*x50 * x70 + 2.0*x50 
	* x71 - 11.0*x50 * x72 + 10.0*x50 * x74 + 23.0*x50 * x75 + 186.0*0.5 * x51 * 
	x51 - 32.0*x51 * x52 - 23.0*x51 * x53 - 28.0*x51 * x54 - 8.0*x51 * x55 + x51 * 
	x56 - 12.0*x51 * x57 + 36.0*x51 * x58 - 13.0*x51 * x59 + x51 * x60 + 18.0*x51 * 
	x61 - 7.0*x51 * x62 + 25.0*x51 * x63 + 9.0*x51 * x64 - 2.0*x51 * x65 - 11.0*x51 
	* x66 + 19.0*x51 * x67 + 6.0*x51 * x68 - 12.0*x51 * x69 + 15.0*x51 * x70 + 
	3.0*x51 * x71 - 15.0*x51 * x72 - 22.0*x51 * x73 + 4.0*x51 * x74 - 29.0*x51 * 
	x75 + 208.0*0.5 * x52 * x52 - 31.0*x52 * x53 - 7.0*x52 * x54 - 20.0*x52 * x55 - 
	21.0*x52 * x56 + 7.0*x52 * x57 + 2.0*x52 * x58 - 8.0*x52 * x59 + 3.0*x52 * x60 
	- 15.0*x52 * x61 + 27.0*x52 * x62 - 28.0*x52 * x63 - 22.0*x52 * x64 - 12.0*x52 
	* x65 + 17.0*x52 * x66 - 22.0*x52 * x67 + 10.0*x52 * x68 + 18.0*x52 * x69 + 
	8.0*x52 * x70 - 9.0*x52 * x71 - 24.0*x52 * x72 + 59.0*x52 * x73 + 6.0*x52 * x74 
	- 25.0*x52 * x75 + 200.0*0.5 * x53 * x53 - 9.0*x53 * x54 - 33.0*x53 * x55 - 
	3.0*x53 * x56 + 8.0*x53 * x57 - 34.0*x53 * x58 + 18.0*x53 * x59 - 14.0*x53 * 
	x60 + 12.0*x53 * x61 + 2.0*x53 * x62 + 4.0*x53 * x63 + 24.0*x53 * x64 + 
	29.0*x53 * x65 + 16.0*x53 * x66 - 33.0*x53 * x67 + 34.0*x53 * x68 + 5.0*x53 * 
	x69 - 17.0*x53 * x70 - 4.0*x53 * x71 + 50.0*x53 * x72 + 11.0*x53 * x73 - 
	11.0*x53 * x74 + 18.0*x53 * x75 + 226.0*0.5 * x54 * x54 - 32.0*x54 * x55 - 
	9.0*x54 * x56 + 15.0*x54 * x57 - 24.0*x54 * x58 + 5.0*x54 * x59 + 3.0*x54 * x60 
	- 21.0*x54 * x61 + 2.0*x54 * x62 + x54 * x63 - 13.0*x54 * x64 - 9.0*x54 * x65 - 
	4.0*x54 * x66 + 9.0*x54 * x67 - 24.0*x54 * x68 - 15.0*x54 * x69 + 7.0*x54 * x70 
	- 2.0*x54 * x71 - x54 * x72 - 13.0*x54 * x73 - 4.0*x54 * x74 - x54 * x75 + 
	196.0*0.5 * x55 * x55 - 20.0*x55 * x56 - 23.0*x55 * x57 + 17.0*x55 * x58 - 
	4.0*x55 * x59 - 23.0*x55 * x60 - 21.0*x55 * x61 - 5.0*x55 * x62 - 25.0*x55 * 
	x63 + x55 * x64 - 28.0*x55 * x65 - 20.0*x55 * x66 - 11.0*x55 * x67 - 23.0*x55 * 
	x68 - 9.0*x55 * x69 - 4.0*x55 * x70 - 4.0*x55 * x71 - 31.0*x55 * x72 - 27.0*x55 
	* x73 + 13.0*x55 * x74 - 17.0*x55 * x75 + 216.0*0.5 * x56 * x56 - 18.0*x56 * 
	x57 - 9.0*x56 * x58 - 2.0*x56 * x59 - 17.0*x56 * x60 - 12.0*x56 * x61 + 
	17.0*x56 * x62 - 2.0*x56 * x63 + 11.0*x56 * x64 - 3.0*x56 * x65 - 28.0*x56 * 
	x66 + x56 * x67 - 4.0*x56 * x68 + 15.0*x56 * x69 - 30.0*x56 * x70 + 3.0*x56 * 
	x71 + 38.0*x56 * x72 + 13.0*x56 * x73 - 20.0*x56 * x74 + 23.0*x56 * x75 + 
	212.0*0.5 * x57 * x57 - 25.0*x57 * x58 - 9.0*x57 * x59 + 8.0*x57 * x60 - 
	13.0*x57 * x61 + 13.0*x57 * x62 - 27.0*x57 * x63 - 6.0*x57 * x64 + 11.0*x57 * 
	x65 + 34.0*x57 * x66 - 18.0*x57 * x67 + 19.0*x57 * x68 - 7.0*x57 * x69 + 
	36.0*x57 * x70 - 13.0*x57 * x71 - 15.0*x57 * x72 + x57 * x73 + 7.0*x57 * x74 - 
	15.0*x57 * x75 + 238.0*0.5 * x58 * x58 - 22.0*x58 * x59 + 20.0*x58 * x60 - 
	27.0*x58 * x61 - 7.0*x58 * x62 - 13.0*x58 * x63 + 13.0*x58 * x64 - 15.0*x58 * 
	x65 - 6.0*x58 * x66 + 29.0*x58 * x67 - 26.0*x58 * x68 - x58 * x69 - 23.0*x58 * 
	x70 - 17.0*x58 * x71 - 32.0*x58 * x72 - 10.0*x58 * x73 - 19.0*x58 * x74 - 
	27.0*x58 * x75 + 216.0*0.5 * x59 * x59 - 20.0*x59 * x60 - 16.0*x59 * x61 - 
	22.0*x59 * x62 - 16.0*x59 * x63 + 18.0*x59 * x64 + 12.0*x59 * x65 + 2.0*x59 * 
	x66 + 13.0*x59 * x67 - 6.0*x59 * x68 + 5.0*x59 * x69 + 6.0*x59 * x70 + 8.0*x59 
	* x71 + 40.0*x59 * x72 - 6.0*x59 * x73 + 2.0*x59 * x74 + 21.0*x59 * x75 + 
	208.0*0.5 * x60 * x60 - 13.0*x60 * x61 - 20.0*x60 * x62 - 11.0*x60 * x63 + 
	11.0*x60 * x64 + 2.0*x60 * x65 + 30.0*x60 * x66 + 23.0*x60 * x67 - 19.0*x60 * 
	x68 - 10.0*x60 * x69 + 19.0*x60 * x70 - 12.0*x60 * x71 - 20.0*x60 * x72 - 
	11.0*x60 * x73 - 3.0*x60 * x74 - 36.0*x60 * x75 + 220.0*0.5 * x61 * x61 - 
	18.0*x61 * x62 + 13.0*x61 * x63 - 4.0*x61 * x64 - 8.0*x61 * x65 + 6.0*x61 * x66 
	- 28.0*x61 * x67 + 15.0*x61 * x68 - 29.0*x61 * x69 + 15.0*x61 * x70 - 13.0*x61 
	* x71 - 2.0*x61 * x72 - 20.0*x61 * x73 - 11.0*x61 * x74 - 3.0*x61 * x75 + 
	222.0*0.5 * x62 * x62 - 6.0*x62 * x63 - 11.0*x62 * x64 - 3.0*x62 * x65 - 
	30.0*x62 * x66 + 3.0*x62 * x67 + 6.0*x62 * x68 - 11.0*x62 * x69 - 10.0*x62 * 
	x70 - 16.0*x62 * x71 - 16.0*x62 * x72 + 16.0*x62 * x73 + 4.0*x62 * x74 + 
	12.0*x62 * x75 + 222.0*0.5 * x63 * x63 - 7.0*x63 * x64 - 20.0*x63 * x65 - 
	5.0*x63 * x66 - 11.0*x63 * x67 + 2.0*x63 * x68 - 38.0*x63 * x69 - 2.0*x63 * x70 
	+ 9.0*x63 * x71 - 5.0*x63 * x72 - 13.0*x63 * x73 + 9.0*x63 * x74 - 5.0*x63 * 
	x75 + 230.0*0.5 * x64 * x64 - 7.0*x64 * x65 + 19.0*x64 * x66 + 4.0*x64 * x67 + 
	x64 * x68 + 39.0*x64 * x69 - 8.0*x64 * x70 - 8.0*x64 * x71 + 12.0*x64 * x72 - 
	11.0*x64 * x73 - 8.0*x64 * x74 + 14.0*x64 * x75 + 210.0*0.5 * x65 * x65 + 
	18.0*x65 * x67 - 4.0*x65 * x68 + 10.0*x65 * x69 - 6.0*x65 * x70 - 4.0*x65 * x71 
	+ 20.0*x65 * x72 - 10.0*x65 * x73 - 19.0*x65 * x74 + 19.0*x65 * x75 + 208.0*0.5 
	* x66 * x66 - 14.0*x66 * x67 + 6.0*x66 * x68 + 21.0*x66 * x69 + 15.0*x66 * x70 
	+ 2.0*x66 * x71 + 3.0*x66 * x72 + 9.0*x66 * x73 + 5.0*x66 * x74 - 12.0*x66 * 
	x75 + 212.0*0.5 * x67 * x67 - 34.0*x67 * x68 + 16.0*x67 * x69 - 27.0*x67 * x70 
	+ 8.0*x67 * x71 - 11.0*x67 * x72 - 22.0*x67 * x73 - 19.0*x67 * x74 + 5.0*x67 * 
	x75 + 210.0*0.5 * x68 * x68 + 2.0*x68 * x69 + 10.0*x68 * x70 + 7.0*x68 * x71 + 
	20.0*x68 * x72 - 13.0*x68 * x73 + 12.0*x68 * x74 + 6.0*x68 * x75 + 220.0*0.5 * 
	x69 * x69 - 31.0*x69 * x70 - 13.0*x69 * x71 + 2.0*x69 * x72 + 41.0*x69 * x73 - 
	20.0*x69 * x74 + 8.0*x69 * x75 + 234.0*0.5 * x70 * x70 - 11.0*x70 * x71 - 
	16.0*x70 * x72 - 10.0*x70 * x73 + 30.0*x70 * x74 - 16.0*x70 * x75 + 222.0*0.5 * 
	x71 * x71 - 5.0*x71 * x72 - 6.0*x71 * x73 + 8.0*x71 * x74 - 14.0*x71 * x75 + 
	212.0*0.5 * x72 * x72 + 15.0*x72 * x73 - 19.0*x72 * x74 + 72.0*x72 * x75 + 
	216.0*0.5 * x73 * x73 - 21.0*x73 * x74 + 9.0*x73 * x75 + 202.0*0.5 * x74 * x74 
	- 16.0*x74 * x75 + 220.0*0.5 * x75 * x75 + 0.8319712885*x1 + 0.7821556737*x2 + 
	0.908518889*x3 + 0.6793105389*x4 + 0.9658310595*x5 + 0.7599026152*x6 + 
	0.8289833552*x7 + 0.8071922589*x8 + 0.9124971902*x9 + 0.7156897824*x10 + 
	0.5496187235*x11 + 0.4416244614*x12 + 0.625595376*x13 + 0.6522613484*x14 + 
	0.6601885356*x15 + 0.6003936017*x16 + 0.5492949347*x17 + 0.6169163494*x18 + 
	0.5737799455*x19 + 0.6291793074*x20 + 0.5772455997*x21 + 0.5197049398*x22 + 
	0.3952746984*x23 + 0.3978900962*x24 + 0.2972799584*x25 + 0.2430443545*x26 + 
	0.741134637*x28 + 0.741134637*x29 + 0.741134637*x30 + 0.741134637*x31 + 
	0.741134637*x32 + 0.741134637*x33 + 0.741134637*x34 + 0.741134637*x35 + 
	0.741134637*x36 + 0.741134637*x37 + 0.741134637*x38 + 0.741134637*x39 + 
	0.741134637*x40 + 0.741134637*x41 + 0.741134637*x42 + 0.741134637*x43 + 
	0.741134637*x44 + 0.741134637*x45 + 0.741134637*x46 + 0.741134637*x47 + 
	0.741134637*x48 + 0.741134637*x49 + 0.741134637*x50 + 0.741134637*x51 + 
	0.741134637*x52 + 0.741134637*x53 + 0.741134637*x54 + 0.741134637*x55 + 
	0.8156168486*x56 + 0.9105826764*x57 + 0.9580740343*x58 + 0.8382776584*x59 + 
	1.0064412818*x60 + 0.9145463921*x61 + 0.8907644242*x62 + 0.935632465*x63 + 
	1.0469476122*x64 + 0.9938330321*x65 + 1.0440301864*x66 + 0.7781038922*x67 + 
	0.9503832429*x68 + 0.9333077316*x69 + 0.967093053*x70 + 1.0500250368*x71 + 
	0.8160575462*x72 + 1.0364734174*x73 + 1.0782957195*x74 + 0.8724013895*x75;

subject to c1:
	x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10 + x11 + x12 + x13 + x14 + x15 
	+ x16 + x17 + x18 + x19 + x20 + x21 + x22 + x23 + x24 + x25 + x26 + x27 + x28 + 
	x29 + x30 + x31 + x32 + x33 + x34 + x35 + x36 + x37 + x38 + x39 + x40 + x41 + 
	x42 + x43 + x44 + x45 + x46 + x47 + x48 + x49 + x50 + x51 + x52 + x53 + x54 + 
	x55 + x56 + x57 + x58 + x59 + x60 + x61 + x62 + x63 + x64 + x65 + x66 + x67 + 
	x68 + x69 + x70 + x71 + x72 + x73 + x74 + x75 = 1;

solve;
	display x1;
	display x2;
	display x3;
	display x4;
	display x5;
	display x6;
	display x7;
	display x8;
	display x9;
	display x10;
	display x11;
	display x12;
	display x13;
	display x14;
	display x15;
	display x16;
	display x17;
	display x18;
	display x19;
	display x20;
	display x21;
	display x22;
	display x23;
	display x24;
	display x25;
	display x26;
	display x27;
	display x28;
	display x29;
	display x30;
	display x31;
	display x32;
	display x33;
	display x34;
	display x35;
	display x36;
	display x37;
	display x38;
	display x39;
	display x40;
	display x41;
	display x42;
	display x43;
	display x44;
	display x45;
	display x46;
	display x47;
	display x48;
	display x49;
	display x50;
	display x51;
	display x52;
	display x53;
	display x54;
	display x55;
	display x56;
	display x57;
	display x58;
	display x59;
	display x60;
	display x61;
	display x62;
	display x63;
	display x64;
	display x65;
	display x66;
	display x67;
	display x68;
	display x69;
	display x70;
	display x71;
	display x72;
	display x73;
	display x74;
	display x75;
display obj;