param n := 15 ;
param m := 34 ;
set Edges := (13,15)	(13,14)	(11,14)	(11,15)	(10,12)	(10,14)	(8,14)	(8,15)	(7,13)	(7,14)	(6,11)	(6,10)	(6,9)	(5,12)	(5,7)	(5,8)	(4,14)	(4,10)	(4,15)	(3,10)	(3,14)	(2,11)	(2,6)	(2,9)	(2,15)	(2,12)	(2,10)	(2,14)	(1,11)	(1,4)	(1,12)	(1,3)	(1,7)	(1,6)	;
param c := [13,15] 10	[13,14] 98	[11,14] 50	[11,15] 22	[10,12] 39	[10,14] 8	[8,14] 22	[8,15] 97	[7,13] 28	[7,14] 81	[6,11] 59	[6,10] 84	[6,9] 46	[5,12] 79	[5,7] 71	[5,8] 59	[4,14] 60	[4,10] 3	[4,15] 74	[3,10] 82	[3,14] 48	[2,11] 40	[2,6] 61	[2,9] 48	[2,15] 31	[2,12] 17	[2,10] 73	[2,14] 29	[1,11] 88	[1,4] 65	[1,12] 95	[1,3] 16	[1,7] 94	[1,6] 56	;
param q := 
[1,6,5,8] 6	[1,6,8,15] 18	[1,6,11,15] 83	[1,6,13,14] 21	[1,6,1,7] 66	[1,6,1,3] 15	[1,6,7,14] 7	[1,6,4,15] 96	[1,6,13,15] 54	[1,6,4,10] 16	[1,6,10,14] 87	[1,6,2,14] 49	[1,6,2,10] 77	[1,6,3,14] 26	[1,6,2,12] 46	[1,6,5,7] 29	[1,6,5,12] 52	[1,6,6,9] 91	[1,6,1,12] 15	[1,6,6,10] 15	[1,6,2,15] 72	[1,6,3,10] 38	[1,6,1,4] 60	[1,6,11,14] 41	[1,6,10,12] 53	[1,6,2,9] 64	[1,6,6,11] 99	[1,6,4,14] 30	[1,6,8,14] 8	[1,6,1,11] 53	[1,6,7,13] 13	[1,6,2,6] 54	[1,6,2,11] 5	[5,8,1,6] 6	[5,8,8,15] 50	[5,8,11,15] 28	[5,8,13,14] 1	[5,8,1,7] 55	[5,8,1,3] 77	[5,8,7,14] 82	[5,8,4,15] 25	[5,8,13,15] 71	[5,8,4,10] 54	[5,8,10,14] 23	[5,8,2,14] 75	[5,8,2,10] 43	[5,8,3,14] 45	[5,8,2,12] 25	[5,8,5,7] 88	[5,8,5,12] 86	[5,8,6,9] 39	[5,8,1,12] 66	[5,8,6,10] 67	[5,8,2,15] 41	[5,8,3,10] 60	[5,8,1,4] 95	[5,8,11,14] 48	[5,8,10,12] 67	[5,8,2,9] 74	[5,8,6,11] 95	[5,8,4,14] 61	[5,8,8,14] 17	[5,8,1,11] 86	[5,8,7,13] 95	[5,8,2,6] 43	[5,8,2,11] 43	[8,15,1,6] 18	[8,15,5,8] 50	[8,15,11,15] 28	[8,15,13,14] 45	[8,15,1,7] 95	[8,15,1,3] 66	[8,15,7,14] 70	[8,15,4,15] 47	[8,15,13,15] 10	[8,15,4,10] 71	[8,15,10,14] 35	[8,15,2,14] 25	[8,15,2,10] 88	[8,15,3,14] 38	[8,15,2,12] 86	[8,15,5,7] 39	[8,15,5,12] 64	[8,15,6,9] 16	[8,15,1,12] 23	[8,15,6,10] 79	[8,15,2,15] 10	[8,15,3,10] 5	[8,15,1,4] 86	[8,15,11,14] 4	[8,15,10,12] 45	[8,15,2,9] 37	[8,15,6,11] 43	[8,15,4,14] 49	[8,15,8,14] 9	[8,15,1,11] 44	[8,15,7,13] 85	[8,15,2,6] 27	[8,15,2,11] 22	[11,15,1,6] 83	[11,15,5,8] 28	[11,15,8,15] 28	[11,15,13,14] 66	[11,15,1,7] 41	[11,15,1,3] 72	[11,15,7,14] 28	[11,15,4,15] 86	[11,15,13,15] 96	[11,15,4,10] 76	[11,15,10,14] 38	[11,15,2,14] 61	[11,15,2,10] 84	[11,15,3,14] 69	[11,15,2,12] 36	[11,15,5,7] 89	[11,15,5,12] 95	[11,15,6,9] 73	[11,15,1,12] 54	[11,15,6,10] 39	[11,15,2,15] 32	[11,15,3,10] 11	[11,15,1,4] 80	[11,15,11,14] 52	[11,15,10,12] 76	[11,15,2,9] 63	[11,15,6,11] 75	[11,15,4,14] 1	[11,15,8,14] 95	[11,15,1,11] 23	[11,15,7,13] 41	[11,15,2,6] 32	[11,15,2,11] 39	[13,14,1,6] 21	[13,14,5,8] 1	[13,14,8,15] 45	[13,14,11,15] 66	[13,14,1,7] 57	[13,14,1,3] 24	[13,14,7,14] 67	[13,14,4,15] 86	[13,14,13,15] 24	[13,14,4,10] 65	[13,14,10,14] 5	[13,14,2,14] 39	[13,14,2,10] 35	[13,14,3,14] 40	[13,14,2,12] 40	[13,14,5,7] 10	[13,14,5,12] 20	[13,14,6,9] 55	[13,14,1,12] 66	[13,14,6,10] 34	[13,14,2,15] 42	[13,14,3,10] 63	[13,14,1,4] 64	[13,14,11,14] 32	[13,14,10,12] 1	[13,14,2,9] 75	[13,14,6,11] 6	[13,14,4,14] 32	[13,14,8,14] 95	[13,14,1,11] 60	[13,14,7,13] 19	[13,14,2,6] 46	[13,14,2,11] 11	[1,7,1,6] 66	[1,7,5,8] 55	[1,7,8,15] 95	[1,7,11,15] 41	[1,7,13,14] 57	[1,7,1,3] 99	[1,7,7,14] 17	[1,7,4,15] 58	[1,7,13,15] 96	[1,7,4,10] 51	[1,7,10,14] 47	[1,7,2,14] 29	[1,7,2,10] 50	[1,7,3,14] 47	[1,7,2,12] 84	[1,7,5,7] 61	[1,7,5,12] 13	[1,7,6,9] 54	[1,7,1,12] 89	[1,7,6,10] 12	[1,7,2,15] 25	[1,7,3,10] 54	[1,7,1,4] 33	[1,7,11,14] 61	[1,7,10,12] 8	[1,7,2,9] 7	[1,7,6,11] 95	[1,7,4,14] 64	[1,7,8,14] 19	[1,7,1,11] 88	[1,7,7,13] 35	[1,7,2,6] 42	[1,7,2,11] 1	[1,3,1,6] 15	[1,3,5,8] 77	[1,3,8,15] 66	[1,3,11,15] 72	[1,3,13,14] 24	[1,3,1,7] 99	[1,3,7,14] 26	[1,3,4,15] 31	[1,3,13,15] 85	[1,3,4,10] 94	[1,3,10,14] 46	[1,3,2,14] 17	[1,3,2,10] 20	[1,3,3,14] 49	[1,3,2,12] 17	[1,3,5,7] 90	[1,3,5,12] 80	[1,3,6,9] 14	[1,3,1,12] 85	[1,3,6,10] 70	[1,3,2,15] 15	[1,3,3,10] 90	[1,3,1,4] 26	[1,3,11,14] 96	[1,3,10,12] 31	[1,3,2,9] 77	[1,3,6,11] 60	[1,3,4,14] 57	[1,3,8,14] 64	[1,3,1,11] 41	[1,3,7,13] 49	[1,3,2,6] 39	[1,3,2,11] 63	[7,14,1,6] 7	[7,14,5,8] 82	[7,14,8,15] 70	[7,14,11,15] 28	[7,14,13,14] 67	[7,14,1,7] 17	[7,14,1,3] 26	[7,14,4,15] 98	[7,14,13,15] 29	[7,14,4,10] 29	[7,14,10,14] 44	[7,14,2,14] 66	[7,14,2,10] 85	[7,14,3,14] 17	[7,14,2,12] 9	[7,14,5,7] 73	[7,14,5,12] 5	[7,14,6,9] 5	[7,14,1,12] 55	[7,14,6,10] 58	[7,14,2,15] 76	[7,14,3,10] 58	[7,14,1,4] 11	[7,14,11,14] 27	[7,14,10,12] 10	[7,14,2,9] 43	[7,14,6,11] 11	[7,14,4,14] 83	[7,14,8,14] 80	[7,14,1,11] 1	[7,14,7,13] 47	[7,14,2,6] 43	[7,14,2,11] 24	[4,15,1,6] 96	[4,15,5,8] 25	[4,15,8,15] 47	[4,15,11,15] 86	[4,15,13,14] 86	[4,15,1,7] 58	[4,15,1,3] 31	[4,15,7,14] 98	[4,15,13,15] 84	[4,15,4,10] 41	[4,15,10,14] 49	[4,15,2,14] 54	[4,15,2,10] 77	[4,15,3,14] 18	[4,15,2,12] 58	[4,15,5,7] 34	[4,15,5,12] 4	[4,15,6,9] 29	[4,15,1,12] 67	[4,15,6,10] 94	[4,15,2,15] 35	[4,15,3,10] 53	[4,15,1,4] 25	[4,15,11,14] 17	[4,15,10,12] 55	[4,15,2,9] 96	[4,15,6,11] 2	[4,15,4,14] 3	[4,15,8,14] 92	[4,15,1,11] 81	[4,15,7,13] 76	[4,15,2,6] 38	[4,15,2,11] 38	[13,15,1,6] 54	[13,15,5,8] 71	[13,15,8,15] 10	[13,15,11,15] 96	[13,15,13,14] 24	[13,15,1,7] 96	[13,15,1,3] 85	[13,15,7,14] 29	[13,15,4,15] 84	[13,15,4,10] 74	[13,15,10,14] 76	[13,15,2,14] 91	[13,15,2,10] 75	[13,15,3,14] 37	[13,15,2,12] 4	[13,15,5,7] 81	[13,15,5,12] 80	[13,15,6,9] 2	[13,15,1,12] 64	[13,15,6,10] 46	[13,15,2,15] 22	[13,15,3,10] 9	[13,15,1,4] 93	[13,15,11,14] 45	[13,15,10,12] 97	[13,15,2,9] 58	[13,15,6,11] 98	[13,15,4,14] 2	[13,15,8,14] 74	[13,15,1,11] 9	[13,15,7,13] 84	[13,15,2,6] 13	[13,15,2,11] 11	[4,10,1,6] 16	[4,10,5,8] 54	[4,10,8,15] 71	[4,10,11,15] 76	[4,10,13,14] 65	[4,10,1,7] 51	[4,10,1,3] 94	[4,10,7,14] 29	[4,10,4,15] 41	[4,10,13,15] 74	[4,10,10,14] 31	[4,10,2,14] 95	[4,10,2,10] 82	[4,10,3,14] 24	[4,10,2,12] 57	[4,10,5,7] 49	[4,10,5,12] 82	[4,10,6,9] 20	[4,10,1,12] 9	[4,10,6,10] 35	[4,10,2,15] 48	[4,10,3,10] 65	[4,10,1,4] 26	[4,10,11,14] 17	[4,10,10,12] 49	[4,10,2,9] 61	[4,10,6,11] 66	[4,10,4,14] 45	[4,10,8,14] 51	[4,10,1,11] 62	[4,10,7,13] 84	[4,10,2,6] 16	[4,10,2,11] 12	[10,14,1,6] 87	[10,14,5,8] 23	[10,14,8,15] 35	[10,14,11,15] 38	[10,14,13,14] 5	[10,14,1,7] 47	[10,14,1,3] 46	[10,14,7,14] 44	[10,14,4,15] 49	[10,14,13,15] 76	[10,14,4,10] 31	[10,14,2,14] 2	[10,14,2,10] 49	[10,14,3,14] 6	[10,14,2,12] 12	[10,14,5,7] 21	[10,14,5,12] 88	[10,14,6,9] 95	[10,14,1,12] 55	[10,14,6,10] 5	[10,14,2,15] 89	[10,14,3,10] 37	[10,14,1,4] 13	[10,14,11,14] 68	[10,14,10,12] 3	[10,14,2,9] 48	[10,14,6,11] 17	[10,14,4,14] 17	[10,14,8,14] 18	[10,14,1,11] 96	[10,14,7,13] 56	[10,14,2,6] 34	[10,14,2,11] 21	[2,14,1,6] 49	[2,14,5,8] 75	[2,14,8,15] 25	[2,14,11,15] 61	[2,14,13,14] 39	[2,14,1,7] 29	[2,14,1,3] 17	[2,14,7,14] 66	[2,14,4,15] 54	[2,14,13,15] 91	[2,14,4,10] 95	[2,14,10,14] 2	[2,14,2,10] 43	[2,14,3,14] 19	[2,14,2,12] 63	[2,14,5,7] 33	[2,14,5,12] 9	[2,14,6,9] 97	[2,14,1,12] 24	[2,14,6,10] 63	[2,14,2,15] 22	[2,14,3,10] 14	[2,14,1,4] 9	[2,14,11,14] 61	[2,14,10,12] 93	[2,14,2,9] 26	[2,14,6,11] 45	[2,14,4,14] 31	[2,14,8,14] 75	[2,14,1,11] 7	[2,14,7,13] 84	[2,14,2,6] 66	[2,14,2,11] 73	[2,10,1,6] 77	[2,10,5,8] 43	[2,10,8,15] 88	[2,10,11,15] 84	[2,10,13,14] 35	[2,10,1,7] 50	[2,10,1,3] 20	[2,10,7,14] 85	[2,10,4,15] 77	[2,10,13,15] 75	[2,10,4,10] 82	[2,10,10,14] 49	[2,10,2,14] 43	[2,10,3,14] 71	[2,10,2,12] 79	[2,10,5,7] 31	[2,10,5,12] 8	[2,10,6,9] 92	[2,10,1,12] 38	[2,10,6,10] 53	[2,10,2,15] 57	[2,10,3,10] 17	[2,10,1,4] 73	[2,10,11,14] 28	[2,10,10,12] 66	[2,10,2,9] 75	[2,10,6,11] 51	[2,10,4,14] 56	[2,10,8,14] 99	[2,10,1,11] 11	[2,10,7,13] 16	[2,10,2,6] 6	[2,10,2,11] 45	[3,14,1,6] 26	[3,14,5,8] 45	[3,14,8,15] 38	[3,14,11,15] 69	[3,14,13,14] 40	[3,14,1,7] 47	[3,14,1,3] 49	[3,14,7,14] 17	[3,14,4,15] 18	[3,14,13,15] 37	[3,14,4,10] 24	[3,14,10,14] 6	[3,14,2,14] 19	[3,14,2,10] 71	[3,14,2,12] 86	[3,14,5,7] 83	[3,14,5,12] 77	[3,14,6,9] 2	[3,14,1,12] 5	[3,14,6,10] 13	[3,14,2,15] 7	[3,14,3,10] 48	[3,14,1,4] 99	[3,14,11,14] 30	[3,14,10,12] 73	[3,14,2,9] 63	[3,14,6,11] 92	[3,14,4,14] 9	[3,14,8,14] 28	[3,14,1,11] 31	[3,14,7,13] 27	[3,14,2,6] 34	[3,14,2,11] 4	[2,12,1,6] 46	[2,12,5,8] 25	[2,12,8,15] 86	[2,12,11,15] 36	[2,12,13,14] 40	[2,12,1,7] 84	[2,12,1,3] 17	[2,12,7,14] 9	[2,12,4,15] 58	[2,12,13,15] 4	[2,12,4,10] 57	[2,12,10,14] 12	[2,12,2,14] 63	[2,12,2,10] 79	[2,12,3,14] 86	[2,12,5,7] 80	[2,12,5,12] 69	[2,12,6,9] 44	[2,12,1,12] 51	[2,12,6,10] 53	[2,12,2,15] 67	[2,12,3,10] 64	[2,12,1,4] 25	[2,12,11,14] 37	[2,12,10,12] 50	[2,12,2,9] 70	[2,12,6,11] 85	[2,12,4,14] 37	[2,12,8,14] 48	[2,12,1,11] 75	[2,12,7,13] 9	[2,12,2,6] 5	[2,12,2,11] 69	[5,7,1,6] 29	[5,7,5,8] 88	[5,7,8,15] 39	[5,7,11,15] 89	[5,7,13,14] 10	[5,7,1,7] 61	[5,7,1,3] 90	[5,7,7,14] 73	[5,7,4,15] 34	[5,7,13,15] 81	[5,7,4,10] 49	[5,7,10,14] 21	[5,7,2,14] 33	[5,7,2,10] 31	[5,7,3,14] 83	[5,7,2,12] 80	[5,7,5,12] 98	[5,7,6,9] 8	[5,7,1,12] 74	[5,7,6,10] 50	[5,7,2,15] 45	[5,7,3,10] 12	[5,7,1,4] 25	[5,7,11,14] 23	[5,7,10,12] 20	[5,7,2,9] 56	[5,7,6,11] 80	[5,7,4,14] 95	[5,7,8,14] 1	[5,7,1,11] 24	[5,7,7,13] 33	[5,7,2,6] 66	[5,7,2,11] 95	[5,12,1,6] 52	[5,12,5,8] 86	[5,12,8,15] 64	[5,12,11,15] 95	[5,12,13,14] 20	[5,12,1,7] 13	[5,12,1,3] 80	[5,12,7,14] 5	[5,12,4,15] 4	[5,12,13,15] 80	[5,12,4,10] 82	[5,12,10,14] 88	[5,12,2,14] 9	[5,12,2,10] 8	[5,12,3,14] 77	[5,12,2,12] 69	[5,12,5,7] 98	[5,12,6,9] 34	[5,12,1,12] 51	[5,12,6,10] 15	[5,12,2,15] 31	[5,12,3,10] 11	[5,12,1,4] 32	[5,12,11,14] 89	[5,12,10,12] 85	[5,12,2,9] 38	[5,12,6,11] 84	[5,12,4,14] 32	[5,12,8,14] 48	[5,12,1,11] 33	[5,12,7,13] 27	[5,12,2,6] 69	[5,12,2,11] 78	[6,9,1,6] 91	[6,9,5,8] 39	[6,9,8,15] 16	[6,9,11,15] 73	[6,9,13,14] 55	[6,9,1,7] 54	[6,9,1,3] 14	[6,9,7,14] 5	[6,9,4,15] 29	[6,9,13,15] 2	[6,9,4,10] 20	[6,9,10,14] 95	[6,9,2,14] 97	[6,9,2,10] 92	[6,9,3,14] 2	[6,9,2,12] 44	[6,9,5,7] 8	[6,9,5,12] 34	[6,9,1,12] 86	[6,9,6,10] 11	[6,9,2,15] 58	[6,9,3,10] 40	[6,9,1,4] 36	[6,9,11,14] 52	[6,9,10,12] 76	[6,9,2,9] 28	[6,9,6,11] 73	[6,9,4,14] 16	[6,9,8,14] 35	[6,9,1,11] 81	[6,9,7,13] 92	[6,9,2,6] 2	[6,9,2,11] 23	[1,12,1,6] 15	[1,12,5,8] 66	[1,12,8,15] 23	[1,12,11,15] 54	[1,12,13,14] 66	[1,12,1,7] 89	[1,12,1,3] 85	[1,12,7,14] 55	[1,12,4,15] 67	[1,12,13,15] 64	[1,12,4,10] 9	[1,12,10,14] 55	[1,12,2,14] 24	[1,12,2,10] 38	[1,12,3,14] 5	[1,12,2,12] 51	[1,12,5,7] 74	[1,12,5,12] 51	[1,12,6,9] 86	[1,12,6,10] 61	[1,12,2,15] 82	[1,12,3,10] 27	[1,12,1,4] 37	[1,12,11,14] 25	[1,12,10,12] 32	[1,12,2,9] 14	[1,12,6,11] 21	[1,12,4,14] 93	[1,12,8,14] 42	[1,12,1,11] 47	[1,12,7,13] 98	[1,12,2,6] 17	[1,12,2,11] 72	[6,10,1,6] 15	[6,10,5,8] 67	[6,10,8,15] 79	[6,10,11,15] 39	[6,10,13,14] 34	[6,10,1,7] 12	[6,10,1,3] 70	[6,10,7,14] 58	[6,10,4,15] 94	[6,10,13,15] 46	[6,10,4,10] 35	[6,10,10,14] 5	[6,10,2,14] 63	[6,10,2,10] 53	[6,10,3,14] 13	[6,10,2,12] 53	[6,10,5,7] 50	[6,10,5,12] 15	[6,10,6,9] 11	[6,10,1,12] 61	[6,10,2,15] 21	[6,10,3,10] 79	[6,10,1,4] 98	[6,10,11,14] 70	[6,10,10,12] 61	[6,10,2,9] 65	[6,10,6,11] 50	[6,10,4,14] 38	[6,10,8,14] 80	[6,10,1,11] 80	[6,10,7,13] 83	[6,10,2,6] 41	[6,10,2,11] 39	[2,15,1,6] 72	[2,15,5,8] 41	[2,15,8,15] 10	[2,15,11,15] 32	[2,15,13,14] 42	[2,15,1,7] 25	[2,15,1,3] 15	[2,15,7,14] 76	[2,15,4,15] 35	[2,15,13,15] 22	[2,15,4,10] 48	[2,15,10,14] 89	[2,15,2,14] 22	[2,15,2,10] 57	[2,15,3,14] 7	[2,15,2,12] 67	[2,15,5,7] 45	[2,15,5,12] 31	[2,15,6,9] 58	[2,15,1,12] 82	[2,15,6,10] 21	[2,15,3,10] 19	[2,15,1,4] 1	[2,15,11,14] 87	[2,15,10,12] 51	[2,15,2,9] 9	[2,15,6,11] 49	[2,15,4,14] 40	[2,15,8,14] 5	[2,15,1,11] 6	[2,15,7,13] 89	[2,15,2,6] 55	[2,15,2,11] 79	[3,10,1,6] 38	[3,10,5,8] 60	[3,10,8,15] 5	[3,10,11,15] 11	[3,10,13,14] 63	[3,10,1,7] 54	[3,10,1,3] 90	[3,10,7,14] 58	[3,10,4,15] 53	[3,10,13,15] 9	[3,10,4,10] 65	[3,10,10,14] 37	[3,10,2,14] 14	[3,10,2,10] 17	[3,10,3,14] 48	[3,10,2,12] 64	[3,10,5,7] 12	[3,10,5,12] 11	[3,10,6,9] 40	[3,10,1,12] 27	[3,10,6,10] 79	[3,10,2,15] 19	[3,10,1,4] 51	[3,10,11,14] 50	[3,10,10,12] 19	[3,10,2,9] 39	[3,10,6,11] 41	[3,10,4,14] 25	[3,10,8,14] 59	[3,10,1,11] 17	[3,10,7,13] 78	[3,10,2,6] 30	[3,10,2,11] 37	[1,4,1,6] 60	[1,4,5,8] 95	[1,4,8,15] 86	[1,4,11,15] 80	[1,4,13,14] 64	[1,4,1,7] 33	[1,4,1,3] 26	[1,4,7,14] 11	[1,4,4,15] 25	[1,4,13,15] 93	[1,4,4,10] 26	[1,4,10,14] 13	[1,4,2,14] 9	[1,4,2,10] 73	[1,4,3,14] 99	[1,4,2,12] 25	[1,4,5,7] 25	[1,4,5,12] 32	[1,4,6,9] 36	[1,4,1,12] 37	[1,4,6,10] 98	[1,4,2,15] 1	[1,4,3,10] 51	[1,4,11,14] 1	[1,4,10,12] 53	[1,4,2,9] 56	[1,4,6,11] 46	[1,4,4,14] 56	[1,4,8,14] 70	[1,4,1,11] 28	[1,4,7,13] 58	[1,4,2,6] 10	[1,4,2,11] 10	[11,14,1,6] 41	[11,14,5,8] 48	[11,14,8,15] 4	[11,14,11,15] 52	[11,14,13,14] 32	[11,14,1,7] 61	[11,14,1,3] 96	[11,14,7,14] 27	[11,14,4,15] 17	[11,14,13,15] 45	[11,14,4,10] 17	[11,14,10,14] 68	[11,14,2,14] 61	[11,14,2,10] 28	[11,14,3,14] 30	[11,14,2,12] 37	[11,14,5,7] 23	[11,14,5,12] 89	[11,14,6,9] 52	[11,14,1,12] 25	[11,14,6,10] 70	[11,14,2,15] 87	[11,14,3,10] 50	[11,14,1,4] 1	[11,14,10,12] 11	[11,14,2,9] 57	[11,14,6,11] 34	[11,14,4,14] 73	[11,14,8,14] 47	[11,14,1,11] 98	[11,14,7,13] 99	[11,14,2,6] 69	[11,14,2,11] 58	[10,12,1,6] 53	[10,12,5,8] 67	[10,12,8,15] 45	[10,12,11,15] 76	[10,12,13,14] 1	[10,12,1,7] 8	[10,12,1,3] 31	[10,12,7,14] 10	[10,12,4,15] 55	[10,12,13,15] 97	[10,12,4,10] 49	[10,12,10,14] 3	[10,12,2,14] 93	[10,12,2,10] 66	[10,12,3,14] 73	[10,12,2,12] 50	[10,12,5,7] 20	[10,12,5,12] 85	[10,12,6,9] 76	[10,12,1,12] 32	[10,12,6,10] 61	[10,12,2,15] 51	[10,12,3,10] 19	[10,12,1,4] 53	[10,12,11,14] 11	[10,12,2,9] 26	[10,12,6,11] 93	[10,12,4,14] 15	[10,12,8,14] 14	[10,12,1,11] 55	[10,12,7,13] 41	[10,12,2,6] 61	[10,12,2,11] 56	[2,9,1,6] 64	[2,9,5,8] 74	[2,9,8,15] 37	[2,9,11,15] 63	[2,9,13,14] 75	[2,9,1,7] 7	[2,9,1,3] 77	[2,9,7,14] 43	[2,9,4,15] 96	[2,9,13,15] 58	[2,9,4,10] 61	[2,9,10,14] 48	[2,9,2,14] 26	[2,9,2,10] 75	[2,9,3,14] 63	[2,9,2,12] 70	[2,9,5,7] 56	[2,9,5,12] 38	[2,9,6,9] 28	[2,9,1,12] 14	[2,9,6,10] 65	[2,9,2,15] 9	[2,9,3,10] 39	[2,9,1,4] 56	[2,9,11,14] 57	[2,9,10,12] 26	[2,9,6,11] 93	[2,9,4,14] 90	[2,9,8,14] 13	[2,9,1,11] 10	[2,9,7,13] 8	[2,9,2,6] 18	[2,9,2,11] 12	[6,11,1,6] 99	[6,11,5,8] 95	[6,11,8,15] 43	[6,11,11,15] 75	[6,11,13,14] 6	[6,11,1,7] 95	[6,11,1,3] 60	[6,11,7,14] 11	[6,11,4,15] 2	[6,11,13,15] 98	[6,11,4,10] 66	[6,11,10,14] 17	[6,11,2,14] 45	[6,11,2,10] 51	[6,11,3,14] 92	[6,11,2,12] 85	[6,11,5,7] 80	[6,11,5,12] 84	[6,11,6,9] 73	[6,11,1,12] 21	[6,11,6,10] 50	[6,11,2,15] 49	[6,11,3,10] 41	[6,11,1,4] 46	[6,11,11,14] 34	[6,11,10,12] 93	[6,11,2,9] 93	[6,11,4,14] 45	[6,11,8,14] 31	[6,11,1,11] 78	[6,11,7,13] 48	[6,11,2,6] 98	[6,11,2,11] 61	[4,14,1,6] 30	[4,14,5,8] 61	[4,14,8,15] 49	[4,14,11,15] 1	[4,14,13,14] 32	[4,14,1,7] 64	[4,14,1,3] 57	[4,14,7,14] 83	[4,14,4,15] 3	[4,14,13,15] 2	[4,14,4,10] 45	[4,14,10,14] 17	[4,14,2,14] 31	[4,14,2,10] 56	[4,14,3,14] 9	[4,14,2,12] 37	[4,14,5,7] 95	[4,14,5,12] 32	[4,14,6,9] 16	[4,14,1,12] 93	[4,14,6,10] 38	[4,14,2,15] 40	[4,14,3,10] 25	[4,14,1,4] 56	[4,14,11,14] 73	[4,14,10,12] 15	[4,14,2,9] 90	[4,14,6,11] 45	[4,14,8,14] 99	[4,14,1,11] 4	[4,14,7,13] 14	[4,14,2,6] 60	[4,14,2,11] 33	[8,14,1,6] 8	[8,14,5,8] 17	[8,14,8,15] 9	[8,14,11,15] 95	[8,14,13,14] 95	[8,14,1,7] 19	[8,14,1,3] 64	[8,14,7,14] 80	[8,14,4,15] 92	[8,14,13,15] 74	[8,14,4,10] 51	[8,14,10,14] 18	[8,14,2,14] 75	[8,14,2,10] 99	[8,14,3,14] 28	[8,14,2,12] 48	[8,14,5,7] 1	[8,14,5,12] 48	[8,14,6,9] 35	[8,14,1,12] 42	[8,14,6,10] 80	[8,14,2,15] 5	[8,14,3,10] 59	[8,14,1,4] 70	[8,14,11,14] 47	[8,14,10,12] 14	[8,14,2,9] 13	[8,14,6,11] 31	[8,14,4,14] 99	[8,14,1,11] 77	[8,14,7,13] 62	[8,14,2,6] 68	[8,14,2,11] 12	[1,11,1,6] 53	[1,11,5,8] 86	[1,11,8,15] 44	[1,11,11,15] 23	[1,11,13,14] 60	[1,11,1,7] 88	[1,11,1,3] 41	[1,11,7,14] 1	[1,11,4,15] 81	[1,11,13,15] 9	[1,11,4,10] 62	[1,11,10,14] 96	[1,11,2,14] 7	[1,11,2,10] 11	[1,11,3,14] 31	[1,11,2,12] 75	[1,11,5,7] 24	[1,11,5,12] 33	[1,11,6,9] 81	[1,11,1,12] 47	[1,11,6,10] 80	[1,11,2,15] 6	[1,11,3,10] 17	[1,11,1,4] 28	[1,11,11,14] 98	[1,11,10,12] 55	[1,11,2,9] 10	[1,11,6,11] 78	[1,11,4,14] 4	[1,11,8,14] 77	[1,11,7,13] 48	[1,11,2,6] 13	[1,11,2,11] 10	[7,13,1,6] 13	[7,13,5,8] 95	[7,13,8,15] 85	[7,13,11,15] 41	[7,13,13,14] 19	[7,13,1,7] 35	[7,13,1,3] 49	[7,13,7,14] 47	[7,13,4,15] 76	[7,13,13,15] 84	[7,13,4,10] 84	[7,13,10,14] 56	[7,13,2,14] 84	[7,13,2,10] 16	[7,13,3,14] 27	[7,13,2,12] 9	[7,13,5,7] 33	[7,13,5,12] 27	[7,13,6,9] 92	[7,13,1,12] 98	[7,13,6,10] 83	[7,13,2,15] 89	[7,13,3,10] 78	[7,13,1,4] 58	[7,13,11,14] 99	[7,13,10,12] 41	[7,13,2,9] 8	[7,13,6,11] 48	[7,13,4,14] 14	[7,13,8,14] 62	[7,13,1,11] 48	[7,13,2,6] 58	[7,13,2,11] 21	[2,6,1,6] 54	[2,6,5,8] 43	[2,6,8,15] 27	[2,6,11,15] 32	[2,6,13,14] 46	[2,6,1,7] 42	[2,6,1,3] 39	[2,6,7,14] 43	[2,6,4,15] 38	[2,6,13,15] 13	[2,6,4,10] 16	[2,6,10,14] 34	[2,6,2,14] 66	[2,6,2,10] 6	[2,6,3,14] 34	[2,6,2,12] 5	[2,6,5,7] 66	[2,6,5,12] 69	[2,6,6,9] 2	[2,6,1,12] 17	[2,6,6,10] 41	[2,6,2,15] 55	[2,6,3,10] 30	[2,6,1,4] 10	[2,6,11,14] 69	[2,6,10,12] 61	[2,6,2,9] 18	[2,6,6,11] 98	[2,6,4,14] 60	[2,6,8,14] 68	[2,6,1,11] 13	[2,6,7,13] 58	[2,6,2,11] 87	[2,11,1,6] 5	[2,11,5,8] 43	[2,11,8,15] 22	[2,11,11,15] 39	[2,11,13,14] 11	[2,11,1,7] 1	[2,11,1,3] 63	[2,11,7,14] 24	[2,11,4,15] 38	[2,11,13,15] 11	[2,11,4,10] 12	[2,11,10,14] 21	[2,11,2,14] 73	[2,11,2,10] 45	[2,11,3,14] 4	[2,11,2,12] 69	[2,11,5,7] 95	[2,11,5,12] 78	[2,11,6,9] 23	[2,11,1,12] 72	[2,11,6,10] 39	[2,11,2,15] 79	[2,11,3,10] 37	[2,11,1,4] 10	[2,11,11,14] 58	[2,11,10,12] 56	[2,11,2,9] 12	[2,11,6,11] 61	[2,11,4,14] 33	[2,11,8,14] 12	[2,11,1,11] 10	[2,11,7,13] 21	[2,11,2,6] 87	;
end;