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