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