YES(?,O(n^1))
19.03/5.04	YES(?,O(n^1))
19.03/5.05	
19.03/5.05	Problem:
19.03/5.05	 2(5(x1)) -> 1(3(3(0(1(0(x1))))))
19.03/5.05	 2(5(x1)) -> 2(2(0(5(0(1(x1))))))
19.03/5.05	 3(5(x1)) -> 1(3(2(0(0(1(x1))))))
19.03/5.05	 3(5(x1)) -> 3(2(0(5(3(0(x1))))))
19.03/5.05	 4(5(x1)) -> 2(2(1(3(2(1(x1))))))
19.03/5.05	 4(5(x1)) -> 3(2(0(5(0(0(x1))))))
19.03/5.05	 1(2(5(x1))) -> 1(0(5(0(5(4(x1))))))
19.03/5.05	 1(2(5(x1))) -> 1(2(2(1(0(1(x1))))))
19.03/5.05	 1(2(5(x1))) -> 2(0(1(3(1(0(x1))))))
19.03/5.05	 1(4(5(x1))) -> 1(2(4(0(2(1(x1))))))
19.03/5.05	 2(5(1(x1))) -> 2(2(2(1(2(3(x1))))))
19.03/5.05	 2(5(2(x1))) -> 4(0(2(2(3(3(x1))))))
19.03/5.05	 2(5(3(x1))) -> 2(0(4(1(3(3(x1))))))
19.03/5.05	 2(5(4(x1))) -> 2(0(5(1(0(1(x1))))))
19.03/5.05	 3(2(5(x1))) -> 3(2(0(1(0(5(x1))))))
19.03/5.05	 3(4(2(x1))) -> 3(4(0(2(2(2(x1))))))
19.03/5.05	 3(5(1(x1))) -> 0(4(2(0(0(5(x1))))))
19.03/5.05	 3(5(1(x1))) -> 0(4(2(2(3(4(x1))))))
19.03/5.05	 3(5(1(x1))) -> 2(1(4(1(0(1(x1))))))
19.03/5.05	 3(5(2(x1))) -> 0(4(3(2(2(2(x1))))))
19.03/5.05	 3(5(2(x1))) -> 2(0(2(2(3(0(x1))))))
19.03/5.05	 3(5(2(x1))) -> 2(3(3(2(1(2(x1))))))
19.03/5.05	 3(5(3(x1))) -> 0(2(4(3(3(0(x1))))))
19.03/5.05	 3(5(3(x1))) -> 0(5(4(3(3(0(x1))))))
19.03/5.05	 3(5(3(x1))) -> 2(3(4(0(4(2(x1))))))
19.03/5.05	 3(5(4(x1))) -> 0(2(0(5(0(0(x1))))))
19.03/5.05	 3(5(4(x1))) -> 0(5(0(0(1(2(x1))))))
19.03/5.05	 3(5(5(x1))) -> 0(5(4(1(0(5(x1))))))
19.03/5.05	 4(5(1(x1))) -> 2(1(0(5(3(3(x1))))))
19.03/5.05	 4(5(2(x1))) -> 0(5(1(0(0(4(x1))))))
19.03/5.05	 4(5(4(x1))) -> 2(2(1(0(4(2(x1))))))
19.03/5.05	 4(5(4(x1))) -> 3(2(0(3(2(0(x1))))))
19.03/5.05	 5(5(3(x1))) -> 5(1(0(1(2(2(x1))))))
19.03/5.05	 5(5(4(x1))) -> 5(1(0(4(2(2(x1))))))
19.03/5.05	
19.03/5.05	Proof:
19.03/5.05	 Bounds Processor:
19.03/5.05	  bound: 2
19.03/5.05	  enrichment: match
19.03/5.05	  automaton:
19.03/5.05	   final states: {6,5,4,3,2,1}
19.03/5.05	   transitions:
19.03/5.05	    51(267) -> 268*
19.03/5.05	    51(641) -> 642*
19.03/5.05	    51(626) -> 627*
19.03/5.05	    51(132) -> 133*
19.03/5.05	    51(471) -> 472*
19.03/5.05	    51(269) -> 270*
19.03/5.05	    51(633) -> 634*
19.03/5.05	    51(361) -> 362*
19.03/5.05	    51(710) -> 711*
19.03/5.05	    51(261) -> 262*
19.03/5.05	    51(817) -> 818*
19.03/5.05	    51(368) -> 369*
19.03/5.05	    51(278) -> 279*
19.03/5.05	    51(263) -> 264*
19.03/5.05	    51(56) -> 57*
19.03/5.05	    51(248) -> 249*
19.03/5.05	    51(637) -> 638*
19.03/5.05	    51(138) -> 139*
19.03/5.05	    51(250) -> 251*
19.03/5.05	    51(382) -> 383*
19.03/5.05	    51(342) -> 343*
19.03/5.05	    51(140) -> 141*
19.03/5.05	    51(721) -> 722*
19.03/5.05	    51(110) -> 111*
19.03/5.05	    11(252) -> 253*
19.03/5.05	    11(237) -> 238*
19.03/5.05	    11(409) -> 410*
19.03/5.05	    11(379) -> 380*
19.03/5.05	    11(773) -> 774*
19.03/5.05	    11(142) -> 143*
19.03/5.05	    11(117) -> 118*
19.03/5.05	    11(102) -> 103*
19.03/5.05	    11(97) -> 98*
19.03/5.05	    11(683) -> 684*
19.03/5.05	    11(82) -> 83*
19.03/5.05	    11(381) -> 382*
19.03/5.05	    11(371) -> 372*
19.03/5.05	    11(730) -> 731*
19.03/5.05	    11(720) -> 721*
19.03/5.05	    11(84) -> 85*
19.03/5.05	    11(54) -> 55*
19.03/5.05	    11(9) -> 10*
19.03/5.05	    11(201) -> 202*
19.03/5.05	    11(186) -> 187*
19.03/5.05	    11(575) -> 576*
19.03/5.05	    11(363) -> 364*
19.03/5.05	    11(71) -> 72*
19.03/5.05	    11(794) -> 795*
19.03/5.05	    11(577) -> 578*
19.03/5.05	    11(739) -> 740*
19.03/5.05	    11(73) -> 74*
19.03/5.05	    11(13) -> 14*
19.03/5.05	    11(175) -> 176*
19.03/5.05	    11(367) -> 368*
19.03/5.05	    11(327) -> 328*
19.03/5.05	    11(312) -> 313*
19.03/5.05	    01(858) -> 859*
19.03/5.05	    01(55) -> 56*
19.03/5.05	    01(631) -> 632*
19.03/5.05	    01(10) -> 11*
19.03/5.05	    01(187) -> 188*
19.03/5.05	    01(581) -> 582*
19.03/5.05	    01(369) -> 370*
19.03/5.05	    01(718) -> 719*
19.03/5.05	    01(698) -> 699*
19.03/5.05	    01(688) -> 689*
19.03/5.05	    01(57) -> 58*
19.03/5.05	    01(52) -> 53*
19.03/5.05	    01(850) -> 851*
19.03/5.05	    01(42) -> 43*
19.03/5.05	    01(239) -> 240*
19.03/5.05	    01(234) -> 235*
19.03/5.05	    01(628) -> 629*
19.03/5.05	    01(366) -> 367*
19.03/5.05	    01(765) -> 766*
19.03/5.05	    01(351) -> 352*
19.03/5.05	    01(139) -> 140*
19.03/5.05	    01(306) -> 307*
19.03/5.05	    01(902) -> 903*
19.03/5.05	    01(99) -> 100*
19.03/5.05	    01(690) -> 691*
19.03/5.05	    01(887) -> 888*
19.03/5.05	    01(251) -> 252*
19.03/5.05	    01(44) -> 45*
19.03/5.05	    01(29) -> 30*
19.03/5.05	    01(348) -> 349*
19.03/5.05	    01(141) -> 142*
19.03/5.05	    01(131) -> 132*
19.03/5.05	    01(722) -> 723*
19.03/5.05	    01(111) -> 112*
19.03/5.05	    01(303) -> 304*
19.03/5.05	    01(692) -> 693*
19.03/5.05	    01(283) -> 284*
19.03/5.05	    01(839) -> 840*
19.03/5.05	    01(31) -> 32*
19.03/5.05	    01(627) -> 628*
19.03/5.05	    01(400) -> 401*
19.03/5.05	    01(380) -> 381*
19.03/5.05	    01(365) -> 366*
19.03/5.05	    01(350) -> 351*
19.03/5.05	    01(345) -> 346*
19.03/5.05	    01(537) -> 538*
19.03/5.05	    01(133) -> 134*
19.03/5.05	    01(325) -> 326*
19.03/5.05	    01(719) -> 720*
19.03/5.05	    01(694) -> 695*
19.03/5.05	    01(8) -> 9*
19.03/5.05	    01(190) -> 191*
19.03/5.05	    01(362) -> 363*
19.03/5.05	    01(706) -> 707*
19.03/5.05	    41(873) -> 874*
19.03/5.05	    41(671) -> 672*
19.03/5.05	    41(823) -> 824*
19.03/5.05	    41(359) -> 360*
19.03/5.05	    41(152) -> 153*
19.03/5.05	    41(344) -> 345*
19.03/5.05	    41(137) -> 138*
19.03/5.05	    41(728) -> 729*
19.03/5.05	    41(284) -> 285*
19.03/5.05	    41(673) -> 674*
19.03/5.05	    41(663) -> 664*
19.03/5.05	    41(391) -> 392*
19.03/5.05	    41(775) -> 776*
19.03/5.05	    41(154) -> 155*
19.03/5.05	    41(346) -> 347*
19.03/5.05	    41(538) -> 539*
19.03/5.05	    41(311) -> 312*
19.03/5.05	    41(700) -> 701*
19.03/5.05	    41(630) -> 631*
19.03/5.05	    41(191) -> 192*
19.03/5.05	    41(161) -> 162*
19.03/5.05	    41(333) -> 334*
19.03/5.05	    41(717) -> 718*
19.03/5.05	    41(682) -> 683*
19.03/5.05	    41(470) -> 471*
19.03/5.05	    41(238) -> 239*
19.03/5.05	    41(582) -> 583*
19.03/5.05	    41(173) -> 174*
19.03/5.05	    41(163) -> 164*
19.03/5.06	    41(724) -> 725*
19.03/5.06	    41(305) -> 306*
19.03/5.06	    41(669) -> 670*
19.03/5.06	    41(235) -> 236*
19.03/5.06	    41(726) -> 727*
19.03/5.06	    21(282) -> 283*
19.03/5.06	    21(232) -> 233*
19.03/5.06	    21(202) -> 203*
19.03/5.06	    21(177) -> 178*
19.03/5.06	    21(738) -> 739*
19.03/5.06	    21(536) -> 537*
19.03/5.06	    21(334) -> 335*
19.03/5.06	    21(324) -> 325*
19.03/5.06	    21(112) -> 113*
19.03/5.06	    21(309) -> 310*
19.03/5.06	    21(708) -> 709*
19.03/5.06	    21(304) -> 305*
19.03/5.06	    21(294) -> 295*
19.03/5.06	    21(376) -> 377*
19.03/5.06	    21(745) -> 746*
19.03/5.06	    21(134) -> 135*
19.03/5.06	    21(119) -> 120*
19.03/5.06	    21(301) -> 302*
19.03/5.06	    21(281) -> 282*
19.03/5.06	    21(877) -> 878*
19.03/5.06	    21(59) -> 60*
19.03/5.06	    21(176) -> 177*
19.03/5.06	    21(535) -> 536*
19.03/5.06	    21(732) -> 733*
19.03/5.06	    21(328) -> 329*
19.03/5.06	    21(323) -> 324*
19.03/5.06	    21(313) -> 314*
19.03/5.06	    21(904) -> 905*
19.03/5.06	    21(702) -> 703*
19.03/5.06	    21(889) -> 890*
19.03/5.06	    21(288) -> 289*
19.03/5.06	    21(879) -> 880*
19.03/5.06	    21(864) -> 865*
19.03/5.06	    21(233) -> 234*
19.03/5.06	    21(188) -> 189*
19.03/5.06	    21(118) -> 119*
19.03/5.06	    21(906) -> 907*
19.03/5.06	    21(704) -> 705*
19.03/5.06	    21(891) -> 892*
19.03/5.06	    21(290) -> 291*
19.03/5.06	    21(684) -> 685*
19.03/5.06	    21(881) -> 882*
19.03/5.06	    21(280) -> 281*
19.03/5.06	    21(58) -> 59*
19.03/5.06	    21(856) -> 857*
19.03/5.06	    21(629) -> 630*
19.03/5.06	    21(200) -> 201*
19.03/5.06	    21(579) -> 580*
19.03/5.06	    21(761) -> 762*
19.03/5.06	    21(115) -> 116*
19.03/5.06	    21(100) -> 101*
19.03/5.06	    21(292) -> 293*
19.03/5.06	    31(686) -> 687*
19.03/5.06	    31(883) -> 884*
19.03/5.06	    31(222) -> 223*
19.03/5.06	    31(783) -> 784*
19.03/5.06	    31(531) -> 532*
19.03/5.06	    31(329) -> 330*
19.03/5.06	    31(900) -> 901*
19.03/5.06	    31(224) -> 225*
19.03/5.06	    31(12) -> 13*
19.03/5.06	    31(204) -> 205*
19.03/5.06	    31(199) -> 200*
19.03/5.06	    31(548) -> 549*
19.03/5.06	    31(533) -> 534*
19.03/5.06	    31(321) -> 322*
19.03/5.06	    31(109) -> 110*
19.03/5.06	    31(231) -> 232*
19.03/5.06	    31(211) -> 212*
19.03/5.06	    31(792) -> 793*
19.03/5.06	    31(520) -> 521*
19.03/5.06	    31(116) -> 117*
19.03/5.06	    31(308) -> 309*
19.03/5.06	    31(101) -> 102*
19.03/5.06	    31(213) -> 214*
19.03/5.06	    31(11) -> 12*
19.03/5.06	    31(542) -> 543*
19.03/5.06	    31(330) -> 331*
19.03/5.06	    31(522) -> 523*
19.03/5.06	    31(113) -> 114*
19.03/5.06	    31(185) -> 186*
19.03/5.06	    31(377) -> 378*
19.03/5.06	    31(544) -> 545*
19.03/5.06	    31(135) -> 136*
19.03/5.06	    31(534) -> 535*
19.03/5.06	    31(332) -> 333*
19.03/5.06	    31(514) -> 515*
19.03/5.06	    31(696) -> 697*
19.03/5.06	    22(661) -> 662*
19.03/5.06	    22(803) -> 804*
19.03/5.06	    22(798) -> 799*
19.03/5.06	    22(596) -> 597*
19.03/5.06	    22(788) -> 789*
19.03/5.06	    22(885) -> 886*
19.03/5.06	    22(456) -> 457*
19.03/5.06	    22(451) -> 452*
19.03/5.06	    22(835) -> 836*
19.03/5.06	    22(406) -> 407*
19.03/5.06	    22(603) -> 604*
19.03/5.06	    22(598) -> 599*
19.03/5.06	    22(503) -> 504*
19.03/5.06	    22(498) -> 499*
19.03/5.06	    22(680) -> 681*
19.03/5.06	    22(428) -> 429*
19.03/5.06	    22(797) -> 798*
19.03/5.06	    22(787) -> 788*
19.03/5.06	    22(510) -> 511*
19.03/5.06	    22(450) -> 451*
19.03/5.06	    22(622) -> 623*
19.03/5.06	    22(607) -> 608*
19.03/5.06	    22(597) -> 598*
19.03/5.06	    22(512) -> 513*
19.03/5.06	    22(497) -> 498*
19.03/5.06	    22(447) -> 448*
19.03/5.06	    22(846) -> 847*
19.03/5.06	    22(836) -> 837*
19.03/5.06	    22(412) -> 413*
19.03/5.06	    22(811) -> 812*
19.03/5.06	    22(609) -> 610*
19.03/5.06	    22(407) -> 408*
19.03/5.06	    22(796) -> 797*
19.03/5.06	    20(5) -> 1*
19.03/5.06	    20(2) -> 1*
19.03/5.06	    20(4) -> 1*
19.03/5.06	    20(6) -> 1*
19.03/5.06	    20(1) -> 1*
19.03/5.06	    20(3) -> 1*
19.03/5.06	    12(449) -> 450*
19.03/5.06	    12(414) -> 415*
19.03/5.06	    12(394) -> 395*
19.03/5.06	    12(511) -> 512*
19.03/5.06	    12(501) -> 502*
19.03/5.06	    12(496) -> 497*
19.03/5.06	    12(845) -> 846*
19.03/5.06	    12(825) -> 826*
19.03/5.06	    12(715) -> 716*
19.03/5.06	    12(675) -> 676*
19.03/5.06	    12(827) -> 828*
19.03/5.06	    12(398) -> 399*
19.03/5.06	    12(767) -> 768*
19.03/5.06	    12(485) -> 486*
19.03/5.06	    12(677) -> 678*
19.03/5.06	    12(869) -> 870*
19.03/5.06	    12(679) -> 680*
19.03/5.06	    12(402) -> 403*
19.03/5.06	    50(5) -> 2*
19.03/5.06	    50(2) -> 2*
19.03/5.06	    50(4) -> 2*
19.03/5.06	    50(6) -> 2*
19.03/5.06	    50(1) -> 2*
19.03/5.06	    50(3) -> 2*
19.03/5.06	    02(484) -> 485*
19.03/5.06	    02(676) -> 677*
19.03/5.06	    02(868) -> 869*
19.03/5.06	    02(833) -> 834*
19.03/5.06	    02(621) -> 622*
19.03/5.06	    02(763) -> 764*
19.03/5.06	    02(411) -> 412*
19.03/5.06	    02(867) -> 868*
19.03/5.06	    02(453) -> 454*
19.03/5.06	    02(837) -> 838*
19.03/5.06	    02(620) -> 621*
19.03/5.06	    02(403) -> 404*
19.03/5.06	    02(393) -> 394*
19.03/5.06	    02(455) -> 456*
19.03/5.06	    02(405) -> 406*
19.03/5.06	    02(799) -> 800*
19.03/5.06	    02(395) -> 396*
19.03/5.06	    02(789) -> 790*
19.03/5.06	    02(714) -> 715*
19.03/5.06	    02(502) -> 503*
19.03/5.06	    02(482) -> 483*
19.03/5.06	    02(871) -> 872*
19.03/5.06	    02(427) -> 428*
19.03/5.06	    02(624) -> 625*
19.03/5.06	    02(599) -> 600*
19.03/5.06	    10(5) -> 3*
19.03/5.06	    10(2) -> 3*
19.03/5.06	    10(4) -> 3*
19.03/5.06	    10(6) -> 3*
19.03/5.06	    10(1) -> 3*
19.03/5.06	    10(3) -> 3*
19.03/5.06	    52(454) -> 455*
19.03/5.06	    52(813) -> 814*
19.03/5.06	    52(404) -> 405*
19.03/5.06	    52(713) -> 714*
19.03/5.06	    52(481) -> 482*
19.03/5.06	    52(870) -> 871*
19.03/5.06	    52(426) -> 427*
19.03/5.06	    52(815) -> 816*
19.03/5.06	    52(483) -> 484*
19.03/5.06	    52(619) -> 620*
19.03/5.06	    30(5) -> 4*
19.03/5.06	    30(2) -> 4*
19.03/5.06	    30(4) -> 4*
19.03/5.06	    30(6) -> 4*
19.03/5.06	    30(1) -> 4*
19.03/5.06	    30(3) -> 4*
19.03/5.06	    32(848) -> 849*
19.03/5.06	    32(429) -> 430*
19.03/5.06	    32(601) -> 602*
19.03/5.06	    32(396) -> 397*
19.03/5.06	    32(785) -> 786*
19.03/5.06	    32(660) -> 661*
19.03/5.06	    32(448) -> 449*
19.03/5.06	    32(847) -> 848*
19.03/5.06	    32(413) -> 414*
19.03/5.06	    32(712) -> 713*
19.03/5.06	    32(500) -> 501*
19.03/5.06	    32(834) -> 835*
19.03/5.06	    32(829) -> 830*
19.03/5.06	    32(425) -> 426*
19.03/5.06	    32(779) -> 780*
19.03/5.06	    32(457) -> 458*
19.03/5.06	    32(801) -> 802*
19.03/5.06	    32(397) -> 398*
19.03/5.06	    32(786) -> 787*
19.03/5.06	    32(781) -> 782*
19.03/5.06	    32(509) -> 510*
19.03/5.06	    00(5) -> 5*
19.03/5.06	    00(2) -> 5*
19.03/5.06	    00(4) -> 5*
19.03/5.06	    00(6) -> 5*
19.03/5.06	    00(1) -> 5*
19.03/5.06	    00(3) -> 5*
19.03/5.06	    42(678) -> 679*
19.03/5.06	    42(623) -> 624*
19.03/5.06	    42(800) -> 801*
19.03/5.06	    42(790) -> 791*
19.03/5.06	    42(600) -> 601*
19.03/5.06	    42(777) -> 778*
19.03/5.06	    42(480) -> 481*
19.03/5.06	    42(819) -> 820*
19.03/5.06	    42(866) -> 867*
19.03/5.06	    42(659) -> 660*
19.03/5.06	    42(821) -> 822*
19.03/5.06	    40(5) -> 6*
19.03/5.06	    40(2) -> 6*
19.03/5.06	    40(4) -> 6*
19.03/5.06	    40(6) -> 6*
19.03/5.06	    40(1) -> 6*
19.03/5.06	    40(3) -> 6*
19.03/5.06	    1 -> 294,269,222,163,84,44
19.03/5.06	    2 -> 288,261,204,152,71,29
19.03/5.06	    3 -> 301,278,224,173,97,52
19.03/5.06	    4 -> 290,263,211,154,73,31
19.03/5.06	    5 -> 280,250,199,137,54,8
19.03/5.06	    6 -> 292,267,213,161,82,42
19.03/5.06	    9 -> 376,131,109
19.03/5.06	    10 -> 682,185
19.03/5.06	    11 -> 579*
19.03/5.06	    13 -> 669,633,520
19.03/5.06	    14 -> 289,327,1
19.03/5.06	    30 -> 9*
19.03/5.06	    32 -> 9*
19.03/5.06	    43 -> 9*
19.03/5.06	    45 -> 9*
19.03/5.06	    53 -> 9*
19.03/5.06	    55 -> 115*
19.03/5.06	    56 -> 175,99
19.03/5.06	    59 -> 726,692,609,544
19.03/5.06	    60 -> 289,327,1
19.03/5.06	    72 -> 55*
19.03/5.06	    73 -> 827,823,821,817,815,783,781
19.03/5.06	    74 -> 85,3,55
19.03/5.06	    83 -> 55*
19.03/5.06	    85 -> 55*
19.03/5.06	    98 -> 55*
19.03/5.06	    102 -> 663,626,514
19.03/5.06	    103 -> 205,200,231,4
19.03/5.06	    110 -> 332,323
19.03/5.06	    113 -> 702,698
19.03/5.06	    114 -> 309,214,223,205,200,231,4
19.03/5.06	    116 -> 190*
19.03/5.06	    117 -> 696*
19.03/5.06	    119 -> 724,690,603,542
19.03/5.06	    120 -> 153,308,6
19.03/5.06	    135 -> 704,348
19.03/5.06	    136 -> 153,308,6
19.03/5.06	    138 -> 365,308
19.03/5.06	    142 -> 825,819,813,779,671,637,522
19.03/5.06	    143 -> 83,85,55,328,115,3
19.03/5.06	    153 -> 138*
19.03/5.06	    155 -> 138*
19.03/5.06	    162 -> 138*
19.03/5.06	    164 -> 138*
19.03/5.06	    174 -> 138*
19.03/5.06	    176 -> 311,248
19.03/5.06	    177 -> 796*
19.03/5.06	    178 -> 142*
19.03/5.06	    188 -> 866,833,785,728,694,607,548
19.03/5.06	    189 -> 85,55,328,115,3
19.03/5.06	    192 -> 177*
19.03/5.06	    200 -> 231*
19.03/5.06	    203 -> 58*
19.03/5.06	    205 -> 200*
19.03/5.06	    212 -> 200*
19.03/5.06	    213 -> 856,850
19.03/5.06	    214 -> 4,263,154,31,73,211,290,575,200
19.03/5.06	    223 -> 200*
19.03/5.06	    225 -> 200*
19.03/5.06	    232 -> 700,361,237
19.03/5.06	    235 -> 708,706,577
19.03/5.06	    236 -> 289,281,344,1
19.03/5.06	    240 -> 59*
19.03/5.06	    249 -> 239*
19.03/5.06	    252 -> 303*
19.03/5.06	    253 -> 359,111
19.03/5.06	    262 -> 251*
19.03/5.06	    264 -> 251*
19.03/5.06	    268 -> 251*
19.03/5.06	    270 -> 251*
19.03/5.06	    278 -> 777,775,773,767,765,763
19.03/5.06	    279 -> 262,2,261,152,29,71,204,288,251
19.03/5.06	    281 -> 344,327
19.03/5.06	    282 -> 686,581,391,379
19.03/5.06	    283 -> 321*
19.03/5.06	    285 -> 113*
19.03/5.06	    289 -> 281*
19.03/5.06	    291 -> 281*
19.03/5.06	    293 -> 281*
19.03/5.06	    295 -> 281*
19.03/5.06	    302 -> 281*
19.03/5.06	    307 -> 205,200,231,4
19.03/5.06	    310 -> 304*
19.03/5.06	    313 -> 717,688,596,533
19.03/5.06	    314 -> 205,200,231,4
19.03/5.06	    322 -> 305*
19.03/5.06	    326 -> 313*
19.03/5.06	    328 -> 350*
19.03/5.06	    331 -> 313*
19.03/5.06	    334 -> 342*
19.03/5.06	    335 -> 306*
19.03/5.06	    343 -> 306*
19.03/5.06	    346 -> 371*
19.03/5.06	    347 -> 330*
19.03/5.06	    349 -> 205,200,231,4
19.03/5.06	    352 -> 342*
19.03/5.06	    360 -> 342*
19.03/5.06	    364 -> 119*
19.03/5.06	    370 -> 153,138,365,6
19.03/5.06	    372 -> 118*
19.03/5.06	    378 -> 133*
19.03/5.06	    381 -> 675,673,659,641,619,531,509
19.03/5.06	    382 -> 480,470,409,402,400,393
19.03/5.06	    383 -> 262,251,2
19.03/5.06	    392 -> 380*
19.03/5.06	    394 -> 453,425
19.03/5.06	    395 -> 500*
19.03/5.06	    399 -> 289,327
19.03/5.06	    401 -> 9*
19.03/5.06	    403 -> 447*
19.03/5.06	    404 -> 496,411
19.03/5.06	    408 -> 289,327
19.03/5.06	    410 -> 55*
19.03/5.06	    415 -> 205,200,231
19.03/5.06	    430 -> 205,200,231
19.03/5.06	    452 -> 153,308
19.03/5.06	    458 -> 153,308
19.03/5.06	    472 -> 351*
19.03/5.06	    486 -> 328*
19.03/5.06	    499 -> 485*
19.03/5.06	    504 -> 328*
19.03/5.06	    510 -> 712*
19.03/5.06	    513 -> 406*
19.03/5.06	    515 -> 200*
19.03/5.06	    521 -> 200*
19.03/5.06	    523 -> 200*
19.03/5.06	    532 -> 200*
19.03/5.06	    538 -> 864,858,794
19.03/5.06	    539 -> 289,1,269,163,44,84,222,294,281,344
19.03/5.06	    543 -> 534*
19.03/5.06	    545 -> 534*
19.03/5.06	    549 -> 231*
19.03/5.06	    576 -> 238*
19.03/5.06	    578 -> 55*
19.03/5.06	    580 -> 113*
19.03/5.06	    583 -> 213*
19.03/5.06	    599 -> 829*
19.03/5.06	    601 -> 904,902,900
19.03/5.06	    602 -> 661,114,309
19.03/5.06	    604 -> 597*
19.03/5.06	    608 -> 845,597
19.03/5.06	    610 -> 597*
19.03/5.06	    625 -> 205,200,231
19.03/5.06	    632 -> 205,200,4,231
19.03/5.06	    634 -> 627*
19.03/5.06	    638 -> 627*
19.03/5.06	    642 -> 251*
19.03/5.06	    662 -> 622*
19.03/5.06	    664 -> 113*
19.03/5.06	    670 -> 113*
19.03/5.06	    672 -> 113*
19.03/5.06	    674 -> 113*
19.03/5.06	    681 -> 205,200,231
19.03/5.06	    683 -> 710*
19.03/5.06	    684 -> 873,839,811,792
19.03/5.06	    685 -> 205,200,4,231
19.03/5.06	    687 -> 305*
19.03/5.06	    689 -> 109*
19.03/5.06	    691 -> 109*
19.03/5.06	    693 -> 109*
19.03/5.06	    695 -> 109*
19.03/5.06	    697 -> 313*
19.03/5.06	    699 -> 730,109
19.03/5.06	    701 -> 334*
19.03/5.06	    703 -> 738,344
19.03/5.06	    705 -> 745,344
19.03/5.06	    707 -> 732,131
19.03/5.06	    708 -> 803*
19.03/5.06	    709 -> 761,142
19.03/5.06	    711 -> 306*
19.03/5.06	    716 -> 451*
19.03/5.06	    723 -> 153,6,267,161,42,82,213,292,138,365
19.03/5.06	    725 -> 718*
19.03/5.06	    727 -> 718*
19.03/5.06	    729 -> 365*
19.03/5.06	    731 -> 118*
19.03/5.06	    733 -> 377*
19.03/5.06	    740 -> 141*
19.03/5.06	    746 -> 379*
19.03/5.06	    762 -> 305*
19.03/5.06	    764 -> 394*
19.03/5.06	    766 -> 9*
19.03/5.06	    768 -> 403*
19.03/5.06	    774 -> 55*
19.03/5.06	    776 -> 138*
19.03/5.06	    778 -> 481*
19.03/5.06	    780 -> 510*
19.03/5.06	    782 -> 510*
19.03/5.06	    784 -> 200*
19.03/5.06	    791 -> 289,281,344
19.03/5.06	    793 -> 231*
19.03/5.06	    795 -> 55*
19.03/5.06	    801 -> 889,887,883
19.03/5.06	    802 -> 661,114,309,223,205,214,575
19.03/5.06	    804 -> 797*
19.03/5.06	    812 -> 597*
19.03/5.06	    814 -> 620*
19.03/5.06	    816 -> 620*
19.03/5.06	    818 -> 251*
19.03/5.06	    820 -> 660*
19.03/5.06	    822 -> 660*
19.03/5.06	    824 -> 113*
19.03/5.06	    826 -> 676*
19.03/5.06	    828 -> 676*
19.03/5.06	    830 -> 623*
19.03/5.06	    838 -> 680*
19.03/5.06	    840 -> 109*
19.03/5.06	    849 -> 680*
19.03/5.06	    851 -> 109*
19.03/5.06	    857 -> 879,344
19.03/5.06	    859 -> 877,131
19.03/5.06	    864 -> 885*
19.03/5.06	    865 -> 881,142
19.03/5.06	    872 -> 153,138,365
19.03/5.06	    874 -> 365*
19.03/5.06	    878 -> 377*
19.03/5.06	    880 -> 379*
19.03/5.06	    882 -> 305*
19.03/5.06	    884 -> 113*
19.03/5.06	    886 -> 797*
19.03/5.06	    888 -> 109*
19.03/5.06	    890 -> 891,344
19.03/5.06	    892 -> 379*
19.03/5.06	    901 -> 113*
19.03/5.06	    903 -> 109*
19.03/5.06	    905 -> 906,344
19.03/5.06	    907 -> 379*
19.03/5.06	  problem:
19.03/5.06	   
19.03/5.06	  Qed
19.03/5.06	EOF