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