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