| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/sonata/nri/ (Algebra von RWTH Aachen Version 4.15.1©) Datei vom 23.8.2025 mit Größe 140 kB |
|
Quelle nri27_4.nr Sprache: unbekannt |
|
|
Spracherkennung für: .nr vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen] NI27_4 := rec(
group_name := "27/4", group_generators := [ ( 1, 5,17)( 2, 8,22)( 3,12, 4)( 6,18,26)( 7,20,11)( 9,23,19)(10,25,16)(13,24,14) (15,27,21), ( 1, 2, 4)( 3, 6,11)( 5, 9,16)( 7,13,17)( 8,14,21)(10,18,22) (12,15,23)(19,24,26)(20,25,27) ], elements := rec( 1 := (), 2 := ( 1, 2, 4)( 3, 6,11)( 5, 9,16)( 7,13,17)( 8,14,21)(10,18,22)(12,15,23) (19,24,26)(20,25,27), 3 := ( 1, 3, 7)( 2, 5,10)( 4, 8,15)( 6,12,19)( 9,17,24)(11,18,25)(13,20,21) (14,22,26)(16,23,27), 4 := ( 1, 4, 2)( 3,11, 6)( 5,16, 9)( 7,17,13)( 8,21,14)(10,22,18)(12,23,15) (19,26,24)(20,27,25), 5 := ( 1, 5,17)( 2, 8,22)( 3,12, 4)( 6,18,26)( 7,20,11)( 9,23,19)(10,25,16) (13,24,14)(15,27,21), 6 := ( 1, 6,15)( 2, 9, 7)( 3,13,25)( 4,14,10)( 5,18,27)( 8,23,20)(11,22,19) (12,24,16)(17,26,21), 7 := ( 1, 7, 3)( 2,10, 5)( 4,15, 8)( 6,19,12)( 9,24,17)(11,25,18)(13,21,20) (14,26,22)(16,27,23), 8 := ( 1, 8,13)( 2, 3,18)( 4, 5,23)( 6, 7,24)( 9,10,26)(11,12,27)(14,15,19) (16,17,20)(21,22,25), 9 := ( 1, 9,12)( 2,14,17)( 3,15,20)( 4, 6,22)( 5, 7,25)( 8,10,27)(11,13,26) (16,18,19)(21,23,24), 10 := ( 1,10,11)( 2,15,16)( 3,19,17)( 4, 7,21)( 5,24,22)( 6,25,23)( 8,26,12) ( 9,27,13)(14,20,18), 11 := ( 1,11,10)( 2,16,15)( 3,17,19)( 4,21, 7)( 5,22,24)( 6,23,25)( 8,12,26) ( 9,13,27)(14,18,20), 12 := ( 1,12, 9)( 2,17,14)( 3,20,15)( 4,22, 6)( 5,25, 7)( 8,27,10)(11,26,13) (16,19,18)(21,24,23), 13 := ( 1,13, 8)( 2,18, 3)( 4,23, 5)( 6,24, 7)( 9,26,10)(11,27,12)(14,19,15) (16,20,17)(21,25,22), 14 := ( 1,14,23)( 2, 6,13)( 3,22,27)( 4, 9,18)( 5,12,20)( 7,26,16)( 8,17,25) (10,19,21)(11,15,24), 15 := ( 1,15, 6)( 2, 7, 9)( 3,25,13)( 4,10,14)( 5,27,18)( 8,20,23)(11,19,22) (12,16,24)(17,21,26), 16 := ( 1,16,22)( 2,21,12)( 3,23,26)( 4,11,17)( 5,13,19)( 6,10,20)( 7,27,14) ( 8,18,24)( 9,15,25), 17 := ( 1,17, 5)( 2,22, 8)( 3, 4,12)( 6,26,18)( 7,11,20)( 9,19,23)(10,16,25) (13,14,24)(15,21,27), 18 := ( 1,18,21)( 2,23,11)( 3,24,10)( 4,13,16)( 5,26,15)( 6,27,17)( 7, 8,19) ( 9,20,22)(12,14,25), 19 := ( 1,19,25)( 2,24,27)( 3,21, 9)( 4,26,20)( 5,11,14)( 6, 8,16)( 7,10,15) (12,17,22)(13,18,23), 20 := ( 1,20,24)( 2,25,26)( 3, 5, 8)( 4,27,19)( 6, 9,14)( 7,12,18)(10,17,23) (11,16,21)(13,15,22), 21 := ( 1,21,18)( 2,11,23)( 3,10,24)( 4,16,13)( 5,15,26)( 6,17,27)( 7,19, 8) ( 9,22,20)(12,25,14), 22 := ( 1,22,16)( 2,12,21)( 3,26,23)( 4,17,11)( 5,19,13)( 6,20,10)( 7,14,27) ( 8,24,18)( 9,25,15), 23 := ( 1,23,14)( 2,13, 6)( 3,27,22)( 4,18, 9)( 5,20,12)( 7,16,26)( 8,25,17) (10,21,19)(11,24,15), 24 := ( 1,24,20)( 2,26,25)( 3, 8, 5)( 4,19,27)( 6,14, 9)( 7,18,12)(10,23,17) (11,21,16)(13,22,15), 25 := ( 1,25,19)( 2,27,24)( 3, 9,21)( 4,20,26)( 5,14,11)( 6,16, 8)( 7,15,10) (12,22,17)(13,23,18), 26 := ( 1,26,27)( 2,19,20)( 3,14,16)( 4,24,25)( 5, 6,21)( 7,22,23)( 8, 9,11) (10,12,13)(15,17,18), 27 := ( 1,27,26)( 2,20,19)( 3,16,14)( 4,25,24)( 5,21, 6)( 7,23,22)( 8,11, 9) (10,13,12)(15,18,17) ), group_endomorphisms := rec( 1 := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1 ], 2 := [ 1, 1, 2, 1, 2, 2, 4, 2, 2, 4, 2, 4, 4, 2, 4, 2, 4, 4, 1, 1, 2, 4, 4, 1, 1, 1, 1 ], 3 := [ 1, 1, 3, 1, 3, 3, 7, 3, 3, 7, 3, 7, 7, 3, 7, 3, 7, 7, 1, 1, 3, 7, 7, 1, 1, 1, 1 ], 4 := [ 1, 1, 4, 1, 4, 4, 2, 4, 4, 2, 4, 2, 2, 4, 2, 4, 2, 2, 1, 1, 4, 2, 2, 1, 1, 1, 1 ], 5 := [ 1, 1, 5, 1, 5, 5, 17, 5, 5, 17, 5, 17, 17, 5, 17, 5, 17, 17, 1, 1, 5, 17, 17, 1, 1, 1, 1 ], 6 := [ 1, 1, 6, 1, 6, 6, 15, 6, 6, 15, 6, 15, 15, 6, 15, 6, 15, 15, 1, 1, 6, 15, 15, 1, 1, 1, 1 ], 7 := [ 1, 1, 7, 1, 7, 7, 3, 7, 7, 3, 7, 3, 3, 7, 3, 7, 3, 3, 1, 1, 7, 3, 3, 1, 1, 1, 1 ], 8 := [ 1, 1, 8, 1, 8, 8, 13, 8, 8, 13, 8, 13, 13, 8, 13, 8, 13, 13, 1, 1, 8, 13, 13, 1, 1, 1, 1 ], 9 := [ 1, 1, 9, 1, 9, 9, 12, 9, 9, 12, 9, 12, 12, 9, 12, 9, 12, 12, 1, 1, 9, 12, 12, 1, 1, 1, 1 ], 10 := [ 1, 1, 10, 1, 10, 10, 11, 10, 10, 11, 10, 11, 11, 10, 11, 10, 11, 11, 1, 1, 10, 11, 11, 1, 1, 1, 1 ], 11 := [ 1, 1, 11, 1, 11, 11, 10, 11, 11, 10, 11, 10, 10, 11, 10, 11, 10, 10, 1, 1, 11, 10, 10, 1, 1, 1, 1 ], 12 := [ 1, 1, 12, 1, 12, 12, 9, 12, 12, 9, 12, 9, 9, 12, 9, 12, 9, 9, 1, 1, 12, 9, 9, 1, 1, 1, 1 ], 13 := [ 1, 1, 13, 1, 13, 13, 8, 13, 13, 8, 13, 8, 8, 13, 8, 13, 8, 8, 1, 1, 13, 8, 8, 1, 1, 1, 1 ], 14 := [ 1, 1, 14, 1, 14, 14, 23, 14, 14, 23, 14, 23, 23, 14, 23, 14, 23, 23, 1, 1, 14, 23, 23, 1, 1, 1, 1 ], 15 := [ 1, 1, 15, 1, 15, 15, 6, 15, 15, 6, 15, 6, 6, 15, 6, 15, 6, 6, 1, 1, 15, 6, 6, 1, 1, 1, 1 ], 16 := [ 1, 1, 16, 1, 16, 16, 22, 16, 16, 22, 16, 22, 22, 16, 22, 16, 22, 22, 1, 1, 16, 22, 22, 1, 1, 1, 1 ], 17 := [ 1, 1, 17, 1, 17, 17, 5, 17, 17, 5, 17, 5, 5, 17, 5, 17, 5, 5, 1, 1, 17, 5, 5, 1, 1, 1, 1 ], 18 := [ 1, 1, 18, 1, 18, 18, 21, 18, 18, 21, 18, 21, 21, 18, 21, 18, 21, 21, 1, 1, 18, 21, 21, 1, 1, 1, 1 ], 19 := [ 1, 1, 19, 1, 19, 19, 25, 19, 19, 25, 19, 25, 25, 19, 25, 19, 25, 25, 1, 1, 19, 25, 25, 1, 1, 1, 1 ], 20 := [ 1, 1, 20, 1, 20, 20, 24, 20, 20, 24, 20, 24, 24, 20, 24, 20, 24, 24, 1, 1, 20, 24, 24, 1, 1, 1, 1 ], 21 := [ 1, 1, 21, 1, 21, 21, 18, 21, 21, 18, 21, 18, 18, 21, 18, 21, 18, 18, 1, 1, 21, 18, 18, 1, 1, 1, 1 ], 22 := [ 1, 1, 22, 1, 22, 22, 16, 22, 22, 16, 22, 16, 16, 22, 16, 22, 16, 16, 1, 1, 22, 16, 16, 1, 1, 1, 1 ], 23 := [ 1, 1, 23, 1, 23, 23, 14, 23, 23, 14, 23, 14, 14, 23, 14, 23, 14, 14, 1, 1, 23, 14, 14, 1, 1, 1, 1 ], 24 := [ 1, 1, 24, 1, 24, 24, 20, 24, 24, 20, 24, 20, 20, 24, 20, 24, 20, 20, 1, 1, 24, 20, 20, 1, 1, 1, 1 ], 25 := [ 1, 1, 25, 1, 25, 25, 19, 25, 25, 19, 25, 19, 19, 25, 19, 25, 19, 19, 1, 1, 25, 19, 19, 1, 1, 1, 1 ], 26 := [ 1, 1, 26, 1, 26, 26, 27, 26, 26, 27, 26, 27, 27, 26, 27, 26, 27, 27, 1, 1, 26, 27, 27, 1, 1, 1, 1 ], 27 := [ 1, 1, 27, 1, 27, 27, 26, 27, 27, 26, 27, 26, 26, 27, 26, 27, 26, 26, 1, 1, 27, 26, 26, 1, 1, 1, 1 ], 28 := [ 1, 2, 1, 4, 2, 2, 1, 4, 4, 2, 4, 2, 2, 1, 4, 1, 4, 4, 2, 2, 2, 1, 1, 4, 4, 1, 1 ], 29 := [ 1, 2, 2, 4, 4, 4, 4, 1, 1, 1, 1, 1, 1, 2, 2, 2, 2, 2, 2, 2, 4, 4, 4, 4, 4, 1, 1 ], 30 := [ 1, 2, 4, 4, 1, 1, 2, 2, 2, 4, 2, 4, 4, 4, 1, 4, 1, 1, 2, 2, 1, 2, 2, 4, 4, 1, 1 ], 31 := [ 1, 2, 5, 4, 8, 9, 17, 3, 14, 22, 16, 23, 7, 6, 12, 21, 13, 10, 19, 20, 11, 18, 15, 24, 25, 26, 27 ], 32 := [ 1, 2, 6, 4, 9, 11, 15, 14, 16, 7, 3, 22, 23, 21, 10, 5, 12, 13, 19, 20, 8, 17, 18, 24, 25, 26, 27 ], 33 := [ 1, 2, 7, 4, 10, 13, 3, 15, 18, 5, 17, 21, 6, 23, 8, 22, 11, 9, 20, 19, 12, 16, 14, 25, 24, 27, 26 ], 34 := [ 1, 2, 8, 4, 3, 14, 13, 5, 6, 18, 21, 15, 17, 9, 23, 11, 7, 22, 19, 20, 16, 10, 12, 24, 25, 26, 27 ], 35 := [ 1, 2, 9, 4, 14, 16, 12, 6, 21, 17, 5, 18, 15, 11, 22, 8, 23, 7, 19, 20, 3, 13, 10, 24, 25, 26, 27 ], 36 := [ 1, 2, 10, 4, 15, 18, 11, 7, 23, 16, 22, 14, 3, 13, 21, 12, 6, 5, 20, 19, 17, 9, 8, 25, 24, 27, 26 ], 37 := [ 1, 2, 11, 4, 16, 3, 10, 21, 5, 15, 6, 17, 18, 8, 7, 9, 22, 23, 19, 20, 14, 12, 13, 24, 25, 26, 27 ], 38 := [ 1, 2, 12, 4, 17, 15, 9, 22, 7, 14, 23, 3, 16, 10, 6, 13, 5, 21, 20, 19, 18, 8, 11, 25, 24, 27, 26 ], 39 := [ 1, 2, 13, 4, 18, 17, 8, 23, 22, 3, 7, 16, 14, 12, 5, 10, 21, 6, 20, 19, 15, 11, 9, 25, 24, 27, 26 ], 40 := [ 1, 2, 14, 4, 6, 21, 23, 9, 11, 13, 8, 10, 12, 16, 18, 3, 15, 17, 19, 20, 5, 7, 22, 24, 25, 26, 27 ], 41 := [ 1, 2, 15, 4, 7, 23, 6, 10, 13, 9, 12, 8, 11, 18, 14, 17, 3, 16, 20, 19, 22, 5, 21, 25, 24, 27, 26 ], 42 := [ 1, 2, 16, 4, 21, 5, 22, 11, 8, 12, 9, 13, 10, 3, 17, 14, 18, 15, 19, 20, 6, 23, 7, 24, 25, 26, 27 ], 43 := [ 1, 2, 17, 4, 22, 7, 5, 12, 10, 8, 13, 11, 9, 15, 3, 18, 16, 14, 20, 19, 23, 21, 6, 25, 24, 27, 26 ], 44 := [ 1, 2, 18, 4, 23, 22, 21, 13, 12, 11, 10, 9, 8, 17, 16, 15, 14, 3, 20, 19, 7, 6, 5, 25, 24, 27, 26 ], 45 := [ 1, 2, 19, 4, 24, 24, 25, 26, 26, 27, 26, 27, 27, 19, 20, 19, 20, 20, 2, 2, 24, 25, 25, 4, 4, 1, 1 ], 46 := [ 1, 2, 20, 4, 25, 25, 24, 27, 27, 26, 27, 26, 26, 20, 19, 20, 19, 19, 2, 2, 25, 24, 24, 4, 4, 1, 1 ], 47 := [ 1, 2, 21, 4, 11, 8, 18, 16, 3, 23, 14, 7, 22, 5, 13, 6, 10, 12, 19, 20, 9, 15, 17, 24, 25, 26, 27 ], 48 := [ 1, 2, 22, 4, 12, 10, 16, 17, 15, 21, 18, 6, 5, 7, 11, 23, 9, 8, 20, 19, 13, 14, 3, 25, 24, 27, 26 ], 49 := [ 1, 2, 23, 4, 13, 12, 14, 18, 17, 6, 15, 5, 21, 22, 9, 7, 8, 11, 20, 19, 10, 3, 16, 25, 24, 27, 26 ], 50 := [ 1, 2, 24, 4, 26, 26, 20, 19, 19, 25, 19, 25, 25, 24, 27, 24, 27, 27, 2, 2, 26, 20, 20, 4, 4, 1, 1 ], 51 := [ 1, 2, 25, 4, 27, 27, 19, 20, 20, 24, 20, 24, 24, 25, 26, 25, 26, 26, 2, 2, 27, 19, 19, 4, 4, 1, 1 ], 52 := [ 1, 2, 26, 4, 19, 19, 27, 24, 24, 20, 24, 20, 20, 26, 25, 26, 25, 25, 2, 2, 19, 27, 27, 4, 4, 1, 1 ], 53 := [ 1, 2, 27, 4, 20, 20, 26, 25, 25, 19, 25, 19, 19, 27, 24, 27, 24, 24, 2, 2, 20, 26, 26, 4, 4, 1, 1 ], 54 := [ 1, 3, 1, 7, 3, 3, 1, 7, 7, 3, 7, 3, 3, 1, 7, 1, 7, 7, 3, 3, 3, 1, 1, 7, 7, 1, 1 ], 55 := [ 1, 3, 2, 7, 6, 5, 4, 13, 12, 11, 10, 9, 8, 20, 17, 19, 15, 18, 16, 14, 21, 25, 24, 23, 22, 27, 26 ], 56 := [ 1, 3, 3, 7, 7, 7, 7, 1, 1, 1, 1, 1, 1, 3, 3, 3, 3, 3, 3, 3, 7, 7, 7, 7, 7, 1, 1 ], 57 := [ 1, 3, 4, 7, 11, 8, 2, 17, 18, 6, 15, 21, 5, 24, 13, 25, 10, 12, 14, 16, 9, 19, 20, 22, 23, 26, 27 ], 58 := [ 1, 3, 5, 7, 12, 10, 17, 20, 19, 4, 2, 25, 24, 21, 11, 6, 9, 8, 16, 14, 13, 15, 18, 23, 22, 27, 26 ], 59 := [ 1, 3, 6, 7, 13, 12, 15, 2, 20, 25, 19, 24, 4, 5, 9, 21, 8, 11, 16, 14, 10, 18, 17, 23, 22, 27, 26 ], 60 := [ 1, 3, 7, 7, 1, 1, 3, 3, 3, 7, 3, 7, 7, 7, 1, 7, 1, 1, 3, 3, 1, 3, 3, 7, 7, 1, 1 ], 61 := [ 1, 3, 8, 7, 18, 15, 13, 24, 25, 2, 4, 19, 20, 9, 6, 11, 21, 5, 14, 16, 17, 10, 12, 22, 23, 26, 27 ], 62 := [ 1, 3, 9, 7, 15, 17, 12, 25, 4, 20, 24, 2, 19, 11, 5, 8, 6, 21, 14, 16, 18, 13, 10, 22, 23, 26, 27 ], 63 := [ 1, 3, 10, 7, 19, 2, 11, 21, 6, 17, 5, 15, 18, 13, 4, 12, 25, 24, 16, 14, 20, 9, 8, 23, 22, 27, 26 ], 64 := [ 1, 3, 11, 7, 17, 18, 10, 4, 24, 19, 25, 20, 2, 8, 21, 9, 5, 6, 14, 16, 15, 12, 13, 22, 23, 26, 27 ], 65 := [ 1, 3, 12, 7, 20, 19, 9, 5, 21, 15, 6, 18, 17, 10, 25, 13, 24, 4, 16, 14, 2, 8, 11, 23, 22, 27, 26 ], 66 := [ 1, 3, 13, 7, 2, 20, 8, 6, 5, 18, 21, 17, 15, 12, 24, 10, 4, 25, 16, 14, 19, 11, 9, 23, 22, 27, 26 ], 67 := [ 1, 3, 14, 7, 22, 22, 23, 26, 26, 27, 26, 27, 27, 14, 16, 14, 16, 16, 3, 3, 22, 23, 23, 7, 7, 1, 1 ], 68 := [ 1, 3, 15, 7, 25, 4, 6, 9, 11, 13, 8, 10, 12, 17, 2, 18, 19, 20, 14, 16, 24, 21, 5, 22, 23, 26, 27 ], 69 := [ 1, 3, 16, 7, 23, 23, 22, 27, 27, 26, 27, 26, 26, 16, 14, 16, 14, 14, 3, 3, 23, 22, 22, 7, 7, 1, 1 ], 70 := [ 1, 3, 17, 7, 4, 24, 5, 11, 8, 12, 9, 13, 10, 18, 20, 15, 2, 19, 14, 16, 25, 6, 21, 22, 23, 26, 27 ], 71 := [ 1, 3, 18, 7, 24, 25, 21, 8, 9, 10, 11, 12, 13, 15, 19, 17, 20, 2, 14, 16, 4, 5, 6, 22, 23, 26, 27 ], 72 := [ 1, 3, 19, 7, 21, 6, 25, 10, 13, 9, 12, 8, 11, 2, 15, 20, 18, 17, 16, 14, 5, 24, 4, 23, 22, 27, 26 ], 73 := [ 1, 3, 20, 7, 5, 21, 24, 12, 10, 8, 13, 11, 9, 19, 18, 2, 17, 15, 16, 14, 6, 4, 25, 23, 22, 27, 26 ], 74 := [ 1, 3, 21, 7, 10, 13, 18, 19, 2, 24, 20, 4, 25, 6, 8, 5, 11, 9, 16, 14, 12, 17, 15, 23, 22, 27, 26 ], 75 := [ 1, 3, 22, 7, 26, 26, 16, 14, 14, 23, 14, 23, 23, 22, 27, 22, 27, 27, 3, 3, 26, 16, 16, 7, 7, 1, 1 ], 76 := [ 1, 3, 23, 7, 27, 27, 14, 16, 16, 22, 16, 22, 22, 23, 26, 23, 26, 26, 3, 3, 27, 14, 14, 7, 7, 1, 1 ], 77 := [ 1, 3, 24, 7, 8, 9, 20, 18, 15, 5, 17, 6, 21, 25, 12, 4, 13, 10, 14, 16, 11, 2, 19, 22, 23, 26, 27 ], 78 := [ 1, 3, 25, 7, 9, 11, 19, 15, 17, 21, 18, 5, 6, 4, 10, 24, 12, 13, 14, 16, 8, 20, 2, 22, 23, 26, 27 ], 79 := [ 1, 3, 26, 7, 14, 14, 27, 22, 22, 16, 22, 16, 16, 26, 23, 26, 23, 23, 3, 3, 14, 27, 27, 7, 7, 1, 1 ], 80 := [ 1, 3, 27, 7, 16, 16, 26, 23, 23, 14, 23, 14, 14, 27, 22, 27, 22, 22, 3, 3, 16, 26, 26, 7, 7, 1, 1 ], 81 := [ 1, 4, 1, 2, 4, 4, 1, 2, 2, 4, 2, 4, 4, 1, 2, 1, 2, 2, 4, 4, 4, 1, 1, 2, 2, 1, 1 ], 82 := [ 1, 4, 2, 2, 1, 1, 4, 4, 4, 2, 4, 2, 2, 2, 1, 2, 1, 1, 4, 4, 1, 4, 4, 2, 2, 1, 1 ], 83 := [ 1, 4, 3, 2, 8, 11, 7, 5, 21, 15, 6, 18, 17, 16, 10, 14, 13, 12, 25, 24, 9, 23, 22, 20, 19, 27, 26 ], 84 := [ 1, 4, 4, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 4, 4, 4, 4, 4, 4, 4, 2, 2, 2, 2, 2, 1, 1 ], 85 := [ 1, 4, 5, 2, 3, 16, 17, 8, 11, 12, 9, 10, 13, 21, 22, 6, 7, 23, 25, 24, 14, 15, 18, 20, 19, 27, 26 ], 86 := [ 1, 4, 6, 2, 14, 3, 15, 9, 8, 10, 11, 13, 12, 5, 7, 21, 23, 22, 25, 24, 16, 18, 17, 20, 19, 27, 26 ], 87 := [ 1, 4, 7, 2, 15, 17, 3, 10, 12, 8, 13, 9, 11, 22, 5, 23, 6, 21, 24, 25, 18, 14, 16, 19, 20, 26, 27 ], 88 := [ 1, 4, 8, 2, 5, 21, 13, 3, 16, 23, 14, 22, 7, 11, 18, 9, 17, 15, 25, 24, 6, 12, 10, 20, 19, 27, 26 ], 89 := [ 1, 4, 9, 2, 6, 5, 12, 14, 3, 22, 16, 7, 23, 8, 17, 11, 15, 18, 25, 24, 21, 10, 13, 20, 19, 27, 26 ], 90 := [ 1, 4, 10, 2, 7, 22, 11, 15, 17, 21, 18, 5, 6, 12, 16, 13, 3, 14, 24, 25, 23, 8, 9, 19, 20, 26, 27 ], 91 := [ 1, 4, 11, 2, 21, 6, 10, 16, 14, 7, 3, 23, 22, 9, 15, 8, 18, 17, 25, 24, 5, 13, 12, 20, 19, 27, 26 ], 92 := [ 1, 4, 12, 2, 22, 23, 9, 17, 18, 6, 15, 21, 5, 13, 14, 10, 16, 3, 24, 25, 7, 11, 8, 19, 20, 26, 27 ], 93 := [ 1, 4, 13, 2, 23, 7, 8, 18, 15, 5, 17, 6, 21, 10, 3, 12, 14, 16, 24, 25, 22, 9, 11, 19, 20, 26, 27 ], 94 := [ 1, 4, 14, 2, 9, 8, 23, 6, 5, 18, 21, 17, 15, 3, 13, 16, 12, 10, 25, 24, 11, 22, 7, 20, 19, 27, 26 ], 95 := [ 1, 4, 15, 2, 10, 12, 6, 7, 22, 14, 23, 16, 3, 17, 9, 18, 11, 8, 24, 25, 13, 21, 5, 19, 20, 26, 27 ], 96 := [ 1, 4, 16, 2, 11, 9, 22, 21, 6, 17, 5, 15, 18, 14, 12, 3, 10, 13, 25, 24, 8, 7, 23, 20, 19, 27, 26 ], 97 := [ 1, 4, 17, 2, 12, 13, 5, 22, 23, 3, 7, 14, 16, 18, 8, 15, 9, 11, 24, 25, 10, 6, 21, 19, 20, 26, 27 ], 98 := [ 1, 4, 18, 2, 13, 10, 21, 23, 7, 16, 22, 3, 14, 15, 11, 17, 8, 9, 24, 25, 12, 5, 6, 19, 20, 26, 27 ], 99 := [ 1, 4, 19, 2, 26, 26, 25, 24, 24, 20, 24, 20, 20, 19, 27, 19, 27, 27, 4, 4, 26, 25, 25, 2, 2, 1, 1 ], 100 := [ 1, 4, 20, 2, 27, 27, 24, 25, 25, 19, 25, 19, 19, 20, 26, 20, 26, 26, 4, 4, 27, 24, 24, 2, 2, 1, 1 ], 101 := [ 1, 4, 21, 2, 16, 14, 18, 11, 9, 13, 8, 12, 10, 6, 23, 5, 22, 7, 25, 24, 3, 17, 15, 20, 19, 27, 26 ], 102 := [ 1, 4, 22, 2, 17, 18, 16, 12, 13, 11, 10, 8, 9, 23, 21, 7, 5, 6, 24, 25, 15, 3, 14, 19, 20, 26, 27 ], 103 := [ 1, 4, 23, 2, 18, 15, 14, 13, 10, 9, 12, 11, 8, 7, 6, 22, 21, 5, 24, 25, 17, 16, 3, 19, 20, 26, 27 ], 104 := [ 1, 4, 24, 2, 19, 19, 20, 26, 26, 27, 26, 27, 27, 24, 25, 24, 25, 25, 4, 4, 19, 20, 20, 2, 2, 1, 1 ], 105 := [ 1, 4, 25, 2, 20, 20, 19, 27, 27, 26, 27, 26, 26, 25, 24, 25, 24, 24, 4, 4, 20, 19, 19, 2, 2, 1, 1 ], 106 := [ 1, 4, 26, 2, 24, 24, 27, 19, 19, 25, 19, 25, 25, 26, 20, 26, 20, 20, 4, 4, 24, 27, 27, 2, 2, 1, 1 ], 107 := [ 1, 4, 27, 2, 25, 25, 26, 20, 20, 24, 20, 24, 24, 27, 19, 27, 19, 19, 4, 4, 25, 26, 26, 2, 2, 1, 1 ], 108 := [ 1, 5, 1, 17, 5, 5, 1, 17, 17, 5, 17, 5, 5, 1, 17, 1, 17, 17, 5, 5, 5, 1, 1, 17, 17, 1, 1 ], 109 := [ 1, 5, 2, 17, 9, 8, 4, 7, 23, 16, 22, 14, 3, 20, 13, 19, 12, 10, 21, 6, 11, 25, 24, 15, 18, 27, 26 ], 110 := [ 1, 5, 3, 17, 10, 12, 7, 24, 25, 2, 4, 19, 20, 14, 9, 16, 11, 8, 6, 21, 13, 22, 23, 18, 15, 26, 27 ], 111 := [ 1, 5, 4, 17, 16, 3, 2, 13, 10, 9, 12, 11, 8, 24, 7, 25, 22, 23, 6, 21, 14, 19, 20, 18, 15, 26, 27 ], 112 := [ 1, 5, 5, 17, 17, 17, 17, 1, 1, 1, 1, 1, 1, 5, 5, 5, 5, 5, 5, 5, 17, 17, 17, 17, 17, 1, 1 ], 113 := [ 1, 5, 6, 17, 18, 18, 15, 26, 26, 27, 26, 27, 27, 6, 21, 6, 21, 21, 5, 5, 18, 15, 15, 17, 17, 1, 1 ], 114 := [ 1, 5, 7, 17, 2, 20, 3, 9, 8, 10, 11, 13, 12, 23, 24, 22, 4, 25, 21, 6, 19, 16, 14, 15, 18, 27, 26 ], 115 := [ 1, 5, 8, 17, 23, 22, 13, 20, 19, 4, 2, 25, 24, 11, 16, 9, 14, 3, 21, 6, 7, 12, 10, 15, 18, 27, 26 ], 116 := [ 1, 5, 9, 17, 7, 23, 12, 2, 20, 25, 19, 24, 4, 8, 14, 11, 3, 16, 21, 6, 22, 10, 13, 15, 18, 27, 26 ], 117 := [ 1, 5, 10, 17, 24, 25, 11, 3, 14, 22, 16, 23, 7, 12, 19, 13, 20, 2, 6, 21, 4, 8, 9, 18, 15, 26, 27 ], 118 := [ 1, 5, 11, 17, 22, 7, 10, 19, 2, 24, 20, 4, 25, 9, 3, 8, 16, 14, 21, 6, 23, 13, 12, 15, 18, 27, 26 ], 119 := [ 1, 5, 12, 17, 25, 4, 9, 14, 16, 7, 3, 22, 23, 13, 2, 10, 19, 20, 6, 21, 24, 11, 8, 18, 15, 26, 27 ], 120 := [ 1, 5, 13, 17, 4, 24, 8, 16, 3, 23, 14, 7, 22, 10, 20, 12, 2, 19, 6, 21, 25, 9, 11, 18, 15, 26, 27 ], 121 := [ 1, 5, 14, 17, 12, 13, 23, 25, 4, 20, 24, 2, 19, 16, 8, 3, 9, 11, 6, 21, 10, 7, 22, 18, 15, 26, 27 ], 122 := [ 1, 5, 15, 17, 27, 27, 6, 21, 21, 18, 21, 18, 18, 15, 26, 15, 26, 26, 5, 5, 27, 6, 6, 17, 17, 1, 1 ], 123 := [ 1, 5, 16, 17, 13, 10, 22, 4, 24, 19, 25, 20, 2, 3, 11, 14, 8, 9, 6, 21, 12, 23, 7, 18, 15, 26, 27 ], 124 := [ 1, 5, 17, 17, 1, 1, 5, 5, 5, 17, 5, 17, 17, 17, 1, 17, 1, 1, 5, 5, 1, 5, 5, 17, 17, 1, 1 ], 125 := [ 1, 5, 18, 17, 26, 26, 21, 6, 6, 15, 6, 15, 15, 18, 27, 18, 27, 27, 5, 5, 26, 21, 21, 17, 17, 1, 1 ], 126 := [ 1, 5, 19, 17, 11, 9, 25, 22, 7, 14, 23, 3, 16, 2, 12, 20, 10, 13, 21, 6, 8, 24, 4, 15, 18, 27, 26 ], 127 := [ 1, 5, 20, 17, 8, 11, 24, 23, 22, 3, 7, 16, 14, 19, 10, 2, 13, 12, 21, 6, 9, 4, 25, 15, 18, 27, 26 ], 128 := [ 1, 5, 21, 17, 15, 15, 18, 27, 27, 26, 27, 26, 26, 21, 6, 21, 6, 6, 5, 5, 15, 18, 18, 17, 17, 1, 1 ], 129 := [ 1, 5, 22, 17, 19, 2, 16, 11, 9, 13, 8, 12, 10, 7, 4, 23, 25, 24, 21, 6, 20, 14, 3, 15, 18, 27, 26 ], 130 := [ 1, 5, 23, 17, 20, 19, 14, 8, 11, 12, 9, 10, 13, 22, 25, 7, 24, 4, 21, 6, 2, 3, 16, 15, 18, 27, 26 ], 131 := [ 1, 5, 24, 17, 3, 14, 20, 10, 12, 8, 13, 9, 11, 25, 23, 4, 7, 22, 6, 21, 16, 2, 19, 18, 15, 26, 27 ], 132 := [ 1, 5, 25, 17, 14, 16, 19, 12, 13, 11, 10, 8, 9, 4, 22, 24, 23, 7, 6, 21, 3, 20, 2, 18, 15, 26, 27 ], 133 := [ 1, 5, 26, 17, 6, 6, 27, 18, 18, 21, 18, 21, 21, 26, 15, 26, 15, 15, 5, 5, 6, 27, 27, 17, 17, 1, 1 ], 134 := [ 1, 5, 27, 17, 21, 21, 26, 15, 15, 6, 15, 6, 6, 27, 18, 27, 18, 18, 5, 5, 21, 26, 26, 17, 17, 1, 1 ], 135 := [ 1, 6, 1, 15, 6, 6, 1, 15, 15, 6, 15, 6, 6, 1, 15, 1, 15, 15, 6, 6, 6, 1, 1, 15, 15, 1, 1 ], 136 := [ 1, 6, 2, 15, 11, 9, 4, 23, 22, 3, 7, 16, 14, 20, 12, 19, 10, 13, 5, 21, 8, 25, 24, 18, 17, 27, 26 ], 137 := [ 1, 6, 3, 15, 12, 13, 7, 4, 24, 19, 25, 20, 2, 14, 8, 16, 9, 11, 21, 5, 10, 22, 23, 17, 18, 26, 27 ], 138 := [ 1, 6, 4, 15, 3, 14, 2, 12, 13, 11, 10, 8, 9, 24, 23, 25, 7, 22, 21, 5, 16, 19, 20, 17, 18, 26, 27 ], 139 := [ 1, 6, 5, 15, 18, 18, 17, 27, 27, 26, 27, 26, 26, 5, 21, 5, 21, 21, 6, 6, 18, 17, 17, 15, 15, 1, 1 ], 140 := [ 1, 6, 6, 15, 15, 15, 15, 1, 1, 1, 1, 1, 1, 6, 6, 6, 6, 6, 6, 6, 15, 15, 15, 15, 15, 1, 1 ], 141 := [ 1, 6, 7, 15, 19, 2, 3, 8, 11, 12, 9, 10, 13, 23, 4, 22, 25, 24, 5, 21, 20, 16, 14, 18, 17, 27, 26 ], 142 := [ 1, 6, 8, 15, 7, 23, 13, 19, 2, 24, 20, 4, 25, 11, 14, 9, 3, 16, 5, 21, 22, 12, 10, 18, 17, 27, 26 ], 143 := [ 1, 6, 9, 15, 22, 7, 12, 20, 19, 4, 2, 25, 24, 8, 3, 11, 16, 14, 5, 21, 23, 10, 13, 18, 17, 27, 26 ], 144 := [ 1, 6, 10, 15, 25, 4, 11, 16, 3, 23, 14, 7, 22, 12, 2, 13, 19, 20, 21, 5, 24, 8, 9, 17, 18, 26, 27 ], 145 := [ 1, 6, 11, 15, 23, 22, 10, 2, 20, 25, 19, 24, 4, 9, 16, 8, 14, 3, 5, 21, 7, 13, 12, 18, 17, 27, 26 ], 146 := [ 1, 6, 12, 15, 4, 24, 9, 3, 14, 22, 16, 23, 7, 13, 20, 10, 2, 19, 21, 5, 25, 11, 8, 17, 18, 26, 27 ], 147 := [ 1, 6, 13, 15, 24, 25, 8, 14, 16, 7, 3, 22, 23, 10, 19, 12, 20, 2, 21, 5, 4, 9, 11, 17, 18, 26, 27 ], 148 := [ 1, 6, 14, 15, 13, 10, 23, 24, 25, 2, 4, 19, 20, 16, 11, 3, 8, 9, 21, 5, 12, 7, 22, 17, 18, 26, 27 ], 149 := [ 1, 6, 15, 15, 1, 1, 6, 6, 6, 15, 6, 15, 15, 15, 1, 15, 1, 1, 6, 6, 1, 6, 6, 15, 15, 1, 1 ], 150 := [ 1, 6, 16, 15, 10, 12, 22, 25, 4, 20, 24, 2, 19, 3, 9, 14, 11, 8, 21, 5, 13, 23, 7, 17, 18, 26, 27 ], 151 := [ 1, 6, 17, 15, 26, 26, 5, 21, 21, 18, 21, 18, 18, 17, 27, 17, 27, 27, 6, 6, 26, 5, 5, 15, 15, 1, 1 ], 152 := [ 1, 6, 18, 15, 27, 27, 21, 5, 5, 17, 5, 17, 17, 18, 26, 18, 26, 26, 6, 6, 27, 21, 21, 15, 15, 1, 1 ], 153 := [ 1, 6, 19, 15, 8, 11, 25, 7, 23, 16, 22, 14, 3, 2, 10, 20, 13, 12, 5, 21, 9, 24, 4, 18, 17, 27, 26 ], 154 := [ 1, 6, 20, 15, 9, 8, 24, 22, 7, 14, 23, 3, 16, 19, 13, 2, 12, 10, 5, 21, 11, 4, 25, 18, 17, 27, 26 ], 155 := [ 1, 6, 21, 15, 17, 17, 18, 26, 26, 27, 26, 27, 27, 21, 5, 21, 5, 5, 6, 6, 17, 18, 18, 15, 15, 1, 1 ], 156 := [ 1, 6, 22, 15, 20, 19, 16, 9, 8, 10, 11, 13, 12, 7, 25, 23, 24, 4, 5, 21, 2, 14, 3, 18, 17, 27, 26 ], 157 := [ 1, 6, 23, 15, 2, 20, 14, 11, 9, 13, 8, 12, 10, 22, 24, 7, 4, 25, 5, 21, 19, 3, 16, 18, 17, 27, 26 ], 158 := [ 1, 6, 24, 15, 14, 16, 20, 13, 10, 9, 12, 11, 8, 25, 22, 4, 23, 7, 21, 5, 3, 2, 19, 17, 18, 26, 27 ], 159 := [ 1, 6, 25, 15, 16, 3, 19, 10, 12, 8, 13, 9, 11, 4, 7, 24, 22, 23, 21, 5, 14, 20, 2, 17, 18, 26, 27 ], 160 := [ 1, 6, 26, 15, 21, 21, 27, 17, 17, 5, 17, 5, 5, 26, 18, 26, 18, 18, 6, 6, 21, 27, 27, 15, 15, 1, 1 ], 161 := [ 1, 6, 27, 15, 5, 5, 26, 18, 18, 21, 18, 21, 21, 27, 17, 27, 17, 17, 6, 6, 5, 26, 26, 15, 15, 1, 1 ], 162 := [ 1, 7, 1, 3, 7, 7, 1, 3, 3, 7, 3, 7, 7, 1, 3, 1, 3, 3, 7, 7, 7, 1, 1, 3, 3, 1, 1 ], 163 := [ 1, 7, 2, 3, 13, 10, 4, 6, 21, 17, 5, 18, 15, 19, 11, 20, 8, 9, 22, 23, 12, 24, 25, 14, 16, 26, 27 ], 164 := [ 1, 7, 3, 3, 1, 1, 7, 7, 7, 3, 7, 3, 3, 3, 1, 3, 1, 1, 7, 7, 1, 7, 7, 3, 3, 1, 1 ], 165 := [ 1, 7, 4, 3, 17, 15, 2, 11, 9, 13, 8, 12, 10, 25, 6, 24, 5, 21, 23, 22, 18, 20, 19, 16, 14, 27, 26 ], 166 := [ 1, 7, 5, 3, 20, 2, 17, 12, 13, 11, 10, 8, 9, 6, 4, 21, 24, 25, 22, 23, 19, 18, 15, 14, 16, 26, 27 ], 167 := [ 1, 7, 6, 3, 2, 19, 15, 13, 10, 9, 12, 11, 8, 21, 25, 5, 4, 24, 22, 23, 20, 17, 18, 14, 16, 26, 27 ], 168 := [ 1, 7, 7, 3, 3, 3, 3, 1, 1, 1, 1, 1, 1, 7, 7, 7, 7, 7, 7, 7, 3, 3, 3, 3, 3, 1, 1 ], 169 := [ 1, 7, 8, 3, 24, 4, 13, 18, 17, 6, 15, 5, 21, 11, 2, 9, 20, 19, 23, 22, 25, 12, 10, 16, 14, 27, 26 ], 170 := [ 1, 7, 9, 3, 25, 24, 12, 15, 18, 5, 17, 21, 6, 8, 20, 11, 19, 2, 23, 22, 4, 10, 13, 16, 14, 27, 26 ], 171 := [ 1, 7, 10, 3, 21, 5, 11, 19, 20, 4, 2, 24, 25, 12, 17, 13, 18, 15, 22, 23, 6, 8, 9, 14, 16, 26, 27 ], 172 := [ 1, 7, 11, 3, 4, 25, 10, 17, 15, 21, 18, 6, 5, 9, 19, 8, 2, 20, 23, 22, 24, 13, 12, 16, 14, 27, 26 ], 173 := [ 1, 7, 12, 3, 5, 6, 9, 20, 2, 25, 19, 4, 24, 13, 15, 10, 17, 18, 22, 23, 21, 11, 8, 14, 16, 26, 27 ], 174 := [ 1, 7, 13, 3, 6, 21, 8, 2, 19, 24, 20, 25, 4, 10, 18, 12, 15, 17, 22, 23, 5, 9, 11, 14, 16, 26, 27 ], 175 := [ 1, 7, 14, 3, 26, 26, 23, 22, 22, 16, 22, 16, 16, 14, 27, 14, 27, 27, 7, 7, 26, 23, 23, 3, 3, 1, 1 ], 176 := [ 1, 7, 15, 3, 9, 8, 6, 25, 24, 2, 4, 20, 19, 18, 13, 17, 12, 10, 23, 22, 11, 5, 21, 16, 14, 27, 26 ], 177 := [ 1, 7, 16, 3, 27, 27, 22, 23, 23, 14, 23, 14, 14, 16, 26, 16, 26, 26, 7, 7, 27, 22, 22, 3, 3, 1, 1 ], 178 := [ 1, 7, 17, 3, 11, 9, 5, 4, 25, 20, 24, 19, 2, 15, 12, 18, 10, 13, 23, 22, 8, 21, 6, 16, 14, 27, 26 ], 179 := [ 1, 7, 18, 3, 8, 11, 21, 24, 4, 19, 25, 2, 20, 17, 10, 15, 13, 12, 23, 22, 9, 6, 5, 16, 14, 27, 26 ], 180 := [ 1, 7, 19, 3, 10, 12, 25, 21, 5, 15, 6, 17, 18, 20, 9, 2, 11, 8, 22, 23, 13, 4, 24, 14, 16, 26, 27 ], 181 := [ 1, 7, 20, 3, 12, 13, 24, 5, 6, 18, 21, 15, 17, 2, 8, 19, 9, 11, 22, 23, 10, 25, 4, 14, 16, 26, 27 ], 182 := [ 1, 7, 21, 3, 19, 20, 18, 10, 12, 8, 13, 9, 11, 5, 24, 6, 25, 4, 22, 23, 2, 15, 17, 14, 16, 26, 27 ], 183 := [ 1, 7, 22, 3, 14, 14, 16, 26, 26, 27, 26, 27, 27, 22, 23, 22, 23, 23, 7, 7, 14, 16, 16, 3, 3, 1, 1 ], 184 := [ 1, 7, 23, 3, 16, 16, 14, 27, 27, 26, 27, 26, 26, 23, 22, 23, 22, 22, 7, 7, 16, 14, 14, 3, 3, 1, 1 ], 185 := [ 1, 7, 24, 3, 18, 17, 20, 8, 11, 12, 9, 10, 13, 4, 5, 25, 21, 6, 23, 22, 15, 19, 2, 16, 14, 27, 26 ], 186 := [ 1, 7, 25, 3, 15, 18, 19, 9, 8, 10, 11, 13, 12, 24, 21, 4, 6, 5, 23, 22, 17, 2, 20, 16, 14, 27, 26 ], 187 := [ 1, 7, 26, 3, 22, 22, 27, 14, 14, 23, 14, 23, 23, 26, 16, 26, 16, 16, 7, 7, 22, 27, 27, 3, 3, 1, 1 ], 188 := [ 1, 7, 27, 3, 23, 23, 26, 16, 16, 22, 16, 22, 22, 27, 14, 27, 14, 14, 7, 7, 23, 26, 26, 3, 3, 1, 1 ], 189 := [ 1, 8, 1, 13, 8, 8, 1, 13, 13, 8, 13, 8, 8, 1, 13, 1, 13, 13, 8, 8, 8, 1, 1, 13, 13, 1, 1 ], 190 := [ 1, 8, 2, 13, 14, 3, 4, 17, 15, 21, 18, 6, 5, 20, 7, 19, 23, 22, 11, 9, 16, 25, 24, 12, 10, 27, 26 ], 191 := [ 1, 8, 3, 13, 15, 18, 7, 20, 19, 4, 2, 25, 24, 16, 21, 14, 6, 5, 11, 9, 17, 23, 22, 12, 10, 27, 26 ], 192 := [ 1, 8, 4, 13, 21, 5, 2, 7, 22, 14, 23, 16, 3, 24, 17, 25, 18, 15, 9, 11, 6, 19, 20, 10, 12, 26, 27 ], 193 := [ 1, 8, 5, 13, 22, 23, 17, 24, 25, 2, 4, 19, 20, 6, 14, 21, 16, 3, 9, 11, 7, 18, 15, 10, 12, 26, 27 ], 194 := [ 1, 8, 6, 13, 23, 7, 15, 25, 4, 20, 24, 2, 19, 21, 3, 5, 14, 16, 9, 11, 22, 17, 18, 10, 12, 26, 27 ], 195 := [ 1, 8, 7, 13, 4, 24, 3, 21, 5, 15, 6, 17, 18, 22, 20, 23, 2, 19, 9, 11, 25, 14, 16, 10, 12, 26, 27 ], 196 := [ 1, 8, 8, 13, 13, 13, 13, 1, 1, 1, 1, 1, 1, 8, 8, 8, 8, 8, 8, 8, 13, 13, 13, 13, 13, 1, 1 ], 197 := [ 1, 8, 9, 13, 10, 10, 12, 26, 26, 27, 26, 27, 27, 9, 11, 9, 11, 11, 8, 8, 10, 12, 12, 13, 13, 1, 1 ], 198 := [ 1, 8, 10, 13, 26, 26, 11, 9, 9, 12, 9, 12, 12, 10, 27, 10, 27, 27, 8, 8, 26, 11, 11, 13, 13, 1, 1 ], 199 := [ 1, 8, 11, 13, 12, 12, 10, 27, 27, 26, 27, 26, 26, 11, 9, 11, 9, 9, 8, 8, 12, 10, 10, 13, 13, 1, 1 ], 200 := [ 1, 8, 12, 13, 27, 27, 9, 11, 11, 10, 11, 10, 10, 12, 26, 12, 26, 26, 8, 8, 27, 9, 9, 13, 13, 1, 1 ], 201 := [ 1, 8, 13, 13, 1, 1, 8, 8, 8, 13, 8, 13, 13, 13, 1, 13, 1, 1, 8, 8, 1, 8, 8, 13, 13, 1, 1 ], 202 := [ 1, 8, 14, 13, 17, 15, 23, 2, 20, 25, 19, 24, 4, 3, 6, 16, 5, 21, 11, 9, 18, 22, 7, 12, 10, 27, 26 ], 203 := [ 1, 8, 15, 13, 20, 19, 6, 3, 16, 23, 14, 22, 7, 18, 25, 17, 24, 4, 11, 9, 2, 5, 21, 12, 10, 27, 26 ], 204 := [ 1, 8, 16, 13, 18, 17, 22, 19, 2, 24, 20, 4, 25, 14, 5, 3, 21, 6, 11, 9, 15, 7, 23, 12, 10, 27, 26 ], 205 := [ 1, 8, 17, 13, 2, 20, 5, 14, 3, 22, 16, 7, 23, 15, 24, 18, 4, 25, 11, 9, 19, 21, 6, 12, 10, 27, 26 ], 206 := [ 1, 8, 18, 13, 19, 2, 21, 16, 14, 7, 3, 23, 22, 17, 4, 15, 25, 24, 11, 9, 20, 6, 5, 12, 10, 27, 26 ], 207 := [ 1, 8, 19, 13, 16, 14, 25, 18, 17, 6, 15, 5, 21, 2, 23, 20, 22, 7, 11, 9, 3, 24, 4, 12, 10, 27, 26 ], 208 := [ 1, 8, 20, 13, 3, 16, 24, 15, 18, 5, 17, 21, 6, 19, 22, 2, 7, 23, 11, 9, 14, 4, 25, 12, 10, 27, 26 ], 209 := [ 1, 8, 21, 13, 7, 22, 18, 4, 24, 19, 25, 20, 2, 5, 16, 6, 3, 14, 9, 11, 23, 15, 17, 10, 12, 26, 27 ], 210 := [ 1, 8, 22, 13, 24, 25, 16, 5, 6, 18, 21, 15, 17, 23, 19, 7, 20, 2, 9, 11, 4, 3, 14, 10, 12, 26, 27 ], 211 := [ 1, 8, 23, 13, 25, 4, 14, 6, 21, 17, 5, 18, 15, 7, 2, 22, 19, 20, 9, 11, 24, 16, 3, 10, 12, 26, 27 ], 212 := [ 1, 8, 24, 13, 5, 6, 20, 22, 23, 3, 7, 14, 16, 25, 15, 4, 17, 18, 9, 11, 21, 2, 19, 10, 12, 26, 27 ], 213 := [ 1, 8, 25, 13, 6, 21, 19, 23, 7, 16, 22, 3, 14, 4, 18, 24, 15, 17, 9, 11, 5, 20, 2, 10, 12, 26, 27 ], 214 := [ 1, 8, 26, 13, 9, 9, 27, 10, 10, 11, 10, 11, 11, 26, 12, 26, 12, 12, 8, 8, 9, 27, 27, 13, 13, 1, 1 ], 215 := [ 1, 8, 27, 13, 11, 11, 26, 12, 12, 9, 12, 9, 9, 27, 10, 27, 10, 10, 8, 8, 11, 26, 26, 13, 13, 1, 1 ], 216 := [ 1, 9, 1, 12, 9, 9, 1, 12, 12, 9, 12, 9, 9, 1, 12, 1, 12, 12, 9, 9, 9, 1, 1, 12, 12, 1, 1 ], 217 := [ 1, 9, 2, 12, 16, 14, 4, 15, 18, 5, 17, 21, 6, 20, 23, 19, 22, 7, 8, 11, 3, 25, 24, 10, 13, 27, 26 ], 218 := [ 1, 9, 3, 12, 17, 15, 7, 19, 2, 24, 20, 4, 25, 16, 6, 14, 5, 21, 8, 11, 18, 23, 22, 10, 13, 27, 26 ], 219 := [ 1, 9, 4, 12, 5, 6, 2, 23, 7, 16, 22, 3, 14, 24, 15, 25, 17, 18, 11, 8, 21, 19, 20, 13, 10, 26, 27 ], 220 := [ 1, 9, 5, 12, 23, 7, 17, 4, 24, 19, 25, 20, 2, 6, 3, 21, 14, 16, 11, 8, 22, 18, 15, 13, 10, 26, 27 ], 221 := [ 1, 9, 6, 12, 7, 22, 15, 24, 25, 2, 4, 19, 20, 21, 16, 5, 3, 14, 11, 8, 23, 17, 18, 13, 10, 26, 27 ], 222 := [ 1, 9, 7, 12, 24, 25, 3, 6, 21, 17, 5, 18, 15, 22, 19, 23, 20, 2, 11, 8, 4, 14, 16, 13, 10, 26, 27 ], 223 := [ 1, 9, 8, 12, 10, 10, 13, 27, 27, 26, 27, 26, 26, 8, 11, 8, 11, 11, 9, 9, 10, 13, 13, 12, 12, 1, 1 ], 224 := [ 1, 9, 9, 12, 12, 12, 12, 1, 1, 1, 1, 1, 1, 9, 9, 9, 9, 9, 9, 9, 12, 12, 12, 12, 12, 1, 1 ], 225 := [ 1, 9, 10, 12, 27, 27, 11, 8, 8, 13, 8, 13, 13, 10, 26, 10, 26, 26, 9, 9, 27, 11, 11, 12, 12, 1, 1 ], 226 := [ 1, 9, 11, 12, 13, 13, 10, 26, 26, 27, 26, 27, 27, 11, 8, 11, 8, 8, 9, 9, 13, 10, 10, 12, 12, 1, 1 ], 227 := [ 1, 9, 12, 12, 1, 1, 9, 9, 9, 12, 9, 12, 12, 12, 1, 12, 1, 1, 9, 9, 1, 9, 9, 12, 12, 1, 1 ], 228 := [ 1, 9, 13, 12, 26, 26, 8, 11, 11, 10, 11, 10, 10, 13, 27, 13, 27, 27, 9, 9, 26, 8, 8, 12, 12, 1, 1 ], 229 := [ 1, 9, 14, 12, 18, 17, 23, 20, 19, 4, 2, 25, 24, 3, 5, 16, 21, 6, 8, 11, 15, 22, 7, 10, 13, 27, 26 ], 230 := [ 1, 9, 15, 12, 2, 20, 6, 16, 14, 7, 3, 23, 22, 18, 24, 17, 4, 25, 8, 11, 19, 5, 21, 10, 13, 27, 26 ], 231 := [ 1, 9, 16, 12, 15, 18, 22, 2, 20, 25, 19, 24, 4, 14, 21, 3, 6, 5, 8, 11, 17, 7, 23, 10, 13, 27, 26 ], 232 := [ 1, 9, 17, 12, 19, 2, 5, 3, 16, 23, 14, 22, 7, 15, 4, 18, 25, 24, 8, 11, 20, 21, 6, 10, 13, 27, 26 ], 233 := [ 1, 9, 18, 12, 20, 19, 21, 14, 3, 22, 16, 7, 23, 17, 25, 15, 24, 4, 8, 11, 2, 6, 5, 10, 13, 27, 26 ], 234 := [ 1, 9, 19, 12, 3, 16, 25, 17, 15, 21, 18, 6, 5, 2, 22, 20, 7, 23, 8, 11, 14, 24, 4, 10, 13, 27, 26 ], 235 := [ 1, 9, 20, 12, 14, 3, 24, 18, 17, 6, 15, 5, 21, 19, 7, 2, 23, 22, 8, 11, 16, 4, 25, 10, 13, 27, 26 ], 236 := [ 1, 9, 21, 12, 22, 23, 18, 25, 4, 20, 24, 2, 19, 5, 14, 6, 16, 3, 11, 8, 7, 15, 17, 13, 10, 26, 27 ], 237 := [ 1, 9, 22, 12, 25, 4, 16, 21, 5, 15, 6, 17, 18, 23, 2, 7, 19, 20, 11, 8, 24, 3, 14, 13, 10, 26, 27 ], 238 := [ 1, 9, 23, 12, 4, 24, 14, 5, 6, 18, 21, 15, 17, 7, 20, 22, 2, 19, 11, 8, 25, 16, 3, 13, 10, 26, 27 ], 239 := [ 1, 9, 24, 12, 6, 21, 20, 7, 22, 14, 23, 16, 3, 25, 18, 4, 15, 17, 11, 8, 5, 2, 19, 13, 10, 26, 27 ], 240 := [ 1, 9, 25, 12, 21, 5, 19, 22, 23, 3, 7, 14, 16, 4, 17, 24, 18, 15, 11, 8, 6, 20, 2, 13, 10, 26, 27 ], 241 := [ 1, 9, 26, 12, 11, 11, 27, 13, 13, 8, 13, 8, 8, 26, 10, 26, 10, 10, 9, 9, 11, 27, 27, 12, 12, 1, 1 ], 242 := [ 1, 9, 27, 12, 8, 8, 26, 10, 10, 11, 10, 11, 11, 27, 13, 27, 13, 13, 9, 9, 8, 26, 26, 12, 12, 1, 1 ], 243 := [ 1, 10, 1, 11, 10, 10, 1, 11, 11, 10, 11, 10, 10, 1, 11, 1, 11, 11, 10, 10, 10, 1, 1, 11, 11, 1, 1 ], 244 := [ 1, 10, 2, 11, 18, 15, 4, 3, 14, 22, 16, 23, 7, 19, 6, 20, 21, 5, 12, 13, 17, 24, 25, 8, 9, 26, 27 ], 245 := [ 1, 10, 3, 11, 2, 19, 7, 18, 15, 5, 17, 6, 21, 14, 25, 16, 4, 24, 12, 13, 20, 22, 23, 8, 9, 26, 27 ], 246 := [ 1, 10, 4, 11, 22, 7, 2, 6, 5, 18, 21, 17, 15, 25, 3, 24, 16, 14, 13, 12, 23, 20, 19, 9, 8, 27, 26 ], 247 := [ 1, 10, 5, 11, 25, 24, 17, 7, 23, 16, 22, 14, 3, 21, 20, 6, 19, 2, 13, 12, 4, 15, 18, 9, 8, 27, 26 ], 248 := [ 1, 10, 6, 11, 4, 25, 15, 22, 7, 14, 23, 3, 16, 5, 19, 21, 2, 20, 13, 12, 24, 18, 17, 9, 8, 27, 26 ], 249 := [ 1, 10, 7, 11, 5, 21, 3, 25, 24, 2, 4, 20, 19, 23, 18, 22, 17, 15, 13, 12, 6, 16, 14, 9, 8, 27, 26 ], 250 := [ 1, 10, 8, 11, 26, 26, 13, 12, 12, 9, 12, 9, 9, 8, 27, 8, 27, 27, 10, 10, 26, 13, 13, 11, 11, 1, 1 ], 251 := [ 1, 10, 9, 11, 27, 27, 12, 13, 13, 8, 13, 8, 8, 9, 26, 9, 26, 26, 10, 10, 27, 12, 12, 11, 11, 1, 1 ], 252 := [ 1, 10, 10, 11, 11, 11, 11, 1, 1, 1, 1, 1, 1, 10, 10, 10, 10, 10, 10, 10, 11, 11, 11, 11, 11, 1, 1 ], 253 := [ 1, 10, 11, 11, 1, 1, 10, 10, 10, 11, 10, 11, 11, 11, 1, 11, 1, 1, 10, 10, 1, 10, 10, 11, 11, 1, 1 ], 254 := [ 1, 10, 12, 11, 8, 8, 9, 26, 26, 27, 26, 27, 27, 12, 13, 12, 13, 13, 10, 10, 8, 9, 9, 11, 11, 1, 1 ], 255 := [ 1, 10, 13, 11, 9, 9, 8, 27, 27, 26, 27, 26, 26, 13, 12, 13, 12, 12, 10, 10, 9, 8, 8, 11, 11, 1, 1 ], 256 := [ 1, 10, 14, 11, 19, 20, 23, 15, 17, 21, 18, 5, 6, 16, 24, 3, 25, 4, 12, 13, 2, 7, 22, 8, 9, 26, 27 ], 257 := [ 1, 10, 15, 11, 14, 16, 6, 19, 20, 4, 2, 24, 25, 17, 22, 18, 23, 7, 12, 13, 3, 21, 5, 8, 9, 26, 27 ], 258 := [ 1, 10, 16, 11, 20, 2, 22, 17, 18, 6, 15, 21, 5, 3, 4, 14, 24, 25, 12, 13, 19, 23, 7, 8, 9, 26, 27 ], 259 := [ 1, 10, 17, 11, 16, 3, 5, 20, 2, 25, 19, 4, 24, 18, 7, 15, 22, 23, 12, 13, 14, 6, 21, 8, 9, 26, 27 ], 260 := [ 1, 10, 18, 11, 3, 14, 21, 2, 19, 24, 20, 25, 4, 15, 23, 17, 7, 22, 12, 13, 16, 5, 6, 8, 9, 26, 27 ], 261 := [ 1, 10, 19, 11, 15, 17, 25, 14, 16, 7, 3, 22, 23, 20, 5, 2, 6, 21, 12, 13, 18, 4, 24, 8, 9, 26, 27 ], 262 := [ 1, 10, 20, 11, 17, 18, 24, 16, 3, 23, 14, 7, 22, 2, 21, 19, 5, 6, 12, 13, 15, 25, 4, 8, 9, 26, 27 ], 263 := [ 1, 10, 21, 11, 24, 4, 18, 23, 22, 3, 7, 16, 14, 6, 2, 5, 20, 19, 13, 12, 25, 17, 15, 9, 8, 27, 26 ], 264 := [ 1, 10, 22, 11, 6, 5, 16, 4, 25, 20, 24, 19, 2, 7, 17, 23, 15, 18, 13, 12, 21, 14, 3, 9, 8, 27, 26 ], 265 := [ 1, 10, 23, 11, 21, 6, 14, 24, 4, 19, 25, 2, 20, 22, 15, 7, 18, 17, 13, 12, 5, 3, 16, 9, 8, 27, 26 ], 266 := [ 1, 10, 24, 11, 23, 22, 20, 21, 6, 17, 5, 15, 18, 4, 16, 25, 14, 3, 13, 12, 7, 19, 2, 9, 8, 27, 26 ], 267 := [ 1, 10, 25, 11, 7, 23, 19, 5, 21, 15, 6, 18, 17, 24, 14, 4, 3, 16, 13, 12, 22, 2, 20, 9, 8, 27, 26 ], 268 := [ 1, 10, 26, 11, 12, 12, 27, 8, 8, 13, 8, 13, 13, 26, 9, 26, 9, 9, 10, 10, 12, 27, 27, 11, 11, 1, 1 ], 269 := [ 1, 10, 27, 11, 13, 13, 26, 9, 9, 12, 9, 12, 12, 27, 8, 27, 8, 8, 10, 10, 13, 26, 26, 11, 11, 1, 1 ], 270 := [ 1, 11, 1, 10, 11, 11, 1, 10, 10, 11, 10, 11, 11, 1, 10, 1, 10, 10, 11, 11, 11, 1, 1, 10, 10, 1, 1 ], 271 := [ 1, 11, 2, 10, 3, 16, 4, 18, 17, 6, 15, 5, 21, 20, 22, 19, 7, 23, 9, 8, 14, 25, 24, 13, 12, 27, 26 ], 272 := [ 1, 11, 3, 10, 18, 17, 7, 2, 20, 25, 19, 24, 4, 16, 5, 14, 21, 6, 9, 8, 15, 23, 22, 13, 12, 27, 26 ], 273 := [ 1, 11, 4, 10, 6, 21, 2, 22, 23, 3, 7, 14, 16, 24, 18, 25, 15, 17, 8, 9, 5, 19, 20, 12, 13, 26, 27 ], 274 := [ 1, 11, 5, 10, 7, 22, 17, 25, 4, 20, 24, 2, 19, 6, 16, 21, 3, 14, 8, 9, 23, 18, 15, 12, 13, 26, 27 ], 275 := [ 1, 11, 6, 10, 22, 23, 15, 4, 24, 19, 25, 20, 2, 21, 14, 5, 16, 3, 8, 9, 7, 17, 18, 12, 13, 26, 27 ], 276 := [ 1, 11, 7, 10, 25, 4, 3, 5, 6, 18, 21, 15, 17, 22, 2, 23, 19, 20, 8, 9, 24, 14, 16, 12, 13, 26, 27 ], 277 := [ 1, 11, 8, 10, 12, 12, 13, 26, 26, 27, 26, 27, 27, 8, 9, 8, 9, 9, 11, 11, 12, 13, 13, 10, 10, 1, 1 ], 278 := [ 1, 11, 9, 10, 13, 13, 12, 27, 27, 26, 27, 26, 26, 9, 8, 9, 8, 8, 11, 11, 13, 12, 12, 10, 10, 1, 1 ], 279 := [ 1, 11, 10, 10, 1, 1, 11, 11, 11, 10, 11, 10, 10, 10, 1, 10, 1, 1, 11, 11, 1, 11, 11, 10, 10, 1, 1 ], 280 := [ 1, 11, 11, 10, 10, 10, 10, 1, 1, 1, 1, 1, 1, 11, 11, 11, 11, 11, 11, 11, 10, 10, 10, 10, 10, 1, 1 ], 281 := [ 1, 11, 12, 10, 26, 26, 9, 8, 8, 13, 8, 13, 13, 12, 27, 12, 27, 27, 11, 11, 26, 9, 9, 10, 10, 1, 1 ], 282 := [ 1, 11, 13, 10, 27, 27, 8, 9, 9, 12, 9, 12, 12, 13, 26, 13, 26, 26, 11, 11, 27, 8, 8, 10, 10, 1, 1 ], 283 := [ 1, 11, 14, 10, 15, 18, 23, 19, 2, 24, 20, 4, 25, 3, 21, 16, 6, 5, 9, 8, 17, 22, 7, 13, 12, 27, 26 ], 284 := [ 1, 11, 15, 10, 19, 2, 6, 14, 3, 22, 16, 7, 23, 18, 4, 17, 25, 24, 9, 8, 20, 5, 21, 13, 12, 27, 26 ], 285 := [ 1, 11, 16, 10, 17, 15, 22, 20, 19, 4, 2, 25, 24, 14, 6, 3, 5, 21, 9, 8, 18, 7, 23, 13, 12, 27, 26 ], 286 := [ 1, 11, 17, 10, 20, 19, 5, 16, 14, 7, 3, 23, 22, 15, 25, 18, 24, 4, 9, 8, 2, 21, 6, 13, 12, 27, 26 ], 287 := [ 1, 11, 18, 10, 2, 20, 21, 3, 16, 23, 14, 22, 7, 17, 24, 15, 4, 25, 9, 8, 19, 6, 5, 13, 12, 27, 26 ], 288 := [ 1, 11, 19, 10, 14, 3, 25, 15, 18, 5, 17, 21, 6, 2, 7, 20, 23, 22, 9, 8, 16, 24, 4, 13, 12, 27, 26 ], 289 := [ 1, 11, 20, 10, 16, 14, 24, 17, 15, 21, 18, 6, 5, 19, 23, 2, 22, 7, 9, 8, 3, 4, 25, 13, 12, 27, 26 ], 290 := [ 1, 11, 21, 10, 23, 7, 18, 24, 25, 2, 4, 19, 20, 5, 3, 6, 14, 16, 8, 9, 22, 15, 17, 12, 13, 26, 27 ], 291 := [ 1, 11, 22, 10, 4, 24, 16, 6, 21, 17, 5, 18, 15, 23, 20, 7, 2, 19, 8, 9, 25, 3, 14, 12, 13, 26, 27 ], 292 := [ 1, 11, 23, 10, 24, 25, 14, 21, 5, 15, 6, 17, 18, 7, 19, 22, 20, 2, 8, 9, 4, 16, 3, 12, 13, 26, 27 ], 293 := [ 1, 11, 24, 10, 21, 5, 20, 23, 7, 16, 22, 3, 14, 25, 17, 4, 18, 15, 8, 9, 6, 2, 19, 12, 13, 26, 27 ], 294 := [ 1, 11, 25, 10, 5, 6, 19, 7, 22, 14, 23, 16, 3, 4, 15, 24, 17, 18, 8, 9, 21, 20, 2, 12, 13, 26, 27 ], 295 := [ 1, 11, 26, 10, 8, 8, 27, 12, 12, 9, 12, 9, 9, 26, 13, 26, 13, 13, 11, 11, 8, 27, 27, 10, 10, 1, 1 ], 296 := [ 1, 11, 27, 10, 9, 9, 26, 13, 13, 8, 13, 8, 8, 27, 12, 27, 12, 12, 11, 11, 9, 26, 26, 10, 10, 1, 1 ], 297 := [ 1, 12, 1, 9, 12, 12, 1, 9, 9, 12, 9, 12, 12, 1, 9, 1, 9, 9, 12, 12, 12, 1, 1, 9, 9, 1, 1 ], 298 := [ 1, 12, 2, 9, 15, 17, 4, 16, 3, 23, 14, 7, 22, 19, 5, 20, 6, 21, 13, 10, 18, 24, 25, 11, 8, 26, 27 ], 299 := [ 1, 12, 3, 9, 19, 20, 7, 17, 18, 6, 15, 21, 5, 14, 24, 16, 25, 4, 13, 10, 2, 22, 23, 11, 8, 26, 27 ], 300 := [ 1, 12, 4, 9, 23, 22, 2, 5, 21, 15, 6, 18, 17, 25, 16, 24, 14, 3, 10, 13, 7, 20, 19, 8, 11, 27, 26 ], 301 := [ 1, 12, 5, 9, 4, 25, 17, 23, 22, 3, 7, 16, 14, 21, 19, 6, 2, 20, 10, 13, 24, 15, 18, 8, 11, 27, 26 ], 302 := [ 1, 12, 6, 9, 24, 4, 15, 7, 23, 16, 22, 14, 3, 5, 2, 21, 20, 19, 10, 13, 25, 18, 17, 8, 11, 27, 26 ], 303 := [ 1, 12, 7, 9, 6, 5, 3, 24, 4, 19, 25, 2, 20, 23, 17, 22, 15, 18, 10, 13, 21, 16, 14, 8, 11, 27, 26 ], 304 := [ 1, 12, 8, 9, 27, 27, 13, 10, 10, 11, 10, 11, 11, 8, 26, 8, 26, 26, 12, 12, 27, 13, 13, 9, 9, 1, 1 ], 305 := [ 1, 12, 9, 9, 1, 1, 12, 12, 12, 9, 12, 9, 9, 9, 1, 9, 1, 1, 12, 12, 1, 12, 12, 9, 9, 1, 1 ], 306 := [ 1, 12, 10, 9, 8, 8, 11, 27, 27, 26, 27, 26, 26, 10, 13, 10, 13, 13, 12, 12, 8, 11, 11, 9, 9, 1, 1 ], 307 := [ 1, 12, 11, 9, 26, 26, 10, 13, 13, 8, 13, 8, 8, 11, 27, 11, 27, 27, 12, 12, 26, 10, 10, 9, 9, 1, 1 ], 308 := [ 1, 12, 12, 9, 9, 9, 9, 1, 1, 1, 1, 1, 1, 12, 12, 12, 12, 12, 12, 12, 9, 9, 9, 9, 9, 1, 1 ], 309 := [ 1, 12, 13, 9, 11, 11, 8, 26, 26, 27, 26, 27, 27, 13, 10, 13, 10, 10, 12, 12, 11, 8, 8, 9, 9, 1, 1 ], 310 := [ 1, 12, 14, 9, 20, 2, 23, 18, 15, 5, 17, 6, 21, 16, 4, 3, 24, 25, 13, 10, 19, 7, 22, 11, 8, 26, 27 ], 311 := [ 1, 12, 15, 9, 16, 3, 6, 2, 19, 24, 20, 25, 4, 17, 7, 18, 22, 23, 13, 10, 14, 21, 5, 11, 8, 26, 27 ], 312 := [ 1, 12, 16, 9, 2, 19, 22, 15, 17, 21, 18, 5, 6, 3, 25, 14, 4, 24, 13, 10, 20, 23, 7, 11, 8, 26, 27 ], 313 := [ 1, 12, 17, 9, 3, 14, 5, 19, 20, 4, 2, 24, 25, 18, 23, 15, 7, 22, 13, 10, 16, 6, 21, 11, 8, 26, 27 ], 314 := [ 1, 12, 18, 9, 14, 16, 21, 20, 2, 25, 19, 4, 24, 15, 22, 17, 23, 7, 13, 10, 3, 5, 6, 11, 8, 26, 27 ], 315 := [ 1, 12, 19, 9, 17, 18, 25, 3, 14, 22, 16, 23, 7, 20, 21, 2, 5, 6, 13, 10, 15, 4, 24, 11, 8, 26, 27 ], 316 := [ 1, 12, 20, 9, 18, 15, 24, 14, 16, 7, 3, 22, 23, 2, 6, 19, 21, 5, 13, 10, 17, 25, 4, 11, 8, 26, 27 ], 317 := [ 1, 12, 21, 9, 25, 24, 18, 22, 7, 14, 23, 3, 16, 6, 20, 5, 19, 2, 10, 13, 4, 17, 15, 8, 11, 27, 26 ], 318 := [ 1, 12, 22, 9, 21, 6, 16, 25, 24, 2, 4, 20, 19, 7, 15, 23, 18, 17, 10, 13, 5, 14, 3, 8, 11, 27, 26 ], 319 := [ 1, 12, 23, 9, 5, 21, 14, 4, 25, 20, 24, 19, 2, 22, 18, 7, 17, 15, 10, 13, 6, 3, 16, 8, 11, 27, 26 ], 320 := [ 1, 12, 24, 9, 7, 23, 20, 6, 5, 18, 21, 17, 15, 4, 14, 25, 3, 16, 10, 13, 22, 19, 2, 8, 11, 27, 26 ], 321 := [ 1, 12, 25, 9, 22, 7, 19, 21, 6, 17, 5, 15, 18, 24, 3, 4, 16, 14, 10, 13, 23, 2, 20, 8, 11, 27, 26 ], 322 := [ 1, 12, 26, 9, 13, 13, 27, 11, 11, 10, 11, 10, 10, 26, 8, 26, 8, 8, 12, 12, 13, 27, 27, 9, 9, 1, 1 ], 323 := [ 1, 12, 27, 9, 10, 10, 26, 8, 8, 13, 8, 13, 13, 27, 11, 27, 11, 11, 12, 12, 10, 26, 26, 9, 9, 1, 1 ], 324 := [ 1, 13, 1, 8, 13, 13, 1, 8, 8, 13, 8, 13, 13, 1, 8, 1, 8, 8, 13, 13, 13, 1, 1, 8, 8, 1, 1 ], 325 := [ 1, 13, 2, 8, 17, 18, 4, 14, 16, 7, 3, 22, 23, 19, 21, 20, 5, 6, 10, 12, 15, 24, 25, 9, 11, 26, 27 ], 326 := [ 1, 13, 3, 8, 20, 2, 7, 15, 17, 21, 18, 5, 6, 14, 4, 16, 24, 25, 10, 12, 19, 22, 23, 9, 11, 26, 27 ], 327 := [ 1, 13, 4, 8, 7, 23, 2, 21, 6, 17, 5, 15, 18, 25, 14, 24, 3, 16, 12, 10, 22, 20, 19, 11, 9, 27, 26 ], 328 := [ 1, 13, 5, 8, 24, 4, 17, 22, 7, 14, 23, 3, 16, 21, 2, 6, 20, 19, 12, 10, 25, 15, 18, 11, 9, 27, 26 ], 329 := [ 1, 13, 6, 8, 25, 24, 15, 23, 22, 3, 7, 16, 14, 5, 20, 21, 19, 2, 12, 10, 4, 18, 17, 11, 9, 27, 26 ], 330 := [ 1, 13, 7, 8, 21, 6, 3, 4, 25, 20, 24, 19, 2, 23, 15, 22, 18, 17, 12, 10, 5, 16, 14, 11, 9, 27, 26 ], 331 := [ 1, 13, 8, 8, 1, 1, 13, 13, 13, 8, 13, 8, 8, 8, 1, 8, 1, 1, 13, 13, 1, 13, 13, 8, 8, 1, 1 ], 332 := [ 1, 13, 9, 8, 26, 26, 12, 10, 10, 11, 10, 11, 11, 9, 27, 9, 27, 27, 13, 13, 26, 12, 12, 8, 8, 1, 1 ], 333 := [ 1, 13, 10, 8, 9, 9, 11, 26, 26, 27, 26, 27, 27, 10, 12, 10, 12, 12, 13, 13, 9, 11, 11, 8, 8, 1, 1 ], 334 := [ 1, 13, 11, 8, 27, 27, 10, 12, 12, 9, 12, 9, 9, 11, 26, 11, 26, 26, 13, 13, 27, 10, 10, 8, 8, 1, 1 ], 335 := [ 1, 13, 12, 8, 11, 11, 9, 27, 27, 26, 27, 26, 26, 12, 10, 12, 10, 10, 13, 13, 11, 9, 9, 8, 8, 1, 1 ], 336 := [ 1, 13, 13, 8, 8, 8, 8, 1, 1, 1, 1, 1, 1, 13, 13, 13, 13, 13, 13, 13, 8, 8, 8, 8, 8, 1, 1 ], 337 := [ 1, 13, 14, 8, 2, 19, 23, 17, 18, 6, 15, 21, 5, 16, 25, 3, 4, 24, 10, 12, 20, 7, 22, 9, 11, 26, 27 ], 338 := [ 1, 13, 15, 8, 3, 14, 6, 20, 2, 25, 19, 4, 24, 17, 23, 18, 7, 22, 10, 12, 16, 21, 5, 9, 11, 26, 27 ], 339 := [ 1, 13, 16, 8, 19, 20, 22, 18, 15, 5, 17, 6, 21, 3, 24, 14, 25, 4, 10, 12, 2, 23, 7, 9, 11, 26, 27 ], 340 := [ 1, 13, 17, 8, 14, 16, 5, 2, 19, 24, 20, 25, 4, 18, 22, 15, 23, 7, 10, 12, 3, 6, 21, 9, 11, 26, 27 ], 341 := [ 1, 13, 18, 8, 16, 3, 21, 19, 20, 4, 2, 24, 25, 15, 7, 17, 22, 23, 10, 12, 14, 5, 6, 9, 11, 26, 27 ], 342 := [ 1, 13, 19, 8, 18, 15, 25, 16, 3, 23, 14, 7, 22, 20, 6, 2, 21, 5, 10, 12, 17, 4, 24, 9, 11, 26, 27 ], 343 := [ 1, 13, 20, 8, 15, 17, 24, 3, 14, 22, 16, 23, 7, 2, 5, 19, 6, 21, 10, 12, 18, 25, 4, 9, 11, 26, 27 ], 344 := [ 1, 13, 21, 8, 4, 25, 18, 7, 23, 16, 22, 14, 3, 6, 19, 5, 2, 20, 12, 10, 24, 17, 15, 11, 9, 27, 26 ], 345 := [ 1, 13, 22, 8, 5, 21, 16, 24, 4, 19, 25, 2, 20, 7, 18, 23, 17, 15, 12, 10, 6, 14, 3, 11, 9, 27, 26 ], 346 := [ 1, 13, 23, 8, 6, 5, 14, 25, 24, 2, 4, 20, 19, 22, 17, 7, 15, 18, 12, 10, 21, 3, 16, 11, 9, 27, 26 ], 347 := [ 1, 13, 24, 8, 22, 7, 20, 5, 21, 15, 6, 18, 17, 4, 3, 25, 16, 14, 12, 10, 23, 19, 2, 11, 9, 27, 26 ], 348 := [ 1, 13, 25, 8, 23, 22, 19, 6, 5, 18, 21, 17, 15, 24, 16, 4, 14, 3, 12, 10, 7, 2, 20, 11, 9, 27, 26 ], 349 := [ 1, 13, 26, 8, 10, 10, 27, 9, 9, 12, 9, 12, 12, 26, 11, 26, 11, 11, 13, 13, 10, 27, 27, 8, 8, 1, 1 ], 350 := [ 1, 13, 27, 8, 12, 12, 26, 11, 11, 10, 11, 10, 10, 27, 9, 27, 9, 9, 13, 13, 12, 26, 26, 8, 8, 1, 1 ], 351 := [ 1, 14, 1, 23, 14, 14, 1, 23, 23, 14, 23, 14, 14, 1, 23, 1, 23, 23, 14, 14, 14, 1, 1, 23, 23, 1, 1 ], 352 := [ 1, 14, 2, 23, 21, 6, 4, 12, 10, 8, 13, 11, 9, 20, 15, 19, 18, 17, 3, 16, 5, 25, 24, 22, 7, 27, 26 ], 353 := [ 1, 14, 3, 23, 22, 22, 7, 27, 27, 26, 27, 26, 26, 3, 16, 3, 16, 16, 14, 14, 22, 7, 7, 23, 23, 1, 1 ], 354 := [ 1, 14, 4, 23, 8, 9, 2, 15, 17, 21, 18, 5, 6, 24, 12, 25, 13, 10, 16, 3, 11, 19, 20, 7, 22, 26, 27 ], 355 := [ 1, 14, 5, 23, 13, 12, 17, 19, 2, 24, 20, 4, 25, 21, 9, 6, 8, 11, 3, 16, 10, 15, 18, 22, 7, 27, 26 ], 356 := [ 1, 14, 6, 23, 10, 13, 15, 20, 19, 4, 2, 25, 24, 5, 8, 21, 11, 9, 3, 16, 12, 18, 17, 22, 7, 27, 26 ], 357 := [ 1, 14, 7, 23, 26, 26, 3, 16, 16, 22, 16, 22, 22, 7, 27, 7, 27, 27, 14, 14, 26, 3, 3, 23, 23, 1, 1 ], 358 := [ 1, 14, 8, 23, 15, 17, 13, 4, 24, 19, 25, 20, 2, 9, 5, 11, 6, 21, 16, 3, 18, 10, 12, 7, 22, 26, 27 ], 359 := [ 1, 14, 9, 23, 17, 18, 12, 24, 25, 2, 4, 19, 20, 11, 21, 8, 5, 6, 16, 3, 15, 13, 10, 7, 22, 26, 27 ], 360 := [ 1, 14, 10, 23, 20, 19, 11, 6, 5, 18, 21, 17, 15, 13, 25, 12, 24, 4, 3, 16, 2, 9, 8, 22, 7, 27, 26 ], 361 := [ 1, 14, 11, 23, 18, 15, 10, 25, 4, 20, 24, 2, 19, 8, 6, 9, 21, 5, 16, 3, 17, 12, 13, 7, 22, 26, 27 ], 362 := [ 1, 14, 12, 23, 2, 20, 9, 21, 6, 17, 5, 15, 18, 10, 24, 13, 4, 25, 3, 16, 19, 8, 11, 22, 7, 27, 26 ], 363 := [ 1, 14, 13, 23, 19, 2, 8, 5, 21, 15, 6, 18, 17, 12, 4, 10, 25, 24, 3, 16, 20, 11, 9, 22, 7, 27, 26 ], 364 := [ 1, 14, 14, 23, 23, 23, 23, 1, 1, 1, 1, 1, 1, 14, 14, 14, 14, 14, 14, 14, 23, 23, 23, 23, 23, 1, 1 ], 365 := [ 1, 14, 15, 23, 4, 24, 6, 8, 9, 10, 11, 12, 13, 17, 20, 18, 2, 19, 16, 3, 25, 21, 5, 7, 22, 26, 27 ], 366 := [ 1, 14, 16, 23, 7, 7, 22, 26, 26, 27, 26, 27, 27, 16, 3, 16, 3, 3, 14, 14, 7, 22, 22, 23, 23, 1, 1 ], 367 := [ 1, 14, 17, 23, 24, 25, 5, 9, 11, 13, 8, 10, 12, 18, 19, 15, 20, 2, 16, 3, 4, 6, 21, 7, 22, 26, 27 ], 368 := [ 1, 14, 18, 23, 25, 4, 21, 11, 8, 12, 9, 13, 10, 15, 2, 17, 19, 20, 16, 3, 24, 5, 6, 7, 22, 26, 27 ], 369 := [ 1, 14, 19, 23, 5, 21, 25, 13, 12, 11, 10, 9, 8, 2, 18, 20, 17, 15, 3, 16, 6, 24, 4, 22, 7, 27, 26 ], 370 := [ 1, 14, 20, 23, 6, 5, 24, 10, 13, 9, 12, 8, 11, 19, 17, 2, 15, 18, 3, 16, 21, 4, 25, 22, 7, 27, 26 ], 371 := [ 1, 14, 21, 23, 12, 10, 18, 2, 20, 25, 19, 24, 4, 6, 11, 5, 9, 8, 3, 16, 13, 17, 15, 22, 7, 27, 26 ], 372 := [ 1, 14, 22, 23, 27, 27, 16, 3, 3, 7, 3, 7, 7, 22, 26, 22, 26, 26, 14, 14, 27, 16, 16, 23, 23, 1, 1 ], 373 := [ 1, 14, 23, 23, 1, 1, 14, 14, 14, 23, 14, 23, 23, 23, 1, 23, 1, 1, 14, 14, 1, 14, 14, 23, 23, 1, 1 ], 374 := [ 1, 14, 24, 23, 9, 11, 20, 17, 18, 6, 15, 21, 5, 25, 10, 4, 12, 13, 16, 3, 8, 2, 19, 7, 22, 26, 27 ], 375 := [ 1, 14, 25, 23, 11, 8, 19, 18, 15, 5, 17, 6, 21, 4, 13, 24, 10, 12, 16, 3, 9, 20, 2, 7, 22, 26, 27 ], 376 := [ 1, 14, 26, 23, 16, 16, 27, 7, 7, 3, 7, 3, 3, 26, 22, 26, 22, 22, 14, 14, 16, 27, 27, 23, 23, 1, 1 ], 377 := [ 1, 14, 27, 23, 3, 3, 26, 22, 22, 16, 22, 16, 16, 27, 7, 27, 7, 7, 14, 14, 3, 26, 26, 23, 23, 1, 1 ], 378 := [ 1, 15, 1, 6, 15, 15, 1, 6, 6, 15, 6, 15, 15, 1, 6, 1, 6, 6, 15, 15, 15, 1, 1, 6, 6, 1, 1 ], 379 := [ 1, 15, 2, 6, 23, 7, 4, 11, 8, 12, 9, 13, 10, 19, 3, 20, 14, 16, 17, 18, 22, 24, 25, 21, 5, 26, 27 ], 380 := [ 1, 15, 3, 6, 4, 25, 7, 12, 10, 8, 13, 11, 9, 16, 19, 14, 2, 20, 18, 17, 24, 23, 22, 5, 21, 27, 26 ], 381 := [ 1, 15, 4, 6, 12, 10, 2, 3, 16, 23, 14, 22, 7, 25, 11, 24, 9, 8, 18, 17, 13, 20, 19, 5, 21, 27, 26 ], 382 := [ 1, 15, 5, 6, 27, 27, 17, 18, 18, 21, 18, 21, 21, 5, 26, 5, 26, 26, 15, 15, 27, 17, 17, 6, 6, 1, 1 ], 383 := [ 1, 15, 6, 6, 1, 1, 15, 15, 15, 6, 15, 6, 6, 6, 1, 6, 1, 1, 15, 15, 1, 15, 15, 6, 6, 1, 1 ], 384 := [ 1, 15, 7, 6, 8, 9, 3, 19, 20, 4, 2, 24, 25, 22, 12, 23, 13, 10, 17, 18, 11, 14, 16, 21, 5, 26, 27 ], 385 := [ 1, 15, 8, 6, 19, 20, 13, 7, 22, 14, 23, 16, 3, 9, 24, 11, 25, 4, 17, 18, 2, 10, 12, 21, 5, 26, 27 ], 386 := [ 1, 15, 9, 6, 20, 2, 12, 22, 23, 3, 7, 14, 16, 11, 4, 8, 24, 25, 17, 18, 19, 13, 10, 21, 5, 26, 27 ], 387 := [ 1, 15, 10, 6, 16, 14, 11, 25, 24, 2, 4, 20, 19, 13, 23, 12, 22, 7, 18, 17, 3, 9, 8, 5, 21, 27, 26 ], 388 := [ 1, 15, 11, 6, 2, 19, 10, 23, 7, 16, 22, 3, 14, 8, 25, 9, 4, 24, 17, 18, 20, 12, 13, 21, 5, 26, 27 ], 389 := [ 1, 15, 12, 6, 3, 16, 9, 4, 25, 20, 24, 19, 2, 10, 22, 13, 7, 23, 18, 17, 14, 8, 11, 5, 21, 27, 26 ], 390 := [ 1, 15, 13, 6, 14, 3, 8, 24, 4, 19, 25, 2, 20, 12, 7, 10, 23, 22, 18, 17, 16, 11, 9, 5, 21, 27, 26 ], 391 := [ 1, 15, 14, 6, 24, 4, 23, 13, 12, 11, 10, 9, 8, 3, 2, 16, 20, 19, 18, 17, 25, 22, 7, 5, 21, 27, 26 ], 392 := [ 1, 15, 15, 6, 6, 6, 6, 1, 1, 1, 1, 1, 1, 15, 15, 15, 15, 15, 15, 15, 6, 6, 6, 6, 6, 1, 1 ], 393 := [ 1, 15, 16, 6, 25, 24, 22, 10, 13, 9, 12, 8, 11, 14, 20, 3, 19, 2, 18, 17, 4, 7, 23, 5, 21, 27, 26 ], 394 := [ 1, 15, 17, 6, 21, 21, 5, 26, 26, 27, 26, 27, 27, 17, 18, 17, 18, 18, 15, 15, 21, 5, 5, 6, 6, 1, 1 ], 395 := [ 1, 15, 18, 6, 5, 5, 21, 27, 27, 26, 27, 26, 26, 18, 17, 18, 17, 17, 15, 15, 5, 21, 21, 6, 6, 1, 1 ], 396 := [ 1, 15, 19, 6, 7, 22, 25, 8, 9, 10, 11, 12, 13, 20, 16, 2, 3, 14, 17, 18, 23, 4, 24, 21, 5, 26, 27 ], 397 := [ 1, 15, 20, 6, 22, 23, 24, 9, 11, 13, 8, 10, 12, 2, 14, 19, 16, 3, 17, 18, 7, 25, 4, 21, 5, 26, 27 ], 398 := [ 1, 15, 21, 6, 26, 26, 18, 17, 17, 5, 17, 5, 5, 21, 27, 21, 27, 27, 15, 15, 26, 18, 18, 6, 6, 1, 1 ], 399 := [ 1, 15, 22, 6, 9, 11, 16, 20, 2, 25, 19, 4, 24, 23, 10, 7, 12, 13, 17, 18, 8, 3, 14, 21, 5, 26, 27 ], 400 := [ 1, 15, 23, 6, 11, 8, 14, 2, 19, 24, 20, 25, 4, 7, 13, 22, 10, 12, 17, 18, 9, 16, 3, 21, 5, 26, 27 ], 401 := [ 1, 15, 24, 6, 13, 12, 20, 14, 3, 22, 16, 7, 23, 4, 9, 25, 8, 11, 18, 17, 10, 19, 2, 5, 21, 27, 26 ], 402 := [ 1, 15, 25, 6, 10, 13, 19, 16, 14, 7, 3, 23, 22, 24, 8, 4, 11, 9, 18, 17, 12, 2, 20, 5, 21, 27, 26 ], 403 := [ 1, 15, 26, 6, 17, 17, 27, 21, 21, 18, 21, 18, 18, 26, 5, 26, 5, 5, 15, 15, 17, 27, 27, 6, 6, 1, 1 ], 404 := [ 1, 15, 27, 6, 18, 18, 26, 5, 5, 17, 5, 17, 17, 27, 21, 27, 21, 21, 15, 15, 18, 26, 26, 6, 6, 1, 1 ], 405 := [ 1, 16, 1, 22, 16, 16, 1, 22, 22, 16, 22, 16, 16, 1, 22, 1, 22, 22, 16, 16, 16, 1, 1, 22, 22, 1, 1 ], 406 := [ 1, 16, 2, 22, 5, 21, 4, 10, 13, 9, 12, 8, 11, 20, 18, 19, 17, 15, 14, 3, 6, 25, 24, 7, 23, 27, 26 ], 407 := [ 1, 16, 3, 22, 23, 23, 7, 26, 26, 27, 26, 27, 27, 3, 14, 3, 14, 14, 16, 16, 23, 7, 7, 22, 22, 1, 1 ], 408 := [ 1, 16, 4, 22, 9, 11, 2, 18, 15, 5, 17, 6, 21, 24, 10, 25, 12, 13, 3, 14, 8, 19, 20, 23, 7, 26, 27 ], 409 := [ 1, 16, 5, 22, 10, 13, 17, 2, 20, 25, 19, 24, 4, 21, 8, 6, 11, 9, 14, 3, 12, 15, 18, 7, 23, 27, 26 ], 410 := [ 1, 16, 6, 22, 12, 10, 15, 19, 2, 24, 20, 4, 25, 5, 11, 21, 9, 8, 14, 3, 13, 18, 17, 7, 23, 27, 26 ], 411 := [ 1, 16, 7, 22, 27, 27, 3, 14, 14, 23, 14, 23, 23, 7, 26, 7, 26, 26, 16, 16, 27, 3, 3, 22, 22, 1, 1 ], 412 := [ 1, 16, 8, 22, 17, 18, 13, 25, 4, 20, 24, 2, 19, 9, 21, 11, 5, 6, 3, 14, 15, 10, 12, 23, 7, 26, 27 ], 413 := [ 1, 16, 9, 22, 18, 15, 12, 4, 24, 19, 25, 20, 2, 11, 6, 8, 21, 5, 3, 14, 17, 13, 10, 23, 7, 26, 27 ], 414 := [ 1, 16, 10, 22, 2, 20, 11, 5, 21, 15, 6, 18, 17, 13, 24, 12, 4, 25, 14, 3, 19, 9, 8, 7, 23, 27, 26 ], 415 := [ 1, 16, 11, 22, 15, 17, 10, 24, 25, 2, 4, 19, 20, 8, 5, 9, 6, 21, 3, 14, 18, 12, 13, 23, 7, 26, 27 ], 416 := [ 1, 16, 12, 22, 19, 2, 9, 6, 5, 18, 21, 17, 15, 10, 4, 13, 25, 24, 14, 3, 20, 8, 11, 7, 23, 27, 26 ], 417 := [ 1, 16, 13, 22, 20, 19, 8, 21, 6, 17, 5, 15, 18, 12, 25, 10, 24, 4, 14, 3, 2, 11, 9, 7, 23, 27, 26 ], 418 := [ 1, 16, 14, 22, 7, 7, 23, 27, 27, 26, 27, 26, 26, 14, 3, 14, 3, 3, 16, 16, 7, 23, 23, 22, 22, 1, 1 ], 419 := [ 1, 16, 15, 22, 24, 25, 6, 11, 8, 12, 9, 13, 10, 17, 19, 18, 20, 2, 3, 14, 4, 21, 5, 23, 7, 26, 27 ], 420 := [ 1, 16, 16, 22, 22, 22, 22, 1, 1, 1, 1, 1, 1, 16, 16, 16, 16, 16, 16, 16, 22, 22, 22, 22, 22, 1, 1 ], 421 := [ 1, 16, 17, 22, 25, 4, 5, 8, 9, 10, 11, 12, 13, 18, 2, 15, 19, 20, 3, 14, 24, 6, 21, 23, 7, 26, 27 ], 422 := [ 1, 16, 18, 22, 4, 24, 21, 9, 11, 13, 8, 10, 12, 15, 20, 17, 2, 19, 3, 14, 25, 5, 6, 23, 7, 26, 27 ], 423 := [ 1, 16, 19, 22, 6, 5, 25, 12, 10, 8, 13, 11, 9, 2, 17, 20, 15, 18, 14, 3, 21, 24, 4, 7, 23, 27, 26 ], 424 := [ 1, 16, 20, 22, 21, 6, 24, 13, 12, 11, 10, 9, 8, 19, 15, 2, 18, 17, 14, 3, 5, 4, 25, 7, 23, 27, 26 ], 425 := [ 1, 16, 21, 22, 13, 12, 18, 20, 19, 4, 2, 25, 24, 6, 9, 5, 8, 11, 14, 3, 10, 17, 15, 7, 23, 27, 26 ], 426 := [ 1, 16, 22, 22, 1, 1, 16, 16, 16, 22, 16, 22, 22, 22, 1, 22, 1, 1, 16, 16, 1, 16, 16, 22, 22, 1, 1 ], 427 := [ 1, 16, 23, 22, 26, 26, 14, 3, 3, 7, 3, 7, 7, 23, 27, 23, 27, 27, 16, 16, 26, 14, 14, 22, 22, 1, 1 ], 428 := [ 1, 16, 24, 22, 11, 8, 20, 15, 17, 21, 18, 5, 6, 25, 13, 4, 10, 12, 3, 14, 9, 2, 19, 23, 7, 26, 27 ], 429 := [ 1, 16, 25, 22, 8, 9, 19, 17, 18, 6, 15, 21, 5, 4, 12, 24, 13, 10, 3, 14, 11, 20, 2, 23, 7, 26, 27 ], 430 := [ 1, 16, 26, 22, 3, 3, 27, 23, 23, 14, 23, 14, 14, 26, 7, 26, 7, 7, 16, 16, 3, 27, 27, 22, 22, 1, 1 ], 431 := [ 1, 16, 27, 22, 14, 14, 26, 7, 7, 3, 7, 3, 3, 27, 23, 27, 23, 23, 16, 16, 14, 26, 26, 22, 22, 1, 1 ], 432 := [ 1, 17, 1, 5, 17, 17, 1, 5, 5, 17, 5, 17, 17, 1, 5, 1, 5, 5, 17, 17, 17, 1, 1, 5, 5, 1, 1 ], 433 := [ 1, 17, 2, 5, 7, 22, 4, 9, 11, 13, 8, 10, 12, 19, 16, 20, 3, 14, 18, 15, 23, 24, 25, 6, 21, 26, 27 ], 434 := [ 1, 17, 3, 5, 24, 4, 7, 10, 13, 9, 12, 8, 11, 16, 2, 14, 20, 19, 15, 18, 25, 23, 22, 21, 6, 27, 26 ], 435 := [ 1, 17, 4, 5, 13, 12, 2, 16, 14, 7, 3, 23, 22, 25, 9, 24, 8, 11, 15, 18, 10, 20, 19, 21, 6, 27, 26 ], 436 := [ 1, 17, 5, 5, 1, 1, 17, 17, 17, 5, 17, 5, 5, 5, 1, 5, 1, 1, 17, 17, 1, 17, 17, 5, 5, 1, 1 ], 437 := [ 1, 17, 6, 5, 26, 26, 15, 18, 18, 21, 18, 21, 21, 6, 27, 6, 27, 27, 17, 17, 26, 15, 15, 5, 5, 1, 1 ], 438 := [ 1, 17, 7, 5, 9, 11, 3, 2, 19, 24, 20, 25, 4, 22, 10, 23, 12, 13, 18, 15, 8, 14, 16, 6, 21, 26, 27 ], 439 := [ 1, 17, 8, 5, 20, 2, 13, 23, 7, 16, 22, 3, 14, 9, 4, 11, 24, 25, 18, 15, 19, 10, 12, 6, 21, 26, 27 ], 440 := [ 1, 17, 9, 5, 2, 19, 12, 7, 22, 14, 23, 16, 3, 11, 25, 8, 4, 24, 18, 15, 20, 13, 10, 6, 21, 26, 27 ], 441 := [ 1, 17, 10, 5, 3, 16, 11, 24, 4, 19, 25, 2, 20, 13, 22, 12, 7, 23, 15, 18, 14, 9, 8, 21, 6, 27, 26 ], 442 := [ 1, 17, 11, 5, 19, 20, 10, 22, 23, 3, 7, 14, 16, 8, 24, 9, 25, 4, 18, 15, 2, 12, 13, 6, 21, 26, 27 ], 443 := [ 1, 17, 12, 5, 14, 3, 9, 25, 24, 2, 4, 20, 19, 10, 7, 13, 23, 22, 15, 18, 16, 8, 11, 21, 6, 27, 26 ], 444 := [ 1, 17, 13, 5, 16, 14, 8, 4, 25, 20, 24, 19, 2, 12, 23, 10, 22, 7, 15, 18, 3, 11, 9, 21, 6, 27, 26 ], 445 := [ 1, 17, 14, 5, 25, 24, 23, 12, 10, 8, 13, 11, 9, 3, 20, 16, 19, 2, 15, 18, 4, 22, 7, 21, 6, 27, 26 ], 446 := [ 1, 17, 15, 5, 21, 21, 6, 27, 27, 26, 27, 26, 26, 15, 18, 15, 18, 18, 17, 17, 21, 6, 6, 5, 5, 1, 1 ], 447 := [ 1, 17, 16, 5, 4, 25, 22, 13, 12, 11, 10, 9, 8, 14, 19, 3, 2, 20, 15, 18, 24, 7, 23, 21, 6, 27, 26 ], 448 := [ 1, 17, 17, 5, 5, 5, 5, 1, 1, 1, 1, 1, 1, 17, 17, 17, 17, 17, 17, 17, 5, 5, 5, 5, 5, 1, 1 ], 449 := [ 1, 17, 18, 5, 6, 6, 21, 26, 26, 27, 26, 27, 27, 18, 15, 18, 15, 15, 17, 17, 6, 21, 21, 5, 5, 1, 1 ], 450 := [ 1, 17, 19, 5, 22, 23, 25, 11, 8, 12, 9, 13, 10, 20, 14, 2, 16, 3, 18, 15, 7, 4, 24, 6, 21, 26, 27 ], 451 := [ 1, 17, 20, 5, 23, 7, 24, 8, 9, 10, 11, 12, 13, 2, 3, 19, 14, 16, 18, 15, 22, 25, 4, 6, 21, 26, 27 ], 452 := [ 1, 17, 21, 5, 27, 27, 18, 15, 15, 6, 15, 6, 6, 21, 26, 21, 26, 26, 17, 17, 27, 18, 18, 5, 5, 1, 1 ], 453 := [ 1, 17, 22, 5, 11, 8, 16, 19, 20, 4, 2, 24, 25, 23, 13, 7, 10, 12, 18, 15, 9, 3, 14, 6, 21, 26, 27 ], 454 := [ 1, 17, 23, 5, 8, 9, 14, 20, 2, 25, 19, 4, 24, 7, 12, 22, 13, 10, 18, 15, 11, 16, 3, 6, 21, 26, 27 ], 455 := [ 1, 17, 24, 5, 10, 13, 20, 3, 16, 23, 14, 22, 7, 4, 8, 25, 11, 9, 15, 18, 12, 19, 2, 21, 6, 27, 26 ], 456 := [ 1, 17, 25, 5, 12, 10, 19, 14, 3, 22, 16, 7, 23, 24, 11, 4, 9, 8, 15, 18, 13, 2, 20, 21, 6, 27, 26 ], 457 := [ 1, 17, 26, 5, 18, 18, 27, 6, 6, 15, 6, 15, 15, 26, 21, 26, 21, 21, 17, 17, 18, 27, 27, 5, 5, 1, 1 ], 458 := [ 1, 17, 27, 5, 15, 15, 26, 21, 21, 18, 21, 18, 18, 27, 6, 27, 6, 6, 17, 17, 15, 26, 26, 5, 5, 1, 1 ], 459 := [ 1, 18, 1, 21, 18, 18, 1, 21, 21, 18, 21, 18, 18, 1, 21, 1, 21, 21, 18, 18, 18, 1, 1, 21, 21, 1, 1 ], 460 := [ 1, 18, 2, 21, 22, 23, 4, 8, 9, 10, 11, 12, 13, 19, 14, 20, 16, 3, 15, 17, 7, 24, 25, 5, 6, 26, 27 ], 461 := [ 1, 18, 3, 21, 25, 24, 7, 13, 12, 11, 10, 9, 8, 16, 20, 14, 19, 2, 17, 15, 4, 23, 22, 6, 5, 27, 26 ], 462 := [ 1, 18, 4, 21, 10, 13, 2, 14, 3, 22, 16, 7, 23, 25, 8, 24, 11, 9, 17, 15, 12, 20, 19, 6, 5, 27, 26 ], 463 := [ 1, 18, 5, 21, 26, 26, 17, 15, 15, 6, 15, 6, 6, 5, 27, 5, 27, 27, 18, 18, 26, 17, 17, 21, 21, 1, 1 ], 464 := [ 1, 18, 6, 21, 27, 27, 15, 17, 17, 5, 17, 5, 5, 6, 26, 6, 26, 26, 18, 18, 27, 15, 15, 21, 21, 1, 1 ], 465 := [ 1, 18, 7, 21, 11, 8, 3, 20, 2, 25, 19, 4, 24, 22, 13, 23, 10, 12, 15, 17, 9, 14, 16, 5, 6, 26, 27 ], 466 := [ 1, 18, 8, 21, 2, 19, 13, 22, 23, 3, 7, 14, 16, 9, 25, 11, 4, 24, 15, 17, 20, 10, 12, 5, 6, 26, 27 ], 467 := [ 1, 18, 9, 21, 19, 20, 12, 23, 7, 16, 22, 3, 14, 11, 24, 8, 25, 4, 15, 17, 2, 13, 10, 5, 6, 26, 27 ], 468 := [ 1, 18, 10, 21, 14, 3, 11, 4, 25, 20, 24, 19, 2, 13, 7, 12, 23, 22, 17, 15, 16, 9, 8, 6, 5, 27, 26 ], 469 := [ 1, 18, 11, 21, 20, 2, 10, 7, 22, 14, 23, 16, 3, 8, 4, 9, 24, 25, 15, 17, 19, 12, 13, 5, 6, 26, 27 ], 470 := [ 1, 18, 12, 21, 16, 14, 9, 24, 4, 19, 25, 2, 20, 10, 23, 13, 22, 7, 17, 15, 3, 8, 11, 6, 5, 27, 26 ], 471 := [ 1, 18, 13, 21, 3, 16, 8, 25, 24, 2, 4, 20, 19, 12, 22, 10, 7, 23, 17, 15, 14, 11, 9, 6, 5, 27, 26 ], 472 := [ 1, 18, 14, 21, 4, 25, 23, 10, 13, 9, 12, 8, 11, 3, 19, 16, 2, 20, 17, 15, 24, 22, 7, 6, 5, 27, 26 ], 473 := [ 1, 18, 15, 21, 5, 5, 6, 26, 26, 27, 26, 27, 27, 15, 17, 15, 17, 17, 18, 18, 5, 6, 6, 21, 21, 1, 1 ], 474 := [ 1, 18, 16, 21, 24, 4, 22, 12, 10, 8, 13, 11, 9, 14, 2, 3, 20, 19, 17, 15, 25, 7, 23, 6, 5, 27, 26 ], 475 := [ 1, 18, 17, 21, 6, 6, 5, 27, 27, 26, 27, 26, 26, 17, 15, 17, 15, 15, 18, 18, 6, 5, 5, 21, 21, 1, 1 ], 476 := [ 1, 18, 18, 21, 21, 21, 21, 1, 1, 1, 1, 1, 1, 18, 18, 18, 18, 18, 18, 18, 21, 21, 21, 21, 21, 1, 1 ], 477 := [ 1, 18, 19, 21, 23, 7, 25, 9, 11, 13, 8, 10, 12, 20, 3, 2, 14, 16, 15, 17, 22, 4, 24, 5, 6, 26, 27 ], 478 := [ 1, 18, 20, 21, 7, 22, 24, 11, 8, 12, 9, 13, 10, 2, 16, 19, 3, 14, 15, 17, 23, 25, 4, 5, 6, 26, 27 ], 479 := [ 1, 18, 21, 21, 1, 1, 18, 18, 18, 21, 18, 21, 21, 21, 1, 21, 1, 1, 18, 18, 1, 18, 18, 21, 21, 1, 1 ], 480 := [ 1, 18, 22, 21, 8, 9, 16, 2, 19, 24, 20, 25, 4, 23, 12, 7, 13, 10, 15, 17, 11, 3, 14, 5, 6, 26, 27 ], 481 := [ 1, 18, 23, 21, 9, 11, 14, 19, 20, 4, 2, 24, 25, 7, 10, 22, 12, 13, 15, 17, 8, 16, 3, 5, 6, 26, 27 ], 482 := [ 1, 18, 24, 21, 12, 10, 20, 16, 14, 7, 3, 23, 22, 4, 11, 25, 9, 8, 17, 15, 13, 19, 2, 6, 5, 27, 26 ], 483 := [ 1, 18, 25, 21, 13, 12, 19, 3, 16, 23, 14, 22, 7, 24, 9, 4, 8, 11, 17, 15, 10, 2, 20, 6, 5, 27, 26 ], 484 := [ 1, 18, 26, 21, 15, 15, 27, 5, 5, 17, 5, 17, 17, 26, 6, 26, 6, 6, 18, 18, 15, 27, 27, 21, 21, 1, 1 ], 485 := [ 1, 18, 27, 21, 17, 17, 26, 6, 6, 15, 6, 15, 15, 27, 5, 27, 5, 5, 18, 18, 17, 26, 26, 21, 21, 1, 1 ], 486 := [ 1, 19, 1, 25, 19, 19, 1, 25, 25, 19, 25, 19, 19, 1, 25, 1, 25, 25, 19, 19, 19, 1, 1, 25, 25, 1, 1 ], 487 := [ 1, 19, 2, 25, 24, 24, 4, 27, 27, 26, 27, 26, 26, 2, 20, 2, 20, 20, 19, 19, 24, 4, 4, 25, 25, 1, 1 ], 488 := [ 1, 19, 3, 25, 6, 21, 7, 11, 8, 12, 9, 13, 10, 14, 18, 16, 15, 17, 20, 2, 5, 22, 23, 4, 24, 26, 27 ], 489 := [ 1, 19, 4, 25, 26, 26, 2, 20, 20, 24, 20, 24, 24, 4, 27, 4, 27, 27, 19, 19, 26, 2, 2, 25, 25, 1, 1 ], 490 := [ 1, 19, 5, 25, 9, 11, 17, 16, 3, 23, 14, 7, 22, 6, 10, 21, 12, 13, 20, 2, 8, 18, 15, 4, 24, 26, 27 ], 491 := [ 1, 19, 6, 25, 11, 8, 15, 3, 14, 22, 16, 23, 7, 21, 13, 5, 10, 12, 20, 2, 9, 17, 18, 4, 24, 26, 27 ], 492 := [ 1, 19, 7, 25, 12, 10, 3, 18, 17, 6, 15, 5, 21, 23, 11, 22, 9, 8, 2, 20, 13, 16, 14, 24, 4, 27, 26 ], 493 := [ 1, 19, 8, 25, 14, 16, 13, 21, 5, 15, 6, 17, 18, 9, 22, 11, 23, 7, 20, 2, 3, 10, 12, 4, 24, 26, 27 ], 494 := [ 1, 19, 9, 25, 16, 3, 12, 5, 6, 18, 21, 15, 17, 11, 7, 8, 22, 23, 20, 2, 14, 13, 10, 4, 24, 26, 27 ], 495 := [ 1, 19, 10, 25, 17, 15, 11, 23, 22, 3, 7, 16, 14, 13, 6, 12, 5, 21, 2, 20, 18, 9, 8, 24, 4, 27, 26 ], 496 := [ 1, 19, 11, 25, 3, 14, 10, 6, 21, 17, 5, 18, 15, 8, 23, 9, 7, 22, 20, 2, 16, 12, 13, 4, 24, 26, 27 ], 497 := [ 1, 19, 12, 25, 18, 17, 9, 7, 23, 16, 22, 14, 3, 10, 5, 13, 21, 6, 2, 20, 15, 8, 11, 24, 4, 27, 26 ], 498 := [ 1, 19, 13, 25, 15, 18, 8, 22, 7, 14, 23, 3, 16, 12, 21, 10, 6, 5, 2, 20, 17, 11, 9, 24, 4, 27, 26 ], 499 := [ 1, 19, 14, 25, 21, 5, 23, 8, 9, 10, 11, 12, 13, 16, 17, 3, 18, 15, 20, 2, 6, 7, 22, 4, 24, 26, 27 ], 500 := [ 1, 19, 15, 25, 22, 7, 6, 13, 12, 11, 10, 9, 8, 18, 3, 17, 16, 14, 2, 20, 23, 5, 21, 24, 4, 27, 26 ], 501 := [ 1, 19, 16, 25, 5, 6, 22, 9, 11, 13, 8, 10, 12, 3, 15, 14, 17, 18, 20, 2, 21, 23, 7, 4, 24, 26, 27 ], 502 := [ 1, 19, 17, 25, 23, 22, 5, 10, 13, 9, 12, 8, 11, 15, 16, 18, 14, 3, 2, 20, 7, 21, 6, 24, 4, 27, 26 ], 503 := [ 1, 19, 18, 25, 7, 23, 21, 12, 10, 8, 13, 11, 9, 17, 14, 15, 3, 16, 2, 20, 22, 6, 5, 24, 4, 27, 26 ], 504 := [ 1, 19, 19, 25, 25, 25, 25, 1, 1, 1, 1, 1, 1, 19, 19, 19, 19, 19, 19, 19, 25, 25, 25, 25, 25, 1, 1 ], 505 := [ 1, 19, 20, 25, 4, 4, 24, 26, 26, 27, 26, 27, 27, 20, 2, 20, 2, 2, 19, 19, 4, 24, 24, 25, 25, 1, 1 ], 506 := [ 1, 19, 21, 25, 8, 9, 18, 14, 16, 7, 3, 22, 23, 5, 12, 6, 13, 10, 20, 2, 11, 15, 17, 4, 24, 26, 27 ], 507 := [ 1, 19, 22, 25, 13, 12, 16, 15, 18, 5, 17, 21, 6, 7, 9, 23, 8, 11, 2, 20, 10, 14, 3, 24, 4, 27, 26 ], 508 := [ 1, 19, 23, 25, 10, 13, 14, 17, 15, 21, 18, 6, 5, 22, 8, 7, 11, 9, 2, 20, 12, 3, 16, 24, 4, 27, 26 ], 509 := [ 1, 19, 24, 25, 27, 27, 20, 2, 2, 4, 2, 4, 4, 24, 26, 24, 26, 26, 19, 19, 27, 20, 20, 25, 25, 1, 1 ], 510 := [ 1, 19, 25, 25, 1, 1, 19, 19, 19, 25, 19, 25, 25, 25, 1, 25, 1, 1, 19, 19, 1, 19, 19, 25, 25, 1, 1 ], 511 := [ 1, 19, 26, 25, 20, 20, 27, 4, 4, 2, 4, 2, 2, 26, 24, 26, 24, 24, 19, 19, 20, 27, 27, 25, 25, 1, 1 ], 512 := [ 1, 19, 27, 25, 2, 2, 26, 24, 24, 20, 24, 20, 20, 27, 4, 27, 4, 4, 19, 19, 2, 26, 26, 25, 25, 1, 1 ], 513 := [ 1, 20, 1, 24, 20, 20, 1, 24, 24, 20, 24, 20, 20, 1, 24, 1, 24, 24, 20, 20, 20, 1, 1, 24, 24, 1, 1 ], 514 := [ 1, 20, 2, 24, 25, 25, 4, 26, 26, 27, 26, 27, 27, 2, 19, 2, 19, 19, 20, 20, 25, 4, 4, 24, 24, 1, 1 ], 515 := [ 1, 20, 3, 24, 21, 5, 7, 9, 11, 13, 8, 10, 12, 14, 17, 16, 18, 15, 2, 19, 6, 22, 23, 25, 4, 26, 27 ], 516 := [ 1, 20, 4, 24, 27, 27, 2, 19, 19, 25, 19, 25, 25, 4, 26, 4, 26, 26, 20, 20, 27, 2, 2, 24, 24, 1, 1 ], 517 := [ 1, 20, 5, 24, 11, 8, 17, 14, 16, 7, 3, 22, 23, 6, 13, 21, 10, 12, 2, 19, 9, 18, 15, 25, 4, 26, 27 ], 518 := [ 1, 20, 6, 24, 8, 9, 15, 16, 3, 23, 14, 7, 22, 21, 12, 5, 13, 10, 2, 19, 11, 17, 18, 25, 4, 26, 27 ], 519 := [ 1, 20, 7, 24, 13, 12, 3, 17, 15, 21, 18, 6, 5, 23, 9, 22, 8, 11, 19, 2, 10, 16, 14, 4, 25, 27, 26 ], 520 := [ 1, 20, 8, 24, 16, 3, 13, 6, 21, 17, 5, 18, 15, 9, 7, 11, 22, 23, 2, 19, 14, 10, 12, 25, 4, 26, 27 ], 521 := [ 1, 20, 9, 24, 3, 14, 12, 21, 5, 15, 6, 17, 18, 11, 23, 8, 7, 22, 2, 19, 16, 13, 10, 25, 4, 26, 27 ], 522 := [ 1, 20, 10, 24, 18, 17, 11, 22, 7, 14, 23, 3, 16, 13, 5, 12, 21, 6, 19, 2, 15, 9, 8, 4, 25, 27, 26 ], 523 := [ 1, 20, 11, 24, 14, 16, 10, 5, 6, 18, 21, 15, 17, 8, 22, 9, 23, 7, 2, 19, 3, 12, 13, 25, 4, 26, 27 ], 524 := [ 1, 20, 12, 24, 15, 18, 9, 23, 22, 3, 7, 16, 14, 10, 21, 13, 6, 5, 19, 2, 17, 8, 11, 4, 25, 27, 26 ], 525 := [ 1, 20, 13, 24, 17, 15, 8, 7, 23, 16, 22, 14, 3, 12, 6, 10, 5, 21, 19, 2, 18, 11, 9, 4, 25, 27, 26 ], 526 := [ 1, 20, 14, 24, 5, 6, 23, 11, 8, 12, 9, 13, 10, 16, 15, 3, 17, 18, 2, 19, 21, 7, 22, 25, 4, 26, 27 ], 527 := [ 1, 20, 15, 24, 23, 22, 6, 12, 10, 8, 13, 11, 9, 18, 16, 17, 14, 3, 19, 2, 7, 5, 21, 4, 25, 27, 26 ], 528 := [ 1, 20, 16, 24, 6, 21, 22, 8, 9, 10, 11, 12, 13, 3, 18, 14, 15, 17, 2, 19, 5, 23, 7, 25, 4, 26, 27 ], 529 := [ 1, 20, 17, 24, 7, 23, 5, 13, 12, 11, 10, 9, 8, 15, 14, 18, 3, 16, 19, 2, 22, 21, 6, 4, 25, 27, 26 ], 530 := [ 1, 20, 18, 24, 22, 7, 21, 10, 13, 9, 12, 8, 11, 17, 3, 15, 16, 14, 19, 2, 23, 6, 5, 4, 25, 27, 26 ], 531 := [ 1, 20, 19, 24, 4, 4, 25, 27, 27, 26, 27, 26, 26, 19, 2, 19, 2, 2, 20, 20, 4, 25, 25, 24, 24, 1, 1 ], 532 := [ 1, 20, 20, 24, 24, 24, 24, 1, 1, 1, 1, 1, 1, 20, 20, 20, 20, 20, 20, 20, 24, 24, 24, 24, 24, 1, 1 ], 533 := [ 1, 20, 21, 24, 9, 11, 18, 3, 14, 22, 16, 23, 7, 5, 10, 6, 12, 13, 2, 19, 8, 15, 17, 25, 4, 26, 27 ], 534 := [ 1, 20, 22, 24, 10, 13, 16, 18, 17, 6, 15, 5, 21, 7, 8, 23, 11, 9, 19, 2, 12, 14, 3, 4, 25, 27, 26 ], 535 := [ 1, 20, 23, 24, 12, 10, 14, 15, 18, 5, 17, 21, 6, 22, 11, 7, 9, 8, 19, 2, 13, 3, 16, 4, 25, 27, 26 ], 536 := [ 1, 20, 24, 24, 1, 1, 20, 20, 20, 24, 20, 24, 24, 24, 1, 24, 1, 1, 20, 20, 1, 20, 20, 24, 24, 1, 1 ], 537 := [ 1, 20, 25, 24, 26, 26, 19, 2, 2, 4, 2, 4, 4, 25, 27, 25, 27, 27, 20, 20, 26, 19, 19, 24, 24, 1, 1 ], 538 := [ 1, 20, 26, 24, 2, 2, 27, 25, 25, 19, 25, 19, 19, 26, 4, 26, 4, 4, 20, 20, 2, 27, 27, 24, 24, 1, 1 ], 539 := [ 1, 20, 27, 24, 19, 19, 26, 4, 4, 2, 4, 2, 2, 27, 25, 27, 25, 25, 20, 20, 19, 26, 26, 24, 24, 1, 1 ], 540 := [ 1, 21, 1, 18, 21, 21, 1, 18, 18, 21, 18, 21, 21, 1, 18, 1, 18, 18, 21, 21, 21, 1, 1, 18, 18, 1, 1 ], 541 := [ 1, 21, 2, 18, 8, 11, 4, 22, 7, 14, 23, 3, 16, 20, 10, 19, 13, 12, 6, 5, 9, 25, 24, 17, 15, 27, 26 ], 542 := [ 1, 21, 3, 18, 13, 10, 7, 25, 4, 20, 24, 2, 19, 14, 11, 16, 8, 9, 5, 6, 12, 22, 23, 15, 17, 26, 27 ], 543 := [ 1, 21, 4, 18, 14, 16, 2, 10, 12, 8, 13, 9, 11, 24, 22, 25, 23, 7, 5, 6, 3, 19, 20, 15, 17, 26, 27 ], 544 := [ 1, 21, 5, 18, 15, 15, 17, 26, 26, 27, 26, 27, 27, 5, 6, 5, 6, 6, 21, 21, 15, 17, 17, 18, 18, 1, 1 ], 545 := [ 1, 21, 6, 18, 17, 17, 15, 27, 27, 26, 27, 26, 26, 6, 5, 6, 5, 5, 21, 21, 17, 15, 15, 18, 18, 1, 1 ], 546 := [ 1, 21, 7, 18, 20, 19, 3, 11, 9, 13, 8, 12, 10, 23, 25, 22, 24, 4, 6, 5, 2, 16, 14, 17, 15, 27, 26 ], 547 := [ 1, 21, 8, 18, 22, 7, 13, 2, 20, 25, 19, 24, 4, 11, 3, 9, 16, 14, 6, 5, 23, 12, 10, 17, 15, 27, 26 ], 548 := [ 1, 21, 9, 18, 23, 22, 12, 19, 2, 24, 20, 4, 25, 8, 16, 11, 14, 3, 6, 5, 7, 10, 13, 17, 15, 27, 26 ], 549 := [ 1, 21, 10, 18, 4, 24, 11, 14, 16, 7, 3, 22, 23, 12, 20, 13, 2, 19, 5, 6, 25, 8, 9, 15, 17, 26, 27 ], 550 := [ 1, 21, 11, 18, 7, 23, 10, 20, 19, 4, 2, 25, 24, 9, 14, 8, 3, 16, 6, 5, 22, 13, 12, 17, 15, 27, 26 ], 551 := [ 1, 21, 12, 18, 24, 25, 9, 16, 3, 23, 14, 7, 22, 13, 19, 10, 20, 2, 5, 6, 4, 11, 8, 15, 17, 26, 27 ], 552 := [ 1, 21, 13, 18, 25, 4, 8, 3, 14, 22, 16, 23, 7, 10, 2, 12, 19, 20, 5, 6, 24, 9, 11, 15, 17, 26, 27 ], 553 := [ 1, 21, 14, 18, 10, 12, 23, 4, 24, 19, 25, 20, 2, 16, 9, 3, 11, 8, 5, 6, 13, 7, 22, 15, 17, 26, 27 ], 554 := [ 1, 21, 15, 18, 26, 26, 6, 5, 5, 17, 5, 17, 17, 15, 27, 15, 27, 27, 21, 21, 26, 6, 6, 18, 18, 1, 1 ], 555 := [ 1, 21, 16, 18, 12, 13, 22, 24, 25, 2, 4, 19, 20, 3, 8, 14, 9, 11, 5, 6, 10, 23, 7, 15, 17, 26, 27 ], 556 := [ 1, 21, 17, 18, 27, 27, 5, 6, 6, 15, 6, 15, 15, 17, 26, 17, 26, 26, 21, 21, 27, 5, 5, 18, 18, 1, 1 ], 557 := [ 1, 21, 18, 18, 1, 1, 21, 21, 21, 18, 21, 18, 18, 18, 1, 18, 1, 1, 21, 21, 1, 21, 21, 18, 18, 1, 1 ], 558 := [ 1, 21, 19, 18, 9, 8, 25, 23, 22, 3, 7, 16, 14, 2, 13, 20, 12, 10, 6, 5, 11, 24, 4, 17, 15, 27, 26 ], 559 := [ 1, 21, 20, 18, 11, 9, 24, 7, 23, 16, 22, 14, 3, 19, 12, 2, 10, 13, 6, 5, 8, 4, 25, 17, 15, 27, 26 ], 560 := [ 1, 21, 21, 18, 18, 18, 18, 1, 1, 1, 1, 1, 1, 21, 21, 21, 21, 21, 21, 21, 18, 18, 18, 18, 18, 1, 1 ], 561 := [ 1, 21, 22, 18, 2, 20, 16, 8, 11, 12, 9, 10, 13, 7, 24, 23, 4, 25, 6, 5, 19, 14, 3, 17, 15, 27, 26 ], 562 := [ 1, 21, 23, 18, 19, 2, 14, 9, 8, 10, 11, 13, 12, 22, 4, 7, 25, 24, 6, 5, 20, 3, 16, 17, 15, 27, 26 ], 563 := [ 1, 21, 24, 18, 16, 3, 20, 12, 13, 11, 10, 8, 9, 25, 7, 4, 22, 23, 5, 6, 14, 2, 19, 15, 17, 26, 27 ], 564 := [ 1, 21, 25, 18, 3, 14, 19, 13, 10, 9, 12, 11, 8, 4, 23, 24, 7, 22, 5, 6, 16, 20, 2, 15, 17, 26, 27 ], 565 := [ 1, 21, 26, 18, 5, 5, 27, 15, 15, 6, 15, 6, 6, 26, 17, 26, 17, 17, 21, 21, 5, 27, 27, 18, 18, 1, 1 ], 566 := [ 1, 21, 27, 18, 6, 6, 26, 17, 17, 5, 17, 5, 5, 27, 15, 27, 15, 15, 21, 21, 6, 26, 26, 18, 18, 1, 1 ], 567 := [ 1, 22, 1, 16, 22, 22, 1, 16, 16, 22, 16, 22, 22, 1, 16, 1, 16, 16, 22, 22, 22, 1, 1, 16, 16, 1, 1 ], 568 := [ 1, 22, 2, 16, 10, 12, 4, 5, 6, 18, 21, 15, 17, 19, 9, 20, 11, 8, 23, 7, 13, 24, 25, 3, 14, 26, 27 ], 569 := [ 1, 22, 3, 16, 26, 26, 7, 23, 23, 14, 23, 14, 14, 3, 27, 3, 27, 27, 22, 22, 26, 7, 7, 16, 16, 1, 1 ], 570 := [ 1, 22, 4, 16, 18, 17, 2, 9, 8, 10, 11, 13, 12, 25, 5, 24, 21, 6, 7, 23, 15, 20, 19, 14, 3, 27, 26 ], 571 := [ 1, 22, 5, 16, 2, 19, 17, 10, 12, 8, 13, 9, 11, 6, 25, 21, 4, 24, 23, 7, 20, 18, 15, 3, 14, 26, 27 ], 572 := [ 1, 22, 6, 16, 19, 20, 15, 12, 13, 11, 10, 8, 9, 21, 24, 5, 25, 4, 23, 7, 2, 17, 18, 3, 14, 26, 27 ], 573 := [ 1, 22, 7, 16, 14, 14, 3, 27, 27, 26, 27, 26, 26, 7, 23, 7, 23, 23, 22, 22, 14, 3, 3, 16, 16, 1, 1 ], 574 := [ 1, 22, 8, 16, 25, 24, 13, 17, 15, 21, 18, 6, 5, 11, 20, 9, 19, 2, 7, 23, 4, 12, 10, 14, 3, 27, 26 ], 575 := [ 1, 22, 9, 16, 4, 25, 12, 18, 17, 6, 15, 5, 21, 8, 19, 11, 2, 20, 7, 23, 24, 10, 13, 14, 3, 27, 26 ], 576 := [ 1, 22, 10, 16, 5, 6, 11, 2, 19, 24, 20, 25, 4, 12, 15, 13, 17, 18, 23, 7, 21, 8, 9, 3, 14, 26, 27 ], 577 := [ 1, 22, 11, 16, 24, 4, 10, 15, 18, 5, 17, 21, 6, 9, 2, 8, 20, 19, 7, 23, 25, 13, 12, 14, 3, 27, 26 ], 578 := [ 1, 22, 12, 16, 6, 21, 9, 19, 20, 4, 2, 24, 25, 13, 18, 10, 15, 17, 23, 7, 5, 11, 8, 3, 14, 26, 27 ], 579 := [ 1, 22, 13, 16, 21, 5, 8, 20, 2, 25, 19, 4, 24, 10, 17, 12, 18, 15, 23, 7, 6, 9, 11, 3, 14, 26, 27 ], 580 := [ 1, 22, 14, 16, 27, 27, 23, 7, 7, 3, 7, 3, 3, 14, 26, 14, 26, 26, 22, 22, 27, 23, 23, 16, 16, 1, 1 ], 581 := [ 1, 22, 15, 16, 11, 9, 6, 24, 4, 19, 25, 2, 20, 18, 12, 17, 10, 13, 7, 23, 8, 5, 21, 14, 3, 27, 26 ], 582 := [ 1, 22, 16, 16, 1, 1, 22, 22, 22, 16, 22, 16, 16, 16, 1, 16, 1, 1, 22, 22, 1, 22, 22, 16, 16, 1, 1 ], 583 := [ 1, 22, 17, 16, 8, 11, 5, 25, 24, 2, 4, 20, 19, 15, 10, 18, 13, 12, 7, 23, 9, 21, 6, 14, 3, 27, 26 ], 584 := [ 1, 22, 18, 16, 9, 8, 21, 4, 25, 20, 24, 19, 2, 17, 13, 15, 12, 10, 7, 23, 11, 6, 5, 14, 3, 27, 26 ], 585 := [ 1, 22, 19, 16, 12, 13, 25, 6, 21, 17, 5, 18, 15, 20, 8, 2, 9, 11, 23, 7, 10, 4, 24, 3, 14, 26, 27 ], 586 := [ 1, 22, 20, 16, 13, 10, 24, 21, 5, 15, 6, 17, 18, 2, 11, 19, 8, 9, 23, 7, 12, 25, 4, 3, 14, 26, 27 ], 587 := [ 1, 22, 21, 16, 20, 2, 18, 13, 10, 9, 12, 11, 8, 5, 4, 6, 24, 25, 23, 7, 19, 15, 17, 3, 14, 26, 27 ], 588 := [ 1, 22, 22, 16, 16, 16, 16, 1, 1, 1, 1, 1, 1, 22, 22, 22, 22, 22, 22, 22, 16, 16, 16, 16, 16, 1, 1 ], 589 := [ 1, 22, 23, 16, 3, 3, 14, 26, 26, 27, 26, 27, 27, 23, 7, 23, 7, 7, 22, 22, 3, 14, 14, 16, 16, 1, 1 ], 590 := [ 1, 22, 24, 16, 15, 18, 20, 11, 9, 13, 8, 12, 10, 4, 21, 25, 6, 5, 7, 23, 17, 19, 2, 14, 3, 27, 26 ], 591 := [ 1, 22, 25, 16, 17, 15, 19, 8, 11, 12, 9, 10, 13, 24, 6, 4, 5, 21, 7, 23, 18, 2, 20, 14, 3, 27, 26 ], 592 := [ 1, 22, 26, 16, 23, 23, 27, 3, 3, 7, 3, 7, 7, 26, 14, 26, 14, 14, 22, 22, 23, 27, 27, 16, 16, 1, 1 ], 593 := [ 1, 22, 27, 16, 7, 7, 26, 14, 14, 23, 14, 23, 23, 27, 3, 27, 3, 3, 22, 22, 7, 26, 26, 16, 16, 1, 1 ], 594 := [ 1, 23, 1, 14, 23, 23, 1, 14, 14, 23, 14, 23, 23, 1, 14, 1, 14, 14, 23, 23, 23, 1, 1, 14, 14, 1, 1 ], 595 := [ 1, 23, 2, 14, 12, 13, 4, 21, 5, 15, 6, 17, 18, 19, 8, 20, 9, 11, 7, 22, 10, 24, 25, 16, 3, 26, 27 ], 596 := [ 1, 23, 3, 14, 27, 27, 7, 22, 22, 16, 22, 16, 16, 3, 26, 3, 26, 26, 23, 23, 27, 7, 7, 14, 14, 1, 1 ], 597 := [ 1, 23, 4, 14, 15, 18, 2, 8, 11, 12, 9, 10, 13, 25, 21, 24, 6, 5, 22, 7, 17, 20, 19, 3, 16, 27, 26 ], 598 := [ 1, 23, 5, 14, 19, 20, 17, 13, 10, 9, 12, 11, 8, 6, 24, 21, 25, 4, 7, 22, 2, 18, 15, 16, 3, 26, 27 ], 599 := [ 1, 23, 6, 14, 20, 2, 15, 10, 12, 8, 13, 9, 11, 21, 4, 5, 24, 25, 7, 22, 19, 17, 18, 16, 3, 26, 27 ], 600 := [ 1, 23, 7, 14, 16, 16, 3, 26, 26, 27, 26, 27, 27, 7, 22, 7, 22, 22, 23, 23, 16, 3, 3, 14, 14, 1, 1 ], 601 := [ 1, 23, 8, 14, 4, 25, 13, 15, 18, 5, 17, 21, 6, 11, 19, 9, 2, 20, 22, 7, 24, 12, 10, 3, 16, 27, 26 ], 602 := [ 1, 23, 9, 14, 24, 4, 12, 17, 15, 21, 18, 6, 5, 8, 2, 11, 20, 19, 22, 7, 25, 10, 13, 3, 16, 27, 26 ], 603 := [ 1, 23, 10, 14, 6, 21, 11, 20, 2, 25, 19, 4, 24, 12, 18, 13, 15, 17, 7, 22, 5, 8, 9, 16, 3, 26, 27 ], 604 := [ 1, 23, 11, 14, 25, 24, 10, 18, 17, 6, 15, 5, 21, 9, 20, 8, 19, 2, 22, 7, 4, 13, 12, 3, 16, 27, 26 ], 605 := [ 1, 23, 12, 14, 21, 5, 9, 2, 19, 24, 20, 25, 4, 13, 17, 10, 18, 15, 7, 22, 6, 11, 8, 16, 3, 26, 27 ], 606 := [ 1, 23, 13, 14, 5, 6, 8, 19, 20, 4, 2, 24, 25, 10, 15, 12, 17, 18, 7, 22, 21, 9, 11, 16, 3, 26, 27 ], 607 := [ 1, 23, 14, 14, 1, 1, 23, 23, 23, 14, 23, 14, 14, 14, 1, 14, 1, 1, 23, 23, 1, 23, 23, 14, 14, 1, 1 ], 608 := [ 1, 23, 15, 14, 8, 11, 6, 4, 25, 20, 24, 19, 2, 18, 10, 17, 13, 12, 22, 7, 9, 5, 21, 3, 16, 27, 26 ], 609 := [ 1, 23, 16, 14, 26, 26, 22, 7, 7, 3, 7, 3, 3, 16, 27, 16, 27, 27, 23, 23, 26, 22, 22, 14, 14, 1, 1 ], 610 := [ 1, 23, 17, 14, 9, 8, 5, 24, 4, 19, 25, 2, 20, 15, 13, 18, 12, 10, 22, 7, 11, 21, 6, 3, 16, 27, 26 ], 611 := [ 1, 23, 18, 14, 11, 9, 21, 25, 24, 2, 4, 20, 19, 17, 12, 15, 10, 13, 22, 7, 8, 6, 5, 3, 16, 27, 26 ], 612 := [ 1, 23, 19, 14, 13, 10, 25, 5, 6, 18, 21, 15, 17, 20, 11, 2, 8, 9, 7, 22, 12, 4, 24, 16, 3, 26, 27 ], 613 := [ 1, 23, 20, 14, 10, 12, 24, 6, 21, 17, 5, 18, 15, 2, 9, 19, 11, 8, 7, 22, 13, 25, 4, 16, 3, 26, 27 ], 614 := [ 1, 23, 21, 14, 2, 19, 18, 12, 13, 11, 10, 8, 9, 5, 25, 6, 4, 24, 7, 22, 20, 15, 17, 16, 3, 26, 27 ], 615 := [ 1, 23, 22, 14, 3, 3, 16, 27, 27, 26, 27, 26, 26, 22, 7, 22, 7, 7, 23, 23, 3, 16, 16, 14, 14, 1, 1 ], 616 := [ 1, 23, 23, 14, 14, 14, 14, 1, 1, 1, 1, 1, 1, 23, 23, 23, 23, 23, 23, 23, 14, 14, 14, 14, 14, 1, 1 ], 617 := [ 1, 23, 24, 14, 17, 15, 20, 9, 8, 10, 11, 13, 12, 4, 6, 25, 5, 21, 22, 7, 18, 19, 2, 3, 16, 27, 26 ], 618 := [ 1, 23, 25, 14, 18, 17, 19, 11, 9, 13, 8, 12, 10, 24, 5, 4, 21, 6, 22, 7, 15, 2, 20, 3, 16, 27, 26 ], 619 := [ 1, 23, 26, 14, 7, 7, 27, 16, 16, 22, 16, 22, 22, 26, 3, 26, 3, 3, 23, 23, 7, 27, 27, 14, 14, 1, 1 ], 620 := [ 1, 23, 27, 14, 22, 22, 26, 3, 3, 7, 3, 7, 7, 27, 16, 27, 16, 16, 23, 23, 22, 26, 26, 14, 14, 1, 1 ], 621 := [ 1, 24, 1, 20, 24, 24, 1, 20, 20, 24, 20, 24, 24, 1, 20, 1, 20, 20, 24, 24, 24, 1, 1, 20, 20, 1, 1 ], 622 := [ 1, 24, 2, 20, 26, 26, 4, 25, 25, 19, 25, 19, 19, 2, 27, 2, 27, 27, 24, 24, 26, 4, 4, 20, 20, 1, 1 ], 623 := [ 1, 24, 3, 20, 9, 8, 7, 21, 6, 17, 5, 15, 18, 16, 13, 14, 12, 10, 4, 25, 11, 23, 22, 19, 2, 27, 26 ], 624 := [ 1, 24, 4, 20, 19, 19, 2, 27, 27, 26, 27, 26, 26, 4, 25, 4, 25, 25, 24, 24, 19, 2, 2, 20, 20, 1, 1 ], 625 := [ 1, 24, 5, 20, 14, 3, 17, 11, 9, 13, 8, 12, 10, 21, 7, 6, 23, 22, 4, 25, 16, 15, 18, 19, 2, 27, 26 ], 626 := [ 1, 24, 6, 20, 16, 14, 15, 8, 11, 12, 9, 10, 13, 5, 23, 21, 22, 7, 4, 25, 3, 18, 17, 19, 2, 27, 26 ], 627 := [ 1, 24, 7, 20, 17, 18, 3, 13, 10, 9, 12, 11, 8, 22, 21, 23, 5, 6, 25, 4, 15, 14, 16, 2, 19, 26, 27 ], 628 := [ 1, 24, 8, 20, 6, 5, 13, 16, 14, 7, 3, 23, 22, 11, 17, 9, 15, 18, 4, 25, 21, 12, 10, 19, 2, 27, 26 ], 629 := [ 1, 24, 9, 20, 21, 6, 12, 3, 16, 23, 14, 22, 7, 8, 15, 11, 18, 17, 4, 25, 5, 10, 13, 19, 2, 27, 26 ], 630 := [ 1, 24, 10, 20, 22, 23, 11, 18, 15, 5, 17, 6, 21, 12, 14, 13, 16, 3, 25, 4, 7, 8, 9, 2, 19, 26, 27 ], 631 := [ 1, 24, 11, 20, 5, 21, 10, 14, 3, 22, 16, 7, 23, 9, 18, 8, 17, 15, 4, 25, 6, 13, 12, 19, 2, 27, 26 ], 632 := [ 1, 24, 12, 20, 23, 7, 9, 15, 17, 21, 18, 5, 6, 13, 3, 10, 14, 16, 25, 4, 22, 11, 8, 2, 19, 26, 27 ], 633 := [ 1, 24, 13, 20, 7, 22, 8, 17, 18, 6, 15, 21, 5, 10, 16, 12, 3, 14, 25, 4, 23, 9, 11, 2, 19, 26, 27 ], 634 := [ 1, 24, 14, 20, 11, 9, 23, 5, 21, 15, 6, 18, 17, 3, 12, 16, 10, 13, 4, 25, 8, 22, 7, 19, 2, 27, 26 ], 635 := [ 1, 24, 15, 20, 12, 13, 6, 23, 7, 16, 22, 3, 14, 17, 8, 18, 9, 11, 25, 4, 10, 21, 5, 2, 19, 26, 27 ], 636 := [ 1, 24, 16, 20, 8, 11, 22, 6, 5, 18, 21, 17, 15, 14, 10, 3, 13, 12, 4, 25, 9, 7, 23, 19, 2, 27, 26 ], 637 := [ 1, 24, 17, 20, 13, 10, 5, 7, 22, 14, 23, 16, 3, 18, 11, 15, 8, 9, 25, 4, 12, 6, 21, 2, 19, 26, 27 ], 638 := [ 1, 24, 18, 20, 10, 12, 21, 22, 23, 3, 7, 14, 16, 15, 9, 17, 11, 8, 25, 4, 13, 5, 6, 2, 19, 26, 27 ], 639 := [ 1, 24, 19, 20, 27, 27, 25, 4, 4, 2, 4, 2, 2, 19, 26, 19, 26, 26, 24, 24, 27, 25, 25, 20, 20, 1, 1 ], 640 := [ 1, 24, 20, 20, 1, 1, 24, 24, 24, 20, 24, 20, 20, 20, 1, 20, 1, 1, 24, 24, 1, 24, 24, 20, 20, 1, 1 ], 641 := [ 1, 24, 21, 20, 3, 16, 18, 9, 8, 10, 11, 13, 12, 6, 22, 5, 7, 23, 4, 25, 14, 17, 15, 19, 2, 27, 26 ], 642 := [ 1, 24, 22, 20, 18, 15, 16, 10, 12, 8, 13, 9, 11, 23, 6, 7, 21, 5, 25, 4, 17, 3, 14, 2, 19, 26, 27 ], 643 := [ 1, 24, 23, 20, 15, 17, 14, 12, 13, 11, 10, 8, 9, 7, 5, 22, 6, 21, 25, 4, 18, 16, 3, 2, 19, 26, 27 ], 644 := [ 1, 24, 24, 20, 20, 20, 20, 1, 1, 1, 1, 1, 1, 24, 24, 24, 24, 24, 24, 24, 20, 20, 20, 20, 20, 1, 1 ], 645 := [ 1, 24, 25, 20, 2, 2, 19, 26, 26, 27, 26, 27, 27, 25, 4, 25, 4, 4, 24, 24, 2, 19, 19, 20, 20, 1, 1 ], 646 := [ 1, 24, 26, 20, 25, 25, 27, 2, 2, 4, 2, 4, 4, 26, 19, 26, 19, 19, 24, 24, 25, 27, 27, 20, 20, 1, 1 ], 647 := [ 1, 24, 27, 20, 4, 4, 26, 19, 19, 25, 19, 25, 25, 27, 2, 27, 2, 2, 24, 24, 4, 26, 26, 20, 20, 1, 1 ], 648 := [ 1, 25, 1, 19, 25, 25, 1, 19, 19, 25, 19, 25, 25, 1, 19, 1, 19, 19, 25, 25, 25, 1, 1, 19, 19, 1, 1 ], 649 := [ 1, 25, 2, 19, 27, 27, 4, 24, 24, 20, 24, 20, 20, 2, 26, 2, 26, 26, 25, 25, 27, 4, 4, 19, 19, 1, 1 ], 650 := [ 1, 25, 3, 19, 11, 9, 7, 6, 5, 18, 21, 17, 15, 16, 12, 14, 10, 13, 24, 4, 8, 23, 22, 2, 20, 27, 26 ], 651 := [ 1, 25, 4, 19, 20, 20, 2, 26, 26, 27, 26, 27, 27, 4, 24, 4, 24, 24, 25, 25, 20, 2, 2, 19, 19, 1, 1 ], 652 := [ 1, 25, 5, 19, 16, 14, 17, 9, 8, 10, 11, 13, 12, 21, 23, 6, 22, 7, 24, 4, 3, 15, 18, 2, 20, 27, 26 ], 653 := [ 1, 25, 6, 19, 3, 16, 15, 11, 9, 13, 8, 12, 10, 5, 22, 21, 7, 23, 24, 4, 14, 18, 17, 2, 20, 27, 26 ], 654 := [ 1, 25, 7, 19, 18, 15, 3, 12, 13, 11, 10, 8, 9, 22, 6, 23, 21, 5, 4, 24, 17, 14, 16, 20, 2, 26, 27 ], 655 := [ 1, 25, 8, 19, 21, 6, 13, 14, 3, 22, 16, 7, 23, 11, 15, 9, 18, 17, 24, 4, 5, 12, 10, 2, 20, 27, 26 ], 656 := [ 1, 25, 9, 19, 5, 21, 12, 16, 14, 7, 3, 23, 22, 8, 18, 11, 17, 15, 24, 4, 6, 10, 13, 2, 20, 27, 26 ], 657 := [ 1, 25, 10, 19, 23, 7, 11, 17, 18, 6, 15, 21, 5, 12, 3, 13, 14, 16, 4, 24, 22, 8, 9, 20, 2, 26, 27 ], 658 := [ 1, 25, 11, 19, 6, 5, 10, 3, 16, 23, 14, 22, 7, 9, 17, 8, 15, 18, 24, 4, 21, 13, 12, 2, 20, 27, 26 ], 659 := [ 1, 25, 12, 19, 7, 22, 9, 18, 15, 5, 17, 6, 21, 13, 16, 10, 3, 14, 4, 24, 23, 11, 8, 20, 2, 26, 27 ], 660 := [ 1, 25, 13, 19, 22, 23, 8, 15, 17, 21, 18, 5, 6, 10, 14, 12, 16, 3, 4, 24, 7, 9, 11, 20, 2, 26, 27 ], 661 := [ 1, 25, 14, 19, 8, 11, 23, 21, 6, 17, 5, 15, 18, 3, 10, 16, 13, 12, 24, 4, 9, 22, 7, 2, 20, 27, 26 ], 662 := [ 1, 25, 15, 19, 13, 10, 6, 22, 23, 3, 7, 14, 16, 17, 11, 18, 8, 9, 4, 24, 12, 21, 5, 20, 2, 26, 27 ], 663 := [ 1, 25, 16, 19, 9, 8, 22, 5, 21, 15, 6, 18, 17, 14, 13, 3, 12, 10, 24, 4, 11, 7, 23, 2, 20, 27, 26 ], 664 := [ 1, 25, 17, 19, 10, 12, 5, 23, 7, 16, 22, 3, 14, 18, 9, 15, 11, 8, 4, 24, 13, 6, 21, 20, 2, 26, 27 ], 665 := [ 1, 25, 18, 19, 12, 13, 21, 7, 22, 14, 23, 16, 3, 15, 8, 17, 9, 11, 4, 24, 10, 5, 6, 20, 2, 26, 27 ], 666 := [ 1, 25, 19, 19, 1, 1, 25, 25, 25, 19, 25, 19, 19, 19, 1, 19, 1, 1, 25, 25, 1, 25, 25, 19, 19, 1, 1 ], 667 := [ 1, 25, 20, 19, 26, 26, 24, 4, 4, 2, 4, 2, 2, 20, 27, 20, 27, 27, 25, 25, 26, 24, 24, 19, 19, 1, 1 ], 668 := [ 1, 25, 21, 19, 14, 3, 18, 8, 11, 12, 9, 10, 13, 6, 7, 5, 23, 22, 24, 4, 16, 17, 15, 2, 20, 27, 26 ], 669 := [ 1, 25, 22, 19, 15, 17, 16, 13, 10, 9, 12, 11, 8, 23, 5, 7, 6, 21, 4, 24, 18, 3, 14, 20, 2, 26, 27 ], 670 := [ 1, 25, 23, 19, 17, 18, 14, 10, 12, 8, 13, 9, 11, 7, 21, 22, 5, 6, 4, 24, 15, 16, 3, 20, 2, 26, 27 ], 671 := [ 1, 25, 24, 19, 2, 2, 20, 27, 27, 26, 27, 26, 26, 24, 4, 24, 4, 4, 25, 25, 2, 20, 20, 19, 19, 1, 1 ], 672 := [ 1, 25, 25, 19, 19, 19, 19, 1, 1, 1, 1, 1, 1, 25, 25, 25, 25, 25, 25, 25, 19, 19, 19, 19, 19, 1, 1 ], 673 := [ 1, 25, 26, 19, 4, 4, 27, 20, 20, 24, 20, 24, 24, 26, 2, 26, 2, 2, 25, 25, 4, 27, 27, 19, 19, 1, 1 ], 674 := [ 1, 25, 27, 19, 24, 24, 26, 2, 2, 4, 2, 4, 4, 27, 20, 27, 20, 20, 25, 25, 24, 26, 26, 19, 19, 1, 1 ], 675 := [ 1, 26, 1, 27, 26, 26, 1, 27, 27, 26, 27, 26, 26, 1, 27, 1, 27, 27, 26, 26, 26, 1, 1, 27, 27, 1, 1 ], 676 := [ 1, 26, 2, 27, 19, 19, 4, 20, 20, 24, 20, 24, 24, 2, 25, 2, 25, 25, 26, 26, 19, 4, 4, 27, 27, 1, 1 ], 677 := [ 1, 26, 3, 27, 14, 14, 7, 16, 16, 22, 16, 22, 22, 3, 23, 3, 23, 23, 26, 26, 14, 7, 7, 27, 27, 1, 1 ], 678 := [ 1, 26, 4, 27, 24, 24, 2, 25, 25, 19, 25, 19, 19, 4, 20, 4, 20, 20, 26, 26, 24, 2, 2, 27, 27, 1, 1 ], 679 := [ 1, 26, 5, 27, 6, 6, 17, 21, 21, 18, 21, 18, 18, 5, 15, 5, 15, 15, 26, 26, 6, 17, 17, 27, 27, 1, 1 ], 680 := [ 1, 26, 6, 27, 21, 21, 15, 5, 5, 17, 5, 17, 17, 6, 18, 6, 18, 18, 26, 26, 21, 15, 15, 27, 27, 1, 1 ], 681 := [ 1, 26, 7, 27, 22, 22, 3, 23, 23, 14, 23, 14, 14, 7, 16, 7, 16, 16, 26, 26, 22, 3, 3, 27, 27, 1, 1 ], 682 := [ 1, 26, 8, 27, 9, 9, 13, 11, 11, 10, 11, 10, 10, 8, 12, 8, 12, 12, 26, 26, 9, 13, 13, 27, 27, 1, 1 ], 683 := [ 1, 26, 9, 27, 11, 11, 12, 8, 8, 13, 8, 13, 13, 9, 10, 9, 10, 10, 26, 26, 11, 12, 12, 27, 27, 1, 1 ], 684 := [ 1, 26, 10, 27, 12, 12, 11, 13, 13, 8, 13, 8, 8, 10, 9, 10, 9, 9, 26, 26, 12, 11, 11, 27, 27, 1, 1 ], 685 := [ 1, 26, 11, 27, 8, 8, 10, 9, 9, 12, 9, 12, 12, 11, 13, 11, 13, 13, 26, 26, 8, 10, 10, 27, 27, 1, 1 ], 686 := [ 1, 26, 12, 27, 13, 13, 9, 10, 10, 11, 10, 11, 11, 12, 8, 12, 8, 8, 26, 26, 13, 9, 9, 27, 27, 1, 1 ], 687 := [ 1, 26, 13, 27, 10, 10, 8, 12, 12, 9, 12, 9, 9, 13, 11, 13, 11, 11, 26, 26, 10, 8, 8, 27, 27, 1, 1 ], 688 := [ 1, 26, 14, 27, 16, 16, 23, 3, 3, 7, 3, 7, 7, 14, 22, 14, 22, 22, 26, 26, 16, 23, 23, 27, 27, 1, 1 ], 689 := [ 1, 26, 15, 27, 17, 17, 6, 18, 18, 21, 18, 21, 21, 15, 5, 15, 5, 5, 26, 26, 17, 6, 6, 27, 27, 1, 1 ], 690 := [ 1, 26, 16, 27, 3, 3, 22, 14, 14, 23, 14, 23, 23, 16, 7, 16, 7, 7, 26, 26, 3, 22, 22, 27, 27, 1, 1 ], 691 := [ 1, 26, 17, 27, 18, 18, 5, 15, 15, 6, 15, 6, 6, 17, 21, 17, 21, 21, 26, 26, 18, 5, 5, 27, 27, 1, 1 ], 692 := [ 1, 26, 18, 27, 15, 15, 21, 17, 17, 5, 17, 5, 5, 18, 6, 18, 6, 6, 26, 26, 15, 21, 21, 27, 27, 1, 1 ], 693 := [ 1, 26, 19, 27, 20, 20, 25, 2, 2, 4, 2, 4, 4, 19, 24, 19, 24, 24, 26, 26, 20, 25, 25, 27, 27, 1, 1 ], 694 := [ 1, 26, 20, 27, 2, 2, 24, 19, 19, 25, 19, 25, 25, 20, 4, 20, 4, 4, 26, 26, 2, 24, 24, 27, 27, 1, 1 ], 695 := [ 1, 26, 21, 27, 5, 5, 18, 6, 6, 15, 6, 15, 15, 21, 17, 21, 17, 17, 26, 26, 5, 18, 18, 27, 27, 1, 1 ], 696 := [ 1, 26, 22, 27, 23, 23, 16, 7, 7, 3, 7, 3, 3, 22, 14, 22, 14, 14, 26, 26, 23, 16, 16, 27, 27, 1, 1 ], 697 := [ 1, 26, 23, 27, 7, 7, 14, 22, 22, 16, 22, 16, 16, 23, 3, 23, 3, 3, 26, 26, 7, 14, 14, 27, 27, 1, 1 ], 698 := [ 1, 26, 24, 27, 25, 25, 20, 4, 4, 2, 4, 2, 2, 24, 19, 24, 19, 19, 26, 26, 25, 20, 20, 27, 27, 1, 1 ], 699 := [ 1, 26, 25, 27, 4, 4, 19, 24, 24, 20, 24, 20, 20, 25, 2, 25, 2, 2, 26, 26, 4, 19, 19, 27, 27, 1, 1 ], 700 := [ 1, 26, 26, 27, 27, 27, 27, 1, 1, 1, 1, 1, 1, 26, 26, 26, 26, 26, 26, 26, 27, 27, 27, 27, 27, 1, 1 ], 701 := [ 1, 26, 27, 27, 1, 1, 26, 26, 26, 27, 26, 27, 27, 27, 1, 27, 1, 1, 26, 26, 1, 26, 26, 27, 27, 1, 1 ], 702 := [ 1, 27, 1, 26, 27, 27, 1, 26, 26, 27, 26, 27, 27, 1, 26, 1, 26, 26, 27, 27, 27, 1, 1, 26, 26, 1, 1 ], 703 := [ 1, 27, 2, 26, 20, 20, 4, 19, 19, 25, 19, 25, 25, 2, 24, 2, 24, 24, 27, 27, 20, 4, 4, 26, 26, 1, 1 ], 704 := [ 1, 27, 3, 26, 16, 16, 7, 14, 14, 23, 14, 23, 23, 3, 22, 3, 22, 22, 27, 27, 16, 7, 7, 26, 26, 1, 1 ], 705 := [ 1, 27, 4, 26, 25, 25, 2, 24, 24, 20, 24, 20, 20, 4, 19, 4, 19, 19, 27, 27, 25, 2, 2, 26, 26, 1, 1 ], 706 := [ 1, 27, 5, 26, 21, 21, 17, 6, 6, 15, 6, 15, 15, 5, 18, 5, 18, 18, 27, 27, 21, 17, 17, 26, 26, 1, 1 ], 707 := [ 1, 27, 6, 26, 5, 5, 15, 21, 21, 18, 21, 18, 18, 6, 17, 6, 17, 17, 27, 27, 5, 15, 15, 26, 26, 1, 1 ], 708 := [ 1, 27, 7, 26, 23, 23, 3, 22, 22, 16, 22, 16, 16, 7, 14, 7, 14, 14, 27, 27, 23, 3, 3, 26, 26, 1, 1 ], 709 := [ 1, 27, 8, 26, 11, 11, 13, 9, 9, 12, 9, 12, 12, 8, 10, 8, 10, 10, 27, 27, 11, 13, 13, 26, 26, 1, 1 ], 710 := [ 1, 27, 9, 26, 8, 8, 12, 11, 11, 10, 11, 10, 10, 9, 13, 9, 13, 13, 27, 27, 8, 12, 12, 26, 26, 1, 1 ], 711 := [ 1, 27, 10, 26, 13, 13, 11, 12, 12, 9, 12, 9, 9, 10, 8, 10, 8, 8, 27, 27, 13, 11, 11, 26, 26, 1, 1 ], 712 := [ 1, 27, 11, 26, 9, 9, 10, 8, 8, 13, 8, 13, 13, 11, 12, 11, 12, 12, 27, 27, 9, 10, 10, 26, 26, 1, 1 ], 713 := [ 1, 27, 12, 26, 10, 10, 9, 13, 13, 8, 13, 8, 8, 12, 11, 12, 11, 11, 27, 27, 10, 9, 9, 26, 26, 1, 1 ], 714 := [ 1, 27, 13, 26, 12, 12, 8, 10, 10, 11, 10, 11, 11, 13, 9, 13, 9, 9, 27, 27, 12, 8, 8, 26, 26, 1, 1 ], 715 := [ 1, 27, 14, 26, 3, 3, 23, 16, 16, 22, 16, 22, 22, 14, 7, 14, 7, 7, 27, 27, 3, 23, 23, 26, 26, 1, 1 ], 716 := [ 1, 27, 15, 26, 18, 18, 6, 17, 17, 5, 17, 5, 5, 15, 21, 15, 21, 21, 27, 27, 18, 6, 6, 26, 26, 1, 1 ], 717 := [ 1, 27, 16, 26, 14, 14, 22, 3, 3, 7, 3, 7, 7, 16, 23, 16, 23, 23, 27, 27, 14, 22, 22, 26, 26, 1, 1 ], 718 := [ 1, 27, 17, 26, 15, 15, 5, 18, 18, 21, 18, 21, 21, 17, 6, 17, 6, 6, 27, 27, 15, 5, 5, 26, 26, 1, 1 ], 719 := [ 1, 27, 18, 26, 17, 17, 21, 15, 15, 6, 15, 6, 6, 18, 5, 18, 5, 5, 27, 27, 17, 21, 21, 26, 26, 1, 1 ], 720 := [ 1, 27, 19, 26, 2, 2, 25, 20, 20, 24, 20, 24, 24, 19, 4, 19, 4, 4, 27, 27, 2, 25, 25, 26, 26, 1, 1 ], 721 := [ 1, 27, 20, 26, 19, 19, 24, 2, 2, 4, 2, 4, 4, 20, 25, 20, 25, 25, 27, 27, 19, 24, 24, 26, 26, 1, 1 ], 722 := [ 1, 27, 21, 26, 6, 6, 18, 5, 5, 17, 5, 17, 17, 21, 15, 21, 15, 15, 27, 27, 6, 18, 18, 26, 26, 1, 1 ], 723 := [ 1, 27, 22, 26, 7, 7, 16, 23, 23, 14, 23, 14, 14, 22, 3, 22, 3, 3, 27, 27, 7, 16, 16, 26, 26, 1, 1 ], 724 := [ 1, 27, 23, 26, 22, 22, 14, 7, 7, 3, 7, 3, 3, 23, 16, 23, 16, 16, 27, 27, 22, 14, 14, 26, 26, 1, 1 ], 725 := [ 1, 27, 24, 26, 4, 4, 20, 25, 25, 19, 25, 19, 19, 24, 2, 24, 2, 2, 27, 27, 4, 20, 20, 26, 26, 1, 1 ], 726 := [ 1, 27, 25, 26, 24, 24, 19, 4, 4, 2, 4, 2, 2, 25, 20, 25, 20, 20, 27, 27, 24, 19, 19, 26, 26, 1, 1 ], 727 := [ 1, 27, 26, 26, 1, 1, 27, 27, 27, 26, 27, 26, 26, 26, 1, 26, 1, 1, 27, 27, 1, 27, 27, 26, 26, 1, 1 ], 728 := [ 1, 27, 27, 26, 26, 26, 26, 1, 1, 1, 1, 1, 1, 27, 27, 27, 27, 27, 27, 27, 26, 26, 26, 26, 26, 1, 1 ], 729 := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27 ] ), classes := rec( 1 := rec( phi := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 38, 19, 20, 729, 22, 23, 24, 25, 26, 27 ], autos_yielding_iso_nrs := [ 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 47, 48, 49, 55, 57, 58, 59, 61, 62, 63, 64, 65, 66, 68, 70, 71, 72, 73, 74, 77, 78, 109, 110, 111, 114, 115, 116, 117, 118, 119, 120, 121, 123, 126, 127, 129, 130, 131, 132, 136, 137, 138, 141, 142, 143, 144, 145, 146, 147, 148, 150, 153, 154, 156, 157, 158, 159, 190, 191, 192, 193, 194, 195, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 217, 218, 219, 220, 221, 222, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 244, 245, 246, 247, 248, 249, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 352, 354, 355, 356, 358, 359, 360, 361, 362, 363, 365, 367, 368, 369, 370, 371, 374, 375, 406, 408, 409, 410, 412, 413, 414, 415, 416, 417, 419, 421, 422, 423, 424, 425, 428, 429, 460, 461, 462, 465, 466, 467, 468, 469, 470, 471, 472, 474, 477, 478, 480, 481, 482, 483, 488, 490, 491, 492, 493, 494, 495, 496, 497, 498, 499, 500, 501, 502, 503, 506, 507, 508, 515, 517, 518, 519, 520, 521, 522, 523, 524, 525, 526, 527, 528, 529, 530, 533, 534, 535, 729 ] ), 2 := rec( phi := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 87, 19, 20, 729, 22, 23, 24, 25, 26, 27 ], autos_yielding_iso_nrs := [ 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 47, 48, 49, 55, 57, 58, 59, 61, 62, 63, 64, 65, 66, 68, 70, 71, 72, 73, 74, 77, 78, 109, 110, 111, 114, 115, 116, 117, 118, 119, 120, 121, 123, 126, 127, 129, 130, 131, 132, 136, 137, 138, 141, 142, 143, 144, 145, 146, 147, 148, 150, 153, 154, 156, 157, 158, 159, 190, 191, 192, 193, 194, 195, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 217, 218, 219, 220, 221, 222, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 244, 245, 246, 247, 248, 249, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 352, 354, 355, 356, 358, 359, 360, 361, 362, 363, 365, 367, 368, 369, 370, 371, 374, 375, 406, 408, 409, 410, 412, 413, 414, 415, 416, 417, 419, 421, 422, 423, 424, 425, 428, 429, 460, 461, 462, 465, 466, 467, 468, 469, 470, 471, 472, 474, 477, 478, 480, 481, 482, 483, 488, 490, 491, 492, 493, 494, 495, 496, 497, 498, 499, 500, 501, 502, 503, 506, 507, 508, 515, 517, 518, 519, 520, 521, 522, 523, 524, 525, 526, 527, 528, 529, 530, 533, 534, 535, 729 ] ), 3 := rec( phi := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 86, 17, 643, 19, 20, 729, 529, 23, 24, 25, 26, 27 ], autos_yielding_iso_nrs := [ 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 47, 48, 49, 55, 57, 58, 59, 61, 62, 63, 64, 65, 66, 68, 70, 71, 72, 73, 74, 77, 78, 83, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 101, 102, 103, 109, 110, 111, 114, 115, 116, 117, 118, 119, 120, 121, 123, 126, 127, 129, 130, 131, 132, 136, 137, 138, 141, 142, 143, 144, 145, 146, 147, 148, 150, 153, 154, 156, 157, 158, 159, 163, 165, 166, 167, 169, 170, 171, 172, 173, 174, 176, 178, 179, 180, 181, 182, 185, 186, 190, 191, 192, 193, 194, 195, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 217, 218, 219, 220, 221, 222, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 244, 245, 246, 247, 248, 249, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 271, 272, 273, 274, 275, 276, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 298, 299, 300, 301, 302, 303, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 325, 326, 327, 328, 329, 330, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 352, 354, 355, 356, 358, 359, 360, 361, 362, 363, 365, 367, 368, 369, 370, 371, 374, 375, 379, 380, 381, 384, 385, 386, 387, 388, 389, 390, 391, 393, 396, 397, 399, 400, 401, 402, 406, 408, 409, 410, 412, 413, 414, 415, 416, 417, 419, 421, 422, 423, 424, 425, 428, 429, 433, 434, 435, 438, 439, 440, 441, 442, 443, 444, 445, 447, 450, 451, 453, 454, 455, 456, 460, 461, 462, 465, 466, 467, 468, 469, 470, 471, 472, 474, 477, 478, 480, 481, 482, 483, 488, 490, 491, 492, 493, 494, 495, 496, 497, 498, 499, 500, 501, 502, 503, 506, 507, 508, 515, 517, 518, 519, 520, 521, 522, 523, 524, 525, 526, 527, 528, 529, 530, 533, 534, 535, 541, 542, 543, 546, 547, 548, 549, 550, 551, 552, 553, 555, 558, 559, 561, 562, 563, 564, 568, 570, 571, 572, 574, 575, 576, 577, 578, 579, 581, 583, 584, 585, 586, 587, 590, 591, 595, 597, 598, 599, 601, 602, 603, 604, 605, 606, 608, 610, 611, 612, 613, 614, 617, 618, 623, 625, 626, 627, 628, 629, 630, 631, 632, 633, 634, 635, 636, 637, 638, 641, 642, 643, 650, 652, 653, 654, 655, 656, 657, 658, 659, 660, 661, 662, 663, 664, 665, 668, 669, 670, 729 ] ), 4 := rec( phi := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 83, 15, 729, 17, 18, 19, 20, 21, 33, 87, 24, 25, 26, 27 ], autos_yielding_iso_nrs := [ 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 47, 48, 49, 55, 57, 58, 59, 61, 62, 63, 64, 65, 66, 68, 70, 71, 72, 73, 74, 77, 78, 83, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 101, 102, 103, 109, 110, 111, 114, 115, 116, 117, 118, 119, 120, 121, 123, 126, 127, 129, 130, 131, 132, 136, 137, 138, 141, 142, 143, 144, 145, 146, 147, 148, 150, 153, 154, 156, 157, 158, 159, 163, 165, 166, 167, 169, 170, 171, 172, 173, 174, 176, 178, 179, 180, 181, 182, 185, 186, 190, 191, 192, 193, 194, 195, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 217, 218, 219, 220, 221, 222, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 244, 245, 246, 247, 248, 249, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 271, 272, 273, 274, 275, 276, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 298, 299, 300, 301, 302, 303, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 325, 326, 327, 328, 329, 330, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 352, 354, 355, 356, 358, 359, 360, 361, 362, 363, 365, 367, 368, 369, 370, 371, 374, 375, 379, 380, 381, 384, 385, 386, 387, 388, 389, 390, 391, 393, 396, 397, 399, 400, 401, 402, 406, 408, 409, 410, 412, 413, 414, 415, 416, 417, 419, 421, 422, 423, 424, 425, 428, 429, 433, 434, 435, 438, 439, 440, 441, 442, 443, 444, 445, 447, 450, 451, 453, 454, 455, 456, 460, 461, 462, 465, 466, 467, 468, 469, 470, 471, 472, 474, 477, 478, 480, 481, 482, 483, 488, 490, 491, 492, 493, 494, 495, 496, 497, 498, 499, 500, 501, 502, 503, 506, 507, 508, 515, 517, 518, 519, 520, 521, 522, 523, 524, 525, 526, 527, 528, 529, 530, 533, 534, 535, 541, 542, 543, 546, 547, 548, 549, 550, 551, 552, 553, 555, 558, 559, 561, 562, 563, 564, 568, 570, 571, 572, 574, 575, 576, 577, 578, 579, 581, 583, 584, 585, 586, 587, 590, 591, 595, 597, 598, 599, 601, 602, 603, 604, 605, 606, 608, 610, 611, 612, 613, 614, 617, 618, 623, 625, 626, 627, 628, 629, 630, 631, 632, 633, 634, 635, 636, 637, 638, 641, 642, 643, 650, 652, 653, 654, 655, 656, 657, 658, 659, 660, 661, 662, 663, 664, 665, 668, 669, 670, 729 ] ), 5 := rec( phi := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 38, 494, 12, 13, 729, 15, 16, 17, 500, 19, 20, 518, 22, 519, 24, 25, 26, 27 ], autos_yielding_iso_nrs := [ 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 47, 48, 49, 55, 57, 58, 59, 61, 62, 63, 64, 65, 66, 68, 70, 71, 72, 73, 74, 77, 78, 83, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 101, 102, 103, 109, 110, 111, 114, 115, 116, 117, 118, 119, 120, 121, 123, 126, 127, 129, 130, 131, 132, 136, 137, 138, 141, 142, 143, 144, 145, 146, 147, 148, 150, 153, 154, 156, 157, 158, 159, 163, 165, 166, 167, 169, 170, 171, 172, 173, 174, 176, 178, 179, 180, 181, 182, 185, 186, 190, 191, 192, 193, 194, 195, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 217, 218, 219, 220, 221, 222, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 244, 245, 246, 247, 248, 249, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 271, 272, 273, 274, 275, 276, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 298, 299, 300, 301, 302, 303, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 325, 326, 327, 328, 329, 330, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 352, 354, 355, 356, 358, 359, 360, 361, 362, 363, 365, 367, 368, 369, 370, 371, 374, 375, 379, 380, 381, 384, 385, 386, 387, 388, 389, 390, 391, 393, 396, 397, 399, 400, 401, 402, 406, 408, 409, 410, 412, 413, 414, 415, 416, 417, 419, 421, 422, 423, 424, 425, 428, 429, 433, 434, 435, 438, 439, 440, 441, 442, 443, 444, 445, 447, 450, 451, 453, 454, 455, 456, 460, 461, 462, 465, 466, 467, 468, 469, 470, 471, 472, 474, 477, 478, 480, 481, 482, 483, 488, 490, 491, 492, 493, 494, 495, 496, 497, 498, 499, 500, 501, 502, 503, 506, 507, 508, 515, 517, 518, 519, 520, 521, 522, 523, 524, 525, 526, 527, 528, 529, 530, 533, 534, 535, 541, 542, 543, 546, 547, 548, 549, 550, 551, 552, 553, 555, 558, 559, 561, 562, 563, 564, 568, 570, 571, 572, 574, 575, 576, 577, 578, 579, 581, 583, 584, 585, 586, 587, 590, 591, 595, 597, 598, 599, 601, 602, 603, 604, 605, 606, 608, 610, 611, 612, 613, 614, 617, 618, 623, 625, 626, 627, 628, 629, 630, 631, 632, 633, 634, 635, 636, 637, 638, 641, 642, 643, 650, 652, 653, 654, 655, 656, 657, 658, 659, 660, 661, 662, 663, 664, 665, 668, 669, 670, 729 ] ), 6 := rec( phi := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 519, 31, 12, 13, 14, 15, 34, 17, 525, 19, 20, 729, 529, 23, 24, 25, 26, 27 ], autos_yielding_iso_nrs := [ 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 47, 48, 49, 55, 57, 58, 59, 61, 62, 63, 64, 65, 66, 68, 70, 71, 72, 73, 74, 77, 78, 109, 110, 111, 114, 115, 116, 117, 118, 119, 120, 121, 123, 126, 127, 129, 130, 131, 132, 136, 137, 138, 141, 142, 143, 144, 145, 146, 147, 148, 150, 153, 154, 156, 157, 158, 159, 190, 191, 192, 193, 194, 195, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 217, 218, 219, 220, 221, 222, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 244, 245, 246, 247, 248, 249, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 352, 354, 355, 356, 358, 359, 360, 361, 362, 363, 365, 367, 368, 369, 370, 371, 374, 375, 406, 408, 409, 410, 412, 413, 414, 415, 416, 417, 419, 421, 422, 423, 424, 425, 428, 429, 460, 461, 462, 465, 466, 467, 468, 469, 470, 471, 472, 474, 477, 478, 480, 481, 482, 483, 488, 490, 491, 492, 493, 494, 495, 496, 497, 498, 499, 500, 501, 502, 503, 506, 507, 508, 515, 517, 518, 519, 520, 521, 522, 523, 524, 525, 526, 527, 528, 529, 530, 533, 534, 535, 729 ] ), 7 := rec( phi := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 632, 34, 12, 13, 14, 15, 729, 17, 635, 19, 20, 31, 643, 23, 24, 25, 26, 27 ], autos_yielding_iso_nrs := [ 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 47, 48, 49, 55, 57, 58, 59, 61, 62, 63, 64, 65, 66, 68, 70, 71, 72, 73, 74, 77, 78, 109, 110, 111, 114, 115, 116, 117, 118, 119, 120, 121, 123, 126, 127, 129, 130, 131, 132, 136, 137, 138, 141, 142, 143, 144, 145, 146, 147, 148, 150, 153, 154, 156, 157, 158, 159, 190, 191, 192, 193, 194, 195, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 217, 218, 219, 220, 221, 222, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 244, 245, 246, 247, 248, 249, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 352, 354, 355, 356, 358, 359, 360, 361, 362, 363, 365, 367, 368, 369, 370, 371, 374, 375, 406, 408, 409, 410, 412, 413, 414, 415, 416, 417, 419, 421, 422, 423, 424, 425, 428, 429, 460, 461, 462, 465, 466, 467, 468, 469, 470, 471, 472, 474, 477, 478, 480, 481, 482, 483, 488, 490, 491, 492, 493, 494, 495, 496, 497, 498, 499, 500, 501, 502, 503, 506, 507, 508, 515, 517, 518, 519, 520, 521, 522, 523, 524, 525, 526, 527, 528, 529, 530, 533, 534, 535, 729 ] ), 8 := rec( phi := [ 1, 2, 3, 4, 5, 6, 7, 40, 42, 44, 729, 41, 43, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27 ], autos_yielding_iso_nrs := [ 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 47, 48, 49, 55, 57, 58, 59, 61, 62, 63, 64, 65, 66, 68, 70, 71, 72, 73, 74, 77, 78, 109, 110, 111, 114, 115, 116, 117, 118, 119, 120, 121, 123, 126, 127, 129, 130, 131, 132, 136, 137, 138, 141, 142, 143, 144, 145, 146, 147, 148, 150, 153, 154, 156, 157, 158, 159, 190, 191, 192, 193, 194, 195, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 217, 218, 219, 220, 221, 222, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 244, 245, 246, 247, 248, 249, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 352, 354, 355, 356, 358, 359, 360, 361, 362, 363, 365, 367, 368, 369, 370, 371, 374, 375, 406, 408, 409, 410, 412, 413, 414, 415, 416, 417, 419, 421, 422, 423, 424, 425, 428, 429, 460, 461, 462, 465, 466, 467, 468, 469, 470, 471, 472, 474, 477, 478, 480, 481, 482, 483, 488, 490, 491, 492, 493, 494, 495, 496, 497, 498, 499, 500, 501, 502, 503, 506, 507, 508, 515, 517, 518, 519, 520, 521, 522, 523, 524, 525, 526, 527, 528, 529, 530, 533, 534, 535, 729 ] ), 9 := rec( phi := [ 1, 2, 3, 4, 5, 6, 7, 40, 42, 102, 729, 103, 87, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27 ], autos_yielding_iso_nrs := [ 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 47, 48, 49, 55, 57, 58, 59, 61, 62, 63, 64, 65, 66, 68, 70, 71, 72, 73, 74, 77, 78, 109, 110, 111, 114, 115, 116, 117, 118, 119, 120, 121, 123, 126, 127, 129, 130, 131, 132, 136, 137, 138, 141, 142, 143, 144, 145, 146, 147, 148, 150, 153, 154, 156, 157, 158, 159, 190, 191, 192, 193, 194, 195, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 217, 218, 219, 220, 221, 222, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 244, 245, 246, 247, 248, 249, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 352, 354, 355, 356, 358, 359, 360, 361, 362, 363, 365, 367, 368, 369, 370, 371, 374, 375, 406, 408, 409, 410, 412, 413, 414, 415, 416, 417, 419, 421, 422, 423, 424, 425, 428, 429, 460, 461, 462, 465, 466, 467, 468, 469, 470, 471, 472, 474, 477, 478, 480, 481, 482, 483, 488, 490, 491, 492, 493, 494, 495, 496, 497, 498, 499, 500, 501, 502, 503, 506, 507, 508, 515, 517, 518, 519, 520, 521, 522, 523, 524, 525, 526, 527, 528, 529, 530, 533, 534, 535, 729 ] ), 10 := rec( phi := [ 1, 2, 3, 4, 5, 6, 7, 488, 729, 103, 515, 670, 643, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27 ], autos_yielding_iso_nrs := [ 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 47, 48, 49, 55, 57, 58, 59, 61, 62, 63, 64, 65, 66, 68, 70, 71, 72, 73, 74, 77, 78, 83, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 101, 102, 103, 109, 110, 111, 114, 115, 116, 117, 118, 119, 120, 121, 123, 126, 127, 129, 130, 131, 132, 136, 137, 138, 141, 142, 143, 144, 145, 146, 147, 148, 150, 153, 154, 156, 157, 158, 159, 163, 165, 166, 167, 169, 170, 171, 172, 173, 174, 176, 178, 179, 180, 181, 182, 185, 186, 190, 191, 192, 193, 194, 195, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 217, 218, 219, 220, 221, 222, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 244, 245, 246, 247, 248, 249, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 271, 272, 273, 274, 275, 276, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 298, 299, 300, 301, 302, 303, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 325, 326, 327, 328, 329, 330, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 352, 354, 355, 356, 358, 359, 360, 361, 362, 363, 365, 367, 368, 369, 370, 371, 374, 375, 379, 380, 381, 384, 385, 386, 387, 388, 389, 390, 391, 393, 396, 397, 399, 400, 401, 402, 406, 408, 409, 410, 412, 413, 414, 415, 416, 417, 419, 421, 422, 423, 424, 425, 428, 429, 433, 434, 435, 438, 439, 440, 441, 442, 443, 444, 445, 447, 450, 451, 453, 454, 455, 456, 460, 461, 462, 465, 466, 467, 468, 469, 470, 471, 472, 474, 477, 478, 480, 481, 482, 483, 488, 490, 491, 492, 493, 494, 495, 496, 497, 498, 499, 500, 501, 502, 503, 506, 507, 508, 515, 517, 518, 519, 520, 521, 522, 523, 524, 525, 526, 527, 528, 529, 530, 533, 534, 535, 541, 542, 543, 546, 547, 548, 549, 550, 551, 552, 553, 555, 558, 559, 561, 562, 563, 564, 568, 570, 571, 572, 574, 575, 576, 577, 578, 579, 581, 583, 584, 585, 586, 587, 590, 591, 595, 597, 598, 599, 601, 602, 603, 604, 605, 606, 608, 610, 611, 612, 613, 614, 617, 618, 623, 625, 626, 627, 628, 629, 630, 631, 632, 633, 634, 635, 636, 637, 638, 641, 642, 643, 650, 652, 653, 654, 655, 656, 657, 658, 659, 660, 661, 662, 663, 664, 665, 668, 669, 670, 729 ] ), 11 := rec( phi := [ 1, 2, 3, 4, 5, 31, 7, 8, 34, 633, 88, 525, 13, 729, 529, 83, 17, 637, 19, 20, 85, 627, 519, 24, 25, 26, 27 ], autos_yielding_iso_nrs := [ 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 47, 48, 49, 55, 57, 58, 59, 61, 62, 63, 64, 65, 66, 68, 70, 71, 72, 73, 74, 77, 78, 83, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 101, 102, 103, 109, 110, 111, 114, 115, 116, 117, 118, 119, 120, 121, 123, 126, 127, 129, 130, 131, 132, 136, 137, 138, 141, 142, 143, 144, 145, 146, 147, 148, 150, 153, 154, 156, 157, 158, 159, 163, 165, 166, 167, 169, 170, 171, 172, 173, 174, 176, 178, 179, 180, 181, 182, 185, 186, 190, 191, 192, 193, 194, 195, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 217, 218, 219, 220, 221, 222, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 244, 245, 246, 247, 248, 249, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 271, 272, 273, 274, 275, 276, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 298, 299, 300, 301, 302, 303, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 325, 326, 327, 328, 329, 330, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 352, 354, 355, 356, 358, 359, 360, 361, 362, 363, 365, 367, 368, 369, 370, 371, 374, 375, 379, 380, 381, 384, 385, 386, 387, 388, 389, 390, 391, 393, 396, 397, 399, 400, 401, 402, 406, 408, 409, 410, 412, 413, 414, 415, 416, 417, 419, 421, 422, 423, 424, 425, 428, 429, 433, 434, 435, 438, 439, 440, 441, 442, 443, 444, 445, 447, 450, 451, 453, 454, 455, 456, 460, 461, 462, 465, 466, 467, 468, 469, 470, 471, 472, 474, 477, 478, 480, 481, 482, 483, 488, 490, 491, 492, 493, 494, 495, 496, 497, 498, 499, 500, 501, 502, 503, 506, 507, 508, 515, 517, 518, 519, 520, 521, 522, 523, 524, 525, 526, 527, 528, 529, 530, 533, 534, 535, 541, 542, 543, 546, 547, 548, 549, 550, 551, 552, 553, 555, 558, 559, 561, 562, 563, 564, 568, 570, 571, 572, 574, 575, 576, 577, 578, 579, 581, 583, 584, 585, 586, 587, 590, 591, 595, 597, 598, 599, 601, 602, 603, 604, 605, 606, 608, 610, 611, 612, 613, 614, 617, 618, 623, 625, 626, 627, 628, 629, 630, 631, 632, 633, 634, 635, 636, 637, 638, 641, 642, 643, 650, 652, 653, 654, 655, 656, 657, 658, 659, 660, 661, 662, 663, 664, 665, 668, 669, 670, 729 ] ), 12 := rec( phi := [ 1, 2, 3, 4, 40, 42, 7, 96, 83, 49, 94, 33, 48, 14, 102, 16, 103, 87, 676, 703, 729, 22, 23, 678, 705, 26, 27 ], autos_yielding_iso_nrs := [ 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 47, 48, 49, 55, 57, 58, 59, 61, 62, 63, 64, 65, 66, 68, 70, 71, 72, 73, 74, 77, 78, 83, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 101, 102, 103, 109, 110, 111, 114, 115, 116, 117, 118, 119, 120, 121, 123, 126, 127, 129, 130, 131, 132, 136, 137, 138, 141, 142, 143, 144, 145, 146, 147, 148, 150, 153, 154, 156, 157, 158, 159, 163, 165, 166, 167, 169, 170, 171, 172, 173, 174, 176, 178, 179, 180, 181, 182, 185, 186, 190, 191, 192, 193, 194, 195, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 217, 218, 219, 220, 221, 222, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 244, 245, 246, 247, 248, 249, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 271, 272, 273, 274, 275, 276, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 298, 299, 300, 301, 302, 303, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 325, 326, 327, 328, 329, 330, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 352, 354, 355, 356, 358, 359, 360, 361, 362, 363, 365, 367, 368, 369, 370, 371, 374, 375, 379, 380, 381, 384, 385, 386, 387, 388, 389, 390, 391, 393, 396, 397, 399, 400, 401, 402, 406, 408, 409, 410, 412, 413, 414, 415, 416, 417, 419, 421, 422, 423, 424, 425, 428, 429, 433, 434, 435, 438, 439, 440, 441, 442, 443, 444, 445, 447, 450, 451, 453, 454, 455, 456, 460, 461, 462, 465, 466, 467, 468, 469, 470, 471, 472, 474, 477, 478, 480, 481, 482, 483, 488, 490, 491, 492, 493, 494, 495, 496, 497, 498, 499, 500, 501, 502, 503, 506, 507, 508, 515, 517, 518, 519, 520, 521, 522, 523, 524, 525, 526, 527, 528, 529, 530, 533, 534, 535, 541, 542, 543, 546, 547, 548, 549, 550, 551, 552, 553, 555, 558, 559, 561, 562, 563, 564, 568, 570, 571, 572, 574, 575, 576, 577, 578, 579, 581, 583, 584, 585, 586, 587, 590, 591, 595, 597, 598, 599, 601, 602, 603, 604, 605, 606, 608, 610, 611, 612, 613, 614, 617, 618, 623, 625, 626, 627, 628, 629, 630, 631, 632, 633, 634, 635, 636, 637, 638, 641, 642, 643, 650, 652, 653, 654, 655, 656, 657, 658, 659, 660, 661, 662, 663, 664, 665, 668, 669, 670, 729 ] ), 13 := rec( phi := [ 1, 2, 3, 4, 40, 42, 7, 96, 83, 49, 94, 33, 48, 14, 102, 16, 103, 87, 19, 20, 729, 22, 23, 24, 25, 26, 27 ], autos_yielding_iso_nrs := [ 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 47, 48, 49, 55, 57, 58, 59, 61, 62, 63, 64, 65, 66, 68, 70, 71, 72, 73, 74, 77, 78, 83, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 101, 102, 103, 109, 110, 111, 114, 115, 116, 117, 118, 119, 120, 121, 123, 126, 127, 129, 130, 131, 132, 136, 137, 138, 141, 142, 143, 144, 145, 146, 147, 148, 150, 153, 154, 156, 157, 158, 159, 163, 165, 166, 167, 169, 170, 171, 172, 173, 174, 176, 178, 179, 180, 181, 182, 185, 186, 190, 191, 192, 193, 194, 195, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 217, 218, 219, 220, 221, 222, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 244, 245, 246, 247, 248, 249, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 271, 272, 273, 274, 275, 276, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 298, 299, 300, 301, 302, 303, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 325, 326, 327, 328, 329, 330, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 352, 354, 355, 356, 358, 359, 360, 361, 362, 363, 365, 367, 368, 369, 370, 371, 374, 375, 379, 380, 381, 384, 385, 386, 387, 388, 389, 390, 391, 393, 396, 397, 399, 400, 401, 402, 406, 408, 409, 410, 412, 413, 414, 415, 416, 417, 419, 421, 422, 423, 424, 425, 428, 429, 433, 434, 435, 438, 439, 440, 441, 442, 443, 444, 445, 447, 450, 451, 453, 454, 455, 456, 460, 461, 462, 465, 466, 467, 468, 469, 470, 471, 472, 474, 477, 478, 480, 481, 482, 483, 488, 490, 491, 492, 493, 494, 495, 496, 497, 498, 499, 500, 501, 502, 503, 506, 507, 508, 515, 517, 518, 519, 520, 521, 522, 523, 524, 525, 526, 527, 528, 529, 530, 533, 534, 535, 541, 542, 543, 546, 547, 548, 549, 550, 551, 552, 553, 555, 558, 559, 561, 562, 563, 564, 568, 570, 571, 572, 574, 575, 576, 577, 578, 579, 581, 583, 584, 585, 586, 587, 590, 591, 595, 597, 598, 599, 601, 602, 603, 604, 605, 606, 608, 610, 611, 612, 613, 614, 617, 618, 623, 625, 626, 627, 628, 629, 630, 631, 632, 633, 634, 635, 636, 637, 638, 641, 642, 643, 650, 652, 653, 654, 655, 656, 657, 658, 659, 660, 661, 662, 663, 664, 665, 668, 669, 670, 729 ] ), 14 := rec( phi := [ 1, 2, 3, 4, 83, 650, 7, 729, 515, 87, 488, 654, 627, 704, 33, 677, 519, 492, 19, 20, 623, 708, 681, 24, 25, 26, 27 ], autos_yielding_iso_nrs := [ 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 47, 48, 49, 55, 57, 58, 59, 61, 62, 63, 64, 65, 66, 68, 70, 71, 72, 73, 74, 77, 78, 83, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 101, 102, 103, 109, 110, 111, 114, 115, 116, 117, 118, 119, 120, 121, 123, 126, 127, 129, 130, 131, 132, 136, 137, 138, 141, 142, 143, 144, 145, 146, 147, 148, 150, 153, 154, 156, 157, 158, 159, 163, 165, 166, 167, 169, 170, 171, 172, 173, 174, 176, 178, 179, 180, 181, 182, 185, 186, 190, 191, 192, 193, 194, 195, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 217, 218, 219, 220, 221, 222, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 244, 245, 246, 247, 248, 249, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 271, 272, 273, 274, 275, 276, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 298, 299, 300, 301, 302, 303, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 325, 326, 327, 328, 329, 330, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 352, 354, 355, 356, 358, 359, 360, 361, 362, 363, 365, 367, 368, 369, 370, 371, 374, 375, 379, 380, 381, 384, 385, 386, 387, 388, 389, 390, 391, 393, 396, 397, 399, 400, 401, 402, 406, 408, 409, 410, 412, 413, 414, 415, 416, 417, 419, 421, 422, 423, 424, 425, 428, 429, 433, 434, 435, 438, 439, 440, 441, 442, 443, 444, 445, 447, 450, 451, 453, 454, 455, 456, 460, 461, 462, 465, 466, 467, 468, 469, 470, 471, 472, 474, 477, 478, 480, 481, 482, 483, 488, 490, 491, 492, 493, 494, 495, 496, 497, 498, 499, 500, 501, 502, 503, 506, 507, 508, 515, 517, 518, 519, 520, 521, 522, 523, 524, 525, 526, 527, 528, 529, 530, 533, 534, 535, 541, 542, 543, 546, 547, 548, 549, 550, 551, 552, 553, 555, 558, 559, 561, 562, 563, 564, 568, 570, 571, 572, 574, 575, 576, 577, 578, 579, 581, 583, 584, 585, 586, 587, 590, 591, 595, 597, 598, 599, 601, 602, 603, 604, 605, 606, 608, 610, 611, 612, 613, 614, 617, 618, 623, 625, 626, 627, 628, 629, 630, 631, 632, 633, 634, 635, 636, 637, 638, 641, 642, 643, 650, 652, 653, 654, 655, 656, 657, 658, 659, 660, 661, 662, 663, 664, 665, 668, 669, 670, 729 ] ), 15 := rec( phi := [ 1, 2, 3, 4, 83, 650, 7, 729, 515, 87, 488, 654, 627, 14, 33, 16, 519, 492, 19, 20, 623, 22, 23, 24, 25, 26, 27 ], autos_yielding_iso_nrs := [ 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 47, 48, 49, 55, 57, 58, 59, 61, 62, 63, 64, 65, 66, 68, 70, 71, 72, 73, 74, 77, 78, 83, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 101, 102, 103, 109, 110, 111, 114, 115, 116, 117, 118, 119, 120, 121, 123, 126, 127, 129, 130, 131, 132, 136, 137, 138, 141, 142, 143, 144, 145, 146, 147, 148, 150, 153, 154, 156, 157, 158, 159, 163, 165, 166, 167, 169, 170, 171, 172, 173, 174, 176, 178, 179, 180, 181, 182, 185, 186, 190, 191, 192, 193, 194, 195, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 217, 218, 219, 220, 221, 222, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 244, 245, 246, 247, 248, 249, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 271, 272, 273, 274, 275, 276, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 298, 299, 300, 301, 302, 303, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 325, 326, 327, 328, 329, 330, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 352, 354, 355, 356, 358, 359, 360, 361, 362, 363, 365, 367, 368, 369, 370, 371, 374, 375, 379, 380, 381, 384, 385, 386, 387, 388, 389, 390, 391, 393, 396, 397, 399, 400, 401, 402, 406, 408, 409, 410, 412, 413, 414, 415, 416, 417, 419, 421, 422, 423, 424, 425, 428, 429, 433, 434, 435, 438, 439, 440, 441, 442, 443, 444, 445, 447, 450, 451, 453, 454, 455, 456, 460, 461, 462, 465, 466, 467, 468, 469, 470, 471, 472, 474, 477, 478, 480, 481, 482, 483, 488, 490, 491, 492, 493, 494, 495, 496, 497, 498, 499, 500, 501, 502, 503, 506, 507, 508, 515, 517, 518, 519, 520, 521, 522, 523, 524, 525, 526, 527, 528, 529, 530, 533, 534, 535, 541, 542, 543, 546, 547, 548, 549, 550, 551, 552, 553, 555, 558, 559, 561, 562, 563, 564, 568, 570, 571, 572, 574, 575, 576, 577, 578, 579, 581, 583, 584, 585, 586, 587, 590, 591, 595, 597, 598, 599, 601, 602, 603, 604, 605, 606, 608, 610, 611, 612, 613, 614, 617, 618, 623, 625, 626, 627, 628, 629, 630, 631, 632, 633, 634, 635, 636, 637, 638, 641, 642, 643, 650, 652, 653, 654, 655, 656, 657, 658, 659, 660, 661, 662, 663, 664, 665, 668, 669, 670, 729 ] ), 16 := rec( phi := [ 1, 2, 31, 4, 34, 35, 36, 729, 40, 41, 42, 43, 44, 32, 33, 47, 48, 49, 19, 20, 37, 38, 39, 24, 25, 26, 27 ], autos_yielding_iso_nrs := [ 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 47, 48, 49, 55, 57, 58, 59, 61, 62, 63, 64, 65, 66, 68, 70, 71, 72, 73, 74, 77, 78, 109, 110, 111, 114, 115, 116, 117, 118, 119, 120, 121, 123, 126, 127, 129, 130, 131, 132, 136, 137, 138, 141, 142, 143, 144, 145, 146, 147, 148, 150, 153, 154, 156, 157, 158, 159, 190, 191, 192, 193, 194, 195, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 217, 218, 219, 220, 221, 222, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 244, 245, 246, 247, 248, 249, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 352, 354, 355, 356, 358, 359, 360, 361, 362, 363, 365, 367, 368, 369, 370, 371, 374, 375, 406, 408, 409, 410, 412, 413, 414, 415, 416, 417, 419, 421, 422, 423, 424, 425, 428, 429, 460, 461, 462, 465, 466, 467, 468, 469, 470, 471, 472, 474, 477, 478, 480, 481, 482, 483, 488, 490, 491, 492, 493, 494, 495, 496, 497, 498, 499, 500, 501, 502, 503, 506, 507, 508, 515, 517, 518, 519, 520, 521, 522, 523, 524, 525, 526, 527, 528, 529, 530, 533, 534, 535, 729 ] ), 17 := rec( phi := [ 1, 2, 31, 4, 34, 35, 95, 729, 40, 87, 42, 102, 103, 32, 90, 47, 92, 93, 19, 20, 37, 97, 98, 24, 25, 26, 27 ], autos_yielding_iso_nrs := [ 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 47, 48, 49, 55, 57, 58, 59, 61, 62, 63, 64, 65, 66, 68, 70, 71, 72, 73, 74, 77, 78, 109, 110, 111, 114, 115, 116, 117, 118, 119, 120, 121, 123, 126, 127, 129, 130, 131, 132, 136, 137, 138, 141, 142, 143, 144, 145, 146, 147, 148, 150, 153, 154, 156, 157, 158, 159, 190, 191, 192, 193, 194, 195, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 217, 218, 219, 220, 221, 222, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 244, 245, 246, 247, 248, 249, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 352, 354, 355, 356, 358, 359, 360, 361, 362, 363, 365, 367, 368, 369, 370, 371, 374, 375, 406, 408, 409, 410, 412, 413, 414, 415, 416, 417, 419, 421, 422, 423, 424, 425, 428, 429, 460, 461, 462, 465, 466, 467, 468, 469, 470, 471, 472, 474, 477, 478, 480, 481, 482, 483, 488, 490, 491, 492, 493, 494, 495, 496, 497, 498, 499, 500, 501, 502, 503, 506, 507, 508, 515, 517, 518, 519, 520, 521, 522, 523, 524, 525, 526, 527, 528, 529, 530, 533, 534, 535, 729 ] ), 18 := rec( phi := [ 1, 2, 40, 4, 491, 506, 49, 521, 523, 525, 520, 522, 524, 42, 503, 729, 500, 502, 19, 20, 490, 33, 48, 24, 25, 26, 27 ], autos_yielding_iso_nrs := [ 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 47, 48, 49, 55, 57, 58, 59, 61, 62, 63, 64, 65, 66, 68, 70, 71, 72, 73, 74, 77, 78, 83, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 101, 102, 103, 109, 110, 111, 114, 115, 116, 117, 118, 119, 120, 121, 123, 126, 127, 129, 130, 131, 132, 136, 137, 138, 141, 142, 143, 144, 145, 146, 147, 148, 150, 153, 154, 156, 157, 158, 159, 163, 165, 166, 167, 169, 170, 171, 172, 173, 174, 176, 178, 179, 180, 181, 182, 185, 186, 190, 191, 192, 193, 194, 195, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 217, 218, 219, 220, 221, 222, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 244, 245, 246, 247, 248, 249, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 271, 272, 273, 274, 275, 276, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 298, 299, 300, 301, 302, 303, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 325, 326, 327, 328, 329, 330, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 352, 354, 355, 356, 358, 359, 360, 361, 362, 363, 365, 367, 368, 369, 370, 371, 374, 375, 379, 380, 381, 384, 385, 386, 387, 388, 389, 390, 391, 393, 396, 397, 399, 400, 401, 402, 406, 408, 409, 410, 412, 413, 414, 415, 416, 417, 419, 421, 422, 423, 424, 425, 428, 429, 433, 434, 435, 438, 439, 440, 441, 442, 443, 444, 445, 447, 450, 451, 453, 454, 455, 456, 460, 461, 462, 465, 466, 467, 468, 469, 470, 471, 472, 474, 477, 478, 480, 481, 482, 483, 488, 490, 491, 492, 493, 494, 495, 496, 497, 498, 499, 500, 501, 502, 503, 506, 507, 508, 515, 517, 518, 519, 520, 521, 522, 523, 524, 525, 526, 527, 528, 529, 530, 533, 534, 535, 541, 542, 543, 546, 547, 548, 549, 550, 551, 552, 553, 555, 558, 559, 561, 562, 563, 564, 568, 570, 571, 572, 574, 575, 576, 577, 578, 579, 581, 583, 584, 585, 586, 587, 590, 591, 595, 597, 598, 599, 601, 602, 603, 604, 605, 606, 608, 610, 611, 612, 613, 614, 617, 618, 623, 625, 626, 627, 628, 629, 630, 631, 632, 633, 634, 635, 636, 637, 638, 641, 642, 643, 650, 652, 653, 654, 655, 656, 657, 658, 659, 660, 661, 662, 663, 664, 665, 668, 669, 670, 729 ] ), 19 := rec( phi := [ 1, 28, 3, 81, 40, 42, 7, 96, 83, 49, 94, 33, 48, 14, 102, 16, 103, 87, 52, 53, 729, 22, 23, 106, 107, 26, 27 ], autos_yielding_iso_nrs := [ 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 47, 48, 49, 55, 57, 58, 59, 61, 62, 63, 64, 65, 66, 68, 70, 71, 72, 73, 74, 77, 78, 83, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 101, 102, 103, 109, 110, 111, 114, 115, 116, 117, 118, 119, 120, 121, 123, 126, 127, 129, 130, 131, 132, 136, 137, 138, 141, 142, 143, 144, 145, 146, 147, 148, 150, 153, 154, 156, 157, 158, 159, 163, 165, 166, 167, 169, 170, 171, 172, 173, 174, 176, 178, 179, 180, 181, 182, 185, 186, 190, 191, 192, 193, 194, 195, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 217, 218, 219, 220, 221, 222, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 244, 245, 246, 247, 248, 249, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 271, 272, 273, 274, 275, 276, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 298, 299, 300, 301, 302, 303, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 325, 326, 327, 328, 329, 330, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 352, 354, 355, 356, 358, 359, 360, 361, 362, 363, 365, 367, 368, 369, 370, 371, 374, 375, 379, 380, 381, 384, 385, 386, 387, 388, 389, 390, 391, 393, 396, 397, 399, 400, 401, 402, 406, 408, 409, 410, 412, 413, 414, 415, 416, 417, 419, 421, 422, 423, 424, 425, 428, 429, 433, 434, 435, 438, 439, 440, 441, 442, 443, 444, 445, 447, 450, 451, 453, 454, 455, 456, 460, 461, 462, 465, 466, 467, 468, 469, 470, 471, 472, 474, 477, 478, 480, 481, 482, 483, 488, 490, 491, 492, 493, 494, 495, 496, 497, 498, 499, 500, 501, 502, 503, 506, 507, 508, 515, 517, 518, 519, 520, 521, 522, 523, 524, 525, 526, 527, 528, 529, 530, 533, 534, 535, 541, 542, 543, 546, 547, 548, 549, 550, 551, 552, 553, 555, 558, 559, 561, 562, 563, 564, 568, 570, 571, 572, 574, 575, 576, 577, 578, 579, 581, 583, 584, 585, 586, 587, 590, 591, 595, 597, 598, 599, 601, 602, 603, 604, 605, 606, 608, 610, 611, 612, 613, 614, 617, 618, 623, 625, 626, 627, 628, 629, 630, 631, 632, 633, 634, 635, 636, 637, 638, 641, 642, 643, 650, 652, 653, 654, 655, 656, 657, 658, 659, 660, 661, 662, 663, 664, 665, 668, 669, 670, 729 ] ), 20 := rec( phi := [ 1, 28, 3, 81, 40, 42, 7, 96, 83, 49, 94, 33, 48, 14, 102, 16, 103, 87, 486, 513, 729, 22, 23, 621, 648, 26, 27 ], autos_yielding_iso_nrs := [ 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 47, 48, 49, 55, 57, 58, 59, 61, 62, 63, 64, 65, 66, 68, 70, 71, 72, 73, 74, 77, 78, 83, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 101, 102, 103, 109, 110, 111, 114, 115, 116, 117, 118, 119, 120, 121, 123, 126, 127, 129, 130, 131, 132, 136, 137, 138, 141, 142, 143, 144, 145, 146, 147, 148, 150, 153, 154, 156, 157, 158, 159, 163, 165, 166, 167, 169, 170, 171, 172, 173, 174, 176, 178, 179, 180, 181, 182, 185, 186, 190, 191, 192, 193, 194, 195, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 217, 218, 219, 220, 221, 222, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 244, 245, 246, 247, 248, 249, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 271, 272, 273, 274, 275, 276, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 298, 299, 300, 301, 302, 303, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 325, 326, 327, 328, 329, 330, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 352, 354, 355, 356, 358, 359, 360, 361, 362, 363, 365, 367, 368, 369, 370, 371, 374, 375, 379, 380, 381, 384, 385, 386, 387, 388, 389, 390, 391, 393, 396, 397, 399, 400, 401, 402, 406, 408, 409, 410, 412, 413, 414, 415, 416, 417, 419, 421, 422, 423, 424, 425, 428, 429, 433, 434, 435, 438, 439, 440, 441, 442, 443, 444, 445, 447, 450, 451, 453, 454, 455, 456, 460, 461, 462, 465, 466, 467, 468, 469, 470, 471, 472, 474, 477, 478, 480, 481, 482, 483, 488, 490, 491, 492, 493, 494, 495, 496, 497, 498, 499, 500, 501, 502, 503, 506, 507, 508, 515, 517, 518, 519, 520, 521, 522, 523, 524, 525, 526, 527, 528, 529, 530, 533, 534, 535, 541, 542, 543, 546, 547, 548, 549, 550, 551, 552, 553, 555, 558, 559, 561, 562, 563, 564, 568, 570, 571, 572, 574, 575, 576, 577, 578, 579, 581, 583, 584, 585, 586, 587, 590, 591, 595, 597, 598, 599, 601, 602, 603, 604, 605, 606, 608, 610, 611, 612, 613, 614, 617, 618, 623, 625, 626, 627, 628, 629, 630, 631, 632, 633, 634, 635, 636, 637, 638, 641, 642, 643, 650, 652, 653, 654, 655, 656, 657, 658, 659, 660, 661, 662, 663, 664, 665, 668, 669, 670, 729 ] ), 21 := rec( phi := [ 1, 28, 3, 81, 40, 42, 7, 96, 83, 49, 94, 33, 48, 14, 102, 16, 103, 87, 486, 513, 729, 22, 23, 621, 648, 675, 702 ], autos_yielding_iso_nrs := [ 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 47, 48, 49, 55, 57, 58, 59, 61, 62, 63, 64, 65, 66, 68, 70, 71, 72, 73, 74, 77, 78, 83, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 101, 102, 103, 109, 110, 111, 114, 115, 116, 117, 118, 119, 120, 121, 123, 126, 127, 129, 130, 131, 132, 136, 137, 138, 141, 142, 143, 144, 145, 146, 147, 148, 150, 153, 154, 156, 157, 158, 159, 163, 165, 166, 167, 169, 170, 171, 172, 173, 174, 176, 178, 179, 180, 181, 182, 185, 186, 190, 191, 192, 193, 194, 195, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 217, 218, 219, 220, 221, 222, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 244, 245, 246, 247, 248, 249, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 271, 272, 273, 274, 275, 276, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 298, 299, 300, 301, 302, 303, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 325, 326, 327, 328, 329, 330, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 352, 354, 355, 356, 358, 359, 360, 361, 362, 363, 365, 367, 368, 369, 370, 371, 374, 375, 379, 380, 381, 384, 385, 386, 387, 388, 389, 390, 391, 393, 396, 397, 399, 400, 401, 402, 406, 408, 409, 410, 412, 413, 414, 415, 416, 417, 419, 421, 422, 423, 424, 425, 428, 429, 433, 434, 435, 438, 439, 440, 441, 442, 443, 444, 445, 447, 450, 451, 453, 454, 455, 456, 460, 461, 462, 465, 466, 467, 468, 469, 470, 471, 472, 474, 477, 478, 480, 481, 482, 483, 488, 490, 491, 492, 493, 494, 495, 496, 497, 498, 499, 500, 501, 502, 503, 506, 507, 508, 515, 517, 518, 519, 520, 521, 522, 523, 524, 525, 526, 527, 528, 529, 530, 533, 534, 535, 541, 542, 543, 546, 547, 548, 549, 550, 551, 552, 553, 555, 558, 559, 561, 562, 563, 564, 568, 570, 571, 572, 574, 575, 576, 577, 578, 579, 581, 583, 584, 585, 586, 587, 590, 591, 595, 597, 598, 599, 601, 602, 603, 604, 605, 606, 608, 610, 611, 612, 613, 614, 617, 618, 623, 625, 626, 627, 628, 629, 630, 631, 632, 633, 634, 635, 636, 637, 638, 641, 642, 643, 650, 652, 653, 654, 655, 656, 657, 658, 659, 660, 661, 662, 663, 664, 665, 668, 669, 670, 729 ] ), 22 := rec( phi := [ 3, 83, 164, 729, 434, 380, 56, 326, 299, 272, 245, 218, 191, 596, 137, 569, 110, 542, 650, 623, 461, 407, 353, 515, 488, 704, 677 ], autos_yielding_iso_nrs := [ 31, 32, 34, 35, 36, 40, 42, 44, 55, 58, 59, 61, 62, 63, 71, 72, 73, 83, 85, 86, 88, 89, 90, 94, 96, 98, 109, 110, 115, 116, 117, 121, 123, 126, 127, 136, 137, 142, 143, 144, 148, 150, 153, 154, 163, 166, 167, 169, 170, 171, 179, 180, 181, 190, 191, 193, 194, 202, 204, 206, 207, 208, 217, 218, 220, 221, 229, 231, 233, 234, 235, 244, 245, 247, 248, 256, 258, 260, 261, 262, 271, 272, 274, 275, 283, 285, 287, 288, 289, 298, 299, 301, 302, 310, 312, 314, 315, 316, 325, 326, 328, 329, 337, 339, 341, 342, 343, 352, 355, 356, 358, 359, 360, 368, 369, 370, 379, 380, 385, 386, 387, 391, 393, 396, 397, 406, 409, 410, 412, 413, 414, 422, 423, 424, 433, 434, 439, 440, 441, 445, 447, 450, 451, 460, 461, 466, 467, 468, 472, 474, 477, 478, 488, 490, 491, 493, 494, 495, 499, 501, 503, 515, 517, 518, 520, 521, 522, 526, 528, 530, 541, 542, 547, 548, 549, 553, 555, 558, 559, 568, 571, 572, 574, 575, 576, 584, 585, 586, 595, 598, 599, 601, 602, 603, 611, 612, 613, 623, 625, 626, 628, 629, 630, 634, 636, 638, 650, 652, 653, 655, 656, 657, 661, 663, 665, 729 ] ) ) ); [Dauer der Verarbeitung: 0.34 Sekunden, vorverarbeitet 2026-04-26] |
2026-05-26