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