[[Vecsmall([106, 122, 107, 25, 12, 94, 127, 9, 8, 48, 55, 5, 15, 16, 13, 14, 43, 110, 111, 67, 68, 126, 128, 54, 4, 57, 36, 29, 28, 34, 69, 33, 32, 30, 123, 27, 53, 46, 71, 88, 89, 49, 17, 73, 59, 38, 51, 10, 42, 52, 47, 50, 37, 24, 11, 85, 26, 90, 45, 98, 108, 109, 64, 63, 66, 65, 20, 21, 31, 84, 39, 103, 44, 118, 105, 92, 79, 82, 77, 87, 119, 78, 91, 70, 56, 112, 80, 40, 41, 58, 83, 76, 102, 6, 99, 97, 96, 60, 95, 101, 100, 93, 72, 125, 75, 1, 3, 61, 62, 18, 19, 86, 115, 116, 113, 114, 124, 74, 81, 121, 120, 2, 35, 117, 104, 22, 7, 23]), Vecsmall([57, 87, 73, 17, 76, 48, 49, 78, 82, 94, 20, 92, 63, 28, 64, 29, 4, 108, 68, 11, 111, 85, 103, 39, 43, 106, 45, 14, 16, 38, 40, 50, 52, 46, 119, 59, 117, 30, 24, 31, 60, 127, 25, 107, 27, 34, 120, 6, 7, 32, 121, 33, 124, 71, 67, 126, 1, 75, 36, 41, 110, 74, 13, 15, 114, 116, 55, 19, 88, 93, 54, 128, 3, 62, 58, 5, 96, 8, 97, 122, 123, 9, 95, 102, 22, 104, 2, 69, 98, 105, 99, 12, 70, 10, 83, 77, 79, 89, 91, 113, 115, 84, 23, 86, 90, 26, 44, 18, 118, 61, 21, 125, 100, 65, 101, 66, 37, 109, 35, 47, 51, 80, 81, 53, 112, 56, 42, 72]), Vecsmall([112, 98, 39, 57, 52, 30, 69, 45, 59, 46, 114, 50, 55, 18, 11, 110, 1, 115, 16, 65, 28, 58, 43, 56, 26, 104, 51, 108, 61, 123, 2, 37, 53, 35, 95, 47, 97, 81, 126, 87, 49, 40, 106, 54, 121, 119, 93, 38, 88, 117, 102, 124, 96, 85, 116, 105, 125, 107, 120, 7, 100, 63, 67, 20, 109, 62, 66, 29, 122, 9, 22, 4, 24, 13, 44, 33, 5, 27, 12, 41, 91, 36, 10, 8, 75, 23, 89, 80, 42, 3, 48, 32, 82, 34, 94, 76, 92, 127, 6, 68, 21, 78, 25, 103, 73, 86, 71, 101, 64, 113, 14, 128, 19, 118, 111, 74, 79, 15, 83, 70, 84, 60, 99, 77, 72, 90, 31, 17]), Vecsmall([64, 53, 61, 55, 87, 78, 92, 81, 119, 9, 104, 80, 103, 105, 72, 75, 67, 85, 73, 86, 107, 21, 66, 14, 11, 13, 34, 90, 58, 93, 97, 31, 69, 102, 47, 30, 7, 70, 28, 79, 52, 5, 20, 18, 46, 84, 94, 8, 12, 40, 6, 88, 127, 16, 125, 19, 15, 100, 38, 33, 126, 17, 23, 128, 1, 106, 112, 3, 96, 91, 29, 114, 110, 4, 113, 2, 41, 123, 89, 117, 121, 35, 45, 83, 111, 109, 124, 77, 50, 101, 59, 122, 99, 82, 27, 60, 98, 32, 36, 71, 39, 95, 116, 118, 115, 63, 108, 22, 43, 56, 44, 62, 54, 57, 24, 26, 49, 25, 120, 10, 48, 37, 51, 42, 74, 68, 76, 65]), Vecsmall([119, 126, 49, 38, 18, 128, 107, 116, 114, 103, 70, 110, 47, 77, 51, 79, 30, 92, 53, 93, 117, 87, 48, 40, 46, 123, 118, 96, 97, 25, 54, 115, 113, 4, 106, 74, 68, 43, 31, 71, 90, 73, 34, 127, 109, 17, 64, 72, 44, 101, 63, 100, 21, 88, 84, 122, 35, 60, 62, 105, 5, 27, 120, 121, 8, 9, 102, 124, 24, 67, 69, 94, 7, 45, 41, 108, 29, 66, 28, 85, 57, 65, 112, 20, 2, 95, 56, 39, 58, 98, 86, 61, 55, 23, 125, 16, 14, 75, 104, 32, 33, 11, 6, 83, 89, 81, 42, 12, 36, 76, 37, 99, 50, 78, 52, 82, 19, 59, 26, 15, 13, 22, 1, 111, 91, 80, 3, 10]), Vecsmall([88, 104, 91, 122, 55, 24, 4, 16, 14, 71, 117, 11, 77, 120, 79, 121, 80, 59, 84, 37, 93, 46, 89, 123, 2, 31, 68, 47, 51, 73, 103, 64, 63, 44, 75, 21, 109, 3, 81, 23, 1, 43, 87, 95, 19, 107, 101, 39, 17, 15, 100, 13, 62, 35, 124, 30, 69, 10, 111, 57, 27, 76, 96, 97, 32, 33, 53, 102, 72, 18, 119, 60, 99, 5, 94, 67, 116, 29, 114, 112, 90, 28, 22, 110, 34, 42, 86, 128, 106, 48, 126, 20, 108, 54, 85, 66, 65, 26, 56, 78, 82, 61, 98, 127, 6, 40, 83, 36, 92, 45, 70, 49, 8, 50, 9, 52, 118, 12, 58, 115, 113, 125, 105, 74, 7, 38, 25, 41])], Vecsmall([2, 2, 4, 2, 2, 2])]
