1	1	1	2	0	0	0	true
1	1	2	2	0	0	0	true
1	1	2	3	0	0	0	true
1	1	3	2	0	0	0	true
1	1	3	3	0	0	0	false
1	1	4	2	0	0	0	true
1	1	4	3	0	0	0	false
1	1	5	3	0	0	0	false
1	1	6	3	0	0	0	false
1	1	6	4	0	0	0	true
1	1	7	3	0	0	0	false
1	1	7	4	0	0	0	true
1	1	8	3	0	0	0	false
1	1	8	4	0	0	0	true
1	1	9	3	0	0	0	false
1	1	9	4	0	0	0	true
1	1	10	3	0	0	0	false
1	1	10	4	0	0	0	true
1	1	11	3	0	0	0	false
1	1	11	4	0	0	0	true
1	1	12	3	0	0	0	false
1	1	12	4	0	0	0	true
1	1	13	3	0	0	0	false
1	1	13	4	0	0	0	true
1	1	14	3	0	0	0	false
1	1	14	4	0	0	0	true
1	1	15	3	0	0	0	false
1	1	15	4	0	0	0	true
1	1	16	3	0	0	0	false
1	1	16	4	0	0	0	true
1	1	17	3	0	0	0	false
1	1	17	4	0	0	0	true
1	1	18	3	0	0	0	false
1	1	18	4	0	0	0	true
1	1	19	3	0	0	0	false
1	1	19	4	0	0	0	true
1	1	20	3	0	0	0	false
1	1	20	4	0	0	0	true
1	2	2	3	0	0	0	true
1	2	3	3	0	0	0	true
1	2	3	4	0	0	0	true
1	2	4	3	0	0	0	true
1	2	4	4	0	0	0	false
1	2	5	4	0	0	0	false
1	2	6	4	0	0	0	false
1	2	6	5	0	0	0	false
1	2	7	4	0	0	0	false
1	2	7	5	0	0	0	false
1	2	8	4	0	0	0	false
1	2	8	5	0	0	0	false
1	2	9	4	0	0	0	false
1	2	9	5	0	0	0	false
1	2	10	4	0	0	0	false
1	2	10	5	0	0	0	false
1	2	11	4	0	0	0	false
1	2	11	5	0	0	0	false
1	2	12	4	0	0	0	false
1	2	12	5	0	0	0	false
1	2	13	4	0	0	0	false
1	2	13	5	0	0	0	false
1	2	14	5	0	0	0	false
1	2	15	5	0	0	0	false
1	2	15	6	0	0	0	true
1	2	16	5	0	0	0	false
1	2	16	6	0	0	0	true
1	2	17	5	0	0	0	false
1	2	17	6	0	0	0	true
1	2	18	5	0	0	0	false
1	2	18	6	0	0	0	true
1	2	19	5	0	0	0	false
1	2	19	6	0	0	0	true
1	2	20	5	0	0	0	false
1	2	20	6	0	0	0	true
1	3	3	4	0	0	0	true
1	3	4	4	0	0	0	true
1	3	4	5	0	0	0	true
1	3	5	4	0	0	0	true
1	3	5	5	0	0	0	false
1	3	6	5	0	0	0	false
1	3	6	6	0	0	0	false
1	3	7	5	0	0	0	false
1	3	7	6	0	0	0	false
1	3	8	5	0	0	0	false
1	3	8	6	0	0	0	false
1	3	9	5	0	0	0	false
1	3	9	6	0	0	0	false
1	3	10	5	0	0	0	false
1	3	10	6	0	0	0	false
1	3	11	6	0	0	0	false
1	3	12	6	0	0	0	false
1	3	12	7	0	0	0	false
1	3	13	6	0	0	0	false
1	3	13	7	0	0	0	false
1	3	14	6	0	0	0	false
1	3	14	7	0	0	0	false
1	3	15	6	0	0	0	false
1	3	15	7	0	0	0	false
1	3	16	6	0	0	0	false
1	3	16	7	0	0	0	false
1	3	17	6	0	0	0	false
1	3	17	7	0	0	0	false
1	3	18	6	0	0	0	false
1	3	18	7	0	0	0	false
1	3	19	6	0	0	0	false
1	3	19	7	0	0	0	false
1	3	20	6	0	0	0	false
1	3	20	7	0	0	0	false
1	4	4	5	0	0	0	true
1	4	5	5	0	0	0	true
1	4	5	6	0	0	0	true
1	4	6	5	0	0	0	true
1	4	6	6	0	0	0	false
1	4	7	6	0	0	0	false
1	4	7	7	0	0	0	false
1	4	8	6	0	0	0	false
1	4	8	7	0	0	0	false
1	4	9	6	0	0	0	false
1	4	9	7	0	0	0	false
1	4	10	6	0	0	0	false
1	4	10	7	0	0	0	false
1	4	11	7	0	0	0	false
1	4	11	8	0	0	0	false
1	4	12	7	0	0	0	false
1	4	12	8	0	0	0	false
1	4	13	7	0	0	0	false
1	4	13	8	0	0	0	false
1	4	14	7	0	0	0	false
1	4	14	8	0	0	0	false
1	4	15	7	0	0	0	false
1	4	15	8	0	0	0	false
1	4	16	7	0	0	0	false
1	4	16	8	0	0	0	false
1	4	17	7	0	0	0	false
1	4	17	8	0	0	0	false
1	4	18	7	0	0	0	false
1	4	18	8	0	0	0	false
1	4	19	8	0	0	0	false
1	4	20	8	0	0	0	false
1	4	20	9	0	0	0	false
1	5	5	6	0	0	0	true
1	5	6	6	0	0	0	true
1	5	6	7	0	0	0	true
1	5	7	6	0	0	0	true
1	5	7	7	0	0	0	false
1	5	8	7	0	0	0	false
1	5	8	8	0	0	0	false
1	5	9	7	0	0	0	false
1	5	9	8	0	0	0	false
1	5	10	7	0	0	0	false
1	5	10	8	0	0	0	false
1	5	11	8	0	0	0	false
1	5	12	8	0	0	0	false
1	5	12	9	0	0	0	false
1	5	13	8	0	0	0	false
1	5	13	9	0	0	0	false
1	5	14	8	0	0	0	false
1	5	14	9	0	0	0	false
1	5	15	8	0	0	0	false
1	5	15	9	0	0	0	false
1	5	16	8	0	0	0	false
1	5	16	9	0	0	0	false
1	5	17	9	0	0	0	false
1	5	18	9	0	0	0	false
1	5	18	10	0	0	0	false
1	5	19	9	0	0	0	false
1	5	19	10	0	0	0	false
1	5	20	9	0	0	0	false
1	5	20	10	0	0	0	false
1	6	6	7	0	0	0	true
1	6	7	7	0	0	0	true
1	6	7	8	0	0	0	true
1	6	8	7	0	0	0	true
1	6	8	8	0	0	0	false
1	6	9	8	0	0	0	false
1	6	9	9	0	0	0	false
1	6	10	8	0	0	0	false
1	6	10	9	0	0	0	false
1	6	11	8	0	0	0	false
1	6	11	9	0	0	0	false
1	6	12	9	0	0	0	false
1	6	12	10	0	0	0	false
1	6	13	9	0	0	0	false
1	6	13	10	0	0	0	false
1	6	14	9	0	0	0	false
1	6	14	10	0	0	0	false
1	6	15	9	0	0	0	false
1	6	15	10	0	0	0	false
1	6	16	9	0	0	0	false
1	6	16	10	0	0	0	false
1	6	17	10	0	0	0	false
1	6	17	11	0	0	0	false
1	6	18	10	0	0	0	false
1	6	18	11	0	0	0	false
1	6	19	10	0	0	0	false
1	6	19	11	0	0	0	false
1	6	20	10	0	0	0	false
1	6	20	11	0	0	0	false
1	7	7	8	0	0	0	true
1	7	8	8	0	0	0	true
1	7	8	9	0	0	0	true
1	7	9	8	0	0	0	true
1	7	9	9	0	0	0	false
1	7	10	9	0	0	0	false
1	7	10	10	0	0	0	false
1	7	11	9	0	0	0	false
1	7	11	10	0	0	0	false
1	7	12	9	0	0	0	false
1	7	12	10	0	0	0	false
1	7	13	10	0	0	0	false
1	7	13	11	0	0	0	false
1	7	14	10	0	0	0	false
1	7	14	11	0	0	0	false
1	7	15	10	0	0	0	false
1	7	15	11	0	0	0	false
1	7	16	10	0	0	0	false
1	7	16	11	0	0	0	false
1	7	17	11	0	0	0	false
1	7	17	12	0	0	0	false
1	7	18	11	0	0	0	false
1	7	18	12	0	0	0	false
1	7	19	11	0	0	0	false
1	7	19	12	0	0	0	false
1	7	20	11	0	0	0	false
1	7	20	12	0	0	0	false
1	8	8	9	0	0	0	true
1	8	9	9	0	0	0	true
1	8	9	10	0	0	0	true
1	8	10	9	0	0	0	true
1	8	10	10	0	0	0	false
1	8	11	10	0	0	0	false
1	8	11	11	0	0	0	false
1	8	12	10	0	0	0	false
1	8	12	11	0	0	0	false
1	8	13	10	0	0	0	false
1	8	13	11	0	0	0	false
1	8	14	11	0	0	0	false
1	8	14	12	0	0	0	false
1	8	15	11	0	0	0	false
1	8	15	12	0	0	0	false
1	8	16	11	0	0	0	false
1	8	16	12	0	0	0	false
1	8	17	12	0	0	0	false
1	8	18	12	0	0	0	false
1	8	18	13	0	0	0	false
1	8	19	12	0	0	0	false
1	8	19	13	0	0	0	false
1	8	20	12	0	0	0	false
1	8	20	13	0	0	0	false
1	9	9	10	0	0	0	true
1	9	10	10	0	0	0	true
1	9	10	11	0	0	0	true
1	9	11	10	0	0	0	true
1	9	11	11	0	0	0	false
1	9	12	11	0	0	0	false
1	9	12	12	0	0	0	false
1	9	13	11	0	0	0	false
1	9	13	12	0	0	0	false
1	9	14	12	0	0	0	false
1	9	15	12	0	0	0	false
1	9	15	13	0	0	0	false
1	9	16	12	0	0	0	false
1	9	16	13	0	0	0	false
1	9	17	12	0	0	0	false
1	9	17	13	0	0	0	false
1	9	18	13	0	0	0	false
1	9	18	14	0	0	0	false
1	9	19	13	0	0	0	false
1	9	19	14	0	0	0	false
1	9	20	13	0	0	0	false
1	9	20	14	0	0	0	false
1	10	10	11	0	0	0	true
1	10	11	11	0	0	0	true
1	10	11	12	0	0	0	true
1	10	12	11	0	0	0	true
1	10	12	12	0	0	0	false
1	10	13	12	0	0	0	false
1	10	13	13	0	0	0	false
1	10	14	12	0	0	0	false
1	10	14	13	0	0	0	false
1	10	15	13	0	0	0	false
1	10	15	14	0	0	0	false
1	10	16	13	0	0	0	false
1	10	16	14	0	0	0	false
1	10	17	13	0	0	0	false
1	10	17	14	0	0	0	false
1	10	18	13	0	0	0	false
1	10	18	14	0	0	0	false
1	10	19	14	0	0	0	false
1	10	19	15	0	0	0	false
1	10	20	14	0	0	0	false
1	10	20	15	0	0	0	false
1	11	11	12	0	0	0	true
1	11	12	12	0	0	0	true
1	11	12	13	0	0	0	true
1	11	13	12	0	0	0	true
1	11	13	13	0	0	0	false
1	11	14	13	0	0	0	false
1	11	14	14	0	0	0	false
1	11	15	13	0	0	0	false
1	11	15	14	0	0	0	false
1	11	16	14	0	0	0	false
1	11	16	15	0	0	0	false
1	11	17	14	0	0	0	false
1	11	17	15	0	0	0	false
1	11	18	14	0	0	0	false
1	11	18	15	0	0	0	false
1	11	19	15	0	0	0	false
1	11	20	15	0	0	0	false
1	11	20	16	0	0	0	false
1	12	12	13	0	0	0	true
1	12	13	13	0	0	0	true
1	12	13	14	0	0	0	true
1	12	14	13	0	0	0	true
1	12	14	14	0	0	0	false
1	12	15	14	0	0	0	false
1	12	15	15	0	0	0	false
1	12	16	14	0	0	0	false
1	12	16	15	0	0	0	false
1	12	17	15	0	0	0	false
1	12	17	16	0	0	0	false
1	12	18	15	0	0	0	false
1	12	18	16	0	0	0	false
1	12	19	15	0	0	0	false
1	12	19	16	0	0	0	false
1	12	20	16	0	0	0	false
1	12	20	17	0	0	0	false
1	13	13	14	0	0	0	true
1	13	14	14	0	0	0	true
1	13	14	15	0	0	0	true
1	13	15	14	0	0	0	true
1	13	15	15	0	0	0	false
1	13	16	15	0	0	0	false
1	13	16	16	0	0	0	false
1	13	17	15	0	0	0	false
1	13	17	16	0	0	0	false
1	13	18	16	0	0	0	false
1	13	18	17	0	0	0	false
1	13	19	16	0	0	0	false
1	13	19	17	0	0	0	false
1	13	20	16	0	0	0	false
1	13	20	17	0	0	0	false
1	14	14	15	0	0	0	true
1	14	15	15	0	0	0	true
1	14	15	16	0	0	0	true
1	14	16	15	0	0	0	true
1	14	16	16	0	0	0	false
1	14	17	16	0	0	0	false
1	14	17	17	0	0	0	false
1	14	18	16	0	0	0	false
1	14	18	17	0	0	0	false
1	14	19	17	0	0	0	false
1	14	19	18	0	0	0	false
1	14	20	17	0	0	0	false
1	14	20	18	0	0	0	false
1	15	15	16	0	0	0	true
1	15	16	16	0	0	0	true
1	15	16	17	0	0	0	true
1	15	17	16	0	0	0	true
1	15	17	17	0	0	0	false
1	15	18	17	0	0	0	false
1	15	18	18	0	0	0	false
1	15	19	17	0	0	0	false
1	15	19	18	0	0	0	false
1	15	20	18	0	0	0	false
1	15	20	19	0	0	0	false
1	16	16	17	0	0	0	true
1	16	17	17	0	0	0	true
1	16	17	18	0	0	0	true
1	16	18	17	0	0	0	true
1	16	18	18	0	0	0	false
1	16	19	18	0	0	0	false
1	16	19	19	0	0	0	false
1	16	20	18	0	0	0	false
1	16	20	19	0	0	0	false
1	17	17	18	0	0	0	true
1	17	18	18	0	0	0	true
1	17	18	19	0	0	0	true
1	17	19	18	0	0	0	true
1	17	19	19	0	0	0	false
1	17	20	19	0	0	0	false
1	17	20	20	0	0	0	false
1	18	18	19	0	0	0	true
1	18	19	19	0	0	0	true
1	18	19	20	0	0	0	true
1	18	20	19	0	0	0	true
1	18	20	20	0	0	0	false
1	19	19	20	0	0	0	true
1	19	20	20	0	0	0	true
1	19	20	21	0	0	0	true
1	20	20	21	0	0	0	true
2	2	2	3	0	0	0	true
2	2	2	4	0	0	0	irreducible
2	2	3	4	0	0	0	true
2	2	3	5	0	0	0	true
2	2	4	5	0	0	0	true
2	2	5	5	0	0	0	true
2	2	5	6	0	0	0	true
2	2	6	5	0	0	0	true
2	2	6	6	0	0	0	false
2	2	7	6	0	0	0	false
2	2	8	6	0	0	0	false
2	2	8	7	0	0	0	false
2	2	9	6	0	0	0	false
2	2	9	7	0	0	0	false
2	2	10	6	0	0	0	false
2	2	10	7	0	0	0	false
2	2	11	6	0	0	0	false
2	2	11	7	0	0	0	false
2	2	12	6	0	0	0	false
2	2	12	7	0	0	0	false
2	2	13	7	0	0	0	false
2	2	14	7	0	0	0	false
2	2	14	8	0	0	0	false
2	2	15	7	0	0	0	false
2	2	15	8	0	0	0	false
2	2	16	7	0	0	0	false
2	2	16	8	0	0	0	false
2	2	17	7	0	0	0	false
2	2	17	8	0	0	0	false
2	2	18	7	0	0	0	false
2	2	18	8	0	0	0	false
2	2	19	7	0	0	0	false
2	2	19	8	0	0	0	false
2	2	20	7	0	0	0	false
2	2	20	8	0	0	0	false
2	3	3	5	0	0	0	irreducible
2	3	3	6	0	0	0	true
2	3	4	6	0	0	0	true
2	3	5	6	0	0	0	true
2	3	5	7	0	0	0	true
2	3	6	7	0	0	0	true
2	3	7	7	0	0	0	true
2	3	7	8	0	0	0	true
2	3	8	7	0	0	0	true
2	3	8	8	0	0	0	false
2	3	9	8	0	0	0	false
2	3	10	8	0	0	0	false
2	3	10	9	0	0	0	false
2	3	11	8	0	0	0	false
2	3	11	9	0	0	0	false
2	3	12	8	0	0	0	false
2	3	12	9	0	0	0	false
2	3	13	8	0	0	0	false
2	3	13	9	0	0	0	false
2	3	14	9	0	0	0	false
2	3	15	9	0	0	0	false
2	3	15	10	0	0	0	false
2	3	16	9	0	0	0	false
2	3	16	10	0	0	0	false
2	3	17	9	0	0	0	false
2	3	17	10	0	0	0	false
2	3	18	9	0	0	0	false
2	3	18	10	0	0	0	false
2	3	19	9	0	0	0	false
2	3	19	10	0	0	0	false
2	3	20	9	0	0	0	false
2	3	20	10	0	0	0	false
2	4	4	6	0	0	0	true
2	4	4	7	0	0	0	false
2	4	5	7	0	0	0	true
2	4	5	8	0	0	0	true
2	4	6	8	0	0	0	irreducible
2	4	6	9	0	0	0	true
2	4	7	8	0	0	0	true
2	4	7	9	0	0	0	true
2	4	8	9	0	0	0	true
2	4	9	9	0	0	0	true
2	4	9	10	0	0	0	true
2	4	10	9	0	0	0	true
2	4	10	10	0	0	0	false
2	4	11	10	0	0	0	false
2	4	12	10	0	0	0	false
2	4	12	11	0	0	0	false
2	4	13	10	0	0	0	false
2	4	13	11	0	0	0	false
2	4	14	10	0	0	0	false
2	4	14	11	0	0	0	false
2	4	15	10	0	0	0	false
2	4	15	11	0	0	0	false
2	4	16	11	0	0	0	false
2	4	16	12	0	0	0	false
2	4	17	11	0	0	0	false
2	4	17	12	0	0	0	false
2	4	18	11	0	0	0	false
2	4	18	12	0	0	0	false
2	4	19	11	0	0	0	false
2	4	19	12	0	0	0	false
2	4	20	11	0	0	0	false
2	4	20	12	0	0	0	false
2	5	5	8	0	0	0	true
2	5	5	9	0	0	0	true
2	5	6	9	0	0	0	true
2	5	7	9	0	0	0	true
2	5	7	10	0	0	0	true
2	5	8	10	0	0	0	true
2	5	8	11	0	0	0	true
2	5	9	10	0	0	0	true
2	5	9	11	0	0	0	true
2	5	10	11	0	0	0	true
2	5	11	11	0	0	0	true
2	5	11	12	0	0	0	true
2	5	12	11	0	0	0	true
2	5	12	12	0	0	0	false
2	5	13	12	0	0	0	false
2	5	14	12	0	0	0	false
2	5	14	13	0	0	0	false
2	5	15	12	0	0	0	false
2	5	15	13	0	0	0	false
2	5	16	12	0	0	0	false
2	5	16	13	0	0	0	false
2	5	17	12	0	0	0	false
2	5	17	13	0	0	0	false
2	5	18	13	0	0	0	false
2	5	18	14	0	0	0	false
2	5	19	13	0	0	0	false
2	5	19	14	0	0	0	false
2	5	20	13	0	0	0	false
2	5	20	14	0	0	0	false
2	6	6	9	0	0	0	true
2	6	6	10	0	0	0	false
2	6	7	10	0	0	0	true
2	6	7	11	0	0	0	true
2	6	8	11	0	0	0	true
2	6	8	12	0	0	0	true
2	6	9	11	0	0	0	true
2	6	9	12	0	0	0	true
2	6	10	12	0	0	0	true
2	6	10	13	0	0	0	true
2	6	11	12	0	0	0	true
2	6	11	13	0	0	0	true
2	6	12	13	0	0	0	true
2	6	13	13	0	0	0	true
2	6	13	14	0	0	0	true
2	6	14	13	0	0	0	true
2	6	14	14	0	0	0	false
2	6	15	14	0	0	0	false
2	6	16	14	0	0	0	false
2	6	16	15	0	0	0	false
2	6	17	14	0	0	0	false
2	6	17	15	0	0	0	false
2	6	18	14	0	0	0	false
2	6	18	15	0	0	0	false
2	6	19	15	0	0	0	false
2	6	20	15	0	0	0	false
2	6	20	16	0	0	0	false
2	7	7	11	0	0	0	true
2	7	7	12	0	0	0	true
2	7	8	12	0	0	0	true
2	7	9	12	0	0	0	true
2	7	9	13	0	0	0	true
2	7	10	13	0	0	0	true
2	7	10	14	0	0	0	true
2	7	11	13	0	0	0	true
2	7	11	14	0	0	0	true
2	7	12	14	0	0	0	true
2	7	12	15	0	0	0	true
2	7	13	14	0	0	0	true
2	7	13	15	0	0	0	true
2	7	14	15	0	0	0	true
2	7	15	15	0	0	0	true
2	7	15	16	0	0	0	true
2	7	16	15	0	0	0	true
2	7	16	16	0	0	0	false
2	7	17	16	0	0	0	false
2	7	18	16	0	0	0	false
2	7	18	17	0	0	0	false
2	7	19	16	0	0	0	false
2	7	19	17	0	0	0	false
2	7	20	16	0	0	0	false
2	7	20	17	0	0	0	false
2	8	8	12	0	0	0	true
2	8	8	13	0	0	0	false
2	8	9	13	0	0	0	true
2	8	9	14	0	0	0	true
2	8	10	14	0	0	0	true
2	8	10	15	0	0	0	true
2	8	11	14	0	0	0	true
2	8	11	15	0	0	0	true
2	8	12	15	0	0	0	true
2	8	12	16	0	0	0	true
2	8	13	15	0	0	0	true
2	8	13	16	0	0	0	true
2	8	14	16	0	0	0	true
2	8	14	17	0	0	0	true
2	8	15	16	0	0	0	true
2	8	15	17	0	0	0	true
2	8	16	17	0	0	0	true
2	8	17	17	0	0	0	true
2	8	17	18	0	0	0	true
2	8	18	17	0	0	0	true
2	8	18	18	0	0	0	false
2	8	19	18	0	0	0	false
2	8	20	18	0	0	0	false
2	8	20	19	0	0	0	false
2	9	9	14	0	0	0	true
2	9	9	15	0	0	0	true
2	9	10	15	0	0	0	true
2	9	11	15	0	0	0	true
2	9	11	16	0	0	0	true
2	9	12	16	0	0	0	true
2	9	12	17	0	0	0	true
2	9	13	16	0	0	0	true
2	9	13	17	0	0	0	true
2	9	14	17	0	0	0	true
2	9	14	18	0	0	0	true
2	9	15	17	0	0	0	true
2	9	15	18	0	0	0	true
2	9	16	18	0	0	0	true
2	9	16	19	0	0	0	true
2	9	17	18	0	0	0	true
2	9	17	19	0	0	0	true
2	9	18	19	0	0	0	true
2	9	19	19	0	0	0	true
2	9	19	20	0	0	0	true
2	9	20	19	0	0	0	true
2	9	20	20	0	0	0	false
2	10	10	15	0	0	0	true
2	10	10	16	0	0	0	false
2	10	11	16	0	0	0	true
2	10	11	17	0	0	0	true
2	10	12	17	0	0	0	true
2	10	12	18	0	0	0	true
2	10	13	17	0	0	0	true
2	10	13	18	0	0	0	true
2	10	14	18	0	0	0	true
2	10	14	19	0	0	0	true
2	10	15	18	0	0	0	true
2	10	15	19	0	0	0	true
2	10	16	19	0	0	0	true
2	10	16	20	0	0	0	true
2	10	17	19	0	0	0	true
2	10	17	20	0	0	0	true
2	10	18	20	0	0	0	false
2	10	18	21	0	0	0	true
2	10	19	20	0	0	0	true
2	10	19	21	0	0	0	true
2	10	20	21	0	0	0	true
2	11	11	17	0	0	0	true
2	11	11	18	0	0	0	true
2	11	12	18	0	0	0	true
2	11	13	18	0	0	0	true
2	11	13	19	0	0	0	true
2	11	14	19	0	0	0	true
2	11	14	20	0	0	0	true
2	11	15	19	0	0	0	true
2	11	15	20	0	0	0	true
2	11	16	20	0	0	0	true
2	11	16	21	0	0	0	true
2	11	17	20	0	0	0	true
2	11	17	21	0	0	0	true
2	11	18	21	0	0	0	true
2	11	18	22	0	0	0	true
2	11	19	21	0	0	0	true
2	11	19	22	0	0	0	true
2	11	20	22	0	0	0	false
2	11	20	23	0	0	0	true
2	12	12	18	0	0	0	true
2	12	12	19	0	0	0	false
2	12	13	19	0	0	0	true
2	12	13	20	0	0	0	true
2	12	14	20	0	0	0	true
2	12	14	21	0	0	0	true
2	12	15	20	0	0	0	true
2	12	15	21	0	0	0	true
2	12	16	21	0	0	0	true
2	12	16	22	0	0	0	true
2	12	17	21	0	0	0	true
2	12	17	22	0	0	0	true
2	12	18	22	0	0	0	true
2	12	18	23	0	0	0	true
2	12	19	22	0	0	0	true
2	12	19	23	0	0	0	true
2	12	20	23	0	0	0	true
2	12	20	24	0	0	0	true
2	13	13	20	0	0	0	true
2	13	13	21	0	0	0	true
2	13	14	21	0	0	0	true
2	13	15	21	0	0	0	true
2	13	15	22	0	0	0	true
2	13	16	22	0	0	0	true
2	13	16	23	0	0	0	true
2	13	17	22	0	0	0	true
2	13	17	23	0	0	0	true
2	13	18	23	0	0	0	true
2	13	18	24	0	0	0	true
2	13	19	24	0	0	0	true
2	13	20	24	0	0	0	true
2	13	20	25	0	0	0	true
2	14	14	21	0	0	0	true
2	14	14	22	0	0	0	false
2	14	15	22	0	0	0	true
2	14	15	23	0	0	0	true
2	14	16	23	0	0	0	true
2	14	16	24	0	0	0	true
2	14	17	23	0	0	0	true
2	14	17	24	0	0	0	true
2	14	18	24	0	0	0	true
2	14	18	25	0	0	0	true
2	14	19	25	0	0	0	true
2	14	20	25	0	0	0	true
2	14	20	26	0	0	0	true
2	15	15	23	0	0	0	true
2	15	15	24	0	0	0	true
2	15	16	24	0	0	0	true
2	15	17	24	0	0	0	true
2	15	17	25	0	0	0	true
2	15	18	25	0	0	0	true
2	15	18	26	0	0	0	true
2	15	19	25	0	0	0	true
2	15	19	26	0	0	0	true
2	15	20	26	0	0	0	true
2	15	20	27	0	0	0	true
2	16	16	24	0	0	0	true
2	16	16	25	0	0	0	false
2	16	17	25	0	0	0	true
2	16	17	26	0	0	0	true
2	16	18	26	0	0	0	true
2	16	18	27	0	0	0	true
2	16	19	26	0	0	0	true
2	16	19	27	0	0	0	true
2	16	20	27	0	0	0	true
2	16	20	28	0	0	0	true
2	17	17	26	0	0	0	true
2	17	17	27	0	0	0	true
2	17	18	27	0	0	0	true
2	17	19	27	0	0	0	true
2	17	19	28	0	0	0	true
2	17	20	28	0	0	0	true
2	17	20	29	0	0	0	true
2	18	18	27	0	0	0	true
2	18	18	28	0	0	0	false
2	18	19	28	0	0	0	true
2	18	19	29	0	0	0	true
2	18	20	29	0	0	0	true
2	18	20	30	0	0	0	true
2	19	19	29	0	0	0	true
2	19	19	30	0	0	0	true
2	19	20	30	0	0	0	true
2	20	20	30	0	0	0	true
2	20	20	31	0	0	0	false
3	3	3	6	0	0	0	true
3	3	3	7	0	0	0	true
3	3	4	7	0	0	0	true
3	3	4	8	0	0	0	true
3	3	5	8	0	0	0	true
3	3	6	8	0	0	0	true
3	3	6	9	0	0	0	true
3	3	7	9	0	0	0	false
3	3	7	10	0	0	0	true
3	3	8	9	0	0	0	true
3	3	8	10	0	0	0	true
3	3	9	10	0	0	0	true
3	3	10	10	0	0	0	true
3	3	10	11	0	0	0	true
3	3	11	10	0	0	0	true
3	3	11	11	0	0	0	false
3	3	12	10	0	0	0	true
3	3	12	11	0	0	0	false
3	3	13	11	0	0	0	false
3	3	13	12	0	0	0	false
3	3	14	11	0	0	0	false
3	3	14	12	0	0	0	false
3	3	15	11	0	0	0	false
3	3	15	12	0	0	0	false
3	3	16	11	0	0	0	false
3	3	16	12	0	0	0	false
3	3	17	12	0	0	0	false
3	3	18	12	0	0	0	false
3	3	18	13	0	0	0	false
3	3	19	12	0	0	0	false
3	3	19	13	0	0	0	false
3	3	20	12	0	0	0	false
3	3	20	13	0	0	0	false
3	4	4	8	0	0	0	true
3	4	4	9	0	0	0	true
3	4	5	9	0	0	0	true
3	4	5	10	0	0	0	true
3	4	6	10	0	0	0	true
3	4	7	10	0	0	0	true
3	4	7	11	0	0	0	true
3	4	8	11	0	0	0	true
3	4	8	12	0	0	0	true
3	4	9	11	0	0	0	true
3	4	9	12	0	0	0	true
3	4	10	12	0	0	0	false
3	4	10	13	0	0	0	true
3	4	11	12	0	0	0	true
3	4	11	13	0	0	0	true
3	4	12	13	0	0	0	true
3	4	13	13	0	0	0	true
3	4	13	14	0	0	0	true
3	4	14	13	0	0	0	true
3	4	14	14	0	0	0	false
3	4	15	13	0	0	0	true
3	4	15	14	0	0	0	false
3	4	16	14	0	0	0	false
3	4	16	15	0	0	0	false
3	4	17	14	0	0	0	false
3	4	17	15	0	0	0	false
3	4	18	14	0	0	0	false
3	4	18	15	0	0	0	false
3	4	19	14	0	0	0	false
3	4	19	15	0	0	0	false
3	4	20	15	0	0	0	false
3	5	5	10	0	0	0	true
3	5	5	11	0	0	0	true
3	5	6	11	0	0	0	true
3	5	6	12	0	0	0	true
3	5	7	12	0	0	0	true
3	5	8	12	0	0	0	true
3	5	8	13	0	0	0	true
3	5	9	13	0	0	0	true
3	5	9	14	0	0	0	true
3	5	10	13	0	0	0	true
3	5	10	14	0	0	0	true
3	5	11	14	0	0	0	true
3	5	11	15	0	0	0	true
3	5	12	14	0	0	0	true
3	5	12	15	0	0	0	false
3	5	13	15	0	0	0	false
3	5	13	16	0	0	0	true
3	5	14	15	0	0	0	true
3	5	14	16	0	0	0	true
3	5	15	16	0	0	0	true
3	5	16	16	0	0	0	true
3	5	16	17	0	0	0	true
3	5	17	16	0	0	0	true
3	5	17	17	0	0	0	false
3	5	18	16	0	0	0	true
3	5	18	17	0	0	0	false
3	5	19	17	0	0	0	false
3	5	19	18	0	0	0	false
3	5	20	17	0	0	0	false
3	5	20	18	0	0	0	false
3	6	6	12	0	0	0	true
3	6	6	13	0	0	0	true
3	6	7	13	0	0	0	true
3	6	7	14	0	0	0	true
3	6	8	14	0	0	0	true
3	6	9	14	0	0	0	true
3	6	9	15	0	0	0	true
3	6	10	15	0	0	0	true
3	6	10	16	0	0	0	true
3	6	11	16	0	0	0	true
3	6	12	16	0	0	0	true
3	6	12	17	0	0	0	true
3	6	13	17	0	0	0	true
3	6	13	18	0	0	0	true
3	6	14	17	0	0	0	true
3	6	14	18	0	0	0	true
3	6	15	17	0	0	0	true
3	6	15	18	0	0	0	false
3	6	16	18	0	0	0	false
3	6	16	19	0	0	0	true
3	6	17	18	0	0	0	true
3	6	17	19	0	0	0	true
3	6	18	19	0	0	0	true
3	6	19	19	0	0	0	true
3	6	19	20	0	0	0	true
3	6	20	19	0	0	0	true
3	6	20	20	0	0	0	false
3	7	7	14	0	0	0	true
3	7	7	15	0	0	0	true
3	7	8	15	0	0	0	true
3	7	8	16	0	0	0	true
3	7	9	16	0	0	0	true
3	7	10	16	0	0	0	true
3	7	10	17	0	0	0	true
3	7	11	17	0	0	0	true
3	7	11	18	0	0	0	true
3	7	12	18	0	0	0	true
3	7	12	19	0	0	0	true
3	7	13	18	0	0	0	true
3	7	13	19	0	0	0	true
3	7	14	19	0	0	0	true
3	7	14	20	0	0	0	true
3	7	15	19	0	0	0	true
3	7	15	20	0	0	0	true
3	7	16	20	0	0	0	true
3	7	16	21	0	0	0	true
3	7	17	20	0	0	0	true
3	7	17	21	0	0	0	true
3	7	18	20	0	0	0	true
3	7	18	21	0	0	0	false
3	7	19	21	0	0	0	false
3	7	19	22	0	0	0	true
3	7	20	21	0	0	0	true
3	7	20	22	0	0	0	true
3	8	8	16	0	0	0	true
3	8	8	17	0	0	0	true
3	8	9	17	0	0	0	true
3	8	9	18	0	0	0	true
3	8	10	18	0	0	0	true
3	8	11	18	0	0	0	true
3	8	11	19	0	0	0	true
3	8	12	19	0	0	0	true
3	8	12	20	0	0	0	true
3	8	13	20	0	0	0	true
3	8	13	21	0	0	0	true
3	8	14	20	0	0	0	true
3	8	14	21	0	0	0	true
3	8	15	21	0	0	0	true
3	8	15	22	0	0	0	true
3	8	16	21	0	0	0	true
3	8	16	22	0	0	0	true
3	8	17	22	0	0	0	true
3	8	17	23	0	0	0	true
3	8	18	22	0	0	0	true
3	8	18	23	0	0	0	true
3	8	19	23	0	0	0	true
3	8	19	24	0	0	0	true
3	8	20	23	0	0	0	true
3	8	20	24	0	0	0	true
3	9	9	18	0	0	0	true
3	9	9	19	0	0	0	true
3	9	10	19	0	0	0	true
3	9	10	20	0	0	0	true
3	9	11	20	0	0	0	true
3	9	12	20	0	0	0	true
3	9	12	21	0	0	0	true
3	9	13	21	0	0	0	true
3	9	13	22	0	0	0	true
3	9	14	22	0	0	0	true
3	9	14	23	0	0	0	true
3	9	15	22	0	0	0	true
3	9	15	23	0	0	0	true
3	9	16	23	0	0	0	true
3	9	16	24	0	0	0	true
3	9	17	24	0	0	0	true
3	9	18	24	0	0	0	true
3	9	18	25	0	0	0	true
3	9	19	25	0	0	0	true
3	9	20	25	0	0	0	true
3	9	20	26	0	0	0	true
3	10	10	20	0	0	0	true
3	10	10	21	0	0	0	true
3	10	11	21	0	0	0	true
3	10	11	22	0	0	0	true
3	10	12	22	0	0	0	true
3	10	13	22	0	0	0	true
3	10	13	23	0	0	0	true
3	10	14	23	0	0	0	true
3	10	14	24	0	0	0	true
3	10	15	24	0	0	0	true
3	10	15	25	0	0	0	true
3	10	16	24	0	0	0	true
3	10	16	25	0	0	0	true
3	10	17	25	0	0	0	true
3	10	17	26	0	0	0	true
3	10	18	26	0	0	0	true
3	10	18	27	0	0	0	true
3	10	19	26	0	0	0	true
3	10	19	27	0	0	0	true
3	10	20	27	0	0	0	true
3	10	20	28	0	0	0	true
3	11	11	22	0	0	0	true
3	11	11	23	0	0	0	true
3	11	12	23	0	0	0	true
3	11	12	24	0	0	0	true
3	11	13	24	0	0	0	true
3	11	14	24	0	0	0	true
3	11	14	25	0	0	0	true
3	11	15	25	0	0	0	true
3	11	15	26	0	0	0	true
3	11	16	26	0	0	0	true
3	11	16	27	0	0	0	true
3	11	17	27	0	0	0	true
3	11	18	27	0	0	0	true
3	11	18	28	0	0	0	true
3	11	19	28	0	0	0	true
3	11	19	29	0	0	0	true
3	11	20	28	0	0	0	true
3	11	20	29	0	0	0	true
3	12	12	24	0	0	0	true
3	12	12	25	0	0	0	true
3	12	13	25	0	0	0	true
3	12	13	26	0	0	0	true
3	12	14	26	0	0	0	true
3	12	15	26	0	0	0	true
3	12	15	27	0	0	0	true
3	12	16	27	0	0	0	true
3	12	16	28	0	0	0	true
3	12	17	28	0	0	0	true
3	12	17	29	0	0	0	true
3	12	18	29	0	0	0	true
3	12	18	30	0	0	0	true
3	12	19	29	0	0	0	true
3	12	19	30	0	0	0	true
3	12	20	30	0	0	0	true
3	12	20	31	0	0	0	true
3	13	13	26	0	0	0	true
3	13	13	27	0	0	0	true
3	13	14	27	0	0	0	true
3	13	14	28	0	0	0	true
3	13	15	28	0	0	0	true
3	13	16	28	0	0	0	true
3	13	16	29	0	0	0	true
3	13	17	29	0	0	0	true
3	13	17	30	0	0	0	true
3	13	18	30	0	0	0	true
3	13	18	31	0	0	0	true
3	13	19	31	0	0	0	true
3	13	19	32	0	0	0	true
3	13	20	31	0	0	0	true
3	13	20	32	0	0	0	true
3	14	14	28	0	0	0	true
3	14	14	29	0	0	0	true
3	14	15	29	0	0	0	true
3	14	15	30	0	0	0	true
3	14	16	30	0	0	0	true
3	14	17	30	0	0	0	true
3	14	17	31	0	0	0	true
3	14	18	31	0	0	0	true
3	14	18	32	0	0	0	true
3	14	19	32	0	0	0	true
3	14	19	33	0	0	0	true
3	14	20	33	0	0	0	true
3	14	20	34	0	0	0	true
3	15	15	30	0	0	0	true
3	15	15	31	0	0	0	true
3	15	16	31	0	0	0	true
3	15	16	32	0	0	0	true
3	15	17	32	0	0	0	true
3	15	18	32	0	0	0	true
3	15	18	33	0	0	0	true
3	15	19	33	0	0	0	true
3	15	19	34	0	0	0	true
3	15	20	34	0	0	0	true
3	15	20	35	0	0	0	true
3	16	16	32	0	0	0	true
3	16	16	33	0	0	0	true
3	16	17	33	0	0	0	true
3	16	17	34	0	0	0	true
3	16	18	34	0	0	0	true
3	16	19	34	0	0	0	true
3	16	19	35	0	0	0	true
3	16	20	35	0	0	0	true
3	16	20	36	0	0	0	true
3	17	17	34	0	0	0	true
3	17	17	35	0	0	0	true
3	17	18	35	0	0	0	true
3	17	18	36	0	0	0	true
3	17	19	36	0	0	0	true
3	17	20	36	0	0	0	true
3	17	20	37	0	0	0	true
3	18	18	36	0	0	0	true
3	18	18	37	0	0	0	true
3	18	19	37	0	0	0	true
3	18	19	38	0	0	0	true
3	18	20	38	0	0	0	true
3	19	19	38	0	0	0	true
3	19	19	39	0	0	0	true
3	19	20	39	0	0	0	true
3	19	20	40	0	0	0	true
3	20	20	40	0	0	0	true
3	20	20	41	0	0	0	true
4	4	4	9	0	0	0	true
4	4	4	10	0	0	0	true
4	4	5	10	0	0	0	true
4	4	5	11	0	0	0	true
4	4	6	11	0	0	0	true
4	4	6	12	0	0	0	true
4	4	7	12	0	0	0	true
4	4	7	13	0	0	0	true
4	4	8	13	0	0	0	true
4	4	8	14	0	0	0	true
4	4	9	13	0	0	0	true
4	4	9	14	0	0	0	true
4	4	10	14	0	0	0	true
4	4	10	15	0	0	0	true
4	4	11	15	0	0	0	true
4	4	12	15	0	0	0	true
4	4	12	16	0	0	0	true
4	4	13	15	0	0	0	true
4	4	13	16	0	0	0	false
4	4	14	16	0	0	0	false
4	4	14	17	0	0	0	true
4	4	15	16	0	0	0	true
4	4	15	17	0	0	0	true
4	4	16	17	0	0	0	true
4	4	17	17	0	0	0	true
4	4	17	18	0	0	0	true
4	4	18	17	0	0	0	true
4	4	18	18	0	0	0	false
4	4	19	17	0	0	0	true
4	4	19	18	0	0	0	false
4	4	20	18	0	0	0	false
4	4	20	19	0	0	0	false
4	5	5	12	0	0	0	true
4	5	6	13	0	0	0	irreducible
4	5	6	14	0	0	0	true
4	5	7	14	0	0	0	true
4	5	7	15	0	0	0	true
4	5	8	15	0	0	0	true
4	5	9	15	0	0	0	true
4	5	9	16	0	0	0	true
4	5	10	16	0	0	0	true
4	5	10	17	0	0	0	true
4	5	11	17	0	0	0	true
4	5	11	18	0	0	0	true
4	5	12	17	0	0	0	true
4	5	12	18	0	0	0	true
4	5	13	18	0	0	0	true
4	5	13	19	0	0	0	true
4	5	14	18	0	0	0	true
4	5	14	19	0	0	0	false
4	5	15	19	0	0	0	false
4	5	15	20	0	0	0	true
4	5	16	19	0	0	0	true
4	5	16	20	0	0	0	true
4	5	17	20	0	0	0	false
4	5	18	20	0	0	0	false
4	5	18	21	0	0	0	true
4	5	19	20	0	0	0	true
4	5	19	21	0	0	0	true
4	5	20	21	0	0	0	true
4	6	6	14	0	0	0	true
4	6	6	15	0	0	0	true
4	6	7	15	0	0	0	true
4	6	7	16	0	0	0	true
4	6	8	16	0	0	0	true
4	6	8	17	0	0	0	true
4	6	9	17	0	0	0	true
4	6	9	18	0	0	0	true
4	6	10	18	0	0	0	true
4	6	10	19	0	0	0	true
4	6	11	19	0	0	0	true
4	6	11	20	0	0	0	true
4	6	12	19	0	0	0	true
4	6	12	20	0	0	0	true
4	6	13	20	0	0	0	true
4	6	13	21	0	0	0	true
4	6	14	21	0	0	0	true
4	6	15	21	0	0	0	true
4	6	15	22	0	0	0	true
4	6	16	22	0	0	0	false
4	6	16	23	0	0	0	true
4	6	17	22	0	0	0	true
4	6	17	23	0	0	0	true
4	6	18	22	0	0	0	true
4	6	18	23	0	0	0	false
4	6	19	23	0	0	0	true
4	6	19	24	0	0	0	true
4	6	20	23	0	0	0	true
4	6	20	24	0	0	0	true
4	7	7	16	0	0	0	true
4	7	7	17	0	0	0	irreducible
4	7	8	18	0	0	0	true
4	7	9	19	0	0	0	irreducible
4	7	9	20	0	0	0	true
4	7	10	20	0	0	0	true
4	7	11	20	0	0	0	true
4	7	11	21	0	0	0	true
4	7	12	21	0	0	0	true
4	7	12	22	0	0	0	true
4	7	13	22	0	0	0	true
4	7	13	23	0	0	0	true
4	7	14	23	0	0	0	true
4	7	14	24	0	0	0	true
4	7	15	23	0	0	0	true
4	7	15	24	0	0	0	true
4	7	16	24	0	0	0	true
4	7	16	25	0	0	0	true
4	7	17	24	0	0	0	true
4	7	17	25	0	0	0	true
4	7	18	25	0	0	0	true
4	7	18	26	0	0	0	true
4	7	19	25	0	0	0	true
4	7	19	26	0	0	0	true
4	7	20	26	0	0	0	true
4	7	20	27	0	0	0	true
4	8	8	19	0	0	0	true
4	8	8	20	0	0	0	true
4	8	9	20	0	0	0	true
4	8	9	21	0	0	0	true
4	8	10	21	0	0	0	true
4	8	10	22	0	0	0	true
4	8	11	22	0	0	0	true
4	8	11	23	0	0	0	true
4	8	12	23	0	0	0	true
4	8	12	24	0	0	0	true
4	8	13	24	0	0	0	true
4	8	13	25	0	0	0	true
4	8	14	25	0	0	0	true
4	8	15	25	0	0	0	true
4	8	15	26	0	0	0	true
4	8	16	26	0	0	0	true
4	8	16	27	0	0	0	true
4	8	17	27	0	0	0	true
4	8	18	27	0	0	0	true
4	8	18	28	0	0	0	true
4	8	19	28	0	0	0	true
4	8	19	29	0	0	0	true
4	8	20	28	0	0	0	true
4	8	20	29	0	0	0	true
4	9	9	21	0	0	0	true
4	9	9	22	0	0	0	true
4	9	10	22	0	0	0	true
4	9	10	23	0	0	0	true
4	9	11	24	0	0	0	true
4	9	12	25	0	0	0	true
4	9	13	25	0	0	0	true
4	9	13	26	0	0	0	true
4	9	14	26	0	0	0	true
4	9	14	27	0	0	0	true
4	9	15	27	0	0	0	true
4	9	15	28	0	0	0	true
4	9	16	28	0	0	0	true
4	9	16	29	0	0	0	true
4	9	17	29	0	0	0	true
4	9	17	30	0	0	0	true
4	9	18	29	0	0	0	true
4	9	18	30	0	0	0	true
4	9	19	30	0	0	0	true
4	9	19	31	0	0	0	true
4	9	20	30	0	0	0	true
4	9	20	31	0	0	0	true
4	10	10	24	0	0	0	true
4	10	10	25	0	0	0	true
4	10	11	25	0	0	0	true
4	10	11	26	0	0	0	true
4	10	12	26	0	0	0	true
4	10	12	27	0	0	0	true
4	10	13	27	0	0	0	true
4	10	13	28	0	0	0	true
4	10	14	28	0	0	0	true
4	10	14	29	0	0	0	true
4	10	15	29	0	0	0	true
4	10	15	30	0	0	0	true
4	10	16	30	0	0	0	true
4	10	16	31	0	0	0	true
4	10	17	30	0	0	0	true
4	10	17	31	0	0	0	true
4	10	18	31	0	0	0	true
4	10	18	32	0	0	0	true
4	10	19	32	0	0	0	true
4	10	19	33	0	0	0	true
4	10	20	33	0	0	0	true
4	11	11	26	0	0	0	true
4	11	11	27	0	0	0	true
4	11	12	27	0	0	0	true
4	11	12	28	0	0	0	true
4	11	13	28	0	0	0	true
4	11	13	29	0	0	0	irreducible
4	11	14	30	0	0	0	true
4	11	15	30	0	0	0	true
4	11	15	31	0	0	0	irreducible
4	11	16	31	0	0	0	true
4	11	16	32	0	0	0	true
4	11	17	32	0	0	0	true
4	11	17	33	0	0	0	true
4	11	18	33	0	0	0	true
4	11	18	34	0	0	0	true
4	11	19	34	0	0	0	true
4	11	19	35	0	0	0	true
4	11	20	35	0	0	0	true
4	12	12	29	0	0	0	true
4	12	12	30	0	0	0	true
4	12	13	30	0	0	0	true
4	12	13	31	0	0	0	true
4	12	14	31	0	0	0	true
4	12	14	32	0	0	0	true
4	12	15	32	0	0	0	true
4	12	15	33	0	0	0	true
4	12	16	33	0	0	0	true
4	12	16	34	0	0	0	true
4	12	17	34	0	0	0	true
4	12	17	35	0	0	0	true
4	12	18	35	0	0	0	true
4	12	18	36	0	0	0	true
4	12	19	36	0	0	0	true
4	12	19	37	0	0	0	true
4	12	20	36	0	0	0	true
4	12	20	37	0	0	0	true
4	13	13	31	0	0	0	true
4	13	13	32	0	0	0	true
4	13	14	32	0	0	0	true
4	13	14	33	0	0	0	true
4	13	15	33	0	0	0	true
4	13	15	34	0	0	0	true
4	13	16	35	0	0	0	true
4	13	17	36	0	0	0	true
4	13	18	36	0	0	0	true
4	13	18	37	0	0	0	true
4	13	19	37	0	0	0	true
4	13	19	38	0	0	0	true
4	13	20	38	0	0	0	true
4	13	20	39	0	0	0	true
4	14	14	34	0	0	0	true
4	14	14	35	0	0	0	true
4	14	15	35	0	0	0	true
4	14	15	36	0	0	0	true
4	14	16	36	0	0	0	true
4	14	16	37	0	0	0	true
4	14	17	37	0	0	0	true
4	14	17	38	0	0	0	true
4	14	18	38	0	0	0	true
4	14	18	39	0	0	0	true
4	14	19	39	0	0	0	true
4	14	19	40	0	0	0	true
4	14	20	40	0	0	0	true
4	14	20	41	0	0	0	true
4	15	15	36	0	0	0	true
4	15	15	37	0	0	0	true
4	15	16	37	0	0	0	true
4	15	16	38	0	0	0	true
4	15	17	38	0	0	0	true
4	15	17	39	0	0	0	true
4	15	18	40	0	0	0	true
4	15	19	41	0	0	0	irreducible
4	15	19	42	0	0	0	true
4	15	20	42	0	0	0	true
4	16	16	39	0	0	0	true
4	16	16	40	0	0	0	true
4	16	17	40	0	0	0	true
4	16	17	41	0	0	0	true
4	16	18	41	0	0	0	true
4	16	18	42	0	0	0	true
4	16	19	42	0	0	0	true
4	16	19	43	0	0	0	true
4	16	20	43	0	0	0	true
4	16	20	44	0	0	0	true
4	17	17	41	0	0	0	true
4	17	17	42	0	0	0	true
4	17	18	42	0	0	0	true
4	17	18	43	0	0	0	true
4	17	19	43	0	0	0	true
4	17	19	44	0	0	0	true
4	17	20	45	0	0	0	true
4	18	18	44	0	0	0	irreducible
4	18	18	45	0	0	0	true
4	18	19	45	0	0	0	true
4	18	19	46	0	0	0	true
4	18	20	46	0	0	0	true
4	18	20	47	0	0	0	true
4	19	19	46	0	0	0	true
4	19	19	47	0	0	0	true
4	19	20	47	0	0	0	true
4	19	20	48	0	0	0	true
4	20	20	49	0	0	0	true
5	5	5	13	0	0	0	true
5	5	5	14	0	0	0	true
5	5	6	14	0	0	0	true
5	5	6	15	0	0	0	true
5	5	7	16	0	0	0	true
5	5	8	17	0	0	0	irreducible
5	5	8	18	0	0	0	true
5	5	9	18	0	0	0	true
5	5	10	18	0	0	0	true
5	5	10	19	0	0	0	true
5	5	11	19	0	0	0	true
5	5	11	20	0	0	0	true
5	5	12	20	0	0	0	true
5	5	12	21	0	0	0	true
5	5	13	21	0	0	0	true
5	5	14	21	0	0	0	true
5	5	14	22	0	0	0	true
5	5	15	22	0	0	0	true
5	5	15	23	0	0	0	true
5	5	16	22	0	0	0	true
5	5	16	23	0	0	0	true
5	5	17	23	0	0	0	true
5	5	17	24	0	0	0	true
5	5	18	23	0	0	0	true
5	5	18	24	0	0	0	true
5	5	19	24	0	0	0	false
5	5	20	24	0	0	0	true
5	5	20	25	0	0	0	true
5	6	6	16	0	0	0	true
5	6	6	17	0	0	0	true
5	6	7	17	0	0	0	true
5	6	7	18	0	0	0	true
5	6	8	18	0	0	0	true
5	6	8	19	0	0	0	irreducible
5	6	9	20	0	0	0	true
5	6	10	21	0	0	0	true
5	6	11	21	0	0	0	true
5	6	11	22	0	0	0	true
5	6	12	22	0	0	0	true
5	6	12	23	0	0	0	true
5	6	13	23	0	0	0	true
5	6	13	24	0	0	0	true
5	6	14	24	0	0	0	true
5	6	14	25	0	0	0	true
5	6	15	24	0	0	0	true
5	6	15	25	0	0	0	true
5	6	16	25	0	0	0	true
5	6	16	26	0	0	0	true
5	6	17	26	0	0	0	true
5	6	17	27	0	0	0	true
5	6	18	26	0	0	0	true
5	6	18	27	0	0	0	true
5	6	19	27	0	0	0	true
5	6	19	28	0	0	0	true
5	6	20	27	0	0	0	true
5	6	20	28	0	0	0	true
5	7	7	19	0	0	0	true
5	7	7	20	0	0	0	true
5	7	8	20	0	0	0	true
5	7	8	21	0	0	0	true
5	7	9	21	0	0	0	true
5	7	9	22	0	0	0	true
5	7	10	22	0	0	0	true
5	7	10	23	0	0	0	irreducible
5	7	11	24	0	0	0	true
5	7	12	24	0	0	0	true
5	7	12	25	0	0	0	irreducible
5	7	13	25	0	0	0	true
5	7	13	26	0	0	0	true
5	7	14	26	0	0	0	true
5	7	14	27	0	0	0	true
5	7	15	27	0	0	0	true
5	7	15	28	0	0	0	true
5	7	16	28	0	0	0	true
5	7	16	29	0	0	0	true
5	7	17	28	0	0	0	true
5	7	17	29	0	0	0	true
5	7	18	29	0	0	0	true
5	7	18	30	0	0	0	true
5	7	19	30	0	0	0	true
5	7	20	30	0	0	0	true
5	7	20	31	0	0	0	true
5	8	8	22	0	0	0	true
5	8	8	23	0	0	0	true
5	8	9	23	0	0	0	true
5	8	9	24	0	0	0	true
5	8	10	24	0	0	0	true
5	8	10	25	0	0	0	true
5	8	11	25	0	0	0	true
5	8	11	26	0	0	0	true
5	8	12	27	0	0	0	true
5	8	13	28	0	0	0	true
5	8	14	28	0	0	0	true
5	8	14	29	0	0	0	false
5	8	15	29	0	0	0	true
5	8	15	30	0	0	0	true
5	8	16	30	0	0	0	true
5	8	16	31	0	0	0	true
5	8	17	31	0	0	0	true
5	8	17	32	0	0	0	true
5	8	18	32	0	0	0	true
5	8	18	33	0	0	0	true
5	8	19	32	0	0	0	true
5	8	19	33	0	0	0	true
5	8	20	33	0	0	0	true
5	8	20	34	0	0	0	true
5	9	9	25	0	0	0	true
5	9	10	26	0	0	0	true
5	9	10	27	0	0	0	true
5	9	11	27	0	0	0	true
5	9	11	28	0	0	0	true
5	9	12	28	0	0	0	true
5	9	12	29	0	0	0	true
5	9	13	30	0	0	0	true
5	9	14	31	0	0	0	irreducible
5	9	14	32	0	0	0	true
5	9	15	32	0	0	0	true
5	9	16	32	0	0	0	true
5	9	16	33	0	0	0	true
5	9	17	33	0	0	0	true
5	9	17	34	0	0	0	true
5	9	18	34	0	0	0	true
5	9	18	35	0	0	0	true
5	9	19	35	0	0	0	true
5	9	19	36	0	0	0	true
5	9	20	36	0	0	0	true
5	10	10	27	0	0	0	true
5	10	10	28	0	0	0	true
5	10	11	29	0	0	0	true
5	10	11	30	0	0	0	true
5	10	12	30	0	0	0	true
5	10	12	31	0	0	0	true
5	10	13	31	0	0	0	true
5	10	13	32	0	0	0	true
5	10	14	33	0	0	0	true
5	10	15	34	0	0	0	true
5	10	15	35	0	0	0	true
5	10	16	35	0	0	0	false
5	10	16	36	0	0	0	true
5	10	17	36	0	0	0	true
5	10	18	36	0	0	0	true
5	10	18	37	0	0	0	true
5	10	19	37	0	0	0	true
5	10	19	38	0	0	0	true
5	10	20	38	0	0	0	true
5	10	20	39	0	0	0	true
5	11	11	30	0	0	0	true
5	11	11	31	0	0	0	true
5	11	12	32	0	0	0	true
5	11	12	33	0	0	0	true
5	11	13	33	0	0	0	true
5	11	13	34	0	0	0	true
5	11	14	34	0	0	0	true
5	11	14	35	0	0	0	true
5	11	15	36	0	0	0	true
5	11	16	37	0	0	0	true
5	11	16	38	0	0	0	true
5	11	17	38	0	0	0	true
5	11	17	39	0	0	0	true
5	11	18	39	0	0	0	true
5	11	18	40	0	0	0	true
5	11	19	40	0	0	0	true
5	11	20	40	0	0	0	true
5	11	20	41	0	0	0	true
5	12	12	33	0	0	0	true
5	12	12	34	0	0	0	true
5	12	13	35	0	0	0	true
5	12	13	36	0	0	0	true
5	12	14	36	0	0	0	true
5	12	14	37	0	0	0	true
5	12	15	37	0	0	0	true
5	12	15	38	0	0	0	true
5	12	16	39	0	0	0	true
5	12	17	40	0	0	0	true
5	12	17	41	0	0	0	true
5	12	18	41	0	0	0	true
5	12	18	42	0	0	0	true
5	12	19	42	0	0	0	true
5	12	19	43	0	0	0	true
5	12	20	43	0	0	0	true
5	12	20	44	0	0	0	true
5	13	13	36	0	0	0	true
5	13	13	37	0	0	0	true
5	13	14	38	0	0	0	true
5	13	14	39	0	0	0	true
5	13	15	39	0	0	0	true
5	13	15	40	0	0	0	true
5	13	16	40	0	0	0	true
5	13	16	41	0	0	0	true
5	13	17	42	0	0	0	true
5	13	18	43	0	0	0	true
5	13	18	44	0	0	0	true
5	13	19	44	0	0	0	true
5	13	19	45	0	0	0	true
5	13	20	45	0	0	0	true
5	13	20	46	0	0	0	true
5	14	14	39	0	0	0	true
5	14	14	40	0	0	0	true
5	14	15	41	0	0	0	true
5	14	15	42	0	0	0	true
5	14	16	42	0	0	0	true
5	14	16	43	0	0	0	true
5	14	17	43	0	0	0	true
5	14	17	44	0	0	0	true
5	14	18	45	0	0	0	true
5	14	19	46	0	0	0	true
5	14	19	47	0	0	0	true
5	14	20	47	0	0	0	true
5	14	20	48	0	0	0	true
5	15	15	42	0	0	0	true
5	15	15	43	0	0	0	true
5	15	16	44	0	0	0	true
5	15	16	45	0	0	0	true
5	15	17	45	0	0	0	true
5	15	17	46	0	0	0	true
5	15	18	46	0	0	0	true
5	15	18	47	0	0	0	true
5	15	19	48	0	0	0	true
5	15	20	49	0	0	0	true
5	15	20	50	0	0	0	true
5	16	16	45	0	0	0	true
5	16	16	46	0	0	0	true
5	16	17	47	0	0	0	true
5	16	17	48	0	0	0	true
5	16	18	48	0	0	0	true
5	16	18	49	0	0	0	true
5	16	19	49	0	0	0	true
5	16	19	50	0	0	0	true
5	16	20	51	0	0	0	true
5	17	17	48	0	0	0	true
5	17	17	49	0	0	0	true
5	17	18	50	0	0	0	true
5	17	18	51	0	0	0	true
5	17	19	51	0	0	0	true
5	17	19	52	0	0	0	true
5	17	20	52	0	0	0	true
5	17	20	53	0	0	0	true
5	18	18	51	0	0	0	true
5	18	18	52	0	0	0	true
5	18	19	53	0	0	0	irreducible
5	18	19	54	0	0	0	true
5	18	20	54	0	0	0	true
5	18	20	55	0	0	0	true
5	19	19	54	0	0	0	true
5	19	19	55	0	0	0	true
5	19	20	56	0	0	0	true
5	20	20	57	0	0	0	true
5	20	20	58	0	0	0	true
6	6	6	18	0	0	0	irreducible
6	6	6	19	0	0	0	true
6	6	7	19	0	0	0	true
6	6	7	20	0	0	0	true
6	6	8	21	0	0	0	true
6	6	9	22	0	0	0	true
6	6	9	23	0	0	0	true
6	6	10	23	0	0	0	true
6	6	10	24	0	0	0	true
6	6	11	24	0	0	0	true
6	6	11	25	0	0	0	true
6	6	12	25	0	0	0	true
6	6	12	26	0	0	0	true
6	6	13	26	0	0	0	true
6	6	13	27	0	0	0	true
6	6	14	27	0	0	0	true
6	6	14	28	0	0	0	true
6	6	15	28	0	0	0	true
6	6	16	28	0	0	0	true
6	6	16	29	0	0	0	true
6	6	17	29	0	0	0	true
6	6	17	30	0	0	0	true
6	6	18	30	0	0	0	false
6	6	18	31	0	0	0	true
6	6	19	30	0	0	0	true
6	6	19	31	0	0	0	true
6	6	20	31	0	0	0	true
6	6	20	32	0	0	0	true
6	7	7	21	0	0	0	true
6	7	7	22	0	0	0	true
6	7	8	22	0	0	0	true
6	7	8	23	0	0	0	irreducible
6	7	9	24	0	0	0	true
6	7	9	25	0	0	0	true
6	7	10	25	0	0	0	true
6	7	10	26	0	0	0	true
6	7	11	26	0	0	0	true
6	7	11	27	0	0	0	true
6	7	12	28	0	0	0	true
6	7	13	29	0	0	0	irreducible
6	7	13	30	0	0	0	true
6	7	14	30	0	0	0	true
6	7	15	30	0	0	0	true
6	7	15	31	0	0	0	true
6	7	16	31	0	0	0	true
6	7	16	32	0	0	0	true
6	7	17	32	0	0	0	true
6	7	17	33	0	0	0	true
6	7	18	33	0	0	0	true
6	7	18	34	0	0	0	true
6	7	19	33	0	0	0	true
6	7	19	34	0	0	0	true
6	7	20	34	0	0	0	true
6	7	20	35	0	0	0	true
6	8	8	24	0	0	0	true
6	8	8	25	0	0	0	true
6	8	9	26	0	0	0	true
6	8	9	27	0	0	0	true
6	8	10	27	0	0	0	true
6	8	10	28	0	0	0	true
6	8	11	29	0	0	0	true
6	8	11	30	0	0	0	true
6	8	12	30	0	0	0	true
6	8	12	31	0	0	0	true
6	8	13	31	0	0	0	true
6	8	13	32	0	0	0	true
6	8	14	32	0	0	0	true
6	8	14	33	0	0	0	true
6	8	15	33	0	0	0	true
6	8	15	34	0	0	0	true
6	8	16	34	0	0	0	true
6	8	16	35	0	0	0	true
6	8	17	35	0	0	0	true
6	8	17	36	0	0	0	true
6	8	18	36	0	0	0	true
6	8	18	37	0	0	0	true
6	8	19	37	0	0	0	true
6	8	19	38	0	0	0	true
6	8	20	37	0	0	0	true
6	8	20	38	0	0	0	true
6	9	9	28	0	0	0	true
6	9	10	29	0	0	0	true
6	9	10	30	0	0	0	true
6	9	11	31	0	0	0	true
6	9	11	32	0	0	0	true
6	9	12	32	0	0	0	true
6	9	12	33	0	0	0	true
6	9	13	33	0	0	0	true
6	9	13	34	0	0	0	true
6	9	14	35	0	0	0	true
6	9	15	36	0	0	0	true
6	9	15	37	0	0	0	true
6	9	16	37	0	0	0	true
6	9	16	38	0	0	0	true
6	9	17	38	0	0	0	true
6	9	17	39	0	0	0	true
6	9	18	39	0	0	0	true
6	9	18	40	0	0	0	true
6	9	19	40	0	0	0	true
6	9	20	40	0	0	0	true
6	9	20	41	0	0	0	true
6	10	10	31	0	0	0	true
6	10	10	32	0	0	0	true
6	10	11	33	0	0	0	true
6	10	12	34	0	0	0	true
6	10	12	35	0	0	0	true
6	10	13	35	0	0	0	true
6	10	13	36	0	0	0	true
6	10	14	37	0	0	0	true
6	10	14	38	0	0	0	true
6	10	15	38	0	0	0	true
6	10	15	39	0	0	0	true
6	10	16	39	0	0	0	true
6	10	16	40	0	0	0	true
6	10	17	40	0	0	0	true
6	10	17	41	0	0	0	true
6	10	18	41	0	0	0	true
6	10	18	42	0	0	0	true
6	10	19	42	0	0	0	true
6	10	19	43	0	0	0	true
6	10	20	43	0	0	0	true
6	10	20	44	0	0	0	true
6	11	11	34	0	0	0	true
6	11	11	35	0	0	0	true
6	11	12	36	0	0	0	true
6	11	12	37	0	0	0	true
6	11	13	37	0	0	0	true
6	11	13	38	0	0	0	true
6	11	14	39	0	0	0	true
6	11	14	40	0	0	0	true
6	11	15	40	0	0	0	true
6	11	15	41	0	0	0	true
6	11	16	42	0	0	0	true
6	11	17	43	0	0	0	true
6	11	17	44	0	0	0	true
6	11	18	44	0	0	0	true
6	11	18	45	0	0	0	true
6	11	19	45	0	0	0	true
6	11	19	46	0	0	0	true
6	11	20	46	0	0	0	true
6	11	20	47	0	0	0	true
6	12	12	38	0	0	0	irreducible
6	12	12	39	0	0	0	true
6	12	13	39	0	0	0	true
6	12	13	40	0	0	0	true
6	12	14	41	0	0	0	true
6	12	14	42	0	0	0	true
6	12	15	42	0	0	0	true
6	12	15	43	0	0	0	true
6	12	16	44	0	0	0	true
6	12	16	45	0	0	0	true
6	12	17	45	0	0	0	true
6	12	17	46	0	0	0	true
6	12	18	46	0	0	0	true
6	12	18	47	0	0	0	true
6	12	19	47	0	0	0	true
6	12	19	48	0	0	0	true
6	12	20	49	0	0	0	true
6	13	13	41	0	0	0	true
6	13	13	42	0	0	0	true
6	13	14	43	0	0	0	true
6	13	14	44	0	0	0	true
6	13	15	44	0	0	0	true
6	13	15	45	0	0	0	true
6	13	16	46	0	0	0	true
6	13	16	47	0	0	0	true
6	13	17	47	0	0	0	true
6	13	17	48	0	0	0	true
6	13	18	49	0	0	0	true
6	13	19	50	0	0	0	true
6	13	19	51	0	0	0	true
6	13	20	51	0	0	0	true
6	13	20	52	0	0	0	true
6	14	14	45	0	0	0	true
6	14	15	46	0	0	0	true
6	14	15	47	0	0	0	true
6	14	16	48	0	0	0	true
6	14	16	49	0	0	0	true
6	14	17	49	0	0	0	true
6	14	17	50	0	0	0	true
6	14	18	51	0	0	0	true
6	14	18	52	0	0	0	true
6	14	19	52	0	0	0	true
6	14	19	53	0	0	0	true
6	14	20	53	0	0	0	true
6	14	20	54	0	0	0	true
6	15	15	48	0	0	0	true
6	15	15	49	0	0	0	true
6	15	16	50	0	0	0	true
6	15	16	51	0	0	0	true
6	15	17	51	0	0	0	true
6	15	17	52	0	0	0	true
6	15	18	53	0	0	0	true
6	15	18	54	0	0	0	true
6	15	19	54	0	0	0	true
6	15	19	55	0	0	0	true
6	15	20	56	0	0	0	true
6	16	16	51	0	0	0	true
6	16	16	52	0	0	0	irreducible
6	16	17	53	0	0	0	true
6	16	17	54	0	0	0	true
6	16	18	55	0	0	0	true
6	16	18	56	0	0	0	true
6	16	19	56	0	0	0	true
6	16	19	57	0	0	0	true
6	16	20	58	0	0	0	true
6	16	20	59	0	0	0	true
6	17	17	55	0	0	0	true
6	17	17	56	0	0	0	true
6	17	18	57	0	0	0	true
6	17	19	58	0	0	0	true
6	17	19	59	0	0	0	true
6	17	20	60	0	0	0	true
6	17	20	61	0	0	0	true
6	18	18	58	0	0	0	true
6	18	18	59	0	0	0	true
6	18	19	60	0	0	0	true
6	18	19	61	0	0	0	true
6	18	20	62	0	0	0	true
6	18	20	63	0	0	0	true
6	19	19	62	0	0	0	true
6	19	19	63	0	0	0	true
6	19	20	63	0	0	0	true
6	19	20	64	0	0	0	true
6	20	20	65	0	0	0	true
6	20	20	66	0	0	0	true
7	7	7	23	0	0	0	irreducible
7	7	7	24	0	0	0	true
7	7	8	25	0	0	0	irreducible
7	7	8	26	0	0	0	true
7	7	9	26	0	0	0	true
7	7	9	27	0	0	0	true
7	7	10	28	0	0	0	true
7	7	10	29	0	0	0	true
7	7	11	29	0	0	0	true
7	7	11	30	0	0	0	true
7	7	12	30	0	0	0	true
7	7	12	31	0	0	0	true
7	7	13	32	0	0	0	true
7	7	14	33	0	0	0	true
7	7	14	34	0	0	0	true
7	7	15	34	0	0	0	true
7	7	15	35	0	0	0	true
7	7	16	35	0	0	0	true
7	7	16	36	0	0	0	true
7	7	17	36	0	0	0	true
7	7	18	36	0	0	0	true
7	7	18	37	0	0	0	true
7	7	19	37	0	0	0	true
7	7	19	38	0	0	0	true
7	7	20	38	0	0	0	true
7	7	20	39	0	0	0	true
7	8	8	27	0	0	0	true
7	8	9	28	0	0	0	true
7	8	9	29	0	0	0	true
7	8	10	30	0	0	0	true
7	8	10	31	0	0	0	true
7	8	11	32	0	0	0	true
7	8	12	33	0	0	0	true
7	8	12	34	0	0	0	true
7	8	13	34	0	0	0	true
7	8	13	35	0	0	0	true
7	8	14	36	0	0	0	true
7	8	15	37	0	0	0	true
7	8	15	38	0	0	0	true
7	8	16	38	0	0	0	true
7	8	16	39	0	0	0	true
7	8	17	39	0	0	0	true
7	8	17	40	0	0	0	true
7	8	18	40	0	0	0	true
7	8	18	41	0	0	0	true
7	8	19	41	0	0	0	true
7	8	19	42	0	0	0	true
7	8	20	42	0	0	0	true
7	9	9	30	0	0	0	true
7	9	9	31	0	0	0	true
7	9	10	32	0	0	0	true
7	9	10	33	0	0	0	true
7	9	11	34	0	0	0	true
7	9	11	35	0	0	0	true
7	9	12	35	0	0	0	true
7	9	12	36	0	0	0	true
7	9	13	37	0	0	0	true
7	9	13	38	0	0	0	true
7	9	14	38	0	0	0	true
7	9	14	39	0	0	0	true
7	9	15	40	0	0	0	true
7	9	16	41	0	0	0	true
7	9	16	42	0	0	0	true
7	9	17	42	0	0	0	true
7	9	17	43	0	0	0	true
7	9	18	43	0	0	0	true
7	9	18	44	0	0	0	true
7	9	19	44	0	0	0	true
7	9	19	45	0	0	0	true
7	9	20	45	0	0	0	true
7	9	20	46	0	0	0	true
7	10	10	34	0	0	0	true
7	10	10	35	0	0	0	true
7	10	11	36	0	0	0	true
7	10	11	37	0	0	0	true
7	10	12	38	0	0	0	true
7	10	12	39	0	0	0	true
7	10	13	39	0	0	0	true
7	10	13	40	0	0	0	true
7	10	14	41	0	0	0	true
7	10	14	42	0	0	0	true
7	10	15	42	0	0	0	true
7	10	15	43	0	0	0	true
7	10	16	44	0	0	0	true
7	10	17	45	0	0	0	true
7	10	17	46	0	0	0	true
7	10	18	46	0	0	0	true
7	10	18	47	0	0	0	true
7	10	19	47	0	0	0	true
7	10	19	48	0	0	0	true
7	10	20	48	0	0	0	true
7	10	20	49	0	0	0	true
7	11	11	38	0	0	0	true
7	11	11	39	0	0	0	true
7	11	12	40	0	0	0	true
7	11	12	41	0	0	0	true
7	11	13	42	0	0	0	true
7	11	14	43	0	0	0	true
7	11	14	44	0	0	0	true
7	11	15	45	0	0	0	true
7	11	15	46	0	0	0	true
7	11	16	46	0	0	0	true
7	11	16	47	0	0	0	true
7	11	17	48	0	0	0	true
7	11	18	49	0	0	0	true
7	11	18	50	0	0	0	true
7	11	19	50	0	0	0	true
7	11	19	51	0	0	0	true
7	11	20	51	0	0	0	true
7	11	20	52	0	0	0	true
7	12	12	42	0	0	0	true
7	12	12	43	0	0	0	true
7	12	13	44	0	0	0	true
7	12	13	45	0	0	0	true
7	12	14	45	0	0	0	true
7	12	14	46	0	0	0	true
7	12	15	47	0	0	0	true
7	12	15	48	0	0	0	true
7	12	16	49	0	0	0	true
7	12	16	50	0	0	0	true
7	12	17	50	0	0	0	true
7	12	17	51	0	0	0	true
7	12	18	52	0	0	0	true
7	12	19	53	0	0	0	true
7	12	19	54	0	0	0	true
7	12	20	54	0	0	0	true
7	12	20	55	0	0	0	true
7	13	13	46	0	0	0	true
7	13	13	47	0	0	0	true
7	13	14	48	0	0	0	true
7	13	15	49	0	0	0	true
7	13	15	50	0	0	0	true
7	13	16	51	0	0	0	true
7	13	16	52	0	0	0	true
7	13	17	53	0	0	0	irreducible
7	13	17	54	0	0	0	true
7	13	18	54	0	0	0	true
7	13	18	55	0	0	0	true
7	13	19	56	0	0	0	true
7	13	20	57	0	0	0	true
7	13	20	58	0	0	0	true
7	14	14	50	0	0	0	true
7	14	15	51	0	0	0	true
7	14	15	52	0	0	0	true
7	14	16	53	0	0	0	true
7	14	16	54	0	0	0	true
7	14	17	55	0	0	0	true
7	14	17	56	0	0	0	true
7	14	18	57	0	0	0	true
7	14	19	58	0	0	0	true
7	14	19	59	0	0	0	true
7	14	20	60	0	0	0	true
7	15	15	53	0	0	0	true
7	15	15	54	0	0	0	true
7	15	16	55	0	0	0	true
7	15	16	56	0	0	0	true
7	15	17	57	0	0	0	true
7	15	17	58	0	0	0	true
7	15	18	59	0	0	0	true
7	15	18	60	0	0	0	true
7	15	19	60	0	0	0	true
7	15	19	61	0	0	0	irreducible
7	15	20	62	0	0	0	true
7	15	20	63	0	0	0	true
7	16	16	57	0	0	0	true
7	16	16	58	0	0	0	true
7	16	17	59	0	0	0	true
7	16	17	60	0	0	0	true
7	16	18	61	0	0	0	true
7	16	18	62	0	0	0	true
7	16	19	63	0	0	0	true
7	16	19	64	0	0	0	true
7	16	20	64	0	0	0	true
7	16	20	65	0	0	0	true
7	17	17	61	0	0	0	true
7	17	17	62	0	0	0	true
7	17	18	63	0	0	0	true
7	17	18	64	0	0	0	true
7	17	19	65	0	0	0	true
7	17	19	66	0	0	0	true
7	17	20	67	0	0	0	true
7	17	20	68	0	0	0	true
7	18	18	65	0	0	0	true
7	18	18	66	0	0	0	true
7	18	19	67	0	0	0	true
7	18	19	68	0	0	0	true
7	18	20	69	0	0	0	true
7	18	20	70	0	0	0	true
7	19	19	69	0	0	0	true
7	19	19	70	0	0	0	true
7	19	20	71	0	0	0	true
7	19	20	72	0	0	0	true
7	20	20	73	0	0	0	true
7	20	20	74	0	0	0	true
8	8	8	29	0	0	0	true
8	8	8	30	0	0	0	true
8	8	9	31	0	0	0	true
8	8	9	32	0	0	0	true
8	8	10	33	0	0	0	true
8	8	11	34	0	0	0	true
8	8	11	35	0	0	0	true
8	8	12	36	0	0	0	true
8	8	12	37	0	0	0	true
8	8	13	37	0	0	0	true
8	8	13	38	0	0	0	true
8	8	14	39	0	0	0	true
8	8	14	40	0	0	0	true
8	8	15	40	0	0	0	true
8	8	15	41	0	0	0	true
8	8	16	41	0	0	0	true
8	8	16	42	0	0	0	true
8	8	17	42	0	0	0	true
8	8	17	43	0	0	0	true
8	8	18	43	0	0	0	true
8	8	18	44	0	0	0	false
8	8	19	45	0	0	0	true
8	8	20	45	0	0	0	true
8	8	20	46	0	0	0	true
8	9	9	33	0	0	0	true
8	9	9	34	0	0	0	true
8	9	10	35	0	0	0	true
8	9	10	36	0	0	0	true
8	9	11	37	0	0	0	true
8	9	11	38	0	0	0	true
8	9	12	39	0	0	0	true
8	9	13	40	0	0	0	true
8	9	13	41	0	0	0	true
8	9	14	42	0	0	0	true
8	9	14	43	0	0	0	true
8	9	15	43	0	0	0	true
8	9	15	44	0	0	0	true
8	9	16	45	0	0	0	true
8	9	17	46	0	0	0	true
8	9	17	47	0	0	0	true
8	9	18	47	0	0	0	true
8	9	18	48	0	0	0	true
8	9	19	48	0	0	0	true
8	9	19	49	0	0	0	true
8	9	20	49	0	0	0	true
8	9	20	50	0	0	0	true
8	10	10	37	0	0	0	true
8	10	10	38	0	0	0	true
8	10	11	39	0	0	0	true
8	10	11	40	0	0	0	true
8	10	12	41	0	0	0	true
8	10	12	42	0	0	0	true
8	10	13	43	0	0	0	true
8	10	13	44	0	0	0	true
8	10	14	45	0	0	0	true
8	10	15	46	0	0	0	true
8	10	15	47	0	0	0	true
8	10	16	48	0	0	0	true
8	10	16	49	0	0	0	true
8	10	17	49	0	0	0	true
8	10	17	50	0	0	0	true
8	10	18	50	0	0	0	true
8	10	18	51	0	0	0	true
8	10	19	52	0	0	0	true
8	10	19	53	0	0	0	true
8	10	20	53	0	0	0	true
8	10	20	54	0	0	0	true
8	11	11	41	0	0	0	true
8	11	11	42	0	0	0	true
8	11	12	43	0	0	0	true
8	11	12	44	0	0	0	true
8	11	13	45	0	0	0	true
8	11	13	46	0	0	0	true
8	11	14	47	0	0	0	true
8	11	14	48	0	0	0	true
8	11	15	49	0	0	0	true
8	11	15	50	0	0	0	true
8	11	16	51	0	0	0	true
8	11	17	52	0	0	0	true
8	11	17	53	0	0	0	true
8	11	18	54	0	0	0	true
8	11	19	55	0	0	0	true
8	11	19	56	0	0	0	true
8	11	20	56	0	0	0	true
8	11	20	57	0	0	0	true
8	12	12	46	0	0	0	true
8	12	12	47	0	0	0	true
8	12	13	48	0	0	0	true
8	12	13	49	0	0	0	true
8	12	14	50	0	0	0	true
8	12	14	51	0	0	0	true
8	12	15	52	0	0	0	true
8	12	16	53	0	0	0	true
8	12	16	54	0	0	0	true
8	12	17	55	0	0	0	true
8	12	17	56	0	0	0	true
8	12	18	57	0	0	0	true
8	12	19	58	0	0	0	true
8	12	19	59	0	0	0	true
8	12	20	59	0	0	0	true
8	12	20	60	0	0	0	true
8	13	13	50	0	0	0	true
8	13	13	51	0	0	0	true
8	13	14	52	0	0	0	true
8	13	14	53	0	0	0	true
8	13	15	54	0	0	0	true
8	13	15	55	0	0	0	true
8	13	16	56	0	0	0	true
8	13	16	57	0	0	0	true
8	13	17	58	0	0	0	true
8	13	17	59	0	0	0	true
8	13	18	59	0	0	0	true
8	13	18	60	0	0	0	true
8	13	19	61	0	0	0	true
8	13	19	62	0	0	0	true
8	13	20	63	0	0	0	true
8	14	14	54	0	0	0	true
8	14	14	55	0	0	0	true
8	14	15	56	0	0	0	true
8	14	15	57	0	0	0	true
8	14	16	58	0	0	0	true
8	14	16	59	0	0	0	true
8	14	17	60	0	0	0	true
8	14	17	61	0	0	0	true
8	14	18	62	0	0	0	true
8	14	18	63	0	0	0	true
8	14	19	64	0	0	0	true
8	14	19	65	0	0	0	true
8	14	20	65	0	0	0	true
8	14	20	66	0	0	0	true
8	15	15	59	0	0	0	true
8	15	15	60	0	0	0	true
8	15	16	61	0	0	0	true
8	15	16	62	0	0	0	true
8	15	17	63	0	0	0	true
8	15	17	64	0	0	0	true
8	15	18	65	0	0	0	true
8	15	18	66	0	0	0	true
8	15	19	66	0	0	0	true
8	15	19	67	0	0	0	irreducible
8	15	20	68	0	0	0	true
8	15	20	69	0	0	0	true
8	16	16	63	0	0	0	true
8	16	16	64	0	0	0	true
8	16	17	65	0	0	0	true
8	16	17	66	0	0	0	true
8	16	18	67	0	0	0	true
8	16	18	68	0	0	0	true
8	16	19	69	0	0	0	true
8	16	19	70	0	0	0	true
8	16	20	71	0	0	0	true
8	16	20	72	0	0	0	true
8	17	17	67	0	0	0	true
8	17	17	68	0	0	0	true
8	17	18	69	0	0	0	true
8	17	18	70	0	0	0	true
8	17	19	72	0	0	0	true
8	17	20	73	0	0	0	true
8	17	20	74	0	0	0	true
8	18	18	72	0	0	0	true
8	18	18	73	0	0	0	true
8	18	19	74	0	0	0	true
8	18	19	75	0	0	0	true
8	18	20	76	0	0	0	true
8	18	20	77	0	0	0	true
8	19	19	76	0	0	0	true
8	19	19	77	0	0	0	true
8	19	20	78	0	0	0	true
8	19	20	79	0	0	0	true
8	20	20	81	0	0	0	true
9	9	9	35	0	0	0	true
9	9	9	36	0	0	0	true
9	9	10	37	0	0	0	true
9	9	10	38	0	0	0	true
9	9	11	40	0	0	0	true
9	9	12	41	0	0	0	true
9	9	12	42	0	0	0	true
9	9	13	43	0	0	0	true
9	9	13	44	0	0	0	true
9	9	14	45	0	0	0	true
9	9	14	46	0	0	0	true
9	9	15	47	0	0	0	irreducible
9	9	15	48	0	0	0	true
9	9	16	48	0	0	0	true
9	9	16	49	0	0	0	true
9	9	17	50	0	0	0	true
9	9	18	51	0	0	0	true
9	9	18	52	0	0	0	true
9	9	19	52	0	0	0	true
9	9	19	53	0	0	0	true
9	9	20	53	0	0	0	true
9	9	20	54	0	0	0	true
9	10	10	40	0	0	0	true
9	10	10	41	0	0	0	true
9	10	11	42	0	0	0	true
9	10	11	43	0	0	0	true
9	10	12	44	0	0	0	true
9	10	12	45	0	0	0	true
9	10	13	46	0	0	0	true
9	10	13	47	0	0	0	true
9	10	14	48	0	0	0	true
9	10	14	49	0	0	0	true
9	10	15	50	0	0	0	true
9	10	15	51	0	0	0	true
9	10	16	51	0	0	0	true
9	10	16	52	0	0	0	true
9	10	17	53	0	0	0	true
9	10	17	54	0	0	0	true
9	10	18	55	0	0	0	true
9	10	19	56	0	0	0	true
9	10	19	57	0	0	0	true
9	10	20	57	0	0	0	true
9	10	20	58	0	0	0	true
9	11	11	45	0	0	0	true
9	11	12	47	0	0	0	true
9	11	12	48	0	0	0	true
9	11	13	49	0	0	0	true
9	11	13	50	0	0	0	true
9	11	14	51	0	0	0	true
9	11	14	52	0	0	0	true
9	11	15	53	0	0	0	true
9	11	15	54	0	0	0	true
9	11	16	55	0	0	0	true
9	11	16	56	0	0	0	true
9	11	17	56	0	0	0	true
9	11	17	57	0	0	0	true
9	11	18	58	0	0	0	true
9	11	18	59	0	0	0	true
9	11	19	60	0	0	0	true
9	11	20	61	0	0	0	true
9	11	20	62	0	0	0	true
9	12	12	49	0	0	0	true
9	12	12	50	0	0	0	true
9	12	13	52	0	0	0	true
9	12	14	54	0	0	0	true
9	12	14	55	0	0	0	true
9	12	15	56	0	0	0	true
9	12	15	57	0	0	0	true
9	12	16	58	0	0	0	true
9	12	16	59	0	0	0	true
9	12	17	60	0	0	0	true
9	12	18	61	0	0	0	true
9	12	18	62	0	0	0	true
9	12	19	63	0	0	0	true
9	12	19	64	0	0	0	true
9	12	20	65	0	0	0	true
9	13	13	54	0	0	0	true
9	13	13	55	0	0	0	true
9	13	14	56	0	0	0	true
9	13	14	57	0	0	0	true
9	13	15	58	0	0	0	true
9	13	15	59	0	0	0	irreducible
9	13	16	61	0	0	0	irreducible
9	13	16	62	0	0	0	true
9	13	17	63	0	0	0	true
9	13	18	64	0	0	0	true
9	13	18	65	0	0	0	true
9	13	19	66	0	0	0	true
9	13	19	67	0	0	0	true
9	13	20	68	0	0	0	true
9	13	20	69	0	0	0	true
9	14	14	59	0	0	0	irreducible
9	14	14	60	0	0	0	true
9	14	15	61	0	0	0	true
9	14	15	62	0	0	0	true
9	14	16	63	0	0	0	true
9	14	16	64	0	0	0	true
9	14	17	65	0	0	0	true
9	14	17	66	0	0	0	true
9	14	18	67	0	0	0	true
9	14	18	68	0	0	0	true
9	14	19	69	0	0	0	true
9	14	19	70	0	0	0	true
9	14	20	71	0	0	0	true
9	14	20	72	0	0	0	true
9	15	15	64	0	0	0	true
9	15	16	66	0	0	0	true
9	15	16	67	0	0	0	true
9	15	17	68	0	0	0	true
9	15	17	69	0	0	0	true
9	15	18	70	0	0	0	true
9	15	18	71	0	0	0	true
9	15	19	72	0	0	0	true
9	15	19	73	0	0	0	true
9	15	20	74	0	0	0	true
9	15	20	75	0	0	0	true
9	16	16	68	0	0	0	true
9	16	16	69	0	0	0	true
9	16	17	71	0	0	0	true
9	16	17	72	0	0	0	true
9	16	18	73	0	0	0	true
9	16	18	74	0	0	0	true
9	16	19	75	0	0	0	true
9	16	19	76	0	0	0	true
9	16	20	77	0	0	0	true
9	16	20	78	0	0	0	true
9	17	17	73	0	0	0	true
9	17	17	74	0	0	0	true
9	17	18	76	0	0	0	true
9	17	19	78	0	0	0	true
9	17	19	79	0	0	0	true
9	17	20	80	0	0	0	true
9	17	20	81	0	0	0	true
9	18	18	78	0	0	0	true
9	18	18	79	0	0	0	true
9	18	19	80	0	0	0	true
9	18	19	81	0	0	0	true
9	18	20	83	0	0	0	true
9	18	20	84	0	0	0	true
9	19	19	83	0	0	0	true
9	19	19	84	0	0	0	true
9	19	20	85	0	0	0	true
9	19	20	86	0	0	0	true
9	20	20	88	0	0	0	true
9	20	20	89	0	0	0	true
10	10	10	42	0	0	0	true
10	10	10	43	0	0	0	irreducible
10	10	11	45	0	0	0	true
10	10	11	46	0	0	0	true
10	10	12	47	0	0	0	true
10	10	12	48	0	0	0	true
10	10	13	49	0	0	0	true
10	10	13	50	0	0	0	true
10	10	14	51	0	0	0	true
10	10	14	52	0	0	0	true
10	10	15	53	0	0	0	true
10	10	15	54	0	0	0	true
10	10	16	55	0	0	0	true
10	10	16	56	0	0	0	true
10	10	17	57	0	0	0	true
10	10	17	58	0	0	0	true
10	10	18	58	0	0	0	true
10	10	18	59	0	0	0	true
10	10	19	60	0	0	0	true
10	10	19	61	0	0	0	true
10	10	20	61	0	0	0	true
10	10	20	62	0	0	0	irreducible
10	11	11	48	0	0	0	true
10	11	12	50	0	0	0	true
10	11	12	51	0	0	0	true
10	11	13	52	0	0	0	true
10	11	13	53	0	0	0	true
10	11	14	55	0	0	0	true
10	11	15	57	0	0	0	true
10	11	15	58	0	0	0	true
10	11	16	59	0	0	0	irreducible
10	11	16	60	0	0	0	true
10	11	17	60	0	0	0	true
10	11	17	61	0	0	0	true
10	11	18	62	0	0	0	true
10	11	18	63	0	0	0	true
10	11	19	64	0	0	0	true
10	11	19	65	0	0	0	true
10	11	20	66	0	0	0	true
10	12	12	53	0	0	0	true
10	12	12	54	0	0	0	true
10	12	13	55	0	0	0	true
10	12	13	56	0	0	0	true
10	12	14	57	0	0	0	true
10	12	14	58	0	0	0	irreducible
10	12	15	60	0	0	0	true
10	12	15	61	0	0	0	true
10	12	16	62	0	0	0	true
10	12	16	63	0	0	0	true
10	12	17	64	0	0	0	true
10	12	17	65	0	0	0	true
10	12	18	66	0	0	0	true
10	12	18	67	0	0	0	true
10	12	19	68	0	0	0	true
10	12	19	69	0	0	0	true
10	12	20	69	0	0	0	true
10	12	20	70	0	0	0	true
10	13	13	58	0	0	0	true
10	13	13	59	0	0	0	true
10	13	14	60	0	0	0	true
10	13	14	61	0	0	0	true
10	13	15	63	0	0	0	true
10	13	15	64	0	0	0	true
10	13	16	65	0	0	0	true
10	13	16	66	0	0	0	true
10	13	17	67	0	0	0	true
10	13	17	68	0	0	0	true
10	13	18	69	0	0	0	true
10	13	18	70	0	0	0	true
10	13	19	71	0	0	0	true
10	13	19	72	0	0	0	true
10	13	20	73	0	0	0	true
10	13	20	74	0	0	0	true
10	14	14	63	0	0	0	true
10	14	14	64	0	0	0	true
10	14	15	66	0	0	0	true
10	14	16	68	0	0	0	true
10	14	16	69	0	0	0	true
10	14	17	70	0	0	0	true
10	14	17	71	0	0	0	true
10	14	18	72	0	0	0	true
10	14	18	73	0	0	0	true
10	14	19	75	0	0	0	true
10	14	20	77	0	0	0	true
10	15	15	68	0	0	0	true
10	15	15	69	0	0	0	true
10	15	16	71	0	0	0	true
10	15	16	72	0	0	0	true
10	15	17	73	0	0	0	true
10	15	17	74	0	0	0	true
10	15	18	76	0	0	0	true
10	15	19	78	0	0	0	true
10	15	19	79	0	0	0	true
10	15	20	80	0	0	0	true
10	15	20	81	0	0	0	true
10	16	16	73	0	0	0	true
10	16	16	74	0	0	0	irreducible
10	16	17	76	0	0	0	true
10	16	17	77	0	0	0	true
10	16	18	78	0	0	0	true
10	16	18	79	0	0	0	true
10	16	19	81	0	0	0	true
10	16	19	82	0	0	0	true
10	16	20	83	0	0	0	true
10	16	20	84	0	0	0	true
10	17	17	79	0	0	0	true
10	17	17	80	0	0	0	true
10	17	18	81	0	0	0	true
10	17	18	82	0	0	0	true
10	17	19	84	0	0	0	true
10	17	19	85	0	0	0	true
10	17	20	86	0	0	0	true
10	17	20	87	0	0	0	true
10	18	18	84	0	0	0	true
10	18	18	85	0	0	0	true
10	18	19	87	0	0	0	true
10	18	19	88	0	0	0	true
10	18	20	89	0	0	0	true
10	18	20	90	0	0	0	true
10	19	19	89	0	0	0	true
10	19	19	90	0	0	0	true
10	19	20	92	0	0	0	true
10	19	20	93	0	0	0	true
10	20	20	95	0	0	0	true
10	20	20	96	0	0	0	true
11	11	11	50	0	0	0	true
11	11	11	51	0	0	0	true
11	11	12	53	0	0	0	true
11	11	12	54	0	0	0	true
11	11	13	56	0	0	0	true
11	11	14	58	0	0	0	true
11	11	14	59	0	0	0	true
11	11	15	60	0	0	0	true
11	11	15	61	0	0	0	true
11	11	16	62	0	0	0	true
11	11	16	63	0	0	0	true
11	11	17	64	0	0	0	true
11	11	17	65	0	0	0	true
11	11	18	66	0	0	0	true
11	11	18	67	0	0	0	true
11	11	19	68	0	0	0	true
11	11	19	69	0	0	0	true
11	11	20	70	0	0	0	true
11	11	20	71	0	0	0	true
11	12	12	56	0	0	0	true
11	12	12	57	0	0	0	true
11	12	13	59	0	0	0	irreducible
11	12	13	60	0	0	0	true
11	12	14	61	0	0	0	true
11	12	14	62	0	0	0	true
11	12	15	64	0	0	0	true
11	12	16	66	0	0	0	true
11	12	16	67	0	0	0	true
11	12	17	68	0	0	0	true
11	12	17	69	0	0	0	true
11	12	18	70	0	0	0	true
11	12	18	71	0	0	0	true
11	12	19	72	0	0	0	true
11	12	19	73	0	0	0	true
11	12	20	74	0	0	0	true
11	12	20	75	0	0	0	true
11	13	13	61	0	0	0	true
11	13	13	62	0	0	0	true
11	13	14	64	0	0	0	true
11	13	14	65	0	0	0	true
11	13	15	67	0	0	0	true
11	13	15	68	0	0	0	true
11	13	16	69	0	0	0	true
11	13	16	70	0	0	0	true
11	13	17	72	0	0	0	true
11	13	18	74	0	0	0	true
11	13	18	75	0	0	0	true
11	13	19	76	0	0	0	true
11	13	19	77	0	0	0	true
11	13	20	78	0	0	0	true
11	13	20	79	0	0	0	true
11	14	14	67	0	0	0	true
11	14	14	68	0	0	0	true
11	14	15	70	0	0	0	true
11	14	15	71	0	0	0	true
11	14	16	72	0	0	0	true
11	14	16	73	0	0	0	true
11	14	17	75	0	0	0	true
11	14	17	76	0	0	0	true
11	14	18	77	0	0	0	true
11	14	18	78	0	0	0	true
11	14	19	80	0	0	0	true
11	14	20	82	0	0	0	true
11	14	20	83	0	0	0	true
11	15	15	73	0	0	0	true
11	15	15	74	0	0	0	true
11	15	16	75	0	0	0	true
11	15	16	76	0	0	0	true
11	15	17	78	0	0	0	true
11	15	17	79	0	0	0	true
11	15	18	81	0	0	0	true
11	15	18	82	0	0	0	true
11	15	19	83	0	0	0	true
11	15	19	84	0	0	0	true
11	15	20	85	0	0	0	true
11	15	20	86	0	0	0	true
11	16	16	78	0	0	0	true
11	16	16	79	0	0	0	true
11	16	17	81	0	0	0	true
11	16	17	82	0	0	0	true
11	16	18	84	0	0	0	true
11	16	18	85	0	0	0	true
11	16	19	86	0	0	0	true
11	16	19	87	0	0	0	true
11	16	20	89	0	0	0	true
11	16	20	90	0	0	0	true
11	17	17	84	0	0	0	true
11	17	17	85	0	0	0	true
11	17	18	87	0	0	0	true
11	17	18	88	0	0	0	true
11	17	19	90	0	0	0	true
11	17	20	92	0	0	0	true
11	17	20	93	0	0	0	true
11	18	18	90	0	0	0	true
11	18	18	91	0	0	0	true
11	18	19	93	0	0	0	true
11	18	19	94	0	0	0	true
11	18	20	95	0	0	0	true
11	18	20	96	0	0	0	true
11	19	19	96	0	0	0	true
11	19	20	98	0	0	0	true
11	19	20	99	0	0	0	true
11	20	20	101	0	0	0	true
11	20	20	102	0	0	0	true
12	12	12	59	0	0	0	true
12	12	12	60	0	0	0	true
12	12	13	62	0	0	0	true
12	12	13	63	0	0	0	true
12	12	14	65	0	0	0	true
12	12	15	67	0	0	0	true
12	12	15	68	0	0	0	true
12	12	16	70	0	0	0	true
12	12	16	71	0	0	0	true
12	12	17	72	0	0	0	true
12	12	17	73	0	0	0	true
12	12	18	74	0	0	0	true
12	12	18	75	0	0	0	true
12	12	19	76	0	0	0	true
12	12	19	77	0	0	0	true
12	12	20	78	0	0	0	true
12	12	20	79	0	0	0	true
12	13	13	65	0	0	0	true
12	13	13	66	0	0	0	true
12	13	14	68	0	0	0	true
12	13	14	69	0	0	0	true
12	13	15	71	0	0	0	irreducible
12	13	15	72	0	0	0	true
12	13	16	73	0	0	0	true
12	13	16	74	0	0	0	true
12	13	17	76	0	0	0	true
12	13	17	77	0	0	0	true
12	13	18	78	0	0	0	true
12	13	18	79	0	0	0	true
12	13	19	80	0	0	0	true
12	13	19	81	0	0	0	true
12	13	20	83	0	0	0	irreducible
12	13	20	84	0	0	0	true
12	14	14	71	0	0	0	true
12	14	14	72	0	0	0	true
12	14	15	74	0	0	0	true
12	14	15	75	0	0	0	true
12	14	16	77	0	0	0	true
12	14	16	78	0	0	0	true
12	14	17	79	0	0	0	true
12	14	17	80	0	0	0	true
12	14	18	82	0	0	0	true
12	14	18	83	0	0	0	true
12	14	19	84	0	0	0	true
12	14	19	85	0	0	0	true
12	14	20	87	0	0	0	true
12	14	20	88	0	0	0	true
12	15	15	77	0	0	0	true
12	15	15	78	0	0	0	true
12	15	16	80	0	0	0	true
12	15	16	81	0	0	0	true
12	15	17	83	0	0	0	true
12	15	17	84	0	0	0	true
12	15	18	85	0	0	0	true
12	15	18	86	0	0	0	true
12	15	19	88	0	0	0	true
12	15	19	89	0	0	0	true
12	15	20	91	0	0	0	true
12	16	16	83	0	0	0	true
12	16	16	84	0	0	0	true
12	16	17	86	0	0	0	true
12	16	17	87	0	0	0	true
12	16	18	89	0	0	0	true
12	16	18	90	0	0	0	true
12	16	19	92	0	0	0	true
12	16	19	93	0	0	0	true
12	16	20	94	0	0	0	true
12	16	20	95	0	0	0	true
12	17	17	89	0	0	0	true
12	17	17	90	0	0	0	true
12	17	18	92	0	0	0	true
12	17	18	93	0	0	0	true
12	17	19	95	0	0	0	true
12	17	19	96	0	0	0	true
12	17	20	98	0	0	0	true
12	17	20	99	0	0	0	true
12	18	18	95	0	0	0	true
12	18	18	96	0	0	0	true
12	18	19	98	0	0	0	true
12	18	19	99	0	0	0	true
12	18	20	101	0	0	0	true
12	18	20	102	0	0	0	true
12	19	19	101	0	0	0	true
12	19	19	102	0	0	0	true
12	19	20	105	0	0	0	true
12	20	20	108	0	0	0	true
12	20	20	109	0	0	0	true
13	13	13	68	0	0	0	true
13	13	13	69	0	0	0	true
13	13	14	71	0	0	0	true
13	13	14	72	0	0	0	true
13	13	15	74	0	0	0	true
13	13	15	75	0	0	0	true
13	13	16	77	0	0	0	true
13	13	16	78	0	0	0	true
13	13	17	80	0	0	0	true
13	13	17	81	0	0	0	true
13	13	18	82	0	0	0	true
13	13	18	83	0	0	0	true
13	13	19	85	0	0	0	true
13	13	19	86	0	0	0	true
13	13	20	87	0	0	0	true
13	13	20	88	0	0	0	true
13	14	14	75	0	0	0	true
13	14	15	78	0	0	0	true
13	14	15	79	0	0	0	true
13	14	16	81	0	0	0	true
13	14	16	82	0	0	0	true
13	14	17	84	0	0	0	true
13	14	18	86	0	0	0	true
13	14	18	87	0	0	0	true
13	14	19	89	0	0	0	true
13	14	19	90	0	0	0	true
13	14	20	91	0	0	0	true
13	14	20	92	0	0	0	true
13	15	15	81	0	0	0	true
13	15	15	82	0	0	0	true
13	15	16	84	0	0	0	true
13	15	16	85	0	0	0	true
13	15	17	87	0	0	0	true
13	15	17	88	0	0	0	true
13	15	18	90	0	0	0	true
13	15	18	91	0	0	0	true
13	15	19	93	0	0	0	true
13	15	19	94	0	0	0	true
13	15	20	96	0	0	0	true
13	16	16	87	0	0	0	true
13	16	16	88	0	0	0	true
13	16	17	91	0	0	0	true
13	16	17	92	0	0	0	true
13	16	18	94	0	0	0	true
13	16	18	95	0	0	0	true
13	16	19	97	0	0	0	true
13	16	19	98	0	0	0	true
13	16	20	99	0	0	0	true
13	16	20	100	0	0	0	true
13	17	17	94	0	0	0	true
13	17	17	95	0	0	0	true
13	17	18	97	0	0	0	true
13	17	18	98	0	0	0	true
13	17	19	100	0	0	0	true
13	17	19	101	0	0	0	true
13	17	20	103	0	0	0	true
13	17	20	104	0	0	0	true
13	18	18	101	0	0	0	true
13	18	18	102	0	0	0	true
13	18	19	104	0	0	0	true
13	18	19	105	0	0	0	true
13	18	20	107	0	0	0	true
13	18	20	108	0	0	0	true
13	19	19	107	0	0	0	true
13	19	19	108	0	0	0	true
13	19	20	110	0	0	0	true
13	19	20	111	0	0	0	true
13	20	20	114	0	0	0	true
13	20	20	115	0	0	0	true
14	14	14	78	0	0	0	true
14	14	14	79	0	0	0	true
14	14	15	81	0	0	0	true
14	14	15	82	0	0	0	true
14	14	16	85	0	0	0	true
14	14	17	88	0	0	0	true
14	14	17	89	0	0	0	true
14	14	18	90	0	0	0	true
14	14	18	91	0	0	0	true
14	14	19	93	0	0	0	true
14	14	19	94	0	0	0	true
14	14	20	96	0	0	0	true
14	14	20	97	0	0	0	true
14	15	15	85	0	0	0	true
14	15	15	86	0	0	0	true
14	15	16	88	0	0	0	true
14	15	16	89	0	0	0	true
14	15	17	91	0	0	0	true
14	15	17	92	0	0	0	true
14	15	18	95	0	0	0	true
14	15	19	97	0	0	0	true
14	15	19	98	0	0	0	true
14	15	20	100	0	0	0	true
14	15	20	101	0	0	0	true
14	16	16	92	0	0	0	true
14	16	16	93	0	0	0	true
14	16	17	95	0	0	0	true
14	16	17	96	0	0	0	true
14	16	18	98	0	0	0	true
14	16	18	99	0	0	0	true
14	16	19	102	0	0	0	true
14	16	20	105	0	0	0	true
14	17	17	99	0	0	0	true
14	17	17	100	0	0	0	true
14	17	18	102	0	0	0	true
14	17	18	103	0	0	0	true
14	17	19	105	0	0	0	true
14	17	19	106	0	0	0	true
14	17	20	109	0	0	0	irreducible
14	17	20	110	0	0	0	true
14	18	18	106	0	0	0	true
14	18	18	107	0	0	0	true
14	18	19	109	0	0	0	true
14	18	19	110	0	0	0	true
14	18	20	112	0	0	0	true
14	18	20	113	0	0	0	true
14	19	19	113	0	0	0	true
14	19	19	114	0	0	0	true
14	19	20	116	0	0	0	true
14	19	20	117	0	0	0	true
14	20	20	120	0	0	0	true
14	20	20	121	0	0	0	true
15	15	15	89	0	0	0	irreducible
15	15	15	90	0	0	0	true
15	15	16	92	0	0	0	true
15	15	16	93	0	0	0	true
15	15	17	96	0	0	0	true
15	15	18	99	0	0	0	true
15	15	18	100	0	0	0	true
15	15	19	102	0	0	0	true
15	15	19	103	0	0	0	true
15	15	20	105	0	0	0	true
15	15	20	106	0	0	0	true
15	16	16	96	0	0	0	true
15	16	16	97	0	0	0	true
15	16	17	99	0	0	0	true
15	16	17	100	0	0	0	true
15	16	18	103	0	0	0	true
15	16	18	104	0	0	0	true
15	16	19	106	0	0	0	true
15	16	19	107	0	0	0	true
15	16	20	109	0	0	0	true
15	16	20	110	0	0	0	true
15	17	17	103	0	0	0	true
15	17	17	104	0	0	0	true
15	17	18	107	0	0	0	true
15	17	18	108	0	0	0	true
15	17	19	110	0	0	0	true
15	17	19	111	0	0	0	true
15	17	20	114	0	0	0	true
15	17	20	115	0	0	0	true
15	18	18	111	0	0	0	true
15	18	18	112	0	0	0	true
15	18	19	114	0	0	0	true
15	18	19	115	0	0	0	true
15	18	20	118	0	0	0	true
15	18	20	119	0	0	0	true
15	19	19	118	0	0	0	true
15	19	19	119	0	0	0	true
15	19	20	122	0	0	0	true
15	19	20	123	0	0	0	true
15	20	20	126	0	0	0	true
16	16	16	100	0	0	0	true
16	16	16	101	0	0	0	true
16	16	17	104	0	0	0	true
16	16	17	105	0	0	0	true
16	16	18	107	0	0	0	true
16	16	18	108	0	0	0	true
16	16	19	111	0	0	0	true
16	16	19	112	0	0	0	true
16	16	20	114	0	0	0	true
16	16	20	115	0	0	0	true
16	17	17	108	0	0	0	true
16	17	18	111	0	0	0	true
16	17	18	112	0	0	0	true
16	17	19	115	0	0	0	true
16	17	19	116	0	0	0	true
16	17	20	119	0	0	0	true
16	18	18	115	0	0	0	true
16	18	18	116	0	0	0	true
16	18	19	119	0	0	0	true
16	18	19	120	0	0	0	true
16	18	20	123	0	0	0	true
16	18	20	124	0	0	0	true
16	19	19	123	0	0	0	true
16	19	19	124	0	0	0	true
16	19	20	127	0	0	0	true
16	19	20	128	0	0	0	true
16	20	20	131	0	0	0	true
16	20	20	132	0	0	0	true
17	17	17	112	0	0	0	true
17	17	17	113	0	0	0	true
17	17	18	116	0	0	0	true
17	17	18	117	0	0	0	true
17	17	19	120	0	0	0	true
17	17	20	123	0	0	0	true
17	17	20	124	0	0	0	true
17	18	18	120	0	0	0	true
17	18	18	121	0	0	0	true
17	18	19	124	0	0	0	true
17	18	19	125	0	0	0	true
17	18	20	128	0	0	0	true
17	18	20	129	0	0	0	true
17	19	19	128	0	0	0	true
17	19	19	129	0	0	0	true
17	19	20	132	0	0	0	true
17	19	20	133	0	0	0	true
17	20	20	136	0	0	0	true
17	20	20	137	0	0	0	true
18	18	18	124	0	0	0	true
18	18	18	125	0	0	0	true
18	18	19	128	0	0	0	true
18	18	19	129	0	0	0	true
18	18	20	133	0	0	0	true
18	19	19	133	0	0	0	true
18	19	19	134	0	0	0	true
18	19	20	137	0	0	0	true
18	19	20	138	0	0	0	true
18	20	20	142	0	0	0	irreducible
18	20	20	143	0	0	0	true
19	19	19	137	0	0	0	true
19	19	19	138	0	0	0	true
19	19	20	142	0	0	0	true
19	19	20	143	0	0	0	true
19	20	20	147	0	0	0	true
20	20	20	151	0	0	0	true
20	20	20	152	0	0	0	true