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