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