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