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