Quelle  charalgorithm.g   Sprache: unbekannt

truncated:=
[ [ 3, 1, [ "u", 3, 2 ] ], [ 3, 2, [ "l", 2, 2 ] ], [ 3, 2, [ "l", 2, 3 ] ],
  [ 3, 2, [ "l", 2, 5 ] ], [ 3, 2, [ "u", 3, 2 ] ], [ 4, 3, [ "l", 2, 7 ] ],
  [ 4, 3, [ "u", 3, 2 ] ], [ 5, 3, [ "l", 2, 4 ] ], [ 5, 3, [ "l", 2, 5 ] ],
  [ 5, 3, [ "s", 4, 2 ] ], [ 5, 4, [ "l", 2, 9 ] ], [ 5, 4, [ "s", 4, 2 ] ],
  [ 5, 4, [ "s", 4, 3 ] ], [ 6, 5, [ "l", 2, 11 ] ], [ 6, 5, [ "s", 4, 2 ] ],
  [ 6, 5, [ "s", 4, 3 ] ], [ 7, 2, [ "2G2", 3 ] ], [ 7, 3, [ "2G2", 3 ] ],
  [ 7, 3, [ "G2", 2 ] ], [ 7, 4, [ "G2", 2 ] ], [ 7, 4, [ "l", 2, 7 ] ],
  [ 7, 4, [ "l", 3, 2 ] ], [ 7, 5, [ "l", 3, 4 ] ], [ 7, 6, [ "G2", 2 ] ],
  [ 7, 6, [ "l", 2, 13 ] ], [ 8, 7, [ "G2", 2 ] ], [ 8, 7, [ "u", 3, 3 ] ],
  [ 8, 7, [ "u", 3, 5 ] ], [ 8, 7, [ "u", 4, 3 ] ], [ 9, 5, [ "s", 4, 3 ] ],
  [ 9, 5, [ "u", 4, 2 ] ], [ 9, 6, [ "s", 4, 3 ] ], [ 9, 6, [ "u", 4, 2 ] ],
  [ 9, 7, [ "2G2", 3 ] ], [ 9, 7, [ "l", 2, 8 ] ], [ 9, 8, [ "l", 2, 17 ] ],
  [ 9, 8, [ "u", 4, 3 ] ], [ 10, 8, [ "u", 3, 5 ] ],
  [ 10, 9, [ "l", 2, 19 ] ], [ 11, 6, [ "l", 2, 11 ] ],
  [ 12, 5, [ "s", 4, 3 ] ], [ 12, 6, [ "s", 4, 3 ] ], [ 12, 7, [ "G2", 2 ] ],
  [ 12, 8, [ "G2", 2 ] ], [ 12, 8, [ "u", 3, 3 ] ], [ 12, 8, [ "u", 4, 3 ] ],
  [ 12, 9, [ "s", 4, 3 ] ], [ 12, 9, [ "u", 4, 2 ] ],
  [ 12, 9, [ "u", 4, 3 ] ], [ 12, 11, [ "l", 2, 23 ] ],
  [ 13, 5, [ "2F4", 2 ] ], [ 13, 6, [ "2F4", 2 ] ], [ 13, 7, [ "2B2", 8 ] ],
  [ 13, 7, [ "l", 2, 13 ] ], [ 13, 8, [ "2F4", 2 ] ], [ 13, 8, [ "G2", 3 ] ],
  [ 13, 8, [ "l", 3, 3 ] ], [ 13, 9, [ "G2", 3 ] ], [ 13, 10, [ "2F4", 2 ] ],
  [ 13, 12, [ "2F4", 2 ] ], [ 13, 12, [ "G2", 3 ] ],
  [ 13, 12, [ "l", 2, 25 ] ], [ 13, 12, [ "s", 4, 5 ] ],
  [ 14, 13, [ "l", 2, 27 ] ], [ 15, 7, [ "l", 4, 2 ] ],
  [ 15, 9, [ "o+", 8, 2 ] ], [ 15, 9, [ "s", 6, 2 ] ],
  [ 15, 10, [ "o+", 8, 2 ] ], [ 15, 10, [ "s", 6, 2 ] ],
  [ 15, 11, [ "u", 5, 2 ] ], [ 15, 11, [ "u", 6, 2 ] ],
  [ 15, 12, [ "o+", 8, 2 ] ], [ 15, 12, [ "s", 6, 2 ] ],
  [ 15, 12, [ "u", 5, 2 ] ], [ 15, 12, [ "u", 6, 2 ] ],
  [ 15, 13, [ "s", 4, 5 ] ], [ 15, 13, [ "u", 3, 4 ] ],
  [ 15, 14, [ "l", 2, 29 ] ], [ 16, 13, [ "2F4", 2 ] ],
  [ 16, 15, [ "l", 2, 31 ] ], [ 17, 9, [ "l", 2, 17 ] ],
  [ 17, 15, [ "l", 2, 16 ] ], [ 17, 15, [ "s", 4, 4 ] ],
  [ 18, 15, [ "u", 5, 2 ] ], [ 18, 15, [ "u", 6, 2 ] ],
  [ 19, 10, [ "l", 2, 19 ] ], [ 19, 16, [ "l", 3, 7 ] ],
  [ 19, 18, [ "l", 2, 37 ] ], [ 20, 13, [ "l", 4, 3 ] ],
  [ 20, 13, [ "s", 4, 5 ] ], [ 20, 14, [ "o", 7, 3 ] ],
  [ 20, 14, [ "o+", 8, 3 ] ], [ 20, 14, [ "s", 6, 3 ] ],
  [ 20, 15, [ "o", 7, 3 ] ], [ 20, 15, [ "o+", 8, 3 ] ],
  [ 20, 15, [ "s", 4, 5 ] ], [ 20, 15, [ "s", 6, 3 ] ],
  [ 20, 18, [ "o", 7, 3 ] ], [ 20, 18, [ "o+", 8, 3 ] ],
  [ 20, 18, [ "s", 6, 3 ] ], [ 21, 13, [ "3D4", 2 ] ],
  [ 21, 14, [ "3D4", 2 ] ], [ 21, 15, [ "G2", 4 ] ], [ 21, 17, [ "F4", 2 ] ],
  [ 21, 17, [ "o-", 8, 2 ] ], [ 21, 17, [ "s", 8, 2 ] ],
  [ 21, 18, [ "3D4", 2 ] ], [ 21, 18, [ "F4", 2 ] ],
  [ 21, 18, [ "s", 8, 2 ] ], [ 21, 19, [ "u", 3, 8 ] ],
  [ 21, 20, [ "F4", 2 ] ], [ 21, 20, [ "l", 2, 41 ] ],
  [ 21, 20, [ "s", 8, 2 ] ], [ 22, 21, [ "l", 2, 43 ] ],
  [ 23, 12, [ "l", 2, 23 ] ], [ 24, 20, [ "s", 6, 3 ] ],
  [ 24, 21, [ "F4", 2 ] ], [ 24, 21, [ "s", 8, 2 ] ],
  [ 24, 23, [ "l", 2, 47 ] ], [ 25, 24, [ "l", 2, 49 ] ],
  [ 25, 24, [ "s", 4, 7 ] ], [ 27, 26, [ "l", 2, 53 ] ],
  [ 28, 21, [ "3D4", 2 ] ], [ 28, 21, [ "F4", 2 ] ], [ 28, 24, [ "F4", 2 ] ],
  [ 28, 25, [ "s", 4, 7 ] ], [ 29, 15, [ "l", 2, 29 ] ],
  [ 30, 13, [ "s", 4, 5 ] ], [ 30, 15, [ "s", 4, 5 ] ],
  [ 30, 20, [ "s", 4, 5 ] ], [ 30, 20, [ "s", 6, 3 ] ],
  [ 30, 21, [ "F4", 2 ] ], [ 30, 21, [ "o-", 8, 2 ] ],
  [ 30, 21, [ "s", 8, 2 ] ], [ 30, 24, [ "F4", 2 ] ],
  [ 30, 24, [ "s", 6, 3 ] ], [ 30, 24, [ "s", 8, 2 ] ],
  [ 30, 28, [ "F4", 2 ] ], [ 30, 29, [ "l", 2, 59 ] ],
  [ 31, 16, [ "l", 2, 31 ] ], [ 31, 21, [ "l", 5, 2 ] ],
  [ 31, 24, [ "G2", 5 ] ], [ 31, 24, [ "l", 3, 5 ] ],
  [ 31, 25, [ "G2", 5 ] ], [ 31, 30, [ "G2", 5 ] ],
  [ 31, 30, [ "l", 2, 61 ] ], [ 33, 31, [ "l", 2, 32 ] ],
  [ 34, 33, [ "l", 2, 67 ] ], [ 35, 33, [ "2E6", 2 ] ],
  [ 35, 33, [ "o-", 10, 2 ] ], [ 36, 20, [ "s", 6, 3 ] ],
  [ 36, 24, [ "s", 6, 3 ] ], [ 36, 30, [ "s", 6, 3 ] ],
  [ 36, 35, [ "l", 2, 71 ] ], [ 37, 19, [ "l", 2, 37 ] ],
  [ 37, 26, [ "2G2", 27 ] ], [ 37, 36, [ "l", 2, 73 ] ],
  [ 39, 31, [ "l", 4, 5 ] ], [ 40, 37, [ "u", 3, 11 ] ],
  [ 40, 39, [ "l", 2, 79 ] ], [ 41, 21, [ "l", 2, 41 ] ],
  [ 41, 31, [ "2B2", 32 ] ], [ 41, 40, [ "l", 2, 81 ] ],
  [ 41, 40, [ "s", 4, 9 ] ], [ 42, 25, [ "s", 4, 7 ] ],
  [ 42, 28, [ "s", 4, 7 ] ], [ 42, 41, [ "l", 2, 83 ] ],
  [ 43, 22, [ "l", 2, 43 ] ], [ 44, 40, [ "u", 3, 11 ] ],
  [ 45, 44, [ "l", 2, 89 ] ], [ 47, 24, [ "l", 2, 47 ] ],
  [ 48, 43, [ "u", 3, 7 ] ], [ 49, 48, [ "l", 2, 97 ] ],
  [ 51, 45, [ "o+", 10, 2 ] ], [ 51, 45, [ "s", 10, 2 ] ],
  [ 51, 50, [ "l", 2, 101 ] ], [ 52, 41, [ "o", 9, 3 ] ],
  [ 52, 41, [ "o-", 8, 3 ] ], [ 52, 41, [ "s", 8, 3 ] ],
  [ 52, 42, [ "o", 9, 3 ] ], [ 52, 42, [ "s", 8, 3 ] ],
  [ 52, 45, [ "o", 9, 3 ] ], [ 52, 45, [ "s", 8, 3 ] ],
  [ 52, 51, [ "l", 2, 103 ] ], [ 53, 27, [ "l", 2, 53 ] ],
  [ 54, 53, [ "l", 2, 107 ] ], [ 55, 54, [ "l", 2, 109 ] ],
  [ 56, 25, [ "s", 4, 7 ] ], [ 56, 28, [ "s", 4, 7 ] ],
  [ 56, 42, [ "s", 4, 7 ] ], [ 56, 48, [ "u", 3, 7 ] ],
  [ 57, 48, [ "G2", 7 ] ], [ 57, 49, [ "G2", 7 ] ], [ 57, 56, [ "G2", 7 ] ],
  [ 57, 56, [ "l", 2, 113 ] ], [ 59, 30, [ "l", 2, 59 ] ],
  [ 60, 51, [ "o+", 10, 2 ] ], [ 60, 51, [ "s", 10, 2 ] ],
  [ 60, 52, [ "o", 9, 3 ] ], [ 60, 52, [ "o-", 8, 3 ] ],
  [ 60, 52, [ "s", 8, 3 ] ], [ 61, 31, [ "l", 2, 61 ] ],
  [ 61, 56, [ "l", 3, 13 ] ], [ 61, 60, [ "l", 2, 121 ] ],
  [ 61, 60, [ "s", 4, 11 ] ], [ 63, 31, [ "l", 6, 2 ] ],
  [ 63, 45, [ "u", 7, 2 ] ], [ 63, 52, [ "u", 4, 5 ] ],
  [ 63, 60, [ "u", 4, 5 ] ], [ 63, 60, [ "u", 7, 2 ] ],
  [ 63, 62, [ "l", 2, 125 ] ], [ 64, 63, [ "l", 2, 127 ] ],
  [ 65, 51, [ "u", 4, 4 ] ], [ 65, 51, [ "u", 5, 4 ] ],
  [ 65, 63, [ "l", 2, 64 ] ], [ 65, 63, [ "s", 4, 8 ] ],
  [ 66, 61, [ "s", 4, 11 ] ], [ 66, 63, [ "u", 7, 2 ] ],
  [ 66, 65, [ "l", 2, 131 ] ], [ 67, 34, [ "l", 2, 67 ] ],
  [ 69, 68, [ "l", 2, 137 ] ], [ 70, 69, [ "l", 2, 139 ] ],
  [ 71, 36, [ "l", 2, 71 ] ], [ 72, 52, [ "s", 8, 3 ] ],
  [ 72, 60, [ "s", 8, 3 ] ], [ 73, 37, [ "l", 2, 73 ] ],
  [ 73, 63, [ "G2", 8 ] ], [ 73, 63, [ "l", 3, 8 ] ],
  [ 75, 74, [ "l", 2, 149 ] ], [ 76, 75, [ "l", 2, 151 ] ],
  [ 78, 52, [ "s", 8, 3 ] ], [ 78, 60, [ "s", 8, 3 ] ],
  [ 78, 63, [ "o", 7, 5 ] ], [ 78, 63, [ "s", 6, 5 ] ],
  [ 78, 65, [ "o", 7, 5 ] ], [ 78, 65, [ "s", 6, 5 ] ],
  [ 78, 72, [ "s", 8, 3 ] ], [ 79, 40, [ "l", 2, 79 ] ],
  [ 79, 78, [ "l", 2, 157 ] ], [ 80, 61, [ "u", 5, 3 ] ],
  [ 80, 65, [ "o-", 10, 3 ] ], [ 80, 73, [ "u", 3, 9 ] ],
  [ 82, 81, [ "l", 2, 163 ] ], [ 83, 42, [ "l", 2, 83 ] ],
  [ 84, 52, [ "s", 8, 3 ] ], [ 84, 60, [ "s", 8, 3 ] ],
  [ 84, 72, [ "s", 8, 3 ] ], [ 84, 78, [ "s", 8, 3 ] ],
  [ 84, 80, [ "o-", 10, 3 ] ], [ 84, 80, [ "u", 5, 3 ] ],
  [ 84, 83, [ "l", 2, 167 ] ], [ 85, 63, [ "l", 4, 4 ] ],
  [ 85, 65, [ "s", 6, 4 ] ], [ 85, 84, [ "l", 2, 169 ] ],
  [ 85, 84, [ "s", 4, 13 ] ], [ 86, 75, [ "u", 4, 7 ] ],
  [ 86, 84, [ "u", 4, 7 ] ], [ 87, 86, [ "l", 2, 173 ] ],
  [ 89, 45, [ "l", 2, 89 ] ], [ 90, 52, [ "s", 8, 3 ] ],
  [ 90, 60, [ "s", 8, 3 ] ], [ 90, 72, [ "s", 8, 3 ] ],
  [ 90, 78, [ "s", 8, 3 ] ], [ 90, 84, [ "s", 8, 3 ] ],
  [ 90, 89, [ "l", 2, 179 ] ], [ 91, 80, [ "G2", 9 ] ],
  [ 91, 80, [ "l", 3, 9 ] ], [ 91, 85, [ "l", 3, 16 ] ],
  [ 91, 85, [ "s", 4, 13 ] ], [ 91, 90, [ "l", 2, 181 ] ],
  [ 93, 65, [ "o-", 12, 2 ] ], [ 93, 84, [ "o-", 12, 2 ] ],
  [ 93, 91, [ "E6", 2 ] ], [ 96, 91, [ "u", 3, 17 ] ],
  [ 96, 95, [ "l", 2, 191 ] ], [ 97, 49, [ "l", 2, 97 ] ],
  [ 97, 96, [ "l", 2, 193 ] ], [ 99, 98, [ "l", 2, 197 ] ],
  [ 100, 99, [ "l", 2, 199 ] ], [ 101, 51, [ "l", 2, 101 ] ],
  [ 102, 93, [ "o-", 12, 2 ] ], [ 102, 96, [ "u", 3, 17 ] ],
  [ 103, 52, [ "l", 2, 103 ] ], [ 104, 73, [ "3D4", 3 ] ],
  [ 104, 78, [ "3D4", 3 ] ], [ 104, 82, [ "F4", 3 ] ],
  [ 104, 84, [ "3D4", 3 ] ], [ 104, 84, [ "F4", 3 ] ],
  [ 104, 90, [ "F4", 3 ] ], [ 105, 85, [ "o+", 12, 2 ] ],
  [ 105, 93, [ "s", 12, 2 ] ], [ 105, 102, [ "s", 12, 2 ] ],
  [ 106, 105, [ "l", 2, 211 ] ], [ 107, 54, [ "l", 2, 107 ] ],
  [ 109, 55, [ "l", 2, 109 ] ], [ 109, 91, [ "2F4", 8 ] ],
  [ 110, 61, [ "s", 4, 11 ] ], [ 110, 66, [ "s", 4, 11 ] ],
  [ 112, 111, [ "l", 2, 223 ] ], [ 113, 57, [ "l", 2, 113 ] ],
  [ 114, 113, [ "l", 2, 227 ] ], [ 115, 114, [ "l", 2, 229 ] ],
  [ 117, 116, [ "l", 2, 233 ] ], [ 120, 78, [ "s", 6, 5 ] ],
  [ 120, 104, [ "F4", 3 ] ], [ 120, 105, [ "s", 12, 2 ] ],
  [ 120, 119, [ "l", 2, 239 ] ], [ 121, 104, [ "l", 5, 3 ] ],
  [ 121, 120, [ "l", 2, 241 ] ], [ 122, 91, [ "u", 6, 3 ] ],
  [ 122, 120, [ "u", 6, 3 ] ], [ 122, 121, [ "l", 2, 243 ] ],
  [ 126, 93, [ "E6", 2 ] ], [ 126, 125, [ "l", 2, 251 ] ],
  [ 127, 64, [ "l", 2, 127 ] ], [ 127, 105, [ "l", 7, 2 ] ],
  [ 127, 120, [ "l", 3, 19 ] ], [ 129, 99, [ "u", 8, 2 ] ],
  [ 129, 99, [ "u", 9, 2 ] ], [ 129, 126, [ "u", 8, 2 ] ],
  [ 129, 126, [ "u", 9, 2 ] ], [ 129, 127, [ "l", 2, 128 ] ],
  [ 129, 128, [ "l", 2, 257 ] ], [ 130, 78, [ "s", 6, 5 ] ],
  [ 130, 120, [ "s", 6, 5 ] ], [ 131, 66, [ "l", 2, 131 ] ],
  [ 132, 61, [ "s", 4, 11 ] ], [ 132, 66, [ "s", 4, 11 ] ],
  [ 132, 110, [ "s", 4, 11 ] ], [ 132, 129, [ "u", 8, 2 ] ],
  [ 132, 129, [ "u", 9, 2 ] ], [ 132, 131, [ "l", 2, 263 ] ],
  [ 133, 120, [ "G2", 11 ] ], [ 133, 120, [ "l", 3, 11 ] ],
  [ 133, 121, [ "G2", 11 ] ], [ 133, 132, [ "G2", 11 ] ],
  [ 135, 134, [ "l", 2, 269 ] ], [ 136, 135, [ "l", 2, 271 ] ],
  [ 137, 69, [ "l", 2, 137 ] ], [ 139, 70, [ "l", 2, 139 ] ],
  [ 139, 138, [ "l", 2, 277 ] ], [ 141, 140, [ "l", 2, 281 ] ],
  [ 142, 141, [ "l", 2, 283 ] ], [ 145, 127, [ "2B2", 128 ] ],
  [ 145, 144, [ "l", 2, 289 ] ], [ 145, 144, [ "s", 4, 17 ] ],
  [ 147, 146, [ "l", 2, 293 ] ], [ 149, 75, [ "l", 2, 149 ] ],
  [ 151, 76, [ "l", 2, 151 ] ], [ 153, 145, [ "s", 4, 17 ] ],
  [ 154, 153, [ "l", 2, 307 ] ], [ 156, 78, [ "o+", 8, 5 ] ],
  [ 156, 85, [ "s", 4, 13 ] ], [ 156, 91, [ "s", 4, 13 ] ],
  [ 156, 155, [ "l", 2, 311 ] ], [ 157, 79, [ "l", 2, 157 ] ],
  [ 157, 156, [ "l", 2, 313 ] ], [ 159, 158, [ "l", 2, 317 ] ],
  [ 163, 82, [ "l", 2, 163 ] ], [ 164, 140, [ "o", 11, 3 ] ],
  [ 164, 140, [ "o+", 10, 3 ] ], [ 164, 140, [ "s", 10, 3 ] ],
  [ 164, 156, [ "o", 11, 3 ] ], [ 164, 156, [ "o+", 10, 3 ] ],
  [ 164, 156, [ "s", 10, 3 ] ], [ 166, 165, [ "l", 2, 331 ] ],
  [ 167, 84, [ "l", 2, 167 ] ], [ 168, 157, [ "u", 3, 13 ] ],
  [ 169, 168, [ "l", 2, 337 ] ], [ 172, 171, [ "l", 2, 343 ] ],
  [ 173, 87, [ "l", 2, 173 ] ], [ 174, 173, [ "l", 2, 347 ] ],
  [ 175, 174, [ "l", 2, 349 ] ], [ 176, 169, [ "u", 3, 23 ] ],
  [ 177, 176, [ "l", 2, 353 ] ], [ 179, 90, [ "l", 2, 179 ] ],
  [ 180, 164, [ "o", 11, 3 ] ], [ 180, 164, [ "s", 10, 3 ] ],
  [ 180, 179, [ "l", 2, 359 ] ], [ 181, 91, [ "l", 2, 181 ] ],
  [ 181, 180, [ "l", 2, 361 ] ], [ 181, 180, [ "s", 4, 19 ] ],
  [ 182, 85, [ "s", 4, 13 ] ], [ 182, 91, [ "s", 4, 13 ] ],
  [ 182, 121, [ "l", 6, 3 ] ], [ 182, 156, [ "s", 4, 13 ] ],
  [ 182, 168, [ "u", 3, 13 ] ], [ 183, 168, [ "G2", 13 ] ],
  [ 183, 169, [ "G2", 13 ] ], [ 183, 182, [ "G2", 13 ] ],
  [ 184, 176, [ "u", 3, 23 ] ], [ 184, 183, [ "l", 2, 367 ] ],
  [ 187, 186, [ "l", 2, 373 ] ], [ 190, 181, [ "s", 4, 19 ] ],
  [ 190, 189, [ "l", 2, 379 ] ], [ 191, 96, [ "l", 2, 191 ] ],
  [ 192, 191, [ "l", 2, 383 ] ], [ 193, 97, [ "l", 2, 193 ] ],
  [ 195, 165, [ "o+", 14, 2 ] ], [ 195, 186, [ "o+", 14, 2 ] ],
  [ 195, 194, [ "l", 2, 389 ] ], [ 197, 99, [ "l", 2, 197 ] ],
  [ 199, 100, [ "l", 2, 199 ] ], [ 199, 198, [ "l", 2, 397 ] ],
  [ 200, 171, [ "l", 4, 7 ] ], [ 200, 172, [ "o", 7, 7 ] ],
  [ 200, 172, [ "s", 6, 7 ] ], [ 200, 175, [ "o", 7, 7 ] ],
  [ 200, 175, [ "s", 6, 7 ] ], [ 201, 200, [ "l", 2, 401 ] ],
  [ 204, 195, [ "o+", 14, 2 ] ], [ 205, 182, [ "l", 4, 9 ] ],
  [ 205, 204, [ "l", 2, 409 ] ], [ 210, 209, [ "l", 2, 419 ] ],
  [ 211, 106, [ "l", 2, 211 ] ], [ 211, 210, [ "l", 2, 421 ] ],
  [ 216, 215, [ "l", 2, 431 ] ], [ 217, 208, [ "l", 3, 25 ] ],
  [ 217, 216, [ "l", 2, 433 ] ], [ 220, 219, [ "l", 2, 439 ] ],
  [ 222, 221, [ "l", 2, 443 ] ], [ 223, 112, [ "l", 2, 223 ] ],
  [ 225, 224, [ "l", 2, 449 ] ], [ 227, 114, [ "l", 2, 227 ] ],
  [ 229, 115, [ "l", 2, 229 ] ], [ 229, 228, [ "l", 2, 457 ] ],
  [ 231, 230, [ "l", 2, 461 ] ], [ 232, 231, [ "l", 2, 463 ] ],
  [ 233, 117, [ "l", 2, 233 ] ], [ 234, 164, [ "s", 10, 3 ] ],
  [ 234, 180, [ "s", 10, 3 ] ], [ 234, 233, [ "l", 2, 467 ] ],
  [ 239, 120, [ "l", 2, 239 ] ], [ 240, 164, [ "s", 10, 3 ] ],
  [ 240, 180, [ "s", 10, 3 ] ], [ 240, 234, [ "s", 10, 3 ] ],
  [ 240, 239, [ "l", 2, 479 ] ], [ 241, 121, [ "l", 2, 241 ] ],
  [ 244, 243, [ "l", 2, 487 ] ], [ 246, 164, [ "s", 10, 3 ] ],
  [ 246, 180, [ "s", 10, 3 ] ], [ 246, 234, [ "s", 10, 3 ] ],
  [ 246, 240, [ "s", 10, 3 ] ], [ 246, 245, [ "l", 2, 491 ] ],
  [ 250, 249, [ "l", 2, 499 ] ], [ 251, 126, [ "l", 2, 251 ] ],
  [ 252, 164, [ "s", 10, 3 ] ], [ 252, 180, [ "s", 10, 3 ] ],
  [ 252, 234, [ "s", 10, 3 ] ], [ 252, 240, [ "s", 10, 3 ] ],
  [ 252, 246, [ "s", 10, 3 ] ], [ 252, 251, [ "l", 2, 503 ] ],
  [ 255, 85, [ "o+", 8, 4 ] ], [ 255, 155, [ "o-", 14, 2 ] ],
  [ 255, 195, [ "s", 14, 2 ] ], [ 255, 204, [ "s", 14, 2 ] ],
  [ 255, 210, [ "o-", 14, 2 ] ], [ 255, 210, [ "s", 14, 2 ] ],
  [ 255, 217, [ "E7", 2 ] ], [ 255, 217, [ "l", 8, 2 ] ],
  [ 255, 241, [ "u", 3, 16 ] ], [ 255, 252, [ "E7", 2 ] ],
  [ 255, 254, [ "l", 2, 509 ] ], [ 257, 129, [ "l", 2, 257 ] ],
  [ 257, 255, [ "l", 2, 256 ] ], [ 257, 255, [ "s", 4, 16 ] ],
  [ 260, 205, [ "o+", 12, 3 ] ], [ 261, 260, [ "l", 2, 521 ] ],
  [ 262, 261, [ "l", 2, 523 ] ], [ 263, 132, [ "l", 2, 263 ] ],
  [ 265, 264, [ "l", 2, 529 ] ], [ 265, 264, [ "s", 4, 23 ] ],
  [ 269, 135, [ "l", 2, 269 ] ], [ 271, 136, [ "l", 2, 271 ] ],
  [ 271, 242, [ "2G2", 243 ] ], [ 271, 270, [ "l", 2, 541 ] ],
  [ 272, 145, [ "s", 4, 17 ] ], [ 272, 153, [ "s", 4, 17 ] ],
  [ 273, 255, [ "G2", 16 ] ], [ 274, 273, [ "l", 2, 547 ] ],
  [ 276, 265, [ "s", 4, 23 ] ], [ 277, 139, [ "l", 2, 277 ] ],
  [ 279, 278, [ "l", 2, 557 ] ], [ 280, 271, [ "u", 3, 29 ] ],
  [ 281, 141, [ "l", 2, 281 ] ], [ 282, 281, [ "l", 2, 563 ] ],
  [ 283, 142, [ "l", 2, 283 ] ], [ 285, 284, [ "l", 2, 569 ] ],
  [ 286, 285, [ "l", 2, 571 ] ], [ 289, 288, [ "l", 2, 577 ] ],
  [ 290, 280, [ "u", 3, 29 ] ], [ 293, 147, [ "l", 2, 293 ] ],
  [ 294, 293, [ "l", 2, 587 ] ], [ 297, 296, [ "l", 2, 593 ] ],
  [ 300, 299, [ "l", 2, 599 ] ], [ 301, 300, [ "l", 2, 601 ] ],
  [ 304, 303, [ "l", 2, 607 ] ], [ 306, 145, [ "s", 4, 17 ] ],
  [ 306, 153, [ "s", 4, 17 ] ], [ 306, 272, [ "s", 4, 17 ] ],
  [ 307, 154, [ "l", 2, 307 ] ], [ 307, 288, [ "G2", 17 ] ],
  [ 307, 288, [ "l", 3, 17 ] ], [ 307, 289, [ "G2", 17 ] ],
  [ 307, 306, [ "G2", 17 ] ], [ 307, 306, [ "l", 2, 613 ] ],
  [ 309, 308, [ "l", 2, 617 ] ], [ 310, 309, [ "l", 2, 619 ] ],
  [ 311, 156, [ "l", 2, 311 ] ], [ 313, 157, [ "l", 2, 313 ] ],
  [ 313, 312, [ "l", 2, 625 ] ], [ 313, 312, [ "s", 4, 25 ] ],
  [ 315, 241, [ "3D4", 4 ] ], [ 315, 257, [ "F4", 4 ] ],
  [ 315, 257, [ "o-", 8, 4 ] ], [ 315, 257, [ "s", 8, 4 ] ],
  [ 316, 315, [ "l", 2, 631 ] ], [ 317, 159, [ "l", 2, 317 ] ],
  [ 321, 320, [ "l", 2, 641 ] ], [ 322, 321, [ "l", 2, 643 ] ],
  [ 324, 323, [ "l", 2, 647 ] ], [ 327, 326, [ "l", 2, 653 ] ],
  [ 330, 329, [ "l", 2, 659 ] ], [ 331, 166, [ "l", 2, 331 ] ],
  [ 331, 320, [ "l", 3, 31 ] ], [ 331, 330, [ "l", 2, 661 ] ],
  [ 333, 305, [ "u", 4, 11 ] ], [ 333, 330, [ "u", 4, 11 ] ],
  [ 336, 200, [ "s", 6, 7 ] ], [ 337, 169, [ "l", 2, 337 ] ],
  [ 337, 336, [ "l", 2, 673 ] ], [ 339, 338, [ "l", 2, 677 ] ],
  [ 341, 315, [ "l", 5, 4 ] ], [ 341, 331, [ "u", 3, 32 ] ],
  [ 342, 181, [ "s", 4, 19 ] ], [ 342, 190, [ "s", 4, 19 ] ],
  [ 342, 341, [ "l", 2, 683 ] ], [ 346, 345, [ "l", 2, 691 ] ],
  [ 347, 174, [ "l", 2, 347 ] ], [ 349, 175, [ "l", 2, 349 ] ],
  [ 350, 200, [ "s", 6, 7 ] ], [ 350, 336, [ "s", 6, 7 ] ],
  [ 351, 350, [ "l", 2, 701 ] ], [ 353, 177, [ "l", 2, 353 ] ],
  [ 355, 354, [ "l", 2, 709 ] ], [ 359, 180, [ "l", 2, 359 ] ],
  [ 360, 343, [ "u", 3, 19 ] ], [ 360, 359, [ "l", 2, 719 ] ],
  [ 364, 363, [ "l", 2, 727 ] ], [ 365, 328, [ "u", 4, 9 ] ],
  [ 365, 364, [ "l", 2, 729 ] ], [ 365, 364, [ "s", 4, 27 ] ],
  [ 367, 184, [ "l", 2, 367 ] ], [ 367, 366, [ "l", 2, 733 ] ],
  [ 370, 369, [ "l", 2, 739 ] ], [ 372, 313, [ "o", 9, 5 ] ],
  [ 372, 313, [ "o-", 8, 5 ] ], [ 372, 313, [ "s", 8, 5 ] ],
  [ 372, 315, [ "o", 9, 5 ] ], [ 372, 315, [ "s", 8, 5 ] ],
  [ 372, 371, [ "l", 2, 743 ] ], [ 373, 187, [ "l", 2, 373 ] ],
  [ 376, 375, [ "l", 2, 751 ] ], [ 379, 190, [ "l", 2, 379 ] ],
  [ 379, 378, [ "l", 2, 757 ] ], [ 380, 181, [ "s", 4, 19 ] ],
  [ 380, 190, [ "s", 4, 19 ] ], [ 380, 342, [ "s", 4, 19 ] ],
  [ 380, 360, [ "u", 3, 19 ] ], [ 381, 315, [ "o-", 16, 2 ] ],
  [ 381, 360, [ "G2", 19 ] ], [ 381, 361, [ "G2", 19 ] ],
  [ 381, 372, [ "o-", 16, 2 ] ], [ 381, 380, [ "G2", 19 ] ],
  [ 381, 380, [ "l", 2, 761 ] ], [ 383, 192, [ "l", 2, 383 ] ],
  [ 385, 384, [ "l", 2, 769 ] ], [ 387, 386, [ "l", 2, 773 ] ],
  [ 389, 195, [ "l", 2, 389 ] ], [ 390, 372, [ "o", 9, 5 ] ],
  [ 390, 372, [ "o-", 8, 5 ] ], [ 390, 372, [ "s", 8, 5 ] ],
  [ 390, 381, [ "o-", 16, 2 ] ], [ 394, 393, [ "l", 2, 787 ] ],
  [ 397, 199, [ "l", 2, 397 ] ], [ 399, 398, [ "l", 2, 797 ] ],
  [ 401, 201, [ "l", 2, 401 ] ], [ 405, 404, [ "l", 2, 809 ] ],
  [ 406, 405, [ "l", 2, 811 ] ], [ 409, 205, [ "l", 2, 409 ] ],
  [ 410, 365, [ "o", 7, 9 ] ], [ 410, 365, [ "s", 6, 9 ] ],
  [ 411, 410, [ "l", 2, 821 ] ], [ 412, 411, [ "l", 2, 823 ] ],
  [ 414, 413, [ "l", 2, 827 ] ], [ 415, 414, [ "l", 2, 829 ] ],
  [ 419, 210, [ "l", 2, 419 ] ], [ 420, 419, [ "l", 2, 839 ] ],
  [ 421, 211, [ "l", 2, 421 ] ], [ 421, 420, [ "l", 2, 841 ] ],
  [ 421, 420, [ "s", 4, 29 ] ], [ 427, 426, [ "l", 2, 853 ] ],
  [ 429, 428, [ "l", 2, 857 ] ], [ 430, 429, [ "l", 2, 859 ] ],
  [ 431, 216, [ "l", 2, 431 ] ], [ 432, 431, [ "l", 2, 863 ] ],
  [ 433, 217, [ "l", 2, 433 ] ], [ 435, 421, [ "s", 4, 29 ] ],
  [ 439, 220, [ "l", 2, 439 ] ], [ 439, 438, [ "l", 2, 877 ] ],
  [ 441, 440, [ "l", 2, 881 ] ], [ 442, 441, [ "l", 2, 883 ] ],
  [ 443, 222, [ "l", 2, 443 ] ], [ 444, 443, [ "l", 2, 887 ] ],
  [ 449, 225, [ "l", 2, 449 ] ], [ 454, 453, [ "l", 2, 907 ] ],
  [ 455, 341, [ "l", 6, 4 ] ], [ 456, 455, [ "l", 2, 911 ] ],
  [ 457, 229, [ "l", 2, 457 ] ], [ 460, 459, [ "l", 2, 919 ] ],
  [ 461, 231, [ "l", 2, 461 ] ], [ 463, 232, [ "l", 2, 463 ] ],
  [ 465, 357, [ "o+", 16, 2 ] ], [ 465, 381, [ "s", 16, 2 ] ],
  [ 465, 390, [ "s", 16, 2 ] ], [ 465, 408, [ "s", 16, 2 ] ],
  [ 465, 420, [ "o+", 16, 2 ] ], [ 465, 420, [ "s", 16, 2 ] ],
  [ 465, 464, [ "l", 2, 929 ] ], [ 467, 234, [ "l", 2, 467 ] ],
  [ 469, 456, [ "l", 3, 37 ] ], [ 469, 468, [ "l", 2, 937 ] ],
  [ 471, 470, [ "l", 2, 941 ] ], [ 474, 473, [ "l", 2, 947 ] ],
  [ 477, 476, [ "l", 2, 953 ] ], [ 479, 240, [ "l", 2, 479 ] ],
  [ 481, 480, [ "l", 2, 961 ] ], [ 481, 480, [ "s", 4, 31 ] ],
  [ 484, 365, [ "o-", 12, 3 ] ], [ 484, 410, [ "o", 13, 3 ] ],
  [ 484, 410, [ "s", 12, 3 ] ], [ 484, 420, [ "o", 13, 3 ] ],
  [ 484, 420, [ "s", 12, 3 ] ], [ 484, 468, [ "o", 13, 3 ] ],
  [ 484, 468, [ "s", 12, 3 ] ], [ 484, 483, [ "l", 2, 967 ] ],
  [ 486, 485, [ "l", 2, 971 ] ], [ 487, 244, [ "l", 2, 487 ] ],
  [ 489, 488, [ "l", 2, 977 ] ], [ 491, 246, [ "l", 2, 491 ] ],
  [ 492, 484, [ "o", 13, 3 ] ], [ 492, 484, [ "o-", 12, 3 ] ],
  [ 492, 484, [ "s", 12, 3 ] ], [ 492, 491, [ "l", 2, 983 ] ],
  [ 496, 481, [ "s", 4, 31 ] ], [ 496, 495, [ "l", 2, 991 ] ],
  [ 499, 250, [ "l", 2, 499 ] ], [ 499, 498, [ "l", 2, 997 ] ],
  [ 503, 252, [ "l", 2, 503 ] ], [ 505, 504, [ "l", 2, 1009 ] ],
  [ 506, 265, [ "s", 4, 23 ] ], [ 506, 276, [ "s", 4, 23 ] ],
  [ 507, 506, [ "l", 2, 1013 ] ], [ 509, 255, [ "l", 2, 509 ] ],
  [ 510, 465, [ "o+", 16, 2 ] ], [ 510, 465, [ "s", 16, 2 ] ],
  [ 510, 509, [ "l", 2, 1019 ] ], [ 511, 465, [ "l", 9, 2 ] ],
  [ 511, 510, [ "l", 2, 1021 ] ], [ 513, 387, [ "u", 10, 2 ] ],
  [ 513, 455, [ "u", 4, 8 ] ], [ 513, 510, [ "u", 10, 2 ] ],
  [ 513, 511, [ "l", 2, 512 ] ], [ 516, 513, [ "u", 10, 2 ] ],
  [ 516, 515, [ "l", 2, 1031 ] ], [ 517, 516, [ "l", 2, 1033 ] ],
  [ 520, 519, [ "l", 2, 1039 ] ], [ 521, 261, [ "l", 2, 521 ] ],
  [ 523, 262, [ "l", 2, 523 ] ], [ 525, 524, [ "l", 2, 1049 ] ],
  [ 526, 525, [ "l", 2, 1051 ] ], [ 531, 530, [ "l", 2, 1061 ] ],
  [ 532, 531, [ "l", 2, 1063 ] ], [ 535, 534, [ "l", 2, 1069 ] ],
  [ 541, 271, [ "l", 2, 541 ] ], [ 544, 543, [ "l", 2, 1087 ] ],
  [ 545, 511, [ "2B2", 512 ] ], [ 546, 545, [ "l", 2, 1091 ] ],
  [ 547, 274, [ "l", 2, 547 ] ], [ 547, 546, [ "l", 2, 1093 ] ],
  [ 549, 548, [ "l", 2, 1097 ] ], [ 552, 265, [ "s", 4, 23 ] ],
  [ 552, 276, [ "s", 4, 23 ] ], [ 552, 506, [ "s", 4, 23 ] ],
  [ 552, 551, [ "l", 2, 1103 ] ], [ 553, 528, [ "G2", 23 ] ],
  [ 553, 528, [ "l", 3, 23 ] ], [ 553, 529, [ "G2", 23 ] ],
  [ 553, 552, [ "G2", 23 ] ], [ 555, 554, [ "l", 2, 1109 ] ],
  [ 557, 279, [ "l", 2, 557 ] ], [ 559, 558, [ "l", 2, 1117 ] ],
  [ 560, 547, [ "u", 3, 41 ] ], [ 562, 561, [ "l", 2, 1123 ] ],
  [ 563, 282, [ "l", 2, 563 ] ], [ 565, 564, [ "l", 2, 1129 ] ],
  [ 569, 285, [ "l", 2, 569 ] ], [ 571, 286, [ "l", 2, 571 ] ],
  [ 574, 560, [ "u", 3, 41 ] ], [ 576, 575, [ "l", 2, 1151 ] ],
  [ 577, 289, [ "l", 2, 577 ] ], [ 577, 576, [ "l", 2, 1153 ] ],
  [ 582, 581, [ "l", 2, 1163 ] ], [ 585, 511, [ "l", 4, 8 ] ],
  [ 585, 513, [ "s", 6, 8 ] ], [ 586, 585, [ "l", 2, 1171 ] ],
  [ 587, 294, [ "l", 2, 587 ] ], [ 591, 590, [ "l", 2, 1181 ] ],
  [ 593, 297, [ "l", 2, 593 ] ], [ 594, 593, [ "l", 2, 1187 ] ],
  [ 595, 549, [ "l", 4, 13 ] ], [ 597, 596, [ "l", 2, 1193 ] ],
  [ 599, 300, [ "l", 2, 599 ] ], [ 600, 300, [ "o+", 8, 7 ] ],
  [ 601, 301, [ "l", 2, 601 ] ], [ 601, 600, [ "l", 2, 1201 ] ],
  [ 607, 304, [ "l", 2, 607 ] ], [ 607, 606, [ "l", 2, 1213 ] ],
  [ 609, 608, [ "l", 2, 1217 ] ], [ 612, 611, [ "l", 2, 1223 ] ],
  [ 613, 307, [ "l", 2, 613 ] ], [ 615, 614, [ "l", 2, 1229 ] ],
  [ 616, 615, [ "l", 2, 1231 ] ], [ 617, 309, [ "l", 2, 617 ] ],
  [ 619, 310, [ "l", 2, 619 ] ], [ 619, 618, [ "l", 2, 1237 ] ],
  [ 620, 372, [ "s", 8, 5 ] ], [ 620, 390, [ "s", 8, 5 ] ],
  [ 624, 521, [ "u", 5, 5 ] ], [ 624, 521, [ "u", 6, 5 ] ],
  [ 624, 601, [ "u", 3, 25 ] ], [ 625, 624, [ "l", 2, 1249 ] ],
  [ 630, 372, [ "s", 8, 5 ] ], [ 630, 390, [ "s", 8, 5 ] ],
  [ 630, 620, [ "s", 8, 5 ] ], [ 630, 624, [ "u", 5, 5 ] ],
  [ 630, 624, [ "u", 6, 5 ] ], [ 630, 629, [ "l", 2, 1259 ] ],
  [ 631, 316, [ "l", 2, 631 ] ], [ 631, 616, [ "l", 3, 43 ] ],
  [ 639, 638, [ "l", 2, 1277 ] ], [ 640, 639, [ "l", 2, 1279 ] ],
  [ 641, 321, [ "l", 2, 641 ] ], [ 642, 641, [ "l", 2, 1283 ] ],
  [ 643, 322, [ "l", 2, 643 ] ], [ 645, 644, [ "l", 2, 1289 ] ],
  [ 646, 645, [ "l", 2, 1291 ] ], [ 647, 324, [ "l", 2, 647 ] ],
  [ 649, 648, [ "l", 2, 1297 ] ], [ 651, 511, [ "E8", 2 ] ],
  [ 651, 624, [ "G2", 25 ] ], [ 651, 650, [ "l", 2, 1301 ] ],
  [ 652, 651, [ "l", 2, 1303 ] ], [ 653, 327, [ "l", 2, 653 ] ],
  [ 654, 653, [ "l", 2, 1307 ] ], [ 659, 330, [ "l", 2, 659 ] ],
  [ 660, 659, [ "l", 2, 1319 ] ], [ 661, 331, [ "l", 2, 661 ] ],
  [ 661, 660, [ "l", 2, 1321 ] ], [ 664, 663, [ "l", 2, 1327 ] ],
  [ 666, 665, [ "l", 2, 1331 ] ], [ 673, 337, [ "l", 2, 673 ] ],
  [ 677, 339, [ "l", 2, 677 ] ], [ 681, 680, [ "l", 2, 1361 ] ],
  [ 683, 342, [ "l", 2, 683 ] ], [ 684, 683, [ "l", 2, 1367 ] ],
  [ 685, 684, [ "l", 2, 1369 ] ], [ 685, 684, [ "s", 4, 37 ] ],
  [ 687, 686, [ "l", 2, 1373 ] ], [ 691, 346, [ "l", 2, 691 ] ],
  [ 691, 690, [ "l", 2, 1381 ] ], [ 700, 699, [ "l", 2, 1399 ] ],
  [ 701, 351, [ "l", 2, 701 ] ], [ 703, 685, [ "s", 4, 37 ] ],
  [ 705, 704, [ "l", 2, 1409 ] ], [ 709, 355, [ "l", 2, 709 ] ],
  [ 712, 711, [ "l", 2, 1423 ] ], [ 714, 713, [ "l", 2, 1427 ] ],
  [ 715, 714, [ "l", 2, 1429 ] ], [ 717, 716, [ "l", 2, 1433 ] ],
  [ 719, 360, [ "l", 2, 719 ] ], [ 720, 484, [ "s", 12, 3 ] ],
  [ 720, 492, [ "s", 12, 3 ] ], [ 720, 719, [ "l", 2, 1439 ] ],
  [ 724, 723, [ "l", 2, 1447 ] ], [ 726, 484, [ "s", 12, 3 ] ],
  [ 726, 492, [ "s", 12, 3 ] ], [ 726, 720, [ "s", 12, 3 ] ],
  [ 726, 725, [ "l", 2, 1451 ] ], [ 727, 364, [ "l", 2, 727 ] ],
  [ 727, 726, [ "l", 2, 1453 ] ], [ 728, 560, [ "u", 7, 3 ] ],
  [ 728, 560, [ "u", 8, 3 ] ], [ 728, 703, [ "u", 3, 27 ] ],
  [ 730, 729, [ "l", 2, 1459 ] ], [ 732, 484, [ "s", 12, 3 ] ],
  [ 732, 492, [ "s", 12, 3 ] ], [ 732, 665, [ "l", 4, 11 ] ],
  [ 732, 666, [ "o", 7, 11 ] ], [ 732, 666, [ "s", 6, 11 ] ],
  [ 732, 671, [ "o", 7, 11 ] ], [ 732, 671, [ "s", 6, 11 ] ],
  [ 732, 720, [ "s", 12, 3 ] ], [ 732, 726, [ "s", 12, 3 ] ],
  [ 732, 728, [ "u", 7, 3 ] ], [ 732, 728, [ "u", 8, 3 ] ],
  [ 733, 367, [ "l", 2, 733 ] ], [ 736, 721, [ "u", 3, 47 ] ],
  [ 736, 735, [ "l", 2, 1471 ] ], [ 738, 484, [ "s", 12, 3 ] ],
  [ 738, 492, [ "s", 12, 3 ] ], [ 738, 720, [ "s", 12, 3 ] ],
  [ 738, 726, [ "s", 12, 3 ] ], [ 738, 732, [ "s", 12, 3 ] ],
  [ 739, 370, [ "l", 2, 739 ] ], [ 741, 740, [ "l", 2, 1481 ] ],
  [ 742, 741, [ "l", 2, 1483 ] ], [ 743, 372, [ "l", 2, 743 ] ],
  [ 744, 601, [ "3D4", 5 ] ], [ 744, 620, [ "3D4", 5 ] ],
  [ 744, 626, [ "F4", 5 ] ], [ 744, 630, [ "3D4", 5 ] ],
  [ 744, 630, [ "F4", 5 ] ], [ 744, 743, [ "l", 2, 1487 ] ],
  [ 745, 744, [ "l", 2, 1489 ] ], [ 747, 746, [ "l", 2, 1493 ] ],
  [ 750, 749, [ "l", 2, 1499 ] ], [ 751, 376, [ "l", 2, 751 ] ],
  [ 752, 736, [ "u", 3, 47 ] ], [ 756, 755, [ "l", 2, 1511 ] ],
  [ 757, 379, [ "l", 2, 757 ] ], [ 757, 728, [ "G2", 27 ] ],
  [ 757, 728, [ "l", 3, 27 ] ], [ 761, 381, [ "l", 2, 761 ] ],
  [ 762, 761, [ "l", 2, 1523 ] ], [ 765, 651, [ "o-", 18, 2 ] ],
  [ 765, 714, [ "o-", 18, 2 ] ], [ 766, 765, [ "l", 2, 1531 ] ],
  [ 769, 385, [ "l", 2, 769 ] ], [ 771, 645, [ "o+", 18, 2 ] ],
  [ 771, 762, [ "o+", 18, 2 ] ], [ 771, 765, [ "s", 18, 2 ] ],
  [ 772, 771, [ "l", 2, 1543 ] ], [ 773, 387, [ "l", 2, 773 ] ],
  [ 775, 774, [ "l", 2, 1549 ] ], [ 777, 776, [ "l", 2, 1553 ] ],
  [ 780, 744, [ "F4", 5 ] ], [ 780, 771, [ "o+", 18, 2 ] ],
  [ 780, 771, [ "s", 18, 2 ] ], [ 780, 779, [ "l", 2, 1559 ] ],
  [ 781, 744, [ "l", 5, 5 ] ], [ 784, 783, [ "l", 2, 1567 ] ],
  [ 786, 785, [ "l", 2, 1571 ] ], [ 787, 394, [ "l", 2, 787 ] ],
  [ 790, 789, [ "l", 2, 1579 ] ], [ 792, 791, [ "l", 2, 1583 ] ],
  [ 797, 399, [ "l", 2, 797 ] ], [ 799, 798, [ "l", 2, 1597 ] ],
  [ 801, 800, [ "l", 2, 1601 ] ], [ 804, 803, [ "l", 2, 1607 ] ],
  [ 805, 804, [ "l", 2, 1609 ] ], [ 807, 806, [ "l", 2, 1613 ] ],
  [ 809, 405, [ "l", 2, 809 ] ], [ 810, 809, [ "l", 2, 1619 ] ],
  [ 811, 406, [ "l", 2, 811 ] ], [ 811, 810, [ "l", 2, 1621 ] ],
  [ 812, 421, [ "s", 4, 29 ] ], [ 812, 435, [ "s", 4, 29 ] ],
  [ 814, 813, [ "l", 2, 1627 ] ], [ 817, 800, [ "l", 3, 49 ] ],
  [ 819, 818, [ "l", 2, 1637 ] ], [ 820, 728, [ "o-", 14, 3 ] ],
  [ 820, 732, [ "o-", 14, 3 ] ], [ 820, 780, [ "o-", 14, 3 ] ],
  [ 821, 411, [ "l", 2, 821 ] ], [ 823, 412, [ "l", 2, 823 ] ],
  [ 827, 414, [ "l", 2, 827 ] ], [ 829, 415, [ "l", 2, 829 ] ],
  [ 829, 828, [ "l", 2, 1657 ] ], [ 832, 831, [ "l", 2, 1663 ] ],
  [ 834, 833, [ "l", 2, 1667 ] ], [ 835, 834, [ "l", 2, 1669 ] ],
  [ 839, 420, [ "l", 2, 839 ] ], [ 840, 771, [ "s", 18, 2 ] ],
  [ 840, 780, [ "s", 18, 2 ] ], [ 841, 840, [ "l", 2, 1681 ] ],
  [ 841, 840, [ "s", 4, 41 ] ], [ 847, 846, [ "l", 2, 1693 ] ],
  [ 849, 848, [ "l", 2, 1697 ] ], [ 850, 849, [ "l", 2, 1699 ] ],
  [ 853, 427, [ "l", 2, 853 ] ], [ 855, 854, [ "l", 2, 1709 ] ],
  [ 857, 429, [ "l", 2, 857 ] ], [ 859, 430, [ "l", 2, 859 ] ],
  [ 861, 841, [ "s", 4, 41 ] ], [ 861, 860, [ "l", 2, 1721 ] ],
  [ 862, 861, [ "l", 2, 1723 ] ], [ 863, 432, [ "l", 2, 863 ] ],
  [ 867, 866, [ "l", 2, 1733 ] ], [ 870, 421, [ "s", 4, 29 ] ],
  [ 870, 435, [ "s", 4, 29 ] ], [ 870, 812, [ "s", 4, 29 ] ],
  [ 871, 840, [ "G2", 29 ] ], [ 871, 840, [ "l", 3, 29 ] ],
  [ 871, 841, [ "G2", 29 ] ], [ 871, 870, [ "G2", 29 ] ],
  [ 871, 870, [ "l", 2, 1741 ] ], [ 874, 873, [ "l", 2, 1747 ] ],
  [ 877, 439, [ "l", 2, 877 ] ], [ 877, 876, [ "l", 2, 1753 ] ],
  [ 880, 879, [ "l", 2, 1759 ] ], [ 881, 441, [ "l", 2, 881 ] ],
  [ 883, 442, [ "l", 2, 883 ] ], [ 887, 444, [ "l", 2, 887 ] ],
  [ 889, 888, [ "l", 2, 1777 ] ], [ 892, 891, [ "l", 2, 1783 ] ],
  [ 894, 893, [ "l", 2, 1787 ] ], [ 895, 894, [ "l", 2, 1789 ] ],
  [ 901, 900, [ "l", 2, 1801 ] ], [ 906, 905, [ "l", 2, 1811 ] ],
  [ 907, 454, [ "l", 2, 907 ] ], [ 911, 456, [ "l", 2, 911 ] ],
  [ 912, 911, [ "l", 2, 1823 ] ], [ 916, 915, [ "l", 2, 1831 ] ],
  [ 919, 460, [ "l", 2, 919 ] ], [ 924, 923, [ "l", 2, 1847 ] ],
  [ 925, 924, [ "l", 2, 1849 ] ], [ 925, 924, [ "s", 4, 43 ] ],
  [ 929, 465, [ "l", 2, 929 ] ], [ 930, 481, [ "s", 4, 31 ] ],
  [ 930, 496, [ "s", 4, 31 ] ], [ 930, 765, [ "o-", 18, 2 ] ],
  [ 930, 771, [ "s", 18, 2 ] ], [ 930, 780, [ "s", 18, 2 ] ],
  [ 930, 840, [ "s", 18, 2 ] ], [ 931, 930, [ "l", 2, 1861 ] ],
  [ 934, 933, [ "l", 2, 1867 ] ], [ 936, 919, [ "u", 3, 53 ] ],
  [ 936, 935, [ "l", 2, 1871 ] ], [ 937, 469, [ "l", 2, 937 ] ],
  [ 937, 936, [ "l", 2, 1873 ] ], [ 939, 819, [ "o+", 10, 5 ] ],
  [ 939, 930, [ "o+", 10, 5 ] ], [ 939, 938, [ "l", 2, 1877 ] ],
  [ 940, 939, [ "l", 2, 1879 ] ], [ 941, 471, [ "l", 2, 941 ] ],
  [ 945, 944, [ "l", 2, 1889 ] ], [ 946, 925, [ "s", 4, 43 ] ],
  [ 947, 474, [ "l", 2, 947 ] ], [ 951, 950, [ "l", 2, 1901 ] ],
  [ 953, 477, [ "l", 2, 953 ] ], [ 954, 936, [ "u", 3, 53 ] ],
  [ 954, 953, [ "l", 2, 1907 ] ], [ 957, 956, [ "l", 2, 1913 ] ],
  [ 960, 931, [ "u", 3, 31 ] ], [ 966, 965, [ "l", 2, 1931 ] ],
  [ 967, 484, [ "l", 2, 967 ] ], [ 967, 966, [ "l", 2, 1933 ] ],
  [ 968, 949, [ "E6", 3 ] ], [ 971, 486, [ "l", 2, 971 ] ],
  [ 975, 974, [ "l", 2, 1949 ] ], [ 976, 975, [ "l", 2, 1951 ] ],
  [ 977, 489, [ "l", 2, 977 ] ], [ 983, 492, [ "l", 2, 983 ] ],
  [ 987, 986, [ "l", 2, 1973 ] ], [ 990, 989, [ "l", 2, 1979 ] ],
  [ 991, 496, [ "l", 2, 991 ] ], [ 992, 481, [ "s", 4, 31 ] ],
  [ 992, 496, [ "s", 4, 31 ] ], [ 992, 930, [ "s", 4, 31 ] ],
  [ 992, 960, [ "u", 3, 31 ] ], [ 993, 960, [ "G2", 31 ] ],
  [ 993, 961, [ "G2", 31 ] ], [ 993, 992, [ "G2", 31 ] ],
  [ 994, 993, [ "l", 2, 1987 ] ], [ 997, 499, [ "l", 2, 997 ] ],
  [ 997, 996, [ "l", 2, 1993 ] ], [ 999, 998, [ "l", 2, 1997 ] ],
  [ 1000, 999, [ "l", 2, 1999 ] ], [ 1002, 1001, [ "l", 2, 2003 ] ],
  [ 1006, 1005, [ "l", 2, 2011 ] ], [ 1009, 505, [ "l", 2, 1009 ] ],
  [ 1009, 1008, [ "l", 2, 2017 ] ], [ 1013, 507, [ "l", 2, 1013 ] ],
  [ 1014, 1013, [ "l", 2, 2027 ] ], [ 1015, 1014, [ "l", 2, 2029 ] ],
  [ 1019, 510, [ "l", 2, 1019 ] ], [ 1020, 765, [ "o-", 18, 2 ] ],
  [ 1020, 771, [ "s", 18, 2 ] ], [ 1020, 780, [ "s", 18, 2 ] ],
  [ 1020, 840, [ "s", 18, 2 ] ], [ 1020, 930, [ "o-", 18, 2 ] ],
  [ 1020, 930, [ "s", 18, 2 ] ], [ 1020, 1019, [ "l", 2, 2039 ] ],
  [ 1021, 511, [ "l", 2, 1021 ] ], [ 1023, 765, [ "u", 11, 2 ] ],
  [ 1023, 765, [ "u", 12, 2 ] ], [ 1023, 774, [ "u", 12, 2 ] ],
  [ 1023, 889, [ "l", 10, 2 ] ], [ 1023, 1020, [ "u", 11, 2 ] ],
  [ 1023, 1020, [ "u", 12, 2 ] ], [ 1025, 819, [ "u", 6, 4 ] ],
  [ 1025, 1023, [ "l", 2, 1024 ] ], [ 1025, 1023, [ "s", 4, 32 ] ],
  [ 1026, 1023, [ "u", 11, 2 ] ], [ 1026, 1023, [ "u", 12, 2 ] ],
  [ 1027, 1026, [ "l", 2, 2053 ] ], [ 1031, 516, [ "l", 2, 1031 ] ],
  [ 1032, 1031, [ "l", 2, 2063 ] ], [ 1033, 517, [ "l", 2, 1033 ] ],
  [ 1035, 1034, [ "l", 2, 2069 ] ], [ 1039, 520, [ "l", 2, 1039 ] ],
  [ 1040, 728, [ "2E6", 3 ] ], [ 1040, 732, [ "2E6", 3 ] ],
  [ 1041, 1040, [ "l", 2, 2081 ] ], [ 1042, 1041, [ "l", 2, 2083 ] ],
  [ 1044, 1043, [ "l", 2, 2087 ] ], [ 1045, 1044, [ "l", 2, 2089 ] ],
  [ 1049, 525, [ "l", 2, 1049 ] ], [ 1050, 1049, [ "l", 2, 2099 ] ],
  [ 1051, 526, [ "l", 2, 1051 ] ], [ 1056, 1055, [ "l", 2, 2111 ] ],
  [ 1057, 1023, [ "G2", 32 ] ], [ 1057, 1023, [ "l", 3, 32 ] ],
  [ 1057, 1056, [ "l", 2, 2113 ] ], [ 1061, 531, [ "l", 2, 1061 ] ],
  [ 1063, 532, [ "l", 2, 1063 ] ], [ 1065, 1064, [ "l", 2, 2129 ] ],
  [ 1066, 1065, [ "l", 2, 2131 ] ], [ 1069, 535, [ "l", 2, 1069 ] ],
  [ 1069, 1068, [ "l", 2, 2137 ] ], [ 1071, 1025, [ "o-", 10, 4 ] ],
  [ 1071, 1070, [ "l", 2, 2141 ] ], [ 1072, 1071, [ "l", 2, 2143 ] ],
  [ 1077, 1076, [ "l", 2, 2153 ] ], [ 1081, 1080, [ "l", 2, 2161 ] ],
  [ 1087, 544, [ "l", 2, 1087 ] ], [ 1090, 1089, [ "l", 2, 2179 ] ],
  [ 1091, 546, [ "l", 2, 1091 ] ], [ 1092, 968, [ "E6", 3 ] ],
  [ 1093, 547, [ "l", 2, 1093 ] ], [ 1093, 1040, [ "l", 7, 3 ] ],
  [ 1094, 1093, [ "l", 2, 2187 ] ], [ 1097, 549, [ "l", 2, 1097 ] ],
  [ 1099, 1020, [ "u", 4, 13 ] ], [ 1099, 1092, [ "u", 4, 13 ] ],
  [ 1099, 1098, [ "l", 2, 2197 ] ], [ 1102, 1101, [ "l", 2, 2203 ] ],
  [ 1103, 552, [ "l", 2, 1103 ] ], [ 1104, 1103, [ "l", 2, 2207 ] ],
  [ 1105, 1104, [ "l", 2, 2209 ] ], [ 1105, 1104, [ "s", 4, 47 ] ],
  [ 1107, 1106, [ "l", 2, 2213 ] ], [ 1109, 555, [ "l", 2, 1109 ] ],
  [ 1111, 1110, [ "l", 2, 2221 ] ], [ 1117, 559, [ "l", 2, 1117 ] ],
  [ 1119, 1118, [ "l", 2, 2237 ] ], [ 1120, 1119, [ "l", 2, 2239 ] ],
  [ 1122, 1121, [ "l", 2, 2243 ] ], [ 1123, 562, [ "l", 2, 1123 ] ],
  [ 1126, 1125, [ "l", 2, 2251 ] ], [ 1128, 1105, [ "s", 4, 47 ] ],
  [ 1129, 565, [ "l", 2, 1129 ] ], [ 1134, 1133, [ "l", 2, 2267 ] ],
  [ 1135, 1134, [ "l", 2, 2269 ] ], [ 1137, 1136, [ "l", 2, 2273 ] ],
  [ 1141, 1140, [ "l", 2, 2281 ] ], [ 1144, 1143, [ "l", 2, 2287 ] ],
  [ 1147, 1146, [ "l", 2, 2293 ] ], [ 1149, 1148, [ "l", 2, 2297 ] ],
  [ 1151, 576, [ "l", 2, 1151 ] ], [ 1153, 577, [ "l", 2, 1153 ] ],
  [ 1155, 1154, [ "l", 2, 2309 ] ], [ 1156, 1155, [ "l", 2, 2311 ] ],
  [ 1160, 1141, [ "u", 3, 59 ] ], [ 1163, 582, [ "l", 2, 1163 ] ],
  [ 1167, 1166, [ "l", 2, 2333 ] ], [ 1170, 1169, [ "l", 2, 2339 ] ],
  [ 1171, 586, [ "l", 2, 1171 ] ], [ 1171, 1170, [ "l", 2, 2341 ] ],
  [ 1174, 1173, [ "l", 2, 2347 ] ], [ 1176, 1175, [ "l", 2, 2351 ] ],
  [ 1179, 1178, [ "l", 2, 2357 ] ], [ 1180, 1160, [ "u", 3, 59 ] ],
  [ 1181, 591, [ "l", 2, 1181 ] ], [ 1186, 1185, [ "l", 2, 2371 ] ],
  [ 1187, 594, [ "l", 2, 1187 ] ], [ 1189, 1188, [ "l", 2, 2377 ] ],
  [ 1190, 1099, [ "o", 7, 13 ] ], [ 1190, 1099, [ "s", 6, 13 ] ],
  [ 1190, 1105, [ "o", 7, 13 ] ], [ 1190, 1105, [ "s", 6, 13 ] ],
  [ 1191, 1190, [ "l", 2, 2381 ] ], [ 1192, 1191, [ "l", 2, 2383 ] ],
  [ 1193, 597, [ "l", 2, 1193 ] ], [ 1195, 1194, [ "l", 2, 2389 ] ],
  [ 1197, 1196, [ "l", 2, 2393 ] ], [ 1200, 1199, [ "l", 2, 2399 ] ],
  [ 1201, 601, [ "l", 2, 1201 ] ], [ 1201, 1200, [ "l", 2, 2401 ] ],
  [ 1201, 1200, [ "s", 4, 49 ] ], [ 1206, 1205, [ "l", 2, 2411 ] ],
  [ 1209, 1208, [ "l", 2, 2417 ] ], [ 1212, 1211, [ "l", 2, 2423 ] ],
  [ 1213, 607, [ "l", 2, 1213 ] ], [ 1217, 609, [ "l", 2, 1217 ] ],
  [ 1219, 1218, [ "l", 2, 2437 ] ], [ 1221, 1220, [ "l", 2, 2441 ] ],
  [ 1223, 612, [ "l", 2, 1223 ] ], [ 1224, 1223, [ "l", 2, 2447 ] ],
  [ 1229, 615, [ "l", 2, 1229 ] ], [ 1230, 1229, [ "l", 2, 2459 ] ],
  [ 1231, 616, [ "l", 2, 1231 ] ], [ 1234, 1233, [ "l", 2, 2467 ] ],
  [ 1237, 619, [ "l", 2, 1237 ] ], [ 1237, 1236, [ "l", 2, 2473 ] ],
  [ 1239, 1238, [ "l", 2, 2477 ] ], [ 1249, 625, [ "l", 2, 1249 ] ],
  [ 1252, 1251, [ "l", 2, 2503 ] ], [ 1259, 630, [ "l", 2, 1259 ] ],
  [ 1261, 1240, [ "l", 3, 61 ] ], [ 1261, 1260, [ "l", 2, 2521 ] ],
  [ 1266, 1265, [ "l", 2, 2531 ] ], [ 1270, 1269, [ "l", 2, 2539 ] ],
  [ 1272, 1271, [ "l", 2, 2543 ] ], [ 1275, 1274, [ "l", 2, 2549 ] ],
  [ 1276, 1275, [ "l", 2, 2551 ] ], [ 1277, 639, [ "l", 2, 1277 ] ],
  [ 1279, 640, [ "l", 2, 1279 ] ], [ 1279, 1278, [ "l", 2, 2557 ] ],
  [ 1283, 642, [ "l", 2, 1283 ] ], [ 1285, 1105, [ "o+", 10, 4 ] ],
  [ 1285, 1105, [ "s", 10, 4 ] ], [ 1289, 645, [ "l", 2, 1289 ] ],
  [ 1290, 1289, [ "l", 2, 2579 ] ], [ 1291, 646, [ "l", 2, 1291 ] ],
  [ 1296, 1295, [ "l", 2, 2591 ] ], [ 1297, 649, [ "l", 2, 1297 ] ],
  [ 1297, 1296, [ "l", 2, 2593 ] ], [ 1301, 651, [ "l", 2, 1301 ] ],
  [ 1303, 652, [ "l", 2, 1303 ] ], [ 1305, 1228, [ "l", 4, 17 ] ],
  [ 1305, 1304, [ "l", 2, 2609 ] ], [ 1307, 654, [ "l", 2, 1307 ] ],
  [ 1309, 1308, [ "l", 2, 2617 ] ], [ 1311, 1310, [ "l", 2, 2621 ] ],
  [ 1312, 1181, [ "u", 5, 9 ] ], [ 1317, 1316, [ "l", 2, 2633 ] ],
  [ 1319, 660, [ "l", 2, 1319 ] ], [ 1320, 732, [ "s", 6, 11 ] ],
  [ 1321, 661, [ "l", 2, 1321 ] ], [ 1321, 1271, [ "2F4", 32 ] ],
  [ 1324, 1323, [ "l", 2, 2647 ] ], [ 1327, 664, [ "l", 2, 1327 ] ],
  [ 1329, 1328, [ "l", 2, 2657 ] ], [ 1330, 1329, [ "l", 2, 2659 ] ],
  [ 1332, 685, [ "s", 4, 37 ] ], [ 1332, 703, [ "s", 4, 37 ] ],
  [ 1332, 1331, [ "l", 2, 2663 ] ], [ 1336, 1335, [ "l", 2, 2671 ] ],
  [ 1339, 1338, [ "l", 2, 2677 ] ], [ 1342, 732, [ "s", 6, 11 ] ],
  [ 1342, 1320, [ "s", 6, 11 ] ], [ 1342, 1341, [ "l", 2, 2683 ] ],
  [ 1344, 1343, [ "l", 2, 2687 ] ], [ 1345, 1344, [ "l", 2, 2689 ] ],
  [ 1347, 1346, [ "l", 2, 2693 ] ], [ 1350, 1349, [ "l", 2, 2699 ] ],
  [ 1354, 1353, [ "l", 2, 2707 ] ], [ 1356, 1355, [ "l", 2, 2711 ] ],
  [ 1357, 1356, [ "l", 2, 2713 ] ], [ 1360, 1359, [ "l", 2, 2719 ] ],
  [ 1361, 681, [ "l", 2, 1361 ] ], [ 1365, 1364, [ "l", 2, 2729 ] ],
  [ 1366, 1365, [ "l", 2, 2731 ] ], [ 1367, 684, [ "l", 2, 1367 ] ],
  [ 1368, 1201, [ "o", 9, 7 ] ], [ 1368, 1201, [ "o-", 8, 7 ] ],
  [ 1368, 1201, [ "s", 8, 7 ] ], [ 1368, 1204, [ "o", 9, 7 ] ],
  [ 1368, 1204, [ "s", 8, 7 ] ], [ 1368, 1333, [ "u", 3, 37 ] ],
  [ 1371, 1370, [ "l", 2, 2741 ] ], [ 1373, 687, [ "l", 2, 1373 ] ],
  [ 1375, 1374, [ "l", 2, 2749 ] ], [ 1377, 1376, [ "l", 2, 2753 ] ],
  [ 1381, 691, [ "l", 2, 1381 ] ], [ 1384, 1383, [ "l", 2, 2767 ] ],
  [ 1387, 1365, [ "l", 3, 64 ] ], [ 1389, 1388, [ "l", 2, 2777 ] ],
  [ 1395, 1394, [ "l", 2, 2789 ] ], [ 1396, 1395, [ "l", 2, 2791 ] ],
  [ 1399, 700, [ "l", 2, 1399 ] ], [ 1399, 1398, [ "l", 2, 2797 ] ],
  [ 1400, 1368, [ "o", 9, 7 ] ], [ 1400, 1368, [ "o-", 8, 7 ] ],
  [ 1400, 1368, [ "s", 8, 7 ] ], [ 1401, 1400, [ "l", 2, 2801 ] ],
  [ 1402, 1401, [ "l", 2, 2803 ] ], [ 1405, 1404, [ "l", 2, 2809 ] ],
  [ 1405, 1404, [ "s", 4, 53 ] ], [ 1406, 685, [ "s", 4, 37 ] ],
  [ 1406, 703, [ "s", 4, 37 ] ], [ 1406, 1332, [ "s", 4, 37 ] ],
  [ 1406, 1368, [ "u", 3, 37 ] ], [ 1407, 1368, [ "G2", 37 ] ],
  [ 1407, 1369, [ "G2", 37 ] ], [ 1407, 1406, [ "G2", 37 ] ],
  [ 1409, 705, [ "l", 2, 1409 ] ], [ 1410, 1409, [ "l", 2, 2819 ] ],
  [ 1417, 1416, [ "l", 2, 2833 ] ], [ 1419, 1418, [ "l", 2, 2837 ] ],
  [ 1422, 1421, [ "l", 2, 2843 ] ], [ 1423, 712, [ "l", 2, 1423 ] ],
  [ 1426, 1425, [ "l", 2, 2851 ] ], [ 1427, 714, [ "l", 2, 1427 ] ],
  [ 1429, 715, [ "l", 2, 1429 ] ], [ 1429, 1428, [ "l", 2, 2857 ] ],
  [ 1431, 1405, [ "s", 4, 53 ] ], [ 1431, 1430, [ "l", 2, 2861 ] ],
  [ 1433, 717, [ "l", 2, 1433 ] ], [ 1439, 720, [ "l", 2, 1439 ] ],
  [ 1440, 1439, [ "l", 2, 2879 ] ], [ 1444, 1443, [ "l", 2, 2887 ] ],
  [ 1447, 724, [ "l", 2, 1447 ] ], [ 1449, 1448, [ "l", 2, 2897 ] ],
  [ 1451, 726, [ "l", 2, 1451 ] ], [ 1452, 1451, [ "l", 2, 2903 ] ],
  [ 1453, 727, [ "l", 2, 1453 ] ], [ 1455, 1454, [ "l", 2, 2909 ] ],
  [ 1459, 730, [ "l", 2, 1459 ] ], [ 1459, 1458, [ "l", 2, 2917 ] ],
  [ 1460, 1220, [ "o", 15, 3 ] ], [ 1460, 1220, [ "o+", 14, 3 ] ],
  [ 1460, 1220, [ "s", 14, 3 ] ], [ 1460, 1230, [ "o", 15, 3 ] ],
  [ 1460, 1230, [ "s", 14, 3 ] ], [ 1460, 1260, [ "o", 15, 3 ] ],
  [ 1460, 1260, [ "s", 14, 3 ] ], [ 1460, 1452, [ "o", 15, 3 ] ],
  [ 1460, 1452, [ "o+", 14, 3 ] ], [ 1460, 1452, [ "s", 14, 3 ] ],
  [ 1464, 1463, [ "l", 2, 2927 ] ], [ 1470, 1469, [ "l", 2, 2939 ] ],
  [ 1471, 736, [ "l", 2, 1471 ] ], [ 1476, 1460, [ "o", 15, 3 ] ],
  [ 1476, 1460, [ "s", 14, 3 ] ], [ 1477, 1476, [ "l", 2, 2953 ] ],
  [ 1479, 1478, [ "l", 2, 2957 ] ], [ 1481, 741, [ "l", 2, 1481 ] ],
  [ 1482, 1481, [ "l", 2, 2963 ] ], [ 1483, 742, [ "l", 2, 1483 ] ],
  [ 1485, 1484, [ "l", 2, 2969 ] ], [ 1486, 1485, [ "l", 2, 2971 ] ],
  [ 1487, 744, [ "l", 2, 1487 ] ], [ 1489, 745, [ "l", 2, 1489 ] ],
  [ 1493, 747, [ "l", 2, 1493 ] ], [ 1499, 750, [ "l", 2, 1499 ] ],
  [ 1500, 1499, [ "l", 2, 2999 ] ], [ 1501, 1500, [ "l", 2, 3001 ] ],
  [ 1506, 1505, [ "l", 2, 3011 ] ], [ 1510, 1509, [ "l", 2, 3019 ] ],
  [ 1511, 756, [ "l", 2, 1511 ] ], [ 1512, 1511, [ "l", 2, 3023 ] ],
  [ 1519, 1496, [ "l", 3, 67 ] ], [ 1519, 1518, [ "l", 2, 3037 ] ],
  [ 1521, 1520, [ "l", 2, 3041 ] ], [ 1523, 762, [ "l", 2, 1523 ] ],
  [ 1525, 1524, [ "l", 2, 3049 ] ], [ 1531, 766, [ "l", 2, 1531 ] ],
  [ 1531, 1530, [ "l", 2, 3061 ] ], [ 1534, 1533, [ "l", 2, 3067 ] ],
  [ 1540, 1539, [ "l", 2, 3079 ] ], [ 1542, 1541, [ "l", 2, 3083 ] ],
  [ 1543, 772, [ "l", 2, 1543 ] ], [ 1545, 1544, [ "l", 2, 3089 ] ],
  [ 1549, 775, [ "l", 2, 1549 ] ], [ 1553, 777, [ "l", 2, 1553 ] ],
  [ 1555, 1554, [ "l", 2, 3109 ] ], [ 1559, 780, [ "l", 2, 1559 ] ],
  [ 1560, 1559, [ "l", 2, 3119 ] ], [ 1561, 1560, [ "l", 2, 3121 ] ],
  [ 1563, 1562, [ "l", 2, 3125 ] ], [ 1567, 784, [ "l", 2, 1567 ] ],
  [ 1569, 1568, [ "l", 2, 3137 ] ], [ 1571, 786, [ "l", 2, 1571 ] ],
  [ 1579, 790, [ "l", 2, 1579 ] ], [ 1582, 1581, [ "l", 2, 3163 ] ],
  [ 1583, 792, [ "l", 2, 1583 ] ], [ 1584, 1583, [ "l", 2, 3167 ] ],
  [ 1585, 1584, [ "l", 2, 3169 ] ], [ 1591, 1590, [ "l", 2, 3181 ] ],
  [ 1594, 1593, [ "l", 2, 3187 ] ], [ 1596, 1595, [ "l", 2, 3191 ] ],
  [ 1597, 799, [ "l", 2, 1597 ] ], [ 1601, 801, [ "l", 2, 1601 ] ],
  [ 1602, 1601, [ "l", 2, 3203 ] ], [ 1605, 1604, [ "l", 2, 3209 ] ],
  [ 1607, 804, [ "l", 2, 1607 ] ], [ 1609, 805, [ "l", 2, 1609 ] ],
  [ 1609, 1608, [ "l", 2, 3217 ] ], [ 1611, 1610, [ "l", 2, 3221 ] ],
  [ 1612, 1563, [ "o-", 10, 5 ] ], [ 1613, 807, [ "l", 2, 1613 ] ],
  [ 1615, 1614, [ "l", 2, 3229 ] ], [ 1619, 810, [ "l", 2, 1619 ] ],
  [ 1621, 811, [ "l", 2, 1621 ] ], [ 1626, 1625, [ "l", 2, 3251 ] ],
  [ 1627, 814, [ "l", 2, 1627 ] ], [ 1627, 1626, [ "l", 2, 3253 ] ],
  [ 1629, 1628, [ "l", 2, 3257 ] ], [ 1630, 1629, [ "l", 2, 3259 ] ],
  [ 1636, 1635, [ "l", 2, 3271 ] ], [ 1637, 819, [ "l", 2, 1637 ] ],
  [ 1640, 820, [ "o+", 8, 9 ] ], [ 1640, 841, [ "s", 4, 41 ] ],
  [ 1640, 861, [ "s", 4, 41 ] ], [ 1640, 1573, [ "E7", 3 ] ],
  [ 1640, 1573, [ "l", 8, 3 ] ], [ 1650, 1649, [ "l", 2, 3299 ] ],
  [ 1651, 1650, [ "l", 2, 3301 ] ], [ 1654, 1653, [ "l", 2, 3307 ] ],
  [ 1657, 829, [ "l", 2, 1657 ] ], [ 1657, 1656, [ "l", 2, 3313 ] ],
  [ 1660, 1659, [ "l", 2, 3319 ] ], [ 1662, 1661, [ "l", 2, 3323 ] ],
  [ 1663, 832, [ "l", 2, 1663 ] ], [ 1665, 1664, [ "l", 2, 3329 ] ],
  [ 1666, 1665, [ "l", 2, 3331 ] ], [ 1667, 834, [ "l", 2, 1667 ] ],
  [ 1669, 835, [ "l", 2, 1669 ] ], [ 1672, 1671, [ "l", 2, 3343 ] ],
  [ 1674, 1673, [ "l", 2, 3347 ] ], [ 1680, 1657, [ "u", 3, 71 ] ],
  [ 1680, 1679, [ "l", 2, 3359 ] ], [ 1681, 1680, [ "l", 2, 3361 ] ],
  [ 1686, 1685, [ "l", 2, 3371 ] ], [ 1687, 1686, [ "l", 2, 3373 ] ],
  [ 1693, 847, [ "l", 2, 1693 ] ], [ 1695, 1694, [ "l", 2, 3389 ] ],
  [ 1696, 1695, [ "l", 2, 3391 ] ], [ 1697, 849, [ "l", 2, 1697 ] ],
  [ 1699, 850, [ "l", 2, 1699 ] ], [ 1704, 1680, [ "u", 3, 71 ] ],
  [ 1704, 1703, [ "l", 2, 3407 ] ], [ 1705, 1687, [ "E6", 4 ] ],
  [ 1707, 1706, [ "l", 2, 3413 ] ], [ 1709, 855, [ "l", 2, 1709 ] ],
  [ 1715, 1629, [ "u", 4, 19 ] ], [ 1715, 1710, [ "u", 4, 19 ] ],
  [ 1717, 1716, [ "l", 2, 3433 ] ], [ 1721, 861, [ "l", 2, 1721 ] ],
  [ 1722, 841, [ "s", 4, 41 ] ], [ 1722, 861, [ "s", 4, 41 ] ],
  [ 1722, 1640, [ "s", 4, 41 ] ], [ 1723, 862, [ "l", 2, 1723 ] ],
  [ 1723, 1680, [ "G2", 41 ] ], [ 1723, 1680, [ "l", 3, 41 ] ],
  [ 1723, 1681, [ "G2", 41 ] ], [ 1723, 1722, [ "G2", 41 ] ],
  [ 1725, 1724, [ "l", 2, 3449 ] ], [ 1729, 1728, [ "l", 2, 3457 ] ],
  [ 1731, 1730, [ "l", 2, 3461 ] ], [ 1732, 1731, [ "l", 2, 3463 ] ],
  [ 1733, 867, [ "l", 2, 1733 ] ], [ 1734, 1733, [ "l", 2, 3467 ] ],
  [ 1735, 1734, [ "l", 2, 3469 ] ], [ 1741, 871, [ "l", 2, 1741 ] ],
  [ 1741, 1740, [ "l", 2, 3481 ] ], [ 1741, 1740, [ "s", 4, 59 ] ],
  [ 1746, 1745, [ "l", 2, 3491 ] ], [ 1747, 874, [ "l", 2, 1747 ] ],
  [ 1750, 1749, [ "l", 2, 3499 ] ], [ 1753, 877, [ "l", 2, 1753 ] ],
  [ 1756, 1755, [ "l", 2, 3511 ] ], [ 1759, 880, [ "l", 2, 1759 ] ],
  [ 1759, 1758, [ "l", 2, 3517 ] ], [ 1764, 1763, [ "l", 2, 3527 ] ],
  [ 1765, 1764, [ "l", 2, 3529 ] ], [ 1767, 1766, [ "l", 2, 3533 ] ],
  [ 1770, 1741, [ "s", 4, 59 ] ], [ 1770, 1769, [ "l", 2, 3539 ] ],
  [ 1771, 1770, [ "l", 2, 3541 ] ], [ 1774, 1773, [ "l", 2, 3547 ] ],
  [ 1777, 889, [ "l", 2, 1777 ] ], [ 1779, 1778, [ "l", 2, 3557 ] ],
  [ 1780, 1779, [ "l", 2, 3559 ] ], [ 1783, 892, [ "l", 2, 1783 ] ],
  [ 1785, 1533, [ "o-", 20, 2 ] ], [ 1785, 1542, [ "o-", 20, 2 ] ],
  [ 1786, 1785, [ "l", 2, 3571 ] ], [ 1787, 894, [ "l", 2, 1787 ] ],
  [ 1789, 895, [ "l", 2, 1789 ] ], [ 1791, 1790, [ "l", 2, 3581 ] ],
  [ 1792, 1791, [ "l", 2, 3583 ] ], [ 1797, 1796, [ "l", 2, 3593 ] ],
  [ 1801, 901, [ "l", 2, 1801 ] ], [ 1801, 1776, [ "l", 3, 73 ] ],
  [ 1804, 1803, [ "l", 2, 3607 ] ], [ 1806, 925, [ "s", 4, 43 ] ],
  [ 1806, 946, [ "s", 4, 43 ] ], [ 1807, 1806, [ "l", 2, 3613 ] ],
  [ 1809, 1808, [ "l", 2, 3617 ] ], [ 1811, 906, [ "l", 2, 1811 ] ],
  [ 1812, 1811, [ "l", 2, 3623 ] ], [ 1816, 1815, [ "l", 2, 3631 ] ],
  [ 1819, 1818, [ "l", 2, 3637 ] ], [ 1822, 1821, [ "l", 2, 3643 ] ],
  [ 1823, 912, [ "l", 2, 1823 ] ], [ 1830, 1829, [ "l", 2, 3659 ] ],
  [ 1831, 916, [ "l", 2, 1831 ] ], [ 1836, 1835, [ "l", 2, 3671 ] ],
  [ 1837, 1836, [ "l", 2, 3673 ] ], [ 1839, 1838, [ "l", 2, 3677 ] ],
  [ 1846, 1845, [ "l", 2, 3691 ] ], [ 1847, 924, [ "l", 2, 1847 ] ],
  [ 1848, 1807, [ "u", 3, 43 ] ], [ 1849, 1848, [ "l", 2, 3697 ] ],
  [ 1851, 1850, [ "l", 2, 3701 ] ], [ 1855, 1854, [ "l", 2, 3709 ] ],
  [ 1860, 1859, [ "l", 2, 3719 ] ], [ 1861, 931, [ "l", 2, 1861 ] ],
  [ 1861, 1860, [ "l", 2, 3721 ] ], [ 1861, 1860, [ "s", 4, 61 ] ],
  [ 1864, 1863, [ "l", 2, 3727 ] ], [ 1867, 934, [ "l", 2, 1867 ] ],
  [ 1867, 1866, [ "l", 2, 3733 ] ], [ 1870, 1869, [ "l", 2, 3739 ] ],
  [ 1871, 936, [ "l", 2, 1871 ] ], [ 1873, 937, [ "l", 2, 1873 ] ],
  [ 1877, 939, [ "l", 2, 1877 ] ], [ 1878, 1638, [ "o", 11, 5 ] ],
  [ 1878, 1638, [ "s", 10, 5 ] ], [ 1878, 1860, [ "o", 11, 5 ] ],
  [ 1878, 1860, [ "s", 10, 5 ] ], [ 1879, 940, [ "l", 2, 1879 ] ],
  [ 1881, 1880, [ "l", 2, 3761 ] ], [ 1884, 1883, [ "l", 2, 3767 ] ],
  [ 1885, 1884, [ "l", 2, 3769 ] ], [ 1889, 945, [ "l", 2, 1889 ] ],
  [ 1890, 1889, [ "l", 2, 3779 ] ], [ 1891, 1861, [ "s", 4, 61 ] ],
  [ 1892, 925, [ "s", 4, 43 ] ], [ 1892, 946, [ "s", 4, 43 ] ],
  [ 1892, 1806, [ "s", 4, 43 ] ], [ 1892, 1848, [ "u", 3, 43 ] ],
  [ 1893, 1848, [ "G2", 43 ] ], [ 1893, 1849, [ "G2", 43 ] ],
  [ 1893, 1892, [ "G2", 43 ] ], [ 1897, 1896, [ "l", 2, 3793 ] ],
  [ 1899, 1898, [ "l", 2, 3797 ] ], [ 1901, 951, [ "l", 2, 1901 ] ],
  [ 1902, 1901, [ "l", 2, 3803 ] ], [ 1905, 1581, [ "o+", 20, 2 ] ],
  [ 1905, 1785, [ "s", 20, 2 ] ], [ 1905, 1860, [ "o+", 20, 2 ] ],
  [ 1905, 1860, [ "s", 20, 2 ] ], [ 1907, 954, [ "l", 2, 1907 ] ],
  [ 1911, 1910, [ "l", 2, 3821 ] ], [ 1912, 1911, [ "l", 2, 3823 ] ],
  [ 1913, 957, [ "l", 2, 1913 ] ], [ 1917, 1916, [ "l", 2, 3833 ] ],
  [ 1924, 1923, [ "l", 2, 3847 ] ], [ 1926, 1925, [ "l", 2, 3851 ] ],
  [ 1927, 1926, [ "l", 2, 3853 ] ], [ 1931, 966, [ "l", 2, 1931 ] ],
  [ 1932, 1931, [ "l", 2, 3863 ] ], [ 1933, 967, [ "l", 2, 1933 ] ],
  [ 1939, 1938, [ "l", 2, 3877 ] ], [ 1941, 1940, [ "l", 2, 3881 ] ],
  [ 1945, 1944, [ "l", 2, 3889 ] ], [ 1949, 975, [ "l", 2, 1949 ] ],
  [ 1951, 976, [ "l", 2, 1951 ] ], [ 1953, 1562, [ "l", 6, 5 ] ],
  [ 1954, 1953, [ "l", 2, 3907 ] ], [ 1956, 1955, [ "l", 2, 3911 ] ],
  [ 1959, 1958, [ "l", 2, 3917 ] ], [ 1960, 1959, [ "l", 2, 3919 ] ],
  [ 1962, 1961, [ "l", 2, 3923 ] ], [ 1965, 1964, [ "l", 2, 3929 ] ],
  [ 1966, 1965, [ "l", 2, 3931 ] ], [ 1972, 1971, [ "l", 2, 3943 ] ],
  [ 1973, 987, [ "l", 2, 1973 ] ], [ 1974, 1973, [ "l", 2, 3947 ] ],
  [ 1979, 990, [ "l", 2, 1979 ] ], [ 1984, 1983, [ "l", 2, 3967 ] ],
  [ 1987, 994, [ "l", 2, 1987 ] ], [ 1993, 997, [ "l", 2, 1993 ] ],
  [ 1995, 1994, [ "l", 2, 3989 ] ], [ 1997, 999, [ "l", 2, 1997 ] ],
  [ 1999, 1000, [ "l", 2, 1999 ] ], [ 2001, 2000, [ "l", 2, 4001 ] ],
  [ 2002, 2001, [ "l", 2, 4003 ] ], [ 2003, 1002, [ "l", 2, 2003 ] ],
  [ 2004, 2003, [ "l", 2, 4007 ] ], [ 2007, 2006, [ "l", 2, 4013 ] ],
  [ 2010, 2009, [ "l", 2, 4019 ] ], [ 2011, 1006, [ "l", 2, 2011 ] ],
  [ 2011, 2010, [ "l", 2, 4021 ] ], [ 2014, 2013, [ "l", 2, 4027 ] ],
  [ 2017, 1009, [ "l", 2, 2017 ] ], [ 2025, 2024, [ "l", 2, 4049 ] ],
  [ 2026, 2025, [ "l", 2, 4051 ] ], [ 2027, 1014, [ "l", 2, 2027 ] ],
  [ 2029, 1015, [ "l", 2, 2029 ] ], [ 2029, 2028, [ "l", 2, 4057 ] ],
  [ 2037, 2036, [ "l", 2, 4073 ] ], [ 2039, 1020, [ "l", 2, 2039 ] ],
  [ 2040, 1905, [ "s", 20, 2 ] ], [ 2040, 2039, [ "l", 2, 4079 ] ],
  [ 2046, 2045, [ "l", 2, 4091 ] ], [ 2047, 1953, [ "l", 11, 2 ] ],
  [ 2047, 2046, [ "l", 2, 4093 ] ], [ 2049, 2047, [ "l", 2, 2048 ] ],
  [ 2050, 2049, [ "l", 2, 4099 ] ], [ 2053, 1027, [ "l", 2, 2053 ] ],
  [ 2056, 2055, [ "l", 2, 4111 ] ], [ 2063, 1032, [ "l", 2, 2063 ] ],
  [ 2064, 2063, [ "l", 2, 4127 ] ], [ 2065, 2064, [ "l", 2, 4129 ] ],
  [ 2067, 2066, [ "l", 2, 4133 ] ], [ 2069, 1035, [ "l", 2, 2069 ] ],
  [ 2070, 2069, [ "l", 2, 4139 ] ], [ 2077, 2076, [ "l", 2, 4153 ] ],
  [ 2079, 2078, [ "l", 2, 4157 ] ], [ 2080, 2079, [ "l", 2, 4159 ] ],
  [ 2081, 1041, [ "l", 2, 2081 ] ], [ 2083, 1042, [ "l", 2, 2083 ] ],
  [ 2087, 1044, [ "l", 2, 2087 ] ], [ 2089, 1045, [ "l", 2, 2089 ] ],
  [ 2089, 2088, [ "l", 2, 4177 ] ], [ 2099, 1050, [ "l", 2, 2099 ] ],
  [ 2101, 2100, [ "l", 2, 4201 ] ], [ 2106, 2105, [ "l", 2, 4211 ] ],
  [ 2107, 2080, [ "l", 3, 79 ] ], [ 2109, 2108, [ "l", 2, 4217 ] ],
  [ 2110, 2109, [ "l", 2, 4219 ] ], [ 2111, 1056, [ "l", 2, 2111 ] ],
  [ 2113, 1057, [ "l", 2, 2113 ] ], [ 2113, 2047, [ "2B2", 2048 ] ],
  [ 2115, 2114, [ "l", 2, 4229 ] ], [ 2116, 2115, [ "l", 2, 4231 ] ],
  [ 2121, 2120, [ "l", 2, 4241 ] ], [ 2122, 2121, [ "l", 2, 4243 ] ],
  [ 2127, 2126, [ "l", 2, 4253 ] ], [ 2129, 1065, [ "l", 2, 2129 ] ],
  [ 2130, 2129, [ "l", 2, 4259 ] ], [ 2131, 1066, [ "l", 2, 2131 ] ],
  [ 2131, 2130, [ "l", 2, 4261 ] ], [ 2136, 2135, [ "l", 2, 4271 ] ],
  [ 2137, 1069, [ "l", 2, 2137 ] ], [ 2137, 2136, [ "l", 2, 4273 ] ],
  [ 2141, 1071, [ "l", 2, 2141 ] ], [ 2142, 2141, [ "l", 2, 4283 ] ],
  [ 2143, 1072, [ "l", 2, 2143 ] ], [ 2145, 2144, [ "l", 2, 4289 ] ],
  [ 2149, 2148, [ "l", 2, 4297 ] ], [ 2153, 1077, [ "l", 2, 2153 ] ],
  [ 2161, 1081, [ "l", 2, 2161 ] ], [ 2162, 1105, [ "s", 4, 47 ] ],
  [ 2162, 1128, [ "s", 4, 47 ] ], [ 2164, 2163, [ "l", 2, 4327 ] ],
  [ 2169, 2168, [ "l", 2, 4337 ] ], [ 2170, 2169, [ "l", 2, 4339 ] ],
  [ 2175, 2174, [ "l", 2, 4349 ] ], [ 2178, 1460, [ "s", 14, 3 ] ],
  [ 2178, 1476, [ "s", 14, 3 ] ], [ 2179, 1090, [ "l", 2, 2179 ] ],
  [ 2179, 2178, [ "l", 2, 4357 ] ], [ 2182, 2181, [ "l", 2, 4363 ] ],
  [ 2184, 1190, [ "s", 6, 13 ] ], [ 2184, 1460, [ "s", 14, 3 ] ],
  [ 2184, 1476, [ "s", 14, 3 ] ], [ 2184, 2178, [ "s", 14, 3 ] ],
  [ 2187, 2186, [ "l", 2, 4373 ] ], [ 2190, 1460, [ "s", 14, 3 ] ],
  [ 2190, 1476, [ "s", 14, 3 ] ], [ 2190, 2178, [ "s", 14, 3 ] ],
  [ 2190, 2184, [ "s", 14, 3 ] ], [ 2196, 1460, [ "s", 14, 3 ] ],
  [ 2196, 1476, [ "s", 14, 3 ] ], [ 2196, 2178, [ "s", 14, 3 ] ],
  [ 2196, 2184, [ "s", 14, 3 ] ], [ 2196, 2190, [ "s", 14, 3 ] ],
  [ 2196, 2195, [ "l", 2, 4391 ] ], [ 2199, 2198, [ "l", 2, 4397 ] ],
  [ 2203, 1102, [ "l", 2, 2203 ] ], [ 2205, 2204, [ "l", 2, 4409 ] ],
  [ 2207, 1104, [ "l", 2, 2207 ] ], [ 2210, 1190, [ "s", 6, 13 ] ],
  [ 2210, 2184, [ "s", 6, 13 ] ], [ 2211, 2210, [ "l", 2, 4421 ] ],
  [ 2212, 2211, [ "l", 2, 4423 ] ], [ 2213, 1107, [ "l", 2, 2213 ] ],
  [ 2221, 1111, [ "l", 2, 2221 ] ], [ 2221, 2220, [ "l", 2, 4441 ] ],
  [ 2224, 2223, [ "l", 2, 4447 ] ], [ 2226, 2225, [ "l", 2, 4451 ] ],
  [ 2229, 2228, [ "l", 2, 4457 ] ], [ 2232, 2231, [ "l", 2, 4463 ] ],
  [ 2237, 1119, [ "l", 2, 2237 ] ], [ 2239, 1120, [ "l", 2, 2239 ] ],
  [ 2241, 2240, [ "l", 2, 4481 ] ], [ 2242, 2241, [ "l", 2, 4483 ] ],
  [ 2243, 1122, [ "l", 2, 2243 ] ], [ 2245, 2244, [ "l", 2, 4489 ] ],
  [ 2245, 2244, [ "s", 4, 67 ] ], [ 2247, 2246, [ "l", 2, 4493 ] ],
  [ 2251, 1126, [ "l", 2, 2251 ] ], [ 2254, 2253, [ "l", 2, 4507 ] ],
  [ 2256, 1105, [ "s", 4, 47 ] ], [ 2256, 1128, [ "s", 4, 47 ] ],
  [ 2256, 2162, [ "s", 4, 47 ] ], [ 2257, 2208, [ "G2", 47 ] ],
  [ 2257, 2208, [ "l", 3, 47 ] ], [ 2257, 2209, [ "G2", 47 ] ],
  [ 2257, 2256, [ "G2", 47 ] ], [ 2257, 2256, [ "l", 2, 4513 ] ],
  [ 2259, 2258, [ "l", 2, 4517 ] ], [ 2260, 2259, [ "l", 2, 4519 ] ],
  [ 2262, 2261, [ "l", 2, 4523 ] ], [ 2267, 1134, [ "l", 2, 2267 ] ],
  [ 2269, 1135, [ "l", 2, 2269 ] ], [ 2269, 2186, [ "2G2", 2187 ] ],
  [ 2273, 1137, [ "l", 2, 2273 ] ], [ 2274, 2273, [ "l", 2, 4547 ] ],
  [ 2275, 2274, [ "l", 2, 4549 ] ], [ 2278, 2245, [ "s", 4, 67 ] ],
  [ 2281, 1141, [ "l", 2, 2281 ] ], [ 2281, 2280, [ "l", 2, 4561 ] ],
  [ 2284, 2283, [ "l", 2, 4567 ] ], [ 2287, 1144, [ "l", 2, 2287 ] ],
  [ 2292, 2291, [ "l", 2, 4583 ] ], [ 2293, 1147, [ "l", 2, 2293 ] ],
  [ 2296, 2269, [ "u", 3, 83 ] ], [ 2296, 2295, [ "l", 2, 4591 ] ],
  [ 2297, 1149, [ "l", 2, 2297 ] ], [ 2299, 2298, [ "l", 2, 4597 ] ],
  [ 2302, 2301, [ "l", 2, 4603 ] ], [ 2309, 1155, [ "l", 2, 2309 ] ],
  [ 2311, 1156, [ "l", 2, 2311 ] ], [ 2311, 2310, [ "l", 2, 4621 ] ],
  [ 2319, 2318, [ "l", 2, 4637 ] ], [ 2320, 2319, [ "l", 2, 4639 ] ],
  [ 2322, 2321, [ "l", 2, 4643 ] ], [ 2324, 2296, [ "u", 3, 83 ] ],
  [ 2325, 2324, [ "l", 2, 4649 ] ], [ 2326, 2325, [ "l", 2, 4651 ] ],
  [ 2329, 2328, [ "l", 2, 4657 ] ], [ 2332, 2331, [ "l", 2, 4663 ] ],
  [ 2333, 1167, [ "l", 2, 2333 ] ], [ 2337, 2336, [ "l", 2, 4673 ] ],
  [ 2339, 1170, [ "l", 2, 2339 ] ], [ 2340, 2339, [ "l", 2, 4679 ] ],
  [ 2341, 1171, [ "l", 2, 2341 ] ], [ 2346, 2345, [ "l", 2, 4691 ] ],
  [ 2347, 1174, [ "l", 2, 2347 ] ], [ 2351, 1176, [ "l", 2, 2351 ] ],
  [ 2352, 2351, [ "l", 2, 4703 ] ], [ 2357, 1179, [ "l", 2, 2357 ] ],
  [ 2361, 2360, [ "l", 2, 4721 ] ], [ 2362, 2361, [ "l", 2, 4723 ] ],
  [ 2365, 2364, [ "l", 2, 4729 ] ], [ 2367, 2366, [ "l", 2, 4733 ] ],
  [ 2371, 1186, [ "l", 2, 2371 ] ], [ 2376, 2375, [ "l", 2, 4751 ] ],
  [ 2377, 1189, [ "l", 2, 2377 ] ], [ 2380, 2379, [ "l", 2, 4759 ] ],
  [ 2381, 1191, [ "l", 2, 2381 ] ], [ 2383, 1192, [ "l", 2, 2383 ] ],
  [ 2389, 1195, [ "l", 2, 2389 ] ], [ 2392, 2391, [ "l", 2, 4783 ] ],
  [ 2393, 1197, [ "l", 2, 2393 ] ], [ 2394, 1368, [ "s", 8, 7 ] ],
  [ 2394, 1400, [ "s", 8, 7 ] ], [ 2394, 2393, [ "l", 2, 4787 ] ],
  [ 2395, 2394, [ "l", 2, 4789 ] ], [ 2397, 2396, [ "l", 2, 4793 ] ],
  [ 2399, 1200, [ "l", 2, 2399 ] ], [ 2400, 2101, [ "u", 5, 7 ] ],
  [ 2400, 2353, [ "u", 3, 49 ] ], [ 2400, 2399, [ "l", 2, 4799 ] ],
  [ 2401, 2400, [ "l", 2, 4801 ] ], [ 2407, 2406, [ "l", 2, 4813 ] ],
  [ 2408, 1368, [ "s", 8, 7 ] ], [ 2408, 1400, [ "s", 8, 7 ] ],
  [ 2408, 2394, [ "s", 8, 7 ] ], [ 2408, 2400, [ "u", 5, 7 ] ],
  [ 2409, 2408, [ "l", 2, 4817 ] ], [ 2411, 1206, [ "l", 2, 2411 ] ],
  [ 2416, 2415, [ "l", 2, 4831 ] ], [ 2417, 1209, [ "l", 2, 2417 ] ],
  [ 2420, 2132, [ "o+", 16, 3 ] ], [ 2423, 1212, [ "l", 2, 2423 ] ],
  [ 2431, 2430, [ "l", 2, 4861 ] ], [ 2436, 2435, [ "l", 2, 4871 ] ],
  [ 2437, 1219, [ "l", 2, 2437 ] ], [ 2439, 2438, [ "l", 2, 4877 ] ],
  [ 2441, 1221, [ "l", 2, 2441 ] ], [ 2445, 2444, [ "l", 2, 4889 ] ],
  [ 2447, 1224, [ "l", 2, 2447 ] ], [ 2451, 2400, [ "G2", 49 ] ],
  [ 2452, 2451, [ "l", 2, 4903 ] ], [ 2455, 2454, [ "l", 2, 4909 ] ],
  [ 2457, 2320, [ "u", 4, 17 ] ], [ 2457, 2448, [ "u", 4, 17 ] ],
  [ 2457, 2456, [ "l", 2, 4913 ] ], [ 2459, 1230, [ "l", 2, 2459 ] ],
  [ 2460, 2420, [ "o+", 16, 3 ] ], [ 2460, 2459, [ "l", 2, 4919 ] ],
  [ 2466, 2465, [ "l", 2, 4931 ] ], [ 2467, 1234, [ "l", 2, 2467 ] ],
  [ 2467, 2466, [ "l", 2, 4933 ] ], [ 2469, 2468, [ "l", 2, 4937 ] ],
  [ 2472, 2471, [ "l", 2, 4943 ] ], [ 2473, 1237, [ "l", 2, 2473 ] ],
  [ 2476, 2475, [ "l", 2, 4951 ] ], [ 2477, 1239, [ "l", 2, 2477 ] ],
  [ 2479, 2478, [ "l", 2, 4957 ] ], [ 2484, 2483, [ "l", 2, 4967 ] ],
  [ 2485, 2484, [ "l", 2, 4969 ] ], [ 2487, 2486, [ "l", 2, 4973 ] ],
  [ 2494, 2493, [ "l", 2, 4987 ] ], [ 2497, 2496, [ "l", 2, 4993 ] ],
  [ 2500, 2499, [ "l", 2, 4999 ] ], [ 2502, 2501, [ "l", 2, 5003 ] ],
  [ 2503, 1252, [ "l", 2, 2503 ] ], [ 2505, 2504, [ "l", 2, 5009 ] ],
  [ 2506, 2505, [ "l", 2, 5011 ] ], [ 2511, 2510, [ "l", 2, 5021 ] ],
  [ 2512, 2511, [ "l", 2, 5023 ] ], [ 2520, 2519, [ "l", 2, 5039 ] ],
  [ 2521, 1261, [ "l", 2, 2521 ] ], [ 2521, 2520, [ "l", 2, 5041 ] ],
  [ 2521, 2520, [ "s", 4, 71 ] ], [ 2526, 2525, [ "l", 2, 5051 ] ],
  [ 2530, 2529, [ "l", 2, 5059 ] ], [ 2531, 1266, [ "l", 2, 2531 ] ],
  [ 2539, 1270, [ "l", 2, 2539 ] ], [ 2539, 2538, [ "l", 2, 5077 ] ],
  [ 2541, 2540, [ "l", 2, 5081 ] ], [ 2543, 1272, [ "l", 2, 2543 ] ],
  [ 2544, 2543, [ "l", 2, 5087 ] ], [ 2549, 1275, [ "l", 2, 2549 ] ],
  [ 2550, 2549, [ "l", 2, 5099 ] ], [ 2551, 1276, [ "l", 2, 2551 ] ],
  [ 2551, 2550, [ "l", 2, 5101 ] ], [ 2554, 2553, [ "l", 2, 5107 ] ],
  [ 2556, 2521, [ "s", 4, 71 ] ], [ 2557, 1279, [ "l", 2, 2557 ] ],
  [ 2557, 2556, [ "l", 2, 5113 ] ], [ 2560, 2559, [ "l", 2, 5119 ] ],
  [ 2574, 2573, [ "l", 2, 5147 ] ], [ 2577, 2576, [ "l", 2, 5153 ] ],
  [ 2579, 1290, [ "l", 2, 2579 ] ], [ 2584, 2583, [ "l", 2, 5167 ] ],
  [ 2586, 2585, [ "l", 2, 5171 ] ], [ 2590, 2589, [ "l", 2, 5179 ] ],
  [ 2591, 1296, [ "l", 2, 2591 ] ], [ 2593, 1297, [ "l", 2, 2593 ] ],
  [ 2595, 2594, [ "l", 2, 5189 ] ], [ 2599, 2598, [ "l", 2, 5197 ] ],
  [ 2605, 2604, [ "l", 2, 5209 ] ], [ 2609, 1305, [ "l", 2, 2609 ] ],
  [ 2610, 2457, [ "o", 7, 17 ] ], [ 2610, 2457, [ "s", 6, 17 ] ],
  [ 2610, 2465, [ "o", 7, 17 ] ], [ 2610, 2465, [ "s", 6, 17 ] ],
  [ 2614, 2613, [ "l", 2, 5227 ] ], [ 2616, 2615, [ "l", 2, 5231 ] ],
  [ 2617, 1309, [ "l", 2, 2617 ] ], [ 2617, 2616, [ "l", 2, 5233 ] ],
  [ 2619, 2618, [ "l", 2, 5237 ] ], [ 2621, 1311, [ "l", 2, 2621 ] ],
  [ 2631, 2630, [ "l", 2, 5261 ] ], [ 2633, 1317, [ "l", 2, 2633 ] ],
  [ 2637, 2636, [ "l", 2, 5273 ] ], [ 2640, 2611, [ "u", 3, 89 ] ],
  [ 2640, 2639, [ "l", 2, 5279 ] ], [ 2641, 2640, [ "l", 2, 5281 ] ],
  [ 2647, 1324, [ "l", 2, 2647 ] ], [ 2649, 2648, [ "l", 2, 5297 ] ],
  [ 2652, 2651, [ "l", 2, 5303 ] ], [ 2655, 2654, [ "l", 2, 5309 ] ],
  [ 2657, 1329, [ "l", 2, 2657 ] ], [ 2659, 1330, [ "l", 2, 2659 ] ],
  [ 2662, 2661, [ "l", 2, 5323 ] ], [ 2663, 1332, [ "l", 2, 2663 ] ],
  [ 2665, 2664, [ "l", 2, 5329 ] ], [ 2665, 2664, [ "s", 4, 73 ] ],
  [ 2667, 2666, [ "l", 2, 5333 ] ], [ 2670, 2640, [ "u", 3, 89 ] ],
  [ 2671, 1336, [ "l", 2, 2671 ] ], [ 2674, 2673, [ "l", 2, 5347 ] ],
  [ 2676, 2675, [ "l", 2, 5351 ] ], [ 2677, 1339, [ "l", 2, 2677 ] ],
  [ 2683, 1342, [ "l", 2, 2683 ] ], [ 2687, 1344, [ "l", 2, 2687 ] ],
  [ 2689, 1345, [ "l", 2, 2689 ] ], [ 2691, 2690, [ "l", 2, 5381 ] ],
  [ 2693, 1347, [ "l", 2, 2693 ] ], [ 2694, 2693, [ "l", 2, 5387 ] ],
  [ 2697, 2696, [ "l", 2, 5393 ] ], [ 2699, 1350, [ "l", 2, 2699 ] ],
  [ 2700, 2699, [ "l", 2, 5399 ] ], [ 2701, 2665, [ "s", 4, 73 ] ],
  [ 2704, 2703, [ "l", 2, 5407 ] ], [ 2707, 1354, [ "l", 2, 2707 ] ],
  [ 2707, 2706, [ "l", 2, 5413 ] ], [ 2709, 2708, [ "l", 2, 5417 ] ],
  [ 2710, 2709, [ "l", 2, 5419 ] ], [ 2711, 1356, [ "l", 2, 2711 ] ],
  [ 2713, 1357, [ "l", 2, 2713 ] ], [ 2716, 2715, [ "l", 2, 5431 ] ],
  [ 2719, 1360, [ "l", 2, 2719 ] ], [ 2719, 2718, [ "l", 2, 5437 ] ],
  [ 2721, 2720, [ "l", 2, 5441 ] ], [ 2722, 2721, [ "l", 2, 5443 ] ],
  [ 2725, 2724, [ "l", 2, 5449 ] ], [ 2729, 1365, [ "l", 2, 2729 ] ],
  [ 2731, 1366, [ "l", 2, 2731 ] ], [ 2736, 2353, [ "3D4", 7 ] ],
  [ 2736, 2394, [ "3D4", 7 ] ], [ 2736, 2402, [ "F4", 7 ] ],
  [ 2736, 2408, [ "3D4", 7 ] ], [ 2736, 2408, [ "F4", 7 ] ],
  [ 2736, 2735, [ "l", 2, 5471 ] ], [ 2739, 2738, [ "l", 2, 5477 ] ],
  [ 2740, 2739, [ "l", 2, 5479 ] ], [ 2741, 1371, [ "l", 2, 2741 ] ],
  [ 2742, 2741, [ "l", 2, 5483 ] ], [ 2749, 1375, [ "l", 2, 2749 ] ],
  [ 2751, 2750, [ "l", 2, 5501 ] ], [ 2752, 2751, [ "l", 2, 5503 ] ],
  [ 2753, 1377, [ "l", 2, 2753 ] ], [ 2754, 2753, [ "l", 2, 5507 ] ],
  [ 2756, 1405, [ "s", 4, 53 ] ], [ 2756, 1431, [ "s", 4, 53 ] ],
  [ 2760, 2759, [ "l", 2, 5519 ] ], [ 2761, 2760, [ "l", 2, 5521 ] ],
  [ 2764, 2763, [ "l", 2, 5527 ] ], [ 2766, 2765, [ "l", 2, 5531 ] ],
  [ 2767, 1384, [ "l", 2, 2767 ] ], [ 2777, 1389, [ "l", 2, 2777 ] ],
  [ 2779, 2778, [ "l", 2, 5557 ] ], [ 2782, 2781, [ "l", 2, 5563 ] ],
  [ 2785, 2784, [ "l", 2, 5569 ] ], [ 2787, 2786, [ "l", 2, 5573 ] ],
  [ 2789, 1395, [ "l", 2, 2789 ] ], [ 2791, 1396, [ "l", 2, 2791 ] ],
  [ 2791, 2790, [ "l", 2, 5581 ] ], [ 2796, 2795, [ "l", 2, 5591 ] ],
  [ 2797, 1399, [ "l", 2, 2797 ] ], [ 2800, 2736, [ "F4", 7 ] ],
  [ 2801, 1401, [ "l", 2, 2801 ] ], [ 2801, 2736, [ "l", 5, 7 ] ],
  [ 2803, 1402, [ "l", 2, 2803 ] ], [ 2812, 2811, [ "l", 2, 5623 ] ],
  [ 2819, 1410, [ "l", 2, 2819 ] ], [ 2820, 2819, [ "l", 2, 5639 ] ],
  [ 2821, 2820, [ "l", 2, 5641 ] ], [ 2824, 2823, [ "l", 2, 5647 ] ],
  [ 2826, 2825, [ "l", 2, 5651 ] ], [ 2827, 2826, [ "l", 2, 5653 ] ],
  [ 2829, 2828, [ "l", 2, 5657 ] ], [ 2830, 2829, [ "l", 2, 5659 ] ],
  [ 2833, 1417, [ "l", 2, 2833 ] ], [ 2835, 2834, [ "l", 2, 5669 ] ],
  [ 2837, 1419, [ "l", 2, 2837 ] ], [ 2842, 2841, [ "l", 2, 5683 ] ],
  [ 2843, 1422, [ "l", 2, 2843 ] ], [ 2845, 2844, [ "l", 2, 5689 ] ],
  [ 2847, 2846, [ "l", 2, 5693 ] ], [ 2851, 1426, [ "l", 2, 2851 ] ],
  [ 2851, 2850, [ "l", 2, 5701 ] ], [ 2856, 2855, [ "l", 2, 5711 ] ],
  [ 2857, 1429, [ "l", 2, 2857 ] ], [ 2859, 2858, [ "l", 2, 5717 ] ],
  [ 2861, 1431, [ "l", 2, 2861 ] ], [ 2862, 1405, [ "s", 4, 53 ] ],
  [ 2862, 1431, [ "s", 4, 53 ] ], [ 2862, 2756, [ "s", 4, 53 ] ],
  [ 2863, 2808, [ "G2", 53 ] ], [ 2863, 2808, [ "l", 3, 53 ] ],
  [ 2863, 2809, [ "G2", 53 ] ], [ 2863, 2862, [ "G2", 53 ] ],
  [ 2869, 2868, [ "l", 2, 5737 ] ], [ 2871, 2870, [ "l", 2, 5741 ] ],
  [ 2872, 2871, [ "l", 2, 5743 ] ], [ 2875, 2874, [ "l", 2, 5749 ] ],
  [ 2879, 1440, [ "l", 2, 2879 ] ], [ 2887, 1444, [ "l", 2, 2887 ] ],
  [ 2890, 2889, [ "l", 2, 5779 ] ], [ 2892, 2891, [ "l", 2, 5783 ] ],
  [ 2896, 2895, [ "l", 2, 5791 ] ], [ 2897, 1449, [ "l", 2, 2897 ] ],
  [ 2901, 2900, [ "l", 2, 5801 ] ], [ 2903, 1452, [ "l", 2, 2903 ] ],
  [ 2904, 2903, [ "l", 2, 5807 ] ], [ 2907, 2906, [ "l", 2, 5813 ] ],
  [ 2909, 1455, [ "l", 2, 2909 ] ], [ 2911, 2910, [ "l", 2, 5821 ] ],
  [ 2914, 2913, [ "l", 2, 5827 ] ], [ 2917, 1459, [ "l", 2, 2917 ] ],
  [ 2920, 2919, [ "l", 2, 5839 ] ], [ 2922, 2921, [ "l", 2, 5843 ] ],
  [ 2925, 2924, [ "l", 2, 5849 ] ], [ 2926, 2925, [ "l", 2, 5851 ] ],
  [ 2927, 1464, [ "l", 2, 2927 ] ], [ 2929, 2928, [ "l", 2, 5857 ] ],
  [ 2931, 2930, [ "l", 2, 5861 ] ], [ 2934, 2933, [ "l", 2, 5867 ] ],
  [ 2935, 2934, [ "l", 2, 5869 ] ], [ 2939, 1470, [ "l", 2, 2939 ] ],
  [ 2940, 2939, [ "l", 2, 5879 ] ], [ 2941, 2940, [ "l", 2, 5881 ] ],
  [ 2949, 2948, [ "l", 2, 5897 ] ], [ 2952, 2951, [ "l", 2, 5903 ] ],
  [ 2953, 1477, [ "l", 2, 2953 ] ], [ 2957, 1479, [ "l", 2, 2957 ] ],
  [ 2962, 2961, [ "l", 2, 5923 ] ], [ 2963, 1482, [ "l", 2, 2963 ] ],
  [ 2964, 2963, [ "l", 2, 5927 ] ], [ 2969, 1485, [ "l", 2, 2969 ] ],
  [ 2970, 2969, [ "l", 2, 5939 ] ], [ 2971, 1486, [ "l", 2, 2971 ] ],
  [ 2977, 2976, [ "l", 2, 5953 ] ], [ 2991, 2990, [ "l", 2, 5981 ] ],
  [ 2994, 2993, [ "l", 2, 5987 ] ], [ 2999, 1500, [ "l", 2, 2999 ] ],
  [ 3001, 1501, [ "l", 2, 3001 ] ], [ 3004, 3003, [ "l", 2, 6007 ] ],
  [ 3006, 3005, [ "l", 2, 6011 ] ], [ 3011, 1506, [ "l", 2, 3011 ] ],
  [ 3015, 3014, [ "l", 2, 6029 ] ], [ 3019, 1510, [ "l", 2, 3019 ] ],
  [ 3019, 3018, [ "l", 2, 6037 ] ], [ 3022, 3021, [ "l", 2, 6043 ] ],
  [ 3023, 1512, [ "l", 2, 3023 ] ], [ 3024, 3023, [ "l", 2, 6047 ] ],
  [ 3027, 3026, [ "l", 2, 6053 ] ], [ 3034, 3033, [ "l", 2, 6067 ] ],
  [ 3037, 1519, [ "l", 2, 3037 ] ], [ 3037, 3036, [ "l", 2, 6073 ] ],
  [ 3040, 3039, [ "l", 2, 6079 ] ], [ 3041, 1521, [ "l", 2, 3041 ] ],
  [ 3042, 2915, [ "u", 4, 23 ] ], [ 3042, 3036, [ "u", 4, 23 ] ],
  [ 3045, 3044, [ "l", 2, 6089 ] ], [ 3046, 3045, [ "l", 2, 6091 ] ],
  [ 3049, 1525, [ "l", 2, 3049 ] ], [ 3051, 3050, [ "l", 2, 6101 ] ],
  [ 3057, 3056, [ "l", 2, 6113 ] ], [ 3061, 1531, [ "l", 2, 3061 ] ],
  [ 3061, 3060, [ "l", 2, 6121 ] ], [ 3066, 3065, [ "l", 2, 6131 ] ],
  [ 3067, 1534, [ "l", 2, 3067 ] ], [ 3067, 3066, [ "l", 2, 6133 ] ],
  [ 3072, 3071, [ "l", 2, 6143 ] ], [ 3076, 3075, [ "l", 2, 6151 ] ],
  [ 3079, 1540, [ "l", 2, 3079 ] ], [ 3082, 3081, [ "l", 2, 6163 ] ],
  [ 3083, 1542, [ "l", 2, 3083 ] ], [ 3087, 3086, [ "l", 2, 6173 ] ],
  [ 3089, 1545, [ "l", 2, 3089 ] ], [ 3099, 3098, [ "l", 2, 6197 ] ],
  [ 3100, 3099, [ "l", 2, 6199 ] ], [ 3102, 3101, [ "l", 2, 6203 ] ],
  [ 3106, 3105, [ "l", 2, 6211 ] ], [ 3109, 1555, [ "l", 2, 3109 ] ],
  [ 3109, 3108, [ "l", 2, 6217 ] ], [ 3111, 3110, [ "l", 2, 6221 ] ],
  [ 3115, 3114, [ "l", 2, 6229 ] ], [ 3119, 1560, [ "l", 2, 3119 ] ],
  [ 3120, 1878, [ "s", 10, 5 ] ], [ 3121, 1561, [ "l", 2, 3121 ] ],
  [ 3121, 3120, [ "l", 2, 6241 ] ], [ 3121, 3120, [ "s", 4, 79 ] ],
  [ 3124, 3123, [ "l", 2, 6247 ] ], [ 3129, 3128, [ "l", 2, 6257 ] ],
  [ 3130, 1878, [ "s", 10, 5 ] ], [ 3130, 3120, [ "s", 10, 5 ] ],
  [ 3132, 3131, [ "l", 2, 6263 ] ], [ 3135, 3134, [ "l", 2, 6269 ] ],
  [ 3136, 3135, [ "l", 2, 6271 ] ], [ 3137, 1569, [ "l", 2, 3137 ] ],
  [ 3139, 3138, [ "l", 2, 6277 ] ], [ 3144, 3143, [ "l", 2, 6287 ] ],
  [ 3150, 3149, [ "l", 2, 6299 ] ], [ 3151, 3150, [ "l", 2, 6301 ] ],
  [ 3156, 3155, [ "l", 2, 6311 ] ], [ 3159, 3158, [ "l", 2, 6317 ] ],
  [ 3160, 3121, [ "s", 4, 79 ] ], [ 3162, 3161, [ "l", 2, 6323 ] ],
  [ 3163, 1582, [ "l", 2, 3163 ] ], [ 3165, 3164, [ "l", 2, 6329 ] ],
  [ 3167, 1584, [ "l", 2, 3167 ] ], [ 3169, 1585, [ "l", 2, 3169 ] ],
  [ 3169, 3136, [ "l", 3, 97 ] ], [ 3169, 3168, [ "l", 2, 6337 ] ],
  [ 3172, 3171, [ "l", 2, 6343 ] ], [ 3177, 3176, [ "l", 2, 6353 ] ],
  [ 3180, 3179, [ "l", 2, 6359 ] ], [ 3181, 1591, [ "l", 2, 3181 ] ],
  [ 3181, 3180, [ "l", 2, 6361 ] ], [ 3184, 3183, [ "l", 2, 6367 ] ],
--> --------------------

--> maximum size reached

--> --------------------