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