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