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