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