summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat
-rw-r--r--10004/bicolor.cpp67
-rw-r--r--10004/bicolor.in3913
2 files changed, 3980 insertions, 0 deletions
diff --git a/10004/bicolor.cpp b/10004/bicolor.cpp
new file mode 100644
index 0000000..3d2e404
--- /dev/null
+++ b/10004/bicolor.cpp
@@ -0,0 +1,67 @@
+#include <iostream>
+using namespace std;
+
+/*
+
+for any nodes a, b
+ if there exists c such that
+ c in a.PI AND c in b.PI:
+ NOT bicolorable
+
+for b in a.PI:
+ for j in b.PI:
+ if j in a.PI:
+ return false
+
+ABOVE ALGORITHM DOESNT WORK
+cycles can consist of >=3 nodes (not bc when odd)
+ */
+bool findbc(int n, int adj[][200]);
+
+int main(){
+ int n, e;
+
+ cin>>n;
+ while(n){
+ int adj[200][200]={0}, a, b;
+ cin>>e;
+
+ for(int i=0; i<e; i++){
+ cin>>a>>b;
+ adj[a][b]=1;
+ adj[b][a]=1;
+ }
+
+ bool bc = findbc(n, adj);
+
+ if(!bc) cout<<"NOT BICOLORABLE.\n";
+ else cout<<"BICOLORABLE.\n";
+
+ cin>>n;
+ };
+}
+
+bool findbc(int n, int adj[][200]){
+ int clist[200]={0};
+ clist[0]=1;
+ for(int i=0; i<n; i++)
+ for(int j=0; j<n; j++)
+ if(adj[i][j]==1)
+ if(clist[j]==0 && clist[i]>0)
+ clist[j]=clist[i]==1 ? 2:1;
+ else if(clist[i]==0 && clist[j]>0)
+ clist[i]=clist[j]==1 ? 2:1;
+ for(int i=0; i<n; i++)
+ for(int j=0; j<n; j++)
+ if(adj[i][j]==1)
+ if(clist[j]==0 && clist[i]>0)
+ clist[j]=clist[i]==1 ? 2:1;
+ else if(clist[i]==0 && clist[j]>0)
+ clist[i]=clist[j]==1 ? 2:1;
+ for(int i=0; i<n; i++)
+ for(int j=0; j<n; j++)
+ if(adj[i][j]==1 && clist[i]==clist[j])
+ return false;
+
+ return true;
+}
diff --git a/10004/bicolor.in b/10004/bicolor.in
new file mode 100644
index 0000000..751280b
--- /dev/null
+++ b/10004/bicolor.in
@@ -0,0 +1,3913 @@
+10
+31
+0 1
+0 3
+0 4
+0 5
+0 6
+0 7
+0 8
+0 9
+1 2
+1 3
+1 4
+1 5
+1 6
+1 7
+1 8
+1 9
+2 3
+2 4
+2 5
+2 8
+2 9
+3 4
+3 9
+4 5
+4 6
+4 7
+5 6
+5 7
+5 8
+6 8
+6 9
+11
+29
+0 1
+0 4
+0 9
+1 2
+1 5
+1 8
+2 3
+2 6
+2 7
+2 9
+2 10
+3 4
+3 5
+3 6
+3 7
+3 8
+3 10
+4 7
+4 8
+4 10
+5 6
+5 7
+5 8
+5 9
+5 10
+6 9
+7 9
+8 10
+9 10
+5
+7
+0 1
+0 2
+0 3
+0 4
+1 2
+1 3
+3 4
+9
+26
+0 1
+0 2
+0 3
+0 4
+0 6
+1 2
+1 3
+1 4
+1 5
+1 7
+1 8
+2 4
+2 5
+2 6
+2 8
+3 4
+3 6
+3 7
+3 8
+4 5
+4 6
+4 7
+5 8
+6 7
+6 8
+7 8
+15
+58
+0 1
+0 2
+0 3
+0 4
+0 5
+0 6
+0 7
+0 9
+0 10
+0 14
+1 2
+1 4
+1 6
+1 8
+1 9
+1 10
+1 11
+1 12
+1 14
+2 3
+2 4
+2 5
+2 8
+2 9
+2 10
+2 12
+3 5
+3 7
+3 8
+3 11
+3 12
+4 8
+4 9
+4 10
+4 13
+5 6
+5 7
+5 11
+5 13
+6 7
+6 9
+6 10
+6 11
+6 12
+6 13
+6 14
+7 8
+7 11
+7 13
+7 14
+8 10
+8 13
+8 14
+9 13
+10 11
+12 13
+12 14
+13 14
+4
+5
+0 1
+0 3
+1 2
+1 3
+2 3
+13
+57
+0 1
+0 2
+0 3
+0 4
+0 5
+0 7
+0 8
+0 9
+0 10
+0 11
+1 2
+1 3
+1 4
+1 5
+1 6
+1 7
+1 9
+1 11
+1 12
+2 3
+2 8
+2 9
+2 11
+2 12
+3 4
+3 5
+3 9
+3 10
+3 11
+4 7
+4 8
+4 10
+4 11
+5 6
+5 7
+5 8
+5 9
+5 10
+5 11
+5 12
+6 7
+6 8
+6 9
+6 10
+7 9
+7 10
+7 12
+8 9
+8 10
+8 11
+8 12
+9 10
+9 11
+9 12
+10 11
+10 12
+11 12
+14
+46
+0 1
+0 2
+0 6
+0 8
+0 9
+0 13
+1 2
+1 3
+1 4
+1 6
+1 8
+1 9
+1 10
+2 3
+2 4
+2 5
+2 8
+2 12
+3 5
+3 7
+3 8
+3 10
+3 11
+4 5
+4 7
+4 9
+4 10
+4 11
+4 13
+5 6
+5 9
+5 12
+5 13
+6 7
+6 9
+6 10
+6 12
+6 13
+7 8
+7 9
+9 10
+9 11
+9 12
+9 13
+10 11
+10 12
+6
+11
+0 1
+0 2
+0 3
+1 2
+1 4
+2 3
+2 4
+2 5
+3 4
+3 5
+4 5
+12
+33
+0 1
+0 2
+0 4
+0 5
+0 6
+0 7
+0 9
+0 10
+1 3
+1 10
+2 3
+2 5
+2 6
+2 8
+2 9
+2 10
+2 11
+3 4
+3 5
+3 7
+3 11
+4 6
+4 8
+4 10
+5 9
+5 11
+6 7
+6 11
+7 10
+7 11
+8 9
+9 10
+10 11
+1
+0
+6
+9
+0 1
+0 4
+0 5
+1 2
+1 3
+1 4
+2 3
+2 5
+3 5
+4
+3
+0 1
+1 2
+2 3
+15
+60
+0 1
+0 2
+0 3
+0 5
+0 6
+0 10
+0 11
+0 13
+1 3
+1 4
+1 8
+1 9
+1 10
+1 11
+1 13
+1 14
+2 3
+2 5
+2 7
+2 9
+2 11
+3 6
+3 8
+3 9
+3 10
+3 11
+3 13
+3 14
+4 7
+4 8
+4 10
+4 12
+5 6
+5 9
+5 10
+5 11
+5 14
+6 9
+6 10
+6 11
+6 12
+7 8
+7 10
+7 11
+7 12
+7 13
+7 14
+8 10
+8 13
+8 14
+9 12
+9 13
+9 14
+10 11
+10 13
+10 14
+11 12
+11 14
+12 13
+12 14
+18
+84
+0 1
+0 3
+0 5
+0 7
+0 8
+0 14
+0 15
+1 2
+1 3
+1 4
+1 7
+1 8
+1 9
+1 10
+1 11
+1 13
+1 15
+2 3
+2 5
+2 6
+2 9
+2 11
+2 12
+2 15
+2 16
+3 6
+3 9
+3 13
+3 15
+3 16
+3 17
+4 5
+4 8
+4 9
+4 11
+4 13
+4 15
+4 16
+4 17
+5 6
+5 10
+5 13
+5 15
+5 16
+6 7
+6 10
+6 11
+6 12
+6 13
+6 14
+6 16
+6 17
+7 9
+7 10
+7 12
+7 14
+7 16
+7 17
+8 10
+8 11
+8 13
+8 15
+8 16
+8 17
+9 10
+9 11
+9 12
+9 15
+9 17
+10 14
+10 15
+10 16
+11 12
+11 13
+11 16
+12 13
+12 15
+13 14
+13 15
+13 16
+14 16
+14 17
+15 17
+16 17
+16
+71
+0 1
+0 2
+0 6
+0 7
+0 10
+0 12
+0 13
+0 14
+1 2
+1 3
+1 5
+1 9
+1 12
+1 13
+1 15
+2 3
+2 4
+2 5
+2 6
+2 7
+2 8
+2 9
+2 10
+2 11
+2 12
+2 13
+2 14
+3 4
+3 6
+3 7
+3 10
+4 6
+4 7
+4 8
+4 9
+4 10
+4 11
+5 6
+5 7
+5 8
+5 9
+5 10
+5 12
+5 13
+5 14
+5 15
+6 8
+6 10
+6 13
+7 8
+7 9
+7 10
+7 11
+7 13
+7 14
+7 15
+8 9
+8 10
+8 12
+8 13
+8 14
+9 10
+9 14
+10 11
+10 13
+10 14
+10 15
+11 12
+11 13
+13 14
+13 15
+1
+0
+4
+5
+0 1
+0 2
+0 3
+1 2
+1 3
+18
+87
+0 1
+0 2
+0 5
+0 6
+0 8
+0 13
+0 16
+0 17
+1 2
+1 3
+1 4
+1 6
+1 7
+1 8
+1 9
+1 10
+1 11
+1 13
+1 14
+1 15
+2 3
+2 11
+2 14
+2 16
+3 8
+3 9
+3 10
+3 12
+3 16
+3 17
+4 5
+4 8
+4 11
+4 15
+5 6
+5 7
+5 8
+5 9
+5 10
+5 12
+5 13
+5 14
+5 16
+5 17
+6 7
+6 8
+6 9
+6 10
+6 11
+6 13
+6 14
+6 16
+6 17
+7 10
+7 11
+7 13
+7 17
+8 9
+8 10
+8 13
+8 14
+8 15
+8 16
+8 17
+9 11
+9 13
+9 15
+9 16
+10 12
+10 13
+10 14
+10 15
+10 17
+11 12
+11 15
+11 16
+12 13
+12 14
+12 15
+12 16
+12 17
+13 15
+13 16
+14 17
+15 16
+15 17
+16 17
+1
+0
+4
+6
+0 1
+0 2
+0 3
+1 2
+1 3
+2 3
+9
+25
+0 1
+0 2
+0 4
+0 6
+0 7
+0 8
+1 3
+1 4
+1 5
+1 6
+1 7
+1 8
+2 3
+2 8
+3 4
+3 5
+3 6
+3 7
+4 7
+4 8
+5 7
+5 8
+6 7
+6 8
+7 8
+13
+35
+0 1
+0 2
+0 3
+0 4
+0 5
+0 7
+0 9
+0 12
+1 5
+1 6
+1 7
+1 11
+2 5
+2 6
+2 7
+2 8
+3 5
+3 6
+3 7
+3 10
+4 6
+4 10
+4 12
+5 6
+5 9
+5 10
+5 12
+6 10
+6 11
+6 12
+7 8
+7 10
+7 12
+9 12
+10 11
+18
+98
+0 1
+0 3
+0 5
+0 6
+0 7
+0 10
+0 12
+0 14
+0 16
+1 2
+1 3
+1 4
+1 5
+1 6
+1 8
+1 9
+1 11
+1 14
+1 15
+1 17
+2 3
+2 5
+2 6
+2 7
+2 8
+2 9
+2 10
+2 11
+2 13
+2 14
+2 15
+3 4
+3 5
+3 6
+3 7
+3 8
+3 9
+3 12
+3 13
+3 14
+3 15
+4 5
+4 6
+4 7
+4 11
+4 13
+4 15
+4 17
+5 6
+5 7
+5 8
+5 9
+5 11
+5 13
+5 15
+5 16
+6 7
+6 9
+6 10
+6 13
+6 14
+6 15
+6 16
+7 8
+7 12
+7 13
+7 17
+8 10
+8 12
+8 13
+8 14
+8 15
+8 17
+9 10
+9 12
+9 13
+9 16
+9 17
+10 11
+10 12
+10 14
+10 15
+10 17
+11 12
+11 13
+11 14
+11 15
+11 17
+12 13
+12 15
+12 16
+12 17
+13 15
+13 17
+14 16
+14 17
+15 16
+16 17
+19
+100
+0 1
+0 2
+0 3
+0 5
+0 6
+0 7
+0 8
+0 9
+0 11
+0 12
+0 14
+0 15
+0 16
+0 17
+1 2
+1 4
+1 7
+1 9
+1 10
+1 11
+1 14
+1 15
+1 16
+1 17
+1 18
+2 3
+2 6
+2 7
+2 8
+2 9
+2 10
+2 11
+2 12
+2 14
+2 18
+3 4
+3 6
+3 8
+3 9
+3 10
+3 14
+3 16
+3 18
+4 5
+4 6
+4 10
+4 11
+4 12
+4 14
+4 15
+4 16
+4 17
+5 8
+5 10
+5 12
+5 13
+5 14
+5 15
+5 17
+5 18
+6 8
+6 9
+6 10
+6 13
+6 15
+7 9
+7 10
+7 12
+7 15
+7 16
+8 9
+8 11
+8 12
+8 13
+8 14
+8 15
+8 17
+8 18
+9 11
+9 12
+9 13
+9 16
+9 17
+10 12
+10 13
+10 15
+10 18
+11 12
+11 13
+11 15
+11 16
+11 18
+12 14
+13 16
+13 17
+14 15
+14 16
+15 16
+16 17
+17 18
+12
+42
+0 1
+0 2
+0 5
+0 6
+0 7
+0 8
+0 9
+0 11
+1 2
+1 3
+1 4
+1 5
+1 6
+1 9
+1 10
+1 11
+2 3
+2 4
+2 6
+2 9
+2 10
+2 11
+3 9
+3 10
+3 11
+4 8
+4 9
+5 7
+5 8
+5 9
+5 11
+6 7
+6 8
+6 9
+6 11
+7 8
+7 9
+7 10
+7 11
+8 10
+8 11
+10 11
+18
+79
+0 1
+0 2
+0 5
+0 6
+0 7
+0 8
+0 12
+0 13
+0 15
+1 2
+1 3
+1 4
+1 11
+1 12
+1 14
+1 16
+1 17
+2 3
+2 4
+2 5
+2 8
+2 9
+2 12
+2 14
+2 17
+3 4
+3 6
+3 9
+3 14
+3 16
+4 5
+4 9
+4 12
+4 14
+4 15
+4 17
+5 7
+5 8
+5 11
+5 12
+5 14
+6 9
+6 10
+6 11
+6 12
+6 16
+6 17
+7 9
+7 11
+7 13
+7 14
+7 15
+7 17
+8 9
+8 10
+8 11
+8 13
+8 14
+8 16
+9 13
+9 14
+9 16
+9 17
+10 12
+10 13
+10 14
+10 15
+10 17
+11 15
+12 13
+12 14
+12 15
+12 17
+13 14
+13 16
+13 17
+14 16
+14 17
+15 17
+18
+92
+0 1
+0 2
+0 3
+0 4
+0 6
+0 10
+0 12
+0 13
+0 14
+0 15
+0 16
+0 17
+1 3
+1 4
+1 6
+1 7
+1 8
+1 9
+1 14
+1 15
+1 17
+2 3
+2 4
+2 5
+2 6
+2 8
+2 9
+2 10
+2 13
+2 14
+2 15
+3 4
+3 5
+3 6
+3 7
+3 9
+3 10
+3 11
+3 12
+3 13
+3 14
+3 15
+3 17
+4 5
+4 7
+4 8
+4 9
+4 11
+4 12
+4 13
+4 15
+4 16
+4 17
+5 8
+5 10
+5 13
+5 15
+6 8
+6 9
+6 11
+6 13
+6 14
+6 17
+7 9
+7 12
+7 13
+7 14
+7 15
+7 16
+8 9
+8 10
+8 11
+8 12
+8 13
+8 16
+9 11
+9 12
+9 13
+9 14
+9 15
+10 11
+10 13
+10 14
+10 17
+11 17
+12 14
+12 15
+12 16
+13 14
+13 17
+14 15
+16 17
+9
+18
+0 1
+0 3
+0 6
+0 7
+0 8
+1 2
+1 3
+1 4
+2 3
+2 4
+2 7
+2 8
+3 4
+3 5
+3 6
+4 5
+4 8
+6 7
+11
+36
+0 1
+0 2
+0 3
+0 4
+0 5
+0 7
+0 9
+0 10
+1 2
+1 3
+1 4
+1 5
+1 7
+1 8
+1 9
+1 10
+2 3
+2 5
+2 7
+2 8
+2 9
+2 10
+3 4
+3 6
+3 8
+4 6
+4 8
+5 7
+5 8
+6 7
+6 8
+6 10
+7 9
+7 10
+8 9
+8 10
+6
+13
+0 1
+0 2
+0 3
+0 4
+0 5
+1 2
+1 3
+1 4
+1 5
+2 3
+2 4
+3 4
+3 5
+3
+2
+0 1
+1 2
+1
+0
+3
+3
+0 1
+0 2
+1 2
+19
+92
+0 1
+0 2
+0 3
+0 4
+0 5
+0 7
+0 11
+0 13
+0 15
+0 17
+0 18
+1 3
+1 4
+1 5
+1 7
+1 10
+1 11
+1 12
+1 14
+1 16
+1 18
+2 6
+2 8
+2 9
+2 13
+2 15
+2 16
+3 4
+3 6
+3 9
+3 10
+3 11
+3 12
+3 14
+3 15
+3 16
+3 17
+4 5
+4 7
+4 8
+4 11
+4 12
+4 14
+4 15
+5 6
+5 7
+5 8
+5 9
+5 12
+5 13
+5 14
+5 18
+6 7
+6 8
+6 9
+6 12
+6 13
+6 14
+6 15
+6 16
+6 17
+7 8
+7 10
+7 11
+7 12
+7 16
+7 17
+8 9
+8 11
+8 12
+8 13
+8 15
+8 17
+9 10
+9 11
+9 17
+9 18
+10 13
+11 13
+11 16
+12 14
+12 18
+13 15
+13 16
+13 17
+14 15
+14 16
+14 17
+14 18
+15 18
+16 17
+17 18
+20
+107
+0 1
+0 2
+0 3
+0 5
+0 6
+0 9
+0 10
+0 11
+0 12
+0 13
+0 14
+0 15
+0 16
+0 17
+0 18
+0 19
+1 2
+1 3
+1 5
+1 6
+1 7
+1 8
+1 9
+1 10
+1 11
+1 12
+1 13
+1 15
+2 5
+2 6
+2 8
+2 9
+2 10
+2 11
+2 12
+3 4
+3 5
+3 6
+3 7
+3 11
+3 14
+3 17
+4 5
+4 6
+4 7
+4 8
+4 11
+4 12
+4 13
+4 14
+4 15
+4 16
+4 17
+4 18
+4 19
+5 6
+5 9
+5 10
+5 18
+5 19
+6 8
+6 12
+6 14
+6 15
+6 19
+7 8
+7 10
+7 11
+7 12
+7 13
+7 14
+7 15
+7 18
+7 19
+8 10
+8 11
+8 12
+8 15
+8 17
+8 18
+9 10
+9 12
+9 13
+9 15
+9 17
+9 18
+10 13
+10 15
+10 18
+10 19
+11 12
+11 14
+11 16
+11 17
+11 18
+12 13
+12 17
+12 19
+13 14
+13 16
+13 17
+13 18
+14 18
+15 16
+15 19
+16 17
+16 19
+3
+2
+0 1
+0 2
+17
+76
+0 1
+0 2
+0 4
+0 5
+0 12
+0 14
+1 2
+1 4
+1 5
+1 8
+1 11
+1 13
+1 16
+2 3
+2 5
+2 6
+2 7
+2 10
+2 14
+2 16
+3 4
+3 8
+3 10
+3 11
+3 12
+3 13
+3 15
+3 16
+4 5
+4 6
+4 9
+4 11
+4 12
+4 13
+4 14
+4 15
+4 16
+5 6
+5 7
+5 8
+5 9
+5 10
+5 12
+5 15
+5 16
+6 7
+6 9
+6 11
+6 12
+6 13
+6 14
+7 8
+7 10
+7 11
+7 12
+7 14
+7 15
+7 16
+8 9
+8 12
+8 13
+8 15
+8 16
+9 11
+9 13
+10 13
+10 14
+10 16
+11 12
+11 13
+11 14
+11 16
+12 13
+12 14
+14 15
+14 16
+14
+49
+0 1
+0 2
+0 3
+0 6
+0 9
+0 11
+0 13
+1 2
+1 3
+1 4
+1 5
+1 9
+1 11
+1 13
+2 8
+2 9
+2 10
+2 11
+2 12
+3 5
+3 6
+3 8
+3 9
+3 12
+4 5
+4 7
+4 8
+4 10
+4 11
+4 12
+4 13
+5 6
+5 8
+5 9
+5 12
+5 13
+6 10
+6 12
+7 11
+7 13
+8 9
+8 10
+8 11
+8 12
+9 11
+9 13
+10 12
+10 13
+12 13
+3
+3
+0 1
+0 2
+1 2
+4
+4
+0 1
+0 2
+0 3
+1 2
+17
+72
+0 1
+0 2
+0 5
+0 6
+0 12
+0 13
+0 14
+0 16
+1 3
+1 4
+1 5
+1 10
+1 11
+1 12
+1 13
+1 14
+1 16
+2 6
+2 7
+2 8
+2 9
+2 10
+2 11
+2 12
+2 14
+2 16
+3 4
+3 5
+3 6
+3 8
+3 9
+3 11
+3 12
+3 13
+3 14
+4 5
+4 6
+4 13
+4 14
+4 15
+4 16
+5 8
+5 10
+5 12
+5 13
+5 14
+5 15
+5 16
+6 8
+6 9
+6 11
+6 16
+7 15
+8 9
+8 10
+8 14
+8 16
+9 11
+9 12
+9 13
+9 15
+10 16
+11 13
+11 14
+11 16
+12 14
+12 15
+12 16
+13 14
+13 16
+14 15
+15 16
+20
+99
+0 1
+0 2
+0 3
+0 8
+0 9
+0 12
+0 13
+0 14
+0 16
+0 17
+0 18
+0 19
+1 2
+1 3
+1 4
+1 5
+1 7
+1 13
+1 14
+1 19
+2 8
+2 9
+2 11
+2 12
+2 13
+2 16
+3 4
+3 5
+3 6
+3 8
+3 9
+3 10
+3 13
+3 14
+4 6
+4 8
+4 11
+4 12
+4 14
+4 16
+4 19
+5 7
+5 8
+5 9
+5 10
+5 13
+5 14
+5 15
+5 17
+5 18
+6 8
+6 9
+6 10
+6 12
+6 13
+6 16
+6 19
+7 8
+7 10
+7 12
+7 16
+7 19
+8 9
+8 10
+8 11
+8 12
+8 13
+8 15
+8 17
+9 11
+9 12
+9 15
+9 16
+9 17
+9 18
+9 19
+10 12
+10 14
+10 15
+11 12
+11 13
+11 15
+11 17
+11 18
+11 19
+12 13
+12 15
+12 18
+12 19
+13 15
+13 17
+13 18
+13 19
+14 15
+14 16
+14 17
+14 18
+15 18
+17 19
+2
+1
+0 1
+8
+14
+0 1
+0 2
+0 3
+1 3
+1 7
+2 4
+2 5
+2 7
+3 4
+3 7
+4 5
+4 6
+5 7
+6 7
+7
+14
+0 1
+0 2
+0 3
+0 4
+0 6
+1 3
+1 4
+1 5
+2 3
+2 4
+2 5
+3 4
+4 5
+4 6
+12
+39
+0 1
+0 2
+0 3
+0 5
+0 7
+0 8
+1 2
+1 3
+1 4
+1 5
+1 7
+1 9
+1 10
+2 6
+2 8
+2 9
+2 11
+3 5
+3 7
+3 8
+3 9
+3 11
+4 7
+4 9
+4 10
+4 11
+5 6
+5 7
+5 9
+5 10
+6 7
+6 8
+6 10
+7 10
+8 9
+8 10
+8 11
+9 10
+10 11
+17
+79
+0 1
+0 2
+0 3
+0 4
+0 5
+0 6
+0 7
+0 9
+0 10
+0 14
+0 15
+0 16
+1 3
+1 5
+1 7
+1 8
+1 10
+1 11
+1 15
+2 3
+2 4
+2 6
+2 8
+2 16
+3 4
+3 5
+3 6
+3 7
+3 8
+3 9
+3 11
+3 13
+3 15
+3 16
+4 5
+4 6
+4 7
+4 9
+4 13
+4 14
+4 16
+5 6
+5 9
+5 11
+5 12
+5 14
+5 15
+6 7
+6 8
+6 9
+6 10
+6 12
+6 13
+6 15
+7 8
+7 9
+7 10
+7 11
+7 13
+7 15
+8 10
+8 14
+8 15
+8 16
+9 10
+9 11
+9 13
+9 15
+10 11
+10 13
+11 12
+11 13
+11 14
+11 15
+12 13
+12 15
+12 16
+13 15
+14 16
+9
+25
+0 1
+0 3
+0 5
+0 6
+0 7
+1 2
+1 5
+1 6
+1 7
+1 8
+2 5
+2 6
+2 7
+2 8
+3 4
+3 5
+4 5
+4 6
+4 7
+4 8
+5 7
+5 8
+6 7
+6 8
+7 8
+4
+6
+0 1
+0 2
+0 3
+1 2
+1 3
+2 3
+9
+24
+0 1
+0 2
+0 3
+0 4
+0 5
+0 6
+0 7
+0 8
+1 5
+1 7
+1 8
+2 3
+2 5
+2 6
+2 7
+3 4
+3 6
+3 8
+4 5
+4 6
+4 8
+6 7
+6 8
+7 8
+18
+82
+0 1
+0 2
+0 3
+0 4
+0 6
+0 7
+0 8
+0 9
+0 11
+0 13
+0 14
+0 15
+0 16
+1 2
+1 3
+1 7
+1 8
+1 13
+1 15
+1 16
+1 17
+2 3
+2 5
+2 7
+2 8
+2 9
+2 10
+2 13
+2 15
+3 5
+3 9
+3 11
+3 12
+3 13
+3 14
+3 15
+4 6
+4 7
+4 8
+4 10
+4 12
+4 13
+4 16
+5 15
+6 7
+6 9
+6 10
+6 14
+6 15
+6 16
+6 17
+7 8
+7 9
+7 10
+7 13
+7 14
+7 16
+7 17
+8 10
+8 11
+8 13
+8 14
+8 16
+8 17
+9 10
+9 12
+9 15
+10 13
+10 14
+10 15
+11 12
+11 14
+12 13
+12 14
+12 15
+12 17
+13 15
+14 16
+14 17
+15 16
+15 17
+16 17
+9
+21
+0 1
+0 2
+0 4
+0 5
+1 2
+1 3
+1 4
+1 7
+2 3
+2 4
+2 6
+2 8
+3 6
+3 7
+4 5
+5 6
+5 7
+5 8
+6 7
+6 8
+7 8
+20
+112
+0 1
+0 2
+0 3
+0 4
+0 5
+0 6
+0 7
+0 8
+0 9
+0 12
+0 15
+0 17
+0 18
+0 19
+1 2
+1 4
+1 5
+1 7
+1 8
+1 10
+1 13
+1 14
+1 15
+1 16
+2 3
+2 4
+2 7
+2 8
+2 11
+2 13
+2 19
+3 4
+3 5
+3 6
+3 7
+3 9
+3 10
+3 11
+3 13
+3 14
+3 16
+3 17
+4 5
+4 7
+4 8
+4 9
+4 13
+4 15
+4 16
+4 18
+4 19
+5 6
+5 11
+5 12
+5 14
+5 16
+5 17
+5 18
+6 7
+6 8
+6 10
+6 11
+6 12
+6 13
+6 14
+6 15
+6 17
+6 18
+6 19
+7 9
+7 11
+7 12
+7 14
+7 15
+7 18
+8 9
+8 10
+8 11
+8 12
+8 16
+8 19
+9 10
+9 11
+9 14
+9 15
+9 16
+9 18
+10 12
+10 13
+10 15
+10 16
+10 17
+10 18
+11 12
+11 13
+11 14
+11 15
+11 17
+11 18
+12 14
+12 16
+13 15
+13 16
+13 17
+13 19
+14 15
+14 17
+14 18
+14 19
+15 19
+16 18
+17 18
+17
+78
+0 1
+0 2
+0 3
+0 4
+0 5
+0 9
+0 12
+0 14
+0 15
+1 2
+1 3
+1 4
+1 5
+1 6
+1 7
+1 8
+1 9
+1 10
+2 6
+2 7
+2 9
+2 10
+2 11
+2 12
+2 15
+2 16
+3 4
+3 7
+3 8
+3 9
+3 12
+3 13
+3 14
+3 15
+3 16
+4 5
+4 6
+4 7
+4 8
+4 9
+4 10
+4 11
+4 13
+4 14
+4 15
+5 7
+5 15
+5 16
+6 7
+6 8
+6 11
+6 12
+6 13
+6 15
+6 16
+7 10
+7 11
+7 15
+7 16
+8 9
+8 12
+8 14
+8 15
+9 10
+9 12
+9 13
+9 14
+9 15
+9 16
+10 11
+10 14
+10 15
+10 16
+12 16
+13 14
+13 15
+13 16
+14 16
+3
+2
+0 1
+0 2
+15
+66
+0 1
+0 2
+0 5
+0 7
+0 8
+0 9
+0 10
+0 12
+0 14
+1 2
+1 4
+1 5
+1 6
+1 9
+1 10
+1 11
+1 13
+1 14
+2 3
+2 4
+2 6
+2 7
+2 9
+2 10
+2 11
+2 12
+2 13
+2 14
+3 6
+3 7
+3 8
+3 9
+3 11
+4 7
+4 8
+4 9
+4 10
+4 11
+4 12
+4 13
+5 6
+5 7
+5 9
+5 13
+5 14
+6 7
+6 8
+6 13
+6 14
+7 8
+7 9
+7 10
+7 11
+7 12
+7 13
+8 9
+8 10
+9 11
+9 12
+9 13
+10 11
+10 12
+11 12
+11 14
+12 13
+13 14
+5
+8
+0 1
+0 3
+0 4
+1 2
+1 3
+2 3
+2 4
+3 4
+3
+2
+0 1
+1 2
+18
+83
+0 1
+0 2
+0 4
+0 7
+0 10
+0 12
+0 14
+0 16
+0 17
+1 2
+1 3
+1 4
+1 5
+1 9
+1 10
+1 11
+1 15
+1 16
+2 3
+2 5
+2 6
+2 7
+2 8
+2 9
+2 10
+2 13
+2 14
+2 15
+2 16
+2 17
+3 4
+3 6
+3 9
+3 11
+3 13
+3 14
+3 16
+3 17
+4 9
+4 10
+4 14
+4 16
+4 17
+5 8
+5 9
+5 11
+5 12
+5 16
+5 17
+6 13
+6 14
+6 16
+6 17
+7 8
+7 9
+7 10
+7 11
+7 13
+7 15
+8 10
+8 11
+8 14
+8 16
+9 10
+9 11
+9 12
+9 13
+9 15
+9 16
+9 17
+10 11
+10 12
+10 17
+11 14
+11 16
+11 17
+12 13
+13 14
+13 15
+14 16
+14 17
+15 16
+16 17
+8
+14
+0 1
+0 2
+0 3
+0 4
+0 5
+0 6
+0 7
+1 2
+2 3
+2 6
+3 4
+3 5
+3 6
+6 7
+9
+25
+0 1
+0 3
+0 6
+1 2
+1 3
+1 4
+1 6
+1 8
+2 3
+2 4
+2 5
+2 6
+2 7
+2 8
+3 4
+3 6
+3 7
+4 5
+4 6
+4 7
+5 6
+5 7
+6 7
+6 8
+7 8
+12
+40
+0 1
+0 2
+0 4
+0 5
+0 6
+0 7
+0 8
+0 9
+0 10
+1 2
+1 3
+1 4
+1 6
+1 7
+1 8
+1 9
+1 11
+2 5
+2 10
+2 11
+3 4
+3 7
+3 9
+3 11
+4 5
+4 6
+4 8
+4 10
+5 6
+5 8
+5 9
+5 10
+5 11
+6 7
+6 10
+7 9
+7 11
+8 11
+9 11
+10 11
+17
+67
+0 1
+0 2
+0 4
+0 5
+0 7
+0 9
+0 10
+0 11
+0 13
+1 3
+1 4
+1 7
+1 8
+1 9
+1 10
+1 12
+1 13
+1 16
+2 5
+2 6
+2 7
+2 8
+2 11
+2 12
+2 13
+2 14
+2 16
+3 5
+3 8
+3 11
+3 12
+3 16
+4 5
+4 7
+4 8
+4 10
+4 12
+4 13
+4 15
+4 16
+5 6
+5 7
+5 8
+5 9
+5 10
+5 12
+5 16
+6 8
+6 9
+6 11
+6 15
+7 10
+7 11
+7 12
+7 15
+8 9
+8 11
+9 10
+9 15
+10 15
+10 16
+11 12
+11 13
+12 13
+12 15
+14 15
+15 16
+8
+18
+0 1
+0 2
+0 3
+0 4
+0 6
+1 4
+1 6
+1 7
+2 3
+2 4
+2 6
+3 5
+3 7
+4 5
+4 6
+4 7
+5 7
+6 7
+10
+31
+0 1
+0 2
+0 3
+0 6
+0 8
+1 2
+1 3
+1 4
+1 9
+2 3
+2 4
+2 6
+2 8
+2 9
+3 5
+3 6
+3 7
+3 8
+3 9
+4 6
+4 8
+4 9
+5 7
+5 8
+5 9
+6 7
+6 8
+6 9
+7 8
+7 9
+8 9
+13
+47
+0 1
+0 3
+0 4
+0 7
+0 8
+0 10
+0 11
+1 2
+1 4
+1 5
+1 6
+1 7
+1 8
+1 10
+1 11
+1 12
+2 3
+2 6
+2 7
+2 8
+2 9
+2 12
+3 4
+3 5
+3 7
+3 8
+3 9
+3 10
+3 11
+4 5
+4 6
+4 7
+4 9
+4 10
+4 11
+5 6
+5 8
+6 7
+6 8
+6 9
+6 10
+6 11
+7 9
+7 10
+7 12
+9 11
+10 11
+20
+116
+0 1
+0 2
+0 3
+0 4
+0 5
+0 6
+0 7
+0 8
+0 9
+0 10
+0 11
+0 14
+0 16
+0 17
+0 19
+1 3
+1 5
+1 6
+1 8
+1 9
+1 10
+1 11
+1 13
+1 14
+1 15
+1 16
+1 18
+2 5
+2 6
+2 7
+2 8
+2 9
+2 12
+2 13
+2 16
+2 17
+2 18
+2 19
+3 4
+3 5
+3 7
+3 8
+3 9
+3 11
+3 12
+3 13
+3 14
+3 15
+3 17
+3 18
+4 5
+4 6
+4 12
+4 13
+4 14
+4 16
+4 18
+5 6
+5 7
+5 8
+5 10
+5 13
+5 14
+5 16
+5 17
+6 8
+6 9
+6 10
+6 11
+6 14
+6 16
+6 17
+6 18
+6 19
+7 8
+7 11
+7 12
+7 15
+7 16
+7 17
+7 19
+8 12
+8 15
+8 16
+8 18
+9 11
+9 14
+9 15
+10 11
+10 13
+10 14
+10 17
+10 18
+11 12
+11 14
+11 16
+11 17
+11 19
+12 15
+12 16
+12 19
+13 14
+13 15
+13 17
+13 19
+14 15
+14 16
+14 17
+15 16
+15 18
+15 19
+16 17
+16 18
+16 19
+17 18
+17 19
+17
+87
+0 1
+0 2
+0 3
+0 6
+0 7
+0 8
+0 9
+0 10
+0 11
+0 12
+0 13
+0 14
+0 16
+1 2
+1 5
+1 6
+1 8
+1 9
+1 10
+1 11
+1 12
+1 13
+1 15
+1 16
+2 7
+2 8
+2 10
+2 12
+2 16
+3 4
+3 5
+3 7
+3 12
+3 13
+3 15
+3 16
+4 5
+4 6
+4 8
+4 11
+4 16
+5 6
+5 7
+5 8
+5 9
+5 10
+5 11
+5 12
+5 13
+5 16
+6 8
+6 9
+6 12
+6 13
+6 14
+6 15
+6 16
+7 8
+7 10
+7 11
+7 12
+7 13
+7 14
+7 15
+8 9
+8 11
+8 13
+8 14
+8 15
+8 16
+9 11
+9 12
+9 13
+10 12
+10 14
+10 16
+11 12
+11 14
+11 15
+11 16
+12 14
+12 15
+12 16
+13 14
+13 15
+14 16
+15 16
+15
+53
+0 1
+0 2
+0 4
+0 5
+0 6
+0 8
+0 13
+1 2
+1 5
+1 6
+1 9
+1 10
+1 11
+2 3
+2 8
+2 12
+3 4
+3 6
+3 9
+3 10
+3 12
+3 13
+3 14
+4 6
+4 7
+4 8
+4 10
+4 11
+4 13
+5 7
+5 9
+5 12
+5 13
+5 14
+6 8
+6 9
+6 10
+6 11
+6 12
+6 14
+7 9
+7 11
+7 12
+8 11
+8 13
+9 11
+9 14
+10 12
+10 13
+10 14
+12 13
+12 14
+13 14
+3
+3
+0 1
+0 2
+1 2
+8
+17
+0 1
+0 3
+0 7
+1 2
+1 3
+1 5
+1 6
+1 7
+2 3
+2 7
+3 4
+3 5
+3 6
+4 7
+5 6
+5 7
+6 7
+7
+12
+0 1
+0 3
+0 4
+0 5
+0 6
+1 2
+1 4
+2 3
+2 5
+2 6
+3 5
+3 6
+3
+2
+0 1
+1 2
+5
+6
+0 1
+0 3
+0 4
+1 2
+1 4
+2 4
+11
+29
+0 1
+0 2
+0 3
+0 4
+0 6
+0 7
+0 9
+1 2
+1 3
+1 5
+1 7
+1 8
+2 5
+2 8
+2 10
+3 5
+3 9
+4 5
+4 6
+4 9
+4 10
+5 9
+6 7
+6 8
+6 9
+6 10
+7 9
+8 9
+8 10
+4
+5
+0 1
+0 2
+0 3
+1 3
+2 3
+1
+0
+8
+18
+0 1
+0 2
+0 4
+0 5
+0 7
+1 2
+1 3
+1 4
+1 6
+2 3
+2 4
+2 6
+3 4
+3 7
+4 6
+4 7
+5 7
+6 7
+13
+47
+0 1
+0 2
+0 5
+0 7
+0 12
+1 3
+1 4
+1 6
+1 8
+1 12
+2 3
+2 4
+2 5
+2 6
+2 7
+2 8
+2 12
+3 4
+3 6
+3 7
+3 8
+3 9
+3 10
+3 11
+3 12
+4 5
+4 6
+4 7
+4 8
+4 11
+4 12
+5 7
+5 8
+5 9
+5 11
+6 7
+6 8
+6 9
+6 10
+6 11
+7 11
+8 11
+8 12
+9 12
+10 11
+10 12
+11 12
+16
+57
+0 1
+0 2
+0 3
+0 4
+0 8
+0 12
+1 2
+1 4
+1 7
+1 8
+1 11
+1 12
+1 14
+2 4
+2 9
+2 12
+2 14
+2 15
+3 5
+3 8
+3 11
+3 12
+3 13
+3 14
+4 5
+4 10
+4 12
+4 14
+4 15
+5 6
+5 7
+5 9
+5 10
+5 13
+5 14
+5 15
+6 7
+6 8
+6 9
+6 10
+6 11
+6 13
+6 15
+7 10
+7 11
+7 13
+7 15
+9 10
+9 11
+9 13
+9 15
+10 11
+10 12
+10 14
+11 12
+11 13
+11 15
+8
+17
+0 1
+0 2
+0 3
+0 5
+0 7
+1 2
+1 5
+2 3
+2 4
+2 5
+2 6
+3 4
+3 5
+3 6
+3 7
+4 6
+4 7
+9
+21
+0 1
+0 2
+0 3
+0 4
+0 5
+0 6
+0 7
+0 8
+1 4
+1 8
+2 3
+2 5
+2 7
+2 8
+3 5
+3 6
+3 8
+4 5
+4 8
+5 7
+6 8
+4
+4
+0 1
+0 3
+1 2
+2 3
+8
+21
+0 1
+0 2
+0 4
+0 5
+0 6
+1 3
+1 5
+1 6
+1 7
+2 3
+2 4
+2 5
+2 7
+3 4
+3 5
+3 7
+4 5
+4 6
+4 7
+5 6
+6 7
+13
+42
+0 1
+0 2
+0 3
+0 4
+0 5
+0 6
+0 10
+1 2
+1 4
+1 5
+1 6
+1 8
+1 9
+1 11
+2 4
+2 5
+2 7
+2 8
+2 9
+2 11
+3 6
+3 9
+3 12
+4 5
+4 6
+4 10
+4 11
+4 12
+5 7
+5 9
+5 10
+5 11
+6 7
+6 8
+6 9
+6 11
+7 11
+8 9
+8 11
+8 12
+9 10
+11 12
+19
+88
+0 1
+0 2
+0 3
+0 5
+0 6
+0 8
+0 10
+0 12
+0 15
+0 16
+0 17
+1 6
+1 8
+1 9
+1 16
+1 17
+1 18
+2 4
+2 5
+2 6
+2 7
+2 8
+2 10
+2 11
+2 15
+3 4
+3 6
+3 7
+3 8
+3 10
+3 11
+3 13
+3 15
+3 17
+4 7
+4 9
+4 12
+4 13
+4 15
+4 16
+5 6
+5 10
+5 11
+5 12
+5 13
+5 14
+5 15
+5 16
+5 18
+6 7
+6 8
+6 11
+6 12
+6 13
+6 14
+6 15
+6 17
+7 10
+7 11
+7 13
+7 14
+7 17
+7 18
+8 9
+8 13
+8 14
+8 15
+9 10
+9 12
+9 15
+9 16
+10 11
+10 18
+11 15
+11 16
+11 18
+12 15
+12 16
+12 18
+13 14
+13 15
+13 16
+13 18
+14 15
+14 16
+14 18
+15 17
+15 18
+9
+22
+0 1
+0 2
+0 3
+0 4
+0 5
+0 6
+0 7
+0 8
+1 2
+1 4
+1 5
+1 6
+1 7
+2 3
+2 4
+2 5
+2 6
+2 7
+3 7
+4 8
+6 7
+6 8
+8
+17
+0 1
+0 2
+0 4
+1 5
+1 6
+2 3
+2 4
+2 5
+2 6
+2 7
+3 5
+4 5
+4 6
+4 7
+5 6
+5 7
+6 7
+20
+110
+0 1
+0 2
+0 3
+0 4
+0 5
+0 6
+0 8
+0 10
+0 11
+0 12
+0 14
+0 17
+1 2
+1 3
+1 5
+1 7
+1 8
+1 10
+1 11
+1 13
+1 14
+1 15
+1 18
+2 6
+2 7
+2 9
+2 13
+2 16
+2 17
+3 4
+3 5
+3 6
+3 7
+3 8
+3 14
+3 16
+3 17
+3 18
+3 19
+4 5
+4 7
+4 8
+4 10
+4 12
+4 13
+4 17
+4 19
+5 10
+5 11
+5 12
+5 14
+5 15
+5 17
+5 18
+5 19
+6 8
+6 9
+6 10
+6 13
+6 16
+6 17
+6 18
+6 19
+7 8
+7 9
+7 10
+7 12
+7 13
+7 14
+7 15
+7 16
+7 19
+8 9
+8 10
+8 11
+8 13
+8 14
+8 15
+8 16
+8 19
+9 11
+9 12
+9 13
+9 17
+9 19
+10 13
+10 15
+10 16
+10 17
+10 18
+11 14
+11 15
+11 16
+11 17
+12 16
+12 17
+12 18
+12 19
+13 15
+13 16
+13 19
+14 15
+14 18
+15 16
+15 18
+15 19
+16 18
+16 19
+17 19
+18 19
+16
+64
+0 1
+0 2
+0 3
+0 4
+0 5
+0 10
+0 11
+0 12
+0 13
+0 14
+1 2
+1 6
+1 8
+1 10
+1 13
+1 15
+2 4
+2 5
+2 9
+2 12
+3 4
+3 5
+3 7
+3 12
+3 14
+3 15
+4 5
+4 6
+4 7
+4 9
+4 10
+5 7
+5 8
+5 9
+5 10
+5 11
+5 12
+5 13
+5 14
+6 7
+6 9
+6 10
+6 11
+6 13
+6 15
+7 8
+7 9
+7 12
+7 13
+8 9
+8 11
+8 12
+8 13
+8 15
+9 11
+9 13
+9 14
+9 15
+10 11
+10 13
+10 14
+11 13
+11 14
+12 14
+2
+1
+0 1
+5
+9
+0 1
+0 2
+0 4
+1 2
+1 3
+1 4
+2 3
+2 4
+3 4
+4
+5
+0 1
+0 3
+1 2
+1 3
+2 3
+7
+14
+0 1
+0 2
+0 3
+0 4
+0 6
+1 2
+1 3
+1 5
+1 6
+2 3
+3 4
+3 5
+3 6
+4 6
+18
+81
+0 1
+0 2
+0 3
+0 4
+0 6
+0 9
+0 10
+0 11
+0 12
+0 13
+0 16
+1 2
+1 3
+1 5
+1 8
+1 9
+1 10
+1 11
+1 15
+1 17
+2 5
+2 7
+2 8
+2 9
+2 12
+2 13
+2 15
+2 16
+3 4
+3 5
+3 6
+3 7
+3 9
+3 10
+3 11
+3 13
+3 14
+3 15
+3 16
+4 5
+4 8
+4 9
+4 16
+5 8
+5 11
+5 12
+5 13
+5 16
+5 17
+6 7
+6 9
+6 11
+6 12
+6 13
+6 14
+6 16
+7 9
+7 12
+7 14
+7 15
+8 10
+8 12
+8 16
+9 10
+9 17
+10 11
+10 16
+11 12
+11 13
+11 14
+11 15
+11 17
+12 14
+12 16
+12 17
+13 14
+13 15
+13 16
+13 17
+14 15
+15 17
+11
+35
+0 1
+0 2
+0 3
+0 5
+0 8
+1 2
+1 3
+1 5
+1 7
+1 8
+1 9
+1 10
+2 3
+2 4
+2 5
+2 7
+2 8
+2 9
+3 4
+3 7
+3 8
+3 10
+4 5
+4 6
+4 7
+4 8
+5 6
+5 7
+5 8
+5 9
+5 10
+6 9
+6 10
+8 9
+8 10
+13
+43
+0 1
+0 2
+0 3
+0 4
+0 7
+0 9
+1 3
+1 5
+1 7
+1 8
+1 10
+2 3
+2 4
+2 5
+2 6
+2 9
+2 11
+2 12
+3 5
+4 7
+4 10
+4 11
+5 6
+5 10
+5 12
+6 7
+6 8
+6 9
+6 11
+7 8
+7 9
+7 10
+7 11
+7 12
+8 9
+8 10
+8 11
+8 12
+9 10
+9 11
+9 12
+10 11
+10 12
+13
+39
+0 1
+0 2
+0 3
+0 4
+0 5
+0 9
+0 10
+0 12
+1 2
+1 3
+1 5
+1 6
+1 8
+1 9
+2 6
+2 7
+2 8
+2 10
+3 5
+3 6
+3 8
+3 9
+3 10
+3 12
+4 6
+4 7
+4 8
+4 9
+4 11
+5 6
+5 11
+6 7
+6 10
+7 8
+7 10
+8 11
+8 12
+9 10
+10 12
+15
+54
+0 1
+0 2
+0 3
+0 4
+0 5
+0 6
+0 7
+0 9
+0 11
+0 13
+0 14
+1 7
+1 10
+1 11
+1 12
+2 3
+2 4
+2 6
+2 7
+2 12
+3 4
+3 9
+3 13
+4 5
+4 6
+4 7
+4 9
+4 10
+4 11
+4 12
+5 6
+5 8
+5 11
+5 13
+6 7
+6 8
+6 10
+6 11
+6 13
+7 10
+7 11
+7 12
+8 10
+8 11
+8 12
+9 10
+9 11
+9 14
+10 11
+10 12
+11 12
+11 13
+11 14
+13 14
+0
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 08:36:01 +0000