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