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