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