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