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