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