#include <bits/stdc++.h>
#define f first
#define s second
using namespace std;
int h[505];
pair<int,int> mas[505];
int main()
{
    int n,k,ans=0;
    cin>>n>>k;
    if(k%2==0 && n%2==1){
        cout<<-1<<endl;
        return 0;
    }
    int q=(n+k-1)/k;
    for(int i=0; i<1000; i++){
        if((k*q-n)%2==1) q++;
        while((q-1+q%2)*n<k*q) q++;
    }
    int a=k*q;
    for(int i=0; i<n; i++){
        if(a>(q-1+q%2)+n-i-1){
            h[i]=(q-1+q%2);
            a-=(q-1+q%2);
        }else{
            h[i]=a-(n-i-1);
            a=n-i-1;
        }
        //cout<<h[i]<<" ";
    }
    for(int i=0; i<q; i++){
        cout<<"? ";
        for(int j=0; j<n; j++){
            mas[j]={h[j],j};
        }
        sort(mas,mas+n);
        reverse(mas,mas+n);
        for(int j=0; j<k; j++){
            cout<<mas[j].s+1<<" ";
            h[mas[j].s]--;
        }
        cout<<endl;
        int a;
        cin>>a;
        ans^=a;
    }
    cout<<"! "<<ans<<endl;
}