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