能转移到必败态的状态就是必胜态，只能转移到必胜态的状态就是必败态。反过来看，假设win[0][1]=win[1][1]=0,若当前为v，位置为now：（1）若win[v][now]=0,则win[v^1] [now-s[v^1][x]]=1 （2）若win[v][now]=1,则需要记录cnt[v^1] [now-s[v^1][x]] 是否等于k[v^1]，也就是说要判断是否满足第二个条件
判断是否loop，若vis[v][now]==0，则loop
#include <iostream>
#include <stdio.h>
#include <string.h>
#include <stack>
#include <queue>
#include <map>
#include <set>
#include <vector>
#include <math.h>
#include <bitset>
#include <algorithm>
#include <climits>
using namespace std;
#define ll long long
// #define int long long
const int N=1e6+10;
int n,k[2],dp[2][N],s[2][N],cnt[2][N];
int win[2][N],vis[2][N];
void dfs(int v,int now){
int u=v^1;
if(vis[v][now]) return ;
vis[v][now]=1;
for(int i=1;i<=k[u];i++){
int to=(now-s[u][i]+n-1)%n+1;
if(to==1) continue;
if(win[v][now]==0){
win[u][to]=1;
dfs(u,to);
}else if(++cnt[u][to]==k[u]){
win[u][to]=0;
dfs(u,to);
}
}
}
int main(){
scanf("%d",&n);
for(int i=0;i<2;i++){scanf("%d",&k[i]);for(int j=1;j<=k[i];j++) scanf("%d",&s[i][j]);}
dfs(0,1);dfs(1,1);
for(int i=0;i<2;i++){
for(int j=2;j<=n;j++){
cout<<(vis[i][j]?win[i][j]?"Win":"Lose":"Loop")<<" ";
}cout<<endl;
}
}
