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