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