GraphColouring/instances/0023-graph_colouring-135-0.lp

137 edge(1,10).
138 edge(10,1).
139 edge(1,14).
140 edge(14,1).
141 edge(1,47).
142 edge(47,1).
143 edge(1,62).
144 edge(62,1).
145 edge(1,67).
146 edge(67,1).
147 edge(1,80).
148 edge(80,1).
149 edge(1,82).
150 edge(82,1).
151 edge(1,91).
152 edge(91,1).
153 edge(1,99).
154 edge(99,1).
155 edge(1,102).
156 edge(102,1).
157 edge(1,117).
158 edge(117,1).
159 edge(2,5).
160 edge(5,2).
161 edge(2,7).
162 edge(7,2).
163 edge(2,18).
164 edge(18,2).
165 edge(2,38).
166 edge(38,2).
167 edge(2,73).
168 edge(73,2).
169 edge(2,85).
170 edge(85,2).
171 edge(2,102).
172 edge(102,2).
173 edge(2,103).
174 edge(103,2).
175 edge(2,106).
176 edge(106,2).
177 edge(2,109).
178 edge(109,2).
179 edge(2,124).
180 edge(124,2).
181 edge(3,21).
182 edge(21,3).
183 edge(3,27).
184 edge(27,3).
185 edge(3,33).
186 edge(33,3).
187 edge(3,44).
188 edge(44,3).
189 edge(3,50).
190 edge(50,3).
191 edge(3,58).
192 edge(58,3).
193 edge(3,63).
194 edge(63,3).
195 edge(3,67).
196 edge(67,3).
197 edge(3,72).
198 edge(72,3).
199 edge(3,73).
200 edge(73,3).
201 edge(3,89).
202 edge(89,3).
203 edge(3,93).
204 edge(93,3).
205 edge(3,99).
206 edge(99,3).
207 edge(3,106).
208 edge(106,3).
209 edge(3,113).
210 edge(113,3).
211 edge(4,22).
212 edge(22,4).
213 edge(4,47).
214 edge(47,4).
215 edge(4,51).
216 edge(51,4).
217 edge(4,56).
218 edge(56,4).
219 edge(4,70).
220 edge(70,4).
221 edge(4,80).
222 edge(80,4).
223 edge(4,83).
224 edge(83,4).
225 edge(4,85).
226 edge(85,4).
227 edge(4,93).
228 edge(93,4).
229 edge(4,119).
230 edge(119,4).
231 edge(4,123).
232 edge(123,4).
233 edge(5,19).
234 edge(19,5).
235 edge(5,24).
236 edge(24,5).
237 edge(5,34).
238 edge(34,5).
239 edge(5,35).
240 edge(35,5).
241 edge(5,57).
242 edge(57,5).
243 edge(5,101).
244 edge(101,5).
245 edge(5,117).
246 edge(117,5).
247 edge(5,133).
248 edge(133,5).
249 edge(6,43).
250 edge(43,6).
251 edge(6,63).
252 edge(63,6).
253 edge(6,65).
254 edge(65,6).
255 edge(6,75).
256 edge(75,6).
257 edge(6,90).
258 edge(90,6).
259 edge(6,91).
260 edge(91,6).
261 edge(6,96).
262 edge(96,6).
263 edge(6,98).
264 edge(98,6).
265 edge(6,99).
266 edge(99,6).
267 edge(6,109).
268 edge(109,6).
269 edge(6,119).
270 edge(119,6).
271 edge(6,129).
272 edge(129,6).
273 edge(7,12).
274 edge(12,7).
275 edge(7,17).
276 edge(17,7).
277 edge(7,19).
278 edge(19,7).
279 edge(7,26).
280 edge(26,7).
281 edge(7,34).
282 edge(34,7).
283 edge(7,46).
284 edge(46,7).
285 edge(7,61).
286 edge(61,7).
287 edge(7,67).
288 edge(67,7).
289 edge(7,74).
290 edge(74,7).
291 edge(7,79).
292 edge(79,7).
293 edge(7,84).
294 edge(84,7).
295 edge(7,103).
296 edge(103,7).
297 edge(7,105).
298 edge(105,7).
299 edge(8,9).
300 edge(9,8).
301 edge(8,23).
302 edge(23,8).
303 edge(8,42).
304 edge(42,8).
305 edge(8,47).
306 edge(47,8).
307 edge(8,48).
308 edge(48,8).
309 edge(8,51).
310 edge(51,8).
311 edge(8,55).
312 edge(55,8).
313 edge(8,66).
314 edge(66,8).
315 edge(8,84).
316 edge(84,8).
317 edge(8,85).
318 edge(85,8).
319 edge(8,104).
320 edge(104,8).
321 edge(8,106).
322 edge(106,8).
323 edge(8,118).
324 edge(118,8).
325 edge(8,122).
326 edge(122,8).
327 edge(8,131).
328 edge(131,8).
329 edge(9,21).
330 edge(21,9).
331 edge(9,30).
332 edge(30,9).
333 edge(9,31).
334 edge(31,9).
335 edge(9,40).
336 edge(40,9).
337 edge(9,62).
338 edge(62,9).
339 edge(9,66).
340 edge(66,9).
341 edge(9,67).
342 edge(67,9).
343 edge(9,69).
344 edge(69,9).
345 edge(9,97).
346 edge(97,9).
347 edge(9,105).
348 edge(105,9).
349 edge(9,106).
350 edge(106,9).
351 edge(9,108).
352 edge(108,9).
353 edge(9,116).
354 edge(116,9).
355 edge(9,117).
356 edge(117,9).
357 edge(9,120).
358 edge(120,9).
359 edge(9,128).
360 edge(128,9).
361 edge(10,33).
362 edge(33,10).
363 edge(10,40).
364 edge(40,10).
365 edge(10,53).
366 edge(53,10).
367 edge(10,55).
368 edge(55,10).
369 edge(10,58).
370 edge(58,10).
371 edge(10,78).
372 edge(78,10).
373 edge(10,111).
374 edge(111,10).
375 edge(10,119).
376 edge(119,10).
377 edge(10,120).
378 edge(120,10).
379 edge(10,130).
380 edge(130,10).
381 edge(10,131).
382 edge(131,10).
383 edge(10,132).
384 edge(132,10).
385 edge(11,15).
386 edge(15,11).
387 edge(11,18).
388 edge(18,11).
389 edge(11,20).
390 edge(20,11).
391 edge(11,26).
392 edge(26,11).
393 edge(11,33).
394 edge(33,11).
395 edge(11,34).
396 edge(34,11).
397 edge(11,35).
398 edge(35,11).
399 edge(11,38).
400 edge(38,11).
401 edge(11,45).
402 edge(45,11).
403 edge(11,55).
404 edge(55,11).
405 edge(11,97).
406 edge(97,11).
407 edge(11,117).
408 edge(117,11).
409 edge(11,130).
410 edge(130,11).
411 edge(12,13).
412 edge(13,12).
413 edge(12,14).
414 edge(14,12).
415 edge(12,17).
416 edge(17,12).
417 edge(12,25).
418 edge(25,12).
419 edge(12,48).
420 edge(48,12).
421 edge(12,66).
422 edge(66,12).
423 edge(12,72).
424 edge(72,12).
425 edge(12,89).
426 edge(89,12).
427 edge(12,107).
428 edge(107,12).
429 edge(12,108).
430 edge(108,12).
431 edge(12,120).
432 edge(120,12).
433 edge(12,127).
434 edge(127,12).
435 edge(12,132).
436 edge(132,12).
437 edge(13,18).
438 edge(18,13).
439 edge(13,20).
440 edge(20,13).
441 edge(13,41).
442 edge(41,13).
443 edge(13,48).
444 edge(48,13).
445 edge(13,51).
446 edge(51,13).
447 edge(13,60).
448 edge(60,13).
449 edge(13,68).
450 edge(68,13).
451 edge(13,74).
452 edge(74,13).
453 edge(13,78).
454 edge(78,13).
455 edge(13,94).
456 edge(94,13).
457 edge(13,126).
458 edge(126,13).
459 edge(13,129).
460 edge(129,13).
461 edge(14,23).
462 edge(23,14).
463 edge(14,24).
464 edge(24,14).
465 edge(14,27).
466 edge(27,14).
467 edge(14,57).
468 edge(57,14).
469 edge(14,59).
470 edge(59,14).
471 edge(14,60).
472 edge(60,14).
473 edge(14,73).
474 edge(73,14).
475 edge(14,116).
476 edge(116,14).
477 edge(14,120).
478 edge(120,14).
479 edge(14,121).
480 edge(121,14).
481 edge(15,21).
482 edge(21,15).
483 edge(15,25).
484 edge(25,15).
485 edge(15,34).
486 edge(34,15).
487 edge(15,39).
488 edge(39,15).
489 edge(15,42).
490 edge(42,15).
491 edge(15,54).
492 edge(54,15).
493 edge(15,76).
494 edge(76,15).
495 edge(15,90).
496 edge(90,15).
497 edge(15,94).
498 edge(94,15).
499 edge(15,109).
500 edge(109,15).
501 edge(15,111).
502 edge(111,15).
503 edge(15,115).
504 edge(115,15).
505 edge(15,123).
506 edge(123,15).
507 edge(16,41).
508 edge(41,16).
509 edge(16,49).
510 edge(49,16).
511 edge(16,51).
512 edge(51,16).
513 edge(16,59).
514 edge(59,16).
515 edge(16,60).
516 edge(60,16).
517 edge(16,75).
518 edge(75,16).
519 edge(16,95).
520 edge(95,16).
521 edge(16,96).
522 edge(96,16).
523 edge(16,107).
524 edge(107,16).
525 edge(16,109).
526 edge(109,16).
527 edge(16,111).
528 edge(111,16).
529 edge(16,120).
530 edge(120,16).
531 edge(16,122).
532 edge(122,16).
533 edge(17,34).
534 edge(34,17).
535 edge(17,40).
536 edge(40,17).
537 edge(17,60).
538 edge(60,17).
539 edge(17,77).
540 edge(77,17).
541 edge(17,79).
542 edge(79,17).
543 edge(17,117).
544 edge(117,17).
545 edge(18,20).
546 edge(20,18).
547 edge(18,21).
548 edge(21,18).
549 edge(18,35).
550 edge(35,18).
551 edge(18,44).
552 edge(44,18).
553 edge(18,48).
554 edge(48,18).
555 edge(18,52).
556 edge(52,18).
557 edge(18,61).
558 edge(61,18).
559 edge(18,72).
560 edge(72,18).
561 edge(18,76).
562 edge(76,18).
563 edge(18,80).
564 edge(80,18).
565 edge(18,99).
566 edge(99,18).
567 edge(18,100).
568 edge(100,18).
569 edge(18,106).
570 edge(106,18).
571 edge(18,110).
572 edge(110,18).
573 edge(18,116).
574 edge(116,18).
575 edge(18,120).
576 edge(120,18).
577 edge(18,135).
578 edge(135,18).
579 edge(19,21).
580 edge(21,19).
581 edge(19,24).
582 edge(24,19).
583 edge(19,26).
584 edge(26,19).
585 edge(19,31).
586 edge(31,19).
587 edge(19,40).
588 edge(40,19).
589 edge(19,41).
590 edge(41,19).
591 edge(19,42).
592 edge(42,19).
593 edge(19,54).
594 edge(54,19).
595 edge(19,84).
596 edge(84,19).
597 edge(19,89).
598 edge(89,19).
599 edge(19,119).
600 edge(119,19).
601 edge(19,125).
602 edge(125,19).
603 edge(19,130).
604 edge(130,19).
605 edge(19,133).
606 edge(133,19).
607 edge(20,42).
608 edge(42,20).
609 edge(20,70).
610 edge(70,20).
611 edge(20,72).
612 edge(72,20).
613 edge(20,85).
614 edge(85,20).
615 edge(20,108).
616 edge(108,20).
617 edge(20,116).
618 edge(116,20).
619 edge(20,118).
620 edge(118,20).
621 edge(20,133).
622 edge(133,20).
623 edge(21,34).
624 edge(34,21).
625 edge(21,105).
626 edge(105,21).
627 edge(21,110).
628 edge(110,21).
629 edge(21,122).
630 edge(122,21).
631 edge(21,123).
632 edge(123,21).
633 edge(22,57).
634 edge(57,22).
635 edge(22,61).
636 edge(61,22).
637 edge(22,64).
638 edge(64,22).
639 edge(22,65).
640 edge(65,22).
641 edge(22,67).
642 edge(67,22).
643 edge(22,82).
644 edge(82,22).
645 edge(22,83).
646 edge(83,22).
647 edge(22,92).
648 edge(92,22).
649 edge(22,109).
650 edge(109,22).
651 edge(22,123).
652 edge(123,22).
653 edge(22,130).
654 edge(130,22).
655 edge(22,133).
656 edge(133,22).
657 edge(23,29).
658 edge(29,23).
659 edge(23,31).
660 edge(31,23).
661 edge(23,32).
662 edge(32,23).
663 edge(23,35).
664 edge(35,23).
665 edge(23,37).
666 edge(37,23).
667 edge(23,48).
668 edge(48,23).
669 edge(23,50).
670 edge(50,23).
671 edge(23,60).
672 edge(60,23).
673 edge(23,82).
674 edge(82,23).
675 edge(23,92).
676 edge(92,23).
677 edge(23,104).
678 edge(104,23).
679 edge(23,111).
680 edge(111,23).
681 edge(24,29).
682 edge(29,24).
683 edge(24,33).
684 edge(33,24).
685 edge(24,46).
686 edge(46,24).
687 edge(24,55).
688 edge(55,24).
689 edge(24,74).
690 edge(74,24).
691 edge(24,80).
692 edge(80,24).
693 edge(24,84).
694 edge(84,24).
695 edge(24,85).
696 edge(85,24).
697 edge(24,90).
698 edge(90,24).
699 edge(24,92).
700 edge(92,24).
701 edge(24,111).
702 edge(111,24).
703 edge(24,126).
704 edge(126,24).
705 edge(25,61).
706 edge(61,25).
707 edge(25,71).
708 edge(71,25).
709 edge(25,80).
710 edge(80,25).
711 edge(25,82).
712 edge(82,25).
713 edge(25,83).
714 edge(83,25).
715 edge(25,85).
716 edge(85,25).
717 edge(25,91).
718 edge(91,25).
719 edge(25,112).
720 edge(112,25).
721 edge(25,113).
722 edge(113,25).
723 edge(25,119).
724 edge(119,25).
725 edge(25,122).
726 edge(122,25).
727 edge(25,123).
728 edge(123,25).
729 edge(25,130).
730 edge(130,25).
731 edge(25,133).
732 edge(133,25).
733 edge(26,33).
734 edge(33,26).
735 edge(26,34).
736 edge(34,26).
737 edge(26,41).
738 edge(41,26).
739 edge(26,68).
740 edge(68,26).
741 edge(26,88).
742 edge(88,26).
743 edge(26,111).
744 edge(111,26).
745 edge(26,118).
746 edge(118,26).
747 edge(26,125).
748 edge(125,26).
749 edge(27,31).
750 edge(31,27).
751 edge(27,51).
752 edge(51,27).
753 edge(27,54).
754 edge(54,27).
755 edge(27,68).
756 edge(68,27).
757 edge(27,72).
758 edge(72,27).
759 edge(27,79).
760 edge(79,27).
761 edge(27,82).
762 edge(82,27).
763 edge(27,93).
764 edge(93,27).
765 edge(27,95).
766 edge(95,27).
767 edge(27,98).
768 edge(98,27).
769 edge(27,103).
770 edge(103,27).
771 edge(27,105).
772 edge(105,27).
773 edge(27,116).
774 edge(116,27).
775 edge(28,48).
776 edge(48,28).
777 edge(28,62).
778 edge(62,28).
779 edge(28,79).
780 edge(79,28).
781 edge(28,92).
782 edge(92,28).
783 edge(28,106).
784 edge(106,28).
785 edge(28,108).
786 edge(108,28).
787 edge(28,124).
788 edge(124,28).
789 edge(28,130).
790 edge(130,28).
791 edge(29,32).
792 edge(32,29).
793 edge(29,33).
794 edge(33,29).
795 edge(29,36).
796 edge(36,29).
797 edge(29,44).
798 edge(44,29).
799 edge(29,45).
800 edge(45,29).
801 edge(29,54).
802 edge(54,29).
803 edge(29,65).
804 edge(65,29).
805 edge(29,82).
806 edge(82,29).
807 edge(29,93).
808 edge(93,29).
809 edge(29,105).
810 edge(105,29).
811 edge(29,128).
812 edge(128,29).
813 edge(29,133).
814 edge(133,29).
815 edge(30,37).
816 edge(37,30).
817 edge(30,38).
818 edge(38,30).
819 edge(30,42).
820 edge(42,30).
821 edge(30,47).
822 edge(47,30).
823 edge(30,57).
824 edge(57,30).
825 edge(30,58).
826 edge(58,30).
827 edge(30,72).
828 edge(72,30).
829 edge(30,79).
830 edge(79,30).
831 edge(31,41).
832 edge(41,31).
833 edge(31,53).
834 edge(53,31).
835 edge(31,69).
836 edge(69,31).
837 edge(31,73).
838 edge(73,31).
839 edge(31,84).
840 edge(84,31).
841 edge(31,97).
842 edge(97,31).
843 edge(31,98).
844 edge(98,31).
845 edge(31,110).
846 edge(110,31).
847 edge(32,34).
848 edge(34,32).
849 edge(32,61).
850 edge(61,32).
851 edge(32,88).
852 edge(88,32).
853 edge(32,99).
854 edge(99,32).
855 edge(32,104).
856 edge(104,32).
857 edge(32,122).
858 edge(122,32).
859 edge(33,35).
860 edge(35,33).
861 edge(33,39).
862 edge(39,33).
863 edge(33,48).
864 edge(48,33).
865 edge(33,64).
866 edge(64,33).
867 edge(33,74).
868 edge(74,33).
869 edge(33,97).
870 edge(97,33).
871 edge(33,100).
872 edge(100,33).
873 edge(33,103).
874 edge(103,33).
875 edge(33,107).
876 edge(107,33).
877 edge(33,115).
878 edge(115,33).
879 edge(33,132).
880 edge(132,33).
881 edge(34,41).
882 edge(41,34).
883 edge(34,50).
884 edge(50,34).
885 edge(34,98).
886 edge(98,34).
887 edge(34,104).
888 edge(104,34).
889 edge(34,107).
890 edge(107,34).
891 edge(34,129).
892 edge(129,34).
893 edge(35,43).
894 edge(43,35).
895 edge(35,68).
896 edge(68,35).
897 edge(35,101).
898 edge(101,35).
899 edge(35,102).
900 edge(102,35).
901 edge(35,107).
902 edge(107,35).
903 edge(35,113).
904 edge(113,35).
905 edge(35,126).
906 edge(126,35).
907 edge(36,42).
908 edge(42,36).
909 edge(36,45).
910 edge(45,36).
911 edge(36,46).
912 edge(46,36).
913 edge(36,50).
914 edge(50,36).
915 edge(36,74).
916 edge(74,36).
917 edge(36,78).
918 edge(78,36).
919 edge(36,80).
920 edge(80,36).
921 edge(36,87).
922 edge(87,36).
923 edge(36,91).
924 edge(91,36).
925 edge(36,92).
926 edge(92,36).
927 edge(36,103).
928 edge(103,36).
929 edge(36,105).
930 edge(105,36).
931 edge(36,113).
932 edge(113,36).
933 edge(36,115).
934 edge(115,36).
935 edge(36,117).
936 edge(117,36).
937 edge(36,122).
938 edge(122,36).
939 edge(36,123).
940 edge(123,36).
941 edge(36,126).
942 edge(126,36).
943 edge(36,129).
944 edge(129,36).
945 edge(37,42).
946 edge(42,37).
947 edge(37,44).
948 edge(44,37).
949 edge(37,45).
950 edge(45,37).
951 edge(37,46).
952 edge(46,37).
953 edge(37,65).
954 edge(65,37).
955 edge(37,82).
956 edge(82,37).
957 edge(37,92).
958 edge(92,37).
959 edge(37,123).
960 edge(123,37).
961 edge(37,132).
962 edge(132,37).
963 edge(37,133).
964 edge(133,37).
965 edge(38,44).
966 edge(44,38).
967 edge(38,50).
968 edge(50,38).
969 edge(38,52).
970 edge(52,38).
971 edge(38,54).
972 edge(54,38).
973 edge(38,73).
974 edge(73,38).
975 edge(38,75).
976 edge(75,38).
977 edge(38,84).
978 edge(84,38).
979 edge(38,94).
980 edge(94,38).
981 edge(38,135).
982 edge(135,38).
983 edge(39,47).
984 edge(47,39).
985 edge(39,48).
986 edge(48,39).
987 edge(39,65).
988 edge(65,39).
989 edge(39,79).
990 edge(79,39).
991 edge(39,86).
992 edge(86,39).
993 edge(39,93).
994 edge(93,39).
995 edge(39,101).
996 edge(101,39).
997 edge(39,109).
998 edge(109,39).
999 edge(39,115).
1000 edge(115,39).
1001 edge(39,116).
1002 edge(116,39).
1003 edge(39,129).
1004 edge(129,39).
1005 edge(40,41).
1006 edge(41,40).
1007 edge(40,42).
1008 edge(42,40).
1009 edge(40,54).
1010 edge(54,40).
1011 edge(40,58).
1012 edge(58,40).
1013 edge(40,60).
1014 edge(60,40).
1015 edge(40,66).
1016 edge(66,40).
1017 edge(40,68).
1018 edge(68,40).
1019 edge(40,72).
1020 edge(72,40).
1021 edge(40,75).
1022 edge(75,40).
1023 edge(40,77).
1024 edge(77,40).
1025 edge(40,94).
1026 edge(94,40).
1027 edge(40,102).
1028 edge(102,40).
1029 edge(40,107).
1030 edge(107,40).
1031 edge(40,127).
1032 edge(127,40).
1033 edge(41,48).
1034 edge(48,41).
1035 edge(41,49).
1036 edge(49,41).
1037 edge(41,51).
1038 edge(51,41).
1039 edge(41,75).
1040 edge(75,41).
1041 edge(41,83).
1042 edge(83,41).
1043 edge(41,96).
1044 edge(96,41).
1045 edge(41,99).
1046 edge(99,41).
1047 edge(41,118).
1048 edge(118,41).
1049 edge(42,46).
1050 edge(46,42).
1051 edge(42,48).
1052 edge(48,42).
1053 edge(42,63).
1054 edge(63,42).
1055 edge(42,70).
1056 edge(70,42).
1057 edge(42,88).
1058 edge(88,42).
1059 edge(42,100).
1060 edge(100,42).
1061 edge(42,103).
1062 edge(103,42).
1063 edge(42,106).
1064 edge(106,42).
1065 edge(42,118).
1066 edge(118,42).
1067 edge(42,119).
1068 edge(119,42).
1069 edge(42,131).
1070 edge(131,42).
1071 edge(43,48).
1072 edge(48,43).
1073 edge(43,51).
1074 edge(51,43).
1075 edge(43,78).
1076 edge(78,43).
1077 edge(43,87).
1078 edge(87,43).
1079 edge(43,92).
1080 edge(92,43).
1081 edge(43,109).
1082 edge(109,43).
1083 edge(43,111).
1084 edge(111,43).
1085 edge(43,126).
1086 edge(126,43).
1087 edge(43,127).
1088 edge(127,43).
1089 edge(44,59).
1090 edge(59,44).
1091 edge(44,89).
1092 edge(89,44).
1093 edge(44,116).
1094 edge(116,44).
1095 edge(44,121).
1096 edge(121,44).
1097 edge(44,130).
1098 edge(130,44).
1099 edge(45,47).
1100 edge(47,45).
1101 edge(45,49).
1102 edge(49,45).
1103 edge(45,53).
1104 edge(53,45).
1105 edge(45,56).
1106 edge(56,45).
1107 edge(45,67).
1108 edge(67,45).
1109 edge(45,86).
1110 edge(86,45).
1111 edge(45,90).
1112 edge(90,45).
1113 edge(45,95).
1114 edge(95,45).
1115 edge(45,103).
1116 edge(103,45).
1117 edge(45,104).
1118 edge(104,45).
1119 edge(46,55).
1120 edge(55,46).
1121 edge(46,58).
1122 edge(58,46).
1123 edge(46,63).
1124 edge(63,46).
1125 edge(46,78).
1126 edge(78,46).
1127 edge(46,83).
1128 edge(83,46).
1129 edge(46,85).
1130 edge(85,46).
1131 edge(46,117).
1132 edge(117,46).
1133 edge(46,121).
1134 edge(121,46).
1135 edge(46,124).
1136 edge(124,46).
1137 edge(47,48).
1138 edge(48,47).
1139 edge(47,51).
1140 edge(51,47).
1141 edge(47,58).
1142 edge(58,47).
1143 edge(47,69).
1144 edge(69,47).
1145 edge(47,79).
1146 edge(79,47).
1147 edge(47,82).
1148 edge(82,47).
1149 edge(47,83).
1150 edge(83,47).
1151 edge(47,86).
1152 edge(86,47).
1153 edge(47,99).
1154 edge(99,47).
1155 edge(47,100).
1156 edge(100,47).
1157 edge(47,110).
1158 edge(110,47).
1159 edge(48,58).
1160 edge(58,48).
1161 edge(48,77).
1162 edge(77,48).
1163 edge(48,87).
1164 edge(87,48).
1165 edge(48,89).
1166 edge(89,48).
1167 edge(48,92).
1168 edge(92,48).
1169 edge(48,104).
1170 edge(104,48).
1171 edge(49,52).
1172 edge(52,49).
1173 edge(49,55).
1174 edge(55,49).
1175 edge(49,64).
1176 edge(64,49).
1177 edge(49,68).
1178 edge(68,49).
1179 edge(49,76).
1180 edge(76,49).
1181 edge(49,94).
1182 edge(94,49).
1183 edge(49,99).
1184 edge(99,49).
1185 edge(49,106).
1186 edge(106,49).
1187 edge(49,107).
1188 edge(107,49).
1189 edge(49,114).
1190 edge(114,49).
1191 edge(49,118).
1192 edge(118,49).
1193 edge(50,55).
1194 edge(55,50).
1195 edge(50,86).
1196 edge(86,50).
1197 edge(50,92).
1198 edge(92,50).
1199 edge(50,101).
1200 edge(101,50).
1201 edge(50,108).
1202 edge(108,50).
1203 edge(50,113).
1204 edge(113,50).
1205 edge(50,127).
1206 edge(127,50).
1207 edge(50,128).
1208 edge(128,50).
1209 edge(51,65).
1210 edge(65,51).
1211 edge(51,66).
1212 edge(66,51).
1213 edge(51,69).
1214 edge(69,51).
1215 edge(51,82).
1216 edge(82,51).
1217 edge(51,114).
1218 edge(114,51).
1219 edge(51,123).
1220 edge(123,51).
1221 edge(52,59).
1222 edge(59,52).
1223 edge(52,76).
1224 edge(76,52).
1225 edge(52,79).
1226 edge(79,52).
1227 edge(52,94).
1228 edge(94,52).
1229 edge(52,105).
1230 edge(105,52).
1231 edge(52,110).
1232 edge(110,52).
1233 edge(52,113).
1234 edge(113,52).
1235 edge(52,116).
1236 edge(116,52).
1237 edge(52,131).
1238 edge(131,52).
1239 edge(53,61).
1240 edge(61,53).
1241 edge(53,69).
1242 edge(69,53).
1243 edge(53,91).
1244 edge(91,53).
1245 edge(53,122).
1246 edge(122,53).
1247 edge(54,72).
1248 edge(72,54).
1249 edge(54,76).
1250 edge(76,54).
1251 edge(54,83).
1252 edge(83,54).
1253 edge(54,87).
1254 edge(87,54).
1255 edge(54,89).
1256 edge(89,54).
1257 edge(54,94).
1258 edge(94,54).
1259 edge(54,101).
1260 edge(101,54).
1261 edge(54,104).
1262 edge(104,54).
1263 edge(54,108).
1264 edge(108,54).
1265 edge(54,116).
1266 edge(116,54).
1267 edge(54,120).
1268 edge(120,54).
1269 edge(55,66).
1270 edge(66,55).
1271 edge(55,67).
1272 edge(67,55).
1273 edge(55,77).
1274 edge(77,55).
1275 edge(55,98).
1276 edge(98,55).
1277 edge(55,101).
1278 edge(101,55).
1279 edge(55,106).
1280 edge(106,55).
1281 edge(55,115).
1282 edge(115,55).
1283 edge(55,129).
1284 edge(129,55).
1285 edge(55,131).
1286 edge(131,55).
1287 edge(56,58).
1288 edge(58,56).
1289 edge(56,59).
1290 edge(59,56).
1291 edge(56,60).
1292 edge(60,56).
1293 edge(56,61).
1294 edge(61,56).
1295 edge(56,66).
1296 edge(66,56).
1297 edge(56,68).
1298 edge(68,56).
1299 edge(56,74).
1300 edge(74,56).
1301 edge(56,102).
1302 edge(102,56).
1303 edge(56,105).
1304 edge(105,56).
1305 edge(56,124).
1306 edge(124,56).
1307 edge(57,63).
1308 edge(63,57).
1309 edge(57,80).
1310 edge(80,57).
1311 edge(57,98).
1312 edge(98,57).
1313 edge(57,120).
1314 edge(120,57).
1315 edge(57,125).
1316 edge(125,57).
1317 edge(57,130).
1318 edge(130,57).
1319 edge(58,66).
1320 edge(66,58).
1321 edge(58,73).
1322 edge(73,58).
1323 edge(58,80).
1324 edge(80,58).
1325 edge(58,88).
1326 edge(88,58).
1327 edge(58,94).
1328 edge(94,58).
1329 edge(58,117).
1330 edge(117,58).
1331 edge(58,135).
1332 edge(135,58).
1333 edge(59,71).
1334 edge(71,59).
1335 edge(59,73).
1336 edge(73,59).
1337 edge(59,83).
1338 edge(83,59).
1339 edge(59,104).
1340 edge(104,59).
1341 edge(59,107).
1342 edge(107,59).
1343 edge(59,117).
1344 edge(117,59).
1345 edge(59,134).
1346 edge(134,59).
1347 edge(60,62).
1348 edge(62,60).
1349 edge(60,64).
1350 edge(64,60).
1351 edge(60,85).
1352 edge(85,60).
1353 edge(60,88).
1354 edge(88,60).
1355 edge(60,91).
1356 edge(91,60).
1357 edge(60,111).
1358 edge(111,60).
1359 edge(60,112).
1360 edge(112,60).
1361 edge(60,117).
1362 edge(117,60).
1363 edge(61,65).
1364 edge(65,61).
1365 edge(61,86).
1366 edge(86,61).
1367 edge(61,87).
1368 edge(87,61).
1369 edge(61,88).
1370 edge(88,61).
1371 edge(61,90).
1372 edge(90,61).
1373 edge(61,93).
1374 edge(93,61).
1375 edge(61,101).
1376 edge(101,61).
1377 edge(61,117).
1378 edge(117,61).
1379 edge(61,126).
1380 edge(126,61).
1381 edge(61,135).
1382 edge(135,61).
1383 edge(62,65).
1384 edge(65,62).
1385 edge(62,68).
1386 edge(68,62).
1387 edge(62,73).
1388 edge(73,62).
1389 edge(62,77).
1390 edge(77,62).
1391 edge(62,88).
1392 edge(88,62).
1393 edge(62,93).
1394 edge(93,62).
1395 edge(62,116).
1396 edge(116,62).
1397 edge(63,65).
1398 edge(65,63).
1399 edge(63,70).
1400 edge(70,63).
1401 edge(63,73).
1402 edge(73,63).
1403 edge(63,108).
1404 edge(108,63).
1405 edge(63,113).
1406 edge(113,63).
1407 edge(63,125).
1408 edge(125,63).
1409 edge(64,86).
1410 edge(86,64).
1411 edge(64,90).
1412 edge(90,64).
1413 edge(64,122).
1414 edge(122,64).
1415 edge(64,124).
1416 edge(124,64).
1417 edge(64,127).
1418 edge(127,64).
1419 edge(65,77).
1420 edge(77,65).
1421 edge(65,86).
1422 edge(86,65).
1423 edge(65,100).
1424 edge(100,65).
1425 edge(65,103).
1426 edge(103,65).
1427 edge(65,111).
1428 edge(111,65).
1429 edge(65,117).
1430 edge(117,65).
1431 edge(65,121).
1432 edge(121,65).
1433 edge(65,132).
1434 edge(132,65).
1435 edge(66,67).
1436 edge(67,66).
1437 edge(66,95).
1438 edge(95,66).
1439 edge(66,98).
1440 edge(98,66).
1441 edge(66,104).
1442 edge(104,66).
1443 edge(66,107).
1444 edge(107,66).
1445 edge(66,129).
1446 edge(129,66).
1447 edge(66,132).
1448 edge(132,66).
1449 edge(67,70).
1450 edge(70,67).
1451 edge(67,79).
1452 edge(79,67).
1453 edge(67,86).
1454 edge(86,67).
1455 edge(67,131).
1456 edge(131,67).
1457 edge(68,82).
1458 edge(82,68).
1459 edge(68,88).
1460 edge(88,68).
1461 edge(68,99).
1462 edge(99,68).
1463 edge(68,100).
1464 edge(100,68).
1465 edge(68,107).
1466 edge(107,68).
1467 edge(69,87).
1468 edge(87,69).
1469 edge(69,90).
1470 edge(90,69).
1471 edge(69,99).
1472 edge(99,69).
1473 edge(69,101).
1474 edge(101,69).
1475 edge(69,106).
1476 edge(106,69).
1477 edge(69,116).
1478 edge(116,69).
1479 edge(69,120).
1480 edge(120,69).
1481 edge(69,122).
1482 edge(122,69).
1483 edge(69,130).
1484 edge(130,69).
1485 edge(69,132).
1486 edge(132,69).
1487 edge(70,71).
1488 edge(71,70).
1489 edge(70,76).
1490 edge(76,70).
1491 edge(70,79).
1492 edge(79,70).
1493 edge(70,92).
1494 edge(92,70).
1495 edge(70,110).
1496 edge(110,70).
1497 edge(70,111).
1498 edge(111,70).
1499 edge(70,116).
1500 edge(116,70).
1501 edge(70,124).
1502 edge(124,70).
1503 edge(70,127).
1504 edge(127,70).
1505 edge(70,132).
1506 edge(132,70).
1507 edge(71,72).
1508 edge(72,71).
1509 edge(71,83).
1510 edge(83,71).
1511 edge(71,86).
1512 edge(86,71).
1513 edge(71,105).
1514 edge(105,71).
1515 edge(71,112).
1516 edge(112,71).
1517 edge(71,123).
1518 edge(123,71).
1519 edge(71,130).
1520 edge(130,71).
1521 edge(72,74).
1522 edge(74,72).
1523 edge(72,102).
1524 edge(102,72).
1525 edge(72,113).
1526 edge(113,72).
1527 edge(72,123).
1528 edge(123,72).
1529 edge(72,135).
1530 edge(135,72).
1531 edge(73,89).
1532 edge(89,73).
1533 edge(73,111).
1534 edge(111,73).
1535 edge(73,112).
1536 edge(112,73).
1537 edge(73,114).
1538 edge(114,73).
1539 edge(74,85).
1540 edge(85,74).
1541 edge(74,91).
1542 edge(91,74).
1543 edge(74,99).
1544 edge(99,74).
1545 edge(74,100).
1546 edge(100,74).
1547 edge(74,115).
1548 edge(115,74).
1549 edge(75,76).
1550 edge(76,75).
1551 edge(75,82).
1552 edge(82,75).
1553 edge(75,89).
1554 edge(89,75).
1555 edge(75,92).
1556 edge(92,75).
1557 edge(75,96).
1558 edge(96,75).
1559 edge(75,97).
1560 edge(97,75).
1561 edge(75,99).
1562 edge(99,75).
1563 edge(75,101).
1564 edge(101,75).
1565 edge(75,105).
1566 edge(105,75).
1567 edge(75,113).
1568 edge(113,75).
1569 edge(75,117).
1570 edge(117,75).
1571 edge(75,127).
1572 edge(127,75).
1573 edge(76,84).
1574 edge(84,76).
1575 edge(76,99).
1576 edge(99,76).
1577 edge(76,106).
1578 edge(106,76).
1579 edge(76,111).
1580 edge(111,76).
1581 edge(76,113).
1582 edge(113,76).
1583 edge(76,121).
1584 edge(121,76).
1585 edge(77,117).
1586 edge(117,77).
1587 edge(77,131).
1588 edge(131,77).
1589 edge(78,89).
1590 edge(89,78).
1591 edge(78,94).
1592 edge(94,78).
1593 edge(78,113).
1594 edge(113,78).
1595 edge(78,118).
1596 edge(118,78).
1597 edge(79,80).
1598 edge(80,79).
1599 edge(79,86).
1600 edge(86,79).
1601 edge(79,89).
1602 edge(89,79).
1603 edge(79,99).
1604 edge(99,79).
1605 edge(79,101).
1606 edge(101,79).
1607 edge(79,120).
1608 edge(120,79).
1609 edge(79,121).
1610 edge(121,79).
1611 edge(79,125).
1612 edge(125,79).
1613 edge(80,87).
1614 edge(87,80).
1615 edge(80,91).
1616 edge(91,80).
1617 edge(80,116).
1618 edge(116,80).
1619 edge(80,126).
1620 edge(126,80).
1621 edge(80,127).
1622 edge(127,80).
1623 edge(80,130).
1624 edge(130,80).
1625 edge(81,96).
1626 edge(96,81).
1627 edge(81,99).
1628 edge(99,81).
1629 edge(81,101).
1630 edge(101,81).
1631 edge(81,133).
1632 edge(133,81).
1633 edge(82,112).
1634 edge(112,82).
1635 edge(82,124).
1636 edge(124,82).
1637 edge(83,108).
1638 edge(108,83).
1639 edge(83,114).
1640 edge(114,83).
1641 edge(83,125).
1642 edge(125,83).
1643 edge(83,130).
1644 edge(130,83).
1645 edge(84,105).
1646 edge(105,84).
1647 edge(84,107).
1648 edge(107,84).
1649 edge(84,128).
1650 edge(128,84).
1651 edge(85,88).
1652 edge(88,85).
1653 edge(85,95).
1654 edge(95,85).
1655 edge(85,98).
1656 edge(98,85).
1657 edge(85,113).
1658 edge(113,85).
1659 edge(85,115).
1660 edge(115,85).
1661 edge(85,116).
1662 edge(116,85).
1663 edge(85,127).
1664 edge(127,85).
1665 edge(85,132).
1666 edge(132,85).
1667 edge(86,103).
1668 edge(103,86).
1669 edge(86,106).
1670 edge(106,86).
1671 edge(86,118).
1672 edge(118,86).
1673 edge(86,125).
1674 edge(125,86).
1675 edge(86,130).
1676 edge(130,86).
1677 edge(87,99).
1678 edge(99,87).
1679 edge(87,101).
1680 edge(101,87).
1681 edge(87,116).
1682 edge(116,87).
1683 edge(87,119).
1684 edge(119,87).
1685 edge(87,124).
1686 edge(124,87).
1687 edge(87,128).
1688 edge(128,87).
1689 edge(87,131).
1690 edge(131,87).
1691 edge(88,106).
1692 edge(106,88).
1693 edge(88,113).
1694 edge(113,88).
1695 edge(88,119).
1696 edge(119,88).
1697 edge(89,98).
1698 edge(98,89).
1699 edge(89,111).
1700 edge(111,89).
1701 edge(89,113).
1702 edge(113,89).
1703 edge(89,129).
1704 edge(129,89).
1705 edge(90,120).
1706 edge(120,90).
1707 edge(90,121).
1708 edge(121,90).
1709 edge(90,131).
1710 edge(131,90).
1711 edge(90,134).
1712 edge(134,90).
1713 edge(91,97).
1714 edge(97,91).
1715 edge(91,107).
1716 edge(107,91).
1717 edge(91,110).
1718 edge(110,91).
1719 edge(91,111).
1720 edge(111,91).
1721 edge(91,114).
1722 edge(114,91).
1723 edge(91,121).
1724 edge(121,91).
1725 edge(91,135).
1726 edge(135,91).
1727 edge(92,114).
1728 edge(114,92).
1729 edge(93,105).
1730 edge(105,93).
1731 edge(93,107).
1732 edge(107,93).
1733 edge(93,113).
1734 edge(113,93).
1735 edge(93,122).
1736 edge(122,93).
1737 edge(93,129).
1738 edge(129,93).
1739 edge(94,100).
1740 edge(100,94).
1741 edge(94,108).
1742 edge(108,94).
1743 edge(94,117).
1744 edge(117,94).
1745 edge(94,124).
1746 edge(124,94).
1747 edge(95,99).
1748 edge(99,95).
1749 edge(95,127).
1750 edge(127,95).
1751 edge(96,104).
1752 edge(104,96).
1753 edge(97,104).
1754 edge(104,97).
1755 edge(97,110).
1756 edge(110,97).
1757 edge(98,100).
1758 edge(100,98).
1759 edge(98,122).
1760 edge(122,98).
1761 edge(98,124).
1762 edge(124,98).
1763 edge(99,125).
1764 edge(125,99).
1765 edge(99,126).
1766 edge(126,99).
1767 edge(101,110).
1768 edge(110,101).
1769 edge(101,113).
1770 edge(113,101).
1771 edge(101,131).
1772 edge(131,101).
1773 edge(101,134).
1774 edge(134,101).
1775 edge(102,104).
1776 edge(104,102).
1777 edge(102,116).
1778 edge(116,102).
1779 edge(102,123).
1780 edge(123,102).
1781 edge(103,116).
1782 edge(116,103).
1783 edge(104,114).
1784 edge(114,104).
1785 edge(104,117).
1786 edge(117,104).
1787 edge(104,119).
1788 edge(119,104).
1789 edge(104,122).
1790 edge(122,104).
1791 edge(105,107).
1792 edge(107,105).
1793 edge(105,119).
1794 edge(119,105).
1795 edge(106,108).
1796 edge(108,106).
1797 edge(106,109).
1798 edge(109,106).
1799 edge(107,122).
1800 edge(122,107).
1801 edge(107,123).
1802 edge(123,107).
1803 edge(107,128).
1804 edge(128,107).
1805 edge(108,112).
1806 edge(112,108).
1807 edge(108,114).
1808 edge(114,108).
1809 edge(108,115).
1810 edge(115,108).
1811 edge(108,117).
1812 edge(117,108).
1813 edge(108,118).
1814 edge(118,108).
1815 edge(109,110).
1816 edge(110,109).
1817 edge(109,119).
1818 edge(119,109).
1819 edge(109,122).
1820 edge(122,109).
1821 edge(109,123).
1822 edge(123,109).
1823 edge(111,112).
1824 edge(112,111).
1825 edge(111,124).
1826 edge(124,111).
1827 edge(112,115).
1828 edge(115,112).
1829 edge(112,128).
1830 edge(128,112).
1831 edge(113,117).
1832 edge(117,113).
1833 edge(113,130).
1834 edge(130,113).
1835 edge(114,124).
1836 edge(124,114).
1837 edge(114,130).
1838 edge(130,114).
1839 edge(115,121).
1840 edge(121,115).
1841 edge(117,131).
1842 edge(131,117).
1843 edge(117,134).
1844 edge(134,117).
1845 edge(118,134).
1846 edge(134,118).
1847 edge(119,135).
1848 edge(135,119).
1849 edge(120,123).
1850 edge(123,120).
1851 edge(120,128).
1852 edge(128,120).
1853 edge(122,123).
1854 edge(123,122).
1855 edge(122,127).
1856 edge(127,122).
1857 edge(123,125).
1858 edge(125,123).
1859 edge(123,129).
1860 edge(129,123).
1861 edge(126,133).
1862 edge(133,126).
1863 edge(127,132).
1864 edge(132,127).
1865 edge(128,135).
1866 edge(135,128).
1867 edge(129,134).
1868 edge(134,129).