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