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