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