Quellsprache: Binärcode.g aufgebrochen in jeweils 16 ZeichenUnknown {[0] [0] [0]}zum Wurzelverzeichnis wechseln
#####################################################################################
#
# nengel.g Serena Cicalo and Willem de Graaf
#
#
# The package LieRing is free software; you can redistribute it and/or modify it under the
# terms of the GNU General Public License as published by the Free Software Foundation;
# either version 2 of the License, or (at your option) any later version.
############################ n-engel database ########################################
LRPrivateFunctions.n_engelLR:= rec( );
LRPrivateFunctions.n_engelLR.S32:=
[ [ 3, 7, [ 1, 1 ] ], [ 3, 8, [ 1, 2 ] ], [ 4, 6, [ 1, 2 ] ], [ 4, 7, [ 1, 3 ] ], [ 5, 6, [ 1, 1 ] ], [ 5, 8, [ 1, 3 ] ],
[ 6, 7, [ -1, 5 ] ], [ 6, 8, [ -1, 4 ] ], [ 7, 8, [ -1, 6 ] ] ];
LRPrivateFunctions.n_engelLR.t32:= [ 2, 2, 2, 0, 0, 0, 0, 0 ];
LRPrivateFunctions.n_engelLR.S42:=
[ [ 1, 27, [ 4, 9 ] ], [ 1, 28, [ 2, 6 ] ], [ 1, 33, [ 2, 13 ] ], [ 2, 25, [ 1, 9 ] ], [ 2, 27, [ 4, 10 ] ],
[ 3, 25, [ 1, 9 ] ], [ 3, 32, [ 2, 6 ] ], [ 3, 33, [ 1, 5 ] ], [ 4, 25, [ 1, 10 ] ], [ 5, 25, [ 3, 6 ] ],
[ 7, 25, [ 2, 3 ] ], [ 7, 27, [ 4, 4 ] ], [ 7, 32, [ 3, 5 ] ], [ 7, 33, [ 4, 10 ] ], [ 8, 27, [ 4, 13 ] ],
[ 9, 25, [ 3, 13 ] ], [ 9, 27, [ 4, 5 ] ], [ 10, 25, [ 1, 5 ] ], [ 11, 27, [ 4, 8 ] ], [ 12, 24, [ 4, 9 ] ],
[ 12, 25, [ 6, 16, 2, 19 ] ], [ 12, 28, [ 1, 4 ] ], [ 12, 29, [ 3, 5 ] ], [ 12, 32, [ 4, 2, 2, 3 ] ],
[ 12, 33, [ 1, 7 ] ], [ 12, 34, [ 4, 10 ] ], [ 13, 27, [ 4, 6 ] ], [ 14, 25, [ 1, 8 ] ], [ 14, 28, [ 1, 6 ] ],
[ 14, 33, [ 1, 13 ] ], [ 15, 25, [ 3, 1 ] ], [ 15, 27, [ 1, 2, 4, 3 ] ], [ 15, 28, [ 2, 5 ] ], [ 15, 32, [ 2, 13 ] ],
[ 15, 33, [ 3, 9 ] ], [ 16, 24, [ 1, 13 ] ], [ 16, 25, [ 4, 15, 6, 17, 5, 23 ] ], [ 16, 27, [ 4, 7, 5, 22 ] ],
[ 16, 28, [ 3, 10, 5, 17 ] ], [ 16, 29, [ 2, 6 ] ], [ 16, 32, [ 4, 9, 5, 18 ] ], [ 16, 33, [ 2, 2, 2, 3 ] ],
[ 16, 34, [ 1, 5 ] ], [ 17, 25, [ 2, 1, 4, 14 ] ], [ 17, 27, [ 4, 2 ] ], [ 17, 28, [ 1, 5 ] ], [ 17, 33, [ 1, 9 ] ],
[ 18, 25, [ 4, 11 ] ], [ 18, 27, [ 4, 1 ] ], [ 18, 28, [ 2, 13 ] ], [ 18, 33, [ 4, 8 ] ], [ 19, 24, [ 3, 13 ] ],
[ 19, 25, [ 1, 15, 2, 17 ] ], [ 19, 28, [ 1, 10 ] ], [ 19, 29, [ 1, 6 ] ], [ 19, 32, [ 3, 9 ] ],
[ 19, 33, [ 1, 2, 1, 3 ] ], [ 19, 34, [ 3, 5 ] ], [ 20, 25, [ 9, 18 ] ], [ 20, 26, [ 3, 6 ] ],
[ 20, 27, [ 4, 15, 9, 17 ] ], [ 20, 31, [ 2, 5 ] ], [ 20, 33, [ 4, 1, 1, 14 ] ], [ 20, 34, [ 3, 13 ] ],
[ 21, 25, [ 2, 18 ] ], [ 21, 26, [ 1, 6 ] ], [ 21, 27, [ 8, 17 ] ], [ 21, 28, [ 1, 9 ] ], [ 21, 31, [ 4, 5 ] ],
[ 21, 32, [ 1, 8 ] ], [ 21, 33, [ 3, 1, 2, 14 ] ], [ 21, 34, [ 1, 13 ] ], [ 22, 24, [ 3, 8 ] ], [ 22, 25, [ 1, 20 ] ],
[ 22, 26, [ 1, 5 ] ], [ 22, 27, [ 8, 16, 1, 19 ] ], [ 22, 28, [ 4, 2, 1, 3 ] ], [ 22, 29, [ 3, 13 ] ],
[ 22, 31, [ 4, 10 ] ], [ 22, 32, [ 2, 14 ] ], [ 22, 33, [ 4, 15, 1, 17 ] ], [ 23, 25, [ 5, 21 ] ], [ 23, 26, [ 3, 13 ] ],
[ 23, 27, [ 9, 20 ] ], [ 23, 28, [ 2, 1, 4, 14 ] ], [ 23, 31, [ 2, 9 ] ], [ 23, 32, [ 1, 11 ] ], [ 23, 33, [ 1, 18 ] ],
[ 23, 34, [ 1, 8 ] ], [ 24, 26, [ 1, 1, 1, 14 ] ], [ 24, 27, [ 5, 16, 2, 29 ] ], [ 24, 28, [ 7, 20, 2, 21 ] ],
[ 24, 29, [ 3, 11 ] ], [ 24, 30, [ 4, 8 ] ], [ 24, 31, [ 2, 15, 8, 17 ] ], [ 24, 32, [ 5, 21 ] ], [ 24, 33, [ 1, 23 ] ],
[ 24, 34, [ 3, 18 ] ], [ 25, 26, [ 1, 30 ] ], [ 25, 27, [ -1, 33 ] ], [ 25, 28, [ 1, 34 ] ], [ 25, 29, [ 2, 23 ] ],
[ 25, 30, [ 7, 20, 6, 21 ] ], [ 25, 31, [ 5, 16, -2, 26 ] ], [ 25, 32, [ 1, 24 ] ], [ 25, 33, [ 1, 32 ] ],
[ 25, 34, [ 1, 29 ] ], [ 26, 27, [ 4, 12 ] ], [ 26, 28, [ 2, 7 ] ], [ 26, 30, [ 4, 5 ] ], [ 26, 31, [ 1, 4 ] ],
[ 26, 32, [ 4, 15, 7, 17 ] ], [ 26, 33, [ 8, 16, 9, 19 ] ], [ 26, 34, [ 4, 2, 2, 3 ] ], [ 27, 28, [ 1, 31 ] ],
[ 27, 29, [ 7, 22, 5, 23, 1, 30 ] ], [ 27, 30, [ 6, 16, 9, 19 ] ], [ 27, 32, [ 1, 34 ] ], [ 27, 33, [ 1, 28 ] ],
[ 27, 34, [ 1, 26 ] ], [ 28, 29, [ 4, 17, 5, 18 ] ], [ 28, 30, [ 4, 2, 1, 3 ] ], [ 28, 31, [ 5, 19 ] ],
[ 28, 32, [ 7, 22, -3, 30 ] ], [ 28, 33, [ 5, 16, -3, 26 ] ], [ 28, 34, [ 2, 16, 2, 19, 5, 20 ] ], [ 29, 30, [ 4, 13 ] ],
[ 29, 31, [ 2, 2, 4, 3 ] ], [ 29, 32, [ 4, 18 ] ], [ 29, 33, [ 8, 20, 1, 21 ] ], [ 29, 34, [ 4, 1, 3, 14 ] ],
[ 30, 31, [ 4, 10 ] ], [ 30, 32, [ 3, 14 ] ], [ 30, 33, [ 7, 17 ] ], [ 30, 34, [ 4, 9 ] ],
[ 31, 32, [ 4, 16, 4, 19, 5, 20 ] ], [ 31, 33, [ 2, 12, 5, 22 ] ], [ 31, 34, [ 4, 7, 5, 17 ] ],
[ 32, 33, [ 5, 16, 3, 29 ] ], [ 32, 34, [ 1, 20, 6, 21 ] ], [ 33, 34, [ 7, 22, 5, 23 ] ] ];
LRPrivateFunctions.n_engelLR.t42:= [ 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 10, 10, 10, 10, 10, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0 ];
LRPrivateFunctions.n_engelLR.S33:=
[ [ 4, 45, [ 1, 1 ] ], [ 4, 59, [ 1, 29 ] ], [ 5, 45, [ 1, 2 ] ], [ 5, 58, [ 1, 29 ] ], [ 7, 58, [ 1, 1 ] ],
[ 7, 59, [ 1, 2 ] ], [ 9, 45, [ 1, 4 ] ], [ 9, 57, [ 1, 29 ] ], [ 9, 59, [ 1, 3 ] ], [ 10, 45, [ 1, 5 ] ],
[ 10, 56, [ 1, 29 ] ], [ 10, 58, [ 1, 3 ] ], [ 11, 56, [ 1, 1 ] ], [ 11, 57, [ 1, 2 ] ], [ 11, 58, [ 1, 4 ] ],
[ 11, 59, [ 1, 5 ] ], [ 12, 45, [ 1, 6 ] ], [ 12, 57, [ 1, 1 ] ], [ 12, 59, [ 1, 4 ] ], [ 13, 45, [ 1, 7 ] ],
[ 13, 55, [ 1, 29 ] ], [ 13, 57, [ 1, 2 ] ], [ 13, 58, [ 1, 4 ] ], [ 14, 45, [ 1, 8 ] ], [ 14, 56, [ 1, 2 ] ],
[ 14, 58, [ 1, 5 ] ], [ 15, 56, [ 1, 1 ] ], [ 15, 57, [ 1, 2 ] ], [ 15, 58, [ 1, 4 ] ], [ 15, 59, [ 1, 5 ] ],
[ 16, 55, [ 1, 1 ] ], [ 16, 58, [ 1, 6 ] ], [ 16, 59, [ 1, 7 ] ], [ 17, 55, [ 1, 2 ] ], [ 17, 58, [ 1, 7 ] ],
[ 17, 59, [ 1, 8 ] ], [ 19, 45, [ 1, 12 ] ], [ 19, 51, [ 1, 29 ] ], [ 19, 54, [ 1, 1 ] ], [ 19, 59, [ 1, 9 ] ],
[ 22, 45, [ 1, 16 ] ], [ 22, 49, [ 1, 29 ] ], [ 22, 51, [ 1, 2 ] ], [ 22, 52, [ 1, 1 ] ], [ 22, 58, [ 1, 12 ] ],
[ 22, 59, [ 1, 11, 1, 13, 1, 15 ] ], [ 23, 45, [ 1, 14 ] ], [ 23, 48, [ 1, 29 ] ], [ 23, 53, [ 1, 2 ] ],
[ 23, 58, [ 1, 10 ] ], [ 25, 45, [ 1, 15 ] ], [ 25, 50, [ 1, 29 ] ], [ 25, 53, [ 1, 1 ] ], [ 25, 54, [ 1, 2 ] ],
[ 25, 58, [ 1, 9 ] ], [ 25, 59, [ 1, 10 ] ], [ 27, 47, [ 1, 1 ] ], [ 27, 49, [ 1, 2 ] ], [ 27, 58, [ 1, 16 ] ],
[ 27, 59, [ 1, 17 ] ], [ 30, 44, [ 1, 29 ] ], [ 30, 45, [ 1, 25 ] ], [ 30, 50, [ 1, 3 ] ], [ 30, 53, [ 1, 4 ] ],
[ 30, 54, [ 1, 5 ] ], [ 30, 56, [ 1, 9 ] ], [ 30, 57, [ 1, 10 ] ], [ 30, 58, [ 1, 18 ] ], [ 30, 59, [ 1, 21 ] ],
[ 31, 45, [ 1, 26 ] ], [ 31, 46, [ 1, 1 ] ], [ 31, 49, [ 1, 4 ] ], [ 31, 51, [ 1, 7 ] ], [ 31, 52, [ 1, 6 ] ],
[ 31, 55, [ 1, 12 ] ], [ 31, 57, [ 1, 16 ] ], [ 31, 58, [ 1, 20 ] ], [ 31, 59, [ 1, 22 ] ], [ 32, 45, [ 1, 28 ] ],
[ 32, 47, [ 1, 5 ] ], [ 32, 48, [ 1, 7 ] ], [ 32, 50, [ 1, 8 ] ], [ 32, 52, [ 1, 8 ] ], [ 32, 55, [ 1, 14 ] ],
[ 32, 56, [ 1, 17 ] ], [ 32, 58, [ 1, 35, 1, 40 ] ], [ 32, 59, [ 1, 24 ] ], [ 32, 60, [ 1, 2 ] ], [ 33, 45, [ 1, 15 ] ],
[ 33, 50, [ 1, 29 ] ], [ 33, 53, [ 1, 1 ] ], [ 33, 54, [ 1, 2 ] ], [ 33, 58, [ 1, 9 ] ], [ 33, 59, [ 1, 10 ] ],
[ 34, 45, [ 1, 16 ] ], [ 34, 49, [ 1, 29 ] ], [ 34, 51, [ 1, 2 ] ], [ 34, 52, [ 1, 1 ] ], [ 34, 58, [ 1, 12 ] ],
[ 34, 59, [ 1, 11, 1, 13, 1, 15 ] ], [ 35, 45, [ 1, 17 ] ], [ 35, 47, [ 1, 29 ] ], [ 35, 50, [ 1, 2 ] ],
[ 35, 55, [ 1, 5 ] ], [ 35, 56, [ 1, 7 ] ], [ 35, 57, [ 1, 8 ] ], [ 35, 58, [ 1, 11 ] ], [ 36, 44, [ 1, 1 ] ],
[ 36, 45, [ 1, 34 ] ], [ 36, 46, [ 1, 29 ] ], [ 36, 49, [ 1, 3 ] ], [ 36, 50, [ 1, 4 ] ], [ 36, 51, [ 1, 5 ] ],
[ 36, 52, [ 1, 4 ] ], [ 36, 53, [ 1, 6 ] ], [ 36, 54, [ 1, 7 ] ], [ 36, 55, [ 1, 9 ] ], [ 36, 56, [ 1, 12 ] ],
[ 36, 57, [ 1, 11, 1, 13 ] ], [ 36, 59, [ 1, 33 ] ], [ 37, 44, [ 1, 2 ] ], [ 37, 45, [ 1, 35, 5, 43 ] ],
[ 37, 47, [ 1, 3 ] ], [ 37, 48, [ 1, 4 ] ], [ 37, 52, [ 1, 5 ] ], [ 37, 53, [ 1, 7 ] ], [ 37, 54, [ 1, 8 ] ],
[ 37, 55, [ 1, 10 ] ], [ 37, 56, [ 1, 11, 1, 13, 1, 15 ] ], [ 37, 57, [ 1, 14 ] ], [ 37, 58, [ 1, 33 ] ],
[ 37, 60, [ 1, 29 ] ], [ 38, 44, [ 1, 1 ] ], [ 38, 45, [ 1, 34 ] ], [ 38, 46, [ 1, 29 ] ], [ 38, 49, [ 1, 3 ] ],
[ 38, 50, [ 1, 4 ] ], [ 38, 51, [ 1, 5 ] ], [ 38, 52, [ 1, 4 ] ], [ 38, 53, [ 1, 6 ] ], [ 38, 54, [ 1, 7 ] ],
[ 38, 55, [ 1, 9 ] ], [ 38, 56, [ 1, 12 ] ], [ 38, 57, [ 1, 11, 1, 13 ] ], [ 38, 59, [ 1, 33 ] ], [ 39, 46, [ 1, 2 ] ],
[ 39, 47, [ 1, 4 ] ], [ 39, 48, [ 1, 6 ] ], [ 39, 49, [ 1, 5 ] ], [ 39, 50, [ 1, 7 ] ], [ 39, 51, [ 1, 8 ] ],
[ 39, 55, [ 1, 15 ] ], [ 39, 56, [ 1, 16 ] ], [ 39, 57, [ 1, 17 ] ], [ 39, 58, [ 1, 34 ] ], [ 39, 59, [ 1, 35, 5, 43 ] ],
[ 39, 60, [ 1, 1 ] ], [ 40, 48, [ 1, 1 ] ], [ 40, 52, [ 1, 2 ] ], [ 40, 55, [ 1, 5 ] ], [ 40, 56, [ 1, 7 ] ],
[ 40, 57, [ 1, 8 ] ], [ 40, 58, [ 1, 13 ] ], [ 40, 59, [ 1, 14 ] ], [ 41, 50, [ 1, 1 ] ], [ 41, 51, [ 1, 2 ] ],
[ 41, 52, [ 1, 1 ] ], [ 41, 55, [ 1, 4 ] ], [ 41, 56, [ 1, 6 ] ], [ 41, 57, [ 1, 7 ] ], [ 41, 58, [ 1, 12 ] ],
[ 41, 59, [ 1, 13, 1, 15 ] ], [ 42, 45, [ 1, 13 ] ], [ 42, 52, [ 1, 29 ] ], [ 42, 53, [ 1, 1 ] ], [ 42, 55, [ 1, 3 ] ],
[ 42, 56, [ 1, 4 ] ], [ 42, 57, [ 1, 5 ] ], [ 42, 59, [ 1, 10 ] ], [ 43, 48, [ 1, 1 ] ], [ 43, 52, [ 1, 2 ] ],
[ 43, 55, [ 1, 5 ] ], [ 43, 56, [ 1, 7 ] ], [ 43, 57, [ 1, 8 ] ], [ 43, 58, [ 1, 13 ] ], [ 43, 59, [ 1, 14 ] ],
[ 44, 45, [ 1, 27 ] ], [ 44, 47, [ 1, 4 ] ], [ 44, 48, [ 1, 6 ] ], [ 44, 50, [ 1, 7 ] ], [ 44, 52, [ 1, 7 ] ],
[ 44, 55, [ 1, 11, 1, 13 ] ], [ 44, 57, [ 1, 17 ] ], [ 44, 58, [ 1, 22, 7, 41 ] ], [ 44, 59, [ 1, 40, 2, 43 ] ],
[ 44, 60, [ 1, 1 ] ], [ 45, 46, [ 1, 35, 8, 43 ] ], [ 45, 47, [ 1, 38, -3, 60 ] ], [ 45, 48, [ 1, 31 ] ],
[ 45, 49, [ 1, 37, -3, 46 ] ], [ 45, 50, [ 1, 44 ] ], [ 45, 51, [ 1, 32 ] ], [ 45, 52, [ 1, 39, 2, 44 ] ],
[ 45, 55, [ 1, 52 ] ], [ 45, 56, [ 1, 53 ] ], [ 45, 57, [ 1, 54 ] ], [ 45, 58, [ 1, 56 ] ], [ 45, 59, [ 1, 57 ] ],
[ 45, 60, [ 1, 34, 3, 41 ] ], [ 46, 47, [ 1, 3 ] ], [ 46, 48, [ 1, 4 ] ], [ 46, 50, [ 1, 5 ] ], [ 46, 52, [ 1, 5 ] ],
[ 46, 56, [ 1, 11, 1, 13 ] ], [ 46, 57, [ 1, 14 ] ], [ 46, 58, [ 1, 25, 1, 33, 3, 42 ] ], [ 46, 59, [ 1, 23 ] ],
[ 47, 51, [ 1, 10 ] ], [ 47, 52, [ 1, 9 ] ], [ 47, 53, [ 1, 12 ] ], [ 47, 54, [ 1, 13 ] ], [ 47, 55, [ 1, 18 ] ],
[ 47, 56, [ 1, 19 ] ], [ 47, 57, [ 1, 25, 1, 42 ] ], [ 47, 59, [ 1, 30 ] ], [ 48, 49, [ 1, 9 ] ], [ 48, 50, [ 1, 12 ] ],
[ 48, 51, [ 1, 11 ] ], [ 48, 54, [ 1, 16 ] ], [ 48, 55, [ 1, 19 ] ], [ 48, 56, [ 1, 20 ] ],
[ 48, 57, [ 1, 22, 1, 34, 1, 41 ] ], [ 48, 59, [ 1, 36, 1, 38, -3, 60 ] ], [ 49, 50, [ 1, 10 ] ], [ 49, 52, [ 1, 10 ] ],
[ 49, 53, [ 1, 13, 1, 15 ] ], [ 49, 54, [ 1, 14 ] ], [ 49, 55, [ 1, 21 ] ], [ 49, 56, [ 9, 42 ] ], [ 49, 57, [ 1, 23 ] ],
[ 49, 58, [ 1, 30 ] ], [ 49, 60, [ 1, 3 ] ], [ 50, 51, [ 1, 14 ] ], [ 50, 52, [ 1, 11, 1, 15 ] ], [ 50, 53, [ 1, 16 ] ],
[ 50, 55, [ 1, 33, 7, 42 ] ], [ 50, 56, [ 1, 22, 6, 41 ] ], [ 50, 57, [ 1, 35, 1, 40, 7, 43 ] ],
[ 50, 58, [ 1, 36, 1, 60 ] ], [ 50, 59, [ 1, 36, 1, 37, 1, 38, -2, 46 ] ], [ 51, 53, [ 1, 17 ] ], [ 51, 55, [ 1, 23 ] ],
[ 51, 56, [ 1, 40, 4, 43 ] ], [ 51, 57, [ 1, 24 ] ], [ 51, 58, [ 1, 36, 1, 38, 3, 46 ] ], [ 51, 60, [ 1, 5 ] ],
[ 52, 53, [ 1, 16 ] ], [ 52, 54, [ 1, 17 ] ], [ 52, 55, [ 1, 25, 4, 42 ] ], [ 52, 56, [ 3, 41 ] ], [ 52, 57, [ 3, 43 ] ],
[ 52, 58, [ -1, 60 ] ], [ 52, 59, [ -1, 46 ] ], [ 52, 60, [ 1, 4 ] ], [ 53, 55, [ 1, 34, 1, 41 ] ],
[ 53, 56, [ 1, 26 ] ], [ 53, 57, [ 1, 27 ] ], [ 53, 58, [ 1, 31 ] ], [ 53, 59, [ 1, 36, 1, 38, 1, 39, 3, 44 ] ],
[ 54, 55, [ 1, 35, 6, 43 ] ], [ 54, 56, [ 1, 27 ] ], [ 54, 57, [ 1, 28 ] ], [ 54, 58, [ 1, 36, 1, 38, -3, 44 ] ],
[ 54, 59, [ 1, 32 ] ], [ 55, 56, [ 1, 38, 4, 60 ] ], [ 55, 57, [ 1, 37, 4, 46 ] ], [ 55, 58, [ -1, 47 ] ],
[ 55, 59, [ -1, 49 ] ], [ 56, 57, [ 1, 36, 1, 38, 1, 39, -4, 44 ] ], [ 56, 58, [ -1, 48 ] ], [ 56, 59, [ -1, 50 ] ],
[ 56, 60, [ 1, 12 ] ], [ 57, 58, [ -1, 50, 1, 52 ] ], [ 57, 59, [ -1, 51 ] ], [ 57, 60, [ 1, 11, 1, 13, 1, 15 ] ],
[ 58, 59, [ -1, 55 ] ], [ 58, 60, [ 1, 19 ] ], [ 59, 60, [ 1, 33, 3, 42 ] ] ];
LRPrivateFunctions.n_engelLR.t33:= [ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ];
LRPrivateFunctions.n_engelLR.t43:= [ 5, 5, 5, 5, 5, 5, 5, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10,
10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10,
10, 10, 10, 10, 10, 10, 10, 20, 20, 60, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ];
LRPrivateFunctions.n_engelLR.S43:=
[ [ 8, 95, [ 5, 36, 5, 38 ] ], [ 8, 121, [ 5, 17, 5, 18, 5, 27, 5, 28, 10, 49 ] ],
[ 8, 125, [ 5, 10, 5, 27, 5, 37, 10, 49 ] ],
[ 9, 95, [ 1, 6, 2, 10, 4, 11, 8, 13, 5, 16, 4, 29, 4, 33, 4, 35, 4, 38, 4, 42, 8, 44, 2, 45, 8, 46, 4, 48, 16, 49, 36,
51 ] ], [ 9, 121, [ 4, 7, 6, 17, 2, 18, 8, 28, 8, 29, 5, 35, 5, 36, 5, 48 ] ],
[ 9, 125, [ 6, 10, 2, 13, 5, 15, 8, 27, 5, 31, 4, 35, 8, 36, 6, 37, 8, 38, 6, 39, 8, 40, 6, 42, 8, 45, 4, 48, 16, 49,
10, 50 ] ], [ 12, 95, [ 5, 27, 5, 37 ] ], [ 12, 121, [ 5, 22 ] ], [ 12, 125, [ 5, 23 ] ], [ 13, 95, [ 5, 21 ] ],
[ 13, 121, [ 5, 20 ] ], [ 13, 125, [ 5, 29, 5, 32 ] ], [ 14, 95, [ 5, 25 ] ], [ 14, 121, [ 5, 15, 5, 16, 5, 31, 5, 41 ] ]
, [ 14, 125, [ 5, 24 ] ], [ 26, 95, [ 2, 12, 6, 14, 6, 15, 5, 16, 2, 28, 6, 31, 2, 33, 2, 36, 2, 38, 5, 41, 10, 50 ] ],
[ 26, 121, [ 4, 5, 2, 35, 9, 36 ] ], [ 26, 125, [ 1, 15, 2, 19 ] ],
[ 34, 95, [ 2, 10, 8, 13, 5, 28, 5, 33, 8, 35, 4, 36, 4, 38, 4, 42, 2, 45, 2, 48, 16, 49 ] ],
[ 34, 121, [ 4, 7, 9, 17, 9, 18, 9, 28 ] ], [ 34, 125, [ 9, 37, 8, 40, 2, 48, 18, 49 ] ],
[ 43, 95, [ 4, 4, 6, 15, 9, 16, 4, 29, 1, 30, 6, 31, 8, 33, 9, 41, 6, 42, 8, 46, 4, 47, 6, 50, 36, 51 ] ],
[ 43, 121, [ 4, 6, 4, 17, 6, 18, 9, 29, 2, 35, 9, 36, 2, 46, 54, 51 ] ],
[ 43, 125, [ 4, 12, 6, 13, 6, 14, 9, 15, 6, 27, 6, 31, 4, 37, 4, 39, 6, 42, 3, 45, 8, 47, 7, 48, 2, 49, 12, 50 ] ],
[ 46, 95, [ 5, 28, 2, 29, 5, 32, 9, 33, 4, 46, 18, 51 ] ], [ 46, 121, [ 7, 17, 3, 18 ] ],
[ 46, 125, [ 8, 13, 8, 27, 7, 37, 7, 39, 4, 42, 7, 45 ] ],
[ 47, 95, [ 1, 4, 4, 15, 5, 16, 5, 28, 2, 29, 4, 31, 5, 32, 9, 33, 1, 41, 4, 42, 4, 46, 6, 47, 14, 50, 18, 51 ] ],
[ 47, 121, [ 7, 17, 3, 18, 8, 35, 1, 36 ] ],
[ 47, 125, [ 6, 12, 8, 13, 4, 14, 1, 15, 8, 27, 4, 31, 7, 37, 7, 39, 4, 42, 7, 45, 2, 47, 8, 50 ] ],
[ 50, 95, [ 1, 4, 4, 15, 5, 16, 5, 28, 2, 29, 4, 31, 5, 32, 9, 33, 1, 41, 4, 42, 4, 46, 6, 47, 14, 50, 18, 51 ] ],
[ 50, 121, [ 7, 17, 3, 18, 8, 35, 1, 36 ] ],
[ 50, 125, [ 6, 12, 8, 13, 4, 14, 1, 15, 8, 27, 4, 31, 7, 37, 7, 39, 4, 42, 7, 45, 2, 47, 8, 50 ] ],
[ 51, 95, [ 5, 28, 4, 29, 5, 32, 3, 33, 8, 46, 6, 51 ] ], [ 51, 121, [ 9, 17, 1, 18 ] ],
[ 51, 125, [ 6, 13, 6, 27, 9, 37, 9, 39, 8, 42, 9, 45 ] ],
[ 52, 95, [ 4, 6, 8, 11, 6, 29, 5, 30, 2, 32, 2, 35, 2, 36, 8, 48, 2, 78, 1, 120, -1, 123 ] ],
[ 52, 121, [ 9, 29, 1, 33, 1, 46, 57, 51, -1, 86, 1, 117 ] ],
[ 52, 125, [ 9, 39, 9, 48, -2, 65, 6, 70, -5, 87, -3, 93, 2, 118 ] ],
[ 53, 95, [ 8, 10, 2, 13, 5, 28, 5, 33, 1, 35, 5, 36, 8, 38, 7, 39, 6, 42, 8, 45, 4, 49, 1, 70, -1, 87, -1, 93, 1, 118 ]
], [ 53, 121, [ -1, 62 ] ], [ 53, 125, [ -1, 99 ] ], [ 54, 61, [ 3, 20, 5, 21 ] ],
[ 54, 72, [ 1, 6, 6, 11, 5, 30, 4, 32, 9, 35, 9, 36, 4, 46, 1, 48, 48, 51, -2, 78, -1, 120, 3, 123 ] ],
[ 54, 77, [ 9, 46, 3, 51, 1, 86, -1, 117 ] ], [ 54, 95, [ -1, 85 ] ], [ 54, 121, [ -1, 71 ] ], [ 54, 125, [ -1, 107 ] ],
[ 56, 61, [ 1, 21 ] ], [ 56, 72, [ 1, 30 ] ],
[ 56, 77, [ 4, 6, 4, 29, 5, 32, 8, 44, 4, 46, 8, 48, 48, 51, -4, 78, -2, 120, 6, 123 ] ], [ 56, 121, [ 5, 13, 2, 85 ] ],
[ 56, 125, [ 9, 43, 9, 46, 9, 47, 2, 51, 2, 101 ] ],
[ 57, 95, [ 2, 10, 8, 13, 7, 35, 7, 36, 3, 38, 9, 39, 4, 42, 2, 45, 9, 48, 16, 49, 5, 65, -11, 70, 9, 87, 5, 93 ] ],
[ 57, 121, [ 4, 7, 9, 17, 9, 18, 1, 27, 9, 28, -1, 60, 2, 62 ] ], [ 57, 125, [ -1, 91 ] ],
[ 58, 61, [ 2, 53, -1, 57, -1, 105 ] ], [ 58, 66, [ 2, 15, 9, 19 ] ], [ 58, 72, [ 9, 26, 2, 90, 1, 106 ] ],
[ 58, 73, [ 1, 5, 6, 8, 5, 10, 1, 27, 6, 35, 2, 36, 1, 37, 9, 40, 1, 48, 19, 49, 3, 89, -1, 91, 1, 99 ] ],
[ 58, 77, [ 5, 12, 3, 124 ] ], [ 58, 95, [ 2, 80, -1, 100, -1, 126 ] ],
[ 58, 96, [ 1, 5, 6, 8, 6, 27, 6, 35, 2, 36, 8, 40, 2, 48, 8, 49, 2, 91, 1, 99 ] ],
[ 58, 103, [ 9, 36, 9, 38, 1, 48, -1, 70, 1, 87, 3, 93, -2, 118 ] ],
[ 58, 114, [ 1, 7, 6, 13, 6, 17, 6, 18, 9, 27, 6, 28, 4, 37, 9, 39, 8, 42, 9, 45, 8, 48, 2, 49, 1, 60, 1, 62, 2, 88 ] ],
[ 58, 115, [ 4, 14, 7, 15, 1, 28, 9, 31, 1, 33, 1, 36, 1, 38, 2, 47, 18, 50, -2, 102, -1, 113 ] ],
[ 58, 116, [ 3, 22, 3, 83 ] ], [ 58, 121, [ -1, 81 ] ], [ 58, 125, [ -1, 67 ] ], [ 59, 61, [ 9, 17, 3, 18, 5, 28 ] ],
[ 59, 72, [ 7, 27, 2, 60 ] ], [ 59, 77, [ 2, 2, 5, 22 ] ],
[ 59, 95, [ 5, 26, 5, 34, 9, 46, 5, 47, 42, 51, 2, 97, -2, 110 ] ], [ 59, 125, [ 5, 12, 2, 104 ] ],
[ 61, 64, [ 9, 16 ] ], [ 61, 66, [ 5, 9, 3, 46, 54, 51, -3, 68, -3, 97, -1, 109, -4, 131, 2, 132 ] ],
[ 61, 67, [ 2, 5, 2, 8, 2, 27, 2, 35, 4, 36, 5, 37, 6, 40, 4, 48, 16, 49, 2, 91 ] ],
[ 61, 69, [ 4, 6, 2, 11, 7, 29, 8, 32, 3, 35, 3, 36, 4, 46, 7, 48, 48, 51, -1, 78, 1, 123 ] ],
[ 61, 72, [ -1, 69, 1, 76 ] ], [ 61, 73, [ -1, 52, 1, 92 ] ],
[ 61, 75, [ 7, 29, 9, 33, 9, 46, 3, 51, 2, 55, 1, 86, -1, 117 ] ], [ 61, 76, [ 1, 78, -1, 120 ] ],
[ 61, 77, [ -1, 79, 1, 127 ] ], [ 61, 79, [ 8, 28, 3, 29, 9, 33, 30, 51, 1, 55, 1, 86, -1, 117 ] ],
[ 61, 80, [ 6, 10, 4, 13, 5, 28, 5, 33, 4, 35, 9, 36, 5, 38, 3, 39, 2, 42, 6, 45, 2, 48, 8, 49, 1, 118 ] ],
[ 61, 81, [ 1, 7, 6, 13, 1, 17, 1, 18, 3, 27, 1, 28, 4, 37, 9, 39, 8, 42, 9, 45, 6, 48, 14, 49, 1, 60 ] ],
[ 61, 95, [ -1, 103 ] ], [ 61, 96, [ 8, 9, 5, 26, 7, 34, 5, 43, 1, 46, 18, 51, -4, 52, -2, 63, -3, 107 ] ],
[ 61, 98, [ 1, 41, 1, 45, 3, 48, 18, 49, -4, 122, 3, 128, 1, 129 ] ],
[ 61, 100, [ 1, 35, 8, 36, 1, 48, -14, 65, 24, 70, -19, 87, -9, 93, -3, 118 ] ], [ 61, 103, [ 5, 13, -3, 85 ] ],
[ 61, 108, [ 3, 1, 5, 20 ] ], [ 61, 111, [ 5, 15, 7, 31, -2, 94, -2, 102, -2, 113 ] ], [ 61, 114, [ 5, 13, 3, 71 ] ],
[ 61, 115, [ 5, 9, 5, 26, 4, 43, 9, 46, 9, 47, 2, 51, -2, 82, -1, 101 ] ],
[ 61, 116, [ 5, 26, 5, 34, 8, 46, 5, 47, 44, 51, 3, 97, -2, 110 ] ], [ 61, 121, [ -1, 114 ] ], [ 61, 125, [ -1, 96 ] ],
[ 61, 126, [ 2, 10, 8, 13, 8, 35, 6, 36, 3, 38, 9, 39, 4, 42, 2, 45, 8, 48, 16, 49, 4, 65, -6, 70, 5, 87, 3, 93, 2, 118
] ], [ 61, 127, [ 5, 28, 9, 29, 5, 32, 3, 33, 9, 46, 3, 51, -3, 55 ] ],
[ 61, 133, [ 2, 6, 2, 11, 7, 32, 8, 35, 8, 36, 8, 46, 2, 48, 6, 51, -3, 78, 3, 123 ] ], [ 63, 95, [ -1, 120 ] ],
[ 63, 121, [ 9, 33, 9, 46, 3, 51, -1, 55, 1, 86, -1, 117 ] ], [ 63, 125, [ -1, 87 ] ], [ 64, 72, [ 1, 25 ] ],
[ 64, 77, [ 1, 4, 4, 15, 5, 16, 4, 31, 7, 41, 2, 45, 6, 48, 16, 49, -8, 122, 6, 128, 2, 129 ] ],
[ 64, 121, [ 5, 9, 5, 26, 6, 43, 1, 46, 1, 47, 58, 51, 2, 82 ] ], [ 64, 125, [ 5, 14, 2, 112 ] ],
[ 66, 72, [ 5, 14, -3, 74 ] ],
[ 66, 73, [ 2, 14, 6, 15, 5, 16, 3, 28, 3, 31, 3, 33, 3, 36, 3, 38, 5, 41, 5, 47, 15, 50, -3, 113 ] ],
[ 66, 77, [ 9, 26, 1, 90, 2, 106 ] ], [ 66, 95, [ -1, 98 ] ], [ 66, 96, [ 5, 15, 8, 31, -1, 102, -2, 113 ] ],
[ 66, 103, [ 1, 4, 4, 15, 4, 31, 2, 42, 7, 45, 8, 47, 1, 48, 6, 49, 12, 50, -8, 122, 4, 128, 1, 129 ] ],
[ 66, 114, [ 2, 35, 6, 36, -21, 65, 40, 70, -31, 87, -15, 93, -1, 118 ] ], [ 66, 115, [ 7, 24, -3, 130 ] ],
[ 66, 116, [ 4, 5, 2, 8, 2, 27, 8, 35, 1, 36, 9, 37, 8, 40, 2, 48, 18, 49, 3, 89, 1, 91, 2, 99 ] ],
[ 66, 121, [ -1, 100 ] ], [ 66, 125, [ -1, 111 ] ], [ 67, 72, [ 5, 10, 8, 15, 4, 19, 5, 27 ] ], [ 67, 77, [ 1, 23 ] ],
[ 67, 95, [ 5, 8, 7, 26, 5, 34, 5, 46, 5, 47, 10, 51, -2, 90 ] ], [ 67, 121, [ 5, 12, 2, 124 ] ],
[ 68, 95, [ 1, 4, 4, 15, 5, 28, 4, 29, 4, 31, 5, 32, 3, 33, 7, 41, 2, 45, 8, 46, 6, 48, 16, 49, 6, 51, 1, 117, -1, 122,
1, 128, 1, 129 ] ], [ 68, 121, [ 9, 17, 2, 18, 9, 35, 1, 36, 2, 65, -4, 70, 4, 87, 2, 93 ] ],
[ 68, 125, [ 8, 12, 2, 13, 2, 14, 3, 15, 6, 27, 8, 37, 8, 39, 6, 42, 8, 45, 6, 47, 8, 48, 2, 49, 14, 50, 2, 62, -1, 88,
-2, 94, -1, 102, -1, 113 ] ],
[ 69, 72, [ 4, 4, 1, 15, 5, 16, 1, 31, 3, 41, 3, 42, 5, 45, 9, 47, 5, 48, 10, 49, 1, 50, -3, 122, 2, 128, 1, 129 ] ],
[ 69, 77, [ 6, 10, 4, 13, 4, 35, 8, 36, 1, 39, 2, 42, 1, 45, 2, 48, 18, 49, -4, 65, 7, 70, -6, 87, -3, 93 ] ],
[ 69, 95, [ 5, 9, 5, 26, 3, 43, 8, 46, 8, 47, 4, 51, -1, 82 ] ], [ 69, 121, [ -1, 92 ] ], [ 69, 125, [ -1, 131 ] ],
[ 71, 95, [ -1, 119 ] ], [ 71, 121, [ 4, 1 ] ], [ 71, 125, [ -1, 86 ] ], [ 72, 73, [ -1, 109, 1, 131 ] ],
[ 72, 75, [ 7, 35, 4, 36, 6, 48, -1, 65, 1, 70, -2, 118 ] ], [ 72, 76, [ 1, 42, 1, 47, 19, 50, 3, 122, -3, 128 ] ],
[ 72, 77, [ 1, 80, -1, 100 ] ],
[ 72, 79, [ 5, 28, 5, 33, 9, 35, 1, 36, 5, 38, 7, 39, 5, 45, 10, 49, -1, 70, 1, 87, -1, 118 ] ],
[ 72, 80, [ 6, 12, 2, 14, 5, 16, 7, 28, 6, 31, 7, 33, 7, 36, 7, 38, 5, 41, 7, 47, 3, 50, -1, 94, 1, 113 ] ],
[ 72, 81, [ 2, 5, 4, 8, 5, 10, 9, 27, 8, 35, 1, 36, 1, 37, -1, 91 ] ], [ 72, 95, [ -1, 115 ] ],
[ 72, 96, [ 5, 9, 3, 46, 54, 51, -3, 68, -3, 97, -1, 109, -3, 131, 1, 132 ] ], [ 72, 98, [ 7, 24, 5, 25 ] ],
[ 72, 100, [ 1, 31, 9, 47, 1, 50, 6, 94, 3, 102 ] ], [ 72, 103, [ 1, 43, 1, 46, 1, 47, 58, 51, -1, 82, -2, 101 ] ],
[ 72, 108, [ 1, 29, 2, 33, 2, 46, 54, 51, -2, 86, 2, 117 ] ], [ 72, 111, [ 3, 3, 5, 24 ] ],
[ 72, 114, [ -1, 52, -1, 63, 2, 92 ] ], [ 72, 115, [ 5, 14, -3, 112 ] ],
[ 72, 116, [ 5, 8, 1, 53, 1, 57, 3, 84, 1, 105 ] ], [ 72, 121, [ -1, 73 ] ], [ 72, 125, [ -1, 66 ] ],
[ 72, 126, [ 6, 12, 4, 14, 1, 15, 2, 47, 18, 50, -3, 94, -1, 102, 1, 113 ] ],
[ 72, 127, [ 2, 10, 8, 13, 6, 35, 1, 39, 4, 42, 2, 45, 3, 48, 16, 49, 11, 65, -18, 70, 13, 87, 6, 93, 3, 118 ] ],
[ 72, 133, [ 2, 4, 8, 15, 8, 31, 9, 42, 2, 45, 5, 47, 6, 48, 16, 49, 15, 50, 1, 122, -1, 129 ] ],
[ 73, 77, [ 5, 8, 9, 34, 1, 53, -3, 84, -1, 105 ] ], [ 73, 95, [ -1, 69 ] ],
[ 73, 96, [ 5, 28, 5, 33, 1, 36, 5, 38, 3, 39, 5, 45, 1, 48, 10, 49, 6, 65, -14, 70, 11, 87, 6, 93, -1, 118 ] ],
[ 73, 103, [ 4, 11, 1, 29, 5, 30, 6, 32, 1, 35, 1, 36, 4, 46, 9, 48, 48, 51, -3, 78, -1, 120, 1, 123 ] ],
[ 73, 114, [ 8, 29, 8, 33, 8, 46, 6, 51, 1, 55, 2, 86, -2, 117 ] ],
[ 73, 115, [ 5, 15, 5, 16, 5, 31, 2, 41, 9, 42, 7, 45, 9, 47, 1, 48, 6, 49, 1, 50, 6, 122, -6, 128, -3, 129 ] ],
[ 73, 116, [ 6, 27, 1, 48, 19, 49, 2, 60, -1, 62, 1, 88 ] ], [ 73, 121, [ -1, 75 ] ], [ 73, 125, [ -1, 80 ] ],
[ 74, 95, [ -1, 130 ] ],
[ 74, 121, [ 4, 14, 7, 15, 1, 28, 9, 31, 1, 33, 1, 36, 1, 38, 2, 47, 18, 50, -2, 94, -1, 102, -1, 113 ] ],
[ 74, 125, [ 4, 3 ] ], [ 75, 77, [ 4, 27, 8, 48, 2, 49, -1, 60, 2, 62, -2, 88 ] ], [ 75, 95, [ -1, 52 ] ],
[ 75, 121, [ -1, 110 ] ], [ 75, 125, [ 5, 8, 1, 34, -1, 53, 2, 84, 1, 105 ] ], [ 76, 77, [ -1, 65, 1, 87 ] ],
[ 76, 95, [ -1, 101 ] ], [ 76, 121, [ -1, 63 ] ], [ 76, 125, [ -1, 132 ] ],
[ 77, 79, [ 4, 13, 1, 37, 1, 39, 2, 42, 1, 45, 2, 48, 18, 49, -1, 62, 1, 88 ] ],
[ 77, 80, [ 1, 40, 9, 48, 1, 49, -1, 99 ] ], [ 77, 81, [ 7, 22, 5, 23 ] ], [ 77, 95, [ 1, 73, -1, 96 ] ],
[ 77, 96, [ -1, 53, 1, 57 ] ],
[ 77, 98, [ 6, 14, 3, 15, 9, 28, 1, 31, 9, 33, 9, 36, 9, 38, 8, 47, 2, 50, 1, 94, 1, 102, 1, 113 ] ],
[ 77, 100, [ 6, 8, 1, 27, 8, 35, 1, 36, 9, 37, 7, 40, 3, 48, 17, 49, 1, 91, 3, 99 ] ],
[ 77, 103, [ 6, 9, 9, 34, 7, 46, 6, 51, -2, 52, -2, 63, 1, 92, -3, 107 ] ], [ 77, 108, [ 4, 17, 4, 18, 5, 28 ] ],
[ 77, 111, [ 9, 15 ] ], [ 77, 114, [ 5, 26, 5, 34, 7, 46, 5, 47, 46, 51, 3, 97, -1, 110 ] ],
[ 77, 115, [ 5, 9, 3, 46, 9, 47, 54, 51, -1, 109, -1, 131, -1, 132 ] ], [ 77, 116, [ 5, 12, 3, 104 ] ],
[ 77, 121, [ -1, 116 ] ], [ 77, 125, [ -1, 58 ] ],
[ 77, 126, [ 4, 5, 4, 8, 4, 27, 4, 35, 8, 36, 2, 40, 8, 48, 12, 49, -1, 91, -2, 99 ] ],
[ 77, 127, [ 4, 7, 4, 17, 4, 18, 5, 27, 4, 28, 8, 48, 12, 49, -1, 60, 3, 62, -3, 88 ] ],
[ 77, 133, [ 1, 36, 4, 65, -9, 70, 8, 87, 3, 93 ] ],
[ 79, 95, [ 2, 9, 5, 26, 8, 34, 5, 43, 4, 46, 12, 51, -2, 52, -1, 63, -1, 107 ] ], [ 79, 121, [ -1, 97 ] ],
[ 79, 125, [ -1, 53 ] ], [ 80, 95, [ -1, 109 ] ], [ 80, 121, [ -1, 84 ] ], [ 80, 125, [ -1, 106 ] ],
[ 81, 95, [ 9, 34, 1, 57, 1, 84, 1, 105 ] ], [ 81, 121, [ -1, 104 ] ], [ 81, 125, [ -1, 124 ] ],
[ 82, 95, [ 5, 11, 6, 16, 7, 30 ] ],
[ 82, 121, [ 3, 6, 8, 11, 2, 32, 2, 35, 2, 36, 2, 46, 8, 48, 54, 51, 1, 78, -2, 123 ] ],
[ 82, 125, [ 3, 4, 2, 15, 2, 31, 1, 42, 8, 45, 5, 47, 4, 48, 4, 49, 5, 50, -1, 122 ] ],
[ 84, 95, [ 6, 10, 4, 13, 5, 28, 5, 33, 1, 35, 3, 36, 5, 38, 3, 39, 2, 42, 6, 45, 8, 48, 8, 49, -1, 65, -1, 118 ] ],
[ 84, 121, [ 9, 48, 1, 49, 1, 62, -1, 88 ] ], [ 84, 125, [ -1, 89 ] ], [ 85, 95, [ 8, 21 ] ],
[ 85, 121, [ 3, 20, 5, 21, -1, 119 ] ], [ 85, 125, [ 9, 44, 1, 46, 9, 48, 57, 51, -3, 78, -1, 120, 3, 123 ] ],
[ 90, 95, [ 9, 47, 1, 50, 3, 94, 2, 102 ] ],
[ 90, 121, [ 4, 8, 9, 27, 2, 35, 9, 36, 1, 40, 9, 48, 1, 49, -1, 89, -1, 99 ] ], [ 90, 125, [ 9, 19 ] ],
[ 92, 95, [ -1, 123 ] ], [ 92, 121, [ -1, 55 ] ],
[ 92, 125, [ 4, 10, 6, 13, 6, 35, 2, 36, 9, 39, 8, 42, 9, 45, 8, 48, 2, 49, 4, 65, -8, 70, 6, 87, 3, 93 ] ],
[ 95, 96, [ -1, 69, 1, 76, 1, 133 ] ], [ 95, 97, [ 1, 117 ] ], [ 95, 98, [ 1, 112 ] ],
[ 95, 100, [ 9, 47, 3, 68, 3, 97, 3, 131, -2, 132 ] ], [ 95, 101, [ 5, 11, 8, 16, 9, 30 ] ], [ 95, 103, [ 1, 56 ] ],
[ 95, 104, [ 4, 13, 5, 17, 5, 18, 3, 27, 5, 28, 6, 37, 1, 39, 2, 42, 1, 45, 5, 48, 15, 49, -1, 60, 1, 88 ] ],
[ 95, 105, [ 6, 10, 4, 13, 6, 35, 4, 36, 1, 38, 8, 39, 2, 42, 6, 45, 3, 48, 8, 49, -5, 65, 6, 70, -4, 87, -2, 93, -3,
118 ] ], [ 95, 106, [ 4, 12, 8, 14, 5, 16, 3, 28, 4, 31, 3, 33, 3, 36, 3, 38, 5, 41, 3, 47, 17, 50, 1, 94 ] ],
[ 95, 107, [ 1, 6, 6, 11, 5, 30, 4, 32, 9, 35, 9, 36, 1, 44, 3, 46, 2, 48, 51, 51, 1, 78 ] ],
[ 95, 108, [ 5, 13, -2, 71 ] ],
[ 95, 109, [ 5, 16, 8, 41, 8, 42, 6, 45, 2, 47, 8, 48, 8, 49, 8, 50, 1, 122, -2, 128, -1, 129 ] ],
[ 95, 110, [ 4, 29, -2, 55 ] ], [ 95, 111, [ 5, 14, -2, 74 ] ], [ 95, 112, [ 2, 25 ] ], [ 95, 114, [ 1, 54 ] ],
[ 95, 115, [ 1, 64 ] ], [ 95, 116, [ -1, 75, 2, 79, -1, 127 ] ], [ 95, 121, [ -1, 61 ] ],
[ 95, 124, [ 2, 5, 5, 10, 5, 27, 6, 35, 7, 36, 5, 37, 4, 40, 6, 48, 14, 49, -1, 89, 1, 91, -1, 99 ] ],
[ 95, 125, [ -1, 72 ] ], [ 95, 126, [ 5, 9, 6, 46, 1, 47, 8, 51, 1, 68, 1, 97, 1, 109, 1, 131 ] ],
[ 95, 127, [ 1, 52, 1, 63, -2, 92, 1, 107 ] ],
[ 95, 131, [ 1, 4, 4, 15, 5, 16, 4, 31, 3, 41, 6, 42, 4, 45, 4, 47, 2, 48, 12, 49, 6, 50, -2, 122, 2, 128, 1, 129 ] ],
[ 95, 132, [ 1, 128 ] ], [ 95, 133, [ 1, 82 ] ],
[ 96, 103, [ 3, 6, 8, 11, 5, 29, 8, 32, 2, 35, 2, 36, 7, 44, 5, 46, 5, 48, 45, 51, -6, 78, -3, 120, 6, 123 ] ],
[ 96, 114, [ 5, 28, 6, 29, 7, 33, 1, 46, 57, 51, 3, 55, 3, 86 ] ],
[ 96, 115, [ 1, 4, 9, 15, 9, 31, 9, 41, 9, 42, 9, 45, 9, 47, 7, 48, 2, 49, 1, 50, -1, 122, -1, 128, -1, 129 ] ],
[ 96, 116, [ 4, 7, 4, 13, 9, 17, 9, 18, 1, 27, 9, 28, 1, 37, 1, 39, 2, 42, 1, 45, 2, 48, 18, 49, -1, 60, 2, 62, 1, 88 ] ]
, [ 96, 121, [ -1, 79 ] ], [ 96, 125, [ -1, 126 ] ], [ 97, 121, [ 9, 18 ] ],
[ 97, 125, [ 4, 13, 1, 37, 1, 39, 2, 42, 1, 45, 2, 48, 18, 49, -2, 62, 1, 88 ] ],
[ 98, 121, [ 5, 9, 7, 46, 1, 47, 6, 51, 1, 109, 1, 131 ] ], [ 98, 125, [ -1, 74 ] ],
[ 100, 121, [ 9, 34, 2, 53, 1, 57, -1, 84 ] ], [ 100, 125, [ -1, 90 ] ], [ 101, 121, [ -1, 78 ] ],
[ 101, 125, [ 9, 42, 9, 47, 1, 50, -3, 122, 2, 128 ] ], [ 103, 114, [ 3, 20, 3, 119 ] ],
[ 103, 115, [ 5, 11, 4, 16, 1, 30 ] ], [ 103, 116, [ 9, 28, 4, 46, 48, 51, 1, 55, -1, 86, 4, 117 ] ],
[ 103, 121, [ -1, 54 ] ], [ 103, 125, [ -1, 133 ] ], [ 104, 121, [ 4, 2 ] ], [ 104, 125, [ -1, 83 ] ],
[ 105, 121, [ 1, 7, 6, 17, 6, 18, 5, 27, 6, 28, 2, 48, 8, 49, 1, 60, -3, 62, 2, 88 ] ],
[ 105, 125, [ 4, 5, 4, 8, 4, 27, 4, 35, 8, 36, 5, 37, 2, 40, 8, 48, 12, 49, 1, 91, -1, 99 ] ],
[ 106, 121, [ 9, 40, 1, 48, 19, 49, -1, 89, 1, 99 ] ], [ 106, 125, [ 5, 10, 1, 15, 1, 19, 5, 27 ] ],
[ 107, 121, [ 9, 46, 3, 51, -1, 117 ] ], [ 107, 125, [ 9, 38, 1, 48, 4, 65, -10, 70, 9, 87, 5, 93, -2, 118 ] ],
[ 108, 125, [ 5, 26, 5, 34, 6, 46, 5, 47, 48, 51, 2, 97 ] ], [ 109, 121, [ 7, 35, 4, 36, 6, 48, -1, 65, -2, 118 ] ],
[ 109, 125, [ -1, 113 ] ], [ 110, 125, [ 6, 27, 2, 48, 18, 49, -2, 62, 2, 88 ] ], [ 111, 121, [ 9, 26, 2, 106 ] ],
[ 112, 121, [ 9, 41, 9, 45, 7, 48, 2, 49, 3, 122, -3, 128, -1, 129 ] ], [ 112, 125, [ 3, 24, 5, 25, -1, 130 ] ],
[ 114, 115, [ 6, 11, 4, 29, 4, 32, 9, 35, 9, 36, 6, 46, 1, 48, 12, 51, 1, 120, -4, 123 ] ],
[ 114, 116, [ 7, 17, 8, 18 ] ], [ 114, 121, [ -1, 108 ] ], [ 114, 125, [ -1, 127 ] ],
[ 115, 116, [ 9, 48, 3, 65, 1, 70, -1, 87, 2, 118 ] ], [ 115, 121, [ -1, 76 ] ], [ 115, 125, [ -1, 98 ] ],
[ 116, 121, [ -1, 59 ] ], [ 116, 125, [ -1, 81 ] ], [ 121, 124, [ 7, 22, 5, 23, 1, 83 ] ], [ 121, 125, [ 1, 77 ] ],
[ 121, 126, [ 1, 57 ] ], [ 121, 127, [ 1, 46, 58, 51, 1, 97, -1, 110 ] ], [ 121, 131, [ 1, 70 ] ],
[ 121, 132, [ 1, 65 ] ], [ 121, 133, [ 6, 9, 9, 34, 7, 46, 6, 51, -2, 52, -2, 63, 1, 92, -2, 107 ] ],
[ 124, 125, [ 8, 23 ] ], [ 125, 126, [ 5, 8, 4, 26, 5, 34, 5, 46, 5, 47, 50, 51, -1, 90, 1, 106 ] ],
[ 125, 127, [ 1, 105 ] ], [ 125, 131, [ 6, 12, 4, 14, 6, 15, 9, 31, 2, 47, 18, 50, -1, 94, -1, 113 ] ],
[ 125, 132, [ 1, 102 ] ], [ 125, 133, [ 9, 46, 1, 47, 2, 51, -2, 68, -2, 97, -1, 131 ] ] ];
LRPrivateFunctions.n_engelLR.t34:=
[ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2, 2, 2, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 40,
40, 40, 40, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0 ];
LRPrivateFunctions.n_engelLR.S34:=
[ [ 3, 497, [ 1, 356 ] ], [ 3, 498, [ 1, 355 ] ], [ 5, 497, [ 1, 357 ] ], [ 5, 504, [ 1, 355 ] ], [ 6, 497, [ 1, 359 ] ],
[ 6, 500, [ 1, 355 ] ], [ 9, 498, [ 1, 357 ] ], [ 9, 504, [ 1, 356 ] ], [ 10, 498, [ 1, 359 ] ], [ 10, 500, [ 1, 356 ] ],
[ 12, 500, [ 1, 357 ] ], [ 12, 504, [ 1, 359 ] ], [ 15, 497, [ 1, 2 ] ], [ 16, 497, [ 1, 3 ] ], [ 16, 498, [ 1, 1 ] ],
[ 16, 537, [ 1, 355 ] ], [ 17, 497, [ 1, 4 ] ], [ 18, 497, [ 1, 5 ] ], [ 18, 504, [ 1, 1 ] ], [ 18, 536, [ 1, 355 ] ],
[ 19, 498, [ 1, 5 ] ], [ 19, 500, [ 1, 2 ] ], [ 19, 504, [ 1, 3 ] ], [ 19, 536, [ 1, 356 ] ], [ 19, 537, [ 1, 357 ] ],
[ 20, 497, [ 1, 6 ] ], [ 20, 500, [ 1, 1 ] ], [ 20, 535, [ 1, 355 ] ], [ 21, 498, [ 1, 6 ] ], [ 21, 500, [ 1, 3 ] ],
[ 21, 504, [ 1, 4 ] ], [ 21, 535, [ 1, 356 ] ], [ 21, 537, [ 1, 359 ] ], [ 22, 497, [ 1, 12 ] ], [ 22, 498, [ 1, 7 ] ],
[ 22, 504, [ 1, 6 ] ], [ 22, 532, [ 1, 355 ] ], [ 22, 535, [ 1, 357 ] ], [ 23, 497, [ 1, 7 ] ], [ 24, 498, [ 1, 2 ] ],
[ 25, 497, [ 1, 8 ] ], [ 25, 498, [ 1, 3 ] ], [ 25, 537, [ 1, 356 ] ], [ 26, 498, [ 1, 4 ] ], [ 27, 504, [ 1, 2 ] ],
[ 28, 497, [ 1, 9 ] ], [ 28, 504, [ 1, 3 ] ], [ 28, 534, [ 1, 355 ] ], [ 28, 537, [ 1, 357 ] ], [ 29, 497, [ 1, 9 ] ],
[ 29, 498, [ 1, 5 ] ], [ 29, 500, [ 1, 2 ] ], [ 29, 534, [ 1, 355 ] ], [ 29, 536, [ 1, 356 ] ], [ 30, 498, [ 1, 6 ] ],
[ 30, 500, [ 1, 3 ] ], [ 30, 535, [ 1, 356 ] ], [ 30, 537, [ 1, 359 ] ], [ 31, 500, [ 1, 4 ] ], [ 32, 497, [ 1, 10 ] ],
[ 32, 498, [ 1, 6 ] ], [ 32, 533, [ 1, 355 ] ], [ 32, 535, [ 1, 356 ] ], [ 33, 500, [ 1, 5 ] ], [ 33, 504, [ 1, 6 ] ],
[ 33, 535, [ 1, 357 ] ], [ 33, 536, [ 1, 359 ] ], [ 34, 497, [ 1, 9 ] ], [ 34, 500, [ 1, 2 ] ], [ 34, 504, [ 1, 3 ] ],
[ 34, 534, [ 1, 355 ] ], [ 34, 537, [ 1, 357 ] ], [ 35, 497, [ 1, 10 ] ], [ 35, 500, [ 1, 3 ] ], [ 35, 504, [ 1, 4 ] ],
[ 35, 533, [ 1, 355 ] ], [ 35, 537, [ 1, 359 ] ], [ 36, 497, [ 1, 11 ] ], [ 36, 504, [ 1, 5 ] ], [ 36, 536, [ 1, 357 ] ],
[ 37, 497, [ 1, 12 ] ], [ 37, 504, [ 1, 6 ] ], [ 37, 532, [ 1, 355 ] ], [ 37, 535, [ 1, 357 ] ], [ 38, 497, [ 1, 13 ] ],
[ 38, 500, [ 1, 6 ] ], [ 38, 535, [ 1, 359 ] ], [ 39, 497, [ 1, 14 ] ], [ 39, 500, [ 1, 9 ] ], [ 39, 504, [ 1, 10 ] ],
[ 39, 533, [ 1, 357 ] ], [ 39, 534, [ 1, 359 ] ], [ 40, 500, [ 1, 5 ] ], [ 40, 504, [ 1, 6 ] ], [ 40, 535, [ 1, 357 ] ],
[ 40, 536, [ 1, 359 ] ], [ 41, 504, [ 1, 7 ] ], [ 42, 500, [ 1, 7 ] ], [ 43, 498, [ 1, 5 ] ], [ 43, 500, [ 1, 2 ] ],
[ 43, 504, [ 1, 3 ] ], [ 43, 536, [ 1, 356 ] ], [ 43, 537, [ 1, 357 ] ], [ 44, 498, [ 1, 9 ] ], [ 44, 504, [ 1, 8 ] ],
[ 44, 534, [ 1, 356 ] ], [ 45, 498, [ 1, 6 ] ], [ 45, 500, [ 1, 3 ] ], [ 45, 504, [ 1, 4 ] ], [ 45, 535, [ 1, 356 ] ],
[ 45, 537, [ 1, 359 ] ], [ 46, 498, [ 1, 10 ] ], [ 46, 500, [ 1, 8 ] ], [ 46, 533, [ 1, 356 ] ], [ 47, 500, [ 1, 9 ] ],
[ 47, 504, [ 1, 10 ] ], [ 47, 533, [ 1, 357 ] ], [ 47, 534, [ 1, 359 ] ], [ 48, 498, [ 1, 7 ] ], [ 48, 500, [ 1, 5 ] ],
[ 48, 504, [ 1, 6 ] ], [ 48, 535, [ 1, 357 ] ], [ 48, 536, [ 1, 359 ] ], [ 49, 498, [ 1, 12 ] ], [ 49, 504, [ 1, 10 ] ],
[ 49, 532, [ 1, 356 ] ], [ 49, 533, [ 1, 357 ] ], [ 50, 498, [ 1, 11 ] ], [ 50, 504, [ 1, 9 ] ], [ 50, 534, [ 1, 357 ] ],
[ 51, 498, [ 1, 12 ] ], [ 51, 500, [ 1, 9 ] ], [ 51, 532, [ 1, 356 ] ], [ 51, 534, [ 1, 359 ] ], [ 52, 498, [ 1, 13 ] ],
[ 52, 500, [ 1, 10 ] ], [ 52, 533, [ 1, 359 ] ], [ 53, 498, [ 1, 14 ] ], [ 54, 500, [ 1, 9 ] ], [ 54, 504, [ 1, 10 ] ],
[ 54, 533, [ 1, 357 ] ], [ 54, 534, [ 1, 359 ] ], [ 55, 500, [ 1, 11 ] ], [ 55, 504, [ 1, 12 ] ],
[ 55, 532, [ 1, 357 ] ], [ 56, 504, [ 1, 14 ] ], [ 57, 500, [ 1, 12 ] ], [ 57, 504, [ 1, 13 ] ], [ 57, 532, [ 1, 359 ] ],
[ 58, 500, [ 1, 14 ] ], [ 59, 497, [ 1, 24 ] ], [ 59, 498, [ 1, 15 ] ], [ 60, 497, [ 1, 25 ] ], [ 60, 498, [ 1, 16 ] ],
[ 60, 525, [ 1, 355 ] ], [ 60, 531, [ 1, 356 ] ], [ 62, 497, [ 1, 25 ] ], [ 62, 498, [ 1, 16 ] ],
[ 62, 525, [ 1, 355 ] ], [ 62, 531, [ 1, 356 ] ], [ 64, 497, [ 1, 26 ] ], [ 64, 498, [ 1, 17 ] ], [ 65, 497, [ 1, 27 ] ],
[ 65, 504, [ 1, 15 ] ], [ 66, 497, [ 1, 28 ] ], [ 66, 498, [ 1, 18 ] ], [ 66, 500, [ 1, 15 ] ], [ 66, 528, [ 1, 355 ] ],
[ 66, 530, [ 1, 356 ] ], [ 66, 534, [ 1, 1 ] ], [ 66, 535, [ 1, 2 ] ], [ 66, 536, [ 1, 3 ] ], [ 66, 537, [ 1, 5 ] ],
[ 67, 497, [ 1, 29 ] ], [ 67, 504, [ 1, 16 ] ], [ 67, 524, [ 1, 355 ] ], [ 67, 528, [ 1, 355 ] ],
[ 67, 531, [ 1, 357 ] ], [ 67, 534, [ 1, 1 ] ], [ 67, 535, [ 1, 2 ] ], [ 67, 536, [ 1, 3 ] ], [ 67, 537, [ 1, 5 ] ],
[ 68, 497, [ 1, 30 ] ], [ 68, 498, [ 1, 20 ] ], [ 68, 500, [ 1, 16 ] ], [ 68, 523, [ 1, 355 ] ], [ 68, 529, [ 1, 356 ] ],
[ 68, 531, [ 1, 359 ] ], [ 69, 497, [ 1, 31 ] ], [ 69, 500, [ 1, 17 ] ], [ 70, 497, [ 1, 32 ] ], [ 70, 500, [ 1, 16 ] ],
[ 70, 504, [ 1, 17 ] ], [ 70, 523, [ 1, 355 ] ], [ 70, 527, [ 1, 355 ] ], [ 70, 531, [ 1, 359 ] ], [ 70, 533, [ 1, 1 ] ],
[ 70, 535, [ 1, 3 ] ], [ 70, 536, [ 1, 4 ] ], [ 70, 537, [ 1, 6 ] ], [ 73, 497, [ 1, 34, 1, 43 ] ],
[ 73, 500, [ 1, 15 ] ], [ 73, 504, [ 1, 16 ] ], [ 73, 524, [ 1, 355 ] ], [ 73, 528, [ 1, 355 ] ],
[ 73, 531, [ 1, 357 ] ], [ 73, 534, [ 1, 1 ] ], [ 73, 535, [ 1, 2 ] ], [ 73, 536, [ 1, 3 ] ], [ 73, 537, [ 1, 5 ] ],
[ 75, 497, [ 1, 35, 1, 45 ] ], [ 75, 500, [ 1, 16 ] ], [ 75, 504, [ 1, 17 ] ], [ 75, 523, [ 1, 355 ] ],
[ 75, 527, [ 1, 355 ] ], [ 75, 531, [ 1, 359 ] ], [ 75, 533, [ 1, 1 ] ], [ 75, 535, [ 1, 3 ] ], [ 75, 536, [ 1, 4 ] ],
[ 75, 537, [ 1, 6 ] ], [ 76, 497, [ 1, 33, 1, 37, 1, 40, 1, 48 ] ], [ 76, 504, [ 1, 20 ] ], [ 76, 526, [ 1, 355 ] ],
[ 76, 529, [ 1, 357 ] ], [ 76, 532, [ 1, 1 ] ], [ 76, 535, [ 1, 5 ] ], [ 76, 536, [ 1, 6 ] ], [ 76, 537, [ 1, 7 ] ],
[ 77, 497, [ 1, 33 ] ], [ 77, 500, [ 1, 18 ] ], [ 77, 504, [ 1, 20 ] ], [ 77, 518, [ 1, 355 ] ], [ 77, 529, [ 1, 357 ] ],
[ 77, 530, [ 1, 359 ] ], [ 79, 497, [ 1, 34 ] ], [ 79, 498, [ 1, 18 ] ], [ 79, 528, [ 1, 355 ] ],
[ 79, 530, [ 1, 356 ] ], [ 79, 534, [ 1, 1 ] ], [ 79, 535, [ 1, 2 ] ], [ 79, 536, [ 1, 3 ] ], [ 79, 537, [ 1, 5 ] ],
[ 80, 497, [ 1, 44 ] ], [ 80, 498, [ 1, 19, 1, 34, 1, 43 ] ], [ 80, 500, [ 1, 24 ] ], [ 80, 504, [ 1, 25 ] ],
[ 80, 522, [ 1, 355 ] ], [ 80, 525, [ 1, 357 ] ], [ 80, 528, [ 1, 356 ] ], [ 81, 497, [ 1, 35 ] ],
[ 81, 498, [ 1, 20 ] ], [ 81, 527, [ 1, 355 ] ], [ 81, 529, [ 1, 356 ] ], [ 81, 533, [ 1, 1 ] ], [ 81, 535, [ 1, 3 ] ],
[ 81, 536, [ 1, 4 ] ], [ 81, 537, [ 1, 6 ] ], [ 82, 497, [ 1, 46 ] ], [ 82, 498, [ 1, 21, 1, 35, 1, 45 ] ],
[ 82, 500, [ 1, 25 ] ], [ 82, 504, [ 1, 26 ] ], [ 82, 521, [ 1, 355 ] ], [ 82, 525, [ 1, 359 ] ],
[ 82, 527, [ 1, 356 ] ], [ 83, 497, [ 1, 36 ] ], [ 83, 504, [ 1, 18 ] ], [ 83, 519, [ 1, 355 ] ],
[ 83, 530, [ 1, 357 ] ], [ 84, 498, [ 1, 36 ] ], [ 84, 500, [ 1, 27 ] ], [ 84, 504, [ 1, 29, 1, 43 ] ],
[ 84, 519, [ 1, 356 ] ], [ 84, 528, [ 1, 357 ] ], [ 84, 532, [ 1, 2 ] ], [ 84, 534, [ 1, 5 ] ], [ 84, 536, [ 1, 9 ] ],
[ 84, 537, [ 1, 11 ] ], [ 86, 497, [ 1, 37 ] ], [ 86, 498, [ 1, 23 ] ], [ 86, 500, [ 1, 18 ] ], [ 86, 518, [ 1, 355 ] ],
[ 86, 526, [ 1, 355 ] ], [ 86, 530, [ 1, 359 ] ], [ 86, 532, [ 1, 1 ] ], [ 86, 535, [ 1, 5 ] ], [ 86, 536, [ 1, 6 ] ],
[ 86, 537, [ 1, 7 ] ], [ 87, 497, [ 1, 38 ] ], [ 87, 500, [ 1, 20 ] ], [ 87, 514, [ 1, 355 ] ], [ 87, 529, [ 1, 359 ] ],
[ 88, 497, [ 1, 39 ] ], [ 88, 498, [ 1, 33, 1, 37 ] ], [ 88, 500, [ 1, 19, 1, 29, 1, 34, 1, 43 ] ],
[ 88, 504, [ 1, 21, 1, 30, 1, 35, 1, 45 ] ], [ 88, 516, [ 1, 355 ] ], [ 88, 523, [ 1, 357 ] ], [ 88, 524, [ 1, 359 ] ],
[ 88, 526, [ 1, 356 ] ], [ 88, 527, [ 1, 357 ] ], [ 88, 532, [ 1, 3 ] ], [ 88, 534, [ 1, 6 ] ], [ 88, 535, [ 1, 9 ] ],
[ 88, 537, [ 1, 12 ] ], [ 89, 497, [ 1, 55 ] ], [ 89, 500, [ 1, 36 ] ], [ 89, 504, [ 1, 22, 1, 48 ] ],
[ 89, 515, [ 1, 355 ] ], [ 89, 519, [ 1, 359 ] ], [ 89, 526, [ 1, 357 ] ], [ 90, 498, [ 1, 38 ] ],
[ 90, 500, [ 1, 30, 1, 32 ] ], [ 90, 504, [ 1, 31 ] ], [ 90, 514, [ 1, 356 ] ], [ 90, 527, [ 1, 359 ] ],
[ 90, 532, [ 1, 4 ] ], [ 90, 533, [ 1, 6 ] ], [ 90, 535, [ 1, 10 ] ], [ 90, 537, [ 1, 13 ] ], [ 91, 497, [ 1, 57 ] ],
[ 91, 498, [ 1, 42 ] ], [ 91, 500, [ 1, 22 ] ], [ 91, 504, [ 1, 38 ] ], [ 91, 512, [ 1, 355 ] ], [ 91, 514, [ 1, 357 ] ],
[ 91, 518, [ 1, 359 ] ], [ 91, 526, [ 1, 359 ] ], [ 93, 497, [ 1, 40 ] ], [ 93, 500, [ 1, 18 ] ], [ 93, 504, [ 1, 20 ] ],
[ 93, 518, [ 1, 355 ] ], [ 93, 529, [ 1, 357 ] ], [ 93, 530, [ 1, 359 ] ], [ 94, 497, [ 1, 41 ] ],
[ 94, 504, [ 1, 23 ] ], [ 95, 497, [ 1, 42 ] ], [ 95, 500, [ 1, 23 ] ], [ 96, 498, [ 1, 27 ] ], [ 96, 504, [ 1, 24 ] ],
[ 97, 498, [ 1, 28, 1, 43 ] ], [ 97, 504, [ 1, 25 ] ], [ 97, 524, [ 1, 356 ] ], [ 97, 525, [ 1, 357 ] ],
[ 97, 528, [ 1, 356 ] ], [ 97, 533, [ 1, 2 ] ], [ 97, 534, [ 1, 3 ] ], [ 97, 536, [ 1, 8 ] ], [ 97, 537, [ 1, 9 ] ],
[ 99, 497, [ 1, 44 ] ], [ 99, 498, [ 1, 19, 1, 29, 1, 34, 1, 43 ] ], [ 99, 500, [ 1, 24 ] ], [ 99, 522, [ 1, 355 ] ],
[ 99, 524, [ 1, 356 ] ], [ 99, 533, [ 1, 2 ] ], [ 99, 534, [ 1, 3 ] ], [ 99, 536, [ 1, 8 ] ], [ 99, 537, [ 1, 9 ] ],
[ 100, 497, [ 1, 46 ] ], [ 100, 498, [ 1, 21, 1, 30, 1, 35 ] ], [ 100, 500, [ 1, 25 ] ], [ 100, 521, [ 1, 355 ] ],
[ 100, 525, [ 1, 359 ] ], [ 100, 527, [ 1, 356 ] ], [ 101, 498, [ 1, 31 ] ], [ 101, 500, [ 1, 26 ] ],
[ 102, 497, [ 1, 46 ] ], [ 102, 498, [ 1, 21, 1, 32, 1, 35, 1, 45 ] ], [ 102, 521, [ 1, 355 ] ],
[ 102, 523, [ 1, 356 ] ], [ 102, 533, [ 1, 3 ] ], [ 102, 534, [ 1, 4 ] ], [ 102, 535, [ 1, 8 ] ],
[ 102, 537, [ 1, 10 ] ], [ 103, 497, [ 1, 50 ] ], [ 103, 498, [ 1, 36 ] ],
[ 103, 504, [ 1, 19, 1, 28, 1, 29, 1, 34, 1, 43 ] ], [ 103, 517, [ 1, 355 ] ], [ 103, 519, [ 1, 356 ] ],
[ 103, 524, [ 1, 357 ] ], [ 103, 528, [ 1, 357 ] ], [ 104, 497, [ 1, 43 ] ], [ 104, 498, [ 1, 18 ] ],
[ 104, 500, [ 1, 15 ] ], [ 104, 504, [ 1, 16 ] ], [ 104, 524, [ 1, 355 ] ], [ 104, 530, [ 1, 356 ] ],
[ 104, 531, [ 1, 357 ] ], [ 105, 497, [ 1, 44 ] ], [ 105, 498, [ 1, 19 ] ], [ 105, 522, [ 1, 355 ] ],
[ 105, 524, [ 1, 356 ] ], [ 105, 533, [ 1, 2 ] ], [ 105, 534, [ 1, 3 ] ], [ 105, 536, [ 1, 8 ] ], [ 105, 537, [ 1, 9 ] ],
[ 106, 498, [ 1, 36 ] ], [ 106, 504, [ 1, 34 ] ], [ 106, 519, [ 1, 356 ] ], [ 106, 528, [ 1, 357 ] ],
[ 106, 532, [ 1, 2 ] ], [ 106, 534, [ 1, 5 ] ], [ 106, 536, [ 1, 9 ] ], [ 106, 537, [ 1, 11 ] ],
[ 107, 497, [ 1, 47, 1, 51, 1, 54 ] ], [ 107, 498, [ 1, 22, 1, 40, 1, 48 ] ], [ 107, 500, [ 1, 19, 1, 28, 1, 43 ] ],
[ 107, 504, [ 1, 30 ] ], [ 107, 518, [ 1, 356 ] ], [ 107, 520, [ 1, 355 ] ], [ 107, 523, [ 1, 357 ] ],
[ 107, 526, [ 1, 356 ] ], [ 107, 528, [ 1, 359 ] ], [ 108, 497, [ 1, 45 ] ], [ 108, 498, [ 1, 20 ] ],
[ 108, 500, [ 1, 16 ] ], [ 108, 504, [ 1, 17 ] ], [ 108, 523, [ 1, 355 ] ], [ 108, 529, [ 1, 356 ] ],
[ 108, 531, [ 1, 359 ] ], [ 109, 497, [ 1, 46 ] ], [ 109, 498, [ 1, 21 ] ], [ 109, 521, [ 1, 355 ] ],
[ 109, 523, [ 1, 356 ] ], [ 109, 533, [ 1, 3 ] ], [ 109, 534, [ 1, 4 ] ], [ 109, 535, [ 1, 8 ] ],
[ 109, 537, [ 1, 10 ] ], [ 110, 497, [ 1, 47 ] ], [ 110, 498, [ 1, 22 ] ], [ 110, 500, [ 1, 34, 1, 43 ] ],
[ 110, 504, [ 1, 32, 1, 35 ] ], [ 110, 516, [ 1, 355 ] ], [ 110, 518, [ 1, 356 ] ], [ 110, 523, [ 1, 357 ] ],
[ 110, 524, [ 1, 359 ] ], [ 110, 526, [ 1, 356 ] ], [ 110, 528, [ 1, 359 ] ], [ 110, 532, [ 1, 3 ] ],
[ 110, 533, [ 1, 5 ] ], [ 110, 536, [ 1, 10 ] ], [ 110, 537, [ 1, 12 ] ], [ 111, 498, [ 1, 38 ] ],
[ 111, 500, [ 1, 32, 1, 45 ] ], [ 111, 514, [ 1, 356 ] ], [ 111, 527, [ 1, 359 ] ], [ 111, 532, [ 1, 4 ] ],
[ 111, 533, [ 1, 6 ] ], [ 111, 535, [ 1, 10 ] ], [ 111, 537, [ 1, 13 ] ], [ 112, 497, [ 1, 49 ] ],
[ 112, 498, [ 1, 37 ] ], [ 112, 500, [ 1, 19, 1, 43 ] ], [ 112, 504, [ 1, 32 ] ], [ 112, 516, [ 1, 355 ] ],
[ 112, 518, [ 1, 356 ] ], [ 112, 520, [ 1, 355 ] ], [ 112, 523, [ 1, 357 ] ], [ 112, 526, [ 1, 356 ] ],
[ 112, 527, [ 1, 357 ] ], [ 113, 497, [ 1, 52 ] ], [ 113, 498, [ 1, 38 ] ], [ 113, 500, [ 1, 21, 1, 32, 1, 45 ] ],
[ 113, 513, [ 1, 355 ] ], [ 113, 514, [ 1, 356 ] ], [ 113, 523, [ 1, 359 ] ], [ 113, 527, [ 1, 359 ] ],
[ 115, 497, [ 1, 48 ] ], [ 115, 498, [ 1, 23 ] ], [ 115, 500, [ 1, 18 ] ], [ 115, 504, [ 1, 20 ] ],
[ 115, 518, [ 1, 355 ] ], [ 115, 529, [ 1, 357 ] ], [ 115, 530, [ 1, 359 ] ], [ 117, 497, [ 1, 49 ] ],
[ 117, 498, [ 1, 33, 1, 37 ] ], [ 117, 500, [ 1, 19, 1, 28, 1, 29, 1, 34 ] ], [ 117, 504, [ 1, 32, 1, 35 ] ],
[ 117, 516, [ 1, 355 ] ], [ 117, 520, [ 1, 355 ] ], [ 117, 523, [ 1, 357 ] ], [ 117, 526, [ 1, 356 ] ],
[ 117, 528, [ 1, 359 ] ], [ 117, 533, [ 1, 5 ] ], [ 117, 534, [ 1, 6 ] ], [ 117, 535, [ 1, 9 ] ],
[ 117, 536, [ 1, 10 ] ], [ 118, 500, [ 1, 36 ] ], [ 118, 504, [ 1, 37, 1, 40, 1, 48 ] ], [ 118, 518, [ 1, 357 ] ],
[ 118, 519, [ 1, 359 ] ], [ 118, 526, [ 1, 357 ] ], [ 118, 532, [ 1, 5 ] ], [ 118, 534, [ 1, 7 ] ],
[ 118, 535, [ 1, 11 ] ], [ 118, 536, [ 1, 12 ] ], [ 119, 500, [ 1, 37, 1, 48 ] ], [ 119, 504, [ 1, 38 ] ],
[ 119, 514, [ 1, 357 ] ], [ 119, 526, [ 1, 359 ] ], [ 119, 532, [ 1, 6 ] ], [ 119, 533, [ 1, 7 ] ],
[ 119, 535, [ 1, 12 ] ], [ 119, 536, [ 1, 13 ] ], [ 120, 497, [ 1, 50 ] ], [ 120, 500, [ 1, 27 ] ],
[ 120, 504, [ 1, 19, 1, 29, 1, 34, 1, 43 ] ], [ 120, 517, [ 1, 355 ] ], [ 120, 524, [ 1, 357 ] ], [ 120, 532, [ 1, 2 ] ],
[ 120, 534, [ 1, 5 ] ], [ 120, 536, [ 1, 9 ] ], [ 120, 537, [ 1, 11 ] ], [ 121, 497, [ 1, 51 ] ],
[ 121, 498, [ 1, 48 ] ], [ 121, 500, [ 1, 29, 1, 43 ] ], [ 121, 504, [ 1, 21, 1, 30, 1, 35, 1, 45 ] ],
[ 121, 518, [ 1, 356 ] ], [ 121, 520, [ 1, 355 ] ], [ 121, 523, [ 1, 357 ] ], [ 121, 527, [ 1, 357 ] ],
[ 121, 528, [ 1, 359 ] ], [ 121, 532, [ 1, 3 ] ], [ 121, 533, [ 1, 5 ] ], [ 121, 536, [ 1, 10 ] ],
[ 121, 537, [ 1, 12 ] ], [ 122, 497, [ 1, 52 ] ], [ 122, 500, [ 1, 21, 1, 30, 1, 32, 1, 35 ] ], [ 122, 504, [ 1, 31 ] ],
[ 122, 513, [ 1, 355 ] ], [ 122, 523, [ 1, 359 ] ], [ 122, 532, [ 1, 4 ] ], [ 122, 533, [ 1, 6 ] ],
[ 122, 535, [ 1, 10 ] ], [ 122, 537, [ 1, 13 ] ], [ 123, 497, [ 1, 53 ] ], [ 123, 498, [ 1, 49 ] ],
[ 123, 500, [ 1, 44 ] ], [ 123, 516, [ 1, 356 ] ], [ 123, 520, [ 1, 356 ] ], [ 123, 522, [ 1, 359 ] ],
[ 123, 532, [ 1, 8 ] ], [ 123, 533, [ 1, 9 ] ], [ 123, 534, [ 1, 10 ] ], [ 123, 537, [ 1, 14 ] ],
[ 124, 497, [ 1, 54 ] ], [ 124, 500, [ 1, 19, 1, 28, 1, 29, 1, 43 ] ], [ 124, 504, [ 1, 21, 1, 32, 1, 35, 1, 45 ] ],
[ 124, 516, [ 1, 355 ] ], [ 124, 523, [ 1, 357 ] ], [ 124, 524, [ 1, 359 ] ], [ 124, 533, [ 1, 5 ] ],
[ 124, 534, [ 1, 6 ] ], [ 124, 535, [ 1, 9 ] ], [ 124, 536, [ 1, 10 ] ], [ 125, 497, [ 1, 55 ] ],
[ 125, 500, [ 1, 36 ] ], [ 125, 504, [ 1, 22, 1, 48 ] ], [ 125, 515, [ 1, 355 ] ], [ 125, 519, [ 1, 359 ] ],
[ 125, 526, [ 1, 357 ] ], [ 126, 497, [ 1, 56 ] ], [ 126, 500, [ 1, 50 ] ], [ 126, 504, [ 1, 51, 1, 54 ] ],
[ 126, 516, [ 1, 357 ] ], [ 126, 517, [ 1, 359 ] ], [ 126, 520, [ 1, 357 ] ], [ 126, 532, [ 1, 9 ] ],
[ 126, 533, [ 1, 11 ] ], [ 126, 534, [ 1, 12 ] ], [ 126, 536, [ 1, 14 ] ], [ 127, 497, [ 1, 57 ] ],
[ 127, 500, [ 1, 22, 1, 40, 1, 48 ] ], [ 127, 504, [ 1, 38 ] ], [ 127, 512, [ 1, 355 ] ], [ 127, 514, [ 1, 357 ] ],
[ 127, 518, [ 1, 359 ] ], [ 127, 526, [ 1, 359 ] ], [ 128, 497, [ 1, 58 ] ], [ 128, 500, [ 1, 51 ] ],
[ 128, 504, [ 1, 52 ] ], [ 128, 513, [ 1, 357 ] ], [ 128, 520, [ 1, 359 ] ], [ 128, 532, [ 1, 10 ] ],
[ 128, 533, [ 1, 12 ] ], [ 128, 534, [ 1, 13 ] ], [ 128, 535, [ 1, 14 ] ], [ 129, 500, [ 1, 36 ] ],
[ 129, 504, [ 1, 33, 1, 37, 1, 48 ] ], [ 129, 518, [ 1, 357 ] ], [ 129, 519, [ 1, 359 ] ], [ 129, 526, [ 1, 357 ] ],
[ 129, 532, [ 1, 5 ] ], [ 129, 534, [ 1, 7 ] ], [ 129, 535, [ 1, 11 ] ], [ 129, 536, [ 1, 12 ] ],
[ 130, 500, [ 1, 33, 1, 37, 1, 40, 1, 48 ] ], [ 130, 504, [ 1, 38 ] ], [ 130, 514, [ 1, 357 ] ],
[ 130, 526, [ 1, 359 ] ], [ 130, 532, [ 1, 6 ] ], [ 130, 533, [ 1, 7 ] ], [ 130, 535, [ 1, 12 ] ],
[ 130, 536, [ 1, 13 ] ], [ 131, 500, [ 1, 41 ] ], [ 131, 504, [ 1, 42 ] ], [ 132, 498, [ 1, 50 ] ],
[ 132, 504, [ 1, 44 ] ], [ 132, 517, [ 1, 356 ] ], [ 132, 522, [ 1, 357 ] ], [ 133, 498, [ 1, 34, 1, 43 ] ],
[ 133, 500, [ 1, 24 ] ], [ 133, 504, [ 1, 25 ] ], [ 133, 524, [ 1, 356 ] ], [ 133, 525, [ 1, 357 ] ],
[ 133, 528, [ 1, 356 ] ], [ 133, 533, [ 1, 2 ] ], [ 133, 534, [ 1, 3 ] ], [ 133, 536, [ 1, 8 ] ], [ 133, 537, [ 1, 9 ] ],
[ 135, 498, [ 1, 50 ] ], [ 135, 504, [ 1, 44 ] ], [ 135, 517, [ 1, 356 ] ], [ 135, 522, [ 1, 357 ] ],
[ 136, 498, [ 1, 35, 1, 45 ] ], [ 136, 500, [ 1, 25 ] ], [ 136, 504, [ 1, 26 ] ], [ 136, 523, [ 1, 356 ] ],
[ 136, 525, [ 1, 359 ] ], [ 136, 527, [ 1, 356 ] ], [ 136, 533, [ 1, 3 ] ], [ 136, 534, [ 1, 4 ] ],
[ 136, 535, [ 1, 8 ] ], [ 136, 537, [ 1, 10 ] ], [ 138, 498, [ 1, 39, 1, 51 ] ], [ 138, 500, [ 1, 44 ] ],
[ 138, 516, [ 1, 356 ] ], [ 138, 520, [ 1, 356 ] ], [ 138, 522, [ 1, 359 ] ], [ 138, 532, [ 1, 8 ] ],
[ 138, 533, [ 1, 9 ] ], [ 138, 534, [ 1, 10 ] ], [ 138, 537, [ 1, 14 ] ], [ 139, 498, [ 1, 52 ] ],
[ 139, 500, [ 1, 46 ] ], [ 139, 513, [ 1, 356 ] ], [ 139, 521, [ 1, 359 ] ], [ 140, 498, [ 1, 39, 1, 51, 1, 54 ] ],
[ 140, 504, [ 1, 46 ] ], [ 140, 520, [ 1, 356 ] ], [ 140, 521, [ 1, 357 ] ], [ 140, 532, [ 1, 8 ] ],
[ 140, 533, [ 1, 9 ] ], [ 140, 534, [ 1, 10 ] ], [ 140, 537, [ 1, 14 ] ], [ 141, 498, [ 1, 52 ] ],
[ 141, 500, [ 1, 46 ] ], [ 141, 513, [ 1, 356 ] ], [ 141, 521, [ 1, 359 ] ], [ 142, 498, [ 1, 36 ] ],
[ 142, 500, [ 1, 27 ] ], [ 142, 504, [ 1, 29, 1, 43 ] ], [ 142, 519, [ 1, 356 ] ], [ 142, 528, [ 1, 357 ] ],
[ 142, 532, [ 1, 2 ] ], [ 142, 534, [ 1, 5 ] ], [ 142, 536, [ 1, 9 ] ], [ 142, 537, [ 1, 11 ] ], [ 143, 498, [ 1, 50 ] ],
[ 143, 504, [ 1, 44 ] ], [ 143, 517, [ 1, 356 ] ], [ 143, 522, [ 1, 357 ] ], [ 145, 498, [ 1, 37, 1, 48 ] ],
[ 145, 500, [ 1, 28, 1, 43 ] ], [ 145, 504, [ 1, 30, 1, 32, 1, 35, 1, 45 ] ], [ 145, 523, [ 1, 357 ] ],
[ 145, 524, [ 1, 359 ] ], [ 145, 526, [ 1, 356 ] ], [ 145, 528, [ 1, 359 ] ], [ 145, 532, [ 1, 3 ] ],
[ 145, 534, [ 1, 6 ] ], [ 145, 535, [ 1, 9 ] ], [ 145, 537, [ 1, 12 ] ], [ 146, 498, [ 1, 38 ] ],
[ 146, 500, [ 1, 30, 1, 32 ] ], [ 146, 504, [ 1, 31 ] ], [ 146, 514, [ 1, 356 ] ], [ 146, 527, [ 1, 359 ] ],
[ 146, 532, [ 1, 4 ] ], [ 146, 533, [ 1, 6 ] ], [ 146, 535, [ 1, 10 ] ], [ 146, 537, [ 1, 13 ] ],
[ 147, 498, [ 1, 39, 1, 49 ] ], [ 147, 504, [ 1, 46 ] ], [ 147, 520, [ 1, 356 ] ], [ 147, 521, [ 1, 357 ] ],
[ 147, 532, [ 1, 8 ] ], [ 147, 533, [ 1, 9 ] ], [ 147, 534, [ 1, 10 ] ], [ 147, 537, [ 1, 14 ] ],
[ 148, 498, [ 1, 55 ] ], [ 148, 500, [ 1, 50 ] ], [ 148, 504, [ 1, 47, 1, 51, 1, 54 ] ], [ 148, 515, [ 1, 356 ] ],
[ 148, 517, [ 1, 359 ] ], [ 148, 520, [ 1, 357 ] ], [ 149, 498, [ 1, 52 ] ], [ 149, 500, [ 1, 46 ] ],
[ 149, 513, [ 1, 356 ] ], [ 149, 521, [ 1, 359 ] ], [ 150, 500, [ 1, 39, 1, 49 ] ], [ 150, 504, [ 1, 52 ] ],
[ 150, 513, [ 1, 357 ] ], [ 150, 520, [ 1, 359 ] ], [ 150, 532, [ 1, 10 ] ], [ 150, 533, [ 1, 12 ] ],
[ 150, 534, [ 1, 13 ] ], [ 150, 535, [ 1, 14 ] ], [ 152, 498, [ 1, 40 ] ], [ 152, 500, [ 1, 28, 1, 29, 1, 34, 1, 43 ] ],
[ 152, 504, [ 1, 32, 1, 45 ] ], [ 152, 518, [ 1, 356 ] ], [ 152, 527, [ 1, 357 ] ], [ 152, 528, [ 1, 359 ] ],
[ 152, 533, [ 1, 5 ] ], [ 152, 534, [ 1, 6 ] ], [ 152, 535, [ 1, 9 ] ], [ 152, 536, [ 1, 10 ] ], [ 153, 498, [ 1, 41 ] ],
[ 153, 500, [ 1, 36 ] ], [ 153, 504, [ 1, 33, 1, 37, 1, 40 ] ], [ 153, 518, [ 1, 357 ] ], [ 153, 519, [ 1, 359 ] ],
[ 153, 526, [ 1, 357 ] ], [ 153, 532, [ 1, 5 ] ], [ 153, 534, [ 1, 7 ] ], [ 153, 535, [ 1, 11 ] ],
[ 153, 536, [ 1, 12 ] ], [ 154, 498, [ 1, 55 ] ], [ 154, 500, [ 1, 50 ] ], [ 154, 504, [ 1, 47, 1, 51, 1, 54 ] ],
[ 154, 515, [ 1, 356 ] ], [ 154, 517, [ 1, 359 ] ], [ 154, 520, [ 1, 357 ] ], [ 155, 498, [ 1, 42 ] ],
[ 155, 500, [ 1, 33, 1, 37 ] ], [ 155, 504, [ 1, 38 ] ], [ 155, 514, [ 1, 357 ] ], [ 155, 526, [ 1, 359 ] ],
[ 155, 532, [ 1, 6 ] ], [ 155, 533, [ 1, 7 ] ], [ 155, 535, [ 1, 12 ] ], [ 155, 536, [ 1, 13 ] ],
[ 156, 498, [ 1, 57 ] ], [ 156, 500, [ 1, 47, 1, 51 ] ], [ 156, 504, [ 1, 52 ] ], [ 156, 512, [ 1, 356 ] ],
[ 156, 513, [ 1, 357 ] ], [ 156, 516, [ 1, 359 ] ], [ 156, 520, [ 1, 359 ] ], [ 158, 498, [ 1, 54 ] ],
[ 158, 500, [ 1, 44 ] ], [ 158, 504, [ 1, 46 ] ], [ 158, 516, [ 1, 356 ] ], [ 158, 521, [ 1, 357 ] ],
[ 158, 522, [ 1, 359 ] ], [ 159, 498, [ 1, 55 ] ], [ 159, 504, [ 1, 39, 1, 47, 1, 49, 1, 51 ] ],
[ 159, 515, [ 1, 356 ] ], [ 159, 516, [ 1, 357 ] ], [ 159, 532, [ 1, 9 ] ], [ 159, 533, [ 1, 11 ] ],
[ 159, 534, [ 1, 12 ] ], [ 159, 536, [ 1, 14 ] ], [ 160, 498, [ 1, 56 ] ], [ 160, 504, [ 1, 53 ] ],
[ 161, 498, [ 1, 57 ] ], [ 161, 500, [ 1, 39, 1, 47, 1, 49, 1, 51 ] ], [ 161, 512, [ 1, 356 ] ],
[ 161, 516, [ 1, 359 ] ], [ 161, 532, [ 1, 10 ] ], [ 161, 533, [ 1, 12 ] ], [ 161, 534, [ 1, 13 ] ],
[ 161, 535, [ 1, 14 ] ], [ 162, 498, [ 1, 58 ] ], [ 162, 500, [ 1, 53 ] ], [ 163, 500, [ 1, 50 ] ],
[ 163, 504, [ 1, 39, 1, 51 ] ], [ 163, 516, [ 1, 357 ] ], [ 163, 517, [ 1, 359 ] ], [ 163, 520, [ 1, 357 ] ],
[ 163, 532, [ 1, 9 ] ], [ 163, 533, [ 1, 11 ] ], [ 163, 534, [ 1, 12 ] ], [ 163, 536, [ 1, 14 ] ],
[ 165, 500, [ 1, 39, 1, 51, 1, 54 ] ], [ 165, 504, [ 1, 52 ] ], [ 165, 513, [ 1, 357 ] ], [ 165, 520, [ 1, 359 ] ],
[ 165, 532, [ 1, 10 ] ], [ 165, 533, [ 1, 12 ] ], [ 165, 534, [ 1, 13 ] ], [ 165, 535, [ 1, 14 ] ],
[ 166, 500, [ 1, 55 ] ], [ 166, 504, [ 1, 57 ] ], [ 166, 512, [ 1, 357 ] ], [ 166, 515, [ 1, 359 ] ],
[ 168, 500, [ 1, 56 ] ], [ 168, 504, [ 1, 58 ] ], [ 170, 497, [ 1, 96 ] ], [ 170, 498, [ 1, 65 ] ],
[ 170, 504, [ 1, 59 ] ], [ 171, 364, [ 1, 357 ] ], [ 171, 444, [ 1, 355 ] ], [ 171, 451, [ 1, 356 ] ],
[ 171, 497, [ 1, 97 ] ], [ 171, 498, [ 1, 66 ] ], [ 171, 504, [ 1, 60 ] ], [ 171, 510, [ 1, 355 ] ],
[ 171, 523, [ 1, 2 ] ], [ 171, 524, [ 1, 3 ] ], [ 171, 530, [ 1, 8 ] ], [ 171, 531, [ 1, 9 ] ], [ 171, 533, [ 1, 15 ] ],
[ 171, 534, [ 1, 16 ] ], [ 171, 537, [ 1, 43 ] ], [ 172, 497, [ 1, 98 ] ], [ 173, 498, [ 1, 98 ] ],
[ 174, 497, [ 1, 99, 1, 133 ] ], [ 174, 498, [ 1, 67, 1, 79 ] ], [ 174, 500, [ 1, 59 ] ], [ 174, 507, [ 1, 356 ] ],
[ 174, 510, [ 1, 355 ] ], [ 174, 522, [ 1, 1 ] ], [ 174, 523, [ 1, 2 ] ], [ 174, 524, [ 1, 3 ] ], [ 174, 525, [ 1, 5 ] ],
[ 174, 527, [ 1, 2 ] ], [ 174, 528, [ 1, 3 ] ], [ 174, 530, [ 1, 8 ] ], [ 174, 531, [ 1, 9 ] ], [ 174, 533, [ 1, 15 ] ],
[ 174, 534, [ 1, 16 ] ], [ 174, 535, [ 1, 24 ] ], [ 174, 536, [ 1, 25 ] ], [ 174, 537, [ 1, 19, 1, 34 ] ],
[ 175, 497, [ 1, 102, 1, 136 ] ], [ 175, 498, [ 1, 70, 1, 81 ] ], [ 175, 500, [ 1, 60, 1, 62, 1, 98 ] ],
[ 175, 505, [ 1, 355 ] ], [ 175, 506, [ 1, 356 ] ], [ 175, 521, [ 1, 1 ] ], [ 175, 523, [ 1, 3 ] ],
[ 175, 524, [ 1, 4 ] ], [ 175, 525, [ 1, 6 ] ], [ 175, 527, [ 1, 3 ] ], [ 175, 528, [ 1, 4 ] ], [ 175, 529, [ 1, 8 ] ],
[ 175, 531, [ 1, 10 ] ], [ 175, 533, [ 1, 16 ] ], [ 175, 534, [ 1, 17 ] ], [ 175, 535, [ 1, 25 ] ],
[ 175, 536, [ 1, 26 ] ], [ 175, 537, [ 1, 21, 1, 35 ] ], [ 176, 364, [ 1, 357 ] ], [ 176, 444, [ 1, 355 ] ],
[ 176, 451, [ 1, 356 ] ], [ 176, 497, [ 1, 99 ] ], [ 176, 498, [ 1, 67 ] ], [ 176, 504, [ 1, 62, 1, 98 ] ],
[ 176, 507, [ 1, 356 ] ], [ 176, 522, [ 1, 1 ] ], [ 176, 525, [ 1, 5 ] ], [ 176, 527, [ 1, 2 ] ], [ 176, 528, [ 1, 3 ] ],
[ 176, 535, [ 1, 24 ] ], [ 176, 536, [ 1, 25 ] ], [ 176, 537, [ 1, 19, 1, 34, 1, 43 ] ], [ 177, 497, [ 1, 100 ] ],
[ 177, 498, [ 1, 68 ] ], [ 177, 500, [ 1, 60, 1, 62, 1, 98 ] ], [ 177, 504, [ 1, 64 ] ], [ 177, 505, [ 1, 355 ] ],
[ 177, 506, [ 1, 356 ] ], [ 177, 521, [ 1, 1 ] ], [ 177, 523, [ 1, 3 ] ], [ 177, 524, [ 1, 4 ] ], [ 177, 525, [ 1, 6 ] ],
[ 177, 527, [ 1, 3 ] ], [ 177, 528, [ 1, 4 ] ], [ 177, 529, [ 1, 8 ] ], [ 177, 531, [ 1, 10 ] ], [ 177, 533, [ 1, 16 ] ],
[ 177, 534, [ 1, 17 ] ], [ 177, 535, [ 1, 25 ] ], [ 177, 536, [ 1, 26 ] ], [ 177, 537, [ 1, 21, 1, 35 ] ],
[ 178, 497, [ 1, 101 ] ], [ 178, 498, [ 1, 69 ] ], [ 178, 500, [ 1, 64 ] ], [ 179, 364, [ 1, 359 ] ],
[ 179, 443, [ 1, 355 ] ], [ 179, 450, [ 1, 356 ] ], [ 179, 497, [ 1, 102 ] ], [ 179, 498, [ 1, 70 ] ],
[ 179, 500, [ 1, 62, 1, 98 ] ], [ 179, 504, [ 1, 64 ] ], [ 179, 506, [ 1, 356 ] ], [ 179, 521, [ 1, 1 ] ],
[ 179, 525, [ 1, 6 ] ], [ 179, 527, [ 1, 3 ] ], [ 179, 528, [ 1, 4 ] ], [ 179, 535, [ 1, 25 ] ], [ 179, 536, [ 1, 26 ] ],
[ 179, 537, [ 1, 21, 1, 35, 1, 45 ] ], [ 180, 497, [ 1, 103 ] ], [ 180, 498, [ 1, 71 ] ], [ 180, 500, [ 1, 65 ] ],
[ 180, 502, [ 1, 355 ] ], [ 180, 504, [ 1, 66, 1, 73 ] ], [ 180, 507, [ 1, 357 ] ], [ 180, 517, [ 1, 1 ] ],
[ 180, 518, [ 1, 2 ] ], [ 180, 519, [ 1, 3 ] ], [ 180, 526, [ 1, 2 ] ], [ 180, 528, [ 1, 5 ] ], [ 180, 530, [ 1, 9 ] ],
[ 180, 531, [ 1, 11 ] ], [ 180, 532, [ 1, 15 ] ], [ 180, 534, [ 1, 18 ] ], [ 180, 535, [ 1, 27 ] ],
[ 180, 536, [ 1, 19, 1, 29 ] ], [ 180, 537, [ 1, 36 ] ], [ 181, 497, [ 1, 104 ] ], [ 181, 498, [ 1, 72 ] ],
[ 181, 504, [ 1, 61 ] ], [ 181, 507, [ 1, 355 ] ], [ 181, 524, [ 1, 1 ] ], [ 181, 529, [ 1, 2 ] ],
[ 181, 530, [ 1, 3 ] ], [ 181, 531, [ 1, 5 ] ], [ 181, 535, [ 1, 15 ] ], [ 181, 536, [ 1, 16 ] ],
[ 181, 537, [ 1, 18 ] ], [ 182, 364, [ 1, 357 ] ], [ 182, 444, [ 1, 355 ] ], [ 182, 451, [ 1, 356 ] ],
[ 182, 497, [ 1, 105 ] ], [ 182, 498, [ 1, 73 ] ], [ 182, 500, [ 1, 59 ] ], [ 182, 504, [ 1, 62, 1, 98 ] ],
[ 182, 507, [ 1, 356 ] ], [ 182, 522, [ 1, 1 ] ], [ 182, 525, [ 1, 5 ] ], [ 182, 527, [ 1, 2 ] ], [ 182, 528, [ 1, 3 ] ],
[ 182, 535, [ 1, 24 ] ], [ 182, 536, [ 1, 25 ] ], [ 182, 537, [ 1, 19, 1, 34, 1, 43 ] ], [ 183, 363, [ 1, 356 ] ],
[ 183, 442, [ 1, 355 ] ], [ 183, 446, [ 1, 355 ] ], [ 183, 451, [ 1, 357 ] ], [ 183, 497, [ 1, 106 ] ],
[ 183, 498, [ 1, 83 ] ], [ 183, 502, [ 1, 355 ] ], [ 183, 504, [ 1, 79, 1, 104 ] ], [ 183, 507, [ 1, 357 ] ],
[ 183, 518, [ 1, 2 ] ], [ 183, 524, [ 1, 5 ] ], [ 183, 530, [ 1, 9 ] ], [ 183, 531, [ 1, 11 ] ], [ 183, 532, [ 1, 15 ] ],
[ 183, 534, [ 1, 18 ] ], [ 183, 536, [ 1, 43 ] ], [ 184, 497, [ 1, 108 ] ], [ 184, 498, [ 1, 74 ] ],
[ 184, 500, [ 1, 61 ] ], [ 184, 506, [ 1, 355 ] ], [ 184, 523, [ 1, 1 ] ], [ 184, 529, [ 1, 3 ] ],
[ 184, 530, [ 1, 4 ] ], [ 184, 531, [ 1, 6 ] ], [ 184, 535, [ 1, 16 ] ], [ 184, 536, [ 1, 17 ] ],
[ 184, 537, [ 1, 20 ] ], [ 185, 364, [ 1, 359 ] ], [ 185, 443, [ 1, 355 ] ], [ 185, 450, [ 1, 356 ] ],
[ 185, 497, [ 1, 109 ] ], [ 185, 498, [ 1, 75 ] ], [ 185, 500, [ 1, 60 ] ], [ 185, 504, [ 1, 64 ] ],
[ 185, 506, [ 1, 356 ] ], [ 185, 521, [ 1, 1 ] ], [ 185, 525, [ 1, 6 ] ], [ 185, 527, [ 1, 3 ] ], [ 185, 528, [ 1, 4 ] ],
[ 185, 535, [ 1, 25 ] ], [ 185, 536, [ 1, 26 ] ], [ 185, 537, [ 1, 21, 1, 35, 1, 45 ] ], [ 186, 362, [ 1, 356 ] ],
[ 186, 439, [ 1, 355 ] ], [ 186, 445, [ 1, 355 ] ], [ 186, 450, [ 1, 359 ] ], [ 186, 497, [ 1, 111 ] ],
[ 186, 498, [ 1, 78, 1, 87 ] ], [ 186, 499, [ 1, 355 ] ], [ 186, 500, [ 1, 70, 1, 75, 1, 81, 1, 108 ] ],
[ 186, 506, [ 1, 359 ] ], [ 186, 518, [ 1, 4 ] ], [ 186, 523, [ 1, 6 ] ], [ 186, 529, [ 1, 10 ] ],
[ 186, 531, [ 1, 13 ] ], [ 186, 532, [ 1, 17 ] ], [ 186, 533, [ 1, 20 ] ], [ 186, 535, [ 1, 45 ] ],
[ 187, 497, [ 1, 113 ] ], [ 187, 498, [ 1, 78 ] ], [ 187, 499, [ 1, 355 ] ], [ 187, 500, [ 1, 68 ] ],
[ 187, 504, [ 1, 69 ] ], [ 187, 506, [ 1, 359 ] ], [ 187, 513, [ 1, 1 ] ], [ 187, 514, [ 1, 3 ] ],
[ 187, 526, [ 1, 4 ] ], [ 187, 527, [ 1, 6 ] ], [ 187, 529, [ 1, 10 ] ], [ 187, 531, [ 1, 13 ] ],
[ 187, 532, [ 1, 17 ] ], [ 187, 533, [ 1, 20 ] ], [ 187, 535, [ 1, 21, 1, 30, 1, 32, 1, 45 ] ], [ 187, 536, [ 1, 31 ] ],
[ 187, 537, [ 1, 38 ] ], [ 188, 497, [ 1, 114 ] ], [ 189, 497, [ 1, 120, 1, 142 ] ], [ 189, 500, [ 1, 65 ] ],
[ 189, 502, [ 1, 355 ] ], [ 189, 504, [ 1, 67, 1, 79 ] ], [ 189, 507, [ 1, 357 ] ], [ 189, 517, [ 1, 1 ] ],
[ 189, 518, [ 1, 2 ] ], [ 189, 519, [ 1, 3 ] ], [ 189, 526, [ 1, 2 ] ], [ 189, 528, [ 1, 5 ] ], [ 189, 530, [ 1, 9 ] ],
[ 189, 531, [ 1, 11 ] ], [ 189, 532, [ 1, 15 ] ], [ 189, 534, [ 1, 18 ] ], [ 189, 535, [ 1, 27 ] ],
[ 189, 536, [ 1, 19, 1, 29 ] ], [ 189, 537, [ 1, 36 ] ], [ 190, 504, [ 1, 114 ] ], [ 191, 363, [ 1, 359 ] ],
[ 191, 435, [ 1, 355 ] ], [ 191, 448, [ 1, 357 ] ], [ 191, 497, [ 1, 118 ] ], [ 191, 500, [ 1, 83 ] ],
[ 191, 504, [ 1, 86, 1, 93 ] ], [ 191, 509, [ 1, 355 ] ], [ 191, 518, [ 1, 5 ] ], [ 191, 524, [ 1, 7 ] ],
[ 191, 529, [ 1, 11 ] ], [ 191, 530, [ 1, 12 ] ], [ 191, 532, [ 1, 18 ] ], [ 191, 534, [ 1, 23 ] ],
[ 191, 536, [ 1, 48 ] ], [ 192, 497, [ 1, 115 ] ], [ 192, 500, [ 1, 72 ] ], [ 192, 501, [ 1, 355 ] ],
[ 192, 504, [ 1, 74 ] ], [ 192, 518, [ 1, 1 ] ], [ 192, 529, [ 1, 5 ] ], [ 192, 530, [ 1, 6 ] ], [ 192, 531, [ 1, 7 ] ],
[ 192, 535, [ 1, 18 ] ], [ 192, 536, [ 1, 20 ] ], [ 192, 537, [ 1, 23 ] ], [ 193, 497, [ 1, 116 ] ],
[ 194, 363, [ 1, 359 ] ], [ 194, 435, [ 1, 355 ] ], [ 194, 448, [ 1, 357 ] ], [ 194, 497, [ 1, 118 ] ],
[ 194, 500, [ 1, 83, 1, 114 ] ], [ 194, 504, [ 1, 86, 1, 93 ] ], [ 194, 509, [ 1, 355 ] ], [ 194, 518, [ 1, 5 ] ],
[ 194, 524, [ 1, 7 ] ], [ 194, 529, [ 1, 11 ] ], [ 194, 530, [ 1, 12 ] ], [ 194, 532, [ 1, 18 ] ],
[ 194, 534, [ 1, 23 ] ], [ 194, 536, [ 1, 48 ] ], [ 195, 497, [ 1, 122, 1, 146 ] ], [ 195, 499, [ 1, 355 ] ],
[ 195, 500, [ 1, 68, 1, 70, 1, 75 ] ], [ 195, 504, [ 1, 69 ] ], [ 195, 506, [ 1, 359 ] ], [ 195, 513, [ 1, 1 ] ],
[ 195, 514, [ 1, 3 ] ], [ 195, 526, [ 1, 4 ] ], [ 195, 527, [ 1, 6 ] ], [ 195, 529, [ 1, 10 ] ], [ 195, 531, [ 1, 13 ] ],
[ 195, 532, [ 1, 17 ] ], [ 195, 533, [ 1, 20 ] ], [ 195, 535, [ 1, 21, 1, 30, 1, 32, 1, 45 ] ], [ 195, 536, [ 1, 31 ] ],
[ 195, 537, [ 1, 38 ] ], [ 196, 362, [ 1, 357 ] ], [ 196, 432, [ 1, 355 ] ], [ 196, 437, [ 1, 355 ] ],
[ 196, 448, [ 1, 359 ] ], [ 196, 497, [ 1, 119, 1, 127, 1, 130, 1, 155 ] ], [ 196, 500, [ 1, 76 ] ],
[ 196, 504, [ 1, 78, 1, 87, 1, 116 ] ], [ 196, 512, [ 1, 1 ] ], [ 196, 514, [ 1, 5 ] ], [ 196, 518, [ 1, 6 ] ],
[ 196, 523, [ 1, 7 ] ], [ 196, 526, [ 1, 6 ] ], [ 196, 527, [ 1, 7 ] ], [ 196, 535, [ 1, 22, 1, 33, 1, 40 ] ],
[ 196, 536, [ 1, 38 ] ], [ 196, 537, [ 1, 42 ] ], [ 197, 500, [ 1, 116 ] ], [ 198, 362, [ 1, 357 ] ],
[ 198, 432, [ 1, 355 ] ], [ 198, 437, [ 1, 355 ] ], [ 198, 448, [ 1, 359 ] ], [ 198, 497, [ 1, 119 ] ],
[ 198, 500, [ 1, 86 ] ], [ 198, 501, [ 1, 359 ] ], [ 198, 504, [ 1, 87 ] ], [ 198, 518, [ 1, 6 ] ],
[ 198, 523, [ 1, 7 ] ], [ 198, 529, [ 1, 12 ] ], [ 198, 530, [ 1, 13 ] ], [ 198, 532, [ 1, 20 ] ],
[ 198, 533, [ 1, 23 ] ], [ 198, 535, [ 1, 48 ] ], [ 198, 540, [ 1, 355 ] ], [ 199, 363, [ 1, 356 ] ],
[ 199, 442, [ 1, 355 ] ], [ 199, 446, [ 1, 355 ] ], [ 199, 451, [ 1, 357 ] ], [ 199, 497, [ 1, 120 ] ],
[ 199, 498, [ 1, 83, 1, 114 ] ], [ 199, 504, [ 1, 73, 1, 104 ] ], [ 199, 517, [ 1, 1 ] ], [ 199, 519, [ 1, 3 ] ],
[ 199, 524, [ 1, 5 ] ], [ 199, 526, [ 1, 2 ] ], [ 199, 528, [ 1, 5 ] ], [ 199, 535, [ 1, 27 ] ],
[ 199, 536, [ 1, 19, 1, 29, 1, 43 ] ], [ 199, 537, [ 1, 36 ] ], [ 200, 361, [ 1, 355 ] ], [ 200, 442, [ 1, 356 ] ],
[ 200, 444, [ 1, 357 ] ], [ 200, 446, [ 1, 356 ] ], [ 200, 497, [ 1, 135 ] ], [ 200, 498, [ 1, 84, 1, 120, 1, 142 ] ],
[ 200, 500, [ 1, 96 ] ], [ 200, 504, [ 1, 80, 1, 99 ] ], [ 200, 510, [ 1, 357 ] ], [ 200, 516, [ 1, 2 ] ],
[ 200, 522, [ 1, 5 ] ], [ 200, 525, [ 1, 11 ] ], [ 200, 528, [ 1, 9 ] ], [ 200, 532, [ 1, 24 ] ],
[ 200, 534, [ 1, 19, 1, 34, 1, 43 ] ], [ 200, 536, [ 1, 44 ] ], [ 201, 362, [ 1, 356 ] ], [ 201, 439, [ 1, 355 ] ],
[ 201, 445, [ 1, 355 ] ], [ 201, 450, [ 1, 359 ] ], [ 201, 497, [ 1, 122 ] ], [ 201, 498, [ 1, 87, 1, 116 ] ],
[ 201, 500, [ 1, 75, 1, 108 ] ], [ 201, 513, [ 1, 1 ] ], [ 201, 514, [ 1, 3 ] ], [ 201, 518, [ 1, 4 ] ],
[ 201, 523, [ 1, 6 ] ], [ 201, 526, [ 1, 4 ] ], [ 201, 527, [ 1, 6 ] ], [ 201, 535, [ 1, 21, 1, 30, 1, 32 ] ],
[ 201, 536, [ 1, 31 ] ], [ 201, 537, [ 1, 38 ] ], [ 202, 440, [ 1, 355 ] ], [ 202, 444, [ 1, 359 ] ],
[ 202, 466, [ 1, 356 ] ], [ 202, 497, [ 1, 123 ] ], [ 202, 498, [ 1, 88, 1, 117 ] ],
[ 202, 500, [ 1, 97, 1, 105, 1, 133 ] ], [ 202, 503, [ 1, 356 ] ], [ 202, 504, [ 1, 82, 1, 100, 1, 102, 1, 136 ] ],
[ 202, 505, [ 1, 357 ] ], [ 202, 508, [ 1, 355 ] ], [ 202, 516, [ 1, 3 ] ], [ 202, 521, [ 1, 5 ] ],
[ 202, 525, [ 1, 12 ] ], [ 202, 528, [ 1, 10 ] ], [ 202, 532, [ 1, 25 ] ], [ 202, 533, [ 1, 19, 1, 34, 1, 43 ] ],
[ 202, 536, [ 1, 46 ] ], [ 202, 537, [ 1, 39 ] ], [ 202, 538, [ 1, 356 ] ], [ 202, 541, [ 1, 356 ] ],
[ 203, 360, [ 1, 355 ] ], [ 203, 439, [ 1, 356 ] ], [ 203, 443, [ 1, 359 ] ], [ 203, 445, [ 1, 356 ] ],
[ 203, 497, [ 1, 139, 1, 141, 1, 149 ] ], [ 203, 498, [ 1, 90, 1, 122, 1, 146 ] ],
[ 203, 500, [ 1, 82, 1, 100, 1, 102, 1, 109, 1, 136 ] ], [ 203, 504, [ 1, 101 ] ], [ 203, 505, [ 1, 359 ] ],
[ 203, 516, [ 1, 4 ] ], [ 203, 521, [ 1, 6 ] ], [ 203, 525, [ 1, 13 ] ], [ 203, 527, [ 1, 10 ] ],
[ 203, 532, [ 1, 26 ] ], [ 203, 533, [ 1, 21, 1, 35, 1, 45 ] ], [ 203, 535, [ 1, 46 ] ], [ 204, 450, [ 1, 357 ] ],
[ 204, 451, [ 1, 359 ] ], [ 204, 462, [ 1, 355 ] ], [ 204, 497, [ 1, 124 ] ], [ 204, 498, [ 1, 93 ] ],
[ 204, 500, [ 1, 73, 1, 104 ] ], [ 204, 501, [ 1, 356 ] ], [ 204, 504, [ 1, 75, 1, 108 ] ], [ 204, 514, [ 1, 2 ] ],
[ 204, 516, [ 1, 1 ] ], [ 204, 518, [ 1, 3 ] ], [ 204, 519, [ 1, 4 ] ], [ 204, 523, [ 1, 5 ] ], [ 204, 524, [ 1, 6 ] ],
[ 204, 527, [ 1, 5 ] ], [ 204, 528, [ 1, 6 ] ], [ 204, 535, [ 1, 19, 1, 28, 1, 29, 1, 34, 1, 43 ] ],
[ 204, 536, [ 1, 21, 1, 32, 1, 45 ] ], [ 204, 537, [ 1, 40 ] ], [ 205, 497, [ 1, 125 ] ], [ 205, 498, [ 1, 94 ] ],
[ 205, 500, [ 1, 71, 1, 114 ] ], [ 205, 501, [ 1, 357 ] ], [ 205, 504, [ 1, 76, 1, 86, 1, 93, 1, 115 ] ],
[ 205, 509, [ 1, 355 ] ], [ 205, 515, [ 1, 1 ] ], [ 205, 518, [ 1, 5 ] ], [ 205, 519, [ 1, 6 ] ], [ 205, 526, [ 1, 5 ] ],
[ 205, 528, [ 1, 7 ] ], [ 205, 529, [ 1, 11 ] ], [ 205, 530, [ 1, 12 ] ], [ 205, 532, [ 1, 18 ] ],
[ 205, 534, [ 1, 23 ] ], [ 205, 535, [ 1, 36 ] ], [ 205, 536, [ 1, 22, 1, 33, 1, 48 ] ], [ 205, 537, [ 1, 41 ] ],
[ 206, 497, [ 1, 127 ] ], [ 206, 498, [ 1, 95 ] ], [ 206, 500, [ 1, 76, 1, 86, 1, 93, 1, 115 ] ],
[ 206, 501, [ 1, 359 ] ], [ 206, 504, [ 1, 78, 1, 116 ] ], [ 206, 512, [ 1, 1 ] ], [ 206, 514, [ 1, 5 ] ],
[ 206, 526, [ 1, 6 ] ], [ 206, 527, [ 1, 7 ] ], [ 206, 529, [ 1, 12 ] ], [ 206, 530, [ 1, 13 ] ],
[ 206, 532, [ 1, 20 ] ], [ 206, 533, [ 1, 23 ] ], [ 206, 535, [ 1, 22, 1, 33, 1, 40, 1, 48 ] ], [ 206, 536, [ 1, 38 ] ],
[ 206, 537, [ 1, 42 ] ], [ 206, 540, [ 1, 355 ] ], [ 207, 358, [ 1, 355 ] ], [ 207, 432, [ 1, 357 ] ],
[ 207, 435, [ 1, 359 ] ], [ 207, 437, [ 1, 357 ] ], [ 207, 497, [ 1, 166, 1, 169 ] ],
[ 207, 500, [ 1, 89, 1, 118, 1, 125, 1, 129, 1, 153 ] ], [ 207, 504, [ 1, 91, 1, 155 ] ], [ 207, 509, [ 1, 359 ] ],
[ 207, 515, [ 1, 6 ] ], [ 207, 519, [ 1, 13 ] ], [ 207, 520, [ 1, 7 ] ], [ 207, 526, [ 1, 12 ] ],
--> --------------------
--> maximum size reached
--> --------------------
