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