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