param Ma = 10; param Jobs = 20; set JB = ; set H[0] := 1; set H[1] := 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 ; set H[2] := 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 ; set H[3] := 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 ; set H[4] := 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 ; set H[5] := 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 ; set H[6] := 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 ; set H[7] := 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 ; set H[8] := 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 ; set H[9] := 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 ; set H[10] := 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 ; set H[11] := 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 ; set H[12] := 1 2 3 4 5 6 7 8 9 10 11 12 13 14 ; set H[13] := 1 2 3 4 5 6 7 8 9 10 11 ; set H[14] := 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 ; set H[15] := 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 ; set H[16] := 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 ; set H[17] := 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 ; set H[18] := 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 ; set H[19] := 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 ; set H[20] := 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 ; param O:= 0 1 1 15 2 19 3 22 4 18 5 21 6 15 7 15 8 15 9 22 10 19 11 15 12 14 13 11 14 16 15 23 16 17 17 17 18 17 19 23 20 16 ; param S:= [1,*,*]: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 := 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 33 32 52 39 27 44 47 38 11 29 26 37 22 38 17 22 26 51 31 2 0 33 0 49 45 40 27 40 48 23 44 38 35 24 39 42 23 38 46 49 41 3 0 53 33 0 34 30 46 43 46 49 25 17 35 42 42 51 24 30 32 22 44 4 0 29 25 35 0 54 28 40 35 33 41 8 32 39 35 26 43 19 37 24 32 5 0 34 55 47 44 0 41 39 43 54 38 49 43 49 36 52 19 46 36 40 43 6 0 36 20 14 25 27 0 24 42 30 42 30 32 32 28 31 39 43 47 42 53 7 0 37 20 27 51 25 50 0 18 31 41 28 32 41 33 40 38 32 36 38 39 8 0 13 30 30 45 36 53 34 0 21 53 30 42 51 38 47 6 42 48 36 55 9 0 19 14 31 39 27 31 15 28 0 12 35 23 37 41 23 30 31 32 35 34 10 0 25 18 33 28 27 33 29 28 41 0 46 30 36 41 35 37 46 41 44 24 11 0 25 49 44 46 33 48 15 51 29 46 0 50 49 33 53 31 43 40 40 27 12 0 31 37 46 48 28 30 40 20 38 15 35 0 32 37 19 23 36 26 52 32 13 0 38 38 27 43 31 49 23 32 24 43 40 40 0 37 25 31 31 42 50 31 14 0 47 15 27 46 48 35 41 16 41 43 23 42 34 0 21 31 18 27 41 49 15 0 29 36 40 52 49 32 40 40 40 33 9 53 48 33 0 13 28 25 15 37 16 0 26 21 34 48 46 36 12 26 40 34 33 31 35 39 49 0 36 35 36 53 17 0 29 47 24 33 32 34 48 33 2 42 32 38 26 37 44 55 0 35 27 42 18 0 26 38 36 34 39 40 12 22 39 44 28 47 52 49 47 53 39 0 47 39 19 0 27 29 31 52 36 52 40 21 38 30 29 37 42 46 46 40 54 51 0 28 20 0 41 37 48 41 15 41 36 35 11 35 16 3 37 30 20 28 42 26 37 0 [2,*,*]: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 := 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 50 40 45 40 39 53 38 30 36 17 34 49 38 29 54 30 42 32 40 2 0 43 0 40 45 37 50 34 44 55 20 37 37 25 17 52 34 48 37 47 41 3 0 33 45 0 33 35 38 26 46 39 40 39 29 42 36 21 47 30 29 40 31 4 0 29 40 48 0 53 37 20 23 31 23 27 18 52 31 25 41 41 29 42 54 5 0 4 44 46 32 0 34 51 37 44 36 29 44 38 54 46 49 20 54 40 42 6 0 25 49 42 28 32 0 41 18 35 24 20 30 42 25 25 49 25 29 38 33 7 0 54 44 25 31 34 30 0 42 40 30 31 37 37 30 44 49 24 42 49 31 8 0 13 48 16 18 27 52 29 0 48 48 45 35 50 38 52 41 43 6 39 45 9 0 27 9 19 20 26 32 41 29 0 25 25 43 18 42 33 35 20 18 19 55 10 0 26 47 16 41 41 53 24 49 44 0 35 37 49 48 55 43 55 39 30 45 11 0 12 42 26 49 31 45 30 36 47 33 0 41 29 54 42 35 53 30 34 23 12 0 32 34 23 14 36 40 20 40 49 24 46 0 42 36 28 46 25 45 23 34 13 0 10 53 32 49 50 30 27 26 40 28 32 14 0 30 36 41 27 26 25 28 14 0 30 5 48 24 22 31 36 42 44 31 13 39 40 0 52 38 41 32 31 50 15 0 22 44 16 41 30 51 34 28 50 24 24 39 38 48 0 47 52 23 40 29 16 0 18 30 40 26 48 55 51 54 43 38 43 41 43 47 50 0 34 38 54 34 17 0 32 29 26 13 29 28 17 35 39 53 43 48 46 53 40 33 0 40 19 46 18 0 12 43 28 51 40 49 48 12 51 37 38 40 52 38 48 33 49 0 22 43 19 0 34 54 21 45 13 52 10 43 14 44 34 52 46 49 24 28 51 39 0 31 20 0 13 6 15 36 28 39 0 28 46 35 35 33 41 53 33 21 42 48 53 0 [3,*,*]: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 := 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 27 46 32 50 37 49 26 43 43 15 35 36 30 40 49 46 43 53 45 2 0 34 0 42 26 25 39 25 52 40 36 46 36 26 20 39 39 24 53 41 54 3 0 33 53 0 22 40 45 30 35 33 53 26 34 55 53 53 25 31 33 43 33 4 0 52 31 45 0 28 35 43 31 36 34 42 52 53 37 45 35 22 26 24 6 5 0 48 54 48 32 0 19 26 33 35 8 33 39 37 21 42 33 29 44 45 46 6 0 41 43 48 24 44 0 43 35 47 47 51 39 48 13 38 24 55 31 40 26 7 0 35 28 42 15 41 41 0 26 37 50 33 35 46 46 53 50 55 34 44 47 8 0 37 37 32 29 29 36 27 0 33 15 37 41 25 43 44 27 16 31 45 33 9 0 16 26 18 46 34 21 12 33 0 54 31 5 16 29 34 13 27 45 38 52 10 0 25 51 17 19 40 43 43 35 17 0 34 40 53 26 33 27 46 17 48 51 11 0 37 51 20 36 22 41 38 13 27 27 0 35 50 37 35 30 18 46 39 51 12 0 25 27 20 42 52 37 26 39 39 46 40 0 45 53 49 43 49 43 25 39 13 0 42 49 54 26 40 38 16 36 24 49 49 31 0 23 45 44 37 43 40 41 14 0 17 28 20 42 39 46 31 37 24 55 35 33 5 0 29 39 27 32 35 35 15 0 30 49 21 52 20 34 29 36 18 39 28 39 5 17 0 23 30 17 24 37 16 0 49 30 29 27 43 17 27 43 51 30 30 28 45 28 49 0 18 42 33 28 17 0 39 29 50 41 40 35 32 31 42 28 41 39 20 40 53 39 0 32 37 34 18 0 11 13 24 45 32 22 30 53 45 9 49 47 45 41 46 22 14 0 38 31 19 0 29 31 7 39 9 43 29 26 51 11 51 43 15 18 38 27 40 33 0 47 20 0 15 32 22 2 9 25 38 28 50 17 48 32 36 32 53 42 44 40 32 0 [4,*,*]: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 := 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 33 42 39 10 45 34 22 47 49 37 43 7 38 47 14 54 19 48 22 2 0 45 0 54 21 26 18 48 31 43 55 35 35 30 41 16 32 51 50 51 5 3 0 50 46 0 31 47 42 33 30 35 40 35 29 23 33 28 33 34 47 21 31 4 0 50 55 53 0 28 46 49 47 40 38 34 42 32 25 45 34 8 38 34 36 5 0 49 45 54 41 0 45 41 50 43 28 37 45 43 35 39 21 21 36 39 34 6 0 47 54 54 54 31 0 39 37 35 26 48 47 45 36 20 47 46 34 29 24 7 0 17 50 53 29 31 23 0 36 47 16 38 30 31 32 55 31 17 42 21 34 8 0 26 55 15 28 36 31 39 0 40 35 45 38 18 37 31 27 48 30 48 54 9 0 30 23 16 34 41 41 39 20 0 16 51 24 42 48 53 45 42 52 30 26 10 0 55 52 35 34 18 45 42 32 52 0 46 47 24 16 32 36 18 37 26 37 11 0 29 29 42 31 39 50 46 46 45 45 0 33 33 38 33 30 52 36 29 22 12 0 11 24 30 18 23 53 50 30 36 43 31 0 30 31 35 33 33 23 46 30 13 0 46 30 36 51 18 32 47 33 53 47 31 52 0 19 11 38 20 42 41 45 14 0 36 52 31 46 39 45 40 37 36 52 45 29 24 0 41 46 29 34 31 51 15 0 13 16 21 28 51 44 34 19 33 31 30 46 39 28 0 45 32 26 28 39 16 0 13 24 12 46 14 36 38 29 34 48 44 44 49 30 41 0 31 20 43 29 17 0 55 47 21 26 24 33 55 42 38 38 41 48 30 32 34 53 0 50 36 38 18 0 26 44 26 27 23 36 51 41 27 45 16 41 36 26 23 53 46 0 55 21 19 0 28 2 14 39 1 42 22 15 46 48 32 23 50 26 38 51 30 32 0 37 20 0 14 22 35 39 34 38 36 31 47 41 42 37 37 46 22 48 47 42 42 0 [5,*,*]: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 := 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 43 44 32 35 40 53 14 46 51 49 10 33 37 48 49 20 55 23 51 2 0 45 0 33 46 55 43 21 32 50 32 50 43 48 46 29 16 43 53 47 39 3 0 49 27 0 37 52 38 28 30 34 38 27 44 33 21 41 45 18 54 43 32 4 0 36 55 10 0 27 36 34 36 46 41 39 55 45 43 39 6 42 36 53 51 5 0 36 41 50 23 0 35 38 33 24 53 31 39 42 46 54 42 45 40 27 52 6 0 50 31 35 48 33 0 35 52 32 25 12 42 25 44 45 38 13 50 55 50 7 0 31 39 26 19 49 44 0 48 18 41 42 49 39 33 17 40 38 52 30 32 8 0 54 12 25 47 46 44 42 0 30 36 40 48 42 24 54 40 38 39 32 43 9 0 20 24 28 45 38 37 37 50 0 41 32 35 10 32 14 31 39 30 40 38 10 0 25 21 34 47 35 48 37 46 35 0 32 26 39 52 36 32 28 26 29 41 11 0 37 52 50 46 42 50 41 35 29 22 0 50 51 36 31 30 20 29 44 32 12 0 51 44 19 14 47 46 24 45 41 35 31 0 26 33 30 10 45 24 49 37 13 0 40 38 18 47 35 53 35 42 40 45 40 34 0 41 38 17 49 40 39 38 14 0 28 26 28 54 49 50 39 44 46 23 34 25 23 0 16 37 48 23 55 40 15 0 30 38 45 51 53 35 44 47 47 46 47 32 43 38 0 22 47 50 38 44 16 0 26 41 21 51 30 34 45 53 25 20 46 35 6 35 39 0 33 33 40 48 17 0 39 21 32 44 42 27 21 46 53 41 34 42 51 53 41 42 0 36 51 37 18 0 20 21 22 11 51 21 23 42 25 32 20 39 30 33 24 35 48 0 21 22 19 0 42 45 36 28 47 27 33 34 6 8 35 46 38 27 43 38 31 41 0 48 20 0 35 45 5 2 42 42 35 46 8 43 42 40 38 39 31 34 50 34 36 0 [6,*,*]: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 := 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 47 51 53 26 39 13 18 34 52 19 35 24 43 48 22 53 46 46 37 2 0 50 0 35 48 23 13 43 52 51 43 43 18 6 46 15 15 29 24 47 21 3 0 30 50 0 26 31 46 35 23 33 39 25 46 36 33 30 30 46 21 40 32 4 0 51 44 45 0 49 8 20 44 38 19 38 25 38 34 47 25 25 11 55 28 5 0 28 45 48 16 0 12 21 54 35 21 27 43 32 47 44 41 28 28 36 32 6 0 46 28 37 22 35 0 26 34 28 19 28 35 30 53 43 52 34 18 52 16 7 0 51 52 39 34 32 37 0 33 39 54 54 12 40 44 30 23 31 19 23 25 8 0 46 46 37 46 52 47 30 0 51 40 33 51 47 51 34 43 40 41 46 52 9 0 22 27 22 35 30 47 48 32 0 23 32 40 36 30 41 24 48 39 35 50 10 0 42 54 36 53 5 39 33 33 11 0 35 45 33 28 37 18 51 29 33 38 11 0 15 38 27 24 38 39 42 32 54 55 0 29 43 43 41 35 55 44 33 54 12 0 26 43 28 44 25 47 46 28 30 23 45 0 28 38 35 21 37 45 44 30 13 0 21 36 42 29 19 30 31 5 31 50 40 33 0 35 30 24 53 39 50 53 14 0 25 41 33 41 51 19 24 54 20 41 30 33 54 0 29 39 45 42 32 41 15 0 3 30 32 16 22 9 50 29 38 36 53 31 33 42 0 31 29 50 36 30 16 0 36 51 26 39 25 45 33 36 48 53 38 41 36 42 48 0 48 27 50 46 17 0 29 34 12 40 1 24 49 33 35 39 44 32 50 17 40 34 0 46 47 48 18 0 23 22 35 29 24 42 7 42 36 38 54 27 39 39 49 21 49 0 33 35 19 0 14 28 38 5 18 27 9 45 32 25 23 30 48 54 22 31 38 33 0 42 20 0 17 19 8 16 19 37 3 22 3 2 30 11 43 42 41 10 53 19 38 0 [7,*,*]: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 := 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 44 42 37 49 54 39 39 40 21 33 26 22 46 54 41 38 25 35 34 2 0 49 0 49 36 53 36 7 21 22 36 55 37 31 27 55 46 25 38 53 26 3 0 40 32 0 17 17 26 30 32 48 38 36 41 23 11 48 43 13 54 54 48 4 0 41 53 48 0 49 25 23 46 48 36 35 24 39 33 44 35 15 23 19 43 5 0 31 36 35 26 0 30 19 46 41 33 28 31 40 22 55 31 51 30 32 43 6 0 55 22 33 20 39 0 26 35 41 34 42 33 37 38 33 30 13 46 32 44 7 0 48 29 38 40 51 33 0 49 48 13 26 25 35 23 38 51 33 28 31 25 8 0 32 23 54 36 46 47 31 0 18 40 37 40 17 20 27 54 34 16 33 55 9 0 26 30 44 53 40 14 23 29 0 28 24 53 36 49 49 22 39 33 23 51 10 0 16 28 37 26 41 22 35 46 48 0 26 37 47 27 47 40 34 38 40 42 11 0 2 20 21 21 47 35 34 50 30 55 0 26 54 49 35 26 25 34 49 34 12 0 15 37 19 27 16 54 33 38 27 35 53 0 32 48 49 41 40 49 38 34 13 0 4 6 32 36 19 32 15 46 31 40 24 47 0 5 49 37 4 42 20 44 14 0 38 35 50 40 51 41 1 47 40 36 47 50 44 0 48 35 18 52 54 39 15 0 33 27 41 29 16 16 26 40 44 10 52 44 53 45 0 49 45 39 36 37 16 0 24 14 34 47 32 47 40 12 44 35 35 20 44 39 52 0 24 31 54 36 17 0 48 26 46 55 5 46 9 38 54 28 31 42 29 33 19 42 0 31 26 27 18 0 49 37 38 41 38 43 31 38 37 41 29 24 43 29 53 49 44 0 20 55 19 0 49 27 44 43 13 1 31 44 31 15 54 46 53 52 6 48 38 41 0 52 20 0 33 5 52 34 13 43 27 41 47 36 23 44 54 38 52 34 37 37 51 0 [8,*,*]: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 := 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 51 40 30 36 45 42 35 27 30 19 40 44 47 55 53 39 46 44 38 2 0 40 0 42 23 23 33 26 27 53 41 33 29 29 13 32 33 27 26 37 33 3 0 48 18 0 9 22 55 26 53 37 52 55 16 47 48 27 55 37 44 42 32 4 0 32 51 53 0 15 32 21 20 48 43 52 31 17 30 36 49 43 27 22 35 5 0 55 52 43 35 0 10 29 33 54 39 33 34 26 37 51 55 40 19 55 49 6 0 18 46 45 36 55 0 43 52 25 7 30 26 20 53 36 40 55 28 55 39 7 0 52 46 38 31 32 43 0 40 52 41 47 42 38 43 31 3 48 31 41 40 8 0 32 45 22 52 32 35 48 0 39 52 12 21 37 23 39 31 27 14 32 23 9 0 53 54 37 18 44 54 51 39 0 14 27 39 29 33 45 19 32 21 37 27 10 0 21 53 32 29 46 25 24 35 48 0 17 25 28 16 44 39 55 24 23 15 11 0 29 32 27 27 45 42 31 47 43 39 0 44 34 34 52 34 45 31 47 29 12 0 50 16 8 33 50 46 37 47 34 36 35 0 30 20 5 20 44 39 54 34 13 0 49 4 21 34 33 15 42 46 34 44 35 46 0 26 17 23 50 29 43 45 14 0 26 33 26 24 22 10 42 47 46 36 34 39 33 0 18 24 20 22 23 53 15 0 13 26 39 36 35 39 38 38 36 39 16 47 49 28 0 38 55 49 48 49 16 0 27 47 32 48 36 20 24 0 34 36 31 44 43 49 40 0 46 24 54 37 17 0 28 24 24 39 10 19 7 10 28 17 17 48 1 33 30 36 0 51 34 46 18 0 12 0 41 22 35 16 30 7 42 11 18 35 3 25 13 45 44 0 43 37 19 0 20 23 15 3 0 10 10 10 6 47 7 20 16 41 25 22 42 36 0 50 20 0 22 6 4 11 31 28 23 34 50 25 28 50 32 40 27 37 47 52 53 0 [9,*,*]: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 := 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 35 28 40 50 37 55 48 25 53 26 50 41 21 45 44 15 18 27 53 2 0 33 0 40 17 26 49 36 23 25 35 26 26 29 25 31 44 25 14 47 50 3 0 49 48 0 33 34 26 35 34 40 52 40 52 47 47 41 50 39 48 33 41 4 0 38 48 54 0 28 35 41 48 31 36 54 30 41 32 18 31 15 55 37 50 5 0 14 53 23 52 0 43 27 41 37 30 28 52 11 39 43 29 24 43 23 30 6 0 48 48 21 24 42 0 51 43 23 37 38 27 47 24 29 26 24 40 23 51 7 0 55 33 26 20 49 39 0 46 45 41 50 33 31 20 24 31 28 22 23 30 8 0 40 33 49 13 37 34 17 0 18 35 34 45 20 28 37 47 42 38 47 47 9 0 17 38 50 28 24 39 37 41 0 31 29 32 14 5 41 21 53 54 35 40 10 0 19 45 27 35 35 31 36 31 31 0 41 33 41 21 28 33 34 31 36 36 11 0 17 30 50 32 31 12 40 39 38 53 0 42 32 31 37 25 20 28 34 29 12 0 53 54 19 25 14 41 22 48 38 46 53 0 33 36 36 21 30 25 40 43 13 0 37 42 35 32 33 46 46 48 33 51 49 36 0 32 19 35 25 39 51 45 14 0 11 53 21 39 44 28 47 27 48 34 41 33 37 0 26 22 16 49 40 32 15 0 17 36 29 28 29 30 38 22 39 41 39 53 42 28 0 35 42 54 33 55 16 0 55 23 13 38 46 18 32 44 51 39 36 41 36 51 33 0 47 45 47 29 17 0 12 42 14 25 53 28 44 46 42 37 13 34 54 54 48 35 0 45 53 38 18 0 19 24 10 17 26 4 12 6 41 30 9 14 20 18 3 10 50 0 35 38 19 0 8 13 9 5 27 8 34 0 30 16 38 27 48 32 17 31 47 50 0 48 20 0 23 16 32 32 32 37 38 9 40 51 17 45 52 43 36 40 49 50 50 0 [10,*,*]: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 := 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 48 45 26 53 48 52 50 30 54 45 33 49 46 37 30 40 37 38 51 2 0 55 0 50 23 52 43 41 43 27 53 46 40 32 44 34 53 45 33 21 42 3 0 35 54 0 21 29 52 37 16 54 27 15 55 50 43 27 22 45 44 24 49 4 0 35 48 46 0 42 41 43 34 49 21 31 20 39 34 26 36 51 11 54 33 5 0 50 47 51 51 0 30 33 46 54 29 31 38 36 41 47 29 52 20 47 42 6 0 25 46 47 42 29 0 37 29 36 50 32 19 47 15 23 45 45 30 32 50 7 0 39 21 7 31 33 53 0 51 28 40 34 50 53 51 54 50 42 29 40 46 8 0 13 39 36 53 51 26 34 0 15 33 35 31 27 29 33 53 36 33 48 28 9 0 36 27 51 9 22 31 35 38 0 30 55 37 33 24 28 22 21 54 23 48 10 0 53 18 16 49 49 30 31 6 31 0 29 38 36 20 32 29 21 35 35 23 11 0 55 36 18 16 40 32 25 29 25 40 0 32 33 30 34 43 55 34 38 29 12 0 38 9 35 48 43 45 48 29 49 54 33 0 31 45 31 28 49 31 35 28 13 0 18 2 43 18 48 48 26 23 48 45 19 46 0 44 46 31 40 39 27 39 14 0 30 16 31 5 37 27 15 19 34 25 45 43 41 0 19 29 19 11 18 25 15 0 23 18 10 19 46 13 23 39 24 35 39 32 38 27 0 40 53 27 37 28 16 0 19 35 29 2 42 22 24 33 32 37 31 26 15 55 39 0 50 34 52 39 17 0 5 7 31 15 25 33 21 21 31 30 29 49 52 36 31 34 0 27 25 48 18 0 32 4 1 38 12 26 39 39 54 36 42 21 37 51 41 55 42 0 40 17 19 0 41 21 18 36 28 35 26 14 49 25 40 35 14 38 34 54 26 41 0 34 20 0 37 29 39 40 28 51 32 41 40 45 28 33 45 48 48 41 39 48 45 0 ; param P:= [*,0,*]: 1 := 1 0 2 0 3 0 4 0 5 0 6 0 7 0 8 0 9 0 10 0 [*,1,*]: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 := 1 65 0 21 64 90 40 83 66 49 0 69 29 91 16 28 2 0 30 16 63 0 0 83 0 0 0 0 0 0 0 0 3 0 0 16 0 90 46 85 63 0 0 0 0 92 16 0 4 61 0 13 65 0 0 0 0 0 0 0 30 93 0 0 5 0 0 11 0 0 0 85 0 47 0 0 0 0 21 20 6 65 32 0 0 92 41 91 63 45 87 71 33 92 0 27 7 69 0 0 0 94 0 86 60 0 0 71 0 91 0 24 8 66 0 15 65 93 0 0 63 0 83 0 30 94 16 22 9 63 33 17 0 0 39 89 0 0 90 72 0 96 18 0 10 61 32 17 0 0 42 86 63 47 87 0 33 94 0 0 [*,2,*]: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 := 1 0 0 78 40 66 0 53 0 0 67 69 73 0 42 90 0 27 90 0 2 0 22 77 0 67 0 55 40 48 68 76 0 83 41 94 68 0 89 71 3 86 24 76 0 0 48 0 0 53 0 0 77 0 0 96 70 28 85 71 4 0 28 78 0 0 53 59 0 0 0 71 0 84 0 0 66 0 85 0 5 88 24 73 43 71 0 55 0 0 0 71 0 0 36 0 69 0 0 0 6 0 0 71 0 69 49 55 35 0 0 0 0 81 0 0 71 29 85 0 7 0 19 0 39 0 45 54 0 0 0 71 74 78 40 0 0 0 84 0 8 0 28 0 0 70 53 0 0 0 0 66 0 0 41 0 0 30 90 0 9 86 0 73 39 65 0 0 0 47 0 0 0 0 0 0 0 0 82 0 10 84 27 0 40 66 0 55 40 54 68 71 0 0 37 94 69 29 86 0 [*,3,*]: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 := 1 0 49 42 0 36 0 0 0 0 27 0 0 75 0 67 0 49 56 57 69 0 36 2 0 52 41 0 36 58 0 58 0 0 0 35 74 0 0 62 0 0 62 68 0 0 3 60 0 0 91 32 0 0 0 59 31 26 37 0 79 69 67 42 0 0 0 93 31 4 0 0 0 95 0 0 70 0 0 31 25 0 0 0 0 0 0 56 59 70 0 0 5 60 53 37 90 36 0 63 0 58 33 0 0 71 0 0 64 49 56 0 68 0 0 6 60 0 0 0 36 0 66 0 0 0 0 0 0 0 0 0 45 55 0 70 90 0 7 60 0 37 88 36 0 0 61 55 31 0 0 66 0 0 64 48 60 59 0 0 35 8 62 53 0 0 0 0 68 0 55 26 0 0 73 77 0 0 0 0 0 0 93 0 9 60 0 0 94 0 0 0 63 56 0 0 37 0 0 73 0 45 57 0 68 0 0 10 64 53 32 89 0 0 0 57 0 30 18 37 0 74 69 66 45 0 59 0 0 0 [*,4,*]: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 := 1 19 0 0 87 33 79 0 60 91 65 90 41 0 0 89 41 0 0 2 0 61 39 93 31 0 42 0 0 64 0 44 0 0 84 0 80 42 3 0 0 0 0 33 79 0 0 91 0 0 44 0 56 0 0 0 41 4 26 0 34 0 32 0 45 0 92 62 0 47 31 0 0 41 81 0 5 0 0 0 92 0 0 47 60 91 0 87 39 34 54 0 41 0 37 6 20 61 0 0 32 0 0 62 0 70 0 47 0 0 0 42 76 0 7 0 65 36 88 0 0 39 58 91 0 87 0 0 51 0 37 0 0 8 0 0 0 0 34 0 0 61 95 66 0 44 34 0 0 39 0 0 9 25 0 36 0 0 76 42 0 0 68 89 0 0 0 88 38 0 40 10 22 58 37 0 35 0 42 0 0 0 0 44 34 0 86 41 80 40 [*,5,*]: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 := 1 0 58 0 0 35 0 0 67 0 93 0 92 0 0 67 0 30 0 0 0 0 2 91 60 0 0 31 0 0 0 60 0 43 95 67 0 69 0 0 0 26 95 82 3 89 61 0 47 30 57 0 71 0 89 43 0 0 83 68 0 34 0 24 99 0 4 0 60 93 42 0 0 0 0 60 88 43 95 0 0 0 23 0 0 23 95 79 5 90 62 94 0 0 59 92 0 63 0 0 95 0 0 0 21 0 0 0 0 0 6 0 62 0 46 0 0 0 66 0 93 0 0 0 0 68 0 0 0 22 0 0 7 95 0 97 42 31 56 93 67 0 0 43 91 63 0 0 0 0 0 24 99 84 8 0 0 0 46 31 59 92 68 65 93 0 95 67 80 69 0 30 37 24 95 0 9 91 63 0 42 0 59 90 67 60 90 42 0 70 0 0 24 26 0 28 0 0 10 0 62 91 0 26 60 91 68 65 93 0 0 66 0 68 21 0 0 0 98 0 [*,6,*]: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 := 1 0 0 0 0 0 0 0 0 0 92 72 89 49 0 0 2 69 20 0 40 71 43 0 29 0 0 0 89 46 0 47 3 64 20 83 38 0 43 97 26 0 82 0 0 50 0 48 4 64 20 79 0 0 47 0 0 35 0 71 0 48 0 0 5 0 20 0 37 0 46 99 0 35 0 0 90 49 40 48 6 0 0 79 0 71 0 0 0 34 88 74 0 49 33 0 7 0 0 0 42 0 0 99 0 0 0 75 86 0 0 0 8 63 22 0 0 0 43 0 0 0 0 69 86 0 36 48 9 62 17 0 0 71 0 95 24 36 87 71 0 0 0 48 10 0 17 0 38 0 43 98 0 0 0 71 0 49 0 0 [*,7,*]: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 := 1 0 0 0 0 0 0 0 59 0 0 0 84 46 66 0 2 61 0 94 67 0 0 34 55 0 0 0 0 0 0 29 3 0 0 95 0 0 0 0 59 0 0 51 84 49 71 38 4 63 0 93 0 0 0 36 55 0 0 55 84 0 0 34 5 0 0 0 0 0 0 29 56 55 0 0 83 0 0 37 6 0 58 93 71 0 14 0 56 56 0 0 0 0 0 33 7 0 0 96 71 76 16 0 0 0 27 0 88 0 71 0 8 0 0 98 71 0 18 34 55 0 0 0 89 47 76 29 9 60 58 97 69 0 0 36 0 0 22 0 0 0 71 32 10 0 0 93 71 76 19 30 52 53 0 0 0 0 70 0 [*,8,*]: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 := 1 0 73 0 0 65 0 0 0 0 0 0 35 0 0 29 2 0 0 42 72 0 37 24 33 46 89 56 0 0 21 29 3 0 77 38 0 0 42 0 0 44 0 58 0 72 0 29 4 44 0 38 68 0 36 21 0 0 0 61 0 0 24 0 5 39 0 35 0 0 0 19 0 43 0 0 0 70 25 0 6 36 0 41 71 65 36 0 29 42 90 58 0 0 28 0 7 0 73 36 0 64 41 21 34 43 90 59 37 70 29 25 8 0 70 0 69 65 0 24 36 43 0 0 0 0 0 0 9 0 74 0 0 0 0 23 38 39 90 58 0 67 22 0 10 0 73 36 0 69 0 0 0 43 87 58 41 67 0 32 [*,9,*]: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 := 1 0 79 43 0 44 21 58 0 0 0 98 0 0 0 0 0 59 0 0 0 88 0 2 0 80 44 0 0 0 0 97 0 0 0 83 47 78 0 0 0 0 55 56 0 36 3 0 74 47 0 44 22 0 98 22 33 0 81 0 0 0 59 56 0 56 55 0 0 4 0 0 44 0 44 0 62 89 20 0 0 82 50 77 48 63 56 32 57 0 0 37 5 37 0 0 77 0 0 0 0 20 34 0 83 0 0 45 0 0 37 0 0 88 0 6 37 72 44 0 0 0 0 0 15 0 0 0 47 78 0 59 0 33 0 53 0 32 7 0 0 0 0 40 0 0 0 0 41 0 0 47 0 0 60 56 33 60 50 0 0 8 0 0 0 0 0 0 0 91 20 0 0 0 0 0 44 54 56 32 60 55 87 32 9 37 0 0 73 0 22 62 98 25 0 90 86 0 78 40 0 56 35 60 53 92 0 10 0 80 40 78 43 25 63 0 0 37 0 0 47 78 0 58 0 0 0 0 0 0 [*,10,*]: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 := 1 45 40 44 0 73 63 70 32 56 0 0 0 75 0 0 86 0 79 60 2 43 0 0 82 70 0 0 25 52 0 0 25 0 0 0 0 54 82 60 3 0 35 0 79 72 68 0 0 47 0 0 27 0 0 0 87 49 0 60 4 44 39 38 0 0 0 70 30 47 0 0 0 75 0 64 90 53 0 60 5 44 0 0 0 0 59 77 27 51 13 0 0 75 92 60 87 53 0 60 6 40 0 42 77 69 0 0 27 0 18 36 0 0 0 56 91 56 79 60 7 0 39 0 0 0 0 0 0 0 20 40 26 76 90 58 88 0 79 60 8 0 36 0 0 72 0 76 0 0 0 0 0 78 88 0 0 0 0 60 9 44 0 42 76 74 0 74 32 51 0 0 25 0 93 0 90 0 80 59 10 0 37 41 75 0 65 0 31 0 20 0 0 0 94 0 0 0 79 57 [*,11,*]: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 := 1 59 89 54 82 0 44 91 89 0 68 0 51 20 58 22 2 60 0 50 0 68 44 0 0 37 63 0 54 0 0 0 3 0 0 0 83 63 0 0 82 38 0 0 58 0 64 22 4 59 0 46 0 0 44 0 0 0 0 0 0 0 0 0 5 0 0 54 76 0 0 0 90 39 0 17 56 14 59 0 6 59 0 50 81 65 43 0 86 0 70 13 0 19 0 0 7 0 88 53 0 67 46 0 0 38 68 14 56 0 60 0 8 0 0 0 0 0 45 94 87 42 68 0 0 0 0 0 9 59 0 54 79 72 44 91 86 38 0 0 56 17 63 18 10 59 90 0 79 0 46 0 86 0 0 0 54 15 0 25 [*,12,*]: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 := 1 0 66 15 64 69 41 52 40 0 0 0 0 0 0 2 0 66 0 66 70 0 0 0 16 0 16 0 0 79 3 50 0 25 67 0 46 0 37 14 0 16 0 0 0 4 0 60 16 0 0 46 43 0 0 0 16 0 0 82 5 0 0 23 0 0 0 48 39 11 0 0 0 32 84 6 0 66 0 0 66 43 0 0 0 80 21 0 29 81 7 50 0 0 0 0 0 0 37 0 0 16 0 29 86 8 0 0 20 0 70 46 47 37 12 0 0 97 29 0 9 0 0 0 0 65 0 44 0 0 80 16 93 33 83 10 50 0 20 0 69 46 0 37 11 80 17 0 30 81 [*,13,*]: 1 2 3 4 5 6 7 8 9 10 11 := 1 92 88 0 0 0 0 86 88 60 23 95 2 0 0 44 0 0 0 87 0 58 0 92 3 0 89 44 0 0 0 0 84 58 0 91 4 0 0 45 61 75 0 0 83 58 19 0 5 0 0 38 0 0 0 86 85 0 23 0 6 92 0 0 58 82 0 86 0 0 22 91 7 0 92 0 56 0 0 0 0 58 23 0 8 92 0 39 0 80 94 86 81 0 0 91 9 0 86 0 0 80 94 86 86 58 20 0 10 0 89 40 58 0 0 0 86 0 18 0 [*,14,*]: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 := 1 0 0 86 0 17 68 57 0 0 77 0 23 0 71 0 0 2 63 0 0 0 22 66 0 0 0 73 45 25 0 0 23 36 3 60 0 0 16 0 0 0 47 69 73 0 23 0 0 28 0 4 0 24 0 0 0 0 0 0 0 77 49 0 0 73 28 0 5 57 0 82 0 18 0 0 0 0 73 0 19 49 73 0 40 6 57 23 0 17 0 0 0 0 73 0 0 23 0 0 28 0 7 60 27 86 17 13 0 64 0 72 0 54 20 0 0 28 0 8 0 0 90 0 19 0 60 42 0 73 0 23 0 0 0 37 9 63 0 86 16 13 70 60 0 0 0 48 0 55 0 28 0 10 60 32 85 16 17 0 60 0 0 0 0 23 50 0 32 0 [*,15,*]: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 := 1 0 0 0 0 35 0 0 0 0 80 78 69 0 33 57 0 0 34 0 0 59 32 56 2 14 47 17 65 34 83 19 0 0 80 75 0 0 0 0 0 46 0 46 36 64 0 0 3 14 0 0 0 35 0 22 54 47 0 76 0 83 34 0 0 48 0 0 33 59 25 56 4 15 0 23 68 0 0 0 0 0 0 0 0 85 0 54 25 48 35 0 0 59 29 0 5 0 47 22 0 35 92 0 0 0 77 79 69 0 36 0 25 48 34 45 34 57 28 0 6 0 47 0 0 38 0 0 57 0 85 0 0 0 35 53 30 0 0 0 0 0 25 55 7 0 47 23 0 0 86 0 53 49 0 74 69 0 38 57 25 0 33 0 0 57 0 54 8 15 43 26 0 31 88 16 53 51 0 0 75 85 0 0 0 0 36 45 0 0 29 53 9 0 0 0 66 0 0 19 53 0 0 77 0 0 0 59 25 0 0 47 0 0 29 53 10 0 48 0 68 0 0 0 58 54 0 0 74 81 0 0 0 0 0 0 34 57 0 0 [*,16,*]: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 := 1 60 66 0 0 24 0 67 55 0 38 59 87 21 0 0 75 64 2 0 0 0 38 25 38 0 53 39 0 0 0 0 32 83 0 64 3 53 75 65 0 24 37 0 52 39 38 0 85 0 29 83 71 0 4 0 73 0 35 30 0 68 55 0 37 0 86 0 0 0 74 0 5 0 0 0 0 29 0 0 55 44 38 63 89 0 30 0 0 0 6 0 73 63 35 30 36 0 59 0 0 0 0 0 32 0 74 66 7 55 73 0 39 0 0 0 54 47 0 0 0 0 33 80 74 65 8 0 69 62 0 29 32 64 0 0 36 60 90 17 0 82 74 0 9 0 70 0 0 0 35 66 0 0 35 0 0 21 0 79 0 71 10 53 0 63 0 29 0 0 59 43 0 0 0 17 0 83 76 0 [*,17,*]: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 := 1 72 65 0 25 0 0 0 76 34 66 0 0 61 0 0 0 87 2 70 0 0 0 77 25 58 0 0 0 57 0 0 0 42 0 0 3 0 0 39 26 0 0 0 0 0 64 0 50 61 0 36 0 0 4 0 0 0 0 0 31 0 0 35 0 0 46 59 52 42 0 87 5 73 66 34 25 79 0 0 81 0 68 0 0 0 55 41 70 0 6 0 64 0 25 78 26 58 0 0 63 0 0 0 57 41 70 0 7 0 0 0 0 0 0 0 81 0 0 0 0 59 50 0 0 0 8 0 70 0 0 78 23 0 81 36 0 59 0 0 0 0 0 0 9 0 61 0 0 0 0 60 77 0 72 0 50 0 54 0 74 0 10 0 0 35 25 74 0 65 77 35 70 0 45 55 51 39 72 86 [*,18,*]: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 := 1 19 0 16 0 0 74 0 0 0 0 0 0 0 0 0 97 85 2 16 0 13 78 0 76 0 92 75 43 0 0 0 0 48 91 85 3 16 35 0 0 52 70 0 88 71 48 80 0 0 39 0 92 87 4 0 0 11 82 0 0 0 0 71 44 83 70 95 43 50 96 0 5 17 36 0 0 0 74 0 0 0 41 0 0 92 0 47 94 80 6 0 39 0 78 46 0 0 0 0 0 0 0 96 0 52 90 81 7 17 0 0 77 48 74 0 0 72 0 86 72 0 41 0 0 0 8 16 0 0 0 48 74 18 0 71 43 77 78 0 0 44 0 88 9 0 43 16 0 48 0 0 95 71 44 84 72 92 0 0 94 80 10 11 0 0 0 0 71 0 93 71 0 85 73 96 35 48 92 0 [*,19,*]: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 := 1 0 0 72 0 22 20 0 0 18 0 0 0 46 29 0 0 86 0 0 0 44 16 26 2 67 86 75 22 24 20 47 0 0 65 22 22 0 25 65 21 0 0 0 34 0 11 27 3 0 84 0 22 17 18 42 0 0 0 19 29 46 26 67 19 85 48 0 0 0 19 0 4 0 82 0 0 0 0 47 0 21 69 0 27 47 0 67 23 0 0 0 31 0 0 27 5 67 0 0 0 0 0 0 0 0 69 23 27 0 0 0 28 80 0 0 34 42 16 0 6 71 0 77 22 0 20 48 0 25 68 23 0 0 0 67 0 0 0 0 0 42 16 23 7 63 81 0 22 23 0 0 68 0 0 0 0 0 0 71 0 0 49 82 34 45 0 31 8 65 0 0 0 24 16 41 0 0 0 0 0 49 27 65 0 0 48 0 29 46 21 27 9 0 0 0 22 0 21 48 65 24 68 23 0 47 22 0 23 0 0 0 0 47 16 26 10 64 0 0 22 0 20 0 68 27 0 0 0 43 0 0 0 78 0 82 34 0 16 25 [*,20,*]: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 := 1 0 19 92 0 0 92 65 43 48 58 0 0 0 57 67 82 2 49 0 0 0 35 95 69 0 0 58 92 76 0 61 0 0 3 49 15 0 29 30 92 0 43 44 0 90 0 0 60 0 0 4 0 21 0 0 34 0 65 0 41 0 87 0 77 53 0 79 5 49 0 94 0 29 0 0 40 0 0 0 0 72 0 65 0 6 52 0 91 26 0 0 0 42 44 55 90 79 0 0 0 0 7 0 19 0 0 32 95 65 46 0 62 0 0 69 53 70 0 8 48 19 92 31 0 92 65 42 0 58 0 81 0 56 67 0 9 50 0 0 24 0 0 66 44 44 58 89 76 0 57 70 82 10 46 0 92 26 0 92 0 39 0 0 85 0 0 0 0 82 ; param a:= [*,0,*]: 1 := 1 1 2 1 3 1 4 1 5 1 6 1 7 1 8 1 9 1 10 1 [*,1,*]: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 := 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 2 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 3 0 0 1 0 1 1 1 1 0 0 0 0 1 1 0 4 1 0 1 1 0 0 0 0 0 0 0 1 1 0 0 5 0 0 1 0 0 0 1 0 1 0 0 0 0 1 1 6 1 1 0 0 1 1 1 1 1 1 1 1 1 0 1 7 1 0 0 0 1 0 1 1 0 0 1 0 1 0 1 8 1 0 1 1 1 0 0 1 0 1 0 1 1 1 1 9 1 1 1 0 0 1 1 0 0 1 1 0 1 1 0 10 1 1 1 0 0 1 1 1 1 1 0 1 1 0 0 [*,2,*]: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 := 1 0 0 1 1 1 0 1 0 0 1 1 1 0 1 1 0 1 1 0 2 0 1 1 0 1 0 1 1 1 1 1 0 1 1 1 1 0 1 1 3 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 1 1 1 1 4 0 1 1 0 0 1 1 0 0 0 1 0 1 0 0 1 0 1 0 5 1 1 1 1 1 0 1 0 0 0 1 0 0 1 0 1 0 0 0 6 0 0 1 0 1 1 1 1 0 0 0 0 1 0 0 1 1 1 0 7 0 1 0 1 0 1 1 0 0 0 1 1 1 1 0 0 0 1 0 8 0 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 1 0 9 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 10 1 1 0 1 1 0 1 1 1 1 1 0 0 1 1 1 1 1 0 [*,3,*]: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 := 1 0 1 1 0 1 0 0 0 0 1 0 0 1 0 1 0 1 1 1 1 0 1 2 0 1 1 0 1 1 0 1 0 0 0 1 1 0 0 1 0 0 1 1 0 0 3 1 0 0 1 1 0 0 0 1 1 1 1 0 1 1 1 1 0 0 0 1 1 4 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 5 1 1 1 1 1 0 1 0 1 1 0 0 1 0 0 1 1 1 0 1 0 0 6 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 7 1 0 1 1 1 0 0 1 1 1 0 0 1 0 0 1 1 1 1 0 0 1 8 1 1 0 0 0 0 1 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 9 1 0 0 1 0 0 0 1 1 0 0 1 0 0 1 0 1 1 0 1 0 0 10 1 1 1 1 0 0 0 1 0 1 1 1 0 1 1 1 1 0 1 0 0 0 [*,4,*]: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 := 1 1 0 0 1 1 1 0 1 1 1 1 1 0 0 1 1 0 0 2 0 1 1 1 1 0 1 0 0 1 0 1 0 0 1 0 1 1 3 0 0 0 0 1 1 0 0 1 0 0 1 0 1 0 0 0 1 4 1 0 1 0 1 0 1 0 1 1 0 1 1 0 0 1 1 0 5 0 0 0 1 0 0 1 1 1 0 1 1 1 1 0 1 0 1 6 1 1 0 0 1 0 0 1 0 1 0 1 0 0 0 1 1 0 7 0 1 1 1 0 0 1 1 1 0 1 0 0 1 0 1 0 0 8 0 0 0 0 1 0 0 1 1 1 0 1 1 0 0 1 0 0 9 1 0 1 0 0 1 1 0 0 1 1 0 0 0 1 1 0 1 10 1 1 1 0 1 0 1 0 0 0 0 1 1 0 1 1 1 1 [*,5,*]: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 := 1 0 1 0 0 1 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 0 2 1 1 0 0 1 0 0 0 1 0 1 1 1 0 1 0 0 0 1 1 1 3 1 1 0 1 1 1 0 1 0 1 1 0 0 1 1 0 1 0 1 1 0 4 0 1 1 1 0 0 0 0 1 1 1 1 0 0 0 1 0 0 1 1 1 5 1 1 1 0 0 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 6 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 7 1 0 1 1 1 1 1 1 0 0 1 1 1 0 0 0 0 0 1 1 1 8 0 0 0 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 9 1 1 0 1 0 1 1 1 1 1 1 0 1 0 0 1 1 0 1 0 0 10 0 1 1 0 1 1 1 1 1 1 0 0 1 0 1 1 0 0 0 1 0 [*,6,*]: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 := 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 2 1 1 0 1 1 1 0 1 0 0 0 1 1 0 1 3 1 1 1 1 0 1 1 1 0 1 0 0 1 0 1 4 1 1 1 0 0 1 0 0 1 0 1 0 1 0 0 5 0 1 0 1 0 1 1 0 1 0 0 1 1 1 1 6 0 0 1 0 1 0 0 0 1 1 1 0 1 1 0 7 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 8 1 1 0 0 0 1 0 0 0 0 1 1 0 1 1 9 1 1 0 0 1 0 1 1 1 1 1 0 0 0 1 10 0 1 0 1 0 1 1 0 0 0 1 0 1 0 0 [*,7,*]: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 := 1 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 2 1 0 1 1 0 0 1 1 0 0 0 0 0 0 1 3 0 0 1 0 0 0 0 1 0 0 1 1 1 1 1 4 1 0 1 0 0 0 1 1 0 0 1 1 0 0 1 5 0 0 0 0 0 0 1 1 1 0 0 1 0 0 1 6 0 1 1 1 0 1 0 1 1 0 0 0 0 0 1 7 0 0 1 1 1 1 0 0 0 1 0 1 0 1 0 8 0 0 1 1 0 1 1 1 0 0 0 1 1 1 1 9 1 1 1 1 0 0 1 0 0 1 0 0 0 1 1 10 0 0 1 1 1 1 1 1 1 0 0 0 0 1 0 [*,8,*]: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 := 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 2 0 0 1 1 0 1 1 1 1 1 1 0 0 1 1 3 0 1 1 0 0 1 0 0 1 0 1 0 1 0 1 4 1 0 1 1 0 1 1 0 0 0 1 0 0 1 0 5 1 0 1 0 0 0 1 0 1 0 0 0 1 1 0 6 1 0 1 1 1 1 0 1 1 1 1 0 0 1 0 7 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 8 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 9 0 1 0 0 0 0 1 1 1 1 1 0 1 1 0 10 0 1 1 0 1 0 0 0 1 1 1 1 1 0 1 [*,9,*]: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 := 1 0 1 1 0 1 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 2 0 1 1 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 1 1 0 1 3 0 1 1 0 1 1 0 1 1 1 0 1 0 0 0 1 1 0 1 1 0 0 4 0 0 1 0 1 0 1 1 1 0 0 1 1 1 1 1 1 1 1 0 0 1 5 1 0 0 1 0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 6 1 1 1 0 0 0 0 0 1 0 0 0 1 1 0 1 0 1 0 1 0 1 7 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 1 1 1 1 0 0 8 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 9 1 0 0 1 0 1 1 1 1 0 1 1 0 1 1 0 1 1 1 1 1 0 10 0 1 1 1 1 1 1 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 [*,10,*]: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 := 1 1 1 1 0 1 1 1 1 1 0 0 0 1 0 0 1 0 1 1 2 1 0 0 1 1 0 0 1 1 0 0 1 0 0 0 0 1 1 1 3 0 1 0 1 1 1 0 0 1 0 0 1 0 0 0 1 1 0 1 4 1 1 1 0 0 0 1 1 1 0 0 0 1 0 1 1 1 0 1 5 1 0 0 0 0 1 1 1 1 1 0 0 1 1 1 1 1 0 1 6 1 0 1 1 1 0 0 1 0 1 1 0 0 0 1 1 1 1 1 7 0 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 1 8 0 1 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 1 9 1 0 1 1 1 0 1 1 1 0 0 1 0 1 0 1 0 1 1 10 0 1 1 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 1 [*,11,*]: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 := 1 1 1 1 1 0 1 1 1 0 1 0 1 1 1 1 2 1 0 1 0 1 1 0 0 1 1 0 1 0 0 0 3 0 0 0 1 1 0 0 1 1 0 0 1 0 1 1 4 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 5 0 0 1 1 0 0 0 1 1 0 1 1 1 1 0 6 1 0 1 1 1 1 0 1 0 1 1 0 1 0 0 7 0 1 1 0 1 1 0 0 1 1 1 1 0 1 0 8 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 9 1 0 1 1 1 1 1 1 1 0 0 1 1 1 1 10 1 1 0 1 0 1 0 1 0 0 0 1 1 0 1 [*,12,*]: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 := 1 0 1 1 1 1 1 1 1 0 0 0 0 0 0 2 0 1 0 1 1 0 0 0 1 0 1 0 0 1 3 1 0 1 1 0 1 0 1 1 0 1 0 0 0 4 0 1 1 0 0 1 1 0 0 0 1 0 0 1 5 0 0 1 0 0 0 1 1 1 0 0 0 1 1 6 0 1 0 0 1 1 0 0 0 1 1 0 1 1 7 1 0 0 0 0 0 0 1 0 0 1 0 1 1 8 0 0 1 0 1 1 1 1 1 0 0 1 1 0 9 0 0 0 0 1 0 1 0 0 1 1 1 1 1 10 1 0 1 0 1 1 0 1 1 1 1 0 1 1 [*,13,*]: 1 2 3 4 5 6 7 8 9 10 11 := 1 1 1 0 0 0 0 1 1 1 1 1 2 0 0 1 0 0 0 1 0 1 0 1 3 0 1 1 0 0 0 0 1 1 0 1 4 0 0 1 1 1 0 0 1 1 1 0 5 0 0 1 0 0 0 1 1 0 1 0 6 1 0 0 1 1 0 1 0 0 1 1 7 0 1 0 1 0 0 0 0 1 1 0 8 1 0 1 0 1 1 1 1 0 0 1 9 0 1 0 0 1 1 1 1 1 1 0 10 0 1 1 1 0 0 0 1 0 1 0 [*,14,*]: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 := 1 0 0 1 0 1 1 1 0 0 1 0 1 0 1 0 0 2 1 0 0 0 1 1 0 0 0 1 1 1 0 0 1 1 3 1 0 0 1 0 0 0 1 1 1 0 1 0 0 1 0 4 0 1 0 0 0 0 0 0 0 1 1 0 0 1 1 0 5 1 0 1 0 1 0 0 0 0 1 0 1 1 1 0 1 6 1 1 0 1 0 0 0 0 1 0 0 1 0 0 1 0 7 1 1 1 1 1 0 1 0 1 0 1 1 0 0 1 0 8 0 0 1 0 1 0 1 1 0 1 0 1 0 0 0 1 9 1 0 1 1 1 1 1 0 0 0 1 0 1 0 1 0 10 1 1 1 1 1 0 1 0 0 0 0 1 1 0 1 0 [*,15,*]: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 := 1 0 0 0 0 1 0 0 0 0 1 1 1 0 1 1 0 0 1 0 0 1 1 1 2 1 1 1 1 1 1 1 0 0 1 1 0 0 0 0 0 1 0 1 1 1 0 0 3 1 0 0 0 1 0 1 1 1 0 1 0 1 1 0 0 1 0 0 1 1 1 1 4 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 1 1 0 5 0 1 1 0 1 1 0 0 0 1 1 1 0 1 0 1 1 1 1 1 1 1 0 6 0 1 0 0 1 0 0 1 0 1 0 0 0 1 1 1 0 0 0 0 0 1 1 7 0 1 1 0 0 1 0 1 1 0 1 1 0 1 1 1 0 1 0 0 1 0 1 8 1 1 1 0 1 1 1 1 1 0 0 1 1 0 0 0 0 1 1 0 0 1 1 9 0 0 0 1 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 1 1 10 0 1 0 1 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 1 0 0 [*,16,*]: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 := 1 1 1 0 0 1 0 1 1 0 1 1 1 1 0 0 1 1 2 0 0 0 1 1 1 0 1 1 0 0 0 0 1 1 0 1 3 1 1 1 0 1 1 0 1 1 1 0 1 0 1 1 1 0 4 0 1 0 1 1 0 1 1 0 1 0 1 0 0 0 1 0 5 0 0 0 0 1 0 0 1 1 1 1 1 0 1 0 0 0 6 0 1 1 1 1 1 0 1 0 0 0 0 0 1 0 1 1 7 1 1 0 1 0 0 0 1 1 0 0 0 0 1 1 1 1 8 0 1 1 0 1 1 1 0 0 1 1 1 1 0 1 1 0 9 0 1 0 0 0 1 1 0 0 1 0 0 1 0 1 0 1 10 1 0 1 0 1 0 0 1 1 0 0 0 1 0 1 1 0 [*,17,*]: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 := 1 1 1 0 1 0 0 0 1 1 1 0 0 1 0 0 0 1 2 1 0 0 0 1 1 1 0 0 0 1 0 0 0 1 0 0 3 0 0 1 1 0 0 0 0 0 1 0 1 1 0 1 0 0 4 0 0 0 0 0 1 0 0 1 0 0 1 1 1 1 0 1 5 1 1 1 1 1 0 0 1 0 1 0 0 0 1 1 1 0 6 0 1 0 1 1 1 1 0 0 1 0 0 0 1 1 1 0 7 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 8 0 1 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 9 0 1 0 0 0 0 1 1 0 1 0 1 0 1 0 1 0 10 0 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 [*,18,*]: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 := 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 2 1 0 1 1 0 1 0 1 1 1 0 0 0 0 1 1 1 3 1 1 0 0 1 1 0 1 1 1 1 0 0 1 0 1 1 4 0 0 1 1 0 0 0 0 1 1 1 1 1 1 1 1 0 5 1 1 0 0 0 1 0 0 0 1 0 0 1 0 1 1 1 6 0 1 0 1 1 0 0 0 0 0 0 0 1 0 1 1 1 7 1 0 0 1 1 1 0 0 1 0 1 1 0 1 0 0 0 8 1 0 0 0 1 1 1 0 1 1 1 1 0 0 1 0 1 9 0 1 1 0 1 0 0 1 1 1 1 1 1 0 0 1 1 10 1 0 0 0 0 1 0 1 1 0 1 1 1 1 1 1 0 [*,19,*]: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 := 1 0 0 1 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 1 2 1 1 1 1 1 1 1 0 0 1 1 1 0 1 1 1 0 0 0 1 0 1 1 3 0 1 0 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 0 4 0 1 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 0 0 1 0 0 1 5 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 1 1 1 0 6 1 0 1 1 0 1 1 0 1 1 1 0 0 0 1 0 0 0 0 0 1 1 1 7 1 1 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 1 1 1 1 0 1 8 1 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 1 0 1 1 1 1 9 0 0 0 1 0 1 1 1 1 1 1 0 1 1 0 1 0 0 0 0 1 1 1 10 1 0 0 1 0 1 0 1 1 0 0 0 1 0 0 0 1 0 1 1 0 1 1 [*,20,*]: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 := 1 0 1 1 0 0 1 1 1 1 1 0 0 0 1 1 1 2 1 0 0 0 1 1 1 0 0 1 1 1 0 1 0 0 3 1 1 0 1 1 1 0 1 1 0 1 0 0 1 0 0 4 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 5 1 0 1 0 1 0 0 1 0 0 0 0 1 0 1 0 6 1 0 1 1 0 0 0 1 1 1 1 1 0 0 0 0 7 0 1 0 0 1 1 1 1 0 1 0 0 1 1 1 0 8 1 1 1 1 0 1 1 1 0 1 0 1 0 1 1 0 9 1 0 0 1 0 0 1 1 1 1 1 1 0 1 1 1 10 1 0 1 1 0 1 0 1 0 0 1 0 0 0 0 1 ; param M:=1000000;