41.44/10.92	YES
41.44/10.94	
41.44/10.94	Problem:
41.44/10.94	 a(a(c(x1))) -> b(c(b(a(x1))))
41.44/10.94	 b(x1) -> d(a(x1))
41.44/10.94	 b(a(c(d(x1)))) -> a(a(a(x1)))
41.44/10.94	 c(x1) -> x1
41.44/10.94	 b(x1) -> c(d(x1))
41.44/10.94	
41.44/10.94	Proof:
41.44/10.94	 String Reversal Processor:
41.44/10.94	  c(a(a(x1))) -> a(b(c(b(x1))))
41.44/10.94	  b(x1) -> a(d(x1))
41.44/10.94	  d(c(a(b(x1)))) -> a(a(a(x1)))
41.44/10.94	  c(x1) -> x1
41.44/10.94	  b(x1) -> d(c(x1))
41.44/10.94	  Bounds Processor:
41.44/10.94	   bound: 9
41.44/10.94	   enrichment: match
41.44/10.94	   automaton:
41.44/10.94	    final states: {11,2,8,6,1}
41.44/10.94	    transitions:
41.44/10.94	     d9(1065) -> 1066*
41.44/10.94	     d9(1102) -> 1103*
41.44/10.94	     d9(1017) -> 1018*
41.44/10.94	     d9(1044) -> 1045*
41.44/10.94	     d9(1091) -> 1092*
41.44/10.94	     b3(237) -> 238*
41.44/10.94	     b3(304) -> 305*
41.44/10.94	     b3(299) -> 300*
41.44/10.94	     b3(825) -> 826*
41.44/10.94	     b3(820) -> 821*
41.44/10.94	     b3(301) -> 302*
41.44/10.94	     b3(827) -> 828*
41.44/10.94	     b3(822) -> 823*
41.44/10.94	     b3(206) -> 207*
41.44/10.94	     b3(308) -> 309*
41.44/10.94	     b3(829) -> 830*
41.44/10.94	     b3(208) -> 209*
41.44/10.94	     b3(340) -> 341*
41.44/10.94	     b3(235) -> 236*
41.44/10.94	     b3(342) -> 343*
41.44/10.94	     c9(1090) -> 1091*
41.44/10.94	     c9(1064) -> 1065*
41.44/10.94	     c9(1106) -> 1107*
41.44/10.94	     d4(863) -> 864*
41.44/10.94	     d4(858) -> 859*
41.44/10.94	     d4(217) -> 218*
41.44/10.94	     d4(359) -> 360*
41.44/10.94	     d4(945) -> 946*
41.44/10.94	     d4(274) -> 275*
41.44/10.94	     d4(865) -> 866*
41.44/10.94	     d4(855) -> 856*
41.44/10.94	     d4(249) -> 250*
41.44/10.94	     d4(224) -> 225*
41.44/10.94	     d4(214) -> 215*
41.44/10.94	     d4(376) -> 377*
41.44/10.94	     d4(246) -> 247*
41.44/10.94	     d4(423) -> 424*
41.44/10.94	     d4(368) -> 369*
41.44/10.94	     d4(480) -> 481*
41.44/10.94	     d4(874) -> 875*
41.44/10.94	     d4(465) -> 466*
41.44/10.94	     d4(233) -> 234*
41.44/10.94	     d4(365) -> 366*
41.44/10.94	     d4(961) -> 962*
41.44/10.94	     d4(477) -> 478*
41.44/10.94	     d4(462) -> 463*
41.44/10.94	     d4(417) -> 418*
41.44/10.94	     d4(948) -> 949*
41.44/10.94	     a9(1045) -> 1046*
41.44/10.94	     a9(1018) -> 1019*
41.44/10.94	     c4(287) -> 288*
41.44/10.94	     c4(479) -> 480*
41.44/10.94	     c4(232) -> 233*
41.44/10.94	     c4(960) -> 961*
41.44/10.94	     c4(950) -> 951*
41.44/10.94	     c4(476) -> 477*
41.44/10.94	     c4(264) -> 265*
41.44/10.94	     c4(431) -> 432*
41.44/10.94	     c4(416) -> 417*
41.44/10.94	     c4(947) -> 948*
41.44/10.94	     c4(433) -> 434*
41.44/10.94	     c4(944) -> 945*
41.44/10.94	     c4(273) -> 274*
41.44/10.94	     c4(223) -> 224*
41.44/10.94	     c4(422) -> 423*
41.44/10.94	     c4(958) -> 959*
41.44/10.94	     c4(499) -> 500*
41.44/10.94	     a4(469) -> 470*
41.44/10.94	     a4(247) -> 248*
41.44/10.94	     a4(875) -> 876*
41.44/10.94	     a4(466) -> 467*
41.44/10.94	     a4(259) -> 260*
41.44/10.94	     a4(653) -> 654*
41.44/10.94	     a4(366) -> 367*
41.44/10.94	     a4(468) -> 469*
41.44/10.94	     a4(463) -> 464*
41.44/10.94	     a4(859) -> 860*
41.44/10.94	     a4(258) -> 259*
41.44/10.94	     a4(652) -> 653*
41.44/10.94	     a4(218) -> 219*
41.44/10.94	     a4(360) -> 361*
41.44/10.94	     a4(856) -> 857*
41.44/10.94	     a4(250) -> 251*
41.44/10.94	     a4(215) -> 216*
41.44/10.94	     a5(571) -> 572*
41.44/10.94	     a5(623) -> 624*
41.44/10.94	     a5(391) -> 392*
41.44/10.94	     a5(386) -> 387*
41.44/10.94	     a5(563) -> 564*
41.44/10.94	     a5(755) -> 756*
41.44/10.94	     a5(393) -> 394*
41.44/10.94	     a5(560) -> 561*
41.44/10.94	     a5(757) -> 758*
41.44/10.94	     a5(353) -> 354*
41.44/10.94	     a5(293) -> 294*
41.44/10.94	     a5(490) -> 491*
41.44/10.94	     a5(572) -> 573*
41.44/10.94	     a5(754) -> 755*
41.44/10.94	     a5(392) -> 393*
41.44/10.94	     a5(514) -> 515*
41.44/10.94	     b5(292) -> 293*
41.44/10.94	     b5(489) -> 490*
41.44/10.94	     b5(511) -> 512*
41.44/10.94	     b5(456) -> 457*
41.44/10.94	     b5(513) -> 514*
41.44/10.94	     b5(665) -> 666*
41.44/10.94	     b5(620) -> 621*
41.44/10.94	     b5(667) -> 668*
41.44/10.94	     b5(622) -> 623*
41.44/10.94	     b5(492) -> 493*
41.44/10.94	     b5(290) -> 291*
41.44/10.94	     b5(487) -> 488*
41.44/10.94	     b5(644) -> 645*
41.44/10.94	     f40() -> 2*
41.44/10.94	     c5(666) -> 667*
41.44/10.94	     c5(621) -> 622*
41.44/10.94	     c5(723) -> 724*
41.44/10.94	     c5(608) -> 609*
41.44/10.94	     c5(291) -> 292*
41.44/10.94	     c5(488) -> 489*
41.44/10.94	     c5(413) -> 414*
41.44/10.94	     c5(605) -> 606*
41.44/10.94	     c5(530) -> 531*
41.44/10.94	     c5(440) -> 441*
41.44/10.94	     c5(512) -> 513*
41.44/10.94	     a0(10) -> 8*
41.44/10.94	     a0(5) -> 1*
41.44/10.94	     a0(7) -> 6*
41.44/10.94	     a0(2) -> 9*
41.44/10.94	     a0(9) -> 10*
41.44/10.94	     b4(454) -> 455*
41.44/10.94	     b4(498) -> 499*
41.44/10.94	     b4(286) -> 287*
41.44/10.94	     b4(500) -> 501*
41.44/10.94	     b4(288) -> 289*
41.44/10.94	     b4(642) -> 643*
41.44/10.94	     b0(2) -> 3*
41.44/10.94	     b0(4) -> 5*
41.44/10.94	     d6(444) -> 445*
41.44/10.94	     d6(596) -> 597*
41.44/10.94	     d6(793) -> 794*
41.44/10.94	     d6(349) -> 350*
41.44/10.94	     d6(790) -> 791*
41.44/10.94	     d6(588) -> 589*
41.44/10.94	     d6(568) -> 569*
41.44/10.94	     d6(548) -> 549*
41.44/10.94	     d6(715) -> 716*
41.44/10.94	     d6(615) -> 616*
41.44/10.94	     d6(388) -> 389*
41.44/10.94	     d6(585) -> 586*
41.44/10.94	     d6(747) -> 748*
41.44/10.94	     d6(545) -> 546*
41.44/10.94	     d6(520) -> 521*
41.44/10.94	     d6(677) -> 678*
41.44/10.94	     d6(557) -> 558*
41.44/10.94	     d6(744) -> 745*
41.44/10.94	     d6(537) -> 538*
41.44/10.94	     d6(689) -> 690*
41.44/10.94	     d6(674) -> 675*
41.44/10.94	     d6(407) -> 408*
41.44/10.94	     d6(726) -> 727*
41.44/10.94	     d6(721) -> 722*
41.44/10.94	     c0(2) -> 12*
41.44/10.94	     c0(3) -> 4*
41.44/10.94	     c6(626) -> 627*
41.44/10.94	     c6(406) -> 407*
41.44/10.94	     c6(598) -> 599*
41.44/10.94	     c6(735) -> 736*
41.44/10.94	     c6(528) -> 529*
41.44/10.94	     c6(725) -> 726*
41.44/10.94	     c6(720) -> 721*
41.44/10.94	     c6(443) -> 444*
41.44/10.94	     c6(802) -> 803*
41.44/10.94	     c6(595) -> 596*
41.44/10.94	     c6(792) -> 793*
41.44/10.94	     c6(789) -> 790*
41.44/10.94	     c6(587) -> 588*
41.44/10.94	     c6(714) -> 715*
41.44/10.94	     c6(614) -> 615*
41.44/10.94	     c6(806) -> 807*
41.44/10.94	     c6(584) -> 585*
41.44/10.94	     d0(12) -> 11*
41.44/10.94	     d0(2) -> 7*
41.44/10.94	     d5(414) -> 415*
41.44/10.94	     d5(606) -> 607*
41.44/10.94	     d5(441) -> 442*
41.44/10.94	     d5(680) -> 681*
41.44/10.94	     d5(385) -> 386*
41.44/10.94	     d5(562) -> 563*
41.44/10.94	     d5(522) -> 523*
41.44/10.94	     d5(609) -> 610*
41.44/10.94	     d5(559) -> 560*
41.44/10.94	     d5(352) -> 353*
41.44/10.94	     d1(35) -> 36*
41.44/10.94	     d1(22) -> 23*
41.44/10.94	     d1(26) -> 27*
41.44/10.94	     d1(13) -> 14*
41.44/10.94	     a6(389) -> 390*
41.44/10.94	     a6(748) -> 749*
41.44/10.94	     a6(546) -> 547*
41.44/10.94	     a6(678) -> 679*
41.44/10.94	     a6(628) -> 629*
41.44/10.94	     a6(765) -> 766*
41.44/10.94	     a6(745) -> 746*
41.44/10.94	     a6(538) -> 539*
41.44/10.94	     a6(912) -> 913*
41.44/10.94	     a6(690) -> 691*
41.44/10.94	     a6(675) -> 676*
41.44/10.94	     a6(767) -> 768*
41.44/10.94	     a6(737) -> 738*
41.44/10.94	     a6(350) -> 351*
41.44/10.94	     a6(569) -> 570*
41.44/10.94	     a6(766) -> 767*
41.44/10.94	     a6(549) -> 550*
41.44/10.94	     c1(25) -> 26*
41.44/10.94	     c1(42) -> 43*
41.44/10.94	     c1(34) -> 35*
41.44/10.94	     c1(140) -> 141*
41.44/10.94	     b6(803) -> 804*
41.44/10.94	     b6(633) -> 634*
41.44/10.94	     b6(805) -> 806*
41.44/10.94	     b6(997) -> 998*
41.44/10.94	     b6(625) -> 626*
41.44/10.94	     b6(807) -> 808*
41.44/10.94	     b6(627) -> 628*
41.44/10.94	     b6(734) -> 735*
41.44/10.94	     b6(801) -> 802*
41.44/10.94	     b6(736) -> 737*
41.44/10.94	     a1(142) -> 143*
41.44/10.94	     a1(14) -> 15*
41.44/10.94	     a1(23) -> 24*
41.44/10.94	     d7(838) -> 839*
41.44/10.94	     d7(970) -> 971*
41.44/10.94	     d7(1032) -> 1033*
41.44/10.94	     d7(942) -> 943*
41.44/10.94	     d7(705) -> 706*
41.44/10.94	     d7(852) -> 853*
41.44/10.94	     d7(934) -> 935*
41.44/10.94	     d7(732) -> 733*
41.44/10.94	     d7(692) -> 693*
41.44/10.94	     d7(884) -> 885*
41.44/10.94	     d7(1081) -> 1082*
41.44/10.94	     d7(672) -> 673*
41.44/10.94	     d7(849) -> 850*
41.44/10.94	     d7(834) -> 835*
41.44/10.94	     d7(669) -> 670*
41.44/10.94	     d7(846) -> 847*
41.44/10.94	     d7(841) -> 842*
41.44/10.94	     d7(831) -> 832*
41.44/10.94	     b1(77) -> 78*
41.44/10.94	     b1(139) -> 140*
41.44/10.94	     b1(141) -> 142*
41.44/10.94	     b1(41) -> 42*
41.44/10.94	     b1(43) -> 44*
41.44/10.94	     b1(175) -> 176*
41.44/10.94	     b1(125) -> 126*
41.44/10.94	     c7(1080) -> 1081*
41.44/10.94	     c7(840) -> 841*
41.44/10.94	     c7(837) -> 838*
41.44/10.94	     c7(969) -> 970*
41.44/10.94	     c7(712) -> 713*
41.44/10.94	     c7(986) -> 987*
41.44/10.94	     c7(941) -> 942*
41.44/10.94	     c7(931) -> 932*
41.44/10.94	     c7(704) -> 705*
41.44/10.94	     c7(816) -> 817*
41.44/10.94	     c7(933) -> 934*
41.44/10.94	     c7(731) -> 732*
41.44/10.94	     d2(75) -> 76*
41.44/10.94	     d2(45) -> 46*
41.44/10.94	     d2(137) -> 138*
41.44/10.94	     d2(127) -> 128*
41.44/10.94	     d2(199) -> 200*
41.44/10.94	     d2(149) -> 150*
41.44/10.94	     d2(99) -> 100*
41.44/10.94	     d2(54) -> 55*
41.44/10.94	     d2(66) -> 67*
41.86/10.94	     d2(168) -> 169*
41.86/10.94	     d2(158) -> 159*
41.86/10.94	     d2(185) -> 186*
41.86/10.94	     d2(165) -> 166*
41.86/10.94	     a7(903) -> 904*
41.86/10.94	     a7(853) -> 854*
41.86/10.94	     a7(818) -> 819*
41.86/10.94	     a7(915) -> 916*
41.86/10.94	     a7(905) -> 906*
41.86/10.94	     a7(693) -> 694*
41.86/10.94	     a7(885) -> 886*
41.86/10.94	     a7(850) -> 851*
41.86/10.94	     a7(835) -> 836*
41.86/10.94	     a7(670) -> 671*
41.86/10.94	     a7(847) -> 848*
41.86/10.94	     a7(832) -> 833*
41.86/10.94	     a7(914) -> 915*
41.86/10.94	     a7(904) -> 905*
41.86/10.94	     a7(916) -> 917*
41.86/10.94	     a7(1033) -> 1034*
41.86/10.94	     c2(65) -> 66*
41.86/10.94	     c2(167) -> 168*
41.86/10.94	     c2(87) -> 88*
41.86/10.94	     c2(164) -> 165*
41.86/10.94	     c2(74) -> 75*
41.86/10.94	     c2(136) -> 137*
41.86/10.94	     c2(198) -> 199*
41.86/10.94	     c2(113) -> 114*
41.86/10.94	     b7(985) -> 986*
41.86/10.94	     b7(815) -> 816*
41.86/10.94	     b7(1012) -> 1013*
41.86/10.94	     b7(987) -> 988*
41.86/10.94	     b7(817) -> 818*
41.86/10.94	     b7(1093) -> 1094*
41.86/10.94	     a2(55) -> 56*
41.86/10.94	     a2(324) -> 325*
41.86/10.94	     a2(57) -> 58*
41.86/10.94	     a2(159) -> 160*
41.86/10.94	     a2(326) -> 327*
41.86/10.94	     a2(89) -> 90*
41.86/10.94	     a2(59) -> 60*
41.86/10.94	     a2(186) -> 187*
41.86/10.94	     a2(328) -> 329*
41.86/10.94	     a2(318) -> 319*
41.86/10.94	     a2(46) -> 47*
41.86/10.94	     a2(128) -> 129*
41.86/10.94	     a2(58) -> 59*
41.86/10.94	     a2(150) -> 151*
41.86/10.94	     a2(317) -> 318*
41.86/10.94	     d8(843) -> 844*
41.86/10.94	     d8(1020) -> 1021*
41.86/10.94	     d8(1104) -> 1105*
41.86/10.94	     d8(1029) -> 1030*
41.86/10.94	     d8(924) -> 925*
41.86/10.94	     d8(1041) -> 1042*
41.86/10.94	     d8(891) -> 892*
41.86/10.94	     d8(1088) -> 1089*
41.86/10.94	     d8(1078) -> 1079*
41.86/10.94	     d8(1068) -> 1069*
41.86/10.94	     d8(983) -> 984*
41.86/10.94	     b2(177) -> 178*
41.86/10.94	     b2(86) -> 87*
41.86/10.94	     b2(310) -> 311*
41.86/10.94	     b2(88) -> 89*
41.86/10.94	     c8(1087) -> 1088*
41.86/10.94	     c8(1077) -> 1078*
41.86/10.94	     c8(1067) -> 1068*
41.86/10.94	     c8(982) -> 983*
41.86/10.94	     c8(1108) -> 1109*
41.86/10.94	     c8(993) -> 994*
41.86/10.94	     c8(923) -> 924*
41.86/10.94	     d3(104) -> 105*
41.86/10.94	     d3(111) -> 112*
41.86/10.94	     d3(91) -> 92*
41.86/10.94	     d3(420) -> 421*
41.86/10.94	     d3(183) -> 184*
41.86/10.94	     d3(118) -> 119*
41.86/10.94	     d3(362) -> 363*
41.86/10.94	     a8(1030) -> 1031*
41.86/10.94	     a8(995) -> 996*
41.86/10.94	     a8(1052) -> 1053*
41.86/10.94	     a8(1042) -> 1043*
41.86/10.94	     a8(892) -> 893*
41.86/10.94	     a8(1054) -> 1055*
41.86/10.94	     a8(844) -> 845*
41.86/10.94	     a8(1021) -> 1022*
41.86/10.94	     a8(1053) -> 1054*
41.86/10.94	     c3(419) -> 420*
41.86/10.94	     c3(207) -> 208*
41.86/10.94	     c3(117) -> 118*
41.86/10.94	     c3(341) -> 342*
41.86/10.94	     c3(236) -> 237*
41.86/10.94	     c3(191) -> 192*
41.86/10.94	     c3(300) -> 301*
41.86/10.94	     c3(821) -> 822*
41.86/10.94	     c3(110) -> 111*
41.86/10.94	     b8(1095) -> 1096*
41.86/10.94	     b8(992) -> 993*
41.86/10.94	     b8(994) -> 995*
41.86/10.94	     a3(823) -> 824*
41.86/10.94	     a3(92) -> 93*
41.86/10.94	     a3(209) -> 210*
41.86/10.94	     a3(363) -> 364*
41.86/10.94	     a3(105) -> 106*
41.86/10.94	     a3(302) -> 303*
41.86/10.94	     1 -> 951,168,75,35,12
41.86/10.94	     2 -> 139,34,12,22
41.86/10.94	     3 -> 4*
41.86/10.94	     4 -> 25,13
41.86/10.94	     8 -> 946,826,828,821,874,961,159,169,140,149,165,76,78,42,43,57,66,23,7,36,11,3,13,26
41.86/10.94	     9 -> 41*
41.86/10.94	     10 -> 125*
41.86/10.94	     1012 -> 1067,1020
41.86/10.94	     1013 -> 816*
41.86/10.94	     15 -> 5*
41.86/10.94	     1019 -> 995*
41.86/10.94	     1022 -> 1013*
41.86/10.94	     23 -> 310*
41.86/10.94	     24 -> 822,141,164,149,165,477,420,274,233,43,66,3
41.86/10.94	     25 -> 26*
41.86/10.94	     27 -> 5*
41.86/10.94	     1030 -> 1095,1093
41.86/10.94	     1031 -> 988*
41.86/10.94	     1034 -> 998*
41.86/10.94	     34 -> 35*
41.86/10.94	     36 -> 3*
41.86/10.94	     41 -> 324,74,54
41.86/10.94	     42 -> 43*
41.86/10.94	     1043 -> 1094,986
41.86/10.94	     43 -> 65,57,45
41.86/10.94	     44 -> 23*
41.86/10.94	     1046 -> 1096,993
41.86/10.94	     46 -> 86,77
41.86/10.94	     47 -> 44*
41.86/10.94	     1055 -> 693,733
41.86/10.94	     55 -> 299*
41.86/10.94	     56 -> 78,42
41.86/10.94	     57 -> 206*
41.86/10.94	     58 -> 235*
41.86/10.94	     59 -> 177,175
41.86/10.94	     60 -> 962,823,166,234,207,208,223,67,44,23,27,14,5
41.86/10.94	     1064 -> 1065*
41.86/10.94	     65 -> 66*
41.86/10.94	     1066 -> 995*
41.86/10.94	     1067 -> 1068*
41.86/10.94	     67 -> 44*
41.86/10.94	     1069 -> 1013*
41.86/10.94	     74 -> 75*
41.86/10.94	     76 -> 78,42
41.86/10.94	     1077 -> 1078*
41.86/10.94	     77 -> 317,113,99
41.86/10.94	     78 -> 42*
41.86/10.94	     1079 -> 988*
41.86/10.94	     1080 -> 1081*
41.86/10.94	     1082 -> 998*
41.86/10.94	     86 -> 117,104
41.86/10.94	     1087 -> 1088*
41.86/10.94	     87 -> 88*
41.86/10.94	     88 -> 110,91
41.86/10.94	     1089 -> 1094,986
41.86/10.94	     1090 -> 1091*
41.86/10.94	     90 -> 961,165,233,66,26
41.86/10.94	     1092 -> 1096,993
41.86/10.94	     1093 -> 1108,1104
41.86/10.94	     93 -> 89*
41.86/10.94	     1094 -> 986*
41.86/10.94	     1095 -> 1106,1102
41.86/10.94	     1096 -> 993*
41.86/10.94	     100 -> 55*
41.86/10.94	     1103 -> 1045*
41.86/10.94	     1105 -> 1042*
41.86/10.94	     1106 -> 1107,1091
41.86/10.94	     106 -> 178,87
41.86/10.94	     1107 -> 1091*
41.86/10.94	     1108 -> 1109,1088
41.86/10.94	     1109 -> 1088*
41.86/10.94	     110 -> 111*
41.86/10.94	     112 -> 89*
41.86/10.94	     113 -> 114,75
41.86/10.94	     114 -> 75*
41.86/10.94	     117 -> 118*
41.86/10.94	     119 -> 178,87
41.86/10.94	     125 -> 328,136,127
41.86/10.94	     126 -> 42*
41.86/10.94	     128 -> 308*
41.86/10.94	     129 -> 126*
41.86/10.94	     136 -> 137*
41.86/10.94	     138 -> 126*
41.86/10.94	     139 -> 167,158
41.86/10.94	     140 -> 141*
41.86/10.94	     141 -> 164,149
41.86/10.94	     143 -> 945,477,137
41.86/10.94	     151 -> 142*
41.86/10.94	     160 -> 140*
41.86/10.94	     164 -> 165*
41.86/10.94	     166 -> 142*
41.86/10.94	     167 -> 168*
41.86/10.94	     169 -> 140*
41.86/10.94	     175 -> 326,198,185
41.86/10.94	     176 -> 42*
41.86/10.94	     177 -> 191,183
41.86/10.94	     178 -> 87*
41.86/10.94	     184 -> 105*
41.86/10.94	     186 -> 304*
41.86/10.94	     187 -> 176*
41.86/10.94	     191 -> 192,118
41.86/10.94	     192 -> 118*
41.86/10.94	     198 -> 199*
41.86/10.94	     200 -> 176*
41.86/10.94	     206 -> 232,217
41.86/10.94	     207 -> 208*
41.86/10.94	     208 -> 223,214
41.86/10.94	     210 -> 959,192,199,118
41.86/10.94	     216 -> 225,215,209
41.86/10.94	     218 -> 238*
41.86/10.94	     219 -> 477,420,207
41.86/10.94	     223 -> 224*
41.86/10.94	     225 -> 209*
41.86/10.94	     232 -> 233*
41.86/10.94	     234 -> 207*
41.86/10.94	     235 -> 273,249
41.86/10.94	     236 -> 237*
41.86/10.94	     237 -> 264,258,246
41.86/10.94	     238 -> 218*
41.86/10.94	     247 -> 290,286
41.86/10.94	     248 -> 247,238,218
41.86/10.94	     251 -> 275,236
41.86/10.94	     260 -> 215*
41.86/10.94	     264 -> 265,217
41.86/10.94	     265 -> 217*
41.86/10.94	     273 -> 274*
41.86/10.94	     275 -> 236*
41.86/10.94	     286 -> 440,385
41.86/10.94	     287 -> 288*
41.86/10.94	     288 -> 413,391,352
41.86/10.94	     289 -> 218*
41.86/10.94	     290 -> 406,349
41.86/10.94	     291 -> 292*
41.86/10.94	     292 -> 443,388
41.86/10.94	     294 -> 407,441,224
41.86/10.94	     299 -> 431,368
41.86/10.94	     300 -> 301*
41.86/10.94	     301 -> 416,359
41.86/10.94	     303 -> 274*
41.86/10.94	     304 -> 433,376
41.86/10.94	     305 -> 300*
41.86/10.94	     308 -> 422,365
41.86/10.94	     309 -> 300*
41.86/10.94	     310 -> 419,362
41.86/10.94	     311 -> 300*
41.86/10.94	     317 -> 829*
41.86/10.94	     318 -> 340*
41.86/10.94	     319 -> 250*
41.86/10.94	     324 -> 820*
41.86/10.94	     325 -> 318*
41.86/10.94	     326 -> 825*
41.86/10.94	     327 -> 318*
41.86/10.94	     328 -> 827*
41.86/10.94	     329 -> 318*
41.86/10.94	     340 -> 652,476,462
41.86/10.94	     341 -> 342*
41.86/10.94	     342 -> 479,468,465
41.86/10.94	     343 -> 250*
41.86/10.94	     351 -> 457,291
41.86/10.94	     353 -> 456,454
41.86/10.94	     354 -> 247,289
41.86/10.94	     361 -> 302*
41.86/10.94	     364 -> 311*
41.86/10.94	     367 -> 305,309,300
41.86/10.94	     369 -> 366*
41.86/10.94	     377 -> 366*
41.86/10.94	     387 -> 455,287
41.86/10.94	     390 -> 293*
41.86/10.94	     394 -> 225,215,209
41.86/10.94	     406 -> 407*
41.86/10.94	     408 -> 457,291
41.86/10.94	     413 -> 414*
41.86/10.94	     415 -> 289*
41.86/10.94	     416 -> 417*
41.86/10.94	     418 -> 302*
41.86/10.94	     419 -> 420*
41.86/10.94	     421 -> 311*
41.86/10.94	     422 -> 423*
41.86/10.94	     424 -> 305,309,300
41.86/10.94	     431 -> 432*
41.86/10.94	     432 -> 423*
41.86/10.94	     433 -> 434*
41.86/10.94	     434 -> 423*
41.86/10.94	     440 -> 441*
41.86/10.94	     442 -> 455,287
41.86/10.94	     443 -> 444*
41.86/10.94	     445 -> 293*
41.86/10.94	     454 -> 530,522
41.86/10.94	     455 -> 287*
41.86/10.94	     456 -> 528,520
41.86/10.94	     457 -> 291*
41.86/10.94	     463 -> 620*
41.86/10.94	     464 -> 341*
41.86/10.94	     466 -> 511,498
41.86/10.94	     467 -> 343*
41.86/10.94	     468 -> 487*
41.86/10.94	     469 -> 492*
41.86/10.94	     470 -> 247*
41.86/10.94	     476 -> 477*
41.86/10.94	     478 -> 341*
41.86/10.94	     479 -> 480*
41.86/10.94	     481 -> 343*
41.86/10.94	     487 -> 595,548
41.86/10.94	     488 -> 489*
41.86/10.94	     489 -> 614,568
41.86/10.94	     491 -> 407,441
41.86/10.94	     492 -> 598,557
41.86/10.94	     493 -> 488*
41.86/10.94	     498 -> 754,605,559
41.86/10.94	     499 -> 500*
41.86/10.94	     500 -> 608,571,562
41.86/10.94	     501 -> 250*
41.86/10.94	     511 -> 584,537
41.86/10.94	     512 -> 513*
41.86/10.94	     513 -> 587,545
41.86/10.94	     515 -> 265,217
41.86/10.94	     521 -> 350*
41.86/10.94	     523 -> 386*
41.86/10.94	     528 -> 529,407
41.86/10.94	     529 -> 407*
41.86/10.94	     530 -> 531,441
41.86/10.94	     531 -> 441*
41.86/10.94	     539 -> 512*
41.86/10.94	     547 -> 514*
41.86/10.94	     550 -> 597,493,488
41.86/10.94	     558 -> 549*
41.86/10.94	     560 -> 734*
41.86/10.94	     561 -> 643,499
41.86/10.94	     563 -> 644,642
41.86/10.94	     564 -> 501*
41.86/10.94	     570 -> 490*
41.86/10.94	     571 -> 625*
41.86/10.94	     572 -> 633*
41.86/10.94	     573 -> 353*
41.86/10.94	     584 -> 585*
41.86/10.94	     586 -> 512*
41.86/10.94	     587 -> 588*
41.86/10.94	     589 -> 514*
41.86/10.94	     595 -> 596*
41.86/10.94	     597 -> 493,488
41.86/10.94	     598 -> 599,596
41.86/10.94	     599 -> 596*
41.86/10.94	     605 -> 606*
41.86/10.94	     607 -> 643,499
41.86/10.94	     608 -> 609*
41.86/10.94	     610 -> 501*
41.86/10.94	     614 -> 615*
41.86/10.94	     616 -> 490*
41.86/10.94	     620 -> 725,689
41.86/10.94	     621 -> 622*
41.86/10.94	     622 -> 714,674
41.86/10.94	     624 -> 599,596
41.86/10.94	     625 -> 704,669
41.86/10.94	     626 -> 627*
41.86/10.94	     627 -> 731,692
41.86/10.94	     629 -> 529,531,441,407
41.86/10.94	     633 -> 712,672
41.86/10.94	     634 -> 626*
41.86/10.94	     642 -> 757,723,680
41.86/10.94	     643 -> 499*
41.86/10.94	     644 -> 720,677
41.86/10.94	     645 -> 512*
41.86/10.94	     653 -> 665*
41.86/10.94	     654 -> 549*
41.86/10.94	     665 -> 789,744
41.86/10.94	     666 -> 667*
41.86/10.94	     667 -> 792,765,747
41.86/10.94	     668 -> 549*
41.86/10.94	     670 -> 804*
41.86/10.94	     671 -> 706,634,626
41.86/10.94	     673 -> 670*
41.86/10.94	     676 -> 623*
41.86/10.94	     679 -> 645*
41.86/10.94	     681 -> 560*
41.86/10.94	     691 -> 621*
41.86/10.94	     694 -> 628*
41.86/10.94	     704 -> 705*
41.86/10.94	     706 -> 634,626
41.86/10.94	     712 -> 713,705
41.86/10.94	     713 -> 705*
41.86/10.94	     714 -> 715*
41.86/10.94	     716 -> 623*
41.86/10.94	     720 -> 721*
41.86/10.94	     722 -> 645*
41.86/10.94	     723 -> 724,606
41.86/10.94	     724 -> 606*
41.86/10.94	     725 -> 726*
41.86/10.94	     727 -> 621*
41.86/10.94	     731 -> 732*
41.86/10.94	     733 -> 628*
41.86/10.94	     734 -> 837,831
41.86/10.94	     735 -> 736*
41.86/10.94	     736 -> 840,834
41.86/10.94	     738 -> 713,705
41.86/10.94	     746 -> 666*
41.86/10.94	     748 -> 815,805
41.86/10.94	     749 -> 668*
41.86/10.94	     755 -> 801*
41.86/10.94	     756 -> 670*
41.86/10.94	     758 -> 755*
41.86/10.94	     768 -> 616,490,569
41.86/10.94	     789 -> 790*
41.86/10.94	     791 -> 666*
41.86/10.94	     792 -> 793*
41.86/10.94	     794 -> 668*
41.86/10.94	     801 -> 969,884
41.86/10.94	     802 -> 803*
41.86/10.94	     803 -> 931,903,846
41.86/10.94	     804 -> 670*
41.86/10.94	     805 -> 933,849
41.86/10.94	     806 -> 807*
41.86/10.94	     807 -> 941,914,912,852
41.86/10.94	     808 -> 549*
41.86/10.94	     815 -> 982,891
41.86/10.94	     816 -> 817*
41.86/10.94	     817 -> 923,843
41.86/10.94	     819 -> 615*
41.86/10.94	     820 -> 950,863
41.86/10.94	     821 -> 822*
41.86/10.94	     822 -> 960,874
41.86/10.94	     824 -> 790*
41.86/10.94	     825 -> 958,865
41.86/10.94	     826 -> 821*
41.86/10.94	     827 -> 944,855
41.86/10.94	     828 -> 821*
41.86/10.94	     829 -> 947,858
41.86/10.94	     830 -> 821*
41.86/10.94	     833 -> 735*
41.86/10.94	     836 -> 737*
41.86/10.94	     837 -> 838*
41.86/10.94	     839 -> 735*
41.86/10.94	     840 -> 841*
41.86/10.94	     842 -> 737*
41.86/10.94	     845 -> 818*
41.86/10.94	     847 -> 992,985
41.86/10.94	     848 -> 804,670
41.86/10.94	     851 -> 806*
41.86/10.94	     853 -> 1012,997
41.86/10.94	     854 -> 808,549
41.86/10.94	     857 -> 826,828
41.86/10.94	     860 -> 830*
41.86/10.94	     864 -> 856*
41.86/10.94	     866 -> 856*
41.86/10.94	     876 -> 823*
41.86/10.94	     886 -> 802*
41.86/10.94	     893 -> 816*
41.86/10.94	     906 -> 693,733
41.86/10.94	     913 -> 766*
41.86/10.94	     917 -> 616,490
41.86/10.94	     923 -> 924*
41.86/10.94	     925 -> 818*
41.86/10.94	     931 -> 932,669
41.86/10.94	     932 -> 669*
41.86/10.94	     933 -> 934*
41.86/10.94	     935 -> 806*
41.86/10.94	     941 -> 942*
41.86/10.94	     943 -> 808,549
41.86/10.94	     944 -> 945*
41.86/10.94	     946 -> 826,828
41.86/10.94	     947 -> 948*
41.86/10.94	     949 -> 830*
41.86/10.94	     950 -> 951*
41.86/10.94	     951 -> 945*
41.86/10.94	     958 -> 959,945
41.86/10.94	     959 -> 945*
41.86/10.94	     960 -> 961*
41.86/10.94	     962 -> 823*
41.86/10.94	     969 -> 970*
41.86/10.94	     971 -> 802*
41.86/10.94	     982 -> 983*
41.86/10.94	     984 -> 816*
41.86/10.94	     985 -> 1087,1041
41.86/10.94	     986 -> 987*
41.86/10.94	     987 -> 1077,1052,1029
41.86/10.94	     988 -> 670*
41.86/10.94	     992 -> 1090,1044
41.86/10.94	     993 -> 994*
41.86/10.94	     994 -> 1064,1017
41.86/10.94	     996 -> 732*
41.86/10.94	     997 -> 1080,1032
41.86/10.94	     998 -> 806*
41.86/10.94	   problem:
41.86/10.94	    
41.86/10.94	   Qed
41.86/10.95	EOF