INSERT INTO public.t (a, c) VALUES (9, 16);
INSERT INTO public.t (a, c) VALUES (9, 15);
INSERT INTO public.t (a, c) VALUES (6, 18);
INSERT INTO public.t (a, c) VALUES (6, 20);
INSERT INTO public.t (a, c) VALUES (4, 3);
INSERT INTO public.t (a, c) VALUES (4, 11);
INSERT INTO public.t (a, c) VALUES (2, 8);
INSERT INTO public.t (a, c) VALUES (4, 6);
INSERT INTO public.t (a, c) VALUES (7, 7);
INSERT INTO public.t (a, c) VALUES (10, 17);
INSERT INTO public.t (a, c) VALUES (1, 5);
INSERT INTO public.t (a, c) VALUES (8, 6);
INSERT INTO public.t (a, c) VALUES (9, 8);
INSERT INTO public.t (a, c) VALUES (9, 2);
INSERT INTO public.t (a, c) VALUES (1, 19);
INSERT INTO public.t (a, c) VALUES (7, 20);
INSERT INTO public.t (a, c) VALUES (8, 13);
INSERT INTO public.t (a, c) VALUES (7, 6);
INSERT INTO public.t (a, c) VALUES (5, 7);
INSERT INTO public.t (a, c) VALUES (3, 19);
INSERT INTO public.t (a, c) VALUES (5, 15);
INSERT INTO public.t (a, c) VALUES (5, 15);
INSERT INTO public.t (a, c) VALUES (2, 17);
INSERT INTO public.t (a, c) VALUES (0, 17);
INSERT INTO public.t (a, c) VALUES (2, 0);
INSERT INTO public.t (a, c) VALUES (7, 6);
INSERT INTO public.t (a, c) VALUES (3, 9);
INSERT INTO public.t (a, c) VALUES (6, 3);
INSERT INTO public.t (a, c) VALUES (9, 10);
INSERT INTO public.t (a, c) VALUES (2, 0);
INSERT INTO public.t (a, c) VALUES (5, 18);
INSERT INTO public.t (a, c) VALUES (0, 5);
INSERT INTO public.t (a, c) VALUES (6, 15);
INSERT INTO public.t (a, c) VALUES (6, 2);
INSERT INTO public.t (a, c) VALUES (1, 18);
INSERT INTO public.t (a, c) VALUES (1, 12);
INSERT INTO public.t (a, c) VALUES (6, 11);
INSERT INTO public.t (a, c) VALUES (3, 16);
INSERT INTO public.t (a, c) VALUES (4, 8);
INSERT INTO public.t (a, c) VALUES (6, 13);
INSERT INTO public.t (a, c) VALUES (4, 6);
INSERT INTO public.t (a, c) VALUES (9, 13);
INSERT INTO public.t (a, c) VALUES (8, 12);
INSERT INTO public.t (a, c) VALUES (8, 13);
INSERT INTO public.t (a, c) VALUES (1, 1);
INSERT INTO public.t (a, c) VALUES (7, 12);
INSERT INTO public.t (a, c) VALUES (9, 14);
INSERT INTO public.t (a, c) VALUES (8, 10);
INSERT INTO public.t (a, c) VALUES (4, 8);
INSERT INTO public.t (a, c) VALUES (6, 11);
INSERT INTO public.t (a, c) VALUES (3, 14);
INSERT INTO public.t (a, c) VALUES (1, 18);
INSERT INTO public.t (a, c) VALUES (2, 10);
INSERT INTO public.t (a, c) VALUES (7, 13);
INSERT INTO public.t (a, c) VALUES (9, 6);
INSERT INTO public.t (a, c) VALUES (3, 5);
INSERT INTO public.t (a, c) VALUES (6, 5);
INSERT INTO public.t (a, c) VALUES (9, 8);
INSERT INTO public.t (a, c) VALUES (8, 15);
INSERT INTO public.t (a, c) VALUES (0, 18);
INSERT INTO public.t (a, c) VALUES (8, 15);
INSERT INTO public.t (a, c) VALUES (5, 14);
INSERT INTO public.t (a, c) VALUES (4, 6);
INSERT INTO public.t (a, c) VALUES (2, 17);
INSERT INTO public.t (a, c) VALUES (7, 17);
INSERT INTO public.t (a, c) VALUES (4, 19);
INSERT INTO public.t (a, c) VALUES (5, 10);
INSERT INTO public.t (a, c) VALUES (8, 15);
INSERT INTO public.t (a, c) VALUES (10, 10);
INSERT INTO public.t (a, c) VALUES (4, 17);
INSERT INTO public.t (a, c) VALUES (8, 14);
INSERT INTO public.t (a, c) VALUES (1, 9);
INSERT INTO public.t (a, c) VALUES (9, 1);
INSERT INTO public.t (a, c) VALUES (9, 15);
INSERT INTO public.t (a, c) VALUES (8, 18);
INSERT INTO public.t (a, c) VALUES (6, 11);
INSERT INTO public.t (a, c) VALUES (6, 2);
INSERT INTO public.t (a, c) VALUES (3, 1);
INSERT INTO public.t (a, c) VALUES (4, 9);
INSERT INTO public.t (a, c) VALUES (9, 2);
INSERT INTO public.t (a, c) VALUES (3, 6);
INSERT INTO public.t (a, c) VALUES (0, 17);
INSERT INTO public.t (a, c) VALUES (8, 17);
INSERT INTO public.t (a, c) VALUES (6, 16);
INSERT INTO public.t (a, c) VALUES (4, 1);
INSERT INTO public.t (a, c) VALUES (7, 4);
INSERT INTO public.t (a, c) VALUES (7, 16);
INSERT INTO public.t (a, c) VALUES (7, 13);
INSERT INTO public.t (a, c) VALUES (9, 11);
INSERT INTO public.t (a, c) VALUES (4, 13);
INSERT INTO public.t (a, c) VALUES (4, 1);
INSERT INTO public.t (a, c) VALUES (2, 2);
INSERT INTO public.t (a, c) VALUES (2, 9);
INSERT INTO public.t (a, c) VALUES (1, 12);
INSERT INTO public.t (a, c) VALUES (9, 1);
INSERT INTO public.t (a, c) VALUES (7, 5);
INSERT INTO public.t (a, c) VALUES (3, 14);
INSERT INTO public.t (a, c) VALUES (1, 3);
INSERT INTO public.t (a, c) VALUES (6, 14);
INSERT INTO public.t (a, c) VALUES (10, 19);
INSERT INTO public.t (a, c) VALUES (7, 13);
INSERT INTO public.t (a, c) VALUES (2, 10);
INSERT INTO public.t (a, c) VALUES (5, 17);
INSERT INTO public.t (a, c) VALUES (2, 7);
INSERT INTO public.t (a, c) VALUES (4, 11);
INSERT INTO public.t (a, c) VALUES (0, 17);
INSERT INTO public.t (a, c) VALUES (6, 4);
INSERT INTO public.t (a, c) VALUES (9, 16);
INSERT INTO public.t (a, c) VALUES (7, 1);
INSERT INTO public.t (a, c) VALUES (4, 12);
INSERT INTO public.t (a, c) VALUES (1, 2);
INSERT INTO public.t (a, c) VALUES (9, 9);
INSERT INTO public.t (a, c) VALUES (8, 19);
INSERT INTO public.t (a, c) VALUES (6, 8);
INSERT INTO public.t (a, c) VALUES (7, 12);
INSERT INTO public.t (a, c) VALUES (3, 8);
INSERT INTO public.t (a, c) VALUES (2, 10);
INSERT INTO public.t (a, c) VALUES (9, 14);
INSERT INTO public.t (a, c) VALUES (4, 1);
INSERT INTO public.t (a, c) VALUES (1, 15);
INSERT INTO public.t (a, c) VALUES (6, 1);
INSERT INTO public.t (a, c) VALUES (6, 5);
INSERT INTO public.t (a, c) VALUES (3, 10);
INSERT INTO public.t (a, c) VALUES (1, 19);
INSERT INTO public.t (a, c) VALUES (6, 10);
INSERT INTO public.t (a, c) VALUES (6, 13);
INSERT INTO public.t (a, c) VALUES (6, 8);
INSERT INTO public.t (a, c) VALUES (1, 9);
INSERT INTO public.t (a, c) VALUES (4, 14);
INSERT INTO public.t (a, c) VALUES (9, 1);
INSERT INTO public.t (a, c) VALUES (3, 4);
INSERT INTO public.t (a, c) VALUES (5, 11);
INSERT INTO public.t (a, c) VALUES (7, 7);
INSERT INTO public.t (a, c) VALUES (3, 1);
INSERT INTO public.t (a, c) VALUES (4, 6);
INSERT INTO public.t (a, c) VALUES (8, 1);
INSERT INTO public.t (a, c) VALUES (4, 8);
INSERT INTO public.t (a, c) VALUES (3, 13);
INSERT INTO public.t (a, c) VALUES (9, 9);
INSERT INTO public.t (a, c) VALUES (6, 9);
INSERT INTO public.t (a, c) VALUES (9, 3);
INSERT INTO public.t (a, c) VALUES (1, 11);
INSERT INTO public.t (a, c) VALUES (6, 5);
INSERT INTO public.t (a, c) VALUES (10, 19);
INSERT INTO public.t (a, c) VALUES (9, 17);
INSERT INTO public.t (a, c) VALUES (10, 5);
INSERT INTO public.t (a, c) VALUES (0, 9);
INSERT INTO public.t (a, c) VALUES (8, 15);
INSERT INTO public.t (a, c) VALUES (8, 1);
INSERT INTO public.t (a, c) VALUES (8, 5);
INSERT INTO public.t (a, c) VALUES (3, 13);
INSERT INTO public.t (a, c) VALUES (3, 14);
INSERT INTO public.t (a, c) VALUES (1, 14);
INSERT INTO public.t (a, c) VALUES (4, 19);
INSERT INTO public.t (a, c) VALUES (1, 19);
INSERT INTO public.t (a, c) VALUES (4, 1);
INSERT INTO public.t (a, c) VALUES (1, 11);
INSERT INTO public.t (a, c) VALUES (6, 13);
INSERT INTO public.t (a, c) VALUES (8, 12);
INSERT INTO public.t (a, c) VALUES (6, 15);
INSERT INTO public.t (a, c) VALUES (4, 12);
INSERT INTO public.t (a, c) VALUES (10, 10);
INSERT INTO public.t (a, c) VALUES (0, 15);
INSERT INTO public.t (a, c) VALUES (2, 17);
INSERT INTO public.t (a, c) VALUES (8, 1);
INSERT INTO public.t (a, c) VALUES (1, 3);
INSERT INTO public.t (a, c) VALUES (7, 10);
INSERT INTO public.t (a, c) VALUES (9, 15);
INSERT INTO public.t (a, c) VALUES (2, 4);
INSERT INTO public.t (a, c) VALUES (7, 6);
INSERT INTO public.t (a, c) VALUES (2, 3);
INSERT INTO public.t (a, c) VALUES (3, 5);
INSERT INTO public.t (a, c) VALUES (7, 18);
INSERT INTO public.t (a, c) VALUES (9, 10);
INSERT INTO public.t (a, c) VALUES (5, 10);
INSERT INTO public.t (a, c) VALUES (3, 19);
INSERT INTO public.t (a, c) VALUES (1, 5);
INSERT INTO public.t (a, c) VALUES (4, 2);
INSERT INTO public.t (a, c) VALUES (0, 13);
INSERT INTO public.t (a, c) VALUES (10, 16);
INSERT INTO public.t (a, c) VALUES (7, 2);
INSERT INTO public.t (a, c) VALUES (9, 9);
INSERT INTO public.t (a, c) VALUES (6, 16);
INSERT INTO public.t (a, c) VALUES (2, 15);
INSERT INTO public.t (a, c) VALUES (0, 19);
INSERT INTO public.t (a, c) VALUES (1, 4);
INSERT INTO public.t (a, c) VALUES (1, 8);
INSERT INTO public.t (a, c) VALUES (5, 16);
INSERT INTO public.t (a, c) VALUES (3, 7);
INSERT INTO public.t (a, c) VALUES (3, 16);
INSERT INTO public.t (a, c) VALUES (8, 12);
INSERT INTO public.t (a, c) VALUES (7, 18);
INSERT INTO public.t (a, c) VALUES (9, 3);
INSERT INTO public.t (a, c) VALUES (10, 17);
INSERT INTO public.t (a, c) VALUES (8, 19);
INSERT INTO public.t (a, c) VALUES (7, 10);
INSERT INTO public.t (a, c) VALUES (1, 12);
INSERT INTO public.t (a, c) VALUES (10, 13);
INSERT INTO public.t (a, c) VALUES (4, 3);
INSERT INTO public.t (a, c) VALUES (4, 9);
INSERT INTO public.t (a, c) VALUES (1, 10);
INSERT INTO public.t (a, c) VALUES (7, 3);
INSERT INTO public.t (a, c) VALUES (9, 3);
INSERT INTO public.t (a, c) VALUES (10, 3);
INSERT INTO public.t (a, c) VALUES (5, 7);
INSERT INTO public.t (a, c) VALUES (10, 6);
INSERT INTO public.t (a, c) VALUES (9, 14);
INSERT INTO public.t (a, c) VALUES (2, 16);
INSERT INTO public.t (a, c) VALUES (8, 3);
INSERT INTO public.t (a, c) VALUES (6, 13);
INSERT INTO public.t (a, c) VALUES (1, 6);
INSERT INTO public.t (a, c) VALUES (2, 3);
INSERT INTO public.t (a, c) VALUES (9, 2);
INSERT INTO public.t (a, c) VALUES (8, 7);
INSERT INTO public.t (a, c) VALUES (3, 4);
INSERT INTO public.t (a, c) VALUES (8, 7);
INSERT INTO public.t (a, c) VALUES (7, 10);
INSERT INTO public.t (a, c) VALUES (5, 11);
INSERT INTO public.t (a, c) VALUES (6, 10);
INSERT INTO public.t (a, c) VALUES (7, 2);
INSERT INTO public.t (a, c) VALUES (8, 14);
INSERT INTO public.t (a, c) VALUES (4, 15);
INSERT INTO public.t (a, c) VALUES (4, 11);
INSERT INTO public.t (a, c) VALUES (6, 5);
INSERT INTO public.t (a, c) VALUES (7, 4);
INSERT INTO public.t (a, c) VALUES (9, 16);
INSERT INTO public.t (a, c) VALUES (5, 1);
INSERT INTO public.t (a, c) VALUES (9, 9);
INSERT INTO public.t (a, c) VALUES (2, 15);
INSERT INTO public.t (a, c) VALUES (8, 8);
INSERT INTO public.t (a, c) VALUES (10, 12);
INSERT INTO public.t (a, c) VALUES (8, 13);
INSERT INTO public.t (a, c) VALUES (1, 6);
INSERT INTO public.t (a, c) VALUES (2, 14);
INSERT INTO public.t (a, c) VALUES (8, 19);
INSERT INTO public.t (a, c) VALUES (8, 12);
INSERT INTO public.t (a, c) VALUES (7, 4);
INSERT INTO public.t (a, c) VALUES (4, 1);
INSERT INTO public.t (a, c) VALUES (8, 19);
INSERT INTO public.t (a, c) VALUES (3, 10);
INSERT INTO public.t (a, c) VALUES (1, 4);
INSERT INTO public.t (a, c) VALUES (3, 13);
INSERT INTO public.t (a, c) VALUES (3, 5);
INSERT INTO public.t (a, c) VALUES (1, 8);
INSERT INTO public.t (a, c) VALUES (10, 17);
INSERT INTO public.t (a, c) VALUES (8, 19);
INSERT INTO public.t (a, c) VALUES (5, 12);
INSERT INTO public.t (a, c) VALUES (6, 12);
INSERT INTO public.t (a, c) VALUES (9, 16);
INSERT INTO public.t (a, c) VALUES (3, 13);
INSERT INTO public.t (a, c) VALUES (7, 2);
INSERT INTO public.t (a, c) VALUES (3, 8);
INSERT INTO public.t (a, c) VALUES (3, 13);
INSERT INTO public.t (a, c) VALUES (5, 2);
INSERT INTO public.t (a, c) VALUES (6, 16);
INSERT INTO public.t (a, c) VALUES (6, 15);
INSERT INTO public.t (a, c) VALUES (10, 17);
INSERT INTO public.t (a, c) VALUES (4, 5);
INSERT INTO public.t (a, c) VALUES (1, 10);
INSERT INTO public.t (a, c) VALUES (7, 2);
INSERT INTO public.t (a, c) VALUES (3, 10);
INSERT INTO public.t (a, c) VALUES (0, 17);
INSERT INTO public.t (a, c) VALUES (1, 12);
INSERT INTO public.t (a, c) VALUES (4, 19);
INSERT INTO public.t (a, c) VALUES (4, 14);
INSERT INTO public.t (a, c) VALUES (6, 3);
INSERT INTO public.t (a, c) VALUES (8, 18);
INSERT INTO public.t (a, c) VALUES (6, 2);
INSERT INTO public.t (a, c) VALUES (6, 0);
INSERT INTO public.t (a, c) VALUES (2, 3);
INSERT INTO public.t (a, c) VALUES (8, 15);
INSERT INTO public.t (a, c) VALUES (9, 16);
INSERT INTO public.t (a, c) VALUES (6, 6);
INSERT INTO public.t (a, c) VALUES (0, 15);
INSERT INTO public.t (a, c) VALUES (8, 14);
INSERT INTO public.t (a, c) VALUES (8, 2);
INSERT INTO public.t (a, c) VALUES (2, 17);
INSERT INTO public.t (a, c) VALUES (9, 5);
INSERT INTO public.t (a, c) VALUES (5, 7);
INSERT INTO public.t (a, c) VALUES (2, 18);
INSERT INTO public.t (a, c) VALUES (1, 17);
INSERT INTO public.t (a, c) VALUES (1, 17);
INSERT INTO public.t (a, c) VALUES (7, 12);
INSERT INTO public.t (a, c) VALUES (10, 6);
INSERT INTO public.t (a, c) VALUES (6, 3);
INSERT INTO public.t (a, c) VALUES (4, 9);
INSERT INTO public.t (a, c) VALUES (9, 7);
INSERT INTO public.t (a, c) VALUES (2, 11);
INSERT INTO public.t (a, c) VALUES (6, 5);
INSERT INTO public.t (a, c) VALUES (3, 8);
INSERT INTO public.t (a, c) VALUES (9, 3);
INSERT INTO public.t (a, c) VALUES (5, 2);
INSERT INTO public.t (a, c) VALUES (0, 9);
INSERT INTO public.t (a, c) VALUES (4, 10);
INSERT INTO public.t (a, c) VALUES (8, 12);
INSERT INTO public.t (a, c) VALUES (4, 17);
INSERT INTO public.t (a, c) VALUES (5, 9);
INSERT INTO public.t (a, c) VALUES (7, 4);
INSERT INTO public.t (a, c) VALUES (1, 13);
INSERT INTO public.t (a, c) VALUES (5, 14);
INSERT INTO public.t (a, c) VALUES (8, 19);
INSERT INTO public.t (a, c) VALUES (2, 15);
INSERT INTO public.t (a, c) VALUES (3, 8);
INSERT INTO public.t (a, c) VALUES (3, 18);
INSERT INTO public.t (a, c) VALUES (6, 13);
INSERT INTO public.t (a, c) VALUES (3, 12);
INSERT INTO public.t (a, c) VALUES (8, 15);
INSERT INTO public.t (a, c) VALUES (7, 17);
INSERT INTO public.t (a, c) VALUES (2, 2);
INSERT INTO public.t (a, c) VALUES (3, 20);
INSERT INTO public.t (a, c) VALUES (7, 14);
INSERT INTO public.t (a, c) VALUES (8, 3);
INSERT INTO public.t (a, c) VALUES (2, 10);
INSERT INTO public.t (a, c) VALUES (3, 5);
INSERT INTO public.t (a, c) VALUES (2, 17);
INSERT INTO public.t (a, c) VALUES (10, 20);
INSERT INTO public.t (a, c) VALUES (8, 3);
INSERT INTO public.t (a, c) VALUES (8, 1);
INSERT INTO public.t (a, c) VALUES (5, 2);
INSERT INTO public.t (a, c) VALUES (9, 3);
INSERT INTO public.t (a, c) VALUES (8, 4);
INSERT INTO public.t (a, c) VALUES (8, 12);
INSERT INTO public.t (a, c) VALUES (10, 9);
INSERT INTO public.t (a, c) VALUES (4, 4);
INSERT INTO public.t (a, c) VALUES (5, 15);
INSERT INTO public.t (a, c) VALUES (2, 4);
INSERT INTO public.t (a, c) VALUES (5, 20);
INSERT INTO public.t (a, c) VALUES (4, 13);
INSERT INTO public.t (a, c) VALUES (5, 14);
INSERT INTO public.t (a, c) VALUES (9, 13);
INSERT INTO public.t (a, c) VALUES (5, 17);
INSERT INTO public.t (a, c) VALUES (6, 6);
INSERT INTO public.t (a, c) VALUES (10, 8);
INSERT INTO public.t (a, c) VALUES (3, 10);
INSERT INTO public.t (a, c) VALUES (5, 6);
INSERT INTO public.t (a, c) VALUES (6, 6);
INSERT INTO public.t (a, c) VALUES (5, 8);
INSERT INTO public.t (a, c) VALUES (9, 10);
INSERT INTO public.t (a, c) VALUES (9, 6);
INSERT INTO public.t (a, c) VALUES (7, 8);
INSERT INTO public.t (a, c) VALUES (0, 18);
INSERT INTO public.t (a, c) VALUES (6, 9);
INSERT INTO public.t (a, c) VALUES (9, 20);
INSERT INTO public.t (a, c) VALUES (1, 7);
INSERT INTO public.t (a, c) VALUES (7, 19);
INSERT INTO public.t (a, c) VALUES (10, 4);
INSERT INTO public.t (a, c) VALUES (8, 12);
INSERT INTO public.t (a, c) VALUES (5, 15);
INSERT INTO public.t (a, c) VALUES (0, 17);
INSERT INTO public.t (a, c) VALUES (2, 11);
INSERT INTO public.t (a, c) VALUES (2, 18);
INSERT INTO public.t (a, c) VALUES (8, 13);
INSERT INTO public.t (a, c) VALUES (3, 14);
INSERT INTO public.t (a, c) VALUES (2, 3);
INSERT INTO public.t (a, c) VALUES (10, 18);
INSERT INTO public.t (a, c) VALUES (5, 0);
INSERT INTO public.t (a, c) VALUES (8, 3);
INSERT INTO public.t (a, c) VALUES (5, 13);
INSERT INTO public.t (a, c) VALUES (1, 12);
INSERT INTO public.t (a, c) VALUES (10, 16);
INSERT INTO public.t (a, c) VALUES (6, 19);
INSERT INTO public.t (a, c) VALUES (0, 7);
INSERT INTO public.t (a, c) VALUES (6, 11);
INSERT INTO public.t (a, c) VALUES (1, 12);
INSERT INTO public.t (a, c) VALUES (4, 7);
INSERT INTO public.t (a, c) VALUES (1, 11);
INSERT INTO public.t (a, c) VALUES (2, 19);
INSERT INTO public.t (a, c) VALUES (2, 10);
INSERT INTO public.t (a, c) VALUES (7, 9);
INSERT INTO public.t (a, c) VALUES (7, 14);
INSERT INTO public.t (a, c) VALUES (3, 4);
INSERT INTO public.t (a, c) VALUES (7, 2);
INSERT INTO public.t (a, c) VALUES (3, 4);
INSERT INTO public.t (a, c) VALUES (7, 9);
INSERT INTO public.t (a, c) VALUES (8, 14);
INSERT INTO public.t (a, c) VALUES (2, 7);
INSERT INTO public.t (a, c) VALUES (7, 5);
INSERT INTO public.t (a, c) VALUES (7, 5);
INSERT INTO public.t (a, c) VALUES (8, 16);
INSERT INTO public.t (a, c) VALUES (8, 4);
INSERT INTO public.t (a, c) VALUES (2, 19);
INSERT INTO public.t (a, c) VALUES (8, 8);
INSERT INTO public.t (a, c) VALUES (9, 1);
INSERT INTO public.t (a, c) VALUES (9, 12);
INSERT INTO public.t (a, c) VALUES (5, 12);
INSERT INTO public.t (a, c) VALUES (3, 16);
INSERT INTO public.t (a, c) VALUES (8, 20);
INSERT INTO public.t (a, c) VALUES (9, 2);
INSERT INTO public.t (a, c) VALUES (2, 12);
INSERT INTO public.t (a, c) VALUES (5, 19);
INSERT INTO public.t (a, c) VALUES (3, 15);
INSERT INTO public.t (a, c) VALUES (3, 19);
INSERT INTO public.t (a, c) VALUES (10, 0);
INSERT INTO public.t (a, c) VALUES (2, 16);
INSERT INTO public.t (a, c) VALUES (8, 0);
INSERT INTO public.t (a, c) VALUES (10, 0);
INSERT INTO public.t (a, c) VALUES (10, 16);
INSERT INTO public.t (a, c) VALUES (4, 18);
INSERT INTO public.t (a, c) VALUES (8, 7);
INSERT INTO public.t (a, c) VALUES (5, 5);
INSERT INTO public.t (a, c) VALUES (9, 16);
INSERT INTO public.t (a, c) VALUES (1, 14);
INSERT INTO public.t (a, c) VALUES (8, 19);
INSERT INTO public.t (a, c) VALUES (8, 20);
INSERT INTO public.t (a, c) VALUES (6, 6);
INSERT INTO public.t (a, c) VALUES (10, 17);
INSERT INTO public.t (a, c) VALUES (0, 5);
INSERT INTO public.t (a, c) VALUES (8, 1);
INSERT INTO public.t (a, c) VALUES (3, 1);
INSERT INTO public.t (a, c) VALUES (8, 2);
INSERT INTO public.t (a, c) VALUES (0, 16);
INSERT INTO public.t (a, c) VALUES (1, 0);
INSERT INTO public.t (a, c) VALUES (6, 10);
INSERT INTO public.t (a, c) VALUES (9, 8);
INSERT INTO public.t (a, c) VALUES (9, 9);
INSERT INTO public.t (a, c) VALUES (7, 16);
INSERT INTO public.t (a, c) VALUES (2, 15);
INSERT INTO public.t (a, c) VALUES (5, 1);
INSERT INTO public.t (a, c) VALUES (7, 7);
INSERT INTO public.t (a, c) VALUES (0, 4);
INSERT INTO public.t (a, c) VALUES (6, 20);
INSERT INTO public.t (a, c) VALUES (1, 13);
INSERT INTO public.t (a, c) VALUES (3, 18);
INSERT INTO public.t (a, c) VALUES (7, 11);
INSERT INTO public.t (a, c) VALUES (9, 10);
INSERT INTO public.t (a, c) VALUES (6, 20);
INSERT INTO public.t (a, c) VALUES (3, 14);
INSERT INTO public.t (a, c) VALUES (0, 18);
INSERT INTO public.t (a, c) VALUES (2, 18);
INSERT INTO public.t (a, c) VALUES (3, 2);
INSERT INTO public.t (a, c) VALUES (3, 19);
INSERT INTO public.t (a, c) VALUES (9, 12);
INSERT INTO public.t (a, c) VALUES (7, 9);
INSERT INTO public.t (a, c) VALUES (6, 7);
INSERT INTO public.t (a, c) VALUES (8, 13);
INSERT INTO public.t (a, c) VALUES (6, 8);
INSERT INTO public.t (a, c) VALUES (7, 13);
INSERT INTO public.t (a, c) VALUES (1, 18);
INSERT INTO public.t (a, c) VALUES (6, 16);
INSERT INTO public.t (a, c) VALUES (4, 10);
INSERT INTO public.t (a, c) VALUES (3, 1);
INSERT INTO public.t (a, c) VALUES (5, 12);
INSERT INTO public.t (a, c) VALUES (8, 10);
INSERT INTO public.t (a, c) VALUES (5, 0);
INSERT INTO public.t (a, c) VALUES (4, 16);
INSERT INTO public.t (a, c) VALUES (1, 16);
INSERT INTO public.t (a, c) VALUES (8, 1);
INSERT INTO public.t (a, c) VALUES (4, 9);
INSERT INTO public.t (a, c) VALUES (5, 20);
INSERT INTO public.t (a, c) VALUES (8, 6);
INSERT INTO public.t (a, c) VALUES (7, 7);
INSERT INTO public.t (a, c) VALUES (7, 7);
INSERT INTO public.t (a, c) VALUES (0, 16);
INSERT INTO public.t (a, c) VALUES (3, 12);
INSERT INTO public.t (a, c) VALUES (6, 14);
INSERT INTO public.t (a, c) VALUES (1, 17);
INSERT INTO public.t (a, c) VALUES (8, 12);
INSERT INTO public.t (a, c) VALUES (5, 11);
INSERT INTO public.t (a, c) VALUES (1, 20);
INSERT INTO public.t (a, c) VALUES (6, 12);
INSERT INTO public.t (a, c) VALUES (8, 13);
INSERT INTO public.t (a, c) VALUES (4, 11);
INSERT INTO public.t (a, c) VALUES (7, 15);
INSERT INTO public.t (a, c) VALUES (10, 4);
INSERT INTO public.t (a, c) VALUES (7, 15);
INSERT INTO public.t (a, c) VALUES (5, 8);
INSERT INTO public.t (a, c) VALUES (1, 4);
INSERT INTO public.t (a, c) VALUES (7, 3);
INSERT INTO public.t (a, c) VALUES (0, 20);
INSERT INTO public.t (a, c) VALUES (7, 12);
INSERT INTO public.t (a, c) VALUES (7, 17);
INSERT INTO public.t (a, c) VALUES (5, 9);
INSERT INTO public.t (a, c) VALUES (4, 19);
INSERT INTO public.t (a, c) VALUES (10, 12);
INSERT INTO public.t (a, c) VALUES (9, 11);
INSERT INTO public.t (a, c) VALUES (2, 15);
INSERT INTO public.t (a, c) VALUES (2, 10);
INSERT INTO public.t (a, c) VALUES (3, 18);
INSERT INTO public.t (a, c) VALUES (3, 5);
INSERT INTO public.t (a, c) VALUES (1, 20);
INSERT INTO public.t (a, c) VALUES (0, 13);
INSERT INTO public.t (a, c) VALUES (4, 2);
INSERT INTO public.t (a, c) VALUES (9, 2);
INSERT INTO public.t (a, c) VALUES (3, 18);
INSERT INTO public.t (a, c) VALUES (1, 19);
INSERT INTO public.t (a, c) VALUES (5, 15);
INSERT INTO public.t (a, c) VALUES (8, 20);
INSERT INTO public.t (a, c) VALUES (2, 5);
INSERT INTO public.t (a, c) VALUES (9, 4);
INSERT INTO public.t (a, c) VALUES (8, 18);
INSERT INTO public.t (a, c) VALUES (7, 20);
INSERT INTO public.t (a, c) VALUES (6, 19);
INSERT INTO public.t (a, c) VALUES (5, 18);
INSERT INTO public.t (a, c) VALUES (9, 15);
INSERT INTO public.t (a, c) VALUES (1, 0);
INSERT INTO public.t (a, c) VALUES (8, 3);
INSERT INTO public.t (a, c) VALUES (7, 3);
INSERT INTO public.t (a, c) VALUES (2, 10);
INSERT INTO public.t (a, c) VALUES (3, 10);
INSERT INTO public.t (a, c) VALUES (4, 7);
INSERT INTO public.t (a, c) VALUES (5, 18);
INSERT INTO public.t (a, c) VALUES (1, 5);
INSERT INTO public.t (a, c) VALUES (9, 6);
INSERT INTO public.t (a, c) VALUES (5, 17);
INSERT INTO public.t (a, c) VALUES (5, 7);
INSERT INTO public.t (a, c) VALUES (7, 5);
INSERT INTO public.t (a, c) VALUES (3, 7);
INSERT INTO public.t (a, c) VALUES (2, 17);
INSERT INTO public.t (a, c) VALUES (2, 1);
INSERT INTO public.t (a, c) VALUES (6, 7);
INSERT INTO public.t (a, c) VALUES (1, 8);
INSERT INTO public.t (a, c) VALUES (5, 15);
INSERT INTO public.t (a, c) VALUES (5, 14);
INSERT INTO public.t (a, c) VALUES (2, 15);
INSERT INTO public.t (a, c) VALUES (2, 13);
INSERT INTO public.t (a, c) VALUES (1, 14);
INSERT INTO public.t (a, c) VALUES (6, 4);
INSERT INTO public.t (a, c) VALUES (9, 9);
INSERT INTO public.t (a, c) VALUES (5, 9);
INSERT INTO public.t (a, c) VALUES (3, 1);
INSERT INTO public.t (a, c) VALUES (8, 0);
INSERT INTO public.t (a, c) VALUES (3, 3);
INSERT INTO public.t (a, c) VALUES (4, 10);
INSERT INTO public.t (a, c) VALUES (10, 12);
INSERT INTO public.t (a, c) VALUES (5, 12);
INSERT INTO public.t (a, c) VALUES (9, 12);
INSERT INTO public.t (a, c) VALUES (10, 8);
INSERT INTO public.t (a, c) VALUES (3, 10);
INSERT INTO public.t (a, c) VALUES (1, 12);
INSERT INTO public.t (a, c) VALUES (3, 7);
INSERT INTO public.t (a, c) VALUES (3, 8);
INSERT INTO public.t (a, c) VALUES (0, 17);
INSERT INTO public.t (a, c) VALUES (6, 20);
INSERT INTO public.t (a, c) VALUES (3, 3);
INSERT INTO public.t (a, c) VALUES (4, 12);
INSERT INTO public.t (a, c) VALUES (2, 5);
INSERT INTO public.t (a, c) VALUES (6, 9);
INSERT INTO public.t (a, c) VALUES (4, 19);
INSERT INTO public.t (a, c) VALUES (9, 7);
INSERT INTO public.t (a, c) VALUES (6, 10);
INSERT INTO public.t (a, c) VALUES (10, 10);
INSERT INTO public.t (a, c) VALUES (1, 19);
INSERT INTO public.t (a, c) VALUES (9, 9);
INSERT INTO public.t (a, c) VALUES (4, 1);
INSERT INTO public.t (a, c) VALUES (0, 14);
INSERT INTO public.t (a, c) VALUES (4, 6);
INSERT INTO public.t (a, c) VALUES (1, 9);
INSERT INTO public.t (a, c) VALUES (1, 13);
INSERT INTO public.t (a, c) VALUES (4, 8);
INSERT INTO public.t (a, c) VALUES (8, 18);
INSERT INTO public.t (a, c) VALUES (0, 20);
INSERT INTO public.t (a, c) VALUES (1, 12);
INSERT INTO public.t (a, c) VALUES (4, 10);
INSERT INTO public.t (a, c) VALUES (6, 7);
INSERT INTO public.t (a, c) VALUES (9, 3);
INSERT INTO public.t (a, c) VALUES (9, 17);
INSERT INTO public.t (a, c) VALUES (7, 19);
INSERT INTO public.t (a, c) VALUES (8, 11);
INSERT INTO public.t (a, c) VALUES (4, 4);
INSERT INTO public.t (a, c) VALUES (6, 9);
INSERT INTO public.t (a, c) VALUES (9, 1);
INSERT INTO public.t (a, c) VALUES (8, 19);
INSERT INTO public.t (a, c) VALUES (5, 18);
INSERT INTO public.t (a, c) VALUES (6, 18);
INSERT INTO public.t (a, c) VALUES (3, 9);
INSERT INTO public.t (a, c) VALUES (8, 6);
INSERT INTO public.t (a, c) VALUES (4, 19);
INSERT INTO public.t (a, c) VALUES (9, 17);
INSERT INTO public.t (a, c) VALUES (5, 11);
INSERT INTO public.t (a, c) VALUES (2, 6);
INSERT INTO public.t (a, c) VALUES (7, 2);
INSERT INTO public.t (a, c) VALUES (2, 7);
INSERT INTO public.t (a, c) VALUES (1, 18);
INSERT INTO public.t (a, c) VALUES (9, 9);
INSERT INTO public.t (a, c) VALUES (1, 11);
INSERT INTO public.t (a, c) VALUES (9, 0);
INSERT INTO public.t (a, c) VALUES (6, 14);
INSERT INTO public.t (a, c) VALUES (10, 2);
INSERT INTO public.t (a, c) VALUES (6, 13);
INSERT INTO public.t (a, c) VALUES (0, 18);
INSERT INTO public.t (a, c) VALUES (1, 16);
INSERT INTO public.t (a, c) VALUES (2, 10);
INSERT INTO public.t (a, c) VALUES (8, 4);
INSERT INTO public.t (a, c) VALUES (4, 4);
INSERT INTO public.t (a, c) VALUES (7, 12);
INSERT INTO public.t (a, c) VALUES (5, 8);
INSERT INTO public.t (a, c) VALUES (7, 14);
INSERT INTO public.t (a, c) VALUES (8, 15);
INSERT INTO public.t (a, c) VALUES (6, 14);
INSERT INTO public.t (a, c) VALUES (2, 15);
INSERT INTO public.t (a, c) VALUES (3, 3);
INSERT INTO public.t (a, c) VALUES (7, 17);
INSERT INTO public.t (a, c) VALUES (9, 15);
INSERT INTO public.t (a, c) VALUES (9, 9);
INSERT INTO public.t (a, c) VALUES (4, 19);
INSERT INTO public.t (a, c) VALUES (4, 9);
INSERT INTO public.t (a, c) VALUES (8, 13);
INSERT INTO public.t (a, c) VALUES (9, 10);
INSERT INTO public.t (a, c) VALUES (8, 6);
INSERT INTO public.t (a, c) VALUES (7, 11);
INSERT INTO public.t (a, c) VALUES (9, 5);
INSERT INTO public.t (a, c) VALUES (10, 11);
INSERT INTO public.t (a, c) VALUES (9, 15);
INSERT INTO public.t (a, c) VALUES (3, 11);
INSERT INTO public.t (a, c) VALUES (4, 11);
INSERT INTO public.t (a, c) VALUES (3, 14);
INSERT INTO public.t (a, c) VALUES (7, 0);
INSERT INTO public.t (a, c) VALUES (6, 11);
INSERT INTO public.t (a, c) VALUES (7, 10);
INSERT INTO public.t (a, c) VALUES (0, 2);
INSERT INTO public.t (a, c) VALUES (5, 8);
INSERT INTO public.t (a, c) VALUES (5, 5);
INSERT INTO public.t (a, c) VALUES (0, 9);
INSERT INTO public.t (a, c) VALUES (8, 17);
INSERT INTO public.t (a, c) VALUES (8, 10);
INSERT INTO public.t (a, c) VALUES (4, 13);
INSERT INTO public.t (a, c) VALUES (7, 7);
INSERT INTO public.t (a, c) VALUES (2, 14);
INSERT INTO public.t (a, c) VALUES (1, 11);
INSERT INTO public.t (a, c) VALUES (2, 11);
INSERT INTO public.t (a, c) VALUES (1, 10);
INSERT INTO public.t (a, c) VALUES (3, 15);
INSERT INTO public.t (a, c) VALUES (5, 17);
INSERT INTO public.t (a, c) VALUES (3, 5);
INSERT INTO public.t (a, c) VALUES (3, 6);
INSERT INTO public.t (a, c) VALUES (4, 16);
INSERT INTO public.t (a, c) VALUES (7, 18);
INSERT INTO public.t (a, c) VALUES (1, 15);
INSERT INTO public.t (a, c) VALUES (4, 17);
INSERT INTO public.t (a, c) VALUES (6, 3);
INSERT INTO public.t (a, c) VALUES (3, 19);
INSERT INTO public.t (a, c) VALUES (8, 1);
INSERT INTO public.t (a, c) VALUES (3, 0);
INSERT INTO public.t (a, c) VALUES (7, 8);
INSERT INTO public.t (a, c) VALUES (5, 19);
INSERT INTO public.t (a, c) VALUES (9, 12);
INSERT INTO public.t (a, c) VALUES (5, 4);
INSERT INTO public.t (a, c) VALUES (4, 20);
INSERT INTO public.t (a, c) VALUES (0, 13);
INSERT INTO public.t (a, c) VALUES (3, 7);
INSERT INTO public.t (a, c) VALUES (10, 13);
INSERT INTO public.t (a, c) VALUES (2, 13);
INSERT INTO public.t (a, c) VALUES (5, 5);
INSERT INTO public.t (a, c) VALUES (4, 18);
INSERT INTO public.t (a, c) VALUES (1, 20);
INSERT INTO public.t (a, c) VALUES (0, 8);
INSERT INTO public.t (a, c) VALUES (10, 16);
INSERT INTO public.t (a, c) VALUES (5, 5);
INSERT INTO public.t (a, c) VALUES (8, 4);
INSERT INTO public.t (a, c) VALUES (7, 7);
INSERT INTO public.t (a, c) VALUES (2, 12);
INSERT INTO public.t (a, c) VALUES (9, 13);
INSERT INTO public.t (a, c) VALUES (8, 6);
INSERT INTO public.t (a, c) VALUES (7, 16);
INSERT INTO public.t (a, c) VALUES (9, 18);
INSERT INTO public.t (a, c) VALUES (2, 18);
INSERT INTO public.t (a, c) VALUES (5, 8);
INSERT INTO public.t (a, c) VALUES (6, 2);
INSERT INTO public.t (a, c) VALUES (6, 20);
INSERT INTO public.t (a, c) VALUES (10, 15);
INSERT INTO public.t (a, c) VALUES (10, 0);
INSERT INTO public.t (a, c) VALUES (1, 19);
INSERT INTO public.t (a, c) VALUES (8, 12);
INSERT INTO public.t (a, c) VALUES (2, 13);
INSERT INTO public.t (a, c) VALUES (8, 18);
INSERT INTO public.t (a, c) VALUES (10, 0);
INSERT INTO public.t (a, c) VALUES (5, 18);
INSERT INTO public.t (a, c) VALUES (7, 6);
INSERT INTO public.t (a, c) VALUES (2, 7);
INSERT INTO public.t (a, c) VALUES (1, 3);
INSERT INTO public.t (a, c) VALUES (3, 7);
INSERT INTO public.t (a, c) VALUES (1, 16);
INSERT INTO public.t (a, c) VALUES (7, 13);
INSERT INTO public.t (a, c) VALUES (9, 7);
INSERT INTO public.t (a, c) VALUES (7, 17);
INSERT INTO public.t (a, c) VALUES (1, 13);
INSERT INTO public.t (a, c) VALUES (9, 4);
INSERT INTO public.t (a, c) VALUES (6, 14);
INSERT INTO public.t (a, c) VALUES (8, 16);
INSERT INTO public.t (a, c) VALUES (3, 13);
INSERT INTO public.t (a, c) VALUES (7, 6);
INSERT INTO public.t (a, c) VALUES (7, 5);
INSERT INTO public.t (a, c) VALUES (2, 7);
INSERT INTO public.t (a, c) VALUES (6, 9);
INSERT INTO public.t (a, c) VALUES (7, 14);
INSERT INTO public.t (a, c) VALUES (6, 19);
INSERT INTO public.t (a, c) VALUES (0, 14);
INSERT INTO public.t (a, c) VALUES (8, 15);
INSERT INTO public.t (a, c) VALUES (4, 13);
INSERT INTO public.t (a, c) VALUES (1, 0);
INSERT INTO public.t (a, c) VALUES (5, 4);
INSERT INTO public.t (a, c) VALUES (7, 8);
INSERT INTO public.t (a, c) VALUES (4, 5);
INSERT INTO public.t (a, c) VALUES (1, 5);
INSERT INTO public.t (a, c) VALUES (1, 9);
INSERT INTO public.t (a, c) VALUES (9, 16);
INSERT INTO public.t (a, c) VALUES (8, 11);
INSERT INTO public.t (a, c) VALUES (0, 0);
INSERT INTO public.t (a, c) VALUES (9, 11);
INSERT INTO public.t (a, c) VALUES (5, 12);
INSERT INTO public.t (a, c) VALUES (3, 2);
INSERT INTO public.t (a, c) VALUES (6, 6);
INSERT INTO public.t (a, c) VALUES (8, 6);
INSERT INTO public.t (a, c) VALUES (1, 4);
INSERT INTO public.t (a, c) VALUES (10, 3);
INSERT INTO public.t (a, c) VALUES (2, 10);
INSERT INTO public.t (a, c) VALUES (4, 17);
INSERT INTO public.t (a, c) VALUES (9, 16);
INSERT INTO public.t (a, c) VALUES (1, 20);
INSERT INTO public.t (a, c) VALUES (0, 4);
INSERT INTO public.t (a, c) VALUES (4, 19);
INSERT INTO public.t (a, c) VALUES (10, 4);
INSERT INTO public.t (a, c) VALUES (5, 20);
INSERT INTO public.t (a, c) VALUES (2, 9);
INSERT INTO public.t (a, c) VALUES (6, 14);
INSERT INTO public.t (a, c) VALUES (1, 17);
INSERT INTO public.t (a, c) VALUES (8, 12);
INSERT INTO public.t (a, c) VALUES (1, 12);
INSERT INTO public.t (a, c) VALUES (9, 4);
INSERT INTO public.t (a, c) VALUES (8, 18);
INSERT INTO public.t (a, c) VALUES (4, 20);
INSERT INTO public.t (a, c) VALUES (4, 14);
INSERT INTO public.t (a, c) VALUES (8, 5);
INSERT INTO public.t (a, c) VALUES (5, 19);
INSERT INTO public.t (a, c) VALUES (2, 11);
INSERT INTO public.t (a, c) VALUES (1, 14);
INSERT INTO public.t (a, c) VALUES (5, 2);
INSERT INTO public.t (a, c) VALUES (9, 0);
INSERT INTO public.t (a, c) VALUES (1, 2);
INSERT INTO public.t (a, c) VALUES (4, 13);
INSERT INTO public.t (a, c) VALUES (8, 10);
INSERT INTO public.t (a, c) VALUES (5, 12);
INSERT INTO public.t (a, c) VALUES (1, 12);
INSERT INTO public.t (a, c) VALUES (2, 1);
INSERT INTO public.t (a, c) VALUES (8, 0);
INSERT INTO public.t (a, c) VALUES (9, 3);
INSERT INTO public.t (a, c) VALUES (10, 6);
INSERT INTO public.t (a, c) VALUES (9, 17);
INSERT INTO public.t (a, c) VALUES (6, 8);
INSERT INTO public.t (a, c) VALUES (8, 16);
INSERT INTO public.t (a, c) VALUES (9, 18);
INSERT INTO public.t (a, c) VALUES (5, 9);
INSERT INTO public.t (a, c) VALUES (0, 7);
INSERT INTO public.t (a, c) VALUES (4, 2);
INSERT INTO public.t (a, c) VALUES (5, 17);
INSERT INTO public.t (a, c) VALUES (7, 6);
INSERT INTO public.t (a, c) VALUES (4, 4);
INSERT INTO public.t (a, c) VALUES (9, 9);
INSERT INTO public.t (a, c) VALUES (8, 3);
INSERT INTO public.t (a, c) VALUES (5, 13);
INSERT INTO public.t (a, c) VALUES (1, 9);
INSERT INTO public.t (a, c) VALUES (8, 3);
INSERT INTO public.t (a, c) VALUES (7, 13);
INSERT INTO public.t (a, c) VALUES (10, 6);
INSERT INTO public.t (a, c) VALUES (1, 15);
INSERT INTO public.t (a, c) VALUES (1, 20);
INSERT INTO public.t (a, c) VALUES (6, 11);
INSERT INTO public.t (a, c) VALUES (4, 13);
INSERT INTO public.t (a, c) VALUES (9, 17);
INSERT INTO public.t (a, c) VALUES (7, 8);
INSERT INTO public.t (a, c) VALUES (7, 9);
INSERT INTO public.t (a, c) VALUES (7, 2);
INSERT INTO public.t (a, c) VALUES (7, 12);
INSERT INTO public.t (a, c) VALUES (6, 10);
INSERT INTO public.t (a, c) VALUES (7, 1);
INSERT INTO public.t (a, c) VALUES (1, 18);
INSERT INTO public.t (a, c) VALUES (5, 19);
INSERT INTO public.t (a, c) VALUES (0, 5);
INSERT INTO public.t (a, c) VALUES (6, 19);
INSERT INTO public.t (a, c) VALUES (5, 13);
INSERT INTO public.t (a, c) VALUES (7, 13);
INSERT INTO public.t (a, c) VALUES (7, 7);
INSERT INTO public.t (a, c) VALUES (2, 2);
INSERT INTO public.t (a, c) VALUES (10, 2);
INSERT INTO public.t (a, c) VALUES (9, 14);
INSERT INTO public.t (a, c) VALUES (5, 13);
INSERT INTO public.t (a, c) VALUES (2, 5);
INSERT INTO public.t (a, c) VALUES (7, 17);
INSERT INTO public.t (a, c) VALUES (9, 6);
INSERT INTO public.t (a, c) VALUES (4, 12);
INSERT INTO public.t (a, c) VALUES (4, 10);
INSERT INTO public.t (a, c) VALUES (5, 17);
INSERT INTO public.t (a, c) VALUES (4, 10);
INSERT INTO public.t (a, c) VALUES (1, 1);
INSERT INTO public.t (a, c) VALUES (5, 12);
INSERT INTO public.t (a, c) VALUES (7, 3);
INSERT INTO public.t (a, c) VALUES (2, 7);
INSERT INTO public.t (a, c) VALUES (5, 9);
INSERT INTO public.t (a, c) VALUES (4, 10);
INSERT INTO public.t (a, c) VALUES (6, 7);
INSERT INTO public.t (a, c) VALUES (2, 2);
INSERT INTO public.t (a, c) VALUES (0, 7);
INSERT INTO public.t (a, c) VALUES (3, 16);
INSERT INTO public.t (a, c) VALUES (2, 4);
INSERT INTO public.t (a, c) VALUES (1, 12);
INSERT INTO public.t (a, c) VALUES (8, 9);
INSERT INTO public.t (a, c) VALUES (1, 6);
INSERT INTO public.t (a, c) VALUES (3, 11);
INSERT INTO public.t (a, c) VALUES (8, 7);
INSERT INTO public.t (a, c) VALUES (6, 5);
INSERT INTO public.t (a, c) VALUES (10, 6);
INSERT INTO public.t (a, c) VALUES (4, 5);
INSERT INTO public.t (a, c) VALUES (6, 18);
INSERT INTO public.t (a, c) VALUES (7, 1);
INSERT INTO public.t (a, c) VALUES (4, 4);
INSERT INTO public.t (a, c) VALUES (4, 11);
INSERT INTO public.t (a, c) VALUES (3, 9);
INSERT INTO public.t (a, c) VALUES (9, 13);
INSERT INTO public.t (a, c) VALUES (2, 3);
INSERT INTO public.t (a, c) VALUES (9, 6);
INSERT INTO public.t (a, c) VALUES (7, 14);
INSERT INTO public.t (a, c) VALUES (7, 17);
INSERT INTO public.t (a, c) VALUES (0, 0);
INSERT INTO public.t (a, c) VALUES (4, 16);
INSERT INTO public.t (a, c) VALUES (4, 19);
INSERT INTO public.t (a, c) VALUES (1, 7);
INSERT INTO public.t (a, c) VALUES (2, 9);
INSERT INTO public.t (a, c) VALUES (6, 17);
INSERT INTO public.t (a, c) VALUES (4, 5);
INSERT INTO public.t (a, c) VALUES (9, 15);
INSERT INTO public.t (a, c) VALUES (5, 7);
INSERT INTO public.t (a, c) VALUES (3, 15);
INSERT INTO public.t (a, c) VALUES (8, 5);
INSERT INTO public.t (a, c) VALUES (4, 1);
INSERT INTO public.t (a, c) VALUES (4, 6);
INSERT INTO public.t (a, c) VALUES (4, 3);
INSERT INTO public.t (a, c) VALUES (10, 2);
INSERT INTO public.t (a, c) VALUES (10, 20);
INSERT INTO public.t (a, c) VALUES (1, 7);
INSERT INTO public.t (a, c) VALUES (8, 10);
INSERT INTO public.t (a, c) VALUES (3, 17);
INSERT INTO public.t (a, c) VALUES (9, 11);
INSERT INTO public.t (a, c) VALUES (3, 9);
INSERT INTO public.t (a, c) VALUES (4, 14);
INSERT INTO public.t (a, c) VALUES (7, 7);
INSERT INTO public.t (a, c) VALUES (5, 3);
INSERT INTO public.t (a, c) VALUES (7, 16);
INSERT INTO public.t (a, c) VALUES (9, 10);
INSERT INTO public.t (a, c) VALUES (1, 7);
INSERT INTO public.t (a, c) VALUES (5, 9);
INSERT INTO public.t (a, c) VALUES (6, 18);
INSERT INTO public.t (a, c) VALUES (6, 13);
INSERT INTO public.t (a, c) VALUES (10, 12);
INSERT INTO public.t (a, c) VALUES (6, 2);
INSERT INTO public.t (a, c) VALUES (10, 8);
INSERT INTO public.t (a, c) VALUES (6, 6);
INSERT INTO public.t (a, c) VALUES (3, 9);
INSERT INTO public.t (a, c) VALUES (8, 12);
INSERT INTO public.t (a, c) VALUES (9, 5);
INSERT INTO public.t (a, c) VALUES (3, 12);
INSERT INTO public.t (a, c) VALUES (6, 16);
INSERT INTO public.t (a, c) VALUES (8, 6);
INSERT INTO public.t (a, c) VALUES (6, 14);
INSERT INTO public.t (a, c) VALUES (8, 13);
INSERT INTO public.t (a, c) VALUES (1, 7);
INSERT INTO public.t (a, c) VALUES (1, 14);
INSERT INTO public.t (a, c) VALUES (2, 15);
INSERT INTO public.t (a, c) VALUES (3, 5);
INSERT INTO public.t (a, c) VALUES (4, 19);
INSERT INTO public.t (a, c) VALUES (3, 7);
INSERT INTO public.t (a, c) VALUES (4, 19);
INSERT INTO public.t (a, c) VALUES (6, 13);
INSERT INTO public.t (a, c) VALUES (4, 9);
INSERT INTO public.t (a, c) VALUES (2, 7);
INSERT INTO public.t (a, c) VALUES (7, 11);
INSERT INTO public.t (a, c) VALUES (10, 6);
INSERT INTO public.t (a, c) VALUES (3, 15);
INSERT INTO public.t (a, c) VALUES (6, 19);
INSERT INTO public.t (a, c) VALUES (4, 8);
INSERT INTO public.t (a, c) VALUES (6, 10);
INSERT INTO public.t (a, c) VALUES (7, 14);
INSERT INTO public.t (a, c) VALUES (2, 20);
INSERT INTO public.t (a, c) VALUES (5, 10);
INSERT INTO public.t (a, c) VALUES (2, 16);
INSERT INTO public.t (a, c) VALUES (5, 11);
INSERT INTO public.t (a, c) VALUES (1, 16);
INSERT INTO public.t (a, c) VALUES (5, 15);
INSERT INTO public.t (a, c) VALUES (4, 19);
INSERT INTO public.t (a, c) VALUES (2, 14);
INSERT INTO public.t (a, c) VALUES (3, 19);
INSERT INTO public.t (a, c) VALUES (2, 5);
INSERT INTO public.t (a, c) VALUES (2, 12);
INSERT INTO public.t (a, c) VALUES (10, 17);
INSERT INTO public.t (a, c) VALUES (5, 8);
INSERT INTO public.t (a, c) VALUES (2, 2);
INSERT INTO public.t (a, c) VALUES (9, 20);
INSERT INTO public.t (a, c) VALUES (8, 2);
INSERT INTO public.t (a, c) VALUES (10, 6);
INSERT INTO public.t (a, c) VALUES (6, 4);
INSERT INTO public.t (a, c) VALUES (1, 2);
INSERT INTO public.t (a, c) VALUES (8, 5);
INSERT INTO public.t (a, c) VALUES (9, 6);
INSERT INTO public.t (a, c) VALUES (0, 7);
INSERT INTO public.t (a, c) VALUES (2, 5);
INSERT INTO public.t (a, c) VALUES (0, 10);
INSERT INTO public.t (a, c) VALUES (2, 6);
INSERT INTO public.t (a, c) VALUES (8, 8);
INSERT INTO public.t (a, c) VALUES (9, 15);
INSERT INTO public.t (a, c) VALUES (2, 8);
INSERT INTO public.t (a, c) VALUES (2, 10);
INSERT INTO public.t (a, c) VALUES (5, 1);
INSERT INTO public.t (a, c) VALUES (5, 7);
INSERT INTO public.t (a, c) VALUES (2, 9);
INSERT INTO public.t (a, c) VALUES (6, 16);
INSERT INTO public.t (a, c) VALUES (6, 15);
INSERT INTO public.t (a, c) VALUES (9, 8);
INSERT INTO public.t (a, c) VALUES (10, 16);
INSERT INTO public.t (a, c) VALUES (7, 20);
INSERT INTO public.t (a, c) VALUES (2, 18);
INSERT INTO public.t (a, c) VALUES (2, 4);
INSERT INTO public.t (a, c) VALUES (4, 8);
INSERT INTO public.t (a, c) VALUES (5, 3);
INSERT INTO public.t (a, c) VALUES (8, 7);
INSERT INTO public.t (a, c) VALUES (9, 1);
INSERT INTO public.t (a, c) VALUES (7, 1);
INSERT INTO public.t (a, c) VALUES (5, 5);
INSERT INTO public.t (a, c) VALUES (1, 0);
INSERT INTO public.t (a, c) VALUES (6, 5);
INSERT INTO public.t (a, c) VALUES (4, 4);
INSERT INTO public.t (a, c) VALUES (1, 2);
INSERT INTO public.t (a, c) VALUES (9, 19);
INSERT INTO public.t (a, c) VALUES (5, 18);
INSERT INTO public.t (a, c) VALUES (7, 2);
INSERT INTO public.t (a, c) VALUES (9, 18);
INSERT INTO public.t (a, c) VALUES (0, 3);
INSERT INTO public.t (a, c) VALUES (1, 8);
INSERT INTO public.t (a, c) VALUES (5, 11);
INSERT INTO public.t (a, c) VALUES (6, 6);
INSERT INTO public.t (a, c) VALUES (9, 9);
INSERT INTO public.t (a, c) VALUES (4, 13);
INSERT INTO public.t (a, c) VALUES (5, 18);
INSERT INTO public.t (a, c) VALUES (9, 13);
INSERT INTO public.t (a, c) VALUES (9, 9);
INSERT INTO public.t (a, c) VALUES (9, 7);
INSERT INTO public.t (a, c) VALUES (7, 19);
INSERT INTO public.t (a, c) VALUES (4, 12);
INSERT INTO public.t (a, c) VALUES (9, 18);
INSERT INTO public.t (a, c) VALUES (5, 13);
INSERT INTO public.t (a, c) VALUES (0, 8);
INSERT INTO public.t (a, c) VALUES (5, 1);
INSERT INTO public.t (a, c) VALUES (5, 12);
INSERT INTO public.t (a, c) VALUES (4, 1);
INSERT INTO public.t (a, c) VALUES (1, 0);
INSERT INTO public.t (a, c) VALUES (4, 1);
INSERT INTO public.t (a, c) VALUES (5, 15);
INSERT INTO public.t (a, c) VALUES (7, 0);
INSERT INTO public.t (a, c) VALUES (7, 11);
INSERT INTO public.t (a, c) VALUES (6, 11);
INSERT INTO public.t (a, c) VALUES (0, 11);
INSERT INTO public.t (a, c) VALUES (9, 14);
INSERT INTO public.t (a, c) VALUES (5, 7);
INSERT INTO public.t (a, c) VALUES (3, 8);
INSERT INTO public.t (a, c) VALUES (2, 16);
INSERT INTO public.t (a, c) VALUES (0, 5);
INSERT INTO public.t (a, c) VALUES (2, 11);
INSERT INTO public.t (a, c) VALUES (3, 16);
INSERT INTO public.t (a, c) VALUES (2, 14);
INSERT INTO public.t (a, c) VALUES (8, 6);
INSERT INTO public.t (a, c) VALUES (7, 5);
INSERT INTO public.t (a, c) VALUES (3, 4);
INSERT INTO public.t (a, c) VALUES (10, 1);
INSERT INTO public.t (a, c) VALUES (2, 13);
INSERT INTO public.t (a, c) VALUES (6, 17);
INSERT INTO public.t (a, c) VALUES (2, 13);
INSERT INTO public.t (a, c) VALUES (4, 2);
INSERT INTO public.t (a, c) VALUES (3, 17);
INSERT INTO public.t (a, c) VALUES (4, 13);
INSERT INTO public.t (a, c) VALUES (3, 13);
INSERT INTO public.t (a, c) VALUES (4, 6);
INSERT INTO public.t (a, c) VALUES (9, 13);
INSERT INTO public.t (a, c) VALUES (9, 3);
INSERT INTO public.t (a, c) VALUES (5, 1);
INSERT INTO public.t (a, c) VALUES (9, 6);
INSERT INTO public.t (a, c) VALUES (3, 12);
INSERT INTO public.t (a, c) VALUES (5, 14);
INSERT INTO public.t (a, c) VALUES (8, 10);
INSERT INTO public.t (a, c) VALUES (7, 20);
INSERT INTO public.t (a, c) VALUES (2, 6);
INSERT INTO public.t (a, c) VALUES (8, 7);
INSERT INTO public.t (a, c) VALUES (9, 3);
INSERT INTO public.t (a, c) VALUES (4, 5);
INSERT INTO public.t (a, c) VALUES (0, 18);
INSERT INTO public.t (a, c) VALUES (9, 6);
INSERT INTO public.t (a, c) VALUES (5, 7);
INSERT INTO public.t (a, c) VALUES (6, 9);
INSERT INTO public.t (a, c) VALUES (0, 10);
INSERT INTO public.t (a, c) VALUES (6, 9);
INSERT INTO public.t (a, c) VALUES (6, 9);
INSERT INTO public.t (a, c) VALUES (8, 18);
INSERT INTO public.t (a, c) VALUES (0, 6);
INSERT INTO public.t (a, c) VALUES (6, 17);
INSERT INTO public.t (a, c) VALUES (8, 6);
INSERT INTO public.t (a, c) VALUES (8, 19);
INSERT INTO public.t (a, c) VALUES (6, 12);
INSERT INTO public.t (a, c) VALUES (3, 11);
INSERT INTO public.t (a, c) VALUES (8, 15);
INSERT INTO public.t (a, c) VALUES (8, 17);
INSERT INTO public.t (a, c) VALUES (6, 15);
INSERT INTO public.t (a, c) VALUES (1, 3);
INSERT INTO public.t (a, c) VALUES (1, 16);
INSERT INTO public.t (a, c) VALUES (6, 2);
INSERT INTO public.t (a, c) VALUES (3, 4);
INSERT INTO public.t (a, c) VALUES (5, 17);
INSERT INTO public.t (a, c) VALUES (7, 6);
INSERT INTO public.t (a, c) VALUES (8, 14);
INSERT INTO public.t (a, c) VALUES (6, 7);
INSERT INTO public.t (a, c) VALUES (6, 8);
INSERT INTO public.t (a, c) VALUES (7, 7);
INSERT INTO public.t (a, c) VALUES (4, 6);
INSERT INTO public.t (a, c) VALUES (10, 13);
INSERT INTO public.t (a, c) VALUES (9, 15);
INSERT INTO public.t (a, c) VALUES (4, 14);
INSERT INTO public.t (a, c) VALUES (6, 1);
INSERT INTO public.t (a, c) VALUES (4, 15);
INSERT INTO public.t (a, c) VALUES (2, 10);
INSERT INTO public.t (a, c) VALUES (5, 16);
INSERT INTO public.t (a, c) VALUES (6, 17);
INSERT INTO public.t (a, c) VALUES (0, 2);
INSERT INTO public.t (a, c) VALUES (7, 14);
INSERT INTO public.t (a, c) VALUES (4, 9);
INSERT INTO public.t (a, c) VALUES (4, 20);
INSERT INTO public.t (a, c) VALUES (8, 19);
INSERT INTO public.t (a, c) VALUES (4, 10);
INSERT INTO public.t (a, c) VALUES (3, 14);
INSERT INTO public.t (a, c) VALUES (8, 6);
INSERT INTO public.t (a, c) VALUES (4, 12);
INSERT INTO public.t (a, c) VALUES (1, 16);
INSERT INTO public.t (a, c) VALUES (3, 13);
INSERT INTO public.t (a, c) VALUES (8, 14);
INSERT INTO public.t (a, c) VALUES (4, 0);
INSERT INTO public.t (a, c) VALUES (2, 19);
INSERT INTO public.t (a, c) VALUES (8, 15);
INSERT INTO public.t (a, c) VALUES (8, 17);
INSERT INTO public.t (a, c) VALUES (9, 10);
INSERT INTO public.t (a, c) VALUES (5, 5);
INSERT INTO public.t (a, c) VALUES (10, 19);
INSERT INTO public.t (a, c) VALUES (2, 16);
INSERT INTO public.t (a, c) VALUES (9, 12);
INSERT INTO public.t (a, c) VALUES (3, 4);
INSERT INTO public.t (a, c) VALUES (3, 1);
INSERT INTO public.t (a, c) VALUES (5, 14);
INSERT INTO public.t (a, c) VALUES (7, 12);
INSERT INTO public.t (a, c) VALUES (5, 20);
INSERT INTO public.t (a, c) VALUES (3, 6);
INSERT INTO public.t (a, c) VALUES (7, 14);
INSERT INTO public.t (a, c) VALUES (3, 18);
INSERT INTO public.t (a, c) VALUES (7, 3);
INSERT INTO public.t (a, c) VALUES (7, 9);
INSERT INTO public.t (a, c) VALUES (10, 11);
INSERT INTO public.t (a, c) VALUES (10, 10);
INSERT INTO public.t (a, c) VALUES (8, 19);
INSERT INTO public.t (a, c) VALUES (4, 0);
INSERT INTO public.t (a, c) VALUES (8, 7);
INSERT INTO public.t (a, c) VALUES (6, 1);
INSERT INTO public.t (a, c) VALUES (6, 19);
INSERT INTO public.t (a, c) VALUES (1, 2);
INSERT INTO public.t (a, c) VALUES (7, 15);
INSERT INTO public.t (a, c) VALUES (7, 3);
INSERT INTO public.t (a, c) VALUES (7, 19);
INSERT INTO public.t (a, c) VALUES (5, 9);
INSERT INTO public.t (a, c) VALUES (6, 16);
INSERT INTO public.t (a, c) VALUES (3, 6);
INSERT INTO public.t (a, c) VALUES (10, 0);
INSERT INTO public.t (a, c) VALUES (8, 19);
INSERT INTO public.t (a, c) VALUES (5, 15);
INSERT INTO public.t (a, c) VALUES (5, 7);
INSERT INTO public.t (a, c) VALUES (7, 18);
INSERT INTO public.t (a, c) VALUES (4, 9);
INSERT INTO public.t (a, c) VALUES (3, 19);
INSERT INTO public.t (a, c) VALUES (5, 16);
INSERT INTO public.t (a, c) VALUES (9, 11);
INSERT INTO public.t (a, c) VALUES (9, 12);
INSERT INTO public.t (a, c) VALUES (3, 12);
INSERT INTO public.t (a, c) VALUES (7, 1);
INSERT INTO public.t (a, c) VALUES (5, 4);
INSERT INTO public.t (a, c) VALUES (5, 4);
INSERT INTO public.t (a, c) VALUES (10, 17);
INSERT INTO public.t (a, c) VALUES (5, 19);
INSERT INTO public.t (a, c) VALUES (9, 5);
INSERT INTO public.t (a, c) VALUES (9, 8);
INSERT INTO public.t (a, c) VALUES (10, 7);
INSERT INTO public.t (a, c) VALUES (7, 13);
INSERT INTO public.t (a, c) VALUES (3, 2);
INSERT INTO public.t (a, c) VALUES (1, 11);
INSERT INTO public.t (a, c) VALUES (1, 12);
INSERT INTO public.t (a, c) VALUES (4, 20);
INSERT INTO public.t (a, c) VALUES (1, 5);
INSERT INTO public.t (a, c) VALUES (6, 9);
INSERT INTO public.t (a, c) VALUES (9, 6);
INSERT INTO public.t (a, c) VALUES (5, 8);
INSERT INTO public.t (a, c) VALUES (5, 20);
INSERT INTO public.t (a, c) VALUES (6, 10);
INSERT INTO public.t (a, c) VALUES (8, 1);
INSERT INTO public.t (a, c) VALUES (4, 14);
INSERT INTO public.t (a, c) VALUES (3, 7);
INSERT INTO public.t (a, c) VALUES (1, 6);
INSERT INTO public.t (a, c) VALUES (7, 16);
INSERT INTO public.t (a, c) VALUES (10, 19);
INSERT INTO public.t (a, c) VALUES (9, 2);
INSERT INTO public.t (a, c) VALUES (5, 19);
INSERT INTO public.t (a, c) VALUES (7, 17);
INSERT INTO public.t (a, c) VALUES (10, 16);
INSERT INTO public.t (a, c) VALUES (1, 10);
INSERT INTO public.t (a, c) VALUES (3, 0);
INSERT INTO public.t (a, c) VALUES (8, 15);
INSERT INTO public.t (a, c) VALUES (4, 6);
INSERT INTO public.t (a, c) VALUES (8, 0);
INSERT INTO public.t (a, c) VALUES (8, 12);
INSERT INTO public.t (a, c) VALUES (1, 5);
INSERT INTO public.t (a, c) VALUES (3, 8);
INSERT INTO public.t (a, c) VALUES (6, 7);
INSERT INTO public.t (a, c) VALUES (7, 6);
INSERT INTO public.t (a, c) VALUES (2, 14);
INSERT INTO public.t (a, c) VALUES (3, 1);
INSERT INTO public.t (a, c) VALUES (8, 16);
INSERT INTO public.t (a, c) VALUES (0, 9);
INSERT INTO public.t (a, c) VALUES (6, 20);
INSERT INTO public.t (a, c) VALUES (2, 16);
INSERT INTO public.t (a, c) VALUES (5, 10);
INSERT INTO public.t (a, c) VALUES (8, 7);
INSERT INTO public.t (a, c) VALUES (3, 4);
INSERT INTO public.t (a, c) VALUES (7, 0);
INSERT INTO public.t (a, c) VALUES (2, 9);
INSERT INTO public.t (a, c) VALUES (6, 6);
INSERT INTO public.t (a, c) VALUES (7, 17);
INSERT INTO public.t (a, c) VALUES (7, 6);
INSERT INTO public.t (a, c) VALUES (2, 8);
INSERT INTO public.t (a, c) VALUES (6, 8);
INSERT INTO public.t (a, c) VALUES (1, 17);
INSERT INTO public.t (a, c) VALUES (4, 17);
INSERT INTO public.t (a, c) VALUES (6, 10);
INSERT INTO public.t (a, c) VALUES (3, 6);
INSERT INTO public.t (a, c) VALUES (5, 10);
INSERT INTO public.t (a, c) VALUES (1, 19);
INSERT INTO public.t (a, c) VALUES (10, 18);
INSERT INTO public.t (a, c) VALUES (3, 5);
INSERT INTO public.t (a, c) VALUES (1, 19);
INSERT INTO public.t (a, c) VALUES (3, 6);
INSERT INTO public.t (a, c) VALUES (4, 17);
INSERT INTO public.t (a, c) VALUES (6, 3);
INSERT INTO public.t (a, c) VALUES (7, 6);
INSERT INTO public.t (a, c) VALUES (4, 19);
INSERT INTO public.t (a, c) VALUES (7, 1);
INSERT INTO public.t (a, c) VALUES (3, 15);
INSERT INTO public.t (a, c) VALUES (9, 15);
INSERT INTO public.t (a, c) VALUES (6, 11);
INSERT INTO public.t (a, c) VALUES (2, 17);
INSERT INTO public.t (a, c) VALUES (9, 14);
INSERT INTO public.t (a, c) VALUES (3, 19);
INSERT INTO public.t (a, c) VALUES (7, 7);
INSERT INTO public.t (a, c) VALUES (8, 20);
INSERT INTO public.t (a, c) VALUES (6, 18);
INSERT INTO public.t (a, c) VALUES (9, 17);
INSERT INTO public.t (a, c) VALUES (2, 7);
INSERT INTO public.t (a, c) VALUES (7, 17);
INSERT INTO public.t (a, c) VALUES (5, 9);
INSERT INTO public.t (a, c) VALUES (1, 18);
INSERT INTO public.t (a, c) VALUES (4, 16);
INSERT INTO public.t (a, c) VALUES (10, 15);
INSERT INTO public.t (a, c) VALUES (6, 18);
INSERT INTO public.t (a, c) VALUES (5, 3);
INSERT INTO public.t (a, c) VALUES (5, 15);
INSERT INTO public.t (a, c) VALUES (0, 6);
INSERT INTO public.t (a, c) VALUES (5, 8);
INSERT INTO public.t (a, c) VALUES (2, 3);
INSERT INTO public.t (a, c) VALUES (7, 1);
INSERT INTO public.t (a, c) VALUES (1, 6);
INSERT INTO public.t (a, c) VALUES (10, 1);
INSERT INTO public.t (a, c) VALUES (1, 4);
INSERT INTO public.t (a, c) VALUES (4, 17);
INSERT INTO public.t (a, c) VALUES (0, 17);
INSERT INTO public.t (a, c) VALUES (3, 3);
INSERT INTO public.t (a, c) VALUES (8, 14);
INSERT INTO public.t (a, c) VALUES (9, 15);
INSERT INTO public.t (a, c) VALUES (4, 11);
INSERT INTO public.t (a, c) VALUES (6, 19);
INSERT INTO public.t (a, c) VALUES (7, 2);
INSERT INTO public.t (a, c) VALUES (7, 14);
INSERT INTO public.t (a, c) VALUES (4, 3);
INSERT INTO public.t (a, c) VALUES (1, 12);
INSERT INTO public.t (a, c) VALUES (3, 16);
INSERT INTO public.t (a, c) VALUES (7, 8);
INSERT INTO public.t (a, c) VALUES (1, 13);
INSERT INTO public.t (a, c) VALUES (4, 5);
INSERT INTO public.t (a, c) VALUES (8, 16);
INSERT INTO public.t (a, c) VALUES (1, 17);
INSERT INTO public.t (a, c) VALUES (7, 8);
INSERT INTO public.t (a, c) VALUES (10, 9);
INSERT INTO public.t (a, c) VALUES (1, 19);
INSERT INTO public.t (a, c) VALUES (2, 11);
INSERT INTO public.t (a, c) VALUES (5, 16);
INSERT INTO public.t (a, c) VALUES (5, 3);
INSERT INTO public.t (a, c) VALUES (9, 3);
INSERT INTO public.t (a, c) VALUES (9, 6);
INSERT INTO public.t (a, c) VALUES (3, 20);
INSERT INTO public.t (a, c) VALUES (9, 11);
INSERT INTO public.t (a, c) VALUES (8, 12);
INSERT INTO public.t (a, c) VALUES (10, 18);
INSERT INTO public.t (a, c) VALUES (2, 8);
INSERT INTO public.t (a, c) VALUES (2, 1);
INSERT INTO public.t (a, c) VALUES (2, 5);
INSERT INTO public.t (a, c) VALUES (9, 17);
INSERT INTO public.t (a, c) VALUES (7, 18);
INSERT INTO public.t (a, c) VALUES (3, 16);
INSERT INTO public.t (a, c) VALUES (8, 9);
INSERT INTO public.t (a, c) VALUES (3, 6);
INSERT INTO public.t (a, c) VALUES (3, 16);
INSERT INTO public.t (a, c) VALUES (4, 4);
INSERT INTO public.t (a, c) VALUES (10, 6);
INSERT INTO public.t (a, c) VALUES (5, 5);
INSERT INTO public.t (a, c) VALUES (3, 7);
INSERT INTO public.t (a, c) VALUES (8, 2);
INSERT INTO public.t (a, c) VALUES (9, 16);
INSERT INTO public.t (a, c) VALUES (0, 3);
INSERT INTO public.t (a, c) VALUES (2, 3);
INSERT INTO public.t (a, c) VALUES (2, 8);
INSERT INTO public.t (a, c) VALUES (4, 3);
INSERT INTO public.t (a, c) VALUES (3, 2);
INSERT INTO public.t (a, c) VALUES (0, 11);
INSERT INTO public.t (a, c) VALUES (9, 17);
INSERT INTO public.t (a, c) VALUES (0, 5);
INSERT INTO public.t (a, c) VALUES (1, 6);
INSERT INTO public.t (a, c) VALUES (0, 12);
INSERT INTO public.t (a, c) VALUES (5, 0);
INSERT INTO public.t (a, c) VALUES (9, 19);
INSERT INTO public.t (a, c) VALUES (3, 4);
INSERT INTO public.t (a, c) VALUES (3, 2);
INSERT INTO public.t (a, c) VALUES (3, 5);
INSERT INTO public.t (a, c) VALUES (9, 6);
INSERT INTO public.t (a, c) VALUES (4, 1);
INSERT INTO public.t (a, c) VALUES (5, 13);
INSERT INTO public.t (a, c) VALUES (5, 18);
INSERT INTO public.t (a, c) VALUES (8, 14);
INSERT INTO public.t (a, c) VALUES (0, 16);
INSERT INTO public.t (a, c) VALUES (3, 18);
INSERT INTO public.t (a, c) VALUES (7, 6);
INSERT INTO public.t (a, c) VALUES (1, 16);
INSERT INTO public.t (a, c) VALUES (6, 3);
INSERT INTO public.t (a, c) VALUES (4, 1);
INSERT INTO public.t (a, c) VALUES (2, 6);
INSERT INTO public.t (a, c) VALUES (0, 9);
INSERT INTO public.t (a, c) VALUES (5, 6);
INSERT INTO public.t (a, c) VALUES (5, 15);
INSERT INTO public.t (a, c) VALUES (6, 8);
INSERT INTO public.t (a, c) VALUES (1, 20);
INSERT INTO public.t (a, c) VALUES (5, 11);
INSERT INTO public.t (a, c) VALUES (6, 19);
INSERT INTO public.t (a, c) VALUES (5, 9);
INSERT INTO public.t (a, c) VALUES (7, 9);
INSERT INTO public.t (a, c) VALUES (2, 18);
INSERT INTO public.t (a, c) VALUES (4, 18);
INSERT INTO public.t (a, c) VALUES (2, 10);
INSERT INTO public.t (a, c) VALUES (7, 16);
INSERT INTO public.t (a, c) VALUES (7, 2);
INSERT INTO public.t (a, c) VALUES (9, 16);
INSERT INTO public.t (a, c) VALUES (4, 18);
INSERT INTO public.t (a, c) VALUES (3, 17);
INSERT INTO public.t (a, c) VALUES (2, 16);
INSERT INTO public.t (a, c) VALUES (6, 15);
INSERT INTO public.t (a, c) VALUES (2, 14);
INSERT INTO public.t (a, c) VALUES (8, 14);
INSERT INTO public.t (a, c) VALUES (3, 8);
INSERT INTO public.t (a, c) VALUES (6, 14);
INSERT INTO public.t (a, c) VALUES (8, 6);
INSERT INTO public.t (a, c) VALUES (2, 1);
INSERT INTO public.t (a, c) VALUES (2, 11);
INSERT INTO public.t (a, c) VALUES (10, 8);
INSERT INTO public.t (a, c) VALUES (0, 14);
INSERT INTO public.t (a, c) VALUES (2, 14);
INSERT INTO public.t (a, c) VALUES (8, 2);
INSERT INTO public.t (a, c) VALUES (5, 4);
INSERT INTO public.t (a, c) VALUES (10, 15);
INSERT INTO public.t (a, c) VALUES (0, 3);
INSERT INTO public.t (a, c) VALUES (5, 14);
INSERT INTO public.t (a, c) VALUES (9, 15);
INSERT INTO public.t (a, c) VALUES (4, 14);
INSERT INTO public.t (a, c) VALUES (4, 13);
INSERT INTO public.t (a, c) VALUES (1, 1);
INSERT INTO public.t (a, c) VALUES (3, 18);
INSERT INTO public.t (a, c) VALUES (3, 10);
INSERT INTO public.t (a, c) VALUES (10, 11);
INSERT INTO public.t (a, c) VALUES (0, 19);
INSERT INTO public.t (a, c) VALUES (10, 1);
INSERT INTO public.t (a, c) VALUES (7, 3);
INSERT INTO public.t (a, c) VALUES (7, 9);
INSERT INTO public.t (a, c) VALUES (2, 5);
INSERT INTO public.t (a, c) VALUES (7, 4);
INSERT INTO public.t (a, c) VALUES (10, 14);
INSERT INTO public.t (a, c) VALUES (4, 11);
INSERT INTO public.t (a, c) VALUES (4, 7);
INSERT INTO public.t (a, c) VALUES (3, 15);
INSERT INTO public.t (a, c) VALUES (0, 13);
INSERT INTO public.t (a, c) VALUES (4, 2);
INSERT INTO public.t (a, c) VALUES (7, 14);
INSERT INTO public.t (a, c) VALUES (0, 1);
INSERT INTO public.t (a, c) VALUES (2, 20);
INSERT INTO public.t (a, c) VALUES (6, 5);
INSERT INTO public.t (a, c) VALUES (9, 10);
INSERT INTO public.t (a, c) VALUES (3, 12);
INSERT INTO public.t (a, c) VALUES (7, 1);
INSERT INTO public.t (a, c) VALUES (0, 19);
INSERT INTO public.t (a, c) VALUES (3, 14);
INSERT INTO public.t (a, c) VALUES (2, 5);
INSERT INTO public.t (a, c) VALUES (4, 11);
INSERT INTO public.t (a, c) VALUES (8, 15);
INSERT INTO public.t (a, c) VALUES (9, 1);
INSERT INTO public.t (a, c) VALUES (5, 18);
INSERT INTO public.t (a, c) VALUES (7, 18);
INSERT INTO public.t (a, c) VALUES (0, 9);
INSERT INTO public.t (a, c) VALUES (6, 1);
INSERT INTO public.t (a, c) VALUES (5, 17);
INSERT INTO public.t (a, c) VALUES (0, 1);
INSERT INTO public.t (a, c) VALUES (1, 19);
INSERT INTO public.t (a, c) VALUES (6, 8);
INSERT INTO public.t (a, c) VALUES (5, 5);
INSERT INTO public.t (a, c) VALUES (4, 12);
INSERT INTO public.t (a, c) VALUES (2, 14);
INSERT INTO public.t (a, c) VALUES (3, 7);
INSERT INTO public.t (a, c) VALUES (9, 13);
INSERT INTO public.t (a, c) VALUES (9, 15);
INSERT INTO public.t (a, c) VALUES (4, 15);
INSERT INTO public.t (a, c) VALUES (8, 19);
INSERT INTO public.t (a, c) VALUES (7, 11);
INSERT INTO public.t (a, c) VALUES (9, 14);
INSERT INTO public.t (a, c) VALUES (0, 10);
INSERT INTO public.t (a, c) VALUES (8, 10);
INSERT INTO public.t (a, c) VALUES (3, 16);
INSERT INTO public.t (a, c) VALUES (6, 8);
INSERT INTO public.t (a, c) VALUES (7, 3);
INSERT INTO public.t (a, c) VALUES (8, 6);
INSERT INTO public.t (a, c) VALUES (4, 4);
INSERT INTO public.t (a, c) VALUES (9, 11);
INSERT INTO public.t (a, c) VALUES (9, 2);
INSERT INTO public.t (a, c) VALUES (9, 16);
INSERT INTO public.t (a, c) VALUES (8, 15);
INSERT INTO public.t (a, c) VALUES (6, 4);
INSERT INTO public.t (a, c) VALUES (5, 8);
INSERT INTO public.t (a, c) VALUES (2, 4);
INSERT INTO public.t (a, c) VALUES (10, 1);
INSERT INTO public.t (a, c) VALUES (9, 20);
INSERT INTO public.t (a, c) VALUES (5, 13);
INSERT INTO public.t (a, c) VALUES (5, 17);
INSERT INTO public.t (a, c) VALUES (4, 1);
INSERT INTO public.t (a, c) VALUES (3, 4);
INSERT INTO public.t (a, c) VALUES (2, 2);
INSERT INTO public.t (a, c) VALUES (5, 11);
INSERT INTO public.t (a, c) VALUES (3, 6);
INSERT INTO public.t (a, c) VALUES (1, 3);
INSERT INTO public.t (a, c) VALUES (4, 0);
INSERT INTO public.t (a, c) VALUES (10, 4);
INSERT INTO public.t (a, c) VALUES (8, 11);
INSERT INTO public.t (a, c) VALUES (4, 6);
INSERT INTO public.t (a, c) VALUES (10, 12);
INSERT INTO public.t (a, c) VALUES (5, 19);
INSERT INTO public.t (a, c) VALUES (6, 8);
INSERT INTO public.t (a, c) VALUES (9, 4);
INSERT INTO public.t (a, c) VALUES (0, 8);
INSERT INTO public.t (a, c) VALUES (0, 10);
INSERT INTO public.t (a, c) VALUES (5, 7);
INSERT INTO public.t (a, c) VALUES (7, 13);
INSERT INTO public.t (a, c) VALUES (4, 3);
INSERT INTO public.t (a, c) VALUES (2, 14);
INSERT INTO public.t (a, c) VALUES (5, 7);
INSERT INTO public.t (a, c) VALUES (8, 18);
INSERT INTO public.t (a, c) VALUES (4, 17);
INSERT INTO public.t (a, c) VALUES (1, 3);
INSERT INTO public.t (a, c) VALUES (4, 11);
INSERT INTO public.t (a, c) VALUES (4, 7);
INSERT INTO public.t (a, c) VALUES (2, 18);
INSERT INTO public.t (a, c) VALUES (3, 16);
INSERT INTO public.t (a, c) VALUES (3, 4);
INSERT INTO public.t (a, c) VALUES (10, 7);
INSERT INTO public.t (a, c) VALUES (6, 1);
INSERT INTO public.t (a, c) VALUES (8, 2);
INSERT INTO public.t (a, c) VALUES (4, 10);
INSERT INTO public.t (a, c) VALUES (8, 15);
INSERT INTO public.t (a, c) VALUES (7, 0);
INSERT INTO public.t (a, c) VALUES (5, 2);
INSERT INTO public.t (a, c) VALUES (4, 6);
INSERT INTO public.t (a, c) VALUES (0, 15);
INSERT INTO public.t (a, c) VALUES (1, 3);
INSERT INTO public.t (a, c) VALUES (9, 11);
INSERT INTO public.t (a, c) VALUES (7, 6);
INSERT INTO public.t (a, c) VALUES (9, 17);
INSERT INTO public.t (a, c) VALUES (2, 3);
INSERT INTO public.t (a, c) VALUES (7, 9);
INSERT INTO public.t (a, c) VALUES (4, 13);
INSERT INTO public.t (a, c) VALUES (8, 20);
INSERT INTO public.t (a, c) VALUES (7, 13);
INSERT INTO public.t (a, c) VALUES (1, 1);
INSERT INTO public.t (a, c) VALUES (1, 17);
INSERT INTO public.t (a, c) VALUES (8, 16);
INSERT INTO public.t (a, c) VALUES (9, 5);
INSERT INTO public.t (a, c) VALUES (9, 5);
INSERT INTO public.t (a, c) VALUES (6, 18);
INSERT INTO public.t (a, c) VALUES (0, 14);
INSERT INTO public.t (a, c) VALUES (1, 17);
INSERT INTO public.t (a, c) VALUES (2, 15);
INSERT INTO public.t (a, c) VALUES (2, 2);
INSERT INTO public.t (a, c) VALUES (6, 7);
INSERT INTO public.t (a, c) VALUES (3, 5);
INSERT INTO public.t (a, c) VALUES (8, 13);
INSERT INTO public.t (a, c) VALUES (9, 12);
INSERT INTO public.t (a, c) VALUES (6, 11);
INSERT INTO public.t (a, c) VALUES (2, 14);
INSERT INTO public.t (a, c) VALUES (6, 7);
INSERT INTO public.t (a, c) VALUES (6, 8);
INSERT INTO public.t (a, c) VALUES (2, 10);
INSERT INTO public.t (a, c) VALUES (7, 1);
INSERT INTO public.t (a, c) VALUES (7, 5);
INSERT INTO public.t (a, c) VALUES (10, 15);
INSERT INTO public.t (a, c) VALUES (9, 1);
INSERT INTO public.t (a, c) VALUES (6, 4);
INSERT INTO public.t (a, c) VALUES (8, 16);
INSERT INTO public.t (a, c) VALUES (3, 8);
INSERT INTO public.t (a, c) VALUES (1, 11);
INSERT INTO public.t (a, c) VALUES (6, 18);
INSERT INTO public.t (a, c) VALUES (2, 11);
INSERT INTO public.t (a, c) VALUES (5, 16);
INSERT INTO public.t (a, c) VALUES (1, 14);
INSERT INTO public.t (a, c) VALUES (5, 14);
INSERT INTO public.t (a, c) VALUES (1, 2);
INSERT INTO public.t (a, c) VALUES (1, 5);
INSERT INTO public.t (a, c) VALUES (6, 15);
INSERT INTO public.t (a, c) VALUES (3, 7);
INSERT INTO public.t (a, c) VALUES (10, 6);
INSERT INTO public.t (a, c) VALUES (1, 18);
INSERT INTO public.t (a, c) VALUES (3, 14);
INSERT INTO public.t (a, c) VALUES (1, 3);
INSERT INTO public.t (a, c) VALUES (5, 8);
INSERT INTO public.t (a, c) VALUES (5, 12);
INSERT INTO public.t (a, c) VALUES (9, 4);
INSERT INTO public.t (a, c) VALUES (5, 3);
INSERT INTO public.t (a, c) VALUES (7, 0);
INSERT INTO public.t (a, c) VALUES (10, 17);
INSERT INTO public.t (a, c) VALUES (7, 10);
INSERT INTO public.t (a, c) VALUES (5, 16);
INSERT INTO public.t (a, c) VALUES (6, 12);
INSERT INTO public.t (a, c) VALUES (0, 3);
INSERT INTO public.t (a, c) VALUES (4, 7);
INSERT INTO public.t (a, c) VALUES (5, 6);
INSERT INTO public.t (a, c) VALUES (6, 12);
INSERT INTO public.t (a, c) VALUES (2, 19);
INSERT INTO public.t (a, c) VALUES (3, 6);
INSERT INTO public.t (a, c) VALUES (1, 16);
INSERT INTO public.t (a, c) VALUES (7, 13);
INSERT INTO public.t (a, c) VALUES (4, 13);
INSERT INTO public.t (a, c) VALUES (8, 18);
INSERT INTO public.t (a, c) VALUES (8, 11);
INSERT INTO public.t (a, c) VALUES (9, 15);
INSERT INTO public.t (a, c) VALUES (4, 13);
INSERT INTO public.t (a, c) VALUES (2, 18);
INSERT INTO public.t (a, c) VALUES (4, 16);
INSERT INTO public.t (a, c) VALUES (5, 9);
INSERT INTO public.t (a, c) VALUES (10, 17);
INSERT INTO public.t (a, c) VALUES (8, 9);
INSERT INTO public.t (a, c) VALUES (2, 8);
INSERT INTO public.t (a, c) VALUES (0, 8);
INSERT INTO public.t (a, c) VALUES (4, 7);
INSERT INTO public.t (a, c) VALUES (7, 10);
INSERT INTO public.t (a, c) VALUES (1, 9);
INSERT INTO public.t (a, c) VALUES (1, 11);
INSERT INTO public.t (a, c) VALUES (1, 19);
INSERT INTO public.t (a, c) VALUES (5, 18);
INSERT INTO public.t (a, c) VALUES (5, 8);
INSERT INTO public.t (a, c) VALUES (6, 18);
INSERT INTO public.t (a, c) VALUES (0, 17);
INSERT INTO public.t (a, c) VALUES (8, 10);
INSERT INTO public.t (a, c) VALUES (6, 7);
INSERT INTO public.t (a, c) VALUES (10, 12);
INSERT INTO public.t (a, c) VALUES (2, 15);
INSERT INTO public.t (a, c) VALUES (1, 8);
INSERT INTO public.t (a, c) VALUES (2, 3);
INSERT INTO public.t (a, c) VALUES (8, 11);
INSERT INTO public.t (a, c) VALUES (5, 11);
INSERT INTO public.t (a, c) VALUES (1, 12);
INSERT INTO public.t (a, c) VALUES (10, 4);
INSERT INTO public.t (a, c) VALUES (2, 2);
INSERT INTO public.t (a, c) VALUES (1, 13);
INSERT INTO public.t (a, c) VALUES (10, 13);
INSERT INTO public.t (a, c) VALUES (0, 12);
INSERT INTO public.t (a, c) VALUES (6, 2);
INSERT INTO public.t (a, c) VALUES (4, 8);
INSERT INTO public.t (a, c) VALUES (6, 2);
INSERT INTO public.t (a, c) VALUES (7, 10);
INSERT INTO public.t (a, c) VALUES (7, 18);
INSERT INTO public.t (a, c) VALUES (3, 16);
INSERT INTO public.t (a, c) VALUES (3, 9);
INSERT INTO public.t (a, c) VALUES (9, 2);
INSERT INTO public.t (a, c) VALUES (0, 8);
INSERT INTO public.t (a, c) VALUES (7, 1);
INSERT INTO public.t (a, c) VALUES (0, 13);
INSERT INTO public.t (a, c) VALUES (3, 4);
INSERT INTO public.t (a, c) VALUES (7, 8);
INSERT INTO public.t (a, c) VALUES (8, 14);
INSERT INTO public.t (a, c) VALUES (1, 17);
INSERT INTO public.t (a, c) VALUES (3, 13);
INSERT INTO public.t (a, c) VALUES (10, 15);
INSERT INTO public.t (a, c) VALUES (0, 10);
INSERT INTO public.t (a, c) VALUES (8, 15);
INSERT INTO public.t (a, c) VALUES (0, 11);
INSERT INTO public.t (a, c) VALUES (7, 6);
INSERT INTO public.t (a, c) VALUES (3, 19);
INSERT INTO public.t (a, c) VALUES (7, 5);
INSERT INTO public.t (a, c) VALUES (1, 15);
INSERT INTO public.t (a, c) VALUES (6, 14);
INSERT INTO public.t (a, c) VALUES (8, 12);
INSERT INTO public.t (a, c) VALUES (4, 2);
INSERT INTO public.t (a, c) VALUES (8, 2);
INSERT INTO public.t (a, c) VALUES (5, 13);
INSERT INTO public.t (a, c) VALUES (8, 12);
INSERT INTO public.t (a, c) VALUES (5, 2);
INSERT INTO public.t (a, c) VALUES (2, 9);
INSERT INTO public.t (a, c) VALUES (9, 5);
INSERT INTO public.t (a, c) VALUES (10, 14);
INSERT INTO public.t (a, c) VALUES (0, 0);
INSERT INTO public.t (a, c) VALUES (3, 13);
INSERT INTO public.t (a, c) VALUES (3, 12);
INSERT INTO public.t (a, c) VALUES (6, 1);
INSERT INTO public.t (a, c) VALUES (8, 13);
INSERT INTO public.t (a, c) VALUES (8, 8);
INSERT INTO public.t (a, c) VALUES (4, 13);
INSERT INTO public.t (a, c) VALUES (0, 14);
INSERT INTO public.t (a, c) VALUES (7, 17);
INSERT INTO public.t (a, c) VALUES (8, 5);
INSERT INTO public.t (a, c) VALUES (5, 12);
INSERT INTO public.t (a, c) VALUES (8, 20);
INSERT INTO public.t (a, c) VALUES (7, 1);
INSERT INTO public.t (a, c) VALUES (5, 12);
INSERT INTO public.t (a, c) VALUES (3, 9);
INSERT INTO public.t (a, c) VALUES (3, 6);
INSERT INTO public.t (a, c) VALUES (4, 11);
INSERT INTO public.t (a, c) VALUES (10, 15);
INSERT INTO public.t (a, c) VALUES (1, 12);
INSERT INTO public.t (a, c) VALUES (8, 19);
INSERT INTO public.t (a, c) VALUES (2, 12);
INSERT INTO public.t (a, c) VALUES (4, 12);
INSERT INTO public.t (a, c) VALUES (2, 8);
INSERT INTO public.t (a, c) VALUES (3, 19);
INSERT INTO public.t (a, c) VALUES (3, 2);
INSERT INTO public.t (a, c) VALUES (2, 15);
INSERT INTO public.t (a, c) VALUES (7, 0);
INSERT INTO public.t (a, c) VALUES (7, 9);
INSERT INTO public.t (a, c) VALUES (1, 4);
INSERT INTO public.t (a, c) VALUES (1, 8);
INSERT INTO public.t (a, c) VALUES (6, 8);
INSERT INTO public.t (a, c) VALUES (7, 2);
INSERT INTO public.t (a, c) VALUES (10, 14);
INSERT INTO public.t (a, c) VALUES (8, 2);
INSERT INTO public.t (a, c) VALUES (3, 12);
INSERT INTO public.t (a, c) VALUES (1, 10);
INSERT INTO public.t (a, c) VALUES (2, 9);
INSERT INTO public.t (a, c) VALUES (1, 8);
INSERT INTO public.t (a, c) VALUES (8, 8);
INSERT INTO public.t (a, c) VALUES (4, 2);
INSERT INTO public.t (a, c) VALUES (5, 11);
INSERT INTO public.t (a, c) VALUES (9, 5);
INSERT INTO public.t (a, c) VALUES (6, 12);
INSERT INTO public.t (a, c) VALUES (7, 13);
INSERT INTO public.t (a, c) VALUES (8, 16);
INSERT INTO public.t (a, c) VALUES (1, 9);
INSERT INTO public.t (a, c) VALUES (2, 15);
INSERT INTO public.t (a, c) VALUES (6, 3);
INSERT INTO public.t (a, c) VALUES (5, 8);
INSERT INTO public.t (a, c) VALUES (3, 14);
INSERT INTO public.t (a, c) VALUES (10, 6);
INSERT INTO public.t (a, c) VALUES (2, 3);
INSERT INTO public.t (a, c) VALUES (7, 6);
INSERT INTO public.t (a, c) VALUES (6, 11);
INSERT INTO public.t (a, c) VALUES (7, 19);
INSERT INTO public.t (a, c) VALUES (7, 5);
INSERT INTO public.t (a, c) VALUES (5, 11);
INSERT INTO public.t (a, c) VALUES (5, 2);
INSERT INTO public.t (a, c) VALUES (2, 5);
INSERT INTO public.t (a, c) VALUES (8, 20);
INSERT INTO public.t (a, c) VALUES (0, 17);
INSERT INTO public.t (a, c) VALUES (5, 5);
INSERT INTO public.t (a, c) VALUES (6, 0);
INSERT INTO public.t (a, c) VALUES (4, 2);
INSERT INTO public.t (a, c) VALUES (4, 13);
INSERT INTO public.t (a, c) VALUES (8, 7);
INSERT INTO public.t (a, c) VALUES (9, 1);
INSERT INTO public.t (a, c) VALUES (5, 13);
INSERT INTO public.t (a, c) VALUES (3, 3);
INSERT INTO public.t (a, c) VALUES (2, 1);
INSERT INTO public.t (a, c) VALUES (1, 18);
INSERT INTO public.t (a, c) VALUES (3, 12);
INSERT INTO public.t (a, c) VALUES (5, 16);
INSERT INTO public.t (a, c) VALUES (7, 13);
INSERT INTO public.t (a, c) VALUES (0, 11);
INSERT INTO public.t (a, c) VALUES (6, 1);
INSERT INTO public.t (a, c) VALUES (4, 1);
INSERT INTO public.t (a, c) VALUES (3, 0);
INSERT INTO public.t (a, c) VALUES (1, 13);
INSERT INTO public.t (a, c) VALUES (1, 9);
INSERT INTO public.t (a, c) VALUES (3, 18);
INSERT INTO public.t (a, c) VALUES (8, 5);
INSERT INTO public.t (a, c) VALUES (9, 7);
INSERT INTO public.t (a, c) VALUES (9, 6);
INSERT INTO public.t (a, c) VALUES (5, 3);
INSERT INTO public.t (a, c) VALUES (4, 11);
INSERT INTO public.t (a, c) VALUES (1, 13);
INSERT INTO public.t (a, c) VALUES (2, 11);
INSERT INTO public.t (a, c) VALUES (5, 19);
INSERT INTO public.t (a, c) VALUES (2, 10);
INSERT INTO public.t (a, c) VALUES (5, 15);
INSERT INTO public.t (a, c) VALUES (5, 17);
INSERT INTO public.t (a, c) VALUES (8, 17);
INSERT INTO public.t (a, c) VALUES (9, 18);
INSERT INTO public.t (a, c) VALUES (5, 0);
INSERT INTO public.t (a, c) VALUES (4, 16);
INSERT INTO public.t (a, c) VALUES (9, 3);
INSERT INTO public.t (a, c) VALUES (0, 17);
INSERT INTO public.t (a, c) VALUES (5, 19);
INSERT INTO public.t (a, c) VALUES (2, 20);
INSERT INTO public.t (a, c) VALUES (1, 10);
INSERT INTO public.t (a, c) VALUES (6, 3);
INSERT INTO public.t (a, c) VALUES (2, 15);
INSERT INTO public.t (a, c) VALUES (7, 13);
INSERT INTO public.t (a, c) VALUES (7, 17);
INSERT INTO public.t (a, c) VALUES (1, 3);
INSERT INTO public.t (a, c) VALUES (6, 13);
INSERT INTO public.t (a, c) VALUES (0, 9);
INSERT INTO public.t (a, c) VALUES (5, 19);
INSERT INTO public.t (a, c) VALUES (4, 20);
INSERT INTO public.t (a, c) VALUES (9, 14);
INSERT INTO public.t (a, c) VALUES (8, 17);
INSERT INTO public.t (a, c) VALUES (9, 16);
INSERT INTO public.t (a, c) VALUES (7, 8);
INSERT INTO public.t (a, c) VALUES (8, 18);
INSERT INTO public.t (a, c) VALUES (4, 17);
INSERT INTO public.t (a, c) VALUES (4, 19);
INSERT INTO public.t (a, c) VALUES (10, 12);
INSERT INTO public.t (a, c) VALUES (7, 13);
INSERT INTO public.t (a, c) VALUES (2, 8);
INSERT INTO public.t (a, c) VALUES (5, 7);
INSERT INTO public.t (a, c) VALUES (6, 1);
INSERT INTO public.t (a, c) VALUES (0, 13);
INSERT INTO public.t (a, c) VALUES (5, 10);
INSERT INTO public.t (a, c) VALUES (6, 17);
INSERT INTO public.t (a, c) VALUES (5, 10);
INSERT INTO public.t (a, c) VALUES (6, 5);
INSERT INTO public.t (a, c) VALUES (4, 9);
INSERT INTO public.t (a, c) VALUES (1, 2);
INSERT INTO public.t (a, c) VALUES (8, 17);
INSERT INTO public.t (a, c) VALUES (0, 5);
INSERT INTO public.t (a, c) VALUES (7, 8);
INSERT INTO public.t (a, c) VALUES (2, 13);
INSERT INTO public.t (a, c) VALUES (0, 18);
INSERT INTO public.t (a, c) VALUES (3, 5);
INSERT INTO public.t (a, c) VALUES (3, 15);
INSERT INTO public.t (a, c) VALUES (6, 18);
INSERT INTO public.t (a, c) VALUES (8, 13);
INSERT INTO public.t (a, c) VALUES (5, 6);
INSERT INTO public.t (a, c) VALUES (1, 2);
INSERT INTO public.t (a, c) VALUES (1, 12);
INSERT INTO public.t (a, c) VALUES (6, 14);
INSERT INTO public.t (a, c) VALUES (9, 20);
INSERT INTO public.t (a, c) VALUES (1, 20);
INSERT INTO public.t (a, c) VALUES (1, 19);
INSERT INTO public.t (a, c) VALUES (8, 2);
INSERT INTO public.t (a, c) VALUES (2, 10);
INSERT INTO public.t (a, c) VALUES (5, 8);
INSERT INTO public.t (a, c) VALUES (1, 11);
INSERT INTO public.t (a, c) VALUES (3, 8);
INSERT INTO public.t (a, c) VALUES (8, 12);
INSERT INTO public.t (a, c) VALUES (1, 8);
INSERT INTO public.t (a, c) VALUES (5, 18);
INSERT INTO public.t (a, c) VALUES (0, 1);
INSERT INTO public.t (a, c) VALUES (2, 3);
INSERT INTO public.t (a, c) VALUES (1, 7);
INSERT INTO public.t (a, c) VALUES (8, 15);
INSERT INTO public.t (a, c) VALUES (0, 14);
INSERT INTO public.t (a, c) VALUES (8, 3);
INSERT INTO public.t (a, c) VALUES (7, 17);
INSERT INTO public.t (a, c) VALUES (1, 10);
INSERT INTO public.t (a, c) VALUES (10, 6);
INSERT INTO public.t (a, c) VALUES (10, 9);
INSERT INTO public.t (a, c) VALUES (7, 2);
INSERT INTO public.t (a, c) VALUES (0, 0);
INSERT INTO public.t (a, c) VALUES (5, 16);
INSERT INTO public.t (a, c) VALUES (6, 13);
INSERT INTO public.t (a, c) VALUES (2, 3);
INSERT INTO public.t (a, c) VALUES (6, 5);
INSERT INTO public.t (a, c) VALUES (2, 15);
INSERT INTO public.t (a, c) VALUES (4, 7);
INSERT INTO public.t (a, c) VALUES (1, 5);
INSERT INTO public.t (a, c) VALUES (1, 3);
INSERT INTO public.t (a, c) VALUES (9, 17);
INSERT INTO public.t (a, c) VALUES (3, 12);
INSERT INTO public.t (a, c) VALUES (7, 8);
INSERT INTO public.t (a, c) VALUES (1, 13);
INSERT INTO public.t (a, c) VALUES (7, 1);
INSERT INTO public.t (a, c) VALUES (1, 9);
INSERT INTO public.t (a, c) VALUES (2, 3);
INSERT INTO public.t (a, c) VALUES (5, 14);
INSERT INTO public.t (a, c) VALUES (9, 2);
INSERT INTO public.t (a, c) VALUES (3, 3);
INSERT INTO public.t (a, c) VALUES (2, 18);
INSERT INTO public.t (a, c) VALUES (4, 9);
INSERT INTO public.t (a, c) VALUES (6, 17);
INSERT INTO public.t (a, c) VALUES (8, 15);
INSERT INTO public.t (a, c) VALUES (1, 17);
INSERT INTO public.t (a, c) VALUES (9, 19);
INSERT INTO public.t (a, c) VALUES (7, 4);
INSERT INTO public.t (a, c) VALUES (6, 8);
INSERT INTO public.t (a, c) VALUES (6, 13);
INSERT INTO public.t (a, c) VALUES (0, 7);
INSERT INTO public.t (a, c) VALUES (7, 3);
INSERT INTO public.t (a, c) VALUES (8, 17);
INSERT INTO public.t (a, c) VALUES (3, 6);
INSERT INTO public.t (a, c) VALUES (5, 5);
INSERT INTO public.t (a, c) VALUES (4, 17);
INSERT INTO public.t (a, c) VALUES (4, 13);
INSERT INTO public.t (a, c) VALUES (7, 16);
INSERT INTO public.t (a, c) VALUES (1, 7);
INSERT INTO public.t (a, c) VALUES (6, 17);
INSERT INTO public.t (a, c) VALUES (1, 14);
INSERT INTO public.t (a, c) VALUES (7, 0);
INSERT INTO public.t (a, c) VALUES (7, 8);
INSERT INTO public.t (a, c) VALUES (2, 4);
INSERT INTO public.t (a, c) VALUES (8, 16);
INSERT INTO public.t (a, c) VALUES (8, 17);
INSERT INTO public.t (a, c) VALUES (1, 11);
INSERT INTO public.t (a, c) VALUES (0, 19);
INSERT INTO public.t (a, c) VALUES (4, 6);
INSERT INTO public.t (a, c) VALUES (3, 18);
INSERT INTO public.t (a, c) VALUES (5, 13);
INSERT INTO public.t (a, c) VALUES (8, 18);
INSERT INTO public.t (a, c) VALUES (3, 10);
INSERT INTO public.t (a, c) VALUES (7, 8);
INSERT INTO public.t (a, c) VALUES (9, 7);
INSERT INTO public.t (a, c) VALUES (2, 19);
INSERT INTO public.t (a, c) VALUES (0, 19);
INSERT INTO public.t (a, c) VALUES (10, 13);
INSERT INTO public.t (a, c) VALUES (4, 3);
INSERT INTO public.t (a, c) VALUES (9, 4);
INSERT INTO public.t (a, c) VALUES (10, 14);
INSERT INTO public.t (a, c) VALUES (0, 2);
INSERT INTO public.t (a, c) VALUES (2, 1);
INSERT INTO public.t (a, c) VALUES (1, 12);
INSERT INTO public.t (a, c) VALUES (4, 6);
INSERT INTO public.t (a, c) VALUES (5, 18);
INSERT INTO public.t (a, c) VALUES (10, 5);
INSERT INTO public.t (a, c) VALUES (8, 5);
INSERT INTO public.t (a, c) VALUES (7, 11);
INSERT INTO public.t (a, c) VALUES (6, 12);
INSERT INTO public.t (a, c) VALUES (9, 18);
INSERT INTO public.t (a, c) VALUES (6, 17);
INSERT INTO public.t (a, c) VALUES (8, 11);
INSERT INTO public.t (a, c) VALUES (5, 4);
INSERT INTO public.t (a, c) VALUES (7, 8);
INSERT INTO public.t (a, c) VALUES (4, 14);
INSERT INTO public.t (a, c) VALUES (1, 9);
INSERT INTO public.t (a, c) VALUES (8, 6);
INSERT INTO public.t (a, c) VALUES (5, 17);
INSERT INTO public.t (a, c) VALUES (9, 18);
INSERT INTO public.t (a, c) VALUES (2, 9);
INSERT INTO public.t (a, c) VALUES (8, 3);
INSERT INTO public.t (a, c) VALUES (7, 13);
INSERT INTO public.t (a, c) VALUES (4, 9);
INSERT INTO public.t (a, c) VALUES (2, 1);
INSERT INTO public.t (a, c) VALUES (1, 1);
INSERT INTO public.t (a, c) VALUES (9, 13);
INSERT INTO public.t (a, c) VALUES (9, 15);
INSERT INTO public.t (a, c) VALUES (2, 8);
INSERT INTO public.t (a, c) VALUES (10, 18);
INSERT INTO public.t (a, c) VALUES (8, 8);
INSERT INTO public.t (a, c) VALUES (6, 18);
INSERT INTO public.t (a, c) VALUES (9, 7);
INSERT INTO public.t (a, c) VALUES (2, 8);
INSERT INTO public.t (a, c) VALUES (2, 2);
INSERT INTO public.t (a, c) VALUES (3, 8);
INSERT INTO public.t (a, c) VALUES (6, 2);
INSERT INTO public.t (a, c) VALUES (5, 5);
INSERT INTO public.t (a, c) VALUES (7, 18);
INSERT INTO public.t (a, c) VALUES (7, 18);
INSERT INTO public.t (a, c) VALUES (9, 15);
INSERT INTO public.t (a, c) VALUES (9, 17);
INSERT INTO public.t (a, c) VALUES (4, 16);
INSERT INTO public.t (a, c) VALUES (6, 12);
INSERT INTO public.t (a, c) VALUES (2, 12);
INSERT INTO public.t (a, c) VALUES (5, 0);
INSERT INTO public.t (a, c) VALUES (0, 2);
INSERT INTO public.t (a, c) VALUES (9, 17);
INSERT INTO public.t (a, c) VALUES (5, 1);
INSERT INTO public.t (a, c) VALUES (3, 14);
INSERT INTO public.t (a, c) VALUES (2, 11);
INSERT INTO public.t (a, c) VALUES (1, 15);
INSERT INTO public.t (a, c) VALUES (6, 11);
INSERT INTO public.t (a, c) VALUES (10, 7);
INSERT INTO public.t (a, c) VALUES (5, 14);
INSERT INTO public.t (a, c) VALUES (2, 8);
INSERT INTO public.t (a, c) VALUES (5, 2);
INSERT INTO public.t (a, c) VALUES (2, 18);
INSERT INTO public.t (a, c) VALUES (9, 17);
INSERT INTO public.t (a, c) VALUES (5, 2);
INSERT INTO public.t (a, c) VALUES (5, 20);
INSERT INTO public.t (a, c) VALUES (1, 10);
INSERT INTO public.t (a, c) VALUES (1, 20);
INSERT INTO public.t (a, c) VALUES (4, 11);
INSERT INTO public.t (a, c) VALUES (1, 13);
INSERT INTO public.t (a, c) VALUES (3, 5);
INSERT INTO public.t (a, c) VALUES (2, 6);
INSERT INTO public.t (a, c) VALUES (0, 16);
INSERT INTO public.t (a, c) VALUES (9, 20);
INSERT INTO public.t (a, c) VALUES (1, 7);
INSERT INTO public.t (a, c) VALUES (7, 7);
INSERT INTO public.t (a, c) VALUES (7, 4);
INSERT INTO public.t (a, c) VALUES (4, 20);
INSERT INTO public.t (a, c) VALUES (1, 7);
INSERT INTO public.t (a, c) VALUES (9, 11);
INSERT INTO public.t (a, c) VALUES (5, 7);
INSERT INTO public.t (a, c) VALUES (5, 12);
INSERT INTO public.t (a, c) VALUES (8, 12);
INSERT INTO public.t (a, c) VALUES (6, 4);
INSERT INTO public.t (a, c) VALUES (2, 13);
INSERT INTO public.t (a, c) VALUES (8, 9);
INSERT INTO public.t (a, c) VALUES (9, 20);
INSERT INTO public.t (a, c) VALUES (7, 18);
INSERT INTO public.t (a, c) VALUES (8, 13);
INSERT INTO public.t (a, c) VALUES (9, 18);
INSERT INTO public.t (a, c) VALUES (10, 13);
INSERT INTO public.t (a, c) VALUES (2, 15);
INSERT INTO public.t (a, c) VALUES (8, 13);
INSERT INTO public.t (a, c) VALUES (7, 18);
INSERT INTO public.t (a, c) VALUES (0, 12);
INSERT INTO public.t (a, c) VALUES (4, 10);
INSERT INTO public.t (a, c) VALUES (10, 19);
INSERT INTO public.t (a, c) VALUES (1, 16);
INSERT INTO public.t (a, c) VALUES (5, 14);
INSERT INTO public.t (a, c) VALUES (0, 14);
INSERT INTO public.t (a, c) VALUES (3, 17);
INSERT INTO public.t (a, c) VALUES (1, 5);
INSERT INTO public.t (a, c) VALUES (8, 18);
INSERT INTO public.t (a, c) VALUES (2, 13);
INSERT INTO public.t (a, c) VALUES (5, 2);
INSERT INTO public.t (a, c) VALUES (5, 11);
INSERT INTO public.t (a, c) VALUES (7, 15);
INSERT INTO public.t (a, c) VALUES (3, 11);
INSERT INTO public.t (a, c) VALUES (4, 0);
INSERT INTO public.t (a, c) VALUES (4, 9);
INSERT INTO public.t (a, c) VALUES (6, 17);
INSERT INTO public.t (a, c) VALUES (10, 12);
INSERT INTO public.t (a, c) VALUES (8, 1);
INSERT INTO public.t (a, c) VALUES (4, 7);
INSERT INTO public.t (a, c) VALUES (7, 8);
INSERT INTO public.t (a, c) VALUES (1, 2);
INSERT INTO public.t (a, c) VALUES (3, 4);
INSERT INTO public.t (a, c) VALUES (4, 2);
INSERT INTO public.t (a, c) VALUES (1, 11);
INSERT INTO public.t (a, c) VALUES (7, 13);
INSERT INTO public.t (a, c) VALUES (6, 5);
INSERT INTO public.t (a, c) VALUES (2, 8);
INSERT INTO public.t (a, c) VALUES (0, 9);
INSERT INTO public.t (a, c) VALUES (9, 9);
INSERT INTO public.t (a, c) VALUES (5, 7);
INSERT INTO public.t (a, c) VALUES (9, 2);
INSERT INTO public.t (a, c) VALUES (2, 18);
INSERT INTO public.t (a, c) VALUES (7, 20);
INSERT INTO public.t (a, c) VALUES (10, 2);
INSERT INTO public.t (a, c) VALUES (3, 14);
INSERT INTO public.t (a, c) VALUES (5, 8);
INSERT INTO public.t (a, c) VALUES (8, 15);
INSERT INTO public.t (a, c) VALUES (6, 3);
INSERT INTO public.t (a, c) VALUES (9, 14);
INSERT INTO public.t (a, c) VALUES (7, 12);
INSERT INTO public.t (a, c) VALUES (3, 7);
INSERT INTO public.t (a, c) VALUES (9, 10);
INSERT INTO public.t (a, c) VALUES (7, 19);
INSERT INTO public.t (a, c) VALUES (9, 13);
INSERT INTO public.t (a, c) VALUES (4, 8);
INSERT INTO public.t (a, c) VALUES (0, 7);
INSERT INTO public.t (a, c) VALUES (5, 5);
INSERT INTO public.t (a, c) VALUES (3, 4);
INSERT INTO public.t (a, c) VALUES (2, 4);
INSERT INTO public.t (a, c) VALUES (3, 11);
INSERT INTO public.t (a, c) VALUES (9, 16);
INSERT INTO public.t (a, c) VALUES (9, 15);
INSERT INTO public.t (a, c) VALUES (6, 11);
INSERT INTO public.t (a, c) VALUES (9, 9);
INSERT INTO public.t (a, c) VALUES (2, 11);
INSERT INTO public.t (a, c) VALUES (1, 11);
INSERT INTO public.t (a, c) VALUES (9, 19);
INSERT INTO public.t (a, c) VALUES (0, 12);
INSERT INTO public.t (a, c) VALUES (9, 20);
INSERT INTO public.t (a, c) VALUES (3, 6);
INSERT INTO public.t (a, c) VALUES (4, 5);
INSERT INTO public.t (a, c) VALUES (7, 18);
INSERT INTO public.t (a, c) VALUES (5, 18);
INSERT INTO public.t (a, c) VALUES (1, 14);
INSERT INTO public.t (a, c) VALUES (1, 8);
INSERT INTO public.t (a, c) VALUES (3, 1);
INSERT INTO public.t (a, c) VALUES (2, 4);
INSERT INTO public.t (a, c) VALUES (8, 15);
INSERT INTO public.t (a, c) VALUES (7, 13);
INSERT INTO public.t (a, c) VALUES (2, 19);
INSERT INTO public.t (a, c) VALUES (2, 5);
INSERT INTO public.t (a, c) VALUES (5, 2);
INSERT INTO public.t (a, c) VALUES (2, 11);
INSERT INTO public.t (a, c) VALUES (7, 3);
INSERT INTO public.t (a, c) VALUES (5, 19);
INSERT INTO public.t (a, c) VALUES (5, 18);
INSERT INTO public.t (a, c) VALUES (2, 2);
INSERT INTO public.t (a, c) VALUES (8, 14);
INSERT INTO public.t (a, c) VALUES (0, 17);
INSERT INTO public.t (a, c) VALUES (4, 3);
INSERT INTO public.t (a, c) VALUES (3, 14);
INSERT INTO public.t (a, c) VALUES (2, 9);
INSERT INTO public.t (a, c) VALUES (9, 20);
INSERT INTO public.t (a, c) VALUES (2, 13);
INSERT INTO public.t (a, c) VALUES (7, 8);
INSERT INTO public.t (a, c) VALUES (6, 17);
INSERT INTO public.t (a, c) VALUES (6, 3);
INSERT INTO public.t (a, c) VALUES (10, 18);
INSERT INTO public.t (a, c) VALUES (7, 14);
INSERT INTO public.t (a, c) VALUES (0, 3);
INSERT INTO public.t (a, c) VALUES (7, 9);
INSERT INTO public.t (a, c) VALUES (1, 18);
INSERT INTO public.t (a, c) VALUES (6, 17);
INSERT INTO public.t (a, c) VALUES (6, 12);
INSERT INTO public.t (a, c) VALUES (7, 1);
INSERT INTO public.t (a, c) VALUES (8, 19);
INSERT INTO public.t (a, c) VALUES (8, 19);
INSERT INTO public.t (a, c) VALUES (4, 14);
INSERT INTO public.t (a, c) VALUES (9, 12);
INSERT INTO public.t (a, c) VALUES (4, 12);
INSERT INTO public.t (a, c) VALUES (10, 0);
INSERT INTO public.t (a, c) VALUES (5, 12);
INSERT INTO public.t (a, c) VALUES (1, 9);
INSERT INTO public.t (a, c) VALUES (5, 16);
INSERT INTO public.t (a, c) VALUES (2, 10);
INSERT INTO public.t (a, c) VALUES (10, 16);
INSERT INTO public.t (a, c) VALUES (10, 1);
INSERT INTO public.t (a, c) VALUES (7, 11);
INSERT INTO public.t (a, c) VALUES (9, 6);
INSERT INTO public.t (a, c) VALUES (2, 12);
INSERT INTO public.t (a, c) VALUES (4, 19);
INSERT INTO public.t (a, c) VALUES (6, 3);
INSERT INTO public.t (a, c) VALUES (9, 20);
INSERT INTO public.t (a, c) VALUES (8, 17);
INSERT INTO public.t (a, c) VALUES (6, 4);
INSERT INTO public.t (a, c) VALUES (4, 11);
INSERT INTO public.t (a, c) VALUES (2, 18);
INSERT INTO public.t (a, c) VALUES (2, 7);
INSERT INTO public.t (a, c) VALUES (4, 13);
INSERT INTO public.t (a, c) VALUES (2, 10);
INSERT INTO public.t (a, c) VALUES (2, 2);
INSERT INTO public.t (a, c) VALUES (3, 3);
INSERT INTO public.t (a, c) VALUES (2, 1);
INSERT INTO public.t (a, c) VALUES (7, 1);
INSERT INTO public.t (a, c) VALUES (3, 18);
INSERT INTO public.t (a, c) VALUES (7, 14);
INSERT INTO public.t (a, c) VALUES (8, 5);
INSERT INTO public.t (a, c) VALUES (8, 14);
INSERT INTO public.t (a, c) VALUES (2, 14);
INSERT INTO public.t (a, c) VALUES (6, 16);
INSERT INTO public.t (a, c) VALUES (9, 20);
INSERT INTO public.t (a, c) VALUES (3, 2);
INSERT INTO public.t (a, c) VALUES (9, 10);
INSERT INTO public.t (a, c) VALUES (5, 5);
INSERT INTO public.t (a, c) VALUES (1, 12);
INSERT INTO public.t (a, c) VALUES (8, 6);
INSERT INTO public.t (a, c) VALUES (7, 2);
INSERT INTO public.t (a, c) VALUES (5, 18);
INSERT INTO public.t (a, c) VALUES (2, 4);
INSERT INTO public.t (a, c) VALUES (10, 10);
INSERT INTO public.t (a, c) VALUES (1, 12);
INSERT INTO public.t (a, c) VALUES (2, 18);
INSERT INTO public.t (a, c) VALUES (8, 1);
INSERT INTO public.t (a, c) VALUES (6, 1);
INSERT INTO public.t (a, c) VALUES (7, 4);
INSERT INTO public.t (a, c) VALUES (9, 13);
INSERT INTO public.t (a, c) VALUES (2, 4);
INSERT INTO public.t (a, c) VALUES (7, 2);
INSERT INTO public.t (a, c) VALUES (7, 4);
INSERT INTO public.t (a, c) VALUES (3, 17);
INSERT INTO public.t (a, c) VALUES (8, 3);
INSERT INTO public.t (a, c) VALUES (1, 12);
INSERT INTO public.t (a, c) VALUES (3, 12);
INSERT INTO public.t (a, c) VALUES (5, 8);
INSERT INTO public.t (a, c) VALUES (8, 9);
INSERT INTO public.t (a, c) VALUES (9, 17);
INSERT INTO public.t (a, c) VALUES (1, 2);
INSERT INTO public.t (a, c) VALUES (8, 18);
INSERT INTO public.t (a, c) VALUES (2, 8);
INSERT INTO public.t (a, c) VALUES (10, 18);
INSERT INTO public.t (a, c) VALUES (6, 16);
INSERT INTO public.t (a, c) VALUES (5, 15);
INSERT INTO public.t (a, c) VALUES (0, 5);
INSERT INTO public.t (a, c) VALUES (8, 14);
INSERT INTO public.t (a, c) VALUES (5, 4);
INSERT INTO public.t (a, c) VALUES (5, 6);
INSERT INTO public.t (a, c) VALUES (3, 14);
INSERT INTO public.t (a, c) VALUES (9, 11);
INSERT INTO public.t (a, c) VALUES (3, 8);
INSERT INTO public.t (a, c) VALUES (10, 1);
INSERT INTO public.t (a, c) VALUES (9, 18);
INSERT INTO public.t (a, c) VALUES (9, 18);
INSERT INTO public.t (a, c) VALUES (10, 13);
INSERT INTO public.t (a, c) VALUES (8, 3);
INSERT INTO public.t (a, c) VALUES (0, 15);
INSERT INTO public.t (a, c) VALUES (0, 13);
INSERT INTO public.t (a, c) VALUES (6, 11);
INSERT INTO public.t (a, c) VALUES (4, 12);
INSERT INTO public.t (a, c) VALUES (8, 4);
INSERT INTO public.t (a, c) VALUES (3, 6);
INSERT INTO public.t (a, c) VALUES (4, 17);
INSERT INTO public.t (a, c) VALUES (6, 14);
INSERT INTO public.t (a, c) VALUES (5, 10);
INSERT INTO public.t (a, c) VALUES (3, 16);
INSERT INTO public.t (a, c) VALUES (9, 5);
INSERT INTO public.t (a, c) VALUES (8, 15);
INSERT INTO public.t (a, c) VALUES (1, 15);
INSERT INTO public.t (a, c) VALUES (7, 3);
INSERT INTO public.t (a, c) VALUES (4, 9);
INSERT INTO public.t (a, c) VALUES (3, 8);
INSERT INTO public.t (a, c) VALUES (2, 6);
INSERT INTO public.t (a, c) VALUES (0, 16);
INSERT INTO public.t (a, c) VALUES (9, 9);
INSERT INTO public.t (a, c) VALUES (4, 13);
INSERT INTO public.t (a, c) VALUES (7, 13);
INSERT INTO public.t (a, c) VALUES (10, 1);
INSERT INTO public.t (a, c) VALUES (5, 11);
INSERT INTO public.t (a, c) VALUES (8, 1);
INSERT INTO public.t (a, c) VALUES (1, 1);
INSERT INTO public.t (a, c) VALUES (8, 19);
INSERT INTO public.t (a, c) VALUES (3, 14);
INSERT INTO public.t (a, c) VALUES (7, 9);
INSERT INTO public.t (a, c) VALUES (4, 8);
INSERT INTO public.t (a, c) VALUES (6, 16);
INSERT INTO public.t (a, c) VALUES (9, 17);
INSERT INTO public.t (a, c) VALUES (2, 2);
INSERT INTO public.t (a, c) VALUES (2, 5);
INSERT INTO public.t (a, c) VALUES (9, 1);
INSERT INTO public.t (a, c) VALUES (7, 5);
INSERT INTO public.t (a, c) VALUES (7, 7);
INSERT INTO public.t (a, c) VALUES (9, 14);
INSERT INTO public.t (a, c) VALUES (4, 9);
INSERT INTO public.t (a, c) VALUES (2, 3);
INSERT INTO public.t (a, c) VALUES (5, 6);
INSERT INTO public.t (a, c) VALUES (2, 6);
INSERT INTO public.t (a, c) VALUES (3, 10);
INSERT INTO public.t (a, c) VALUES (10, 0);
INSERT INTO public.t (a, c) VALUES (9, 8);
INSERT INTO public.t (a, c) VALUES (4, 10);
INSERT INTO public.t (a, c) VALUES (2, 6);
INSERT INTO public.t (a, c) VALUES (4, 7);
INSERT INTO public.t (a, c) VALUES (4, 11);
INSERT INTO public.t (a, c) VALUES (6, 6);
INSERT INTO public.t (a, c) VALUES (6, 6);
INSERT INTO public.t (a, c) VALUES (5, 7);
INSERT INTO public.t (a, c) VALUES (6, 9);
INSERT INTO public.t (a, c) VALUES (0, 0);
INSERT INTO public.t (a, c) VALUES (9, 5);
INSERT INTO public.t (a, c) VALUES (1, 7);
INSERT INTO public.t (a, c) VALUES (5, 7);
INSERT INTO public.t (a, c) VALUES (7, 16);
INSERT INTO public.t (a, c) VALUES (8, 13);
INSERT INTO public.t (a, c) VALUES (8, 15);
INSERT INTO public.t (a, c) VALUES (0, 4);
INSERT INTO public.t (a, c) VALUES (3, 4);
INSERT INTO public.t (a, c) VALUES (5, 13);
INSERT INTO public.t (a, c) VALUES (6, 18);
INSERT INTO public.t (a, c) VALUES (2, 4);
INSERT INTO public.t (a, c) VALUES (2, 16);
INSERT INTO public.t (a, c) VALUES (5, 15);
INSERT INTO public.t (a, c) VALUES (1, 2);
INSERT INTO public.t (a, c) VALUES (2, 3);
INSERT INTO public.t (a, c) VALUES (1, 2);
INSERT INTO public.t (a, c) VALUES (4, 5);
INSERT INTO public.t (a, c) VALUES (5, 19);
INSERT INTO public.t (a, c) VALUES (6, 3);
INSERT INTO public.t (a, c) VALUES (8, 8);
INSERT INTO public.t (a, c) VALUES (8, 12);
INSERT INTO public.t (a, c) VALUES (2, 17);
INSERT INTO public.t (a, c) VALUES (8, 9);
INSERT INTO public.t (a, c) VALUES (1, 6);
INSERT INTO public.t (a, c) VALUES (1, 13);
INSERT INTO public.t (a, c) VALUES (2, 5);
INSERT INTO public.t (a, c) VALUES (8, 8);
INSERT INTO public.t (a, c) VALUES (1, 6);
INSERT INTO public.t (a, c) VALUES (1, 4);
INSERT INTO public.t (a, c) VALUES (4, 7);
INSERT INTO public.t (a, c) VALUES (4, 11);
INSERT INTO public.t (a, c) VALUES (4, 16);
INSERT INTO public.t (a, c) VALUES (8, 19);
INSERT INTO public.t (a, c) VALUES (8, 8);
INSERT INTO public.t (a, c) VALUES (1, 10);
INSERT INTO public.t (a, c) VALUES (8, 18);
INSERT INTO public.t (a, c) VALUES (1, 20);
INSERT INTO public.t (a, c) VALUES (8, 18);
INSERT INTO public.t (a, c) VALUES (4, 17);
INSERT INTO public.t (a, c) VALUES (2, 10);
INSERT INTO public.t (a, c) VALUES (5, 8);
INSERT INTO public.t (a, c) VALUES (7, 6);
INSERT INTO public.t (a, c) VALUES (8, 16);
INSERT INTO public.t (a, c) VALUES (6, 18);
INSERT INTO public.t (a, c) VALUES (0, 1);
INSERT INTO public.t (a, c) VALUES (2, 8);
INSERT INTO public.t (a, c) VALUES (6, 13);
INSERT INTO public.t (a, c) VALUES (2, 9);
INSERT INTO public.t (a, c) VALUES (6, 19);
INSERT INTO public.t (a, c) VALUES (9, 14);
INSERT INTO public.t (a, c) VALUES (5, 14);
INSERT INTO public.t (a, c) VALUES (6, 11);
INSERT INTO public.t (a, c) VALUES (7, 7);
INSERT INTO public.t (a, c) VALUES (5, 2);
INSERT INTO public.t (a, c) VALUES (2, 13);
INSERT INTO public.t (a, c) VALUES (6, 13);
INSERT INTO public.t (a, c) VALUES (0, 7);
INSERT INTO public.t (a, c) VALUES (10, 17);
INSERT INTO public.t (a, c) VALUES (2, 12);
INSERT INTO public.t (a, c) VALUES (7, 4);
INSERT INTO public.t (a, c) VALUES (7, 19);
INSERT INTO public.t (a, c) VALUES (6, 6);
INSERT INTO public.t (a, c) VALUES (6, 16);
INSERT INTO public.t (a, c) VALUES (7, 5);
INSERT INTO public.t (a, c) VALUES (7, 12);
INSERT INTO public.t (a, c) VALUES (9, 4);
INSERT INTO public.t (a, c) VALUES (3, 11);
INSERT INTO public.t (a, c) VALUES (8, 20);
INSERT INTO public.t (a, c) VALUES (9, 5);
INSERT INTO public.t (a, c) VALUES (1, 2);
INSERT INTO public.t (a, c) VALUES (9, 14);
INSERT INTO public.t (a, c) VALUES (8, 19);
INSERT INTO public.t (a, c) VALUES (0, 15);
INSERT INTO public.t (a, c) VALUES (8, 4);
INSERT INTO public.t (a, c) VALUES (3, 10);
INSERT INTO public.t (a, c) VALUES (4, 0);
INSERT INTO public.t (a, c) VALUES (5, 20);
INSERT INTO public.t (a, c) VALUES (3, 2);
INSERT INTO public.t (a, c) VALUES (8, 1);
INSERT INTO public.t (a, c) VALUES (3, 10);
INSERT INTO public.t (a, c) VALUES (6, 6);
INSERT INTO public.t (a, c) VALUES (7, 18);
INSERT INTO public.t (a, c) VALUES (8, 10);
INSERT INTO public.t (a, c) VALUES (9, 15);
INSERT INTO public.t (a, c) VALUES (7, 19);
INSERT INTO public.t (a, c) VALUES (9, 12);
INSERT INTO public.t (a, c) VALUES (7, 13);
INSERT INTO public.t (a, c) VALUES (5, 14);
INSERT INTO public.t (a, c) VALUES (4, 6);
INSERT INTO public.t (a, c) VALUES (9, 15);
INSERT INTO public.t (a, c) VALUES (8, 6);
INSERT INTO public.t (a, c) VALUES (7, 5);
INSERT INTO public.t (a, c) VALUES (3, 1);
INSERT INTO public.t (a, c) VALUES (4, 1);
INSERT INTO public.t (a, c) VALUES (1, 14);
INSERT INTO public.t (a, c) VALUES (6, 14);
INSERT INTO public.t (a, c) VALUES (10, 6);
INSERT INTO public.t (a, c) VALUES (6, 16);
INSERT INTO public.t (a, c) VALUES (8, 9);
INSERT INTO public.t (a, c) VALUES (6, 9);
INSERT INTO public.t (a, c) VALUES (4, 9);
INSERT INTO public.t (a, c) VALUES (1, 2);
INSERT INTO public.t (a, c) VALUES (1, 12);
INSERT INTO public.t (a, c) VALUES (8, 9);
INSERT INTO public.t (a, c) VALUES (9, 15);
INSERT INTO public.t (a, c) VALUES (2, 13);
INSERT INTO public.t (a, c) VALUES (1, 19);
INSERT INTO public.t (a, c) VALUES (9, 7);
INSERT INTO public.t (a, c) VALUES (10, 5);
INSERT INTO public.t (a, c) VALUES (4, 1);
INSERT INTO public.t (a, c) VALUES (9, 20);
INSERT INTO public.t (a, c) VALUES (8, 19);
INSERT INTO public.t (a, c) VALUES (3, 7);
INSERT INTO public.t (a, c) VALUES (8, 1);
INSERT INTO public.t (a, c) VALUES (8, 7);
INSERT INTO public.t (a, c) VALUES (5, 5);
INSERT INTO public.t (a, c) VALUES (8, 11);
INSERT INTO public.t (a, c) VALUES (4, 16);
INSERT INTO public.t (a, c) VALUES (1, 4);
INSERT INTO public.t (a, c) VALUES (3, 20);
INSERT INTO public.t (a, c) VALUES (9, 9);
INSERT INTO public.t (a, c) VALUES (6, 20);
INSERT INTO public.t (a, c) VALUES (4, 10);
INSERT INTO public.t (a, c) VALUES (3, 8);
INSERT INTO public.t (a, c) VALUES (8, 15);
INSERT INTO public.t (a, c) VALUES (4, 14);
INSERT INTO public.t (a, c) VALUES (7, 4);
INSERT INTO public.t (a, c) VALUES (7, 0);
INSERT INTO public.t (a, c) VALUES (5, 8);
INSERT INTO public.t (a, c) VALUES (0, 7);
INSERT INTO public.t (a, c) VALUES (7, 11);
INSERT INTO public.t (a, c) VALUES (6, 10);
INSERT INTO public.t (a, c) VALUES (1, 19);
INSERT INTO public.t (a, c) VALUES (3, 4);
INSERT INTO public.t (a, c) VALUES (1, 12);
INSERT INTO public.t (a, c) VALUES (2, 1);
INSERT INTO public.t (a, c) VALUES (0, 16);
INSERT INTO public.t (a, c) VALUES (0, 9);
INSERT INTO public.t (a, c) VALUES (3, 7);
INSERT INTO public.t (a, c) VALUES (8, 2);
INSERT INTO public.t (a, c) VALUES (1, 5);
INSERT INTO public.t (a, c) VALUES (8, 17);
INSERT INTO public.t (a, c) VALUES (5, 10);
INSERT INTO public.t (a, c) VALUES (9, 20);
INSERT INTO public.t (a, c) VALUES (9, 19);
INSERT INTO public.t (a, c) VALUES (3, 13);
INSERT INTO public.t (a, c) VALUES (5, 19);
INSERT INTO public.t (a, c) VALUES (1, 11);
INSERT INTO public.t (a, c) VALUES (9, 9);
INSERT INTO public.t (a, c) VALUES (7, 1);
INSERT INTO public.t (a, c) VALUES (0, 19);
INSERT INTO public.t (a, c) VALUES (1, 2);
INSERT INTO public.t (a, c) VALUES (8, 3);
INSERT INTO public.t (a, c) VALUES (5, 2);
INSERT INTO public.t (a, c) VALUES (5, 7);
INSERT INTO public.t (a, c) VALUES (2, 13);
INSERT INTO public.t (a, c) VALUES (6, 1);
INSERT INTO public.t (a, c) VALUES (5, 2);
INSERT INTO public.t (a, c) VALUES (5, 8);
INSERT INTO public.t (a, c) VALUES (1, 8);
INSERT INTO public.t (a, c) VALUES (3, 8);
INSERT INTO public.t (a, c) VALUES (1, 16);
INSERT INTO public.t (a, c) VALUES (3, 4);
INSERT INTO public.t (a, c) VALUES (3, 5);
INSERT INTO public.t (a, c) VALUES (6, 2);
INSERT INTO public.t (a, c) VALUES (3, 14);
INSERT INTO public.t (a, c) VALUES (0, 8);
INSERT INTO public.t (a, c) VALUES (8, 16);
INSERT INTO public.t (a, c) VALUES (5, 6);
INSERT INTO public.t (a, c) VALUES (9, 1);
INSERT INTO public.t (a, c) VALUES (7, 2);
INSERT INTO public.t (a, c) VALUES (7, 6);
INSERT INTO public.t (a, c) VALUES (2, 5);
INSERT INTO public.t (a, c) VALUES (4, 13);
INSERT INTO public.t (a, c) VALUES (6, 9);
INSERT INTO public.t (a, c) VALUES (1, 19);
INSERT INTO public.t (a, c) VALUES (9, 3);
INSERT INTO public.t (a, c) VALUES (8, 4);
INSERT INTO public.t (a, c) VALUES (3, 2);
INSERT INTO public.t (a, c) VALUES (4, 19);
INSERT INTO public.t (a, c) VALUES (2, 14);
INSERT INTO public.t (a, c) VALUES (7, 4);
INSERT INTO public.t (a, c) VALUES (1, 9);
INSERT INTO public.t (a, c) VALUES (0, 13);
INSERT INTO public.t (a, c) VALUES (8, 18);
INSERT INTO public.t (a, c) VALUES (7, 9);
INSERT INTO public.t (a, c) VALUES (0, 8);
INSERT INTO public.t (a, c) VALUES (8, 3);
INSERT INTO public.t (a, c) VALUES (7, 3);
INSERT INTO public.t (a, c) VALUES (8, 6);
INSERT INTO public.t (a, c) VALUES (6, 18);
INSERT INTO public.t (a, c) VALUES (3, 9);
INSERT INTO public.t (a, c) VALUES (1, 1);
INSERT INTO public.t (a, c) VALUES (7, 8);
INSERT INTO public.t (a, c) VALUES (1, 2);
INSERT INTO public.t (a, c) VALUES (4, 7);
INSERT INTO public.t (a, c) VALUES (8, 0);
INSERT INTO public.t (a, c) VALUES (5, 18);
INSERT INTO public.t (a, c) VALUES (4, 11);
INSERT INTO public.t (a, c) VALUES (5, 4);
INSERT INTO public.t (a, c) VALUES (4, 5);
INSERT INTO public.t (a, c) VALUES (6, 9);
INSERT INTO public.t (a, c) VALUES (7, 8);
INSERT INTO public.t (a, c) VALUES (6, 6);
INSERT INTO public.t (a, c) VALUES (5, 9);
INSERT INTO public.t (a, c) VALUES (6, 3);
INSERT INTO public.t (a, c) VALUES (4, 18);
INSERT INTO public.t (a, c) VALUES (6, 9);
INSERT INTO public.t (a, c) VALUES (9, 6);
INSERT INTO public.t (a, c) VALUES (8, 1);
INSERT INTO public.t (a, c) VALUES (4, 3);
INSERT INTO public.t (a, c) VALUES (4, 4);
INSERT INTO public.t (a, c) VALUES (2, 19);
INSERT INTO public.t (a, c) VALUES (1, 12);
INSERT INTO public.t (a, c) VALUES (5, 13);
INSERT INTO public.t (a, c) VALUES (8, 19);
INSERT INTO public.t (a, c) VALUES (9, 9);
INSERT INTO public.t (a, c) VALUES (4, 11);
INSERT INTO public.t (a, c) VALUES (9, 20);
INSERT INTO public.t (a, c) VALUES (9, 8);
INSERT INTO public.t (a, c) VALUES (4, 10);
INSERT INTO public.t (a, c) VALUES (5, 16);
INSERT INTO public.t (a, c) VALUES (4, 3);
INSERT INTO public.t (a, c) VALUES (2, 6);
INSERT INTO public.t (a, c) VALUES (5, 1);
INSERT INTO public.t (a, c) VALUES (3, 17);
INSERT INTO public.t (a, c) VALUES (2, 15);
INSERT INTO public.t (a, c) VALUES (1, 8);
INSERT INTO public.t (a, c) VALUES (7, 4);
INSERT INTO public.t (a, c) VALUES (0, 3);
INSERT INTO public.t (a, c) VALUES (8, 17);
INSERT INTO public.t (a, c) VALUES (1, 15);
INSERT INTO public.t (a, c) VALUES (3, 9);
INSERT INTO public.t (a, c) VALUES (3, 3);
INSERT INTO public.t (a, c) VALUES (5, 4);
INSERT INTO public.t (a, c) VALUES (6, 18);
INSERT INTO public.t (a, c) VALUES (7, 2);
INSERT INTO public.t (a, c) VALUES (7, 2);
INSERT INTO public.t (a, c) VALUES (3, 19);
INSERT INTO public.t (a, c) VALUES (4, 15);
INSERT INTO public.t (a, c) VALUES (10, 14);
INSERT INTO public.t (a, c) VALUES (6, 4);
INSERT INTO public.t (a, c) VALUES (5, 13);
INSERT INTO public.t (a, c) VALUES (6, 2);
INSERT INTO public.t (a, c) VALUES (9, 12);
INSERT INTO public.t (a, c) VALUES (3, 14);
INSERT INTO public.t (a, c) VALUES (5, 7);
INSERT INTO public.t (a, c) VALUES (4, 15);
INSERT INTO public.t (a, c) VALUES (8, 15);
INSERT INTO public.t (a, c) VALUES (9, 5);
INSERT INTO public.t (a, c) VALUES (9, 10);
INSERT INTO public.t (a, c) VALUES (1, 13);
INSERT INTO public.t (a, c) VALUES (6, 17);
INSERT INTO public.t (a, c) VALUES (7, 17);
INSERT INTO public.t (a, c) VALUES (8, 2);
INSERT INTO public.t (a, c) VALUES (6, 15);
INSERT INTO public.t (a, c) VALUES (8, 4);
INSERT INTO public.t (a, c) VALUES (9, 5);
INSERT INTO public.t (a, c) VALUES (9, 11);
INSERT INTO public.t (a, c) VALUES (4, 15);
INSERT INTO public.t (a, c) VALUES (1, 13);
INSERT INTO public.t (a, c) VALUES (4, 12);
INSERT INTO public.t (a, c) VALUES (10, 17);
INSERT INTO public.t (a, c) VALUES (4, 15);
INSERT INTO public.t (a, c) VALUES (6, 6);
INSERT INTO public.t (a, c) VALUES (0, 10);
INSERT INTO public.t (a, c) VALUES (8, 3);
INSERT INTO public.t (a, c) VALUES (1, 8);
INSERT INTO public.t (a, c) VALUES (10, 17);
INSERT INTO public.t (a, c) VALUES (2, 15);
INSERT INTO public.t (a, c) VALUES (10, 17);
INSERT INTO public.t (a, c) VALUES (5, 15);
INSERT INTO public.t (a, c) VALUES (1, 9);
INSERT INTO public.t (a, c) VALUES (0, 20);
INSERT INTO public.t (a, c) VALUES (10, 8);
INSERT INTO public.t (a, c) VALUES (7, 2);
INSERT INTO public.t (a, c) VALUES (1, 3);
INSERT INTO public.t (a, c) VALUES (7, 1);
INSERT INTO public.t (a, c) VALUES (0, 2);
INSERT INTO public.t (a, c) VALUES (8, 12);
INSERT INTO public.t (a, c) VALUES (4, 16);
INSERT INTO public.t (a, c) VALUES (1, 4);
INSERT INTO public.t (a, c) VALUES (10, 5);
INSERT INTO public.t (a, c) VALUES (6, 19);
INSERT INTO public.t (a, c) VALUES (1, 16);
INSERT INTO public.t (a, c) VALUES (7, 1);
INSERT INTO public.t (a, c) VALUES (7, 4);
INSERT INTO public.t (a, c) VALUES (8, 15);
INSERT INTO public.t (a, c) VALUES (6, 17);
INSERT INTO public.t (a, c) VALUES (7, 11);
INSERT INTO public.t (a, c) VALUES (3, 10);
INSERT INTO public.t (a, c) VALUES (7, 7);
INSERT INTO public.t (a, c) VALUES (6, 7);
INSERT INTO public.t (a, c) VALUES (4, 13);
INSERT INTO public.t (a, c) VALUES (5, 3);
INSERT INTO public.t (a, c) VALUES (3, 17);
INSERT INTO public.t (a, c) VALUES (10, 8);
INSERT INTO public.t (a, c) VALUES (0, 19);
INSERT INTO public.t (a, c) VALUES (6, 12);
INSERT INTO public.t (a, c) VALUES (9, 15);
INSERT INTO public.t (a, c) VALUES (4, 11);
INSERT INTO public.t (a, c) VALUES (8, 2);
INSERT INTO public.t (a, c) VALUES (7, 14);
INSERT INTO public.t (a, c) VALUES (9, 7);
INSERT INTO public.t (a, c) VALUES (6, 12);
INSERT INTO public.t (a, c) VALUES (9, 17);
INSERT INTO public.t (a, c) VALUES (1, 12);
INSERT INTO public.t (a, c) VALUES (2, 15);
INSERT INTO public.t (a, c) VALUES (9, 11);
INSERT INTO public.t (a, c) VALUES (4, 8);
INSERT INTO public.t (a, c) VALUES (7, 13);
INSERT INTO public.t (a, c) VALUES (2, 14);
INSERT INTO public.t (a, c) VALUES (1, 6);
INSERT INTO public.t (a, c) VALUES (6, 14);
INSERT INTO public.t (a, c) VALUES (9, 10);
INSERT INTO public.t (a, c) VALUES (5, 6);
INSERT INTO public.t (a, c) VALUES (1, 7);
INSERT INTO public.t (a, c) VALUES (4, 17);
INSERT INTO public.t (a, c) VALUES (0, 5);
INSERT INTO public.t (a, c) VALUES (2, 11);
INSERT INTO public.t (a, c) VALUES (9, 2);
INSERT INTO public.t (a, c) VALUES (4, 19);
INSERT INTO public.t (a, c) VALUES (7, 12);
INSERT INTO public.t (a, c) VALUES (7, 13);
INSERT INTO public.t (a, c) VALUES (2, 2);
INSERT INTO public.t (a, c) VALUES (0, 18);
INSERT INTO public.t (a, c) VALUES (8, 5);
INSERT INTO public.t (a, c) VALUES (6, 17);
INSERT INTO public.t (a, c) VALUES (6, 5);
INSERT INTO public.t (a, c) VALUES (6, 9);
INSERT INTO public.t (a, c) VALUES (8, 1);
INSERT INTO public.t (a, c) VALUES (7, 17);
INSERT INTO public.t (a, c) VALUES (4, 3);
INSERT INTO public.t (a, c) VALUES (7, 8);
INSERT INTO public.t (a, c) VALUES (4, 17);
INSERT INTO public.t (a, c) VALUES (9, 5);
INSERT INTO public.t (a, c) VALUES (10, 7);
INSERT INTO public.t (a, c) VALUES (2, 13);
INSERT INTO public.t (a, c) VALUES (10, 19);
INSERT INTO public.t (a, c) VALUES (3, 2);
INSERT INTO public.t (a, c) VALUES (1, 6);
INSERT INTO public.t (a, c) VALUES (0, 17);
INSERT INTO public.t (a, c) VALUES (6, 12);
INSERT INTO public.t (a, c) VALUES (7, 3);
INSERT INTO public.t (a, c) VALUES (9, 5);
INSERT INTO public.t (a, c) VALUES (6, 12);
INSERT INTO public.t (a, c) VALUES (3, 6);
INSERT INTO public.t (a, c) VALUES (5, 13);
INSERT INTO public.t (a, c) VALUES (4, 3);
INSERT INTO public.t (a, c) VALUES (1, 17);
INSERT INTO public.t (a, c) VALUES (0, 20);
INSERT INTO public.t (a, c) VALUES (1, 0);
INSERT INTO public.t (a, c) VALUES (4, 7);
INSERT INTO public.t (a, c) VALUES (7, 6);
INSERT INTO public.t (a, c) VALUES (3, 19);
INSERT INTO public.t (a, c) VALUES (4, 7);
INSERT INTO public.t (a, c) VALUES (2, 8);
INSERT INTO public.t (a, c) VALUES (2, 16);
INSERT INTO public.t (a, c) VALUES (0, 18);
INSERT INTO public.t (a, c) VALUES (10, 18);
INSERT INTO public.t (a, c) VALUES (2, 10);
INSERT INTO public.t (a, c) VALUES (5, 10);
INSERT INTO public.t (a, c) VALUES (8, 20);
INSERT INTO public.t (a, c) VALUES (2, 5);
INSERT INTO public.t (a, c) VALUES (1, 4);
INSERT INTO public.t (a, c) VALUES (1, 4);
INSERT INTO public.t (a, c) VALUES (2, 4);
INSERT INTO public.t (a, c) VALUES (2, 11);
INSERT INTO public.t (a, c) VALUES (5, 17);
INSERT INTO public.t (a, c) VALUES (9, 16);
INSERT INTO public.t (a, c) VALUES (8, 6);
INSERT INTO public.t (a, c) VALUES (2, 1);
INSERT INTO public.t (a, c) VALUES (7, 7);
INSERT INTO public.t (a, c) VALUES (9, 15);
INSERT INTO public.t (a, c) VALUES (3, 16);
INSERT INTO public.t (a, c) VALUES (6, 9);
INSERT INTO public.t (a, c) VALUES (3, 2);
INSERT INTO public.t (a, c) VALUES (10, 3);
INSERT INTO public.t (a, c) VALUES (1, 3);
INSERT INTO public.t (a, c) VALUES (4, 5);
INSERT INTO public.t (a, c) VALUES (4, 9);
INSERT INTO public.t (a, c) VALUES (4, 11);
INSERT INTO public.t (a, c) VALUES (6, 12);
INSERT INTO public.t (a, c) VALUES (1, 3);
INSERT INTO public.t (a, c) VALUES (5, 1);
INSERT INTO public.t (a, c) VALUES (10, 5);
INSERT INTO public.t (a, c) VALUES (3, 2);
INSERT INTO public.t (a, c) VALUES (3, 1);
INSERT INTO public.t (a, c) VALUES (5, 3);
INSERT INTO public.t (a, c) VALUES (8, 15);
INSERT INTO public.t (a, c) VALUES (9, 8);
INSERT INTO public.t (a, c) VALUES (2, 5);
INSERT INTO public.t (a, c) VALUES (5, 4);
INSERT INTO public.t (a, c) VALUES (4, 12);
INSERT INTO public.t (a, c) VALUES (3, 15);
INSERT INTO public.t (a, c) VALUES (9, 13);
INSERT INTO public.t (a, c) VALUES (2, 6);
INSERT INTO public.t (a, c) VALUES (2, 17);
INSERT INTO public.t (a, c) VALUES (9, 8);
INSERT INTO public.t (a, c) VALUES (0, 7);
INSERT INTO public.t (a, c) VALUES (4, 19);
INSERT INTO public.t (a, c) VALUES (6, 15);
INSERT INTO public.t (a, c) VALUES (1, 17);
INSERT INTO public.t (a, c) VALUES (8, 11);
INSERT INTO public.t (a, c) VALUES (10, 11);
INSERT INTO public.t (a, c) VALUES (3, 19);
INSERT INTO public.t (a, c) VALUES (10, 11);
INSERT INTO public.t (a, c) VALUES (2, 10);
INSERT INTO public.t (a, c) VALUES (7, 11);
INSERT INTO public.t (a, c) VALUES (1, 1);
INSERT INTO public.t (a, c) VALUES (3, 20);
INSERT INTO public.t (a, c) VALUES (7, 11);
INSERT INTO public.t (a, c) VALUES (3, 19);
INSERT INTO public.t (a, c) VALUES (4, 4);
INSERT INTO public.t (a, c) VALUES (3, 8);
INSERT INTO public.t (a, c) VALUES (5, 15);
INSERT INTO public.t (a, c) VALUES (4, 3);
INSERT INTO public.t (a, c) VALUES (5, 9);
INSERT INTO public.t (a, c) VALUES (0, 6);
INSERT INTO public.t (a, c) VALUES (0, 0);
INSERT INTO public.t (a, c) VALUES (9, 6);
INSERT INTO public.t (a, c) VALUES (9, 17);
INSERT INTO public.t (a, c) VALUES (8, 2);
INSERT INTO public.t (a, c) VALUES (3, 11);
INSERT INTO public.t (a, c) VALUES (7, 9);
INSERT INTO public.t (a, c) VALUES (6, 20);
INSERT INTO public.t (a, c) VALUES (4, 6);
INSERT INTO public.t (a, c) VALUES (5, 14);
INSERT INTO public.t (a, c) VALUES (3, 18);
INSERT INTO public.t (a, c) VALUES (9, 12);
INSERT INTO public.t (a, c) VALUES (3, 9);
INSERT INTO public.t (a, c) VALUES (4, 14);
INSERT INTO public.t (a, c) VALUES (6, 17);
INSERT INTO public.t (a, c) VALUES (2, 12);
INSERT INTO public.t (a, c) VALUES (1, 4);
INSERT INTO public.t (a, c) VALUES (6, 0);
INSERT INTO public.t (a, c) VALUES (5, 11);
INSERT INTO public.t (a, c) VALUES (8, 7);
INSERT INTO public.t (a, c) VALUES (7, 3);
INSERT INTO public.t (a, c) VALUES (9, 7);
INSERT INTO public.t (a, c) VALUES (6, 10);
INSERT INTO public.t (a, c) VALUES (3, 1);
INSERT INTO public.t (a, c) VALUES (8, 17);
INSERT INTO public.t (a, c) VALUES (7, 1);
INSERT INTO public.t (a, c) VALUES (8, 13);
INSERT INTO public.t (a, c) VALUES (7, 2);
INSERT INTO public.t (a, c) VALUES (1, 1);
INSERT INTO public.t (a, c) VALUES (8, 13);
INSERT INTO public.t (a, c) VALUES (9, 20);
INSERT INTO public.t (a, c) VALUES (3, 1);
INSERT INTO public.t (a, c) VALUES (2, 18);
INSERT INTO public.t (a, c) VALUES (0, 13);
INSERT INTO public.t (a, c) VALUES (4, 18);
INSERT INTO public.t (a, c) VALUES (10, 2);
INSERT INTO public.t (a, c) VALUES (0, 18);
INSERT INTO public.t (a, c) VALUES (5, 13);
INSERT INTO public.t (a, c) VALUES (4, 16);
INSERT INTO public.t (a, c) VALUES (7, 4);
INSERT INTO public.t (a, c) VALUES (7, 8);
INSERT INTO public.t (a, c) VALUES (3, 9);
INSERT INTO public.t (a, c) VALUES (1, 19);
INSERT INTO public.t (a, c) VALUES (6, 3);
INSERT INTO public.t (a, c) VALUES (10, 8);
INSERT INTO public.t (a, c) VALUES (8, 17);
INSERT INTO public.t (a, c) VALUES (4, 1);
INSERT INTO public.t (a, c) VALUES (9, 10);
INSERT INTO public.t (a, c) VALUES (10, 19);
INSERT INTO public.t (a, c) VALUES (2, 8);
INSERT INTO public.t (a, c) VALUES (8, 3);
INSERT INTO public.t (a, c) VALUES (5, 17);
INSERT INTO public.t (a, c) VALUES (0, 20);
INSERT INTO public.t (a, c) VALUES (5, 9);
INSERT INTO public.t (a, c) VALUES (8, 4);
INSERT INTO public.t (a, c) VALUES (6, 10);
INSERT INTO public.t (a, c) VALUES (6, 18);
INSERT INTO public.t (a, c) VALUES (10, 14);
INSERT INTO public.t (a, c) VALUES (8, 11);
INSERT INTO public.t (a, c) VALUES (8, 16);
INSERT INTO public.t (a, c) VALUES (9, 13);
INSERT INTO public.t (a, c) VALUES (7, 6);
INSERT INTO public.t (a, c) VALUES (7, 11);
INSERT INTO public.t (a, c) VALUES (8, 13);
INSERT INTO public.t (a, c) VALUES (5, 19);
INSERT INTO public.t (a, c) VALUES (1, 7);
INSERT INTO public.t (a, c) VALUES (1, 11);
INSERT INTO public.t (a, c) VALUES (2, 3);
INSERT INTO public.t (a, c) VALUES (6, 15);
INSERT INTO public.t (a, c) VALUES (6, 8);
INSERT INTO public.t (a, c) VALUES (9, 5);
INSERT INTO public.t (a, c) VALUES (9, 11);
INSERT INTO public.t (a, c) VALUES (1, 17);
INSERT INTO public.t (a, c) VALUES (2, 20);
INSERT INTO public.t (a, c) VALUES (4, 1);
INSERT INTO public.t (a, c) VALUES (8, 6);
INSERT INTO public.t (a, c) VALUES (7, 9);
INSERT INTO public.t (a, c) VALUES (6, 7);
INSERT INTO public.t (a, c) VALUES (0, 7);
INSERT INTO public.t (a, c) VALUES (0, 11);
INSERT INTO public.t (a, c) VALUES (3, 1);
INSERT INTO public.t (a, c) VALUES (9, 9);
INSERT INTO public.t (a, c) VALUES (6, 2);
INSERT INTO public.t (a, c) VALUES (6, 4);
INSERT INTO public.t (a, c) VALUES (9, 4);
INSERT INTO public.t (a, c) VALUES (6, 16);
INSERT INTO public.t (a, c) VALUES (4, 9);
INSERT INTO public.t (a, c) VALUES (3, 11);
INSERT INTO public.t (a, c) VALUES (3, 11);
INSERT INTO public.t (a, c) VALUES (5, 13);
INSERT INTO public.t (a, c) VALUES (6, 7);
INSERT INTO public.t (a, c) VALUES (9, 5);
INSERT INTO public.t (a, c) VALUES (8, 10);
INSERT INTO public.t (a, c) VALUES (6, 16);
INSERT INTO public.t (a, c) VALUES (8, 13);
INSERT INTO public.t (a, c) VALUES (4, 3);
INSERT INTO public.t (a, c) VALUES (7, 6);
INSERT INTO public.t (a, c) VALUES (6, 8);
INSERT INTO public.t (a, c) VALUES (4, 4);
INSERT INTO public.t (a, c) VALUES (6, 5);
INSERT INTO public.t (a, c) VALUES (4, 3);
INSERT INTO public.t (a, c) VALUES (0, 16);
INSERT INTO public.t (a, c) VALUES (6, 8);
INSERT INTO public.t (a, c) VALUES (3, 18);
INSERT INTO public.t (a, c) VALUES (9, 18);
INSERT INTO public.t (a, c) VALUES (6, 11);
INSERT INTO public.t (a, c) VALUES (2, 10);
INSERT INTO public.t (a, c) VALUES (8, 0);
INSERT INTO public.t (a, c) VALUES (10, 9);
INSERT INTO public.t (a, c) VALUES (8, 17);
INSERT INTO public.t (a, c) VALUES (1, 4);
INSERT INTO public.t (a, c) VALUES (10, 17);
INSERT INTO public.t (a, c) VALUES (5, 11);
INSERT INTO public.t (a, c) VALUES (2, 17);
INSERT INTO public.t (a, c) VALUES (8, 16);
INSERT INTO public.t (a, c) VALUES (1, 2);
INSERT INTO public.t (a, c) VALUES (10, 3);
INSERT INTO public.t (a, c) VALUES (9, 12);
INSERT INTO public.t (a, c) VALUES (6, 5);
INSERT INTO public.t (a, c) VALUES (5, 10);
INSERT INTO public.t (a, c) VALUES (1, 1);
INSERT INTO public.t (a, c) VALUES (0, 7);
INSERT INTO public.t (a, c) VALUES (6, 17);
INSERT INTO public.t (a, c) VALUES (4, 11);
INSERT INTO public.t (a, c) VALUES (3, 4);
INSERT INTO public.t (a, c) VALUES (4, 8);
INSERT INTO public.t (a, c) VALUES (4, 8);
INSERT INTO public.t (a, c) VALUES (2, 17);
INSERT INTO public.t (a, c) VALUES (10, 8);
INSERT INTO public.t (a, c) VALUES (7, 14);
INSERT INTO public.t (a, c) VALUES (2, 17);
INSERT INTO public.t (a, c) VALUES (8, 3);
INSERT INTO public.t (a, c) VALUES (0, 15);
INSERT INTO public.t (a, c) VALUES (7, 12);
INSERT INTO public.t (a, c) VALUES (0, 5);
INSERT INTO public.t (a, c) VALUES (1, 3);
INSERT INTO public.t (a, c) VALUES (3, 2);
INSERT INTO public.t (a, c) VALUES (5, 18);
INSERT INTO public.t (a, c) VALUES (10, 17);
INSERT INTO public.t (a, c) VALUES (5, 5);
INSERT INTO public.t (a, c) VALUES (0, 17);
INSERT INTO public.t (a, c) VALUES (6, 8);
INSERT INTO public.t (a, c) VALUES (2, 16);
INSERT INTO public.t (a, c) VALUES (3, 4);
INSERT INTO public.t (a, c) VALUES (2, 0);
INSERT INTO public.t (a, c) VALUES (9, 9);
INSERT INTO public.t (a, c) VALUES (9, 15);
INSERT INTO public.t (a, c) VALUES (6, 18);
INSERT INTO public.t (a, c) VALUES (5, 7);
INSERT INTO public.t (a, c) VALUES (5, 10);
INSERT INTO public.t (a, c) VALUES (6, 11);
INSERT INTO public.t (a, c) VALUES (6, 18);
INSERT INTO public.t (a, c) VALUES (7, 3);
INSERT INTO public.t (a, c) VALUES (8, 13);
INSERT INTO public.t (a, c) VALUES (0, 5);
INSERT INTO public.t (a, c) VALUES (9, 1);
INSERT INTO public.t (a, c) VALUES (1, 10);
INSERT INTO public.t (a, c) VALUES (5, 7);
INSERT INTO public.t (a, c) VALUES (3, 15);
INSERT INTO public.t (a, c) VALUES (5, 11);
INSERT INTO public.t (a, c) VALUES (7, 9);
INSERT INTO public.t (a, c) VALUES (10, 12);
INSERT INTO public.t (a, c) VALUES (2, 11);
INSERT INTO public.t (a, c) VALUES (5, 13);
INSERT INTO public.t (a, c) VALUES (9, 20);
INSERT INTO public.t (a, c) VALUES (2, 10);
INSERT INTO public.t (a, c) VALUES (6, 16);
INSERT INTO public.t (a, c) VALUES (4, 5);
INSERT INTO public.t (a, c) VALUES (10, 3);
INSERT INTO public.t (a, c) VALUES (9, 19);
INSERT INTO public.t (a, c) VALUES (4, 15);
INSERT INTO public.t (a, c) VALUES (0, 10);
INSERT INTO public.t (a, c) VALUES (2, 10);
INSERT INTO public.t (a, c) VALUES (9, 11);
INSERT INTO public.t (a, c) VALUES (2, 8);
INSERT INTO public.t (a, c) VALUES (1, 20);
INSERT INTO public.t (a, c) VALUES (8, 1);
INSERT INTO public.t (a, c) VALUES (6, 0);
INSERT INTO public.t (a, c) VALUES (6, 2);
INSERT INTO public.t (a, c) VALUES (7, 10);
INSERT INTO public.t (a, c) VALUES (1, 17);
INSERT INTO public.t (a, c) VALUES (10, 13);
INSERT INTO public.t (a, c) VALUES (7, 7);
INSERT INTO public.t (a, c) VALUES (9, 12);
INSERT INTO public.t (a, c) VALUES (5, 15);
INSERT INTO public.t (a, c) VALUES (6, 19);
INSERT INTO public.t (a, c) VALUES (5, 12);
INSERT INTO public.t (a, c) VALUES (4, 15);
INSERT INTO public.t (a, c) VALUES (1, 6);
INSERT INTO public.t (a, c) VALUES (3, 7);
INSERT INTO public.t (a, c) VALUES (7, 8);
INSERT INTO public.t (a, c) VALUES (3, 10);
INSERT INTO public.t (a, c) VALUES (4, 19);
INSERT INTO public.t (a, c) VALUES (5, 1);
INSERT INTO public.t (a, c) VALUES (0, 4);
INSERT INTO public.t (a, c) VALUES (6, 2);
INSERT INTO public.t (a, c) VALUES (1, 11);
INSERT INTO public.t (a, c) VALUES (8, 14);
INSERT INTO public.t (a, c) VALUES (9, 13);
INSERT INTO public.t (a, c) VALUES (3, 8);
INSERT INTO public.t (a, c) VALUES (4, 19);
INSERT INTO public.t (a, c) VALUES (3, 18);
INSERT INTO public.t (a, c) VALUES (6, 15);
INSERT INTO public.t (a, c) VALUES (7, 13);
INSERT INTO public.t (a, c) VALUES (1, 19);
INSERT INTO public.t (a, c) VALUES (0, 15);
INSERT INTO public.t (a, c) VALUES (4, 7);
INSERT INTO public.t (a, c) VALUES (3, 16);
INSERT INTO public.t (a, c) VALUES (3, 16);
INSERT INTO public.t (a, c) VALUES (9, 6);
INSERT INTO public.t (a, c) VALUES (10, 8);
INSERT INTO public.t (a, c) VALUES (4, 1);
INSERT INTO public.t (a, c) VALUES (9, 3);
INSERT INTO public.t (a, c) VALUES (7, 16);
INSERT INTO public.t (a, c) VALUES (8, 2);
INSERT INTO public.t (a, c) VALUES (2, 4);
INSERT INTO public.t (a, c) VALUES (0, 11);
INSERT INTO public.t (a, c) VALUES (1, 11);
INSERT INTO public.t (a, c) VALUES (3, 15);
INSERT INTO public.t (a, c) VALUES (2, 8);
INSERT INTO public.t (a, c) VALUES (7, 5);
INSERT INTO public.t (a, c) VALUES (1, 2);
INSERT INTO public.t (a, c) VALUES (6, 8);
INSERT INTO public.t (a, c) VALUES (9, 17);
INSERT INTO public.t (a, c) VALUES (2, 15);
INSERT INTO public.t (a, c) VALUES (2, 3);
INSERT INTO public.t (a, c) VALUES (1, 12);
INSERT INTO public.t (a, c) VALUES (2, 1);
INSERT INTO public.t (a, c) VALUES (8, 19);
INSERT INTO public.t (a, c) VALUES (9, 11);
INSERT INTO public.t (a, c) VALUES (0, 2);
INSERT INTO public.t (a, c) VALUES (8, 0);
INSERT INTO public.t (a, c) VALUES (7, 17);
INSERT INTO public.t (a, c) VALUES (6, 20);
INSERT INTO public.t (a, c) VALUES (6, 16);
INSERT INTO public.t (a, c) VALUES (4, 6);
INSERT INTO public.t (a, c) VALUES (1, 10);
INSERT INTO public.t (a, c) VALUES (4, 13);
INSERT INTO public.t (a, c) VALUES (9, 5);
INSERT INTO public.t (a, c) VALUES (5, 2);
INSERT INTO public.t (a, c) VALUES (0, 14);
INSERT INTO public.t (a, c) VALUES (2, 3);
INSERT INTO public.t (a, c) VALUES (3, 9);
INSERT INTO public.t (a, c) VALUES (2, 2);
INSERT INTO public.t (a, c) VALUES (4, 2);
INSERT INTO public.t (a, c) VALUES (6, 7);
INSERT INTO public.t (a, c) VALUES (2, 8);
INSERT INTO public.t (a, c) VALUES (4, 18);
INSERT INTO public.t (a, c) VALUES (3, 20);
INSERT INTO public.t (a, c) VALUES (9, 17);
INSERT INTO public.t (a, c) VALUES (8, 6);
INSERT INTO public.t (a, c) VALUES (2, 17);
INSERT INTO public.t (a, c) VALUES (8, 11);
INSERT INTO public.t (a, c) VALUES (5, 14);
INSERT INTO public.t (a, c) VALUES (8, 2);
INSERT INTO public.t (a, c) VALUES (8, 17);
INSERT INTO public.t (a, c) VALUES (8, 1);
INSERT INTO public.t (a, c) VALUES (10, 2);
INSERT INTO public.t (a, c) VALUES (5, 4);
INSERT INTO public.t (a, c) VALUES (2, 17);
INSERT INTO public.t (a, c) VALUES (3, 17);
INSERT INTO public.t (a, c) VALUES (2, 11);
INSERT INTO public.t (a, c) VALUES (2, 12);
INSERT INTO public.t (a, c) VALUES (4, 10);
INSERT INTO public.t (a, c) VALUES (6, 6);
INSERT INTO public.t (a, c) VALUES (3, 8);
INSERT INTO public.t (a, c) VALUES (6, 10);
INSERT INTO public.t (a, c) VALUES (2, 8);
INSERT INTO public.t (a, c) VALUES (1, 16);
INSERT INTO public.t (a, c) VALUES (1, 18);
INSERT INTO public.t (a, c) VALUES (9, 18);
INSERT INTO public.t (a, c) VALUES (7, 13);
INSERT INTO public.t (a, c) VALUES (10, 15);
INSERT INTO public.t (a, c) VALUES (8, 8);
INSERT INTO public.t (a, c) VALUES (9, 19);
INSERT INTO public.t (a, c) VALUES (3, 5);
INSERT INTO public.t (a, c) VALUES (8, 9);
INSERT INTO public.t (a, c) VALUES (8, 0);
INSERT INTO public.t (a, c) VALUES (0, 5);
INSERT INTO public.t (a, c) VALUES (5, 12);
INSERT INTO public.t (a, c) VALUES (6, 16);
INSERT INTO public.t (a, c) VALUES (0, 3);
INSERT INTO public.t (a, c) VALUES (3, 5);
INSERT INTO public.t (a, c) VALUES (6, 7);
INSERT INTO public.t (a, c) VALUES (0, 13);
INSERT INTO public.t (a, c) VALUES (3, 18);
INSERT INTO public.t (a, c) VALUES (6, 0);
INSERT INTO public.t (a, c) VALUES (5, 11);
INSERT INTO public.t (a, c) VALUES (7, 6);
INSERT INTO public.t (a, c) VALUES (10, 14);
INSERT INTO public.t (a, c) VALUES (3, 4);
INSERT INTO public.t (a, c) VALUES (9, 1);
INSERT INTO public.t (a, c) VALUES (7, 15);
INSERT INTO public.t (a, c) VALUES (0, 14);
INSERT INTO public.t (a, c) VALUES (10, 10);
INSERT INTO public.t (a, c) VALUES (3, 11);
INSERT INTO public.t (a, c) VALUES (3, 7);
INSERT INTO public.t (a, c) VALUES (7, 12);
INSERT INTO public.t (a, c) VALUES (6, 5);
INSERT INTO public.t (a, c) VALUES (10, 12);
INSERT INTO public.t (a, c) VALUES (9, 5);
INSERT INTO public.t (a, c) VALUES (5, 10);
INSERT INTO public.t (a, c) VALUES (3, 1);
INSERT INTO public.t (a, c) VALUES (0, 0);
INSERT INTO public.t (a, c) VALUES (4, 0);
INSERT INTO public.t (a, c) VALUES (7, 12);
INSERT INTO public.t (a, c) VALUES (2, 13);
INSERT INTO public.t (a, c) VALUES (6, 18);
INSERT INTO public.t (a, c) VALUES (4, 14);
INSERT INTO public.t (a, c) VALUES (6, 7);
INSERT INTO public.t (a, c) VALUES (2, 19);
INSERT INTO public.t (a, c) VALUES (9, 10);
INSERT INTO public.t (a, c) VALUES (3, 12);
INSERT INTO public.t (a, c) VALUES (1, 17);
INSERT INTO public.t (a, c) VALUES (8, 2);
INSERT INTO public.t (a, c) VALUES (5, 15);
INSERT INTO public.t (a, c) VALUES (4, 20);
INSERT INTO public.t (a, c) VALUES (2, 13);
INSERT INTO public.t (a, c) VALUES (1, 6);
INSERT INTO public.t (a, c) VALUES (7, 8);
INSERT INTO public.t (a, c) VALUES (3, 7);
INSERT INTO public.t (a, c) VALUES (0, 11);
INSERT INTO public.t (a, c) VALUES (10, 14);
INSERT INTO public.t (a, c) VALUES (4, 7);
INSERT INTO public.t (a, c) VALUES (4, 1);
INSERT INTO public.t (a, c) VALUES (7, 11);
INSERT INTO public.t (a, c) VALUES (10, 12);
INSERT INTO public.t (a, c) VALUES (1, 5);
INSERT INTO public.t (a, c) VALUES (2, 4);
INSERT INTO public.t (a, c) VALUES (1, 20);
INSERT INTO public.t (a, c) VALUES (3, 12);
INSERT INTO public.t (a, c) VALUES (7, 14);
INSERT INTO public.t (a, c) VALUES (6, 20);
INSERT INTO public.t (a, c) VALUES (3, 13);
INSERT INTO public.t (a, c) VALUES (3, 20);
INSERT INTO public.t (a, c) VALUES (1, 11);
INSERT INTO public.t (a, c) VALUES (3, 2);
INSERT INTO public.t (a, c) VALUES (1, 6);
INSERT INTO public.t (a, c) VALUES (8, 11);
INSERT INTO public.t (a, c) VALUES (7, 4);
INSERT INTO public.t (a, c) VALUES (6, 7);
INSERT INTO public.t (a, c) VALUES (7, 11);
INSERT INTO public.t (a, c) VALUES (9, 16);
INSERT INTO public.t (a, c) VALUES (8, 2);
INSERT INTO public.t (a, c) VALUES (10, 19);
INSERT INTO public.t (a, c) VALUES (1, 6);
INSERT INTO public.t (a, c) VALUES (6, 16);
INSERT INTO public.t (a, c) VALUES (10, 3);
INSERT INTO public.t (a, c) VALUES (8, 6);
INSERT INTO public.t (a, c) VALUES (8, 1);
INSERT INTO public.t (a, c) VALUES (3, 18);
INSERT INTO public.t (a, c) VALUES (6, 13);
INSERT INTO public.t (a, c) VALUES (0, 15);
INSERT INTO public.t (a, c) VALUES (10, 17);
INSERT INTO public.t (a, c) VALUES (3, 12);
INSERT INTO public.t (a, c) VALUES (0, 16);
INSERT INTO public.t (a, c) VALUES (10, 15);
INSERT INTO public.t (a, c) VALUES (4, 18);
INSERT INTO public.t (a, c) VALUES (5, 3);
INSERT INTO public.t (a, c) VALUES (10, 10);
INSERT INTO public.t (a, c) VALUES (1, 1);
INSERT INTO public.t (a, c) VALUES (8, 13);
INSERT INTO public.t (a, c) VALUES (8, 16);
INSERT INTO public.t (a, c) VALUES (8, 12);
INSERT INTO public.t (a, c) VALUES (1, 13);
INSERT INTO public.t (a, c) VALUES (7, 9);
INSERT INTO public.t (a, c) VALUES (5, 6);
INSERT INTO public.t (a, c) VALUES (1, 11);
INSERT INTO public.t (a, c) VALUES (0, 1);
INSERT INTO public.t (a, c) VALUES (4, 6);
INSERT INTO public.t (a, c) VALUES (6, 8);
INSERT INTO public.t (a, c) VALUES (1, 12);
INSERT INTO public.t (a, c) VALUES (1, 9);
INSERT INTO public.t (a, c) VALUES (5, 14);
INSERT INTO public.t (a, c) VALUES (6, 8);
INSERT INTO public.t (a, c) VALUES (2, 15);
INSERT INTO public.t (a, c) VALUES (4, 20);
INSERT INTO public.t (a, c) VALUES (4, 6);
INSERT INTO public.t (a, c) VALUES (8, 4);
INSERT INTO public.t (a, c) VALUES (9, 18);
INSERT INTO public.t (a, c) VALUES (8, 11);
INSERT INTO public.t (a, c) VALUES (3, 7);
INSERT INTO public.t (a, c) VALUES (9, 8);
INSERT INTO public.t (a, c) VALUES (9, 18);
INSERT INTO public.t (a, c) VALUES (4, 7);
INSERT INTO public.t (a, c) VALUES (2, 1);
INSERT INTO public.t (a, c) VALUES (7, 6);
INSERT INTO public.t (a, c) VALUES (6, 18);
INSERT INTO public.t (a, c) VALUES (8, 2);
INSERT INTO public.t (a, c) VALUES (6, 8);
INSERT INTO public.t (a, c) VALUES (5, 15);
INSERT INTO public.t (a, c) VALUES (1, 19);
INSERT INTO public.t (a, c) VALUES (8, 10);
INSERT INTO public.t (a, c) VALUES (2, 11);
INSERT INTO public.t (a, c) VALUES (7, 3);
INSERT INTO public.t (a, c) VALUES (4, 10);
INSERT INTO public.t (a, c) VALUES (7, 15);
INSERT INTO public.t (a, c) VALUES (9, 11);
INSERT INTO public.t (a, c) VALUES (2, 16);
INSERT INTO public.t (a, c) VALUES (5, 12);
INSERT INTO public.t (a, c) VALUES (1, 13);
INSERT INTO public.t (a, c) VALUES (6, 17);
INSERT INTO public.t (a, c) VALUES (10, 6);
INSERT INTO public.t (a, c) VALUES (7, 15);
INSERT INTO public.t (a, c) VALUES (4, 6);
INSERT INTO public.t (a, c) VALUES (2, 18);
INSERT INTO public.t (a, c) VALUES (1, 6);
INSERT INTO public.t (a, c) VALUES (9, 16);
INSERT INTO public.t (a, c) VALUES (8, 3);
INSERT INTO public.t (a, c) VALUES (4, 10);
INSERT INTO public.t (a, c) VALUES (3, 16);
INSERT INTO public.t (a, c) VALUES (0, 20);
INSERT INTO public.t (a, c) VALUES (5, 17);
INSERT INTO public.t (a, c) VALUES (6, 14);
INSERT INTO public.t (a, c) VALUES (7, 1);
INSERT INTO public.t (a, c) VALUES (3, 16);
INSERT INTO public.t (a, c) VALUES (7, 19);
INSERT INTO public.t (a, c) VALUES (6, 14);
INSERT INTO public.t (a, c) VALUES (2, 8);
INSERT INTO public.t (a, c) VALUES (4, 12);
INSERT INTO public.t (a, c) VALUES (7, 12);
INSERT INTO public.t (a, c) VALUES (5, 16);
INSERT INTO public.t (a, c) VALUES (9, 9);
INSERT INTO public.t (a, c) VALUES (6, 14);
INSERT INTO public.t (a, c) VALUES (6, 19);
INSERT INTO public.t (a, c) VALUES (2, 17);
INSERT INTO public.t (a, c) VALUES (7, 4);
INSERT INTO public.t (a, c) VALUES (8, 6);
INSERT INTO public.t (a, c) VALUES (1, 8);
INSERT INTO public.t (a, c) VALUES (10, 15);
INSERT INTO public.t (a, c) VALUES (4, 6);
INSERT INTO public.t (a, c) VALUES (5, 2);
INSERT INTO public.t (a, c) VALUES (2, 4);
INSERT INTO public.t (a, c) VALUES (8, 9);
INSERT INTO public.t (a, c) VALUES (6, 5);
INSERT INTO public.t (a, c) VALUES (1, 6);
INSERT INTO public.t (a, c) VALUES (8, 12);
INSERT INTO public.t (a, c) VALUES (1, 15);
INSERT INTO public.t (a, c) VALUES (0, 13);
INSERT INTO public.t (a, c) VALUES (5, 12);
INSERT INTO public.t (a, c) VALUES (6, 14);
INSERT INTO public.t (a, c) VALUES (4, 7);
INSERT INTO public.t (a, c) VALUES (9, 5);
INSERT INTO public.t (a, c) VALUES (7, 20);
INSERT INTO public.t (a, c) VALUES (6, 13);
INSERT INTO public.t (a, c) VALUES (8, 1);
INSERT INTO public.t (a, c) VALUES (9, 6);
INSERT INTO public.t (a, c) VALUES (2, 3);
INSERT INTO public.t (a, c) VALUES (5, 19);
INSERT INTO public.t (a, c) VALUES (6, 1);
INSERT INTO public.t (a, c) VALUES (2, 13);
INSERT INTO public.t (a, c) VALUES (4, 1);
INSERT INTO public.t (a, c) VALUES (3, 8);
INSERT INTO public.t (a, c) VALUES (8, 6);
INSERT INTO public.t (a, c) VALUES (1, 5);
INSERT INTO public.t (a, c) VALUES (9, 14);
INSERT INTO public.t (a, c) VALUES (9, 6);
INSERT INTO public.t (a, c) VALUES (1, 17);
INSERT INTO public.t (a, c) VALUES (6, 15);
INSERT INTO public.t (a, c) VALUES (8, 4);
INSERT INTO public.t (a, c) VALUES (4, 11);
INSERT INTO public.t (a, c) VALUES (3, 7);
INSERT INTO public.t (a, c) VALUES (9, 9);
INSERT INTO public.t (a, c) VALUES (5, 7);
INSERT INTO public.t (a, c) VALUES (4, 2);
INSERT INTO public.t (a, c) VALUES (4, 12);
INSERT INTO public.t (a, c) VALUES (8, 15);
INSERT INTO public.t (a, c) VALUES (6, 1);
INSERT INTO public.t (a, c) VALUES (2, 8);
INSERT INTO public.t (a, c) VALUES (3, 5);
INSERT INTO public.t (a, c) VALUES (7, 4);
INSERT INTO public.t (a, c) VALUES (10, 12);
INSERT INTO public.t (a, c) VALUES (5, 1);
INSERT INTO public.t (a, c) VALUES (4, 2);
INSERT INTO public.t (a, c) VALUES (8, 5);
INSERT INTO public.t (a, c) VALUES (3, 4);
INSERT INTO public.t (a, c) VALUES (8, 12);
INSERT INTO public.t (a, c) VALUES (5, 13);
INSERT INTO public.t (a, c) VALUES (0, 1);
INSERT INTO public.t (a, c) VALUES (0, 8);
INSERT INTO public.t (a, c) VALUES (1, 8);
INSERT INTO public.t (a, c) VALUES (10, 18);
INSERT INTO public.t (a, c) VALUES (2, 12);
INSERT INTO public.t (a, c) VALUES (10, 7);
INSERT INTO public.t (a, c) VALUES (0, 6);
INSERT INTO public.t (a, c) VALUES (6, 14);
INSERT INTO public.t (a, c) VALUES (5, 12);
INSERT INTO public.t (a, c) VALUES (3, 1);
INSERT INTO public.t (a, c) VALUES (7, 14);
INSERT INTO public.t (a, c) VALUES (2, 10);
INSERT INTO public.t (a, c) VALUES (9, 10);
INSERT INTO public.t (a, c) VALUES (7, 14);
INSERT INTO public.t (a, c) VALUES (1, 4);
INSERT INTO public.t (a, c) VALUES (4, 2);
INSERT INTO public.t (a, c) VALUES (2, 8);
INSERT INTO public.t (a, c) VALUES (5, 7);
INSERT INTO public.t (a, c) VALUES (8, 10);
INSERT INTO public.t (a, c) VALUES (3, 20);
INSERT INTO public.t (a, c) VALUES (1, 5);
INSERT INTO public.t (a, c) VALUES (4, 3);
INSERT INTO public.t (a, c) VALUES (6, 20);
INSERT INTO public.t (a, c) VALUES (8, 2);
INSERT INTO public.t (a, c) VALUES (6, 2);
INSERT INTO public.t (a, c) VALUES (2, 6);
INSERT INTO public.t (a, c) VALUES (8, 7);
INSERT INTO public.t (a, c) VALUES (8, 14);
INSERT INTO public.t (a, c) VALUES (8, 9);
INSERT INTO public.t (a, c) VALUES (4, 18);
INSERT INTO public.t (a, c) VALUES (6, 16);
INSERT INTO public.t (a, c) VALUES (10, 17);
INSERT INTO public.t (a, c) VALUES (2, 10);
INSERT INTO public.t (a, c) VALUES (2, 0);
INSERT INTO public.t (a, c) VALUES (10, 10);
INSERT INTO public.t (a, c) VALUES (0, 2);
INSERT INTO public.t (a, c) VALUES (8, 7);
INSERT INTO public.t (a, c) VALUES (2, 6);
INSERT INTO public.t (a, c) VALUES (4, 2);
INSERT INTO public.t (a, c) VALUES (4, 19);
INSERT INTO public.t (a, c) VALUES (2, 12);
INSERT INTO public.t (a, c) VALUES (3, 19);
INSERT INTO public.t (a, c) VALUES (9, 0);
INSERT INTO public.t (a, c) VALUES (7, 15);
INSERT INTO public.t (a, c) VALUES (4, 2);
INSERT INTO public.t (a, c) VALUES (7, 2);
INSERT INTO public.t (a, c) VALUES (9, 13);
INSERT INTO public.t (a, c) VALUES (9, 2);
INSERT INTO public.t (a, c) VALUES (2, 3);
INSERT INTO public.t (a, c) VALUES (1, 3);
INSERT INTO public.t (a, c) VALUES (7, 2);
INSERT INTO public.t (a, c) VALUES (2, 9);
INSERT INTO public.t (a, c) VALUES (5, 10);
INSERT INTO public.t (a, c) VALUES (8, 16);
INSERT INTO public.t (a, c) VALUES (6, 4);
INSERT INTO public.t (a, c) VALUES (8, 15);
INSERT INTO public.t (a, c) VALUES (8, 1);
INSERT INTO public.t (a, c) VALUES (7, 14);
INSERT INTO public.t (a, c) VALUES (1, 8);
INSERT INTO public.t (a, c) VALUES (5, 10);
INSERT INTO public.t (a, c) VALUES (5, 3);
INSERT INTO public.t (a, c) VALUES (6, 7);
INSERT INTO public.t (a, c) VALUES (8, 10);
INSERT INTO public.t (a, c) VALUES (4, 20);
INSERT INTO public.t (a, c) VALUES (7, 10);
INSERT INTO public.t (a, c) VALUES (1, 7);
INSERT INTO public.t (a, c) VALUES (6, 7);
INSERT INTO public.t (a, c) VALUES (8, 1);
INSERT INTO public.t (a, c) VALUES (8, 11);
INSERT INTO public.t (a, c) VALUES (9, 8);
INSERT INTO public.t (a, c) VALUES (7, 13);
INSERT INTO public.t (a, c) VALUES (1, 10);
INSERT INTO public.t (a, c) VALUES (7, 17);
INSERT INTO public.t (a, c) VALUES (2, 16);
INSERT INTO public.t (a, c) VALUES (2, 13);
INSERT INTO public.t (a, c) VALUES (3, 14);
INSERT INTO public.t (a, c) VALUES (8, 18);
INSERT INTO public.t (a, c) VALUES (1, 12);
INSERT INTO public.t (a, c) VALUES (4, 10);
INSERT INTO public.t (a, c) VALUES (6, 2);
INSERT INTO public.t (a, c) VALUES (10, 14);
INSERT INTO public.t (a, c) VALUES (4, 12);
INSERT INTO public.t (a, c) VALUES (1, 4);
INSERT INTO public.t (a, c) VALUES (7, 18);
INSERT INTO public.t (a, c) VALUES (8, 11);
INSERT INTO public.t (a, c) VALUES (3, 10);
INSERT INTO public.t (a, c) VALUES (2, 9);
INSERT INTO public.t (a, c) VALUES (10, 19);
INSERT INTO public.t (a, c) VALUES (3, 3);
INSERT INTO public.t (a, c) VALUES (7, 10);
INSERT INTO public.t (a, c) VALUES (8, 0);
INSERT INTO public.t (a, c) VALUES (2, 13);
INSERT INTO public.t (a, c) VALUES (9, 5);
INSERT INTO public.t (a, c) VALUES (2, 6);
INSERT INTO public.t (a, c) VALUES (7, 17);
INSERT INTO public.t (a, c) VALUES (4, 15);
INSERT INTO public.t (a, c) VALUES (6, 16);
INSERT INTO public.t (a, c) VALUES (3, 13);
INSERT INTO public.t (a, c) VALUES (0, 0);
INSERT INTO public.t (a, c) VALUES (5, 16);
INSERT INTO public.t (a, c) VALUES (6, 17);
INSERT INTO public.t (a, c) VALUES (3, 16);
INSERT INTO public.t (a, c) VALUES (3, 6);
INSERT INTO public.t (a, c) VALUES (7, 12);
INSERT INTO public.t (a, c) VALUES (5, 9);
INSERT INTO public.t (a, c) VALUES (1, 6);
INSERT INTO public.t (a, c) VALUES (5, 6);
INSERT INTO public.t (a, c) VALUES (9, 8);
INSERT INTO public.t (a, c) VALUES (6, 3);
INSERT INTO public.t (a, c) VALUES (7, 7);
INSERT INTO public.t (a, c) VALUES (10, 1);
INSERT INTO public.t (a, c) VALUES (1, 11);
INSERT INTO public.t (a, c) VALUES (9, 9);
INSERT INTO public.t (a, c) VALUES (2, 18);
INSERT INTO public.t (a, c) VALUES (5, 14);
INSERT INTO public.t (a, c) VALUES (7, 1);
INSERT INTO public.t (a, c) VALUES (6, 0);
INSERT INTO public.t (a, c) VALUES (8, 17);
INSERT INTO public.t (a, c) VALUES (3, 11);
INSERT INTO public.t (a, c) VALUES (5, 15);
INSERT INTO public.t (a, c) VALUES (0, 11);
INSERT INTO public.t (a, c) VALUES (0, 10);
INSERT INTO public.t (a, c) VALUES (9, 19);
INSERT INTO public.t (a, c) VALUES (9, 10);
INSERT INTO public.t (a, c) VALUES (1, 12);
INSERT INTO public.t (a, c) VALUES (8, 2);
INSERT INTO public.t (a, c) VALUES (6, 18);
INSERT INTO public.t (a, c) VALUES (6, 10);
INSERT INTO public.t (a, c) VALUES (3, 16);
INSERT INTO public.t (a, c) VALUES (4, 16);
INSERT INTO public.t (a, c) VALUES (5, 3);
INSERT INTO public.t (a, c) VALUES (8, 2);
INSERT INTO public.t (a, c) VALUES (1, 13);
INSERT INTO public.t (a, c) VALUES (10, 9);
INSERT INTO public.t (a, c) VALUES (2, 9);
INSERT INTO public.t (a, c) VALUES (2, 5);
INSERT INTO public.t (a, c) VALUES (0, 4);
INSERT INTO public.t (a, c) VALUES (8, 18);
INSERT INTO public.t (a, c) VALUES (2, 13);
INSERT INTO public.t (a, c) VALUES (4, 6);
INSERT INTO public.t (a, c) VALUES (2, 4);
INSERT INTO public.t (a, c) VALUES (4, 18);
INSERT INTO public.t (a, c) VALUES (1, 0);
INSERT INTO public.t (a, c) VALUES (4, 9);
INSERT INTO public.t (a, c) VALUES (8, 16);
INSERT INTO public.t (a, c) VALUES (3, 7);
INSERT INTO public.t (a, c) VALUES (9, 1);
INSERT INTO public.t (a, c) VALUES (5, 1);
INSERT INTO public.t (a, c) VALUES (7, 9);
INSERT INTO public.t (a, c) VALUES (5, 19);
INSERT INTO public.t (a, c) VALUES (9, 14);
INSERT INTO public.t (a, c) VALUES (2, 19);
INSERT INTO public.t (a, c) VALUES (9, 19);
INSERT INTO public.t (a, c) VALUES (8, 1);
INSERT INTO public.t (a, c) VALUES (6, 5);
INSERT INTO public.t (a, c) VALUES (4, 18);
INSERT INTO public.t (a, c) VALUES (5, 14);
INSERT INTO public.t (a, c) VALUES (8, 11);
INSERT INTO public.t (a, c) VALUES (7, 3);
INSERT INTO public.t (a, c) VALUES (0, 11);
INSERT INTO public.t (a, c) VALUES (9, 6);
INSERT INTO public.t (a, c) VALUES (9, 17);
INSERT INTO public.t (a, c) VALUES (3, 8);
INSERT INTO public.t (a, c) VALUES (9, 1);
INSERT INTO public.t (a, c) VALUES (9, 8);
INSERT INTO public.t (a, c) VALUES (10, 16);
INSERT INTO public.t (a, c) VALUES (1, 3);
INSERT INTO public.t (a, c) VALUES (7, 19);
INSERT INTO public.t (a, c) VALUES (1, 12);
INSERT INTO public.t (a, c) VALUES (0, 15);
INSERT INTO public.t (a, c) VALUES (8, 8);
INSERT INTO public.t (a, c) VALUES (6, 6);
INSERT INTO public.t (a, c) VALUES (1, 8);
INSERT INTO public.t (a, c) VALUES (9, 17);
INSERT INTO public.t (a, c) VALUES (5, 18);
INSERT INTO public.t (a, c) VALUES (4, 9);
INSERT INTO public.t (a, c) VALUES (2, 7);
INSERT INTO public.t (a, c) VALUES (3, 10);
INSERT INTO public.t (a, c) VALUES (7, 4);
INSERT INTO public.t (a, c) VALUES (6, 12);
INSERT INTO public.t (a, c) VALUES (6, 11);
INSERT INTO public.t (a, c) VALUES (4, 13);
INSERT INTO public.t (a, c) VALUES (7, 3);
INSERT INTO public.t (a, c) VALUES (6, 17);
INSERT INTO public.t (a, c) VALUES (8, 13);
INSERT INTO public.t (a, c) VALUES (6, 12);
INSERT INTO public.t (a, c) VALUES (1, 5);
INSERT INTO public.t (a, c) VALUES (9, 3);
INSERT INTO public.t (a, c) VALUES (6, 15);
INSERT INTO public.t (a, c) VALUES (0, 3);
INSERT INTO public.t (a, c) VALUES (6, 9);
INSERT INTO public.t (a, c) VALUES (6, 15);
INSERT INTO public.t (a, c) VALUES (8, 18);
INSERT INTO public.t (a, c) VALUES (3, 10);
INSERT INTO public.t (a, c) VALUES (1, 17);
INSERT INTO public.t (a, c) VALUES (1, 13);
INSERT INTO public.t (a, c) VALUES (4, 11);
INSERT INTO public.t (a, c) VALUES (3, 2);
INSERT INTO public.t (a, c) VALUES (7, 18);
INSERT INTO public.t (a, c) VALUES (10, 10);
INSERT INTO public.t (a, c) VALUES (6, 12);
INSERT INTO public.t (a, c) VALUES (1, 13);
INSERT INTO public.t (a, c) VALUES (8, 19);
INSERT INTO public.t (a, c) VALUES (8, 9);
INSERT INTO public.t (a, c) VALUES (7, 17);
INSERT INTO public.t (a, c) VALUES (6, 7);
INSERT INTO public.t (a, c) VALUES (3, 5);
INSERT INTO public.t (a, c) VALUES (1, 1);
INSERT INTO public.t (a, c) VALUES (1, 7);
INSERT INTO public.t (a, c) VALUES (5, 4);
INSERT INTO public.t (a, c) VALUES (2, 13);
INSERT INTO public.t (a, c) VALUES (9, 12);
INSERT INTO public.t (a, c) VALUES (2, 3);
INSERT INTO public.t (a, c) VALUES (7, 19);
INSERT INTO public.t (a, c) VALUES (1, 13);
INSERT INTO public.t (a, c) VALUES (4, 13);
INSERT INTO public.t (a, c) VALUES (3, 11);
INSERT INTO public.t (a, c) VALUES (3, 2);
INSERT INTO public.t (a, c) VALUES (5, 2);
INSERT INTO public.t (a, c) VALUES (6, 4);
INSERT INTO public.t (a, c) VALUES (9, 4);
INSERT INTO public.t (a, c) VALUES (5, 4);
INSERT INTO public.t (a, c) VALUES (4, 13);
INSERT INTO public.t (a, c) VALUES (2, 11);
INSERT INTO public.t (a, c) VALUES (0, 15);
INSERT INTO public.t (a, c) VALUES (8, 4);
INSERT INTO public.t (a, c) VALUES (4, 13);
INSERT INTO public.t (a, c) VALUES (8, 13);
INSERT INTO public.t (a, c) VALUES (8, 10);
INSERT INTO public.t (a, c) VALUES (6, 18);
INSERT INTO public.t (a, c) VALUES (2, 1);
INSERT INTO public.t (a, c) VALUES (6, 8);
INSERT INTO public.t (a, c) VALUES (6, 17);
INSERT INTO public.t (a, c) VALUES (5, 1);
INSERT INTO public.t (a, c) VALUES (10, 2);
INSERT INTO public.t (a, c) VALUES (3, 19);
INSERT INTO public.t (a, c) VALUES (3, 16);
INSERT INTO public.t (a, c) VALUES (1, 15);
INSERT INTO public.t (a, c) VALUES (4, 8);
INSERT INTO public.t (a, c) VALUES (3, 9);
INSERT INTO public.t (a, c) VALUES (1, 1);
INSERT INTO public.t (a, c) VALUES (7, 12);
INSERT INTO public.t (a, c) VALUES (7, 9);
INSERT INTO public.t (a, c) VALUES (2, 10);
INSERT INTO public.t (a, c) VALUES (9, 16);
INSERT INTO public.t (a, c) VALUES (4, 2);
INSERT INTO public.t (a, c) VALUES (9, 19);
INSERT INTO public.t (a, c) VALUES (5, 8);
INSERT INTO public.t (a, c) VALUES (8, 1);
INSERT INTO public.t (a, c) VALUES (5, 16);
INSERT INTO public.t (a, c) VALUES (1, 15);
INSERT INTO public.t (a, c) VALUES (7, 9);
INSERT INTO public.t (a, c) VALUES (6, 17);
INSERT INTO public.t (a, c) VALUES (2, 0);
INSERT INTO public.t (a, c) VALUES (2, 10);
INSERT INTO public.t (a, c) VALUES (5, 8);
INSERT INTO public.t (a, c) VALUES (5, 2);
INSERT INTO public.t (a, c) VALUES (10, 5);
INSERT INTO public.t (a, c) VALUES (6, 4);
INSERT INTO public.t (a, c) VALUES (7, 10);
INSERT INTO public.t (a, c) VALUES (0, 2);
INSERT INTO public.t (a, c) VALUES (6, 18);
INSERT INTO public.t (a, c) VALUES (1, 1);
INSERT INTO public.t (a, c) VALUES (3, 18);
INSERT INTO public.t (a, c) VALUES (1, 15);
INSERT INTO public.t (a, c) VALUES (7, 5);
INSERT INTO public.t (a, c) VALUES (5, 8);
INSERT INTO public.t (a, c) VALUES (7, 2);
INSERT INTO public.t (a, c) VALUES (3, 17);
INSERT INTO public.t (a, c) VALUES (1, 10);
INSERT INTO public.t (a, c) VALUES (3, 11);
INSERT INTO public.t (a, c) VALUES (9, 17);
INSERT INTO public.t (a, c) VALUES (7, 18);
INSERT INTO public.t (a, c) VALUES (1, 4);
INSERT INTO public.t (a, c) VALUES (1, 17);
INSERT INTO public.t (a, c) VALUES (7, 2);
INSERT INTO public.t (a, c) VALUES (10, 5);
INSERT INTO public.t (a, c) VALUES (10, 1);
INSERT INTO public.t (a, c) VALUES (3, 6);
INSERT INTO public.t (a, c) VALUES (9, 9);
INSERT INTO public.t (a, c) VALUES (1, 12);
INSERT INTO public.t (a, c) VALUES (7, 12);
INSERT INTO public.t (a, c) VALUES (10, 7);
INSERT INTO public.t (a, c) VALUES (7, 5);
INSERT INTO public.t (a, c) VALUES (2, 16);
INSERT INTO public.t (a, c) VALUES (8, 10);
INSERT INTO public.t (a, c) VALUES (3, 14);
INSERT INTO public.t (a, c) VALUES (4, 0);
INSERT INTO public.t (a, c) VALUES (6, 10);
INSERT INTO public.t (a, c) VALUES (2, 13);
INSERT INTO public.t (a, c) VALUES (4, 19);
INSERT INTO public.t (a, c) VALUES (8, 7);
INSERT INTO public.t (a, c) VALUES (2, 15);
INSERT INTO public.t (a, c) VALUES (4, 10);
INSERT INTO public.t (a, c) VALUES (0, 6);
INSERT INTO public.t (a, c) VALUES (10, 2);
INSERT INTO public.t (a, c) VALUES (9, 12);
INSERT INTO public.t (a, c) VALUES (7, 18);
INSERT INTO public.t (a, c) VALUES (10, 8);
INSERT INTO public.t (a, c) VALUES (2, 3);
INSERT INTO public.t (a, c) VALUES (2, 19);
INSERT INTO public.t (a, c) VALUES (7, 10);
INSERT INTO public.t (a, c) VALUES (7, 1);
INSERT INTO public.t (a, c) VALUES (5, 5);
INSERT INTO public.t (a, c) VALUES (5, 15);
INSERT INTO public.t (a, c) VALUES (9, 18);
INSERT INTO public.t (a, c) VALUES (7, 13);
INSERT INTO public.t (a, c) VALUES (2, 17);
INSERT INTO public.t (a, c) VALUES (4, 12);
INSERT INTO public.t (a, c) VALUES (4, 10);
INSERT INTO public.t (a, c) VALUES (9, 7);
INSERT INTO public.t (a, c) VALUES (6, 17);
INSERT INTO public.t (a, c) VALUES (9, 6);
INSERT INTO public.t (a, c) VALUES (8, 18);
INSERT INTO public.t (a, c) VALUES (7, 19);
INSERT INTO public.t (a, c) VALUES (0, 16);
INSERT INTO public.t (a, c) VALUES (9, 14);
INSERT INTO public.t (a, c) VALUES (3, 11);
INSERT INTO public.t (a, c) VALUES (7, 16);
INSERT INTO public.t (a, c) VALUES (8, 5);
INSERT INTO public.t (a, c) VALUES (5, 14);
INSERT INTO public.t (a, c) VALUES (2, 4);
INSERT INTO public.t (a, c) VALUES (4, 8);
INSERT INTO public.t (a, c) VALUES (1, 16);
INSERT INTO public.t (a, c) VALUES (0, 9);
INSERT INTO public.t (a, c) VALUES (3, 19);
INSERT INTO public.t (a, c) VALUES (8, 17);
INSERT INTO public.t (a, c) VALUES (8, 15);
INSERT INTO public.t (a, c) VALUES (2, 12);
INSERT INTO public.t (a, c) VALUES (6, 16);
INSERT INTO public.t (a, c) VALUES (5, 13);
INSERT INTO public.t (a, c) VALUES (6, 9);
INSERT INTO public.t (a, c) VALUES (4, 19);
INSERT INTO public.t (a, c) VALUES (0, 2);
INSERT INTO public.t (a, c) VALUES (8, 16);
INSERT INTO public.t (a, c) VALUES (4, 6);
INSERT INTO public.t (a, c) VALUES (5, 11);
INSERT INTO public.t (a, c) VALUES (5, 17);
INSERT INTO public.t (a, c) VALUES (10, 11);
INSERT INTO public.t (a, c) VALUES (7, 20);
INSERT INTO public.t (a, c) VALUES (0, 18);
INSERT INTO public.t (a, c) VALUES (10, 16);
INSERT INTO public.t (a, c) VALUES (8, 16);
INSERT INTO public.t (a, c) VALUES (5, 19);
INSERT INTO public.t (a, c) VALUES (4, 3);
INSERT INTO public.t (a, c) VALUES (8, 18);
INSERT INTO public.t (a, c) VALUES (8, 8);
INSERT INTO public.t (a, c) VALUES (4, 3);
INSERT INTO public.t (a, c) VALUES (3, 8);
INSERT INTO public.t (a, c) VALUES (3, 2);
INSERT INTO public.t (a, c) VALUES (2, 13);
INSERT INTO public.t (a, c) VALUES (4, 14);
INSERT INTO public.t (a, c) VALUES (2, 18);
INSERT INTO public.t (a, c) VALUES (6, 3);
INSERT INTO public.t (a, c) VALUES (4, 5);
INSERT INTO public.t (a, c) VALUES (1, 9);
INSERT INTO public.t (a, c) VALUES (2, 1);
INSERT INTO public.t (a, c) VALUES (2, 19);
INSERT INTO public.t (a, c) VALUES (8, 14);
INSERT INTO public.t (a, c) VALUES (9, 4);
INSERT INTO public.t (a, c) VALUES (9, 13);
INSERT INTO public.t (a, c) VALUES (1, 13);
INSERT INTO public.t (a, c) VALUES (0, 10);
INSERT INTO public.t (a, c) VALUES (8, 7);
INSERT INTO public.t (a, c) VALUES (9, 2);
INSERT INTO public.t (a, c) VALUES (5, 2);
INSERT INTO public.t (a, c) VALUES (7, 17);
INSERT INTO public.t (a, c) VALUES (8, 18);
INSERT INTO public.t (a, c) VALUES (7, 9);
INSERT INTO public.t (a, c) VALUES (0, 3);
INSERT INTO public.t (a, c) VALUES (7, 3);
INSERT INTO public.t (a, c) VALUES (6, 17);
INSERT INTO public.t (a, c) VALUES (2, 16);
INSERT INTO public.t (a, c) VALUES (8, 2);
INSERT INTO public.t (a, c) VALUES (5, 13);
INSERT INTO public.t (a, c) VALUES (3, 8);
INSERT INTO public.t (a, c) VALUES (3, 9);
INSERT INTO public.t (a, c) VALUES (1, 6);
INSERT INTO public.t (a, c) VALUES (10, 18);
INSERT INTO public.t (a, c) VALUES (7, 18);
INSERT INTO public.t (a, c) VALUES (10, 3);
INSERT INTO public.t (a, c) VALUES (0, 14);
INSERT INTO public.t (a, c) VALUES (10, 17);
INSERT INTO public.t (a, c) VALUES (6, 14);
INSERT INTO public.t (a, c) VALUES (3, 14);
INSERT INTO public.t (a, c) VALUES (8, 19);
INSERT INTO public.t (a, c) VALUES (8, 9);
INSERT INTO public.t (a, c) VALUES (8, 1);
INSERT INTO public.t (a, c) VALUES (3, 12);
INSERT INTO public.t (a, c) VALUES (2, 16);
INSERT INTO public.t (a, c) VALUES (3, 9);
INSERT INTO public.t (a, c) VALUES (2, 11);
INSERT INTO public.t (a, c) VALUES (9, 5);
INSERT INTO public.t (a, c) VALUES (9, 17);
INSERT INTO public.t (a, c) VALUES (1, 11);
INSERT INTO public.t (a, c) VALUES (8, 2);
INSERT INTO public.t (a, c) VALUES (7, 15);
INSERT INTO public.t (a, c) VALUES (8, 13);
INSERT INTO public.t (a, c) VALUES (6, 9);
INSERT INTO public.t (a, c) VALUES (3, 18);
INSERT INTO public.t (a, c) VALUES (1, 3);


-- Completed on 2019-04-03 03:26:40 CEST

--
-- PostgreSQL database dump complete
--

