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