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