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