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